Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 6114 | 184.211 | 184.264 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand4a23d9.cudf.paranoid.opb |
MD5SUM | 818b79ae869509d5a8ea99635b1eadb4 |
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 | 6114 |
Best CPU time to get the best result obtained on this benchmark | 2.58361 |
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 | 5473 |
Total number of constraints | 24028 |
Number of constraints which are clauses | 23757 |
Number of constraints which are cardinality constraints (but not clauses) | 271 |
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 | 2043 |
Biggest coefficient in the objective function | 1494 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 824686 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1494 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 824686 |
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-2683330-1277508921.opb. 0.00/0.00 c Instance file HOME/instance-2683330-1277508921.opb 0.00/0.00 c File size is 766772 bytes. 0.09/0.11 c Highest Coefficient sum: 553 0.09/0.11 c ============================[ Problem Statistics ]============================= 0.09/0.11 c | | 0.09/0.11 c | Parsing time: 0.11 s | 0.09/0.11 c | Number Variables: 5473 | 0.09/0.11 c | Number Clauses: 23757 | 0.09/0.11 c | Number Cardinality: 271 | 0.09/0.11 c | Number PB Constraints: 0 | 6.49/6.58 c ============================[ Search Statistics ]============================== 6.49/6.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.49/6.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.49/6.58 c =============================================================================== 6.49/6.58 c | 0 | 3887 25488 47038 | 8009 0 nan | 0.000 % | 6.60/6.64 c =============================================================================== 6.60/6.64 c New solution: 385942 6.60/6.64 o 385942 6.60/6.64 c Elapsed CPU time: 6.604 s Remaining CPU time: 173.396 s 6.60/6.64 c =============================================================================== 6.60/6.64 c | 34 | 3887 25489 48976 | 8496 34 4 | 0.000 % | 6.60/6.65 c =============================================================================== 6.60/6.65 c New solution: 384504 6.60/6.65 o 384504 6.60/6.65 c Elapsed CPU time: 6.61299 s Remaining CPU time: 173.387 s 6.60/6.65 c =============================================================================== 6.60/6.65 c | 51 | 3887 25490 50914 | 8496 51 18 | 0.000 % | 6.60/6.68 c =============================================================================== 6.60/6.68 c New solution: 142505 6.60/6.68 o 142505 6.60/6.68 c Elapsed CPU time: 6.63699 s Remaining CPU time: 173.363 s 6.60/6.68 c =============================================================================== 6.60/6.68 c | 87 | 3887 25491 52852 | 8497 87 12 | 0.000 % | 6.60/6.69 c =============================================================================== 6.60/6.69 c New solution: 142453 6.60/6.69 o 142453 6.60/6.69 c Elapsed CPU time: 6.64999 s Remaining CPU time: 173.35 s 6.60/6.69 c =============================================================================== 6.60/6.69 c | 97 | 3887 25492 54790 | 8497 97 17 | 0.000 % | 6.70/6.72 c =============================================================================== 6.70/6.72 c New solution: 142452 6.70/6.72 o 142452 6.70/6.72 c Elapsed CPU time: 6.67798 s Remaining CPU time: 173.322 s 6.70/6.72 c =============================================================================== 6.70/6.72 c | 138 | 3887 25493 56728 | 8497 138 78 | 0.000 % | 6.70/6.76 c =============================================================================== 6.70/6.76 c New solution: 126092 6.70/6.76 o 126092 6.70/6.76 c Elapsed CPU time: 6.70398 s Remaining CPU time: 173.296 s 6.70/6.76 c =============================================================================== 6.70/6.76 c | 175 | 3887 25494 58666 | 8498 175 62 | 0.000 % | 6.70/6.77 c =============================================================================== 6.70/6.77 c New solution: 93207 6.70/6.77 o 93207 6.70/6.77 c Elapsed CPU time: 6.71398 s Remaining CPU time: 173.286 s 6.70/6.77 c =============================================================================== 6.70/6.77 c | 176 | 3887 25495 60604 | 8498 176 61 | 0.000 % | 6.70/6.78 c =============================================================================== 6.70/6.78 c New solution: 93187 6.70/6.78 o 93187 6.70/6.78 c Elapsed CPU time: 6.72398 s Remaining CPU time: 173.276 s 6.70/6.78 c =============================================================================== 6.70/6.78 c | 176 | 3887 25496 62542 | 8498 176 61 | 0.000 % | 6.79/6.80 c =============================================================================== 6.79/6.80 c New solution: 93186 6.79/6.80 o 93186 6.79/6.80 c Elapsed CPU time: 6.74198 s Remaining CPU time: 173.258 s 6.79/6.80 c =============================================================================== 6.79/6.80 c | 178 | 3887 25497 64480 | 8499 178 64 | 0.000 % | 6.79/6.83 c =============================================================================== 6.79/6.83 c New solution: 93185 6.79/6.83 o 93185 6.79/6.83 c Elapsed CPU time: 6.76897 s Remaining CPU time: 173.231 s 6.79/6.83 c =============================================================================== 6.79/6.83 c | 193 | 3887 25498 66418 | 8499 193 62 | 0.000 % | 6.79/6.87 c =============================================================================== 6.79/6.87 c New solution: 93128 6.79/6.87 o 93128 6.79/6.87 c Elapsed CPU time: 6.81396 s Remaining CPU time: 173.186 s 6.79/6.87 c =============================================================================== 6.79/6.87 c | 196 | 3887 25499 68356 | 8499 196 61 | 0.000 % | 6.89/6.90 c =============================================================================== 6.89/6.90 c New solution: 93127 6.89/6.90 o 93127 6.89/6.90 c Elapsed CPU time: 6.84296 s Remaining CPU time: 173.157 s 6.89/6.90 c =============================================================================== 6.89/6.90 c | 202 | 3887 25500 70294 | 8500 202 65 | 0.000 % | 6.89/6.93 c =============================================================================== 6.89/6.93 c New solution: 91744 6.89/6.93 o 91744 6.89/6.93 c Elapsed CPU time: 6.86496 s Remaining CPU time: 173.135 s 6.89/6.93 c =============================================================================== 6.89/6.93 c | 216 | 3887 25501 72232 | 8500 216 64 | 0.000 % | 6.99/7.00 c =============================================================================== 6.99/7.00 c New solution: 91648 6.99/7.00 o 91648 6.99/7.00 c Elapsed CPU time: 6.93494 s Remaining CPU time: 173.065 s 6.99/7.00 c =============================================================================== 6.99/7.00 c | 222 | 3887 25502 74170 | 8500 222 62 | 0.000 % | 6.99/7.04 c =============================================================================== 6.99/7.04 c New solution: 90238 6.99/7.04 o 90238 6.99/7.04 c Elapsed CPU time: 6.97294 s Remaining CPU time: 173.027 s 6.99/7.04 c =============================================================================== 6.99/7.04 c | 245 | 3887 25503 76108 | 8501 245 65 | 0.000 % | 7.09/7.15 c =============================================================================== 7.09/7.15 c New solution: 90124 7.09/7.15 o 90124 7.09/7.15 c Elapsed CPU time: 7.07592 s Remaining CPU time: 172.924 s 7.09/7.15 c =============================================================================== 7.09/7.15 c | 254 | 3887 25504 78046 | 8501 254 68 | 0.000 % | 7.09/7.16 c =============================================================================== 7.09/7.16 c New solution: 88740 7.09/7.16 o 88740 7.09/7.16 c Elapsed CPU time: 7.09092 s Remaining CPU time: 172.909 s 7.09/7.16 c =============================================================================== 7.09/7.16 c | 258 | 3887 25505 79984 | 8501 258 67 | 0.000 % | 7.09/7.19 c =============================================================================== 7.09/7.19 c New solution: 87305 7.09/7.19 o 87305 7.09/7.19 c Elapsed CPU time: 7.11392 s Remaining CPU time: 172.886 s 7.09/7.19 c =============================================================================== 7.09/7.19 c | 270 | 3887 25506 81922 | 8502 270 69 | 0.000 % | 7.19/7.25 c =============================================================================== 7.19/7.25 c New solution: 87164 7.19/7.25 o 87164 7.19/7.25 c Elapsed CPU time: 7.17891 s Remaining CPU time: 172.821 s 7.19/7.25 c =============================================================================== 7.19/7.25 c | 280 | 3887 25507 83860 | 8502 280 70 | 0.000 % | 7.29/7.30 c =============================================================================== 7.29/7.30 c New solution: 87163 7.29/7.30 o 87163 7.29/7.30 c Elapsed CPU time: 7.2269 s Remaining CPU time: 172.773 s 7.29/7.30 c =============================================================================== 7.29/7.30 c | 300 | 3887 25508 85798 | 8502 300 100 | 0.000 % | 7.39/7.44 c | 400 | 3887 25508 85798 | 9352 400 199 | 28.979 % | 7.59/7.64 c | 551 | 3887 25508 85798 | 10288 551 266 | 28.979 % | 7.59/7.70 c =============================================================================== 7.59/7.70 c New solution: 85728 7.59/7.70 o 85728 7.59/7.70 c Elapsed CPU time: 7.61584 s Remaining CPU time: 172.384 s 7.59/7.70 c =============================================================================== 7.59/7.70 c | 566 | 3887 25509 87736 | 8503 566 266 | 28.979 % | 7.70/7.74 c =============================================================================== 7.70/7.74 c New solution: 85700 7.70/7.74 o 85700 7.70/7.74 c Elapsed CPU time: 7.65883 s Remaining CPU time: 172.341 s 7.70/7.74 c =============================================================================== 7.70/7.74 c | 568 | 3887 25510 89674 | 8503 568 266 | 28.979 % | 7.80/7.83 c =============================================================================== 7.80/7.83 c New solution: 85699 7.80/7.83 o 85699 7.80/7.83 c Elapsed CPU time: 7.75082 s Remaining CPU time: 172.249 s 7.80/7.83 c =============================================================================== 7.80/7.83 c | 605 | 3887 25511 91612 | 8503 605 276 | 28.979 % | 7.80/7.86 c =============================================================================== 7.80/7.86 c New solution: 85698 7.80/7.86 o 85698 7.80/7.86 c Elapsed CPU time: 7.77782 s Remaining CPU time: 172.222 s 7.80/7.86 c =============================================================================== 7.80/7.86 c | 608 | 3887 25512 93550 | 8504 608 277 | 28.979 % | 7.89/7.99 c =============================================================================== 7.89/7.99 c New solution: 85697 7.89/7.99 o 85697 7.89/7.99 c Elapsed CPU time: 7.9048 s Remaining CPU time: 172.095 s 7.89/7.99 c =============================================================================== 7.89/7.99 c | 612 | 3887 25513 95488 | 8504 612 275 | 28.979 % | 8.09/8.10 c =============================================================================== 8.09/8.10 c New solution: 85684 8.09/8.10 o 85684 8.09/8.10 c Elapsed CPU time: 8.01978 s Remaining CPU time: 171.98 s 8.09/8.10 c =============================================================================== 8.09/8.10 c | 617 | 3887 25514 97426 | 8504 617 274 | 28.979 % | 8.09/8.16 c =============================================================================== 8.09/8.16 c New solution: 85683 8.09/8.16 o 85683 8.09/8.16 c Elapsed CPU time: 8.07677 s Remaining CPU time: 171.923 s 8.09/8.16 c =============================================================================== 8.09/8.16 c | 628 | 3887 25515 99364 | 8505 628 275 | 28.979 % | 8.19/8.28 c =============================================================================== 8.19/8.28 c New solution: 85682 8.19/8.28 o 85682 8.19/8.28 c Elapsed CPU time: 8.19975 s Remaining CPU time: 171.8 s 8.19/8.28 c =============================================================================== 8.19/8.28 c | 681 | 3887 25516 101302 | 8505 681 283 | 28.979 % | 8.29/8.36 c =============================================================================== 8.29/8.36 c New solution: 85681 8.29/8.36 o 85681 8.29/8.36 c Elapsed CPU time: 8.27174 s Remaining CPU time: 171.728 s 8.29/8.36 c =============================================================================== 8.29/8.36 c | 681 | 3887 25517 103240 | 8505 681 283 | 28.979 % | 8.39/8.43 c =============================================================================== 8.39/8.43 c New solution: 85680 8.39/8.43 o 85680 8.39/8.43 c Elapsed CPU time: 8.34373 s Remaining CPU time: 171.656 s 8.39/8.43 c =============================================================================== 8.39/8.43 c | 681 | 3887 25518 105178 | 8506 681 283 | 28.979 % | 8.48/8.50 c =============================================================================== 8.48/8.50 c New solution: 85679 8.48/8.50 o 85679 8.48/8.50 c Elapsed CPU time: 8.41672 s Remaining CPU time: 171.583 s 8.48/8.50 c =============================================================================== 8.48/8.50 c | 681 | 3887 25519 107116 | 8506 681 283 | 28.979 % | 8.48/8.57 c =============================================================================== 8.48/8.57 c New solution: 85678 8.48/8.57 o 85678 8.48/8.57 c Elapsed CPU time: 8.48271 s Remaining CPU time: 171.517 s 8.48/8.57 c =============================================================================== 8.48/8.57 c | 682 | 3887 25520 109054 | 8506 682 283 | 28.979 % | 8.59/8.65 c =============================================================================== 8.59/8.65 c New solution: 85677 8.59/8.65 o 85677 8.59/8.65 c Elapsed CPU time: 8.5607 s Remaining CPU time: 171.439 s 8.59/8.65 c =============================================================================== 8.59/8.65 c | 682 | 3887 25521 110992 | 8507 682 283 | 28.979 % | 8.69/8.73 c =============================================================================== 8.69/8.73 c New solution: 85676 8.69/8.73 o 85676 8.69/8.73 c Elapsed CPU time: 8.63869 s Remaining CPU time: 171.361 s 8.69/8.73 c =============================================================================== 8.69/8.73 c | 682 | 3887 25522 112930 | 8507 682 283 | 28.979 % | 8.80/8.81 c =============================================================================== 8.80/8.81 c New solution: 85675 8.80/8.81 o 85675 8.80/8.81 c Elapsed CPU time: 8.72067 s Remaining CPU time: 171.279 s 8.80/8.81 c =============================================================================== 8.80/8.81 c | 683 | 3887 25523 114868 | 8507 683 283 | 28.979 % | 8.90/8.92 c =============================================================================== 8.90/8.93 c New solution: 85674 8.90/8.93 o 85674 8.90/8.93 c Elapsed CPU time: 8.83166 s Remaining CPU time: 171.168 s 8.90/8.93 c =============================================================================== 8.90/8.93 c | 739 | 3887 25524 116806 | 8508 739 300 | 28.979 % | 8.99/9.08 c | 839 | 3887 25524 116806 | 9358 839 324 | 28.979 % | 9.09/9.11 c =============================================================================== 9.09/9.11 c New solution: 85673 9.09/9.11 o 85673 9.09/9.11 c Elapsed CPU time: 9.01163 s Remaining CPU time: 170.988 s 9.09/9.11 c =============================================================================== 9.09/9.11 c | 847 | 3887 25525 118744 | 8508 847 324 | 28.979 % | 9.09/9.18 c | 947 | 3887 25525 118744 | 9359 947 340 | 28.979 % | 9.19/9.28 c =============================================================================== 9.19/9.28 c New solution: 84236 9.19/9.28 o 84236 9.19/9.28 c Elapsed CPU time: 9.1876 s Remaining CPU time: 170.812 s 9.19/9.28 c =============================================================================== 9.19/9.28 c | 975 | 3887 25526 120682 | 8508 975 342 | 28.979 % | 9.38/9.48 c =============================================================================== 9.38/9.48 c New solution: 84205 9.38/9.48 o 84205 9.38/9.48 c Elapsed CPU time: 9.38557 s Remaining CPU time: 170.614 s 9.38/9.48 c =============================================================================== 9.38/9.48 c | 1045 | 3887 25527 122620 | 8509 1045 348 | 28.979 % | 9.69/9.78 c | 1145 | 3887 25527 122620 | 9359 1145 366 | 28.979 % | 9.79/9.82 c =============================================================================== 9.79/9.82 c New solution: 84204 9.79/9.82 o 84204 9.79/9.82 c Elapsed CPU time: 9.72452 s Remaining CPU time: 170.275 s 9.79/9.82 c =============================================================================== 9.79/9.82 c | 1157 | 3887 25528 124558 | 8509 1157 365 | 28.979 % | 9.79/9.89 c =============================================================================== 9.79/9.89 c New solution: 84203 9.79/9.89 o 84203 9.79/9.89 c Elapsed CPU time: 9.78851 s Remaining CPU time: 170.211 s 9.79/9.89 c =============================================================================== 9.79/9.89 c | 1162 | 3887 25529 126496 | 8509 1162 365 | 28.979 % | 9.90/9.98 c =============================================================================== 9.90/9.98 c New solution: 84202 9.90/9.98 o 84202 9.90/9.98 c Elapsed CPU time: 9.8785 s Remaining CPU time: 170.122 s 9.90/9.98 c =============================================================================== 9.90/9.98 c | 1184 | 3887 25530 128434 | 8510 1184 365 | 28.979 % | 10.00/10.01 c =============================================================================== 10.00/10.01 c New solution: 84201 10.00/10.01 o 84201 10.00/10.01 c Elapsed CPU time: 9.91249 s Remaining CPU time: 170.088 s 10.00/10.01 c =============================================================================== 10.00/10.01 c | 1184 | 3887 25531 130372 | 8510 1184 365 | 28.979 % | 10.00/10.05 c =============================================================================== 10.00/10.05 c New solution: 84200 10.00/10.05 o 84200 10.00/10.05 c Elapsed CPU time: 9.94849 s Remaining CPU time: 170.052 s 10.00/10.05 c =============================================================================== 10.00/10.05 c | 1185 | 3887 25532 132310 | 8510 1185 365 | 28.979 % | 10.00/10.09 c =============================================================================== 10.00/10.09 c New solution: 84199 10.00/10.09 o 84199 10.00/10.09 c Elapsed CPU time: 9.99148 s Remaining CPU time: 170.009 s 10.00/10.09 c =============================================================================== 10.00/10.09 c | 1194 | 3887 25533 134248 | 8511 1194 366 | 28.979 % | 10.09/10.19 c =============================================================================== 10.09/10.19 c New solution: 82768 10.09/10.19 o 82768 10.09/10.19 c Elapsed CPU time: 10.0915 s Remaining CPU time: 169.909 s 10.09/10.19 c =============================================================================== 10.09/10.19 c | 1200 | 3887 25534 136186 | 8511 1200 364 | 28.979 % | 10.19/10.24 c =============================================================================== 10.19/10.24 c New solution: 82767 10.19/10.24 o 82767 10.19/10.24 c Elapsed CPU time: 10.1375 s Remaining CPU time: 169.863 s 10.19/10.24 c =============================================================================== 10.19/10.24 c | 1200 | 3887 25535 138124 | 8511 1200 364 | 28.979 % | 10.29/10.31 c =============================================================================== 10.29/10.31 c New solution: 82758 10.29/10.31 o 82758 10.29/10.31 c Elapsed CPU time: 10.2024 s Remaining CPU time: 169.798 s 10.29/10.31 c =============================================================================== 10.29/10.31 c | 1202 | 3887 25536 140062 | 8512 1202 364 | 28.979 % | 10.29/10.38 c =============================================================================== 10.29/10.38 c New solution: 82741 10.29/10.38 o 82741 10.29/10.38 c Elapsed CPU time: 10.2684 s Remaining CPU time: 169.732 s 10.29/10.38 c =============================================================================== 10.29/10.38 c | 1212 | 3887 25537 142000 | 8512 1212 364 | 28.979 % | 10.39/10.47 c =============================================================================== 10.39/10.47 c New solution: 82740 10.39/10.47 o 82740 10.39/10.47 c Elapsed CPU time: 10.3584 s Remaining CPU time: 169.642 s 10.39/10.47 c =============================================================================== 10.39/10.47 c | 1217 | 3887 25538 143938 | 8512 1217 364 | 28.979 % | 10.49/10.58 c | 1318 | 3887 25538 143938 | 9363 1318 371 | 28.979 % | 10.59/10.65 c | 1469 | 3887 25538 143938 | 10300 1469 379 | 28.979 % | 10.59/10.69 c =============================================================================== 10.59/10.69 c New solution: 82739 10.59/10.69 o 82739 10.59/10.69 c Elapsed CPU time: 10.5724 s Remaining CPU time: 169.428 s 10.59/10.69 c =============================================================================== 10.59/10.69 c | 1472 | 3887 25539 145876 | 8513 1472 379 | 28.979 % | 10.69/10.74 c =============================================================================== 10.69/10.74 c New solution: 82730 10.69/10.74 o 82730 10.69/10.74 c Elapsed CPU time: 10.6274 s Remaining CPU time: 169.373 s 10.69/10.74 c =============================================================================== 10.69/10.74 c | 1477 | 3887 25540 147814 | 8513 1477 379 | 28.979 % | 10.79/10.82 c =============================================================================== 10.79/10.82 c New solution: 82687 10.79/10.82 o 82687 10.79/10.82 c Elapsed CPU time: 10.7034 s Remaining CPU time: 169.297 s 10.79/10.82 c =============================================================================== 10.79/10.82 c | 1500 | 3887 25541 149752 | 8513 1500 380 | 28.979 % | 10.89/10.94 c =============================================================================== 10.89/10.94 c New solution: 82686 10.89/10.94 o 82686 10.89/10.94 c Elapsed CPU time: 10.8184 s Remaining CPU time: 169.182 s 10.89/10.94 c =============================================================================== 10.89/10.94 c | 1534 | 3887 25542 151690 | 8514 1534 382 | 28.979 % | 10.89/10.98 c =============================================================================== 10.89/10.98 c New solution: 82685 10.89/10.98 o 82685 10.89/10.98 c Elapsed CPU time: 10.8653 s Remaining CPU time: 169.135 s 10.89/10.98 c =============================================================================== 10.89/10.98 c | 1540 | 3887 25543 153628 | 8514 1540 383 | 28.979 % | 11.00/11.04 c =============================================================================== 11.00/11.04 c New solution: 82684 11.00/11.04 o 82684 11.00/11.04 c Elapsed CPU time: 10.9193 s Remaining CPU time: 169.081 s 11.00/11.04 c =============================================================================== 11.00/11.04 c | 1548 | 3887 25544 155566 | 8514 1548 382 | 28.979 % | 11.19/11.28 c | 1649 | 3887 25544 155566 | 9366 1649 386 | 28.979 % | 11.29/11.34 c =============================================================================== 11.29/11.34 c New solution: 81280 11.29/11.34 o 81280 11.29/11.34 c Elapsed CPU time: 11.2213 s Remaining CPU time: 168.779 s 11.29/11.34 c =============================================================================== 11.29/11.34 c | 1667 | 3887 25545 157504 | 8515 1667 387 | 28.979 % | 11.39/11.43 c =============================================================================== 11.39/11.43 c New solution: 81232 11.39/11.43 o 81232 11.39/11.43 c Elapsed CPU time: 11.3073 s Remaining CPU time: 168.693 s 11.39/11.43 c =============================================================================== 11.39/11.43 c | 1668 | 3887 25546 159442 | 8515 1668 387 | 28.979 % | 11.48/11.50 c =============================================================================== 11.48/11.50 c New solution: 81212 11.48/11.50 o 81212 11.48/11.50 c Elapsed CPU time: 11.3693 s Remaining CPU time: 168.631 s 11.48/11.50 c =============================================================================== 11.48/11.50 c | 1674 | 3887 25547 161380 | 8515 1674 386 | 28.979 % | 11.48/11.55 c =============================================================================== 11.48/11.55 c New solution: 81211 11.48/11.55 o 81211 11.48/11.55 c Elapsed CPU time: 11.4183 s Remaining CPU time: 168.582 s 11.48/11.55 c =============================================================================== 11.48/11.55 c | 1674 | 3887 25548 163318 | 8516 1674 386 | 28.979 % | 11.59/11.60 c =============================================================================== 11.59/11.60 c New solution: 81210 11.59/11.60 o 81210 11.59/11.60 c Elapsed CPU time: 11.4673 s Remaining CPU time: 168.533 s 11.59/11.60 c =============================================================================== 11.59/11.60 c | 1674 | 3887 25549 165256 | 8516 1674 386 | 28.979 % | 11.59/11.65 c =============================================================================== 11.59/11.65 c New solution: 81209 11.59/11.65 o 81209 11.59/11.65 c Elapsed CPU time: 11.5152 s Remaining CPU time: 168.485 s 11.59/11.65 c =============================================================================== 11.59/11.65 c | 1675 | 3887 25550 167194 | 8516 1675 386 | 28.979 % | 11.59/11.70 c =============================================================================== 11.59/11.70 c New solution: 81208 11.59/11.70 o 81208 11.59/11.70 c Elapsed CPU time: 11.5642 s Remaining CPU time: 168.436 s 11.59/11.70 c =============================================================================== 11.59/11.70 c | 1675 | 3887 25551 169132 | 8517 1675 386 | 28.979 % | 11.69/11.75 c =============================================================================== 11.69/11.75 c New solution: 81207 11.69/11.75 o 81207 11.69/11.75 c Elapsed CPU time: 11.6142 s Remaining CPU time: 168.386 s 11.69/11.75 c =============================================================================== 11.69/11.75 c | 1675 | 3887 25552 171070 | 8517 1675 386 | 28.979 % | 11.79/11.80 c =============================================================================== 11.79/11.80 c New solution: 81206 11.79/11.80 o 81206 11.79/11.80 c Elapsed CPU time: 11.6692 s Remaining CPU time: 168.331 s 11.79/11.80 c =============================================================================== 11.79/11.80 c | 1675 | 3887 25553 173008 | 8517 1675 386 | 28.979 % | 11.79/11.85 c =============================================================================== 11.79/11.85 c New solution: 81205 11.79/11.85 o 81205 11.79/11.85 c Elapsed CPU time: 11.7162 s Remaining CPU time: 168.284 s 11.79/11.85 c =============================================================================== 11.79/11.85 c | 1675 | 3887 25554 174946 | 8518 1675 386 | 28.979 % | 11.79/11.90 c =============================================================================== 11.79/11.90 c New solution: 81204 11.79/11.90 o 81204 11.79/11.90 c Elapsed CPU time: 11.7642 s Remaining CPU time: 168.236 s 11.79/11.90 c =============================================================================== 11.79/11.90 c | 1675 | 3887 25555 176884 | 8518 1675 386 | 28.979 % | 11.89/11.94 c =============================================================================== 11.89/11.94 c New solution: 81203 11.89/11.94 o 81203 11.89/11.94 c Elapsed CPU time: 11.8122 s Remaining CPU time: 168.188 s 11.89/11.94 c =============================================================================== 11.89/11.94 c | 1675 | 3887 25556 178822 | 8518 1675 386 | 28.979 % | 11.89/11.99 c =============================================================================== 11.89/11.99 c New solution: 81196 11.89/11.99 o 81196 11.89/11.99 c Elapsed CPU time: 11.8562 s Remaining CPU time: 168.144 s 11.89/11.99 c =============================================================================== 11.89/11.99 c | 1682 | 3887 25557 180760 | 8519 1682 387 | 28.979 % | 11.99/12.06 c =============================================================================== 11.99/12.06 c New solution: 81195 11.99/12.06 o 81195 11.99/12.06 c Elapsed CPU time: 11.9292 s Remaining CPU time: 168.071 s 11.99/12.06 c =============================================================================== 11.99/12.06 c | 1697 | 3887 25558 182698 | 8519 1697 388 | 28.979 % | 12.10/12.17 c =============================================================================== 12.10/12.17 c New solution: 81194 12.10/12.17 o 81194 12.10/12.17 c Elapsed CPU time: 12.0372 s Remaining CPU time: 167.963 s 12.10/12.17 c =============================================================================== 12.10/12.17 c | 1706 | 3887 25559 184636 | 8519 1706 387 | 28.979 % | 12.19/12.24 c =============================================================================== 12.19/12.24 c New solution: 81193 12.19/12.24 o 81193 12.19/12.24 c Elapsed CPU time: 12.1052 s Remaining CPU time: 167.895 s 12.19/12.24 c =============================================================================== 12.19/12.24 c | 1714 | 3887 25560 186574 | 8520 1714 387 | 28.979 % | 12.29/12.35 c =============================================================================== 12.29/12.35 c New solution: 81192 12.29/12.35 o 81192 12.29/12.35 c Elapsed CPU time: 12.2181 s Remaining CPU time: 167.782 s 12.29/12.35 c =============================================================================== 12.29/12.35 c | 1763 | 3887 25561 188512 | 8520 1763 389 | 28.979 % | 12.39/12.48 c =============================================================================== 12.39/12.48 c New solution: 79766 12.39/12.48 o 79766 12.39/12.48 c Elapsed CPU time: 12.3371 s Remaining CPU time: 167.663 s 12.39/12.48 c =============================================================================== 12.39/12.48 c | 1774 | 3887 25562 190450 | 8520 1774 390 | 28.979 % | 12.48/12.59 c =============================================================================== 12.48/12.59 c New solution: 79750 12.48/12.59 o 79750 12.48/12.59 c Elapsed CPU time: 12.4541 s Remaining CPU time: 167.546 s 12.48/12.59 c =============================================================================== 12.48/12.59 c | 1799 | 3887 25563 192388 | 8521 1799 391 | 28.979 % | 12.59/12.63 c =============================================================================== 12.59/12.63 c New solution: 78273 12.59/12.63 o 78273 12.59/12.63 c Elapsed CPU time: 12.4891 s Remaining CPU time: 167.511 s 12.59/12.63 c =============================================================================== 12.59/12.63 c | 1801 | 3887 25564 194326 | 8521 1801 391 | 28.979 % | 12.59/12.68 c =============================================================================== 12.59/12.68 c New solution: 78267 12.59/12.68 o 78267 12.59/12.68 c Elapsed CPU time: 12.5311 s Remaining CPU time: 167.469 s 12.59/12.68 c =============================================================================== 12.59/12.68 c | 1801 | 3887 25565 196264 | 8521 1801 391 | 28.979 % | 12.69/12.72 c =============================================================================== 12.69/12.72 c New solution: 78266 12.69/12.72 o 78266 12.69/12.72 c Elapsed CPU time: 12.5771 s Remaining CPU time: 167.423 s 12.69/12.72 c =============================================================================== 12.69/12.72 c | 1802 | 3887 25566 198202 | 8522 1802 390 | 28.979 % | 12.69/12.77 c =============================================================================== 12.69/12.77 c New solution: 78265 12.69/12.77 o 78265 12.69/12.77 c Elapsed CPU time: 12.6191 s Remaining CPU time: 167.381 s 12.69/12.77 c =============================================================================== 12.69/12.77 c | 1802 | 3887 25567 200140 | 8522 1802 390 | 28.979 % | 12.79/12.82 c =============================================================================== 12.79/12.82 c New solution: 78264 12.79/12.82 o 78264 12.79/12.82 c Elapsed CPU time: 12.6691 s Remaining CPU time: 167.331 s 12.79/12.82 c =============================================================================== 12.79/12.82 c | 1806 | 3887 25568 202078 | 8522 1806 389 | 28.979 % | 12.79/12.86 c =============================================================================== 12.79/12.86 c New solution: 78263 12.79/12.86 o 78263 12.79/12.86 c Elapsed CPU time: 12.7031 s Remaining CPU time: 167.297 s 12.79/12.86 c =============================================================================== 12.79/12.86 c | 1807 | 3887 25569 204016 | 8523 1807 389 | 28.979 % | 12.79/12.90 c =============================================================================== 12.79/12.90 c New solution: 78262 12.79/12.90 o 78262 12.79/12.90 c Elapsed CPU time: 12.7371 s Remaining CPU time: 167.263 s 12.79/12.90 c =============================================================================== 12.79/12.90 c | 1807 | 3887 25570 205954 | 8523 1807 389 | 28.979 % | 12.88/12.95 c =============================================================================== 12.88/12.95 c New solution: 78261 12.88/12.95 o 78261 12.88/12.95 c Elapsed CPU time: 12.7931 s Remaining CPU time: 167.207 s 12.88/12.95 c =============================================================================== 12.88/12.95 c | 1808 | 3887 25571 207892 | 8523 1808 389 | 28.979 % | 12.88/12.99 c =============================================================================== 12.88/12.99 c New solution: 78260 12.88/12.99 o 78260 12.88/12.99 c Elapsed CPU time: 12.831 s Remaining CPU time: 167.169 s 12.88/12.99 c =============================================================================== 12.88/12.99 c | 1812 | 3887 25572 209830 | 8524 1812 389 | 28.979 % | 12.99/13.05 c =============================================================================== 12.99/13.05 c New solution: 78259 12.99/13.05 o 78259 12.99/13.05 c Elapsed CPU time: 12.887 s Remaining CPU time: 167.113 s 12.99/13.05 c =============================================================================== 12.99/13.05 c | 1812 | 3887 25573 211768 | 8524 1812 389 | 28.979 % | 13.09/13.10 c =============================================================================== 13.09/13.10 c New solution: 78253 13.09/13.10 o 78253 13.09/13.10 c Elapsed CPU time: 12.936 s Remaining CPU time: 167.064 s 13.09/13.10 c =============================================================================== 13.09/13.10 c | 1812 | 3887 25574 213706 | 8524 1812 389 | 28.979 % | 13.09/13.15 c =============================================================================== 13.09/13.15 c New solution: 78252 13.09/13.15 o 78252 13.09/13.15 c Elapsed CPU time: 12.986 s Remaining CPU time: 167.014 s 13.09/13.15 c =============================================================================== 13.09/13.15 c | 1812 | 3887 25575 215644 | 8525 1812 389 | 28.979 % | 13.09/13.19 c =============================================================================== 13.09/13.19 c New solution: 78251 13.09/13.19 o 78251 13.09/13.19 c Elapsed CPU time: 13.025 s Remaining CPU time: 166.975 s 13.09/13.19 c =============================================================================== 13.09/13.19 c | 1813 | 3887 25576 217582 | 8525 1813 389 | 28.979 % | 13.19/13.24 c =============================================================================== 13.19/13.24 c New solution: 76811 13.19/13.24 o 76811 13.19/13.24 c Elapsed CPU time: 13.069 s Remaining CPU time: 166.931 s 13.19/13.24 c =============================================================================== 13.19/13.24 c | 1820 | 3887 25577 219520 | 8525 1820 387 | 28.979 % | 13.19/13.27 c =============================================================================== 13.19/13.27 c New solution: 76803 13.19/13.27 o 76803 13.19/13.27 c Elapsed CPU time: 13.105 s Remaining CPU time: 166.895 s 13.19/13.27 c =============================================================================== 13.19/13.27 c | 1823 | 3887 25578 221458 | 8526 1823 387 | 28.979 % | 13.30/13.34 c =============================================================================== 13.30/13.34 c New solution: 76774 13.30/13.34 o 76774 13.30/13.34 c Elapsed CPU time: 13.164 s Remaining CPU time: 166.836 s 13.30/13.34 c =============================================================================== 13.30/13.34 c | 1827 | 3887 25579 223396 | 8526 1827 387 | 28.979 % | 13.39/13.44 c =============================================================================== 13.39/13.44 c New solution: 76773 13.39/13.44 o 76773 13.39/13.44 c Elapsed CPU time: 13.268 s Remaining CPU time: 166.732 s 13.39/13.44 c =============================================================================== 13.39/13.44 c | 1831 | 3887 25580 225334 | 8526 1831 387 | 28.979 % | 13.49/13.52 c =============================================================================== 13.49/13.52 c New solution: 76723 13.49/13.52 o 76723 13.49/13.52 c Elapsed CPU time: 13.348 s Remaining CPU time: 166.652 s 13.49/13.52 c =============================================================================== 13.49/13.52 c | 1834 | 3887 25581 227272 | 8527 1834 387 | 28.979 % | 13.49/13.57 c =============================================================================== 13.49/13.57 c New solution: 76722 13.49/13.57 o 76722 13.49/13.57 c Elapsed CPU time: 13.394 s Remaining CPU time: 166.606 s 13.49/13.57 c =============================================================================== 13.49/13.57 c | 1838 | 3887 25582 229210 | 8527 1838 387 | 28.979 % | 13.99/14.03 c | 1938 | 3887 25582 229210 | 9380 1938 395 | 28.979 % | 13.99/14.09 c =============================================================================== 13.99/14.09 c New solution: 76721 13.99/14.09 o 76721 13.99/14.09 c Elapsed CPU time: 13.9159 s Remaining CPU time: 166.084 s 13.99/14.09 c =============================================================================== 13.99/14.09 c | 1940 | 3887 25583 231148 | 8527 1940 395 | 28.979 % | 14.09/14.16 c =============================================================================== 14.09/14.16 c New solution: 76720 14.09/14.16 o 76720 14.09/14.16 c Elapsed CPU time: 13.9879 s Remaining CPU time: 166.012 s 14.09/14.16 c =============================================================================== 14.09/14.16 c | 1942 | 3887 25584 233086 | 8528 1942 395 | 28.979 % | 14.39/14.44 c =============================================================================== 14.39/14.44 c New solution: 76719 14.39/14.44 o 76719 14.39/14.44 c Elapsed CPU time: 14.2678 s Remaining CPU time: 165.732 s 14.39/14.44 c =============================================================================== 14.39/14.44 c | 2036 | 3887 25585 235024 | 8528 2036 402 | 28.979 % | 14.79/14.83 c =============================================================================== 14.79/14.83 c New solution: 76718 14.79/14.83 o 76718 14.79/14.83 c Elapsed CPU time: 14.6528 s Remaining CPU time: 165.347 s 14.79/14.83 c =============================================================================== 14.79/14.83 c | 2078 | 3887 25586 236962 | 8528 2078 403 | 28.979 % | 14.99/15.06 c =============================================================================== 14.99/15.06 c New solution: 76717 14.99/15.06 o 76717 14.99/15.06 c Elapsed CPU time: 14.8847 s Remaining CPU time: 165.115 s 14.99/15.06 c =============================================================================== 14.99/15.06 c | 2148 | 3887 25587 238900 | 8529 2148 405 | 28.979 % | 15.09/15.13 c =============================================================================== 15.09/15.13 c New solution: 76716 15.09/15.13 o 76716 15.09/15.13 c Elapsed CPU time: 14.9567 s Remaining CPU time: 165.043 s 15.09/15.13 c =============================================================================== 15.09/15.13 c | 2150 | 3887 25588 240838 | 8529 2150 405 | 28.979 % | 15.18/15.20 c =============================================================================== 15.18/15.20 c New solution: 76715 15.18/15.20 o 76715 15.18/15.20 c Elapsed CPU time: 15.0257 s Remaining CPU time: 164.974 s 15.18/15.20 c =============================================================================== 15.18/15.20 c | 2151 | 3887 25589 242776 | 8529 2151 405 | 28.979 % | 15.18/15.27 c =============================================================================== 15.18/15.27 c New solution: 76714 15.18/15.27 o 76714 15.18/15.27 c Elapsed CPU time: 15.0937 s Remaining CPU time: 164.906 s 15.18/15.27 c =============================================================================== 15.18/15.27 c | 2152 | 3887 25590 244714 | 8530 2152 405 | 28.979 % | 15.39/15.44 c =============================================================================== 15.39/15.44 c New solution: 75265 15.39/15.44 o 75265 15.39/15.44 c Elapsed CPU time: 15.2587 s Remaining CPU time: 164.741 s 15.39/15.44 c =============================================================================== 15.39/15.44 c | 2163 | 3887 25591 246652 | 8530 2163 406 | 28.979 % | 15.49/15.55 c =============================================================================== 15.49/15.55 c New solution: 75224 15.49/15.55 o 75224 15.49/15.55 c Elapsed CPU time: 15.3737 s Remaining CPU time: 164.626 s 15.49/15.55 c =============================================================================== 15.49/15.55 c | 2185 | 3887 25592 248590 | 8530 2185 406 | 28.979 % | 15.69/15.72 c =============================================================================== 15.69/15.72 c New solution: 75223 15.69/15.72 o 75223 15.69/15.72 c Elapsed CPU time: 15.5396 s Remaining CPU time: 164.46 s 15.69/15.72 c =============================================================================== 15.69/15.72 c | 2244 | 3887 25593 250528 | 8531 2244 407 | 28.979 % | 15.89/15.94 c =============================================================================== 15.89/15.94 c New solution: 75222 15.89/15.94 o 75222 15.89/15.94 c Elapsed CPU time: 15.7616 s Remaining CPU time: 164.238 s 15.89/15.94 c =============================================================================== 15.89/15.94 c | 2280 | 3887 25594 252466 | 8531 2280 409 | 28.979 % | 15.99/16.00 c =============================================================================== 15.99/16.00 c New solution: 75221 15.99/16.00 o 75221 15.99/16.00 c Elapsed CPU time: 15.8166 s Remaining CPU time: 164.183 s 15.99/16.00 c =============================================================================== 15.99/16.00 c | 2280 | 3887 25595 254404 | 8531 2280 409 | 28.979 % | 15.99/16.05 c =============================================================================== 15.99/16.05 c New solution: 75220 15.99/16.05 o 75220 15.99/16.05 c Elapsed CPU time: 15.8716 s Remaining CPU time: 164.128 s 15.99/16.05 c =============================================================================== 15.99/16.05 c | 2280 | 3887 25596 256342 | 8532 2280 409 | 28.979 % | 16.09/16.10 c =============================================================================== 16.09/16.10 c New solution: 75219 16.09/16.10 o 75219 16.09/16.10 c Elapsed CPU time: 15.9146 s Remaining CPU time: 164.085 s 16.09/16.10 c =============================================================================== 16.09/16.10 c | 2294 | 3887 25597 258280 | 8532 2294 410 | 28.979 % | 16.19/16.27 c =============================================================================== 16.19/16.27 c New solution: 75218 16.19/16.27 o 75218 16.19/16.27 c Elapsed CPU time: 16.0866 s Remaining CPU time: 163.913 s 16.19/16.27 c =============================================================================== 16.19/16.27 c | 2333 | 3887 25598 260218 | 8532 2333 411 | 28.979 % | 16.39/16.48 c =============================================================================== 16.39/16.48 c New solution: 75217 16.39/16.48 o 75217 16.39/16.48 c Elapsed CPU time: 16.2925 s Remaining CPU time: 163.707 s 16.39/16.48 c =============================================================================== 16.39/16.48 c | 2381 | 3887 25599 262156 | 8533 2381 413 | 28.979 % | 16.59/16.65 c =============================================================================== 16.59/16.65 c New solution: 73776 16.59/16.65 o 73776 16.59/16.65 c Elapsed CPU time: 16.4695 s Remaining CPU time: 163.531 s 16.59/16.65 c =============================================================================== 16.59/16.65 c | 2398 | 3887 25600 264094 | 8533 2398 414 | 28.979 % | 16.69/16.76 c =============================================================================== 16.69/16.76 c New solution: 73738 16.69/16.76 o 73738 16.69/16.76 c Elapsed CPU time: 16.5785 s Remaining CPU time: 163.422 s 16.69/16.76 c =============================================================================== 16.69/16.76 c | 2410 | 3887 25601 266032 | 8533 2410 414 | 28.979 % | 16.99/17.00 c =============================================================================== 16.99/17.00 c New solution: 73737 16.99/17.00 o 73737 16.99/17.00 c Elapsed CPU time: 16.8144 s Remaining CPU time: 163.186 s 16.99/17.00 c =============================================================================== 16.99/17.00 c | 2482 | 3887 25602 267970 | 8534 2482 415 | 28.979 % | 17.09/17.14 c =============================================================================== 17.09/17.14 c New solution: 73736 17.09/17.14 o 73736 17.09/17.14 c Elapsed CPU time: 16.9484 s Remaining CPU time: 163.052 s 17.09/17.14 c =============================================================================== 17.09/17.14 c | 2488 | 3887 25603 269908 | 8534 2488 415 | 28.979 % | 17.18/17.23 c =============================================================================== 17.18/17.23 c New solution: 73735 17.18/17.23 o 73735 17.18/17.23 c Elapsed CPU time: 17.0424 s Remaining CPU time: 162.958 s 17.18/17.23 c =============================================================================== 17.18/17.23 c | 2490 | 3887 25604 271846 | 8534 2490 415 | 28.979 % | 17.28/17.34 c =============================================================================== 17.28/17.34 c New solution: 72306 17.28/17.34 o 72306 17.28/17.34 c Elapsed CPU time: 17.1564 s Remaining CPU time: 162.844 s 17.28/17.34 c =============================================================================== 17.28/17.34 c | 2495 | 3887 25605 273784 | 8535 2495 415 | 28.979 % | 17.59/17.61 c =============================================================================== 17.59/17.61 c New solution: 72261 17.59/17.61 o 72261 17.59/17.61 c Elapsed CPU time: 17.4244 s Remaining CPU time: 162.576 s 17.59/17.61 c =============================================================================== 17.59/17.61 c | 2547 | 3887 25606 275722 | 8535 2547 416 | 28.979 % | 17.59/17.67 c =============================================================================== 17.59/17.67 c New solution: 72260 17.59/17.67 o 72260 17.59/17.67 c Elapsed CPU time: 17.4763 s Remaining CPU time: 162.524 s 17.59/17.67 c =============================================================================== 17.59/17.67 c | 2549 | 3887 25607 277660 | 8535 2549 416 | 28.979 % | 17.69/17.74 c =============================================================================== 17.69/17.74 c New solution: 70814 17.69/17.74 o 70814 17.69/17.74 c Elapsed CPU time: 17.5483 s Remaining CPU time: 162.452 s 17.69/17.74 c =============================================================================== 17.69/17.74 c | 2551 | 3887 25608 279598 | 8536 2551 416 | 28.979 % | 17.79/17.82 c =============================================================================== 17.79/17.82 c New solution: 70802 17.79/17.82 o 70802 17.79/17.82 c Elapsed CPU time: 17.6263 s Remaining CPU time: 162.374 s 17.79/17.82 c =============================================================================== 17.79/17.82 c | 2552 | 3887 25609 281536 | 8536 2552 416 | 28.979 % | 17.79/17.88 c =============================================================================== 17.79/17.88 c New solution: 70801 17.79/17.88 o 70801 17.79/17.88 c Elapsed CPU time: 17.6873 s Remaining CPU time: 162.313 s 17.79/17.88 c =============================================================================== 17.79/17.88 c | 2553 | 3887 25610 283474 | 8536 2553 416 | 28.979 % | 17.89/17.95 c =============================================================================== 17.89/17.95 c New solution: 70800 17.89/17.95 o 70800 17.89/17.95 c Elapsed CPU time: 17.7553 s Remaining CPU time: 162.245 s 17.89/17.95 c =============================================================================== 17.89/17.95 c | 2553 | 3887 25611 285412 | 8537 2553 416 | 28.979 % | 17.99/18.00 c =============================================================================== 17.99/18.00 c New solution: 69339 17.99/18.00 o 69339 17.99/18.00 c Elapsed CPU time: 17.8073 s Remaining CPU time: 162.193 s 17.99/18.00 c =============================================================================== 17.99/18.00 c | 2554 | 3887 25612 287350 | 8537 2554 416 | 28.979 % | 18.09/18.14 c =============================================================================== 18.09/18.14 c New solution: 69315 18.09/18.14 o 69315 18.09/18.14 c Elapsed CPU time: 17.9503 s Remaining CPU time: 162.05 s 18.09/18.14 c =============================================================================== 18.09/18.14 c | 2556 | 3887 25613 289288 | 8537 2556 416 | 28.979 % | 18.19/18.26 c =============================================================================== 18.19/18.26 c New solution: 69297 18.19/18.26 o 69297 18.19/18.26 c Elapsed CPU time: 18.0623 s Remaining CPU time: 161.938 s 18.19/18.26 c =============================================================================== 18.19/18.26 c | 2557 | 3887 25614 291226 | 8538 2557 415 | 28.979 % | 18.29/18.34 c =============================================================================== 18.29/18.34 c New solution: 69293 18.29/18.34 o 69293 18.29/18.34 c Elapsed CPU time: 18.1442 s Remaining CPU time: 161.856 s 18.29/18.34 c =============================================================================== 18.29/18.34 c | 2557 | 3887 25615 293164 | 8538 2557 415 | 28.979 % | 18.38/18.40 c =============================================================================== 18.38/18.40 c New solution: 69276 18.38/18.40 o 69276 18.38/18.40 c Elapsed CPU time: 18.2032 s Remaining CPU time: 161.797 s 18.38/18.40 c =============================================================================== 18.38/18.40 c | 2558 | 3887 25616 295102 | 8538 2558 415 | 28.979 % | 18.38/18.46 c =============================================================================== 18.38/18.46 c New solution: 69275 18.38/18.46 o 69275 18.38/18.46 c Elapsed CPU time: 18.2602 s Remaining CPU time: 161.74 s 18.38/18.46 c =============================================================================== 18.38/18.46 c | 2558 | 3887 25617 297040 | 8539 2558 415 | 28.979 % | 18.48/18.52 c =============================================================================== 18.48/18.52 c New solution: 69274 18.48/18.52 o 69274 18.48/18.52 c Elapsed CPU time: 18.3172 s Remaining CPU time: 161.683 s 18.48/18.52 c =============================================================================== 18.48/18.52 c | 2558 | 3887 25618 298978 | 8539 2558 415 | 28.979 % | 18.58/18.60 c =============================================================================== 18.58/18.60 c New solution: 69273 18.58/18.60 o 69273 18.58/18.60 c Elapsed CPU time: 18.3982 s Remaining CPU time: 161.602 s 18.58/18.60 c =============================================================================== 18.58/18.60 c | 2558 | 3887 25619 300916 | 8539 2558 415 | 28.979 % | 18.58/18.64 c =============================================================================== 18.58/18.64 c New solution: 69272 18.58/18.64 o 69272 18.58/18.64 c Elapsed CPU time: 18.4392 s Remaining CPU time: 161.561 s 18.58/18.64 c =============================================================================== 18.58/18.64 c | 2559 | 3887 25620 302854 | 8540 2559 415 | 28.979 % | 18.58/18.69 c =============================================================================== 18.58/18.69 c New solution: 69271 18.58/18.69 o 69271 18.58/18.69 c Elapsed CPU time: 18.4932 s Remaining CPU time: 161.507 s 18.58/18.69 c =============================================================================== 18.58/18.69 c | 2559 | 3887 25621 304792 | 8540 2559 415 | 28.979 % | 18.70/18.75 c =============================================================================== 18.70/18.75 c New solution: 69270 18.70/18.75 o 69270 18.70/18.75 c Elapsed CPU time: 18.5462 s Remaining CPU time: 161.454 s 18.70/18.75 c =============================================================================== 18.70/18.75 c | 2559 | 3887 25622 306730 | 8540 2559 415 | 28.979 % | 18.80/18.81 c =============================================================================== 18.80/18.81 c New solution: 69269 18.80/18.81 o 69269 18.80/18.81 c Elapsed CPU time: 18.6072 s Remaining CPU time: 161.393 s 18.80/18.81 c =============================================================================== 18.80/18.81 c | 2559 | 3887 25623 308668 | 8541 2559 415 | 28.979 % | 18.80/18.87 c =============================================================================== 18.80/18.87 c New solution: 69268 18.80/18.87 o 69268 18.80/18.87 c Elapsed CPU time: 18.6622 s Remaining CPU time: 161.338 s 18.80/18.87 c =============================================================================== 18.80/18.87 c | 2560 | 3887 25624 310606 | 8541 2560 415 | 28.979 % | 18.88/18.95 c =============================================================================== 18.88/18.95 c New solution: 69267 18.88/18.95 o 69267 18.88/18.95 c Elapsed CPU time: 18.7442 s Remaining CPU time: 161.256 s 18.88/18.95 c =============================================================================== 18.88/18.95 c | 2563 | 3887 25625 312544 | 8541 2563 415 | 28.979 % | 18.98/19.04 c =============================================================================== 18.98/19.04 c New solution: 67811 18.98/19.04 o 67811 18.98/19.04 c Elapsed CPU time: 18.8311 s Remaining CPU time: 161.169 s 18.98/19.04 c =============================================================================== 18.98/19.04 c | 2563 | 3887 25626 314482 | 8542 2563 415 | 28.979 % | 19.08/19.13 c =============================================================================== 19.08/19.13 c New solution: 67810 19.08/19.13 o 67810 19.08/19.13 c Elapsed CPU time: 18.9251 s Remaining CPU time: 161.075 s 19.08/19.13 c =============================================================================== 19.08/19.13 c | 2563 | 3887 25627 316420 | 8542 2563 415 | 28.979 % | 19.19/19.22 c =============================================================================== 19.19/19.22 c New solution: 67802 19.19/19.22 o 67802 19.19/19.22 c Elapsed CPU time: 19.0041 s Remaining CPU time: 160.996 s 19.19/19.22 c =============================================================================== 19.19/19.22 c | 2563 | 3887 25628 318358 | 8542 2563 415 | 28.979 % | 19.19/19.29 c =============================================================================== 19.19/19.29 c New solution: 67801 19.19/19.29 o 67801 19.19/19.29 c Elapsed CPU time: 19.0771 s Remaining CPU time: 160.923 s 19.19/19.29 c =============================================================================== 19.19/19.29 c | 2563 | 3887 25629 320296 | 8543 2563 415 | 28.979 % | 19.29/19.36 c =============================================================================== 19.29/19.36 c New solution: 67800 19.29/19.36 o 67800 19.29/19.36 c Elapsed CPU time: 19.1491 s Remaining CPU time: 160.851 s 19.29/19.36 c =============================================================================== 19.29/19.36 c | 2564 | 3887 25630 322234 | 8543 2564 415 | 28.979 % | 19.39/19.44 c =============================================================================== 19.39/19.44 c New solution: 67799 19.39/19.44 o 67799 19.39/19.44 c Elapsed CPU time: 19.2281 s Remaining CPU time: 160.772 s 19.39/19.44 c =============================================================================== 19.39/19.44 c | 2568 | 3887 25631 324172 | 8543 2568 415 | 28.979 % | 19.48/19.57 c =============================================================================== 19.48/19.57 c New solution: 67764 19.48/19.57 o 67764 19.48/19.57 c Elapsed CPU time: 19.3491 s Remaining CPU time: 160.651 s 19.48/19.57 c =============================================================================== 19.48/19.57 c | 2576 | 3887 25632 326110 | 8544 2576 415 | 28.979 % | 20.18/20.22 c | 2676 | 3887 25632 326110 | 9398 2676 420 | 28.979 % | 20.28/20.37 c =============================================================================== 20.28/20.37 c New solution: 67763 20.28/20.37 o 67763 20.28/20.37 c Elapsed CPU time: 20.1549 s Remaining CPU time: 159.845 s 20.28/20.37 c =============================================================================== 20.28/20.37 c | 2684 | 3887 25633 328048 | 8544 2684 419 | 28.979 % | 20.48/20.52 c =============================================================================== 20.48/20.52 c New solution: 67762 20.48/20.52 o 67762 20.48/20.52 c Elapsed CPU time: 20.3009 s Remaining CPU time: 159.699 s 20.48/20.52 c =============================================================================== 20.48/20.52 c | 2687 | 3887 25634 329986 | 8544 2687 419 | 28.979 % | 20.89/20.93 c =============================================================================== 20.89/20.93 c New solution: 67761 20.89/20.93 o 67761 20.89/20.93 c Elapsed CPU time: 20.7039 s Remaining CPU time: 159.296 s 20.89/20.93 c =============================================================================== 20.89/20.93 c | 2747 | 3887 25635 331924 | 8545 2747 422 | 28.979 % | 21.19/21.21 c =============================================================================== 21.19/21.21 c New solution: 67760 21.19/21.21 o 67760 21.19/21.21 c Elapsed CPU time: 20.9828 s Remaining CPU time: 159.017 s 21.19/21.21 c =============================================================================== 21.19/21.21 c | 2787 | 3887 25636 333862 | 8545 2787 423 | 28.979 % | 21.29/21.36 c =============================================================================== 21.29/21.36 c New solution: 67759 21.29/21.36 o 67759 21.29/21.36 c Elapsed CPU time: 21.1418 s Remaining CPU time: 158.858 s 21.29/21.36 c =============================================================================== 21.29/21.36 c | 2834 | 3887 25637 335800 | 8545 2834 424 | 28.979 % | 21.99/22.02 c | 2936 | 3887 25637 335800 | 9400 2936 427 | 28.979 % | 22.38/22.43 c =============================================================================== 22.38/22.43 c New solution: 67758 22.38/22.43 o 67758 22.38/22.43 c Elapsed CPU time: 22.2016 s Remaining CPU time: 157.798 s 22.38/22.43 c =============================================================================== 22.38/22.43 c | 3024 | 3887 25638 337738 | 8546 3024 430 | 28.979 % | 22.58/22.66 c =============================================================================== 22.58/22.66 c New solution: 67757 22.58/22.66 o 67757 22.58/22.66 c Elapsed CPU time: 22.4276 s Remaining CPU time: 157.572 s 22.58/22.66 c =============================================================================== 22.58/22.66 c | 3050 | 3887 25639 339676 | 8546 3050 430 | 28.979 % | 22.78/22.81 c =============================================================================== 22.78/22.81 c New solution: 67756 22.78/22.81 o 67756 22.78/22.81 c Elapsed CPU time: 22.5816 s Remaining CPU time: 157.418 s 22.78/22.81 c =============================================================================== 22.78/22.81 c | 3056 | 3887 25640 341614 | 8546 3056 430 | 28.979 % | 22.88/22.93 c =============================================================================== 22.88/22.93 c New solution: 66300 22.88/22.93 o 66300 22.88/22.93 c Elapsed CPU time: 22.6975 s Remaining CPU time: 157.302 s 22.88/22.93 c =============================================================================== 22.88/22.93 c | 3059 | 3887 25641 343552 | 8547 3059 430 | 28.979 % | 23.09/23.11 c =============================================================================== 23.09/23.11 c New solution: 66299 23.09/23.11 o 66299 23.09/23.11 c Elapsed CPU time: 22.8745 s Remaining CPU time: 157.125 s 23.09/23.11 c =============================================================================== 23.09/23.11 c | 3065 | 3887 25642 345490 | 8547 3065 430 | 28.979 % | 23.19/23.29 c =============================================================================== 23.19/23.29 c New solution: 66296 23.19/23.29 o 66296 23.19/23.29 c Elapsed CPU time: 23.0605 s Remaining CPU time: 156.94 s 23.19/23.29 c =============================================================================== 23.19/23.29 c | 3069 | 3887 25643 347428 | 8547 3069 430 | 28.979 % | 23.38/23.44 c | 3169 | 3887 25643 347428 | 9402 3169 429 | 28.979 % | 23.69/23.70 c =============================================================================== 23.69/23.70 c New solution: 66295 23.69/23.70 o 66295 23.69/23.70 c Elapsed CPU time: 23.4694 s Remaining CPU time: 156.531 s 23.69/23.70 c =============================================================================== 23.69/23.70 c | 3172 | 3887 25644 349366 | 8548 3172 429 | 28.979 % | 23.79/23.81 c =============================================================================== 23.79/23.81 c New solution: 66294 23.79/23.81 o 66294 23.79/23.81 c Elapsed CPU time: 23.5714 s Remaining CPU time: 156.429 s 23.79/23.81 c =============================================================================== 23.79/23.81 c | 3173 | 3887 25645 351304 | 8548 3173 429 | 28.979 % | 23.89/23.91 c =============================================================================== 23.89/23.91 c New solution: 66289 23.89/23.91 o 66289 23.89/23.91 c Elapsed CPU time: 23.6784 s Remaining CPU time: 156.322 s 23.89/23.91 c =============================================================================== 23.89/23.91 c | 3173 | 3887 25646 353242 | 8548 3173 429 | 28.979 % | 23.99/24.02 c =============================================================================== 23.99/24.02 c New solution: 66288 23.99/24.02 o 66288 23.99/24.02 c Elapsed CPU time: 23.7804 s Remaining CPU time: 156.22 s 23.99/24.02 c =============================================================================== 23.99/24.02 c | 3173 | 3887 25647 355180 | 8549 3173 429 | 28.979 % | 24.09/24.12 c =============================================================================== 24.09/24.12 c New solution: 66287 24.09/24.12 o 66287 24.09/24.12 c Elapsed CPU time: 23.8844 s Remaining CPU time: 156.116 s 24.09/24.12 c =============================================================================== 24.09/24.12 c | 3174 | 3887 25648 357118 | 8549 3174 429 | 28.979 % | 24.19/24.21 c =============================================================================== 24.19/24.21 c New solution: 66286 24.19/24.21 o 66286 24.19/24.21 c Elapsed CPU time: 23.9724 s Remaining CPU time: 156.028 s 24.19/24.21 c =============================================================================== 24.19/24.21 c | 3177 | 3887 25649 359056 | 8549 3177 430 | 28.979 % | 24.29/24.38 c =============================================================================== 24.29/24.38 c New solution: 66280 24.29/24.38 o 66280 24.29/24.38 c Elapsed CPU time: 24.1413 s Remaining CPU time: 155.859 s 24.29/24.38 c =============================================================================== 24.29/24.38 c | 3177 | 3887 25650 360994 | 8550 3177 430 | 28.979 % | 24.48/24.55 c =============================================================================== 24.48/24.55 c New solution: 66279 24.48/24.55 o 66279 24.48/24.55 c Elapsed CPU time: 24.3103 s Remaining CPU time: 155.69 s 24.48/24.55 c =============================================================================== 24.48/24.55 c | 3179 | 3887 25651 362932 | 8550 3179 430 | 28.979 % | 24.58/24.63 c =============================================================================== 24.58/24.63 c New solution: 66278 24.58/24.63 o 66278 24.58/24.63 c Elapsed CPU time: 24.3903 s Remaining CPU time: 155.61 s 24.58/24.63 c =============================================================================== 24.58/24.63 c | 3186 | 3887 25652 364870 | 8550 3186 429 | 28.979 % | 24.68/24.79 c =============================================================================== 24.68/24.79 c New solution: 66277 24.68/24.79 o 66277 24.68/24.79 c Elapsed CPU time: 24.5483 s Remaining CPU time: 155.452 s 24.68/24.79 c =============================================================================== 24.68/24.79 c | 3188 | 3887 25653 366808 | 8551 3188 429 | 28.979 % | 25.08/25.12 c =============================================================================== 25.08/25.12 c New solution: 66276 25.08/25.12 o 66276 25.08/25.12 c Elapsed CPU time: 24.8792 s Remaining CPU time: 155.121 s 25.08/25.12 c =============================================================================== 25.08/25.12 c | 3215 | 3887 25654 368746 | 8551 3215 430 | 28.979 % | 25.18/25.22 c =============================================================================== 25.18/25.22 c New solution: 66275 25.18/25.22 o 66275 25.18/25.22 c Elapsed CPU time: 24.9832 s Remaining CPU time: 155.017 s 25.18/25.22 c =============================================================================== 25.18/25.22 c | 3215 | 3887 25655 370684 | 8551 3215 430 | 28.979 % | 25.29/25.33 c =============================================================================== 25.29/25.33 c New solution: 66274 25.29/25.33 o 66274 25.29/25.33 c Elapsed CPU time: 25.0852 s Remaining CPU time: 154.915 s 25.29/25.33 c =============================================================================== 25.29/25.33 c | 3218 | 3887 25656 372622 | 8552 3218 430 | 28.979 % | 25.48/25.52 c | 3318 | 3887 25656 372622 | 9407 3318 432 | 28.979 % | 25.88/25.98 c =============================================================================== 25.88/25.98 c New solution: 66273 25.88/25.98 o 66273 25.88/25.98 c Elapsed CPU time: 25.7371 s Remaining CPU time: 154.263 s 25.88/25.98 c =============================================================================== 25.88/25.98 c | 3397 | 3887 25657 374560 | 8552 3397 432 | 28.979 % | 26.39/26.44 c =============================================================================== 26.39/26.44 c New solution: 64815 26.39/26.44 o 64815 26.39/26.44 c Elapsed CPU time: 26.199 s Remaining CPU time: 153.801 s 26.39/26.44 c =============================================================================== 26.39/26.44 c | 3459 | 3887 25658 376498 | 8552 3459 433 | 28.979 % | 26.59/26.62 c =============================================================================== 26.59/26.62 c New solution: 64781 26.59/26.62 o 64781 26.59/26.62 c Elapsed CPU time: 26.373 s Remaining CPU time: 153.627 s 26.59/26.62 c =============================================================================== 26.59/26.62 c | 3461 | 3887 25659 378436 | 8553 3461 433 | 28.979 % | 26.59/26.69 c =============================================================================== 26.59/26.69 c New solution: 63326 26.59/26.69 o 63326 26.59/26.69 c Elapsed CPU time: 26.445 s Remaining CPU time: 153.555 s 26.59/26.69 c =============================================================================== 26.59/26.69 c | 3462 | 3887 25660 380374 | 8553 3462 433 | 28.979 % | 26.69/26.76 c =============================================================================== 26.69/26.76 c New solution: 61841 26.69/26.76 o 61841 26.69/26.76 c Elapsed CPU time: 26.513 s Remaining CPU time: 153.487 s 26.69/26.76 c =============================================================================== 26.69/26.76 c | 3466 | 3887 25661 382312 | 8553 3466 433 | 28.979 % | 26.89/26.96 c =============================================================================== 26.89/26.96 c New solution: 61811 26.89/26.96 o 61811 26.89/26.96 c Elapsed CPU time: 26.7119 s Remaining CPU time: 153.288 s 26.89/26.96 c =============================================================================== 26.89/26.96 c | 3473 | 3887 25662 384250 | 8554 3473 433 | 28.979 % | 27.28/27.37 c =============================================================================== 27.28/27.37 c New solution: 60337 27.28/27.37 o 60337 27.28/27.37 c Elapsed CPU time: 27.1209 s Remaining CPU time: 152.879 s 27.28/27.37 c =============================================================================== 27.28/27.37 c | 3511 | 3887 25663 386188 | 8554 3511 434 | 28.979 % | 27.49/27.57 c =============================================================================== 27.49/27.57 c New solution: 60284 27.49/27.57 o 60284 27.49/27.57 c Elapsed CPU time: 27.3218 s Remaining CPU time: 152.678 s 27.49/27.57 c =============================================================================== 27.49/27.57 c | 3518 | 3887 25664 388126 | 8554 3518 434 | 28.979 % | 27.68/27.79 c =============================================================================== 27.68/27.79 c New solution: 60281 27.68/27.79 o 60281 27.68/27.79 c Elapsed CPU time: 27.5408 s Remaining CPU time: 152.459 s 27.68/27.79 c =============================================================================== 27.68/27.79 c | 3542 | 3887 25665 390064 | 8555 3542 434 | 28.979 % | 28.48/28.52 c | 3642 | 3887 25665 390064 | 9410 3642 437 | 28.979 % | 28.59/28.64 c =============================================================================== 28.59/28.64 c New solution: 60280 28.59/28.64 o 60280 28.59/28.64 c Elapsed CPU time: 28.3927 s Remaining CPU time: 151.607 s 28.59/28.64 c =============================================================================== 28.59/28.64 c | 3646 | 3887 25666 392002 | 8555 3646 437 | 28.979 % | 28.69/28.74 c | 3747 | 3887 25666 392002 | 9410 3747 438 | 28.979 % | 28.78/28.85 c =============================================================================== 28.78/28.85 c New solution: 60279 28.78/28.85 o 60279 28.78/28.85 c Elapsed CPU time: 28.5977 s Remaining CPU time: 151.402 s 28.78/28.85 c =============================================================================== 28.78/28.85 c | 3754 | 3887 25667 393940 | 8555 3754 438 | 28.979 % | 28.98/29.08 c =============================================================================== 28.98/29.08 c New solution: 60278 28.98/29.08 o 60278 28.98/29.08 c Elapsed CPU time: 28.8306 s Remaining CPU time: 151.169 s 28.98/29.08 c =============================================================================== 28.98/29.08 c | 3791 | 3887 25668 395878 | 8556 3791 438 | 28.979 % | 29.28/29.37 c =============================================================================== 29.28/29.37 c New solution: 60277 29.28/29.37 o 60277 29.28/29.37 c Elapsed CPU time: 29.1116 s Remaining CPU time: 150.888 s 29.28/29.37 c =============================================================================== 29.28/29.37 c | 3832 | 3887 25669 397816 | 8556 3832 439 | 28.979 % | 29.49/29.52 c =============================================================================== 29.49/29.52 c New solution: 60276 29.49/29.52 o 60276 29.49/29.52 c Elapsed CPU time: 29.2675 s Remaining CPU time: 150.732 s 29.49/29.52 c =============================================================================== 29.49/29.52 c | 3844 | 3887 25670 399754 | 8556 3844 439 | 28.979 % | 29.58/29.65 c =============================================================================== 29.58/29.65 c New solution: 60275 29.58/29.65 o 60275 29.58/29.65 c Elapsed CPU time: 29.3865 s Remaining CPU time: 150.613 s 29.58/29.65 c =============================================================================== 29.58/29.65 c | 3850 | 3887 25671 401692 | 8557 3850 439 | 28.979 % | 29.79/29.80 c =============================================================================== 29.79/29.80 c New solution: 60274 29.79/29.80 o 60274 29.79/29.80 c Elapsed CPU time: 29.5435 s Remaining CPU time: 150.456 s 29.79/29.80 c =============================================================================== 29.79/29.80 c | 3862 | 3887 25672 403630 | 8557 3862 439 | 28.979 % | 29.88/29.97 c =============================================================================== 29.88/29.97 c New solution: 60273 29.88/29.97 o 60273 29.88/29.97 c Elapsed CPU time: 29.7105 s Remaining CPU time: 150.29 s 29.88/29.97 c =============================================================================== 29.88/29.97 c | 3864 | 3887 25673 405568 | 8557 3864 439 | 28.979 % | 29.98/30.09 c =============================================================================== 29.98/30.09 c New solution: 60272 29.98/30.09 o 60272 29.98/30.09 c Elapsed CPU time: 29.8245 s Remaining CPU time: 150.176 s 29.98/30.09 c =============================================================================== 29.98/30.09 c | 3868 | 3887 25674 407506 | 8558 3868 439 | 28.979 % | 30.79/30.82 c | 3968 | 3887 25674 407506 | 9413 3968 441 | 28.979 % | 30.89/30.95 c =============================================================================== 30.89/30.95 c New solution: 60271 30.89/30.95 o 60271 30.89/30.95 c Elapsed CPU time: 30.6903 s Remaining CPU time: 149.31 s 30.89/30.95 c =============================================================================== 30.89/30.95 c | 3972 | 3887 25675 409444 | 8558 3972 441 | 28.979 % | 31.08/31.13 c =============================================================================== 31.08/31.13 c New solution: 60270 31.08/31.13 o 60270 31.08/31.13 c Elapsed CPU time: 30.8643 s Remaining CPU time: 149.136 s 31.08/31.13 c =============================================================================== 31.08/31.13 c | 3984 | 3887 25676 411382 | 8558 3984 441 | 28.979 % | 31.28/31.37 c =============================================================================== 31.28/31.37 c New solution: 60269 31.28/31.37 o 60269 31.28/31.37 c Elapsed CPU time: 31.1073 s Remaining CPU time: 148.893 s 31.28/31.37 c =============================================================================== 31.28/31.37 c | 4002 | 3887 25677 413320 | 8559 4002 441 | 28.979 % | 31.58/31.63 c =============================================================================== 31.58/31.63 c New solution: 60268 31.58/31.63 o 60268 31.58/31.63 c Elapsed CPU time: 31.3682 s Remaining CPU time: 148.632 s 31.58/31.63 c =============================================================================== 31.58/31.63 c | 4050 | 3887 25678 415258 | 8559 4050 441 | 28.979 % | 31.68/31.78 c =============================================================================== 31.68/31.78 c New solution: 60267 31.68/31.78 o 60267 31.68/31.78 c Elapsed CPU time: 31.5142 s Remaining CPU time: 148.486 s 31.68/31.78 c =============================================================================== 31.68/31.78 c | 4052 | 3887 25679 417196 | 8559 4052 441 | 28.979 % | 31.99/32.04 c =============================================================================== 31.99/32.04 c New solution: 60266 31.99/32.04 o 60266 31.99/32.04 c Elapsed CPU time: 31.7662 s Remaining CPU time: 148.234 s 31.99/32.04 c =============================================================================== 31.99/32.04 c | 4086 | 3887 25680 419134 | 8560 4086 441 | 28.979 % | 32.08/32.16 c =============================================================================== 32.08/32.16 c New solution: 60265 32.08/32.16 o 60265 32.08/32.16 c Elapsed CPU time: 31.8922 s Remaining CPU time: 148.108 s 32.08/32.16 c =============================================================================== 32.08/32.16 c | 4096 | 3887 25681 421072 | 8560 4096 442 | 28.979 % | 32.58/32.65 c | 4196 | 3887 25681 421072 | 9416 4196 442 | 28.979 % | 32.88/32.94 c =============================================================================== 32.88/32.94 c New solution: 60264 32.88/32.94 o 60264 32.88/32.94 c Elapsed CPU time: 32.667 s Remaining CPU time: 147.333 s 32.88/32.94 c =============================================================================== 32.88/32.94 c | 4226 | 3887 25682 423010 | 8560 4226 442 | 28.979 % | 33.18/33.30 c =============================================================================== 33.18/33.30 c New solution: 60255 33.18/33.30 o 60255 33.18/33.30 c Elapsed CPU time: 33.022 s Remaining CPU time: 146.978 s 33.18/33.30 c =============================================================================== 33.18/33.30 c | 4267 | 3887 25683 424948 | 8561 4267 441 | 28.979 % | 33.38/33.45 c =============================================================================== 33.38/33.45 c New solution: 58831 33.38/33.45 o 58831 33.38/33.45 c Elapsed CPU time: 33.176 s Remaining CPU time: 146.824 s 33.38/33.45 c =============================================================================== 33.38/33.45 c | 4267 | 3887 25684 426886 | 8561 4267 441 | 28.979 % | 33.58/33.60 c =============================================================================== 33.58/33.60 c New solution: 58830 33.58/33.60 o 58830 33.58/33.60 c Elapsed CPU time: 33.3279 s Remaining CPU time: 146.672 s 33.58/33.60 c =============================================================================== 33.58/33.60 c | 4268 | 3887 25685 428824 | 8561 4268 441 | 28.979 % | 33.68/33.75 c =============================================================================== 33.68/33.75 c New solution: 58827 33.68/33.75 o 58827 33.68/33.75 c Elapsed CPU time: 33.4729 s Remaining CPU time: 146.527 s 33.68/33.75 c =============================================================================== 33.68/33.75 c | 4270 | 3887 25686 430762 | 8562 4270 441 | 28.979 % | 33.88/33.90 c =============================================================================== 33.88/33.90 c New solution: 58826 33.88/33.90 o 58826 33.88/33.90 c Elapsed CPU time: 33.6259 s Remaining CPU time: 146.374 s 33.88/33.90 c =============================================================================== 33.88/33.90 c | 4271 | 3887 25687 432700 | 8562 4271 441 | 28.979 % | 33.98/34.05 c =============================================================================== 33.98/34.05 c New solution: 58825 33.98/34.05 o 58825 33.98/34.05 c Elapsed CPU time: 33.7699 s Remaining CPU time: 146.23 s 33.98/34.05 c =============================================================================== 33.98/34.05 c | 4271 | 3887 25688 434638 | 8562 4271 441 | 28.979 % | 34.09/34.20 c =============================================================================== 34.09/34.20 c New solution: 58824 34.09/34.20 o 58824 34.09/34.20 c Elapsed CPU time: 33.9168 s Remaining CPU time: 146.083 s 34.09/34.20 c =============================================================================== 34.09/34.20 c | 4272 | 3887 25689 436576 | 8563 4272 441 | 28.979 % | 34.19/34.29 c =============================================================================== 34.19/34.29 c New solution: 57350 34.19/34.29 o 57350 34.19/34.29 c Elapsed CPU time: 34.0078 s Remaining CPU time: 145.992 s 34.19/34.29 c =============================================================================== 34.19/34.29 c | 4274 | 3887 25690 438514 | 8563 4274 441 | 28.979 % | 34.38/34.45 c =============================================================================== 34.38/34.45 c New solution: 57340 34.38/34.45 o 57340 34.38/34.45 c Elapsed CPU time: 34.1668 s Remaining CPU time: 145.833 s 34.38/34.45 c =============================================================================== 34.38/34.45 c | 4274 | 3887 25691 440452 | 8563 4274 441 | 28.979 % | 34.58/34.61 c =============================================================================== 34.58/34.61 c New solution: 57336 34.58/34.61 o 57336 34.58/34.61 c Elapsed CPU time: 34.3208 s Remaining CPU time: 145.679 s 34.58/34.61 c =============================================================================== 34.58/34.61 c | 4274 | 3887 25692 442390 | 8564 4274 441 | 28.979 % | 34.68/34.76 c =============================================================================== 34.68/34.76 c New solution: 57335 34.68/34.76 o 57335 34.68/34.76 c Elapsed CPU time: 34.4768 s Remaining CPU time: 145.523 s 34.68/34.76 c =============================================================================== 34.68/34.76 c | 4274 | 3887 25693 444328 | 8564 4274 441 | 28.979 % | 34.88/34.92 c =============================================================================== 34.88/34.92 c New solution: 57334 34.88/34.92 o 57334 34.88/34.92 c Elapsed CPU time: 34.6277 s Remaining CPU time: 145.372 s 34.88/34.92 c =============================================================================== 34.88/34.92 c | 4274 | 3887 25694 446266 | 8564 4274 441 | 28.979 % | 34.98/35.09 c =============================================================================== 34.98/35.09 c New solution: 57333 34.98/35.09 o 57333 34.98/35.09 c Elapsed CPU time: 34.8037 s Remaining CPU time: 145.196 s 34.98/35.09 c =============================================================================== 34.98/35.09 c | 4277 | 3887 25695 448204 | 8565 4277 441 | 28.979 % | 35.08/35.18 c =============================================================================== 35.08/35.18 c New solution: 57332 35.08/35.18 o 57332 35.08/35.18 c Elapsed CPU time: 34.8877 s Remaining CPU time: 145.112 s 35.08/35.18 c =============================================================================== 35.08/35.18 c | 4282 | 3887 25696 450142 | 8565 4282 441 | 28.979 % | 35.29/35.35 c | 4382 | 3887 25696 450142 | 9421 4382 440 | 28.979 % | 35.38/35.42 c =============================================================================== 35.38/35.42 c New solution: 55853 35.38/35.42 o 55853 35.38/35.42 c Elapsed CPU time: 35.1257 s Remaining CPU time: 144.874 s 35.38/35.42 c =============================================================================== 35.38/35.42 c | 4382 | 3887 25697 452080 | 8565 4382 440 | 28.979 % | 35.38/35.49 c =============================================================================== 35.38/35.49 c New solution: 55852 35.38/35.49 o 55852 35.38/35.49 c Elapsed CPU time: 35.1976 s Remaining CPU time: 144.802 s 35.38/35.49 c =============================================================================== 35.38/35.49 c | 4382 | 3887 25698 454018 | 8566 4382 440 | 28.979 % | 35.48/35.56 c =============================================================================== 35.48/35.56 c New solution: 55848 35.48/35.56 o 55848 35.48/35.56 c Elapsed CPU time: 35.2646 s Remaining CPU time: 144.735 s 35.48/35.56 c =============================================================================== 35.48/35.56 c | 4382 | 3887 25699 455956 | 8566 4382 440 | 28.979 % | 35.58/35.66 c =============================================================================== 35.58/35.66 c New solution: 54372 35.58/35.66 o 54372 35.58/35.66 c Elapsed CPU time: 35.3616 s Remaining CPU time: 144.638 s 35.58/35.66 c =============================================================================== 35.58/35.66 c | 4383 | 3887 25700 457894 | 8566 4383 440 | 28.979 % | 35.68/35.73 c =============================================================================== 35.68/35.73 c New solution: 54362 35.68/35.73 o 54362 35.68/35.73 c Elapsed CPU time: 35.4356 s Remaining CPU time: 144.564 s 35.68/35.73 c =============================================================================== 35.68/35.73 c | 4383 | 3887 25701 459832 | 8567 4383 440 | 28.979 % | 35.78/35.81 c =============================================================================== 35.78/35.81 c New solution: 54361 35.78/35.81 o 54361 35.78/35.81 c Elapsed CPU time: 35.5116 s Remaining CPU time: 144.488 s 35.78/35.81 c =============================================================================== 35.78/35.81 c | 4383 | 3887 25702 461770 | 8567 4383 440 | 28.979 % | 35.78/35.89 c =============================================================================== 35.78/35.89 c New solution: 54360 35.78/35.89 o 54360 35.78/35.89 c Elapsed CPU time: 35.5896 s Remaining CPU time: 144.41 s 35.78/35.89 c =============================================================================== 35.78/35.89 c | 4383 | 3887 25703 463708 | 8567 4383 440 | 28.979 % | 35.88/35.98 c =============================================================================== 35.88/35.98 c New solution: 52879 35.88/35.98 o 52879 35.88/35.98 c Elapsed CPU time: 35.6756 s Remaining CPU time: 144.324 s 35.88/35.98 c =============================================================================== 35.88/35.98 c | 4383 | 3887 25704 465646 | 8568 4383 440 | 28.979 % | 35.98/36.07 c =============================================================================== 35.98/36.07 c New solution: 52870 35.98/36.07 o 52870 35.98/36.07 c Elapsed CPU time: 35.7646 s Remaining CPU time: 144.235 s 35.98/36.07 c =============================================================================== 35.98/36.07 c | 4383 | 3887 25705 467584 | 8568 4383 440 | 28.979 % | 36.08/36.15 c =============================================================================== 36.08/36.15 c New solution: 52869 36.08/36.15 o 52869 36.08/36.15 c Elapsed CPU time: 35.8486 s Remaining CPU time: 144.151 s 36.08/36.15 c =============================================================================== 36.08/36.15 c | 4385 | 3887 25706 469522 | 8568 4385 440 | 28.979 % | 36.29/36.37 c =============================================================================== 36.29/36.37 c New solution: 52868 36.29/36.37 o 52868 36.29/36.37 c Elapsed CPU time: 36.0725 s Remaining CPU time: 143.927 s 36.29/36.37 c =============================================================================== 36.29/36.37 c | 4387 | 3887 25707 471460 | 8569 4387 440 | 28.979 % | 36.48/36.55 c =============================================================================== 36.48/36.55 c New solution: 52867 36.48/36.55 o 52867 36.48/36.55 c Elapsed CPU time: 36.2505 s Remaining CPU time: 143.75 s 36.48/36.55 c =============================================================================== 36.48/36.55 c | 4390 | 3887 25708 473398 | 8569 4390 440 | 28.979 % | 36.68/36.70 c =============================================================================== 36.68/36.70 c New solution: 52866 36.68/36.70 o 52866 36.68/36.70 c Elapsed CPU time: 36.3965 s Remaining CPU time: 143.604 s 36.68/36.70 c =============================================================================== 36.68/36.70 c | 4391 | 3887 25709 475336 | 8569 4391 440 | 28.979 % | 36.78/36.81 c =============================================================================== 36.78/36.81 c New solution: 52855 36.78/36.81 o 52855 36.78/36.81 c Elapsed CPU time: 36.5074 s Remaining CPU time: 143.493 s 36.78/36.81 c =============================================================================== 36.78/36.81 c | 4391 | 3887 25710 477274 | 8570 4391 440 | 28.979 % | 36.88/36.96 c =============================================================================== 36.88/36.96 c New solution: 52854 36.88/36.96 o 52854 36.88/36.96 c Elapsed CPU time: 36.6544 s Remaining CPU time: 143.346 s 36.88/36.96 c =============================================================================== 36.88/36.96 c | 4394 | 3887 25711 479212 | 8570 4394 440 | 28.979 % | 37.08/37.12 c =============================================================================== 37.08/37.12 c New solution: 52853 37.08/37.12 o 52853 37.08/37.12 c Elapsed CPU time: 36.8144 s Remaining CPU time: 143.186 s 37.08/37.12 c =============================================================================== 37.08/37.12 c | 4403 | 3887 25712 481150 | 8570 4403 440 | 28.979 % | 37.28/37.37 c =============================================================================== 37.28/37.37 c New solution: 52833 37.28/37.37 o 52833 37.28/37.37 c Elapsed CPU time: 37.0624 s Remaining CPU time: 142.938 s 37.28/37.37 c =============================================================================== 37.28/37.37 c | 4407 | 3887 25713 483088 | 8571 4407 440 | 28.979 % | 37.48/37.58 c =============================================================================== 37.48/37.58 c New solution: 52826 37.48/37.58 o 52826 37.48/37.58 c Elapsed CPU time: 37.2753 s Remaining CPU time: 142.725 s 37.48/37.58 c =============================================================================== 37.48/37.58 c | 4409 | 3887 25714 485026 | 8571 4409 440 | 28.979 % | 37.68/37.77 c =============================================================================== 37.68/37.77 c New solution: 51372 37.68/37.77 o 51372 37.68/37.77 c Elapsed CPU time: 37.4633 s Remaining CPU time: 142.537 s 37.68/37.77 c =============================================================================== 37.68/37.77 c | 4441 | 3887 25715 486964 | 8571 4441 440 | 28.979 % | 37.88/37.98 c =============================================================================== 37.88/37.98 c New solution: 51338 37.88/37.98 o 51338 37.88/37.98 c Elapsed CPU time: 37.6673 s Remaining CPU time: 142.333 s 37.88/37.98 c =============================================================================== 37.88/37.98 c | 4441 | 3887 25716 488902 | 8572 4441 440 | 28.979 % | 38.49/38.60 c =============================================================================== 38.49/38.60 c New solution: 51337 38.49/38.60 o 51337 38.49/38.60 c Elapsed CPU time: 38.2872 s Remaining CPU time: 141.713 s 38.49/38.60 c =============================================================================== 38.49/38.60 c | 4520 | 3887 25717 490840 | 8572 4520 442 | 28.979 % | 38.78/38.89 c =============================================================================== 38.78/38.89 c New solution: 51335 38.78/38.89 o 51335 38.78/38.89 c Elapsed CPU time: 38.5801 s Remaining CPU time: 141.42 s 38.78/38.89 c =============================================================================== 38.78/38.89 c | 4522 | 3887 25718 492778 | 8572 4522 442 | 28.979 % | 39.08/39.19 c =============================================================================== 39.08/39.19 c New solution: 51323 39.08/39.19 o 51323 39.08/39.19 c Elapsed CPU time: 38.8751 s Remaining CPU time: 141.125 s 39.08/39.19 c =============================================================================== 39.08/39.19 c | 4525 | 3887 25719 494716 | 8573 4525 442 | 28.979 % | 39.48/39.52 c =============================================================================== 39.48/39.52 c New solution: 51314 39.48/39.52 o 51314 39.48/39.52 c Elapsed CPU time: 39.209 s Remaining CPU time: 140.791 s 39.48/39.52 c =============================================================================== 39.48/39.52 c | 4542 | 3887 25720 496654 | 8573 4542 442 | 28.979 % | 39.58/39.68 c =============================================================================== 39.58/39.68 c New solution: 51313 39.58/39.68 o 51313 39.58/39.68 c Elapsed CPU time: 39.369 s Remaining CPU time: 140.631 s 39.58/39.68 c =============================================================================== 39.58/39.68 c | 4542 | 3887 25721 498592 | 8573 4542 442 | 28.979 % | 39.78/39.84 c =============================================================================== 39.78/39.84 c New solution: 51312 39.78/39.84 o 51312 39.78/39.84 c Elapsed CPU time: 39.526 s Remaining CPU time: 140.474 s 39.78/39.84 c =============================================================================== 39.78/39.84 c | 4542 | 3887 25722 500530 | 8574 4542 442 | 28.979 % | 39.87/40.00 c =============================================================================== 39.87/40.00 c New solution: 51311 39.87/40.00 o 51311 39.87/40.00 c Elapsed CPU time: 39.679 s Remaining CPU time: 140.321 s 39.87/40.00 c =============================================================================== 39.87/40.00 c | 4542 | 3887 25723 502468 | 8574 4542 442 | 28.979 % | 40.07/40.16 c =============================================================================== 40.07/40.16 c New solution: 51310 40.07/40.16 o 51310 40.07/40.16 c Elapsed CPU time: 39.8409 s Remaining CPU time: 140.159 s 40.07/40.16 c =============================================================================== 40.07/40.16 c | 4542 | 3887 25724 504406 | 8574 4542 442 | 28.979 % | 40.27/40.35 c =============================================================================== 40.27/40.35 c New solution: 49876 40.27/40.35 o 49876 40.27/40.35 c Elapsed CPU time: 40.0369 s Remaining CPU time: 139.963 s 40.27/40.35 c =============================================================================== 40.27/40.35 c | 4543 | 3887 25725 506344 | 8575 4543 441 | 28.979 % | 40.57/40.62 c =============================================================================== 40.57/40.62 c New solution: 49845 40.57/40.62 o 49845 40.57/40.62 c Elapsed CPU time: 40.2999 s Remaining CPU time: 139.7 s 40.57/40.62 c =============================================================================== 40.57/40.62 c | 4543 | 3887 25726 508282 | 8575 4543 441 | 28.979 % | 40.78/40.84 c =============================================================================== 40.78/40.84 c New solution: 49842 40.78/40.84 o 49842 40.78/40.84 c Elapsed CPU time: 40.5208 s Remaining CPU time: 139.479 s 40.78/40.84 c =============================================================================== 40.78/40.84 c | 4544 | 3887 25727 510220 | 8575 4544 441 | 28.979 % | 41.08/41.11 c =============================================================================== 41.08/41.11 c New solution: 49841 41.08/41.11 o 49841 41.08/41.11 c Elapsed CPU time: 40.7908 s Remaining CPU time: 139.209 s 41.08/41.11 c =============================================================================== 41.08/41.11 c | 4544 | 3887 25728 512158 | 8576 4544 441 | 28.979 % | 41.28/41.36 c =============================================================================== 41.28/41.36 c New solution: 49840 41.28/41.36 o 49840 41.28/41.36 c Elapsed CPU time: 41.0428 s Remaining CPU time: 138.957 s 41.28/41.36 c =============================================================================== 41.28/41.36 c | 4544 | 3887 25729 514096 | 8576 4544 441 | 28.979 % | 41.58/41.61 c =============================================================================== 41.58/41.61 c New solution: 49839 41.58/41.61 o 49839 41.58/41.61 c Elapsed CPU time: 41.2877 s Remaining CPU time: 138.712 s 41.58/41.61 c =============================================================================== 41.58/41.61 c | 4544 | 3887 25730 516034 | 8576 4544 441 | 28.979 % | 41.79/41.85 c =============================================================================== 41.79/41.85 c New solution: 49838 41.79/41.85 o 49838 41.79/41.85 c Elapsed CPU time: 41.5317 s Remaining CPU time: 138.468 s 41.79/41.85 c =============================================================================== 41.79/41.85 c | 4544 | 3887 25731 517972 | 8577 4544 441 | 28.979 % | 42.08/42.11 c =============================================================================== 42.08/42.11 c New solution: 49837 42.08/42.11 o 49837 42.08/42.11 c Elapsed CPU time: 41.7896 s Remaining CPU time: 138.21 s 42.08/42.11 c =============================================================================== 42.08/42.11 c | 4544 | 3887 25732 519910 | 8577 4544 441 | 28.979 % | 42.28/42.33 c =============================================================================== 42.28/42.33 c New solution: 49836 42.28/42.33 o 49836 42.28/42.33 c Elapsed CPU time: 42.0096 s Remaining CPU time: 137.99 s 42.28/42.33 c =============================================================================== 42.28/42.33 c | 4544 | 3887 25733 521848 | 8577 4544 441 | 28.979 % | 42.48/42.59 c =============================================================================== 42.48/42.59 c New solution: 49835 42.48/42.59 o 49835 42.48/42.59 c Elapsed CPU time: 42.2666 s Remaining CPU time: 137.733 s 42.48/42.59 c =============================================================================== 42.48/42.59 c | 4544 | 3887 25734 523786 | 8578 4544 441 | 28.979 % | 42.78/42.85 c =============================================================================== 42.78/42.85 c New solution: 49834 42.78/42.85 o 49834 42.78/42.85 c Elapsed CPU time: 42.5215 s Remaining CPU time: 137.478 s 42.78/42.85 c =============================================================================== 42.78/42.85 c | 4544 | 3887 25735 525724 | 8578 4544 441 | 28.979 % | 42.98/43.07 c =============================================================================== 42.98/43.07 c New solution: 49833 42.98/43.07 o 49833 42.98/43.07 c Elapsed CPU time: 42.7475 s Remaining CPU time: 137.252 s 42.98/43.07 c =============================================================================== 42.98/43.07 c | 4545 | 3887 25736 527662 | 8578 4545 441 | 28.979 % | 43.18/43.29 c =============================================================================== 43.18/43.29 c New solution: 49832 43.18/43.29 o 49832 43.18/43.29 c Elapsed CPU time: 42.9675 s Remaining CPU time: 137.033 s 43.18/43.29 c =============================================================================== 43.18/43.29 c | 4555 | 3887 25737 529600 | 8579 4555 442 | 28.979 % | 43.48/43.53 c =============================================================================== 43.48/43.53 c New solution: 49831 43.48/43.53 o 49831 43.48/43.53 c Elapsed CPU time: 43.2054 s Remaining CPU time: 136.795 s 43.48/43.53 c =============================================================================== 43.48/43.53 c | 4558 | 3887 25738 531538 | 8579 4558 442 | 28.979 % | 43.78/43.83 c =============================================================================== 43.78/43.83 c New solution: 49830 43.78/43.83 o 49830 43.78/43.83 c Elapsed CPU time: 43.5044 s Remaining CPU time: 136.496 s 43.78/43.83 c =============================================================================== 43.78/43.83 c | 4567 | 3887 25739 533476 | 8579 4567 442 | 28.979 % | 43.98/44.02 c =============================================================================== 43.98/44.02 c New solution: 49829 43.98/44.02 o 49829 43.98/44.02 c Elapsed CPU time: 43.6984 s Remaining CPU time: 136.302 s 43.98/44.02 c =============================================================================== 43.98/44.02 c | 4572 | 3887 25740 535414 | 8580 4572 442 | 28.979 % | 44.47/44.58 c =============================================================================== 44.47/44.58 c New solution: 49828 44.47/44.58 o 49828 44.47/44.58 c Elapsed CPU time: 44.2553 s Remaining CPU time: 135.745 s 44.47/44.58 c =============================================================================== 44.47/44.58 c | 4643 | 3887 25741 537352 | 8580 4643 442 | 28.979 % | 44.77/44.82 c =============================================================================== 44.77/44.82 c New solution: 49827 44.77/44.82 o 49827 44.77/44.82 c Elapsed CPU time: 44.4902 s Remaining CPU time: 135.51 s 44.77/44.82 c =============================================================================== 44.77/44.82 c | 4651 | 3887 25742 539290 | 8580 4651 442 | 28.979 % | 45.27/45.31 c =============================================================================== 45.27/45.31 c New solution: 49826 45.27/45.31 o 49826 45.27/45.31 c Elapsed CPU time: 44.9862 s Remaining CPU time: 135.014 s 45.27/45.31 c =============================================================================== 45.27/45.31 c | 4703 | 3887 25743 541228 | 8581 4703 442 | 28.979 % | 46.47/46.55 c | 4804 | 3887 25743 541228 | 9439 4804 443 | 28.979 % | 47.17/47.28 c =============================================================================== 47.17/47.28 c New solution: 49825 47.17/47.28 o 49825 47.17/47.28 c Elapsed CPU time: 46.9529 s Remaining CPU time: 133.047 s 47.17/47.28 c =============================================================================== 47.17/47.28 c | 4870 | 3887 25744 543166 | 8581 4870 444 | 28.979 % | 47.68/47.72 c =============================================================================== 47.68/47.72 c New solution: 49824 47.68/47.72 o 49824 47.68/47.72 c Elapsed CPU time: 47.3878 s Remaining CPU time: 132.612 s 47.68/47.72 c =============================================================================== 47.68/47.72 c | 4909 | 3887 25745 545104 | 8581 4909 444 | 28.979 % | 47.98/48.03 c =============================================================================== 47.98/48.03 c New solution: 49823 47.98/48.03 o 49823 47.98/48.03 c Elapsed CPU time: 47.6937 s Remaining CPU time: 132.306 s 47.98/48.03 c =============================================================================== 47.98/48.03 c | 4933 | 3887 25746 547042 | 8582 4933 444 | 28.979 % | 48.28/48.33 c =============================================================================== 48.28/48.33 c New solution: 49822 48.28/48.33 o 49822 48.28/48.33 c Elapsed CPU time: 47.9927 s Remaining CPU time: 132.007 s 48.28/48.33 c =============================================================================== 48.28/48.33 c | 4948 | 3887 25747 548980 | 8582 4948 444 | 28.979 % | 48.77/48.85 c =============================================================================== 48.77/48.85 c New solution: 49821 48.77/48.85 o 49821 48.77/48.85 c Elapsed CPU time: 48.5106 s Remaining CPU time: 131.489 s 48.77/48.85 c =============================================================================== 48.77/48.85 c | 4998 | 3887 25748 550918 | 8582 4998 444 | 28.979 % | 49.27/49.39 c =============================================================================== 49.27/49.39 c New solution: 49719 49.27/49.39 o 49719 49.27/49.39 c Elapsed CPU time: 49.0505 s Remaining CPU time: 130.949 s 49.27/49.39 c =============================================================================== 49.27/49.39 c | 4999 | 3887 25749 552856 | 8583 4999 444 | 28.979 % | 49.67/49.73 c =============================================================================== 49.67/49.73 c New solution: 48366 49.67/49.73 o 48366 49.67/49.73 c Elapsed CPU time: 49.3865 s Remaining CPU time: 130.614 s 49.67/49.73 c =============================================================================== 49.67/49.73 c | 5000 | 3887 25750 554794 | 8583 5000 444 | 28.979 % | 49.87/49.97 c =============================================================================== 49.87/49.97 c New solution: 48365 49.87/49.97 o 48365 49.87/49.97 c Elapsed CPU time: 49.6315 s Remaining CPU time: 130.369 s 49.87/49.97 c =============================================================================== 49.87/49.97 c | 5008 | 3887 25751 556732 | 8583 5008 444 | 28.979 % | 50.38/50.40 c =============================================================================== 50.38/50.40 c New solution: 48364 50.38/50.40 o 48364 50.38/50.40 c Elapsed CPU time: 50.0624 s Remaining CPU time: 129.938 s 50.38/50.41 c =============================================================================== 50.38/50.41 c | 5035 | 3887 25752 558670 | 8584 5035 444 | 28.979 % | 50.59/50.69 c =============================================================================== 50.59/50.69 c New solution: 48349 50.59/50.69 o 48349 50.59/50.69 c Elapsed CPU time: 50.3463 s Remaining CPU time: 129.654 s 50.59/50.69 c =============================================================================== 50.59/50.69 c | 5039 | 3887 25753 560608 | 8584 5039 444 | 28.979 % | 50.88/50.96 c =============================================================================== 50.88/50.96 c New solution: 48348 50.88/50.96 o 48348 50.88/50.96 c Elapsed CPU time: 50.6193 s Remaining CPU time: 129.381 s 50.88/50.96 c =============================================================================== 50.88/50.96 c | 5042 | 3887 25754 562546 | 8584 5042 444 | 28.979 % | 51.18/51.24 c =============================================================================== 51.18/51.24 c New solution: 48347 51.18/51.24 o 48347 51.18/51.24 c Elapsed CPU time: 50.8893 s Remaining CPU time: 129.111 s 51.18/51.24 c =============================================================================== 51.18/51.24 c | 5049 | 3887 25755 564484 | 8585 5049 444 | 28.979 % | 51.47/51.53 c =============================================================================== 51.47/51.53 c New solution: 48346 51.47/51.53 o 48346 51.47/51.53 c Elapsed CPU time: 51.1792 s Remaining CPU time: 128.821 s 51.47/51.53 c =============================================================================== 51.47/51.53 c | 5054 | 3887 25756 566422 | 8585 5054 444 | 28.979 % | 51.68/51.78 c =============================================================================== 51.68/51.78 c New solution: 48345 51.68/51.78 o 48345 51.68/51.78 c Elapsed CPU time: 51.4332 s Remaining CPU time: 128.567 s 51.68/51.78 c =============================================================================== 51.68/51.78 c | 5067 | 3887 25757 568360 | 8585 5067 444 | 28.979 % | 52.07/52.15 c =============================================================================== 52.07/52.15 c New solution: 48344 52.07/52.15 o 48344 52.07/52.15 c Elapsed CPU time: 51.8031 s Remaining CPU time: 128.197 s 52.07/52.15 c =============================================================================== 52.07/52.15 c | 5073 | 3887 25758 570298 | 8586 5073 444 | 28.979 % | 53.17/53.20 c | 5173 | 3887 25758 570298 | 9444 5173 445 | 28.979 % | 53.38/53.40 c =============================================================================== 53.38/53.40 c New solution: 48329 53.38/53.40 o 48329 53.38/53.40 c Elapsed CPU time: 53.0449 s Remaining CPU time: 126.955 s 53.38/53.40 c =============================================================================== 53.38/53.40 c | 5181 | 3887 25759 572236 | 8586 5181 445 | 28.979 % | 53.58/53.65 c | 5281 | 3887 25759 572236 | 9444 5281 446 | 28.979 % | 53.88/53.93 c =============================================================================== 53.88/53.93 c New solution: 48328 53.88/53.93 o 48328 53.88/53.93 c Elapsed CPU time: 53.5729 s Remaining CPU time: 126.427 s 53.88/53.93 c =============================================================================== 53.88/53.93 c | 5282 | 3887 25760 574174 | 8586 5282 446 | 28.979 % | 54.18/54.21 c =============================================================================== 54.18/54.21 c New solution: 48327 54.18/54.21 o 48327 54.18/54.21 c Elapsed CPU time: 53.8488 s Remaining CPU time: 126.151 s 54.18/54.21 c =============================================================================== 54.18/54.21 c | 5283 | 3887 25761 576112 | 8587 5283 446 | 28.979 % | 54.38/54.47 c =============================================================================== 54.38/54.47 c New solution: 48326 54.38/54.47 o 48326 54.38/54.47 c Elapsed CPU time: 54.1178 s Remaining CPU time: 125.882 s 54.38/54.47 c =============================================================================== 54.38/54.47 c | 5283 | 3887 25762 578050 | 8587 5283 446 | 28.979 % | 54.98/55.09 c =============================================================================== 54.98/55.09 c New solution: 46906 54.98/55.09 o 46906 54.98/55.09 c Elapsed CPU time: 54.7277 s Remaining CPU time: 125.272 s 54.98/55.09 c =============================================================================== 54.98/55.09 c | 5327 | 3887 25763 579988 | 8587 5327 445 | 28.979 % | 55.37/55.44 c =============================================================================== 55.37/55.44 c New solution: 46849 55.37/55.44 o 46849 55.37/55.44 c Elapsed CPU time: 55.0766 s Remaining CPU time: 124.923 s 55.37/55.44 c =============================================================================== 55.37/55.44 c | 5333 | 3887 25764 581926 | 8588 5333 445 | 28.979 % | 55.67/55.77 c =============================================================================== 55.67/55.77 c New solution: 46839 55.67/55.77 o 46839 55.67/55.77 c Elapsed CPU time: 55.4056 s Remaining CPU time: 124.594 s 55.67/55.77 c =============================================================================== 55.67/55.77 c | 5336 | 3887 25765 583864 | 8588 5336 445 | 28.979 % | 56.08/56.10 c =============================================================================== 56.08/56.10 c New solution: 46838 56.08/56.10 o 46838 56.08/56.10 c Elapsed CPU time: 55.7395 s Remaining CPU time: 124.26 s 56.08/56.10 c =============================================================================== 56.08/56.10 c | 5352 | 3887 25766 585802 | 8588 5352 445 | 28.979 % | 56.27/56.35 c =============================================================================== 56.27/56.35 c New solution: 46837 56.27/56.35 o 46837 56.27/56.35 c Elapsed CPU time: 55.9835 s Remaining CPU time: 124.017 s 56.27/56.35 c =============================================================================== 56.27/56.35 c | 5368 | 3887 25767 587740 | 8589 5368 445 | 28.979 % | 56.47/56.59 c | 5468 | 3887 25767 587740 | 9447 5468 444 | 28.979 % | 56.87/56.96 c =============================================================================== 56.87/56.96 c New solution: 45400 56.87/56.96 o 45400 56.87/56.96 c Elapsed CPU time: 56.6014 s Remaining CPU time: 123.399 s 56.87/56.96 c =============================================================================== 56.87/56.96 c | 5481 | 3887 25768 589678 | 8589 5481 444 | 28.979 % | 57.08/57.20 c =============================================================================== 57.08/57.20 c New solution: 45384 57.08/57.20 o 45384 57.08/57.20 c Elapsed CPU time: 56.8294 s Remaining CPU time: 123.171 s 57.08/57.20 c =============================================================================== 57.08/57.20 c | 5484 | 3887 25769 591616 | 8589 5484 444 | 28.979 % | 57.37/57.48 c =============================================================================== 57.37/57.48 c New solution: 45381 57.37/57.48 o 45381 57.37/57.48 c Elapsed CPU time: 57.1123 s Remaining CPU time: 122.888 s 57.37/57.48 c =============================================================================== 57.37/57.48 c | 5490 | 3887 25770 593554 | 8590 5490 444 | 28.979 % | 57.67/57.78 c | 5590 | 3887 25770 593554 | 9449 5590 444 | 28.979 % | 58.07/58.16 c =============================================================================== 58.07/58.16 c New solution: 45349 58.07/58.16 o 45349 58.07/58.16 c Elapsed CPU time: 57.7882 s Remaining CPU time: 122.212 s 58.07/58.16 c =============================================================================== 58.07/58.16 c | 5608 | 3887 25771 595492 | 8590 5608 443 | 28.979 % | 58.38/58.46 c =============================================================================== 58.38/58.46 c New solution: 45348 58.38/58.46 o 45348 58.38/58.46 c Elapsed CPU time: 58.0932 s Remaining CPU time: 121.907 s 58.38/58.46 c =============================================================================== 58.38/58.46 c | 5631 | 3887 25772 597430 | 8590 5631 443 | 28.979 % | 58.67/58.72 c =============================================================================== 58.67/58.72 c New solution: 43922 58.67/58.72 o 43922 58.67/58.72 c Elapsed CPU time: 58.3491 s Remaining CPU time: 121.651 s 58.67/58.72 c =============================================================================== 58.67/58.72 c | 5636 | 3887 25773 599368 | 8591 5636 443 | 28.979 % | 59.08/59.18 c =============================================================================== 59.08/59.18 c New solution: 43868 59.08/59.18 o 43868 59.08/59.18 c Elapsed CPU time: 58.8011 s Remaining CPU time: 121.199 s 59.08/59.18 c =============================================================================== 59.08/59.18 c | 5653 | 3887 25774 601306 | 8591 5653 443 | 28.979 % | 59.38/59.49 c =============================================================================== 59.38/59.49 c New solution: 43867 59.38/59.49 o 43867 59.38/59.49 c Elapsed CPU time: 59.114 s Remaining CPU time: 120.886 s 59.38/59.49 c =============================================================================== 59.38/59.49 c | 5662 | 3887 25775 603244 | 8591 5662 443 | 28.979 % | 60.27/60.30 c =============================================================================== 60.27/60.30 c New solution: 43866 60.27/60.30 o 43866 60.27/60.30 c Elapsed CPU time: 59.9219 s Remaining CPU time: 120.078 s 60.27/60.30 c =============================================================================== 60.27/60.30 c | 5738 | 3887 25776 605182 | 8592 5738 443 | 28.979 % | 60.48/60.60 c =============================================================================== 60.48/60.60 c New solution: 43865 60.48/60.60 o 43865 60.48/60.60 c Elapsed CPU time: 60.2218 s Remaining CPU time: 119.778 s 60.48/60.60 c =============================================================================== 60.48/60.60 c | 5741 | 3887 25777 607120 | 8592 5741 443 | 28.979 % | 60.87/60.94 c =============================================================================== 60.87/60.94 c New solution: 43864 60.87/60.94 o 43864 60.87/60.94 c Elapsed CPU time: 60.5608 s Remaining CPU time: 119.439 s 60.87/60.94 c =============================================================================== 60.87/60.94 c | 5747 | 3887 25778 609058 | 8592 5747 443 | 28.979 % | 61.47/61.52 c =============================================================================== 61.47/61.52 c New solution: 43863 61.47/61.52 o 43863 61.47/61.52 c Elapsed CPU time: 61.1437 s Remaining CPU time: 118.856 s 61.47/61.52 c =============================================================================== 61.47/61.52 c | 5794 | 3887 25779 610996 | 8593 5794 443 | 28.979 % | 61.87/61.93 c =============================================================================== 61.87/61.93 c New solution: 43862 61.87/61.93 o 43862 61.87/61.93 c Elapsed CPU time: 61.5456 s Remaining CPU time: 118.454 s 61.87/61.93 c =============================================================================== 61.87/61.93 c | 5807 | 3887 25780 612934 | 8593 5807 443 | 28.979 % | 62.27/62.32 c =============================================================================== 62.27/62.32 c New solution: 43860 62.27/62.32 o 43860 62.27/62.32 c Elapsed CPU time: 61.9406 s Remaining CPU time: 118.059 s 62.27/62.32 c =============================================================================== 62.27/62.32 c | 5818 | 3887 25781 614872 | 8593 5818 443 | 28.979 % | 62.77/62.83 c =============================================================================== 62.77/62.83 c New solution: 43859 62.77/62.83 o 43859 62.77/62.83 c Elapsed CPU time: 62.4425 s Remaining CPU time: 117.557 s 62.77/62.83 c =============================================================================== 62.77/62.83 c | 5831 | 3887 25782 616810 | 8594 5831 443 | 28.979 % | 63.08/63.14 c =============================================================================== 63.08/63.14 c New solution: 43858 63.08/63.14 o 43858 63.08/63.14 c Elapsed CPU time: 62.7505 s Remaining CPU time: 117.25 s 63.08/63.14 c =============================================================================== 63.08/63.14 c | 5861 | 3887 25783 618748 | 8594 5861 443 | 28.979 % | 63.47/63.57 c =============================================================================== 63.47/63.57 c New solution: 43857 63.47/63.57 o 43857 63.47/63.57 c Elapsed CPU time: 63.1784 s Remaining CPU time: 116.822 s 63.47/63.57 c =============================================================================== 63.47/63.57 c | 5882 | 3887 25784 620686 | 8594 5882 443 | 28.979 % | 63.88/63.91 c =============================================================================== 63.88/63.91 c New solution: 43856 63.88/63.91 o 43856 63.88/63.91 c Elapsed CPU time: 63.5193 s Remaining CPU time: 116.481 s 63.88/63.91 c =============================================================================== 63.88/63.91 c | 5887 | 3887 25785 622624 | 8595 5887 443 | 28.979 % | 64.07/64.18 c =============================================================================== 64.07/64.18 c New solution: 43855 64.07/64.18 o 43855 64.07/64.18 c Elapsed CPU time: 63.7933 s Remaining CPU time: 116.207 s 64.07/64.18 c =============================================================================== 64.07/64.18 c | 5908 | 3887 25786 624562 | 8595 5908 443 | 28.979 % | 64.47/64.52 c =============================================================================== 64.47/64.52 c New solution: 43854 64.47/64.52 o 43854 64.47/64.52 c Elapsed CPU time: 64.1223 s Remaining CPU time: 115.878 s 64.47/64.52 c =============================================================================== 64.47/64.52 c | 5910 | 3887 25787 626500 | 8595 5910 443 | 28.979 % | 64.77/64.87 c =============================================================================== 64.77/64.87 c New solution: 43853 64.77/64.87 o 43853 64.77/64.87 c Elapsed CPU time: 64.4782 s Remaining CPU time: 115.522 s 64.77/64.87 c =============================================================================== 64.77/64.87 c | 5915 | 3887 25788 628438 | 8596 5915 443 | 28.979 % | 65.17/65.23 c =============================================================================== 65.17/65.23 c New solution: 43847 65.17/65.23 o 43847 65.17/65.23 c Elapsed CPU time: 64.8291 s Remaining CPU time: 115.171 s 65.17/65.23 c =============================================================================== 65.17/65.23 c | 5920 | 3887 25789 630376 | 8596 5920 443 | 28.979 % | 65.57/65.63 c =============================================================================== 65.57/65.63 c New solution: 43846 65.57/65.63 o 43846 65.57/65.63 c Elapsed CPU time: 65.2311 s Remaining CPU time: 114.769 s 65.57/65.63 c =============================================================================== 65.57/65.63 c | 5927 | 3887 25790 632314 | 8596 5927 443 | 28.979 % | 65.87/65.94 c =============================================================================== 65.87/65.94 c New solution: 43845 65.87/65.94 o 43845 65.87/65.94 c Elapsed CPU time: 65.544 s Remaining CPU time: 114.456 s 65.87/65.94 c =============================================================================== 65.87/65.94 c | 5930 | 3887 25791 634252 | 8597 5930 443 | 28.979 % | 66.37/66.40 c =============================================================================== 66.37/66.40 c New solution: 43844 66.37/66.40 o 43844 66.37/66.40 c Elapsed CPU time: 65.999 s Remaining CPU time: 114.001 s 66.37/66.40 c =============================================================================== 66.37/66.40 c | 5955 | 3887 25792 636190 | 8597 5955 443 | 28.979 % | 66.67/66.78 c =============================================================================== 66.67/66.78 c New solution: 42407 66.67/66.78 o 42407 66.67/66.78 c Elapsed CPU time: 66.3769 s Remaining CPU time: 113.623 s 66.67/66.78 c =============================================================================== 66.67/66.78 c | 5967 | 3887 25793 638128 | 8597 5967 443 | 28.979 % | 67.07/67.15 c =============================================================================== 67.07/67.15 c New solution: 42356 67.07/67.15 o 42356 67.07/67.15 c Elapsed CPU time: 66.7399 s Remaining CPU time: 113.26 s 67.07/67.15 c =============================================================================== 67.07/67.15 c | 5970 | 3887 25794 640066 | 8598 5970 443 | 28.979 % | 68.27/68.33 c =============================================================================== 68.27/68.33 c New solution: 42355 68.27/68.33 o 42355 68.27/68.33 c Elapsed CPU time: 67.9257 s Remaining CPU time: 112.074 s 68.27/68.33 c =============================================================================== 68.27/68.33 c | 6066 | 3887 25795 642004 | 8598 6066 442 | 28.979 % | 68.56/68.68 c =============================================================================== 68.56/68.68 c New solution: 42354 68.56/68.68 o 42354 68.56/68.68 c Elapsed CPU time: 68.2686 s Remaining CPU time: 111.731 s 68.56/68.68 c =============================================================================== 68.56/68.68 c | 6066 | 3887 25796 643942 | 8598 6066 442 | 28.979 % | 68.86/68.92 c =============================================================================== 68.86/68.92 c New solution: 42353 68.86/68.92 o 42353 68.86/68.92 c Elapsed CPU time: 68.5156 s Remaining CPU time: 111.484 s 68.86/68.92 c =============================================================================== 68.86/68.92 c | 6072 | 3887 25797 645880 | 8599 6072 442 | 28.979 % | 69.16/69.25 c | 6173 | 3887 25797 645880 | 9458 6173 442 | 28.979 % | 69.67/69.78 c | 6323 | 3887 25797 645880 | 10404 6323 441 | 28.979 % | 70.38/70.46 c =============================================================================== 70.38/70.46 c New solution: 42352 70.38/70.46 o 42352 70.38/70.46 c Elapsed CPU time: 70.0513 s Remaining CPU time: 109.949 s 70.38/70.46 c =============================================================================== 70.38/70.46 c | 6368 | 3887 25798 647818 | 8599 6368 442 | 28.979 % | 70.87/70.99 c | 6468 | 3887 25798 647818 | 9459 6468 442 | 28.979 % | 71.67/71.71 c =============================================================================== 71.67/71.71 c New solution: 42351 71.67/71.71 o 42351 71.67/71.71 c Elapsed CPU time: 71.2932 s Remaining CPU time: 108.707 s 71.67/71.71 c =============================================================================== 71.67/71.71 c | 6515 | 3887 25799 649756 | 8599 6515 441 | 28.979 % | 72.27/72.37 c =============================================================================== 72.27/72.37 c New solution: 42248 72.27/72.37 o 42248 72.27/72.37 c Elapsed CPU time: 71.9521 s Remaining CPU time: 108.048 s 72.27/72.37 c =============================================================================== 72.27/72.37 c | 6518 | 3887 25800 651694 | 8600 6518 441 | 28.979 % | 72.58/72.66 c =============================================================================== 72.58/72.66 c New solution: 40941 72.58/72.66 o 40941 72.58/72.66 c Elapsed CPU time: 72.247 s Remaining CPU time: 107.753 s 72.58/72.66 c =============================================================================== 72.58/72.66 c | 6518 | 3887 25801 653632 | 8600 6518 441 | 28.979 % | 72.86/72.95 c =============================================================================== 72.86/72.95 c New solution: 40940 72.86/72.95 o 40940 72.86/72.95 c Elapsed CPU time: 72.535 s Remaining CPU time: 107.465 s 72.86/72.95 c =============================================================================== 72.86/72.95 c | 6519 | 3887 25802 655570 | 8600 6519 441 | 28.979 % | 73.16/73.25 c =============================================================================== 73.16/73.25 c New solution: 40938 73.16/73.25 o 40938 73.16/73.25 c Elapsed CPU time: 72.8379 s Remaining CPU time: 107.162 s 73.16/73.25 c =============================================================================== 73.16/73.25 c | 6520 | 3887 25803 657508 | 8601 6520 441 | 28.979 % | 73.56/73.62 c =============================================================================== 73.56/73.62 c New solution: 40888 73.56/73.62 o 40888 73.56/73.62 c Elapsed CPU time: 73.2009 s Remaining CPU time: 106.799 s 73.56/73.62 c =============================================================================== 73.56/73.62 c | 6522 | 3887 25804 659446 | 8601 6522 441 | 28.979 % | 73.78/73.86 c =============================================================================== 73.78/73.86 c New solution: 40887 73.78/73.86 o 40887 73.78/73.86 c Elapsed CPU time: 73.4398 s Remaining CPU time: 106.56 s 73.78/73.86 c =============================================================================== 73.78/73.86 c | 6525 | 3887 25805 661384 | 8601 6525 441 | 28.979 % | 73.97/74.04 c =============================================================================== 73.97/74.04 c New solution: 40886 73.97/74.04 o 40886 73.97/74.04 c Elapsed CPU time: 73.6218 s Remaining CPU time: 106.378 s 73.97/74.04 c =============================================================================== 73.97/74.04 c | 6525 | 3887 25806 663322 | 8602 6525 441 | 28.979 % | 74.17/74.23 c =============================================================================== 74.17/74.23 c New solution: 40885 74.17/74.23 o 40885 74.17/74.23 c Elapsed CPU time: 73.8128 s Remaining CPU time: 106.187 s 74.17/74.23 c =============================================================================== 74.17/74.23 c | 6526 | 3887 25807 665260 | 8602 6526 441 | 28.979 % | 74.37/74.42 c =============================================================================== 74.37/74.42 c New solution: 40884 74.37/74.42 o 40884 74.37/74.42 c Elapsed CPU time: 73.9988 s Remaining CPU time: 106.001 s 74.37/74.42 c =============================================================================== 74.37/74.42 c | 6530 | 3887 25808 667198 | 8602 6530 441 | 28.979 % | 75.07/75.12 c =============================================================================== 75.07/75.12 c New solution: 40883 75.07/75.12 o 40883 75.07/75.12 c Elapsed CPU time: 74.6906 s Remaining CPU time: 105.309 s 75.07/75.12 c =============================================================================== 75.07/75.12 c | 6580 | 3887 25809 669136 | 8603 6580 440 | 28.979 % | 75.47/75.56 c =============================================================================== 75.47/75.56 c New solution: 40882 75.47/75.56 o 40882 75.47/75.56 c Elapsed CPU time: 75.1376 s Remaining CPU time: 104.862 s 75.47/75.56 c =============================================================================== 75.47/75.56 c | 6591 | 3887 25810 671074 | 8603 6591 440 | 28.979 % | 75.87/75.99 c =============================================================================== 75.87/75.99 c New solution: 40881 75.87/75.99 o 40881 75.87/75.99 c Elapsed CPU time: 75.5615 s Remaining CPU time: 104.438 s 75.87/75.99 c =============================================================================== 75.87/75.99 c | 6593 | 3887 25811 673012 | 8603 6593 440 | 28.979 % | 76.26/76.40 c =============================================================================== 76.26/76.40 c New solution: 40880 76.26/76.40 o 40880 76.26/76.40 c Elapsed CPU time: 75.9665 s Remaining CPU time: 104.034 s 76.26/76.40 c =============================================================================== 76.26/76.40 c | 6593 | 3887 25812 674950 | 8604 6593 440 | 28.979 % | 76.66/76.79 c =============================================================================== 76.66/76.79 c New solution: 40879 76.66/76.79 o 40879 76.66/76.79 c Elapsed CPU time: 76.3644 s Remaining CPU time: 103.636 s 76.66/76.79 c =============================================================================== 76.66/76.79 c | 6593 | 3887 25813 676888 | 8604 6593 440 | 28.979 % | 77.16/77.20 c =============================================================================== 77.16/77.20 c New solution: 40878 77.16/77.20 o 40878 77.16/77.20 c Elapsed CPU time: 76.7753 s Remaining CPU time: 103.225 s 77.16/77.20 c =============================================================================== 77.16/77.20 c | 6595 | 3887 25814 678826 | 8604 6595 440 | 28.979 % | 77.56/77.66 c =============================================================================== 77.56/77.66 c New solution: 40877 77.56/77.66 o 40877 77.56/77.66 c Elapsed CPU time: 77.2303 s Remaining CPU time: 102.77 s 77.56/77.66 c =============================================================================== 77.56/77.66 c | 6634 | 3887 25815 680764 | 8605 6634 441 | 28.979 % | 78.27/78.32 c =============================================================================== 78.27/78.32 c New solution: 40876 78.27/78.32 o 40876 78.27/78.32 c Elapsed CPU time: 77.8852 s Remaining CPU time: 102.115 s 78.27/78.32 c =============================================================================== 78.27/78.32 c | 6695 | 3887 25816 682702 | 8605 6695 440 | 28.979 % | 78.37/78.49 c =============================================================================== 78.37/78.49 c New solution: 40875 78.37/78.49 o 40875 78.37/78.49 c Elapsed CPU time: 78.0601 s Remaining CPU time: 101.94 s 78.37/78.49 c =============================================================================== 78.37/78.49 c | 6697 | 3887 25817 684640 | 8605 6697 440 | 28.979 % | 78.57/78.69 c =============================================================================== 78.57/78.69 c New solution: 40874 78.57/78.69 o 40874 78.57/78.69 c Elapsed CPU time: 78.2631 s Remaining CPU time: 101.737 s 78.57/78.69 c =============================================================================== 78.57/78.69 c | 6703 | 3887 25818 686578 | 8606 6703 440 | 28.979 % | 79.57/79.68 c =============================================================================== 79.57/79.68 c New solution: 40873 79.57/79.68 o 40873 79.57/79.68 c Elapsed CPU time: 79.248 s Remaining CPU time: 100.752 s 79.57/79.68 c =============================================================================== 79.57/79.68 c | 6786 | 3887 25819 688516 | 8606 6786 442 | 28.979 % | 80.17/80.25 c =============================================================================== 80.17/80.25 c New solution: 40872 80.17/80.25 o 40872 80.17/80.25 c Elapsed CPU time: 79.8149 s Remaining CPU time: 100.185 s 80.17/80.25 c =============================================================================== 80.17/80.25 c | 6796 | 3887 25820 690454 | 8606 6796 442 | 28.979 % | 80.77/80.81 c =============================================================================== 80.77/80.81 c New solution: 40870 80.77/80.81 o 40870 80.77/80.81 c Elapsed CPU time: 80.3708 s Remaining CPU time: 99.6292 s 80.77/80.81 c =============================================================================== 80.77/80.81 c | 6808 | 3887 25821 692392 | 8607 6808 441 | 28.979 % | 81.06/81.17 c =============================================================================== 81.06/81.17 c New solution: 40869 81.06/81.17 o 40869 81.06/81.17 c Elapsed CPU time: 80.7357 s Remaining CPU time: 99.2643 s 81.06/81.17 c =============================================================================== 81.06/81.17 c | 6816 | 3887 25822 694330 | 8607 6816 441 | 28.979 % | 81.76/81.80 c =============================================================================== 81.76/81.80 c New solution: 40868 81.76/81.80 o 40868 81.76/81.80 c Elapsed CPU time: 81.3646 s Remaining CPU time: 98.6354 s 81.76/81.80 c =============================================================================== 81.76/81.80 c | 6859 | 3887 25823 696268 | 8607 6859 441 | 28.979 % | 81.96/82.03 c =============================================================================== 81.96/82.03 c New solution: 40867 81.96/82.03 o 40867 81.96/82.03 c Elapsed CPU time: 81.5946 s Remaining CPU time: 98.4054 s 81.96/82.03 c =============================================================================== 81.96/82.03 c | 6862 | 3887 25824 698206 | 8608 6862 441 | 28.979 % | 82.26/82.35 c =============================================================================== 82.26/82.35 c New solution: 40866 82.26/82.35 o 40866 82.26/82.35 c Elapsed CPU time: 81.9105 s Remaining CPU time: 98.0895 s 82.26/82.35 c =============================================================================== 82.26/82.35 c | 6865 | 3887 25825 700144 | 8608 6865 441 | 28.979 % | 82.47/82.57 c =============================================================================== 82.47/82.57 c New solution: 40865 82.47/82.57 o 40865 82.47/82.57 c Elapsed CPU time: 82.1285 s Remaining CPU time: 97.8715 s 82.47/82.57 c =============================================================================== 82.47/82.57 c | 6878 | 3887 25826 702082 | 8608 6878 441 | 28.979 % | 82.76/82.87 c =============================================================================== 82.76/82.87 c New solution: 40864 82.76/82.87 o 40864 82.76/82.87 c Elapsed CPU time: 82.4295 s Remaining CPU time: 97.5705 s 82.76/82.87 c =============================================================================== 82.76/82.87 c | 6894 | 3887 25827 704020 | 8609 6894 441 | 28.979 % | 83.26/83.30 c =============================================================================== 83.26/83.30 c New solution: 40863 83.26/83.30 o 40863 83.26/83.30 c Elapsed CPU time: 82.8574 s Remaining CPU time: 97.1426 s 83.26/83.30 c =============================================================================== 83.26/83.30 c | 6898 | 3887 25828 705958 | 8609 6898 441 | 28.979 % | 83.67/83.75 c =============================================================================== 83.67/83.75 c New solution: 40862 83.67/83.75 o 40862 83.67/83.75 c Elapsed CPU time: 83.3103 s Remaining CPU time: 96.6897 s 83.67/83.75 c =============================================================================== 83.67/83.75 c | 6907 | 3887 25829 707896 | 8609 6907 441 | 28.979 % | 84.26/84.37 c =============================================================================== 84.26/84.37 c New solution: 40861 84.26/84.37 o 40861 84.26/84.37 c Elapsed CPU time: 83.9332 s Remaining CPU time: 96.0668 s 84.26/84.37 c =============================================================================== 84.26/84.37 c | 6975 | 3887 25830 709834 | 8610 6975 441 | 28.979 % | 84.77/84.81 c =============================================================================== 84.77/84.81 c New solution: 40860 84.77/84.81 o 40860 84.77/84.81 c Elapsed CPU time: 84.3732 s Remaining CPU time: 95.6268 s 84.77/84.81 c =============================================================================== 84.77/84.81 c | 6989 | 3887 25831 711772 | 8610 6989 441 | 28.979 % | 86.07/86.20 c | 7089 | 3887 25831 711772 | 9471 7089 442 | 28.979 % | 86.97/87.02 c =============================================================================== 86.97/87.02 c New solution: 40859 86.97/87.02 o 40859 86.97/87.02 c Elapsed CPU time: 86.5698 s Remaining CPU time: 93.4302 s 86.97/87.02 c =============================================================================== 86.97/87.02 c | 7140 | 3887 25832 713710 | 8610 7140 442 | 28.979 % | 87.36/87.44 c =============================================================================== 87.36/87.44 c New solution: 40858 87.36/87.44 o 40858 87.36/87.44 c Elapsed CPU time: 86.9958 s Remaining CPU time: 93.0042 s 87.36/87.44 c =============================================================================== 87.36/87.44 c | 7151 | 3887 25833 715648 | 8611 7151 442 | 28.979 % | 88.96/89.05 c | 7251 | 3887 25833 715648 | 9472 7251 443 | 28.979 % | 89.36/89.47 c =============================================================================== 89.36/89.47 c New solution: 40857 89.36/89.47 o 40857 89.36/89.47 c Elapsed CPU time: 89.0175 s Remaining CPU time: 90.9825 s 89.36/89.47 c =============================================================================== 89.36/89.47 c | 7253 | 3887 25834 717586 | 8611 7253 442 | 28.979 % | 89.86/89.91 c =============================================================================== 89.86/89.91 c New solution: 40856 89.86/89.91 o 40856 89.86/89.91 c Elapsed CPU time: 89.4544 s Remaining CPU time: 90.5456 s 89.86/89.91 c =============================================================================== 89.86/89.91 c | 7293 | 3887 25835 719524 | 8611 7293 442 | 28.979 % | 90.17/90.25 c =============================================================================== 90.17/90.25 c New solution: 40855 90.17/90.25 o 40855 90.17/90.25 c Elapsed CPU time: 89.7943 s Remaining CPU time: 90.2057 s 90.17/90.25 c =============================================================================== 90.17/90.25 c | 7298 | 3887 25836 721462 | 8612 7298 442 | 28.979 % | 91.56/91.66 c | 7399 | 3887 25836 721462 | 9473 7399 443 | 28.979 % | 91.96/92.09 c =============================================================================== 91.96/92.09 c New solution: 40854 91.96/92.09 o 40854 91.96/92.09 c Elapsed CPU time: 91.6261 s Remaining CPU time: 88.3739 s 91.96/92.09 c =============================================================================== 91.96/92.09 c | 7410 | 3887 25837 723400 | 8612 7410 443 | 28.979 % | 92.37/92.50 c =============================================================================== 92.37/92.50 c New solution: 40853 92.37/92.50 o 40853 92.37/92.50 c Elapsed CPU time: 92.039 s Remaining CPU time: 87.961 s 92.37/92.50 c =============================================================================== 92.37/92.50 c | 7418 | 3887 25838 725338 | 8612 7418 443 | 28.979 % | 92.86/92.95 c =============================================================================== 92.86/92.95 c New solution: 40852 92.86/92.95 o 40852 92.86/92.95 c Elapsed CPU time: 92.4929 s Remaining CPU time: 87.5071 s 92.86/92.95 c =============================================================================== 92.86/92.95 c | 7431 | 3887 25839 727276 | 8613 7431 443 | 28.979 % | 93.46/93.53 c =============================================================================== 93.46/93.53 c New solution: 40851 93.46/93.53 o 40851 93.46/93.53 c Elapsed CPU time: 93.0629 s Remaining CPU time: 86.9371 s 93.46/93.53 c =============================================================================== 93.46/93.53 c | 7450 | 3887 25840 729214 | 8613 7450 443 | 28.979 % | 93.97/94.05 c =============================================================================== 93.97/94.05 c New solution: 40850 93.97/94.05 o 40850 93.97/94.05 c Elapsed CPU time: 93.5808 s Remaining CPU time: 86.4192 s 93.97/94.05 c =============================================================================== 93.97/94.05 c | 7505 | 3887 25841 731152 | 8613 7505 443 | 28.979 % | 94.86/94.98 c =============================================================================== 94.86/94.98 c New solution: 40849 94.86/94.98 o 40849 94.86/94.98 c Elapsed CPU time: 94.5146 s Remaining CPU time: 85.4854 s 94.86/94.98 c =============================================================================== 94.86/94.98 c | 7553 | 3887 25842 733090 | 8614 7553 444 | 28.979 % | 96.06/96.11 c =============================================================================== 96.06/96.11 c New solution: 40848 96.06/96.11 o 40848 96.06/96.11 c Elapsed CPU time: 95.6365 s Remaining CPU time: 84.3635 s 96.06/96.11 c =============================================================================== 96.06/96.11 c | 7632 | 3887 25843 735028 | 8614 7632 443 | 28.979 % | 96.46/96.55 c =============================================================================== 96.46/96.55 c New solution: 40847 96.46/96.55 o 40847 96.46/96.55 c Elapsed CPU time: 96.0854 s Remaining CPU time: 83.9146 s 96.46/96.55 c =============================================================================== 96.46/96.55 c | 7641 | 3887 25844 736966 | 8614 7641 443 | 28.979 % | 97.16/97.27 c =============================================================================== 97.16/97.27 c New solution: 40846 97.16/97.27 o 40846 97.16/97.27 c Elapsed CPU time: 96.8003 s Remaining CPU time: 83.1997 s 97.16/97.27 c =============================================================================== 97.16/97.27 c | 7663 | 3887 25845 738904 | 8615 7663 443 | 28.979 % | 97.66/97.79 c =============================================================================== 97.66/97.79 c New solution: 40845 97.66/97.79 o 40845 97.66/97.79 c Elapsed CPU time: 97.3182 s Remaining CPU time: 82.6818 s 97.66/97.79 c =============================================================================== 97.66/97.79 c | 7666 | 3887 25846 740842 | 8615 7666 443 | 28.979 % | 97.87/97.99 c =============================================================================== 97.87/97.99 c New solution: 40844 97.87/97.99 o 40844 97.87/97.99 c Elapsed CPU time: 97.5212 s Remaining CPU time: 82.4788 s 97.87/97.99 c =============================================================================== 97.87/97.99 c | 7669 | 3887 25847 742780 | 8615 7669 443 | 28.979 % | 98.16/98.21 c =============================================================================== 98.16/98.21 c New solution: 40843 98.16/98.21 o 40843 98.16/98.21 c Elapsed CPU time: 97.7341 s Remaining CPU time: 82.2659 s 98.16/98.21 c =============================================================================== 98.16/98.21 c | 7678 | 3887 25848 744718 | 8616 7678 443 | 28.979 % | 98.86/98.92 c =============================================================================== 98.86/98.92 c New solution: 40842 98.86/98.92 o 40842 98.86/98.92 c Elapsed CPU time: 98.449 s Remaining CPU time: 81.551 s 98.86/98.92 c =============================================================================== 98.86/98.92 c | 7721 | 3887 25849 746656 | 8616 7721 443 | 28.979 % | 99.45/99.50 c =============================================================================== 99.45/99.50 c New solution: 40841 99.45/99.50 o 40841 99.45/99.50 c Elapsed CPU time: 99.0279 s Remaining CPU time: 80.9721 s 99.45/99.50 c =============================================================================== 99.45/99.50 c | 7754 | 3887 25850 748594 | 8616 7754 443 | 28.979 % | 100.46/100.53 c =============================================================================== 100.46/100.53 c New solution: 39418 100.46/100.53 o 39418 100.46/100.53 c Elapsed CPU time: 100.056 s Remaining CPU time: 79.9442 s 100.46/100.53 c =============================================================================== 100.46/100.53 c | 7841 | 3887 25851 750532 | 8617 7841 442 | 28.979 % | 101.06/101.12 c =============================================================================== 101.06/101.12 c New solution: 39389 101.06/101.12 o 39389 101.06/101.12 c Elapsed CPU time: 100.642 s Remaining CPU time: 79.3583 s 101.06/101.12 c =============================================================================== 101.06/101.12 c | 7854 | 3887 25852 752470 | 8617 7854 442 | 28.979 % | 101.66/101.75 c =============================================================================== 101.66/101.75 c New solution: 39367 101.66/101.75 o 39367 101.66/101.75 c Elapsed CPU time: 101.267 s Remaining CPU time: 78.7334 s 101.66/101.75 c =============================================================================== 101.66/101.75 c | 7884 | 3887 25853 754408 | 8617 7884 442 | 28.979 % | 101.96/102.03 c =============================================================================== 101.96/102.03 c New solution: 39366 101.96/102.03 o 39366 101.96/102.03 c Elapsed CPU time: 101.549 s Remaining CPU time: 78.4514 s 101.96/102.03 c =============================================================================== 101.96/102.03 c | 7891 | 3887 25854 756346 | 8618 7891 442 | 28.979 % | 102.46/102.56 c =============================================================================== 102.46/102.56 c New solution: 39365 102.46/102.56 o 39365 102.46/102.56 c Elapsed CPU time: 102.073 s Remaining CPU time: 77.9265 s 102.46/102.56 c =============================================================================== 102.46/102.56 c | 7901 | 3887 25855 758284 | 8618 7901 442 | 28.979 % | 103.06/103.18 c =============================================================================== 103.06/103.18 c New solution: 39364 103.06/103.18 o 39364 103.06/103.18 c Elapsed CPU time: 102.694 s Remaining CPU time: 77.3056 s 103.06/103.18 c =============================================================================== 103.06/103.18 c | 7940 | 3887 25856 760222 | 8618 7940 442 | 28.979 % | 103.96/104.00 c =============================================================================== 103.96/104.00 c New solution: 39268 103.96/104.00 o 39268 103.96/104.00 c Elapsed CPU time: 103.516 s Remaining CPU time: 76.4837 s 103.96/104.00 c =============================================================================== 103.96/104.00 c | 7942 | 3887 25857 762160 | 8619 7942 442 | 28.979 % | 105.25/105.39 c | 8042 | 3887 25857 762160 | 9480 8042 442 | 28.979 % | 105.75/105.88 c =============================================================================== 105.75/105.88 c New solution: 37898 105.75/105.88 o 37898 105.75/105.88 c Elapsed CPU time: 105.389 s Remaining CPU time: 74.611 s 105.75/105.88 c =============================================================================== 105.75/105.88 c | 8048 | 3887 25858 764098 | 8619 8048 442 | 28.979 % | 106.56/106.67 c =============================================================================== 106.56/106.67 c New solution: 37890 106.56/106.67 o 37890 106.56/106.67 c Elapsed CPU time: 106.176 s Remaining CPU time: 73.8241 s 106.56/106.67 c =============================================================================== 106.56/106.67 c | 8060 | 3887 25859 766036 | 8619 8060 442 | 28.979 % | 107.16/107.27 c =============================================================================== 107.16/107.27 c New solution: 37889 107.16/107.27 o 37889 107.16/107.27 c Elapsed CPU time: 106.777 s Remaining CPU time: 73.2232 s 107.16/107.27 c =============================================================================== 107.16/107.27 c | 8106 | 3887 25860 767974 | 8620 8106 441 | 28.979 % | 107.76/107.86 c =============================================================================== 107.76/107.86 c New solution: 37887 107.76/107.86 o 37887 107.76/107.86 c Elapsed CPU time: 107.362 s Remaining CPU time: 72.6383 s 107.76/107.86 c =============================================================================== 107.76/107.86 c | 8113 | 3887 25861 769912 | 8620 8113 441 | 28.979 % | 108.56/108.60 c =============================================================================== 108.56/108.60 c New solution: 37886 108.56/108.60 o 37886 108.56/108.60 c Elapsed CPU time: 108.105 s Remaining CPU time: 71.8954 s 108.56/108.60 c =============================================================================== 108.56/108.60 c | 8182 | 3887 25862 771850 | 8620 8182 441 | 28.979 % | 108.96/109.09 c =============================================================================== 108.96/109.09 c New solution: 37885 108.96/109.09 o 37885 108.96/109.09 c Elapsed CPU time: 108.594 s Remaining CPU time: 71.4055 s 108.96/109.09 c =============================================================================== 108.96/109.09 c | 8212 | 3887 25863 773788 | 8621 8212 441 | 28.979 % | 109.66/109.73 c =============================================================================== 109.66/109.73 c New solution: 37884 109.66/109.73 o 37884 109.66/109.73 c Elapsed CPU time: 109.235 s Remaining CPU time: 70.7646 s 109.66/109.73 c =============================================================================== 109.66/109.73 c | 8231 | 3887 25864 775726 | 8621 8231 441 | 28.979 % | 110.16/110.28 c =============================================================================== 110.16/110.28 c New solution: 37870 110.16/110.28 o 37870 110.16/110.28 c Elapsed CPU time: 109.78 s Remaining CPU time: 70.2197 s 110.16/110.28 c =============================================================================== 110.16/110.28 c | 8240 | 3887 25865 777664 | 8621 8240 441 | 28.979 % | 111.07/111.14 c =============================================================================== 111.07/111.14 c New solution: 37869 111.07/111.14 o 37869 111.07/111.14 c Elapsed CPU time: 110.638 s Remaining CPU time: 69.3618 s 111.07/111.14 c =============================================================================== 111.07/111.14 c | 8305 | 3887 25866 779602 | 8622 8305 440 | 28.979 % | 111.46/111.58 c =============================================================================== 111.46/111.58 c New solution: 37868 111.46/111.58 o 37868 111.46/111.58 c Elapsed CPU time: 111.076 s Remaining CPU time: 68.9239 s 111.46/111.58 c =============================================================================== 111.46/111.58 c | 8311 | 3887 25867 781540 | 8622 8311 440 | 28.979 % | 111.86/111.94 c =============================================================================== 111.86/111.94 c New solution: 37867 111.86/111.94 o 37867 111.86/111.94 c Elapsed CPU time: 111.435 s Remaining CPU time: 68.5649 s 111.86/111.94 c =============================================================================== 111.86/111.94 c | 8314 | 3887 25868 783478 | 8622 8314 440 | 28.979 % | 112.36/112.48 c =============================================================================== 112.36/112.48 c New solution: 37866 112.36/112.48 o 37866 112.36/112.48 c Elapsed CPU time: 111.976 s Remaining CPU time: 68.024 s 112.36/112.48 c =============================================================================== 112.36/112.48 c | 8315 | 3887 25869 785416 | 8623 8315 440 | 28.979 % | 113.06/113.19 c =============================================================================== 113.06/113.19 c New solution: 37865 113.06/113.19 o 37865 113.06/113.19 c Elapsed CPU time: 112.691 s Remaining CPU time: 67.3091 s 113.06/113.19 c =============================================================================== 113.06/113.19 c | 8325 | 3887 25870 787354 | 8623 8325 441 | 28.979 % | 113.66/113.73 c =============================================================================== 113.66/113.73 c New solution: 37864 113.66/113.73 o 37864 113.66/113.73 c Elapsed CPU time: 113.225 s Remaining CPU time: 66.7752 s 113.66/113.73 c =============================================================================== 113.66/113.73 c | 8338 | 3887 25871 789292 | 8623 8338 441 | 28.979 % | 114.36/114.42 c =============================================================================== 114.36/114.42 c New solution: 37863 114.36/114.42 o 37863 114.36/114.42 c Elapsed CPU time: 113.917 s Remaining CPU time: 66.0833 s 114.36/114.42 c =============================================================================== 114.36/114.42 c | 8360 | 3887 25872 791230 | 8624 8360 441 | 28.979 % | 114.75/114.90 c =============================================================================== 114.75/114.90 c New solution: 37862 114.75/114.90 o 37862 114.75/114.90 c Elapsed CPU time: 114.389 s Remaining CPU time: 65.6114 s 114.75/114.90 c =============================================================================== 114.75/114.90 c | 8371 | 3887 25873 793168 | 8624 8371 441 | 28.979 % | 116.75/116.85 c | 8472 | 3887 25873 793168 | 9486 8472 441 | 28.979 % | 117.26/117.36 c =============================================================================== 117.26/117.36 c New solution: 37861 117.26/117.36 o 37861 117.26/117.36 c Elapsed CPU time: 116.845 s Remaining CPU time: 63.1548 s 117.26/117.36 c =============================================================================== 117.26/117.36 c | 8511 | 3887 25874 795106 | 8624 8511 441 | 28.979 % | 117.77/117.82 c =============================================================================== 117.77/117.82 c New solution: 37860 117.77/117.82 o 37860 117.77/117.82 c Elapsed CPU time: 117.312 s Remaining CPU time: 62.6878 s 117.77/117.82 c =============================================================================== 117.77/117.82 c | 8514 | 3887 25875 797044 | 8625 8514 441 | 28.979 % | 118.16/118.28 c =============================================================================== 118.16/118.28 c New solution: 37859 118.16/118.28 o 37859 118.16/118.28 c Elapsed CPU time: 117.77 s Remaining CPU time: 62.2299 s 118.16/118.28 c =============================================================================== 118.16/118.28 c | 8518 | 3887 25876 798982 | 8625 8518 441 | 28.979 % | 118.66/118.73 c =============================================================================== 118.66/118.73 c New solution: 37858 118.66/118.73 o 37858 118.66/118.73 c Elapsed CPU time: 118.218 s Remaining CPU time: 61.782 s 118.66/118.73 c =============================================================================== 118.66/118.73 c | 8520 | 3887 25877 800920 | 8625 8520 441 | 28.979 % | 120.46/120.53 c | 8620 | 3887 25877 800920 | 9488 8620 442 | 28.979 % | 121.36/121.44 c | 8771 | 3887 25877 800920 | 10437 8771 441 | 28.979 % | 123.05/123.19 c =============================================================================== 123.05/123.19 c New solution: 37857 123.05/123.19 o 37857 123.05/123.19 c Elapsed CPU time: 122.669 s Remaining CPU time: 57.3306 s 123.05/123.19 c =============================================================================== 123.05/123.19 c | 8876 | 3887 25878 802858 | 8626 8876 442 | 28.979 % | 123.55/123.68 c =============================================================================== 123.55/123.68 c New solution: 37856 123.55/123.68 o 37856 123.55/123.68 c Elapsed CPU time: 123.158 s Remaining CPU time: 56.8417 s 123.55/123.68 c =============================================================================== 123.55/123.68 c | 8887 | 3887 25879 804796 | 8626 8887 442 | 28.979 % | 124.36/124.41 c =============================================================================== 124.36/124.41 c New solution: 37855 124.36/124.41 o 37855 124.36/124.41 c Elapsed CPU time: 123.887 s Remaining CPU time: 56.1128 s 124.36/124.41 c =============================================================================== 124.36/124.41 c | 8922 | 3887 25880 806734 | 8626 8922 441 | 28.979 % | 125.05/125.19 c =============================================================================== 125.05/125.19 c New solution: 37854 125.05/125.19 o 37854 125.05/125.19 c Elapsed CPU time: 124.667 s Remaining CPU time: 55.333 s 125.05/125.19 c =============================================================================== 125.05/125.19 c | 8973 | 3887 25881 808672 | 8627 8973 441 | 28.979 % | 125.56/125.64 c =============================================================================== 125.56/125.64 c New solution: 37853 125.56/125.64 o 37853 125.56/125.64 c Elapsed CPU time: 125.112 s Remaining CPU time: 54.888 s 125.56/125.64 c =============================================================================== 125.56/125.64 c | 8973 | 3887 25882 810610 | 8627 8973 441 | 28.979 % | 125.96/126.08 c =============================================================================== 125.96/126.08 c New solution: 37852 125.96/126.08 o 37852 125.96/126.08 c Elapsed CPU time: 125.561 s Remaining CPU time: 54.4391 s 125.96/126.08 c =============================================================================== 125.96/126.08 c | 8973 | 3887 25883 812548 | 8627 8973 441 | 28.979 % | 126.46/126.53 c =============================================================================== 126.46/126.53 c New solution: 37851 126.46/126.53 o 37851 126.46/126.53 c Elapsed CPU time: 126.006 s Remaining CPU time: 53.9942 s 126.46/126.53 c =============================================================================== 126.46/126.53 c | 8973 | 3887 25884 814486 | 8628 8973 441 | 28.979 % | 126.76/126.86 c =============================================================================== 126.76/126.86 c New solution: 37850 126.76/126.86 o 37850 126.76/126.86 c Elapsed CPU time: 126.336 s Remaining CPU time: 53.6642 s 126.76/126.86 c =============================================================================== 126.76/126.86 c | 8991 | 3887 25885 816424 | 8628 8991 441 | 28.979 % | 127.45/127.52 c =============================================================================== 127.45/127.52 c New solution: 37849 127.45/127.52 o 37849 127.45/127.52 c Elapsed CPU time: 126.99 s Remaining CPU time: 53.0103 s 127.45/127.52 c =============================================================================== 127.45/127.52 c | 9028 | 3887 25886 818362 | 8628 9028 441 | 28.979 % | 127.95/128.04 c =============================================================================== 127.95/128.04 c New solution: 37848 127.95/128.04 o 37848 127.95/128.04 c Elapsed CPU time: 127.512 s Remaining CPU time: 52.4884 s 127.95/128.04 c =============================================================================== 127.95/128.04 c | 9031 | 3887 25887 820300 | 8629 9031 441 | 28.979 % | 128.45/128.51 c =============================================================================== 128.45/128.51 c New solution: 37847 128.45/128.51 o 37847 128.45/128.51 c Elapsed CPU time: 127.984 s Remaining CPU time: 52.0165 s 128.45/128.51 c =============================================================================== 128.45/128.51 c | 9034 | 3887 25888 822238 | 8629 9034 441 | 28.979 % | 129.25/129.37 c =============================================================================== 129.25/129.37 c New solution: 37846 129.25/129.37 o 37846 129.25/129.37 c Elapsed CPU time: 128.841 s Remaining CPU time: 51.1586 s 129.25/129.37 c =============================================================================== 129.25/129.37 c | 9049 | 3887 25889 824176 | 8629 9049 441 | 28.979 % | 130.96/131.02 c =============================================================================== 130.96/131.02 c New solution: 36422 130.96/131.02 o 36422 130.96/131.02 c Elapsed CPU time: 130.49 s Remaining CPU time: 49.5098 s 130.96/131.02 c =============================================================================== 130.96/131.02 c | 9129 | 3887 25890 826114 | 8630 9129 441 | 28.979 % | 131.55/131.69 c =============================================================================== 131.55/131.69 c New solution: 36398 131.55/131.69 o 36398 131.55/131.69 c Elapsed CPU time: 131.158 s Remaining CPU time: 48.8419 s 131.55/131.69 c =============================================================================== 131.55/131.69 c | 9140 | 3887 25891 828052 | 8630 9140 441 | 28.979 % | 132.05/132.20 c =============================================================================== 132.05/132.20 c New solution: 36392 132.05/132.20 o 36392 132.05/132.20 c Elapsed CPU time: 131.66 s Remaining CPU time: 48.34 s 132.05/132.20 c =============================================================================== 132.05/132.20 c | 9168 | 3887 25892 829990 | 8630 9168 441 | 28.979 % | 132.65/132.71 c =============================================================================== 132.65/132.71 c New solution: 36375 132.65/132.71 o 36375 132.65/132.71 c Elapsed CPU time: 132.173 s Remaining CPU time: 47.8271 s 132.65/132.71 c =============================================================================== 132.65/132.71 c | 9168 | 3887 25893 831928 | 8631 9168 441 | 28.979 % | 133.16/133.21 c =============================================================================== 133.16/133.21 c New solution: 36372 133.16/133.21 o 36372 133.16/133.21 c Elapsed CPU time: 132.675 s Remaining CPU time: 47.3252 s 133.16/133.21 c =============================================================================== 133.16/133.21 c | 9169 | 3887 25894 833866 | 8631 9169 441 | 28.979 % | 133.35/133.46 c =============================================================================== 133.35/133.46 c New solution: 36371 133.35/133.46 o 36371 133.35/133.46 c Elapsed CPU time: 132.922 s Remaining CPU time: 47.0782 s 133.35/133.46 c =============================================================================== 133.35/133.46 c | 9169 | 3887 25895 835804 | 8631 9169 441 | 28.979 % | 133.65/133.70 c =============================================================================== 133.65/133.70 c New solution: 36370 133.65/133.70 o 36370 133.65/133.70 c Elapsed CPU time: 133.165 s Remaining CPU time: 46.8352 s 133.65/133.70 c =============================================================================== 133.65/133.70 c | 9169 | 3887 25896 837742 | 8632 9169 441 | 28.979 % | 133.85/133.95 c =============================================================================== 133.85/133.95 c New solution: 36369 133.85/133.95 o 36369 133.85/133.95 c Elapsed CPU time: 133.414 s Remaining CPU time: 46.5863 s 133.85/133.95 c =============================================================================== 133.85/133.95 c | 9169 | 3887 25897 839680 | 8632 9169 441 | 28.979 % | 134.16/134.28 c =============================================================================== 134.16/134.28 c New solution: 36368 134.16/134.28 o 36368 134.16/134.28 c Elapsed CPU time: 133.741 s Remaining CPU time: 46.2593 s 134.16/134.28 c =============================================================================== 134.16/134.28 c | 9172 | 3887 25898 841618 | 8632 9172 441 | 28.979 % | 135.05/135.14 c =============================================================================== 135.05/135.14 c New solution: 36367 135.05/135.14 o 36367 135.05/135.14 c Elapsed CPU time: 134.604 s Remaining CPU time: 45.3965 s 135.05/135.14 c =============================================================================== 135.05/135.14 c | 9249 | 3887 25899 843556 | 8633 9249 441 | 28.979 % | 135.65/135.71 c =============================================================================== 135.65/135.71 c New solution: 36366 135.65/135.71 o 36366 135.65/135.71 c Elapsed CPU time: 135.167 s Remaining CPU time: 44.8325 s 135.65/135.71 c =============================================================================== 135.65/135.71 c | 9264 | 3887 25900 845494 | 8633 9264 440 | 28.979 % | 136.25/136.35 c =============================================================================== 136.25/136.35 c New solution: 36365 136.25/136.35 o 36365 136.25/136.35 c Elapsed CPU time: 135.813 s Remaining CPU time: 44.1866 s 136.25/136.35 c =============================================================================== 136.25/136.35 c | 9277 | 3887 25901 847432 | 8633 9277 440 | 28.979 % | 137.25/137.39 c =============================================================================== 137.25/137.39 c New solution: 36364 137.25/137.39 o 36364 137.25/137.39 c Elapsed CPU time: 136.849 s Remaining CPU time: 43.1508 s 137.25/137.39 c =============================================================================== 137.25/137.39 c | 9336 | 3887 25902 849370 | 8634 9336 440 | 28.979 % | 137.75/137.89 c =============================================================================== 137.75/137.89 c New solution: 36363 137.75/137.89 o 36363 137.75/137.89 c Elapsed CPU time: 137.351 s Remaining CPU time: 42.6489 s 137.75/137.89 c =============================================================================== 137.75/137.89 c | 9340 | 3887 25903 851308 | 8634 9340 440 | 28.979 % | 138.25/138.33 c =============================================================================== 138.25/138.33 c New solution: 36362 138.25/138.33 o 36362 138.25/138.33 c Elapsed CPU time: 137.781 s Remaining CPU time: 42.2189 s 138.25/138.33 c =============================================================================== 138.25/138.33 c | 9343 | 3887 25904 853246 | 8634 9343 440 | 28.979 % | 138.65/138.75 c =============================================================================== 138.65/138.75 c New solution: 36361 138.65/138.75 o 36361 138.65/138.75 c Elapsed CPU time: 138.201 s Remaining CPU time: 41.799 s 138.65/138.75 c =============================================================================== 138.65/138.75 c | 9343 | 3887 25905 855184 | 8635 9343 440 | 28.979 % | 139.05/139.15 c =============================================================================== 139.05/139.15 c New solution: 36360 139.05/139.15 o 36360 139.05/139.15 c Elapsed CPU time: 138.6 s Remaining CPU time: 41.4001 s 139.05/139.15 c =============================================================================== 139.05/139.15 c | 9345 | 3887 25906 857122 | 8635 9345 440 | 28.979 % | 139.45/139.58 c =============================================================================== 139.45/139.58 c New solution: 36359 139.45/139.58 o 36359 139.45/139.58 c Elapsed CPU time: 139.033 s Remaining CPU time: 40.9671 s 139.45/139.58 c =============================================================================== 139.45/139.58 c | 9346 | 3887 25907 859060 | 8635 9346 440 | 28.979 % | 140.05/140.18 c =============================================================================== 140.05/140.18 c New solution: 36358 140.05/140.18 o 36358 140.05/140.18 c Elapsed CPU time: 139.632 s Remaining CPU time: 40.3682 s 140.05/140.18 c =============================================================================== 140.05/140.18 c | 9350 | 3887 25908 860998 | 8636 9350 440 | 28.979 % | 140.65/140.70 c =============================================================================== 140.65/140.70 c New solution: 36357 140.65/140.70 o 36357 140.65/140.70 c Elapsed CPU time: 140.154 s Remaining CPU time: 39.8463 s 140.65/140.70 c =============================================================================== 140.65/140.70 c | 9362 | 3887 25909 862936 | 8636 9362 440 | 28.979 % | 141.25/141.39 c =============================================================================== 141.25/141.39 c New solution: 36356 141.25/141.39 o 36356 141.25/141.39 c Elapsed CPU time: 140.841 s Remaining CPU time: 39.1594 s 141.25/141.39 c =============================================================================== 141.25/141.39 c | 9395 | 3887 25910 864874 | 8636 9395 440 | 28.979 % | 141.75/141.88 c =============================================================================== 141.75/141.88 c New solution: 36355 141.75/141.88 o 36355 141.75/141.88 c Elapsed CPU time: 141.328 s Remaining CPU time: 38.6725 s 141.75/141.88 c =============================================================================== 141.75/141.88 c | 9404 | 3887 25911 866812 | 8637 9404 440 | 28.979 % | 142.05/142.13 c =============================================================================== 142.05/142.13 c New solution: 36354 142.05/142.13 o 36354 142.05/142.13 c Elapsed CPU time: 141.578 s Remaining CPU time: 38.4215 s 142.05/142.13 c =============================================================================== 142.05/142.13 c | 9411 | 3887 25912 868750 | 8637 9411 440 | 28.979 % | 142.65/142.74 c =============================================================================== 142.65/142.74 c New solution: 36353 142.65/142.74 o 36353 142.65/142.74 c Elapsed CPU time: 142.185 s Remaining CPU time: 37.8146 s 142.65/142.74 c =============================================================================== 142.65/142.74 c | 9444 | 3887 25913 870688 | 8637 9444 439 | 28.979 % | 143.15/143.28 c =============================================================================== 143.15/143.28 c New solution: 36352 143.15/143.28 o 36352 143.15/143.28 c Elapsed CPU time: 142.727 s Remaining CPU time: 37.2727 s 143.15/143.28 c =============================================================================== 143.15/143.28 c | 9474 | 3887 25914 872626 | 8638 9474 439 | 28.979 % | 143.75/143.80 c =============================================================================== 143.75/143.80 c New solution: 36351 143.75/143.80 o 36351 143.75/143.80 c Elapsed CPU time: 143.252 s Remaining CPU time: 36.7478 s 143.75/143.80 c =============================================================================== 143.75/143.80 c | 9481 | 3887 25915 874564 | 8638 9481 439 | 28.979 % | 144.06/144.15 c =============================================================================== 144.06/144.15 c New solution: 36350 144.06/144.15 o 36350 144.06/144.15 c Elapsed CPU time: 143.6 s Remaining CPU time: 36.3998 s 144.06/144.15 c =============================================================================== 144.06/144.15 c | 9493 | 3887 25916 876502 | 8638 9493 439 | 28.979 % | 145.05/145.16 c | 9594 | 3887 25916 876502 | 9502 9594 439 | 28.979 % | 145.75/145.82 c =============================================================================== 145.75/145.82 c New solution: 36349 145.75/145.82 o 36349 145.75/145.82 c Elapsed CPU time: 145.263 s Remaining CPU time: 34.7371 s 145.75/145.82 c =============================================================================== 145.75/145.82 c | 9633 | 3887 25917 878440 | 8639 9633 439 | 28.979 % | 146.25/146.38 c =============================================================================== 146.25/146.38 c New solution: 34942 146.25/146.38 o 34942 146.25/146.38 c Elapsed CPU time: 145.825 s Remaining CPU time: 34.1752 s 146.25/146.38 c =============================================================================== 146.25/146.38 c | 9647 | 3887 25918 880378 | 8639 9647 439 | 28.979 % | 146.74/146.80 c | 9747 | 3887 25918 880378 | 9503 9747 438 | 28.979 % | 147.36/147.46 c =============================================================================== 147.36/147.46 c New solution: 34921 147.36/147.46 o 34921 147.36/147.46 c Elapsed CPU time: 146.902 s Remaining CPU time: 33.0983 s 147.36/147.46 c =============================================================================== 147.36/147.46 c | 9752 | 3887 25919 882316 | 8639 9752 438 | 28.979 % | 148.05/148.12 c =============================================================================== 148.05/148.12 c New solution: 34894 148.05/148.12 o 34894 148.05/148.12 c Elapsed CPU time: 147.561 s Remaining CPU time: 32.4394 s 148.05/148.12 c =============================================================================== 148.05/148.12 c | 9757 | 3887 25920 884254 | 8640 9757 438 | 28.979 % | 148.65/148.77 c =============================================================================== 148.65/148.77 c New solution: 34893 148.65/148.77 o 34893 148.65/148.77 c Elapsed CPU time: 148.202 s Remaining CPU time: 31.7975 s 148.65/148.77 c =============================================================================== 148.65/148.77 c | 9769 | 3887 25921 886192 | 8640 9769 438 | 28.979 % | 149.34/149.48 c =============================================================================== 149.34/149.48 c New solution: 34883 149.34/149.48 o 34883 149.34/149.48 c Elapsed CPU time: 148.912 s Remaining CPU time: 31.0876 s 149.34/149.48 c =============================================================================== 149.34/149.48 c | 9795 | 3887 25922 888130 | 8640 9795 438 | 28.979 % | 149.95/150.08 c =============================================================================== 149.95/150.08 c New solution: 34882 149.95/150.08 o 34882 149.95/150.08 c Elapsed CPU time: 149.513 s Remaining CPU time: 30.4867 s 149.95/150.08 c =============================================================================== 149.95/150.08 c | 9807 | 3887 25923 890068 | 8641 9807 438 | 28.979 % | 150.76/150.85 c | 9908 | 3887 25923 890068 | 9505 9908 438 | 28.979 % | 151.85/151.91 c =============================================================================== 151.85/151.91 c New solution: 34881 151.85/151.91 o 34881 151.85/151.91 c Elapsed CPU time: 151.335 s Remaining CPU time: 28.665 s 151.85/151.91 c =============================================================================== 151.85/151.91 c | 9948 | 3887 25924 892006 | 8641 9948 438 | 28.979 % | 152.74/152.85 c =============================================================================== 152.74/152.85 c New solution: 34880 152.74/152.85 o 34880 152.74/152.85 c Elapsed CPU time: 152.271 s Remaining CPU time: 27.7291 s 152.74/152.85 c =============================================================================== 152.74/152.85 c | 10033 | 3887 25925 893944 | 8641 10033 437 | 28.979 % | 153.35/153.43 c =============================================================================== 153.35/153.43 c New solution: 34879 153.35/153.43 o 34879 153.35/153.43 c Elapsed CPU time: 152.847 s Remaining CPU time: 27.1532 s 153.35/153.43 c =============================================================================== 153.35/153.43 c | 10044 | 3887 25926 895882 | 8642 10044 437 | 28.979 % | 154.06/154.14 c | 10144 | 3887 25926 895882 | 9506 10144 437 | 28.979 % | 154.65/154.74 c =============================================================================== 154.65/154.74 c New solution: 34878 154.65/154.74 o 34878 154.65/154.74 c Elapsed CPU time: 154.156 s Remaining CPU time: 25.8444 s 154.65/154.74 c =============================================================================== 154.65/154.74 c | 10151 | 3887 25927 897820 | 8642 10151 437 | 28.979 % | 155.25/155.32 c =============================================================================== 155.25/155.32 c New solution: 34877 155.25/155.32 o 34877 155.25/155.32 c Elapsed CPU time: 154.733 s Remaining CPU time: 25.2665 s 155.25/155.32 c =============================================================================== 155.25/155.32 c | 10160 | 3887 25928 899758 | 8642 10160 437 | 28.979 % | 155.85/155.92 c =============================================================================== 155.85/155.92 c New solution: 34876 155.85/155.92 o 34876 155.85/155.92 c Elapsed CPU time: 155.338 s Remaining CPU time: 24.6616 s 155.85/155.92 c =============================================================================== 155.85/155.92 c | 10178 | 3887 25929 901696 | 8643 10178 437 | 28.979 % | 156.75/156.88 c =============================================================================== 156.75/156.88 c New solution: 34875 156.75/156.88 o 34875 156.75/156.88 c Elapsed CPU time: 156.291 s Remaining CPU time: 23.7088 s 156.75/156.88 c =============================================================================== 156.75/156.88 c | 10229 | 3887 25930 903634 | 8643 10229 437 | 28.979 % | 157.94/158.05 c =============================================================================== 157.94/158.05 c New solution: 34874 157.94/158.06 o 34874 157.94/158.06 c Elapsed CPU time: 157.465 s Remaining CPU time: 22.5349 s 157.94/158.06 c =============================================================================== 157.94/158.06 c | 10287 | 3887 25931 905572 | 8643 5173 398 | 28.979 % | 158.85/158.94 c =============================================================================== 158.85/158.94 c New solution: 34873 158.85/158.94 o 34873 158.85/158.94 c Elapsed CPU time: 158.349 s Remaining CPU time: 21.6511 s 158.85/158.94 c =============================================================================== 158.85/158.94 c | 10299 | 3887 25932 907510 | 8644 5185 398 | 28.979 % | 159.85/159.94 c =============================================================================== 159.85/159.94 c New solution: 34872 159.85/159.94 o 34872 159.85/159.94 c Elapsed CPU time: 159.344 s Remaining CPU time: 20.6562 s 159.85/159.94 c =============================================================================== 159.85/159.94 c | 10326 | 3887 25933 909448 | 8644 5212 398 | 28.979 % | 160.45/160.57 c =============================================================================== 160.45/160.57 c New solution: 34871 160.45/160.57 o 34871 160.45/160.57 c Elapsed CPU time: 159.973 s Remaining CPU time: 20.0273 s 160.45/160.57 c =============================================================================== 160.45/160.57 c | 10340 | 3887 25934 911386 | 8644 5226 398 | 28.979 % | 161.34/161.46 c =============================================================================== 161.34/161.46 c New solution: 34870 161.34/161.46 o 34870 161.34/161.46 c Elapsed CPU time: 160.859 s Remaining CPU time: 19.1415 s 161.34/161.46 c =============================================================================== 161.34/161.46 c | 10418 | 3887 25935 913324 | 8645 5304 398 | 28.979 % | 162.54/162.63 c =============================================================================== 162.54/162.63 c New solution: 34869 162.54/162.63 o 34869 162.54/162.63 c Elapsed CPU time: 162.034 s Remaining CPU time: 17.9656 s 162.54/162.63 c =============================================================================== 162.54/162.63 c | 10470 | 3887 25936 915262 | 8645 5356 399 | 28.979 % | 163.04/163.19 c =============================================================================== 163.04/163.19 c New solution: 34868 163.04/163.19 o 34868 163.04/163.19 c Elapsed CPU time: 162.596 s Remaining CPU time: 17.4037 s 163.04/163.19 c =============================================================================== 163.04/163.19 c | 10476 | 3887 25937 917200 | 8645 5362 399 | 28.979 % | 164.04/164.10 c =============================================================================== 164.04/164.10 c New solution: 34867 164.04/164.10 o 34867 164.04/164.10 c Elapsed CPU time: 163.505 s Remaining CPU time: 16.4949 s 164.04/164.10 c =============================================================================== 164.04/164.10 c | 10502 | 3887 25938 919138 | 8646 5388 399 | 28.979 % | 164.44/164.56 c | 10603 | 3887 25938 919138 | 9510 5489 399 | 28.979 % | 165.05/165.19 c =============================================================================== 165.05/165.19 c New solution: 34866 165.05/165.19 o 34866 165.05/165.19 c Elapsed CPU time: 164.583 s Remaining CPU time: 15.417 s 165.05/165.19 c =============================================================================== 165.05/165.19 c | 10635 | 3887 25939 921076 | 8646 5521 399 | 28.979 % | 165.64/165.72 c | 10735 | 3887 25939 921076 | 9510 5621 398 | 28.979 % | 166.15/166.28 c | 10885 | 3887 25939 921076 | 10462 5771 396 | 28.979 % | 168.64/168.72 c =============================================================================== 168.64/168.72 c New solution: 34865 168.64/168.72 o 34865 168.64/168.72 c Elapsed CPU time: 168.117 s Remaining CPU time: 11.8826 s 168.64/168.72 c =============================================================================== 168.64/168.72 c | 10981 | 3887 25940 923014 | 8646 5867 398 | 28.979 % | 169.24/169.34 c =============================================================================== 169.24/169.34 c New solution: 34864 169.24/169.34 o 34864 169.24/169.34 c Elapsed CPU time: 168.736 s Remaining CPU time: 11.2637 s 169.24/169.34 c =============================================================================== 169.24/169.34 c | 10983 | 3887 25941 924952 | 8647 5869 398 | 28.979 % | 170.04/170.11 c =============================================================================== 170.04/170.11 c New solution: 34863 170.04/170.11 o 34863 170.04/170.11 c Elapsed CPU time: 169.496 s Remaining CPU time: 10.5038 s 170.04/170.11 c =============================================================================== 170.04/170.11 c | 10998 | 3887 25942 926890 | 8647 5884 398 | 28.979 % | 170.55/170.66 c =============================================================================== 170.55/170.66 c New solution: 34862 170.55/170.66 o 34862 170.55/170.66 c Elapsed CPU time: 170.046 s Remaining CPU time: 9.95385 s 170.55/170.66 c =============================================================================== 170.55/170.66 c | 11020 | 3887 25943 928828 | 8647 5906 398 | 28.979 % | 171.24/171.30 c =============================================================================== 171.24/171.30 c New solution: 34861 171.24/171.30 o 34861 171.24/171.30 c Elapsed CPU time: 170.691 s Remaining CPU time: 9.30895 s 171.24/171.30 c =============================================================================== 171.24/171.30 c | 11031 | 3887 25944 930766 | 8648 5917 398 | 28.979 % | 171.75/171.84 c =============================================================================== 171.75/171.84 c New solution: 34860 171.75/171.84 o 34860 171.75/171.84 c Elapsed CPU time: 171.224 s Remaining CPU time: 8.77603 s 171.75/171.84 c =============================================================================== 171.75/171.84 c | 11042 | 3887 25945 932704 | 8648 5928 398 | 28.979 % | 172.65/172.77 c =============================================================================== 172.65/172.77 c New solution: 34859 172.65/172.77 o 34859 172.65/172.77 c Elapsed CPU time: 172.153 s Remaining CPU time: 7.84717 s 172.65/172.77 c =============================================================================== 172.65/172.77 c | 11093 | 3887 25946 934642 | 8648 5979 397 | 28.979 % | 173.54/173.60 c =============================================================================== 173.54/173.60 c New solution: 33444 173.54/173.60 o 33444 173.54/173.60 c Elapsed CPU time: 172.979 s Remaining CPU time: 7.0213 s 173.54/173.60 c =============================================================================== 173.54/173.60 c | 11107 | 3887 25947 936580 | 8649 5993 398 | 28.979 % | 174.44/174.55 c =============================================================================== 174.44/174.55 c New solution: 33422 174.44/174.55 o 33422 174.44/174.55 c Elapsed CPU time: 173.927 s Remaining CPU time: 6.07344 s 174.44/174.55 c =============================================================================== 174.44/174.55 c | 11143 | 3887 25948 938518 | 8649 6029 397 | 28.979 % | 175.04/175.18 c =============================================================================== 175.04/175.18 c New solution: 33399 175.04/175.18 o 33399 175.04/175.18 c Elapsed CPU time: 174.556 s Remaining CPU time: 5.44354 s 175.04/175.18 c =============================================================================== 175.04/175.18 c | 11144 | 3887 25949 940456 | 8649 6030 397 | 28.979 % | 175.74/175.85 c =============================================================================== 175.74/175.85 c New solution: 33383 175.74/175.85 o 33383 175.74/175.85 c Elapsed CPU time: 175.22 s Remaining CPU time: 4.77964 s 175.74/175.85 c =============================================================================== 175.74/175.85 c | 11147 | 3887 25950 942394 | 8650 6033 397 | 28.979 % | 176.34/176.43 c =============================================================================== 176.34/176.43 c New solution: 33382 176.34/176.43 o 33382 176.34/176.43 c Elapsed CPU time: 175.801 s Remaining CPU time: 4.19873 s 176.34/176.43 c =============================================================================== 176.34/176.43 c | 11164 | 3887 25951 944332 | 8650 6050 397 | 28.979 % | 177.04/177.15 c =============================================================================== 177.04/177.15 c New solution: 33381 177.04/177.15 o 33381 177.04/177.15 c Elapsed CPU time: 176.519 s Remaining CPU time: 3.48084 s 177.04/177.15 c =============================================================================== 177.04/177.15 c | 11184 | 3887 25952 946270 | 8650 6070 397 | 28.979 % | 177.74/177.80 c =============================================================================== 177.74/177.80 c New solution: 33380 177.74/177.80 o 33380 177.74/177.80 c Elapsed CPU time: 177.177 s Remaining CPU time: 2.82294 s 177.74/177.80 c =============================================================================== 177.74/177.80 c | 11190 | 3887 25953 948208 | 8651 6076 397 | 28.979 % | 178.54/178.61 c =============================================================================== 178.54/178.61 c New solution: 33379 178.54/178.61 o 33379 178.54/178.61 c Elapsed CPU time: 177.987 s Remaining CPU time: 2.01306 s 178.54/178.61 c =============================================================================== 178.54/178.61 c | 11211 | 3887 25954 950146 | 8651 6097 397 | 28.979 % | 179.94/180.06 c =============================================================================== 179.94/180.06 c New solution: 33378 179.94/180.06 o 33378 179.94/180.06 c Elapsed CPU time: 179.432 s Remaining CPU time: 0.568278 s 179.94/180.06 c =============================================================================== 179.94/180.06 c | 11280 | 3887 25955 952084 | 8651 6166 397 | 28.979 % | 180.54/180.67 c There are 1586 assigned variables. 258 in cost function. 184.14/184.21 c core #1 184.14/184.21 c core #2 184.14/184.21 c core #3 184.14/184.21 c core #4 184.14/184.21 c core #5 184.14/184.21 c core #6 184.14/184.21 c core #7 184.14/184.21 c core #8 184.14/184.21 c core #9 184.14/184.21 c core #10 184.14/184.21 c core #11 184.14/184.21 c core #12 184.14/184.21 c core #13 184.14/184.21 c core #14 184.14/184.21 c core #15 184.14/184.21 c core #16 184.14/184.21 c core #17 184.14/184.21 c core #18 184.14/184.21 c core #19 184.14/184.21 c core #20 184.14/184.21 c core #21 184.14/184.21 c core #22 184.14/184.21 c core #23 184.14/184.21 c core #24 184.14/184.21 c core #25 184.14/184.21 c core #26 184.14/184.21 c core #27 184.14/184.21 c core #28 184.14/184.21 c core #29 184.14/184.21 c core #30 184.14/184.21 c core #31 184.14/184.21 c core #32 184.14/184.21 c core #33 184.14/184.21 c core #34 184.14/184.21 c core #35 184.14/184.21 c core #36 184.14/184.21 c core #37 184.14/184.21 c core #38 184.14/184.21 c core #39 184.14/184.21 c core #40 184.14/184.21 c core #41 184.14/184.21 c core #42 184.14/184.21 c core #43 184.14/184.21 c core #44 184.14/184.21 c core #45 184.14/184.21 c core #46 184.14/184.21 c core #47 184.14/184.21 c core #48 184.14/184.21 c core #49 184.14/184.21 c core #50 184.14/184.21 c ============================[ Search Statistics ]============================== 184.14/184.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.21 c =============================================================================== 184.14/184.21 c | 0 | 594 19758 10270 | 6586 0 nan | 0.000 % | 184.14/184.21 c =============================================================================== 184.14/184.24 c #cores: 50 184.14/184.24 c Final Weight: 6114 184.14/184.24 o 6114 184.14/184.24 s OPTIMUM FOUND 184.14/184.24 v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 x3597 x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 x3983 x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 x4040 x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 x4050 -x4051 x4052 -x4053 x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 x4094 x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 x4213 x4214 -x4215 x4216 -x4217 -x4218 x4219 x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 x4320 x4321 -x4322 -x4323 -x4324 -x4325 x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 x4400 x4401 -x4402 -x4403 -x4404 x4405 x4406 x4407 x4408 x4409 x4410 x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 x4429 x4430 x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 x4506 x4507 x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 x4529 x4530 x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 x4552 -x4553 x4554 -x4555 x4556 -x4557 -x4558 -x4559 x4560 -x4561 x4562 -x4563 -x4564 -x4565 x4566 x4567 -x4568 -x4569 -x4570 x4571 -x4572 -x4573 -x4574 -x4575 x4576 x4577 -x4578 -x4579 -x4580 x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 x4617 x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629 -x4630 x4631 x4632 x4633 x4634 -x4635 x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 x4643 -x4644 -x4645 -x4646 x4647 x4648 -x4649 x4650 -x4651 x4652 -x4653 -x4654 -x4655 -x4656 x4657 x4658 x4659 -x4660 x4661 x4662 x4663 x4664 x4665 x4666 x4667 -x4668 -x4669 -x4670 -x4671 x4672 x4673 x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 x4688 x4689 x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 x4706 x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 x4720 x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 x4840 -x4841 -x4842 -x4843 -x4844 -x4845 x4846 x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 x4858 x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 x4874 x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 -x4897 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 x5004 -x5005 -x5006 -x5007 -x5008 x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 x5086 x5087 x5088 x5089 x5090 -x5091 x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 x5120 x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 x5147 x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 x5202 x5203 x5204 x5205 x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 x5262 -x5263 -x5264 -x5265 -x5266 -x5267 x5268 x5269 x5270 x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 x5285 x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 x5324 -x5325 -x5326 -x5327 -x5328 -x5329 x5330 -x5331 -x5332 -x5333 x5334 -x5335 -x5336 -x5337 -x5338 -x5339 x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 x5347 x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -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 x1 -x2 -x3 x4 -x5 x6 -x7 -x8 -x9 x10 -x11 x12 x13 -x14 -x15 x16 -x17 x18 x19 x20 -x21 x22 -x23 x24 x25 -x26 x27 -x28 -x29 x30 -x31 -x32 x33 x34 -x35 -x36 x37 -x38 x39 -x40 x41 x42 -x43 x44 -x45 x46 x47 -x48 -x49 x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 x99 x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 x147 -x148 x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 x162 -x163 x164 -x165 -x166 x167 -x168 -x169 -x170 x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 x275 -x276 -x277 x278 x279 -x280 x281 x282 -x283 -x284 x285 x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 x302 -x303 x304 x305 -x306 -x307 x308 -x309 -x310 -x311 x312 x313 -x314 -x315 x316 x317 -x318 -x319 x320 -x321 x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 x358 -x359 -x360 x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 x392 x393 x394 x395 x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 x430 -x431 x432 x433 x434 -x435 -x436 -x437 x438 x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 x470 -x471 -x472 x473 -x474 -x475 -x476 x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 x485 x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 x511 -x512 x513 -x514 -x515 x516 -x517 -x518 x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 x546 -x547 x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 x597 -x598 x599 -x600 x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 x613 -x614 x615 x616 -x617 -x618 x619 -x620 x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 x633 -x634 x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 x644 -x645 x646 -x647 x648 -x649 x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 x682 -x683 x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 x715 x716 -x717 -x718 -x719 x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 x728 x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 x755 -x756 x757 -x758 x759 -x760 -x761 x762 x763 -x764 -x765 x766 -x767 x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 x778 -x779 -x780 x781 -x782 x783 -x784 -x785 -x786 -x787 x788 -x789 x790 x791 -x792 x793 -x794 -x795 x796 -x797 x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 x818 x819 -x820 x821 -x822 -x823 x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 x832 x833 -x834 -x835 x836 -x837 -x838 x839 x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 x863 -x864 x865 -x866 x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 x883 x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 x923 -x924 x925 -x926 x927 -x928 x929 -x930 -x931 x932 x933 -x934 -x935 x936 -x937 -x938 x939 -x940 -x941 -x942 x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 x951 -x952 x953 x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 x965 -x966 x967 x968 -x969 -x970 -x971 -x972 x973 x974 -x975 -x976 x977 -x978 -x979 x980 x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 -x1094 x1095 x1096 x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 -x1118 x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 x1184 -x1185 -x1186 x1187 -x1188 x1189 x1190 x1191 -x1192 -x1193 -x1194 -x1195 x1196 x1197 -x1198 -x1199 x1200 -x1201 x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 x1225 -x1226 -x1227 x1228 x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 x1258 -x1259 x1260 -x1261 x1262 x1263 x1264 -x1265 -x1266 x1267 -x1268 -x1269 x1270 -x1271 x1272 -x1273 -x1274 x1275 -x1276 x1277 -x1278 x1279 -x1280 x1281 -x1282 x1283 -x1284 -x1285 x1286 x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 x1301 x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 x1309 -x1310 x1311 -x1312 -x1313 x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x1369 -x1370 -x1371 x1372 -x1373 x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 -x1453 x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 x1468 -x1469 x1470 -x1471 -x1472 -x1473 x1474 x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 x1499 -x1500 -x1501 -x1502 x1503 x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 x1527 -x1528 x1529 -x1530 -x1531 x1532 -x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 x1698 -x1699 x1700 x1701 -x1702 x1703 -x1704 x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 x1712 x1713 -x1714 -x1715 x1716 -x1717 -x1718 x1719 -x1720 x1721 -x1722 x1723 -x1724 x1725 x1726 -x1727 x1728 -x1729 x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 -x1740 -x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 x1750 x1751 -x1752 -x1753 x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 x1790 -x1791 x1792 -x1793 x1794 x1795 -x1796 x1797 -x1798 -x1799 x1800 -x1801 x1802 -x1803 x1804 x1805 x1806 -x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 -x1816 x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 -x1833 x1834 x1835 -x1836 -x1837 x1838 -x1839 -x1840 x1841 x1842 -x1843 x1844 x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 x1854 -x1855 x1856 -x1857 x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 x1900 -x1901 x1902 x1903 -x1904 x1905 -x1906 -x1907 x1908 -x1909 -x1910 x1911 -x1912 x1913 -x1914 x1915 -x1916 x1917 -x1918 x1919 -x1920 x1921 x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 x1929 x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 x1944 -x1945 -x1946 -x1947 x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 -x1973 x1974 -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 x1985 -x1986 -x1987 x1988 -x1989 x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 x2010 x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 x2019 -x2020 -x2021 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 x2043 x2044 -x2045 x2046 x2047 -x2048 x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 x2060 -x2061 -x2062 x2063 x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 x2084 -x2085 -x2086 x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2097 -x2098 -x2099 -x2100 x2101 x2102 x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 -x2115 x2116 -x2117 -x2118 x2119 -x2120 x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 x2131 x2132 -x2133 x2134 -x2135 x2136 -x2137 x2138 -x2139 x2140 -x2141 -x2142 -x2143 x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x2150 x2151 -x2152 x2153 x2154 x2155 x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 x2169 -x2170 x2171 -x2172 -x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 x2181 -x2182 x2183 -x2184 x2185 -x2186 x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 x2194 -x2195 -x2196 x2197 -x2198 x2199 x2200 -x2201 -x2202 x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 x2217 x2218 -x2219 -x2220 -x2221 -x2222 x2223 x2224 -x2225 x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 x2238 -x2239 -x2240 x2241 -x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 x2250 -x2251 -x2252 -x2253 x2254 -x2255 x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 x2263 -x2264 x2265 -x2266 x2267 x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 x2285 -x2286 -x2287 x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 x2299 x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 x2332 -x2333 x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 x2342 -x2343 x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x2352 x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x2409 -x2410 x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2421 -x2422 -x2423 -x2424 -x2425 x2426 x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 -x2462 x2463 -x2464 x2465 -x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 x2480 x2481 -x2482 x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 x2493 -x2494 x2495 -x2496 -x2497 x2498 x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 x2530 x2531 x2532 x2533 -x2534 -x2535 -x2536 -x2537 x2538 x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 x2552 x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 x2560 -x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 x2577 -x2578 -x2579 x2580 x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 x2589 x2590 -x2591 -x2592 -x2593 x2594 x2595 x2596 x2597 -x2598 -x2599 x2600 -x2601 x2602 -x2603 -x2604 -x2605 x2606 -x2607 -x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 x2628 x2629 -x2630 -x2631 -x2632 x2633 x2634 -x2635 x2636 x2637 -x2638 -x2639 -x2640 -x2641 x2642 -x2643 -x2644 -x2645 -x2646 -x2647 x2648 x2649 x2650 x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 -x2673 -x2674 -x2675 x2676 -x2677 x2678 -x2679 -x2680 -x2681 x2682 -x2683 x2684 -x2685 -x2686 x2687 -x2688 x2689 -x2690 -x2691 -x2692 -x2693 -x2694 x2695 -x2696 -x2697 -x2698 -x2699 x2700 -x2701 -x2702 -x2703 -x2704 -x2705 x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x2730 -x2731 x2732 -x2733 x2734 -x2735 x2736 -x2737 x2738 x2739 -x2740 -x2741 -x2742 -x2743 x2744 -x2745 -x2746 -x2747 x2748 x2749 -x2750 -x2751 -x2752 -x2753 x2754 -x2755 -x2756 -x2757 -x2758 x2759 x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 x2770 -x2771 -x2772 x2773 -x2774 x2775 -x2776 x2777 -x2778 x2779 x2780 x2781 -x2782 -x2783 x2784 -x2785 x2786 -x2787 x2788 -x2789 x2790 -x2791 x2792 x2793 -x2794 -x2795 -x2796 -x2797 -x2798 x2799 -x2800 -x2801 x2802 -x2803 x2804 -x2805 -x2806 -x2807 -x2808 x2809 -x2810 -x2811 -x2812 x2813 -x2814 -x2815 x2816 x2817 x2818 x2819 x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 -x2831 -x2832 -x2833 x2834 -x2835 x2836 -x2837 x2838 x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 x2873 -x2874 -x2875 x2876 x2877 x2878 x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 184.14/184.24 c Total CPU time: 183.482 s
OK 6114
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683330-1277508921/watcher-2683330-1277508921 -o /tmp/evaluation-result-2683330-1277508921/solver-2683330-1277508921 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683330-1277508921.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30637 /proc/meminfo: memFree=1834812/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=3640 CPUtime=0 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 371 0 0 0 0 0 0 0 18 0 1 0 92184572 3727360 289 1992294400 134512640 135751879 4288638928 18446744073709551615 134564675 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 910 289 143 303 0 417 0 [startup+0.100357 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30637 /proc/meminfo: memFree=1834812/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=5252 CPUtime=0.09 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 891 0 0 0 9 0 0 0 20 0 1 0 92184572 5378048 809 1992294400 134512640 135751879 4288638928 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 1313 809 298 303 0 820 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5252 [startup+0.201368 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30637 /proc/meminfo: memFree=1834812/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=6496 CPUtime=0.19 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 1426 0 0 0 19 0 0 0 20 0 1 0 92184572 6651904 1156 1992294400 134512640 135751879 4288638928 18446744073709551615 134579924 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 1624 1156 146 303 0 1319 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 6496 [startup+0.301379 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30637 /proc/meminfo: memFree=1834812/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=6760 CPUtime=0.29 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 1491 0 0 0 29 0 0 0 20 0 1 0 92184572 6922240 1221 1992294400 134512640 135751879 4288638928 18446744073709551615 134524580 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 1690 1221 146 303 0 1385 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6760 [startup+0.701423 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30637 /proc/meminfo: memFree=1834812/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=7552 CPUtime=0.69 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 1698 0 0 0 69 0 0 0 20 0 1 0 92184572 7733248 1428 1992294400 134512640 135751879 4288638928 18446744073709551615 135204032 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 1888 1428 146 303 0 1583 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7552 [startup+1.50151 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30638 /proc/meminfo: memFree=1829596/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=8344 CPUtime=1.5 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 1902 0 0 0 149 1 0 0 23 0 1 0 92184572 8544256 1632 1992294400 134512640 135751879 4288638928 18446744073709551615 135201635 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 2086 1632 146 303 0 1781 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 8344 [startup+3.10169 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30638 /proc/meminfo: memFree=1827860/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=10588 CPUtime=3.09 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 2444 0 0 0 308 1 0 0 25 0 1 0 92184572 10842112 2174 1992294400 134512640 135751879 4288638928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 2647 2174 146 303 0 2342 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10588 [startup+6.30104 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30638 /proc/meminfo: memFree=1825008/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=12040 CPUtime=6.29 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 2823 0 0 0 627 2 0 0 25 0 1 0 92184572 12328960 2553 1992294400 134512640 135751879 4288638928 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 3010 2553 146 303 0 2705 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12040 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30638 /proc/meminfo: memFree=1824760/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=12304 CPUtime=12.69 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 2883 0 0 0 1255 14 0 0 25 0 1 0 92184572 12599296 2613 1992294400 134512640 135751879 4288638928 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 3076 2613 147 303 0 2771 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12304 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30638 /proc/meminfo: memFree=1816824/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=20312 CPUtime=25.48 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 4899 0 0 0 2525 23 0 0 25 0 1 0 92184572 20799488 4629 1992294400 134512640 135751879 4288638928 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 5078 4629 147 303 0 4773 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20312 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30640 /proc/meminfo: memFree=1808020/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=29008 CPUtime=51.08 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 7065 0 0 0 5075 33 0 0 25 0 1 0 92184572 29704192 6795 1992294400 134512640 135751879 4288638928 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 7252 6795 147 303 0 6947 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 29008 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30640 /proc/meminfo: memFree=1796612/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=40040 CPUtime=102.27 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 9823 0 0 0 10182 45 0 0 25 0 1 0 92184572 41000960 9553 1992294400 134512640 135751879 4288638928 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 10010 9553 147 303 0 9705 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 40040 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30642 /proc/meminfo: memFree=1788304/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=48276 CPUtime=162.24 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 11875 0 0 0 16169 55 0 0 25 0 1 0 92184572 49434624 11605 1992294400 134512640 135751879 4288638928 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 12069 11605 148 303 0 11764 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 48276 Solver just ended. Dumping a history of the last processes samples [startup+166.402 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30642 /proc/meminfo: memFree=1787312/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=49056 CPUtime=166.35 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 12093 0 0 0 16579 56 0 0 25 0 1 0 92184572 50233344 11823 1992294400 134512640 135751879 4288638928 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 12264 11823 148 303 0 11959 0 Current children cumulated CPU time (s) 166.35 Current children cumulated vsize (KiB) 49056 [startup+172.808 s] /proc/loadavg: 1.00 1.00 1.00 3/107 30642 /proc/meminfo: memFree=1786568/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=49848 CPUtime=172.75 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 12268 0 0 0 17218 57 0 0 25 0 1 0 92184572 51044352 11998 1992294400 134512640 135751879 4288638928 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 12462 11998 148 303 0 12157 0 Current children cumulated CPU time (s) 172.75 Current children cumulated vsize (KiB) 49848 [startup+179.201 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30642 /proc/meminfo: memFree=1786072/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=50500 CPUtime=179.14 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 12429 0 0 0 17856 58 0 0 25 0 1 0 92184572 51712000 12159 1992294400 134512640 135751879 4288638928 18446744073709551615 134611307 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 12625 12159 148 303 0 12320 0 Current children cumulated CPU time (s) 179.14 Current children cumulated vsize (KiB) 50500 [startup+182.401 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30642 /proc/meminfo: memFree=1773548/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=99844 CPUtime=182.34 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 24873 0 0 0 18171 63 0 0 25 0 1 0 92184572 102240256 24504 1992294400 134512640 135751879 4288638928 18446744073709551615 134541894 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 24961 24504 151 303 0 24656 0 Current children cumulated CPU time (s) 182.34 Current children cumulated vsize (KiB) 99844 [startup+183.201 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30642 /proc/meminfo: memFree=1727172/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=139532 CPUtime=183.14 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 34794 0 0 0 18248 66 0 0 25 0 1 0 92184572 142880768 34426 1992294400 134512640 135751879 4288638928 18446744073709551615 135206572 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 34883 34427 151 303 0 34578 0 Current children cumulated CPU time (s) 183.14 Current children cumulated vsize (KiB) 139532 [startup+184.001 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30642 /proc/meminfo: memFree=1674596/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=176428 CPUtime=183.94 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 44047 0 0 0 18325 69 0 0 25 0 1 0 92184572 180662272 43678 1992294400 134512640 135751879 4288638928 18446744073709551615 134639817 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 44107 43678 151 303 0 43802 0 Current children cumulated CPU time (s) 183.94 Current children cumulated vsize (KiB) 176428 [startup+184.201 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30642 /proc/meminfo: memFree=1674596/2059040 swapFree=4139448/4192956 [pid=30637] ppid=30635 vsize=185028 CPUtime=184.14 /proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 46197 0 0 0 18344 70 0 0 25 0 1 0 92184572 189468672 45828 1992294400 134512640 135751879 4288638928 18446744073709551615 134639817 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30637/statm: 46257 45828 151 303 0 45952 0 Current children cumulated CPU time (s) 184.14 Current children cumulated vsize (KiB) 185028 Child status: 0 Real time (s): 184.264 CPU time (s): 184.211 CPU user time (s): 183.482 CPU system time (s): 0.728889 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 185028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 183.482 system time used= 0.728889 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46443 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= 130 involuntary context switches= 125 runsolver used 0.314952 second user time and 0.91986 second system time The end
Begin job on node042 at 2010-06-26 01:35:21 IDJOB=2683330 IDBENCH=72104 IDSOLVER=1161 FILE ID=node042/2683330-1277508921 PBS_JOBID= 11190608 Free space on /tmp= 62252 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand4a23d9.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-2683330-1277508921/watcher-2683330-1277508921 -o /tmp/evaluation-result-2683330-1277508921/solver-2683330-1277508921 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683330-1277508921.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 818b79ae869509d5a8ea99635b1eadb4 RANDOM SEED=422598418 node042.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.213 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.42 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.213 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1836068 kB Buffers: 32796 kB Cached: 92384 kB SwapCached: 5948 kB Active: 64496 kB Inactive: 73204 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1836068 kB SwapTotal: 4192956 kB SwapFree: 4139448 kB Dirty: 3376 kB Writeback: 0 kB AnonPages: 11304 kB Mapped: 11788 kB Slab: 63120 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183472 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-2683330-1277508921.opb Free space on /tmp at the end= 62248 MiB End job on node042 at 2010-06-26 01:38:25