| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | SAT | 973.963 | 973.925 |
| Name | crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf |
| MD5SUM | 4975f32607352c0a4d9db1abea12627a |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 4.43033 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 231 |
| Number of clauses | 28738 |
| Sum of the clauses size | 129678 |
| Maximum clause length | 22 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 77 |
| Number of clauses of size 3 | 26363 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 2298 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 28738 129678 | 8621 0 0 nan | 0.000 % | 0.00/0.01 c ============================================================================== 0.00/0.01 c Result : #vars: 231 #clauses: 28738 #literals: 129678 0.00/0.01 c CPU time: 0.010998 s 0.00/0.01 c ============================================================================== 0.00/0.03 c 0.00/0.03 c Starting glucose 0.00/0.03 c 9.98/10.03 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 9.98/10.03 c WARNING: for repeatability, setting FPU to use double precision 9.98/10.03 c ============================[ Problem Statistics ]============================= 9.98/10.03 c | | 9.98/10.03 c | Number of variables: 231 | 9.98/10.03 c | Number of clauses: 28738 | 9.98/10.03 c | Parse time: 0.01 s | 9.98/10.03 c | | 9.98/10.03 c ============================[ Search Statistics ]============================== 9.98/10.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.98/10.03 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 9.98/10.03 c =============================================================================== 9.98/10.03 c | 15916 | 231 28738 129678 | 1 9617 25 | 0.000 % | 9.98/10.03 c | 16017 | 231 28738 129678 | 1 9718 25 | 0.000 % | 9.98/10.03 c | 16175 | 231 28738 129678 | 1 9876 25 | 0.000 % | 9.98/10.03 c | 16276 | 231 28738 129678 | 1 9977 25 | 0.000 % | 9.98/10.03 c | 16378 | 231 28738 129678 | 1 10079 25 | 0.000 % | 9.98/10.03 c | 16478 | 231 28738 129678 | 1 10179 25 | 0.000 % | 9.98/10.03 c | 22625 | 231 28738 129678 | 1 9575 24 | 0.000 % | 9.98/10.03 c | 22725 | 231 28738 129678 | 1 9675 24 | 0.000 % | 9.98/10.03 c | 23265 | 231 28738 129678 | 1 10215 25 | 0.000 % | 9.98/10.03 c | 30069 | 231 28738 129678 | 1 17019 25 | 0.000 % | 9.98/10.03 c | 30169 | 231 28738 129678 | 1 17119 25 | 0.000 % | 9.98/10.03 c | 40207 | 231 28738 129678 | 1 17885 25 | 0.000 % | 9.98/10.03 c | 40307 | 231 28738 129678 | 1 17985 25 | 0.000 % | 9.98/10.03 c | 42370 | 231 28738 129678 | 1 20048 26 | 0.000 % | 9.98/10.03 c | 45303 | 231 28738 129678 | 1 22981 27 | 0.000 % | 9.98/10.03 c | 46526 | 231 28738 129678 | 1 12370 25 | 0.000 % | 9.98/10.03 c | 47070 | 231 28738 129678 | 1 12914 25 | 0.000 % | 9.98/10.03 c | 51141 | 231 28738 129678 | 1 16985 26 | 0.000 % | 9.98/10.03 c | 51400 | 231 28738 129678 | 1 17244 26 | 0.000 % | 9.98/10.03 c | 51501 | 231 28738 129678 | 1 17345 26 | 0.000 % | 9.98/10.03 c | 51602 | 231 28738 129678 | 1 17446 26 | 0.000 % | 9.98/10.03 c | 66027 | 231 28738 129678 | 1 17455 25 | 0.000 % | 9.98/10.03 c | 69601 | 231 28738 129678 | 1 21029 26 | 0.000 % | 9.98/10.03 c | 73778 | 231 28738 129678 | 1 25206 26 | 0.000 % | 9.98/10.03 c | 73879 | 231 28738 129678 | 1 25307 27 | 0.000 % | 9.98/10.03 c | 73979 | 231 28738 129678 | 1 25407 27 | 0.000 % | 9.98/10.03 c | 74080 | 231 28738 129678 | 1 25508 27 | 0.000 % | 9.98/10.03 c | 75000 | 231 28738 129678 | 1 26428 27 | 0.000 % | 9.98/10.03 c | 75206 | 231 28738 129678 | 1 26634 27 | 0.000 % | 9.98/10.03 c | 98494 | 231 28738 129678 | 1 32913 26 | 0.000 % | 9.98/10.03 c | 108709 | 231 28738 129678 | 1 23528 25 | 0.000 % | 9.98/10.03 c | 127368 | 231 28738 129678 | 1 42187 27 | 0.000 % | 9.98/10.03 c | 143343 | 231 28738 129678 | 1 35955 26 | 0.000 % | 9.98/10.03 c | 182254 | 231 28738 129678 | 1 50072 27 | 0.000 % | 9.98/10.03 c | 182356 | 231 28738 129678 | 1 50174 27 | 0.000 % | 9.98/10.03 c | 182456 | 231 28738 129678 | 1 50274 27 | 0.000 % | 9.98/10.03 c | 182556 | 231 28738 129678 | 1 50374 27 | 0.000 % | 9.98/10.03 c | 198126 | 231 28738 129678 | 1 38538 26 | 0.000 % | 9.98/10.03 c | 198749 | 231 28738 129678 | 1 39161 26 | 0.000 % | 75.38/75.49 c | 204099 | 231 28738 129678 | 1 44511 26 | 0.000 % | 75.38/75.49 c | 204199 | 231 28738 129678 | 1 44611 27 | 0.000 % | 75.38/75.49 c | 204299 | 231 28738 129678 | 1 44711 27 | 0.000 % | 75.38/75.49 c | 204399 | 231 28738 129678 | 1 44811 27 | 0.000 % | 75.38/75.49 c | 205610 | 231 28738 129678 | 1 46022 27 | 0.000 % | 75.38/75.49 c | 206588 | 231 28738 129678 | 1 47000 27 | 0.000 % | 75.38/75.49 c | 206698 | 231 28738 129678 | 1 47110 27 | 0.000 % | 75.38/75.49 c | 210671 | 231 28738 129678 | 1 51083 27 | 0.000 % | 75.38/75.49 c | 234310 | 231 28738 129678 | 1 44720 26 | 0.000 % | 75.38/75.49 c | 234410 | 231 28738 129678 | 1 44820 26 | 0.000 % | 75.38/75.49 c | 338412 | 231 28738 129678 | 1 43226 24 | 0.000 % | 75.38/75.49 c | 350069 | 231 28738 129678 | 1 54883 25 | 0.000 % | 75.38/75.49 c | 350169 | 231 28738 129678 | 1 54983 25 | 0.000 % | 75.38/75.49 c | 350777 | 231 28738 129678 | 1 55591 25 | 0.000 % | 75.38/75.49 c | 350880 | 231 28738 129678 | 1 55694 25 | 0.000 % | 75.38/75.49 c | 350981 | 231 28738 129678 | 1 55795 25 | 0.000 % | 75.38/75.49 c | 399671 | 231 28738 129678 | 1 64083 25 | 0.000 % | 75.38/75.49 c | 410838 | 231 28738 129678 | 1 75250 26 | 0.000 % | 75.38/75.49 c | 410938 | 231 28738 129678 | 1 75350 26 | 0.000 % | 75.38/75.49 c | 453040 | 231 28738 129678 | 1 74449 26 | 0.000 % | 75.38/75.49 c | 460736 | 231 28738 129678 | 1 82145 26 | 0.000 % | 75.38/75.49 c | 498383 | 231 28738 129678 | 1 74194 24 | 0.000 % | 75.38/75.49 c | 498483 | 231 28738 129678 | 1 74294 24 | 0.000 % | 75.38/75.49 c | 551474 | 231 28738 129678 | 1 79084 23 | 0.000 % | 75.38/75.49 c | 551575 | 231 28738 129678 | 1 79185 23 | 0.000 % | 75.38/75.49 c | 556222 | 231 28738 129678 | 1 83832 24 | 0.000 % | 75.38/75.49 c | 648443 | 231 28738 129678 | 1 71856 24 | 0.000 % | 75.38/75.49 c | 707756 | 231 28738 129678 | 1 75174 23 | 0.000 % | 75.38/75.49 c | 707856 | 231 28738 129678 | 1 75274 23 | 0.000 % | 75.38/75.49 c | 707956 | 231 28738 129678 | 1 75374 23 | 0.000 % | 75.38/75.49 c | 711663 | 231 28738 129678 | 1 79081 23 | 0.000 % | 75.38/75.49 c | 713067 | 231 28738 129678 | 1 80485 23 | 0.000 % | 75.38/75.49 c | 740571 | 231 28738 129678 | 1 107989 24 | 0.000 % | 75.38/75.49 c | 760655 | 231 28738 129678 | 1 69469 22 | 0.000 % | 75.38/75.49 c | 802274 | 231 28738 129678 | 1 111088 24 | 0.000 % | 75.38/75.49 c | 802442 | 231 28738 129678 | 1 111256 24 | 0.000 % | 75.38/75.49 c | 806254 | 231 28738 129678 | 1 115068 24 | 0.000 % | 75.38/75.49 c | 868538 | 231 28738 129678 | 1 116155 25 | 0.000 % | 75.38/75.49 c | 868638 | 231 28738 129678 | 1 116255 25 | 0.000 % | 75.38/75.49 c | 868739 | 231 28738 129678 | 1 116356 25 | 0.000 % | 75.38/75.49 c | 869503 | 231 28738 129678 | 1 117120 25 | 0.000 % | 75.38/75.49 c | 873844 | 231 28738 129678 | 1 121461 25 | 0.000 % | 75.38/75.49 c | 874043 | 231 28738 129678 | 1 121660 25 | 0.000 % | 75.38/75.49 c | 879516 | 231 28738 129678 | 1 127133 25 | 0.000 % | 75.38/75.49 c | 883397 | 231 28738 129678 | 1 67215 22 | 0.000 % | 75.38/75.49 c | 883498 | 231 28738 129678 | 1 67316 22 | 0.000 % | 75.38/75.49 c | 883599 | 231 28738 129678 | 1 67417 22 | 0.000 % | 75.38/75.49 c | 885713 | 231 28738 129678 | 1 69531 23 | 0.000 % | 75.38/75.49 c | 894718 | 231 28738 129678 | 1 78536 23 | 0.000 % | 75.38/75.49 c | 1087464 | 231 28738 129678 | 1 135879 23 | 0.000 % | 167.98/168.05 c | 1087564 | 231 28738 129678 | 1 135979 23 | 0.000 % | 167.98/168.05 c | 1113132 | 231 28738 129678 | 1 89944 22 | 0.000 % | 167.98/168.05 c | 1118573 | 231 28738 129678 | 1 95385 23 | 0.000 % | 167.98/168.05 c | 1123341 | 231 28738 129678 | 1 100153 23 | 0.000 % | 167.98/168.05 c | 1123441 | 231 28738 129678 | 1 100253 23 | 0.000 % | 167.98/168.05 c | 1129784 | 231 28738 129678 | 1 106596 23 | 0.000 % | 167.98/168.05 c | 1129885 | 231 28738 129678 | 1 106697 23 | 0.000 % | 167.98/168.05 c | 1131138 | 231 28738 129678 | 1 107950 23 | 0.000 % | 167.98/168.05 c | 1131238 | 231 28738 129678 | 1 108050 23 | 0.000 % | 167.98/168.05 c | 1131338 | 231 28738 129678 | 1 108150 23 | 0.000 % | 167.98/168.05 c | 1240180 | 231 28738 129678 | 1 142791 23 | 0.000 % | 167.98/168.05 c | 1240890 | 231 28738 129678 | 1 143501 23 | 0.000 % | 167.98/168.05 c | 1241313 | 231 28738 129678 | 1 143924 23 | 0.000 % | 167.98/168.05 c | 1284186 | 231 28738 129678 | 1 109995 23 | 0.000 % | 167.98/168.05 c | 1286417 | 231 28738 129678 | 1 112226 23 | 0.000 % | 167.98/168.05 c | 1370984 | 231 28738 129678 | 1 117396 23 | 0.000 % | 167.98/168.05 c | 1380198 | 231 28738 129678 | 1 126610 23 | 0.000 % | 167.98/168.05 c | 1408241 | 231 28738 129678 | 1 154653 24 | 0.000 % | 167.98/168.05 c | 1410377 | 231 28738 129678 | 1 156789 24 | 0.000 % | 167.98/168.05 c | 1412535 | 231 28738 129678 | 1 158947 24 | 0.000 % | 167.98/168.05 c | 1455734 | 231 28738 129678 | 1 120152 22 | 0.000 % | 167.98/168.05 c | 1456132 | 231 28738 129678 | 1 120550 22 | 0.000 % | 167.98/168.05 c | 1456233 | 231 28738 129678 | 1 120651 22 | 0.000 % | 167.98/168.05 c | 1456487 | 231 28738 129678 | 1 120905 22 | 0.000 % | 167.98/168.05 c | 1470707 | 231 28738 129678 | 1 135125 23 | 0.000 % | 167.98/168.05 c | 1485537 | 231 28738 129678 | 1 149955 23 | 0.000 % | 167.98/168.05 c | 1485637 | 231 28738 129678 | 1 150055 23 | 0.000 % | 167.98/168.05 c | 1489830 | 231 28738 129678 | 1 154248 24 | 0.000 % | 167.98/168.05 c | 1817344 | 231 28738 129678 | 1 127756 22 | 0.000 % | 167.98/168.05 c | 1820409 | 231 28738 129678 | 1 130821 22 | 0.000 % | 167.98/168.05 c | 1826080 | 231 28738 129678 | 1 136492 22 | 0.000 % | 167.98/168.05 c | 1826180 | 231 28738 129678 | 1 136592 22 | 0.000 % | 167.98/168.05 c | 1826736 | 231 28738 129678 | 1 137148 22 | 0.000 % | 167.98/168.05 c | 1920278 | 231 28738 129678 | 1 135697 22 | 0.000 % | 167.98/168.05 c | 1967036 | 231 28738 129678 | 1 182455 23 | 0.000 % | 167.98/168.05 c | 1967234 | 231 28738 129678 | 1 182653 23 | 0.000 % | 167.98/168.05 c | 1983929 | 231 28738 129678 | 1 101749 21 | 0.000 % | 167.98/168.05 c | 1984039 | 231 28738 129678 | 1 101859 21 | 0.000 % | 167.98/168.05 c | 1984139 | 231 28738 129678 | 1 101959 21 | 0.000 % | 167.98/168.05 c | 1985739 | 231 28738 129678 | 1 103559 21 | 0.000 % | 167.98/168.05 c | 1985843 | 231 28738 129678 | 1 103663 21 | 0.000 % | 167.98/168.05 c | 2011293 | 231 28738 129678 | 1 129113 22 | 0.000 % | 167.98/168.05 c | 2011394 | 231 28738 129678 | 1 129214 22 | 0.000 % | 167.98/168.05 c | 2012357 | 231 28738 129678 | 1 130177 22 | 0.000 % | 167.98/168.05 c | 2021584 | 231 28738 129678 | 1 139404 22 | 0.000 % | 167.98/168.05 c | 2022419 | 231 28738 129678 | 1 140239 22 | 0.000 % | 167.98/168.05 c | 2023255 | 231 28738 129678 | 1 141075 22 | 0.000 % | 167.98/168.05 c | 2023355 | 231 28738 129678 | 1 141175 22 | 0.000 % | 167.98/168.05 c | 2023455 | 231 28738 129678 | 1 141275 22 | 0.000 % | 167.98/168.05 c | 2123897 | 231 28738 129678 | 1 141521 22 | 0.000 % | 284.59/284.69 c | 2124075 | 231 28738 129678 | 1 141699 22 | 0.000 % | 284.59/284.69 c | 2128989 | 231 28738 129678 | 1 146613 22 | 0.000 % | 284.59/284.69 c | 2136296 | 231 28738 129678 | 1 153920 23 | 0.000 % | 284.59/284.69 c | 2137068 | 231 28738 129678 | 1 154692 23 | 0.000 % | 284.59/284.69 c | 2228560 | 231 28738 129678 | 1 143381 22 | 0.000 % | 284.59/284.69 c | 2228660 | 231 28738 129678 | 1 143481 22 | 0.000 % | 284.59/284.69 c | 2713002 | 231 28738 129678 | 1 190621 22 | 0.000 % | 284.59/284.69 c | 2715877 | 231 28738 129678 | 1 193496 22 | 0.000 % | 284.59/284.69 c | 2723817 | 231 28738 129678 | 1 201436 22 | 0.000 % | 284.59/284.69 c | 2725703 | 231 28738 129678 | 1 203322 23 | 0.000 % | 284.59/284.69 c | 2781470 | 231 28738 129678 | 1 143286 21 | 0.000 % | 284.59/284.69 c | 2781741 | 231 28738 129678 | 1 143557 21 | 0.000 % | 284.59/284.69 c | 2781841 | 231 28738 129678 | 1 143657 21 | 0.000 % | 284.59/284.69 c | 2802661 | 231 28738 129678 | 1 164477 22 | 0.000 % | 284.59/284.69 c | 2811887 | 231 28738 129678 | 1 173703 22 | 0.000 % | 284.59/284.69 c | 2837255 | 231 28738 129678 | 1 199071 23 | 0.000 % | 284.59/284.69 c | 2837981 | 231 28738 129678 | 1 199797 23 | 0.000 % | 284.59/284.69 c | 2838081 | 231 28738 129678 | 1 199897 23 | 0.000 % | 284.59/284.69 c | 2840621 | 231 28738 129678 | 1 202437 23 | 0.000 % | 284.59/284.69 c | 2840724 | 231 28738 129678 | 1 202540 23 | 0.000 % | 284.59/284.69 c | 2841043 | 231 28738 129678 | 1 202859 23 | 0.000 % | 284.59/284.69 c | 2841145 | 231 28738 129678 | 1 202961 23 | 0.000 % | 284.59/284.69 c | 2844111 | 231 28738 129678 | 1 205927 23 | 0.000 % | 284.59/284.69 c | 2845905 | 231 28738 129678 | 1 207721 23 | 0.000 % | 284.59/284.69 c | 2865279 | 231 28738 129678 | 1 227095 23 | 0.000 % | 284.59/284.69 c | 2865631 | 231 28738 129678 | 1 227447 23 | 0.000 % | 284.59/284.69 c | 2865806 | 231 28738 129678 | 1 227622 23 | 0.000 % | 284.59/284.69 c | 2866109 | 231 28738 129678 | 1 227925 23 | 0.000 % | 284.59/284.69 c | 2885160 | 231 28738 129678 | 1 128583 21 | 0.000 % | 284.59/284.69 c | 2885260 | 231 28738 129678 | 1 128683 21 | 0.000 % | 284.59/284.69 c | 2885361 | 231 28738 129678 | 1 128784 21 | 0.000 % | 284.59/284.69 c | 2892170 | 231 28738 129678 | 1 135593 21 | 0.000 % | 284.59/284.69 c | 3026505 | 231 28738 129678 | 1 148922 21 | 0.000 % | 284.59/284.69 c | 3026627 | 231 28738 129678 | 1 149044 21 | 0.000 % | 284.59/284.69 c | 3028489 | 231 28738 129678 | 1 150906 21 | 0.000 % | 284.59/284.69 c | 3043242 | 231 28738 129678 | 1 165659 22 | 0.000 % | 284.59/284.69 c | 3043344 | 231 28738 129678 | 1 165761 22 | 0.000 % | 284.59/284.69 c | 3043896 | 231 28738 129678 | 1 166313 22 | 0.000 % | 284.59/284.69 c | 3048059 | 231 28738 129678 | 1 170476 22 | 0.000 % | 284.59/284.69 c | 3057212 | 231 28738 129678 | 1 179629 22 | 0.000 % | 284.59/284.69 c | 3057313 | 231 28738 129678 | 1 179730 22 | 0.000 % | 284.59/284.69 c | 3057453 | 231 28738 129678 | 1 179870 22 | 0.000 % | 284.59/284.69 c | 3107317 | 231 28738 129678 | 1 229734 23 | 0.000 % | 284.59/284.69 c | 3144640 | 231 28738 129678 | 1 143456 21 | 0.000 % | 284.59/284.69 c | 3162643 | 231 28738 129678 | 1 161459 22 | 0.000 % | 284.59/284.69 c | 3182835 | 231 28738 129678 | 1 181651 22 | 0.000 % | 284.59/284.69 c | 3183602 | 231 28738 129678 | 1 182418 22 | 0.000 % | 284.59/284.69 c | 3217546 | 231 28738 129678 | 1 216362 23 | 0.000 % | 284.59/284.69 c | 3283122 | 231 28738 129678 | 1 155731 21 | 0.000 % | 284.59/284.69 c | 3296780 | 231 28738 129678 | 1 169389 22 | 0.000 % | 360.39/360.41 c | 3301339 | 231 28738 129678 | 1 173948 22 | 0.000 % | 360.39/360.41 c | 3302645 | 231 28738 129678 | 1 175254 22 | 0.000 % | 360.39/360.41 c | 3307323 | 231 28738 129678 | 1 179932 22 | 0.000 % | 360.39/360.41 c | 3354195 | 231 28738 129678 | 1 226804 23 | 0.000 % | 360.39/360.41 c | 3355187 | 231 28738 129678 | 1 227796 23 | 0.000 % | 360.39/360.41 c | 3355392 | 231 28738 129678 | 1 228001 23 | 0.000 % | 360.39/360.41 c | 3369664 | 231 28738 129678 | 1 242273 23 | 0.000 % | 360.39/360.41 c | 3369914 | 231 28738 129678 | 1 242523 23 | 0.000 % | 360.39/360.41 c | 3400160 | 231 28738 129678 | 1 143973 21 | 0.000 % | 360.39/360.41 c | 3431467 | 231 28738 129678 | 1 175280 22 | 0.000 % | 360.39/360.41 c | 3454173 | 231 28738 129678 | 1 197986 22 | 0.000 % | 360.39/360.41 c | 3454273 | 231 28738 129678 | 1 198086 22 | 0.000 % | 360.39/360.41 c | 3458035 | 231 28738 129678 | 1 201848 22 | 0.000 % | 360.39/360.41 c | 3458367 | 231 28738 129678 | 1 202180 22 | 0.000 % | 360.39/360.41 c | 3458470 | 231 28738 129678 | 1 202283 22 | 0.000 % | 360.39/360.41 c | 3458570 | 231 28738 129678 | 1 202383 22 | 0.000 % | 360.39/360.41 c | 3475558 | 231 28738 129678 | 1 219371 23 | 0.000 % | 360.39/360.41 c | 3509925 | 231 28738 129678 | 1 253738 23 | 0.000 % | 360.39/360.41 c | 3510026 | 231 28738 129678 | 1 253839 23 | 0.000 % | 360.39/360.41 c | 3510129 | 231 28738 129678 | 1 253942 23 | 0.000 % | 360.39/360.41 c | 3536217 | 231 28738 129678 | 1 148635 21 | 0.000 % | 360.39/360.41 c | 3536317 | 231 28738 129678 | 1 148735 21 | 0.000 % | 360.39/360.41 c | 3623760 | 231 28738 129678 | 1 236178 23 | 0.000 % | 360.39/360.41 c | 3632280 | 231 28738 129678 | 1 244698 23 | 0.000 % | 360.39/360.41 c | 3632391 | 231 28738 129678 | 1 244809 23 | 0.000 % | 360.39/360.41 c | 3774496 | 231 28738 129678 | 1 252912 22 | 0.000 % | 360.39/360.41 c | 3777159 | 231 28738 129678 | 1 255575 22 | 0.000 % | 360.39/360.41 c | 3777413 | 231 28738 129678 | 1 255829 22 | 0.000 % | 360.39/360.41 c | 3779824 | 231 28738 129678 | 1 258240 22 | 0.000 % | 360.39/360.41 c | 3807236 | 231 28738 129678 | 1 149053 20 | 0.000 % | 360.39/360.41 c | 3807338 | 231 28738 129678 | 1 149155 20 | 0.000 % | 360.39/360.41 c | 3808561 | 231 28738 129678 | 1 150378 21 | 0.000 % | 360.39/360.41 c | 3808663 | 231 28738 129678 | 1 150480 21 | 0.000 % | 360.39/360.41 c | 3808764 | 231 28738 129678 | 1 150581 21 | 0.000 % | 360.39/360.41 c | 3813192 | 231 28738 129678 | 1 155009 21 | 0.000 % | 360.39/360.41 c | 3814742 | 231 28738 129678 | 1 156559 21 | 0.000 % | 360.39/360.41 c | 3825179 | 231 28738 129678 | 1 166996 21 | 0.000 % | 360.39/360.41 c | 3825279 | 231 28738 129678 | 1 167096 21 | 0.000 % | 360.39/360.41 c | 3830533 | 231 28738 129678 | 1 172350 21 | 0.000 % | 360.39/360.41 c | 3832987 | 231 28738 129678 | 1 174804 22 | 0.000 % | 360.39/360.41 c | 3880372 | 231 28738 129678 | 1 222189 22 | 0.000 % | 360.39/360.41 c | 3880474 | 231 28738 129678 | 1 222291 22 | 0.000 % | 360.39/360.41 c | 3955456 | 231 28738 129678 | 1 158080 20 | 0.000 % | 360.39/360.41 c | 3955558 | 231 28738 129678 | 1 158182 20 | 0.000 % | 360.39/360.41 c | 3963037 | 231 28738 129678 | 1 165661 21 | 0.000 % | 360.39/360.41 c | 3968495 | 231 28738 129678 | 1 171119 21 | 0.000 % | 360.39/360.41 c | 3973160 | 231 28738 129678 | 1 175784 21 | 0.000 % | 360.39/360.41 c | 3973260 | 231 28738 129678 | 1 175884 21 | 0.000 % | 360.39/360.41 c | 4018411 | 231 28738 129678 | 1 221035 22 | 0.000 % | 360.39/360.41 c | 4025055 | 231 28738 129678 | 1 227679 22 | 0.000 % | 388.60/388.67 c | 4026234 | 231 28738 129678 | 1 228858 22 | 0.000 % | 388.60/388.67 c | 4026336 | 231 28738 129678 | 1 228960 22 | 0.000 % | 388.60/388.67 c | 4027184 | 231 28738 129678 | 1 229808 22 | 0.000 % | 388.60/388.67 c | 4027285 | 231 28738 129678 | 1 229909 22 | 0.000 % | 388.60/388.67 c | 4028699 | 231 28738 129678 | 1 231323 22 | 0.000 % | 388.60/388.67 c | 4030701 | 231 28738 129678 | 1 233325 22 | 0.000 % | 388.60/388.67 c | 4030802 | 231 28738 129678 | 1 233426 22 | 0.000 % | 388.60/388.67 c | 4031591 | 231 28738 129678 | 1 234215 22 | 0.000 % | 388.60/388.67 c | 4031757 | 231 28738 129678 | 1 234381 22 | 0.000 % | 388.60/388.67 c | 4032686 | 231 28738 129678 | 1 235310 22 | 0.000 % | 388.60/388.67 c | 4038138 | 231 28738 129678 | 1 240762 23 | 0.000 % | 388.60/388.67 c | 4038238 | 231 28738 129678 | 1 240862 23 | 0.000 % | 388.60/388.67 c | 4038341 | 231 28738 129678 | 1 240965 23 | 0.000 % | 388.60/388.67 c | 4038452 | 231 28738 129678 | 1 241076 23 | 0.000 % | 388.60/388.67 c | 4038552 | 231 28738 129678 | 1 241176 23 | 0.000 % | 388.60/388.67 c | 4038652 | 231 28738 129678 | 1 241276 23 | 0.000 % | 388.60/388.67 c | 4039635 | 231 28738 129678 | 1 242259 23 | 0.000 % | 388.60/388.67 c | 4039735 | 231 28738 129678 | 1 242359 23 | 0.000 % | 388.60/388.67 c | 4039835 | 231 28738 129678 | 1 242459 23 | 0.000 % | 388.60/388.67 c | 4039935 | 231 28738 129678 | 1 242559 23 | 0.000 % | 388.60/388.67 c | 4049839 | 231 28738 129678 | 1 252463 23 | 0.000 % | 388.60/388.67 c | 4049939 | 231 28738 129678 | 1 252563 23 | 0.000 % | 388.60/388.67 c | 4051211 | 231 28738 129678 | 1 253835 23 | 0.000 % | 388.60/388.67 c | 4060071 | 231 28738 129678 | 1 262695 23 | 0.000 % | 388.60/388.67 c | 4061253 | 231 28738 129678 | 1 263877 23 | 0.000 % | 388.60/388.67 c | 4061353 | 231 28738 129678 | 1 263977 23 | 0.000 % | 388.60/388.67 c | 4062449 | 231 28738 129678 | 1 265073 23 | 0.000 % | 388.60/388.67 c | 4067026 | 231 28738 129678 | 1 269650 23 | 0.000 % | 388.60/388.67 c | 4070875 | 231 28738 129678 | 1 273499 23 | 0.000 % | 388.60/388.67 c | 4071604 | 231 28738 129678 | 1 274228 23 | 0.000 % | 388.60/388.67 c | 4071706 | 231 28738 129678 | 1 274330 23 | 0.000 % | 388.60/388.67 c | 4071808 | 231 28738 129678 | 1 274432 23 | 0.000 % | 388.60/388.67 c | 4139044 | 231 28738 129678 | 1 199862 21 | 0.000 % | 388.60/388.67 c | 4139144 | 231 28738 129678 | 1 199962 21 | 0.000 % | 388.60/388.67 c | 4159682 | 231 28738 129678 | 1 220500 22 | 0.000 % | 388.60/388.67 c | 4161902 | 231 28738 129678 | 1 222720 22 | 0.000 % | 388.60/388.67 c | 4162735 | 231 28738 129678 | 1 223553 22 | 0.000 % | 388.60/388.67 c | 4164076 | 231 28738 129678 | 1 224894 22 | 0.000 % | 388.60/388.67 c | 4249459 | 231 28738 129678 | 1 165874 20 | 0.000 % | 388.60/388.67 c | 4249561 | 231 28738 129678 | 1 165976 20 | 0.000 % | 388.60/388.67 c | 4250407 | 231 28738 129678 | 1 166822 20 | 0.000 % | 388.60/388.67 c | 4250509 | 231 28738 129678 | 1 166924 20 | 0.000 % | 388.60/388.67 c | 4254884 | 231 28738 129678 | 1 171299 21 | 0.000 % | 388.60/388.67 c | 4255270 | 231 28738 129678 | 1 171685 21 | 0.000 % | 388.60/388.67 c | 4273843 | 231 28738 129678 | 1 190258 21 | 0.000 % | 388.60/388.67 c | 4275304 | 231 28738 129678 | 1 191719 21 | 0.000 % | 388.60/388.67 c | 4277398 | 231 28738 129678 | 1 193813 21 | 0.000 % | 388.60/388.67 c | 4286435 | 231 28738 129678 | 1 202850 22 | 0.000 % | 388.60/388.67 c | 4286537 | 231 28738 129678 | 1 202952 22 | 0.000 % | 388.60/388.67 c | 4287038 | 231 28738 129678 | 1 203453 22 | 0.000 % | 434.69/434.76 c | 4289854 | 231 28738 129678 | 1 206269 22 | 0.000 % | 434.69/434.76 c | 4340418 | 231 28738 129678 | 1 256833 22 | 0.000 % | 434.69/434.76 c | 4340564 | 231 28738 129678 | 1 256979 22 | 0.000 % | 434.69/434.76 c | 4342392 | 231 28738 129678 | 1 258807 22 | 0.000 % | 434.69/434.76 c | 4361702 | 231 28738 129678 | 1 278117 23 | 0.000 % | 434.69/434.76 c | 4361802 | 231 28738 129678 | 1 278217 23 | 0.000 % | 434.69/434.76 c | 4361903 | 231 28738 129678 | 1 278318 23 | 0.000 % | 434.69/434.76 c | 4365808 | 231 28738 129678 | 1 282223 23 | 0.000 % | 434.69/434.76 c | 4435177 | 231 28738 129678 | 1 204591 21 | 0.000 % | 434.69/434.76 c | 4435277 | 231 28738 129678 | 1 204691 21 | 0.000 % | 434.69/434.76 c | 4439571 | 231 28738 129678 | 1 208985 22 | 0.000 % | 434.69/434.76 c | 4439673 | 231 28738 129678 | 1 209087 22 | 0.000 % | 434.69/434.76 c | 4439774 | 231 28738 129678 | 1 209188 22 | 0.000 % | 434.69/434.76 c | 4440851 | 231 28738 129678 | 1 210265 22 | 0.000 % | 434.69/434.76 c | 4467213 | 231 28738 129678 | 1 236627 22 | 0.000 % | 434.69/434.76 c | 4467313 | 231 28738 129678 | 1 236727 22 | 0.000 % | 434.69/434.76 c | 4467413 | 231 28738 129678 | 1 236827 22 | 0.000 % | 434.69/434.76 c | 4467806 | 231 28738 129678 | 1 237220 22 | 0.000 % | 434.69/434.76 c | 4468009 | 231 28738 129678 | 1 237423 22 | 0.000 % | 434.69/434.76 c | 4496422 | 231 28738 129678 | 1 265836 22 | 0.000 % | 434.69/434.76 c | 4616151 | 231 28738 129678 | 1 235964 21 | 0.000 % | 434.69/434.76 c | 4616251 | 231 28738 129678 | 1 236064 21 | 0.000 % | 434.69/434.76 c | 4617159 | 231 28738 129678 | 1 236972 21 | 0.000 % | 434.69/434.76 c | 4617259 | 231 28738 129678 | 1 237072 21 | 0.000 % | 434.69/434.76 c | 4617936 | 231 28738 129678 | 1 237749 21 | 0.000 % | 434.69/434.76 c | 4625858 | 231 28738 129678 | 1 245671 21 | 0.000 % | 434.69/434.76 c | 4625962 | 231 28738 129678 | 1 245775 21 | 0.000 % | 434.69/434.76 c | 4626860 | 231 28738 129678 | 1 246673 21 | 0.000 % | 434.69/434.76 c | 4631686 | 231 28738 129678 | 1 251499 22 | 0.000 % | 434.69/434.76 c | 4632818 | 231 28738 129678 | 1 252631 22 | 0.000 % | 434.69/434.76 c | 4633002 | 231 28738 129678 | 1 252815 22 | 0.000 % | 434.69/434.76 c | 4633105 | 231 28738 129678 | 1 252918 22 | 0.000 % | 434.69/434.76 c | 4633261 | 231 28738 129678 | 1 253074 22 | 0.000 % | 434.69/434.76 c | 4633362 | 231 28738 129678 | 1 253175 22 | 0.000 % | 434.69/434.76 c | 4635430 | 231 28738 129678 | 1 255243 22 | 0.000 % | 434.69/434.76 c | 4636631 | 231 28738 129678 | 1 256444 22 | 0.000 % | 434.69/434.76 c | 4648567 | 231 28738 129678 | 1 268380 22 | 0.000 % | 434.69/434.76 c | 4648932 | 231 28738 129678 | 1 268745 22 | 0.000 % | 434.69/434.76 c | 4662508 | 231 28738 129678 | 1 282321 22 | 0.000 % | 434.69/434.76 c | 4662863 | 231 28738 129678 | 1 282676 22 | 0.000 % | 434.69/434.76 c | 4663663 | 231 28738 129678 | 1 283476 22 | 0.000 % | 434.69/434.76 c | 4666280 | 231 28738 129678 | 1 286093 22 | 0.000 % | 434.69/434.76 c | 4669523 | 231 28738 129678 | 1 289336 22 | 0.000 % | 434.69/434.76 c | 4670193 | 231 28738 129678 | 1 290006 22 | 0.000 % | 434.69/434.76 c | 4670293 | 231 28738 129678 | 1 290106 22 | 0.000 % | 434.69/434.76 c | 4685561 | 231 28738 129678 | 1 153177 20 | 0.000 % | 434.69/434.76 c | 4686507 | 231 28738 129678 | 1 154123 20 | 0.000 % | 434.69/434.76 c | 4688543 | 231 28738 129678 | 1 156159 20 | 0.000 % | 434.69/434.76 c | 4689699 | 231 28738 129678 | 1 157315 20 | 0.000 % | 465.60/465.68 c | 4696339 | 231 28738 129678 | 1 163955 20 | 0.000 % | 465.60/465.68 c | 4701968 | 231 28738 129678 | 1 169584 20 | 0.000 % | 465.60/465.68 c | 4720988 | 231 28738 129678 | 1 188604 21 | 0.000 % | 465.60/465.68 c | 4723295 | 231 28738 129678 | 1 190911 21 | 0.000 % | 465.60/465.68 c | 4743572 | 231 28738 129678 | 1 211188 21 | 0.000 % | 465.60/465.68 c | 4743674 | 231 28738 129678 | 1 211290 21 | 0.000 % | 465.60/465.68 c | 4746414 | 231 28738 129678 | 1 214030 21 | 0.000 % | 465.60/465.68 c | 4751003 | 231 28738 129678 | 1 218619 21 | 0.000 % | 465.60/465.68 c | 4751204 | 231 28738 129678 | 1 218820 21 | 0.000 % | 465.60/465.68 c | 4751304 | 231 28738 129678 | 1 218920 21 | 0.000 % | 465.60/465.68 c | 4775441 | 231 28738 129678 | 1 243057 22 | 0.000 % | 465.60/465.68 c | 4775541 | 231 28738 129678 | 1 243157 22 | 0.000 % | 465.60/465.68 c | 4779812 | 231 28738 129678 | 1 247428 22 | 0.000 % | 465.60/465.68 c | 4779912 | 231 28738 129678 | 1 247528 22 | 0.000 % | 465.60/465.68 c | 4781044 | 231 28738 129678 | 1 248660 22 | 0.000 % | 465.60/465.68 c | 4783946 | 231 28738 129678 | 1 251562 22 | 0.000 % | 465.60/465.68 c | 4784047 | 231 28738 129678 | 1 251663 22 | 0.000 % | 465.60/465.68 c | 4787692 | 231 28738 129678 | 1 255308 22 | 0.000 % | 465.60/465.68 c | 4787844 | 231 28738 129678 | 1 255460 22 | 0.000 % | 465.60/465.68 c | 4788495 | 231 28738 129678 | 1 256111 22 | 0.000 % | 465.60/465.68 c | 4789935 | 231 28738 129678 | 1 257551 22 | 0.000 % | 465.60/465.68 c | 4799067 | 231 28738 129678 | 1 266683 22 | 0.000 % | 465.60/465.68 c | 4807005 | 231 28738 129678 | 1 274621 22 | 0.000 % | 465.60/465.68 c | 4812974 | 231 28738 129678 | 1 280590 22 | 0.000 % | 465.60/465.68 c | 4813075 | 231 28738 129678 | 1 280691 22 | 0.000 % | 465.60/465.68 c | 4814218 | 231 28738 129678 | 1 281834 22 | 0.000 % | 465.60/465.68 c | 4814321 | 231 28738 129678 | 1 281937 22 | 0.000 % | 465.60/465.68 c | 4815728 | 231 28738 129678 | 1 283344 22 | 0.000 % | 465.60/465.68 c | 4822033 | 231 28738 129678 | 1 289649 22 | 0.000 % | 465.60/465.68 c | 4822711 | 231 28738 129678 | 1 290327 22 | 0.000 % | 465.60/465.68 c | 4823232 | 231 28738 129678 | 1 290848 23 | 0.000 % | 465.60/465.68 c | 4827235 | 231 28738 129678 | 1 294851 23 | 0.000 % | 465.60/465.68 c | 4828038 | 231 28738 129678 | 1 295654 23 | 0.000 % | 465.60/465.68 c | 4832239 | 231 28738 129678 | 1 299855 23 | 0.000 % | 465.60/465.68 c | 4833711 | 231 28738 129678 | 1 301327 23 | 0.000 % | 465.60/465.68 c | 4833928 | 231 28738 129678 | 1 301544 23 | 0.000 % | 465.60/465.68 c | 4869719 | 231 28738 129678 | 1 182536 21 | 0.000 % | 465.60/465.68 c | 4873585 | 231 28738 129678 | 1 186402 21 | 0.000 % | 465.60/465.68 c | 4877118 | 231 28738 129678 | 1 189935 21 | 0.000 % | 465.60/465.68 c | 4884379 | 231 28738 129678 | 1 197196 21 | 0.000 % | 465.60/465.68 c | 4885126 | 231 28738 129678 | 1 197943 21 | 0.000 % | 465.60/465.68 c | 4893320 | 231 28738 129678 | 1 206137 21 | 0.000 % | 465.60/465.68 c | 4935168 | 231 28738 129678 | 1 247985 22 | 0.000 % | 465.60/465.68 c | 4937872 | 231 28738 129678 | 1 250689 22 | 0.000 % | 465.60/465.68 c | 4938450 | 231 28738 129678 | 1 251267 22 | 0.000 % | 465.60/465.68 c | 4950507 | 231 28738 129678 | 1 263324 22 | 0.000 % | 465.60/465.68 c | 4950610 | 231 28738 129678 | 1 263427 22 | 0.000 % | 465.60/465.68 c | 4951510 | 231 28738 129678 | 1 264327 22 | 0.000 % | 465.60/465.68 c | 4952198 | 231 28738 129678 | 1 265015 22 | 0.000 % | 465.60/465.68 c | 4958930 | 231 28738 129678 | 1 271747 22 | 0.000 % | 506.80/506.87 c | 4966400 | 231 28738 129678 | 1 279217 22 | 0.000 % | 506.80/506.87 c | 4970187 | 231 28738 129678 | 1 283004 22 | 0.000 % | 506.80/506.87 c | 4970808 | 231 28738 129678 | 1 283625 22 | 0.000 % | 506.80/506.87 c | 4982907 | 231 28738 129678 | 1 295724 22 | 0.000 % | 506.80/506.87 c | 4983008 | 231 28738 129678 | 1 295825 22 | 0.000 % | 506.80/506.87 c | 4983492 | 231 28738 129678 | 1 296309 22 | 0.000 % | 506.80/506.87 c | 4983704 | 231 28738 129678 | 1 296521 22 | 0.000 % | 506.80/506.87 c | 4983804 | 231 28738 129678 | 1 296621 22 | 0.000 % | 506.80/506.87 c | 4983906 | 231 28738 129678 | 1 296723 22 | 0.000 % | 506.80/506.87 c | 4986546 | 231 28738 129678 | 1 299363 23 | 0.000 % | 506.80/506.87 c | 5015104 | 231 28738 129678 | 1 170523 20 | 0.000 % | 506.80/506.87 c | 5015449 | 231 28738 129678 | 1 170868 20 | 0.000 % | 506.80/506.87 c | 5016685 | 231 28738 129678 | 1 172104 20 | 0.000 % | 506.80/506.87 c | 5020620 | 231 28738 129678 | 1 176039 20 | 0.000 % | 506.80/506.87 c | 5020720 | 231 28738 129678 | 1 176139 20 | 0.000 % | 506.80/506.87 c | 5033305 | 231 28738 129678 | 1 188724 21 | 0.000 % | 506.80/506.87 c | 5033406 | 231 28738 129678 | 1 188825 21 | 0.000 % | 506.80/506.87 c | 5041119 | 231 28738 129678 | 1 196538 21 | 0.000 % | 506.80/506.87 c | 5041219 | 231 28738 129678 | 1 196638 21 | 0.000 % | 506.80/506.87 c | 5041319 | 231 28738 129678 | 1 196738 21 | 0.000 % | 506.80/506.87 c | 5051926 | 231 28738 129678 | 1 207345 21 | 0.000 % | 506.80/506.87 c | 5055506 | 231 28738 129678 | 1 210925 21 | 0.000 % | 506.80/506.87 c | 5055609 | 231 28738 129678 | 1 211028 21 | 0.000 % | 506.80/506.87 c | 5058861 | 231 28738 129678 | 1 214280 21 | 0.000 % | 506.80/506.87 c | 5059243 | 231 28738 129678 | 1 214662 21 | 0.000 % | 506.80/506.87 c | 5061961 | 231 28738 129678 | 1 217380 21 | 0.000 % | 506.80/506.87 c | 5062062 | 231 28738 129678 | 1 217481 21 | 0.000 % | 506.80/506.87 c | 5069174 | 231 28738 129678 | 1 224593 22 | 0.000 % | 506.80/506.87 c | 5069344 | 231 28738 129678 | 1 224763 22 | 0.000 % | 506.80/506.87 c | 5070975 | 231 28738 129678 | 1 226394 22 | 0.000 % | 506.80/506.87 c | 5071078 | 231 28738 129678 | 1 226497 22 | 0.000 % | 506.80/506.87 c | 5098066 | 231 28738 129678 | 1 253485 22 | 0.000 % | 506.80/506.87 c | 5120796 | 231 28738 129678 | 1 276215 22 | 0.000 % | 506.80/506.87 c | 5131653 | 231 28738 129678 | 1 287072 22 | 0.000 % | 506.80/506.87 c | 5131753 | 231 28738 129678 | 1 287172 22 | 0.000 % | 506.80/506.87 c | 5135730 | 231 28738 129678 | 1 291149 22 | 0.000 % | 506.80/506.87 c | 5187239 | 231 28738 129678 | 1 182657 21 | 0.000 % | 506.80/506.87 c | 5187339 | 231 28738 129678 | 1 182757 21 | 0.000 % | 506.80/506.87 c | 5207581 | 231 28738 129678 | 1 202999 21 | 0.000 % | 506.80/506.87 c | 5250091 | 231 28738 129678 | 1 245509 22 | 0.000 % | 506.80/506.87 c | 5251419 | 231 28738 129678 | 1 246837 22 | 0.000 % | 506.80/506.87 c | 5256777 | 231 28738 129678 | 1 252195 22 | 0.000 % | 506.80/506.87 c | 5260079 | 231 28738 129678 | 1 255497 22 | 0.000 % | 506.80/506.87 c | 5278355 | 231 28738 129678 | 1 273773 22 | 0.000 % | 506.80/506.87 c | 5279585 | 231 28738 129678 | 1 275003 22 | 0.000 % | 506.80/506.87 c | 5283054 | 231 28738 129678 | 1 278472 22 | 0.000 % | 506.80/506.87 c | 5305207 | 231 28738 129678 | 1 300625 22 | 0.000 % | 506.80/506.87 c | 5305720 | 231 28738 129678 | 1 301138 22 | 0.000 % | 506.80/506.87 c | 5314466 | 231 28738 129678 | 1 309884 23 | 0.000 % | 506.80/506.87 c | 5320400 | 231 28738 129678 | 1 315818 23 | 0.000 % | 553.60/553.66 c | 5335332 | 231 28738 129678 | 1 168153 20 | 0.000 % | 553.60/553.66 c | 5340184 | 231 28738 129678 | 1 173005 20 | 0.000 % | 553.60/553.66 c | 5380704 | 231 28738 129678 | 1 213525 21 | 0.000 % | 553.60/553.66 c | 5389492 | 231 28738 129678 | 1 222313 22 | 0.000 % | 553.60/553.66 c | 5389594 | 231 28738 129678 | 1 222415 22 | 0.000 % | 553.60/553.66 c | 5389696 | 231 28738 129678 | 1 222517 22 | 0.000 % | 553.60/553.66 c | 5391185 | 231 28738 129678 | 1 224006 22 | 0.000 % | 553.60/553.66 c | 5391420 | 231 28738 129678 | 1 224241 22 | 0.000 % | 553.60/553.66 c | 5398565 | 231 28738 129678 | 1 231386 22 | 0.000 % | 553.60/553.66 c | 5398665 | 231 28738 129678 | 1 231486 22 | 0.000 % | 553.60/553.66 c | 5410303 | 231 28738 129678 | 1 243124 22 | 0.000 % | 553.60/553.66 c | 5419559 | 231 28738 129678 | 1 252380 22 | 0.000 % | 553.60/553.66 c | 5420000 | 231 28738 129678 | 1 252821 22 | 0.000 % | 553.60/553.66 c | 5439433 | 231 28738 129678 | 1 272254 23 | 0.000 % | 553.60/553.66 c | 5454356 | 231 28738 129678 | 1 287177 23 | 0.000 % | 553.60/553.66 c | 5469455 | 231 28738 129678 | 1 302276 23 | 0.000 % | 553.60/553.66 c | 5469974 | 231 28738 129678 | 1 302795 23 | 0.000 % | 553.60/553.66 c | 5474948 | 231 28738 129678 | 1 307769 23 | 0.000 % | 553.60/553.66 c | 5476822 | 231 28738 129678 | 1 309643 23 | 0.000 % | 553.60/553.66 c | 5477192 | 231 28738 129678 | 1 310013 23 | 0.000 % | 553.60/553.66 c | 5510724 | 231 28738 129678 | 1 178343 20 | 0.000 % | 553.60/553.66 c | 5513534 | 231 28738 129678 | 1 181153 20 | 0.000 % | 553.60/553.66 c | 5513744 | 231 28738 129678 | 1 181363 20 | 0.000 % | 553.60/553.66 c | 5516104 | 231 28738 129678 | 1 183723 20 | 0.000 % | 553.60/553.66 c | 5518179 | 231 28738 129678 | 1 185798 21 | 0.000 % | 553.60/553.66 c | 5519951 | 231 28738 129678 | 1 187570 21 | 0.000 % | 553.60/553.66 c | 5520255 | 231 28738 129678 | 1 187874 21 | 0.000 % | 553.60/553.66 c | 5522115 | 231 28738 129678 | 1 189734 21 | 0.000 % | 553.60/553.66 c | 5522215 | 231 28738 129678 | 1 189834 21 | 0.000 % | 553.60/553.66 c | 5523509 | 231 28738 129678 | 1 191128 21 | 0.000 % | 553.60/553.66 c | 5523801 | 231 28738 129678 | 1 191420 21 | 0.000 % | 553.60/553.66 c | 5524617 | 231 28738 129678 | 1 192236 21 | 0.000 % | 553.60/553.66 c | 5524780 | 231 28738 129678 | 1 192399 21 | 0.000 % | 553.60/553.66 c | 5525272 | 231 28738 129678 | 1 192891 21 | 0.000 % | 553.60/553.66 c | 5525956 | 231 28738 129678 | 1 193575 21 | 0.000 % | 553.60/553.66 c | 5594539 | 231 28738 129678 | 1 262158 22 | 0.000 % | 553.60/553.66 c | 5595546 | 231 28738 129678 | 1 263165 22 | 0.000 % | 553.60/553.66 c | 5679561 | 231 28738 129678 | 1 179385 20 | 0.000 % | 553.60/553.66 c | 5679739 | 231 28738 129678 | 1 179563 20 | 0.000 % | 553.60/553.66 c | 5690015 | 231 28738 129678 | 1 189839 20 | 0.000 % | 553.60/553.66 c | 5693240 | 231 28738 129678 | 1 193064 20 | 0.000 % | 553.60/553.66 c | 5708003 | 231 28738 129678 | 1 207827 21 | 0.000 % | 553.60/553.66 c | 5711540 | 231 28738 129678 | 1 211364 21 | 0.000 % | 553.60/553.66 c | 5712143 | 231 28738 129678 | 1 211967 21 | 0.000 % | 553.60/553.66 c | 5712244 | 231 28738 129678 | 1 212068 21 | 0.000 % | 553.60/553.66 c | 5717149 | 231 28738 129678 | 1 216973 21 | 0.000 % | 553.60/553.66 c | 5717252 | 231 28738 129678 | 1 217076 21 | 0.000 % | 553.60/553.66 c | 5717821 | 231 28738 129678 | 1 217645 21 | 0.000 % | 553.60/553.66 c | 5719443 | 231 28738 129678 | 1 219267 21 | 0.000 % | 553.60/553.66 c | 5720097 | 231 28738 129678 | 1 219921 21 | 0.000 % | 590.20/590.26 c | 5720199 | 231 28738 129678 | 1 220023 21 | 0.000 % | 590.20/590.26 c | 5720299 | 231 28738 129678 | 1 220123 21 | 0.000 % | 590.20/590.26 c | 5721272 | 231 28738 129678 | 1 221096 21 | 0.000 % | 590.20/590.26 c | 5721596 | 231 28738 129678 | 1 221420 21 | 0.000 % | 590.20/590.26 c | 5721696 | 231 28738 129678 | 1 221520 21 | 0.000 % | 590.20/590.26 c | 5722118 | 231 28738 129678 | 1 221942 21 | 0.000 % | 590.20/590.26 c | 5722312 | 231 28738 129678 | 1 222136 21 | 0.000 % | 590.20/590.26 c | 5722508 | 231 28738 129678 | 1 222332 21 | 0.000 % | 590.20/590.26 c | 5722968 | 231 28738 129678 | 1 222792 21 | 0.000 % | 590.20/590.26 c | 5724641 | 231 28738 129678 | 1 224465 21 | 0.000 % | 590.20/590.26 c | 5724844 | 231 28738 129678 | 1 224668 21 | 0.000 % | 590.20/590.26 c | 5734982 | 231 28738 129678 | 1 234806 22 | 0.000 % | 590.20/590.26 c | 5738747 | 231 28738 129678 | 1 238571 22 | 0.000 % | 590.20/590.26 c | 5766413 | 231 28738 129678 | 1 266237 22 | 0.000 % | 590.20/590.26 c | 5766553 | 231 28738 129678 | 1 266377 22 | 0.000 % | 590.20/590.26 c | 5771746 | 231 28738 129678 | 1 271570 22 | 0.000 % | 590.20/590.26 c | 5771962 | 231 28738 129678 | 1 271786 22 | 0.000 % | 590.20/590.26 c | 5772062 | 231 28738 129678 | 1 271886 22 | 0.000 % | 590.20/590.26 c | 5772163 | 231 28738 129678 | 1 271987 22 | 0.000 % | 590.20/590.26 c | 5772936 | 231 28738 129678 | 1 272760 22 | 0.000 % | 590.20/590.26 c | 5773036 | 231 28738 129678 | 1 272860 22 | 0.000 % | 590.20/590.26 c | 5773136 | 231 28738 129678 | 1 272960 22 | 0.000 % | 590.20/590.26 c | 5773236 | 231 28738 129678 | 1 273060 22 | 0.000 % | 590.20/590.26 c | 5787427 | 231 28738 129678 | 1 287251 23 | 0.000 % | 590.20/590.26 c | 5787527 | 231 28738 129678 | 1 287351 23 | 0.000 % | 590.20/590.26 c | 5788398 | 231 28738 129678 | 1 288222 23 | 0.000 % | 590.20/590.26 c | 5793513 | 231 28738 129678 | 1 293337 23 | 0.000 % | 590.20/590.26 c | 5797065 | 231 28738 129678 | 1 296889 23 | 0.000 % | 590.20/590.26 c | 5808015 | 231 28738 129678 | 1 307839 23 | 0.000 % | 590.20/590.26 c | 5823317 | 231 28738 129678 | 1 323141 23 | 0.000 % | 590.20/590.26 c | 5825570 | 231 28738 129678 | 1 325394 23 | 0.000 % | 590.20/590.26 c | 5825677 | 231 28738 129678 | 1 325501 23 | 0.000 % | 590.20/590.26 c | 5827478 | 231 28738 129678 | 1 327302 23 | 0.000 % | 590.20/590.26 c | 5828623 | 231 28738 129678 | 1 328447 23 | 0.000 % | 590.20/590.26 c | 5828956 | 231 28738 129678 | 1 328780 23 | 0.000 % | 590.20/590.26 c | 5880932 | 231 28738 129678 | 1 210353 21 | 0.000 % | 590.20/590.26 c | 5888512 | 231 28738 129678 | 1 217933 21 | 0.000 % | 590.20/590.26 c | 5893787 | 231 28738 129678 | 1 223208 21 | 0.000 % | 590.20/590.26 c | 5909038 | 231 28738 129678 | 1 238459 21 | 0.000 % | 590.20/590.26 c | 5910625 | 231 28738 129678 | 1 240046 21 | 0.000 % | 590.20/590.26 c | 5916718 | 231 28738 129678 | 1 246139 21 | 0.000 % | 590.20/590.26 c | 5920602 | 231 28738 129678 | 1 250023 22 | 0.000 % | 590.20/590.26 c | 5924397 | 231 28738 129678 | 1 253818 22 | 0.000 % | 590.20/590.26 c | 5925930 | 231 28738 129678 | 1 255351 22 | 0.000 % | 590.20/590.26 c | 5926222 | 231 28738 129678 | 1 255643 22 | 0.000 % | 590.20/590.26 c | 5926407 | 231 28738 129678 | 1 255828 22 | 0.000 % | 590.20/590.26 c | 5975988 | 231 28738 129678 | 1 305409 22 | 0.000 % | 590.20/590.26 c | 6014211 | 231 28738 129678 | 1 343632 23 | 0.000 % | 590.20/590.26 c | 6015887 | 231 28738 129678 | 1 345308 23 | 0.000 % | 590.20/590.26 c | 6020912 | 231 28738 129678 | 1 177334 20 | 0.000 % | 626.70/626.76 c | 6021482 | 231 28738 129678 | 1 177904 20 | 0.000 % | 626.70/626.76 c | 6021599 | 231 28738 129678 | 1 178021 20 | 0.000 % | 626.70/626.76 c | 6021702 | 231 28738 129678 | 1 178124 20 | 0.000 % | 626.70/626.76 c | 6022597 | 231 28738 129678 | 1 179019 20 | 0.000 % | 626.70/626.76 c | 6022698 | 231 28738 129678 | 1 179120 20 | 0.000 % | 626.70/626.76 c | 6034900 | 231 28738 129678 | 1 191322 20 | 0.000 % | 626.70/626.76 c | 6035799 | 231 28738 129678 | 1 192221 20 | 0.000 % | 626.70/626.76 c | 6036742 | 231 28738 129678 | 1 193164 20 | 0.000 % | 626.70/626.76 c | 6036842 | 231 28738 129678 | 1 193264 20 | 0.000 % | 626.70/626.76 c | 6042613 | 231 28738 129678 | 1 199035 21 | 0.000 % | 626.70/626.76 c | 6045014 | 231 28738 129678 | 1 201436 21 | 0.000 % | 626.70/626.76 c | 6045115 | 231 28738 129678 | 1 201537 21 | 0.000 % | 626.70/626.76 c | 6045269 | 231 28738 129678 | 1 201691 21 | 0.000 % | 626.70/626.76 c | 6102292 | 231 28738 129678 | 1 258714 22 | 0.000 % | 626.70/626.76 c | 6107993 | 231 28738 129678 | 1 264415 22 | 0.000 % | 626.70/626.76 c | 6111212 | 231 28738 129678 | 1 267634 22 | 0.000 % | 626.70/626.76 c | 6111312 | 231 28738 129678 | 1 267734 22 | 0.000 % | 626.70/626.76 c | 6111412 | 231 28738 129678 | 1 267834 22 | 0.000 % | 626.70/626.76 c | 6111512 | 231 28738 129678 | 1 267934 22 | 0.000 % | 626.70/626.76 c | 6113311 | 231 28738 129678 | 1 269733 22 | 0.000 % | 626.70/626.76 c | 6119137 | 231 28738 129678 | 1 275559 22 | 0.000 % | 626.70/626.76 c | 6125089 | 231 28738 129678 | 1 281511 22 | 0.000 % | 626.70/626.76 c | 6125430 | 231 28738 129678 | 1 281852 22 | 0.000 % | 626.70/626.76 c | 6128637 | 231 28738 129678 | 1 285059 22 | 0.000 % | 626.70/626.76 c | 6128737 | 231 28738 129678 | 1 285159 22 | 0.000 % | 626.70/626.76 c | 6134648 | 231 28738 129678 | 1 291070 22 | 0.000 % | 626.70/626.76 c | 6134918 | 231 28738 129678 | 1 291340 22 | 0.000 % | 626.70/626.76 c | 6149942 | 231 28738 129678 | 1 306364 22 | 0.000 % | 626.70/626.76 c | 6150042 | 231 28738 129678 | 1 306464 22 | 0.000 % | 626.70/626.76 c | 6150142 | 231 28738 129678 | 1 306564 22 | 0.000 % | 626.70/626.76 c | 6150275 | 231 28738 129678 | 1 306697 22 | 0.000 % | 626.70/626.76 c | 6151087 | 231 28738 129678 | 1 307509 22 | 0.000 % | 626.70/626.76 c | 6154108 | 231 28738 129678 | 1 310530 22 | 0.000 % | 626.70/626.76 c | 6161331 | 231 28738 129678 | 1 317753 22 | 0.000 % | 626.70/626.76 c | 6161431 | 231 28738 129678 | 1 317853 22 | 0.000 % | 626.70/626.76 c | 6161535 | 231 28738 129678 | 1 317957 22 | 0.000 % | 626.70/626.76 c | 6217193 | 231 28738 129678 | 1 198011 20 | 0.000 % | 626.70/626.76 c | 6266921 | 231 28738 129678 | 1 247739 21 | 0.000 % | 626.70/626.76 c | 6292850 | 231 28738 129678 | 1 273668 22 | 0.000 % | 626.70/626.76 c | 6296072 | 231 28738 129678 | 1 276890 22 | 0.000 % | 626.70/626.76 c | 6296387 | 231 28738 129678 | 1 277205 22 | 0.000 % | 626.70/626.76 c | 6309238 | 231 28738 129678 | 1 290056 22 | 0.000 % | 626.70/626.76 c | 6331713 | 231 28738 129678 | 1 312531 22 | 0.000 % | 626.70/626.76 c | 6331906 | 231 28738 129678 | 1 312724 22 | 0.000 % | 626.70/626.76 c | 6332021 | 231 28738 129678 | 1 312839 22 | 0.000 % | 626.70/626.76 c | 6336099 | 231 28738 129678 | 1 316917 22 | 0.000 % | 626.70/626.76 c | 6336881 | 231 28738 129678 | 1 317699 22 | 0.000 % | 626.70/626.76 c | 6337254 | 231 28738 129678 | 1 318072 22 | 0.000 % | 626.70/626.76 c | 6337388 | 231 28738 129678 | 1 318206 22 | 0.000 % | 626.70/626.76 c | 6337680 | 231 28738 129678 | 1 318498 22 | 0.000 % | 664.42/664.49 c | 6341926 | 231 28738 129678 | 1 322744 22 | 0.000 % | 664.42/664.49 c | 6343698 | 231 28738 129678 | 1 324516 22 | 0.000 % | 664.42/664.49 c | 6344522 | 231 28738 129678 | 1 325340 22 | 0.000 % | 664.42/664.49 c | 6347168 | 231 28738 129678 | 1 327986 22 | 0.000 % | 664.42/664.49 c | 6348177 | 231 28738 129678 | 1 328995 22 | 0.000 % | 664.42/664.49 c | 6348279 | 231 28738 129678 | 1 329097 22 | 0.000 % | 664.42/664.49 c | 6349623 | 231 28738 129678 | 1 330441 22 | 0.000 % | 664.42/664.49 c | 6349726 | 231 28738 129678 | 1 330544 22 | 0.000 % | 664.42/664.49 c | 6349882 | 231 28738 129678 | 1 330700 22 | 0.000 % | 664.42/664.49 c | 6360322 | 231 28738 129678 | 1 341140 23 | 0.000 % | 664.42/664.49 c | 6360423 | 231 28738 129678 | 1 341241 23 | 0.000 % | 664.42/664.49 c | 6360532 | 231 28738 129678 | 1 341350 23 | 0.000 % | 664.42/664.49 c | 6361162 | 231 28738 129678 | 1 341980 23 | 0.000 % | 664.42/664.49 c | 6363753 | 231 28738 129678 | 1 344571 23 | 0.000 % | 664.42/664.49 c | 6363854 | 231 28738 129678 | 1 344672 23 | 0.000 % | 664.42/664.49 c | 6365278 | 231 28738 129678 | 1 346096 23 | 0.000 % | 664.42/664.49 c | 6365379 | 231 28738 129678 | 1 346197 23 | 0.000 % | 664.42/664.49 c | 6367614 | 231 28738 129678 | 1 348432 23 | 0.000 % | 664.42/664.49 c | 6388220 | 231 28738 129678 | 1 190833 20 | 0.000 % | 664.42/664.49 c | 6388391 | 231 28738 129678 | 1 191004 20 | 0.000 % | 664.42/664.49 c | 6388491 | 231 28738 129678 | 1 191104 20 | 0.000 % | 664.42/664.49 c | 6389281 | 231 28738 129678 | 1 191894 20 | 0.000 % | 664.42/664.49 c | 6389518 | 231 28738 129678 | 1 192131 20 | 0.000 % | 664.42/664.49 c | 6389620 | 231 28738 129678 | 1 192233 20 | 0.000 % | 664.42/664.49 c | 6389755 | 231 28738 129678 | 1 192368 20 | 0.000 % | 664.42/664.49 c | 6453510 | 231 28738 129678 | 1 256123 22 | 0.000 % | 664.42/664.49 c | 6453610 | 231 28738 129678 | 1 256223 22 | 0.000 % | 664.42/664.49 c | 6474491 | 231 28738 129678 | 1 277104 22 | 0.000 % | 664.42/664.49 c | 6474593 | 231 28738 129678 | 1 277206 22 | 0.000 % | 664.42/664.49 c | 6474694 | 231 28738 129678 | 1 277307 22 | 0.000 % | 664.42/664.49 c | 6485580 | 231 28738 129678 | 1 288193 22 | 0.000 % | 664.42/664.49 c | 6485916 | 231 28738 129678 | 1 288529 22 | 0.000 % | 664.42/664.49 c | 6486017 | 231 28738 129678 | 1 288630 22 | 0.000 % | 664.42/664.49 c | 6486359 | 231 28738 129678 | 1 288972 22 | 0.000 % | 664.42/664.49 c | 6486853 | 231 28738 129678 | 1 289466 22 | 0.000 % | 664.42/664.49 c | 6492493 | 231 28738 129678 | 1 295106 22 | 0.000 % | 664.42/664.49 c | 6496386 | 231 28738 129678 | 1 298999 22 | 0.000 % | 664.42/664.49 c | 6498761 | 231 28738 129678 | 1 301374 22 | 0.000 % | 664.42/664.49 c | 6519096 | 231 28738 129678 | 1 321709 22 | 0.000 % | 664.42/664.49 c | 6527413 | 231 28738 129678 | 1 330026 22 | 0.000 % | 664.42/664.49 c | 6615981 | 231 28738 129678 | 1 237792 21 | 0.000 % | 664.42/664.49 c | 6636520 | 231 28738 129678 | 1 258331 21 | 0.000 % | 664.42/664.49 c | 6636620 | 231 28738 129678 | 1 258431 21 | 0.000 % | 664.42/664.49 c | 6636728 | 231 28738 129678 | 1 258539 21 | 0.000 % | 664.42/664.49 c | 6636828 | 231 28738 129678 | 1 258639 21 | 0.000 % | 664.42/664.49 c | 6637177 | 231 28738 129678 | 1 258988 21 | 0.000 % | 664.42/664.49 c | 6637278 | 231 28738 129678 | 1 259089 21 | 0.000 % | 664.42/664.49 c | 6649609 | 231 28738 129678 | 1 271420 21 | 0.000 % | 664.42/664.49 c | 6649709 | 231 28738 129678 | 1 271520 21 | 0.000 % | 664.42/664.49 c | 6649813 | 231 28738 129678 | 1 271624 21 | 0.000 % | 695.41/695.47 c | 6650478 | 231 28738 129678 | 1 272289 21 | 0.000 % | 695.41/695.47 c | 6661446 | 231 28738 129678 | 1 283257 21 | 0.000 % | 695.41/695.47 c | 6669015 | 231 28738 129678 | 1 290826 22 | 0.000 % | 695.41/695.47 c | 6717732 | 231 28738 129678 | 1 339543 22 | 0.000 % | 695.41/695.47 c | 6718192 | 231 28738 129678 | 1 340003 22 | 0.000 % | 695.41/695.47 c | 6724956 | 231 28738 129678 | 1 346767 22 | 0.000 % | 695.41/695.47 c | 6733920 | 231 28738 129678 | 1 355731 22 | 0.000 % | 695.41/695.47 c | 6741104 | 231 28738 129678 | 1 362915 22 | 0.000 % | 695.41/695.47 c | 6783138 | 231 28738 129678 | 1 221556 20 | 0.000 % | 695.41/695.47 c | 6786585 | 231 28738 129678 | 1 225003 21 | 0.000 % | 695.41/695.47 c | 6789130 | 231 28738 129678 | 1 227548 21 | 0.000 % | 695.41/695.47 c | 6789649 | 231 28738 129678 | 1 228067 21 | 0.000 % | 695.41/695.47 c | 6789751 | 231 28738 129678 | 1 228169 21 | 0.000 % | 695.41/695.47 c | 6789851 | 231 28738 129678 | 1 228269 21 | 0.000 % | 695.41/695.47 c | 6793911 | 231 28738 129678 | 1 232329 21 | 0.000 % | 695.41/695.47 c | 6796842 | 231 28738 129678 | 1 235260 21 | 0.000 % | 695.41/695.47 c | 6796943 | 231 28738 129678 | 1 235361 21 | 0.000 % | 695.41/695.47 c | 6797043 | 231 28738 129678 | 1 235461 21 | 0.000 % | 695.41/695.47 c | 6797143 | 231 28738 129678 | 1 235561 21 | 0.000 % | 695.41/695.47 c | 6797329 | 231 28738 129678 | 1 235747 21 | 0.000 % | 695.41/695.47 c | 6797429 | 231 28738 129678 | 1 235847 21 | 0.000 % | 695.41/695.47 c | 6797548 | 231 28738 129678 | 1 235966 21 | 0.000 % | 695.41/695.47 c | 6798814 | 231 28738 129678 | 1 237232 21 | 0.000 % | 695.41/695.47 c | 6799332 | 231 28738 129678 | 1 237750 21 | 0.000 % | 695.41/695.47 c | 6814854 | 231 28738 129678 | 1 253272 21 | 0.000 % | 695.41/695.47 c | 6814957 | 231 28738 129678 | 1 253375 21 | 0.000 % | 695.41/695.47 c | 6818707 | 231 28738 129678 | 1 257125 21 | 0.000 % | 695.41/695.47 c | 6819477 | 231 28738 129678 | 1 257895 21 | 0.000 % | 695.41/695.47 c | 6825464 | 231 28738 129678 | 1 263882 21 | 0.000 % | 695.41/695.47 c | 6825615 | 231 28738 129678 | 1 264033 21 | 0.000 % | 695.41/695.47 c | 6825716 | 231 28738 129678 | 1 264134 22 | 0.000 % | 695.41/695.47 c | 6825816 | 231 28738 129678 | 1 264234 22 | 0.000 % | 695.41/695.47 c | 6833361 | 231 28738 129678 | 1 271779 22 | 0.000 % | 695.41/695.47 c | 6834326 | 231 28738 129678 | 1 272744 22 | 0.000 % | 695.41/695.47 c | 6834427 | 231 28738 129678 | 1 272845 22 | 0.000 % | 695.41/695.47 c | 6834529 | 231 28738 129678 | 1 272947 22 | 0.000 % | 695.41/695.47 c | 6836449 | 231 28738 129678 | 1 274867 22 | 0.000 % | 695.41/695.47 c | 6840733 | 231 28738 129678 | 1 279151 22 | 0.000 % | 695.41/695.47 c | 6844822 | 231 28738 129678 | 1 283240 22 | 0.000 % | 695.41/695.47 c | 6845229 | 231 28738 129678 | 1 283647 22 | 0.000 % | 695.41/695.47 c | 6857154 | 231 28738 129678 | 1 295572 22 | 0.000 % | 695.41/695.47 c | 6859739 | 231 28738 129678 | 1 298157 22 | 0.000 % | 695.41/695.47 c | 6859951 | 231 28738 129678 | 1 298369 22 | 0.000 % | 695.41/695.47 c | 6860052 | 231 28738 129678 | 1 298470 22 | 0.000 % | 695.41/695.47 c | 6860516 | 231 28738 129678 | 1 298934 22 | 0.000 % | 695.41/695.47 c | 6860616 | 231 28738 129678 | 1 299034 22 | 0.000 % | 695.41/695.47 c | 6861098 | 231 28738 129678 | 1 299516 22 | 0.000 % | 695.41/695.47 c | 6863509 | 231 28738 129678 | 1 301927 22 | 0.000 % | 695.41/695.47 c | 6866485 | 231 28738 129678 | 1 304903 22 | 0.000 % | 695.41/695.47 c | 6889598 | 231 28738 129678 | 1 328016 22 | 0.000 % | 777.82/777.87 c | 6938207 | 231 28738 129678 | 1 190628 20 | 0.000 % | 777.82/777.87 c | 6945515 | 231 28738 129678 | 1 197936 20 | 0.000 % | 777.82/777.87 c | 6946910 | 231 28738 129678 | 1 199331 20 | 0.000 % | 777.82/777.87 c | 6956238 | 231 28738 129678 | 1 208659 20 | 0.000 % | 777.82/777.87 c | 6956340 | 231 28738 129678 | 1 208761 20 | 0.000 % | 777.82/777.87 c | 6960303 | 231 28738 129678 | 1 212724 20 | 0.000 % | 777.82/777.87 c | 7000270 | 231 28738 129678 | 1 252691 21 | 0.000 % | 777.82/777.87 c | 7000370 | 231 28738 129678 | 1 252791 21 | 0.000 % | 777.82/777.87 c | 7016787 | 231 28738 129678 | 1 269208 21 | 0.000 % | 777.82/777.87 c | 7018444 | 231 28738 129678 | 1 270865 21 | 0.000 % | 777.82/777.87 c | 7052751 | 231 28738 129678 | 1 305172 22 | 0.000 % | 777.82/777.87 c | 7053432 | 231 28738 129678 | 1 305853 22 | 0.000 % | 777.82/777.87 c | 7054878 | 231 28738 129678 | 1 307299 22 | 0.000 % | 777.82/777.87 c | 7054978 | 231 28738 129678 | 1 307399 22 | 0.000 % | 777.82/777.87 c | 7058142 | 231 28738 129678 | 1 310563 22 | 0.000 % | 777.82/777.87 c | 7060665 | 231 28738 129678 | 1 313086 22 | 0.000 % | 777.82/777.87 c | 7064913 | 231 28738 129678 | 1 317334 22 | 0.000 % | 777.82/777.87 c | 7065831 | 231 28738 129678 | 1 318252 22 | 0.000 % | 777.82/777.87 c | 7066048 | 231 28738 129678 | 1 318469 22 | 0.000 % | 777.82/777.87 c | 7066150 | 231 28738 129678 | 1 318571 22 | 0.000 % | 777.82/777.87 c | 7068899 | 231 28738 129678 | 1 321320 22 | 0.000 % | 777.82/777.87 c | 7069135 | 231 28738 129678 | 1 321556 22 | 0.000 % | 777.82/777.87 c | 7090678 | 231 28738 129678 | 1 343099 22 | 0.000 % | 777.82/777.87 c | 7090780 | 231 28738 129678 | 1 343201 22 | 0.000 % | 777.82/777.87 c | 7115881 | 231 28738 129678 | 1 368302 22 | 0.000 % | 777.82/777.87 c | 7363148 | 231 28738 129678 | 1 235761 20 | 0.000 % | 777.82/777.87 c | 7381447 | 231 28738 129678 | 1 254060 20 | 0.000 % | 777.82/777.87 c | 7382327 | 231 28738 129678 | 1 254940 20 | 0.000 % | 777.82/777.87 c | 7392431 | 231 28738 129678 | 1 265044 20 | 0.000 % | 777.82/777.87 c | 7412612 | 231 28738 129678 | 1 285225 21 | 0.000 % | 777.82/777.87 c | 7412713 | 231 28738 129678 | 1 285326 21 | 0.000 % | 777.82/777.87 c | 7417797 | 231 28738 129678 | 1 290410 21 | 0.000 % | 777.82/777.87 c | 7417899 | 231 28738 129678 | 1 290512 21 | 0.000 % | 777.82/777.87 c | 7420051 | 231 28738 129678 | 1 292664 21 | 0.000 % | 777.82/777.87 c | 7421350 | 231 28738 129678 | 1 293963 21 | 0.000 % | 777.82/777.87 c | 7442220 | 231 28738 129678 | 1 314833 21 | 0.000 % | 777.82/777.87 c | 7446914 | 231 28738 129678 | 1 319527 21 | 0.000 % | 777.82/777.87 c | 7447014 | 231 28738 129678 | 1 319627 21 | 0.000 % | 777.82/777.87 c | 7447311 | 231 28738 129678 | 1 319924 21 | 0.000 % | 777.82/777.87 c | 7467186 | 231 28738 129678 | 1 339799 21 | 0.000 % | 777.82/777.87 c | 7468455 | 231 28738 129678 | 1 341068 21 | 0.000 % | 777.82/777.87 c | 7468557 | 231 28738 129678 | 1 341170 21 | 0.000 % | 777.82/777.87 c | 7468836 | 231 28738 129678 | 1 341449 21 | 0.000 % | 777.82/777.87 c | 7511558 | 231 28738 129678 | 1 384171 22 | 0.000 % | 777.82/777.87 c | 7512625 | 231 28738 129678 | 1 385238 22 | 0.000 % | 777.82/777.87 c | 7513879 | 231 28738 129678 | 1 386492 22 | 0.000 % | 777.82/777.87 c | 7516571 | 231 28738 129678 | 1 195387 19 | 0.000 % | 777.82/777.87 c | 7516673 | 231 28738 129678 | 1 195489 19 | 0.000 % | 777.82/777.87 c | 7517677 | 231 28738 129678 | 1 196493 19 | 0.000 % | 777.82/777.87 c | 7522945 | 231 28738 129678 | 1 201761 20 | 0.000 % | 840.92/840.95 c | 7527196 | 231 28738 129678 | 1 206012 20 | 0.000 % | 840.92/840.95 c | 7527296 | 231 28738 129678 | 1 206112 20 | 0.000 % | 840.92/840.95 c | 7529182 | 231 28738 129678 | 1 207998 20 | 0.000 % | 840.92/840.95 c | 7529569 | 231 28738 129678 | 1 208385 20 | 0.000 % | 840.92/840.95 c | 7529680 | 231 28738 129678 | 1 208496 20 | 0.000 % | 840.92/840.95 c | 7529780 | 231 28738 129678 | 1 208596 20 | 0.000 % | 840.92/840.95 c | 7529882 | 231 28738 129678 | 1 208698 20 | 0.000 % | 840.92/840.95 c | 7532894 | 231 28738 129678 | 1 211710 20 | 0.000 % | 840.92/840.95 c | 7534587 | 231 28738 129678 | 1 213403 20 | 0.000 % | 840.92/840.95 c | 7534785 | 231 28738 129678 | 1 213601 20 | 0.000 % | 840.92/840.95 c | 7534885 | 231 28738 129678 | 1 213701 20 | 0.000 % | 840.92/840.95 c | 7539439 | 231 28738 129678 | 1 218255 20 | 0.000 % | 840.92/840.95 c | 7548023 | 231 28738 129678 | 1 226839 20 | 0.000 % | 840.92/840.95 c | 7558540 | 231 28738 129678 | 1 237356 21 | 0.000 % | 840.92/840.95 c | 7558640 | 231 28738 129678 | 1 237456 21 | 0.000 % | 840.92/840.95 c | 7563267 | 231 28738 129678 | 1 242083 21 | 0.000 % | 840.92/840.95 c | 7563369 | 231 28738 129678 | 1 242185 21 | 0.000 % | 840.92/840.95 c | 7564391 | 231 28738 129678 | 1 243207 21 | 0.000 % | 840.92/840.95 c | 7564492 | 231 28738 129678 | 1 243308 21 | 0.000 % | 840.92/840.95 c | 7564806 | 231 28738 129678 | 1 243622 21 | 0.000 % | 840.92/840.95 c | 7565210 | 231 28738 129678 | 1 244026 21 | 0.000 % | 840.92/840.95 c | 7565312 | 231 28738 129678 | 1 244128 21 | 0.000 % | 840.92/840.95 c | 7655126 | 231 28738 129678 | 1 333942 22 | 0.000 % | 840.92/840.95 c | 7656488 | 231 28738 129678 | 1 335304 22 | 0.000 % | 840.92/840.95 c | 7656785 | 231 28738 129678 | 1 335601 22 | 0.000 % | 840.92/840.95 c | 7656885 | 231 28738 129678 | 1 335701 22 | 0.000 % | 840.92/840.95 c | 7656987 | 231 28738 129678 | 1 335803 22 | 0.000 % | 840.92/840.95 c | 7657984 | 231 28738 129678 | 1 336800 22 | 0.000 % | 840.92/840.95 c | 7721635 | 231 28738 129678 | 1 204054 19 | 0.000 % | 840.92/840.95 c | 7856999 | 231 28738 129678 | 1 339418 21 | 0.000 % | 840.92/840.95 c | 7857989 | 231 28738 129678 | 1 340408 21 | 0.000 % | 840.92/840.95 c | 7858767 | 231 28738 129678 | 1 341186 21 | 0.000 % | 840.92/840.95 c | 7947255 | 231 28738 129678 | 1 230678 20 | 0.000 % | 840.92/840.95 c | 7950416 | 231 28738 129678 | 1 233839 20 | 0.000 % | 840.92/840.95 c | 7953130 | 231 28738 129678 | 1 236553 20 | 0.000 % | 840.92/840.95 c | 7953231 | 231 28738 129678 | 1 236654 20 | 0.000 % | 840.92/840.95 c | 7962933 | 231 28738 129678 | 1 246356 20 | 0.000 % | 840.92/840.95 c | 7976282 | 231 28738 129678 | 1 259705 21 | 0.000 % | 840.92/840.95 c | 7991848 | 231 28738 129678 | 1 275271 21 | 0.000 % | 840.92/840.95 c | 7993534 | 231 28738 129678 | 1 276957 21 | 0.000 % | 840.92/840.95 c | 7995254 | 231 28738 129678 | 1 278677 21 | 0.000 % | 840.92/840.95 c | 7997101 | 231 28738 129678 | 1 280524 21 | 0.000 % | 840.92/840.95 c | 7997202 | 231 28738 129678 | 1 280625 21 | 0.000 % | 840.92/840.95 c | 7999122 | 231 28738 129678 | 1 282545 21 | 0.000 % | 840.92/840.95 c | 7999223 | 231 28738 129678 | 1 282646 21 | 0.000 % | 840.92/840.95 c | 7999323 | 231 28738 129678 | 1 282746 21 | 0.000 % | 840.92/840.95 c | 7999423 | 231 28738 129678 | 1 282846 21 | 0.000 % | 840.92/840.95 c | 8012965 | 231 28738 129678 | 1 296388 22 | 0.000 % | 840.92/840.95 c | 8013065 | 231 28738 129678 | 1 296488 22 | 0.000 % | 840.92/840.95 c | 8013165 | 231 28738 129678 | 1 296588 22 | 0.000 % | 893.92/893.90 c | 8013755 | 231 28738 129678 | 1 297178 22 | 0.000 % | 893.92/893.90 c | 8015658 | 231 28738 129678 | 1 299081 22 | 0.000 % | 893.92/893.90 c | 8060954 | 231 28738 129678 | 1 344377 22 | 0.000 % | 893.92/893.90 c | 8062058 | 231 28738 129678 | 1 345481 22 | 0.000 % | 893.92/893.90 c | 8071405 | 231 28738 129678 | 1 354828 22 | 0.000 % | 893.92/893.90 c | 8080956 | 231 28738 129678 | 1 364379 22 | 0.000 % | 893.92/893.90 c | 8090416 | 231 28738 129678 | 1 373839 23 | 0.000 % | 893.92/893.90 c | 8118354 | 231 28738 129678 | 1 401777 23 | 0.000 % | 893.92/893.90 c | 8156065 | 231 28738 129678 | 1 237885 20 | 0.000 % | 893.92/893.90 c | 8159512 | 231 28738 129678 | 1 241332 20 | 0.000 % | 893.92/893.90 c | 8159843 | 231 28738 129678 | 1 241663 20 | 0.000 % | 893.92/893.90 c | 8159949 | 231 28738 129678 | 1 241769 20 | 0.000 % | 893.92/893.90 c | 8163767 | 231 28738 129678 | 1 245587 20 | 0.000 % | 893.92/893.90 c | 8193232 | 231 28738 129678 | 1 275052 21 | 0.000 % | 893.92/893.90 c | 8193622 | 231 28738 129678 | 1 275442 21 | 0.000 % | 893.92/893.90 c | 8193722 | 231 28738 129678 | 1 275542 21 | 0.000 % | 893.92/893.90 c | 8193822 | 231 28738 129678 | 1 275642 21 | 0.000 % | 893.92/893.90 c | 8193924 | 231 28738 129678 | 1 275744 21 | 0.000 % | 893.92/893.90 c | 8195099 | 231 28738 129678 | 1 276919 21 | 0.000 % | 893.92/893.90 c | 8198719 | 231 28738 129678 | 1 280539 21 | 0.000 % | 893.92/893.90 c | 8198999 | 231 28738 129678 | 1 280819 21 | 0.000 % | 893.92/893.90 c | 8214340 | 231 28738 129678 | 1 296160 21 | 0.000 % | 893.92/893.90 c | 8214821 | 231 28738 129678 | 1 296641 21 | 0.000 % | 893.92/893.90 c | 8215998 | 231 28738 129678 | 1 297818 21 | 0.000 % | 893.92/893.90 c | 8218980 | 231 28738 129678 | 1 300800 21 | 0.000 % | 893.92/893.90 c | 8261394 | 231 28738 129678 | 1 343214 22 | 0.000 % | 893.92/893.90 c | 8262727 | 231 28738 129678 | 1 344547 22 | 0.000 % | 893.92/893.90 c | 8262878 | 231 28738 129678 | 1 344698 22 | 0.000 % | 893.92/893.90 c | 8267212 | 231 28738 129678 | 1 349032 22 | 0.000 % | 893.92/893.90 c | 8271271 | 231 28738 129678 | 1 353091 22 | 0.000 % | 893.92/893.90 c | 8271783 | 231 28738 129678 | 1 353603 22 | 0.000 % | 893.92/893.90 c | 8273464 | 231 28738 129678 | 1 355284 22 | 0.000 % | 893.92/893.90 c | 8276612 | 231 28738 129678 | 1 358432 22 | 0.000 % | 893.92/893.90 c | 8284795 | 231 28738 129678 | 1 366615 22 | 0.000 % | 893.92/893.90 c | 8285105 | 231 28738 129678 | 1 366925 22 | 0.000 % | 893.92/893.90 c | 8353738 | 231 28738 129678 | 1 231357 20 | 0.000 % | 893.92/893.90 c | 8354813 | 231 28738 129678 | 1 232432 20 | 0.000 % | 893.92/893.90 c | 8364721 | 231 28738 129678 | 1 242340 20 | 0.000 % | 893.92/893.90 c | 8367763 | 231 28738 129678 | 1 245382 20 | 0.000 % | 893.92/893.90 c | 8401806 | 231 28738 129678 | 1 279425 21 | 0.000 % | 893.92/893.90 c | 8401908 | 231 28738 129678 | 1 279527 21 | 0.000 % | 893.92/893.90 c | 8405161 | 231 28738 129678 | 1 282780 21 | 0.000 % | 893.92/893.90 c | 8408358 | 231 28738 129678 | 1 285977 21 | 0.000 % | 893.92/893.90 c | 8408458 | 231 28738 129678 | 1 286077 21 | 0.000 % | 893.92/893.90 c | 8408558 | 231 28738 129678 | 1 286177 21 | 0.000 % | 893.92/893.90 c | 8414486 | 231 28738 129678 | 1 292105 21 | 0.000 % | 893.92/893.90 c | 8414586 | 231 28738 129678 | 1 292205 21 | 0.000 % | 893.92/893.90 c | 8414720 | 231 28738 129678 | 1 292339 21 | 0.000 % | 893.92/893.90 c | 8414822 | 231 28738 129678 | 1 292441 21 | 0.000 % | 893.92/893.90 c | 8414924 | 231 28738 129678 | 1 292543 21 | 0.000 % | 924.32/924.33 c | 8420418 | 231 28738 129678 | 1 298037 21 | 0.000 % | 924.32/924.33 c | 8426538 | 231 28738 129678 | 1 304157 21 | 0.000 % | 924.32/924.33 c | 8428024 | 231 28738 129678 | 1 305643 21 | 0.000 % | 924.32/924.33 c | 8428650 | 231 28738 129678 | 1 306269 21 | 0.000 % | 924.32/924.33 c | 8428751 | 231 28738 129678 | 1 306370 21 | 0.000 % | 924.32/924.33 c | 8428851 | 231 28738 129678 | 1 306470 21 | 0.000 % | 924.32/924.33 c | 8428951 | 231 28738 129678 | 1 306570 21 | 0.000 % | 924.32/924.33 c | 8429354 | 231 28738 129678 | 1 306973 21 | 0.000 % | 924.32/924.33 c | 8430194 | 231 28738 129678 | 1 307813 21 | 0.000 % | 924.32/924.33 c | 8430297 | 231 28738 129678 | 1 307916 21 | 0.000 % | 924.32/924.33 c | 8436281 | 231 28738 129678 | 1 313900 22 | 0.000 % | 924.32/924.33 c | 8436382 | 231 28738 129678 | 1 314001 22 | 0.000 % | 924.32/924.33 c | 8437881 | 231 28738 129678 | 1 315500 22 | 0.000 % | 924.32/924.33 c | 8441255 | 231 28738 129678 | 1 318874 22 | 0.000 % | 924.32/924.33 c | 8441600 | 231 28738 129678 | 1 319219 22 | 0.000 % | 924.32/924.33 c | 8445407 | 231 28738 129678 | 1 323026 22 | 0.000 % | 924.32/924.33 c | 8446118 | 231 28738 129678 | 1 323737 22 | 0.000 % | 924.32/924.33 c | 8446218 | 231 28738 129678 | 1 323837 22 | 0.000 % | 924.32/924.33 c | 8446416 | 231 28738 129678 | 1 324035 22 | 0.000 % | 924.32/924.33 c | 8446516 | 231 28738 129678 | 1 324135 22 | 0.000 % | 924.32/924.33 c | 8448479 | 231 28738 129678 | 1 326098 22 | 0.000 % | 924.32/924.33 c | 8456109 | 231 28738 129678 | 1 333728 22 | 0.000 % | 924.32/924.33 c | 8483354 | 231 28738 129678 | 1 360973 22 | 0.000 % | 924.32/924.33 c | 8495782 | 231 28738 129678 | 1 373401 22 | 0.000 % | 924.32/924.33 c | 8497617 | 231 28738 129678 | 1 375236 22 | 0.000 % | 924.32/924.33 c | 8498727 | 231 28738 129678 | 1 376346 22 | 0.000 % | 924.32/924.33 c | 8501682 | 231 28738 129678 | 1 379301 22 | 0.000 % | 924.32/924.33 c | 8519011 | 231 28738 129678 | 1 396630 22 | 0.000 % | 924.32/924.33 c | 8519622 | 231 28738 129678 | 1 397241 22 | 0.000 % | 924.32/924.33 c | 8531773 | 231 28738 129678 | 1 409392 23 | 0.000 % | 924.32/924.33 c | 8535547 | 231 28738 129678 | 1 413166 23 | 0.000 % | 924.32/924.33 c | 8541436 | 231 28738 129678 | 1 212250 20 | 0.000 % | 924.32/924.33 c | 8541536 | 231 28738 129678 | 1 212350 20 | 0.000 % | 924.32/924.33 c | 8560646 | 231 28738 129678 | 1 231460 20 | 0.000 % | 924.32/924.33 c | 8560825 | 231 28738 129678 | 1 231639 20 | 0.000 % | 924.32/924.33 c | 8579583 | 231 28738 129678 | 1 250397 20 | 0.000 % | 924.32/924.33 c | 8589228 | 231 28738 129678 | 1 260042 21 | 0.000 % | 924.32/924.33 c | 8589328 | 231 28738 129678 | 1 260142 21 | 0.000 % | 924.32/924.33 c | 8589487 | 231 28738 129678 | 1 260301 21 | 0.000 % | 924.32/924.33 c | 8598800 | 231 28738 129678 | 1 269614 21 | 0.000 % | 924.32/924.33 c | 8603189 | 231 28738 129678 | 1 274003 21 | 0.000 % | 924.32/924.33 c | 8609640 | 231 28738 129678 | 1 280454 21 | 0.000 % | 924.32/924.33 c | 8614559 | 231 28738 129678 | 1 285373 21 | 0.000 % | 924.32/924.33 c | 8614659 | 231 28738 129678 | 1 285473 21 | 0.000 % | 924.32/924.33 c | 8615713 | 231 28738 129678 | 1 286527 21 | 0.000 % | 924.32/924.33 c | 8615815 | 231 28738 129678 | 1 286629 21 | 0.000 % | 924.32/924.33 c | 8617015 | 231 28738 129678 | 1 287829 21 | 0.000 % | 924.32/924.33 c | 8631543 | 231 28738 129678 | 1 302357 21 | 0.000 % | 924.32/924.33 c | 8636574 | 231 28738 129678 | 1 307388 22 | 0.000 % | 924.32/924.33 c | 8636674 | 231 28738 129678 | 1 307488 22 | 0.000 % | 973.92/973.91 c | 8637063 | 231 28738 129678 | 1 307877 22 | 0.000 % | 973.92/973.91 c | 8655884 | 231 28738 129678 | 1 326698 22 | 0.000 % | 973.92/973.91 c | 8657568 | 231 28738 129678 | 1 328382 22 | 0.000 % | 973.92/973.91 c | 8659028 | 231 28738 129678 | 1 329842 22 | 0.000 % | 973.92/973.91 c | 8677874 | 231 28738 129678 | 1 348688 22 | 0.000 % | 973.92/973.91 c | 8755742 | 231 28738 129678 | 1 217162 20 | 0.000 % | 973.92/973.91 c | 8755952 | 231 28738 129678 | 1 217372 20 | 0.000 % | 973.92/973.91 c | 8762626 | 231 28738 129678 | 1 224046 20 | 0.000 % | 973.92/973.91 c | 8765805 | 231 28738 129678 | 1 227225 20 | 0.000 % | 973.92/973.91 c | 8771376 | 231 28738 129678 | 1 232796 20 | 0.000 % | 973.92/973.91 c | 8772963 | 231 28738 129678 | 1 234383 20 | 0.000 % | 973.92/973.91 c | 8773064 | 231 28738 129678 | 1 234484 20 | 0.000 % | 973.92/973.91 c | 8773676 | 231 28738 129678 | 1 235096 20 | 0.000 % | 973.92/973.91 c | 8773776 | 231 28738 129678 | 1 235196 20 | 0.000 % | 973.92/973.91 c | 8773876 | 231 28738 129678 | 1 235296 20 | 0.000 % | 973.92/973.91 c | 8773977 | 231 28738 129678 | 1 235397 20 | 0.000 % | 973.92/973.91 c | 8774201 | 231 28738 129678 | 1 235621 20 | 0.000 % | 973.92/973.91 c | 8781108 | 231 28738 129678 | 1 242528 20 | 0.000 % | 973.92/973.91 c | 8781735 | 231 28738 129678 | 1 243155 20 | 0.000 % | 973.92/973.91 c | 8781836 | 231 28738 129678 | 1 243256 20 | 0.000 % | 973.92/973.91 c | 8782157 | 231 28738 129678 | 1 243577 20 | 0.000 % | 973.92/973.91 c | 8788005 | 231 28738 129678 | 1 249425 20 | 0.000 % | 973.92/973.91 c | 8788106 | 231 28738 129678 | 1 249526 20 | 0.000 % | 973.92/973.91 c | 8809300 | 231 28738 129678 | 1 270720 21 | 0.000 % | 973.92/973.91 c | 8816380 | 231 28738 129678 | 1 277800 21 | 0.000 % | 973.92/973.91 c | 8819521 | 231 28738 129678 | 1 280941 21 | 0.000 % | 973.92/973.91 c | 8819623 | 231 28738 129678 | 1 281043 21 | 0.000 % | 973.92/973.91 c | 8829924 | 231 28738 129678 | 1 291344 21 | 0.000 % | 973.92/973.91 c | 8852581 | 231 28738 129678 | 1 314001 21 | 0.000 % | 973.92/973.91 c | 8893656 | 231 28738 129678 | 1 355076 22 | 0.000 % | 973.92/973.91 c | 8894428 | 231 28738 129678 | 1 355848 22 | 0.000 % | 973.92/973.91 c | 8894531 | 231 28738 129678 | 1 355951 22 | 0.000 % | 973.92/973.91 c | 8909423 | 231 28738 129678 | 1 370843 22 | 0.000 % | 973.92/973.91 c | 8909692 | 231 28738 129678 | 1 371112 22 | 0.000 % | 973.92/973.91 c | 8909936 | 231 28738 129678 | 1 371356 22 | 0.000 % | 973.92/973.91 c | 8910737 | 231 28738 129678 | 1 372157 22 | 0.000 % | 973.92/973.91 c | 8911043 | 231 28738 129678 | 1 372463 22 | 0.000 % | 973.92/973.91 c | 8915999 | 231 28738 129678 | 1 377419 22 | 0.000 % | 973.92/973.91 c | 8917557 | 231 28738 129678 | 1 378977 22 | 0.000 % | 973.92/973.91 c | 8917658 | 231 28738 129678 | 1 379078 22 | 0.000 % | 973.92/973.91 c | 8929398 | 231 28738 129678 | 1 390818 22 | 0.000 % | 973.92/973.91 c | 8933047 | 231 28738 129678 | 1 394467 22 | 0.000 % | 973.92/973.91 c | 8995191 | 231 28738 129678 | 1 244609 20 | 0.000 % | 973.92/973.91 c | 8998855 | 231 28738 129678 | 1 248273 20 | 0.006 % | 973.92/973.91 c =============================================================================== 973.92/973.91 c restarts : 932 973.92/973.91 c nb ReduceDB : 82 973.92/973.91 c nb removed Clauses : 8750582 973.92/973.91 c nb learnts DL2 : 16 973.92/973.91 c nb learnts size 2 : 2 973.92/973.91 c nb learnts size 1 : 0 973.92/973.91 c conflicts : 8998855 (9243 /sec) 973.92/973.91 c decisions : 10663810 (0.00 % random) (10954 /sec) 973.92/973.91 c propagations : 272457919 (279860 /sec) 973.92/973.91 c conflict literals : 230921007 (47.60 % deleted) 973.92/973.91 c nb reduced Clauses : 2361 973.92/973.91 c CPU time : 973.551 s 973.92/973.91 973.92/973.92 s SATISFIABLE 973.92/973.92 v 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 -19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 -37 38 39 40 41 42 43 -44 45 46 47 48 -49 50 51 52 53 54 55 56 -57 58 -59 -60 61 62 63 64 65 -66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 -82 83 84 85 86 87 88 89 90 91 92 -93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 -108 -109 110 -111 112 113 114 115 116 117 -118 -119 120 121 -122 123 124 125 126 127 128 129 130 -131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 -146 -147 148 149 150 151 152 153 154 -155 156 157 158 159 -160 161 162 163 164 165 166 167 168 169 170 -171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 -193 194 195 196 197 198 199 200 201 202 203 -204 205 206 207 208 209 210 211 212 213 214 215 -216 217 218 219 220 -221 -222 223 224 225 226 227 228 229 230 231 0
OK
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303495-1306934518/watcher-3303495-1306934518 -o /tmp/evaluation-result-3303495-1306934518/solver-3303495-1306934518 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303495-1306934518.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.07 2.04 2.01 3/518 24025 /proc/meminfo: memFree=21816404/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 805048489 8912896 253 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24025/statm: 2176 253 211 178 0 69 0 [startup+0.0798181 s] /proc/loadavg: 2.07 2.04 2.01 3/518 24025 /proc/meminfo: memFree=21816404/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+0.100818 s] /proc/loadavg: 2.07 2.04 2.01 3/518 24025 /proc/meminfo: memFree=21816404/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+0.300774 s] /proc/loadavg: 2.07 2.04 2.01 3/518 24025 /proc/meminfo: memFree=21816404/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+0.700698 s] /proc/loadavg: 2.07 2.04 2.01 3/518 24025 /proc/meminfo: memFree=21816404/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+1.50054 s] /proc/loadavg: 2.07 2.04 2.01 3/520 24028 /proc/meminfo: memFree=21808320/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=25528 CPUtime=1.46 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 3897 0 0 0 146 0 0 0 25 0 1 0 805048492 26140672 2620 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224643 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 6382 2620 249 17 0 3023 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 34232 [startup+3.10122 s] /proc/loadavg: 2.07 2.04 2.01 3/520 24028 /proc/meminfo: memFree=21803360/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=25528 CPUtime=3.06 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 4349 0 0 0 306 0 0 0 25 0 1 0 805048492 26140672 3061 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224834 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 6382 3061 250 17 0 3023 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 34232 [startup+6.30058 s] /proc/loadavg: 2.23 2.07 2.02 3/520 24028 /proc/meminfo: memFree=21793308/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=30152 CPUtime=6.25 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 7112 0 0 0 625 0 0 0 25 0 1 0 805048492 30875648 4265 33554432000 4194304 4260849 140734617321024 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 7538 4265 250 17 0 4179 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 38856 [startup+12.7003 s] /proc/loadavg: 2.21 2.07 2.02 3/520 24028 /proc/meminfo: memFree=21761048/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=44472 CPUtime=12.66 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 9866 0 0 0 1265 1 0 0 25 0 1 0 805048492 45539328 5181 33554432000 4194304 4260849 140734617321024 18446744073709551615 4209227 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 11118 5181 250 17 0 7759 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 53176 [startup+25.5008 s] /proc/loadavg: 2.16 2.07 2.01 3/520 24028 /proc/meminfo: memFree=21783736/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=44472 CPUtime=25.46 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 12405 0 0 0 2545 1 0 0 25 0 1 0 805048492 45539328 7603 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224696 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 11118 7603 250 17 0 7759 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 53176 [startup+51.1007 s] /proc/loadavg: 2.11 2.06 2.01 3/520 24029 /proc/meminfo: memFree=21740752/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=67524 CPUtime=51.05 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 17585 0 0 0 5104 1 0 0 25 0 1 0 805048492 69144576 9622 33554432000 4194304 4260849 140734617321024 18446744073709551615 4227776 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 16881 9622 250 17 0 13522 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 76228 [startup+102.319 s] /proc/loadavg: 2.04 2.05 2.01 3/520 24030 /proc/meminfo: memFree=21758972/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=67524 CPUtime=102.28 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 21460 0 0 0 10226 2 0 0 25 0 1 0 805048492 69144576 13325 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 16881 13325 250 17 0 13522 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 76228 [startup+162.3 s] /proc/loadavg: 2.11 2.07 2.01 3/520 24062 /proc/meminfo: memFree=21818532/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=86380 CPUtime=162.26 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 29792 0 0 0 16222 4 0 0 25 0 1 0 805048492 88453120 16553 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 21595 16553 250 17 0 18236 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 95084 [startup+222.301 s] /proc/loadavg: 2.26 2.13 2.03 3/520 24064 /proc/meminfo: memFree=21789380/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=98588 CPUtime=222.27 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 33001 0 0 0 22222 5 0 0 25 0 1 0 805048492 100954112 19696 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224757 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 24647 19696 250 17 0 21288 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 107292 [startup+282.301 s] /proc/loadavg: 2.14 2.11 2.03 3/520 24065 /proc/meminfo: memFree=21776192/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=98588 CPUtime=282.27 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 33715 0 0 0 28222 5 0 0 25 0 1 0 805048492 100954112 20383 33554432000 4194304 4260849 140734617321024 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 24647 20383 250 17 0 21288 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 107292 [startup+342.301 s] /proc/loadavg: 2.05 2.09 2.03 3/520 24067 /proc/meminfo: memFree=21754464/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=98588 CPUtime=342.27 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 34161 0 0 0 34222 5 0 0 25 0 1 0 805048492 100954112 20817 33554432000 4194304 4260849 140734617321024 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 24647 20817 250 17 0 21288 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 107292 [startup+402.301 s] /proc/loadavg: 2.02 2.07 2.02 3/520 24068 /proc/meminfo: memFree=21729752/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 ################ # More data... # ################ [startup+642.301 s] /proc/loadavg: 2.15 2.06 2.01 3/520 24075 /proc/meminfo: memFree=21713056/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=117264 CPUtime=642.31 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 140956 0 0 0 64213 18 0 0 25 0 1 0 805048492 120078336 26040 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 29316 26040 250 17 0 25957 0 Current children cumulated CPU time (s) 642.33 Current children cumulated vsize (KiB) 125968 [startup+702.301 s] /proc/loadavg: 2.27 2.09 2.02 3/520 24076 /proc/meminfo: memFree=21674836/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=117264 CPUtime=702.28 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 169063 0 0 0 70207 21 0 0 25 0 1 0 805048492 120078336 26040 33554432000 4194304 4260849 140734617321024 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 29316 26040 250 17 0 25957 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 125968 [startup+762.32 s] /proc/loadavg: 2.16 2.09 2.02 3/520 24078 /proc/meminfo: memFree=21681736/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=117264 CPUtime=762.31 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 187903 0 0 0 76207 24 0 0 25 0 1 0 805048492 120078336 26040 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 29316 26040 250 17 0 25957 0 Current children cumulated CPU time (s) 762.33 Current children cumulated vsize (KiB) 125968 [startup+822.301 s] /proc/loadavg: 2.06 2.07 2.01 3/520 24080 /proc/meminfo: memFree=21679116/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=166584 CPUtime=822.29 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 216148 0 0 0 82201 28 0 0 25 0 1 0 805048492 170582016 34613 33554432000 4194304 4260849 140734617321024 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 41646 34613 250 17 0 38287 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 175288 [startup+882.301 s] /proc/loadavg: 2.02 2.06 2.01 3/520 24081 /proc/meminfo: memFree=21671396/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=166584 CPUtime=882.3 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 238285 0 0 0 88198 32 0 0 25 0 1 0 805048492 170582016 36357 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224751 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 41646 36357 250 17 0 38287 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 175288 [startup+942.301 s] /proc/loadavg: 2.00 2.04 2.00 3/520 24083 /proc/meminfo: memFree=21713292/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=117264 CPUtime=942.3 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 259755 0 0 0 94194 36 0 0 25 0 1 0 805048492 120078336 26053 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 29316 26053 250 17 0 25957 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 125968 Solver just ended. Dumping a history of the last processes samples [startup+947.119 s] /proc/loadavg: 2.00 2.04 2.00 3/520 24083 /proc/meminfo: memFree=21682660/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=117264 CPUtime=947.12 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 259755 0 0 0 94676 36 0 0 25 0 1 0 805048492 120078336 26053 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 29316 26053 250 17 0 25957 0 Current children cumulated CPU time (s) 947.14 Current children cumulated vsize (KiB) 125968 [startup+959.901 s] /proc/loadavg: 2.00 2.04 2.00 3/520 24083 /proc/meminfo: memFree=21638020/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=166584 CPUtime=959.9 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 268651 0 0 0 95954 36 0 0 25 0 1 0 805048492 170582016 34909 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 41646 34909 250 17 0 38287 0 Current children cumulated CPU time (s) 959.92 Current children cumulated vsize (KiB) 175288 [startup+966.301 s] /proc/loadavg: 2.00 2.04 2.00 3/520 24083 /proc/meminfo: memFree=21673980/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=166584 CPUtime=966.31 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 269896 0 0 0 96594 37 0 0 25 0 1 0 805048492 170582016 36115 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 41646 36115 250 17 0 38287 0 Current children cumulated CPU time (s) 966.33 Current children cumulated vsize (KiB) 175288 [startup+969.501 s] /proc/loadavg: 2.00 2.04 2.00 3/520 24084 /proc/meminfo: memFree=21671616/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=166584 CPUtime=969.5 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 270538 0 0 0 96913 37 0 0 25 0 1 0 805048492 170582016 36738 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224838 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 41646 36738 250 17 0 38287 0 Current children cumulated CPU time (s) 969.52 Current children cumulated vsize (KiB) 175288 [startup+971.1 s] /proc/loadavg: 2.00 2.04 2.00 3/520 24084 /proc/meminfo: memFree=21713528/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=117264 CPUtime=971.1 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 270593 0 0 0 97073 37 0 0 25 0 1 0 805048492 120078336 26053 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 29316 26053 250 17 0 25957 0 Current children cumulated CPU time (s) 971.12 Current children cumulated vsize (KiB) 125968 [startup+972.701 s] /proc/loadavg: 2.00 2.04 2.00 3/520 24084 /proc/meminfo: memFree=21683272/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=117264 CPUtime=972.7 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 270593 0 0 0 97233 37 0 0 25 0 1 0 805048492 120078336 26053 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 29316 26053 250 17 0 25957 0 Current children cumulated CPU time (s) 972.72 Current children cumulated vsize (KiB) 125968 [startup+973.52 s] /proc/loadavg: 2.00 2.04 2.00 3/520 24084 /proc/meminfo: memFree=21682032/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=117264 CPUtime=973.52 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 270593 0 0 0 97315 37 0 0 25 0 1 0 805048492 120078336 26053 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 29316 26053 250 17 0 25957 0 Current children cumulated CPU time (s) 973.54 Current children cumulated vsize (KiB) 125968 [startup+973.901 s] /proc/loadavg: 2.00 2.04 2.00 3/520 24084 /proc/meminfo: memFree=21682032/32950928 swapFree=34979748/67111528 [pid=24025] ppid=24023 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/24025/stat : 24025 (glucose.sh) S 24023 24025 22442 0 -1 4202496 360 641 0 0 0 0 2 0 25 0 1 0 805048489 8912896 255 33554432000 4194304 4922060 140737176135760 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/24025/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24025 vsize=117264 CPUtime=973.9 cores=0,2,4,6 /proc/24028/stat : 24028 (glucose_static) R 24025 24025 22442 0 -1 4202496 270593 0 0 0 97353 37 0 0 25 0 1 0 805048492 120078336 26053 33554432000 4194304 4260849 140734617321024 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24028/statm: 29316 26053 250 17 0 25957 0 Current children cumulated CPU time (s) 973.92 Current children cumulated vsize (KiB) 125968 Child status: 10 Real time (s): 973.925 CPU time (s): 973.963 CPU user time (s): 973.581 CPU system time (s): 0.381941 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 175288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 973.581 system time used= 0.381941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271970 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= 45 involuntary context switches= 1225 runsolver used 5.31919 second user time and 11.1973 second system time The end
Begin job on node149 at 2011-06-01 15:21:58 IDJOB=3303495 IDBENCH=83318 IDSOLVER=1687 FILE ID=node149/3303495-1306934518 RUNJOBID= node149-1306927227-23495 PBS_JOBID= 13488481 Free space on /tmp= 73616 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_462.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303495-1306934518/watcher-3303495-1306934518 -o /tmp/evaluation-result-3303495-1306934518/solver-3303495-1306934518 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303495-1306934518.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4975f32607352c0a4d9db1abea12627a RANDOM SEED=1304521160 node149.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 21816684 kB Buffers: 295444 kB Cached: 2246996 kB SwapCached: 84504 kB Active: 2056832 kB Inactive: 8748320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 21816684 kB SwapTotal: 67111528 kB SwapFree: 34979748 kB Dirty: 1580 kB Writeback: 0 kB AnonPages: 8202192 kB Mapped: 18104 kB Slab: 139728 kB PageTables: 117960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 173210972 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73616 MiB End job on node149 at 2011-06-01 15:38:12