Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 13125 | 184.893 | 184.936 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand2d8467.cudf.paranoid.opb |
MD5SUM | 273841d98ff0d22c152be4529d8a88f8 |
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 | 13125 |
Best CPU time to get the best result obtained on this benchmark | 2.83257 |
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 | 6308 |
Total number of constraints | 27601 |
Number of constraints which are clauses | 27304 |
Number of constraints which are cardinality constraints (but not clauses) | 297 |
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 | 2358 |
Biggest coefficient in the objective function | 1809 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 998566 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1809 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 998566 |
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-2683564-1277510620.opb. 0.00/0.00 c Instance file HOME/instance-2683564-1277510620.opb 0.00/0.00 c File size is 878499 bytes. 0.10/0.13 c Highest Coefficient sum: 553 0.10/0.13 c ============================[ Problem Statistics ]============================= 0.10/0.13 c | | 0.10/0.13 c | Parsing time: 0.14 s | 0.10/0.13 c | Number Variables: 6308 | 0.10/0.13 c | Number Clauses: 27304 | 0.10/0.13 c | Number Cardinality: 297 | 0.10/0.13 c | Number PB Constraints: 0 | 2.79/2.85 c ============================[ Search Statistics ]============================== 2.79/2.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.85 c =============================================================================== 2.79/2.85 c | 0 | 3949 29428 54744 | 9200 0 nan | 0.000 % | 2.79/2.88 c =============================================================================== 2.79/2.88 c New solution: 413272 2.79/2.88 o 413272 2.79/2.88 c Elapsed CPU time: 2.86556 s Remaining CPU time: 177.134 s 2.79/2.88 c =============================================================================== 2.79/2.88 c | 51 | 3949 29429 56994 | 9809 51 4 | 0.000 % | 2.79/2.89 c =============================================================================== 2.79/2.89 c New solution: 391520 2.79/2.89 o 391520 2.79/2.89 c Elapsed CPU time: 2.87356 s Remaining CPU time: 177.126 s 2.79/2.89 c =============================================================================== 2.79/2.89 c | 65 | 3949 29430 59244 | 9810 65 4 | 0.000 % | 2.89/2.90 c =============================================================================== 2.89/2.90 c New solution: 366174 2.89/2.90 o 366174 2.89/2.90 c Elapsed CPU time: 2.88056 s Remaining CPU time: 177.119 s 2.89/2.90 c =============================================================================== 2.89/2.90 c | 73 | 3949 29431 61494 | 9810 73 4 | 0.000 % | 2.89/2.92 c =============================================================================== 2.89/2.92 c New solution: 329987 2.89/2.92 o 329987 2.89/2.92 c Elapsed CPU time: 2.89356 s Remaining CPU time: 177.106 s 2.89/2.92 c =============================================================================== 2.89/2.92 c | 77 | 3949 29432 63744 | 9810 77 4 | 0.000 % | 2.89/2.92 c =============================================================================== 2.89/2.92 c New solution: 304651 2.89/2.92 o 304651 2.89/2.92 c Elapsed CPU time: 2.90156 s Remaining CPU time: 177.098 s 2.89/2.92 c =============================================================================== 2.89/2.92 c | 79 | 3949 29433 65994 | 9811 79 4 | 0.000 % | 2.89/2.94 c =============================================================================== 2.89/2.94 c New solution: 270279 2.89/2.94 o 270279 2.89/2.94 c Elapsed CPU time: 2.91656 s Remaining CPU time: 177.083 s 2.89/2.94 c =============================================================================== 2.89/2.94 c | 88 | 3949 29434 68244 | 9811 88 4 | 0.000 % | 2.89/2.96 c =============================================================================== 2.89/2.96 c New solution: 270278 2.89/2.96 o 270278 2.89/2.96 c Elapsed CPU time: 2.93255 s Remaining CPU time: 177.067 s 2.89/2.96 c =============================================================================== 2.89/2.96 c | 103 | 3949 29435 70494 | 9811 103 29 | 0.000 % | 2.99/3.01 c =============================================================================== 2.99/3.01 c New solution: 160033 2.99/3.01 o 160033 2.99/3.01 c Elapsed CPU time: 2.97355 s Remaining CPU time: 177.026 s 2.99/3.01 c =============================================================================== 2.99/3.01 c | 150 | 3949 29436 72744 | 9812 150 21 | 0.000 % | 2.99/3.03 c =============================================================================== 2.99/3.03 c New solution: 154530 2.99/3.03 o 154530 2.99/3.03 c Elapsed CPU time: 2.98754 s Remaining CPU time: 177.012 s 2.99/3.03 c =============================================================================== 2.99/3.03 c | 157 | 3949 29437 74994 | 9812 157 20 | 0.000 % | 2.99/3.05 c =============================================================================== 2.99/3.05 c New solution: 152758 2.99/3.05 o 152758 2.99/3.05 c Elapsed CPU time: 3.01254 s Remaining CPU time: 176.987 s 2.99/3.05 c =============================================================================== 2.99/3.05 c | 173 | 3949 29438 77244 | 9812 173 18 | 0.000 % | 2.99/3.08 c =============================================================================== 2.99/3.08 c New solution: 150961 2.99/3.08 o 150961 2.99/3.08 c Elapsed CPU time: 3.03354 s Remaining CPU time: 176.966 s 2.99/3.08 c =============================================================================== 2.99/3.08 c | 193 | 3949 29439 79494 | 9813 193 17 | 0.000 % | 3.09/3.10 c =============================================================================== 3.09/3.10 c New solution: 150953 3.09/3.10 o 150953 3.09/3.10 c Elapsed CPU time: 3.05253 s Remaining CPU time: 176.947 s 3.09/3.10 c =============================================================================== 3.09/3.10 c | 198 | 3949 29440 81744 | 9813 198 17 | 0.000 % | 3.09/3.11 c =============================================================================== 3.09/3.11 c New solution: 150948 3.09/3.11 o 150948 3.09/3.11 c Elapsed CPU time: 3.06453 s Remaining CPU time: 176.935 s 3.09/3.11 c =============================================================================== 3.09/3.11 c | 200 | 3949 29441 83994 | 9813 200 19 | 0.000 % | 3.09/3.14 c =============================================================================== 3.09/3.14 c New solution: 149102 3.09/3.14 o 149102 3.09/3.14 c Elapsed CPU time: 3.09053 s Remaining CPU time: 176.909 s 3.09/3.14 c =============================================================================== 3.09/3.14 c | 232 | 3949 29442 86244 | 9814 232 17 | 0.000 % | 3.09/3.16 c =============================================================================== 3.09/3.16 c New solution: 131028 3.09/3.16 o 131028 3.09/3.16 c Elapsed CPU time: 3.10353 s Remaining CPU time: 176.896 s 3.09/3.16 c =============================================================================== 3.09/3.16 c | 241 | 3949 29443 88494 | 9814 241 16 | 0.000 % | 3.09/3.17 c =============================================================================== 3.09/3.17 c New solution: 130982 3.09/3.17 o 130982 3.09/3.17 c Elapsed CPU time: 3.11852 s Remaining CPU time: 176.881 s 3.09/3.17 c =============================================================================== 3.09/3.17 c | 242 | 3949 29444 90744 | 9814 242 16 | 0.000 % | 3.09/3.19 c =============================================================================== 3.09/3.19 c New solution: 130976 3.09/3.19 o 130976 3.09/3.19 c Elapsed CPU time: 3.13252 s Remaining CPU time: 176.867 s 3.09/3.19 c =============================================================================== 3.09/3.19 c | 242 | 3949 29445 92994 | 9815 242 16 | 0.000 % | 3.19/3.20 c =============================================================================== 3.19/3.20 c New solution: 130975 3.19/3.20 o 130975 3.19/3.20 c Elapsed CPU time: 3.14752 s Remaining CPU time: 176.852 s 3.19/3.20 c =============================================================================== 3.19/3.20 c | 243 | 3949 29446 95244 | 9815 243 20 | 0.000 % | 3.19/3.23 c =============================================================================== 3.19/3.23 c New solution: 129220 3.19/3.23 o 129220 3.19/3.23 c Elapsed CPU time: 3.16952 s Remaining CPU time: 176.83 s 3.19/3.23 c =============================================================================== 3.19/3.23 c | 257 | 3949 29447 97494 | 9815 257 22 | 0.000 % | 3.29/3.31 c =============================================================================== 3.29/3.31 c New solution: 127486 3.29/3.31 o 127486 3.29/3.31 c Elapsed CPU time: 3.24451 s Remaining CPU time: 176.755 s 3.29/3.31 c =============================================================================== 3.29/3.31 c | 296 | 3949 29448 99744 | 9816 296 32 | 0.000 % | 3.29/3.33 c =============================================================================== 3.29/3.33 c New solution: 127471 3.29/3.33 o 127471 3.29/3.33 c Elapsed CPU time: 3.2665 s Remaining CPU time: 176.733 s 3.29/3.33 c =============================================================================== 3.29/3.33 c | 303 | 3949 29449 101994 | 9816 303 32 | 0.000 % | 3.29/3.35 c =============================================================================== 3.29/3.35 c New solution: 127444 3.29/3.35 o 127444 3.29/3.35 c Elapsed CPU time: 3.2815 s Remaining CPU time: 176.718 s 3.29/3.35 c =============================================================================== 3.29/3.35 c | 304 | 3949 29450 104244 | 9816 304 32 | 0.000 % | 3.29/3.36 c =============================================================================== 3.29/3.36 c New solution: 125676 3.29/3.36 o 125676 3.29/3.36 c Elapsed CPU time: 3.2965 s Remaining CPU time: 176.704 s 3.29/3.36 c =============================================================================== 3.29/3.36 c | 304 | 3949 29451 106494 | 9817 304 32 | 0.000 % | 3.29/3.38 c =============================================================================== 3.29/3.38 c New solution: 125675 3.29/3.38 o 125675 3.29/3.38 c Elapsed CPU time: 3.3115 s Remaining CPU time: 176.689 s 3.29/3.38 c =============================================================================== 3.29/3.38 c | 304 | 3949 29452 108744 | 9817 304 32 | 0.000 % | 3.39/3.40 c =============================================================================== 3.39/3.40 c New solution: 125674 3.39/3.40 o 125674 3.39/3.40 c Elapsed CPU time: 3.33049 s Remaining CPU time: 176.67 s 3.39/3.40 c =============================================================================== 3.39/3.40 c | 305 | 3949 29453 110994 | 9817 305 32 | 0.000 % | 3.39/3.42 c =============================================================================== 3.39/3.42 c New solution: 125673 3.39/3.42 o 125673 3.39/3.42 c Elapsed CPU time: 3.34749 s Remaining CPU time: 176.653 s 3.39/3.42 c =============================================================================== 3.39/3.42 c | 306 | 3949 29454 113244 | 9818 306 34 | 0.000 % | 3.39/3.47 c =============================================================================== 3.39/3.47 c New solution: 102132 3.39/3.47 o 102132 3.39/3.47 c Elapsed CPU time: 3.39448 s Remaining CPU time: 176.606 s 3.39/3.47 c =============================================================================== 3.39/3.47 c | 335 | 3949 29455 115494 | 9818 335 45 | 0.000 % | 3.39/3.49 c =============================================================================== 3.39/3.49 c New solution: 102088 3.39/3.49 o 102088 3.39/3.49 c Elapsed CPU time: 3.42048 s Remaining CPU time: 176.58 s 3.39/3.49 c =============================================================================== 3.39/3.49 c | 337 | 3949 29456 117744 | 9818 337 44 | 0.000 % | 3.49/3.53 c =============================================================================== 3.49/3.53 c New solution: 102076 3.49/3.53 o 102076 3.49/3.53 c Elapsed CPU time: 3.45447 s Remaining CPU time: 176.546 s 3.49/3.53 c =============================================================================== 3.49/3.53 c | 339 | 3949 29457 119994 | 9819 339 44 | 0.000 % | 3.49/3.55 c =============================================================================== 3.49/3.55 c New solution: 102075 3.49/3.55 o 102075 3.49/3.55 c Elapsed CPU time: 3.47447 s Remaining CPU time: 176.526 s 3.49/3.55 c =============================================================================== 3.49/3.55 c | 340 | 3949 29458 122244 | 9819 340 44 | 0.000 % | 3.60/3.65 c =============================================================================== 3.60/3.65 c New solution: 102074 3.60/3.65 o 102074 3.60/3.65 c Elapsed CPU time: 3.56946 s Remaining CPU time: 176.431 s 3.60/3.65 c =============================================================================== 3.60/3.65 c | 356 | 3949 29459 124494 | 9819 356 52 | 0.000 % | 3.69/3.75 c =============================================================================== 3.69/3.75 c New solution: 100311 3.69/3.75 o 100311 3.69/3.75 c Elapsed CPU time: 3.67344 s Remaining CPU time: 176.327 s 3.69/3.75 c =============================================================================== 3.69/3.75 c | 368 | 3949 29460 126744 | 9820 368 61 | 0.000 % | 3.69/3.78 c =============================================================================== 3.69/3.78 c New solution: 100268 3.69/3.78 o 100268 3.69/3.78 c Elapsed CPU time: 3.69644 s Remaining CPU time: 176.304 s 3.69/3.78 c =============================================================================== 3.69/3.78 c | 368 | 3949 29461 128994 | 9820 368 61 | 0.000 % | 3.79/3.80 c =============================================================================== 3.79/3.80 c New solution: 100267 3.79/3.80 o 100267 3.79/3.80 c Elapsed CPU time: 3.71843 s Remaining CPU time: 176.282 s 3.79/3.80 c =============================================================================== 3.79/3.80 c | 368 | 3949 29462 131244 | 9820 368 61 | 0.000 % | 3.79/3.84 c =============================================================================== 3.79/3.84 c New solution: 100261 3.79/3.84 o 100261 3.79/3.84 c Elapsed CPU time: 3.75143 s Remaining CPU time: 176.249 s 3.79/3.84 c =============================================================================== 3.79/3.84 c | 369 | 3949 29463 133494 | 9821 369 63 | 0.000 % | 3.99/4.02 c | 469 | 3949 29463 133494 | 10803 469 210 | 37.397 % | 4.19/4.29 c | 619 | 3949 29463 133494 | 11883 619 326 | 37.397 % | 4.29/4.33 c =============================================================================== 4.29/4.33 c New solution: 100260 4.29/4.33 o 100260 4.29/4.33 c Elapsed CPU time: 4.23935 s Remaining CPU time: 175.761 s 4.29/4.33 c =============================================================================== 4.29/4.33 c | 620 | 3949 29464 135744 | 9821 620 325 | 37.397 % | 4.29/4.36 c =============================================================================== 4.29/4.36 c New solution: 100259 4.29/4.36 o 100259 4.29/4.36 c Elapsed CPU time: 4.27135 s Remaining CPU time: 175.729 s 4.29/4.36 c =============================================================================== 4.29/4.36 c | 621 | 3949 29465 137994 | 9821 621 326 | 37.397 % | 4.49/4.58 c | 722 | 3949 29465 137994 | 10803 722 385 | 37.397 % | 4.89/4.98 c | 872 | 3949 29465 137994 | 11884 872 441 | 37.397 % | 5.40/5.43 c | 1100 | 3949 29465 137994 | 13072 1100 506 | 37.397 % | 5.40/5.45 c =============================================================================== 5.40/5.45 c New solution: 100242 5.40/5.45 o 100242 5.40/5.45 c Elapsed CPU time: 5.36218 s Remaining CPU time: 174.638 s 5.40/5.45 c =============================================================================== 5.40/5.45 c | 1101 | 3949 29466 140244 | 9822 1101 506 | 37.397 % | 5.59/5.62 c | 1202 | 3949 29466 140244 | 10804 1202 524 | 37.397 % | 5.59/5.70 c =============================================================================== 5.59/5.70 c New solution: 100241 5.59/5.70 o 100241 5.59/5.70 c Elapsed CPU time: 5.60415 s Remaining CPU time: 174.396 s 5.59/5.70 c =============================================================================== 5.59/5.70 c | 1214 | 3949 29467 142494 | 9822 1214 524 | 37.397 % | 5.79/5.89 c | 1315 | 3949 29467 142494 | 10804 1315 542 | 37.397 % | 5.89/5.99 c =============================================================================== 5.89/5.99 c New solution: 100240 5.89/5.99 o 100240 5.89/5.99 c Elapsed CPU time: 5.8941 s Remaining CPU time: 174.106 s 5.89/5.99 c =============================================================================== 5.89/5.99 c | 1344 | 3949 29468 144744 | 9822 1344 542 | 37.397 % | 6.29/6.32 c | 1446 | 3949 29468 144744 | 10804 1446 553 | 37.397 % | 6.29/6.35 c =============================================================================== 6.29/6.35 c New solution: 100239 6.29/6.35 o 100239 6.29/6.35 c Elapsed CPU time: 6.25605 s Remaining CPU time: 173.744 s 6.29/6.35 c =============================================================================== 6.29/6.35 c | 1454 | 3949 29469 146994 | 9823 1454 554 | 37.397 % | 6.40/6.48 c =============================================================================== 6.40/6.48 c New solution: 100238 6.40/6.48 o 100238 6.40/6.48 c Elapsed CPU time: 6.38003 s Remaining CPU time: 173.62 s 6.40/6.48 c =============================================================================== 6.40/6.48 c | 1498 | 3949 29470 149244 | 9823 1498 557 | 37.397 % | 6.50/6.52 c =============================================================================== 6.50/6.52 c New solution: 100237 6.50/6.52 o 100237 6.50/6.52 c Elapsed CPU time: 6.42202 s Remaining CPU time: 173.578 s 6.50/6.52 c =============================================================================== 6.50/6.52 c | 1503 | 3949 29471 151494 | 9823 1503 558 | 37.397 % | 6.60/6.69 c =============================================================================== 6.60/6.69 c New solution: 98505 6.60/6.69 o 98505 6.60/6.69 c Elapsed CPU time: 6.594 s Remaining CPU time: 173.406 s 6.60/6.69 c =============================================================================== 6.60/6.69 c | 1578 | 3949 29472 153744 | 9824 1578 563 | 37.397 % | 6.69/6.74 c =============================================================================== 6.69/6.74 c New solution: 98456 6.69/6.74 o 98456 6.69/6.74 c Elapsed CPU time: 6.64599 s Remaining CPU time: 173.354 s 6.69/6.75 c =============================================================================== 6.69/6.75 c | 1579 | 3949 29473 155994 | 9824 1579 563 | 37.397 % | 6.79/6.80 c =============================================================================== 6.79/6.80 c New solution: 98455 6.79/6.80 o 98455 6.79/6.80 c Elapsed CPU time: 6.69698 s Remaining CPU time: 173.303 s 6.79/6.80 c =============================================================================== 6.79/6.80 c | 1579 | 3949 29474 158244 | 9824 1579 563 | 37.397 % | 6.79/6.85 c =============================================================================== 6.79/6.85 c New solution: 98454 6.79/6.85 o 98454 6.79/6.85 c Elapsed CPU time: 6.74597 s Remaining CPU time: 173.254 s 6.79/6.85 c =============================================================================== 6.79/6.85 c | 1580 | 3949 29475 160494 | 9825 1580 563 | 37.397 % | 6.89/6.92 c =============================================================================== 6.89/6.92 c New solution: 98453 6.89/6.92 o 98453 6.89/6.92 c Elapsed CPU time: 6.81996 s Remaining CPU time: 173.18 s 6.89/6.92 c =============================================================================== 6.89/6.92 c | 1599 | 3949 29476 162744 | 9825 1599 564 | 37.397 % | 6.89/6.97 c =============================================================================== 6.89/6.97 c New solution: 98449 6.89/6.97 o 98449 6.89/6.97 c Elapsed CPU time: 6.86396 s Remaining CPU time: 173.136 s 6.89/6.97 c =============================================================================== 6.89/6.97 c | 1600 | 3949 29477 164994 | 9825 1600 564 | 37.397 % | 6.99/7.01 c =============================================================================== 6.99/7.01 c New solution: 98433 6.99/7.01 o 98433 6.99/7.01 c Elapsed CPU time: 6.90295 s Remaining CPU time: 173.097 s 6.99/7.01 c =============================================================================== 6.99/7.01 c | 1605 | 3949 29478 167244 | 9826 1605 563 | 37.397 % | 6.99/7.05 c =============================================================================== 6.99/7.05 c New solution: 98432 6.99/7.05 o 98432 6.99/7.05 c Elapsed CPU time: 6.93895 s Remaining CPU time: 173.061 s 6.99/7.05 c =============================================================================== 6.99/7.05 c | 1605 | 3949 29479 169494 | 9826 1605 563 | 37.397 % | 6.99/7.08 c =============================================================================== 6.99/7.08 c New solution: 98431 6.99/7.08 o 98431 6.99/7.08 c Elapsed CPU time: 6.97294 s Remaining CPU time: 173.027 s 6.99/7.08 c =============================================================================== 6.99/7.08 c | 1607 | 3949 29480 171744 | 9826 1607 563 | 37.397 % | 7.09/7.12 c =============================================================================== 7.09/7.12 c New solution: 96676 7.09/7.12 o 96676 7.09/7.12 c Elapsed CPU time: 7.01693 s Remaining CPU time: 172.983 s 7.09/7.13 c =============================================================================== 7.09/7.13 c | 1609 | 3949 29481 173994 | 9827 1609 563 | 37.397 % | 7.09/7.18 c =============================================================================== 7.09/7.18 c New solution: 96675 7.09/7.18 o 96675 7.09/7.18 c Elapsed CPU time: 7.06792 s Remaining CPU time: 172.932 s 7.09/7.18 c =============================================================================== 7.09/7.18 c | 1610 | 3949 29482 176244 | 9827 1610 562 | 37.397 % | 7.19/7.21 c =============================================================================== 7.19/7.21 c New solution: 96667 7.19/7.21 o 96667 7.19/7.21 c Elapsed CPU time: 7.10192 s Remaining CPU time: 172.898 s 7.19/7.21 c =============================================================================== 7.19/7.21 c | 1610 | 3949 29483 178494 | 9827 1610 562 | 37.397 % | 7.19/7.26 c =============================================================================== 7.19/7.26 c New solution: 96666 7.19/7.26 o 96666 7.19/7.26 c Elapsed CPU time: 7.14891 s Remaining CPU time: 172.851 s 7.19/7.26 c =============================================================================== 7.19/7.26 c | 1611 | 3949 29484 180744 | 9828 1611 562 | 37.397 % | 7.29/7.36 c =============================================================================== 7.29/7.36 c New solution: 96665 7.29/7.36 o 96665 7.29/7.36 c Elapsed CPU time: 7.2459 s Remaining CPU time: 172.754 s 7.29/7.36 c =============================================================================== 7.29/7.36 c | 1619 | 3949 29485 182994 | 9828 1619 561 | 37.397 % | 7.39/7.41 c =============================================================================== 7.39/7.41 c New solution: 96639 7.39/7.41 o 96639 7.39/7.41 c Elapsed CPU time: 7.29489 s Remaining CPU time: 172.705 s 7.39/7.41 c =============================================================================== 7.39/7.41 c | 1620 | 3949 29486 185244 | 9828 1620 561 | 37.397 % | 7.49/7.53 c =============================================================================== 7.49/7.53 c New solution: 96638 7.49/7.53 o 96638 7.49/7.53 c Elapsed CPU time: 7.41687 s Remaining CPU time: 172.583 s 7.49/7.53 c =============================================================================== 7.49/7.53 c | 1626 | 3949 29487 187494 | 9829 1626 560 | 37.397 % | 7.49/7.57 c =============================================================================== 7.49/7.57 c New solution: 94895 7.49/7.57 o 94895 7.49/7.57 c Elapsed CPU time: 7.45487 s Remaining CPU time: 172.545 s 7.49/7.57 c =============================================================================== 7.49/7.57 c | 1628 | 3949 29488 189744 | 9829 1628 561 | 37.397 % | 7.69/7.74 c =============================================================================== 7.69/7.74 c New solution: 94894 7.69/7.74 o 94894 7.69/7.74 c Elapsed CPU time: 7.62584 s Remaining CPU time: 172.374 s 7.69/7.74 c =============================================================================== 7.69/7.74 c | 1677 | 3949 29489 191994 | 9829 1677 567 | 37.397 % | 7.79/7.81 c =============================================================================== 7.79/7.81 c New solution: 94823 7.79/7.81 o 94823 7.79/7.81 c Elapsed CPU time: 7.68983 s Remaining CPU time: 172.31 s 7.79/7.81 c =============================================================================== 7.79/7.81 c | 1678 | 3949 29490 194244 | 9830 1678 567 | 37.397 % | 7.79/7.86 c =============================================================================== 7.79/7.86 c New solution: 94815 7.79/7.86 o 94815 7.79/7.86 c Elapsed CPU time: 7.74682 s Remaining CPU time: 172.253 s 7.79/7.86 c =============================================================================== 7.79/7.86 c | 1678 | 3949 29491 196494 | 9830 1678 567 | 37.397 % | 7.89/7.94 c =============================================================================== 7.89/7.94 c New solution: 94814 7.89/7.94 o 94814 7.89/7.94 c Elapsed CPU time: 7.81781 s Remaining CPU time: 172.182 s 7.89/7.94 c =============================================================================== 7.89/7.94 c | 1678 | 3949 29492 198744 | 9830 1678 567 | 37.397 % | 7.99/8.00 c =============================================================================== 7.99/8.00 c New solution: 94813 7.99/8.00 o 94813 7.99/8.00 c Elapsed CPU time: 7.8768 s Remaining CPU time: 172.123 s 7.99/8.00 c =============================================================================== 7.99/8.00 c | 1678 | 3949 29493 200994 | 9831 1678 567 | 37.397 % | 7.99/8.03 c =============================================================================== 7.99/8.03 c New solution: 94812 7.99/8.03 o 94812 7.99/8.03 c Elapsed CPU time: 7.9128 s Remaining CPU time: 172.087 s 7.99/8.03 c =============================================================================== 7.99/8.03 c | 1693 | 3949 29494 203244 | 9831 1693 567 | 37.397 % | 7.99/8.08 c =============================================================================== 7.99/8.08 c New solution: 93094 7.99/8.08 o 93094 7.99/8.08 c Elapsed CPU time: 7.95579 s Remaining CPU time: 172.044 s 7.99/8.08 c =============================================================================== 7.99/8.08 c | 1697 | 3949 29495 205494 | 9831 1697 568 | 37.397 % | 8.09/8.18 c =============================================================================== 8.09/8.18 c New solution: 93048 8.09/8.18 o 93048 8.09/8.18 c Elapsed CPU time: 8.05177 s Remaining CPU time: 171.948 s 8.09/8.18 c =============================================================================== 8.09/8.18 c | 1725 | 3949 29496 207744 | 9832 1725 570 | 37.397 % | 8.19/8.23 c =============================================================================== 8.19/8.23 c New solution: 93047 8.19/8.23 o 93047 8.19/8.23 c Elapsed CPU time: 8.10277 s Remaining CPU time: 171.897 s 8.19/8.23 c =============================================================================== 8.19/8.23 c | 1727 | 3949 29497 209994 | 9832 1727 570 | 37.397 % | 8.19/8.28 c =============================================================================== 8.19/8.28 c New solution: 91289 8.19/8.28 o 91289 8.19/8.28 c Elapsed CPU time: 8.15076 s Remaining CPU time: 171.849 s 8.19/8.28 c =============================================================================== 8.19/8.28 c | 1727 | 3949 29498 212244 | 9832 1727 570 | 37.397 % | 8.29/8.35 c =============================================================================== 8.29/8.35 c New solution: 91288 8.29/8.35 o 91288 8.29/8.35 c Elapsed CPU time: 8.21575 s Remaining CPU time: 171.784 s 8.29/8.35 c =============================================================================== 8.29/8.35 c | 1727 | 3949 29499 214494 | 9833 1727 570 | 37.397 % | 8.39/8.41 c =============================================================================== 8.39/8.41 c New solution: 91283 8.39/8.41 o 91283 8.39/8.41 c Elapsed CPU time: 8.28074 s Remaining CPU time: 171.719 s 8.39/8.41 c =============================================================================== 8.39/8.41 c | 1727 | 3949 29500 216744 | 9833 1727 570 | 37.397 % | 8.39/8.45 c =============================================================================== 8.39/8.45 c New solution: 91277 8.39/8.45 o 91277 8.39/8.45 c Elapsed CPU time: 8.32373 s Remaining CPU time: 171.676 s 8.39/8.45 c =============================================================================== 8.39/8.45 c | 1727 | 3949 29501 218994 | 9833 1727 570 | 37.397 % | 8.49/8.51 c =============================================================================== 8.49/8.51 c New solution: 91276 8.49/8.51 o 91276 8.49/8.51 c Elapsed CPU time: 8.38373 s Remaining CPU time: 171.616 s 8.49/8.51 c =============================================================================== 8.49/8.51 c | 1727 | 3949 29502 221244 | 9834 1727 570 | 37.397 % | 8.49/8.58 c =============================================================================== 8.49/8.58 c New solution: 91275 8.49/8.58 o 91275 8.49/8.58 c Elapsed CPU time: 8.44472 s Remaining CPU time: 171.555 s 8.49/8.58 c =============================================================================== 8.49/8.58 c | 1727 | 3949 29503 223494 | 9834 1727 570 | 37.397 % | 8.59/8.64 c =============================================================================== 8.59/8.64 c New solution: 91274 8.59/8.64 o 91274 8.59/8.64 c Elapsed CPU time: 8.51271 s Remaining CPU time: 171.487 s 8.59/8.64 c =============================================================================== 8.59/8.64 c | 1729 | 3949 29504 225744 | 9834 1729 570 | 37.397 % | 8.70/8.80 c =============================================================================== 8.70/8.80 c New solution: 91273 8.70/8.80 o 91273 8.70/8.80 c Elapsed CPU time: 8.67068 s Remaining CPU time: 171.329 s 8.70/8.80 c =============================================================================== 8.70/8.80 c | 1762 | 3949 29505 227994 | 9835 1762 573 | 37.397 % | 8.80/8.87 c =============================================================================== 8.80/8.87 c New solution: 91222 8.80/8.87 o 91222 8.80/8.87 c Elapsed CPU time: 8.73967 s Remaining CPU time: 171.26 s 8.80/8.87 c =============================================================================== 8.80/8.87 c | 1773 | 3949 29506 230244 | 9835 1773 573 | 37.397 % | 9.19/9.23 c | 1874 | 3949 29506 230244 | 10818 1874 584 | 37.397 % | 9.79/9.88 c | 2024 | 3949 29506 230244 | 11900 2024 598 | 37.397 % | 9.89/9.97 c =============================================================================== 9.89/9.97 c New solution: 91221 9.89/9.97 o 91221 9.89/9.97 c Elapsed CPU time: 9.8345 s Remaining CPU time: 170.165 s 9.89/9.97 c =============================================================================== 9.89/9.97 c | 2029 | 3949 29507 232494 | 9835 2029 597 | 37.397 % | 10.38/10.42 c =============================================================================== 10.38/10.42 c New solution: 89482 10.38/10.42 o 89482 10.38/10.42 c Elapsed CPU time: 10.2864 s Remaining CPU time: 169.714 s 10.38/10.42 c =============================================================================== 10.38/10.42 c | 2101 | 3949 29508 234744 | 9836 2101 604 | 37.397 % | 10.58/10.62 c =============================================================================== 10.58/10.62 c New solution: 89403 10.58/10.62 o 89403 10.58/10.62 c Elapsed CPU time: 10.4864 s Remaining CPU time: 169.514 s 10.58/10.62 c =============================================================================== 10.58/10.62 c | 2101 | 3949 29509 236994 | 9836 2101 604 | 37.397 % | 10.79/10.83 c =============================================================================== 10.79/10.83 c New solution: 89402 10.79/10.83 o 89402 10.79/10.83 c Elapsed CPU time: 10.6874 s Remaining CPU time: 169.313 s 10.79/10.83 c =============================================================================== 10.79/10.83 c | 2102 | 3949 29510 239244 | 9836 2102 603 | 37.397 % | 11.00/11.03 c =============================================================================== 11.00/11.03 c New solution: 89401 11.00/11.03 o 89401 11.00/11.03 c Elapsed CPU time: 10.8903 s Remaining CPU time: 169.11 s 11.00/11.03 c =============================================================================== 11.00/11.03 c | 2102 | 3949 29511 241494 | 9837 2102 603 | 37.397 % | 11.19/11.24 c =============================================================================== 11.19/11.24 c New solution: 89400 11.19/11.24 o 89400 11.19/11.24 c Elapsed CPU time: 11.0963 s Remaining CPU time: 168.904 s 11.19/11.24 c =============================================================================== 11.19/11.24 c | 2103 | 3949 29512 243744 | 9837 2103 603 | 37.397 % | 11.39/11.44 c =============================================================================== 11.39/11.44 c New solution: 89399 11.39/11.44 o 89399 11.39/11.44 c Elapsed CPU time: 11.3013 s Remaining CPU time: 168.699 s 11.39/11.44 c =============================================================================== 11.39/11.44 c | 2103 | 3949 29513 245994 | 9837 2103 603 | 37.397 % | 11.59/11.65 c =============================================================================== 11.59/11.65 c New solution: 89398 11.59/11.65 o 89398 11.59/11.65 c Elapsed CPU time: 11.5072 s Remaining CPU time: 168.493 s 11.59/11.65 c =============================================================================== 11.59/11.65 c | 2103 | 3949 29514 248244 | 9838 2103 603 | 37.397 % | 11.79/11.86 c =============================================================================== 11.79/11.86 c New solution: 89397 11.79/11.86 o 89397 11.79/11.86 c Elapsed CPU time: 11.7162 s Remaining CPU time: 168.284 s 11.79/11.86 c =============================================================================== 11.79/11.86 c | 2103 | 3949 29515 250494 | 9838 2103 603 | 37.397 % | 12.00/12.07 c =============================================================================== 12.00/12.07 c New solution: 89394 12.00/12.07 o 89394 12.00/12.07 c Elapsed CPU time: 11.9252 s Remaining CPU time: 168.075 s 12.00/12.07 c =============================================================================== 12.00/12.07 c | 2103 | 3949 29516 252744 | 9838 2103 603 | 37.397 % | 12.19/12.28 c =============================================================================== 12.19/12.28 c New solution: 89393 12.19/12.28 o 89393 12.19/12.28 c Elapsed CPU time: 12.1342 s Remaining CPU time: 167.866 s 12.19/12.28 c =============================================================================== 12.19/12.28 c | 2103 | 3949 29517 254994 | 9839 2103 603 | 37.397 % | 12.69/12.75 c | 2203 | 3949 29517 254994 | 10822 2203 610 | 37.397 % | 13.29/13.40 c | 2355 | 3949 29517 254994 | 11905 2355 620 | 37.397 % | 13.48/13.54 c =============================================================================== 13.48/13.54 c New solution: 87677 13.48/13.54 o 87677 13.48/13.54 c Elapsed CPU time: 13.393 s Remaining CPU time: 166.607 s 13.48/13.54 c =============================================================================== 13.48/13.54 c | 2363 | 3949 29518 257244 | 9839 2363 621 | 37.397 % | 13.59/13.63 c =============================================================================== 13.59/13.63 c New solution: 87611 13.59/13.63 o 87611 13.59/13.63 c Elapsed CPU time: 13.475 s Remaining CPU time: 166.525 s 13.59/13.63 c =============================================================================== 13.59/13.63 c | 2364 | 3949 29519 259494 | 9839 2364 621 | 37.397 % | 13.69/13.71 c =============================================================================== 13.69/13.71 c New solution: 87610 13.69/13.71 o 87610 13.69/13.71 c Elapsed CPU time: 13.5599 s Remaining CPU time: 166.44 s 13.69/13.71 c =============================================================================== 13.69/13.71 c | 2365 | 3949 29520 261744 | 9840 2365 620 | 37.397 % | 13.79/13.80 c =============================================================================== 13.79/13.80 c New solution: 87606 13.79/13.80 o 87606 13.79/13.80 c Elapsed CPU time: 13.6469 s Remaining CPU time: 166.353 s 13.79/13.80 c =============================================================================== 13.79/13.80 c | 2366 | 3949 29521 263994 | 9840 2366 620 | 37.397 % | 13.89/13.91 c =============================================================================== 13.89/13.91 c New solution: 87605 13.89/13.91 o 87605 13.89/13.91 c Elapsed CPU time: 13.7509 s Remaining CPU time: 166.249 s 13.89/13.91 c =============================================================================== 13.89/13.91 c | 2366 | 3949 29522 266244 | 9840 2366 620 | 37.397 % | 13.89/13.99 c =============================================================================== 13.89/13.99 c New solution: 87604 13.89/13.99 o 87604 13.89/13.99 c Elapsed CPU time: 13.8379 s Remaining CPU time: 166.162 s 13.89/13.99 c =============================================================================== 13.89/13.99 c | 2366 | 3949 29523 268494 | 9841 2366 620 | 37.397 % | 13.99/14.08 c =============================================================================== 13.99/14.08 c New solution: 87603 13.99/14.08 o 87603 13.99/14.08 c Elapsed CPU time: 13.9249 s Remaining CPU time: 166.075 s 13.99/14.08 c =============================================================================== 13.99/14.08 c | 2366 | 3949 29524 270744 | 9841 2366 620 | 37.397 % | 14.09/14.17 c =============================================================================== 14.09/14.17 c New solution: 87602 14.09/14.17 o 87602 14.09/14.17 c Elapsed CPU time: 14.0109 s Remaining CPU time: 165.989 s 14.09/14.17 c =============================================================================== 14.09/14.17 c | 2366 | 3949 29525 272994 | 9841 2366 620 | 37.397 % | 14.19/14.25 c =============================================================================== 14.19/14.25 c New solution: 87601 14.19/14.25 o 87601 14.19/14.25 c Elapsed CPU time: 14.0959 s Remaining CPU time: 165.904 s 14.19/14.25 c =============================================================================== 14.19/14.25 c | 2366 | 3949 29526 275244 | 9842 2366 620 | 37.397 % | 14.29/14.34 c =============================================================================== 14.29/14.34 c New solution: 87600 14.29/14.34 o 87600 14.29/14.34 c Elapsed CPU time: 14.1808 s Remaining CPU time: 165.819 s 14.29/14.34 c =============================================================================== 14.29/14.34 c | 2366 | 3949 29527 277494 | 9842 2366 620 | 37.397 % | 14.38/14.42 c =============================================================================== 14.38/14.42 c New solution: 87599 14.38/14.42 o 87599 14.38/14.42 c Elapsed CPU time: 14.2648 s Remaining CPU time: 165.735 s 14.38/14.42 c =============================================================================== 14.38/14.42 c | 2366 | 3949 29528 279744 | 9842 2366 620 | 37.397 % | 14.49/14.54 c =============================================================================== 14.49/14.54 c New solution: 87598 14.49/14.54 o 87598 14.49/14.54 c Elapsed CPU time: 14.3748 s Remaining CPU time: 165.625 s 14.49/14.54 c =============================================================================== 14.49/14.54 c | 2366 | 3949 29529 281994 | 9843 2366 620 | 37.397 % | 14.59/14.62 c =============================================================================== 14.59/14.62 c New solution: 87597 14.59/14.62 o 87597 14.59/14.62 c Elapsed CPU time: 14.4588 s Remaining CPU time: 165.541 s 14.59/14.62 c =============================================================================== 14.59/14.62 c | 2366 | 3949 29530 284244 | 9843 2366 620 | 37.397 % | 14.69/14.71 c =============================================================================== 14.69/14.71 c New solution: 87596 14.69/14.71 o 87596 14.69/14.71 c Elapsed CPU time: 14.5448 s Remaining CPU time: 165.455 s 14.69/14.71 c =============================================================================== 14.69/14.71 c | 2368 | 3949 29531 286494 | 9843 2368 621 | 37.397 % | 14.89/14.96 c =============================================================================== 14.89/14.96 c New solution: 87595 14.89/14.96 o 87595 14.89/14.96 c Elapsed CPU time: 14.7988 s Remaining CPU time: 165.201 s 14.89/14.96 c =============================================================================== 14.89/14.96 c | 2404 | 3949 29532 288744 | 9844 2404 622 | 37.397 % | 14.99/15.05 c =============================================================================== 14.99/15.05 c New solution: 85862 14.99/15.05 o 85862 14.99/15.05 c Elapsed CPU time: 14.8867 s Remaining CPU time: 165.113 s 14.99/15.05 c =============================================================================== 14.99/15.05 c | 2407 | 3949 29533 290994 | 9844 2407 622 | 37.397 % | 15.19/15.27 c =============================================================================== 15.19/15.27 c New solution: 85809 15.19/15.27 o 85809 15.19/15.27 c Elapsed CPU time: 15.1047 s Remaining CPU time: 164.895 s 15.19/15.27 c =============================================================================== 15.19/15.27 c | 2449 | 3949 29534 293244 | 9844 2449 623 | 37.397 % | 15.88/15.91 c | 2549 | 3949 29534 293244 | 10829 2549 630 | 37.397 % | 15.99/16.01 c =============================================================================== 15.99/16.01 c New solution: 85808 15.99/16.01 o 85808 15.99/16.01 c Elapsed CPU time: 15.8426 s Remaining CPU time: 164.157 s 15.99/16.01 c =============================================================================== 15.99/16.01 c | 2549 | 3949 29535 295494 | 9845 2549 630 | 37.397 % | 16.09/16.12 c =============================================================================== 16.09/16.12 c New solution: 85787 16.09/16.12 o 85787 16.09/16.12 c Elapsed CPU time: 15.9486 s Remaining CPU time: 164.051 s 16.09/16.12 c =============================================================================== 16.09/16.12 c | 2550 | 3949 29536 297744 | 9845 2550 630 | 37.397 % | 16.19/16.23 c =============================================================================== 16.19/16.23 c New solution: 85786 16.19/16.23 o 85786 16.19/16.23 c Elapsed CPU time: 16.0546 s Remaining CPU time: 163.945 s 16.19/16.23 c =============================================================================== 16.19/16.23 c | 2557 | 3949 29537 299994 | 9845 2557 630 | 37.397 % | 16.29/16.38 c =============================================================================== 16.29/16.38 c New solution: 85785 16.29/16.38 o 85785 16.29/16.38 c Elapsed CPU time: 16.2055 s Remaining CPU time: 163.794 s 16.29/16.38 c =============================================================================== 16.29/16.38 c | 2574 | 3949 29538 302244 | 9846 2574 630 | 37.397 % | 16.39/16.49 c =============================================================================== 16.39/16.49 c New solution: 85784 16.39/16.49 o 85784 16.39/16.49 c Elapsed CPU time: 16.3195 s Remaining CPU time: 163.68 s 16.39/16.49 c =============================================================================== 16.39/16.49 c | 2574 | 3949 29539 304494 | 9846 2574 630 | 37.397 % | 16.49/16.58 c =============================================================================== 16.49/16.58 c New solution: 85782 16.49/16.58 o 85782 16.49/16.58 c Elapsed CPU time: 16.3995 s Remaining CPU time: 163.6 s 16.49/16.58 c =============================================================================== 16.49/16.58 c | 2574 | 3949 29540 306744 | 9846 2574 630 | 37.397 % | 16.58/16.68 c =============================================================================== 16.58/16.68 c New solution: 85781 16.58/16.68 o 85781 16.58/16.68 c Elapsed CPU time: 16.5035 s Remaining CPU time: 163.497 s 16.58/16.68 c =============================================================================== 16.58/16.68 c | 2574 | 3949 29541 308994 | 9847 2574 630 | 37.397 % | 16.68/16.79 c =============================================================================== 16.68/16.79 c New solution: 85780 16.68/16.79 o 85780 16.68/16.79 c Elapsed CPU time: 16.6085 s Remaining CPU time: 163.392 s 16.68/16.79 c =============================================================================== 16.68/16.79 c | 2574 | 3949 29542 311244 | 9847 2574 630 | 37.397 % | 16.78/16.86 c =============================================================================== 16.78/16.86 c New solution: 85779 16.78/16.86 o 85779 16.78/16.86 c Elapsed CPU time: 16.6845 s Remaining CPU time: 163.316 s 16.78/16.86 c =============================================================================== 16.78/16.86 c | 2574 | 3949 29543 313494 | 9847 2574 630 | 37.397 % | 16.88/16.99 c =============================================================================== 16.88/16.99 c New solution: 85778 16.88/16.99 o 85778 16.88/16.99 c Elapsed CPU time: 16.8094 s Remaining CPU time: 163.191 s 16.88/16.99 c =============================================================================== 16.88/16.99 c | 2575 | 3949 29544 315744 | 9848 2575 630 | 37.397 % | 17.08/17.11 c =============================================================================== 17.08/17.11 c New solution: 85777 17.08/17.11 o 85777 17.08/17.11 c Elapsed CPU time: 16.9314 s Remaining CPU time: 163.069 s 17.08/17.11 c =============================================================================== 17.08/17.11 c | 2576 | 3949 29545 317994 | 9848 2576 630 | 37.397 % | 17.18/17.21 c =============================================================================== 17.18/17.21 c New solution: 85776 17.18/17.21 o 85776 17.18/17.21 c Elapsed CPU time: 17.0274 s Remaining CPU time: 162.973 s 17.18/17.21 c =============================================================================== 17.18/17.21 c | 2577 | 3949 29546 320244 | 9848 2577 631 | 37.397 % | 17.69/17.76 c | 2679 | 3949 29546 320244 | 10833 2679 636 | 37.397 % | 17.79/17.83 c =============================================================================== 17.79/17.83 c New solution: 85775 17.79/17.83 o 85775 17.79/17.83 c Elapsed CPU time: 17.6453 s Remaining CPU time: 162.355 s 17.79/17.83 c =============================================================================== 17.79/17.83 c | 2686 | 3949 29547 322494 | 9849 2686 636 | 37.397 % | 18.19/18.27 c | 2787 | 3949 29547 322494 | 10833 2787 640 | 37.397 % | 19.09/19.18 c | 2937 | 3949 29547 322494 | 11917 2937 647 | 37.397 % | 19.29/19.38 c =============================================================================== 19.29/19.38 c New solution: 85774 19.29/19.38 o 85774 19.29/19.38 c Elapsed CPU time: 19.1951 s Remaining CPU time: 160.805 s 19.29/19.38 c =============================================================================== 19.29/19.38 c | 2966 | 3949 29548 324744 | 9849 2966 648 | 37.397 % | 19.49/19.55 c =============================================================================== 19.49/19.55 c New solution: 84050 19.49/19.55 o 84050 19.49/19.55 c Elapsed CPU time: 19.3661 s Remaining CPU time: 160.634 s 19.49/19.55 c =============================================================================== 19.49/19.55 c | 2967 | 3949 29549 326994 | 9849 2967 648 | 37.397 % | 19.59/19.67 c =============================================================================== 19.59/19.67 c New solution: 84043 19.59/19.67 o 84043 19.59/19.67 c Elapsed CPU time: 19.479 s Remaining CPU time: 160.521 s 19.59/19.67 c =============================================================================== 19.59/19.67 c | 2968 | 3949 29550 329244 | 9850 2968 648 | 37.397 % | 19.69/19.78 c =============================================================================== 19.69/19.78 c New solution: 84042 19.69/19.78 o 84042 19.69/19.78 c Elapsed CPU time: 19.593 s Remaining CPU time: 160.407 s 19.69/19.78 c =============================================================================== 19.69/19.78 c | 2968 | 3949 29551 331494 | 9850 2968 648 | 37.397 % | 19.79/19.89 c =============================================================================== 19.79/19.89 c New solution: 84038 19.79/19.89 o 84038 19.79/19.89 c Elapsed CPU time: 19.704 s Remaining CPU time: 160.296 s 19.79/19.89 c =============================================================================== 19.79/19.89 c | 2970 | 3949 29552 333744 | 9850 2970 648 | 37.397 % | 19.98/20.04 c =============================================================================== 19.98/20.04 c New solution: 84037 19.98/20.04 o 84037 19.98/20.04 c Elapsed CPU time: 19.855 s Remaining CPU time: 160.145 s 19.98/20.04 c =============================================================================== 19.98/20.04 c | 2970 | 3949 29553 335994 | 9851 2970 648 | 37.397 % | 20.08/20.16 c =============================================================================== 20.08/20.16 c New solution: 84035 20.08/20.16 o 84035 20.08/20.16 c Elapsed CPU time: 19.966 s Remaining CPU time: 160.034 s 20.08/20.16 c =============================================================================== 20.08/20.16 c | 2970 | 3949 29554 338244 | 9851 2970 648 | 37.397 % | 20.18/20.26 c =============================================================================== 20.18/20.26 c New solution: 84034 20.18/20.26 o 84034 20.18/20.26 c Elapsed CPU time: 20.0739 s Remaining CPU time: 159.926 s 20.18/20.26 c =============================================================================== 20.18/20.26 c | 2970 | 3949 29555 340494 | 9851 2970 648 | 37.397 % | 20.39/20.47 c =============================================================================== 20.39/20.47 c New solution: 84033 20.39/20.47 o 84033 20.39/20.47 c Elapsed CPU time: 20.2749 s Remaining CPU time: 159.725 s 20.39/20.47 c =============================================================================== 20.39/20.47 c | 2975 | 3949 29556 342744 | 9852 2975 647 | 37.397 % | 20.59/20.62 c =============================================================================== 20.59/20.62 c New solution: 83994 20.59/20.62 o 83994 20.59/20.62 c Elapsed CPU time: 20.4259 s Remaining CPU time: 159.574 s 20.59/20.62 c =============================================================================== 20.59/20.62 c | 2975 | 3949 29557 344994 | 9852 2975 647 | 37.397 % | 20.69/20.78 c =============================================================================== 20.69/20.78 c New solution: 83993 20.69/20.78 o 83993 20.69/20.78 c Elapsed CPU time: 20.5819 s Remaining CPU time: 159.418 s 20.69/20.78 c =============================================================================== 20.69/20.78 c | 2975 | 3949 29558 347244 | 9852 2975 647 | 37.397 % | 20.89/20.93 c =============================================================================== 20.89/20.93 c New solution: 83992 20.89/20.93 o 83992 20.89/20.93 c Elapsed CPU time: 20.7328 s Remaining CPU time: 159.267 s 20.89/20.93 c =============================================================================== 20.89/20.93 c | 2975 | 3949 29559 349494 | 9853 2975 647 | 37.397 % | 20.99/21.09 c =============================================================================== 20.99/21.09 c New solution: 83984 20.99/21.09 o 83984 20.99/21.09 c Elapsed CPU time: 20.8898 s Remaining CPU time: 159.11 s 20.99/21.09 c =============================================================================== 20.99/21.09 c | 2975 | 3949 29560 351744 | 9853 2975 647 | 37.397 % | 21.19/21.24 c =============================================================================== 21.19/21.24 c New solution: 83983 21.19/21.24 o 83983 21.19/21.24 c Elapsed CPU time: 21.0418 s Remaining CPU time: 158.958 s 21.19/21.24 c =============================================================================== 21.19/21.24 c | 2975 | 3949 29561 353994 | 9853 2975 647 | 37.397 % | 21.28/21.39 c =============================================================================== 21.28/21.39 c New solution: 83982 21.28/21.39 o 83982 21.28/21.39 c Elapsed CPU time: 21.1938 s Remaining CPU time: 158.806 s 21.28/21.39 c =============================================================================== 21.28/21.39 c | 2986 | 3949 29562 356244 | 9854 2986 648 | 37.397 % | 21.89/21.97 c | 3086 | 3949 29562 356244 | 10839 3086 652 | 37.397 % | 22.08/22.10 c =============================================================================== 22.08/22.10 c New solution: 83981 22.08/22.10 o 83981 22.08/22.10 c Elapsed CPU time: 21.9057 s Remaining CPU time: 158.094 s 22.08/22.10 c =============================================================================== 22.08/22.10 c | 3089 | 3949 29563 358494 | 9854 3089 652 | 37.397 % | 22.18/22.28 c =============================================================================== 22.18/22.28 c New solution: 83980 22.18/22.28 o 83980 22.18/22.28 c Elapsed CPU time: 22.0846 s Remaining CPU time: 157.915 s 22.18/22.28 c =============================================================================== 22.18/22.28 c | 3119 | 3949 29564 360744 | 9854 3119 654 | 37.397 % | 22.28/22.39 c =============================================================================== 22.28/22.39 c New solution: 83976 22.28/22.39 o 83976 22.28/22.39 c Elapsed CPU time: 22.1876 s Remaining CPU time: 157.812 s 22.28/22.39 c =============================================================================== 22.28/22.39 c | 3119 | 3949 29565 362994 | 9855 3119 654 | 37.397 % | 22.38/22.48 c =============================================================================== 22.38/22.48 c New solution: 83972 22.38/22.48 o 83972 22.38/22.48 c Elapsed CPU time: 22.2856 s Remaining CPU time: 157.714 s 22.38/22.48 c =============================================================================== 22.38/22.48 c | 3119 | 3949 29566 365244 | 9855 3119 654 | 37.397 % | 22.48/22.57 c =============================================================================== 22.48/22.57 c New solution: 83966 22.48/22.57 o 83966 22.48/22.57 c Elapsed CPU time: 22.3756 s Remaining CPU time: 157.624 s 22.48/22.57 c =============================================================================== 22.48/22.57 c | 3119 | 3949 29567 367494 | 9855 3119 654 | 37.397 % | 22.58/22.65 c =============================================================================== 22.58/22.65 c New solution: 83965 22.58/22.65 o 83965 22.58/22.65 c Elapsed CPU time: 22.4536 s Remaining CPU time: 157.546 s 22.58/22.65 c =============================================================================== 22.58/22.65 c | 3123 | 3949 29568 369744 | 9856 3123 654 | 37.397 % | 22.78/22.87 c =============================================================================== 22.78/22.87 c New solution: 82224 22.78/22.87 o 82224 22.78/22.87 c Elapsed CPU time: 22.6646 s Remaining CPU time: 157.335 s 22.78/22.87 c =============================================================================== 22.78/22.87 c | 3132 | 3949 29569 371994 | 9856 3132 654 | 37.397 % | 22.89/22.99 c =============================================================================== 22.89/22.99 c New solution: 82173 22.89/22.99 o 82173 22.89/22.99 c Elapsed CPU time: 22.7885 s Remaining CPU time: 157.211 s 22.89/22.99 c =============================================================================== 22.89/22.99 c | 3132 | 3949 29570 374244 | 9856 3132 654 | 37.397 % | 23.09/23.11 c =============================================================================== 23.09/23.11 c New solution: 82170 23.09/23.11 o 82170 23.09/23.11 c Elapsed CPU time: 22.9085 s Remaining CPU time: 157.091 s 23.09/23.11 c =============================================================================== 23.09/23.11 c | 3132 | 3949 29571 376494 | 9857 3132 654 | 37.397 % | 23.09/23.19 c =============================================================================== 23.09/23.19 c New solution: 82150 23.09/23.19 o 82150 23.09/23.19 c Elapsed CPU time: 22.9835 s Remaining CPU time: 157.016 s 23.09/23.19 c =============================================================================== 23.09/23.19 c | 3134 | 3949 29572 378744 | 9857 3134 654 | 37.397 % | 23.19/23.29 c =============================================================================== 23.19/23.29 c New solution: 82149 23.19/23.29 o 82149 23.19/23.29 c Elapsed CPU time: 23.0825 s Remaining CPU time: 156.918 s 23.19/23.29 c =============================================================================== 23.19/23.29 c | 3135 | 3949 29573 380994 | 9857 3135 654 | 37.397 % | 23.89/23.96 c =============================================================================== 23.89/23.96 c New solution: 82148 23.89/23.96 o 82148 23.89/23.96 c Elapsed CPU time: 23.7584 s Remaining CPU time: 156.242 s 23.89/23.96 c =============================================================================== 23.89/23.96 c | 3222 | 3949 29574 383244 | 9858 3222 657 | 37.397 % | 24.58/24.61 c | 3322 | 3949 29574 383244 | 10843 3322 660 | 37.397 % | 25.79/25.87 c | 3474 | 3949 29574 383244 | 11928 3474 664 | 37.397 % | 25.89/25.98 c =============================================================================== 25.89/25.98 c New solution: 82147 25.89/25.98 o 82147 25.89/25.98 c Elapsed CPU time: 25.7631 s Remaining CPU time: 154.237 s 25.89/25.98 c =============================================================================== 25.89/25.98 c | 3490 | 3949 29575 385494 | 9858 3490 664 | 37.397 % | 26.09/26.16 c =============================================================================== 26.09/26.16 c New solution: 80439 26.09/26.16 o 80439 26.09/26.16 c Elapsed CPU time: 25.9501 s Remaining CPU time: 154.05 s 26.09/26.16 c =============================================================================== 26.09/26.16 c | 3493 | 3949 29576 387744 | 9858 3493 664 | 37.397 % | 26.29/26.33 c =============================================================================== 26.29/26.33 c New solution: 80438 26.29/26.33 o 80438 26.29/26.33 c Elapsed CPU time: 26.113 s Remaining CPU time: 153.887 s 26.29/26.33 c =============================================================================== 26.29/26.33 c | 3495 | 3949 29577 389994 | 9859 3495 664 | 37.397 % | 26.39/26.47 c =============================================================================== 26.39/26.47 c New solution: 80398 26.39/26.47 o 80398 26.39/26.47 c Elapsed CPU time: 26.254 s Remaining CPU time: 153.746 s 26.39/26.47 c =============================================================================== 26.39/26.47 c | 3496 | 3949 29578 392244 | 9859 3496 664 | 37.397 % | 26.49/26.57 c =============================================================================== 26.49/26.57 c New solution: 80397 26.49/26.57 o 80397 26.49/26.57 c Elapsed CPU time: 26.349 s Remaining CPU time: 153.651 s 26.49/26.57 c =============================================================================== 26.49/26.57 c | 3504 | 3949 29579 394494 | 9859 3504 664 | 37.397 % | 26.58/26.69 c =============================================================================== 26.58/26.69 c New solution: 80350 26.58/26.69 o 80350 26.58/26.69 c Elapsed CPU time: 26.475 s Remaining CPU time: 153.525 s 26.58/26.69 c =============================================================================== 26.58/26.69 c | 3508 | 3949 29580 396744 | 9860 3508 664 | 37.397 % | 26.78/26.82 c =============================================================================== 26.78/26.82 c New solution: 80344 26.78/26.82 o 80344 26.78/26.82 c Elapsed CPU time: 26.607 s Remaining CPU time: 153.393 s 26.78/26.82 c =============================================================================== 26.78/26.82 c | 3509 | 3949 29581 398994 | 9860 3509 664 | 37.397 % | 26.88/26.97 c =============================================================================== 26.88/26.97 c New solution: 80343 26.88/26.97 o 80343 26.88/26.97 c Elapsed CPU time: 26.7489 s Remaining CPU time: 153.251 s 26.88/26.97 c =============================================================================== 26.88/26.97 c | 3512 | 3949 29582 401244 | 9860 3512 664 | 37.397 % | 27.28/27.30 c =============================================================================== 27.28/27.30 c New solution: 80342 27.28/27.30 o 80342 27.28/27.30 c Elapsed CPU time: 27.0779 s Remaining CPU time: 152.922 s 27.28/27.30 c =============================================================================== 27.28/27.30 c | 3545 | 3949 29583 403494 | 9861 3545 665 | 37.397 % | 27.89/27.94 c | 3645 | 3949 29583 403494 | 10847 3645 668 | 37.397 % | 28.99/29.06 c | 3796 | 3949 29583 403494 | 11931 3796 671 | 37.397 % | 30.59/30.65 c | 4021 | 3949 29583 403494 | 13124 4021 675 | 37.397 % | 30.69/30.80 c =============================================================================== 30.69/30.80 c New solution: 80341 30.69/30.80 o 80341 30.69/30.80 c Elapsed CPU time: 30.5744 s Remaining CPU time: 149.426 s 30.69/30.80 c =============================================================================== 30.69/30.80 c | 4022 | 3949 29584 405744 | 9861 4022 675 | 37.397 % | 30.88/30.98 c =============================================================================== 30.88/30.98 c New solution: 80340 30.88/30.98 o 80340 30.88/30.98 c Elapsed CPU time: 30.7563 s Remaining CPU time: 149.244 s 30.88/30.98 c =============================================================================== 30.88/30.98 c | 4035 | 3949 29585 407994 | 9861 4035 675 | 37.397 % | 31.58/31.68 c | 4135 | 3949 29585 407994 | 10847 4135 676 | 37.397 % | 31.79/31.83 c =============================================================================== 31.79/31.83 c New solution: 80339 31.79/31.83 o 80339 31.79/31.83 c Elapsed CPU time: 31.6022 s Remaining CPU time: 148.398 s 31.79/31.83 c =============================================================================== 31.79/31.83 c | 4136 | 3949 29586 410244 | 9862 4136 676 | 37.397 % | 31.98/32.01 c =============================================================================== 31.98/32.01 c New solution: 80338 31.98/32.01 o 80338 31.98/32.01 c Elapsed CPU time: 31.7822 s Remaining CPU time: 148.218 s 31.98/32.01 c =============================================================================== 31.98/32.01 c | 4137 | 3949 29587 412494 | 9862 4137 676 | 37.397 % | 32.19/32.24 c =============================================================================== 32.19/32.24 c New solution: 80337 32.19/32.24 o 80337 32.19/32.24 c Elapsed CPU time: 32.0031 s Remaining CPU time: 147.997 s 32.19/32.24 c =============================================================================== 32.19/32.24 c | 4145 | 3949 29588 414744 | 9862 4145 676 | 37.397 % | 33.19/33.22 c | 4245 | 3949 29588 414744 | 10848 4245 677 | 37.397 % | 33.29/33.34 c =============================================================================== 33.29/33.34 c New solution: 80336 33.29/33.34 o 80336 33.29/33.34 c Elapsed CPU time: 33.109 s Remaining CPU time: 146.891 s 33.29/33.34 c =============================================================================== 33.29/33.34 c | 4249 | 3949 29589 416994 | 9863 4249 677 | 37.397 % | 33.49/33.55 c =============================================================================== 33.49/33.55 c New solution: 80335 33.49/33.55 o 80335 33.49/33.55 c Elapsed CPU time: 33.3149 s Remaining CPU time: 146.685 s 33.49/33.55 c =============================================================================== 33.49/33.55 c | 4263 | 3949 29590 419244 | 9863 4263 677 | 37.397 % | 34.09/34.14 c =============================================================================== 34.09/34.14 c New solution: 80334 34.09/34.14 o 80334 34.09/34.14 c Elapsed CPU time: 33.8988 s Remaining CPU time: 146.101 s 34.09/34.14 c =============================================================================== 34.09/34.14 c | 4342 | 3949 29591 421494 | 9863 4342 678 | 37.397 % | 34.18/34.29 c =============================================================================== 34.18/34.29 c New solution: 78596 34.18/34.29 o 78596 34.18/34.29 c Elapsed CPU time: 34.0488 s Remaining CPU time: 145.951 s 34.18/34.29 c =============================================================================== 34.18/34.29 c | 4346 | 3949 29592 423744 | 9864 4346 678 | 37.397 % | 34.68/34.70 c =============================================================================== 34.68/34.70 c New solution: 78552 34.68/34.70 o 78552 34.68/34.70 c Elapsed CPU time: 34.4608 s Remaining CPU time: 145.539 s 34.68/34.70 c =============================================================================== 34.68/34.70 c | 4346 | 3949 29593 425994 | 9864 4346 678 | 37.397 % | 34.98/35.09 c =============================================================================== 34.98/35.09 c New solution: 78550 34.98/35.09 o 78550 34.98/35.09 c Elapsed CPU time: 34.8497 s Remaining CPU time: 145.15 s 34.98/35.09 c =============================================================================== 34.98/35.09 c | 4346 | 3949 29594 428244 | 9864 4346 678 | 37.397 % | 35.38/35.49 c =============================================================================== 35.38/35.49 c New solution: 78549 35.38/35.49 o 78549 35.38/35.49 c Elapsed CPU time: 35.2466 s Remaining CPU time: 144.753 s 35.38/35.49 c =============================================================================== 35.38/35.49 c | 4346 | 3949 29595 430494 | 9865 4346 678 | 37.397 % | 35.78/35.89 c =============================================================================== 35.78/35.89 c New solution: 78548 35.78/35.89 o 78548 35.78/35.89 c Elapsed CPU time: 35.6476 s Remaining CPU time: 144.352 s 35.78/35.89 c =============================================================================== 35.78/35.89 c | 4346 | 3949 29596 432744 | 9865 4346 678 | 37.397 % | 36.19/36.30 c =============================================================================== 36.19/36.30 c New solution: 78547 36.19/36.30 o 78547 36.19/36.30 c Elapsed CPU time: 36.0565 s Remaining CPU time: 143.943 s 36.19/36.30 c =============================================================================== 36.19/36.30 c | 4346 | 3949 29597 434994 | 9865 4346 678 | 37.397 % | 36.69/36.70 c =============================================================================== 36.69/36.70 c New solution: 78546 36.69/36.70 o 78546 36.69/36.70 c Elapsed CPU time: 36.4605 s Remaining CPU time: 143.54 s 36.69/36.70 c =============================================================================== 36.69/36.70 c | 4346 | 3949 29598 437244 | 9866 4346 678 | 37.397 % | 37.09/37.11 c =============================================================================== 37.09/37.11 c New solution: 78545 37.09/37.11 o 78545 37.09/37.11 c Elapsed CPU time: 36.8664 s Remaining CPU time: 143.134 s 37.09/37.11 c =============================================================================== 37.09/37.11 c | 4346 | 3949 29599 439494 | 9866 4346 678 | 37.397 % | 37.49/37.53 c =============================================================================== 37.49/37.53 c New solution: 78544 37.49/37.53 o 78544 37.49/37.53 c Elapsed CPU time: 37.2803 s Remaining CPU time: 142.72 s 37.49/37.53 c =============================================================================== 37.49/37.53 c | 4347 | 3949 29600 441744 | 9866 4347 678 | 37.397 % | 37.68/37.71 c =============================================================================== 37.68/37.71 c New solution: 78543 37.68/37.71 o 78543 37.68/37.71 c Elapsed CPU time: 37.4603 s Remaining CPU time: 142.54 s 37.68/37.71 c =============================================================================== 37.68/37.71 c | 4347 | 3949 29601 443994 | 9867 4347 678 | 37.397 % | 37.78/37.89 c =============================================================================== 37.78/37.89 c New solution: 78542 37.78/37.89 o 78542 37.78/37.89 c Elapsed CPU time: 37.6423 s Remaining CPU time: 142.358 s 37.78/37.89 c =============================================================================== 37.78/37.89 c | 4347 | 3949 29602 446244 | 9867 4347 678 | 37.397 % | 37.98/38.08 c =============================================================================== 37.98/38.08 c New solution: 78541 37.98/38.08 o 78541 37.98/38.08 c Elapsed CPU time: 37.8282 s Remaining CPU time: 142.172 s 37.98/38.08 c =============================================================================== 37.98/38.08 c | 4348 | 3949 29603 448494 | 9867 4348 678 | 37.397 % | 38.18/38.27 c =============================================================================== 38.18/38.27 c New solution: 78540 38.18/38.27 o 78540 38.18/38.27 c Elapsed CPU time: 38.0162 s Remaining CPU time: 141.984 s 38.18/38.27 c =============================================================================== 38.18/38.27 c | 4348 | 3949 29604 450744 | 9868 4348 678 | 37.397 % | 38.39/38.47 c =============================================================================== 38.39/38.47 c New solution: 78539 38.39/38.47 o 78539 38.39/38.47 c Elapsed CPU time: 38.2222 s Remaining CPU time: 141.778 s 38.39/38.47 c =============================================================================== 38.39/38.47 c | 4349 | 3949 29605 452994 | 9868 4349 678 | 37.397 % | 38.58/38.68 c =============================================================================== 38.58/38.68 c New solution: 78538 38.58/38.68 o 78538 38.58/38.68 c Elapsed CPU time: 38.4272 s Remaining CPU time: 141.573 s 38.58/38.68 c =============================================================================== 38.58/38.68 c | 4352 | 3949 29606 455244 | 9868 4352 678 | 37.397 % | 39.49/39.59 c | 4453 | 3949 29606 455244 | 10855 4453 680 | 37.397 % | 39.69/39.79 c =============================================================================== 39.69/39.79 c New solution: 78537 39.69/39.79 o 78537 39.69/39.79 c Elapsed CPU time: 39.533 s Remaining CPU time: 140.467 s 39.69/39.79 c =============================================================================== 39.69/39.79 c | 4456 | 3949 29607 457494 | 9869 4456 680 | 37.397 % | 40.38/40.48 c =============================================================================== 40.38/40.48 c New solution: 78536 40.38/40.48 o 78536 40.38/40.48 c Elapsed CPU time: 40.2169 s Remaining CPU time: 139.783 s 40.38/40.48 c =============================================================================== 40.38/40.48 c | 4553 | 3949 29608 459744 | 9869 4553 682 | 37.397 % | 40.59/40.67 c =============================================================================== 40.59/40.67 c New solution: 78535 40.59/40.67 o 78535 40.59/40.67 c Elapsed CPU time: 40.4079 s Remaining CPU time: 139.592 s 40.59/40.67 c =============================================================================== 40.59/40.67 c | 4555 | 3949 29609 461994 | 9869 4555 682 | 37.397 % | 40.78/40.83 c =============================================================================== 40.78/40.83 c New solution: 76788 40.78/40.83 o 76788 40.78/40.83 c Elapsed CPU time: 40.5658 s Remaining CPU time: 139.434 s 40.78/40.83 c =============================================================================== 40.78/40.83 c | 4561 | 3949 29610 464244 | 9870 4561 681 | 37.397 % | 41.08/41.16 c =============================================================================== 41.08/41.16 c New solution: 76731 41.08/41.16 o 76731 41.08/41.16 c Elapsed CPU time: 40.8918 s Remaining CPU time: 139.108 s 41.08/41.16 c =============================================================================== 41.08/41.16 c | 4561 | 3949 29611 466494 | 9870 4561 681 | 37.397 % | 41.28/41.36 c =============================================================================== 41.28/41.36 c New solution: 76730 41.28/41.36 o 76730 41.28/41.36 c Elapsed CPU time: 41.0938 s Remaining CPU time: 138.906 s 41.28/41.36 c =============================================================================== 41.28/41.36 c | 4562 | 3949 29612 468744 | 9870 4562 681 | 37.397 % | 41.48/41.56 c =============================================================================== 41.48/41.56 c New solution: 76729 41.48/41.56 o 76729 41.48/41.56 c Elapsed CPU time: 41.2937 s Remaining CPU time: 138.706 s 41.48/41.56 c =============================================================================== 41.48/41.56 c | 4563 | 3949 29613 470994 | 9871 4563 681 | 37.397 % | 41.69/41.79 c =============================================================================== 41.69/41.79 c New solution: 76728 41.69/41.79 o 76728 41.69/41.79 c Elapsed CPU time: 41.5237 s Remaining CPU time: 138.476 s 41.69/41.79 c =============================================================================== 41.69/41.79 c | 4563 | 3949 29614 473244 | 9871 4563 681 | 37.397 % | 41.88/41.99 c =============================================================================== 41.88/41.99 c New solution: 76727 41.88/41.99 o 76727 41.88/41.99 c Elapsed CPU time: 41.7187 s Remaining CPU time: 138.281 s 41.88/41.99 c =============================================================================== 41.88/41.99 c | 4563 | 3949 29615 475494 | 9871 4563 681 | 37.397 % | 42.18/42.20 c =============================================================================== 42.18/42.20 c New solution: 76726 42.18/42.20 o 76726 42.18/42.20 c Elapsed CPU time: 41.9336 s Remaining CPU time: 138.066 s 42.18/42.20 c =============================================================================== 42.18/42.20 c | 4565 | 3949 29616 477744 | 9872 4565 681 | 37.397 % | 43.18/43.21 c | 4665 | 3949 29616 477744 | 10859 4665 683 | 37.397 % | 43.48/43.59 c =============================================================================== 43.48/43.59 c New solution: 76725 43.48/43.59 o 76725 43.48/43.59 c Elapsed CPU time: 43.3184 s Remaining CPU time: 136.682 s 43.48/43.59 c =============================================================================== 43.48/43.59 c | 4687 | 3949 29617 479994 | 9872 4687 683 | 37.397 % | 43.78/43.81 c =============================================================================== 43.78/43.81 c New solution: 76724 43.78/43.81 o 76724 43.78/43.81 c Elapsed CPU time: 43.5394 s Remaining CPU time: 136.461 s 43.78/43.81 c =============================================================================== 43.78/43.81 c | 4731 | 3949 29618 482244 | 9872 4731 683 | 37.397 % | 44.58/44.60 c | 4831 | 3949 29618 482244 | 10859 4831 685 | 37.397 % | 44.58/44.69 c =============================================================================== 44.58/44.69 c New solution: 76723 44.58/44.69 o 76723 44.58/44.69 c Elapsed CPU time: 44.4172 s Remaining CPU time: 135.583 s 44.58/44.69 c =============================================================================== 44.58/44.69 c | 4842 | 3949 29619 484494 | 9873 4842 684 | 37.397 % | 45.38/45.41 c | 4943 | 3949 29619 484494 | 10860 4943 685 | 37.397 % | 45.48/45.55 c =============================================================================== 45.48/45.55 c New solution: 76722 45.48/45.55 o 76722 45.48/45.55 c Elapsed CPU time: 45.2711 s Remaining CPU time: 134.729 s 45.48/45.55 c =============================================================================== 45.48/45.55 c | 4944 | 3949 29620 486744 | 9873 4944 685 | 37.397 % | 45.88/45.90 c =============================================================================== 45.88/45.90 c New solution: 76721 45.88/45.90 o 76721 45.88/45.90 c Elapsed CPU time: 45.6241 s Remaining CPU time: 134.376 s 45.88/45.90 c =============================================================================== 45.88/45.90 c | 4944 | 3949 29621 488994 | 9873 4944 685 | 37.397 % | 46.19/46.26 c =============================================================================== 46.19/46.26 c New solution: 76720 46.19/46.26 o 76720 46.19/46.26 c Elapsed CPU time: 45.976 s Remaining CPU time: 134.024 s 46.19/46.26 c =============================================================================== 46.19/46.26 c | 4944 | 3949 29622 491244 | 9874 4944 685 | 37.397 % | 46.58/46.61 c =============================================================================== 46.58/46.61 c New solution: 76719 46.58/46.61 o 76719 46.58/46.61 c Elapsed CPU time: 46.329 s Remaining CPU time: 133.671 s 46.58/46.61 c =============================================================================== 46.58/46.61 c | 4944 | 3949 29623 493494 | 9874 4944 685 | 37.397 % | 46.88/46.96 c =============================================================================== 46.88/46.96 c New solution: 76718 46.88/46.96 o 76718 46.88/46.96 c Elapsed CPU time: 46.6809 s Remaining CPU time: 133.319 s 46.88/46.96 c =============================================================================== 46.88/46.96 c | 4944 | 3949 29624 495744 | 9874 4944 685 | 37.397 % | 46.98/47.09 c =============================================================================== 46.98/47.09 c New solution: 76717 46.98/47.09 o 76717 46.98/47.09 c Elapsed CPU time: 46.8139 s Remaining CPU time: 133.186 s 46.98/47.09 c =============================================================================== 46.98/47.09 c | 4947 | 3949 29625 497994 | 9875 4947 685 | 37.397 % | 47.98/48.02 c =============================================================================== 47.98/48.02 c New solution: 76716 47.98/48.02 o 76716 47.98/48.02 c Elapsed CPU time: 47.7357 s Remaining CPU time: 132.264 s 47.98/48.02 c =============================================================================== 47.98/48.02 c | 5000 | 3949 29626 500244 | 9875 5000 686 | 37.397 % | 48.18/48.21 c =============================================================================== 48.18/48.21 c New solution: 76715 48.18/48.21 o 76715 48.18/48.21 c Elapsed CPU time: 47.9267 s Remaining CPU time: 132.073 s 48.18/48.21 c =============================================================================== 48.18/48.21 c | 5000 | 3949 29627 502494 | 9875 5000 686 | 37.397 % | 48.29/48.39 c =============================================================================== 48.29/48.39 c New solution: 76714 48.29/48.39 o 76714 48.29/48.39 c Elapsed CPU time: 48.1127 s Remaining CPU time: 131.887 s 48.29/48.39 c =============================================================================== 48.29/48.39 c | 5001 | 3949 29628 504744 | 9876 5001 686 | 37.397 % | 49.58/49.64 c | 5102 | 3949 29628 504744 | 10863 5102 687 | 37.397 % | 49.78/49.80 c =============================================================================== 49.78/49.80 c New solution: 76713 49.78/49.80 o 76713 49.78/49.80 c Elapsed CPU time: 49.5195 s Remaining CPU time: 130.481 s 49.78/49.80 c =============================================================================== 49.78/49.80 c | 5107 | 3949 29629 506994 | 9876 5107 687 | 37.397 % | 50.08/50.18 c =============================================================================== 50.08/50.18 c New solution: 76712 50.08/50.18 o 76712 50.08/50.18 c Elapsed CPU time: 49.8994 s Remaining CPU time: 130.101 s 50.08/50.18 c =============================================================================== 50.08/50.18 c | 5108 | 3949 29630 509244 | 9876 5108 687 | 37.397 % | 50.58/50.62 c =============================================================================== 50.58/50.62 c New solution: 76711 50.58/50.62 o 76711 50.58/50.62 c Elapsed CPU time: 50.3363 s Remaining CPU time: 129.664 s 50.58/50.62 c =============================================================================== 50.58/50.62 c | 5116 | 3949 29631 511494 | 9877 5116 687 | 37.397 % | 50.67/50.75 c =============================================================================== 50.67/50.75 c New solution: 76710 50.67/50.75 o 76710 50.67/50.75 c Elapsed CPU time: 50.4583 s Remaining CPU time: 129.542 s 50.67/50.75 c =============================================================================== 50.67/50.75 c | 5123 | 3949 29632 513744 | 9877 5123 687 | 37.397 % | 51.58/51.61 c =============================================================================== 51.58/51.61 c New solution: 76709 51.58/51.61 o 76709 51.58/51.61 c Elapsed CPU time: 51.3242 s Remaining CPU time: 128.676 s 51.58/51.61 c =============================================================================== 51.58/51.61 c | 5185 | 3949 29633 515994 | 9877 5185 687 | 37.397 % | 51.77/51.85 c =============================================================================== 51.77/51.85 c New solution: 75042 51.77/51.85 o 75042 51.77/51.85 c Elapsed CPU time: 51.5622 s Remaining CPU time: 128.438 s 51.77/51.85 c =============================================================================== 51.77/51.85 c | 5191 | 3949 29634 518244 | 9878 5191 687 | 37.397 % | 51.98/52.05 c =============================================================================== 51.98/52.05 c New solution: 74942 51.98/52.05 o 74942 51.98/52.05 c Elapsed CPU time: 51.7641 s Remaining CPU time: 128.236 s 51.98/52.05 c =============================================================================== 51.98/52.05 c | 5200 | 3949 29635 520494 | 9878 5200 687 | 37.397 % | 52.58/52.68 c =============================================================================== 52.58/52.68 c New solution: 74941 52.58/52.68 o 74941 52.58/52.68 c Elapsed CPU time: 52.388 s Remaining CPU time: 127.612 s 52.58/52.68 c =============================================================================== 52.58/52.68 c | 5295 | 3949 29636 522744 | 9878 5295 689 | 37.397 % | 52.88/52.93 c =============================================================================== 52.88/52.93 c New solution: 74940 52.88/52.93 o 74940 52.88/52.93 c Elapsed CPU time: 52.631 s Remaining CPU time: 127.369 s 52.88/52.93 c =============================================================================== 52.88/52.93 c | 5296 | 3949 29637 524994 | 9879 5296 689 | 37.397 % | 53.08/53.17 c =============================================================================== 53.08/53.17 c New solution: 74939 53.08/53.17 o 74939 53.08/53.17 c Elapsed CPU time: 52.876 s Remaining CPU time: 127.124 s 53.08/53.17 c =============================================================================== 53.08/53.17 c | 5296 | 3949 29638 527244 | 9879 5296 689 | 37.397 % | 53.37/53.42 c =============================================================================== 53.37/53.42 c New solution: 74938 53.37/53.42 o 74938 53.37/53.42 c Elapsed CPU time: 53.1219 s Remaining CPU time: 126.878 s 53.37/53.42 c =============================================================================== 53.37/53.42 c | 5296 | 3949 29639 529494 | 9879 5296 689 | 37.397 % | 53.57/53.66 c =============================================================================== 53.57/53.66 c New solution: 74937 53.57/53.66 o 74937 53.57/53.66 c Elapsed CPU time: 53.3639 s Remaining CPU time: 126.636 s 53.57/53.66 c =============================================================================== 53.57/53.66 c | 5296 | 3949 29640 531744 | 9880 5296 689 | 37.397 % | 53.89/53.91 c =============================================================================== 53.89/53.91 c New solution: 74936 53.89/53.91 o 74936 53.89/53.91 c Elapsed CPU time: 53.6048 s Remaining CPU time: 126.395 s 53.89/53.91 c =============================================================================== 53.89/53.91 c | 5296 | 3949 29641 533994 | 9880 5296 689 | 37.397 % | 54.08/54.15 c =============================================================================== 54.08/54.15 c New solution: 74935 54.08/54.15 o 74935 54.08/54.15 c Elapsed CPU time: 53.8448 s Remaining CPU time: 126.155 s 54.08/54.15 c =============================================================================== 54.08/54.15 c | 5296 | 3949 29642 536244 | 9880 5296 689 | 37.397 % | 54.28/54.39 c =============================================================================== 54.28/54.39 c New solution: 74934 54.28/54.39 o 74934 54.28/54.39 c Elapsed CPU time: 54.0838 s Remaining CPU time: 125.916 s 54.28/54.39 c =============================================================================== 54.28/54.39 c | 5296 | 3949 29643 538494 | 9881 5296 689 | 37.397 % | 54.58/54.61 c =============================================================================== 54.58/54.61 c New solution: 74933 54.58/54.61 o 74933 54.58/54.61 c Elapsed CPU time: 54.3037 s Remaining CPU time: 125.696 s 54.58/54.61 c =============================================================================== 54.58/54.61 c | 5299 | 3949 29644 540744 | 9881 5299 689 | 37.397 % | 54.88/54.91 c =============================================================================== 54.88/54.91 c New solution: 74932 54.88/54.91 o 74932 54.88/54.91 c Elapsed CPU time: 54.6017 s Remaining CPU time: 125.398 s 54.88/54.91 c =============================================================================== 54.88/54.91 c | 5302 | 3949 29645 542994 | 9881 5302 689 | 37.397 % | 55.08/55.17 c =============================================================================== 55.08/55.17 c New solution: 74931 55.08/55.17 o 74931 55.08/55.17 c Elapsed CPU time: 54.8677 s Remaining CPU time: 125.132 s 55.08/55.17 c =============================================================================== 55.08/55.17 c | 5302 | 3949 29646 545244 | 9882 5302 689 | 37.397 % | 55.37/55.44 c =============================================================================== 55.37/55.44 c New solution: 74930 55.37/55.44 o 74930 55.37/55.44 c Elapsed CPU time: 55.1336 s Remaining CPU time: 124.866 s 55.37/55.44 c =============================================================================== 55.37/55.44 c | 5302 | 3949 29647 547494 | 9882 5302 689 | 37.397 % | 55.68/55.71 c =============================================================================== 55.68/55.71 c New solution: 74929 55.68/55.71 o 74929 55.68/55.71 c Elapsed CPU time: 55.3956 s Remaining CPU time: 124.604 s 55.68/55.71 c =============================================================================== 55.68/55.71 c | 5302 | 3949 29648 549744 | 9882 5302 689 | 37.397 % | 55.88/55.97 c =============================================================================== 55.88/55.97 c New solution: 74928 55.88/55.97 o 74928 55.88/55.97 c Elapsed CPU time: 55.6585 s Remaining CPU time: 124.341 s 55.88/55.97 c =============================================================================== 55.88/55.97 c | 5302 | 3949 29649 551994 | 9883 5302 689 | 37.397 % | 56.18/56.24 c =============================================================================== 56.18/56.24 c New solution: 74926 56.18/56.24 o 74926 56.18/56.24 c Elapsed CPU time: 55.9285 s Remaining CPU time: 124.072 s 56.18/56.24 c =============================================================================== 56.18/56.24 c | 5302 | 3949 29650 554244 | 9883 5302 689 | 37.397 % | 56.38/56.47 c =============================================================================== 56.38/56.47 c New solution: 74925 56.38/56.47 o 74925 56.38/56.47 c Elapsed CPU time: 56.1615 s Remaining CPU time: 123.839 s 56.38/56.47 c =============================================================================== 56.38/56.47 c | 5302 | 3949 29651 556494 | 9883 5302 689 | 37.397 % | 56.68/56.73 c =============================================================================== 56.68/56.73 c New solution: 74924 56.68/56.73 o 74924 56.68/56.73 c Elapsed CPU time: 56.4174 s Remaining CPU time: 123.583 s 56.68/56.73 c =============================================================================== 56.68/56.73 c | 5302 | 3949 29652 558744 | 9884 5302 689 | 37.397 % | 56.88/56.99 c =============================================================================== 56.88/56.99 c New solution: 74923 56.88/56.99 o 74923 56.88/56.99 c Elapsed CPU time: 56.6784 s Remaining CPU time: 123.322 s 56.88/56.99 c =============================================================================== 56.88/56.99 c | 5305 | 3949 29653 560994 | 9884 5305 689 | 37.397 % | 57.19/57.29 c =============================================================================== 57.19/57.29 c New solution: 74922 57.19/57.29 o 74922 57.19/57.29 c Elapsed CPU time: 56.9763 s Remaining CPU time: 123.024 s 57.19/57.29 c =============================================================================== 57.19/57.29 c | 5313 | 3949 29654 563244 | 9884 5313 689 | 37.397 % | 57.47/57.53 c =============================================================================== 57.47/57.53 c New solution: 74921 57.47/57.53 o 74921 57.47/57.53 c Elapsed CPU time: 57.2153 s Remaining CPU time: 122.785 s 57.47/57.53 c =============================================================================== 57.47/57.53 c | 5317 | 3949 29655 565494 | 9885 5317 689 | 37.397 % | 58.48/58.58 c | 5417 | 3949 29655 565494 | 10873 5417 690 | 37.397 % | 58.88/58.90 c =============================================================================== 58.88/58.90 c New solution: 74920 58.88/58.90 o 74920 58.88/58.90 c Elapsed CPU time: 58.5851 s Remaining CPU time: 121.415 s 58.88/58.90 c =============================================================================== 58.88/58.90 c | 5432 | 3949 29656 567744 | 9885 5432 691 | 37.397 % | 59.39/59.48 c =============================================================================== 59.39/59.48 c New solution: 74919 59.39/59.48 o 74919 59.39/59.48 c Elapsed CPU time: 59.157 s Remaining CPU time: 120.843 s 59.39/59.48 c =============================================================================== 59.39/59.48 c | 5469 | 3949 29657 569994 | 9885 5469 691 | 37.397 % | 59.68/59.79 c =============================================================================== 59.68/59.79 c New solution: 73201 59.68/59.79 o 73201 59.68/59.79 c Elapsed CPU time: 59.467 s Remaining CPU time: 120.533 s 59.68/59.79 c =============================================================================== 59.68/59.79 c | 5477 | 3949 29658 572244 | 9886 5477 691 | 37.397 % | 60.08/60.11 c =============================================================================== 60.08/60.11 c New solution: 73166 60.08/60.11 o 73166 60.08/60.11 c Elapsed CPU time: 59.7869 s Remaining CPU time: 120.213 s 60.08/60.11 c =============================================================================== 60.08/60.11 c | 5479 | 3949 29659 574494 | 9886 5479 691 | 37.397 % | 60.18/60.29 c =============================================================================== 60.18/60.29 c New solution: 73141 60.18/60.29 o 73141 60.18/60.29 c Elapsed CPU time: 59.9589 s Remaining CPU time: 120.041 s 60.18/60.29 c =============================================================================== 60.18/60.29 c | 5487 | 3949 29660 576744 | 9886 5487 691 | 37.397 % | 60.38/60.49 c =============================================================================== 60.38/60.49 c New solution: 73140 60.38/60.49 o 73140 60.38/60.49 c Elapsed CPU time: 60.1649 s Remaining CPU time: 119.835 s 60.38/60.49 c =============================================================================== 60.38/60.49 c | 5488 | 3949 29661 578994 | 9887 5488 691 | 37.397 % | 60.67/60.71 c =============================================================================== 60.67/60.71 c New solution: 73139 60.67/60.71 o 73139 60.67/60.71 c Elapsed CPU time: 60.3788 s Remaining CPU time: 119.621 s 60.67/60.71 c =============================================================================== 60.67/60.71 c | 5489 | 3949 29662 581244 | 9887 5489 691 | 37.397 % | 60.88/60.91 c =============================================================================== 60.88/60.91 c New solution: 73138 60.88/60.91 o 73138 60.88/60.91 c Elapsed CPU time: 60.5778 s Remaining CPU time: 119.422 s 60.88/60.91 c =============================================================================== 60.88/60.91 c | 5490 | 3949 29663 583494 | 9887 5490 691 | 37.397 % | 61.08/61.11 c =============================================================================== 61.08/61.11 c New solution: 73137 61.08/61.11 o 73137 61.08/61.11 c Elapsed CPU time: 60.7778 s Remaining CPU time: 119.222 s 61.08/61.11 c =============================================================================== 61.08/61.11 c | 5491 | 3949 29664 585744 | 9888 5491 691 | 37.397 % | 61.28/61.38 c =============================================================================== 61.28/61.38 c New solution: 73124 61.28/61.38 o 73124 61.28/61.38 c Elapsed CPU time: 61.0487 s Remaining CPU time: 118.951 s 61.28/61.38 c =============================================================================== 61.28/61.38 c | 5491 | 3949 29665 587994 | 9888 5491 691 | 37.397 % | 61.58/61.64 c =============================================================================== 61.58/61.64 c New solution: 73119 61.58/61.64 o 73119 61.58/61.64 c Elapsed CPU time: 61.3067 s Remaining CPU time: 118.693 s 61.58/61.64 c =============================================================================== 61.58/61.64 c | 5491 | 3949 29666 590244 | 9888 5491 691 | 37.397 % | 61.88/61.90 c =============================================================================== 61.88/61.90 c New solution: 73118 61.88/61.90 o 73118 61.88/61.90 c Elapsed CPU time: 61.5646 s Remaining CPU time: 118.435 s 61.88/61.90 c =============================================================================== 61.88/61.90 c | 5491 | 3949 29667 592494 | 9889 5491 691 | 37.397 % | 62.08/62.15 c =============================================================================== 62.08/62.15 c New solution: 73117 62.08/62.15 o 73117 62.08/62.15 c Elapsed CPU time: 61.8196 s Remaining CPU time: 118.18 s 62.08/62.15 c =============================================================================== 62.08/62.15 c | 5491 | 3949 29668 594744 | 9889 5491 691 | 37.397 % | 62.38/62.41 c =============================================================================== 62.38/62.41 c New solution: 73116 62.38/62.41 o 73116 62.38/62.41 c Elapsed CPU time: 62.0716 s Remaining CPU time: 117.928 s 62.38/62.41 c =============================================================================== 62.38/62.41 c | 5492 | 3949 29669 596994 | 9889 5492 691 | 37.397 % | 62.58/62.66 c =============================================================================== 62.58/62.66 c New solution: 73114 62.58/62.66 o 73114 62.58/62.66 c Elapsed CPU time: 62.3175 s Remaining CPU time: 117.682 s 62.58/62.66 c =============================================================================== 62.58/62.66 c | 5492 | 3949 29670 599244 | 9890 5492 691 | 37.397 % | 62.77/62.86 c =============================================================================== 62.77/62.86 c New solution: 73113 62.77/62.86 o 73113 62.77/62.86 c Elapsed CPU time: 62.5185 s Remaining CPU time: 117.482 s 62.77/62.86 c =============================================================================== 62.77/62.86 c | 5495 | 3949 29671 601494 | 9890 5495 691 | 37.397 % | 62.98/63.06 c =============================================================================== 62.98/63.06 c New solution: 73112 62.98/63.06 o 73112 62.98/63.06 c Elapsed CPU time: 62.7215 s Remaining CPU time: 117.279 s 62.98/63.06 c =============================================================================== 62.98/63.06 c | 5497 | 3949 29672 603744 | 9890 5497 691 | 37.397 % | 63.18/63.24 c =============================================================================== 63.18/63.24 c New solution: 73111 63.18/63.24 o 73111 63.18/63.24 c Elapsed CPU time: 62.8984 s Remaining CPU time: 117.102 s 63.18/63.24 c =============================================================================== 63.18/63.24 c | 5498 | 3949 29673 605994 | 9891 5498 691 | 37.397 % | 64.28/64.32 c | 5598 | 3949 29673 605994 | 10880 5598 692 | 37.397 % | 66.08/66.17 c | 5748 | 3949 29673 605994 | 11968 5748 694 | 37.397 % | 66.88/66.99 c =============================================================================== 66.88/66.99 c New solution: 73110 66.88/66.99 o 73110 66.88/66.99 c Elapsed CPU time: 66.6429 s Remaining CPU time: 113.357 s 66.88/66.99 c =============================================================================== 66.88/66.99 c | 5799 | 3949 29674 608244 | 9891 5799 695 | 37.397 % | 68.08/68.10 c | 5899 | 3949 29674 608244 | 10880 5899 696 | 37.397 % | 68.37/68.44 c =============================================================================== 68.37/68.44 c New solution: 73109 68.37/68.44 o 73109 68.37/68.44 c Elapsed CPU time: 68.0926 s Remaining CPU time: 111.907 s 68.37/68.44 c =============================================================================== 68.37/68.44 c | 5941 | 3949 29675 610494 | 9891 5941 696 | 37.397 % | 68.77/68.85 c =============================================================================== 68.77/68.85 c New solution: 73108 68.77/68.85 o 73108 68.77/68.85 c Elapsed CPU time: 68.4986 s Remaining CPU time: 111.501 s 68.77/68.85 c =============================================================================== 68.77/68.85 c | 5942 | 3949 29676 612744 | 9892 5942 695 | 37.397 % | 69.28/69.34 c =============================================================================== 69.28/69.34 c New solution: 73107 69.28/69.34 o 73107 69.28/69.34 c Elapsed CPU time: 68.9895 s Remaining CPU time: 111.01 s 69.28/69.34 c =============================================================================== 69.28/69.34 c | 5943 | 3949 29677 614994 | 9892 5943 695 | 37.397 % | 70.57/70.61 c | 6043 | 3949 29677 614994 | 10881 6043 697 | 37.397 % | 70.67/70.75 c =============================================================================== 70.67/70.75 c New solution: 73106 70.67/70.75 o 73106 70.67/70.75 c Elapsed CPU time: 70.3973 s Remaining CPU time: 109.603 s 70.67/70.75 c =============================================================================== 70.67/70.75 c | 6053 | 3949 29678 617244 | 9892 6053 696 | 37.397 % | 70.87/70.96 c =============================================================================== 70.87/70.96 c New solution: 73105 70.87/70.96 o 73105 70.87/70.96 c Elapsed CPU time: 70.6073 s Remaining CPU time: 109.393 s 70.87/70.96 c =============================================================================== 70.87/70.96 c | 6060 | 3949 29679 619494 | 9893 6060 696 | 37.397 % | 71.17/71.22 c =============================================================================== 71.17/71.22 c New solution: 73104 71.17/71.22 o 73104 71.17/71.22 c Elapsed CPU time: 70.8732 s Remaining CPU time: 109.127 s 71.17/71.22 c =============================================================================== 71.17/71.22 c | 6072 | 3949 29680 621744 | 9893 6072 696 | 37.397 % | 71.38/71.48 c =============================================================================== 71.38/71.48 c New solution: 73103 71.38/71.48 o 73103 71.38/71.48 c Elapsed CPU time: 71.1232 s Remaining CPU time: 108.877 s 71.38/71.48 c =============================================================================== 71.38/71.48 c | 6073 | 3949 29681 623994 | 9893 6073 696 | 37.397 % | 72.59/72.68 c | 6174 | 3949 29681 623994 | 10883 6174 697 | 37.397 % | 74.38/74.41 c | 6326 | 3949 29681 623994 | 11971 6326 699 | 37.397 % | 74.58/74.65 c =============================================================================== 74.58/74.65 c New solution: 73102 74.58/74.65 o 73102 74.58/74.65 c Elapsed CPU time: 74.2887 s Remaining CPU time: 105.711 s 74.58/74.65 c =============================================================================== 74.58/74.65 c | 6334 | 3949 29682 626244 | 9894 6334 699 | 37.397 % | 74.88/74.91 c =============================================================================== 74.88/74.91 c New solution: 73101 74.88/74.91 o 73101 74.88/74.91 c Elapsed CPU time: 74.5527 s Remaining CPU time: 105.447 s 74.88/74.91 c =============================================================================== 74.88/74.91 c | 6336 | 3949 29683 628494 | 9894 6336 699 | 37.397 % | 75.27/75.39 c =============================================================================== 75.27/75.39 c New solution: 73100 75.27/75.39 o 73100 75.27/75.39 c Elapsed CPU time: 75.0316 s Remaining CPU time: 104.968 s 75.27/75.39 c =============================================================================== 75.27/75.39 c | 6336 | 3949 29684 630744 | 9894 6336 699 | 37.397 % | 75.78/75.85 c =============================================================================== 75.78/75.85 c New solution: 73099 75.78/75.85 o 73099 75.78/75.85 c Elapsed CPU time: 75.4925 s Remaining CPU time: 104.507 s 75.78/75.85 c =============================================================================== 75.78/75.85 c | 6337 | 3949 29685 632994 | 9895 6337 699 | 37.397 % | 76.27/76.31 c =============================================================================== 76.27/76.31 c New solution: 73098 76.27/76.31 o 73098 76.27/76.31 c Elapsed CPU time: 75.9545 s Remaining CPU time: 104.046 s 76.27/76.31 c =============================================================================== 76.27/76.31 c | 6339 | 3949 29686 635244 | 9895 6339 699 | 37.397 % | 76.67/76.78 c =============================================================================== 76.67/76.78 c New solution: 73097 76.67/76.78 o 73097 76.67/76.78 c Elapsed CPU time: 76.4224 s Remaining CPU time: 103.578 s 76.67/76.78 c =============================================================================== 76.67/76.78 c | 6341 | 3949 29687 637494 | 9895 6341 699 | 37.397 % | 76.98/77.05 c =============================================================================== 76.98/77.05 c New solution: 73096 76.98/77.05 o 73096 76.98/77.05 c Elapsed CPU time: 76.6933 s Remaining CPU time: 103.307 s 76.98/77.05 c =============================================================================== 76.98/77.05 c | 6344 | 3949 29688 639744 | 9896 6344 698 | 37.397 % | 78.47/78.55 c | 6444 | 3949 29688 639744 | 10885 6444 699 | 37.397 % | 78.77/78.86 c =============================================================================== 78.77/78.86 c New solution: 73095 78.77/78.86 o 73095 78.77/78.86 c Elapsed CPU time: 78.5021 s Remaining CPU time: 101.498 s 78.77/78.86 c =============================================================================== 78.77/78.86 c | 6454 | 3949 29689 641994 | 9896 6454 699 | 37.397 % | 79.08/79.10 c =============================================================================== 79.08/79.10 c New solution: 73094 79.08/79.10 o 73094 79.08/79.10 c Elapsed CPU time: 78.738 s Remaining CPU time: 101.262 s 79.08/79.10 c =============================================================================== 79.08/79.10 c | 6457 | 3949 29690 644244 | 9896 6457 699 | 37.397 % | 80.77/80.81 c | 6557 | 3949 29690 644244 | 10886 6557 700 | 37.397 % | 82.38/82.40 c | 6708 | 3949 29690 644244 | 11974 6708 701 | 37.397 % | 82.57/82.69 c =============================================================================== 82.57/82.69 c New solution: 73093 82.57/82.69 o 73093 82.57/82.69 c Elapsed CPU time: 82.3195 s Remaining CPU time: 97.6805 s 82.57/82.69 c =============================================================================== 82.57/82.69 c | 6710 | 3949 29691 646494 | 9897 6710 701 | 37.397 % | 83.48/83.54 c | 6810 | 3949 29691 646494 | 10886 6810 701 | 37.397 % | 84.07/84.11 c =============================================================================== 84.07/84.11 c New solution: 73092 84.07/84.11 o 73092 84.07/84.11 c Elapsed CPU time: 83.7363 s Remaining CPU time: 96.2637 s 84.07/84.11 c =============================================================================== 84.07/84.11 c | 6813 | 3949 29692 648744 | 9897 6813 701 | 37.397 % | 84.17/84.29 c =============================================================================== 84.17/84.29 c New solution: 73091 84.17/84.29 o 73091 84.17/84.29 c Elapsed CPU time: 83.9162 s Remaining CPU time: 96.0838 s 84.17/84.29 c =============================================================================== 84.17/84.29 c | 6820 | 3949 29693 650994 | 9897 6820 701 | 37.397 % | 85.37/85.40 c =============================================================================== 85.37/85.40 c New solution: 73090 85.37/85.40 o 73090 85.37/85.40 c Elapsed CPU time: 85.0241 s Remaining CPU time: 94.9759 s 85.37/85.40 c =============================================================================== 85.37/85.40 c | 6881 | 3949 29694 653244 | 9898 6881 702 | 37.397 % | 86.67/86.73 c | 6982 | 3949 29694 653244 | 10887 6982 702 | 37.397 % | 88.17/88.23 c | 7133 | 3949 29694 653244 | 11976 7133 703 | 37.397 % | 88.97/89.01 c =============================================================================== 88.97/89.01 c New solution: 73089 88.97/89.01 o 73089 88.97/89.01 c Elapsed CPU time: 88.6265 s Remaining CPU time: 91.3735 s 88.97/89.01 c =============================================================================== 88.97/89.01 c | 7158 | 3949 29695 655494 | 9898 7158 703 | 37.397 % | 89.67/89.74 c =============================================================================== 89.67/89.74 c New solution: 73088 89.67/89.74 o 73088 89.67/89.74 c Elapsed CPU time: 89.3484 s Remaining CPU time: 90.6516 s 89.67/89.74 c =============================================================================== 89.67/89.74 c | 7221 | 3949 29696 657744 | 9898 7221 703 | 37.397 % | 89.87/89.94 c =============================================================================== 89.87/89.94 c New solution: 73087 89.87/89.94 o 73087 89.87/89.94 c Elapsed CPU time: 89.5464 s Remaining CPU time: 90.4536 s 89.87/89.94 c =============================================================================== 89.87/89.94 c | 7222 | 3949 29697 659994 | 9899 7222 703 | 37.397 % | 91.47/91.51 c | 7322 | 3949 29697 659994 | 10888 7322 703 | 37.397 % | 91.57/91.66 c =============================================================================== 91.57/91.66 c New solution: 73086 91.57/91.66 o 73086 91.57/91.66 c Elapsed CPU time: 91.2661 s Remaining CPU time: 88.7339 s 91.57/91.66 c =============================================================================== 91.57/91.66 c | 7334 | 3949 29698 662244 | 9899 7334 703 | 37.397 % | 92.87/92.98 c | 7434 | 3949 29698 662244 | 10889 7434 704 | 37.397 % | 93.07/93.15 c =============================================================================== 93.07/93.15 c New solution: 73085 93.07/93.15 o 73085 93.07/93.15 c Elapsed CPU time: 92.7519 s Remaining CPU time: 87.2481 s 93.07/93.15 c =============================================================================== 93.07/93.15 c | 7438 | 3949 29699 664494 | 9899 7438 704 | 37.397 % | 94.16/94.23 c | 7538 | 3949 29699 664494 | 10889 7538 704 | 37.397 % | 96.26/96.35 c | 7688 | 3949 29699 664494 | 11978 7688 705 | 37.397 % | 96.57/96.62 c =============================================================================== 96.57/96.62 c New solution: 73084 96.57/96.62 o 73084 96.57/96.62 c Elapsed CPU time: 96.2204 s Remaining CPU time: 83.7796 s 96.57/96.62 c =============================================================================== 96.57/96.62 c | 7713 | 3949 29700 666744 | 9900 7713 705 | 37.397 % | 97.88/97.99 c | 7813 | 3949 29700 666744 | 10890 7813 705 | 37.397 % | 98.47/98.53 c =============================================================================== 98.47/98.53 c New solution: 73083 98.47/98.53 o 73083 98.47/98.53 c Elapsed CPU time: 98.1281 s Remaining CPU time: 81.8719 s 98.47/98.53 c =============================================================================== 98.47/98.53 c | 7866 | 3949 29701 668994 | 9900 7866 705 | 37.397 % | 98.67/98.73 c =============================================================================== 98.67/98.73 c New solution: 73082 98.67/98.73 o 73082 98.67/98.73 c Elapsed CPU time: 98.3261 s Remaining CPU time: 81.6739 s 98.67/98.73 c =============================================================================== 98.67/98.73 c | 7880 | 3949 29702 671244 | 9900 7880 705 | 37.397 % | 98.88/98.91 c =============================================================================== 98.88/98.91 c New solution: 73081 98.88/98.91 o 73081 98.88/98.91 c Elapsed CPU time: 98.503 s Remaining CPU time: 81.497 s 98.88/98.91 c =============================================================================== 98.88/98.91 c | 7880 | 3949 29703 673494 | 9901 7880 705 | 37.397 % | 98.98/99.08 c =============================================================================== 98.98/99.08 c New solution: 73080 98.98/99.08 o 73080 98.98/99.08 c Elapsed CPU time: 98.679 s Remaining CPU time: 81.321 s 98.98/99.08 c =============================================================================== 98.98/99.08 c | 7880 | 3949 29704 675744 | 9901 7880 705 | 37.397 % | 99.17/99.27 c =============================================================================== 99.17/99.27 c New solution: 73079 99.17/99.27 o 73079 99.17/99.27 c Elapsed CPU time: 98.864 s Remaining CPU time: 81.136 s 99.17/99.27 c =============================================================================== 99.17/99.27 c | 7881 | 3949 29705 677994 | 9901 7881 705 | 37.397 % | 99.37/99.47 c =============================================================================== 99.37/99.47 c New solution: 73078 99.37/99.47 o 73078 99.37/99.47 c Elapsed CPU time: 99.0639 s Remaining CPU time: 80.9361 s 99.37/99.47 c =============================================================================== 99.37/99.47 c | 7882 | 3949 29706 680244 | 9902 7882 705 | 37.397 % | 101.07/101.17 c | 7982 | 3949 29706 680244 | 10892 7982 706 | 37.397 % | 101.26/101.31 c =============================================================================== 101.26/101.31 c New solution: 73077 101.26/101.31 o 73077 101.26/101.31 c Elapsed CPU time: 100.899 s Remaining CPU time: 79.1013 s 101.26/101.31 c =============================================================================== 101.26/101.31 c | 7990 | 3949 29707 682494 | 9902 7990 705 | 37.397 % | 102.46/102.50 c | 8090 | 3949 29707 682494 | 10892 8090 706 | 37.397 % | 102.96/103.01 c =============================================================================== 102.96/103.01 c New solution: 73076 102.96/103.01 o 73076 102.96/103.01 c Elapsed CPU time: 102.6 s Remaining CPU time: 77.3996 s 102.96/103.01 c =============================================================================== 102.96/103.01 c | 8090 | 3949 29708 684744 | 9902 8090 706 | 37.397 % | 103.47/103.54 c =============================================================================== 103.47/103.54 c New solution: 73075 103.47/103.54 o 73075 103.47/103.54 c Elapsed CPU time: 103.124 s Remaining CPU time: 76.8757 s 103.47/103.54 c =============================================================================== 103.47/103.54 c | 8091 | 3949 29709 686994 | 9903 8091 706 | 37.397 % | 104.17/104.29 c =============================================================================== 104.17/104.29 c New solution: 73074 104.17/104.29 o 73074 104.17/104.29 c Elapsed CPU time: 103.878 s Remaining CPU time: 76.1218 s 104.17/104.29 c =============================================================================== 104.17/104.29 c | 8139 | 3949 29710 689244 | 9903 8139 706 | 37.397 % | 104.47/104.53 c =============================================================================== 104.47/104.53 c New solution: 73073 104.47/104.53 o 73073 104.47/104.53 c Elapsed CPU time: 104.111 s Remaining CPU time: 75.8888 s 104.47/104.53 c =============================================================================== 104.47/104.53 c | 8141 | 3949 29711 691494 | 9903 8141 706 | 37.397 % | 104.97/105.06 c =============================================================================== 104.97/105.06 c New solution: 73072 104.97/105.06 o 73072 104.97/105.06 c Elapsed CPU time: 104.643 s Remaining CPU time: 75.3569 s 104.97/105.06 c =============================================================================== 104.97/105.06 c | 8183 | 3949 29712 693744 | 9904 8183 706 | 37.397 % | 105.06/105.18 c =============================================================================== 105.06/105.18 c New solution: 73071 105.06/105.18 o 73071 105.06/105.18 c Elapsed CPU time: 104.761 s Remaining CPU time: 75.2389 s 105.06/105.18 c =============================================================================== 105.06/105.18 c | 8189 | 3949 29713 695994 | 9904 8189 706 | 37.397 % | 106.46/106.59 c | 8289 | 3949 29713 695994 | 10894 8289 706 | 37.397 % | 106.76/106.89 c =============================================================================== 106.76/106.89 c New solution: 71328 106.76/106.89 o 71328 106.76/106.89 c Elapsed CPU time: 106.465 s Remaining CPU time: 73.5352 s 106.76/106.89 c =============================================================================== 106.76/106.89 c | 8296 | 3949 29714 698244 | 9904 8296 706 | 37.397 % | 107.07/107.11 c =============================================================================== 107.07/107.11 c New solution: 71327 107.07/107.11 o 71327 107.07/107.11 c Elapsed CPU time: 106.686 s Remaining CPU time: 73.3142 s 107.07/107.11 c =============================================================================== 107.07/107.11 c | 8302 | 3949 29715 700494 | 9905 8302 706 | 37.397 % | 107.37/107.44 c =============================================================================== 107.37/107.44 c New solution: 71320 107.37/107.44 o 71320 107.37/107.44 c Elapsed CPU time: 107.018 s Remaining CPU time: 72.9823 s 107.37/107.44 c =============================================================================== 107.37/107.44 c | 8305 | 3949 29716 702744 | 9905 8305 706 | 37.397 % | 107.77/107.82 c =============================================================================== 107.77/107.82 c New solution: 71319 107.77/107.82 o 71319 107.77/107.82 c Elapsed CPU time: 107.394 s Remaining CPU time: 72.6063 s 107.77/107.82 c =============================================================================== 107.77/107.82 c | 8309 | 3949 29717 704994 | 9905 8309 706 | 37.397 % | 108.16/108.28 c =============================================================================== 108.16/108.28 c New solution: 71318 108.16/108.28 o 71318 108.16/108.28 c Elapsed CPU time: 107.85 s Remaining CPU time: 72.1504 s 108.16/108.28 c =============================================================================== 108.16/108.28 c | 8336 | 3949 29718 707244 | 9906 8336 706 | 37.397 % | 108.56/108.61 c =============================================================================== 108.56/108.61 c New solution: 71317 108.56/108.61 o 71317 108.56/108.61 c Elapsed CPU time: 108.179 s Remaining CPU time: 71.8214 s 108.56/108.61 c =============================================================================== 108.56/108.61 c | 8346 | 3949 29719 709494 | 9906 8346 706 | 37.397 % | 109.06/109.11 c =============================================================================== 109.06/109.11 c New solution: 71312 109.06/109.11 o 71312 109.06/109.11 c Elapsed CPU time: 108.674 s Remaining CPU time: 71.3255 s 109.06/109.11 c =============================================================================== 109.06/109.11 c | 8347 | 3949 29720 711744 | 9906 8347 706 | 37.397 % | 109.47/109.50 c =============================================================================== 109.47/109.50 c New solution: 71311 109.47/109.50 o 71311 109.47/109.50 c Elapsed CPU time: 109.07 s Remaining CPU time: 70.9296 s 109.47/109.50 c =============================================================================== 109.47/109.50 c | 8348 | 3949 29721 713994 | 9907 8348 706 | 37.397 % | 109.67/109.79 c =============================================================================== 109.67/109.79 c New solution: 71294 109.67/109.79 o 71294 109.67/109.79 c Elapsed CPU time: 109.353 s Remaining CPU time: 70.6466 s 109.67/109.79 c =============================================================================== 109.67/109.79 c | 8352 | 3949 29722 716244 | 9907 8352 706 | 37.397 % | 110.27/110.30 c =============================================================================== 110.27/110.30 c New solution: 71293 110.27/110.30 o 71293 110.27/110.30 c Elapsed CPU time: 109.863 s Remaining CPU time: 70.1367 s 110.27/110.30 c =============================================================================== 110.27/110.30 c | 8365 | 3949 29723 718494 | 9907 8365 706 | 37.397 % | 110.66/110.74 c =============================================================================== 110.66/110.74 c New solution: 69594 110.66/110.74 o 69594 110.66/110.74 c Elapsed CPU time: 110.308 s Remaining CPU time: 69.6918 s 110.66/110.74 c =============================================================================== 110.66/110.74 c | 8378 | 3949 29724 720744 | 9908 8378 706 | 37.397 % | 110.97/111.01 c =============================================================================== 110.97/111.01 c New solution: 69501 110.97/111.01 o 69501 110.97/111.01 c Elapsed CPU time: 110.569 s Remaining CPU time: 69.4308 s 110.97/111.01 c =============================================================================== 110.97/111.01 c | 8378 | 3949 29725 722994 | 9908 8378 706 | 37.397 % | 111.16/111.27 c =============================================================================== 111.16/111.27 c New solution: 69493 111.16/111.27 o 69493 111.16/111.27 c Elapsed CPU time: 110.835 s Remaining CPU time: 69.1649 s 111.16/111.27 c =============================================================================== 111.16/111.27 c | 8378 | 3949 29726 725244 | 9908 8378 706 | 37.397 % | 111.46/111.51 c =============================================================================== 111.46/111.51 c New solution: 69482 111.46/111.51 o 69482 111.46/111.51 c Elapsed CPU time: 111.071 s Remaining CPU time: 68.9289 s 111.46/111.51 c =============================================================================== 111.46/111.51 c | 8382 | 3949 29727 727494 | 9909 8382 706 | 37.397 % | 111.66/111.74 c =============================================================================== 111.66/111.74 c New solution: 69481 111.66/111.74 o 69481 111.66/111.74 c Elapsed CPU time: 111.294 s Remaining CPU time: 68.7059 s 111.66/111.74 c =============================================================================== 111.66/111.74 c | 8384 | 3949 29728 729744 | 9909 8384 706 | 37.397 % | 111.96/112.00 c =============================================================================== 111.96/112.00 c New solution: 69480 111.96/112.00 o 69480 111.96/112.00 c Elapsed CPU time: 111.558 s Remaining CPU time: 68.442 s 111.96/112.00 c =============================================================================== 111.96/112.00 c | 8384 | 3949 29729 731994 | 9909 8384 706 | 37.397 % | 112.26/112.30 c =============================================================================== 112.26/112.30 c New solution: 69479 112.26/112.30 o 69479 112.26/112.30 c Elapsed CPU time: 111.854 s Remaining CPU time: 68.146 s 112.26/112.30 c =============================================================================== 112.26/112.30 c | 8388 | 3949 29730 734244 | 9910 8388 706 | 37.397 % | 112.87/112.97 c =============================================================================== 112.87/112.97 c New solution: 67775 112.87/112.97 o 67775 112.87/112.97 c Elapsed CPU time: 112.525 s Remaining CPU time: 67.4751 s 112.87/112.97 c =============================================================================== 112.87/112.97 c | 8415 | 3949 29731 736494 | 9910 8415 706 | 37.397 % | 113.37/113.49 c =============================================================================== 113.37/113.49 c New solution: 67682 113.37/113.49 o 67682 113.37/113.49 c Elapsed CPU time: 113.049 s Remaining CPU time: 66.9512 s 113.37/113.49 c =============================================================================== 113.37/113.49 c | 8417 | 3949 29732 738744 | 9910 8417 706 | 37.397 % | 114.06/114.11 c =============================================================================== 114.06/114.11 c New solution: 67669 114.06/114.11 o 67669 114.06/114.11 c Elapsed CPU time: 113.665 s Remaining CPU time: 66.3353 s 114.06/114.11 c =============================================================================== 114.06/114.11 c | 8417 | 3949 29733 740994 | 9911 8417 706 | 37.397 % | 114.66/114.72 c =============================================================================== 114.66/114.72 c New solution: 67668 114.66/114.72 o 67668 114.66/114.72 c Elapsed CPU time: 114.27 s Remaining CPU time: 65.7304 s 114.66/114.72 c =============================================================================== 114.66/114.72 c | 8417 | 3949 29734 743244 | 9911 8417 706 | 37.397 % | 115.26/115.33 c =============================================================================== 115.26/115.33 c New solution: 67667 115.26/115.33 o 67667 115.26/115.33 c Elapsed CPU time: 114.881 s Remaining CPU time: 65.1195 s 115.26/115.33 c =============================================================================== 115.26/115.33 c | 8418 | 3949 29735 745494 | 9911 8418 706 | 37.397 % | 115.76/115.88 c =============================================================================== 115.76/115.88 c New solution: 67666 115.76/115.88 o 67666 115.76/115.88 c Elapsed CPU time: 115.432 s Remaining CPU time: 64.5675 s 115.76/115.88 c =============================================================================== 115.76/115.88 c | 8419 | 3949 29736 747744 | 9912 8419 706 | 37.397 % | 116.57/116.61 c =============================================================================== 116.57/116.61 c New solution: 67665 116.57/116.61 o 67665 116.57/116.61 c Elapsed CPU time: 116.16 s Remaining CPU time: 63.8397 s 116.57/116.61 c =============================================================================== 116.57/116.61 c | 8432 | 3949 29737 749994 | 9912 8432 706 | 37.397 % | 118.36/118.44 c | 8532 | 3949 29737 749994 | 10903 8532 706 | 37.397 % | 121.57/121.63 c | 8682 | 3949 29737 749994 | 11993 8682 707 | 37.397 % | 122.27/122.37 c =============================================================================== 122.27/122.37 c New solution: 67664 122.27/122.37 o 67664 122.27/122.37 c Elapsed CPU time: 121.914 s Remaining CPU time: 58.0855 s 122.27/122.37 c =============================================================================== 122.27/122.37 c | 8704 | 3949 29738 752244 | 9912 8704 707 | 37.397 % | 124.06/124.17 c | 8805 | 3949 29738 752244 | 10903 8805 707 | 37.397 % | 125.37/125.49 c =============================================================================== 125.37/125.49 c New solution: 67663 125.37/125.49 o 67663 125.37/125.49 c Elapsed CPU time: 125.029 s Remaining CPU time: 54.971 s 125.37/125.49 c =============================================================================== 125.37/125.49 c | 8879 | 3949 29739 754494 | 9913 8879 708 | 37.397 % | 125.76/125.89 c =============================================================================== 125.76/125.89 c New solution: 67662 125.76/125.89 o 67662 125.76/125.89 c Elapsed CPU time: 125.425 s Remaining CPU time: 54.5751 s 125.76/125.89 c =============================================================================== 125.76/125.89 c | 8924 | 3949 29740 756744 | 9913 8924 707 | 37.397 % | 126.26/126.35 c =============================================================================== 126.26/126.35 c New solution: 65957 126.26/126.35 o 65957 126.26/126.35 c Elapsed CPU time: 125.886 s Remaining CPU time: 54.1141 s 126.26/126.35 c =============================================================================== 126.26/126.35 c | 8942 | 3949 29741 758994 | 9913 8942 707 | 37.397 % | 126.56/126.65 c =============================================================================== 126.56/126.65 c New solution: 65864 126.56/126.65 o 65864 126.56/126.65 c Elapsed CPU time: 126.183 s Remaining CPU time: 53.8172 s 126.56/126.65 c =============================================================================== 126.56/126.65 c | 8942 | 3949 29742 761244 | 9914 8942 707 | 37.397 % | 126.86/126.95 c =============================================================================== 126.86/126.95 c New solution: 65863 126.86/126.95 o 65863 126.86/126.95 c Elapsed CPU time: 126.484 s Remaining CPU time: 53.5162 s 126.86/126.95 c =============================================================================== 126.86/126.95 c | 8943 | 3949 29743 763494 | 9914 8943 707 | 37.397 % | 127.16/127.23 c =============================================================================== 127.16/127.23 c New solution: 65862 127.16/127.23 o 65862 127.16/127.23 c Elapsed CPU time: 126.766 s Remaining CPU time: 53.2343 s 127.16/127.23 c =============================================================================== 127.16/127.23 c | 8943 | 3949 29744 765744 | 9914 8943 707 | 37.397 % | 127.57/127.67 c =============================================================================== 127.57/127.67 c New solution: 65861 127.57/127.67 o 65861 127.57/127.67 c Elapsed CPU time: 127.194 s Remaining CPU time: 52.8063 s 127.57/127.67 c =============================================================================== 127.57/127.67 c | 8944 | 3949 29745 767994 | 9915 8944 707 | 37.397 % | 127.86/127.94 c =============================================================================== 127.86/127.94 c New solution: 65860 127.86/127.94 o 65860 127.86/127.94 c Elapsed CPU time: 127.466 s Remaining CPU time: 52.5344 s 127.86/127.94 c =============================================================================== 127.86/127.94 c | 8944 | 3949 29746 770244 | 9915 8944 707 | 37.397 % | 128.16/128.21 c =============================================================================== 128.16/128.21 c New solution: 65859 128.16/128.21 o 65859 128.16/128.21 c Elapsed CPU time: 127.737 s Remaining CPU time: 52.2634 s 128.16/128.21 c =============================================================================== 128.16/128.21 c | 8945 | 3949 29747 772494 | 9915 8945 707 | 37.397 % | 128.46/128.50 c =============================================================================== 128.46/128.50 c New solution: 65858 128.46/128.50 o 65858 128.46/128.50 c Elapsed CPU time: 128.03 s Remaining CPU time: 51.9705 s 128.46/128.50 c =============================================================================== 128.46/128.50 c | 8946 | 3949 29748 774744 | 9916 8946 707 | 37.397 % | 128.76/128.82 c =============================================================================== 128.76/128.82 c New solution: 65857 128.76/128.82 o 65857 128.76/128.82 c Elapsed CPU time: 128.348 s Remaining CPU time: 51.6515 s 128.76/128.82 c =============================================================================== 128.76/128.82 c | 8946 | 3949 29749 776994 | 9916 8946 707 | 37.397 % | 128.96/129.08 c =============================================================================== 128.96/129.08 c New solution: 65847 128.96/129.08 o 65847 128.96/129.08 c Elapsed CPU time: 128.606 s Remaining CPU time: 51.3936 s 128.96/129.08 c =============================================================================== 128.96/129.08 c | 8947 | 3949 29750 779244 | 9916 8947 707 | 37.397 % | 129.26/129.36 c =============================================================================== 129.26/129.36 c New solution: 65846 129.26/129.36 o 65846 129.26/129.36 c Elapsed CPU time: 128.878 s Remaining CPU time: 51.1216 s 129.26/129.36 c =============================================================================== 129.26/129.36 c | 8947 | 3949 29751 781494 | 9917 8947 707 | 37.397 % | 129.56/129.63 c =============================================================================== 129.56/129.63 c New solution: 65845 129.56/129.63 o 65845 129.56/129.63 c Elapsed CPU time: 129.149 s Remaining CPU time: 50.8506 s 129.56/129.63 c =============================================================================== 129.56/129.63 c | 8947 | 3949 29752 783744 | 9917 8947 707 | 37.397 % | 129.86/129.95 c =============================================================================== 129.86/129.95 c New solution: 65844 129.86/129.95 o 65844 129.86/129.95 c Elapsed CPU time: 129.464 s Remaining CPU time: 50.5357 s 129.86/129.95 c =============================================================================== 129.86/129.95 c | 8951 | 3949 29753 785994 | 9917 8951 707 | 37.397 % | 131.16/131.22 c | 9051 | 3949 29753 785994 | 10909 9051 707 | 37.397 % | 133.66/133.79 c | 9201 | 3949 29753 785994 | 12000 9201 708 | 37.397 % | 137.26/137.37 c | 9426 | 3949 29753 785994 | 13200 9426 708 | 37.397 % | 138.36/138.41 c =============================================================================== 138.36/138.41 c New solution: 65843 138.36/138.41 o 65843 138.36/138.41 c Elapsed CPU time: 137.925 s Remaining CPU time: 42.075 s 138.36/138.41 c =============================================================================== 138.36/138.41 c | 9520 | 3949 29754 788244 | 9918 9520 708 | 37.397 % | 138.66/138.78 c =============================================================================== 138.66/138.78 c New solution: 64132 138.66/138.78 o 64132 138.66/138.78 c Elapsed CPU time: 138.286 s Remaining CPU time: 41.714 s 138.66/138.78 c =============================================================================== 138.66/138.78 c | 9521 | 3949 29755 790494 | 9918 9521 708 | 37.397 % | 138.96/139.06 c =============================================================================== 138.96/139.06 c New solution: 64070 138.96/139.06 o 64070 138.96/139.06 c Elapsed CPU time: 138.567 s Remaining CPU time: 41.4331 s 138.96/139.06 c =============================================================================== 138.96/139.06 c | 9524 | 3949 29756 792744 | 9918 9524 708 | 37.397 % | 139.56/139.66 c =============================================================================== 139.56/139.66 c New solution: 64069 139.56/139.66 o 64069 139.56/139.66 c Elapsed CPU time: 139.162 s Remaining CPU time: 40.8382 s 139.56/139.66 c =============================================================================== 139.56/139.66 c | 9525 | 3949 29757 794994 | 9919 9525 708 | 37.397 % | 140.16/140.28 c =============================================================================== 140.16/140.28 c New solution: 64068 140.16/140.28 o 64068 140.16/140.28 c Elapsed CPU time: 139.787 s Remaining CPU time: 40.2133 s 140.16/140.28 c =============================================================================== 140.16/140.28 c | 9547 | 3949 29758 797244 | 9919 9547 708 | 37.397 % | 140.46/140.59 c =============================================================================== 140.46/140.59 c New solution: 64067 140.46/140.59 o 64067 140.46/140.59 c Elapsed CPU time: 140.096 s Remaining CPU time: 39.9043 s 140.46/140.59 c =============================================================================== 140.46/140.59 c | 9551 | 3949 29759 799494 | 9919 9551 708 | 37.397 % | 140.86/140.94 c =============================================================================== 140.86/140.94 c New solution: 64066 140.86/140.94 o 64066 140.86/140.94 c Elapsed CPU time: 140.445 s Remaining CPU time: 39.5554 s 140.86/140.94 c =============================================================================== 140.86/140.94 c | 9551 | 3949 29760 801744 | 9920 9551 708 | 37.397 % | 141.15/141.29 c =============================================================================== 141.15/141.29 c New solution: 64065 141.15/141.29 o 64065 141.15/141.29 c Elapsed CPU time: 140.791 s Remaining CPU time: 39.2094 s 141.15/141.29 c =============================================================================== 141.15/141.29 c | 9551 | 3949 29761 803994 | 9920 9551 708 | 37.397 % | 141.55/141.63 c =============================================================================== 141.55/141.63 c New solution: 64064 141.55/141.63 o 64064 141.55/141.63 c Elapsed CPU time: 141.133 s Remaining CPU time: 38.8675 s 141.55/141.63 c =============================================================================== 141.55/141.63 c | 9551 | 3949 29762 806244 | 9920 9551 708 | 37.397 % | 141.86/141.97 c =============================================================================== 141.86/141.97 c New solution: 64063 141.86/141.97 o 64063 141.86/141.97 c Elapsed CPU time: 141.468 s Remaining CPU time: 38.5315 s 141.86/141.97 c =============================================================================== 141.86/141.97 c | 9551 | 3949 29763 808494 | 9921 9551 708 | 37.397 % | 142.25/142.31 c =============================================================================== 142.25/142.31 c New solution: 64062 142.25/142.31 o 64062 142.25/142.31 c Elapsed CPU time: 141.809 s Remaining CPU time: 38.1906 s 142.25/142.31 c =============================================================================== 142.25/142.31 c | 9551 | 3949 29764 810744 | 9921 9551 708 | 37.397 % | 143.26/143.39 c =============================================================================== 143.26/143.39 c New solution: 64061 143.26/143.39 o 64061 143.26/143.39 c Elapsed CPU time: 142.885 s Remaining CPU time: 37.1147 s 143.26/143.39 c =============================================================================== 143.26/143.39 c | 9610 | 3949 29765 812994 | 9921 9610 709 | 37.397 % | 143.56/143.60 c =============================================================================== 143.56/143.60 c New solution: 64059 143.56/143.60 o 64059 143.56/143.60 c Elapsed CPU time: 143.102 s Remaining CPU time: 36.8978 s 143.56/143.60 c =============================================================================== 143.56/143.60 c | 9614 | 3949 29766 815244 | 9922 9614 709 | 37.397 % | 144.66/144.71 c | 9714 | 3949 29766 815244 | 10914 9714 709 | 37.397 % | 144.96/145.07 c =============================================================================== 144.96/145.07 c New solution: 64052 144.96/145.07 o 64052 144.96/145.07 c Elapsed CPU time: 144.563 s Remaining CPU time: 35.437 s 144.96/145.07 c =============================================================================== 144.96/145.07 c | 9714 | 3949 29767 817494 | 9922 9714 709 | 37.397 % | 145.36/145.41 c =============================================================================== 145.36/145.41 c New solution: 64047 145.36/145.41 o 64047 145.36/145.41 c Elapsed CPU time: 144.904 s Remaining CPU time: 35.096 s 145.36/145.41 c =============================================================================== 145.36/145.41 c | 9715 | 3949 29768 819744 | 9922 9715 709 | 37.397 % | 145.46/145.58 c =============================================================================== 145.46/145.58 c New solution: 64046 145.46/145.58 o 64046 145.46/145.58 c Elapsed CPU time: 145.075 s Remaining CPU time: 34.9251 s 145.46/145.58 c =============================================================================== 145.46/145.58 c | 9724 | 3949 29769 821994 | 9923 9724 709 | 37.397 % | 145.76/145.87 c =============================================================================== 145.76/145.87 c New solution: 64045 145.76/145.87 o 64045 145.76/145.87 c Elapsed CPU time: 145.364 s Remaining CPU time: 34.6361 s 145.76/145.87 c =============================================================================== 145.76/145.87 c | 9724 | 3949 29770 824244 | 9923 9724 709 | 37.397 % | 146.06/146.16 c =============================================================================== 146.06/146.16 c New solution: 64044 146.06/146.16 o 64044 146.06/146.16 c Elapsed CPU time: 145.654 s Remaining CPU time: 34.3461 s 146.06/146.16 c =============================================================================== 146.06/146.16 c | 9726 | 3949 29771 826494 | 9923 9726 709 | 37.397 % | 146.35/146.47 c =============================================================================== 146.35/146.47 c New solution: 64043 146.35/146.47 o 64043 146.35/146.47 c Elapsed CPU time: 145.965 s Remaining CPU time: 34.0352 s 146.35/146.47 c =============================================================================== 146.35/146.47 c | 9729 | 3949 29772 828744 | 9924 9729 709 | 37.397 % | 146.95/147.09 c =============================================================================== 146.95/147.09 c New solution: 64042 146.95/147.09 o 64042 146.95/147.09 c Elapsed CPU time: 146.581 s Remaining CPU time: 33.4193 s 146.95/147.09 c =============================================================================== 146.95/147.09 c | 9730 | 3949 29773 830994 | 9924 9730 709 | 37.397 % | 147.65/147.79 c =============================================================================== 147.65/147.79 c New solution: 64041 147.65/147.79 o 64041 147.65/147.79 c Elapsed CPU time: 147.277 s Remaining CPU time: 32.7234 s 147.65/147.79 c =============================================================================== 147.65/147.79 c | 9742 | 3949 29774 833244 | 9924 9742 709 | 37.397 % | 147.95/148.05 c =============================================================================== 147.95/148.05 c New solution: 64040 147.95/148.05 o 64040 147.95/148.05 c Elapsed CPU time: 147.538 s Remaining CPU time: 32.4624 s 147.95/148.05 c =============================================================================== 147.95/148.05 c | 9743 | 3949 29775 835494 | 9925 9743 709 | 37.397 % | 148.26/148.36 c =============================================================================== 148.26/148.36 c New solution: 64039 148.26/148.36 o 64039 148.26/148.36 c Elapsed CPU time: 147.85 s Remaining CPU time: 32.1505 s 148.26/148.36 c =============================================================================== 148.26/148.36 c | 9746 | 3949 29776 837744 | 9925 9746 709 | 37.397 % | 148.96/149.04 c =============================================================================== 148.96/149.04 c New solution: 62349 148.96/149.04 o 62349 148.96/149.04 c Elapsed CPU time: 148.522 s Remaining CPU time: 31.4776 s 148.96/149.04 c =============================================================================== 148.96/149.04 c | 9767 | 3949 29777 839994 | 9925 9767 709 | 37.397 % | 149.26/149.37 c =============================================================================== 149.26/149.37 c New solution: 62241 149.26/149.37 o 62241 149.26/149.37 c Elapsed CPU time: 148.854 s Remaining CPU time: 31.1456 s 149.26/149.37 c =============================================================================== 149.26/149.37 c | 9769 | 3949 29778 842244 | 9926 9769 709 | 37.397 % | 149.56/149.62 c =============================================================================== 149.56/149.62 c New solution: 62240 149.56/149.62 o 62240 149.56/149.62 c Elapsed CPU time: 149.102 s Remaining CPU time: 30.8977 s 149.56/149.62 c =============================================================================== 149.56/149.62 c | 9776 | 3949 29779 844494 | 9926 9776 709 | 37.397 % | 149.96/150.02 c =============================================================================== 149.96/150.02 c New solution: 62239 149.96/150.02 o 62239 149.96/150.02 c Elapsed CPU time: 149.506 s Remaining CPU time: 30.4937 s 149.96/150.02 c =============================================================================== 149.96/150.02 c | 9782 | 3949 29780 846744 | 9926 9782 709 | 37.397 % | 151.55/151.64 c | 9882 | 3949 29780 846744 | 10919 9882 709 | 37.397 % | 151.95/152.07 c =============================================================================== 151.95/152.07 c New solution: 62238 151.95/152.07 o 62238 151.95/152.07 c Elapsed CPU time: 151.548 s Remaining CPU time: 28.452 s 151.95/152.07 c =============================================================================== 151.95/152.07 c | 9890 | 3949 29781 848994 | 9927 9890 709 | 37.397 % | 152.86/152.93 c | 9990 | 3949 29781 848994 | 10919 9990 709 | 37.397 % | 153.56/153.63 c =============================================================================== 153.56/153.63 c New solution: 62237 153.56/153.63 o 62237 153.56/153.63 c Elapsed CPU time: 153.103 s Remaining CPU time: 26.8973 s 153.56/153.63 c =============================================================================== 153.56/153.63 c | 9992 | 3949 29782 851244 | 9927 9992 709 | 37.397 % | 154.46/154.51 c | 10092 | 3949 29782 851244 | 10920 10092 709 | 37.397 % | 154.85/154.92 c =============================================================================== 154.85/154.92 c New solution: 62236 154.85/154.92 o 62236 154.85/154.92 c Elapsed CPU time: 154.391 s Remaining CPU time: 25.6095 s 154.85/154.92 c =============================================================================== 154.85/154.92 c | 10095 | 3949 29783 853494 | 9927 10095 709 | 37.397 % | 156.65/156.79 c | 10195 | 3949 29783 853494 | 10920 10195 709 | 37.397 % | 157.65/157.72 c =============================================================================== 157.65/157.72 c New solution: 62235 157.65/157.72 o 62235 157.65/157.72 c Elapsed CPU time: 157.194 s Remaining CPU time: 22.8059 s 157.65/157.72 c =============================================================================== 157.65/157.72 c | 10210 | 3949 29784 855744 | 9928 10210 709 | 37.397 % | 157.95/158.07 c =============================================================================== 157.95/158.07 c New solution: 62234 157.95/158.07 o 62234 157.95/158.07 c Elapsed CPU time: 157.542 s Remaining CPU time: 22.458 s 157.95/158.07 c =============================================================================== 157.95/158.07 c | 10210 | 3949 29785 857994 | 9928 10210 709 | 37.397 % | 158.36/158.42 c =============================================================================== 158.36/158.42 c New solution: 62233 158.36/158.42 o 62233 158.36/158.42 c Elapsed CPU time: 157.887 s Remaining CPU time: 22.113 s 158.36/158.42 c =============================================================================== 158.36/158.42 c | 10210 | 3949 29786 860244 | 9928 10210 709 | 37.397 % | 158.65/158.76 c =============================================================================== 158.65/158.76 c New solution: 62232 158.65/158.76 o 62232 158.65/158.76 c Elapsed CPU time: 158.228 s Remaining CPU time: 21.7721 s 158.65/158.76 c =============================================================================== 158.65/158.76 c | 10210 | 3949 29787 862494 | 9929 10210 709 | 37.397 % | 159.05/159.13 c =============================================================================== 159.05/159.13 c New solution: 62231 159.05/159.13 o 62231 159.05/159.13 c Elapsed CPU time: 158.6 s Remaining CPU time: 21.4001 s 159.05/159.13 c =============================================================================== 159.05/159.13 c | 10213 | 3949 29788 864744 | 9929 10213 709 | 37.397 % | 160.36/160.49 c =============================================================================== 160.36/160.49 c New solution: 62230 160.36/160.49 o 62230 160.36/160.49 c Elapsed CPU time: 159.956 s Remaining CPU time: 20.0443 s 160.36/160.49 c =============================================================================== 160.36/160.49 c | 10272 | 3949 29789 866994 | 9929 10272 709 | 37.397 % | 160.66/160.74 c =============================================================================== 160.66/160.74 c New solution: 62229 160.66/160.74 o 62229 160.66/160.74 c Elapsed CPU time: 160.204 s Remaining CPU time: 19.7964 s 160.66/160.74 c =============================================================================== 160.66/160.74 c | 10274 | 3949 29790 869244 | 9930 10274 709 | 37.397 % | 160.96/161.09 c =============================================================================== 160.96/161.09 c New solution: 62228 160.96/161.09 o 62228 160.96/161.09 c Elapsed CPU time: 160.557 s Remaining CPU time: 19.4434 s 160.96/161.09 c =============================================================================== 160.96/161.09 c | 10274 | 3949 29791 871494 | 9930 10274 709 | 37.397 % | 161.26/161.39 c =============================================================================== 161.26/161.39 c New solution: 62227 161.26/161.39 o 62227 161.26/161.39 c Elapsed CPU time: 160.855 s Remaining CPU time: 19.1455 s 161.26/161.39 c =============================================================================== 161.26/161.39 c | 10279 | 3949 29792 873744 | 9930 10279 709 | 37.397 % | 164.15/164.29 c | 10380 | 3949 29792 873744 | 10923 10380 709 | 37.397 % | 164.65/164.77 c =============================================================================== 164.65/164.77 c New solution: 60508 164.65/164.77 o 60508 164.65/164.77 c Elapsed CPU time: 164.234 s Remaining CPU time: 15.766 s 164.65/164.77 c =============================================================================== 164.65/164.77 c | 10402 | 3949 29793 875994 | 9931 10402 709 | 37.397 % | 165.05/165.16 c =============================================================================== 165.05/165.16 c New solution: 60419 165.05/165.16 o 60419 165.05/165.16 c Elapsed CPU time: 164.621 s Remaining CPU time: 15.379 s 165.05/165.16 c =============================================================================== 165.05/165.16 c | 10402 | 3949 29794 878244 | 9931 10402 709 | 37.397 % | 165.45/165.54 c =============================================================================== 165.45/165.54 c New solution: 60418 165.45/165.54 o 60418 165.45/165.54 c Elapsed CPU time: 165 s Remaining CPU time: 15.0001 s 165.45/165.54 c =============================================================================== 165.45/165.54 c | 10402 | 3949 29795 880494 | 9931 10402 709 | 37.397 % | 165.85/165.92 c =============================================================================== 165.85/165.92 c New solution: 60417 165.85/165.92 o 60417 165.85/165.92 c Elapsed CPU time: 165.375 s Remaining CPU time: 14.6251 s 165.85/165.92 c =============================================================================== 165.85/165.92 c | 10402 | 3949 29796 882744 | 9932 10402 709 | 37.397 % | 166.15/166.29 c =============================================================================== 166.15/166.29 c New solution: 60416 166.15/166.29 o 60416 166.15/166.29 c Elapsed CPU time: 165.752 s Remaining CPU time: 14.2482 s 166.15/166.29 c =============================================================================== 166.15/166.29 c | 10402 | 3949 29797 884994 | 9932 10402 709 | 37.397 % | 166.95/167.08 c =============================================================================== 166.95/167.08 c New solution: 60415 166.95/167.08 o 60415 166.95/167.08 c Elapsed CPU time: 166.538 s Remaining CPU time: 13.4623 s 166.95/167.08 c =============================================================================== 166.95/167.08 c | 10402 | 3949 29798 887244 | 9932 10402 709 | 37.397 % | 167.35/167.45 c =============================================================================== 167.35/167.45 c New solution: 60414 167.35/167.45 o 60414 167.35/167.45 c Elapsed CPU time: 166.909 s Remaining CPU time: 13.0914 s 167.35/167.45 c =============================================================================== 167.35/167.45 c | 10402 | 3949 29799 889494 | 9933 10402 709 | 37.397 % | 168.16/168.21 c =============================================================================== 168.16/168.21 c New solution: 60410 168.16/168.21 o 60410 168.16/168.21 c Elapsed CPU time: 167.667 s Remaining CPU time: 12.3335 s 168.16/168.21 c =============================================================================== 168.16/168.21 c | 10402 | 3949 29800 891744 | 9933 10402 709 | 37.397 % | 168.45/168.56 c =============================================================================== 168.45/168.56 c New solution: 60409 168.45/168.56 o 60409 168.45/168.56 c Elapsed CPU time: 168.017 s Remaining CPU time: 11.9825 s 168.45/168.56 c =============================================================================== 168.45/168.56 c | 10402 | 3949 29801 893994 | 9933 10402 709 | 37.397 % | 168.85/168.98 c =============================================================================== 168.85/168.98 c New solution: 60408 168.85/168.98 o 60408 168.85/168.98 c Elapsed CPU time: 168.435 s Remaining CPU time: 11.5646 s 168.85/168.98 c =============================================================================== 168.85/168.98 c | 10407 | 3949 29802 896244 | 9934 10407 709 | 37.397 % | 169.55/169.66 c =============================================================================== 169.55/169.66 c New solution: 60407 169.55/169.66 o 60407 169.55/169.66 c Elapsed CPU time: 169.111 s Remaining CPU time: 10.8887 s 169.55/169.66 c =============================================================================== 169.55/169.66 c | 10440 | 3949 29803 898494 | 9934 10440 709 | 37.397 % | 171.55/171.64 c | 10540 | 3949 29803 898494 | 10927 10540 709 | 37.397 % | 174.65/174.74 c | 10690 | 3949 29803 898494 | 12020 10690 709 | 37.397 % | 175.05/175.17 c =============================================================================== 175.05/175.17 c New solution: 60406 175.05/175.17 o 60406 175.05/175.17 c Elapsed CPU time: 174.626 s Remaining CPU time: 5.37355 s 175.05/175.17 c =============================================================================== 175.05/175.17 c | 10700 | 3949 29804 900744 | 9934 10700 709 | 37.397 % | 177.35/177.48 c | 10800 | 3949 29804 900744 | 10928 10800 709 | 37.397 % | 177.75/177.84 c =============================================================================== 177.75/177.84 c New solution: 60405 177.75/177.84 o 60405 177.75/177.84 c Elapsed CPU time: 177.286 s Remaining CPU time: 2.71395 s 177.75/177.84 c =============================================================================== 177.75/177.84 c | 10803 | 3949 29805 902994 | 9935 10803 709 | 37.397 % | 179.75/179.89 c | 10903 | 3949 29805 902994 | 10928 10903 709 | 37.397 % | 180.45/180.57 c There are 2359 assigned variables. 561 in cost function. 184.75/184.88 c core #1 184.75/184.88 c core #2 184.75/184.88 c core #3 184.75/184.88 c core #4 184.75/184.88 c core #5 184.75/184.88 c core #6 184.75/184.88 c core #7 184.75/184.88 c core #8 184.75/184.88 c core #9 184.75/184.88 c core #10 184.75/184.88 c core #11 184.75/184.88 c core #12 184.75/184.88 c core #13 184.75/184.88 c core #14 184.75/184.88 c core #15 184.75/184.88 c core #16 184.75/184.88 c core #17 184.75/184.88 c core #18 184.75/184.88 c core #19 184.75/184.88 c core #20 184.75/184.88 c core #21 184.75/184.88 c core #22 184.75/184.88 c core #23 184.75/184.88 c core #24 184.75/184.88 c core #25 184.75/184.88 c core #26 184.75/184.88 c core #27 184.75/184.88 c core #28 184.75/184.88 c core #29 184.75/184.88 c core #30 184.75/184.88 c core #31 184.75/184.88 c core #32 184.75/184.88 c core #33 184.75/184.88 c core #34 184.75/184.88 c core #35 184.75/184.88 c core #36 184.75/184.88 c core #37 184.75/184.88 c core #38 184.75/184.88 c core #39 184.75/184.88 c core #40 184.75/184.88 c core #41 184.75/184.88 c core #42 184.75/184.88 c core #43 184.75/184.88 c core #44 184.75/184.88 c core #45 184.75/184.88 c core #46 184.75/184.88 c core #47 184.75/184.88 c core #48 184.75/184.88 c core #49 184.75/184.88 c core #50 184.75/184.88 c core #51 184.75/184.88 c core #52 184.75/184.88 c core #53 184.75/184.88 c core #54 184.75/184.88 c core #55 184.75/184.88 c core #56 184.75/184.88 c core #57 184.75/184.88 c core #58 184.75/184.88 c core #59 184.75/184.88 c core #60 184.75/184.88 c core #61 184.75/184.88 c core #62 184.75/184.88 c core #63 184.75/184.88 c core #64 184.75/184.88 c core #65 184.75/184.88 c core #66 184.75/184.88 c core #67 184.75/184.88 c core #68 184.75/184.88 c core #69 184.75/184.88 c core #70 184.75/184.88 c core #71 184.75/184.88 c core #72 184.75/184.88 c core #73 184.75/184.88 c ============================[ Search Statistics ]============================== 184.75/184.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.75/184.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.75/184.88 c =============================================================================== 184.75/184.88 c | 0 | 966 17896 11145 | 5965 0 nan | 0.000 % | 184.75/184.89 c =============================================================================== 184.85/184.91 c #cores: 73 184.85/184.91 c Final Weight: 13125 184.85/184.91 o 13125 184.85/184.91 s OPTIMUM FOUND 184.85/184.91 v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 x4138 x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 x4515 -x4516 -x4517 -x4518 x4519 -x4520 -x4521 -x4522 x4523 x4524 -x4525 -x4526 x4527 x4528 x4529 -x4530 x4531 -x4532 -x4533 -x4534 x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 x4543 x4544 x4545 -x4546 x4547 -x4548 x4549 -x4550 -x4551 -x4552 x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 x4565 -x4566 -x4567 -x4568 x4569 x4570 x4571 -x4572 x4573 -x4574 -x4575 -x4576 -x4577 x4578 x4579 x4580 x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 x4638 -x4639 -x4640 -x4641 x4642 -x4643 -x4644 x4645 -x4646 -x4647 x4648 x4649 -x4650 -x4651 x4652 -x4653 -x4654 x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 x4674 x4675 x4676 x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 x4730 -x4731 -x4732 x4733 -x4734 -x4735 -x4736 -x4737 -x4738 x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 x4774 x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 x4792 x4793 -x4794 -x4795 -x4796 x4797 -x4798 x4799 x4800 x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 x4816 -x4817 x4818 -x4819 -x4820 -x4821 -x4822 x4823 x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 x4833 x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 x4844 -x4845 x4846 -x4847 x4848 -x4849 -x4850 -x4851 -x4852 -x4853 x4854 -x4855 -x4856 -x4857 -x4858 -x4859 x4860 x4861 x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 x4877 x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 x4907 -x4908 x4909 x4910 x4911 -x4912 x4913 -x4914 -x4915 -x4916 -x4917 -x4918 x4919 -x4920 -x4921 x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 x4939 -x4940 -x4941 -x4942 x4943 x4944 -x4945 x4946 -x4947 -x4948 -x4949 x4950 -x4951 -x4952 -x4953 x4954 -x4955 -x4956 -x4957 -x4958 x4959 x4960 x4961 x4962 -x4963 x4964 x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 x4985 x4986 x4987 x4988 -x4989 -x4990 -x4991 -x4992 x4993 -x4994 -x4995 x4996 x4997 x4998 x4999 -x5000 -x5001 -x5002 -x5003 x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 x5030 -x5031 x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 x5044 -x5045 -x5046 -x5047 -x5048 x5049 x5050 x5051 -x5052 -x5053 -x5054 -x5055 x5056 x5057 -x5058 x5059 -x5060 x5061 -x5062 -x5063 -x5064 x5065 -x5066 x5067 x5068 x5069 x5070 x5071 x5072 -x5073 x5074 x5075 x5076 x5077 -x5078 -x5079 -x5080 x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 x5089 -x5090 x5091 x5092 x5093 -x5094 -x5095 x5096 x5097 x5098 x5099 x5100 x5101 x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 x5112 x5113 x5114 -x5115 -x5116 x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 x5125 x5126 -x5127 -x5128 -x5129 x5130 -x5131 -x5132 -x5133 -x5134 x5135 x5136 x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 x5146 x5147 -x5148 -x5149 x5150 -x5151 x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 x5161 x5162 x5163 x5164 x5165 -x5166 -x5167 x5168 x5169 -x5170 x5171 -x5172 -x5173 -x5174 -x5175 -x5176 x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 x5190 -x5191 x5192 x5193 -x5194 -x5195 x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 x5204 -x5205 -x5206 -x5207 x5208 -x5209 x5210 -x5211 -x5212 -x5213 -x5214 x5215 -x5216 x5217 x5218 x5219 x5220 -x5221 -x5222 x5223 x5224 x5225 x5226 x5227 x5228 x5229 x5230 x5231 x5232 x5233 x5234 x5235 x5236 x5237 x5238 x5239 x5240 x5241 x5242 x5243 x5244 x5245 x5246 x5247 x5248 x5249 x5250 x5251 x5252 x5253 x5254 x5255 x5256 x5257 x5258 x5259 -x5260 -x5261 -x5262 -x5263 -x5264 x5265 x5266 x5267 -x5268 x5269 x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 x5277 x5278 -x5279 x5280 x5281 -x5282 -x5283 -x5284 -x5285 x5286 -x5287 -x5288 x5289 x5290 x5291 -x5292 -x5293 -x5294 -x5295 x5296 x5297 -x5298 x5299 -x5300 x5301 x5302 -x5303 -x5304 x5305 x5306 x5307 -x5308 -x5309 x5310 -x5311 -x5312 x5313 x5314 -x5315 -x5316 x5317 x5318 x5319 x5320 x5321 x5322 -x5323 -x5324 -x5325 -x5326 x5327 -x5328 -x5329 x5330 -x5331 x5332 -x5333 -x5334 -x5335 x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 x5357 -x5358 x5359 -x5360 x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 x5370 x5371 -x5372 -x5373 -x5374 -x5375 x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 x5383 -x5384 -x5385 x5386 x5387 -x5388 -x5389 x5390 -x5391 -x5392 x5393 -x5394 x5395 x5396 x5397 -x5398 -x5399 -x5400 -x5401 x5402 -x5403 x5404 -x5405 x5406 x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 x5428 -x5429 -x5430 x5431 -x5432 -x5433 -x5434 x5435 -x5436 x5437 -x5438 -x5439 -x5440 -x5441 -x5442 x5443 x5444 x5445 x5446 x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 x5455 -x5456 -x5457 -x5458 -x5459 x5460 x5461 x5462 -x5463 -x5464 -x5465 -x5466 -x5467 x5468 -x5469 -x5470 x5471 -x5472 x5473 x5474 -x5475 x5476 x5477 -x5478 x5479 -x5480 -x5481 -x5482 -x5483 -x5484 x5485 -x5486 -x5487 -x5488 -x5489 x5490 x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 x5500 x5501 -x5502 x5503 -x5504 -x5505 -x5506 -x5507 -x5508 x5509 x5510 x5511 x5512 x5513 x5514 x5515 x5516 -x5517 x5518 x5519 x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 x5539 -x5540 -x5541 -x5542 -x5543 -x5544 x5545 -x5546 x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 x5562 x5563 x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 x5582 x5583 -x5584 -x5585 x5586 -x5587 x5588 -x5589 -x5590 -x5591 x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 x5621 -x5622 -x5623 x5624 -x5625 -x5626 -x5627 x5628 x5629 -x5630 -x5631 -x5632 x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 x5644 x5645 x5646 -x5647 -x5648 -x5649 -x5650 -x5651 x5652 -x5653 x5654 -x5655 x5656 -x5657 -x5658 x5659 x5660 -x5661 -x5662 -x5663 -x5664 x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 x5677 x5678 x5679 x5680 -x5681 -x5682 -x5683 -x5684 x5685 x5686 -x5687 -x5688 -x5689 x5690 x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 x5701 -x5702 -x5703 -x5704 x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 x5731 -x5732 x5733 x5734 -x5735 x5736 -x5737 -x5738 -x5739 x5740 x5741 -x5742 -x5743 -x5744 x5745 -x5746 x5747 -x5748 x5749 x5750 -x5751 -x5752 x5753 -x5754 -x5755 x5756 -x5757 x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 x5768 x5769 -x5770 x5771 x5772 x5773 x5774 -x5775 x5776 x5777 x5778 x5779 x5780 x5781 -x5782 -x5783 x5784 -x5785 x5786 x5787 -x5788 x5789 -x5790 -x5791 -x5792 x5793 -x5794 x5795 -x5796 x5797 -x5798 x5799 x5800 -x5801 -x5802 -x5803 -x5804 -x5805 x5806 x5807 -x5808 x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 x5817 -x5818 x5819 -x5820 -x5821 -x5822 x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 x5835 x5836 -x5837 x5838 x5839 x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 x5869 -x5870 -x5871 -x5872 x5873 -x5874 -x5875 -x5876 x5877 -x5878 -x5879 x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 x5894 x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 x5904 x5905 x5906 x5907 x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 x5919 x5920 x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 x5938 -x5939 -x5940 -x5941 x5942 x5943 x5944 -x5945 -x5946 -x5947 -x5948 -x5949 x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 x5990 x5991 -x5992 x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 x6001 -x6002 -x6003 -x6004 x6005 x6006 -x6007 x6008 x6009 -x6010 -x6011 x6012 -x6013 -x6014 -x6015 x6016 -x6017 x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 x6053 -x6054 x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 x6062 x6063 x6064 x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 x6074 x6075 -x6076 x6077 x6078 x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 x6092 x6093 -x6094 -x6095 -x6096 -x6097 x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 x6109 -x6110 -x6111 -x6112 -x6113 -x6114 x6115 x6116 -x6117 -x6118 -x6119 x6120 -x6121 -x6122 x6123 -x6124 -x6125 -x6126 -x6127 x6128 -x6129 -x6130 x6131 -x6132 -x6133 -x6134 -x6135 x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 x6162 -x6163 -x6164 -x6165 x6166 x6167 -x6168 -x6169 x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 x6179 x6180 x6181 x6182 -x6183 -x6184 x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 x6204 x6205 -x6206 -x6207 x6208 x6209 x6210 x6211 x6212 -x6213 -x6214 x6215 x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 x6294 x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 x6304 x6305 x6306 x6307 x6308 x1 x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 x10 -x11 -x12 x13 x14 -x15 x16 x17 -x18 x19 -x20 -x21 x22 -x23 -x24 x25 -x26 x27 x28 -x29 x30 -x31 -x32 x33 x34 -x35 -x36 x37 -x38 x39 -x40 -x41 -x42 x43 -x44 x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 x158 -x159 -x160 x161 -x162 -x163 -x164 x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 x269 -x270 -x271 x272 -x273 x274 x275 -x276 x277 -x278 x279 -x280 -x281 x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 x294 -x295 x296 -x297 -x298 -x299 -x300 x301 x302 -x303 x304 -x305 x306 x307 -x308 -x309 x310 -x311 x312 -x313 x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 x325 -x326 -x327 -x328 -x329 x330 -x331 x332 -x333 x334 -x335 x336 x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 x348 x349 -x350 -x351 x352 -x353 x354 x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 x363 -x364 -x365 x366 x367 -x368 -x369 -x370 -x371 -x372 x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 x400 x401 x402 x403 x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 x422 -x423 x424 x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 x449 x450 x451 -x452 -x453 x454 -x455 x456 -x457 -x458 -x459 x460 -x461 x462 -x463 -x464 x465 x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 x484 -x485 -x486 x487 x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 x503 -x504 x505 x506 x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 x516 -x517 -x518 -x519 x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 x528 x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 x572 -x573 x574 -x575 x576 -x577 -x578 x579 x580 -x581 -x582 -x583 x584 x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 x593 -x594 x595 -x596 x597 x598 -x599 x600 -x601 x602 x603 x604 -x605 x606 -x607 x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 x629 -x630 -x631 -x632 x633 x634 -x635 -x636 x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 x659 x660 -x661 -x662 x663 x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 x713 x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 x724 -x725 x726 x727 -x728 x729 -x730 -x731 x732 -x733 x734 -x735 -x736 -x737 -x738 x739 -x740 x741 x742 -x743 x744 -x745 x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 x806 x807 -x808 x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 x837 -x838 -x839 x840 x841 -x842 -x843 -x844 -x845 x846 -x847 x848 x849 -x850 -x851 x852 x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 x871 -x872 x873 x874 -x875 x876 -x877 x878 -x879 x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 x890 -x891 -x892 x893 -x894 -x895 x896 x897 -x898 -x899 -x900 -x901 x902 -x903 x904 x905 -x906 -x907 -x908 -x909 x910 -x911 x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 x924 -x925 -x926 x927 x928 -x929 x930 -x931 x932 x933 -x934 x935 -x936 -x937 x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 x955 -x956 x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 x976 x977 -x978 x979 -x980 x981 x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 x993 -x994 x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 x1011 x1012 -x1013 -x1014 x1015 -x1016 x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 x1057 x1058 -x1059 x1060 x1061 -x1062 x1063 -x1064 x1065 -x1066 -x1067 x1068 -x1069 -x1070 x1071 x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 x1079 x1080 -x1081 x1082 -x1083 -x1084 -x1085 x1086 -x1087 x1088 -x1089 x1090 -x1091 -x1092 x1093 -x1094 -x1095 x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 x1106 -x1107 -x1108 x1109 -x1110 x1111 x1112 -x1113 x1114 -x1115 x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 x1223 x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 x1261 -x1262 -x1263 x1264 x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 x1278 -x1279 x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 x1345 -x1346 -x1347 x1348 x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x1390 -x1391 -x1392 x1393 -x1394 x1395 -x1396 x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 x1415 -x1416 x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 x1440 x1441 x1442 x1443 -x1444 x1445 x1446 -x1447 x1448 x1449 -x1450 -x1451 x1452 -x1453 x1454 -x1455 x1456 x1457 x1458 -x1459 -x1460 x1461 -x1462 -x1463 x1464 -x1465 x1466 -x1467 -x1468 x1469 -x1470 x1471 -x1472 x1473 -x1474 x1475 -x1476 x1477 -x1478 -x1479 x1480 x1481 -x1482 -x1483 -x1484 -x1485 x1486 -x1487 x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 x1495 x1496 -x1497 -x1498 x1499 -x1500 -x1501 -x1502 x1503 -x1504 x1505 -x1506 -x1507 x1508 -x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 x1583 -x1584 x1585 -x1586 x1587 -x1588 -x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 x1612 -x1613 x1614 -x1615 x1616 x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 x1651 -x1652 x1653 -x1654 -x1655 x1656 -x1657 x1658 -x1659 -x1660 -x1661 x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672 x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 x1683 x1684 x1685 x1686 -x1687 -x1688 -x1689 x1690 -x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 -x1710 -x1711 -x1712 x1713 -x1714 x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x1740 x1741 -x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 x1780 -x1781 x1782 x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 x1790 x1791 -x1792 x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 -x1816 x1817 -x1818 -x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 -x1833 x1834 -x1835 x1836 -x1837 x1838 -x1839 -x1840 x1841 x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 -x1852 x1853 x1854 -x1855 x1856 -x1857 x1858 -x1859 x1860 -x1861 -x1862 x1863 x1864 x1865 -x1866 x1867 x1868 -x1869 -x1870 -x1871 x1872 -x1873 x1874 -x1875 x1876 -x1877 x1878 x1879 -x1880 x1881 -x1882 x1883 -x1884 x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 x1905 x1906 -x1907 -x1908 x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 x1944 -x1945 x1946 -x1947 x1948 -x1949 x1950 -x1951 x1952 -x1953 x1954 -x1955 x1956 -x1957 x1958 x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 x1973 x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 x1982 -x1983 -x1984 -x1985 x1986 x1987 -x1988 x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 x2014 x2015 -x2016 x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 x2029 -x2030 -x2031 x2032 x2033 x2034 x2035 -x2036 x2037 -x2038 -x2039 x2040 -x2041 -x2042 x2043 -x2044 x2045 -x2046 x2047 -x2048 x2049 -x2050 x2051 -x2052 x2053 x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 x2061 x2062 -x2063 -x2064 -x2065 x2066 x2067 -x2068 -x2069 -x2070 x2071 x2072 x2073 -x2074 x2075 x2076 -x2077 x2078 -x2079 x2080 -x2081 -x2082 x2083 x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 x2093 x2094 x2095 -x2096 -x2097 -x2098 x2099 x2100 -x2101 -x2102 -x2103 x2104 -x2105 -x2106 -x2107 -x2108 x2109 -x2110 -x2111 x2112 -x2113 x2114 -x2115 -x2116 -x2117 -x2118 -x2119 x2120 -x2121 x2122 -x2123 -x2124 x2125 -x2126 x2127 -x2128 -x2129 x2130 -x2131 x2132 x2133 -x2134 -x2135 -x2136 x2137 x2138 x2139 x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 x2153 -x2154 -x2155 x2156 -x2157 -x2158 -x2159 x2160 -x2161 x2162 -x2163 x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 x2174 x2175 -x2176 x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 x2196 -x2197 -x2198 x2199 -x2200 x2201 -x2202 -x2203 x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 x2215 x2216 x2217 x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 x2229 -x2230 -x2231 -x2232 -x2233 x2234 x2235 -x2236 -x2237 -x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 x2252 x2253 x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 x2266 x2267 -x2268 x2269 -x2270 -x2271 -x2272 x2273 x2274 x2275 x2276 x2277 x2278 x2279 x2280 x2281 x2282 x2283 x2284 x2285 x2286 x2287 x2288 x2289 x2290 x2291 x2292 x2293 x2294 x2295 x2296 x2297 x2298 x2299 x2300 x2301 x2302 x2303 x2304 x2305 x2306 x2307 x2308 x2309 x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 x2326 -x2327 x2328 -x2329 -x2330 x2331 -x2332 x2333 x2334 x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 x2348 x2349 x2350 x2351 -x2352 -x2353 x2354 -x2355 x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 x2365 -x2366 -x2367 -x2368 x2369 x2370 x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 x2378 x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 x2387 x2388 -x2389 x2390 -x2391 x2392 -x2393 x2394 -x2395 x2396 -x2397 -x2398 -x2399 x2400 -x2401 x2402 x2403 -x2404 -x2405 -x2406 -x2407 x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 -x2421 x2422 x2423 x2424 x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2439 x2440 -x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 x2449 -x2450 -x2451 -x2452 -x2453 x2454 -x2455 -x2456 x2457 -x2458 x2459 -x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 x2467 -x2468 x2469 -x2470 x2471 x2472 -x2473 x2474 -x2475 -x2476 x2477 x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x2490 -x2491 x2492 -x2493 x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 x2507 x2508 -x2509 -x2510 x2511 x2512 -x2513 -x2514 -x2515 -x2516 x2517 -x2518 -x2519 -x2520 -x2521 x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 x2531 -x2532 x2533 x2534 -x2535 x2536 -x2537 -x2538 -x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 -x2557 -x2558 -x2559 x2560 -x2561 x2562 -x2563 -x2564 -x2565 x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 x2575 x2576 -x2577 -x2578 x2579 x2580 -x2581 x2582 -x2583 -x2584 x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 x2622 -x2623 x2624 -x2625 -x2626 -x2627 x2628 -x2629 x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 x2662 -x2663 -x2664 -x2665 x2666 -x2667 x2668 -x2669 x2670 x2671 x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 x2685 x2686 x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 x2698 x2699 -x2700 x2701 -x2702 -x2703 x2704 -x2705 x2706 -x2707 x2708 -x2709 x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 x2733 x2734 -x2735 -x2736 -x2737 x2738 x2739 x2740 -x2741 x2742 -x2743 x2744 -x2745 x2746 -x2747 x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 x2757 -x2758 x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 x2768 -x2769 -x2770 x2771 -x2772 x2773 x2774 -x2775 -x2776 -x2777 x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 x2803 -x2804 x2805 x2806 x2807 x2808 -x2809 x2810 -x2811 -x2812 -x2813 -x2814 x2815 x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 x2828 -x2829 -x2830 x2831 -x2832 x2833 x2834 -x2835 -x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 x2843 -x2844 x2845 -x2846 -x2847 x2848 -x2849 -x2850 -x2851 -x2852 x2853 -x2854 -x2855 x2856 -x2857 -x2858 -x2859 -x2860 -x2861 x2862 -x2863 -x2864 x2865 x2866 -x2867 -x2868 x2869 -x2870 -x2871 -x2872 -x2873 x2874 x2875 -x2876 -x2877 -x2878 -x2879 x2880 x2881 x2882 -x2883 -x2884 -x2885 x2886 x2887 -x2888 -x2889 x2890 x2891 -x2892 -x2893 -x2894 -x2895 x2896 x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 x2909 -x2910 -x2911 -x2912 x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 x2923 -x2924 -x2925 x2926 -x2927 -x2928 x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 x2947 -x2948 x2949 -x2950 x2951 x2952 -x2953 -x2954 -x2955 -x2956 x2957 x2958 x2959 -x2960 x2961 -x2962 -x2963 x2964 x2965 -x2966 -x2967 -x2968 x2969 -x2970 -x2971 x2972 -x2973 -x2974 -x2975 x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 x2983 -x2984 -x2985 -x2986 x2987 -x2988 x2989 -x2990 -x2991 x2992 -x2993 x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 -x3002 x3003 -x3004 x3005 -x3006 -x3007 -x3008 x3009 -x3010 -x3011 x3012 -x3013 x3014 -x3015 -x3016 -x3017 x3018 -x3019 -x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 x3027 -x3028 -x3029 -x3030 -x3031 x3032 -x3033 x3034 x3035 -x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 x3052 -x3053 -x3054 -x3055 x3056 -x3057 x3058 -x3059 x3060 -x3061 -x3062 -x3063 -x3064 x3065 -x3066 -x3067 -x3068 -x3069 x3070 -x3071 -x3072 -x3073 x3074 x3075 x3076 x3077 -x3078 -x3079 -x3080 -x3081 x3082 -x3083 -x3084 -x3085 -x3086 x3087 x3088 -x3089 x3090 -x3091 x3092 -x3093 x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 x3102 -x3103 -x3104 -x3105 -x3106 x3107 -x3108 -x3109 x3110 -x3111 -x3112 x3113 -x3114 x3115 -x3116 x3117 x3118 x3119 -x3120 x3121 x3122 -x3123 -x3124 x3125 -x3126 x3127 -x3128 -x3129 x3130 x3131 x3132 -x3133 -x3134 x3135 -x3136 x3137 -x3138 x3139 -x3140 -x3141 -x3142 -x3143 x3144 -x3145 -x3146 x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 x3157 -x3158 -x3159 x3160 x3161 x3162 x3163 x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 x3183 -x3184 x3185 -x3186 -x3187 x3188 -x3189 -x3190 -x3191 -x3192 -x3193 x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 x3214 -x3215 x3216 -x3217 x3218 x3219 -x3220 x3221 x3222 -x3223 x3224 -x3225 x3226 -x3227 x3228 x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 x3359 x3360 -x3361 -x3362 x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370 x3371 -x3372 -x3373 x3374 -x3375 -x3376 -x3377 x3378 x3379 -x3380 -x3381 x3382 -x3383 x3384 -x3385 -x3386 x3387 -x3388 -x3389 x3390 -x3391 x3392 -x3393 x3394 x3395 x3396 x3397 x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -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 184.85/184.91 c Total CPU time: 184.225 s
OK 13125
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683564-1277510620/watcher-2683564-1277510620 -o /tmp/evaluation-result-2683564-1277510620/solver-2683564-1277510620 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683564-1277510620.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/106 23135 /proc/meminfo: memFree=1806336/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=3904 CPUtime=0 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 399 0 0 0 0 0 0 0 18 0 1 0 126665924 3997696 318 1992294400 134512640 135751879 4292338192 18446744073709551615 135225248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 976 319 143 303 0 456 0 [startup+0.020315 s] /proc/loadavg: 0.99 0.98 0.99 3/106 23135 /proc/meminfo: memFree=1806336/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=4184 CPUtime=0.02 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 471 0 0 0 2 0 0 0 18 0 1 0 126665924 4284416 390 1992294400 134512640 135751879 4292338192 18446744073709551615 134560803 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 1046 390 163 303 0 526 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4184 [startup+0.100321 s] /proc/loadavg: 0.99 0.98 0.99 3/106 23135 /proc/meminfo: memFree=1806336/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=5316 CPUtime=0.1 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 876 0 0 0 10 0 0 0 20 0 1 0 126665924 5443584 795 1992294400 134512640 135751879 4292338192 18446744073709551615 134560584 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 1329 796 293 303 0 809 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5316 [startup+0.300337 s] /proc/loadavg: 0.99 0.98 0.99 3/106 23135 /proc/meminfo: memFree=1806336/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=7132 CPUtime=0.3 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 1574 0 0 0 30 0 0 0 18 0 1 0 126665924 7303168 1278 1992294400 134512640 135751879 4292338192 18446744073709551615 134580068 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 1783 1278 146 303 0 1478 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 7132 [startup+0.700369 s] /proc/loadavg: 0.99 0.98 0.99 3/106 23135 /proc/meminfo: memFree=1806336/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=7396 CPUtime=0.7 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 1634 0 0 0 70 0 0 0 18 0 1 0 126665924 7573504 1338 1992294400 134512640 135751879 4292338192 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 1849 1338 146 303 0 1544 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 7396 [startup+1.50043 s] /proc/loadavg: 0.99 0.98 0.99 2/107 23136 /proc/meminfo: memFree=1801616/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=7396 CPUtime=1.5 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 1650 0 0 0 150 0 0 0 19 0 1 0 126665924 7573504 1354 1992294400 134512640 135751879 4292338192 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 1849 1354 146 303 0 1544 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 7396 [startup+3.10157 s] /proc/loadavg: 0.99 0.98 0.99 2/107 23136 /proc/meminfo: memFree=1799260/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=9904 CPUtime=3.09 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 2272 0 0 0 305 4 0 0 23 0 1 0 126665924 10141696 1976 1992294400 134512640 135751879 4292338192 18446744073709551615 135204123 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 2476 1976 146 303 0 2171 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9904 [startup+6.30182 s] /proc/loadavg: 0.99 0.98 0.99 2/107 23136 /proc/meminfo: memFree=1798392/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=11316 CPUtime=6.29 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 2626 0 0 0 620 9 0 0 25 0 1 0 126665924 11587584 2330 1992294400 134512640 135751879 4292338192 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 2829 2330 147 303 0 2524 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11316 [startup+12.7013 s] /proc/loadavg: 0.99 0.98 0.99 2/107 23136 /proc/meminfo: memFree=1792192/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=16548 CPUtime=12.69 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 3940 0 0 0 1255 14 0 0 25 0 1 0 126665924 16945152 3644 1992294400 134512640 135751879 4292338192 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 4137 3644 147 303 0 3832 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16548 [startup+25.5004 s] /proc/loadavg: 0.99 0.98 0.99 2/107 23136 /proc/meminfo: memFree=1784132/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=24500 CPUtime=25.49 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 5917 0 0 0 2528 21 0 0 25 0 1 0 126665924 25088000 5621 1992294400 134512640 135751879 4292338192 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 6125 5621 147 303 0 5820 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24500 [startup+51.1005 s] /proc/loadavg: 0.99 0.98 0.99 2/107 23138 /proc/meminfo: memFree=1775948/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=32708 CPUtime=51.07 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 7974 0 0 0 5080 27 0 0 25 0 1 0 126665924 33492992 7678 1992294400 134512640 135751879 4292338192 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 8177 7678 147 303 0 7872 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32708 [startup+102.308 s] /proc/loadavg: 0.99 0.98 0.99 2/107 23138 /proc/meminfo: memFree=1761688/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=46356 CPUtime=102.27 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 11407 0 0 0 10189 38 0 0 25 0 1 0 126665924 47468544 11111 1992294400 134512640 135751879 4292338192 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 11589 11111 147 303 0 11284 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 46356 [startup+162.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 23140 /proc/meminfo: memFree=1749164/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=58888 CPUtime=162.26 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 14525 0 0 0 16176 50 0 0 25 0 1 0 126665924 60301312 14229 1992294400 134512640 135751879 4292338192 18446744073709551615 135221493 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 14722 14229 147 303 0 14417 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 58888 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 23140 /proc/meminfo: memFree=1748544/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=59416 CPUtime=166.25 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 14672 0 0 0 16575 50 0 0 25 0 1 0 126665924 60841984 14376 1992294400 134512640 135751879 4292338192 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 14854 14376 147 303 0 14549 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 59416 [startup+172.708 s] /proc/loadavg: 0.99 0.98 0.99 2/107 23140 /proc/meminfo: memFree=1747552/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=60324 CPUtime=172.65 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 14887 0 0 0 17215 50 0 0 25 0 1 0 126665924 61771776 14591 1992294400 134512640 135751879 4292338192 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 15081 14591 147 303 0 14776 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 60324 [startup+179.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 23140 /proc/meminfo: memFree=1746808/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=61224 CPUtime=179.05 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 15111 0 0 0 17854 51 0 0 25 0 1 0 126665924 62693376 14815 1992294400 134512640 135751879 4292338192 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 15306 14815 147 303 0 15001 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 61224 [startup+182.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 23142 /proc/meminfo: memFree=1740236/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=91544 CPUtime=182.25 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 22894 0 0 0 18171 54 0 0 25 0 1 0 126665924 93741056 22417 1992294400 134512640 135751879 4292338192 18446744073709551615 134639817 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 22886 22417 150 303 0 22581 0 Current children cumulated CPU time (s) 182.25 Current children cumulated vsize (KiB) 91544 [startup+183.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 23142 /proc/meminfo: memFree=1659140/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=161216 CPUtime=183.85 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 40274 0 0 0 18326 59 0 0 25 0 1 0 126665924 165085184 39797 1992294400 134512640 135751879 4292338192 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 40304 39797 150 303 0 39999 0 Current children cumulated CPU time (s) 183.85 Current children cumulated vsize (KiB) 161216 [startup+184.701 s] /proc/loadavg: 0.99 0.98 0.99 2/107 23142 /proc/meminfo: memFree=1613880/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=193816 CPUtime=184.65 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 48458 0 0 0 18402 63 0 0 25 0 1 0 126665924 198467584 47981 1992294400 134512640 135751879 4292338192 18446744073709551615 134541480 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 48454 47981 150 303 0 48149 0 Current children cumulated CPU time (s) 184.65 Current children cumulated vsize (KiB) 193816 [startup+184.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 23142 /proc/meminfo: memFree=1613880/2059040 swapFree=4135660/4192956 [pid=23135] ppid=23133 vsize=201088 CPUtime=184.85 /proc/23135/stat : 23135 (wbo1.4b) R 23133 23135 22398 0 -1 4202496 50291 0 0 0 18421 64 0 0 25 0 1 0 126665924 205914112 49814 1992294400 134512640 135751879 4292338192 18446744073709551615 134598910 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23135/statm: 50272 49814 151 303 0 49967 0 Current children cumulated CPU time (s) 184.85 Current children cumulated vsize (KiB) 201088 Child status: 0 Real time (s): 184.936 CPU time (s): 184.893 CPU user time (s): 184.225 CPU system time (s): 0.667898 CPU usage (%): 99.9769 Max. virtual memory (cumulated for all children) (KiB): 201088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 184.225 system time used= 0.667898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50291 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= 90 involuntary context switches= 2129 runsolver used 0.314952 second user time and 0.91586 second system time The end
Begin job on node003 at 2010-06-26 02:03:40 IDJOB=2683564 IDBENCH=72122 IDSOLVER=1161 FILE ID=node003/2683564-1277510620 PBS_JOBID= 11190602 Free space on /tmp= 62392 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand2d8467.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-2683564-1277510620/watcher-2683564-1277510620 -o /tmp/evaluation-result-2683564-1277510620/solver-2683564-1277510620 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683564-1277510620.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 273841d98ff0d22c152be4529d8a88f8 RANDOM SEED=518210244 node003.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.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 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: 1806988 kB Buffers: 43176 kB Cached: 109744 kB SwapCached: 9732 kB Active: 87000 kB Inactive: 78924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1806988 kB SwapTotal: 4192956 kB SwapFree: 4135660 kB Dirty: 3564 kB Writeback: 8 kB AnonPages: 11636 kB Mapped: 8320 kB Slab: 64272 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183160 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2683564-1277510620.opb Free space on /tmp at the end= 62392 MiB End job on node003 at 2010-06-26 02:06:45