Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 11364 | 184.893 | 184.938 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand27da90.cudf.paranoid.opb |
MD5SUM | a48dca57cfda6cf4188a4a57f992ffd8 |
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 | 11364 |
Best CPU time to get the best result obtained on this benchmark | 2.51562 |
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 | 5732 |
Total number of constraints | 25423 |
Number of constraints which are clauses | 25128 |
Number of constraints which are cardinality constraints (but not clauses) | 295 |
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 | 2127 |
Biggest coefficient in the objective function | 1578 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 871054 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1578 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 871054 |
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-2683343-1277508987.opb. 0.00/0.00 c Instance file HOME/instance-2683343-1277508987.opb 0.00/0.00 c File size is 813679 bytes. 0.09/0.12 c Highest Coefficient sum: 553 0.09/0.12 c ============================[ Problem Statistics ]============================= 0.09/0.12 c | | 0.09/0.12 c | Parsing time: 0.12 s | 0.09/0.12 c | Number Variables: 5732 | 0.09/0.12 c | Number Clauses: 25128 | 0.09/0.12 c | Number Cardinality: 295 | 0.09/0.12 c | Number PB Constraints: 0 | 2.39/2.42 c ============================[ Search Statistics ]============================== 2.39/2.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.42 c =============================================================================== 2.39/2.42 c | 0 | 3778 26916 55360 | 8474 0 nan | 0.000 % | 2.39/2.43 c =============================================================================== 2.39/2.43 c New solution: 497771 2.39/2.43 o 497771 2.39/2.43 c Elapsed CPU time: 2.41363 s Remaining CPU time: 177.586 s 2.39/2.43 c =============================================================================== 2.39/2.43 c | 14 | 3778 26917 57394 | 8972 14 5 | 0.000 % | 2.39/2.46 c =============================================================================== 2.39/2.46 c New solution: 355756 2.39/2.46 o 355756 2.39/2.46 c Elapsed CPU time: 2.43063 s Remaining CPU time: 177.569 s 2.39/2.46 c =============================================================================== 2.39/2.46 c | 49 | 3778 26918 59428 | 8972 49 4 | 0.000 % | 2.39/2.47 c =============================================================================== 2.39/2.47 c New solution: 302014 2.39/2.47 o 302014 2.39/2.47 c Elapsed CPU time: 2.44163 s Remaining CPU time: 177.558 s 2.39/2.47 c =============================================================================== 2.39/2.47 c | 62 | 3778 26919 61462 | 8973 62 4 | 0.000 % | 2.39/2.49 c =============================================================================== 2.39/2.49 c New solution: 294200 2.39/2.49 o 294200 2.39/2.49 c Elapsed CPU time: 2.44963 s Remaining CPU time: 177.55 s 2.39/2.49 c =============================================================================== 2.39/2.49 c | 74 | 3778 26920 63496 | 8973 74 4 | 0.000 % | 2.50/2.50 c =============================================================================== 2.50/2.50 c New solution: 265761 2.50/2.50 o 265761 2.50/2.50 c Elapsed CPU time: 2.46762 s Remaining CPU time: 177.532 s 2.50/2.50 c =============================================================================== 2.50/2.50 c | 98 | 3778 26921 65530 | 8973 98 4 | 0.000 % | 2.50/2.54 c =============================================================================== 2.50/2.54 c New solution: 125273 2.50/2.54 o 125273 2.50/2.54 c Elapsed CPU time: 2.49862 s Remaining CPU time: 177.501 s 2.50/2.54 c =============================================================================== 2.50/2.54 c | 156 | 3778 26922 67564 | 8974 156 8 | 0.000 % | 2.59/2.62 c =============================================================================== 2.59/2.62 c New solution: 125272 2.59/2.62 o 125272 2.59/2.62 c Elapsed CPU time: 2.57261 s Remaining CPU time: 177.427 s 2.59/2.62 c =============================================================================== 2.59/2.62 c | 254 | 3778 26923 69598 | 8974 254 18 | 0.000 % | 2.59/2.64 c =============================================================================== 2.59/2.64 c New solution: 125270 2.59/2.64 o 125270 2.59/2.64 c Elapsed CPU time: 2.58261 s Remaining CPU time: 177.417 s 2.59/2.64 c =============================================================================== 2.59/2.64 c | 262 | 3778 26924 71632 | 8974 262 17 | 0.000 % | 2.59/2.65 c =============================================================================== 2.59/2.65 c New solution: 125269 2.59/2.65 o 125269 2.59/2.65 c Elapsed CPU time: 2.59461 s Remaining CPU time: 177.405 s 2.59/2.65 c =============================================================================== 2.59/2.65 c | 265 | 3778 26925 73666 | 8975 265 19 | 0.000 % | 2.59/2.69 c =============================================================================== 2.59/2.69 c New solution: 123781 2.59/2.69 o 123781 2.59/2.69 c Elapsed CPU time: 2.6256 s Remaining CPU time: 177.374 s 2.59/2.69 c =============================================================================== 2.59/2.69 c | 288 | 3778 26926 75700 | 8975 288 18 | 0.000 % | 2.69/2.70 c =============================================================================== 2.69/2.70 c New solution: 123711 2.69/2.70 o 123711 2.69/2.70 c Elapsed CPU time: 2.6376 s Remaining CPU time: 177.362 s 2.69/2.70 c =============================================================================== 2.69/2.70 c | 292 | 3778 26927 77734 | 8975 292 18 | 0.000 % | 2.69/2.71 c =============================================================================== 2.69/2.71 c New solution: 123707 2.69/2.71 o 123707 2.69/2.71 c Elapsed CPU time: 2.6516 s Remaining CPU time: 177.348 s 2.69/2.71 c =============================================================================== 2.69/2.71 c | 297 | 3778 26928 79768 | 8976 297 18 | 0.000 % | 2.69/2.73 c =============================================================================== 2.69/2.73 c New solution: 122187 2.69/2.73 o 122187 2.69/2.73 c Elapsed CPU time: 2.66459 s Remaining CPU time: 177.335 s 2.69/2.73 c =============================================================================== 2.69/2.73 c | 299 | 3778 26929 81802 | 8976 299 18 | 0.000 % | 2.69/2.75 c =============================================================================== 2.69/2.75 c New solution: 122186 2.69/2.75 o 122186 2.69/2.75 c Elapsed CPU time: 2.68359 s Remaining CPU time: 177.316 s 2.69/2.75 c =============================================================================== 2.69/2.75 c | 305 | 3778 26930 83836 | 8976 305 19 | 0.000 % | 2.69/2.77 c =============================================================================== 2.69/2.77 c New solution: 122175 2.69/2.77 o 122175 2.69/2.77 c Elapsed CPU time: 2.70759 s Remaining CPU time: 177.292 s 2.69/2.77 c =============================================================================== 2.69/2.77 c | 316 | 3778 26931 85870 | 8977 316 21 | 0.000 % | 2.79/2.81 c =============================================================================== 2.79/2.81 c New solution: 122163 2.79/2.81 o 122163 2.79/2.81 c Elapsed CPU time: 2.74358 s Remaining CPU time: 177.256 s 2.79/2.81 c =============================================================================== 2.79/2.81 c | 320 | 3778 26932 87904 | 8977 320 20 | 0.000 % | 2.79/2.82 c =============================================================================== 2.79/2.82 c New solution: 120585 2.79/2.82 o 120585 2.79/2.82 c Elapsed CPU time: 2.75558 s Remaining CPU time: 177.244 s 2.79/2.82 c =============================================================================== 2.79/2.82 c | 325 | 3778 26933 89938 | 8977 325 20 | 0.000 % | 2.79/2.83 c =============================================================================== 2.79/2.83 c New solution: 120584 2.79/2.83 o 120584 2.79/2.83 c Elapsed CPU time: 2.76458 s Remaining CPU time: 177.235 s 2.79/2.83 c =============================================================================== 2.79/2.83 c | 326 | 3778 26934 91972 | 8978 326 20 | 0.000 % | 2.79/2.85 c =============================================================================== 2.79/2.85 c New solution: 96912 2.79/2.85 o 96912 2.79/2.85 c Elapsed CPU time: 2.77658 s Remaining CPU time: 177.223 s 2.79/2.85 c =============================================================================== 2.79/2.85 c | 327 | 3778 26935 94006 | 8978 327 20 | 0.000 % | 2.79/2.87 c =============================================================================== 2.79/2.87 c New solution: 96911 2.79/2.87 o 96911 2.79/2.87 c Elapsed CPU time: 2.79557 s Remaining CPU time: 177.204 s 2.79/2.87 c =============================================================================== 2.79/2.87 c | 327 | 3778 26936 96040 | 8978 327 20 | 0.000 % | 2.79/2.88 c =============================================================================== 2.79/2.88 c New solution: 96910 2.79/2.88 o 96910 2.79/2.88 c Elapsed CPU time: 2.80957 s Remaining CPU time: 177.19 s 2.79/2.88 c =============================================================================== 2.79/2.88 c | 328 | 3778 26937 98074 | 8979 328 20 | 0.000 % | 2.79/2.90 c =============================================================================== 2.79/2.90 c New solution: 96909 2.79/2.90 o 96909 2.79/2.90 c Elapsed CPU time: 2.82257 s Remaining CPU time: 177.177 s 2.79/2.90 c =============================================================================== 2.79/2.90 c | 328 | 3778 26938 100108 | 8979 328 20 | 0.000 % | 2.89/2.91 c =============================================================================== 2.89/2.91 c New solution: 96908 2.89/2.91 o 96908 2.89/2.91 c Elapsed CPU time: 2.83957 s Remaining CPU time: 177.16 s 2.89/2.91 c =============================================================================== 2.89/2.91 c | 329 | 3778 26939 102142 | 8979 329 20 | 0.000 % | 2.89/2.93 c =============================================================================== 2.89/2.93 c New solution: 96907 2.89/2.93 o 96907 2.89/2.93 c Elapsed CPU time: 2.85357 s Remaining CPU time: 177.146 s 2.89/2.93 c =============================================================================== 2.89/2.93 c | 330 | 3778 26940 104176 | 8980 330 20 | 0.000 % | 2.89/2.95 c =============================================================================== 2.89/2.95 c New solution: 96905 2.89/2.95 o 96905 2.89/2.95 c Elapsed CPU time: 2.86856 s Remaining CPU time: 177.131 s 2.89/2.95 c =============================================================================== 2.89/2.95 c | 330 | 3778 26941 106210 | 8980 330 20 | 0.000 % | 2.89/2.98 c =============================================================================== 2.89/2.98 c New solution: 96904 2.89/2.98 o 96904 2.89/2.98 c Elapsed CPU time: 2.90256 s Remaining CPU time: 177.097 s 2.89/2.98 c =============================================================================== 2.89/2.98 c | 335 | 3778 26942 108244 | 8980 335 20 | 0.000 % | 2.89/3.00 c =============================================================================== 2.89/3.00 c New solution: 96899 2.89/3.00 o 96899 2.89/3.00 c Elapsed CPU time: 2.91656 s Remaining CPU time: 177.083 s 2.89/3.00 c =============================================================================== 2.89/3.00 c | 336 | 3778 26943 110278 | 8981 336 20 | 0.000 % | 2.99/3.01 c =============================================================================== 2.99/3.01 c New solution: 96898 2.99/3.01 o 96898 2.99/3.01 c Elapsed CPU time: 2.93155 s Remaining CPU time: 177.068 s 2.99/3.01 c =============================================================================== 2.99/3.01 c | 337 | 3778 26944 112312 | 8981 337 20 | 0.000 % | 2.99/3.03 c =============================================================================== 2.99/3.03 c New solution: 96897 2.99/3.03 o 96897 2.99/3.03 c Elapsed CPU time: 2.94455 s Remaining CPU time: 177.055 s 2.99/3.03 c =============================================================================== 2.99/3.03 c | 337 | 3778 26945 114346 | 8981 337 20 | 0.000 % | 2.99/3.05 c =============================================================================== 2.99/3.05 c New solution: 96896 2.99/3.05 o 96896 2.99/3.05 c Elapsed CPU time: 2.96455 s Remaining CPU time: 177.035 s 2.99/3.05 c =============================================================================== 2.99/3.05 c | 339 | 3778 26946 116380 | 8982 339 21 | 0.000 % | 3.39/3.43 c =============================================================================== 3.39/3.43 c New solution: 96895 3.39/3.43 o 96895 3.39/3.43 c Elapsed CPU time: 3.34249 s Remaining CPU time: 176.658 s 3.39/3.43 c =============================================================================== 3.39/3.43 c | 403 | 3778 26947 118414 | 8982 403 79 | 0.000 % | 3.49/3.56 c | 503 | 3778 26947 118414 | 9880 503 186 | 34.089 % | 3.59/3.66 c =============================================================================== 3.59/3.66 c New solution: 96894 3.59/3.66 o 96894 3.59/3.66 c Elapsed CPU time: 3.57246 s Remaining CPU time: 176.428 s 3.59/3.66 c =============================================================================== 3.59/3.66 c | 518 | 3778 26948 120448 | 8982 518 184 | 34.089 % | 3.69/3.72 c =============================================================================== 3.69/3.72 c New solution: 96892 3.69/3.72 o 96892 3.69/3.72 c Elapsed CPU time: 3.62345 s Remaining CPU time: 176.377 s 3.69/3.72 c =============================================================================== 3.69/3.72 c | 523 | 3778 26949 122482 | 8983 523 186 | 34.089 % | 3.89/3.97 c =============================================================================== 3.89/3.97 c New solution: 96891 3.89/3.97 o 96891 3.89/3.97 c Elapsed CPU time: 3.87141 s Remaining CPU time: 176.129 s 3.89/3.97 c =============================================================================== 3.89/3.97 c | 619 | 3778 26950 124516 | 8983 619 253 | 34.089 % | 4.19/4.21 c =============================================================================== 4.19/4.21 c New solution: 95430 4.19/4.21 o 95430 4.19/4.21 c Elapsed CPU time: 4.11737 s Remaining CPU time: 175.883 s 4.19/4.21 c =============================================================================== 4.19/4.21 c | 684 | 3778 26951 126550 | 8983 684 258 | 34.089 % | 4.19/4.25 c =============================================================================== 4.19/4.25 c New solution: 95336 4.19/4.25 o 95336 4.19/4.25 c Elapsed CPU time: 4.15337 s Remaining CPU time: 175.847 s 4.19/4.25 c =============================================================================== 4.19/4.25 c | 706 | 3778 26952 128584 | 8984 706 256 | 34.089 % | 4.49/4.58 c | 806 | 3778 26952 128584 | 9882 806 308 | 34.089 % | 4.59/4.61 c =============================================================================== 4.59/4.61 c New solution: 95331 4.59/4.61 o 95331 4.59/4.61 c Elapsed CPU time: 4.51031 s Remaining CPU time: 175.49 s 4.59/4.61 c =============================================================================== 4.59/4.61 c | 817 | 3778 26953 130618 | 8984 817 312 | 34.089 % | 4.59/4.65 c =============================================================================== 4.59/4.65 c New solution: 95330 4.59/4.65 o 95330 4.59/4.65 c Elapsed CPU time: 4.54731 s Remaining CPU time: 175.453 s 4.59/4.65 c =============================================================================== 4.59/4.65 c | 829 | 3778 26954 132652 | 8984 829 315 | 34.089 % | 4.69/4.72 c =============================================================================== 4.69/4.72 c New solution: 95329 4.69/4.72 o 95329 4.69/4.72 c Elapsed CPU time: 4.6133 s Remaining CPU time: 175.387 s 4.69/4.72 c =============================================================================== 4.69/4.72 c | 844 | 3778 26955 134686 | 8985 844 318 | 34.089 % | 4.89/4.92 c | 944 | 3778 26955 134686 | 9883 944 354 | 34.089 % | 5.00/5.00 c =============================================================================== 5.00/5.00 c New solution: 95328 5.00/5.00 o 95328 5.00/5.00 c Elapsed CPU time: 4.89126 s Remaining CPU time: 175.109 s 5.00/5.00 c =============================================================================== 5.00/5.00 c | 950 | 3778 26956 136720 | 8985 950 353 | 34.089 % | 5.10/5.13 c =============================================================================== 5.10/5.13 c New solution: 95327 5.10/5.13 o 95327 5.10/5.13 c Elapsed CPU time: 5.02424 s Remaining CPU time: 174.976 s 5.10/5.13 c =============================================================================== 5.10/5.13 c | 957 | 3778 26957 138754 | 8985 957 352 | 34.089 % | 5.10/5.17 c =============================================================================== 5.10/5.17 c New solution: 95326 5.10/5.17 o 95326 5.10/5.17 c Elapsed CPU time: 5.06523 s Remaining CPU time: 174.935 s 5.10/5.17 c =============================================================================== 5.10/5.17 c | 958 | 3778 26958 140788 | 8986 958 352 | 34.089 % | 5.19/5.24 c =============================================================================== 5.19/5.24 c New solution: 95325 5.19/5.24 o 95325 5.19/5.24 c Elapsed CPU time: 5.12922 s Remaining CPU time: 174.871 s 5.19/5.24 c =============================================================================== 5.19/5.24 c | 962 | 3778 26959 142822 | 8986 962 352 | 34.089 % | 5.19/5.28 c =============================================================================== 5.19/5.28 c New solution: 95324 5.19/5.28 o 95324 5.19/5.28 c Elapsed CPU time: 5.16821 s Remaining CPU time: 174.832 s 5.19/5.28 c =============================================================================== 5.19/5.28 c | 963 | 3778 26960 144856 | 8986 963 352 | 34.089 % | 5.29/5.32 c =============================================================================== 5.29/5.32 c New solution: 95323 5.29/5.32 o 95323 5.29/5.32 c Elapsed CPU time: 5.21021 s Remaining CPU time: 174.79 s 5.29/5.32 c =============================================================================== 5.29/5.32 c | 964 | 3778 26961 146890 | 8987 964 352 | 34.089 % | 5.29/5.36 c =============================================================================== 5.29/5.36 c New solution: 95322 5.29/5.36 o 95322 5.29/5.36 c Elapsed CPU time: 5.2492 s Remaining CPU time: 174.751 s 5.29/5.36 c =============================================================================== 5.29/5.36 c | 967 | 3778 26962 148924 | 8987 967 352 | 34.089 % | 5.40/5.40 c =============================================================================== 5.40/5.40 c New solution: 95321 5.40/5.40 o 95321 5.40/5.40 c Elapsed CPU time: 5.2852 s Remaining CPU time: 174.715 s 5.40/5.40 c =============================================================================== 5.40/5.40 c | 967 | 3778 26963 150958 | 8987 967 352 | 34.089 % | 5.40/5.43 c =============================================================================== 5.40/5.43 c New solution: 95320 5.40/5.43 o 95320 5.40/5.43 c Elapsed CPU time: 5.32219 s Remaining CPU time: 174.678 s 5.40/5.43 c =============================================================================== 5.40/5.43 c | 973 | 3778 26964 152992 | 8988 973 351 | 34.089 % | 5.40/5.47 c =============================================================================== 5.40/5.47 c New solution: 95311 5.40/5.47 o 95311 5.40/5.47 c Elapsed CPU time: 5.35319 s Remaining CPU time: 174.647 s 5.40/5.47 c =============================================================================== 5.40/5.47 c | 973 | 3778 26965 155026 | 8988 973 351 | 34.089 % | 5.40/5.50 c =============================================================================== 5.40/5.50 c New solution: 95310 5.40/5.50 o 95310 5.40/5.50 c Elapsed CPU time: 5.38718 s Remaining CPU time: 174.613 s 5.40/5.50 c =============================================================================== 5.40/5.50 c | 973 | 3778 26966 157060 | 8988 973 351 | 34.089 % | 5.50/5.53 c =============================================================================== 5.50/5.53 c New solution: 95309 5.50/5.53 o 95309 5.50/5.53 c Elapsed CPU time: 5.41718 s Remaining CPU time: 174.583 s 5.50/5.53 c =============================================================================== 5.50/5.53 c | 973 | 3778 26967 159094 | 8989 973 351 | 34.089 % | 5.50/5.56 c =============================================================================== 5.50/5.56 c New solution: 95308 5.50/5.56 o 95308 5.50/5.56 c Elapsed CPU time: 5.44417 s Remaining CPU time: 174.556 s 5.50/5.56 c =============================================================================== 5.50/5.56 c | 973 | 3778 26968 161128 | 8989 973 351 | 34.089 % | 5.59/5.60 c =============================================================================== 5.59/5.60 c New solution: 95307 5.59/5.60 o 95307 5.59/5.60 c Elapsed CPU time: 5.48217 s Remaining CPU time: 174.518 s 5.59/5.60 c =============================================================================== 5.59/5.60 c | 973 | 3778 26969 163162 | 8989 973 351 | 34.089 % | 5.59/5.66 c =============================================================================== 5.59/5.66 c New solution: 95306 5.59/5.66 o 95306 5.59/5.66 c Elapsed CPU time: 5.54416 s Remaining CPU time: 174.456 s 5.59/5.66 c =============================================================================== 5.59/5.66 c | 973 | 3778 26970 165196 | 8990 973 351 | 34.089 % | 5.69/5.70 c =============================================================================== 5.69/5.70 c New solution: 95305 5.69/5.70 o 95305 5.69/5.70 c Elapsed CPU time: 5.57915 s Remaining CPU time: 174.421 s 5.69/5.70 c =============================================================================== 5.69/5.70 c | 973 | 3778 26971 167230 | 8990 973 351 | 34.089 % | 5.69/5.74 c =============================================================================== 5.69/5.74 c New solution: 95304 5.69/5.74 o 95304 5.69/5.74 c Elapsed CPU time: 5.61515 s Remaining CPU time: 174.385 s 5.69/5.74 c =============================================================================== 5.69/5.74 c | 973 | 3778 26972 169264 | 8990 973 351 | 34.089 % | 5.69/5.77 c =============================================================================== 5.69/5.77 c New solution: 95303 5.69/5.77 o 95303 5.69/5.77 c Elapsed CPU time: 5.65014 s Remaining CPU time: 174.35 s 5.69/5.77 c =============================================================================== 5.69/5.77 c | 973 | 3778 26973 171298 | 8991 973 351 | 34.089 % | 5.79/5.81 c =============================================================================== 5.79/5.81 c New solution: 95302 5.79/5.81 o 95302 5.79/5.81 c Elapsed CPU time: 5.68614 s Remaining CPU time: 174.314 s 5.79/5.81 c =============================================================================== 5.79/5.81 c | 974 | 3778 26974 173332 | 8991 974 351 | 34.089 % | 5.79/5.84 c =============================================================================== 5.79/5.84 c New solution: 95301 5.79/5.84 o 95301 5.79/5.84 c Elapsed CPU time: 5.72113 s Remaining CPU time: 174.279 s 5.79/5.84 c =============================================================================== 5.79/5.84 c | 975 | 3778 26975 175366 | 8991 975 351 | 34.089 % | 6.09/6.20 c | 1076 | 3778 26975 175366 | 9890 1076 379 | 34.089 % | 6.19/6.26 c =============================================================================== 6.19/6.26 c New solution: 93756 6.19/6.26 o 93756 6.19/6.26 c Elapsed CPU time: 6.13407 s Remaining CPU time: 173.866 s 6.19/6.26 c =============================================================================== 6.19/6.26 c | 1080 | 3778 26976 177400 | 8992 1080 379 | 34.089 % | 6.29/6.30 c =============================================================================== 6.29/6.30 c New solution: 92233 6.29/6.30 o 92233 6.29/6.30 c Elapsed CPU time: 6.17506 s Remaining CPU time: 173.825 s 6.29/6.30 c =============================================================================== 6.29/6.30 c | 1083 | 3778 26977 179434 | 8992 1083 377 | 34.089 % | 6.29/6.34 c =============================================================================== 6.29/6.34 c New solution: 92224 6.29/6.34 o 92224 6.29/6.34 c Elapsed CPU time: 6.20706 s Remaining CPU time: 173.793 s 6.29/6.34 c =============================================================================== 6.29/6.34 c | 1084 | 3778 26978 181468 | 8992 1084 378 | 34.089 % | 6.29/6.39 c =============================================================================== 6.29/6.39 c New solution: 92186 6.29/6.39 o 92186 6.29/6.39 c Elapsed CPU time: 6.25505 s Remaining CPU time: 173.745 s 6.29/6.39 c =============================================================================== 6.29/6.39 c | 1094 | 3778 26979 183502 | 8993 1094 378 | 34.089 % | 6.79/6.83 c =============================================================================== 6.79/6.83 c New solution: 92174 6.79/6.83 o 92174 6.79/6.83 c Elapsed CPU time: 6.69798 s Remaining CPU time: 173.302 s 6.79/6.83 c =============================================================================== 6.79/6.83 c | 1192 | 3778 26980 185536 | 8993 1192 399 | 34.089 % | 6.89/6.93 c =============================================================================== 6.89/6.93 c New solution: 92173 6.89/6.93 o 92173 6.89/6.93 c Elapsed CPU time: 6.79197 s Remaining CPU time: 173.208 s 6.89/6.93 c =============================================================================== 6.89/6.93 c | 1192 | 3778 26981 187570 | 8993 1192 399 | 34.089 % | 6.89/6.99 c =============================================================================== 6.89/6.99 c New solution: 92172 6.89/6.99 o 92172 6.89/6.99 c Elapsed CPU time: 6.85196 s Remaining CPU time: 173.148 s 6.89/6.99 c =============================================================================== 6.89/6.99 c | 1192 | 3778 26982 189604 | 8994 1192 399 | 34.089 % | 6.99/7.05 c =============================================================================== 6.99/7.05 c New solution: 92169 6.99/7.05 o 92169 6.99/7.05 c Elapsed CPU time: 6.91095 s Remaining CPU time: 173.089 s 6.99/7.05 c =============================================================================== 6.99/7.05 c | 1192 | 3778 26983 191638 | 8994 1192 399 | 34.089 % | 7.08/7.11 c =============================================================================== 7.08/7.11 c New solution: 92168 7.08/7.11 o 92168 7.08/7.11 c Elapsed CPU time: 6.96994 s Remaining CPU time: 173.03 s 7.08/7.11 c =============================================================================== 7.08/7.11 c | 1193 | 3778 26984 193672 | 8994 1193 399 | 34.089 % | 7.08/7.19 c =============================================================================== 7.08/7.19 c New solution: 92167 7.08/7.19 o 92167 7.08/7.19 c Elapsed CPU time: 7.05493 s Remaining CPU time: 172.945 s 7.08/7.19 c =============================================================================== 7.08/7.19 c | 1194 | 3778 26985 195706 | 8995 1194 399 | 34.089 % | 7.19/7.29 c =============================================================================== 7.19/7.29 c New solution: 92166 7.19/7.29 o 92166 7.19/7.29 c Elapsed CPU time: 7.15591 s Remaining CPU time: 172.844 s 7.19/7.29 c =============================================================================== 7.19/7.29 c | 1195 | 3778 26986 197740 | 8995 1195 399 | 34.089 % | 7.29/7.38 c =============================================================================== 7.29/7.38 c New solution: 92165 7.29/7.38 o 92165 7.29/7.38 c Elapsed CPU time: 7.2429 s Remaining CPU time: 172.757 s 7.29/7.38 c =============================================================================== 7.29/7.38 c | 1196 | 3778 26987 199774 | 8995 1196 399 | 34.089 % | 7.39/7.44 c =============================================================================== 7.39/7.44 c New solution: 92164 7.39/7.44 o 92164 7.39/7.44 c Elapsed CPU time: 7.30189 s Remaining CPU time: 172.698 s 7.39/7.44 c =============================================================================== 7.39/7.44 c | 1196 | 3778 26988 201808 | 8996 1196 399 | 34.089 % | 7.39/7.49 c =============================================================================== 7.39/7.49 c New solution: 92163 7.39/7.49 o 92163 7.39/7.49 c Elapsed CPU time: 7.35188 s Remaining CPU time: 172.648 s 7.39/7.49 c =============================================================================== 7.39/7.49 c | 1196 | 3778 26989 203842 | 8996 1196 399 | 34.089 % | 7.49/7.55 c =============================================================================== 7.49/7.55 c New solution: 92162 7.49/7.55 o 92162 7.49/7.55 c Elapsed CPU time: 7.41087 s Remaining CPU time: 172.589 s 7.49/7.55 c =============================================================================== 7.49/7.55 c | 1196 | 3778 26990 205876 | 8996 1196 399 | 34.089 % | 7.60/7.61 c =============================================================================== 7.60/7.61 c New solution: 92161 7.60/7.61 o 92161 7.60/7.61 c Elapsed CPU time: 7.46986 s Remaining CPU time: 172.53 s 7.60/7.61 c =============================================================================== 7.60/7.61 c | 1196 | 3778 26991 207910 | 8997 1196 399 | 34.089 % | 7.70/7.73 c =============================================================================== 7.70/7.73 c New solution: 90661 7.70/7.73 o 90661 7.70/7.73 c Elapsed CPU time: 7.58585 s Remaining CPU time: 172.414 s 7.70/7.73 c =============================================================================== 7.70/7.73 c | 1199 | 3778 26992 209944 | 8997 1199 398 | 34.089 % | 7.70/7.79 c =============================================================================== 7.70/7.79 c New solution: 90586 7.70/7.79 o 90586 7.70/7.79 c Elapsed CPU time: 7.64684 s Remaining CPU time: 172.353 s 7.70/7.79 c =============================================================================== 7.70/7.79 c | 1199 | 3778 26993 211978 | 8997 1199 398 | 34.089 % | 7.79/7.85 c =============================================================================== 7.79/7.85 c New solution: 90585 7.79/7.85 o 90585 7.79/7.85 c Elapsed CPU time: 7.70983 s Remaining CPU time: 172.29 s 7.79/7.85 c =============================================================================== 7.79/7.85 c | 1199 | 3778 26994 214012 | 8998 1199 398 | 34.089 % | 7.89/7.92 c =============================================================================== 7.89/7.92 c New solution: 90584 7.89/7.92 o 90584 7.89/7.92 c Elapsed CPU time: 7.77282 s Remaining CPU time: 172.227 s 7.89/7.92 c =============================================================================== 7.89/7.92 c | 1199 | 3778 26995 216046 | 8998 1199 398 | 34.089 % | 7.98/8.03 c =============================================================================== 7.98/8.03 c New solution: 90582 7.98/8.03 o 90582 7.98/8.03 c Elapsed CPU time: 7.8838 s Remaining CPU time: 172.116 s 7.98/8.03 c =============================================================================== 7.98/8.03 c | 1206 | 3778 26996 218080 | 8998 1206 399 | 34.089 % | 8.08/8.12 c =============================================================================== 8.08/8.12 c New solution: 90581 8.08/8.12 o 90581 8.08/8.12 c Elapsed CPU time: 7.97479 s Remaining CPU time: 172.025 s 8.08/8.12 c =============================================================================== 8.08/8.12 c | 1211 | 3778 26997 220114 | 8999 1211 397 | 34.089 % | 8.08/8.18 c =============================================================================== 8.08/8.18 c New solution: 90580 8.08/8.18 o 90580 8.08/8.18 c Elapsed CPU time: 8.03478 s Remaining CPU time: 171.965 s 8.08/8.18 c =============================================================================== 8.08/8.18 c | 1216 | 3778 26998 222148 | 8999 1216 398 | 34.089 % | 8.19/8.28 c =============================================================================== 8.19/8.28 c New solution: 90579 8.19/8.28 o 90579 8.19/8.28 c Elapsed CPU time: 8.13076 s Remaining CPU time: 171.869 s 8.19/8.28 c =============================================================================== 8.19/8.28 c | 1216 | 3778 26999 224182 | 8999 1216 398 | 34.089 % | 8.29/8.34 c =============================================================================== 8.29/8.34 c New solution: 90578 8.29/8.34 o 90578 8.29/8.34 c Elapsed CPU time: 8.18675 s Remaining CPU time: 171.813 s 8.29/8.34 c =============================================================================== 8.29/8.34 c | 1219 | 3778 27000 226216 | 9000 1219 398 | 34.089 % | 8.39/8.40 c =============================================================================== 8.39/8.40 c New solution: 89080 8.39/8.40 o 89080 8.39/8.40 c Elapsed CPU time: 8.25375 s Remaining CPU time: 171.746 s 8.39/8.40 c =============================================================================== 8.39/8.40 c | 1219 | 3778 27001 228250 | 9000 1219 398 | 34.089 % | 8.39/8.45 c =============================================================================== 8.39/8.45 c New solution: 87528 8.39/8.45 o 87528 8.39/8.45 c Elapsed CPU time: 8.29674 s Remaining CPU time: 171.703 s 8.39/8.45 c =============================================================================== 8.39/8.45 c | 1221 | 3778 27002 230284 | 9000 1221 398 | 34.089 % | 8.49/8.50 c =============================================================================== 8.49/8.50 c New solution: 87505 8.49/8.50 o 87505 8.49/8.50 c Elapsed CPU time: 8.34773 s Remaining CPU time: 171.652 s 8.49/8.50 c =============================================================================== 8.49/8.50 c | 1221 | 3778 27003 232318 | 9001 1221 398 | 34.089 % | 8.49/8.53 c =============================================================================== 8.49/8.53 c New solution: 87504 8.49/8.53 o 87504 8.49/8.53 c Elapsed CPU time: 8.38072 s Remaining CPU time: 171.619 s 8.49/8.53 c =============================================================================== 8.49/8.53 c | 1221 | 3778 27004 234352 | 9001 1221 398 | 34.089 % | 8.49/8.60 c =============================================================================== 8.49/8.60 c New solution: 87500 8.49/8.60 o 87500 8.49/8.60 c Elapsed CPU time: 8.44272 s Remaining CPU time: 171.557 s 8.49/8.60 c =============================================================================== 8.49/8.60 c | 1222 | 3778 27005 236386 | 9001 1222 398 | 34.089 % | 8.59/8.68 c =============================================================================== 8.59/8.68 c New solution: 87446 8.59/8.68 o 87446 8.59/8.68 c Elapsed CPU time: 8.5207 s Remaining CPU time: 171.479 s 8.59/8.68 c =============================================================================== 8.59/8.68 c | 1224 | 3778 27006 238420 | 9002 1224 398 | 34.089 % | 8.69/8.80 c =============================================================================== 8.69/8.80 c New solution: 87445 8.69/8.80 o 87445 8.69/8.80 c Elapsed CPU time: 8.64668 s Remaining CPU time: 171.353 s 8.69/8.80 c =============================================================================== 8.69/8.80 c | 1226 | 3778 27007 240454 | 9002 1226 398 | 34.089 % | 8.79/8.89 c =============================================================================== 8.79/8.89 c New solution: 85930 8.79/8.89 o 85930 8.79/8.89 c Elapsed CPU time: 8.73767 s Remaining CPU time: 171.262 s 8.79/8.89 c =============================================================================== 8.79/8.89 c | 1240 | 3778 27008 242488 | 9002 1240 400 | 34.089 % | 8.99/9.01 c =============================================================================== 8.99/9.01 c New solution: 85848 8.99/9.01 o 85848 8.99/9.01 c Elapsed CPU time: 8.85065 s Remaining CPU time: 171.149 s 8.99/9.01 c =============================================================================== 8.99/9.01 c | 1243 | 3778 27009 244522 | 9003 1243 400 | 34.089 % | 9.09/9.13 c =============================================================================== 9.09/9.13 c New solution: 85847 9.09/9.13 o 85847 9.09/9.13 c Elapsed CPU time: 8.97164 s Remaining CPU time: 171.028 s 9.09/9.13 c =============================================================================== 9.09/9.13 c | 1244 | 3778 27010 246556 | 9003 1244 400 | 34.089 % | 9.19/9.27 c =============================================================================== 9.19/9.27 c New solution: 85846 9.19/9.27 o 85846 9.19/9.27 c Elapsed CPU time: 9.10761 s Remaining CPU time: 170.892 s 9.19/9.27 c =============================================================================== 9.19/9.27 c | 1251 | 3778 27011 248590 | 9003 1251 401 | 34.089 % | 9.39/9.41 c =============================================================================== 9.39/9.41 c New solution: 85845 9.39/9.41 o 85845 9.39/9.41 c Elapsed CPU time: 9.25059 s Remaining CPU time: 170.749 s 9.39/9.41 c =============================================================================== 9.39/9.41 c | 1259 | 3778 27012 250624 | 9004 1259 401 | 34.089 % | 9.49/9.51 c =============================================================================== 9.49/9.51 c New solution: 84350 9.49/9.51 o 84350 9.49/9.51 c Elapsed CPU time: 9.34458 s Remaining CPU time: 170.655 s 9.49/9.51 c =============================================================================== 9.49/9.51 c | 1266 | 3778 27013 252658 | 9004 1266 402 | 34.089 % | 9.49/9.58 c =============================================================================== 9.49/9.58 c New solution: 84282 9.49/9.58 o 84282 9.49/9.58 c Elapsed CPU time: 9.41657 s Remaining CPU time: 170.583 s 9.49/9.58 c =============================================================================== 9.49/9.58 c | 1271 | 3778 27014 254692 | 9004 1271 402 | 34.089 % | 9.59/9.63 c =============================================================================== 9.59/9.63 c New solution: 84275 9.59/9.63 o 84275 9.59/9.63 c Elapsed CPU time: 9.47356 s Remaining CPU time: 170.526 s 9.59/9.63 c =============================================================================== 9.59/9.63 c | 1274 | 3778 27015 256726 | 9005 1274 402 | 34.089 % | 9.69/9.70 c =============================================================================== 9.69/9.70 c New solution: 84274 9.69/9.70 o 84274 9.69/9.70 c Elapsed CPU time: 9.53855 s Remaining CPU time: 170.461 s 9.69/9.70 c =============================================================================== 9.69/9.70 c | 1282 | 3778 27016 258760 | 9005 1282 401 | 34.089 % | 9.69/9.80 c =============================================================================== 9.69/9.80 c New solution: 82781 9.69/9.80 o 82781 9.69/9.80 c Elapsed CPU time: 9.63254 s Remaining CPU time: 170.367 s 9.69/9.80 c =============================================================================== 9.69/9.80 c | 1285 | 3778 27017 260794 | 9005 1285 401 | 34.089 % | 9.79/9.88 c =============================================================================== 9.79/9.88 c New solution: 82775 9.79/9.88 o 82775 9.79/9.88 c Elapsed CPU time: 9.71452 s Remaining CPU time: 170.285 s 9.79/9.88 c =============================================================================== 9.79/9.88 c | 1290 | 3778 27018 262828 | 9006 1290 402 | 34.089 % | 9.89/9.95 c =============================================================================== 9.89/9.95 c New solution: 82705 9.89/9.95 o 82705 9.89/9.95 c Elapsed CPU time: 9.78151 s Remaining CPU time: 170.218 s 9.89/9.95 c =============================================================================== 9.89/9.95 c | 1291 | 3778 27019 264862 | 9006 1291 402 | 34.089 % | 9.99/10.03 c =============================================================================== 9.99/10.03 c New solution: 82703 9.99/10.03 o 82703 9.99/10.03 c Elapsed CPU time: 9.8635 s Remaining CPU time: 170.137 s 9.99/10.03 c =============================================================================== 9.99/10.03 c | 1292 | 3778 27020 266896 | 9006 1292 402 | 34.089 % | 9.99/10.09 c =============================================================================== 9.99/10.09 c New solution: 82702 9.99/10.09 o 82702 9.99/10.09 c Elapsed CPU time: 9.92449 s Remaining CPU time: 170.076 s 9.99/10.09 c =============================================================================== 9.99/10.09 c | 1292 | 3778 27021 268930 | 9007 1292 402 | 34.089 % | 10.08/10.15 c =============================================================================== 10.08/10.15 c New solution: 82701 10.08/10.15 o 82701 10.08/10.15 c Elapsed CPU time: 9.98448 s Remaining CPU time: 170.016 s 10.08/10.15 c =============================================================================== 10.08/10.15 c | 1292 | 3778 27022 270964 | 9007 1292 402 | 34.089 % | 10.18/10.22 c =============================================================================== 10.18/10.22 c New solution: 82700 10.18/10.22 o 82700 10.18/10.22 c Elapsed CPU time: 10.0485 s Remaining CPU time: 169.952 s 10.18/10.22 c =============================================================================== 10.18/10.22 c | 1293 | 3778 27023 272998 | 9007 1293 401 | 34.089 % | 10.18/10.28 c =============================================================================== 10.18/10.28 c New solution: 82699 10.18/10.28 o 82699 10.18/10.28 c Elapsed CPU time: 10.1065 s Remaining CPU time: 169.894 s 10.18/10.28 c =============================================================================== 10.18/10.28 c | 1293 | 3778 27024 275032 | 9008 1293 401 | 34.089 % | 10.29/10.34 c =============================================================================== 10.29/10.34 c New solution: 82698 10.29/10.34 o 82698 10.29/10.34 c Elapsed CPU time: 10.1655 s Remaining CPU time: 169.835 s 10.29/10.34 c =============================================================================== 10.29/10.34 c | 1293 | 3778 27025 277066 | 9008 1293 401 | 34.089 % | 10.69/10.70 c | 1393 | 3778 27025 277066 | 9909 1393 421 | 34.089 % | 11.19/11.23 c =============================================================================== 11.19/11.23 c New solution: 82697 11.19/11.23 o 82697 11.19/11.23 c Elapsed CPU time: 11.0533 s Remaining CPU time: 168.947 s 11.19/11.23 c =============================================================================== 11.19/11.23 c | 1461 | 3778 27026 279100 | 9008 1461 427 | 34.089 % | 11.29/11.34 c =============================================================================== 11.29/11.34 c New solution: 81195 11.29/11.34 o 81195 11.29/11.34 c Elapsed CPU time: 11.1643 s Remaining CPU time: 168.836 s 11.29/11.34 c =============================================================================== 11.29/11.34 c | 1467 | 3778 27027 281134 | 9009 1467 428 | 34.089 % | 11.39/11.45 c =============================================================================== 11.39/11.45 c New solution: 81152 11.39/11.45 o 81152 11.39/11.45 c Elapsed CPU time: 11.2743 s Remaining CPU time: 168.726 s 11.39/11.45 c =============================================================================== 11.39/11.45 c | 1470 | 3778 27028 283168 | 9009 1470 428 | 34.089 % | 11.49/11.57 c =============================================================================== 11.49/11.57 c New solution: 81151 11.49/11.57 o 81151 11.49/11.57 c Elapsed CPU time: 11.3903 s Remaining CPU time: 168.61 s 11.49/11.57 c =============================================================================== 11.49/11.57 c | 1473 | 3778 27029 285202 | 9009 1473 428 | 34.089 % | 11.58/11.67 c =============================================================================== 11.58/11.67 c New solution: 81149 11.58/11.67 o 81149 11.58/11.67 c Elapsed CPU time: 11.4963 s Remaining CPU time: 168.504 s 11.58/11.67 c =============================================================================== 11.58/11.67 c | 1474 | 3778 27030 287236 | 9010 1474 428 | 34.089 % | 11.69/11.78 c =============================================================================== 11.69/11.78 c New solution: 81148 11.69/11.78 o 81148 11.69/11.78 c Elapsed CPU time: 11.6012 s Remaining CPU time: 168.399 s 11.69/11.78 c =============================================================================== 11.69/11.78 c | 1474 | 3778 27031 289270 | 9010 1474 428 | 34.089 % | 11.79/11.88 c =============================================================================== 11.79/11.88 c New solution: 81147 11.79/11.88 o 81147 11.79/11.88 c Elapsed CPU time: 11.7052 s Remaining CPU time: 168.295 s 11.79/11.88 c =============================================================================== 11.79/11.88 c | 1474 | 3778 27032 291304 | 9010 1474 428 | 34.089 % | 11.89/11.99 c =============================================================================== 11.89/11.99 c New solution: 81146 11.89/11.99 o 81146 11.89/11.99 c Elapsed CPU time: 11.8112 s Remaining CPU time: 168.189 s 11.89/11.99 c =============================================================================== 11.89/11.99 c | 1474 | 3778 27033 293338 | 9011 1474 428 | 34.089 % | 12.00/12.09 c =============================================================================== 12.00/12.09 c New solution: 81145 12.00/12.09 o 81145 12.00/12.09 c Elapsed CPU time: 11.9122 s Remaining CPU time: 168.088 s 12.00/12.09 c =============================================================================== 12.00/12.09 c | 1474 | 3778 27034 295372 | 9011 1474 428 | 34.089 % | 12.19/12.20 c =============================================================================== 12.19/12.20 c New solution: 81144 12.19/12.20 o 81144 12.19/12.20 c Elapsed CPU time: 12.0182 s Remaining CPU time: 167.982 s 12.19/12.20 c =============================================================================== 12.19/12.20 c | 1477 | 3778 27035 297406 | 9011 1477 428 | 34.089 % | 12.29/12.30 c =============================================================================== 12.29/12.30 c New solution: 81143 12.29/12.30 o 81143 12.29/12.30 c Elapsed CPU time: 12.1232 s Remaining CPU time: 167.877 s 12.29/12.30 c =============================================================================== 12.29/12.30 c | 1479 | 3778 27036 299440 | 9012 1479 428 | 34.089 % | 12.39/12.42 c =============================================================================== 12.39/12.42 c New solution: 81142 12.39/12.42 o 81142 12.39/12.42 c Elapsed CPU time: 12.2351 s Remaining CPU time: 167.765 s 12.39/12.42 c =============================================================================== 12.39/12.42 c | 1480 | 3778 27037 301474 | 9012 1480 428 | 34.089 % | 12.49/12.52 c =============================================================================== 12.49/12.52 c New solution: 81141 12.49/12.52 o 81141 12.49/12.52 c Elapsed CPU time: 12.3401 s Remaining CPU time: 167.66 s 12.49/12.52 c =============================================================================== 12.49/12.52 c | 1480 | 3778 27038 303508 | 9012 1480 428 | 34.089 % | 12.59/12.64 c =============================================================================== 12.59/12.64 c New solution: 81140 12.59/12.64 o 81140 12.59/12.64 c Elapsed CPU time: 12.4521 s Remaining CPU time: 167.548 s 12.59/12.64 c =============================================================================== 12.59/12.64 c | 1480 | 3778 27039 305542 | 9013 1480 428 | 34.089 % | 12.69/12.74 c =============================================================================== 12.69/12.74 c New solution: 81139 12.69/12.74 o 81139 12.69/12.74 c Elapsed CPU time: 12.5591 s Remaining CPU time: 167.441 s 12.69/12.74 c =============================================================================== 12.69/12.74 c | 1481 | 3778 27040 307576 | 9013 1481 428 | 34.089 % | 12.79/12.85 c =============================================================================== 12.79/12.85 c New solution: 81138 12.79/12.85 o 81138 12.79/12.85 c Elapsed CPU time: 12.6651 s Remaining CPU time: 167.335 s 12.79/12.85 c =============================================================================== 12.79/12.85 c | 1481 | 3778 27041 309610 | 9013 1481 428 | 34.089 % | 12.89/12.96 c =============================================================================== 12.89/12.96 c New solution: 81137 12.89/12.96 o 81137 12.89/12.96 c Elapsed CPU time: 12.7751 s Remaining CPU time: 167.225 s 12.89/12.96 c =============================================================================== 12.89/12.96 c | 1482 | 3778 27042 311644 | 9014 1482 428 | 34.089 % | 12.99/13.07 c =============================================================================== 12.99/13.07 c New solution: 81136 12.99/13.07 o 81136 12.99/13.07 c Elapsed CPU time: 12.882 s Remaining CPU time: 167.118 s 12.99/13.07 c =============================================================================== 12.99/13.07 c | 1482 | 3778 27043 313678 | 9014 1482 428 | 34.089 % | 13.09/13.17 c =============================================================================== 13.09/13.17 c New solution: 81135 13.09/13.17 o 81135 13.09/13.17 c Elapsed CPU time: 12.986 s Remaining CPU time: 167.014 s 13.09/13.17 c =============================================================================== 13.09/13.17 c | 1483 | 3778 27044 315712 | 9014 1483 428 | 34.089 % | 13.19/13.29 c =============================================================================== 13.19/13.29 c New solution: 79632 13.19/13.29 o 79632 13.19/13.29 c Elapsed CPU time: 13.101 s Remaining CPU time: 166.899 s 13.19/13.29 c =============================================================================== 13.19/13.29 c | 1486 | 3778 27045 317746 | 9015 1486 428 | 34.089 % | 13.38/13.40 c =============================================================================== 13.38/13.40 c New solution: 79556 13.38/13.40 o 79556 13.38/13.40 c Elapsed CPU time: 13.211 s Remaining CPU time: 166.789 s 13.38/13.40 c =============================================================================== 13.38/13.40 c | 1489 | 3778 27046 319780 | 9015 1489 427 | 34.089 % | 13.48/13.55 c =============================================================================== 13.48/13.55 c New solution: 79555 13.48/13.55 o 79555 13.48/13.55 c Elapsed CPU time: 13.358 s Remaining CPU time: 166.642 s 13.48/13.55 c =============================================================================== 13.48/13.55 c | 1491 | 3778 27047 321814 | 9015 1491 427 | 34.089 % | 13.59/13.65 c =============================================================================== 13.59/13.65 c New solution: 79554 13.59/13.65 o 79554 13.59/13.65 c Elapsed CPU time: 13.462 s Remaining CPU time: 166.538 s 13.59/13.65 c =============================================================================== 13.59/13.65 c | 1491 | 3778 27048 323848 | 9016 1491 427 | 34.089 % | 13.69/13.76 c =============================================================================== 13.69/13.76 c New solution: 79553 13.69/13.76 o 79553 13.69/13.76 c Elapsed CPU time: 13.5729 s Remaining CPU time: 166.427 s 13.69/13.76 c =============================================================================== 13.69/13.76 c | 1491 | 3778 27049 325882 | 9016 1491 427 | 34.089 % | 13.79/13.83 c =============================================================================== 13.79/13.83 c New solution: 79552 13.79/13.83 o 79552 13.79/13.83 c Elapsed CPU time: 13.6409 s Remaining CPU time: 166.359 s 13.79/13.83 c =============================================================================== 13.79/13.83 c | 1495 | 3778 27050 327916 | 9016 1495 427 | 34.089 % | 14.39/14.42 c | 1595 | 3778 27050 327916 | 9918 1595 442 | 34.089 % | 14.59/14.65 c =============================================================================== 14.59/14.65 c New solution: 79551 14.59/14.65 o 79551 14.59/14.65 c Elapsed CPU time: 14.4568 s Remaining CPU time: 165.543 s 14.59/14.65 c =============================================================================== 14.59/14.65 c | 1599 | 3778 27051 329950 | 9017 1599 441 | 34.089 % | 14.78/14.81 c =============================================================================== 14.78/14.81 c New solution: 79550 14.78/14.81 o 79550 14.78/14.81 c Elapsed CPU time: 14.6178 s Remaining CPU time: 165.382 s 14.78/14.81 c =============================================================================== 14.78/14.81 c | 1599 | 3778 27052 331984 | 9017 1599 441 | 34.089 % | 14.88/14.98 c =============================================================================== 14.88/14.98 c New solution: 79549 14.88/14.98 o 79549 14.88/14.98 c Elapsed CPU time: 14.7788 s Remaining CPU time: 165.221 s 14.88/14.98 c =============================================================================== 14.88/14.98 c | 1599 | 3778 27053 334018 | 9017 1599 441 | 34.089 % | 15.08/15.14 c =============================================================================== 15.08/15.14 c New solution: 79548 15.08/15.14 o 79548 15.08/15.14 c Elapsed CPU time: 14.9387 s Remaining CPU time: 165.061 s 15.08/15.14 c =============================================================================== 15.08/15.14 c | 1600 | 3778 27054 336052 | 9018 1600 441 | 34.089 % | 15.29/15.30 c =============================================================================== 15.29/15.30 c New solution: 79547 15.29/15.30 o 79547 15.29/15.30 c Elapsed CPU time: 15.1037 s Remaining CPU time: 164.896 s 15.29/15.30 c =============================================================================== 15.29/15.30 c | 1601 | 3778 27055 338086 | 9018 1601 441 | 34.089 % | 15.39/15.46 c =============================================================================== 15.39/15.46 c New solution: 79546 15.39/15.46 o 79546 15.39/15.46 c Elapsed CPU time: 15.2607 s Remaining CPU time: 164.739 s 15.39/15.46 c =============================================================================== 15.39/15.46 c | 1602 | 3778 27056 340120 | 9018 1602 441 | 34.089 % | 15.48/15.52 c =============================================================================== 15.48/15.52 c New solution: 79545 15.48/15.52 o 79545 15.48/15.52 c Elapsed CPU time: 15.3207 s Remaining CPU time: 164.679 s 15.48/15.52 c =============================================================================== 15.48/15.52 c | 1610 | 3778 27057 342154 | 9019 1610 442 | 34.089 % | 15.68/15.71 c =============================================================================== 15.68/15.71 c New solution: 79544 15.68/15.71 o 79544 15.68/15.71 c Elapsed CPU time: 15.5116 s Remaining CPU time: 164.488 s 15.68/15.71 c =============================================================================== 15.68/15.71 c | 1620 | 3778 27058 344188 | 9019 1620 442 | 34.089 % | 15.98/16.06 c =============================================================================== 15.98/16.06 c New solution: 79543 15.98/16.06 o 79543 15.98/16.06 c Elapsed CPU time: 15.8596 s Remaining CPU time: 164.14 s 15.98/16.06 c =============================================================================== 15.98/16.06 c | 1640 | 3778 27059 346222 | 9019 1640 444 | 34.089 % | 16.08/16.19 c =============================================================================== 16.08/16.19 c New solution: 79542 16.08/16.19 o 79542 16.08/16.19 c Elapsed CPU time: 15.9876 s Remaining CPU time: 164.012 s 16.08/16.19 c =============================================================================== 16.08/16.19 c | 1651 | 3778 27060 348256 | 9020 1651 443 | 34.089 % | 16.40/16.40 c =============================================================================== 16.40/16.40 c New solution: 78057 16.40/16.40 o 78057 16.40/16.40 c Elapsed CPU time: 16.1985 s Remaining CPU time: 163.801 s 16.40/16.40 c =============================================================================== 16.40/16.40 c | 1658 | 3778 27061 350290 | 9020 1658 443 | 34.089 % | 16.50/16.56 c =============================================================================== 16.50/16.56 c New solution: 78038 16.50/16.56 o 78038 16.50/16.56 c Elapsed CPU time: 16.3575 s Remaining CPU time: 163.642 s 16.50/16.56 c =============================================================================== 16.50/16.56 c | 1663 | 3778 27062 352324 | 9020 1663 443 | 34.089 % | 16.89/16.98 c =============================================================================== 16.89/16.98 c New solution: 77994 16.89/16.98 o 77994 16.89/16.98 c Elapsed CPU time: 16.7764 s Remaining CPU time: 163.224 s 16.89/16.98 c =============================================================================== 16.89/16.98 c | 1664 | 3778 27063 354358 | 9021 1664 443 | 34.089 % | 17.09/17.11 c =============================================================================== 17.09/17.11 c New solution: 77972 17.09/17.11 o 77972 17.09/17.11 c Elapsed CPU time: 16.9044 s Remaining CPU time: 163.096 s 17.09/17.11 c =============================================================================== 17.09/17.11 c | 1667 | 3778 27064 356392 | 9021 1667 443 | 34.089 % | 17.19/17.23 c =============================================================================== 17.19/17.23 c New solution: 77968 17.19/17.23 o 77968 17.19/17.23 c Elapsed CPU time: 17.0254 s Remaining CPU time: 162.975 s 17.19/17.23 c =============================================================================== 17.19/17.23 c | 1669 | 3778 27065 358426 | 9021 1669 443 | 34.089 % | 17.79/17.87 c | 1770 | 3778 27065 358426 | 9923 1770 453 | 34.089 % | 18.08/18.17 c =============================================================================== 18.08/18.17 c New solution: 77967 18.08/18.17 o 77967 18.08/18.17 c Elapsed CPU time: 17.9613 s Remaining CPU time: 162.039 s 18.08/18.17 c =============================================================================== 18.08/18.17 c | 1787 | 3778 27066 360460 | 9022 1787 454 | 34.089 % | 18.98/19.03 c | 1888 | 3778 27066 360460 | 9924 1888 465 | 34.089 % | 19.08/19.13 c =============================================================================== 19.08/19.13 c New solution: 76423 19.08/19.13 o 76423 19.08/19.13 c Elapsed CPU time: 18.9161 s Remaining CPU time: 161.084 s 19.08/19.13 c =============================================================================== 19.08/19.13 c | 1898 | 3778 27067 362494 | 9022 1898 465 | 34.089 % | 19.28/19.35 c =============================================================================== 19.28/19.35 c New solution: 76421 19.28/19.35 o 76421 19.28/19.35 c Elapsed CPU time: 19.1371 s Remaining CPU time: 160.863 s 19.28/19.35 c =============================================================================== 19.28/19.35 c | 1900 | 3778 27068 364528 | 9022 1900 465 | 34.089 % | 19.38/19.47 c =============================================================================== 19.38/19.47 c New solution: 76413 19.38/19.47 o 76413 19.38/19.47 c Elapsed CPU time: 19.2601 s Remaining CPU time: 160.74 s 19.38/19.47 c =============================================================================== 19.38/19.47 c | 1906 | 3778 27069 366562 | 9023 1906 465 | 34.089 % | 19.49/19.58 c =============================================================================== 19.49/19.58 c New solution: 76412 19.49/19.58 o 76412 19.49/19.58 c Elapsed CPU time: 19.3641 s Remaining CPU time: 160.636 s 19.49/19.58 c =============================================================================== 19.49/19.58 c | 1909 | 3778 27070 368596 | 9023 1909 465 | 34.089 % | 19.70/19.78 c =============================================================================== 19.70/19.78 c New solution: 76411 19.70/19.78 o 76411 19.70/19.78 c Elapsed CPU time: 19.568 s Remaining CPU time: 160.432 s 19.70/19.78 c =============================================================================== 19.70/19.78 c | 1909 | 3778 27071 370630 | 9023 1909 465 | 34.089 % | 19.89/19.99 c =============================================================================== 19.89/19.99 c New solution: 76410 19.89/19.99 o 76410 19.89/19.99 c Elapsed CPU time: 19.774 s Remaining CPU time: 160.226 s 19.89/19.99 c =============================================================================== 19.89/19.99 c | 1909 | 3778 27072 372664 | 9024 1909 465 | 34.089 % | 20.09/20.19 c =============================================================================== 20.09/20.19 c New solution: 76409 20.09/20.19 o 76409 20.09/20.19 c Elapsed CPU time: 19.974 s Remaining CPU time: 160.026 s 20.09/20.19 c =============================================================================== 20.09/20.19 c | 1909 | 3778 27073 374698 | 9024 1909 465 | 34.089 % | 20.29/20.37 c =============================================================================== 20.29/20.37 c New solution: 76408 20.29/20.37 o 76408 20.29/20.37 c Elapsed CPU time: 20.1549 s Remaining CPU time: 159.845 s 20.29/20.37 c =============================================================================== 20.29/20.37 c | 1909 | 3778 27074 376732 | 9024 1909 465 | 34.089 % | 20.48/20.58 c =============================================================================== 20.48/20.58 c New solution: 76407 20.48/20.58 o 76407 20.48/20.58 c Elapsed CPU time: 20.3619 s Remaining CPU time: 159.638 s 20.48/20.58 c =============================================================================== 20.48/20.58 c | 1909 | 3778 27075 378766 | 9025 1909 465 | 34.089 % | 21.08/21.12 c | 2012 | 3778 27075 378766 | 9927 2012 476 | 34.089 % | 21.28/21.34 c =============================================================================== 21.28/21.34 c New solution: 76405 21.28/21.34 o 76405 21.28/21.34 c Elapsed CPU time: 21.1228 s Remaining CPU time: 158.877 s 21.28/21.34 c =============================================================================== 21.28/21.34 c | 2012 | 3778 27076 380800 | 9025 2012 476 | 34.089 % | 21.48/21.57 c =============================================================================== 21.48/21.57 c New solution: 76404 21.48/21.57 o 76404 21.48/21.57 c Elapsed CPU time: 21.3438 s Remaining CPU time: 158.656 s 21.48/21.57 c =============================================================================== 21.48/21.57 c | 2012 | 3778 27077 382834 | 9025 2012 476 | 34.089 % | 21.69/21.73 c =============================================================================== 21.69/21.73 c New solution: 76390 21.69/21.73 o 76390 21.69/21.73 c Elapsed CPU time: 21.5087 s Remaining CPU time: 158.491 s 21.69/21.73 c =============================================================================== 21.69/21.73 c | 2012 | 3778 27078 384868 | 9026 2012 476 | 34.089 % | 21.89/21.96 c =============================================================================== 21.89/21.96 c New solution: 76389 21.89/21.96 o 76389 21.89/21.96 c Elapsed CPU time: 21.7377 s Remaining CPU time: 158.262 s 21.89/21.96 c =============================================================================== 21.89/21.96 c | 2014 | 3778 27079 386902 | 9026 2014 475 | 34.089 % | 22.09/22.14 c =============================================================================== 22.09/22.14 c New solution: 76388 22.09/22.14 o 76388 22.09/22.14 c Elapsed CPU time: 21.9117 s Remaining CPU time: 158.088 s 22.09/22.14 c =============================================================================== 22.09/22.14 c | 2014 | 3778 27080 388936 | 9026 2014 475 | 34.089 % | 22.29/22.34 c =============================================================================== 22.29/22.34 c New solution: 76387 22.29/22.34 o 76387 22.29/22.34 c Elapsed CPU time: 22.1156 s Remaining CPU time: 157.884 s 22.29/22.34 c =============================================================================== 22.29/22.34 c | 2014 | 3778 27081 390970 | 9027 2014 475 | 34.089 % | 22.49/22.54 c =============================================================================== 22.49/22.54 c New solution: 76386 22.49/22.54 o 76386 22.49/22.54 c Elapsed CPU time: 22.3096 s Remaining CPU time: 157.69 s 22.49/22.54 c =============================================================================== 22.49/22.54 c | 2014 | 3778 27082 393004 | 9027 2014 475 | 34.089 % | 22.68/22.71 c =============================================================================== 22.68/22.71 c New solution: 76385 22.68/22.71 o 76385 22.68/22.71 c Elapsed CPU time: 22.4806 s Remaining CPU time: 157.519 s 22.68/22.71 c =============================================================================== 22.68/22.71 c | 2015 | 3778 27083 395038 | 9027 2015 475 | 34.089 % | 22.78/22.87 c =============================================================================== 22.78/22.87 c New solution: 76384 22.78/22.87 o 76384 22.78/22.87 c Elapsed CPU time: 22.6406 s Remaining CPU time: 157.359 s 22.78/22.87 c =============================================================================== 22.78/22.87 c | 2018 | 3778 27084 397072 | 9028 2018 475 | 34.089 % | 22.99/23.03 c =============================================================================== 22.99/23.03 c New solution: 76383 22.99/23.03 o 76383 22.99/23.03 c Elapsed CPU time: 22.8015 s Remaining CPU time: 157.198 s 22.99/23.03 c =============================================================================== 22.99/23.03 c | 2021 | 3778 27085 399106 | 9028 2021 476 | 34.089 % | 23.18/23.23 c =============================================================================== 23.18/23.23 c New solution: 76382 23.18/23.23 o 76382 23.18/23.23 c Elapsed CPU time: 23.0035 s Remaining CPU time: 156.996 s 23.18/23.23 c =============================================================================== 23.18/23.23 c | 2022 | 3778 27086 401140 | 9028 2022 475 | 34.089 % | 23.38/23.40 c =============================================================================== 23.38/23.40 c New solution: 76381 23.38/23.40 o 76381 23.38/23.40 c Elapsed CPU time: 23.1655 s Remaining CPU time: 156.835 s 23.38/23.40 c =============================================================================== 23.38/23.40 c | 2022 | 3778 27087 403174 | 9029 2022 475 | 34.089 % | 23.49/23.56 c =============================================================================== 23.49/23.56 c New solution: 76380 23.49/23.56 o 76380 23.49/23.56 c Elapsed CPU time: 23.3245 s Remaining CPU time: 156.676 s 23.49/23.56 c =============================================================================== 23.49/23.56 c | 2022 | 3778 27088 405208 | 9029 2022 475 | 34.089 % | 23.69/23.72 c =============================================================================== 23.69/23.72 c New solution: 76379 23.69/23.72 o 76379 23.69/23.72 c Elapsed CPU time: 23.4814 s Remaining CPU time: 156.519 s 23.69/23.72 c =============================================================================== 23.69/23.72 c | 2023 | 3778 27089 407242 | 9029 2023 475 | 34.089 % | 23.79/23.88 c =============================================================================== 23.79/23.88 c New solution: 76378 23.79/23.88 o 76378 23.79/23.88 c Elapsed CPU time: 23.6424 s Remaining CPU time: 156.358 s 23.79/23.88 c =============================================================================== 23.79/23.88 c | 2024 | 3778 27090 409276 | 9030 2024 475 | 34.089 % | 24.19/24.27 c =============================================================================== 24.19/24.27 c New solution: 76377 24.19/24.27 o 76377 24.19/24.27 c Elapsed CPU time: 24.0393 s Remaining CPU time: 155.961 s 24.19/24.27 c =============================================================================== 24.19/24.27 c | 2062 | 3778 27091 411310 | 9030 2062 478 | 34.089 % | 24.29/24.39 c =============================================================================== 24.29/24.39 c New solution: 76376 24.29/24.39 o 76376 24.29/24.39 c Elapsed CPU time: 24.1543 s Remaining CPU time: 155.846 s 24.29/24.39 c =============================================================================== 24.29/24.39 c | 2066 | 3778 27092 413344 | 9030 2066 479 | 34.089 % | 25.19/25.22 c | 2167 | 3778 27092 413344 | 9933 2167 487 | 34.089 % | 25.29/25.39 c =============================================================================== 25.29/25.39 c New solution: 76375 25.29/25.39 o 76375 25.29/25.39 c Elapsed CPU time: 25.1572 s Remaining CPU time: 154.843 s 25.29/25.39 c =============================================================================== 25.29/25.39 c | 2174 | 3778 27093 415378 | 9031 2174 487 | 34.089 % | 25.48/25.59 c =============================================================================== 25.48/25.59 c New solution: 76374 25.48/25.59 o 76374 25.48/25.59 c Elapsed CPU time: 25.3521 s Remaining CPU time: 154.648 s 25.48/25.59 c =============================================================================== 25.48/25.59 c | 2181 | 3778 27094 417412 | 9031 2181 487 | 34.089 % | 25.68/25.74 c =============================================================================== 25.68/25.74 c New solution: 76373 25.68/25.74 o 76373 25.68/25.74 c Elapsed CPU time: 25.5051 s Remaining CPU time: 154.495 s 25.68/25.74 c =============================================================================== 25.68/25.74 c | 2193 | 3778 27095 419446 | 9031 2193 487 | 34.089 % | 25.88/25.93 c =============================================================================== 25.88/25.93 c New solution: 76372 25.88/25.93 o 76372 25.88/25.93 c Elapsed CPU time: 25.6961 s Remaining CPU time: 154.304 s 25.88/25.93 c =============================================================================== 25.88/25.93 c | 2196 | 3778 27096 421480 | 9032 2196 488 | 34.089 % | 26.18/26.27 c =============================================================================== 26.18/26.27 c New solution: 74894 26.18/26.27 o 74894 26.18/26.27 c Elapsed CPU time: 26.031 s Remaining CPU time: 153.969 s 26.18/26.27 c =============================================================================== 26.18/26.27 c | 2219 | 3778 27097 423514 | 9032 2219 489 | 34.089 % | 26.48/26.55 c =============================================================================== 26.48/26.55 c New solution: 74833 26.48/26.55 o 74833 26.48/26.55 c Elapsed CPU time: 26.31 s Remaining CPU time: 153.69 s 26.48/26.55 c =============================================================================== 26.48/26.55 c | 2219 | 3778 27098 425548 | 9032 2219 489 | 34.089 % | 26.68/26.76 c =============================================================================== 26.68/26.76 c New solution: 74832 26.68/26.76 o 74832 26.68/26.76 c Elapsed CPU time: 26.514 s Remaining CPU time: 153.486 s 26.68/26.76 c =============================================================================== 26.68/26.76 c | 2220 | 3778 27099 427582 | 9033 2220 489 | 34.089 % | 26.98/27.01 c =============================================================================== 26.98/27.01 c New solution: 74831 26.98/27.01 o 74831 26.98/27.01 c Elapsed CPU time: 26.7669 s Remaining CPU time: 153.233 s 26.98/27.01 c =============================================================================== 26.98/27.01 c | 2220 | 3778 27100 429616 | 9033 2220 489 | 34.089 % | 27.19/27.21 c =============================================================================== 27.19/27.21 c New solution: 74830 27.19/27.21 o 74830 27.19/27.21 c Elapsed CPU time: 26.9679 s Remaining CPU time: 153.032 s 27.19/27.21 c =============================================================================== 27.19/27.21 c | 2221 | 3778 27101 431650 | 9033 2221 489 | 34.089 % | 27.39/27.42 c =============================================================================== 27.39/27.42 c New solution: 74829 27.39/27.42 o 74829 27.39/27.42 c Elapsed CPU time: 27.1769 s Remaining CPU time: 152.823 s 27.39/27.42 c =============================================================================== 27.39/27.42 c | 2223 | 3778 27102 433684 | 9034 2223 488 | 34.089 % | 27.59/27.65 c =============================================================================== 27.59/27.65 c New solution: 74828 27.59/27.65 o 74828 27.59/27.65 c Elapsed CPU time: 27.4008 s Remaining CPU time: 152.599 s 27.59/27.65 c =============================================================================== 27.59/27.65 c | 2223 | 3778 27103 435718 | 9034 2223 488 | 34.089 % | 27.79/27.86 c =============================================================================== 27.79/27.86 c New solution: 74827 27.79/27.86 o 74827 27.79/27.86 c Elapsed CPU time: 27.6128 s Remaining CPU time: 152.387 s 27.79/27.86 c =============================================================================== 27.79/27.86 c | 2223 | 3778 27104 437752 | 9034 2223 488 | 34.089 % | 27.98/28.08 c =============================================================================== 27.98/28.08 c New solution: 74826 27.98/28.08 o 74826 27.98/28.08 c Elapsed CPU time: 27.8278 s Remaining CPU time: 152.172 s 27.98/28.08 c =============================================================================== 27.98/28.08 c | 2223 | 3778 27105 439786 | 9035 2223 488 | 34.089 % | 28.18/28.29 c =============================================================================== 28.18/28.29 c New solution: 74825 28.18/28.29 o 74825 28.18/28.29 c Elapsed CPU time: 28.0407 s Remaining CPU time: 151.959 s 28.18/28.29 c =============================================================================== 28.18/28.29 c | 2223 | 3778 27106 441820 | 9035 2223 488 | 34.089 % | 28.49/28.52 c =============================================================================== 28.49/28.52 c New solution: 74824 28.49/28.52 o 74824 28.49/28.52 c Elapsed CPU time: 28.2707 s Remaining CPU time: 151.729 s 28.49/28.52 c =============================================================================== 28.49/28.52 c | 2225 | 3778 27107 443854 | 9035 2225 488 | 34.089 % | 28.68/28.72 c =============================================================================== 28.68/28.72 c New solution: 74823 28.68/28.72 o 74823 28.68/28.72 c Elapsed CPU time: 28.4717 s Remaining CPU time: 151.528 s 28.68/28.72 c =============================================================================== 28.68/28.72 c | 2225 | 3778 27108 445888 | 9036 2225 488 | 34.089 % | 28.88/28.97 c =============================================================================== 28.88/28.97 c New solution: 74822 28.88/28.97 o 74822 28.88/28.97 c Elapsed CPU time: 28.7206 s Remaining CPU time: 151.279 s 28.88/28.97 c =============================================================================== 28.88/28.97 c | 2225 | 3778 27109 447922 | 9036 2225 488 | 34.089 % | 29.08/29.18 c =============================================================================== 29.08/29.18 c New solution: 74821 29.08/29.18 o 74821 29.08/29.18 c Elapsed CPU time: 28.9226 s Remaining CPU time: 151.077 s 29.08/29.18 c =============================================================================== 29.08/29.18 c | 2226 | 3778 27110 449956 | 9036 2226 488 | 34.089 % | 29.28/29.37 c =============================================================================== 29.28/29.37 c New solution: 74820 29.28/29.37 o 74820 29.28/29.37 c Elapsed CPU time: 29.1216 s Remaining CPU time: 150.878 s 29.28/29.37 c =============================================================================== 29.28/29.37 c | 2226 | 3778 27111 451990 | 9037 2226 488 | 34.089 % | 29.48/29.58 c =============================================================================== 29.48/29.58 c New solution: 74819 29.48/29.58 o 74819 29.48/29.58 c Elapsed CPU time: 29.3305 s Remaining CPU time: 150.669 s 29.48/29.58 c =============================================================================== 29.48/29.58 c | 2226 | 3778 27112 454024 | 9037 2226 488 | 34.089 % | 29.70/29.79 c =============================================================================== 29.70/29.79 c New solution: 74818 29.70/29.79 o 74818 29.70/29.79 c Elapsed CPU time: 29.5365 s Remaining CPU time: 150.463 s 29.70/29.79 c =============================================================================== 29.70/29.79 c | 2226 | 3778 27113 456058 | 9037 2226 488 | 34.089 % | 29.99/30.00 c =============================================================================== 29.99/30.00 c New solution: 74817 29.99/30.00 o 74817 29.99/30.00 c Elapsed CPU time: 29.7435 s Remaining CPU time: 150.257 s 29.99/30.00 c =============================================================================== 29.99/30.00 c | 2227 | 3778 27114 458092 | 9038 2227 488 | 34.089 % | 30.18/30.24 c =============================================================================== 30.18/30.24 c New solution: 74816 30.18/30.24 o 74816 30.18/30.24 c Elapsed CPU time: 29.9774 s Remaining CPU time: 150.023 s 30.18/30.24 c =============================================================================== 30.18/30.24 c | 2230 | 3778 27115 460126 | 9038 2230 488 | 34.089 % | 30.38/30.43 c =============================================================================== 30.38/30.43 c New solution: 74815 30.38/30.43 o 74815 30.38/30.43 c Elapsed CPU time: 30.1704 s Remaining CPU time: 149.83 s 30.38/30.43 c =============================================================================== 30.38/30.43 c | 2230 | 3778 27116 462160 | 9038 2230 488 | 34.089 % | 30.58/30.63 c =============================================================================== 30.58/30.63 c New solution: 74814 30.58/30.63 o 74814 30.58/30.63 c Elapsed CPU time: 30.3714 s Remaining CPU time: 149.629 s 30.58/30.63 c =============================================================================== 30.58/30.63 c | 2230 | 3778 27117 464194 | 9039 2230 488 | 34.089 % | 31.38/31.49 c | 2330 | 3778 27117 464194 | 9942 2330 496 | 34.089 % | 31.68/31.74 c =============================================================================== 31.68/31.74 c New solution: 74813 31.68/31.74 o 74813 31.68/31.74 c Elapsed CPU time: 31.4782 s Remaining CPU time: 148.522 s 31.68/31.74 c =============================================================================== 31.68/31.74 c | 2331 | 3778 27118 466228 | 9039 2331 496 | 34.089 % | 31.89/31.94 c =============================================================================== 31.89/31.94 c New solution: 74812 31.89/31.95 o 74812 31.89/31.95 c Elapsed CPU time: 31.6832 s Remaining CPU time: 148.317 s 31.89/31.95 c =============================================================================== 31.89/31.95 c | 2331 | 3778 27119 468262 | 9039 2331 496 | 34.089 % | 32.08/32.15 c =============================================================================== 32.08/32.15 c New solution: 74811 32.08/32.15 o 74811 32.08/32.15 c Elapsed CPU time: 31.8892 s Remaining CPU time: 148.111 s 32.08/32.15 c =============================================================================== 32.08/32.15 c | 2331 | 3778 27120 470296 | 9040 2331 496 | 34.089 % | 32.29/32.37 c =============================================================================== 32.29/32.37 c New solution: 74810 32.29/32.37 o 74810 32.29/32.37 c Elapsed CPU time: 32.1011 s Remaining CPU time: 147.899 s 32.29/32.37 c =============================================================================== 32.29/32.37 c | 2331 | 3778 27121 472330 | 9040 2331 496 | 34.089 % | 32.49/32.58 c =============================================================================== 32.49/32.58 c New solution: 74809 32.49/32.58 o 74809 32.49/32.58 c Elapsed CPU time: 32.3111 s Remaining CPU time: 147.689 s 32.49/32.58 c =============================================================================== 32.49/32.58 c | 2331 | 3778 27122 474364 | 9040 2331 496 | 34.089 % | 32.69/32.79 c =============================================================================== 32.69/32.79 c New solution: 74808 32.69/32.79 o 74808 32.69/32.79 c Elapsed CPU time: 32.5201 s Remaining CPU time: 147.48 s 32.69/32.79 c =============================================================================== 32.69/32.79 c | 2331 | 3778 27123 476398 | 9041 2331 496 | 34.089 % | 32.79/32.89 c =============================================================================== 32.79/32.89 c New solution: 74807 32.79/32.89 o 74807 32.79/32.89 c Elapsed CPU time: 32.619 s Remaining CPU time: 147.381 s 32.79/32.89 c =============================================================================== 32.79/32.89 c | 2340 | 3778 27124 478432 | 9041 2340 496 | 34.089 % | 33.99/34.04 c | 2440 | 3778 27124 478432 | 9945 2440 502 | 34.089 % | 35.09/35.17 c | 2591 | 3778 27124 478432 | 10940 2591 506 | 34.089 % | 35.38/35.48 c =============================================================================== 35.38/35.48 c New solution: 74806 35.38/35.48 o 74806 35.38/35.48 c Elapsed CPU time: 35.2026 s Remaining CPU time: 144.797 s 35.38/35.48 c =============================================================================== 35.38/35.48 c | 2603 | 3778 27125 480466 | 9041 2603 506 | 34.089 % | 35.88/35.92 c =============================================================================== 35.88/35.92 c New solution: 73342 35.88/35.92 o 73342 35.88/35.92 c Elapsed CPU time: 35.6416 s Remaining CPU time: 144.358 s 35.88/35.92 c =============================================================================== 35.88/35.92 c | 2614 | 3778 27126 482500 | 9042 2614 507 | 34.089 % | 36.18/36.26 c =============================================================================== 36.18/36.26 c New solution: 73270 36.18/36.26 o 73270 36.18/36.26 c Elapsed CPU time: 35.9875 s Remaining CPU time: 144.012 s 36.18/36.26 c =============================================================================== 36.18/36.26 c | 2620 | 3778 27127 484534 | 9042 2620 507 | 34.089 % | 37.18/37.21 c | 2720 | 3778 27127 484534 | 9946 2720 514 | 34.089 % | 37.39/37.47 c =============================================================================== 37.39/37.47 c New solution: 73268 37.39/37.47 o 73268 37.39/37.47 c Elapsed CPU time: 37.1953 s Remaining CPU time: 142.805 s 37.39/37.47 c =============================================================================== 37.39/37.47 c | 2721 | 3778 27128 486568 | 9042 2721 514 | 34.089 % | 37.68/37.73 c =============================================================================== 37.68/37.73 c New solution: 73267 37.68/37.73 o 73267 37.68/37.73 c Elapsed CPU time: 37.4543 s Remaining CPU time: 142.546 s 37.68/37.73 c =============================================================================== 37.68/37.73 c | 2722 | 3778 27129 488602 | 9043 2722 514 | 34.089 % | 37.88/37.99 c =============================================================================== 37.88/37.99 c New solution: 73266 37.88/37.99 o 73266 37.88/37.99 c Elapsed CPU time: 37.7043 s Remaining CPU time: 142.296 s 37.88/37.99 c =============================================================================== 37.88/37.99 c | 2722 | 3778 27130 490636 | 9043 2722 514 | 34.089 % | 38.18/38.24 c =============================================================================== 38.18/38.24 c New solution: 73265 38.18/38.24 o 73265 38.18/38.24 c Elapsed CPU time: 37.9542 s Remaining CPU time: 142.046 s 38.18/38.24 c =============================================================================== 38.18/38.24 c | 2722 | 3778 27131 492670 | 9043 2722 514 | 34.089 % | 38.39/38.50 c =============================================================================== 38.39/38.50 c New solution: 73264 38.39/38.50 o 73264 38.39/38.50 c Elapsed CPU time: 38.2152 s Remaining CPU time: 141.785 s 38.39/38.50 c =============================================================================== 38.39/38.50 c | 2724 | 3778 27132 494704 | 9044 2724 513 | 34.089 % | 38.68/38.77 c =============================================================================== 38.68/38.77 c New solution: 73263 38.68/38.77 o 73263 38.68/38.77 c Elapsed CPU time: 38.4851 s Remaining CPU time: 141.515 s 38.68/38.77 c =============================================================================== 38.68/38.77 c | 2726 | 3778 27133 496738 | 9044 2726 513 | 34.089 % | 38.99/39.02 c =============================================================================== 38.99/39.02 c New solution: 73262 38.99/39.02 o 73262 38.99/39.02 c Elapsed CPU time: 38.7331 s Remaining CPU time: 141.267 s 38.99/39.02 c =============================================================================== 38.99/39.02 c | 2726 | 3778 27134 498772 | 9044 2726 513 | 34.089 % | 39.19/39.27 c =============================================================================== 39.19/39.27 c New solution: 73261 39.19/39.27 o 73261 39.19/39.27 c Elapsed CPU time: 38.9871 s Remaining CPU time: 141.013 s 39.19/39.27 c =============================================================================== 39.19/39.27 c | 2726 | 3778 27135 500806 | 9045 2726 513 | 34.089 % | 40.08/40.15 c | 2826 | 3778 27135 500806 | 9949 2826 519 | 34.089 % | 40.48/40.54 c =============================================================================== 40.48/40.54 c New solution: 73260 40.48/40.54 o 73260 40.48/40.54 c Elapsed CPU time: 40.2459 s Remaining CPU time: 139.754 s 40.48/40.54 c =============================================================================== 40.48/40.54 c | 2929 | 3778 27136 502840 | 9045 2929 521 | 34.089 % | 41.18/41.25 c =============================================================================== 41.18/41.25 c New solution: 73251 41.18/41.25 o 73251 41.18/41.25 c Elapsed CPU time: 40.9618 s Remaining CPU time: 139.038 s 41.18/41.25 c =============================================================================== 41.18/41.25 c | 2930 | 3778 27137 504874 | 9045 2930 521 | 34.089 % | 41.38/41.50 c =============================================================================== 41.38/41.50 c New solution: 73250 41.38/41.50 o 73250 41.38/41.50 c Elapsed CPU time: 41.2017 s Remaining CPU time: 138.798 s 41.38/41.50 c =============================================================================== 41.38/41.50 c | 2947 | 3778 27138 506908 | 9046 2947 521 | 34.089 % | 43.38/43.44 c | 3047 | 3778 27138 506908 | 9950 3047 527 | 34.089 % | 43.58/43.67 c =============================================================================== 43.58/43.67 c New solution: 73229 43.58/43.67 o 73229 43.58/43.67 c Elapsed CPU time: 43.3764 s Remaining CPU time: 136.624 s 43.58/43.67 c =============================================================================== 43.58/43.67 c | 3077 | 3778 27139 508942 | 9046 3077 527 | 34.089 % | 43.89/43.93 c =============================================================================== 43.89/43.93 c New solution: 73228 43.89/43.93 o 73228 43.89/43.93 c Elapsed CPU time: 43.6304 s Remaining CPU time: 136.37 s 43.89/43.93 c =============================================================================== 43.89/43.93 c | 3077 | 3778 27140 510976 | 9046 3077 527 | 34.089 % | 44.08/44.18 c =============================================================================== 44.08/44.18 c New solution: 73227 44.08/44.18 o 73227 44.08/44.18 c Elapsed CPU time: 43.8833 s Remaining CPU time: 136.117 s 44.08/44.18 c =============================================================================== 44.08/44.18 c | 3077 | 3778 27141 513010 | 9047 3077 527 | 34.089 % | 44.38/44.43 c =============================================================================== 44.38/44.43 c New solution: 73226 44.38/44.43 o 73226 44.38/44.43 c Elapsed CPU time: 44.1343 s Remaining CPU time: 135.866 s 44.38/44.43 c =============================================================================== 44.38/44.43 c | 3077 | 3778 27142 515044 | 9047 3077 527 | 34.089 % | 44.58/44.68 c =============================================================================== 44.58/44.68 c New solution: 73225 44.58/44.68 o 73225 44.58/44.68 c Elapsed CPU time: 44.3803 s Remaining CPU time: 135.62 s 44.58/44.68 c =============================================================================== 44.58/44.68 c | 3077 | 3778 27143 517078 | 9047 3077 527 | 34.089 % | 44.88/44.98 c =============================================================================== 44.88/44.98 c New solution: 73224 44.88/44.99 o 73224 44.88/44.99 c Elapsed CPU time: 44.6802 s Remaining CPU time: 135.32 s 44.88/44.99 c =============================================================================== 44.88/44.99 c | 3077 | 3778 27144 519112 | 9048 3077 527 | 34.089 % | 45.18/45.29 c =============================================================================== 45.18/45.29 c New solution: 73223 45.18/45.29 o 73223 45.18/45.29 c Elapsed CPU time: 44.9802 s Remaining CPU time: 135.02 s 45.18/45.29 c =============================================================================== 45.18/45.29 c | 3077 | 3778 27145 521146 | 9048 3077 527 | 34.089 % | 45.48/45.55 c =============================================================================== 45.48/45.55 c New solution: 73222 45.48/45.55 o 73222 45.48/45.55 c Elapsed CPU time: 45.2421 s Remaining CPU time: 134.758 s 45.48/45.55 c =============================================================================== 45.48/45.55 c | 3077 | 3778 27146 523180 | 9048 3077 527 | 34.089 % | 45.78/45.85 c =============================================================================== 45.78/45.85 c New solution: 73221 45.78/45.85 o 73221 45.78/45.85 c Elapsed CPU time: 45.5421 s Remaining CPU time: 134.458 s 45.78/45.85 c =============================================================================== 45.78/45.85 c | 3077 | 3778 27147 525214 | 9049 3077 527 | 34.089 % | 45.98/46.09 c =============================================================================== 45.98/46.09 c New solution: 73220 45.98/46.09 o 73220 45.98/46.09 c Elapsed CPU time: 45.787 s Remaining CPU time: 134.213 s 45.98/46.09 c =============================================================================== 45.98/46.09 c | 3077 | 3778 27148 527248 | 9049 3077 527 | 34.089 % | 46.28/46.30 c =============================================================================== 46.28/46.30 c New solution: 73219 46.28/46.30 o 73219 46.28/46.30 c Elapsed CPU time: 45.997 s Remaining CPU time: 134.003 s 46.28/46.30 c =============================================================================== 46.28/46.30 c | 3077 | 3778 27149 529282 | 9049 3077 527 | 34.089 % | 46.48/46.53 c =============================================================================== 46.48/46.53 c New solution: 73218 46.48/46.53 o 73218 46.48/46.53 c Elapsed CPU time: 46.221 s Remaining CPU time: 133.779 s 46.48/46.53 c =============================================================================== 46.48/46.53 c | 3077 | 3778 27150 531316 | 9050 3077 527 | 34.089 % | 46.68/46.76 c =============================================================================== 46.68/46.76 c New solution: 73217 46.68/46.76 o 73217 46.68/46.76 c Elapsed CPU time: 46.4539 s Remaining CPU time: 133.546 s 46.68/46.76 c =============================================================================== 46.68/46.76 c | 3077 | 3778 27151 533350 | 9050 3077 527 | 34.089 % | 47.38/47.40 c =============================================================================== 47.38/47.40 c New solution: 71735 47.38/47.40 o 71735 47.38/47.40 c Elapsed CPU time: 47.0878 s Remaining CPU time: 132.912 s 47.38/47.40 c =============================================================================== 47.38/47.40 c | 3141 | 3778 27152 535384 | 9050 3141 527 | 34.089 % | 47.88/47.92 c =============================================================================== 47.88/47.92 c New solution: 71681 47.88/47.92 o 71681 47.88/47.92 c Elapsed CPU time: 47.6058 s Remaining CPU time: 132.394 s 47.88/47.92 c =============================================================================== 47.88/47.92 c | 3143 | 3778 27153 537418 | 9051 3143 527 | 34.089 % | 48.38/48.42 c =============================================================================== 48.38/48.42 c New solution: 71673 48.38/48.42 o 71673 48.38/48.42 c Elapsed CPU time: 48.1027 s Remaining CPU time: 131.897 s 48.38/48.42 c =============================================================================== 48.38/48.42 c | 3143 | 3778 27154 539452 | 9051 3143 527 | 34.089 % | 48.78/48.89 c =============================================================================== 48.78/48.89 c New solution: 71664 48.78/48.89 o 71664 48.78/48.89 c Elapsed CPU time: 48.5786 s Remaining CPU time: 131.421 s 48.78/48.89 c =============================================================================== 48.78/48.89 c | 3143 | 3778 27155 541486 | 9051 3143 527 | 34.089 % | 49.28/49.30 c =============================================================================== 49.28/49.30 c New solution: 71648 49.28/49.30 o 71648 49.28/49.30 c Elapsed CPU time: 48.9816 s Remaining CPU time: 131.018 s 49.28/49.30 c =============================================================================== 49.28/49.30 c | 3170 | 3778 27156 543520 | 9052 3170 527 | 34.089 % | 50.67/50.74 c | 3271 | 3778 27156 543520 | 9957 3271 531 | 34.089 % | 50.88/50.95 c =============================================================================== 50.88/50.95 c New solution: 71647 50.88/50.95 o 71647 50.88/50.95 c Elapsed CPU time: 50.6283 s Remaining CPU time: 129.372 s 50.88/50.95 c =============================================================================== 50.88/50.95 c | 3286 | 3778 27157 545554 | 9052 3286 531 | 34.089 % | 51.08/51.14 c =============================================================================== 51.08/51.14 c New solution: 71646 51.08/51.14 o 71646 51.08/51.14 c Elapsed CPU time: 50.8173 s Remaining CPU time: 129.183 s 51.08/51.14 c =============================================================================== 51.08/51.14 c | 3293 | 3778 27158 547588 | 9052 3293 531 | 34.089 % | 51.38/51.46 c =============================================================================== 51.38/51.46 c New solution: 71645 51.38/51.46 o 71645 51.38/51.46 c Elapsed CPU time: 51.1332 s Remaining CPU time: 128.867 s 51.38/51.46 c =============================================================================== 51.38/51.46 c | 3296 | 3778 27159 549622 | 9053 3296 531 | 34.089 % | 51.69/51.79 c =============================================================================== 51.69/51.79 c New solution: 71644 51.69/51.79 o 71644 51.69/51.79 c Elapsed CPU time: 51.4632 s Remaining CPU time: 128.537 s 51.69/51.79 c =============================================================================== 51.69/51.79 c | 3305 | 3778 27160 551656 | 9053 3305 531 | 34.089 % | 52.18/52.26 c =============================================================================== 52.18/52.26 c New solution: 71643 52.18/52.26 o 71643 52.18/52.26 c Elapsed CPU time: 51.9381 s Remaining CPU time: 128.062 s 52.18/52.26 c =============================================================================== 52.18/52.26 c | 3329 | 3778 27161 553690 | 9053 3329 532 | 34.089 % | 53.58/53.68 c | 3429 | 3778 27161 553690 | 9959 3429 535 | 34.089 % | 53.88/53.95 c =============================================================================== 53.88/53.95 c New solution: 71642 53.88/53.95 o 71642 53.88/53.95 c Elapsed CPU time: 53.6208 s Remaining CPU time: 126.379 s 53.88/53.95 c =============================================================================== 53.88/53.95 c | 3430 | 3778 27162 555724 | 9054 3430 535 | 34.089 % | 54.17/54.25 c =============================================================================== 54.17/54.25 c New solution: 71641 54.17/54.25 o 71641 54.17/54.25 c Elapsed CPU time: 53.9248 s Remaining CPU time: 126.075 s 54.17/54.25 c =============================================================================== 54.17/54.25 c | 3430 | 3778 27163 557758 | 9054 3430 535 | 34.089 % | 54.47/54.52 c =============================================================================== 54.47/54.52 c New solution: 71640 54.47/54.52 o 71640 54.47/54.52 c Elapsed CPU time: 54.1888 s Remaining CPU time: 125.811 s 54.47/54.52 c =============================================================================== 54.47/54.52 c | 3430 | 3778 27164 559792 | 9054 3430 535 | 34.089 % | 54.77/54.82 c =============================================================================== 54.77/54.82 c New solution: 71639 54.77/54.82 o 71639 54.77/54.82 c Elapsed CPU time: 54.4877 s Remaining CPU time: 125.512 s 54.77/54.82 c =============================================================================== 54.77/54.82 c | 3430 | 3778 27165 561826 | 9055 3430 535 | 34.089 % | 54.99/55.09 c =============================================================================== 54.99/55.09 c New solution: 71638 54.99/55.09 o 71638 54.99/55.09 c Elapsed CPU time: 54.7577 s Remaining CPU time: 125.242 s 54.99/55.09 c =============================================================================== 54.99/55.09 c | 3430 | 3778 27166 563860 | 9055 3430 535 | 34.089 % | 55.28/55.36 c =============================================================================== 55.28/55.36 c New solution: 71637 55.28/55.36 o 71637 55.28/55.36 c Elapsed CPU time: 55.0326 s Remaining CPU time: 124.967 s 55.28/55.36 c =============================================================================== 55.28/55.36 c | 3430 | 3778 27167 565894 | 9055 3430 535 | 34.089 % | 55.58/55.63 c =============================================================================== 55.58/55.63 c New solution: 71636 55.58/55.63 o 71636 55.58/55.63 c Elapsed CPU time: 55.2956 s Remaining CPU time: 124.704 s 55.58/55.63 c =============================================================================== 55.58/55.63 c | 3431 | 3778 27168 567928 | 9056 3431 535 | 34.089 % | 55.78/55.89 c =============================================================================== 55.78/55.89 c New solution: 71635 55.78/55.89 o 71635 55.78/55.89 c Elapsed CPU time: 55.5536 s Remaining CPU time: 124.446 s 55.78/55.89 c =============================================================================== 55.78/55.89 c | 3431 | 3778 27169 569962 | 9056 3431 535 | 34.089 % | 56.09/56.14 c =============================================================================== 56.09/56.14 c New solution: 71634 56.09/56.14 o 71634 56.09/56.14 c Elapsed CPU time: 55.8095 s Remaining CPU time: 124.19 s 56.09/56.14 c =============================================================================== 56.09/56.14 c | 3433 | 3778 27170 571996 | 9056 3433 535 | 34.089 % | 56.38/56.47 c =============================================================================== 56.38/56.47 c New solution: 71633 56.38/56.47 o 71633 56.38/56.47 c Elapsed CPU time: 56.1365 s Remaining CPU time: 123.864 s 56.38/56.47 c =============================================================================== 56.38/56.47 c | 3439 | 3778 27171 574030 | 9057 3439 536 | 34.089 % | 56.78/56.85 c =============================================================================== 56.78/56.85 c New solution: 71632 56.78/56.85 o 71632 56.78/56.85 c Elapsed CPU time: 56.5154 s Remaining CPU time: 123.485 s 56.78/56.85 c =============================================================================== 56.78/56.85 c | 3447 | 3778 27172 576064 | 9057 3447 536 | 34.089 % | 57.27/57.38 c =============================================================================== 57.27/57.38 c New solution: 71631 57.27/57.38 o 71631 57.27/57.38 c Elapsed CPU time: 57.0463 s Remaining CPU time: 122.954 s 57.27/57.38 c =============================================================================== 57.27/57.38 c | 3490 | 3778 27173 578098 | 9057 3490 537 | 34.089 % | 58.07/58.10 c =============================================================================== 58.07/58.10 c New solution: 70152 58.07/58.10 o 70152 58.07/58.10 c Elapsed CPU time: 57.7652 s Remaining CPU time: 122.235 s 58.07/58.10 c =============================================================================== 58.07/58.10 c | 3524 | 3778 27174 580132 | 9058 3524 538 | 34.089 % | 58.58/58.61 c =============================================================================== 58.58/58.61 c New solution: 70098 58.58/58.61 o 70098 58.58/58.61 c Elapsed CPU time: 58.2741 s Remaining CPU time: 121.726 s 58.58/58.61 c =============================================================================== 58.58/58.61 c | 3526 | 3778 27175 582166 | 9058 3526 538 | 34.089 % | 58.88/58.94 c =============================================================================== 58.88/58.94 c New solution: 70088 58.88/58.94 o 70088 58.88/58.94 c Elapsed CPU time: 58.6031 s Remaining CPU time: 121.397 s 58.88/58.94 c =============================================================================== 58.88/58.94 c | 3530 | 3778 27176 584200 | 9058 3530 538 | 34.089 % | 59.18/59.26 c =============================================================================== 59.18/59.26 c New solution: 70087 59.18/59.26 o 70087 59.18/59.26 c Elapsed CPU time: 58.92 s Remaining CPU time: 121.08 s 59.18/59.26 c =============================================================================== 59.18/59.26 c | 3534 | 3778 27177 586234 | 9059 3534 538 | 34.089 % | 59.78/59.80 c =============================================================================== 59.78/59.80 c New solution: 70086 59.78/59.80 o 70086 59.78/59.80 c Elapsed CPU time: 59.462 s Remaining CPU time: 120.538 s 59.78/59.80 c =============================================================================== 59.78/59.80 c | 3535 | 3778 27178 588268 | 9059 3535 538 | 34.089 % | 60.28/60.35 c =============================================================================== 60.28/60.35 c New solution: 70085 60.28/60.35 o 70085 60.28/60.35 c Elapsed CPU time: 60.0009 s Remaining CPU time: 119.999 s 60.28/60.35 c =============================================================================== 60.28/60.35 c | 3535 | 3778 27179 590302 | 9059 3535 538 | 34.089 % | 60.78/60.89 c =============================================================================== 60.78/60.89 c New solution: 70084 60.78/60.89 o 70084 60.78/60.89 c Elapsed CPU time: 60.5408 s Remaining CPU time: 119.459 s 60.78/60.89 c =============================================================================== 60.78/60.89 c | 3535 | 3778 27180 592336 | 9060 3535 538 | 34.089 % | 61.17/61.22 c =============================================================================== 61.17/61.22 c New solution: 70083 61.17/61.22 o 70083 61.17/61.22 c Elapsed CPU time: 60.8767 s Remaining CPU time: 119.123 s 61.17/61.22 c =============================================================================== 61.17/61.22 c | 3536 | 3778 27181 594370 | 9060 3536 538 | 34.089 % | 61.67/61.77 c =============================================================================== 61.67/61.77 c New solution: 70082 61.67/61.77 o 70082 61.67/61.77 c Elapsed CPU time: 61.4177 s Remaining CPU time: 118.582 s 61.67/61.77 c =============================================================================== 61.67/61.77 c | 3536 | 3778 27182 596404 | 9060 3536 538 | 34.089 % | 62.27/62.30 c =============================================================================== 62.27/62.31 c New solution: 70081 62.27/62.31 o 70081 62.27/62.31 c Elapsed CPU time: 61.9566 s Remaining CPU time: 118.043 s 62.27/62.31 c =============================================================================== 62.27/62.31 c | 3536 | 3778 27183 598438 | 9061 3536 538 | 34.089 % | 62.77/62.85 c =============================================================================== 62.77/62.85 c New solution: 70080 62.77/62.85 o 70080 62.77/62.85 c Elapsed CPU time: 62.4955 s Remaining CPU time: 117.505 s 62.77/62.85 c =============================================================================== 62.77/62.85 c | 3536 | 3778 27184 600472 | 9061 3536 538 | 34.089 % | 63.27/63.39 c =============================================================================== 63.27/63.39 c New solution: 70079 63.27/63.39 o 70079 63.27/63.39 c Elapsed CPU time: 63.0364 s Remaining CPU time: 116.964 s 63.27/63.39 c =============================================================================== 63.27/63.39 c | 3536 | 3778 27185 602506 | 9061 3536 538 | 34.089 % | 63.69/63.72 c =============================================================================== 63.69/63.72 c New solution: 70078 63.69/63.72 o 70078 63.69/63.72 c Elapsed CPU time: 63.3664 s Remaining CPU time: 116.634 s 63.69/63.72 c =============================================================================== 63.69/63.72 c | 3537 | 3778 27186 604540 | 9062 3537 538 | 34.089 % | 63.98/64.02 c =============================================================================== 63.98/64.02 c New solution: 70077 63.98/64.02 o 70077 63.98/64.02 c Elapsed CPU time: 63.6693 s Remaining CPU time: 116.331 s 63.98/64.02 c =============================================================================== 63.98/64.02 c | 3538 | 3778 27187 606574 | 9062 3538 538 | 34.089 % | 64.48/64.56 c =============================================================================== 64.48/64.56 c New solution: 70076 64.48/64.56 o 70076 64.48/64.56 c Elapsed CPU time: 64.2012 s Remaining CPU time: 115.799 s 64.48/64.56 c =============================================================================== 64.48/64.56 c | 3538 | 3778 27188 608608 | 9062 3538 538 | 34.089 % | 64.98/65.08 c =============================================================================== 64.98/65.08 c New solution: 70075 64.98/65.08 o 70075 64.98/65.08 c Elapsed CPU time: 64.7292 s Remaining CPU time: 115.271 s 64.98/65.08 c =============================================================================== 64.98/65.08 c | 3538 | 3778 27189 610642 | 9063 3538 538 | 34.089 % | 65.58/65.62 c =============================================================================== 65.58/65.62 c New solution: 70074 65.58/65.62 o 70074 65.58/65.62 c Elapsed CPU time: 65.2601 s Remaining CPU time: 114.74 s 65.58/65.62 c =============================================================================== 65.58/65.62 c | 3538 | 3778 27190 612676 | 9063 3538 538 | 34.089 % | 66.08/66.14 c =============================================================================== 66.08/66.14 c New solution: 70073 66.08/66.14 o 70073 66.08/66.14 c Elapsed CPU time: 65.786 s Remaining CPU time: 114.214 s 66.08/66.14 c =============================================================================== 66.08/66.14 c | 3538 | 3778 27191 614710 | 9063 3538 538 | 34.089 % | 66.58/66.64 c =============================================================================== 66.58/66.64 c New solution: 70072 66.58/66.64 o 70072 66.58/66.64 c Elapsed CPU time: 66.2859 s Remaining CPU time: 113.714 s 66.58/66.64 c =============================================================================== 66.58/66.64 c | 3538 | 3778 27192 616744 | 9064 3538 538 | 34.089 % | 67.08/67.17 c =============================================================================== 67.08/67.17 c New solution: 70071 67.08/67.17 o 70071 67.08/67.17 c Elapsed CPU time: 66.8158 s Remaining CPU time: 113.184 s 67.08/67.17 c =============================================================================== 67.08/67.17 c | 3538 | 3778 27193 618778 | 9064 3538 538 | 34.089 % | 67.67/67.70 c =============================================================================== 67.67/67.70 c New solution: 70070 67.67/67.70 o 70070 67.67/67.70 c Elapsed CPU time: 67.3438 s Remaining CPU time: 112.656 s 67.67/67.70 c =============================================================================== 67.67/67.70 c | 3538 | 3778 27194 620812 | 9064 3538 538 | 34.089 % | 68.18/68.20 c =============================================================================== 68.18/68.20 c New solution: 70069 68.18/68.20 o 70069 68.18/68.20 c Elapsed CPU time: 67.8447 s Remaining CPU time: 112.155 s 68.18/68.20 c =============================================================================== 68.18/68.20 c | 3538 | 3778 27195 622846 | 9065 3538 538 | 34.089 % | 68.67/68.73 c =============================================================================== 68.67/68.73 c New solution: 70068 68.67/68.73 o 70068 68.67/68.73 c Elapsed CPU time: 68.3726 s Remaining CPU time: 111.627 s 68.67/68.73 c =============================================================================== 68.67/68.73 c | 3538 | 3778 27196 624880 | 9065 3538 538 | 34.089 % | 69.18/69.26 c =============================================================================== 69.18/69.26 c New solution: 70067 69.18/69.26 o 70067 69.18/69.26 c Elapsed CPU time: 68.8985 s Remaining CPU time: 111.101 s 69.18/69.26 c =============================================================================== 69.18/69.26 c | 3538 | 3778 27197 626914 | 9065 3538 538 | 34.089 % | 69.67/69.79 c =============================================================================== 69.67/69.79 c New solution: 70066 69.67/69.79 o 70066 69.67/69.79 c Elapsed CPU time: 69.4254 s Remaining CPU time: 110.575 s 69.67/69.79 c =============================================================================== 69.67/69.79 c | 3538 | 3778 27198 628948 | 9066 3538 538 | 34.089 % | 70.28/70.32 c =============================================================================== 70.28/70.32 c New solution: 70065 70.28/70.32 o 70065 70.28/70.32 c Elapsed CPU time: 69.9564 s Remaining CPU time: 110.044 s 70.28/70.32 c =============================================================================== 70.28/70.32 c | 3539 | 3778 27199 630982 | 9066 3539 538 | 34.089 % | 70.57/70.63 c =============================================================================== 70.57/70.63 c New solution: 70064 70.57/70.63 o 70064 70.57/70.63 c Elapsed CPU time: 70.2693 s Remaining CPU time: 109.731 s 70.57/70.63 c =============================================================================== 70.57/70.63 c | 3540 | 3778 27200 633016 | 9066 3540 538 | 34.089 % | 70.98/71.09 c =============================================================================== 70.98/71.09 c New solution: 70063 70.98/71.09 o 70063 70.98/71.09 c Elapsed CPU time: 70.7212 s Remaining CPU time: 109.279 s 70.98/71.09 c =============================================================================== 70.98/71.09 c | 3544 | 3778 27201 635050 | 9067 3544 538 | 34.089 % | 71.48/71.53 c =============================================================================== 71.48/71.53 c New solution: 70062 71.48/71.53 o 70062 71.48/71.53 c Elapsed CPU time: 71.1672 s Remaining CPU time: 108.833 s 71.48/71.53 c =============================================================================== 71.48/71.53 c | 3559 | 3778 27202 637084 | 9067 3559 538 | 34.089 % | 71.88/71.96 c =============================================================================== 71.88/71.96 c New solution: 70061 71.88/71.96 o 70061 71.88/71.96 c Elapsed CPU time: 71.5991 s Remaining CPU time: 108.401 s 71.88/71.96 c =============================================================================== 71.88/71.96 c | 3566 | 3778 27203 639118 | 9067 3566 539 | 34.089 % | 72.07/72.13 c =============================================================================== 72.07/72.13 c New solution: 70060 72.07/72.13 o 70060 72.07/72.13 c Elapsed CPU time: 71.7601 s Remaining CPU time: 108.24 s 72.07/72.13 c =============================================================================== 72.07/72.13 c | 3583 | 3778 27204 641152 | 9068 3583 539 | 34.089 % | 73.37/73.40 c | 3683 | 3778 27204 641152 | 9974 3683 542 | 34.089 % | 74.17/74.21 c =============================================================================== 74.17/74.21 c New solution: 70059 74.17/74.21 o 70059 74.17/74.21 c Elapsed CPU time: 73.8348 s Remaining CPU time: 106.165 s 74.17/74.21 c =============================================================================== 74.17/74.21 c | 3701 | 3778 27205 643186 | 9068 3701 542 | 34.089 % | 75.18/75.24 c | 3801 | 3778 27205 643186 | 9975 3801 545 | 34.089 % | 75.38/75.43 c =============================================================================== 75.38/75.43 c New solution: 70058 75.38/75.43 o 70058 75.38/75.43 c Elapsed CPU time: 75.0516 s Remaining CPU time: 104.948 s 75.38/75.43 c =============================================================================== 75.38/75.43 c | 3810 | 3778 27206 645220 | 9068 3810 545 | 34.089 % | 76.48/76.56 c | 3912 | 3778 27206 645220 | 9975 3912 548 | 34.089 % | 76.77/76.85 c =============================================================================== 76.77/76.85 c New solution: 70057 76.77/76.85 o 70057 76.77/76.85 c Elapsed CPU time: 76.4744 s Remaining CPU time: 103.526 s 76.77/76.85 c =============================================================================== 76.77/76.85 c | 3914 | 3778 27207 647254 | 9069 3914 548 | 34.089 % | 78.47/78.54 c | 4019 | 3778 27207 647254 | 9975 4019 551 | 34.089 % | 78.67/78.72 c =============================================================================== 78.67/78.72 c New solution: 70056 78.67/78.72 o 70056 78.67/78.72 c Elapsed CPU time: 78.3351 s Remaining CPU time: 101.665 s 78.67/78.72 c =============================================================================== 78.67/78.72 c | 4029 | 3778 27208 649288 | 9069 4029 551 | 34.089 % | 78.97/79.06 c =============================================================================== 78.97/79.06 c New solution: 70055 78.97/79.06 o 70055 78.97/79.06 c Elapsed CPU time: 78.679 s Remaining CPU time: 101.321 s 78.97/79.06 c =============================================================================== 78.97/79.06 c | 4036 | 3778 27209 651322 | 9069 4036 551 | 34.089 % | 79.37/79.49 c =============================================================================== 79.37/79.49 c New solution: 68549 79.37/79.49 o 68549 79.37/79.49 c Elapsed CPU time: 79.104 s Remaining CPU time: 100.896 s 79.37/79.49 c =============================================================================== 79.37/79.49 c | 4083 | 3778 27210 653356 | 9070 4083 551 | 34.089 % | 79.87/79.90 c =============================================================================== 79.87/79.90 c New solution: 68496 79.87/79.90 o 68496 79.87/79.90 c Elapsed CPU time: 79.5129 s Remaining CPU time: 100.487 s 79.87/79.90 c =============================================================================== 79.87/79.90 c | 4087 | 3778 27211 655390 | 9070 4087 551 | 34.089 % | 80.27/80.38 c =============================================================================== 80.27/80.38 c New solution: 68495 80.27/80.38 o 68495 80.27/80.38 c Elapsed CPU time: 79.9978 s Remaining CPU time: 100.002 s 80.27/80.38 c =============================================================================== 80.27/80.38 c | 4089 | 3778 27212 657424 | 9070 4089 551 | 34.089 % | 80.77/80.85 c =============================================================================== 80.77/80.85 c New solution: 68494 80.77/80.85 o 68494 80.77/80.85 c Elapsed CPU time: 80.4698 s Remaining CPU time: 99.5302 s 80.77/80.85 c =============================================================================== 80.77/80.85 c | 4090 | 3778 27213 659458 | 9071 4090 551 | 34.089 % | 81.47/81.52 c =============================================================================== 81.47/81.52 c New solution: 68493 81.47/81.52 o 68493 81.47/81.52 c Elapsed CPU time: 81.1367 s Remaining CPU time: 98.8633 s 81.47/81.52 c =============================================================================== 81.47/81.52 c | 4092 | 3778 27214 661492 | 9071 4092 551 | 34.089 % | 81.88/81.99 c =============================================================================== 81.88/81.99 c New solution: 68492 81.88/81.99 o 68492 81.88/81.99 c Elapsed CPU time: 81.6056 s Remaining CPU time: 98.3944 s 81.88/81.99 c =============================================================================== 81.88/81.99 c | 4094 | 3778 27215 663526 | 9071 4094 551 | 34.089 % | 82.67/82.77 c =============================================================================== 82.67/82.77 c New solution: 68491 82.67/82.77 o 68491 82.67/82.77 c Elapsed CPU time: 82.3775 s Remaining CPU time: 97.6225 s 82.67/82.77 c =============================================================================== 82.67/82.77 c | 4146 | 3778 27216 665560 | 9072 4146 553 | 34.089 % | 82.97/83.02 c =============================================================================== 82.97/83.02 c New solution: 68490 82.97/83.02 o 68490 82.97/83.02 c Elapsed CPU time: 82.6244 s Remaining CPU time: 97.3756 s 82.97/83.02 c =============================================================================== 82.97/83.02 c | 4147 | 3778 27217 667594 | 9072 4147 553 | 34.089 % | 83.87/83.99 c | 4248 | 3778 27217 667594 | 9979 4248 555 | 34.089 % | 84.17/84.26 c =============================================================================== 84.17/84.26 c New solution: 68489 84.17/84.26 o 68489 84.17/84.26 c Elapsed CPU time: 83.8683 s Remaining CPU time: 96.1317 s 84.17/84.26 c =============================================================================== 84.17/84.26 c | 4253 | 3778 27218 669628 | 9072 4253 555 | 34.089 % | 85.97/86.09 c | 4354 | 3778 27218 669628 | 9979 4354 557 | 34.089 % | 86.47/86.54 c =============================================================================== 86.47/86.54 c New solution: 68488 86.47/86.54 o 68488 86.47/86.54 c Elapsed CPU time: 86.1479 s Remaining CPU time: 93.8521 s 86.47/86.54 c =============================================================================== 86.47/86.54 c | 4356 | 3778 27219 671662 | 9073 4356 557 | 34.089 % | 86.87/86.97 c =============================================================================== 86.87/86.97 c New solution: 68487 86.87/86.97 o 68487 86.87/86.97 c Elapsed CPU time: 86.5748 s Remaining CPU time: 93.4252 s 86.87/86.97 c =============================================================================== 86.87/86.97 c | 4357 | 3778 27220 673696 | 9073 4357 557 | 34.089 % | 87.27/87.39 c =============================================================================== 87.27/87.39 c New solution: 68486 87.27/87.39 o 68486 87.27/87.39 c Elapsed CPU time: 86.9958 s Remaining CPU time: 93.0042 s 87.27/87.39 c =============================================================================== 87.27/87.39 c | 4357 | 3778 27221 675730 | 9073 4357 557 | 34.089 % | 87.77/87.81 c =============================================================================== 87.77/87.81 c New solution: 68485 87.77/87.81 o 68485 87.77/87.81 c Elapsed CPU time: 87.4167 s Remaining CPU time: 92.5833 s 87.77/87.81 c =============================================================================== 87.77/87.81 c | 4357 | 3778 27222 677764 | 9074 4357 557 | 34.089 % | 88.87/88.95 c =============================================================================== 88.87/88.95 c New solution: 68484 88.87/88.95 o 68484 88.87/88.95 c Elapsed CPU time: 88.5525 s Remaining CPU time: 91.4475 s 88.87/88.95 c =============================================================================== 88.87/88.95 c | 4425 | 3778 27223 679798 | 9074 4425 559 | 34.089 % | 89.97/90.08 c =============================================================================== 89.97/90.08 c New solution: 68483 89.97/90.08 o 68483 89.97/90.08 c Elapsed CPU time: 89.6814 s Remaining CPU time: 90.3186 s 89.97/90.08 c =============================================================================== 89.97/90.08 c | 4493 | 3778 27224 681832 | 9074 4493 560 | 34.089 % | 90.26/90.35 c =============================================================================== 90.26/90.35 c New solution: 66995 90.26/90.35 o 66995 90.26/90.35 c Elapsed CPU time: 89.9543 s Remaining CPU time: 90.0457 s 90.26/90.35 c =============================================================================== 90.26/90.35 c | 4497 | 3778 27225 683866 | 9075 4497 560 | 34.089 % | 90.57/90.66 c =============================================================================== 90.57/90.66 c New solution: 66918 90.57/90.66 o 66918 90.57/90.66 c Elapsed CPU time: 90.2573 s Remaining CPU time: 89.7427 s 90.57/90.66 c =============================================================================== 90.57/90.66 c | 4503 | 3778 27226 685900 | 9075 4503 560 | 34.089 % | 90.77/90.82 c =============================================================================== 90.77/90.82 c New solution: 66917 90.77/90.82 o 66917 90.77/90.82 c Elapsed CPU time: 90.4193 s Remaining CPU time: 89.5807 s 90.77/90.82 c =============================================================================== 90.77/90.82 c | 4511 | 3778 27227 687934 | 9075 4511 560 | 34.089 % | 90.97/91.00 c =============================================================================== 90.97/91.00 c New solution: 66913 90.97/91.00 o 66913 90.97/91.00 c Elapsed CPU time: 90.5972 s Remaining CPU time: 89.4028 s 90.97/91.00 c =============================================================================== 90.97/91.00 c | 4513 | 3778 27228 689968 | 9076 4513 560 | 34.089 % | 91.07/91.16 c =============================================================================== 91.07/91.16 c New solution: 65405 91.07/91.16 o 65405 91.07/91.16 c Elapsed CPU time: 90.7622 s Remaining CPU time: 89.2378 s 91.07/91.16 c =============================================================================== 91.07/91.16 c | 4516 | 3778 27229 692002 | 9076 4516 560 | 34.089 % | 91.28/91.33 c =============================================================================== 91.28/91.33 c New solution: 65404 91.28/91.33 o 65404 91.28/91.33 c Elapsed CPU time: 90.9282 s Remaining CPU time: 89.0718 s 91.28/91.33 c =============================================================================== 91.28/91.33 c | 4517 | 3778 27230 694036 | 9076 4517 560 | 34.089 % | 91.37/91.47 c =============================================================================== 91.37/91.47 c New solution: 65403 91.37/91.47 o 65403 91.37/91.47 c Elapsed CPU time: 91.0612 s Remaining CPU time: 88.9388 s 91.37/91.47 c =============================================================================== 91.37/91.47 c | 4518 | 3778 27231 696070 | 9077 4518 560 | 34.089 % | 91.57/91.65 c =============================================================================== 91.57/91.65 c New solution: 65402 91.57/91.65 o 65402 91.57/91.65 c Elapsed CPU time: 91.2381 s Remaining CPU time: 88.7619 s 91.57/91.65 c =============================================================================== 91.57/91.65 c | 4521 | 3778 27232 698104 | 9077 4521 560 | 34.089 % | 91.87/91.97 c =============================================================================== 91.87/91.97 c New solution: 65347 91.87/91.97 o 65347 91.87/91.97 c Elapsed CPU time: 91.5611 s Remaining CPU time: 88.4389 s 91.87/91.97 c =============================================================================== 91.87/91.97 c | 4522 | 3778 27233 700138 | 9077 4522 560 | 34.089 % | 92.17/92.24 c =============================================================================== 92.17/92.24 c New solution: 65342 92.17/92.24 o 65342 92.17/92.24 c Elapsed CPU time: 91.833 s Remaining CPU time: 88.167 s 92.17/92.24 c =============================================================================== 92.17/92.24 c | 4522 | 3778 27234 702172 | 9078 4522 560 | 34.089 % | 92.47/92.51 c =============================================================================== 92.47/92.51 c New solution: 65341 92.47/92.51 o 65341 92.47/92.51 c Elapsed CPU time: 92.1 s Remaining CPU time: 87.9 s 92.47/92.51 c =============================================================================== 92.47/92.51 c | 4522 | 3778 27235 704206 | 9078 4522 560 | 34.089 % | 92.67/92.78 c =============================================================================== 92.67/92.78 c New solution: 65340 92.67/92.78 o 65340 92.67/92.78 c Elapsed CPU time: 92.365 s Remaining CPU time: 87.635 s 92.67/92.78 c =============================================================================== 92.67/92.78 c | 4522 | 3778 27236 706240 | 9078 4522 560 | 34.089 % | 92.97/93.04 c =============================================================================== 92.97/93.04 c New solution: 65339 92.97/93.04 o 65339 92.97/93.04 c Elapsed CPU time: 92.6299 s Remaining CPU time: 87.3701 s 92.97/93.04 c =============================================================================== 92.97/93.04 c | 4523 | 3778 27237 708274 | 9079 4523 560 | 34.089 % | 93.17/93.21 c =============================================================================== 93.17/93.21 c New solution: 63855 93.17/93.21 o 63855 93.17/93.21 c Elapsed CPU time: 92.8009 s Remaining CPU time: 87.1991 s 93.17/93.21 c =============================================================================== 93.17/93.21 c | 4524 | 3778 27238 710308 | 9079 4524 560 | 34.089 % | 93.48/93.55 c =============================================================================== 93.48/93.55 c New solution: 63781 93.48/93.55 o 63781 93.48/93.55 c Elapsed CPU time: 93.1338 s Remaining CPU time: 86.8662 s 93.48/93.55 c =============================================================================== 93.48/93.55 c | 4524 | 3778 27239 712342 | 9079 4524 560 | 34.089 % | 94.07/94.14 c =============================================================================== 94.07/94.14 c New solution: 63780 94.07/94.14 o 63780 94.07/94.14 c Elapsed CPU time: 93.7258 s Remaining CPU time: 86.2742 s 94.07/94.14 c =============================================================================== 94.07/94.14 c | 4533 | 3778 27240 714376 | 9080 4533 559 | 34.089 % | 95.37/95.40 c | 4633 | 3778 27240 714376 | 9988 4633 562 | 34.089 % | 95.76/95.81 c =============================================================================== 95.76/95.81 c New solution: 63779 95.76/95.81 o 63779 95.76/95.81 c Elapsed CPU time: 95.3935 s Remaining CPU time: 84.6065 s 95.76/95.81 c =============================================================================== 95.76/95.81 c | 4635 | 3778 27241 716410 | 9080 4635 562 | 34.089 % | 96.56/96.61 c =============================================================================== 96.56/96.61 c New solution: 63778 96.56/96.61 o 63778 96.56/96.61 c Elapsed CPU time: 96.1874 s Remaining CPU time: 83.8126 s 96.56/96.61 c =============================================================================== 96.56/96.61 c | 4658 | 3778 27242 718444 | 9080 4658 563 | 34.089 % | 96.87/96.94 c =============================================================================== 96.87/96.94 c New solution: 63771 96.87/96.94 o 63771 96.87/96.94 c Elapsed CPU time: 96.5123 s Remaining CPU time: 83.4877 s 96.87/96.94 c =============================================================================== 96.87/96.94 c | 4663 | 3778 27243 720478 | 9081 4663 563 | 34.089 % | 97.17/97.27 c =============================================================================== 97.17/97.27 c New solution: 63770 97.17/97.27 o 63770 97.17/97.27 c Elapsed CPU time: 96.8503 s Remaining CPU time: 83.1497 s 97.17/97.27 c =============================================================================== 97.17/97.27 c | 4666 | 3778 27244 722512 | 9081 4666 562 | 34.089 % | 97.57/97.62 c =============================================================================== 97.57/97.62 c New solution: 63769 97.57/97.62 o 63769 97.57/97.62 c Elapsed CPU time: 97.1982 s Remaining CPU time: 82.8018 s 97.57/97.62 c =============================================================================== 97.57/97.62 c | 4667 | 3778 27245 724546 | 9081 4667 562 | 34.089 % | 98.17/98.23 c =============================================================================== 98.17/98.23 c New solution: 62273 98.17/98.23 o 62273 98.17/98.23 c Elapsed CPU time: 97.8041 s Remaining CPU time: 82.1959 s 98.17/98.23 c =============================================================================== 98.17/98.23 c | 4694 | 3778 27246 726580 | 9082 4694 563 | 34.089 % | 98.37/98.49 c =============================================================================== 98.37/98.49 c New solution: 62187 98.37/98.49 o 62187 98.37/98.49 c Elapsed CPU time: 98.0651 s Remaining CPU time: 81.9349 s 98.37/98.49 c =============================================================================== 98.37/98.49 c | 4696 | 3778 27247 728614 | 9082 4696 563 | 34.089 % | 98.67/98.76 c =============================================================================== 98.67/98.76 c New solution: 62185 98.67/98.76 o 62185 98.67/98.76 c Elapsed CPU time: 98.338 s Remaining CPU time: 81.662 s 98.67/98.76 c =============================================================================== 98.67/98.76 c | 4699 | 3778 27248 730648 | 9082 4699 563 | 34.089 % | 98.87/99.00 c =============================================================================== 98.87/99.00 c New solution: 62183 98.87/99.00 o 62183 98.87/99.00 c Elapsed CPU time: 98.573 s Remaining CPU time: 81.427 s 98.87/99.00 c =============================================================================== 98.87/99.00 c | 4700 | 3778 27249 732682 | 9083 4700 563 | 34.089 % | 99.16/99.25 c =============================================================================== 99.16/99.25 c New solution: 62182 99.16/99.25 o 62182 99.16/99.25 c Elapsed CPU time: 98.816 s Remaining CPU time: 81.184 s 99.16/99.25 c =============================================================================== 99.16/99.25 c | 4700 | 3778 27250 734716 | 9083 4700 563 | 34.089 % | 99.37/99.49 c =============================================================================== 99.37/99.49 c New solution: 62181 99.37/99.49 o 62181 99.37/99.49 c Elapsed CPU time: 99.0579 s Remaining CPU time: 80.9421 s 99.37/99.49 c =============================================================================== 99.37/99.49 c | 4700 | 3778 27251 736750 | 9083 4700 563 | 34.089 % | 99.67/99.73 c =============================================================================== 99.67/99.73 c New solution: 62180 99.67/99.73 o 62180 99.67/99.73 c Elapsed CPU time: 99.2979 s Remaining CPU time: 80.7021 s 99.67/99.73 c =============================================================================== 99.67/99.73 c | 4700 | 3778 27252 738784 | 9084 4700 563 | 34.089 % | 99.87/99.96 c =============================================================================== 99.87/99.96 c New solution: 62179 99.87/99.96 o 62179 99.87/99.96 c Elapsed CPU time: 99.5309 s Remaining CPU time: 80.4691 s 99.87/99.96 c =============================================================================== 99.87/99.96 c | 4700 | 3778 27253 740818 | 9084 4700 563 | 34.089 % | 100.17/100.20 c =============================================================================== 100.17/100.20 c New solution: 62178 100.17/100.20 o 62178 100.17/100.20 c Elapsed CPU time: 99.7658 s Remaining CPU time: 80.2342 s 100.17/100.20 c =============================================================================== 100.17/100.20 c | 4700 | 3778 27254 742852 | 9084 4700 563 | 34.089 % | 100.37/100.43 c =============================================================================== 100.37/100.43 c New solution: 62177 100.37/100.43 o 62177 100.37/100.43 c Elapsed CPU time: 99.9978 s Remaining CPU time: 80.0022 s 100.37/100.43 c =============================================================================== 100.37/100.43 c | 4700 | 3778 27255 744886 | 9085 4700 563 | 34.089 % | 100.67/100.70 c =============================================================================== 100.67/100.70 c New solution: 62176 100.67/100.70 o 62176 100.67/100.70 c Elapsed CPU time: 100.266 s Remaining CPU time: 79.7342 s 100.67/100.70 c =============================================================================== 100.67/100.70 c | 4704 | 3778 27256 746920 | 9085 4704 563 | 34.089 % | 100.87/100.93 c =============================================================================== 100.87/100.93 c New solution: 62175 100.87/100.93 o 62175 100.87/100.93 c Elapsed CPU time: 100.495 s Remaining CPU time: 79.5053 s 100.87/100.93 c =============================================================================== 100.87/100.93 c | 4707 | 3778 27257 748954 | 9085 4707 563 | 34.089 % | 102.77/102.80 c | 4807 | 3778 27257 748954 | 9994 4807 565 | 34.089 % | 103.57/103.68 c =============================================================================== 103.57/103.68 c New solution: 62174 103.57/103.68 o 62174 103.57/103.68 c Elapsed CPU time: 103.242 s Remaining CPU time: 76.7577 s 103.57/103.68 c =============================================================================== 103.57/103.68 c | 4819 | 3778 27258 750988 | 9086 4819 565 | 34.089 % | 103.86/103.99 c =============================================================================== 103.86/103.99 c New solution: 62173 103.86/103.99 o 62173 103.86/103.99 c Elapsed CPU time: 103.549 s Remaining CPU time: 76.4507 s 103.86/103.99 c =============================================================================== 103.86/103.99 c | 4837 | 3778 27259 753022 | 9086 4837 565 | 34.089 % | 104.37/104.49 c =============================================================================== 104.37/104.49 c New solution: 60700 104.37/104.49 o 60700 104.37/104.49 c Elapsed CPU time: 104.047 s Remaining CPU time: 75.9528 s 104.37/104.49 c =============================================================================== 104.37/104.49 c | 4852 | 3778 27260 755056 | 9086 4852 565 | 34.089 % | 104.66/104.76 c =============================================================================== 104.66/104.76 c New solution: 60617 104.66/104.76 o 60617 104.66/104.76 c Elapsed CPU time: 104.319 s Remaining CPU time: 75.6809 s 104.66/104.76 c =============================================================================== 104.66/104.76 c | 4857 | 3778 27261 757090 | 9087 4857 565 | 34.089 % | 105.26/105.33 c =============================================================================== 105.26/105.33 c New solution: 60616 105.26/105.33 o 60616 105.26/105.33 c Elapsed CPU time: 104.894 s Remaining CPU time: 75.1059 s 105.26/105.33 c =============================================================================== 105.26/105.33 c | 4859 | 3778 27262 759124 | 9087 4859 565 | 34.089 % | 105.87/105.90 c =============================================================================== 105.87/105.90 c New solution: 60615 105.87/105.90 o 60615 105.87/105.90 c Elapsed CPU time: 105.456 s Remaining CPU time: 74.544 s 105.87/105.90 c =============================================================================== 105.87/105.90 c | 4859 | 3778 27263 761158 | 9087 4859 565 | 34.089 % | 106.07/106.17 c =============================================================================== 106.07/106.17 c New solution: 60609 106.07/106.17 o 60609 106.07/106.17 c Elapsed CPU time: 105.723 s Remaining CPU time: 74.2771 s 106.07/106.17 c =============================================================================== 106.07/106.17 c | 4863 | 3778 27264 763192 | 9088 4863 565 | 34.089 % | 106.97/107.08 c =============================================================================== 106.97/107.08 c New solution: 60608 106.97/107.08 o 60608 106.97/107.08 c Elapsed CPU time: 106.637 s Remaining CPU time: 73.3632 s 106.97/107.08 c =============================================================================== 106.97/107.08 c | 4885 | 3778 27265 765226 | 9088 4885 565 | 34.089 % | 107.27/107.31 c =============================================================================== 107.27/107.31 c New solution: 60607 107.27/107.31 o 60607 107.27/107.31 c Elapsed CPU time: 106.866 s Remaining CPU time: 73.1342 s 107.27/107.31 c =============================================================================== 107.27/107.31 c | 4898 | 3778 27266 767260 | 9088 4898 565 | 34.089 % | 107.67/107.75 c =============================================================================== 107.67/107.75 c New solution: 59104 107.67/107.75 o 59104 107.67/107.75 c Elapsed CPU time: 107.298 s Remaining CPU time: 72.7023 s 107.67/107.75 c =============================================================================== 107.67/107.75 c | 4904 | 3778 27267 769294 | 9089 4904 565 | 34.089 % | 107.86/107.98 c =============================================================================== 107.86/107.98 c New solution: 59103 107.86/107.98 o 59103 107.86/107.98 c Elapsed CPU time: 107.532 s Remaining CPU time: 72.4683 s 107.86/107.98 c =============================================================================== 107.86/107.98 c | 4907 | 3778 27268 771328 | 9089 4907 565 | 34.089 % | 108.26/108.35 c =============================================================================== 108.26/108.35 c New solution: 59095 108.26/108.35 o 59095 108.26/108.35 c Elapsed CPU time: 107.899 s Remaining CPU time: 72.1014 s 108.26/108.35 c =============================================================================== 108.26/108.35 c | 4909 | 3778 27269 773362 | 9089 4909 565 | 34.089 % | 108.67/108.73 c =============================================================================== 108.67/108.73 c New solution: 59027 108.67/108.73 o 59027 108.67/108.73 c Elapsed CPU time: 108.273 s Remaining CPU time: 71.7275 s 108.67/108.73 c =============================================================================== 108.67/108.73 c | 4912 | 3778 27270 775396 | 9090 4912 565 | 34.089 % | 108.97/109.01 c =============================================================================== 108.97/109.01 c New solution: 59026 108.97/109.01 o 59026 108.97/109.01 c Elapsed CPU time: 108.551 s Remaining CPU time: 71.4485 s 108.97/109.01 c =============================================================================== 108.97/109.01 c | 4914 | 3778 27271 777430 | 9090 4914 565 | 34.089 % | 109.27/109.36 c =============================================================================== 109.27/109.36 c New solution: 57522 109.27/109.36 o 57522 109.27/109.36 c Elapsed CPU time: 108.902 s Remaining CPU time: 71.0976 s 109.27/109.36 c =============================================================================== 109.27/109.36 c | 4917 | 3778 27272 779464 | 9090 4917 565 | 34.089 % | 109.57/109.67 c =============================================================================== 109.57/109.67 c New solution: 57466 109.57/109.67 o 57466 109.57/109.67 c Elapsed CPU time: 109.21 s Remaining CPU time: 70.7896 s 109.57/109.67 c =============================================================================== 109.57/109.67 c | 4918 | 3778 27273 781498 | 9091 4918 565 | 34.089 % | 109.87/109.95 c =============================================================================== 109.87/109.95 c New solution: 57453 109.87/109.95 o 57453 109.87/109.95 c Elapsed CPU time: 109.492 s Remaining CPU time: 70.5076 s 109.87/109.95 c =============================================================================== 109.87/109.95 c | 4923 | 3778 27274 783532 | 9091 4923 565 | 34.089 % | 110.16/110.26 c =============================================================================== 110.16/110.26 c New solution: 57452 110.16/110.26 o 57452 110.16/110.26 c Elapsed CPU time: 109.795 s Remaining CPU time: 70.2047 s 110.16/110.26 c =============================================================================== 110.16/110.26 c | 4924 | 3778 27275 785566 | 9091 4924 565 | 34.089 % | 110.47/110.58 c =============================================================================== 110.47/110.58 c New solution: 55947 110.47/110.58 o 55947 110.47/110.58 c Elapsed CPU time: 110.114 s Remaining CPU time: 69.8857 s 110.47/110.58 c =============================================================================== 110.47/110.58 c | 4924 | 3778 27276 787600 | 9092 4924 565 | 34.089 % | 110.77/110.89 c =============================================================================== 110.77/110.89 c New solution: 55946 110.77/110.89 o 55946 110.77/110.89 c Elapsed CPU time: 110.427 s Remaining CPU time: 69.5728 s 110.77/110.89 c =============================================================================== 110.77/110.89 c | 4924 | 3778 27277 789634 | 9092 4924 565 | 34.089 % | 111.16/111.20 c =============================================================================== 111.16/111.20 c New solution: 55945 111.16/111.20 o 55945 111.16/111.20 c Elapsed CPU time: 110.734 s Remaining CPU time: 69.2658 s 111.16/111.20 c =============================================================================== 111.16/111.20 c | 4924 | 3778 27278 791668 | 9092 4924 565 | 34.089 % | 111.46/111.57 c =============================================================================== 111.46/111.57 c New solution: 55944 111.46/111.57 o 55944 111.46/111.57 c Elapsed CPU time: 111.101 s Remaining CPU time: 68.8989 s 111.46/111.57 c =============================================================================== 111.46/111.57 c | 4925 | 3778 27279 793702 | 9093 4925 565 | 34.089 % | 111.86/111.93 c =============================================================================== 111.86/111.93 c New solution: 55905 111.86/111.93 o 55905 111.86/111.93 c Elapsed CPU time: 111.456 s Remaining CPU time: 68.5439 s 111.86/111.93 c =============================================================================== 111.86/111.93 c | 4929 | 3778 27280 795736 | 9093 4929 565 | 34.089 % | 112.97/113.08 c | 5029 | 3778 27280 795736 | 10002 5029 567 | 34.089 % | 113.17/113.28 c =============================================================================== 113.17/113.28 c New solution: 55897 113.17/113.28 o 55897 113.17/113.28 c Elapsed CPU time: 112.805 s Remaining CPU time: 67.1951 s 113.17/113.28 c =============================================================================== 113.17/113.28 c | 5036 | 3778 27281 797770 | 9093 5036 567 | 34.089 % | 113.47/113.52 c =============================================================================== 113.47/113.52 c New solution: 55885 113.47/113.52 o 55885 113.47/113.52 c Elapsed CPU time: 113.045 s Remaining CPU time: 66.9552 s 113.47/113.52 c =============================================================================== 113.47/113.52 c | 5046 | 3778 27282 799804 | 9094 5046 567 | 34.089 % | 113.76/113.84 c =============================================================================== 113.76/113.84 c New solution: 55884 113.76/113.84 o 55884 113.76/113.84 c Elapsed CPU time: 113.359 s Remaining CPU time: 66.6412 s 113.76/113.84 c =============================================================================== 113.76/113.84 c | 5054 | 3778 27283 801838 | 9094 5054 567 | 34.089 % | 114.06/114.14 c =============================================================================== 114.06/114.14 c New solution: 55883 114.06/114.14 o 55883 114.06/114.14 c Elapsed CPU time: 113.656 s Remaining CPU time: 66.3443 s 114.06/114.14 c =============================================================================== 114.06/114.14 c | 5054 | 3778 27284 803872 | 9094 5054 567 | 34.089 % | 114.37/114.46 c =============================================================================== 114.37/114.46 c New solution: 55882 114.37/114.46 o 55882 114.37/114.46 c Elapsed CPU time: 113.974 s Remaining CPU time: 66.0263 s 114.37/114.46 c =============================================================================== 114.37/114.46 c | 5058 | 3778 27285 805906 | 9095 5058 567 | 34.089 % | 114.66/114.74 c =============================================================================== 114.66/114.74 c New solution: 54363 114.66/114.74 o 54363 114.66/114.74 c Elapsed CPU time: 114.259 s Remaining CPU time: 65.7414 s 114.66/114.74 c =============================================================================== 114.66/114.74 c | 5058 | 3778 27286 807940 | 9095 5058 567 | 34.089 % | 114.96/115.02 c =============================================================================== 114.96/115.02 c New solution: 54361 114.96/115.02 o 54361 114.96/115.02 c Elapsed CPU time: 114.541 s Remaining CPU time: 65.4594 s 114.96/115.02 c =============================================================================== 114.96/115.02 c | 5060 | 3778 27287 809974 | 9095 5060 567 | 34.089 % | 115.17/115.29 c =============================================================================== 115.17/115.29 c New solution: 54360 115.17/115.29 o 54360 115.17/115.29 c Elapsed CPU time: 114.803 s Remaining CPU time: 65.1975 s 115.17/115.29 c =============================================================================== 115.17/115.29 c | 5062 | 3778 27288 812008 | 9096 5062 567 | 34.089 % | 115.47/115.58 c =============================================================================== 115.47/115.58 c New solution: 54307 115.47/115.58 o 54307 115.47/115.58 c Elapsed CPU time: 115.094 s Remaining CPU time: 64.9065 s 115.47/115.58 c =============================================================================== 115.47/115.58 c | 5064 | 3778 27289 814042 | 9096 5064 567 | 34.089 % | 115.76/115.86 c =============================================================================== 115.76/115.86 c New solution: 54306 115.76/115.86 o 54306 115.76/115.86 c Elapsed CPU time: 115.368 s Remaining CPU time: 64.6315 s 115.76/115.86 c =============================================================================== 115.76/115.86 c | 5067 | 3778 27290 816076 | 9096 5067 567 | 34.089 % | 116.16/116.22 c =============================================================================== 116.16/116.22 c New solution: 52781 116.16/116.22 o 52781 116.16/116.22 c Elapsed CPU time: 115.729 s Remaining CPU time: 64.2706 s 116.16/116.22 c =============================================================================== 116.16/116.22 c | 5069 | 3778 27291 818110 | 9097 5069 567 | 34.089 % | 116.57/116.67 c =============================================================================== 116.57/116.67 c New solution: 52727 116.57/116.67 o 52727 116.57/116.67 c Elapsed CPU time: 116.178 s Remaining CPU time: 63.8217 s 116.57/116.67 c =============================================================================== 116.57/116.67 c | 5070 | 3778 27292 820144 | 9097 5070 567 | 34.089 % | 116.76/116.84 c =============================================================================== 116.76/116.84 c New solution: 52726 116.76/116.84 o 52726 116.76/116.84 c Elapsed CPU time: 116.343 s Remaining CPU time: 63.6567 s 116.76/116.84 c =============================================================================== 116.76/116.84 c | 5072 | 3778 27293 822178 | 9097 5072 567 | 34.089 % | 117.07/117.14 c =============================================================================== 117.07/117.14 c New solution: 52725 117.07/117.14 o 52725 117.07/117.14 c Elapsed CPU time: 116.642 s Remaining CPU time: 63.3577 s 117.07/117.14 c =============================================================================== 117.07/117.14 c | 5074 | 3778 27294 824212 | 9098 5074 567 | 34.089 % | 117.37/117.45 c =============================================================================== 117.37/117.45 c New solution: 51210 117.37/117.45 o 51210 117.37/117.45 c Elapsed CPU time: 116.951 s Remaining CPU time: 63.0488 s 117.37/117.45 c =============================================================================== 117.37/117.45 c | 5076 | 3778 27295 826246 | 9098 5076 567 | 34.089 % | 117.77/117.83 c =============================================================================== 117.77/117.83 c New solution: 51209 117.77/117.83 o 51209 117.77/117.83 c Elapsed CPU time: 117.338 s Remaining CPU time: 62.6618 s 117.77/117.83 c =============================================================================== 117.77/117.83 c | 5077 | 3778 27296 828280 | 9098 5077 567 | 34.089 % | 118.17/118.26 c =============================================================================== 118.17/118.26 c New solution: 51134 118.17/118.26 o 51134 118.17/118.26 c Elapsed CPU time: 117.76 s Remaining CPU time: 62.2399 s 118.17/118.26 c =============================================================================== 118.17/118.26 c | 5077 | 3778 27297 830314 | 9099 5077 567 | 34.089 % | 118.46/118.54 c =============================================================================== 118.46/118.54 c New solution: 51133 118.46/118.54 o 51133 118.46/118.54 c Elapsed CPU time: 118.037 s Remaining CPU time: 61.9629 s 118.46/118.54 c =============================================================================== 118.46/118.54 c | 5079 | 3778 27298 832348 | 9099 5079 567 | 34.089 % | 118.77/118.84 c =============================================================================== 118.77/118.84 c New solution: 51132 118.77/118.84 o 51132 118.77/118.84 c Elapsed CPU time: 118.344 s Remaining CPU time: 61.656 s 118.77/118.84 c =============================================================================== 118.77/118.84 c | 5080 | 3778 27299 834382 | 9099 5080 567 | 34.089 % | 119.16/119.22 c =============================================================================== 119.16/119.22 c New solution: 49634 119.16/119.22 o 49634 119.16/119.22 c Elapsed CPU time: 118.716 s Remaining CPU time: 61.284 s 119.16/119.22 c =============================================================================== 119.16/119.22 c | 5080 | 3778 27300 836416 | 9100 5080 567 | 34.089 % | 119.46/119.58 c =============================================================================== 119.46/119.58 c New solution: 49633 119.46/119.58 o 49633 119.46/119.58 c Elapsed CPU time: 119.077 s Remaining CPU time: 60.9231 s 119.46/119.58 c =============================================================================== 119.46/119.58 c | 5082 | 3778 27301 838450 | 9100 5082 567 | 34.089 % | 119.96/120.01 c =============================================================================== 119.96/120.01 c New solution: 49558 119.96/120.01 o 49558 119.96/120.01 c Elapsed CPU time: 119.504 s Remaining CPU time: 60.4962 s 119.96/120.01 c =============================================================================== 119.96/120.01 c | 5082 | 3778 27302 840484 | 9100 5082 567 | 34.089 % | 120.26/120.31 c =============================================================================== 120.26/120.31 c New solution: 49557 120.26/120.31 o 49557 120.26/120.31 c Elapsed CPU time: 119.807 s Remaining CPU time: 60.1932 s 120.26/120.31 c =============================================================================== 120.26/120.31 c | 5082 | 3778 27303 842518 | 9101 5082 567 | 34.089 % | 120.66/120.71 c =============================================================================== 120.66/120.71 c New solution: 49552 120.66/120.71 o 49552 120.66/120.71 c Elapsed CPU time: 120.208 s Remaining CPU time: 59.7923 s 120.66/120.71 c =============================================================================== 120.66/120.71 c | 5082 | 3778 27304 844552 | 9101 5082 567 | 34.089 % | 121.07/121.12 c =============================================================================== 121.07/121.12 c New solution: 49551 121.07/121.12 o 49551 121.07/121.12 c Elapsed CPU time: 120.611 s Remaining CPU time: 59.3893 s 121.07/121.12 c =============================================================================== 121.07/121.12 c | 5084 | 3778 27305 846586 | 9101 5084 567 | 34.089 % | 121.47/121.51 c =============================================================================== 121.47/121.51 c New solution: 49550 121.47/121.51 o 49550 121.47/121.51 c Elapsed CPU time: 121.006 s Remaining CPU time: 58.9944 s 121.47/121.51 c =============================================================================== 121.47/121.51 c | 5085 | 3778 27306 848620 | 9102 5085 567 | 34.089 % | 121.87/121.90 c =============================================================================== 121.87/121.90 c New solution: 48056 121.87/121.90 o 48056 121.87/121.90 c Elapsed CPU time: 121.393 s Remaining CPU time: 58.6075 s 121.87/121.90 c =============================================================================== 121.87/121.90 c | 5087 | 3778 27307 850654 | 9102 5087 567 | 34.089 % | 122.26/122.32 c =============================================================================== 122.26/122.32 c New solution: 47982 122.26/122.32 o 47982 122.26/122.32 c Elapsed CPU time: 121.81 s Remaining CPU time: 58.1895 s 122.26/122.32 c =============================================================================== 122.26/122.32 c | 5087 | 3778 27308 852688 | 9102 5087 567 | 34.089 % | 122.56/122.61 c =============================================================================== 122.56/122.61 c New solution: 47981 122.56/122.61 o 47981 122.56/122.61 c Elapsed CPU time: 122.097 s Remaining CPU time: 57.9026 s 122.56/122.61 c =============================================================================== 122.56/122.61 c | 5088 | 3778 27309 854722 | 9103 5088 567 | 34.089 % | 123.17/123.24 c =============================================================================== 123.17/123.24 c New solution: 47980 123.17/123.24 o 47980 123.17/123.24 c Elapsed CPU time: 122.729 s Remaining CPU time: 57.2707 s 123.17/123.24 c =============================================================================== 123.17/123.24 c | 5110 | 3778 27310 856756 | 9103 5110 567 | 34.089 % | 123.56/123.68 c =============================================================================== 123.56/123.68 c New solution: 47979 123.56/123.68 o 47979 123.56/123.68 c Elapsed CPU time: 123.166 s Remaining CPU time: 56.8337 s 123.56/123.68 c =============================================================================== 123.56/123.68 c | 5111 | 3778 27311 858790 | 9103 5111 567 | 34.089 % | 124.06/124.10 c =============================================================================== 124.06/124.10 c New solution: 46480 124.06/124.10 o 46480 124.06/124.10 c Elapsed CPU time: 123.586 s Remaining CPU time: 56.4138 s 124.06/124.10 c =============================================================================== 124.06/124.10 c | 5115 | 3778 27312 860824 | 9104 5115 567 | 34.089 % | 124.46/124.57 c =============================================================================== 124.46/124.57 c New solution: 46410 124.46/124.57 o 46410 124.46/124.57 c Elapsed CPU time: 124.054 s Remaining CPU time: 55.9459 s 124.46/124.57 c =============================================================================== 124.46/124.57 c | 5116 | 3778 27313 862858 | 9104 5116 567 | 34.089 % | 124.76/124.89 c =============================================================================== 124.76/124.89 c New solution: 46409 124.76/124.89 o 46409 124.76/124.89 c Elapsed CPU time: 124.381 s Remaining CPU time: 55.6189 s 124.76/124.89 c =============================================================================== 124.76/124.89 c | 5117 | 3778 27314 864892 | 9104 5117 567 | 34.089 % | 125.27/125.39 c =============================================================================== 125.27/125.39 c New solution: 46408 125.27/125.39 o 46408 125.27/125.39 c Elapsed CPU time: 124.88 s Remaining CPU time: 55.12 s 125.27/125.39 c =============================================================================== 125.27/125.39 c | 5118 | 3778 27315 866926 | 9105 5118 567 | 34.089 % | 127.16/127.22 c | 5218 | 3778 27315 866926 | 10015 5218 569 | 34.089 % | 127.66/127.76 c =============================================================================== 127.66/127.76 c New solution: 46407 127.66/127.76 o 46407 127.66/127.76 c Elapsed CPU time: 127.244 s Remaining CPU time: 52.7563 s 127.66/127.76 c =============================================================================== 127.66/127.76 c | 5218 | 3778 27316 868960 | 9105 5218 569 | 34.089 % | 128.16/128.29 c =============================================================================== 128.16/128.29 c New solution: 46406 128.16/128.29 o 46406 128.16/128.29 c Elapsed CPU time: 127.777 s Remaining CPU time: 52.2234 s 128.16/128.29 c =============================================================================== 128.16/128.29 c | 5218 | 3778 27317 870994 | 9105 5218 569 | 34.089 % | 128.75/128.85 c =============================================================================== 128.75/128.85 c New solution: 46405 128.75/128.85 o 46405 128.75/128.85 c Elapsed CPU time: 128.329 s Remaining CPU time: 51.6705 s 128.75/128.85 c =============================================================================== 128.75/128.85 c | 5218 | 3778 27318 873028 | 9106 5218 569 | 34.089 % | 129.26/129.38 c =============================================================================== 129.26/129.38 c New solution: 46404 129.26/129.38 o 46404 129.26/129.38 c Elapsed CPU time: 128.858 s Remaining CPU time: 51.1416 s 129.26/129.38 c =============================================================================== 129.26/129.38 c | 5218 | 3778 27319 875062 | 9106 5218 569 | 34.089 % | 129.86/129.91 c =============================================================================== 129.86/129.91 c New solution: 46403 129.86/129.91 o 46403 129.86/129.91 c Elapsed CPU time: 129.386 s Remaining CPU time: 50.6137 s 129.86/129.91 c =============================================================================== 129.86/129.91 c | 5218 | 3778 27320 877096 | 9106 5218 569 | 34.089 % | 130.36/130.43 c =============================================================================== 130.36/130.43 c New solution: 46402 130.36/130.43 o 46402 130.36/130.43 c Elapsed CPU time: 129.91 s Remaining CPU time: 50.0898 s 130.36/130.43 c =============================================================================== 130.36/130.43 c | 5218 | 3778 27321 879130 | 9107 5218 569 | 34.089 % | 130.87/130.95 c =============================================================================== 130.87/130.95 c New solution: 46401 130.87/130.95 o 46401 130.87/130.95 c Elapsed CPU time: 130.431 s Remaining CPU time: 49.5688 s 130.87/130.95 c =============================================================================== 130.87/130.95 c | 5218 | 3778 27322 881164 | 9107 5218 569 | 34.089 % | 131.36/131.47 c =============================================================================== 131.36/131.47 c New solution: 46400 131.36/131.47 o 46400 131.36/131.47 c Elapsed CPU time: 130.95 s Remaining CPU time: 49.0499 s 131.36/131.47 c =============================================================================== 131.36/131.47 c | 5219 | 3778 27323 883198 | 9107 5219 569 | 34.089 % | 133.76/133.83 c =============================================================================== 133.76/133.83 c New solution: 46399 133.76/133.83 o 46399 133.76/133.83 c Elapsed CPU time: 133.307 s Remaining CPU time: 46.6933 s 133.76/133.83 c =============================================================================== 133.76/133.83 c | 5313 | 3778 27324 885232 | 9108 5313 571 | 34.089 % | 134.26/134.37 c =============================================================================== 134.26/134.37 c New solution: 46398 134.26/134.37 o 46398 134.26/134.37 c Elapsed CPU time: 133.843 s Remaining CPU time: 46.1573 s 134.26/134.37 c =============================================================================== 134.26/134.37 c | 5315 | 3778 27325 887266 | 9108 5315 571 | 34.089 % | 136.26/136.31 c | 5415 | 3778 27325 887266 | 10019 5415 572 | 34.089 % | 138.57/138.61 c =============================================================================== 138.57/138.61 c New solution: 46397 138.57/138.61 o 46397 138.57/138.61 c Elapsed CPU time: 138.08 s Remaining CPU time: 41.92 s 138.57/138.61 c =============================================================================== 138.57/138.61 c | 5540 | 3778 27326 889300 | 9108 5540 573 | 34.089 % | 139.16/139.28 c =============================================================================== 139.16/139.28 c New solution: 46396 139.16/139.28 o 46396 139.16/139.28 c Elapsed CPU time: 138.75 s Remaining CPU time: 41.2501 s 139.16/139.28 c =============================================================================== 139.16/139.28 c | 5540 | 3778 27327 891334 | 9109 5540 573 | 34.089 % | 139.86/139.95 c =============================================================================== 139.86/139.95 c New solution: 46395 139.86/139.95 o 46395 139.86/139.95 c Elapsed CPU time: 139.421 s Remaining CPU time: 40.5792 s 139.86/139.95 c =============================================================================== 139.86/139.95 c | 5541 | 3778 27328 893368 | 9109 5541 573 | 34.089 % | 140.56/140.63 c =============================================================================== 140.56/140.63 c New solution: 46394 140.56/140.63 o 46394 140.56/140.63 c Elapsed CPU time: 140.09 s Remaining CPU time: 39.9103 s 140.56/140.63 c =============================================================================== 140.56/140.63 c | 5543 | 3778 27329 895402 | 9109 5543 573 | 34.089 % | 141.16/141.22 c =============================================================================== 141.16/141.22 c New solution: 46393 141.16/141.22 o 46393 141.16/141.22 c Elapsed CPU time: 140.681 s Remaining CPU time: 39.3194 s 141.16/141.22 c =============================================================================== 141.16/141.22 c | 5548 | 3778 27330 897436 | 9110 5548 573 | 34.089 % | 143.06/143.10 c | 5648 | 3778 27330 897436 | 10021 5648 574 | 34.089 % | 143.56/143.65 c =============================================================================== 143.56/143.65 c New solution: 46392 143.56/143.65 o 46392 143.56/143.65 c Elapsed CPU time: 143.116 s Remaining CPU time: 36.8838 s 143.56/143.65 c =============================================================================== 143.56/143.65 c | 5653 | 3778 27331 899470 | 9110 5653 574 | 34.089 % | 144.75/144.85 c =============================================================================== 144.75/144.85 c New solution: 46391 144.75/144.85 o 46391 144.75/144.85 c Elapsed CPU time: 144.316 s Remaining CPU time: 35.6839 s 144.75/144.85 c =============================================================================== 144.75/144.85 c | 5692 | 3778 27332 901504 | 9110 5692 575 | 34.089 % | 146.27/146.37 c =============================================================================== 146.27/146.37 c New solution: 46390 146.27/146.37 o 46390 146.27/146.37 c Elapsed CPU time: 145.83 s Remaining CPU time: 34.1702 s 146.27/146.37 c =============================================================================== 146.27/146.37 c | 5763 | 3778 27333 903538 | 9111 5763 576 | 34.089 % | 146.56/146.60 c =============================================================================== 146.56/146.60 c New solution: 46389 146.56/146.60 o 46389 146.56/146.60 c Elapsed CPU time: 146.059 s Remaining CPU time: 33.9412 s 146.56/146.60 c =============================================================================== 146.56/146.60 c | 5778 | 3778 27334 905572 | 9111 5778 576 | 34.089 % | 147.36/147.46 c =============================================================================== 147.36/147.46 c New solution: 44919 147.36/147.46 o 44919 147.36/147.46 c Elapsed CPU time: 146.918 s Remaining CPU time: 33.0823 s 147.36/147.46 c =============================================================================== 147.36/147.46 c | 5810 | 3778 27335 907606 | 9111 5810 576 | 34.089 % | 148.15/148.20 c =============================================================================== 148.15/148.20 c New solution: 44851 148.15/148.20 o 44851 148.15/148.20 c Elapsed CPU time: 147.656 s Remaining CPU time: 32.3444 s 148.15/148.20 c =============================================================================== 148.15/148.20 c | 5816 | 3778 27336 909640 | 9112 5816 576 | 34.089 % | 148.85/148.97 c =============================================================================== 148.85/148.97 c New solution: 44850 148.85/148.97 o 44850 148.85/148.97 c Elapsed CPU time: 148.418 s Remaining CPU time: 31.5816 s 148.85/148.97 c =============================================================================== 148.85/148.97 c | 5819 | 3778 27337 911674 | 9112 5819 576 | 34.089 % | 149.56/149.66 c =============================================================================== 149.56/149.66 c New solution: 44836 149.56/149.66 o 44836 149.56/149.66 c Elapsed CPU time: 149.109 s Remaining CPU time: 30.8907 s 149.56/149.66 c =============================================================================== 149.56/149.66 c | 5823 | 3778 27338 913708 | 9112 5823 576 | 34.089 % | 150.25/150.34 c =============================================================================== 150.25/150.34 c New solution: 44831 150.25/150.34 o 44831 150.25/150.34 c Elapsed CPU time: 149.79 s Remaining CPU time: 30.2098 s 150.25/150.34 c =============================================================================== 150.25/150.34 c | 5827 | 3778 27339 915742 | 9113 5827 576 | 34.089 % | 150.85/150.98 c =============================================================================== 150.85/150.98 c New solution: 44830 150.85/150.98 o 44830 150.85/150.98 c Elapsed CPU time: 150.432 s Remaining CPU time: 29.5679 s 150.85/150.98 c =============================================================================== 150.85/150.98 c | 5829 | 3778 27340 917776 | 9113 5829 576 | 34.089 % | 151.55/151.65 c =============================================================================== 151.55/151.65 c New solution: 44829 151.55/151.65 o 44829 151.55/151.65 c Elapsed CPU time: 151.097 s Remaining CPU time: 28.903 s 151.55/151.65 c =============================================================================== 151.55/151.65 c | 5832 | 3778 27341 919810 | 9113 5832 575 | 34.089 % | 153.65/153.70 c | 5932 | 3778 27341 919810 | 10025 5932 577 | 34.089 % | 154.25/154.37 c =============================================================================== 154.25/154.37 c New solution: 44828 154.25/154.37 o 44828 154.25/154.37 c Elapsed CPU time: 153.816 s Remaining CPU time: 26.1844 s 154.25/154.37 c =============================================================================== 154.25/154.37 c | 5932 | 3778 27342 921844 | 9114 5932 577 | 34.089 % | 154.96/155.03 c =============================================================================== 154.96/155.03 c New solution: 44827 154.96/155.03 o 44827 154.96/155.03 c Elapsed CPU time: 154.475 s Remaining CPU time: 25.5255 s 154.96/155.03 c =============================================================================== 154.96/155.03 c | 5935 | 3778 27343 923878 | 9114 5935 577 | 34.089 % | 155.35/155.48 c =============================================================================== 155.35/155.48 c New solution: 44826 155.35/155.48 o 44826 155.35/155.48 c Elapsed CPU time: 154.924 s Remaining CPU time: 25.0756 s 155.35/155.48 c =============================================================================== 155.35/155.48 c | 5938 | 3778 27344 925912 | 9114 5938 577 | 34.089 % | 157.06/157.14 c =============================================================================== 157.06/157.14 c New solution: 44825 157.06/157.14 o 44825 157.06/157.14 c Elapsed CPU time: 156.586 s Remaining CPU time: 23.4138 s 157.06/157.14 c =============================================================================== 157.06/157.14 c | 6020 | 3778 27345 927946 | 9115 6020 578 | 34.089 % | 157.66/157.79 c =============================================================================== 157.66/157.79 c New solution: 44824 157.66/157.79 o 44824 157.66/157.79 c Elapsed CPU time: 157.235 s Remaining CPU time: 22.7649 s 157.66/157.79 c =============================================================================== 157.66/157.79 c | 6029 | 3778 27346 929980 | 9115 6029 577 | 34.089 % | 160.25/160.32 c | 6130 | 3778 27346 929980 | 10026 6130 578 | 34.089 % | 160.85/160.97 c =============================================================================== 160.85/160.97 c New solution: 44823 160.85/160.97 o 44823 160.85/160.97 c Elapsed CPU time: 160.412 s Remaining CPU time: 19.5884 s 160.85/160.97 c =============================================================================== 160.85/160.97 c | 6133 | 3778 27347 932014 | 9115 6133 578 | 34.089 % | 162.86/162.93 c | 6234 | 3778 27347 932014 | 10027 6234 579 | 34.089 % | 165.05/165.17 c | 6384 | 3778 27347 932014 | 11029 6384 581 | 34.089 % | 165.85/165.91 c =============================================================================== 165.85/165.91 c New solution: 44822 165.85/165.91 o 44822 165.85/165.91 c Elapsed CPU time: 165.341 s Remaining CPU time: 14.6591 s 165.85/165.91 c =============================================================================== 165.85/165.91 c | 6387 | 3778 27348 934048 | 9116 6387 581 | 34.089 % | 168.15/168.26 c | 6487 | 3778 27348 934048 | 10027 6487 582 | 34.089 % | 168.94/169.05 c =============================================================================== 168.94/169.05 c New solution: 44821 168.94/169.05 o 44821 168.94/169.05 c Elapsed CPU time: 168.471 s Remaining CPU time: 11.5286 s 168.94/169.05 c =============================================================================== 168.94/169.05 c | 6492 | 3778 27349 936082 | 9116 6492 582 | 34.089 % | 169.64/169.76 c =============================================================================== 169.64/169.76 c New solution: 44820 169.64/169.76 o 44820 169.64/169.76 c Elapsed CPU time: 169.18 s Remaining CPU time: 10.8197 s 169.64/169.76 c =============================================================================== 169.64/169.76 c | 6495 | 3778 27350 938116 | 9116 6495 582 | 34.089 % | 172.45/172.50 c | 6600 | 3778 27350 938116 | 10028 6600 583 | 34.089 % | 173.55/173.65 c =============================================================================== 173.55/173.65 c New solution: 44819 173.55/173.65 o 44819 173.55/173.65 c Elapsed CPU time: 173.072 s Remaining CPU time: 6.92831 s 173.55/173.65 c =============================================================================== 173.55/173.65 c | 6657 | 3778 27351 940150 | 9117 6657 583 | 34.089 % | 174.25/174.30 c =============================================================================== 174.25/174.30 c New solution: 44818 174.25/174.30 o 44818 174.25/174.30 c Elapsed CPU time: 173.72 s Remaining CPU time: 6.28041 s 174.25/174.30 c =============================================================================== 174.25/174.30 c | 6669 | 3778 27352 942184 | 9117 6669 583 | 34.089 % | 176.45/176.51 c | 6769 | 3778 27352 942184 | 10029 6769 584 | 34.089 % | 176.75/176.81 c =============================================================================== 176.75/176.81 c New solution: 44817 176.75/176.81 o 44817 176.75/176.81 c Elapsed CPU time: 176.227 s Remaining CPU time: 3.77279 s 176.75/176.81 c =============================================================================== 176.75/176.81 c | 6785 | 3778 27353 944218 | 9117 6785 584 | 34.089 % | 177.15/177.27 c =============================================================================== 177.15/177.27 c New solution: 44816 177.15/177.27 o 44816 177.15/177.27 c Elapsed CPU time: 176.686 s Remaining CPU time: 3.31386 s 177.15/177.27 c =============================================================================== 177.15/177.27 c | 6794 | 3778 27354 946252 | 9118 6794 584 | 34.089 % | 179.25/179.31 c | 6894 | 3778 27354 946252 | 10029 6894 585 | 34.089 % | 179.55/179.60 c =============================================================================== 179.55/179.60 c New solution: 44815 179.55/179.60 o 44815 179.55/179.60 c Elapsed CPU time: 179.015 s Remaining CPU time: 0.985215 s 179.55/179.60 c =============================================================================== 179.55/179.60 c | 6912 | 3778 27355 948286 | 9118 6912 585 | 34.089 % | 180.55/180.62 c There are 1954 assigned variables. 416 in cost function. 184.75/184.88 c core #1 184.75/184.88 c core #2 184.75/184.88 c core #3 184.75/184.88 c core #4 184.75/184.88 c core #5 184.75/184.88 c core #6 184.75/184.88 c core #7 184.75/184.88 c core #8 184.75/184.88 c core #9 184.75/184.88 c core #10 184.75/184.88 c core #11 184.75/184.88 c core #12 184.75/184.88 c core #13 184.75/184.88 c core #14 184.75/184.88 c core #15 184.75/184.88 c core #16 184.75/184.88 c core #17 184.75/184.88 c core #18 184.75/184.88 c core #19 184.75/184.88 c core #20 184.75/184.88 c core #21 184.75/184.88 c core #22 184.75/184.88 c core #23 184.75/184.88 c core #24 184.75/184.88 c core #25 184.75/184.88 c core #26 184.75/184.88 c core #27 184.75/184.88 c core #28 184.75/184.88 c core #29 184.75/184.88 c core #30 184.75/184.88 c core #31 184.75/184.88 c core #32 184.75/184.88 c core #33 184.75/184.88 c core #34 184.75/184.88 c core #35 184.75/184.88 c core #36 184.75/184.88 c core #37 184.75/184.88 c core #38 184.75/184.88 c core #39 184.75/184.88 c core #40 184.75/184.88 c core #41 184.75/184.88 c core #42 184.75/184.88 c core #43 184.75/184.88 c core #44 184.75/184.88 c core #45 184.75/184.88 c core #46 184.75/184.88 c core #47 184.75/184.88 c core #48 184.75/184.88 c core #49 184.75/184.88 c core #50 184.75/184.88 c core #51 184.75/184.88 c core #52 184.75/184.88 c core #53 184.75/184.88 c core #54 184.75/184.88 c core #55 184.75/184.88 c core #56 184.75/184.88 c core #57 184.75/184.88 c core #58 184.75/184.88 c core #59 184.75/184.88 c core #60 184.75/184.88 c core #61 184.75/184.88 c core #62 184.75/184.88 c core #63 184.75/184.88 c core #64 184.75/184.88 c core #65 184.75/184.88 c core #66 184.75/184.88 c ============================[ Search Statistics ]============================== 184.75/184.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.75/184.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.75/184.88 c =============================================================================== 184.75/184.88 c | 0 | 957 16862 12332 | 5620 0 nan | 0.000 % | 184.75/184.89 c =============================================================================== 184.84/184.91 c #cores: 66 184.84/184.91 c Final Weight: 11364 184.84/184.91 o 11364 184.84/184.91 s OPTIMUM FOUND 184.84/184.91 v -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 x3773 -x3774 -x3775 x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 x4158 -x4159 -x4160 -x4161 x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 x4179 x4180 -x4181 -x4182 x4183 x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 x4196 x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273 -x4274 -x4275 x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 x4290 x4291 x4292 x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 x4303 x4304 x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 x4353 x4354 -x4355 x4356 x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 x4371 x4372 -x4373 -x4374 -x4375 x4376 x4377 x4378 x4379 x4380 x4381 x4382 x4383 x4384 x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 x4499 x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 x4507 x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 x4553 x4554 -x4555 x4556 -x4557 -x4558 x4559 x4560 -x4561 x4562 -x4563 -x4564 -x4565 x4566 -x4567 x4568 -x4569 -x4570 -x4571 x4572 x4573 x4574 -x4575 -x4576 x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 x4586 -x4587 x4588 x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 x4599 -x4600 -x4601 -x4602 x4603 -x4604 -x4605 x4606 x4607 x4608 x4609 -x4610 -x4611 -x4612 -x4613 x4614 -x4615 -x4616 -x4617 -x4618 -x4619 x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 x4629 x4630 -x4631 -x4632 -x4633 -x4634 -x4635 x4636 -x4637 x4638 x4639 x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 x4662 -x4663 -x4664 -x4665 -x4666 -x4667 x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 x4677 x4678 -x4679 x4680 -x4681 x4682 x4683 -x4684 x4685 -x4686 -x4687 x4688 x4689 -x4690 x4691 x4692 x4693 x4694 x4695 x4696 x4697 x4698 x4699 x4700 x4701 x4702 x4703 x4704 x4705 x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 x4714 -x4715 x4716 x4717 x4718 x4719 -x4720 -x4721 -x4722 -x4723 x4724 -x4725 x4726 -x4727 -x4728 -x4729 -x4730 x4731 x4732 x4733 x4734 -x4735 -x4736 x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 x4756 x4757 -x4758 x4759 -x4760 -x4761 -x4762 -x4763 -x4764 x4765 -x4766 x4767 -x4768 -x4769 -x4770 -x4771 x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 x4783 -x4784 -x4785 -x4786 -x4787 x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 x4802 x4803 -x4804 -x4805 x4806 -x4807 x4808 -x4809 x4810 -x4811 -x4812 -x4813 -x4814 x4815 x4816 -x4817 -x4818 x4819 -x4820 x4821 -x4822 -x4823 -x4824 -x4825 x4826 -x4827 -x4828 -x4829 -x4830 x4831 x4832 x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 x4857 -x4858 x4859 -x4860 x4861 x4862 x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 x4889 -x4890 -x4891 -x4892 -x4893 x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 x4932 x4933 -x4934 x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 x4944 -x4945 -x4946 -x4947 -x4948 x4949 -x4950 -x4951 -x4952 -x4953 -x4954 x4955 x4956 -x4957 -x4958 x4959 -x4960 -x4961 -x4962 x4963 -x4964 -x4965 x4966 x4967 x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 x4976 x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 x4998 x4999 -x5000 -x5001 -x5002 -x5003 -x5004 x5005 -x5006 -x5007 x5008 -x5009 x5010 x5011 x5012 x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 x5020 x5021 x5022 -x5023 -x5024 x5025 x5026 -x5027 -x5028 x5029 x5030 x5031 x5032 x5033 x5034 x5035 -x5036 x5037 x5038 x5039 x5040 -x5041 -x5042 -x5043 -x5044 -x5045 x5046 -x5047 -x5048 -x5049 x5050 x5051 x5052 x5053 x5054 -x5055 -x5056 -x5057 x5058 -x5059 -x5060 x5061 -x5062 -x5063 -x5064 -x5065 x5066 -x5067 -x5068 x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 x5082 -x5083 -x5084 -x5085 -x5086 x5087 -x5088 -x5089 -x5090 -x5091 x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 x5108 x5109 -x5110 x5111 x5112 -x5113 -x5114 -x5115 -x5116 x5117 x5118 x5119 x5120 x5121 -x5122 x5123 -x5124 -x5125 -x5126 x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 x5143 x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 x5172 -x5173 x5174 -x5175 -x5176 x5177 x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 x5191 x5192 -x5193 x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 x5223 -x5224 -x5225 x5226 x5227 -x5228 -x5229 x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 x5238 x5239 -x5240 -x5241 -x5242 x5243 x5244 x5245 x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 x5254 x5255 x5256 x5257 -x5258 -x5259 x5260 -x5261 -x5262 x5263 x5264 x5265 x5266 -x5267 x5268 -x5269 -x5270 x5271 x5272 -x5273 -x5274 x5275 x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 x5283 -x5284 x5285 x5286 x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 x5306 -x5307 -x5308 -x5309 -x5310 x5311 x5312 -x5313 -x5314 -x5315 -x5316 -x5317 x5318 -x5319 x5320 -x5321 -x5322 -x5323 x5324 x5325 -x5326 -x5327 -x5328 x5329 x5330 -x5331 x5332 -x5333 x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 x5350 x5351 x5352 x5353 x5354 x5355 -x5356 x5357 x5358 -x5359 -x5360 x5361 -x5362 x5363 x5364 -x5365 x5366 -x5367 -x5368 -x5369 x5370 -x5371 x5372 -x5373 x5374 -x5375 -x5376 -x5377 -x5378 -x5379 x5380 x5381 -x5382 x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 x5392 -x5393 -x5394 -x5395 x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 x5426 -x5427 -x5428 x5429 -x5430 -x5431 x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 x5444 -x5445 -x5446 -x5447 x5448 -x5449 -x5450 -x5451 x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -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 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 184.84/184.91 c Total CPU time: 184.2 s
OK 11364
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683343-1277508987/watcher-2683343-1277508987 -o /tmp/evaluation-result-2683343-1277508987/solver-2683343-1277508987 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683343-1277508987.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 0.98 0.99 3/106 24818 /proc/meminfo: memFree=1892676/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=3676 CPUtime=0 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 373 0 0 0 0 0 0 0 15 0 1 0 126500020 3764224 292 1992294400 134512640 135751879 4293351488 18446744073709551615 134560803 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 919 292 145 303 0 415 0 [startup+0.095156 s] /proc/loadavg: 0.93 0.98 0.99 3/106 24818 /proc/meminfo: memFree=1892676/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=5344 CPUtime=0.09 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 887 0 0 0 9 0 0 0 17 0 1 0 126500020 5472256 806 1992294400 134512640 135751879 4293351488 18446744073709551615 135378710 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 1336 808 286 303 0 832 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5344 [startup+0.101157 s] /proc/loadavg: 0.93 0.98 0.99 3/106 24818 /proc/meminfo: memFree=1892676/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=5344 CPUtime=0.09 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 900 0 0 0 9 0 0 0 17 0 1 0 126500020 5472256 819 1992294400 134512640 135751879 4293351488 18446744073709551615 134559738 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 1336 819 295 303 0 832 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5344 [startup+0.301175 s] /proc/loadavg: 0.93 0.98 0.99 3/106 24818 /proc/meminfo: memFree=1892676/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=6648 CPUtime=0.29 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 1473 0 0 0 29 0 0 0 17 0 1 0 126500020 6807552 1193 1992294400 134512640 135751879 4293351488 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 1662 1193 146 303 0 1357 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6648 [startup+0.70121 s] /proc/loadavg: 0.93 0.98 0.99 3/106 24818 /proc/meminfo: memFree=1892676/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=6780 CPUtime=0.69 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 1504 0 0 0 69 0 0 0 17 0 1 0 126500020 6942720 1224 1992294400 134512640 135751879 4293351488 18446744073709551615 134580027 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 1695 1224 146 303 0 1390 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6780 [startup+1.50128 s] /proc/loadavg: 0.93 0.98 0.99 2/107 24819 /proc/meminfo: memFree=1888452/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=6912 CPUtime=1.5 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 1566 0 0 0 149 1 0 0 18 0 1 0 126500020 7077888 1286 1992294400 134512640 135751879 4293351488 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 1728 1286 146 303 0 1423 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 6912 [startup+3.10142 s] /proc/loadavg: 0.93 0.98 0.99 2/107 24819 /proc/meminfo: memFree=1886096/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=8892 CPUtime=3.1 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 2036 0 0 0 301 9 0 0 21 0 1 0 126500020 9105408 1756 1992294400 134512640 135751879 4293351488 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 2223 1756 146 303 0 1918 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 8892 [startup+6.30071 s] /proc/loadavg: 0.93 0.98 0.99 2/107 24819 /proc/meminfo: memFree=1885600/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=10212 CPUtime=6.29 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 2392 0 0 0 616 13 0 0 25 0 1 0 126500020 10457088 2112 1992294400 134512640 135751879 4293351488 18446744073709551615 134598868 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 2553 2112 147 303 0 2248 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10212 [startup+12.7013 s] /proc/loadavg: 0.94 0.98 0.99 2/107 24819 /proc/meminfo: memFree=1880392/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=14844 CPUtime=12.69 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 3531 0 0 0 1251 18 0 0 25 0 1 0 126500020 15200256 3251 1992294400 134512640 135751879 4293351488 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 3711 3251 147 303 0 3406 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14844 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/107 24819 /proc/meminfo: memFree=1875308/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=19700 CPUtime=25.48 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 4755 0 0 0 2525 23 0 0 25 0 1 0 126500020 20172800 4475 1992294400 134512640 135751879 4293351488 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 4925 4475 147 303 0 4620 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19700 [startup+51.1007 s] /proc/loadavg: 0.97 0.98 0.99 2/107 24819 /proc/meminfo: memFree=1868612/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=26396 CPUtime=51.08 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 6436 0 0 0 5077 31 0 0 25 0 1 0 126500020 27029504 6156 1992294400 134512640 135751879 4293351488 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 6599 6156 147 303 0 6294 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26396 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 24821 /proc/meminfo: memFree=1858320/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=36400 CPUtime=102.27 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 8915 0 0 0 10186 41 0 0 25 0 1 0 126500020 37273600 8635 1992294400 134512640 135751879 4293351488 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 9100 8635 147 303 0 8795 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 36400 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24823 /proc/meminfo: memFree=1850260/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=44428 CPUtime=162.25 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 10907 0 0 0 16173 52 0 0 25 0 1 0 126500020 45494272 10627 1992294400 134512640 135751879 4293351488 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 11107 10627 147 303 0 10802 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 44428 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24823 /proc/meminfo: memFree=1849516/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=44944 CPUtime=166.25 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 11051 0 0 0 16572 53 0 0 25 0 1 0 126500020 46022656 10771 1992294400 134512640 135751879 4293351488 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 11236 10771 147 303 0 10931 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 44944 [startup+172.709 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24823 /proc/meminfo: memFree=1848896/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=45588 CPUtime=172.66 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 11217 0 0 0 17212 54 0 0 25 0 1 0 126500020 46682112 10937 1992294400 134512640 135751879 4293351488 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 11397 10937 147 303 0 11092 0 Current children cumulated CPU time (s) 172.66 Current children cumulated vsize (KiB) 45588 [startup+179.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24823 /proc/meminfo: memFree=1848152/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=46492 CPUtime=179.05 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 11445 0 0 0 17851 54 0 0 25 0 1 0 126500020 47607808 11165 1992294400 134512640 135751879 4293351488 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 11623 11165 147 303 0 11318 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 46492 [startup+182.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24823 /proc/meminfo: memFree=1840960/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=85816 CPUtime=182.24 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 21409 0 0 0 18167 57 0 0 25 0 1 0 126500020 87875584 21000 1992294400 134512640 135751879 4293351488 18446744073709551615 134517233 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 21454 21000 150 303 0 21149 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 85816 [startup+183.902 s] /proc/loadavg: 0.99 0.98 0.99 3/107 24823 /proc/meminfo: memFree=1749696/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=158576 CPUtime=183.84 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 39600 0 0 0 18321 63 0 0 25 0 1 0 126500020 162381824 39191 1992294400 134512640 135751879 4293351488 18446744073709551615 135206213 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 39644 39191 150 303 0 39339 0 Current children cumulated CPU time (s) 183.84 Current children cumulated vsize (KiB) 158576 [startup+184.702 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24823 /proc/meminfo: memFree=1699352/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=194904 CPUtime=184.65 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 48682 0 0 0 18399 66 0 0 25 0 1 0 126500020 199581696 48273 1992294400 134512640 135751879 4293351488 18446744073709551615 134541792 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 48726 48273 150 303 0 48421 0 Current children cumulated CPU time (s) 184.65 Current children cumulated vsize (KiB) 194904 [startup+184.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24823 /proc/meminfo: memFree=1699352/2059040 swapFree=4135236/4192956 [pid=24818] ppid=24816 vsize=203112 CPUtime=184.84 /proc/24818/stat : 24818 (wbo1.4b) R 24816 24818 24533 0 -1 4202496 50743 0 0 0 18418 66 0 0 25 0 1 0 126500020 207986688 50334 1992294400 134512640 135751879 4293351488 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24818/statm: 50778 50334 151 303 0 50473 0 Current children cumulated CPU time (s) 184.84 Current children cumulated vsize (KiB) 203112 Child status: 0 Real time (s): 184.938 CPU time (s): 184.893 CPU user time (s): 184.2 CPU system time (s): 0.692894 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 203112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 184.2 system time used= 0.692894 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50743 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= 118 involuntary context switches= 143 runsolver used 0.286956 second user time and 0.950855 second system time The end
Begin job on node015 at 2010-06-26 01:36:27 IDJOB=2683343 IDBENCH=72105 IDSOLVER=1161 FILE ID=node015/2683343-1277508987 PBS_JOBID= 11190607 Free space on /tmp= 62408 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand27da90.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-2683343-1277508987/watcher-2683343-1277508987 -o /tmp/evaluation-result-2683343-1277508987/solver-2683343-1277508987 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683343-1277508987.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a48dca57cfda6cf4188a4a57f992ffd8 RANDOM SEED=359269109 node015.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.244 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.48 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.244 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1893992 kB Buffers: 3392 kB Cached: 68276 kB SwapCached: 10008 kB Active: 38676 kB Inactive: 45808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1893992 kB SwapTotal: 4192956 kB SwapFree: 4135236 kB Dirty: 3532 kB Writeback: 0 kB AnonPages: 11572 kB Mapped: 8324 kB Slab: 58544 kB PageTables: 4236 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181920 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-2683343-1277508987.opb Free space on /tmp at the end= 62408 MiB End job on node015 at 2010-06-26 01:39:32