Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 1964 | 182.863 | 182.91 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand362510.cudf.paranoid.opb |
MD5SUM | 9d7a0a7c8e9750367a028c0a006f2886 |
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 | 1964 |
Best CPU time to get the best result obtained on this benchmark | 2.6476 |
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 | 6052 |
Total number of constraints | 26411 |
Number of constraints which are clauses | 26118 |
Number of constraints which are cardinality constraints (but not clauses) | 293 |
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 | 2256 |
Biggest coefficient in the objective function | 1707 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 942262 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1707 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 942262 |
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-2683395-1277509357.opb. 0.00/0.00 c Instance file HOME/instance-2683395-1277509357.opb 0.00/0.00 c File size is 837428 bytes. 0.10/0.13 c Highest Coefficient sum: 553 0.10/0.13 c ============================[ Problem Statistics ]============================= 0.10/0.13 c | | 0.10/0.13 c | Parsing time: 0.13 s | 0.10/0.13 c | Number Variables: 6052 | 0.10/0.13 c | Number Clauses: 26118 | 0.10/0.13 c | Number Cardinality: 293 | 0.10/0.13 c | Number PB Constraints: 0 | 2.69/2.71 c ============================[ Search Statistics ]============================== 2.69/2.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.71 c =============================================================================== 2.69/2.72 c | 0 | 4221 27958 54906 | 8803 0 nan | 0.000 % | 2.69/2.73 c =============================================================================== 2.69/2.73 c New solution: 581068 2.69/2.73 o 581068 2.69/2.73 c Elapsed CPU time: 2.71159 s Remaining CPU time: 177.288 s 2.69/2.73 c =============================================================================== 2.69/2.73 c | 11 | 4221 27959 57062 | 9319 11 4 | 0.000 % | 2.69/2.74 c =============================================================================== 2.69/2.74 c New solution: 581067 2.69/2.74 o 581067 2.69/2.74 c Elapsed CPU time: 2.71959 s Remaining CPU time: 177.28 s 2.69/2.74 c =============================================================================== 2.69/2.74 c | 19 | 4221 27960 59218 | 9320 19 4 | 0.000 % | 2.69/2.75 c =============================================================================== 2.69/2.75 c New solution: 429060 2.69/2.75 o 429060 2.69/2.75 c Elapsed CPU time: 2.73158 s Remaining CPU time: 177.268 s 2.69/2.75 c =============================================================================== 2.69/2.75 c | 26 | 4221 27961 61374 | 9320 26 4 | 0.000 % | 2.69/2.76 c =============================================================================== 2.69/2.76 c New solution: 425652 2.69/2.76 o 425652 2.69/2.76 c Elapsed CPU time: 2.74158 s Remaining CPU time: 177.258 s 2.69/2.76 c =============================================================================== 2.69/2.76 c | 31 | 4221 27962 63530 | 9320 31 4 | 0.000 % | 2.69/2.77 c =============================================================================== 2.69/2.77 c New solution: 420550 2.69/2.77 o 420550 2.69/2.77 c Elapsed CPU time: 2.75158 s Remaining CPU time: 177.248 s 2.69/2.77 c =============================================================================== 2.69/2.77 c | 34 | 4221 27963 65686 | 9321 34 4 | 0.000 % | 2.69/2.78 c =============================================================================== 2.69/2.78 c New solution: 357354 2.69/2.78 o 357354 2.69/2.78 c Elapsed CPU time: 2.76158 s Remaining CPU time: 177.238 s 2.69/2.78 c =============================================================================== 2.69/2.78 c | 37 | 4221 27964 67842 | 9321 37 4 | 0.000 % | 2.69/2.79 c =============================================================================== 2.69/2.79 c New solution: 355650 2.69/2.79 o 355650 2.69/2.79 c Elapsed CPU time: 2.77158 s Remaining CPU time: 177.228 s 2.69/2.79 c =============================================================================== 2.69/2.79 c | 43 | 4221 27965 69998 | 9321 43 22 | 0.000 % | 2.79/2.82 c =============================================================================== 2.79/2.82 c New solution: 138895 2.79/2.82 o 138895 2.79/2.82 c Elapsed CPU time: 2.79358 s Remaining CPU time: 177.206 s 2.79/2.82 c =============================================================================== 2.79/2.82 c | 87 | 4221 27966 72154 | 9322 87 13 | 0.000 % | 2.79/2.86 c =============================================================================== 2.79/2.86 c New solution: 138888 2.79/2.86 o 138888 2.79/2.86 c Elapsed CPU time: 2.83157 s Remaining CPU time: 177.168 s 2.79/2.86 c =============================================================================== 2.79/2.86 c | 124 | 4221 27967 74310 | 9322 124 59 | 0.000 % | 2.89/2.91 c =============================================================================== 2.89/2.91 c New solution: 137241 2.89/2.91 o 137241 2.89/2.91 c Elapsed CPU time: 2.87456 s Remaining CPU time: 177.125 s 2.89/2.91 c =============================================================================== 2.89/2.91 c | 171 | 4221 27968 76466 | 9322 171 47 | 0.000 % | 2.89/2.93 c =============================================================================== 2.89/2.93 c New solution: 137187 2.89/2.93 o 137187 2.89/2.93 c Elapsed CPU time: 2.89256 s Remaining CPU time: 177.107 s 2.89/2.93 c =============================================================================== 2.89/2.93 c | 185 | 4221 27969 78622 | 9323 185 50 | 0.000 % | 2.89/2.96 c =============================================================================== 2.89/2.96 c New solution: 135508 2.89/2.96 o 135508 2.89/2.96 c Elapsed CPU time: 2.92256 s Remaining CPU time: 177.077 s 2.89/2.96 c =============================================================================== 2.89/2.96 c | 206 | 4221 27970 80778 | 9323 206 48 | 0.000 % | 2.89/2.99 c =============================================================================== 2.89/2.99 c New solution: 135468 2.89/2.99 o 135468 2.89/2.99 c Elapsed CPU time: 2.94055 s Remaining CPU time: 177.059 s 2.89/2.99 c =============================================================================== 2.89/2.99 c | 209 | 4221 27971 82934 | 9323 209 47 | 0.000 % | 3.00/3.01 c =============================================================================== 3.00/3.01 c New solution: 128643 3.00/3.01 o 128643 3.00/3.01 c Elapsed CPU time: 2.95855 s Remaining CPU time: 177.041 s 3.00/3.01 c =============================================================================== 3.00/3.01 c | 218 | 4221 27972 85090 | 9324 218 45 | 0.000 % | 3.00/3.07 c =============================================================================== 3.00/3.07 c New solution: 128629 3.00/3.07 o 128629 3.00/3.07 c Elapsed CPU time: 3.01954 s Remaining CPU time: 176.98 s 3.00/3.07 c =============================================================================== 3.00/3.07 c | 233 | 4221 27973 87246 | 9324 233 54 | 0.000 % | 3.09/3.14 c =============================================================================== 3.09/3.14 c New solution: 126970 3.09/3.14 o 126970 3.09/3.14 c Elapsed CPU time: 3.08153 s Remaining CPU time: 176.918 s 3.09/3.14 c =============================================================================== 3.09/3.14 c | 298 | 4221 27974 89402 | 9324 298 56 | 0.000 % | 3.20/3.24 c =============================================================================== 3.20/3.24 c New solution: 126965 3.20/3.24 o 126965 3.20/3.24 c Elapsed CPU time: 3.17852 s Remaining CPU time: 176.821 s 3.20/3.24 c =============================================================================== 3.20/3.24 c | 345 | 4221 27975 91558 | 9325 345 75 | 0.000 % | 3.20/3.26 c =============================================================================== 3.20/3.26 c New solution: 125356 3.20/3.26 o 125356 3.20/3.26 c Elapsed CPU time: 3.20151 s Remaining CPU time: 176.798 s 3.20/3.26 c =============================================================================== 3.20/3.26 c | 362 | 4221 27976 93714 | 9325 362 72 | 0.000 % | 3.20/3.28 c =============================================================================== 3.20/3.28 c New solution: 125328 3.20/3.28 o 125328 3.20/3.28 c Elapsed CPU time: 3.21651 s Remaining CPU time: 176.783 s 3.20/3.28 c =============================================================================== 3.20/3.28 c | 362 | 4221 27977 95870 | 9325 362 72 | 0.000 % | 3.20/3.30 c =============================================================================== 3.20/3.30 c New solution: 123641 3.20/3.30 o 123641 3.20/3.30 c Elapsed CPU time: 3.23251 s Remaining CPU time: 176.767 s 3.20/3.30 c =============================================================================== 3.20/3.30 c | 366 | 4221 27978 98026 | 9326 366 71 | 0.000 % | 3.30/3.31 c =============================================================================== 3.30/3.31 c New solution: 116788 3.30/3.31 o 116788 3.30/3.31 c Elapsed CPU time: 3.24551 s Remaining CPU time: 176.754 s 3.30/3.31 c =============================================================================== 3.30/3.31 c | 367 | 4221 27979 100182 | 9326 367 71 | 0.000 % | 3.30/3.32 c =============================================================================== 3.30/3.32 c New solution: 116787 3.30/3.32 o 116787 3.30/3.32 c Elapsed CPU time: 3.2585 s Remaining CPU time: 176.741 s 3.30/3.32 c =============================================================================== 3.30/3.32 c | 367 | 4221 27980 102338 | 9326 367 71 | 0.000 % | 3.30/3.34 c =============================================================================== 3.30/3.34 c New solution: 116782 3.30/3.34 o 116782 3.30/3.34 c Elapsed CPU time: 3.2785 s Remaining CPU time: 176.721 s 3.30/3.34 c =============================================================================== 3.30/3.34 c | 370 | 4221 27981 104494 | 9327 370 70 | 0.000 % | 3.30/3.37 c =============================================================================== 3.30/3.37 c New solution: 115093 3.30/3.37 o 115093 3.30/3.37 c Elapsed CPU time: 3.2985 s Remaining CPU time: 176.702 s 3.30/3.37 c =============================================================================== 3.30/3.37 c | 373 | 4221 27982 106650 | 9327 373 72 | 0.000 % | 3.39/3.40 c =============================================================================== 3.39/3.40 c New solution: 115062 3.39/3.40 o 115062 3.39/3.40 c Elapsed CPU time: 3.33149 s Remaining CPU time: 176.669 s 3.39/3.40 c =============================================================================== 3.39/3.40 c | 380 | 4221 27983 108806 | 9327 380 76 | 0.000 % | 3.39/3.45 c =============================================================================== 3.39/3.45 c New solution: 115057 3.39/3.45 o 115057 3.39/3.45 c Elapsed CPU time: 3.37249 s Remaining CPU time: 176.628 s 3.39/3.45 c =============================================================================== 3.39/3.45 c | 392 | 4221 27984 110962 | 9328 392 87 | 0.000 % | 3.49/3.54 c =============================================================================== 3.49/3.54 c New solution: 115042 3.49/3.54 o 115042 3.49/3.54 c Elapsed CPU time: 3.46447 s Remaining CPU time: 176.536 s 3.49/3.54 c =============================================================================== 3.49/3.54 c | 406 | 4221 27985 113118 | 9328 406 87 | 0.000 % | 3.59/3.61 c =============================================================================== 3.59/3.61 c New solution: 115022 3.59/3.61 o 115022 3.59/3.61 c Elapsed CPU time: 3.53146 s Remaining CPU time: 176.469 s 3.59/3.61 c =============================================================================== 3.59/3.61 c | 410 | 4221 27986 115274 | 9328 410 86 | 0.000 % | 3.59/3.65 c =============================================================================== 3.59/3.65 c New solution: 115017 3.59/3.65 o 115017 3.59/3.65 c Elapsed CPU time: 3.57646 s Remaining CPU time: 176.424 s 3.59/3.65 c =============================================================================== 3.59/3.65 c | 410 | 4221 27987 117430 | 9329 410 86 | 0.000 % | 3.59/3.68 c =============================================================================== 3.59/3.68 c New solution: 113347 3.59/3.68 o 113347 3.59/3.68 c Elapsed CPU time: 3.60145 s Remaining CPU time: 176.399 s 3.59/3.68 c =============================================================================== 3.59/3.68 c | 413 | 4221 27988 119586 | 9329 413 86 | 0.000 % | 3.69/3.70 c =============================================================================== 3.69/3.70 c New solution: 113346 3.69/3.70 o 113346 3.69/3.70 c Elapsed CPU time: 3.61945 s Remaining CPU time: 176.381 s 3.69/3.70 c =============================================================================== 3.69/3.70 c | 415 | 4221 27989 121742 | 9329 415 87 | 0.000 % | 3.69/3.74 c =============================================================================== 3.69/3.74 c New solution: 113323 3.69/3.74 o 113323 3.69/3.74 c Elapsed CPU time: 3.65844 s Remaining CPU time: 176.342 s 3.69/3.74 c =============================================================================== 3.69/3.74 c | 423 | 4221 27990 123898 | 9330 423 87 | 0.000 % | 3.69/3.76 c =============================================================================== 3.69/3.76 c New solution: 111666 3.69/3.76 o 111666 3.69/3.76 c Elapsed CPU time: 3.67544 s Remaining CPU time: 176.325 s 3.69/3.76 c =============================================================================== 3.69/3.76 c | 426 | 4221 27991 126054 | 9330 426 86 | 0.000 % | 3.69/3.78 c =============================================================================== 3.69/3.78 c New solution: 111651 3.69/3.78 o 111651 3.69/3.78 c Elapsed CPU time: 3.69344 s Remaining CPU time: 176.307 s 3.69/3.78 c =============================================================================== 3.69/3.78 c | 427 | 4221 27992 128210 | 9330 427 86 | 0.000 % | 3.79/3.83 c =============================================================================== 3.79/3.83 c New solution: 111586 3.79/3.83 o 111586 3.79/3.83 c Elapsed CPU time: 3.74543 s Remaining CPU time: 176.255 s 3.79/3.83 c =============================================================================== 3.79/3.83 c | 429 | 4221 27993 130366 | 9331 429 87 | 0.000 % | 3.79/3.85 c =============================================================================== 3.79/3.85 c New solution: 109952 3.79/3.85 o 109952 3.79/3.85 c Elapsed CPU time: 3.76443 s Remaining CPU time: 176.236 s 3.79/3.85 c =============================================================================== 3.79/3.85 c | 430 | 4221 27994 132522 | 9331 430 86 | 0.000 % | 3.79/3.87 c =============================================================================== 3.79/3.87 c New solution: 108256 3.79/3.87 o 108256 3.79/3.87 c Elapsed CPU time: 3.78342 s Remaining CPU time: 176.217 s 3.79/3.87 c =============================================================================== 3.79/3.87 c | 430 | 4221 27995 134678 | 9331 430 86 | 0.000 % | 3.79/3.89 c =============================================================================== 3.79/3.89 c New solution: 92903 3.79/3.89 o 92903 3.79/3.89 c Elapsed CPU time: 3.79942 s Remaining CPU time: 176.201 s 3.79/3.89 c =============================================================================== 3.79/3.89 c | 430 | 4221 27996 136834 | 9332 430 86 | 0.000 % | 3.89/3.91 c =============================================================================== 3.89/3.91 c New solution: 92868 3.89/3.91 o 92868 3.89/3.91 c Elapsed CPU time: 3.82342 s Remaining CPU time: 176.177 s 3.89/3.91 c =============================================================================== 3.89/3.91 c | 431 | 4221 27997 138990 | 9332 431 88 | 0.000 % | 3.99/4.02 c =============================================================================== 3.99/4.02 c New solution: 92835 3.99/4.02 o 92835 3.99/4.02 c Elapsed CPU time: 3.9274 s Remaining CPU time: 176.073 s 3.99/4.02 c =============================================================================== 3.99/4.02 c | 439 | 4221 27998 141146 | 9332 439 94 | 0.000 % | 4.19/4.27 c | 539 | 4221 27998 141146 | 10265 539 189 | 30.255 % | 4.30/4.37 c =============================================================================== 4.30/4.37 c New solution: 92834 4.30/4.37 o 92834 4.30/4.37 c Elapsed CPU time: 4.27535 s Remaining CPU time: 175.725 s 4.30/4.37 c =============================================================================== 4.30/4.37 c | 554 | 4221 27999 143302 | 9333 554 195 | 30.255 % | 4.50/4.57 c | 654 | 4221 27999 143302 | 10266 654 264 | 30.254 % | 4.59/4.66 c =============================================================================== 4.59/4.66 c New solution: 92816 4.59/4.66 o 92816 4.59/4.66 c Elapsed CPU time: 4.56431 s Remaining CPU time: 175.436 s 4.59/4.66 c =============================================================================== 4.59/4.66 c | 657 | 4221 28000 145458 | 9333 657 265 | 30.254 % | 4.69/4.79 c =============================================================================== 4.69/4.79 c New solution: 92815 4.69/4.79 o 92815 4.69/4.79 c Elapsed CPU time: 4.68529 s Remaining CPU time: 175.315 s 4.69/4.79 c =============================================================================== 4.69/4.79 c | 701 | 4221 28001 147614 | 9333 701 289 | 30.254 % | 5.09/5.11 c | 802 | 4221 28001 147614 | 10267 802 335 | 30.254 % | 5.09/5.16 c =============================================================================== 5.09/5.16 c New solution: 92814 5.09/5.16 o 92814 5.09/5.16 c Elapsed CPU time: 5.06023 s Remaining CPU time: 174.94 s 5.09/5.16 c =============================================================================== 5.09/5.16 c | 807 | 4221 28002 149770 | 9334 807 334 | 30.254 % | 5.19/5.21 c =============================================================================== 5.19/5.21 c New solution: 92813 5.19/5.21 o 92813 5.19/5.21 c Elapsed CPU time: 5.11222 s Remaining CPU time: 174.888 s 5.19/5.21 c =============================================================================== 5.19/5.21 c | 810 | 4221 28003 151926 | 9334 810 334 | 30.254 % | 5.40/5.44 c | 910 | 4221 28003 151926 | 10267 910 369 | 30.254 % | 5.69/5.72 c =============================================================================== 5.69/5.72 c New solution: 91175 5.69/5.72 o 91175 5.69/5.72 c Elapsed CPU time: 5.61615 s Remaining CPU time: 174.384 s 5.69/5.72 c =============================================================================== 5.69/5.72 c | 1036 | 4221 28004 154082 | 9334 1036 398 | 30.254 % | 5.69/5.76 c =============================================================================== 5.69/5.76 c New solution: 91169 5.69/5.76 o 91169 5.69/5.76 c Elapsed CPU time: 5.65714 s Remaining CPU time: 174.343 s 5.69/5.76 c =============================================================================== 5.69/5.76 c | 1041 | 4221 28005 156238 | 9335 1041 398 | 30.254 % | 5.89/5.91 c =============================================================================== 5.89/5.91 c New solution: 91145 5.89/5.91 o 91145 5.89/5.91 c Elapsed CPU time: 5.80412 s Remaining CPU time: 174.196 s 5.89/5.91 c =============================================================================== 5.89/5.91 c | 1068 | 4221 28006 158394 | 9335 1068 398 | 30.254 % | 5.89/5.98 c =============================================================================== 5.89/5.98 c New solution: 91132 5.89/5.98 o 91132 5.89/5.98 c Elapsed CPU time: 5.87311 s Remaining CPU time: 174.127 s 5.89/5.98 c =============================================================================== 5.89/5.98 c | 1071 | 4221 28007 160550 | 9335 1071 398 | 30.254 % | 6.00/6.01 c =============================================================================== 6.00/6.01 c New solution: 91131 6.00/6.01 o 91131 6.00/6.01 c Elapsed CPU time: 5.9061 s Remaining CPU time: 174.094 s 6.00/6.01 c =============================================================================== 6.00/6.01 c | 1071 | 4221 28008 162706 | 9336 1071 398 | 30.254 % | 6.00/6.05 c =============================================================================== 6.00/6.05 c New solution: 91130 6.00/6.05 o 91130 6.00/6.05 c Elapsed CPU time: 5.9411 s Remaining CPU time: 174.059 s 6.00/6.05 c =============================================================================== 6.00/6.05 c | 1071 | 4221 28009 164862 | 9336 1071 398 | 30.254 % | 6.00/6.08 c =============================================================================== 6.00/6.08 c New solution: 91129 6.00/6.08 o 91129 6.00/6.08 c Elapsed CPU time: 5.97409 s Remaining CPU time: 174.026 s 6.00/6.08 c =============================================================================== 6.00/6.08 c | 1071 | 4221 28010 167018 | 9336 1071 398 | 30.254 % | 6.19/6.26 c =============================================================================== 6.19/6.26 c New solution: 89461 6.19/6.26 o 89461 6.19/6.26 c Elapsed CPU time: 6.14607 s Remaining CPU time: 173.854 s 6.19/6.26 c =============================================================================== 6.19/6.26 c | 1128 | 4221 28011 169174 | 9337 1128 411 | 30.254 % | 6.29/6.34 c =============================================================================== 6.29/6.34 c New solution: 89389 6.29/6.34 o 89389 6.29/6.34 c Elapsed CPU time: 6.23005 s Remaining CPU time: 173.77 s 6.29/6.34 c =============================================================================== 6.29/6.34 c | 1137 | 4221 28012 171330 | 9337 1137 409 | 30.254 % | 6.79/6.85 c | 1238 | 4221 28012 171330 | 10271 1238 429 | 30.254 % | 7.19/7.24 c | 1388 | 4221 28012 171330 | 11298 1388 451 | 30.254 % | 7.59/7.67 c =============================================================================== 7.59/7.67 c New solution: 89388 7.59/7.67 o 89388 7.59/7.67 c Elapsed CPU time: 7.55185 s Remaining CPU time: 172.448 s 7.59/7.67 c =============================================================================== 7.59/7.67 c | 1529 | 4221 28013 173486 | 9337 1529 468 | 30.254 % | 7.69/7.72 c =============================================================================== 7.69/7.72 c New solution: 87763 7.69/7.72 o 87763 7.69/7.72 c Elapsed CPU time: 7.60284 s Remaining CPU time: 172.397 s 7.69/7.72 c =============================================================================== 7.69/7.72 c | 1530 | 4221 28014 175642 | 9338 1530 468 | 30.254 % | 7.69/7.76 c =============================================================================== 7.69/7.76 c New solution: 87745 7.69/7.76 o 87745 7.69/7.76 c Elapsed CPU time: 7.64584 s Remaining CPU time: 172.354 s 7.69/7.76 c =============================================================================== 7.69/7.76 c | 1532 | 4221 28015 177798 | 9338 1532 468 | 30.254 % | 7.89/7.97 c =============================================================================== 7.89/7.97 c New solution: 87744 7.89/7.97 o 87744 7.89/7.97 c Elapsed CPU time: 7.84481 s Remaining CPU time: 172.155 s 7.89/7.97 c =============================================================================== 7.89/7.97 c | 1546 | 4221 28016 179954 | 9338 1546 464 | 30.254 % | 7.99/8.04 c =============================================================================== 7.99/8.04 c New solution: 87743 7.99/8.04 o 87743 7.99/8.04 c Elapsed CPU time: 7.9128 s Remaining CPU time: 172.087 s 7.99/8.04 c =============================================================================== 7.99/8.04 c | 1548 | 4221 28017 182110 | 9339 1548 463 | 30.254 % | 8.09/8.13 c =============================================================================== 8.09/8.13 c New solution: 87734 8.09/8.13 o 87734 8.09/8.13 c Elapsed CPU time: 8.00478 s Remaining CPU time: 171.995 s 8.09/8.13 c =============================================================================== 8.09/8.13 c | 1549 | 4221 28018 184266 | 9339 1549 463 | 30.254 % | 8.19/8.22 c =============================================================================== 8.19/8.22 c New solution: 87733 8.19/8.22 o 87733 8.19/8.22 c Elapsed CPU time: 8.09977 s Remaining CPU time: 171.9 s 8.19/8.22 c =============================================================================== 8.19/8.22 c | 1551 | 4221 28019 186422 | 9339 1551 463 | 30.254 % | 8.29/8.30 c =============================================================================== 8.29/8.30 c New solution: 87732 8.29/8.30 o 87732 8.29/8.30 c Elapsed CPU time: 8.17576 s Remaining CPU time: 171.824 s 8.29/8.30 c =============================================================================== 8.29/8.30 c | 1552 | 4221 28020 188578 | 9340 1552 463 | 30.254 % | 8.49/8.57 c | 1652 | 4221 28020 188578 | 10274 1652 471 | 30.254 % | 8.59/8.67 c =============================================================================== 8.59/8.67 c New solution: 87703 8.59/8.67 o 87703 8.59/8.67 c Elapsed CPU time: 8.5457 s Remaining CPU time: 171.454 s 8.59/8.67 c =============================================================================== 8.59/8.67 c | 1654 | 4221 28021 190734 | 9340 1654 471 | 30.254 % | 8.98/9.01 c | 1755 | 4221 28021 190734 | 10274 1755 479 | 30.254 % | 9.39/9.40 c | 1905 | 4221 28021 190734 | 11301 1905 490 | 30.254 % | 10.39/10.43 c | 2130 | 4221 28021 190734 | 12431 2130 508 | 30.254 % | 10.49/10.52 c =============================================================================== 10.49/10.52 c New solution: 87702 10.49/10.52 o 87702 10.49/10.52 c Elapsed CPU time: 10.3824 s Remaining CPU time: 169.618 s 10.49/10.52 c =============================================================================== 10.49/10.52 c | 2138 | 4221 28022 192890 | 9340 2138 508 | 30.254 % | 10.49/10.56 c =============================================================================== 10.49/10.56 c New solution: 87687 10.49/10.56 o 87687 10.49/10.56 c Elapsed CPU time: 10.4304 s Remaining CPU time: 169.57 s 10.49/10.56 c =============================================================================== 10.49/10.56 c | 2151 | 4221 28023 195046 | 9341 2151 508 | 30.254 % | 10.79/10.80 c =============================================================================== 10.79/10.80 c New solution: 87686 10.79/10.80 o 87686 10.79/10.80 c Elapsed CPU time: 10.6684 s Remaining CPU time: 169.332 s 10.79/10.80 c =============================================================================== 10.79/10.80 c | 2240 | 4221 28024 197202 | 9341 2240 512 | 30.254 % | 11.09/11.11 c =============================================================================== 11.09/11.11 c New solution: 87685 11.09/11.11 o 87685 11.09/11.11 c Elapsed CPU time: 10.9713 s Remaining CPU time: 169.029 s 11.09/11.11 c =============================================================================== 11.09/11.11 c | 2298 | 4221 28025 199358 | 9341 2298 514 | 30.254 % | 11.49/11.57 c | 2400 | 4221 28025 199358 | 10275 2400 517 | 30.254 % | 11.59/11.69 c =============================================================================== 11.59/11.69 c New solution: 87684 11.59/11.69 o 87684 11.59/11.69 c Elapsed CPU time: 11.5522 s Remaining CPU time: 168.448 s 11.59/11.69 c =============================================================================== 11.59/11.69 c | 2408 | 4221 28026 201514 | 9342 2408 516 | 30.254 % | 12.19/12.24 c | 2508 | 4221 28026 201514 | 10276 2508 520 | 30.254 % | 12.39/12.40 c =============================================================================== 12.39/12.40 c New solution: 87683 12.39/12.40 o 87683 12.39/12.40 c Elapsed CPU time: 12.2611 s Remaining CPU time: 167.739 s 12.39/12.40 c =============================================================================== 12.39/12.40 c | 2538 | 4221 28027 203670 | 9342 2538 520 | 30.254 % | 12.59/12.64 c =============================================================================== 12.59/12.64 c New solution: 87682 12.59/12.64 o 87682 12.59/12.64 c Elapsed CPU time: 12.4971 s Remaining CPU time: 167.503 s 12.59/12.64 c =============================================================================== 12.59/12.64 c | 2556 | 4221 28028 205826 | 9342 2556 520 | 30.254 % | 12.69/12.72 c =============================================================================== 12.69/12.72 c New solution: 86057 12.69/12.72 o 86057 12.69/12.72 c Elapsed CPU time: 12.5791 s Remaining CPU time: 167.421 s 12.69/12.72 c =============================================================================== 12.69/12.72 c | 2567 | 4221 28029 207982 | 9343 2567 519 | 30.254 % | 12.79/12.89 c =============================================================================== 12.79/12.89 c New solution: 86000 12.79/12.89 o 86000 12.79/12.89 c Elapsed CPU time: 12.7421 s Remaining CPU time: 167.258 s 12.79/12.89 c =============================================================================== 12.79/12.89 c | 2572 | 4221 28030 210138 | 9343 2572 519 | 30.254 % | 12.99/13.02 c =============================================================================== 12.99/13.02 c New solution: 85988 12.99/13.02 o 85988 12.99/13.02 c Elapsed CPU time: 12.874 s Remaining CPU time: 167.126 s 12.99/13.02 c =============================================================================== 12.99/13.02 c | 2574 | 4221 28031 212294 | 9343 2574 519 | 30.254 % | 12.99/13.09 c =============================================================================== 12.99/13.09 c New solution: 84350 12.99/13.09 o 84350 12.99/13.09 c Elapsed CPU time: 12.941 s Remaining CPU time: 167.059 s 12.99/13.09 c =============================================================================== 12.99/13.09 c | 2576 | 4221 28032 214450 | 9344 2576 518 | 30.254 % | 13.09/13.14 c =============================================================================== 13.09/13.14 c New solution: 84349 13.09/13.14 o 84349 13.09/13.14 c Elapsed CPU time: 12.988 s Remaining CPU time: 167.012 s 13.09/13.14 c =============================================================================== 13.09/13.14 c | 2576 | 4221 28033 216606 | 9344 2576 518 | 30.254 % | 13.09/13.17 c =============================================================================== 13.09/13.17 c New solution: 84341 13.09/13.17 o 84341 13.09/13.17 c Elapsed CPU time: 13.024 s Remaining CPU time: 166.976 s 13.09/13.17 c =============================================================================== 13.09/13.17 c | 2580 | 4221 28034 218762 | 9344 2580 518 | 30.254 % | 13.29/13.31 c =============================================================================== 13.29/13.31 c New solution: 84306 13.29/13.31 o 84306 13.29/13.31 c Elapsed CPU time: 13.162 s Remaining CPU time: 166.838 s 13.29/13.31 c =============================================================================== 13.29/13.31 c | 2582 | 4221 28035 220918 | 9345 2582 518 | 30.254 % | 13.39/13.46 c =============================================================================== 13.39/13.46 c New solution: 84305 13.39/13.46 o 84305 13.39/13.46 c Elapsed CPU time: 13.314 s Remaining CPU time: 166.686 s 13.39/13.46 c =============================================================================== 13.39/13.46 c | 2584 | 4221 28036 223074 | 9345 2584 518 | 30.254 % | 13.49/13.56 c =============================================================================== 13.49/13.56 c New solution: 82662 13.49/13.56 o 82662 13.49/13.56 c Elapsed CPU time: 13.407 s Remaining CPU time: 166.593 s 13.49/13.56 c =============================================================================== 13.49/13.56 c | 2590 | 4221 28037 225230 | 9345 2590 518 | 30.254 % | 13.69/13.73 c =============================================================================== 13.69/13.73 c New solution: 82582 13.69/13.73 o 82582 13.69/13.73 c Elapsed CPU time: 13.5829 s Remaining CPU time: 166.417 s 13.69/13.73 c =============================================================================== 13.69/13.73 c | 2594 | 4221 28038 227386 | 9346 2594 518 | 30.254 % | 13.79/13.88 c =============================================================================== 13.79/13.88 c New solution: 82581 13.79/13.88 o 82581 13.79/13.88 c Elapsed CPU time: 13.7259 s Remaining CPU time: 166.274 s 13.79/13.88 c =============================================================================== 13.79/13.88 c | 2594 | 4221 28039 229542 | 9346 2594 518 | 30.254 % | 14.19/14.27 c | 2694 | 4221 28039 229542 | 10280 2694 524 | 30.254 % | 14.68/14.78 c | 2844 | 4221 28039 229542 | 11309 2844 530 | 30.254 % | 14.88/14.97 c =============================================================================== 14.88/14.97 c New solution: 82580 14.88/14.97 o 82580 14.88/14.97 c Elapsed CPU time: 14.8057 s Remaining CPU time: 165.194 s 14.88/14.97 c =============================================================================== 14.88/14.97 c | 2851 | 4221 28040 231698 | 9346 2851 530 | 30.254 % | 14.99/15.05 c =============================================================================== 14.99/15.05 c New solution: 82579 14.99/15.05 o 82579 14.99/15.05 c Elapsed CPU time: 14.8927 s Remaining CPU time: 165.107 s 14.99/15.05 c =============================================================================== 14.99/15.05 c | 2861 | 4221 28041 233854 | 9347 2861 530 | 30.254 % | 15.19/15.21 c =============================================================================== 15.19/15.21 c New solution: 80957 15.19/15.21 o 80957 15.19/15.21 c Elapsed CPU time: 15.0477 s Remaining CPU time: 164.952 s 15.19/15.21 c =============================================================================== 15.19/15.21 c | 2876 | 4221 28042 236010 | 9347 2876 530 | 30.254 % | 15.30/15.36 c =============================================================================== 15.30/15.36 c New solution: 80861 15.30/15.36 o 80861 15.30/15.36 c Elapsed CPU time: 15.1987 s Remaining CPU time: 164.801 s 15.30/15.36 c =============================================================================== 15.30/15.36 c | 2879 | 4221 28043 238166 | 9347 2879 530 | 30.254 % | 15.40/15.45 c =============================================================================== 15.40/15.45 c New solution: 80860 15.40/15.45 o 80860 15.40/15.45 c Elapsed CPU time: 15.2857 s Remaining CPU time: 164.714 s 15.40/15.45 c =============================================================================== 15.40/15.45 c | 2880 | 4221 28044 240322 | 9348 2880 530 | 30.254 % | 15.49/15.52 c =============================================================================== 15.49/15.52 c New solution: 80859 15.49/15.52 o 80859 15.49/15.52 c Elapsed CPU time: 15.3527 s Remaining CPU time: 164.647 s 15.49/15.52 c =============================================================================== 15.49/15.52 c | 2880 | 4221 28045 242478 | 9348 2880 530 | 30.254 % | 15.59/15.64 c =============================================================================== 15.59/15.64 c New solution: 80858 15.59/15.64 o 80858 15.59/15.64 c Elapsed CPU time: 15.4706 s Remaining CPU time: 164.529 s 15.59/15.64 c =============================================================================== 15.59/15.64 c | 2882 | 4221 28046 244634 | 9348 2882 530 | 30.254 % | 15.68/15.71 c =============================================================================== 15.68/15.71 c New solution: 80857 15.68/15.71 o 80857 15.68/15.71 c Elapsed CPU time: 15.5426 s Remaining CPU time: 164.457 s 15.68/15.71 c =============================================================================== 15.68/15.71 c | 2883 | 4221 28047 246790 | 9349 2883 530 | 30.254 % | 16.28/16.39 c | 2983 | 4221 28047 246790 | 10283 2983 534 | 30.254 % | 16.89/16.97 c | 3134 | 4221 28047 246790 | 11312 3134 539 | 30.254 % | 17.09/17.16 c =============================================================================== 17.09/17.16 c New solution: 80856 17.09/17.16 o 80856 17.09/17.16 c Elapsed CPU time: 16.9834 s Remaining CPU time: 163.017 s 17.09/17.16 c =============================================================================== 17.09/17.16 c | 3151 | 4221 28048 248946 | 9349 3151 539 | 30.254 % | 17.69/17.70 c | 3252 | 4221 28048 248946 | 10284 3252 541 | 30.254 % | 17.89/17.91 c =============================================================================== 17.89/17.91 c New solution: 80855 17.89/17.91 o 80855 17.89/17.91 c Elapsed CPU time: 17.7383 s Remaining CPU time: 162.262 s 17.89/17.91 c =============================================================================== 17.89/17.91 c | 3357 | 4221 28049 251102 | 9349 3357 542 | 30.254 % | 17.98/18.07 c =============================================================================== 17.98/18.07 c New solution: 79243 17.98/18.07 o 79243 17.98/18.07 c Elapsed CPU time: 17.8913 s Remaining CPU time: 162.109 s 17.98/18.07 c =============================================================================== 17.98/18.07 c | 3376 | 4221 28050 253258 | 9350 3376 543 | 30.254 % | 18.08/18.18 c =============================================================================== 18.08/18.18 c New solution: 79202 18.08/18.18 o 79202 18.08/18.18 c Elapsed CPU time: 18.0023 s Remaining CPU time: 161.998 s 18.08/18.18 c =============================================================================== 18.08/18.18 c | 3380 | 4221 28051 255414 | 9350 3380 542 | 30.254 % | 18.38/18.43 c =============================================================================== 18.38/18.43 c New solution: 79149 18.38/18.43 o 79149 18.38/18.43 c Elapsed CPU time: 18.2462 s Remaining CPU time: 161.754 s 18.38/18.43 c =============================================================================== 18.38/18.43 c | 3397 | 4221 28052 257570 | 9350 3397 542 | 30.254 % | 18.78/18.85 c | 3497 | 4221 28052 257570 | 10285 3497 544 | 30.254 % | 19.49/19.59 c | 3648 | 4221 28052 257570 | 11314 3648 548 | 30.255 % | 19.70/19.78 c =============================================================================== 19.70/19.78 c New solution: 79148 19.70/19.78 o 79148 19.70/19.78 c Elapsed CPU time: 19.601 s Remaining CPU time: 160.399 s 19.70/19.78 c =============================================================================== 19.70/19.78 c | 3650 | 4221 28053 259726 | 9351 3650 548 | 30.255 % | 20.09/20.17 c | 3750 | 4221 28053 259726 | 10286 3750 551 | 30.254 % | 20.19/20.24 c =============================================================================== 20.19/20.24 c New solution: 79147 20.19/20.24 o 79147 20.19/20.24 c Elapsed CPU time: 20.053 s Remaining CPU time: 159.947 s 20.19/20.24 c =============================================================================== 20.19/20.24 c | 3762 | 4221 28054 261882 | 9351 3762 551 | 30.254 % | 20.59/20.60 c =============================================================================== 20.59/20.60 c New solution: 79146 20.59/20.60 o 79146 20.59/20.60 c Elapsed CPU time: 20.4119 s Remaining CPU time: 159.588 s 20.59/20.60 c =============================================================================== 20.59/20.60 c | 3848 | 4221 28055 264038 | 9351 3848 553 | 30.254 % | 20.69/20.71 c =============================================================================== 20.69/20.71 c New solution: 79145 20.69/20.71 o 79145 20.69/20.71 c Elapsed CPU time: 20.5239 s Remaining CPU time: 159.476 s 20.69/20.71 c =============================================================================== 20.69/20.71 c | 3852 | 4221 28056 266194 | 9352 3852 552 | 30.254 % | 20.79/20.84 c =============================================================================== 20.79/20.84 c New solution: 79144 20.79/20.84 o 79144 20.79/20.84 c Elapsed CPU time: 20.6579 s Remaining CPU time: 159.342 s 20.79/20.84 c =============================================================================== 20.79/20.84 c | 3876 | 4221 28057 268350 | 9352 3876 553 | 30.254 % | 21.19/21.28 c | 3978 | 4221 28057 268350 | 10287 3978 554 | 30.254 % | 21.28/21.37 c =============================================================================== 21.28/21.37 c New solution: 79143 21.28/21.37 o 79143 21.28/21.37 c Elapsed CPU time: 21.1818 s Remaining CPU time: 158.818 s 21.28/21.37 c =============================================================================== 21.28/21.37 c | 3998 | 4221 28058 270506 | 9352 3998 554 | 30.254 % | 21.48/21.51 c =============================================================================== 21.48/21.51 c New solution: 79142 21.48/21.51 o 79142 21.48/21.51 c Elapsed CPU time: 21.3158 s Remaining CPU time: 158.684 s 21.48/21.51 c =============================================================================== 21.48/21.51 c | 4007 | 4221 28059 272662 | 9353 4007 554 | 30.254 % | 21.89/22.00 c | 4107 | 4221 28059 272662 | 10288 4107 556 | 30.254 % | 22.29/22.33 c =============================================================================== 22.29/22.33 c New solution: 77534 22.29/22.33 o 77534 22.29/22.33 c Elapsed CPU time: 22.1316 s Remaining CPU time: 157.868 s 22.29/22.33 c =============================================================================== 22.29/22.33 c | 4152 | 4221 28060 274818 | 9353 4152 557 | 30.254 % | 22.48/22.51 c =============================================================================== 22.48/22.51 c New solution: 77448 22.48/22.51 o 77448 22.48/22.51 c Elapsed CPU time: 22.3146 s Remaining CPU time: 157.685 s 22.48/22.51 c =============================================================================== 22.48/22.51 c | 4157 | 4221 28061 276974 | 9353 4157 556 | 30.254 % | 22.68/22.76 c =============================================================================== 22.68/22.76 c New solution: 77447 22.68/22.76 o 77447 22.68/22.76 c Elapsed CPU time: 22.5636 s Remaining CPU time: 157.436 s 22.68/22.76 c =============================================================================== 22.68/22.76 c | 4166 | 4221 28062 279130 | 9354 4166 556 | 30.254 % | 22.89/22.94 c =============================================================================== 22.89/22.94 c New solution: 77446 22.89/22.94 o 77446 22.89/22.94 c Elapsed CPU time: 22.7405 s Remaining CPU time: 157.259 s 22.89/22.94 c =============================================================================== 22.89/22.94 c | 4179 | 4221 28063 281286 | 9354 4179 556 | 30.254 % | 23.29/23.36 c =============================================================================== 23.29/23.36 c New solution: 77445 23.29/23.36 o 77445 23.29/23.36 c Elapsed CPU time: 23.1545 s Remaining CPU time: 156.846 s 23.29/23.36 c =============================================================================== 23.29/23.36 c | 4189 | 4221 28064 283442 | 9354 4189 555 | 30.254 % | 23.49/23.58 c =============================================================================== 23.49/23.58 c New solution: 77439 23.49/23.58 o 77439 23.49/23.58 c Elapsed CPU time: 23.3744 s Remaining CPU time: 156.626 s 23.49/23.58 c =============================================================================== 23.49/23.58 c | 4189 | 4221 28065 285598 | 9355 4189 555 | 30.254 % | 23.69/23.79 c =============================================================================== 23.69/23.79 c New solution: 77430 23.69/23.79 o 77430 23.69/23.79 c Elapsed CPU time: 23.5864 s Remaining CPU time: 156.414 s 23.69/23.79 c =============================================================================== 23.69/23.79 c | 4189 | 4221 28066 287754 | 9355 4189 555 | 30.254 % | 23.98/24.01 c =============================================================================== 23.98/24.01 c New solution: 77429 23.98/24.01 o 77429 23.98/24.01 c Elapsed CPU time: 23.8024 s Remaining CPU time: 156.198 s 23.98/24.01 c =============================================================================== 23.98/24.01 c | 4190 | 4221 28067 289910 | 9355 4190 555 | 30.254 % | 24.19/24.22 c =============================================================================== 24.19/24.22 c New solution: 77428 24.19/24.22 o 77428 24.19/24.22 c Elapsed CPU time: 24.0073 s Remaining CPU time: 155.993 s 24.19/24.22 c =============================================================================== 24.19/24.22 c | 4198 | 4221 28068 292066 | 9356 4198 555 | 30.254 % | 24.28/24.34 c =============================================================================== 24.28/24.34 c New solution: 75806 24.28/24.34 o 75806 24.28/24.34 c Elapsed CPU time: 24.1283 s Remaining CPU time: 155.872 s 24.28/24.34 c =============================================================================== 24.28/24.34 c | 4199 | 4221 28069 294222 | 9356 4199 555 | 30.254 % | 24.39/24.47 c =============================================================================== 24.39/24.47 c New solution: 75805 24.39/24.47 o 75805 24.39/24.47 c Elapsed CPU time: 24.2503 s Remaining CPU time: 155.75 s 24.39/24.47 c =============================================================================== 24.39/24.47 c | 4200 | 4221 28070 296378 | 9356 4200 555 | 30.254 % | 24.49/24.58 c =============================================================================== 24.49/24.58 c New solution: 75804 24.49/24.58 o 75804 24.49/24.58 c Elapsed CPU time: 24.3643 s Remaining CPU time: 155.636 s 24.49/24.58 c =============================================================================== 24.49/24.58 c | 4200 | 4221 28071 298534 | 9357 4200 555 | 30.254 % | 24.69/24.71 c =============================================================================== 24.69/24.71 c New solution: 75803 24.69/24.71 o 75803 24.69/24.71 c Elapsed CPU time: 24.4933 s Remaining CPU time: 155.507 s 24.69/24.71 c =============================================================================== 24.69/24.71 c | 4201 | 4221 28072 300690 | 9357 4201 555 | 30.254 % | 24.78/24.82 c =============================================================================== 24.78/24.82 c New solution: 75802 24.78/24.82 o 75802 24.78/24.82 c Elapsed CPU time: 24.6053 s Remaining CPU time: 155.395 s 24.78/24.82 c =============================================================================== 24.78/24.82 c | 4201 | 4221 28073 302846 | 9357 4201 555 | 30.254 % | 24.98/25.06 c =============================================================================== 24.98/25.06 c New solution: 75801 24.98/25.06 o 75801 24.98/25.06 c Elapsed CPU time: 24.8402 s Remaining CPU time: 155.16 s 24.98/25.06 c =============================================================================== 24.98/25.06 c | 4207 | 4221 28074 305002 | 9358 4207 554 | 30.254 % | 25.19/25.20 c =============================================================================== 25.19/25.20 c New solution: 75768 25.19/25.20 o 75768 25.19/25.20 c Elapsed CPU time: 24.9832 s Remaining CPU time: 155.017 s 25.19/25.20 c =============================================================================== 25.19/25.20 c | 4209 | 4221 28075 307158 | 9358 4209 554 | 30.254 % | 25.68/25.71 c | 4309 | 4221 28075 307158 | 10294 4309 557 | 30.254 % | 25.89/25.94 c =============================================================================== 25.89/25.94 c New solution: 75757 25.89/25.94 o 75757 25.89/25.94 c Elapsed CPU time: 25.7151 s Remaining CPU time: 154.285 s 25.89/25.94 c =============================================================================== 25.89/25.94 c | 4311 | 4221 28076 309314 | 9358 4311 557 | 30.254 % | 26.09/26.18 c =============================================================================== 26.09/26.18 c New solution: 75756 26.09/26.18 o 75756 26.09/26.18 c Elapsed CPU time: 25.9541 s Remaining CPU time: 154.046 s 26.09/26.18 c =============================================================================== 26.09/26.18 c | 4314 | 4221 28077 311470 | 9359 4314 557 | 30.254 % | 26.39/26.41 c =============================================================================== 26.39/26.41 c New solution: 75755 26.39/26.41 o 75755 26.39/26.41 c Elapsed CPU time: 26.177 s Remaining CPU time: 153.823 s 26.39/26.41 c =============================================================================== 26.39/26.41 c | 4314 | 4221 28078 313626 | 9359 4314 557 | 30.254 % | 26.58/26.63 c =============================================================================== 26.58/26.63 c New solution: 75754 26.58/26.63 o 75754 26.58/26.63 c Elapsed CPU time: 26.4 s Remaining CPU time: 153.6 s 26.58/26.63 c =============================================================================== 26.58/26.63 c | 4314 | 4221 28079 315782 | 9359 4314 557 | 30.254 % | 26.78/26.86 c =============================================================================== 26.78/26.86 c New solution: 75753 26.78/26.86 o 75753 26.78/26.86 c Elapsed CPU time: 26.623 s Remaining CPU time: 153.377 s 26.78/26.86 c =============================================================================== 26.78/26.86 c | 4314 | 4221 28080 317938 | 9360 4314 557 | 30.254 % | 26.98/27.09 c =============================================================================== 26.98/27.09 c New solution: 75752 26.98/27.09 o 75752 26.98/27.09 c Elapsed CPU time: 26.8549 s Remaining CPU time: 153.145 s 26.98/27.09 c =============================================================================== 26.98/27.09 c | 4315 | 4221 28081 320094 | 9360 4315 557 | 30.254 % | 27.99/28.04 c | 4415 | 4221 28081 320094 | 10296 4415 560 | 30.254 % | 28.09/28.17 c =============================================================================== 28.09/28.17 c New solution: 75751 28.09/28.17 o 75751 28.09/28.17 c Elapsed CPU time: 27.9378 s Remaining CPU time: 152.062 s 28.09/28.17 c =============================================================================== 28.09/28.17 c | 4426 | 4221 28082 322250 | 9360 4426 560 | 30.254 % | 28.59/28.61 c =============================================================================== 28.59/28.61 c New solution: 75750 28.59/28.61 o 75750 28.59/28.61 c Elapsed CPU time: 28.3707 s Remaining CPU time: 151.629 s 28.59/28.61 c =============================================================================== 28.59/28.61 c | 4508 | 4221 28083 324406 | 9361 4508 562 | 30.254 % | 29.18/29.28 c | 4608 | 4221 28083 324406 | 10297 4608 563 | 30.254 % | 29.48/29.55 c =============================================================================== 29.48/29.55 c New solution: 75749 29.48/29.55 o 75749 29.48/29.55 c Elapsed CPU time: 29.3115 s Remaining CPU time: 150.688 s 29.48/29.55 c =============================================================================== 29.48/29.55 c | 4621 | 4221 28084 326562 | 9361 4621 562 | 30.254 % | 30.08/30.14 c | 4721 | 4221 28084 326562 | 10297 4721 564 | 30.254 % | 30.79/30.88 c | 4873 | 4221 28084 326562 | 11327 4873 568 | 30.254 % | 31.49/31.51 c =============================================================================== 31.49/31.51 c New solution: 75748 31.49/31.51 o 75748 31.49/31.51 c Elapsed CPU time: 31.2632 s Remaining CPU time: 148.737 s 31.49/31.51 c =============================================================================== 31.49/31.51 c | 4924 | 4221 28085 328718 | 9361 4924 569 | 30.254 % | 31.98/32.01 c =============================================================================== 31.98/32.01 c New solution: 74111 31.98/32.01 o 74111 31.98/32.01 c Elapsed CPU time: 31.7602 s Remaining CPU time: 148.24 s 31.98/32.01 c =============================================================================== 31.98/32.01 c | 4957 | 4221 28086 330874 | 9362 4957 568 | 30.254 % | 32.08/32.17 c | 5058 | 4221 28086 330874 | 10298 5058 568 | 30.254 % | 32.28/32.35 c =============================================================================== 32.28/32.35 c New solution: 74082 32.28/32.35 o 74082 32.28/32.35 c Elapsed CPU time: 32.0921 s Remaining CPU time: 147.908 s 32.28/32.35 c =============================================================================== 32.28/32.35 c | 5059 | 4221 28087 333030 | 9362 5059 568 | 30.254 % | 32.49/32.52 c =============================================================================== 32.49/32.52 c New solution: 74081 32.49/32.52 o 74081 32.49/32.52 c Elapsed CPU time: 32.2601 s Remaining CPU time: 147.74 s 32.49/32.52 c =============================================================================== 32.49/32.52 c | 5059 | 4221 28088 335186 | 9362 5059 568 | 30.254 % | 32.59/32.68 c =============================================================================== 32.59/32.68 c New solution: 74080 32.59/32.68 o 74080 32.59/32.68 c Elapsed CPU time: 32.4261 s Remaining CPU time: 147.574 s 32.59/32.68 c =============================================================================== 32.59/32.68 c | 5059 | 4221 28089 337342 | 9363 5059 568 | 30.254 % | 32.78/32.85 c =============================================================================== 32.78/32.85 c New solution: 74079 32.78/32.85 o 74079 32.78/32.85 c Elapsed CPU time: 32.594 s Remaining CPU time: 147.406 s 32.78/32.85 c =============================================================================== 32.78/32.85 c | 5060 | 4221 28090 339498 | 9363 5060 568 | 30.254 % | 32.99/33.01 c =============================================================================== 32.99/33.01 c New solution: 74070 32.99/33.01 o 74070 32.99/33.01 c Elapsed CPU time: 32.753 s Remaining CPU time: 147.247 s 32.99/33.01 c =============================================================================== 32.99/33.01 c | 5060 | 4221 28091 341654 | 9363 5060 568 | 30.254 % | 33.08/33.17 c =============================================================================== 33.08/33.17 c New solution: 74069 33.08/33.17 o 74069 33.08/33.17 c Elapsed CPU time: 32.913 s Remaining CPU time: 147.087 s 33.08/33.18 c =============================================================================== 33.08/33.18 c | 5060 | 4221 28092 343810 | 9364 5060 568 | 30.254 % | 33.28/33.33 c =============================================================================== 33.28/33.33 c New solution: 74068 33.28/33.33 o 74068 33.28/33.33 c Elapsed CPU time: 33.07 s Remaining CPU time: 146.93 s 33.28/33.33 c =============================================================================== 33.28/33.33 c | 5060 | 4221 28093 345966 | 9364 5060 568 | 30.254 % | 33.38/33.49 c =============================================================================== 33.38/33.49 c New solution: 74067 33.38/33.49 o 74067 33.38/33.49 c Elapsed CPU time: 33.2269 s Remaining CPU time: 146.773 s 33.38/33.49 c =============================================================================== 33.38/33.49 c | 5060 | 4221 28094 348122 | 9364 5060 568 | 30.254 % | 33.59/33.65 c =============================================================================== 33.59/33.65 c New solution: 74066 33.59/33.65 o 74066 33.59/33.65 c Elapsed CPU time: 33.3849 s Remaining CPU time: 146.615 s 33.59/33.65 c =============================================================================== 33.59/33.65 c | 5060 | 4221 28095 350278 | 9365 5060 568 | 30.254 % | 33.78/33.84 c =============================================================================== 33.78/33.84 c New solution: 74065 33.78/33.84 o 74065 33.78/33.84 c Elapsed CPU time: 33.5749 s Remaining CPU time: 146.425 s 33.78/33.84 c =============================================================================== 33.78/33.84 c | 5062 | 4221 28096 352434 | 9365 5062 568 | 30.254 % | 33.88/33.95 c =============================================================================== 33.88/33.95 c New solution: 72407 33.88/33.95 o 72407 33.88/33.95 c Elapsed CPU time: 33.6779 s Remaining CPU time: 146.322 s 33.88/33.95 c =============================================================================== 33.88/33.95 c | 5065 | 4221 28097 354590 | 9365 5065 568 | 30.254 % | 34.09/34.12 c =============================================================================== 34.09/34.12 c New solution: 72386 34.09/34.12 o 72386 34.09/34.12 c Elapsed CPU time: 33.8559 s Remaining CPU time: 146.144 s 34.09/34.12 c =============================================================================== 34.09/34.12 c | 5065 | 4221 28098 356746 | 9366 5065 568 | 30.254 % | 34.28/34.30 c =============================================================================== 34.28/34.30 c New solution: 72384 34.28/34.30 o 72384 34.28/34.30 c Elapsed CPU time: 34.0308 s Remaining CPU time: 145.969 s 34.28/34.30 c =============================================================================== 34.28/34.30 c | 5065 | 4221 28099 358902 | 9366 5065 568 | 30.254 % | 34.38/34.47 c =============================================================================== 34.38/34.47 c New solution: 72379 34.38/34.47 o 72379 34.38/34.47 c Elapsed CPU time: 34.2008 s Remaining CPU time: 145.799 s 34.38/34.47 c =============================================================================== 34.38/34.47 c | 5065 | 4221 28100 361058 | 9366 5065 568 | 30.254 % | 34.58/34.64 c =============================================================================== 34.58/34.64 c New solution: 72378 34.58/34.64 o 72378 34.58/34.64 c Elapsed CPU time: 34.3688 s Remaining CPU time: 145.631 s 34.58/34.64 c =============================================================================== 34.58/34.64 c | 5065 | 4221 28101 363214 | 9367 5065 568 | 30.254 % | 34.78/34.81 c =============================================================================== 34.78/34.81 c New solution: 72377 34.78/34.81 o 72377 34.78/34.81 c Elapsed CPU time: 34.5377 s Remaining CPU time: 145.462 s 34.78/34.81 c =============================================================================== 34.78/34.81 c | 5065 | 4221 28102 365370 | 9367 5065 568 | 30.254 % | 34.88/34.98 c =============================================================================== 34.88/34.98 c New solution: 72376 34.88/34.98 o 72376 34.88/34.98 c Elapsed CPU time: 34.7047 s Remaining CPU time: 145.295 s 34.88/34.98 c =============================================================================== 34.88/34.98 c | 5065 | 4221 28103 367526 | 9367 5065 568 | 30.254 % | 35.09/35.15 c =============================================================================== 35.09/35.15 c New solution: 72375 35.09/35.15 o 72375 35.09/35.15 c Elapsed CPU time: 34.8737 s Remaining CPU time: 145.126 s 35.09/35.15 c =============================================================================== 35.09/35.15 c | 5065 | 4221 28104 369682 | 9368 5065 568 | 30.254 % | 35.28/35.32 c =============================================================================== 35.28/35.32 c New solution: 72374 35.28/35.32 o 72374 35.28/35.32 c Elapsed CPU time: 35.0357 s Remaining CPU time: 144.964 s 35.28/35.32 c =============================================================================== 35.28/35.32 c | 5065 | 4221 28105 371838 | 9368 5065 568 | 30.254 % | 35.38/35.49 c =============================================================================== 35.38/35.49 c New solution: 72373 35.38/35.49 o 72373 35.38/35.49 c Elapsed CPU time: 35.2056 s Remaining CPU time: 144.794 s 35.38/35.49 c =============================================================================== 35.38/35.49 c | 5066 | 4221 28106 373994 | 9368 5066 568 | 30.254 % | 35.68/35.75 c =============================================================================== 35.68/35.75 c New solution: 72372 35.68/35.75 o 72372 35.68/35.75 c Elapsed CPU time: 35.4676 s Remaining CPU time: 144.532 s 35.68/35.75 c =============================================================================== 35.68/35.75 c | 5066 | 4221 28107 376150 | 9369 5066 568 | 30.254 % | 35.88/35.94 c =============================================================================== 35.88/35.94 c New solution: 72371 35.88/35.94 o 72371 35.88/35.94 c Elapsed CPU time: 35.6526 s Remaining CPU time: 144.347 s 35.88/35.94 c =============================================================================== 35.88/35.94 c | 5070 | 4221 28108 378306 | 9369 5070 568 | 30.254 % | 36.68/36.79 c | 5170 | 4221 28108 378306 | 10306 5170 570 | 30.254 % | 36.98/37.03 c =============================================================================== 36.98/37.03 c New solution: 72370 36.98/37.03 o 72370 36.98/37.03 c Elapsed CPU time: 36.7454 s Remaining CPU time: 143.255 s 36.98/37.03 c =============================================================================== 36.98/37.03 c | 5176 | 4221 28109 380462 | 9369 5176 570 | 30.254 % | 37.29/37.30 c =============================================================================== 37.29/37.30 c New solution: 72342 37.29/37.30 o 72342 37.29/37.30 c Elapsed CPU time: 37.0134 s Remaining CPU time: 142.987 s 37.29/37.30 c =============================================================================== 37.29/37.30 c | 5180 | 4221 28110 382618 | 9370 5180 570 | 30.254 % | 37.39/37.44 c =============================================================================== 37.39/37.44 c New solution: 72341 37.39/37.44 o 72341 37.39/37.44 c Elapsed CPU time: 37.1474 s Remaining CPU time: 142.853 s 37.39/37.44 c =============================================================================== 37.39/37.44 c | 5193 | 4221 28111 384774 | 9370 5193 570 | 30.254 % | 37.88/37.90 c =============================================================================== 37.88/37.90 c New solution: 72340 37.88/37.90 o 72340 37.88/37.90 c Elapsed CPU time: 37.6103 s Remaining CPU time: 142.39 s 37.88/37.90 c =============================================================================== 37.88/37.90 c | 5233 | 4221 28112 386930 | 9370 5233 571 | 30.254 % | 38.08/38.19 c =============================================================================== 38.08/38.19 c New solution: 72339 38.08/38.19 o 72339 38.08/38.19 c Elapsed CPU time: 37.8962 s Remaining CPU time: 142.104 s 38.08/38.19 c =============================================================================== 38.08/38.19 c | 5236 | 4221 28113 389086 | 9371 5236 571 | 30.254 % | 38.88/38.90 c | 5338 | 4221 28113 389086 | 10308 5338 572 | 30.254 % | 39.08/39.11 c =============================================================================== 39.08/39.11 c New solution: 72338 39.08/39.11 o 72338 39.08/39.11 c Elapsed CPU time: 38.8091 s Remaining CPU time: 141.191 s 39.08/39.11 c =============================================================================== 39.08/39.11 c | 5342 | 4221 28114 391242 | 9371 5342 572 | 30.254 % | 39.78/39.80 c | 5443 | 4221 28114 391242 | 10308 5443 574 | 30.254 % | 40.59/40.70 c =============================================================================== 40.59/40.70 c New solution: 72337 40.59/40.70 o 72337 40.59/40.70 c Elapsed CPU time: 40.4009 s Remaining CPU time: 139.599 s 40.59/40.70 c =============================================================================== 40.59/40.70 c | 5501 | 4221 28115 393398 | 9371 5501 573 | 30.254 % | 41.48/41.55 c | 5602 | 4221 28115 393398 | 10308 5602 575 | 30.254 % | 41.68/41.71 c =============================================================================== 41.68/41.71 c New solution: 72336 41.68/41.71 o 72336 41.68/41.71 c Elapsed CPU time: 41.4047 s Remaining CPU time: 138.595 s 41.68/41.71 c =============================================================================== 41.68/41.71 c | 5623 | 4221 28116 395554 | 9372 5623 575 | 30.254 % | 42.07/42.19 c =============================================================================== 42.07/42.19 c New solution: 72335 42.07/42.19 o 72335 42.07/42.19 c Elapsed CPU time: 41.8846 s Remaining CPU time: 138.115 s 42.07/42.19 c =============================================================================== 42.07/42.19 c | 5681 | 4221 28117 397710 | 9372 5681 576 | 30.254 % | 42.89/42.92 c | 5782 | 4221 28117 397710 | 10309 5782 577 | 30.254 % | 43.78/43.85 c | 5933 | 4221 28117 397710 | 11340 5933 579 | 30.255 % | 44.28/44.33 c =============================================================================== 44.28/44.33 c New solution: 72314 44.28/44.33 o 72314 44.28/44.33 c Elapsed CPU time: 44.0153 s Remaining CPU time: 135.985 s 44.28/44.33 c =============================================================================== 44.28/44.33 c | 5938 | 4221 28118 399866 | 9372 5938 578 | 30.255 % | 44.38/44.47 c =============================================================================== 44.38/44.47 c New solution: 72313 44.38/44.47 o 72313 44.38/44.47 c Elapsed CPU time: 44.1533 s Remaining CPU time: 135.847 s 44.38/44.47 c =============================================================================== 44.38/44.47 c | 5942 | 4221 28119 402022 | 9373 5942 578 | 30.255 % | 45.18/45.22 c | 6043 | 4221 28119 402022 | 10310 6043 578 | 30.254 % | 46.28/46.33 c | 6195 | 4221 28119 402022 | 11341 6195 580 | 30.254 % | 49.28/49.37 c | 6420 | 4221 28119 402022 | 12475 6420 581 | 30.254 % | 49.49/49.54 c =============================================================================== 49.49/49.54 c New solution: 72312 49.49/49.54 o 72312 49.49/49.54 c Elapsed CPU time: 49.2215 s Remaining CPU time: 130.778 s 49.49/49.54 c =============================================================================== 49.49/49.54 c | 6423 | 4221 28120 404178 | 9373 6423 581 | 30.254 % | 50.28/50.39 c | 6523 | 4221 28120 404178 | 10310 6523 582 | 30.254 % | 50.68/50.70 c =============================================================================== 50.68/50.70 c New solution: 72311 50.68/50.70 o 72311 50.68/50.70 c Elapsed CPU time: 50.3723 s Remaining CPU time: 129.628 s 50.68/50.70 c =============================================================================== 50.68/50.70 c | 6540 | 4221 28121 406334 | 9373 6540 582 | 30.254 % | 50.88/50.92 c =============================================================================== 50.88/50.92 c New solution: 72310 50.88/50.92 o 72310 50.88/50.92 c Elapsed CPU time: 50.5923 s Remaining CPU time: 129.408 s 50.88/50.92 c =============================================================================== 50.88/50.92 c | 6544 | 4221 28122 408490 | 9374 6544 582 | 30.254 % | 51.17/51.24 c =============================================================================== 51.17/51.24 c New solution: 72309 51.17/51.24 o 72309 51.17/51.24 c Elapsed CPU time: 50.9073 s Remaining CPU time: 129.093 s 51.17/51.24 c =============================================================================== 51.17/51.24 c | 6550 | 4221 28123 410646 | 9374 6550 582 | 30.254 % | 51.38/51.47 c =============================================================================== 51.38/51.47 c New solution: 72308 51.38/51.47 o 72308 51.38/51.47 c Elapsed CPU time: 51.1352 s Remaining CPU time: 128.865 s 51.38/51.47 c =============================================================================== 51.38/51.47 c | 6572 | 4221 28124 412802 | 9374 6572 582 | 30.254 % | 51.69/51.77 c =============================================================================== 51.69/51.77 c New solution: 72307 51.69/51.77 o 72307 51.69/51.77 c Elapsed CPU time: 51.4422 s Remaining CPU time: 128.558 s 51.69/51.77 c =============================================================================== 51.69/51.77 c | 6594 | 4221 28125 414958 | 9375 6594 582 | 30.254 % | 52.58/52.60 c | 6695 | 4221 28125 414958 | 10312 6695 583 | 30.254 % | 53.68/53.76 c | 6847 | 4221 28125 414958 | 11343 6847 584 | 30.254 % | 55.47/55.58 c | 7072 | 4221 28125 414958 | 12478 7072 585 | 30.254 % | 55.87/55.99 c =============================================================================== 55.87/55.99 c New solution: 72306 55.87/55.99 o 72306 55.87/55.99 c Elapsed CPU time: 55.6525 s Remaining CPU time: 124.347 s 55.87/55.99 c =============================================================================== 55.87/55.99 c | 7104 | 4221 28126 417114 | 9375 7104 585 | 30.254 % | 56.87/56.99 c | 7204 | 4221 28126 417114 | 10312 7204 586 | 30.254 % | 57.18/57.27 c =============================================================================== 57.18/57.27 c New solution: 72305 57.18/57.27 o 72305 57.18/57.27 c Elapsed CPU time: 56.9313 s Remaining CPU time: 123.069 s 57.18/57.27 c =============================================================================== 57.18/57.27 c | 7208 | 4221 28127 419270 | 9375 7208 586 | 30.254 % | 57.88/57.96 c | 7308 | 4221 28127 419270 | 10313 7308 586 | 30.254 % | 58.19/58.27 c =============================================================================== 58.19/58.27 c New solution: 72304 58.19/58.27 o 72304 58.19/58.27 c Elapsed CPU time: 57.9242 s Remaining CPU time: 122.076 s 58.19/58.27 c =============================================================================== 58.19/58.27 c | 7319 | 4221 28128 421426 | 9376 7319 586 | 30.254 % | 58.29/58.39 c =============================================================================== 58.29/58.39 c New solution: 72303 58.29/58.39 o 72303 58.29/58.39 c Elapsed CPU time: 58.0432 s Remaining CPU time: 121.957 s 58.29/58.39 c =============================================================================== 58.29/58.39 c | 7322 | 4221 28129 423582 | 9376 7322 586 | 30.254 % | 58.78/58.83 c =============================================================================== 58.78/58.83 c New solution: 72302 58.78/58.83 o 72302 58.78/58.83 c Elapsed CPU time: 58.4831 s Remaining CPU time: 121.517 s 58.78/58.83 c =============================================================================== 58.78/58.83 c | 7385 | 4221 28130 425738 | 9376 7385 586 | 30.254 % | 58.98/59.05 c =============================================================================== 58.98/59.05 c New solution: 72301 58.98/59.05 o 72301 58.98/59.05 c Elapsed CPU time: 58.7071 s Remaining CPU time: 121.293 s 58.98/59.05 c =============================================================================== 58.98/59.05 c | 7395 | 4221 28131 427894 | 9377 7395 586 | 30.254 % | 59.18/59.27 c =============================================================================== 59.18/59.27 c New solution: 70673 59.18/59.27 o 70673 59.18/59.27 c Elapsed CPU time: 58.926 s Remaining CPU time: 121.074 s 59.18/59.27 c =============================================================================== 59.18/59.27 c | 7402 | 4221 28132 430050 | 9377 7402 586 | 30.254 % | 59.48/59.52 c =============================================================================== 59.48/59.52 c New solution: 70637 59.48/59.52 o 70637 59.48/59.52 c Elapsed CPU time: 59.171 s Remaining CPU time: 120.829 s 59.48/59.52 c =============================================================================== 59.48/59.52 c | 7405 | 4221 28133 432206 | 9377 7405 586 | 30.254 % | 59.67/59.73 c =============================================================================== 59.67/59.73 c New solution: 70628 59.67/59.73 o 70628 59.67/59.73 c Elapsed CPU time: 59.383 s Remaining CPU time: 120.617 s 59.67/59.73 c =============================================================================== 59.67/59.73 c | 7406 | 4221 28134 434362 | 9378 7406 586 | 30.254 % | 59.77/59.86 c =============================================================================== 59.77/59.86 c New solution: 70627 59.77/59.86 o 70627 59.77/59.86 c Elapsed CPU time: 59.509 s Remaining CPU time: 120.491 s 59.77/59.86 c =============================================================================== 59.77/59.86 c | 7409 | 4221 28135 436518 | 9378 7409 586 | 30.254 % | 60.07/60.18 c =============================================================================== 60.07/60.18 c New solution: 70626 60.07/60.18 o 70626 60.07/60.18 c Elapsed CPU time: 59.8339 s Remaining CPU time: 120.166 s 60.07/60.18 c =============================================================================== 60.07/60.18 c | 7433 | 4221 28136 438674 | 9378 7433 586 | 30.254 % | 60.77/60.86 c | 7533 | 4221 28136 438674 | 10316 7533 587 | 30.254 % | 61.07/61.13 c =============================================================================== 61.07/61.13 c New solution: 70617 61.07/61.13 o 70617 61.07/61.13 c Elapsed CPU time: 60.7818 s Remaining CPU time: 119.218 s 61.07/61.13 c =============================================================================== 61.07/61.13 c | 7534 | 4221 28137 440830 | 9379 7534 587 | 30.254 % | 61.87/61.93 c | 7634 | 4221 28137 440830 | 10316 7634 588 | 30.254 % | 62.18/62.20 c =============================================================================== 62.18/62.20 c New solution: 70616 62.18/62.20 o 70616 62.18/62.20 c Elapsed CPU time: 61.8476 s Remaining CPU time: 118.152 s 62.18/62.20 c =============================================================================== 62.18/62.20 c | 7636 | 4221 28138 442986 | 9379 7636 588 | 30.254 % | 62.38/62.44 c =============================================================================== 62.38/62.44 c New solution: 70615 62.38/62.44 o 70615 62.38/62.44 c Elapsed CPU time: 62.0836 s Remaining CPU time: 117.916 s 62.38/62.44 c =============================================================================== 62.38/62.44 c | 7638 | 4221 28139 445142 | 9379 7638 588 | 30.254 % | 63.37/63.47 c | 7738 | 4221 28139 445142 | 10317 7738 589 | 30.254 % | 63.57/63.66 c =============================================================================== 63.57/63.66 c New solution: 70614 63.57/63.66 o 70614 63.57/63.66 c Elapsed CPU time: 63.3004 s Remaining CPU time: 116.7 s 63.57/63.66 c =============================================================================== 63.57/63.66 c | 7750 | 4221 28140 447298 | 9380 7750 589 | 30.254 % | 63.97/64.02 c =============================================================================== 63.97/64.02 c New solution: 70613 63.97/64.02 o 70613 63.97/64.02 c Elapsed CPU time: 63.6613 s Remaining CPU time: 116.339 s 63.97/64.02 c =============================================================================== 63.97/64.02 c | 7768 | 4221 28141 449454 | 9380 7768 589 | 30.254 % | 64.17/64.27 c =============================================================================== 64.17/64.27 c New solution: 70612 64.17/64.27 o 70612 64.17/64.27 c Elapsed CPU time: 63.9153 s Remaining CPU time: 116.085 s 64.17/64.27 c =============================================================================== 64.17/64.27 c | 7779 | 4221 28142 451610 | 9380 7779 588 | 30.254 % | 65.77/65.81 c | 7879 | 4221 28142 451610 | 10318 7879 589 | 30.254 % | 66.07/66.11 c =============================================================================== 66.07/66.11 c New solution: 69044 66.07/66.11 o 69044 66.07/66.11 c Elapsed CPU time: 65.745 s Remaining CPU time: 114.255 s 66.07/66.11 c =============================================================================== 66.07/66.11 c | 7883 | 4221 28143 453766 | 9381 7883 589 | 30.254 % | 66.37/66.44 c =============================================================================== 66.37/66.44 c New solution: 68920 66.37/66.44 o 68920 66.37/66.44 c Elapsed CPU time: 66.072 s Remaining CPU time: 113.928 s 66.37/66.44 c =============================================================================== 66.37/66.44 c | 7901 | 4221 28144 455922 | 9381 7901 588 | 30.254 % | 67.18/67.20 c | 8001 | 4221 28144 455922 | 10319 8001 589 | 30.254 % | 68.67/68.79 c | 8151 | 4221 28144 455922 | 11351 8151 590 | 30.254 % | 68.97/69.05 c =============================================================================== 68.97/69.05 c New solution: 68919 68.97/69.05 o 68919 68.97/69.05 c Elapsed CPU time: 68.6856 s Remaining CPU time: 111.314 s 68.97/69.05 c =============================================================================== 68.97/69.05 c | 8151 | 4221 28145 458078 | 9381 8151 590 | 30.254 % | 69.28/69.33 c =============================================================================== 69.28/69.33 c New solution: 68918 69.28/69.33 o 68918 69.28/69.33 c Elapsed CPU time: 68.9555 s Remaining CPU time: 111.044 s 69.28/69.33 c =============================================================================== 69.28/69.33 c | 8151 | 4221 28146 460234 | 9382 8151 590 | 30.254 % | 69.57/69.60 c =============================================================================== 69.57/69.60 c New solution: 68917 69.57/69.60 o 68917 69.57/69.60 c Elapsed CPU time: 69.2255 s Remaining CPU time: 110.775 s 69.57/69.60 c =============================================================================== 69.57/69.60 c | 8151 | 4221 28147 462390 | 9382 8151 590 | 30.254 % | 70.18/70.20 c =============================================================================== 70.18/70.20 c New solution: 68916 70.18/70.20 o 68916 70.18/70.20 c Elapsed CPU time: 69.8264 s Remaining CPU time: 110.174 s 70.18/70.20 c =============================================================================== 70.18/70.20 c | 8203 | 4221 28148 464546 | 9382 8203 591 | 30.254 % | 70.48/70.58 c =============================================================================== 70.48/70.58 c New solution: 68915 70.48/70.58 o 68915 70.48/70.58 c Elapsed CPU time: 70.2083 s Remaining CPU time: 109.792 s 70.48/70.58 c =============================================================================== 70.48/70.58 c | 8205 | 4221 28149 466702 | 9383 8205 591 | 30.254 % | 71.67/71.77 c | 8306 | 4221 28149 466702 | 10321 8306 592 | 30.254 % | 71.97/72.08 c | 8456 | 4221 28149 466702 | 11353 8456 591 | 30.254 % | 72.37/72.44 c =============================================================================== 72.37/72.44 c New solution: 68911 72.37/72.44 o 68911 72.37/72.44 c Elapsed CPU time: 72.063 s Remaining CPU time: 107.937 s 72.37/72.44 c =============================================================================== 72.37/72.44 c | 8458 | 4221 28150 468858 | 9383 8458 591 | 30.254 % | 72.58/72.63 c =============================================================================== 72.58/72.63 c New solution: 68910 72.58/72.63 o 68910 72.58/72.63 c Elapsed CPU time: 72.248 s Remaining CPU time: 107.752 s 72.58/72.63 c =============================================================================== 72.58/72.63 c | 8459 | 4221 28151 471014 | 9383 8459 591 | 30.254 % | 72.87/72.98 c =============================================================================== 72.87/72.98 c New solution: 68909 72.87/72.98 o 68909 72.87/72.98 c Elapsed CPU time: 72.597 s Remaining CPU time: 107.403 s 72.87/72.98 c =============================================================================== 72.87/72.98 c | 8463 | 4221 28152 473170 | 9384 8463 591 | 30.254 % | 73.77/73.80 c =============================================================================== 73.77/73.80 c New solution: 68908 73.77/73.80 o 68908 73.77/73.80 c Elapsed CPU time: 73.4178 s Remaining CPU time: 106.582 s 73.77/73.80 c =============================================================================== 73.77/73.80 c | 8539 | 4221 28153 475326 | 9384 8539 592 | 30.254 % | 74.07/74.12 c =============================================================================== 74.07/74.12 c New solution: 68907 74.07/74.12 o 68907 74.07/74.12 c Elapsed CPU time: 73.7348 s Remaining CPU time: 106.265 s 74.07/74.12 c =============================================================================== 74.07/74.12 c | 8542 | 4221 28154 477482 | 9384 8542 592 | 30.254 % | 75.17/75.29 c | 8642 | 4221 28154 477482 | 10323 8642 592 | 30.254 % | 75.48/75.51 c =============================================================================== 75.48/75.51 c New solution: 68906 75.48/75.51 o 68906 75.48/75.51 c Elapsed CPU time: 75.1196 s Remaining CPU time: 104.88 s 75.48/75.51 c =============================================================================== 75.48/75.51 c | 8642 | 4221 28155 479638 | 9385 8642 592 | 30.254 % | 76.67/76.75 c | 8742 | 4221 28155 479638 | 10323 8742 593 | 30.254 % | 79.08/79.13 c | 8892 | 4221 28155 479638 | 11355 8892 594 | 30.254 % | 79.37/79.48 c =============================================================================== 79.37/79.48 c New solution: 68905 79.37/79.48 o 68905 79.37/79.48 c Elapsed CPU time: 79.085 s Remaining CPU time: 100.915 s 79.37/79.48 c =============================================================================== 79.37/79.48 c | 8894 | 4221 28156 481794 | 9385 8894 594 | 30.254 % | 80.47/80.50 c | 8994 | 4221 28156 481794 | 10323 8994 594 | 30.254 % | 80.77/80.85 c =============================================================================== 80.77/80.85 c New solution: 68902 80.77/80.85 o 68902 80.77/80.85 c Elapsed CPU time: 80.4548 s Remaining CPU time: 99.5452 s 80.77/80.85 c =============================================================================== 80.77/80.85 c | 8994 | 4221 28157 483950 | 9385 8994 594 | 30.254 % | 81.17/81.21 c =============================================================================== 81.17/81.21 c New solution: 68901 81.17/81.21 o 68901 81.17/81.21 c Elapsed CPU time: 80.8087 s Remaining CPU time: 99.1913 s 81.17/81.21 c =============================================================================== 81.17/81.21 c | 8994 | 4221 28158 486106 | 9386 8994 594 | 30.254 % | 81.47/81.55 c =============================================================================== 81.47/81.55 c New solution: 68900 81.47/81.55 o 68900 81.47/81.55 c Elapsed CPU time: 81.1547 s Remaining CPU time: 98.8453 s 81.47/81.55 c =============================================================================== 81.47/81.55 c | 8995 | 4221 28159 488262 | 9386 8995 594 | 30.254 % | 82.67/82.80 c | 9095 | 4221 28159 488262 | 10324 9095 594 | 30.254 % | 84.27/84.36 c | 9245 | 4221 28159 488262 | 11357 9245 595 | 30.254 % | 85.07/85.12 c =============================================================================== 85.07/85.12 c New solution: 68899 85.07/85.12 o 68899 85.07/85.12 c Elapsed CPU time: 84.7161 s Remaining CPU time: 95.2839 s 85.07/85.12 c =============================================================================== 85.07/85.12 c | 9294 | 4221 28160 490418 | 9386 9294 595 | 30.254 % | 85.17/85.28 c =============================================================================== 85.17/85.28 c New solution: 68898 85.17/85.28 o 68898 85.17/85.28 c Elapsed CPU time: 84.8711 s Remaining CPU time: 95.1289 s 85.17/85.28 c =============================================================================== 85.17/85.28 c | 9317 | 4221 28161 492574 | 9387 9317 595 | 30.254 % | 86.26/86.31 c | 9418 | 4221 28161 492574 | 10325 9418 596 | 30.254 % | 87.77/87.83 c =============================================================================== 87.77/87.83 c New solution: 68897 87.77/87.84 o 68897 87.77/87.84 c Elapsed CPU time: 87.4237 s Remaining CPU time: 92.5763 s 87.77/87.84 c =============================================================================== 87.77/87.84 c | 9514 | 4221 28162 494730 | 9387 9514 596 | 30.254 % | 88.17/88.20 c =============================================================================== 88.17/88.20 c New solution: 67280 88.17/88.20 o 67280 88.17/88.20 c Elapsed CPU time: 87.7887 s Remaining CPU time: 92.2113 s 88.17/88.20 c =============================================================================== 88.17/88.20 c | 9577 | 4221 28163 496886 | 9387 9577 596 | 30.254 % | 88.87/88.97 c =============================================================================== 88.87/88.97 c New solution: 67231 88.87/88.97 o 67231 88.87/88.97 c Elapsed CPU time: 88.5555 s Remaining CPU time: 91.4445 s 88.87/88.97 c =============================================================================== 88.87/88.97 c | 9579 | 4221 28164 499042 | 9388 9579 596 | 30.254 % | 89.37/89.43 c =============================================================================== 89.37/89.43 c New solution: 67206 89.37/89.43 o 67206 89.37/89.43 c Elapsed CPU time: 89.0205 s Remaining CPU time: 90.9795 s 89.37/89.43 c =============================================================================== 89.37/89.43 c | 9582 | 4221 28165 501198 | 9388 9582 596 | 30.254 % | 89.77/89.86 c =============================================================================== 89.77/89.86 c New solution: 67205 89.77/89.86 o 67205 89.77/89.86 c Elapsed CPU time: 89.4494 s Remaining CPU time: 90.5506 s 89.77/89.86 c =============================================================================== 89.77/89.86 c | 9582 | 4221 28166 503354 | 9388 9582 596 | 30.254 % | 90.27/90.30 c =============================================================================== 90.27/90.30 c New solution: 67204 90.27/90.30 o 67204 90.27/90.30 c Elapsed CPU time: 89.8833 s Remaining CPU time: 90.1167 s 90.27/90.30 c =============================================================================== 90.27/90.30 c | 9583 | 4221 28167 505510 | 9389 9583 596 | 30.254 % | 90.57/90.66 c =============================================================================== 90.57/90.66 c New solution: 67203 90.57/90.66 o 67203 90.57/90.66 c Elapsed CPU time: 90.2463 s Remaining CPU time: 89.7537 s 90.57/90.66 c =============================================================================== 90.57/90.66 c | 9592 | 4221 28168 507666 | 9389 9592 596 | 30.254 % | 90.87/90.98 c =============================================================================== 90.87/90.98 c New solution: 67202 90.87/90.98 o 67202 90.87/90.98 c Elapsed CPU time: 90.5652 s Remaining CPU time: 89.4348 s 90.87/90.98 c =============================================================================== 90.87/90.98 c | 9625 | 4221 28169 509822 | 9389 9625 596 | 30.254 % | 91.27/91.39 c =============================================================================== 91.27/91.39 c New solution: 67201 91.27/91.39 o 67201 91.27/91.39 c Elapsed CPU time: 90.9712 s Remaining CPU time: 89.0288 s 91.27/91.39 c =============================================================================== 91.27/91.39 c | 9636 | 4221 28170 511978 | 9390 9636 596 | 30.254 % | 92.66/92.73 c | 9736 | 4221 28170 511978 | 10329 9736 596 | 30.254 % | 93.37/93.43 c =============================================================================== 93.37/93.43 c New solution: 67200 93.37/93.43 o 67200 93.37/93.43 c Elapsed CPU time: 93.0089 s Remaining CPU time: 86.9911 s 93.37/93.43 c =============================================================================== 93.37/93.43 c | 9813 | 4221 28171 514134 | 9390 9813 596 | 30.254 % | 93.76/93.81 c =============================================================================== 93.76/93.81 c New solution: 67199 93.76/93.81 o 67199 93.76/93.81 c Elapsed CPU time: 93.3898 s Remaining CPU time: 86.6102 s 93.76/93.81 c =============================================================================== 93.76/93.81 c | 9813 | 4221 28172 516290 | 9390 9813 596 | 30.254 % | 94.06/94.17 c =============================================================================== 94.06/94.17 c New solution: 67198 94.06/94.17 o 67198 94.06/94.17 c Elapsed CPU time: 93.7507 s Remaining CPU time: 86.2493 s 94.06/94.17 c =============================================================================== 94.06/94.17 c | 9815 | 4221 28173 518446 | 9391 9815 596 | 30.254 % | 95.37/95.44 c | 9915 | 4221 28173 518446 | 10330 9915 597 | 30.254 % | 95.68/95.75 c =============================================================================== 95.68/95.75 c New solution: 67197 95.68/95.75 o 67197 95.68/95.75 c Elapsed CPU time: 95.3245 s Remaining CPU time: 84.6755 s 95.68/95.75 c =============================================================================== 95.68/95.75 c | 9932 | 4221 28174 520602 | 9391 9932 597 | 30.254 % | 95.87/95.96 c =============================================================================== 95.87/95.96 c New solution: 67189 95.87/95.96 o 67189 95.87/95.96 c Elapsed CPU time: 95.5345 s Remaining CPU time: 84.4655 s 95.87/95.96 c =============================================================================== 95.87/95.96 c | 9948 | 4221 28175 522758 | 9391 9948 597 | 30.254 % | 97.07/97.10 c | 10050 | 4221 28175 522758 | 10330 10050 597 | 30.254 % | 97.37/97.42 c =============================================================================== 97.37/97.42 c New solution: 67188 97.37/97.42 o 67188 97.37/97.42 c Elapsed CPU time: 96.9943 s Remaining CPU time: 83.0057 s 97.37/97.42 c =============================================================================== 97.37/97.42 c | 10059 | 4221 28176 524914 | 9392 10059 597 | 30.254 % | 98.56/98.67 c | 10159 | 4221 28176 524914 | 10331 10159 597 | 30.254 % | 98.97/99.05 c | 10309 | 4221 28176 524914 | 11364 10309 596 | 30.254 % | 101.37/101.50 c | 10534 | 4221 28176 524914 | 12500 10534 597 | 30.254 % | 101.57/101.62 c =============================================================================== 101.57/101.62 c New solution: 67187 101.57/101.62 o 67187 101.57/101.62 c Elapsed CPU time: 101.182 s Remaining CPU time: 78.8184 s 101.57/101.62 c =============================================================================== 101.57/101.62 c | 10555 | 4221 28177 527070 | 9392 10555 597 | 30.254 % | 102.67/102.75 c | 10656 | 4221 28177 527070 | 10331 10656 597 | 30.254 % | 103.27/103.36 c =============================================================================== 103.27/103.36 c New solution: 67186 103.27/103.36 o 67186 103.27/103.36 c Elapsed CPU time: 102.928 s Remaining CPU time: 77.0716 s 103.27/103.36 c =============================================================================== 103.27/103.36 c | 10687 | 4221 28178 529226 | 9392 10687 597 | 30.254 % | 104.57/104.65 c | 10787 | 4221 28178 529226 | 10331 10787 597 | 30.254 % | 105.37/105.41 c | 10937 | 4221 28178 529226 | 11365 10937 597 | 30.254 % | 105.86/105.95 c =============================================================================== 105.86/105.95 c New solution: 67185 105.86/105.95 o 67185 105.86/105.95 c Elapsed CPU time: 105.508 s Remaining CPU time: 74.492 s 105.86/105.95 c =============================================================================== 105.86/105.95 c | 10960 | 4221 28179 531382 | 9393 10960 597 | 30.254 % | 107.26/107.38 c | 11060 | 4221 28179 531382 | 10332 11060 597 | 30.254 % | 107.77/107.89 c =============================================================================== 107.77/107.89 c New solution: 67184 107.77/107.89 o 67184 107.77/107.89 c Elapsed CPU time: 107.445 s Remaining CPU time: 72.5553 s 107.77/107.89 c =============================================================================== 107.77/107.89 c | 11062 | 4221 28180 533538 | 9393 11062 597 | 30.254 % | 108.46/108.54 c =============================================================================== 108.46/108.54 c New solution: 67183 108.46/108.55 o 67183 108.46/108.55 c Elapsed CPU time: 108.102 s Remaining CPU time: 71.8984 s 108.46/108.55 c =============================================================================== 108.46/108.55 c | 11122 | 4221 28181 535694 | 9393 11122 597 | 30.254 % | 108.57/108.67 c | 11223 | 4221 28181 535694 | 10333 11223 597 | 30.254 % | 109.17/109.22 c =============================================================================== 109.17/109.22 c New solution: 67182 109.17/109.22 o 67182 109.17/109.22 c Elapsed CPU time: 108.77 s Remaining CPU time: 71.2295 s 109.17/109.22 c =============================================================================== 109.17/109.22 c | 11236 | 4221 28182 537850 | 9394 11236 597 | 30.254 % | 109.46/109.51 c =============================================================================== 109.46/109.51 c New solution: 67181 109.46/109.51 o 67181 109.46/109.51 c Elapsed CPU time: 109.061 s Remaining CPU time: 70.9386 s 109.46/109.51 c =============================================================================== 109.46/109.51 c | 11236 | 4221 28183 540006 | 9394 5618 574 | 30.254 % | 110.56/110.68 c | 11336 | 4221 28183 540006 | 10333 5718 575 | 30.254 % | 111.16/111.28 c =============================================================================== 111.16/111.28 c New solution: 65592 111.16/111.28 o 65592 111.16/111.28 c Elapsed CPU time: 110.825 s Remaining CPU time: 69.1748 s 111.16/111.28 c =============================================================================== 111.16/111.28 c | 11422 | 4221 28184 542162 | 9394 5804 574 | 30.254 % | 111.56/111.67 c =============================================================================== 111.56/111.67 c New solution: 65518 111.56/111.67 o 65518 111.56/111.67 c Elapsed CPU time: 111.21 s Remaining CPU time: 68.7899 s 111.56/111.67 c =============================================================================== 111.56/111.67 c | 11430 | 4221 28185 544318 | 9395 5812 574 | 30.254 % | 111.97/112.00 c | 11530 | 4221 28185 544318 | 10334 5912 573 | 30.254 % | 112.26/112.33 c =============================================================================== 112.26/112.33 c New solution: 65517 112.26/112.33 o 65517 112.26/112.33 c Elapsed CPU time: 111.876 s Remaining CPU time: 68.124 s 112.26/112.33 c =============================================================================== 112.26/112.33 c | 11533 | 4221 28186 546474 | 9395 5915 572 | 30.254 % | 113.46/113.53 c | 11633 | 4221 28186 546474 | 10334 6015 574 | 30.254 % | 113.76/113.89 c =============================================================================== 113.76/113.89 c New solution: 65516 113.76/113.89 o 65516 113.76/113.89 c Elapsed CPU time: 113.433 s Remaining CPU time: 66.5672 s 113.76/113.89 c =============================================================================== 113.76/113.89 c | 11633 | 4221 28187 548630 | 9395 6015 574 | 30.254 % | 114.16/114.26 c =============================================================================== 114.16/114.26 c New solution: 65515 114.16/114.26 o 65515 114.16/114.26 c Elapsed CPU time: 113.8 s Remaining CPU time: 66.2003 s 114.16/114.26 c =============================================================================== 114.16/114.26 c | 11633 | 4221 28188 550786 | 9396 6015 574 | 30.254 % | 114.56/114.63 c =============================================================================== 114.56/114.63 c New solution: 65514 114.56/114.63 o 65514 114.56/114.63 c Elapsed CPU time: 114.163 s Remaining CPU time: 65.8374 s 114.56/114.63 c =============================================================================== 114.56/114.63 c | 11633 | 4221 28189 552942 | 9396 6015 574 | 30.254 % | 114.86/114.96 c =============================================================================== 114.86/114.96 c New solution: 65513 114.86/114.96 o 65513 114.86/114.96 c Elapsed CPU time: 114.499 s Remaining CPU time: 65.5014 s 114.86/114.96 c =============================================================================== 114.86/114.96 c | 11635 | 4221 28190 555098 | 9396 6017 574 | 30.254 % | 116.16/116.25 c =============================================================================== 116.16/116.25 c New solution: 65512 116.16/116.25 o 65512 116.16/116.25 c Elapsed CPU time: 115.787 s Remaining CPU time: 64.2126 s 116.16/116.25 c =============================================================================== 116.16/116.25 c | 11704 | 4221 28191 557254 | 9397 6086 574 | 30.254 % | 117.86/117.96 c | 11804 | 4221 28191 557254 | 10336 6186 574 | 30.254 % | 118.16/118.29 c =============================================================================== 118.16/118.29 c New solution: 65511 118.16/118.29 o 65511 118.16/118.29 c Elapsed CPU time: 117.824 s Remaining CPU time: 62.1759 s 118.16/118.29 c =============================================================================== 118.16/118.29 c | 11805 | 4221 28192 559410 | 9397 6187 574 | 30.254 % | 118.56/118.63 c =============================================================================== 118.56/118.63 c New solution: 65510 118.56/118.63 o 65510 118.56/118.63 c Elapsed CPU time: 118.154 s Remaining CPU time: 61.846 s 118.56/118.63 c =============================================================================== 118.56/118.63 c | 11808 | 4221 28193 561566 | 9397 6190 574 | 30.254 % | 118.86/118.94 c =============================================================================== 118.86/118.94 c New solution: 65509 118.86/118.94 o 65509 118.86/118.94 c Elapsed CPU time: 118.466 s Remaining CPU time: 61.534 s 118.86/118.94 c =============================================================================== 118.86/118.94 c | 11844 | 4221 28194 563722 | 9398 6226 574 | 30.254 % | 119.46/119.52 c =============================================================================== 119.46/119.52 c New solution: 65508 119.46/119.52 o 65508 119.46/119.52 c Elapsed CPU time: 119.051 s Remaining CPU time: 60.9491 s 119.46/119.52 c =============================================================================== 119.46/119.52 c | 11858 | 4221 28195 565878 | 9398 6240 574 | 30.254 % | 119.96/120.01 c =============================================================================== 119.96/120.01 c New solution: 65507 119.96/120.01 o 65507 119.96/120.01 c Elapsed CPU time: 119.535 s Remaining CPU time: 60.4652 s 119.96/120.01 c =============================================================================== 119.96/120.01 c | 11869 | 4221 28196 568034 | 9398 6251 574 | 30.254 % | 120.56/120.61 c =============================================================================== 120.56/120.61 c New solution: 65506 120.56/120.61 o 65506 120.56/120.61 c Elapsed CPU time: 120.131 s Remaining CPU time: 59.8693 s 120.56/120.61 c =============================================================================== 120.56/120.61 c | 11877 | 4221 28197 570190 | 9399 6259 574 | 30.254 % | 121.55/121.60 c | 11978 | 4221 28197 570190 | 10338 6360 576 | 30.254 % | 122.45/122.55 c =============================================================================== 122.45/122.55 c New solution: 65505 122.45/122.55 o 65505 122.45/122.55 c Elapsed CPU time: 122.07 s Remaining CPU time: 57.9296 s 122.45/122.55 c =============================================================================== 122.45/122.55 c | 12001 | 4221 28198 572346 | 9399 6383 576 | 30.254 % | 122.76/122.82 c =============================================================================== 122.76/122.82 c New solution: 65504 122.76/122.82 o 65504 122.76/122.82 c Elapsed CPU time: 122.337 s Remaining CPU time: 57.6626 s 122.76/122.82 c =============================================================================== 122.76/122.82 c | 12025 | 4221 28199 574502 | 9399 6407 576 | 30.254 % | 123.17/123.21 c =============================================================================== 123.17/123.21 c New solution: 65503 123.17/123.21 o 65503 123.17/123.21 c Elapsed CPU time: 122.726 s Remaining CPU time: 57.2737 s 123.17/123.21 c =============================================================================== 123.17/123.21 c | 12030 | 4221 28200 576658 | 9400 6412 576 | 30.254 % | 123.56/123.66 c =============================================================================== 123.56/123.66 c New solution: 65502 123.56/123.66 o 65502 123.56/123.66 c Elapsed CPU time: 123.176 s Remaining CPU time: 56.8237 s 123.56/123.66 c =============================================================================== 123.56/123.66 c | 12036 | 4221 28201 578814 | 9400 6418 576 | 30.254 % | 125.16/125.21 c | 12136 | 4221 28201 578814 | 10340 6518 577 | 30.254 % | 125.86/125.91 c =============================================================================== 125.86/125.91 c New solution: 65501 125.86/125.91 o 65501 125.86/125.91 c Elapsed CPU time: 125.425 s Remaining CPU time: 54.5751 s 125.86/125.91 c =============================================================================== 125.86/125.91 c | 12152 | 4221 28202 580970 | 9400 6534 577 | 30.254 % | 127.65/127.77 c | 12254 | 4221 28202 580970 | 10340 6636 577 | 30.254 % | 128.16/128.29 c =============================================================================== 128.16/128.29 c New solution: 65500 128.16/128.29 o 65500 128.16/128.29 c Elapsed CPU time: 127.798 s Remaining CPU time: 52.2024 s 128.16/128.29 c =============================================================================== 128.16/128.29 c | 12259 | 4221 28203 583126 | 9401 6641 577 | 30.254 % | 128.36/128.49 c =============================================================================== 128.36/128.49 c New solution: 65499 128.36/128.49 o 65499 128.36/128.49 c Elapsed CPU time: 127.995 s Remaining CPU time: 52.0055 s 128.36/128.49 c =============================================================================== 128.36/128.49 c | 12266 | 4221 28204 585282 | 9401 6648 577 | 30.254 % | 129.06/129.15 c | 12367 | 4221 28204 585282 | 10341 6749 576 | 30.254 % | 129.36/129.40 c =============================================================================== 129.36/129.40 c New solution: 63847 129.36/129.40 o 63847 129.36/129.40 c Elapsed CPU time: 128.904 s Remaining CPU time: 51.0956 s 129.36/129.40 c =============================================================================== 129.36/129.40 c | 12375 | 4221 28205 587438 | 9401 6757 576 | 30.254 % | 129.56/129.60 c =============================================================================== 129.56/129.60 c New solution: 63836 129.56/129.60 o 63836 129.56/129.60 c Elapsed CPU time: 129.105 s Remaining CPU time: 50.8946 s 129.56/129.60 c =============================================================================== 129.56/129.60 c | 12376 | 4221 28206 589594 | 9402 6758 576 | 30.254 % | 129.66/129.80 c =============================================================================== 129.66/129.80 c New solution: 63835 129.66/129.80 o 63835 129.66/129.80 c Elapsed CPU time: 129.301 s Remaining CPU time: 50.6987 s 129.66/129.80 c =============================================================================== 129.66/129.80 c | 12377 | 4221 28207 591750 | 9402 6759 576 | 30.254 % | 129.96/130.09 c =============================================================================== 129.96/130.09 c New solution: 63834 129.96/130.09 o 63834 129.96/130.09 c Elapsed CPU time: 129.595 s Remaining CPU time: 50.4047 s 129.96/130.09 c =============================================================================== 129.96/130.09 c | 12377 | 4221 28208 593906 | 9402 6759 576 | 30.254 % | 130.25/130.39 c =============================================================================== 130.25/130.39 c New solution: 63833 130.25/130.39 o 63833 130.25/130.39 c Elapsed CPU time: 129.892 s Remaining CPU time: 50.1077 s 130.25/130.39 c =============================================================================== 130.25/130.39 c | 12379 | 4221 28209 596062 | 9403 6761 576 | 30.254 % | 130.76/130.80 c =============================================================================== 130.76/130.80 c New solution: 63832 130.76/130.80 o 63832 130.76/130.80 c Elapsed CPU time: 130.303 s Remaining CPU time: 49.6968 s 130.76/130.80 c =============================================================================== 130.76/130.80 c | 12394 | 4221 28210 598218 | 9403 6776 576 | 30.254 % | 131.55/131.60 c =============================================================================== 131.55/131.60 c New solution: 63817 131.55/131.60 o 63817 131.55/131.60 c Elapsed CPU time: 131.1 s Remaining CPU time: 48.8999 s 131.55/131.60 c =============================================================================== 131.55/131.60 c | 12418 | 4221 28211 600374 | 9403 6800 576 | 30.254 % | 131.87/131.91 c =============================================================================== 131.87/131.91 c New solution: 63800 131.87/131.91 o 63800 131.87/131.91 c Elapsed CPU time: 131.411 s Remaining CPU time: 48.589 s 131.87/131.91 c =============================================================================== 131.87/131.91 c | 12420 | 4221 28212 602530 | 9404 6802 576 | 30.254 % | 132.86/132.90 c | 12520 | 4221 28212 602530 | 10344 6902 578 | 30.254 % | 133.26/133.37 c =============================================================================== 133.26/133.37 c New solution: 63799 133.26/133.37 o 63799 133.26/133.37 c Elapsed CPU time: 132.862 s Remaining CPU time: 47.1382 s 133.26/133.37 c =============================================================================== 133.26/133.37 c | 12522 | 4221 28213 604686 | 9404 6904 578 | 30.254 % | 133.85/133.95 c | 12622 | 4221 28213 604686 | 10344 7004 577 | 30.254 % | 135.86/135.90 c | 12772 | 4221 28213 604686 | 11379 7154 579 | 30.254 % | 138.05/138.15 c | 12997 | 4221 28213 604686 | 12517 7379 581 | 30.254 % | 138.46/138.57 c =============================================================================== 138.46/138.57 c New solution: 63778 138.46/138.57 o 63778 138.46/138.57 c Elapsed CPU time: 138.056 s Remaining CPU time: 41.944 s 138.46/138.57 c =============================================================================== 138.46/138.57 c | 13000 | 4221 28214 606842 | 9404 7382 581 | 30.254 % | 139.56/139.68 c | 13100 | 4221 28214 606842 | 10345 7482 582 | 30.255 % | 139.76/139.84 c =============================================================================== 139.76/139.84 c New solution: 63770 139.76/139.84 o 63770 139.76/139.84 c Elapsed CPU time: 139.317 s Remaining CPU time: 40.6832 s 139.76/139.84 c =============================================================================== 139.76/139.84 c | 13105 | 4221 28215 608998 | 9405 7487 582 | 30.255 % | 140.06/140.13 c =============================================================================== 140.06/140.13 c New solution: 63769 140.06/140.13 o 63769 140.06/140.13 c Elapsed CPU time: 139.604 s Remaining CPU time: 40.3962 s 140.06/140.13 c =============================================================================== 140.06/140.13 c | 13111 | 4221 28216 611154 | 9405 7493 582 | 30.255 % | 141.16/141.26 c | 13211 | 4221 28216 611154 | 10345 7593 582 | 30.254 % | 144.25/144.35 c | 13361 | 4221 28216 611154 | 11380 7743 583 | 30.254 % | 144.85/144.94 c =============================================================================== 144.85/144.94 c New solution: 63768 144.85/144.94 o 63768 144.85/144.94 c Elapsed CPU time: 144.414 s Remaining CPU time: 35.586 s 144.85/144.94 c =============================================================================== 144.85/144.94 c | 13389 | 4221 28217 613310 | 9405 7771 583 | 30.254 % | 145.06/145.17 c =============================================================================== 145.06/145.17 c New solution: 63767 145.06/145.17 o 63767 145.06/145.17 c Elapsed CPU time: 144.638 s Remaining CPU time: 35.362 s 145.06/145.17 c =============================================================================== 145.06/145.17 c | 13391 | 4221 28218 615466 | 9406 7773 583 | 30.254 % | 146.35/146.40 c | 13493 | 4221 28218 615466 | 10346 7875 584 | 30.254 % | 148.36/148.47 c | 13643 | 4221 28218 615466 | 11381 8025 585 | 30.254 % | 149.05/149.10 c =============================================================================== 149.05/149.10 c New solution: 63766 149.05/149.10 o 63766 149.05/149.10 c Elapsed CPU time: 148.57 s Remaining CPU time: 31.4296 s 149.05/149.10 c =============================================================================== 149.05/149.10 c | 13659 | 4221 28219 617622 | 9406 8041 585 | 30.254 % | 150.05/150.12 c | 13760 | 4221 28219 617622 | 10346 8142 584 | 30.254 % | 151.46/151.55 c | 13911 | 4221 28219 617622 | 11381 8293 585 | 30.254 % | 154.85/154.98 c | 14137 | 4221 28219 617622 | 12519 8519 585 | 30.254 % | 155.85/155.97 c =============================================================================== 155.85/155.97 c New solution: 63765 155.85/155.97 o 63765 155.85/155.97 c Elapsed CPU time: 155.425 s Remaining CPU time: 24.5746 s 155.85/155.97 c =============================================================================== 155.85/155.97 c | 14253 | 4221 28220 619778 | 9406 8635 586 | 30.254 % | 157.35/157.40 c | 14353 | 4221 28220 619778 | 10347 8735 586 | 30.254 % | 157.45/157.55 c =============================================================================== 157.45/157.55 c New solution: 63764 157.45/157.55 o 63764 157.45/157.55 c Elapsed CPU time: 157.006 s Remaining CPU time: 22.9939 s 157.45/157.55 c =============================================================================== 157.45/157.55 c | 14356 | 4221 28221 621934 | 9407 8738 586 | 30.254 % | 157.85/157.98 c =============================================================================== 157.85/157.98 c New solution: 63763 157.85/157.98 o 63763 157.85/157.98 c Elapsed CPU time: 157.43 s Remaining CPU time: 22.5699 s 157.85/157.98 c =============================================================================== 157.85/157.98 c | 14358 | 4221 28222 624090 | 9407 8740 586 | 30.254 % | 158.36/158.45 c =============================================================================== 158.36/158.45 c New solution: 63762 158.36/158.45 o 63762 158.36/158.45 c Elapsed CPU time: 157.898 s Remaining CPU time: 22.102 s 158.36/158.45 c =============================================================================== 158.36/158.45 c | 14364 | 4221 28223 626246 | 9407 8746 586 | 30.254 % | 159.75/159.80 c | 14464 | 4221 28223 626246 | 10348 8846 587 | 30.254 % | 159.85/160.00 c =============================================================================== 159.85/160.00 c New solution: 63761 159.85/160.00 o 63761 159.85/160.00 c Elapsed CPU time: 159.441 s Remaining CPU time: 20.5592 s 159.85/160.00 c =============================================================================== 159.85/160.00 c | 14464 | 4221 28224 628402 | 9408 8846 587 | 30.254 % | 160.05/160.18 c =============================================================================== 160.05/160.18 c New solution: 63760 160.05/160.18 o 63760 160.05/160.18 c Elapsed CPU time: 159.626 s Remaining CPU time: 20.3743 s 160.05/160.18 c =============================================================================== 160.05/160.18 c | 14464 | 4221 28225 630558 | 9408 8846 587 | 30.254 % | 160.35/160.42 c =============================================================================== 160.35/160.42 c New solution: 63759 160.35/160.42 o 63759 160.35/160.42 c Elapsed CPU time: 159.862 s Remaining CPU time: 20.1383 s 160.35/160.42 c =============================================================================== 160.35/160.42 c | 14464 | 4221 28226 632714 | 9408 8846 587 | 30.254 % | 160.45/160.60 c =============================================================================== 160.45/160.60 c New solution: 63758 160.45/160.60 o 63758 160.45/160.60 c Elapsed CPU time: 160.043 s Remaining CPU time: 19.9573 s 160.45/160.60 c =============================================================================== 160.45/160.60 c | 14464 | 4221 28227 634870 | 9409 8846 587 | 30.254 % | 160.65/160.79 c =============================================================================== 160.65/160.79 c New solution: 63757 160.65/160.79 o 63757 160.65/160.79 c Elapsed CPU time: 160.23 s Remaining CPU time: 19.7704 s 160.65/160.79 c =============================================================================== 160.65/160.79 c | 14464 | 4221 28228 637026 | 9409 8846 587 | 30.254 % | 160.85/160.96 c =============================================================================== 160.85/160.96 c New solution: 63756 160.85/160.96 o 63756 160.85/160.96 c Elapsed CPU time: 160.407 s Remaining CPU time: 19.5934 s 160.85/160.96 c =============================================================================== 160.85/160.96 c | 14464 | 4221 28229 639182 | 9409 8846 587 | 30.254 % | 161.05/161.16 c =============================================================================== 161.05/161.16 c New solution: 63755 161.05/161.16 o 63755 161.05/161.16 c Elapsed CPU time: 160.606 s Remaining CPU time: 19.3944 s 161.05/161.16 c =============================================================================== 161.05/161.16 c | 14465 | 4221 28230 641338 | 9410 8847 587 | 30.254 % | 162.25/162.30 c | 14566 | 4221 28230 641338 | 10351 8948 587 | 30.254 % | 162.76/162.82 c =============================================================================== 162.76/162.82 c New solution: 63754 162.76/162.82 o 63754 162.76/162.82 c Elapsed CPU time: 162.254 s Remaining CPU time: 17.7457 s 162.76/162.82 c =============================================================================== 162.76/162.82 c | 14588 | 4221 28231 643494 | 9410 8970 587 | 30.254 % | 163.15/163.22 c =============================================================================== 163.15/163.22 c New solution: 63753 163.15/163.22 o 63753 163.15/163.22 c Elapsed CPU time: 162.655 s Remaining CPU time: 17.3447 s 163.15/163.22 c =============================================================================== 163.15/163.22 c | 14594 | 4221 28232 645650 | 9410 8976 587 | 30.254 % | 163.34/163.41 c =============================================================================== 163.34/163.41 c New solution: 62092 163.34/163.41 o 62092 163.34/163.41 c Elapsed CPU time: 162.847 s Remaining CPU time: 17.1528 s 163.34/163.41 c =============================================================================== 163.34/163.41 c | 14598 | 4221 28233 647806 | 9411 8980 587 | 30.254 % | 163.64/163.75 c =============================================================================== 163.64/163.75 c New solution: 62091 163.64/163.75 o 62091 163.64/163.75 c Elapsed CPU time: 163.18 s Remaining CPU time: 16.8198 s 163.64/163.75 c =============================================================================== 163.64/163.75 c | 14600 | 4221 28234 649962 | 9411 8982 587 | 30.254 % | 163.95/164.07 c =============================================================================== 163.95/164.07 c New solution: 62084 163.95/164.07 o 62084 163.95/164.07 c Elapsed CPU time: 163.503 s Remaining CPU time: 16.4969 s 163.95/164.07 c =============================================================================== 163.95/164.07 c | 14605 | 4221 28235 652118 | 9411 8987 587 | 30.254 % | 164.25/164.35 c =============================================================================== 164.25/164.35 c New solution: 62083 164.25/164.35 o 62083 164.25/164.35 c Elapsed CPU time: 163.778 s Remaining CPU time: 16.2219 s 164.25/164.35 c =============================================================================== 164.25/164.35 c | 14609 | 4221 28236 654274 | 9412 8991 587 | 30.254 % | 164.55/164.63 c =============================================================================== 164.55/164.63 c New solution: 62082 164.55/164.63 o 62082 164.55/164.63 c Elapsed CPU time: 164.059 s Remaining CPU time: 15.9409 s 164.55/164.63 c =============================================================================== 164.55/164.63 c | 14609 | 4221 28237 656430 | 9412 8991 587 | 30.254 % | 164.86/164.90 c =============================================================================== 164.86/164.90 c New solution: 62081 164.86/164.90 o 62081 164.86/164.90 c Elapsed CPU time: 164.335 s Remaining CPU time: 15.665 s 164.86/164.90 c =============================================================================== 164.86/164.90 c | 14609 | 4221 28238 658586 | 9412 8991 587 | 30.254 % | 165.05/165.18 c =============================================================================== 165.05/165.18 c New solution: 62080 165.05/165.18 o 62080 165.05/165.18 c Elapsed CPU time: 164.611 s Remaining CPU time: 15.389 s 165.05/165.18 c =============================================================================== 165.05/165.18 c | 14612 | 4221 28239 660742 | 9413 8994 587 | 30.254 % | 166.35/166.42 c | 14712 | 4221 28239 660742 | 10354 9094 588 | 30.254 % | 168.05/168.18 c | 14862 | 4221 28239 660742 | 11389 9244 589 | 30.255 % | 171.25/171.38 c =============================================================================== 171.25/171.38 c New solution: 62079 171.25/171.38 o 62079 171.25/171.38 c Elapsed CPU time: 170.799 s Remaining CPU time: 9.20097 s 171.25/171.38 c =============================================================================== 171.25/171.38 c | 15023 | 4221 28240 662898 | 9413 9405 590 | 30.255 % | 171.56/171.61 c =============================================================================== 171.56/171.61 c New solution: 60447 171.56/171.61 o 60447 171.56/171.61 c Elapsed CPU time: 171.029 s Remaining CPU time: 8.971 s 171.56/171.61 c =============================================================================== 171.56/171.61 c | 15027 | 4221 28241 665054 | 9413 9409 590 | 30.255 % | 173.75/173.82 c =============================================================================== 173.75/173.82 c New solution: 60386 173.75/173.82 o 60386 173.75/173.82 c Elapsed CPU time: 173.236 s Remaining CPU time: 6.76434 s 173.75/173.82 c =============================================================================== 173.75/173.82 c | 15125 | 4221 28242 667210 | 9414 9507 589 | 30.255 % | 173.95/174.04 c =============================================================================== 173.95/174.04 c New solution: 60385 173.95/174.04 o 60385 173.95/174.04 c Elapsed CPU time: 173.459 s Remaining CPU time: 6.54137 s 173.95/174.04 c =============================================================================== 173.95/174.04 c | 15125 | 4221 28243 669366 | 9414 9507 589 | 30.255 % | 175.35/175.49 c | 15225 | 4221 28243 669366 | 10355 9607 589 | 30.254 % | 175.74/175.81 c =============================================================================== 175.74/175.81 c New solution: 60384 175.74/175.81 o 60384 175.74/175.81 c Elapsed CPU time: 175.218 s Remaining CPU time: 4.78164 s 175.74/175.81 c =============================================================================== 175.74/175.81 c | 15225 | 4221 28244 671522 | 9414 9607 589 | 30.254 % | 176.04/176.14 c =============================================================================== 176.04/176.14 c New solution: 60381 176.04/176.14 o 60381 176.04/176.14 c Elapsed CPU time: 175.549 s Remaining CPU time: 4.45069 s 176.04/176.14 c =============================================================================== 176.04/176.14 c | 15225 | 4221 28245 673678 | 9415 9607 589 | 30.254 % | 176.35/176.45 c =============================================================================== 176.35/176.45 c New solution: 60379 176.35/176.45 o 60379 176.35/176.45 c Elapsed CPU time: 175.861 s Remaining CPU time: 4.13873 s 176.35/176.45 c =============================================================================== 176.35/176.45 c | 15225 | 4221 28246 675834 | 9415 9607 589 | 30.254 % | 176.65/176.77 c =============================================================================== 176.65/176.77 c New solution: 60378 176.65/176.77 o 60378 176.65/176.77 c Elapsed CPU time: 176.18 s Remaining CPU time: 3.81978 s 176.65/176.77 c =============================================================================== 176.65/176.77 c | 15225 | 4221 28247 677990 | 9415 9607 589 | 30.254 % | 176.96/177.07 c =============================================================================== 176.96/177.07 c New solution: 60377 176.96/177.07 o 60377 176.96/177.07 c Elapsed CPU time: 176.482 s Remaining CPU time: 3.51783 s 176.96/177.07 c =============================================================================== 176.96/177.07 c | 15225 | 4221 28248 680146 | 9416 9607 589 | 30.254 % | 177.25/177.39 c =============================================================================== 177.25/177.39 c New solution: 60376 177.25/177.39 o 60376 177.25/177.39 c Elapsed CPU time: 176.801 s Remaining CPU time: 3.19888 s 177.25/177.39 c =============================================================================== 177.25/177.39 c | 15225 | 4221 28249 682302 | 9416 9607 589 | 30.254 % | 177.55/177.69 c =============================================================================== 177.55/177.69 c New solution: 60375 177.55/177.69 o 60375 177.55/177.69 c Elapsed CPU time: 177.096 s Remaining CPU time: 2.90392 s 177.55/177.69 c =============================================================================== 177.55/177.69 c | 15225 | 4221 28250 684458 | 9416 9607 589 | 30.254 % | 177.85/177.99 c =============================================================================== 177.85/177.99 c New solution: 60374 177.85/177.99 o 60374 177.85/177.99 c Elapsed CPU time: 177.395 s Remaining CPU time: 2.60497 s 177.85/177.99 c =============================================================================== 177.85/177.99 c | 15225 | 4221 28251 686614 | 9417 9607 589 | 30.254 % | 178.15/178.30 c =============================================================================== 178.15/178.30 c New solution: 60373 178.15/178.30 o 60373 178.15/178.30 c Elapsed CPU time: 177.699 s Remaining CPU time: 2.30102 s 178.15/178.30 c =============================================================================== 178.15/178.30 c | 15225 | 4221 28252 688770 | 9417 9607 589 | 30.254 % | 178.54/178.63 c =============================================================================== 178.54/178.63 c New solution: 60372 178.54/178.63 o 60372 178.54/178.63 c Elapsed CPU time: 178.032 s Remaining CPU time: 1.96806 s 178.54/178.63 c =============================================================================== 178.54/178.63 c | 15228 | 4221 28253 690926 | 9417 9610 589 | 30.254 % | 179.15/179.23 c =============================================================================== 179.15/179.23 c New solution: 60371 179.15/179.23 o 60371 179.15/179.23 c Elapsed CPU time: 178.634 s Remaining CPU time: 1.36616 s 179.15/179.23 c =============================================================================== 179.15/179.23 c | 15256 | 4221 28254 693082 | 9418 9638 590 | 30.254 % | 180.54/180.62 c There are 1831 assigned variables. 323 in cost function. 182.75/182.87 c core #1 182.75/182.87 c core #2 182.75/182.87 c core #3 182.75/182.87 c core #4 182.75/182.87 c core #5 182.75/182.87 c core #6 182.75/182.87 c core #7 182.75/182.87 c core #8 182.75/182.87 c core #9 182.75/182.87 c core #10 182.75/182.87 c core #11 182.75/182.87 c core #12 182.75/182.87 c core #13 182.75/182.87 c core #14 182.75/182.87 c core #15 182.75/182.87 c core #16 182.75/182.87 c core #17 182.75/182.87 c core #18 182.75/182.87 c core #19 182.75/182.87 c core #20 182.75/182.87 c core #21 182.75/182.87 c core #22 182.75/182.87 c core #23 182.75/182.87 c core #24 182.75/182.87 c core #25 182.75/182.87 c core #26 182.75/182.87 c core #27 182.75/182.87 c core #28 182.75/182.87 c core #29 182.75/182.87 c core #30 182.75/182.87 c core #31 182.75/182.87 c core #32 182.75/182.87 c core #33 182.75/182.87 c core #34 182.75/182.87 c core #35 182.75/182.87 c core #36 182.75/182.87 c core #37 182.75/182.87 c core #38 182.75/182.87 c core #39 182.75/182.87 c core #40 182.75/182.87 c core #41 182.75/182.87 c core #42 182.75/182.87 c ============================[ Search Statistics ]============================== 182.75/182.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.75/182.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.75/182.87 c =============================================================================== 182.75/182.87 c | 0 | 890 18873 9422 | 6291 0 nan | 0.000 % | 182.75/182.88 c =============================================================================== 182.75/182.89 c #cores: 42 182.75/182.89 c Final Weight: 1964 182.75/182.89 o 1964 182.75/182.89 s OPTIMUM FOUND 182.75/182.89 v -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 x4387 -x4388 x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 x4404 x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 x4434 -x4435 -x4436 -x4437 -x4438 -x4439 x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 x4448 x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 x4556 x4557 x4558 -x4559 -x4560 -x4561 x4562 x4563 x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 x4571 x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 x4593 x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 x4614 -x4615 x4616 -x4617 -x4618 -x4619 -x4620 x4621 x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 x4631 -x4632 -x4633 -x4634 -x4635 x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 x4645 x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 x4685 x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 x4695 -x4696 -x4697 -x4698 -x4699 x4700 -x4701 -x4702 x4703 x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 x4746 -x4747 x4748 x4749 x4750 -x4751 -x4752 x4753 -x4754 -x4755 -x4756 x4757 -x4758 -x4759 -x4760 -x4761 -x4762 x4763 -x4764 -x4765 -x4766 -x4767 x4768 x4769 x4770 x4771 -x4772 x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 x4791 x4792 x4793 x4794 -x4795 -x4796 -x4797 x4798 -x4799 -x4800 x4801 x4802 x4803 x4804 -x4805 -x4806 -x4807 -x4808 x4809 x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 x4866 x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 x4886 -x4887 -x4888 -x4889 x4890 x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 x4912 x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 x4949 x4950 x4951 -x4952 x4953 -x4954 x4955 x4956 -x4957 -x4958 -x4959 x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 x4973 x4974 x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 x4990 -x4991 x4992 -x4993 -x4994 x4995 -x4996 -x4997 -x4998 x4999 x5000 x5001 -x5002 -x5003 -x5004 -x5005 -x5006 x5007 x5008 x5009 -x5010 x5011 x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 x5019 x5020 -x5021 x5022 x5023 -x5024 -x5025 -x5026 -x5027 x5028 -x5029 x5030 x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 x5038 x5039 -x5040 x5041 -x5042 x5043 x5044 -x5045 -x5046 -x5047 -x5048 -x5049 x5050 -x5051 -x5052 x5053 x5054 -x5055 -x5056 x5057 x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 x5065 -x5066 -x5067 x5068 x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 x5099 -x5100 x5101 -x5102 x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 x5111 -x5112 -x5113 -x5114 -x5115 x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 x5123 x5124 -x5125 x5126 -x5127 -x5128 x5129 -x5130 -x5131 -x5132 -x5133 x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 x5144 -x5145 x5146 x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 x5171 x5172 x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 x5203 -x5204 -x5205 x5206 -x5207 -x5208 x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 x5217 -x5218 -x5219 x5220 -x5221 -x5222 -x5223 -x5224 -x5225 x5226 -x5227 x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 x5235 -x5236 -x5237 x5238 x5239 -x5240 x5241 x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 x5251 x5252 x5253 -x5254 -x5255 -x5256 -x5257 x5258 x5259 x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 x5268 -x5269 -x5270 x5271 x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 x5317 -x5318 x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 x5335 x5336 x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 x5347 x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 x5372 x5373 -x5374 x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 x5394 -x5395 -x5396 -x5397 -x5398 -x5399 x5400 x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 x5411 x5412 x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 x5422 x5423 -x5424 -x5425 -x5426 x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 x5440 -x5441 x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 x5453 -x5454 -x5455 x5456 -x5457 x5458 -x5459 -x5460 -x5461 x5462 x5463 -x5464 -x5465 -x5466 x5467 -x5468 x5469 -x5470 x5471 x5472 -x5473 -x5474 x5475 -x5476 -x5477 x5478 -x5479 -x5480 -x5481 x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 x5490 x5491 -x5492 x5493 x5494 -x5495 -x5496 -x5497 x5498 -x5499 -x5500 x5501 x5502 -x5503 -x5504 x5505 -x5506 -x5507 -x5508 x5509 x5510 x5511 -x5512 x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 x5522 x5523 -x5524 x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 x5533 -x5534 x5535 x5536 x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 x5553 x5554 x5555 x5556 -x5557 x5558 -x5559 -x5560 x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 x5785 x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 x5807 x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 x5819 x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 x5847 -x5848 -x5849 -x5850 -x5851 x5852 x5853 x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 x5867 -x5868 x5869 -x5870 -x5871 -x5872 -x5873 -x5874 x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 x5909 -x5910 x5911 x5912 -x5913 x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 x5921 -x5922 -x5923 -x5924 x5925 x5926 x5927 -x5928 -x5929 x5930 -x5931 -x5932 x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 x5952 -x5953 -x5954 -x5955 -x5956 x5957 x5958 x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 x6046 x6047 x6048 x6049 x6050 x6051 x6052 x1 -x2 -x3 x4 -x5 x6 -x7 -x8 -x9 x10 -x11 x12 -x13 x14 -x15 -x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 -x25 x26 -x27 x28 x29 -x30 x31 -x32 x33 x34 -x35 x36 -x37 -x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 x139 -x140 x141 -x142 -x143 x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 x268 -x269 x270 x271 -x272 x273 -x274 x275 x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 x292 -x293 x294 -x295 -x296 x297 x298 -x299 -x300 -x301 x302 x303 -x304 -x305 x306 x307 -x308 -x309 x310 -x311 x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 x325 -x326 x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 x341 -x342 -x343 x344 -x345 x346 x347 x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 x356 -x357 -x358 x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 x390 x391 x392 x393 x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 x429 -x430 x431 x432 x433 -x434 -x435 -x436 -x437 -x438 x439 x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 x482 -x483 -x484 x485 -x486 x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 x514 -x515 x516 -x517 -x518 x519 -x520 -x521 x522 -x523 x524 x525 -x526 -x527 x528 -x529 -x530 x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 x594 x595 -x596 -x597 x598 -x599 -x600 x601 x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 x610 -x611 x612 x613 -x614 x615 -x616 -x617 x618 -x619 x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x690 -x691 x692 -x693 x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 x729 x730 -x731 -x732 -x733 x734 -x735 x736 -x737 x738 x739 -x740 -x741 x742 x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 x762 -x763 -x764 x765 -x766 x767 -x768 x769 -x770 -x771 x772 x773 -x774 -x775 x776 -x777 x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 x788 -x789 -x790 x791 -x792 x793 -x794 -x795 -x796 -x797 x798 -x799 x800 x801 -x802 -x803 -x804 -x805 x806 -x807 x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 x828 x829 -x830 x831 -x832 -x833 x834 -x835 x836 x837 -x838 -x839 -x840 -x841 -x842 x843 x844 -x845 -x846 x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 x868 x869 -x870 x871 -x872 x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 x889 x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 x903 -x904 x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 x929 -x930 x931 -x932 x933 -x934 -x935 x936 -x937 x938 x939 -x940 -x941 x942 -x943 -x944 x945 -x946 -x947 x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 x960 -x961 x962 -x963 -x964 x965 -x966 x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 x975 -x976 x977 -x978 -x979 x980 -x981 x982 -x983 x984 -x985 -x986 x987 -x988 -x989 -x990 x991 -x992 x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 x1100 x1101 x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 x1138 -x1139 x1140 -x1141 x1142 -x1143 x1144 x1145 -x1146 x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 x1160 -x1161 -x1162 -x1163 x1164 x1165 x1166 x1167 x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 x1182 -x1183 x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 x1224 -x1225 -x1226 x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 x1245 x1246 -x1247 -x1248 x1249 x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 x1278 -x1279 -x1280 x1281 -x1282 x1283 -x1284 x1285 -x1286 -x1287 x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 x1300 x1301 -x1302 -x1303 x1304 -x1305 -x1306 x1307 -x1308 x1309 -x1310 -x1311 x1312 -x1313 x1314 -x1315 x1316 -x1317 x1318 -x1319 x1320 -x1321 -x1322 x1323 x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 x1338 x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 x1346 -x1347 x1348 -x1349 -x1350 x1351 x1352 -x1353 x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 x1364 -x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 x1416 x1417 x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 x1561 x1562 -x1563 x1564 -x1565 -x1566 x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 x1575 -x1576 -x1577 -x1578 x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 x1591 x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 x1611 -x1612 -x1613 -x1614 x1615 x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 -x1652 -x1653 -x1654 x1655 -x1656 x1657 -x1658 x1659 x1660 -x1661 -x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 -x1687 x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 x1727 -x1728 x1729 x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 x1737 x1738 -x1739 x1740 -x1741 -x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 -x1773 -x1774 x1775 x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 x1783 -x1784 x1785 -x1786 -x1787 x1788 x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 x1799 x1800 x1801 -x1802 -x1803 -x1804 -x1805 x1806 -x1807 -x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 x1821 -x1822 x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 x1853 -x1854 x1855 -x1856 -x1857 x1858 -x1859 -x1860 -x1861 x1862 x1863 -x1864 -x1865 x1866 -x1867 -x1868 x1869 -x1870 x1871 -x1872 x1873 -x1874 x1875 x1876 -x1877 x1878 -x1879 x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 -x1892 x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 x1900 x1901 -x1902 -x1903 x1904 -x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 x1914 -x1915 -x1916 -x1917 x1918 -x1919 -x1920 -x1921 -x1922 x1923 x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 x1951 -x1952 x1953 x1954 -x1955 x1956 -x1957 -x1958 x1959 -x1960 x1961 -x1962 x1963 x1964 -x1965 -x1966 -x1967 x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 x1976 -x1977 x1978 x1979 -x1980 -x1981 -x1982 x1983 -x1984 -x1985 x1986 -x1987 x1988 -x1989 x1990 -x1991 x1992 x1993 -x1994 x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 x2020 x2021 -x2022 x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 x2035 -x2036 -x2037 x2038 x2039 x2040 -x2041 x2042 -x2043 -x2044 x2045 -x2046 -x2047 x2048 -x2049 x2050 -x2051 x2052 -x2053 x2054 -x2055 x2056 -x2057 x2058 x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 x2066 x2067 -x2068 -x2069 -x2070 -x2071 x2072 -x2073 x2074 -x2075 x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 x2093 x2094 -x2095 x2096 x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 x2111 -x2112 x2113 -x2114 -x2115 x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 x2123 x2124 -x2125 -x2126 x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 x2134 -x2135 x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 -x2148 x2149 -x2150 -x2151 x2152 -x2153 -x2154 -x2155 x2156 -x2157 -x2158 -x2159 x2160 -x2161 -x2162 x2163 x2164 -x2165 -x2166 -x2167 x2168 x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 x2182 -x2183 -x2184 x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 x2201 -x2202 -x2203 -x2204 x2205 x2206 x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 x2215 -x2216 -x2217 x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 x2236 -x2237 -x2238 -x2239 -x2240 x2241 -x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 x2252 -x2253 x2254 x2255 -x2256 -x2257 x2258 x2259 x2260 x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 -x2275 x2276 -x2277 x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 x2287 -x2288 -x2289 -x2290 x2291 -x2292 x2293 -x2294 x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 x2326 -x2327 -x2328 -x2329 -x2330 -x2331 x2332 x2333 -x2334 x2335 x2336 -x2337 -x2338 x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 x2374 -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 x2382 x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 -x2391 -x2392 -x2393 x2394 -x2395 x2396 -x2397 -x2398 x2399 -x2400 -x2401 -x2402 x2403 -x2404 x2405 -x2406 x2407 x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 x2419 -x2420 -x2421 x2422 -x2423 -x2424 x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 x2447 x2448 -x2449 x2450 x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 x2461 x2462 x2463 x2464 -x2465 x2466 x2467 x2468 -x2469 -x2470 x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 x2502 -x2503 x2504 -x2505 -x2506 -x2507 -x2508 x2509 -x2510 x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 x2520 x2521 -x2522 -x2523 x2524 x2525 -x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2532 x2533 x2534 -x2535 -x2536 -x2537 x2538 -x2539 -x2540 x2541 -x2542 x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 x2575 x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 x2607 x2608 x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 x2621 -x2622 x2623 -x2624 -x2625 x2626 -x2627 x2628 -x2629 x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 x2654 -x2655 -x2656 -x2657 -x2658 x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 -x2673 x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 -x2682 x2683 -x2684 -x2685 x2686 x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 x2695 -x2696 -x2697 -x2698 x2699 x2700 -x2701 -x2702 -x2703 x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 x2729 -x2730 x2731 x2732 -x2733 x2734 -x2735 x2736 -x2737 x2738 -x2739 x2740 -x2741 -x2742 -x2743 -x2744 x2745 x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 x2760 x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 x2768 -x2769 -x2770 x2771 -x2772 -x2773 -x2774 -x2775 x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 x2785 -x2786 -x2787 x2788 x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 -x2796 x2797 x2798 -x2799 -x2800 -x2801 x2802 x2803 x2804 x2805 -x2806 -x2807 x2808 -x2809 x2810 -x2811 -x2812 x2813 x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 x2831 -x2832 -x2833 -x2834 -x2835 -x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 x2846 -x2847 x2848 -x2849 -x2850 -x2851 x2852 x2853 -x2854 x2855 x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 x2864 -x2865 -x2866 -x2867 -x2868 x2869 -x2870 -x2871 -x2872 x2873 -x2874 x2875 -x2876 -x2877 x2878 -x2879 x2880 -x2881 -x2882 -x2883 -x2884 -x2885 x2886 -x2887 -x2888 -x2889 -x2890 x2891 -x2892 -x2893 -x2894 -x2895 -x2896 x2897 -x2898 -x2899 -x2900 -x2901 x2902 -x2903 x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 x2919 -x2920 -x2921 x2922 -x2923 -x2924 x2925 -x2926 x2927 -x2928 x2929 -x2930 x2931 -x2932 -x2933 -x2934 -x2935 x2936 -x2937 -x2938 -x2939 x2940 x2941 -x2942 -x2943 -x2944 x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 x2952 -x2953 x2954 -x2955 -x2956 -x2957 x2958 -x2959 -x2960 -x2961 x2962 -x2963 -x2964 -x2965 -x2966 x2967 x2968 x2969 -x2970 x2971 -x2972 x2973 -x2974 x2975 x2976 x2977 -x2978 -x2979 x2980 x2981 -x2982 x2983 -x2984 x2985 -x2986 x2987 -x2988 x2989 x2990 -x2991 -x2992 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 x3012 -x3013 -x3014 -x3015 -x3016 x3017 -x3018 -x3019 -x3020 x3021 -x3022 -x3023 x3024 x3025 x3026 x3027 x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 x3047 x3048 -x3049 -x3050 -x3051 x3052 -x3053 -x3054 x3055 x3056 x3057 x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 x3085 -x3086 x3087 x3088 -x3089 x3090 -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 x3222 -x3223 -x3224 x3225 x3226 -x3227 -x3228 x3229 -x3230 -x3231 x3232 -x3233 -x3234 x3235 x3236 -x3237 -x3238 -x3239 x3240 -x3241 -x3242 x3243 x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 182.75/182.89 c Total CPU time: 182.241 s
OK 1964
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683395-1277509357/watcher-2683395-1277509357 -o /tmp/evaluation-result-2683395-1277509357/solver-2683395-1277509357 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683395-1277509357.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.07 1.02 1.12 4/106 31634 /proc/meminfo: memFree=1861176/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=3696 CPUtime=0 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 368 0 0 0 0 0 0 0 15 0 1 0 92226734 3784704 286 1992294400 134512640 135751879 4293699616 18446744073709551615 135211112 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 924 286 143 303 0 414 0 [startup+0.0921409 s] /proc/loadavg: 1.07 1.02 1.12 4/106 31634 /proc/meminfo: memFree=1861176/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=5120 CPUtime=0.09 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 838 0 0 0 9 0 0 0 17 0 1 0 92226734 5242880 756 1992294400 134512640 135751879 4293699616 18446744073709551615 135225278 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 1280 756 281 303 0 770 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5120 [startup+0.101142 s] /proc/loadavg: 1.07 1.02 1.12 4/106 31634 /proc/meminfo: memFree=1861176/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=5296 CPUtime=0.1 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 900 0 0 0 10 0 0 0 17 0 1 0 92226734 5423104 818 1992294400 134512640 135751879 4293699616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 1324 818 295 303 0 814 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5296 [startup+0.301161 s] /proc/loadavg: 1.07 1.02 1.12 4/106 31634 /proc/meminfo: memFree=1861176/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=6716 CPUtime=0.29 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 1523 0 0 0 29 0 0 0 17 0 1 0 92226734 6877184 1236 1992294400 134512640 135751879 4293699616 18446744073709551615 134579870 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 1679 1236 146 303 0 1374 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6716 [startup+0.701201 s] /proc/loadavg: 1.07 1.02 1.12 4/106 31634 /proc/meminfo: memFree=1861176/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=6980 CPUtime=0.69 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 1579 0 0 0 69 0 0 0 17 0 1 0 92226734 7147520 1292 1992294400 134512640 135751879 4293699616 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 1745 1292 146 303 0 1440 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6980 [startup+1.50128 s] /proc/loadavg: 1.07 1.02 1.12 2/107 31635 /proc/meminfo: memFree=1856332/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=7244 CPUtime=1.49 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 1659 0 0 0 149 0 0 0 18 0 1 0 92226734 7417856 1372 1992294400 134512640 135751879 4293699616 18446744073709551615 134580040 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 1811 1372 146 303 0 1506 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7244 [startup+3.10143 s] /proc/loadavg: 1.07 1.02 1.12 2/107 31635 /proc/meminfo: memFree=1853604/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=10576 CPUtime=3.09 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 2460 0 0 0 304 5 0 0 21 0 1 0 92226734 10829824 2173 1992294400 134512640 135751879 4293699616 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 2644 2173 146 303 0 2339 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10576 [startup+6.30174 s] /proc/loadavg: 1.06 1.02 1.11 2/107 31635 /proc/meminfo: memFree=1852736/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=10576 CPUtime=6.29 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 2461 0 0 0 618 11 0 0 25 0 1 0 92226734 10829824 2174 1992294400 134512640 135751879 4293699616 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 2644 2174 147 303 0 2339 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10576 [startup+12.7014 s] /proc/loadavg: 1.06 1.01 1.11 2/107 31635 /proc/meminfo: memFree=1848396/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=15120 CPUtime=12.69 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 3621 0 0 0 1255 14 0 0 25 0 1 0 92226734 15482880 3334 1992294400 134512640 135751879 4293699616 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 3780 3334 147 303 0 3475 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15120 [startup+25.5006 s] /proc/loadavg: 1.04 1.01 1.11 2/107 31635 /proc/meminfo: memFree=1841204/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=22180 CPUtime=25.48 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 5385 0 0 0 2527 21 0 0 25 0 1 0 92226734 22712320 5098 1992294400 134512640 135751879 4293699616 18446744073709551615 134611160 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 5545 5098 147 303 0 5240 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22180 [startup+51.1011 s] /proc/loadavg: 1.03 1.01 1.11 2/107 31637 /proc/meminfo: memFree=1832152/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=31264 CPUtime=51.07 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 7629 0 0 0 5076 31 0 0 25 0 1 0 92226734 32014336 7342 1992294400 134512640 135751879 4293699616 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 7816 7342 147 303 0 7511 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 31264 [startup+102.308 s] /proc/loadavg: 1.05 1.02 1.10 2/107 31637 /proc/meminfo: memFree=1817644/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=45256 CPUtime=102.27 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 11146 0 0 0 10186 41 0 0 25 0 1 0 92226734 46342144 10859 1992294400 134512640 135751879 4293699616 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 11314 10859 147 303 0 11009 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 45256 [startup+162.301 s] /proc/loadavg: 1.02 1.02 1.09 2/107 31639 /proc/meminfo: memFree=1804996/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=57948 CPUtime=162.25 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 14312 0 0 0 16173 52 0 0 25 0 1 0 92226734 59338752 14025 1992294400 134512640 135751879 4293699616 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 14487 14025 148 303 0 14182 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 57948 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.01 1.02 1.09 2/107 31639 /proc/meminfo: memFree=1804128/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=58740 CPUtime=166.25 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 14517 0 0 0 16572 53 0 0 25 0 1 0 92226734 60149760 14230 1992294400 134512640 135751879 4293699616 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 14685 14230 148 303 0 14380 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 58740 [startup+172.708 s] /proc/loadavg: 1.01 1.02 1.09 2/107 31639 /proc/meminfo: memFree=1803012/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=59768 CPUtime=172.66 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 14777 0 0 0 17212 54 0 0 25 0 1 0 92226734 61202432 14490 1992294400 134512640 135751879 4293699616 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 14942 14490 148 303 0 14637 0 Current children cumulated CPU time (s) 172.66 Current children cumulated vsize (KiB) 59768 [startup+179.101 s] /proc/loadavg: 1.01 1.02 1.09 2/107 31639 /proc/meminfo: memFree=1802020/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=60824 CPUtime=179.04 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 15041 0 0 0 17849 55 0 0 25 0 1 0 92226734 62283776 14754 1992294400 134512640 135751879 4293699616 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 15206 14754 148 303 0 14901 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 60824 [startup+180.701 s] /proc/loadavg: 1.01 1.01 1.09 2/107 31639 /proc/meminfo: memFree=1801648/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=66748 CPUtime=180.65 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 16523 0 0 0 18009 56 0 0 25 0 1 0 92226734 68349952 16236 1992294400 134512640 135751879 4293699616 18446744073709551615 135201654 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 16687 16236 150 303 0 16382 0 Current children cumulated CPU time (s) 180.65 Current children cumulated vsize (KiB) 66748 [startup+182.301 s] /proc/loadavg: 1.01 1.01 1.09 2/107 31639 /proc/meminfo: memFree=1795944/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=96600 CPUtime=182.24 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 24165 0 0 0 18166 58 0 0 25 0 1 0 92226734 98918400 23706 1992294400 134512640 135751879 4293699616 18446744073709551615 134541671 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 24150 23709 151 303 0 23845 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 96600 [startup+182.701 s] /proc/loadavg: 1.01 1.01 1.09 2/107 31641 /proc/meminfo: memFree=1757504/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=113164 CPUtime=182.65 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 28267 0 0 0 18205 60 0 0 25 0 1 0 92226734 115879936 27808 1992294400 134512640 135751879 4293699616 18446744073709551615 134541892 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31634/statm: 28291 27808 151 303 0 27986 0 Current children cumulated CPU time (s) 182.65 Current children cumulated vsize (KiB) 113164 [startup+182.901 s] /proc/loadavg: 1.01 1.01 1.09 2/107 31641 /proc/meminfo: memFree=1757504/2059040 swapFree=4139460/4192956 [pid=31634] ppid=31632 vsize=0 CPUtime=182.85 /proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202500 30362 0 0 0 18224 61 0 0 25 0 1 0 92226734 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/31634/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 182.85 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 182.91 CPU time (s): 182.863 CPU user time (s): 182.241 CPU system time (s): 0.621905 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 117224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 182.241 system time used= 0.621905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30362 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= 89 involuntary context switches= 369 runsolver used 0.275958 second user time and 0.934857 second system time The end
Begin job on node056 at 2010-06-26 01:42:38 IDJOB=2683395 IDBENCH=72109 IDSOLVER=1161 FILE ID=node056/2683395-1277509357 PBS_JOBID= 11190645 Free space on /tmp= 98380 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand362510.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-2683395-1277509357/watcher-2683395-1277509357 -o /tmp/evaluation-result-2683395-1277509357/solver-2683395-1277509357 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683395-1277509357.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9d7a0a7c8e9750367a028c0a006f2886 RANDOM SEED=660626657 node056.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.215 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.43 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.215 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1862308 kB Buffers: 5312 kB Cached: 121380 kB SwapCached: 6936 kB Active: 49688 kB Inactive: 90588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1862308 kB SwapTotal: 4192956 kB SwapFree: 4139460 kB Dirty: 3584 kB Writeback: 0 kB AnonPages: 11368 kB Mapped: 11904 kB Slab: 34392 kB PageTables: 4248 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181588 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-2683395-1277509357.opb Free space on /tmp at the end= 98376 MiB End job on node056 at 2010-06-26 01:45:41