Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 3511 | 181.712 | 181.772 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randfd04d4.cudf.paranoid.opb |
MD5SUM | 96ae353809ccf018b1066e79a85baf24 |
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 | 3511 |
Best CPU time to get the best result obtained on this benchmark | 2.6006 |
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 | 5875 |
Total number of constraints | 26163 |
Number of constraints which are clauses | 25883 |
Number of constraints which are cardinality constraints (but not clauses) | 280 |
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 | 2183 |
Biggest coefficient in the objective function | 1634 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 901966 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1634 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 901966 |
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-2683369-1277509170.opb. 0.00/0.00 c Instance file HOME/instance-2683369-1277509170.opb 0.00/0.00 c File size is 832179 bytes. 0.09/0.12 c Highest Coefficient sum: 553 0.09/0.12 c ============================[ Problem Statistics ]============================= 0.09/0.12 c | | 0.09/0.12 c | Parsing time: 0.12 s | 0.09/0.12 c | Number Variables: 5875 | 0.09/0.12 c | Number Clauses: 25883 | 0.09/0.12 c | Number Cardinality: 280 | 0.09/0.12 c | Number PB Constraints: 0 | 2.69/2.76 c ============================[ Search Statistics ]============================== 2.69/2.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.76 c =============================================================================== 2.69/2.76 c | 0 | 4030 27658 53807 | 8721 0 nan | 0.000 % | 2.69/2.78 c =============================================================================== 2.69/2.78 c New solution: 559513 2.69/2.78 o 559513 2.69/2.78 c Elapsed CPU time: 2.75558 s Remaining CPU time: 177.244 s 2.69/2.78 c =============================================================================== 2.69/2.78 c | 15 | 4030 27659 55890 | 9219 15 5 | 0.000 % | 2.69/2.79 c =============================================================================== 2.69/2.79 c New solution: 526782 2.69/2.79 o 526782 2.69/2.79 c Elapsed CPU time: 2.76458 s Remaining CPU time: 177.235 s 2.69/2.79 c =============================================================================== 2.69/2.79 c | 21 | 4030 27660 57973 | 9220 21 5 | 0.000 % | 2.79/2.80 c =============================================================================== 2.79/2.80 c New solution: 451584 2.79/2.80 o 451584 2.79/2.80 c Elapsed CPU time: 2.77358 s Remaining CPU time: 177.226 s 2.79/2.80 c =============================================================================== 2.79/2.80 c | 24 | 4030 27661 60056 | 9220 24 5 | 0.000 % | 2.79/2.81 c =============================================================================== 2.79/2.81 c New solution: 397673 2.79/2.81 o 397673 2.79/2.81 c Elapsed CPU time: 2.78458 s Remaining CPU time: 177.215 s 2.79/2.81 c =============================================================================== 2.79/2.81 c | 30 | 4030 27662 62139 | 9220 30 5 | 0.000 % | 2.79/2.82 c =============================================================================== 2.79/2.82 c New solution: 328991 2.79/2.82 o 328991 2.79/2.82 c Elapsed CPU time: 2.79358 s Remaining CPU time: 177.206 s 2.79/2.82 c =============================================================================== 2.79/2.82 c | 38 | 4030 27663 64222 | 9221 38 5 | 0.000 % | 2.79/2.83 c =============================================================================== 2.79/2.83 c New solution: 299573 2.79/2.83 o 299573 2.79/2.83 c Elapsed CPU time: 2.80457 s Remaining CPU time: 177.195 s 2.79/2.83 c =============================================================================== 2.79/2.83 c | 41 | 4030 27664 66305 | 9221 41 5 | 0.000 % | 2.79/2.85 c =============================================================================== 2.79/2.85 c New solution: 299572 2.79/2.85 o 299572 2.79/2.85 c Elapsed CPU time: 2.81457 s Remaining CPU time: 177.185 s 2.79/2.85 c =============================================================================== 2.79/2.85 c | 42 | 4030 27665 68388 | 9221 42 21 | 0.000 % | 2.79/2.88 c =============================================================================== 2.79/2.88 c New solution: 119911 2.79/2.88 o 119911 2.79/2.88 c Elapsed CPU time: 2.84757 s Remaining CPU time: 177.152 s 2.79/2.88 c =============================================================================== 2.79/2.88 c | 93 | 4030 27666 70471 | 9222 93 12 | 0.000 % | 2.89/2.90 c =============================================================================== 2.89/2.90 c New solution: 119904 2.89/2.90 o 119904 2.89/2.90 c Elapsed CPU time: 2.86057 s Remaining CPU time: 177.139 s 2.89/2.90 c =============================================================================== 2.89/2.90 c | 97 | 4030 27667 72554 | 9222 97 12 | 0.000 % | 2.89/2.92 c =============================================================================== 2.89/2.92 c New solution: 119863 2.89/2.92 o 119863 2.89/2.92 c Elapsed CPU time: 2.87456 s Remaining CPU time: 177.125 s 2.89/2.92 c =============================================================================== 2.89/2.92 c | 98 | 4030 27668 74637 | 9222 98 12 | 0.000 % | 2.89/2.96 c =============================================================================== 2.89/2.96 c New solution: 119862 2.89/2.96 o 119862 2.89/2.96 c Elapsed CPU time: 2.90956 s Remaining CPU time: 177.09 s 2.89/2.96 c =============================================================================== 2.89/2.96 c | 125 | 4030 27669 76720 | 9223 125 24 | 0.000 % | 2.89/2.98 c =============================================================================== 2.89/2.98 c New solution: 119861 2.89/2.98 o 119861 2.89/2.98 c Elapsed CPU time: 2.92855 s Remaining CPU time: 177.071 s 2.89/2.98 c =============================================================================== 2.89/2.98 c | 133 | 4030 27670 78803 | 9223 133 28 | 0.000 % | 2.99/3.05 c =============================================================================== 2.99/3.05 c New solution: 118284 2.99/3.05 o 118284 2.99/3.05 c Elapsed CPU time: 2.99055 s Remaining CPU time: 177.009 s 2.99/3.05 c =============================================================================== 2.99/3.05 c | 163 | 4030 27671 80886 | 9223 163 26 | 0.000 % | 2.99/3.08 c =============================================================================== 2.99/3.08 c New solution: 118259 2.99/3.08 o 118259 2.99/3.08 c Elapsed CPU time: 3.01454 s Remaining CPU time: 176.985 s 2.99/3.08 c =============================================================================== 2.99/3.08 c | 170 | 4030 27672 82969 | 9224 170 25 | 0.000 % | 2.99/3.09 c =============================================================================== 2.99/3.09 c New solution: 118258 2.99/3.09 o 118258 2.99/3.09 c Elapsed CPU time: 3.02854 s Remaining CPU time: 176.971 s 2.99/3.09 c =============================================================================== 2.99/3.09 c | 176 | 4030 27673 85052 | 9224 176 25 | 0.000 % | 3.09/3.11 c =============================================================================== 3.09/3.11 c New solution: 118257 3.09/3.11 o 118257 3.09/3.11 c Elapsed CPU time: 3.04454 s Remaining CPU time: 176.955 s 3.09/3.11 c =============================================================================== 3.09/3.11 c | 180 | 4030 27674 87135 | 9224 180 31 | 0.000 % | 3.09/3.13 c =============================================================================== 3.09/3.13 c New solution: 116678 3.09/3.13 o 116678 3.09/3.13 c Elapsed CPU time: 3.06853 s Remaining CPU time: 176.931 s 3.09/3.13 c =============================================================================== 3.09/3.13 c | 197 | 4030 27675 89218 | 9225 197 29 | 0.000 % | 3.09/3.16 c =============================================================================== 3.09/3.16 c New solution: 116617 3.09/3.16 o 116617 3.09/3.16 c Elapsed CPU time: 3.09653 s Remaining CPU time: 176.903 s 3.09/3.16 c =============================================================================== 3.09/3.16 c | 202 | 4030 27676 91301 | 9225 202 31 | 0.000 % | 3.09/3.19 c =============================================================================== 3.09/3.19 c New solution: 115060 3.09/3.19 o 115060 3.09/3.19 c Elapsed CPU time: 3.11553 s Remaining CPU time: 176.884 s 3.09/3.19 c =============================================================================== 3.09/3.19 c | 209 | 4030 27677 93384 | 9225 209 33 | 0.000 % | 3.20/3.24 c =============================================================================== 3.20/3.24 c New solution: 114990 3.20/3.24 o 114990 3.20/3.24 c Elapsed CPU time: 3.17152 s Remaining CPU time: 176.828 s 3.20/3.24 c =============================================================================== 3.20/3.24 c | 215 | 4030 27678 95467 | 9226 215 39 | 0.000 % | 3.20/3.27 c =============================================================================== 3.20/3.27 c New solution: 114989 3.20/3.27 o 114989 3.20/3.27 c Elapsed CPU time: 3.19851 s Remaining CPU time: 176.801 s 3.20/3.27 c =============================================================================== 3.20/3.27 c | 223 | 4030 27679 97550 | 9226 223 38 | 0.000 % | 3.20/3.29 c =============================================================================== 3.20/3.29 c New solution: 114987 3.20/3.29 o 114987 3.20/3.29 c Elapsed CPU time: 3.21451 s Remaining CPU time: 176.785 s 3.20/3.29 c =============================================================================== 3.20/3.29 c | 223 | 4030 27680 99633 | 9226 223 38 | 0.000 % | 3.30/3.31 c =============================================================================== 3.30/3.31 c New solution: 114984 3.30/3.31 o 114984 3.30/3.31 c Elapsed CPU time: 3.23351 s Remaining CPU time: 176.766 s 3.30/3.31 c =============================================================================== 3.30/3.31 c | 223 | 4030 27681 101716 | 9227 223 38 | 0.000 % | 3.30/3.33 c =============================================================================== 3.30/3.33 c New solution: 114980 3.30/3.33 o 114980 3.30/3.33 c Elapsed CPU time: 3.24951 s Remaining CPU time: 176.75 s 3.30/3.33 c =============================================================================== 3.30/3.33 c | 223 | 4030 27682 103799 | 9227 223 38 | 0.000 % | 3.30/3.34 c =============================================================================== 3.30/3.34 c New solution: 114979 3.30/3.34 o 114979 3.30/3.34 c Elapsed CPU time: 3.2675 s Remaining CPU time: 176.732 s 3.30/3.34 c =============================================================================== 3.30/3.34 c | 223 | 4030 27683 105882 | 9227 223 38 | 0.000 % | 3.30/3.36 c =============================================================================== 3.30/3.36 c New solution: 114975 3.30/3.36 o 114975 3.30/3.36 c Elapsed CPU time: 3.2845 s Remaining CPU time: 176.715 s 3.30/3.36 c =============================================================================== 3.30/3.36 c | 223 | 4030 27684 107965 | 9228 223 38 | 0.000 % | 3.30/3.38 c =============================================================================== 3.30/3.38 c New solution: 114974 3.30/3.38 o 114974 3.30/3.38 c Elapsed CPU time: 3.3025 s Remaining CPU time: 176.698 s 3.30/3.38 c =============================================================================== 3.30/3.38 c | 224 | 4030 27685 110048 | 9228 224 41 | 0.000 % | 3.39/3.41 c =============================================================================== 3.39/3.41 c New solution: 113441 3.39/3.41 o 113441 3.39/3.41 c Elapsed CPU time: 3.33249 s Remaining CPU time: 176.668 s 3.39/3.41 c =============================================================================== 3.39/3.41 c | 237 | 4030 27686 112131 | 9228 237 39 | 0.000 % | 3.39/3.43 c =============================================================================== 3.39/3.43 c New solution: 113440 3.39/3.43 o 113440 3.39/3.43 c Elapsed CPU time: 3.35149 s Remaining CPU time: 176.649 s 3.39/3.43 c =============================================================================== 3.39/3.43 c | 239 | 4030 27687 114214 | 9229 239 38 | 0.000 % | 3.39/3.45 c =============================================================================== 3.39/3.45 c New solution: 113438 3.39/3.45 o 113438 3.39/3.45 c Elapsed CPU time: 3.36849 s Remaining CPU time: 176.632 s 3.39/3.45 c =============================================================================== 3.39/3.45 c | 240 | 4030 27688 116297 | 9229 240 41 | 0.000 % | 3.49/3.54 c =============================================================================== 3.49/3.54 c New solution: 113387 3.49/3.54 o 113387 3.49/3.54 c Elapsed CPU time: 3.45347 s Remaining CPU time: 176.547 s 3.49/3.54 c =============================================================================== 3.49/3.54 c | 259 | 4030 27689 118380 | 9229 259 48 | 0.000 % | 3.59/3.60 c =============================================================================== 3.59/3.60 c New solution: 113361 3.59/3.60 o 113361 3.59/3.60 c Elapsed CPU time: 3.51747 s Remaining CPU time: 176.483 s 3.59/3.60 c =============================================================================== 3.59/3.60 c | 261 | 4030 27690 120463 | 9230 261 49 | 0.000 % | 3.59/3.67 c =============================================================================== 3.59/3.67 c New solution: 113354 3.59/3.67 o 113354 3.59/3.67 c Elapsed CPU time: 3.58446 s Remaining CPU time: 176.416 s 3.59/3.67 c =============================================================================== 3.59/3.67 c | 263 | 4030 27691 122546 | 9230 263 49 | 0.000 % | 3.69/3.71 c =============================================================================== 3.69/3.71 c New solution: 111787 3.69/3.71 o 111787 3.69/3.71 c Elapsed CPU time: 3.62245 s Remaining CPU time: 176.378 s 3.69/3.71 c =============================================================================== 3.69/3.71 c | 273 | 4030 27692 124629 | 9230 273 50 | 0.000 % | 3.69/3.77 c =============================================================================== 3.69/3.77 c New solution: 111723 3.69/3.77 o 111723 3.69/3.77 c Elapsed CPU time: 3.68244 s Remaining CPU time: 176.318 s 3.69/3.77 c =============================================================================== 3.69/3.77 c | 274 | 4030 27693 126712 | 9231 274 51 | 0.000 % | 3.79/3.80 c =============================================================================== 3.79/3.80 c New solution: 110178 3.79/3.80 o 110178 3.79/3.80 c Elapsed CPU time: 3.71344 s Remaining CPU time: 176.287 s 3.79/3.80 c =============================================================================== 3.79/3.80 c | 281 | 4030 27694 128795 | 9231 281 50 | 0.000 % | 3.79/3.83 c =============================================================================== 3.79/3.83 c New solution: 110177 3.79/3.83 o 110177 3.79/3.83 c Elapsed CPU time: 3.73543 s Remaining CPU time: 176.265 s 3.79/3.83 c =============================================================================== 3.79/3.83 c | 285 | 4030 27695 130878 | 9231 285 57 | 0.000 % | 3.89/3.95 c =============================================================================== 3.89/3.95 c New solution: 110106 3.89/3.95 o 110106 3.89/3.95 c Elapsed CPU time: 3.85141 s Remaining CPU time: 176.149 s 3.89/3.95 c =============================================================================== 3.89/3.95 c | 296 | 4030 27696 132961 | 9232 296 61 | 0.000 % | 4.09/4.10 c =============================================================================== 4.09/4.10 c New solution: 110094 4.09/4.10 o 110094 4.09/4.10 c Elapsed CPU time: 3.99839 s Remaining CPU time: 176.002 s 4.09/4.10 c =============================================================================== 4.09/4.10 c | 315 | 4030 27697 135044 | 9232 315 73 | 0.000 % | 4.09/4.12 c =============================================================================== 4.09/4.12 c New solution: 110081 4.09/4.12 o 110081 4.09/4.12 c Elapsed CPU time: 4.02339 s Remaining CPU time: 175.977 s 4.09/4.12 c =============================================================================== 4.09/4.12 c | 317 | 4030 27698 137127 | 9232 317 76 | 0.000 % | 4.09/4.15 c =============================================================================== 4.09/4.15 c New solution: 108537 4.09/4.15 o 108537 4.09/4.15 c Elapsed CPU time: 4.04538 s Remaining CPU time: 175.955 s 4.09/4.15 c =============================================================================== 4.09/4.15 c | 318 | 4030 27699 139210 | 9233 318 76 | 0.000 % | 4.09/4.17 c =============================================================================== 4.09/4.17 c New solution: 108473 4.09/4.17 o 108473 4.09/4.17 c Elapsed CPU time: 4.06938 s Remaining CPU time: 175.931 s 4.09/4.17 c =============================================================================== 4.09/4.17 c | 318 | 4030 27700 141293 | 9233 318 76 | 0.000 % | 4.19/4.20 c =============================================================================== 4.19/4.20 c New solution: 108472 4.19/4.20 o 108472 4.19/4.20 c Elapsed CPU time: 4.09538 s Remaining CPU time: 175.905 s 4.19/4.20 c =============================================================================== 4.19/4.20 c | 319 | 4030 27701 143376 | 9233 319 77 | 0.000 % | 4.19/4.24 c =============================================================================== 4.19/4.24 c New solution: 108471 4.19/4.24 o 108471 4.19/4.24 c Elapsed CPU time: 4.13837 s Remaining CPU time: 175.862 s 4.19/4.24 c =============================================================================== 4.19/4.24 c | 321 | 4030 27702 145459 | 9234 321 77 | 0.000 % | 4.29/4.39 c | 421 | 4030 27702 145459 | 10157 421 201 | 31.404 % | 4.49/4.50 c =============================================================================== 4.49/4.50 c New solution: 108470 4.49/4.50 o 108470 4.49/4.50 c Elapsed CPU time: 4.39133 s Remaining CPU time: 175.609 s 4.49/4.50 c =============================================================================== 4.49/4.50 c | 438 | 4030 27703 147542 | 9234 438 209 | 31.404 % | 4.49/4.57 c =============================================================================== 4.49/4.57 c New solution: 108457 4.49/4.57 o 108457 4.49/4.57 c Elapsed CPU time: 4.46332 s Remaining CPU time: 175.537 s 4.49/4.57 c =============================================================================== 4.49/4.57 c | 441 | 4030 27704 149625 | 9234 441 210 | 31.404 % | 4.59/4.67 c =============================================================================== 4.59/4.67 c New solution: 106877 4.59/4.67 o 106877 4.59/4.67 c Elapsed CPU time: 4.56531 s Remaining CPU time: 175.435 s 4.59/4.67 c =============================================================================== 4.59/4.67 c | 454 | 4030 27705 151708 | 9235 454 216 | 31.404 % | 4.69/4.75 c =============================================================================== 4.69/4.75 c New solution: 106845 4.69/4.75 o 106845 4.69/4.75 c Elapsed CPU time: 4.64229 s Remaining CPU time: 175.358 s 4.69/4.75 c =============================================================================== 4.69/4.75 c | 455 | 4030 27706 153791 | 9235 455 217 | 31.404 % | 4.69/4.79 c =============================================================================== 4.69/4.79 c New solution: 106844 4.69/4.79 o 106844 4.69/4.79 c Elapsed CPU time: 4.68229 s Remaining CPU time: 175.318 s 4.69/4.79 c =============================================================================== 4.69/4.79 c | 460 | 4030 27707 155874 | 9235 460 221 | 31.404 % | 4.79/4.86 c =============================================================================== 4.79/4.86 c New solution: 106843 4.79/4.86 o 106843 4.79/4.86 c Elapsed CPU time: 4.75128 s Remaining CPU time: 175.249 s 4.79/4.86 c =============================================================================== 4.79/4.86 c | 489 | 4030 27708 157957 | 9236 489 240 | 31.404 % | 4.99/5.04 c | 590 | 4030 27708 157957 | 10159 590 310 | 31.404 % | 4.99/5.08 c =============================================================================== 4.99/5.08 c New solution: 106842 4.99/5.08 o 106842 4.99/5.08 c Elapsed CPU time: 4.96824 s Remaining CPU time: 175.032 s 4.99/5.08 c =============================================================================== 4.99/5.08 c | 594 | 4030 27709 160040 | 9236 594 310 | 31.404 % | 5.09/5.17 c =============================================================================== 5.09/5.17 c New solution: 106831 5.09/5.17 o 106831 5.09/5.17 c Elapsed CPU time: 5.05723 s Remaining CPU time: 174.943 s 5.09/5.17 c =============================================================================== 5.09/5.17 c | 595 | 4030 27710 162123 | 9236 595 309 | 31.404 % | 5.19/5.26 c =============================================================================== 5.19/5.26 c New solution: 106826 5.19/5.26 o 106826 5.19/5.26 c Elapsed CPU time: 5.14522 s Remaining CPU time: 174.855 s 5.19/5.26 c =============================================================================== 5.19/5.26 c | 595 | 4030 27711 164206 | 9237 595 309 | 31.404 % | 5.29/5.35 c =============================================================================== 5.29/5.35 c New solution: 106825 5.29/5.35 o 106825 5.29/5.35 c Elapsed CPU time: 5.2352 s Remaining CPU time: 174.765 s 5.29/5.35 c =============================================================================== 5.29/5.35 c | 596 | 4030 27712 166289 | 9237 596 309 | 31.404 % | 5.40/5.44 c =============================================================================== 5.40/5.44 c New solution: 106824 5.40/5.44 o 106824 5.40/5.44 c Elapsed CPU time: 5.32419 s Remaining CPU time: 174.676 s 5.40/5.44 c =============================================================================== 5.40/5.44 c | 596 | 4030 27713 168372 | 9237 596 309 | 31.404 % | 5.50/5.53 c =============================================================================== 5.50/5.53 c New solution: 106823 5.50/5.53 o 106823 5.50/5.53 c Elapsed CPU time: 5.41418 s Remaining CPU time: 174.586 s 5.50/5.53 c =============================================================================== 5.50/5.53 c | 596 | 4030 27714 170455 | 9238 596 309 | 31.404 % | 5.59/5.63 c =============================================================================== 5.59/5.63 c New solution: 106822 5.59/5.63 o 106822 5.59/5.63 c Elapsed CPU time: 5.50616 s Remaining CPU time: 174.494 s 5.59/5.63 c =============================================================================== 5.59/5.63 c | 596 | 4030 27715 172538 | 9238 596 309 | 31.404 % | 5.69/5.72 c =============================================================================== 5.69/5.72 c New solution: 106821 5.69/5.72 o 106821 5.69/5.72 c Elapsed CPU time: 5.59715 s Remaining CPU time: 174.403 s 5.69/5.72 c =============================================================================== 5.69/5.72 c | 596 | 4030 27716 174621 | 9238 596 309 | 31.404 % | 5.79/5.81 c =============================================================================== 5.79/5.81 c New solution: 106820 5.79/5.81 o 106820 5.79/5.81 c Elapsed CPU time: 5.69113 s Remaining CPU time: 174.309 s 5.79/5.81 c =============================================================================== 5.79/5.81 c | 596 | 4030 27717 176704 | 9239 596 309 | 31.404 % | 5.89/5.91 c =============================================================================== 5.89/5.91 c New solution: 106819 5.89/5.91 o 106819 5.89/5.91 c Elapsed CPU time: 5.78612 s Remaining CPU time: 174.214 s 5.89/5.91 c =============================================================================== 5.89/5.91 c | 596 | 4030 27718 178787 | 9239 596 309 | 31.404 % | 5.99/6.00 c =============================================================================== 5.99/6.00 c New solution: 106818 5.99/6.00 o 106818 5.99/6.00 c Elapsed CPU time: 5.8811 s Remaining CPU time: 174.119 s 5.99/6.00 c =============================================================================== 5.99/6.00 c | 596 | 4030 27719 180870 | 9239 596 309 | 31.404 % | 6.09/6.10 c =============================================================================== 6.09/6.10 c New solution: 106817 6.09/6.10 o 106817 6.09/6.10 c Elapsed CPU time: 5.97709 s Remaining CPU time: 174.023 s 6.09/6.10 c =============================================================================== 6.09/6.10 c | 596 | 4030 27720 182953 | 9240 596 309 | 31.404 % | 6.19/6.20 c =============================================================================== 6.19/6.20 c New solution: 106816 6.19/6.20 o 106816 6.19/6.20 c Elapsed CPU time: 6.07408 s Remaining CPU time: 173.926 s 6.19/6.20 c =============================================================================== 6.19/6.20 c | 597 | 4030 27721 185036 | 9240 597 309 | 31.404 % | 6.19/6.25 c =============================================================================== 6.19/6.25 c New solution: 105230 6.19/6.25 o 105230 6.19/6.25 c Elapsed CPU time: 6.12007 s Remaining CPU time: 173.88 s 6.19/6.25 c =============================================================================== 6.19/6.25 c | 599 | 4030 27722 187119 | 9240 599 309 | 31.404 % | 6.29/6.30 c =============================================================================== 6.29/6.30 c New solution: 105229 6.29/6.30 o 105229 6.29/6.30 c Elapsed CPU time: 6.17306 s Remaining CPU time: 173.827 s 6.29/6.30 c =============================================================================== 6.29/6.30 c | 602 | 4030 27723 189202 | 9241 602 310 | 31.404 % | 6.29/6.35 c =============================================================================== 6.29/6.35 c New solution: 105227 6.29/6.35 o 105227 6.29/6.35 c Elapsed CPU time: 6.22605 s Remaining CPU time: 173.774 s 6.29/6.35 c =============================================================================== 6.29/6.35 c | 603 | 4030 27724 191285 | 9241 603 311 | 31.404 % | 6.39/6.41 c =============================================================================== 6.39/6.41 c New solution: 105221 6.39/6.41 o 105221 6.39/6.41 c Elapsed CPU time: 6.27505 s Remaining CPU time: 173.725 s 6.39/6.41 c =============================================================================== 6.39/6.41 c | 604 | 4030 27725 193368 | 9241 604 311 | 31.404 % | 6.39/6.45 c =============================================================================== 6.39/6.45 c New solution: 105220 6.39/6.45 o 105220 6.39/6.45 c Elapsed CPU time: 6.32404 s Remaining CPU time: 173.676 s 6.39/6.45 c =============================================================================== 6.39/6.45 c | 605 | 4030 27726 195451 | 9242 605 311 | 31.404 % | 6.50/6.51 c =============================================================================== 6.50/6.51 c New solution: 105216 6.50/6.51 o 105216 6.50/6.51 c Elapsed CPU time: 6.37503 s Remaining CPU time: 173.625 s 6.50/6.51 c =============================================================================== 6.50/6.51 c | 606 | 4030 27727 197534 | 9242 606 311 | 31.404 % | 6.50/6.56 c =============================================================================== 6.50/6.56 c New solution: 105212 6.50/6.56 o 105212 6.50/6.56 c Elapsed CPU time: 6.42002 s Remaining CPU time: 173.58 s 6.50/6.56 c =============================================================================== 6.50/6.56 c | 606 | 4030 27728 199617 | 9242 606 311 | 31.404 % | 6.59/6.63 c =============================================================================== 6.59/6.63 c New solution: 105211 6.59/6.63 o 105211 6.59/6.63 c Elapsed CPU time: 6.49701 s Remaining CPU time: 173.503 s 6.59/6.63 c =============================================================================== 6.59/6.63 c | 616 | 4030 27729 201700 | 9243 616 313 | 31.404 % | 6.69/6.70 c =============================================================================== 6.69/6.70 c New solution: 105210 6.69/6.70 o 105210 6.69/6.70 c Elapsed CPU time: 6.566 s Remaining CPU time: 173.434 s 6.69/6.70 c =============================================================================== 6.69/6.70 c | 617 | 4030 27730 203783 | 9243 617 314 | 31.404 % | 6.79/6.83 c =============================================================================== 6.79/6.83 c New solution: 103604 6.79/6.83 o 103604 6.79/6.83 c Elapsed CPU time: 6.69398 s Remaining CPU time: 173.306 s 6.79/6.83 c =============================================================================== 6.79/6.83 c | 631 | 4030 27731 205866 | 9243 631 320 | 31.404 % | 6.89/6.91 c =============================================================================== 6.89/6.91 c New solution: 103597 6.89/6.91 o 103597 6.89/6.91 c Elapsed CPU time: 6.76697 s Remaining CPU time: 173.233 s 6.89/6.91 c =============================================================================== 6.89/6.91 c | 637 | 4030 27732 207949 | 9244 637 321 | 31.404 % | 6.99/7.03 c =============================================================================== 6.99/7.03 c New solution: 103596 6.99/7.03 o 103596 6.99/7.03 c Elapsed CPU time: 6.89095 s Remaining CPU time: 173.109 s 6.99/7.03 c =============================================================================== 6.99/7.03 c | 675 | 4030 27733 210032 | 9244 675 339 | 31.404 % | 7.09/7.15 c =============================================================================== 7.09/7.15 c New solution: 103542 7.09/7.15 o 103542 7.09/7.15 c Elapsed CPU time: 7.00993 s Remaining CPU time: 172.99 s 7.09/7.15 c =============================================================================== 7.09/7.15 c | 677 | 4030 27734 212115 | 9244 677 340 | 31.404 % | 7.19/7.21 c =============================================================================== 7.19/7.21 c New solution: 101964 7.19/7.21 o 101964 7.19/7.21 c Elapsed CPU time: 7.06193 s Remaining CPU time: 172.938 s 7.19/7.21 c =============================================================================== 7.19/7.21 c | 678 | 4030 27735 214198 | 9245 678 339 | 31.404 % | 7.19/7.26 c =============================================================================== 7.19/7.26 c New solution: 101963 7.19/7.26 o 101963 7.19/7.26 c Elapsed CPU time: 7.11392 s Remaining CPU time: 172.886 s 7.19/7.26 c =============================================================================== 7.19/7.26 c | 679 | 4030 27736 216281 | 9245 679 340 | 31.404 % | 7.29/7.30 c =============================================================================== 7.29/7.30 c New solution: 101957 7.29/7.30 o 101957 7.29/7.30 c Elapsed CPU time: 7.14991 s Remaining CPU time: 172.85 s 7.29/7.30 c =============================================================================== 7.29/7.30 c | 680 | 4030 27737 218364 | 9245 680 340 | 31.404 % | 7.39/7.42 c =============================================================================== 7.39/7.42 c New solution: 101944 7.39/7.42 o 101944 7.39/7.42 c Elapsed CPU time: 7.27389 s Remaining CPU time: 172.726 s 7.39/7.42 c =============================================================================== 7.39/7.42 c | 688 | 4030 27738 220447 | 9246 688 338 | 31.404 % | 7.49/7.56 c =============================================================================== 7.49/7.56 c New solution: 101929 7.49/7.56 o 101929 7.49/7.56 c Elapsed CPU time: 7.41387 s Remaining CPU time: 172.586 s 7.49/7.56 c =============================================================================== 7.49/7.56 c | 691 | 4030 27739 222530 | 9246 691 338 | 31.404 % | 7.99/8.01 c | 791 | 4030 27739 222530 | 10170 791 378 | 31.404 % | 8.09/8.12 c =============================================================================== 8.09/8.12 c New solution: 100355 8.09/8.12 o 100355 8.09/8.12 c Elapsed CPU time: 7.97079 s Remaining CPU time: 172.029 s 8.09/8.12 c =============================================================================== 8.09/8.12 c | 802 | 4030 27740 224613 | 9246 802 381 | 31.404 % | 8.19/8.27 c =============================================================================== 8.19/8.27 c New solution: 100351 8.19/8.27 o 100351 8.19/8.27 c Elapsed CPU time: 8.12176 s Remaining CPU time: 171.878 s 8.19/8.27 c =============================================================================== 8.19/8.27 c | 806 | 4030 27741 226696 | 9247 806 381 | 31.404 % | 8.49/8.54 c | 907 | 4030 27741 226696 | 10171 907 398 | 31.404 % | 8.80/8.83 c =============================================================================== 8.80/8.83 c New solution: 98742 8.80/8.83 o 98742 8.80/8.83 c Elapsed CPU time: 8.67868 s Remaining CPU time: 171.321 s 8.80/8.83 c =============================================================================== 8.80/8.83 c | 922 | 4030 27742 228779 | 9247 922 396 | 31.404 % | 8.89/8.99 c =============================================================================== 8.89/8.99 c New solution: 98676 8.89/8.99 o 98676 8.89/8.99 c Elapsed CPU time: 8.83366 s Remaining CPU time: 171.166 s 8.89/8.99 c =============================================================================== 8.89/8.99 c | 929 | 4030 27743 230862 | 9247 929 397 | 31.404 % | 9.09/9.10 c =============================================================================== 9.09/9.10 c New solution: 97079 9.09/9.10 o 97079 9.09/9.10 c Elapsed CPU time: 8.94464 s Remaining CPU time: 171.055 s 9.09/9.10 c =============================================================================== 9.09/9.10 c | 935 | 4030 27744 232945 | 9248 935 395 | 31.404 % | 9.09/9.15 c =============================================================================== 9.09/9.15 c New solution: 95477 9.09/9.15 o 95477 9.09/9.15 c Elapsed CPU time: 8.98763 s Remaining CPU time: 171.012 s 9.09/9.15 c =============================================================================== 9.09/9.15 c | 939 | 4030 27745 235028 | 9248 939 394 | 31.404 % | 9.28/9.37 c =============================================================================== 9.28/9.37 c New solution: 95378 9.28/9.37 o 95378 9.28/9.37 c Elapsed CPU time: 9.2156 s Remaining CPU time: 170.784 s 9.28/9.37 c =============================================================================== 9.28/9.37 c | 949 | 4030 27746 237111 | 9248 949 395 | 31.404 % | 9.39/9.41 c =============================================================================== 9.39/9.41 c New solution: 93833 9.39/9.41 o 93833 9.39/9.41 c Elapsed CPU time: 9.24659 s Remaining CPU time: 170.753 s 9.39/9.41 c =============================================================================== 9.39/9.41 c | 950 | 4030 27747 239194 | 9249 950 394 | 31.404 % | 9.39/9.44 c =============================================================================== 9.39/9.44 c New solution: 93830 9.39/9.44 o 93830 9.39/9.44 c Elapsed CPU time: 9.27459 s Remaining CPU time: 170.725 s 9.39/9.44 c =============================================================================== 9.39/9.44 c | 951 | 4030 27748 241277 | 9249 951 395 | 31.404 % | 9.39/9.47 c =============================================================================== 9.39/9.47 c New solution: 92225 9.39/9.47 o 92225 9.39/9.47 c Elapsed CPU time: 9.30559 s Remaining CPU time: 170.694 s 9.39/9.47 c =============================================================================== 9.39/9.47 c | 953 | 4030 27749 243360 | 9249 953 394 | 31.404 % | 9.49/9.50 c =============================================================================== 9.49/9.50 c New solution: 90614 9.49/9.50 o 90614 9.49/9.50 c Elapsed CPU time: 9.33858 s Remaining CPU time: 170.661 s 9.49/9.50 c =============================================================================== 9.49/9.50 c | 955 | 4030 27750 245443 | 9250 955 393 | 31.404 % | 9.49/9.53 c =============================================================================== 9.49/9.53 c New solution: 90592 9.49/9.53 o 90592 9.49/9.53 c Elapsed CPU time: 9.36857 s Remaining CPU time: 170.631 s 9.49/9.53 c =============================================================================== 9.49/9.53 c | 955 | 4030 27751 247526 | 9250 955 393 | 31.404 % | 9.49/9.58 c =============================================================================== 9.49/9.58 c New solution: 90591 9.49/9.58 o 90591 9.49/9.58 c Elapsed CPU time: 9.41057 s Remaining CPU time: 170.589 s 9.49/9.58 c =============================================================================== 9.49/9.58 c | 956 | 4030 27752 249609 | 9250 956 393 | 31.404 % | 9.59/9.62 c =============================================================================== 9.59/9.62 c New solution: 90574 9.59/9.62 o 90574 9.59/9.62 c Elapsed CPU time: 9.45756 s Remaining CPU time: 170.542 s 9.59/9.62 c =============================================================================== 9.59/9.62 c | 956 | 4030 27753 251692 | 9251 956 393 | 31.404 % | 9.59/9.65 c =============================================================================== 9.59/9.65 c New solution: 85667 9.59/9.65 o 85667 9.59/9.65 c Elapsed CPU time: 9.48656 s Remaining CPU time: 170.513 s 9.59/9.65 c =============================================================================== 9.59/9.65 c | 956 | 4030 27754 253775 | 9251 956 393 | 31.404 % | 9.68/9.72 c =============================================================================== 9.68/9.72 c New solution: 85666 9.68/9.72 o 85666 9.68/9.72 c Elapsed CPU time: 9.55255 s Remaining CPU time: 170.447 s 9.68/9.72 c =============================================================================== 9.68/9.72 c | 959 | 4030 27755 255858 | 9251 959 394 | 31.404 % | 9.80/9.86 c =============================================================================== 9.80/9.86 c New solution: 85595 9.80/9.86 o 85595 9.80/9.86 c Elapsed CPU time: 9.69453 s Remaining CPU time: 170.305 s 9.80/9.86 c =============================================================================== 9.80/9.86 c | 959 | 4030 27756 257941 | 9252 959 394 | 31.404 % | 10.29/10.34 c =============================================================================== 10.29/10.34 c New solution: 85591 10.29/10.34 o 85591 10.29/10.34 c Elapsed CPU time: 10.1695 s Remaining CPU time: 169.831 s 10.29/10.34 c =============================================================================== 10.29/10.34 c | 983 | 4030 27757 260024 | 9252 983 398 | 31.404 % | 11.00/11.00 c =============================================================================== 11.00/11.00 c New solution: 84005 11.00/11.00 o 84005 11.00/11.00 c Elapsed CPU time: 10.8304 s Remaining CPU time: 169.17 s 11.00/11.00 c =============================================================================== 11.00/11.00 c | 1033 | 4030 27758 262107 | 9252 1033 408 | 31.404 % | 11.19/11.26 c =============================================================================== 11.19/11.26 c New solution: 83954 11.19/11.26 o 83954 11.19/11.26 c Elapsed CPU time: 11.0843 s Remaining CPU time: 168.916 s 11.19/11.26 c =============================================================================== 11.19/11.26 c | 1112 | 4030 27759 264190 | 9253 1112 415 | 31.404 % | 11.39/11.47 c =============================================================================== 11.39/11.47 c New solution: 83939 11.39/11.47 o 83939 11.39/11.47 c Elapsed CPU time: 11.2933 s Remaining CPU time: 168.707 s 11.39/11.47 c =============================================================================== 11.39/11.47 c | 1117 | 4030 27760 266273 | 9253 1117 416 | 31.404 % | 11.48/11.57 c =============================================================================== 11.48/11.57 c New solution: 82382 11.48/11.57 o 82382 11.48/11.57 c Elapsed CPU time: 11.3963 s Remaining CPU time: 168.604 s 11.48/11.57 c =============================================================================== 11.48/11.57 c | 1119 | 4030 27761 268356 | 9253 1119 416 | 31.404 % | 11.68/11.78 c =============================================================================== 11.68/11.78 c New solution: 82369 11.68/11.78 o 82369 11.68/11.78 c Elapsed CPU time: 11.5972 s Remaining CPU time: 168.403 s 11.68/11.78 c =============================================================================== 11.68/11.78 c | 1123 | 4030 27762 270439 | 9254 1123 416 | 31.404 % | 12.29/12.30 c =============================================================================== 12.29/12.30 c New solution: 82366 12.29/12.30 o 82366 12.29/12.30 c Elapsed CPU time: 12.1152 s Remaining CPU time: 167.885 s 12.29/12.30 c =============================================================================== 12.29/12.30 c | 1166 | 4030 27763 272522 | 9254 1166 424 | 31.404 % | 12.39/12.43 c =============================================================================== 12.39/12.43 c New solution: 82325 12.39/12.43 o 82325 12.39/12.43 c Elapsed CPU time: 12.2521 s Remaining CPU time: 167.748 s 12.39/12.43 c =============================================================================== 12.39/12.43 c | 1168 | 4030 27764 274605 | 9254 1168 423 | 31.404 % | 12.49/12.57 c =============================================================================== 12.49/12.57 c New solution: 82324 12.49/12.57 o 82324 12.49/12.57 c Elapsed CPU time: 12.3891 s Remaining CPU time: 167.611 s 12.49/12.57 c =============================================================================== 12.49/12.57 c | 1168 | 4030 27765 276688 | 9255 1168 423 | 31.404 % | 12.69/12.71 c =============================================================================== 12.69/12.71 c New solution: 82323 12.69/12.71 o 82323 12.69/12.71 c Elapsed CPU time: 12.5301 s Remaining CPU time: 167.47 s 12.69/12.71 c =============================================================================== 12.69/12.71 c | 1169 | 4030 27766 278771 | 9255 1169 423 | 31.404 % | 13.39/13.45 c | 1269 | 4030 27766 278771 | 10180 1269 438 | 31.404 % | 13.69/13.75 c =============================================================================== 13.69/13.75 c New solution: 82322 13.69/13.75 o 82322 13.69/13.75 c Elapsed CPU time: 13.5679 s Remaining CPU time: 166.432 s 13.69/13.75 c =============================================================================== 13.69/13.75 c | 1288 | 4030 27767 280854 | 9255 1288 441 | 31.404 % | 13.99/14.01 c =============================================================================== 13.99/14.01 c New solution: 80736 13.99/14.01 o 80736 13.99/14.01 c Elapsed CPU time: 13.8279 s Remaining CPU time: 166.172 s 13.99/14.01 c =============================================================================== 13.99/14.01 c | 1304 | 4030 27768 282937 | 9256 1304 442 | 31.404 % | 14.09/14.18 c =============================================================================== 14.09/14.18 c New solution: 80723 14.09/14.18 o 80723 14.09/14.18 c Elapsed CPU time: 13.9899 s Remaining CPU time: 166.01 s 14.09/14.18 c =============================================================================== 14.09/14.18 c | 1324 | 4030 27769 285020 | 9256 1324 443 | 31.404 % | 14.19/14.26 c =============================================================================== 14.19/14.26 c New solution: 80722 14.19/14.26 o 80722 14.19/14.26 c Elapsed CPU time: 14.0739 s Remaining CPU time: 165.926 s 14.19/14.26 c =============================================================================== 14.19/14.26 c | 1325 | 4030 27770 287103 | 9256 1325 444 | 31.404 % | 14.29/14.37 c =============================================================================== 14.29/14.37 c New solution: 80721 14.29/14.37 o 80721 14.29/14.37 c Elapsed CPU time: 14.1808 s Remaining CPU time: 165.819 s 14.29/14.37 c =============================================================================== 14.29/14.37 c | 1328 | 4030 27771 289186 | 9257 1328 444 | 31.404 % | 14.38/14.45 c =============================================================================== 14.38/14.45 c New solution: 80691 14.38/14.45 o 80691 14.38/14.45 c Elapsed CPU time: 14.2618 s Remaining CPU time: 165.738 s 14.38/14.45 c =============================================================================== 14.38/14.45 c | 1330 | 4030 27772 291269 | 9257 1330 444 | 31.404 % | 14.48/14.54 c =============================================================================== 14.48/14.54 c New solution: 79114 14.48/14.54 o 79114 14.48/14.54 c Elapsed CPU time: 14.3548 s Remaining CPU time: 165.645 s 14.48/14.54 c =============================================================================== 14.48/14.54 c | 1332 | 4030 27773 293352 | 9257 1332 444 | 31.404 % | 14.58/14.68 c =============================================================================== 14.58/14.68 c New solution: 79044 14.58/14.68 o 79044 14.58/14.68 c Elapsed CPU time: 14.4888 s Remaining CPU time: 165.511 s 14.58/14.68 c =============================================================================== 14.58/14.68 c | 1333 | 4030 27774 295435 | 9258 1333 444 | 31.404 % | 14.79/14.81 c =============================================================================== 14.79/14.81 c New solution: 79042 14.79/14.81 o 79042 14.79/14.81 c Elapsed CPU time: 14.6178 s Remaining CPU time: 165.382 s 14.79/14.81 c =============================================================================== 14.79/14.81 c | 1334 | 4030 27775 297518 | 9258 1334 444 | 31.404 % | 14.89/14.90 c =============================================================================== 14.89/14.90 c New solution: 77463 14.89/14.90 o 77463 14.89/14.90 c Elapsed CPU time: 14.7048 s Remaining CPU time: 165.295 s 14.89/14.90 c =============================================================================== 14.89/14.90 c | 1334 | 4030 27776 299601 | 9258 1334 444 | 31.404 % | 14.99/15.01 c =============================================================================== 14.99/15.01 c New solution: 77462 14.99/15.01 o 77462 14.99/15.01 c Elapsed CPU time: 14.8137 s Remaining CPU time: 165.186 s 14.99/15.01 c =============================================================================== 14.99/15.01 c | 1337 | 4030 27777 301684 | 9259 1337 444 | 31.404 % | 14.99/15.09 c =============================================================================== 14.99/15.09 c New solution: 77443 14.99/15.09 o 77443 14.99/15.09 c Elapsed CPU time: 14.8957 s Remaining CPU time: 165.104 s 14.99/15.09 c =============================================================================== 14.99/15.09 c | 1339 | 4030 27778 303767 | 9259 1339 444 | 31.404 % | 15.09/15.19 c =============================================================================== 15.09/15.19 c New solution: 77403 15.09/15.19 o 77403 15.09/15.19 c Elapsed CPU time: 14.9997 s Remaining CPU time: 165 s 15.09/15.19 c =============================================================================== 15.09/15.19 c | 1341 | 4030 27779 305850 | 9259 1341 444 | 31.404 % | 15.19/15.28 c =============================================================================== 15.19/15.28 c New solution: 75814 15.19/15.28 o 75814 15.19/15.28 c Elapsed CPU time: 15.0847 s Remaining CPU time: 164.915 s 15.19/15.28 c =============================================================================== 15.19/15.28 c | 1344 | 4030 27780 307933 | 9260 1344 444 | 31.404 % | 15.29/15.40 c =============================================================================== 15.29/15.40 c New solution: 75790 15.29/15.40 o 75790 15.29/15.40 c Elapsed CPU time: 15.2087 s Remaining CPU time: 164.791 s 15.29/15.40 c =============================================================================== 15.29/15.40 c | 1346 | 4030 27781 310016 | 9260 1346 444 | 31.404 % | 15.79/15.87 c =============================================================================== 15.79/15.87 c New solution: 75789 15.79/15.87 o 75789 15.79/15.87 c Elapsed CPU time: 15.6756 s Remaining CPU time: 164.324 s 15.79/15.87 c =============================================================================== 15.79/15.87 c | 1400 | 4030 27782 312099 | 9260 1400 452 | 31.404 % | 16.59/16.69 c | 1500 | 4030 27782 312099 | 10186 1500 463 | 31.404 % | 16.88/16.92 c =============================================================================== 16.88/16.92 c New solution: 75779 16.88/16.92 o 75779 16.88/16.92 c Elapsed CPU time: 16.7175 s Remaining CPU time: 163.283 s 16.88/16.92 c =============================================================================== 16.88/16.92 c | 1505 | 4030 27783 314182 | 9261 1505 463 | 31.404 % | 17.38/17.41 c | 1606 | 4030 27783 314182 | 10187 1606 473 | 31.404 % | 17.49/17.60 c =============================================================================== 17.49/17.60 c New solution: 75778 17.49/17.60 o 75778 17.49/17.60 c Elapsed CPU time: 17.4014 s Remaining CPU time: 162.599 s 17.49/17.60 c =============================================================================== 17.49/17.60 c | 1609 | 4030 27784 316265 | 9261 1609 474 | 31.404 % | 17.78/17.86 c =============================================================================== 17.78/17.86 c New solution: 75777 17.78/17.86 o 75777 17.78/17.86 c Elapsed CPU time: 17.6593 s Remaining CPU time: 162.341 s 17.78/17.86 c =============================================================================== 17.78/17.86 c | 1634 | 4030 27785 318348 | 9261 1634 476 | 31.404 % | 17.99/18.02 c =============================================================================== 17.99/18.02 c New solution: 75776 17.99/18.02 o 75776 17.99/18.02 c Elapsed CPU time: 17.8173 s Remaining CPU time: 162.183 s 17.99/18.02 c =============================================================================== 17.99/18.02 c | 1642 | 4030 27786 320431 | 9262 1642 476 | 31.404 % | 18.09/18.15 c =============================================================================== 18.09/18.15 c New solution: 75775 18.09/18.15 o 75775 18.09/18.15 c Elapsed CPU time: 17.9493 s Remaining CPU time: 162.051 s 18.09/18.15 c =============================================================================== 18.09/18.15 c | 1645 | 4030 27787 322514 | 9262 1645 476 | 31.404 % | 18.29/18.30 c =============================================================================== 18.29/18.30 c New solution: 75774 18.29/18.30 o 75774 18.29/18.30 c Elapsed CPU time: 18.0952 s Remaining CPU time: 161.905 s 18.29/18.30 c =============================================================================== 18.29/18.30 c | 1655 | 4030 27788 324597 | 9262 1655 476 | 31.404 % | 18.39/18.42 c =============================================================================== 18.39/18.42 c New solution: 75773 18.39/18.42 o 75773 18.39/18.42 c Elapsed CPU time: 18.2192 s Remaining CPU time: 161.781 s 18.39/18.42 c =============================================================================== 18.39/18.42 c | 1667 | 4030 27789 326680 | 9263 1667 477 | 31.404 % | 19.29/19.34 c =============================================================================== 19.29/19.34 c New solution: 74195 19.29/19.34 o 74195 19.29/19.34 c Elapsed CPU time: 19.1311 s Remaining CPU time: 160.869 s 19.29/19.34 c =============================================================================== 19.29/19.34 c | 1740 | 4030 27790 328763 | 9263 1740 483 | 31.404 % | 19.48/19.54 c =============================================================================== 19.48/19.54 c New solution: 74135 19.48/19.54 o 74135 19.48/19.54 c Elapsed CPU time: 19.3281 s Remaining CPU time: 160.672 s 19.48/19.54 c =============================================================================== 19.48/19.54 c | 1741 | 4030 27791 330846 | 9263 1741 483 | 31.404 % | 19.69/19.73 c =============================================================================== 19.69/19.73 c New solution: 74134 19.69/19.73 o 74134 19.69/19.73 c Elapsed CPU time: 19.524 s Remaining CPU time: 160.476 s 19.69/19.73 c =============================================================================== 19.69/19.73 c | 1743 | 4030 27792 332929 | 9264 1743 483 | 31.404 % | 20.38/20.46 c | 1843 | 4030 27792 332929 | 10190 1843 490 | 31.404 % | 20.89/20.96 c =============================================================================== 20.89/20.96 c New solution: 74133 20.89/20.96 o 74133 20.89/20.96 c Elapsed CPU time: 20.7468 s Remaining CPU time: 159.253 s 20.89/20.96 c =============================================================================== 20.89/20.96 c | 1957 | 4030 27793 335012 | 9264 1957 489 | 31.404 % | 21.28/21.33 c =============================================================================== 21.28/21.33 c New solution: 74132 21.28/21.33 o 74132 21.28/21.33 c Elapsed CPU time: 21.1208 s Remaining CPU time: 158.879 s 21.28/21.33 c =============================================================================== 21.28/21.33 c | 1964 | 4030 27794 337095 | 9264 1964 489 | 31.404 % | 21.38/21.49 c =============================================================================== 21.38/21.49 c New solution: 72549 21.38/21.49 o 72549 21.38/21.49 c Elapsed CPU time: 21.2808 s Remaining CPU time: 158.719 s 21.38/21.49 c =============================================================================== 21.38/21.49 c | 1976 | 4030 27795 339178 | 9265 1976 489 | 31.404 % | 21.58/21.70 c =============================================================================== 21.58/21.70 c New solution: 72514 21.58/21.70 o 72514 21.58/21.70 c Elapsed CPU time: 21.4827 s Remaining CPU time: 158.517 s 21.58/21.70 c =============================================================================== 21.58/21.70 c | 1984 | 4030 27796 341261 | 9265 1984 489 | 31.404 % | 21.89/21.90 c =============================================================================== 21.89/21.90 c New solution: 70962 21.89/21.90 o 70962 21.89/21.90 c Elapsed CPU time: 21.6817 s Remaining CPU time: 158.318 s 21.89/21.90 c =============================================================================== 21.89/21.90 c | 1989 | 4030 27797 343344 | 9265 1989 489 | 31.404 % | 21.99/22.09 c =============================================================================== 21.99/22.09 c New solution: 70920 21.99/22.09 o 70920 21.99/22.09 c Elapsed CPU time: 21.8737 s Remaining CPU time: 158.126 s 21.99/22.09 c =============================================================================== 21.99/22.09 c | 1991 | 4030 27798 345427 | 9266 1991 489 | 31.404 % | 22.18/22.20 c =============================================================================== 22.18/22.20 c New solution: 70919 22.18/22.20 o 70919 22.18/22.20 c Elapsed CPU time: 21.9797 s Remaining CPU time: 158.02 s 22.18/22.20 c =============================================================================== 22.18/22.20 c | 1992 | 4030 27799 347510 | 9266 1992 489 | 31.404 % | 22.28/22.38 c =============================================================================== 22.28/22.38 c New solution: 70918 22.28/22.38 o 70918 22.28/22.38 c Elapsed CPU time: 22.1596 s Remaining CPU time: 157.84 s 22.28/22.38 c =============================================================================== 22.28/22.38 c | 1994 | 4030 27800 349593 | 9266 1994 489 | 31.404 % | 22.48/22.50 c =============================================================================== 22.48/22.50 c New solution: 70917 22.48/22.50 o 70917 22.48/22.50 c Elapsed CPU time: 22.2816 s Remaining CPU time: 157.718 s 22.48/22.50 c =============================================================================== 22.48/22.50 c | 1996 | 4030 27801 351676 | 9267 1996 489 | 31.404 % | 22.58/22.69 c =============================================================================== 22.58/22.69 c New solution: 70902 22.58/22.69 o 70902 22.58/22.69 c Elapsed CPU time: 22.4746 s Remaining CPU time: 157.525 s 22.58/22.69 c =============================================================================== 22.58/22.69 c | 1998 | 4030 27802 353759 | 9267 1998 489 | 31.404 % | 22.88/22.91 c =============================================================================== 22.88/22.91 c New solution: 70901 22.88/22.91 o 70901 22.88/22.91 c Elapsed CPU time: 22.6866 s Remaining CPU time: 157.313 s 22.88/22.91 c =============================================================================== 22.88/22.91 c | 2002 | 4030 27803 355842 | 9267 2002 489 | 31.404 % | 23.09/23.15 c =============================================================================== 23.09/23.15 c New solution: 70900 23.09/23.15 o 70900 23.09/23.15 c Elapsed CPU time: 22.9305 s Remaining CPU time: 157.069 s 23.09/23.15 c =============================================================================== 23.09/23.15 c | 2014 | 4030 27804 357925 | 9268 2014 489 | 31.404 % | 23.48/23.57 c =============================================================================== 23.48/23.57 c New solution: 70899 23.48/23.57 o 70899 23.48/23.57 c Elapsed CPU time: 23.3495 s Remaining CPU time: 156.651 s 23.48/23.57 c =============================================================================== 23.48/23.57 c | 2050 | 4030 27805 360008 | 9268 2050 490 | 31.404 % | 24.09/24.14 c =============================================================================== 24.09/24.14 c New solution: 70867 24.09/24.14 o 70867 24.09/24.14 c Elapsed CPU time: 23.9204 s Remaining CPU time: 156.08 s 24.09/24.14 c =============================================================================== 24.09/24.14 c | 2089 | 4030 27806 362091 | 9268 2089 488 | 31.404 % | 24.49/24.57 c =============================================================================== 24.49/24.57 c New solution: 70866 24.49/24.57 o 70866 24.49/24.57 c Elapsed CPU time: 24.3423 s Remaining CPU time: 155.658 s 24.49/24.57 c =============================================================================== 24.49/24.57 c | 2127 | 4030 27807 364174 | 9269 2127 490 | 31.404 % | 24.68/24.71 c =============================================================================== 24.68/24.71 c New solution: 69292 24.68/24.71 o 69292 24.68/24.71 c Elapsed CPU time: 24.4783 s Remaining CPU time: 155.522 s 24.68/24.71 c =============================================================================== 24.68/24.71 c | 2130 | 4030 27808 366257 | 9269 2130 490 | 31.404 % | 24.78/24.88 c =============================================================================== 24.78/24.88 c New solution: 69280 24.78/24.88 o 69280 24.78/24.88 c Elapsed CPU time: 24.6493 s Remaining CPU time: 155.351 s 24.78/24.88 c =============================================================================== 24.78/24.88 c | 2141 | 4030 27809 368340 | 9269 2141 490 | 31.404 % | 24.98/25.08 c =============================================================================== 24.98/25.08 c New solution: 69279 24.98/25.08 o 69279 24.98/25.08 c Elapsed CPU time: 24.8502 s Remaining CPU time: 155.15 s 24.98/25.08 c =============================================================================== 24.98/25.08 c | 2145 | 4030 27810 370423 | 9270 2145 490 | 31.404 % | 25.19/25.29 c | 2245 | 4030 27810 370423 | 10197 2245 489 | 31.404 % | 25.48/25.51 c =============================================================================== 25.48/25.51 c New solution: 69267 25.48/25.51 o 69267 25.48/25.51 c Elapsed CPU time: 25.2752 s Remaining CPU time: 154.725 s 25.48/25.51 c =============================================================================== 25.48/25.51 c | 2248 | 4030 27811 372506 | 9270 2248 489 | 31.404 % | 25.78/25.87 c =============================================================================== 25.78/25.87 c New solution: 69225 25.78/25.87 o 69225 25.78/25.87 c Elapsed CPU time: 25.6411 s Remaining CPU time: 154.359 s 25.78/25.87 c =============================================================================== 25.78/25.87 c | 2250 | 4030 27812 374589 | 9270 2250 489 | 31.404 % | 26.58/26.60 c | 2350 | 4030 27812 374589 | 10197 2350 494 | 31.404 % | 26.78/26.80 c =============================================================================== 26.78/26.80 c New solution: 69224 26.78/26.80 o 69224 26.78/26.80 c Elapsed CPU time: 26.56 s Remaining CPU time: 153.44 s 26.78/26.80 c =============================================================================== 26.78/26.80 c | 2368 | 4030 27813 376672 | 9271 2368 495 | 31.404 % | 27.39/27.40 c =============================================================================== 27.39/27.40 c New solution: 69223 27.39/27.40 o 69223 27.39/27.40 c Elapsed CPU time: 27.1639 s Remaining CPU time: 152.836 s 27.39/27.40 c =============================================================================== 27.39/27.40 c | 2412 | 4030 27814 378755 | 9271 2412 496 | 31.404 % | 28.08/28.12 c | 2512 | 4030 27814 378755 | 10198 2512 497 | 31.404 % | 28.18/28.23 c =============================================================================== 28.18/28.23 c New solution: 67666 28.18/28.23 o 67666 28.18/28.23 c Elapsed CPU time: 27.9847 s Remaining CPU time: 152.015 s 28.18/28.23 c =============================================================================== 28.18/28.23 c | 2518 | 4030 27815 380838 | 9271 2518 497 | 31.404 % | 28.38/28.48 c =============================================================================== 28.38/28.48 c New solution: 67650 28.38/28.48 o 67650 28.38/28.48 c Elapsed CPU time: 28.2367 s Remaining CPU time: 151.763 s 28.38/28.48 c =============================================================================== 28.38/28.48 c | 2519 | 4030 27816 382921 | 9272 2519 496 | 31.404 % | 28.78/28.84 c =============================================================================== 28.78/28.84 c New solution: 67649 28.78/28.84 o 67649 28.78/28.84 c Elapsed CPU time: 28.6007 s Remaining CPU time: 151.399 s 28.78/28.84 c =============================================================================== 28.78/28.84 c | 2521 | 4030 27817 385004 | 9272 2521 496 | 31.404 % | 28.98/29.09 c =============================================================================== 28.98/29.09 c New solution: 67648 28.98/29.09 o 67648 28.98/29.09 c Elapsed CPU time: 28.8486 s Remaining CPU time: 151.151 s 28.98/29.09 c =============================================================================== 28.98/29.09 c | 2522 | 4030 27818 387087 | 9272 2522 496 | 31.404 % | 29.28/29.34 c =============================================================================== 29.28/29.34 c New solution: 67647 29.28/29.34 o 67647 29.28/29.34 c Elapsed CPU time: 29.0986 s Remaining CPU time: 150.901 s 29.28/29.34 c =============================================================================== 29.28/29.34 c | 2523 | 4030 27819 389170 | 9273 2523 496 | 31.404 % | 29.58/29.65 c =============================================================================== 29.58/29.65 c New solution: 67646 29.58/29.65 o 67646 29.58/29.65 c Elapsed CPU time: 29.4015 s Remaining CPU time: 150.598 s 29.58/29.65 c =============================================================================== 29.58/29.65 c | 2557 | 4030 27820 391253 | 9273 2557 496 | 31.404 % | 30.08/30.15 c =============================================================================== 30.08/30.15 c New solution: 67645 30.08/30.15 o 67645 30.08/30.15 c Elapsed CPU time: 29.9055 s Remaining CPU time: 150.095 s 30.08/30.15 c =============================================================================== 30.08/30.15 c | 2638 | 4030 27821 393336 | 9273 2638 497 | 31.404 % | 30.49/30.54 c =============================================================================== 30.49/30.54 c New solution: 67644 30.49/30.54 o 67644 30.49/30.54 c Elapsed CPU time: 30.2944 s Remaining CPU time: 149.706 s 30.49/30.54 c =============================================================================== 30.49/30.54 c | 2642 | 4030 27822 395419 | 9274 2642 497 | 31.404 % | 30.69/30.78 c =============================================================================== 30.69/30.78 c New solution: 67643 30.69/30.78 o 67643 30.69/30.78 c Elapsed CPU time: 30.5344 s Remaining CPU time: 149.466 s 30.69/30.78 c =============================================================================== 30.69/30.78 c | 2643 | 4030 27823 397502 | 9274 2643 497 | 31.404 % | 30.98/31.09 c =============================================================================== 30.98/31.09 c New solution: 67642 30.98/31.09 o 67642 30.98/31.09 c Elapsed CPU time: 30.8373 s Remaining CPU time: 149.163 s 30.98/31.09 c =============================================================================== 30.98/31.09 c | 2646 | 4030 27824 399585 | 9274 2646 497 | 31.404 % | 31.38/31.40 c =============================================================================== 31.38/31.40 c New solution: 67628 31.38/31.40 o 67628 31.38/31.40 c Elapsed CPU time: 31.1513 s Remaining CPU time: 148.849 s 31.38/31.40 c =============================================================================== 31.38/31.40 c | 2653 | 4030 27825 401668 | 9275 2653 497 | 31.404 % | 31.98/32.09 c | 2754 | 4030 27825 401668 | 10202 2754 502 | 31.404 % | 33.28/33.34 c | 2905 | 4030 27825 401668 | 11222 2905 510 | 31.404 % | 33.48/33.55 c =============================================================================== 33.48/33.55 c New solution: 67627 33.48/33.55 o 67627 33.48/33.55 c Elapsed CPU time: 33.2919 s Remaining CPU time: 146.708 s 33.48/33.55 c =============================================================================== 33.48/33.55 c | 2912 | 4030 27826 403751 | 9275 2912 510 | 31.404 % | 33.78/33.83 c =============================================================================== 33.78/33.83 c New solution: 67626 33.78/33.83 o 67626 33.78/33.83 c Elapsed CPU time: 33.5689 s Remaining CPU time: 146.431 s 33.78/33.83 c =============================================================================== 33.78/33.83 c | 2919 | 4030 27827 405834 | 9275 2919 510 | 31.404 % | 34.18/34.23 c =============================================================================== 34.18/34.23 c New solution: 67578 34.18/34.23 o 67578 34.18/34.23 c Elapsed CPU time: 33.9688 s Remaining CPU time: 146.031 s 34.18/34.23 c =============================================================================== 34.18/34.23 c | 2919 | 4030 27828 407917 | 9276 2919 510 | 31.404 % | 34.48/34.56 c =============================================================================== 34.48/34.56 c New solution: 66036 34.48/34.56 o 66036 34.48/34.56 c Elapsed CPU time: 34.2908 s Remaining CPU time: 145.709 s 34.48/34.56 c =============================================================================== 34.48/34.56 c | 2937 | 4030 27829 410000 | 9276 2937 510 | 31.404 % | 34.88/34.96 c =============================================================================== 34.88/34.96 c New solution: 65940 34.88/34.96 o 65940 34.88/34.96 c Elapsed CPU time: 34.6947 s Remaining CPU time: 145.305 s 34.88/34.96 c =============================================================================== 34.88/34.96 c | 2937 | 4030 27830 412083 | 9276 2937 510 | 31.404 % | 35.88/35.91 c | 3038 | 4030 27830 412083 | 10204 3038 513 | 31.404 % | 36.28/36.31 c =============================================================================== 36.28/36.31 c New solution: 65939 36.28/36.31 o 65939 36.28/36.31 c Elapsed CPU time: 36.0475 s Remaining CPU time: 143.952 s 36.28/36.31 c =============================================================================== 36.28/36.31 c | 3039 | 4030 27831 414166 | 9277 3039 513 | 31.404 % | 36.88/36.93 c | 3140 | 4030 27831 414166 | 10204 3140 516 | 31.404 % | 38.07/38.10 c | 3291 | 4030 27831 414166 | 11225 3291 519 | 31.404 % | 38.27/38.32 c =============================================================================== 38.27/38.32 c New solution: 65938 38.27/38.32 o 65938 38.27/38.32 c Elapsed CPU time: 38.0532 s Remaining CPU time: 141.947 s 38.27/38.32 c =============================================================================== 38.27/38.32 c | 3296 | 4030 27832 416249 | 9277 3296 519 | 31.404 % | 38.49/38.52 c =============================================================================== 38.49/38.52 c New solution: 65937 38.49/38.52 o 65937 38.49/38.52 c Elapsed CPU time: 38.2552 s Remaining CPU time: 141.745 s 38.49/38.52 c =============================================================================== 38.49/38.52 c | 3299 | 4030 27833 418332 | 9277 3299 519 | 31.404 % | 39.18/39.26 c =============================================================================== 39.18/39.26 c New solution: 65936 39.18/39.26 o 65936 39.18/39.26 c Elapsed CPU time: 38.9911 s Remaining CPU time: 141.009 s 39.18/39.26 c =============================================================================== 39.18/39.26 c | 3395 | 4030 27834 420415 | 9278 3395 521 | 31.404 % | 39.49/39.58 c =============================================================================== 39.49/39.58 c New solution: 65935 39.49/39.58 o 65935 39.49/39.58 c Elapsed CPU time: 39.303 s Remaining CPU time: 140.697 s 39.49/39.58 c =============================================================================== 39.49/39.58 c | 3419 | 4030 27835 422498 | 9278 3419 522 | 31.404 % | 39.68/39.76 c =============================================================================== 39.68/39.76 c New solution: 65934 39.68/39.76 o 65934 39.68/39.76 c Elapsed CPU time: 39.485 s Remaining CPU time: 140.515 s 39.68/39.76 c =============================================================================== 39.68/39.76 c | 3424 | 4030 27836 424581 | 9278 3424 522 | 31.404 % | 39.98/40.00 c =============================================================================== 39.98/40.00 c New solution: 65933 39.98/40.00 o 65933 39.98/40.00 c Elapsed CPU time: 39.73 s Remaining CPU time: 140.27 s 39.98/40.00 c =============================================================================== 39.98/40.00 c | 3438 | 4030 27837 426664 | 9279 3438 522 | 31.404 % | 40.48/40.52 c =============================================================================== 40.48/40.52 c New solution: 64386 40.48/40.52 o 64386 40.48/40.52 c Elapsed CPU time: 40.2469 s Remaining CPU time: 139.753 s 40.48/40.52 c =============================================================================== 40.48/40.52 c | 3494 | 4030 27838 428747 | 9279 3494 523 | 31.404 % | 40.69/40.78 c =============================================================================== 40.69/40.78 c New solution: 64354 40.69/40.78 o 64354 40.69/40.78 c Elapsed CPU time: 40.5058 s Remaining CPU time: 139.494 s 40.69/40.78 c =============================================================================== 40.69/40.78 c | 3496 | 4030 27839 430830 | 9279 3496 522 | 31.404 % | 40.98/41.03 c =============================================================================== 40.98/41.03 c New solution: 64353 40.98/41.03 o 64353 40.98/41.03 c Elapsed CPU time: 40.7558 s Remaining CPU time: 139.244 s 40.98/41.03 c =============================================================================== 40.98/41.03 c | 3496 | 4030 27840 432913 | 9280 3496 522 | 31.404 % | 41.17/41.28 c =============================================================================== 41.17/41.28 c New solution: 64352 41.17/41.28 o 64352 41.17/41.28 c Elapsed CPU time: 41.0048 s Remaining CPU time: 138.995 s 41.17/41.28 c =============================================================================== 41.17/41.28 c | 3496 | 4030 27841 434996 | 9280 3496 522 | 31.404 % | 41.47/41.53 c =============================================================================== 41.47/41.53 c New solution: 64351 41.47/41.53 o 64351 41.47/41.53 c Elapsed CPU time: 41.2547 s Remaining CPU time: 138.745 s 41.47/41.53 c =============================================================================== 41.47/41.53 c | 3496 | 4030 27842 437079 | 9280 3496 522 | 31.404 % | 41.68/41.78 c =============================================================================== 41.68/41.78 c New solution: 64350 41.68/41.78 o 64350 41.68/41.78 c Elapsed CPU time: 41.5047 s Remaining CPU time: 138.495 s 41.68/41.78 c =============================================================================== 41.68/41.78 c | 3496 | 4030 27843 439162 | 9281 3496 522 | 31.404 % | 42.58/42.68 c =============================================================================== 42.58/42.68 c New solution: 64349 42.58/42.68 o 64349 42.58/42.68 c Elapsed CPU time: 42.4026 s Remaining CPU time: 137.597 s 42.58/42.68 c =============================================================================== 42.58/42.68 c | 3506 | 4030 27844 441245 | 9281 3506 522 | 31.404 % | 42.89/42.96 c =============================================================================== 42.89/42.96 c New solution: 64328 42.89/42.96 o 64328 42.89/42.96 c Elapsed CPU time: 42.6825 s Remaining CPU time: 137.317 s 42.89/42.96 c =============================================================================== 42.89/42.96 c | 3507 | 4030 27845 443328 | 9281 3507 522 | 31.404 % | 43.48/43.56 c =============================================================================== 43.48/43.56 c New solution: 64327 43.48/43.56 o 64327 43.48/43.56 c Elapsed CPU time: 43.2834 s Remaining CPU time: 136.717 s 43.48/43.56 c =============================================================================== 43.48/43.56 c | 3550 | 4030 27846 445411 | 9282 3550 523 | 31.404 % | 45.18/45.25 c | 3650 | 4030 27846 445411 | 10210 3650 523 | 31.404 % | 45.58/45.62 c =============================================================================== 45.58/45.62 c New solution: 64326 45.58/45.62 o 64326 45.58/45.62 c Elapsed CPU time: 45.3381 s Remaining CPU time: 134.662 s 45.58/45.62 c =============================================================================== 45.58/45.62 c | 3677 | 4030 27847 447494 | 9282 3677 524 | 31.404 % | 45.88/45.95 c =============================================================================== 45.88/45.95 c New solution: 64325 45.88/45.95 o 64325 45.88/45.95 c Elapsed CPU time: 45.6671 s Remaining CPU time: 134.333 s 45.88/45.95 c =============================================================================== 45.88/45.95 c | 3706 | 4030 27848 449577 | 9282 3706 524 | 31.404 % | 46.18/46.24 c =============================================================================== 46.18/46.24 c New solution: 64307 46.18/46.24 o 64307 46.18/46.24 c Elapsed CPU time: 45.957 s Remaining CPU time: 134.043 s 46.18/46.24 c =============================================================================== 46.18/46.24 c | 3706 | 4030 27849 451660 | 9283 3706 524 | 31.404 % | 46.47/46.54 c =============================================================================== 46.47/46.54 c New solution: 64306 46.47/46.54 o 64306 46.47/46.54 c Elapsed CPU time: 46.247 s Remaining CPU time: 133.753 s 46.47/46.54 c =============================================================================== 46.47/46.54 c | 3706 | 4030 27850 453743 | 9283 3706 524 | 31.404 % | 46.77/46.83 c =============================================================================== 46.77/46.83 c New solution: 64305 46.77/46.83 o 64305 46.77/46.83 c Elapsed CPU time: 46.5369 s Remaining CPU time: 133.463 s 46.77/46.83 c =============================================================================== 46.77/46.83 c | 3706 | 4030 27851 455826 | 9283 3706 524 | 31.404 % | 47.07/47.12 c =============================================================================== 47.07/47.12 c New solution: 64304 47.07/47.12 o 64304 47.07/47.12 c Elapsed CPU time: 46.8279 s Remaining CPU time: 133.172 s 47.07/47.12 c =============================================================================== 47.07/47.12 c | 3706 | 4030 27852 457909 | 9284 3706 524 | 31.404 % | 47.37/47.41 c =============================================================================== 47.37/47.41 c New solution: 64303 47.37/47.41 o 64303 47.37/47.41 c Elapsed CPU time: 47.1228 s Remaining CPU time: 132.877 s 47.37/47.41 c =============================================================================== 47.37/47.41 c | 3706 | 4030 27853 459992 | 9284 3706 524 | 31.404 % | 47.68/47.71 c =============================================================================== 47.68/47.71 c New solution: 62762 47.68/47.71 o 62762 47.68/47.71 c Elapsed CPU time: 47.4208 s Remaining CPU time: 132.579 s 47.68/47.71 c =============================================================================== 47.68/47.71 c | 3715 | 4030 27854 462075 | 9284 3715 524 | 31.404 % | 47.98/48.02 c =============================================================================== 47.98/48.02 c New solution: 62671 47.98/48.02 o 62671 47.98/48.02 c Elapsed CPU time: 47.7237 s Remaining CPU time: 132.276 s 47.98/48.02 c =============================================================================== 47.98/48.02 c | 3715 | 4030 27855 464158 | 9285 3715 524 | 31.404 % | 48.97/49.08 c | 3815 | 4030 27855 464158 | 10213 3815 526 | 31.404 % | 49.27/49.40 c =============================================================================== 49.27/49.40 c New solution: 62670 49.27/49.40 o 62670 49.27/49.40 c Elapsed CPU time: 49.0965 s Remaining CPU time: 130.903 s 49.27/49.40 c =============================================================================== 49.27/49.40 c | 3816 | 4030 27856 466241 | 9285 3816 526 | 31.404 % | 50.17/50.25 c | 3916 | 4030 27856 466241 | 10213 3916 528 | 31.404 % | 50.97/51.05 c =============================================================================== 50.97/51.05 c New solution: 62669 50.97/51.05 o 62669 50.97/51.05 c Elapsed CPU time: 50.7523 s Remaining CPU time: 129.248 s 50.97/51.05 c =============================================================================== 50.97/51.05 c | 3961 | 4030 27857 468324 | 9285 3961 529 | 31.404 % | 52.18/52.27 c | 4062 | 4030 27857 468324 | 10214 4062 530 | 31.404 % | 52.48/52.53 c =============================================================================== 52.48/52.53 c New solution: 62668 52.48/52.53 o 62668 52.48/52.53 c Elapsed CPU time: 52.2231 s Remaining CPU time: 127.777 s 52.48/52.53 c =============================================================================== 52.48/52.53 c | 4063 | 4030 27858 470407 | 9286 4063 530 | 31.404 % | 52.79/52.87 c =============================================================================== 52.79/52.87 c New solution: 62667 52.79/52.87 o 62667 52.79/52.87 c Elapsed CPU time: 52.568 s Remaining CPU time: 127.432 s 52.79/52.87 c =============================================================================== 52.79/52.87 c | 4064 | 4030 27859 472490 | 9286 4064 530 | 31.404 % | 52.98/53.09 c =============================================================================== 52.98/53.09 c New solution: 62666 52.98/53.09 o 62666 52.98/53.09 c Elapsed CPU time: 52.788 s Remaining CPU time: 127.212 s 52.98/53.09 c =============================================================================== 52.98/53.09 c | 4065 | 4030 27860 474573 | 9286 4065 530 | 31.404 % | 54.47/54.54 c | 4165 | 4030 27860 474573 | 10215 4165 532 | 31.404 % | 54.67/54.77 c =============================================================================== 54.67/54.77 c New solution: 62665 54.67/54.77 o 62665 54.67/54.77 c Elapsed CPU time: 54.4667 s Remaining CPU time: 125.533 s 54.67/54.77 c =============================================================================== 54.67/54.77 c | 4168 | 4030 27861 476656 | 9287 4168 532 | 31.404 % | 55.98/56.01 c | 4268 | 4030 27861 476656 | 10215 4268 533 | 31.404 % | 56.77/56.89 c =============================================================================== 56.77/56.89 c New solution: 62664 56.77/56.89 o 62664 56.77/56.89 c Elapsed CPU time: 56.5814 s Remaining CPU time: 123.419 s 56.77/56.89 c =============================================================================== 56.77/56.89 c | 4357 | 4030 27862 478739 | 9287 4357 534 | 31.404 % | 57.08/57.20 c =============================================================================== 57.08/57.20 c New solution: 62663 57.08/57.20 o 62663 57.08/57.20 c Elapsed CPU time: 56.8834 s Remaining CPU time: 123.117 s 57.08/57.20 c =============================================================================== 57.08/57.20 c | 4358 | 4030 27863 480822 | 9287 4358 534 | 31.404 % | 57.47/57.60 c =============================================================================== 57.47/57.60 c New solution: 62662 57.47/57.60 o 62662 57.47/57.60 c Elapsed CPU time: 57.2823 s Remaining CPU time: 122.718 s 57.47/57.60 c =============================================================================== 57.47/57.60 c | 4400 | 4030 27864 482905 | 9288 4400 535 | 31.404 % | 58.37/58.45 c =============================================================================== 58.37/58.45 c New solution: 62661 58.37/58.45 o 62661 58.37/58.45 c Elapsed CPU time: 58.1342 s Remaining CPU time: 121.866 s 58.37/58.45 c =============================================================================== 58.37/58.45 c | 4486 | 4030 27865 484988 | 9288 4486 536 | 31.404 % | 58.57/58.66 c =============================================================================== 58.57/58.66 c New solution: 61094 58.57/58.66 o 61094 58.57/58.66 c Elapsed CPU time: 58.3471 s Remaining CPU time: 121.653 s 58.57/58.66 c =============================================================================== 58.57/58.66 c | 4500 | 4030 27866 487071 | 9288 4500 536 | 31.404 % | 58.87/58.96 c =============================================================================== 58.87/58.96 c New solution: 61093 58.87/58.96 o 61093 58.87/58.96 c Elapsed CPU time: 58.6481 s Remaining CPU time: 121.352 s 58.87/58.96 c =============================================================================== 58.87/58.96 c | 4501 | 4030 27867 489154 | 9289 4501 536 | 31.404 % | 59.18/59.28 c =============================================================================== 59.18/59.28 c New solution: 61092 59.18/59.28 o 61092 59.18/59.28 c Elapsed CPU time: 58.961 s Remaining CPU time: 121.039 s 59.18/59.28 c =============================================================================== 59.18/59.28 c | 4502 | 4030 27868 491237 | 9289 4502 536 | 31.404 % | 59.48/59.59 c =============================================================================== 59.48/59.59 c New solution: 61091 59.48/59.59 o 61091 59.48/59.59 c Elapsed CPU time: 59.273 s Remaining CPU time: 120.727 s 59.48/59.59 c =============================================================================== 59.48/59.59 c | 4503 | 4030 27869 493320 | 9289 4503 536 | 31.404 % | 59.77/59.89 c =============================================================================== 59.77/59.89 c New solution: 61090 59.77/59.89 o 61090 59.77/59.89 c Elapsed CPU time: 59.5679 s Remaining CPU time: 120.432 s 59.77/59.89 c =============================================================================== 59.77/59.89 c | 4504 | 4030 27870 495403 | 9290 4504 536 | 31.404 % | 60.07/60.18 c =============================================================================== 60.07/60.18 c New solution: 61089 60.07/60.18 o 61089 60.07/60.18 c Elapsed CPU time: 59.8629 s Remaining CPU time: 120.137 s 60.07/60.18 c =============================================================================== 60.07/60.18 c | 4504 | 4030 27871 497486 | 9290 4504 536 | 31.404 % | 60.38/60.48 c =============================================================================== 60.38/60.48 c New solution: 61088 60.38/60.48 o 61088 60.38/60.48 c Elapsed CPU time: 60.1629 s Remaining CPU time: 119.837 s 60.38/60.48 c =============================================================================== 60.38/60.48 c | 4504 | 4030 27872 499569 | 9290 4504 536 | 31.404 % | 60.67/60.77 c =============================================================================== 60.67/60.77 c New solution: 61087 60.67/60.77 o 61087 60.67/60.77 c Elapsed CPU time: 60.4518 s Remaining CPU time: 119.548 s 60.67/60.77 c =============================================================================== 60.67/60.77 c | 4504 | 4030 27873 501652 | 9291 4504 536 | 31.404 % | 60.97/61.08 c =============================================================================== 60.97/61.08 c New solution: 61086 60.97/61.08 o 61086 60.97/61.08 c Elapsed CPU time: 60.7538 s Remaining CPU time: 119.246 s 60.97/61.08 c =============================================================================== 60.97/61.08 c | 4504 | 4030 27874 503735 | 9291 4504 536 | 31.404 % | 61.37/61.43 c =============================================================================== 61.37/61.43 c New solution: 61085 61.37/61.43 o 61085 61.37/61.43 c Elapsed CPU time: 61.1077 s Remaining CPU time: 118.892 s 61.37/61.43 c =============================================================================== 61.37/61.43 c | 4506 | 4030 27875 505818 | 9291 4506 536 | 31.404 % | 61.67/61.77 c =============================================================================== 61.67/61.77 c New solution: 61084 61.67/61.77 o 61084 61.67/61.77 c Elapsed CPU time: 61.4407 s Remaining CPU time: 118.559 s 61.67/61.77 c =============================================================================== 61.67/61.77 c | 4511 | 4030 27876 507901 | 9292 4511 536 | 31.404 % | 62.37/62.45 c =============================================================================== 62.37/62.45 c New solution: 61071 62.37/62.45 o 61071 62.37/62.45 c Elapsed CPU time: 62.1226 s Remaining CPU time: 117.877 s 62.37/62.45 c =============================================================================== 62.37/62.45 c | 4546 | 4030 27877 509984 | 9292 4546 535 | 31.404 % | 62.97/63.04 c | 4646 | 4030 27877 509984 | 10221 4646 538 | 31.404 % | 63.27/63.31 c =============================================================================== 63.27/63.31 c New solution: 61070 63.27/63.31 o 61070 63.27/63.31 c Elapsed CPU time: 62.9804 s Remaining CPU time: 117.02 s 63.27/63.31 c =============================================================================== 63.27/63.31 c | 4648 | 4030 27878 512067 | 9292 4648 538 | 31.404 % | 63.57/63.60 c =============================================================================== 63.57/63.60 c New solution: 61057 63.57/63.60 o 61057 63.57/63.60 c Elapsed CPU time: 63.2684 s Remaining CPU time: 116.732 s 63.57/63.60 c =============================================================================== 63.57/63.60 c | 4653 | 4030 27879 514150 | 9293 4653 537 | 31.404 % | 63.97/64.03 c =============================================================================== 63.97/64.03 c New solution: 61056 63.97/64.03 o 61056 63.97/64.03 c Elapsed CPU time: 63.6943 s Remaining CPU time: 116.306 s 63.97/64.03 c =============================================================================== 63.97/64.03 c | 4664 | 4030 27880 516233 | 9293 4664 538 | 31.404 % | 64.27/64.33 c =============================================================================== 64.27/64.33 c New solution: 61055 64.27/64.33 o 61055 64.27/64.33 c Elapsed CPU time: 63.9923 s Remaining CPU time: 116.008 s 64.27/64.33 c =============================================================================== 64.27/64.33 c | 4666 | 4030 27881 518316 | 9293 4666 538 | 31.404 % | 64.47/64.56 c =============================================================================== 64.47/64.56 c New solution: 61054 64.47/64.56 o 61054 64.47/64.56 c Elapsed CPU time: 64.2262 s Remaining CPU time: 115.774 s 64.47/64.56 c =============================================================================== 64.47/64.56 c | 4670 | 4030 27882 520399 | 9294 4670 538 | 31.404 % | 65.57/65.62 c | 4771 | 4030 27882 520399 | 10223 4771 539 | 31.404 % | 65.77/65.83 c =============================================================================== 65.77/65.83 c New solution: 61053 65.77/65.83 o 61053 65.77/65.83 c Elapsed CPU time: 65.49 s Remaining CPU time: 114.51 s 65.77/65.83 c =============================================================================== 65.77/65.83 c | 4775 | 4030 27883 522482 | 9294 4775 539 | 31.404 % | 66.16/66.24 c =============================================================================== 66.16/66.24 c New solution: 61052 66.16/66.24 o 61052 66.16/66.24 c Elapsed CPU time: 65.901 s Remaining CPU time: 114.099 s 66.16/66.24 c =============================================================================== 66.16/66.24 c | 4784 | 4030 27884 524565 | 9294 4784 538 | 31.404 % | 66.46/66.57 c =============================================================================== 66.46/66.57 c New solution: 61051 66.46/66.57 o 61051 66.46/66.57 c Elapsed CPU time: 66.2299 s Remaining CPU time: 113.77 s 66.46/66.57 c =============================================================================== 66.46/66.57 c | 4801 | 4030 27885 526648 | 9295 4801 539 | 31.404 % | 66.98/67.09 c =============================================================================== 66.98/67.09 c New solution: 61050 66.98/67.09 o 61050 66.98/67.09 c Elapsed CPU time: 66.7479 s Remaining CPU time: 113.252 s 66.98/67.09 c =============================================================================== 66.98/67.09 c | 4850 | 4030 27886 528731 | 9295 4850 539 | 31.404 % | 67.57/67.65 c =============================================================================== 67.57/67.65 c New solution: 61049 67.57/67.65 o 61049 67.57/67.65 c Elapsed CPU time: 67.3138 s Remaining CPU time: 112.686 s 67.57/67.65 c =============================================================================== 67.57/67.65 c | 4882 | 4030 27887 530814 | 9295 4882 539 | 31.404 % | 67.97/68.01 c =============================================================================== 67.97/68.01 c New solution: 61048 67.97/68.01 o 61048 67.97/68.01 c Elapsed CPU time: 67.6697 s Remaining CPU time: 112.33 s 67.97/68.01 c =============================================================================== 67.97/68.01 c | 4898 | 4030 27888 532897 | 9296 4898 539 | 31.404 % | 68.47/68.53 c =============================================================================== 68.47/68.53 c New solution: 59481 68.47/68.53 o 59481 68.47/68.53 c Elapsed CPU time: 68.1836 s Remaining CPU time: 111.816 s 68.47/68.53 c =============================================================================== 68.47/68.53 c | 4915 | 4030 27889 534980 | 9296 4915 540 | 31.404 % | 68.77/68.80 c =============================================================================== 68.77/68.80 c New solution: 59449 68.77/68.80 o 59449 68.77/68.80 c Elapsed CPU time: 68.4546 s Remaining CPU time: 111.545 s 68.77/68.80 c =============================================================================== 68.77/68.80 c | 4918 | 4030 27890 537063 | 9296 4918 540 | 31.404 % | 68.97/69.05 c =============================================================================== 68.97/69.05 c New solution: 59448 68.97/69.05 o 59448 68.97/69.05 c Elapsed CPU time: 68.7076 s Remaining CPU time: 111.292 s 68.97/69.05 c =============================================================================== 68.97/69.05 c | 4925 | 4030 27891 539146 | 9297 4925 540 | 31.404 % | 69.17/69.30 c =============================================================================== 69.17/69.30 c New solution: 59447 69.17/69.30 o 59447 69.17/69.30 c Elapsed CPU time: 68.9575 s Remaining CPU time: 111.042 s 69.17/69.30 c =============================================================================== 69.17/69.30 c | 4927 | 4030 27892 541229 | 9297 4927 540 | 31.404 % | 69.47/69.56 c =============================================================================== 69.47/69.56 c New solution: 59446 69.47/69.56 o 59446 69.47/69.56 c Elapsed CPU time: 69.2125 s Remaining CPU time: 110.788 s 69.47/69.56 c =============================================================================== 69.47/69.56 c | 4931 | 4030 27893 543312 | 9297 4931 540 | 31.404 % | 70.57/70.62 c | 5031 | 4030 27893 543312 | 10227 5031 542 | 31.404 % | 70.77/70.85 c =============================================================================== 70.77/70.85 c New solution: 59445 70.77/70.85 o 59445 70.77/70.85 c Elapsed CPU time: 70.5013 s Remaining CPU time: 109.499 s 70.77/70.85 c =============================================================================== 70.77/70.85 c | 5036 | 4030 27894 545395 | 9298 5036 542 | 31.404 % | 70.97/71.08 c =============================================================================== 70.97/71.08 c New solution: 59444 70.97/71.08 o 59444 70.97/71.08 c Elapsed CPU time: 70.7322 s Remaining CPU time: 109.268 s 70.97/71.08 c =============================================================================== 70.97/71.08 c | 5048 | 4030 27895 547478 | 9298 5048 542 | 31.404 % | 71.27/71.37 c =============================================================================== 71.27/71.37 c New solution: 59443 71.27/71.37 o 59443 71.27/71.37 c Elapsed CPU time: 71.0132 s Remaining CPU time: 108.987 s 71.27/71.37 c =============================================================================== 71.27/71.37 c | 5050 | 4030 27896 549561 | 9298 5050 542 | 31.404 % | 71.57/71.64 c =============================================================================== 71.57/71.64 c New solution: 59442 71.57/71.64 o 59442 71.57/71.64 c Elapsed CPU time: 71.2912 s Remaining CPU time: 108.709 s 71.57/71.64 c =============================================================================== 71.57/71.64 c | 5053 | 4030 27897 551644 | 9299 5053 542 | 31.404 % | 71.97/72.04 c =============================================================================== 71.97/72.04 c New solution: 59441 71.97/72.04 o 59441 71.97/72.04 c Elapsed CPU time: 71.6841 s Remaining CPU time: 108.316 s 71.97/72.04 c =============================================================================== 71.97/72.04 c | 5055 | 4030 27898 553727 | 9299 5055 542 | 31.404 % | 72.17/72.24 c =============================================================================== 72.17/72.24 c New solution: 59440 72.17/72.24 o 59440 72.17/72.24 c Elapsed CPU time: 71.8801 s Remaining CPU time: 108.12 s 72.17/72.24 c =============================================================================== 72.17/72.24 c | 5056 | 4030 27899 555810 | 9299 5056 542 | 31.404 % | 72.27/72.40 c =============================================================================== 72.27/72.40 c New solution: 59439 72.27/72.40 o 59439 72.27/72.40 c Elapsed CPU time: 72.04 s Remaining CPU time: 107.96 s 72.27/72.40 c =============================================================================== 72.27/72.40 c | 5059 | 4030 27900 557893 | 9300 5059 542 | 31.404 % | 72.57/72.61 c =============================================================================== 72.57/72.61 c New solution: 59438 72.57/72.61 o 59438 72.57/72.61 c Elapsed CPU time: 72.258 s Remaining CPU time: 107.742 s 72.57/72.61 c =============================================================================== 72.57/72.61 c | 5060 | 4030 27901 559976 | 9300 5060 542 | 31.404 % | 72.77/72.82 c =============================================================================== 72.77/72.82 c New solution: 59437 72.77/72.82 o 59437 72.77/72.82 c Elapsed CPU time: 72.468 s Remaining CPU time: 107.532 s 72.77/72.82 c =============================================================================== 72.77/72.82 c | 5060 | 4030 27902 562059 | 9300 5060 542 | 31.404 % | 72.96/73.04 c =============================================================================== 72.96/73.04 c New solution: 59436 72.96/73.04 o 59436 72.96/73.04 c Elapsed CPU time: 72.68 s Remaining CPU time: 107.32 s 72.96/73.04 c =============================================================================== 72.96/73.04 c | 5060 | 4030 27903 564142 | 9301 5060 542 | 31.404 % | 73.16/73.25 c =============================================================================== 73.16/73.25 c New solution: 59435 73.16/73.25 o 59435 73.16/73.25 c Elapsed CPU time: 72.8909 s Remaining CPU time: 107.109 s 73.16/73.25 c =============================================================================== 73.16/73.25 c | 5060 | 4030 27904 566225 | 9301 5060 542 | 31.404 % | 73.36/73.43 c =============================================================================== 73.36/73.43 c New solution: 59434 73.36/73.43 o 59434 73.36/73.43 c Elapsed CPU time: 73.0729 s Remaining CPU time: 106.927 s 73.36/73.43 c =============================================================================== 73.36/73.43 c | 5062 | 4030 27905 568308 | 9301 5062 542 | 31.404 % | 74.06/74.11 c =============================================================================== 74.06/74.11 c New solution: 59433 74.06/74.11 o 59433 74.06/74.11 c Elapsed CPU time: 73.7498 s Remaining CPU time: 106.25 s 74.06/74.11 c =============================================================================== 74.06/74.11 c | 5099 | 4030 27906 570391 | 9302 5099 541 | 31.404 % | 74.36/74.44 c =============================================================================== 74.36/74.44 c New solution: 59432 74.36/74.44 o 59432 74.36/74.44 c Elapsed CPU time: 74.0747 s Remaining CPU time: 105.925 s 74.36/74.44 c =============================================================================== 74.36/74.44 c | 5101 | 4030 27907 572474 | 9302 5101 541 | 31.404 % | 74.67/74.76 c =============================================================================== 74.67/74.76 c New solution: 59431 74.67/74.76 o 59431 74.67/74.76 c Elapsed CPU time: 74.4017 s Remaining CPU time: 105.598 s 74.67/74.76 c =============================================================================== 74.67/74.76 c | 5103 | 4030 27908 574557 | 9302 5103 541 | 31.404 % | 75.67/75.72 c =============================================================================== 75.67/75.72 c New solution: 59430 75.67/75.72 o 59430 75.67/75.72 c Elapsed CPU time: 75.3575 s Remaining CPU time: 104.642 s 75.67/75.72 c =============================================================================== 75.67/75.72 c | 5170 | 4030 27909 576640 | 9303 5170 542 | 31.404 % | 76.07/76.17 c =============================================================================== 76.07/76.17 c New solution: 59429 76.07/76.17 o 59429 76.07/76.17 c Elapsed CPU time: 75.8055 s Remaining CPU time: 104.195 s 76.07/76.17 c =============================================================================== 76.07/76.17 c | 5173 | 4030 27910 578723 | 9303 5173 542 | 31.404 % | 77.17/77.26 c =============================================================================== 77.17/77.26 c New solution: 59428 77.17/77.26 o 59428 77.17/77.26 c Elapsed CPU time: 76.8963 s Remaining CPU time: 103.104 s 77.17/77.26 c =============================================================================== 77.17/77.26 c | 5218 | 4030 27911 580806 | 9303 5218 542 | 31.404 % | 77.47/77.53 c =============================================================================== 77.47/77.53 c New solution: 57883 77.47/77.53 o 57883 77.47/77.53 c Elapsed CPU time: 77.1693 s Remaining CPU time: 102.831 s 77.47/77.53 c =============================================================================== 77.47/77.53 c | 5220 | 4030 27912 582889 | 9304 5220 542 | 31.404 % | 77.67/77.70 c =============================================================================== 77.67/77.70 c New solution: 57880 77.67/77.70 o 57880 77.67/77.70 c Elapsed CPU time: 77.3372 s Remaining CPU time: 102.663 s 77.67/77.70 c =============================================================================== 77.67/77.70 c | 5221 | 4030 27913 584972 | 9304 5221 542 | 31.404 % | 77.77/77.86 c =============================================================================== 77.77/77.86 c New solution: 57879 77.77/77.86 o 57879 77.77/77.86 c Elapsed CPU time: 77.4962 s Remaining CPU time: 102.504 s 77.77/77.86 c =============================================================================== 77.77/77.86 c | 5222 | 4030 27914 587055 | 9304 5222 542 | 31.404 % | 78.17/78.25 c =============================================================================== 78.17/78.25 c New solution: 57810 78.17/78.25 o 57810 78.17/78.25 c Elapsed CPU time: 77.8802 s Remaining CPU time: 102.12 s 78.17/78.25 c =============================================================================== 78.17/78.25 c | 5226 | 4030 27915 589138 | 9305 5226 542 | 31.404 % | 78.56/78.64 c =============================================================================== 78.56/78.64 c New solution: 57809 78.56/78.64 o 57809 78.56/78.64 c Elapsed CPU time: 78.2761 s Remaining CPU time: 101.724 s 78.56/78.64 c =============================================================================== 78.56/78.64 c | 5232 | 4030 27916 591221 | 9305 5232 542 | 31.404 % | 79.26/79.35 c =============================================================================== 79.26/79.35 c New solution: 57808 79.26/79.35 o 57808 79.26/79.35 c Elapsed CPU time: 78.976 s Remaining CPU time: 101.024 s 79.26/79.35 c =============================================================================== 79.26/79.35 c | 5271 | 4030 27917 593304 | 9305 5271 543 | 31.404 % | 79.66/79.73 c =============================================================================== 79.66/79.73 c New solution: 57798 79.66/79.73 o 57798 79.66/79.73 c Elapsed CPU time: 79.3579 s Remaining CPU time: 100.642 s 79.66/79.73 c =============================================================================== 79.66/79.73 c | 5278 | 4030 27918 595387 | 9306 5278 542 | 31.404 % | 80.06/80.13 c =============================================================================== 80.06/80.13 c New solution: 57797 80.06/80.13 o 57797 80.06/80.13 c Elapsed CPU time: 79.7569 s Remaining CPU time: 100.243 s 80.06/80.13 c =============================================================================== 80.06/80.13 c | 5283 | 4030 27919 597470 | 9306 5283 542 | 31.404 % | 80.46/80.51 c =============================================================================== 80.46/80.51 c New solution: 57796 80.46/80.51 o 57796 80.46/80.51 c Elapsed CPU time: 80.1398 s Remaining CPU time: 99.8602 s 80.46/80.51 c =============================================================================== 80.46/80.51 c | 5285 | 4030 27920 599553 | 9306 5285 542 | 31.404 % | 80.76/80.87 c =============================================================================== 80.76/80.87 c New solution: 57795 80.76/80.87 o 57795 80.76/80.87 c Elapsed CPU time: 80.4988 s Remaining CPU time: 99.5012 s 80.76/80.87 c =============================================================================== 80.76/80.87 c | 5285 | 4030 27921 601636 | 9307 5285 542 | 31.404 % | 81.16/81.25 c =============================================================================== 81.16/81.25 c New solution: 57794 81.16/81.25 o 57794 81.16/81.25 c Elapsed CPU time: 80.8807 s Remaining CPU time: 99.1193 s 81.16/81.25 c =============================================================================== 81.16/81.25 c | 5308 | 4030 27922 603719 | 9307 5308 542 | 31.404 % | 81.47/81.52 c =============================================================================== 81.47/81.52 c New solution: 57793 81.47/81.52 o 57793 81.47/81.52 c Elapsed CPU time: 81.1417 s Remaining CPU time: 98.8583 s 81.47/81.52 c =============================================================================== 81.47/81.52 c | 5309 | 4030 27923 605802 | 9307 5309 542 | 31.404 % | 81.77/81.89 c =============================================================================== 81.77/81.89 c New solution: 57792 81.77/81.89 o 57792 81.77/81.89 c Elapsed CPU time: 81.5176 s Remaining CPU time: 98.4824 s 81.77/81.89 c =============================================================================== 81.77/81.89 c | 5311 | 4030 27924 607885 | 9308 5311 542 | 31.404 % | 82.06/82.14 c =============================================================================== 82.06/82.14 c New solution: 57791 82.06/82.14 o 57791 82.06/82.14 c Elapsed CPU time: 81.7656 s Remaining CPU time: 98.2344 s 82.06/82.14 c =============================================================================== 82.06/82.14 c | 5315 | 4030 27925 609968 | 9308 5315 542 | 31.404 % | 82.37/82.48 c =============================================================================== 82.37/82.48 c New solution: 57790 82.37/82.48 o 57790 82.37/82.48 c Elapsed CPU time: 82.0985 s Remaining CPU time: 97.9015 s 82.37/82.48 c =============================================================================== 82.37/82.48 c | 5317 | 4030 27926 612051 | 9308 5317 542 | 31.404 % | 82.76/82.80 c =============================================================================== 82.76/82.80 c New solution: 57789 82.76/82.80 o 57789 82.76/82.80 c Elapsed CPU time: 82.4205 s Remaining CPU time: 97.5795 s 82.76/82.80 c =============================================================================== 82.76/82.80 c | 5317 | 4030 27927 614134 | 9309 5317 542 | 31.404 % | 83.06/83.12 c =============================================================================== 83.06/83.12 c New solution: 57788 83.06/83.12 o 57788 83.06/83.12 c Elapsed CPU time: 82.7404 s Remaining CPU time: 97.2596 s 83.06/83.12 c =============================================================================== 83.06/83.12 c | 5317 | 4030 27928 616217 | 9309 5317 542 | 31.404 % | 83.36/83.47 c =============================================================================== 83.36/83.47 c New solution: 57787 83.36/83.47 o 57787 83.36/83.47 c Elapsed CPU time: 83.0874 s Remaining CPU time: 96.9126 s 83.36/83.47 c =============================================================================== 83.36/83.47 c | 5318 | 4030 27929 618300 | 9309 5318 542 | 31.404 % | 83.66/83.78 c =============================================================================== 83.66/83.78 c New solution: 57786 83.66/83.78 o 57786 83.66/83.78 c Elapsed CPU time: 83.3973 s Remaining CPU time: 96.6027 s 83.66/83.78 c =============================================================================== 83.66/83.78 c | 5322 | 4030 27930 620383 | 9310 5322 542 | 31.404 % | 84.06/84.19 c =============================================================================== 84.06/84.19 c New solution: 57785 84.06/84.19 o 57785 84.06/84.19 c Elapsed CPU time: 83.8143 s Remaining CPU time: 96.1857 s 84.06/84.19 c =============================================================================== 84.06/84.19 c | 5327 | 4030 27931 622466 | 9310 5327 542 | 31.404 % | 86.06/86.15 c | 5427 | 4030 27931 622466 | 10241 5427 544 | 31.404 % | 89.27/89.35 c | 5577 | 4030 27931 622466 | 11265 5577 545 | 31.404 % | 89.47/89.59 c =============================================================================== 89.47/89.59 c New solution: 57784 89.47/89.59 o 57784 89.47/89.59 c Elapsed CPU time: 89.2064 s Remaining CPU time: 90.7936 s 89.47/89.59 c =============================================================================== 89.47/89.59 c | 5588 | 4030 27932 624549 | 9310 5588 546 | 31.404 % | 90.46/90.51 c | 5688 | 4030 27932 624549 | 10241 5688 547 | 31.404 % | 90.76/90.83 c =============================================================================== 90.76/90.83 c New solution: 57783 90.76/90.83 o 57783 90.76/90.83 c Elapsed CPU time: 90.4403 s Remaining CPU time: 89.5597 s 90.76/90.83 c =============================================================================== 90.76/90.83 c | 5696 | 4030 27933 626632 | 9311 5696 547 | 31.404 % | 91.06/91.18 c =============================================================================== 91.06/91.18 c New solution: 57782 91.06/91.18 o 57782 91.06/91.18 c Elapsed CPU time: 90.7852 s Remaining CPU time: 89.2148 s 91.06/91.18 c =============================================================================== 91.06/91.18 c | 5697 | 4030 27934 628715 | 9311 5697 547 | 31.404 % | 91.27/91.38 c =============================================================================== 91.27/91.38 c New solution: 57781 91.27/91.38 o 57781 91.27/91.38 c Elapsed CPU time: 90.9912 s Remaining CPU time: 89.0088 s 91.27/91.38 c =============================================================================== 91.27/91.38 c | 5700 | 4030 27935 630798 | 9311 5700 547 | 31.404 % | 91.36/91.47 c =============================================================================== 91.36/91.47 c New solution: 57780 91.36/91.47 o 57780 91.36/91.47 c Elapsed CPU time: 91.0792 s Remaining CPU time: 88.9208 s 91.36/91.47 c =============================================================================== 91.36/91.47 c | 5703 | 4030 27936 632881 | 9312 5703 547 | 31.404 % | 91.76/91.88 c =============================================================================== 91.76/91.88 c New solution: 57779 91.76/91.88 o 57779 91.76/91.88 c Elapsed CPU time: 91.4911 s Remaining CPU time: 88.5089 s 91.76/91.88 c =============================================================================== 91.76/91.88 c | 5703 | 4030 27937 634964 | 9312 5703 547 | 31.404 % | 92.16/92.24 c =============================================================================== 92.16/92.24 c New solution: 57778 92.16/92.24 o 57778 92.16/92.24 c Elapsed CPU time: 91.846 s Remaining CPU time: 88.154 s 92.16/92.24 c =============================================================================== 92.16/92.24 c | 5705 | 4030 27938 637047 | 9312 5705 547 | 31.404 % | 93.26/93.33 c | 5806 | 4030 27938 637047 | 10243 5806 547 | 31.404 % | 93.66/93.74 c =============================================================================== 93.66/93.74 c New solution: 57777 93.66/93.74 o 57777 93.66/93.74 c Elapsed CPU time: 93.3408 s Remaining CPU time: 86.6592 s 93.66/93.74 c =============================================================================== 93.66/93.74 c | 5809 | 4030 27939 639130 | 9313 5809 547 | 31.404 % | 94.36/94.46 c =============================================================================== 94.36/94.46 c New solution: 57776 94.36/94.46 o 57776 94.36/94.46 c Elapsed CPU time: 94.0607 s Remaining CPU time: 85.9393 s 94.36/94.46 c =============================================================================== 94.36/94.46 c | 5859 | 4030 27940 641213 | 9313 5859 547 | 31.404 % | 94.76/94.86 c =============================================================================== 94.76/94.86 c New solution: 57775 94.76/94.86 o 57775 94.76/94.86 c Elapsed CPU time: 94.4616 s Remaining CPU time: 85.5384 s 94.76/94.86 c =============================================================================== 94.76/94.86 c | 5861 | 4030 27941 643296 | 9313 5861 547 | 31.404 % | 95.16/95.28 c =============================================================================== 95.16/95.28 c New solution: 57774 95.16/95.28 o 57774 95.16/95.28 c Elapsed CPU time: 94.8866 s Remaining CPU time: 85.1134 s 95.16/95.28 c =============================================================================== 95.16/95.28 c | 5862 | 4030 27942 645379 | 9314 5862 547 | 31.404 % | 95.56/95.68 c =============================================================================== 95.56/95.68 c New solution: 57773 95.56/95.68 o 57773 95.56/95.68 c Elapsed CPU time: 95.2835 s Remaining CPU time: 84.7165 s 95.56/95.68 c =============================================================================== 95.56/95.68 c | 5863 | 4030 27943 647462 | 9314 5863 547 | 31.404 % | 96.95/97.01 c =============================================================================== 96.95/97.01 c New solution: 57772 96.95/97.01 o 57772 96.95/97.01 c Elapsed CPU time: 96.6153 s Remaining CPU time: 83.3847 s 96.95/97.01 c =============================================================================== 96.95/97.01 c | 5943 | 4030 27944 649545 | 9314 5943 548 | 31.404 % | 97.87/97.99 c =============================================================================== 97.87/97.99 c New solution: 57771 97.87/97.99 o 57771 97.87/97.99 c Elapsed CPU time: 97.5872 s Remaining CPU time: 82.4128 s 97.87/97.99 c =============================================================================== 97.87/97.99 c | 6017 | 4030 27945 651628 | 9315 6017 548 | 31.404 % | 98.36/98.42 c =============================================================================== 98.36/98.42 c New solution: 57770 98.36/98.42 o 57770 98.36/98.42 c Elapsed CPU time: 98.0211 s Remaining CPU time: 81.9789 s 98.36/98.42 c =============================================================================== 98.36/98.42 c | 6021 | 4030 27946 653711 | 9315 6021 548 | 31.404 % | 98.46/98.56 c =============================================================================== 98.46/98.56 c New solution: 57769 98.46/98.56 o 57769 98.46/98.56 c Elapsed CPU time: 98.1641 s Remaining CPU time: 81.8359 s 98.46/98.56 c =============================================================================== 98.46/98.56 c | 6033 | 4030 27947 655794 | 9315 6033 548 | 31.404 % | 98.76/98.81 c =============================================================================== 98.76/98.81 c New solution: 57768 98.76/98.81 o 57768 98.76/98.81 c Elapsed CPU time: 98.414 s Remaining CPU time: 81.586 s 98.76/98.81 c =============================================================================== 98.76/98.81 c | 6041 | 4030 27948 657877 | 9316 6041 548 | 31.404 % | 99.06/99.11 c =============================================================================== 99.06/99.11 c New solution: 56211 99.06/99.11 o 56211 99.06/99.11 c Elapsed CPU time: 98.705 s Remaining CPU time: 81.295 s 99.06/99.11 c =============================================================================== 99.06/99.11 c | 6044 | 4030 27949 659960 | 9316 6044 548 | 31.404 % | 99.36/99.48 c =============================================================================== 99.36/99.48 c New solution: 56139 99.36/99.48 o 56139 99.36/99.48 c Elapsed CPU time: 99.0779 s Remaining CPU time: 80.9221 s 99.36/99.48 c =============================================================================== 99.36/99.48 c | 6047 | 4030 27950 662043 | 9316 6047 548 | 31.404 % | 99.56/99.67 c =============================================================================== 99.56/99.67 c New solution: 54611 99.56/99.67 o 54611 99.56/99.67 c Elapsed CPU time: 99.2629 s Remaining CPU time: 80.7371 s 99.56/99.67 c =============================================================================== 99.56/99.67 c | 6050 | 4030 27951 664126 | 9317 6050 548 | 31.404 % | 99.96/100.03 c =============================================================================== 99.96/100.03 c New solution: 54570 99.96/100.03 o 54570 99.96/100.03 c Elapsed CPU time: 99.6259 s Remaining CPU time: 80.3741 s 99.96/100.03 c =============================================================================== 99.96/100.03 c | 6051 | 4030 27952 666209 | 9317 6051 548 | 31.404 % | 100.36/100.40 c =============================================================================== 100.36/100.40 c New solution: 54569 100.36/100.40 o 54569 100.36/100.40 c Elapsed CPU time: 99.9948 s Remaining CPU time: 80.0052 s 100.36/100.40 c =============================================================================== 100.36/100.40 c | 6054 | 4030 27953 668292 | 9317 6054 548 | 31.404 % | 100.66/100.74 c =============================================================================== 100.66/100.74 c New solution: 54568 100.66/100.74 o 54568 100.66/100.74 c Elapsed CPU time: 100.335 s Remaining CPU time: 79.6653 s 100.66/100.74 c =============================================================================== 100.66/100.74 c | 6055 | 4030 27954 670375 | 9318 6055 548 | 31.404 % | 100.96/101.05 c =============================================================================== 100.96/101.05 c New solution: 54567 100.96/101.05 o 54567 100.96/101.05 c Elapsed CPU time: 100.642 s Remaining CPU time: 79.3583 s 100.96/101.05 c =============================================================================== 100.96/101.05 c | 6056 | 4030 27955 672458 | 9318 6056 548 | 31.404 % | 101.25/101.35 c =============================================================================== 101.25/101.35 c New solution: 54566 101.25/101.35 o 54566 101.25/101.35 c Elapsed CPU time: 100.943 s Remaining CPU time: 79.0573 s 101.25/101.35 c =============================================================================== 101.25/101.35 c | 6061 | 4030 27956 674541 | 9318 6061 548 | 31.404 % | 101.55/101.60 c =============================================================================== 101.55/101.60 c New solution: 54560 101.55/101.60 o 54560 101.55/101.60 c Elapsed CPU time: 101.191 s Remaining CPU time: 78.8094 s 101.55/101.60 c =============================================================================== 101.55/101.60 c | 6062 | 4030 27957 676624 | 9319 6062 548 | 31.404 % | 101.85/101.99 c =============================================================================== 101.85/101.99 c New solution: 54559 101.85/101.99 o 54559 101.85/101.99 c Elapsed CPU time: 101.578 s Remaining CPU time: 78.4224 s 101.85/101.99 c =============================================================================== 101.85/101.99 c | 6080 | 4030 27958 678707 | 9319 6080 547 | 31.404 % | 102.27/102.35 c =============================================================================== 102.27/102.35 c New solution: 54558 102.27/102.35 o 54558 102.27/102.35 c Elapsed CPU time: 101.942 s Remaining CPU time: 78.0585 s 102.27/102.35 c =============================================================================== 102.27/102.35 c | 6082 | 4030 27959 680790 | 9319 6082 547 | 31.404 % | 102.56/102.65 c =============================================================================== 102.56/102.65 c New solution: 54557 102.56/102.65 o 54557 102.56/102.65 c Elapsed CPU time: 102.242 s Remaining CPU time: 77.7575 s 102.56/102.65 c =============================================================================== 102.56/102.65 c | 6087 | 4030 27960 682873 | 9320 6087 547 | 31.404 % | 103.06/103.11 c =============================================================================== 103.06/103.11 c New solution: 54556 103.06/103.11 o 54556 103.06/103.11 c Elapsed CPU time: 102.693 s Remaining CPU time: 77.3066 s 103.06/103.11 c =============================================================================== 103.06/103.11 c | 6089 | 4030 27961 684956 | 9320 6089 547 | 31.404 % | 103.26/103.32 c =============================================================================== 103.26/103.32 c New solution: 54555 103.26/103.32 o 54555 103.26/103.32 c Elapsed CPU time: 102.904 s Remaining CPU time: 77.0956 s 103.26/103.32 c =============================================================================== 103.26/103.32 c | 6092 | 4030 27962 687039 | 9320 6092 547 | 31.404 % | 103.66/103.71 c =============================================================================== 103.66/103.71 c New solution: 54514 103.66/103.71 o 54514 103.66/103.71 c Elapsed CPU time: 103.295 s Remaining CPU time: 76.7047 s 103.66/103.71 c =============================================================================== 103.66/103.71 c | 6099 | 4030 27963 689122 | 9321 6099 547 | 31.404 % | 103.86/103.97 c =============================================================================== 103.86/103.97 c New solution: 52956 103.86/103.97 o 52956 103.86/103.97 c Elapsed CPU time: 103.558 s Remaining CPU time: 76.4417 s 103.86/103.97 c =============================================================================== 103.86/103.97 c | 6099 | 4030 27964 691205 | 9321 6099 547 | 31.404 % | 104.16/104.27 c =============================================================================== 104.16/104.27 c New solution: 52955 104.16/104.27 o 52955 104.16/104.27 c Elapsed CPU time: 103.847 s Remaining CPU time: 76.1528 s 104.16/104.27 c =============================================================================== 104.16/104.27 c | 6099 | 4030 27965 693288 | 9321 6099 547 | 31.404 % | 104.46/104.53 c =============================================================================== 104.46/104.53 c New solution: 52954 104.46/104.53 o 52954 104.46/104.53 c Elapsed CPU time: 104.114 s Remaining CPU time: 75.8858 s 104.46/104.53 c =============================================================================== 104.46/104.53 c | 6099 | 4030 27966 695371 | 9322 6099 547 | 31.404 % | 104.65/104.71 c =============================================================================== 104.65/104.71 c New solution: 52953 104.65/104.71 o 52953 104.65/104.71 c Elapsed CPU time: 104.291 s Remaining CPU time: 75.7089 s 104.65/104.71 c =============================================================================== 104.65/104.71 c | 6103 | 4030 27967 697454 | 9322 6103 547 | 31.404 % | 104.95/105.09 c =============================================================================== 104.95/105.09 c New solution: 52946 104.95/105.09 o 52946 104.95/105.09 c Elapsed CPU time: 104.667 s Remaining CPU time: 75.3329 s 104.95/105.09 c =============================================================================== 104.95/105.09 c | 6106 | 4030 27968 699537 | 9322 6106 547 | 31.404 % | 105.36/105.43 c =============================================================================== 105.36/105.43 c New solution: 52945 105.36/105.43 o 52945 105.36/105.43 c Elapsed CPU time: 105.01 s Remaining CPU time: 74.99 s 105.36/105.43 c =============================================================================== 105.36/105.43 c | 6106 | 4030 27969 701620 | 9323 6106 547 | 31.404 % | 105.57/105.67 c =============================================================================== 105.57/105.67 c New solution: 52943 105.57/105.67 o 52943 105.57/105.67 c Elapsed CPU time: 105.246 s Remaining CPU time: 74.754 s 105.57/105.67 c =============================================================================== 105.57/105.67 c | 6108 | 4030 27970 703703 | 9323 6108 547 | 31.404 % | 105.96/106.09 c =============================================================================== 105.96/106.09 c New solution: 52872 105.96/106.09 o 52872 105.96/106.09 c Elapsed CPU time: 105.67 s Remaining CPU time: 74.3301 s 105.96/106.09 c =============================================================================== 105.96/106.09 c | 6111 | 4030 27971 705786 | 9323 6111 547 | 31.404 % | 106.36/106.40 c =============================================================================== 106.36/106.40 c New solution: 51351 106.36/106.40 o 51351 106.36/106.40 c Elapsed CPU time: 105.978 s Remaining CPU time: 74.0221 s 106.36/106.40 c =============================================================================== 106.36/106.40 c | 6113 | 4030 27972 707869 | 9324 6113 547 | 31.404 % | 106.76/106.88 c =============================================================================== 106.76/106.88 c New solution: 51292 106.76/106.88 o 51292 106.76/106.88 c Elapsed CPU time: 106.452 s Remaining CPU time: 73.5482 s 106.76/106.88 c =============================================================================== 106.76/106.88 c | 6116 | 4030 27973 709952 | 9324 6116 547 | 31.404 % | 107.56/107.67 c =============================================================================== 107.56/107.67 c New solution: 51291 107.56/107.67 o 51291 107.56/107.67 c Elapsed CPU time: 107.239 s Remaining CPU time: 72.7613 s 107.56/107.67 c =============================================================================== 107.56/107.67 c | 6160 | 4030 27974 712035 | 9324 6160 547 | 31.404 % | 108.05/108.18 c =============================================================================== 108.05/108.18 c New solution: 51256 108.05/108.18 o 51256 108.05/108.18 c Elapsed CPU time: 107.751 s Remaining CPU time: 72.2494 s 108.05/108.18 c =============================================================================== 108.05/108.18 c | 6160 | 4030 27975 714118 | 9325 6160 547 | 31.404 % | 108.76/108.85 c =============================================================================== 108.76/108.85 c New solution: 51255 108.76/108.85 o 51255 108.76/108.85 c Elapsed CPU time: 108.422 s Remaining CPU time: 71.5785 s 108.76/108.85 c =============================================================================== 108.76/108.85 c | 6199 | 4030 27976 716201 | 9325 6199 548 | 31.404 % | 109.96/110.04 c =============================================================================== 109.96/110.04 c New solution: 51254 109.96/110.04 o 51254 109.96/110.04 c Elapsed CPU time: 109.609 s Remaining CPU time: 70.3907 s 109.96/110.04 c =============================================================================== 109.96/110.04 c | 6264 | 4030 27977 718284 | 9325 6264 549 | 31.404 % | 110.45/110.58 c =============================================================================== 110.45/110.58 c New solution: 51253 110.45/110.58 o 51253 110.45/110.58 c Elapsed CPU time: 110.15 s Remaining CPU time: 69.8497 s 110.45/110.58 c =============================================================================== 110.45/110.58 c | 6266 | 4030 27978 720367 | 9326 6266 549 | 31.404 % | 111.76/111.84 c | 6367 | 4030 27978 720367 | 10258 6367 550 | 31.404 % | 114.75/114.80 c | 6518 | 4030 27978 720367 | 11284 6518 551 | 31.404 % | 115.25/115.30 c =============================================================================== 115.25/115.30 c New solution: 51252 115.25/115.30 o 51252 115.25/115.30 c Elapsed CPU time: 114.861 s Remaining CPU time: 65.1395 s 115.25/115.30 c =============================================================================== 115.25/115.30 c | 6518 | 4030 27979 722450 | 9326 6518 551 | 31.404 % | 115.55/115.67 c =============================================================================== 115.55/115.67 c New solution: 51251 115.55/115.67 o 51251 115.55/115.67 c Elapsed CPU time: 115.227 s Remaining CPU time: 64.7725 s 115.55/115.67 c =============================================================================== 115.55/115.67 c | 6534 | 4030 27980 724533 | 9326 6534 551 | 31.404 % | 116.05/116.17 c =============================================================================== 116.05/116.17 c New solution: 51250 116.05/116.17 o 51250 116.05/116.17 c Elapsed CPU time: 115.729 s Remaining CPU time: 64.2706 s 116.05/116.17 c =============================================================================== 116.05/116.17 c | 6534 | 4030 27981 726616 | 9327 6534 551 | 31.404 % | 116.56/116.68 c =============================================================================== 116.56/116.68 c New solution: 51249 116.56/116.68 o 51249 116.56/116.68 c Elapsed CPU time: 116.232 s Remaining CPU time: 63.7677 s 116.56/116.68 c =============================================================================== 116.56/116.68 c | 6534 | 4030 27982 728699 | 9327 6534 551 | 31.404 % | 117.05/117.15 c =============================================================================== 117.05/117.15 c New solution: 51248 117.05/117.15 o 51248 117.05/117.15 c Elapsed CPU time: 116.708 s Remaining CPU time: 63.2917 s 117.05/117.15 c =============================================================================== 117.05/117.15 c | 6534 | 4030 27983 730782 | 9327 6534 551 | 31.404 % | 117.45/117.51 c =============================================================================== 117.45/117.51 c New solution: 51247 117.45/117.51 o 51247 117.45/117.51 c Elapsed CPU time: 117.062 s Remaining CPU time: 62.9378 s 117.45/117.51 c =============================================================================== 117.45/117.51 c | 6541 | 4030 27984 732865 | 9328 6541 551 | 31.404 % | 117.95/118.01 c =============================================================================== 117.95/118.01 c New solution: 51246 117.95/118.01 o 51246 117.95/118.01 c Elapsed CPU time: 117.567 s Remaining CPU time: 62.4329 s 117.95/118.01 c =============================================================================== 117.95/118.01 c | 6541 | 4030 27985 734948 | 9328 6541 551 | 31.404 % | 118.46/118.51 c =============================================================================== 118.46/118.51 c New solution: 51245 118.46/118.51 o 51245 118.46/118.51 c Elapsed CPU time: 118.065 s Remaining CPU time: 61.9349 s 118.46/118.51 c =============================================================================== 118.46/118.51 c | 6541 | 4030 27986 737031 | 9328 6541 551 | 31.404 % | 118.96/119.02 c =============================================================================== 118.96/119.02 c New solution: 51244 118.96/119.02 o 51244 118.96/119.02 c Elapsed CPU time: 118.578 s Remaining CPU time: 61.422 s 118.96/119.02 c =============================================================================== 118.96/119.02 c | 6541 | 4030 27987 739114 | 9329 6541 551 | 31.404 % | 119.46/119.52 c =============================================================================== 119.46/119.52 c New solution: 51243 119.46/119.52 o 51243 119.46/119.52 c Elapsed CPU time: 119.072 s Remaining CPU time: 60.9281 s 119.46/119.52 c =============================================================================== 119.46/119.52 c | 6541 | 4030 27988 741197 | 9329 6541 551 | 31.404 % | 119.95/120.01 c =============================================================================== 119.95/120.01 c New solution: 51242 119.95/120.01 o 51242 119.95/120.01 c Elapsed CPU time: 119.56 s Remaining CPU time: 60.4402 s 119.95/120.01 c =============================================================================== 119.95/120.01 c | 6541 | 4030 27989 743280 | 9329 6541 551 | 31.404 % | 120.45/120.50 c =============================================================================== 120.45/120.50 c New solution: 51241 120.45/120.50 o 51241 120.45/120.50 c Elapsed CPU time: 120.051 s Remaining CPU time: 59.9493 s 120.45/120.50 c =============================================================================== 120.45/120.50 c | 6541 | 4030 27990 745363 | 9330 6541 551 | 31.404 % | 120.86/120.99 c =============================================================================== 120.86/120.99 c New solution: 51240 120.86/120.99 o 51240 120.86/120.99 c Elapsed CPU time: 120.541 s Remaining CPU time: 59.4593 s 120.86/120.99 c =============================================================================== 120.86/120.99 c | 6541 | 4030 27991 747446 | 9330 6541 551 | 31.404 % | 121.35/121.48 c =============================================================================== 121.35/121.48 c New solution: 51239 121.35/121.48 o 51239 121.35/121.48 c Elapsed CPU time: 121.032 s Remaining CPU time: 58.9684 s 121.35/121.48 c =============================================================================== 121.35/121.48 c | 6542 | 4030 27992 749529 | 9330 6542 551 | 31.404 % | 123.06/123.18 c | 6642 | 4030 27992 749529 | 10263 6642 552 | 31.404 % | 123.65/123.79 c =============================================================================== 123.65/123.79 c New solution: 51238 123.65/123.79 o 51238 123.65/123.79 c Elapsed CPU time: 123.341 s Remaining CPU time: 56.6588 s 123.65/123.79 c =============================================================================== 123.65/123.79 c | 6642 | 4030 27993 751612 | 9331 6642 552 | 31.404 % | 125.55/125.60 c | 6742 | 4030 27993 751612 | 10264 6742 553 | 31.404 % | 126.05/126.13 c =============================================================================== 126.05/126.13 c New solution: 51237 126.05/126.13 o 51237 126.05/126.13 c Elapsed CPU time: 125.677 s Remaining CPU time: 54.3231 s 126.05/126.13 c =============================================================================== 126.05/126.13 c | 6743 | 4030 27994 753695 | 9331 6743 553 | 31.404 % | 126.55/126.61 c =============================================================================== 126.55/126.61 c New solution: 51236 126.55/126.61 o 51236 126.55/126.61 c Elapsed CPU time: 126.159 s Remaining CPU time: 53.8412 s 126.55/126.61 c =============================================================================== 126.55/126.61 c | 6743 | 4030 27995 755778 | 9331 6743 553 | 31.404 % | 126.95/127.09 c =============================================================================== 126.95/127.09 c New solution: 51235 126.95/127.09 o 51235 126.95/127.09 c Elapsed CPU time: 126.639 s Remaining CPU time: 53.3613 s 126.95/127.09 c =============================================================================== 126.95/127.09 c | 6743 | 4030 27996 757861 | 9332 6743 553 | 31.404 % | 127.45/127.55 c =============================================================================== 127.45/127.55 c New solution: 51234 127.45/127.55 o 51234 127.45/127.55 c Elapsed CPU time: 127.095 s Remaining CPU time: 52.9053 s 127.45/127.55 c =============================================================================== 127.45/127.55 c | 6748 | 4030 27997 759944 | 9332 6748 553 | 31.404 % | 127.95/128.05 c =============================================================================== 127.95/128.05 c New solution: 51233 127.95/128.05 o 51233 127.95/128.05 c Elapsed CPU time: 127.59 s Remaining CPU time: 52.4104 s 127.95/128.05 c =============================================================================== 127.95/128.05 c | 6748 | 4030 27998 762027 | 9332 6748 553 | 31.404 % | 128.45/128.53 c =============================================================================== 128.45/128.53 c New solution: 51232 128.45/128.53 o 51232 128.45/128.53 c Elapsed CPU time: 128.068 s Remaining CPU time: 51.9325 s 128.45/128.53 c =============================================================================== 128.45/128.53 c | 6748 | 4030 27999 764110 | 9333 6748 553 | 31.404 % | 129.25/129.37 c =============================================================================== 129.25/129.37 c New solution: 51231 129.25/129.37 o 51231 129.25/129.37 c Elapsed CPU time: 128.913 s Remaining CPU time: 51.0866 s 129.25/129.37 c =============================================================================== 129.25/129.37 c | 6792 | 4030 28000 766193 | 9333 6792 553 | 31.404 % | 129.76/129.86 c =============================================================================== 129.76/129.86 c New solution: 51228 129.76/129.86 o 51228 129.76/129.86 c Elapsed CPU time: 129.401 s Remaining CPU time: 50.5987 s 129.76/129.86 c =============================================================================== 129.76/129.86 c | 6793 | 4030 28001 768276 | 9333 6793 553 | 31.404 % | 130.25/130.32 c =============================================================================== 130.25/130.32 c New solution: 51227 130.25/130.32 o 51227 130.25/130.32 c Elapsed CPU time: 129.857 s Remaining CPU time: 50.1427 s 130.25/130.32 c =============================================================================== 130.25/130.32 c | 6797 | 4030 28002 770359 | 9334 6797 553 | 31.404 % | 131.15/131.27 c =============================================================================== 131.15/131.27 c New solution: 51226 131.15/131.27 o 51226 131.15/131.27 c Elapsed CPU time: 130.807 s Remaining CPU time: 49.1929 s 131.15/131.27 c =============================================================================== 131.15/131.27 c | 6847 | 4030 28003 772442 | 9334 6847 553 | 31.404 % | 132.05/132.18 c =============================================================================== 132.05/132.18 c New solution: 49668 132.05/132.18 o 49668 132.05/132.18 c Elapsed CPU time: 131.719 s Remaining CPU time: 48.281 s 132.05/132.18 c =============================================================================== 132.05/132.18 c | 6874 | 4030 28004 774525 | 9334 6874 553 | 31.404 % | 132.65/132.77 c =============================================================================== 132.65/132.77 c New solution: 49667 132.65/132.77 o 49667 132.65/132.77 c Elapsed CPU time: 132.308 s Remaining CPU time: 47.6921 s 132.65/132.77 c =============================================================================== 132.65/132.77 c | 6882 | 4030 28005 776608 | 9335 6882 553 | 31.404 % | 133.14/133.28 c =============================================================================== 133.14/133.28 c New solution: 49656 133.14/133.28 o 49656 133.14/133.28 c Elapsed CPU time: 132.81 s Remaining CPU time: 47.1902 s 133.14/133.28 c =============================================================================== 133.14/133.28 c | 6894 | 4030 28006 778691 | 9335 6894 553 | 31.404 % | 133.64/133.77 c =============================================================================== 133.64/133.77 c New solution: 49655 133.64/133.77 o 49655 133.64/133.77 c Elapsed CPU time: 133.307 s Remaining CPU time: 46.6933 s 133.64/133.77 c =============================================================================== 133.64/133.77 c | 6907 | 4030 28007 780774 | 9335 6907 553 | 31.404 % | 134.15/134.21 c =============================================================================== 134.15/134.21 c New solution: 49631 134.15/134.21 o 49631 134.15/134.21 c Elapsed CPU time: 133.737 s Remaining CPU time: 46.2633 s 134.15/134.21 c =============================================================================== 134.15/134.21 c | 6911 | 4030 28008 782857 | 9336 6911 553 | 31.404 % | 134.55/134.62 c =============================================================================== 134.55/134.62 c New solution: 49630 134.55/134.62 o 49630 134.55/134.62 c Elapsed CPU time: 134.153 s Remaining CPU time: 45.8474 s 134.55/134.62 c =============================================================================== 134.55/134.62 c | 6924 | 4030 28009 784940 | 9336 6924 553 | 31.404 % | 135.26/135.37 c =============================================================================== 135.26/135.37 c New solution: 49629 135.26/135.37 o 49629 135.26/135.37 c Elapsed CPU time: 134.901 s Remaining CPU time: 45.0985 s 135.26/135.37 c =============================================================================== 135.26/135.37 c | 7003 | 4030 28010 787023 | 9336 7003 552 | 31.404 % | 135.85/135.94 c =============================================================================== 135.85/135.94 c New solution: 49628 135.85/135.94 o 49628 135.85/135.94 c Elapsed CPU time: 135.47 s Remaining CPU time: 44.5296 s 135.85/135.94 c =============================================================================== 135.85/135.94 c | 7004 | 4030 28011 789106 | 9337 7004 552 | 31.404 % | 136.05/136.17 c =============================================================================== 136.05/136.17 c New solution: 48032 136.05/136.17 o 48032 136.05/136.17 c Elapsed CPU time: 135.691 s Remaining CPU time: 44.3086 s 136.05/136.17 c =============================================================================== 136.05/136.17 c | 7007 | 4030 28012 791189 | 9337 7007 552 | 31.404 % | 136.25/136.38 c =============================================================================== 136.25/136.38 c New solution: 46430 136.25/136.38 o 46430 136.25/136.38 c Elapsed CPU time: 135.904 s Remaining CPU time: 44.0957 s 136.25/136.38 c =============================================================================== 136.25/136.38 c | 7008 | 4030 28013 793272 | 9337 7008 552 | 31.404 % | 136.45/136.57 c =============================================================================== 136.45/136.57 c New solution: 46413 136.45/136.57 o 46413 136.45/136.57 c Elapsed CPU time: 136.091 s Remaining CPU time: 43.9087 s 136.45/136.57 c =============================================================================== 136.45/136.57 c | 7008 | 4030 28014 795355 | 9338 7008 552 | 31.404 % | 136.64/136.76 c =============================================================================== 136.64/136.76 c New solution: 46412 136.64/136.76 o 46412 136.64/136.76 c Elapsed CPU time: 136.278 s Remaining CPU time: 43.7217 s 136.64/136.76 c =============================================================================== 136.64/136.76 c | 7012 | 4030 28015 797438 | 9338 7012 552 | 31.404 % | 137.14/137.29 c =============================================================================== 137.14/137.29 c New solution: 46400 137.14/137.29 o 46400 137.14/137.29 c Elapsed CPU time: 136.807 s Remaining CPU time: 43.1928 s 137.14/137.29 c =============================================================================== 137.14/137.29 c | 7014 | 4030 28016 799521 | 9338 7014 552 | 31.404 % | 137.64/137.76 c =============================================================================== 137.64/137.76 c New solution: 46376 137.64/137.76 o 46376 137.64/137.76 c Elapsed CPU time: 137.278 s Remaining CPU time: 42.7219 s 137.64/137.76 c =============================================================================== 137.64/137.76 c | 7015 | 4030 28017 801604 | 9339 7015 552 | 31.404 % | 138.56/138.70 c =============================================================================== 138.56/138.70 c New solution: 46375 138.56/138.70 o 46375 138.56/138.70 c Elapsed CPU time: 138.212 s Remaining CPU time: 41.788 s 138.56/138.70 c =============================================================================== 138.56/138.70 c | 7102 | 4030 28018 803687 | 9339 7102 553 | 31.404 % | 139.15/139.24 c =============================================================================== 139.15/139.24 c New solution: 46374 139.15/139.24 o 46374 139.15/139.24 c Elapsed CPU time: 138.756 s Remaining CPU time: 41.2441 s 139.15/139.24 c =============================================================================== 139.15/139.24 c | 7107 | 4030 28019 805770 | 9339 7107 553 | 31.404 % | 139.75/139.82 c =============================================================================== 139.75/139.82 c New solution: 46362 139.75/139.83 o 46362 139.75/139.83 c Elapsed CPU time: 139.341 s Remaining CPU time: 40.6592 s 139.75/139.83 c =============================================================================== 139.75/139.83 c | 7117 | 4030 28020 807853 | 9340 7117 553 | 31.404 % | 140.35/140.42 c =============================================================================== 140.35/140.42 c New solution: 46361 140.35/140.42 o 46361 140.35/140.42 c Elapsed CPU time: 139.931 s Remaining CPU time: 40.0693 s 140.35/140.42 c =============================================================================== 140.35/140.42 c | 7121 | 4030 28021 809936 | 9340 7121 553 | 31.404 % | 140.95/141.04 c =============================================================================== 140.95/141.04 c New solution: 46360 140.95/141.04 o 46360 140.95/141.04 c Elapsed CPU time: 140.552 s Remaining CPU time: 39.4484 s 140.95/141.04 c =============================================================================== 140.95/141.04 c | 7147 | 4030 28022 812019 | 9340 7147 553 | 31.404 % | 143.15/143.21 c | 7247 | 4030 28022 812019 | 10274 7247 554 | 31.404 % | 143.65/143.76 c =============================================================================== 143.65/143.76 c New solution: 46359 143.65/143.76 o 46359 143.65/143.76 c Elapsed CPU time: 143.271 s Remaining CPU time: 36.7288 s 143.65/143.76 c =============================================================================== 143.65/143.76 c | 7249 | 4030 28023 814102 | 9341 7249 554 | 31.404 % | 144.14/144.28 c =============================================================================== 144.14/144.28 c New solution: 46358 144.14/144.28 o 46358 144.14/144.28 c Elapsed CPU time: 143.795 s Remaining CPU time: 36.2049 s 144.14/144.28 c =============================================================================== 144.14/144.28 c | 7258 | 4030 28024 816185 | 9341 7258 554 | 31.404 % | 145.15/145.22 c =============================================================================== 145.15/145.22 c New solution: 46357 145.15/145.22 o 46357 145.15/145.22 c Elapsed CPU time: 144.726 s Remaining CPU time: 35.274 s 145.15/145.22 c =============================================================================== 145.15/145.22 c | 7302 | 4030 28025 818268 | 9341 7302 554 | 31.404 % | 145.64/145.76 c =============================================================================== 145.64/145.76 c New solution: 46356 145.64/145.76 o 46356 145.64/145.76 c Elapsed CPU time: 145.272 s Remaining CPU time: 34.7281 s 145.64/145.76 c =============================================================================== 145.64/145.76 c | 7315 | 4030 28026 820351 | 9342 7315 554 | 31.404 % | 146.15/146.28 c =============================================================================== 146.15/146.28 c New solution: 46355 146.15/146.28 o 46355 146.15/146.28 c Elapsed CPU time: 145.79 s Remaining CPU time: 34.2102 s 146.15/146.28 c =============================================================================== 146.15/146.28 c | 7316 | 4030 28027 822434 | 9342 7316 554 | 31.404 % | 146.74/146.80 c =============================================================================== 146.74/146.80 c New solution: 46354 146.74/146.80 o 46354 146.74/146.80 c Elapsed CPU time: 146.309 s Remaining CPU time: 33.6912 s 146.74/146.80 c =============================================================================== 146.74/146.80 c | 7316 | 4030 28028 824517 | 9342 7316 554 | 31.404 % | 147.74/147.84 c =============================================================================== 147.74/147.84 c New solution: 46353 147.74/147.84 o 46353 147.74/147.84 c Elapsed CPU time: 147.346 s Remaining CPU time: 32.6544 s 147.74/147.84 c =============================================================================== 147.74/147.84 c | 7375 | 4030 28029 826600 | 9343 7375 554 | 31.404 % | 149.45/149.58 c | 7475 | 4030 28029 826600 | 10277 7475 555 | 31.404 % | 153.04/153.11 c =============================================================================== 153.04/153.11 c New solution: 46352 153.04/153.11 o 46352 153.04/153.11 c Elapsed CPU time: 152.609 s Remaining CPU time: 27.3912 s 153.04/153.11 c =============================================================================== 153.04/153.11 c | 7597 | 4030 28030 828683 | 9343 7597 556 | 31.404 % | 154.54/154.60 c =============================================================================== 154.54/154.60 c New solution: 46351 154.54/154.60 o 46351 154.54/154.60 c Elapsed CPU time: 154.093 s Remaining CPU time: 25.9074 s 154.54/154.60 c =============================================================================== 154.54/154.60 c | 7667 | 4030 28031 830766 | 9343 7667 557 | 31.404 % | 155.74/155.80 c | 7767 | 4030 28031 830766 | 10278 7767 557 | 31.404 % | 156.34/156.47 c =============================================================================== 156.34/156.47 c New solution: 46327 156.34/156.47 o 46327 156.34/156.47 c Elapsed CPU time: 155.96 s Remaining CPU time: 24.0397 s 156.34/156.47 c =============================================================================== 156.34/156.47 c | 7767 | 4030 28032 832849 | 9344 7767 557 | 31.404 % | 158.35/158.47 c | 7867 | 4030 28032 832849 | 10278 7867 558 | 31.404 % | 159.04/159.10 c =============================================================================== 159.04/159.10 c New solution: 46326 159.04/159.10 o 46326 159.04/159.10 c Elapsed CPU time: 158.592 s Remaining CPU time: 21.4081 s 159.04/159.10 c =============================================================================== 159.04/159.10 c | 7867 | 4030 28033 834932 | 9344 7867 558 | 31.404 % | 161.14/161.26 c | 7967 | 4030 28033 834932 | 10278 7967 558 | 31.404 % | 161.94/162.02 c =============================================================================== 161.94/162.02 c New solution: 46325 161.94/162.02 o 46325 161.94/162.02 c Elapsed CPU time: 161.508 s Remaining CPU time: 18.4916 s 161.94/162.02 c =============================================================================== 161.94/162.02 c | 7968 | 4030 28034 837015 | 9344 7968 558 | 31.404 % | 164.13/164.21 c | 8070 | 4030 28034 837015 | 10279 8070 558 | 31.404 % | 166.73/166.82 c | 8220 | 4030 28034 837015 | 11307 8220 559 | 31.404 % | 167.93/168.01 c =============================================================================== 167.93/168.01 c New solution: 46324 167.93/168.01 o 46324 167.93/168.01 c Elapsed CPU time: 167.487 s Remaining CPU time: 12.5135 s 167.93/168.01 c =============================================================================== 167.93/168.01 c | 8281 | 4030 28035 839098 | 9345 8281 559 | 31.404 % | 168.43/168.58 c =============================================================================== 168.43/168.58 c New solution: 46323 168.43/168.58 o 46323 168.43/168.58 c Elapsed CPU time: 168.06 s Remaining CPU time: 11.9395 s 168.43/168.58 c =============================================================================== 168.43/168.58 c | 8287 | 4030 28036 841181 | 9345 8287 559 | 31.404 % | 168.94/169.06 c =============================================================================== 168.94/169.06 c New solution: 46322 168.94/169.06 o 46322 168.94/169.06 c Elapsed CPU time: 168.536 s Remaining CPU time: 11.4636 s 168.94/169.06 c =============================================================================== 168.94/169.06 c | 8300 | 4030 28037 843264 | 9345 8300 559 | 31.404 % | 173.04/173.12 c | 8400 | 4030 28037 843264 | 10280 8400 559 | 31.404 % | 173.74/173.83 c =============================================================================== 173.74/173.83 c New solution: 46321 173.74/173.83 o 46321 173.74/173.83 c Elapsed CPU time: 173.302 s Remaining CPU time: 6.69835 s 173.74/173.83 c =============================================================================== 173.74/173.83 c | 8429 | 4030 28038 845347 | 9346 8429 559 | 31.404 % | 174.74/174.83 c =============================================================================== 174.74/174.83 c New solution: 46320 174.74/174.83 o 46320 174.74/174.83 c Elapsed CPU time: 174.301 s Remaining CPU time: 5.6995 s 174.74/174.83 c =============================================================================== 174.74/174.83 c | 8472 | 4030 28039 847430 | 9346 8472 559 | 31.404 % | 175.13/175.22 c =============================================================================== 175.13/175.22 c New solution: 46319 175.13/175.22 o 46319 175.13/175.22 c Elapsed CPU time: 174.694 s Remaining CPU time: 5.30556 s 175.13/175.22 c =============================================================================== 175.13/175.22 c | 8475 | 4030 28040 849513 | 9346 8475 559 | 31.404 % | 178.23/178.31 c | 8576 | 4030 28040 849513 | 10281 8576 559 | 31.404 % | 180.44/180.57 c There are 1845 assigned variables. 347 in cost function. 181.64/181.74 c core #1 181.64/181.74 c core #2 181.64/181.74 c core #3 181.64/181.74 c core #4 181.64/181.74 c core #5 181.64/181.74 c core #6 181.64/181.74 c core #7 181.64/181.74 c core #8 181.64/181.74 c core #9 181.64/181.74 c core #10 181.64/181.74 c core #11 181.64/181.74 c core #12 181.64/181.74 c core #13 181.64/181.74 c core #14 181.64/181.74 c core #15 181.64/181.74 c core #16 181.64/181.74 c core #17 181.64/181.74 c core #18 181.64/181.74 c core #19 181.64/181.74 c ============================[ Search Statistics ]============================== 181.64/181.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.74 c =============================================================================== 181.64/181.74 c | 0 | 643 18621 7773 | 6207 0 nan | 0.000 % | 181.64/181.74 c =============================================================================== 181.64/181.76 c #cores: 19 181.64/181.76 c Final Weight: 3511 181.64/181.76 o 3511 181.64/181.76 s OPTIMUM FOUND 181.64/181.76 v -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 -x5631 -x5632 -x5633 x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 x5687 -x5688 x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 x5732 x5733 x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 x5774 -x5775 x5776 x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 x5792 x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 x5829 -x5830 -x5831 x5832 x5833 -x5834 -x5835 x5836 x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 x5854 x5855 x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 x5873 x5874 x5875 x1 -x2 -x3 x4 -x5 x6 -x7 -x8 -x9 x10 -x11 x12 -x13 x14 -x15 -x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 -x25 x26 -x27 x28 x29 -x30 x31 -x32 x33 x34 -x35 x36 -x37 -x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 x139 -x140 x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 x268 -x269 x270 x271 -x272 x273 -x274 x275 x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 x292 -x293 x294 -x295 -x296 x297 x298 -x299 -x300 -x301 x302 x303 -x304 -x305 x306 x307 -x308 -x309 x310 -x311 x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 x348 -x349 -x350 x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 x382 x383 x384 x385 x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 x422 -x423 x424 x425 x426 -x427 -x428 -x429 x430 x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 x476 -x477 x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 x523 -x524 x525 -x526 -x527 x528 -x529 -x530 x531 -x532 x533 x534 -x535 -x536 x537 -x538 -x539 x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 x603 x604 -x605 -x606 x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 x619 -x620 x621 x622 -x623 x624 -x625 -x626 x627 -x628 x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 x637 x638 -x639 x640 x641 x642 x643 x644 -x645 x646 x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 x717 -x718 -x719 x720 x721 -x722 -x723 -x724 x725 -x726 x727 -x728 x729 x730 -x731 -x732 x733 x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 x752 -x753 -x754 x755 -x756 x757 -x758 -x759 x760 -x761 x762 -x763 x764 -x765 -x766 x767 x768 -x769 -x770 x771 -x772 x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 x783 -x784 -x785 x786 -x787 x788 -x789 -x790 -x791 -x792 x793 -x794 x795 x796 -x797 -x798 -x799 -x800 x801 -x802 x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 x815 -x816 -x817 x818 x819 -x820 x821 -x822 x823 x824 -x825 x826 -x827 -x828 -x829 -x830 x831 -x832 x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 x841 x842 -x843 -x844 x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 x864 x865 -x866 x867 -x868 x869 -x870 x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 x887 x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 x913 x914 -x915 -x916 -x917 x918 -x919 -x920 x921 -x922 x923 x924 -x925 x926 -x927 -x928 x929 x930 -x931 -x932 -x933 -x934 x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 x973 -x974 x975 -x976 -x977 x978 x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 x1023 -x1024 x1025 -x1026 x1027 -x1028 -x1029 x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 x1141 x1142 x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 x1159 -x1160 -x1161 -x1162 x1163 -x1164 x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 x1178 -x1179 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 x1198 x1199 x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 x1251 -x1252 -x1253 x1254 x1255 -x1256 x1257 -x1258 -x1259 x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 x1278 x1279 -x1280 -x1281 x1282 x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 x1315 x1316 -x1317 -x1318 x1319 -x1320 x1321 -x1322 x1323 x1324 x1325 -x1326 -x1327 x1328 -x1329 x1330 -x1331 -x1332 x1333 -x1334 x1335 -x1336 x1337 -x1338 x1339 -x1340 x1341 x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 x1356 x1357 -x1358 -x1359 x1360 -x1361 -x1362 x1363 -x1364 -x1365 x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 x1424 -x1425 x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 x1454 x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 x1585 x1586 x1587 x1588 x1589 -x1590 x1591 -x1592 -x1593 x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 x1606 -x1607 x1608 -x1609 x1610 x1611 -x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 -x1623 x1624 x1625 -x1626 x1627 -x1628 -x1629 -x1630 x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672 x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 x1695 x1696 x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 x1793 -x1794 x1795 -x1796 x1797 -x1798 -x1799 x1800 x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 -x1809 x1810 -x1811 x1812 x1813 -x1814 x1815 -x1816 x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 x1827 -x1828 -x1829 x1830 -x1831 -x1832 x1833 -x1834 x1835 -x1836 x1837 -x1838 x1839 x1840 -x1841 x1842 -x1843 x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 -x1858 x1859 -x1860 x1861 x1862 -x1863 -x1864 x1865 -x1866 x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 x1906 -x1907 x1908 -x1909 x1910 -x1911 x1912 x1913 -x1914 x1915 -x1916 -x1917 x1918 -x1919 x1920 -x1921 x1922 x1923 -x1924 -x1925 x1926 -x1927 x1928 x1929 x1930 x1931 x1932 -x1933 -x1934 x1935 -x1936 x1937 x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 x1952 -x1953 x1954 -x1955 x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 x1979 x1980 -x1981 x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 x2023 x2024 x2025 -x2026 x2027 -x2028 -x2029 x2030 -x2031 -x2032 x2033 -x2034 x2035 -x2036 x2037 -x2038 x2039 -x2040 x2041 -x2042 x2043 x2044 -x2045 -x2046 -x2047 -x2048 x2049 -x2050 x2051 x2052 -x2053 -x2054 -x2055 -x2056 x2057 -x2058 x2059 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 x2078 x2079 -x2080 x2081 x2082 -x2083 x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 x2098 -x2099 -x2100 x2101 -x2102 -x2103 x2104 x2105 -x2106 -x2107 -x2108 -x2109 x2110 x2111 x2112 -x2113 x2114 x2115 -x2116 -x2117 x2118 -x2119 x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 x2138 -x2139 -x2140 x2141 -x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 x2156 x2157 -x2158 x2159 x2160 x2161 x2162 x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 x2170 -x2171 -x2172 -x2173 x2174 -x2175 -x2176 x2177 x2178 -x2179 -x2180 -x2181 x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200 x2201 x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 x2216 -x2217 -x2218 -x2219 x2220 -x2221 x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 -x2231 -x2232 -x2233 x2234 x2235 x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x2280 x2281 x2282 x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 x2342 -x2343 x2344 -x2345 x2346 -x2347 x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 x2362 -x2363 x2364 x2365 -x2366 -x2367 x2368 -x2369 x2370 -x2371 -x2372 -x2373 -x2374 x2375 x2376 -x2377 -x2378 x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 x2386 -x2387 x2388 -x2389 -x2390 -x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 x2414 -x2415 x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 x2438 x2439 -x2440 x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 x2449 -x2450 -x2451 x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 x2460 -x2461 x2462 -x2463 x2464 x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 x2476 -x2477 x2478 x2479 -x2480 -x2481 x2482 -x2483 -x2484 x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 x2499 x2500 -x2501 -x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 x2520 -x2521 x2522 -x2523 -x2524 x2525 x2526 x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 x2559 -x2560 x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 x2599 -x2600 x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 x2608 -x2609 -x2610 -x2611 -x2612 x2613 x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628 x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 x2641 -x2642 -x2643 x2644 x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 -x2659 x2660 x2661 -x2662 x2663 -x2664 -x2665 x2666 x2667 -x2668 -x2669 x2670 -x2671 x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 x2703 x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 x2714 x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 x2724 -x2725 x2726 -x2727 x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2735 -x2736 x2737 -x2738 -x2739 x2740 x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 x2770 -x2771 x2772 x2773 -x2774 -x2775 -x2776 -x2777 x2778 -x2779 -x2780 -x2781 x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 x2819 -x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 x2828 -x2829 -x2830 x2831 x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 x2840 x2841 -x2842 -x2843 -x2844 x2845 x2846 x2847 x2848 -x2849 -x2850 x2851 -x2852 x2853 -x2854 -x2855 x2856 x2857 -x2858 -x2859 -x2860 x2861 -x2862 -x2863 -x2864 -x2865 -x2866 x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 x2877 -x2878 -x2879 -x2880 -x2881 x2882 -x2883 -x2884 x2885 x2886 x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 -x2909 x2910 x2911 -x2912 -x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 x2930 x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 x2939 -x2940 -x2941 -x2942 -x2943 x2944 -x2945 -x2946 -x2947 x2948 -x2949 x2950 -x2951 -x2952 x2953 -x2954 x2955 -x2956 -x2957 -x2958 -x2959 -x2960 x2961 -x2962 -x2963 -x2964 x2965 -x2966 x2967 -x2968 x2969 -x2970 -x2971 -x2972 x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 x2995 -x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 x3003 -x3004 x3005 -x3006 x3007 -x3008 -x3009 -x3010 -x3011 x3012 -x3013 -x3014 -x3015 x3016 x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 x3030 -x3031 -x3032 -x3033 x3034 -x3035 -x3036 x3037 x3038 -x3039 x3040 -x3041 x3042 -x3043 x3044 x3045 x3046 -x3047 -x3048 x3049 -x3050 x3051 -x3052 x3053 -x3054 x3055 -x3056 x3057 -x3058 x3059 -x3060 -x3061 x3062 x3063 x3064 -x3065 -x3066 x3067 -x3068 x3069 -x3070 -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 x3080 -x3081 -x3082 x3083 x3084 x3085 x3086 x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 -x3098 -x3099 -x3100 x3101 -x3102 x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x3120 -x3121 x3122 x3123 -x3124 -x3125 -x3126 -x3127 x3128 x3129 -x3130 -x3131 x3132 -x3133 -x3134 x3135 -x3136 -x3137 -x3138 x3139 x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 181.64/181.76 c Total CPU time: 181.2 s
OK 3511
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683369-1277509170/watcher-2683369-1277509170 -o /tmp/evaluation-result-2683369-1277509170/solver-2683369-1277509170 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683369-1277509170.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.00 1.01 1.00 3/106 30339 /proc/meminfo: memFree=1818332/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=3696 CPUtime=0 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 369 0 0 0 0 0 0 0 15 0 1 0 92205086 3784704 287 1992294400 134512640 135751879 4291082272 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 924 287 144 303 0 415 0 [startup+0.0271841 s] /proc/loadavg: 1.00 1.01 1.00 3/106 30339 /proc/meminfo: memFree=1818332/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=4152 CPUtime=0.02 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 495 0 0 0 2 0 0 0 17 0 1 0 92205086 4251648 413 1992294400 134512640 135751879 4291082272 18446744073709551615 135221595 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 1038 413 175 303 0 529 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4152 [startup+0.101195 s] /proc/loadavg: 1.00 1.01 1.00 3/106 30339 /proc/meminfo: memFree=1818332/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=5328 CPUtime=0.09 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 895 0 0 0 9 0 0 0 17 0 1 0 92205086 5455872 813 1992294400 134512640 135751879 4291082272 18446744073709551615 135221403 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 1332 814 296 303 0 823 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5328 [startup+0.300224 s] /proc/loadavg: 1.00 1.01 1.00 3/106 30339 /proc/meminfo: memFree=1818332/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=6740 CPUtime=0.29 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 1514 0 0 0 29 0 0 0 17 0 1 0 92205086 6901760 1228 1992294400 134512640 135751879 4291082272 18446744073709551615 134580011 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 1685 1228 146 303 0 1380 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6740 [startup+0.700279 s] /proc/loadavg: 1.00 1.01 1.00 3/106 30339 /proc/meminfo: memFree=1818332/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=6872 CPUtime=0.69 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 1566 0 0 0 69 0 0 0 17 0 1 0 92205086 7036928 1280 1992294400 134512640 135751879 4291082272 18446744073709551615 134580013 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 1718 1280 146 303 0 1413 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6872 [startup+1.50039 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30340 /proc/meminfo: memFree=1813736/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=7268 CPUtime=1.49 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 1647 0 0 0 149 0 0 0 18 0 1 0 92205086 7442432 1361 1992294400 134512640 135751879 4291082272 18446744073709551615 134579992 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 1817 1361 146 303 0 1512 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7268 [startup+3.10062 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30340 /proc/meminfo: memFree=1811504/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=9676 CPUtime=3.09 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 2233 0 0 0 303 6 0 0 21 0 1 0 92205086 9908224 1947 1992294400 134512640 135751879 4291082272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 2419 1947 146 303 0 2114 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9676 [startup+6.30107 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30340 /proc/meminfo: memFree=1810884/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=9940 CPUtime=6.29 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 2320 0 0 0 617 12 0 0 25 0 1 0 92205086 10178560 2034 1992294400 134512640 135751879 4291082272 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 2485 2034 147 303 0 2180 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9940 [startup+12.701 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30340 /proc/meminfo: memFree=1806916/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=13780 CPUtime=12.69 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 3258 0 0 0 1251 18 0 0 23 0 1 0 92205086 14110720 2972 1992294400 134512640 135751879 4291082272 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 3445 2972 147 303 0 3140 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13780 [startup+25.5018 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30340 /proc/meminfo: memFree=1801584/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=19004 CPUtime=25.48 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 4580 0 0 0 2526 22 0 0 25 0 1 0 92205086 19460096 4294 1992294400 134512640 135751879 4291082272 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 4751 4294 147 303 0 4446 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19004 [startup+51.1014 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30342 /proc/meminfo: memFree=1795012/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=25392 CPUtime=51.07 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 6191 0 0 0 5079 28 0 0 25 0 1 0 92205086 26001408 5905 1992294400 134512640 135751879 4291082272 18446744073709551615 134611160 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 6348 5905 147 303 0 6043 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 25392 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30342 /proc/meminfo: memFree=1783728/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=36400 CPUtime=102.27 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 8917 0 0 0 10189 38 0 0 25 0 1 0 92205086 37273600 8631 1992294400 134512640 135751879 4291082272 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 9100 8631 147 303 0 8795 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 36400 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30344 /proc/meminfo: memFree=1773932/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=45944 CPUtime=162.24 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 11322 0 0 0 16178 46 0 0 25 0 1 0 92205086 47046656 11036 1992294400 134512640 135751879 4291082272 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 11486 11036 147 303 0 11181 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 45944 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30344 /proc/meminfo: memFree=1773436/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=46496 CPUtime=166.23 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 11444 0 0 0 16577 46 0 0 25 0 1 0 92205086 47611904 11158 1992294400 134512640 135751879 4291082272 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 11624 11158 147 303 0 11319 0 Current children cumulated CPU time (s) 166.23 Current children cumulated vsize (KiB) 46496 [startup+172.709 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30344 /proc/meminfo: memFree=1772692/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=47144 CPUtime=172.65 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 11610 0 0 0 17218 47 0 0 25 0 1 0 92205086 48275456 11324 1992294400 134512640 135751879 4291082272 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 11786 11324 147 303 0 11481 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 47144 [startup+175.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30344 /proc/meminfo: memFree=1772320/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=47532 CPUtime=175.84 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 11709 0 0 0 17537 47 0 0 25 0 1 0 92205086 48672768 11423 1992294400 134512640 135751879 4291082272 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 11883 11423 147 303 0 11578 0 Current children cumulated CPU time (s) 175.84 Current children cumulated vsize (KiB) 47532 [startup+179.102 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30344 /proc/meminfo: memFree=1772072/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=47788 CPUtime=179.03 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 11772 0 0 0 17856 47 0 0 25 0 1 0 92205086 48934912 11486 1992294400 134512640 135751879 4291082272 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 11947 11486 147 303 0 11642 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 47788 [startup+180.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30344 /proc/meminfo: memFree=1771948/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=54488 CPUtime=180.63 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 13452 0 0 0 18015 48 0 0 25 0 1 0 92205086 55795712 13166 1992294400 134512640 135751879 4291082272 18446744073709551615 134632980 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 13622 13166 149 303 0 13317 0 Current children cumulated CPU time (s) 180.63 Current children cumulated vsize (KiB) 54488 [startup+181.508 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30344 /proc/meminfo: memFree=1765252/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=54412 CPUtime=181.44 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 13564 0 0 0 18096 48 0 0 25 0 1 0 92205086 55717888 13145 1992294400 134512640 135751879 4291082272 18446744073709551615 134638951 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 13603 13145 150 303 0 13298 0 Current children cumulated CPU time (s) 181.44 Current children cumulated vsize (KiB) 54412 [startup+181.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30344 /proc/meminfo: memFree=1765252/2059040 swapFree=4139696/4192956 [pid=30339] ppid=30337 vsize=64888 CPUtime=181.64 /proc/30339/stat : 30339 (wbo1.4b) R 30337 30339 29624 0 -1 4202496 16184 0 0 0 18114 50 0 0 25 0 1 0 92205086 66445312 15765 1992294400 134512640 135751879 4291082272 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30339/statm: 16222 15765 150 303 0 15917 0 Current children cumulated CPU time (s) 181.64 Current children cumulated vsize (KiB) 64888 Child status: 0 Real time (s): 181.772 CPU time (s): 181.712 CPU user time (s): 181.2 CPU system time (s): 0.511922 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (KiB): 64888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 181.2 system time used= 0.511922 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16798 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 116 involuntary context switches= 307 runsolver used 0.331949 second user time and 0.880866 second system time The end
Begin job on node049 at 2010-06-26 01:39:30 IDJOB=2683369 IDBENCH=72107 IDSOLVER=1161 FILE ID=node049/2683369-1277509170 PBS_JOBID= 11190642 Free space on /tmp= 62456 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randfd04d4.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-2683369-1277509170/watcher-2683369-1277509170 -o /tmp/evaluation-result-2683369-1277509170/solver-2683369-1277509170 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683369-1277509170.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 96ae353809ccf018b1066e79a85baf24 RANDOM SEED=396197326 node049.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.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1818984 kB Buffers: 30276 kB Cached: 112732 kB SwapCached: 6360 kB Active: 87904 kB Inactive: 68500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1818984 kB SwapTotal: 4192956 kB SwapFree: 4139696 kB Dirty: 3540 kB Writeback: 0 kB AnonPages: 12092 kB Mapped: 11824 kB Slab: 61472 kB PageTables: 4216 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183896 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2683369-1277509170.opb Free space on /tmp at the end= 62452 MiB End job on node049 at 2010-06-26 01:42:32