0.00/0.00 c Parsing...
0.00/0.09 c ==============================================================================
0.00/0.09 c | | ORIGINAL | LEARNT | |
0.00/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.09 c ==============================================================================
0.00/0.09 c | 0 | 31830 129633 | 9548 0 0 nan | 0.000 % |
0.00/0.18 c | 0 | 14245 67172 | -- 0 -- -- | -- | -3933/-5114
0.00/0.18 c ==============================================================================
0.00/0.18 c Result : #vars: 418 #clauses: 14245 #literals: 67172
0.00/0.18 c CPU time: 0.162975 s
0.00/0.18 c ==============================================================================
0.00/0.20 c This is MiniSat 2.0 beta
0.00/0.20 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.20 c ============================[ Problem Statistics ]=============================
0.00/0.20 c | |
0.00/0.20 c | Number of variables: 418 |
0.00/0.20 c | Number of clauses: 14245 |
0.00/0.21 c | Parsing time: 0.01 s |
0.00/0.21 c ============================[ Search Statistics ]==============================
0.00/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.21 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.21 c ===============================================================================
0.00/0.21 c | 0 | 418 14245 67172 | 4748 0 nan | 0.000 % |
0.00/0.21 c | 102 | 417 14245 67172 | 4748 101 15 | 0.240 % |
0.00/0.22 c | 202 | 417 14245 67172 | 4748 201 17 | 0.240 % |
0.00/0.22 c | 302 | 417 14245 67172 | 4748 301 16 | 0.240 % |
0.00/0.22 c | 412 | 417 14245 67172 | 4748 411 17 | 0.240 % |
0.00/0.23 c | 512 | 417 14245 67172 | 4748 511 17 | 0.240 % |
0.00/0.23 c | 623 | 417 14245 67172 | 4748 622 16 | 0.240 % |
0.00/0.23 c | 744 | 417 14245 67172 | 4748 743 16 | 0.240 % |
0.00/0.24 c | 846 | 417 14245 67172 | 4748 845 17 | 0.240 % |
0.00/0.24 c | 956 | 417 14245 67172 | 4748 955 17 | 0.240 % |
0.00/0.24 c | 1077 | 417 14245 67172 | 4748 1076 17 | 0.240 % |
0.00/0.25 c | 1211 | 417 14245 67172 | 4748 1209 17 | 0.479 % |
0.00/0.25 c | 1311 | 417 14245 67172 | 4748 1309 17 | 0.479 % |
0.00/0.26 c | 1421 | 417 14245 67172 | 4748 1419 17 | 0.480 % |
0.00/0.26 c | 1542 | 417 14245 67172 | 4748 1540 17 | 0.479 % |
0.00/0.26 c | 1676 | 416 14245 67172 | 4748 1673 18 | 0.718 % |
0.00/0.27 c | 1824 | 415 14245 67172 | 4748 1820 18 | 0.958 % |
0.00/0.28 c | 1925 | 415 14245 67172 | 4748 1921 18 | 0.958 % |
0.00/0.28 c | 2035 | 415 14245 67172 | 4748 2031 19 | 0.958 % |
0.00/0.29 c | 2158 | 415 14245 67172 | 4748 2154 19 | 0.958 % |
0.00/0.29 c | 2291 | 415 14245 67172 | 4748 2287 19 | 0.958 % |
0.19/0.30 c | 2437 | 415 14245 67172 | 4748 2433 19 | 0.958 % |
0.19/0.31 c | 2598 | 413 13589 64052 | 4748 2592 20 | 1.197 % |
0.19/0.31 c | 2701 | 413 13589 64052 | 4748 2695 20 | 1.197 % |
0.19/0.32 c | 2813 | 413 13589 64052 | 4748 2807 20 | 1.197 % |
0.19/0.32 c | 2935 | 413 13589 64052 | 4748 2929 19 | 1.197 % |
0.19/0.33 c | 3068 | 413 13589 64052 | 4748 3062 19 | 1.197 % |
0.19/0.33 c | 3214 | 413 13589 64052 | 4748 3208 20 | 1.197 % |
0.19/0.34 c | 3374 | 413 13589 64052 | 4748 3368 20 | 1.197 % |
0.19/0.35 c | 3551 | 413 13589 64052 | 4748 3545 20 | 1.197 % |
0.19/0.36 c | 3651 | 413 13589 64052 | 4748 3645 20 | 1.197 % |
0.19/0.36 c | 3761 | 413 13589 64052 | 4748 3755 20 | 1.197 % |
0.19/0.37 c | 3883 | 413 13589 64052 | 4748 3877 20 | 1.197 % |
0.19/0.37 c | 4019 | 413 13589 64052 | 4748 4013 21 | 1.197 % |
0.19/0.38 c | 4168 | 413 13589 64052 | 4748 4162 20 | 1.197 % |
0.19/0.39 c | 4329 | 413 13589 64052 | 4748 4323 21 | 1.197 % |
0.19/0.40 c | 4505 | 413 13589 64052 | 4748 4499 21 | 1.197 % |
0.19/0.41 c | 4699 | 413 13589 64052 | 4748 4693 21 | 1.197 % |
0.19/0.41 c | 4800 | 413 13589 64052 | 4748 4794 21 | 1.197 % |
0.19/0.42 c | 4910 | 413 13589 64052 | 4748 4425 21 | 1.197 % |
0.19/0.42 c | 5033 | 413 13589 64052 | 4748 4548 21 | 1.203 % |
0.19/0.43 c | 5168 | 413 13589 64052 | 4748 4683 21 | 1.197 % |
0.19/0.44 c | 5314 | 413 13589 64052 | 4748 4829 21 | 1.197 % |
0.19/0.45 c | 5474 | 413 13589 64052 | 4748 4507 21 | 1.197 % |
0.19/0.46 c | 5651 | 413 13589 64052 | 4748 4684 21 | 1.197 % |
0.19/0.47 c | 5844 | 413 13589 64052 | 4748 4391 21 | 1.197 % |
0.19/0.48 c | 6058 | 413 13589 64052 | 4748 4605 21 | 1.197 % |
0.19/0.49 c | 6159 | 413 13549 63848 | 4748 4706 21 | 1.197 % |
0.19/0.49 c | 6269 | 413 13549 63848 | 4748 4816 21 | 1.197 % |
0.19/0.50 c | 6392 | 413 13549 63848 | 4748 4458 21 | 1.197 % |
0.19/0.51 c | 6525 | 413 13549 63848 | 4748 4591 21 | 1.197 % |
0.19/0.52 c | 6671 | 413 13549 63848 | 4748 4737 21 | 1.197 % |
0.19/0.53 c | 6831 | 413 13549 63848 | 4748 4415 21 | 1.197 % |
0.19/0.54 c | 7007 | 413 13549 63848 | 4748 4591 21 | 1.197 % |
0.19/0.55 c | 7200 | 413 13549 63848 | 4748 4784 21 | 1.197 % |
0.19/0.57 c | 7413 | 413 13549 63848 | 4748 4519 21 | 1.197 % |
0.19/0.58 c | 7647 | 413 13549 63848 | 4748 4753 21 | 1.197 % |
0.19/0.59 c | 7747 | 413 13549 63848 | 4748 4378 21 | 1.197 % |
0.19/0.59 c | 7857 | 413 13549 63848 | 4748 4488 21 | 1.197 % |
0.19/0.60 c | 7978 | 413 13549 63848 | 4748 4609 21 | 1.197 % |
0.19/0.61 c | 8112 | 413 13549 63848 | 4748 4743 21 | 1.197 % |
0.19/0.62 c | 8261 | 413 13549 63848 | 4748 4408 21 | 1.197 % |
0.19/0.63 c | 8422 | 413 13549 63848 | 4748 4569 21 | 1.197 % |
0.19/0.64 c | 8600 | 413 13549 63848 | 4748 4747 21 | 1.197 % |
0.19/0.65 c | 8793 | 413 13549 63848 | 4748 4457 21 | 1.197 % |
0.19/0.67 c | 9006 | 413 13549 63848 | 4748 4670 21 | 1.197 % |
0.19/0.68 c | 9241 | 413 13549 63848 | 4748 4420 21 | 1.197 % |
0.19/0.70 c | 9499 | 412 13549 63848 | 4748 4677 21 | 1.436 % |
0.19/0.70 c | 9600 | 412 13549 63848 | 4748 4778 21 | 1.436 % |
0.19/0.71 c | 9711 | 412 13549 63848 | 4748 4412 21 | 1.436 % |
0.19/0.72 c | 9834 | 412 13549 63848 | 4748 4535 21 | 1.436 % |
0.19/0.72 c | 9967 | 412 13549 63848 | 4748 4668 21 | 1.442 % |
0.19/0.73 c | 10115 | 412 13549 63848 | 2147483647 4816 21 | 1.436 % |
0.19/0.75 c | 10276 | 412 13509 63644 | 2147483647 4977 21 | 1.436 % |
0.19/0.76 c | 10452 | 412 13509 63644 | 2147483647 5153 21 | 1.436 % |
0.19/0.77 c | 10645 | 412 13509 63644 | 2147483647 5346 21 | 1.445 % |
0.19/0.78 c | 10857 | 412 13509 63644 | 2147483647 5558 22 | 1.436 % |
0.19/0.80 c | 11090 | 412 13509 63644 | 2147483647 5791 22 | 1.436 % |
0.19/0.81 c | 11346 | 412 13509 63644 | 2147483647 6047 22 | 1.436 % |
0.19/0.83 c | 11628 | 412 13509 63644 | 2147483647 6329 22 | 1.436 % |
0.19/0.83 c | 11730 | 412 13509 63644 | 2147483647 6431 22 | 1.436 % |
0.19/0.84 c | 11840 | 412 13509 63644 | 2147483647 6541 22 | 1.436 % |
0.19/0.85 c | 11963 | 412 13509 63644 | 2147483647 6664 22 | 1.436 % |
0.19/0.86 c | 12099 | 412 13509 63644 | 2147483647 6800 22 | 1.436 % |
0.19/0.86 c | 12246 | 412 13509 63644 | 2147483647 6947 22 | 1.436 % |
0.19/0.87 c | 12406 | 411 13509 63644 | 2147483647 7106 22 | 1.676 % |
0.19/0.88 c | 12584 | 411 13509 63644 | 2147483647 7284 22 | 1.675 % |
0.19/0.89 c | 12777 | 411 13509 63644 | 2147483647 7477 22 | 1.675 % |
0.19/0.91 c | 12990 | 411 13509 63644 | 2147483647 7690 22 | 1.675 % |
0.19/0.92 c | 13223 | 411 13509 63644 | 2147483647 7923 22 | 1.675 % |
0.19/0.94 c | 13480 | 411 13509 63644 | 2147483647 8180 22 | 1.675 % |
0.19/0.96 c | 13761 | 411 13509 63644 | 2147483647 8461 22 | 1.675 % |
0.19/0.98 c | 14070 | 411 13509 63644 | 2147483647 8770 22 | 1.675 % |
0.19/0.99 c | 14171 | 411 13509 63644 | 2147483647 8871 22 | 1.675 % |
0.19/0.99 c | 14281 | 411 13509 63644 | 2147483647 8981 22 | 1.675 % |
0.19/1.00 c | 14404 | 411 13509 63644 | 2147483647 9104 22 | 1.675 % |
0.98/1.01 c | 14537 | 411 13509 63644 | 2147483647 9237 22 | 1.675 % |
0.98/1.02 c | 14685 | 411 13509 63644 | 2147483647 9385 22 | 1.675 % |
0.98/1.04 c | 14846 | 411 13222 62288 | 2147483647 9544 22 | 1.675 % |
0.98/1.05 c | 15023 | 411 13222 62288 | 2147483647 9721 23 | 1.675 % |
0.98/1.07 c | 15216 | 411 13222 62288 | 2147483647 9914 23 | 1.675 % |
0.98/1.09 c | 15430 | 411 13222 62288 | 2147483647 10128 23 | 1.680 % |
1.08/1.10 c | 15663 | 411 13222 62288 | 2147483647 10361 23 | 1.675 % |
1.08/1.12 c | 15919 | 411 13222 62288 | 2147483647 10617 23 | 1.675 % |
1.08/1.15 c | 16201 | 411 13222 62288 | 2147483647 10899 23 | 1.675 % |
1.08/1.17 c | 16511 | 411 13222 62288 | 2147483647 11209 23 | 1.675 % |
1.18/1.20 c | 16851 | 411 13222 62288 | 2147483647 11549 23 | 1.675 % |
1.18/1.21 c | 16951 | 411 13222 62288 | 2147483647 11649 23 | 1.675 % |
1.18/1.22 c | 17061 | 411 13222 62288 | 2147483647 11759 23 | 1.675 % |
1.18/1.23 c | 17184 | 411 13222 62288 | 2147483647 11882 23 | 1.675 % |
1.18/1.25 c | 17317 | 411 13222 62288 | 2147483647 12015 23 | 1.676 % |
1.18/1.26 c | 17465 | 411 13222 62288 | 2147483647 12163 23 | 1.675 % |
1.18/1.28 c | 17625 | 411 13222 62288 | 2147483647 12323 23 | 1.675 % |
1.18/1.29 c | 17802 | 411 13222 62288 | 2147483647 12500 23 | 1.675 % |
1.28/1.31 c | 17996 | 411 13222 62288 | 2147483647 12694 23 | 1.675 % |
1.28/1.33 c | 18210 | 411 13222 62288 | 2147483647 12908 23 | 1.675 % |
1.28/1.35 c | 18443 | 411 13222 62288 | 2147483647 13141 23 | 1.675 % |
1.28/1.37 c | 18699 | 411 13222 62288 | 2147483647 13397 23 | 1.675 % |
1.38/1.40 c | 18980 | 411 13222 62288 | 2147483647 13678 23 | 1.675 % |
1.38/1.43 c | 19289 | 411 13222 62288 | 2147483647 13987 23 | 1.675 % |
1.38/1.46 c | 19631 | 411 13222 62288 | 2147483647 14329 24 | 1.675 % |
1.48/1.50 c | 20004 | 411 13222 62288 | 2147483647 14702 24 | 1.676 % |
1.48/1.52 c | 20104 | 411 13222 62288 | 2147483647 14802 24 | 1.675 % |
1.48/1.53 c | 20215 | 411 13222 62288 | 2147483647 14913 24 | 1.675 % |
1.48/1.55 c | 20336 | 411 13222 62288 | 2147483647 15034 24 | 1.675 % |
1.48/1.56 c | 20469 | 411 13222 62288 | 2147483647 15167 24 | 1.675 % |
1.48/1.58 c | 20616 | 411 13222 62288 | 2147483647 15314 24 | 1.675 % |
1.58/1.60 c | 20776 | 411 13222 62288 | 2147483647 15474 24 | 1.675 % |
1.58/1.62 c | 20953 | 411 13222 62288 | 2147483647 15651 24 | 1.675 % |
1.58/1.64 c | 21146 | 411 13222 62288 | 2147483647 15844 24 | 1.675 % |
1.58/1.67 c | 21359 | 411 13222 62288 | 2147483647 16057 24 | 1.675 % |
1.67/1.70 c | 21593 | 411 13222 62288 | 2147483647 16291 24 | 1.675 % |
1.67/1.73 c | 21850 | 411 13222 62288 | 2147483647 16548 24 | 1.675 % |
1.67/1.76 c | 22131 | 411 13222 62288 | 2147483647 16829 24 | 1.675 % |
1.77/1.80 c | 22440 | 411 13222 62288 | 2147483647 17138 24 | 1.675 % |
1.77/1.84 c | 22779 | 411 13222 62288 | 2147483647 17477 24 | 1.675 % |
1.77/1.90 c | 23152 | 411 13222 62288 | 2147483647 17850 24 | 1.675 % |
1.87/1.96 c | 23564 | 411 13222 62288 | 2147483647 18262 24 | 1.675 % |
1.87/1.98 c | 23664 | 411 13222 62288 | 2147483647 18362 24 | 1.676 % |
1.97/2.00 c | 23774 | 411 13222 62288 | 2147483647 18472 24 | 1.675 % |
1.97/2.01 c | 23895 | 411 13222 62288 | 2147483647 18593 24 | 1.675 % |
1.97/2.04 c | 24029 | 411 13222 62288 | 2147483647 18727 24 | 1.675 % |
1.97/2.06 c | 24175 | 411 13222 62288 | 2147483647 18873 24 | 1.675 % |
1.97/2.08 c | 24336 | 411 13222 62288 | 2147483647 19034 25 | 1.675 % |
1.97/2.10 c | 24514 | 411 13222 62288 | 2147483647 19212 25 | 1.676 % |
2.08/2.13 c | 24707 | 411 13222 62288 | 2147483647 19405 25 | 1.676 % |
2.08/2.17 c | 24920 | 411 13222 62288 | 2147483647 19618 25 | 1.675 % |
2.08/2.20 c | 25153 | 411 13222 62288 | 2147483647 19851 25 | 1.675 % |
2.17/2.24 c | 25409 | 411 13222 62288 | 2147483647 20107 25 | 1.675 % |
2.17/2.29 c | 25690 | 411 13222 62288 | 2147483647 20388 25 | 1.675 % |
2.27/2.34 c | 26000 | 411 13222 62288 | 2147483647 20698 25 | 1.680 % |
2.27/2.39 c | 26339 | 411 13222 62288 | 2147483647 21037 25 | 1.675 % |
2.37/2.45 c | 26714 | 411 13222 62288 | 2147483647 21412 25 | 1.675 % |
2.47/2.53 c | 27124 | 411 13222 62288 | 2147483647 21822 25 | 1.675 % |
2.57/2.60 c | 27575 | 411 13222 62288 | 2147483647 22273 25 | 1.675 % |
2.57/2.62 c | 27675 | 411 13222 62288 | 2147483647 22373 25 | 1.675 % |
2.57/2.65 c | 27786 | 411 13222 62288 | 2147483647 22484 25 | 1.675 % |
2.57/2.67 c | 27908 | 411 13222 62288 | 2147483647 22606 25 | 1.675 % |
2.57/2.69 c | 28042 | 411 13222 62288 | 2147483647 22740 25 | 1.675 % |
2.67/2.72 c | 28190 | 411 13222 62288 | 2147483647 22888 25 | 1.675 % |
2.67/2.75 c | 28351 | 411 13222 62288 | 2147483647 23049 25 | 1.675 % |
2.67/2.78 c | 28528 | 411 13222 62288 | 2147483647 23226 25 | 1.675 % |
2.77/2.82 c | 28721 | 411 13222 62288 | 2147483647 23419 25 | 1.675 % |
2.77/2.85 c | 28934 | 411 13222 62288 | 2147483647 23632 25 | 1.675 % |
2.77/2.89 c | 29169 | 411 13222 62288 | 2147483647 23867 25 | 1.675 % |
2.87/2.94 c | 29426 | 411 13222 62288 | 2147483647 24124 25 | 1.675 % |
2.87/2.98 c | 29710 | 411 13222 62288 | 2147483647 24408 25 | 1.675 % |
2.97/3.04 c | 30019 | 411 13222 62288 | 2147483647 24717 25 | 1.675 % |
3.07/3.10 c | 30358 | 411 13222 62288 | 2147483647 25056 25 | 1.675 % |
3.07/3.16 c | 30730 | 411 13222 62288 | 2147483647 25428 25 | 1.675 % |
3.17/3.23 c | 31139 | 411 13222 62288 | 2147483647 25837 25 | 1.675 % |
3.27/3.34 c | 31590 | 411 13222 62288 | 2147483647 26288 25 | 1.675 % |
3.37/3.45 c | 32084 | 411 13222 62288 | 2147483647 26782 25 | 1.675 % |
3.37/3.47 c | 32185 | 411 13222 62288 | 2147483647 26883 25 | 1.675 % |
3.47/3.50 c | 32295 | 411 13222 62288 | 2147483647 26993 25 | 1.675 % |
3.47/3.53 c | 32416 | 411 13222 62288 | 2147483647 27114 25 | 1.675 % |
3.47/3.56 c | 32551 | 411 13222 62288 | 2147483647 27249 25 | 1.675 % |
3.57/3.61 c | 32699 | 411 13222 62288 | 2147483647 27397 25 | 1.675 % |
3.57/3.64 c | 32860 | 411 13222 62288 | 2147483647 27558 25 | 1.676 % |
3.57/3.69 c | 33037 | 411 13222 62288 | 2147483647 27735 25 | 1.676 % |
3.67/3.75 c | 33233 | 411 13222 62288 | 2147483647 27931 26 | 1.675 % |
3.77/3.81 c | 33446 | 411 13222 62288 | 2147483647 28144 26 | 1.675 % |
3.77/3.87 c | 33680 | 411 13222 62288 | 2147483647 28378 26 | 1.675 % |
3.87/3.94 c | 33939 | 411 13222 62288 | 2147483647 28637 26 | 1.676 % |
3.97/4.02 c | 34221 | 411 13222 62288 | 2147483647 28919 26 | 1.675 % |
3.97/4.09 c | 34533 | 411 13222 62288 | 2147483647 29231 26 | 1.675 % |
4.06/4.17 c | 34873 | 411 13222 62288 | 2147483647 29571 26 | 1.675 % |
4.17/4.27 c | 35247 | 410 13182 62084 | 2147483647 29944 26 | 1.914 % |
4.28/4.37 c | 35656 | 410 13182 62084 | 2147483647 30353 26 | 1.914 % |
4.38/4.48 c | 36107 | 410 13182 62084 | 2147483647 30804 26 | 1.915 % |
4.57/4.65 c | 36602 | 410 13182 62084 | 2147483647 31299 26 | 1.914 % |
4.77/4.80 c | 37146 | 410 13182 62084 | 2147483647 31843 26 | 1.914 % |
4.77/4.84 c | 37246 | 410 13182 62084 | 2147483647 31943 26 | 1.914 % |
4.77/4.87 c | 37356 | 410 13182 62084 | 2147483647 32053 26 | 1.914 % |
4.87/4.90 c | 37477 | 410 13182 62084 | 2147483647 32174 26 | 1.914 % |
4.87/4.94 c | 37610 | 410 13182 62084 | 2147483647 32307 26 | 1.914 % |
4.87/4.98 c | 37756 | 410 13182 62084 | 2147483647 32453 26 | 1.914 % |
4.97/5.02 c | 37918 | 410 13182 62084 | 2147483647 32615 26 | 1.914 % |
4.97/5.07 c | 38095 | 410 13182 62084 | 2147483647 32792 26 | 1.914 % |
5.07/5.15 c | 38289 | 410 13182 62084 | 2147483647 32986 26 | 1.915 % |
5.17/5.21 c | 38502 | 410 13182 62084 | 2147483647 33199 26 | 1.914 % |
5.17/5.29 c | 38735 | 410 13182 62084 | 2147483647 33432 26 | 1.914 % |
5.27/5.37 c | 38993 | 410 13182 62084 | 2147483647 33690 26 | 1.914 % |
5.37/5.45 c | 39278 | 410 13182 62084 | 2147483647 33975 26 | 1.914 % |
5.47/5.54 c | 39590 | 410 13182 62084 | 2147483647 34287 26 | 1.914 % |
5.57/5.65 c | 39929 | 410 13182 62084 | 2147483647 34626 26 | 1.914 % |
5.67/5.76 c | 40302 | 410 13182 62084 | 2147483647 34999 26 | 1.914 % |
5.77/5.89 c | 40712 | 410 13182 62084 | 2147483647 35409 26 | 1.914 % |
5.97/6.02 c | 41161 | 410 13182 62084 | 2147483647 35858 26 | 1.914 % |
6.07/6.17 c | 41655 | 410 13182 62084 | 2147483647 36352 26 | 1.914 % |
6.27/6.33 c | 42197 | 410 13182 62084 | 2147483647 36894 26 | 1.914 % |
6.47/6.54 c | 42796 | 410 13182 62084 | 2147483647 37493 26 | 1.920 % |
6.47/6.57 c | 42897 | 410 13182 62084 | 2147483647 37594 26 | 1.914 % |
6.57/6.60 c | 43009 | 410 13182 62084 | 2147483647 37706 26 | 1.914 % |
6.57/6.66 c | 43131 | 410 13182 62084 | 2147483647 37828 26 | 1.914 % |
6.67/6.71 c | 43267 | 410 13182 62084 | 2147483647 37964 26 | 1.914 % |
6.67/6.77 c | 43413 | 410 13182 62084 | 2147483647 38110 26 | 1.914 % |
6.77/6.82 c | 43574 | 410 13182 62084 | 2147483647 38271 26 | 1.914 % |
6.77/6.89 c | 43752 | 410 13182 62084 | 2147483647 38449 26 | 1.914 % |
6.87/6.95 c | 43945 | 410 13182 62084 | 2147483647 38642 26 | 1.915 % |
6.97/7.02 c | 44159 | 410 13182 62084 | 2147483647 38856 26 | 1.914 % |
7.07/7.11 c | 44393 | 410 13182 62084 | 2147483647 39090 26 | 1.914 % |
7.17/7.21 c | 44650 | 410 13182 62084 | 2147483647 39347 26 | 1.914 % |
7.27/7.32 c | 44933 | 410 13182 62084 | 2147483647 39630 26 | 1.914 % |
7.37/7.42 c | 45242 | 410 13182 62084 | 2147483647 39939 26 | 1.914 % |
7.47/7.53 c | 45582 | 410 13182 62084 | 2147483647 40279 26 | 1.914 % |
7.67/7.73 c | 45956 | 410 13182 62084 | 2147483647 40653 26 | 1.915 % |
7.77/7.89 c | 46366 | 410 13182 62084 | 2147483647 41063 27 | 1.914 % |
7.97/8.08 c | 46815 | 410 13182 62084 | 2147483647 41512 27 | 1.914 % |
8.27/8.30 c | 47308 | 410 13182 62084 | 2147483647 42005 27 | 1.914 % |
8.47/8.53 c | 47850 | 410 13182 62084 | 2147483647 42547 27 | 1.914 % |
8.67/8.77 c | 48448 | 410 13182 62084 | 2147483647 43145 27 | 1.914 % |
8.97/9.03 c | 49103 | 410 13182 62084 | 2147483647 43800 27 | 1.914 % |
8.97/9.08 c | 49205 | 410 13182 62084 | 2147483647 43902 27 | 1.918 % |
9.07/9.14 c | 49316 | 410 13182 62084 | 2147483647 44013 27 | 1.914 % |
9.07/9.19 c | 49438 | 410 13182 62084 | 2147483647 44135 27 | 1.914 % |
9.17/9.26 c | 49571 | 410 13182 62084 | 2147483647 44268 27 | 1.920 % |
9.27/9.34 c | 49719 | 410 13182 62084 | 2147483647 44416 27 | 1.914 % |
9.37/9.41 c | 49883 | 410 13182 62084 | 2147483647 44580 27 | 1.914 % |
9.37/9.48 c | 50059 | 410 13182 62084 | 2147483647 44756 27 | 1.914 % |
9.47/9.56 c | 50252 | 410 13182 62084 | 2147483647 44949 27 | 1.914 % |
9.57/9.62 c | 50464 | 410 13182 62084 | 2147483647 45161 27 | 1.914 % |
9.67/9.71 c | 50698 | 410 13182 62084 | 2147483647 45395 27 | 1.914 % |
9.77/9.85 c | 50956 | 410 13182 62084 | 2147483647 45653 27 | 1.914 % |
9.87/9.98 c | 51237 | 410 13182 62084 | 2147483647 45934 27 | 1.914 % |
10.07/10.12 c | 51546 | 410 13182 62084 | 2147483647 46243 27 | 1.914 % |
10.17/10.28 c | 51885 | 410 13182 62084 | 2147483647 46582 27 | 1.914 % |
10.37/10.44 c | 52258 | 410 13182 62084 | 2147483647 46955 27 | 1.914 % |
10.57/10.61 c | 52669 | 410 13182 62084 | 2147483647 47366 27 | 1.914 % |
10.67/10.79 c | 53118 | 410 13182 62084 | 2147483647 47815 27 | 1.914 % |
10.97/11.00 c | 53611 | 410 13182 62084 | 2147483647 48308 27 | 1.914 % |
11.16/11.25 c | 54153 | 410 13182 62084 | 2147483647 48850 27 | 1.914 % |
11.46/11.51 c | 54752 | 410 13182 62084 | 2147483647 49449 27 | 1.914 % |
11.76/11.82 c | 55407 | 410 13182 62084 | 2147483647 50104 27 | 1.914 % |
12.07/12.14 c | 56129 | 410 13182 62084 | 2147483647 50826 27 | 1.914 % |
12.16/12.20 c | 56229 | 410 13182 62084 | 2147483647 50926 27 | 1.920 % |
12.16/12.27 c | 56340 | 410 13182 62084 | 2147483647 51037 27 | 1.915 % |
12.26/12.34 c | 56461 | 410 13182 62084 | 2147483647 51158 27 | 1.914 % |
12.36/12.42 c | 56594 | 410 13182 62084 | 2147483647 51291 27 | 1.914 % |
12.46/12.50 c | 56741 | 410 13182 62084 | 2147483647 51438 27 | 1.914 % |
12.46/12.58 c | 56903 | 410 13182 62084 | 2147483647 51600 27 | 1.914 % |
12.56/12.67 c | 57079 | 410 13182 62084 | 2147483647 51776 27 | 1.914 % |
12.66/12.78 c | 57274 | 410 13182 62084 | 2147483647 51971 27 | 1.914 % |
12.76/12.88 c | 57488 | 410 13182 62084 | 2147483647 52185 27 | 1.914 % |
12.96/13.03 c | 57722 | 410 13182 62084 | 2147483647 52419 27 | 1.920 % |
13.06/13.19 c | 57978 | 410 13182 62084 | 2147483647 52675 27 | 1.920 % |
13.26/13.35 c | 58261 | 410 13182 62084 | 2147483647 52958 27 | 1.915 % |
13.36/13.49 c | 58570 | 410 13182 62084 | 2147483647 53267 27 | 1.914 % |
13.66/13.72 c | 58909 | 410 13182 62084 | 2147483647 53606 27 | 1.914 % |
13.86/13.91 c | 59282 | 410 13182 62084 | 2147483647 53979 27 | 1.914 % |
13.96/14.09 c | 59691 | 410 13182 62084 | 2147483647 54388 27 | 1.914 % |
14.26/14.37 c | 60140 | 410 13182 62084 | 54697 45653 27 | 1.914 % |
14.56/14.60 c | 60633 | 410 13182 62084 | 54697 46146 27 | 1.914 % |
14.76/14.84 c | 61176 | 410 13182 62084 | 54697 46689 27 | 1.914 % |
14.96/15.09 c | 61774 | 410 13182 62084 | 54697 47287 27 | 1.914 % |
15.26/15.37 c | 62430 | 410 13182 62084 | 54697 47943 27 | 1.914 % |
15.56/15.63 c | 63152 | 410 13182 62084 | 54697 48665 27 | 1.914 % |
15.86/15.97 c | 63945 | 410 13182 62084 | 54697 49458 27 | 1.914 % |
15.96/16.02 c | 64047 | 410 13182 62084 | 54697 49560 27 | 1.915 % |
15.96/16.09 c | 64157 | 410 13182 62084 | 54697 49670 27 | 1.914 % |
16.06/16.17 c | 64279 | 410 13182 62084 | 54697 49792 27 | 1.914 % |
16.16/16.24 c | 64412 | 410 13182 62084 | 54697 49925 27 | 1.914 % |
16.25/16.30 c | 64558 | 410 13182 62084 | 54697 50071 27 | 1.914 % |
16.25/16.38 c | 64718 | 410 13182 62084 | 54697 50231 27 | 1.914 % |
16.36/16.48 c | 64894 | 410 13182 62084 | 54697 50407 27 | 1.915 % |
16.46/16.56 c | 65087 | 410 13182 62084 | 54697 50600 27 | 1.914 % |
16.55/16.68 c | 65301 | 410 13182 62084 | 54697 50814 27 | 1.914 % |
16.75/16.80 c | 65535 | 410 13182 62084 | 54697 51048 27 | 1.914 % |
16.85/16.97 c | 65791 | 410 13182 62084 | 54697 51304 27 | 1.914 % |
17.05/17.16 c | 66073 | 410 13182 62084 | 54697 51586 27 | 1.914 % |
17.25/17.33 c | 66382 | 410 13182 62084 | 54697 51895 27 | 1.914 % |
17.46/17.52 c | 66721 | 410 13182 62084 | 54697 52234 27 | 1.914 % |
17.65/17.73 c | 67095 | 410 13182 62084 | 54697 52608 27 | 1.914 % |
17.85/17.96 c | 67504 | 410 13182 62084 | 54697 53017 27 | 1.914 % |
18.15/18.22 c | 67953 | 410 13182 62084 | 54697 53466 27 | 1.914 % |
18.35/18.47 c | 68446 | 410 13182 62084 | 54697 53959 27 | 1.914 % |
18.66/18.79 c | 68989 | 410 13182 62084 | 54697 54502 27 | 1.914 % |
19.15/19.21 c | 69586 | 410 13182 62084 | 54697 44350 27 | 1.914 % |
19.45/19.53 c | 70241 | 410 13182 62084 | 44765 36238 26 | 1.914 % |
19.66/19.80 c | 70961 | 410 13182 62084 | 44765 36958 26 | 1.914 % |
20.05/20.13 c | 71754 | 410 13182 62084 | 44765 37751 26 | 1.914 % |
20.25/20.40 c | 72625 | 410 13182 62084 | 44765 38622 26 | 1.914 % |
20.35/20.43 c | 72726 | 410 13182 62084 | 44765 38723 26 | 1.914 % |
20.35/20.47 c | 72838 | 410 13182 62084 | 44765 38835 26 | 1.914 % |
20.45/20.54 c | 72959 | 410 13182 62084 | 44765 38956 26 | 1.914 % |
20.45/20.58 c | 73094 | 410 13182 62084 | 44765 39091 26 | 1.914 % |
20.55/20.66 c | 73240 | 410 13182 62084 | 44765 39237 26 | 1.914 % |
20.65/20.75 c | 73400 | 410 13182 62084 | 44765 39397 26 | 1.914 % |
20.75/20.83 c | 73576 | 410 13182 62084 | 44765 39573 26 | 1.914 % |
20.85/20.91 c | 73770 | 410 13182 62084 | 44765 39767 26 | 1.914 % |
20.85/21.00 c | 73982 | 410 13182 62084 | 44765 39979 26 | 1.914 % |
20.95/21.09 c | 74215 | 410 13182 62084 | 44765 40212 26 | 1.914 % |
21.05/21.19 c | 74473 | 410 13182 62084 | 44765 40470 26 | 1.914 % |
21.15/21.30 c | 74754 | 410 13182 62084 | 44765 40751 26 | 1.914 % |
21.35/21.42 c | 75063 | 410 13182 62084 | 44765 41060 26 | 1.914 % |
21.55/21.61 c | 75402 | 410 13182 62084 | 44765 41399 26 | 1.914 % |
21.65/21.78 c | 75774 | 410 13182 62084 | 44765 41771 26 | 1.914 % |
21.86/21.96 c | 76185 | 410 13182 62084 | 44765 42182 26 | 1.915 % |
22.05/22.15 c | 76635 | 410 13182 62084 | 44765 42632 26 | 1.914 % |
22.25/22.35 c | 77129 | 410 13182 62084 | 44765 43126 27 | 1.914 % |
22.55/22.61 c | 77671 | 410 13182 62084 | 44765 43668 27 | 1.914 % |
22.85/22.92 c | 78268 | 410 13182 62084 | 44765 44265 27 | 1.914 % |
23.15/23.24 c | 78926 | 410 13182 62084 | 44765 38174 26 | 1.914 % |
23.35/23.49 c | 79646 | 410 13182 62084 | 44765 38894 26 | 1.914 % |
23.65/23.79 c | 80439 | 410 13182 62084 | 39248 33975 26 | 1.914 % |
23.95/24.05 c | 81311 | 410 13182 62084 | 39248 34847 26 | 1.914 % |
24.25/24.31 c | 82270 | 410 13182 62084 | 39248 35806 26 | 1.920 % |
24.25/24.34 c | 82370 | 410 13182 62084 | 39248 35906 26 | 1.914 % |
24.25/24.38 c | 82481 | 410 13182 62084 | 39248 36017 26 | 1.914 % |
24.35/24.43 c | 82602 | 410 13182 62084 | 39248 36138 26 | 1.914 % |
24.35/24.49 c | 82738 | 410 13182 62084 | 39248 36274 26 | 1.914 % |
24.45/24.53 c | 82887 | 410 13182 62084 | 39248 36423 26 | 1.914 % |
24.45/24.59 c | 83048 | 410 13182 62084 | 39248 36584 26 | 1.914 % |
24.55/24.67 c | 83224 | 410 13182 62084 | 39248 36760 26 | 1.914 % |
24.65/24.76 c | 83417 | 410 13182 62084 | 39248 36953 26 | 1.914 % |
24.75/24.84 c | 83629 | 410 13182 62084 | 39248 37165 26 | 1.914 % |
24.85/24.91 c | 83863 | 410 13182 62084 | 39248 37399 26 | 1.914 % |
24.95/25.02 c | 84119 | 410 13182 62084 | 39248 37655 26 | 1.918 % |
25.05/25.14 c | 84401 | 410 13182 62084 | 39248 37937 26 | 1.920 % |
25.16/25.24 c | 84710 | 410 13182 62084 | 39248 38246 26 | 1.914 % |
25.26/25.37 c | 85051 | 410 13182 62084 | 39248 38587 26 | 1.914 % |
25.45/25.56 c | 85424 | 410 13182 62084 | 39248 38960 26 | 1.914 % |
25.65/25.77 c | 85834 | 410 13182 62084 | 39248 35437 26 | 1.914 % |
25.85/25.91 c | 86284 | 410 13182 62084 | 39248 35887 26 | 1.914 % |
26.05/26.12 c | 86777 | 410 13182 62084 | 39248 36380 26 | 1.915 % |
26.26/26.31 c | 87319 | 410 13182 62084 | 39248 36922 26 | 1.914 % |
26.45/26.51 c | 87915 | 410 13182 62084 | 39248 37518 26 | 1.914 % |
26.65/26.70 c | 88570 | 410 13182 62084 | 39248 38173 26 | 1.914 % |
26.95/27.06 c | 89291 | 410 13182 62084 | 39248 38894 26 | 1.914 % |
27.25/27.38 c | 90084 | 410 13182 62084 | 2147483647 35754 26 | 1.914 % |
27.55/27.67 c | 90956 | 410 13182 62084 | 2147483647 36626 26 | 1.914 % |
27.95/28.07 c | 91914 | 410 13182 62084 | 2147483647 37584 26 | 1.914 % |
28.25/28.39 c | 92967 | 410 13182 62084 | 2147483647 38637 26 | 1.914 % |
28.35/28.44 c | 93067 | 410 13182 62084 | 2147483647 38737 26 | 1.914 % |
28.45/28.51 c | 93178 | 410 13182 62084 | 2147483647 38848 26 | 1.914 % |
28.45/28.56 c | 93300 | 410 13182 62084 | 2147483647 38970 26 | 1.914 % |
28.55/28.62 c | 93434 | 410 13182 62084 | 2147483647 39104 26 | 1.914 % |
28.55/28.66 c | 93581 | 410 13182 62084 | 2147483647 39251 26 | 1.914 % |
28.65/28.77 c | 93742 | 410 13182 62084 | 2147483647 39412 26 | 1.914 % |
28.75/28.84 c | 93919 | 410 13182 62084 | 2147483647 39589 26 | 1.914 % |
28.85/28.92 c | 94112 | 410 13182 62084 | 2147483647 39782 26 | 1.914 % |
28.95/29.04 c | 94324 | 410 13182 62084 | 2147483647 39994 26 | 1.920 % |
29.05/29.14 c | 94557 | 410 13182 62084 | 2147483647 40227 26 | 1.915 % |
29.15/29.27 c | 94813 | 410 13182 62084 | 2147483647 40483 26 | 1.914 % |
29.25/29.38 c | 95094 | 410 13182 62084 | 2147483647 40764 26 | 1.914 % |
29.45/29.51 c | 95405 | 410 13182 62084 | 2147483647 41075 26 | 1.914 % |
29.55/29.66 c | 95744 | 410 13182 62084 | 2147483647 41414 26 | 1.914 % |
29.75/29.81 c | 96117 | 410 13182 62084 | 2147483647 41787 26 | 1.914 % |
29.85/29.98 c | 96527 | 410 13182 62084 | 2147483647 42197 26 | 1.914 % |
30.15/30.22 c | 96978 | 410 13182 62084 | 2147483647 42648 26 | 1.914 % |
30.35/30.43 c | 97472 | 410 13182 62084 | 2147483647 43142 26 | 1.915 % |
30.55/30.64 c | 98015 | 410 13182 62084 | 2147483647 43685 26 | 1.915 % |
30.85/30.97 c | 98611 | 410 13182 62084 | 2147483647 44281 26 | 1.914 % |
31.15/31.27 c | 99267 | 410 13182 62084 | 2147483647 44937 26 | 1.914 % |
31.45/31.58 c | 99987 | 410 13182 62084 | 2147483647 45657 26 | 1.920 % |
31.85/31.99 c | 100781 | 410 13182 62084 | 45670 40941 26 | 1.914 % |
32.34/32.44 c | 101653 | 410 13182 62084 | 45670 41813 26 | 1.915 % |
32.84/32.91 c | 102611 | 410 13182 62084 | 45670 42771 26 | 1.914 % |
33.24/33.38 c | 103665 | 410 13182 62084 | 45670 43825 26 | 1.914 % |
33.84/33.96 c | 104823 | 410 13182 62084 | 45670 44983 26 | 1.914 % |
33.84/34.00 c | 104923 | 410 13182 62084 | 45670 45083 26 | 1.914 % |
33.94/34.04 c | 105033 | 410 13182 62084 | 45670 45193 26 | 1.914 % |
34.04/34.11 c | 105155 | 410 13182 62084 | 45670 45315 26 | 1.914 % |
34.04/34.18 c | 105288 | 410 13182 62084 | 45670 45448 26 | 1.914 % |
34.14/34.26 c | 105435 | 410 13182 62084 | 45670 45595 26 | 1.914 % |
34.24/34.36 c | 105598 | 410 13182 62084 | 45670 45758 26 | 1.914 % |
34.44/34.51 c | 105774 | 410 13182 62084 | 45670 38861 26 | 1.914 % |
34.44/34.57 c | 105967 | 410 13182 62084 | 45670 39054 26 | 1.914 % |
34.54/34.65 c | 106181 | 410 13182 62084 | 45670 39268 26 | 1.914 % |
34.64/34.73 c | 106416 | 410 13182 62084 | 45670 39503 26 | 1.914 % |
34.74/34.88 c | 106672 | 410 13182 62084 | 45670 39759 26 | 1.914 % |
34.93/35.04 c | 106955 | 410 13182 62084 | 45670 40042 26 | 1.914 % |
35.04/35.19 c | 107268 | 410 13182 62084 | 45670 40355 26 | 1.914 % |
35.23/35.32 c | 107608 | 410 13182 62084 | 45670 40695 26 | 1.914 % |
35.33/35.45 c | 107980 | 410 13182 62084 | 45670 41067 26 | 1.914 % |
35.43/35.58 c | 108392 | 410 13182 62084 | 45670 41479 26 | 1.914 % |
35.63/35.74 c | 108841 | 410 13182 62084 | 45670 41928 26 | 1.914 % |
35.83/35.95 c | 109334 | 410 13182 62084 | 45670 42421 26 | 1.914 % |
36.03/36.18 c | 109876 | 410 13182 62084 | 45670 42963 26 | 1.914 % |
36.43/36.50 c | 110473 | 410 13182 62084 | 43087 37644 26 | 1.914 % |
36.63/36.79 c | 111128 | 410 13182 62084 | 43087 38299 26 | 1.914 % |
37.03/37.18 c | 111848 | 410 13182 62084 | 43087 39019 26 | 1.914 % |
37.33/37.50 c | 112640 | 410 13182 62084 | 43087 39811 26 | 1.914 % |
37.73/37.85 c | 113513 | 410 13182 62084 | 43087 40684 26 | 1.914 % |
38.13/38.26 c | 114472 | 410 13182 62084 | 43087 41643 26 | 1.914 % |
38.53/38.68 c | 115525 | 410 13182 62084 | 43087 42696 26 | 1.914 % |
39.13/39.22 c | 116686 | 410 13182 62084 | 43087 38159 26 | 1.914 % |
39.63/39.70 c | 117959 | 410 13182 62084 | 43087 39432 26 | 1.914 % |
39.63/39.75 c | 118061 | 410 13182 62084 | 43087 39534 26 | 1.914 % |
39.73/39.81 c | 118173 | 410 13182 62084 | 43087 39646 26 | 1.914 % |
39.73/39.86 c | 118296 | 410 13182 62084 | 43087 39769 26 | 1.914 % |
39.83/39.91 c | 118430 | 410 13182 62084 | 43087 39903 26 | 1.915 % |
39.83/39.97 c | 118576 | 410 13182 62084 | 43087 40049 26 | 1.914 % |
39.93/40.07 c | 118737 | 410 13182 62084 | 43087 40210 26 | 1.915 % |
40.03/40.15 c | 118913 | 410 13182 62084 | 43087 40386 26 | 1.914 % |
40.13/40.23 c | 119106 | 410 13182 62084 | 43087 40579 26 | 1.914 % |
40.23/40.33 c | 119318 | 410 13182 62084 | 43087 40791 26 | 1.914 % |
40.33/40.42 c | 119552 | 410 13182 62084 | 43087 41025 26 | 1.914 % |
40.43/40.53 c | 119808 | 410 13182 62084 | 43087 41281 26 | 1.914 % |
40.53/40.63 c | 120089 | 410 13182 62084 | 41475 41562 26 | 1.914 % |
40.73/40.81 c | 120399 | 410 13182 62084 | 41475 36530 26 | 1.914 % |
40.83/40.92 c | 120738 | 410 13182 62084 | 41475 36869 26 | 1.914 % |
40.93/41.08 c | 121110 | 410 13182 62084 | 41475 37241 26 | 1.914 % |
41.13/41.22 c | 121520 | 410 13182 62084 | 41475 37651 26 | 1.914 % |
41.33/41.41 c | 121969 | 410 13182 62084 | 41475 38100 26 | 1.915 % |
41.43/41.59 c | 122462 | 410 13182 62084 | 41475 38593 26 | 1.914 % |
41.73/41.83 c | 123004 | 410 13182 62084 | 41475 39135 26 | 1.914 % |
41.93/42.09 c | 123600 | 410 13182 62084 | 41475 39731 26 | 1.914 % |
42.23/42.33 c | 124256 | 410 13182 62084 | 41475 40387 26 | 1.915 % |
42.53/42.63 c | 124977 | 410 13182 62084 | 41475 41108 26 | 1.914 % |
42.83/42.94 c | 125772 | 410 13182 62084 | 41475 37468 26 | 1.914 % |
43.13/43.27 c | 126643 | 410 13182 62084 | 41475 38339 26 | 1.914 % |
43.53/43.61 c | 127604 | 410 13182 62084 | 41475 39300 26 | 1.914 % |
43.83/43.99 c | 128658 | 410 13182 62084 | 41475 40354 26 | 1.914 % |
44.33/44.49 c | 129817 | 410 13182 62084 | 41475 41513 26 | 1.914 % |
44.93/45.07 c | 131092 | 410 13182 62084 | 2147483647 38637 26 | 1.914 % |
45.43/45.59 c | 132492 | 410 13182 62084 | 2147483647 40037 27 | 1.914 % |
45.53/45.63 c | 132593 | 410 13182 62084 | 2147483647 40138 27 | 1.914 % |
45.53/45.67 c | 132703 | 410 13182 62084 | 2147483647 40248 27 | 1.914 % |
45.63/45.71 c | 132824 | 410 13182 62084 | 2147483647 40369 27 | 1.914 % |
45.63/45.76 c | 132958 | 410 13182 62084 | 2147483647 40503 27 | 1.915 % |
45.73/45.82 c | 133105 | 410 13182 62084 | 2147483647 40650 27 | 1.914 % |
45.73/45.89 c | 133266 | 410 13182 62084 | 2147483647 40811 27 | 1.914 % |
45.82/45.97 c | 133442 | 410 13182 62084 | 2147483647 40987 27 | 1.914 % |
45.92/46.08 c | 133636 | 410 13182 62084 | 2147483647 41181 27 | 1.914 % |
46.03/46.16 c | 133851 | 410 13182 62084 | 2147483647 41396 27 | 1.914 % |
46.13/46.27 c | 134084 | 410 13182 62084 | 2147483647 41629 27 | 1.914 % |
46.32/46.40 c | 134342 | 410 13182 62084 | 2147483647 41887 27 | 1.914 % |
46.42/46.51 c | 134623 | 410 13182 62084 | 2147483647 42168 27 | 1.914 % |
46.52/46.61 c | 134933 | 410 13182 62084 | 2147483647 42478 27 | 1.914 % |
46.62/46.74 c | 135272 | 410 13182 62084 | 2147483647 42817 27 | 1.914 % |
46.72/46.88 c | 135645 | 410 13182 62084 | 2147483647 43190 27 | 1.915 % |
46.92/47.03 c | 136054 | 410 13182 62084 | 2147483647 43599 27 | 1.914 % |
47.13/47.24 c | 136503 | 410 13182 62084 | 2147483647 44048 27 | 1.914 % |
47.32/47.42 c | 136996 | 410 13182 62084 | 2147483647 44541 27 | 1.914 % |
47.52/47.69 c | 137539 | 410 13182 62084 | 2147483647 45084 27 | 1.914 % |
47.92/48.02 c | 138135 | 410 13182 62084 | 2147483647 45680 27 | 1.915 % |
48.23/48.33 c | 138790 | 410 13182 62084 | 2147483647 46335 27 | 1.915 % |
48.52/48.69 c | 139510 | 410 13182 62084 | 2147483647 47055 27 | 1.915 % |
49.02/49.12 c | 140302 | 410 13182 62084 | 47545 41925 27 | 1.914 % |
49.33/49.45 c | 141173 | 410 13182 62084 | 47545 42796 27 | 1.914 % |
49.72/49.83 c | 142131 | 410 13182 62084 | 47545 43754 27 | 1.914 % |
50.22/50.33 c | 143185 | 410 13182 62084 | 47545 44808 27 | 1.914 % |
50.72/50.84 c | 144343 | 410 13182 62084 | 47545 45966 27 | 1.914 % |
51.22/51.32 c | 145617 | 410 13182 62084 | 47545 47240 27 | 1.914 % |
51.92/52.01 c | 147017 | 410 13182 62084 | 47545 42442 26 | 1.914 % |
52.62/52.72 c | 148558 | 410 13182 62084 | 47545 43983 27 | 1.914 % |
52.62/52.78 c | 148661 | 410 13182 62084 | 47545 44086 27 | 1.914 % |
52.72/52.83 c | 148771 | 410 13182 62084 | 47545 44196 27 | 1.914 % |
52.72/52.89 c | 148892 | 410 13182 62084 | 47545 44317 27 | 1.914 % |
52.82/52.96 c | 149026 | 410 13182 62084 | 47545 44451 27 | 1.914 % |
52.92/53.06 c | 149172 | 410 13182 62084 | 47545 44597 27 | 1.914 % |
53.02/53.13 c | 149332 | 410 13182 62084 | 47545 44757 27 | 1.914 % |
53.12/53.22 c | 149508 | 410 13182 62084 | 47545 44933 27 | 1.915 % |
53.22/53.34 c | 149701 | 410 13182 62084 | 47545 45126 27 | 1.915 % |
53.32/53.44 c | 149913 | 410 13182 62084 | 47545 45338 27 | 1.914 % |
53.52/53.61 c | 150147 | 410 13182 62084 | 45425 39174 26 | 1.914 % |
53.62/53.74 c | 150403 | 410 13182 62084 | 45425 39430 26 | 1.914 % |
53.72/53.87 c | 150685 | 410 13182 62084 | 45425 39712 26 | 1.920 % |
53.92/54.00 c | 150995 | 410 13182 62084 | 45425 40022 26 | 1.914 % |
54.02/54.19 c | 151334 | 410 13182 62084 | 45425 40361 26 | 1.914 % |
54.22/54.37 c | 151707 | 410 13182 62084 | 45425 40734 26 | 1.914 % |
54.42/54.53 c | 152119 | 410 13182 62084 | 45425 41146 26 | 1.914 % |
54.62/54.70 c | 152573 | 410 13182 62084 | 45425 41600 26 | 1.914 % |
54.82/54.93 c | 153066 | 410 13182 62084 | 45425 42093 26 | 1.914 % |
55.12/55.22 c | 153611 | 410 13182 62084 | 45425 42638 26 | 1.914 % |
55.42/55.51 c | 154209 | 410 13182 62084 | 45425 43236 26 | 1.914 % |
55.62/55.78 c | 154864 | 410 13182 62084 | 45425 43891 26 | 1.914 % |
56.02/56.11 c | 155585 | 410 13182 62084 | 45425 44612 26 | 1.914 % |
56.32/56.41 c | 156377 | 410 13182 62084 | 45425 45404 26 | 1.914 % |
56.72/56.81 c | 157248 | 410 13182 62084 | 45425 39420 26 | 1.914 % |
57.02/57.17 c | 158206 | 410 13182 62084 | 45425 40378 26 | 1.914 % |
57.42/57.57 c | 159259 | 410 13182 62084 | 45425 41431 26 | 1.920 % |
57.92/58.02 c | 160417 | 410 13182 62084 | 42172 36969 25 | 1.915 % |
58.42/58.52 c | 161690 | 410 13182 62084 | 42172 38242 26 | 1.914 % |
59.02/59.13 c | 163090 | 410 13182 62084 | 42172 39642 26 | 1.914 % |
59.61/59.79 c | 164631 | 410 13182 62084 | 42172 41183 26 | 1.914 % |
60.42/60.53 c | 166325 | 410 13182 62084 | 42172 38432 26 | 1.914 % |
60.42/60.58 c | 166425 | 410 13182 62084 | 42172 38532 26 | 1.914 % |
60.51/60.63 c | 166535 | 410 13182 62084 | 42172 38642 26 | 1.914 % |
60.61/60.70 c | 166657 | 410 13182 62084 | 42172 38764 26 | 1.914 % |
60.61/60.76 c | 166790 | 410 13182 62084 | 42172 38897 26 | 1.914 % |
60.71/60.82 c | 166937 | 410 13182 62084 | 42172 39044 26 | 1.914 % |
60.71/60.88 c | 167099 | 410 13182 62084 | 42172 39206 26 | 1.914 % |
60.81/60.99 c | 167275 | 410 13182 62084 | 42172 39382 26 | 1.915 % |
60.91/61.06 c | 167470 | 410 13182 62084 | 42172 39577 26 | 1.914 % |
61.01/61.12 c | 167683 | 410 13182 62084 | 42172 39790 26 | 1.914 % |
61.11/61.22 c | 167916 | 410 13182 62084 | 42172 40023 26 | 1.915 % |
61.11/61.29 c | 168173 | 410 13182 62084 | 42172 40280 26 | 1.914 % |
61.31/61.41 c | 168455 | 410 13182 62084 | 42172 40562 26 | 1.914 % |
61.42/61.54 c | 168765 | 410 13182 62084 | 42172 40872 26 | 1.914 % |
61.52/61.67 c | 169105 | 410 13182 62084 | 42172 41212 26 | 1.914 % |
61.61/61.78 c | 169477 | 410 13182 62084 | 42172 41584 26 | 1.914 % |
61.81/61.96 c | 169886 | 410 13182 62084 | 42172 41993 26 | 1.914 % |
62.11/62.21 c | 170337 | 410 13182 62084 | 42108 38144 26 | 1.914 % |
62.31/62.46 c | 170830 | 410 13182 62084 | 42108 38637 26 | 1.914 % |
62.52/62.69 c | 171374 | 410 13182 62084 | 42108 39181 26 | 1.914 % |
62.81/62.96 c | 171972 | 410 13182 62084 | 42108 39779 26 | 1.929 % |
63.11/63.20 c | 172627 | 410 13182 62084 | 42108 40434 26 | 1.914 % |
63.41/63.55 c | 173349 | 410 13182 62084 | 42108 41156 26 | 1.914 % |
63.81/63.94 c | 174141 | 410 13182 62084 | 42108 41948 26 | 1.915 % |
64.21/64.37 c | 175012 | 410 13182 62084 | 42108 38031 26 | 1.915 % |
64.61/64.77 c | 175971 | 410 13182 62084 | 42108 38990 26 | 1.914 % |
65.01/65.15 c | 177024 | 410 13182 62084 | 42108 40043 26 | 1.914 % |
65.51/65.63 c | 178183 | 410 13182 62084 | 42108 41202 26 | 1.914 % |
66.21/66.34 c | 179457 | 410 13182 62084 | 42108 37598 26 | 1.914 % |
66.71/66.88 c | 180858 | 410 13182 62084 | 38141 34847 26 | 1.914 % |
67.31/67.44 c | 182399 | 410 13182 62084 | 38141 36388 26 | 1.914 % |
67.91/68.09 c | 184095 | 410 13182 62084 | 38141 38084 26 | 1.915 % |
68.71/68.87 c | 185958 | 410 13182 62084 | 38141 36120 26 | 1.915 % |
68.81/68.90 c | 186058 | 410 13182 62084 | 38141 36220 26 | 1.914 % |
68.81/68.94 c | 186168 | 410 13182 62084 | 38141 36330 26 | 1.914 % |
68.91/69.00 c | 186290 | 410 13182 62084 | 38141 36452 26 | 1.914 % |
68.91/69.06 c | 186424 | 410 13182 62084 | 38141 36586 26 | 1.914 % |
69.01/69.12 c | 186571 | 410 13182 62084 | 38141 36733 26 | 1.914 % |
69.11/69.21 c | 186731 | 410 13182 62084 | 38141 36893 26 | 1.914 % |
69.11/69.29 c | 186909 | 410 13182 62084 | 38141 37071 26 | 1.914 % |
69.21/69.35 c | 187105 | 410 13182 62084 | 38141 37267 26 | 1.914 % |
69.31/69.42 c | 187317 | 410 13182 62084 | 38141 37479 26 | 1.914 % |
69.31/69.49 c | 187550 | 410 13182 62084 | 38141 37712 26 | 1.914 % |
69.51/69.65 c | 187806 | 410 13182 62084 | 38141 37968 26 | 1.914 % |
69.71/69.80 c | 188087 | 410 13182 62084 | 38141 34428 26 | 1.915 % |
69.81/69.92 c | 188396 | 410 13182 62084 | 38141 34737 26 | 1.914 % |
69.91/70.08 c | 188735 | 410 13182 62084 | 38141 35076 26 | 1.914 % |
70.11/70.21 c | 189108 | 410 13182 62084 | 38141 35449 26 | 1.914 % |
70.21/70.37 c | 189518 | 410 13182 62084 | 38141 35859 26 | 1.914 % |
70.41/70.54 c | 189968 | 410 13182 62084 | 38141 36309 26 | 1.914 % |
70.61/70.73 c | 190461 | 410 13182 62084 | 2147483647 36802 26 | 1.914 % |
70.81/70.94 c | 191003 | 410 13182 62084 | 2147483647 37344 26 | 1.914 % |
71.01/71.18 c | 191600 | 410 13182 62084 | 2147483647 37941 26 | 1.914 % |
71.31/71.46 c | 192256 | 410 13182 62084 | 2147483647 38597 26 | 1.914 % |
71.51/71.67 c | 192978 | 410 13182 62084 | 2147483647 39319 26 | 1.914 % |
71.81/71.96 c | 193770 | 410 13182 62084 | 2147483647 40111 26 | 1.914 % |
72.11/72.27 c | 194641 | 410 13182 62084 | 2147483647 40982 26 | 1.920 % |
72.41/72.58 c | 195599 | 410 13182 62084 | 2147483647 41940 26 | 1.914 % |
72.90/73.08 c | 196652 | 410 13182 62084 | 2147483647 42993 27 | 1.914 % |
73.51/73.67 c | 197810 | 410 13182 62084 | 2147483647 44151 27 | 1.914 % |
74.10/74.29 c | 199084 | 410 13182 62084 | 2147483647 45425 27 | 1.914 % |
75.10/75.26 c | 200484 | 410 13182 62084 | 2147483647 46825 27 | 1.914 % |
75.90/76.03 c | 202027 | 410 13182 62084 | 2147483647 48368 27 | 1.914 % |
76.80/76.93 c | 203723 | 410 13182 62084 | 2147483647 50064 27 | 1.915 % |
77.80/77.91 c | 205588 | 410 13182 62084 | 2147483647 51929 27 | 1.914 % |
79.10/79.22 c | 207638 | 410 13182 62084 | 2147483647 53979 27 | 1.914 % |
79.10/79.27 c | 207738 | 410 13182 62084 | 2147483647 54079 27 | 1.914 % |
79.19/79.34 c | 207849 | 410 13182 62084 | 2147483647 54190 27 | 1.914 % |
79.29/79.42 c | 207973 | 410 13182 62084 | 2147483647 54314 27 | 1.914 % |
79.29/79.49 c | 208107 | 410 13182 62084 | 2147483647 54448 27 | 1.914 % |
79.39/79.57 c | 208254 | 410 13182 62084 | 2147483647 54595 27 | 1.914 % |
79.49/79.66 c | 208414 | 410 13182 62084 | 2147483647 54755 27 | 1.914 % |
79.59/79.78 c | 208590 | 410 13182 62084 | 2147483647 54931 27 | 1.914 % |
79.79/79.94 c | 208783 | 410 13182 62084 | 2147483647 55124 27 | 1.914 % |
79.89/80.07 c | 208997 | 410 13182 62084 | 2147483647 55338 27 | 1.914 % |
80.10/80.22 c | 209230 | 410 13182 62084 | 2147483647 55571 27 | 1.914 % |
80.20/80.37 c | 209487 | 410 13182 62084 | 2147483647 55828 27 | 1.920 % |
80.39/80.52 c | 209769 | 410 13182 62084 | 2147483647 56110 27 | 1.914 % |
80.69/80.82 c | 210080 | 410 13182 62084 | 56341 46063 26 | 1.914 % |
80.79/80.99 c | 210421 | 410 13182 62084 | 56341 46404 26 | 1.914 % |
80.99/81.14 c | 210794 | 410 13182 62084 | 56341 46777 26 | 1.915 % |
81.20/81.36 c | 211203 | 410 13182 62084 | 56341 47186 26 | 1.914 % |
81.49/81.62 c | 211652 | 410 13182 62084 | 56341 47635 26 | 1.914 % |
81.69/81.83 c | 212146 | 410 13182 62084 | 56341 48129 27 | 1.914 % |
81.89/82.10 c | 212688 | 410 13182 62084 | 56341 48671 27 | 1.914 % |
82.29/82.42 c | 213285 | 410 13182 62084 | 56341 49268 27 | 1.914 % |
82.69/82.86 c | 213944 | 410 13182 62084 | 56341 49927 27 | 1.914 % |
83.09/83.27 c | 214664 | 410 13182 62084 | 56341 50647 27 | 1.914 % |
83.59/83.75 c | 215459 | 410 13182 62084 | 56341 51442 27 | 1.914 % |
84.19/84.33 c | 216330 | 410 13182 62084 | 56341 52313 27 | 1.915 % |
84.69/84.87 c | 217288 | 410 13182 62084 | 56341 53271 27 | 1.916 % |
85.29/85.43 c | 218343 | 410 13182 62084 | 56341 54326 27 | 1.914 % |
85.99/86.14 c | 219501 | 410 13182 62084 | 56341 55484 27 | 1.914 % |
86.79/86.96 c | 220774 | 410 13182 62084 | 55983 45484 26 | 1.914 % |
87.39/87.57 c | 222176 | 410 13182 62084 | 55983 46886 26 | 1.914 % |
88.19/88.39 c | 223716 | 410 13182 62084 | 55983 48426 26 | 1.914 % |
88.99/89.18 c | 225414 | 410 13182 62084 | 55983 50124 26 | 1.914 % |
90.09/90.20 c | 227280 | 410 13182 62084 | 55983 51990 27 | 1.914 % |
91.09/91.21 c | 229329 | 410 13182 62084 | 55983 54039 27 | 1.914 % |
92.38/92.56 c | 231582 | 410 13182 62084 | 54710 47474 26 | 1.914 % |
92.48/92.63 c | 231685 | 410 13182 62084 | 54710 47577 26 | 1.914 % |
92.48/92.68 c | 231796 | 410 13182 62084 | 54710 47688 26 | 1.914 % |
92.58/92.76 c | 231919 | 410 13182 62084 | 54710 47811 26 | 1.915 % |
92.68/92.83 c | 232052 | 410 13182 62084 | 54710 47944 26 | 1.914 % |
92.78/92.93 c | 232199 | 410 13182 62084 | 54710 48091 26 | 1.914 % |
92.88/93.02 c | 232359 | 410 13182 62084 | 54710 48251 26 | 1.915 % |
92.88/93.09 c | 232536 | 410 13182 62084 | 54710 48428 26 | 1.914 % |
93.08/93.22 c | 232730 | 410 13182 62084 | 54710 48622 26 | 1.914 % |
93.18/93.33 c | 232942 | 410 13182 62084 | 54710 48834 26 | 1.914 % |
93.29/93.49 c | 233177 | 410 13182 62084 | 54710 49069 26 | 1.914 % |
93.48/93.63 c | 233433 | 410 13182 62084 | 54710 49325 26 | 1.914 % |
93.58/93.78 c | 233714 | 410 13182 62084 | 54710 49606 26 | 1.914 % |
93.78/93.96 c | 234024 | 410 13182 62084 | 54710 49916 26 | 1.914 % |
94.08/94.21 c | 234363 | 410 13182 62084 | 54710 50255 26 | 1.914 % |
94.28/94.45 c | 234735 | 410 13182 62084 | 54710 50627 26 | 1.914 % |
94.58/94.71 c | 235145 | 410 13182 62084 | 54710 51037 27 | 1.914 % |
94.78/94.97 c | 235594 | 410 13182 62084 | 54710 51486 27 | 1.915 % |
95.08/95.28 c | 236091 | 410 13182 62084 | 54710 51983 27 | 1.914 % |
95.38/95.55 c | 236633 | 410 13182 62084 | 54710 52525 27 | 1.914 % |
95.68/95.84 c | 237232 | 410 13182 62084 | 54710 53124 27 | 1.914 % |
95.98/96.10 c | 237887 | 410 13182 62084 | 54710 53779 27 | 1.914 % |
96.28/96.49 c | 238608 | 410 13182 62084 | 54710 54500 27 | 1.914 % |
96.98/97.16 c | 239400 | 410 13182 62084 | 54710 45416 26 | 1.914 % |
97.48/97.61 c | 240272 | 410 13182 62084 | 46018 38281 26 | 1.914 % |
97.79/97.93 c | 241230 | 410 13182 62084 | 46018 39239 26 | 1.915 % |
98.08/98.28 c | 242284 | 410 13182 62084 | 46018 40293 26 | 1.914 % |
98.58/98.78 c | 243442 | 410 13182 62084 | 46018 41451 26 | 1.914 % |
99.18/99.33 c | 244715 | 410 13182 62084 | 46018 42724 26 | 1.920 % |
99.68/99.86 c | 246118 | 410 13182 62084 | 46018 44127 26 | 1.915 % |
100.38/100.54 c | 247659 | 410 13182 62084 | 46018 45668 26 | 1.914 % |
101.18/101.37 c | 249353 | 410 13182 62084 | 46018 41137 26 | 1.914 % |
101.98/102.13 c | 251216 | 410 13182 62084 | 41785 37613 25 | 1.914 % |
102.68/102.86 c | 253265 | 410 13182 62084 | 41785 39662 25 | 1.914 % |
103.78/103.91 c | 255519 | 410 13182 62084 | 41785 37731 25 | 1.914 % |
104.68/104.87 c | 257999 | 410 13182 62084 | 41785 40211 25 | 1.914 % |
104.78/104.92 c | 258099 | 410 13182 62084 | 41785 40311 25 | 1.914 % |
104.78/104.97 c | 258209 | 410 13182 62084 | 41785 40421 25 | 1.914 % |
104.88/105.04 c | 258330 | 410 13182 62084 | 41785 40542 25 | 1.914 % |
104.98/105.10 c | 258463 | 410 13182 62084 | 41785 40675 25 | 1.914 % |
104.98/105.16 c | 258615 | 410 13182 62084 | 41785 40827 25 | 1.914 % |
105.08/105.24 c | 258775 | 410 13182 62084 | 41785 40987 25 | 1.915 % |
105.18/105.32 c | 258951 | 410 13182 62084 | 41785 41163 25 | 1.914 % |
105.18/105.39 c | 259145 | 410 13182 62084 | 41785 41357 25 | 1.914 % |
105.28/105.46 c | 259357 | 410 13182 62084 | 41785 41569 25 | 1.914 % |
105.38/105.54 c | 259591 | 410 13182 62084 | 41785 41803 25 | 1.914 % |
105.58/105.73 c | 259847 | 410 13182 62084 | 41785 37879 25 | 1.914 % |
105.68/105.86 c | 260130 | 410 13182 62084 | 2147483647 38162 25 | 1.914 % |
105.78/105.99 c | 260439 | 410 13182 62084 | 2147483647 38471 25 | 1.914 % |
105.88/106.10 c | 260779 | 410 13182 62084 | 2147483647 38811 25 | 1.914 % |
106.08/106.22 c | 261153 | 410 13182 62084 | 2147483647 39185 25 | 1.914 % |
106.18/106.36 c | 261564 | 410 13182 62084 | 2147483647 39596 25 | 1.914 % |
106.48/106.62 c | 262013 | 410 13182 62084 | 2147483647 40045 25 | 1.914 % |
106.58/106.77 c | 262506 | 410 13182 62084 | 2147483647 40538 25 | 1.914 % |
106.78/106.98 c | 263050 | 410 13182 62084 | 2147483647 41082 25 | 1.914 % |
107.07/107.29 c | 263646 | 410 13182 62084 | 2147483647 41678 25 | 1.914 % |
107.47/107.62 c | 264301 | 410 13182 62084 | 2147483647 42333 25 | 1.914 % |
107.77/107.95 c | 265023 | 410 13182 62084 | 2147483647 43055 25 | 1.914 % |
108.17/108.32 c | 265816 | 410 13182 62084 | 2147483647 43848 25 | 1.914 % |
108.47/108.66 c | 266688 | 410 13182 62084 | 2147483647 44720 26 | 1.914 % |
108.87/109.06 c | 267646 | 410 13182 62084 | 2147483647 45678 26 | 1.914 % |
109.27/109.49 c | 268699 | 410 13182 62084 | 2147483647 46731 26 | 1.914 % |
109.88/110.05 c | 269857 | 410 13182 62084 | 2147483647 47889 26 | 1.915 % |
110.47/110.66 c | 271131 | 410 13182 62084 | 2147483647 49163 26 | 1.914 % |
111.17/111.36 c | 272532 | 410 13182 62084 | 2147483647 50564 26 | 1.914 % |
112.08/112.29 c | 274074 | 410 13182 62084 | 2147483647 52106 26 | 1.914 % |
112.97/113.20 c | 275773 | 410 13182 62084 | 2147483647 53805 26 | 1.915 % |
113.97/114.17 c | 277636 | 410 13182 62084 | 2147483647 55668 26 | 1.914 % |
114.97/115.19 c | 279685 | 410 13182 62084 | 2147483647 57717 27 | 1.915 % |
116.57/116.71 c | 281939 | 410 13182 62084 | 58032 51114 26 | 1.914 % |
117.97/118.12 c | 284417 | 410 13182 62084 | 58032 53592 26 | 1.914 % |
119.67/119.88 c | 287146 | 410 13182 62084 | 58032 56321 27 | 1.914 % |
119.77/119.97 c | 287246 | 410 13182 62084 | 58032 56421 27 | 1.914 % |
119.87/120.05 c | 287356 | 410 13182 62084 | 58032 56531 27 | 1.915 % |
119.97/120.14 c | 287477 | 410 13182 62084 | 58032 56652 27 | 1.914 % |
120.07/120.21 c | 287613 | 410 13182 62084 | 58032 56788 27 | 1.914 % |
120.17/120.31 c | 287760 | 410 13182 62084 | 58032 56935 27 | 1.914 % |
120.27/120.41 c | 287921 | 410 13182 62084 | 58032 57096 27 | 1.914 % |
120.37/120.50 c | 288097 | 410 13182 62084 | 58032 57272 27 | 1.914 % |
120.47/120.67 c | 288290 | 410 13182 62084 | 58032 57465 27 | 1.914 % |
120.57/120.80 c | 288503 | 410 13182 62084 | 58032 57678 27 | 1.914 % |
120.77/120.95 c | 288741 | 410 13182 62084 | 58032 57916 27 | 1.915 % |
121.07/121.23 c | 288998 | 410 13182 62084 | 58032 47025 26 | 1.914 % |
121.17/121.39 c | 289279 | 410 13182 62084 | 58032 47306 26 | 1.915 % |
121.37/121.54 c | 289591 | 410 13182 62084 | 58032 47618 26 | 1.914 % |
121.57/121.75 c | 289930 | 410 13182 62084 | 58032 47957 27 | 1.914 % |
121.87/122.04 c | 290302 | 410 13182 62084 | 48028 39187 26 | 1.914 % |
122.06/122.25 c | 290712 | 410 13182 62084 | 48028 39597 26 | 1.914 % |
122.16/122.39 c | 291162 | 410 13182 62084 | 48028 40047 26 | 1.915 % |
122.36/122.54 c | 291656 | 410 13182 62084 | 48028 40541 26 | 1.914 % |
122.56/122.72 c | 292200 | 410 13182 62084 | 48028 41085 26 | 1.914 % |
122.77/122.96 c | 292797 | 410 13182 62084 | 48028 41682 26 | 1.914 % |
123.07/123.22 c | 293452 | 410 13182 62084 | 48028 42337 26 | 1.914 % |
123.37/123.52 c | 294172 | 410 13182 62084 | 48028 43057 26 | 1.914 % |
123.67/123.88 c | 294964 | 410 13182 62084 | 48028 43849 26 | 1.914 % |
124.07/124.25 c | 295835 | 410 13182 62084 | 48028 44720 26 | 1.914 % |
124.46/124.61 c | 296793 | 410 13182 62084 | 48028 45678 26 | 1.914 % |
124.86/125.06 c | 297846 | 410 13182 62084 | 48028 46731 27 | 1.914 % |
125.36/125.57 c | 299004 | 410 13182 62084 | 48028 47889 27 | 1.915 % |
126.16/126.34 c | 300279 | 410 13182 62084 | 42353 37147 26 | 1.914 % |
126.76/126.95 c | 301679 | 410 13182 62084 | 42353 38547 26 | 1.914 % |
127.47/127.68 c | 303220 | 410 13182 62084 | 42353 40088 26 | 1.914 % |
128.26/128.49 c | 304915 | 410 13182 62084 | 42353 41783 26 | 1.914 % |
129.16/129.39 c | 306778 | 410 13182 62084 | 42353 39289 26 | 1.914 % |
130.06/130.28 c | 308829 | 410 13182 62084 | 42353 41340 26 | 1.914 % |
131.06/131.28 c | 311082 | 410 13182 62084 | 37930 35011 25 | 1.914 % |
132.06/132.21 c | 313562 | 410 13182 62084 | 37930 37491 26 | 1.914 % |
133.16/133.35 c | 316287 | 410 13182 62084 | 37930 36414 26 | 1.915 % |
134.36/134.50 c | 319285 | 410 13182 62084 | 37930 35612 26 | 1.914 % |
134.36/134.55 c | 319385 | 410 13182 62084 | 37930 35712 26 | 1.914 % |
134.36/134.59 c | 319496 | 410 13182 62084 | 37930 35823 26 | 1.915 % |
134.46/134.66 c | 319617 | 410 13182 62084 | 37930 35944 26 | 1.914 % |
134.56/134.71 c | 319750 | 410 13182 62084 | 37930 36077 26 | 1.915 % |
134.56/134.77 c | 319897 | 410 13182 62084 | 37930 36224 26 | 1.915 % |
134.66/134.84 c | 320059 | 410 13182 62084 | 2147483647 36386 26 | 1.914 % |
134.76/134.91 c | 320237 | 410 13182 62084 | 2147483647 36564 26 | 1.914 % |
134.76/134.98 c | 320430 | 410 13182 62084 | 2147483647 36757 26 | 1.914 % |
134.86/135.06 c | 320642 | 410 13182 62084 | 2147483647 36969 26 | 1.914 % |
134.96/135.14 c | 320875 | 410 13182 62084 | 2147483647 37202 26 | 1.915 % |
135.06/135.22 c | 321131 | 410 13182 62084 | 2147483647 37458 26 | 1.914 % |
135.16/135.33 c | 321412 | 410 13182 62084 | 2147483647 37739 26 | 1.914 % |
135.26/135.48 c | 321722 | 410 13182 62084 | 2147483647 38049 26 | 1.914 % |
135.46/135.63 c | 322061 | 410 13182 62084 | 2147483647 38388 26 | 1.914 % |
135.56/135.79 c | 322433 | 410 13182 62084 | 2147483647 38760 26 | 1.914 % |
135.76/135.92 c | 322843 | 410 13182 62084 | 2147483647 39170 26 | 1.914 % |
135.96/136.11 c | 323292 | 410 13182 62084 | 2147483647 39619 26 | 1.914 % |
136.16/136.32 c | 323785 | 410 13182 62084 | 2147483647 40112 26 | 1.915 % |
136.36/136.54 c | 324327 | 410 13182 62084 | 2147483647 40654 26 | 1.914 % |
136.66/136.83 c | 324924 | 410 13182 62084 | 2147483647 41251 26 | 1.914 % |
136.96/137.19 c | 325579 | 410 13182 62084 | 2147483647 41906 26 | 1.914 % |
137.56/137.76 c | 326299 | 410 13182 62084 | 2147483647 42626 26 | 1.914 % |
137.86/138.07 c | 327093 | 410 13182 62084 | 2147483647 43420 26 | 1.914 % |
138.36/138.54 c | 327966 | 410 13182 62084 | 2147483647 44293 26 | 1.914 % |
138.76/138.96 c | 328924 | 410 13182 62084 | 2147483647 45251 26 | 1.920 % |
139.26/139.44 c | 329977 | 410 13182 62084 | 2147483647 46304 26 | 1.914 % |
139.86/140.04 c | 331136 | 410 13182 62084 | 46328 41246 26 | 1.914 % |
140.26/140.45 c | 332410 | 410 13182 62084 | 46328 42520 26 | 1.914 % |
140.86/141.03 c | 333811 | 410 13182 62084 | 46328 43921 26 | 1.914 % |
141.55/141.78 c | 335352 | 410 13182 62084 | 46328 45462 26 | 1.914 % |
142.45/142.61 c | 337047 | 410 13182 62084 | 46328 41369 26 | 1.914 % |
143.35/143.53 c | 338911 | 410 13182 62084 | 46328 43233 26 | 1.914 % |
144.24/144.41 c | 340963 | 410 13182 62084 | 44323 40161 26 | 1.915 % |
145.04/145.22 c | 343218 | 410 13182 62084 | 44323 42416 26 | 1.914 % |
145.94/146.15 c | 345698 | 410 13182 62084 | 44323 39531 25 | 1.914 % |
147.04/147.24 c | 348423 | 410 13182 62084 | 44323 42256 25 | 1.914 % |
148.24/148.44 c | 351420 | 410 13182 62084 | 43833 40409 25 | 1.915 % |
149.63/149.80 c | 354716 | 410 13182 62084 | 43833 43705 25 | 1.914 % |
149.63/149.86 c | 354817 | 410 13182 62084 | 43833 43806 25 | 1.920 % |
149.73/149.97 c | 354928 | 410 13182 62084 | 43833 39528 25 | 1.920 % |
149.83/150.02 c | 355050 | 410 13182 62084 | 43833 39650 25 | 1.914 % |
149.93/150.11 c | 355183 | 410 13182 62084 | 43833 39783 25 | 1.914 % |
149.93/150.17 c | 355329 | 410 13182 62084 | 43833 39929 25 | 1.914 % |
150.03/150.25 c | 355489 | 410 13182 62084 | 43833 40089 25 | 1.914 % |
150.13/150.32 c | 355665 | 410 13182 62084 | 43833 40265 25 | 1.914 % |
150.13/150.39 c | 355858 | 410 13182 62084 | 43833 40458 25 | 1.915 % |
150.23/150.49 c | 356070 | 410 13182 62084 | 43833 40670 25 | 1.915 % |
150.33/150.59 c | 356304 | 410 13182 62084 | 43833 40904 25 | 1.914 % |
150.54/150.70 c | 356560 | 410 13182 62084 | 43833 41160 25 | 1.914 % |
150.63/150.85 c | 356841 | 410 13182 62084 | 43833 41441 25 | 1.915 % |
150.73/150.99 c | 357153 | 410 13182 62084 | 43833 41753 25 | 1.914 % |
150.93/151.13 c | 357492 | 410 13182 62084 | 43833 42092 25 | 1.915 % |
151.13/151.30 c | 357868 | 410 13182 62084 | 43833 42468 25 | 1.915 % |
151.23/151.47 c | 358280 | 410 13182 62084 | 43833 42880 25 | 1.915 % |
151.43/151.67 c | 358729 | 410 13182 62084 | 43833 43329 25 | 1.915 % |
151.73/151.92 c | 359222 | 410 13182 62084 | 43833 43822 25 | 1.915 % |
152.03/152.21 c | 359766 | 410 13182 62084 | 43833 39979 25 | 1.914 % |
152.23/152.50 c | 360362 | 410 13182 62084 | 2147483647 40575 25 | 1.914 % |
152.53/152.79 c | 361019 | 410 13182 62084 | 2147483647 41232 25 | 1.914 % |
152.83/153.09 c | 361739 | 410 13182 62084 | 2147483647 41952 25 | 1.915 % |
153.23/153.43 c | 362532 | 410 13182 62084 | 2147483647 42745 25 | 1.914 % |
153.63/153.81 c | 363403 | 410 13182 62084 | 2147483647 43616 25 | 1.914 % |
154.03/154.23 c | 364363 | 410 13182 62084 | 2147483647 44576 26 | 1.915 % |
154.53/154.71 c | 365417 | 410 13182 62084 | 2147483647 45630 26 | 1.914 % |
154.94/155.19 c | 366576 | 410 13182 62084 | 2147483647 46789 26 | 1.914 % |
155.83/156.07 c | 367849 | 410 13182 62084 | 2147483647 48062 26 | 1.914 % |
156.53/156.74 c | 369251 | 410 13182 62084 | 2147483647 49464 26 | 1.914 % |
157.43/157.62 c | 370791 | 410 13182 62084 | 50213 44026 25 | 1.915 % |
158.03/158.29 c | 372487 | 410 13182 62084 | 50213 45722 25 | 1.914 % |
158.83/159.10 c | 374350 | 410 13182 62084 | 50213 47585 25 | 1.914 % |
159.73/159.98 c | 376399 | 410 13182 62084 | 50213 49634 25 | 1.915 % |
161.13/161.32 c | 378652 | 410 13182 62084 | 50213 45750 25 | 1.914 % |
162.33/162.58 c | 381131 | 410 13182 62084 | 47098 42077 25 | 1.915 % |
163.53/163.73 c | 383856 | 410 13182 62084 | 47098 44802 25 | 1.914 % |
164.53/164.76 c | 386854 | 410 13182 62084 | 47098 40994 25 | 1.918 % |
165.93/166.12 c | 390150 | 410 13182 62084 | 44141 38660 24 | 1.914 % |
167.22/167.41 c | 393776 | 410 13182 62084 | 44141 42286 24 | 1.915 % |
167.22/167.45 c | 393876 | 410 13182 62084 | 44141 42386 24 | 1.914 % |
167.32/167.51 c | 393986 | 410 13182 62084 | 44141 42496 24 | 1.915 % |
167.32/167.56 c | 394110 | 410 13182 62084 | 44141 42620 24 | 1.914 % |
167.42/167.62 c | 394243 | 410 13182 62084 | 44141 42753 24 | 1.915 % |
167.42/167.68 c | 394390 | 410 13182 62084 | 44141 42900 24 | 1.914 % |
167.52/167.74 c | 394550 | 410 13182 62084 | 44141 43060 24 | 1.914 % |
167.62/167.84 c | 394727 | 410 13182 62084 | 44141 43237 24 | 1.914 % |
167.72/167.92 c | 394920 | 410 13182 62084 | 44141 43430 24 | 1.914 % |
167.82/168.04 c | 395133 | 410 13182 62084 | 44141 43643 24 | 1.914 % |
167.92/168.14 c | 395366 | 410 13182 62084 | 44141 43876 24 | 1.914 % |
168.02/168.24 c | 395622 | 410 13182 62084 | 44141 44132 24 | 1.914 % |
168.12/168.39 c | 395903 | 410 13182 62084 | 44141 39992 24 | 1.914 % |
168.21/168.49 c | 396214 | 410 13182 62084 | 44141 40303 24 | 1.914 % |
168.41/168.62 c | 396554 | 410 13182 62084 | 44141 40643 24 | 1.914 % |
168.61/168.80 c | 396927 | 410 13182 62084 | 44141 41016 24 | 1.914 % |
168.71/168.96 c | 397337 | 410 13182 62084 | 44141 41426 24 | 1.914 % |
168.91/169.14 c | 397787 | 410 13182 62084 | 44141 41876 24 | 1.914 % |
169.11/169.33 c | 398281 | 410 13182 62084 | 44141 42370 24 | 1.914 % |
169.21/169.49 c | 398823 | 410 13182 62084 | 44141 42912 24 | 1.914 % |
169.51/169.75 c | 399419 | 410 13182 62084 | 44141 43508 24 | 1.915 % |
169.71/169.99 c | 400074 | 410 13182 62084 | 2147483647 44163 24 | 1.914 % |
170.11/170.35 c | 400794 | 410 13182 62084 | 2147483647 44883 24 | 1.914 % |
170.50/170.75 c | 401586 | 410 13182 62084 | 2147483647 45675 24 | 1.914 % |
170.90/171.17 c | 402459 | 410 13182 62084 | 2147483647 46548 25 | 1.914 % |
171.31/171.54 c | 403418 | 410 13182 62084 | 2147483647 47507 25 | 1.915 % |
171.80/172.01 c | 404474 | 410 13182 62084 | 2147483647 48563 25 | 1.914 % |
172.30/172.57 c | 405634 | 410 13182 62084 | 2147483647 49723 25 | 1.914 % |
172.90/173.14 c | 406908 | 410 13182 62084 | 2147483647 50997 25 | 1.914 % |
173.51/173.77 c | 408309 | 410 13182 62084 | 2147483647 52398 25 | 1.914 % |
174.30/174.59 c | 409850 | 410 13182 62084 | 2147483647 53939 25 | 1.915 % |
175.20/175.47 c | 411546 | 410 13182 62084 | 54093 49412 25 | 1.915 % |
176.20/176.42 c | 413409 | 410 13182 62084 | 54093 51275 25 | 1.915 % |
177.20/177.46 c | 415458 | 410 13182 62084 | 54093 53324 25 | 1.914 % |
178.60/178.84 c | 417712 | 410 13182 62084 | 54093 47619 25 | 1.915 % |
179.80/180.04 c | 420192 | 410 13182 62084 | 49907 42246 25 | 1.915 % |
180.90/181.15 c | 422917 | 410 13182 62084 | 49907 44971 25 | 1.915 % |
182.20/182.46 c | 425915 | 409 13142 61880 | 49907 47968 26 | 2.154 % |
183.80/184.01 c | 429211 | 409 13142 61880 | 49907 43794 26 | 2.154 % |
185.30/185.58 c | 432838 | 409 13142 61880 | 44583 40949 25 | 2.154 % |
187.30/187.55 c | 436829 | 409 13142 61880 | 44583 39522 25 | 2.154 % |
187.40/187.60 c | 436929 | 409 13142 61880 | 44583 39622 25 | 2.154 % |
187.40/187.65 c | 437040 | 409 13142 61880 | 44583 39733 25 | 2.154 % |
187.50/187.71 c | 437162 | 409 13142 61880 | 44583 39855 25 | 2.154 % |
187.50/187.77 c | 437296 | 409 13142 61880 | 44583 39989 25 | 2.154 % |
187.60/187.82 c | 437446 | 409 13142 61880 | 44583 40139 25 | 2.154 % |
187.60/187.87 c | 437607 | 409 13142 61880 | 44583 40300 25 | 2.154 % |
187.70/187.94 c | 437783 | 409 13142 61880 | 44583 40476 25 | 2.154 % |
187.80/188.01 c | 437977 | 409 13142 61880 | 44583 40670 25 | 2.154 % |
187.90/188.11 c | 438190 | 409 13142 61880 | 44583 40883 25 | 2.154 % |
187.90/188.19 c | 438423 | 409 13142 61880 | 44583 41116 25 | 2.154 % |
188.09/188.30 c | 438679 | 409 13142 61880 | 44583 41372 25 | 2.154 % |
188.20/188.41 c | 438961 | 409 13142 61880 | 44583 41654 25 | 2.154 % |
188.30/188.54 c | 439270 | 409 13142 61880 | 44583 41963 25 | 2.154 % |
188.40/188.69 c | 439609 | 409 13142 61880 | 44583 42302 25 | 2.157 % |
188.60/188.85 c | 439985 | 409 13142 61880 | 44583 42678 25 | 2.154 % |
188.80/189.07 c | 440394 | 409 13142 61880 | 42693 38088 25 | 2.154 % |
189.00/189.23 c | 440843 | 409 13142 61880 | 42693 38537 25 | 2.159 % |
189.09/189.38 c | 441336 | 409 13142 61880 | 42693 39030 25 | 2.154 % |
189.29/189.56 c | 441878 | 409 13142 61880 | 42693 39572 25 | 2.154 % |
189.49/189.80 c | 442477 | 409 13142 61880 | 42693 40171 25 | 2.154 % |
189.79/190.06 c | 443133 | 409 13142 61880 | 42693 40827 25 | 2.154 % |
190.10/190.32 c | 443853 | 409 13142 61880 | 42693 41547 25 | 2.154 % |
190.39/190.66 c | 444646 | 409 13142 61880 | 42693 42340 25 | 2.154 % |
190.79/191.06 c | 445517 | 409 13142 61880 | 42693 38117 25 | 2.154 % |
191.09/191.39 c | 446476 | 409 13142 61880 | 42693 39076 25 | 2.154 % |
191.49/191.78 c | 447529 | 409 13142 61880 | 42693 40129 25 | 2.154 % |
192.09/192.31 c | 448687 | 409 13142 61880 | 42693 41287 25 | 2.154 % |
192.49/192.74 c | 449960 | 409 13142 61880 | 42693 42560 25 | 2.154 % |
193.09/193.32 c | 451360 | 409 13142 61880 | 2147483647 43960 25 | 2.154 % |
193.79/194.08 c | 452901 | 409 13142 61880 | 2147483647 45501 25 | 2.154 % |
194.69/194.91 c | 454596 | 409 13142 61880 | 2147483647 47196 25 | 2.159 % |
195.49/195.74 c | 456459 | 409 13142 61880 | 2147483647 49059 26 | 2.154 % |
196.39/196.67 c | 458509 | 409 13142 61880 | 2147483647 51109 26 | 2.154 % |
197.69/197.92 c | 460762 | 409 13142 61880 | 52604 46224 26 | 2.154 % |
198.99/199.25 c | 463241 | 409 13142 61880 | 52604 48703 26 | 2.154 % |
200.29/200.59 c | 465966 | 409 13142 61880 | 52604 51428 26 | 2.154 % |
201.99/202.20 c | 468963 | 409 13142 61880 | 52604 45760 26 | 2.154 % |
203.59/203.81 c | 472259 | 409 13142 61880 | 46798 41468 25 | 2.154 % |
205.28/205.52 c | 475886 | 409 13142 61880 | 46798 45095 26 | 2.154 % |
207.38/207.69 c | 479876 | 409 13142 61880 | 46798 43036 26 | 2.154 % |
209.38/209.70 c | 484262 | 409 13142 61880 | 43165 41881 26 | 2.154 % |
209.48/209.74 c | 484365 | 409 13142 61880 | 43165 41984 26 | 2.154 % |
209.48/209.78 c | 484476 | 409 13142 61880 | 43165 42095 26 | 2.154 % |
209.58/209.84 c | 484597 | 409 13142 61880 | 43165 42216 26 | 2.154 % |
209.58/209.89 c | 484730 | 409 13142 61880 | 43165 42349 26 | 2.154 % |
209.68/209.97 c | 484877 | 409 13142 61880 | 43165 42496 26 | 2.154 % |
209.79/210.05 c | 485038 | 409 13142 61880 | 43165 42657 26 | 2.154 % |
209.89/210.16 c | 485215 | 409 13142 61880 | 43165 42834 26 | 2.154 % |
209.98/210.25 c | 485412 | 409 13142 61880 | 43165 43031 26 | 2.154 % |
210.18/210.42 c | 485626 | 409 13142 61880 | 43165 37958 25 | 2.154 % |
210.28/210.51 c | 485859 | 409 13142 61880 | 43165 38191 25 | 2.154 % |
210.38/210.62 c | 486115 | 409 13142 61880 | 43165 38447 25 | 2.154 % |
210.48/210.73 c | 486396 | 409 13142 61880 | 43165 38728 25 | 2.154 % |
210.58/210.84 c | 486706 | 409 13142 61880 | 43165 39038 25 | 2.154 % |
210.68/210.97 c | 487045 | 409 13142 61880 | 43165 39377 25 | 2.154 % |
210.89/211.15 c | 487418 | 409 13142 61880 | 43165 39750 25 | 2.154 % |
211.08/211.30 c | 487827 | 409 13142 61880 | 43165 40159 25 | 2.154 % |
211.18/211.45 c | 488276 | 409 13142 61880 | 43165 40608 25 | 2.154 % |
211.38/211.63 c | 488770 | 409 13142 61880 | 43165 41102 25 | 2.154 % |
211.68/211.91 c | 489312 | 409 13142 61880 | 43165 41644 26 | 2.154 % |
211.88/212.12 c | 489908 | 409 13142 61880 | 43165 42240 26 | 2.154 % |
212.18/212.44 c | 490563 | 409 13142 61880 | 42334 37815 25 | 2.154 % |
212.48/212.73 c | 491284 | 409 13142 61880 | 42334 38536 25 | 2.154 % |
212.77/213.01 c | 492076 | 409 13142 61880 | 42334 39328 25 | 2.154 % |
213.08/213.39 c | 492948 | 409 13142 61880 | 42334 40200 25 | 2.154 % |
213.47/213.71 c | 493908 | 409 13142 61880 | 42334 41160 25 | 2.154 % |
213.88/214.10 c | 494962 | 409 13142 61880 | 42334 42214 25 | 2.154 % |
214.28/214.56 c | 496121 | 409 13142 61880 | 42334 38831 25 | 2.154 % |
214.78/215.03 c | 497394 | 409 13142 61880 | 42334 40104 25 | 2.154 % |
215.38/215.61 c | 498795 | 409 13142 61880 | 42334 41505 25 | 2.154 % |
216.07/216.36 c | 500335 | 409 13142 61880 | 2147483647 38805 25 | 2.154 % |
216.67/216.96 c | 502029 | 409 13142 61880 | 2147483647 40499 25 | 2.154 % |
217.37/217.69 c | 503892 | 409 13142 61880 | 2147483647 42362 25 | 2.154 % |
218.27/218.57 c | 505943 | 409 13142 61880 | 2147483647 44413 25 | 2.154 % |
219.47/219.70 c | 508197 | 409 13142 61880 | 2147483647 46667 26 | 2.154 % |
220.57/220.89 c | 510675 | 409 13142 61880 | 2147483647 49145 26 | 2.154 % |
221.87/222.15 c | 513400 | 409 13142 61880 | 2147483647 51870 26 | 2.154 % |
223.67/223.94 c | 516398 | 409 13142 61880 | 2147483647 54868 26 | 2.154 % |
225.57/225.82 c | 519694 | 409 13142 61880 | 2147483647 58164 27 | 2.154 % |
227.37/227.66 c | 523319 | 409 13142 61880 | 58472 52627 26 | 2.154 % |
229.47/229.74 c | 527306 | 409 13142 61880 | 58472 56614 26 | 2.154 % |
231.97/232.21 c | 531691 | 409 13142 61880 | 47910 40457 25 | 2.154 % |
234.07/234.37 c | 536515 | 409 13142 61880 | 47910 45281 25 | 2.154 % |
234.17/234.44 c | 536616 | 409 13142 61880 | 47910 45382 25 | 2.154 % |
234.27/234.50 c | 536728 | 409 13142 61880 | 47910 45494 25 | 2.154 % |
234.27/234.56 c | 536849 | 409 13142 61880 | 47910 45615 25 | 2.154 % |
234.37/234.61 c | 536982 | 409 13142 61880 | 47910 45748 25 | 2.154 % |
234.37/234.70 c | 537129 | 409 13142 61880 | 47910 45895 25 | 2.154 % |
234.57/234.82 c | 537289 | 409 13142 61880 | 47910 46055 25 | 2.154 % |
234.67/234.91 c | 537465 | 409 13142 61880 | 47910 46231 25 | 2.154 % |
234.77/235.05 c | 537658 | 409 13142 61880 | 47910 46424 25 | 2.154 % |
234.87/235.19 c | 537870 | 409 13142 61880 | 47910 46636 25 | 2.154 % |
235.07/235.34 c | 538103 | 409 13142 61880 | 47910 46869 25 | 2.154 % |
235.27/235.52 c | 538360 | 409 13142 61880 | 47910 47126 25 | 2.154 % |
235.47/235.72 c | 538644 | 409 13142 61880 | 47910 47410 25 | 2.154 % |
235.57/235.87 c | 538956 | 409 13142 61880 | 47910 47722 25 | 2.154 % |
235.86/236.13 c | 539295 | 409 13142 61880 | 47910 39420 25 | 2.154 % |
235.96/236.27 c | 539667 | 409 13142 61880 | 47910 39792 25 | 2.154 % |
236.17/236.46 c | 540076 | 409 13142 61880 | 40125 40201 25 | 2.154 % |
236.36/236.69 c | 540526 | 409 13142 61880 | 40125 33819 24 | 2.154 % |
236.56/236.86 c | 541019 | 409 13142 61880 | 40125 34312 24 | 2.154 % |
236.76/237.06 c | 541561 | 409 13142 61880 | 40125 34854 24 | 2.154 % |
236.96/237.24 c | 542158 | 409 13142 61880 | 40125 35451 24 | 2.154 % |
237.16/237.46 c | 542814 | 409 13142 61880 | 40125 36107 24 | 2.154 % |
237.46/237.71 c | 543535 | 409 13142 61880 | 40125 36828 24 | 2.154 % |
237.66/237.98 c | 544327 | 409 13142 61880 | 40125 37620 24 | 2.154 % |
238.06/238.34 c | 545200 | 409 13142 61880 | 40125 38493 24 | 2.154 % |
238.47/238.74 c | 546158 | 409 13142 61880 | 40125 39451 24 | 2.154 % |
238.96/239.21 c | 547212 | 409 13142 61880 | 40125 36484 24 | 2.154 % |
239.36/239.61 c | 548371 | 409 13142 61880 | 40125 37643 24 | 2.154 % |
239.76/240.06 c | 549646 | 409 13142 61880 | 40125 38918 24 | 2.154 % |
240.26/240.57 c | 551046 | 409 13142 61880 | 2147483647 40318 24 | 2.154 % |
241.06/241.31 c | 552589 | 409 13142 61880 | 2147483647 41861 25 | 2.154 % |
241.77/242.03 c | 554285 | 409 13142 61880 | 2147483647 43557 25 | 2.154 % |
242.56/242.82 c | 556149 | 409 13142 61880 | 2147483647 45421 25 | 2.154 % |
243.36/243.64 c | 558199 | 409 13142 61880 | 2147483647 47471 25 | 2.154 % |
244.46/244.77 c | 560453 | 409 13142 61880 | 49273 43729 25 | 2.154 % |
245.76/246.00 c | 562931 | 409 13142 61880 | 49273 46207 25 | 2.154 % |
246.96/247.21 c | 565658 | 409 13142 61880 | 49273 48934 26 | 2.154 % |
248.26/248.52 c | 568656 | 409 13142 61880 | 49273 44948 25 | 2.154 % |
249.56/249.83 c | 571954 | 409 13142 61880 | 46292 41881 25 | 2.154 % |
251.06/251.39 c | 575580 | 409 13142 61880 | 46292 45507 25 | 2.154 % |
252.96/253.27 c | 579568 | 409 13142 61880 | 46292 42471 25 | 2.154 % |
254.76/255.03 c | 583953 | 409 13142 61880 | 42903 40789 25 | 2.154 % |
256.95/257.21 c | 588776 | 409 13142 61880 | 42903 41181 25 | 2.154 % |
259.45/259.73 c | 594084 | 409 13142 61880 | 2147483647 46489 25 | 2.154 % |
259.55/259.80 c | 594186 | 409 13142 61880 | 2147483647 46591 25 | 2.154 % |
259.55/259.87 c | 594296 | 409 13142 61880 | 2147483647 46701 25 | 2.154 % |
259.65/259.93 c | 594417 | 409 13142 61880 | 2147483647 46822 25 | 2.154 % |
259.75/260.02 c | 594550 | 409 13142 61880 | 2147483647 46955 25 | 2.154 % |
259.85/260.10 c | 594697 | 409 13142 61880 | 2147483647 47102 25 | 2.154 % |
259.85/260.18 c | 594858 | 409 13142 61880 | 2147483647 47263 25 | 2.154 % |
259.95/260.26 c | 595034 | 409 13142 61880 | 2147483647 47439 25 | 2.154 % |
260.05/260.38 c | 595227 | 409 13142 61880 | 2147483647 47632 25 | 2.154 % |
260.15/260.47 c | 595443 | 409 13142 61880 | 2147483647 47848 25 | 2.154 % |
260.25/260.57 c | 595676 | 409 13142 61880 | 2147483647 48081 25 | 2.154 % |
260.35/260.68 c | 595932 | 409 13142 61880 | 2147483647 48337 25 | 2.154 % |
260.55/260.81 c | 596213 | 409 13142 61880 | 2147483647 48618 25 | 2.154 % |
260.65/260.95 c | 596522 | 409 13142 61880 | 2147483647 48927 25 | 2.154 % |
260.85/261.14 c | 596861 | 409 13142 61880 | 2147483647 49266 26 | 2.154 % |
261.05/261.36 c | 597233 | 409 13142 61880 | 2147483647 49638 26 | 2.154 % |
261.25/261.55 c | 597646 | 409 13142 61880 | 2147483647 50051 26 | 2.154 % |
261.45/261.78 c | 598096 | 409 13142 61880 | 2147483647 50501 26 | 2.154 % |
261.75/262.03 c | 598590 | 409 13142 61880 | 2147483647 50995 26 | 2.154 % |
262.05/262.37 c | 599132 | 409 13142 61880 | 2147483647 51537 26 | 2.154 % |
262.45/262.71 c | 599731 | 409 13142 61880 | 2147483647 52136 26 | 2.154 % |
262.85/263.12 c | 600387 | 409 13142 61880 | 52407 44422 25 | 2.154 % |
263.15/263.47 c | 601108 | 409 13142 61880 | 52407 45143 25 | 2.154 % |
263.55/263.88 c | 601900 | 409 13142 61880 | 52407 45935 25 | 2.154 % |
263.95/264.28 c | 602771 | 409 13142 61880 | 52407 46806 25 | 2.154 % |
264.45/264.73 c | 603729 | 409 13142 61880 | 52407 47764 25 | 2.154 % |
264.85/265.19 c | 604782 | 409 13142 61880 | 52407 48817 25 | 2.154 % |
265.45/265.70 c | 605940 | 409 13142 61880 | 52407 49975 25 | 2.154 % |
266.05/266.33 c | 607215 | 409 13142 61880 | 52407 51250 25 | 2.154 % |
266.85/267.15 c | 608615 | 409 13142 61880 | 52407 44175 25 | 2.154 % |
267.65/267.96 c | 610155 | 409 13142 61880 | 45560 38200 24 | 2.154 % |
268.34/268.67 c | 611850 | 409 13142 61880 | 45560 39895 24 | 2.154 % |
269.04/269.38 c | 613713 | 409 13142 61880 | 45560 41758 25 | 2.154 % |
270.04/270.30 c | 615763 | 409 13142 61880 | 45560 43808 25 | 2.154 % |
271.24/271.50 c | 618018 | 409 13142 61880 | 45560 38791 24 | 2.154 % |
272.34/272.60 c | 620497 | 409 13142 61880 | 40773 34887 24 | 2.154 % |
273.34/273.61 c | 623222 | 409 13142 61880 | 40773 37612 24 | 2.154 % |
274.54/274.81 c | 626221 | 409 13142 61880 | 40773 40611 25 | 2.154 % |
275.74/276.09 c | 629517 | 409 13142 61880 | 40773 39251 25 | 2.154 % |
277.34/277.60 c | 633142 | 409 13142 61880 | 39734 38389 25 | 2.154 % |
279.04/279.34 c | 637130 | 409 13142 61880 | 39734 38398 25 | 2.154 % |
280.74/281.07 c | 641515 | 409 13142 61880 | 2147483647 38805 25 | 2.154 % |
282.64/282.97 c | 646338 | 409 13142 61880 | 2147483647 43628 25 | 2.154 % |
284.84/285.19 c | 651643 | 409 13142 61880 | 47291 42765 25 | 2.154 % |
287.24/287.58 c | 657478 | 409 13142 61880 | 47291 41569 25 | 2.154 % |
287.34/287.65 c | 657580 | 409 13142 61880 | 47291 41671 25 | 2.154 % |
287.43/287.72 c | 657690 | 409 13142 61880 | 47291 41781 25 | 2.154 % |
287.43/287.78 c | 657812 | 409 13142 61880 | 47291 41903 25 | 2.154 % |
287.53/287.84 c | 657946 | 409 13142 61880 | 47291 42037 25 | 2.154 % |
287.63/287.91 c | 658094 | 409 13142 61880 | 47291 42185 25 | 2.154 % |
287.63/287.99 c | 658254 | 409 13142 61880 | 47291 42345 25 | 2.154 % |
287.73/288.06 c | 658430 | 409 13142 61880 | 47291 42521 25 | 2.154 % |
287.84/288.14 c | 658624 | 409 13142 61880 | 47291 42715 25 | 2.154 % |
287.94/288.23 c | 658837 | 409 13142 61880 | 47291 42928 25 | 2.154 % |
288.03/288.35 c | 659071 | 409 13142 61880 | 47291 43162 25 | 2.154 % |
288.13/288.49 c | 659328 | 409 13142 61880 | 47291 43419 25 | 2.154 % |
288.33/288.60 c | 659609 | 409 13142 61880 | 47291 43700 25 | 2.154 % |
288.43/288.75 c | 659920 | 409 13142 61880 | 47291 44011 25 | 2.154 % |
288.63/288.96 c | 660260 | 409 13142 61880 | 44091 38013 24 | 2.154 % |
288.83/289.12 c | 660632 | 409 13142 61880 | 44091 38385 24 | 2.154 % |
288.94/289.29 c | 661042 | 409 13142 61880 | 44091 38795 25 | 2.154 % |
289.13/289.48 c | 661492 | 409 13142 61880 | 44091 39245 25 | 2.154 % |
289.33/289.69 c | 661985 | 409 13142 61880 | 44091 39738 25 | 2.154 % |
289.63/289.92 c | 662527 | 409 13142 61880 | 44091 40280 25 | 2.154 % |
289.83/290.17 c | 663124 | 409 13142 61880 | 44091 40877 25 | 2.154 % |
290.14/290.42 c | 663779 | 409 13142 61880 | 44091 41532 25 | 2.154 % |
290.43/290.72 c | 664500 | 409 13142 61880 | 44091 42253 25 | 2.154 % |
290.73/291.07 c | 665292 | 409 13142 61880 | 44091 43045 25 | 2.154 % |
291.14/291.43 c | 666163 | 409 13142 61880 | 44091 43916 25 | 2.154 % |
291.63/291.90 c | 667122 | 409 13142 61880 | 44091 39432 25 | 2.154 % |
291.93/292.29 c | 668175 | 409 13142 61880 | 44091 40485 25 | 2.154 % |
292.43/292.79 c | 669333 | 409 13142 61880 | 44091 41643 25 | 2.154 % |
293.13/293.46 c | 670606 | 409 13142 61880 | 42313 37182 24 | 2.154 % |
293.63/293.96 c | 672006 | 409 13142 61880 | 42313 38582 24 | 2.159 % |
294.33/294.63 c | 673547 | 409 13142 61880 | 42313 40123 24 | 2.154 % |
295.03/295.32 c | 675241 | 409 13142 61880 | 42313 41817 25 | 2.154 % |
295.73/296.09 c | 677104 | 409 13142 61880 | 42313 38580 24 | 2.154 % |
296.43/296.75 c | 679154 | 409 13142 61880 | 42313 40630 25 | 2.154 % |
297.33/297.65 c | 681408 | 409 13142 61880 | 41477 37642 25 | 2.154 % |
298.13/298.47 c | 683887 | 409 13142 61880 | 41477 40121 25 | 2.154 % |
299.23/299.50 c | 686612 | 409 13142 61880 | 41477 37912 25 | 2.154 % |
300.33/300.61 c | 689609 | 409 13142 61880 | 41477 40909 25 | 2.154 % |
301.82/302.18 c | 692905 | 409 13142 61880 | 41300 39379 25 | 2.154 % |
303.32/303.69 c | 696530 | 409 13142 61880 | 41300 36868 25 | 2.154 % |
305.02/305.38 c | 700518 | 409 13142 61880 | 40340 35005 25 | 2.154 % |
306.92/307.29 c | 704903 | 409 13142 61880 | 40340 39390 25 | 2.154 % |
308.82/309.13 c | 709726 | 409 13142 61880 | 40340 39402 25 | 2.154 % |
311.11/311.43 c | 715031 | 409 13142 61880 | 39677 36482 24 | 2.154 % |
313.22/313.56 c | 720866 | 409 13142 61880 | 2147483647 38343 25 | 2.154 % |
316.21/316.51 c | 727285 | 409 13142 61880 | 2147483647 44762 25 | 2.154 % |
316.21/316.56 c | 727386 | 409 13142 61880 | 2147483647 44863 25 | 2.154 % |
316.31/316.62 c | 727498 | 409 13142 61880 | 2147483647 44975 25 | 2.154 % |
316.31/316.68 c | 727619 | 409 13142 61880 | 2147483647 45096 25 | 2.154 % |
316.41/316.75 c | 727754 | 409 13142 61880 | 2147483647 45231 25 | 2.154 % |
316.51/316.81 c | 727901 | 409 13142 61880 | 2147483647 45378 25 | 2.154 % |
316.61/316.91 c | 728063 | 409 13142 61880 | 2147483647 45540 25 | 2.154 % |
316.61/316.99 c | 728240 | 409 13142 61880 | 2147483647 45717 25 | 2.154 % |
316.71/317.10 c | 728434 | 409 13142 61880 | 2147483647 45911 25 | 2.154 % |
316.81/317.17 c | 728646 | 409 13142 61880 | 2147483647 46123 25 | 2.154 % |
316.91/317.28 c | 728880 | 409 13142 61880 | 2147483647 46357 25 | 2.154 % |
317.11/317.42 c | 729136 | 409 13142 61880 | 2147483647 46613 25 | 2.154 % |
317.21/317.53 c | 729417 | 409 13142 61880 | 2147483647 46894 25 | 2.154 % |
317.31/317.65 c | 729729 | 409 13142 61880 | 2147483647 47206 25 | 2.154 % |
317.41/317.79 c | 730068 | 409 13142 61880 | 2147483647 47545 25 | 2.154 % |
317.71/318.02 c | 730441 | 409 13142 61880 | 2147483647 47918 25 | 2.154 % |
317.91/318.20 c | 730850 | 409 13142 61880 | 2147483647 48327 25 | 2.154 % |
318.11/318.45 c | 731299 | 409 13142 61880 | 2147483647 48776 25 | 2.154 % |
318.41/318.76 c | 731792 | 409 13142 61880 | 2147483647 49269 25 | 2.154 % |
318.71/319.05 c | 732334 | 409 13142 61880 | 2147483647 49811 26 | 2.154 % |
319.01/319.33 c | 732932 | 409 13142 61880 | 2147483647 50409 26 | 2.154 % |
319.31/319.66 c | 733587 | 409 13142 61880 | 2147483647 51064 26 | 2.154 % |
319.71/320.07 c | 734307 | 409 13142 61880 | 2147483647 51784 26 | 2.154 % |
320.21/320.52 c | 735101 | 409 13142 61880 | 2147483647 52578 26 | 2.154 % |
320.61/320.96 c | 735972 | 409 13142 61880 | 2147483647 53449 26 | 2.154 % |
321.21/321.50 c | 736930 | 409 13142 61880 | 2147483647 54407 26 | 2.155 % |
321.71/322.04 c | 737984 | 409 13142 61880 | 2147483647 55461 26 | 2.154 % |
322.31/322.65 c | 739143 | 409 13142 61880 | 2147483647 56620 26 | 2.154 % |
323.11/323.45 c | 740416 | 409 13142 61880 | 57477 47655 25 | 2.159 % |
323.80/324.13 c | 741816 | 409 13142 61880 | 57477 49055 25 | 2.157 % |
324.60/324.92 c | 743356 | 409 13142 61880 | 57477 50595 25 | 2.154 % |
325.40/325.73 c | 745051 | 409 13142 61880 | 57477 52290 25 | 2.154 % |
326.50/326.84 c | 746914 | 409 13142 61880 | 57477 54153 25 | 2.154 % |
327.80/328.17 c | 748964 | 409 13142 61880 | 57477 56203 25 | 2.154 % |
329.62/329.91 c | 751217 | 409 13142 61880 | 57239 45822 25 | 2.154 % |
330.82/331.18 c | 753695 | 409 13142 61880 | 57239 48300 25 | 2.154 % |
332.21/332.58 c | 756423 | 409 13142 61880 | 57239 51028 25 | 2.154 % |
333.91/334.24 c | 759423 | 409 13142 61880 | 57239 54028 25 | 2.154 % |
335.51/335.81 c | 762719 | 409 13142 61880 | 54606 46249 25 | 2.154 % |
336.91/337.29 c | 766344 | 409 13142 61880 | 54606 49874 25 | 2.159 % |
339.01/339.32 c | 770331 | 409 13142 61880 | 53530 43494 24 | 2.154 % |
340.91/341.27 c | 774718 | 409 13142 61880 | 53530 47881 24 | 2.154 % |
342.81/343.18 c | 779542 | 409 13142 61880 | 53530 52705 25 | 2.154 % |
345.50/345.87 c | 784848 | 409 13142 61880 | 53163 48185 25 | 2.154 % |
348.80/349.14 c | 790683 | 409 13142 61880 | 43012 35302 24 | 2.154 % |
351.10/351.45 c | 797102 | 409 13142 61880 | 43012 41721 24 | 2.154 % |
353.80/354.13 c | 804162 | 409 13142 61880 | 39108 38128 25 | 2.154 % |
353.80/354.17 c | 804262 | 409 13142 61880 | 39108 38228 25 | 2.154 % |
353.90/354.22 c | 804373 | 409 13142 61880 | 39108 38339 25 | 2.154 % |
353.90/354.27 c | 804495 | 409 13142 61880 | 39108 38461 25 | 2.154 % |
354.00/354.33 c | 804629 | 409 13142 61880 | 39108 38595 25 | 2.154 % |
354.00/354.40 c | 804775 | 409 13142 61880 | 39108 38741 25 | 2.154 % |
354.10/354.46 c | 804935 | 409 13142 61880 | 39108 38901 25 | 2.154 % |
354.20/354.54 c | 805113 | 409 13142 61880 | 39108 39079 25 | 2.154 % |
354.30/354.68 c | 805311 | 409 13142 61880 | 39108 34192 25 | 2.154 % |
354.40/354.75 c | 805523 | 409 13142 61880 | 39108 34404 25 | 2.154 % |
354.50/354.82 c | 805756 | 409 13142 61880 | 39108 34637 25 | 2.154 % |
354.60/354.91 c | 806014 | 409 13142 61880 | 39108 34895 25 | 2.154 % |
354.70/355.02 c | 806295 | 409 13142 61880 | 39108 35176 25 | 2.154 % |
354.80/355.14 c | 806606 | 409 13142 61880 | 39108 35487 25 | 2.154 % |
354.90/355.26 c | 806945 | 409 13142 61880 | 39108 35826 25 | 2.154 % |
355.00/355.39 c | 807317 | 409 13142 61880 | 39108 36198 25 | 2.154 % |
355.19/355.55 c | 807727 | 409 13142 61880 | 39108 36608 25 | 2.154 % |
355.39/355.75 c | 808176 | 409 13142 61880 | 39108 37057 25 | 2.154 % |
355.59/355.90 c | 808669 | 409 13142 61880 | 39108 37550 25 | 2.154 % |
355.79/356.17 c | 809215 | 409 13142 61880 | 39108 38096 25 | 2.154 % |
356.10/356.42 c | 809813 | 409 13142 61880 | 39108 38694 25 | 2.154 % |
356.39/356.79 c | 810468 | 409 13142 61880 | 38881 35107 25 | 2.154 % |
356.79/357.11 c | 811188 | 409 13142 61880 | 38881 35827 25 | 2.154 % |
357.09/357.47 c | 811981 | 409 13142 61880 | 38881 36620 25 | 2.159 % |
357.49/357.83 c | 812853 | 409 13142 61880 | 38881 37492 25 | 2.154 % |
357.79/358.17 c | 813811 | 409 13142 61880 | 38881 38450 25 | 2.154 % |
358.29/358.69 c | 814865 | 409 13142 61880 | 38881 35611 25 | 2.154 % |
358.79/359.14 c | 816024 | 409 13142 61880 | 38881 36770 25 | 2.154 % |
359.29/359.68 c | 817297 | 409 13142 61880 | 38881 38043 25 | 2.154 % |
359.89/360.22 c | 818698 | 409 13142 61880 | 38881 35551 25 | 2.154 % |
360.39/360.73 c | 820238 | 409 13142 61880 | 2147483647 37091 25 | 2.154 % |
360.99/361.31 c | 821932 | 409 13142 61880 | 2147483647 38785 25 | 2.154 % |
361.59/361.97 c | 823795 | 409 13142 61880 | 2147483647 40648 25 | 2.154 % |
362.49/362.86 c | 825844 | 409 13142 61880 | 2147483647 42697 25 | 2.159 % |
363.39/363.74 c | 828097 | 409 13142 61880 | 2147483647 44950 25 | 2.154 % |
364.69/365.02 c | 830576 | 409 13142 61880 | 46853 41411 25 | 2.154 % |
365.79/366.11 c | 833301 | 409 13142 61880 | 46853 44136 25 | 2.154 % |
367.29/367.67 c | 836298 | 409 13142 61880 | 46853 40433 24 | 2.154 % |
368.79/369.15 c | 839595 | 409 13142 61880 | 46853 43730 25 | 2.154 % |
370.29/370.65 c | 843222 | 409 13142 61880 | 44135 41023 24 | 2.154 % |
371.98/372.39 c | 847211 | 409 13142 61880 | 44135 40109 24 | 2.154 % |
373.69/374.10 c | 851596 | 409 13142 61880 | 42898 39472 24 | 2.154 % |
375.98/376.38 c | 856420 | 409 13142 61880 | 42898 40003 25 | 2.154 % |
378.18/378.52 c | 861726 | 409 13142 61880 | 2147483647 41013 25 | 2.154 % |
381.08/381.41 c | 867561 | 409 13142 61880 | 2147483647 46848 25 | 2.154 % |
384.08/384.42 c | 873979 | 409 13142 61880 | 49287 45836 25 | 2.154 % |
386.98/387.32 c | 881039 | 409 13142 61880 | 43352 36798 25 | 2.154 % |
390.98/391.35 c | 888805 | 409 13142 61880 | 43352 37219 25 | 2.154 % |
391.08/391.41 c | 888906 | 409 13142 61880 | 43352 37320 25 | 2.154 % |
391.08/391.47 c | 889018 | 409 13142 61880 | 43352 37432 25 | 2.154 % |
391.18/391.55 c | 889139 | 409 13142 61880 | 43352 37553 25 | 2.154 % |
391.18/391.59 c | 889273 | 409 13142 61880 | 43352 37687 25 | 2.154 % |
391.28/391.66 c | 889419 | 409 13142 61880 | 43352 37833 25 | 2.154 % |
391.37/391.72 c | 889581 | 409 13142 61880 | 43352 37995 25 | 2.154 % |
391.47/391.83 c | 889759 | 409 13142 61880 | 43352 38173 25 | 2.154 % |
391.57/391.90 c | 889953 | 409 13142 61880 | 43352 38367 25 | 2.154 % |
391.67/392.05 c | 890166 | 409 13142 61880 | 38414 32054 25 | 2.154 % |
391.77/392.14 c | 890399 | 409 13142 61880 | 38414 32287 25 | 2.154 % |
391.87/392.24 c | 890655 | 409 13142 61880 | 38414 32543 25 | 2.154 % |
391.97/392.34 c | 890936 | 409 13142 61880 | 38414 32824 25 | 2.154 % |
392.07/392.45 c | 891247 | 409 13142 61880 | 38414 33135 25 | 2.154 % |
392.17/392.55 c | 891586 | 409 13142 61880 | 38414 33474 25 | 2.154 % |
392.28/392.67 c | 891959 | 409 13142 61880 | 38414 33847 25 | 2.154 % |
392.47/392.82 c | 892369 | 409 13142 61880 | 38414 34257 25 | 2.154 % |
392.57/392.97 c | 892818 | 409 13142 61880 | 38414 34706 25 | 2.154 % |
392.77/393.11 c | 893311 | 409 13142 61880 | 38414 35199 25 | 2.154 % |
392.87/393.28 c | 893853 | 409 13142 61880 | 38414 35741 25 | 2.154 % |
393.07/393.47 c | 894449 | 409 13142 61880 | 38414 36337 25 | 2.154 % |
393.38/393.79 c | 895104 | 409 13142 61880 | 38414 36992 25 | 2.154 % |
393.77/394.13 c | 895824 | 409 13142 61880 | 38414 37712 25 | 2.154 % |
394.07/394.46 c | 896618 | 409 13142 61880 | 38414 34496 25 | 2.154 % |
394.37/394.77 c | 897489 | 409 13142 61880 | 38414 35367 25 | 2.154 % |
394.87/395.21 c | 898447 | 409 13142 61880 | 38414 36325 25 | 2.154 % |
395.27/395.69 c | 899501 | 409 13142 61880 | 38414 37379 25 | 2.154 % |
395.77/396.16 c | 900661 | 409 13142 61880 | 2147483647 38539 25 | 2.154 % |
396.27/396.69 c | 901936 | 409 13142 61880 | 2147483647 39814 25 | 2.154 % |
396.87/397.28 c | 903337 | 409 13142 61880 | 2147483647 41215 25 | 2.154 % |
397.57/397.94 c | 904877 | 409 13142 61880 | 2147483647 42755 26 | 2.154 % |
398.27/398.68 c | 906571 | 409 13142 61880 | 2147483647 44449 26 | 2.154 % |
399.17/399.57 c | 908434 | 409 13142 61880 | 2147483647 46312 26 | 2.154 % |
400.17/400.58 c | 910484 | 409 13142 61880 | 47879 41563 26 | 2.154 % |
401.17/401.55 c | 912738 | 409 13142 61880 | 47879 43817 26 | 2.154 % |
402.37/402.77 c | 915216 | 409 13142 61880 | 47879 46295 26 | 2.154 % |
403.87/404.27 c | 917941 | 409 13142 61880 | 47879 42352 26 | 2.154 % |
405.17/405.55 c | 920939 | 409 13142 61880 | 44412 38847 25 | 2.154 % |
406.37/406.77 c | 924236 | 409 13142 61880 | 44412 42144 25 | 2.159 % |
407.97/408.35 c | 927861 | 409 13142 61880 | 44412 38967 24 | 2.159 % |
409.57/409.99 c | 931850 | 409 13142 61880 | 41106 36827 23 | 2.159 % |
411.47/411.80 c | 936235 | 409 13142 61880 | 41106 34946 23 | 2.154 % |
412.87/413.26 c | 941058 | 409 13142 61880 | 38711 33977 22 | 2.154 % |
414.47/414.88 c | 946363 | 409 13142 61880 | 38711 35203 23 | 2.154 % |
416.47/416.81 c | 952198 | 409 13142 61880 | 2147483647 37163 23 | 2.154 % |
418.86/419.22 c | 958616 | 409 13142 61880 | 2147483647 43581 24 | 2.154 % |
422.16/422.57 c | 965675 | 409 13142 61880 | 44965 39863 25 | 2.154 % |
425.76/426.15 c | 973441 | 409 13142 61880 | 44189 41008 26 | 2.154 % |
429.26/429.66 c | 981981 | 409 13142 61880 | 40242 35884 26 | 2.154 % |
429.36/429.70 c | 982081 | 409 13142 61880 | 40242 35984 26 | 2.154 % |
429.36/429.76 c | 982191 | 409 13142 61880 | 40242 36094 26 | 2.154 % |
429.46/429.81 c | 982312 | 409 13142 61880 | 40242 36215 26 | 2.154 % |
429.46/429.85 c | 982445 | 409 13142 61880 | 40242 36348 26 | 2.154 % |
429.56/429.91 c | 982591 | 409 13142 61880 | 40242 36494 26 | 2.154 % |
429.56/429.98 c | 982751 | 409 13142 61880 | 40242 36654 26 | 2.154 % |
429.66/430.03 c | 982929 | 409 13142 61880 | 40242 36832 26 | 2.154 % |
429.66/430.09 c | 983123 | 409 13142 61880 | 40242 37026 26 | 2.154 % |
429.76/430.16 c | 983338 | 409 13142 61880 | 40242 37241 26 | 2.154 % |
429.86/430.24 c | 983571 | 409 13142 61880 | 40242 37474 26 | 2.154 % |
429.96/430.34 c | 983829 | 409 13142 61880 | 40242 37732 26 | 2.154 % |
430.06/430.42 c | 984111 | 409 13142 61880 | 40242 38014 26 | 2.154 % |
430.16/430.51 c | 984421 | 409 13142 61880 | 40242 38324 26 | 2.154 % |
430.26/430.62 c | 984760 | 409 13142 61880 | 40242 38663 26 | 2.154 % |
430.36/430.74 c | 985132 | 409 13142 61880 | 40242 39035 26 | 2.154 % |
430.46/430.87 c | 985542 | 409 13142 61880 | 40242 39445 26 | 2.154 % |
430.66/431.04 c | 985991 | 409 13142 61880 | 40242 39894 26 | 2.154 % |
430.86/431.28 c | 986485 | 409 13142 61880 | 40242 36171 26 | 2.154 % |
431.06/431.47 c | 987029 | 409 13142 61880 | 40242 36715 26 | 2.154 % |
431.35/431.71 c | 987625 | 409 13142 61880 | 40242 37311 26 | 2.154 % |
431.55/431.95 c | 988280 | 408 13102 61676 | 40242 37965 26 | 2.393 % |
431.75/432.18 c | 989000 | 408 13102 61676 | 40242 38685 26 | 2.393 % |
432.05/432.46 c | 989796 | 408 13102 61676 | 40242 39481 26 | 2.393 % |
432.45/432.84 c | 990667 | 408 13102 61676 | 39687 36185 25 | 2.393 % |
432.85/433.22 c | 991625 | 408 13102 61676 | 39687 37143 25 | 2.393 % |
433.25/433.64 c | 992678 | 408 13102 61676 | 39687 38196 25 | 2.393 % |
433.65/434.05 c | 993837 | 408 13102 61676 | 39687 39355 25 | 2.393 % |
434.16/434.53 c | 995111 | 408 13102 61676 | 39687 36000 25 | 2.393 % |
434.45/434.90 c | 996514 | 408 13102 61676 | 39687 37403 25 | 2.393 % |
435.05/435.43 c | 998054 | 408 13102 61676 | 39687 38943 25 | 2.393 % |
435.75/436.12 c | 999748 | 408 13102 61676 | 39687 36665 24 | 2.393 % |
436.45/436.88 c | 1001611 | 408 13102 61676 | 2147483647 38528 24 | 2.393 % |
437.15/437.52 c | 1003660 | 408 13102 61676 | 2147483647 40577 24 | 2.393 % |
437.94/438.39 c | 1005914 | 408 13102 61676 | 2147483647 42831 24 | 2.393 % |
438.94/439.35 c | 1008395 | 408 13102 61676 | 2147483647 45312 24 | 2.393 % |
440.24/440.64 c | 1011121 | 408 13102 61676 | 46918 41892 24 | 2.393 % |
441.63/442.05 c | 1014119 | 408 13102 61676 | 46918 44890 24 | 2.393 % |
443.03/443.48 c | 1017418 | 408 13102 61676 | 46918 41514 24 | 2.393 % |
444.63/445.06 c | 1021043 | 408 13102 61676 | 44097 38784 24 | 2.393 % |
446.23/446.69 c | 1025030 | 408 13102 61676 | 44097 42771 24 | 2.393 % |
448.23/448.65 c | 1029417 | 408 13102 61676 | 44097 41727 25 | 2.393 % |
450.13/450.56 c | 1034240 | 408 13102 61676 | 42310 41009 24 | 2.393 % |
452.34/452.73 c | 1039545 | 408 13102 61676 | 42310 40422 24 | 2.393 % |
454.94/455.32 c | 1045380 | 408 13102 61676 | 40877 37044 24 | 2.393 % |
457.53/457.97 c | 1051799 | 408 13102 61676 | 2147483647 39366 25 | 2.393 % |
460.83/461.29 c | 1058858 | 408 13102 61676 | 2147483647 46425 25 | 2.393 % |
464.53/464.96 c | 1066623 | 408 13102 61676 | 47569 46707 24 | 2.393 % |
467.83/468.20 c | 1075164 | 408 13102 61676 | 42515 41532 24 | 2.393 % |
471.83/472.30 c | 1084559 | 408 13102 61676 | 2147483647 46670 24 | 2.393 % |
471.93/472.36 c | 1084660 | 408 13102 61676 | 2147483647 46771 24 | 2.393 % |
472.03/472.42 c | 1084772 | 408 13102 61676 | 2147483647 46883 24 | 2.393 % |
472.03/472.49 c | 1084894 | 408 13102 61676 | 2147483647 47005 24 | 2.398 % |
472.12/472.56 c | 1085028 | 408 13102 61676 | 2147483647 47139 24 | 2.393 % |
472.22/472.65 c | 1085174 | 408 13102 61676 | 2147483647 47285 24 | 2.393 % |
472.32/472.73 c | 1085334 | 408 13102 61676 | 2147483647 47445 24 | 2.393 % |
472.42/472.82 c | 1085512 | 408 13102 61676 | 2147483647 47623 24 | 2.393 % |
472.53/472.93 c | 1085706 | 408 13102 61676 | 2147483647 47817 24 | 2.393 % |
472.63/473.02 c | 1085919 | 408 13102 61676 | 2147483647 48030 24 | 2.393 % |
472.72/473.13 c | 1086152 | 408 13102 61676 | 2147483647 48263 24 | 2.393 % |
472.82/473.26 c | 1086410 | 408 13102 61676 | 2147483647 48521 24 | 2.394 % |
473.02/473.41 c | 1086692 | 408 13102 61676 | 2147483647 48803 24 | 2.393 % |
473.12/473.57 c | 1087002 | 408 13102 61676 | 2147483647 49113 24 | 2.393 % |
473.32/473.79 c | 1087342 | 408 13102 61676 | 2147483647 49453 24 | 2.393 % |
473.52/473.98 c | 1087715 | 408 13102 61676 | 2147483647 49826 24 | 2.393 % |
473.73/474.16 c | 1088125 | 408 13102 61676 | 2147483647 50236 24 | 2.393 % |
474.02/474.42 c | 1088574 | 408 13102 61676 | 2147483647 50685 24 | 2.393 % |
474.22/474.64 c | 1089068 | 408 13102 61676 | 2147483647 51179 24 | 2.393 % |
474.52/474.98 c | 1089610 | 408 13102 61676 | 2147483647 51721 24 | 2.393 % |
475.02/475.42 c | 1090207 | 408 13102 61676 | 52111 43916 23 | 2.393 % |
475.32/475.72 c | 1090863 | 408 13102 61676 | 52111 44572 23 | 2.398 % |
475.62/476.04 c | 1091584 | 408 13102 61676 | 52111 45293 23 | 2.393 % |
476.02/476.44 c | 1092378 | 408 13102 61676 | 52111 46087 23 | 2.393 % |
476.32/476.79 c | 1093249 | 408 13102 61676 | 52111 46958 23 | 2.393 % |
476.72/477.17 c | 1094207 | 408 13102 61676 | 52111 47916 24 | 2.393 % |
477.32/477.70 c | 1095260 | 408 13102 61676 | 52111 48969 24 | 2.393 % |
477.82/478.23 c | 1096420 | 408 13102 61676 | 52111 50129 24 | 2.393 % |
478.42/478.85 c | 1097695 | 408 13102 61676 | 52111 51404 24 | 2.393 % |
479.12/479.59 c | 1099097 | 408 13102 61676 | 52111 43891 24 | 2.393 % |
479.92/480.33 c | 1100639 | 408 13102 61676 | 44795 37991 24 | 2.393 % |
480.52/480.97 c | 1102333 | 408 13102 61676 | 44795 39685 24 | 2.393 % |
481.32/481.76 c | 1104200 | 408 13102 61676 | 44795 41552 24 | 2.393 % |
482.21/482.65 c | 1106249 | 408 13102 61676 | 44795 43601 24 | 2.393 % |
483.21/483.61 c | 1108503 | 408 13102 61676 | 44795 39731 24 | 2.393 % |
484.11/484.54 c | 1110981 | 408 13102 61676 | 41229 36520 24 | 2.393 % |
485.21/485.60 c | 1113706 | 408 13102 61676 | 41229 39245 24 | 2.393 % |
486.31/486.77 c | 1116703 | 408 13102 61676 | 41229 36079 23 | 2.393 % |
487.61/488.04 c | 1119999 | 407 13062 61472 | 41229 39374 24 | 2.632 % |
488.91/489.40 c | 1123624 | 407 13062 61472 | 39375 37264 24 | 2.632 % |
490.41/490.83 c | 1127612 | 407 13062 61472 | 39375 35462 23 | 2.633 % |
491.91/492.31 c | 1131999 | 407 13062 61472 | 37851 35675 23 | 2.632 % |
493.51/493.95 c | 1136822 | 407 13062 61472 | 37851 36708 23 | 2.632 % |
495.40/495.80 c | 1142129 | 407 13062 61472 | 2147483647 38225 24 | 2.632 % |
497.40/497.82 c | 1147965 | 407 13062 61472 | 2147483647 44061 24 | 2.633 % |
500.30/500.73 c | 1154384 | 407 13062 61472 | 2147483647 50480 24 | 2.633 % |
504.10/504.57 c | 1161444 | 407 13062 61472 | 56096 46913 24 | 2.632 % |
507.60/508.00 c | 1169208 | 407 13062 61472 | 56096 54677 25 | 2.632 % |
512.30/512.79 c | 1177749 | 407 13062 61472 | 55470 51849 25 | 2.633 % |
518.20/518.63 c | 1187143 | 407 13062 61472 | 54100 51063 26 | 2.632 % |
523.10/523.52 c | 1197476 | 407 13062 61472 | 53920 51060 26 | 2.632 % |
523.10/523.60 c | 1197577 | 407 13062 61472 | 53920 51161 26 | 2.632 % |
523.20/523.69 c | 1197689 | 407 13062 61472 | 53920 51273 26 | 2.632 % |
523.30/523.75 c | 1197811 | 407 13062 61472 | 53920 51395 26 | 2.632 % |
523.40/523.84 c | 1197944 | 407 13062 61472 | 53920 51528 26 | 2.632 % |
523.49/523.96 c | 1198090 | 407 13062 61472 | 53920 51674 26 | 2.633 % |
523.59/524.07 c | 1198252 | 407 13062 61472 | 53920 51836 26 | 2.632 % |
523.69/524.18 c | 1198429 | 407 13062 61472 | 53920 52013 26 | 2.632 % |
523.89/524.31 c | 1198622 | 407 13062 61472 | 53920 52206 26 | 2.633 % |
523.99/524.41 c | 1198836 | 407 13062 61472 | 53920 52420 26 | 2.632 % |
524.09/524.58 c | 1199071 | 407 13062 61472 | 53920 52655 26 | 2.632 % |
524.39/524.81 c | 1199329 | 407 13062 61472 | 53920 52913 26 | 2.632 % |
524.49/524.96 c | 1199611 | 407 13062 61472 | 53920 53195 26 | 2.632 % |
524.69/525.14 c | 1199922 | 407 13062 61472 | 53920 53506 26 | 2.632 % |
524.99/525.46 c | 1200261 | 407 13062 61472 | 53584 43453 26 | 2.632 % |
525.19/525.65 c | 1200634 | 407 13062 61472 | 53584 43826 26 | 2.632 % |
525.40/525.85 c | 1201043 | 407 13062 61472 | 53584 44235 26 | 2.633 % |
525.69/526.12 c | 1201492 | 407 13062 61472 | 53584 44684 26 | 2.632 % |
525.89/526.39 c | 1201986 | 407 13062 61472 | 53584 45178 26 | 2.632 % |
526.19/526.65 c | 1202528 | 407 13062 61472 | 53584 45720 26 | 2.633 % |
526.49/526.95 c | 1203125 | 407 13062 61472 | 53584 46317 26 | 2.632 % |
526.88/527.34 c | 1203780 | 407 13062 61472 | 53584 46972 26 | 2.632 % |
527.38/527.81 c | 1204503 | 407 13062 61472 | 53584 47695 26 | 2.633 % |
527.78/528.24 c | 1205297 | 407 13062 61472 | 53584 48489 26 | 2.632 % |
528.18/528.68 c | 1206168 | 407 13062 61472 | 53584 49360 26 | 2.632 % |
528.78/529.26 c | 1207126 | 407 13062 61472 | 53584 50318 26 | 2.632 % |
529.48/529.93 c | 1208180 | 407 13062 61472 | 53584 51372 26 | 2.632 % |
530.17/530.66 c | 1209339 | 407 13062 61472 | 53584 52531 26 | 2.633 % |
530.97/531.48 c | 1210612 | 407 13062 61472 | 53194 42890 26 | 2.632 % |
531.77/532.21 c | 1212012 | 407 13062 61472 | 53194 44290 26 | 2.632 % |
532.47/532.98 c | 1213552 | 407 13062 61472 | 53194 45830 26 | 2.632 % |
533.57/534.04 c | 1215246 | 407 13062 61472 | 53194 47524 26 | 2.632 % |
534.47/534.93 c | 1217109 | 407 13062 61472 | 53194 49387 26 | 2.632 % |
535.77/536.21 c | 1219158 | 407 13062 61472 | 53194 51436 26 | 2.632 % |
537.07/537.56 c | 1221411 | 407 13062 61472 | 52279 43308 25 | 2.632 % |
538.37/538.87 c | 1223889 | 407 13062 61472 | 52279 45786 25 | 2.632 % |
539.87/540.39 c | 1226614 | 407 13062 61472 | 52279 48511 25 | 2.632 % |
541.57/542.01 c | 1229612 | 407 13062 61472 | 52279 51509 25 | 2.632 % |
543.27/543.73 c | 1232908 | 407 13062 61472 | 51897 45532 25 | 2.632 % |
545.27/545.70 c | 1236533 | 407 13062 61472 | 51897 49157 25 | 2.632 % |
547.57/548.05 c | 1240521 | 407 13062 61472 | 42585 35136 23 | 2.632 % |
549.16/549.65 c | 1244908 | 407 13062 61472 | 42585 39523 24 | 2.632 % |
551.36/551.80 c | 1249732 | 407 13062 61472 | 42585 37591 23 | 2.632 % |
553.26/553.72 c | 1255039 | 407 13062 61472 | 37859 37611 23 | 2.632 % |
555.26/555.76 c | 1260874 | 407 13062 61472 | 2147483647 35869 24 | 2.632 % |
558.06/558.57 c | 1267293 | 407 13062 61472 | 2147483647 42288 24 | 2.632 % |
561.46/561.96 c | 1274354 | 407 13062 61472 | 44996 44081 24 | 2.632 % |
564.76/565.22 c | 1282119 | 407 13062 61472 | 44528 41739 23 | 2.632 % |
567.76/568.22 c | 1290659 | 407 13062 61472 | 44498 39573 22 | 2.632 % |
571.16/571.62 c | 1300054 | 407 13062 61472 | 44200 44254 22 | 2.632 % |
575.25/575.77 c | 1310388 | 407 13062 61472 | 2147483647 40660 23 | 2.632 % |
580.45/580.93 c | 1321757 | 407 13062 61472 | 50272 44867 24 | 2.632 % |
580.45/580.98 c | 1321857 | 407 13062 61472 | 50272 44967 24 | 2.632 % |
580.55/581.05 c | 1321967 | 407 13062 61472 | 50272 45077 24 | 2.632 % |
580.65/581.12 c | 1322088 | 407 13062 61472 | 50272 45198 24 | 2.632 % |
580.65/581.18 c | 1322221 | 407 13062 61472 | 50272 45331 24 | 2.632 % |
580.75/581.26 c | 1322368 | 407 13062 61472 | 50272 45478 24 | 2.632 % |
580.85/581.37 c | 1322528 | 407 13062 61472 | 50272 45638 24 | 2.632 % |
580.95/581.49 c | 1322704 | 407 13062 61472 | 50272 45814 24 | 2.632 % |
581.05/581.58 c | 1322899 | 407 13062 61472 | 50272 46009 24 | 2.632 % |
581.25/581.72 c | 1323111 | 407 13062 61472 | 50272 46221 24 | 2.632 % |
581.35/581.86 c | 1323345 | 407 13062 61472 | 50272 46455 24 | 2.632 % |
581.55/582.02 c | 1323602 | 407 13062 61472 | 50272 46712 24 | 2.632 % |
581.65/582.13 c | 1323883 | 407 13062 61472 | 50272 46993 24 | 2.632 % |
581.75/582.26 c | 1324193 | 407 13062 61472 | 50272 47303 24 | 2.632 % |
581.95/582.41 c | 1324533 | 407 13062 61472 | 50272 47643 24 | 2.632 % |
582.15/582.61 c | 1324905 | 407 13062 61472 | 50272 48015 24 | 2.632 % |
582.35/582.81 c | 1325314 | 407 13062 61472 | 50272 48424 24 | 2.632 % |
582.55/583.01 c | 1325763 | 407 13062 61472 | 50272 48873 24 | 2.632 % |
582.85/583.34 c | 1326257 | 407 13062 61472 | 50272 49367 24 | 2.633 % |
583.15/583.66 c | 1326800 | 407 13062 61472 | 50272 49910 24 | 2.633 % |
583.65/584.14 c | 1327396 | 407 13062 61472 | 50272 41467 24 | 2.632 % |
583.95/584.43 c | 1328051 | 407 13062 61472 | 50272 42122 24 | 2.632 % |
584.35/584.82 c | 1328771 | 407 13062 61472 | 50272 42842 24 | 2.632 % |
584.75/585.20 c | 1329564 | 407 13062 61472 | 50272 43635 24 | 2.632 % |
585.15/585.70 c | 1330435 | 407 13062 61472 | 44073 36697 24 | 2.632 % |
585.65/586.11 c | 1331393 | 407 13062 61472 | 44073 37655 24 | 2.632 % |
585.95/586.47 c | 1332446 | 407 13062 61472 | 44073 38708 24 | 2.632 % |
586.35/586.84 c | 1333604 | 407 13062 61472 | 44073 39866 24 | 2.633 % |
586.75/587.28 c | 1334877 | 407 13062 61472 | 44073 41139 24 | 2.632 % |
587.35/587.80 c | 1336279 | 407 13062 61472 | 44073 42541 24 | 2.632 % |
587.84/588.39 c | 1337820 | 407 13062 61472 | 44073 44082 24 | 2.632 % |
588.64/589.12 c | 1339515 | 407 13062 61472 | 44073 38564 24 | 2.632 % |
589.44/589.91 c | 1341379 | 407 13062 61472 | 39049 34585 23 | 2.632 % |
590.04/590.51 c | 1343428 | 407 13062 61472 | 39049 36634 23 | 2.632 % |
590.84/591.30 c | 1345683 | 407 13062 61472 | 39049 38889 23 | 2.637 % |
591.74/592.22 c | 1348162 | 407 13062 61472 | 39049 36043 23 | 2.632 % |
592.74/593.27 c | 1350889 | 407 13062 61472 | 37883 34779 23 | 2.632 % |
593.84/594.39 c | 1353888 | 407 13062 61472 | 37883 37778 23 | 2.632 % |
595.14/595.65 c | 1357184 | 407 13062 61472 | 37883 37278 24 | 2.632 % |
596.54/597.01 c | 1360810 | 407 13062 61472 | 2147483647 37110 24 | 2.632 % |
597.94/598.41 c | 1364798 | 407 13062 61472 | 2147483647 41098 24 | 2.633 % |
599.74/600.26 c | 1369183 | 407 13062 61472 | 2147483647 45483 24 | 2.632 % |
601.84/602.37 c | 1374006 | 407 13062 61472 | 46300 43527 24 | 2.637 % |
604.34/604.84 c | 1379311 | 407 13062 61472 | 46300 40940 24 | 2.632 % |
606.54/607.05 c | 1385146 | 407 13062 61472 | 41629 39796 24 | 2.633 % |
609.14/609.66 c | 1391564 | 407 13062 61472 | 39498 36734 23 | 2.632 % |
611.84/612.39 c | 1398626 | 407 13062 61472 | 39498 39536 24 | 2.632 % |
614.63/615.15 c | 1406391 | 407 13062 61472 | 2147483647 43348 24 | 2.632 % |
618.33/618.89 c | 1414931 | 407 13062 61472 | 46957 46348 24 | 2.633 % |
623.13/623.67 c | 1424328 | 407 13062 61472 | 45714 43669 24 | 2.633 % |
627.12/627.70 c | 1434661 | 407 13062 61472 | 42760 41465 24 | 2.633 % |
631.52/632.05 c | 1446029 | 407 13062 61472 | 42100 36809 23 | 2.633 % |
636.12/636.68 c | 1458531 | 407 13062 61472 | 40780 38907 24 | 2.632 % |
636.22/636.72 c | 1458634 | 407 13062 61472 | 40780 39010 24 | 2.632 % |
636.22/636.76 c | 1458744 | 407 13062 61472 | 40780 39120 24 | 2.632 % |
636.32/636.82 c | 1458866 | 407 13062 61472 | 40780 39242 24 | 2.633 % |
636.32/636.87 c | 1459000 | 407 13062 61472 | 40780 39376 24 | 2.632 % |
636.42/636.94 c | 1459147 | 407 13062 61472 | 40780 39523 24 | 2.632 % |
636.52/637.00 c | 1459307 | 407 13062 61472 | 40780 39683 24 | 2.633 % |
636.52/637.07 c | 1459485 | 407 13062 61472 | 40780 39861 24 | 2.632 % |
636.62/637.14 c | 1459678 | 407 13062 61472 | 40780 40054 24 | 2.632 % |
636.72/637.22 c | 1459890 | 407 13062 61472 | 40780 40266 24 | 2.633 % |
636.82/637.36 c | 1460124 | 407 13062 61472 | 40376 35754 24 | 2.632 % |
636.92/637.49 c | 1460380 | 407 13062 61472 | 40376 36010 24 | 2.632 % |
637.02/637.59 c | 1460663 | 407 13062 61472 | 40376 36293 24 | 2.632 % |
637.22/637.75 c | 1460972 | 407 13062 61472 | 40376 36602 24 | 2.633 % |
637.42/637.91 c | 1461314 | 407 13062 61472 | 40376 36944 24 | 2.632 % |
637.52/638.04 c | 1461687 | 407 13062 61472 | 40376 37317 24 | 2.632 % |
637.72/638.20 c | 1462096 | 407 13062 61472 | 40376 37726 24 | 2.632 % |
637.82/638.39 c | 1462552 | 407 13062 61472 | 40376 38182 24 | 2.632 % |
638.02/638.55 c | 1463046 | 407 13062 61472 | 40376 38676 24 | 2.632 % |
638.32/638.80 c | 1463590 | 407 13062 61472 | 40376 39220 24 | 2.632 % |
638.52/639.04 c | 1464186 | 407 13062 61472 | 40376 39816 24 | 2.632 % |
638.82/639.38 c | 1464842 | 407 13062 61472 | 40376 35591 24 | 2.632 % |
639.12/639.64 c | 1465563 | 407 13062 61472 | 40376 36312 24 | 2.633 % |
639.42/639.95 c | 1466355 | 407 13062 61472 | 40376 37104 24 | 2.632 % |
639.82/640.30 c | 1467227 | 407 13062 61472 | 40376 37976 24 | 2.632 % |
640.12/640.66 c | 1468189 | 407 13062 61472 | 40376 38938 24 | 2.633 % |
640.62/641.12 c | 1469242 | 407 13062 61472 | 40376 39991 24 | 2.632 % |
641.12/641.66 c | 1470401 | 407 13062 61472 | 36452 32905 24 | 2.632 % |
641.62/642.11 c | 1471674 | 407 13062 61472 | 36452 34178 25 | 2.632 % |
642.12/642.69 c | 1473074 | 407 13062 61472 | 36452 35578 25 | 2.638 % |
642.82/643.31 c | 1474614 | 407 13062 61472 | 36452 33470 25 | 2.632 % |
643.32/643.83 c | 1476308 | 407 13062 61472 | 36452 35164 25 | 2.632 % |
644.02/644.52 c | 1478172 | 407 13062 61472 | 36452 33378 25 | 2.632 % |
644.72/645.29 c | 1480221 | 407 13062 61472 | 2147483647 35427 25 | 2.633 % |
645.72/646.22 c | 1482475 | 407 13062 61472 | 2147483647 37681 25 | 2.632 % |
646.82/647.40 c | 1484954 | 407 13062 61472 | 2147483647 40160 25 | 2.632 % |
648.12/648.63 c | 1487679 | 407 13062 61472 | 2147483647 42885 25 | 2.632 % |
649.42/649.92 c | 1490677 | 407 13062 61472 | 45207 40947 25 | 2.632 % |
650.92/651.43 c | 1493974 | 407 13062 61472 | 45207 44244 25 | 2.632 % |
652.61/653.13 c | 1497599 | 407 13062 61472 | 45207 41695 25 | 2.632 % |
654.51/655.03 c | 1501586 | 407 13062 61472 | 44096 39602 25 | 2.632 % |
656.71/657.22 c | 1505975 | 407 13062 61472 | 44096 43991 25 | 2.633 % |
658.91/659.45 c | 1510799 | 407 13062 61472 | 41715 36544 24 | 2.632 % |
661.11/661.67 c | 1516105 | 407 13062 61472 | 41715 36640 23 | 2.632 % |
663.30/663.85 c | 1521940 | 407 13062 61472 | 40536 37423 23 | 2.632 % |
666.20/666.80 c | 1528359 | 407 13062 61472 | 40536 38579 24 | 2.632 % |
669.31/669.85 c | 1535418 | 407 13062 61472 | 40221 36079 25 | 2.632 % |
672.10/672.62 c | 1543183 | 407 13062 61472 | 36453 35878 25 | 2.633 % |
674.50/675.00 c | 1551723 | 407 13062 61472 | 2147483647 37115 25 | 2.632 % |
678.00/678.57 c | 1561117 | 407 13062 61472 | 2147483647 46509 25 | 2.632 % |
682.70/683.23 c | 1571450 | 407 13062 61472 | 55392 47548 24 | 2.632 % |
687.40/687.93 c | 1582818 | 407 13062 61472 | 45938 40619 24 | 2.632 % |
693.09/693.70 c | 1595320 | 407 13062 61472 | 40575 39397 24 | 2.632 % |
698.29/698.85 c | 1609073 | 407 13062 61472 | 36810 35989 25 | 2.632 % |
698.39/698.90 c | 1609173 | 407 13062 61472 | 36810 36089 25 | 2.632 % |
698.39/698.93 c | 1609283 | 407 13062 61472 | 36810 36199 25 | 2.632 % |
698.39/698.98 c | 1609405 | 407 13062 61472 | 36810 36321 25 | 2.637 % |
698.49/699.03 c | 1609539 | 407 13062 61472 | 36810 36455 25 | 2.633 % |
698.59/699.10 c | 1609686 | 407 13062 61472 | 36810 36602 25 | 2.633 % |
698.59/699.17 c | 1609847 | 407 13062 61472 | 36810 36763 25 | 2.632 % |
698.79/699.30 c | 1610023 | 407 13062 61472 | 2147483647 33252 25 | 2.632 % |
698.79/699.36 c | 1610217 | 407 13062 61472 | 2147483647 33446 25 | 2.632 % |
698.89/699.44 c | 1610429 | 407 13062 61472 | 2147483647 33658 25 | 2.632 % |
699.00/699.56 c | 1610662 | 407 13062 61472 | 2147483647 33891 25 | 2.632 % |
699.10/699.66 c | 1610918 | 407 13062 61472 | 2147483647 34147 25 | 2.632 % |
699.19/699.77 c | 1611199 | 407 13062 61472 | 2147483647 34428 25 | 2.632 % |
699.29/699.89 c | 1611508 | 407 13062 61472 | 2147483647 34737 25 | 2.632 % |
699.49/700.02 c | 1611848 | 407 13062 61472 | 2147483647 35077 25 | 2.632 % |
699.59/700.18 c | 1612220 | 407 13062 61472 | 2147483647 35449 25 | 2.632 % |
699.79/700.34 c | 1612629 | 407 13062 61472 | 2147483647 35858 25 | 2.633 % |
699.99/700.53 c | 1613079 | 407 13062 61472 | 2147483647 36308 25 | 2.632 % |
700.19/700.73 c | 1613572 | 407 13062 61472 | 2147483647 36801 25 | 2.633 % |
700.39/700.99 c | 1614114 | 407 13062 61472 | 2147483647 37343 25 | 2.632 % |
700.69/701.22 c | 1614711 | 407 13062 61472 | 2147483647 37940 25 | 2.633 % |
700.89/701.49 c | 1615368 | 407 13062 61472 | 2147483647 38597 25 | 2.637 % |
701.19/701.75 c | 1616090 | 407 13062 61472 | 2147483647 39319 25 | 2.632 % |
701.49/702.07 c | 1616883 | 407 13062 61472 | 2147483647 40112 25 | 2.632 % |
701.79/702.35 c | 1617754 | 407 13062 61472 | 2147483647 40983 25 | 2.632 % |
702.19/702.71 c | 1618712 | 407 13062 61472 | 2147483647 41941 25 | 2.632 % |
702.59/703.17 c | 1619766 | 407 13062 61472 | 2147483647 42995 25 | 2.633 % |
703.19/703.70 c | 1620924 | 407 13062 61472 | 43230 39395 25 | 2.632 % |
703.59/704.16 c | 1622197 | 407 13062 61472 | 43230 40668 25 | 2.632 % |
704.19/704.76 c | 1623597 | 407 13062 61472 | 43230 42068 25 | 2.633 % |
704.99/705.55 c | 1625139 | 407 13062 61472 | 43230 39013 25 | 2.632 % |
705.69/706.24 c | 1626833 | 407 13062 61472 | 43230 40707 25 | 2.632 % |
706.48/707.02 c | 1628696 | 407 13062 61472 | 43230 42570 25 | 2.632 % |
707.28/707.85 c | 1630745 | 407 13062 61472 | 2147483647 40292 25 | 2.633 % |
708.08/708.65 c | 1632998 | 407 13062 61472 | 2147483647 42545 25 | 2.632 % |
709.18/709.70 c | 1635476 | 407 13062 61472 | 2147483647 45023 25 | 2.633 % |
710.48/711.03 c | 1638201 | 407 13062 61472 | 2147483647 47748 26 | 2.632 % |
711.88/712.46 c | 1641200 | 407 13062 61472 | 49548 43632 25 | 2.632 % |
713.58/714.16 c | 1644499 | 407 13062 61472 | 49548 46931 25 | 2.632 % |
715.48/716.08 c | 1648125 | 407 13062 61472 | 49548 40468 25 | 2.632 % |
717.18/717.77 c | 1652112 | 407 13062 61472 | 42345 36226 24 | 2.633 % |
719.08/719.69 c | 1656497 | 407 13062 61472 | 42345 40611 24 | 2.633 % |
721.18/721.74 c | 1661322 | 407 13062 61472 | 37012 32825 23 | 2.632 % |
723.18/723.78 c | 1666627 | 407 13062 61472 | 37012 34425 23 | 2.632 % |
724.87/725.42 c | 1672463 | 407 13062 61472 | 2147483647 36556 23 | 2.637 % |
727.48/728.05 c | 1678882 | 407 13062 61472 | 2147483647 42975 24 | 2.632 % |
730.77/731.37 c | 1685942 | 407 13062 61472 | 2147483647 50035 24 | 2.632 % |
734.77/735.34 c | 1693707 | 407 13062 61472 | 54093 49179 24 | 2.632 % |
738.57/739.14 c | 1702248 | 407 13062 61472 | 46570 41061 23 | 2.633 % |
742.27/742.84 c | 1711642 | 407 13062 61472 | 41610 37009 23 | 2.632 % |
746.07/746.68 c | 1721975 | 407 13062 61472 | 39249 36677 23 | 2.632 % |
749.97/750.54 c | 1733341 | 407 13062 61472 | 2147483647 40178 24 | 2.633 % |
755.96/756.52 c | 1745845 | 407 13062 61472 | 46837 45129 23 | 2.638 % |
761.56/762.15 c | 1759597 | 407 13062 61472 | 41432 37920 25 | 2.632 % |
767.05/767.62 c | 1774724 | 407 13062 61472 | 2147483647 40060 26 | 2.633 % |
767.05/767.68 c | 1774826 | 407 13062 61472 | 2147483647 40162 26 | 2.632 % |
767.16/767.74 c | 1774936 | 407 13062 61472 | 2147483647 40272 26 | 2.632 % |
767.26/767.80 c | 1775059 | 407 13062 61472 | 2147483647 40395 26 | 2.632 % |
767.26/767.86 c | 1775194 | 407 13062 61472 | 2147483647 40530 26 | 2.632 % |
767.35/767.93 c | 1775341 | 407 13062 61472 | 2147483647 40677 26 | 2.633 % |
767.35/767.99 c | 1775501 | 407 13062 61472 | 2147483647 40837 26 | 2.633 % |
767.45/768.07 c | 1775677 | 407 13062 61472 | 2147483647 41013 26 | 2.633 % |
767.55/768.13 c | 1775871 | 407 13062 61472 | 2147483647 41207 26 | 2.632 % |
767.65/768.21 c | 1776084 | 407 13062 61472 | 2147483647 41420 26 | 2.632 % |
767.75/768.35 c | 1776317 | 407 13062 61472 | 2147483647 41653 26 | 2.632 % |
767.85/768.47 c | 1776575 | 407 13062 61472 | 2147483647 41911 26 | 2.632 % |
768.05/768.60 c | 1776856 | 407 13062 61472 | 2147483647 42192 26 | 2.632 % |
768.15/768.73 c | 1777166 | 407 13062 61472 | 2147483647 42502 26 | 2.632 % |
768.36/768.91 c | 1777505 | 407 13062 61472 | 2147483647 42841 26 | 2.632 % |
768.45/769.07 c | 1777877 | 407 13062 61472 | 2147483647 43213 26 | 2.632 % |
768.65/769.25 c | 1778286 | 407 13062 61472 | 2147483647 43622 26 | 2.632 % |
768.85/769.45 c | 1778735 | 407 13062 61472 | 2147483647 44071 26 | 2.632 % |
769.05/769.65 c | 1779229 | 407 13062 61472 | 2147483647 44565 26 | 2.632 % |
769.25/769.87 c | 1779771 | 407 13062 61472 | 2147483647 45107 26 | 2.632 % |
769.55/770.20 c | 1780367 | 407 13062 61472 | 45336 40284 26 | 2.633 % |
769.85/770.46 c | 1781022 | 407 13062 61472 | 45336 40939 26 | 2.632 % |
770.15/770.74 c | 1781742 | 407 13062 61472 | 45336 41659 26 | 2.633 % |
770.46/771.07 c | 1782534 | 407 13062 61472 | 45336 42451 26 | 2.632 % |
771.05/771.60 c | 1783406 | 407 13062 61472 | 45336 43323 26 | 2.633 % |
771.35/771.97 c | 1784364 | 407 13062 61472 | 45336 44281 26 | 2.632 % |
771.95/772.50 c | 1785418 | 407 13062 61472 | 45336 45335 26 | 2.633 % |
772.45/773.10 c | 1786577 | 407 13062 61472 | 45336 40012 26 | 2.632 % |
773.05/773.62 c | 1787853 | 407 13062 61472 | 45336 41288 26 | 2.633 % |
773.65/774.22 c | 1789253 | 407 13062 61472 | 45336 42688 26 | 2.633 % |
774.45/775.05 c | 1790793 | 407 13062 61472 | 43435 38269 26 | 2.632 % |
775.05/775.64 c | 1792488 | 407 13062 61472 | 43435 39964 26 | 2.633 % |
775.75/776.38 c | 1794351 | 407 13062 61472 | 43435 41827 26 | 2.633 % |
776.65/777.22 c | 1796401 | 407 13062 61472 | 43435 39378 25 | 2.632 % |
777.35/777.98 c | 1798654 | 407 13062 61472 | 43435 41631 25 | 2.632 % |
778.35/778.97 c | 1801132 | 407 13062 61472 | 42977 38921 25 | 2.632 % |
779.35/779.96 c | 1803857 | 407 13062 61472 | 42977 41646 25 | 2.632 % |
780.55/781.15 c | 1806854 | 407 13062 61472 | 42977 37967 24 | 2.632 % |
781.85/782.47 c | 1810151 | 407 13062 61472 | 41113 34826 23 | 2.637 % |
783.04/783.65 c | 1813777 | 407 13062 61472 | 41113 38452 24 | 2.632 % |
784.24/784.83 c | 1817765 | 407 13062 61472 | 41113 37636 23 | 2.632 % |
785.54/786.15 c | 1822150 | 407 13062 61472 | 39871 37676 23 | 2.632 % |
786.95/787.60 c | 1826975 | 407 13062 61472 | 39871 38507 23 | 2.632 % |
788.44/789.06 c | 1832282 | 407 13062 61472 | 2147483647 39820 23 | 2.637 % |
790.54/791.17 c | 1838120 | 407 13062 61472 | 2147483647 45658 23 | 2.633 % |
793.65/794.20 c | 1844538 | 407 13062 61472 | 2147483647 52076 22 | 2.633 % |
797.04/797.63 c | 1851597 | 405 12522 58935 | 57531 52295 22 | 3.111 % |
800.74/801.31 c | 1859361 | 405 12522 58935 | 57531 52192 23 | 3.112 % |
804.64/805.27 c | 1867901 | 405 12522 58935 | 52832 46879 22 | 3.112 % |
806.84/807.45 c ===============================================================================
806.84/807.45 c restarts : 1535
806.84/807.45 c conflicts : 1875145 (2325 /sec)
806.84/807.45 c decisions : 2276626 (1.70 % random) (2822 /sec)
806.84/807.45 c propagations : 89004944 (110339 /sec)
806.84/807.45 c conflict literals : 50656307 (25.83 % deleted)
806.84/807.45 c Memory used : 13.59 MB
806.84/807.45 c CPU time : 806.647 s
806.84/807.45 c
806.84/807.45 s SATISFIABLE
806.84/807.46 s SATISFIABLE
806.84/807.46 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 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 274 275 -276 -277 278 -279 -280 -281 -282 283 -284 -285 -286 -287 -288 -289 290 291 -292 -293 -294 295 -296 297 -298 -299 -300 -301 302 -303 304 -305 -306 307 -308 -309 310 -311 -312 -313 314 315 316 -317 -318 319 -320 321 322 -323 -324 -325 326 -327 -328 329 -330 331 -332 -333 -334 335 -336 -337 338 339 -340 341 -342 343 -344 345 -346 347 -348 -349 350 -351 352 353 -354 355 -356 -357 358 359 -360 -361 362 363 364 365 -366 367 -368 369 370 371 -372 -373 -374 -375 -376 -377 378 379 380 -381 -382 -383 384 -385 -386 387 -388 -389 390 391 392 393 -394 -395 396 -397 -398 -399 400 -401 402 403 404 -405 406 -407 408 -409 -410 411 412 -413 414 415 416 417 418 -419 420 -421 -422 -423 -424 425 426 427 428 -429 -430 431 432 -433 -434 435 -436 437 438 439 440 441 -442 443 444 -445 -446 -447 448 449 450 451 452 -453 454 455 456 -457 -458 459 460 461 462 463 464 465 466 467 468 -469 470 471 472 473 -474 475 -476 477 -478 479 -480 481 482 483 484 485 486 487 488 -489 490 -491 492 -493 494 -495 496 497 498 499 500 501 502 503 504 -505 506 507 508 -509 -510 -511 512 513 -514 -515 516 517 518 -519 -520 521 522 -523 -524 -525 526 527 -528 -529 530 531 -532 533 534 -535 -536 537 538 -539 -540 -541 542 543 544 -545 546 -547 -548 549 550 -551 -552 553 -554 -555 556 557 -558 -559 560 -561 -562 563 564 -565 -566 567 568 569 -570 -571 572 573 -574 -575 576 -577 578 -579 -580 581 -582 -583 -584 585 -586 -587 -588 589 -590 -591 592 593 -594 -595 596 -597 -598 -599 600 -601 -602 -603 604 605 -606 -607 608 609 -610 -611 612 -613 614 615 616 -617 -618 -619 -620 621 -622 -623 -624 -625 626 627 -628 -629 630 631 -632 -633 -634 -635 636 -637 -638 -639 640 -641 642 643 -644 -645 646 647 -648 649 -650 -651 -652 653 654 655 656 657 -658 -659 -660 661 -662 -663 664 -665 666 667 -668 669 670 671 -672 -673 -674 -675 676 677 -678 -679 680 -681 682 683 -684 -685 686 687 688 -689 690 691 -692 -693 -694 -695 696 -697 698 -699 700 701 -702 703 -704 705 -706 -707 -708 -709 710 711 712 -713 714 -715 716 717 -718 719 -720 721 -722 -723 -724 -725 -726 -727 728 -729 730 731 -732 733 -734 -735 -736 -737 -738 -739 740 -741 742 743 -744 745 -746 -747 -748 749 -750 -751 -752 -753 -754 -755 756 -757 -758 -759 -760 -761 -762 763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834057-1242827620/watcher-1834057-1242827620 -o /tmp/evaluation-result-1834057-1242827620/solver-1834057-1242827620 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834057-1242827620.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 31089
/proc/meminfo: memFree=1918448/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 310791409 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 251279409234 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/31089/statm: 1339 235 195 169 0 50 0
[pid=31090] ppid=31089 vsize=5356 CPUtime=0
/proc/31090/stat : 31090 (SatELiteGTI) S 31089 31089 30843 0 -1 4194368 51 25 0 0 0 0 0 0 19 0 1 0 310791409 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/31090/statm: 1339 238 198 169 0 50 0
[pid=31092] ppid=31090 vsize=5356 CPUtime=0
/proc/31092/stat : 31092 (SatELiteGTI) R 31090 31089 30843 0 -1 4194368 19 0 0 0 0 0 0 0 22 0 1 0 310791410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279240487 0 0 4096 0 0 0 0 17 1 0 0
/proc/31092/statm: 1339 239 199 169 0 50 0
[startup+0.0115169 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 31089
/proc/meminfo: memFree=1918448/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310791409 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31089/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102529 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 31089
/proc/meminfo: memFree=1918448/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310791409 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31089/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30255 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 31089
/proc/meminfo: memFree=1918448/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5356
[startup+0.702599 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 31089
/proc/meminfo: memFree=1918448/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5356
[startup+1.5017 s]
/proc/loadavg: 1.07 1.00 1.00 2/67 31095
/proc/meminfo: memFree=1915304/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=4572 CPUtime=1.29
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 847 0 0 0 129 0 0 0 25 0 1 0 310791430 4681728 833 1992294400 134512640 135215339 4294956240 18446744073709551615 134532724 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 1143 833 76 171 0 970 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9928
[startup+3.1019 s]
/proc/loadavg: 1.07 1.00 1.00 2/67 31095
/proc/meminfo: memFree=1913832/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=6024 CPUtime=2.88
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 1227 0 0 0 288 0 0 0 25 0 1 0 310791430 6168576 1213 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 1506 1213 76 171 0 1333 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11380
[startup+6.3013 s]
/proc/loadavg: 1.07 1.00 1.00 2/67 31095
/proc/meminfo: memFree=1911656/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=7784 CPUtime=6.08
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 1672 0 0 0 607 1 0 0 25 0 1 0 310791430 7970816 1658 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 1946 1658 76 171 0 1773 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 13140
[startup+12.7011 s]
/proc/loadavg: 1.06 1.00 1.00 2/67 31095
/proc/meminfo: memFree=1908968/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=10300 CPUtime=12.47
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 2267 0 0 0 1246 1 0 0 25 0 1 0 310791430 10547200 2253 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 2575 2253 76 171 0 2402 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 15656
[startup+25.5017 s]
/proc/loadavg: 1.05 1.00 1.00 2/67 31095
/proc/meminfo: memFree=1908072/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=11020 CPUtime=25.26
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 2456 0 0 0 2524 2 0 0 25 0 1 0 310791430 11284480 2442 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 2755 2442 76 171 0 2582 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 16376
[startup+51.1019 s]
/proc/loadavg: 1.03 1.00 1.00 2/67 31095
/proc/meminfo: memFree=1907816/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=11304 CPUtime=50.83
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 2518 0 0 0 5081 2 0 0 25 0 1 0 310791430 11575296 2504 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 2826 2504 76 171 0 2653 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 16660
[startup+102.305 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 31095
/proc/meminfo: memFree=1906984/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=11952 CPUtime=101.99
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 2666 0 0 0 10197 2 0 0 25 0 1 0 310791430 12238848 2652 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 2988 2652 76 171 0 2815 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 17308
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31095
/proc/meminfo: memFree=1906472/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=12256 CPUtime=161.94
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 2766 0 0 0 16191 3 0 0 25 0 1 0 310791430 12550144 2752 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3064 2752 76 171 0 2891 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 17612
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31095
/proc/meminfo: memFree=1906216/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=12412 CPUtime=221.88
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 2803 0 0 0 22185 3 0 0 25 0 1 0 310791430 12709888 2789 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3103 2789 76 171 0 2930 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 17768
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31095
/proc/meminfo: memFree=1905896/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=12696 CPUtime=281.85
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 2849 0 0 0 28182 3 0 0 25 0 1 0 310791430 13000704 2835 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3174 2835 76 171 0 3001 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 18052
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31095
/proc/meminfo: memFree=1905704/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=12880 CPUtime=341.82
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 2886 0 0 0 34178 4 0 0 25 0 1 0 310791430 13189120 2872 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3220 2872 76 171 0 3047 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 18236
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31095
/proc/meminfo: memFree=1905512/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=12880 CPUtime=401.78
################
# More data... #
################
[startup+522.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31101
/proc/meminfo: memFree=1905000/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=13212 CPUtime=521.71
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 2988 0 0 0 52166 5 0 0 25 0 1 0 310791430 13529088 2974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3303 2974 76 171 0 3130 0
Current children cumulated CPU time (s) 521.9
Current children cumulated vsize (KiB) 18568
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31101
/proc/meminfo: memFree=1904680/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=13400 CPUtime=581.66
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 3024 0 0 0 58161 5 0 0 25 0 1 0 310791430 13721600 3010 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3350 3010 76 171 0 3177 0
Current children cumulated CPU time (s) 581.85
Current children cumulated vsize (KiB) 18756
[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31101
/proc/meminfo: memFree=1904552/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=13400 CPUtime=641.63
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 3028 0 0 0 64158 5 0 0 25 0 1 0 310791430 13721600 3014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3350 3014 76 171 0 3177 0
Current children cumulated CPU time (s) 641.82
Current children cumulated vsize (KiB) 18756
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31101
/proc/meminfo: memFree=1904424/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=13400 CPUtime=701.6
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 3030 0 0 0 70155 5 0 0 25 0 1 0 310791430 13721600 3016 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3350 3016 76 171 0 3177 0
Current children cumulated CPU time (s) 701.79
Current children cumulated vsize (KiB) 18756
[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31101
/proc/meminfo: memFree=1904296/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=13400 CPUtime=761.57
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 3030 0 0 0 76152 5 0 0 25 0 1 0 310791430 13721600 3016 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3350 3016 76 171 0 3177 0
Current children cumulated CPU time (s) 761.76
Current children cumulated vsize (KiB) 18756
Solver just ended. Dumping a history of the last processes samples
[startup+767.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31101
/proc/meminfo: memFree=1904296/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=13400 CPUtime=767.16
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 3030 0 0 0 76711 5 0 0 25 0 1 0 310791430 13721600 3016 1992294400 134512640 135215339 4294956240 18446744073709551615 134538800 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3350 3016 76 171 0 3177 0
Current children cumulated CPU time (s) 767.35
Current children cumulated vsize (KiB) 18756
[startup+793.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31101
/proc/meminfo: memFree=1903912/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=13908 CPUtime=792.76
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 3126 0 0 0 79270 6 0 0 25 0 1 0 310791430 14241792 3112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3477 3112 76 171 0 3304 0
Current children cumulated CPU time (s) 792.95
Current children cumulated vsize (KiB) 19264
[startup+799.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31101
/proc/meminfo: memFree=1903848/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=13908 CPUtime=799.15
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 3128 0 0 0 79909 6 0 0 25 0 1 0 310791430 14241792 3114 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3477 3114 76 171 0 3304 0
Current children cumulated CPU time (s) 799.34
Current children cumulated vsize (KiB) 19264
[startup+803.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31101
/proc/meminfo: memFree=1903848/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=13908 CPUtime=802.35
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 3128 0 0 0 80229 6 0 0 25 0 1 0 310791430 14241792 3114 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3477 3114 76 171 0 3304 0
Current children cumulated CPU time (s) 802.54
Current children cumulated vsize (KiB) 19264
[startup+804.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31101
/proc/meminfo: memFree=1903848/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=13908 CPUtime=803.95
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 3128 0 0 0 80389 6 0 0 25 0 1 0 310791430 14241792 3114 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3477 3114 76 171 0 3304 0
Current children cumulated CPU time (s) 804.14
Current children cumulated vsize (KiB) 19264
[startup+806.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31101
/proc/meminfo: memFree=1903848/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=13908 CPUtime=805.55
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 3128 0 0 0 80549 6 0 0 25 0 1 0 310791430 14241792 3114 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3477 3114 76 171 0 3304 0
Current children cumulated CPU time (s) 805.74
Current children cumulated vsize (KiB) 19264
[startup+807.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31101
/proc/meminfo: memFree=1903848/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=13908 CPUtime=806.35
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 3128 0 0 0 80629 6 0 0 25 0 1 0 310791430 14241792 3114 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3477 3114 76 171 0 3304 0
Current children cumulated CPU time (s) 806.54
Current children cumulated vsize (KiB) 19264
[startup+807.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31101
/proc/meminfo: memFree=1903848/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=13908 CPUtime=806.55
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 3128 0 0 0 80649 6 0 0 25 0 1 0 310791430 14241792 3114 1992294400 134512640 135215339 4294956240 18446744073709551615 134539443 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3477 3114 76 171 0 3304 0
Current children cumulated CPU time (s) 806.74
Current children cumulated vsize (KiB) 19264
[startup+807.405 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31101
/proc/meminfo: memFree=1903848/2055920 swapFree=4166124/4192956
[pid=31089] ppid=31087 vsize=5356 CPUtime=0.19
/proc/31089/stat : 31089 (SatELiteGTI) S 31087 31089 30843 0 -1 4194304 336 1265 0 0 0 0 18 1 15 0 1 0 310791409 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31089/statm: 1339 239 197 169 0 50 0
[pid=31095] ppid=31089 vsize=13908 CPUtime=806.65
/proc/31095/stat : 31095 (minisat_static) R 31089 31089 30843 0 -1 4194304 3128 0 0 0 80659 6 0 0 25 0 1 0 310791430 14241792 3114 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31095/statm: 3477 3114 76 171 0 3304 0
Current children cumulated CPU time (s) 806.84
Current children cumulated vsize (KiB) 19264
Child status: 10
Real time (s): 807.467
CPU time (s): 806.92
CPU user time (s): 806.832
CPU system time (s): 0.087986
CPU usage (%): 99.9323
Max. virtual memory (cumulated for all children) (KiB): 19264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 806.832
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5057
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= 51
involuntary context switches= 5295
runsolver used 0.766883 second user time and 2.30765 second system time
The end
Begin job on node92 at 2009-05-20 15:53:40
IDJOB=1834057
IDBENCH=71152
IDSOLVER=671
FILE ID=node92/1834057-1242827620
PBS_JOBID= 9322504
Free space on /tmp= 65892 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/modcircuits/mod3block_3vars_9gates_restr.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834057-1242827620/watcher-1834057-1242827620 -o /tmp/evaluation-result-1834057-1242827620/solver-1834057-1242827620 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834057-1242827620.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 60e334561da9fdbaa733cc223a2437e5
RANDOM SEED=1089613875
node92.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.245
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.245
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1918992 kB
Buffers: 15668 kB
Cached: 68088 kB
SwapCached: 21100 kB
Active: 54084 kB
Inactive: 52196 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1918992 kB
SwapTotal: 4192956 kB
SwapFree: 4166124 kB
Dirty: 7204 kB
Writeback: 0 kB
Mapped: 13912 kB
Slab: 16584 kB
Committed_AS: 817132 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65888 MiB
End job on node92 at 2009-05-20 16:07:08