Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 6563 | 182.346 | 182.403 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2683161-1277507412.opb. 0.00/0.00 c Instance file HOME/instance-2683161-1277507412.opb 0.00/0.00 c File size is 819457 bytes. 0.09/0.11 c Highest Coefficient sum: 553 0.09/0.12 c ============================[ Problem Statistics ]============================= 0.09/0.12 c | | 0.09/0.12 c | Parsing time: 0.11 s | 0.09/0.12 c | Number Variables: 5740 | 0.09/0.12 c | Number Clauses: 25378 | 0.09/0.12 c | Number Cardinality: 296 | 0.09/0.12 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.21766 s Remaining CPU time: 177.782 s 2.20/2.23 c =============================================================================== 2.20/2.23 c | 8 | 3934 27037 59374 | 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.22366 s Remaining CPU time: 177.776 s 2.20/2.24 c =============================================================================== 2.20/2.24 c | 9 | 3934 27038 61408 | 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.23166 s Remaining CPU time: 177.768 s 2.20/2.25 c =============================================================================== 2.20/2.25 c | 18 | 3934 27039 63442 | 9013 18 5 | 0.000 % | 2.20/2.25 c =============================================================================== 2.20/2.25 c New solution: 379753 2.20/2.25 o 379753 2.20/2.25 c Elapsed CPU time: 2.23766 s Remaining CPU time: 177.762 s 2.20/2.25 c =============================================================================== 2.20/2.25 c | 20 | 3934 27040 65476 | 9013 20 5 | 0.000 % | 2.20/2.26 c =============================================================================== 2.20/2.26 c New solution: 379752 2.20/2.26 o 379752 2.20/2.26 c Elapsed CPU time: 2.24266 s Remaining CPU time: 177.757 s 2.20/2.26 c =============================================================================== 2.20/2.26 c | 23 | 3934 27041 67510 | 9013 23 38 | 0.000 % | 2.29/2.30 c =============================================================================== 2.29/2.30 c New solution: 136493 2.29/2.30 o 136493 2.29/2.30 c Elapsed CPU time: 2.27065 s Remaining CPU time: 177.729 s 2.29/2.30 c =============================================================================== 2.29/2.30 c | 69 | 3934 27042 69544 | 9014 69 15 | 0.000 % | 2.29/2.31 c =============================================================================== 2.29/2.31 c New solution: 136469 2.29/2.31 o 136469 2.29/2.31 c Elapsed CPU time: 2.27765 s Remaining CPU time: 177.722 s 2.29/2.31 c =============================================================================== 2.29/2.31 c | 75 | 3934 27043 71578 | 9014 75 14 | 0.000 % | 2.29/2.32 c =============================================================================== 2.29/2.32 c New solution: 136468 2.29/2.32 o 136468 2.29/2.32 c Elapsed CPU time: 2.28665 s Remaining CPU time: 177.713 s 2.29/2.32 c =============================================================================== 2.29/2.32 c | 77 | 3934 27044 73612 | 9014 77 22 | 0.000 % | 2.29/2.38 c =============================================================================== 2.29/2.38 c New solution: 134941 2.29/2.38 o 134941 2.29/2.38 c Elapsed CPU time: 2.33365 s Remaining CPU time: 177.666 s 2.29/2.38 c =============================================================================== 2.29/2.38 c | 152 | 3934 27045 75646 | 9015 152 17 | 0.000 % | 2.29/2.39 c =============================================================================== 2.29/2.39 c New solution: 134905 2.29/2.39 o 134905 2.29/2.39 c Elapsed CPU time: 2.34864 s Remaining CPU time: 177.651 s 2.29/2.39 c =============================================================================== 2.29/2.39 c | 163 | 3934 27046 77680 | 9015 163 28 | 0.000 % | 2.39/2.42 c =============================================================================== 2.39/2.42 c New solution: 133339 2.39/2.42 o 133339 2.39/2.42 c Elapsed CPU time: 2.37164 s Remaining CPU time: 177.628 s 2.39/2.42 c =============================================================================== 2.39/2.42 c | 183 | 3934 27047 79714 | 9015 183 51 | 0.000 % | 2.39/2.43 c =============================================================================== 2.39/2.43 c New solution: 131791 2.39/2.43 o 131791 2.39/2.43 c Elapsed CPU time: 2.38564 s Remaining CPU time: 177.614 s 2.39/2.43 c =============================================================================== 2.39/2.43 c | 195 | 3934 27048 81748 | 9016 195 48 | 0.000 % | 2.39/2.45 c =============================================================================== 2.39/2.45 c New solution: 106518 2.39/2.45 o 106518 2.39/2.45 c Elapsed CPU time: 2.40063 s Remaining CPU time: 177.599 s 2.39/2.45 c =============================================================================== 2.39/2.45 c | 211 | 3934 27049 83782 | 9016 211 51 | 0.000 % | 2.39/2.47 c =============================================================================== 2.39/2.47 c New solution: 106464 2.39/2.47 o 106464 2.39/2.47 c Elapsed CPU time: 2.41563 s Remaining CPU time: 177.584 s 2.39/2.47 c =============================================================================== 2.39/2.47 c | 223 | 3934 27050 85816 | 9016 223 53 | 0.000 % | 2.49/2.57 c =============================================================================== 2.49/2.57 c New solution: 106463 2.49/2.57 o 106463 2.49/2.57 c Elapsed CPU time: 2.51362 s Remaining CPU time: 177.486 s 2.49/2.57 c =============================================================================== 2.49/2.57 c | 311 | 3934 27051 87850 | 9017 311 177 | 0.000 % | 2.49/2.59 c =============================================================================== 2.49/2.59 c New solution: 104957 2.49/2.59 o 104957 2.49/2.59 c Elapsed CPU time: 2.53461 s Remaining CPU time: 177.465 s 2.49/2.59 c =============================================================================== 2.49/2.59 c | 340 | 3934 27052 89884 | 9017 340 196 | 0.000 % | 2.59/2.60 c =============================================================================== 2.59/2.60 c New solution: 104915 2.59/2.60 o 104915 2.59/2.60 c Elapsed CPU time: 2.54961 s Remaining CPU time: 177.45 s 2.59/2.60 c =============================================================================== 2.59/2.60 c | 350 | 3934 27053 91918 | 9017 350 195 | 0.000 % | 2.59/2.64 c =============================================================================== 2.59/2.64 c New solution: 104914 2.59/2.64 o 104914 2.59/2.64 c Elapsed CPU time: 2.58761 s Remaining CPU time: 177.412 s 2.59/2.64 c =============================================================================== 2.59/2.64 c | 377 | 3934 27054 93952 | 9018 377 216 | 0.000 % | 2.59/2.66 c =============================================================================== 2.59/2.66 c New solution: 104895 2.59/2.66 o 104895 2.59/2.66 c Elapsed CPU time: 2.6066 s Remaining CPU time: 177.393 s 2.59/2.66 c =============================================================================== 2.59/2.66 c | 378 | 3934 27055 95986 | 9018 378 217 | 0.000 % | 2.70/2.72 c =============================================================================== 2.70/2.72 c New solution: 103350 2.70/2.72 o 103350 2.70/2.72 c Elapsed CPU time: 2.6586 s Remaining CPU time: 177.341 s 2.70/2.72 c =============================================================================== 2.70/2.72 c | 403 | 3934 27056 98020 | 9018 403 215 | 0.000 % | 2.70/2.75 c =============================================================================== 2.70/2.75 c New solution: 103310 2.70/2.75 o 103310 2.70/2.75 c Elapsed CPU time: 2.68859 s Remaining CPU time: 177.311 s 2.70/2.75 c =============================================================================== 2.70/2.75 c | 409 | 3934 27057 100054 | 9019 409 212 | 0.000 % | 2.70/2.77 c =============================================================================== 2.70/2.77 c New solution: 100221 2.70/2.77 o 100221 2.70/2.77 c Elapsed CPU time: 2.71059 s Remaining CPU time: 177.289 s 2.70/2.77 c =============================================================================== 2.70/2.77 c | 421 | 3934 27058 102088 | 9019 421 210 | 0.000 % | 2.79/2.81 c =============================================================================== 2.79/2.81 c New solution: 100169 2.79/2.81 o 100169 2.79/2.81 c Elapsed CPU time: 2.74358 s Remaining CPU time: 177.256 s 2.79/2.81 c =============================================================================== 2.79/2.81 c | 426 | 3934 27059 104122 | 9019 426 211 | 0.000 % | 2.79/2.83 c =============================================================================== 2.79/2.83 c New solution: 98656 2.79/2.83 o 98656 2.79/2.83 c Elapsed CPU time: 2.76458 s Remaining CPU time: 177.235 s 2.79/2.83 c =============================================================================== 2.79/2.83 c | 435 | 3934 27060 106156 | 9020 435 208 | 0.000 % | 2.79/2.85 c =============================================================================== 2.79/2.85 c New solution: 98581 2.79/2.85 o 98581 2.79/2.85 c Elapsed CPU time: 2.78558 s Remaining CPU time: 177.214 s 2.79/2.85 c =============================================================================== 2.79/2.85 c | 439 | 3934 27061 108190 | 9020 439 207 | 0.000 % | 2.79/2.88 c =============================================================================== 2.79/2.88 c New solution: 98580 2.79/2.88 o 98580 2.79/2.88 c Elapsed CPU time: 2.81457 s Remaining CPU time: 177.185 s 2.79/2.88 c =============================================================================== 2.79/2.88 c | 451 | 3934 27062 110224 | 9020 451 214 | 0.000 % | 2.89/2.96 c | 551 | 3934 27062 110224 | 9922 551 282 | 31.463 % | 3.09/3.12 c =============================================================================== 3.09/3.12 c New solution: 97012 3.09/3.12 o 97012 3.09/3.12 c Elapsed CPU time: 3.05054 s Remaining CPU time: 176.949 s 3.09/3.12 c =============================================================================== 3.09/3.12 c | 674 | 3934 27063 112258 | 9021 674 344 | 31.463 % | 3.09/3.15 c =============================================================================== 3.09/3.15 c New solution: 97008 3.09/3.15 o 97008 3.09/3.15 c Elapsed CPU time: 3.07953 s Remaining CPU time: 176.92 s 3.09/3.15 c =============================================================================== 3.09/3.15 c | 685 | 3934 27064 114292 | 9021 685 347 | 31.463 % | 3.09/3.19 c =============================================================================== 3.09/3.19 c New solution: 97007 3.09/3.19 o 97007 3.09/3.19 c Elapsed CPU time: 3.11753 s Remaining CPU time: 176.882 s 3.09/3.19 c =============================================================================== 3.09/3.19 c | 698 | 3934 27065 116326 | 9021 698 348 | 31.463 % | 3.20/3.23 c =============================================================================== 3.20/3.23 c New solution: 97006 3.20/3.23 o 97006 3.20/3.23 c Elapsed CPU time: 3.15252 s Remaining CPU time: 176.847 s 3.20/3.23 c =============================================================================== 3.20/3.23 c | 705 | 3934 27066 118360 | 9022 705 346 | 31.463 % | 3.20/3.25 c =============================================================================== 3.20/3.25 c New solution: 97005 3.20/3.25 o 97005 3.20/3.25 c Elapsed CPU time: 3.17552 s Remaining CPU time: 176.824 s 3.20/3.25 c =============================================================================== 3.20/3.25 c | 712 | 3934 27067 120394 | 9022 712 345 | 31.463 % | 3.20/3.29 c =============================================================================== 3.20/3.29 c New solution: 96999 3.20/3.29 o 96999 3.20/3.29 c Elapsed CPU time: 3.21651 s Remaining CPU time: 176.783 s 3.20/3.29 c =============================================================================== 3.20/3.29 c | 714 | 3934 27068 122428 | 9022 714 345 | 31.463 % | 3.30/3.34 c =============================================================================== 3.30/3.34 c New solution: 96998 3.30/3.34 o 96998 3.30/3.34 c Elapsed CPU time: 3.2605 s Remaining CPU time: 176.739 s 3.30/3.34 c =============================================================================== 3.30/3.34 c | 732 | 3934 27069 124462 | 9023 732 350 | 31.463 % | 3.30/3.38 c =============================================================================== 3.30/3.38 c New solution: 95461 3.30/3.38 o 95461 3.30/3.38 c Elapsed CPU time: 3.3075 s Remaining CPU time: 176.693 s 3.30/3.38 c =============================================================================== 3.30/3.38 c | 741 | 3934 27070 126496 | 9023 741 353 | 31.463 % | 3.39/3.43 c =============================================================================== 3.39/3.43 c New solution: 95420 3.39/3.43 o 95420 3.39/3.43 c Elapsed CPU time: 3.34749 s Remaining CPU time: 176.653 s 3.39/3.43 c =============================================================================== 3.39/3.43 c | 742 | 3934 27071 128530 | 9023 742 354 | 31.463 % | 3.49/3.50 c =============================================================================== 3.49/3.50 c New solution: 95410 3.49/3.50 o 95410 3.49/3.50 c Elapsed CPU time: 3.42148 s Remaining CPU time: 176.579 s 3.49/3.50 c =============================================================================== 3.49/3.50 c | 779 | 3934 27072 130564 | 9024 779 356 | 31.463 % | 3.69/3.70 c | 879 | 3934 27072 130564 | 9926 879 389 | 31.463 % | 3.89/3.91 c | 1029 | 3934 27072 130564 | 10919 1029 420 | 31.463 % | 3.89/3.95 c =============================================================================== 3.89/3.95 c New solution: 95401 3.89/3.95 o 95401 3.89/3.95 c Elapsed CPU time: 3.86641 s Remaining CPU time: 176.134 s 3.89/3.95 c =============================================================================== 3.89/3.95 c | 1033 | 3934 27073 132598 | 9024 1033 420 | 31.463 % | 3.99/4.01 c =============================================================================== 3.99/4.01 c New solution: 93879 3.99/4.01 o 93879 3.99/4.01 c Elapsed CPU time: 3.9224 s Remaining CPU time: 176.078 s 3.99/4.01 c =============================================================================== 3.99/4.01 c | 1051 | 3934 27074 134632 | 9024 1051 421 | 31.463 % | 3.99/4.04 c =============================================================================== 3.99/4.04 c New solution: 93812 3.99/4.04 o 93812 3.99/4.04 c Elapsed CPU time: 3.9534 s Remaining CPU time: 176.047 s 3.99/4.04 c =============================================================================== 3.99/4.04 c | 1068 | 3934 27075 136666 | 9025 1068 424 | 31.463 % | 4.19/4.23 c | 1169 | 3934 27075 136666 | 9927 1169 441 | 31.463 % | 4.39/4.49 c | 1319 | 3934 27075 136666 | 10920 1319 458 | 31.463 % | 4.78/4.86 c | 1545 | 3934 27075 136666 | 12012 1545 483 | 31.463 % | 5.09/5.13 c =============================================================================== 5.09/5.13 c New solution: 93811 5.09/5.13 o 93811 5.09/5.13 c Elapsed CPU time: 5.04423 s Remaining CPU time: 174.956 s 5.09/5.13 c =============================================================================== 5.09/5.13 c | 1713 | 3934 27076 138700 | 9025 1713 497 | 31.463 % | 5.19/5.29 c =============================================================================== 5.19/5.29 c New solution: 93810 5.19/5.29 o 93810 5.19/5.29 c Elapsed CPU time: 5.20121 s Remaining CPU time: 174.799 s 5.19/5.29 c =============================================================================== 5.19/5.29 c | 1802 | 3934 27077 140734 | 9025 1802 502 | 31.463 % | 5.29/5.37 c =============================================================================== 5.29/5.37 c New solution: 93809 5.29/5.37 o 93809 5.29/5.37 c Elapsed CPU time: 5.2802 s Remaining CPU time: 174.72 s 5.29/5.37 c =============================================================================== 5.29/5.37 c | 1823 | 3934 27078 142768 | 9026 1823 504 | 31.463 % | 5.39/5.40 c =============================================================================== 5.39/5.40 c New solution: 93808 5.39/5.40 o 93808 5.39/5.40 c Elapsed CPU time: 5.30119 s Remaining CPU time: 174.699 s 5.39/5.40 c =============================================================================== 5.39/5.40 c | 1836 | 3934 27079 144802 | 9026 1836 504 | 31.463 % | 5.39/5.49 c =============================================================================== 5.39/5.49 c New solution: 93807 5.39/5.49 o 93807 5.39/5.49 c Elapsed CPU time: 5.39718 s Remaining CPU time: 174.603 s 5.39/5.49 c =============================================================================== 5.39/5.49 c | 1891 | 3934 27080 146836 | 9026 1891 506 | 31.463 % | 5.49/5.53 c =============================================================================== 5.49/5.53 c New solution: 93806 5.49/5.53 o 93806 5.49/5.53 c Elapsed CPU time: 5.43817 s Remaining CPU time: 174.562 s 5.49/5.53 c =============================================================================== 5.49/5.53 c | 1910 | 3934 27081 148870 | 9027 1910 506 | 31.463 % | 5.58/5.64 c =============================================================================== 5.58/5.64 c New solution: 92304 5.58/5.64 o 92304 5.58/5.64 c Elapsed CPU time: 5.54116 s Remaining CPU time: 174.459 s 5.58/5.64 c =============================================================================== 5.58/5.64 c | 1917 | 3934 27082 150904 | 9027 1917 505 | 31.463 % | 5.69/5.70 c =============================================================================== 5.69/5.70 c New solution: 92288 5.69/5.70 o 92288 5.69/5.70 c Elapsed CPU time: 5.60615 s Remaining CPU time: 174.394 s 5.69/5.70 c =============================================================================== 5.69/5.70 c | 1923 | 3934 27083 152938 | 9027 1923 504 | 31.463 % | 5.79/5.84 c =============================================================================== 5.79/5.84 c New solution: 92275 5.79/5.84 o 92275 5.79/5.84 c Elapsed CPU time: 5.73613 s Remaining CPU time: 174.264 s 5.79/5.84 c =============================================================================== 5.79/5.84 c | 2007 | 3934 27084 154972 | 9028 2007 505 | 31.463 % | 5.79/5.88 c =============================================================================== 5.79/5.88 c New solution: 92247 5.79/5.88 o 92247 5.79/5.88 c Elapsed CPU time: 5.77512 s Remaining CPU time: 174.225 s 5.79/5.88 c =============================================================================== 5.79/5.88 c | 2008 | 3934 27085 157006 | 9028 2008 505 | 31.463 % | 5.89/5.91 c =============================================================================== 5.89/5.91 c New solution: 92246 5.89/5.91 o 92246 5.89/5.91 c Elapsed CPU time: 5.80512 s Remaining CPU time: 174.195 s 5.89/5.91 c =============================================================================== 5.89/5.91 c | 2009 | 3934 27086 159040 | 9028 2009 505 | 31.463 % | 5.89/5.94 c =============================================================================== 5.89/5.94 c New solution: 92245 5.89/5.94 o 92245 5.89/5.94 c Elapsed CPU time: 5.84011 s Remaining CPU time: 174.16 s 5.89/5.94 c =============================================================================== 5.89/5.94 c | 2013 | 3934 27087 161074 | 9029 2013 504 | 31.463 % | 5.89/5.97 c =============================================================================== 5.89/5.97 c New solution: 92244 5.89/5.97 o 92244 5.89/5.97 c Elapsed CPU time: 5.87211 s Remaining CPU time: 174.128 s 5.89/5.97 c =============================================================================== 5.89/5.97 c | 2013 | 3934 27088 163108 | 9029 2013 504 | 31.463 % | 5.99/6.02 c =============================================================================== 5.99/6.02 c New solution: 92242 5.99/6.02 o 92242 5.99/6.02 c Elapsed CPU time: 5.9111 s Remaining CPU time: 174.089 s 5.99/6.02 c =============================================================================== 5.99/6.02 c | 2013 | 3934 27089 165142 | 9029 2013 504 | 31.463 % | 5.99/6.05 c =============================================================================== 5.99/6.05 c New solution: 92241 5.99/6.05 o 92241 5.99/6.05 c Elapsed CPU time: 5.9411 s Remaining CPU time: 174.059 s 5.99/6.05 c =============================================================================== 5.99/6.05 c | 2013 | 3934 27090 167176 | 9030 2013 504 | 31.463 % | 5.99/6.08 c =============================================================================== 5.99/6.08 c New solution: 92240 5.99/6.08 o 92240 5.99/6.08 c Elapsed CPU time: 5.97309 s Remaining CPU time: 174.027 s 5.99/6.08 c =============================================================================== 5.99/6.08 c | 2013 | 3934 27091 169210 | 9030 2013 504 | 31.463 % | 6.08/6.10 c =============================================================================== 6.08/6.10 c New solution: 92239 6.08/6.10 o 92239 6.08/6.10 c Elapsed CPU time: 5.99709 s Remaining CPU time: 174.003 s 6.08/6.10 c =============================================================================== 6.08/6.10 c | 2014 | 3934 27092 171244 | 9030 2014 504 | 31.463 % | 6.08/6.15 c =============================================================================== 6.08/6.15 c New solution: 92236 6.08/6.15 o 92236 6.08/6.15 c Elapsed CPU time: 6.03808 s Remaining CPU time: 173.962 s 6.08/6.15 c =============================================================================== 6.08/6.15 c | 2014 | 3934 27093 173278 | 9031 2014 504 | 31.463 % | 6.08/6.18 c =============================================================================== 6.08/6.18 c New solution: 92235 6.08/6.18 o 92235 6.08/6.18 c Elapsed CPU time: 6.07308 s Remaining CPU time: 173.927 s 6.08/6.18 c =============================================================================== 6.08/6.18 c | 2017 | 3934 27094 175312 | 9031 2017 504 | 31.463 % | 6.19/6.20 c =============================================================================== 6.19/6.20 c New solution: 90703 6.19/6.20 o 90703 6.19/6.20 c Elapsed CPU time: 6.09407 s Remaining CPU time: 173.906 s 6.19/6.20 c =============================================================================== 6.19/6.20 c | 2017 | 3934 27095 177346 | 9031 2017 504 | 31.463 % | 6.19/6.23 c =============================================================================== 6.19/6.23 c New solution: 90699 6.19/6.23 o 90699 6.19/6.23 c Elapsed CPU time: 6.11607 s Remaining CPU time: 173.884 s 6.19/6.23 c =============================================================================== 6.19/6.23 c | 2017 | 3934 27096 179380 | 9032 2017 504 | 31.463 % | 6.19/6.28 c =============================================================================== 6.19/6.28 c New solution: 90659 6.19/6.28 o 90659 6.19/6.28 c Elapsed CPU time: 6.17206 s Remaining CPU time: 173.828 s 6.19/6.28 c =============================================================================== 6.19/6.28 c | 2018 | 3934 27097 181414 | 9032 2018 504 | 31.463 % | 6.29/6.32 c =============================================================================== 6.29/6.32 c New solution: 89120 6.29/6.32 o 89120 6.29/6.32 c Elapsed CPU time: 6.20606 s Remaining CPU time: 173.794 s 6.29/6.32 c =============================================================================== 6.29/6.32 c | 2018 | 3934 27098 183448 | 9032 2018 504 | 31.463 % | 6.29/6.34 c =============================================================================== 6.29/6.34 c New solution: 87578 6.29/6.34 o 87578 6.29/6.34 c Elapsed CPU time: 6.23205 s Remaining CPU time: 173.768 s 6.29/6.35 c =============================================================================== 6.29/6.35 c | 2022 | 3934 27099 185482 | 9033 2022 504 | 31.463 % | 6.29/6.39 c =============================================================================== 6.29/6.39 c New solution: 87495 6.29/6.39 o 87495 6.29/6.39 c Elapsed CPU time: 6.27505 s Remaining CPU time: 173.725 s 6.29/6.39 c =============================================================================== 6.29/6.39 c | 2023 | 3934 27100 187516 | 9033 2023 504 | 31.463 % | 6.39/6.43 c =============================================================================== 6.39/6.43 c New solution: 85955 6.39/6.43 o 85955 6.39/6.43 c Elapsed CPU time: 6.31604 s Remaining CPU time: 173.684 s 6.39/6.43 c =============================================================================== 6.39/6.43 c | 2025 | 3934 27101 189550 | 9033 2025 503 | 31.463 % | 6.39/6.47 c =============================================================================== 6.39/6.47 c New solution: 85954 6.39/6.47 o 85954 6.39/6.47 c Elapsed CPU time: 6.36003 s Remaining CPU time: 173.64 s 6.39/6.47 c =============================================================================== 6.39/6.47 c | 2026 | 3934 27102 191584 | 9034 2026 503 | 31.463 % | 6.49/6.52 c =============================================================================== 6.49/6.52 c New solution: 85953 6.49/6.52 o 85953 6.49/6.52 c Elapsed CPU time: 6.39803 s Remaining CPU time: 173.602 s 6.49/6.52 c =============================================================================== 6.49/6.52 c | 2027 | 3934 27103 193618 | 9034 2027 503 | 31.463 % | 6.49/6.56 c =============================================================================== 6.49/6.56 c New solution: 85952 6.49/6.56 o 85952 6.49/6.56 c Elapsed CPU time: 6.44402 s Remaining CPU time: 173.556 s 6.49/6.56 c =============================================================================== 6.49/6.56 c | 2028 | 3934 27104 195652 | 9034 2028 503 | 31.463 % | 6.49/6.60 c =============================================================================== 6.49/6.60 c New solution: 85951 6.49/6.60 o 85951 6.49/6.60 c Elapsed CPU time: 6.48501 s Remaining CPU time: 173.515 s 6.49/6.60 c =============================================================================== 6.49/6.60 c | 2029 | 3934 27105 197686 | 9035 2029 503 | 31.463 % | 6.60/6.67 c =============================================================================== 6.60/6.67 c New solution: 85938 6.60/6.67 o 85938 6.60/6.67 c Elapsed CPU time: 6.55 s Remaining CPU time: 173.45 s 6.60/6.67 c =============================================================================== 6.60/6.67 c | 2034 | 3934 27106 199720 | 9035 2034 502 | 31.463 % | 6.69/6.70 c =============================================================================== 6.69/6.70 c New solution: 84369 6.69/6.70 o 84369 6.69/6.70 c Elapsed CPU time: 6.58 s Remaining CPU time: 173.42 s 6.69/6.70 c =============================================================================== 6.69/6.70 c | 2037 | 3934 27107 201754 | 9035 2037 503 | 31.463 % | 6.69/6.78 c =============================================================================== 6.69/6.78 c New solution: 84354 6.69/6.78 o 84354 6.69/6.78 c Elapsed CPU time: 6.65799 s Remaining CPU time: 173.342 s 6.69/6.78 c =============================================================================== 6.69/6.78 c | 2039 | 3934 27108 203788 | 9036 2039 503 | 31.463 % | 6.99/7.01 c | 2140 | 3934 27108 203788 | 9939 2140 509 | 31.463 % | 7.09/7.10 c =============================================================================== 7.09/7.10 c New solution: 84353 7.09/7.10 o 84353 7.09/7.10 c Elapsed CPU time: 6.97694 s Remaining CPU time: 173.023 s 7.09/7.10 c =============================================================================== 7.09/7.10 c | 2142 | 3934 27109 205822 | 9036 2142 509 | 31.463 % | 7.09/7.17 c =============================================================================== 7.09/7.17 c New solution: 84348 7.09/7.17 o 84348 7.09/7.17 c Elapsed CPU time: 7.04793 s Remaining CPU time: 172.952 s 7.09/7.17 c =============================================================================== 7.09/7.17 c | 2143 | 3934 27110 207856 | 9036 2143 509 | 31.463 % | 7.19/7.24 c =============================================================================== 7.19/7.24 c New solution: 84347 7.19/7.24 o 84347 7.19/7.24 c Elapsed CPU time: 7.11992 s Remaining CPU time: 172.88 s 7.19/7.24 c =============================================================================== 7.19/7.24 c | 2147 | 3934 27111 209890 | 9037 2147 509 | 31.463 % | 7.29/7.32 c =============================================================================== 7.29/7.32 c New solution: 84346 7.29/7.32 o 84346 7.29/7.32 c Elapsed CPU time: 7.2029 s Remaining CPU time: 172.797 s 7.29/7.32 c =============================================================================== 7.29/7.32 c | 2165 | 3934 27112 211924 | 9037 2165 509 | 31.463 % | 7.29/7.38 c =============================================================================== 7.29/7.38 c New solution: 84345 7.29/7.38 o 84345 7.29/7.38 c Elapsed CPU time: 7.2599 s Remaining CPU time: 172.74 s 7.29/7.38 c =============================================================================== 7.29/7.38 c | 2168 | 3934 27113 213958 | 9037 2168 509 | 31.463 % | 7.39/7.43 c =============================================================================== 7.39/7.43 c New solution: 84344 7.39/7.43 o 84344 7.39/7.43 c Elapsed CPU time: 7.30989 s Remaining CPU time: 172.69 s 7.39/7.43 c =============================================================================== 7.39/7.43 c | 2177 | 3934 27114 215992 | 9038 2177 510 | 31.463 % | 7.49/7.51 c =============================================================================== 7.49/7.51 c New solution: 84343 7.49/7.51 o 84343 7.49/7.51 c Elapsed CPU time: 7.38888 s Remaining CPU time: 172.611 s 7.49/7.51 c =============================================================================== 7.49/7.51 c | 2182 | 3934 27115 218026 | 9038 2182 510 | 31.463 % | 7.69/7.75 c | 2283 | 3934 27115 218026 | 9942 2283 513 | 31.463 % | 7.78/7.81 c =============================================================================== 7.78/7.81 c New solution: 84342 7.78/7.81 o 84342 7.78/7.81 c Elapsed CPU time: 7.68583 s Remaining CPU time: 172.314 s 7.78/7.81 c =============================================================================== 7.78/7.81 c | 2289 | 3934 27116 220060 | 9038 2289 514 | 31.463 % | 7.78/7.89 c =============================================================================== 7.78/7.89 c New solution: 84341 7.78/7.89 o 84341 7.78/7.89 c Elapsed CPU time: 7.76482 s Remaining CPU time: 172.235 s 7.78/7.89 c =============================================================================== 7.78/7.89 c | 2305 | 3934 27117 222094 | 9039 2305 514 | 31.463 % | 7.99/8.03 c =============================================================================== 7.99/8.03 c New solution: 84340 7.99/8.03 o 84340 7.99/8.03 c Elapsed CPU time: 7.8998 s Remaining CPU time: 172.1 s 7.99/8.03 c =============================================================================== 7.99/8.03 c | 2316 | 3934 27118 224128 | 9039 2316 514 | 31.463 % | 8.39/8.47 c | 2417 | 3934 27118 224128 | 9943 2417 518 | 31.463 % | 8.49/8.57 c =============================================================================== 8.49/8.57 c New solution: 84339 8.49/8.57 o 84339 8.49/8.57 c Elapsed CPU time: 8.44272 s Remaining CPU time: 171.557 s 8.49/8.57 c =============================================================================== 8.49/8.57 c | 2430 | 3934 27119 226162 | 9039 2430 518 | 31.463 % | 8.59/8.66 c =============================================================================== 8.59/8.66 c New solution: 84338 8.59/8.66 o 84338 8.59/8.66 c Elapsed CPU time: 8.5247 s Remaining CPU time: 171.475 s 8.59/8.66 c =============================================================================== 8.59/8.66 c | 2445 | 3934 27120 228196 | 9040 2445 519 | 31.463 % | 9.19/9.28 c | 2546 | 3934 27120 228196 | 9944 2546 523 | 31.463 % | 9.29/9.37 c =============================================================================== 9.29/9.37 c New solution: 84337 9.29/9.37 o 84337 9.29/9.37 c Elapsed CPU time: 9.2326 s Remaining CPU time: 170.767 s 9.29/9.37 c =============================================================================== 9.29/9.37 c | 2571 | 3934 27121 230230 | 9040 2571 523 | 31.463 % | 9.69/9.72 c | 2671 | 3934 27121 230230 | 9944 2671 527 | 31.463 % | 9.80/9.87 c =============================================================================== 9.80/9.87 c New solution: 84336 9.80/9.87 o 84336 9.80/9.87 c Elapsed CPU time: 9.73352 s Remaining CPU time: 170.266 s 9.80/9.87 c =============================================================================== 9.80/9.87 c | 2704 | 3934 27122 232264 | 9040 2704 527 | 31.463 % | 9.90/9.97 c =============================================================================== 9.90/9.97 c New solution: 84335 9.90/9.97 o 84335 9.90/9.97 c Elapsed CPU time: 9.8345 s Remaining CPU time: 170.165 s 9.90/9.97 c =============================================================================== 9.90/9.97 c | 2713 | 3934 27123 234298 | 9041 2713 527 | 31.463 % | 10.29/10.34 c | 2813 | 3934 27123 234298 | 9945 2813 530 | 31.463 % | 10.39/10.49 c =============================================================================== 10.39/10.49 c New solution: 84334 10.39/10.49 o 84334 10.39/10.49 c Elapsed CPU time: 10.3554 s Remaining CPU time: 169.645 s 10.39/10.49 c =============================================================================== 10.39/10.49 c | 2847 | 3934 27124 236332 | 9041 2847 531 | 31.463 % | 10.58/10.67 c =============================================================================== 10.58/10.67 c New solution: 84333 10.58/10.67 o 84333 10.58/10.67 c Elapsed CPU time: 10.5364 s Remaining CPU time: 169.464 s 10.58/10.67 c =============================================================================== 10.58/10.67 c | 2891 | 3934 27125 238366 | 9041 2891 531 | 31.463 % | 10.90/10.94 c | 2991 | 3934 27125 238366 | 9945 2991 534 | 31.463 % | 11.39/11.40 c | 3141 | 3934 27125 238366 | 10940 3141 539 | 31.463 % | 11.39/11.48 c =============================================================================== 11.39/11.48 c New solution: 84332 11.39/11.48 o 84332 11.39/11.48 c Elapsed CPU time: 11.3333 s Remaining CPU time: 168.667 s 11.39/11.48 c =============================================================================== 11.39/11.48 c | 3145 | 3934 27126 240400 | 9042 3145 539 | 31.463 % | 11.69/11.75 c =============================================================================== 11.69/11.75 c New solution: 84331 11.69/11.75 o 84331 11.69/11.75 c Elapsed CPU time: 11.6102 s Remaining CPU time: 168.39 s 11.69/11.75 c =============================================================================== 11.69/11.75 c | 3209 | 3934 27127 242434 | 9042 3209 541 | 31.463 % | 11.99/12.05 c =============================================================================== 11.99/12.05 c New solution: 84330 11.99/12.05 o 84330 11.99/12.05 c Elapsed CPU time: 11.9102 s Remaining CPU time: 168.09 s 11.99/12.05 c =============================================================================== 11.99/12.05 c | 3272 | 3934 27128 244468 | 9042 3272 543 | 31.463 % | 12.09/12.12 c =============================================================================== 12.09/12.12 c New solution: 84329 12.09/12.12 o 84329 12.09/12.12 c Elapsed CPU time: 11.9702 s Remaining CPU time: 168.03 s 12.09/12.12 c =============================================================================== 12.09/12.12 c | 3293 | 3934 27129 246502 | 9043 3293 543 | 31.463 % | 12.18/12.24 c =============================================================================== 12.18/12.24 c New solution: 84328 12.18/12.24 o 84328 12.18/12.24 c Elapsed CPU time: 12.0982 s Remaining CPU time: 167.902 s 12.18/12.24 c =============================================================================== 12.18/12.24 c | 3315 | 3934 27130 248536 | 9043 3315 544 | 31.463 % | 12.48/12.56 c | 3416 | 3934 27130 248536 | 9947 3416 544 | 31.463 % | 12.68/12.74 c =============================================================================== 12.68/12.74 c New solution: 82801 12.68/12.74 o 82801 12.68/12.74 c Elapsed CPU time: 12.5961 s Remaining CPU time: 167.404 s 12.68/12.74 c =============================================================================== 12.68/12.74 c | 3452 | 3934 27131 250570 | 9043 3452 544 | 31.463 % | 12.78/12.86 c =============================================================================== 12.78/12.86 c New solution: 82756 12.78/12.86 o 82756 12.78/12.86 c Elapsed CPU time: 12.7081 s Remaining CPU time: 167.292 s 12.78/12.86 c =============================================================================== 12.78/12.86 c | 3452 | 3934 27132 252604 | 9044 3452 544 | 31.463 % | 12.88/12.95 c =============================================================================== 12.88/12.95 c New solution: 82741 12.88/12.95 o 82741 12.88/12.95 c Elapsed CPU time: 12.8021 s Remaining CPU time: 167.198 s 12.88/12.95 c =============================================================================== 12.88/12.95 c | 3456 | 3934 27133 254638 | 9044 3456 544 | 31.463 % | 13.29/13.34 c | 3556 | 3934 27133 254638 | 9948 3556 546 | 31.463 % | 13.89/13.90 c | 3706 | 3934 27133 254638 | 10943 3706 549 | 31.463 % | 14.59/14.64 c =============================================================================== 14.59/14.64 c New solution: 81217 14.59/14.64 o 81217 14.59/14.64 c Elapsed CPU time: 14.4838 s Remaining CPU time: 165.516 s 14.59/14.64 c =============================================================================== 14.59/14.64 c | 3856 | 3934 27134 256672 | 9044 3856 550 | 31.463 % | 14.69/14.75 c =============================================================================== 14.69/14.75 c New solution: 81191 14.69/14.75 o 81191 14.69/14.75 c Elapsed CPU time: 14.5938 s Remaining CPU time: 165.406 s 14.69/14.75 c =============================================================================== 14.69/14.75 c | 3856 | 3934 27135 258706 | 9045 3856 550 | 31.463 % | 14.79/14.88 c =============================================================================== 14.79/14.88 c New solution: 81189 14.79/14.88 o 81189 14.79/14.88 c Elapsed CPU time: 14.7238 s Remaining CPU time: 165.276 s 14.79/14.88 c =============================================================================== 14.79/14.88 c | 3858 | 3934 27136 260740 | 9045 3858 550 | 31.463 % | 14.99/15.00 c =============================================================================== 14.99/15.00 c New solution: 81164 14.99/15.00 o 81164 14.99/15.00 c Elapsed CPU time: 14.8427 s Remaining CPU time: 165.157 s 14.99/15.00 c =============================================================================== 14.99/15.00 c | 3858 | 3934 27137 262774 | 9045 3858 550 | 31.463 % | 15.09/15.15 c =============================================================================== 15.09/15.15 c New solution: 81163 15.09/15.15 o 81163 15.09/15.15 c Elapsed CPU time: 14.9917 s Remaining CPU time: 165.008 s 15.09/15.15 c =============================================================================== 15.09/15.15 c | 3881 | 3934 27138 264808 | 9046 3881 550 | 31.463 % | 15.59/15.60 c | 3981 | 3934 27138 264808 | 9950 3981 552 | 31.463 % | 15.99/16.08 c =============================================================================== 15.99/16.08 c New solution: 79632 15.99/16.08 o 79632 15.99/16.08 c Elapsed CPU time: 15.9266 s Remaining CPU time: 164.073 s 15.99/16.08 c =============================================================================== 15.99/16.08 c | 4070 | 3934 27139 266842 | 9046 4070 553 | 31.463 % | 16.18/16.28 c =============================================================================== 16.18/16.28 c New solution: 79612 16.18/16.28 o 79612 16.18/16.28 c Elapsed CPU time: 16.1195 s Remaining CPU time: 163.88 s 16.18/16.28 c =============================================================================== 16.18/16.28 c | 4082 | 3934 27140 268876 | 9046 4082 553 | 31.463 % | 16.39/16.41 c =============================================================================== 16.39/16.41 c New solution: 79611 16.39/16.41 o 79611 16.39/16.41 c Elapsed CPU time: 16.2565 s Remaining CPU time: 163.743 s 16.39/16.41 c =============================================================================== 16.39/16.41 c | 4084 | 3934 27141 270910 | 9047 4084 553 | 31.463 % | 16.49/16.56 c =============================================================================== 16.49/16.56 c New solution: 79610 16.49/16.56 o 79610 16.49/16.56 c Elapsed CPU time: 16.4025 s Remaining CPU time: 163.597 s 16.49/16.56 c =============================================================================== 16.49/16.56 c | 4091 | 3934 27142 272944 | 9047 4091 553 | 31.463 % | 16.68/16.76 c =============================================================================== 16.68/16.76 c New solution: 79609 16.68/16.76 o 79609 16.68/16.76 c Elapsed CPU time: 16.5975 s Remaining CPU time: 163.403 s 16.68/16.76 c =============================================================================== 16.68/16.76 c | 4115 | 3934 27143 274978 | 9047 4115 552 | 31.463 % | 17.19/17.21 c | 4216 | 3934 27143 274978 | 9952 4216 554 | 31.463 % | 17.29/17.35 c =============================================================================== 17.29/17.35 c New solution: 79608 17.29/17.35 o 79608 17.29/17.35 c Elapsed CPU time: 17.1904 s Remaining CPU time: 162.81 s 17.29/17.35 c =============================================================================== 17.29/17.35 c | 4222 | 3934 27144 277012 | 9048 4222 554 | 31.463 % | 17.39/17.49 c =============================================================================== 17.39/17.49 c New solution: 79603 17.39/17.49 o 79603 17.39/17.49 c Elapsed CPU time: 17.3214 s Remaining CPU time: 162.679 s 17.39/17.49 c =============================================================================== 17.39/17.49 c | 4279 | 3934 27145 279046 | 9048 4279 554 | 31.463 % | 17.89/17.94 c | 4380 | 3934 27145 279046 | 9953 4380 557 | 31.463 % | 17.99/18.04 c =============================================================================== 17.99/18.04 c New solution: 79602 17.99/18.04 o 79602 17.99/18.04 c Elapsed CPU time: 17.8763 s Remaining CPU time: 162.124 s 17.99/18.04 c =============================================================================== 17.99/18.04 c | 4381 | 3934 27146 281080 | 9048 4381 557 | 31.463 % | 18.09/18.15 c =============================================================================== 18.09/18.15 c New solution: 79601 18.09/18.15 o 79601 18.09/18.15 c Elapsed CPU time: 17.9893 s Remaining CPU time: 162.011 s 18.09/18.15 c =============================================================================== 18.09/18.15 c | 4387 | 3934 27147 283114 | 9049 4387 557 | 31.463 % | 18.19/18.26 c =============================================================================== 18.19/18.26 c New solution: 79600 18.19/18.26 o 79600 18.19/18.26 c Elapsed CPU time: 18.0902 s Remaining CPU time: 161.91 s 18.19/18.26 c =============================================================================== 18.19/18.26 c | 4394 | 3934 27148 285148 | 9049 4394 557 | 31.463 % | 18.29/18.38 c =============================================================================== 18.29/18.38 c New solution: 79599 18.29/18.38 o 79599 18.29/18.38 c Elapsed CPU time: 18.2082 s Remaining CPU time: 161.792 s 18.29/18.38 c =============================================================================== 18.29/18.38 c | 4410 | 3934 27149 287182 | 9049 4410 557 | 31.463 % | 18.78/18.85 c | 4511 | 3934 27149 287182 | 9954 4511 558 | 31.463 % | 18.88/18.94 c =============================================================================== 18.88/18.94 c New solution: 79598 18.88/18.94 o 79598 18.88/18.94 c Elapsed CPU time: 18.7661 s Remaining CPU time: 161.234 s 18.88/18.94 c =============================================================================== 18.88/18.94 c | 4511 | 3934 27150 289216 | 9050 4511 558 | 31.463 % | 18.99/19.02 c =============================================================================== 18.99/19.02 c New solution: 79595 18.99/19.02 o 79595 18.99/19.02 c Elapsed CPU time: 18.8511 s Remaining CPU time: 161.149 s 18.99/19.02 c =============================================================================== 18.99/19.02 c | 4512 | 3934 27151 291250 | 9050 4512 558 | 31.463 % | 19.09/19.15 c =============================================================================== 19.09/19.15 c New solution: 79594 19.09/19.15 o 79594 19.09/19.15 c Elapsed CPU time: 18.9811 s Remaining CPU time: 161.019 s 19.09/19.15 c =============================================================================== 19.09/19.15 c | 4522 | 3934 27152 293284 | 9050 4522 558 | 31.463 % | 19.19/19.25 c =============================================================================== 19.19/19.25 c New solution: 79578 19.19/19.25 o 79578 19.19/19.25 c Elapsed CPU time: 19.0761 s Remaining CPU time: 160.924 s 19.19/19.25 c =============================================================================== 19.19/19.25 c | 4524 | 3934 27153 295318 | 9051 4524 558 | 31.463 % | 19.29/19.34 c =============================================================================== 19.29/19.34 c New solution: 79577 19.29/19.34 o 79577 19.29/19.34 c Elapsed CPU time: 19.1711 s Remaining CPU time: 160.829 s 19.29/19.34 c =============================================================================== 19.29/19.34 c | 4525 | 3934 27154 297352 | 9051 4525 558 | 31.463 % | 19.39/19.44 c =============================================================================== 19.39/19.44 c New solution: 79576 19.39/19.44 o 79576 19.39/19.44 c Elapsed CPU time: 19.2671 s Remaining CPU time: 160.733 s 19.39/19.44 c =============================================================================== 19.39/19.44 c | 4526 | 3934 27155 299386 | 9051 4526 558 | 31.463 % | 19.49/19.59 c =============================================================================== 19.49/19.59 c New solution: 79575 19.49/19.59 o 79575 19.49/19.59 c Elapsed CPU time: 19.417 s Remaining CPU time: 160.583 s 19.49/19.59 c =============================================================================== 19.49/19.59 c | 4544 | 3934 27156 301420 | 9052 4544 558 | 31.463 % | 19.99/20.06 c | 4644 | 3934 27156 301420 | 9957 4644 560 | 31.463 % | 20.68/20.78 c | 4795 | 3934 27156 301420 | 10952 4795 561 | 31.463 % | 21.48/21.50 c | 5021 | 3934 27156 301420 | 12048 5021 560 | 31.463 % | 22.89/22.93 c | 5359 | 3934 27156 301420 | 13253 5359 564 | 31.463 % | 22.99/23.05 c =============================================================================== 22.99/23.05 c New solution: 79574 22.99/23.05 o 79574 22.99/23.05 c Elapsed CPU time: 22.8625 s Remaining CPU time: 157.137 s 22.99/23.05 c =============================================================================== 22.99/23.05 c | 5361 | 3934 27157 303454 | 9052 5361 564 | 31.463 % | 23.39/23.43 c | 5462 | 3934 27157 303454 | 9957 5462 564 | 31.463 % | 24.09/24.10 c | 5612 | 3934 27157 303454 | 10953 5612 565 | 31.463 % | 24.19/24.28 c =============================================================================== 24.19/24.28 c New solution: 79573 24.19/24.28 o 79573 24.19/24.28 c Elapsed CPU time: 24.0923 s Remaining CPU time: 155.908 s 24.19/24.28 c =============================================================================== 24.19/24.28 c | 5615 | 3934 27158 305488 | 9052 5615 565 | 31.463 % | 24.49/24.59 c | 5715 | 3934 27158 305488 | 9957 5715 565 | 31.463 % | 25.19/25.23 c | 5866 | 3934 27158 305488 | 10953 5866 565 | 31.463 % | 25.58/25.60 c =============================================================================== 25.58/25.60 c New solution: 79572 25.58/25.60 o 79572 25.58/25.60 c Elapsed CPU time: 25.4121 s Remaining CPU time: 154.588 s 25.58/25.60 c =============================================================================== 25.58/25.60 c | 5917 | 3934 27159 307522 | 9053 5917 565 | 31.463 % | 25.98/26.04 c | 6018 | 3934 27159 307522 | 9958 6018 566 | 31.463 % | 26.39/26.42 c | 6169 | 3934 27159 307522 | 10954 6169 566 | 31.463 % | 26.48/26.59 c =============================================================================== 26.48/26.59 c New solution: 79571 26.48/26.59 o 79571 26.48/26.59 c Elapsed CPU time: 26.393 s Remaining CPU time: 153.607 s 26.48/26.59 c =============================================================================== 26.48/26.59 c | 6174 | 3934 27160 309556 | 9053 6174 566 | 31.463 % | 26.69/26.75 c =============================================================================== 26.69/26.75 c New solution: 79570 26.69/26.75 o 79570 26.69/26.75 c Elapsed CPU time: 26.556 s Remaining CPU time: 153.444 s 26.69/26.75 c =============================================================================== 26.69/26.75 c | 6194 | 3934 27161 311590 | 9053 6194 566 | 31.463 % | 27.09/27.14 c | 6295 | 3934 27161 311590 | 9959 6295 567 | 31.463 % | 27.88/27.92 c | 6445 | 3934 27161 311590 | 10954 6445 567 | 31.463 % | 28.78/28.85 c =============================================================================== 28.78/28.85 c New solution: 79569 28.78/28.85 o 79569 28.78/28.85 c Elapsed CPU time: 28.6436 s Remaining CPU time: 151.356 s 28.78/28.85 c =============================================================================== 28.78/28.85 c | 6663 | 3934 27162 313624 | 9054 6663 569 | 31.463 % | 28.99/29.09 c | 6764 | 3934 27162 313624 | 9959 6764 569 | 31.463 % | 29.88/29.98 c | 6914 | 3934 27162 313624 | 10955 6914 569 | 31.463 % | 30.08/30.10 c =============================================================================== 30.08/30.10 c New solution: 79568 30.08/30.10 o 79568 30.08/30.10 c Elapsed CPU time: 29.8915 s Remaining CPU time: 150.109 s 30.08/30.10 c =============================================================================== 30.08/30.10 c | 6917 | 3934 27163 315658 | 9054 6917 569 | 31.463 % | 30.58/30.64 c | 7019 | 3934 27163 315658 | 9959 7019 570 | 31.463 % | 30.79/30.83 c =============================================================================== 30.79/30.83 c New solution: 79567 30.79/30.83 o 79567 30.79/30.83 c Elapsed CPU time: 30.6133 s Remaining CPU time: 149.387 s 30.79/30.83 c =============================================================================== 30.79/30.83 c | 7093 | 3934 27164 317692 | 9054 7093 569 | 31.463 % | 31.38/31.43 c | 7193 | 3934 27164 317692 | 9960 7193 570 | 31.463 % | 31.48/31.56 c =============================================================================== 31.48/31.56 c New solution: 79566 31.48/31.56 o 79566 31.48/31.56 c Elapsed CPU time: 31.3482 s Remaining CPU time: 148.652 s 31.48/31.56 c =============================================================================== 31.48/31.56 c | 7202 | 3934 27165 319726 | 9055 7202 570 | 31.463 % | 31.58/31.69 c =============================================================================== 31.58/31.69 c New solution: 79565 31.58/31.69 o 79565 31.58/31.69 c Elapsed CPU time: 31.4782 s Remaining CPU time: 148.522 s 31.58/31.69 c =============================================================================== 31.58/31.69 c | 7217 | 3934 27166 321760 | 9055 7217 570 | 31.463 % | 32.38/32.43 c | 7318 | 3934 27166 321760 | 9960 7318 570 | 31.463 % | 32.48/32.57 c =============================================================================== 32.48/32.57 c New solution: 79564 32.48/32.57 o 79564 32.48/32.57 c Elapsed CPU time: 32.3601 s Remaining CPU time: 147.64 s 32.48/32.57 c =============================================================================== 32.48/32.57 c | 7333 | 3934 27167 323794 | 9055 7333 570 | 31.463 % | 32.58/32.68 c =============================================================================== 32.58/32.68 c New solution: 79563 32.58/32.68 o 79563 32.58/32.68 c Elapsed CPU time: 32.4671 s Remaining CPU time: 147.533 s 32.58/32.68 c =============================================================================== 32.58/32.68 c | 7342 | 3934 27168 325828 | 9056 7342 570 | 31.463 % | 32.68/32.77 c =============================================================================== 32.68/32.77 c New solution: 79562 32.68/32.77 o 79562 32.68/32.77 c Elapsed CPU time: 32.5541 s Remaining CPU time: 147.446 s 32.68/32.77 c =============================================================================== 32.68/32.77 c | 7346 | 3934 27169 327862 | 9056 7346 570 | 31.463 % | 32.78/32.83 c =============================================================================== 32.78/32.83 c New solution: 79561 32.78/32.83 o 79561 32.78/32.83 c Elapsed CPU time: 32.619 s Remaining CPU time: 147.381 s 32.78/32.83 c =============================================================================== 32.78/32.83 c | 7351 | 3934 27170 329896 | 9056 7351 570 | 31.463 % | 33.38/33.47 c | 7453 | 3934 27170 329896 | 9962 7453 570 | 31.463 % | 34.18/34.26 c | 7603 | 3934 27170 329896 | 10958 7603 571 | 31.463 % | 34.28/34.36 c =============================================================================== 34.28/34.36 c New solution: 79560 34.28/34.36 o 79560 34.28/34.36 c Elapsed CPU time: 34.1388 s Remaining CPU time: 145.861 s 34.28/34.36 c =============================================================================== 34.28/34.36 c | 7610 | 3934 27171 331930 | 9057 7610 571 | 31.463 % | 34.48/34.50 c =============================================================================== 34.48/34.50 c New solution: 79559 34.48/34.50 o 79559 34.48/34.50 c Elapsed CPU time: 34.2768 s Remaining CPU time: 145.723 s 34.48/34.50 c =============================================================================== 34.48/34.50 c | 7641 | 3934 27172 333964 | 9057 7641 571 | 31.463 % | 34.78/34.87 c | 7741 | 3934 27172 333964 | 9963 7741 571 | 31.463 % | 35.58/35.69 c | 7892 | 3934 27172 333964 | 10959 7892 571 | 31.463 % | 36.18/36.22 c =============================================================================== 36.18/36.22 c New solution: 79558 36.18/36.22 o 79558 36.18/36.22 c Elapsed CPU time: 36.0005 s Remaining CPU time: 143.999 s 36.18/36.22 c =============================================================================== 36.18/36.22 c | 8003 | 3934 27173 335998 | 9057 8003 572 | 31.463 % | 36.28/36.38 c =============================================================================== 36.28/36.38 c New solution: 79557 36.28/36.38 o 79557 36.28/36.38 c Elapsed CPU time: 36.1495 s Remaining CPU time: 143.85 s 36.28/36.38 c =============================================================================== 36.28/36.38 c | 8020 | 3934 27174 338032 | 9058 8020 572 | 31.463 % | 36.48/36.56 c =============================================================================== 36.48/36.56 c New solution: 79556 36.48/36.56 o 79556 36.48/36.56 c Elapsed CPU time: 36.3375 s Remaining CPU time: 143.663 s 36.48/36.56 c =============================================================================== 36.48/36.56 c | 8048 | 3934 27175 340066 | 9058 8048 572 | 31.463 % | 36.58/36.67 c =============================================================================== 36.58/36.67 c New solution: 79555 36.58/36.67 o 79555 36.58/36.67 c Elapsed CPU time: 36.4395 s Remaining CPU time: 143.561 s 36.58/36.67 c =============================================================================== 36.58/36.67 c | 8057 | 3934 27176 342100 | 9058 8057 572 | 31.463 % | 36.98/37.06 c =============================================================================== 36.98/37.06 c New solution: 78068 36.98/37.06 o 78068 36.98/37.06 c Elapsed CPU time: 36.8304 s Remaining CPU time: 143.17 s 36.98/37.06 c =============================================================================== 36.98/37.06 c | 8125 | 3934 27177 344134 | 9059 8125 571 | 31.463 % | 37.18/37.25 c =============================================================================== 37.18/37.25 c New solution: 78019 37.18/37.25 o 78019 37.18/37.25 c Elapsed CPU time: 37.0144 s Remaining CPU time: 142.986 s 37.18/37.25 c =============================================================================== 37.18/37.25 c | 8125 | 3934 27178 346168 | 9059 8125 571 | 31.463 % | 37.39/37.43 c =============================================================================== 37.39/37.43 c New solution: 78018 37.39/37.43 o 78018 37.39/37.43 c Elapsed CPU time: 37.1973 s Remaining CPU time: 142.803 s 37.39/37.43 c =============================================================================== 37.39/37.43 c | 8125 | 3934 27179 348202 | 9059 8125 571 | 31.463 % | 37.58/37.62 c =============================================================================== 37.58/37.62 c New solution: 78017 37.58/37.62 o 78017 37.58/37.62 c Elapsed CPU time: 37.3863 s Remaining CPU time: 142.614 s 37.58/37.62 c =============================================================================== 37.58/37.62 c | 8126 | 3934 27180 350236 | 9060 8126 571 | 31.463 % | 37.78/37.81 c =============================================================================== 37.78/37.81 c New solution: 78016 37.78/37.81 o 78016 37.78/37.81 c Elapsed CPU time: 37.5763 s Remaining CPU time: 142.424 s 37.78/37.81 c =============================================================================== 37.78/37.81 c | 8130 | 3934 27181 352270 | 9060 8130 571 | 31.463 % | 37.88/37.97 c =============================================================================== 37.88/37.97 c New solution: 78015 37.88/37.97 o 78015 37.88/37.97 c Elapsed CPU time: 37.7383 s Remaining CPU time: 142.262 s 37.88/37.97 c =============================================================================== 37.88/37.97 c | 8131 | 3934 27182 354304 | 9060 8131 571 | 31.463 % | 38.08/38.19 c =============================================================================== 38.08/38.19 c New solution: 78014 38.08/38.19 o 78014 38.08/38.19 c Elapsed CPU time: 37.9502 s Remaining CPU time: 142.05 s 38.08/38.19 c =============================================================================== 38.08/38.19 c | 8134 | 3934 27183 356338 | 9061 8134 571 | 31.463 % | 38.27/38.39 c =============================================================================== 38.27/38.39 c New solution: 78013 38.27/38.39 o 78013 38.27/38.39 c Elapsed CPU time: 38.1522 s Remaining CPU time: 141.848 s 38.27/38.39 c =============================================================================== 38.27/38.39 c | 8137 | 3934 27184 358372 | 9061 8137 571 | 31.463 % | 38.48/38.55 c =============================================================================== 38.48/38.55 c New solution: 78012 38.48/38.55 o 78012 38.48/38.55 c Elapsed CPU time: 38.3102 s Remaining CPU time: 141.69 s 38.48/38.55 c =============================================================================== 38.48/38.55 c | 8139 | 3934 27185 360406 | 9061 8139 571 | 31.463 % | 38.67/38.76 c =============================================================================== 38.67/38.76 c New solution: 78011 38.67/38.76 o 78011 38.67/38.76 c Elapsed CPU time: 38.5231 s Remaining CPU time: 141.477 s 38.67/38.76 c =============================================================================== 38.67/38.76 c | 8166 | 3934 27186 362440 | 9062 8166 571 | 31.463 % | 38.88/38.93 c =============================================================================== 38.88/38.93 c New solution: 78010 38.88/38.93 o 78010 38.88/38.93 c Elapsed CPU time: 38.6901 s Remaining CPU time: 141.31 s 38.88/38.93 c =============================================================================== 38.88/38.93 c | 8168 | 3934 27187 364474 | 9062 8168 571 | 31.463 % | 39.08/39.12 c =============================================================================== 39.08/39.12 c New solution: 78009 39.08/39.12 o 78009 39.08/39.12 c Elapsed CPU time: 38.8761 s Remaining CPU time: 141.124 s 39.08/39.12 c =============================================================================== 39.08/39.12 c | 8169 | 3934 27188 366508 | 9062 8169 571 | 31.463 % | 39.18/39.28 c =============================================================================== 39.18/39.28 c New solution: 78008 39.18/39.28 o 78008 39.18/39.28 c Elapsed CPU time: 39.0441 s Remaining CPU time: 140.956 s 39.18/39.28 c =============================================================================== 39.18/39.28 c | 8173 | 3934 27189 368542 | 9063 8173 571 | 31.463 % | 39.38/39.46 c =============================================================================== 39.38/39.46 c New solution: 78007 39.38/39.46 o 78007 39.38/39.46 c Elapsed CPU time: 39.222 s Remaining CPU time: 140.778 s 39.38/39.46 c =============================================================================== 39.38/39.46 c | 8187 | 3934 27190 370576 | 9063 8187 571 | 31.463 % | 39.59/39.62 c =============================================================================== 39.59/39.62 c New solution: 78006 39.59/39.62 o 78006 39.59/39.62 c Elapsed CPU time: 39.38 s Remaining CPU time: 140.62 s 39.59/39.62 c =============================================================================== 39.59/39.62 c | 8188 | 3934 27191 372610 | 9063 8188 571 | 31.463 % | 39.68/39.78 c =============================================================================== 39.68/39.78 c New solution: 78005 39.68/39.78 o 78005 39.68/39.78 c Elapsed CPU time: 39.537 s Remaining CPU time: 140.463 s 39.68/39.78 c =============================================================================== 39.68/39.78 c | 8188 | 3934 27192 374644 | 9064 8188 571 | 31.463 % | 39.88/39.94 c =============================================================================== 39.88/39.94 c New solution: 78004 39.88/39.94 o 78004 39.88/39.94 c Elapsed CPU time: 39.695 s Remaining CPU time: 140.305 s 39.88/39.94 c =============================================================================== 39.88/39.94 c | 8191 | 3934 27193 376678 | 9064 8191 571 | 31.463 % | 40.08/40.13 c =============================================================================== 40.08/40.13 c New solution: 78003 40.08/40.13 o 78003 40.08/40.13 c Elapsed CPU time: 39.8889 s Remaining CPU time: 140.111 s 40.08/40.13 c =============================================================================== 40.08/40.13 c | 8197 | 3934 27194 378712 | 9064 8197 571 | 31.463 % | 40.28/40.34 c =============================================================================== 40.28/40.34 c New solution: 78002 40.28/40.34 o 78002 40.28/40.34 c Elapsed CPU time: 40.0989 s Remaining CPU time: 139.901 s 40.28/40.34 c =============================================================================== 40.28/40.34 c | 8220 | 3934 27195 380746 | 9065 8220 571 | 31.463 % | 40.48/40.53 c =============================================================================== 40.48/40.53 c New solution: 78001 40.48/40.53 o 78001 40.48/40.53 c Elapsed CPU time: 40.2889 s Remaining CPU time: 139.711 s 40.48/40.53 c =============================================================================== 40.48/40.53 c | 8222 | 3934 27196 382780 | 9065 8222 571 | 31.463 % | 40.68/40.71 c =============================================================================== 40.68/40.71 c New solution: 78000 40.68/40.71 o 78000 40.68/40.71 c Elapsed CPU time: 40.4698 s Remaining CPU time: 139.53 s 40.68/40.71 c =============================================================================== 40.68/40.71 c | 8227 | 3934 27197 384814 | 9065 8227 571 | 31.463 % | 40.88/40.93 c =============================================================================== 40.88/40.93 c New solution: 77999 40.88/40.93 o 77999 40.88/40.93 c Elapsed CPU time: 40.6838 s Remaining CPU time: 139.316 s 40.88/40.93 c =============================================================================== 40.88/40.93 c | 8280 | 3934 27198 386848 | 9066 8280 571 | 31.463 % | 41.07/41.12 c =============================================================================== 41.07/41.12 c New solution: 77998 41.07/41.12 o 77998 41.07/41.12 c Elapsed CPU time: 40.8758 s Remaining CPU time: 139.124 s 41.07/41.12 c =============================================================================== 41.07/41.12 c | 8284 | 3934 27199 388882 | 9066 8284 571 | 31.463 % | 41.78/41.88 c | 8385 | 3934 27199 388882 | 9972 8385 571 | 31.463 % | 42.68/42.75 c | 8535 | 3934 27199 388882 | 10970 8535 572 | 31.463 % | 43.08/43.16 c =============================================================================== 43.08/43.16 c New solution: 77997 43.08/43.16 o 77997 43.08/43.16 c Elapsed CPU time: 42.9035 s Remaining CPU time: 137.097 s 43.08/43.16 c =============================================================================== 43.08/43.16 c | 8576 | 3934 27200 390916 | 9066 8576 572 | 31.463 % | 43.68/43.78 c | 8677 | 3934 27200 390916 | 9973 8677 573 | 31.463 % | 44.68/44.71 c | 8827 | 3934 27200 390916 | 10970 8827 573 | 31.463 % | 44.99/45.06 c =============================================================================== 44.99/45.06 c New solution: 77996 44.99/45.06 o 77996 44.99/45.06 c Elapsed CPU time: 44.8052 s Remaining CPU time: 135.195 s 44.99/45.06 c =============================================================================== 44.99/45.06 c | 8862 | 3934 27201 392950 | 9067 8862 573 | 31.463 % | 45.18/45.21 c =============================================================================== 45.18/45.21 c New solution: 77995 45.18/45.21 o 77995 45.18/45.21 c Elapsed CPU time: 44.9532 s Remaining CPU time: 135.047 s 45.18/45.21 c =============================================================================== 45.18/45.21 c | 8873 | 3934 27202 394984 | 9067 8873 573 | 31.463 % | 45.37/45.41 c =============================================================================== 45.37/45.41 c New solution: 77994 45.37/45.41 o 77994 45.37/45.41 c Elapsed CPU time: 45.1571 s Remaining CPU time: 134.843 s 45.37/45.41 c =============================================================================== 45.37/45.41 c | 8915 | 3934 27203 397018 | 9067 8915 573 | 31.463 % | 45.78/45.83 c | 9016 | 3934 27203 397018 | 9974 9016 573 | 31.463 % | 45.88/45.97 c =============================================================================== 45.88/45.97 c New solution: 77993 45.88/45.97 o 77993 45.88/45.97 c Elapsed CPU time: 45.7131 s Remaining CPU time: 134.287 s 45.88/45.97 c =============================================================================== 45.88/45.97 c | 9020 | 3934 27204 399052 | 9068 9020 573 | 31.463 % | 46.09/46.19 c =============================================================================== 46.09/46.19 c New solution: 77992 46.09/46.19 o 77992 46.09/46.19 c Elapsed CPU time: 45.931 s Remaining CPU time: 134.069 s 46.09/46.19 c =============================================================================== 46.09/46.19 c | 9047 | 3934 27205 401086 | 9068 9047 573 | 31.463 % | 46.28/46.33 c =============================================================================== 46.28/46.33 c New solution: 77991 46.28/46.33 o 77991 46.28/46.33 c Elapsed CPU time: 46.073 s Remaining CPU time: 133.927 s 46.28/46.33 c =============================================================================== 46.28/46.33 c | 9051 | 3934 27206 403120 | 9068 9051 573 | 31.463 % | 46.38/46.48 c =============================================================================== 46.38/46.48 c New solution: 77990 46.38/46.48 o 77990 46.38/46.48 c Elapsed CPU time: 46.217 s Remaining CPU time: 133.783 s 46.38/46.48 c =============================================================================== 46.38/46.48 c | 9059 | 3934 27207 405154 | 9069 9059 573 | 31.463 % | 46.58/46.61 c =============================================================================== 46.58/46.61 c New solution: 77989 46.58/46.61 o 77989 46.58/46.61 c Elapsed CPU time: 46.35 s Remaining CPU time: 133.65 s 46.58/46.61 c =============================================================================== 46.58/46.61 c | 9078 | 3934 27208 407188 | 9069 9078 573 | 31.463 % | 47.08/47.12 c =============================================================================== 47.08/47.12 c New solution: 76495 47.08/47.12 o 76495 47.08/47.12 c Elapsed CPU time: 46.8549 s Remaining CPU time: 133.145 s 47.08/47.12 c =============================================================================== 47.08/47.12 c | 9107 | 3934 27209 409222 | 9069 9107 573 | 31.463 % | 47.28/47.31 c =============================================================================== 47.28/47.31 c New solution: 76433 47.28/47.31 o 76433 47.28/47.31 c Elapsed CPU time: 47.0398 s Remaining CPU time: 132.96 s 47.28/47.31 c =============================================================================== 47.28/47.31 c | 9109 | 3934 27210 411256 | 9070 9109 573 | 31.463 % | 47.37/47.47 c =============================================================================== 47.37/47.47 c New solution: 76432 47.37/47.47 o 76432 47.37/47.47 c Elapsed CPU time: 47.1988 s Remaining CPU time: 132.801 s 47.37/47.47 c =============================================================================== 47.37/47.47 c | 9111 | 3934 27211 413290 | 9070 9111 573 | 31.463 % | 47.58/47.65 c =============================================================================== 47.58/47.65 c New solution: 76431 47.58/47.65 o 76431 47.58/47.65 c Elapsed CPU time: 47.3778 s Remaining CPU time: 132.622 s 47.58/47.65 c =============================================================================== 47.58/47.65 c | 9119 | 3934 27212 415324 | 9070 9119 573 | 31.463 % | 47.68/47.76 c =============================================================================== 47.68/47.76 c New solution: 76430 47.68/47.76 o 76430 47.68/47.76 c Elapsed CPU time: 47.4898 s Remaining CPU time: 132.51 s 47.68/47.76 c =============================================================================== 47.68/47.76 c | 9119 | 3934 27213 417358 | 9071 9119 573 | 31.463 % | 47.88/47.96 c =============================================================================== 47.88/47.96 c New solution: 76429 47.88/47.96 o 76429 47.88/47.96 c Elapsed CPU time: 47.6838 s Remaining CPU time: 132.316 s 47.88/47.96 c =============================================================================== 47.88/47.96 c | 9137 | 3934 27214 419392 | 9071 9137 573 | 31.463 % | 48.08/48.17 c =============================================================================== 48.08/48.17 c New solution: 76428 48.08/48.17 o 76428 48.08/48.17 c Elapsed CPU time: 47.8997 s Remaining CPU time: 132.1 s 48.08/48.17 c =============================================================================== 48.08/48.17 c | 9192 | 3934 27215 421426 | 9071 9192 573 | 31.463 % | 48.78/48.81 c | 9292 | 3934 27215 421426 | 9978 9292 573 | 31.463 % | 48.88/48.97 c =============================================================================== 48.88/48.97 c New solution: 76427 48.88/48.97 o 76427 48.88/48.97 c Elapsed CPU time: 48.6956 s Remaining CPU time: 131.304 s 48.88/48.97 c =============================================================================== 48.88/48.97 c | 9293 | 3934 27216 423460 | 9072 9293 573 | 31.463 % | 49.17/49.25 c =============================================================================== 49.17/49.25 c New solution: 76426 49.17/49.25 o 76426 49.17/49.25 c Elapsed CPU time: 48.9676 s Remaining CPU time: 131.032 s 49.17/49.25 c =============================================================================== 49.17/49.25 c | 9380 | 3934 27217 425494 | 9072 9380 573 | 31.463 % | 50.48/50.50 c | 9481 | 3934 27217 425494 | 9979 9481 574 | 31.463 % | 50.58/50.68 c =============================================================================== 50.58/50.68 c New solution: 76425 50.58/50.68 o 76425 50.58/50.68 c Elapsed CPU time: 50.3983 s Remaining CPU time: 129.602 s 50.58/50.68 c =============================================================================== 50.58/50.68 c | 9486 | 3934 27218 427528 | 9072 9486 574 | 31.463 % | 51.07/51.13 c =============================================================================== 51.07/51.13 c New solution: 76424 51.07/51.13 o 76424 51.07/51.13 c Elapsed CPU time: 50.8453 s Remaining CPU time: 129.155 s 51.07/51.13 c =============================================================================== 51.07/51.13 c | 9524 | 3934 27219 429562 | 9073 9524 573 | 31.463 % | 51.28/51.38 c =============================================================================== 51.28/51.38 c New solution: 76423 51.28/51.38 o 76423 51.28/51.38 c Elapsed CPU time: 51.0922 s Remaining CPU time: 128.908 s 51.28/51.38 c =============================================================================== 51.28/51.38 c | 9546 | 3934 27220 431596 | 9073 9546 573 | 31.463 % | 51.48/51.57 c =============================================================================== 51.48/51.57 c New solution: 76422 51.48/51.57 o 76422 51.48/51.57 c Elapsed CPU time: 51.2832 s Remaining CPU time: 128.717 s 51.48/51.57 c =============================================================================== 51.48/51.57 c | 9584 | 3934 27221 433630 | 9073 9584 573 | 31.463 % | 51.78/51.86 c =============================================================================== 51.78/51.86 c New solution: 76421 51.78/51.86 o 76421 51.78/51.86 c Elapsed CPU time: 51.5742 s Remaining CPU time: 128.426 s 51.78/51.86 c =============================================================================== 51.78/51.86 c | 9634 | 3934 27222 435664 | 9074 9634 573 | 31.463 % | 52.97/53.07 c | 9734 | 3934 27222 435664 | 9981 9734 574 | 31.463 % | 53.79/53.87 c =============================================================================== 53.79/53.87 c New solution: 76420 53.79/53.87 o 76420 53.79/53.87 c Elapsed CPU time: 53.5759 s Remaining CPU time: 126.424 s 53.79/53.87 c =============================================================================== 53.79/53.87 c | 9836 | 3934 27223 437698 | 9074 9836 573 | 31.463 % | 54.68/54.74 c | 9936 | 3934 27223 437698 | 9981 9936 574 | 31.463 % | 55.47/55.53 c =============================================================================== 55.47/55.53 c New solution: 74930 55.47/55.53 o 74930 55.47/55.53 c Elapsed CPU time: 55.2376 s Remaining CPU time: 124.762 s 55.47/55.53 c =============================================================================== 55.47/55.53 c | 10080 | 3934 27224 439732 | 9074 10080 574 | 31.463 % | 55.67/55.79 c =============================================================================== 55.67/55.79 c New solution: 74886 55.67/55.79 o 74886 55.67/55.79 c Elapsed CPU time: 55.4916 s Remaining CPU time: 124.508 s 55.67/55.79 c =============================================================================== 55.67/55.79 c | 10087 | 3934 27225 441766 | 9075 10087 574 | 31.463 % | 55.98/56.06 c =============================================================================== 55.98/56.06 c New solution: 74868 55.98/56.06 o 74868 55.98/56.06 c Elapsed CPU time: 55.7625 s Remaining CPU time: 124.237 s 55.98/56.06 c =============================================================================== 55.98/56.06 c | 10094 | 3934 27226 443800 | 9075 10094 574 | 31.463 % | 56.67/56.73 c | 10196 | 3934 27226 443800 | 9982 10196 574 | 31.463 % | 56.87/56.91 c =============================================================================== 56.87/56.91 c New solution: 74867 56.87/56.91 o 74867 56.87/56.91 c Elapsed CPU time: 56.6084 s Remaining CPU time: 123.392 s 56.87/56.91 c =============================================================================== 56.87/56.91 c | 10203 | 3934 27227 445834 | 9075 10203 574 | 31.463 % | 57.08/57.10 c =============================================================================== 57.08/57.10 c New solution: 74866 57.08/57.10 o 74866 57.08/57.10 c Elapsed CPU time: 56.7994 s Remaining CPU time: 123.201 s 57.08/57.10 c =============================================================================== 57.08/57.10 c | 10205 | 3934 27228 447868 | 9076 10205 574 | 31.463 % | 57.28/57.30 c =============================================================================== 57.28/57.30 c New solution: 74865 57.28/57.30 o 74865 57.28/57.30 c Elapsed CPU time: 56.9943 s Remaining CPU time: 123.006 s 57.28/57.30 c =============================================================================== 57.28/57.30 c | 10219 | 3934 27229 449902 | 9076 10219 574 | 31.463 % | 57.47/57.58 c =============================================================================== 57.47/57.58 c New solution: 74864 57.47/57.58 o 74864 57.47/57.58 c Elapsed CPU time: 57.2743 s Remaining CPU time: 122.726 s 57.47/57.58 c =============================================================================== 57.47/57.58 c | 10231 | 3934 27230 451936 | 9076 10231 574 | 31.463 % | 57.87/57.93 c =============================================================================== 57.87/57.93 c New solution: 74863 57.87/57.93 o 74863 57.87/57.93 c Elapsed CPU time: 57.6192 s Remaining CPU time: 122.381 s 57.87/57.93 c =============================================================================== 57.87/57.93 c | 10264 | 3934 27231 453970 | 9077 10264 574 | 31.463 % | 58.18/58.25 c =============================================================================== 58.18/58.25 c New solution: 74862 58.18/58.25 o 74862 58.18/58.25 c Elapsed CPU time: 57.9402 s Remaining CPU time: 122.06 s 58.18/58.25 c =============================================================================== 58.18/58.25 c | 10293 | 3934 27232 456004 | 9077 10293 574 | 31.463 % | 58.37/58.45 c =============================================================================== 58.37/58.45 c New solution: 74861 58.37/58.45 o 74861 58.37/58.45 c Elapsed CPU time: 58.1392 s Remaining CPU time: 121.861 s 58.37/58.45 c =============================================================================== 58.37/58.45 c | 10303 | 3934 27233 458038 | 9077 10303 574 | 31.463 % | 58.57/58.65 c =============================================================================== 58.57/58.65 c New solution: 74860 58.57/58.65 o 74860 58.57/58.65 c Elapsed CPU time: 58.3441 s Remaining CPU time: 121.656 s 58.57/58.65 c =============================================================================== 58.57/58.65 c | 10309 | 3934 27234 460072 | 9078 10309 574 | 31.463 % | 58.77/58.83 c =============================================================================== 58.77/58.83 c New solution: 74859 58.77/58.83 o 74859 58.77/58.83 c Elapsed CPU time: 58.5151 s Remaining CPU time: 121.485 s 58.77/58.83 c =============================================================================== 58.77/58.83 c | 10316 | 3934 27235 462106 | 9078 10316 574 | 31.463 % | 58.97/59.00 c =============================================================================== 58.97/59.00 c New solution: 74858 58.97/59.00 o 74858 58.97/59.00 c Elapsed CPU time: 58.6831 s Remaining CPU time: 121.317 s 58.97/59.00 c =============================================================================== 58.97/59.00 c | 10318 | 3934 27236 464140 | 9078 10318 574 | 31.463 % | 59.18/59.21 c =============================================================================== 59.18/59.21 c New solution: 74857 59.18/59.21 o 74857 59.18/59.21 c Elapsed CPU time: 58.891 s Remaining CPU time: 121.109 s 59.18/59.21 c =============================================================================== 59.18/59.21 c | 10321 | 3934 27237 466174 | 9079 10321 574 | 31.463 % | 59.48/59.55 c =============================================================================== 59.48/59.55 c New solution: 74856 59.48/59.55 o 74856 59.48/59.55 c Elapsed CPU time: 59.239 s Remaining CPU time: 120.761 s 59.48/59.55 c =============================================================================== 59.48/59.55 c | 10354 | 3934 27238 468208 | 9079 10354 574 | 31.463 % | 59.87/59.96 c =============================================================================== 59.87/59.96 c New solution: 74855 59.87/59.96 o 74855 59.87/59.96 c Elapsed CPU time: 59.6409 s Remaining CPU time: 120.359 s 59.87/59.96 c =============================================================================== 59.87/59.96 c | 10392 | 3934 27239 470242 | 9079 10392 574 | 31.463 % | 60.07/60.14 c =============================================================================== 60.07/60.14 c New solution: 74854 60.07/60.14 o 74854 60.07/60.14 c Elapsed CPU time: 59.8179 s Remaining CPU time: 120.182 s 60.07/60.14 c =============================================================================== 60.07/60.14 c | 10397 | 3934 27240 472276 | 9080 10397 574 | 31.463 % | 60.77/60.89 c | 10497 | 3934 27240 472276 | 9988 10497 574 | 31.463 % | 61.97/62.03 c | 10647 | 3934 27240 472276 | 10986 10647 575 | 31.463 % | 62.17/62.23 c =============================================================================== 62.17/62.23 c New solution: 74853 62.17/62.23 o 74853 62.17/62.23 c Elapsed CPU time: 61.9076 s Remaining CPU time: 118.092 s 62.17/62.23 c =============================================================================== 62.17/62.23 c | 10650 | 3934 27241 474310 | 9080 10650 575 | 31.463 % | 62.27/62.36 c =============================================================================== 62.27/62.36 c New solution: 74852 62.27/62.36 o 74852 62.27/62.36 c Elapsed CPU time: 62.0386 s Remaining CPU time: 117.961 s 62.27/62.36 c =============================================================================== 62.27/62.36 c | 10667 | 3934 27242 476344 | 9080 10667 575 | 31.463 % | 62.47/62.56 c =============================================================================== 62.47/62.56 c New solution: 74851 62.47/62.56 o 74851 62.47/62.56 c Elapsed CPU time: 62.2335 s Remaining CPU time: 117.766 s 62.47/62.56 c =============================================================================== 62.47/62.56 c | 10679 | 3934 27243 478378 | 9081 10679 575 | 31.463 % | 62.68/62.76 c =============================================================================== 62.68/62.76 c New solution: 74850 62.68/62.76 o 74850 62.68/62.76 c Elapsed CPU time: 62.4305 s Remaining CPU time: 117.569 s 62.68/62.76 c =============================================================================== 62.68/62.76 c | 10682 | 3934 27244 480412 | 9081 10682 575 | 31.463 % | 63.68/63.72 c | 10783 | 3934 27244 480412 | 9989 10783 576 | 31.463 % | 63.87/63.91 c =============================================================================== 63.87/63.91 c New solution: 74849 63.87/63.91 o 74849 63.87/63.91 c Elapsed CPU time: 63.5793 s Remaining CPU time: 116.421 s 63.87/63.91 c =============================================================================== 63.87/63.91 c | 10783 | 3934 27245 482446 | 9081 10783 576 | 31.463 % | 64.07/64.10 c =============================================================================== 64.07/64.10 c New solution: 74848 64.07/64.10 o 74848 64.07/64.10 c Elapsed CPU time: 63.7713 s Remaining CPU time: 116.229 s 64.07/64.10 c =============================================================================== 64.07/64.10 c | 10783 | 3934 27246 484480 | 9082 10783 576 | 31.463 % | 64.17/64.29 c =============================================================================== 64.17/64.29 c New solution: 74847 64.17/64.29 o 74847 64.17/64.29 c Elapsed CPU time: 63.9633 s Remaining CPU time: 116.037 s 64.17/64.29 c =============================================================================== 64.17/64.29 c | 10783 | 3934 27247 486514 | 9082 10783 576 | 31.463 % | 64.88/64.99 c | 10884 | 3934 27247 486514 | 9990 10884 576 | 31.463 % | 67.07/67.19 c | 11035 | 3934 27247 486514 | 10989 11035 576 | 31.463 % | 68.37/68.42 c =============================================================================== 68.37/68.42 c New solution: 74846 68.37/68.42 o 74846 68.37/68.42 c Elapsed CPU time: 68.0786 s Remaining CPU time: 111.921 s 68.37/68.42 c =============================================================================== 68.37/68.42 c | 11169 | 3934 27248 488548 | 9082 11169 577 | 31.463 % | 68.57/68.65 c =============================================================================== 68.57/68.65 c New solution: 74845 68.57/68.65 o 74845 68.57/68.65 c Elapsed CPU time: 68.3076 s Remaining CPU time: 111.692 s 68.57/68.65 c =============================================================================== 68.57/68.65 c | 11171 | 3934 27249 490582 | 9083 5587 556 | 31.463 % | 69.07/69.19 c =============================================================================== 69.07/69.19 c New solution: 74844 69.07/69.19 o 74844 69.07/69.19 c Elapsed CPU time: 68.8465 s Remaining CPU time: 111.153 s 69.07/69.19 c =============================================================================== 69.07/69.19 c | 11198 | 3934 27250 492616 | 9083 5614 556 | 31.463 % | 69.37/69.49 c =============================================================================== 69.37/69.49 c New solution: 74843 69.37/69.49 o 74843 69.37/69.49 c Elapsed CPU time: 69.1535 s Remaining CPU time: 110.847 s 69.37/69.49 c =============================================================================== 69.37/69.49 c | 11217 | 3934 27251 494650 | 9083 5633 556 | 31.463 % | 69.87/69.91 c =============================================================================== 69.87/69.91 c New solution: 74842 69.87/69.91 o 74842 69.87/69.91 c Elapsed CPU time: 69.5664 s Remaining CPU time: 110.434 s 69.87/69.91 c =============================================================================== 69.87/69.91 c | 11264 | 3934 27252 496684 | 9084 5680 556 | 31.463 % | 70.07/70.12 c =============================================================================== 70.07/70.12 c New solution: 74841 70.07/70.12 o 74841 70.07/70.12 c Elapsed CPU time: 69.7704 s Remaining CPU time: 110.23 s 70.07/70.12 c =============================================================================== 70.07/70.12 c | 11271 | 3934 27253 498718 | 9084 5687 556 | 31.463 % | 71.47/71.51 c | 11372 | 3934 27253 498718 | 9992 5788 557 | 31.463 % | 72.96/73.03 c | 11524 | 3934 27253 498718 | 10992 5940 558 | 31.463 % | 76.07/76.18 c | 11750 | 3934 27253 498718 | 12091 6166 560 | 31.463 % | 77.98/78.06 c | 12087 | 3934 27253 498718 | 13300 6503 563 | 31.463 % | 78.17/78.27 c =============================================================================== 78.17/78.27 c New solution: 74840 78.17/78.27 o 74840 78.17/78.27 c Elapsed CPU time: 77.9042 s Remaining CPU time: 102.096 s 78.17/78.27 c =============================================================================== 78.17/78.27 c | 12095 | 3934 27254 500752 | 9084 6511 563 | 31.463 % | 78.57/78.66 c =============================================================================== 78.57/78.66 c New solution: 74839 78.57/78.66 o 74839 78.57/78.66 c Elapsed CPU time: 78.2941 s Remaining CPU time: 101.706 s 78.57/78.66 c =============================================================================== 78.57/78.66 c | 12143 | 3934 27255 502786 | 9085 6559 563 | 31.463 % | 78.77/78.84 c | 12243 | 3934 27255 502786 | 9993 6659 562 | 31.463 % | 79.46/79.57 c =============================================================================== 79.46/79.57 c New solution: 73368 79.46/79.57 o 73368 79.46/79.57 c Elapsed CPU time: 79.2 s Remaining CPU time: 100.8 s 79.46/79.57 c =============================================================================== 79.46/79.57 c | 12258 | 3934 27256 504820 | 9085 6674 561 | 31.463 % | 79.67/79.78 c =============================================================================== 79.67/79.78 c New solution: 73278 79.67/79.78 o 73278 79.67/79.78 c Elapsed CPU time: 79.4069 s Remaining CPU time: 100.593 s 79.67/79.78 c =============================================================================== 79.67/79.78 c | 12258 | 3934 27257 506854 | 9085 6674 561 | 31.463 % | 79.97/80.00 c =============================================================================== 79.97/80.00 c New solution: 73277 79.97/80.00 o 73277 79.97/80.00 c Elapsed CPU time: 79.6299 s Remaining CPU time: 100.37 s 79.97/80.00 c =============================================================================== 79.97/80.00 c | 12258 | 3934 27258 508888 | 9086 6674 561 | 31.463 % | 80.17/80.23 c =============================================================================== 80.17/80.23 c New solution: 73276 80.17/80.23 o 73276 80.17/80.23 c Elapsed CPU time: 79.8509 s Remaining CPU time: 100.149 s 80.17/80.23 c =============================================================================== 80.17/80.23 c | 12258 | 3934 27259 510922 | 9086 6674 561 | 31.463 % | 80.36/80.44 c =============================================================================== 80.36/80.44 c New solution: 73273 80.36/80.44 o 73273 80.36/80.44 c Elapsed CPU time: 80.0618 s Remaining CPU time: 99.9382 s 80.36/80.44 c =============================================================================== 80.36/80.44 c | 12260 | 3934 27260 512956 | 9086 6676 561 | 31.463 % | 80.46/80.59 c =============================================================================== 80.46/80.59 c New solution: 73272 80.46/80.59 o 73272 80.46/80.59 c Elapsed CPU time: 80.2138 s Remaining CPU time: 99.7862 s 80.46/80.59 c =============================================================================== 80.46/80.59 c | 12265 | 3934 27261 514990 | 9087 6681 561 | 31.463 % | 80.66/80.78 c =============================================================================== 80.66/80.78 c New solution: 73271 80.66/80.78 o 73271 80.66/80.78 c Elapsed CPU time: 80.4028 s Remaining CPU time: 99.5972 s 80.66/80.78 c =============================================================================== 80.66/80.78 c | 12267 | 3934 27262 517024 | 9087 6683 561 | 31.463 % | 80.86/80.97 c =============================================================================== 80.86/80.97 c New solution: 73270 80.86/80.97 o 73270 80.86/80.97 c Elapsed CPU time: 80.5867 s Remaining CPU time: 99.4133 s 80.86/80.97 c =============================================================================== 80.86/80.97 c | 12267 | 3934 27263 519058 | 9087 6683 561 | 31.463 % | 81.07/81.15 c =============================================================================== 81.07/81.15 c New solution: 73269 81.07/81.15 o 73269 81.07/81.15 c Elapsed CPU time: 80.7697 s Remaining CPU time: 99.2303 s 81.07/81.15 c =============================================================================== 81.07/81.15 c | 12267 | 3934 27264 521092 | 9088 6683 561 | 31.463 % | 81.28/81.33 c =============================================================================== 81.28/81.33 c New solution: 73268 81.28/81.33 o 73268 81.28/81.33 c Elapsed CPU time: 80.9527 s Remaining CPU time: 99.0473 s 81.28/81.33 c =============================================================================== 81.28/81.33 c | 12267 | 3934 27265 523126 | 9088 6683 561 | 31.463 % | 81.47/81.50 c =============================================================================== 81.47/81.50 c New solution: 73267 81.47/81.50 o 73267 81.47/81.50 c Elapsed CPU time: 81.1177 s Remaining CPU time: 98.8823 s 81.47/81.50 c =============================================================================== 81.47/81.50 c | 12271 | 3934 27266 525160 | 9088 6687 561 | 31.463 % | 82.17/82.25 c | 12371 | 3934 27266 525160 | 9997 6787 562 | 31.463 % | 82.37/82.47 c =============================================================================== 82.37/82.47 c New solution: 73266 82.37/82.47 o 73266 82.37/82.47 c Elapsed CPU time: 82.0825 s Remaining CPU time: 97.9175 s 82.37/82.47 c =============================================================================== 82.37/82.47 c | 12371 | 3934 27267 527194 | 9089 6787 562 | 31.463 % | 82.57/82.66 c =============================================================================== 82.57/82.66 c New solution: 73265 82.57/82.66 o 73265 82.57/82.66 c Elapsed CPU time: 82.2775 s Remaining CPU time: 97.7225 s 82.57/82.66 c =============================================================================== 82.57/82.66 c | 12377 | 3934 27268 529228 | 9089 6793 562 | 31.463 % | 82.77/82.87 c =============================================================================== 82.77/82.87 c New solution: 73264 82.77/82.87 o 73264 82.77/82.87 c Elapsed CPU time: 82.4805 s Remaining CPU time: 97.5195 s 82.77/82.87 c =============================================================================== 82.77/82.87 c | 12415 | 3934 27269 531262 | 9089 6831 562 | 31.463 % | 82.97/83.09 c =============================================================================== 82.97/83.09 c New solution: 73263 82.97/83.09 o 73263 82.97/83.09 c Elapsed CPU time: 82.7044 s Remaining CPU time: 97.2956 s 82.97/83.09 c =============================================================================== 82.97/83.09 c | 12419 | 3934 27270 533296 | 9090 6835 562 | 31.463 % | 83.77/83.88 c =============================================================================== 83.77/83.88 c New solution: 73262 83.77/83.88 o 73262 83.77/83.88 c Elapsed CPU time: 83.4953 s Remaining CPU time: 96.5047 s 83.77/83.88 c =============================================================================== 83.77/83.88 c | 12480 | 3934 27271 535330 | 9090 6896 562 | 31.463 % | 84.86/84.92 c | 12581 | 3934 27271 535330 | 9999 6997 563 | 31.463 % | 85.06/85.13 c =============================================================================== 85.06/85.13 c New solution: 73261 85.06/85.13 o 73261 85.06/85.13 c Elapsed CPU time: 84.7441 s Remaining CPU time: 95.2559 s 85.06/85.13 c =============================================================================== 85.06/85.13 c | 12583 | 3934 27272 537364 | 9090 6999 563 | 31.463 % | 85.26/85.37 c =============================================================================== 85.26/85.37 c New solution: 73260 85.26/85.37 o 73260 85.26/85.37 c Elapsed CPU time: 84.9841 s Remaining CPU time: 95.0159 s 85.26/85.37 c =============================================================================== 85.26/85.37 c | 12587 | 3934 27273 539398 | 9091 7003 563 | 31.463 % | 85.46/85.56 c =============================================================================== 85.46/85.56 c New solution: 73259 85.46/85.56 o 73259 85.46/85.56 c Elapsed CPU time: 85.1691 s Remaining CPU time: 94.8309 s 85.46/85.56 c =============================================================================== 85.46/85.56 c | 12587 | 3934 27274 541432 | 9091 7003 563 | 31.463 % | 86.16/86.27 c =============================================================================== 86.16/86.27 c New solution: 73258 86.16/86.27 o 73258 86.16/86.27 c Elapsed CPU time: 85.8819 s Remaining CPU time: 94.1181 s 86.16/86.27 c =============================================================================== 86.16/86.27 c | 12668 | 3934 27275 543466 | 9091 7084 563 | 31.463 % | 86.36/86.50 c =============================================================================== 86.36/86.50 c New solution: 73257 86.36/86.50 o 73257 86.36/86.50 c Elapsed CPU time: 86.1059 s Remaining CPU time: 93.8941 s 86.36/86.50 c =============================================================================== 86.36/86.50 c | 12672 | 3934 27276 545500 | 9092 7088 563 | 31.463 % | 87.66/87.78 c | 12773 | 3934 27276 545500 | 10001 7189 564 | 31.463 % | 89.66/89.78 c | 12923 | 3934 27276 545500 | 11001 7339 565 | 31.463 % | 89.86/89.99 c =============================================================================== 89.86/89.99 c New solution: 73256 89.86/89.99 o 73256 89.86/89.99 c Elapsed CPU time: 89.6004 s Remaining CPU time: 90.3996 s 89.86/89.99 c =============================================================================== 89.86/89.99 c | 12931 | 3934 27277 547534 | 9092 7347 565 | 31.463 % | 90.27/90.36 c =============================================================================== 90.27/90.36 c New solution: 73255 90.27/90.36 o 73255 90.27/90.36 c Elapsed CPU time: 89.9683 s Remaining CPU time: 90.0317 s 90.27/90.36 c =============================================================================== 90.27/90.36 c | 12950 | 3934 27278 549568 | 9092 7366 565 | 31.463 % | 90.77/90.81 c =============================================================================== 90.77/90.81 c New solution: 73254 90.77/90.81 o 73254 90.77/90.81 c Elapsed CPU time: 90.4133 s Remaining CPU time: 89.5867 s 90.77/90.81 c =============================================================================== 90.77/90.81 c | 12968 | 3934 27279 551602 | 9093 7384 565 | 31.463 % | 91.17/91.21 c =============================================================================== 91.17/91.21 c New solution: 73253 91.17/91.21 o 73253 91.17/91.21 c Elapsed CPU time: 90.8122 s Remaining CPU time: 89.1878 s 91.17/91.21 c =============================================================================== 91.17/91.21 c | 13019 | 3934 27280 553636 | 9093 7435 565 | 31.463 % | 91.27/91.38 c =============================================================================== 91.27/91.38 c New solution: 73252 91.27/91.38 o 73252 91.27/91.38 c Elapsed CPU time: 90.9782 s Remaining CPU time: 89.0218 s 91.27/91.38 c =============================================================================== 91.27/91.38 c | 13032 | 3934 27281 555670 | 9093 7448 565 | 31.463 % | 92.37/92.48 c | 13132 | 3934 27281 555670 | 10003 7548 565 | 31.463 % | 92.96/93.05 c =============================================================================== 92.96/93.05 c New solution: 71752 92.96/93.05 o 71752 92.96/93.05 c Elapsed CPU time: 92.6499 s Remaining CPU time: 87.3501 s 92.96/93.05 c =============================================================================== 92.96/93.05 c | 13154 | 3934 27282 557704 | 9094 7570 565 | 31.463 % | 93.37/93.49 c =============================================================================== 93.37/93.49 c New solution: 71704 93.37/93.49 o 71704 93.37/93.49 c Elapsed CPU time: 93.0888 s Remaining CPU time: 86.9112 s 93.37/93.49 c =============================================================================== 93.37/93.49 c | 13176 | 3934 27283 559738 | 9094 7592 565 | 31.463 % | 93.76/93.81 c =============================================================================== 93.76/93.81 c New solution: 71703 93.76/93.81 o 71703 93.76/93.81 c Elapsed CPU time: 93.4088 s Remaining CPU time: 86.5912 s 93.76/93.81 c =============================================================================== 93.76/93.81 c | 13179 | 3934 27284 561772 | 9094 7595 565 | 31.463 % | 93.96/94.06 c =============================================================================== 93.96/94.06 c New solution: 71702 93.96/94.06 o 71702 93.96/94.06 c Elapsed CPU time: 93.6518 s Remaining CPU time: 86.3482 s 93.96/94.06 c =============================================================================== 93.96/94.06 c | 13181 | 3934 27285 563806 | 9095 7597 565 | 31.463 % | 94.26/94.36 c =============================================================================== 94.26/94.36 c New solution: 71701 94.26/94.36 o 71701 94.26/94.36 c Elapsed CPU time: 93.9547 s Remaining CPU time: 86.0453 s 94.26/94.36 c =============================================================================== 94.26/94.36 c | 13185 | 3934 27286 565840 | 9095 7601 565 | 31.463 % | 94.57/94.63 c =============================================================================== 94.57/94.63 c New solution: 71700 94.57/94.63 o 71700 94.57/94.63 c Elapsed CPU time: 94.2217 s Remaining CPU time: 85.7783 s 94.57/94.63 c =============================================================================== 94.57/94.63 c | 13192 | 3934 27287 567874 | 9095 7608 565 | 31.463 % | 94.86/94.93 c =============================================================================== 94.86/94.93 c New solution: 71699 94.86/94.93 o 71699 94.86/94.93 c Elapsed CPU time: 94.5226 s Remaining CPU time: 85.4774 s 94.86/94.93 c =============================================================================== 94.86/94.93 c | 13192 | 3934 27288 569908 | 9096 7608 565 | 31.463 % | 95.16/95.23 c =============================================================================== 95.16/95.23 c New solution: 71698 95.16/95.23 o 71698 95.16/95.23 c Elapsed CPU time: 94.8226 s Remaining CPU time: 85.1774 s 95.16/95.23 c =============================================================================== 95.16/95.23 c | 13192 | 3934 27289 571942 | 9096 7608 565 | 31.463 % | 95.46/95.53 c =============================================================================== 95.46/95.53 c New solution: 71697 95.46/95.53 o 71697 95.46/95.53 c Elapsed CPU time: 95.1205 s Remaining CPU time: 84.8795 s 95.46/95.53 c =============================================================================== 95.46/95.53 c | 13192 | 3934 27290 573976 | 9096 7608 565 | 31.463 % | 95.76/95.87 c =============================================================================== 95.76/95.87 c New solution: 71696 95.76/95.87 o 71696 95.76/95.87 c Elapsed CPU time: 95.4555 s Remaining CPU time: 84.5445 s 95.76/95.87 c =============================================================================== 95.76/95.87 c | 13195 | 3934 27291 576010 | 9097 7611 565 | 31.463 % | 96.06/96.15 c =============================================================================== 96.06/96.15 c New solution: 71695 96.06/96.15 o 71695 96.06/96.15 c Elapsed CPU time: 95.7394 s Remaining CPU time: 84.2606 s 96.06/96.15 c =============================================================================== 96.06/96.15 c | 13195 | 3934 27292 578044 | 9097 7611 565 | 31.463 % | 96.46/96.50 c =============================================================================== 96.46/96.50 c New solution: 71694 96.46/96.50 o 71694 96.46/96.50 c Elapsed CPU time: 96.0824 s Remaining CPU time: 83.9176 s 96.46/96.50 c =============================================================================== 96.46/96.50 c | 13197 | 3934 27293 580078 | 9097 7613 565 | 31.463 % | 97.46/97.51 c | 13297 | 3934 27293 580078 | 10007 7713 566 | 31.463 % | 97.76/97.82 c =============================================================================== 97.76/97.82 c New solution: 71693 97.76/97.82 o 71693 97.76/97.82 c Elapsed CPU time: 97.4022 s Remaining CPU time: 82.5978 s 97.76/97.82 c =============================================================================== 97.76/97.82 c | 13298 | 3934 27294 582112 | 9098 7714 566 | 31.463 % | 98.16/98.26 c =============================================================================== 98.16/98.26 c New solution: 71692 98.16/98.26 o 71692 98.16/98.26 c Elapsed CPU time: 97.8421 s Remaining CPU time: 82.1579 s 98.16/98.26 c =============================================================================== 98.16/98.26 c | 13299 | 3934 27295 584146 | 9098 7715 566 | 31.463 % | 98.46/98.53 c =============================================================================== 98.46/98.53 c New solution: 71691 98.46/98.53 o 71691 98.46/98.53 c Elapsed CPU time: 98.1161 s Remaining CPU time: 81.8839 s 98.46/98.53 c =============================================================================== 98.46/98.53 c | 13299 | 3934 27296 586180 | 9098 7715 566 | 31.463 % | 98.76/98.80 c =============================================================================== 98.76/98.80 c New solution: 71690 98.76/98.80 o 71690 98.76/98.80 c Elapsed CPU time: 98.388 s Remaining CPU time: 81.612 s 98.76/98.80 c =============================================================================== 98.76/98.80 c | 13299 | 3934 27297 588214 | 9099 7715 566 | 31.463 % | 98.97/99.08 c =============================================================================== 98.97/99.08 c New solution: 71689 98.97/99.08 o 71689 98.97/99.08 c Elapsed CPU time: 98.659 s Remaining CPU time: 81.341 s 98.97/99.08 c =============================================================================== 98.97/99.08 c | 13299 | 3934 27298 590248 | 9099 7715 566 | 31.463 % | 99.26/99.35 c =============================================================================== 99.26/99.35 c New solution: 71688 99.26/99.35 o 71688 99.26/99.35 c Elapsed CPU time: 98.929 s Remaining CPU time: 81.071 s 99.26/99.35 c =============================================================================== 99.26/99.35 c | 13299 | 3934 27299 592282 | 9099 7715 566 | 31.463 % | 99.56/99.62 c =============================================================================== 99.56/99.62 c New solution: 71687 99.56/99.62 o 71687 99.56/99.62 c Elapsed CPU time: 99.1989 s Remaining CPU time: 80.8011 s 99.56/99.62 c =============================================================================== 99.56/99.62 c | 13299 | 3934 27300 594316 | 9100 7715 566 | 31.463 % | 99.76/99.89 c =============================================================================== 99.76/99.89 c New solution: 71686 99.76/99.89 o 71686 99.76/99.89 c Elapsed CPU time: 99.4669 s Remaining CPU time: 80.5331 s 99.76/99.89 c =============================================================================== 99.76/99.89 c | 13299 | 3934 27301 596350 | 9100 7715 566 | 31.463 % | 100.07/100.15 c =============================================================================== 100.07/100.15 c New solution: 71685 100.07/100.15 o 71685 100.07/100.15 c Elapsed CPU time: 99.7328 s Remaining CPU time: 80.2672 s 100.07/100.15 c =============================================================================== 100.07/100.15 c | 13299 | 3934 27302 598384 | 9100 7715 566 | 31.463 % | 100.36/100.43 c =============================================================================== 100.36/100.43 c New solution: 71684 100.36/100.43 o 71684 100.36/100.43 c Elapsed CPU time: 100.007 s Remaining CPU time: 79.9932 s 100.36/100.43 c =============================================================================== 100.36/100.43 c | 13301 | 3934 27303 600418 | 9101 7717 566 | 31.463 % | 101.46/101.50 c | 13403 | 3934 27303 600418 | 10011 7819 566 | 31.463 % | 102.46/102.58 c | 13555 | 3934 27303 600418 | 11012 7971 567 | 31.463 % | 104.26/104.37 c =============================================================================== 104.26/104.37 c New solution: 71683 104.26/104.37 o 71683 104.26/104.37 c Elapsed CPU time: 103.935 s Remaining CPU time: 76.0648 s 104.26/104.37 c =============================================================================== 104.26/104.37 c | 13765 | 3934 27304 602452 | 9101 8181 568 | 31.463 % | 104.96/105.08 c =============================================================================== 104.96/105.08 c New solution: 71682 104.96/105.08 o 71682 104.96/105.08 c Elapsed CPU time: 104.648 s Remaining CPU time: 75.3519 s 104.96/105.08 c =============================================================================== 104.96/105.08 c | 13837 | 3934 27305 604486 | 9101 8253 568 | 31.463 % | 105.36/105.47 c =============================================================================== 105.36/105.47 c New solution: 71681 105.36/105.47 o 71681 105.36/105.47 c Elapsed CPU time: 105.034 s Remaining CPU time: 74.966 s 105.36/105.47 c =============================================================================== 105.36/105.47 c | 13857 | 3934 27306 606520 | 9102 8273 568 | 31.463 % | 105.96/106.09 c =============================================================================== 105.96/106.09 c New solution: 71680 105.96/106.09 o 71680 105.96/106.09 c Elapsed CPU time: 105.656 s Remaining CPU time: 74.3441 s 105.96/106.09 c =============================================================================== 105.96/106.09 c | 13887 | 3934 27307 608554 | 9102 8303 568 | 31.463 % | 106.86/106.93 c | 13990 | 3934 27307 608554 | 10012 8406 568 | 31.463 % | 107.46/107.50 c =============================================================================== 107.46/107.50 c New solution: 71679 107.46/107.50 o 71679 107.46/107.50 c Elapsed CPU time: 107.064 s Remaining CPU time: 72.9363 s 107.46/107.50 c =============================================================================== 107.46/107.50 c | 14037 | 3934 27308 610588 | 9102 8453 569 | 31.463 % | 108.96/109.00 c | 14138 | 3934 27308 610588 | 10012 8554 569 | 31.463 % | 110.46/110.53 c =============================================================================== 110.46/110.53 c New solution: 71678 110.46/110.53 o 71678 110.46/110.53 c Elapsed CPU time: 110.087 s Remaining CPU time: 69.9127 s 110.46/110.53 c =============================================================================== 110.46/110.53 c | 14282 | 3934 27309 612622 | 9103 8698 570 | 31.463 % | 111.16/111.29 c =============================================================================== 111.16/111.29 c New solution: 71677 111.16/111.29 o 71677 111.16/111.29 c Elapsed CPU time: 110.848 s Remaining CPU time: 69.1519 s 111.16/111.29 c =============================================================================== 111.16/111.29 c | 14381 | 3934 27310 614656 | 9103 8797 570 | 31.463 % | 111.45/111.55 c =============================================================================== 111.45/111.55 c New solution: 71676 111.45/111.55 o 71676 111.45/111.55 c Elapsed CPU time: 111.107 s Remaining CPU time: 68.8929 s 111.45/111.55 c =============================================================================== 111.45/111.55 c | 14389 | 3934 27311 616690 | 9103 8805 570 | 31.463 % | 111.95/112.04 c =============================================================================== 111.95/112.04 c New solution: 71675 111.95/112.04 o 71675 111.95/112.04 c Elapsed CPU time: 111.588 s Remaining CPU time: 68.412 s 111.95/112.04 c =============================================================================== 111.95/112.04 c | 14421 | 3934 27312 618724 | 9104 8837 570 | 31.463 % | 113.95/114.00 c | 14521 | 3934 27312 618724 | 10014 8937 571 | 31.463 % | 116.36/116.45 c | 14671 | 3934 27312 618724 | 11015 9087 571 | 31.463 % | 117.06/117.16 c =============================================================================== 117.06/117.16 c New solution: 71674 117.06/117.16 o 71674 117.06/117.16 c Elapsed CPU time: 116.701 s Remaining CPU time: 63.2987 s 117.06/117.16 c =============================================================================== 117.06/117.16 c | 14805 | 3934 27313 620758 | 9104 9221 570 | 31.463 % | 118.35/118.47 c | 14905 | 3934 27313 620758 | 10014 9321 571 | 31.463 % | 118.66/118.74 c =============================================================================== 118.66/118.74 c New solution: 71673 118.66/118.74 o 71673 118.66/118.74 c Elapsed CPU time: 118.276 s Remaining CPU time: 61.724 s 118.66/118.74 c =============================================================================== 118.66/118.74 c | 14907 | 3934 27314 622792 | 9104 9323 571 | 31.463 % | 118.85/118.97 c =============================================================================== 118.85/118.97 c New solution: 71672 118.85/118.97 o 71672 118.85/118.97 c Elapsed CPU time: 118.509 s Remaining CPU time: 61.491 s 118.85/118.97 c =============================================================================== 118.85/118.97 c | 14914 | 3934 27315 624826 | 9105 9330 571 | 31.463 % | 119.25/119.39 c =============================================================================== 119.25/119.39 c New solution: 71671 119.25/119.39 o 71671 119.25/119.39 c Elapsed CPU time: 118.931 s Remaining CPU time: 61.0691 s 119.25/119.39 c =============================================================================== 119.25/119.39 c | 14940 | 3934 27316 626860 | 9105 9356 570 | 31.463 % | 119.55/119.64 c =============================================================================== 119.55/119.64 c New solution: 71670 119.55/119.64 o 71670 119.55/119.64 c Elapsed CPU time: 119.174 s Remaining CPU time: 60.8261 s 119.55/119.64 c =============================================================================== 119.55/119.64 c | 14952 | 3934 27317 628894 | 9105 9368 570 | 31.463 % | 120.75/120.89 c | 15052 | 3934 27317 628894 | 10016 9468 571 | 31.463 % | 121.25/121.33 c =============================================================================== 121.25/121.33 c New solution: 71669 121.25/121.33 o 71669 121.25/121.33 c Elapsed CPU time: 120.861 s Remaining CPU time: 59.1394 s 121.25/121.33 c =============================================================================== 121.25/121.33 c | 15080 | 3934 27318 630928 | 9106 9496 571 | 31.463 % | 121.96/122.07 c | 15180 | 3934 27318 630928 | 10016 9596 571 | 31.463 % | 122.75/122.80 c =============================================================================== 122.75/122.80 c New solution: 71668 122.75/122.80 o 71668 122.75/122.80 c Elapsed CPU time: 122.33 s Remaining CPU time: 57.6696 s 122.75/122.80 c =============================================================================== 122.75/122.80 c | 15241 | 3934 27319 632962 | 9106 9657 571 | 31.463 % | 123.06/123.12 c =============================================================================== 123.06/123.12 c New solution: 71667 123.06/123.12 o 71667 123.06/123.12 c Elapsed CPU time: 122.652 s Remaining CPU time: 57.3476 s 123.06/123.12 c =============================================================================== 123.06/123.12 c | 15244 | 3934 27320 634996 | 9106 9660 571 | 31.463 % | 124.35/124.42 c | 15344 | 3934 27320 634996 | 10017 9760 571 | 31.463 % | 124.65/124.74 c =============================================================================== 124.65/124.74 c New solution: 71666 124.65/124.74 o 71666 124.65/124.74 c Elapsed CPU time: 124.267 s Remaining CPU time: 55.7329 s 124.65/124.74 c =============================================================================== 124.65/124.74 c | 15346 | 3934 27321 637030 | 9107 9762 571 | 31.463 % | 124.95/125.10 c =============================================================================== 124.95/125.10 c New solution: 71665 124.95/125.10 o 71665 124.95/125.10 c Elapsed CPU time: 124.619 s Remaining CPU time: 55.3809 s 124.95/125.10 c =============================================================================== 124.95/125.10 c | 15358 | 3934 27322 639064 | 9107 9774 571 | 31.463 % | 125.95/126.03 c =============================================================================== 125.95/126.03 c New solution: 71664 125.95/126.03 o 71664 125.95/126.03 c Elapsed CPU time: 125.553 s Remaining CPU time: 54.4471 s 125.95/126.03 c =============================================================================== 125.95/126.03 c | 15431 | 3934 27323 641098 | 9107 9847 572 | 31.463 % | 126.15/126.23 c =============================================================================== 126.15/126.23 c New solution: 71663 126.15/126.23 o 71663 126.15/126.23 c Elapsed CPU time: 125.744 s Remaining CPU time: 54.2561 s 126.15/126.23 c =============================================================================== 126.15/126.23 c | 15447 | 3934 27324 643132 | 9108 9863 572 | 31.463 % | 126.85/126.94 c | 15547 | 3934 27324 643132 | 10018 9963 571 | 31.463 % | 127.15/127.23 c =============================================================================== 127.15/127.23 c New solution: 71662 127.15/127.23 o 71662 127.15/127.23 c Elapsed CPU time: 126.745 s Remaining CPU time: 53.2553 s 127.15/127.23 c =============================================================================== 127.15/127.23 c | 15555 | 3934 27325 645166 | 9108 9971 571 | 31.463 % | 127.75/127.80 c =============================================================================== 127.75/127.80 c New solution: 71661 127.75/127.80 o 71661 127.75/127.80 c Elapsed CPU time: 127.316 s Remaining CPU time: 52.6844 s 127.75/127.80 c =============================================================================== 127.75/127.80 c | 15594 | 3934 27326 647200 | 9108 10010 571 | 31.463 % | 128.25/128.31 c =============================================================================== 128.25/128.31 c New solution: 71660 128.25/128.31 o 71660 128.25/128.31 c Elapsed CPU time: 127.825 s Remaining CPU time: 52.1754 s 128.25/128.31 c =============================================================================== 128.25/128.31 c | 15617 | 3934 27327 649234 | 9109 10033 571 | 31.463 % | 128.75/128.86 c =============================================================================== 128.75/128.86 c New solution: 70169 128.75/128.86 o 70169 128.75/128.86 c Elapsed CPU time: 128.366 s Remaining CPU time: 51.6335 s 128.75/128.86 c =============================================================================== 128.75/128.86 c | 15649 | 3934 27328 651268 | 9109 10065 571 | 31.463 % | 129.15/129.27 c =============================================================================== 129.15/129.27 c New solution: 70119 129.15/129.27 o 70119 129.15/129.27 c Elapsed CPU time: 128.775 s Remaining CPU time: 51.2246 s 129.15/129.27 c =============================================================================== 129.15/129.27 c | 15654 | 3934 27329 653302 | 9109 10070 571 | 31.463 % | 129.55/129.70 c =============================================================================== 129.55/129.70 c New solution: 70118 129.55/129.70 o 70118 129.55/129.70 c Elapsed CPU time: 129.202 s Remaining CPU time: 50.7976 s 129.55/129.70 c =============================================================================== 129.55/129.70 c | 15654 | 3934 27330 655336 | 9110 10070 571 | 31.463 % | 130.05/130.10 c =============================================================================== 130.05/130.10 c New solution: 70117 130.05/130.10 o 70117 130.05/130.10 c Elapsed CPU time: 129.602 s Remaining CPU time: 50.3977 s 130.05/130.10 c =============================================================================== 130.05/130.10 c | 15665 | 3934 27331 657370 | 9110 10081 571 | 31.463 % | 130.35/130.44 c =============================================================================== 130.35/130.44 c New solution: 70116 130.35/130.44 o 70116 130.35/130.44 c Elapsed CPU time: 129.943 s Remaining CPU time: 50.0568 s 130.35/130.44 c =============================================================================== 130.35/130.44 c | 15667 | 3934 27332 659404 | 9110 10083 571 | 31.463 % | 130.65/130.80 c =============================================================================== 130.65/130.80 c New solution: 70115 130.65/130.80 o 70115 130.65/130.80 c Elapsed CPU time: 130.302 s Remaining CPU time: 49.6978 s 130.65/130.80 c =============================================================================== 130.65/130.80 c | 15668 | 3934 27333 661438 | 9111 10084 571 | 31.463 % | 130.96/131.07 c =============================================================================== 130.96/131.07 c New solution: 70114 130.96/131.07 o 70114 130.96/131.07 c Elapsed CPU time: 130.576 s Remaining CPU time: 49.4239 s 130.96/131.07 c =============================================================================== 130.96/131.07 c | 15669 | 3934 27334 663472 | 9111 10085 571 | 31.463 % | 131.36/131.47 c =============================================================================== 131.36/131.47 c New solution: 70113 131.36/131.47 o 70113 131.36/131.47 c Elapsed CPU time: 130.974 s Remaining CPU time: 49.0259 s 131.36/131.47 c =============================================================================== 131.36/131.47 c | 15670 | 3934 27335 665506 | 9111 10086 571 | 31.463 % | 131.75/131.87 c =============================================================================== 131.75/131.87 c New solution: 70112 131.75/131.87 o 70112 131.75/131.87 c Elapsed CPU time: 131.367 s Remaining CPU time: 48.633 s 131.75/131.87 c =============================================================================== 131.75/131.87 c | 15670 | 3934 27336 667540 | 9112 10086 571 | 31.463 % | 132.15/132.26 c =============================================================================== 132.15/132.26 c New solution: 70111 132.15/132.26 o 70111 132.15/132.26 c Elapsed CPU time: 131.76 s Remaining CPU time: 48.24 s 132.15/132.26 c =============================================================================== 132.15/132.26 c | 15670 | 3934 27337 669574 | 9112 10086 571 | 31.463 % | 132.55/132.64 c =============================================================================== 132.55/132.64 c New solution: 70110 132.55/132.64 o 70110 132.55/132.64 c Elapsed CPU time: 132.146 s Remaining CPU time: 47.8541 s 132.55/132.64 c =============================================================================== 132.55/132.64 c | 15670 | 3934 27338 671608 | 9112 10086 571 | 31.463 % | 132.96/133.04 c =============================================================================== 132.96/133.04 c New solution: 70109 132.96/133.04 o 70109 132.96/133.04 c Elapsed CPU time: 132.539 s Remaining CPU time: 47.4611 s 132.96/133.04 c =============================================================================== 132.96/133.04 c | 15671 | 3934 27339 673642 | 9113 10087 571 | 31.463 % | 133.65/133.76 c =============================================================================== 133.65/133.76 c New solution: 70108 133.65/133.76 o 70108 133.65/133.76 c Elapsed CPU time: 133.259 s Remaining CPU time: 46.7413 s 133.65/133.76 c =============================================================================== 133.65/133.76 c | 15730 | 3934 27340 675676 | 9113 10146 571 | 31.463 % | 133.95/134.07 c =============================================================================== 133.95/134.07 c New solution: 70107 133.95/134.07 o 70107 133.95/134.07 c Elapsed CPU time: 133.569 s Remaining CPU time: 46.4313 s 133.95/134.07 c =============================================================================== 133.95/134.07 c | 15737 | 3934 27341 677710 | 9113 10153 571 | 31.463 % | 134.55/134.63 c =============================================================================== 134.55/134.63 c New solution: 70106 134.55/134.63 o 70106 134.55/134.63 c Elapsed CPU time: 134.132 s Remaining CPU time: 45.8684 s 134.55/134.63 c =============================================================================== 134.55/134.63 c | 15766 | 3934 27342 679744 | 9114 10182 571 | 31.463 % | 136.75/136.85 c | 15867 | 3934 27342 679744 | 10025 10283 571 | 31.463 % | 138.35/138.44 c | 16017 | 3934 27342 679744 | 11027 10433 572 | 31.463 % | 141.25/141.31 c =============================================================================== 141.25/141.31 c New solution: 70105 141.25/141.31 o 70105 141.25/141.31 c Elapsed CPU time: 140.797 s Remaining CPU time: 39.2034 s 141.25/141.31 c =============================================================================== 141.25/141.31 c | 16176 | 3934 27343 681778 | 9114 10592 573 | 31.463 % | 141.55/141.68 c =============================================================================== 141.55/141.68 c New solution: 70104 141.55/141.68 o 70104 141.55/141.68 c Elapsed CPU time: 141.173 s Remaining CPU time: 38.8275 s 141.55/141.68 c =============================================================================== 141.55/141.68 c | 16181 | 3934 27344 683812 | 9114 10597 573 | 31.463 % | 142.05/142.16 c =============================================================================== 142.05/142.16 c New solution: 70103 142.05/142.16 o 70103 142.05/142.16 c Elapsed CPU time: 141.646 s Remaining CPU time: 38.3535 s 142.05/142.16 c =============================================================================== 142.05/142.16 c | 16196 | 3934 27345 685846 | 9115 10612 572 | 31.463 % | 144.15/144.22 c | 16297 | 3934 27345 685846 | 10026 10713 573 | 31.463 % | 144.34/144.46 c =============================================================================== 144.34/144.46 c New solution: 70102 144.34/144.46 o 70102 144.34/144.46 c Elapsed CPU time: 143.946 s Remaining CPU time: 36.0539 s 144.34/144.46 c =============================================================================== 144.34/144.46 c | 16309 | 3934 27346 687880 | 9115 10725 573 | 31.463 % | 144.54/144.61 c =============================================================================== 144.54/144.61 c New solution: 70101 144.54/144.61 o 70101 144.54/144.61 c Elapsed CPU time: 144.089 s Remaining CPU time: 35.9109 s 144.54/144.61 c =============================================================================== 144.54/144.61 c | 16324 | 3934 27347 689914 | 9115 10740 573 | 31.463 % | 146.64/146.78 c | 16425 | 3934 27347 689914 | 10027 10841 573 | 31.463 % | 147.54/147.60 c =============================================================================== 147.54/147.60 c New solution: 70100 147.54/147.60 o 70100 147.54/147.60 c Elapsed CPU time: 147.081 s Remaining CPU time: 32.9194 s 147.54/147.60 c =============================================================================== 147.54/147.60 c | 16488 | 3934 27348 691948 | 9116 10904 573 | 31.463 % | 147.85/147.93 c =============================================================================== 147.85/147.93 c New solution: 70099 147.85/147.93 o 70099 147.85/147.93 c Elapsed CPU time: 147.41 s Remaining CPU time: 32.5904 s 147.85/147.93 c =============================================================================== 147.85/147.93 c | 16494 | 3934 27349 693982 | 9116 10910 573 | 31.463 % | 148.55/148.62 c =============================================================================== 148.55/148.62 c New solution: 70098 148.55/148.62 o 70098 148.55/148.62 c Elapsed CPU time: 148.1 s Remaining CPU time: 31.8995 s 148.55/148.62 c =============================================================================== 148.55/148.62 c | 16549 | 3934 27350 696016 | 9116 10965 573 | 31.463 % | 149.05/149.10 c =============================================================================== 149.05/149.10 c New solution: 70097 149.05/149.10 o 70097 149.05/149.10 c Elapsed CPU time: 148.575 s Remaining CPU time: 31.4246 s 149.05/149.10 c =============================================================================== 149.05/149.10 c | 16562 | 3934 27351 698050 | 9117 5496 551 | 31.463 % | 150.85/150.93 c | 16664 | 3934 27351 698050 | 10028 5598 552 | 31.463 % | 152.34/152.49 c | 16814 | 3934 27351 698050 | 11031 5748 554 | 31.463 % | 155.14/155.26 c | 17039 | 3934 27351 698050 | 12134 5973 556 | 31.463 % | 159.04/159.14 c | 17376 | 3934 27351 698050 | 13348 6310 559 | 31.463 % | 159.35/159.45 c =============================================================================== 159.35/159.45 c New solution: 70096 159.35/159.45 o 70096 159.35/159.45 c Elapsed CPU time: 158.91 s Remaining CPU time: 21.0902 s 159.35/159.45 c =============================================================================== 159.35/159.45 c | 17379 | 3934 27352 700084 | 9117 6313 559 | 31.463 % | 160.34/160.47 c =============================================================================== 160.34/160.47 c New solution: 70095 160.34/160.47 o 70095 160.34/160.47 c Elapsed CPU time: 159.931 s Remaining CPU time: 20.0693 s 160.34/160.47 c =============================================================================== 160.34/160.47 c | 17438 | 3934 27353 702118 | 9117 6372 559 | 31.463 % | 160.74/160.87 c =============================================================================== 160.74/160.87 c New solution: 70094 160.74/160.87 o 70094 160.74/160.87 c Elapsed CPU time: 160.33 s Remaining CPU time: 19.6704 s 160.74/160.87 c =============================================================================== 160.74/160.87 c | 17487 | 3934 27354 704152 | 9118 6421 559 | 31.463 % | 161.94/162.02 c | 17587 | 3934 27354 704152 | 10029 6521 560 | 31.464 % | 162.24/162.38 c =============================================================================== 162.24/162.38 c New solution: 70093 162.24/162.38 o 70093 162.24/162.38 c Elapsed CPU time: 161.829 s Remaining CPU time: 18.1706 s 162.24/162.38 c =============================================================================== 162.24/162.38 c | 17592 | 3934 27355 706186 | 9118 6526 560 | 31.464 % | 162.65/162.70 c =============================================================================== 162.65/162.70 c New solution: 70092 162.65/162.70 o 70092 162.65/162.70 c Elapsed CPU time: 162.147 s Remaining CPU time: 17.8527 s 162.65/162.70 c =============================================================================== 162.65/162.70 c | 17595 | 3934 27356 708220 | 9118 6529 560 | 31.464 % | 162.84/162.98 c =============================================================================== 162.84/162.98 c New solution: 70091 162.84/162.98 o 70091 162.84/162.98 c Elapsed CPU time: 162.432 s Remaining CPU time: 17.5677 s 162.84/162.98 c =============================================================================== 162.84/162.98 c | 17597 | 3934 27357 710254 | 9119 6531 560 | 31.464 % | 163.14/163.28 c =============================================================================== 163.14/163.28 c New solution: 70090 163.14/163.28 o 70090 163.14/163.28 c Elapsed CPU time: 162.729 s Remaining CPU time: 17.2707 s 163.14/163.28 c =============================================================================== 163.14/163.28 c | 17604 | 3934 27358 712288 | 9119 6538 560 | 31.464 % | 163.44/163.55 c =============================================================================== 163.44/163.55 c New solution: 70089 163.44/163.55 o 70089 163.44/163.55 c Elapsed CPU time: 163.003 s Remaining CPU time: 16.9968 s 163.44/163.55 c =============================================================================== 163.44/163.55 c | 17619 | 3934 27359 714322 | 9119 6553 560 | 31.464 % | 163.75/163.83 c =============================================================================== 163.75/163.83 c New solution: 70088 163.75/163.83 o 70088 163.75/163.83 c Elapsed CPU time: 163.279 s Remaining CPU time: 16.7208 s 163.75/163.83 c =============================================================================== 163.75/163.83 c | 17625 | 3934 27360 716356 | 9120 6559 560 | 31.464 % | 164.14/164.25 c =============================================================================== 164.14/164.25 c New solution: 70087 164.14/164.25 o 70087 164.14/164.25 c Elapsed CPU time: 163.7 s Remaining CPU time: 16.2999 s 164.14/164.25 c =============================================================================== 164.14/164.25 c | 17636 | 3934 27361 718390 | 9120 6570 560 | 31.464 % | 164.34/164.45 c =============================================================================== 164.34/164.45 c New solution: 70086 164.34/164.45 o 70086 164.34/164.45 c Elapsed CPU time: 163.895 s Remaining CPU time: 16.1049 s 164.34/164.45 c =============================================================================== 164.34/164.45 c | 17640 | 3934 27362 720424 | 9120 6574 559 | 31.464 % | 165.44/165.59 c =============================================================================== 165.44/165.59 c New solution: 68635 165.44/165.59 o 68635 165.44/165.59 c Elapsed CPU time: 165.032 s Remaining CPU time: 14.9681 s 165.44/165.59 c =============================================================================== 165.44/165.59 c | 17670 | 3934 27363 722458 | 9121 6604 559 | 31.464 % | 165.75/165.87 c =============================================================================== 165.75/165.87 c New solution: 68525 165.75/165.87 o 68525 165.75/165.87 c Elapsed CPU time: 165.316 s Remaining CPU time: 14.6841 s 165.75/165.87 c =============================================================================== 165.75/165.87 c | 17675 | 3934 27364 724492 | 9121 6609 559 | 31.464 % | 166.24/166.36 c =============================================================================== 166.24/166.36 c New solution: 68524 166.24/166.36 o 68524 166.24/166.36 c Elapsed CPU time: 165.804 s Remaining CPU time: 14.1962 s 166.24/166.36 c =============================================================================== 166.24/166.36 c | 17700 | 3934 27365 726526 | 9121 6634 559 | 31.464 % | 167.24/167.34 c | 17801 | 3934 27365 726526 | 10033 6735 559 | 31.463 % | 167.54/167.67 c =============================================================================== 167.54/167.67 c New solution: 68523 167.54/167.67 o 68523 167.54/167.67 c Elapsed CPU time: 167.112 s Remaining CPU time: 12.8884 s 167.54/167.67 c =============================================================================== 167.54/167.67 c | 17802 | 3934 27366 728560 | 9122 6736 559 | 31.463 % | 167.94/168.02 c =============================================================================== 167.94/168.02 c New solution: 68522 167.94/168.02 o 68522 167.94/168.02 c Elapsed CPU time: 167.454 s Remaining CPU time: 12.5465 s 167.94/168.02 c =============================================================================== 167.94/168.02 c | 17804 | 3934 27367 730594 | 9122 6738 559 | 31.463 % | 168.25/168.37 c =============================================================================== 168.25/168.37 c New solution: 68521 168.25/168.37 o 68521 168.25/168.37 c Elapsed CPU time: 167.811 s Remaining CPU time: 12.1885 s 168.25/168.37 c =============================================================================== 168.25/168.37 c | 17804 | 3934 27368 732628 | 9122 6738 559 | 31.463 % | 168.64/168.71 c =============================================================================== 168.64/168.71 c New solution: 68520 168.64/168.71 o 68520 168.64/168.71 c Elapsed CPU time: 168.141 s Remaining CPU time: 11.8586 s 168.64/168.71 c =============================================================================== 168.64/168.71 c | 17805 | 3934 27369 734662 | 9123 6739 559 | 31.463 % | 168.84/168.94 c =============================================================================== 168.84/168.94 c New solution: 68519 168.84/168.94 o 68519 168.84/168.94 c Elapsed CPU time: 168.375 s Remaining CPU time: 11.6246 s 168.84/168.94 c =============================================================================== 168.84/168.94 c | 17825 | 3934 27370 736696 | 9123 6759 559 | 31.463 % | 169.24/169.32 c =============================================================================== 169.24/169.32 c New solution: 68518 169.24/169.32 o 68518 169.24/169.32 c Elapsed CPU time: 168.757 s Remaining CPU time: 11.2427 s 169.24/169.32 c =============================================================================== 169.24/169.32 c | 17832 | 3934 27371 738730 | 9123 6766 559 | 31.463 % | 171.13/171.24 c | 17933 | 3934 27371 738730 | 10036 6867 560 | 31.463 % | 172.14/172.20 c =============================================================================== 172.14/172.20 c New solution: 68517 172.14/172.20 o 68517 172.14/172.20 c Elapsed CPU time: 171.631 s Remaining CPU time: 8.36909 s 172.14/172.20 c =============================================================================== 172.14/172.20 c | 18018 | 3934 27372 740764 | 9124 6952 560 | 31.463 % | 172.34/172.45 c =============================================================================== 172.34/172.45 c New solution: 68516 172.34/172.45 o 68516 172.34/172.45 c Elapsed CPU time: 171.875 s Remaining CPU time: 8.12513 s 172.34/172.45 c =============================================================================== 172.34/172.45 c | 18025 | 3934 27373 742798 | 9124 6959 560 | 31.463 % | 172.65/172.76 c =============================================================================== 172.65/172.76 c New solution: 68515 172.65/172.76 o 68515 172.65/172.76 c Elapsed CPU time: 172.189 s Remaining CPU time: 7.81118 s 172.65/172.76 c =============================================================================== 172.65/172.76 c | 18028 | 3934 27374 744832 | 9124 6962 560 | 31.463 % | 172.94/173.09 c | 18128 | 3934 27374 744832 | 10037 7062 560 | 31.463 % | 174.93/175.06 c =============================================================================== 174.93/175.06 c New solution: 68514 174.93/175.06 o 68514 174.93/175.06 c Elapsed CPU time: 174.479 s Remaining CPU time: 5.52052 s 174.93/175.06 c =============================================================================== 174.93/175.06 c | 18223 | 3934 27375 746866 | 9125 7157 561 | 31.463 % | 175.23/175.38 c =============================================================================== 175.23/175.38 c New solution: 68513 175.23/175.38 o 68513 175.23/175.38 c Elapsed CPU time: 174.803 s Remaining CPU time: 5.19657 s 175.23/175.38 c =============================================================================== 175.23/175.38 c | 18228 | 3934 27376 748900 | 9125 7162 561 | 31.463 % | 175.53/175.64 c =============================================================================== 175.53/175.64 c New solution: 68512 175.53/175.64 o 68512 175.53/175.64 c Elapsed CPU time: 175.064 s Remaining CPU time: 4.93561 s 175.53/175.64 c =============================================================================== 175.53/175.64 c | 18245 | 3934 27377 750934 | 9125 7179 561 | 31.463 % | 175.84/175.97 c =============================================================================== 175.84/175.97 c New solution: 68511 175.84/175.97 o 68511 175.84/175.97 c Elapsed CPU time: 175.393 s Remaining CPU time: 4.60666 s 175.84/175.97 c =============================================================================== 175.84/175.97 c | 18256 | 3934 27378 752968 | 9126 7190 561 | 31.463 % | 176.74/176.83 c =============================================================================== 176.74/176.83 c New solution: 67033 176.74/176.83 o 67033 176.74/176.83 c Elapsed CPU time: 176.243 s Remaining CPU time: 3.75679 s 176.74/176.83 c =============================================================================== 176.74/176.83 c | 18344 | 3934 27379 755002 | 9126 7278 561 | 31.463 % | 177.23/177.37 c =============================================================================== 177.23/177.37 c New solution: 66977 177.23/177.37 o 66977 177.23/177.37 c Elapsed CPU time: 176.776 s Remaining CPU time: 3.22387 s 177.23/177.37 c =============================================================================== 177.23/177.37 c | 18347 | 3934 27380 757036 | 9126 7281 560 | 31.463 % | 177.64/177.75 c =============================================================================== 177.64/177.75 c New solution: 66945 177.64/177.75 o 66945 177.64/177.75 c Elapsed CPU time: 177.158 s Remaining CPU time: 2.84193 s 177.64/177.75 c =============================================================================== 177.64/177.75 c | 18350 | 3934 27381 759070 | 9127 7284 560 | 31.463 % | 178.05/178.14 c =============================================================================== 178.05/178.14 c New solution: 66944 178.05/178.14 o 66944 178.05/178.14 c Elapsed CPU time: 177.554 s Remaining CPU time: 2.44599 s 178.05/178.14 c =============================================================================== 178.05/178.14 c | 18353 | 3934 27382 761104 | 9127 7287 560 | 31.463 % | 178.44/178.55 c =============================================================================== 178.44/178.55 c New solution: 66943 178.44/178.55 o 66943 178.44/178.55 c Elapsed CPU time: 177.961 s Remaining CPU time: 2.03905 s 178.44/178.55 c =============================================================================== 178.44/178.55 c | 18359 | 3934 27383 763138 | 9127 7293 560 | 31.463 % | 178.74/178.89 c =============================================================================== 178.74/178.89 c New solution: 66942 178.74/178.89 o 66942 178.74/178.89 c Elapsed CPU time: 178.293 s Remaining CPU time: 1.70711 s 178.74/178.89 c =============================================================================== 178.74/178.89 c | 18361 | 3934 27384 765172 | 9128 7295 560 | 31.463 % | 179.24/179.31 c =============================================================================== 179.24/179.31 c New solution: 66941 179.24/179.31 o 66941 179.24/179.31 c Elapsed CPU time: 178.708 s Remaining CPU time: 1.29217 s 179.24/179.31 c =============================================================================== 179.24/179.31 c | 18366 | 3934 27385 767206 | 9128 7300 560 | 31.463 % | 179.53/179.67 c =============================================================================== 179.53/179.67 c New solution: 66940 179.53/179.67 o 66940 179.53/179.67 c Elapsed CPU time: 179.072 s Remaining CPU time: 0.928224 s 179.53/179.67 c =============================================================================== 179.53/179.67 c | 18368 | 3934 27386 769240 | 9128 7302 560 | 31.463 % | 180.54/180.63 c There are 1806 assigned variables. 331 in cost function. 182.24/182.36 c core #1 182.24/182.36 c core #2 182.24/182.36 c core #3 182.24/182.36 c core #4 182.24/182.36 c core #5 182.24/182.36 c core #6 182.24/182.36 c core #7 182.24/182.36 c core #8 182.24/182.36 c core #9 182.24/182.36 c core #10 182.24/182.36 c core #11 182.24/182.36 c core #12 182.24/182.36 c core #13 182.24/182.36 c core #14 182.24/182.36 c core #15 182.24/182.36 c core #16 182.24/182.36 c core #17 182.24/182.36 c core #18 182.24/182.36 c core #19 182.24/182.36 c core #20 182.24/182.36 c core #21 182.24/182.36 c core #22 182.24/182.36 c core #23 182.24/182.36 c core #24 182.24/182.36 c core #25 182.24/182.36 c core #26 182.24/182.36 c core #27 182.24/182.36 c core #28 182.24/182.36 c core #29 182.24/182.36 c core #30 182.24/182.36 c core #31 182.24/182.36 c ============================[ Search Statistics ]============================== 182.24/182.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.24/182.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.24/182.36 c =============================================================================== 182.24/182.36 c | 0 | 657 18105 11156 | 6035 0 nan | 0.000 % | 182.24/182.37 c =============================================================================== 182.24/182.38 c #cores: 31 182.24/182.38 c Final Weight: 6563 182.24/182.38 o 6563 182.24/182.38 s OPTIMUM FOUND 182.24/182.38 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.24/182.38 c Total CPU time: 181.748 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-2683161-1277507412/watcher-2683161-1277507412 -o /tmp/evaluation-result-2683161-1277507412/solver-2683161-1277507412 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683161-1277507412.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.94 0.98 0.99 3/106 31378 /proc/meminfo: memFree=1756884/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=3868 CPUtime=0 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 380 0 0 0 0 0 0 0 18 0 1 0 92034013 3960832 299 1992294400 134512640 135751879 4291543808 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 967 311 145 303 0 461 0 [startup+0.091 s] /proc/loadavg: 0.94 0.98 0.99 3/106 31378 /proc/meminfo: memFree=1756884/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=5192 CPUtime=0.08 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 879 0 0 0 8 0 0 0 20 0 1 0 92034013 5316608 798 1992294400 134512640 135751879 4291543808 18446744073709551615 134564443 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 1298 798 289 303 0 792 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5192 [startup+0.1 s] /proc/loadavg: 0.94 0.98 0.99 3/106 31378 /proc/meminfo: memFree=1756884/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=5324 CPUtime=0.09 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 915 0 0 0 9 0 0 0 20 0 1 0 92034013 5451776 834 1992294400 134512640 135751879 4291543808 18446744073709551615 134569714 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 1331 835 304 303 0 825 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5324 [startup+0.300998 s] /proc/loadavg: 0.94 0.98 0.99 3/106 31378 /proc/meminfo: memFree=1756884/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=6548 CPUtime=0.29 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 1481 0 0 0 29 0 0 0 20 0 1 0 92034013 6705152 1199 1992294400 134512640 135751879 4291543808 18446744073709551615 134580003 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 1637 1199 146 303 0 1332 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6548 [startup+0.700995 s] /proc/loadavg: 0.94 0.98 0.99 3/106 31378 /proc/meminfo: memFree=1756884/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=6812 CPUtime=0.69 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 1516 0 0 0 69 0 0 0 21 0 1 0 92034013 6975488 1234 1992294400 134512640 135751879 4291543808 18446744073709551615 134517496 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 1703 1234 146 303 0 1398 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6812 [startup+1.50099 s] /proc/loadavg: 0.94 0.98 0.99 2/107 31379 /proc/meminfo: memFree=1752536/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=7604 CPUtime=1.49 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 1713 0 0 0 149 0 0 0 23 0 1 0 92034013 7786496 1431 1992294400 134512640 135751879 4291543808 18446744073709551615 134517489 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 1901 1431 146 303 0 1596 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7604 [startup+3.10198 s] /proc/loadavg: 0.94 0.98 0.99 2/107 31379 /proc/meminfo: memFree=1750428/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=8924 CPUtime=3.09 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 2051 0 0 0 302 7 0 0 18 0 1 0 92034013 9138176 1769 1992294400 134512640 135751879 4291543808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 2231 1769 147 303 0 1926 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8924 [startup+6.30095 s] /proc/loadavg: 0.94 0.98 0.99 2/107 31379 /proc/meminfo: memFree=1747576/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=12812 CPUtime=6.29 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 3038 0 0 0 618 11 0 0 18 0 1 0 92034013 13119488 2756 1992294400 134512640 135751879 4291543808 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 3203 2756 147 303 0 2898 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12812 [startup+12.7009 s] /proc/loadavg: 0.95 0.98 0.99 2/107 31379 /proc/meminfo: memFree=1741756/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=18796 CPUtime=12.68 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 4529 0 0 0 1254 14 0 0 25 0 1 0 92034013 19247104 4247 1992294400 134512640 135751879 4291543808 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 4699 4247 147 303 0 4394 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18796 [startup+25.5008 s] /proc/loadavg: 0.96 0.98 0.99 2/107 31379 /proc/meminfo: memFree=1733696/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=25908 CPUtime=25.48 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 6326 0 0 0 2530 18 0 0 19 0 1 0 92034013 26529792 6044 1992294400 134512640 135751879 4291543808 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 6477 6044 147 303 0 6172 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25908 [startup+51.1006 s] /proc/loadavg: 0.97 0.98 0.99 2/107 31379 /proc/meminfo: memFree=1721544/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=38112 CPUtime=51.07 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 9375 0 0 0 5081 26 0 0 25 0 1 0 92034013 39026688 9093 1992294400 134512640 135751879 4291543808 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 9528 9093 147 303 0 9223 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 38112 [startup+102.308 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31381 /proc/meminfo: memFree=1706664/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=52792 CPUtime=102.26 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 13046 0 0 0 10187 39 0 0 23 0 1 0 92034013 54059008 12764 1992294400 134512640 135751879 4291543808 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 13198 12764 148 303 0 12893 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 52792 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31383 /proc/meminfo: memFree=1692528/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=66824 CPUtime=162.24 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 16530 0 0 0 16174 50 0 0 20 0 1 0 92034013 68427776 16248 1992294400 134512640 135751879 4291543808 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 16706 16248 148 303 0 16401 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 66824 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31383 /proc/meminfo: memFree=1692032/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=67228 CPUtime=166.24 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 16634 0 0 0 16573 51 0 0 25 0 1 0 92034013 68841472 16352 1992294400 134512640 135751879 4291543808 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 16807 16352 148 303 0 16502 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 67228 [startup+172.709 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31383 /proc/meminfo: memFree=1690792/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=68532 CPUtime=172.65 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 16945 0 0 0 17213 52 0 0 25 0 1 0 92034013 70176768 16663 1992294400 134512640 135751879 4291543808 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 17133 16663 148 303 0 16828 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 68532 [startup+179.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31383 /proc/meminfo: memFree=1689552/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=69832 CPUtime=179.03 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 17270 0 0 0 17849 54 0 0 25 0 1 0 92034013 71507968 16988 1992294400 134512640 135751879 4291543808 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 17458 16988 148 303 0 17153 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 69832 [startup+180.701 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31383 /proc/meminfo: memFree=1689180/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=76156 CPUtime=180.64 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 18855 0 0 0 18009 55 0 0 25 0 1 0 92034013 77983744 18573 1992294400 134512640 135751879 4291543808 18446744073709551615 135201930 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 19039 18573 150 303 0 18734 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 76156 [startup+181.509 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31383 /proc/meminfo: memFree=1683104/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=78916 CPUtime=181.44 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 19719 0 0 0 18089 55 0 0 25 0 1 0 92034013 80809984 19308 1992294400 134512640 135751879 4291543808 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 19762 19311 151 303 0 19457 0 Current children cumulated CPU time (s) 181.44 Current children cumulated vsize (KiB) 78916 [startup+181.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31383 /proc/meminfo: memFree=1683104/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=97216 CPUtime=181.84 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 24266 0 0 0 18127 57 0 0 25 0 1 0 92034013 99549184 23855 1992294400 134512640 135751879 4291543808 18446744073709551615 134638848 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 24304 23855 151 303 0 23999 0 Current children cumulated CPU time (s) 181.84 Current children cumulated vsize (KiB) 97216 [startup+182.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31383 /proc/meminfo: memFree=1683104/2059040 swapFree=4139444/4192956 [pid=31378] ppid=31376 vsize=114480 CPUtime=182.24 /proc/31378/stat : 31378 (wbo1.4b) R 31376 31378 30803 0 -1 4202496 28592 0 0 0 18166 58 0 0 25 0 1 0 92034013 117227520 28181 1992294400 134512640 135751879 4291543808 18446744073709551615 134639817 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/31378/statm: 28620 28181 151 303 0 28315 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 114480 Child status: 0 Real time (s): 182.403 CPU time (s): 182.346 CPU user time (s): 181.748 CPU system time (s): 0.597909 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 114480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 181.748 system time used= 0.597909 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29518 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= 86 involuntary context switches= 2534 runsolver used 0.369943 second user time and 0.897863 second system time The end
Begin job on node038 at 2010-06-26 01:10:12 IDJOB=2683161 IDBENCH=72091 IDSOLVER=1161 FILE ID=node038/2683161-1277507412 PBS_JOBID= 11190616 Free space on /tmp= 62460 MiB SOLVER NAME= wbo 1.4b 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 CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683161-1277507412/watcher-2683161-1277507412 -o /tmp/evaluation-result-2683161-1277507412/solver-2683161-1277507412 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683161-1277507412.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7d47423dbe0b5ddfaa03904c8689e004 RANDOM SEED=15499592 node038.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.222 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.44 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.222 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1757660 kB Buffers: 37380 kB Cached: 160224 kB SwapCached: 5940 kB Active: 85932 kB Inactive: 124296 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1757660 kB SwapTotal: 4192956 kB SwapFree: 4139444 kB Dirty: 3676 kB Writeback: 0 kB AnonPages: 11424 kB Mapped: 11892 kB Slab: 69168 kB PageTables: 4244 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180672 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2683161-1277507412.opb Free space on /tmp at the end= 62456 MiB End job on node038 at 2010-06-26 01:13:15