Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 4927 | 187.073 | 187.128 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand3c03fd.cudf.paranoid.opb |
MD5SUM | 57471a5ce832e5ebd253498616527363 |
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 | 4927 |
Best CPU time to get the best result obtained on this benchmark | 2.41363 |
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 | 5630 |
Total number of constraints | 25603 |
Number of constraints which are clauses | 25332 |
Number of constraints which are cardinality constraints (but not clauses) | 271 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 553 |
Number of terms in the objective function | 2111 |
Biggest coefficient in the objective function | 1562 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 862222 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1562 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 862222 |
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-2683239-1277508417.opb. 0.00/0.00 c Instance file HOME/instance-2683239-1277508417.opb 0.00/0.00 c File size is 814819 bytes. 0.10/0.12 c Highest Coefficient sum: 553 0.10/0.12 c ============================[ Problem Statistics ]============================= 0.10/0.12 c | | 0.10/0.12 c | Parsing time: 0.12 s | 0.10/0.12 c | Number Variables: 5630 | 0.10/0.12 c | Number Clauses: 25332 | 0.10/0.12 c | Number Cardinality: 271 | 0.10/0.12 c | Number PB Constraints: 0 | 2.49/2.54 c ============================[ Search Statistics ]============================== 2.49/2.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.54 c =============================================================================== 2.49/2.54 c | 0 | 3875 27012 55313 | 8534 0 nan | 0.000 % | 2.49/2.55 c =============================================================================== 2.49/2.55 c New solution: 477075 2.49/2.55 o 477075 2.49/2.55 c Elapsed CPU time: 2.54061 s Remaining CPU time: 177.459 s 2.49/2.55 c =============================================================================== 2.49/2.55 c | 27 | 3875 27013 57329 | 9004 27 3 | 0.000 % | 2.49/2.57 c =============================================================================== 2.49/2.57 c New solution: 434878 2.49/2.57 o 434878 2.49/2.57 c Elapsed CPU time: 2.55161 s Remaining CPU time: 177.448 s 2.49/2.57 c =============================================================================== 2.49/2.57 c | 39 | 3875 27014 59345 | 9004 39 3 | 0.000 % | 2.49/2.58 c =============================================================================== 2.49/2.58 c New solution: 347325 2.49/2.58 o 347325 2.49/2.58 c Elapsed CPU time: 2.56161 s Remaining CPU time: 177.438 s 2.49/2.58 c =============================================================================== 2.49/2.58 c | 48 | 3875 27015 61361 | 9005 48 4 | 0.000 % | 2.49/2.59 c =============================================================================== 2.49/2.59 c New solution: 345777 2.49/2.59 o 345777 2.49/2.59 c Elapsed CPU time: 2.56861 s Remaining CPU time: 177.431 s 2.49/2.59 c =============================================================================== 2.49/2.59 c | 52 | 3875 27016 63377 | 9005 52 4 | 0.000 % | 2.59/2.62 c =============================================================================== 2.59/2.62 c New solution: 275476 2.59/2.62 o 275476 2.59/2.62 c Elapsed CPU time: 2.58861 s Remaining CPU time: 177.411 s 2.59/2.62 c =============================================================================== 2.59/2.62 c | 82 | 3875 27017 65393 | 9005 82 4 | 0.000 % | 2.59/2.68 c =============================================================================== 2.59/2.68 c New solution: 164674 2.59/2.68 o 164674 2.59/2.68 c Elapsed CPU time: 2.6346 s Remaining CPU time: 177.365 s 2.59/2.68 c =============================================================================== 2.59/2.68 c | 154 | 3875 27018 67409 | 9006 154 7 | 0.000 % | 2.69/2.70 c =============================================================================== 2.69/2.70 c New solution: 159886 2.69/2.70 o 159886 2.69/2.70 c Elapsed CPU time: 2.6546 s Remaining CPU time: 177.345 s 2.69/2.70 c =============================================================================== 2.69/2.70 c | 173 | 3875 27019 69425 | 9006 173 7 | 0.000 % | 2.69/2.71 c =============================================================================== 2.69/2.71 c New solution: 159864 2.69/2.71 o 159864 2.69/2.71 c Elapsed CPU time: 2.66359 s Remaining CPU time: 177.336 s 2.69/2.71 c =============================================================================== 2.69/2.71 c | 177 | 3875 27020 71441 | 9006 177 7 | 0.000 % | 2.69/2.72 c =============================================================================== 2.69/2.72 c New solution: 159850 2.69/2.72 o 159850 2.69/2.72 c Elapsed CPU time: 2.67959 s Remaining CPU time: 177.32 s 2.69/2.72 c =============================================================================== 2.69/2.72 c | 179 | 3875 27021 73457 | 9007 179 7 | 0.000 % | 2.69/2.74 c =============================================================================== 2.69/2.74 c New solution: 159849 2.69/2.74 o 159849 2.69/2.74 c Elapsed CPU time: 2.69159 s Remaining CPU time: 177.308 s 2.69/2.74 c =============================================================================== 2.69/2.74 c | 184 | 3875 27022 75473 | 9007 184 7 | 0.000 % | 2.69/2.76 c =============================================================================== 2.69/2.76 c New solution: 158434 2.69/2.76 o 158434 2.69/2.76 c Elapsed CPU time: 2.71059 s Remaining CPU time: 177.289 s 2.69/2.76 c =============================================================================== 2.69/2.76 c | 189 | 3875 27023 77489 | 9007 189 7 | 0.000 % | 2.69/2.80 c =============================================================================== 2.69/2.80 c New solution: 158356 2.69/2.80 o 158356 2.69/2.80 c Elapsed CPU time: 2.73958 s Remaining CPU time: 177.26 s 2.69/2.80 c =============================================================================== 2.69/2.80 c | 203 | 3875 27024 79505 | 9008 203 9 | 0.000 % | 2.80/2.82 c =============================================================================== 2.80/2.82 c New solution: 155213 2.80/2.82 o 155213 2.80/2.82 c Elapsed CPU time: 2.76058 s Remaining CPU time: 177.239 s 2.80/2.82 c =============================================================================== 2.80/2.82 c | 225 | 3875 27025 81521 | 9008 225 9 | 0.000 % | 2.80/2.85 c =============================================================================== 2.80/2.85 c New solution: 155212 2.80/2.85 o 155212 2.80/2.85 c Elapsed CPU time: 2.78158 s Remaining CPU time: 177.218 s 2.80/2.85 c =============================================================================== 2.80/2.85 c | 246 | 3875 27026 83537 | 9008 246 8 | 0.000 % | 2.80/2.86 c =============================================================================== 2.80/2.86 c New solution: 152052 2.80/2.86 o 152052 2.80/2.86 c Elapsed CPU time: 2.79258 s Remaining CPU time: 177.207 s 2.80/2.86 c =============================================================================== 2.80/2.86 c | 247 | 3875 27027 85553 | 9009 247 8 | 0.000 % | 2.80/2.88 c =============================================================================== 2.80/2.88 c New solution: 150595 2.80/2.88 o 150595 2.80/2.88 c Elapsed CPU time: 2.81457 s Remaining CPU time: 177.185 s 2.80/2.88 c =============================================================================== 2.80/2.88 c | 250 | 3875 27028 87569 | 9009 250 8 | 0.000 % | 2.90/2.95 c =============================================================================== 2.90/2.95 c New solution: 119394 2.90/2.95 o 119394 2.90/2.95 c Elapsed CPU time: 2.87756 s Remaining CPU time: 177.122 s 2.90/2.95 c =============================================================================== 2.90/2.95 c | 294 | 3875 27029 89585 | 9009 294 9 | 0.000 % | 2.90/2.98 c =============================================================================== 2.90/2.98 c New solution: 119268 2.90/2.98 o 119268 2.90/2.98 c Elapsed CPU time: 2.90456 s Remaining CPU time: 177.095 s 2.90/2.98 c =============================================================================== 2.90/2.98 c | 297 | 3875 27030 91601 | 9010 297 11 | 0.000 % | 2.99/3.05 c =============================================================================== 2.99/3.05 c New solution: 117783 2.99/3.05 o 117783 2.99/3.05 c Elapsed CPU time: 2.97655 s Remaining CPU time: 177.023 s 2.99/3.05 c =============================================================================== 2.99/3.05 c | 327 | 3875 27031 93617 | 9010 327 17 | 0.000 % | 2.99/3.08 c =============================================================================== 2.99/3.08 c New solution: 103707 2.99/3.08 o 103707 2.99/3.08 c Elapsed CPU time: 2.99754 s Remaining CPU time: 177.002 s 2.99/3.08 c =============================================================================== 2.99/3.08 c | 341 | 3875 27032 95633 | 9010 341 17 | 0.000 % | 3.09/3.17 c =============================================================================== 3.09/3.17 c New solution: 103706 3.09/3.17 o 103706 3.09/3.17 c Elapsed CPU time: 3.08653 s Remaining CPU time: 176.913 s 3.09/3.17 c =============================================================================== 3.09/3.17 c | 404 | 3875 27033 97649 | 9011 404 93 | 0.000 % | 3.30/3.33 c =============================================================================== 3.30/3.33 c New solution: 103686 3.30/3.33 o 103686 3.30/3.33 c Elapsed CPU time: 3.24451 s Remaining CPU time: 176.755 s 3.30/3.33 c =============================================================================== 3.30/3.33 c | 471 | 3875 27034 99665 | 9011 471 136 | 0.000 % | 3.30/3.38 c =============================================================================== 3.30/3.38 c New solution: 103685 3.30/3.38 o 103685 3.30/3.38 c Elapsed CPU time: 3.2945 s Remaining CPU time: 176.706 s 3.30/3.38 c =============================================================================== 3.30/3.38 c | 476 | 3875 27035 101681 | 9011 476 134 | 0.000 % | 3.39/3.41 c =============================================================================== 3.39/3.41 c New solution: 103681 3.39/3.41 o 103681 3.39/3.41 c Elapsed CPU time: 3.32549 s Remaining CPU time: 176.675 s 3.39/3.41 c =============================================================================== 3.39/3.41 c | 477 | 3875 27036 103697 | 9012 477 135 | 0.000 % | 3.49/3.57 c =============================================================================== 3.49/3.57 c New solution: 103680 3.49/3.57 o 103680 3.49/3.57 c Elapsed CPU time: 3.49047 s Remaining CPU time: 176.51 s 3.49/3.57 c =============================================================================== 3.49/3.57 c | 541 | 3875 27037 105713 | 9012 541 171 | 0.000 % | 3.59/3.61 c =============================================================================== 3.59/3.61 c New solution: 103679 3.59/3.61 o 103679 3.59/3.61 c Elapsed CPU time: 3.52246 s Remaining CPU time: 176.478 s 3.59/3.61 c =============================================================================== 3.59/3.61 c | 546 | 3875 27038 107729 | 9012 546 170 | 0.000 % | 3.59/3.64 c =============================================================================== 3.59/3.64 c New solution: 103678 3.59/3.64 o 103678 3.59/3.64 c Elapsed CPU time: 3.55246 s Remaining CPU time: 176.448 s 3.59/3.64 c =============================================================================== 3.59/3.64 c | 548 | 3875 27039 109745 | 9013 548 169 | 0.000 % | 3.59/3.67 c =============================================================================== 3.59/3.67 c New solution: 103677 3.59/3.67 o 103677 3.59/3.67 c Elapsed CPU time: 3.57946 s Remaining CPU time: 176.421 s 3.59/3.67 c =============================================================================== 3.59/3.67 c | 548 | 3875 27040 111761 | 9013 548 169 | 0.000 % | 3.59/3.69 c =============================================================================== 3.59/3.69 c New solution: 103676 3.59/3.69 o 103676 3.59/3.69 c Elapsed CPU time: 3.60645 s Remaining CPU time: 176.394 s 3.59/3.69 c =============================================================================== 3.59/3.69 c | 548 | 3875 27041 113777 | 9013 548 169 | 0.000 % | 3.70/3.72 c =============================================================================== 3.70/3.72 c New solution: 103675 3.70/3.72 o 103675 3.70/3.72 c Elapsed CPU time: 3.63345 s Remaining CPU time: 176.367 s 3.70/3.72 c =============================================================================== 3.70/3.72 c | 548 | 3875 27042 115793 | 9014 548 169 | 0.000 % | 3.70/3.75 c =============================================================================== 3.70/3.75 c New solution: 103674 3.70/3.75 o 103674 3.70/3.75 c Elapsed CPU time: 3.65944 s Remaining CPU time: 176.341 s 3.70/3.75 c =============================================================================== 3.70/3.75 c | 549 | 3875 27043 117809 | 9014 549 169 | 0.000 % | 3.70/3.78 c =============================================================================== 3.70/3.79 c New solution: 103673 3.70/3.79 o 103673 3.70/3.79 c Elapsed CPU time: 3.69544 s Remaining CPU time: 176.305 s 3.70/3.79 c =============================================================================== 3.70/3.79 c | 550 | 3875 27044 119825 | 9014 550 168 | 0.000 % | 3.79/3.82 c =============================================================================== 3.79/3.82 c New solution: 103672 3.79/3.82 o 103672 3.79/3.82 c Elapsed CPU time: 3.73143 s Remaining CPU time: 176.269 s 3.79/3.82 c =============================================================================== 3.79/3.82 c | 550 | 3875 27045 121841 | 9015 550 168 | 0.000 % | 3.79/3.86 c =============================================================================== 3.79/3.86 c New solution: 103671 3.79/3.86 o 103671 3.79/3.86 c Elapsed CPU time: 3.76843 s Remaining CPU time: 176.232 s 3.79/3.86 c =============================================================================== 3.79/3.86 c | 550 | 3875 27046 123857 | 9015 550 168 | 0.000 % | 3.89/3.90 c =============================================================================== 3.89/3.90 c New solution: 103670 3.89/3.90 o 103670 3.89/3.90 c Elapsed CPU time: 3.80642 s Remaining CPU time: 176.194 s 3.89/3.90 c =============================================================================== 3.89/3.90 c | 550 | 3875 27047 125873 | 9015 550 168 | 0.000 % | 3.89/3.95 c =============================================================================== 3.89/3.95 c New solution: 103669 3.89/3.95 o 103669 3.89/3.95 c Elapsed CPU time: 3.86241 s Remaining CPU time: 176.138 s 3.89/3.95 c =============================================================================== 3.89/3.95 c | 555 | 3875 27048 127889 | 9016 555 171 | 0.000 % | 3.99/4.02 c | 655 | 3875 27048 127889 | 9917 655 223 | 31.172 % | 4.09/4.12 c =============================================================================== 4.09/4.12 c New solution: 102202 4.09/4.12 o 102202 4.09/4.12 c Elapsed CPU time: 4.02239 s Remaining CPU time: 175.978 s 4.09/4.12 c =============================================================================== 4.09/4.12 c | 694 | 3875 27049 129905 | 9016 694 223 | 31.172 % | 4.09/4.15 c =============================================================================== 4.09/4.15 c New solution: 102191 4.09/4.15 o 102191 4.09/4.15 c Elapsed CPU time: 4.06038 s Remaining CPU time: 175.94 s 4.09/4.15 c =============================================================================== 4.09/4.15 c | 696 | 3875 27050 131921 | 9016 696 223 | 31.172 % | 4.09/4.20 c =============================================================================== 4.09/4.20 c New solution: 102188 4.09/4.20 o 102188 4.09/4.20 c Elapsed CPU time: 4.10238 s Remaining CPU time: 175.898 s 4.09/4.20 c =============================================================================== 4.09/4.20 c | 696 | 3875 27051 133937 | 9017 696 223 | 31.172 % | 4.19/4.24 c =============================================================================== 4.19/4.24 c New solution: 102187 4.19/4.24 o 102187 4.19/4.24 c Elapsed CPU time: 4.13937 s Remaining CPU time: 175.861 s 4.19/4.24 c =============================================================================== 4.19/4.24 c | 696 | 3875 27052 135953 | 9017 696 223 | 31.172 % | 4.19/4.27 c =============================================================================== 4.19/4.27 c New solution: 102186 4.19/4.27 o 102186 4.19/4.27 c Elapsed CPU time: 4.17836 s Remaining CPU time: 175.822 s 4.19/4.27 c =============================================================================== 4.19/4.27 c | 696 | 3875 27053 137969 | 9017 696 223 | 31.172 % | 4.30/4.32 c =============================================================================== 4.30/4.32 c New solution: 102185 4.30/4.32 o 102185 4.30/4.32 c Elapsed CPU time: 4.21936 s Remaining CPU time: 175.781 s 4.30/4.32 c =============================================================================== 4.30/4.32 c | 697 | 3875 27054 139985 | 9018 697 223 | 31.172 % | 4.30/4.38 c =============================================================================== 4.30/4.38 c New solution: 102137 4.30/4.38 o 102137 4.30/4.38 c Elapsed CPU time: 4.27835 s Remaining CPU time: 175.722 s 4.30/4.38 c =============================================================================== 4.30/4.38 c | 716 | 3875 27055 142001 | 9018 716 230 | 31.172 % | 4.40/4.44 c =============================================================================== 4.40/4.44 c New solution: 102136 4.40/4.44 o 102136 4.40/4.44 c Elapsed CPU time: 4.33934 s Remaining CPU time: 175.661 s 4.40/4.44 c =============================================================================== 4.40/4.44 c | 755 | 3875 27056 144017 | 9018 755 243 | 31.172 % | 4.49/4.50 c =============================================================================== 4.49/4.50 c New solution: 102135 4.49/4.50 o 102135 4.49/4.50 c Elapsed CPU time: 4.40333 s Remaining CPU time: 175.597 s 4.49/4.50 c =============================================================================== 4.49/4.50 c | 757 | 3875 27057 146033 | 9019 757 244 | 31.172 % | 4.69/4.73 c | 857 | 3875 27057 146033 | 9920 857 288 | 31.172 % | 4.69/4.80 c =============================================================================== 4.69/4.80 c New solution: 102125 4.69/4.80 o 102125 4.69/4.80 c Elapsed CPU time: 4.69429 s Remaining CPU time: 175.306 s 4.69/4.80 c =============================================================================== 4.69/4.80 c | 858 | 3875 27058 148049 | 9019 858 288 | 31.172 % | 4.79/4.86 c =============================================================================== 4.79/4.86 c New solution: 102122 4.79/4.86 o 102122 4.79/4.86 c Elapsed CPU time: 4.75828 s Remaining CPU time: 175.242 s 4.79/4.86 c =============================================================================== 4.79/4.86 c | 861 | 3875 27059 150065 | 9019 861 289 | 31.172 % | 4.89/4.93 c =============================================================================== 4.89/4.93 c New solution: 102121 4.89/4.93 o 102121 4.89/4.93 c Elapsed CPU time: 4.82327 s Remaining CPU time: 175.177 s 4.89/4.93 c =============================================================================== 4.89/4.93 c | 863 | 3875 27060 152081 | 9020 863 289 | 31.172 % | 4.99/5.04 c =============================================================================== 4.99/5.04 c New solution: 102120 4.99/5.04 o 102120 4.99/5.04 c Elapsed CPU time: 4.93225 s Remaining CPU time: 175.068 s 4.99/5.04 c =============================================================================== 4.99/5.04 c | 878 | 3875 27061 154097 | 9020 878 291 | 31.172 % | 4.99/5.09 c =============================================================================== 4.99/5.09 c New solution: 102119 4.99/5.09 o 102119 4.99/5.09 c Elapsed CPU time: 4.98424 s Remaining CPU time: 175.016 s 4.99/5.09 c =============================================================================== 4.99/5.09 c | 880 | 3875 27062 156113 | 9020 880 290 | 31.172 % | 5.09/5.14 c =============================================================================== 5.09/5.14 c New solution: 102118 5.09/5.14 o 102118 5.09/5.14 c Elapsed CPU time: 5.03223 s Remaining CPU time: 174.968 s 5.09/5.14 c =============================================================================== 5.09/5.14 c | 881 | 3875 27063 158129 | 9021 881 290 | 31.172 % | 5.09/5.18 c =============================================================================== 5.09/5.18 c New solution: 102117 5.09/5.18 o 102117 5.09/5.18 c Elapsed CPU time: 5.07123 s Remaining CPU time: 174.929 s 5.09/5.18 c =============================================================================== 5.09/5.18 c | 884 | 3875 27064 160145 | 9021 884 290 | 31.172 % | 5.19/5.24 c =============================================================================== 5.19/5.24 c New solution: 102116 5.19/5.24 o 102116 5.19/5.24 c Elapsed CPU time: 5.13622 s Remaining CPU time: 174.864 s 5.19/5.24 c =============================================================================== 5.19/5.24 c | 887 | 3875 27065 162161 | 9021 887 289 | 31.172 % | 5.29/5.30 c =============================================================================== 5.29/5.30 c New solution: 102115 5.29/5.30 o 102115 5.29/5.30 c Elapsed CPU time: 5.18821 s Remaining CPU time: 174.812 s 5.29/5.30 c =============================================================================== 5.29/5.30 c | 889 | 3875 27066 164177 | 9022 889 289 | 31.172 % | 5.29/5.37 c =============================================================================== 5.29/5.37 c New solution: 102114 5.29/5.37 o 102114 5.29/5.37 c Elapsed CPU time: 5.2572 s Remaining CPU time: 174.743 s 5.29/5.37 c =============================================================================== 5.29/5.37 c | 889 | 3875 27067 166193 | 9022 889 289 | 31.172 % | 5.40/5.44 c =============================================================================== 5.40/5.44 c New solution: 102113 5.40/5.44 o 102113 5.40/5.44 c Elapsed CPU time: 5.32719 s Remaining CPU time: 174.673 s 5.40/5.44 c =============================================================================== 5.40/5.44 c | 889 | 3875 27068 168209 | 9022 889 289 | 31.172 % | 5.50/5.51 c =============================================================================== 5.50/5.51 c New solution: 102112 5.50/5.51 o 102112 5.50/5.51 c Elapsed CPU time: 5.39618 s Remaining CPU time: 174.604 s 5.50/5.51 c =============================================================================== 5.50/5.51 c | 889 | 3875 27069 170225 | 9023 889 289 | 31.172 % | 5.50/5.58 c =============================================================================== 5.50/5.58 c New solution: 102111 5.50/5.58 o 102111 5.50/5.58 c Elapsed CPU time: 5.46817 s Remaining CPU time: 174.532 s 5.50/5.58 c =============================================================================== 5.50/5.58 c | 889 | 3875 27070 172241 | 9023 889 289 | 31.172 % | 5.59/5.65 c =============================================================================== 5.59/5.65 c New solution: 102110 5.59/5.65 o 102110 5.59/5.65 c Elapsed CPU time: 5.53716 s Remaining CPU time: 174.463 s 5.59/5.65 c =============================================================================== 5.59/5.65 c | 889 | 3875 27071 174257 | 9023 889 289 | 31.172 % | 5.69/5.72 c =============================================================================== 5.69/5.72 c New solution: 102109 5.69/5.72 o 102109 5.69/5.72 c Elapsed CPU time: 5.60615 s Remaining CPU time: 174.394 s 5.69/5.72 c =============================================================================== 5.69/5.72 c | 889 | 3875 27072 176273 | 9024 889 289 | 31.172 % | 5.79/5.80 c =============================================================================== 5.79/5.80 c New solution: 102108 5.79/5.80 o 102108 5.79/5.80 c Elapsed CPU time: 5.68114 s Remaining CPU time: 174.319 s 5.79/5.80 c =============================================================================== 5.79/5.80 c | 889 | 3875 27073 178289 | 9024 889 289 | 31.172 % | 5.79/5.89 c =============================================================================== 5.79/5.89 c New solution: 102107 5.79/5.89 o 102107 5.79/5.89 c Elapsed CPU time: 5.77112 s Remaining CPU time: 174.229 s 5.79/5.89 c =============================================================================== 5.79/5.89 c | 890 | 3875 27074 180305 | 9024 890 289 | 31.172 % | 5.89/5.97 c =============================================================================== 5.89/5.97 c New solution: 102106 5.89/5.97 o 102106 5.89/5.97 c Elapsed CPU time: 5.84611 s Remaining CPU time: 174.154 s 5.89/5.97 c =============================================================================== 5.89/5.97 c | 891 | 3875 27075 182321 | 9025 891 289 | 31.172 % | 6.19/6.26 c | 991 | 3875 27075 182321 | 9927 991 315 | 31.172 % | 6.29/6.34 c =============================================================================== 6.29/6.34 c New solution: 102105 6.29/6.34 o 102105 6.29/6.34 c Elapsed CPU time: 6.21406 s Remaining CPU time: 173.786 s 6.29/6.34 c =============================================================================== 6.29/6.34 c | 992 | 3875 27076 184337 | 9025 992 315 | 31.172 % | 6.39/6.42 c =============================================================================== 6.39/6.42 c New solution: 102104 6.39/6.42 o 102104 6.39/6.42 c Elapsed CPU time: 6.29304 s Remaining CPU time: 173.707 s 6.39/6.42 c =============================================================================== 6.39/6.42 c | 993 | 3875 27077 186353 | 9025 993 314 | 31.172 % | 6.49/6.51 c =============================================================================== 6.49/6.51 c New solution: 102103 6.49/6.51 o 102103 6.49/6.51 c Elapsed CPU time: 6.38003 s Remaining CPU time: 173.62 s 6.49/6.51 c =============================================================================== 6.49/6.51 c | 993 | 3875 27078 188369 | 9026 993 314 | 31.172 % | 6.49/6.59 c =============================================================================== 6.49/6.59 c New solution: 102102 6.49/6.59 o 102102 6.49/6.59 c Elapsed CPU time: 6.46302 s Remaining CPU time: 173.537 s 6.49/6.59 c =============================================================================== 6.49/6.59 c | 994 | 3875 27079 190385 | 9026 994 314 | 31.172 % | 6.59/6.68 c =============================================================================== 6.59/6.68 c New solution: 102101 6.59/6.68 o 102101 6.59/6.68 c Elapsed CPU time: 6.558 s Remaining CPU time: 173.442 s 6.59/6.68 c =============================================================================== 6.59/6.68 c | 995 | 3875 27080 192401 | 9026 995 314 | 31.172 % | 6.69/6.78 c =============================================================================== 6.69/6.78 c New solution: 102100 6.69/6.78 o 102100 6.69/6.78 c Elapsed CPU time: 6.65499 s Remaining CPU time: 173.345 s 6.69/6.78 c =============================================================================== 6.69/6.78 c | 996 | 3875 27081 194417 | 9027 996 313 | 31.172 % | 6.79/6.89 c =============================================================================== 6.79/6.89 c New solution: 102099 6.79/6.89 o 102099 6.79/6.89 c Elapsed CPU time: 6.75997 s Remaining CPU time: 173.24 s 6.79/6.89 c =============================================================================== 6.79/6.89 c | 999 | 3875 27082 196433 | 9027 999 313 | 31.172 % | 6.99/7.03 c =============================================================================== 6.99/7.03 c New solution: 102098 6.99/7.03 o 102098 6.99/7.03 c Elapsed CPU time: 6.89895 s Remaining CPU time: 173.101 s 6.99/7.03 c =============================================================================== 6.99/7.03 c | 1020 | 3875 27083 198449 | 9027 1020 316 | 31.172 % | 7.29/7.34 c =============================================================================== 7.29/7.34 c New solution: 102097 7.29/7.34 o 102097 7.29/7.34 c Elapsed CPU time: 7.2109 s Remaining CPU time: 172.789 s 7.29/7.34 c =============================================================================== 7.29/7.34 c | 1044 | 3875 27084 200465 | 9028 1044 319 | 31.172 % | 7.39/7.42 c =============================================================================== 7.39/7.42 c New solution: 102096 7.39/7.42 o 102096 7.39/7.42 c Elapsed CPU time: 7.28589 s Remaining CPU time: 172.714 s 7.39/7.42 c =============================================================================== 7.39/7.42 c | 1044 | 3875 27085 202481 | 9028 1044 319 | 31.172 % | 7.39/7.50 c =============================================================================== 7.39/7.50 c New solution: 102095 7.39/7.50 o 102095 7.39/7.50 c Elapsed CPU time: 7.36488 s Remaining CPU time: 172.635 s 7.39/7.50 c =============================================================================== 7.39/7.50 c | 1044 | 3875 27086 204497 | 9028 1044 319 | 31.172 % | 7.49/7.60 c =============================================================================== 7.49/7.60 c New solution: 102094 7.49/7.60 o 102094 7.49/7.60 c Elapsed CPU time: 7.46886 s Remaining CPU time: 172.531 s 7.49/7.60 c =============================================================================== 7.49/7.60 c | 1046 | 3875 27087 206513 | 9029 1046 319 | 31.172 % | 7.60/7.69 c =============================================================================== 7.60/7.69 c New solution: 102093 7.60/7.69 o 102093 7.60/7.69 c Elapsed CPU time: 7.55785 s Remaining CPU time: 172.442 s 7.60/7.69 c =============================================================================== 7.60/7.69 c | 1046 | 3875 27088 208529 | 9029 1046 319 | 31.172 % | 7.70/7.77 c =============================================================================== 7.70/7.77 c New solution: 102092 7.70/7.77 o 102092 7.70/7.77 c Elapsed CPU time: 7.63684 s Remaining CPU time: 172.363 s 7.70/7.77 c =============================================================================== 7.70/7.77 c | 1046 | 3875 27089 210545 | 9029 1046 319 | 31.172 % | 7.79/7.85 c =============================================================================== 7.79/7.85 c New solution: 102091 7.79/7.85 o 102091 7.79/7.85 c Elapsed CPU time: 7.71383 s Remaining CPU time: 172.286 s 7.79/7.85 c =============================================================================== 7.79/7.85 c | 1048 | 3875 27090 212561 | 9030 1048 319 | 31.172 % | 7.99/8.00 c =============================================================================== 7.99/8.00 c New solution: 102090 7.99/8.00 o 102090 7.99/8.00 c Elapsed CPU time: 7.8638 s Remaining CPU time: 172.136 s 7.99/8.00 c =============================================================================== 7.99/8.00 c | 1058 | 3875 27091 214577 | 9030 1058 317 | 31.172 % | 7.99/8.08 c =============================================================================== 7.99/8.08 c New solution: 102089 7.99/8.08 o 102089 7.99/8.08 c Elapsed CPU time: 7.94179 s Remaining CPU time: 172.058 s 7.99/8.08 c =============================================================================== 7.99/8.08 c | 1061 | 3875 27092 216593 | 9030 1061 317 | 31.172 % | 8.19/8.27 c =============================================================================== 8.19/8.27 c New solution: 100614 8.19/8.27 o 100614 8.19/8.27 c Elapsed CPU time: 8.13276 s Remaining CPU time: 171.867 s 8.19/8.27 c =============================================================================== 8.19/8.27 c | 1089 | 3875 27093 218609 | 9031 1089 321 | 31.172 % | 8.39/8.42 c =============================================================================== 8.39/8.42 c New solution: 100575 8.39/8.42 o 100575 8.39/8.42 c Elapsed CPU time: 8.28074 s Remaining CPU time: 171.719 s 8.39/8.42 c =============================================================================== 8.39/8.42 c | 1090 | 3875 27094 220625 | 9031 1090 321 | 31.172 % | 8.49/8.54 c =============================================================================== 8.49/8.54 c New solution: 100574 8.49/8.54 o 100574 8.49/8.54 c Elapsed CPU time: 8.40572 s Remaining CPU time: 171.594 s 8.49/8.54 c =============================================================================== 8.49/8.54 c | 1100 | 3875 27095 222641 | 9031 1100 321 | 31.172 % | 8.58/8.69 c =============================================================================== 8.58/8.69 c New solution: 100573 8.58/8.69 o 100573 8.58/8.69 c Elapsed CPU time: 8.5487 s Remaining CPU time: 171.451 s 8.58/8.69 c =============================================================================== 8.58/8.69 c | 1102 | 3875 27096 224657 | 9032 1102 321 | 31.172 % | 8.70/8.77 c =============================================================================== 8.70/8.77 c New solution: 100572 8.70/8.77 o 100572 8.70/8.77 c Elapsed CPU time: 8.63069 s Remaining CPU time: 171.369 s 8.70/8.77 c =============================================================================== 8.70/8.77 c | 1103 | 3875 27097 226673 | 9032 1103 321 | 31.172 % | 8.80/8.89 c =============================================================================== 8.80/8.89 c New solution: 100571 8.80/8.89 o 100571 8.80/8.89 c Elapsed CPU time: 8.74767 s Remaining CPU time: 171.252 s 8.80/8.89 c =============================================================================== 8.80/8.89 c | 1104 | 3875 27098 228689 | 9032 1104 321 | 31.172 % | 9.09/9.15 c =============================================================================== 9.09/9.15 c New solution: 100570 9.09/9.15 o 100570 9.09/9.15 c Elapsed CPU time: 9.01363 s Remaining CPU time: 170.986 s 9.09/9.15 c =============================================================================== 9.09/9.15 c | 1141 | 3875 27099 230705 | 9033 1141 325 | 31.172 % | 9.19/9.28 c =============================================================================== 9.19/9.28 c New solution: 100569 9.19/9.28 o 100569 9.19/9.28 c Elapsed CPU time: 9.13661 s Remaining CPU time: 170.863 s 9.19/9.28 c =============================================================================== 9.19/9.28 c | 1143 | 3875 27100 232721 | 9033 1143 325 | 31.172 % | 9.29/9.38 c =============================================================================== 9.29/9.38 c New solution: 100568 9.29/9.38 o 100568 9.29/9.38 c Elapsed CPU time: 9.23659 s Remaining CPU time: 170.763 s 9.29/9.38 c =============================================================================== 9.29/9.38 c | 1154 | 3875 27101 234737 | 9033 1154 325 | 31.172 % | 9.49/9.51 c =============================================================================== 9.49/9.51 c New solution: 100567 9.49/9.51 o 100567 9.49/9.51 c Elapsed CPU time: 9.36058 s Remaining CPU time: 170.639 s 9.49/9.51 c =============================================================================== 9.49/9.51 c | 1154 | 3875 27102 236753 | 9034 1154 325 | 31.172 % | 9.59/9.61 c =============================================================================== 9.59/9.61 c New solution: 100566 9.59/9.61 o 100566 9.59/9.61 c Elapsed CPU time: 9.46056 s Remaining CPU time: 170.539 s 9.59/9.61 c =============================================================================== 9.59/9.61 c | 1157 | 3875 27103 238769 | 9034 1157 325 | 31.172 % | 9.68/9.73 c =============================================================================== 9.68/9.73 c New solution: 100565 9.68/9.73 o 100565 9.68/9.73 c Elapsed CPU time: 9.58554 s Remaining CPU time: 170.414 s 9.68/9.73 c =============================================================================== 9.68/9.73 c | 1159 | 3875 27104 240785 | 9034 1159 325 | 31.172 % | 9.80/9.83 c =============================================================================== 9.80/9.83 c New solution: 100564 9.80/9.83 o 100564 9.80/9.83 c Elapsed CPU time: 9.68453 s Remaining CPU time: 170.315 s 9.80/9.83 c =============================================================================== 9.80/9.83 c | 1159 | 3875 27105 242801 | 9035 1159 325 | 31.172 % | 9.90/9.94 c =============================================================================== 9.90/9.94 c New solution: 100563 9.90/9.94 o 100563 9.90/9.94 c Elapsed CPU time: 9.78651 s Remaining CPU time: 170.213 s 9.90/9.94 c =============================================================================== 9.90/9.94 c | 1159 | 3875 27106 244817 | 9035 1159 325 | 31.172 % | 9.99/10.04 c =============================================================================== 9.99/10.04 c New solution: 100562 9.99/10.04 o 100562 9.99/10.04 c Elapsed CPU time: 9.8895 s Remaining CPU time: 170.111 s 9.99/10.04 c =============================================================================== 9.99/10.04 c | 1159 | 3875 27107 246833 | 9035 1159 325 | 31.172 % | 10.09/10.15 c =============================================================================== 10.09/10.15 c New solution: 100561 10.09/10.15 o 100561 10.09/10.15 c Elapsed CPU time: 9.99148 s Remaining CPU time: 170.009 s 10.09/10.15 c =============================================================================== 10.09/10.15 c | 1159 | 3875 27108 248849 | 9036 1159 325 | 31.172 % | 10.29/10.36 c =============================================================================== 10.29/10.36 c New solution: 100560 10.29/10.36 o 100560 10.29/10.36 c Elapsed CPU time: 10.2014 s Remaining CPU time: 169.799 s 10.29/10.36 c =============================================================================== 10.29/10.36 c | 1161 | 3875 27109 250865 | 9036 1161 325 | 31.172 % | 10.39/10.46 c =============================================================================== 10.39/10.46 c New solution: 100559 10.39/10.46 o 100559 10.39/10.46 c Elapsed CPU time: 10.3044 s Remaining CPU time: 169.696 s 10.39/10.46 c =============================================================================== 10.39/10.46 c | 1161 | 3875 27110 252881 | 9036 1161 325 | 31.172 % | 10.49/10.56 c =============================================================================== 10.49/10.56 c New solution: 100558 10.49/10.56 o 100558 10.49/10.56 c Elapsed CPU time: 10.4034 s Remaining CPU time: 169.597 s 10.49/10.56 c =============================================================================== 10.49/10.56 c | 1162 | 3875 27111 254897 | 9037 1162 325 | 31.172 % | 10.59/10.65 c =============================================================================== 10.59/10.65 c New solution: 100557 10.59/10.65 o 100557 10.59/10.65 c Elapsed CPU time: 10.4924 s Remaining CPU time: 169.508 s 10.59/10.65 c =============================================================================== 10.59/10.65 c | 1172 | 3875 27112 256913 | 9037 1172 325 | 31.172 % | 10.69/10.71 c =============================================================================== 10.69/10.71 c New solution: 100556 10.69/10.71 o 100556 10.69/10.71 c Elapsed CPU time: 10.5444 s Remaining CPU time: 169.456 s 10.69/10.71 c =============================================================================== 10.69/10.71 c | 1174 | 3875 27113 258929 | 9037 1174 324 | 31.172 % | 10.69/10.75 c =============================================================================== 10.69/10.75 c New solution: 100555 10.69/10.75 o 100555 10.69/10.75 c Elapsed CPU time: 10.5904 s Remaining CPU time: 169.41 s 10.69/10.75 c =============================================================================== 10.69/10.75 c | 1174 | 3875 27114 260945 | 9038 1174 324 | 31.172 % | 10.79/10.80 c =============================================================================== 10.79/10.80 c New solution: 100554 10.79/10.80 o 100554 10.79/10.80 c Elapsed CPU time: 10.6384 s Remaining CPU time: 169.362 s 10.79/10.80 c =============================================================================== 10.79/10.80 c | 1175 | 3875 27115 262961 | 9038 1175 324 | 31.172 % | 11.09/11.10 c =============================================================================== 11.09/11.10 c New solution: 100553 11.09/11.10 o 100553 11.09/11.10 c Elapsed CPU time: 10.9403 s Remaining CPU time: 169.06 s 11.09/11.10 c =============================================================================== 11.09/11.10 c | 1193 | 3875 27116 264977 | 9038 1193 326 | 31.172 % | 11.39/11.44 c =============================================================================== 11.39/11.44 c New solution: 100552 11.39/11.44 o 100552 11.39/11.44 c Elapsed CPU time: 11.2773 s Remaining CPU time: 168.723 s 11.39/11.44 c =============================================================================== 11.39/11.44 c | 1222 | 3875 27117 266993 | 9039 1222 331 | 31.172 % | 11.59/11.61 c =============================================================================== 11.59/11.61 c New solution: 100551 11.59/11.61 o 100551 11.59/11.61 c Elapsed CPU time: 11.4483 s Remaining CPU time: 168.552 s 11.59/11.61 c =============================================================================== 11.59/11.61 c | 1267 | 3875 27118 269009 | 9039 1267 341 | 31.172 % | 11.69/11.73 c =============================================================================== 11.69/11.73 c New solution: 100550 11.69/11.73 o 100550 11.69/11.73 c Elapsed CPU time: 11.5612 s Remaining CPU time: 168.439 s 11.69/11.73 c =============================================================================== 11.69/11.73 c | 1267 | 3875 27119 271025 | 9039 1267 341 | 31.172 % | 11.79/11.83 c =============================================================================== 11.79/11.83 c New solution: 100549 11.79/11.83 o 100549 11.79/11.83 c Elapsed CPU time: 11.6652 s Remaining CPU time: 168.335 s 11.79/11.83 c =============================================================================== 11.79/11.83 c | 1273 | 3875 27120 273041 | 9040 1273 341 | 31.172 % | 12.19/12.22 c | 1373 | 3875 27120 273041 | 9944 1373 358 | 31.172 % | 12.29/12.31 c =============================================================================== 12.29/12.31 c New solution: 100548 12.29/12.31 o 100548 12.29/12.31 c Elapsed CPU time: 12.1452 s Remaining CPU time: 167.855 s 12.29/12.31 c =============================================================================== 12.29/12.31 c | 1374 | 3875 27121 275057 | 9040 1374 358 | 31.172 % | 13.19/13.21 c | 1474 | 3875 27121 275057 | 9944 1474 375 | 31.172 % | 13.29/13.31 c =============================================================================== 13.29/13.31 c New solution: 100547 13.29/13.31 o 100547 13.29/13.31 c Elapsed CPU time: 13.142 s Remaining CPU time: 166.858 s 13.29/13.31 c =============================================================================== 13.29/13.31 c | 1476 | 3875 27122 277073 | 9040 1476 375 | 31.172 % | 14.30/14.31 c | 1576 | 3875 27122 277073 | 9944 1576 388 | 31.172 % | 14.49/14.52 c =============================================================================== 14.49/14.52 c New solution: 100546 14.49/14.52 o 100546 14.49/14.52 c Elapsed CPU time: 14.3508 s Remaining CPU time: 165.649 s 14.49/14.52 c =============================================================================== 14.49/14.52 c | 1590 | 3875 27123 279089 | 9041 1590 389 | 31.172 % | 14.99/15.01 c =============================================================================== 14.99/15.01 c New solution: 99120 14.99/15.01 o 99120 14.99/15.01 c Elapsed CPU time: 14.8367 s Remaining CPU time: 165.163 s 14.99/15.01 c =============================================================================== 14.99/15.01 c | 1633 | 3875 27124 281105 | 9041 1633 391 | 31.172 % | 15.19/15.24 c =============================================================================== 15.19/15.24 c New solution: 99018 15.19/15.24 o 99018 15.19/15.24 c Elapsed CPU time: 15.0697 s Remaining CPU time: 164.93 s 15.19/15.24 c =============================================================================== 15.19/15.24 c | 1636 | 3875 27125 283121 | 9041 1636 390 | 31.172 % | 15.30/15.40 c =============================================================================== 15.30/15.40 c New solution: 99017 15.30/15.40 o 99017 15.30/15.40 c Elapsed CPU time: 15.2257 s Remaining CPU time: 164.774 s 15.30/15.40 c =============================================================================== 15.30/15.40 c | 1637 | 3875 27126 285137 | 9042 1637 391 | 31.172 % | 15.59/15.64 c =============================================================================== 15.59/15.64 c New solution: 97576 15.59/15.64 o 97576 15.59/15.64 c Elapsed CPU time: 15.4666 s Remaining CPU time: 164.533 s 15.59/15.64 c =============================================================================== 15.59/15.64 c | 1647 | 3875 27127 287153 | 9042 1647 392 | 31.172 % | 15.69/15.78 c =============================================================================== 15.69/15.78 c New solution: 97447 15.69/15.78 o 97447 15.69/15.78 c Elapsed CPU time: 15.6086 s Remaining CPU time: 164.391 s 15.69/15.78 c =============================================================================== 15.69/15.78 c | 1648 | 3875 27128 289169 | 9042 1648 392 | 31.172 % | 16.09/16.19 c | 1748 | 3875 27128 289169 | 9946 1748 406 | 31.172 % | 16.29/16.34 c =============================================================================== 16.29/16.34 c New solution: 97446 16.29/16.34 o 97446 16.29/16.34 c Elapsed CPU time: 16.1635 s Remaining CPU time: 163.836 s 16.29/16.34 c =============================================================================== 16.29/16.34 c | 1748 | 3875 27129 291185 | 9043 1748 406 | 31.172 % | 16.39/16.48 c =============================================================================== 16.39/16.48 c New solution: 97445 16.39/16.48 o 97445 16.39/16.48 c Elapsed CPU time: 16.2975 s Remaining CPU time: 163.702 s 16.39/16.48 c =============================================================================== 16.39/16.48 c | 1748 | 3875 27130 293201 | 9043 1748 406 | 31.172 % | 16.58/16.62 c =============================================================================== 16.58/16.62 c New solution: 97444 16.58/16.62 o 97444 16.58/16.62 c Elapsed CPU time: 16.4445 s Remaining CPU time: 163.555 s 16.58/16.62 c =============================================================================== 16.58/16.62 c | 1748 | 3875 27131 295217 | 9043 1748 406 | 31.172 % | 16.68/16.75 c =============================================================================== 16.68/16.75 c New solution: 97443 16.68/16.75 o 97443 16.68/16.75 c Elapsed CPU time: 16.5745 s Remaining CPU time: 163.426 s 16.68/16.75 c =============================================================================== 16.68/16.75 c | 1750 | 3875 27132 297233 | 9044 1750 406 | 31.172 % | 16.99/17.01 c =============================================================================== 16.99/17.01 c New solution: 97442 16.99/17.01 o 97442 16.99/17.01 c Elapsed CPU time: 16.8264 s Remaining CPU time: 163.174 s 16.99/17.01 c =============================================================================== 16.99/17.01 c | 1757 | 3875 27133 299249 | 9044 1757 406 | 31.172 % | 17.79/17.84 c | 1858 | 3875 27133 299249 | 9948 1858 417 | 31.172 % | 17.89/17.98 c =============================================================================== 17.89/17.98 c New solution: 97441 17.89/17.98 o 97441 17.89/17.98 c Elapsed CPU time: 17.7993 s Remaining CPU time: 162.201 s 17.89/17.98 c =============================================================================== 17.89/17.98 c | 1858 | 3875 27134 301265 | 9044 1858 417 | 31.172 % | 18.09/18.14 c =============================================================================== 18.09/18.14 c New solution: 97440 18.09/18.14 o 97440 18.09/18.14 c Elapsed CPU time: 17.9573 s Remaining CPU time: 162.043 s 18.09/18.14 c =============================================================================== 18.09/18.14 c | 1859 | 3875 27135 303281 | 9045 1859 417 | 31.172 % | 18.28/18.33 c =============================================================================== 18.28/18.33 c New solution: 97439 18.28/18.33 o 97439 18.28/18.33 c Elapsed CPU time: 18.1452 s Remaining CPU time: 161.855 s 18.28/18.33 c =============================================================================== 18.28/18.33 c | 1859 | 3875 27136 305297 | 9045 1859 417 | 31.172 % | 18.48/18.50 c =============================================================================== 18.48/18.50 c New solution: 97438 18.48/18.50 o 97438 18.48/18.50 c Elapsed CPU time: 18.3152 s Remaining CPU time: 161.685 s 18.48/18.50 c =============================================================================== 18.48/18.50 c | 1860 | 3875 27137 307313 | 9045 1860 417 | 31.172 % | 18.60/18.67 c =============================================================================== 18.60/18.67 c New solution: 97434 18.60/18.67 o 97434 18.60/18.67 c Elapsed CPU time: 18.4752 s Remaining CPU time: 161.525 s 18.60/18.67 c =============================================================================== 18.60/18.67 c | 1860 | 3875 27138 309329 | 9046 1860 417 | 31.172 % | 18.79/18.84 c =============================================================================== 18.79/18.84 c New solution: 97430 18.79/18.84 o 97430 18.79/18.84 c Elapsed CPU time: 18.6462 s Remaining CPU time: 161.354 s 18.79/18.84 c =============================================================================== 18.79/18.84 c | 1861 | 3875 27139 311345 | 9046 1861 417 | 31.172 % | 18.89/18.98 c =============================================================================== 18.89/18.98 c New solution: 97429 18.89/18.98 o 97429 18.89/18.98 c Elapsed CPU time: 18.7851 s Remaining CPU time: 161.215 s 18.89/18.98 c =============================================================================== 18.89/18.98 c | 1862 | 3875 27140 313361 | 9046 1862 417 | 31.172 % | 19.09/19.14 c =============================================================================== 19.09/19.14 c New solution: 97428 19.09/19.14 o 97428 19.09/19.14 c Elapsed CPU time: 18.9471 s Remaining CPU time: 161.053 s 19.09/19.14 c =============================================================================== 19.09/19.14 c | 1866 | 3875 27141 315377 | 9047 1866 417 | 31.172 % | 19.49/19.51 c =============================================================================== 19.49/19.51 c New solution: 97427 19.49/19.51 o 97427 19.49/19.51 c Elapsed CPU time: 19.3181 s Remaining CPU time: 160.682 s 19.49/19.51 c =============================================================================== 19.49/19.51 c | 1889 | 3875 27142 317393 | 9047 1889 418 | 31.172 % | 19.59/19.62 c =============================================================================== 19.59/19.62 c New solution: 97426 19.59/19.62 o 97426 19.59/19.62 c Elapsed CPU time: 19.423 s Remaining CPU time: 160.577 s 19.59/19.62 c =============================================================================== 19.59/19.62 c | 1893 | 3875 27143 319409 | 9047 1893 418 | 31.172 % | 19.69/19.76 c =============================================================================== 19.69/19.76 c New solution: 97425 19.69/19.76 o 97425 19.69/19.76 c Elapsed CPU time: 19.562 s Remaining CPU time: 160.438 s 19.69/19.76 c =============================================================================== 19.69/19.76 c | 1895 | 3875 27144 321425 | 9048 1895 418 | 31.172 % | 19.88/19.90 c =============================================================================== 19.88/19.90 c New solution: 97424 19.88/19.90 o 97424 19.88/19.90 c Elapsed CPU time: 19.705 s Remaining CPU time: 160.295 s 19.88/19.90 c =============================================================================== 19.88/19.90 c | 1898 | 3875 27145 323441 | 9048 1898 418 | 31.172 % | 20.18/20.21 c =============================================================================== 20.18/20.21 c New solution: 97423 20.18/20.21 o 97423 20.18/20.21 c Elapsed CPU time: 20.009 s Remaining CPU time: 159.991 s 20.18/20.21 c =============================================================================== 20.18/20.21 c | 1931 | 3875 27146 325457 | 9048 1931 421 | 31.172 % | 20.29/20.34 c =============================================================================== 20.29/20.34 c New solution: 97422 20.29/20.34 o 97422 20.29/20.34 c Elapsed CPU time: 20.1389 s Remaining CPU time: 159.861 s 20.29/20.34 c =============================================================================== 20.29/20.34 c | 1932 | 3875 27147 327473 | 9049 1932 421 | 31.172 % | 21.19/21.24 c | 2032 | 3875 27147 327473 | 9953 2032 430 | 31.172 % | 21.29/21.33 c =============================================================================== 21.29/21.33 c New solution: 97421 21.29/21.33 o 97421 21.29/21.33 c Elapsed CPU time: 21.1268 s Remaining CPU time: 158.873 s 21.29/21.33 c =============================================================================== 21.29/21.33 c | 2035 | 3875 27148 329489 | 9049 2035 430 | 31.172 % | 21.39/21.48 c =============================================================================== 21.39/21.48 c New solution: 97420 21.39/21.48 o 97420 21.39/21.48 c Elapsed CPU time: 21.2758 s Remaining CPU time: 158.724 s 21.39/21.48 c =============================================================================== 21.39/21.48 c | 2036 | 3875 27149 331505 | 9049 2036 430 | 31.172 % | 21.59/21.62 c =============================================================================== 21.59/21.62 c New solution: 97419 21.59/21.62 o 97419 21.59/21.62 c Elapsed CPU time: 21.4107 s Remaining CPU time: 158.589 s 21.59/21.62 c =============================================================================== 21.59/21.62 c | 2039 | 3875 27150 333521 | 9050 2039 431 | 31.172 % | 22.18/22.27 c =============================================================================== 22.18/22.27 c New solution: 97418 22.18/22.27 o 97418 22.18/22.27 c Elapsed CPU time: 22.0596 s Remaining CPU time: 157.94 s 22.18/22.27 c =============================================================================== 22.18/22.27 c | 2082 | 3875 27151 335537 | 9050 2082 432 | 31.172 % | 22.28/22.39 c =============================================================================== 22.28/22.39 c New solution: 97417 22.28/22.39 o 97417 22.28/22.39 c Elapsed CPU time: 22.1836 s Remaining CPU time: 157.816 s 22.28/22.39 c =============================================================================== 22.28/22.39 c | 2082 | 3875 27152 337553 | 9050 2082 432 | 31.172 % | 22.48/22.50 c =============================================================================== 22.48/22.50 c New solution: 97416 22.48/22.50 o 97416 22.48/22.50 c Elapsed CPU time: 22.2866 s Remaining CPU time: 157.713 s 22.48/22.50 c =============================================================================== 22.48/22.50 c | 2083 | 3875 27153 339569 | 9051 2083 432 | 31.172 % | 22.58/22.61 c =============================================================================== 22.58/22.61 c New solution: 97415 22.58/22.61 o 97415 22.58/22.61 c Elapsed CPU time: 22.4026 s Remaining CPU time: 157.597 s 22.58/22.61 c =============================================================================== 22.58/22.61 c | 2085 | 3875 27154 341585 | 9051 2085 432 | 31.172 % | 22.68/22.71 c =============================================================================== 22.68/22.71 c New solution: 95904 22.68/22.71 o 95904 22.68/22.71 c Elapsed CPU time: 22.5036 s Remaining CPU time: 157.496 s 22.68/22.71 c =============================================================================== 22.68/22.71 c | 2086 | 3875 27155 343601 | 9051 2086 432 | 31.172 % | 22.99/23.01 c =============================================================================== 22.99/23.01 c New solution: 95903 22.99/23.01 o 95903 22.99/23.01 c Elapsed CPU time: 22.8045 s Remaining CPU time: 157.195 s 22.99/23.01 c =============================================================================== 22.99/23.01 c | 2089 | 3875 27156 345617 | 9052 2089 432 | 31.172 % | 22.99/23.08 c =============================================================================== 22.99/23.08 c New solution: 95902 22.99/23.08 o 95902 22.99/23.08 c Elapsed CPU time: 22.8725 s Remaining CPU time: 157.127 s 22.99/23.08 c =============================================================================== 22.99/23.08 c | 2089 | 3875 27157 347633 | 9052 2089 432 | 31.172 % | 23.10/23.15 c =============================================================================== 23.10/23.15 c New solution: 95901 23.10/23.15 o 95901 23.10/23.15 c Elapsed CPU time: 22.9375 s Remaining CPU time: 157.062 s 23.10/23.15 c =============================================================================== 23.10/23.15 c | 2089 | 3875 27158 349649 | 9052 2089 432 | 31.172 % | 23.19/23.22 c =============================================================================== 23.19/23.22 c New solution: 95900 23.19/23.22 o 95900 23.19/23.22 c Elapsed CPU time: 23.0025 s Remaining CPU time: 156.997 s 23.19/23.22 c =============================================================================== 23.19/23.22 c | 2089 | 3875 27159 351665 | 9053 2089 432 | 31.172 % | 23.19/23.28 c =============================================================================== 23.19/23.28 c New solution: 95899 23.19/23.28 o 95899 23.19/23.28 c Elapsed CPU time: 23.0615 s Remaining CPU time: 156.939 s 23.19/23.28 c =============================================================================== 23.19/23.28 c | 2089 | 3875 27160 353681 | 9053 2089 432 | 31.172 % | 23.29/23.34 c =============================================================================== 23.29/23.34 c New solution: 95898 23.29/23.34 o 95898 23.29/23.34 c Elapsed CPU time: 23.1245 s Remaining CPU time: 156.876 s 23.29/23.34 c =============================================================================== 23.29/23.34 c | 2089 | 3875 27161 355697 | 9053 2089 432 | 31.172 % | 23.38/23.40 c =============================================================================== 23.38/23.40 c New solution: 95897 23.38/23.40 o 95897 23.38/23.40 c Elapsed CPU time: 23.1825 s Remaining CPU time: 156.818 s 23.38/23.40 c =============================================================================== 23.38/23.40 c | 2091 | 3875 27162 357713 | 9054 2091 431 | 31.172 % | 23.58/23.61 c =============================================================================== 23.58/23.61 c New solution: 95896 23.58/23.61 o 95896 23.58/23.61 c Elapsed CPU time: 23.3904 s Remaining CPU time: 156.61 s 23.58/23.61 c =============================================================================== 23.58/23.61 c | 2091 | 3875 27163 359729 | 9054 2091 431 | 31.172 % | 24.49/24.51 c | 2192 | 3875 27163 359729 | 9959 2192 442 | 31.172 % | 24.69/24.70 c =============================================================================== 24.69/24.70 c New solution: 95895 24.69/24.70 o 95895 24.69/24.70 c Elapsed CPU time: 24.4783 s Remaining CPU time: 155.522 s 24.69/24.70 c =============================================================================== 24.69/24.70 c | 2193 | 3875 27164 361745 | 9054 2193 442 | 31.172 % | 24.79/24.89 c =============================================================================== 24.79/24.89 c New solution: 95894 24.79/24.89 o 95894 24.79/24.89 c Elapsed CPU time: 24.6642 s Remaining CPU time: 155.336 s 24.79/24.89 c =============================================================================== 24.79/24.89 c | 2198 | 3875 27165 363761 | 9055 2198 442 | 31.172 % | 24.99/25.05 c =============================================================================== 24.99/25.05 c New solution: 95893 24.99/25.05 o 95893 24.99/25.05 c Elapsed CPU time: 24.8292 s Remaining CPU time: 155.171 s 24.99/25.05 c =============================================================================== 24.99/25.05 c | 2198 | 3875 27166 365777 | 9055 2198 442 | 31.172 % | 25.19/25.28 c =============================================================================== 25.19/25.28 c New solution: 95892 25.19/25.28 o 95892 25.19/25.28 c Elapsed CPU time: 25.0562 s Remaining CPU time: 154.944 s 25.19/25.28 c =============================================================================== 25.19/25.28 c | 2290 | 3875 27167 367793 | 9055 2290 444 | 31.172 % | 25.48/25.51 c =============================================================================== 25.48/25.51 c New solution: 95891 25.48/25.51 o 95891 25.48/25.51 c Elapsed CPU time: 25.2812 s Remaining CPU time: 154.719 s 25.48/25.51 c =============================================================================== 25.48/25.51 c | 2291 | 3875 27168 369809 | 9056 2291 444 | 31.172 % | 25.58/25.63 c =============================================================================== 25.58/25.63 c New solution: 95890 25.58/25.63 o 95890 25.58/25.63 c Elapsed CPU time: 25.4041 s Remaining CPU time: 154.596 s 25.58/25.63 c =============================================================================== 25.58/25.63 c | 2297 | 3875 27169 371825 | 9056 2297 443 | 31.172 % | 26.48/26.57 c | 2397 | 3875 27169 371825 | 9961 2397 450 | 31.172 % | 26.68/26.74 c =============================================================================== 26.68/26.74 c New solution: 95879 26.68/26.74 o 95879 26.68/26.74 c Elapsed CPU time: 26.512 s Remaining CPU time: 153.488 s 26.68/26.74 c =============================================================================== 26.68/26.74 c | 2398 | 3875 27170 373841 | 9056 2398 450 | 31.172 % | 26.78/26.88 c =============================================================================== 26.78/26.88 c New solution: 95878 26.78/26.88 o 95878 26.78/26.88 c Elapsed CPU time: 26.6489 s Remaining CPU time: 153.351 s 26.78/26.88 c =============================================================================== 26.78/26.88 c | 2400 | 3875 27171 375857 | 9057 2400 450 | 31.172 % | 27.18/27.24 c =============================================================================== 27.18/27.24 c New solution: 95877 27.18/27.24 o 95877 27.18/27.24 c Elapsed CPU time: 27.0079 s Remaining CPU time: 152.992 s 27.18/27.24 c =============================================================================== 27.18/27.24 c | 2415 | 3875 27172 377873 | 9057 2415 451 | 31.172 % | 27.28/27.38 c =============================================================================== 27.28/27.38 c New solution: 95876 27.28/27.38 o 95876 27.28/27.38 c Elapsed CPU time: 27.1479 s Remaining CPU time: 152.852 s 27.28/27.38 c =============================================================================== 27.28/27.38 c | 2417 | 3875 27173 379889 | 9057 2417 451 | 31.172 % | 28.09/28.10 c | 2517 | 3875 27173 379889 | 9963 2517 458 | 31.172 % | 29.88/29.90 c | 2667 | 3875 27173 379889 | 10959 2667 467 | 31.173 % | 29.98/30.03 c =============================================================================== 29.98/30.03 c New solution: 95864 29.98/30.03 o 95864 29.98/30.03 c Elapsed CPU time: 29.7875 s Remaining CPU time: 150.213 s 29.98/30.03 c =============================================================================== 29.98/30.03 c | 2668 | 3875 27174 381905 | 9058 2668 467 | 31.173 % | 30.08/30.19 c =============================================================================== 30.08/30.19 c New solution: 94375 30.08/30.19 o 94375 30.08/30.19 c Elapsed CPU time: 29.9494 s Remaining CPU time: 150.051 s 30.08/30.19 c =============================================================================== 30.08/30.19 c | 2671 | 3875 27175 383921 | 9058 2671 467 | 31.173 % | 30.28/30.35 c =============================================================================== 30.28/30.35 c New solution: 94319 30.28/30.35 o 94319 30.28/30.35 c Elapsed CPU time: 30.1094 s Remaining CPU time: 149.891 s 30.28/30.35 c =============================================================================== 30.28/30.35 c | 2671 | 3875 27176 385937 | 9058 2671 467 | 31.173 % | 30.48/30.50 c =============================================================================== 30.48/30.50 c New solution: 94318 30.48/30.50 o 94318 30.48/30.50 c Elapsed CPU time: 30.2564 s Remaining CPU time: 149.744 s 30.48/30.50 c =============================================================================== 30.48/30.50 c | 2672 | 3875 27177 387953 | 9059 2672 467 | 31.173 % | 30.59/30.65 c =============================================================================== 30.59/30.65 c New solution: 94313 30.59/30.65 o 94313 30.59/30.65 c Elapsed CPU time: 30.4104 s Remaining CPU time: 149.59 s 30.59/30.65 c =============================================================================== 30.59/30.65 c | 2672 | 3875 27178 389969 | 9059 2672 467 | 31.173 % | 30.69/30.80 c =============================================================================== 30.69/30.80 c New solution: 94312 30.69/30.80 o 94312 30.69/30.80 c Elapsed CPU time: 30.5514 s Remaining CPU time: 149.449 s 30.69/30.80 c =============================================================================== 30.69/30.80 c | 2672 | 3875 27179 391985 | 9059 2672 467 | 31.173 % | 30.88/30.94 c =============================================================================== 30.88/30.94 c New solution: 94311 30.88/30.94 o 94311 30.88/30.94 c Elapsed CPU time: 30.6963 s Remaining CPU time: 149.304 s 30.88/30.94 c =============================================================================== 30.88/30.94 c | 2673 | 3875 27180 394001 | 9060 2673 467 | 31.173 % | 30.98/31.08 c =============================================================================== 30.98/31.08 c New solution: 94310 30.98/31.08 o 94310 30.98/31.08 c Elapsed CPU time: 30.8323 s Remaining CPU time: 149.168 s 30.98/31.08 c =============================================================================== 30.98/31.08 c | 2676 | 3875 27181 396017 | 9060 2676 467 | 31.173 % | 32.18/32.25 c | 2776 | 3875 27181 396017 | 9966 2776 472 | 31.172 % | 32.28/32.40 c =============================================================================== 32.28/32.40 c New solution: 94309 32.28/32.40 o 94309 32.28/32.40 c Elapsed CPU time: 32.1431 s Remaining CPU time: 147.857 s 32.28/32.40 c =============================================================================== 32.28/32.40 c | 2780 | 3875 27182 398033 | 9060 2780 472 | 31.172 % | 32.48/32.55 c =============================================================================== 32.48/32.55 c New solution: 94308 32.48/32.55 o 94308 32.48/32.55 c Elapsed CPU time: 32.2951 s Remaining CPU time: 147.705 s 32.48/32.55 c =============================================================================== 32.48/32.55 c | 2783 | 3875 27183 400049 | 9061 2783 472 | 31.172 % | 32.78/32.83 c =============================================================================== 32.78/32.83 c New solution: 92873 32.78/32.83 o 92873 32.78/32.83 c Elapsed CPU time: 32.576 s Remaining CPU time: 147.424 s 32.78/32.83 c =============================================================================== 32.78/32.83 c | 2792 | 3875 27184 402065 | 9061 2792 472 | 31.172 % | 32.89/33.00 c =============================================================================== 32.89/33.00 c New solution: 92783 32.89/33.00 o 92783 32.89/33.00 c Elapsed CPU time: 32.747 s Remaining CPU time: 147.253 s 32.89/33.00 c =============================================================================== 32.89/33.00 c | 2794 | 3875 27185 404081 | 9061 2794 472 | 31.172 % | 33.08/33.17 c =============================================================================== 33.08/33.17 c New solution: 92779 33.08/33.17 o 92779 33.08/33.17 c Elapsed CPU time: 32.912 s Remaining CPU time: 147.088 s 33.08/33.17 c =============================================================================== 33.08/33.17 c | 2796 | 3875 27186 406097 | 9062 2796 472 | 31.172 % | 33.28/33.30 c =============================================================================== 33.28/33.30 c New solution: 92778 33.28/33.30 o 92778 33.28/33.30 c Elapsed CPU time: 33.043 s Remaining CPU time: 146.957 s 33.28/33.30 c =============================================================================== 33.28/33.30 c | 2800 | 3875 27187 408113 | 9062 2800 472 | 31.172 % | 33.38/33.48 c =============================================================================== 33.38/33.48 c New solution: 92777 33.38/33.48 o 92777 33.38/33.48 c Elapsed CPU time: 33.2229 s Remaining CPU time: 146.777 s 33.38/33.48 c =============================================================================== 33.38/33.48 c | 2801 | 3875 27188 410129 | 9062 2801 472 | 31.172 % | 33.58/33.64 c =============================================================================== 33.58/33.64 c New solution: 92776 33.58/33.64 o 92776 33.58/33.64 c Elapsed CPU time: 33.3819 s Remaining CPU time: 146.618 s 33.58/33.64 c =============================================================================== 33.58/33.64 c | 2801 | 3875 27189 412145 | 9063 2801 472 | 31.172 % | 33.68/33.77 c =============================================================================== 33.68/33.77 c New solution: 92773 33.68/33.77 o 92773 33.68/33.77 c Elapsed CPU time: 33.5069 s Remaining CPU time: 146.493 s 33.68/33.77 c =============================================================================== 33.68/33.77 c | 2802 | 3875 27190 414161 | 9063 2802 472 | 31.172 % | 33.88/33.90 c =============================================================================== 33.88/33.90 c New solution: 92772 33.88/33.90 o 92772 33.88/33.90 c Elapsed CPU time: 33.6379 s Remaining CPU time: 146.362 s 33.88/33.90 c =============================================================================== 33.88/33.90 c | 2807 | 3875 27191 416177 | 9063 2807 472 | 31.172 % | 34.68/34.78 c | 2907 | 3875 27191 416177 | 9970 2907 477 | 31.172 % | 34.88/34.95 c =============================================================================== 34.88/34.95 c New solution: 92771 34.88/34.95 o 92771 34.88/34.95 c Elapsed CPU time: 34.6867 s Remaining CPU time: 145.313 s 34.88/34.95 c =============================================================================== 34.88/34.95 c | 2909 | 3875 27192 418193 | 9064 2909 477 | 31.172 % | 34.98/35.09 c =============================================================================== 34.98/35.09 c New solution: 92770 34.98/35.09 o 92770 34.98/35.09 c Elapsed CPU time: 34.8267 s Remaining CPU time: 145.173 s 34.98/35.09 c =============================================================================== 34.98/35.09 c | 2918 | 3875 27193 420209 | 9064 2918 477 | 31.172 % | 35.19/35.26 c =============================================================================== 35.19/35.26 c New solution: 92769 35.19/35.26 o 92769 35.19/35.26 c Elapsed CPU time: 34.9917 s Remaining CPU time: 145.008 s 35.19/35.26 c =============================================================================== 35.19/35.26 c | 2918 | 3875 27194 422225 | 9064 2918 477 | 31.172 % | 35.38/35.42 c =============================================================================== 35.38/35.42 c New solution: 92768 35.38/35.42 o 92768 35.38/35.42 c Elapsed CPU time: 35.1587 s Remaining CPU time: 144.841 s 35.38/35.42 c =============================================================================== 35.38/35.42 c | 2919 | 3875 27195 424241 | 9065 2919 477 | 31.172 % | 35.58/35.60 c =============================================================================== 35.58/35.60 c New solution: 92767 35.58/35.60 o 92767 35.58/35.60 c Elapsed CPU time: 35.3326 s Remaining CPU time: 144.667 s 35.58/35.60 c =============================================================================== 35.58/35.60 c | 2920 | 3875 27196 426257 | 9065 2920 477 | 31.172 % | 35.69/35.77 c =============================================================================== 35.69/35.77 c New solution: 92766 35.69/35.77 o 92766 35.69/35.77 c Elapsed CPU time: 35.4996 s Remaining CPU time: 144.5 s 35.69/35.77 c =============================================================================== 35.69/35.77 c | 2921 | 3875 27197 428273 | 9065 2921 477 | 31.172 % | 35.88/35.92 c =============================================================================== 35.88/35.92 c New solution: 92765 35.88/35.92 o 92765 35.88/35.92 c Elapsed CPU time: 35.6546 s Remaining CPU time: 144.345 s 35.88/35.92 c =============================================================================== 35.88/35.92 c | 2932 | 3875 27198 430289 | 9066 2932 477 | 31.172 % | 35.98/36.07 c =============================================================================== 35.98/36.07 c New solution: 92764 35.98/36.07 o 92764 35.98/36.07 c Elapsed CPU time: 35.8066 s Remaining CPU time: 144.193 s 35.98/36.07 c =============================================================================== 35.98/36.07 c | 2935 | 3875 27199 432305 | 9066 2935 477 | 31.172 % | 36.19/36.22 c =============================================================================== 36.19/36.22 c New solution: 92763 36.19/36.22 o 92763 36.19/36.22 c Elapsed CPU time: 35.9505 s Remaining CPU time: 144.049 s 36.19/36.22 c =============================================================================== 36.19/36.22 c | 2935 | 3875 27200 434321 | 9066 2935 477 | 31.172 % | 36.38/36.41 c =============================================================================== 36.38/36.41 c New solution: 92762 36.38/36.41 o 92762 36.38/36.41 c Elapsed CPU time: 36.1395 s Remaining CPU time: 143.86 s 36.38/36.41 c =============================================================================== 36.38/36.41 c | 2937 | 3875 27201 436337 | 9067 2937 477 | 31.172 % | 36.48/36.54 c =============================================================================== 36.48/36.54 c New solution: 92761 36.48/36.54 o 92761 36.48/36.54 c Elapsed CPU time: 36.2725 s Remaining CPU time: 143.728 s 36.48/36.54 c =============================================================================== 36.48/36.54 c | 2939 | 3875 27202 438353 | 9067 2939 477 | 31.172 % | 36.98/37.02 c =============================================================================== 36.98/37.02 c New solution: 92760 36.98/37.02 o 92760 36.98/37.02 c Elapsed CPU time: 36.7534 s Remaining CPU time: 143.247 s 36.98/37.02 c =============================================================================== 36.98/37.02 c | 2992 | 3875 27203 440369 | 9067 2992 480 | 31.172 % | 37.08/37.19 c =============================================================================== 37.08/37.19 c New solution: 92759 37.08/37.19 o 92759 37.08/37.19 c Elapsed CPU time: 36.9204 s Remaining CPU time: 143.08 s 37.08/37.19 c =============================================================================== 37.08/37.19 c | 3001 | 3875 27204 442385 | 9068 3001 480 | 31.172 % | 37.78/37.84 c | 3101 | 3875 27204 442385 | 9974 3101 484 | 31.172 % | 38.88/38.96 c | 3254 | 3875 27204 442385 | 10972 3254 485 | 31.172 % | 39.18/39.24 c =============================================================================== 39.18/39.24 c New solution: 92758 39.18/39.24 o 92758 39.18/39.24 c Elapsed CPU time: 38.9641 s Remaining CPU time: 141.036 s 39.18/39.24 c =============================================================================== 39.18/39.24 c | 3258 | 3875 27205 444401 | 9068 3258 485 | 31.172 % | 40.38/40.45 c | 3358 | 3875 27205 444401 | 9975 3358 489 | 31.172 % | 40.58/40.67 c =============================================================================== 40.58/40.67 c New solution: 92748 40.58/40.67 o 92748 40.58/40.67 c Elapsed CPU time: 40.3899 s Remaining CPU time: 139.61 s 40.58/40.67 c =============================================================================== 40.58/40.67 c | 3359 | 3875 27206 446417 | 9068 3359 489 | 31.172 % | 41.37/41.40 c | 3460 | 3875 27206 446417 | 9975 3460 493 | 31.172 % | 41.69/41.70 c =============================================================================== 41.69/41.70 c New solution: 92747 41.69/41.70 o 92747 41.69/41.70 c Elapsed CPU time: 41.4237 s Remaining CPU time: 138.576 s 41.69/41.70 c =============================================================================== 41.69/41.70 c | 3469 | 3875 27207 448433 | 9069 3469 493 | 31.172 % | 41.98/42.00 c =============================================================================== 41.98/42.00 c New solution: 92746 41.98/42.00 o 92746 41.98/42.00 c Elapsed CPU time: 41.7237 s Remaining CPU time: 138.276 s 41.98/42.00 c =============================================================================== 41.98/42.00 c | 3484 | 3875 27208 450449 | 9069 3484 494 | 31.172 % | 42.08/42.18 c =============================================================================== 42.08/42.18 c New solution: 92745 42.08/42.18 o 92745 42.08/42.18 c Elapsed CPU time: 41.8986 s Remaining CPU time: 138.101 s 42.08/42.18 c =============================================================================== 42.08/42.18 c | 3486 | 3875 27209 452465 | 9069 3486 494 | 31.172 % | 43.78/43.80 c =============================================================================== 43.78/43.80 c New solution: 91313 43.78/43.80 o 91313 43.78/43.80 c Elapsed CPU time: 43.5244 s Remaining CPU time: 136.476 s 43.78/43.80 c =============================================================================== 43.78/43.80 c | 3554 | 3875 27210 454481 | 9070 3554 495 | 31.172 % | 43.99/44.08 c =============================================================================== 43.99/44.08 c New solution: 91204 43.99/44.08 o 91204 43.99/44.08 c Elapsed CPU time: 43.7963 s Remaining CPU time: 136.204 s 43.99/44.08 c =============================================================================== 43.99/44.08 c | 3556 | 3875 27211 456497 | 9070 3556 495 | 31.172 % | 44.28/44.35 c =============================================================================== 44.28/44.35 c New solution: 91195 44.28/44.35 o 91195 44.28/44.35 c Elapsed CPU time: 44.0623 s Remaining CPU time: 135.938 s 44.28/44.35 c =============================================================================== 44.28/44.35 c | 3556 | 3875 27212 458513 | 9070 3556 495 | 31.172 % | 44.58/44.61 c =============================================================================== 44.58/44.61 c New solution: 91194 44.58/44.61 o 91194 44.58/44.61 c Elapsed CPU time: 44.3283 s Remaining CPU time: 135.672 s 44.58/44.61 c =============================================================================== 44.58/44.61 c | 3556 | 3875 27213 460529 | 9071 3556 495 | 31.172 % | 44.78/44.88 c =============================================================================== 44.78/44.88 c New solution: 91193 44.78/44.88 o 91193 44.78/44.88 c Elapsed CPU time: 44.5892 s Remaining CPU time: 135.411 s 44.78/44.88 c =============================================================================== 44.78/44.88 c | 3556 | 3875 27214 462545 | 9071 3556 495 | 31.172 % | 45.08/45.14 c =============================================================================== 45.08/45.14 c New solution: 91192 45.08/45.14 o 91192 45.08/45.14 c Elapsed CPU time: 44.8512 s Remaining CPU time: 135.149 s 45.08/45.14 c =============================================================================== 45.08/45.14 c | 3556 | 3875 27215 464561 | 9071 3556 495 | 31.172 % | 45.27/45.39 c =============================================================================== 45.27/45.39 c New solution: 91191 45.27/45.39 o 91191 45.27/45.39 c Elapsed CPU time: 45.1061 s Remaining CPU time: 134.894 s 45.27/45.39 c =============================================================================== 45.27/45.39 c | 3556 | 3875 27216 466577 | 9072 3556 495 | 31.172 % | 45.57/45.66 c =============================================================================== 45.57/45.66 c New solution: 91190 45.57/45.66 o 91190 45.57/45.66 c Elapsed CPU time: 45.3681 s Remaining CPU time: 134.632 s 45.57/45.66 c =============================================================================== 45.57/45.66 c | 3556 | 3875 27217 468593 | 9072 3556 495 | 31.172 % | 45.87/45.92 c =============================================================================== 45.87/45.92 c New solution: 91189 45.87/45.92 o 91189 45.87/45.92 c Elapsed CPU time: 45.6281 s Remaining CPU time: 134.372 s 45.87/45.92 c =============================================================================== 45.87/45.92 c | 3556 | 3875 27218 470609 | 9072 3556 495 | 31.172 % | 46.09/46.19 c =============================================================================== 46.09/46.19 c New solution: 91188 46.09/46.19 o 91188 46.09/46.19 c Elapsed CPU time: 45.902 s Remaining CPU time: 134.098 s 46.09/46.19 c =============================================================================== 46.09/46.19 c | 3556 | 3875 27219 472625 | 9073 3556 495 | 31.172 % | 46.38/46.45 c =============================================================================== 46.38/46.45 c New solution: 91187 46.38/46.45 o 91187 46.38/46.45 c Elapsed CPU time: 46.16 s Remaining CPU time: 133.84 s 46.38/46.45 c =============================================================================== 46.38/46.45 c | 3556 | 3875 27220 474641 | 9073 3556 495 | 31.172 % | 46.58/46.66 c =============================================================================== 46.58/46.66 c New solution: 91186 46.58/46.66 o 91186 46.58/46.66 c Elapsed CPU time: 46.373 s Remaining CPU time: 133.627 s 46.58/46.66 c =============================================================================== 46.58/46.66 c | 3559 | 3875 27221 476657 | 9073 3559 495 | 31.172 % | 46.88/46.90 c =============================================================================== 46.88/46.90 c New solution: 91185 46.88/46.90 o 91185 46.88/46.90 c Elapsed CPU time: 46.6079 s Remaining CPU time: 133.392 s 46.88/46.90 c =============================================================================== 46.88/46.90 c | 3560 | 3875 27222 478673 | 9074 3560 495 | 31.172 % | 47.68/47.78 c =============================================================================== 47.68/47.78 c New solution: 91184 47.68/47.78 o 91184 47.68/47.78 c Elapsed CPU time: 47.4898 s Remaining CPU time: 132.51 s 47.68/47.78 c =============================================================================== 47.68/47.78 c | 3615 | 3875 27223 480689 | 9074 3615 497 | 31.172 % | 47.98/48.01 c =============================================================================== 47.98/48.01 c New solution: 91183 47.98/48.01 o 91183 47.98/48.01 c Elapsed CPU time: 47.7207 s Remaining CPU time: 132.279 s 47.98/48.01 c =============================================================================== 47.98/48.01 c | 3615 | 3875 27224 482705 | 9074 3615 497 | 31.172 % | 48.18/48.24 c =============================================================================== 48.18/48.24 c New solution: 91182 48.18/48.24 o 91182 48.18/48.24 c Elapsed CPU time: 47.9497 s Remaining CPU time: 132.05 s 48.18/48.24 c =============================================================================== 48.18/48.24 c | 3616 | 3875 27225 484721 | 9075 3616 497 | 31.172 % | 48.88/48.94 c | 3718 | 3875 27225 484721 | 9982 3718 500 | 31.172 % | 49.18/49.25 c =============================================================================== 49.18/49.25 c New solution: 91181 49.18/49.25 o 91181 49.18/49.25 c Elapsed CPU time: 48.9516 s Remaining CPU time: 131.048 s 49.18/49.25 c =============================================================================== 49.18/49.25 c | 3734 | 3875 27226 486737 | 9075 3734 501 | 31.172 % | 49.48/49.58 c =============================================================================== 49.48/49.58 c New solution: 91180 49.48/49.58 o 91180 49.48/49.58 c Elapsed CPU time: 49.2885 s Remaining CPU time: 130.711 s 49.48/49.58 c =============================================================================== 49.48/49.58 c | 3754 | 3875 27227 488753 | 9075 3754 501 | 31.172 % | 49.78/49.86 c =============================================================================== 49.78/49.86 c New solution: 91179 49.78/49.86 o 91179 49.78/49.86 c Elapsed CPU time: 49.5685 s Remaining CPU time: 130.432 s 49.78/49.86 c =============================================================================== 49.78/49.86 c | 3755 | 3875 27228 490769 | 9076 3755 501 | 31.172 % | 49.98/50.05 c =============================================================================== 49.98/50.05 c New solution: 91178 49.98/50.05 o 91178 49.98/50.05 c Elapsed CPU time: 49.7574 s Remaining CPU time: 130.243 s 49.98/50.05 c =============================================================================== 49.98/50.05 c | 3755 | 3875 27229 492785 | 9076 3755 501 | 31.172 % | 50.18/50.24 c =============================================================================== 50.18/50.24 c New solution: 91177 50.18/50.24 o 91177 50.18/50.24 c Elapsed CPU time: 49.9454 s Remaining CPU time: 130.055 s 50.18/50.24 c =============================================================================== 50.18/50.24 c | 3756 | 3875 27230 494801 | 9076 3756 501 | 31.172 % | 50.97/51.05 c =============================================================================== 50.97/51.05 c New solution: 91176 50.97/51.05 o 91176 50.97/51.05 c Elapsed CPU time: 50.7543 s Remaining CPU time: 129.246 s 50.97/51.05 c =============================================================================== 50.97/51.05 c | 3788 | 3875 27231 496817 | 9077 3788 502 | 31.172 % | 51.17/51.27 c =============================================================================== 51.17/51.27 c New solution: 91175 51.17/51.27 o 91175 51.17/51.27 c Elapsed CPU time: 50.9742 s Remaining CPU time: 129.026 s 51.17/51.27 c =============================================================================== 51.17/51.27 c | 3788 | 3875 27232 498833 | 9077 3788 502 | 31.172 % | 51.37/51.48 c =============================================================================== 51.37/51.48 c New solution: 91174 51.37/51.48 o 91174 51.37/51.48 c Elapsed CPU time: 51.1832 s Remaining CPU time: 128.817 s 51.37/51.48 c =============================================================================== 51.37/51.48 c | 3789 | 3875 27233 500849 | 9077 3789 502 | 31.172 % | 52.37/52.42 c | 3889 | 3875 27233 500849 | 9985 3889 504 | 31.172 % | 52.57/52.66 c =============================================================================== 52.57/52.66 c New solution: 91173 52.57/52.66 o 91173 52.57/52.66 c Elapsed CPU time: 52.358 s Remaining CPU time: 127.642 s 52.57/52.66 c =============================================================================== 52.57/52.66 c | 3890 | 3875 27234 502865 | 9078 3890 504 | 31.172 % | 53.47/53.51 c | 3990 | 3875 27234 502865 | 9985 3990 507 | 31.172 % | 53.68/53.74 c =============================================================================== 53.68/53.74 c New solution: 91172 53.68/53.74 o 91172 53.68/53.74 c Elapsed CPU time: 53.4439 s Remaining CPU time: 126.556 s 53.68/53.74 c =============================================================================== 53.68/53.74 c | 3990 | 3875 27235 504881 | 9078 3990 507 | 31.172 % | 53.89/53.96 c =============================================================================== 53.89/53.96 c New solution: 91171 53.89/53.96 o 91171 53.89/53.96 c Elapsed CPU time: 53.6588 s Remaining CPU time: 126.341 s 53.89/53.96 c =============================================================================== 53.89/53.96 c | 3992 | 3875 27236 506897 | 9078 3992 507 | 31.172 % | 54.08/54.14 c =============================================================================== 54.08/54.14 c New solution: 91170 54.08/54.14 o 91170 54.08/54.14 c Elapsed CPU time: 53.8428 s Remaining CPU time: 126.157 s 54.08/54.14 c =============================================================================== 54.08/54.14 c | 3992 | 3875 27237 508913 | 9079 3992 507 | 31.172 % | 54.38/54.41 c =============================================================================== 54.38/54.41 c New solution: 91169 54.38/54.41 o 91169 54.38/54.41 c Elapsed CPU time: 54.1098 s Remaining CPU time: 125.89 s 54.38/54.41 c =============================================================================== 54.38/54.41 c | 3995 | 3875 27238 510929 | 9079 3995 507 | 31.172 % | 54.58/54.62 c =============================================================================== 54.58/54.62 c New solution: 91168 54.58/54.62 o 91168 54.58/54.62 c Elapsed CPU time: 54.3147 s Remaining CPU time: 125.685 s 54.58/54.62 c =============================================================================== 54.58/54.62 c | 4004 | 3875 27239 512945 | 9079 4004 507 | 31.172 % | 55.48/55.55 c | 4105 | 3875 27239 512945 | 9987 4105 509 | 31.172 % | 55.78/55.82 c =============================================================================== 55.78/55.82 c New solution: 89687 55.78/55.82 o 89687 55.78/55.82 c Elapsed CPU time: 55.5176 s Remaining CPU time: 124.482 s 55.78/55.82 c =============================================================================== 55.78/55.82 c | 4107 | 3875 27240 514961 | 9080 4107 509 | 31.172 % | 56.18/56.24 c =============================================================================== 56.18/56.24 c New solution: 89686 56.18/56.25 o 89686 56.18/56.25 c Elapsed CPU time: 55.9415 s Remaining CPU time: 124.059 s 56.18/56.25 c =============================================================================== 56.18/56.25 c | 4108 | 3875 27241 516977 | 9080 4108 509 | 31.172 % | 56.48/56.54 c =============================================================================== 56.48/56.54 c New solution: 89666 56.48/56.54 o 89666 56.48/56.54 c Elapsed CPU time: 56.2325 s Remaining CPU time: 123.768 s 56.48/56.54 c =============================================================================== 56.48/56.54 c | 4108 | 3875 27242 518993 | 9080 4108 509 | 31.172 % | 56.78/56.87 c =============================================================================== 56.78/56.87 c New solution: 89659 56.78/56.87 o 89659 56.78/56.87 c Elapsed CPU time: 56.5624 s Remaining CPU time: 123.438 s 56.78/56.87 c =============================================================================== 56.78/56.87 c | 4109 | 3875 27243 521009 | 9081 4109 509 | 31.172 % | 56.88/56.99 c =============================================================================== 56.88/56.99 c New solution: 89658 56.88/56.99 o 89658 56.88/56.99 c Elapsed CPU time: 56.6814 s Remaining CPU time: 123.319 s 56.88/56.99 c =============================================================================== 56.88/56.99 c | 4110 | 3875 27244 523025 | 9081 4110 509 | 31.172 % | 58.37/58.43 c =============================================================================== 58.37/58.43 c New solution: 89657 58.37/58.43 o 89657 58.37/58.43 c Elapsed CPU time: 58.1212 s Remaining CPU time: 121.879 s 58.37/58.43 c =============================================================================== 58.37/58.43 c | 4195 | 3875 27245 525041 | 9081 4195 509 | 31.172 % | 58.67/58.72 c =============================================================================== 58.67/58.72 c New solution: 89652 58.67/58.72 o 89652 58.67/58.72 c Elapsed CPU time: 58.4111 s Remaining CPU time: 121.589 s 58.67/58.72 c =============================================================================== 58.67/58.72 c | 4196 | 3875 27246 527057 | 9082 4196 509 | 31.172 % | 58.97/59.07 c =============================================================================== 58.97/59.07 c New solution: 89651 58.97/59.07 o 89651 58.97/59.07 c Elapsed CPU time: 58.7611 s Remaining CPU time: 121.239 s 58.97/59.07 c =============================================================================== 58.97/59.07 c | 4199 | 3875 27247 529073 | 9082 4199 509 | 31.172 % | 59.28/59.38 c =============================================================================== 59.28/59.38 c New solution: 89650 59.28/59.38 o 89650 59.28/59.38 c Elapsed CPU time: 59.064 s Remaining CPU time: 120.936 s 59.28/59.38 c =============================================================================== 59.28/59.38 c | 4200 | 3875 27248 531089 | 9082 4200 509 | 31.172 % | 59.58/59.62 c =============================================================================== 59.58/59.62 c New solution: 89639 59.58/59.62 o 89639 59.58/59.62 c Elapsed CPU time: 59.31 s Remaining CPU time: 120.69 s 59.58/59.62 c =============================================================================== 59.58/59.62 c | 4203 | 3875 27249 533105 | 9083 4203 509 | 31.172 % | 59.88/59.92 c =============================================================================== 59.88/59.92 c New solution: 89638 59.88/59.92 o 89638 59.88/59.92 c Elapsed CPU time: 59.6059 s Remaining CPU time: 120.394 s 59.88/59.92 c =============================================================================== 59.88/59.92 c | 4204 | 3875 27250 535121 | 9083 4204 509 | 31.172 % | 60.08/60.11 c =============================================================================== 60.08/60.11 c New solution: 89637 60.08/60.11 o 89637 60.08/60.11 c Elapsed CPU time: 59.7949 s Remaining CPU time: 120.205 s 60.08/60.11 c =============================================================================== 60.08/60.11 c | 4204 | 3875 27251 537137 | 9083 4204 509 | 31.172 % | 60.27/60.39 c =============================================================================== 60.27/60.39 c New solution: 89636 60.27/60.39 o 89636 60.27/60.39 c Elapsed CPU time: 60.0729 s Remaining CPU time: 119.927 s 60.27/60.39 c =============================================================================== 60.27/60.39 c | 4207 | 3875 27252 539153 | 9084 4207 509 | 31.172 % | 61.07/61.15 c =============================================================================== 61.07/61.15 c New solution: 89635 61.07/61.15 o 89635 61.07/61.15 c Elapsed CPU time: 60.8338 s Remaining CPU time: 119.166 s 61.07/61.15 c =============================================================================== 61.07/61.15 c | 4226 | 3875 27253 541169 | 9084 4226 510 | 31.172 % | 61.37/61.43 c =============================================================================== 61.37/61.43 c New solution: 89634 61.37/61.43 o 89634 61.37/61.43 c Elapsed CPU time: 61.1097 s Remaining CPU time: 118.89 s 61.37/61.43 c =============================================================================== 61.37/61.43 c | 4230 | 3875 27254 543185 | 9084 4230 509 | 31.172 % | 61.68/61.72 c =============================================================================== 61.68/61.72 c New solution: 89633 61.68/61.72 o 89633 61.68/61.72 c Elapsed CPU time: 61.4007 s Remaining CPU time: 118.599 s 61.68/61.72 c =============================================================================== 61.68/61.72 c | 4230 | 3875 27255 545201 | 9085 4230 509 | 31.172 % | 61.98/62.02 c =============================================================================== 61.98/62.02 c New solution: 89632 61.98/62.02 o 89632 61.98/62.02 c Elapsed CPU time: 61.6916 s Remaining CPU time: 118.308 s 61.98/62.02 c =============================================================================== 61.98/62.02 c | 4230 | 3875 27256 547217 | 9085 4230 509 | 31.172 % | 62.28/62.31 c =============================================================================== 62.28/62.31 c New solution: 89631 62.28/62.31 o 89631 62.28/62.31 c Elapsed CPU time: 61.9836 s Remaining CPU time: 118.016 s 62.28/62.31 c =============================================================================== 62.28/62.31 c | 4231 | 3875 27257 549233 | 9085 4231 509 | 31.172 % | 62.48/62.57 c =============================================================================== 62.48/62.57 c New solution: 89630 62.48/62.57 o 89630 62.48/62.57 c Elapsed CPU time: 62.2485 s Remaining CPU time: 117.751 s 62.48/62.57 c =============================================================================== 62.48/62.57 c | 4231 | 3875 27258 551249 | 9086 4231 509 | 31.172 % | 62.78/62.84 c =============================================================================== 62.78/62.84 c New solution: 89629 62.78/62.84 o 89629 62.78/62.84 c Elapsed CPU time: 62.5125 s Remaining CPU time: 117.488 s 62.78/62.84 c =============================================================================== 62.78/62.84 c | 4233 | 3875 27259 553265 | 9086 4233 509 | 31.172 % | 63.08/63.11 c =============================================================================== 63.08/63.11 c New solution: 89628 63.08/63.11 o 89628 63.08/63.11 c Elapsed CPU time: 62.7815 s Remaining CPU time: 117.219 s 63.08/63.11 c =============================================================================== 63.08/63.11 c | 4233 | 3875 27260 555281 | 9086 4233 509 | 31.172 % | 63.28/63.38 c =============================================================================== 63.28/63.38 c New solution: 89627 63.28/63.38 o 89627 63.28/63.38 c Elapsed CPU time: 63.0574 s Remaining CPU time: 116.943 s 63.28/63.38 c =============================================================================== 63.28/63.38 c | 4233 | 3875 27261 557297 | 9087 4233 509 | 31.172 % | 63.58/63.65 c =============================================================================== 63.58/63.65 c New solution: 89626 63.58/63.65 o 89626 63.58/63.65 c Elapsed CPU time: 63.3244 s Remaining CPU time: 116.676 s 63.58/63.65 c =============================================================================== 63.58/63.65 c | 4233 | 3875 27262 559313 | 9087 4233 509 | 31.172 % | 63.87/63.92 c =============================================================================== 63.87/63.92 c New solution: 89625 63.87/63.92 o 89625 63.87/63.92 c Elapsed CPU time: 63.5913 s Remaining CPU time: 116.409 s 63.87/63.92 c =============================================================================== 63.87/63.92 c | 4233 | 3875 27263 561329 | 9087 4233 509 | 31.172 % | 64.07/64.19 c =============================================================================== 64.07/64.19 c New solution: 89624 64.07/64.19 o 89624 64.07/64.19 c Elapsed CPU time: 63.8613 s Remaining CPU time: 116.139 s 64.07/64.19 c =============================================================================== 64.07/64.19 c | 4233 | 3875 27264 563345 | 9088 4233 509 | 31.172 % | 64.37/64.45 c =============================================================================== 64.37/64.45 c New solution: 89623 64.37/64.45 o 89623 64.37/64.45 c Elapsed CPU time: 64.1133 s Remaining CPU time: 115.887 s 64.37/64.45 c =============================================================================== 64.37/64.45 c | 4237 | 3875 27265 565361 | 9088 4237 509 | 31.172 % | 64.57/64.69 c =============================================================================== 64.57/64.69 c New solution: 89622 64.57/64.69 o 89622 64.57/64.69 c Elapsed CPU time: 64.3622 s Remaining CPU time: 115.638 s 64.57/64.69 c =============================================================================== 64.57/64.69 c | 4238 | 3875 27266 567377 | 9088 4238 509 | 31.172 % | 65.68/65.72 c | 4338 | 3875 27266 567377 | 9997 4338 512 | 31.172 % | 65.78/65.88 c =============================================================================== 65.78/65.88 c New solution: 89621 65.78/65.88 o 89621 65.78/65.88 c Elapsed CPU time: 65.54 s Remaining CPU time: 114.46 s 65.78/65.88 c =============================================================================== 65.78/65.88 c | 4341 | 3875 27267 569393 | 9089 4341 512 | 31.172 % | 66.07/66.13 c =============================================================================== 66.07/66.13 c New solution: 89620 66.07/66.13 o 89620 66.07/66.13 c Elapsed CPU time: 65.79 s Remaining CPU time: 114.21 s 66.07/66.13 c =============================================================================== 66.07/66.13 c | 4348 | 3875 27268 571409 | 9089 4348 512 | 31.172 % | 66.37/66.46 c =============================================================================== 66.37/66.46 c New solution: 89619 66.37/66.46 o 89619 66.37/66.46 c Elapsed CPU time: 66.1229 s Remaining CPU time: 113.877 s 66.37/66.46 c =============================================================================== 66.37/66.46 c | 4348 | 3875 27269 573425 | 9089 4348 512 | 31.172 % | 66.67/66.72 c =============================================================================== 66.67/66.72 c New solution: 89618 66.67/66.72 o 89618 66.67/66.72 c Elapsed CPU time: 66.3809 s Remaining CPU time: 113.619 s 66.67/66.72 c =============================================================================== 66.67/66.72 c | 4348 | 3875 27270 575441 | 9090 4348 512 | 31.172 % | 66.98/67.05 c =============================================================================== 66.98/67.05 c New solution: 89617 66.98/67.05 o 89617 66.98/67.05 c Elapsed CPU time: 66.7139 s Remaining CPU time: 113.286 s 66.98/67.05 c =============================================================================== 66.98/67.05 c | 4349 | 3875 27271 577457 | 9090 4349 512 | 31.172 % | 67.37/67.40 c =============================================================================== 67.37/67.40 c New solution: 89616 67.37/67.40 o 89616 67.37/67.40 c Elapsed CPU time: 67.0628 s Remaining CPU time: 112.937 s 67.37/67.40 c =============================================================================== 67.37/67.40 c | 4350 | 3875 27272 579473 | 9090 4350 512 | 31.172 % | 67.57/67.65 c =============================================================================== 67.57/67.65 c New solution: 89615 67.57/67.65 o 89615 67.57/67.65 c Elapsed CPU time: 67.3088 s Remaining CPU time: 112.691 s 67.57/67.65 c =============================================================================== 67.57/67.65 c | 4351 | 3875 27273 581489 | 9091 4351 512 | 31.172 % | 68.37/68.46 c =============================================================================== 68.37/68.46 c New solution: 89614 68.37/68.46 o 89614 68.37/68.46 c Elapsed CPU time: 68.1146 s Remaining CPU time: 111.885 s 68.37/68.46 c =============================================================================== 68.37/68.46 c | 4442 | 3875 27274 583505 | 9091 4442 512 | 31.172 % | 68.57/68.69 c =============================================================================== 68.57/68.69 c New solution: 89613 68.57/68.69 o 89613 68.57/68.69 c Elapsed CPU time: 68.3436 s Remaining CPU time: 111.656 s 68.57/68.69 c =============================================================================== 68.57/68.69 c | 4450 | 3875 27275 585521 | 9091 4450 512 | 31.172 % | 68.77/68.85 c =============================================================================== 68.77/68.85 c New solution: 89612 68.77/68.85 o 89612 68.77/68.85 c Elapsed CPU time: 68.5056 s Remaining CPU time: 111.494 s 68.77/68.85 c =============================================================================== 68.77/68.85 c | 4453 | 3875 27276 587537 | 9092 4453 512 | 31.172 % | 70.17/70.27 c | 4553 | 3875 27276 587537 | 10001 4553 515 | 31.172 % | 70.48/70.52 c =============================================================================== 70.48/70.52 c New solution: 89611 70.48/70.52 o 89611 70.48/70.52 c Elapsed CPU time: 70.1733 s Remaining CPU time: 109.827 s 70.48/70.52 c =============================================================================== 70.48/70.52 c | 4553 | 3875 27277 589553 | 9092 4553 515 | 31.172 % | 70.68/70.73 c =============================================================================== 70.68/70.73 c New solution: 89610 70.68/70.73 o 89610 70.68/70.73 c Elapsed CPU time: 70.3853 s Remaining CPU time: 109.615 s 70.68/70.73 c =============================================================================== 70.68/70.73 c | 4553 | 3875 27278 591569 | 9092 4553 515 | 31.172 % | 71.28/71.39 c =============================================================================== 71.28/71.39 c New solution: 89609 71.28/71.39 o 89609 71.28/71.39 c Elapsed CPU time: 71.0382 s Remaining CPU time: 108.962 s 71.28/71.39 c =============================================================================== 71.28/71.39 c | 4613 | 3875 27279 593585 | 9093 4613 516 | 31.172 % | 71.48/71.57 c =============================================================================== 71.48/71.57 c New solution: 88092 71.48/71.57 o 88092 71.48/71.57 c Elapsed CPU time: 71.2202 s Remaining CPU time: 108.78 s 71.48/71.57 c =============================================================================== 71.48/71.57 c | 4615 | 3875 27280 595601 | 9093 4615 515 | 31.172 % | 71.87/71.98 c =============================================================================== 71.87/71.98 c New solution: 88091 71.87/71.98 o 88091 71.87/71.98 c Elapsed CPU time: 71.6281 s Remaining CPU time: 108.372 s 71.87/71.98 c =============================================================================== 71.87/71.98 c | 4617 | 3875 27281 597617 | 9093 4617 515 | 31.172 % | 71.97/72.10 c =============================================================================== 71.97/72.10 c New solution: 88090 71.97/72.10 o 88090 71.97/72.10 c Elapsed CPU time: 71.7451 s Remaining CPU time: 108.255 s 71.97/72.10 c =============================================================================== 71.97/72.10 c | 4617 | 3875 27282 599633 | 9094 4617 515 | 31.172 % | 72.17/72.20 c =============================================================================== 72.17/72.20 c New solution: 88089 72.17/72.20 o 88089 72.17/72.20 c Elapsed CPU time: 71.8481 s Remaining CPU time: 108.152 s 72.17/72.20 c =============================================================================== 72.17/72.20 c | 4619 | 3875 27283 601649 | 9094 4619 515 | 31.172 % | 72.27/72.38 c =============================================================================== 72.27/72.38 c New solution: 86633 72.27/72.38 o 86633 72.27/72.38 c Elapsed CPU time: 72.026 s Remaining CPU time: 107.974 s 72.27/72.38 c =============================================================================== 72.27/72.38 c | 4619 | 3875 27284 603665 | 9094 4619 515 | 31.172 % | 72.97/73.02 c =============================================================================== 72.97/73.02 c New solution: 86632 72.97/73.02 o 86632 72.97/73.02 c Elapsed CPU time: 72.667 s Remaining CPU time: 107.333 s 72.97/73.02 c =============================================================================== 72.97/73.02 c | 4619 | 3875 27285 605681 | 9095 4619 515 | 31.172 % | 73.47/73.56 c =============================================================================== 73.47/73.56 c New solution: 86566 73.47/73.56 o 86566 73.47/73.56 c Elapsed CPU time: 73.2069 s Remaining CPU time: 106.793 s 73.47/73.56 c =============================================================================== 73.47/73.56 c | 4628 | 3875 27286 607697 | 9095 4628 515 | 31.172 % | 74.07/74.10 c =============================================================================== 74.07/74.10 c New solution: 86565 74.07/74.10 o 86565 74.07/74.10 c Elapsed CPU time: 73.7428 s Remaining CPU time: 106.257 s 74.07/74.10 c =============================================================================== 74.07/74.10 c | 4632 | 3875 27287 609713 | 9095 4632 515 | 31.172 % | 74.17/74.22 c =============================================================================== 74.17/74.22 c New solution: 86555 74.17/74.22 o 86555 74.17/74.22 c Elapsed CPU time: 73.8638 s Remaining CPU time: 106.136 s 74.17/74.22 c =============================================================================== 74.17/74.22 c | 4632 | 3875 27288 611729 | 9096 4632 515 | 31.172 % | 74.27/74.34 c =============================================================================== 74.27/74.34 c New solution: 86554 74.27/74.34 o 86554 74.27/74.34 c Elapsed CPU time: 73.9788 s Remaining CPU time: 106.021 s 74.27/74.34 c =============================================================================== 74.27/74.34 c | 4633 | 3875 27289 613745 | 9096 4633 515 | 31.172 % | 74.37/74.46 c =============================================================================== 74.37/74.46 c New solution: 86553 74.37/74.46 o 86553 74.37/74.46 c Elapsed CPU time: 74.1027 s Remaining CPU time: 105.897 s 74.37/74.46 c =============================================================================== 74.37/74.46 c | 4633 | 3875 27290 615761 | 9096 4633 515 | 31.172 % | 74.47/74.57 c =============================================================================== 74.47/74.57 c New solution: 86552 74.47/74.57 o 86552 74.47/74.57 c Elapsed CPU time: 74.2157 s Remaining CPU time: 105.784 s 74.47/74.57 c =============================================================================== 74.47/74.57 c | 4633 | 3875 27291 617777 | 9097 4633 515 | 31.172 % | 74.68/74.74 c =============================================================================== 74.68/74.74 c New solution: 86551 74.68/74.74 o 86551 74.68/74.74 c Elapsed CPU time: 74.3867 s Remaining CPU time: 105.613 s 74.68/74.74 c =============================================================================== 74.68/74.74 c | 4634 | 3875 27292 619793 | 9097 4634 515 | 31.172 % | 74.78/74.87 c =============================================================================== 74.78/74.87 c New solution: 86536 74.78/74.87 o 86536 74.78/74.87 c Elapsed CPU time: 74.5157 s Remaining CPU time: 105.484 s 74.78/74.87 c =============================================================================== 74.78/74.87 c | 4634 | 3875 27293 621809 | 9097 4634 515 | 31.172 % | 74.97/75.00 c =============================================================================== 74.97/75.00 c New solution: 86535 74.97/75.00 o 86535 74.97/75.00 c Elapsed CPU time: 74.6377 s Remaining CPU time: 105.362 s 74.97/75.00 c =============================================================================== 74.97/75.00 c | 4634 | 3875 27294 623825 | 9098 4634 515 | 31.172 % | 75.07/75.12 c =============================================================================== 75.07/75.12 c New solution: 86534 75.07/75.12 o 86534 75.07/75.12 c Elapsed CPU time: 74.7616 s Remaining CPU time: 105.238 s 75.07/75.12 c =============================================================================== 75.07/75.12 c | 4635 | 3875 27295 625841 | 9098 4635 515 | 31.172 % | 75.37/75.43 c =============================================================================== 75.37/75.43 c New solution: 86533 75.37/75.43 o 86533 75.37/75.43 c Elapsed CPU time: 75.0626 s Remaining CPU time: 104.937 s 75.37/75.43 c =============================================================================== 75.37/75.43 c | 4635 | 3875 27296 627857 | 9098 4635 515 | 31.172 % | 75.67/75.74 c =============================================================================== 75.67/75.74 c New solution: 86532 75.67/75.74 o 86532 75.67/75.74 c Elapsed CPU time: 75.3785 s Remaining CPU time: 104.621 s 75.67/75.74 c =============================================================================== 75.67/75.74 c | 4635 | 3875 27297 629873 | 9099 4635 515 | 31.172 % | 75.97/76.07 c =============================================================================== 75.97/76.07 c New solution: 86531 75.97/76.07 o 86531 75.97/76.07 c Elapsed CPU time: 75.7025 s Remaining CPU time: 104.298 s 75.97/76.07 c =============================================================================== 75.97/76.07 c | 4635 | 3875 27298 631889 | 9099 4635 515 | 31.172 % | 76.27/76.36 c =============================================================================== 76.27/76.36 c New solution: 86530 76.27/76.36 o 86530 76.27/76.36 c Elapsed CPU time: 75.9964 s Remaining CPU time: 104.004 s 76.27/76.36 c =============================================================================== 76.27/76.36 c | 4635 | 3875 27299 633905 | 9099 4635 515 | 31.172 % | 76.57/76.69 c =============================================================================== 76.57/76.69 c New solution: 86529 76.57/76.69 o 86529 76.57/76.69 c Elapsed CPU time: 76.3254 s Remaining CPU time: 103.675 s 76.57/76.69 c =============================================================================== 76.57/76.69 c | 4635 | 3875 27300 635921 | 9100 4635 515 | 31.172 % | 76.88/76.99 c =============================================================================== 76.88/76.99 c New solution: 86528 76.88/76.99 o 86528 76.88/76.99 c Elapsed CPU time: 76.6174 s Remaining CPU time: 103.383 s 76.88/76.99 c =============================================================================== 76.88/76.99 c | 4635 | 3875 27301 637937 | 9100 4635 515 | 31.172 % | 77.27/77.31 c =============================================================================== 77.27/77.31 c New solution: 86527 77.27/77.31 o 86527 77.27/77.31 c Elapsed CPU time: 76.9453 s Remaining CPU time: 103.055 s 77.27/77.31 c =============================================================================== 77.27/77.31 c | 4635 | 3875 27302 639953 | 9100 4635 515 | 31.172 % | 77.57/77.60 c =============================================================================== 77.57/77.60 c New solution: 86526 77.57/77.60 o 86526 77.57/77.60 c Elapsed CPU time: 77.2293 s Remaining CPU time: 102.771 s 77.57/77.60 c =============================================================================== 77.57/77.60 c | 4635 | 3875 27303 641969 | 9101 4635 515 | 31.172 % | 77.77/77.88 c =============================================================================== 77.77/77.88 c New solution: 86525 77.77/77.88 o 86525 77.77/77.88 c Elapsed CPU time: 77.5132 s Remaining CPU time: 102.487 s 77.77/77.88 c =============================================================================== 77.77/77.88 c | 4635 | 3875 27304 643985 | 9101 4635 515 | 31.172 % | 78.17/78.20 c =============================================================================== 78.17/78.20 c New solution: 86524 78.17/78.20 o 86524 78.17/78.20 c Elapsed CPU time: 77.8252 s Remaining CPU time: 102.175 s 78.17/78.20 c =============================================================================== 78.17/78.20 c | 4637 | 3875 27305 646001 | 9101 4637 515 | 31.172 % | 78.37/78.46 c =============================================================================== 78.37/78.46 c New solution: 86519 78.37/78.46 o 86519 78.37/78.46 c Elapsed CPU time: 78.0831 s Remaining CPU time: 101.917 s 78.37/78.46 c =============================================================================== 78.37/78.46 c | 4637 | 3875 27306 648017 | 9102 4637 515 | 31.172 % | 78.57/78.70 c =============================================================================== 78.57/78.70 c New solution: 86518 78.57/78.70 o 86518 78.57/78.70 c Elapsed CPU time: 78.3211 s Remaining CPU time: 101.679 s 78.57/78.70 c =============================================================================== 78.57/78.70 c | 4637 | 3875 27307 650033 | 9102 4637 515 | 31.172 % | 78.87/78.95 c =============================================================================== 78.87/78.95 c New solution: 86515 78.87/78.95 o 86515 78.87/78.95 c Elapsed CPU time: 78.5751 s Remaining CPU time: 101.425 s 78.87/78.95 c =============================================================================== 78.87/78.95 c | 4637 | 3875 27308 652049 | 9102 4637 515 | 31.172 % | 79.07/79.18 c =============================================================================== 79.07/79.18 c New solution: 86514 79.07/79.18 o 86514 79.07/79.18 c Elapsed CPU time: 78.806 s Remaining CPU time: 101.194 s 79.07/79.18 c =============================================================================== 79.07/79.18 c | 4637 | 3875 27309 654065 | 9103 4637 515 | 31.172 % | 79.36/79.42 c =============================================================================== 79.36/79.42 c New solution: 86513 79.36/79.42 o 86513 79.36/79.42 c Elapsed CPU time: 79.046 s Remaining CPU time: 100.954 s 79.36/79.42 c =============================================================================== 79.36/79.42 c | 4637 | 3875 27310 656081 | 9103 4637 515 | 31.172 % | 79.57/79.62 c =============================================================================== 79.57/79.62 c New solution: 86512 79.57/79.62 o 86512 79.57/79.62 c Elapsed CPU time: 79.243 s Remaining CPU time: 100.757 s 79.57/79.62 c =============================================================================== 79.57/79.62 c | 4639 | 3875 27311 658097 | 9103 4639 515 | 31.172 % | 79.67/79.78 c =============================================================================== 79.67/79.78 c New solution: 84975 79.67/79.78 o 84975 79.67/79.78 c Elapsed CPU time: 79.3999 s Remaining CPU time: 100.6 s 79.67/79.78 c =============================================================================== 79.67/79.78 c | 4639 | 3875 27312 660113 | 9104 4639 515 | 31.172 % | 79.87/79.95 c =============================================================================== 79.87/79.95 c New solution: 84970 79.87/79.95 o 84970 79.87/79.95 c Elapsed CPU time: 79.5649 s Remaining CPU time: 100.435 s 79.87/79.95 c =============================================================================== 79.87/79.95 c | 4640 | 3875 27313 662129 | 9104 4640 515 | 31.172 % | 79.97/80.07 c =============================================================================== 79.97/80.07 c New solution: 84969 79.97/80.07 o 84969 79.97/80.07 c Elapsed CPU time: 79.6829 s Remaining CPU time: 100.317 s 79.97/80.07 c =============================================================================== 79.97/80.07 c | 4641 | 3875 27314 664145 | 9104 4641 515 | 31.172 % | 80.57/80.62 c =============================================================================== 80.57/80.62 c New solution: 84968 80.57/80.62 o 84968 80.57/80.62 c Elapsed CPU time: 80.2398 s Remaining CPU time: 99.7602 s 80.57/80.62 c =============================================================================== 80.57/80.62 c | 4644 | 3875 27315 666161 | 9105 4644 515 | 31.172 % | 81.17/81.22 c =============================================================================== 81.17/81.22 c New solution: 84967 81.17/81.22 o 84967 81.17/81.22 c Elapsed CPU time: 80.8327 s Remaining CPU time: 99.1673 s 81.17/81.22 c =============================================================================== 81.17/81.22 c | 4682 | 3875 27316 668177 | 9105 4682 515 | 31.172 % | 81.47/81.54 c =============================================================================== 81.47/81.54 c New solution: 84966 81.47/81.54 o 84966 81.47/81.54 c Elapsed CPU time: 81.1527 s Remaining CPU time: 98.8473 s 81.47/81.54 c =============================================================================== 81.47/81.54 c | 4684 | 3875 27317 670193 | 9105 4684 515 | 31.172 % | 81.77/81.84 c =============================================================================== 81.77/81.84 c New solution: 84962 81.77/81.84 o 84962 81.77/81.84 c Elapsed CPU time: 81.4536 s Remaining CPU time: 98.5464 s 81.77/81.84 c =============================================================================== 81.77/81.84 c | 4684 | 3875 27318 672209 | 9106 4684 515 | 31.172 % | 82.07/82.10 c =============================================================================== 82.07/82.10 c New solution: 84959 82.07/82.10 o 84959 82.07/82.10 c Elapsed CPU time: 81.7176 s Remaining CPU time: 98.2824 s 82.07/82.10 c =============================================================================== 82.07/82.10 c | 4685 | 3875 27319 674225 | 9106 4685 515 | 31.172 % | 83.47/83.54 c | 4786 | 3875 27319 674225 | 10016 4786 518 | 31.172 % | 83.77/83.87 c =============================================================================== 83.77/83.87 c New solution: 84946 83.77/83.87 o 84946 83.77/83.87 c Elapsed CPU time: 83.4783 s Remaining CPU time: 96.5217 s 83.77/83.87 c =============================================================================== 83.77/83.87 c | 4787 | 3875 27320 676241 | 9106 4787 518 | 31.172 % | 84.07/84.14 c =============================================================================== 84.07/84.14 c New solution: 84945 84.07/84.14 o 84945 84.07/84.14 c Elapsed CPU time: 83.7483 s Remaining CPU time: 96.2517 s 84.07/84.14 c =============================================================================== 84.07/84.14 c | 4798 | 3875 27321 678257 | 9107 4798 518 | 31.172 % | 84.37/84.49 c =============================================================================== 84.37/84.49 c New solution: 84944 84.37/84.49 o 84944 84.37/84.49 c Elapsed CPU time: 84.0942 s Remaining CPU time: 95.9058 s 84.37/84.49 c =============================================================================== 84.37/84.49 c | 4799 | 3875 27322 680273 | 9107 4799 518 | 31.172 % | 84.77/84.82 c =============================================================================== 84.77/84.82 c New solution: 84934 84.77/84.82 o 84934 84.77/84.82 c Elapsed CPU time: 84.4242 s Remaining CPU time: 95.5758 s 84.77/84.82 c =============================================================================== 84.77/84.82 c | 4800 | 3875 27323 682289 | 9107 4800 518 | 31.172 % | 85.07/85.14 c =============================================================================== 85.07/85.14 c New solution: 84933 85.07/85.14 o 84933 85.07/85.14 c Elapsed CPU time: 84.7421 s Remaining CPU time: 95.2579 s 85.07/85.14 c =============================================================================== 85.07/85.14 c | 4801 | 3875 27324 684305 | 9108 4801 518 | 31.172 % | 85.37/85.44 c =============================================================================== 85.37/85.44 c New solution: 84932 85.37/85.44 o 84932 85.37/85.44 c Elapsed CPU time: 85.0431 s Remaining CPU time: 94.9569 s 85.37/85.44 c =============================================================================== 85.37/85.44 c | 4801 | 3875 27325 686321 | 9108 4801 518 | 31.172 % | 85.67/85.76 c =============================================================================== 85.67/85.76 c New solution: 84931 85.67/85.76 o 84931 85.67/85.76 c Elapsed CPU time: 85.36 s Remaining CPU time: 94.64 s 85.67/85.76 c =============================================================================== 85.67/85.76 c | 4801 | 3875 27326 688337 | 9108 4801 518 | 31.172 % | 85.96/86.06 c =============================================================================== 85.96/86.06 c New solution: 84930 85.96/86.06 o 84930 85.96/86.06 c Elapsed CPU time: 85.664 s Remaining CPU time: 94.336 s 85.96/86.06 c =============================================================================== 85.96/86.06 c | 4802 | 3875 27327 690353 | 9109 4802 518 | 31.172 % | 86.26/86.39 c =============================================================================== 86.26/86.39 c New solution: 84928 86.26/86.39 o 84928 86.26/86.39 c Elapsed CPU time: 85.9919 s Remaining CPU time: 94.0081 s 86.26/86.39 c =============================================================================== 86.26/86.39 c | 4802 | 3875 27328 692369 | 9109 4802 518 | 31.172 % | 86.66/86.70 c =============================================================================== 86.66/86.70 c New solution: 84927 86.66/86.70 o 84927 86.66/86.70 c Elapsed CPU time: 86.3009 s Remaining CPU time: 93.6991 s 86.66/86.70 c =============================================================================== 86.66/86.70 c | 4802 | 3875 27329 694385 | 9109 4802 518 | 31.172 % | 87.06/87.14 c =============================================================================== 87.06/87.14 c New solution: 84926 87.06/87.14 o 84926 87.06/87.14 c Elapsed CPU time: 86.7428 s Remaining CPU time: 93.2572 s 87.06/87.14 c =============================================================================== 87.06/87.14 c | 4806 | 3875 27330 696401 | 9110 4806 518 | 31.172 % | 87.36/87.45 c =============================================================================== 87.36/87.45 c New solution: 84925 87.36/87.45 o 84925 87.36/87.45 c Elapsed CPU time: 87.0508 s Remaining CPU time: 92.9492 s 87.36/87.45 c =============================================================================== 87.36/87.45 c | 4807 | 3875 27331 698417 | 9110 4807 518 | 31.172 % | 88.77/88.84 c | 4908 | 3875 27331 698417 | 10021 4908 517 | 31.172 % | 88.98/89.10 c =============================================================================== 88.98/89.10 c New solution: 84924 88.98/89.10 o 84924 88.98/89.10 c Elapsed CPU time: 88.7005 s Remaining CPU time: 91.2995 s 88.98/89.10 c =============================================================================== 88.98/89.10 c | 4909 | 3875 27332 700433 | 9110 4909 517 | 31.172 % | 89.27/89.37 c =============================================================================== 89.27/89.37 c New solution: 84923 89.27/89.37 o 84923 89.27/89.37 c Elapsed CPU time: 88.9725 s Remaining CPU time: 91.0275 s 89.27/89.37 c =============================================================================== 89.27/89.37 c | 4913 | 3875 27333 702449 | 9111 4913 518 | 31.172 % | 91.28/91.31 c | 5013 | 3875 27333 702449 | 10022 5013 519 | 31.172 % | 91.47/91.57 c =============================================================================== 91.47/91.57 c New solution: 84922 91.47/91.57 o 84922 91.47/91.57 c Elapsed CPU time: 91.1671 s Remaining CPU time: 88.8329 s 91.47/91.57 c =============================================================================== 91.47/91.57 c | 5018 | 3875 27334 704465 | 9111 5018 519 | 31.172 % | 91.77/91.85 c =============================================================================== 91.77/91.85 c New solution: 84921 91.77/91.85 o 84921 91.77/91.85 c Elapsed CPU time: 91.4411 s Remaining CPU time: 88.5589 s 91.77/91.85 c =============================================================================== 91.77/91.85 c | 5038 | 3875 27335 706481 | 9111 5038 519 | 31.172 % | 92.27/92.38 c =============================================================================== 92.27/92.38 c New solution: 84920 92.27/92.38 o 84920 92.27/92.38 c Elapsed CPU time: 91.976 s Remaining CPU time: 88.024 s 92.27/92.38 c =============================================================================== 92.27/92.38 c | 5055 | 3875 27336 708497 | 9112 5055 519 | 31.172 % | 93.37/93.43 c | 5155 | 3875 27336 708497 | 10023 5155 519 | 31.172 % | 95.17/95.22 c | 5305 | 3875 27336 708497 | 11025 5305 521 | 31.172 % | 99.87/99.93 c | 5530 | 3875 27336 708497 | 12128 5530 524 | 31.172 % | 100.16/100.21 c =============================================================================== 100.16/100.21 c New solution: 84919 100.16/100.21 o 84919 100.16/100.21 c Elapsed CPU time: 99.7938 s Remaining CPU time: 80.2062 s 100.16/100.21 c =============================================================================== 100.16/100.21 c | 5533 | 3875 27337 710513 | 9112 5533 524 | 31.172 % | 101.76/101.87 c | 5633 | 3875 27337 710513 | 10023 5633 525 | 31.172 % | 102.06/102.19 c =============================================================================== 102.06/102.19 c New solution: 84918 102.06/102.19 o 84918 102.06/102.19 c Elapsed CPU time: 101.778 s Remaining CPU time: 78.2225 s 102.06/102.19 c =============================================================================== 102.06/102.19 c | 5634 | 3875 27338 712529 | 9112 5634 525 | 31.172 % | 102.56/102.67 c =============================================================================== 102.56/102.67 c New solution: 83485 102.56/102.67 o 83485 102.56/102.67 c Elapsed CPU time: 102.248 s Remaining CPU time: 77.7515 s 102.56/102.67 c =============================================================================== 102.56/102.67 c | 5636 | 3875 27339 714545 | 9113 5636 525 | 31.172 % | 102.86/102.99 c =============================================================================== 102.86/102.99 c New solution: 83427 102.86/102.99 o 83427 102.86/102.99 c Elapsed CPU time: 102.568 s Remaining CPU time: 77.4316 s 102.86/102.99 c =============================================================================== 102.86/102.99 c | 5639 | 3875 27340 716561 | 9113 5639 525 | 31.172 % | 103.46/103.55 c =============================================================================== 103.46/103.55 c New solution: 83406 103.46/103.55 o 83406 103.46/103.55 c Elapsed CPU time: 103.128 s Remaining CPU time: 76.8717 s 103.46/103.55 c =============================================================================== 103.46/103.55 c | 5641 | 3875 27341 718577 | 9113 5641 525 | 31.172 % | 103.86/103.95 c =============================================================================== 103.86/103.95 c New solution: 83405 103.86/103.95 o 83405 103.86/103.95 c Elapsed CPU time: 103.528 s Remaining CPU time: 76.4717 s 103.86/103.95 c =============================================================================== 103.86/103.95 c | 5642 | 3875 27342 720593 | 9114 5642 525 | 31.172 % | 105.76/105.88 c | 5744 | 3875 27342 720593 | 10025 5744 527 | 31.172 % | 106.16/106.29 c =============================================================================== 106.16/106.29 c New solution: 83400 106.16/106.29 o 83400 106.16/106.29 c Elapsed CPU time: 105.867 s Remaining CPU time: 74.1331 s 106.16/106.29 c =============================================================================== 106.16/106.29 c | 5745 | 3875 27343 722609 | 9114 5745 527 | 31.172 % | 106.66/106.74 c =============================================================================== 106.66/106.74 c New solution: 83399 106.66/106.74 o 83399 106.66/106.74 c Elapsed CPU time: 106.318 s Remaining CPU time: 73.6822 s 106.66/106.74 c =============================================================================== 106.66/106.74 c | 5746 | 3875 27344 724625 | 9114 5746 527 | 31.172 % | 107.06/107.13 c =============================================================================== 107.06/107.13 c New solution: 83398 107.06/107.13 o 83398 107.06/107.13 c Elapsed CPU time: 106.706 s Remaining CPU time: 73.2942 s 107.06/107.13 c =============================================================================== 107.06/107.13 c | 5747 | 3875 27345 726641 | 9115 5747 527 | 31.172 % | 108.26/108.34 c =============================================================================== 108.26/108.34 c New solution: 83397 108.26/108.34 o 83397 108.26/108.34 c Elapsed CPU time: 107.913 s Remaining CPU time: 72.0874 s 108.26/108.34 c =============================================================================== 108.26/108.34 c | 5793 | 3875 27346 728657 | 9115 5793 527 | 31.172 % | 108.66/108.77 c =============================================================================== 108.66/108.77 c New solution: 83396 108.66/108.77 o 83396 108.66/108.77 c Elapsed CPU time: 108.34 s Remaining CPU time: 71.6605 s 108.66/108.77 c =============================================================================== 108.66/108.77 c | 5798 | 3875 27347 730673 | 9115 5798 527 | 31.172 % | 109.06/109.14 c =============================================================================== 109.06/109.14 c New solution: 83395 109.06/109.14 o 83395 109.06/109.14 c Elapsed CPU time: 108.712 s Remaining CPU time: 71.2875 s 109.06/109.14 c =============================================================================== 109.06/109.14 c | 5799 | 3875 27348 732689 | 9116 5799 527 | 31.172 % | 110.46/110.57 c | 5899 | 3875 27348 732689 | 10027 5899 529 | 31.172 % | 110.86/110.98 c =============================================================================== 110.86/110.98 c New solution: 83394 110.86/110.98 o 83394 110.86/110.98 c Elapsed CPU time: 110.55 s Remaining CPU time: 69.4498 s 110.86/110.98 c =============================================================================== 110.86/110.98 c | 5899 | 3875 27349 734705 | 9116 5899 529 | 31.172 % | 111.26/111.39 c =============================================================================== 111.26/111.39 c New solution: 83392 111.26/111.39 o 83392 111.26/111.39 c Elapsed CPU time: 110.952 s Remaining CPU time: 69.0479 s 111.26/111.39 c =============================================================================== 111.26/111.39 c | 5899 | 3875 27350 736721 | 9116 5899 529 | 31.172 % | 111.66/111.78 c =============================================================================== 111.66/111.78 c New solution: 83391 111.66/111.78 o 83391 111.66/111.78 c Elapsed CPU time: 111.35 s Remaining CPU time: 68.6499 s 111.66/111.78 c =============================================================================== 111.66/111.78 c | 5899 | 3875 27351 738737 | 9117 5899 529 | 31.172 % | 112.06/112.18 c =============================================================================== 112.06/112.18 c New solution: 83390 112.06/112.18 o 83390 112.06/112.18 c Elapsed CPU time: 111.745 s Remaining CPU time: 68.255 s 112.06/112.18 c =============================================================================== 112.06/112.18 c | 5899 | 3875 27352 740753 | 9117 5899 529 | 31.172 % | 112.46/112.57 c =============================================================================== 112.46/112.57 c New solution: 83389 112.46/112.57 o 83389 112.46/112.57 c Elapsed CPU time: 112.128 s Remaining CPU time: 67.872 s 112.46/112.57 c =============================================================================== 112.46/112.57 c | 5899 | 3875 27353 742769 | 9117 5899 529 | 31.172 % | 112.86/112.95 c =============================================================================== 112.86/112.95 c New solution: 83388 112.86/112.95 o 83388 112.86/112.95 c Elapsed CPU time: 112.505 s Remaining CPU time: 67.4951 s 112.86/112.95 c =============================================================================== 112.86/112.95 c | 5899 | 3875 27354 744785 | 9118 5899 529 | 31.172 % | 113.27/113.33 c =============================================================================== 113.27/113.33 c New solution: 83387 113.27/113.33 o 83387 113.27/113.33 c Elapsed CPU time: 112.891 s Remaining CPU time: 67.1092 s 113.27/113.33 c =============================================================================== 113.27/113.33 c | 5899 | 3875 27355 746801 | 9118 5899 529 | 31.172 % | 113.66/113.74 c =============================================================================== 113.66/113.74 c New solution: 83386 113.66/113.74 o 83386 113.66/113.74 c Elapsed CPU time: 113.293 s Remaining CPU time: 66.7072 s 113.66/113.74 c =============================================================================== 113.66/113.74 c | 5899 | 3875 27356 748817 | 9118 5899 529 | 31.172 % | 114.06/114.12 c =============================================================================== 114.06/114.12 c New solution: 83385 114.06/114.12 o 83385 114.06/114.12 c Elapsed CPU time: 113.672 s Remaining CPU time: 66.3283 s 114.06/114.12 c =============================================================================== 114.06/114.12 c | 5899 | 3875 27357 750833 | 9119 5899 529 | 31.172 % | 114.36/114.49 c =============================================================================== 114.36/114.49 c New solution: 83384 114.36/114.49 o 83384 114.36/114.49 c Elapsed CPU time: 114.049 s Remaining CPU time: 65.9513 s 114.36/114.49 c =============================================================================== 114.36/114.49 c | 5899 | 3875 27358 752849 | 9119 5899 529 | 31.172 % | 114.76/114.87 c =============================================================================== 114.76/114.87 c New solution: 83383 114.76/114.87 o 83383 114.76/114.87 c Elapsed CPU time: 114.429 s Remaining CPU time: 65.5714 s 114.76/114.87 c =============================================================================== 114.76/114.87 c | 5899 | 3875 27359 754865 | 9119 5899 529 | 31.172 % | 115.16/115.25 c =============================================================================== 115.16/115.25 c New solution: 83382 115.16/115.25 o 83382 115.16/115.25 c Elapsed CPU time: 114.802 s Remaining CPU time: 65.1985 s 115.16/115.25 c =============================================================================== 115.16/115.25 c | 5899 | 3875 27360 756881 | 9120 5899 529 | 31.172 % | 115.56/115.62 c =============================================================================== 115.56/115.62 c New solution: 83381 115.56/115.62 o 83381 115.56/115.62 c Elapsed CPU time: 115.175 s Remaining CPU time: 64.8245 s 115.56/115.62 c =============================================================================== 115.56/115.62 c | 5899 | 3875 27361 758897 | 9120 5899 529 | 31.172 % | 115.86/115.99 c =============================================================================== 115.86/115.99 c New solution: 83380 115.86/115.99 o 83380 115.86/115.99 c Elapsed CPU time: 115.547 s Remaining CPU time: 64.4526 s 115.86/115.99 c =============================================================================== 115.86/115.99 c | 5899 | 3875 27362 760913 | 9120 5899 529 | 31.172 % | 116.26/116.37 c =============================================================================== 116.26/116.37 c New solution: 83379 116.26/116.37 o 83379 116.26/116.37 c Elapsed CPU time: 115.924 s Remaining CPU time: 64.0756 s 116.26/116.37 c =============================================================================== 116.26/116.37 c | 5899 | 3875 27363 762929 | 9121 5899 529 | 31.172 % | 116.65/116.74 c =============================================================================== 116.65/116.74 c New solution: 83378 116.65/116.74 o 83378 116.65/116.74 c Elapsed CPU time: 116.295 s Remaining CPU time: 63.7047 s 116.65/116.74 c =============================================================================== 116.65/116.74 c | 5899 | 3875 27364 764945 | 9121 5899 529 | 31.172 % | 117.05/117.12 c =============================================================================== 117.05/117.12 c New solution: 83377 117.05/117.12 o 83377 117.05/117.12 c Elapsed CPU time: 116.668 s Remaining CPU time: 63.3317 s 117.05/117.12 c =============================================================================== 117.05/117.12 c | 5899 | 3875 27365 766961 | 9121 5899 529 | 31.172 % | 117.36/117.48 c =============================================================================== 117.36/117.48 c New solution: 83376 117.36/117.48 o 83376 117.36/117.48 c Elapsed CPU time: 117.034 s Remaining CPU time: 62.9658 s 117.36/117.48 c =============================================================================== 117.36/117.48 c | 5901 | 3875 27366 768977 | 9122 5901 529 | 31.172 % | 118.77/118.87 c =============================================================================== 118.77/118.87 c New solution: 81888 118.77/118.87 o 81888 118.77/118.87 c Elapsed CPU time: 118.421 s Remaining CPU time: 61.579 s 118.77/118.87 c =============================================================================== 118.77/118.87 c | 5953 | 3875 27367 770993 | 9122 5953 529 | 31.172 % | 119.26/119.34 c =============================================================================== 119.26/119.34 c New solution: 81865 119.26/119.34 o 81865 119.26/119.34 c Elapsed CPU time: 118.887 s Remaining CPU time: 61.1131 s 119.26/119.34 c =============================================================================== 119.26/119.34 c | 5960 | 3875 27368 773009 | 9122 5960 529 | 31.172 % | 120.06/120.13 c =============================================================================== 120.06/120.13 c New solution: 81864 120.06/120.13 o 81864 120.06/120.13 c Elapsed CPU time: 119.676 s Remaining CPU time: 60.3242 s 120.06/120.13 c =============================================================================== 120.06/120.13 c | 5967 | 3875 27369 775025 | 9123 5967 529 | 31.172 % | 120.46/120.50 c =============================================================================== 120.46/120.50 c New solution: 81830 120.46/120.50 o 81830 120.46/120.50 c Elapsed CPU time: 120.041 s Remaining CPU time: 59.9592 s 120.46/120.50 c =============================================================================== 120.46/120.50 c | 5968 | 3875 27370 777041 | 9123 5968 529 | 31.172 % | 121.06/121.20 c | 6068 | 3875 27370 777041 | 10035 6068 529 | 31.172 % | 121.26/121.31 c =============================================================================== 121.26/121.31 c New solution: 81829 121.26/121.31 o 81829 121.26/121.31 c Elapsed CPU time: 120.85 s Remaining CPU time: 59.1504 s 121.26/121.31 c =============================================================================== 121.26/121.31 c | 6069 | 3875 27371 779057 | 9123 6069 529 | 31.172 % | 121.36/121.40 c =============================================================================== 121.36/121.40 c New solution: 81828 121.36/121.40 o 81828 121.36/121.40 c Elapsed CPU time: 120.946 s Remaining CPU time: 59.0544 s 121.36/121.40 c =============================================================================== 121.36/121.40 c | 6069 | 3875 27372 781073 | 9124 6069 529 | 31.172 % | 121.45/121.59 c =============================================================================== 121.45/121.59 c New solution: 80295 121.45/121.59 o 80295 121.45/121.59 c Elapsed CPU time: 121.136 s Remaining CPU time: 58.8644 s 121.45/121.59 c =============================================================================== 121.45/121.59 c | 6070 | 3875 27373 783089 | 9124 6070 529 | 31.172 % | 121.75/121.80 c =============================================================================== 121.75/121.80 c New solution: 80293 121.75/121.80 o 80293 121.75/121.80 c Elapsed CPU time: 121.345 s Remaining CPU time: 58.6554 s 121.75/121.80 c =============================================================================== 121.75/121.80 c | 6070 | 3875 27374 785105 | 9124 6070 529 | 31.172 % | 121.86/121.93 c =============================================================================== 121.86/121.93 c New solution: 80292 121.86/121.93 o 80292 121.86/121.93 c Elapsed CPU time: 121.468 s Remaining CPU time: 58.5325 s 121.86/121.93 c =============================================================================== 121.86/121.93 c | 6070 | 3875 27375 787121 | 9125 6070 529 | 31.172 % | 122.07/122.11 c =============================================================================== 122.07/122.11 c New solution: 80288 122.07/122.11 o 80288 122.07/122.11 c Elapsed CPU time: 121.652 s Remaining CPU time: 58.3485 s 122.07/122.11 c =============================================================================== 122.07/122.11 c | 6070 | 3875 27376 789137 | 9125 6070 529 | 31.172 % | 122.16/122.26 c =============================================================================== 122.16/122.26 c New solution: 80287 122.16/122.26 o 80287 122.16/122.26 c Elapsed CPU time: 121.792 s Remaining CPU time: 58.2075 s 122.16/122.26 c =============================================================================== 122.16/122.26 c | 6070 | 3875 27377 791153 | 9125 6070 529 | 31.172 % | 122.36/122.40 c =============================================================================== 122.36/122.40 c New solution: 80286 122.36/122.40 o 80286 122.36/122.40 c Elapsed CPU time: 121.935 s Remaining CPU time: 58.0645 s 122.36/122.40 c =============================================================================== 122.36/122.40 c | 6070 | 3875 27378 793169 | 9126 6070 529 | 31.172 % | 122.46/122.55 c =============================================================================== 122.46/122.55 c New solution: 80285 122.46/122.55 o 80285 122.46/122.55 c Elapsed CPU time: 122.086 s Remaining CPU time: 57.9136 s 122.46/122.55 c =============================================================================== 122.46/122.55 c | 6070 | 3875 27379 795185 | 9126 6070 529 | 31.172 % | 122.66/122.71 c =============================================================================== 122.66/122.71 c New solution: 80284 122.66/122.71 o 80284 122.66/122.71 c Elapsed CPU time: 122.244 s Remaining CPU time: 57.7556 s 122.66/122.71 c =============================================================================== 122.66/122.71 c | 6070 | 3875 27380 797201 | 9126 6070 529 | 31.172 % | 122.76/122.87 c =============================================================================== 122.76/122.87 c New solution: 80283 122.76/122.87 o 80283 122.76/122.87 c Elapsed CPU time: 122.404 s Remaining CPU time: 57.5956 s 122.76/122.87 c =============================================================================== 122.76/122.87 c | 6070 | 3875 27381 799217 | 9127 6070 529 | 31.172 % | 122.96/123.00 c =============================================================================== 122.96/123.00 c New solution: 80282 122.96/123.00 o 80282 122.96/123.00 c Elapsed CPU time: 122.537 s Remaining CPU time: 57.4626 s 122.96/123.00 c =============================================================================== 122.96/123.00 c | 6071 | 3875 27382 801233 | 9127 6071 529 | 31.172 % | 123.35/123.42 c =============================================================================== 123.35/123.42 c New solution: 80281 123.35/123.42 o 80281 123.35/123.42 c Elapsed CPU time: 122.953 s Remaining CPU time: 57.0467 s 123.35/123.42 c =============================================================================== 123.35/123.42 c | 6099 | 3875 27383 803249 | 9127 6099 528 | 31.172 % | 123.55/123.63 c =============================================================================== 123.55/123.63 c New solution: 80280 123.55/123.63 o 80280 123.55/123.63 c Elapsed CPU time: 123.158 s Remaining CPU time: 56.8417 s 123.55/123.63 c =============================================================================== 123.55/123.63 c | 6105 | 3875 27384 805265 | 9128 6105 528 | 31.172 % | 125.86/125.95 c | 6206 | 3875 27384 805265 | 10040 6206 530 | 31.172 % | 126.16/126.25 c =============================================================================== 126.16/126.25 c New solution: 80279 126.16/126.25 o 80279 126.16/126.25 c Elapsed CPU time: 125.78 s Remaining CPU time: 54.2201 s 126.16/126.25 c =============================================================================== 126.16/126.25 c | 6206 | 3875 27385 807281 | 9128 6206 530 | 31.172 % | 126.47/126.59 c =============================================================================== 126.47/126.59 c New solution: 80278 126.47/126.59 o 80278 126.47/126.59 c Elapsed CPU time: 126.115 s Remaining CPU time: 53.8852 s 126.47/126.59 c =============================================================================== 126.47/126.59 c | 6208 | 3875 27386 809297 | 9128 6208 530 | 31.172 % | 126.75/126.83 c =============================================================================== 126.75/126.83 c New solution: 80277 126.75/126.83 o 80277 126.75/126.83 c Elapsed CPU time: 126.349 s Remaining CPU time: 53.6512 s 126.75/126.83 c =============================================================================== 126.75/126.83 c | 6217 | 3875 27387 811313 | 9129 6217 530 | 31.172 % | 127.35/127.48 c =============================================================================== 127.35/127.48 c New solution: 80276 127.35/127.48 o 80276 127.35/127.48 c Elapsed CPU time: 127.002 s Remaining CPU time: 52.9983 s 127.35/127.48 c =============================================================================== 127.35/127.48 c | 6262 | 3875 27388 813329 | 9129 6262 530 | 31.172 % | 128.45/128.51 c =============================================================================== 128.45/128.51 c New solution: 78831 128.45/128.51 o 78831 128.45/128.51 c Elapsed CPU time: 128.037 s Remaining CPU time: 51.9635 s 128.45/128.51 c =============================================================================== 128.45/128.51 c | 6283 | 3875 27389 815345 | 9129 6283 531 | 31.172 % | 128.75/128.86 c =============================================================================== 128.75/128.86 c New solution: 78675 128.75/128.86 o 78675 128.75/128.86 c Elapsed CPU time: 128.378 s Remaining CPU time: 51.6215 s 128.75/128.86 c =============================================================================== 128.75/128.86 c | 6284 | 3875 27390 817361 | 9130 6284 531 | 31.172 % | 129.25/129.30 c =============================================================================== 129.25/129.30 c New solution: 78674 129.25/129.30 o 78674 129.25/129.30 c Elapsed CPU time: 128.824 s Remaining CPU time: 51.1756 s 129.25/129.30 c =============================================================================== 129.25/129.30 c | 6301 | 3875 27391 819377 | 9130 6301 531 | 31.172 % | 129.76/129.83 c =============================================================================== 129.76/129.83 c New solution: 78673 129.76/129.83 o 78673 129.76/129.83 c Elapsed CPU time: 129.345 s Remaining CPU time: 50.6547 s 129.76/129.83 c =============================================================================== 129.76/129.83 c | 6312 | 3875 27392 821393 | 9130 6312 531 | 31.172 % | 130.15/130.25 c =============================================================================== 130.15/130.25 c New solution: 77200 130.15/130.25 o 77200 130.15/130.25 c Elapsed CPU time: 129.766 s Remaining CPU time: 50.2337 s 130.15/130.25 c =============================================================================== 130.15/130.25 c | 6314 | 3875 27393 823409 | 9131 6314 531 | 31.172 % | 130.65/130.72 c =============================================================================== 130.65/130.72 c New solution: 77181 130.65/130.72 o 77181 130.65/130.72 c Elapsed CPU time: 130.242 s Remaining CPU time: 49.7578 s 130.65/130.72 c =============================================================================== 130.65/130.72 c | 6317 | 3875 27394 825425 | 9131 6317 531 | 31.172 % | 130.86/130.95 c =============================================================================== 130.86/130.95 c New solution: 77171 130.86/130.95 o 77171 130.86/130.95 c Elapsed CPU time: 130.471 s Remaining CPU time: 49.5288 s 130.86/130.95 c =============================================================================== 130.86/130.95 c | 6317 | 3875 27395 827441 | 9131 6317 531 | 31.172 % | 131.35/131.43 c =============================================================================== 131.35/131.43 c New solution: 77170 131.35/131.43 o 77170 131.35/131.43 c Elapsed CPU time: 130.943 s Remaining CPU time: 49.0569 s 131.35/131.43 c =============================================================================== 131.35/131.43 c | 6321 | 3875 27396 829457 | 9132 6321 531 | 31.172 % | 131.56/131.61 c =============================================================================== 131.56/131.61 c New solution: 77161 131.56/131.61 o 77161 131.56/131.61 c Elapsed CPU time: 131.128 s Remaining CPU time: 48.8719 s 131.56/131.61 c =============================================================================== 131.56/131.61 c | 6322 | 3875 27397 831473 | 9132 6322 531 | 31.172 % | 133.35/133.49 c =============================================================================== 133.35/133.49 c New solution: 77160 133.35/133.49 o 77160 133.35/133.49 c Elapsed CPU time: 133.003 s Remaining CPU time: 46.9972 s 133.35/133.49 c =============================================================================== 133.35/133.49 c | 6382 | 3875 27398 833489 | 9132 6382 532 | 31.172 % | 133.55/133.69 c =============================================================================== 133.55/133.69 c New solution: 77118 133.55/133.69 o 77118 133.55/133.69 c Elapsed CPU time: 133.206 s Remaining CPU time: 46.7943 s 133.55/133.69 c =============================================================================== 133.55/133.69 c | 6386 | 3875 27399 835505 | 9133 6386 532 | 31.172 % | 134.16/134.26 c =============================================================================== 134.16/134.26 c New solution: 75696 134.16/134.26 o 75696 134.16/134.26 c Elapsed CPU time: 133.773 s Remaining CPU time: 46.2273 s 134.16/134.26 c =============================================================================== 134.16/134.26 c | 6394 | 3875 27400 837521 | 9133 6394 532 | 31.172 % | 134.55/134.61 c =============================================================================== 134.55/134.61 c New solution: 75601 134.55/134.61 o 75601 134.55/134.61 c Elapsed CPU time: 134.119 s Remaining CPU time: 45.8814 s 134.55/134.61 c =============================================================================== 134.55/134.61 c | 6399 | 3875 27401 839537 | 9133 6399 532 | 31.172 % | 134.85/134.90 c =============================================================================== 134.85/134.90 c New solution: 75575 134.85/134.90 o 75575 134.85/134.90 c Elapsed CPU time: 134.413 s Remaining CPU time: 45.5874 s 134.85/134.90 c =============================================================================== 134.85/134.90 c | 6400 | 3875 27402 841553 | 9134 6400 532 | 31.172 % | 135.05/135.18 c =============================================================================== 135.05/135.18 c New solution: 75573 135.05/135.18 o 75573 135.05/135.18 c Elapsed CPU time: 134.692 s Remaining CPU time: 45.3085 s 135.05/135.18 c =============================================================================== 135.05/135.18 c | 6400 | 3875 27403 843569 | 9134 6400 532 | 31.172 % | 135.35/135.48 c =============================================================================== 135.35/135.48 c New solution: 75572 135.35/135.48 o 75572 135.35/135.48 c Elapsed CPU time: 134.99 s Remaining CPU time: 45.0095 s 135.35/135.48 c =============================================================================== 135.35/135.48 c | 6401 | 3875 27404 845585 | 9134 6401 532 | 31.172 % | 135.65/135.73 c =============================================================================== 135.65/135.73 c New solution: 75565 135.65/135.73 o 75565 135.65/135.73 c Elapsed CPU time: 135.232 s Remaining CPU time: 44.7676 s 135.65/135.73 c =============================================================================== 135.65/135.73 c | 6401 | 3875 27405 847601 | 9135 6401 532 | 31.172 % | 135.85/135.97 c =============================================================================== 135.85/135.97 c New solution: 75564 135.85/135.97 o 75564 135.85/135.97 c Elapsed CPU time: 135.478 s Remaining CPU time: 44.5216 s 135.85/135.97 c =============================================================================== 135.85/135.97 c | 6401 | 3875 27406 849617 | 9135 6401 532 | 31.172 % | 136.15/136.20 c =============================================================================== 136.15/136.20 c New solution: 75563 136.15/136.20 o 75563 136.15/136.20 c Elapsed CPU time: 135.705 s Remaining CPU time: 44.2946 s 136.15/136.20 c =============================================================================== 136.15/136.20 c | 6401 | 3875 27407 851633 | 9135 6401 532 | 31.172 % | 136.36/136.42 c =============================================================================== 136.36/136.42 c New solution: 75562 136.36/136.42 o 75562 136.36/136.42 c Elapsed CPU time: 135.928 s Remaining CPU time: 44.0717 s 136.36/136.42 c =============================================================================== 136.36/136.42 c | 6401 | 3875 27408 853649 | 9136 6401 532 | 31.172 % | 136.75/136.87 c =============================================================================== 136.75/136.87 c New solution: 74050 136.75/136.87 o 74050 136.75/136.87 c Elapsed CPU time: 136.369 s Remaining CPU time: 43.6307 s 136.75/136.87 c =============================================================================== 136.75/136.87 c | 6406 | 3875 27409 855665 | 9136 6406 532 | 31.172 % | 137.05/137.18 c =============================================================================== 137.05/137.18 c New solution: 74015 137.05/137.18 o 74015 137.05/137.18 c Elapsed CPU time: 136.682 s Remaining CPU time: 43.3178 s 137.05/137.18 c =============================================================================== 137.05/137.18 c | 6409 | 3875 27410 857681 | 9136 6409 532 | 31.172 % | 137.65/137.72 c =============================================================================== 137.65/137.72 c New solution: 72520 137.65/137.72 o 72520 137.65/137.72 c Elapsed CPU time: 137.217 s Remaining CPU time: 42.7829 s 137.65/137.72 c =============================================================================== 137.65/137.72 c | 6421 | 3875 27411 859697 | 9137 6421 533 | 31.172 % | 138.85/138.90 c =============================================================================== 138.85/138.90 c New solution: 72499 138.85/138.90 o 72499 138.85/138.90 c Elapsed CPU time: 138.393 s Remaining CPU time: 41.607 s 138.85/138.90 c =============================================================================== 138.85/138.90 c | 6433 | 3875 27412 861713 | 9137 6433 533 | 31.172 % | 139.05/139.16 c =============================================================================== 139.05/139.16 c New solution: 72461 139.05/139.16 o 72461 139.05/139.16 c Elapsed CPU time: 138.654 s Remaining CPU time: 41.3461 s 139.05/139.16 c =============================================================================== 139.05/139.16 c | 6434 | 3875 27413 863729 | 9137 6434 532 | 31.172 % | 139.25/139.34 c =============================================================================== 139.25/139.34 c New solution: 72460 139.25/139.34 o 72460 139.25/139.34 c Elapsed CPU time: 138.832 s Remaining CPU time: 41.1681 s 139.25/139.34 c =============================================================================== 139.25/139.34 c | 6435 | 3875 27414 865745 | 9138 6435 532 | 31.172 % | 142.85/142.97 c | 6536 | 3875 27414 865745 | 10051 6536 534 | 31.172 % | 143.35/143.45 c =============================================================================== 143.35/143.45 c New solution: 72458 143.35/143.45 o 72458 143.35/143.45 c Elapsed CPU time: 142.939 s Remaining CPU time: 37.0607 s 143.35/143.45 c =============================================================================== 143.35/143.45 c | 6536 | 3875 27415 867761 | 9138 6536 534 | 31.172 % | 143.75/143.89 c =============================================================================== 143.75/143.89 c New solution: 72457 143.75/143.89 o 72457 143.75/143.89 c Elapsed CPU time: 143.375 s Remaining CPU time: 36.6248 s 143.75/143.89 c =============================================================================== 143.75/143.89 c | 6538 | 3875 27416 869777 | 9138 6538 534 | 31.172 % | 145.24/145.39 c | 6639 | 3875 27416 869777 | 10052 6639 536 | 31.172 % | 145.75/145.87 c =============================================================================== 145.75/145.87 c New solution: 72456 145.75/145.87 o 72456 145.75/145.87 c Elapsed CPU time: 145.346 s Remaining CPU time: 34.6541 s 145.75/145.87 c =============================================================================== 145.75/145.87 c | 6642 | 3875 27417 871793 | 9139 6642 536 | 31.172 % | 146.16/146.23 c =============================================================================== 146.16/146.23 c New solution: 72455 146.16/146.23 o 72455 146.16/146.23 c Elapsed CPU time: 145.711 s Remaining CPU time: 34.2892 s 146.16/146.23 c =============================================================================== 146.16/146.23 c | 6644 | 3875 27418 873809 | 9139 6644 536 | 31.172 % | 146.45/146.57 c =============================================================================== 146.45/146.57 c New solution: 72454 146.45/146.57 o 72454 146.45/146.57 c Elapsed CPU time: 146.048 s Remaining CPU time: 33.9522 s 146.45/146.57 c =============================================================================== 146.45/146.57 c | 6653 | 3875 27419 875825 | 9139 6653 536 | 31.172 % | 146.95/147.00 c =============================================================================== 146.95/147.00 c New solution: 72450 146.95/147.00 o 72450 146.95/147.00 c Elapsed CPU time: 146.479 s Remaining CPU time: 33.5213 s 146.95/147.00 c =============================================================================== 146.95/147.00 c | 6653 | 3875 27420 877841 | 9140 6653 536 | 31.172 % | 147.45/147.57 c =============================================================================== 147.45/147.57 c New solution: 72449 147.45/147.57 o 72449 147.45/147.57 c Elapsed CPU time: 147.042 s Remaining CPU time: 32.9584 s 147.45/147.57 c =============================================================================== 147.45/147.57 c | 6659 | 3875 27421 879857 | 9140 6659 536 | 31.172 % | 148.05/148.13 c =============================================================================== 148.05/148.13 c New solution: 72448 148.05/148.13 o 72448 148.05/148.13 c Elapsed CPU time: 147.605 s Remaining CPU time: 32.3954 s 148.05/148.13 c =============================================================================== 148.05/148.13 c | 6661 | 3875 27422 881873 | 9140 6661 536 | 31.172 % | 148.55/148.63 c =============================================================================== 148.55/148.63 c New solution: 72447 148.55/148.63 o 72447 148.55/148.63 c Elapsed CPU time: 148.1 s Remaining CPU time: 31.8995 s 148.55/148.63 c =============================================================================== 148.55/148.63 c | 6666 | 3875 27423 883889 | 9141 6666 536 | 31.172 % | 150.34/150.42 c | 6766 | 3875 27423 883889 | 10055 6766 537 | 31.172 % | 152.86/152.94 c | 6917 | 3875 27423 883889 | 11060 6917 539 | 31.172 % | 153.25/153.33 c =============================================================================== 153.25/153.33 c New solution: 72446 153.25/153.33 o 72446 153.25/153.33 c Elapsed CPU time: 152.801 s Remaining CPU time: 27.1992 s 153.25/153.33 c =============================================================================== 153.25/153.33 c | 6921 | 3875 27424 885905 | 9141 6921 539 | 31.172 % | 154.65/154.77 c =============================================================================== 154.65/154.77 c New solution: 72445 154.65/154.77 o 72445 154.65/154.77 c Elapsed CPU time: 154.24 s Remaining CPU time: 25.7604 s 154.65/154.77 c =============================================================================== 154.65/154.77 c | 6965 | 3875 27425 887921 | 9141 6965 539 | 31.172 % | 154.95/155.09 c =============================================================================== 154.95/155.09 c New solution: 72444 154.95/155.09 o 72444 154.95/155.09 c Elapsed CPU time: 154.55 s Remaining CPU time: 25.4505 s 154.95/155.09 c =============================================================================== 154.95/155.09 c | 6965 | 3875 27426 889937 | 9142 6965 539 | 31.172 % | 155.34/155.43 c =============================================================================== 155.34/155.43 c New solution: 72443 155.34/155.43 o 72443 155.34/155.43 c Elapsed CPU time: 154.89 s Remaining CPU time: 25.1095 s 155.34/155.43 c =============================================================================== 155.34/155.43 c | 6965 | 3875 27427 891953 | 9142 6965 539 | 31.172 % | 155.84/155.92 c =============================================================================== 155.84/155.92 c New solution: 72442 155.84/155.92 o 72442 155.84/155.92 c Elapsed CPU time: 155.38 s Remaining CPU time: 24.6196 s 155.84/155.92 c =============================================================================== 155.84/155.92 c | 6971 | 3875 27428 893969 | 9142 6971 539 | 31.172 % | 156.24/156.31 c =============================================================================== 156.24/156.31 c New solution: 72441 156.24/156.31 o 72441 156.24/156.31 c Elapsed CPU time: 155.766 s Remaining CPU time: 24.2337 s 156.24/156.31 c =============================================================================== 156.24/156.31 c | 6971 | 3875 27429 895985 | 9143 6971 539 | 31.172 % | 156.54/156.68 c =============================================================================== 156.54/156.68 c New solution: 72440 156.54/156.68 o 72440 156.54/156.68 c Elapsed CPU time: 156.141 s Remaining CPU time: 23.8587 s 156.54/156.68 c =============================================================================== 156.54/156.68 c | 6971 | 3875 27430 898001 | 9143 6971 539 | 31.172 % | 156.94/157.06 c =============================================================================== 156.94/157.06 c New solution: 72439 156.94/157.06 o 72439 156.94/157.06 c Elapsed CPU time: 156.524 s Remaining CPU time: 23.4758 s 156.94/157.06 c =============================================================================== 156.94/157.06 c | 6971 | 3875 27431 900017 | 9143 6971 539 | 31.172 % | 157.34/157.43 c =============================================================================== 157.34/157.43 c New solution: 72438 157.34/157.43 o 72438 157.34/157.43 c Elapsed CPU time: 156.894 s Remaining CPU time: 23.1059 s 157.34/157.43 c =============================================================================== 157.34/157.43 c | 6971 | 3875 27432 902033 | 9144 6971 539 | 31.172 % | 157.74/157.81 c =============================================================================== 157.74/157.81 c New solution: 72437 157.74/157.81 o 72437 157.74/157.81 c Elapsed CPU time: 157.268 s Remaining CPU time: 22.7319 s 157.74/157.81 c =============================================================================== 157.74/157.81 c | 6971 | 3875 27433 904049 | 9144 6971 539 | 31.172 % | 158.04/158.17 c =============================================================================== 158.04/158.17 c New solution: 72436 158.04/158.17 o 72436 158.04/158.17 c Elapsed CPU time: 157.631 s Remaining CPU time: 22.369 s 158.04/158.17 c =============================================================================== 158.04/158.17 c | 6971 | 3875 27434 906065 | 9144 6971 539 | 31.172 % | 158.45/158.54 c =============================================================================== 158.45/158.54 c New solution: 72435 158.45/158.54 o 72435 158.45/158.54 c Elapsed CPU time: 157.999 s Remaining CPU time: 22.001 s 158.45/158.54 c =============================================================================== 158.45/158.54 c | 6971 | 3875 27435 908081 | 9145 6971 539 | 31.172 % | 158.85/158.90 c =============================================================================== 158.85/158.90 c New solution: 72434 158.85/158.90 o 72434 158.85/158.90 c Elapsed CPU time: 158.356 s Remaining CPU time: 21.6441 s 158.85/158.90 c =============================================================================== 158.85/158.90 c | 6971 | 3875 27436 910097 | 9145 6971 539 | 31.172 % | 159.85/159.94 c =============================================================================== 159.85/159.94 c New solution: 72433 159.85/159.94 o 72433 159.85/159.94 c Elapsed CPU time: 159.392 s Remaining CPU time: 20.6082 s 159.85/159.94 c =============================================================================== 159.85/159.94 c | 7021 | 3875 27437 912113 | 9145 7021 539 | 31.172 % | 160.55/160.64 c =============================================================================== 160.55/160.64 c New solution: 70988 160.55/160.64 o 70988 160.55/160.64 c Elapsed CPU time: 160.093 s Remaining CPU time: 19.9073 s 160.55/160.64 c =============================================================================== 160.55/160.64 c | 7026 | 3875 27438 914129 | 9146 7026 539 | 31.172 % | 161.04/161.13 c =============================================================================== 161.04/161.13 c New solution: 70911 161.04/161.13 o 70911 161.04/161.13 c Elapsed CPU time: 160.577 s Remaining CPU time: 19.4234 s 161.04/161.13 c =============================================================================== 161.04/161.13 c | 7026 | 3875 27439 916145 | 9146 7026 539 | 31.172 % | 161.65/161.77 c =============================================================================== 161.65/161.77 c New solution: 70910 161.65/161.77 o 70910 161.65/161.77 c Elapsed CPU time: 161.216 s Remaining CPU time: 18.7835 s 161.65/161.77 c =============================================================================== 161.65/161.77 c | 7027 | 3875 27440 918161 | 9146 7027 539 | 31.172 % | 162.14/162.25 c =============================================================================== 162.14/162.25 c New solution: 70909 162.14/162.25 o 70909 162.14/162.25 c Elapsed CPU time: 161.702 s Remaining CPU time: 18.2976 s 162.14/162.25 c =============================================================================== 162.14/162.25 c | 7028 | 3875 27441 920177 | 9147 7028 539 | 31.172 % | 164.55/164.69 c | 7129 | 3875 27441 920177 | 10061 7129 541 | 31.172 % | 165.15/165.22 c =============================================================================== 165.15/165.22 c New solution: 70886 165.15/165.22 o 70886 165.15/165.22 c Elapsed CPU time: 164.662 s Remaining CPU time: 15.338 s 165.15/165.22 c =============================================================================== 165.15/165.22 c | 7130 | 3875 27442 922193 | 9147 7130 541 | 31.172 % | 165.64/165.75 c =============================================================================== 165.64/165.75 c New solution: 70880 165.64/165.75 o 70880 165.64/165.75 c Elapsed CPU time: 165.19 s Remaining CPU time: 14.8101 s 165.64/165.75 c =============================================================================== 165.64/165.75 c | 7133 | 3875 27443 924209 | 9147 7133 541 | 31.172 % | 166.14/166.26 c =============================================================================== 166.14/166.26 c New solution: 70879 166.14/166.26 o 70879 166.14/166.26 c Elapsed CPU time: 165.703 s Remaining CPU time: 14.2972 s 166.14/166.26 c =============================================================================== 166.14/166.26 c | 7134 | 3875 27444 926225 | 9148 7134 541 | 31.172 % | 166.64/166.78 c =============================================================================== 166.64/166.78 c New solution: 70878 166.64/166.78 o 70878 166.64/166.78 c Elapsed CPU time: 166.224 s Remaining CPU time: 13.7763 s 166.64/166.78 c =============================================================================== 166.64/166.78 c | 7135 | 3875 27445 928241 | 9148 7135 541 | 31.172 % | 168.94/169.00 c | 7235 | 3875 27445 928241 | 10063 7235 542 | 31.172 % | 169.44/169.57 c =============================================================================== 169.44/169.57 c New solution: 70877 169.44/169.57 o 70877 169.44/169.57 c Elapsed CPU time: 169.003 s Remaining CPU time: 10.9967 s 169.44/169.57 c =============================================================================== 169.44/169.57 c | 7237 | 3875 27446 930257 | 9148 7237 542 | 31.172 % | 169.94/170.03 c =============================================================================== 169.94/170.03 c New solution: 70876 169.94/170.03 o 70876 169.94/170.03 c Elapsed CPU time: 169.472 s Remaining CPU time: 10.5278 s 169.94/170.03 c =============================================================================== 169.94/170.03 c | 7237 | 3875 27447 932273 | 9149 7237 542 | 31.172 % | 170.35/170.49 c =============================================================================== 170.35/170.49 c New solution: 70875 170.35/170.49 o 70875 170.35/170.49 c Elapsed CPU time: 169.923 s Remaining CPU time: 10.0768 s 170.35/170.49 c =============================================================================== 170.35/170.49 c | 7237 | 3875 27448 934289 | 9149 7237 542 | 31.172 % | 170.84/170.95 c =============================================================================== 170.84/170.95 c New solution: 70874 170.84/170.95 o 70874 170.84/170.95 c Elapsed CPU time: 170.386 s Remaining CPU time: 9.6139 s 170.84/170.95 c =============================================================================== 170.84/170.95 c | 7237 | 3875 27449 936305 | 9149 7237 542 | 31.172 % | 171.24/171.38 c =============================================================================== 171.24/171.38 c New solution: 70873 171.24/171.38 o 70873 171.24/171.38 c Elapsed CPU time: 170.814 s Remaining CPU time: 9.18597 s 171.24/171.38 c =============================================================================== 171.24/171.38 c | 7239 | 3875 27450 938321 | 9150 7239 542 | 31.172 % | 173.44/173.50 c | 7341 | 3875 27450 938321 | 10065 7341 543 | 31.172 % | 173.84/173.91 c =============================================================================== 173.84/173.91 c New solution: 70872 173.84/173.91 o 70872 173.84/173.91 c Elapsed CPU time: 173.346 s Remaining CPU time: 6.65435 s 173.84/173.91 c =============================================================================== 173.84/173.91 c | 7347 | 3875 27451 940337 | 9150 7347 543 | 31.172 % | 174.34/174.40 c =============================================================================== 174.34/174.40 c New solution: 70871 174.34/174.40 o 70871 174.34/174.40 c Elapsed CPU time: 173.832 s Remaining CPU time: 6.16843 s 174.34/174.40 c =============================================================================== 174.34/174.40 c | 7349 | 3875 27452 942353 | 9150 7349 543 | 31.172 % | 176.24/176.31 c | 7450 | 3875 27452 942353 | 10065 7450 544 | 31.172 % | 176.54/176.66 c =============================================================================== 176.54/176.66 c New solution: 70870 176.54/176.66 o 70870 176.54/176.66 c Elapsed CPU time: 176.086 s Remaining CPU time: 3.91377 s 176.54/176.66 c =============================================================================== 176.54/176.66 c | 7457 | 3875 27453 944369 | 9151 7457 544 | 31.172 % | 176.95/177.03 c =============================================================================== 176.95/177.03 c New solution: 70869 176.95/177.03 o 70869 176.95/177.03 c Elapsed CPU time: 176.456 s Remaining CPU time: 3.54383 s 176.95/177.03 c =============================================================================== 176.95/177.03 c | 7466 | 3875 27454 946385 | 9151 7466 544 | 31.172 % | 177.34/177.43 c =============================================================================== 177.34/177.43 c New solution: 70868 177.34/177.43 o 70868 177.34/177.43 c Elapsed CPU time: 176.858 s Remaining CPU time: 3.14189 s 177.34/177.43 c =============================================================================== 177.34/177.43 c | 7467 | 3875 27455 948401 | 9151 7467 544 | 31.172 % | 177.74/177.82 c =============================================================================== 177.74/177.82 c New solution: 70867 177.74/177.82 o 70867 177.74/177.82 c Elapsed CPU time: 177.253 s Remaining CPU time: 2.74695 s 177.74/177.82 c =============================================================================== 177.74/177.82 c | 7467 | 3875 27456 950417 | 9152 7467 544 | 31.172 % | 178.15/178.23 c =============================================================================== 178.15/178.23 c New solution: 70866 178.15/178.23 o 70866 178.15/178.23 c Elapsed CPU time: 177.653 s Remaining CPU time: 2.34701 s 178.15/178.23 c =============================================================================== 178.15/178.23 c | 7469 | 3875 27457 952433 | 9152 7469 544 | 31.172 % | 180.54/180.61 c There are 1755 assigned variables. 302 in cost function. 186.53/186.63 c core #1 186.53/186.63 c core #2 186.53/186.63 c core #3 186.53/186.63 c core #4 186.53/186.63 c core #5 186.53/186.63 c core #6 186.53/186.63 c core #7 186.53/186.63 c core #8 186.53/186.63 c core #9 186.53/186.63 c core #10 186.53/186.63 c core #11 186.53/186.63 c core #12 186.53/186.63 c core #13 186.53/186.63 c core #14 186.53/186.63 c core #15 186.53/186.63 c core #16 186.53/186.63 c core #17 186.53/186.63 c core #18 186.53/186.63 c core #19 186.53/186.63 c core #20 186.53/186.63 c core #21 186.53/186.63 c core #22 186.53/186.63 c core #23 186.53/186.63 c core #24 186.53/186.63 c core #25 186.53/186.63 c core #26 186.53/186.63 c core #27 186.53/186.63 c core #28 186.53/186.63 c core #29 186.53/186.63 c core #30 186.53/186.63 c core #31 186.53/186.63 c core #32 186.53/186.63 c core #33 186.53/186.63 c core #34 186.53/186.63 c core #35 186.53/186.63 c core #36 186.53/186.63 c core #37 186.53/186.63 c core #38 186.53/186.63 c core #39 186.53/186.63 c core #40 186.53/186.63 c core #41 186.53/186.63 c core #42 186.53/186.63 c core #43 186.53/186.63 c core #44 186.53/186.63 c core #45 186.53/186.63 c core #46 186.53/186.63 c core #47 186.53/186.63 c core #48 186.53/186.63 c core #49 186.53/186.63 c core #50 186.53/186.63 c core #51 186.53/186.63 c core #52 186.53/186.63 c core #53 186.53/186.63 c core #54 186.53/186.63 c core #55 186.53/186.63 c core #56 186.53/186.63 c core #57 186.53/186.63 c core #58 186.53/186.63 c core #59 186.53/186.63 c core #60 186.53/186.63 c core #61 186.53/186.63 c core #62 186.53/186.63 c core #63 186.53/186.63 c core #64 186.53/186.63 c core #65 186.53/186.63 c core #66 186.53/186.63 c core #67 186.53/186.63 c core #68 186.53/186.63 c core #69 186.53/186.63 c core #70 186.53/186.63 c core #71 186.53/186.63 c core #72 186.53/186.63 c core #73 186.53/186.63 c core #74 186.53/186.63 c core #75 186.53/186.63 c core #76 186.53/186.63 c core #77 186.53/186.63 c core #78 186.53/186.63 c core #79 186.53/186.63 c core #80 186.53/186.63 c core #81 186.53/186.63 c core #82 186.53/186.63 c core #83 186.53/186.63 c core #84 186.53/186.63 c ============================[ Search Statistics ]============================== 186.53/186.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.53/186.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.53/186.63 c =============================================================================== 186.53/186.63 c | 0 | 885 18997 13175 | 6332 0 nan | 0.000 % | 186.53/186.63 c =============================================================================== 186.95/187.06 c core #85 186.95/187.06 c core #86 186.95/187.06 c core #87 186.95/187.06 c core #88 186.95/187.06 c core #89 186.95/187.06 c core #90 186.95/187.06 c ============================[ Search Statistics ]============================== 186.95/187.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.95/187.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.95/187.06 c =============================================================================== 186.95/187.06 c | 0 | 951 19036 14244 | 6345 0 nan | 0.000 % | 186.95/187.07 c =============================================================================== 186.95/187.09 c #cores: 90 186.95/187.09 c Final Weight: 4927 186.95/187.09 o 4927 186.95/187.09 s OPTIMUM FOUND 186.95/187.09 v -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 x4092 -x4093 x4094 x4095 x4096 x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 x4109 x4110 -x4111 -x4112 -x4113 -x4114 -x4115 x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 x4189 x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 x4211 x4212 x4213 -x4214 -x4215 -x4216 -x4217 x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 x4304 -x4305 -x4306 x4307 x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 x4320 x4321 -x4322 -x4323 -x4324 x4325 -x4326 -x4327 x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 x4339 -x4340 -x4341 -x4342 -x4343 -x4344 x4345 -x4346 x4347 -x4348 -x4349 -x4350 -x4351 -x4352 x4353 -x4354 x4355 x4356 x4357 -x4358 -x4359 -x4360 x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 x4380 x4381 x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 x4416 x4417 x4418 x4419 x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4454 x4455 -x4456 -x4457 -x4458 -x4459 x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 x4467 x4468 x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 x4497 -x4498 -x4499 x4500 x4501 x4502 x4503 -x4504 -x4505 -x4506 -x4507 x4508 -x4509 x4510 x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 x4527 x4528 -x4529 -x4530 x4531 -x4532 -x4533 -x4534 -x4535 -x4536 x4537 -x4538 -x4539 x4540 x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 x4548 -x4549 x4550 -x4551 -x4552 -x4553 x4554 -x4555 x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 x4574 -x4575 x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 x4583 -x4584 -x4585 -x4586 x4587 x4588 -x4589 -x4590 -x4591 -x4592 x4593 -x4594 x4595 -x4596 -x4597 -x4598 x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 x4614 -x4615 -x4616 -x4617 -x4618 -x4619 x4620 x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 x4632 -x4633 -x4634 x4635 x4636 x4637 x4638 x4639 -x4640 x4641 -x4642 x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 x4674 x4675 -x4676 -x4677 -x4678 x4679 -x4680 -x4681 -x4682 -x4683 -x4684 x4685 -x4686 x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 x4701 x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 x4717 -x4718 x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 x4732 -x4733 x4734 -x4735 -x4736 x4737 -x4738 -x4739 x4740 -x4741 x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 x4758 -x4759 -x4760 x4761 -x4762 -x4763 x4764 x4765 -x4766 -x4767 x4768 -x4769 x4770 x4771 x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 x4782 -x4783 -x4784 -x4785 -x4786 x4787 x4788 -x4789 -x4790 x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 x4838 -x4839 x4840 -x4841 x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 x4849 x4850 -x4851 -x4852 -x4853 -x4854 x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 x4862 -x4863 -x4864 x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 x4872 x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 x4901 x4902 x4903 x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 x4911 -x4912 x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 x4924 -x4925 -x4926 -x4927 -x4928 x4929 x4930 x4931 x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 x4970 -x4971 x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 x4982 x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 x4990 x4991 x4992 -x4993 -x4994 -x4995 x4996 -x4997 x4998 x4999 x5000 x5001 x5002 x5003 x5004 x5005 x5006 x5007 x5008 x5009 x5010 x5011 x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 x5058 x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 x5097 -x5098 -x5099 -x5100 x5101 x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 x5131 -x5132 -x5133 -x5134 x5135 x5136 x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 x5146 x5147 -x5148 x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 x5161 -x5162 x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 x5171 x5172 x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 x5182 x5183 -x5184 -x5185 -x5186 -x5187 x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 x5198 x5199 -x5200 x5201 x5202 -x5203 -x5204 -x5205 x5206 x5207 -x5208 -x5209 -x5210 x5211 x5212 -x5213 x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 x5233 x5234 -x5235 -x5236 x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 x5247 -x5248 x5249 -x5250 x5251 -x5252 -x5253 -x5254 -x5255 -x5256 x5257 x5258 x5259 -x5260 -x5261 -x5262 x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 x5272 -x5273 -x5274 -x5275 x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 x5369 x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 x5416 x5417 x5418 -x5419 -x5420 -x5421 x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 x5451 -x5452 -x5453 x5454 x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 x5463 -x5464 -x5465 x5466 x5467 -x5468 -x5469 x5470 x5471 -x5472 -x5473 -x5474 -x5475 x5476 x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 x5498 -x5499 x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 x5529 -x5530 -x5531 -x5532 x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -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 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 -x2059 -x2058 -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 186.95/187.09 c Total CPU time: 186.318 s
OK 4927
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683239-1277508417/watcher-2683239-1277508417 -o /tmp/evaluation-result-2683239-1277508417/solver-2683239-1277508417 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683239-1277508417.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.24 1.10 1.02 3/106 25734 /proc/meminfo: memFree=1831668/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=3676 CPUtime=0 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 370 0 0 0 0 0 0 0 18 0 1 0 126443176 3764224 288 1992294400 134512640 135751879 4292746480 18446744073709551615 134559725 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 919 289 144 303 0 415 0 [startup+0.0782809 s] /proc/loadavg: 1.24 1.10 1.02 3/106 25734 /proc/meminfo: memFree=1831668/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=4824 CPUtime=0.07 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 753 0 0 0 7 0 0 0 20 0 1 0 126443176 4939776 671 1992294400 134512640 135751879 4292746480 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 1206 671 260 303 0 702 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4824 [startup+0.101284 s] /proc/loadavg: 1.24 1.10 1.02 3/106 25734 /proc/meminfo: memFree=1831668/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=5312 CPUtime=0.1 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 897 0 0 0 10 0 0 0 20 0 1 0 126443176 5439488 815 1992294400 134512640 135751879 4292746480 18446744073709551615 134559730 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 1328 815 298 303 0 824 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5312 [startup+0.30131 s] /proc/loadavg: 1.24 1.10 1.02 3/106 25734 /proc/meminfo: memFree=1831668/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=6668 CPUtime=0.29 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 1477 0 0 0 29 0 0 0 20 0 1 0 126443176 6828032 1196 1992294400 134512640 135751879 4292746480 18446744073709551615 134584675 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 1667 1196 146 303 0 1362 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6668 [startup+0.701362 s] /proc/loadavg: 1.24 1.10 1.02 3/106 25734 /proc/meminfo: memFree=1831668/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=6800 CPUtime=0.69 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 1527 0 0 0 69 0 0 0 20 0 1 0 126443176 6963200 1246 1992294400 134512640 135751879 4292746480 18446744073709551615 134580040 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 1700 1246 146 303 0 1395 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6800 [startup+1.50147 s] /proc/loadavg: 1.22 1.10 1.02 2/107 25735 /proc/meminfo: memFree=1827072/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=7196 CPUtime=1.49 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 1614 0 0 0 149 0 0 0 23 0 1 0 126443176 7368704 1333 1992294400 134512640 135751879 4292746480 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 1799 1333 146 303 0 1494 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7196 [startup+3.10168 s] /proc/loadavg: 1.22 1.10 1.02 2/107 25735 /proc/meminfo: memFree=1824468/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=9572 CPUtime=3.09 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 2229 0 0 0 301 8 0 0 25 0 1 0 126443176 9801728 1948 1992294400 134512640 135751879 4292746480 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 2393 1948 146 303 0 2088 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9572 [startup+6.3011 s] /proc/loadavg: 1.22 1.10 1.02 2/107 25737 /proc/meminfo: memFree=1824220/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=10224 CPUtime=6.29 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 2391 0 0 0 617 12 0 0 25 0 1 0 126443176 10469376 2110 1992294400 134512640 135751879 4292746480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 2556 2110 147 303 0 2251 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10224 [startup+12.7019 s] /proc/loadavg: 1.18 1.09 1.02 2/107 25737 /proc/meminfo: memFree=1820500/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=13652 CPUtime=12.69 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 3231 0 0 0 1253 16 0 0 25 0 1 0 126443176 13979648 2950 1992294400 134512640 135751879 4292746480 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 3413 2950 147 303 0 3108 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13652 [startup+25.5006 s] /proc/loadavg: 1.16 1.09 1.02 2/107 25737 /proc/meminfo: memFree=1815416/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=18380 CPUtime=25.48 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 4440 0 0 0 2526 22 0 0 25 0 1 0 126443176 18821120 4159 1992294400 134512640 135751879 4292746480 18446744073709551615 134598886 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 4595 4159 147 303 0 4290 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18380 [startup+51.101 s] /proc/loadavg: 1.10 1.08 1.01 2/107 25737 /proc/meminfo: memFree=1807852/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=25964 CPUtime=51.07 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 6317 0 0 0 5079 28 0 0 25 0 1 0 126443176 26587136 6036 1992294400 134512640 135751879 4292746480 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 6491 6036 147 303 0 6186 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 25964 [startup+102.309 s] /proc/loadavg: 1.04 1.07 1.01 2/107 25739 /proc/meminfo: memFree=1796940/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=36768 CPUtime=102.27 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 8997 0 0 0 10188 39 0 0 25 0 1 0 126443176 37650432 8716 1992294400 134512640 135751879 4292746480 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 9192 8716 147 303 0 8887 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 36768 [startup+162.301 s] /proc/loadavg: 1.01 1.05 1.00 2/107 25741 /proc/meminfo: memFree=1788508/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=45028 CPUtime=162.24 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 11075 0 0 0 16174 50 0 0 25 0 1 0 126443176 46108672 10794 1992294400 134512640 135751879 4292746480 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 11257 10794 147 303 0 10952 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 45028 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.01 1.05 1.00 2/107 25741 /proc/meminfo: memFree=1787888/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=45416 CPUtime=166.24 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 11179 0 0 0 16573 51 0 0 25 0 1 0 126443176 46505984 10898 1992294400 134512640 135751879 4292746480 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 11354 10898 147 303 0 11049 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 45416 [startup+179.101 s] /proc/loadavg: 1.01 1.05 1.00 2/107 25741 /proc/meminfo: memFree=1786524/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=46976 CPUtime=179.04 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 11552 0 0 0 17852 52 0 0 25 0 1 0 126443176 48103424 11271 1992294400 134512640 135751879 4292746480 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 11744 11271 147 303 0 11439 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 46976 [startup+182.301 s] /proc/loadavg: 1.01 1.05 1.00 2/107 25741 /proc/meminfo: memFree=1778836/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=90000 CPUtime=182.24 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 22451 0 0 0 18168 56 0 0 25 0 1 0 126443176 92160000 22044 1992294400 134512640 135751879 4292746480 18446744073709551615 134639800 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 22500 22044 150 303 0 22195 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 90000 [startup+185.501 s] /proc/loadavg: 1.01 1.05 1.00 2/107 25741 /proc/meminfo: memFree=1642312/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=221768 CPUtime=185.44 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 55392 0 0 0 18477 67 0 0 25 0 1 0 126443176 227090432 54985 1992294400 134512640 135751879 4292746480 18446744073709551615 134639817 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 55442 54985 150 303 0 55137 0 Current children cumulated CPU time (s) 185.44 Current children cumulated vsize (KiB) 221768 [startup+186.301 s] /proc/loadavg: 1.01 1.05 1.00 2/107 25741 /proc/meminfo: memFree=1596928/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=257040 CPUtime=186.24 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 64210 0 0 0 18554 70 0 0 25 0 1 0 126443176 263208960 63803 1992294400 134512640 135751879 4292746480 18446744073709551615 134517489 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 64260 63803 150 303 0 63955 0 Current children cumulated CPU time (s) 186.24 Current children cumulated vsize (KiB) 257040 [startup+186.701 s] /proc/loadavg: 1.01 1.05 1.00 2/107 25741 /proc/meminfo: memFree=1596928/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=274884 CPUtime=186.64 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202496 68675 0 0 0 18593 71 0 0 25 0 1 0 126443176 281481216 68268 1992294400 134512640 135751879 4292746480 18446744073709551615 135202521 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25734/statm: 68721 68268 151 303 0 68416 0 Current children cumulated CPU time (s) 186.64 Current children cumulated vsize (KiB) 274884 [startup+187.101 s] /proc/loadavg: 1.01 1.05 1.00 2/107 25741 /proc/meminfo: memFree=1550552/2059040 swapFree=4139488/4192956 [pid=25734] ppid=25732 vsize=0 CPUtime=187.03 /proc/25734/stat : 25734 (wbo1.4b) R 25732 25734 25432 0 -1 4202500 72435 0 0 0 18631 72 0 0 25 0 1 0 126443176 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/25734/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 187.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 187.128 CPU time (s): 187.073 CPU user time (s): 186.318 CPU system time (s): 0.754885 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 287096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 186.318 system time used= 0.754885 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72435 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= 126 involuntary context switches= 487 runsolver used 0.291955 second user time and 0.958854 second system time The end
Begin job on node013 at 2010-06-26 01:26:57 IDJOB=2683239 IDBENCH=72097 IDSOLVER=1161 FILE ID=node013/2683239-1277508417 PBS_JOBID= 11190624 Free space on /tmp= 62404 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand3c03fd.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-2683239-1277508417/watcher-2683239-1277508417 -o /tmp/evaluation-result-2683239-1277508417/solver-2683239-1277508417 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683239-1277508417.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 57471a5ce832e5ebd253498616527363 RANDOM SEED=1912849353 node013.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.253 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.253 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1832804 kB Buffers: 35568 kB Cached: 91956 kB SwapCached: 5728 kB Active: 48032 kB Inactive: 92832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1832804 kB SwapTotal: 4192956 kB SwapFree: 4139488 kB Dirty: 3692 kB Writeback: 0 kB AnonPages: 12308 kB Mapped: 11856 kB Slab: 63372 kB PageTables: 4220 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182436 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-2683239-1277508417.opb Free space on /tmp at the end= 62400 MiB End job on node013 at 2010-06-26 01:30:04