Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 6943 | 183.059 | 183.103 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb |
MD5SUM | ff14e2095cd65c7713b130ededfcefb5 |
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 | 6943 |
Best CPU time to get the best result obtained on this benchmark | 2.69859 |
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 | 5980 |
Total number of constraints | 26929 |
Number of constraints which are clauses | 26628 |
Number of constraints which are cardinality constraints (but not clauses) | 301 |
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 | 2214 |
Biggest coefficient in the objective function | 1665 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 919078 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1665 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 919078 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2683226-1277508318.opb. 0.00/0.00 c Instance file HOME/instance-2683226-1277508318.opb 0.00/0.00 c File size is 858288 bytes. 0.10/0.13 c Highest Coefficient sum: 553 0.10/0.13 c ============================[ Problem Statistics ]============================= 0.10/0.13 c | | 0.10/0.13 c | Parsing time: 0.13 s | 0.10/0.13 c | Number Variables: 5980 | 0.10/0.13 c | Number Clauses: 26628 | 0.10/0.13 c | Number Cardinality: 301 | 0.10/0.13 c | Number PB Constraints: 0 | 3.20/3.28 c ============================[ Search Statistics ]============================== 3.20/3.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.28 c =============================================================================== 3.20/3.28 c | 0 | 4045 28481 59173 | 8976 0 nan | 0.000 % | 3.20/3.29 c =============================================================================== 3.20/3.29 c New solution: 590065 3.20/3.29 o 590065 3.20/3.29 c Elapsed CPU time: 3.2675 s Remaining CPU time: 176.732 s 3.20/3.29 c =============================================================================== 3.20/3.29 c | 9 | 4045 28482 61293 | 9494 9 7 | 0.000 % | 3.20/3.30 c =============================================================================== 3.20/3.30 c New solution: 500167 3.20/3.30 o 500167 3.20/3.30 c Elapsed CPU time: 3.2755 s Remaining CPU time: 176.724 s 3.20/3.30 c =============================================================================== 3.20/3.30 c | 21 | 4045 28483 63413 | 9494 21 6 | 0.000 % | 3.29/3.31 c =============================================================================== 3.29/3.31 c New solution: 471829 3.29/3.31 o 471829 3.29/3.31 c Elapsed CPU time: 3.2825 s Remaining CPU time: 176.718 s 3.29/3.31 c =============================================================================== 3.29/3.31 c | 25 | 4045 28484 65533 | 9494 25 5 | 0.000 % | 3.29/3.32 c =============================================================================== 3.29/3.32 c New solution: 425202 3.29/3.32 o 425202 3.29/3.32 c Elapsed CPU time: 3.2895 s Remaining CPU time: 176.711 s 3.29/3.32 c =============================================================================== 3.29/3.32 c | 28 | 4045 28485 67653 | 9495 28 6 | 0.000 % | 3.29/3.33 c =============================================================================== 3.29/3.33 c New solution: 406867 3.29/3.33 o 406867 3.29/3.33 c Elapsed CPU time: 3.2975 s Remaining CPU time: 176.703 s 3.29/3.33 c =============================================================================== 3.29/3.33 c | 32 | 4045 28486 69773 | 9495 32 5 | 0.000 % | 3.29/3.34 c =============================================================================== 3.29/3.34 c New solution: 405257 3.29/3.34 o 405257 3.29/3.34 c Elapsed CPU time: 3.3095 s Remaining CPU time: 176.691 s 3.29/3.34 c =============================================================================== 3.29/3.34 c | 42 | 4045 28487 71893 | 9495 42 5 | 0.000 % | 3.29/3.37 c =============================================================================== 3.29/3.37 c New solution: 355230 3.29/3.37 o 355230 3.29/3.37 c Elapsed CPU time: 3.32449 s Remaining CPU time: 176.676 s 3.29/3.37 c =============================================================================== 3.29/3.37 c | 56 | 4045 28488 74013 | 9496 56 5 | 0.000 % | 3.29/3.38 c =============================================================================== 3.29/3.38 c New solution: 355221 3.29/3.38 o 355221 3.29/3.38 c Elapsed CPU time: 3.33349 s Remaining CPU time: 176.667 s 3.29/3.38 c =============================================================================== 3.29/3.38 c | 57 | 4045 28489 76133 | 9496 57 5 | 0.000 % | 3.29/3.39 c =============================================================================== 3.29/3.39 c New solution: 355220 3.29/3.39 o 355220 3.29/3.39 c Elapsed CPU time: 3.34349 s Remaining CPU time: 176.657 s 3.29/3.39 c =============================================================================== 3.29/3.39 c | 59 | 4045 28490 78253 | 9496 59 4 | 0.000 % | 3.39/3.40 c =============================================================================== 3.39/3.40 c New solution: 355219 3.39/3.40 o 355219 3.39/3.40 c Elapsed CPU time: 3.35449 s Remaining CPU time: 176.646 s 3.39/3.40 c =============================================================================== 3.39/3.40 c | 64 | 4045 28491 80373 | 9497 64 4 | 0.000 % | 3.39/3.42 c =============================================================================== 3.39/3.42 c New solution: 316927 3.39/3.42 o 316927 3.39/3.42 c Elapsed CPU time: 3.36749 s Remaining CPU time: 176.633 s 3.39/3.42 c =============================================================================== 3.39/3.42 c | 67 | 4045 28492 82493 | 9497 67 4 | 0.000 % | 3.39/3.43 c =============================================================================== 3.39/3.43 c New solution: 315255 3.39/3.43 o 315255 3.39/3.43 c Elapsed CPU time: 3.37949 s Remaining CPU time: 176.621 s 3.39/3.43 c =============================================================================== 3.39/3.43 c | 72 | 4045 28493 84613 | 9497 72 4 | 0.000 % | 3.39/3.44 c =============================================================================== 3.39/3.44 c New solution: 296921 3.39/3.44 o 296921 3.39/3.44 c Elapsed CPU time: 3.38848 s Remaining CPU time: 176.612 s 3.39/3.44 c =============================================================================== 3.39/3.44 c | 75 | 4045 28494 86733 | 9498 75 5 | 0.000 % | 3.39/3.46 c =============================================================================== 3.39/3.46 c New solution: 295257 3.39/3.46 o 295257 3.39/3.46 c Elapsed CPU time: 3.39948 s Remaining CPU time: 176.601 s 3.39/3.46 c =============================================================================== 3.39/3.46 c | 77 | 4045 28495 88853 | 9498 77 5 | 0.000 % | 3.39/3.47 c =============================================================================== 3.39/3.47 c New solution: 295256 3.39/3.47 o 295256 3.39/3.47 c Elapsed CPU time: 3.41148 s Remaining CPU time: 176.589 s 3.39/3.47 c =============================================================================== 3.39/3.47 c | 77 | 4045 28496 90973 | 9498 77 5 | 0.000 % | 3.39/3.49 c =============================================================================== 3.39/3.49 c New solution: 295255 3.39/3.49 o 295255 3.39/3.49 c Elapsed CPU time: 3.43148 s Remaining CPU time: 176.569 s 3.39/3.49 c =============================================================================== 3.39/3.49 c | 82 | 4045 28497 93093 | 9499 82 5 | 0.000 % | 3.49/3.51 c =============================================================================== 3.49/3.51 c New solution: 295254 3.49/3.51 o 295254 3.49/3.51 c Elapsed CPU time: 3.44848 s Remaining CPU time: 176.552 s 3.49/3.51 c =============================================================================== 3.49/3.51 c | 92 | 4045 28498 95213 | 9499 92 5 | 0.000 % | 3.49/3.53 c =============================================================================== 3.49/3.53 c New solution: 295253 3.49/3.53 o 295253 3.49/3.53 c Elapsed CPU time: 3.46347 s Remaining CPU time: 176.537 s 3.49/3.53 c =============================================================================== 3.49/3.53 c | 96 | 4045 28499 97333 | 9499 96 5 | 0.000 % | 3.49/3.58 c =============================================================================== 3.49/3.58 c New solution: 285320 3.49/3.58 o 285320 3.49/3.58 c Elapsed CPU time: 3.50547 s Remaining CPU time: 176.495 s 3.49/3.58 c =============================================================================== 3.49/3.58 c | 114 | 4045 28500 99453 | 9500 114 5 | 0.000 % | 3.49/3.59 c =============================================================================== 3.49/3.59 c New solution: 285257 3.49/3.59 o 285257 3.49/3.59 c Elapsed CPU time: 3.52046 s Remaining CPU time: 176.48 s 3.49/3.59 c =============================================================================== 3.49/3.59 c | 115 | 4045 28501 101573 | 9500 115 5 | 0.000 % | 3.59/3.63 c =============================================================================== 3.59/3.63 c New solution: 285256 3.59/3.63 o 285256 3.59/3.63 c Elapsed CPU time: 3.55746 s Remaining CPU time: 176.443 s 3.59/3.63 c =============================================================================== 3.59/3.63 c | 120 | 4045 28502 103693 | 9500 120 5 | 0.000 % | 3.59/3.66 c =============================================================================== 3.59/3.66 c New solution: 283613 3.59/3.66 o 283613 3.59/3.66 c Elapsed CPU time: 3.58046 s Remaining CPU time: 176.42 s 3.59/3.66 c =============================================================================== 3.59/3.66 c | 127 | 4045 28503 105813 | 9501 127 5 | 0.000 % | 3.69/3.70 c =============================================================================== 3.69/3.70 c New solution: 282004 3.69/3.70 o 282004 3.69/3.70 c Elapsed CPU time: 3.61945 s Remaining CPU time: 176.381 s 3.69/3.70 c =============================================================================== 3.69/3.70 c | 146 | 4045 28504 107933 | 9501 146 19 | 0.000 % | 3.69/3.76 c =============================================================================== 3.69/3.76 c New solution: 187192 3.69/3.76 o 187192 3.69/3.76 c Elapsed CPU time: 3.66444 s Remaining CPU time: 176.336 s 3.69/3.76 c =============================================================================== 3.69/3.76 c | 199 | 4045 28505 110053 | 9501 199 15 | 0.000 % | 3.69/3.78 c =============================================================================== 3.69/3.78 c New solution: 187086 3.69/3.78 o 187086 3.69/3.78 c Elapsed CPU time: 3.68544 s Remaining CPU time: 176.315 s 3.69/3.78 c =============================================================================== 3.69/3.78 c | 207 | 4045 28506 112173 | 9502 207 15 | 0.000 % | 3.79/3.81 c =============================================================================== 3.79/3.81 c New solution: 185512 3.79/3.81 o 185512 3.79/3.81 c Elapsed CPU time: 3.71344 s Remaining CPU time: 176.287 s 3.79/3.81 c =============================================================================== 3.79/3.81 c | 214 | 4045 28507 114293 | 9502 214 14 | 0.000 % | 3.79/3.83 c =============================================================================== 3.79/3.83 c New solution: 185505 3.79/3.83 o 185505 3.79/3.83 c Elapsed CPU time: 3.73443 s Remaining CPU time: 176.266 s 3.79/3.83 c =============================================================================== 3.79/3.83 c | 217 | 4045 28508 116413 | 9502 217 14 | 0.000 % | 3.79/3.86 c =============================================================================== 3.79/3.86 c New solution: 185481 3.79/3.86 o 185481 3.79/3.86 c Elapsed CPU time: 3.76043 s Remaining CPU time: 176.24 s 3.79/3.86 c =============================================================================== 3.79/3.86 c | 219 | 4045 28509 118533 | 9503 219 14 | 0.000 % | 3.89/3.91 c =============================================================================== 3.89/3.91 c New solution: 185431 3.89/3.91 o 185431 3.89/3.91 c Elapsed CPU time: 3.81242 s Remaining CPU time: 176.188 s 3.89/3.91 c =============================================================================== 3.89/3.91 c | 225 | 4045 28510 120653 | 9503 225 14 | 0.000 % | 3.89/3.94 c =============================================================================== 3.89/3.94 c New solution: 185419 3.89/3.94 o 185419 3.89/3.94 c Elapsed CPU time: 3.84442 s Remaining CPU time: 176.156 s 3.89/3.94 c =============================================================================== 3.89/3.94 c | 228 | 4045 28511 122773 | 9503 228 14 | 0.000 % | 3.99/4.02 c =============================================================================== 3.99/4.02 c New solution: 183842 3.99/4.02 o 183842 3.99/4.02 c Elapsed CPU time: 3.91341 s Remaining CPU time: 176.087 s 3.99/4.02 c =============================================================================== 3.99/4.02 c | 257 | 4045 28512 124893 | 9504 257 16 | 0.000 % | 3.99/4.05 c =============================================================================== 3.99/4.05 c New solution: 183742 3.99/4.05 o 183742 3.99/4.05 c Elapsed CPU time: 3.9414 s Remaining CPU time: 176.059 s 3.99/4.05 c =============================================================================== 3.99/4.05 c | 263 | 4045 28513 127013 | 9504 263 15 | 0.000 % | 3.99/4.07 c =============================================================================== 3.99/4.07 c New solution: 183741 3.99/4.07 o 183741 3.99/4.07 c Elapsed CPU time: 3.9624 s Remaining CPU time: 176.038 s 3.99/4.07 c =============================================================================== 3.99/4.07 c | 265 | 4045 28514 129133 | 9504 265 15 | 0.000 % | 3.99/4.09 c =============================================================================== 3.99/4.09 c New solution: 183740 3.99/4.09 o 183740 3.99/4.09 c Elapsed CPU time: 3.98239 s Remaining CPU time: 176.018 s 3.99/4.09 c =============================================================================== 3.99/4.09 c | 265 | 4045 28515 131253 | 9505 265 15 | 0.000 % | 4.09/4.11 c =============================================================================== 4.09/4.11 c New solution: 183739 4.09/4.11 o 183739 4.09/4.11 c Elapsed CPU time: 4.00039 s Remaining CPU time: 176 s 4.09/4.11 c =============================================================================== 4.09/4.11 c | 266 | 4045 28516 133373 | 9505 266 15 | 0.000 % | 4.09/4.14 c =============================================================================== 4.09/4.14 c New solution: 183738 4.09/4.14 o 183738 4.09/4.14 c Elapsed CPU time: 4.02739 s Remaining CPU time: 175.973 s 4.09/4.14 c =============================================================================== 4.09/4.14 c | 269 | 4045 28517 135493 | 9505 269 15 | 0.000 % | 4.09/4.18 c =============================================================================== 4.09/4.18 c New solution: 183737 4.09/4.18 o 183737 4.09/4.18 c Elapsed CPU time: 4.06638 s Remaining CPU time: 175.934 s 4.09/4.18 c =============================================================================== 4.09/4.18 c | 270 | 4045 28518 137613 | 9506 270 15 | 0.000 % | 4.19/4.21 c =============================================================================== 4.19/4.21 c New solution: 183736 4.19/4.21 o 183736 4.19/4.21 c Elapsed CPU time: 4.09438 s Remaining CPU time: 175.906 s 4.19/4.21 c =============================================================================== 4.19/4.21 c | 272 | 4045 28519 139733 | 9506 272 15 | 0.000 % | 4.19/4.24 c =============================================================================== 4.19/4.24 c New solution: 183735 4.19/4.24 o 183735 4.19/4.24 c Elapsed CPU time: 4.11937 s Remaining CPU time: 175.881 s 4.19/4.24 c =============================================================================== 4.19/4.24 c | 272 | 4045 28520 141853 | 9506 272 15 | 0.000 % | 4.19/4.26 c =============================================================================== 4.19/4.26 c New solution: 183734 4.19/4.26 o 183734 4.19/4.26 c Elapsed CPU time: 4.14237 s Remaining CPU time: 175.858 s 4.19/4.26 c =============================================================================== 4.19/4.26 c | 273 | 4045 28521 143973 | 9507 273 15 | 0.000 % | 4.19/4.30 c =============================================================================== 4.19/4.30 c New solution: 183733 4.19/4.30 o 183733 4.19/4.30 c Elapsed CPU time: 4.17636 s Remaining CPU time: 175.824 s 4.19/4.30 c =============================================================================== 4.19/4.30 c | 278 | 4045 28522 146093 | 9507 278 17 | 0.000 % | 4.30/4.35 c =============================================================================== 4.30/4.35 c New solution: 182181 4.30/4.35 o 182181 4.30/4.35 c Elapsed CPU time: 4.22236 s Remaining CPU time: 175.778 s 4.30/4.35 c =============================================================================== 4.30/4.35 c | 299 | 4045 28523 148213 | 9507 299 16 | 0.000 % | 4.30/4.38 c =============================================================================== 4.30/4.38 c New solution: 182113 4.30/4.38 o 182113 4.30/4.38 c Elapsed CPU time: 4.25435 s Remaining CPU time: 175.746 s 4.30/4.38 c =============================================================================== 4.30/4.38 c | 308 | 4045 28524 150333 | 9508 308 15 | 0.000 % | 4.40/4.41 c =============================================================================== 4.40/4.41 c New solution: 182088 4.40/4.41 o 182088 4.40/4.41 c Elapsed CPU time: 4.28035 s Remaining CPU time: 175.72 s 4.40/4.41 c =============================================================================== 4.40/4.41 c | 309 | 4045 28525 152453 | 9508 309 15 | 0.000 % | 4.40/4.44 c =============================================================================== 4.40/4.44 c New solution: 182087 4.40/4.44 o 182087 4.40/4.44 c Elapsed CPU time: 4.30734 s Remaining CPU time: 175.693 s 4.40/4.44 c =============================================================================== 4.40/4.44 c | 311 | 4045 28526 154573 | 9508 311 15 | 0.000 % | 4.40/4.45 c =============================================================================== 4.40/4.45 c New solution: 180414 4.40/4.45 o 180414 4.40/4.45 c Elapsed CPU time: 4.32434 s Remaining CPU time: 175.676 s 4.40/4.45 c =============================================================================== 4.40/4.45 c | 312 | 4045 28527 156693 | 9509 312 15 | 0.000 % | 4.40/4.48 c =============================================================================== 4.40/4.48 c New solution: 180413 4.40/4.48 o 180413 4.40/4.48 c Elapsed CPU time: 4.34634 s Remaining CPU time: 175.654 s 4.40/4.48 c =============================================================================== 4.40/4.48 c | 313 | 4045 28528 158813 | 9509 313 15 | 0.000 % | 4.49/4.50 c =============================================================================== 4.49/4.50 c New solution: 178756 4.49/4.50 o 178756 4.49/4.50 c Elapsed CPU time: 4.36734 s Remaining CPU time: 175.633 s 4.49/4.50 c =============================================================================== 4.49/4.50 c | 314 | 4045 28529 160933 | 9509 314 15 | 0.000 % | 4.49/4.52 c =============================================================================== 4.49/4.52 c New solution: 178747 4.49/4.52 o 178747 4.49/4.52 c Elapsed CPU time: 4.38833 s Remaining CPU time: 175.612 s 4.49/4.52 c =============================================================================== 4.49/4.52 c | 314 | 4045 28530 163053 | 9510 314 15 | 0.000 % | 4.49/4.54 c =============================================================================== 4.49/4.54 c New solution: 178746 4.49/4.54 o 178746 4.49/4.54 c Elapsed CPU time: 4.40633 s Remaining CPU time: 175.594 s 4.49/4.54 c =============================================================================== 4.49/4.54 c | 314 | 4045 28531 165173 | 9510 314 15 | 0.000 % | 4.49/4.57 c =============================================================================== 4.49/4.57 c New solution: 177100 4.49/4.57 o 177100 4.49/4.57 c Elapsed CPU time: 4.43133 s Remaining CPU time: 175.569 s 4.49/4.57 c =============================================================================== 4.49/4.57 c | 314 | 4045 28532 167293 | 9510 314 15 | 0.000 % | 4.49/4.60 c =============================================================================== 4.49/4.60 c New solution: 177089 4.49/4.60 o 177089 4.49/4.60 c Elapsed CPU time: 4.45932 s Remaining CPU time: 175.541 s 4.49/4.60 c =============================================================================== 4.49/4.60 c | 314 | 4045 28533 169413 | 9511 314 15 | 0.000 % | 4.60/4.63 c =============================================================================== 4.60/4.63 c New solution: 177088 4.60/4.63 o 177088 4.60/4.63 c Elapsed CPU time: 4.48832 s Remaining CPU time: 175.512 s 4.60/4.63 c =============================================================================== 4.60/4.63 c | 314 | 4045 28534 171533 | 9511 314 15 | 0.000 % | 4.60/4.66 c =============================================================================== 4.60/4.66 c New solution: 175526 4.60/4.66 o 175526 4.60/4.66 c Elapsed CPU time: 4.52231 s Remaining CPU time: 175.478 s 4.60/4.66 c =============================================================================== 4.60/4.66 c | 324 | 4045 28535 173653 | 9511 324 15 | 0.000 % | 4.60/4.69 c =============================================================================== 4.60/4.69 c New solution: 175503 4.60/4.69 o 175503 4.60/4.69 c Elapsed CPU time: 4.54431 s Remaining CPU time: 175.456 s 4.60/4.69 c =============================================================================== 4.60/4.69 c | 325 | 4045 28536 175773 | 9512 325 15 | 0.000 % | 4.69/4.72 c =============================================================================== 4.69/4.72 c New solution: 168840 4.69/4.72 o 168840 4.69/4.72 c Elapsed CPU time: 4.5723 s Remaining CPU time: 175.428 s 4.69/4.72 c =============================================================================== 4.69/4.72 c | 326 | 4045 28537 177893 | 9512 326 15 | 0.000 % | 4.69/4.77 c =============================================================================== 4.69/4.77 c New solution: 168838 4.69/4.77 o 168838 4.69/4.77 c Elapsed CPU time: 4.6193 s Remaining CPU time: 175.381 s 4.69/4.77 c =============================================================================== 4.69/4.77 c | 330 | 4045 28538 180013 | 9512 330 15 | 0.000 % | 4.79/4.81 c =============================================================================== 4.79/4.81 c New solution: 168837 4.79/4.81 o 168837 4.79/4.81 c Elapsed CPU time: 4.65829 s Remaining CPU time: 175.342 s 4.79/4.81 c =============================================================================== 4.79/4.81 c | 332 | 4045 28539 182133 | 9513 332 16 | 0.000 % | 4.89/4.92 c =============================================================================== 4.89/4.92 c New solution: 167192 4.89/4.92 o 167192 4.89/4.92 c Elapsed CPU time: 4.76028 s Remaining CPU time: 175.24 s 4.89/4.92 c =============================================================================== 4.89/4.92 c | 359 | 4045 28540 184253 | 9513 359 15 | 0.000 % | 4.89/4.95 c =============================================================================== 4.89/4.95 c New solution: 167105 4.89/4.95 o 167105 4.89/4.95 c Elapsed CPU time: 4.78827 s Remaining CPU time: 175.212 s 4.89/4.95 c =============================================================================== 4.89/4.95 c | 361 | 4045 28541 186373 | 9513 361 15 | 0.000 % | 4.89/5.00 c =============================================================================== 4.89/5.00 c New solution: 167060 4.89/5.00 o 167060 4.89/5.00 c Elapsed CPU time: 4.83926 s Remaining CPU time: 175.161 s 4.89/5.00 c =============================================================================== 4.89/5.00 c | 361 | 4045 28542 188493 | 9514 361 15 | 0.000 % | 5.00/5.07 c =============================================================================== 5.00/5.07 c New solution: 167059 5.00/5.07 o 167059 5.00/5.07 c Elapsed CPU time: 4.91425 s Remaining CPU time: 175.086 s 5.00/5.07 c =============================================================================== 5.00/5.07 c | 361 | 4045 28543 190613 | 9514 361 15 | 0.000 % | 5.10/5.14 c =============================================================================== 5.10/5.14 c New solution: 167056 5.10/5.14 o 167056 5.10/5.14 c Elapsed CPU time: 4.97724 s Remaining CPU time: 175.023 s 5.10/5.14 c =============================================================================== 5.10/5.14 c | 361 | 4045 28544 192733 | 9514 361 15 | 0.000 % | 5.19/5.20 c =============================================================================== 5.19/5.20 c New solution: 167055 5.19/5.20 o 167055 5.19/5.20 c Elapsed CPU time: 5.04123 s Remaining CPU time: 174.959 s 5.19/5.20 c =============================================================================== 5.19/5.20 c | 362 | 4045 28545 194853 | 9515 362 17 | 0.000 % | 5.19/5.24 c =============================================================================== 5.19/5.24 c New solution: 112192 5.19/5.24 o 112192 5.19/5.24 c Elapsed CPU time: 5.07523 s Remaining CPU time: 174.925 s 5.19/5.24 c =============================================================================== 5.19/5.24 c | 369 | 4045 28546 196973 | 9515 369 16 | 0.000 % | 5.29/5.37 c =============================================================================== 5.29/5.37 c New solution: 112171 5.29/5.37 o 112171 5.29/5.37 c Elapsed CPU time: 5.20821 s Remaining CPU time: 174.792 s 5.29/5.37 c =============================================================================== 5.29/5.37 c | 371 | 4045 28547 199093 | 9515 371 16 | 0.000 % | 5.40/5.47 c =============================================================================== 5.40/5.47 c New solution: 112158 5.40/5.47 o 112158 5.40/5.47 c Elapsed CPU time: 5.30919 s Remaining CPU time: 174.691 s 5.40/5.47 c =============================================================================== 5.40/5.47 c | 373 | 4045 28548 201213 | 9516 373 16 | 0.000 % | 5.50/5.55 c =============================================================================== 5.50/5.55 c New solution: 112148 5.50/5.55 o 112148 5.50/5.55 c Elapsed CPU time: 5.39218 s Remaining CPU time: 174.608 s 5.50/5.55 c =============================================================================== 5.50/5.55 c | 373 | 4045 28549 203333 | 9516 373 16 | 0.000 % | 5.59/5.65 c =============================================================================== 5.59/5.65 c New solution: 112147 5.59/5.65 o 112147 5.59/5.65 c Elapsed CPU time: 5.48317 s Remaining CPU time: 174.517 s 5.59/5.65 c =============================================================================== 5.59/5.65 c | 373 | 4045 28550 205453 | 9516 373 16 | 0.000 % | 5.69/5.70 c =============================================================================== 5.69/5.70 c New solution: 112142 5.69/5.70 o 112142 5.69/5.70 c Elapsed CPU time: 5.54116 s Remaining CPU time: 174.459 s 5.69/5.70 c =============================================================================== 5.69/5.70 c | 373 | 4045 28551 207573 | 9517 373 16 | 0.000 % | 5.69/5.76 c =============================================================================== 5.69/5.76 c New solution: 112141 5.69/5.76 o 112141 5.69/5.76 c Elapsed CPU time: 5.59415 s Remaining CPU time: 174.406 s 5.69/5.76 c =============================================================================== 5.69/5.76 c | 376 | 4045 28552 209693 | 9517 376 21 | 0.000 % | 6.29/6.39 c | 476 | 4045 28552 209693 | 10469 476 120 | 32.358 % | 6.49/6.53 c =============================================================================== 6.49/6.53 c New solution: 112140 6.49/6.53 o 112140 6.49/6.53 c Elapsed CPU time: 6.36403 s Remaining CPU time: 173.636 s 6.49/6.53 c =============================================================================== 6.49/6.53 c | 482 | 4045 28553 211813 | 9517 482 120 | 32.358 % | 6.69/6.70 c =============================================================================== 6.69/6.70 c New solution: 112139 6.69/6.70 o 112139 6.69/6.70 c Elapsed CPU time: 6.53401 s Remaining CPU time: 173.466 s 6.69/6.70 c =============================================================================== 6.69/6.70 c | 495 | 4045 28554 213933 | 9518 495 131 | 32.358 % | 6.78/6.84 c =============================================================================== 6.78/6.84 c New solution: 112138 6.78/6.84 o 112138 6.78/6.84 c Elapsed CPU time: 6.67498 s Remaining CPU time: 173.325 s 6.78/6.84 c =============================================================================== 6.78/6.84 c | 510 | 4045 28555 216053 | 9518 510 137 | 32.358 % | 7.09/7.16 c =============================================================================== 7.09/7.16 c New solution: 110565 7.09/7.16 o 110565 7.09/7.16 c Elapsed CPU time: 6.98894 s Remaining CPU time: 173.011 s 7.09/7.16 c =============================================================================== 7.09/7.16 c | 556 | 4045 28556 218173 | 9518 556 152 | 32.358 % | 7.29/7.30 c =============================================================================== 7.29/7.30 c New solution: 110511 7.29/7.30 o 110511 7.29/7.30 c Elapsed CPU time: 7.12792 s Remaining CPU time: 172.872 s 7.29/7.30 c =============================================================================== 7.29/7.30 c | 563 | 4045 28557 220293 | 9519 563 154 | 32.358 % | 7.39/7.44 c =============================================================================== 7.39/7.44 c New solution: 108936 7.39/7.44 o 108936 7.39/7.44 c Elapsed CPU time: 7.27289 s Remaining CPU time: 172.727 s 7.39/7.44 c =============================================================================== 7.39/7.44 c | 586 | 4045 28558 222413 | 9519 586 164 | 32.358 % | 7.49/7.54 c =============================================================================== 7.49/7.54 c New solution: 108863 7.49/7.54 o 108863 7.49/7.54 c Elapsed CPU time: 7.36788 s Remaining CPU time: 172.632 s 7.49/7.54 c =============================================================================== 7.49/7.54 c | 594 | 4045 28559 224533 | 9519 594 166 | 32.358 % | 7.60/7.65 c =============================================================================== 7.60/7.65 c New solution: 108849 7.60/7.65 o 108849 7.60/7.65 c Elapsed CPU time: 7.47586 s Remaining CPU time: 172.524 s 7.60/7.65 c =============================================================================== 7.60/7.65 c | 594 | 4045 28560 226653 | 9520 594 166 | 32.358 % | 7.70/7.76 c =============================================================================== 7.70/7.76 c New solution: 108848 7.70/7.76 o 108848 7.70/7.76 c Elapsed CPU time: 7.58685 s Remaining CPU time: 172.413 s 7.70/7.76 c =============================================================================== 7.70/7.76 c | 594 | 4045 28561 228773 | 9520 594 166 | 32.358 % | 7.79/7.87 c =============================================================================== 7.79/7.87 c New solution: 108847 7.79/7.87 o 108847 7.79/7.87 c Elapsed CPU time: 7.70183 s Remaining CPU time: 172.298 s 7.79/7.87 c =============================================================================== 7.79/7.87 c | 594 | 4045 28562 230893 | 9520 594 166 | 32.358 % | 7.89/7.99 c =============================================================================== 7.89/7.99 c New solution: 108846 7.89/7.99 o 108846 7.89/7.99 c Elapsed CPU time: 7.81381 s Remaining CPU time: 172.186 s 7.89/7.99 c =============================================================================== 7.89/7.99 c | 594 | 4045 28563 233013 | 9521 594 166 | 32.358 % | 8.09/8.10 c =============================================================================== 8.09/8.10 c New solution: 108845 8.09/8.10 o 108845 8.09/8.10 c Elapsed CPU time: 7.92479 s Remaining CPU time: 172.075 s 8.09/8.10 c =============================================================================== 8.09/8.10 c | 594 | 4045 28564 235133 | 9521 594 166 | 32.358 % | 8.19/8.21 c =============================================================================== 8.19/8.21 c New solution: 108844 8.19/8.21 o 108844 8.19/8.21 c Elapsed CPU time: 8.03478 s Remaining CPU time: 171.965 s 8.19/8.21 c =============================================================================== 8.19/8.21 c | 594 | 4045 28565 237253 | 9521 594 166 | 32.358 % | 8.29/8.33 c =============================================================================== 8.29/8.33 c New solution: 108843 8.29/8.33 o 108843 8.29/8.33 c Elapsed CPU time: 8.15076 s Remaining CPU time: 171.849 s 8.29/8.33 c =============================================================================== 8.29/8.33 c | 594 | 4045 28566 239373 | 9522 594 166 | 32.358 % | 8.39/8.44 c =============================================================================== 8.39/8.44 c New solution: 108842 8.39/8.44 o 108842 8.39/8.44 c Elapsed CPU time: 8.25674 s Remaining CPU time: 171.743 s 8.39/8.44 c =============================================================================== 8.39/8.44 c | 594 | 4045 28567 241493 | 9522 594 166 | 32.358 % | 8.49/8.53 c =============================================================================== 8.49/8.53 c New solution: 108841 8.49/8.53 o 108841 8.49/8.53 c Elapsed CPU time: 8.34973 s Remaining CPU time: 171.65 s 8.49/8.53 c =============================================================================== 8.49/8.53 c | 596 | 4045 28568 243613 | 9522 596 166 | 32.358 % | 8.59/8.64 c =============================================================================== 8.59/8.64 c New solution: 108840 8.59/8.64 o 108840 8.59/8.64 c Elapsed CPU time: 8.46371 s Remaining CPU time: 171.536 s 8.59/8.64 c =============================================================================== 8.59/8.64 c | 596 | 4045 28569 245733 | 9523 596 166 | 32.358 % | 8.70/8.76 c =============================================================================== 8.70/8.76 c New solution: 108839 8.70/8.76 o 108839 8.70/8.76 c Elapsed CPU time: 8.57869 s Remaining CPU time: 171.421 s 8.70/8.76 c =============================================================================== 8.70/8.76 c | 596 | 4045 28570 247853 | 9523 596 166 | 32.358 % | 9.09/9.13 c =============================================================================== 9.09/9.13 c New solution: 108838 9.09/9.13 o 108838 9.09/9.13 c Elapsed CPU time: 8.94864 s Remaining CPU time: 171.051 s 9.09/9.13 c =============================================================================== 9.09/9.13 c | 625 | 4045 28571 249973 | 9523 625 184 | 32.358 % | 9.19/9.26 c =============================================================================== 9.19/9.26 c New solution: 107273 9.19/9.26 o 107273 9.19/9.26 c Elapsed CPU time: 9.07262 s Remaining CPU time: 170.927 s 9.19/9.26 c =============================================================================== 9.19/9.26 c | 632 | 4045 28572 252093 | 9524 632 182 | 32.358 % | 9.29/9.35 c =============================================================================== 9.29/9.35 c New solution: 107264 9.29/9.35 o 107264 9.29/9.35 c Elapsed CPU time: 9.16061 s Remaining CPU time: 170.839 s 9.29/9.35 c =============================================================================== 9.29/9.35 c | 636 | 4045 28573 254213 | 9524 636 182 | 32.358 % | 9.39/9.46 c =============================================================================== 9.39/9.46 c New solution: 107253 9.39/9.46 o 107253 9.39/9.46 c Elapsed CPU time: 9.27359 s Remaining CPU time: 170.726 s 9.39/9.46 c =============================================================================== 9.39/9.46 c | 639 | 4045 28574 256333 | 9524 639 181 | 32.358 % | 9.49/9.55 c =============================================================================== 9.49/9.55 c New solution: 107234 9.49/9.55 o 107234 9.49/9.55 c Elapsed CPU time: 9.36158 s Remaining CPU time: 170.638 s 9.49/9.55 c =============================================================================== 9.49/9.55 c | 640 | 4045 28575 258453 | 9525 640 181 | 32.358 % | 9.59/9.64 c =============================================================================== 9.59/9.64 c New solution: 107233 9.59/9.64 o 107233 9.59/9.64 c Elapsed CPU time: 9.44656 s Remaining CPU time: 170.553 s 9.59/9.64 c =============================================================================== 9.59/9.64 c | 640 | 4045 28576 260573 | 9525 640 181 | 32.358 % | 9.69/9.72 c =============================================================================== 9.69/9.72 c New solution: 107232 9.69/9.72 o 107232 9.69/9.72 c Elapsed CPU time: 9.52855 s Remaining CPU time: 170.471 s 9.69/9.72 c =============================================================================== 9.69/9.72 c | 641 | 4045 28577 262693 | 9525 641 180 | 32.358 % | 9.79/9.83 c =============================================================================== 9.79/9.83 c New solution: 107231 9.79/9.83 o 107231 9.79/9.83 c Elapsed CPU time: 9.63554 s Remaining CPU time: 170.364 s 9.79/9.83 c =============================================================================== 9.79/9.83 c | 646 | 4045 28578 264813 | 9526 646 182 | 32.358 % | 9.79/9.89 c =============================================================================== 9.79/9.89 c New solution: 107230 9.79/9.89 o 107230 9.79/9.89 c Elapsed CPU time: 9.69553 s Remaining CPU time: 170.304 s 9.79/9.89 c =============================================================================== 9.79/9.89 c | 651 | 4045 28579 266933 | 9526 651 180 | 32.358 % | 9.99/10.01 c =============================================================================== 9.99/10.01 c New solution: 107212 9.99/10.01 o 107212 9.99/10.01 c Elapsed CPU time: 9.81051 s Remaining CPU time: 170.189 s 9.99/10.01 c =============================================================================== 9.99/10.01 c | 652 | 4045 28580 269053 | 9526 652 180 | 32.358 % | 10.09/10.19 c =============================================================================== 10.09/10.19 c New solution: 107201 10.09/10.19 o 107201 10.09/10.19 c Elapsed CPU time: 9.99548 s Remaining CPU time: 170.005 s 10.09/10.19 c =============================================================================== 10.09/10.19 c | 652 | 4045 28581 271173 | 9527 652 180 | 32.358 % | 10.39/10.48 c =============================================================================== 10.39/10.48 c New solution: 107200 10.39/10.48 o 107200 10.39/10.48 c Elapsed CPU time: 10.2884 s Remaining CPU time: 169.712 s 10.39/10.48 c =============================================================================== 10.39/10.48 c | 660 | 4045 28582 273293 | 9527 660 180 | 32.358 % | 10.79/10.90 c | 761 | 4045 28582 273293 | 10480 761 241 | 32.358 % | 11.00/11.10 c =============================================================================== 11.00/11.10 c New solution: 107199 11.00/11.10 o 107199 11.00/11.10 c Elapsed CPU time: 10.8943 s Remaining CPU time: 169.106 s 11.00/11.10 c =============================================================================== 11.00/11.10 c | 778 | 4045 28583 275413 | 9527 778 238 | 32.358 % | 11.19/11.25 c =============================================================================== 11.19/11.25 c New solution: 107146 11.19/11.25 o 107146 11.19/11.25 c Elapsed CPU time: 11.0443 s Remaining CPU time: 168.956 s 11.19/11.25 c =============================================================================== 11.19/11.25 c | 778 | 4045 28584 277533 | 9528 778 238 | 32.358 % | 11.29/11.37 c =============================================================================== 11.29/11.37 c New solution: 107145 11.29/11.37 o 107145 11.29/11.37 c Elapsed CPU time: 11.1643 s Remaining CPU time: 168.836 s 11.29/11.37 c =============================================================================== 11.29/11.37 c | 781 | 4045 28585 279653 | 9528 781 239 | 32.358 % | 11.49/11.52 c =============================================================================== 11.49/11.52 c New solution: 105558 11.49/11.52 o 105558 11.49/11.52 c Elapsed CPU time: 11.3133 s Remaining CPU time: 168.687 s 11.49/11.52 c =============================================================================== 11.49/11.52 c | 787 | 4045 28586 281773 | 9528 787 241 | 32.358 % | 11.58/11.68 c =============================================================================== 11.58/11.68 c New solution: 105483 11.58/11.68 o 105483 11.58/11.68 c Elapsed CPU time: 11.4723 s Remaining CPU time: 168.528 s 11.58/11.68 c =============================================================================== 11.58/11.68 c | 788 | 4045 28587 283893 | 9529 788 241 | 32.358 % | 11.79/11.81 c =============================================================================== 11.79/11.81 c New solution: 105482 11.79/11.81 o 105482 11.79/11.81 c Elapsed CPU time: 11.5962 s Remaining CPU time: 168.404 s 11.79/11.81 c =============================================================================== 11.79/11.81 c | 791 | 4045 28588 286013 | 9529 791 242 | 32.358 % | 11.89/11.90 c =============================================================================== 11.89/11.90 c New solution: 103882 11.89/11.90 o 103882 11.89/11.90 c Elapsed CPU time: 11.6912 s Remaining CPU time: 168.309 s 11.89/11.90 c =============================================================================== 11.89/11.90 c | 792 | 4045 28589 288133 | 9529 792 242 | 32.358 % | 12.00/12.07 c =============================================================================== 12.00/12.07 c New solution: 103830 12.00/12.07 o 103830 12.00/12.07 c Elapsed CPU time: 11.8522 s Remaining CPU time: 168.148 s 12.00/12.07 c =============================================================================== 12.00/12.07 c | 796 | 4045 28590 290253 | 9530 796 243 | 32.358 % | 12.10/12.19 c =============================================================================== 12.10/12.19 c New solution: 103817 12.10/12.19 o 103817 12.10/12.19 c Elapsed CPU time: 11.9752 s Remaining CPU time: 168.025 s 12.10/12.19 c =============================================================================== 12.10/12.19 c | 801 | 4045 28591 292373 | 9530 801 245 | 32.358 % | 12.29/12.31 c =============================================================================== 12.29/12.31 c New solution: 103816 12.29/12.31 o 103816 12.29/12.31 c Elapsed CPU time: 12.0972 s Remaining CPU time: 167.903 s 12.29/12.31 c =============================================================================== 12.29/12.31 c | 803 | 4045 28592 294493 | 9530 803 245 | 32.358 % | 12.38/12.41 c =============================================================================== 12.38/12.41 c New solution: 102259 12.38/12.41 o 102259 12.38/12.41 c Elapsed CPU time: 12.1911 s Remaining CPU time: 167.809 s 12.38/12.41 c =============================================================================== 12.38/12.41 c | 803 | 4045 28593 296613 | 9531 803 245 | 32.358 % | 12.49/12.51 c =============================================================================== 12.49/12.51 c New solution: 102254 12.49/12.51 o 102254 12.49/12.51 c Elapsed CPU time: 12.2911 s Remaining CPU time: 167.709 s 12.49/12.51 c =============================================================================== 12.49/12.51 c | 803 | 4045 28594 298733 | 9531 803 245 | 32.358 % | 12.59/12.64 c =============================================================================== 12.59/12.64 c New solution: 102253 12.59/12.64 o 102253 12.59/12.64 c Elapsed CPU time: 12.4181 s Remaining CPU time: 167.582 s 12.59/12.64 c =============================================================================== 12.59/12.64 c | 803 | 4045 28595 300853 | 9531 803 245 | 32.358 % | 12.69/12.74 c =============================================================================== 12.69/12.74 c New solution: 102247 12.69/12.74 o 102247 12.69/12.74 c Elapsed CPU time: 12.5191 s Remaining CPU time: 167.481 s 12.69/12.74 c =============================================================================== 12.69/12.74 c | 803 | 4045 28596 302973 | 9532 803 245 | 32.358 % | 12.79/12.87 c =============================================================================== 12.79/12.87 c New solution: 102244 12.79/12.87 o 102244 12.79/12.87 c Elapsed CPU time: 12.6451 s Remaining CPU time: 167.355 s 12.79/12.87 c =============================================================================== 12.79/12.87 c | 803 | 4045 28597 305093 | 9532 803 245 | 32.358 % | 12.89/12.97 c =============================================================================== 12.89/12.97 c New solution: 102243 12.89/12.97 o 102243 12.89/12.97 c Elapsed CPU time: 12.7481 s Remaining CPU time: 167.252 s 12.89/12.97 c =============================================================================== 12.89/12.97 c | 804 | 4045 28598 307213 | 9532 804 246 | 32.358 % | 13.10/13.12 c =============================================================================== 13.10/13.12 c New solution: 102171 13.10/13.12 o 102171 13.10/13.12 c Elapsed CPU time: 12.896 s Remaining CPU time: 167.104 s 13.10/13.12 c =============================================================================== 13.10/13.12 c | 807 | 4045 28599 309333 | 9533 807 247 | 32.358 % | 13.89/13.94 c | 908 | 4045 28599 309333 | 10486 908 288 | 32.358 % | 14.09/14.12 c =============================================================================== 14.09/14.12 c New solution: 102170 14.09/14.12 o 102170 14.09/14.12 c Elapsed CPU time: 13.8909 s Remaining CPU time: 166.109 s 14.09/14.12 c =============================================================================== 14.09/14.12 c | 934 | 4045 28600 311453 | 9533 934 288 | 32.358 % | 14.29/14.36 c =============================================================================== 14.29/14.36 c New solution: 102164 14.29/14.36 o 102164 14.29/14.36 c Elapsed CPU time: 14.1329 s Remaining CPU time: 165.867 s 14.29/14.36 c =============================================================================== 14.29/14.36 c | 937 | 4045 28601 313573 | 9533 937 288 | 32.358 % | 14.69/14.73 c =============================================================================== 14.69/14.73 c New solution: 100564 14.69/14.73 o 100564 14.69/14.73 c Elapsed CPU time: 14.4958 s Remaining CPU time: 165.504 s 14.69/14.73 c =============================================================================== 14.69/14.73 c | 982 | 4045 28602 315693 | 9534 982 299 | 32.358 % | 14.89/14.98 c =============================================================================== 14.89/14.98 c New solution: 100523 14.89/14.98 o 100523 14.89/14.98 c Elapsed CPU time: 14.7448 s Remaining CPU time: 165.255 s 14.89/14.98 c =============================================================================== 14.89/14.98 c | 986 | 4045 28603 317813 | 9534 986 299 | 32.358 % | 15.19/15.20 c =============================================================================== 15.19/15.20 c New solution: 100499 15.19/15.20 o 100499 15.19/15.20 c Elapsed CPU time: 14.9687 s Remaining CPU time: 165.031 s 15.19/15.20 c =============================================================================== 15.19/15.20 c | 989 | 4045 28604 319933 | 9534 989 299 | 32.358 % | 15.30/15.35 c =============================================================================== 15.30/15.35 c New solution: 100498 15.30/15.35 o 100498 15.30/15.35 c Elapsed CPU time: 15.1187 s Remaining CPU time: 164.881 s 15.30/15.35 c =============================================================================== 15.30/15.35 c | 991 | 4045 28605 322053 | 9535 991 299 | 32.358 % | 15.59/15.66 c =============================================================================== 15.59/15.66 c New solution: 98924 15.59/15.66 o 98924 15.59/15.66 c Elapsed CPU time: 15.4247 s Remaining CPU time: 164.575 s 15.59/15.66 c =============================================================================== 15.59/15.66 c | 998 | 4045 28606 324173 | 9535 998 297 | 32.358 % | 15.68/15.79 c =============================================================================== 15.68/15.79 c New solution: 98923 15.68/15.79 o 98923 15.68/15.79 c Elapsed CPU time: 15.5486 s Remaining CPU time: 164.451 s 15.68/15.79 c =============================================================================== 15.68/15.79 c | 1000 | 4045 28607 326293 | 9535 1000 297 | 32.358 % | 15.88/15.93 c =============================================================================== 15.88/15.93 c New solution: 98872 15.88/15.93 o 98872 15.88/15.93 c Elapsed CPU time: 15.6936 s Remaining CPU time: 164.306 s 15.88/15.93 c =============================================================================== 15.88/15.93 c | 1001 | 4045 28608 328413 | 9536 1001 297 | 32.358 % | 15.99/16.09 c =============================================================================== 15.99/16.09 c New solution: 98832 15.99/16.09 o 98832 15.99/16.09 c Elapsed CPU time: 15.8506 s Remaining CPU time: 164.149 s 15.99/16.09 c =============================================================================== 15.99/16.09 c | 1001 | 4045 28609 330533 | 9536 1001 297 | 32.358 % | 16.19/16.22 c =============================================================================== 16.19/16.22 c New solution: 98831 16.19/16.22 o 98831 16.19/16.22 c Elapsed CPU time: 15.9776 s Remaining CPU time: 164.022 s 16.19/16.22 c =============================================================================== 16.19/16.22 c | 1008 | 4045 28610 332653 | 9536 1008 299 | 32.358 % | 16.29/16.37 c =============================================================================== 16.29/16.37 c New solution: 97273 16.29/16.37 o 97273 16.29/16.37 c Elapsed CPU time: 16.1315 s Remaining CPU time: 163.868 s 16.29/16.37 c =============================================================================== 16.29/16.37 c | 1016 | 4045 28611 334773 | 9537 1016 300 | 32.358 % | 16.50/16.51 c =============================================================================== 16.50/16.51 c New solution: 97259 16.50/16.51 o 97259 16.50/16.51 c Elapsed CPU time: 16.2675 s Remaining CPU time: 163.732 s 16.50/16.51 c =============================================================================== 16.50/16.51 c | 1020 | 4045 28612 336893 | 9537 1020 299 | 32.358 % | 16.59/16.67 c =============================================================================== 16.59/16.67 c New solution: 97242 16.59/16.67 o 97242 16.59/16.67 c Elapsed CPU time: 16.4235 s Remaining CPU time: 163.576 s 16.59/16.67 c =============================================================================== 16.59/16.67 c | 1022 | 4045 28613 339013 | 9537 1022 299 | 32.358 % | 16.79/16.80 c =============================================================================== 16.79/16.80 c New solution: 97239 16.79/16.80 o 97239 16.79/16.80 c Elapsed CPU time: 16.5555 s Remaining CPU time: 163.445 s 16.79/16.80 c =============================================================================== 16.79/16.80 c | 1023 | 4045 28614 341133 | 9538 1023 299 | 32.358 % | 16.89/16.93 c =============================================================================== 16.89/16.93 c New solution: 97238 16.89/16.93 o 97238 16.89/16.93 c Elapsed CPU time: 16.6835 s Remaining CPU time: 163.317 s 16.89/16.93 c =============================================================================== 16.89/16.93 c | 1025 | 4045 28615 343253 | 9538 1025 299 | 32.358 % | 16.99/17.07 c =============================================================================== 16.99/17.07 c New solution: 97163 16.99/17.07 o 97163 16.99/17.07 c Elapsed CPU time: 16.8234 s Remaining CPU time: 163.177 s 16.99/17.07 c =============================================================================== 16.99/17.07 c | 1029 | 4045 28616 345373 | 9538 1029 300 | 32.358 % | 17.19/17.23 c =============================================================================== 17.19/17.23 c New solution: 95596 17.19/17.23 o 95596 17.19/17.23 c Elapsed CPU time: 16.9834 s Remaining CPU time: 163.017 s 17.19/17.23 c =============================================================================== 17.19/17.23 c | 1031 | 4045 28617 347493 | 9539 1031 300 | 32.358 % | 17.19/17.29 c =============================================================================== 17.19/17.29 c New solution: 93945 17.19/17.29 o 93945 17.19/17.29 c Elapsed CPU time: 17.0394 s Remaining CPU time: 162.961 s 17.19/17.29 c =============================================================================== 17.19/17.29 c | 1034 | 4045 28618 349613 | 9539 1034 300 | 32.358 % | 17.39/17.46 c =============================================================================== 17.39/17.46 c New solution: 93920 17.39/17.46 o 93920 17.39/17.46 c Elapsed CPU time: 17.2114 s Remaining CPU time: 162.789 s 17.39/17.46 c =============================================================================== 17.39/17.46 c | 1037 | 4045 28619 351733 | 9539 1037 301 | 32.358 % | 17.60/17.64 c =============================================================================== 17.60/17.64 c New solution: 93917 17.60/17.64 o 93917 17.60/17.64 c Elapsed CPU time: 17.3924 s Remaining CPU time: 162.608 s 17.60/17.64 c =============================================================================== 17.60/17.64 c | 1037 | 4045 28620 353853 | 9540 1037 301 | 32.358 % | 17.79/17.82 c =============================================================================== 17.79/17.82 c New solution: 93863 17.79/17.82 o 93863 17.79/17.82 c Elapsed CPU time: 17.5673 s Remaining CPU time: 162.433 s 17.79/17.82 c =============================================================================== 17.79/17.82 c | 1041 | 4045 28621 355973 | 9540 1041 302 | 32.358 % | 17.89/17.90 c =============================================================================== 17.89/17.90 c New solution: 92292 17.89/17.90 o 92292 17.89/17.90 c Elapsed CPU time: 17.6453 s Remaining CPU time: 162.355 s 17.89/17.90 c =============================================================================== 17.89/17.90 c | 1043 | 4045 28622 358093 | 9540 1043 302 | 32.358 % | 17.99/18.01 c =============================================================================== 17.99/18.01 c New solution: 92244 17.99/18.01 o 92244 17.99/18.01 c Elapsed CPU time: 17.7533 s Remaining CPU time: 162.247 s 17.99/18.01 c =============================================================================== 17.99/18.01 c | 1048 | 4045 28623 360213 | 9541 1048 302 | 32.358 % | 18.19/18.24 c =============================================================================== 18.19/18.24 c New solution: 92186 18.19/18.24 o 92186 18.19/18.24 c Elapsed CPU time: 17.9743 s Remaining CPU time: 162.026 s 18.19/18.24 c =============================================================================== 18.19/18.24 c | 1050 | 4045 28624 362333 | 9541 1050 302 | 32.358 % | 18.39/18.46 c =============================================================================== 18.39/18.46 c New solution: 92185 18.39/18.46 o 92185 18.39/18.46 c Elapsed CPU time: 18.1982 s Remaining CPU time: 161.802 s 18.39/18.46 c =============================================================================== 18.39/18.46 c | 1052 | 4045 28625 364453 | 9541 1052 303 | 32.358 % | 18.59/18.63 c =============================================================================== 18.59/18.63 c New solution: 92164 18.59/18.63 o 92164 18.59/18.63 c Elapsed CPU time: 18.3652 s Remaining CPU time: 161.635 s 18.59/18.63 c =============================================================================== 18.59/18.63 c | 1053 | 4045 28626 366573 | 9542 1053 303 | 32.358 % | 18.79/18.82 c =============================================================================== 18.79/18.82 c New solution: 90628 18.79/18.82 o 90628 18.79/18.82 c Elapsed CPU time: 18.5542 s Remaining CPU time: 161.446 s 18.79/18.82 c =============================================================================== 18.79/18.82 c | 1056 | 4045 28627 368693 | 9542 1056 303 | 32.358 % | 18.89/18.99 c =============================================================================== 18.89/18.99 c New solution: 90506 18.89/18.99 o 90506 18.89/18.99 c Elapsed CPU time: 18.7252 s Remaining CPU time: 161.275 s 18.89/18.99 c =============================================================================== 18.89/18.99 c | 1059 | 4045 28628 370813 | 9542 1059 303 | 32.358 % | 18.98/19.05 c =============================================================================== 18.98/19.05 c New solution: 88961 18.98/19.05 o 88961 18.98/19.05 c Elapsed CPU time: 18.7811 s Remaining CPU time: 161.219 s 18.98/19.05 c =============================================================================== 18.98/19.05 c | 1059 | 4045 28629 372933 | 9543 1059 303 | 32.358 % | 19.08/19.10 c =============================================================================== 19.08/19.10 c New solution: 88960 19.08/19.10 o 88960 19.08/19.10 c Elapsed CPU time: 18.8351 s Remaining CPU time: 161.165 s 19.08/19.10 c =============================================================================== 19.08/19.10 c | 1060 | 4045 28630 375053 | 9543 1060 304 | 32.358 % | 19.28/19.33 c =============================================================================== 19.28/19.33 c New solution: 88959 19.28/19.33 o 88959 19.28/19.33 c Elapsed CPU time: 19.0581 s Remaining CPU time: 160.942 s 19.28/19.33 c =============================================================================== 19.28/19.33 c | 1069 | 4045 28631 377173 | 9543 1069 304 | 32.358 % | 19.48/19.55 c =============================================================================== 19.48/19.55 c New solution: 88872 19.48/19.55 o 88872 19.48/19.55 c Elapsed CPU time: 19.2761 s Remaining CPU time: 160.724 s 19.48/19.55 c =============================================================================== 19.48/19.55 c | 1071 | 4045 28632 379293 | 9544 1071 304 | 32.358 % | 19.79/19.83 c =============================================================================== 19.79/19.83 c New solution: 88848 19.79/19.83 o 88848 19.79/19.83 c Elapsed CPU time: 19.562 s Remaining CPU time: 160.438 s 19.79/19.83 c =============================================================================== 19.79/19.83 c | 1074 | 4045 28633 381413 | 9544 1074 305 | 32.358 % | 19.88/19.99 c =============================================================================== 19.88/19.99 c New solution: 87262 19.88/19.99 o 87262 19.88/19.99 c Elapsed CPU time: 19.716 s Remaining CPU time: 160.284 s 19.88/19.99 c =============================================================================== 19.88/19.99 c | 1079 | 4045 28634 383533 | 9544 1079 305 | 32.358 % | 20.19/20.20 c =============================================================================== 20.19/20.20 c New solution: 87207 20.19/20.20 o 87207 20.19/20.20 c Elapsed CPU time: 19.932 s Remaining CPU time: 160.068 s 20.19/20.20 c =============================================================================== 20.19/20.20 c | 1083 | 4045 28635 385653 | 9545 1083 306 | 32.358 % | 20.89/20.94 c | 1183 | 4045 28635 385653 | 10499 1183 334 | 32.358 % | 20.99/21.07 c =============================================================================== 20.99/21.07 c New solution: 87206 20.99/21.07 o 87206 20.99/21.07 c Elapsed CPU time: 20.7988 s Remaining CPU time: 159.201 s 20.99/21.07 c =============================================================================== 20.99/21.07 c | 1188 | 4045 28636 387773 | 9545 1188 335 | 32.358 % | 21.19/21.27 c =============================================================================== 21.19/21.27 c New solution: 87205 21.19/21.27 o 87205 21.19/21.27 c Elapsed CPU time: 20.9908 s Remaining CPU time: 159.009 s 21.19/21.27 c =============================================================================== 21.19/21.27 c | 1202 | 4045 28637 389893 | 9545 1202 337 | 32.358 % | 21.58/21.64 c =============================================================================== 21.58/21.64 c New solution: 87181 21.58/21.64 o 87181 21.58/21.64 c Elapsed CPU time: 21.3578 s Remaining CPU time: 158.642 s 21.58/21.64 c =============================================================================== 21.58/21.64 c | 1228 | 4045 28638 392013 | 9546 1228 341 | 32.358 % | 22.28/22.34 c =============================================================================== 22.28/22.34 c New solution: 85603 22.28/22.34 o 85603 22.28/22.34 c Elapsed CPU time: 22.0596 s Remaining CPU time: 157.94 s 22.28/22.34 c =============================================================================== 22.28/22.34 c | 1309 | 4045 28639 394133 | 9546 1309 357 | 32.358 % | 22.49/22.56 c =============================================================================== 22.49/22.56 c New solution: 85592 22.49/22.56 o 85592 22.49/22.56 c Elapsed CPU time: 22.2786 s Remaining CPU time: 157.721 s 22.49/22.56 c =============================================================================== 22.49/22.56 c | 1316 | 4045 28640 396253 | 9546 1316 357 | 32.358 % | 22.79/22.82 c =============================================================================== 22.79/22.82 c New solution: 85532 22.79/22.82 o 85532 22.79/22.82 c Elapsed CPU time: 22.5326 s Remaining CPU time: 157.467 s 22.79/22.82 c =============================================================================== 22.79/22.82 c | 1321 | 4045 28641 398373 | 9547 1321 358 | 32.358 % | 22.99/23.07 c =============================================================================== 22.99/23.07 c New solution: 85510 22.99/23.07 o 85510 22.99/23.07 c Elapsed CPU time: 22.7795 s Remaining CPU time: 157.22 s 22.99/23.07 c =============================================================================== 22.99/23.07 c | 1326 | 4045 28642 400493 | 9547 1326 358 | 32.358 % | 23.68/23.71 c | 1426 | 4045 28642 400493 | 10502 1426 377 | 32.358 % | 23.88/23.93 c =============================================================================== 23.88/23.93 c New solution: 85509 23.88/23.93 o 85509 23.88/23.93 c Elapsed CPU time: 23.6404 s Remaining CPU time: 156.36 s 23.88/23.93 c =============================================================================== 23.88/23.93 c | 1427 | 4045 28643 402613 | 9547 1427 377 | 32.358 % | 24.09/24.12 c =============================================================================== 24.09/24.12 c New solution: 85508 24.09/24.12 o 85508 24.09/24.12 c Elapsed CPU time: 23.8274 s Remaining CPU time: 156.173 s 24.09/24.12 c =============================================================================== 24.09/24.12 c | 1431 | 4045 28644 404733 | 9548 1431 377 | 32.358 % | 24.29/24.38 c =============================================================================== 24.29/24.38 c New solution: 85507 24.29/24.38 o 85507 24.29/24.38 c Elapsed CPU time: 24.0883 s Remaining CPU time: 155.912 s 24.29/24.38 c =============================================================================== 24.29/24.38 c | 1432 | 4045 28645 406853 | 9548 1432 377 | 32.358 % | 24.59/24.62 c =============================================================================== 24.59/24.62 c New solution: 85506 24.59/24.62 o 85506 24.59/24.62 c Elapsed CPU time: 24.3223 s Remaining CPU time: 155.678 s 24.59/24.62 c =============================================================================== 24.59/24.62 c | 1451 | 4045 28646 408973 | 9548 1451 379 | 32.358 % | 25.59/25.65 c | 1553 | 4045 28646 408973 | 10503 1553 387 | 32.358 % | 26.69/26.73 c | 1703 | 4045 28646 408973 | 11553 1703 405 | 32.358 % | 26.88/26.99 c =============================================================================== 26.88/26.99 c New solution: 85505 26.88/26.99 o 85505 26.88/26.99 c Elapsed CPU time: 26.6899 s Remaining CPU time: 153.31 s 26.88/26.99 c =============================================================================== 26.88/26.99 c | 1705 | 4045 28647 411093 | 9549 1705 405 | 32.358 % | 27.28/27.31 c =============================================================================== 27.28/27.31 c New solution: 85504 27.28/27.31 o 85504 27.28/27.31 c Elapsed CPU time: 27.0089 s Remaining CPU time: 152.991 s 27.28/27.31 c =============================================================================== 27.28/27.31 c | 1729 | 4045 28648 413213 | 9549 1729 408 | 32.358 % | 27.68/27.79 c =============================================================================== 27.68/27.79 c New solution: 85503 27.68/27.79 o 85503 27.68/27.79 c Elapsed CPU time: 27.4848 s Remaining CPU time: 152.515 s 27.68/27.79 c =============================================================================== 27.68/27.79 c | 1805 | 4045 28649 415333 | 9549 1805 415 | 32.358 % | 29.08/29.10 c | 1906 | 4045 28649 415333 | 10504 1906 426 | 32.358 % | 29.28/29.35 c =============================================================================== 29.28/29.35 c New solution: 85502 29.28/29.35 o 85502 29.28/29.35 c Elapsed CPU time: 29.0476 s Remaining CPU time: 150.952 s 29.28/29.35 c =============================================================================== 29.28/29.35 c | 1912 | 4045 28650 417453 | 9550 1912 426 | 32.358 % | 30.29/30.30 c | 2012 | 4045 28650 417453 | 10505 2012 435 | 32.358 % | 30.49/30.52 c =============================================================================== 30.49/30.52 c New solution: 85500 30.49/30.52 o 85500 30.49/30.52 c Elapsed CPU time: 30.2214 s Remaining CPU time: 149.779 s 30.49/30.52 c =============================================================================== 30.49/30.52 c | 2019 | 4045 28651 419573 | 9550 2019 435 | 32.358 % | 30.59/30.62 c =============================================================================== 30.59/30.62 c New solution: 85499 30.59/30.62 o 85499 30.59/30.62 c Elapsed CPU time: 30.3154 s Remaining CPU time: 149.685 s 30.59/30.62 c =============================================================================== 30.59/30.62 c | 2026 | 4045 28652 421693 | 9550 2026 435 | 32.358 % | 30.70/30.79 c =============================================================================== 30.70/30.79 c New solution: 85498 30.70/30.79 o 85498 30.70/30.79 c Elapsed CPU time: 30.4884 s Remaining CPU time: 149.512 s 30.70/30.79 c =============================================================================== 30.70/30.79 c | 2035 | 4045 28653 423813 | 9551 2035 436 | 32.358 % | 30.99/31.00 c =============================================================================== 30.99/31.00 c New solution: 85497 30.99/31.00 o 85497 30.99/31.00 c Elapsed CPU time: 30.7003 s Remaining CPU time: 149.3 s 30.99/31.00 c =============================================================================== 30.99/31.00 c | 2042 | 4045 28654 425933 | 9551 2042 436 | 32.358 % | 31.19/31.27 c =============================================================================== 31.19/31.27 c New solution: 83965 31.19/31.27 o 83965 31.19/31.27 c Elapsed CPU time: 30.9693 s Remaining CPU time: 149.031 s 31.19/31.27 c =============================================================================== 31.19/31.27 c | 2053 | 4045 28655 428053 | 9551 2053 436 | 32.358 % | 31.49/31.50 c =============================================================================== 31.49/31.50 c New solution: 83902 31.49/31.50 o 83902 31.49/31.50 c Elapsed CPU time: 31.1933 s Remaining CPU time: 148.807 s 31.49/31.50 c =============================================================================== 31.49/31.50 c | 2057 | 4045 28656 430173 | 9552 2057 436 | 32.358 % | 31.68/31.72 c =============================================================================== 31.68/31.72 c New solution: 83838 31.68/31.72 o 83838 31.68/31.72 c Elapsed CPU time: 31.4112 s Remaining CPU time: 148.589 s 31.68/31.72 c =============================================================================== 31.68/31.72 c | 2062 | 4045 28657 432293 | 9552 2062 436 | 32.358 % | 32.38/32.49 c | 2162 | 4045 28657 432293 | 10507 2162 444 | 32.358 % | 33.38/33.49 c | 2312 | 4045 28657 432293 | 11558 2312 454 | 32.358 % | 33.78/33.88 c =============================================================================== 33.78/33.88 c New solution: 83837 33.78/33.88 o 83837 33.78/33.88 c Elapsed CPU time: 33.5719 s Remaining CPU time: 146.428 s 33.78/33.88 c =============================================================================== 33.78/33.88 c | 2350 | 4045 28658 434413 | 9552 2350 456 | 32.358 % | 34.09/34.16 c =============================================================================== 34.09/34.16 c New solution: 83836 34.09/34.16 o 83836 34.09/34.16 c Elapsed CPU time: 33.8469 s Remaining CPU time: 146.153 s 34.09/34.16 c =============================================================================== 34.09/34.16 c | 2352 | 4045 28659 436533 | 9553 2352 456 | 32.358 % | 34.38/34.43 c =============================================================================== 34.38/34.43 c New solution: 83835 34.38/34.43 o 83835 34.38/34.43 c Elapsed CPU time: 34.1158 s Remaining CPU time: 145.884 s 34.38/34.43 c =============================================================================== 34.38/34.43 c | 2361 | 4045 28660 438653 | 9553 2361 456 | 32.358 % | 37.49/37.60 c | 2463 | 4045 28660 438653 | 10508 2463 457 | 32.358 % | 37.69/37.72 c =============================================================================== 37.69/37.72 c New solution: 82309 37.69/37.72 o 82309 37.69/37.72 c Elapsed CPU time: 37.3993 s Remaining CPU time: 142.601 s 37.69/37.72 c =============================================================================== 37.69/37.72 c | 2466 | 4045 28661 440773 | 9553 2466 457 | 32.358 % | 37.89/37.92 c =============================================================================== 37.89/37.92 c New solution: 82186 37.89/37.92 o 82186 37.89/37.92 c Elapsed CPU time: 37.6073 s Remaining CPU time: 142.393 s 37.89/37.92 c =============================================================================== 37.89/37.92 c | 2470 | 4045 28662 442893 | 9554 2470 457 | 32.358 % | 38.58/38.65 c | 2571 | 4045 28662 442893 | 10509 2571 461 | 32.358 % | 38.78/38.82 c =============================================================================== 38.78/38.82 c New solution: 82185 38.78/38.82 o 82185 38.78/38.82 c Elapsed CPU time: 38.4951 s Remaining CPU time: 141.505 s 38.78/38.82 c =============================================================================== 38.78/38.82 c | 2577 | 4045 28663 445013 | 9554 2577 461 | 32.358 % | 38.98/39.05 c =============================================================================== 38.98/39.05 c New solution: 82174 38.98/39.05 o 82174 38.98/39.05 c Elapsed CPU time: 38.7251 s Remaining CPU time: 141.275 s 38.98/39.05 c =============================================================================== 38.98/39.05 c | 2582 | 4045 28664 447133 | 9554 2582 461 | 32.358 % | 39.49/39.59 c =============================================================================== 39.49/39.59 c New solution: 80621 39.49/39.59 o 80621 39.49/39.59 c Elapsed CPU time: 39.262 s Remaining CPU time: 140.738 s 39.49/39.59 c =============================================================================== 39.49/39.59 c | 2611 | 4045 28665 449253 | 9555 2611 462 | 32.358 % | 39.69/39.80 c =============================================================================== 39.69/39.80 c New solution: 80563 39.69/39.80 o 80563 39.69/39.80 c Elapsed CPU time: 39.468 s Remaining CPU time: 140.532 s 39.69/39.80 c =============================================================================== 39.69/39.80 c | 2619 | 4045 28666 451373 | 9555 2619 463 | 32.358 % | 39.98/40.07 c =============================================================================== 39.98/40.07 c New solution: 80512 39.98/40.07 o 80512 39.98/40.07 c Elapsed CPU time: 39.746 s Remaining CPU time: 140.254 s 39.98/40.07 c =============================================================================== 39.98/40.07 c | 2622 | 4045 28667 453493 | 9555 2622 463 | 32.358 % | 40.28/40.35 c =============================================================================== 40.28/40.35 c New solution: 80511 40.28/40.35 o 80511 40.28/40.35 c Elapsed CPU time: 40.0219 s Remaining CPU time: 139.978 s 40.28/40.35 c =============================================================================== 40.28/40.35 c | 2625 | 4045 28668 455613 | 9556 2625 463 | 32.358 % | 41.08/41.17 c | 2726 | 4045 28668 455613 | 10511 2726 468 | 32.358 % | 41.28/41.34 c =============================================================================== 41.28/41.34 c New solution: 80510 41.28/41.34 o 80510 41.28/41.34 c Elapsed CPU time: 41.0078 s Remaining CPU time: 138.992 s 41.28/41.34 c =============================================================================== 41.28/41.34 c | 2733 | 4045 28669 457733 | 9556 2733 469 | 32.358 % | 41.48/41.55 c =============================================================================== 41.48/41.55 c New solution: 80509 41.48/41.55 o 80509 41.48/41.55 c Elapsed CPU time: 41.2207 s Remaining CPU time: 138.779 s 41.48/41.55 c =============================================================================== 41.48/41.55 c | 2734 | 4045 28670 459853 | 9556 2734 469 | 32.358 % | 41.78/41.83 c =============================================================================== 41.78/41.83 c New solution: 80508 41.78/41.83 o 80508 41.78/41.83 c Elapsed CPU time: 41.4947 s Remaining CPU time: 138.505 s 41.78/41.83 c =============================================================================== 41.78/41.83 c | 2734 | 4045 28671 461973 | 9557 2734 469 | 32.358 % | 42.09/42.10 c =============================================================================== 42.09/42.10 c New solution: 80504 42.09/42.10 o 80504 42.09/42.10 c Elapsed CPU time: 41.7607 s Remaining CPU time: 138.239 s 42.09/42.10 c =============================================================================== 42.09/42.10 c | 2734 | 4045 28672 464093 | 9557 2734 469 | 32.358 % | 42.29/42.36 c =============================================================================== 42.29/42.36 c New solution: 80503 42.29/42.36 o 80503 42.29/42.36 c Elapsed CPU time: 42.0286 s Remaining CPU time: 137.971 s 42.29/42.36 c =============================================================================== 42.29/42.36 c | 2734 | 4045 28673 466213 | 9557 2734 469 | 32.358 % | 42.58/42.63 c =============================================================================== 42.58/42.63 c New solution: 80502 42.58/42.63 o 80502 42.58/42.63 c Elapsed CPU time: 42.2936 s Remaining CPU time: 137.706 s 42.58/42.63 c =============================================================================== 42.58/42.63 c | 2734 | 4045 28674 468333 | 9558 2734 469 | 32.358 % | 42.79/42.90 c =============================================================================== 42.79/42.90 c New solution: 80501 42.79/42.90 o 80501 42.79/42.90 c Elapsed CPU time: 42.5595 s Remaining CPU time: 137.44 s 42.79/42.90 c =============================================================================== 42.79/42.90 c | 2734 | 4045 28675 470453 | 9558 2734 469 | 32.358 % | 43.08/43.16 c =============================================================================== 43.08/43.16 c New solution: 80500 43.08/43.16 o 80500 43.08/43.16 c Elapsed CPU time: 42.8215 s Remaining CPU time: 137.179 s 43.08/43.16 c =============================================================================== 43.08/43.16 c | 2734 | 4045 28676 472573 | 9558 2734 469 | 32.358 % | 43.38/43.43 c =============================================================================== 43.38/43.43 c New solution: 80499 43.38/43.43 o 80499 43.38/43.43 c Elapsed CPU time: 43.0874 s Remaining CPU time: 136.913 s 43.38/43.43 c =============================================================================== 43.38/43.43 c | 2735 | 4045 28677 474693 | 9559 2735 469 | 32.358 % | 43.58/43.68 c =============================================================================== 43.58/43.68 c New solution: 80498 43.58/43.68 o 80498 43.58/43.68 c Elapsed CPU time: 43.3434 s Remaining CPU time: 136.657 s 43.58/43.68 c =============================================================================== 43.58/43.68 c | 2735 | 4045 28678 476813 | 9559 2735 469 | 32.358 % | 43.89/43.95 c =============================================================================== 43.89/43.95 c New solution: 80497 43.89/43.95 o 80497 43.89/43.95 c Elapsed CPU time: 43.6034 s Remaining CPU time: 136.397 s 43.89/43.95 c =============================================================================== 43.89/43.95 c | 2735 | 4045 28679 478933 | 9559 2735 469 | 32.358 % | 44.18/44.21 c =============================================================================== 44.18/44.21 c New solution: 80496 44.18/44.21 o 80496 44.18/44.21 c Elapsed CPU time: 43.8663 s Remaining CPU time: 136.134 s 44.18/44.21 c =============================================================================== 44.18/44.21 c | 2735 | 4045 28680 481053 | 9560 2735 469 | 32.358 % | 44.38/44.47 c =============================================================================== 44.38/44.47 c New solution: 80495 44.38/44.47 o 80495 44.38/44.47 c Elapsed CPU time: 44.1273 s Remaining CPU time: 135.873 s 44.38/44.47 c =============================================================================== 44.38/44.47 c | 2735 | 4045 28681 483173 | 9560 2735 469 | 32.358 % | 44.68/44.73 c =============================================================================== 44.68/44.73 c New solution: 80494 44.68/44.73 o 80494 44.68/44.73 c Elapsed CPU time: 44.3883 s Remaining CPU time: 135.612 s 44.68/44.73 c =============================================================================== 44.68/44.73 c | 2735 | 4045 28682 485293 | 9560 2735 469 | 32.358 % | 44.88/44.97 c =============================================================================== 44.88/44.97 c New solution: 80493 44.88/44.97 o 80493 44.88/44.97 c Elapsed CPU time: 44.6242 s Remaining CPU time: 135.376 s 44.88/44.97 c =============================================================================== 44.88/44.97 c | 2740 | 4045 28683 487413 | 9561 2740 469 | 32.358 % | 45.38/45.44 c =============================================================================== 45.38/45.44 c New solution: 78942 45.38/45.44 o 78942 45.38/45.44 c Elapsed CPU time: 45.0961 s Remaining CPU time: 134.904 s 45.38/45.44 c =============================================================================== 45.38/45.44 c | 2756 | 4045 28684 489533 | 9561 2756 469 | 32.358 % | 45.68/45.75 c =============================================================================== 45.68/45.75 c New solution: 78859 45.68/45.75 o 78859 45.68/45.75 c Elapsed CPU time: 45.4081 s Remaining CPU time: 134.592 s 45.68/45.75 c =============================================================================== 45.68/45.75 c | 2760 | 4045 28685 491653 | 9561 2760 469 | 32.358 % | 46.09/46.17 c =============================================================================== 46.09/46.17 c New solution: 78858 46.09/46.17 o 78858 46.09/46.17 c Elapsed CPU time: 45.821 s Remaining CPU time: 134.179 s 46.09/46.17 c =============================================================================== 46.09/46.17 c | 2781 | 4045 28686 493773 | 9562 2781 470 | 32.358 % | 46.38/46.47 c =============================================================================== 46.38/46.47 c New solution: 78847 46.38/46.47 o 78847 46.38/46.47 c Elapsed CPU time: 46.123 s Remaining CPU time: 133.877 s 46.38/46.47 c =============================================================================== 46.38/46.47 c | 2784 | 4045 28687 495893 | 9562 2784 470 | 32.358 % | 47.28/47.38 c | 2886 | 4045 28687 495893 | 10518 2886 475 | 32.358 % | 47.48/47.59 c =============================================================================== 47.48/47.59 c New solution: 78846 47.48/47.59 o 78846 47.48/47.59 c Elapsed CPU time: 47.2478 s Remaining CPU time: 132.752 s 47.48/47.59 c =============================================================================== 47.48/47.59 c | 2889 | 4045 28688 498013 | 9562 2889 475 | 32.358 % | 47.78/47.89 c =============================================================================== 47.78/47.89 c New solution: 78845 47.78/47.89 o 78845 47.78/47.89 c Elapsed CPU time: 47.5488 s Remaining CPU time: 132.451 s 47.78/47.89 c =============================================================================== 47.78/47.89 c | 2890 | 4045 28689 500133 | 9563 2890 475 | 32.358 % | 48.28/48.35 c =============================================================================== 48.28/48.35 c New solution: 78844 48.28/48.35 o 78844 48.28/48.35 c Elapsed CPU time: 48.0017 s Remaining CPU time: 131.998 s 48.28/48.35 c =============================================================================== 48.28/48.35 c | 2904 | 4045 28690 502253 | 9563 2904 475 | 32.358 % | 48.58/48.65 c =============================================================================== 48.58/48.65 c New solution: 78843 48.58/48.65 o 78843 48.58/48.65 c Elapsed CPU time: 48.3057 s Remaining CPU time: 131.694 s 48.58/48.65 c =============================================================================== 48.58/48.65 c | 2906 | 4045 28691 504373 | 9563 2906 475 | 32.358 % | 48.78/48.86 c =============================================================================== 48.78/48.86 c New solution: 78842 48.78/48.86 o 78842 48.78/48.86 c Elapsed CPU time: 48.5106 s Remaining CPU time: 131.489 s 48.78/48.86 c =============================================================================== 48.78/48.86 c | 2915 | 4045 28692 506493 | 9564 2915 475 | 32.358 % | 49.08/49.18 c =============================================================================== 49.08/49.18 c New solution: 78841 49.08/49.18 o 78841 49.08/49.18 c Elapsed CPU time: 48.8246 s Remaining CPU time: 131.175 s 49.08/49.18 c =============================================================================== 49.08/49.18 c | 2917 | 4045 28693 508613 | 9564 2917 475 | 32.358 % | 49.39/49.48 c =============================================================================== 49.39/49.48 c New solution: 78840 49.39/49.48 o 78840 49.39/49.48 c Elapsed CPU time: 49.1245 s Remaining CPU time: 130.875 s 49.39/49.48 c =============================================================================== 49.39/49.48 c | 2917 | 4045 28694 510733 | 9564 2917 475 | 32.358 % | 49.68/49.78 c =============================================================================== 49.68/49.78 c New solution: 78839 49.68/49.78 o 78839 49.68/49.78 c Elapsed CPU time: 49.4265 s Remaining CPU time: 130.574 s 49.68/49.78 c =============================================================================== 49.68/49.78 c | 2917 | 4045 28695 512853 | 9565 2917 475 | 32.358 % | 49.98/50.08 c =============================================================================== 49.98/50.08 c New solution: 78838 49.98/50.08 o 78838 49.98/50.08 c Elapsed CPU time: 49.7254 s Remaining CPU time: 130.275 s 49.98/50.08 c =============================================================================== 49.98/50.08 c | 2917 | 4045 28696 514973 | 9565 2917 475 | 32.358 % | 50.28/50.38 c =============================================================================== 50.28/50.38 c New solution: 78837 50.28/50.38 o 78837 50.28/50.38 c Elapsed CPU time: 50.0234 s Remaining CPU time: 129.977 s 50.28/50.38 c =============================================================================== 50.28/50.38 c | 2917 | 4045 28697 517093 | 9565 2917 475 | 32.358 % | 50.58/50.68 c =============================================================================== 50.58/50.68 c New solution: 78836 50.58/50.68 o 78836 50.58/50.68 c Elapsed CPU time: 50.3223 s Remaining CPU time: 129.678 s 50.58/50.68 c =============================================================================== 50.58/50.68 c | 2917 | 4045 28698 519213 | 9566 2917 475 | 32.358 % | 50.88/50.93 c =============================================================================== 50.88/50.93 c New solution: 78835 50.88/50.93 o 78835 50.88/50.93 c Elapsed CPU time: 50.5673 s Remaining CPU time: 129.433 s 50.88/50.93 c =============================================================================== 50.88/50.93 c | 2928 | 4045 28699 521333 | 9566 2928 476 | 32.358 % | 51.18/51.23 c =============================================================================== 51.18/51.23 c New solution: 78834 51.18/51.23 o 78834 51.18/51.23 c Elapsed CPU time: 50.8743 s Remaining CPU time: 129.126 s 51.18/51.23 c =============================================================================== 51.18/51.23 c | 2931 | 4045 28700 523453 | 9566 2931 476 | 32.358 % | 51.59/51.63 c =============================================================================== 51.59/51.63 c New solution: 78833 51.59/51.63 o 78833 51.59/51.63 c Elapsed CPU time: 51.2752 s Remaining CPU time: 128.725 s 51.59/51.63 c =============================================================================== 51.59/51.63 c | 2940 | 4045 28701 525573 | 9567 2940 476 | 32.358 % | 51.78/51.88 c =============================================================================== 51.78/51.88 c New solution: 78832 51.78/51.88 o 78832 51.78/51.88 c Elapsed CPU time: 51.5222 s Remaining CPU time: 128.478 s 51.78/51.88 c =============================================================================== 51.78/51.88 c | 2943 | 4045 28702 527693 | 9567 2943 476 | 32.358 % | 52.08/52.13 c =============================================================================== 52.08/52.13 c New solution: 78831 52.08/52.13 o 78831 52.08/52.13 c Elapsed CPU time: 51.7661 s Remaining CPU time: 128.234 s 52.08/52.13 c =============================================================================== 52.08/52.13 c | 2943 | 4045 28703 529813 | 9567 2943 476 | 32.358 % | 52.28/52.37 c =============================================================================== 52.28/52.37 c New solution: 78830 52.28/52.37 o 78830 52.28/52.37 c Elapsed CPU time: 52.0081 s Remaining CPU time: 127.992 s 52.28/52.37 c =============================================================================== 52.28/52.37 c | 2943 | 4045 28704 531933 | 9568 2943 476 | 32.358 % | 52.58/52.63 c =============================================================================== 52.58/52.63 c New solution: 78829 52.58/52.63 o 78829 52.58/52.63 c Elapsed CPU time: 52.2701 s Remaining CPU time: 127.73 s 52.58/52.63 c =============================================================================== 52.58/52.63 c | 2948 | 4045 28705 534053 | 9568 2948 476 | 32.358 % | 52.98/53.03 c =============================================================================== 52.98/53.03 c New solution: 77290 52.98/53.03 o 77290 52.98/53.03 c Elapsed CPU time: 52.669 s Remaining CPU time: 127.331 s 52.98/53.03 c =============================================================================== 52.98/53.03 c | 2958 | 4045 28706 536173 | 9568 2958 476 | 32.358 % | 53.38/53.42 c =============================================================================== 53.38/53.42 c New solution: 77212 53.38/53.42 o 77212 53.38/53.42 c Elapsed CPU time: 53.0509 s Remaining CPU time: 126.949 s 53.38/53.42 c =============================================================================== 53.38/53.42 c | 2960 | 4045 28707 538293 | 9569 2960 476 | 32.358 % | 54.28/54.30 c | 3060 | 4045 28707 538293 | 10525 3060 480 | 32.358 % | 57.09/57.11 c | 3210 | 4045 28707 538293 | 11578 3210 488 | 32.358 % | 59.68/59.72 c | 3435 | 4045 28707 538293 | 12736 3435 499 | 32.358 % | 59.98/60.03 c =============================================================================== 59.98/60.03 c New solution: 77172 59.98/60.03 o 77172 59.98/60.03 c Elapsed CPU time: 59.6559 s Remaining CPU time: 120.344 s 59.98/60.03 c =============================================================================== 59.98/60.03 c | 3435 | 4045 28708 540413 | 9569 3435 499 | 32.358 % | 60.38/60.49 c =============================================================================== 60.38/60.49 c New solution: 77171 60.38/60.49 o 77171 60.38/60.49 c Elapsed CPU time: 60.1179 s Remaining CPU time: 119.882 s 60.38/60.49 c =============================================================================== 60.38/60.49 c | 3437 | 4045 28709 542533 | 9569 3437 499 | 32.358 % | 60.78/60.81 c =============================================================================== 60.78/60.81 c New solution: 77163 60.78/60.81 o 77163 60.78/60.81 c Elapsed CPU time: 60.4308 s Remaining CPU time: 119.569 s 60.78/60.81 c =============================================================================== 60.78/60.81 c | 3443 | 4045 28710 544653 | 9570 3443 499 | 32.358 % | 60.97/61.09 c =============================================================================== 60.97/61.09 c New solution: 77162 60.97/61.09 o 77162 60.97/61.09 c Elapsed CPU time: 60.7128 s Remaining CPU time: 119.287 s 60.97/61.09 c =============================================================================== 60.97/61.09 c | 3448 | 4045 28711 546773 | 9570 3448 499 | 32.358 % | 61.38/61.42 c =============================================================================== 61.38/61.42 c New solution: 75588 61.38/61.42 o 75588 61.38/61.42 c Elapsed CPU time: 61.0377 s Remaining CPU time: 118.962 s 61.38/61.42 c =============================================================================== 61.38/61.42 c | 3472 | 4045 28712 548893 | 9570 3472 499 | 32.358 % | 61.68/61.80 c =============================================================================== 61.68/61.80 c New solution: 75520 61.68/61.80 o 75520 61.68/61.80 c Elapsed CPU time: 61.4137 s Remaining CPU time: 118.586 s 61.68/61.80 c =============================================================================== 61.68/61.80 c | 3475 | 4045 28713 551013 | 9571 3475 499 | 32.358 % | 62.08/62.10 c =============================================================================== 62.08/62.10 c New solution: 75505 62.08/62.10 o 75505 62.08/62.10 c Elapsed CPU time: 61.7226 s Remaining CPU time: 118.277 s 62.08/62.10 c =============================================================================== 62.08/62.10 c | 3479 | 4045 28714 553133 | 9571 3479 499 | 32.358 % | 62.78/62.83 c =============================================================================== 62.78/62.83 c New solution: 73992 62.78/62.83 o 73992 62.78/62.83 c Elapsed CPU time: 62.4405 s Remaining CPU time: 117.559 s 62.78/62.83 c =============================================================================== 62.78/62.83 c | 3489 | 4045 28715 555253 | 9571 3489 497 | 32.358 % | 63.08/63.13 c =============================================================================== 63.08/63.13 c New solution: 73861 63.08/63.13 o 73861 63.08/63.13 c Elapsed CPU time: 62.7415 s Remaining CPU time: 117.259 s 63.08/63.13 c =============================================================================== 63.08/63.13 c | 3493 | 4045 28716 557373 | 9572 3493 497 | 32.358 % | 63.68/63.74 c =============================================================================== 63.68/63.74 c New solution: 72321 63.68/63.74 o 72321 63.68/63.74 c Elapsed CPU time: 63.3544 s Remaining CPU time: 116.646 s 63.68/63.74 c =============================================================================== 63.68/63.74 c | 3497 | 4045 28717 559493 | 9572 3497 497 | 32.358 % | 64.17/64.23 c =============================================================================== 64.17/64.23 c New solution: 72202 64.17/64.23 o 72202 64.17/64.23 c Elapsed CPU time: 63.8423 s Remaining CPU time: 116.158 s 64.17/64.23 c =============================================================================== 64.17/64.23 c | 3513 | 4045 28718 561613 | 9572 3513 497 | 32.358 % | 64.27/64.37 c =============================================================================== 64.27/64.37 c New solution: 70662 64.27/64.37 o 70662 64.27/64.37 c Elapsed CPU time: 63.9763 s Remaining CPU time: 116.024 s 64.27/64.37 c =============================================================================== 64.27/64.37 c | 3516 | 4045 28719 563733 | 9573 3516 496 | 32.358 % | 64.38/64.50 c =============================================================================== 64.38/64.50 c New solution: 70653 64.38/64.50 o 70653 64.38/64.50 c Elapsed CPU time: 64.1013 s Remaining CPU time: 115.899 s 64.38/64.50 c =============================================================================== 64.38/64.50 c | 3516 | 4045 28720 565853 | 9573 3516 496 | 32.358 % | 64.58/64.62 c =============================================================================== 64.58/64.62 c New solution: 70652 64.58/64.62 o 70652 64.58/64.62 c Elapsed CPU time: 64.2232 s Remaining CPU time: 115.777 s 64.58/64.62 c =============================================================================== 64.58/64.62 c | 3518 | 4045 28721 567973 | 9573 3518 496 | 32.358 % | 64.89/64.99 c =============================================================================== 64.89/64.99 c New solution: 70612 64.89/64.99 o 70612 64.89/64.99 c Elapsed CPU time: 64.5992 s Remaining CPU time: 115.401 s 64.89/64.99 c =============================================================================== 64.89/64.99 c | 3521 | 4045 28722 570093 | 9574 3521 496 | 32.358 % | 65.48/65.53 c =============================================================================== 65.48/65.53 c New solution: 70586 65.48/65.53 o 70586 65.48/65.53 c Elapsed CPU time: 65.1331 s Remaining CPU time: 114.867 s 65.48/65.53 c =============================================================================== 65.48/65.53 c | 3525 | 4045 28723 572213 | 9574 3525 496 | 32.358 % | 65.77/65.86 c =============================================================================== 65.77/65.86 c New solution: 70585 65.77/65.86 o 70585 65.77/65.86 c Elapsed CPU time: 65.46 s Remaining CPU time: 114.54 s 65.77/65.86 c =============================================================================== 65.77/65.86 c | 3527 | 4045 28724 574333 | 9574 3527 496 | 32.358 % | 67.77/67.82 c | 3628 | 4045 28724 574333 | 10532 3628 501 | 32.358 % | 68.18/68.22 c =============================================================================== 68.18/68.22 c New solution: 70548 68.18/68.22 o 70548 68.18/68.22 c Elapsed CPU time: 67.8217 s Remaining CPU time: 112.178 s 68.18/68.22 c =============================================================================== 68.18/68.22 c | 3634 | 4045 28725 576453 | 9575 3634 501 | 32.358 % | 68.48/68.58 c =============================================================================== 68.48/68.58 c New solution: 70512 68.48/68.58 o 70512 68.48/68.58 c Elapsed CPU time: 68.1756 s Remaining CPU time: 111.824 s 68.48/68.58 c =============================================================================== 68.48/68.58 c | 3635 | 4045 28726 578573 | 9575 3635 501 | 32.358 % | 68.88/68.93 c =============================================================================== 68.88/68.93 c New solution: 70508 68.88/68.93 o 70508 68.88/68.93 c Elapsed CPU time: 68.5226 s Remaining CPU time: 111.477 s 68.88/68.93 c =============================================================================== 68.88/68.93 c | 3635 | 4045 28727 580693 | 9575 3635 501 | 32.358 % | 69.18/69.28 c =============================================================================== 69.18/69.28 c New solution: 70507 69.18/69.28 o 70507 69.18/69.28 c Elapsed CPU time: 68.8705 s Remaining CPU time: 111.129 s 69.18/69.28 c =============================================================================== 69.18/69.28 c | 3635 | 4045 28728 582813 | 9576 3635 501 | 32.358 % | 69.58/69.61 c =============================================================================== 69.58/69.61 c New solution: 70506 69.58/69.61 o 70506 69.58/69.61 c Elapsed CPU time: 69.2095 s Remaining CPU time: 110.791 s 69.58/69.61 c =============================================================================== 69.58/69.61 c | 3635 | 4045 28729 584933 | 9576 3635 501 | 32.358 % | 69.88/69.93 c =============================================================================== 69.88/69.93 c New solution: 70505 69.88/69.93 o 70505 69.88/69.93 c Elapsed CPU time: 69.5284 s Remaining CPU time: 110.472 s 69.88/69.93 c =============================================================================== 69.88/69.93 c | 3644 | 4045 28730 587053 | 9576 3644 501 | 32.358 % | 71.48/71.51 c | 3744 | 4045 28730 587053 | 10534 3744 501 | 32.358 % | 73.27/73.30 c | 3894 | 4045 28730 587053 | 11587 3894 505 | 32.358 % | 73.68/73.74 c =============================================================================== 73.68/73.74 c New solution: 68945 73.68/73.74 o 68945 73.68/73.74 c Elapsed CPU time: 73.3279 s Remaining CPU time: 106.672 s 73.68/73.74 c =============================================================================== 73.68/73.74 c | 3934 | 4045 28731 589173 | 9577 3934 506 | 32.358 % | 73.98/74.02 c =============================================================================== 73.98/74.02 c New solution: 68876 73.98/74.02 o 68876 73.98/74.02 c Elapsed CPU time: 73.6058 s Remaining CPU time: 106.394 s 73.98/74.02 c =============================================================================== 73.98/74.02 c | 3940 | 4045 28732 591293 | 9577 3940 506 | 32.358 % | 74.38/74.41 c =============================================================================== 74.38/74.41 c New solution: 68867 74.38/74.41 o 68867 74.38/74.41 c Elapsed CPU time: 73.9958 s Remaining CPU time: 106.004 s 74.38/74.41 c =============================================================================== 74.38/74.41 c | 3942 | 4045 28733 593413 | 9577 3942 506 | 32.358 % | 74.48/74.56 c =============================================================================== 74.48/74.56 c New solution: 68866 74.48/74.56 o 68866 74.48/74.56 c Elapsed CPU time: 74.1437 s Remaining CPU time: 105.856 s 74.48/74.56 c =============================================================================== 74.48/74.56 c | 3946 | 4045 28734 595533 | 9578 3946 506 | 32.358 % | 74.88/74.93 c =============================================================================== 74.88/74.93 c New solution: 68865 74.88/74.93 o 68865 74.88/74.93 c Elapsed CPU time: 74.5177 s Remaining CPU time: 105.482 s 74.88/74.93 c =============================================================================== 74.88/74.93 c | 3946 | 4045 28735 597653 | 9578 3946 506 | 32.358 % | 75.28/75.31 c =============================================================================== 75.28/75.31 c New solution: 68864 75.28/75.31 o 68864 75.28/75.31 c Elapsed CPU time: 74.8966 s Remaining CPU time: 105.103 s 75.28/75.31 c =============================================================================== 75.28/75.31 c | 3946 | 4045 28736 599773 | 9578 3946 506 | 32.358 % | 75.58/75.69 c =============================================================================== 75.58/75.69 c New solution: 68863 75.58/75.69 o 68863 75.58/75.69 c Elapsed CPU time: 75.2706 s Remaining CPU time: 104.729 s 75.58/75.69 c =============================================================================== 75.58/75.69 c | 3946 | 4045 28737 601893 | 9579 3946 506 | 32.358 % | 75.98/76.06 c =============================================================================== 75.98/76.06 c New solution: 68862 75.98/76.06 o 68862 75.98/76.06 c Elapsed CPU time: 75.6425 s Remaining CPU time: 104.358 s 75.98/76.06 c =============================================================================== 75.98/76.06 c | 3946 | 4045 28738 604013 | 9579 3946 506 | 32.358 % | 76.38/76.43 c =============================================================================== 76.38/76.43 c New solution: 68861 76.38/76.43 o 68861 76.38/76.43 c Elapsed CPU time: 76.0154 s Remaining CPU time: 103.985 s 76.38/76.43 c =============================================================================== 76.38/76.43 c | 3946 | 4045 28739 606133 | 9579 3946 506 | 32.358 % | 76.78/76.80 c =============================================================================== 76.78/76.80 c New solution: 68860 76.78/76.80 o 68860 76.78/76.80 c Elapsed CPU time: 76.3874 s Remaining CPU time: 103.613 s 76.78/76.80 c =============================================================================== 76.78/76.80 c | 3946 | 4045 28740 608253 | 9580 3946 506 | 32.358 % | 78.67/78.75 c | 4046 | 4045 28740 608253 | 10538 4046 508 | 32.358 % | 79.18/79.27 c =============================================================================== 79.18/79.27 c New solution: 68859 79.18/79.27 o 68859 79.18/79.27 c Elapsed CPU time: 78.851 s Remaining CPU time: 101.149 s 79.18/79.27 c =============================================================================== 79.18/79.27 c | 4097 | 4045 28741 610373 | 9580 4097 509 | 32.358 % | 80.37/80.45 c | 4197 | 4045 28741 610373 | 10538 4197 511 | 32.358 % | 80.88/80.94 c =============================================================================== 80.88/80.94 c New solution: 68858 80.88/80.94 o 68858 80.88/80.94 c Elapsed CPU time: 80.5138 s Remaining CPU time: 99.4862 s 80.88/80.94 c =============================================================================== 80.88/80.94 c | 4208 | 4045 28742 612493 | 9580 4208 511 | 32.358 % | 81.28/81.30 c =============================================================================== 81.28/81.30 c New solution: 68857 81.28/81.30 o 68857 81.28/81.30 c Elapsed CPU time: 80.8767 s Remaining CPU time: 99.1233 s 81.28/81.30 c =============================================================================== 81.28/81.30 c | 4211 | 4045 28743 614613 | 9581 4211 511 | 32.358 % | 81.57/81.62 c =============================================================================== 81.57/81.62 c New solution: 68856 81.57/81.62 o 68856 81.57/81.62 c Elapsed CPU time: 81.1937 s Remaining CPU time: 98.8063 s 81.57/81.62 c =============================================================================== 81.57/81.62 c | 4216 | 4045 28744 616733 | 9581 4216 511 | 32.358 % | 81.87/81.96 c =============================================================================== 81.87/81.96 c New solution: 68855 81.87/81.96 o 68855 81.87/81.96 c Elapsed CPU time: 81.5286 s Remaining CPU time: 98.4714 s 81.87/81.96 c =============================================================================== 81.87/81.96 c | 4219 | 4045 28745 618853 | 9581 4219 511 | 32.358 % | 83.37/83.46 c | 4320 | 4045 28745 618853 | 10539 4320 514 | 32.358 % | 83.87/83.93 c =============================================================================== 83.87/83.93 c New solution: 68854 83.87/83.93 o 68854 83.87/83.93 c Elapsed CPU time: 83.4993 s Remaining CPU time: 96.5007 s 83.87/83.93 c =============================================================================== 83.87/83.93 c | 4320 | 4045 28746 620973 | 9582 4320 514 | 32.358 % | 84.47/84.54 c =============================================================================== 84.47/84.54 c New solution: 68853 84.47/84.54 o 68853 84.47/84.54 c Elapsed CPU time: 84.1112 s Remaining CPU time: 95.8888 s 84.47/84.54 c =============================================================================== 84.47/84.54 c | 4345 | 4045 28747 623093 | 9582 4345 514 | 32.358 % | 84.77/84.90 c =============================================================================== 84.77/84.90 c New solution: 68852 84.77/84.90 o 68852 84.77/84.90 c Elapsed CPU time: 84.4642 s Remaining CPU time: 95.5358 s 84.77/84.90 c =============================================================================== 84.77/84.90 c | 4354 | 4045 28748 625213 | 9582 4354 514 | 32.358 % | 85.68/85.70 c =============================================================================== 85.68/85.70 c New solution: 68851 85.68/85.70 o 68851 85.68/85.70 c Elapsed CPU time: 85.269 s Remaining CPU time: 94.731 s 85.68/85.70 c =============================================================================== 85.68/85.70 c | 4391 | 4045 28749 627333 | 9583 4391 515 | 32.358 % | 85.97/86.09 c =============================================================================== 85.97/86.09 c New solution: 68850 85.97/86.09 o 68850 85.97/86.09 c Elapsed CPU time: 85.657 s Remaining CPU time: 94.343 s 85.97/86.09 c =============================================================================== 85.97/86.09 c | 4395 | 4045 28750 629453 | 9583 4395 515 | 32.358 % | 86.67/86.73 c | 4495 | 4045 28750 629453 | 10541 4495 517 | 32.358 % | 88.07/88.11 c =============================================================================== 88.07/88.11 c New solution: 68849 88.07/88.11 o 68849 88.07/88.11 c Elapsed CPU time: 87.6787 s Remaining CPU time: 92.3213 s 88.07/88.11 c =============================================================================== 88.07/88.11 c | 4558 | 4045 28751 631573 | 9583 4558 518 | 32.358 % | 88.37/88.49 c =============================================================================== 88.37/88.49 c New solution: 68848 88.37/88.49 o 68848 88.37/88.49 c Elapsed CPU time: 88.0596 s Remaining CPU time: 91.9404 s 88.37/88.49 c =============================================================================== 88.37/88.49 c | 4562 | 4045 28752 633693 | 9584 4562 518 | 32.358 % | 88.77/88.81 c =============================================================================== 88.77/88.81 c New solution: 68847 88.77/88.81 o 68847 88.77/88.81 c Elapsed CPU time: 88.3786 s Remaining CPU time: 91.6214 s 88.77/88.81 c =============================================================================== 88.77/88.81 c | 4566 | 4045 28753 635813 | 9584 4566 518 | 32.358 % | 89.67/89.77 c =============================================================================== 89.67/89.77 c New solution: 67290 89.67/89.77 o 67290 89.67/89.77 c Elapsed CPU time: 89.3384 s Remaining CPU time: 90.6616 s 89.67/89.77 c =============================================================================== 89.67/89.77 c | 4639 | 4045 28754 637933 | 9584 4639 519 | 32.358 % | 90.08/90.10 c =============================================================================== 90.08/90.10 c New solution: 67191 90.08/90.10 o 67191 90.08/90.10 c Elapsed CPU time: 89.6654 s Remaining CPU time: 90.3346 s 90.08/90.10 c =============================================================================== 90.08/90.10 c | 4654 | 4045 28755 640053 | 9585 4654 519 | 32.358 % | 90.37/90.40 c =============================================================================== 90.37/90.40 c New solution: 67190 90.37/90.40 o 67190 90.37/90.40 c Elapsed CPU time: 89.9653 s Remaining CPU time: 90.0347 s 90.37/90.40 c =============================================================================== 90.37/90.40 c | 4672 | 4045 28756 642173 | 9585 4672 519 | 32.358 % | 91.67/91.73 c | 4773 | 4045 28756 642173 | 10543 4773 521 | 32.358 % | 91.77/91.88 c =============================================================================== 91.77/91.88 c New solution: 67189 91.77/91.88 o 67189 91.77/91.88 c Elapsed CPU time: 91.4361 s Remaining CPU time: 88.5639 s 91.77/91.88 c =============================================================================== 91.77/91.88 c | 4790 | 4045 28757 644293 | 9585 4790 521 | 32.358 % | 92.17/92.30 c =============================================================================== 92.17/92.30 c New solution: 67188 92.17/92.30 o 67188 92.17/92.30 c Elapsed CPU time: 91.862 s Remaining CPU time: 88.138 s 92.17/92.30 c =============================================================================== 92.17/92.30 c | 4791 | 4045 28758 646413 | 9586 4791 521 | 32.358 % | 92.67/92.74 c =============================================================================== 92.67/92.74 c New solution: 67187 92.67/92.74 o 67187 92.67/92.74 c Elapsed CPU time: 92.297 s Remaining CPU time: 87.703 s 92.67/92.74 c =============================================================================== 92.67/92.74 c | 4792 | 4045 28759 648533 | 9586 4792 521 | 32.358 % | 93.06/93.17 c =============================================================================== 93.06/93.17 c New solution: 67183 93.06/93.17 o 67183 93.06/93.17 c Elapsed CPU time: 92.7169 s Remaining CPU time: 87.2831 s 93.06/93.17 c =============================================================================== 93.06/93.17 c | 4792 | 4045 28760 650653 | 9586 4792 521 | 32.358 % | 93.48/93.58 c =============================================================================== 93.48/93.58 c New solution: 67179 93.48/93.58 o 67179 93.48/93.58 c Elapsed CPU time: 93.1348 s Remaining CPU time: 86.8652 s 93.48/93.58 c =============================================================================== 93.48/93.58 c | 4792 | 4045 28761 652773 | 9587 4792 521 | 32.358 % | 93.97/94.00 c =============================================================================== 93.97/94.00 c New solution: 67178 93.97/94.00 o 67178 93.97/94.00 c Elapsed CPU time: 93.5458 s Remaining CPU time: 86.4542 s 93.97/94.00 c =============================================================================== 93.97/94.00 c | 4792 | 4045 28762 654893 | 9587 4792 521 | 32.358 % | 94.37/94.44 c =============================================================================== 94.37/94.44 c New solution: 67177 94.37/94.44 o 67177 94.37/94.44 c Elapsed CPU time: 93.9847 s Remaining CPU time: 86.0153 s 94.37/94.44 c =============================================================================== 94.37/94.44 c | 4792 | 4045 28763 657013 | 9587 4792 521 | 32.358 % | 94.77/94.84 c =============================================================================== 94.77/94.84 c New solution: 67176 94.77/94.84 o 67176 94.77/94.84 c Elapsed CPU time: 94.3847 s Remaining CPU time: 85.6153 s 94.77/94.84 c =============================================================================== 94.77/94.84 c | 4797 | 4045 28764 659133 | 9588 4797 521 | 32.358 % | 95.17/95.23 c =============================================================================== 95.17/95.23 c New solution: 67175 95.17/95.23 o 67175 95.17/95.23 c Elapsed CPU time: 94.7796 s Remaining CPU time: 85.2204 s 95.17/95.23 c =============================================================================== 95.17/95.23 c | 4797 | 4045 28765 661253 | 9588 4797 521 | 32.358 % | 95.47/95.57 c =============================================================================== 95.47/95.57 c New solution: 67174 95.47/95.57 o 67174 95.47/95.57 c Elapsed CPU time: 95.1185 s Remaining CPU time: 84.8815 s 95.47/95.57 c =============================================================================== 95.47/95.57 c | 4798 | 4045 28766 663373 | 9588 4798 521 | 32.358 % | 95.87/95.93 c =============================================================================== 95.87/95.93 c New solution: 67173 95.87/95.93 o 67173 95.87/95.93 c Elapsed CPU time: 95.4725 s Remaining CPU time: 84.5275 s 95.87/95.93 c =============================================================================== 95.87/95.93 c | 4799 | 4045 28767 665493 | 9589 4799 521 | 32.358 % | 97.17/97.20 c | 4899 | 4045 28767 665493 | 10547 4899 523 | 32.358 % | 97.27/97.38 c =============================================================================== 97.27/97.38 c New solution: 67172 97.27/97.38 o 67172 97.27/97.38 c Elapsed CPU time: 96.9253 s Remaining CPU time: 83.0747 s 97.27/97.38 c =============================================================================== 97.27/97.38 c | 4914 | 4045 28768 667613 | 9589 4914 523 | 32.358 % | 97.56/97.68 c =============================================================================== 97.56/97.68 c New solution: 67171 97.56/97.68 o 67171 97.56/97.68 c Elapsed CPU time: 97.2202 s Remaining CPU time: 82.7798 s 97.56/97.68 c =============================================================================== 97.56/97.68 c | 4916 | 4045 28769 669733 | 9589 4916 523 | 32.358 % | 97.77/97.90 c =============================================================================== 97.77/97.90 c New solution: 67170 97.77/97.90 o 67170 97.77/97.90 c Elapsed CPU time: 97.4412 s Remaining CPU time: 82.5588 s 97.77/97.90 c =============================================================================== 97.77/97.90 c | 4926 | 4045 28770 671853 | 9590 4926 523 | 32.358 % | 98.27/98.31 c =============================================================================== 98.27/98.31 c New solution: 67169 98.27/98.31 o 67169 98.27/98.31 c Elapsed CPU time: 97.8461 s Remaining CPU time: 82.1539 s 98.27/98.31 c =============================================================================== 98.27/98.31 c | 4926 | 4045 28771 673973 | 9590 4926 523 | 32.358 % | 98.67/98.74 c =============================================================================== 98.67/98.74 c New solution: 67168 98.67/98.74 o 67168 98.67/98.74 c Elapsed CPU time: 98.2791 s Remaining CPU time: 81.7209 s 98.67/98.74 c =============================================================================== 98.67/98.74 c | 4944 | 4045 28772 676093 | 9590 4944 523 | 32.358 % | 99.07/99.19 c =============================================================================== 99.07/99.19 c New solution: 65630 99.07/99.19 o 65630 99.07/99.19 c Elapsed CPU time: 98.718 s Remaining CPU time: 81.282 s 99.07/99.19 c =============================================================================== 99.07/99.19 c | 4948 | 4045 28773 678213 | 9591 4948 523 | 32.358 % | 99.56/99.63 c =============================================================================== 99.56/99.63 c New solution: 65606 99.56/99.63 o 65606 99.56/99.63 c Elapsed CPU time: 99.1579 s Remaining CPU time: 80.8421 s 99.56/99.63 c =============================================================================== 99.56/99.63 c | 4948 | 4045 28774 680333 | 9591 4948 523 | 32.358 % | 99.97/100.10 c =============================================================================== 99.97/100.10 c New solution: 65552 99.97/100.10 o 65552 99.97/100.10 c Elapsed CPU time: 99.6349 s Remaining CPU time: 80.3651 s 99.97/100.10 c =============================================================================== 99.97/100.10 c | 4949 | 4045 28775 682453 | 9591 4949 523 | 32.358 % | 100.27/100.34 c =============================================================================== 100.27/100.34 c New solution: 65551 100.27/100.34 o 65551 100.27/100.34 c Elapsed CPU time: 99.8678 s Remaining CPU time: 80.1322 s 100.27/100.34 c =============================================================================== 100.27/100.34 c | 4951 | 4045 28776 684573 | 9592 4951 523 | 32.358 % | 100.67/100.71 c =============================================================================== 100.67/100.71 c New solution: 65550 100.67/100.71 o 65550 100.67/100.71 c Elapsed CPU time: 100.235 s Remaining CPU time: 79.7652 s 100.67/100.71 c =============================================================================== 100.67/100.71 c | 4955 | 4045 28777 686693 | 9592 4955 522 | 32.358 % | 100.87/100.99 c =============================================================================== 100.87/100.99 c New solution: 65549 100.87/100.99 o 65549 100.87/100.99 c Elapsed CPU time: 100.523 s Remaining CPU time: 79.4773 s 100.87/100.99 c =============================================================================== 100.87/100.99 c | 4957 | 4045 28778 688813 | 9592 4957 522 | 32.358 % | 101.27/101.30 c =============================================================================== 101.27/101.30 c New solution: 65548 101.27/101.30 o 65548 101.27/101.30 c Elapsed CPU time: 100.829 s Remaining CPU time: 79.1713 s 101.27/101.30 c =============================================================================== 101.27/101.30 c | 4959 | 4045 28779 690933 | 9593 4959 522 | 32.358 % | 101.47/101.58 c =============================================================================== 101.47/101.58 c New solution: 65547 101.47/101.58 o 65547 101.47/101.58 c Elapsed CPU time: 101.107 s Remaining CPU time: 78.8934 s 101.47/101.58 c =============================================================================== 101.47/101.58 c | 4960 | 4045 28780 693053 | 9593 4960 522 | 32.358 % | 101.76/101.81 c =============================================================================== 101.76/101.81 c New solution: 65546 101.76/101.81 o 65546 101.76/101.81 c Elapsed CPU time: 101.334 s Remaining CPU time: 78.6664 s 101.76/101.81 c =============================================================================== 101.76/101.81 c | 4960 | 4045 28781 695173 | 9593 4960 522 | 32.358 % | 102.17/102.24 c =============================================================================== 102.17/102.24 c New solution: 65531 102.17/102.24 o 65531 102.17/102.24 c Elapsed CPU time: 101.766 s Remaining CPU time: 78.2345 s 102.17/102.24 c =============================================================================== 102.17/102.24 c | 4960 | 4045 28782 697293 | 9594 4960 522 | 32.358 % | 102.76/102.89 c =============================================================================== 102.76/102.89 c New solution: 65530 102.76/102.89 o 65530 102.76/102.89 c Elapsed CPU time: 102.407 s Remaining CPU time: 77.5926 s 102.76/102.89 c =============================================================================== 102.76/102.89 c | 4991 | 4045 28783 699413 | 9594 4991 523 | 32.358 % | 103.28/103.33 c =============================================================================== 103.28/103.33 c New solution: 65529 103.28/103.33 o 65529 103.28/103.33 c Elapsed CPU time: 102.851 s Remaining CPU time: 77.1486 s 103.28/103.33 c =============================================================================== 103.28/103.33 c | 5009 | 4045 28784 701533 | 9594 5009 523 | 32.358 % | 103.67/103.72 c =============================================================================== 103.67/103.72 c New solution: 65528 103.67/103.72 o 65528 103.67/103.72 c Elapsed CPU time: 103.237 s Remaining CPU time: 76.7627 s 103.67/103.72 c =============================================================================== 103.67/103.72 c | 5013 | 4045 28785 703653 | 9595 5013 523 | 32.358 % | 104.38/104.48 c =============================================================================== 104.38/104.48 c New solution: 65527 104.38/104.48 o 65527 104.38/104.48 c Elapsed CPU time: 103.998 s Remaining CPU time: 76.0018 s 104.38/104.48 c =============================================================================== 104.38/104.48 c | 5046 | 4045 28786 705773 | 9595 5046 524 | 32.358 % | 104.87/104.92 c =============================================================================== 104.87/104.92 c New solution: 65523 104.87/104.92 o 65523 104.87/104.92 c Elapsed CPU time: 104.437 s Remaining CPU time: 75.5629 s 104.87/104.92 c =============================================================================== 104.87/104.92 c | 5046 | 4045 28787 707893 | 9595 5046 524 | 32.358 % | 105.27/105.32 c =============================================================================== 105.27/105.32 c New solution: 65522 105.27/105.32 o 65522 105.27/105.32 c Elapsed CPU time: 104.84 s Remaining CPU time: 75.1599 s 105.27/105.32 c =============================================================================== 105.27/105.32 c | 5046 | 4045 28788 710013 | 9596 5046 524 | 32.358 % | 105.67/105.73 c =============================================================================== 105.67/105.73 c New solution: 65521 105.67/105.73 o 65521 105.67/105.73 c Elapsed CPU time: 105.241 s Remaining CPU time: 74.759 s 105.67/105.73 c =============================================================================== 105.67/105.73 c | 5046 | 4045 28789 712133 | 9596 5046 524 | 32.358 % | 106.07/106.14 c =============================================================================== 106.07/106.14 c New solution: 65514 106.07/106.14 o 65514 106.07/106.14 c Elapsed CPU time: 105.655 s Remaining CPU time: 74.3451 s 106.07/106.14 c =============================================================================== 106.07/106.14 c | 5046 | 4045 28790 714253 | 9596 5046 524 | 32.358 % | 106.47/106.55 c =============================================================================== 106.47/106.56 c New solution: 65513 106.47/106.56 o 65513 106.47/106.56 c Elapsed CPU time: 106.069 s Remaining CPU time: 73.9311 s 106.47/106.56 c =============================================================================== 106.47/106.56 c | 5046 | 4045 28791 716373 | 9597 5046 524 | 32.358 % | 106.86/106.94 c =============================================================================== 106.86/106.94 c New solution: 65512 106.86/106.94 o 65512 106.86/106.94 c Elapsed CPU time: 106.449 s Remaining CPU time: 73.5512 s 106.86/106.94 c =============================================================================== 106.86/106.94 c | 5046 | 4045 28792 718493 | 9597 5046 524 | 32.358 % | 107.26/107.31 c =============================================================================== 107.26/107.31 c New solution: 65511 107.26/107.31 o 65511 107.26/107.31 c Elapsed CPU time: 106.827 s Remaining CPU time: 73.1732 s 107.26/107.31 c =============================================================================== 107.26/107.31 c | 5046 | 4045 28793 720613 | 9597 5046 524 | 32.358 % | 107.77/107.83 c =============================================================================== 107.77/107.83 c New solution: 65510 107.77/107.83 o 65510 107.77/107.83 c Elapsed CPU time: 107.337 s Remaining CPU time: 72.6633 s 107.77/107.83 c =============================================================================== 107.77/107.83 c | 5061 | 4045 28794 722733 | 9598 5061 524 | 32.358 % | 108.06/108.11 c =============================================================================== 108.06/108.11 c New solution: 65509 108.06/108.11 o 65509 108.06/108.11 c Elapsed CPU time: 107.616 s Remaining CPU time: 72.3844 s 108.06/108.11 c =============================================================================== 108.06/108.11 c | 5066 | 4045 28795 724853 | 9598 5066 524 | 32.358 % | 109.66/109.71 c | 5166 | 4045 28795 724853 | 10558 5166 525 | 32.358 % | 110.67/110.74 c =============================================================================== 110.67/110.74 c New solution: 63968 110.67/110.74 o 63968 110.67/110.74 c Elapsed CPU time: 110.242 s Remaining CPU time: 69.7578 s 110.67/110.74 c =============================================================================== 110.67/110.74 c | 5196 | 4045 28796 726973 | 9598 5196 525 | 32.358 % | 111.26/111.34 c =============================================================================== 111.26/111.34 c New solution: 63859 111.26/111.34 o 63859 111.26/111.34 c Elapsed CPU time: 110.84 s Remaining CPU time: 69.1599 s 111.26/111.34 c =============================================================================== 111.26/111.34 c | 5197 | 4045 28797 729093 | 9599 5197 525 | 32.358 % | 111.66/111.77 c =============================================================================== 111.66/111.77 c New solution: 63858 111.66/111.77 o 63858 111.66/111.77 c Elapsed CPU time: 111.267 s Remaining CPU time: 68.7329 s 111.66/111.77 c =============================================================================== 111.66/111.77 c | 5198 | 4045 28798 731213 | 9599 5198 525 | 32.358 % | 112.17/112.24 c =============================================================================== 112.17/112.24 c New solution: 63856 112.17/112.24 o 63856 112.17/112.24 c Elapsed CPU time: 111.742 s Remaining CPU time: 68.258 s 112.17/112.24 c =============================================================================== 112.17/112.24 c | 5198 | 4045 28799 733333 | 9599 5198 525 | 32.358 % | 112.56/112.67 c =============================================================================== 112.56/112.67 c New solution: 63855 112.56/112.67 o 63855 112.56/112.67 c Elapsed CPU time: 112.168 s Remaining CPU time: 67.8321 s 112.56/112.67 c =============================================================================== 112.56/112.67 c | 5199 | 4045 28800 735453 | 9600 5199 525 | 32.358 % | 112.96/113.09 c =============================================================================== 112.96/113.09 c New solution: 63854 112.96/113.09 o 63854 112.96/113.09 c Elapsed CPU time: 112.588 s Remaining CPU time: 67.4121 s 112.96/113.09 c =============================================================================== 112.96/113.09 c | 5199 | 4045 28801 737573 | 9600 5199 525 | 32.358 % | 113.46/113.56 c =============================================================================== 113.46/113.56 c New solution: 63853 113.46/113.56 o 63853 113.46/113.56 c Elapsed CPU time: 113.055 s Remaining CPU time: 66.9452 s 113.46/113.56 c =============================================================================== 113.46/113.56 c | 5199 | 4045 28802 739693 | 9600 5199 525 | 32.358 % | 113.97/114.02 c =============================================================================== 113.97/114.02 c New solution: 63852 113.97/114.02 o 63852 113.97/114.02 c Elapsed CPU time: 113.521 s Remaining CPU time: 66.4793 s 113.97/114.02 c =============================================================================== 113.97/114.02 c | 5199 | 4045 28803 741813 | 9601 5199 525 | 32.358 % | 114.37/114.47 c =============================================================================== 114.37/114.47 c New solution: 63851 114.37/114.47 o 63851 114.37/114.47 c Elapsed CPU time: 113.97 s Remaining CPU time: 66.0303 s 114.37/114.47 c =============================================================================== 114.37/114.47 c | 5199 | 4045 28804 743933 | 9601 5199 525 | 32.358 % | 114.87/114.94 c =============================================================================== 114.87/114.94 c New solution: 63850 114.87/114.94 o 63850 114.87/114.94 c Elapsed CPU time: 114.434 s Remaining CPU time: 65.5664 s 114.87/114.94 c =============================================================================== 114.87/114.94 c | 5199 | 4045 28805 746053 | 9601 5199 525 | 32.358 % | 115.27/115.35 c =============================================================================== 115.27/115.35 c New solution: 63849 115.27/115.35 o 63849 115.27/115.35 c Elapsed CPU time: 114.849 s Remaining CPU time: 65.1515 s 115.27/115.35 c =============================================================================== 115.27/115.35 c | 5199 | 4045 28806 748173 | 9602 5199 525 | 32.358 % | 115.77/115.82 c =============================================================================== 115.77/115.82 c New solution: 63848 115.77/115.82 o 63848 115.77/115.82 c Elapsed CPU time: 115.31 s Remaining CPU time: 64.6895 s 115.77/115.82 c =============================================================================== 115.77/115.82 c | 5199 | 4045 28807 750293 | 9602 5199 525 | 32.358 % | 116.17/116.28 c =============================================================================== 116.17/116.28 c New solution: 63847 116.17/116.28 o 63847 116.17/116.28 c Elapsed CPU time: 115.77 s Remaining CPU time: 64.2296 s 116.17/116.28 c =============================================================================== 116.17/116.28 c | 5199 | 4045 28808 752413 | 9602 5199 525 | 32.358 % | 116.57/116.69 c =============================================================================== 116.57/116.69 c New solution: 63846 116.57/116.69 o 63846 116.57/116.69 c Elapsed CPU time: 116.178 s Remaining CPU time: 63.8217 s 116.57/116.69 c =============================================================================== 116.57/116.69 c | 5199 | 4045 28809 754533 | 9603 5199 525 | 32.358 % | 117.06/117.14 c =============================================================================== 117.06/117.14 c New solution: 63845 117.06/117.14 o 63845 117.06/117.14 c Elapsed CPU time: 116.634 s Remaining CPU time: 63.3657 s 117.06/117.14 c =============================================================================== 117.06/117.14 c | 5199 | 4045 28810 756653 | 9603 5199 525 | 32.358 % | 117.46/117.55 c =============================================================================== 117.46/117.55 c New solution: 63844 117.46/117.55 o 63844 117.46/117.55 c Elapsed CPU time: 117.04 s Remaining CPU time: 62.9598 s 117.46/117.55 c =============================================================================== 117.46/117.55 c | 5199 | 4045 28811 758773 | 9603 5199 525 | 32.358 % | 117.86/117.95 c =============================================================================== 117.86/117.95 c New solution: 63843 117.86/117.95 o 63843 117.86/117.95 c Elapsed CPU time: 117.442 s Remaining CPU time: 62.5579 s 117.86/117.95 c =============================================================================== 117.86/117.95 c | 5199 | 4045 28812 760893 | 9604 5199 525 | 32.358 % | 118.36/118.40 c =============================================================================== 118.36/118.40 c New solution: 63842 118.36/118.40 o 63842 118.36/118.40 c Elapsed CPU time: 117.891 s Remaining CPU time: 62.1089 s 118.36/118.40 c =============================================================================== 118.36/118.40 c | 5199 | 4045 28813 763013 | 9604 5199 525 | 32.358 % | 118.67/118.80 c =============================================================================== 118.67/118.80 c New solution: 63841 118.67/118.80 o 63841 118.67/118.80 c Elapsed CPU time: 118.29 s Remaining CPU time: 61.71 s 118.67/118.80 c =============================================================================== 118.67/118.80 c | 5199 | 4045 28814 765133 | 9604 5199 525 | 32.358 % | 119.16/119.25 c =============================================================================== 119.16/119.25 c New solution: 63840 119.16/119.25 o 63840 119.16/119.25 c Elapsed CPU time: 118.732 s Remaining CPU time: 61.2681 s 119.16/119.25 c =============================================================================== 119.16/119.25 c | 5199 | 4045 28815 767253 | 9605 5199 525 | 32.358 % | 119.57/119.69 c =============================================================================== 119.57/119.69 c New solution: 63839 119.57/119.69 o 63839 119.57/119.69 c Elapsed CPU time: 119.175 s Remaining CPU time: 60.8251 s 119.57/119.69 c =============================================================================== 119.57/119.69 c | 5199 | 4045 28816 769373 | 9605 5199 525 | 32.358 % | 119.97/120.09 c =============================================================================== 119.97/120.09 c New solution: 63838 119.97/120.09 o 63838 119.97/120.09 c Elapsed CPU time: 119.573 s Remaining CPU time: 60.4272 s 119.97/120.09 c =============================================================================== 119.97/120.09 c | 5199 | 4045 28817 771493 | 9605 5199 525 | 32.358 % | 120.47/120.53 c =============================================================================== 120.47/120.53 c New solution: 63837 120.47/120.53 o 63837 120.47/120.53 c Elapsed CPU time: 120.016 s Remaining CPU time: 59.9842 s 120.47/120.53 c =============================================================================== 120.47/120.53 c | 5199 | 4045 28818 773613 | 9606 5199 525 | 32.358 % | 120.87/120.92 c =============================================================================== 120.87/120.92 c New solution: 63836 120.87/120.92 o 63836 120.87/120.92 c Elapsed CPU time: 120.405 s Remaining CPU time: 59.5953 s 120.87/120.92 c =============================================================================== 120.87/120.92 c | 5199 | 4045 28819 775733 | 9606 5199 525 | 32.358 % | 121.26/121.31 c =============================================================================== 121.26/121.31 c New solution: 63835 121.26/121.31 o 63835 121.26/121.31 c Elapsed CPU time: 120.795 s Remaining CPU time: 59.2054 s 121.26/121.31 c =============================================================================== 121.26/121.31 c | 5199 | 4045 28820 777853 | 9606 5199 525 | 32.358 % | 121.66/121.75 c =============================================================================== 121.66/121.75 c New solution: 63834 121.66/121.75 o 63834 121.66/121.75 c Elapsed CPU time: 121.231 s Remaining CPU time: 58.7694 s 121.66/121.75 c =============================================================================== 121.66/121.75 c | 5199 | 4045 28821 779973 | 9607 5199 525 | 32.358 % | 122.07/122.19 c =============================================================================== 122.07/122.19 c New solution: 63833 122.07/122.19 o 63833 122.07/122.19 c Elapsed CPU time: 121.669 s Remaining CPU time: 58.3315 s 122.07/122.19 c =============================================================================== 122.07/122.19 c | 5199 | 4045 28822 782093 | 9607 5199 525 | 32.358 % | 122.46/122.58 c =============================================================================== 122.46/122.58 c New solution: 63832 122.46/122.58 o 63832 122.46/122.58 c Elapsed CPU time: 122.062 s Remaining CPU time: 57.9376 s 122.46/122.58 c =============================================================================== 122.46/122.58 c | 5199 | 4045 28823 784213 | 9607 5199 525 | 32.358 % | 122.86/122.96 c =============================================================================== 122.86/122.96 c New solution: 63831 122.86/122.96 o 63831 122.86/122.96 c Elapsed CPU time: 122.441 s Remaining CPU time: 57.5586 s 122.86/122.96 c =============================================================================== 122.86/122.96 c | 5199 | 4045 28824 786333 | 9608 5199 525 | 32.358 % | 123.26/123.39 c =============================================================================== 123.26/123.39 c New solution: 63830 123.26/123.39 o 63830 123.26/123.39 c Elapsed CPU time: 122.867 s Remaining CPU time: 57.1327 s 123.26/123.39 c =============================================================================== 123.26/123.39 c | 5199 | 4045 28825 788453 | 9608 5199 525 | 32.358 % | 123.67/123.77 c =============================================================================== 123.67/123.77 c New solution: 63829 123.67/123.77 o 63829 123.67/123.77 c Elapsed CPU time: 123.246 s Remaining CPU time: 56.7537 s 123.67/123.77 c =============================================================================== 123.67/123.77 c | 5199 | 4045 28826 790573 | 9608 5199 525 | 32.358 % | 124.06/124.20 c =============================================================================== 124.06/124.20 c New solution: 63828 124.06/124.20 o 63828 124.06/124.20 c Elapsed CPU time: 123.67 s Remaining CPU time: 56.3298 s 124.06/124.20 c =============================================================================== 124.06/124.20 c | 5199 | 4045 28827 792693 | 9609 5199 525 | 32.358 % | 124.46/124.57 c =============================================================================== 124.46/124.57 c New solution: 63827 124.46/124.57 o 63827 124.46/124.57 c Elapsed CPU time: 124.041 s Remaining CPU time: 55.9589 s 124.46/124.57 c =============================================================================== 124.46/124.57 c | 5199 | 4045 28828 794813 | 9609 5199 525 | 32.358 % | 124.96/125.00 c =============================================================================== 124.96/125.00 c New solution: 63826 124.96/125.00 o 63826 124.96/125.00 c Elapsed CPU time: 124.465 s Remaining CPU time: 55.5349 s 124.96/125.00 c =============================================================================== 124.96/125.00 c | 5199 | 4045 28829 796933 | 9609 5199 525 | 32.358 % | 125.27/125.37 c =============================================================================== 125.27/125.37 c New solution: 63825 125.27/125.37 o 63825 125.27/125.37 c Elapsed CPU time: 124.833 s Remaining CPU time: 55.167 s 125.27/125.37 c =============================================================================== 125.27/125.37 c | 5199 | 4045 28830 799053 | 9610 5199 525 | 32.358 % | 125.66/125.79 c =============================================================================== 125.66/125.79 c New solution: 63824 125.66/125.79 o 63824 125.66/125.79 c Elapsed CPU time: 125.25 s Remaining CPU time: 54.75 s 125.66/125.79 c =============================================================================== 125.66/125.79 c | 5199 | 4045 28831 801173 | 9610 5199 525 | 32.358 % | 126.07/126.15 c =============================================================================== 126.07/126.15 c New solution: 63823 126.07/126.15 o 63823 126.07/126.15 c Elapsed CPU time: 125.614 s Remaining CPU time: 54.3861 s 126.07/126.15 c =============================================================================== 126.07/126.15 c | 5199 | 4045 28832 803293 | 9610 5199 525 | 32.358 % | 126.47/126.55 c =============================================================================== 126.47/126.55 c New solution: 63822 126.47/126.55 o 63822 126.47/126.55 c Elapsed CPU time: 126.014 s Remaining CPU time: 53.9862 s 126.47/126.55 c =============================================================================== 126.47/126.55 c | 5200 | 4045 28833 805413 | 9611 5200 525 | 32.358 % | 126.86/126.91 c =============================================================================== 126.86/126.91 c New solution: 63821 126.86/126.91 o 63821 126.86/126.91 c Elapsed CPU time: 126.376 s Remaining CPU time: 53.6242 s 126.86/126.91 c =============================================================================== 126.86/126.91 c | 5201 | 4045 28834 807533 | 9611 5201 525 | 32.358 % | 127.26/127.39 c =============================================================================== 127.26/127.39 c New solution: 62273 127.26/127.39 o 62273 127.26/127.39 c Elapsed CPU time: 126.847 s Remaining CPU time: 53.1533 s 127.26/127.39 c =============================================================================== 127.26/127.39 c | 5203 | 4045 28835 809653 | 9611 5203 525 | 32.358 % | 127.86/127.94 c =============================================================================== 127.86/127.94 c New solution: 62196 127.86/127.94 o 62196 127.86/127.94 c Elapsed CPU time: 127.396 s Remaining CPU time: 52.6044 s 127.86/127.94 c =============================================================================== 127.86/127.94 c | 5203 | 4045 28836 811773 | 9612 5203 525 | 32.358 % | 128.36/128.47 c =============================================================================== 128.36/128.47 c New solution: 62191 128.36/128.47 o 62191 128.36/128.47 c Elapsed CPU time: 127.927 s Remaining CPU time: 52.0734 s 128.36/128.47 c =============================================================================== 128.36/128.47 c | 5203 | 4045 28837 813893 | 9612 5203 525 | 32.358 % | 128.86/128.94 c =============================================================================== 128.86/128.94 c New solution: 62190 128.86/128.94 o 62190 128.86/128.94 c Elapsed CPU time: 128.398 s Remaining CPU time: 51.6015 s 128.86/128.94 c =============================================================================== 128.86/128.94 c | 5204 | 4045 28838 816013 | 9612 5204 525 | 32.358 % | 129.36/129.49 c =============================================================================== 129.36/129.49 c New solution: 62189 129.36/129.49 o 62189 129.36/129.49 c Elapsed CPU time: 128.947 s Remaining CPU time: 51.0526 s 129.36/129.49 c =============================================================================== 129.36/129.49 c | 5204 | 4045 28839 818133 | 9613 5204 525 | 32.358 % | 129.96/130.02 c =============================================================================== 129.96/130.02 c New solution: 62188 129.96/130.02 o 62188 129.96/130.02 c Elapsed CPU time: 129.471 s Remaining CPU time: 50.5287 s 129.96/130.02 c =============================================================================== 129.96/130.02 c | 5204 | 4045 28840 820253 | 9613 5204 525 | 32.358 % | 130.36/130.40 c =============================================================================== 130.36/130.40 c New solution: 62187 130.36/130.40 o 62187 130.36/130.40 c Elapsed CPU time: 129.855 s Remaining CPU time: 50.1447 s 130.36/130.40 c =============================================================================== 130.36/130.40 c | 5209 | 4045 28841 822373 | 9613 5209 525 | 32.358 % | 130.77/130.89 c =============================================================================== 130.77/130.89 c New solution: 62186 130.77/130.89 o 62186 130.77/130.89 c Elapsed CPU time: 130.339 s Remaining CPU time: 49.6608 s 130.77/130.89 c =============================================================================== 130.77/130.89 c | 5211 | 4045 28842 824493 | 9614 5211 525 | 32.358 % | 132.36/132.47 c | 5311 | 4045 28842 824493 | 10575 5311 526 | 32.358 % | 132.86/132.98 c =============================================================================== 132.86/132.98 c New solution: 62185 132.86/132.98 o 62185 132.86/132.98 c Elapsed CPU time: 132.429 s Remaining CPU time: 47.5711 s 132.86/132.98 c =============================================================================== 132.86/132.98 c | 5312 | 4045 28843 826613 | 9614 5312 526 | 32.358 % | 134.96/135.04 c =============================================================================== 134.96/135.04 c New solution: 60688 134.96/135.04 o 60688 134.96/135.04 c Elapsed CPU time: 134.491 s Remaining CPU time: 45.5094 s 134.96/135.04 c =============================================================================== 134.96/135.04 c | 5382 | 4045 28844 828733 | 9614 5382 527 | 32.358 % | 135.46/135.56 c =============================================================================== 135.46/135.56 c New solution: 60532 135.46/135.56 o 60532 135.46/135.56 c Elapsed CPU time: 135 s Remaining CPU time: 44.9995 s 135.46/135.56 c =============================================================================== 135.46/135.56 c | 5384 | 4045 28845 830853 | 9615 5384 527 | 32.358 % | 136.05/136.18 c =============================================================================== 136.05/136.18 c New solution: 60531 136.05/136.18 o 60531 136.05/136.18 c Elapsed CPU time: 135.623 s Remaining CPU time: 44.3766 s 136.05/136.18 c =============================================================================== 136.05/136.18 c | 5390 | 4045 28846 832973 | 9615 5390 527 | 32.358 % | 136.66/136.75 c =============================================================================== 136.66/136.75 c New solution: 60527 136.66/136.75 o 60527 136.66/136.75 c Elapsed CPU time: 136.185 s Remaining CPU time: 43.8147 s 136.66/136.75 c =============================================================================== 136.66/136.75 c | 5392 | 4045 28847 835093 | 9615 5392 527 | 32.358 % | 137.16/137.21 c =============================================================================== 137.16/137.21 c New solution: 60526 137.16/137.21 o 60526 137.16/137.21 c Elapsed CPU time: 136.646 s Remaining CPU time: 43.3538 s 137.16/137.21 c =============================================================================== 137.16/137.21 c | 5393 | 4045 28848 837213 | 9616 5393 527 | 32.358 % | 137.56/137.68 c =============================================================================== 137.56/137.68 c New solution: 60525 137.56/137.68 o 60525 137.56/137.68 c Elapsed CPU time: 137.114 s Remaining CPU time: 42.8858 s 137.56/137.68 c =============================================================================== 137.56/137.68 c | 5394 | 4045 28849 839333 | 9616 5394 527 | 32.358 % | 138.16/138.22 c =============================================================================== 138.16/138.22 c New solution: 60524 138.16/138.22 o 60524 138.16/138.22 c Elapsed CPU time: 137.66 s Remaining CPU time: 42.3399 s 138.16/138.22 c =============================================================================== 138.16/138.22 c | 5395 | 4045 28850 841453 | 9616 5395 527 | 32.358 % | 138.57/138.68 c =============================================================================== 138.57/138.68 c New solution: 60523 138.57/138.68 o 60523 138.57/138.68 c Elapsed CPU time: 138.117 s Remaining CPU time: 41.883 s 138.57/138.68 c =============================================================================== 138.57/138.68 c | 5395 | 4045 28851 843573 | 9617 5395 527 | 32.358 % | 139.06/139.13 c =============================================================================== 139.06/139.13 c New solution: 60522 139.06/139.13 o 60522 139.06/139.13 c Elapsed CPU time: 138.568 s Remaining CPU time: 41.4321 s 139.06/139.13 c =============================================================================== 139.06/139.13 c | 5395 | 4045 28852 845693 | 9617 5395 527 | 32.358 % | 139.46/139.59 c =============================================================================== 139.46/139.59 c New solution: 60521 139.46/139.59 o 60521 139.46/139.59 c Elapsed CPU time: 139.028 s Remaining CPU time: 40.9721 s 139.46/139.59 c =============================================================================== 139.46/139.59 c | 5397 | 4045 28853 847813 | 9617 5397 527 | 32.358 % | 140.06/140.11 c =============================================================================== 140.06/140.11 c New solution: 60520 140.06/140.11 o 60520 140.06/140.11 c Elapsed CPU time: 139.542 s Remaining CPU time: 40.4582 s 140.06/140.11 c =============================================================================== 140.06/140.11 c | 5399 | 4045 28854 849933 | 9618 5399 527 | 32.358 % | 140.55/140.66 c =============================================================================== 140.55/140.66 c New solution: 60519 140.55/140.66 o 60519 140.55/140.66 c Elapsed CPU time: 140.091 s Remaining CPU time: 39.9093 s 140.55/140.66 c =============================================================================== 140.55/140.66 c | 5399 | 4045 28855 852053 | 9618 5399 527 | 32.358 % | 141.15/141.21 c =============================================================================== 141.15/141.21 c New solution: 60518 141.15/141.21 o 60518 141.15/141.21 c Elapsed CPU time: 140.643 s Remaining CPU time: 39.3574 s 141.15/141.21 c =============================================================================== 141.15/141.21 c | 5403 | 4045 28856 854173 | 9618 5403 527 | 32.358 % | 142.87/142.99 c | 5503 | 4045 28856 854173 | 10580 5503 528 | 32.358 % | 143.36/143.49 c =============================================================================== 143.36/143.49 c New solution: 60517 143.36/143.49 o 60517 143.36/143.49 c Elapsed CPU time: 142.921 s Remaining CPU time: 37.0787 s 143.36/143.49 c =============================================================================== 143.36/143.49 c | 5503 | 4045 28857 856293 | 9619 5503 528 | 32.358 % | 143.86/143.96 c =============================================================================== 143.86/143.96 c New solution: 60516 143.86/143.96 o 60516 143.86/143.96 c Elapsed CPU time: 143.385 s Remaining CPU time: 36.6148 s 143.86/143.96 c =============================================================================== 143.86/143.96 c | 5506 | 4045 28858 858413 | 9619 5506 528 | 32.358 % | 144.36/144.49 c =============================================================================== 144.36/144.49 c New solution: 60515 144.36/144.49 o 60515 144.36/144.49 c Elapsed CPU time: 143.912 s Remaining CPU time: 36.0879 s 144.36/144.49 c =============================================================================== 144.36/144.49 c | 5525 | 4045 28859 860533 | 9619 5525 528 | 32.358 % | 144.86/144.93 c =============================================================================== 144.86/144.93 c New solution: 60514 144.86/144.93 o 60514 144.86/144.93 c Elapsed CPU time: 144.356 s Remaining CPU time: 35.6439 s 144.86/144.93 c =============================================================================== 144.86/144.93 c | 5535 | 4045 28860 862653 | 9620 5535 528 | 32.358 % | 145.35/145.44 c =============================================================================== 145.35/145.44 c New solution: 60513 145.35/145.44 o 60513 145.35/145.44 c Elapsed CPU time: 144.866 s Remaining CPU time: 35.134 s 145.35/145.44 c =============================================================================== 145.35/145.44 c | 5535 | 4045 28861 864773 | 9620 5535 528 | 32.358 % | 145.85/145.95 c =============================================================================== 145.85/145.95 c New solution: 60512 145.85/145.95 o 60512 145.85/145.95 c Elapsed CPU time: 145.37 s Remaining CPU time: 34.6301 s 145.85/145.95 c =============================================================================== 145.85/145.95 c | 5535 | 4045 28862 866893 | 9620 5535 528 | 32.358 % | 146.35/146.45 c =============================================================================== 146.35/146.45 c New solution: 60511 146.35/146.45 o 60511 146.35/146.45 c Elapsed CPU time: 145.873 s Remaining CPU time: 34.1272 s 146.35/146.45 c =============================================================================== 146.35/146.45 c | 5535 | 4045 28863 869013 | 9621 5535 528 | 32.358 % | 146.85/146.95 c =============================================================================== 146.85/146.95 c New solution: 60510 146.85/146.95 o 60510 146.85/146.95 c Elapsed CPU time: 146.373 s Remaining CPU time: 33.6273 s 146.85/146.95 c =============================================================================== 146.85/146.95 c | 5535 | 4045 28864 871133 | 9621 5535 528 | 32.358 % | 148.16/148.20 c =============================================================================== 148.16/148.20 c New solution: 60509 148.16/148.20 o 60509 148.16/148.20 c Elapsed CPU time: 147.619 s Remaining CPU time: 32.3814 s 148.16/148.20 c =============================================================================== 148.16/148.20 c | 5572 | 4045 28865 873253 | 9621 5572 529 | 32.358 % | 148.56/148.67 c =============================================================================== 148.56/148.67 c New solution: 60508 148.56/148.67 o 60508 148.56/148.67 c Elapsed CPU time: 148.09 s Remaining CPU time: 31.9095 s 148.56/148.67 c =============================================================================== 148.56/148.67 c | 5578 | 4045 28866 875373 | 9622 5578 529 | 32.358 % | 150.56/150.65 c =============================================================================== 150.56/150.65 c New solution: 59027 150.56/150.65 o 59027 150.56/150.65 c Elapsed CPU time: 150.064 s Remaining CPU time: 29.9358 s 150.56/150.65 c =============================================================================== 150.56/150.65 c | 5594 | 4045 28867 877493 | 9622 5594 529 | 32.358 % | 151.15/151.25 c =============================================================================== 151.15/151.25 c New solution: 58879 151.15/151.25 o 58879 151.15/151.25 c Elapsed CPU time: 150.659 s Remaining CPU time: 29.3409 s 151.15/151.25 c =============================================================================== 151.15/151.25 c | 5597 | 4045 28868 879613 | 9622 5597 528 | 32.358 % | 151.76/151.81 c =============================================================================== 151.76/151.81 c New solution: 58878 151.76/151.81 o 58878 151.76/151.81 c Elapsed CPU time: 151.218 s Remaining CPU time: 28.782 s 151.76/151.81 c =============================================================================== 151.76/151.81 c | 5604 | 4045 28869 881733 | 9623 5604 528 | 32.358 % | 152.35/152.42 c =============================================================================== 152.35/152.42 c New solution: 58868 152.35/152.42 o 58868 152.35/152.42 c Elapsed CPU time: 151.828 s Remaining CPU time: 28.1721 s 152.35/152.42 c =============================================================================== 152.35/152.42 c | 5606 | 4045 28870 883853 | 9623 5606 528 | 32.358 % | 152.65/152.74 c =============================================================================== 152.65/152.74 c New solution: 58867 152.65/152.74 o 58867 152.65/152.74 c Elapsed CPU time: 152.15 s Remaining CPU time: 27.8501 s 152.65/152.74 c =============================================================================== 152.65/152.74 c | 5609 | 4045 28871 885973 | 9623 5609 528 | 32.358 % | 153.25/153.35 c =============================================================================== 153.25/153.35 c New solution: 58866 153.25/153.35 o 58866 153.25/153.35 c Elapsed CPU time: 152.759 s Remaining CPU time: 27.2412 s 153.25/153.35 c =============================================================================== 153.25/153.35 c | 5612 | 4045 28872 888093 | 9624 5612 528 | 32.358 % | 155.06/155.14 c | 5713 | 4045 28872 888093 | 10586 5713 529 | 32.358 % | 157.66/157.78 c | 5865 | 4045 28872 888093 | 11645 5865 532 | 32.358 % | 158.26/158.36 c =============================================================================== 158.26/158.36 c New solution: 58865 158.26/158.36 o 58865 158.26/158.36 c Elapsed CPU time: 157.759 s Remaining CPU time: 22.241 s 158.26/158.36 c =============================================================================== 158.26/158.36 c | 5866 | 4045 28873 890213 | 9624 5866 532 | 32.358 % | 158.85/158.99 c =============================================================================== 158.85/158.99 c New solution: 58864 158.85/158.99 o 58864 158.85/158.99 c Elapsed CPU time: 158.386 s Remaining CPU time: 21.6141 s 158.85/158.99 c =============================================================================== 158.85/158.99 c | 5866 | 4045 28874 892333 | 9624 5866 532 | 32.358 % | 159.36/159.44 c =============================================================================== 159.36/159.44 c New solution: 58863 159.36/159.44 o 58863 159.36/159.44 c Elapsed CPU time: 158.838 s Remaining CPU time: 21.1621 s 159.36/159.44 c =============================================================================== 159.36/159.44 c | 5885 | 4045 28875 894453 | 9625 5885 532 | 32.358 % | 159.95/160.07 c =============================================================================== 159.95/160.07 c New solution: 58862 159.95/160.07 o 58862 159.95/160.07 c Elapsed CPU time: 159.466 s Remaining CPU time: 20.5342 s 159.95/160.07 c =============================================================================== 159.95/160.07 c | 5886 | 4045 28876 896573 | 9625 5886 532 | 32.358 % | 160.65/160.71 c =============================================================================== 160.65/160.71 c New solution: 58861 160.65/160.71 o 58861 160.65/160.71 c Elapsed CPU time: 160.111 s Remaining CPU time: 19.8893 s 160.65/160.71 c =============================================================================== 160.65/160.71 c | 5887 | 4045 28877 898693 | 9625 5887 532 | 32.358 % | 161.25/161.32 c =============================================================================== 161.25/161.32 c New solution: 58860 161.25/161.32 o 58860 161.25/161.32 c Elapsed CPU time: 160.721 s Remaining CPU time: 19.2794 s 161.25/161.32 c =============================================================================== 161.25/161.32 c | 5887 | 4045 28878 900813 | 9626 5887 532 | 32.358 % | 161.86/161.93 c =============================================================================== 161.86/161.93 c New solution: 58859 161.86/161.93 o 58859 161.86/161.93 c Elapsed CPU time: 161.326 s Remaining CPU time: 18.6735 s 161.86/161.93 c =============================================================================== 161.86/161.93 c | 5888 | 4045 28879 902933 | 9626 5888 532 | 32.358 % | 162.46/162.59 c =============================================================================== 162.46/162.59 c New solution: 58858 162.46/162.59 o 58858 162.46/162.59 c Elapsed CPU time: 161.988 s Remaining CPU time: 18.0116 s 162.46/162.59 c =============================================================================== 162.46/162.59 c | 5897 | 4045 28880 905053 | 9626 5897 532 | 32.358 % | 164.15/164.21 c =============================================================================== 164.15/164.21 c New solution: 57382 164.15/164.21 o 57382 164.15/164.21 c Elapsed CPU time: 163.606 s Remaining CPU time: 16.3939 s 164.15/164.21 c =============================================================================== 164.15/164.21 c | 5940 | 4045 28881 907173 | 9627 5940 532 | 32.358 % | 164.75/164.87 c =============================================================================== 164.75/164.87 c New solution: 57220 164.75/164.87 o 57220 164.75/164.87 c Elapsed CPU time: 164.258 s Remaining CPU time: 15.742 s 164.75/164.87 c =============================================================================== 164.75/164.87 c | 5944 | 4045 28882 909293 | 9627 5944 532 | 32.358 % | 165.65/165.78 c =============================================================================== 165.65/165.78 c New solution: 57219 165.65/165.78 o 57219 165.65/165.78 c Elapsed CPU time: 165.171 s Remaining CPU time: 14.8291 s 165.65/165.78 c =============================================================================== 165.65/165.78 c | 5950 | 4045 28883 911413 | 9627 5950 532 | 32.358 % | 166.35/166.45 c =============================================================================== 166.35/166.45 c New solution: 57202 166.35/166.45 o 57202 166.35/166.45 c Elapsed CPU time: 165.84 s Remaining CPU time: 14.1602 s 166.35/166.45 c =============================================================================== 166.35/166.45 c | 5951 | 4045 28884 913533 | 9628 5951 532 | 32.358 % | 167.55/167.61 c =============================================================================== 167.55/167.61 c New solution: 57201 167.55/167.61 o 57201 167.55/167.61 c Elapsed CPU time: 166.996 s Remaining CPU time: 13.0044 s 167.55/167.61 c =============================================================================== 167.55/167.61 c | 5998 | 4045 28885 915653 | 9628 5998 533 | 32.358 % | 168.16/168.27 c =============================================================================== 168.16/168.27 c New solution: 57199 168.16/168.27 o 57199 168.16/168.27 c Elapsed CPU time: 167.663 s Remaining CPU time: 12.3375 s 168.16/168.27 c =============================================================================== 168.16/168.27 c | 6001 | 4045 28886 917773 | 9628 6001 533 | 32.358 % | 169.55/169.69 c | 6101 | 4045 28886 917773 | 10591 6101 534 | 32.358 % | 170.35/170.42 c =============================================================================== 170.35/170.42 c New solution: 57198 170.35/170.42 o 57198 170.35/170.42 c Elapsed CPU time: 169.802 s Remaining CPU time: 10.1978 s 170.35/170.42 c =============================================================================== 170.35/170.42 c | 6104 | 4045 28887 919893 | 9629 6104 534 | 32.358 % | 170.95/171.00 c =============================================================================== 170.95/171.00 c New solution: 57197 170.95/171.00 o 57197 170.95/171.00 c Elapsed CPU time: 170.382 s Remaining CPU time: 9.6179 s 170.95/171.00 c =============================================================================== 170.95/171.00 c | 6105 | 4045 28888 922013 | 9629 6105 534 | 32.358 % | 171.46/171.59 c =============================================================================== 171.46/171.59 c New solution: 57196 171.46/171.59 o 57196 171.46/171.59 c Elapsed CPU time: 170.972 s Remaining CPU time: 9.02799 s 171.46/171.59 c =============================================================================== 171.46/171.59 c | 6107 | 4045 28889 924133 | 9629 6107 534 | 32.358 % | 172.05/172.10 c =============================================================================== 172.05/172.10 c New solution: 57195 172.05/172.10 o 57195 172.05/172.10 c Elapsed CPU time: 171.482 s Remaining CPU time: 8.51807 s 172.05/172.10 c =============================================================================== 172.05/172.10 c | 6114 | 4045 28890 926253 | 9630 6114 534 | 32.358 % | 172.45/172.57 c =============================================================================== 172.45/172.57 c New solution: 57194 172.45/172.57 o 57194 172.45/172.57 c Elapsed CPU time: 171.957 s Remaining CPU time: 8.04314 s 172.45/172.57 c =============================================================================== 172.45/172.57 c | 6117 | 4045 28891 928373 | 9630 6117 534 | 32.358 % | 173.25/173.38 c =============================================================================== 173.25/173.38 c New solution: 57193 173.25/173.38 o 57193 173.25/173.38 c Elapsed CPU time: 172.758 s Remaining CPU time: 7.24226 s 173.25/173.38 c =============================================================================== 173.25/173.38 c | 6122 | 4045 28892 930493 | 9630 6122 534 | 32.358 % | 173.95/174.03 c =============================================================================== 173.95/174.03 c New solution: 57192 173.95/174.03 o 57192 173.95/174.03 c Elapsed CPU time: 173.41 s Remaining CPU time: 6.59036 s 173.95/174.03 c =============================================================================== 173.95/174.03 c | 6128 | 4045 28893 932613 | 9631 6128 534 | 32.358 % | 175.65/175.73 c | 6229 | 4045 28893 932613 | 10594 6229 534 | 32.358 % | 176.96/177.00 c =============================================================================== 176.96/177.00 c New solution: 57191 176.96/177.00 o 57191 176.96/177.00 c Elapsed CPU time: 176.379 s Remaining CPU time: 3.62081 s 176.96/177.00 c =============================================================================== 176.96/177.00 c | 6263 | 4045 28894 934733 | 9631 6263 534 | 32.358 % | 179.74/179.88 c | 6364 | 4045 28894 934733 | 10594 6364 535 | 32.358 % | 180.14/180.28 c =============================================================================== 180.14/180.28 c New solution: 57190 180.14/180.28 o 57190 180.14/180.28 c Elapsed CPU time: 179.655 s Remaining CPU time: 0.345312 s 180.14/180.28 c =============================================================================== 180.14/180.28 c | 6370 | 4045 28895 936853 | 9631 6370 535 | 32.358 % | 180.55/180.64 c There are 1935 assigned variables. 372 in cost function. 182.95/183.06 c core #1 182.95/183.06 c core #2 182.95/183.06 c core #3 182.95/183.06 c core #4 182.95/183.06 c core #5 182.95/183.06 c core #6 182.95/183.06 c core #7 182.95/183.06 c core #8 182.95/183.06 c core #9 182.95/183.06 c core #10 182.95/183.06 c core #11 182.95/183.06 c core #12 182.95/183.06 c core #13 182.95/183.06 c core #14 182.95/183.06 c core #15 182.95/183.06 c core #16 182.95/183.06 c core #17 182.95/183.06 c core #18 182.95/183.06 c core #19 182.95/183.06 c core #20 182.95/183.06 c core #21 182.95/183.06 c core #22 182.95/183.06 c core #23 182.95/183.06 c core #24 182.95/183.06 c core #25 182.95/183.06 c core #26 182.95/183.06 c core #27 182.95/183.06 c core #28 182.95/183.06 c core #29 182.95/183.06 c core #30 182.95/183.06 c core #31 182.95/183.06 c core #32 182.95/183.06 c core #33 182.95/183.06 c core #34 182.95/183.06 c core #35 182.95/183.06 c ============================[ Search Statistics ]============================== 182.95/183.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.95/183.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.95/183.06 c =============================================================================== 182.95/183.06 c | 0 | 685 19604 11393 | 6534 0 nan | 0.000 % | 182.95/183.06 c =============================================================================== 182.95/183.08 c #cores: 35 182.95/183.08 c Final Weight: 6943 182.95/183.08 o 6943 182.95/183.08 s OPTIMUM FOUND 182.95/183.08 v -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 x4330 -x4331 -x4332 -x4333 x4334 -x4335 -x4336 -x4337 x4338 x4339 x4340 -x4341 -x4342 x4343 x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 x4354 -x4355 -x4356 -x4357 x4358 x4359 x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 x4383 x4384 x4385 x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 x4396 x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 x4420 x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 x4445 x4446 x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 x4469 x4470 x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 x4568 x4569 x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 x4584 x4585 -x4586 -x4587 -x4588 x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 x4691 -x4692 x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 x4708 x4709 -x4710 -x4711 -x4712 x4713 -x4714 -x4715 -x4716 -x4717 x4718 -x4719 -x4720 -x4721 x4722 x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 x4751 -x4752 x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 x4766 x4767 -x4768 -x4769 x4770 x4771 x4772 x4773 -x4774 -x4775 -x4776 -x4777 -x4778 x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 x4821 -x4822 -x4823 -x4824 -x4825 x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 x4844 x4845 x4846 -x4847 -x4848 -x4849 -x4850 -x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 x4864 -x4865 -x4866 -x4867 x4868 x4869 x4870 x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 x4880 x4881 x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 x4912 x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 x4921 -x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 x4932 x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 x4941 x4942 -x4943 x4944 -x4945 -x4946 -x4947 x4948 -x4949 -x4950 -x4951 -x4952 x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 x4966 x4967 x4968 -x4969 -x4970 -x4971 x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 x4987 -x4988 x4989 x4990 -x4991 x4992 -x4993 -x4994 x4995 x4996 x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 x5016 -x5017 -x5018 x5019 -x5020 -x5021 x5022 x5023 -x5024 -x5025 x5026 -x5027 x5028 x5029 x5030 x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 x5038 x5039 x5040 -x5041 x5042 -x5043 x5044 -x5045 -x5046 x5047 -x5048 x5049 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 x5056 -x5057 -x5058 x5059 x5060 -x5061 -x5062 x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 x5070 -x5071 -x5072 x5073 -x5074 -x5075 x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 x5098 -x5099 x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 x5131 -x5132 x5133 -x5134 -x5135 x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 x5144 -x5145 -x5146 -x5147 -x5148 x5149 x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 x5165 x5166 -x5167 -x5168 x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 x5187 -x5188 x5189 x5190 x5191 -x5192 -x5193 x5194 x5195 -x5196 x5197 x5198 x5199 -x5200 x5201 x5202 x5203 -x5204 -x5205 -x5206 -x5207 x5208 x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 x5216 x5217 x5218 x5219 x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 x5231 -x5232 -x5233 -x5234 -x5235 x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 x5249 -x5250 -x5251 -x5252 x5253 -x5254 -x5255 x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 x5265 x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 x5278 -x5279 x5280 -x5281 -x5282 -x5283 -x5284 x5285 x5286 x5287 x5288 x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 x5296 x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 x5356 x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 x5389 -x5390 -x5391 -x5392 -x5393 x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 x5401 -x5402 -x5403 x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 x5418 -x5419 -x5420 x5421 x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 x5432 x5433 x5434 x5435 x5436 x5437 -x5438 -x5439 x5440 x5441 x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 x5450 x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 x5461 -x5462 x5463 x5464 -x5465 -x5466 -x5467 -x5468 x5469 -x5470 -x5471 -x5472 -x5473 -x5474 x5475 -x5476 -x5477 x5478 -x5479 -x5480 -x5481 -x5482 x5483 x5484 -x5485 -x5486 x5487 -x5488 x5489 -x5490 -x5491 -x5492 x5493 -x5494 x5495 x5496 x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 x5514 -x5515 -x5516 -x5517 x5518 -x5519 x5520 -x5521 -x5522 x5523 -x5524 x5525 -x5526 x5527 x5528 -x5529 x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 x5539 -x5540 -x5541 x5542 x5543 x5544 -x5545 -x5546 -x5547 x5548 -x5549 -x5550 -x5551 -x5552 x5553 -x5554 x5555 -x5556 -x5557 -x5558 x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 x5569 -x5570 -x5571 x5572 x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 x5580 x5581 -x5582 x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 x5591 x5592 -x5593 x5594 -x5595 -x5596 x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 x5627 -x5628 x5629 -x5630 x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 x5643 -x5644 -x5645 -x5646 x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 x5695 -x5696 -x5697 -x5698 -x5699 x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 x5712 x5713 x5714 x5715 x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 x5753 -x5754 -x5755 -x5756 -x5757 -x5758 x5759 -x5760 x5761 x5762 x5763 -x5764 x5765 -x5766 x5767 x5768 -x5769 -x5770 x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 x5778 x5779 -x5780 -x5781 -x5782 x5783 -x5784 x5785 -x5786 -x5787 -x5788 -x5789 -x5790 x5791 -x5792 -x5793 -x5794 -x5795 -x5796 x5797 -x5798 x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 x5834 x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 x5865 -x5866 -x5867 x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 x5885 x5886 x5887 x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 x5934 -x5935 x5936 x5937 x5938 -x5939 x5940 x5941 x5942 x5943 x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 x5960 x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 x5979 x5980 x1 x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 x10 -x11 x12 -x13 x14 -x15 -x16 x17 -x18 -x19 x20 -x21 x22 x23 -x24 x25 -x26 -x27 x28 x29 -x30 -x31 x32 -x33 x34 -x35 -x36 -x37 x38 -x39 x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 x139 -x140 -x141 x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 x268 -x269 x270 x271 x272 -x273 x274 -x275 -x276 -x277 x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 x313 -x314 -x315 x316 -x317 x318 -x319 x320 -x321 x322 x323 -x324 -x325 x326 -x327 x328 -x329 x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 x341 -x342 -x343 -x344 -x345 x346 -x347 x348 -x349 x350 x351 -x352 x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 x370 -x371 -x372 x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 x401 x402 x403 -x404 -x405 x406 -x407 x408 -x409 -x410 x411 -x412 x413 x414 -x415 -x416 x417 -x418 x419 x420 -x421 x422 x423 x424 x425 -x426 -x427 x428 -x429 x430 x431 x432 -x433 -x434 -x435 -x436 -x437 x438 x439 x440 x441 x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 x460 -x461 -x462 x463 x464 -x465 x466 -x467 -x468 -x469 x470 -x471 x472 x473 -x474 -x475 x476 -x477 x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 x514 -x515 x516 x517 x518 -x519 -x520 -x521 -x522 -x523 x524 x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 x584 -x585 -x586 x587 -x588 x589 -x590 -x591 -x592 x593 -x594 -x595 x596 -x597 -x598 x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 x616 x617 -x618 x619 x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 x680 -x681 x682 x683 -x684 -x685 x686 -x687 x688 -x689 x690 -x691 -x692 -x693 x694 -x695 x696 x697 -x698 x699 x700 -x701 -x702 x703 -x704 x705 -x706 x707 -x708 x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 x717 -x718 x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 x751 -x752 x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 x784 x785 -x786 -x787 -x788 x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 x797 x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 x817 -x818 x819 -x820 -x821 -x822 x823 -x824 x825 x826 -x827 x828 -x829 x830 x831 -x832 -x833 -x834 x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 x845 -x846 -x847 x848 -x849 x850 -x851 -x852 -x853 -x854 x855 -x856 x857 x858 -x859 -x860 -x861 -x862 x863 -x864 x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 x878 x879 -x880 x881 -x882 x883 x884 -x885 x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 x895 -x896 x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 x916 x917 -x918 x919 -x920 x921 -x922 x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 x939 x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 x970 -x971 -x972 x973 -x974 -x975 x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 x992 -x993 x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 x1148 -x1149 x1150 -x1151 x1152 x1153 x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 x1253 x1254 x1255 x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 x1274 x1275 -x1276 x1277 -x1278 x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 x1290 x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 x1308 -x1309 x1310 -x1311 x1312 -x1313 x1314 -x1315 x1316 x1317 x1318 -x1319 -x1320 x1321 -x1322 -x1323 x1324 -x1325 x1326 -x1327 -x1328 x1329 -x1330 x1331 -x1332 x1333 -x1334 x1335 -x1336 x1337 -x1338 -x1339 x1340 x1341 -x1342 -x1343 -x1344 -x1345 x1346 -x1347 x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 x1355 x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 x1363 -x1364 x1365 -x1366 -x1367 x1368 -x1369 x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 x1426 -x1427 x1428 -x1429 x1430 -x1431 -x1432 x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 x1457 -x1458 -x1459 x1460 x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471 x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 x1488 x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 -x1506 x1507 -x1508 x1509 -x1510 -x1511 -x1512 x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 x1525 -x1526 -x1527 -x1528 x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 x1553 -x1554 x1555 -x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 x1695 -x1696 x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 x1707 x1708 -x1709 -x1710 x1711 -x1712 -x1713 -x1714 x1715 x1716 -x1717 x1718 -x1719 x1720 -x1721 x1722 -x1723 -x1724 -x1725 -x1726 x1727 -x1728 x1729 -x1730 -x1731 x1732 -x1733 -x1734 -x1735 x1736 x1737 -x1738 -x1739 -x1740 -x1741 x1742 -x1743 x1744 x1745 -x1746 -x1747 -x1748 x1749 -x1750 x1751 -x1752 x1753 -x1754 x1755 x1756 -x1757 x1758 -x1759 x1760 -x1761 x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 x1783 x1784 -x1785 -x1786 x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 x1836 -x1837 x1838 -x1839 x1840 -x1841 x1842 -x1843 x1844 -x1845 x1846 -x1847 x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 x1877 -x1878 -x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 x1886 -x1887 x1888 x1889 -x1890 x1891 -x1892 x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 x1947 -x1948 -x1949 -x1950 x1951 -x1952 x1953 x1954 -x1955 x1956 -x1957 -x1958 x1959 -x1960 -x1961 x1962 -x1963 x1964 -x1965 x1966 -x1967 x1968 -x1969 x1970 -x1971 x1972 x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 x1980 x1981 -x1982 -x1983 -x1984 -x1985 x1986 -x1987 x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 -x2010 -x2011 x2012 x2013 -x2014 x2015 x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 x2030 -x2031 x2032 -x2033 -x2034 x2035 -x2036 -x2037 -x2038 x2039 -x2040 x2041 -x2042 x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 x2063 x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2091 x2092 -x2093 -x2094 -x2095 -x2096 x2097 -x2098 -x2099 -x2100 x2101 -x2102 -x2103 x2104 -x2105 -x2106 -x2107 x2108 -x2109 -x2110 -x2111 x2112 -x2113 -x2114 -x2115 -x2116 -x2117 x2118 -x2119 -x2120 x2121 x2122 -x2123 -x2124 -x2125 x2126 x2127 x2128 -x2129 x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 x2139 -x2140 -x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 x2161 -x2162 -x2163 x2164 x2165 -x2166 -x2167 -x2168 -x2169 x2170 x2171 -x2172 x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 -x2188 -x2189 -x2190 x2191 x2192 -x2193 -x2194 -x2195 x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 x2212 x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 x2268 x2269 x2270 x2271 x2272 x2273 x2274 x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 x2292 x2293 -x2294 x2295 x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306 x2307 -x2308 x2309 -x2310 x2311 -x2312 x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 x2322 x2323 x2324 -x2325 x2326 -x2327 -x2328 -x2329 -x2330 x2331 -x2332 -x2333 x2334 -x2335 -x2336 -x2337 x2338 -x2339 x2340 -x2341 x2342 -x2343 x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 x2366 -x2367 -x2368 x2369 -x2370 -x2371 -x2372 -x2373 x2374 x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 x2392 x2393 -x2394 -x2395 -x2396 x2397 -x2398 -x2399 x2400 x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 x2450 -x2451 x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 x2463 -x2464 -x2465 -x2466 -x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 x2495 -x2496 -x2497 x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 x2518 -x2519 x2520 -x2521 x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 -x2533 -x2534 x2535 -x2536 -x2537 x2538 -x2539 -x2540 x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 -x2556 -x2557 x2558 x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 x2574 -x2575 x2576 -x2577 -x2578 -x2579 x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 x2638 x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 x2646 x2647 -x2648 -x2649 -x2650 -x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 x2669 -x2670 -x2671 -x2672 x2673 x2674 -x2675 -x2676 -x2677 -x2678 x2679 x2680 -x2681 -x2682 -x2683 -x2684 x2685 -x2686 x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 x2696 -x2697 x2698 -x2699 -x2700 -x2701 x2702 -x2703 x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 x2716 x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 x2737 x2738 -x2739 x2740 -x2741 -x2742 x2743 x2744 -x2745 -x2746 x2747 -x2748 x2749 -x2750 -x2751 -x2752 x2753 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 x2768 -x2769 x2770 x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 x2789 -x2790 x2791 -x2792 -x2793 -x2794 -x2795 x2796 -x2797 x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2810 -x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 x2819 -x2820 x2821 -x2822 -x2823 x2824 x2825 -x2826 x2827 -x2828 -x2829 x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 x2855 -x2856 x2857 x2858 -x2859 -x2860 -x2861 -x2862 x2863 x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 x2875 x2876 -x2877 -x2878 -x2879 -x2880 -x2881 x2882 -x2883 x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890 x2891 -x2892 -x2893 x2894 -x2895 -x2896 -x2897 -x2898 x2899 -x2900 -x2901 x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 -x2909 -x2910 x2911 x2912 -x2913 -x2914 x2915 -x2916 -x2917 -x2918 -x2919 x2920 x2921 -x2922 -x2923 -x2924 -x2925 x2926 x2927 x2928 -x2929 -x2930 x2931 -x2932 x2933 -x2934 -x2935 x2936 x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 x2952 -x2953 -x2954 -x2955 -x2956 -x2957 x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970 -x2971 x2972 -x2973 x2974 x2975 -x2976 -x2977 -x2978 -x2979 x2980 -x2981 x2982 x2983 x2984 -x2985 x2986 x2987 -x2988 -x2989 -x2990 x2991 -x2992 -x2993 -x2994 x2995 -x2996 -x2997 -x2998 -x2999 x3000 -x3001 x3002 -x3003 -x3004 -x3005 x3006 -x3007 -x3008 -x3009 x3010 -x3011 x3012 -x3013 -x3014 x3015 -x3016 x3017 -x3018 -x3019 -x3020 -x3021 -x3022 x3023 -x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 x3065 -x3066 -x3067 x3068 -x3069 -x3070 x3071 -x3072 x3073 -x3074 x3075 -x3076 x3077 -x3078 -x3079 -x3080 -x3081 x3082 -x3083 -x3084 -x3085 x3086 x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 x3103 -x3104 -x3105 x3106 -x3107 x3108 -x3109 x3110 -x3111 x3112 x3113 x3114 -x3115 -x3116 x3117 -x3118 -x3119 x3120 -x3121 x3122 x3123 -x3124 x3125 -x3126 x3127 -x3128 x3129 x3130 -x3131 -x3132 x3133 x3134 -x3135 x3136 -x3137 x3138 -x3139 -x3140 x3141 -x3142 x3143 -x3144 -x3145 x3146 -x3147 -x3148 -x3149 x3150 -x3151 -x3152 x3153 x3154 x3155 x3156 x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 x3167 -x3168 -x3169 -x3170 x3171 -x3172 -x3173 -x3174 x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 x3194 x3195 -x3196 x3197 -x3198 -x3199 -x3200 -x3201 x3202 -x3203 x3204 x3205 -x3206 -x3207 -x3208 x3209 -x3210 -x3211 -x3212 x3213 x3214 x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -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 182.95/183.08 c Total CPU time: 182.386 s
OK 6943
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683226-1277508318/watcher-2683226-1277508318 -o /tmp/evaluation-result-2683226-1277508318/solver-2683226-1277508318 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683226-1277508318.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.93 0.98 0.99 3/106 29690 /proc/meminfo: memFree=1843220/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=3712 CPUtime=0 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 369 0 0 0 0 0 0 0 18 0 1 0 92124258 3801088 287 1992294400 134512640 135751879 4287001504 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 928 287 144 303 0 413 0 [startup+0.0382829 s] /proc/loadavg: 0.93 0.98 0.99 3/106 29690 /proc/meminfo: memFree=1843220/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=4456 CPUtime=0.03 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 587 0 0 0 3 0 0 0 20 0 1 0 92124258 4562944 505 1992294400 134512640 135751879 4287001504 18446744073709551615 135118129 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 1114 505 193 303 0 599 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4456 [startup+0.101289 s] /proc/loadavg: 0.93 0.98 0.99 3/106 29690 /proc/meminfo: memFree=1843220/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=5308 CPUtime=0.1 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 898 0 0 0 10 0 0 0 20 0 1 0 92124258 5435392 816 1992294400 134512640 135751879 4287001504 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 1327 816 297 303 0 812 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5308 [startup+0.301306 s] /proc/loadavg: 0.93 0.98 0.99 3/106 29690 /proc/meminfo: memFree=1843220/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=6736 CPUtime=0.29 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 1540 0 0 0 29 0 0 0 20 0 1 0 92124258 6897664 1248 1992294400 134512640 135751879 4287001504 18446744073709551615 134580008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 1684 1248 146 303 0 1379 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6736 [startup+0.701342 s] /proc/loadavg: 0.93 0.98 0.99 3/106 29690 /proc/meminfo: memFree=1843220/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=7000 CPUtime=0.69 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 1588 0 0 0 69 0 0 0 20 0 1 0 92124258 7168000 1296 1992294400 134512640 135751879 4287001504 18446744073709551615 134579903 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 1750 1296 146 303 0 1445 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7000 [startup+1.50141 s] /proc/loadavg: 0.93 0.98 0.99 2/107 29691 /proc/meminfo: memFree=1838500/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=7396 CPUtime=1.49 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 1687 0 0 0 149 0 0 0 23 0 1 0 92124258 7573504 1395 1992294400 134512640 135751879 4287001504 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 1849 1395 146 303 0 1544 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7396 [startup+3.10155 s] /proc/loadavg: 0.93 0.98 0.99 2/107 29691 /proc/meminfo: memFree=1836392/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=10332 CPUtime=3.09 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 2428 0 0 0 308 1 0 0 25 0 1 0 92124258 10579968 2136 1992294400 134512640 135751879 4287001504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 2583 2136 146 303 0 2278 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10332 [startup+6.30184 s] /proc/loadavg: 0.93 0.98 0.99 2/107 29691 /proc/meminfo: memFree=1835028/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=10332 CPUtime=6.29 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 2429 0 0 0 613 16 0 0 20 0 1 0 92124258 10579968 2137 1992294400 134512640 135751879 4287001504 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 2583 2137 146 303 0 2278 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10332 [startup+12.7014 s] /proc/loadavg: 0.94 0.98 0.99 2/107 29691 /proc/meminfo: memFree=1832680/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=12976 CPUtime=12.69 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 3090 0 0 0 1247 22 0 0 25 0 1 0 92124258 13287424 2798 1992294400 134512640 135751879 4287001504 18446744073709551615 134611160 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 3244 2798 147 303 0 2939 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12976 [startup+25.5005 s] /proc/loadavg: 0.95 0.98 0.99 2/107 29691 /proc/meminfo: memFree=1827720/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=17720 CPUtime=25.49 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 4274 0 0 0 2520 29 0 0 25 0 1 0 92124258 18145280 3982 1992294400 134512640 135751879 4287001504 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 4430 3982 147 303 0 4125 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 17720 [startup+51.1008 s] /proc/loadavg: 0.97 0.98 0.99 2/107 29691 /proc/meminfo: memFree=1821024/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=24660 CPUtime=51.08 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 5987 0 0 0 5073 35 0 0 25 0 1 0 92124258 25251840 5695 1992294400 134512640 135751879 4287001504 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 6165 5695 147 303 0 5860 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 24660 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 29693 /proc/meminfo: memFree=1811600/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=33664 CPUtime=102.27 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 8258 0 0 0 10182 45 0 0 25 0 1 0 92124258 34471936 7966 1992294400 134512640 135751879 4287001504 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 8416 7966 147 303 0 8111 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 33664 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29695 /proc/meminfo: memFree=1803044/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=42084 CPUtime=162.26 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 10353 0 0 0 16169 57 0 0 25 0 1 0 92124258 43094016 10061 1992294400 134512640 135751879 4287001504 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 10521 10061 147 303 0 10216 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 42084 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29695 /proc/meminfo: memFree=1802672/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=42344 CPUtime=166.25 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 10438 0 0 0 16568 57 0 0 25 0 1 0 92124258 43360256 10146 1992294400 134512640 135751879 4287001504 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 10586 10146 147 303 0 10281 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 42344 [startup+172.709 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29695 /proc/meminfo: memFree=1801804/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=43260 CPUtime=172.66 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 10641 0 0 0 17208 58 0 0 25 0 1 0 92124258 44298240 10349 1992294400 134512640 135751879 4287001504 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 10815 10349 147 303 0 10510 0 Current children cumulated CPU time (s) 172.66 Current children cumulated vsize (KiB) 43260 [startup+179.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29695 /proc/meminfo: memFree=1801184/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=43904 CPUtime=179.04 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 10800 0 0 0 17846 58 0 0 25 0 1 0 92124258 44957696 10508 1992294400 134512640 135751879 4287001504 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 10976 10508 147 303 0 10671 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 43904 [startup+180.701 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29695 /proc/meminfo: memFree=1800936/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=48648 CPUtime=180.65 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 11976 0 0 0 18006 59 0 0 25 0 1 0 92124258 49815552 11684 1992294400 134512640 135751879 4287001504 18446744073709551615 134639817 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 12162 11684 148 303 0 11857 0 Current children cumulated CPU time (s) 180.65 Current children cumulated vsize (KiB) 48648 [startup+182.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29695 /proc/meminfo: memFree=1793744/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=84852 CPUtime=182.25 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 21202 0 0 0 18162 63 0 0 25 0 1 0 92124258 86888448 20773 1992294400 134512640 135751879 4287001504 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 21213 20776 150 303 0 20908 0 Current children cumulated CPU time (s) 182.25 Current children cumulated vsize (KiB) 84852 [startup+182.702 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29695 /proc/meminfo: memFree=1749104/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=102600 CPUtime=182.65 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202496 25675 0 0 0 18201 64 0 0 25 0 1 0 92124258 105062400 25174 1992294400 134512640 135751879 4287001504 18446744073709551615 134639817 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29690/statm: 25650 25174 150 303 0 25345 0 Current children cumulated CPU time (s) 182.65 Current children cumulated vsize (KiB) 102600 [startup+183.102 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29695 /proc/meminfo: memFree=1749104/2059040 swapFree=4140380/4192956 [pid=29690] ppid=29688 vsize=0 CPUtime=183.05 /proc/29690/stat : 29690 (wbo1.4b) R 29688 29690 29411 0 -1 4202500 29686 0 0 0 18238 67 0 0 25 0 1 0 92124258 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29690/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 183.05 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 183.103 CPU time (s): 183.059 CPU user time (s): 182.386 CPU system time (s): 0.672897 CPU usage (%): 99.9761 Max. virtual memory (cumulated for all children) (KiB): 116036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 182.386 system time used= 0.672897 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29686 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= 104 involuntary context switches= 286 runsolver used 0.315951 second user time and 0.908861 second system time The end
Begin job on node043 at 2010-06-26 01:25:18 IDJOB=2683226 IDBENCH=72096 IDSOLVER=1161 FILE ID=node043/2683226-1277508318 PBS_JOBID= 11190597 Free space on /tmp= 62288 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683226-1277508318/watcher-2683226-1277508318 -o /tmp/evaluation-result-2683226-1277508318/solver-2683226-1277508318 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683226-1277508318.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ff14e2095cd65c7713b130ededfcefb5 RANDOM SEED=68570524 node043.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.37 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1844356 kB Buffers: 25968 kB Cached: 91556 kB SwapCached: 5408 kB Active: 62860 kB Inactive: 67720 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1844356 kB SwapTotal: 4192956 kB SwapFree: 4140380 kB Dirty: 3636 kB Writeback: 0 kB AnonPages: 11720 kB Mapped: 12008 kB Slab: 62020 kB PageTables: 4224 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183316 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2683226-1277508318.opb Free space on /tmp at the end= 62288 MiB End job on node043 at 2010-06-26 01:28:22