Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 6563 | 182.226 | 182.274 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand18b530.cudf.paranoid.opb |
MD5SUM | 7d47423dbe0b5ddfaa03904c8689e004 |
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 | 6563 |
Best CPU time to get the best result obtained on this benchmark | 2.39463 |
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 | 5740 |
Total number of constraints | 25674 |
Number of constraints which are clauses | 25378 |
Number of constraints which are cardinality constraints (but not clauses) | 296 |
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 | 2129 |
Biggest coefficient in the objective function | 1580 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 872158 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1580 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 872158 |
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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2683172-1277507615.opb. 0.00/0.00 c Instance file HOME/instance-2683172-1277507615.opb 0.00/0.00 c File size is 819457 bytes. 0.10/0.11 c Highest Coefficient sum: 553 0.10/0.11 c ============================[ Problem Statistics ]============================= 0.10/0.11 c | | 0.10/0.11 c | Parsing time: 0.11 s | 0.10/0.11 c | Number Variables: 5740 | 0.10/0.11 c | Number Clauses: 25378 | 0.10/0.11 c | Number Cardinality: 296 | 0.10/0.11 c | Number PB Constraints: 0 | 2.20/2.22 c ============================[ Search Statistics ]============================== 2.20/2.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.22 c =============================================================================== 2.20/2.22 c | 0 | 3934 27036 57340 | 8558 0 nan | 0.000 % | 2.20/2.23 c =============================================================================== 2.20/2.23 c New solution: 528335 2.20/2.23 o 528335 2.20/2.23 c Elapsed CPU time: 2.21266 s Remaining CPU time: 177.787 s 2.20/2.23 c =============================================================================== 2.20/2.23 c | 8 | 3934 27037 59372 | 9012 8 7 | 0.000 % | 2.20/2.24 c =============================================================================== 2.20/2.24 c New solution: 504635 2.20/2.24 o 504635 2.20/2.24 c Elapsed CPU time: 2.21966 s Remaining CPU time: 177.78 s 2.20/2.24 c =============================================================================== 2.20/2.24 c | 9 | 3934 27038 61404 | 9012 9 6 | 0.000 % | 2.20/2.25 c =============================================================================== 2.20/2.25 c New solution: 447742 2.20/2.25 o 447742 2.20/2.25 c Elapsed CPU time: 2.22666 s Remaining CPU time: 177.773 s 2.20/2.25 c =============================================================================== 2.20/2.25 c | 18 | 3934 27039 63436 | 9013 18 5 | 0.000 % | 2.20/2.26 c =============================================================================== 2.20/2.26 c New solution: 379753 2.20/2.26 o 379753 2.20/2.26 c Elapsed CPU time: 2.23566 s Remaining CPU time: 177.764 s 2.20/2.26 c =============================================================================== 2.20/2.26 c | 20 | 3934 27040 65468 | 9013 20 5 | 0.000 % | 2.20/2.27 c =============================================================================== 2.20/2.27 c New solution: 379752 2.20/2.27 o 379752 2.20/2.27 c Elapsed CPU time: 2.24566 s Remaining CPU time: 177.754 s 2.20/2.27 c =============================================================================== 2.20/2.27 c | 24 | 3934 27041 67500 | 9013 24 36 | 0.000 % | 2.20/2.30 c =============================================================================== 2.20/2.30 c New solution: 157042 2.20/2.30 o 157042 2.20/2.30 c Elapsed CPU time: 2.27565 s Remaining CPU time: 177.724 s 2.20/2.30 c =============================================================================== 2.20/2.30 c | 80 | 3934 27042 69532 | 9014 80 14 | 0.000 % | 2.30/2.32 c =============================================================================== 2.30/2.32 c New solution: 157016 2.30/2.32 o 157016 2.30/2.32 c Elapsed CPU time: 2.28965 s Remaining CPU time: 177.71 s 2.30/2.32 c =============================================================================== 2.30/2.32 c | 95 | 3934 27043 71564 | 9014 95 18 | 0.000 % | 2.30/2.36 c =============================================================================== 2.30/2.36 c New solution: 155452 2.30/2.36 o 155452 2.30/2.36 c Elapsed CPU time: 2.32965 s Remaining CPU time: 177.67 s 2.30/2.36 c =============================================================================== 2.30/2.36 c | 141 | 3934 27044 73596 | 9014 141 58 | 0.000 % | 2.30/2.38 c =============================================================================== 2.30/2.38 c New solution: 155451 2.30/2.38 o 155451 2.30/2.38 c Elapsed CPU time: 2.34364 s Remaining CPU time: 177.656 s 2.30/2.38 c =============================================================================== 2.30/2.38 c | 151 | 3934 27045 75628 | 9015 151 69 | 0.000 % | 2.39/2.42 c =============================================================================== 2.39/2.42 c New solution: 141294 2.39/2.42 o 141294 2.39/2.42 c Elapsed CPU time: 2.37764 s Remaining CPU time: 177.622 s 2.39/2.42 c =============================================================================== 2.39/2.42 c | 185 | 3934 27046 77660 | 9015 185 60 | 0.000 % | 2.39/2.44 c =============================================================================== 2.39/2.44 c New solution: 134946 2.39/2.44 o 134946 2.39/2.44 c Elapsed CPU time: 2.38964 s Remaining CPU time: 177.61 s 2.39/2.44 c =============================================================================== 2.39/2.44 c | 191 | 3934 27047 79692 | 9015 191 58 | 0.000 % | 2.39/2.45 c =============================================================================== 2.39/2.45 c New solution: 134933 2.39/2.45 o 134933 2.39/2.45 c Elapsed CPU time: 2.40363 s Remaining CPU time: 177.596 s 2.39/2.45 c =============================================================================== 2.39/2.45 c | 196 | 3934 27048 81724 | 9016 196 60 | 0.000 % | 2.39/2.48 c =============================================================================== 2.39/2.48 c New solution: 134930 2.39/2.48 o 134930 2.39/2.48 c Elapsed CPU time: 2.42963 s Remaining CPU time: 177.57 s 2.39/2.48 c =============================================================================== 2.39/2.48 c | 210 | 3934 27049 83756 | 9016 210 65 | 0.000 % | 2.49/2.50 c =============================================================================== 2.49/2.50 c New solution: 125462 2.49/2.50 o 125462 2.49/2.50 c Elapsed CPU time: 2.44763 s Remaining CPU time: 177.552 s 2.49/2.50 c =============================================================================== 2.49/2.50 c | 220 | 3934 27050 85788 | 9016 220 67 | 0.000 % | 2.49/2.51 c =============================================================================== 2.49/2.51 c New solution: 104914 2.49/2.51 o 104914 2.49/2.51 c Elapsed CPU time: 2.45763 s Remaining CPU time: 177.542 s 2.49/2.51 c =============================================================================== 2.49/2.51 c | 224 | 3934 27051 87820 | 9017 224 66 | 0.000 % | 2.49/2.52 c =============================================================================== 2.49/2.52 c New solution: 104913 2.49/2.52 o 104913 2.49/2.52 c Elapsed CPU time: 2.46762 s Remaining CPU time: 177.532 s 2.49/2.52 c =============================================================================== 2.49/2.52 c | 225 | 3934 27052 89852 | 9017 225 69 | 0.000 % | 2.49/2.58 c =============================================================================== 2.49/2.58 c New solution: 104911 2.49/2.58 o 104911 2.49/2.58 c Elapsed CPU time: 2.52462 s Remaining CPU time: 177.475 s 2.49/2.58 c =============================================================================== 2.49/2.58 c | 239 | 3934 27053 91884 | 9017 239 72 | 0.000 % | 2.59/2.61 c =============================================================================== 2.59/2.61 c New solution: 104907 2.59/2.61 o 104907 2.59/2.61 c Elapsed CPU time: 2.54561 s Remaining CPU time: 177.454 s 2.59/2.61 c =============================================================================== 2.59/2.61 c | 251 | 3934 27054 93916 | 9018 251 73 | 0.000 % | 2.59/2.68 c =============================================================================== 2.59/2.68 c New solution: 104906 2.59/2.68 o 104906 2.59/2.68 c Elapsed CPU time: 2.6176 s Remaining CPU time: 177.382 s 2.59/2.68 c =============================================================================== 2.59/2.68 c | 274 | 3934 27055 95948 | 9018 274 106 | 0.000 % | 2.89/2.93 c | 376 | 3934 27055 95948 | 9920 376 198 | 31.463 % | 2.89/2.96 c =============================================================================== 2.89/2.96 c New solution: 104901 2.89/2.96 o 104901 2.89/2.96 c Elapsed CPU time: 2.88956 s Remaining CPU time: 177.11 s 2.89/2.96 c =============================================================================== 2.89/2.96 c | 381 | 3934 27056 97980 | 9018 381 201 | 31.463 % | 2.89/2.99 c =============================================================================== 2.89/2.99 c New solution: 104874 2.89/2.99 o 104874 2.89/2.99 c Elapsed CPU time: 2.92455 s Remaining CPU time: 177.075 s 2.89/2.99 c =============================================================================== 2.89/2.99 c | 384 | 3934 27057 100012 | 9019 384 202 | 31.463 % | 3.09/3.11 c | 484 | 3934 27057 100012 | 9920 484 288 | 31.463 % | 3.19/3.28 c | 634 | 3934 27057 100012 | 10912 634 363 | 31.463 % | 3.49/3.51 c | 859 | 3934 27057 100012 | 12004 859 430 | 31.463 % | 3.79/3.86 c | 1196 | 3934 27057 100012 | 13204 1196 488 | 31.463 % | 3.99/4.04 c =============================================================================== 3.99/4.04 c New solution: 104873 3.99/4.04 o 104873 3.99/4.04 c Elapsed CPU time: 3.9664 s Remaining CPU time: 176.034 s 3.99/4.04 c =============================================================================== 3.99/4.04 c | 1319 | 3934 27058 102044 | 9019 1319 501 | 31.463 % | 4.09/4.12 c =============================================================================== 4.09/4.12 c New solution: 103326 4.09/4.12 o 103326 4.09/4.12 c Elapsed CPU time: 4.03839 s Remaining CPU time: 175.962 s 4.09/4.12 c =============================================================================== 4.09/4.12 c | 1365 | 3934 27059 104076 | 9019 1365 502 | 31.463 % | 4.09/4.15 c =============================================================================== 4.09/4.15 c New solution: 103320 4.09/4.15 o 103320 4.09/4.15 c Elapsed CPU time: 4.07738 s Remaining CPU time: 175.923 s 4.09/4.15 c =============================================================================== 4.09/4.15 c | 1376 | 3934 27060 106108 | 9020 1376 501 | 31.463 % | 4.09/4.18 c =============================================================================== 4.09/4.18 c New solution: 103317 4.09/4.18 o 103317 4.09/4.18 c Elapsed CPU time: 4.10637 s Remaining CPU time: 175.894 s 4.09/4.18 c =============================================================================== 4.09/4.18 c | 1380 | 3934 27061 108140 | 9020 1380 501 | 31.463 % | 4.19/4.22 c =============================================================================== 4.19/4.22 c New solution: 103314 4.19/4.22 o 103314 4.19/4.22 c Elapsed CPU time: 4.13837 s Remaining CPU time: 175.862 s 4.19/4.22 c =============================================================================== 4.19/4.22 c | 1381 | 3934 27062 110172 | 9020 1381 500 | 31.463 % | 4.19/4.26 c =============================================================================== 4.19/4.26 c New solution: 103308 4.19/4.26 o 103308 4.19/4.26 c Elapsed CPU time: 4.17537 s Remaining CPU time: 175.825 s 4.19/4.26 c =============================================================================== 4.19/4.26 c | 1387 | 3934 27063 112204 | 9021 1387 500 | 31.463 % | 4.19/4.27 c =============================================================================== 4.19/4.27 c New solution: 95458 4.19/4.27 o 95458 4.19/4.27 c Elapsed CPU time: 4.18936 s Remaining CPU time: 175.811 s 4.19/4.27 c =============================================================================== 4.19/4.27 c | 1388 | 3934 27064 114236 | 9021 1388 500 | 31.463 % | 4.19/4.29 c =============================================================================== 4.19/4.29 c New solution: 93900 4.19/4.29 o 93900 4.19/4.29 c Elapsed CPU time: 4.20536 s Remaining CPU time: 175.795 s 4.19/4.29 c =============================================================================== 4.19/4.29 c | 1390 | 3934 27065 116268 | 9021 1390 499 | 31.463 % | 4.29/4.31 c =============================================================================== 4.29/4.31 c New solution: 93878 4.29/4.31 o 93878 4.29/4.31 c Elapsed CPU time: 4.21836 s Remaining CPU time: 175.782 s 4.29/4.31 c =============================================================================== 4.29/4.31 c | 1390 | 3934 27066 118300 | 9022 1390 499 | 31.463 % | 4.29/4.32 c =============================================================================== 4.29/4.32 c New solution: 92300 4.29/4.32 o 92300 4.29/4.32 c Elapsed CPU time: 4.23236 s Remaining CPU time: 175.768 s 4.29/4.32 c =============================================================================== 4.29/4.32 c | 1390 | 3934 27067 120332 | 9022 1390 499 | 31.463 % | 4.29/4.34 c =============================================================================== 4.29/4.34 c New solution: 92278 4.29/4.34 o 92278 4.29/4.34 c Elapsed CPU time: 4.24735 s Remaining CPU time: 175.753 s 4.29/4.34 c =============================================================================== 4.29/4.34 c | 1391 | 3934 27068 122364 | 9022 1391 499 | 31.463 % | 4.29/4.35 c =============================================================================== 4.29/4.35 c New solution: 90715 4.29/4.35 o 90715 4.29/4.35 c Elapsed CPU time: 4.26235 s Remaining CPU time: 175.738 s 4.29/4.35 c =============================================================================== 4.29/4.35 c | 1391 | 3934 27069 124396 | 9023 1391 499 | 31.463 % | 4.29/4.37 c =============================================================================== 4.29/4.37 c New solution: 90714 4.29/4.37 o 90714 4.29/4.37 c Elapsed CPU time: 4.27735 s Remaining CPU time: 175.723 s 4.29/4.37 c =============================================================================== 4.29/4.37 c | 1393 | 3934 27070 126428 | 9023 1393 498 | 31.463 % | 4.29/4.38 c =============================================================================== 4.29/4.38 c New solution: 90713 4.29/4.38 o 90713 4.29/4.38 c Elapsed CPU time: 4.29135 s Remaining CPU time: 175.709 s 4.29/4.38 c =============================================================================== 4.29/4.38 c | 1394 | 3934 27071 128460 | 9023 1394 498 | 31.463 % | 4.40/4.41 c =============================================================================== 4.40/4.41 c New solution: 90712 4.40/4.41 o 90712 4.40/4.41 c Elapsed CPU time: 4.31334 s Remaining CPU time: 175.687 s 4.40/4.41 c =============================================================================== 4.40/4.41 c | 1395 | 3934 27072 130492 | 9024 1395 497 | 31.463 % | 4.40/4.42 c =============================================================================== 4.40/4.42 c New solution: 90711 4.40/4.42 o 90711 4.40/4.42 c Elapsed CPU time: 4.32734 s Remaining CPU time: 175.673 s 4.40/4.42 c =============================================================================== 4.40/4.42 c | 1395 | 3934 27073 132524 | 9024 1395 497 | 31.463 % | 4.40/4.44 c =============================================================================== 4.40/4.44 c New solution: 90710 4.40/4.44 o 90710 4.40/4.44 c Elapsed CPU time: 4.34334 s Remaining CPU time: 175.657 s 4.40/4.44 c =============================================================================== 4.40/4.44 c | 1395 | 3934 27074 134556 | 9024 1395 497 | 31.463 % | 4.40/4.46 c =============================================================================== 4.40/4.46 c New solution: 90706 4.40/4.46 o 90706 4.40/4.46 c Elapsed CPU time: 4.36034 s Remaining CPU time: 175.64 s 4.40/4.46 c =============================================================================== 4.40/4.46 c | 1396 | 3934 27075 136588 | 9025 1396 497 | 31.463 % | 4.40/4.47 c =============================================================================== 4.40/4.47 c New solution: 89135 4.40/4.47 o 89135 4.40/4.47 c Elapsed CPU time: 4.37733 s Remaining CPU time: 175.623 s 4.40/4.47 c =============================================================================== 4.40/4.47 c | 1396 | 3934 27076 138620 | 9025 1396 497 | 31.463 % | 4.40/4.49 c =============================================================================== 4.40/4.49 c New solution: 89129 4.40/4.49 o 89129 4.40/4.49 c Elapsed CPU time: 4.39633 s Remaining CPU time: 175.604 s 4.40/4.49 c =============================================================================== 4.40/4.49 c | 1396 | 3934 27077 140652 | 9025 1396 497 | 31.463 % | 4.50/4.51 c =============================================================================== 4.50/4.51 c New solution: 89128 4.50/4.51 o 89128 4.50/4.51 c Elapsed CPU time: 4.41233 s Remaining CPU time: 175.588 s 4.50/4.51 c =============================================================================== 4.50/4.51 c | 1397 | 3934 27078 142684 | 9026 1397 497 | 31.463 % | 4.50/4.53 c =============================================================================== 4.50/4.53 c New solution: 87560 4.50/4.53 o 87560 4.50/4.53 c Elapsed CPU time: 4.43033 s Remaining CPU time: 175.57 s 4.50/4.53 c =============================================================================== 4.50/4.53 c | 1402 | 3934 27079 144716 | 9026 1402 495 | 31.463 % | 4.50/4.56 c =============================================================================== 4.50/4.56 c New solution: 87559 4.50/4.56 o 87559 4.50/4.56 c Elapsed CPU time: 4.45532 s Remaining CPU time: 175.545 s 4.50/4.56 c =============================================================================== 4.50/4.56 c | 1412 | 3934 27080 146748 | 9026 1412 494 | 31.463 % | 4.59/4.61 c =============================================================================== 4.59/4.61 c New solution: 87532 4.59/4.61 o 87532 4.59/4.61 c Elapsed CPU time: 4.50331 s Remaining CPU time: 175.497 s 4.59/4.61 c =============================================================================== 4.59/4.61 c | 1414 | 3934 27081 148780 | 9027 1414 494 | 31.463 % | 4.59/4.68 c =============================================================================== 4.59/4.68 c New solution: 87525 4.59/4.68 o 87525 4.59/4.68 c Elapsed CPU time: 4.5763 s Remaining CPU time: 175.424 s 4.59/4.68 c =============================================================================== 4.59/4.68 c | 1419 | 3934 27082 150812 | 9027 1419 492 | 31.463 % | 4.69/4.72 c =============================================================================== 4.69/4.72 c New solution: 87505 4.69/4.72 o 87505 4.69/4.72 c Elapsed CPU time: 4.6173 s Remaining CPU time: 175.383 s 4.69/4.72 c =============================================================================== 4.69/4.72 c | 1419 | 3934 27083 152844 | 9027 1419 492 | 31.463 % | 4.69/4.77 c =============================================================================== 4.69/4.77 c New solution: 87504 4.69/4.77 o 87504 4.69/4.77 c Elapsed CPU time: 4.65929 s Remaining CPU time: 175.341 s 4.69/4.77 c =============================================================================== 4.69/4.77 c | 1419 | 3934 27084 154876 | 9028 1419 492 | 31.463 % | 4.99/5.05 c | 1519 | 3934 27084 154876 | 9930 1519 498 | 31.463 % | 5.29/5.30 c | 1670 | 3934 27084 154876 | 10923 1670 509 | 31.463 % | 5.39/5.46 c =============================================================================== 5.39/5.46 c New solution: 87503 5.39/5.46 o 87503 5.39/5.46 c Elapsed CPU time: 5.34919 s Remaining CPU time: 174.651 s 5.39/5.46 c =============================================================================== 5.39/5.46 c | 1714 | 3934 27085 156908 | 9028 1714 509 | 31.463 % | 5.50/5.57 c =============================================================================== 5.50/5.57 c New solution: 87502 5.50/5.57 o 87502 5.50/5.57 c Elapsed CPU time: 5.46017 s Remaining CPU time: 174.54 s 5.50/5.57 c =============================================================================== 5.50/5.57 c | 1776 | 3934 27086 158940 | 9028 1776 510 | 31.463 % | 5.79/5.87 c | 1876 | 3934 27086 158940 | 9931 1876 514 | 31.463 % | 6.09/6.17 c | 2026 | 3934 27086 158940 | 10924 2026 523 | 31.463 % | 6.49/6.59 c | 2253 | 3934 27086 158940 | 12017 2253 534 | 31.463 % | 6.59/6.68 c =============================================================================== 6.59/6.68 c New solution: 87501 6.59/6.68 o 87501 6.59/6.68 c Elapsed CPU time: 6.569 s Remaining CPU time: 173.431 s 6.59/6.68 c =============================================================================== 6.59/6.68 c | 2281 | 3934 27087 160972 | 9029 2281 533 | 31.463 % | 6.78/6.80 c =============================================================================== 6.78/6.80 c New solution: 87500 6.78/6.80 o 87500 6.78/6.80 c Elapsed CPU time: 6.68398 s Remaining CPU time: 173.316 s 6.78/6.80 c =============================================================================== 6.78/6.80 c | 2324 | 3934 27088 163004 | 9029 2324 534 | 31.463 % | 6.78/6.87 c =============================================================================== 6.78/6.87 c New solution: 87499 6.78/6.87 o 87499 6.78/6.87 c Elapsed CPU time: 6.74797 s Remaining CPU time: 173.252 s 6.78/6.87 c =============================================================================== 6.78/6.87 c | 2330 | 3934 27089 165036 | 9029 2330 535 | 31.463 % | 6.88/6.90 c =============================================================================== 6.88/6.90 c New solution: 87498 6.88/6.90 o 87498 6.88/6.90 c Elapsed CPU time: 6.78297 s Remaining CPU time: 173.217 s 6.88/6.90 c =============================================================================== 6.88/6.90 c | 2354 | 3934 27090 167068 | 9030 2354 534 | 31.463 % | 6.88/6.95 c =============================================================================== 6.88/6.95 c New solution: 87497 6.88/6.95 o 87497 6.88/6.95 c Elapsed CPU time: 6.82696 s Remaining CPU time: 173.173 s 6.88/6.95 c =============================================================================== 6.88/6.95 c | 2355 | 3934 27091 169100 | 9030 2355 534 | 31.463 % | 6.88/6.99 c =============================================================================== 6.88/6.99 c New solution: 87496 6.88/6.99 o 87496 6.88/6.99 c Elapsed CPU time: 6.87296 s Remaining CPU time: 173.127 s 6.88/6.99 c =============================================================================== 6.88/6.99 c | 2355 | 3934 27092 171132 | 9030 2355 534 | 31.463 % | 6.99/7.04 c =============================================================================== 6.99/7.04 c New solution: 87495 6.99/7.04 o 87495 6.99/7.04 c Elapsed CPU time: 6.91295 s Remaining CPU time: 173.087 s 6.99/7.04 c =============================================================================== 6.99/7.04 c | 2355 | 3934 27093 173164 | 9031 2355 534 | 31.463 % | 7.09/7.19 c =============================================================================== 7.09/7.19 c New solution: 87494 7.09/7.19 o 87494 7.09/7.19 c Elapsed CPU time: 7.06893 s Remaining CPU time: 172.931 s 7.09/7.19 c =============================================================================== 7.09/7.19 c | 2449 | 3934 27094 175196 | 9031 2449 536 | 31.463 % | 7.39/7.41 c | 2550 | 3934 27094 175196 | 9934 2550 539 | 31.463 % | 7.39/7.45 c =============================================================================== 7.39/7.45 c New solution: 87493 7.39/7.45 o 87493 7.39/7.45 c Elapsed CPU time: 7.32988 s Remaining CPU time: 172.67 s 7.39/7.45 c =============================================================================== 7.39/7.45 c | 2551 | 3934 27095 177228 | 9031 2551 539 | 31.463 % | 7.49/7.51 c =============================================================================== 7.49/7.51 c New solution: 87492 7.49/7.51 o 87492 7.49/7.51 c Elapsed CPU time: 7.37888 s Remaining CPU time: 172.621 s 7.49/7.51 c =============================================================================== 7.49/7.51 c | 2551 | 3934 27096 179260 | 9032 2551 539 | 31.463 % | 7.58/7.60 c =============================================================================== 7.58/7.60 c New solution: 87491 7.58/7.60 o 87491 7.58/7.60 c Elapsed CPU time: 7.46986 s Remaining CPU time: 172.53 s 7.58/7.60 c =============================================================================== 7.58/7.60 c | 2556 | 3934 27097 181292 | 9032 2556 539 | 31.463 % | 7.70/7.77 c =============================================================================== 7.70/7.77 c New solution: 87490 7.70/7.77 o 87490 7.70/7.77 c Elapsed CPU time: 7.64184 s Remaining CPU time: 172.358 s 7.70/7.77 c =============================================================================== 7.70/7.77 c | 2649 | 3934 27098 183324 | 9032 2649 538 | 31.463 % | 8.09/8.17 c | 2750 | 3934 27098 183324 | 9935 2750 540 | 31.463 % | 8.39/8.47 c | 2901 | 3934 27098 183324 | 10929 2901 545 | 31.463 % | 8.49/8.55 c =============================================================================== 8.49/8.55 c New solution: 87489 8.49/8.55 o 87489 8.49/8.55 c Elapsed CPU time: 8.41872 s Remaining CPU time: 171.581 s 8.49/8.55 c =============================================================================== 8.49/8.55 c | 2948 | 3934 27099 185356 | 9033 2948 545 | 31.463 % | 8.90/8.99 c =============================================================================== 8.90/8.99 c New solution: 85951 8.90/8.99 o 85951 8.90/8.99 c Elapsed CPU time: 8.85465 s Remaining CPU time: 171.145 s 8.90/8.99 c =============================================================================== 8.90/8.99 c | 3037 | 3934 27100 187388 | 9033 3037 547 | 31.463 % | 8.99/9.07 c =============================================================================== 8.99/9.07 c New solution: 85912 8.99/9.07 o 85912 8.99/9.07 c Elapsed CPU time: 8.93964 s Remaining CPU time: 171.06 s 8.99/9.07 c =============================================================================== 8.99/9.07 c | 3039 | 3934 27101 189420 | 9033 3039 547 | 31.463 % | 9.09/9.19 c =============================================================================== 9.09/9.19 c New solution: 85911 9.09/9.19 o 85911 9.09/9.19 c Elapsed CPU time: 9.05162 s Remaining CPU time: 170.948 s 9.09/9.19 c =============================================================================== 9.09/9.19 c | 3053 | 3934 27102 191452 | 9034 3053 547 | 31.463 % | 9.19/9.25 c =============================================================================== 9.19/9.25 c New solution: 85910 9.19/9.25 o 85910 9.19/9.25 c Elapsed CPU time: 9.11661 s Remaining CPU time: 170.883 s 9.19/9.25 c =============================================================================== 9.19/9.25 c | 3069 | 3934 27103 193484 | 9034 3069 547 | 31.463 % | 9.48/9.55 c | 3171 | 3934 27103 193484 | 9937 3171 549 | 31.463 % | 9.78/9.84 c =============================================================================== 9.78/9.84 c New solution: 85909 9.78/9.84 o 85909 9.78/9.84 c Elapsed CPU time: 9.70252 s Remaining CPU time: 170.297 s 9.78/9.84 c =============================================================================== 9.78/9.84 c | 3202 | 3934 27104 195516 | 9034 3202 549 | 31.463 % | 9.89/9.92 c =============================================================================== 9.89/9.92 c New solution: 85908 9.89/9.92 o 85908 9.89/9.92 c Elapsed CPU time: 9.77751 s Remaining CPU time: 170.222 s 9.89/9.92 c =============================================================================== 9.89/9.92 c | 3221 | 3934 27105 197548 | 9035 3221 549 | 31.463 % | 9.89/9.98 c =============================================================================== 9.89/9.98 c New solution: 85907 9.89/9.98 o 85907 9.89/9.98 c Elapsed CPU time: 9.8405 s Remaining CPU time: 170.159 s 9.89/9.98 c =============================================================================== 9.89/9.98 c | 3237 | 3934 27106 199580 | 9035 3237 549 | 31.463 % | 10.29/10.39 c | 3337 | 3934 27106 199580 | 9938 3337 551 | 31.463 % | 10.59/10.68 c =============================================================================== 10.59/10.68 c New solution: 85906 10.59/10.68 o 85906 10.59/10.68 c Elapsed CPU time: 10.5414 s Remaining CPU time: 169.459 s 10.59/10.68 c =============================================================================== 10.59/10.68 c | 3388 | 3934 27107 201612 | 9035 3388 552 | 31.463 % | 10.79/10.87 c =============================================================================== 10.79/10.87 c New solution: 85905 10.79/10.87 o 85905 10.79/10.87 c Elapsed CPU time: 10.7324 s Remaining CPU time: 169.268 s 10.79/10.87 c =============================================================================== 10.79/10.87 c | 3475 | 3934 27108 203644 | 9036 3475 552 | 31.463 % | 10.89/10.91 c =============================================================================== 10.89/10.91 c New solution: 85904 10.89/10.91 o 85904 10.89/10.91 c Elapsed CPU time: 10.7744 s Remaining CPU time: 169.226 s 10.89/10.91 c =============================================================================== 10.89/10.91 c | 3475 | 3934 27109 205676 | 9036 3475 552 | 31.463 % | 10.89/10.97 c =============================================================================== 10.89/10.97 c New solution: 85903 10.89/10.97 o 85903 10.89/10.97 c Elapsed CPU time: 10.8304 s Remaining CPU time: 169.17 s 10.89/10.97 c =============================================================================== 10.89/10.97 c | 3477 | 3934 27110 207708 | 9036 3477 552 | 31.463 % | 11.00/11.01 c =============================================================================== 11.00/11.01 c New solution: 85902 11.00/11.01 o 85902 11.00/11.01 c Elapsed CPU time: 10.8713 s Remaining CPU time: 169.129 s 11.00/11.01 c =============================================================================== 11.00/11.01 c | 3478 | 3934 27111 209740 | 9037 3478 552 | 31.463 % | 11.00/11.05 c =============================================================================== 11.00/11.05 c New solution: 85901 11.00/11.05 o 85901 11.00/11.05 c Elapsed CPU time: 10.9093 s Remaining CPU time: 169.091 s 11.00/11.05 c =============================================================================== 11.00/11.05 c | 3485 | 3934 27112 211772 | 9037 3485 552 | 31.463 % | 11.00/11.10 c =============================================================================== 11.00/11.10 c New solution: 85900 11.00/11.10 o 85900 11.00/11.10 c Elapsed CPU time: 10.9533 s Remaining CPU time: 169.047 s 11.00/11.10 c =============================================================================== 11.00/11.10 c | 3493 | 3934 27113 213804 | 9037 3493 552 | 31.463 % | 11.39/11.42 c | 3593 | 3934 27113 213804 | 9941 3593 553 | 31.463 % | 11.49/11.51 c =============================================================================== 11.49/11.51 c New solution: 85899 11.49/11.51 o 85899 11.49/11.51 c Elapsed CPU time: 11.3653 s Remaining CPU time: 168.635 s 11.49/11.51 c =============================================================================== 11.49/11.51 c | 3594 | 3934 27114 215836 | 9038 3594 553 | 31.463 % | 11.59/11.62 c =============================================================================== 11.59/11.62 c New solution: 85898 11.59/11.62 o 85898 11.59/11.62 c Elapsed CPU time: 11.4813 s Remaining CPU time: 168.519 s 11.59/11.62 c =============================================================================== 11.59/11.62 c | 3603 | 3934 27115 217868 | 9038 3603 553 | 31.463 % | 11.59/11.67 c =============================================================================== 11.59/11.67 c New solution: 85897 11.59/11.67 o 85897 11.59/11.67 c Elapsed CPU time: 11.5252 s Remaining CPU time: 168.475 s 11.59/11.67 c =============================================================================== 11.59/11.67 c | 3609 | 3934 27116 219900 | 9038 3609 553 | 31.463 % | 11.69/11.79 c =============================================================================== 11.69/11.79 c New solution: 85896 11.69/11.79 o 85896 11.69/11.79 c Elapsed CPU time: 11.6482 s Remaining CPU time: 168.352 s 11.69/11.79 c =============================================================================== 11.69/11.79 c | 3628 | 3934 27117 221932 | 9039 3628 553 | 31.463 % | 11.89/11.92 c =============================================================================== 11.89/11.92 c New solution: 85895 11.89/11.92 o 85895 11.89/11.92 c Elapsed CPU time: 11.7722 s Remaining CPU time: 168.228 s 11.89/11.92 c =============================================================================== 11.89/11.92 c | 3653 | 3934 27118 223964 | 9039 3653 553 | 31.463 % | 12.09/12.16 c | 3753 | 3934 27118 223964 | 9943 3753 554 | 31.463 % | 12.19/12.24 c =============================================================================== 12.19/12.24 c New solution: 85894 12.19/12.24 o 85894 12.19/12.24 c Elapsed CPU time: 12.0932 s Remaining CPU time: 167.907 s 12.19/12.24 c =============================================================================== 12.19/12.24 c | 3754 | 3934 27119 225996 | 9039 3754 554 | 31.463 % | 12.29/12.38 c =============================================================================== 12.29/12.38 c New solution: 85893 12.29/12.38 o 85893 12.29/12.38 c Elapsed CPU time: 12.2311 s Remaining CPU time: 167.769 s 12.29/12.38 c =============================================================================== 12.29/12.38 c | 3767 | 3934 27120 228028 | 9040 3767 554 | 31.463 % | 12.49/12.56 c =============================================================================== 12.49/12.56 c New solution: 85892 12.49/12.56 o 85892 12.49/12.56 c Elapsed CPU time: 12.4141 s Remaining CPU time: 167.586 s 12.49/12.56 c =============================================================================== 12.49/12.56 c | 3790 | 3934 27121 230060 | 9040 3790 554 | 31.463 % | 12.78/12.90 c | 3892 | 3934 27121 230060 | 9944 3892 555 | 31.463 % | 13.29/13.36 c | 4043 | 3934 27121 230060 | 10938 4043 557 | 31.463 % | 13.38/13.43 c =============================================================================== 13.38/13.43 c New solution: 85891 13.38/13.43 o 85891 13.38/13.43 c Elapsed CPU time: 13.278 s Remaining CPU time: 166.722 s 13.38/13.43 c =============================================================================== 13.38/13.43 c | 4044 | 3934 27122 232092 | 9040 4044 557 | 31.463 % | 13.68/13.73 c | 4144 | 3934 27122 232092 | 9944 4144 558 | 31.463 % | 14.19/14.28 c | 4294 | 3934 27122 232092 | 10939 4294 560 | 31.463 % | 14.30/14.38 c =============================================================================== 14.30/14.38 c New solution: 85890 14.30/14.38 o 85890 14.30/14.38 c Elapsed CPU time: 14.2268 s Remaining CPU time: 165.773 s 14.30/14.38 c =============================================================================== 14.30/14.38 c | 4306 | 3934 27123 234124 | 9041 4306 559 | 31.463 % | 14.40/14.49 c =============================================================================== 14.40/14.49 c New solution: 84376 14.40/14.49 o 84376 14.40/14.49 c Elapsed CPU time: 14.3348 s Remaining CPU time: 165.665 s 14.40/14.49 c =============================================================================== 14.40/14.49 c | 4320 | 3934 27124 236156 | 9041 4320 559 | 31.463 % | 14.49/14.57 c =============================================================================== 14.49/14.57 c New solution: 84325 14.49/14.57 o 84325 14.49/14.57 c Elapsed CPU time: 14.4208 s Remaining CPU time: 165.579 s 14.49/14.57 c =============================================================================== 14.49/14.57 c | 4320 | 3934 27125 238188 | 9041 4320 559 | 31.463 % | 14.59/14.66 c =============================================================================== 14.59/14.66 c New solution: 84323 14.59/14.66 o 84323 14.59/14.66 c Elapsed CPU time: 14.5048 s Remaining CPU time: 165.495 s 14.59/14.66 c =============================================================================== 14.59/14.66 c | 4320 | 3934 27126 240220 | 9042 4320 559 | 31.463 % | 14.69/14.79 c =============================================================================== 14.69/14.79 c New solution: 84322 14.69/14.79 o 84322 14.69/14.79 c Elapsed CPU time: 14.6318 s Remaining CPU time: 165.368 s 14.69/14.79 c =============================================================================== 14.69/14.79 c | 4335 | 3934 27127 242252 | 9042 4335 558 | 31.463 % | 14.88/14.92 c =============================================================================== 14.88/14.92 c New solution: 84321 14.88/14.92 o 84321 14.88/14.92 c Elapsed CPU time: 14.7638 s Remaining CPU time: 165.236 s 14.88/14.92 c =============================================================================== 14.88/14.92 c | 4366 | 3934 27128 244284 | 9042 4366 558 | 31.463 % | 14.98/15.00 c =============================================================================== 14.98/15.00 c New solution: 84320 14.98/15.00 o 84320 14.98/15.00 c Elapsed CPU time: 14.8447 s Remaining CPU time: 165.155 s 14.98/15.00 c =============================================================================== 14.98/15.00 c | 4369 | 3934 27129 246316 | 9043 4369 558 | 31.463 % | 14.98/15.03 c =============================================================================== 14.98/15.03 c New solution: 84319 14.98/15.03 o 84319 14.98/15.03 c Elapsed CPU time: 14.8767 s Remaining CPU time: 165.123 s 14.98/15.03 c =============================================================================== 14.98/15.03 c | 4370 | 3934 27130 248348 | 9043 4370 558 | 31.463 % | 15.08/15.12 c =============================================================================== 15.08/15.12 c New solution: 84318 15.08/15.12 o 84318 15.08/15.12 c Elapsed CPU time: 14.9617 s Remaining CPU time: 165.038 s 15.08/15.12 c =============================================================================== 15.08/15.12 c | 4370 | 3934 27131 250380 | 9043 4370 558 | 31.463 % | 15.18/15.20 c =============================================================================== 15.18/15.20 c New solution: 84317 15.18/15.20 o 84317 15.18/15.20 c Elapsed CPU time: 15.0437 s Remaining CPU time: 164.956 s 15.18/15.20 c =============================================================================== 15.18/15.20 c | 4371 | 3934 27132 252412 | 9044 4371 558 | 31.463 % | 15.18/15.29 c =============================================================================== 15.18/15.29 c New solution: 84316 15.18/15.29 o 84316 15.18/15.29 c Elapsed CPU time: 15.1317 s Remaining CPU time: 164.868 s 15.18/15.29 c =============================================================================== 15.18/15.29 c | 4381 | 3934 27133 254444 | 9044 4381 558 | 31.463 % | 15.68/15.71 c | 4481 | 3934 27133 254444 | 9948 4481 559 | 31.463 % | 15.79/15.80 c =============================================================================== 15.79/15.80 c New solution: 84315 15.79/15.80 o 84315 15.79/15.80 c Elapsed CPU time: 15.6426 s Remaining CPU time: 164.357 s 15.79/15.80 c =============================================================================== 15.79/15.80 c | 4482 | 3934 27134 256476 | 9044 4482 559 | 31.463 % | 15.89/15.92 c =============================================================================== 15.89/15.92 c New solution: 84314 15.89/15.92 o 84314 15.89/15.92 c Elapsed CPU time: 15.7556 s Remaining CPU time: 164.244 s 15.89/15.92 c =============================================================================== 15.89/15.92 c | 4492 | 3934 27135 258508 | 9045 4492 559 | 31.463 % | 16.19/16.27 c | 4592 | 3934 27135 258508 | 9949 4592 560 | 31.463 % | 16.29/16.34 c =============================================================================== 16.29/16.34 c New solution: 84313 16.29/16.34 o 84313 16.29/16.34 c Elapsed CPU time: 16.1755 s Remaining CPU time: 163.824 s 16.29/16.34 c =============================================================================== 16.29/16.34 c | 4603 | 3934 27136 260540 | 9045 4603 560 | 31.463 % | 16.39/16.40 c =============================================================================== 16.39/16.40 c New solution: 84312 16.39/16.40 o 84312 16.39/16.40 c Elapsed CPU time: 16.2385 s Remaining CPU time: 163.761 s 16.39/16.40 c =============================================================================== 16.39/16.40 c | 4611 | 3934 27137 262572 | 9045 4611 560 | 31.463 % | 16.89/17.00 c | 4711 | 3934 27137 262572 | 9950 4711 561 | 31.463 % | 17.38/17.49 c | 4861 | 3934 27137 262572 | 10945 4861 562 | 31.463 % | 17.69/17.74 c =============================================================================== 17.69/17.74 c New solution: 84311 17.69/17.74 o 84311 17.69/17.74 c Elapsed CPU time: 17.5723 s Remaining CPU time: 162.428 s 17.69/17.74 c =============================================================================== 17.69/17.74 c | 4922 | 3934 27138 264604 | 9046 4922 563 | 31.463 % | 18.08/18.15 c | 5023 | 3934 27138 264604 | 9950 5023 564 | 31.463 % | 18.18/18.24 c =============================================================================== 18.18/18.24 c New solution: 84310 18.18/18.24 o 84310 18.18/18.24 c Elapsed CPU time: 18.0693 s Remaining CPU time: 161.931 s 18.18/18.24 c =============================================================================== 18.18/18.24 c | 5027 | 3934 27139 266636 | 9046 5027 564 | 31.463 % | 18.28/18.33 c =============================================================================== 18.28/18.33 c New solution: 84309 18.28/18.33 o 84309 18.28/18.33 c Elapsed CPU time: 18.1622 s Remaining CPU time: 161.838 s 18.28/18.33 c =============================================================================== 18.28/18.33 c | 5048 | 3934 27140 268668 | 9046 5048 563 | 31.463 % | 18.58/18.69 c =============================================================================== 18.58/18.69 c New solution: 82793 18.58/18.69 o 82793 18.58/18.69 c Elapsed CPU time: 18.5232 s Remaining CPU time: 161.477 s 18.58/18.69 c =============================================================================== 18.58/18.69 c | 5094 | 3934 27141 270700 | 9047 5094 564 | 31.463 % | 18.80/18.81 c =============================================================================== 18.80/18.81 c New solution: 82753 18.80/18.81 o 82753 18.80/18.81 c Elapsed CPU time: 18.6322 s Remaining CPU time: 161.368 s 18.80/18.81 c =============================================================================== 18.80/18.81 c | 5095 | 3934 27142 272732 | 9047 5095 564 | 31.463 % | 18.89/18.93 c =============================================================================== 18.89/18.93 c New solution: 82750 18.89/18.93 o 82750 18.89/18.93 c Elapsed CPU time: 18.7521 s Remaining CPU time: 161.248 s 18.89/18.93 c =============================================================================== 18.89/18.93 c | 5095 | 3934 27143 274764 | 9047 5095 564 | 31.463 % | 18.98/19.03 c =============================================================================== 18.98/19.03 c New solution: 82749 18.98/19.03 o 82749 18.98/19.03 c Elapsed CPU time: 18.8541 s Remaining CPU time: 161.146 s 18.98/19.03 c =============================================================================== 18.98/19.03 c | 5099 | 3934 27144 276796 | 9048 5099 564 | 31.463 % | 19.08/19.16 c =============================================================================== 19.08/19.16 c New solution: 82748 19.08/19.16 o 82748 19.08/19.16 c Elapsed CPU time: 18.9781 s Remaining CPU time: 161.022 s 19.08/19.16 c =============================================================================== 19.08/19.16 c | 5106 | 3934 27145 278828 | 9048 5106 564 | 31.463 % | 19.18/19.27 c =============================================================================== 19.18/19.27 c New solution: 82747 19.18/19.27 o 82747 19.18/19.27 c Elapsed CPU time: 19.0891 s Remaining CPU time: 160.911 s 19.18/19.27 c =============================================================================== 19.18/19.27 c | 5109 | 3934 27146 280860 | 9048 5109 563 | 31.463 % | 19.58/19.64 c =============================================================================== 19.58/19.64 c New solution: 82746 19.58/19.64 o 82746 19.58/19.64 c Elapsed CPU time: 19.46 s Remaining CPU time: 160.54 s 19.58/19.64 c =============================================================================== 19.58/19.64 c | 5173 | 3934 27147 282892 | 9049 5173 564 | 31.463 % | 19.79/19.85 c =============================================================================== 19.79/19.85 c New solution: 82745 19.79/19.85 o 82745 19.79/19.85 c Elapsed CPU time: 19.664 s Remaining CPU time: 160.336 s 19.79/19.85 c =============================================================================== 19.79/19.85 c | 5218 | 3934 27148 284924 | 9049 5218 564 | 31.463 % | 20.19/20.24 c =============================================================================== 20.19/20.24 c New solution: 82744 20.19/20.24 o 82744 20.19/20.24 c Elapsed CPU time: 20.06 s Remaining CPU time: 159.94 s 20.19/20.24 c =============================================================================== 20.19/20.24 c | 5260 | 3934 27149 286956 | 9049 5260 564 | 31.463 % | 20.39/20.43 c =============================================================================== 20.39/20.43 c New solution: 82743 20.39/20.43 o 82743 20.39/20.43 c Elapsed CPU time: 20.2429 s Remaining CPU time: 159.757 s 20.39/20.43 c =============================================================================== 20.39/20.43 c | 5328 | 3934 27150 288988 | 9050 5328 564 | 31.463 % | 20.58/20.63 c =============================================================================== 20.58/20.63 c New solution: 82742 20.58/20.63 o 82742 20.58/20.63 c Elapsed CPU time: 20.4379 s Remaining CPU time: 159.562 s 20.58/20.63 c =============================================================================== 20.58/20.63 c | 5341 | 3934 27151 291020 | 9050 5341 563 | 31.463 % | 20.68/20.70 c =============================================================================== 20.68/20.70 c New solution: 82741 20.68/20.70 o 82741 20.68/20.70 c Elapsed CPU time: 20.5099 s Remaining CPU time: 159.49 s 20.68/20.70 c =============================================================================== 20.68/20.70 c | 5343 | 3934 27152 293052 | 9050 5343 563 | 31.463 % | 20.68/20.78 c =============================================================================== 20.68/20.78 c New solution: 82740 20.68/20.78 o 82740 20.68/20.78 c Elapsed CPU time: 20.5919 s Remaining CPU time: 159.408 s 20.68/20.78 c =============================================================================== 20.68/20.78 c | 5345 | 3934 27153 295084 | 9051 5345 563 | 31.463 % | 20.99/21.07 c =============================================================================== 20.99/21.07 c New solution: 81242 20.99/21.07 o 81242 20.99/21.07 c Elapsed CPU time: 20.8768 s Remaining CPU time: 159.123 s 20.99/21.07 c =============================================================================== 20.99/21.07 c | 5362 | 3934 27154 297116 | 9051 5362 562 | 31.463 % | 21.08/21.18 c =============================================================================== 21.08/21.18 c New solution: 81176 21.08/21.18 o 81176 21.08/21.18 c Elapsed CPU time: 20.9888 s Remaining CPU time: 159.011 s 21.08/21.18 c =============================================================================== 21.08/21.18 c | 5362 | 3934 27155 299148 | 9051 5362 562 | 31.463 % | 21.28/21.32 c =============================================================================== 21.28/21.32 c New solution: 81175 21.28/21.32 o 81175 21.28/21.32 c Elapsed CPU time: 21.1278 s Remaining CPU time: 158.872 s 21.28/21.32 c =============================================================================== 21.28/21.32 c | 5380 | 3934 27156 301180 | 9052 5380 562 | 31.463 % | 21.39/21.42 c =============================================================================== 21.39/21.42 c New solution: 81174 21.39/21.42 o 81174 21.39/21.42 c Elapsed CPU time: 21.2248 s Remaining CPU time: 158.775 s 21.39/21.42 c =============================================================================== 21.39/21.42 c | 5381 | 3934 27157 303212 | 9052 5381 562 | 31.463 % | 21.49/21.52 c =============================================================================== 21.49/21.52 c New solution: 81173 21.49/21.52 o 81173 21.49/21.52 c Elapsed CPU time: 21.3258 s Remaining CPU time: 158.674 s 21.49/21.52 c =============================================================================== 21.49/21.52 c | 5387 | 3934 27158 305244 | 9052 5387 562 | 31.463 % | 21.59/21.60 c =============================================================================== 21.59/21.60 c New solution: 81172 21.59/21.60 o 81172 21.59/21.60 c Elapsed CPU time: 21.4067 s Remaining CPU time: 158.593 s 21.59/21.60 c =============================================================================== 21.59/21.60 c | 5390 | 3934 27159 307276 | 9053 5390 562 | 31.463 % | 21.69/21.71 c =============================================================================== 21.69/21.71 c New solution: 81171 21.69/21.71 o 81171 21.69/21.71 c Elapsed CPU time: 21.5117 s Remaining CPU time: 158.488 s 21.69/21.71 c =============================================================================== 21.69/21.71 c | 5393 | 3934 27160 309308 | 9053 5393 562 | 31.463 % | 22.29/22.33 c | 5493 | 3934 27160 309308 | 9958 5493 563 | 31.463 % | 22.39/22.42 c =============================================================================== 22.39/22.42 c New solution: 81170 22.39/22.42 o 81170 22.39/22.42 c Elapsed CPU time: 22.2206 s Remaining CPU time: 157.779 s 22.39/22.42 c =============================================================================== 22.39/22.42 c | 5498 | 3934 27161 311340 | 9053 5498 564 | 31.463 % | 22.39/22.49 c =============================================================================== 22.39/22.49 c New solution: 81154 22.39/22.49 o 81154 22.39/22.49 c Elapsed CPU time: 22.2876 s Remaining CPU time: 157.712 s 22.39/22.49 c =============================================================================== 22.39/22.49 c | 5506 | 3934 27162 313372 | 9054 5506 563 | 31.463 % | 22.68/22.79 c | 5607 | 3934 27162 313372 | 9959 5607 564 | 31.463 % | 23.38/23.40 c =============================================================================== 23.38/23.40 c New solution: 79641 23.38/23.40 o 79641 23.38/23.40 c Elapsed CPU time: 23.2045 s Remaining CPU time: 156.796 s 23.38/23.40 c =============================================================================== 23.38/23.40 c | 5690 | 3934 27163 315404 | 9054 5690 564 | 31.463 % | 23.48/23.57 c =============================================================================== 23.48/23.57 c New solution: 79597 23.48/23.57 o 79597 23.48/23.57 c Elapsed CPU time: 23.3694 s Remaining CPU time: 156.631 s 23.48/23.57 c =============================================================================== 23.48/23.57 c | 5693 | 3934 27164 317436 | 9054 5693 564 | 31.463 % | 23.68/23.72 c =============================================================================== 23.68/23.72 c New solution: 79596 23.68/23.72 o 79596 23.68/23.72 c Elapsed CPU time: 23.5154 s Remaining CPU time: 156.485 s 23.68/23.72 c =============================================================================== 23.68/23.72 c | 5693 | 3934 27165 319468 | 9055 5693 564 | 31.463 % | 23.78/23.86 c =============================================================================== 23.78/23.86 c New solution: 79595 23.78/23.86 o 79595 23.78/23.86 c Elapsed CPU time: 23.6594 s Remaining CPU time: 156.341 s 23.78/23.86 c =============================================================================== 23.78/23.86 c | 5696 | 3934 27166 321500 | 9055 5696 564 | 31.463 % | 23.98/24.01 c =============================================================================== 23.98/24.01 c New solution: 79594 23.98/24.01 o 79594 23.98/24.01 c Elapsed CPU time: 23.8064 s Remaining CPU time: 156.194 s 23.98/24.01 c =============================================================================== 23.98/24.01 c | 5701 | 3934 27167 323532 | 9055 5701 564 | 31.463 % | 24.09/24.16 c =============================================================================== 24.09/24.16 c New solution: 79572 24.09/24.16 o 79572 24.09/24.16 c Elapsed CPU time: 23.9524 s Remaining CPU time: 156.048 s 24.09/24.16 c =============================================================================== 24.09/24.16 c | 5705 | 3934 27168 325564 | 9056 5705 564 | 31.463 % | 24.59/24.66 c | 5807 | 3934 27168 325564 | 9961 5807 565 | 31.463 % | 24.89/24.95 c =============================================================================== 24.89/24.95 c New solution: 79571 24.89/24.95 o 79571 24.89/24.95 c Elapsed CPU time: 24.7472 s Remaining CPU time: 155.253 s 24.89/24.95 c =============================================================================== 24.89/24.95 c | 5850 | 3934 27169 327596 | 9056 5850 565 | 31.463 % | 25.48/25.50 c | 5950 | 3934 27169 327596 | 9961 5950 566 | 31.463 % | 26.08/26.17 c | 6100 | 3934 27169 327596 | 10958 6100 565 | 31.463 % | 27.18/27.25 c | 6325 | 3934 27169 327596 | 12053 6325 567 | 31.463 % | 29.58/29.65 c | 6663 | 3934 27169 327596 | 13259 6663 569 | 31.463 % | 29.69/29.80 c =============================================================================== 29.69/29.80 c New solution: 79570 29.69/29.80 o 79570 29.69/29.80 c Elapsed CPU time: 29.5755 s Remaining CPU time: 150.424 s 29.69/29.80 c =============================================================================== 29.69/29.80 c | 6720 | 3934 27170 329628 | 9056 6720 568 | 31.463 % | 29.88/29.92 c =============================================================================== 29.88/29.92 c New solution: 79569 29.88/29.92 o 79569 29.88/29.92 c Elapsed CPU time: 29.7025 s Remaining CPU time: 150.298 s 29.88/29.92 c =============================================================================== 29.88/29.92 c | 6727 | 3934 27171 331660 | 9057 6727 568 | 31.463 % | 30.28/30.37 c | 6827 | 3934 27171 331660 | 9962 6827 569 | 31.463 % | 31.38/31.49 c | 6977 | 3934 27171 331660 | 10958 6977 569 | 31.463 % | 31.58/31.68 c =============================================================================== 31.58/31.68 c New solution: 79568 31.58/31.68 o 79568 31.58/31.68 c Elapsed CPU time: 31.4592 s Remaining CPU time: 148.541 s 31.58/31.68 c =============================================================================== 31.58/31.68 c | 7046 | 3934 27172 333692 | 9057 7046 569 | 31.463 % | 32.08/32.16 c | 7147 | 3934 27172 333692 | 9963 7147 569 | 31.463 % | 32.89/32.96 c | 7297 | 3934 27172 333692 | 10959 7297 570 | 31.463 % | 32.99/33.07 c =============================================================================== 32.99/33.07 c New solution: 79567 32.99/33.07 o 79567 32.99/33.07 c Elapsed CPU time: 32.838 s Remaining CPU time: 147.162 s 32.99/33.07 c =============================================================================== 32.99/33.07 c | 7335 | 3934 27173 335724 | 9057 7335 570 | 31.463 % | 33.38/33.40 c =============================================================================== 33.38/33.40 c New solution: 79566 33.38/33.40 o 79566 33.38/33.40 c Elapsed CPU time: 33.169 s Remaining CPU time: 146.831 s 33.38/33.40 c =============================================================================== 33.38/33.40 c | 7383 | 3934 27174 337756 | 9058 7383 570 | 31.463 % | 33.58/33.63 c =============================================================================== 33.58/33.63 c New solution: 79565 33.58/33.63 o 79565 33.58/33.63 c Elapsed CPU time: 33.4019 s Remaining CPU time: 146.598 s 33.58/33.63 c =============================================================================== 33.58/33.63 c | 7393 | 3934 27175 339788 | 9058 7393 570 | 31.463 % | 34.58/34.65 c | 7493 | 3934 27175 339788 | 9964 7493 570 | 31.463 % | 35.19/35.26 c | 7643 | 3934 27175 339788 | 10960 7643 571 | 31.463 % | 35.48/35.55 c =============================================================================== 35.48/35.55 c New solution: 79564 35.48/35.55 o 79564 35.48/35.55 c Elapsed CPU time: 35.3116 s Remaining CPU time: 144.688 s 35.48/35.55 c =============================================================================== 35.48/35.55 c | 7697 | 3934 27176 341820 | 9058 7697 568 | 31.463 % | 35.68/35.79 c =============================================================================== 35.68/35.79 c New solution: 79563 35.68/35.79 o 79563 35.68/35.79 c Elapsed CPU time: 35.5466 s Remaining CPU time: 144.453 s 35.68/35.79 c =============================================================================== 35.68/35.79 c | 7740 | 3934 27177 343852 | 9059 7740 568 | 31.463 % | 36.08/36.10 c =============================================================================== 36.08/36.10 c New solution: 79562 36.08/36.10 o 79562 36.08/36.10 c Elapsed CPU time: 35.8555 s Remaining CPU time: 144.144 s 36.08/36.10 c =============================================================================== 36.08/36.10 c | 7764 | 3934 27178 345884 | 9059 7764 568 | 31.463 % | 36.18/36.22 c =============================================================================== 36.18/36.22 c New solution: 79561 36.18/36.22 o 79561 36.18/36.22 c Elapsed CPU time: 35.9755 s Remaining CPU time: 144.024 s 36.18/36.22 c =============================================================================== 36.18/36.22 c | 7771 | 3934 27179 347916 | 9059 7771 568 | 31.463 % | 36.39/36.44 c =============================================================================== 36.39/36.44 c New solution: 78060 36.39/36.44 o 78060 36.39/36.44 c Elapsed CPU time: 36.1965 s Remaining CPU time: 143.804 s 36.39/36.44 c =============================================================================== 36.39/36.44 c | 7785 | 3934 27180 349948 | 9060 7785 568 | 31.463 % | 36.48/36.59 c =============================================================================== 36.48/36.59 c New solution: 78017 36.48/36.59 o 78017 36.48/36.59 c Elapsed CPU time: 36.3405 s Remaining CPU time: 143.66 s 36.48/36.59 c =============================================================================== 36.48/36.59 c | 7786 | 3934 27181 351980 | 9060 7786 568 | 31.463 % | 36.69/36.73 c =============================================================================== 36.69/36.73 c New solution: 78003 36.69/36.73 o 78003 36.69/36.73 c Elapsed CPU time: 36.4835 s Remaining CPU time: 143.517 s 36.69/36.73 c =============================================================================== 36.69/36.73 c | 7787 | 3934 27182 354012 | 9060 7787 568 | 31.463 % | 36.79/36.86 c =============================================================================== 36.79/36.86 c New solution: 78002 36.79/36.86 o 78002 36.79/36.86 c Elapsed CPU time: 36.6144 s Remaining CPU time: 143.386 s 36.79/36.86 c =============================================================================== 36.79/36.86 c | 7791 | 3934 27183 356044 | 9061 7791 568 | 31.463 % | 36.88/36.98 c =============================================================================== 36.88/36.98 c New solution: 78001 36.88/36.98 o 78001 36.88/36.98 c Elapsed CPU time: 36.7334 s Remaining CPU time: 143.267 s 36.88/36.98 c =============================================================================== 36.88/36.98 c | 7795 | 3934 27184 358076 | 9061 7795 568 | 31.463 % | 37.68/37.74 c | 7895 | 3934 27184 358076 | 9967 7895 569 | 31.463 % | 37.88/37.92 c =============================================================================== 37.88/37.92 c New solution: 78000 37.88/37.92 o 78000 37.88/37.92 c Elapsed CPU time: 37.6693 s Remaining CPU time: 142.331 s 37.88/37.92 c =============================================================================== 37.88/37.92 c | 7902 | 3934 27185 360108 | 9061 7902 569 | 31.463 % | 37.98/38.04 c =============================================================================== 37.98/38.04 c New solution: 77999 37.98/38.04 o 77999 37.98/38.04 c Elapsed CPU time: 37.7953 s Remaining CPU time: 142.205 s 37.98/38.04 c =============================================================================== 37.98/38.04 c | 7903 | 3934 27186 362140 | 9062 7903 569 | 31.463 % | 38.08/38.17 c =============================================================================== 38.08/38.17 c New solution: 77998 38.08/38.17 o 77998 38.08/38.17 c Elapsed CPU time: 37.9182 s Remaining CPU time: 142.082 s 38.08/38.17 c =============================================================================== 38.08/38.17 c | 7911 | 3934 27187 364172 | 9062 7911 569 | 31.463 % | 38.28/38.30 c =============================================================================== 38.28/38.30 c New solution: 77997 38.28/38.30 o 77997 38.28/38.30 c Elapsed CPU time: 38.0532 s Remaining CPU time: 141.947 s 38.28/38.30 c =============================================================================== 38.28/38.30 c | 7917 | 3934 27188 366204 | 9062 7917 568 | 31.463 % | 38.78/38.81 c =============================================================================== 38.78/38.81 c New solution: 77996 38.78/38.81 o 77996 38.78/38.81 c Elapsed CPU time: 38.5601 s Remaining CPU time: 141.44 s 38.78/38.81 c =============================================================================== 38.78/38.81 c | 7983 | 3934 27189 368236 | 9063 7983 569 | 31.463 % | 38.88/38.97 c =============================================================================== 38.88/38.97 c New solution: 77995 38.88/38.97 o 77995 38.88/38.97 c Elapsed CPU time: 38.7201 s Remaining CPU time: 141.28 s 38.88/38.97 c =============================================================================== 38.88/38.97 c | 7988 | 3934 27190 370268 | 9063 7988 569 | 31.463 % | 38.98/39.04 c =============================================================================== 38.98/39.04 c New solution: 77994 38.98/39.04 o 77994 38.98/39.04 c Elapsed CPU time: 38.7901 s Remaining CPU time: 141.21 s 38.98/39.04 c =============================================================================== 38.98/39.04 c | 8002 | 3934 27191 372300 | 9063 8002 569 | 31.463 % | 39.69/39.73 c | 8102 | 3934 27191 372300 | 9970 8102 569 | 31.463 % | 39.78/39.84 c =============================================================================== 39.78/39.84 c New solution: 77993 39.78/39.84 o 77993 39.78/39.84 c Elapsed CPU time: 39.592 s Remaining CPU time: 140.408 s 39.78/39.84 c =============================================================================== 39.78/39.84 c | 8121 | 3934 27192 374332 | 9064 8121 569 | 31.463 % | 40.08/40.18 c =============================================================================== 40.08/40.18 c New solution: 76475 40.08/40.18 o 76475 40.08/40.18 c Elapsed CPU time: 39.9229 s Remaining CPU time: 140.077 s 40.08/40.18 c =============================================================================== 40.08/40.18 c | 8144 | 3934 27193 376364 | 9064 8144 569 | 31.463 % | 40.28/40.35 c =============================================================================== 40.28/40.35 c New solution: 76448 40.28/40.35 o 76448 40.28/40.35 c Elapsed CPU time: 40.0959 s Remaining CPU time: 139.904 s 40.28/40.35 c =============================================================================== 40.28/40.35 c | 8147 | 3934 27194 378396 | 9064 8147 569 | 31.463 % | 40.48/40.52 c =============================================================================== 40.48/40.52 c New solution: 76447 40.48/40.52 o 76447 40.48/40.52 c Elapsed CPU time: 40.2619 s Remaining CPU time: 139.738 s 40.48/40.52 c =============================================================================== 40.48/40.52 c | 8150 | 3934 27195 380428 | 9065 8150 569 | 31.463 % | 40.58/40.67 c =============================================================================== 40.58/40.67 c New solution: 76428 40.58/40.67 o 76428 40.58/40.67 c Elapsed CPU time: 40.4169 s Remaining CPU time: 139.583 s 40.58/40.67 c =============================================================================== 40.58/40.67 c | 8150 | 3934 27196 382460 | 9065 8150 569 | 31.463 % | 40.79/40.84 c =============================================================================== 40.79/40.84 c New solution: 76427 40.79/40.84 o 76427 40.79/40.84 c Elapsed CPU time: 40.5778 s Remaining CPU time: 139.422 s 40.79/40.84 c =============================================================================== 40.79/40.84 c | 8153 | 3934 27197 384492 | 9065 8153 569 | 31.463 % | 40.98/41.01 c =============================================================================== 40.98/41.01 c New solution: 76426 40.98/41.01 o 76426 40.98/41.01 c Elapsed CPU time: 40.7488 s Remaining CPU time: 139.251 s 40.98/41.01 c =============================================================================== 40.98/41.01 c | 8163 | 3934 27198 386524 | 9066 8163 569 | 31.463 % | 41.58/41.63 c | 8264 | 3934 27198 386524 | 9972 8264 570 | 31.463 % | 42.18/42.26 c | 8415 | 3934 27198 386524 | 10969 8415 570 | 31.463 % | 42.38/42.44 c =============================================================================== 42.38/42.44 c New solution: 76425 42.38/42.44 o 76425 42.38/42.44 c Elapsed CPU time: 42.1736 s Remaining CPU time: 137.826 s 42.38/42.44 c =============================================================================== 42.38/42.44 c | 8420 | 3934 27199 388556 | 9066 8420 570 | 31.463 % | 42.58/42.61 c =============================================================================== 42.58/42.61 c New solution: 76424 42.58/42.61 o 76424 42.58/42.61 c Elapsed CPU time: 42.3456 s Remaining CPU time: 137.654 s 42.58/42.61 c =============================================================================== 42.58/42.61 c | 8422 | 3934 27200 390588 | 9066 8422 570 | 31.463 % | 42.68/42.79 c =============================================================================== 42.68/42.79 c New solution: 76423 42.68/42.79 o 76423 42.68/42.79 c Elapsed CPU time: 42.5285 s Remaining CPU time: 137.471 s 42.68/42.79 c =============================================================================== 42.68/42.79 c | 8428 | 3934 27201 392620 | 9067 8428 570 | 31.463 % | 42.89/42.97 c =============================================================================== 42.89/42.97 c New solution: 76422 42.89/42.97 o 76422 42.89/42.97 c Elapsed CPU time: 42.7055 s Remaining CPU time: 137.294 s 42.89/42.97 c =============================================================================== 42.89/42.97 c | 8430 | 3934 27202 394652 | 9067 8430 570 | 31.463 % | 43.08/43.16 c =============================================================================== 43.08/43.16 c New solution: 76421 43.08/43.16 o 76421 43.08/43.16 c Elapsed CPU time: 42.8995 s Remaining CPU time: 137.101 s 43.08/43.16 c =============================================================================== 43.08/43.16 c | 8431 | 3934 27203 396684 | 9067 8431 570 | 31.463 % | 43.28/43.31 c =============================================================================== 43.28/43.31 c New solution: 76420 43.28/43.31 o 76420 43.28/43.31 c Elapsed CPU time: 43.0505 s Remaining CPU time: 136.95 s 43.28/43.31 c =============================================================================== 43.28/43.31 c | 8451 | 3934 27204 398716 | 9068 8451 570 | 31.463 % | 44.08/44.20 c | 8552 | 3934 27204 398716 | 9974 8552 570 | 31.463 % | 44.28/44.38 c =============================================================================== 44.28/44.38 c New solution: 76419 44.28/44.38 o 76419 44.28/44.38 c Elapsed CPU time: 44.1193 s Remaining CPU time: 135.881 s 44.28/44.38 c =============================================================================== 44.28/44.38 c | 8556 | 3934 27205 400748 | 9068 8556 570 | 31.463 % | 44.97/45.09 c | 8656 | 3934 27205 400748 | 9975 8656 570 | 31.463 % | 45.27/45.39 c =============================================================================== 45.27/45.39 c New solution: 76418 45.27/45.39 o 76418 45.27/45.39 c Elapsed CPU time: 45.1201 s Remaining CPU time: 134.88 s 45.27/45.39 c =============================================================================== 45.27/45.39 c | 8673 | 3934 27206 402780 | 9068 8673 570 | 31.463 % | 45.47/45.52 c =============================================================================== 45.47/45.52 c New solution: 76417 45.47/45.52 o 76417 45.47/45.52 c Elapsed CPU time: 45.2511 s Remaining CPU time: 134.749 s 45.47/45.52 c =============================================================================== 45.47/45.52 c | 8686 | 3934 27207 404812 | 9069 8686 570 | 31.463 % | 45.98/46.07 c =============================================================================== 45.98/46.07 c New solution: 74928 45.98/46.07 o 74928 45.98/46.07 c Elapsed CPU time: 45.8 s Remaining CPU time: 134.2 s 45.98/46.07 c =============================================================================== 45.98/46.07 c | 8717 | 3934 27208 406844 | 9069 8717 570 | 31.463 % | 46.19/46.25 c =============================================================================== 46.19/46.25 c New solution: 74850 46.19/46.25 o 74850 46.19/46.25 c Elapsed CPU time: 45.984 s Remaining CPU time: 134.016 s 46.19/46.25 c =============================================================================== 46.19/46.25 c | 8717 | 3934 27209 408876 | 9069 8717 570 | 31.463 % | 46.38/46.43 c =============================================================================== 46.38/46.43 c New solution: 74837 46.38/46.43 o 74837 46.38/46.43 c Elapsed CPU time: 46.155 s Remaining CPU time: 133.845 s 46.38/46.43 c =============================================================================== 46.38/46.43 c | 8717 | 3934 27210 410908 | 9070 8717 570 | 31.463 % | 46.48/46.59 c =============================================================================== 46.48/46.59 c New solution: 74836 46.48/46.59 o 74836 46.48/46.59 c Elapsed CPU time: 46.322 s Remaining CPU time: 133.678 s 46.48/46.59 c =============================================================================== 46.48/46.59 c | 8717 | 3934 27211 412940 | 9070 8717 570 | 31.463 % | 46.68/46.72 c | 8817 | 3934 27211 412940 | 9977 8817 570 | 31.463 % | 48.18/48.20 c | 8968 | 3934 27211 412940 | 10975 8968 570 | 31.463 % | 48.49/48.53 c =============================================================================== 48.49/48.53 c New solution: 74835 48.49/48.53 o 74835 48.49/48.53 c Elapsed CPU time: 48.2467 s Remaining CPU time: 131.753 s 48.49/48.53 c =============================================================================== 48.49/48.53 c | 9037 | 3934 27212 414972 | 9070 9037 570 | 31.463 % | 49.28/49.36 c =============================================================================== 49.28/49.36 c New solution: 74834 49.28/49.36 o 74834 49.28/49.36 c Elapsed CPU time: 49.0815 s Remaining CPU time: 130.918 s 49.28/49.36 c =============================================================================== 49.28/49.36 c | 9117 | 3934 27213 417004 | 9071 9117 570 | 31.463 % | 49.98/50.06 c | 9217 | 3934 27213 417004 | 9978 9217 570 | 31.463 % | 50.18/50.20 c =============================================================================== 50.18/50.20 c New solution: 74833 50.18/50.20 o 74833 50.18/50.20 c Elapsed CPU time: 49.9194 s Remaining CPU time: 130.081 s 50.18/50.20 c =============================================================================== 50.18/50.20 c | 9220 | 3934 27214 419036 | 9071 9220 570 | 31.463 % | 50.28/50.37 c =============================================================================== 50.28/50.37 c New solution: 74832 50.28/50.37 o 74832 50.28/50.37 c Elapsed CPU time: 50.0904 s Remaining CPU time: 129.91 s 50.28/50.37 c =============================================================================== 50.28/50.37 c | 9223 | 3934 27215 421068 | 9071 9223 570 | 31.463 % | 50.59/50.70 c =============================================================================== 50.59/50.70 c New solution: 74831 50.59/50.70 o 74831 50.59/50.70 c Elapsed CPU time: 50.4183 s Remaining CPU time: 129.582 s 50.59/50.70 c =============================================================================== 50.59/50.70 c | 9262 | 3934 27216 423100 | 9072 9262 570 | 31.463 % | 50.78/50.87 c =============================================================================== 50.78/50.87 c New solution: 74830 50.78/50.87 o 74830 50.78/50.87 c Elapsed CPU time: 50.5873 s Remaining CPU time: 129.413 s 50.78/50.87 c =============================================================================== 50.78/50.87 c | 9262 | 3934 27217 425132 | 9072 9262 570 | 31.463 % | 51.08/51.14 c =============================================================================== 51.08/51.14 c New solution: 74829 51.08/51.14 o 74829 51.08/51.14 c Elapsed CPU time: 50.8543 s Remaining CPU time: 129.146 s 51.08/51.14 c =============================================================================== 51.08/51.14 c | 9266 | 3934 27218 427164 | 9072 9266 570 | 31.463 % | 52.47/52.51 c | 9367 | 3934 27218 427164 | 9979 9367 570 | 31.463 % | 52.57/52.69 c =============================================================================== 52.57/52.69 c New solution: 74828 52.57/52.69 o 74828 52.57/52.69 c Elapsed CPU time: 52.397 s Remaining CPU time: 127.603 s 52.57/52.69 c =============================================================================== 52.57/52.69 c | 9371 | 3934 27219 429196 | 9073 9371 570 | 31.463 % | 52.79/52.85 c =============================================================================== 52.79/52.85 c New solution: 74827 52.79/52.85 o 74827 52.79/52.85 c Elapsed CPU time: 52.562 s Remaining CPU time: 127.438 s 52.79/52.85 c =============================================================================== 52.79/52.85 c | 9373 | 3934 27220 431228 | 9073 9373 570 | 31.463 % | 52.98/53.01 c =============================================================================== 52.98/53.01 c New solution: 74826 52.98/53.01 o 74826 52.98/53.01 c Elapsed CPU time: 52.717 s Remaining CPU time: 127.283 s 52.98/53.01 c =============================================================================== 52.98/53.01 c | 9388 | 3934 27221 433260 | 9073 9388 570 | 31.463 % | 53.08/53.17 c =============================================================================== 53.08/53.17 c New solution: 74825 53.08/53.17 o 74825 53.08/53.17 c Elapsed CPU time: 52.881 s Remaining CPU time: 127.119 s 53.08/53.17 c =============================================================================== 53.08/53.17 c | 9401 | 3934 27222 435292 | 9074 9401 570 | 31.463 % | 53.18/53.24 c =============================================================================== 53.18/53.24 c New solution: 74824 53.18/53.24 o 74824 53.18/53.24 c Elapsed CPU time: 52.946 s Remaining CPU time: 127.054 s 53.18/53.24 c =============================================================================== 53.18/53.24 c | 9402 | 3934 27223 437324 | 9074 9402 570 | 31.463 % | 53.28/53.36 c =============================================================================== 53.28/53.36 c New solution: 74823 53.28/53.36 o 74823 53.28/53.36 c Elapsed CPU time: 53.0679 s Remaining CPU time: 126.932 s 53.28/53.36 c =============================================================================== 53.28/53.36 c | 9406 | 3934 27224 439356 | 9074 9406 570 | 31.463 % | 53.48/53.58 c =============================================================================== 53.48/53.58 c New solution: 74822 53.48/53.58 o 74822 53.48/53.58 c Elapsed CPU time: 53.2859 s Remaining CPU time: 126.714 s 53.48/53.58 c =============================================================================== 53.48/53.58 c | 9414 | 3934 27225 441388 | 9075 9414 570 | 31.463 % | 54.18/54.28 c | 9515 | 3934 27225 441388 | 9982 9515 570 | 31.463 % | 54.58/54.63 c =============================================================================== 54.58/54.63 c New solution: 74821 54.58/54.63 o 74821 54.58/54.63 c Elapsed CPU time: 54.3327 s Remaining CPU time: 125.667 s 54.58/54.63 c =============================================================================== 54.58/54.63 c | 9550 | 3934 27226 443420 | 9075 9550 570 | 31.463 % | 55.38/55.46 c | 9651 | 3934 27226 443420 | 9982 9651 571 | 31.463 % | 55.88/55.95 c =============================================================================== 55.88/55.95 c New solution: 74820 55.88/55.95 o 74820 55.88/55.95 c Elapsed CPU time: 55.6565 s Remaining CPU time: 124.343 s 55.88/55.95 c =============================================================================== 55.88/55.95 c | 9713 | 3934 27227 445452 | 9075 9713 571 | 31.463 % | 55.97/56.06 c =============================================================================== 55.97/56.06 c New solution: 74819 55.97/56.06 o 74819 55.97/56.06 c Elapsed CPU time: 55.7615 s Remaining CPU time: 124.238 s 55.97/56.06 c =============================================================================== 55.97/56.06 c | 9721 | 3934 27228 447484 | 9076 9721 571 | 31.463 % | 56.18/56.23 c =============================================================================== 56.18/56.23 c New solution: 74818 56.18/56.23 o 74818 56.18/56.23 c Elapsed CPU time: 55.9335 s Remaining CPU time: 124.067 s 56.18/56.23 c =============================================================================== 56.18/56.23 c | 9747 | 3934 27229 449516 | 9076 9747 571 | 31.463 % | 57.28/57.34 c | 9847 | 3934 27229 449516 | 9983 9847 571 | 31.463 % | 57.47/57.54 c =============================================================================== 57.47/57.54 c New solution: 74817 57.47/57.54 o 74817 57.47/57.54 c Elapsed CPU time: 57.2433 s Remaining CPU time: 122.757 s 57.47/57.54 c =============================================================================== 57.47/57.54 c | 9852 | 3934 27230 451548 | 9076 9852 571 | 31.463 % | 58.17/58.21 c | 9953 | 3934 27230 451548 | 9984 9953 571 | 31.463 % | 58.28/58.31 c =============================================================================== 58.28/58.31 c New solution: 74816 58.28/58.31 o 74816 58.28/58.31 c Elapsed CPU time: 58.0072 s Remaining CPU time: 121.993 s 58.28/58.31 c =============================================================================== 58.28/58.31 c | 9966 | 3934 27231 453580 | 9077 9966 571 | 31.463 % | 58.57/58.69 c =============================================================================== 58.57/58.69 c New solution: 74815 58.57/58.69 o 74815 58.57/58.69 c Elapsed CPU time: 58.3931 s Remaining CPU time: 121.607 s 58.57/58.69 c =============================================================================== 58.57/58.69 c | 10004 | 3934 27232 455612 | 9077 10004 571 | 31.463 % | 59.27/59.36 c | 10105 | 3934 27232 455612 | 9985 10105 571 | 31.463 % | 59.88/59.91 c =============================================================================== 59.88/59.91 c New solution: 74814 59.88/59.91 o 74814 59.88/59.91 c Elapsed CPU time: 59.6039 s Remaining CPU time: 120.396 s 59.88/59.91 c =============================================================================== 59.88/59.91 c | 10195 | 3934 27233 457644 | 9077 10195 571 | 31.463 % | 59.98/60.06 c =============================================================================== 59.98/60.06 c New solution: 74813 59.98/60.06 o 74813 59.98/60.06 c Elapsed CPU time: 59.7589 s Remaining CPU time: 120.241 s 59.98/60.06 c =============================================================================== 59.98/60.06 c | 10197 | 3934 27234 459676 | 9078 10197 571 | 31.463 % | 60.18/60.25 c =============================================================================== 60.18/60.25 c New solution: 74812 60.18/60.25 o 74812 60.18/60.25 c Elapsed CPU time: 59.9439 s Remaining CPU time: 120.056 s 60.18/60.25 c =============================================================================== 60.18/60.25 c | 10205 | 3934 27235 461708 | 9078 10205 571 | 31.463 % | 61.38/61.41 c | 10305 | 3934 27235 461708 | 9986 10305 570 | 31.463 % | 61.88/61.99 c =============================================================================== 61.88/61.99 c New solution: 73331 61.88/61.99 o 73331 61.88/61.99 c Elapsed CPU time: 61.6816 s Remaining CPU time: 118.318 s 61.88/61.99 c =============================================================================== 61.88/61.99 c | 10325 | 3934 27236 463740 | 9078 10325 570 | 31.463 % | 62.17/62.22 c =============================================================================== 62.17/62.22 c New solution: 73289 62.17/62.22 o 73289 62.17/62.22 c Elapsed CPU time: 61.9146 s Remaining CPU time: 118.085 s 62.17/62.22 c =============================================================================== 62.17/62.22 c | 10329 | 3934 27237 465772 | 9079 10329 570 | 31.463 % | 62.37/62.43 c =============================================================================== 62.37/62.43 c New solution: 73281 62.37/62.43 o 73281 62.37/62.43 c Elapsed CPU time: 62.1186 s Remaining CPU time: 117.881 s 62.37/62.43 c =============================================================================== 62.37/62.43 c | 10331 | 3934 27238 467804 | 9079 10331 570 | 31.463 % | 62.57/62.66 c =============================================================================== 62.57/62.66 c New solution: 73270 62.57/62.66 o 73270 62.57/62.66 c Elapsed CPU time: 62.3495 s Remaining CPU time: 117.65 s 62.57/62.66 c =============================================================================== 62.57/62.66 c | 10334 | 3934 27239 469836 | 9079 10334 570 | 31.463 % | 62.78/62.86 c =============================================================================== 62.78/62.86 c New solution: 73269 62.78/62.86 o 73269 62.78/62.86 c Elapsed CPU time: 62.5505 s Remaining CPU time: 117.45 s 62.78/62.86 c =============================================================================== 62.78/62.86 c | 10337 | 3934 27240 471868 | 9080 10337 570 | 31.463 % | 62.97/63.09 c =============================================================================== 62.97/63.09 c New solution: 73268 62.97/63.09 o 73268 62.97/63.09 c Elapsed CPU time: 62.7765 s Remaining CPU time: 117.224 s 62.97/63.09 c =============================================================================== 62.97/63.09 c | 10337 | 3934 27241 473900 | 9080 10337 570 | 31.463 % | 63.17/63.29 c =============================================================================== 63.17/63.29 c New solution: 73267 63.17/63.29 o 73267 63.17/63.29 c Elapsed CPU time: 62.9814 s Remaining CPU time: 117.019 s 63.17/63.29 c =============================================================================== 63.17/63.29 c | 10340 | 3934 27242 475932 | 9080 10340 570 | 31.463 % | 63.37/63.43 c =============================================================================== 63.37/63.43 c New solution: 73266 63.37/63.43 o 73266 63.37/63.43 c Elapsed CPU time: 63.1234 s Remaining CPU time: 116.877 s 63.37/63.43 c =============================================================================== 63.37/63.43 c | 10343 | 3934 27243 477964 | 9081 10343 570 | 31.463 % | 63.57/63.65 c =============================================================================== 63.57/63.65 c New solution: 73265 63.57/63.65 o 73265 63.57/63.65 c Elapsed CPU time: 63.3364 s Remaining CPU time: 116.664 s 63.57/63.65 c =============================================================================== 63.57/63.65 c | 10378 | 3934 27244 479996 | 9081 10378 569 | 31.463 % | 63.78/63.87 c =============================================================================== 63.78/63.87 c New solution: 73264 63.78/63.87 o 73264 63.78/63.87 c Elapsed CPU time: 63.5613 s Remaining CPU time: 116.439 s 63.78/63.87 c =============================================================================== 63.78/63.87 c | 10379 | 3934 27245 482028 | 9081 10379 569 | 31.463 % | 63.97/64.07 c =============================================================================== 63.97/64.07 c New solution: 73263 63.97/64.07 o 73263 63.97/64.07 c Elapsed CPU time: 63.7603 s Remaining CPU time: 116.24 s 63.97/64.07 c =============================================================================== 63.97/64.07 c | 10380 | 3934 27246 484060 | 9082 10380 569 | 31.463 % | 64.88/64.93 c | 10480 | 3934 27246 484060 | 9990 10480 570 | 31.463 % | 65.07/65.16 c =============================================================================== 65.07/65.16 c New solution: 73262 65.07/65.16 o 73262 65.07/65.16 c Elapsed CPU time: 64.8471 s Remaining CPU time: 115.153 s 65.07/65.16 c =============================================================================== 65.07/65.16 c | 10486 | 3934 27247 486092 | 9082 10486 570 | 31.463 % | 65.28/65.32 c =============================================================================== 65.28/65.32 c New solution: 73261 65.28/65.32 o 73261 65.28/65.32 c Elapsed CPU time: 65.0021 s Remaining CPU time: 114.998 s 65.28/65.32 c =============================================================================== 65.28/65.32 c | 10502 | 3934 27248 488124 | 9082 10502 570 | 31.463 % | 65.47/65.55 c =============================================================================== 65.47/65.55 c New solution: 73260 65.47/65.55 o 73260 65.47/65.55 c Elapsed CPU time: 65.2351 s Remaining CPU time: 114.765 s 65.47/65.55 c =============================================================================== 65.47/65.55 c | 10510 | 3934 27249 490156 | 9083 10510 570 | 31.463 % | 65.67/65.73 c =============================================================================== 65.67/65.73 c New solution: 73259 65.67/65.73 o 73259 65.67/65.73 c Elapsed CPU time: 65.4071 s Remaining CPU time: 114.593 s 65.67/65.73 c =============================================================================== 65.67/65.73 c | 10513 | 3934 27250 492188 | 9083 10513 570 | 31.463 % | 65.87/65.95 c =============================================================================== 65.87/65.95 c New solution: 73258 65.87/65.95 o 73258 65.87/65.95 c Elapsed CPU time: 65.631 s Remaining CPU time: 114.369 s 65.87/65.95 c =============================================================================== 65.87/65.95 c | 10515 | 3934 27251 494220 | 9083 10515 570 | 31.463 % | 66.57/66.65 c | 10615 | 3934 27251 494220 | 9992 10615 570 | 31.463 % | 66.77/66.84 c =============================================================================== 66.77/66.84 c New solution: 73257 66.77/66.84 o 73257 66.77/66.84 c Elapsed CPU time: 66.5199 s Remaining CPU time: 113.48 s 66.77/66.84 c =============================================================================== 66.77/66.84 c | 10620 | 3934 27252 496252 | 9084 10620 570 | 31.463 % | 66.97/67.04 c =============================================================================== 66.97/67.04 c New solution: 73256 66.97/67.04 o 73256 66.97/67.04 c Elapsed CPU time: 66.7199 s Remaining CPU time: 113.28 s 66.97/67.04 c =============================================================================== 66.97/67.04 c | 10623 | 3934 27253 498284 | 9084 10623 570 | 31.463 % | 67.18/67.24 c =============================================================================== 67.18/67.24 c New solution: 73255 67.18/67.24 o 73255 67.18/67.24 c Elapsed CPU time: 66.9128 s Remaining CPU time: 113.087 s 67.18/67.24 c =============================================================================== 67.18/67.24 c | 10625 | 3934 27254 500316 | 9084 10625 570 | 31.463 % | 67.38/67.47 c =============================================================================== 67.38/67.47 c New solution: 73254 67.38/67.47 o 73254 67.38/67.47 c Elapsed CPU time: 67.1468 s Remaining CPU time: 112.853 s 67.38/67.47 c =============================================================================== 67.38/67.47 c | 10626 | 3934 27255 502348 | 9085 10626 570 | 31.463 % | 67.58/67.68 c =============================================================================== 67.58/67.68 c New solution: 73253 67.58/67.68 o 73253 67.58/67.68 c Elapsed CPU time: 67.3578 s Remaining CPU time: 112.642 s 67.58/67.68 c =============================================================================== 67.58/67.68 c | 10632 | 3934 27256 504380 | 9085 10632 570 | 31.463 % | 67.78/67.83 c =============================================================================== 67.78/67.83 c New solution: 73252 67.78/67.83 o 73252 67.78/67.83 c Elapsed CPU time: 67.5007 s Remaining CPU time: 112.499 s 67.78/67.83 c =============================================================================== 67.78/67.83 c | 10649 | 3934 27257 506412 | 9085 10649 570 | 31.463 % | 68.18/68.22 c =============================================================================== 68.18/68.22 c New solution: 73251 68.18/68.22 o 73251 68.18/68.22 c Elapsed CPU time: 67.8967 s Remaining CPU time: 112.103 s 68.18/68.22 c =============================================================================== 68.18/68.22 c | 10688 | 3934 27258 508444 | 9086 10688 570 | 31.463 % | 68.37/68.48 c =============================================================================== 68.37/68.48 c New solution: 73250 68.37/68.48 o 73250 68.37/68.48 c Elapsed CPU time: 68.1486 s Remaining CPU time: 111.851 s 68.37/68.48 c =============================================================================== 68.37/68.48 c | 10733 | 3934 27259 510476 | 9086 10733 570 | 31.463 % | 69.38/69.47 c | 10834 | 3934 27259 510476 | 9994 10834 570 | 31.463 % | 70.07/70.19 c =============================================================================== 70.07/70.19 c New solution: 73249 70.07/70.19 o 73249 70.07/70.19 c Elapsed CPU time: 69.8594 s Remaining CPU time: 110.141 s 70.07/70.19 c =============================================================================== 70.07/70.19 c | 10931 | 3934 27260 512508 | 9086 10931 570 | 31.463 % | 70.38/70.44 c =============================================================================== 70.38/70.44 c New solution: 73248 70.38/70.44 o 73248 70.38/70.44 c Elapsed CPU time: 70.1043 s Remaining CPU time: 109.896 s 70.38/70.44 c =============================================================================== 70.38/70.44 c | 10933 | 3934 27261 514540 | 9087 5468 544 | 31.463 % | 71.07/71.12 c =============================================================================== 71.07/71.12 c New solution: 73247 71.07/71.12 o 73247 71.07/71.12 c Elapsed CPU time: 70.7832 s Remaining CPU time: 109.217 s 71.07/71.12 c =============================================================================== 71.07/71.12 c | 11024 | 3934 27262 516572 | 9087 5559 545 | 31.463 % | 71.27/71.36 c =============================================================================== 71.27/71.36 c New solution: 73246 71.27/71.36 o 73246 71.27/71.36 c Elapsed CPU time: 71.0232 s Remaining CPU time: 108.977 s 71.27/71.36 c =============================================================================== 71.27/71.36 c | 11036 | 3934 27263 518604 | 9087 5571 544 | 31.463 % | 72.17/72.27 c | 11136 | 3934 27263 518604 | 9996 5671 545 | 31.463 % | 73.08/73.10 c =============================================================================== 73.08/73.10 c New solution: 73245 73.08/73.10 o 73245 73.08/73.10 c Elapsed CPU time: 72.7669 s Remaining CPU time: 107.233 s 73.08/73.10 c =============================================================================== 73.08/73.10 c | 11267 | 3934 27264 520636 | 9088 5802 545 | 31.463 % | 73.58/73.64 c | 11368 | 3934 27264 520636 | 9996 5903 546 | 31.463 % | 74.57/74.66 c | 11518 | 3934 27264 520636 | 10996 6053 547 | 31.463 % | 74.97/75.09 c =============================================================================== 74.97/75.09 c New solution: 73244 74.97/75.09 o 73244 74.97/75.09 c Elapsed CPU time: 74.7466 s Remaining CPU time: 105.253 s 74.97/75.09 c =============================================================================== 74.97/75.09 c | 11544 | 3934 27265 522668 | 9088 6079 547 | 31.463 % | 75.47/75.57 c =============================================================================== 75.47/75.57 c New solution: 73243 75.47/75.57 o 73243 75.47/75.57 c Elapsed CPU time: 75.2266 s Remaining CPU time: 104.773 s 75.47/75.57 c =============================================================================== 75.47/75.57 c | 11588 | 3934 27266 524700 | 9088 6123 547 | 31.463 % | 76.27/76.35 c =============================================================================== 76.27/76.35 c New solution: 73242 76.27/76.35 o 73242 76.27/76.35 c Elapsed CPU time: 76.0074 s Remaining CPU time: 103.993 s 76.27/76.35 c =============================================================================== 76.27/76.35 c | 11663 | 3934 27267 526732 | 9089 6198 548 | 31.463 % | 76.77/76.81 c =============================================================================== 76.77/76.81 c New solution: 73241 76.77/76.81 o 73241 76.77/76.81 c Elapsed CPU time: 76.4654 s Remaining CPU time: 103.535 s 76.77/76.81 c =============================================================================== 76.77/76.81 c | 11676 | 3934 27268 528764 | 9089 6211 548 | 31.463 % | 76.97/77.09 c =============================================================================== 76.97/77.09 c New solution: 73240 76.97/77.09 o 73240 76.97/77.09 c Elapsed CPU time: 76.7433 s Remaining CPU time: 103.257 s 76.97/77.09 c =============================================================================== 76.97/77.09 c | 11701 | 3934 27269 530796 | 9089 6236 548 | 31.463 % | 77.48/77.50 c =============================================================================== 77.48/77.50 c New solution: 73239 77.48/77.50 o 73239 77.48/77.50 c Elapsed CPU time: 77.1553 s Remaining CPU time: 102.845 s 77.48/77.50 c =============================================================================== 77.48/77.50 c | 11772 | 3934 27270 532828 | 9090 6307 548 | 31.463 % | 79.18/79.26 c | 11872 | 3934 27270 532828 | 9999 6407 549 | 31.463 % | 79.77/79.83 c =============================================================================== 79.77/79.83 c New solution: 71767 79.77/79.83 o 71767 79.77/79.83 c Elapsed CPU time: 79.4789 s Remaining CPU time: 100.521 s 79.77/79.83 c =============================================================================== 79.77/79.83 c | 11889 | 3934 27271 534860 | 9090 6424 548 | 31.463 % | 80.17/80.24 c =============================================================================== 80.17/80.24 c New solution: 71731 80.17/80.24 o 71731 80.17/80.24 c Elapsed CPU time: 79.8909 s Remaining CPU time: 100.109 s 80.17/80.24 c =============================================================================== 80.17/80.24 c | 11898 | 3934 27272 536892 | 9090 6433 548 | 31.463 % | 80.47/80.53 c =============================================================================== 80.47/80.53 c New solution: 71730 80.47/80.53 o 71730 80.47/80.53 c Elapsed CPU time: 80.1768 s Remaining CPU time: 99.8232 s 80.47/80.53 c =============================================================================== 80.47/80.53 c | 11902 | 3934 27273 538924 | 9091 6437 548 | 31.463 % | 80.77/80.86 c =============================================================================== 80.77/80.86 c New solution: 71729 80.77/80.86 o 71729 80.77/80.86 c Elapsed CPU time: 80.5018 s Remaining CPU time: 99.4982 s 80.77/80.86 c =============================================================================== 80.77/80.86 c | 11905 | 3934 27274 540956 | 9091 6440 548 | 31.463 % | 80.97/81.09 c =============================================================================== 80.97/81.09 c New solution: 71728 80.97/81.09 o 71728 80.97/81.09 c Elapsed CPU time: 80.7347 s Remaining CPU time: 99.2653 s 80.97/81.09 c =============================================================================== 80.97/81.09 c | 11905 | 3934 27275 542988 | 9091 6440 548 | 31.463 % | 81.27/81.30 c =============================================================================== 81.27/81.30 c New solution: 71716 81.27/81.30 o 71716 81.27/81.30 c Elapsed CPU time: 80.9437 s Remaining CPU time: 99.0563 s 81.27/81.30 c =============================================================================== 81.27/81.30 c | 11905 | 3934 27276 545020 | 9092 6440 548 | 31.463 % | 81.47/81.52 c =============================================================================== 81.47/81.52 c New solution: 71715 81.47/81.52 o 71715 81.47/81.52 c Elapsed CPU time: 81.1657 s Remaining CPU time: 98.8343 s 81.47/81.52 c =============================================================================== 81.47/81.52 c | 11907 | 3934 27277 547052 | 9092 6442 548 | 31.463 % | 81.67/81.75 c =============================================================================== 81.67/81.75 c New solution: 71714 81.67/81.75 o 71714 81.67/81.75 c Elapsed CPU time: 81.3926 s Remaining CPU time: 98.6074 s 81.67/81.75 c =============================================================================== 81.67/81.75 c | 11911 | 3934 27278 549084 | 9092 6446 548 | 31.463 % | 81.97/82.03 c =============================================================================== 81.97/82.03 c New solution: 71713 81.97/82.03 o 71713 81.97/82.03 c Elapsed CPU time: 81.6696 s Remaining CPU time: 98.3304 s 81.97/82.03 c =============================================================================== 81.97/82.03 c | 11911 | 3934 27279 551116 | 9093 6446 548 | 31.463 % | 82.27/82.30 c =============================================================================== 82.27/82.30 c New solution: 71712 82.27/82.30 o 71712 82.27/82.30 c Elapsed CPU time: 81.9405 s Remaining CPU time: 98.0595 s 82.27/82.30 c =============================================================================== 82.27/82.30 c | 11911 | 3934 27280 553148 | 9093 6446 548 | 31.463 % | 82.48/82.58 c =============================================================================== 82.48/82.58 c New solution: 71711 82.48/82.58 o 71711 82.48/82.58 c Elapsed CPU time: 82.2255 s Remaining CPU time: 97.7745 s 82.48/82.58 c =============================================================================== 82.48/82.58 c | 11912 | 3934 27281 555180 | 9093 6447 548 | 31.463 % | 82.77/82.87 c =============================================================================== 82.77/82.87 c New solution: 71710 82.77/82.87 o 71710 82.77/82.87 c Elapsed CPU time: 82.5045 s Remaining CPU time: 97.4955 s 82.77/82.87 c =============================================================================== 82.77/82.87 c | 11912 | 3934 27282 557212 | 9094 6447 548 | 31.463 % | 83.07/83.14 c =============================================================================== 83.07/83.14 c New solution: 71709 83.07/83.14 o 71709 83.07/83.14 c Elapsed CPU time: 82.7774 s Remaining CPU time: 97.2226 s 83.07/83.14 c =============================================================================== 83.07/83.14 c | 11912 | 3934 27283 559244 | 9094 6447 548 | 31.463 % | 83.27/83.35 c =============================================================================== 83.27/83.35 c New solution: 71708 83.27/83.35 o 71708 83.27/83.35 c Elapsed CPU time: 82.9894 s Remaining CPU time: 97.0106 s 83.27/83.35 c =============================================================================== 83.27/83.35 c | 11913 | 3934 27284 561276 | 9094 6448 548 | 31.463 % | 83.58/83.61 c =============================================================================== 83.58/83.61 c New solution: 71707 83.58/83.61 o 71707 83.58/83.61 c Elapsed CPU time: 83.2463 s Remaining CPU time: 96.7537 s 83.58/83.61 c =============================================================================== 83.58/83.61 c | 11917 | 3934 27285 563308 | 9095 6452 548 | 31.463 % | 83.87/83.90 c =============================================================================== 83.87/83.90 c New solution: 71706 83.87/83.90 o 71706 83.87/83.90 c Elapsed CPU time: 83.5343 s Remaining CPU time: 96.4657 s 83.87/83.90 c =============================================================================== 83.87/83.90 c | 11923 | 3934 27286 565340 | 9095 6458 548 | 31.463 % | 84.07/84.16 c =============================================================================== 84.07/84.16 c New solution: 71696 84.07/84.16 o 71696 84.07/84.16 c Elapsed CPU time: 83.8003 s Remaining CPU time: 96.1997 s 84.07/84.16 c =============================================================================== 84.07/84.16 c | 11924 | 3934 27287 567372 | 9095 6459 548 | 31.463 % | 84.27/84.38 c =============================================================================== 84.27/84.38 c New solution: 71695 84.27/84.38 o 71695 84.27/84.38 c Elapsed CPU time: 84.0172 s Remaining CPU time: 95.9828 s 84.27/84.38 c =============================================================================== 84.27/84.38 c | 11925 | 3934 27288 569404 | 9096 6460 548 | 31.463 % | 84.56/84.64 c =============================================================================== 84.56/84.64 c New solution: 71694 84.56/84.64 o 71694 84.56/84.64 c Elapsed CPU time: 84.2712 s Remaining CPU time: 95.7288 s 84.56/84.64 c =============================================================================== 84.56/84.64 c | 11927 | 3934 27289 571436 | 9096 6462 548 | 31.463 % | 84.87/84.98 c =============================================================================== 84.87/84.98 c New solution: 71693 84.87/84.98 o 71693 84.87/84.98 c Elapsed CPU time: 84.6131 s Remaining CPU time: 95.3869 s 84.87/84.98 c =============================================================================== 84.87/84.98 c | 11955 | 3934 27290 573468 | 9096 6490 548 | 31.463 % | 85.17/85.25 c =============================================================================== 85.17/85.25 c New solution: 71688 85.17/85.25 o 71688 85.17/85.25 c Elapsed CPU time: 84.8821 s Remaining CPU time: 95.1179 s 85.17/85.25 c =============================================================================== 85.17/85.25 c | 11956 | 3934 27291 575500 | 9097 6491 548 | 31.463 % | 85.37/85.42 c =============================================================================== 85.37/85.42 c New solution: 71687 85.37/85.42 o 71687 85.37/85.42 c Elapsed CPU time: 85.0541 s Remaining CPU time: 94.9459 s 85.37/85.42 c =============================================================================== 85.37/85.42 c | 11971 | 3934 27292 577532 | 9097 6506 548 | 31.463 % | 85.57/85.66 c =============================================================================== 85.57/85.66 c New solution: 71686 85.57/85.66 o 71686 85.57/85.66 c Elapsed CPU time: 85.293 s Remaining CPU time: 94.707 s 85.57/85.66 c =============================================================================== 85.57/85.66 c | 11974 | 3934 27293 579564 | 9097 6509 548 | 31.463 % | 86.98/87.05 c | 12075 | 3934 27293 579564 | 10007 6610 549 | 31.463 % | 87.27/87.30 c =============================================================================== 87.27/87.30 c New solution: 71685 87.27/87.30 o 71685 87.27/87.30 c Elapsed CPU time: 86.9288 s Remaining CPU time: 93.0712 s 87.27/87.30 c =============================================================================== 87.27/87.30 c | 12085 | 3934 27294 581596 | 9098 6620 549 | 31.463 % | 87.47/87.56 c =============================================================================== 87.47/87.56 c New solution: 71684 87.47/87.56 o 71684 87.47/87.56 c Elapsed CPU time: 87.1907 s Remaining CPU time: 92.8093 s 87.47/87.56 c =============================================================================== 87.47/87.56 c | 12089 | 3934 27295 583628 | 9098 6624 549 | 31.463 % | 87.67/87.76 c =============================================================================== 87.67/87.76 c New solution: 71683 87.67/87.76 o 71683 87.67/87.76 c Elapsed CPU time: 87.3867 s Remaining CPU time: 92.6133 s 87.67/87.76 c =============================================================================== 87.67/87.76 c | 12104 | 3934 27296 585660 | 9098 6639 549 | 31.463 % | 87.87/87.99 c =============================================================================== 87.87/87.99 c New solution: 71682 87.87/87.99 o 71682 87.87/87.99 c Elapsed CPU time: 87.6127 s Remaining CPU time: 92.3873 s 87.87/87.99 c =============================================================================== 87.87/87.99 c | 12113 | 3934 27297 587692 | 9099 6648 549 | 31.463 % | 88.77/88.89 c =============================================================================== 88.77/88.89 c New solution: 71681 88.77/88.89 o 71681 88.77/88.89 c Elapsed CPU time: 88.5185 s Remaining CPU time: 91.4815 s 88.77/88.89 c =============================================================================== 88.77/88.89 c | 12211 | 3934 27298 589724 | 9099 6746 550 | 31.463 % | 89.07/89.11 c =============================================================================== 89.07/89.11 c New solution: 71680 89.07/89.11 o 71680 89.07/89.11 c Elapsed CPU time: 88.7385 s Remaining CPU time: 91.2615 s 89.07/89.11 c =============================================================================== 89.07/89.11 c | 12236 | 3934 27299 591756 | 9099 6771 550 | 31.463 % | 90.17/90.20 c =============================================================================== 90.17/90.20 c New solution: 71679 90.17/90.20 o 71679 90.17/90.20 c Elapsed CPU time: 89.8263 s Remaining CPU time: 90.1737 s 90.17/90.20 c =============================================================================== 90.17/90.20 c | 12288 | 3934 27300 593788 | 9100 6823 550 | 31.463 % | 90.36/90.45 c =============================================================================== 90.36/90.45 c New solution: 71678 90.36/90.45 o 71678 90.36/90.45 c Elapsed CPU time: 90.0743 s Remaining CPU time: 89.9257 s 90.36/90.45 c =============================================================================== 90.36/90.45 c | 12288 | 3934 27301 595820 | 9100 6823 550 | 31.463 % | 90.76/90.85 c =============================================================================== 90.76/90.85 c New solution: 71677 90.76/90.85 o 71677 90.76/90.85 c Elapsed CPU time: 90.4742 s Remaining CPU time: 89.5258 s 90.76/90.85 c =============================================================================== 90.76/90.85 c | 12308 | 3934 27302 597852 | 9100 6843 550 | 31.463 % | 91.17/91.26 c =============================================================================== 91.17/91.26 c New solution: 71676 91.17/91.26 o 71676 91.17/91.26 c Elapsed CPU time: 90.8742 s Remaining CPU time: 89.1258 s 91.17/91.26 c =============================================================================== 91.17/91.26 c | 12373 | 3934 27303 599884 | 9101 6908 550 | 31.463 % | 92.17/92.28 c | 12473 | 3934 27303 599884 | 10011 7008 551 | 31.463 % | 92.76/92.89 c =============================================================================== 92.76/92.89 c New solution: 71675 92.76/92.89 o 71675 92.76/92.89 c Elapsed CPU time: 92.5049 s Remaining CPU time: 87.4951 s 92.76/92.89 c =============================================================================== 92.76/92.89 c | 12557 | 3934 27304 601916 | 9101 7092 551 | 31.463 % | 93.06/93.16 c =============================================================================== 93.06/93.16 c New solution: 71674 93.06/93.16 o 71674 93.06/93.16 c Elapsed CPU time: 92.7729 s Remaining CPU time: 87.2271 s 93.06/93.16 c =============================================================================== 93.06/93.16 c | 12557 | 3934 27305 603948 | 9101 7092 551 | 31.463 % | 93.36/93.40 c =============================================================================== 93.36/93.40 c New solution: 71673 93.36/93.40 o 71673 93.36/93.40 c Elapsed CPU time: 93.0169 s Remaining CPU time: 86.9831 s 93.36/93.40 c =============================================================================== 93.36/93.40 c | 12558 | 3934 27306 605980 | 9102 7093 551 | 31.463 % | 95.36/95.40 c | 12659 | 3934 27306 605980 | 10012 7194 551 | 31.463 % | 95.56/95.67 c =============================================================================== 95.56/95.67 c New solution: 71672 95.56/95.67 o 71672 95.56/95.67 c Elapsed CPU time: 95.2785 s Remaining CPU time: 84.7215 s 95.56/95.67 c =============================================================================== 95.56/95.67 c | 12662 | 3934 27307 608012 | 9102 7197 551 | 31.463 % | 95.86/96.00 c =============================================================================== 95.86/96.00 c New solution: 71671 95.86/96.00 o 71671 95.86/96.00 c Elapsed CPU time: 95.6055 s Remaining CPU time: 84.3945 s 95.86/96.00 c =============================================================================== 95.86/96.00 c | 12679 | 3934 27308 610044 | 9102 7214 551 | 31.463 % | 96.78/96.82 c | 12780 | 3934 27308 610044 | 10012 7315 552 | 31.463 % | 97.07/97.13 c =============================================================================== 97.07/97.13 c New solution: 71670 97.07/97.13 o 71670 97.07/97.13 c Elapsed CPU time: 96.7403 s Remaining CPU time: 83.2597 s 97.07/97.13 c =============================================================================== 97.07/97.13 c | 12798 | 3934 27309 612076 | 9103 7333 552 | 31.463 % | 98.37/98.42 c | 12898 | 3934 27309 612076 | 10013 7433 552 | 31.463 % | 99.26/99.34 c =============================================================================== 99.26/99.34 c New solution: 71669 99.26/99.34 o 71669 99.26/99.34 c Elapsed CPU time: 98.945 s Remaining CPU time: 81.055 s 99.26/99.34 c =============================================================================== 99.26/99.34 c | 12986 | 3934 27310 614108 | 9103 7521 553 | 31.463 % | 99.56/99.60 c =============================================================================== 99.56/99.60 c New solution: 71668 99.56/99.60 o 71668 99.56/99.60 c Elapsed CPU time: 99.2039 s Remaining CPU time: 80.7961 s 99.56/99.60 c =============================================================================== 99.56/99.60 c | 12992 | 3934 27311 616140 | 9103 7527 553 | 31.463 % | 100.76/100.86 c | 13092 | 3934 27311 616140 | 10014 7627 553 | 31.463 % | 100.97/101.04 c =============================================================================== 100.97/101.04 c New solution: 71667 100.97/101.04 o 71667 100.97/101.04 c Elapsed CPU time: 100.635 s Remaining CPU time: 79.3653 s 100.97/101.04 c =============================================================================== 100.97/101.04 c | 13112 | 3934 27312 618172 | 9104 7647 553 | 31.463 % | 102.97/103.02 c | 13213 | 3934 27312 618172 | 10014 7748 554 | 31.463 % | 104.17/104.23 c | 13363 | 3934 27312 618172 | 11015 7898 554 | 31.463 % | 104.37/104.42 c =============================================================================== 104.37/104.42 c New solution: 71666 104.37/104.42 o 71666 104.37/104.42 c Elapsed CPU time: 104.01 s Remaining CPU time: 75.9898 s 104.37/104.42 c =============================================================================== 104.37/104.42 c | 13383 | 3934 27313 620204 | 9104 7918 554 | 31.463 % | 105.76/105.82 c | 13483 | 3934 27313 620204 | 10014 8018 554 | 31.463 % | 105.96/106.03 c =============================================================================== 105.96/106.03 c New solution: 71665 105.96/106.03 o 71665 105.96/106.03 c Elapsed CPU time: 105.623 s Remaining CPU time: 74.3771 s 105.96/106.03 c =============================================================================== 105.96/106.03 c | 13514 | 3934 27314 622236 | 9104 8049 554 | 31.463 % | 107.26/107.34 c =============================================================================== 107.26/107.34 c New solution: 71664 107.26/107.34 o 71664 107.26/107.34 c Elapsed CPU time: 106.935 s Remaining CPU time: 73.0653 s 107.26/107.34 c =============================================================================== 107.26/107.34 c | 13589 | 3934 27315 624268 | 9105 8124 555 | 31.463 % | 108.36/108.45 c | 13689 | 3934 27315 624268 | 10015 8224 555 | 31.463 % | 108.56/108.69 c =============================================================================== 108.56/108.69 c New solution: 71663 108.56/108.69 o 71663 108.56/108.69 c Elapsed CPU time: 108.272 s Remaining CPU time: 71.7285 s 108.56/108.69 c =============================================================================== 108.56/108.69 c | 13701 | 3934 27316 626300 | 9105 8236 555 | 31.463 % | 109.07/109.16 c =============================================================================== 109.07/109.16 c New solution: 71662 109.07/109.16 o 71662 109.07/109.16 c Elapsed CPU time: 108.743 s Remaining CPU time: 71.2565 s 109.07/109.16 c =============================================================================== 109.07/109.16 c | 13734 | 3934 27317 628332 | 9105 8269 555 | 31.463 % | 110.86/110.91 c | 13834 | 3934 27317 628332 | 10016 8369 555 | 31.463 % | 111.66/111.72 c =============================================================================== 111.66/111.72 c New solution: 70146 111.66/111.72 o 70146 111.66/111.72 c Elapsed CPU time: 111.303 s Remaining CPU time: 68.6969 s 111.66/111.72 c =============================================================================== 111.66/111.72 c | 13887 | 3934 27318 630364 | 9106 8422 555 | 31.463 % | 112.06/112.11 c =============================================================================== 112.06/112.11 c New solution: 70127 112.06/112.11 o 70127 112.06/112.11 c Elapsed CPU time: 111.685 s Remaining CPU time: 68.315 s 112.06/112.11 c =============================================================================== 112.06/112.11 c | 13891 | 3934 27319 632396 | 9106 8426 555 | 31.463 % | 112.27/112.37 c =============================================================================== 112.27/112.37 c New solution: 70126 112.27/112.37 o 70126 112.27/112.37 c Elapsed CPU time: 111.95 s Remaining CPU time: 68.05 s 112.27/112.37 c =============================================================================== 112.27/112.37 c | 13902 | 3934 27320 634428 | 9106 8437 555 | 31.463 % | 113.06/113.10 c =============================================================================== 113.06/113.10 c New solution: 70125 113.06/113.10 o 70125 113.06/113.10 c Elapsed CPU time: 112.679 s Remaining CPU time: 67.3211 s 113.06/113.10 c =============================================================================== 113.06/113.10 c | 13929 | 3934 27321 636460 | 9107 8464 555 | 31.463 % | 113.36/113.42 c =============================================================================== 113.36/113.42 c New solution: 70103 113.36/113.42 o 70103 113.36/113.42 c Elapsed CPU time: 112.993 s Remaining CPU time: 67.0072 s 113.36/113.42 c =============================================================================== 113.36/113.42 c | 13932 | 3934 27322 638492 | 9107 8467 555 | 31.463 % | 113.66/113.75 c =============================================================================== 113.66/113.75 c New solution: 70102 113.66/113.75 o 70102 113.66/113.75 c Elapsed CPU time: 113.322 s Remaining CPU time: 66.6782 s 113.66/113.75 c =============================================================================== 113.66/113.75 c | 13936 | 3934 27323 640524 | 9107 8471 555 | 31.463 % | 114.06/114.12 c | 14036 | 3934 27323 640524 | 10018 8571 555 | 31.463 % | 114.47/114.56 c =============================================================================== 114.47/114.56 c New solution: 70101 114.47/114.56 o 70101 114.47/114.56 c Elapsed CPU time: 114.135 s Remaining CPU time: 65.8654 s 114.47/114.56 c =============================================================================== 114.47/114.56 c | 14058 | 3934 27324 642556 | 9108 8593 555 | 31.463 % | 115.66/115.74 c | 14159 | 3934 27324 642556 | 10018 8694 555 | 31.463 % | 116.06/116.15 c =============================================================================== 116.06/116.15 c New solution: 70100 116.06/116.15 o 70100 116.06/116.15 c Elapsed CPU time: 115.714 s Remaining CPU time: 64.2856 s 116.06/116.15 c =============================================================================== 116.06/116.15 c | 14172 | 3934 27325 644588 | 9108 8707 555 | 31.463 % | 116.16/116.27 c =============================================================================== 116.16/116.27 c New solution: 70099 116.16/116.27 o 70099 116.16/116.27 c Elapsed CPU time: 115.835 s Remaining CPU time: 64.1646 s 116.16/116.27 c =============================================================================== 116.16/116.27 c | 14186 | 3934 27326 646620 | 9108 8721 555 | 31.463 % | 116.57/116.66 c =============================================================================== 116.57/116.66 c New solution: 70098 116.57/116.66 o 70098 116.57/116.66 c Elapsed CPU time: 116.227 s Remaining CPU time: 63.7727 s 116.57/116.66 c =============================================================================== 116.57/116.66 c | 14194 | 3934 27327 648652 | 9109 8729 555 | 31.463 % | 117.36/117.42 c | 14294 | 3934 27327 648652 | 10019 8829 555 | 31.463 % | 118.87/118.97 c | 14446 | 3934 27327 648652 | 11021 8981 556 | 31.463 % | 119.76/119.80 c =============================================================================== 119.76/119.80 c New solution: 70097 119.76/119.80 o 70097 119.76/119.80 c Elapsed CPU time: 119.361 s Remaining CPU time: 60.6391 s 119.76/119.80 c =============================================================================== 119.76/119.80 c | 14477 | 3934 27328 650684 | 9109 9012 556 | 31.463 % | 120.16/120.22 c =============================================================================== 120.16/120.22 c New solution: 70096 120.16/120.22 o 70096 120.16/120.22 c Elapsed CPU time: 119.773 s Remaining CPU time: 60.2272 s 120.16/120.22 c =============================================================================== 120.16/120.22 c | 14481 | 3934 27329 652716 | 9109 9016 556 | 31.463 % | 121.26/121.30 c | 14581 | 3934 27329 652716 | 10020 9116 556 | 31.463 % | 121.46/121.54 c =============================================================================== 121.46/121.54 c New solution: 70095 121.46/121.54 o 70095 121.46/121.54 c Elapsed CPU time: 121.098 s Remaining CPU time: 58.9024 s 121.46/121.54 c =============================================================================== 121.46/121.54 c | 14616 | 3934 27330 654748 | 9110 9151 556 | 31.463 % | 121.76/121.80 c =============================================================================== 121.76/121.80 c New solution: 70094 121.76/121.80 o 70094 121.76/121.80 c Elapsed CPU time: 121.356 s Remaining CPU time: 58.6444 s 121.76/121.80 c =============================================================================== 121.76/121.80 c | 14618 | 3934 27331 656780 | 9110 9153 556 | 31.463 % | 121.96/122.08 c =============================================================================== 121.96/122.08 c New solution: 70093 121.96/122.08 o 70093 121.96/122.08 c Elapsed CPU time: 121.64 s Remaining CPU time: 58.3605 s 121.96/122.08 c =============================================================================== 121.96/122.08 c | 14618 | 3934 27332 658812 | 9110 9153 556 | 31.463 % | 122.36/122.42 c =============================================================================== 122.36/122.42 c New solution: 70092 122.36/122.42 o 70092 122.36/122.42 c Elapsed CPU time: 121.973 s Remaining CPU time: 58.0265 s 122.36/122.42 c =============================================================================== 122.36/122.42 c | 14630 | 3934 27333 660844 | 9111 9165 556 | 31.463 % | 122.96/123.07 c =============================================================================== 122.96/123.07 c New solution: 70091 122.96/123.07 o 70091 122.96/123.07 c Elapsed CPU time: 122.619 s Remaining CPU time: 57.3806 s 122.96/123.07 c =============================================================================== 122.96/123.07 c | 14663 | 3934 27334 662876 | 9111 9198 556 | 31.463 % | 124.06/124.13 c | 14763 | 3934 27334 662876 | 10022 9298 557 | 31.463 % | 126.46/126.55 c | 14913 | 3934 27334 662876 | 11024 9448 557 | 31.463 % | 126.75/126.89 c =============================================================================== 126.75/126.89 c New solution: 70090 126.75/126.89 o 70090 126.75/126.89 c Elapsed CPU time: 126.436 s Remaining CPU time: 53.5642 s 126.75/126.89 c =============================================================================== 126.75/126.89 c | 14920 | 3934 27335 664908 | 9111 9455 557 | 31.463 % | 127.05/127.15 c =============================================================================== 127.05/127.15 c New solution: 70089 127.05/127.15 o 70089 127.05/127.15 c Elapsed CPU time: 126.689 s Remaining CPU time: 53.3113 s 127.05/127.15 c =============================================================================== 127.05/127.15 c | 14931 | 3934 27336 666940 | 9112 9466 557 | 31.463 % | 128.15/128.27 c | 15031 | 3934 27336 666940 | 10023 9566 557 | 31.463 % | 129.25/129.31 c =============================================================================== 129.25/129.31 c New solution: 70088 129.25/129.31 o 70088 129.25/129.31 c Elapsed CPU time: 128.852 s Remaining CPU time: 51.1476 s 129.25/129.31 c =============================================================================== 129.25/129.31 c | 15084 | 3934 27337 668972 | 9112 9619 557 | 31.463 % | 129.65/129.76 c | 15185 | 3934 27337 668972 | 10023 9720 557 | 31.463 % | 130.16/130.20 c =============================================================================== 130.16/130.20 c New solution: 70087 130.16/130.20 o 70087 130.16/130.20 c Elapsed CPU time: 129.742 s Remaining CPU time: 50.2577 s 130.16/130.20 c =============================================================================== 130.16/130.20 c | 15204 | 3934 27338 671004 | 9112 9739 557 | 31.463 % | 130.26/130.39 c =============================================================================== 130.26/130.39 c New solution: 70086 130.26/130.39 o 70086 130.26/130.39 c Elapsed CPU time: 129.927 s Remaining CPU time: 50.0728 s 130.26/130.39 c =============================================================================== 130.26/130.39 c | 15205 | 3934 27339 673036 | 9113 9740 557 | 31.463 % | 130.56/130.63 c =============================================================================== 130.56/130.63 c New solution: 70085 130.56/130.63 o 70085 130.56/130.63 c Elapsed CPU time: 130.171 s Remaining CPU time: 49.8288 s 130.56/130.63 c =============================================================================== 130.56/130.63 c | 15209 | 3934 27340 675068 | 9113 9744 557 | 31.463 % | 131.56/131.64 c =============================================================================== 131.56/131.64 c New solution: 68597 131.56/131.64 o 68597 131.56/131.64 c Elapsed CPU time: 131.179 s Remaining CPU time: 48.8209 s 131.56/131.64 c =============================================================================== 131.56/131.64 c | 15237 | 3934 27341 677100 | 9113 9772 557 | 31.463 % | 131.86/131.99 c =============================================================================== 131.86/131.99 c New solution: 68547 131.86/131.99 o 68547 131.86/131.99 c Elapsed CPU time: 131.525 s Remaining CPU time: 48.475 s 131.86/131.99 c =============================================================================== 131.86/131.99 c | 15240 | 3934 27342 679132 | 9114 9775 557 | 31.463 % | 132.26/132.34 c =============================================================================== 132.26/132.34 c New solution: 68539 132.26/132.34 o 68539 132.26/132.34 c Elapsed CPU time: 131.879 s Remaining CPU time: 48.121 s 132.26/132.34 c =============================================================================== 132.26/132.34 c | 15241 | 3934 27343 681164 | 9114 9776 557 | 31.463 % | 132.66/132.76 c =============================================================================== 132.66/132.76 c New solution: 68538 132.66/132.76 o 68538 132.66/132.76 c Elapsed CPU time: 132.292 s Remaining CPU time: 47.7081 s 132.66/132.76 c =============================================================================== 132.66/132.76 c | 15252 | 3934 27344 683196 | 9114 9787 557 | 31.463 % | 133.06/133.10 c =============================================================================== 133.06/133.10 c New solution: 68532 133.06/133.10 o 68532 133.06/133.10 c Elapsed CPU time: 132.64 s Remaining CPU time: 47.3602 s 133.06/133.10 c =============================================================================== 133.06/133.10 c | 15253 | 3934 27345 685228 | 9115 9788 557 | 31.463 % | 133.36/133.40 c =============================================================================== 133.36/133.40 c New solution: 68531 133.36/133.40 o 68531 133.36/133.40 c Elapsed CPU time: 132.935 s Remaining CPU time: 47.0652 s 133.36/133.40 c =============================================================================== 133.36/133.40 c | 15254 | 3934 27346 687260 | 9115 9789 557 | 31.463 % | 133.66/133.74 c =============================================================================== 133.66/133.74 c New solution: 68530 133.66/133.74 o 68530 133.66/133.74 c Elapsed CPU time: 133.275 s Remaining CPU time: 46.7253 s 133.66/133.74 c =============================================================================== 133.66/133.74 c | 15254 | 3934 27347 689292 | 9115 9789 557 | 31.463 % | 133.95/134.02 c =============================================================================== 133.95/134.02 c New solution: 68529 133.95/134.02 o 68529 133.95/134.02 c Elapsed CPU time: 133.553 s Remaining CPU time: 46.4473 s 133.95/134.02 c =============================================================================== 133.95/134.02 c | 15257 | 3934 27348 691324 | 9116 9792 557 | 31.463 % | 134.26/134.37 c =============================================================================== 134.26/134.37 c New solution: 68528 134.26/134.37 o 68528 134.26/134.37 c Elapsed CPU time: 133.907 s Remaining CPU time: 46.0934 s 134.26/134.37 c =============================================================================== 134.26/134.37 c | 15257 | 3934 27349 693356 | 9116 9792 557 | 31.463 % | 134.65/134.71 c =============================================================================== 134.65/134.71 c New solution: 68527 134.65/134.71 o 68527 134.65/134.71 c Elapsed CPU time: 134.241 s Remaining CPU time: 45.7594 s 134.65/134.71 c =============================================================================== 134.65/134.71 c | 15262 | 3934 27350 695388 | 9116 9797 557 | 31.463 % | 137.15/137.21 c | 15362 | 3934 27350 695388 | 10028 9897 557 | 31.463 % | 137.46/137.53 c =============================================================================== 137.46/137.53 c New solution: 68526 137.46/137.53 o 68526 137.46/137.53 c Elapsed CPU time: 137.053 s Remaining CPU time: 42.9468 s 137.46/137.53 c =============================================================================== 137.46/137.53 c | 15364 | 3934 27351 697420 | 9117 9899 557 | 31.463 % | 138.06/138.15 c =============================================================================== 138.06/138.15 c New solution: 68525 138.06/138.15 o 68525 138.06/138.15 c Elapsed CPU time: 137.671 s Remaining CPU time: 42.3289 s 138.06/138.15 c =============================================================================== 138.06/138.15 c | 15439 | 3934 27352 699452 | 9117 9974 556 | 31.463 % | 139.05/139.13 c | 15540 | 3934 27352 699452 | 10029 10075 557 | 31.463 % | 139.25/139.35 c =============================================================================== 139.25/139.35 c New solution: 68524 139.25/139.35 o 68524 139.25/139.35 c Elapsed CPU time: 138.868 s Remaining CPU time: 41.1321 s 139.25/139.35 c =============================================================================== 139.25/139.35 c | 15554 | 3934 27353 701484 | 9117 10089 557 | 31.463 % | 139.45/139.54 c =============================================================================== 139.45/139.54 c New solution: 68523 139.45/139.54 o 68523 139.45/139.54 c Elapsed CPU time: 139.065 s Remaining CPU time: 40.9351 s 139.45/139.54 c =============================================================================== 139.45/139.54 c | 15565 | 3934 27354 703516 | 9118 10100 557 | 31.463 % | 139.85/139.94 c =============================================================================== 139.85/139.94 c New solution: 68522 139.85/139.94 o 68522 139.85/139.94 c Elapsed CPU time: 139.464 s Remaining CPU time: 40.5362 s 139.85/139.94 c =============================================================================== 139.85/139.94 c | 15570 | 3934 27355 705548 | 9118 10105 557 | 31.463 % | 140.15/140.24 c =============================================================================== 140.15/140.24 c New solution: 68521 140.15/140.24 o 68521 140.15/140.24 c Elapsed CPU time: 139.765 s Remaining CPU time: 40.2352 s 140.15/140.24 c =============================================================================== 140.15/140.24 c | 15579 | 3934 27356 707580 | 9118 10114 557 | 31.463 % | 142.65/142.70 c | 15680 | 3934 27356 707580 | 10030 10215 557 | 31.463 % | 143.45/143.53 c =============================================================================== 143.45/143.53 c New solution: 68520 143.45/143.53 o 68520 143.45/143.53 c Elapsed CPU time: 143.045 s Remaining CPU time: 36.9547 s 143.45/143.53 c =============================================================================== 143.45/143.53 c | 15751 | 3934 27357 709612 | 9119 10286 558 | 31.463 % | 144.55/144.68 c | 15851 | 3934 27357 709612 | 10030 10386 558 | 31.463 % | 144.95/145.05 c =============================================================================== 144.95/145.05 c New solution: 68519 144.95/145.05 o 68519 144.95/145.05 c Elapsed CPU time: 144.571 s Remaining CPU time: 35.429 s 144.95/145.05 c =============================================================================== 144.95/145.05 c | 15857 | 3934 27358 711644 | 9119 10392 558 | 31.463 % | 145.35/145.42 c | 15961 | 3934 27358 711644 | 10031 10496 558 | 31.463 % | 145.55/145.66 c =============================================================================== 145.55/145.66 c New solution: 68518 145.55/145.66 o 68518 145.55/145.66 c Elapsed CPU time: 145.17 s Remaining CPU time: 34.8301 s 145.55/145.66 c =============================================================================== 145.55/145.66 c | 15962 | 3934 27359 713676 | 9119 10497 558 | 31.463 % | 145.75/145.87 c =============================================================================== 145.75/145.87 c New solution: 68517 145.75/145.87 o 68517 145.75/145.87 c Elapsed CPU time: 145.382 s Remaining CPU time: 34.6181 s 145.75/145.87 c =============================================================================== 145.75/145.87 c | 15965 | 3934 27360 715708 | 9120 10500 558 | 31.463 % | 146.15/146.30 c =============================================================================== 146.15/146.30 c New solution: 68516 146.15/146.30 o 68516 146.15/146.30 c Elapsed CPU time: 145.802 s Remaining CPU time: 34.1982 s 146.15/146.30 c =============================================================================== 146.15/146.30 c | 15986 | 3934 27361 717740 | 9120 10521 558 | 31.463 % | 147.66/147.75 c | 16086 | 3934 27361 717740 | 10032 10621 558 | 31.463 % | 149.36/149.49 c | 16236 | 3934 27361 717740 | 11035 10771 559 | 31.463 % | 150.36/150.41 c =============================================================================== 150.36/150.41 c New solution: 68515 150.36/150.41 o 68515 150.36/150.41 c Elapsed CPU time: 149.916 s Remaining CPU time: 30.0838 s 150.36/150.41 c =============================================================================== 150.36/150.41 c | 16318 | 3934 27362 719772 | 9120 10853 559 | 31.463 % | 150.95/151.09 c | 16419 | 3934 27362 719772 | 10032 10954 559 | 31.463 % | 151.35/151.42 c =============================================================================== 151.35/151.42 c New solution: 68514 151.35/151.42 o 68514 151.35/151.42 c Elapsed CPU time: 150.919 s Remaining CPU time: 29.0809 s 151.35/151.42 c =============================================================================== 151.35/151.42 c | 16427 | 3934 27363 721804 | 9121 10962 559 | 31.463 % | 151.65/151.70 c =============================================================================== 151.65/151.70 c New solution: 68513 151.65/151.70 o 68513 151.65/151.70 c Elapsed CPU time: 151.201 s Remaining CPU time: 28.799 s 151.65/151.70 c =============================================================================== 151.65/151.70 c | 16433 | 3934 27364 723836 | 9121 5487 539 | 31.463 % | 152.65/152.71 c | 16533 | 3934 27364 723836 | 10033 5587 540 | 31.463 % | 156.25/156.33 c | 16685 | 3934 27364 723836 | 11036 5739 542 | 31.463 % | 156.55/156.62 c =============================================================================== 156.55/156.62 c New solution: 68512 156.55/156.62 o 68512 156.55/156.62 c Elapsed CPU time: 156.11 s Remaining CPU time: 23.8897 s 156.55/156.62 c =============================================================================== 156.55/156.62 c | 16688 | 3934 27365 725868 | 9121 5742 542 | 31.463 % | 156.76/156.82 c =============================================================================== 156.76/156.82 c New solution: 68511 156.76/156.82 o 68511 156.76/156.82 c Elapsed CPU time: 156.314 s Remaining CPU time: 23.6858 s 156.76/156.82 c =============================================================================== 156.76/156.82 c | 16708 | 3934 27366 727900 | 9122 5762 542 | 31.463 % | 156.95/157.10 c =============================================================================== 156.95/157.10 c New solution: 68510 156.95/157.10 o 68510 156.95/157.10 c Elapsed CPU time: 156.587 s Remaining CPU time: 23.4128 s 156.95/157.10 c =============================================================================== 156.95/157.10 c | 16715 | 3934 27367 729932 | 9122 5769 542 | 31.463 % | 158.05/158.13 c =============================================================================== 158.05/158.13 c New solution: 68509 158.05/158.13 o 68509 158.05/158.13 c Elapsed CPU time: 157.618 s Remaining CPU time: 22.382 s 158.05/158.13 c =============================================================================== 158.05/158.13 c | 16802 | 3934 27368 731964 | 9122 5856 542 | 31.463 % | 158.46/158.57 c =============================================================================== 158.46/158.57 c New solution: 68508 158.46/158.57 o 68508 158.46/158.57 c Elapsed CPU time: 158.057 s Remaining CPU time: 21.943 s 158.46/158.57 c =============================================================================== 158.46/158.57 c | 16852 | 3934 27369 733996 | 9123 5906 543 | 31.463 % | 159.74/159.89 c | 16953 | 3934 27369 733996 | 10035 6007 544 | 31.463 % | 161.85/161.95 c | 17104 | 3934 27369 733996 | 11038 6158 544 | 31.463 % | 162.86/162.95 c =============================================================================== 162.86/162.95 c New solution: 68507 162.86/162.95 o 68507 162.86/162.95 c Elapsed CPU time: 162.431 s Remaining CPU time: 17.5687 s 162.86/162.95 c =============================================================================== 162.86/162.95 c | 17137 | 3934 27370 736028 | 9123 6191 545 | 31.463 % | 163.15/163.23 c =============================================================================== 163.15/163.23 c New solution: 68506 163.15/163.23 o 68506 163.15/163.23 c Elapsed CPU time: 162.713 s Remaining CPU time: 17.2867 s 163.15/163.23 c =============================================================================== 163.15/163.23 c | 17145 | 3934 27371 738060 | 9123 6199 545 | 31.463 % | 163.86/163.97 c | 17245 | 3934 27371 738060 | 10036 6299 545 | 31.463 % | 165.75/165.82 c | 17395 | 3934 27371 738060 | 11039 6449 546 | 31.463 % | 168.35/168.40 c | 17620 | 3934 27371 738060 | 12143 6674 548 | 31.463 % | 171.55/171.70 c | 17957 | 3934 27371 738060 | 13357 7011 550 | 31.464 % | 172.14/172.21 c =============================================================================== 172.14/172.21 c New solution: 68505 172.14/172.21 o 68505 172.14/172.21 c Elapsed CPU time: 171.678 s Remaining CPU time: 8.3221 s 172.14/172.21 c =============================================================================== 172.14/172.21 c | 18023 | 3934 27372 740092 | 9124 7077 550 | 31.464 % | 173.75/173.80 c | 18123 | 3934 27372 740092 | 10036 7177 550 | 31.463 % | 174.65/174.73 c =============================================================================== 174.65/174.73 c New solution: 68504 174.65/174.73 o 68504 174.65/174.73 c Elapsed CPU time: 174.194 s Remaining CPU time: 5.80648 s 174.65/174.73 c =============================================================================== 174.65/174.73 c | 18196 | 3934 27373 742124 | 9124 7250 550 | 31.463 % | 175.85/175.99 c | 18299 | 3934 27373 742124 | 10036 7353 551 | 31.463 % | 177.55/177.67 c =============================================================================== 177.55/177.67 c New solution: 68503 177.55/177.67 o 68503 177.55/177.67 c Elapsed CPU time: 177.138 s Remaining CPU time: 2.86193 s 177.55/177.67 c =============================================================================== 177.55/177.67 c | 18399 | 3934 27374 744156 | 9124 7453 551 | 31.463 % | 177.95/178.02 c =============================================================================== 177.95/178.02 c New solution: 68502 177.95/178.02 o 68502 177.95/178.02 c Elapsed CPU time: 177.48 s Remaining CPU time: 2.51998 s 177.95/178.02 c =============================================================================== 177.95/178.02 c | 18416 | 3934 27375 746188 | 9125 7470 551 | 31.463 % | 179.25/179.34 c | 18516 | 3934 27375 746188 | 10037 7570 552 | 31.463 % | 179.54/179.63 c =============================================================================== 179.54/179.63 c New solution: 68501 179.54/179.63 o 68501 179.54/179.63 c Elapsed CPU time: 179.094 s Remaining CPU time: 0.906227 s 179.54/179.63 c =============================================================================== 179.54/179.63 c | 18518 | 3934 27376 748220 | 9125 7572 552 | 31.463 % | 180.04/180.15 c =============================================================================== 180.04/180.15 c New solution: 68500 180.04/180.15 o 68500 180.04/180.15 c Elapsed CPU time: 179.612 s Remaining CPU time: 0.388306 s 180.04/180.15 c =============================================================================== 180.04/180.15 c | 18534 | 3934 27377 750252 | 9125 7588 551 | 31.463 % | 180.45/180.57 c There are 1806 assigned variables. 331 in cost function. 182.14/182.24 c core #1 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 2 Core Weight: 1 Total Weight: 6533 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #2 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 3 Core Weight: 1 Total Weight: 6534 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #3 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 3 Core Weight: 1 Total Weight: 6535 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #4 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 3 Core Weight: 1 Total Weight: 6536 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #5 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 4 Core Weight: 1 Total Weight: 6537 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #6 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 5 Core Weight: 1 Total Weight: 6538 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #7 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 13 Core Weight: 1 Total Weight: 6539 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #8 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 17 Core Weight: 1 Total Weight: 6540 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #9 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 4 Core Weight: 1 Total Weight: 6541 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #10 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 5 Core Weight: 1 Total Weight: 6542 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #11 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 9 Core Weight: 1 Total Weight: 6543 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #12 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 4 Core Weight: 1 Total Weight: 6544 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #13 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 5 Core Weight: 1 Total Weight: 6545 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #14 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 6 Core Weight: 1 Total Weight: 6546 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #15 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 4 Core Weight: 1 Total Weight: 6547 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #16 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 6 Core Weight: 1 Total Weight: 6548 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #17 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 10 Core Weight: 1 Total Weight: 6549 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #18 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 10 Core Weight: 1 Total Weight: 6550 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #19 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 10 Core Weight: 1 Total Weight: 6551 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #20 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 5 Core Weight: 1 Total Weight: 6552 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #21 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 5 Core Weight: 1 Total Weight: 6553 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #22 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 7 Core Weight: 1 Total Weight: 6554 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #23 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 11 Core Weight: 1 Total Weight: 6555 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #24 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 20 Core Weight: 1 Total Weight: 6556 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #25 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 5 Core Weight: 1 Total Weight: 6557 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #26 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 34 Core Weight: 1 Total Weight: 6558 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #27 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 14 Core Weight: 1 Total Weight: 6559 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #28 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 10 Core Weight: 1 Total Weight: 6560 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #29 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 14 Core Weight: 1 Total Weight: 6561 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #30 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 21 Core Weight: 1 Total Weight: 6562 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #31 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 20 Core Weight: 1 Total Weight: 6563 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c ============================[ Search Statistics ]============================== 182.14/182.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.14/182.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.14/182.24 c =============================================================================== 182.14/182.24 c | 0 | 667 18075 11146 | 6025 0 nan | 0.000 % | 182.14/182.24 c =============================================================================== 182.14/182.25 c #cores: 31 182.14/182.25 c Final Weight: 6563 182.14/182.25 o 6563 182.14/182.25 s OPTIMUM FOUND 182.14/182.25 v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 x4179 -x4180 -x4181 -x4182 x4183 x4184 -x4185 -x4186 x4187 x4188 x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 x4246 x4247 x4248 -x4249 -x4250 -x4251 -x4252 -x4253 x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 x4282 x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 x4306 x4307 x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 x4443 -x4444 -x4445 -x4446 -x4447 x4448 x4449 x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 x4461 x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 x4538 -x4539 -x4540 -x4541 x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 x4553 x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 x4566 -x4567 -x4568 -x4569 -x4570 -x4571 x4572 x4573 x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 x4601 -x4602 -x4603 x4604 x4605 x4606 x4607 -x4608 -x4609 -x4610 -x4611 x4612 -x4613 -x4614 -x4615 -x4616 -x4617 x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 x4658 x4659 -x4660 -x4661 -x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 x4674 x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 x4683 -x4684 -x4685 x4686 -x4687 x4688 -x4689 -x4690 -x4691 -x4692 -x4693 x4694 -x4695 x4696 -x4697 x4698 x4699 x4700 x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 x4709 x4710 -x4711 -x4712 -x4713 x4714 x4715 x4716 -x4717 -x4718 x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 x4747 -x4748 -x4749 -x4750 -x4751 -x4752 x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 x4761 -x4762 x4763 x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 x4776 -x4777 -x4778 -x4779 x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 x4794 x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 x4812 -x4813 x4814 -x4815 -x4816 x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 x4845 -x4846 x4847 x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 x4857 -x4858 -x4859 -x4860 x4861 -x4862 x4863 x4864 -x4865 -x4866 x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 x4875 -x4876 x4877 -x4878 -x4879 -x4880 x4881 -x4882 x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 x4899 -x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 x4924 x4925 x4926 -x4927 -x4928 -x4929 -x4930 -x4931 x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 x4941 -x4942 -x4943 -x4944 -x4945 -x4946 x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 x4988 -x4989 -x4990 -x4991 -x4992 x4993 -x4994 -x4995 -x4996 x4997 -x4998 x4999 -x5000 -x5001 -x5002 -x5003 x5004 -x5005 -x5006 -x5007 -x5008 -x5009 x5010 -x5011 -x5012 -x5013 -x5014 x5015 x5016 x5017 x5018 -x5019 x5020 -x5021 -x5022 -x5023 -x5024 x5025 -x5026 -x5027 -x5028 -x5029 x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 x5038 -x5039 -x5040 x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 x5066 x5067 -x5068 x5069 x5070 -x5071 -x5072 x5073 -x5074 -x5075 x5076 x5077 x5078 x5079 x5080 -x5081 x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 x5093 x5094 -x5095 -x5096 -x5097 -x5098 -x5099 x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 x5130 -x5131 -x5132 -x5133 x5134 x5135 -x5136 -x5137 x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 x5182 -x5183 -x5184 -x5185 x5186 -x5187 x5188 -x5189 x5190 x5191 -x5192 -x5193 x5194 x5195 x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 x5209 x5210 -x5211 x5212 x5213 x5214 -x5215 -x5216 x5217 x5218 -x5219 -x5220 -x5221 x5222 x5223 -x5224 -x5225 x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 x5234 -x5235 -x5236 -x5237 x5238 -x5239 -x5240 -x5241 -x5242 x5243 -x5244 -x5245 -x5246 x5247 x5248 x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 x5256 x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 x5271 -x5272 -x5273 x5274 -x5275 -x5276 -x5277 x5278 x5279 -x5280 -x5281 -x5282 x5283 x5284 -x5285 x5286 -x5287 x5288 -x5289 -x5290 x5291 x5292 x5293 x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 x5309 x5310 x5311 -x5312 -x5313 -x5314 x5315 -x5316 x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 x5331 -x5332 -x5333 -x5334 -x5335 -x5336 x5337 x5338 -x5339 x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 x5349 -x5350 x5351 -x5352 -x5353 x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 x5366 -x5367 -x5368 x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 x5385 -x5386 x5387 -x5388 x5389 -x5390 -x5391 x5392 x5393 x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 x5451 -x5452 -x5453 -x5454 x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 x5484 x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 x5504 x5505 x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 x5542 -x5543 -x5544 x5545 -x5546 -x5547 -x5548 -x5549 x5550 x5551 x5552 -x5553 x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 x5563 x5564 x5565 -x5566 -x5567 -x5568 x5569 -x5570 x5571 -x5572 -x5573 x5574 x5575 -x5576 -x5577 x5578 x5579 -x5580 -x5581 -x5582 x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 x5593 -x5594 -x5595 -x5596 x5597 -x5598 -x5599 -x5600 x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -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 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 -x3027 -x3028 -x3026 -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 182.14/182.26 c Total CPU time: 181.69 s
OK 6563
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683172-1277507615/watcher-2683172-1277507615 -o /tmp/evaluation-result-2683172-1277507615/solver-2683172-1277507615 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683172-1277507615.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.87 0.95 0.98 3/106 29657 /proc/meminfo: memFree=1813004/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=3684 CPUtime=0 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 368 0 0 0 0 0 0 0 21 0 1 0 92055490 3772416 287 1992294400 134512640 135752675 4293274928 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 921 287 140 303 0 415 0 [startup+0.106437 s] /proc/loadavg: 0.87 0.95 0.98 3/106 29657 /proc/meminfo: memFree=1813004/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=5460 CPUtime=0.1 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 949 0 0 0 10 0 0 0 23 0 1 0 92055490 5591040 868 1992294400 134512640 135752675 4293274928 18446744073709551615 134559885 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 1365 868 312 303 0 859 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5460 [startup+0.201446 s] /proc/loadavg: 0.87 0.95 0.98 3/106 29657 /proc/meminfo: memFree=1813004/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=6552 CPUtime=0.19 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 1470 0 0 0 19 0 0 0 18 0 1 0 92055490 6709248 1188 1992294400 134512640 135752675 4293274928 18446744073709551615 134580248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 1638 1188 142 303 0 1333 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 6552 [startup+0.301456 s] /proc/loadavg: 0.87 0.95 0.98 3/106 29657 /proc/meminfo: memFree=1813004/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=6552 CPUtime=0.29 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 1479 0 0 0 29 0 0 0 18 0 1 0 92055490 6709248 1197 1992294400 134512640 135752675 4293274928 18446744073709551615 134580062 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 1638 1197 142 303 0 1333 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6552 [startup+0.701497 s] /proc/loadavg: 0.87 0.95 0.98 3/106 29657 /proc/meminfo: memFree=1813004/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=6816 CPUtime=0.69 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 1514 0 0 0 69 0 0 0 18 0 1 0 92055490 6979584 1232 1992294400 134512640 135752675 4293274928 18446744073709551615 134580175 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 1704 1232 142 303 0 1399 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6816 [startup+1.50158 s] /proc/loadavg: 0.87 0.95 0.98 2/107 29658 /proc/meminfo: memFree=1808408/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=7608 CPUtime=1.49 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 1711 0 0 0 149 0 0 0 19 0 1 0 92055490 7790592 1429 1992294400 134512640 135752675 4293274928 18446744073709551615 134580248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 1902 1429 142 303 0 1597 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7608 [startup+3.10175 s] /proc/loadavg: 0.87 0.95 0.98 2/107 29658 /proc/meminfo: memFree=1806300/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=8928 CPUtime=3.09 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 2050 0 0 0 302 7 0 0 18 0 1 0 92055490 9142272 1768 1992294400 134512640 135752675 4293274928 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 2232 1768 145 303 0 1927 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8928 [startup+6.30108 s] /proc/loadavg: 0.88 0.95 0.98 2/107 29658 /proc/meminfo: memFree=1803324/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=12568 CPUtime=6.29 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 2980 0 0 0 618 11 0 0 20 0 1 0 92055490 12869632 2698 1992294400 134512640 135752675 4293274928 18446744073709551615 134517025 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 3142 2698 145 303 0 2837 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12568 [startup+12.7017 s] /proc/loadavg: 0.97 0.97 0.99 2/107 29658 /proc/meminfo: memFree=1796628/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=18684 CPUtime=12.68 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 4515 0 0 0 1254 14 0 0 20 0 1 0 92055490 19132416 4233 1992294400 134512640 135752675 4293274928 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 4671 4233 145 303 0 4366 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18684 [startup+25.5011 s] /proc/loadavg: 0.97 0.97 0.99 2/107 29658 /proc/meminfo: memFree=1788568/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=26616 CPUtime=25.48 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 6480 0 0 0 2528 20 0 0 20 0 1 0 92055490 27254784 6198 1992294400 134512640 135752675 4293274928 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 6654 6198 145 303 0 6349 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26616 [startup+51.1007 s] /proc/loadavg: 0.98 0.97 0.99 2/107 29660 /proc/meminfo: memFree=1777904/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=37400 CPUtime=51.08 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 9176 0 0 0 5081 27 0 0 18 0 1 0 92055490 38297600 8894 1992294400 134512640 135752675 4293274928 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 9350 8894 145 303 0 9045 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 37400 [startup+102.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29660 /proc/meminfo: memFree=1762776/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=52116 CPUtime=102.27 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 12837 0 0 0 10189 38 0 0 23 0 1 0 92055490 53366784 12555 1992294400 134512640 135752675 4293274928 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 13029 12555 145 303 0 12724 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 52116 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29662 /proc/meminfo: memFree=1749260/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=65368 CPUtime=162.25 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 16168 0 0 0 16177 48 0 0 25 0 1 0 92055490 66936832 15886 1992294400 134512640 135752675 4293274928 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 16342 15886 145 303 0 16037 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 65368 Solver just ended. Dumping a history of the last processes samples [startup+166.402 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29662 /proc/meminfo: memFree=1748516/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=66268 CPUtime=166.35 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 16374 0 0 0 16587 48 0 0 25 0 1 0 92055490 67858432 16092 1992294400 134512640 135752675 4293274928 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 16567 16092 145 303 0 16262 0 Current children cumulated CPU time (s) 166.35 Current children cumulated vsize (KiB) 66268 [startup+172.808 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29662 /proc/meminfo: memFree=1746904/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=67812 CPUtime=172.75 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 16765 0 0 0 17227 48 0 0 18 0 1 0 92055490 69439488 16483 1992294400 134512640 135752675 4293274928 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 16953 16483 145 303 0 16648 0 Current children cumulated CPU time (s) 172.75 Current children cumulated vsize (KiB) 67812 [startup+179.201 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29662 /proc/meminfo: memFree=1745788/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=68968 CPUtime=179.14 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 17073 0 0 0 17865 49 0 0 25 0 1 0 92055490 70623232 16791 1992294400 134512640 135752675 4293274928 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 17242 16791 145 303 0 16937 0 Current children cumulated CPU time (s) 179.14 Current children cumulated vsize (KiB) 68968 [startup+180.801 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29664 /proc/meminfo: memFree=1745416/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=74680 CPUtime=180.74 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 18596 0 0 0 18025 49 0 0 19 0 1 0 92055490 76472320 18219 1992294400 134512640 135752675 4293274928 18446744073709551615 135200951 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 18670 18219 146 303 0 18365 0 Current children cumulated CPU time (s) 180.74 Current children cumulated vsize (KiB) 74680 [startup+181.608 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29664 /proc/meminfo: memFree=1733636/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=85652 CPUtime=181.55 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 21368 0 0 0 18105 50 0 0 20 0 1 0 92055490 87707648 20957 1992294400 134512640 135752675 4293274928 18446744073709551615 134548269 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 21413 20957 146 303 0 21108 0 Current children cumulated CPU time (s) 181.55 Current children cumulated vsize (KiB) 85652 [startup+182.001 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29664 /proc/meminfo: memFree=1733636/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=103932 CPUtime=181.94 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 25939 0 0 0 18143 51 0 0 21 0 1 0 92055490 106426368 25528 1992294400 134512640 135752675 4293274928 18446744073709551615 134548467 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 25983 25528 146 303 0 25678 0 Current children cumulated CPU time (s) 181.94 Current children cumulated vsize (KiB) 103932 [startup+182.201 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29664 /proc/meminfo: memFree=1733636/2059040 swapFree=4140024/4192956 [pid=29657] ppid=29655 vsize=113072 CPUtime=182.14 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 29393 0 -1 4202496 28222 0 0 0 18163 51 0 0 22 0 1 0 92055490 115785728 27811 1992294400 134512640 135752675 4293274928 18446744073709551615 134647968 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 28268 27811 146 303 0 27963 0 Current children cumulated CPU time (s) 182.14 Current children cumulated vsize (KiB) 113072 Child status: 0 Real time (s): 182.274 CPU time (s): 182.226 CPU user time (s): 181.69 CPU system time (s): 0.535918 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 113072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 181.69 system time used= 0.535918 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28759 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= 98 involuntary context switches= 354 runsolver used 0.313952 second user time and 0.897863 second system time The end
Begin job on node083 at 2010-06-26 01:13:38 IDJOB=2683172 IDBENCH=72091 IDSOLVER=1190 FILE ID=node083/2683172-1277507615 PBS_JOBID= 11190591 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand18b530.cudf.paranoid.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683172-1277507615/watcher-2683172-1277507615 -o /tmp/evaluation-result-2683172-1277507615/solver-2683172-1277507615 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683172-1277507615.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7d47423dbe0b5ddfaa03904c8689e004 RANDOM SEED=22861457 node083.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.262 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.52 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.262 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1813532 kB Buffers: 44440 kB Cached: 103572 kB SwapCached: 5404 kB Active: 67476 kB Inactive: 93540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1813532 kB SwapTotal: 4192956 kB SwapFree: 4140024 kB Dirty: 3664 kB Writeback: 0 kB AnonPages: 11616 kB Mapped: 11956 kB Slab: 62580 kB PageTables: 4180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181864 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62492 MiB End job on node083 at 2010-06-26 01:16:40