Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 10580 | 185.295 | 185.356 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand085d8a.cudf.paranoid.opb |
MD5SUM | 48a8fba9d7ba336cfae10ff26f122513 |
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 | 10580 |
Best CPU time to get the best result obtained on this benchmark | 2.15767 |
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 | 5387 |
Total number of constraints | 24035 |
Number of constraints which are clauses | 23775 |
Number of constraints which are cardinality constraints (but not clauses) | 260 |
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 | 2020 |
Biggest coefficient in the objective function | 1471 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 811990 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1471 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 811990 |
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-2683317-1277508736.opb. 0.00/0.00 c Instance file HOME/instance-2683317-1277508736.opb 0.00/0.00 c File size is 764690 bytes. 0.09/0.11 c Highest Coefficient sum: 553 0.09/0.11 c ============================[ Problem Statistics ]============================= 0.09/0.11 c | | 0.09/0.11 c | Parsing time: 0.11 s | 0.09/0.11 c | Number Variables: 5387 | 0.09/0.11 c | Number Clauses: 23775 | 0.09/0.11 c | Number Cardinality: 260 | 0.09/0.11 c | Number PB Constraints: 0 | 1.99/2.08 c ============================[ Search Statistics ]============================== 1.99/2.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.08 c =============================================================================== 1.99/2.08 c | 0 | 3532 25410 51178 | 8011 0 nan | 0.000 % | 1.99/2.10 c =============================================================================== 1.99/2.10 c New solution: 490470 1.99/2.10 o 490470 1.99/2.10 c Elapsed CPU time: 2.08268 s Remaining CPU time: 177.917 s 1.99/2.10 c =============================================================================== 1.99/2.10 c | 27 | 3532 25411 53105 | 8470 27 3 | 0.000 % | 2.10/2.12 c =============================================================================== 2.10/2.12 c New solution: 424341 2.10/2.12 o 424341 2.10/2.12 c Elapsed CPU time: 2.09668 s Remaining CPU time: 177.903 s 2.10/2.12 c =============================================================================== 2.10/2.12 c | 52 | 3532 25412 55032 | 8470 52 4 | 0.000 % | 2.10/2.14 c =============================================================================== 2.10/2.14 c New solution: 334573 2.10/2.14 o 334573 2.10/2.14 c Elapsed CPU time: 2.11068 s Remaining CPU time: 177.889 s 2.10/2.14 c =============================================================================== 2.10/2.14 c | 74 | 3532 25413 56959 | 8471 74 4 | 0.000 % | 2.10/2.15 c =============================================================================== 2.10/2.15 c New solution: 287420 2.10/2.15 o 287420 2.10/2.15 c Elapsed CPU time: 2.12468 s Remaining CPU time: 177.875 s 2.10/2.15 c =============================================================================== 2.10/2.15 c | 95 | 3532 25414 58886 | 8471 95 3 | 0.000 % | 2.10/2.16 c =============================================================================== 2.10/2.16 c New solution: 286010 2.10/2.16 o 286010 2.10/2.16 c Elapsed CPU time: 2.13068 s Remaining CPU time: 177.869 s 2.10/2.16 c =============================================================================== 2.10/2.16 c | 99 | 3532 25415 60813 | 8471 99 3 | 0.000 % | 2.10/2.19 c =============================================================================== 2.10/2.19 c New solution: 285947 2.10/2.19 o 285947 2.10/2.19 c Elapsed CPU time: 2.14767 s Remaining CPU time: 177.852 s 2.10/2.19 c =============================================================================== 2.10/2.19 c | 113 | 3532 25416 62740 | 8472 113 3 | 0.000 % | 2.10/2.20 c =============================================================================== 2.10/2.20 c New solution: 284563 2.10/2.20 o 284563 2.10/2.20 c Elapsed CPU time: 2.15867 s Remaining CPU time: 177.841 s 2.10/2.20 c =============================================================================== 2.10/2.20 c | 127 | 3532 25417 64667 | 8472 127 3 | 0.000 % | 2.20/2.21 c =============================================================================== 2.20/2.21 c New solution: 284487 2.20/2.21 o 284487 2.20/2.21 c Elapsed CPU time: 2.17067 s Remaining CPU time: 177.829 s 2.20/2.21 c =============================================================================== 2.20/2.21 c | 133 | 3532 25418 66594 | 8472 133 3 | 0.000 % | 2.20/2.23 c =============================================================================== 2.20/2.23 c New solution: 278676 2.20/2.23 o 278676 2.20/2.23 c Elapsed CPU time: 2.18567 s Remaining CPU time: 177.814 s 2.20/2.23 c =============================================================================== 2.20/2.23 c | 138 | 3532 25419 68521 | 8473 138 3 | 0.000 % | 2.20/2.24 c =============================================================================== 2.20/2.24 c New solution: 278617 2.20/2.24 o 278617 2.20/2.24 c Elapsed CPU time: 2.19567 s Remaining CPU time: 177.804 s 2.20/2.24 c =============================================================================== 2.20/2.24 c | 144 | 3532 25420 70448 | 8473 144 3 | 0.000 % | 2.20/2.25 c =============================================================================== 2.20/2.25 c New solution: 278610 2.20/2.25 o 278610 2.20/2.25 c Elapsed CPU time: 2.20566 s Remaining CPU time: 177.794 s 2.20/2.25 c =============================================================================== 2.20/2.25 c | 149 | 3532 25421 72375 | 8473 149 4 | 0.000 % | 2.20/2.28 c =============================================================================== 2.20/2.28 c New solution: 277222 2.20/2.28 o 277222 2.20/2.28 c Elapsed CPU time: 2.22666 s Remaining CPU time: 177.773 s 2.20/2.28 c =============================================================================== 2.20/2.28 c | 164 | 3532 25422 74302 | 8474 164 4 | 0.000 % | 2.20/2.29 c =============================================================================== 2.20/2.29 c New solution: 277187 2.20/2.29 o 277187 2.20/2.29 c Elapsed CPU time: 2.23966 s Remaining CPU time: 177.76 s 2.20/2.29 c =============================================================================== 2.20/2.29 c | 169 | 3532 25423 76229 | 8474 169 4 | 0.000 % | 2.29/2.30 c =============================================================================== 2.29/2.30 c New solution: 259543 2.29/2.30 o 259543 2.29/2.30 c Elapsed CPU time: 2.25466 s Remaining CPU time: 177.745 s 2.29/2.30 c =============================================================================== 2.29/2.30 c | 181 | 3532 25424 78156 | 8474 181 4 | 0.000 % | 2.29/2.33 c =============================================================================== 2.29/2.33 c New solution: 259492 2.29/2.33 o 259492 2.29/2.33 c Elapsed CPU time: 2.28165 s Remaining CPU time: 177.718 s 2.29/2.33 c =============================================================================== 2.29/2.33 c | 183 | 3532 25425 80083 | 8475 183 7 | 0.000 % | 2.29/2.36 c =============================================================================== 2.29/2.36 c New solution: 252253 2.29/2.36 o 252253 2.29/2.36 c Elapsed CPU time: 2.30165 s Remaining CPU time: 177.698 s 2.29/2.36 c =============================================================================== 2.29/2.36 c | 198 | 3532 25426 82010 | 8475 198 7 | 0.000 % | 2.29/2.37 c =============================================================================== 2.29/2.37 c New solution: 252237 2.29/2.37 o 252237 2.29/2.37 c Elapsed CPU time: 2.31665 s Remaining CPU time: 177.683 s 2.29/2.37 c =============================================================================== 2.29/2.37 c | 201 | 3532 25427 83937 | 8475 201 10 | 0.000 % | 2.39/2.40 c =============================================================================== 2.39/2.40 c New solution: 172791 2.39/2.40 o 172791 2.39/2.40 c Elapsed CPU time: 2.33964 s Remaining CPU time: 177.66 s 2.39/2.40 c =============================================================================== 2.39/2.40 c | 223 | 3532 25428 85864 | 8476 223 9 | 0.000 % | 2.39/2.42 c =============================================================================== 2.39/2.42 c New solution: 172745 2.39/2.42 o 172745 2.39/2.42 c Elapsed CPU time: 2.35864 s Remaining CPU time: 177.641 s 2.39/2.42 c =============================================================================== 2.39/2.42 c | 231 | 3532 25429 87791 | 8476 231 9 | 0.000 % | 2.39/2.43 c =============================================================================== 2.39/2.43 c New solution: 171333 2.39/2.43 o 171333 2.39/2.43 c Elapsed CPU time: 2.37264 s Remaining CPU time: 177.627 s 2.39/2.43 c =============================================================================== 2.39/2.43 c | 237 | 3532 25430 89718 | 8476 237 9 | 0.000 % | 2.39/2.45 c =============================================================================== 2.39/2.45 c New solution: 155068 2.39/2.45 o 155068 2.39/2.45 c Elapsed CPU time: 2.38664 s Remaining CPU time: 177.613 s 2.39/2.45 c =============================================================================== 2.39/2.45 c | 242 | 3532 25431 91645 | 8477 242 9 | 0.000 % | 2.39/2.46 c =============================================================================== 2.39/2.46 c New solution: 153679 2.39/2.46 o 153679 2.39/2.46 c Elapsed CPU time: 2.40063 s Remaining CPU time: 177.599 s 2.39/2.46 c =============================================================================== 2.39/2.46 c | 243 | 3532 25432 93572 | 8477 243 9 | 0.000 % | 2.39/2.49 c =============================================================================== 2.39/2.49 c New solution: 152198 2.39/2.49 o 152198 2.39/2.49 c Elapsed CPU time: 2.42763 s Remaining CPU time: 177.572 s 2.39/2.49 c =============================================================================== 2.39/2.49 c | 246 | 3532 25433 95499 | 8477 246 9 | 0.000 % | 2.49/2.52 c =============================================================================== 2.49/2.52 c New solution: 152197 2.49/2.52 o 152197 2.49/2.52 c Elapsed CPU time: 2.45563 s Remaining CPU time: 177.544 s 2.49/2.52 c =============================================================================== 2.49/2.52 c | 248 | 3532 25434 97426 | 8478 248 9 | 0.000 % | 2.49/2.53 c =============================================================================== 2.49/2.53 c New solution: 140438 2.49/2.53 o 140438 2.49/2.53 c Elapsed CPU time: 2.46862 s Remaining CPU time: 177.531 s 2.49/2.53 c =============================================================================== 2.49/2.53 c | 250 | 3532 25435 99353 | 8478 250 9 | 0.000 % | 2.49/2.58 c =============================================================================== 2.49/2.58 c New solution: 140422 2.49/2.58 o 140422 2.49/2.58 c Elapsed CPU time: 2.51262 s Remaining CPU time: 177.487 s 2.49/2.58 c =============================================================================== 2.49/2.58 c | 262 | 3532 25436 101280 | 8478 262 11 | 0.000 % | 2.59/2.66 c =============================================================================== 2.59/2.66 c New solution: 140328 2.59/2.66 o 140328 2.59/2.66 c Elapsed CPU time: 2.58561 s Remaining CPU time: 177.414 s 2.59/2.66 c =============================================================================== 2.59/2.66 c | 273 | 3532 25437 103207 | 8479 273 10 | 0.000 % | 2.69/2.72 c =============================================================================== 2.69/2.72 c New solution: 140318 2.69/2.72 o 140318 2.69/2.72 c Elapsed CPU time: 2.6426 s Remaining CPU time: 177.357 s 2.69/2.72 c =============================================================================== 2.69/2.72 c | 278 | 3532 25438 105134 | 8479 278 14 | 0.000 % | 2.69/2.74 c =============================================================================== 2.69/2.74 c New solution: 131517 2.69/2.74 o 131517 2.69/2.74 c Elapsed CPU time: 2.6626 s Remaining CPU time: 177.337 s 2.69/2.74 c =============================================================================== 2.69/2.74 c | 290 | 3532 25439 107061 | 8479 290 13 | 0.000 % | 2.69/2.76 c =============================================================================== 2.69/2.76 c New solution: 130131 2.69/2.76 o 130131 2.69/2.76 c Elapsed CPU time: 2.68159 s Remaining CPU time: 177.318 s 2.69/2.76 c =============================================================================== 2.69/2.76 c | 293 | 3532 25440 108988 | 8480 293 13 | 0.000 % | 2.69/2.77 c =============================================================================== 2.69/2.77 c New solution: 119815 2.69/2.77 o 119815 2.69/2.77 c Elapsed CPU time: 2.69859 s Remaining CPU time: 177.301 s 2.69/2.77 c =============================================================================== 2.69/2.77 c | 295 | 3532 25441 110915 | 8480 295 13 | 0.000 % | 2.79/2.83 c =============================================================================== 2.79/2.83 c New solution: 119739 2.79/2.83 o 119739 2.79/2.83 c Elapsed CPU time: 2.75558 s Remaining CPU time: 177.244 s 2.79/2.83 c =============================================================================== 2.79/2.83 c | 297 | 3532 25442 112842 | 8480 297 13 | 0.000 % | 2.79/2.88 c =============================================================================== 2.79/2.88 c New solution: 118363 2.79/2.88 o 118363 2.79/2.88 c Elapsed CPU time: 2.79757 s Remaining CPU time: 177.202 s 2.79/2.88 c =============================================================================== 2.79/2.88 c | 298 | 3532 25443 114769 | 8481 298 13 | 0.000 % | 2.89/2.92 c =============================================================================== 2.89/2.92 c New solution: 118269 2.89/2.92 o 118269 2.89/2.92 c Elapsed CPU time: 2.84357 s Remaining CPU time: 177.156 s 2.89/2.92 c =============================================================================== 2.89/2.92 c | 298 | 3532 25444 116696 | 8481 298 13 | 0.000 % | 2.89/2.96 c =============================================================================== 2.89/2.96 c New solution: 118268 2.89/2.96 o 118268 2.89/2.96 c Elapsed CPU time: 2.87356 s Remaining CPU time: 177.126 s 2.89/2.96 c =============================================================================== 2.89/2.96 c | 301 | 3532 25445 118623 | 8481 301 15 | 0.000 % | 2.99/3.00 c =============================================================================== 2.99/3.00 c New solution: 116883 2.99/3.00 o 116883 2.99/3.00 c Elapsed CPU time: 2.91456 s Remaining CPU time: 177.085 s 2.99/3.00 c =============================================================================== 2.99/3.00 c | 303 | 3532 25446 120550 | 8482 303 15 | 0.000 % | 2.99/3.04 c =============================================================================== 2.99/3.04 c New solution: 116872 2.99/3.04 o 116872 2.99/3.04 c Elapsed CPU time: 2.95555 s Remaining CPU time: 177.044 s 2.99/3.04 c =============================================================================== 2.99/3.04 c | 305 | 3532 25447 122477 | 8482 305 15 | 0.000 % | 2.99/3.10 c =============================================================================== 2.99/3.10 c New solution: 115428 2.99/3.10 o 115428 2.99/3.10 c Elapsed CPU time: 3.00854 s Remaining CPU time: 176.991 s 2.99/3.10 c =============================================================================== 2.99/3.10 c | 320 | 3532 25448 124404 | 8482 320 18 | 0.000 % | 3.09/3.18 c =============================================================================== 3.09/3.18 c New solution: 115369 3.09/3.18 o 115369 3.09/3.18 c Elapsed CPU time: 3.08853 s Remaining CPU time: 176.911 s 3.09/3.18 c =============================================================================== 3.09/3.18 c | 323 | 3532 25449 126331 | 8483 323 18 | 0.000 % | 3.20/3.26 c =============================================================================== 3.20/3.26 c New solution: 115351 3.20/3.26 o 115351 3.20/3.26 c Elapsed CPU time: 3.16352 s Remaining CPU time: 176.836 s 3.20/3.26 c =============================================================================== 3.20/3.26 c | 327 | 3532 25450 128258 | 8483 327 18 | 0.000 % | 3.20/3.29 c =============================================================================== 3.20/3.29 c New solution: 113949 3.20/3.29 o 113949 3.20/3.29 c Elapsed CPU time: 3.19751 s Remaining CPU time: 176.802 s 3.20/3.29 c =============================================================================== 3.20/3.29 c | 330 | 3532 25451 130185 | 8483 330 20 | 0.000 % | 3.30/3.37 c =============================================================================== 3.30/3.37 c New solution: 113944 3.30/3.37 o 113944 3.30/3.37 c Elapsed CPU time: 3.2695 s Remaining CPU time: 176.73 s 3.30/3.37 c =============================================================================== 3.30/3.37 c | 373 | 3532 25452 132112 | 8484 373 57 | 0.000 % | 3.39/3.44 c =============================================================================== 3.39/3.44 c New solution: 113943 3.39/3.44 o 113943 3.39/3.44 c Elapsed CPU time: 3.34549 s Remaining CPU time: 176.655 s 3.39/3.44 c =============================================================================== 3.39/3.44 c | 408 | 3532 25453 134039 | 8484 408 80 | 0.000 % | 3.59/3.61 c =============================================================================== 3.59/3.61 c New solution: 113902 3.59/3.61 o 113902 3.59/3.61 c Elapsed CPU time: 3.50547 s Remaining CPU time: 176.495 s 3.59/3.61 c =============================================================================== 3.59/3.61 c | 420 | 3532 25454 135966 | 8484 420 84 | 0.000 % | 3.59/3.67 c =============================================================================== 3.59/3.67 c New solution: 113896 3.59/3.67 o 113896 3.59/3.67 c Elapsed CPU time: 3.56546 s Remaining CPU time: 176.435 s 3.59/3.67 c =============================================================================== 3.59/3.67 c | 425 | 3532 25455 137893 | 8485 425 90 | 0.000 % | 3.69/3.70 c =============================================================================== 3.69/3.70 c New solution: 112509 3.69/3.70 o 112509 3.69/3.70 c Elapsed CPU time: 3.59445 s Remaining CPU time: 176.406 s 3.69/3.70 c =============================================================================== 3.69/3.70 c | 425 | 3532 25456 139820 | 8485 425 90 | 0.000 % | 3.69/3.74 c =============================================================================== 3.69/3.74 c New solution: 112508 3.69/3.74 o 112508 3.69/3.74 c Elapsed CPU time: 3.63145 s Remaining CPU time: 176.369 s 3.69/3.74 c =============================================================================== 3.69/3.74 c | 425 | 3532 25457 141747 | 8485 425 90 | 0.000 % | 3.69/3.77 c =============================================================================== 3.69/3.77 c New solution: 112507 3.69/3.77 o 112507 3.69/3.77 c Elapsed CPU time: 3.66144 s Remaining CPU time: 176.339 s 3.69/3.77 c =============================================================================== 3.69/3.77 c | 426 | 3532 25458 143674 | 8486 426 89 | 0.000 % | 3.80/3.80 c =============================================================================== 3.80/3.80 c New solution: 112506 3.80/3.80 o 112506 3.80/3.80 c Elapsed CPU time: 3.69244 s Remaining CPU time: 176.308 s 3.80/3.80 c =============================================================================== 3.80/3.80 c | 426 | 3532 25459 145601 | 8486 426 89 | 0.000 % | 3.80/3.83 c =============================================================================== 3.80/3.83 c New solution: 112505 3.80/3.83 o 112505 3.80/3.83 c Elapsed CPU time: 3.72043 s Remaining CPU time: 176.28 s 3.80/3.83 c =============================================================================== 3.80/3.83 c | 426 | 3532 25460 147528 | 8486 426 89 | 0.000 % | 3.80/3.87 c =============================================================================== 3.80/3.87 c New solution: 112504 3.80/3.87 o 112504 3.80/3.87 c Elapsed CPU time: 3.75643 s Remaining CPU time: 176.244 s 3.80/3.87 c =============================================================================== 3.80/3.87 c | 426 | 3532 25461 149455 | 8487 426 89 | 0.000 % | 3.89/3.90 c =============================================================================== 3.89/3.90 c New solution: 112503 3.89/3.90 o 112503 3.89/3.90 c Elapsed CPU time: 3.78942 s Remaining CPU time: 176.211 s 3.89/3.90 c =============================================================================== 3.89/3.90 c | 426 | 3532 25462 151382 | 8487 426 89 | 0.000 % | 3.89/3.95 c =============================================================================== 3.89/3.95 c New solution: 112502 3.89/3.95 o 112502 3.89/3.95 c Elapsed CPU time: 3.83642 s Remaining CPU time: 176.164 s 3.89/3.95 c =============================================================================== 3.89/3.95 c | 427 | 3532 25463 153309 | 8487 427 89 | 0.000 % | 3.89/3.99 c =============================================================================== 3.89/3.99 c New solution: 112501 3.89/3.99 o 112501 3.89/3.99 c Elapsed CPU time: 3.86741 s Remaining CPU time: 176.133 s 3.89/3.99 c =============================================================================== 3.89/3.99 c | 427 | 3532 25464 155236 | 8488 427 89 | 0.000 % | 3.99/4.02 c =============================================================================== 3.99/4.02 c New solution: 112500 3.99/4.02 o 112500 3.99/4.02 c Elapsed CPU time: 3.89541 s Remaining CPU time: 176.105 s 3.99/4.02 c =============================================================================== 3.99/4.02 c | 428 | 3532 25465 157163 | 8488 428 91 | 0.000 % | 3.99/4.06 c =============================================================================== 3.99/4.06 c New solution: 112499 3.99/4.06 o 112499 3.99/4.06 c Elapsed CPU time: 3.9354 s Remaining CPU time: 176.065 s 3.99/4.06 c =============================================================================== 3.99/4.06 c | 428 | 3532 25466 159090 | 8488 428 91 | 0.000 % | 4.09/4.14 c =============================================================================== 4.09/4.14 c New solution: 112462 4.09/4.14 o 112462 4.09/4.14 c Elapsed CPU time: 4.02239 s Remaining CPU time: 175.978 s 4.09/4.14 c =============================================================================== 4.09/4.14 c | 432 | 3532 25467 161017 | 8489 432 90 | 0.000 % | 4.09/4.19 c =============================================================================== 4.09/4.19 c New solution: 112452 4.09/4.19 o 112452 4.09/4.19 c Elapsed CPU time: 4.06338 s Remaining CPU time: 175.937 s 4.09/4.19 c =============================================================================== 4.09/4.19 c | 432 | 3532 25468 162944 | 8489 432 90 | 0.000 % | 4.19/4.23 c =============================================================================== 4.19/4.23 c New solution: 111030 4.19/4.23 o 111030 4.19/4.23 c Elapsed CPU time: 4.10837 s Remaining CPU time: 175.892 s 4.19/4.23 c =============================================================================== 4.19/4.23 c | 432 | 3532 25469 164871 | 8489 432 90 | 0.000 % | 4.19/4.28 c =============================================================================== 4.19/4.28 c New solution: 111029 4.19/4.28 o 111029 4.19/4.28 c Elapsed CPU time: 4.15337 s Remaining CPU time: 175.847 s 4.19/4.28 c =============================================================================== 4.19/4.28 c | 432 | 3532 25470 166798 | 8490 432 90 | 0.000 % | 4.30/4.32 c =============================================================================== 4.30/4.32 c New solution: 111018 4.30/4.32 o 111018 4.30/4.32 c Elapsed CPU time: 4.19836 s Remaining CPU time: 175.802 s 4.30/4.32 c =============================================================================== 4.30/4.32 c | 432 | 3532 25471 168725 | 8490 432 90 | 0.000 % | 4.30/4.36 c =============================================================================== 4.30/4.36 c New solution: 111017 4.30/4.36 o 111017 4.30/4.36 c Elapsed CPU time: 4.23735 s Remaining CPU time: 175.763 s 4.30/4.36 c =============================================================================== 4.30/4.36 c | 432 | 3532 25472 170652 | 8490 432 90 | 0.000 % | 4.30/4.40 c =============================================================================== 4.30/4.40 c New solution: 111016 4.30/4.40 o 111016 4.30/4.40 c Elapsed CPU time: 4.27535 s Remaining CPU time: 175.725 s 4.30/4.40 c =============================================================================== 4.30/4.40 c | 433 | 3532 25473 172579 | 8491 433 91 | 0.000 % | 4.39/4.49 c =============================================================================== 4.39/4.49 c New solution: 110987 4.39/4.49 o 110987 4.39/4.49 c Elapsed CPU time: 4.35834 s Remaining CPU time: 175.642 s 4.39/4.49 c =============================================================================== 4.39/4.49 c | 437 | 3532 25474 174506 | 8491 437 93 | 0.000 % | 4.49/4.58 c =============================================================================== 4.49/4.58 c New solution: 110975 4.49/4.58 o 110975 4.49/4.58 c Elapsed CPU time: 4.45632 s Remaining CPU time: 175.544 s 4.49/4.58 c =============================================================================== 4.49/4.58 c | 443 | 3532 25475 176433 | 8491 443 96 | 0.000 % | 4.69/4.71 c =============================================================================== 4.69/4.71 c New solution: 110974 4.69/4.71 o 110974 4.69/4.71 c Elapsed CPU time: 4.5783 s Remaining CPU time: 175.422 s 4.69/4.71 c =============================================================================== 4.69/4.71 c | 470 | 3532 25476 178360 | 8492 470 117 | 0.000 % | 4.69/4.75 c =============================================================================== 4.69/4.75 c New solution: 109568 4.69/4.75 o 109568 4.69/4.75 c Elapsed CPU time: 4.6233 s Remaining CPU time: 175.377 s 4.69/4.75 c =============================================================================== 4.69/4.75 c | 470 | 3532 25477 180287 | 8492 470 117 | 0.000 % | 4.69/4.79 c =============================================================================== 4.69/4.79 c New solution: 109567 4.69/4.79 o 109567 4.69/4.79 c Elapsed CPU time: 4.66129 s Remaining CPU time: 175.339 s 4.69/4.79 c =============================================================================== 4.69/4.79 c | 470 | 3532 25478 182214 | 8492 470 117 | 0.000 % | 4.79/4.83 c =============================================================================== 4.79/4.83 c New solution: 109566 4.79/4.83 o 109566 4.79/4.83 c Elapsed CPU time: 4.69928 s Remaining CPU time: 175.301 s 4.79/4.83 c =============================================================================== 4.79/4.83 c | 470 | 3532 25479 184141 | 8493 470 117 | 0.000 % | 4.79/4.88 c =============================================================================== 4.79/4.88 c New solution: 109526 4.79/4.88 o 109526 4.79/4.88 c Elapsed CPU time: 4.74828 s Remaining CPU time: 175.252 s 4.79/4.88 c =============================================================================== 4.79/4.88 c | 478 | 3532 25480 186068 | 8493 478 117 | 0.000 % | 4.89/4.92 c =============================================================================== 4.89/4.92 c New solution: 108101 4.89/4.92 o 108101 4.89/4.92 c Elapsed CPU time: 4.78427 s Remaining CPU time: 175.216 s 4.89/4.92 c =============================================================================== 4.89/4.92 c | 478 | 3532 25481 187995 | 8493 478 117 | 0.000 % | 4.89/4.95 c =============================================================================== 4.89/4.96 c New solution: 108100 4.89/4.96 o 108100 4.89/4.96 c Elapsed CPU time: 4.81927 s Remaining CPU time: 175.181 s 4.89/4.96 c =============================================================================== 4.89/4.96 c | 479 | 3532 25482 189922 | 8494 479 118 | 0.000 % | 4.99/5.02 c =============================================================================== 4.99/5.02 c New solution: 108091 4.99/5.02 o 108091 4.99/5.02 c Elapsed CPU time: 4.87826 s Remaining CPU time: 175.122 s 4.99/5.02 c =============================================================================== 4.99/5.02 c | 479 | 3532 25483 191849 | 8494 479 118 | 0.000 % | 4.99/5.08 c =============================================================================== 4.99/5.08 c New solution: 108085 4.99/5.08 o 108085 4.99/5.08 c Elapsed CPU time: 4.94525 s Remaining CPU time: 175.055 s 4.99/5.08 c =============================================================================== 4.99/5.08 c | 480 | 3532 25484 193776 | 8494 480 118 | 0.000 % | 5.09/5.18 c =============================================================================== 5.09/5.18 c New solution: 108084 5.09/5.18 o 108084 5.09/5.18 c Elapsed CPU time: 5.04423 s Remaining CPU time: 174.956 s 5.09/5.18 c =============================================================================== 5.09/5.18 c | 487 | 3532 25485 195703 | 8495 487 118 | 0.000 % | 5.19/5.23 c =============================================================================== 5.19/5.23 c New solution: 108074 5.19/5.23 o 108074 5.19/5.23 c Elapsed CPU time: 5.08523 s Remaining CPU time: 174.915 s 5.19/5.23 c =============================================================================== 5.19/5.23 c | 488 | 3532 25486 197630 | 8495 488 118 | 0.000 % | 5.19/5.26 c =============================================================================== 5.19/5.26 c New solution: 108073 5.19/5.26 o 108073 5.19/5.26 c Elapsed CPU time: 5.11522 s Remaining CPU time: 174.885 s 5.19/5.26 c =============================================================================== 5.19/5.26 c | 489 | 3532 25487 199557 | 8495 489 118 | 0.000 % | 5.19/5.29 c =============================================================================== 5.19/5.29 c New solution: 108072 5.19/5.29 o 108072 5.19/5.29 c Elapsed CPU time: 5.15122 s Remaining CPU time: 174.849 s 5.19/5.29 c =============================================================================== 5.19/5.29 c | 490 | 3532 25488 201484 | 8496 490 118 | 0.000 % | 5.29/5.33 c =============================================================================== 5.29/5.33 c New solution: 108071 5.29/5.33 o 108071 5.29/5.33 c Elapsed CPU time: 5.18521 s Remaining CPU time: 174.815 s 5.29/5.33 c =============================================================================== 5.29/5.33 c | 491 | 3532 25489 203411 | 8496 491 119 | 0.000 % | 5.40/5.40 c =============================================================================== 5.40/5.40 c New solution: 108070 5.40/5.40 o 108070 5.40/5.40 c Elapsed CPU time: 5.2582 s Remaining CPU time: 174.742 s 5.40/5.40 c =============================================================================== 5.40/5.40 c | 495 | 3532 25490 205338 | 8496 495 119 | 0.000 % | 5.49/5.51 c =============================================================================== 5.49/5.51 c New solution: 108069 5.49/5.51 o 108069 5.49/5.51 c Elapsed CPU time: 5.36318 s Remaining CPU time: 174.637 s 5.49/5.51 c =============================================================================== 5.49/5.51 c | 496 | 3532 25491 207265 | 8497 496 120 | 0.000 % | 5.49/5.56 c =============================================================================== 5.49/5.56 c New solution: 108011 5.49/5.56 o 108011 5.49/5.56 c Elapsed CPU time: 5.41518 s Remaining CPU time: 174.585 s 5.49/5.56 c =============================================================================== 5.49/5.56 c | 499 | 3532 25492 209192 | 8497 499 121 | 0.000 % | 5.69/5.72 c =============================================================================== 5.69/5.72 c New solution: 108010 5.69/5.72 o 108010 5.69/5.72 c Elapsed CPU time: 5.57015 s Remaining CPU time: 174.43 s 5.69/5.72 c =============================================================================== 5.69/5.72 c | 512 | 3532 25493 211119 | 8497 512 133 | 0.000 % | 5.99/6.01 c | 613 | 3532 25493 211119 | 9347 613 220 | 34.435 % | 6.38/6.42 c =============================================================================== 6.38/6.42 c New solution: 108009 6.38/6.42 o 108009 6.38/6.42 c Elapsed CPU time: 6.27405 s Remaining CPU time: 173.726 s 6.38/6.42 c =============================================================================== 6.38/6.42 c | 632 | 3532 25494 213046 | 8498 632 220 | 34.435 % | 6.50/6.51 c =============================================================================== 6.50/6.51 c New solution: 108008 6.50/6.51 o 108008 6.50/6.51 c Elapsed CPU time: 6.35803 s Remaining CPU time: 173.642 s 6.50/6.51 c =============================================================================== 6.50/6.51 c | 634 | 3532 25495 214973 | 8498 634 221 | 34.435 % | 6.50/6.60 c =============================================================================== 6.50/6.60 c New solution: 108007 6.50/6.60 o 108007 6.50/6.60 c Elapsed CPU time: 6.45402 s Remaining CPU time: 173.546 s 6.50/6.60 c =============================================================================== 6.50/6.60 c | 636 | 3532 25496 216900 | 8498 636 222 | 34.435 % | 6.60/6.69 c =============================================================================== 6.60/6.69 c New solution: 108006 6.60/6.69 o 108006 6.60/6.69 c Elapsed CPU time: 6.54101 s Remaining CPU time: 173.459 s 6.60/6.69 c =============================================================================== 6.60/6.69 c | 636 | 3532 25497 218827 | 8499 636 222 | 34.435 % | 6.69/6.79 c =============================================================================== 6.69/6.79 c New solution: 108005 6.69/6.79 o 108005 6.69/6.79 c Elapsed CPU time: 6.63999 s Remaining CPU time: 173.36 s 6.69/6.79 c =============================================================================== 6.69/6.79 c | 638 | 3532 25498 220754 | 8499 638 222 | 34.435 % | 6.89/6.98 c =============================================================================== 6.89/6.98 c New solution: 108004 6.89/6.98 o 108004 6.89/6.98 c Elapsed CPU time: 6.82596 s Remaining CPU time: 173.174 s 6.89/6.98 c =============================================================================== 6.89/6.98 c | 651 | 3532 25499 222681 | 8499 651 230 | 34.435 % | 7.19/7.20 c =============================================================================== 7.19/7.20 c New solution: 108003 7.19/7.20 o 108003 7.19/7.20 c Elapsed CPU time: 7.04893 s Remaining CPU time: 172.951 s 7.19/7.20 c =============================================================================== 7.19/7.20 c | 670 | 3532 25500 224608 | 8500 670 236 | 34.435 % | 7.28/7.30 c =============================================================================== 7.28/7.30 c New solution: 106618 7.28/7.30 o 106618 7.28/7.30 c Elapsed CPU time: 7.14191 s Remaining CPU time: 172.858 s 7.28/7.30 c =============================================================================== 7.28/7.30 c | 670 | 3532 25501 226535 | 8500 670 236 | 34.435 % | 7.28/7.40 c =============================================================================== 7.28/7.40 c New solution: 106617 7.28/7.40 o 106617 7.28/7.40 c Elapsed CPU time: 7.2389 s Remaining CPU time: 172.761 s 7.28/7.40 c =============================================================================== 7.28/7.40 c | 671 | 3532 25502 228462 | 8500 671 236 | 34.435 % | 7.38/7.49 c =============================================================================== 7.38/7.49 c New solution: 106616 7.38/7.49 o 106616 7.38/7.49 c Elapsed CPU time: 7.32988 s Remaining CPU time: 172.67 s 7.38/7.49 c =============================================================================== 7.38/7.49 c | 671 | 3532 25503 230389 | 8501 671 236 | 34.435 % | 7.49/7.59 c =============================================================================== 7.49/7.59 c New solution: 106614 7.49/7.59 o 106614 7.49/7.59 c Elapsed CPU time: 7.42787 s Remaining CPU time: 172.572 s 7.49/7.59 c =============================================================================== 7.49/7.59 c | 673 | 3532 25504 232316 | 8501 673 235 | 34.435 % | 7.60/7.68 c =============================================================================== 7.60/7.68 c New solution: 106612 7.60/7.68 o 106612 7.60/7.68 c Elapsed CPU time: 7.52086 s Remaining CPU time: 172.479 s 7.60/7.68 c =============================================================================== 7.60/7.68 c | 675 | 3532 25505 234243 | 8501 675 236 | 34.435 % | 7.70/7.78 c =============================================================================== 7.70/7.78 c New solution: 106555 7.70/7.78 o 106555 7.70/7.78 c Elapsed CPU time: 7.61384 s Remaining CPU time: 172.386 s 7.70/7.78 c =============================================================================== 7.70/7.78 c | 675 | 3532 25506 236170 | 8502 675 236 | 34.435 % | 7.78/7.87 c =============================================================================== 7.78/7.87 c New solution: 106554 7.78/7.87 o 106554 7.78/7.87 c Elapsed CPU time: 7.70383 s Remaining CPU time: 172.296 s 7.78/7.87 c =============================================================================== 7.78/7.87 c | 675 | 3532 25507 238097 | 8502 675 236 | 34.435 % | 8.09/8.15 c | 776 | 3532 25507 238097 | 9352 776 293 | 34.435 % | 8.19/8.28 c =============================================================================== 8.19/8.28 c New solution: 106553 8.19/8.28 o 106553 8.19/8.28 c Elapsed CPU time: 8.10277 s Remaining CPU time: 171.897 s 8.19/8.28 c =============================================================================== 8.19/8.28 c | 781 | 3532 25508 240024 | 8502 781 292 | 34.435 % | 8.29/8.38 c =============================================================================== 8.29/8.38 c New solution: 106552 8.29/8.38 o 106552 8.29/8.38 c Elapsed CPU time: 8.20675 s Remaining CPU time: 171.793 s 8.29/8.38 c =============================================================================== 8.29/8.38 c | 786 | 3532 25509 241951 | 8503 786 293 | 34.435 % | 8.48/8.52 c =============================================================================== 8.48/8.52 c New solution: 106551 8.48/8.52 o 106551 8.48/8.52 c Elapsed CPU time: 8.33973 s Remaining CPU time: 171.66 s 8.48/8.52 c =============================================================================== 8.48/8.52 c | 790 | 3532 25510 243878 | 8503 790 294 | 34.435 % | 8.58/8.66 c =============================================================================== 8.58/8.66 c New solution: 106550 8.58/8.66 o 106550 8.58/8.66 c Elapsed CPU time: 8.48371 s Remaining CPU time: 171.516 s 8.58/8.66 c =============================================================================== 8.58/8.66 c | 792 | 3532 25511 245805 | 8503 792 294 | 34.435 % | 8.69/8.70 c =============================================================================== 8.69/8.70 c New solution: 106544 8.69/8.70 o 106544 8.69/8.70 c Elapsed CPU time: 8.5257 s Remaining CPU time: 171.474 s 8.69/8.70 c =============================================================================== 8.69/8.70 c | 794 | 3532 25512 247732 | 8504 794 294 | 34.435 % | 8.79/8.83 c =============================================================================== 8.79/8.83 c New solution: 106543 8.79/8.83 o 106543 8.79/8.83 c Elapsed CPU time: 8.65468 s Remaining CPU time: 171.345 s 8.79/8.83 c =============================================================================== 8.79/8.83 c | 796 | 3532 25513 249659 | 8504 796 294 | 34.435 % | 8.88/8.96 c =============================================================================== 8.88/8.96 c New solution: 106542 8.88/8.96 o 106542 8.88/8.96 c Elapsed CPU time: 8.78266 s Remaining CPU time: 171.217 s 8.88/8.96 c =============================================================================== 8.88/8.96 c | 805 | 3532 25514 251586 | 8504 805 296 | 34.435 % | 8.99/9.01 c =============================================================================== 8.99/9.01 c New solution: 105177 8.99/9.01 o 105177 8.99/9.01 c Elapsed CPU time: 8.82466 s Remaining CPU time: 171.175 s 8.99/9.01 c =============================================================================== 8.99/9.01 c | 807 | 3532 25515 253513 | 8505 807 297 | 34.435 % | 8.99/9.06 c =============================================================================== 8.99/9.06 c New solution: 105176 8.99/9.06 o 105176 8.99/9.06 c Elapsed CPU time: 8.88065 s Remaining CPU time: 171.119 s 8.99/9.06 c =============================================================================== 8.99/9.06 c | 809 | 3532 25516 255440 | 8505 809 297 | 34.435 % | 9.09/9.11 c =============================================================================== 9.09/9.11 c New solution: 105143 9.09/9.11 o 105143 9.09/9.11 c Elapsed CPU time: 8.93164 s Remaining CPU time: 171.068 s 9.09/9.12 c =============================================================================== 9.09/9.12 c | 810 | 3532 25517 257367 | 8505 810 296 | 34.435 % | 9.09/9.17 c =============================================================================== 9.09/9.17 c New solution: 105142 9.09/9.17 o 105142 9.09/9.17 c Elapsed CPU time: 8.98263 s Remaining CPU time: 171.017 s 9.09/9.17 c =============================================================================== 9.09/9.17 c | 810 | 3532 25518 259294 | 8506 810 296 | 34.435 % | 9.18/9.22 c =============================================================================== 9.18/9.22 c New solution: 105141 9.18/9.22 o 105141 9.18/9.22 c Elapsed CPU time: 9.03263 s Remaining CPU time: 170.967 s 9.18/9.22 c =============================================================================== 9.18/9.22 c | 810 | 3532 25519 261221 | 8506 810 296 | 34.435 % | 9.18/9.25 c =============================================================================== 9.18/9.25 c New solution: 102191 9.18/9.25 o 102191 9.18/9.25 c Elapsed CPU time: 9.06462 s Remaining CPU time: 170.935 s 9.18/9.25 c =============================================================================== 9.18/9.25 c | 810 | 3532 25520 263148 | 8506 810 296 | 34.435 % | 9.18/9.29 c =============================================================================== 9.18/9.29 c New solution: 102190 9.18/9.29 o 102190 9.18/9.29 c Elapsed CPU time: 9.10661 s Remaining CPU time: 170.893 s 9.18/9.29 c =============================================================================== 9.18/9.29 c | 810 | 3532 25521 265075 | 8507 810 296 | 34.435 % | 9.28/9.34 c =============================================================================== 9.28/9.34 c New solution: 102189 9.28/9.34 o 102189 9.28/9.34 c Elapsed CPU time: 9.14761 s Remaining CPU time: 170.852 s 9.28/9.34 c =============================================================================== 9.28/9.34 c | 810 | 3532 25522 267002 | 8507 810 296 | 34.435 % | 9.28/9.37 c =============================================================================== 9.28/9.37 c New solution: 102188 9.28/9.37 o 102188 9.28/9.37 c Elapsed CPU time: 9.1786 s Remaining CPU time: 170.821 s 9.28/9.37 c =============================================================================== 9.28/9.37 c | 810 | 3532 25523 268929 | 8507 810 296 | 34.435 % | 9.39/9.41 c =============================================================================== 9.39/9.41 c New solution: 100721 9.39/9.41 o 100721 9.39/9.41 c Elapsed CPU time: 9.2166 s Remaining CPU time: 170.783 s 9.39/9.41 c =============================================================================== 9.39/9.41 c | 811 | 3532 25524 270856 | 8508 811 297 | 34.435 % | 9.39/9.49 c =============================================================================== 9.39/9.49 c New solution: 100677 9.39/9.49 o 100677 9.39/9.49 c Elapsed CPU time: 9.29659 s Remaining CPU time: 170.703 s 9.39/9.49 c =============================================================================== 9.39/9.49 c | 811 | 3532 25525 272783 | 8508 811 297 | 34.435 % | 9.49/9.58 c =============================================================================== 9.49/9.58 c New solution: 100676 9.49/9.58 o 100676 9.49/9.58 c Elapsed CPU time: 9.38657 s Remaining CPU time: 170.613 s 9.49/9.58 c =============================================================================== 9.49/9.58 c | 813 | 3532 25526 274710 | 8508 813 297 | 34.435 % | 9.59/9.64 c =============================================================================== 9.59/9.64 c New solution: 99301 9.59/9.64 o 99301 9.59/9.64 c Elapsed CPU time: 9.44356 s Remaining CPU time: 170.556 s 9.59/9.64 c =============================================================================== 9.59/9.64 c | 813 | 3532 25527 276637 | 8509 813 297 | 34.435 % | 9.59/9.69 c =============================================================================== 9.59/9.69 c New solution: 99279 9.59/9.69 o 99279 9.59/9.69 c Elapsed CPU time: 9.48956 s Remaining CPU time: 170.51 s 9.59/9.69 c =============================================================================== 9.59/9.69 c | 814 | 3532 25528 278564 | 8509 814 296 | 34.435 % | 9.69/9.74 c =============================================================================== 9.69/9.74 c New solution: 97822 9.69/9.74 o 97822 9.69/9.74 c Elapsed CPU time: 9.54055 s Remaining CPU time: 170.459 s 9.69/9.74 c =============================================================================== 9.69/9.74 c | 814 | 3532 25529 280491 | 8509 814 296 | 34.435 % | 9.69/9.78 c =============================================================================== 9.69/9.78 c New solution: 97815 9.69/9.78 o 97815 9.69/9.78 c Elapsed CPU time: 9.58854 s Remaining CPU time: 170.411 s 9.69/9.78 c =============================================================================== 9.69/9.78 c | 814 | 3532 25530 282418 | 8510 814 296 | 34.435 % | 9.79/9.85 c =============================================================================== 9.79/9.85 c New solution: 97814 9.79/9.85 o 97814 9.79/9.85 c Elapsed CPU time: 9.65553 s Remaining CPU time: 170.344 s 9.79/9.85 c =============================================================================== 9.79/9.85 c | 814 | 3532 25531 284345 | 8510 814 296 | 34.435 % | 9.99/10.03 c =============================================================================== 9.99/10.03 c New solution: 97813 9.99/10.03 o 97813 9.99/10.03 c Elapsed CPU time: 9.8285 s Remaining CPU time: 170.171 s 9.99/10.03 c =============================================================================== 9.99/10.03 c | 814 | 3532 25532 286272 | 8510 814 296 | 34.435 % | 9.99/10.07 c =============================================================================== 9.99/10.07 c New solution: 97812 9.99/10.07 o 97812 9.99/10.07 c Elapsed CPU time: 9.8645 s Remaining CPU time: 170.136 s 9.99/10.07 c =============================================================================== 9.99/10.07 c | 814 | 3532 25533 288199 | 8511 814 296 | 34.435 % | 10.09/10.11 c =============================================================================== 10.09/10.11 c New solution: 97811 10.09/10.11 o 97811 10.09/10.11 c Elapsed CPU time: 9.90449 s Remaining CPU time: 170.096 s 10.09/10.11 c =============================================================================== 10.09/10.11 c | 815 | 3532 25534 290126 | 8511 815 297 | 34.435 % | 10.19/10.23 c =============================================================================== 10.19/10.23 c New solution: 97733 10.19/10.23 o 97733 10.19/10.23 c Elapsed CPU time: 10.0225 s Remaining CPU time: 169.978 s 10.19/10.23 c =============================================================================== 10.19/10.23 c | 818 | 3532 25535 292053 | 8511 818 297 | 34.435 % | 10.39/10.44 c =============================================================================== 10.39/10.44 c New solution: 96322 10.39/10.44 o 96322 10.39/10.44 c Elapsed CPU time: 10.2354 s Remaining CPU time: 169.765 s 10.39/10.44 c =============================================================================== 10.39/10.44 c | 852 | 3532 25536 293980 | 8512 852 311 | 34.435 % | 10.49/10.58 c =============================================================================== 10.49/10.58 c New solution: 96283 10.49/10.58 o 96283 10.49/10.58 c Elapsed CPU time: 10.3744 s Remaining CPU time: 169.626 s 10.49/10.58 c =============================================================================== 10.49/10.58 c | 858 | 3532 25537 295907 | 8512 858 311 | 34.435 % | 10.79/10.82 c =============================================================================== 10.79/10.82 c New solution: 96282 10.79/10.82 o 96282 10.79/10.82 c Elapsed CPU time: 10.6124 s Remaining CPU time: 169.388 s 10.79/10.82 c =============================================================================== 10.79/10.82 c | 862 | 3532 25538 297834 | 8512 862 311 | 34.435 % | 11.08/11.10 c =============================================================================== 11.08/11.10 c New solution: 96281 11.08/11.10 o 96281 11.08/11.10 c Elapsed CPU time: 10.8943 s Remaining CPU time: 169.106 s 11.08/11.10 c =============================================================================== 11.08/11.10 c | 869 | 3532 25539 299761 | 8513 869 311 | 34.435 % | 11.18/11.27 c =============================================================================== 11.18/11.27 c New solution: 96248 11.18/11.27 o 96248 11.18/11.27 c Elapsed CPU time: 11.0573 s Remaining CPU time: 168.943 s 11.18/11.27 c =============================================================================== 11.18/11.27 c | 877 | 3532 25540 301688 | 8513 877 312 | 34.435 % | 11.89/11.93 c | 977 | 3532 25540 301688 | 9364 977 342 | 34.435 % | 12.49/12.56 c | 1127 | 3532 25540 301688 | 10301 1127 384 | 34.435 % | 12.69/12.73 c =============================================================================== 12.69/12.73 c New solution: 96247 12.69/12.73 o 96247 12.69/12.73 c Elapsed CPU time: 12.5191 s Remaining CPU time: 167.481 s 12.69/12.73 c =============================================================================== 12.69/12.73 c | 1132 | 3532 25541 303615 | 8513 1132 385 | 34.435 % | 12.79/12.89 c =============================================================================== 12.79/12.89 c New solution: 96246 12.79/12.89 o 96246 12.79/12.89 c Elapsed CPU time: 12.6801 s Remaining CPU time: 167.32 s 12.79/12.89 c =============================================================================== 12.79/12.89 c | 1163 | 3532 25542 305542 | 8514 1163 388 | 34.435 % | 13.39/13.47 c | 1265 | 3532 25542 305542 | 9365 1265 408 | 34.435 % | 13.79/13.82 c =============================================================================== 13.79/13.82 c New solution: 96245 13.79/13.82 o 96245 13.79/13.82 c Elapsed CPU time: 13.6079 s Remaining CPU time: 166.392 s 13.79/13.82 c =============================================================================== 13.79/13.82 c | 1310 | 3532 25543 307469 | 8514 1310 415 | 34.435 % | 15.08/15.19 c =============================================================================== 15.08/15.19 c New solution: 96244 15.08/15.19 o 96244 15.08/15.19 c Elapsed CPU time: 14.9717 s Remaining CPU time: 165.028 s 15.08/15.19 c =============================================================================== 15.08/15.19 c | 1331 | 3532 25544 309396 | 8514 1331 414 | 34.435 % | 15.29/15.35 c =============================================================================== 15.29/15.35 c New solution: 96243 15.29/15.35 o 96243 15.29/15.35 c Elapsed CPU time: 15.1277 s Remaining CPU time: 164.872 s 15.29/15.35 c =============================================================================== 15.29/15.35 c | 1332 | 3532 25545 311323 | 8515 1332 414 | 34.435 % | 15.49/15.52 c =============================================================================== 15.49/15.52 c New solution: 96233 15.49/15.52 o 96233 15.49/15.52 c Elapsed CPU time: 15.2977 s Remaining CPU time: 164.702 s 15.49/15.52 c =============================================================================== 15.49/15.52 c | 1334 | 3532 25546 313250 | 8515 1334 414 | 34.435 % | 15.69/15.77 c =============================================================================== 15.69/15.77 c New solution: 94856 15.69/15.77 o 94856 15.69/15.77 c Elapsed CPU time: 15.5436 s Remaining CPU time: 164.456 s 15.69/15.77 c =============================================================================== 15.69/15.77 c | 1353 | 3532 25547 315177 | 8515 1353 415 | 34.435 % | 15.89/15.96 c =============================================================================== 15.89/15.96 c New solution: 94751 15.89/15.96 o 94751 15.89/15.96 c Elapsed CPU time: 15.7356 s Remaining CPU time: 164.264 s 15.89/15.96 c =============================================================================== 15.89/15.96 c | 1406 | 3532 25548 317104 | 8516 1406 421 | 34.435 % | 16.09/16.14 c =============================================================================== 16.09/16.14 c New solution: 94750 16.09/16.14 o 94750 16.09/16.14 c Elapsed CPU time: 15.9106 s Remaining CPU time: 164.089 s 16.09/16.14 c =============================================================================== 16.09/16.14 c | 1410 | 3532 25549 319031 | 8516 1410 421 | 34.435 % | 16.39/16.49 c =============================================================================== 16.39/16.49 c New solution: 94749 16.39/16.49 o 94749 16.39/16.49 c Elapsed CPU time: 16.2665 s Remaining CPU time: 163.733 s 16.39/16.49 c =============================================================================== 16.39/16.49 c | 1442 | 3532 25550 320958 | 8516 1442 426 | 34.435 % | 16.68/16.70 c =============================================================================== 16.68/16.70 c New solution: 94748 16.68/16.70 o 94748 16.68/16.70 c Elapsed CPU time: 16.4705 s Remaining CPU time: 163.53 s 16.68/16.70 c =============================================================================== 16.68/16.70 c | 1461 | 3532 25551 322885 | 8517 1461 428 | 34.435 % | 16.78/16.83 c =============================================================================== 16.78/16.83 c New solution: 93365 16.78/16.83 o 93365 16.78/16.83 c Elapsed CPU time: 16.5955 s Remaining CPU time: 163.405 s 16.78/16.83 c =============================================================================== 16.78/16.83 c | 1464 | 3532 25552 324812 | 8517 1464 428 | 34.435 % | 16.88/16.94 c =============================================================================== 16.88/16.94 c New solution: 93304 16.88/16.94 o 93304 16.88/16.94 c Elapsed CPU time: 16.7045 s Remaining CPU time: 163.296 s 16.88/16.94 c =============================================================================== 16.88/16.94 c | 1466 | 3532 25553 326739 | 8517 1466 428 | 34.435 % | 16.99/17.05 c =============================================================================== 16.99/17.05 c New solution: 91890 16.99/17.05 o 91890 16.99/17.05 c Elapsed CPU time: 16.8114 s Remaining CPU time: 163.189 s 16.99/17.05 c =============================================================================== 16.99/17.05 c | 1468 | 3532 25554 328666 | 8518 1468 428 | 34.435 % | 17.09/17.18 c =============================================================================== 17.09/17.18 c New solution: 91889 17.09/17.18 o 91889 17.09/17.18 c Elapsed CPU time: 16.9464 s Remaining CPU time: 163.054 s 17.09/17.18 c =============================================================================== 17.09/17.18 c | 1469 | 3532 25555 330593 | 8518 1469 428 | 34.435 % | 17.28/17.32 c =============================================================================== 17.28/17.32 c New solution: 91822 17.28/17.32 o 91822 17.28/17.32 c Elapsed CPU time: 17.0834 s Remaining CPU time: 162.917 s 17.28/17.32 c =============================================================================== 17.28/17.32 c | 1469 | 3532 25556 332520 | 8518 1469 428 | 34.435 % | 17.38/17.45 c =============================================================================== 17.38/17.45 c New solution: 91820 17.38/17.45 o 91820 17.38/17.45 c Elapsed CPU time: 17.2084 s Remaining CPU time: 162.792 s 17.38/17.45 c =============================================================================== 17.38/17.45 c | 1469 | 3532 25557 334447 | 8519 1469 428 | 34.435 % | 17.49/17.58 c =============================================================================== 17.49/17.58 c New solution: 91819 17.49/17.58 o 91819 17.49/17.58 c Elapsed CPU time: 17.3414 s Remaining CPU time: 162.659 s 17.49/17.58 c =============================================================================== 17.49/17.58 c | 1469 | 3532 25558 336374 | 8519 1469 428 | 34.435 % | 17.59/17.69 c =============================================================================== 17.59/17.69 c New solution: 91818 17.59/17.69 o 91818 17.59/17.69 c Elapsed CPU time: 17.4483 s Remaining CPU time: 162.552 s 17.59/17.69 c =============================================================================== 17.59/17.69 c | 1472 | 3532 25559 338301 | 8519 1472 428 | 34.435 % | 17.79/17.84 c =============================================================================== 17.79/17.84 c New solution: 90413 17.79/17.84 o 90413 17.79/17.84 c Elapsed CPU time: 17.5973 s Remaining CPU time: 162.403 s 17.79/17.84 c =============================================================================== 17.79/17.84 c | 1476 | 3532 25560 340228 | 8520 1476 428 | 34.435 % | 17.99/18.03 c =============================================================================== 17.99/18.03 c New solution: 90371 17.99/18.03 o 90371 17.99/18.03 c Elapsed CPU time: 17.7873 s Remaining CPU time: 162.213 s 17.99/18.03 c =============================================================================== 17.99/18.03 c | 1478 | 3532 25561 342155 | 8520 1478 428 | 34.435 % | 18.09/18.16 c =============================================================================== 18.09/18.16 c New solution: 90370 18.09/18.16 o 90370 18.09/18.16 c Elapsed CPU time: 17.9103 s Remaining CPU time: 162.09 s 18.09/18.16 c =============================================================================== 18.09/18.16 c | 1482 | 3532 25562 344082 | 8520 1482 428 | 34.435 % | 18.28/18.33 c =============================================================================== 18.28/18.33 c New solution: 90369 18.28/18.33 o 90369 18.28/18.33 c Elapsed CPU time: 18.0813 s Remaining CPU time: 161.919 s 18.28/18.33 c =============================================================================== 18.28/18.33 c | 1487 | 3532 25563 346009 | 8521 1487 428 | 34.435 % | 18.38/18.44 c =============================================================================== 18.38/18.44 c New solution: 88954 18.38/18.44 o 88954 18.38/18.44 c Elapsed CPU time: 18.1962 s Remaining CPU time: 161.804 s 18.38/18.44 c =============================================================================== 18.38/18.44 c | 1487 | 3532 25564 347936 | 8521 1487 428 | 34.435 % | 18.48/18.55 c =============================================================================== 18.48/18.55 c New solution: 88953 18.48/18.55 o 88953 18.48/18.55 c Elapsed CPU time: 18.2982 s Remaining CPU time: 161.702 s 18.48/18.55 c =============================================================================== 18.48/18.55 c | 1487 | 3532 25565 349863 | 8521 1487 428 | 34.435 % | 18.59/18.66 c =============================================================================== 18.59/18.66 c New solution: 88946 18.59/18.66 o 88946 18.59/18.66 c Elapsed CPU time: 18.4092 s Remaining CPU time: 161.591 s 18.59/18.66 c =============================================================================== 18.59/18.66 c | 1487 | 3532 25566 351790 | 8522 1487 428 | 34.435 % | 18.69/18.74 c =============================================================================== 18.69/18.74 c New solution: 88945 18.69/18.74 o 88945 18.69/18.74 c Elapsed CPU time: 18.4902 s Remaining CPU time: 161.51 s 18.69/18.74 c =============================================================================== 18.69/18.74 c | 1489 | 3532 25567 353717 | 8522 1489 429 | 34.435 % | 18.79/18.85 c =============================================================================== 18.79/18.85 c New solution: 88879 18.79/18.85 o 88879 18.79/18.85 c Elapsed CPU time: 18.5942 s Remaining CPU time: 161.406 s 18.79/18.85 c =============================================================================== 18.79/18.85 c | 1492 | 3532 25568 355644 | 8522 1492 429 | 34.435 % | 18.89/18.94 c =============================================================================== 18.89/18.94 c New solution: 87471 18.89/18.94 o 87471 18.89/18.94 c Elapsed CPU time: 18.6892 s Remaining CPU time: 161.311 s 18.89/18.94 c =============================================================================== 18.89/18.94 c | 1494 | 3532 25569 357571 | 8523 1494 428 | 34.435 % | 18.99/19.07 c =============================================================================== 18.99/19.07 c New solution: 87470 18.99/19.07 o 87470 18.99/19.07 c Elapsed CPU time: 18.8161 s Remaining CPU time: 161.184 s 18.99/19.07 c =============================================================================== 18.99/19.07 c | 1502 | 3532 25570 359498 | 8523 1502 429 | 34.435 % | 19.29/19.31 c =============================================================================== 19.29/19.31 c New solution: 87433 19.29/19.31 o 87433 19.29/19.31 c Elapsed CPU time: 19.0571 s Remaining CPU time: 160.943 s 19.29/19.31 c =============================================================================== 19.29/19.31 c | 1504 | 3532 25571 361425 | 8523 1504 430 | 34.435 % | 19.39/19.49 c =============================================================================== 19.39/19.49 c New solution: 87417 19.39/19.49 o 87417 19.39/19.49 c Elapsed CPU time: 19.2361 s Remaining CPU time: 160.764 s 19.39/19.49 c =============================================================================== 19.39/19.49 c | 1506 | 3532 25572 363352 | 8524 1506 429 | 34.435 % | 19.70/19.73 c =============================================================================== 19.70/19.73 c New solution: 87416 19.70/19.73 o 87416 19.70/19.73 c Elapsed CPU time: 19.48 s Remaining CPU time: 160.52 s 19.70/19.73 c =============================================================================== 19.70/19.73 c | 1508 | 3532 25573 365279 | 8524 1508 430 | 34.435 % | 19.80/19.89 c =============================================================================== 19.80/19.89 c New solution: 87415 19.80/19.89 o 87415 19.80/19.89 c Elapsed CPU time: 19.639 s Remaining CPU time: 160.361 s 19.80/19.89 c =============================================================================== 19.80/19.89 c | 1509 | 3532 25574 367206 | 8524 1509 430 | 34.435 % | 20.09/20.10 c =============================================================================== 20.09/20.10 c New solution: 87414 20.09/20.10 o 87414 20.09/20.10 c Elapsed CPU time: 19.85 s Remaining CPU time: 160.15 s 20.09/20.10 c =============================================================================== 20.09/20.10 c | 1509 | 3532 25575 369133 | 8525 1509 430 | 34.435 % | 20.29/20.31 c =============================================================================== 20.29/20.31 c New solution: 87413 20.29/20.31 o 87413 20.29/20.31 c Elapsed CPU time: 20.0589 s Remaining CPU time: 159.941 s 20.29/20.31 c =============================================================================== 20.29/20.31 c | 1509 | 3532 25576 371060 | 8525 1509 430 | 34.435 % | 20.49/20.52 c =============================================================================== 20.49/20.52 c New solution: 87412 20.49/20.52 o 87412 20.49/20.52 c Elapsed CPU time: 20.2659 s Remaining CPU time: 159.734 s 20.49/20.52 c =============================================================================== 20.49/20.52 c | 1509 | 3532 25577 372987 | 8525 1509 430 | 34.435 % | 20.69/20.73 c =============================================================================== 20.69/20.73 c New solution: 87411 20.69/20.73 o 87411 20.69/20.73 c Elapsed CPU time: 20.4749 s Remaining CPU time: 159.525 s 20.69/20.73 c =============================================================================== 20.69/20.73 c | 1509 | 3532 25578 374914 | 8526 1509 430 | 34.435 % | 20.89/20.91 c =============================================================================== 20.89/20.91 c New solution: 87410 20.89/20.91 o 87410 20.89/20.91 c Elapsed CPU time: 20.6479 s Remaining CPU time: 159.352 s 20.89/20.91 c =============================================================================== 20.89/20.91 c | 1511 | 3532 25579 376841 | 8526 1511 430 | 34.435 % | 21.48/21.56 c =============================================================================== 21.48/21.56 c New solution: 87409 21.48/21.56 o 87409 21.48/21.56 c Elapsed CPU time: 21.3028 s Remaining CPU time: 158.697 s 21.48/21.56 c =============================================================================== 21.48/21.56 c | 1578 | 3532 25580 378768 | 8526 1578 439 | 34.435 % | 21.78/21.81 c =============================================================================== 21.78/21.81 c New solution: 86026 21.78/21.81 o 86026 21.78/21.81 c Elapsed CPU time: 21.5467 s Remaining CPU time: 158.453 s 21.78/21.81 c =============================================================================== 21.78/21.81 c | 1583 | 3532 25581 380695 | 8527 1583 439 | 34.435 % | 22.09/22.11 c =============================================================================== 22.09/22.11 c New solution: 85956 22.09/22.11 o 85956 22.09/22.11 c Elapsed CPU time: 21.8417 s Remaining CPU time: 158.158 s 22.09/22.11 c =============================================================================== 22.09/22.11 c | 1584 | 3532 25582 382622 | 8527 1584 439 | 34.435 % | 22.39/22.40 c =============================================================================== 22.39/22.40 c New solution: 85955 22.39/22.40 o 85955 22.39/22.40 c Elapsed CPU time: 22.1366 s Remaining CPU time: 157.863 s 22.39/22.40 c =============================================================================== 22.39/22.40 c | 1584 | 3532 25583 384549 | 8527 1584 439 | 34.435 % | 22.68/22.70 c =============================================================================== 22.68/22.70 c New solution: 85954 22.68/22.70 o 85954 22.68/22.70 c Elapsed CPU time: 22.4336 s Remaining CPU time: 157.566 s 22.68/22.70 c =============================================================================== 22.68/22.70 c | 1584 | 3532 25584 386476 | 8528 1584 439 | 34.435 % | 22.88/23.00 c =============================================================================== 22.88/23.00 c New solution: 85953 22.88/23.00 o 85953 22.88/23.00 c Elapsed CPU time: 22.7315 s Remaining CPU time: 157.268 s 22.88/23.00 c =============================================================================== 22.88/23.00 c | 1585 | 3532 25585 388403 | 8528 1585 439 | 34.435 % | 23.18/23.22 c =============================================================================== 23.18/23.22 c New solution: 85950 23.18/23.22 o 85950 23.18/23.22 c Elapsed CPU time: 22.9515 s Remaining CPU time: 157.048 s 23.18/23.22 c =============================================================================== 23.18/23.22 c | 1586 | 3532 25586 390330 | 8528 1586 439 | 34.435 % | 23.38/23.47 c =============================================================================== 23.38/23.47 c New solution: 85949 23.38/23.47 o 85949 23.38/23.47 c Elapsed CPU time: 23.2015 s Remaining CPU time: 156.799 s 23.38/23.47 c =============================================================================== 23.38/23.47 c | 1588 | 3532 25587 392257 | 8529 1588 440 | 34.435 % | 23.58/23.69 c =============================================================================== 23.58/23.69 c New solution: 85948 23.58/23.69 o 85948 23.58/23.69 c Elapsed CPU time: 23.4244 s Remaining CPU time: 156.576 s 23.58/23.69 c =============================================================================== 23.58/23.69 c | 1593 | 3532 25588 394184 | 8529 1593 439 | 34.435 % | 23.78/23.86 c =============================================================================== 23.78/23.86 c New solution: 84556 23.78/23.86 o 84556 23.78/23.86 c Elapsed CPU time: 23.5914 s Remaining CPU time: 156.409 s 23.78/23.86 c =============================================================================== 23.78/23.86 c | 1593 | 3532 25589 396111 | 8529 1593 439 | 34.435 % | 23.98/24.04 c =============================================================================== 23.98/24.04 c New solution: 84553 23.98/24.04 o 84553 23.98/24.04 c Elapsed CPU time: 23.7634 s Remaining CPU time: 156.237 s 23.98/24.04 c =============================================================================== 23.98/24.04 c | 1593 | 3532 25590 398038 | 8530 1593 439 | 34.435 % | 24.19/24.21 c =============================================================================== 24.19/24.21 c New solution: 84552 24.19/24.21 o 84552 24.19/24.21 c Elapsed CPU time: 23.9334 s Remaining CPU time: 156.067 s 24.19/24.21 c =============================================================================== 24.19/24.21 c | 1593 | 3532 25591 399965 | 8530 1593 439 | 34.435 % | 24.29/24.38 c =============================================================================== 24.29/24.38 c New solution: 84551 24.29/24.38 o 84551 24.29/24.38 c Elapsed CPU time: 24.1023 s Remaining CPU time: 155.898 s 24.29/24.38 c =============================================================================== 24.29/24.38 c | 1593 | 3532 25592 401892 | 8530 1593 439 | 34.435 % | 24.49/24.54 c =============================================================================== 24.49/24.54 c New solution: 84546 24.49/24.54 o 84546 24.49/24.54 c Elapsed CPU time: 24.2623 s Remaining CPU time: 155.738 s 24.49/24.54 c =============================================================================== 24.49/24.54 c | 1593 | 3532 25593 403819 | 8531 1593 439 | 34.435 % | 24.69/24.79 c =============================================================================== 24.69/24.79 c New solution: 84545 24.69/24.79 o 84545 24.69/24.79 c Elapsed CPU time: 24.5113 s Remaining CPU time: 155.489 s 24.69/24.79 c =============================================================================== 24.69/24.79 c | 1599 | 3532 25594 405746 | 8531 1599 441 | 34.435 % | 24.89/24.96 c =============================================================================== 24.89/24.96 c New solution: 84481 24.89/24.96 o 84481 24.89/24.96 c Elapsed CPU time: 24.6852 s Remaining CPU time: 155.315 s 24.89/24.96 c =============================================================================== 24.89/24.96 c | 1601 | 3532 25595 407673 | 8531 1601 440 | 34.435 % | 25.08/25.13 c =============================================================================== 25.08/25.13 c New solution: 84478 25.08/25.13 o 84478 25.08/25.13 c Elapsed CPU time: 24.8512 s Remaining CPU time: 155.149 s 25.08/25.13 c =============================================================================== 25.08/25.13 c | 1602 | 3532 25596 409600 | 8532 1602 440 | 34.435 % | 25.29/25.32 c =============================================================================== 25.29/25.32 c New solution: 84477 25.29/25.32 o 84477 25.29/25.32 c Elapsed CPU time: 25.0402 s Remaining CPU time: 154.96 s 25.29/25.32 c =============================================================================== 25.29/25.32 c | 1604 | 3532 25597 411527 | 8532 1604 441 | 34.435 % | 25.38/25.49 c =============================================================================== 25.38/25.49 c New solution: 84476 25.38/25.49 o 84476 25.38/25.49 c Elapsed CPU time: 25.2062 s Remaining CPU time: 154.794 s 25.38/25.49 c =============================================================================== 25.38/25.49 c | 1605 | 3532 25598 413454 | 8532 1605 441 | 34.435 % | 25.58/25.65 c =============================================================================== 25.58/25.65 c New solution: 84475 25.58/25.65 o 84475 25.58/25.65 c Elapsed CPU time: 25.3691 s Remaining CPU time: 154.631 s 25.58/25.65 c =============================================================================== 25.58/25.65 c | 1606 | 3532 25599 415381 | 8533 1606 441 | 34.435 % | 25.89/25.91 c =============================================================================== 25.89/25.91 c New solution: 83082 25.89/25.91 o 83082 25.89/25.91 c Elapsed CPU time: 25.6281 s Remaining CPU time: 154.372 s 25.89/25.91 c =============================================================================== 25.89/25.91 c | 1611 | 3532 25600 417308 | 8533 1611 441 | 34.435 % | 25.99/26.05 c =============================================================================== 25.99/26.05 c New solution: 82995 25.99/26.05 o 82995 25.99/26.05 c Elapsed CPU time: 25.7631 s Remaining CPU time: 154.237 s 25.99/26.05 c =============================================================================== 25.99/26.05 c | 1611 | 3532 25601 419235 | 8533 1611 441 | 34.435 % | 26.09/26.18 c =============================================================================== 26.09/26.18 c New solution: 82994 26.09/26.18 o 82994 26.09/26.18 c Elapsed CPU time: 25.8951 s Remaining CPU time: 154.105 s 26.09/26.18 c =============================================================================== 26.09/26.18 c | 1611 | 3532 25602 421162 | 8534 1611 441 | 34.435 % | 26.29/26.32 c =============================================================================== 26.29/26.32 c New solution: 82993 26.29/26.32 o 82993 26.29/26.32 c Elapsed CPU time: 26.031 s Remaining CPU time: 153.969 s 26.29/26.32 c =============================================================================== 26.29/26.32 c | 1612 | 3532 25603 423089 | 8534 1612 441 | 34.435 % | 26.39/26.44 c =============================================================================== 26.39/26.44 c New solution: 82992 26.39/26.44 o 82992 26.39/26.44 c Elapsed CPU time: 26.155 s Remaining CPU time: 153.845 s 26.39/26.44 c =============================================================================== 26.39/26.44 c | 1615 | 3532 25604 425016 | 8534 1615 442 | 34.435 % | 26.58/26.64 c =============================================================================== 26.58/26.64 c New solution: 82991 26.58/26.64 o 82991 26.58/26.64 c Elapsed CPU time: 26.348 s Remaining CPU time: 153.652 s 26.58/26.64 c =============================================================================== 26.58/26.64 c | 1622 | 3532 25605 426943 | 8535 1622 442 | 34.435 % | 26.78/26.81 c =============================================================================== 26.78/26.81 c New solution: 81601 26.78/26.81 o 81601 26.78/26.81 c Elapsed CPU time: 26.52 s Remaining CPU time: 153.48 s 26.78/26.81 c =============================================================================== 26.78/26.81 c | 1625 | 3532 25606 428870 | 8535 1625 442 | 34.435 % | 26.88/26.97 c =============================================================================== 26.88/26.97 c New solution: 81597 26.88/26.97 o 81597 26.88/26.97 c Elapsed CPU time: 26.6789 s Remaining CPU time: 153.321 s 26.88/26.97 c =============================================================================== 26.88/26.97 c | 1626 | 3532 25607 430797 | 8535 1626 442 | 34.435 % | 27.08/27.12 c =============================================================================== 27.08/27.12 c New solution: 81593 27.08/27.12 o 81593 27.08/27.12 c Elapsed CPU time: 26.8339 s Remaining CPU time: 153.166 s 27.08/27.12 c =============================================================================== 27.08/27.12 c | 1628 | 3532 25608 432724 | 8536 1628 442 | 34.435 % | 27.28/27.37 c =============================================================================== 27.28/27.37 c New solution: 81592 27.28/27.37 o 81592 27.28/27.37 c Elapsed CPU time: 27.0729 s Remaining CPU time: 152.927 s 27.28/27.37 c =============================================================================== 27.28/27.37 c | 1641 | 3532 25609 434651 | 8536 1641 444 | 34.435 % | 27.49/27.53 c =============================================================================== 27.49/27.53 c New solution: 81542 27.49/27.53 o 81542 27.49/27.53 c Elapsed CPU time: 27.2419 s Remaining CPU time: 152.758 s 27.49/27.53 c =============================================================================== 27.49/27.53 c | 1643 | 3532 25610 436578 | 8536 1643 444 | 34.435 % | 27.68/27.78 c =============================================================================== 27.68/27.78 c New solution: 81541 27.68/27.78 o 81541 27.68/27.78 c Elapsed CPU time: 27.4838 s Remaining CPU time: 152.516 s 27.68/27.78 c =============================================================================== 27.68/27.78 c | 1656 | 3532 25611 438505 | 8537 1656 445 | 34.435 % | 27.98/28.03 c =============================================================================== 27.98/28.03 c New solution: 81540 27.98/28.03 o 81540 27.98/28.03 c Elapsed CPU time: 27.7308 s Remaining CPU time: 152.269 s 27.98/28.03 c =============================================================================== 27.98/28.03 c | 1662 | 3532 25612 440432 | 8537 1662 445 | 34.435 % | 28.28/28.39 c =============================================================================== 28.28/28.39 c New solution: 80133 28.28/28.39 o 80133 28.28/28.39 c Elapsed CPU time: 28.0947 s Remaining CPU time: 151.905 s 28.28/28.39 c =============================================================================== 28.28/28.39 c | 1693 | 3532 25613 442359 | 8537 1693 449 | 34.435 % | 28.49/28.60 c =============================================================================== 28.49/28.60 c New solution: 80132 28.49/28.60 o 80132 28.49/28.60 c Elapsed CPU time: 28.2977 s Remaining CPU time: 151.702 s 28.49/28.60 c =============================================================================== 28.49/28.60 c | 1695 | 3532 25614 444286 | 8538 1695 449 | 34.435 % | 28.68/28.76 c =============================================================================== 28.68/28.76 c New solution: 80066 28.68/28.76 o 80066 28.68/28.76 c Elapsed CPU time: 28.4527 s Remaining CPU time: 151.547 s 28.68/28.76 c =============================================================================== 28.68/28.76 c | 1697 | 3532 25615 446213 | 8538 1697 449 | 34.435 % | 28.88/28.90 c =============================================================================== 28.88/28.90 c New solution: 80063 28.88/28.90 o 80063 28.88/28.90 c Elapsed CPU time: 28.5967 s Remaining CPU time: 151.403 s 28.88/28.90 c =============================================================================== 28.88/28.90 c | 1698 | 3532 25616 448140 | 8538 1698 449 | 34.435 % | 29.09/29.15 c =============================================================================== 29.09/29.15 c New solution: 80062 29.09/29.15 o 80062 29.09/29.15 c Elapsed CPU time: 28.8436 s Remaining CPU time: 151.156 s 29.09/29.15 c =============================================================================== 29.09/29.15 c | 1700 | 3532 25617 450067 | 8539 1700 449 | 34.435 % | 29.29/29.36 c =============================================================================== 29.29/29.36 c New solution: 80061 29.29/29.36 o 80061 29.29/29.36 c Elapsed CPU time: 29.0546 s Remaining CPU time: 150.945 s 29.29/29.36 c =============================================================================== 29.29/29.36 c | 1702 | 3532 25618 451994 | 8539 1702 449 | 34.435 % | 29.48/29.52 c =============================================================================== 29.48/29.52 c New solution: 80060 29.48/29.52 o 80060 29.48/29.52 c Elapsed CPU time: 29.2116 s Remaining CPU time: 150.788 s 29.48/29.52 c =============================================================================== 29.48/29.52 c | 1705 | 3532 25619 453921 | 8539 1705 449 | 34.435 % | 29.78/29.84 c =============================================================================== 29.78/29.84 c New solution: 80059 29.78/29.84 o 80059 29.78/29.84 c Elapsed CPU time: 29.5335 s Remaining CPU time: 150.466 s 29.78/29.84 c =============================================================================== 29.78/29.84 c | 1714 | 3532 25620 455848 | 8540 1714 450 | 34.435 % | 30.69/30.80 c | 1814 | 3532 25620 455848 | 9394 1814 460 | 34.435 % | 31.08/31.10 c =============================================================================== 31.08/31.10 c New solution: 78672 31.08/31.10 o 78672 31.08/31.10 c Elapsed CPU time: 30.7913 s Remaining CPU time: 149.209 s 31.08/31.10 c =============================================================================== 31.08/31.10 c | 1823 | 3532 25621 457775 | 8540 1823 460 | 34.435 % | 31.28/31.34 c =============================================================================== 31.28/31.34 c New solution: 78614 31.28/31.34 o 78614 31.28/31.34 c Elapsed CPU time: 31.0343 s Remaining CPU time: 148.966 s 31.28/31.34 c =============================================================================== 31.28/31.34 c | 1825 | 3532 25622 459702 | 8540 1825 460 | 34.435 % | 31.58/31.69 c =============================================================================== 31.58/31.69 c New solution: 78613 31.58/31.69 o 78613 31.58/31.69 c Elapsed CPU time: 31.3772 s Remaining CPU time: 148.623 s 31.58/31.69 c =============================================================================== 31.58/31.69 c | 1827 | 3532 25623 461629 | 8541 1827 460 | 34.435 % | 31.98/32.00 c =============================================================================== 31.98/32.00 c New solution: 78612 31.98/32.00 o 78612 31.98/32.00 c Elapsed CPU time: 31.6842 s Remaining CPU time: 148.316 s 31.98/32.00 c =============================================================================== 31.98/32.00 c | 1827 | 3532 25624 463556 | 8541 1827 460 | 34.435 % | 32.58/32.69 c =============================================================================== 32.58/32.69 c New solution: 78610 32.58/32.69 o 78610 32.58/32.69 c Elapsed CPU time: 32.3701 s Remaining CPU time: 147.63 s 32.58/32.69 c =============================================================================== 32.58/32.69 c | 1830 | 3532 25625 465483 | 8541 1830 459 | 34.435 % | 32.78/32.88 c =============================================================================== 32.78/32.88 c New solution: 78609 32.78/32.88 o 78609 32.78/32.88 c Elapsed CPU time: 32.568 s Remaining CPU time: 147.432 s 32.78/32.88 c =============================================================================== 32.78/32.88 c | 1850 | 3532 25626 467410 | 8542 1850 461 | 34.435 % | 33.08/33.18 c =============================================================================== 33.08/33.18 c New solution: 78583 33.08/33.18 o 78583 33.08/33.18 c Elapsed CPU time: 32.864 s Remaining CPU time: 147.136 s 33.08/33.18 c =============================================================================== 33.08/33.18 c | 1872 | 3532 25627 469337 | 8542 1872 462 | 34.435 % | 33.27/33.33 c =============================================================================== 33.27/33.33 c New solution: 78582 33.27/33.33 o 78582 33.27/33.33 c Elapsed CPU time: 33.018 s Remaining CPU time: 146.982 s 33.27/33.33 c =============================================================================== 33.27/33.33 c | 1884 | 3532 25628 471264 | 8542 1884 462 | 34.435 % | 34.88/34.97 c =============================================================================== 34.88/34.97 c New solution: 77228 34.88/34.97 o 77228 34.88/34.97 c Elapsed CPU time: 34.6447 s Remaining CPU time: 145.355 s 34.88/34.97 c =============================================================================== 34.88/34.97 c | 1940 | 3532 25629 473191 | 8543 1940 466 | 34.435 % | 35.28/35.31 c =============================================================================== 35.28/35.31 c New solution: 77124 35.28/35.31 o 77124 35.28/35.31 c Elapsed CPU time: 34.9847 s Remaining CPU time: 145.015 s 35.28/35.31 c =============================================================================== 35.28/35.31 c | 1941 | 3532 25630 475118 | 8543 1941 466 | 34.435 % | 35.48/35.57 c =============================================================================== 35.48/35.57 c New solution: 77123 35.48/35.57 o 77123 35.48/35.57 c Elapsed CPU time: 35.2476 s Remaining CPU time: 144.752 s 35.48/35.57 c =============================================================================== 35.48/35.57 c | 1945 | 3532 25631 477045 | 8543 1945 467 | 34.435 % | 35.88/35.99 c =============================================================================== 35.88/35.99 c New solution: 77122 35.88/35.99 o 77122 35.88/35.99 c Elapsed CPU time: 35.6636 s Remaining CPU time: 144.336 s 35.88/35.99 c =============================================================================== 35.88/35.99 c | 1950 | 3532 25632 478972 | 8544 1950 467 | 34.435 % | 36.28/36.32 c =============================================================================== 36.28/36.32 c New solution: 77121 36.28/36.32 o 77121 36.28/36.32 c Elapsed CPU time: 35.9915 s Remaining CPU time: 144.008 s 36.28/36.32 c =============================================================================== 36.28/36.32 c | 1954 | 3532 25633 480899 | 8544 1954 467 | 34.435 % | 36.48/36.56 c =============================================================================== 36.48/36.56 c New solution: 77114 36.48/36.56 o 77114 36.48/36.56 c Elapsed CPU time: 36.2345 s Remaining CPU time: 143.766 s 36.48/36.56 c =============================================================================== 36.48/36.56 c | 1955 | 3532 25634 482826 | 8544 1955 467 | 34.435 % | 36.78/36.83 c =============================================================================== 36.78/36.83 c New solution: 77106 36.78/36.83 o 77106 36.78/36.83 c Elapsed CPU time: 36.5014 s Remaining CPU time: 143.499 s 36.78/36.83 c =============================================================================== 36.78/36.83 c | 1955 | 3532 25635 484753 | 8545 1955 467 | 34.435 % | 36.98/37.09 c =============================================================================== 36.98/37.09 c New solution: 77105 36.98/37.09 o 77105 36.98/37.09 c Elapsed CPU time: 36.7684 s Remaining CPU time: 143.232 s 36.98/37.09 c =============================================================================== 36.98/37.09 c | 1955 | 3532 25636 486680 | 8545 1955 467 | 34.435 % | 37.28/37.36 c =============================================================================== 37.28/37.36 c New solution: 77104 37.28/37.36 o 77104 37.28/37.36 c Elapsed CPU time: 37.0334 s Remaining CPU time: 142.967 s 37.28/37.36 c =============================================================================== 37.28/37.36 c | 1955 | 3532 25637 488607 | 8545 1955 467 | 34.435 % | 37.58/37.63 c =============================================================================== 37.58/37.63 c New solution: 77103 37.58/37.63 o 77103 37.58/37.63 c Elapsed CPU time: 37.2983 s Remaining CPU time: 142.702 s 37.58/37.63 c =============================================================================== 37.58/37.63 c | 1955 | 3532 25638 490534 | 8546 1955 467 | 34.435 % | 37.78/37.89 c =============================================================================== 37.78/37.89 c New solution: 77102 37.78/37.89 o 77102 37.78/37.89 c Elapsed CPU time: 37.5623 s Remaining CPU time: 142.438 s 37.78/37.89 c =============================================================================== 37.78/37.89 c | 1955 | 3532 25639 492461 | 8546 1955 467 | 34.435 % | 38.08/38.15 c =============================================================================== 38.08/38.15 c New solution: 77101 38.08/38.15 o 77101 38.08/38.15 c Elapsed CPU time: 37.8203 s Remaining CPU time: 142.18 s 38.08/38.15 c =============================================================================== 38.08/38.15 c | 1955 | 3532 25640 494388 | 8546 1955 467 | 34.435 % | 38.38/38.48 c =============================================================================== 38.38/38.48 c New solution: 77100 38.38/38.48 o 77100 38.38/38.48 c Elapsed CPU time: 38.1542 s Remaining CPU time: 141.846 s 38.38/38.48 c =============================================================================== 38.38/38.48 c | 1959 | 3532 25641 496315 | 8547 1959 467 | 34.435 % | 39.68/39.70 c | 2060 | 3532 25641 496315 | 9401 2060 476 | 34.435 % | 40.87/40.98 c | 2211 | 3532 25641 496315 | 10341 2211 487 | 34.435 % | 41.17/41.28 c =============================================================================== 41.17/41.28 c New solution: 77099 41.17/41.28 o 77099 41.17/41.28 c Elapsed CPU time: 40.9538 s Remaining CPU time: 139.046 s 41.17/41.28 c =============================================================================== 41.17/41.28 c | 2213 | 3532 25642 498242 | 8547 2213 486 | 34.435 % | 41.58/41.61 c =============================================================================== 41.58/41.61 c New solution: 77098 41.58/41.61 o 77098 41.58/41.61 c Elapsed CPU time: 41.2827 s Remaining CPU time: 138.717 s 41.58/41.61 c =============================================================================== 41.58/41.61 c | 2215 | 3532 25643 500169 | 8547 2215 486 | 34.435 % | 41.88/41.93 c =============================================================================== 41.88/41.93 c New solution: 77097 41.88/41.93 o 77097 41.88/41.93 c Elapsed CPU time: 41.5947 s Remaining CPU time: 138.405 s 41.88/41.93 c =============================================================================== 41.88/41.93 c | 2218 | 3532 25644 502096 | 8548 2218 486 | 34.435 % | 42.18/42.24 c =============================================================================== 42.18/42.24 c New solution: 77096 42.18/42.24 o 77096 42.18/42.24 c Elapsed CPU time: 41.9046 s Remaining CPU time: 138.095 s 42.18/42.24 c =============================================================================== 42.18/42.24 c | 2218 | 3532 25645 504023 | 8548 2218 486 | 34.435 % | 42.38/42.47 c =============================================================================== 42.38/42.47 c New solution: 77095 42.38/42.47 o 77095 42.38/42.47 c Elapsed CPU time: 42.1426 s Remaining CPU time: 137.857 s 42.38/42.47 c =============================================================================== 42.38/42.47 c | 2220 | 3532 25646 505950 | 8548 2220 486 | 34.435 % | 42.79/42.81 c =============================================================================== 42.79/42.81 c New solution: 77094 42.79/42.81 o 77094 42.79/42.81 c Elapsed CPU time: 42.4735 s Remaining CPU time: 137.526 s 42.79/42.81 c =============================================================================== 42.79/42.81 c | 2223 | 3532 25647 507877 | 8549 2223 486 | 34.435 % | 43.18/43.27 c =============================================================================== 43.18/43.27 c New solution: 77093 43.18/43.27 o 77093 43.18/43.27 c Elapsed CPU time: 42.9395 s Remaining CPU time: 137.061 s 43.18/43.27 c =============================================================================== 43.18/43.27 c | 2241 | 3532 25648 509804 | 8549 2241 487 | 34.435 % | 44.38/44.49 c | 2342 | 3532 25648 509804 | 9404 2342 493 | 34.435 % | 44.98/45.01 c =============================================================================== 44.98/45.01 c New solution: 77092 44.98/45.01 o 77092 44.98/45.01 c Elapsed CPU time: 44.6712 s Remaining CPU time: 135.329 s 44.98/45.01 c =============================================================================== 44.98/45.01 c | 2345 | 3532 25649 511731 | 8549 2345 492 | 34.435 % | 45.78/45.86 c =============================================================================== 45.78/45.86 c New solution: 75725 45.78/45.86 o 75725 45.78/45.86 c Elapsed CPU time: 45.5201 s Remaining CPU time: 134.48 s 45.78/45.86 c =============================================================================== 45.78/45.86 c | 2416 | 3532 25650 513658 | 8550 2416 496 | 34.435 % | 46.27/46.38 c =============================================================================== 46.27/46.38 c New solution: 75663 46.27/46.38 o 75663 46.27/46.38 c Elapsed CPU time: 46.044 s Remaining CPU time: 133.956 s 46.27/46.38 c =============================================================================== 46.27/46.38 c | 2418 | 3532 25651 515585 | 8550 2418 496 | 34.435 % | 46.77/46.85 c =============================================================================== 46.77/46.85 c New solution: 75650 46.77/46.85 o 75650 46.77/46.85 c Elapsed CPU time: 46.5099 s Remaining CPU time: 133.49 s 46.77/46.85 c =============================================================================== 46.77/46.85 c | 2420 | 3532 25652 517512 | 8550 2420 496 | 34.435 % | 47.28/47.33 c =============================================================================== 47.28/47.33 c New solution: 75649 47.28/47.33 o 75649 47.28/47.33 c Elapsed CPU time: 46.9859 s Remaining CPU time: 133.014 s 47.28/47.33 c =============================================================================== 47.28/47.33 c | 2421 | 3532 25653 519439 | 8551 2421 496 | 34.435 % | 47.68/47.74 c =============================================================================== 47.68/47.74 c New solution: 75648 47.68/47.74 o 75648 47.68/47.74 c Elapsed CPU time: 47.3988 s Remaining CPU time: 132.601 s 47.68/47.74 c =============================================================================== 47.68/47.74 c | 2426 | 3532 25654 521366 | 8551 2426 496 | 34.435 % | 48.08/48.13 c =============================================================================== 48.08/48.13 c New solution: 75647 48.08/48.13 o 75647 48.08/48.13 c Elapsed CPU time: 47.7857 s Remaining CPU time: 132.214 s 48.08/48.13 c =============================================================================== 48.08/48.13 c | 2429 | 3532 25655 523293 | 8551 2429 496 | 34.435 % | 48.67/48.70 c =============================================================================== 48.67/48.70 c New solution: 75646 48.67/48.70 o 75646 48.67/48.70 c Elapsed CPU time: 48.3486 s Remaining CPU time: 131.651 s 48.67/48.70 c =============================================================================== 48.67/48.70 c | 2464 | 3532 25656 525220 | 8552 2464 496 | 34.435 % | 48.87/48.95 c =============================================================================== 48.87/48.95 c New solution: 75645 48.87/48.95 o 75645 48.87/48.95 c Elapsed CPU time: 48.6026 s Remaining CPU time: 131.397 s 48.87/48.95 c =============================================================================== 48.87/48.95 c | 2467 | 3532 25657 527147 | 8552 2467 496 | 34.435 % | 50.17/50.28 c | 2568 | 3532 25657 527147 | 9407 2568 502 | 34.435 % | 50.58/50.61 c =============================================================================== 50.58/50.61 c New solution: 75644 50.58/50.61 o 75644 50.58/50.61 c Elapsed CPU time: 50.2634 s Remaining CPU time: 129.737 s 50.58/50.61 c =============================================================================== 50.58/50.61 c | 2572 | 3532 25658 529074 | 8552 2572 502 | 34.435 % | 50.77/50.87 c =============================================================================== 50.77/50.87 c New solution: 75643 50.77/50.87 o 75643 50.77/50.87 c Elapsed CPU time: 50.5193 s Remaining CPU time: 129.481 s 50.77/50.87 c =============================================================================== 50.77/50.87 c | 2584 | 3532 25659 531001 | 8553 2584 502 | 34.435 % | 51.27/51.31 c =============================================================================== 51.27/51.31 c New solution: 75642 51.27/51.31 o 75642 51.27/51.31 c Elapsed CPU time: 50.9573 s Remaining CPU time: 129.043 s 51.27/51.31 c =============================================================================== 51.27/51.31 c | 2606 | 3532 25660 532928 | 8553 2606 503 | 34.435 % | 51.58/51.66 c =============================================================================== 51.58/51.66 c New solution: 75641 51.58/51.66 o 75641 51.58/51.66 c Elapsed CPU time: 51.3012 s Remaining CPU time: 128.699 s 51.58/51.66 c =============================================================================== 51.58/51.66 c | 2614 | 3532 25661 534855 | 8553 2614 503 | 34.435 % | 52.57/52.66 c | 2714 | 3532 25661 534855 | 9409 2714 508 | 34.435 % | 52.87/52.95 c =============================================================================== 52.87/52.95 c New solution: 75640 52.87/52.95 o 75640 52.87/52.95 c Elapsed CPU time: 52.595 s Remaining CPU time: 127.405 s 52.87/52.95 c =============================================================================== 52.87/52.95 c | 2725 | 3532 25662 536782 | 8554 2725 508 | 34.435 % | 53.17/53.22 c =============================================================================== 53.17/53.22 c New solution: 75639 53.17/53.22 o 75639 53.17/53.22 c Elapsed CPU time: 52.857 s Remaining CPU time: 127.143 s 53.17/53.22 c =============================================================================== 53.17/53.22 c | 2729 | 3532 25663 538709 | 8554 2729 508 | 34.435 % | 53.47/53.50 c =============================================================================== 53.47/53.50 c New solution: 75638 53.47/53.50 o 75638 53.47/53.50 c Elapsed CPU time: 53.1369 s Remaining CPU time: 126.863 s 53.47/53.50 c =============================================================================== 53.47/53.50 c | 2732 | 3532 25664 540636 | 8554 2732 508 | 34.435 % | 53.67/53.74 c =============================================================================== 53.67/53.74 c New solution: 75637 53.67/53.74 o 75637 53.67/53.74 c Elapsed CPU time: 53.3809 s Remaining CPU time: 126.619 s 53.67/53.74 c =============================================================================== 53.67/53.74 c | 2733 | 3532 25665 542563 | 8555 2733 508 | 34.435 % | 53.88/53.99 c =============================================================================== 53.88/53.99 c New solution: 75636 53.88/53.99 o 75636 53.88/53.99 c Elapsed CPU time: 53.6208 s Remaining CPU time: 126.379 s 53.88/53.99 c =============================================================================== 53.88/53.99 c | 2733 | 3532 25666 544490 | 8555 2733 508 | 34.435 % | 54.18/54.25 c =============================================================================== 54.18/54.25 c New solution: 75635 54.18/54.25 o 75635 54.18/54.25 c Elapsed CPU time: 53.8888 s Remaining CPU time: 126.111 s 54.18/54.25 c =============================================================================== 54.18/54.25 c | 2734 | 3532 25667 546417 | 8555 2734 508 | 34.435 % | 55.57/55.63 c =============================================================================== 55.57/55.63 c New solution: 75634 55.57/55.63 o 75634 55.57/55.63 c Elapsed CPU time: 55.2596 s Remaining CPU time: 124.74 s 55.57/55.63 c =============================================================================== 55.57/55.63 c | 2790 | 3532 25668 548344 | 8556 2790 511 | 34.435 % | 55.77/55.88 c =============================================================================== 55.77/55.88 c New solution: 75633 55.77/55.88 o 75633 55.77/55.88 c Elapsed CPU time: 55.5066 s Remaining CPU time: 124.493 s 55.77/55.88 c =============================================================================== 55.77/55.88 c | 2790 | 3532 25669 550271 | 8556 2790 511 | 34.435 % | 56.08/56.17 c =============================================================================== 56.08/56.17 c New solution: 75632 56.08/56.17 o 75632 56.08/56.17 c Elapsed CPU time: 55.8035 s Remaining CPU time: 124.196 s 56.08/56.17 c =============================================================================== 56.08/56.17 c | 2801 | 3532 25670 552198 | 8556 2801 511 | 34.435 % | 56.37/56.44 c =============================================================================== 56.37/56.44 c New solution: 75631 56.37/56.44 o 75631 56.37/56.44 c Elapsed CPU time: 56.0665 s Remaining CPU time: 123.934 s 56.37/56.44 c =============================================================================== 56.37/56.44 c | 2803 | 3532 25671 554125 | 8557 2803 511 | 34.435 % | 56.77/56.82 c =============================================================================== 56.77/56.82 c New solution: 74274 56.77/56.82 o 74274 56.77/56.82 c Elapsed CPU time: 56.4444 s Remaining CPU time: 123.556 s 56.77/56.82 c =============================================================================== 56.77/56.82 c | 2809 | 3532 25672 556052 | 8557 2809 511 | 34.435 % | 57.08/57.11 c =============================================================================== 57.08/57.11 c New solution: 74191 57.08/57.11 o 74191 57.08/57.11 c Elapsed CPU time: 56.7394 s Remaining CPU time: 123.261 s 57.08/57.11 c =============================================================================== 57.08/57.11 c | 2809 | 3532 25673 557979 | 8557 2809 511 | 34.435 % | 57.37/57.41 c =============================================================================== 57.37/57.41 c New solution: 74190 57.37/57.41 o 74190 57.37/57.41 c Elapsed CPU time: 57.0343 s Remaining CPU time: 122.966 s 57.37/57.41 c =============================================================================== 57.37/57.41 c | 2809 | 3532 25674 559906 | 8558 2809 511 | 34.435 % | 57.67/57.70 c =============================================================================== 57.67/57.70 c New solution: 74189 57.67/57.70 o 74189 57.67/57.70 c Elapsed CPU time: 57.3213 s Remaining CPU time: 122.679 s 57.67/57.70 c =============================================================================== 57.67/57.70 c | 2809 | 3532 25675 561833 | 8558 2809 511 | 34.435 % | 57.87/57.98 c =============================================================================== 57.87/57.98 c New solution: 74184 57.87/57.98 o 74184 57.87/57.98 c Elapsed CPU time: 57.6072 s Remaining CPU time: 122.393 s 57.87/57.98 c =============================================================================== 57.87/57.98 c | 2810 | 3532 25676 563760 | 8558 2810 511 | 34.435 % | 58.37/58.43 c =============================================================================== 58.37/58.43 c New solution: 74183 58.37/58.43 o 74183 58.37/58.43 c Elapsed CPU time: 58.0562 s Remaining CPU time: 121.944 s 58.37/58.43 c =============================================================================== 58.37/58.43 c | 2819 | 3532 25677 565687 | 8559 2819 511 | 34.435 % | 58.67/58.70 c =============================================================================== 58.67/58.70 c New solution: 74182 58.67/58.70 o 74182 58.67/58.70 c Elapsed CPU time: 58.3231 s Remaining CPU time: 121.677 s 58.67/58.70 c =============================================================================== 58.67/58.70 c | 2825 | 3532 25678 567614 | 8559 2825 511 | 34.435 % | 59.87/59.97 c | 2925 | 3532 25678 567614 | 9415 2925 515 | 34.435 % | 60.27/60.32 c =============================================================================== 60.27/60.32 c New solution: 74181 60.27/60.32 o 74181 60.27/60.32 c Elapsed CPU time: 59.9349 s Remaining CPU time: 120.065 s 60.27/60.32 c =============================================================================== 60.27/60.32 c | 2927 | 3532 25679 569541 | 8559 2927 515 | 34.435 % | 60.57/60.61 c =============================================================================== 60.57/60.61 c New solution: 74180 60.57/60.61 o 74180 60.57/60.61 c Elapsed CPU time: 60.2268 s Remaining CPU time: 119.773 s 60.57/60.61 c =============================================================================== 60.57/60.61 c | 2933 | 3532 25680 571468 | 8560 2933 515 | 34.435 % | 60.77/60.89 c =============================================================================== 60.77/60.89 c New solution: 74179 60.77/60.89 o 74179 60.77/60.89 c Elapsed CPU time: 60.5088 s Remaining CPU time: 119.491 s 60.77/60.89 c =============================================================================== 60.77/60.89 c | 2933 | 3532 25681 573395 | 8560 2933 515 | 34.435 % | 61.07/61.18 c =============================================================================== 61.07/61.18 c New solution: 74178 61.07/61.18 o 74178 61.07/61.18 c Elapsed CPU time: 60.7928 s Remaining CPU time: 119.207 s 61.07/61.18 c =============================================================================== 61.07/61.18 c | 2933 | 3532 25682 575322 | 8560 2933 515 | 34.435 % | 61.37/61.46 c =============================================================================== 61.37/61.46 c New solution: 74177 61.37/61.46 o 74177 61.37/61.46 c Elapsed CPU time: 61.0777 s Remaining CPU time: 118.922 s 61.37/61.46 c =============================================================================== 61.37/61.46 c | 2933 | 3532 25683 577249 | 8561 2933 515 | 34.435 % | 61.67/61.75 c =============================================================================== 61.67/61.75 c New solution: 74176 61.67/61.75 o 74176 61.67/61.75 c Elapsed CPU time: 61.3677 s Remaining CPU time: 118.632 s 61.67/61.75 c =============================================================================== 61.67/61.75 c | 2933 | 3532 25684 579176 | 8561 2933 515 | 34.435 % | 61.97/62.03 c =============================================================================== 61.97/62.03 c New solution: 74175 61.97/62.03 o 74175 61.97/62.03 c Elapsed CPU time: 61.6436 s Remaining CPU time: 118.356 s 61.97/62.03 c =============================================================================== 61.97/62.03 c | 2933 | 3532 25685 581103 | 8561 2933 515 | 34.435 % | 62.27/62.31 c =============================================================================== 62.27/62.31 c New solution: 74174 62.27/62.31 o 74174 62.27/62.31 c Elapsed CPU time: 61.9226 s Remaining CPU time: 118.077 s 62.27/62.31 c =============================================================================== 62.27/62.31 c | 2933 | 3532 25686 583030 | 8562 2933 515 | 34.435 % | 62.47/62.58 c =============================================================================== 62.47/62.58 c New solution: 74173 62.47/62.58 o 74173 62.47/62.58 c Elapsed CPU time: 62.1955 s Remaining CPU time: 117.804 s 62.47/62.58 c =============================================================================== 62.47/62.58 c | 2933 | 3532 25687 584957 | 8562 2933 515 | 34.435 % | 62.77/62.86 c =============================================================================== 62.77/62.86 c New solution: 74172 62.77/62.86 o 74172 62.77/62.86 c Elapsed CPU time: 62.4695 s Remaining CPU time: 117.53 s 62.77/62.86 c =============================================================================== 62.77/62.86 c | 2933 | 3532 25688 586884 | 8562 2933 515 | 34.435 % | 63.07/63.11 c =============================================================================== 63.07/63.11 c New solution: 74171 63.07/63.11 o 74171 63.07/63.11 c Elapsed CPU time: 62.7225 s Remaining CPU time: 117.278 s 63.07/63.11 c =============================================================================== 63.07/63.11 c | 2935 | 3532 25689 588811 | 8563 2935 515 | 34.435 % | 63.78/63.83 c =============================================================================== 63.78/63.83 c New solution: 74170 63.78/63.83 o 74170 63.78/63.83 c Elapsed CPU time: 63.4414 s Remaining CPU time: 116.559 s 63.78/63.83 c =============================================================================== 63.78/63.83 c | 2981 | 3532 25690 590738 | 8563 2981 516 | 34.435 % | 64.27/64.33 c =============================================================================== 64.27/64.33 c New solution: 72787 64.27/64.33 o 72787 64.27/64.33 c Elapsed CPU time: 63.9403 s Remaining CPU time: 116.06 s 64.27/64.33 c =============================================================================== 64.27/64.33 c | 2992 | 3532 25691 592665 | 8563 2992 516 | 34.435 % | 64.67/64.76 c =============================================================================== 64.67/64.76 c New solution: 72730 64.67/64.76 o 72730 64.67/64.76 c Elapsed CPU time: 64.3702 s Remaining CPU time: 115.63 s 64.67/64.76 c =============================================================================== 64.67/64.76 c | 3000 | 3532 25692 594592 | 8564 3000 516 | 34.435 % | 65.07/65.12 c =============================================================================== 65.07/65.12 c New solution: 72721 65.07/65.12 o 72721 65.07/65.12 c Elapsed CPU time: 64.7262 s Remaining CPU time: 115.274 s 65.07/65.12 c =============================================================================== 65.07/65.12 c | 3002 | 3532 25693 596519 | 8564 3002 516 | 34.435 % | 65.37/65.46 c =============================================================================== 65.37/65.46 c New solution: 72720 65.37/65.46 o 72720 65.37/65.46 c Elapsed CPU time: 65.0631 s Remaining CPU time: 114.937 s 65.37/65.46 c =============================================================================== 65.37/65.46 c | 3003 | 3532 25694 598446 | 8564 3003 516 | 34.435 % | 65.67/65.79 c =============================================================================== 65.67/65.79 c New solution: 72719 65.67/65.79 o 72719 65.67/65.79 c Elapsed CPU time: 65.3921 s Remaining CPU time: 114.608 s 65.67/65.79 c =============================================================================== 65.67/65.79 c | 3003 | 3532 25695 600373 | 8565 3003 516 | 34.435 % | 66.07/66.12 c =============================================================================== 66.07/66.12 c New solution: 72718 66.07/66.12 o 72718 66.07/66.12 c Elapsed CPU time: 65.719 s Remaining CPU time: 114.281 s 66.07/66.12 c =============================================================================== 66.07/66.12 c | 3003 | 3532 25696 602300 | 8565 3003 516 | 34.435 % | 66.36/66.43 c =============================================================================== 66.36/66.43 c New solution: 72714 66.36/66.43 o 72714 66.36/66.43 c Elapsed CPU time: 66.032 s Remaining CPU time: 113.968 s 66.36/66.43 c =============================================================================== 66.36/66.43 c | 3003 | 3532 25697 604227 | 8565 3003 516 | 34.435 % | 66.67/66.75 c =============================================================================== 66.67/66.75 c New solution: 72713 66.67/66.75 o 72713 66.67/66.75 c Elapsed CPU time: 66.3479 s Remaining CPU time: 113.652 s 66.67/66.75 c =============================================================================== 66.67/66.75 c | 3003 | 3532 25698 606154 | 8566 3003 516 | 34.435 % | 66.98/67.07 c =============================================================================== 66.98/67.07 c New solution: 72712 66.98/67.07 o 72712 66.98/67.07 c Elapsed CPU time: 66.6679 s Remaining CPU time: 113.332 s 66.98/67.07 c =============================================================================== 66.98/67.07 c | 3003 | 3532 25699 608081 | 8566 3003 516 | 34.435 % | 67.27/67.39 c =============================================================================== 67.27/67.39 c New solution: 72711 67.27/67.39 o 72711 67.27/67.39 c Elapsed CPU time: 66.9928 s Remaining CPU time: 113.007 s 67.27/67.39 c =============================================================================== 67.27/67.39 c | 3003 | 3532 25700 610008 | 8566 3003 516 | 34.435 % | 67.67/67.70 c =============================================================================== 67.67/67.70 c New solution: 72710 67.67/67.70 o 72710 67.67/67.70 c Elapsed CPU time: 67.3058 s Remaining CPU time: 112.694 s 67.67/67.70 c =============================================================================== 67.67/67.70 c | 3003 | 3532 25701 611935 | 8567 3003 516 | 34.435 % | 67.97/68.01 c =============================================================================== 67.97/68.01 c New solution: 72709 67.97/68.01 o 72709 67.97/68.01 c Elapsed CPU time: 67.6137 s Remaining CPU time: 112.386 s 67.97/68.01 c =============================================================================== 67.97/68.01 c | 3003 | 3532 25702 613862 | 8567 3003 516 | 34.435 % | 68.27/68.33 c =============================================================================== 68.27/68.33 c New solution: 72708 68.27/68.33 o 72708 68.27/68.33 c Elapsed CPU time: 67.9267 s Remaining CPU time: 112.073 s 68.27/68.33 c =============================================================================== 68.27/68.33 c | 3003 | 3532 25703 615789 | 8567 3003 516 | 34.435 % | 68.57/68.63 c =============================================================================== 68.57/68.63 c New solution: 72707 68.57/68.63 o 72707 68.57/68.63 c Elapsed CPU time: 68.2346 s Remaining CPU time: 111.765 s 68.57/68.63 c =============================================================================== 68.57/68.63 c | 3003 | 3532 25704 617716 | 8568 3003 516 | 34.435 % | 68.87/68.94 c =============================================================================== 68.87/68.94 c New solution: 72706 68.87/68.94 o 72706 68.87/68.94 c Elapsed CPU time: 68.5386 s Remaining CPU time: 111.461 s 68.87/68.94 c =============================================================================== 68.87/68.94 c | 3003 | 3532 25705 619643 | 8568 3003 516 | 34.435 % | 69.18/69.25 c =============================================================================== 69.18/69.25 c New solution: 72705 69.18/69.25 o 72705 69.18/69.25 c Elapsed CPU time: 68.8445 s Remaining CPU time: 111.155 s 69.18/69.25 c =============================================================================== 69.18/69.25 c | 3003 | 3532 25706 621570 | 8568 3003 516 | 34.435 % | 69.47/69.55 c =============================================================================== 69.47/69.55 c New solution: 72704 69.47/69.55 o 72704 69.47/69.55 c Elapsed CPU time: 69.1495 s Remaining CPU time: 110.851 s 69.47/69.55 c =============================================================================== 69.47/69.55 c | 3003 | 3532 25707 623497 | 8569 3003 516 | 34.435 % | 69.77/69.85 c =============================================================================== 69.77/69.85 c New solution: 72703 69.77/69.85 o 72703 69.77/69.85 c Elapsed CPU time: 69.4494 s Remaining CPU time: 110.551 s 69.77/69.85 c =============================================================================== 69.77/69.85 c | 3003 | 3532 25708 625424 | 8569 3003 516 | 34.435 % | 70.07/70.15 c =============================================================================== 70.07/70.15 c New solution: 72702 70.07/70.15 o 72702 70.07/70.15 c Elapsed CPU time: 69.7484 s Remaining CPU time: 110.252 s 70.07/70.15 c =============================================================================== 70.07/70.15 c | 3003 | 3532 25709 627351 | 8569 3003 516 | 34.435 % | 70.47/70.50 c =============================================================================== 70.47/70.50 c New solution: 72701 70.47/70.50 o 72701 70.47/70.50 c Elapsed CPU time: 70.0933 s Remaining CPU time: 109.907 s 70.47/70.50 c =============================================================================== 70.47/70.50 c | 3005 | 3532 25710 629278 | 8570 3005 516 | 34.435 % | 70.77/70.80 c =============================================================================== 70.77/70.80 c New solution: 72700 70.77/70.80 o 72700 70.77/70.80 c Elapsed CPU time: 70.3983 s Remaining CPU time: 109.602 s 70.77/70.80 c =============================================================================== 70.77/70.80 c | 3005 | 3532 25711 631205 | 8570 3005 516 | 34.435 % | 71.07/71.10 c =============================================================================== 71.07/71.10 c New solution: 72699 71.07/71.10 o 72699 71.07/71.10 c Elapsed CPU time: 70.6933 s Remaining CPU time: 109.307 s 71.07/71.10 c =============================================================================== 71.07/71.10 c | 3005 | 3532 25712 633132 | 8570 3005 516 | 34.435 % | 71.27/71.40 c =============================================================================== 71.27/71.40 c New solution: 72698 71.27/71.40 o 72698 71.27/71.40 c Elapsed CPU time: 70.9892 s Remaining CPU time: 109.011 s 71.27/71.40 c =============================================================================== 71.27/71.40 c | 3006 | 3532 25713 635059 | 8571 3006 516 | 34.435 % | 72.26/72.35 c =============================================================================== 72.26/72.35 c New solution: 71311 72.26/72.35 o 71311 72.26/72.35 c Elapsed CPU time: 71.9431 s Remaining CPU time: 108.057 s 72.26/72.35 c =============================================================================== 72.26/72.35 c | 3048 | 3532 25714 636986 | 8571 3048 517 | 34.435 % | 72.77/72.83 c =============================================================================== 72.77/72.83 c New solution: 71242 72.77/72.83 o 71242 72.77/72.83 c Elapsed CPU time: 72.416 s Remaining CPU time: 107.584 s 72.77/72.83 c =============================================================================== 72.77/72.83 c | 3053 | 3532 25715 638913 | 8571 3053 517 | 34.435 % | 73.27/73.35 c =============================================================================== 73.27/73.35 c New solution: 71241 73.27/73.35 o 71241 73.27/73.35 c Elapsed CPU time: 72.9359 s Remaining CPU time: 107.064 s 73.27/73.35 c =============================================================================== 73.27/73.35 c | 3055 | 3532 25716 640840 | 8572 3055 517 | 34.435 % | 74.17/74.20 c =============================================================================== 74.17/74.20 c New solution: 71240 74.17/74.20 o 71240 74.17/74.20 c Elapsed CPU time: 73.7888 s Remaining CPU time: 106.211 s 74.17/74.20 c =============================================================================== 74.17/74.20 c | 3065 | 3532 25717 642767 | 8572 3065 517 | 34.435 % | 74.67/74.71 c =============================================================================== 74.67/74.71 c New solution: 71239 74.67/74.71 o 71239 74.67/74.71 c Elapsed CPU time: 74.2937 s Remaining CPU time: 105.706 s 74.67/74.71 c =============================================================================== 74.67/74.71 c | 3071 | 3532 25718 644694 | 8572 3071 517 | 34.435 % | 76.06/76.19 c | 3172 | 3532 25718 644694 | 9429 3172 521 | 34.435 % | 76.56/76.66 c =============================================================================== 76.56/76.66 c New solution: 71238 76.56/76.66 o 71238 76.56/76.66 c Elapsed CPU time: 76.2414 s Remaining CPU time: 103.759 s 76.56/76.66 c =============================================================================== 76.56/76.66 c | 3174 | 3532 25719 646621 | 8573 3174 521 | 34.435 % | 77.06/77.17 c =============================================================================== 77.06/77.17 c New solution: 71237 77.06/77.17 o 71237 77.06/77.17 c Elapsed CPU time: 76.7533 s Remaining CPU time: 103.247 s 77.06/77.17 c =============================================================================== 77.06/77.17 c | 3176 | 3532 25720 648548 | 8573 3176 521 | 34.435 % | 77.57/77.63 c =============================================================================== 77.57/77.63 c New solution: 71236 77.57/77.63 o 71236 77.57/77.63 c Elapsed CPU time: 77.2053 s Remaining CPU time: 102.795 s 77.57/77.63 c =============================================================================== 77.57/77.63 c | 3178 | 3532 25721 650475 | 8573 3178 521 | 34.435 % | 78.08/78.14 c =============================================================================== 78.08/78.14 c New solution: 71235 78.08/78.14 o 71235 78.08/78.14 c Elapsed CPU time: 77.7132 s Remaining CPU time: 102.287 s 78.08/78.14 c =============================================================================== 78.08/78.14 c | 3179 | 3532 25722 652402 | 8574 3179 521 | 34.435 % | 78.47/78.58 c =============================================================================== 78.47/78.58 c New solution: 71234 78.47/78.58 o 71234 78.47/78.58 c Elapsed CPU time: 78.1581 s Remaining CPU time: 101.842 s 78.47/78.58 c =============================================================================== 78.47/78.58 c | 3181 | 3532 25723 654329 | 8574 3181 521 | 34.435 % | 78.97/79.05 c =============================================================================== 78.97/79.05 c New solution: 71233 78.97/79.05 o 71233 78.97/79.05 c Elapsed CPU time: 78.621 s Remaining CPU time: 101.379 s 78.97/79.05 c =============================================================================== 78.97/79.05 c | 3184 | 3532 25724 656256 | 8574 3184 521 | 34.435 % | 79.47/79.57 c =============================================================================== 79.47/79.57 c New solution: 71232 79.47/79.57 o 71232 79.47/79.57 c Elapsed CPU time: 79.14 s Remaining CPU time: 100.86 s 79.47/79.57 c =============================================================================== 79.47/79.57 c | 3189 | 3532 25725 658183 | 8575 3189 520 | 34.435 % | 79.96/80.09 c =============================================================================== 79.96/80.09 c New solution: 71231 79.96/80.09 o 71231 79.96/80.09 c Elapsed CPU time: 79.6619 s Remaining CPU time: 100.338 s 79.96/80.09 c =============================================================================== 79.96/80.09 c | 3194 | 3532 25726 660110 | 8575 3194 520 | 34.435 % | 81.16/81.29 c | 3295 | 3532 25726 660110 | 9432 3295 524 | 34.435 % | 81.67/81.79 c =============================================================================== 81.67/81.79 c New solution: 71226 81.67/81.79 o 71226 81.67/81.79 c Elapsed CPU time: 81.3576 s Remaining CPU time: 98.6424 s 81.67/81.79 c =============================================================================== 81.67/81.79 c | 3296 | 3532 25727 662037 | 8575 3296 524 | 34.435 % | 82.48/82.51 c =============================================================================== 82.48/82.51 c New solution: 71225 82.48/82.51 o 71225 82.48/82.51 c Elapsed CPU time: 82.0715 s Remaining CPU time: 97.9285 s 82.48/82.51 c =============================================================================== 82.48/82.51 c | 3296 | 3532 25728 663964 | 8576 3296 524 | 34.435 % | 82.87/82.99 c =============================================================================== 82.87/82.99 c New solution: 71224 82.87/82.99 o 71224 82.87/82.99 c Elapsed CPU time: 82.5604 s Remaining CPU time: 97.4396 s 82.87/82.99 c =============================================================================== 82.87/82.99 c | 3297 | 3532 25729 665891 | 8576 3297 524 | 34.435 % | 83.37/83.48 c =============================================================================== 83.37/83.48 c New solution: 71220 83.37/83.48 o 71220 83.37/83.48 c Elapsed CPU time: 83.0424 s Remaining CPU time: 96.9576 s 83.37/83.48 c =============================================================================== 83.37/83.48 c | 3297 | 3532 25730 667818 | 8576 3297 524 | 34.435 % | 84.07/84.18 c =============================================================================== 84.07/84.18 c New solution: 71219 84.07/84.18 o 71219 84.07/84.18 c Elapsed CPU time: 83.7473 s Remaining CPU time: 96.2527 s 84.07/84.18 c =============================================================================== 84.07/84.18 c | 3297 | 3532 25731 669745 | 8577 3297 524 | 34.435 % | 84.76/84.89 c =============================================================================== 84.76/84.89 c New solution: 71218 84.76/84.89 o 71218 84.76/84.89 c Elapsed CPU time: 84.4502 s Remaining CPU time: 95.5498 s 84.76/84.89 c =============================================================================== 84.76/84.89 c | 3297 | 3532 25732 671672 | 8577 3297 524 | 34.435 % | 85.26/85.36 c =============================================================================== 85.26/85.36 c New solution: 71217 85.26/85.36 o 71217 85.26/85.36 c Elapsed CPU time: 84.9151 s Remaining CPU time: 95.0849 s 85.26/85.36 c =============================================================================== 85.26/85.36 c | 3297 | 3532 25733 673599 | 8577 3297 524 | 34.435 % | 85.77/85.83 c =============================================================================== 85.77/85.83 c New solution: 71216 85.77/85.83 o 71216 85.77/85.83 c Elapsed CPU time: 85.39 s Remaining CPU time: 94.61 s 85.77/85.83 c =============================================================================== 85.77/85.83 c | 3297 | 3532 25734 675526 | 8578 3297 524 | 34.435 % | 86.46/86.53 c =============================================================================== 86.46/86.53 c New solution: 71215 86.46/86.53 o 71215 86.46/86.53 c Elapsed CPU time: 86.0919 s Remaining CPU time: 93.9081 s 86.46/86.53 c =============================================================================== 86.46/86.53 c | 3297 | 3532 25735 677453 | 8578 3297 524 | 34.435 % | 87.16/87.23 c =============================================================================== 87.16/87.23 c New solution: 71214 87.16/87.23 o 71214 87.16/87.23 c Elapsed CPU time: 86.7908 s Remaining CPU time: 93.2092 s 87.16/87.23 c =============================================================================== 87.16/87.23 c | 3297 | 3532 25736 679380 | 8578 3297 524 | 34.435 % | 87.66/87.70 c =============================================================================== 87.66/87.70 c New solution: 71213 87.66/87.70 o 71213 87.66/87.70 c Elapsed CPU time: 87.2567 s Remaining CPU time: 92.7433 s 87.66/87.70 c =============================================================================== 87.66/87.70 c | 3297 | 3532 25737 681307 | 8579 3297 524 | 34.435 % | 88.36/88.45 c =============================================================================== 88.36/88.45 c New solution: 71212 88.36/88.45 o 71212 88.36/88.45 c Elapsed CPU time: 88.0106 s Remaining CPU time: 91.9894 s 88.36/88.45 c =============================================================================== 88.36/88.45 c | 3300 | 3532 25738 683234 | 8579 3300 524 | 34.435 % | 88.86/88.90 c =============================================================================== 88.86/88.90 c New solution: 71211 88.86/88.90 o 71211 88.86/88.90 c Elapsed CPU time: 88.4616 s Remaining CPU time: 91.5384 s 88.86/88.90 c =============================================================================== 88.86/88.90 c | 3302 | 3532 25739 685161 | 8579 3302 524 | 34.435 % | 89.26/89.39 c =============================================================================== 89.26/89.39 c New solution: 71210 89.26/89.39 o 71210 89.26/89.39 c Elapsed CPU time: 88.9445 s Remaining CPU time: 91.0555 s 89.26/89.39 c =============================================================================== 89.26/89.39 c | 3308 | 3532 25740 687088 | 8580 3308 524 | 34.435 % | 90.56/90.61 c =============================================================================== 90.56/90.61 c New solution: 71209 90.56/90.61 o 71209 90.56/90.61 c Elapsed CPU time: 90.1603 s Remaining CPU time: 89.8397 s 90.56/90.61 c =============================================================================== 90.56/90.61 c | 3382 | 3532 25741 689015 | 8580 3382 526 | 34.435 % | 90.96/91.09 c =============================================================================== 90.96/91.09 c New solution: 71208 90.96/91.09 o 71208 90.96/91.09 c Elapsed CPU time: 90.6382 s Remaining CPU time: 89.3618 s 90.96/91.09 c =============================================================================== 90.96/91.09 c | 3393 | 3532 25742 690942 | 8580 3393 526 | 34.435 % | 92.06/92.14 c | 3493 | 3532 25742 690942 | 9438 3493 529 | 34.435 % | 92.46/92.53 c =============================================================================== 92.46/92.53 c New solution: 71207 92.46/92.53 o 71207 92.46/92.53 c Elapsed CPU time: 92.08 s Remaining CPU time: 87.92 s 92.46/92.53 c =============================================================================== 92.46/92.53 c | 3498 | 3532 25743 692869 | 8581 3498 529 | 34.435 % | 92.86/92.91 c =============================================================================== 92.86/92.91 c New solution: 71206 92.86/92.91 o 71206 92.86/92.91 c Elapsed CPU time: 92.4559 s Remaining CPU time: 87.5441 s 92.86/92.91 c =============================================================================== 92.86/92.91 c | 3501 | 3532 25744 694796 | 8581 3501 529 | 34.435 % | 93.26/93.32 c =============================================================================== 93.26/93.32 c New solution: 71205 93.26/93.32 o 71205 93.26/93.32 c Elapsed CPU time: 92.8709 s Remaining CPU time: 87.1291 s 93.26/93.32 c =============================================================================== 93.26/93.32 c | 3503 | 3532 25745 696723 | 8581 3503 529 | 34.435 % | 93.56/93.68 c =============================================================================== 93.56/93.68 c New solution: 71204 93.56/93.68 o 71204 93.56/93.68 c Elapsed CPU time: 93.2278 s Remaining CPU time: 86.7722 s 93.56/93.68 c =============================================================================== 93.56/93.68 c | 3509 | 3532 25746 698650 | 8582 3509 529 | 34.435 % | 93.96/94.07 c =============================================================================== 93.96/94.07 c New solution: 71203 93.96/94.07 o 71203 93.96/94.07 c Elapsed CPU time: 93.6168 s Remaining CPU time: 86.3832 s 93.96/94.07 c =============================================================================== 93.96/94.07 c | 3513 | 3532 25747 700577 | 8582 3513 530 | 34.435 % | 94.47/94.59 c =============================================================================== 94.47/94.59 c New solution: 71202 94.47/94.59 o 71202 94.47/94.59 c Elapsed CPU time: 94.1357 s Remaining CPU time: 85.8643 s 94.47/94.59 c =============================================================================== 94.47/94.59 c | 3531 | 3532 25748 702504 | 8582 3531 530 | 34.435 % | 94.86/94.93 c =============================================================================== 94.86/94.93 c New solution: 71201 94.86/94.93 o 71201 94.86/94.93 c Elapsed CPU time: 94.4766 s Remaining CPU time: 85.5234 s 94.86/94.93 c =============================================================================== 94.86/94.93 c | 3535 | 3532 25749 704431 | 8583 3535 530 | 34.435 % | 95.26/95.32 c =============================================================================== 95.26/95.32 c New solution: 71200 95.26/95.32 o 71200 95.26/95.32 c Elapsed CPU time: 94.8666 s Remaining CPU time: 85.1334 s 95.26/95.32 c =============================================================================== 95.26/95.32 c | 3539 | 3532 25750 706358 | 8583 3539 530 | 34.435 % | 95.66/95.73 c =============================================================================== 95.66/95.73 c New solution: 69836 95.66/95.73 o 69836 95.66/95.73 c Elapsed CPU time: 95.2735 s Remaining CPU time: 84.7265 s 95.66/95.73 c =============================================================================== 95.66/95.73 c | 3539 | 3532 25751 708285 | 8583 3539 530 | 34.435 % | 96.06/96.11 c =============================================================================== 96.06/96.11 c New solution: 69826 96.06/96.11 o 69826 96.06/96.11 c Elapsed CPU time: 95.6565 s Remaining CPU time: 84.3435 s 96.06/96.11 c =============================================================================== 96.06/96.11 c | 3540 | 3532 25752 710212 | 8584 3540 530 | 34.435 % | 96.36/96.49 c =============================================================================== 96.36/96.49 c New solution: 69769 96.36/96.49 o 69769 96.36/96.49 c Elapsed CPU time: 96.0304 s Remaining CPU time: 83.9696 s 96.36/96.49 c =============================================================================== 96.36/96.49 c | 3542 | 3532 25753 712139 | 8584 3542 530 | 34.435 % | 98.66/98.72 c | 3642 | 3532 25753 712139 | 9442 3642 533 | 34.435 % | 98.97/99.08 c =============================================================================== 98.97/99.08 c New solution: 69768 98.97/99.08 o 69768 98.97/99.08 c Elapsed CPU time: 98.625 s Remaining CPU time: 81.375 s 98.97/99.08 c =============================================================================== 98.97/99.08 c | 3646 | 3532 25754 714066 | 8584 3646 533 | 34.435 % | 99.36/99.47 c =============================================================================== 99.36/99.47 c New solution: 69753 99.36/99.47 o 69753 99.36/99.47 c Elapsed CPU time: 99.0089 s Remaining CPU time: 80.9911 s 99.36/99.47 c =============================================================================== 99.36/99.47 c | 3649 | 3532 25755 715993 | 8585 3649 533 | 34.435 % | 99.76/99.80 c =============================================================================== 99.76/99.80 c New solution: 69752 99.76/99.80 o 69752 99.76/99.80 c Elapsed CPU time: 99.3409 s Remaining CPU time: 80.6591 s 99.76/99.80 c =============================================================================== 99.76/99.80 c | 3650 | 3532 25756 717920 | 8585 3650 533 | 34.435 % | 100.07/100.19 c =============================================================================== 100.07/100.19 c New solution: 69751 100.07/100.19 o 69751 100.07/100.19 c Elapsed CPU time: 99.7298 s Remaining CPU time: 80.2702 s 100.07/100.19 c =============================================================================== 100.07/100.19 c | 3651 | 3532 25757 719847 | 8585 3651 533 | 34.435 % | 100.46/100.57 c =============================================================================== 100.46/100.57 c New solution: 69750 100.46/100.57 o 69750 100.46/100.57 c Elapsed CPU time: 100.106 s Remaining CPU time: 79.8942 s 100.46/100.57 c =============================================================================== 100.46/100.57 c | 3653 | 3532 25758 721774 | 8586 3653 533 | 34.435 % | 100.76/100.85 c =============================================================================== 100.76/100.85 c New solution: 69749 100.76/100.85 o 69749 100.76/100.85 c Elapsed CPU time: 100.39 s Remaining CPU time: 79.6103 s 100.76/100.85 c =============================================================================== 100.76/100.85 c | 3657 | 3532 25759 723701 | 8586 3657 533 | 34.435 % | 101.16/101.21 c =============================================================================== 101.16/101.21 c New solution: 69748 101.16/101.21 o 69748 101.16/101.21 c Elapsed CPU time: 100.741 s Remaining CPU time: 79.2593 s 101.16/101.21 c =============================================================================== 101.16/101.21 c | 3658 | 3532 25760 725628 | 8586 3658 533 | 34.435 % | 101.46/101.54 c =============================================================================== 101.46/101.54 c New solution: 69747 101.46/101.54 o 69747 101.46/101.54 c Elapsed CPU time: 101.073 s Remaining CPU time: 78.9274 s 101.46/101.54 c =============================================================================== 101.46/101.54 c | 3660 | 3532 25761 727555 | 8587 3660 533 | 34.435 % | 101.86/101.93 c =============================================================================== 101.86/101.93 c New solution: 69746 101.86/101.93 o 69746 101.86/101.93 c Elapsed CPU time: 101.465 s Remaining CPU time: 78.5354 s 101.86/101.93 c =============================================================================== 101.86/101.93 c | 3660 | 3532 25762 729482 | 8587 3660 533 | 34.435 % | 102.16/102.22 c =============================================================================== 102.16/102.22 c New solution: 69745 102.16/102.22 o 69745 102.16/102.22 c Elapsed CPU time: 101.756 s Remaining CPU time: 78.2445 s 102.16/102.22 c =============================================================================== 102.16/102.22 c | 3662 | 3532 25763 731409 | 8587 3662 533 | 34.435 % | 102.45/102.57 c =============================================================================== 102.45/102.57 c New solution: 68373 102.45/102.57 o 68373 102.45/102.57 c Elapsed CPU time: 102.102 s Remaining CPU time: 77.8975 s 102.45/102.57 c =============================================================================== 102.45/102.57 c | 3665 | 3532 25764 733336 | 8588 3665 533 | 34.435 % | 102.85/102.91 c =============================================================================== 102.85/102.91 c New solution: 68270 102.85/102.91 o 68270 102.85/102.91 c Elapsed CPU time: 102.439 s Remaining CPU time: 77.5606 s 102.85/102.91 c =============================================================================== 102.85/102.91 c | 3667 | 3532 25765 735263 | 8588 3667 533 | 34.435 % | 103.26/103.34 c =============================================================================== 103.26/103.34 c New solution: 68269 103.26/103.34 o 68269 103.26/103.34 c Elapsed CPU time: 102.867 s Remaining CPU time: 77.1326 s 103.26/103.34 c =============================================================================== 103.26/103.34 c | 3671 | 3532 25766 737190 | 8588 3671 533 | 34.435 % | 103.65/103.70 c =============================================================================== 103.65/103.70 c New solution: 66888 103.65/103.70 o 66888 103.65/103.70 c Elapsed CPU time: 103.231 s Remaining CPU time: 76.7687 s 103.65/103.70 c =============================================================================== 103.65/103.70 c | 3672 | 3532 25767 739117 | 8589 3672 533 | 34.435 % | 104.05/104.11 c =============================================================================== 104.05/104.11 c New solution: 66887 104.05/104.11 o 66887 104.05/104.11 c Elapsed CPU time: 103.636 s Remaining CPU time: 76.3638 s 104.05/104.11 c =============================================================================== 104.05/104.11 c | 3681 | 3532 25768 741044 | 8589 3681 533 | 34.435 % | 104.37/104.42 c =============================================================================== 104.37/104.42 c New solution: 66816 104.37/104.42 o 66816 104.37/104.42 c Elapsed CPU time: 103.953 s Remaining CPU time: 76.0468 s 104.37/104.42 c =============================================================================== 104.37/104.42 c | 3687 | 3532 25769 742971 | 8589 3687 533 | 34.435 % | 105.06/105.16 c =============================================================================== 105.06/105.16 c New solution: 66815 105.06/105.16 o 66815 105.06/105.16 c Elapsed CPU time: 104.686 s Remaining CPU time: 75.3139 s 105.06/105.16 c =============================================================================== 105.06/105.16 c | 3711 | 3532 25770 744898 | 8590 3711 534 | 34.435 % | 106.56/106.62 c | 3812 | 3532 25770 744898 | 9449 3812 537 | 34.435 % | 106.96/107.06 c =============================================================================== 106.96/107.06 c New solution: 66814 106.96/107.06 o 66814 106.96/107.06 c Elapsed CPU time: 106.587 s Remaining CPU time: 73.4132 s 106.96/107.06 c =============================================================================== 106.96/107.06 c | 3812 | 3532 25771 746825 | 8590 3812 537 | 34.435 % | 107.46/107.51 c =============================================================================== 107.46/107.51 c New solution: 66813 107.46/107.51 o 66813 107.46/107.51 c Elapsed CPU time: 107.033 s Remaining CPU time: 72.9673 s 107.46/107.51 c =============================================================================== 107.46/107.51 c | 3812 | 3532 25772 748752 | 8590 3812 537 | 34.435 % | 107.96/108.00 c =============================================================================== 107.96/108.00 c New solution: 66812 107.96/108.00 o 66812 107.96/108.00 c Elapsed CPU time: 107.524 s Remaining CPU time: 72.4763 s 107.96/108.00 c =============================================================================== 107.96/108.00 c | 3813 | 3532 25773 750679 | 8591 3813 537 | 34.435 % | 108.36/108.41 c =============================================================================== 108.36/108.41 c New solution: 66811 108.36/108.41 o 66811 108.36/108.41 c Elapsed CPU time: 107.932 s Remaining CPU time: 72.0684 s 108.36/108.41 c =============================================================================== 108.36/108.41 c | 3818 | 3532 25774 752606 | 8591 3818 537 | 34.435 % | 108.76/108.84 c =============================================================================== 108.76/108.84 c New solution: 66810 108.76/108.84 o 66810 108.76/108.84 c Elapsed CPU time: 108.365 s Remaining CPU time: 71.6355 s 108.76/108.84 c =============================================================================== 108.76/108.84 c | 3819 | 3532 25775 754533 | 8591 3819 537 | 34.435 % | 109.05/109.20 c =============================================================================== 109.05/109.20 c New solution: 66809 109.05/109.20 o 66809 109.05/109.20 c Elapsed CPU time: 108.716 s Remaining CPU time: 71.2835 s 109.05/109.20 c =============================================================================== 109.05/109.20 c | 3820 | 3532 25776 756460 | 8592 3820 537 | 34.435 % | 109.45/109.54 c =============================================================================== 109.45/109.54 c New solution: 66808 109.45/109.54 o 66808 109.45/109.54 c Elapsed CPU time: 109.063 s Remaining CPU time: 70.9366 s 109.45/109.54 c =============================================================================== 109.45/109.54 c | 3820 | 3532 25777 758387 | 8592 3820 537 | 34.435 % | 109.75/109.89 c =============================================================================== 109.75/109.89 c New solution: 66807 109.75/109.89 o 66807 109.75/109.89 c Elapsed CPU time: 109.411 s Remaining CPU time: 70.5886 s 109.75/109.89 c =============================================================================== 109.75/109.89 c | 3820 | 3532 25778 760314 | 8592 3820 537 | 34.435 % | 110.36/110.45 c =============================================================================== 110.36/110.45 c New solution: 65439 110.36/110.45 o 65439 110.36/110.45 c Elapsed CPU time: 109.971 s Remaining CPU time: 70.0287 s 110.36/110.45 c =============================================================================== 110.36/110.45 c | 3828 | 3532 25779 762241 | 8593 3828 537 | 34.435 % | 110.97/111.06 c =============================================================================== 110.97/111.06 c New solution: 65361 110.97/111.06 o 65361 110.97/111.06 c Elapsed CPU time: 110.577 s Remaining CPU time: 69.4228 s 110.97/111.06 c =============================================================================== 110.97/111.06 c | 3829 | 3532 25780 764168 | 8593 3829 537 | 34.435 % | 111.56/111.66 c =============================================================================== 111.56/111.66 c New solution: 65360 111.56/111.66 o 65360 111.56/111.66 c Elapsed CPU time: 111.172 s Remaining CPU time: 68.8279 s 111.56/111.66 c =============================================================================== 111.56/111.66 c | 3829 | 3532 25781 766095 | 8593 3829 537 | 34.435 % | 112.16/112.24 c =============================================================================== 112.16/112.24 c New solution: 65359 112.16/112.24 o 65359 112.16/112.24 c Elapsed CPU time: 111.753 s Remaining CPU time: 68.247 s 112.16/112.24 c =============================================================================== 112.16/112.24 c | 3831 | 3532 25782 768022 | 8594 3831 537 | 34.435 % | 112.76/112.83 c =============================================================================== 112.76/112.83 c New solution: 65358 112.76/112.83 o 65358 112.76/112.83 c Elapsed CPU time: 112.346 s Remaining CPU time: 67.6541 s 112.76/112.83 c =============================================================================== 112.76/112.83 c | 3831 | 3532 25783 769949 | 8594 3831 537 | 34.435 % | 113.35/113.42 c =============================================================================== 113.35/113.42 c New solution: 65357 113.35/113.42 o 65357 113.35/113.42 c Elapsed CPU time: 112.932 s Remaining CPU time: 67.0682 s 113.35/113.42 c =============================================================================== 113.35/113.42 c | 3831 | 3532 25784 771876 | 8594 3831 537 | 34.435 % | 113.95/114.00 c =============================================================================== 113.95/114.00 c New solution: 65355 113.95/114.00 o 65355 113.95/114.00 c Elapsed CPU time: 113.516 s Remaining CPU time: 66.4843 s 113.95/114.00 c =============================================================================== 113.95/114.00 c | 3831 | 3532 25785 773803 | 8595 3831 537 | 34.435 % | 114.45/114.59 c =============================================================================== 114.45/114.59 c New solution: 65354 114.45/114.59 o 65354 114.45/114.59 c Elapsed CPU time: 114.103 s Remaining CPU time: 65.8973 s 114.45/114.59 c =============================================================================== 114.45/114.59 c | 3831 | 3532 25786 775730 | 8595 3831 537 | 34.435 % | 115.05/115.17 c =============================================================================== 115.05/115.17 c New solution: 65353 115.05/115.17 o 65353 115.05/115.17 c Elapsed CPU time: 114.68 s Remaining CPU time: 65.3204 s 115.05/115.17 c =============================================================================== 115.05/115.17 c | 3831 | 3532 25787 777657 | 8595 3831 537 | 34.435 % | 115.65/115.75 c =============================================================================== 115.65/115.75 c New solution: 65352 115.65/115.75 o 65352 115.65/115.75 c Elapsed CPU time: 115.262 s Remaining CPU time: 64.7375 s 115.65/115.75 c =============================================================================== 115.65/115.75 c | 3831 | 3532 25788 779584 | 8596 3831 537 | 34.435 % | 116.25/116.32 c =============================================================================== 116.25/116.32 c New solution: 65351 116.25/116.32 o 65351 116.25/116.32 c Elapsed CPU time: 115.83 s Remaining CPU time: 64.1696 s 116.25/116.32 c =============================================================================== 116.25/116.32 c | 3832 | 3532 25789 781511 | 8596 3832 537 | 34.435 % | 116.85/116.90 c =============================================================================== 116.85/116.90 c New solution: 65350 116.85/116.90 o 65350 116.85/116.90 c Elapsed CPU time: 116.408 s Remaining CPU time: 63.5917 s 116.85/116.90 c =============================================================================== 116.85/116.90 c | 3833 | 3532 25790 783438 | 8596 3833 537 | 34.435 % | 117.35/117.47 c =============================================================================== 117.35/117.47 c New solution: 65349 117.35/117.47 o 65349 117.35/117.47 c Elapsed CPU time: 116.981 s Remaining CPU time: 63.0188 s 117.35/117.47 c =============================================================================== 117.35/117.47 c | 3833 | 3532 25791 785365 | 8597 3833 537 | 34.435 % | 117.95/118.04 c =============================================================================== 117.95/118.04 c New solution: 65348 117.95/118.04 o 65348 117.95/118.04 c Elapsed CPU time: 117.554 s Remaining CPU time: 62.4459 s 117.95/118.04 c =============================================================================== 117.95/118.04 c | 3833 | 3532 25792 787292 | 8597 3833 537 | 34.435 % | 118.35/118.44 c =============================================================================== 118.35/118.44 c New solution: 65347 118.35/118.44 o 65347 118.35/118.44 c Elapsed CPU time: 117.945 s Remaining CPU time: 62.0549 s 118.35/118.44 c =============================================================================== 118.35/118.44 c | 3835 | 3532 25793 789219 | 8597 3835 537 | 34.435 % | 118.85/118.92 c =============================================================================== 118.85/118.92 c New solution: 65346 118.85/118.92 o 65346 118.85/118.92 c Elapsed CPU time: 118.428 s Remaining CPU time: 61.572 s 118.85/118.92 c =============================================================================== 118.85/118.92 c | 3841 | 3532 25794 791146 | 8598 3841 537 | 34.435 % | 119.25/119.39 c =============================================================================== 119.25/119.39 c New solution: 65345 119.25/119.39 o 65345 119.25/119.39 c Elapsed CPU time: 118.9 s Remaining CPU time: 61.1001 s 119.25/119.39 c =============================================================================== 119.25/119.39 c | 3847 | 3532 25795 793073 | 8598 3847 537 | 34.435 % | 119.65/119.77 c =============================================================================== 119.65/119.77 c New solution: 65344 119.65/119.77 o 65344 119.65/119.77 c Elapsed CPU time: 119.272 s Remaining CPU time: 60.7281 s 119.65/119.77 c =============================================================================== 119.65/119.77 c | 3852 | 3532 25796 795000 | 8598 3852 537 | 34.435 % | 121.35/121.45 c =============================================================================== 121.35/121.45 c New solution: 63947 121.35/121.45 o 63947 121.35/121.45 c Elapsed CPU time: 120.947 s Remaining CPU time: 59.0534 s 121.35/121.45 c =============================================================================== 121.35/121.45 c | 3944 | 3532 25797 796927 | 8599 3944 539 | 34.435 % | 122.06/122.16 c =============================================================================== 122.06/122.16 c New solution: 63894 122.06/122.16 o 63894 122.06/122.16 c Elapsed CPU time: 121.66 s Remaining CPU time: 58.3405 s 122.06/122.16 c =============================================================================== 122.06/122.16 c | 3944 | 3532 25798 798854 | 8599 3944 539 | 34.435 % | 122.76/122.85 c =============================================================================== 122.76/122.85 c New solution: 63893 122.76/122.85 o 63893 122.76/122.85 c Elapsed CPU time: 122.34 s Remaining CPU time: 57.6596 s 122.76/122.85 c =============================================================================== 122.76/122.85 c | 3946 | 3532 25799 800781 | 8599 3946 539 | 34.435 % | 123.36/123.44 c =============================================================================== 123.36/123.44 c New solution: 63888 123.36/123.44 o 63888 123.36/123.44 c Elapsed CPU time: 122.933 s Remaining CPU time: 57.0667 s 123.36/123.44 c =============================================================================== 123.36/123.44 c | 3950 | 3532 25800 802708 | 8600 3950 539 | 34.435 % | 124.06/124.11 c =============================================================================== 124.06/124.11 c New solution: 63887 124.06/124.11 o 63887 124.06/124.11 c Elapsed CPU time: 123.6 s Remaining CPU time: 56.3998 s 124.06/124.11 c =============================================================================== 124.06/124.11 c | 3951 | 3532 25801 804635 | 8600 3951 539 | 34.435 % | 124.65/124.76 c =============================================================================== 124.65/124.76 c New solution: 63886 124.65/124.76 o 63886 124.65/124.76 c Elapsed CPU time: 124.256 s Remaining CPU time: 55.7439 s 124.65/124.76 c =============================================================================== 124.65/124.76 c | 3952 | 3532 25802 806562 | 8600 3952 539 | 34.435 % | 125.26/125.34 c =============================================================================== 125.26/125.34 c New solution: 63881 125.26/125.34 o 63881 125.26/125.34 c Elapsed CPU time: 124.835 s Remaining CPU time: 55.165 s 125.26/125.34 c =============================================================================== 125.26/125.34 c | 3956 | 3532 25803 808489 | 8601 3956 539 | 34.435 % | 125.85/125.99 c =============================================================================== 125.85/125.99 c New solution: 63880 125.85/125.99 o 63880 125.85/125.99 c Elapsed CPU time: 125.483 s Remaining CPU time: 54.5171 s 125.85/125.99 c =============================================================================== 125.85/125.99 c | 3968 | 3532 25804 810416 | 8601 3968 539 | 34.435 % | 126.55/126.69 c =============================================================================== 126.55/126.69 c New solution: 63879 126.55/126.69 o 63879 126.55/126.69 c Elapsed CPU time: 126.18 s Remaining CPU time: 53.8202 s 126.55/126.69 c =============================================================================== 126.55/126.69 c | 3987 | 3532 25805 812343 | 8601 3987 539 | 34.435 % | 126.95/127.07 c =============================================================================== 126.95/127.07 c New solution: 63872 126.95/127.07 o 63872 126.95/127.07 c Elapsed CPU time: 126.554 s Remaining CPU time: 53.4462 s 126.95/127.07 c =============================================================================== 126.95/127.07 c | 3990 | 3532 25806 814270 | 8602 3990 539 | 34.435 % | 128.55/128.60 c | 4090 | 3532 25806 814270 | 9462 4090 542 | 34.435 % | 130.55/130.67 c | 4240 | 3532 25806 814270 | 10408 4240 545 | 34.435 % | 131.05/131.16 c =============================================================================== 131.05/131.16 c New solution: 63871 131.05/131.16 o 63871 131.05/131.16 c Elapsed CPU time: 130.64 s Remaining CPU time: 49.3599 s 131.05/131.16 c =============================================================================== 131.05/131.16 c | 4242 | 3532 25807 816197 | 8602 4242 545 | 34.435 % | 131.55/131.66 c =============================================================================== 131.55/131.66 c New solution: 63870 131.55/131.66 o 63870 131.55/131.66 c Elapsed CPU time: 131.143 s Remaining CPU time: 48.8569 s 131.55/131.66 c =============================================================================== 131.55/131.66 c | 4245 | 3532 25808 818124 | 8602 4245 545 | 34.435 % | 132.05/132.14 c =============================================================================== 132.05/132.14 c New solution: 63869 132.05/132.14 o 63869 132.05/132.14 c Elapsed CPU time: 131.622 s Remaining CPU time: 48.378 s 132.05/132.14 c =============================================================================== 132.05/132.14 c | 4248 | 3532 25809 820051 | 8603 4248 545 | 34.435 % | 132.55/132.62 c =============================================================================== 132.55/132.62 c New solution: 63868 132.55/132.62 o 63868 132.55/132.62 c Elapsed CPU time: 132.096 s Remaining CPU time: 47.9041 s 132.55/132.62 c =============================================================================== 132.55/132.62 c | 4259 | 3532 25810 821978 | 8603 4259 545 | 34.435 % | 132.96/133.10 c =============================================================================== 132.96/133.10 c New solution: 63867 132.96/133.10 o 63867 132.96/133.10 c Elapsed CPU time: 132.578 s Remaining CPU time: 47.4222 s 132.96/133.10 c =============================================================================== 132.96/133.10 c | 4260 | 3532 25811 823905 | 8603 4260 545 | 34.435 % | 133.45/133.52 c =============================================================================== 133.45/133.52 c New solution: 63866 133.45/133.52 o 63866 133.45/133.52 c Elapsed CPU time: 132.997 s Remaining CPU time: 47.0032 s 133.45/133.52 c =============================================================================== 133.45/133.52 c | 4261 | 3532 25812 825832 | 8604 4261 545 | 34.435 % | 133.85/133.94 c =============================================================================== 133.85/133.94 c New solution: 63865 133.85/133.94 o 63865 133.85/133.94 c Elapsed CPU time: 133.418 s Remaining CPU time: 46.5823 s 133.85/133.94 c =============================================================================== 133.85/133.94 c | 4265 | 3532 25813 827759 | 8604 4265 545 | 34.435 % | 134.25/134.38 c =============================================================================== 134.25/134.38 c New solution: 63864 134.25/134.38 o 63864 134.25/134.38 c Elapsed CPU time: 133.853 s Remaining CPU time: 46.1473 s 134.25/134.38 c =============================================================================== 134.25/134.38 c | 4265 | 3532 25814 829686 | 8604 4265 545 | 34.435 % | 134.75/134.81 c =============================================================================== 134.75/134.81 c New solution: 63863 134.75/134.81 o 63863 134.75/134.81 c Elapsed CPU time: 134.281 s Remaining CPU time: 45.7194 s 134.75/134.81 c =============================================================================== 134.75/134.81 c | 4266 | 3532 25815 831613 | 8605 4266 545 | 34.435 % | 135.15/135.23 c =============================================================================== 135.15/135.23 c New solution: 63862 135.15/135.23 o 63862 135.15/135.23 c Elapsed CPU time: 134.702 s Remaining CPU time: 45.2985 s 135.15/135.23 c =============================================================================== 135.15/135.23 c | 4268 | 3532 25816 833540 | 8605 4268 545 | 34.435 % | 135.54/135.64 c =============================================================================== 135.54/135.64 c New solution: 63861 135.54/135.64 o 63861 135.54/135.64 c Elapsed CPU time: 135.109 s Remaining CPU time: 44.8905 s 135.54/135.64 c =============================================================================== 135.54/135.64 c | 4268 | 3532 25817 835467 | 8605 4268 545 | 34.435 % | 135.94/136.04 c =============================================================================== 135.94/136.04 c New solution: 63860 135.94/136.04 o 63860 135.94/136.04 c Elapsed CPU time: 135.509 s Remaining CPU time: 44.4906 s 135.94/136.04 c =============================================================================== 135.94/136.04 c | 4272 | 3532 25818 837394 | 8606 4272 545 | 34.435 % | 136.25/136.38 c =============================================================================== 136.25/136.38 c New solution: 63859 136.25/136.38 o 63859 136.25/136.38 c Elapsed CPU time: 135.851 s Remaining CPU time: 44.1487 s 136.25/136.38 c =============================================================================== 136.25/136.38 c | 4277 | 3532 25819 839321 | 8606 4277 545 | 34.435 % | 136.64/136.77 c =============================================================================== 136.64/136.77 c New solution: 63858 136.64/136.77 o 63858 136.64/136.77 c Elapsed CPU time: 136.243 s Remaining CPU time: 43.7567 s 136.64/136.77 c =============================================================================== 136.64/136.77 c | 4278 | 3532 25820 841248 | 8606 4278 545 | 34.435 % | 137.05/137.16 c =============================================================================== 137.05/137.16 c New solution: 63857 137.05/137.16 o 63857 137.05/137.16 c Elapsed CPU time: 136.63 s Remaining CPU time: 43.3698 s 137.05/137.16 c =============================================================================== 137.05/137.16 c | 4278 | 3532 25821 843175 | 8607 4278 545 | 34.435 % | 137.46/137.54 c =============================================================================== 137.46/137.54 c New solution: 63856 137.46/137.54 o 63856 137.46/137.54 c Elapsed CPU time: 137.009 s Remaining CPU time: 42.9908 s 137.46/137.54 c =============================================================================== 137.46/137.54 c | 4278 | 3532 25822 845102 | 8607 4278 545 | 34.435 % | 137.85/137.92 c =============================================================================== 137.85/137.92 c New solution: 63855 137.85/137.92 o 63855 137.85/137.92 c Elapsed CPU time: 137.388 s Remaining CPU time: 42.6119 s 137.85/137.92 c =============================================================================== 137.85/137.92 c | 4278 | 3532 25823 847029 | 8607 4278 545 | 34.435 % | 138.25/138.30 c =============================================================================== 138.25/138.30 c New solution: 63854 138.25/138.30 o 63854 138.25/138.30 c Elapsed CPU time: 137.763 s Remaining CPU time: 42.2369 s 138.25/138.30 c =============================================================================== 138.25/138.30 c | 4278 | 3532 25824 848956 | 8608 4278 545 | 34.435 % | 138.65/138.77 c =============================================================================== 138.65/138.77 c New solution: 63853 138.65/138.77 o 63853 138.65/138.77 c Elapsed CPU time: 138.233 s Remaining CPU time: 41.767 s 138.65/138.77 c =============================================================================== 138.65/138.77 c | 4285 | 3532 25825 850883 | 8608 4285 545 | 34.435 % | 140.04/140.15 c | 4385 | 3532 25825 850883 | 9469 4385 547 | 34.435 % | 140.94/141.07 c =============================================================================== 140.94/141.07 c New solution: 63852 140.94/141.07 o 63852 140.94/141.07 c Elapsed CPU time: 140.529 s Remaining CPU time: 39.4714 s 140.94/141.07 c =============================================================================== 140.94/141.07 c | 4388 | 3532 25826 852810 | 8608 4388 546 | 34.435 % | 141.75/141.80 c =============================================================================== 141.75/141.80 c New solution: 63851 141.75/141.80 o 63851 141.75/141.80 c Elapsed CPU time: 141.261 s Remaining CPU time: 38.7395 s 141.75/141.80 c =============================================================================== 141.75/141.80 c | 4390 | 3532 25827 854737 | 8609 4390 547 | 34.435 % | 142.14/142.21 c =============================================================================== 142.14/142.21 c New solution: 63850 142.14/142.21 o 63850 142.14/142.21 c Elapsed CPU time: 141.67 s Remaining CPU time: 38.3295 s 142.14/142.21 c =============================================================================== 142.14/142.21 c | 4394 | 3532 25828 856664 | 8609 4394 546 | 34.435 % | 142.64/142.70 c =============================================================================== 142.64/142.70 c New solution: 63849 142.64/142.70 o 63849 142.64/142.70 c Elapsed CPU time: 142.154 s Remaining CPU time: 37.8456 s 142.64/142.70 c =============================================================================== 142.64/142.70 c | 4395 | 3532 25829 858591 | 8609 4395 546 | 34.435 % | 143.04/143.19 c =============================================================================== 143.04/143.19 c New solution: 63848 143.04/143.19 o 63848 143.04/143.19 c Elapsed CPU time: 142.642 s Remaining CPU time: 37.3577 s 143.04/143.19 c =============================================================================== 143.04/143.19 c | 4397 | 3532 25830 860518 | 8610 4397 546 | 34.435 % | 144.75/144.85 c =============================================================================== 144.75/144.85 c New solution: 63847 144.75/144.85 o 63847 144.75/144.85 c Elapsed CPU time: 144.307 s Remaining CPU time: 35.6929 s 144.75/144.85 c =============================================================================== 144.75/144.85 c | 4465 | 3532 25831 862445 | 8610 4465 546 | 34.435 % | 145.25/145.31 c =============================================================================== 145.25/145.31 c New solution: 63846 145.25/145.31 o 63846 145.25/145.31 c Elapsed CPU time: 144.768 s Remaining CPU time: 35.232 s 145.25/145.31 c =============================================================================== 145.25/145.31 c | 4483 | 3532 25832 864372 | 8610 4483 546 | 34.435 % | 146.05/146.16 c =============================================================================== 146.05/146.16 c New solution: 62484 146.05/146.16 o 62484 146.05/146.16 c Elapsed CPU time: 145.619 s Remaining CPU time: 34.3811 s 146.05/146.16 c =============================================================================== 146.05/146.16 c | 4498 | 3532 25833 866299 | 8611 4498 546 | 34.435 % | 146.75/146.87 c =============================================================================== 146.75/146.87 c New solution: 62414 146.75/146.87 o 62414 146.75/146.87 c Elapsed CPU time: 146.328 s Remaining CPU time: 33.6722 s 146.75/146.87 c =============================================================================== 146.75/146.87 c | 4503 | 3532 25834 868226 | 8611 4503 546 | 34.435 % | 147.45/147.54 c =============================================================================== 147.45/147.54 c New solution: 62413 147.45/147.54 o 62413 147.45/147.54 c Elapsed CPU time: 146.991 s Remaining CPU time: 33.0093 s 147.45/147.54 c =============================================================================== 147.45/147.54 c | 4504 | 3532 25835 870153 | 8611 4504 546 | 34.435 % | 148.05/148.18 c =============================================================================== 148.05/148.18 c New solution: 62406 148.05/148.18 o 62406 148.05/148.18 c Elapsed CPU time: 147.633 s Remaining CPU time: 32.3674 s 148.05/148.18 c =============================================================================== 148.05/148.18 c | 4506 | 3532 25836 872080 | 8612 4506 546 | 34.435 % | 148.74/148.84 c =============================================================================== 148.74/148.84 c New solution: 62405 148.74/148.84 o 62405 148.74/148.84 c Elapsed CPU time: 148.289 s Remaining CPU time: 31.7105 s 148.74/148.84 c =============================================================================== 148.74/148.84 c | 4506 | 3532 25837 874007 | 8612 4506 546 | 34.435 % | 149.34/149.49 c =============================================================================== 149.34/149.49 c New solution: 62404 149.34/149.49 o 62404 149.34/149.49 c Elapsed CPU time: 148.94 s Remaining CPU time: 31.0596 s 149.34/149.49 c =============================================================================== 149.34/149.49 c | 4506 | 3532 25838 875934 | 8612 4506 546 | 34.435 % | 150.04/150.14 c =============================================================================== 150.04/150.14 c New solution: 62403 150.04/150.14 o 62403 150.04/150.14 c Elapsed CPU time: 149.588 s Remaining CPU time: 30.4117 s 150.04/150.14 c =============================================================================== 150.04/150.14 c | 4506 | 3532 25839 877861 | 8613 4506 546 | 34.435 % | 150.65/150.78 c =============================================================================== 150.65/150.78 c New solution: 62402 150.65/150.79 o 62402 150.65/150.79 c Elapsed CPU time: 150.234 s Remaining CPU time: 29.7658 s 150.65/150.79 c =============================================================================== 150.65/150.79 c | 4506 | 3532 25840 879788 | 8613 4506 546 | 34.435 % | 151.54/151.61 c =============================================================================== 151.54/151.61 c New solution: 62401 151.54/151.61 o 62401 151.54/151.61 c Elapsed CPU time: 151.053 s Remaining CPU time: 28.947 s 151.54/151.61 c =============================================================================== 151.54/151.61 c | 4510 | 3532 25841 881715 | 8613 4510 546 | 34.435 % | 153.04/153.16 c | 4610 | 3532 25841 881715 | 9475 4610 548 | 34.435 % | 153.74/153.80 c =============================================================================== 153.74/153.80 c New solution: 62400 153.74/153.80 o 62400 153.74/153.80 c Elapsed CPU time: 153.246 s Remaining CPU time: 26.7543 s 153.74/153.80 c =============================================================================== 153.74/153.80 c | 4611 | 3532 25842 883642 | 8614 4611 548 | 34.435 % | 154.34/154.46 c =============================================================================== 154.34/154.46 c New solution: 62399 154.34/154.46 o 62399 154.34/154.46 c Elapsed CPU time: 153.908 s Remaining CPU time: 26.0924 s 154.34/154.46 c =============================================================================== 154.34/154.46 c | 4614 | 3532 25843 885569 | 8614 4614 548 | 34.435 % | 154.84/154.95 c =============================================================================== 154.84/154.95 c New solution: 62398 154.84/154.95 o 62398 154.84/154.95 c Elapsed CPU time: 154.398 s Remaining CPU time: 25.6025 s 154.84/154.95 c =============================================================================== 154.84/154.95 c | 4615 | 3532 25844 887496 | 8614 4615 548 | 34.435 % | 155.34/155.49 c =============================================================================== 155.34/155.49 c New solution: 62397 155.34/155.49 o 62397 155.34/155.49 c Elapsed CPU time: 154.928 s Remaining CPU time: 25.0716 s 155.34/155.49 c =============================================================================== 155.34/155.49 c | 4619 | 3532 25845 889423 | 8615 4619 548 | 34.435 % | 155.84/155.97 c =============================================================================== 155.84/155.97 c New solution: 62396 155.84/155.97 o 62396 155.84/155.97 c Elapsed CPU time: 155.413 s Remaining CPU time: 24.5866 s 155.84/155.97 c =============================================================================== 155.84/155.97 c | 4619 | 3532 25846 891350 | 8615 4619 548 | 34.435 % | 156.24/156.40 c =============================================================================== 156.24/156.40 c New solution: 62395 156.24/156.40 o 62395 156.24/156.40 c Elapsed CPU time: 155.835 s Remaining CPU time: 24.1647 s 156.24/156.40 c =============================================================================== 156.24/156.40 c | 4620 | 3532 25847 893277 | 8615 4620 548 | 34.435 % | 156.64/156.79 c =============================================================================== 156.64/156.79 c New solution: 62394 156.64/156.79 o 62394 156.64/156.79 c Elapsed CPU time: 156.226 s Remaining CPU time: 23.7738 s 156.64/156.79 c =============================================================================== 156.64/156.79 c | 4623 | 3532 25848 895204 | 8616 4623 548 | 34.435 % | 157.25/157.33 c =============================================================================== 157.25/157.33 c New solution: 62393 157.25/157.33 o 62393 157.25/157.33 c Elapsed CPU time: 156.763 s Remaining CPU time: 23.2368 s 157.25/157.33 c =============================================================================== 157.25/157.33 c | 4623 | 3532 25849 897131 | 8616 4623 548 | 34.435 % | 157.74/157.89 c =============================================================================== 157.74/157.89 c New solution: 62392 157.74/157.89 o 62392 157.74/157.89 c Elapsed CPU time: 157.324 s Remaining CPU time: 22.6759 s 157.74/157.89 c =============================================================================== 157.74/157.89 c | 4625 | 3532 25850 899058 | 8616 4625 548 | 34.435 % | 158.24/158.38 c =============================================================================== 158.24/158.38 c New solution: 62391 158.24/158.38 o 62391 158.24/158.38 c Elapsed CPU time: 157.813 s Remaining CPU time: 22.187 s 158.24/158.38 c =============================================================================== 158.24/158.38 c | 4641 | 3532 25851 900985 | 8617 4641 548 | 34.435 % | 158.74/158.85 c =============================================================================== 158.74/158.85 c New solution: 62390 158.74/158.85 o 62390 158.74/158.85 c Elapsed CPU time: 158.286 s Remaining CPU time: 21.7141 s 158.74/158.85 c =============================================================================== 158.74/158.85 c | 4642 | 3532 25852 902912 | 8617 4642 548 | 34.435 % | 159.24/159.32 c =============================================================================== 159.24/159.32 c New solution: 62389 159.24/159.32 o 62389 159.24/159.32 c Elapsed CPU time: 158.757 s Remaining CPU time: 21.2431 s 159.24/159.32 c =============================================================================== 159.24/159.32 c | 4650 | 3532 25853 904839 | 8617 4650 548 | 34.435 % | 159.83/159.98 c =============================================================================== 159.83/159.98 c New solution: 61011 159.83/159.98 o 61011 159.83/159.98 c Elapsed CPU time: 159.416 s Remaining CPU time: 20.5842 s 159.83/159.98 c =============================================================================== 159.83/159.98 c | 4660 | 3532 25854 906766 | 8618 4660 548 | 34.435 % | 160.45/160.50 c =============================================================================== 160.45/160.50 c New solution: 60937 160.45/160.50 o 60937 160.45/160.50 c Elapsed CPU time: 159.931 s Remaining CPU time: 20.0693 s 160.45/160.50 c =============================================================================== 160.45/160.50 c | 4661 | 3532 25855 908693 | 8618 4661 548 | 34.435 % | 160.94/161.03 c =============================================================================== 160.94/161.03 c New solution: 60936 160.94/161.03 o 60936 160.94/161.03 c Elapsed CPU time: 160.458 s Remaining CPU time: 19.5424 s 160.94/161.03 c =============================================================================== 160.94/161.03 c | 4661 | 3532 25856 910620 | 8618 4661 548 | 34.435 % | 161.44/161.53 c =============================================================================== 161.44/161.53 c New solution: 60934 161.44/161.53 o 60934 161.44/161.53 c Elapsed CPU time: 160.963 s Remaining CPU time: 19.0375 s 161.44/161.53 c =============================================================================== 161.44/161.53 c | 4661 | 3532 25857 912547 | 8619 4661 548 | 34.435 % | 161.94/162.00 c =============================================================================== 161.94/162.00 c New solution: 60933 161.94/162.00 o 60933 161.94/162.00 c Elapsed CPU time: 161.423 s Remaining CPU time: 18.5765 s 161.94/162.00 c =============================================================================== 161.94/162.00 c | 4662 | 3532 25858 914474 | 8619 4662 548 | 34.435 % | 162.34/162.49 c =============================================================================== 162.34/162.49 c New solution: 60931 162.34/162.49 o 60931 162.34/162.49 c Elapsed CPU time: 161.918 s Remaining CPU time: 18.0816 s 162.34/162.49 c =============================================================================== 162.34/162.49 c | 4662 | 3532 25859 916401 | 8619 4662 548 | 34.435 % | 162.84/162.99 c =============================================================================== 162.84/162.99 c New solution: 60930 162.84/162.99 o 60930 162.84/162.99 c Elapsed CPU time: 162.416 s Remaining CPU time: 17.5837 s 162.84/162.99 c =============================================================================== 162.84/162.99 c | 4663 | 3532 25860 918328 | 8620 4663 548 | 34.435 % | 163.44/163.51 c =============================================================================== 163.44/163.51 c New solution: 60929 163.44/163.51 o 60929 163.44/163.51 c Elapsed CPU time: 162.938 s Remaining CPU time: 17.0618 s 163.44/163.51 c =============================================================================== 163.44/163.51 c | 4665 | 3532 25861 920255 | 8620 4665 548 | 34.435 % | 165.03/165.17 c | 4765 | 3532 25861 920255 | 9482 4765 550 | 34.435 % | 166.53/166.68 c | 4917 | 3532 25861 920255 | 10430 4917 548 | 34.435 % | 169.73/169.85 c | 5142 | 3532 25861 920255 | 11473 5142 552 | 34.435 % | 171.03/171.14 c =============================================================================== 171.03/171.14 c New solution: 60928 171.03/171.14 o 60928 171.03/171.14 c Elapsed CPU time: 170.552 s Remaining CPU time: 9.44793 s 171.03/171.14 c =============================================================================== 171.03/171.14 c | 5144 | 3532 25862 922182 | 8620 5144 552 | 34.435 % | 171.54/171.69 c =============================================================================== 171.54/171.69 c New solution: 60927 171.54/171.69 o 60927 171.54/171.69 c Elapsed CPU time: 171.102 s Remaining CPU time: 8.89801 s 171.54/171.69 c =============================================================================== 171.54/171.69 c | 5144 | 3532 25863 924109 | 8621 5144 552 | 34.435 % | 172.33/172.43 c =============================================================================== 172.33/172.43 c New solution: 60926 172.33/172.43 o 60926 172.33/172.43 c Elapsed CPU time: 171.837 s Remaining CPU time: 8.16312 s 172.33/172.43 c =============================================================================== 172.33/172.43 c | 5145 | 3532 25864 926036 | 8621 5145 552 | 34.435 % | 172.83/172.98 c =============================================================================== 172.83/172.98 c New solution: 60925 172.83/172.98 o 60925 172.83/172.98 c Elapsed CPU time: 172.393 s Remaining CPU time: 7.60721 s 172.83/172.98 c =============================================================================== 172.83/172.98 c | 5145 | 3532 25865 927963 | 8621 5145 552 | 34.435 % | 173.43/173.53 c =============================================================================== 173.43/173.53 c New solution: 60924 173.43/173.53 o 60924 173.43/173.53 c Elapsed CPU time: 172.94 s Remaining CPU time: 7.06029 s 173.43/173.53 c =============================================================================== 173.43/173.53 c | 5145 | 3532 25866 929890 | 8622 5145 552 | 34.435 % | 173.93/174.08 c =============================================================================== 173.93/174.08 c New solution: 60923 173.93/174.08 o 60923 173.93/174.08 c Elapsed CPU time: 173.487 s Remaining CPU time: 6.51337 s 173.93/174.08 c =============================================================================== 173.93/174.08 c | 5145 | 3532 25867 931817 | 8622 5145 552 | 34.435 % | 174.53/174.63 c =============================================================================== 174.53/174.63 c New solution: 60922 174.53/174.63 o 60922 174.53/174.63 c Elapsed CPU time: 174.034 s Remaining CPU time: 5.96646 s 174.53/174.63 c =============================================================================== 174.53/174.63 c | 5145 | 3532 25868 933744 | 8622 5145 552 | 34.435 % | 175.04/175.17 c =============================================================================== 175.04/175.17 c New solution: 60921 175.04/175.17 o 60921 175.04/175.17 c Elapsed CPU time: 174.573 s Remaining CPU time: 5.42654 s 175.04/175.17 c =============================================================================== 175.04/175.17 c | 5146 | 3532 25869 935671 | 8623 5146 552 | 34.435 % | 176.04/176.10 c =============================================================================== 176.04/176.10 c New solution: 60920 176.04/176.10 o 60920 176.04/176.10 c Elapsed CPU time: 175.507 s Remaining CPU time: 4.49268 s 176.04/176.10 c =============================================================================== 176.04/176.10 c | 5151 | 3532 25870 937598 | 8623 5151 552 | 34.435 % | 176.44/176.58 c =============================================================================== 176.44/176.58 c New solution: 60919 176.44/176.58 o 60919 176.44/176.58 c Elapsed CPU time: 175.985 s Remaining CPU time: 4.01475 s 176.44/176.58 c =============================================================================== 176.44/176.58 c | 5157 | 3532 25871 939525 | 8623 5157 552 | 34.435 % | 177.13/177.28 c =============================================================================== 177.13/177.28 c New solution: 60918 177.13/177.28 o 60918 177.13/177.28 c Elapsed CPU time: 176.684 s Remaining CPU time: 3.31586 s 177.13/177.28 c =============================================================================== 177.13/177.28 c | 5164 | 3532 25872 941452 | 8624 5164 552 | 34.435 % | 179.03/179.19 c | 5264 | 3532 25872 941452 | 9486 5264 553 | 34.435 % | 179.73/179.82 c =============================================================================== 179.73/179.82 c New solution: 60917 179.73/179.82 o 60917 179.73/179.82 c Elapsed CPU time: 179.216 s Remaining CPU time: 0.784245 s 179.73/179.82 c =============================================================================== 179.73/179.82 c | 5266 | 3532 25873 943379 | 8624 5266 553 | 34.435 % | 180.13/180.29 c =============================================================================== 180.13/180.29 c New solution: 60916 180.13/180.29 o 60916 180.13/180.29 c Elapsed CPU time: 179.691 s Remaining CPU time: 0.309318 s 180.13/180.29 c =============================================================================== 180.13/180.29 c | 5269 | 3532 25874 945306 | 8624 5269 553 | 34.435 % | 180.53/180.63 c There are 1855 assigned variables. 353 in cost function. 185.23/185.30 c core #1 185.23/185.30 c core #2 185.23/185.30 c core #3 185.23/185.30 c core #4 185.23/185.30 c core #5 185.23/185.30 c core #6 185.23/185.30 c core #7 185.23/185.30 c core #8 185.23/185.30 c core #9 185.23/185.30 c core #10 185.23/185.30 c core #11 185.23/185.30 c core #12 185.23/185.30 c core #13 185.23/185.30 c core #14 185.23/185.30 c core #15 185.23/185.30 c core #16 185.23/185.30 c core #17 185.23/185.30 c core #18 185.23/185.30 c core #19 185.23/185.30 c core #20 185.23/185.30 c core #21 185.23/185.30 c core #22 185.23/185.30 c core #23 185.23/185.30 c core #24 185.23/185.30 c core #25 185.23/185.30 c core #26 185.23/185.30 c core #27 185.23/185.30 c core #28 185.23/185.30 c core #29 185.23/185.30 c core #30 185.23/185.30 c core #31 185.23/185.30 c core #32 185.23/185.30 c core #33 185.23/185.30 c core #34 185.23/185.30 c core #35 185.23/185.30 c core #36 185.23/185.30 c core #37 185.23/185.30 c core #38 185.23/185.30 c core #39 185.23/185.30 c core #40 185.23/185.30 c core #41 185.23/185.30 c core #42 185.23/185.30 c core #43 185.23/185.30 c core #44 185.23/185.30 c core #45 185.23/185.30 c core #46 185.23/185.30 c core #47 185.23/185.30 c core #48 185.23/185.30 c core #49 185.23/185.30 c core #50 185.23/185.30 c core #51 185.23/185.30 c core #52 185.23/185.30 c core #53 185.23/185.30 c core #54 185.23/185.30 c core #55 185.23/185.30 c core #56 185.23/185.30 c core #57 185.23/185.30 c core #58 185.23/185.30 c core #59 185.23/185.30 c core #60 185.23/185.30 c core #61 185.23/185.30 c core #62 185.23/185.30 c core #63 185.23/185.30 c core #64 185.23/185.30 c core #65 185.23/185.30 c core #66 185.23/185.30 c core #67 185.23/185.30 c core #68 185.23/185.30 c core #69 185.23/185.30 c ============================[ Search Statistics ]============================== 185.23/185.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.30 c =============================================================================== 185.23/185.30 c | 0 | 778 16390 9863 | 5463 0 nan | 0.000 % | 185.23/185.30 c =============================================================================== 185.23/185.32 c #cores: 69 185.23/185.32 c Final Weight: 10580 185.23/185.32 o 10580 185.23/185.32 s OPTIMUM FOUND 185.23/185.32 v -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 x3535 -x3536 -x3537 x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -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 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 185.23/185.33 c Total CPU time: 184.581 s
OK 10580
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683317-1277508736/watcher-2683317-1277508736 -o /tmp/evaluation-result-2683317-1277508736/solver-2683317-1277508736 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683317-1277508736.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.05 1.03 1.00 3/106 30225 /proc/meminfo: memFree=1819500/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=3632 CPUtime=0 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 92161671 3719168 291 1992294400 134512640 135751879 4291746272 18446744073709551615 134613979 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 908 291 144 303 0 416 0 [startup+0.077246 s] /proc/loadavg: 1.05 1.03 1.00 3/106 30225 /proc/meminfo: memFree=1819500/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=4716 CPUtime=0.07 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 747 0 0 0 7 0 0 0 20 0 1 0 92161671 4829184 666 1992294400 134512640 135751879 4291746272 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 1179 666 258 303 0 687 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4716 [startup+0.101248 s] /proc/loadavg: 1.05 1.03 1.00 3/106 30225 /proc/meminfo: memFree=1819500/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=5140 CPUtime=0.09 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 875 0 0 0 9 0 0 0 20 0 1 0 92161671 5263360 794 1992294400 134512640 135751879 4291746272 18446744073709551615 134564345 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 1285 794 298 303 0 793 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5140 [startup+0.301276 s] /proc/loadavg: 1.05 1.03 1.00 3/106 30225 /proc/meminfo: memFree=1819500/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=6364 CPUtime=0.29 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 1397 0 0 0 29 0 0 0 20 0 1 0 92161671 6516736 1129 1992294400 134512640 135751879 4291746272 18446744073709551615 134584558 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 1591 1129 146 303 0 1286 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6364 [startup+0.701332 s] /proc/loadavg: 1.05 1.03 1.00 3/106 30225 /proc/meminfo: memFree=1819500/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=6496 CPUtime=0.69 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 1442 0 0 0 69 0 0 0 21 0 1 0 92161671 6651904 1174 1992294400 134512640 135751879 4291746272 18446744073709551615 134580030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 1624 1174 146 303 0 1319 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6496 [startup+1.50145 s] /proc/loadavg: 1.05 1.03 1.00 2/107 30226 /proc/meminfo: memFree=1815648/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=7684 CPUtime=1.49 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 1745 0 0 0 149 0 0 0 23 0 1 0 92161671 7868416 1477 1992294400 134512640 135751879 4291746272 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 1921 1477 146 303 0 1616 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7684 [startup+3.10167 s] /proc/loadavg: 1.05 1.03 1.00 2/107 30226 /proc/meminfo: memFree=1813912/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=8212 CPUtime=3.09 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 1873 0 0 0 300 9 0 0 25 0 1 0 92161671 8409088 1605 1992294400 134512640 135751879 4291746272 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 2053 1605 146 303 0 1748 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8212 [startup+6.30013 s] /proc/loadavg: 1.05 1.03 1.00 2/107 30226 /proc/meminfo: memFree=1812300/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=10044 CPUtime=6.28 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 2315 0 0 0 614 14 0 0 25 0 1 0 92161671 10285056 2047 1992294400 134512640 135751879 4291746272 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 2511 2047 147 303 0 2206 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 10044 [startup+12.701 s] /proc/loadavg: 1.04 1.03 1.00 2/107 30226 /proc/meminfo: memFree=1808456/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=13716 CPUtime=12.69 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 3245 0 0 0 1248 21 0 0 25 0 1 0 92161671 14045184 2977 1992294400 134512640 135751879 4291746272 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 3429 2977 147 303 0 3124 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13716 [startup+25.5009 s] /proc/loadavg: 1.03 1.03 1.00 2/107 30228 /proc/meminfo: memFree=1803868/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=17944 CPUtime=25.48 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 4320 0 0 0 2521 27 0 0 25 0 1 0 92161671 18374656 4052 1992294400 134512640 135751879 4291746272 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 4486 4052 147 303 0 4181 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17944 [startup+51.1005 s] /proc/loadavg: 1.02 1.02 1.00 2/107 30230 /proc/meminfo: memFree=1797420/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=23976 CPUtime=51.07 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 5816 0 0 0 5074 33 0 0 25 0 1 0 92161671 24551424 5548 1992294400 134512640 135751879 4291746272 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 5994 5548 147 303 0 5689 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23976 [startup+102.309 s] /proc/loadavg: 1.05 1.03 1.00 2/107 30233 /proc/meminfo: memFree=1788616/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=32564 CPUtime=102.26 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 7966 0 0 0 10183 43 0 0 25 0 1 0 92161671 33345536 7698 1992294400 134512640 135751879 4291746272 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 8141 7698 147 303 0 7836 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32564 [startup+162.301 s] /proc/loadavg: 1.02 1.02 1.00 2/107 30233 /proc/meminfo: memFree=1781796/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=39408 CPUtime=162.24 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 9660 0 0 0 16172 52 0 0 18 0 1 0 92161671 40353792 9392 1992294400 134512640 135751879 4291746272 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 9852 9392 147 303 0 9547 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 39408 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.02 1.02 1.00 2/107 30233 /proc/meminfo: memFree=1781300/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=39928 CPUtime=166.23 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 9811 0 0 0 16571 52 0 0 25 0 1 0 92161671 40886272 9543 1992294400 134512640 135751879 4291746272 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 9982 9543 147 303 0 9677 0 Current children cumulated CPU time (s) 166.23 Current children cumulated vsize (KiB) 39928 [startup+179.101 s] /proc/loadavg: 1.01 1.02 1.00 2/107 30235 /proc/meminfo: memFree=1779936/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=41488 CPUtime=179.03 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 10180 0 0 0 17849 54 0 0 25 0 1 0 92161671 42483712 9912 1992294400 134512640 135751879 4291746272 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 10372 9912 147 303 0 10067 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 41488 [startup+182.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 30235 /proc/meminfo: memFree=1772744/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=84960 CPUtime=182.23 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 21144 0 0 0 18165 58 0 0 25 0 1 0 92161671 86999040 20780 1992294400 134512640 135751879 4291746272 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 21240 20780 150 303 0 20935 0 Current children cumulated CPU time (s) 182.23 Current children cumulated vsize (KiB) 84960 [startup+183.901 s] /proc/loadavg: 1.01 1.02 1.00 2/107 30235 /proc/meminfo: memFree=1677388/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=156304 CPUtime=183.83 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 39004 0 0 0 18319 64 0 0 25 0 1 0 92161671 160055296 38640 1992294400 134512640 135751879 4291746272 18446744073709551615 134639800 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 39076 38640 150 303 0 38771 0 Current children cumulated CPU time (s) 183.83 Current children cumulated vsize (KiB) 156304 [startup+184.701 s] /proc/loadavg: 1.01 1.02 1.00 2/107 30235 /proc/meminfo: memFree=1629524/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=191496 CPUtime=184.64 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 47757 0 0 0 18397 67 0 0 25 0 1 0 92161671 196091904 47393 1992294400 134512640 135751879 4291746272 18446744073709551615 134638870 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 47874 47393 150 303 0 47569 0 Current children cumulated CPU time (s) 184.64 Current children cumulated vsize (KiB) 191496 [startup+185.102 s] /proc/loadavg: 1.01 1.02 1.00 2/107 30235 /proc/meminfo: memFree=1629524/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=208208 CPUtime=185.03 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 51983 0 0 0 18435 68 0 0 25 0 1 0 92161671 213204992 51619 1992294400 134512640 135751879 4291746272 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 52052 51620 150 303 0 51747 0 Current children cumulated CPU time (s) 185.03 Current children cumulated vsize (KiB) 208208 [startup+185.302 s] /proc/loadavg: 1.01 1.02 1.00 2/107 30235 /proc/meminfo: memFree=1629524/2059040 swapFree=4139696/4192956 [pid=30225] ppid=30223 vsize=217060 CPUtime=185.23 /proc/30225/stat : 30225 (wbo1.4b) R 30223 30225 29624 0 -1 4202496 54193 0 0 0 18455 68 0 0 25 0 1 0 92161671 222269440 53829 1992294400 134512640 135751879 4291746272 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30225/statm: 54265 53829 150 303 0 53960 0 Current children cumulated CPU time (s) 185.23 Current children cumulated vsize (KiB) 217060 Child status: 0 Real time (s): 185.356 CPU time (s): 185.295 CPU user time (s): 184.581 CPU system time (s): 0.713891 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (KiB): 217060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 184.581 system time used= 0.713891 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54194 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= 127 involuntary context switches= 498 runsolver used 0.305953 second user time and 0.925859 second system time The end
Begin job on node049 at 2010-06-26 01:32:16 IDJOB=2683317 IDBENCH=72103 IDSOLVER=1161 FILE ID=node049/2683317-1277508736 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-rand085d8a.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-2683317-1277508736/watcher-2683317-1277508736 -o /tmp/evaluation-result-2683317-1277508736/solver-2683317-1277508736 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683317-1277508736.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 48a8fba9d7ba336cfae10ff26f122513 RANDOM SEED=24327857 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: 1820400 kB Buffers: 29420 kB Cached: 112148 kB SwapCached: 6360 kB Active: 43896 kB Inactive: 111088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1820400 kB SwapTotal: 4192956 kB SwapFree: 4139696 kB Dirty: 3504 kB Writeback: 0 kB AnonPages: 11888 kB Mapped: 11856 kB Slab: 61436 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184636 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-2683317-1277508736.opb Free space on /tmp at the end= 62452 MiB End job on node049 at 2010-06-26 01:35:22