0.00/0.00 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 9601 28996 | 2880 0 0 nan | 0.000 % |
0.00/0.11 c | 0 | 9408 31466 | -- 0 -- -- | -- | -193/2470
0.00/0.11 c ==============================================================================
0.00/0.11 c Result : #vars: 579 #clauses: 9408 #literals: 31466
0.00/0.11 c CPU time: 0.110983 s
0.00/0.11 c ==============================================================================
0.00/0.12 c This is MiniSat 2.0 beta
0.00/0.12 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.12 c ============================[ Problem Statistics ]=============================
0.00/0.12 c | |
0.00/0.12 c | Number of variables: 579 |
0.00/0.12 c | Number of clauses: 9408 |
0.00/0.13 c | Parsing time: 0.00 s |
0.00/0.13 c ============================[ Search Statistics ]==============================
0.00/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.13 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.13 c ===============================================================================
0.00/0.13 c | 0 | 579 9408 31466 | 3136 0 nan | 0.000 % |
0.00/0.14 c | 103 | 579 9408 31466 | 3136 103 19 | 0.000 % |
0.00/0.14 c | 205 | 579 9408 31466 | 3136 205 20 | 0.000 % |
0.00/0.15 c | 306 | 579 9408 31466 | 3136 306 20 | 0.000 % |
0.00/0.16 c | 416 | 579 9408 31466 | 3136 416 20 | 0.000 % |
0.00/0.17 c | 517 | 579 9408 31466 | 3136 517 20 | 0.000 % |
0.00/0.17 c | 627 | 579 9408 31466 | 3136 627 20 | 0.001 % |
0.00/0.19 c | 748 | 579 9408 31466 | 3136 748 20 | 0.000 % |
0.00/0.19 c | 849 | 579 9408 31466 | 3136 849 20 | 0.000 % |
0.12/0.20 c | 960 | 579 9408 31466 | 3136 960 20 | 0.000 % |
0.12/0.21 c | 1084 | 579 9408 31466 | 3136 1084 20 | 0.000 % |
0.12/0.23 c | 1217 | 579 9408 31466 | 3136 1217 20 | 0.000 % |
0.12/0.24 c | 1319 | 579 9408 31466 | 3136 1319 20 | 0.001 % |
0.12/0.24 c | 1430 | 579 9408 31466 | 3136 1430 20 | 0.000 % |
0.12/0.26 c | 1551 | 579 9408 31466 | 3136 1551 20 | 0.001 % |
0.12/0.27 c | 1684 | 579 9408 31466 | 3136 1684 20 | 0.000 % |
0.12/0.28 c | 1830 | 579 9408 31466 | 3136 1830 21 | 0.000 % |
0.12/0.29 c | 1930 | 579 9408 31466 | 3136 1930 21 | 0.000 % |
0.12/0.30 c | 2041 | 579 9408 31466 | 3136 2041 21 | 0.000 % |
0.12/0.31 c | 2162 | 579 9408 31466 | 3136 2162 21 | 0.001 % |
0.12/0.32 c | 2296 | 579 9408 31466 | 3136 2296 21 | 0.000 % |
0.12/0.33 c | 2442 | 579 9408 31466 | 3136 2442 20 | 0.000 % |
0.12/0.35 c | 2604 | 579 9408 31466 | 3136 2604 21 | 0.000 % |
0.12/0.36 c | 2704 | 579 9408 31466 | 3136 2704 21 | 0.000 % |
0.12/0.37 c | 2815 | 579 9408 31466 | 3136 2815 21 | 0.000 % |
0.12/0.39 c | 2936 | 579 9408 31466 | 3136 2936 21 | 0.000 % |
0.12/0.40 c | 3069 | 579 9408 31466 | 3136 3069 21 | 0.000 % |
0.12/0.41 c | 3216 | 579 9408 31466 | 3136 2897 20 | 0.000 % |
0.12/0.43 c | 3376 | 579 9408 31466 | 3136 3057 20 | 0.000 % |
0.12/0.46 c | 3553 | 579 9408 31466 | 3136 2917 20 | 0.000 % |
0.12/0.47 c | 3653 | 579 9408 31466 | 3136 3017 20 | 0.000 % |
0.12/0.48 c | 3763 | 579 9408 31466 | 3136 3127 20 | 0.000 % |
0.12/0.50 c | 3887 | 579 9408 31466 | 3136 2928 20 | 0.000 % |
0.12/0.51 c | 4023 | 579 9408 31466 | 3136 3064 20 | 0.000 % |
0.12/0.52 c | 4170 | 579 9408 31466 | 3136 2891 20 | 0.001 % |
0.12/0.54 c | 4331 | 579 9408 31466 | 3136 3052 20 | 0.000 % |
0.12/0.56 c | 4507 | 579 9408 31466 | 3136 3228 20 | 0.000 % |
0.12/0.58 c | 4700 | 579 9408 31466 | 3136 3099 20 | 0.000 % |
0.12/0.59 c | 4800 | 579 9408 31466 | 3136 2880 19 | 0.001 % |
0.12/0.60 c | 4910 | 579 9408 31466 | 3136 2990 19 | 0.000 % |
0.12/0.61 c | 5032 | 579 9408 31466 | 3136 3112 19 | 0.000 % |
0.12/0.63 c | 5167 | 579 9408 31466 | 3136 2926 19 | 0.000 % |
0.12/0.64 c | 5315 | 579 9408 31466 | 3136 3074 19 | 0.000 % |
0.12/0.66 c | 5475 | 579 9408 31466 | 3136 2916 19 | 0.000 % |
0.12/0.68 c | 5651 | 579 9408 31466 | 3136 3092 19 | 0.000 % |
0.12/0.69 c | 5844 | 579 9408 31466 | 3136 2961 19 | 0.000 % |
0.12/0.71 c | 6058 | 579 9408 31466 | 3136 3175 19 | 0.000 % |
0.12/0.73 c | 6158 | 579 9408 31466 | 3136 2958 18 | 0.000 % |
0.12/0.74 c | 6269 | 579 9408 31466 | 3136 3069 18 | 0.000 % |
0.12/0.75 c | 6390 | 579 9408 31466 | 3136 3190 18 | 0.000 % |
0.12/0.77 c | 6523 | 579 9408 31466 | 3136 3004 18 | 0.000 % |
0.12/0.78 c | 6671 | 579 9408 31466 | 3136 3152 18 | 0.000 % |
0.12/0.80 c | 6832 | 579 9408 31466 | 3136 2998 18 | 0.000 % |
0.12/0.82 c | 7009 | 579 9408 31466 | 3136 3175 18 | 0.000 % |
0.12/0.84 c | 7203 | 579 9408 31466 | 3136 3052 18 | 0.001 % |
0.12/0.87 c | 7415 | 579 9408 31466 | 3136 2945 17 | 0.000 % |
0.12/0.89 c | 7648 | 579 9408 31466 | 3136 3178 18 | 0.001 % |
0.12/0.90 c | 7750 | 579 9408 31466 | 3136 2963 18 | 0.000 % |
0.12/0.92 c | 7861 | 579 9408 31466 | 3136 3074 18 | 0.000 % |
0.12/0.93 c | 7983 | 579 9408 31466 | 3136 3196 18 | 0.000 % |
0.12/0.94 c | 8119 | 579 9408 31466 | 3136 3013 18 | 0.001 % |
0.12/0.96 c | 8265 | 579 9408 31466 | 3136 3159 18 | 0.000 % |
0.12/0.98 c | 8426 | 579 9408 31466 | 3136 3005 18 | 0.000 % |
0.12/1.00 c | 8602 | 579 9408 31466 | 3136 3181 18 | 0.000 % |
0.98/1.02 c | 8796 | 579 9408 31466 | 3136 3057 18 | 0.000 % |
0.98/1.04 c | 9009 | 579 9408 31466 | 3136 2949 18 | 0.000 % |
0.98/1.08 c | 9242 | 579 9408 31466 | 3136 3182 19 | 0.000 % |
1.08/1.11 c | 9498 | 579 9408 31466 | 3136 3120 19 | 0.000 % |
1.08/1.12 c | 9598 | 579 9408 31466 | 3136 2899 19 | 0.000 % |
1.08/1.14 c | 9708 | 579 9408 31466 | 3136 3009 19 | 0.000 % |
1.08/1.15 c | 9830 | 579 9408 31466 | 3136 3131 19 | 0.000 % |
1.08/1.16 c | 9964 | 579 9408 31466 | 3136 2942 19 | 0.000 % |
1.08/1.18 c | 10111 | 579 9408 31466 | 2147483647 3089 19 | 0.000 % |
1.18/1.20 c | 10273 | 579 9408 31466 | 2147483647 3251 19 | 0.001 % |
1.18/1.22 c | 10449 | 579 9408 31466 | 2147483647 3427 19 | 0.000 % |
1.18/1.24 c | 10643 | 579 9408 31466 | 2147483647 3621 19 | 0.000 % |
1.18/1.27 c | 10856 | 579 9408 31466 | 2147483647 3834 19 | 0.000 % |
1.28/1.30 c | 11089 | 579 9408 31466 | 2147483647 4067 19 | 0.000 % |
1.28/1.33 c | 11346 | 579 9408 31466 | 2147483647 4324 19 | 0.000 % |
1.28/1.37 c | 11627 | 579 9408 31466 | 2147483647 4605 20 | 0.000 % |
1.28/1.38 c | 11729 | 579 9408 31466 | 2147483647 4707 20 | 0.000 % |
1.28/1.39 c | 11839 | 579 9408 31466 | 2147483647 4817 20 | 0.000 % |
1.38/1.41 c | 11962 | 579 9408 31466 | 2147483647 4940 20 | 0.000 % |
1.38/1.43 c | 12095 | 579 9408 31466 | 2147483647 5073 20 | 0.000 % |
1.38/1.44 c | 12241 | 579 9408 31466 | 2147483647 5219 20 | 0.000 % |
1.38/1.46 c | 12403 | 579 9408 31466 | 2147483647 5381 20 | 0.000 % |
1.38/1.48 c | 12580 | 579 9408 31466 | 2147483647 5558 20 | 0.000 % |
1.48/1.51 c | 12774 | 579 9408 31466 | 2147483647 5752 20 | 0.000 % |
1.48/1.54 c | 12986 | 579 9408 31466 | 2147483647 5964 20 | 0.000 % |
1.48/1.57 c | 13220 | 579 9408 31466 | 2147483647 6198 20 | 0.000 % |
1.58/1.60 c | 13477 | 579 9408 31466 | 2147483647 6455 20 | 0.000 % |
1.58/1.63 c | 13759 | 579 9408 31466 | 2147483647 6737 21 | 0.000 % |
1.58/1.67 c | 14069 | 579 9408 31466 | 2147483647 7047 21 | 0.000 % |
1.58/1.68 c | 14169 | 579 9408 31466 | 2147483647 7147 21 | 0.000 % |
1.58/1.70 c | 14280 | 579 9408 31466 | 2147483647 7258 21 | 0.000 % |
1.68/1.71 c | 14401 | 579 9408 31466 | 2147483647 7379 21 | 0.000 % |
1.68/1.73 c | 14534 | 579 9408 31466 | 2147483647 7512 21 | 0.000 % |
1.68/1.75 c | 14681 | 579 9408 31466 | 2147483647 7659 21 | 0.000 % |
1.68/1.77 c | 14842 | 579 9408 31466 | 2147483647 7820 21 | 0.000 % |
1.68/1.79 c | 15018 | 579 9408 31466 | 2147483647 7996 21 | 0.000 % |
1.78/1.83 c | 15212 | 579 9408 31466 | 2147483647 8190 21 | 0.000 % |
1.78/1.86 c | 15424 | 579 9408 31466 | 2147483647 8402 21 | 0.000 % |
1.88/1.90 c | 15657 | 579 9408 31466 | 2147483647 8635 21 | 0.000 % |
1.88/1.94 c | 15916 | 579 9408 31466 | 2147483647 8894 21 | 0.001 % |
1.88/1.98 c | 16197 | 579 9408 31466 | 2147483647 9175 21 | 0.000 % |
1.98/2.02 c | 16506 | 579 9408 31466 | 2147483647 9484 21 | 0.000 % |
1.98/2.08 c | 16846 | 579 9408 31466 | 2147483647 9824 21 | 0.000 % |
1.98/2.09 c | 16947 | 579 9408 31466 | 2147483647 9925 21 | 0.000 % |
2.08/2.11 c | 17057 | 579 9408 31466 | 2147483647 10035 21 | 0.001 % |
2.08/2.13 c | 17178 | 579 9408 31466 | 2147483647 10156 21 | 0.000 % |
2.08/2.15 c | 17312 | 579 9408 31466 | 2147483647 10290 21 | 0.001 % |
2.08/2.17 c | 17459 | 579 9408 31466 | 2147483647 10437 21 | 0.000 % |
2.08/2.20 c | 17619 | 579 9408 31466 | 2147483647 10597 21 | 0.000 % |
2.18/2.22 c | 17795 | 579 9408 31466 | 2147483647 10773 21 | 0.000 % |
2.18/2.26 c | 17988 | 579 9408 31466 | 2147483647 10966 21 | 0.001 % |
2.18/2.29 c | 18200 | 579 9408 31466 | 2147483647 11178 21 | 0.000 % |
2.28/2.33 c | 18435 | 579 9408 31466 | 2147483647 11413 21 | 0.001 % |
2.28/2.37 c | 18691 | 579 9408 31466 | 2147483647 11669 21 | 0.001 % |
2.38/2.41 c | 18973 | 579 9408 31466 | 2147483647 11951 21 | 0.000 % |
2.38/2.46 c | 19282 | 579 9408 31466 | 2147483647 12260 21 | 0.001 % |
2.48/2.52 c | 19621 | 579 9408 31466 | 2147483647 12599 21 | 0.001 % |
2.48/2.58 c | 19994 | 579 9408 31466 | 2147483647 12972 21 | 0.000 % |
2.58/2.60 c | 20094 | 579 9408 31466 | 2147483647 13072 21 | 0.001 % |
2.58/2.62 c | 20204 | 579 9408 31466 | 2147483647 13182 21 | 0.000 % |
2.58/2.65 c | 20326 | 579 9408 31466 | 2147483647 13304 21 | 0.000 % |
2.58/2.68 c | 20459 | 579 9408 31466 | 2147483647 13437 21 | 0.001 % |
2.68/2.70 c | 20605 | 579 9408 31466 | 2147483647 13583 21 | 0.000 % |
2.68/2.73 c | 20765 | 579 9408 31466 | 2147483647 13743 21 | 0.000 % |
2.68/2.77 c | 20941 | 579 9408 31466 | 2147483647 13919 21 | 0.000 % |
2.78/2.81 c | 21140 | 579 9408 31466 | 2147483647 14118 21 | 0.001 % |
2.78/2.86 c | 21353 | 579 9408 31466 | 2147483647 14331 21 | 0.000 % |
2.88/2.91 c | 21586 | 579 9408 31466 | 2147483647 14564 21 | 0.001 % |
2.88/2.96 c | 21843 | 579 9408 31466 | 2147483647 14821 21 | 0.000 % |
2.98/3.02 c | 22125 | 579 9408 31466 | 2147483647 15103 22 | 0.001 % |
2.98/3.07 c | 22434 | 579 9408 31466 | 2147483647 15412 22 | 0.000 % |
3.08/3.14 c | 22774 | 579 9408 31466 | 2147483647 15752 22 | 0.000 % |
3.18/3.22 c | 23147 | 579 9408 31466 | 2147483647 16125 21 | 0.001 % |
3.28/3.31 c | 23557 | 579 9408 31466 | 2147483647 16535 21 | 0.001 % |
3.28/3.34 c | 23658 | 579 9408 31466 | 2147483647 16636 21 | 0.000 % |
3.28/3.37 c | 23768 | 579 9408 31466 | 2147483647 16746 21 | 0.000 % |
3.28/3.39 c | 23890 | 579 9408 31466 | 2147483647 16868 21 | 0.000 % |
3.38/3.41 c | 24024 | 579 9408 31466 | 2147483647 17002 22 | 0.001 % |
3.38/3.44 c | 24171 | 579 9408 31466 | 2147483647 17149 22 | 0.000 % |
3.38/3.47 c | 24332 | 579 9408 31466 | 2147483647 17310 22 | 0.001 % |
3.47/3.51 c | 24509 | 579 9408 31466 | 2147483647 17487 22 | 0.001 % |
3.47/3.55 c | 24702 | 579 9408 31466 | 2147483647 17680 22 | 0.000 % |
3.57/3.60 c | 24915 | 579 9408 31466 | 2147483647 17893 22 | 0.000 % |
3.57/3.65 c | 25148 | 579 9408 31466 | 2147483647 18126 22 | 0.001 % |
3.67/3.71 c | 25405 | 579 9408 31466 | 2147483647 18383 22 | 0.000 % |
3.67/3.77 c | 25686 | 579 9408 31466 | 2147483647 18664 22 | 0.001 % |
3.77/3.83 c | 25995 | 579 9408 31466 | 2147483647 18973 22 | 0.000 % |
3.87/3.91 c | 26335 | 579 9408 31466 | 2147483647 19313 22 | 0.001 % |
3.97/4.00 c | 26711 | 579 9408 31466 | 2147483647 19689 22 | 0.001 % |
3.97/4.08 c | 27120 | 579 9408 31466 | 2147483647 20098 22 | 0.001 % |
4.07/4.19 c | 27569 | 579 9408 31466 | 2147483647 20547 22 | 0.001 % |
4.17/4.22 c | 27670 | 579 9408 31466 | 2147483647 20648 22 | 0.000 % |
4.17/4.25 c | 27781 | 579 9408 31466 | 2147483647 20759 22 | 0.000 % |
4.17/4.28 c | 27902 | 579 9408 31466 | 2147483647 20880 22 | 0.001 % |
4.28/4.31 c | 28035 | 579 9408 31466 | 2147483647 21013 22 | 0.000 % |
4.28/4.35 c | 28181 | 579 9408 31466 | 2147483647 21159 22 | 0.000 % |
4.28/4.40 c | 28342 | 579 9408 31466 | 2147483647 21320 22 | 0.000 % |
4.38/4.44 c | 28518 | 579 9408 31466 | 2147483647 21496 22 | 0.000 % |
4.38/4.49 c | 28711 | 579 9408 31466 | 2147483647 21689 22 | 0.000 % |
4.47/4.55 c | 28925 | 579 9408 31466 | 2147483647 21903 22 | 0.000 % |
4.57/4.62 c | 29158 | 579 9408 31466 | 2147483647 22136 22 | 0.000 % |
4.67/4.70 c | 29414 | 579 9408 31466 | 2147483647 22392 22 | 0.000 % |
4.77/4.80 c | 29696 | 579 9408 31466 | 2147483647 22674 22 | 0.000 % |
4.77/4.88 c | 30006 | 579 9408 31466 | 2147483647 22984 22 | 0.000 % |
4.87/4.96 c | 30345 | 579 9408 31466 | 2147483647 23323 22 | 0.000 % |
4.97/5.04 c | 30718 | 579 9408 31466 | 2147483647 23696 22 | 0.000 % |
5.07/5.13 c | 31128 | 579 9408 31466 | 2147483647 24106 22 | 0.000 % |
5.17/5.24 c | 31577 | 579 9408 31466 | 2147483647 24555 22 | 0.000 % |
5.37/5.40 c | 32072 | 579 9408 31466 | 2147483647 25050 22 | 0.001 % |
5.37/5.44 c | 32173 | 579 9408 31466 | 2147483647 25151 22 | 0.001 % |
5.37/5.46 c | 32283 | 579 9408 31466 | 2147483647 25261 22 | 0.000 % |
5.37/5.50 c | 32406 | 579 9408 31466 | 2147483647 25384 22 | 0.000 % |
5.47/5.53 c | 32541 | 579 9408 31466 | 2147483647 25519 22 | 0.000 % |
5.47/5.58 c | 32687 | 579 9408 31466 | 2147483647 25665 22 | 0.000 % |
5.57/5.63 c | 32847 | 579 9408 31466 | 2147483647 25825 22 | 0.000 % |
5.57/5.69 c | 33023 | 579 9408 31466 | 2147483647 26001 22 | 0.000 % |
5.67/5.75 c | 33217 | 579 9408 31466 | 2147483647 26195 22 | 0.001 % |
5.77/5.82 c | 33429 | 579 9408 31466 | 2147483647 26407 22 | 0.001 % |
5.77/5.89 c | 33662 | 579 9408 31466 | 2147483647 26640 22 | 0.000 % |
5.87/5.98 c | 33918 | 579 9408 31466 | 2147483647 26896 22 | 0.001 % |
5.97/6.07 c | 34199 | 579 9408 31466 | 2147483647 27177 22 | 0.001 % |
6.08/6.18 c | 34510 | 579 9408 31466 | 2147483647 27488 22 | 0.000 % |
6.18/6.30 c | 34850 | 579 9408 31466 | 2147483647 27828 22 | 0.000 % |
6.38/6.42 c | 35223 | 579 9408 31466 | 2147483647 28201 22 | 0.001 % |
6.48/6.54 c | 35632 | 579 9408 31466 | 2147483647 28610 22 | 0.000 % |
6.68/6.70 c | 36082 | 579 9408 31466 | 2147483647 29060 22 | 0.001 % |
6.78/6.88 c | 36577 | 579 9408 31466 | 2147483647 29555 22 | 0.000 % |
7.08/7.10 c | 37119 | 579 9408 31466 | 2147483647 30097 22 | 0.000 % |
7.08/7.14 c | 37219 | 579 9408 31466 | 2147483647 30197 22 | 0.000 % |
7.08/7.18 c | 37330 | 579 9408 31466 | 2147483647 30308 22 | 0.000 % |
7.18/7.23 c | 37453 | 579 9408 31466 | 2147483647 30431 22 | 0.000 % |
7.18/7.29 c | 37587 | 579 9408 31466 | 2147483647 30565 22 | 0.000 % |
7.28/7.34 c | 37733 | 579 9408 31466 | 2147483647 30711 22 | 0.000 % |
7.38/7.40 c | 37894 | 579 9408 31466 | 2147483647 30872 22 | 0.001 % |
7.38/7.47 c | 38070 | 579 9408 31466 | 2147483647 31048 22 | 0.000 % |
7.48/7.59 c | 38265 | 579 9408 31466 | 2147483647 31243 22 | 0.000 % |
7.58/7.66 c | 38477 | 579 9408 31466 | 2147483647 31455 22 | 0.000 % |
7.68/7.73 c | 38712 | 579 9408 31466 | 2147483647 31690 22 | 0.000 % |
7.78/7.83 c | 38968 | 579 9408 31466 | 2147483647 31946 22 | 0.000 % |
7.88/7.94 c | 39250 | 579 9408 31466 | 2147483647 32228 22 | 0.000 % |
7.98/8.08 c | 39561 | 579 9408 31466 | 2147483647 32539 22 | 0.001 % |
8.18/8.21 c | 39901 | 579 9408 31466 | 2147483647 32879 22 | 0.000 % |
8.28/8.36 c | 40273 | 579 9408 31466 | 2147483647 33251 22 | 0.000 % |
8.48/8.54 c | 40682 | 579 9408 31466 | 2147483647 33660 22 | 0.000 % |
8.68/8.74 c | 41132 | 579 9408 31466 | 2147483647 34110 22 | 0.000 % |
8.88/8.93 c | 41625 | 579 9408 31466 | 2147483647 34603 23 | 0.000 % |
9.08/9.13 c | 42169 | 579 9408 31466 | 2147483647 35147 23 | 0.000 % |
9.28/9.33 c | 42766 | 579 9408 31466 | 2147483647 35744 23 | 0.000 % |
9.28/9.36 c | 42867 | 579 9408 31466 | 2147483647 35845 23 | 0.000 % |
9.38/9.40 c | 42977 | 579 9408 31466 | 2147483647 35955 23 | 0.000 % |
9.38/9.45 c | 43098 | 579 9408 31466 | 2147483647 36076 23 | 0.000 % |
9.48/9.52 c | 43231 | 579 9408 31466 | 2147483647 36209 23 | 0.000 % |
9.48/9.59 c | 43377 | 579 9408 31466 | 2147483647 36355 23 | 0.000 % |
9.58/9.65 c | 43537 | 579 9408 31466 | 2147483647 36515 23 | 0.000 % |
9.68/9.72 c | 43717 | 579 9408 31466 | 2147483647 36695 23 | 0.000 % |
9.68/9.80 c | 43910 | 579 9408 31466 | 2147483647 36888 23 | 0.000 % |
9.78/9.87 c | 44122 | 579 9408 31466 | 2147483647 37100 23 | 0.000 % |
9.88/9.98 c | 44355 | 579 9408 31466 | 2147483647 37333 23 | 0.000 % |
9.98/10.08 c | 44612 | 579 9408 31466 | 2147483647 37590 23 | 0.000 % |
10.17/10.20 c | 44893 | 579 9408 31466 | 2147483647 37871 23 | 0.001 % |
10.27/10.37 c | 45202 | 579 9408 31466 | 2147483647 38180 23 | 0.000 % |
10.37/10.49 c | 45541 | 579 9408 31466 | 2147483647 38519 23 | 0.000 % |
10.57/10.67 c | 45914 | 579 9408 31466 | 2147483647 38892 23 | 0.000 % |
10.78/10.86 c | 46324 | 579 9408 31466 | 2147483647 39302 23 | 0.000 % |
10.98/11.10 c | 46775 | 579 9408 31466 | 2147483647 39753 23 | 0.001 % |
11.28/11.35 c | 47268 | 579 9408 31466 | 2147483647 40246 23 | 0.000 % |
11.57/11.61 c | 47812 | 579 9408 31466 | 2147483647 40790 23 | 0.000 % |
11.77/11.85 c | 48409 | 579 9408 31466 | 2147483647 41387 23 | 0.001 % |
12.08/12.16 c | 49066 | 579 9408 31466 | 2147483647 42044 23 | 0.000 % |
12.17/12.24 c | 49167 | 579 9408 31466 | 2147483647 42145 23 | 0.000 % |
12.27/12.30 c | 49278 | 579 9408 31466 | 2147483647 42256 23 | 0.000 % |
12.27/12.38 c | 49399 | 579 9408 31466 | 2147483647 42377 23 | 0.000 % |
12.37/12.45 c | 49532 | 579 9408 31466 | 2147483647 42510 23 | 0.000 % |
12.47/12.54 c | 49680 | 579 9408 31466 | 2147483647 42658 23 | 0.001 % |
12.57/12.62 c | 49840 | 579 9408 31466 | 2147483647 42818 23 | 0.000 % |
12.67/12.76 c | 50016 | 579 9408 31466 | 2147483647 42994 23 | 0.000 % |
12.77/12.88 c | 50209 | 579 9408 31466 | 2147483647 43187 23 | 0.001 % |
12.87/12.99 c | 50421 | 579 9408 31466 | 2147483647 43399 23 | 0.001 % |
13.07/13.13 c | 50655 | 579 9408 31466 | 2147483647 43633 23 | 0.001 % |
13.17/13.26 c | 50912 | 579 9408 31466 | 2147483647 43890 23 | 0.001 % |
13.27/13.39 c | 51194 | 579 9408 31466 | 2147483647 44172 23 | 0.001 % |
13.47/13.53 c | 51503 | 579 9408 31466 | 2147483647 44481 23 | 0.001 % |
13.67/13.73 c | 51842 | 579 9408 31466 | 2147483647 44820 23 | 0.000 % |
13.87/13.95 c | 52214 | 579 9408 31466 | 2147483647 45192 23 | 0.001 % |
14.07/14.17 c | 52623 | 579 9408 31466 | 2147483647 45601 23 | 0.001 % |
14.37/14.42 c | 53073 | 579 9408 31466 | 2147483647 46051 23 | 0.000 % |
14.67/14.72 c | 53570 | 579 9408 31466 | 2147483647 46548 23 | 0.000 % |
14.97/15.02 c | 54114 | 579 9408 31466 | 2147483647 47092 23 | 0.000 % |
15.27/15.33 c | 54713 | 579 9408 31466 | 2147483647 47691 23 | 0.000 % |
15.67/15.75 c | 55370 | 579 9408 31466 | 2147483647 48348 23 | 0.000 % |
16.07/16.19 c | 56090 | 579 9408 31466 | 2147483647 49068 23 | 0.001 % |
16.17/16.25 c | 56191 | 579 9408 31466 | 2147483647 49169 23 | 0.000 % |
16.27/16.32 c | 56301 | 579 9408 31466 | 2147483647 49279 23 | 0.000 % |
16.27/16.39 c | 56424 | 579 9408 31466 | 2147483647 49402 23 | 0.000 % |
16.37/16.47 c | 56557 | 579 9408 31466 | 2147483647 49535 23 | 0.000 % |
16.47/16.55 c | 56705 | 579 9408 31466 | 2147483647 49683 23 | 0.001 % |
16.57/16.65 c | 56865 | 579 9408 31466 | 2147483647 49843 23 | 0.001 % |
16.67/16.79 c | 57041 | 579 9408 31466 | 2147483647 50019 23 | 0.001 % |
16.87/16.91 c | 57234 | 579 9408 31466 | 2147483647 50212 23 | 0.001 % |
16.97/17.06 c | 57446 | 579 9408 31466 | 2147483647 50424 23 | 0.001 % |
17.18/17.25 c | 57679 | 579 9408 31466 | 2147483647 50657 23 | 0.001 % |
17.38/17.40 c | 57936 | 579 9408 31466 | 2147483647 50914 23 | 0.001 % |
17.48/17.57 c | 58218 | 579 9408 31466 | 2147483647 51196 23 | 0.000 % |
17.68/17.75 c | 58527 | 579 9408 31466 | 2147483647 51505 23 | 0.000 % |
17.88/17.96 c | 58866 | 579 9408 31466 | 2147483647 51844 23 | 0.000 % |
18.18/18.20 c | 59239 | 579 9408 31466 | 2147483647 52217 23 | 0.000 % |
18.38/18.41 c | 59649 | 579 9408 31466 | 2147483647 52627 23 | 0.001 % |
18.68/18.78 c | 60098 | 579 9408 31466 | 52980 45086 23 | 0.001 % |
19.08/19.11 c | 60591 | 579 9408 31466 | 52980 45579 23 | 0.000 % |
19.38/19.46 c | 61135 | 579 9408 31466 | 52980 46123 23 | 0.000 % |
19.68/19.80 c | 61732 | 579 9408 31466 | 52980 46720 23 | 0.001 % |
20.17/20.27 c | 62387 | 579 9408 31466 | 52980 47375 23 | 0.001 % |
20.67/20.77 c | 63108 | 579 9408 31466 | 52980 48096 23 | 0.001 % |
21.27/21.33 c | 63901 | 579 9408 31466 | 52980 48889 23 | 0.001 % |
21.27/21.39 c | 64002 | 579 9408 31466 | 52980 48990 23 | 0.000 % |
21.37/21.48 c | 64112 | 579 9408 31466 | 52980 49100 23 | 0.000 % |
21.47/21.54 c | 64233 | 579 9408 31466 | 52980 49221 23 | 0.000 % |
21.57/21.63 c | 64366 | 579 9408 31466 | 52980 49354 23 | 0.000 % |
21.67/21.74 c | 64512 | 579 9408 31466 | 52980 49500 23 | 0.000 % |
21.77/21.86 c | 64672 | 579 9408 31466 | 52980 49660 23 | 0.001 % |
21.88/21.97 c | 64849 | 579 9408 31466 | 52980 49837 23 | 0.000 % |
22.07/22.13 c | 65043 | 579 9408 31466 | 52980 50031 23 | 0.001 % |
22.17/22.29 c | 65255 | 579 9408 31466 | 52980 50243 23 | 0.000 % |
22.37/22.43 c | 65489 | 579 9408 31466 | 52980 50477 23 | 0.000 % |
22.57/22.61 c | 65745 | 579 9408 31466 | 52980 50733 23 | 0.001 % |
22.67/22.73 c | 66027 | 579 9408 31466 | 52980 51015 23 | 0.000 % |
22.87/22.97 c | 66337 | 579 9408 31466 | 52980 51325 23 | 0.000 % |
23.07/23.18 c | 66677 | 579 9408 31466 | 52980 51665 23 | 0.001 % |
23.37/23.41 c | 67049 | 579 9408 31466 | 52980 52037 23 | 0.001 % |
23.57/23.69 c | 67459 | 579 9408 31466 | 52980 52447 23 | 0.000 % |
23.87/23.97 c | 67909 | 579 9408 31466 | 52980 52897 23 | 0.001 % |
24.27/24.37 c | 68404 | 579 9408 31466 | 52980 43519 22 | 0.001 % |
24.57/24.66 c | 68947 | 579 9408 31466 | 52980 44062 22 | 0.001 % |
24.87/24.96 c | 69543 | 579 9408 31466 | 52980 44658 22 | 0.001 % |
25.37/25.47 c | 70200 | 579 9408 31466 | 45116 37127 22 | 0.000 % |
25.77/25.80 c | 70920 | 579 9408 31466 | 45116 37847 22 | 0.001 % |
26.07/26.17 c | 71712 | 579 9408 31466 | 45116 38639 22 | 0.000 % |
26.47/26.59 c | 72583 | 579 9408 31466 | 45116 39510 22 | 0.000 % |
26.57/26.67 c | 72684 | 579 9408 31466 | 45116 39611 22 | 0.001 % |
26.67/26.73 c | 72795 | 579 9408 31466 | 45116 39722 22 | 0.001 % |
26.67/26.79 c | 72916 | 579 9408 31466 | 45116 39843 22 | 0.000 % |
26.77/26.86 c | 73049 | 579 9408 31466 | 45116 39976 22 | 0.001 % |
26.87/26.94 c | 73195 | 579 9408 31466 | 45116 40122 22 | 0.000 % |
26.97/27.01 c | 73357 | 579 9408 31466 | 45116 40284 22 | 0.001 % |
26.97/27.08 c | 73533 | 579 9408 31466 | 45116 40460 22 | 0.000 % |
27.17/27.20 c | 73726 | 579 9408 31466 | 45116 40653 22 | 0.000 % |
27.27/27.30 c | 73938 | 579 9408 31466 | 45116 40865 22 | 0.001 % |
27.27/27.39 c | 74173 | 579 9408 31466 | 45116 41100 22 | 0.001 % |
27.37/27.49 c | 74429 | 579 9408 31466 | 45116 41356 22 | 0.001 % |
27.57/27.62 c | 74711 | 579 9408 31466 | 45116 41638 22 | 0.001 % |
27.67/27.78 c | 75021 | 579 9408 31466 | 45116 41948 22 | 0.000 % |
27.87/27.94 c | 75361 | 579 9408 31466 | 45116 42288 22 | 0.001 % |
28.07/28.10 c | 75734 | 579 9408 31466 | 45116 42661 22 | 0.000 % |
28.17/28.28 c | 76143 | 579 9408 31466 | 45116 43070 22 | 0.000 % |
28.47/28.54 c | 76592 | 579 9408 31466 | 45116 43519 22 | 0.000 % |
28.77/28.85 c | 77085 | 579 9408 31466 | 45116 44012 22 | 0.000 % |
29.17/29.25 c | 77627 | 579 9408 31466 | 45116 44554 22 | 0.001 % |
29.57/29.62 c | 78224 | 579 9408 31466 | 45116 45151 22 | 0.000 % |
30.07/30.10 c | 78880 | 579 9408 31466 | 45116 39113 21 | 0.001 % |
30.37/30.49 c | 79601 | 579 9408 31466 | 45116 39834 21 | 0.000 % |
30.77/30.88 c | 80393 | 579 9408 31466 | 40233 34811 21 | 0.001 % |
31.17/31.22 c | 81265 | 579 9408 31466 | 40233 35683 21 | 0.001 % |
31.57/31.66 c | 82223 | 579 9408 31466 | 40233 36641 21 | 0.000 % |
31.67/31.71 c | 82323 | 579 9408 31466 | 40233 36741 21 | 0.000 % |
31.67/31.77 c | 82433 | 579 9408 31466 | 40233 36851 21 | 0.000 % |
31.77/31.84 c | 82555 | 579 9408 31466 | 40233 36973 21 | 0.001 % |
31.87/31.93 c | 82689 | 579 9408 31466 | 40233 37107 21 | 0.001 % |
31.97/32.02 c | 82835 | 579 9408 31466 | 40233 37253 21 | 0.000 % |
32.07/32.10 c | 82995 | 579 9408 31466 | 40233 37413 21 | 0.001 % |
32.17/32.20 c | 83173 | 579 9408 31466 | 40233 37591 21 | 0.000 % |
32.27/32.31 c | 83368 | 579 9408 31466 | 40233 37786 21 | 0.000 % |
32.37/32.41 c | 83582 | 579 9408 31466 | 40233 38000 21 | 0.001 % |
32.47/32.53 c | 83816 | 579 9408 31466 | 40233 38234 21 | 0.000 % |
32.57/32.65 c | 84072 | 579 9408 31466 | 40233 38490 21 | 0.000 % |
32.67/32.77 c | 84356 | 579 9408 31466 | 40233 38774 21 | 0.000 % |
32.87/32.92 c | 84668 | 579 9408 31466 | 40233 39086 21 | 0.000 % |
33.07/33.11 c | 85008 | 579 9408 31466 | 40233 39426 21 | 0.000 % |
33.27/33.35 c | 85381 | 579 9408 31466 | 40233 39799 21 | 0.000 % |
33.57/33.60 c | 85790 | 579 9408 31466 | 40233 40208 22 | 0.000 % |
33.77/33.84 c | 86239 | 579 9408 31466 | 40233 36015 21 | 0.001 % |
34.07/34.11 c | 86732 | 579 9408 31466 | 40233 36508 21 | 0.001 % |
34.27/34.38 c | 87275 | 579 9408 31466 | 40233 37051 21 | 0.000 % |
34.57/34.65 c | 87872 | 579 9408 31466 | 40233 37648 21 | 0.000 % |
34.87/34.95 c | 88527 | 579 9408 31466 | 40233 38303 21 | 0.001 % |
35.27/35.32 c | 89248 | 579 9408 31466 | 40233 39024 21 | 0.000 % |
35.67/35.71 c | 90040 | 579 9408 31466 | 39776 39816 21 | 0.001 % |
36.07/36.16 c | 90911 | 579 9408 31466 | 39776 36300 21 | 0.000 % |
36.57/36.64 c | 91870 | 579 9408 31466 | 39776 37259 21 | 0.000 % |
37.17/37.22 c | 92925 | 579 9408 31466 | 39776 38314 21 | 0.000 % |
37.17/37.26 c | 93025 | 579 9408 31466 | 39776 38414 21 | 0.000 % |
37.27/37.32 c | 93135 | 579 9408 31466 | 39776 38524 21 | 0.000 % |
37.27/37.39 c | 93257 | 579 9408 31466 | 39776 38646 21 | 0.001 % |
37.37/37.47 c | 93391 | 579 9408 31466 | 39776 38780 21 | 0.000 % |
37.47/37.54 c | 93538 | 579 9408 31466 | 39776 38927 21 | 0.001 % |
37.57/37.63 c | 93698 | 579 9408 31466 | 39776 39087 21 | 0.001 % |
37.67/37.72 c | 93876 | 579 9408 31466 | 39776 39265 21 | 0.000 % |
37.77/37.82 c | 94070 | 579 9408 31466 | 39776 39459 21 | 0.000 % |
37.87/37.96 c | 94283 | 579 9408 31466 | 39776 39672 21 | 0.000 % |
38.07/38.11 c | 94516 | 579 9408 31466 | 39776 35295 21 | 0.000 % |
38.17/38.25 c | 94772 | 579 9408 31466 | 39776 35551 21 | 0.000 % |
38.37/38.46 c | 95053 | 579 9408 31466 | 39776 35832 21 | 0.001 % |
38.57/38.64 c | 95362 | 579 9408 31466 | 39776 36141 21 | 0.001 % |
38.77/38.80 c | 95703 | 579 9408 31466 | 39776 36482 21 | 0.001 % |
38.87/38.98 c | 96075 | 579 9408 31466 | 39776 36854 21 | 0.000 % |
39.07/39.16 c | 96485 | 579 9408 31466 | 39776 37264 21 | 0.000 % |
39.27/39.32 c | 96935 | 579 9408 31466 | 39776 37714 21 | 0.000 % |
39.47/39.51 c | 97429 | 579 9408 31466 | 39776 38208 22 | 0.000 % |
39.67/39.72 c | 97971 | 579 9408 31466 | 39776 38750 22 | 0.000 % |
39.97/40.03 c | 98567 | 579 9408 31466 | 39776 39346 22 | 0.000 % |
40.27/40.39 c | 99224 | 579 9408 31466 | 39776 35669 22 | 0.000 % |
40.67/40.71 c | 99944 | 579 9408 31466 | 39776 36389 22 | 0.000 % |
41.07/41.11 c | 100737 | 579 9408 31466 | 36445 33245 22 | 0.000 % |
41.47/41.54 c | 101608 | 579 9408 31466 | 36445 34116 22 | 0.000 % |
41.87/41.94 c | 102566 | 579 9408 31466 | 36445 35074 22 | 0.001 % |
42.36/42.44 c | 103619 | 579 9408 31466 | 36445 36127 22 | 0.001 % |
42.96/43.06 c | 104779 | 579 9408 31466 | 36445 33638 22 | 0.000 % |
43.06/43.10 c | 104879 | 579 9408 31466 | 36445 33738 22 | 0.000 % |
43.06/43.16 c | 104990 | 579 9408 31466 | 36445 33849 22 | 0.000 % |
43.16/43.22 c | 105111 | 579 9408 31466 | 36445 33970 22 | 0.000 % |
43.16/43.27 c | 105246 | 579 9408 31466 | 36445 34105 22 | 0.001 % |
43.26/43.34 c | 105392 | 579 9408 31466 | 36445 34251 22 | 0.001 % |
43.36/43.42 c | 105553 | 579 9408 31466 | 36445 34412 22 | 0.000 % |
43.36/43.49 c | 105730 | 579 9408 31466 | 36445 34589 22 | 0.000 % |
43.46/43.57 c | 105923 | 579 9408 31466 | 36445 34782 22 | 0.000 % |
43.56/43.68 c | 106135 | 579 9408 31466 | 36445 34994 22 | 0.000 % |
43.66/43.79 c | 106369 | 579 9408 31466 | 36445 35228 23 | 0.000 % |
43.87/43.93 c | 106627 | 579 9408 31466 | 36445 35486 23 | 0.000 % |
43.97/44.05 c | 106910 | 579 9408 31466 | 36445 35769 23 | 0.000 % |
44.16/44.22 c | 107219 | 579 9408 31466 | 36445 36078 23 | 0.000 % |
44.26/44.38 c | 107560 | 579 9408 31466 | 36445 36419 23 | 0.000 % |
44.56/44.65 c | 107933 | 579 9408 31466 | 36445 33143 22 | 0.001 % |
44.76/44.85 c | 108343 | 579 9408 31466 | 36445 33553 22 | 0.000 % |
44.97/45.03 c | 108793 | 579 9408 31466 | 36445 34003 22 | 0.000 % |
45.16/45.27 c | 109286 | 579 9408 31466 | 36445 34496 23 | 0.000 % |
45.36/45.49 c | 109828 | 579 9408 31466 | 36445 35038 23 | 0.000 % |
45.66/45.75 c | 110424 | 579 9408 31466 | 2147483647 35634 23 | 0.000 % |
45.96/46.02 c | 111081 | 579 9408 31466 | 2147483647 36291 23 | 0.001 % |
46.36/46.41 c | 111802 | 579 9408 31466 | 2147483647 37012 23 | 0.000 % |
46.76/46.84 c | 112594 | 579 9408 31466 | 2147483647 37804 23 | 0.001 % |
47.17/47.23 c | 113466 | 579 9408 31466 | 2147483647 38676 23 | 0.001 % |
47.56/47.69 c | 114425 | 579 9408 31466 | 2147483647 39635 23 | 0.000 % |
48.06/48.14 c | 115478 | 579 9408 31466 | 2147483647 40688 23 | 0.000 % |
48.56/48.68 c | 116636 | 579 9408 31466 | 2147483647 41846 23 | 0.001 % |
49.26/49.32 c | 117910 | 579 9408 31466 | 2147483647 43120 23 | 0.000 % |
49.26/49.37 c | 118010 | 579 9408 31466 | 2147483647 43220 23 | 0.000 % |
49.37/49.44 c | 118122 | 579 9408 31466 | 2147483647 43332 23 | 0.001 % |
49.47/49.52 c | 118244 | 579 9408 31466 | 2147483647 43454 23 | 0.000 % |
49.47/49.59 c | 118377 | 579 9408 31466 | 2147483647 43587 23 | 0.000 % |
49.56/49.66 c | 118523 | 579 9408 31466 | 2147483647 43733 23 | 0.000 % |
49.66/49.78 c | 118684 | 579 9408 31466 | 2147483647 43894 23 | 0.000 % |
49.76/49.90 c | 118860 | 579 9408 31466 | 2147483647 44070 23 | 0.000 % |
49.96/50.03 c | 119054 | 579 9408 31466 | 2147483647 44264 23 | 0.000 % |
50.06/50.16 c | 119266 | 579 9408 31466 | 2147483647 44476 23 | 0.002 % |
50.26/50.32 c | 119499 | 579 9408 31466 | 2147483647 44709 23 | 0.001 % |
50.36/50.50 c | 119755 | 579 9408 31466 | 2147483647 44965 23 | 0.000 % |
50.57/50.68 c | 120036 | 579 9408 31466 | 45210 45246 23 | 0.000 % |
50.86/50.91 c | 120345 | 579 9408 31466 | 45210 39932 23 | 0.000 % |
51.06/51.10 c | 120686 | 579 9408 31466 | 45210 40273 23 | 0.001 % |
51.26/51.34 c | 121061 | 579 9408 31466 | 45210 40648 23 | 0.002 % |
51.57/51.67 c | 121471 | 579 9408 31466 | 45210 41058 23 | 0.001 % |
51.86/51.96 c | 121920 | 579 9408 31466 | 45210 41507 23 | 0.001 % |
52.16/52.25 c | 122413 | 579 9408 31466 | 45210 42000 23 | 0.000 % |
52.56/52.61 c | 122957 | 579 9408 31466 | 45210 42544 23 | 0.000 % |
52.96/53.04 c | 123554 | 579 9408 31466 | 45210 43141 23 | 0.000 % |
53.36/53.48 c | 124211 | 579 9408 31466 | 45210 43798 23 | 0.000 % |
53.86/53.92 c | 124931 | 579 9408 31466 | 45210 44518 23 | 0.000 % |
54.46/54.50 c | 125725 | 579 9408 31466 | 45210 38428 22 | 0.000 % |
54.96/55.03 c | 126598 | 579 9408 31466 | 45210 39301 23 | 0.001 % |
55.46/55.57 c | 127558 | 579 9408 31466 | 45210 40261 23 | 0.000 % |
56.16/56.22 c | 128613 | 579 9408 31466 | 45210 41316 23 | 0.001 % |
56.76/56.81 c | 129771 | 579 9408 31466 | 45210 42474 23 | 0.001 % |
57.36/57.50 c | 131047 | 579 9408 31466 | 42704 37238 22 | 0.000 % |
58.26/58.31 c | 132448 | 579 9408 31466 | 42704 38639 22 | 0.000 % |
58.26/58.36 c | 132550 | 579 9408 31466 | 42704 38741 22 | 0.001 % |
58.36/58.42 c | 132662 | 579 9408 31466 | 42704 38853 22 | 0.000 % |
58.36/58.49 c | 132784 | 579 9408 31466 | 42704 38975 22 | 0.000 % |
58.56/58.60 c | 132917 | 579 9408 31466 | 42704 39108 22 | 0.000 % |
58.56/58.69 c | 133065 | 579 9408 31466 | 42704 39256 22 | 0.000 % |
58.66/58.79 c | 133225 | 579 9408 31466 | 42704 39416 22 | 0.000 % |
58.76/58.86 c | 133402 | 579 9408 31466 | 42704 39593 22 | 0.000 % |
58.86/58.94 c | 133596 | 579 9408 31466 | 42704 39787 22 | 0.000 % |
58.96/59.05 c | 133808 | 579 9408 31466 | 42704 39999 22 | 0.001 % |
59.06/59.14 c | 134041 | 579 9408 31466 | 42704 40232 22 | 0.001 % |
59.16/59.27 c | 134300 | 579 9408 31466 | 42704 40491 22 | 0.000 % |
59.36/59.42 c | 134581 | 579 9408 31466 | 42704 40772 22 | 0.000 % |
59.46/59.57 c | 134890 | 579 9408 31466 | 42704 41081 22 | 0.001 % |
59.66/59.73 c | 135229 | 579 9408 31466 | 42704 41420 22 | 0.001 % |
59.86/59.92 c | 135603 | 579 9408 31466 | 42704 41794 22 | 0.001 % |
60.06/60.12 c | 136014 | 579 9408 31466 | 42704 42205 22 | 0.001 % |
60.26/60.38 c | 136463 | 579 9408 31466 | 42704 42654 22 | 0.000 % |
60.66/60.70 c | 136956 | 579 9408 31466 | 42704 37121 22 | 0.001 % |
60.96/61.02 c | 137499 | 579 9408 31466 | 42704 37664 22 | 0.000 % |
61.26/61.37 c | 138096 | 579 9408 31466 | 42704 38261 22 | 0.001 % |
61.66/61.70 c | 138753 | 579 9408 31466 | 42704 38918 22 | 0.001 % |
62.06/62.15 c | 139473 | 579 9408 31466 | 42704 39638 22 | 0.000 % |
62.56/62.61 c | 140266 | 579 9408 31466 | 40166 34826 21 | 0.001 % |
62.86/62.93 c | 141137 | 579 9408 31466 | 40166 35697 21 | 0.001 % |
63.26/63.32 c | 142095 | 579 9408 31466 | 40166 36655 21 | 0.001 % |
63.76/63.84 c | 143149 | 579 9408 31466 | 40166 37709 21 | 0.001 % |
64.36/64.47 c | 144307 | 579 9408 31466 | 40166 38867 21 | 0.001 % |
64.96/65.07 c | 145580 | 579 9408 31466 | 40166 40140 21 | 0.001 % |
65.86/65.96 c | 146982 | 579 9408 31466 | 40166 36933 21 | 0.000 % |
66.76/66.85 c | 148523 | 579 9408 31466 | 40166 38474 21 | 0.001 % |
66.86/66.91 c | 148624 | 579 9408 31466 | 40166 38575 21 | 0.000 % |
66.86/66.97 c | 148736 | 579 9408 31466 | 40166 38687 21 | 0.000 % |
66.96/67.05 c | 148858 | 579 9408 31466 | 40166 38809 21 | 0.000 % |
67.06/67.12 c | 148991 | 579 9408 31466 | 40166 38942 21 | 0.001 % |
67.16/67.21 c | 149137 | 579 9408 31466 | 40166 39088 21 | 0.000 % |
67.26/67.30 c | 149298 | 579 9408 31466 | 40166 39249 21 | 0.000 % |
67.36/67.40 c | 149478 | 579 9408 31466 | 40166 39429 22 | 0.000 % |
67.46/67.51 c | 149672 | 579 9408 31466 | 40166 39623 22 | 0.001 % |
67.56/67.62 c | 149886 | 579 9408 31466 | 40166 39837 22 | 0.000 % |
67.66/67.77 c | 150119 | 579 9408 31466 | 39951 35144 21 | 0.000 % |
67.86/67.92 c | 150375 | 579 9408 31466 | 39951 35400 21 | 0.000 % |
67.96/68.04 c | 150657 | 579 9408 31466 | 39951 35682 21 | 0.000 % |
68.06/68.17 c | 150967 | 579 9408 31466 | 39951 35992 21 | 0.000 % |
68.26/68.34 c | 151308 | 579 9408 31466 | 39951 36333 21 | 0.000 % |
68.46/68.55 c | 151680 | 579 9408 31466 | 39951 36705 21 | 0.000 % |
68.66/68.77 c | 152091 | 579 9408 31466 | 39951 37116 21 | 0.000 % |
68.86/68.96 c | 152540 | 579 9408 31466 | 39951 37565 22 | 0.000 % |
69.16/69.25 c | 153033 | 579 9408 31466 | 39951 38058 22 | 0.000 % |
69.56/69.64 c | 153575 | 579 9408 31466 | 39951 38600 22 | 0.001 % |
69.86/69.91 c | 154171 | 579 9408 31466 | 39951 39196 22 | 0.001 % |
70.16/70.25 c | 154829 | 579 9408 31466 | 39951 39854 22 | 0.001 % |
70.66/70.70 c | 155549 | 579 9408 31466 | 39951 36110 22 | 0.001 % |
71.06/71.16 c | 156341 | 579 9408 31466 | 39951 36902 22 | 0.001 % |
71.56/71.66 c | 157212 | 579 9408 31466 | 39951 37773 22 | 0.000 % |
72.05/72.14 c | 158171 | 579 9408 31466 | 39951 38732 22 | 0.000 % |
72.46/72.59 c | 159226 | 579 9408 31466 | 39951 39787 22 | 0.000 % |
73.15/73.24 c | 160384 | 579 9408 31466 | 36133 32484 22 | 0.000 % |
73.75/73.83 c | 161657 | 579 9408 31466 | 36133 33757 22 | 0.001 % |
74.35/74.46 c | 163057 | 579 9408 31466 | 36133 35157 22 | 0.000 % |
75.15/75.29 c | 164601 | 579 9408 31466 | 36133 33079 22 | 0.000 % |
76.05/76.15 c | 166296 | 579 9408 31466 | 36133 34774 22 | 0.000 % |
76.05/76.19 c | 166398 | 579 9408 31466 | 36133 34876 22 | 0.001 % |
76.15/76.25 c | 166509 | 579 9408 31466 | 36133 34987 22 | 0.000 % |
76.25/76.33 c | 166630 | 579 9408 31466 | 36133 35108 22 | 0.001 % |
76.35/76.42 c | 166763 | 579 9408 31466 | 36133 35241 22 | 0.000 % |
76.45/76.52 c | 166910 | 579 9408 31466 | 36133 35388 22 | 0.000 % |
76.55/76.60 c | 167071 | 579 9408 31466 | 36133 35549 22 | 0.000 % |
76.55/76.69 c | 167247 | 579 9408 31466 | 36133 35725 22 | 0.000 % |
76.65/76.80 c | 167440 | 579 9408 31466 | 36133 35918 22 | 0.000 % |
76.75/76.89 c | 167652 | 579 9408 31466 | 36133 36130 22 | 0.000 % |
76.96/77.03 c | 167886 | 579 9408 31466 | 36133 32670 21 | 0.000 % |
77.05/77.16 c | 168143 | 579 9408 31466 | 36133 32927 22 | 0.001 % |
77.15/77.27 c | 168424 | 579 9408 31466 | 36133 33208 22 | 0.000 % |
77.35/77.41 c | 168734 | 579 9408 31466 | 36133 33518 22 | 0.000 % |
77.45/77.57 c | 169073 | 579 9408 31466 | 36133 33857 22 | 0.000 % |
77.65/77.76 c | 169447 | 579 9408 31466 | 36133 34231 22 | 0.001 % |
77.85/77.99 c | 169858 | 579 9408 31466 | 36133 34642 22 | 0.000 % |
78.15/78.23 c | 170308 | 579 9408 31466 | 2147483647 35092 22 | 0.001 % |
78.35/78.45 c | 170801 | 579 9408 31466 | 2147483647 35585 22 | 0.001 % |
78.65/78.73 c | 171345 | 579 9408 31466 | 2147483647 36129 22 | 0.001 % |
78.85/78.97 c | 171941 | 579 9408 31466 | 2147483647 36725 22 | 0.001 % |
79.16/79.28 c | 172597 | 579 9408 31466 | 2147483647 37381 22 | 0.000 % |
79.65/79.73 c | 173317 | 579 9408 31466 | 2147483647 38101 22 | 0.001 % |
80.05/80.17 c | 174109 | 579 9408 31466 | 2147483647 38893 22 | 0.000 % |
80.55/80.64 c | 174981 | 579 9408 31466 | 2147483647 39765 22 | 0.000 % |
81.25/81.34 c | 175939 | 579 9408 31466 | 2147483647 40723 22 | 0.000 % |
81.95/82.01 c | 176994 | 579 9408 31466 | 2147483647 41778 22 | 0.000 % |
82.55/82.65 c | 178152 | 579 9408 31466 | 2147483647 42936 22 | 0.000 % |
83.35/83.44 c | 179427 | 579 9408 31466 | 2147483647 44211 22 | 0.000 % |
84.15/84.21 c | 180829 | 579 9408 31466 | 44784 39339 22 | 0.000 % |
84.85/84.97 c | 182370 | 579 9408 31466 | 44784 40880 22 | 0.000 % |
85.95/86.05 c | 184064 | 579 9408 31466 | 44784 42574 22 | 0.000 % |
86.95/87.09 c | 185928 | 579 9408 31466 | 44784 44438 23 | 0.000 % |
87.05/87.17 c | 186028 | 579 9408 31466 | 44784 44538 23 | 0.000 % |
87.15/87.22 c | 186140 | 579 9408 31466 | 44784 44650 23 | 0.000 % |
87.15/87.29 c | 186263 | 579 9408 31466 | 44784 44773 23 | 0.001 % |
87.35/87.46 c | 186397 | 579 9408 31466 | 44784 38613 22 | 0.001 % |
87.45/87.52 c | 186543 | 579 9408 31466 | 44784 38759 22 | 0.001 % |
87.55/87.62 c | 186703 | 579 9408 31466 | 44784 38919 22 | 0.000 % |
87.65/87.71 c | 186879 | 579 9408 31466 | 44784 39095 22 | 0.000 % |
87.75/87.82 c | 187073 | 579 9408 31466 | 44784 39289 22 | 0.000 % |
87.85/87.90 c | 187285 | 579 9408 31466 | 44784 39501 22 | 0.000 % |
87.95/88.04 c | 187518 | 579 9408 31466 | 44784 39734 22 | 0.000 % |
88.05/88.18 c | 187774 | 579 9408 31466 | 44784 39990 22 | 0.000 % |
88.25/88.35 c | 188056 | 579 9408 31466 | 44784 40272 22 | 0.001 % |
88.45/88.55 c | 188365 | 579 9408 31466 | 44784 40581 22 | 0.000 % |
88.65/88.73 c | 188704 | 579 9408 31466 | 44784 40920 22 | 0.001 % |
88.85/88.94 c | 189076 | 579 9408 31466 | 44784 41292 22 | 0.000 % |
89.05/89.18 c | 189487 | 579 9408 31466 | 44784 41703 22 | 0.000 % |
89.35/89.43 c | 189936 | 579 9408 31466 | 44784 42152 22 | 0.000 % |
89.65/89.76 c | 190431 | 579 9408 31466 | 42216 36488 22 | 0.000 % |
89.95/90.04 c | 190974 | 579 9408 31466 | 42216 37031 22 | 0.000 % |
90.25/90.30 c | 191570 | 579 9408 31466 | 42216 37627 22 | 0.000 % |
90.55/90.65 c | 192225 | 579 9408 31466 | 42216 38282 22 | 0.000 % |
90.95/91.00 c | 192945 | 579 9408 31466 | 42216 39002 22 | 0.001 % |
91.25/91.33 c | 193738 | 579 9408 31466 | 42216 39795 22 | 0.001 % |
91.65/91.76 c | 194611 | 579 9408 31466 | 42216 40668 22 | 0.000 % |
92.15/92.22 c | 195570 | 579 9408 31466 | 42216 41627 22 | 0.000 % |
92.75/92.86 c | 196624 | 579 9408 31466 | 42216 37298 22 | 0.001 % |
93.25/93.36 c | 197783 | 579 9408 31466 | 42216 38457 22 | 0.001 % |
93.75/93.83 c | 199057 | 579 9408 31466 | 42216 39731 22 | 0.001 % |
94.55/94.62 c | 200458 | 579 9408 31466 | 40676 36186 21 | 0.000 % |
95.35/95.46 c | 202000 | 579 9408 31466 | 40676 37728 21 | 0.000 % |
96.25/96.34 c | 203695 | 579 9408 31466 | 40676 39423 21 | 0.001 % |
97.05/97.17 c | 205559 | 579 9408 31466 | 40676 36398 21 | 0.000 % |
98.05/98.17 c | 207609 | 579 9408 31466 | 40676 38448 22 | 0.001 % |
98.15/98.22 c | 207709 | 579 9408 31466 | 40676 38548 22 | 0.001 % |
98.15/98.28 c | 207819 | 579 9408 31466 | 40676 38658 22 | 0.000 % |
98.25/98.35 c | 207941 | 579 9408 31466 | 40676 38780 22 | 0.001 % |
98.35/98.41 c | 208074 | 579 9408 31466 | 40676 38913 22 | 0.000 % |
98.35/98.49 c | 208220 | 579 9408 31466 | 40676 39059 22 | 0.000 % |
98.45/98.56 c | 208380 | 579 9408 31466 | 40676 39219 22 | 0.000 % |
98.65/98.74 c | 208557 | 579 9408 31466 | 40676 39396 22 | 0.000 % |
98.86/98.91 c | 208750 | 579 9408 31466 | 40676 39589 22 | 0.000 % |
98.96/99.02 c | 208962 | 579 9408 31466 | 40676 39801 22 | 0.001 % |
99.06/99.12 c | 209195 | 579 9408 31466 | 40676 40034 22 | 0.000 % |
99.16/99.28 c | 209452 | 579 9408 31466 | 40676 40291 22 | 0.000 % |
99.36/99.48 c | 209733 | 579 9408 31466 | 40676 40572 22 | 0.000 % |
99.65/99.70 c | 210043 | 579 9408 31466 | 35777 35817 21 | 0.000 % |
99.75/99.88 c | 210383 | 579 9408 31466 | 35777 31696 21 | 0.000 % |
99.96/100.06 c | 210755 | 579 9408 31466 | 35777 32068 21 | 0.000 % |
100.15/100.27 c | 211164 | 579 9408 31466 | 35777 32477 21 | 0.000 % |
100.35/100.47 c | 211613 | 579 9408 31466 | 35777 32926 21 | 0.000 % |
100.55/100.68 c | 212107 | 579 9408 31466 | 35777 33420 21 | 0.000 % |
100.85/100.93 c | 212649 | 579 9408 31466 | 35777 33962 21 | 0.000 % |
101.06/101.19 c | 213245 | 579 9408 31466 | 35777 34558 21 | 0.000 % |
101.35/101.47 c | 213901 | 579 9408 31466 | 35777 35214 21 | 0.000 % |
101.75/101.83 c | 214623 | 579 9408 31466 | 35777 32051 21 | 0.000 % |
102.05/102.19 c | 215417 | 579 9408 31466 | 35777 32845 21 | 0.000 % |
102.45/102.55 c | 216289 | 579 9408 31466 | 35777 33717 21 | 0.000 % |
102.85/102.98 c | 217250 | 579 9408 31466 | 35777 34678 21 | 0.001 % |
103.36/103.48 c | 218303 | 579 9408 31466 | 35777 35731 22 | 0.000 % |
104.05/104.11 c | 219461 | 579 9408 31466 | 35777 33302 21 | 0.000 % |
104.55/104.69 c | 220734 | 579 9408 31466 | 2147483647 34575 22 | 0.000 % |
105.25/105.37 c | 222134 | 579 9408 31466 | 2147483647 35975 22 | 0.000 % |
105.95/106.07 c | 223675 | 579 9408 31466 | 2147483647 37516 22 | 0.000 % |
106.95/107.07 c | 225369 | 579 9408 31466 | 2147483647 39210 23 | 0.000 % |
107.95/108.03 c | 227233 | 579 9408 31466 | 2147483647 41074 23 | 0.000 % |
109.25/109.39 c | 229283 | 579 9408 31466 | 2147483647 43124 23 | 0.000 % |
110.65/110.73 c | 231536 | 579 9408 31466 | 43841 40177 23 | 0.000 % |
110.75/110.82 c | 231637 | 579 9408 31466 | 43841 40278 23 | 0.000 % |
110.75/110.89 c | 231747 | 579 9408 31466 | 43841 40388 23 | 0.000 % |
110.85/110.98 c | 231870 | 579 9408 31466 | 43841 40511 23 | 0.000 % |
110.95/111.06 c | 232003 | 579 9408 31466 | 43841 40644 23 | 0.001 % |
111.05/111.14 c | 232150 | 579 9408 31466 | 43841 40791 23 | 0.000 % |
111.15/111.22 c | 232310 | 579 9408 31466 | 43841 40951 23 | 0.000 % |
111.25/111.34 c | 232486 | 579 9408 31466 | 43841 41127 23 | 0.000 % |
111.35/111.48 c | 232680 | 579 9408 31466 | 43841 41321 24 | 0.000 % |
111.55/111.62 c | 232892 | 579 9408 31466 | 43841 41533 24 | 0.000 % |
111.75/111.81 c | 233126 | 579 9408 31466 | 43841 41767 24 | 0.000 % |
111.85/111.96 c | 233383 | 579 9408 31466 | 43841 42024 24 | 0.001 % |
112.05/112.13 c | 233665 | 579 9408 31466 | 43841 42306 24 | 0.000 % |
112.25/112.32 c | 233975 | 579 9408 31466 | 43841 42616 24 | 0.000 % |
112.45/112.58 c | 234314 | 579 9408 31466 | 43841 42955 24 | 0.000 % |
112.75/112.81 c | 234686 | 579 9408 31466 | 43841 43327 24 | 0.001 % |
112.95/113.02 c | 235095 | 579 9408 31466 | 43841 43736 24 | 0.001 % |
113.25/113.32 c | 235546 | 579 9408 31466 | 43841 37674 24 | 0.000 % |
113.55/113.60 c | 236039 | 579 9408 31466 | 43841 38167 24 | 0.001 % |
113.85/113.99 c | 236582 | 579 9408 31466 | 43841 38710 24 | 0.000 % |
114.35/114.41 c | 237178 | 579 9408 31466 | 43841 39306 24 | 0.000 % |
114.75/114.88 c | 237837 | 579 9408 31466 | 43841 39965 24 | 0.000 % |
115.25/115.36 c | 238557 | 579 9408 31466 | 43841 40685 24 | 0.000 % |
115.65/115.80 c | 239350 | 579 9408 31466 | 43841 41478 24 | 0.000 % |
116.25/116.35 c | 240221 | 579 9408 31466 | 42129 36074 24 | 0.000 % |
116.75/116.80 c | 241181 | 579 9408 31466 | 42129 37034 24 | 0.000 % |
117.25/117.35 c | 242236 | 579 9408 31466 | 42129 38089 24 | 0.000 % |
117.85/117.90 c | 243394 | 579 9408 31466 | 42129 39247 24 | 0.000 % |
118.55/118.65 c | 244669 | 579 9408 31466 | 42129 40522 24 | 0.000 % |
119.45/119.56 c | 246074 | 579 9408 31466 | 42129 41927 24 | 0.000 % |
120.25/120.38 c | 247615 | 579 9408 31466 | 42129 37550 24 | 0.000 % |
121.15/121.24 c | 249310 | 579 9408 31466 | 42129 39245 24 | 0.001 % |
122.15/122.27 c | 251174 | 579 9408 31466 | 39935 35644 23 | 0.000 % |
123.35/123.43 c | 253223 | 579 9408 31466 | 39935 37693 23 | 0.001 % |
124.65/124.76 c | 255476 | 579 9408 31466 | 39935 39946 23 | 0.000 % |
126.05/126.10 c | 257954 | 579 9408 31466 | 39935 37241 23 | 0.000 % |
126.05/126.15 c | 258054 | 579 9408 31466 | 39935 37341 23 | 0.000 % |
126.15/126.23 c | 258164 | 579 9408 31466 | 39935 37451 23 | 0.001 % |
126.25/126.30 c | 258286 | 579 9408 31466 | 39935 37573 23 | 0.000 % |
126.25/126.40 c | 258419 | 579 9408 31466 | 39935 37706 23 | 0.000 % |
126.35/126.49 c | 258565 | 579 9408 31466 | 39935 37852 23 | 0.000 % |
126.45/126.57 c | 258727 | 579 9408 31466 | 39935 38014 23 | 0.001 % |
126.55/126.66 c | 258905 | 579 9408 31466 | 39935 38192 23 | 0.001 % |
126.65/126.76 c | 259098 | 579 9408 31466 | 39935 38385 23 | 0.000 % |
126.85/126.90 c | 259310 | 579 9408 31466 | 39935 38597 23 | 0.001 % |
126.95/127.05 c | 259544 | 579 9408 31466 | 39935 38831 23 | 0.001 % |
127.15/127.26 c | 259800 | 579 9408 31466 | 39935 39087 23 | 0.001 % |
127.45/127.53 c | 260081 | 579 9408 31466 | 39289 34083 22 | 0.000 % |
127.55/127.69 c | 260391 | 579 9408 31466 | 39289 34393 22 | 0.001 % |
127.75/127.89 c | 260730 | 579 9408 31466 | 39289 34732 22 | 0.000 % |
128.05/128.11 c | 261103 | 579 9408 31466 | 39289 35105 23 | 0.000 % |
128.25/128.38 c | 261512 | 579 9408 31466 | 39289 35514 23 | 0.001 % |
128.55/128.67 c | 261961 | 579 9408 31466 | 39289 35963 23 | 0.000 % |
128.84/128.93 c | 262454 | 579 9408 31466 | 39289 36456 23 | 0.001 % |
129.04/129.16 c | 262997 | 579 9408 31466 | 39289 36999 23 | 0.001 % |
129.34/129.49 c | 263593 | 579 9408 31466 | 39289 37595 23 | 0.000 % |
129.65/129.78 c | 264249 | 579 9408 31466 | 39289 38251 23 | 0.000 % |
130.14/130.24 c | 264969 | 579 9408 31466 | 39289 38971 23 | 0.000 % |
130.64/130.75 c | 265762 | 579 9408 31466 | 39289 34516 23 | 0.000 % |
131.24/131.32 c | 266635 | 579 9408 31466 | 39289 35389 22 | 0.001 % |
131.74/131.83 c | 267593 | 579 9408 31466 | 39289 36347 23 | 0.000 % |
132.34/132.43 c | 268648 | 579 9408 31466 | 39289 37402 23 | 0.000 % |
133.05/133.10 c | 269806 | 579 9408 31466 | 39289 38560 23 | 0.000 % |
133.74/133.86 c | 271079 | 579 9408 31466 | 38755 34157 22 | 0.001 % |
134.44/134.55 c | 272482 | 579 9408 31466 | 38755 35560 22 | 0.000 % |
135.25/135.38 c | 274022 | 579 9408 31466 | 38755 37100 22 | 0.000 % |
136.14/136.24 c | 275716 | 579 9408 31466 | 38755 38794 22 | 0.001 % |
137.04/137.19 c | 277579 | 579 9408 31466 | 38755 35885 22 | 0.001 % |
138.14/138.27 c | 279629 | 579 9408 31466 | 38755 37935 22 | 0.001 % |
139.44/139.50 c | 281883 | 579 9408 31466 | 38306 35634 22 | 0.000 % |
140.64/140.76 c | 284361 | 579 9408 31466 | 38306 38112 22 | 0.001 % |
141.94/142.05 c | 287086 | 579 9408 31466 | 38306 36456 21 | 0.001 % |
142.04/142.11 c | 287187 | 579 9408 31466 | 38306 36557 21 | 0.000 % |
142.04/142.16 c | 287297 | 579 9408 31466 | 38306 36667 21 | 0.000 % |
142.14/142.21 c | 287418 | 579 9408 31466 | 38306 36788 21 | 0.000 % |
142.14/142.27 c | 287554 | 579 9408 31466 | 38306 36924 21 | 0.000 % |
142.24/142.35 c | 287701 | 579 9408 31466 | 38306 37071 21 | 0.003 % |
142.34/142.42 c | 287862 | 579 9408 31466 | 38306 37232 21 | 0.000 % |
142.44/142.50 c | 288039 | 579 9408 31466 | 38306 37409 21 | 0.000 % |
142.44/142.59 c | 288232 | 579 9408 31466 | 38306 37602 21 | 0.000 % |
142.64/142.70 c | 288444 | 579 9408 31466 | 38306 37814 21 | 0.000 % |
142.74/142.82 c | 288677 | 579 9408 31466 | 38306 38047 21 | 0.001 % |
142.84/142.95 c | 288934 | 579 9408 31466 | 38306 38304 22 | 0.000 % |
143.04/143.13 c | 289216 | 579 9408 31466 | 38306 34278 21 | 0.000 % |
143.14/143.27 c | 289525 | 579 9408 31466 | 38306 34587 21 | 0.001 % |
143.34/143.43 c | 289866 | 579 9408 31466 | 38306 34928 21 | 0.001 % |
143.54/143.69 c | 290239 | 579 9408 31466 | 35063 31499 21 | 0.000 % |
143.74/143.85 c | 290648 | 579 9408 31466 | 35063 31908 21 | 0.000 % |
143.94/144.08 c | 291098 | 579 9408 31466 | 35063 32358 21 | 0.000 % |
144.13/144.29 c | 291593 | 579 9408 31466 | 35063 32853 21 | 0.000 % |
144.43/144.54 c | 292135 | 579 9408 31466 | 35063 33395 21 | 0.001 % |
144.73/144.81 c | 292732 | 579 9408 31466 | 35063 33992 21 | 0.001 % |
145.03/145.20 c | 293387 | 579 9408 31466 | 35063 34647 21 | 0.001 % |
145.43/145.52 c | 294107 | 579 9408 31466 | 35063 31851 21 | 0.001 % |
145.83/145.90 c | 294899 | 579 9408 31466 | 35063 32643 21 | 0.001 % |
146.13/146.24 c | 295771 | 579 9408 31466 | 35063 33515 21 | 0.000 % |
146.53/146.61 c | 296730 | 579 9408 31466 | 35063 34474 21 | 0.001 % |
146.83/147.00 c | 297784 | 579 9408 31466 | 35063 32011 21 | 0.001 % |
147.33/147.44 c | 298943 | 579 9408 31466 | 35063 33170 22 | 0.001 % |
147.83/147.92 c | 300217 | 579 9408 31466 | 2147483647 34444 22 | 0.001 % |
148.43/148.55 c | 301617 | 579 9408 31466 | 2147483647 35844 22 | 0.001 % |
149.13/149.28 c | 303157 | 579 9408 31466 | 2147483647 37384 21 | 0.001 % |
149.93/150.07 c | 304851 | 579 9408 31466 | 2147483647 39078 21 | 0.001 % |
150.93/151.04 c | 306714 | 579 9408 31466 | 2147483647 40941 22 | 0.001 % |
151.93/152.03 c | 308763 | 579 9408 31466 | 2147483647 42990 22 | 0.001 % |
153.13/153.29 c | 311017 | 579 9408 31466 | 2147483647 45244 22 | 0.001 % |
155.03/155.15 c | 313496 | 579 9408 31466 | 2147483647 47723 22 | 0.000 % |
156.63/156.78 c | 316222 | 579 9408 31466 | 2147483647 50449 22 | 0.001 % |
158.83/158.92 c | 319219 | 579 9408 31466 | 2147483647 53446 22 | 0.001 % |
158.93/159.00 c | 319321 | 579 9408 31466 | 2147483647 53548 22 | 0.001 % |
159.03/159.10 c | 319435 | 579 9408 31466 | 2147483647 53662 22 | 0.001 % |
159.13/159.20 c | 319556 | 579 9408 31466 | 2147483647 53783 22 | 0.001 % |
159.23/159.34 c | 319689 | 579 9408 31466 | 2147483647 53916 22 | 0.001 % |
159.33/159.45 c | 319835 | 579 9408 31466 | 2147483647 54062 22 | 0.001 % |
159.43/159.57 c | 319998 | 579 9408 31466 | 2147483647 54225 22 | 0.001 % |
159.73/159.81 c | 320175 | 579 9408 31466 | 54229 44363 21 | 0.001 % |
159.83/159.94 c | 320368 | 579 9408 31466 | 54229 44556 21 | 0.001 % |
159.93/160.09 c | 320581 | 579 9408 31466 | 54229 44769 21 | 0.001 % |
160.13/160.29 c | 320814 | 579 9408 31466 | 54229 45002 21 | 0.000 % |
160.33/160.44 c | 321071 | 579 9408 31466 | 54229 45259 21 | 0.001 % |
160.53/160.63 c | 321353 | 579 9408 31466 | 54229 45541 21 | 0.001 % |
160.73/160.81 c | 321662 | 579 9408 31466 | 54229 45850 21 | 0.001 % |
160.93/161.06 c | 322001 | 579 9408 31466 | 54229 46189 21 | 0.001 % |
161.23/161.32 c | 322373 | 579 9408 31466 | 54229 46561 21 | 0.001 % |
161.43/161.55 c | 322783 | 579 9408 31466 | 54229 46971 21 | 0.001 % |
161.73/161.82 c | 323233 | 579 9408 31466 | 54229 47421 21 | 0.001 % |
162.03/162.15 c | 323727 | 579 9408 31466 | 54229 47915 21 | 0.001 % |
162.43/162.54 c | 324271 | 579 9408 31466 | 54229 48459 21 | 0.001 % |
162.83/162.98 c | 324868 | 579 9408 31466 | 54229 49056 21 | 0.001 % |
163.33/163.47 c | 325523 | 579 9408 31466 | 54229 49711 21 | 0.001 % |
164.03/164.11 c | 326244 | 579 9408 31466 | 54229 50432 21 | 0.000 % |
164.43/164.55 c | 327036 | 579 9408 31466 | 54229 51224 21 | 0.000 % |
164.93/165.08 c | 327909 | 579 9408 31466 | 54229 52097 21 | 0.000 % |
165.63/165.79 c | 328867 | 579 9408 31466 | 54229 53055 21 | 0.000 % |
166.42/166.59 c | 329920 | 579 9408 31466 | 54229 54108 22 | 0.001 % |
167.32/167.42 c | 331079 | 579 9408 31466 | 54190 44473 21 | 0.001 % |
168.13/168.25 c | 332352 | 579 9408 31466 | 54190 45746 21 | 0.001 % |
168.92/169.08 c | 333753 | 579 9408 31466 | 54190 47147 21 | 0.000 % |
169.82/169.90 c | 335294 | 579 9408 31466 | 54190 48688 21 | 0.000 % |
170.82/170.90 c | 336989 | 579 9408 31466 | 54190 50383 21 | 0.001 % |
171.82/171.96 c | 338854 | 579 9408 31466 | 54190 52248 22 | 0.001 % |
173.22/173.39 c | 340905 | 579 9408 31466 | 53395 45259 21 | 0.000 % |
174.62/174.72 c | 343160 | 579 9408 31466 | 53395 47514 21 | 0.001 % |
175.93/176.05 c | 345640 | 579 9408 31466 | 53395 49994 21 | 0.001 % |
177.62/177.75 c | 348365 | 579 9408 31466 | 53395 52719 21 | 0.000 % |
179.52/179.65 c | 351363 | 579 9408 31466 | 44784 38144 20 | 0.001 % |
181.12/181.24 c | 354659 | 579 9408 31466 | 44784 41440 21 | 0.001 % |
181.12/181.30 c | 354759 | 579 9408 31466 | 44784 41540 21 | 0.000 % |
181.22/181.37 c | 354870 | 579 9408 31466 | 44784 41651 21 | 0.000 % |
181.32/181.45 c | 354991 | 579 9408 31466 | 44784 41772 21 | 0.001 % |
181.42/181.52 c | 355124 | 579 9408 31466 | 44784 41905 21 | 0.001 % |
181.52/181.60 c | 355274 | 579 9408 31466 | 44784 42055 21 | 0.000 % |
181.62/181.70 c | 355434 | 579 9408 31466 | 44784 42215 21 | 0.001 % |
181.72/181.81 c | 355611 | 579 9408 31466 | 44784 42392 21 | 0.000 % |
181.82/181.91 c | 355804 | 579 9408 31466 | 44784 42585 21 | 0.001 % |
181.92/182.03 c | 356016 | 579 9408 31466 | 44784 42797 21 | 0.001 % |
182.12/182.21 c | 356249 | 579 9408 31466 | 44784 43030 21 | 0.000 % |
182.22/182.37 c | 356506 | 579 9408 31466 | 44784 43287 21 | 0.000 % |
182.42/182.55 c | 356787 | 579 9408 31466 | 44784 43568 21 | 0.001 % |
182.62/182.77 c | 357097 | 579 9408 31466 | 44784 43878 21 | 0.000 % |
182.82/182.97 c | 357437 | 579 9408 31466 | 44784 44218 21 | 0.000 % |
183.02/183.16 c | 357809 | 579 9408 31466 | 44784 44590 21 | 0.000 % |
183.32/183.44 c | 358218 | 579 9408 31466 | 44784 38054 21 | 0.001 % |
183.52/183.69 c | 358668 | 579 9408 31466 | 44784 38504 21 | 0.000 % |
183.83/183.92 c | 359161 | 579 9408 31466 | 44784 38997 21 | 0.000 % |
184.03/184.16 c | 359703 | 579 9408 31466 | 44784 39539 21 | 0.000 % |
184.43/184.54 c | 360299 | 579 9408 31466 | 39836 34149 21 | 0.000 % |
184.63/184.80 c | 360955 | 579 9408 31466 | 39836 34805 21 | 0.000 % |
185.03/185.18 c | 361675 | 579 9408 31466 | 39836 35525 21 | 0.000 % |
185.53/185.61 c | 362467 | 579 9408 31466 | 39836 36317 22 | 0.000 % |
185.93/186.09 c | 363338 | 579 9408 31466 | 39836 37188 22 | 0.000 % |
186.43/186.56 c | 364296 | 579 9408 31466 | 39836 38146 22 | 0.000 % |
187.03/187.13 c | 365349 | 579 9408 31466 | 39836 39199 22 | 0.000 % |
187.63/187.77 c | 366507 | 579 9408 31466 | 39836 35403 22 | 0.000 % |
188.23/188.39 c | 367780 | 579 9408 31466 | 39836 36676 22 | 0.000 % |
188.83/188.90 c | 369180 | 579 9408 31466 | 39836 38076 22 | 0.001 % |
189.53/189.67 c | 370720 | 579 9408 31466 | 38896 34903 22 | 0.001 % |
190.43/190.57 c | 372414 | 579 9408 31466 | 38896 36597 22 | 0.001 % |
191.43/191.54 c | 374278 | 579 9408 31466 | 38896 38461 22 | 0.001 % |
192.62/192.74 c | 376327 | 579 9408 31466 | 38896 35990 22 | 0.001 % |
193.82/193.93 c | 378580 | 579 9408 31466 | 38896 38243 22 | 0.001 % |
195.22/195.32 c | 381059 | 579 9408 31466 | 34995 31832 22 | 0.000 % |
196.42/196.59 c | 383787 | 579 9408 31466 | 34995 34560 22 | 0.000 % |
198.02/198.12 c | 386784 | 579 9408 31466 | 34995 33774 22 | 0.000 % |
199.62/199.72 c | 390082 | 579 9408 31466 | 33196 29689 21 | 0.000 % |
201.42/201.55 c | 393707 | 579 9408 31466 | 33196 29989 21 | 0.001 % |
201.42/201.60 c | 393807 | 579 9408 31466 | 33196 30089 21 | 0.000 % |
201.52/201.64 c | 393919 | 579 9408 31466 | 33196 30201 21 | 0.001 % |
201.62/201.70 c | 394042 | 579 9408 31466 | 33196 30324 21 | 0.001 % |
201.62/201.76 c | 394175 | 579 9408 31466 | 33196 30457 21 | 0.000 % |
201.72/201.82 c | 394321 | 579 9408 31466 | 33196 30603 21 | 0.000 % |
201.72/201.88 c | 394483 | 579 9408 31466 | 33196 30765 21 | 0.000 % |
201.82/201.93 c | 394660 | 579 9408 31466 | 33196 30942 21 | 0.000 % |
201.92/202.00 c | 394853 | 579 9408 31466 | 33196 31135 21 | 0.000 % |
201.92/202.10 c | 395065 | 579 9408 31466 | 33196 31347 21 | 0.001 % |
202.12/202.21 c | 395298 | 579 9408 31466 | 33196 31580 21 | 0.001 % |
202.23/202.33 c | 395554 | 579 9408 31466 | 33196 31836 21 | 0.001 % |
202.33/202.46 c | 395835 | 579 9408 31466 | 33196 32117 22 | 0.000 % |
202.52/202.61 c | 396146 | 579 9408 31466 | 33196 32428 22 | 0.000 % |
202.62/202.74 c | 396486 | 579 9408 31466 | 33196 32768 22 | 0.001 % |
202.82/202.91 c | 396858 | 579 9408 31466 | 33196 33140 22 | 0.000 % |
203.02/203.13 c | 397267 | 579 9408 31466 | 33196 30222 21 | 0.000 % |
203.22/203.34 c | 397717 | 579 9408 31466 | 33196 30672 21 | 0.000 % |
203.42/203.55 c | 398210 | 579 9408 31466 | 33196 31165 21 | 0.001 % |
203.62/203.76 c | 398755 | 579 9408 31466 | 33196 31710 22 | 0.001 % |
203.92/204.05 c | 399351 | 579 9408 31466 | 33196 32306 22 | 0.001 % |
204.22/204.31 c | 400009 | 579 9408 31466 | 2147483647 32964 22 | 0.000 % |
204.52/204.64 c | 400729 | 579 9408 31466 | 2147483647 33684 22 | 0.000 % |
204.82/204.94 c | 401521 | 579 9408 31466 | 2147483647 34476 22 | 0.001 % |
205.22/205.40 c | 402392 | 579 9408 31466 | 2147483647 35347 22 | 0.001 % |
205.72/205.85 c | 403350 | 579 9408 31466 | 2147483647 36305 22 | 0.000 % |
206.22/206.37 c | 404403 | 579 9408 31466 | 2147483647 37358 22 | 0.001 % |
206.82/206.96 c | 405562 | 579 9408 31466 | 2147483647 38517 22 | 0.001 % |
207.52/207.63 c | 406835 | 579 9408 31466 | 2147483647 39790 22 | 0.000 % |
208.12/208.20 c | 408235 | 579 9408 31466 | 2147483647 41190 22 | 0.001 % |
208.72/208.85 c | 409775 | 579 9408 31466 | 2147483647 42730 22 | 0.001 % |
209.62/209.75 c | 411471 | 579 9408 31466 | 2147483647 44426 22 | 0.001 % |
210.62/210.75 c | 413337 | 579 9408 31466 | 2147483647 46292 22 | 0.001 % |
211.72/211.88 c | 415386 | 579 9408 31466 | 2147483647 48341 22 | 0.000 % |
213.12/213.20 c | 417639 | 579 9408 31466 | 2147483647 50594 22 | 0.001 % |
214.62/214.72 c | 420117 | 579 9408 31466 | 52956 46251 22 | 0.001 % |
216.32/216.47 c | 422843 | 579 9408 31466 | 52956 48977 22 | 0.001 % |
218.62/218.76 c | 425840 | 579 9408 31466 | 52956 51974 22 | 0.001 % |
220.92/221.05 c | 429137 | 579 9408 31466 | 52956 45819 22 | 0.001 % |
223.02/223.11 c | 432766 | 579 9408 31466 | 46682 41081 21 | 0.001 % |
225.42/225.52 c | 436753 | 579 9408 31466 | 46682 45068 21 | 0.001 % |
225.42/225.58 c | 436855 | 579 9408 31466 | 46682 45170 21 | 0.001 % |
225.51/225.67 c | 436965 | 579 9408 31466 | 46682 45280 21 | 0.001 % |
225.61/225.78 c | 437088 | 579 9408 31466 | 46682 45403 21 | 0.001 % |
225.71/225.88 c | 437221 | 579 9408 31466 | 46682 45536 21 | 0.000 % |
225.81/225.97 c | 437368 | 579 9408 31466 | 46682 45683 21 | 0.000 % |
225.91/226.09 c | 437528 | 579 9408 31466 | 46682 45843 21 | 0.001 % |
226.11/226.21 c | 437705 | 579 9408 31466 | 46682 46020 21 | 0.001 % |
226.21/226.33 c | 437899 | 579 9408 31466 | 46682 46214 21 | 0.000 % |
226.31/226.45 c | 438111 | 579 9408 31466 | 46682 46426 21 | 0.000 % |
226.42/226.59 c | 438346 | 579 9408 31466 | 46682 46661 21 | 0.000 % |
226.61/226.78 c | 438603 | 579 9408 31466 | 46682 38798 20 | 0.000 % |
226.81/226.92 c | 438884 | 579 9408 31466 | 46682 39079 21 | 0.001 % |
226.91/227.04 c | 439193 | 579 9408 31466 | 46682 39388 21 | 0.001 % |
227.01/227.20 c | 439532 | 579 9408 31466 | 46682 39727 21 | 0.000 % |
227.21/227.39 c | 439904 | 579 9408 31466 | 46682 40099 21 | 0.000 % |
227.52/227.69 c | 440313 | 579 9408 31466 | 40197 33703 20 | 0.001 % |
227.81/227.91 c | 440763 | 579 9408 31466 | 40197 34153 20 | 0.000 % |
228.01/228.12 c | 441257 | 579 9408 31466 | 40197 34647 20 | 0.000 % |
228.21/228.33 c | 441800 | 579 9408 31466 | 40197 35190 20 | 0.001 % |
228.41/228.58 c | 442396 | 579 9408 31466 | 40197 35786 21 | 0.001 % |
228.72/228.85 c | 443052 | 579 9408 31466 | 40197 36442 21 | 0.000 % |
229.11/229.20 c | 443772 | 579 9408 31466 | 40197 37162 21 | 0.000 % |
229.51/229.60 c | 444564 | 579 9408 31466 | 40197 37954 21 | 0.001 % |
229.91/230.00 c | 445435 | 579 9408 31466 | 40197 38825 21 | 0.000 % |
230.41/230.51 c | 446393 | 579 9408 31466 | 40197 39783 21 | 0.001 % |
231.01/231.13 c | 447448 | 579 9408 31466 | 40197 35219 21 | 0.000 % |
231.41/231.59 c | 448606 | 579 9408 31466 | 40197 36377 21 | 0.000 % |
232.11/232.26 c | 449879 | 579 9408 31466 | 40197 37650 21 | 0.000 % |
232.81/232.99 c | 451280 | 579 9408 31466 | 37771 34141 20 | 0.001 % |
233.51/233.67 c | 452820 | 579 9408 31466 | 37771 35681 21 | 0.001 % |
234.31/234.44 c | 454514 | 579 9408 31466 | 37771 37375 21 | 0.000 % |
235.11/235.29 c | 456380 | 579 9408 31466 | 37771 35456 21 | 0.000 % |
236.11/236.27 c | 458429 | 579 9408 31466 | 37771 37505 21 | 0.001 % |
237.31/237.45 c | 460682 | 579 9408 31466 | 35235 32291 21 | 0.000 % |
238.61/238.74 c | 463161 | 579 9408 31466 | 35235 34770 21 | 0.001 % |
239.91/240.09 c | 465886 | 579 9408 31466 | 35235 33614 22 | 0.001 % |
241.31/241.47 c | 468884 | 579 9408 31466 | 35235 33084 22 | 0.000 % |
242.81/242.91 c | 472180 | 579 9408 31466 | 2147483647 36380 22 | 0.000 % |
244.61/244.77 c | 475806 | 579 9408 31466 | 2147483647 40006 22 | 0.000 % |
246.71/246.83 c | 479793 | 579 9408 31466 | 2147483647 43993 22 | 0.001 % |
249.21/249.34 c | 484178 | 579 9408 31466 | 44200 42196 22 | 0.000 % |
249.31/249.40 c | 484278 | 579 9408 31466 | 44200 42296 22 | 0.000 % |
249.31/249.47 c | 484388 | 579 9408 31466 | 44200 42406 22 | 0.001 % |
249.41/249.55 c | 484509 | 579 9408 31466 | 44200 42527 22 | 0.001 % |
249.51/249.63 c | 484642 | 579 9408 31466 | 44200 42660 22 | 0.001 % |
249.61/249.76 c | 484789 | 579 9408 31466 | 44200 42807 22 | 0.000 % |
249.71/249.84 c | 484950 | 579 9408 31466 | 44200 42968 22 | 0.000 % |
249.81/249.96 c | 485128 | 579 9408 31466 | 44200 43146 22 | 0.001 % |
249.91/250.08 c | 485321 | 579 9408 31466 | 44200 43339 22 | 0.001 % |
250.11/250.21 c | 485534 | 579 9408 31466 | 44200 43552 22 | 0.001 % |
250.21/250.38 c | 485767 | 579 9408 31466 | 44200 43785 22 | 0.000 % |
250.41/250.56 c | 486025 | 579 9408 31466 | 44200 44043 22 | 0.001 % |
250.71/250.87 c | 486306 | 579 9408 31466 | 44200 37159 21 | 0.000 % |
250.91/251.02 c | 486616 | 579 9408 31466 | 44200 37469 21 | 0.001 % |
251.01/251.17 c | 486955 | 579 9408 31466 | 44200 37808 21 | 0.000 % |
251.21/251.37 c | 487328 | 579 9408 31466 | 44200 38181 21 | 0.001 % |
251.40/251.58 c | 487737 | 579 9408 31466 | 44200 38590 21 | 0.001 % |
251.71/251.84 c | 488186 | 579 9408 31466 | 44200 39039 21 | 0.000 % |
252.00/252.12 c | 488680 | 579 9408 31466 | 44200 39533 21 | 0.001 % |
252.40/252.51 c | 489223 | 579 9408 31466 | 44200 40076 21 | 0.001 % |
252.81/252.92 c | 489821 | 579 9408 31466 | 44200 40674 21 | 0.001 % |
253.20/253.36 c | 490476 | 579 9408 31466 | 40853 34648 21 | 0.001 % |
253.60/253.73 c | 491198 | 579 9408 31466 | 40853 35370 21 | 0.001 % |
253.91/254.10 c | 491991 | 579 9408 31466 | 40853 36163 21 | 0.001 % |
254.40/254.54 c | 492863 | 579 9408 31466 | 40853 37035 21 | 0.001 % |
254.90/255.06 c | 493822 | 579 9408 31466 | 40853 37994 21 | 0.001 % |
255.60/255.77 c | 494876 | 579 9408 31466 | 40853 39048 21 | 0.001 % |
256.30/256.47 c | 496034 | 579 9408 31466 | 40853 40206 21 | 0.000 % |
257.21/257.31 c | 497307 | 579 9408 31466 | 40853 35289 20 | 0.000 % |
257.90/258.09 c | 498708 | 579 9408 31466 | 40853 36690 20 | 0.000 % |
258.70/258.89 c | 500248 | 579 9408 31466 | 37983 32772 20 | 0.000 % |
259.41/259.57 c | 501943 | 579 9408 31466 | 37983 34467 20 | 0.001 % |
260.40/260.53 c | 503806 | 579 9408 31466 | 37983 36330 21 | 0.000 % |
261.40/261.52 c | 505855 | 579 9408 31466 | 37983 34574 21 | 0.001 % |
262.40/262.59 c | 508108 | 579 9408 31466 | 37983 36827 21 | 0.000 % |
264.20/264.35 c | 510586 | 579 9408 31466 | 34862 31817 21 | 0.000 % |
265.20/265.39 c | 513312 | 579 9408 31466 | 34862 34543 22 | 0.000 % |
266.60/266.77 c | 516309 | 579 9408 31466 | 34862 34045 22 | 0.001 % |
268.40/268.51 c | 519605 | 579 9408 31466 | 34862 33850 22 | 0.000 % |
270.30/270.47 c | 523232 | 579 9408 31466 | 2147483647 37477 22 | 0.001 % |
272.70/272.83 c | 527221 | 579 9408 31466 | 2147483647 41466 22 | 0.000 % |
275.60/275.70 c | 531606 | 579 9408 31466 | 44245 39958 22 | 0.000 % |
278.89/279.03 c | 536432 | 579 9408 31466 | 44245 38000 22 | 0.000 % |
278.89/279.09 c | 536532 | 579 9408 31466 | 44245 38100 22 | 0.000 % |
278.99/279.17 c | 536642 | 579 9408 31466 | 44245 38210 22 | 0.000 % |
279.09/279.23 c | 536763 | 579 9408 31466 | 44245 38331 22 | 0.000 % |
279.20/279.31 c | 536896 | 579 9408 31466 | 44245 38464 22 | 0.001 % |
279.20/279.40 c | 537043 | 579 9408 31466 | 44245 38611 22 | 0.000 % |
279.30/279.50 c | 537204 | 579 9408 31466 | 44245 38772 22 | 0.000 % |
279.39/279.59 c | 537381 | 579 9408 31466 | 44245 38949 22 | 0.000 % |
279.49/279.69 c | 537575 | 579 9408 31466 | 44245 39143 22 | 0.001 % |
279.69/279.81 c | 537788 | 579 9408 31466 | 44245 39356 22 | 0.001 % |
279.79/279.94 c | 538022 | 579 9408 31466 | 44245 39590 22 | 0.000 % |
279.89/280.08 c | 538279 | 579 9408 31466 | 44245 39847 22 | 0.000 % |
280.09/280.29 c | 538561 | 579 9408 31466 | 44245 40129 22 | 0.001 % |
280.30/280.47 c | 538872 | 579 9408 31466 | 44245 40440 22 | 0.000 % |
280.49/280.69 c | 539211 | 579 9408 31466 | 44245 40779 22 | 0.001 % |
280.79/280.92 c | 539584 | 579 9408 31466 | 44245 41152 22 | 0.000 % |
280.99/281.16 c | 539994 | 579 9408 31466 | 44245 41562 22 | 0.000 % |
281.40/281.50 c | 540444 | 579 9408 31466 | 41569 35532 21 | 0.000 % |
281.59/281.79 c | 540937 | 579 9408 31466 | 41569 36025 21 | 0.000 % |
281.89/282.08 c | 541479 | 579 9408 31466 | 41569 36567 22 | 0.000 % |
282.29/282.45 c | 542075 | 579 9408 31466 | 41569 37163 22 | 0.001 % |
282.69/282.86 c | 542730 | 579 9408 31466 | 41569 37818 22 | 0.000 % |
283.19/283.34 c | 543451 | 579 9408 31466 | 41569 38539 22 | 0.001 % |
283.60/283.78 c | 544243 | 579 9408 31466 | 41569 39331 22 | 0.000 % |
284.09/284.27 c | 545114 | 579 9408 31466 | 41569 40202 22 | 0.001 % |
284.70/284.83 c | 546072 | 579 9408 31466 | 41569 41160 22 | 0.001 % |
285.19/285.37 c | 547125 | 579 9408 31466 | 41569 35817 21 | 0.000 % |
285.90/286.07 c | 548283 | 579 9408 31466 | 41569 36975 21 | 0.001 % |
286.69/286.85 c | 549556 | 579 9408 31466 | 41569 38248 21 | 0.000 % |
287.49/287.66 c | 550956 | 579 9408 31466 | 38693 33949 21 | 0.001 % |
288.29/288.49 c | 552496 | 579 9408 31466 | 38693 35489 21 | 0.000 % |
289.29/289.43 c | 554191 | 579 9408 31466 | 38693 37184 21 | 0.000 % |
290.39/290.53 c | 556056 | 579 9408 31466 | 38693 33652 21 | 0.001 % |
291.40/291.58 c | 558106 | 579 9408 31466 | 38693 35702 21 | 0.000 % |
292.69/292.81 c | 560360 | 579 9408 31466 | 37598 32855 21 | 0.001 % |
293.99/294.11 c | 562839 | 579 9408 31466 | 37598 35334 21 | 0.001 % |
295.39/295.55 c | 565564 | 579 9408 31466 | 37598 33414 21 | 0.001 % |
296.79/296.98 c | 568562 | 579 9408 31466 | 37598 36412 22 | 0.000 % |
298.59/298.72 c | 571860 | 579 9408 31466 | 33306 31107 21 | 0.000 % |
300.09/300.23 c | 575485 | 579 9408 31466 | 33306 31393 22 | 0.000 % |
302.19/302.32 c | 579473 | 579 9408 31466 | 33306 32042 22 | 0.001 % |
304.49/304.64 c | 583859 | 579 9408 31466 | 2147483647 36428 23 | 0.000 % |
307.79/307.90 c | 588682 | 579 9408 31466 | 2147483647 41251 23 | 0.000 % |
311.20/311.37 c | 593987 | 579 9408 31466 | 42569 40893 23 | 0.000 % |
311.29/311.43 c | 594088 | 579 9408 31466 | 42569 40994 23 | 0.000 % |
311.39/311.51 c | 594199 | 579 9408 31466 | 42569 41105 23 | 0.001 % |
311.49/311.60 c | 594322 | 579 9408 31466 | 42569 41228 23 | 0.000 % |
311.59/311.70 c | 594456 | 579 9408 31466 | 42569 41362 23 | 0.000 % |
311.69/311.83 c | 594602 | 579 9408 31466 | 42569 41508 23 | 0.000 % |
311.79/311.95 c | 594763 | 579 9408 31466 | 42569 41669 23 | 0.000 % |
311.89/312.07 c | 594940 | 579 9408 31466 | 42569 41846 23 | 0.001 % |
312.09/312.20 c | 595133 | 579 9408 31466 | 42569 42039 23 | 0.001 % |
312.20/312.34 c | 595345 | 579 9408 31466 | 42569 42251 23 | 0.001 % |
312.39/312.52 c | 595578 | 579 9408 31466 | 42569 42484 23 | 0.001 % |
312.59/312.75 c | 595834 | 579 9408 31466 | 42569 36047 23 | 0.000 % |
312.69/312.88 c | 596117 | 579 9408 31466 | 42569 36330 23 | 0.000 % |
312.89/313.03 c | 596426 | 579 9408 31466 | 42569 36639 23 | 0.001 % |
313.09/313.23 c | 596766 | 579 9408 31466 | 42569 36979 23 | 0.000 % |
313.30/313.42 c | 597138 | 579 9408 31466 | 42569 37351 23 | 0.000 % |
313.49/313.63 c | 597547 | 579 9408 31466 | 42569 37760 23 | 0.000 % |
313.69/313.88 c | 597999 | 579 9408 31466 | 42569 38212 23 | 0.000 % |
313.99/314.15 c | 598493 | 579 9408 31466 | 42569 38706 23 | 0.000 % |
314.29/314.46 c | 599036 | 579 9408 31466 | 42569 39249 23 | 0.001 % |
314.69/314.85 c | 599632 | 579 9408 31466 | 42569 39845 23 | 0.001 % |
315.19/315.39 c | 600288 | 579 9408 31466 | 40213 34414 23 | 0.001 % |
315.69/315.82 c | 601009 | 579 9408 31466 | 40213 35135 23 | 0.001 % |
316.09/316.29 c | 601802 | 579 9408 31466 | 40213 35928 23 | 0.001 % |
316.60/316.80 c | 602673 | 579 9408 31466 | 40213 36799 23 | 0.001 % |
317.09/317.29 c | 603633 | 579 9408 31466 | 40213 37759 23 | 0.001 % |
317.70/317.89 c | 604686 | 579 9408 31466 | 40213 38812 23 | 0.000 % |
318.39/318.59 c | 605846 | 579 9408 31466 | 40213 39972 23 | 0.001 % |
319.19/319.33 c | 607120 | 579 9408 31466 | 40213 35485 22 | 0.001 % |
319.90/320.06 c | 608520 | 579 9408 31466 | 40213 36885 22 | 0.000 % |
320.69/320.88 c | 610060 | 579 9408 31466 | 38365 38425 22 | 0.001 % |
321.69/321.84 c | 611754 | 579 9408 31466 | 38365 34941 22 | 0.000 % |
322.69/322.88 c | 613617 | 579 9408 31466 | 38365 36804 22 | 0.000 % |
324.19/324.31 c | 615666 | 579 9408 31466 | 38365 33771 22 | 0.000 % |
325.39/325.50 c | 617921 | 579 9408 31466 | 38365 36026 22 | 0.000 % |
326.79/326.99 c | 620399 | 579 9408 31466 | 38106 33296 22 | 0.000 % |
328.19/328.31 c | 623124 | 579 9408 31466 | 38106 36021 23 | 0.000 % |
329.79/329.97 c | 626121 | 579 9408 31466 | 38106 34629 23 | 0.000 % |
331.69/331.83 c | 629417 | 579 9408 31466 | 38106 37925 24 | 0.001 % |
333.39/333.56 c | 633042 | 579 9408 31466 | 34197 33416 24 | 0.000 % |
335.29/335.43 c | 637029 | 579 9408 31466 | 34197 33977 24 | 0.000 % |
337.29/337.45 c | 641415 | 579 9408 31466 | 2147483647 34937 24 | 0.000 % |
339.89/340.09 c | 646238 | 579 9408 31466 | 2147483647 39760 24 | 0.000 % |
343.38/343.58 c | 651543 | 579 9408 31466 | 43522 38543 24 | 0.000 % |
346.88/347.08 c | 657379 | 579 9408 31466 | 43522 37052 23 | 0.000 % |
346.98/347.14 c | 657479 | 579 9408 31466 | 43522 37152 23 | 0.001 % |
347.08/347.21 c | 657589 | 579 9408 31466 | 43522 37262 23 | 0.000 % |
347.18/347.30 c | 657710 | 579 9408 31466 | 43522 37383 23 | 0.001 % |
347.18/347.39 c | 657845 | 579 9408 31466 | 43522 37518 23 | 0.001 % |
347.28/347.46 c | 657991 | 579 9408 31466 | 43522 37664 23 | 0.000 % |
347.39/347.56 c | 658152 | 579 9408 31466 | 43522 37825 23 | 0.001 % |
347.49/347.65 c | 658328 | 579 9408 31466 | 43522 38001 23 | 0.000 % |
347.58/347.75 c | 658522 | 579 9408 31466 | 43522 38195 23 | 0.000 % |
347.78/347.91 c | 658736 | 579 9408 31466 | 43522 38409 23 | 0.000 % |
347.88/348.05 c | 658970 | 579 9408 31466 | 43522 38643 23 | 0.000 % |
348.08/348.21 c | 659227 | 579 9408 31466 | 43522 38900 24 | 0.001 % |
348.18/348.39 c | 659508 | 579 9408 31466 | 43522 39181 24 | 0.001 % |
348.49/348.65 c | 659818 | 579 9408 31466 | 43522 39491 24 | 0.000 % |
348.78/348.93 c | 660157 | 579 9408 31466 | 39673 33157 23 | 0.001 % |
348.98/349.15 c | 660529 | 579 9408 31466 | 39673 33529 23 | 0.000 % |
349.18/349.36 c | 660939 | 579 9408 31466 | 39673 33939 23 | 0.001 % |
349.48/349.61 c | 661388 | 579 9408 31466 | 39673 34388 23 | 0.000 % |
349.78/349.94 c | 661882 | 579 9408 31466 | 39673 34882 23 | 0.001 % |
349.98/350.19 c | 662425 | 579 9408 31466 | 39673 35425 23 | 0.001 % |
350.38/350.54 c | 663021 | 579 9408 31466 | 39673 36021 23 | 0.000 % |
350.79/350.93 c | 663678 | 579 9408 31466 | 39673 36678 23 | 0.000 % |
351.18/351.32 c | 664398 | 579 9408 31466 | 39673 37398 23 | 0.001 % |
351.58/351.75 c | 665191 | 579 9408 31466 | 39673 38191 23 | 0.000 % |
352.08/352.21 c | 666063 | 579 9408 31466 | 39673 39063 23 | 0.000 % |
352.68/352.84 c | 667023 | 579 9408 31466 | 39673 34308 23 | 0.001 % |
353.28/353.44 c | 668077 | 579 9408 31466 | 39673 35362 23 | 0.001 % |
353.88/354.04 c | 669236 | 579 9408 31466 | 39673 36521 23 | 0.001 % |
354.68/354.89 c | 670509 | 579 9408 31466 | 37286 32445 22 | 0.000 % |
355.38/355.53 c | 671909 | 579 9408 31466 | 37286 33845 22 | 0.001 % |
356.18/356.34 c | 673450 | 579 9408 31466 | 37286 35386 22 | 0.001 % |
356.98/357.12 c | 675145 | 579 9408 31466 | 37286 37081 23 | 0.001 % |
357.88/358.09 c | 677008 | 579 9408 31466 | 37286 34825 22 | 0.001 % |
359.08/359.22 c | 679057 | 579 9408 31466 | 37286 36874 23 | 0.001 % |
360.38/360.52 c | 681311 | 579 9408 31466 | 33430 30723 22 | 0.000 % |
361.48/361.62 c | 683789 | 579 9408 31466 | 33430 33201 22 | 0.001 % |
362.78/362.92 c | 686514 | 579 9408 31466 | 33430 32579 22 | 0.001 % |
364.18/364.37 c | 689511 | 579 9408 31466 | 33430 32227 22 | 0.001 % |
365.58/365.76 c | 692809 | 579 9408 31466 | 2147483647 35525 22 | 0.001 % |
367.78/367.91 c | 696436 | 579 9408 31466 | 2147483647 39152 22 | 0.001 % |
370.48/370.68 c | 700424 | 579 9408 31466 | 42717 37415 22 | 0.000 % |
373.07/373.21 c | 704809 | 579 9408 31466 | 42717 41800 22 | 0.001 % |
375.77/375.91 c | 709634 | 579 9408 31466 | 42717 40540 22 | 0.001 % |
378.57/378.73 c | 714940 | 579 9408 31466 | 40906 39780 22 | 0.001 % |
381.48/381.61 c | 720776 | 579 9408 31466 | 39360 34874 21 | 0.001 % |
384.37/384.52 c | 727195 | 579 9408 31466 | 39360 35576 19 | 0.001 % |
384.37/384.57 c | 727295 | 579 9408 31466 | 39360 35676 19 | 0.000 % |
384.47/384.62 c | 727406 | 579 9408 31466 | 39360 35787 19 | 0.000 % |
384.47/384.67 c | 727528 | 579 9408 31466 | 39360 35909 19 | 0.001 % |
384.57/384.75 c | 727661 | 579 9408 31466 | 39360 36042 19 | 0.000 % |
384.67/384.83 c | 727807 | 579 9408 31466 | 39360 36188 19 | 0.001 % |
384.77/384.91 c | 727969 | 579 9408 31466 | 39360 36350 19 | 0.000 % |
384.77/385.00 c | 728145 | 579 9408 31466 | 39360 36526 19 | 0.000 % |
384.97/385.10 c | 728339 | 579 9408 31466 | 39360 36720 19 | 0.000 % |
385.07/385.20 c | 728551 | 579 9408 31466 | 39360 36932 19 | 0.001 % |
385.17/385.32 c | 728784 | 579 9408 31466 | 39360 37165 19 | 0.000 % |
385.27/385.46 c | 729040 | 579 9408 31466 | 39360 37421 19 | 0.000 % |
385.47/385.65 c | 729321 | 579 9408 31466 | 39360 37702 19 | 0.000 % |
385.67/385.82 c | 729630 | 579 9408 31466 | 39360 38011 20 | 0.000 % |
385.77/385.99 c | 729969 | 579 9408 31466 | 39360 38350 20 | 0.001 % |
386.07/386.25 c | 730342 | 579 9408 31466 | 38383 33417 19 | 0.001 % |
386.27/386.45 c | 730751 | 579 9408 31466 | 38383 33826 19 | 0.001 % |
386.47/386.63 c | 731200 | 579 9408 31466 | 38383 34275 19 | 0.001 % |
386.67/386.86 c | 731694 | 579 9408 31466 | 38383 34769 19 | 0.001 % |
386.97/387.16 c | 732237 | 579 9408 31466 | 38383 35312 19 | 0.000 % |
387.27/387.45 c | 732834 | 579 9408 31466 | 38383 35909 19 | 0.001 % |
387.57/387.79 c | 733489 | 579 9408 31466 | 38383 36564 19 | 0.001 % |
387.97/388.13 c | 734209 | 579 9408 31466 | 38383 37284 19 | 0.001 % |
388.37/388.55 c | 735002 | 579 9408 31466 | 38383 38077 19 | 0.001 % |
388.87/389.09 c | 735874 | 579 9408 31466 | 38383 34372 19 | 0.000 % |
389.37/389.59 c | 736832 | 579 9408 31466 | 38383 35330 19 | 0.001 % |
389.97/390.11 c | 737885 | 579 9408 31466 | 38383 36383 19 | 0.001 % |
390.47/390.68 c | 739043 | 579 9408 31466 | 38383 37541 19 | 0.000 % |
391.27/391.46 c | 740316 | 579 9408 31466 | 33959 30239 18 | 0.000 % |
391.97/392.10 c | 741716 | 579 9408 31466 | 33959 31639 19 | 0.000 % |
392.57/392.71 c | 743257 | 579 9408 31466 | 33959 33180 19 | 0.001 % |
393.37/393.54 c | 744951 | 579 9408 31466 | 33959 31471 19 | 0.000 % |
394.07/394.30 c | 746818 | 579 9408 31466 | 33959 33338 20 | 0.001 % |
395.06/395.25 c | 748869 | 579 9408 31466 | 33959 31986 20 | 0.001 % |
396.07/396.23 c | 751126 | 579 9408 31466 | 2147483647 34243 21 | 0.001 % |
397.26/397.43 c | 753604 | 579 9408 31466 | 2147483647 36721 21 | 0.001 % |
398.96/399.17 c | 756330 | 579 9408 31466 | 2147483647 39447 21 | 0.001 % |
400.76/401.00 c | 759327 | 579 9408 31466 | 2147483647 42444 21 | 0.000 % |
402.66/402.84 c | 762623 | 579 9408 31466 | 43117 40397 21 | 0.001 % |
404.86/405.01 c | 766250 | 579 9408 31466 | 43117 38542 21 | 0.000 % |
407.26/407.41 c | 770239 | 579 9408 31466 | 42292 36941 21 | 0.000 % |
409.86/410.09 c | 774625 | 579 9408 31466 | 42292 41327 21 | 0.000 % |
412.86/413.02 c | 779448 | 579 9408 31466 | 42292 39654 20 | 0.001 % |
415.96/416.12 c | 784754 | 579 9408 31466 | 40207 38864 19 | 0.001 % |
419.56/419.70 c | 790589 | 579 9408 31466 | 38594 33832 19 | 0.001 % |
422.26/422.47 c | 797008 | 579 9408 31466 | 38594 36234 19 | 0.000 % |
425.56/425.74 c | 804067 | 579 9408 31466 | 2147483647 39424 20 | 0.000 % |
425.66/425.80 c | 804168 | 579 9408 31466 | 2147483647 39525 20 | 0.000 % |
425.66/425.86 c | 804278 | 579 9408 31466 | 2147483647 39635 20 | 0.001 % |
425.76/425.93 c | 804401 | 579 9408 31466 | 2147483647 39758 20 | 0.000 % |
425.86/426.00 c | 804535 | 579 9408 31466 | 2147483647 39892 20 | 0.001 % |
425.86/426.08 c | 804682 | 579 9408 31466 | 2147483647 40039 20 | 0.000 % |
425.96/426.17 c | 804843 | 579 9408 31466 | 2147483647 40200 20 | 0.001 % |
426.06/426.26 c | 805019 | 579 9408 31466 | 2147483647 40376 20 | 0.000 % |
426.16/426.36 c | 805212 | 579 9408 31466 | 2147483647 40569 20 | 0.000 % |
426.26/426.47 c | 805424 | 579 9408 31466 | 2147483647 40781 20 | 0.000 % |
426.46/426.62 c | 805659 | 579 9408 31466 | 2147483647 41016 20 | 0.001 % |
426.56/426.77 c | 805915 | 579 9408 31466 | 2147483647 41272 20 | 0.001 % |
426.76/426.93 c | 806196 | 579 9408 31466 | 2147483647 41553 20 | 0.000 % |
426.96/427.14 c | 806507 | 579 9408 31466 | 2147483647 41864 20 | 0.000 % |
427.16/427.34 c | 806847 | 579 9408 31466 | 2147483647 42204 20 | 0.001 % |
427.36/427.56 c | 807219 | 579 9408 31466 | 2147483647 42576 20 | 0.001 % |
427.66/427.81 c | 807628 | 579 9408 31466 | 2147483647 42985 20 | 0.001 % |
427.86/428.06 c | 808078 | 579 9408 31466 | 2147483647 43435 20 | 0.001 % |
428.16/428.34 c | 808571 | 579 9408 31466 | 2147483647 43928 20 | 0.001 % |
428.46/428.68 c | 809113 | 579 9408 31466 | 2147483647 44470 21 | 0.001 % |
428.86/429.06 c | 809710 | 579 9408 31466 | 2147483647 45067 20 | 0.001 % |
429.36/429.52 c | 810365 | 579 9408 31466 | 45358 39580 20 | 0.000 % |
429.66/429.90 c | 811085 | 579 9408 31466 | 45358 40300 20 | 0.001 % |
430.17/430.31 c | 811878 | 579 9408 31466 | 45358 41093 20 | 0.001 % |
430.77/430.91 c | 812749 | 579 9408 31466 | 45358 41964 21 | 0.000 % |
431.36/431.52 c | 813707 | 579 9408 31466 | 45358 42922 21 | 0.001 % |
432.07/432.20 c | 814760 | 579 9408 31466 | 45358 43975 21 | 0.001 % |
432.76/432.92 c | 815918 | 579 9408 31466 | 45358 45133 21 | 0.001 % |
433.56/433.77 c | 817192 | 579 9408 31466 | 45358 39107 21 | 0.001 % |
434.56/434.71 c | 818592 | 579 9408 31466 | 45358 40507 21 | 0.001 % |
435.56/435.76 c | 820133 | 579 9408 31466 | 41917 35210 21 | 0.001 % |
436.57/436.70 c | 821828 | 579 9408 31466 | 41917 36905 22 | 0.001 % |
437.57/437.74 c | 823694 | 579 9408 31466 | 41917 38771 22 | 0.001 % |
438.86/439.04 c | 825744 | 579 9408 31466 | 41917 40821 22 | 0.001 % |
440.16/440.36 c | 828000 | 579 9408 31466 | 41917 36317 21 | 0.001 % |
441.86/442.06 c | 830479 | 579 9408 31466 | 38317 32587 20 | 0.000 % |
443.07/443.22 c | 833204 | 579 9408 31466 | 38317 35312 21 | 0.001 % |
444.66/444.81 c | 836201 | 579 9408 31466 | 38317 38309 21 | 0.001 % |
446.06/446.20 c | 839499 | 579 9408 31466 | 38317 36688 20 | 0.001 % |
447.56/447.75 c | 843124 | 579 9408 31466 | 37189 35584 20 | 0.001 % |
449.56/449.74 c | 847112 | 579 9408 31466 | 37189 35538 20 | 0.001 % |
451.76/451.92 c | 851498 | 579 9408 31466 | 34369 32159 20 | 0.001 % |
454.36/454.54 c | 856321 | 579 9408 31466 | 34369 33533 20 | 0.001 % |
456.86/457.08 c | 861627 | 579 9408 31466 | 2147483647 35394 20 | 0.001 % |
460.26/460.40 c | 867462 | 579 9408 31466 | 2147483647 41229 21 | 0.001 % |
464.76/464.94 c | 873881 | 579 9408 31466 | 43769 40645 21 | 0.001 % |
469.35/469.57 c | 880940 | 579 9408 31466 | 38936 32909 20 | 0.001 % |
474.05/474.24 c | 888705 | 579 9408 31466 | 38936 34463 21 | 0.001 % |
474.15/474.30 c | 888805 | 579 9408 31466 | 38936 34563 21 | 0.001 % |
474.15/474.37 c | 888916 | 579 9408 31466 | 38936 34674 21 | 0.001 % |
474.25/474.43 c | 889038 | 579 9408 31466 | 38936 34796 21 | 0.001 % |
474.35/474.50 c | 889173 | 579 9408 31466 | 38936 34931 21 | 0.001 % |
474.35/474.59 c | 889320 | 579 9408 31466 | 38936 35078 21 | 0.001 % |
474.45/474.69 c | 889481 | 579 9408 31466 | 38936 35239 21 | 0.001 % |
474.55/474.78 c | 889658 | 579 9408 31466 | 38936 35416 21 | 0.001 % |
474.65/474.89 c | 889852 | 579 9408 31466 | 38936 35610 21 | 0.000 % |
474.75/475.00 c | 890066 | 579 9408 31466 | 35758 35824 21 | 0.000 % |
474.96/475.17 c | 890299 | 579 9408 31466 | 35758 30665 20 | 0.001 % |
475.06/475.28 c | 890557 | 579 9408 31466 | 35758 30923 20 | 0.000 % |
475.25/475.40 c | 890838 | 579 9408 31466 | 35758 31204 21 | 0.001 % |
475.35/475.51 c | 891147 | 579 9408 31466 | 35758 31513 21 | 0.000 % |
475.45/475.65 c | 891486 | 579 9408 31466 | 35758 31852 21 | 0.001 % |
475.65/475.82 c | 891858 | 579 9408 31466 | 35758 32224 21 | 0.000 % |
475.85/476.00 c | 892267 | 579 9408 31466 | 35758 32633 21 | 0.000 % |
476.06/476.22 c | 892716 | 579 9408 31466 | 35758 33082 21 | 0.001 % |
476.25/476.46 c | 893210 | 579 9408 31466 | 35758 33576 21 | 0.000 % |
476.55/476.76 c | 893752 | 579 9408 31466 | 35758 34118 21 | 0.000 % |
476.85/477.06 c | 894348 | 579 9408 31466 | 35758 34714 21 | 0.000 % |
477.26/477.43 c | 895003 | 579 9408 31466 | 35758 35369 21 | 0.000 % |
477.55/477.79 c | 895724 | 579 9408 31466 | 35758 32275 21 | 0.000 % |
477.95/478.16 c | 896516 | 579 9408 31466 | 35758 33067 21 | 0.000 % |
478.36/478.59 c | 897387 | 579 9408 31466 | 35758 33938 21 | 0.000 % |
478.85/479.03 c | 898345 | 579 9408 31466 | 35758 34896 21 | 0.000 % |
479.36/479.58 c | 899398 | 579 9408 31466 | 35758 32106 21 | 0.001 % |
479.95/480.11 c | 900556 | 579 9408 31466 | 32708 29741 21 | 0.000 % |
480.45/480.68 c | 901829 | 579 9408 31466 | 32708 31014 21 | 0.000 % |
481.05/481.29 c | 903230 | 579 9408 31466 | 32708 32415 21 | 0.001 % |
481.85/482.07 c | 904770 | 579 9408 31466 | 32708 30673 22 | 0.000 % |
482.75/482.98 c | 906464 | 579 9408 31466 | 32708 32367 22 | 0.001 % |
483.75/483.98 c | 908327 | 579 9408 31466 | 32708 30955 22 | 0.001 % |
484.65/484.89 c | 910377 | 579 9408 31466 | 2147483647 33005 22 | 0.001 % |
485.85/486.08 c | 912631 | 579 9408 31466 | 2147483647 35259 22 | 0.001 % |
487.05/487.22 c | 915110 | 579 9408 31466 | 2147483647 37738 22 | 0.000 % |
488.45/488.62 c | 917835 | 579 9408 31466 | 2147483647 40463 22 | 0.000 % |
490.05/490.24 c | 920833 | 579 9408 31466 | 42629 38829 22 | 0.001 % |
492.25/492.45 c | 924130 | 579 9408 31466 | 42629 42126 22 | 0.000 % |
494.44/494.66 c | 927757 | 579 9408 31466 | 42629 39538 22 | 0.000 % |
496.64/496.88 c | 931746 | 579 9408 31466 | 41782 37495 22 | 0.000 % |
499.44/499.61 c | 936133 | 579 9408 31466 | 41782 35760 22 | 0.000 % |
502.94/503.11 c | 940958 | 579 9408 31466 | 39628 34513 22 | 0.001 % |
506.04/506.29 c | 946263 | 579 9408 31466 | 39628 33861 22 | 0.001 % |
509.54/509.73 c | 952099 | 579 9408 31466 | 37599 34649 22 | 0.000 % |
512.94/513.13 c | 958517 | 579 9408 31466 | 37599 36338 22 | 0.000 % |
516.54/516.75 c | 965577 | 579 9408 31466 | 32834 30281 22 | 0.001 % |
520.24/520.45 c | 973341 | 579 9408 31466 | 31242 28322 22 | 0.001 % |
524.33/524.50 c | 981882 | 579 9408 31466 | 2147483647 30601 21 | 0.001 % |
524.33/524.55 c | 981983 | 579 9408 31466 | 2147483647 30702 21 | 0.000 % |
524.44/524.60 c | 982094 | 579 9408 31466 | 2147483647 30813 21 | 0.000 % |
524.44/524.66 c | 982217 | 579 9408 31466 | 2147483647 30936 21 | 0.001 % |
524.54/524.71 c | 982351 | 579 9408 31466 | 2147483647 31070 21 | 0.001 % |
524.54/524.77 c | 982497 | 579 9408 31466 | 2147483647 31216 21 | 0.000 % |
524.63/524.85 c | 982657 | 579 9408 31466 | 2147483647 31376 21 | 0.001 % |
524.73/524.93 c | 982834 | 579 9408 31466 | 2147483647 31553 21 | 0.000 % |
524.83/525.02 c | 983028 | 579 9408 31466 | 2147483647 31747 21 | 0.001 % |
524.93/525.16 c | 983241 | 579 9408 31466 | 2147483647 31960 21 | 0.000 % |
525.03/525.26 c | 983476 | 579 9408 31466 | 2147483647 32195 21 | 0.000 % |
525.13/525.37 c | 983732 | 579 9408 31466 | 2147483647 32451 21 | 0.001 % |
525.33/525.52 c | 984013 | 579 9408 31466 | 2147483647 32732 21 | 0.001 % |
525.43/525.67 c | 984323 | 579 9408 31466 | 2147483647 33042 22 | 0.001 % |
525.64/525.82 c | 984662 | 579 9408 31466 | 2147483647 33381 22 | 0.001 % |
525.73/525.98 c | 985034 | 579 9408 31466 | 2147483647 33753 22 | 0.001 % |
526.03/526.27 c | 985443 | 579 9408 31466 | 2147483647 34162 22 | 0.001 % |
526.33/526.50 c | 985894 | 579 9408 31466 | 2147483647 34613 22 | 0.001 % |
526.64/526.81 c | 986388 | 579 9408 31466 | 2147483647 35107 22 | 0.001 % |
526.93/527.15 c | 986931 | 579 9408 31466 | 2147483647 35650 22 | 0.001 % |
527.33/527.52 c | 987527 | 579 9408 31466 | 2147483647 36246 22 | 0.001 % |
527.63/527.86 c | 988183 | 579 9408 31466 | 2147483647 36902 22 | 0.000 % |
528.03/528.21 c | 988904 | 579 9408 31466 | 2147483647 37623 22 | 0.001 % |
528.33/528.59 c | 989696 | 579 9408 31466 | 2147483647 38415 22 | 0.001 % |
528.84/529.03 c | 990567 | 579 9408 31466 | 38719 35356 21 | 0.001 % |
529.33/529.57 c | 991527 | 579 9408 31466 | 38719 36316 21 | 0.001 % |
529.94/530.13 c | 992581 | 579 9408 31466 | 38719 37370 21 | 0.000 % |
530.73/530.95 c | 993741 | 579 9408 31466 | 38719 38530 22 | 0.001 % |
531.43/531.70 c | 995014 | 579 9408 31466 | 38719 35394 22 | 0.001 % |
532.33/532.54 c | 996416 | 579 9408 31466 | 38719 36796 22 | 0.001 % |
533.13/533.38 c | 997957 | 579 9408 31466 | 38719 38337 22 | 0.001 % |
534.13/534.35 c | 999652 | 579 9408 31466 | 38719 35264 22 | 0.000 % |
535.03/535.22 c | 1001515 | 579 9408 31466 | 35612 32747 21 | 0.001 % |
536.13/536.37 c | 1003564 | 579 9408 31466 | 35612 34796 21 | 0.000 % |
537.23/537.45 c | 1005820 | 579 9408 31466 | 35612 32132 21 | 0.001 % |
538.63/538.83 c | 1008298 | 579 9408 31466 | 35612 34610 21 | 0.001 % |
540.13/540.35 c | 1011023 | 579 9408 31466 | 31971 29217 21 | 0.001 % |
541.83/542.08 c | 1014022 | 579 9408 31466 | 31971 28678 21 | 0.001 % |
543.33/543.52 c | 1017318 | 579 9408 31466 | 31971 31974 21 | 0.001 % |
544.93/545.19 c | 1020944 | 579 9408 31466 | 2147483647 32403 21 | 0.000 % |
546.93/547.15 c | 1024933 | 579 9408 31466 | 2147483647 36392 22 | 0.001 % |
549.53/549.76 c | 1029319 | 579 9408 31466 | 2147483647 40778 22 | 0.001 % |
552.82/553.03 c | 1034143 | 579 9408 31466 | 2147483647 45602 22 | 0.001 % |
556.22/556.45 c | 1039448 | 579 9408 31466 | 2147483647 50907 22 | 0.001 % |
560.73/560.98 c | 1045285 | 579 9408 31466 | 51462 48612 22 | 0.001 % |
565.83/566.09 c | 1051704 | 579 9408 31466 | 42780 35722 21 | 0.001 % |
570.33/570.53 c | 1058766 | 579 9408 31466 | 42780 42784 22 | 0.001 % |
574.43/574.69 c | 1066531 | 579 9408 31466 | 36478 32301 21 | 0.001 % |
578.93/579.12 c | 1075071 | 579 9408 31466 | 35772 31802 21 | 0.001 % |
584.13/584.38 c | 1084465 | 579 9408 31466 | 32594 29683 21 | 0.000 % |
584.23/584.44 c | 1084567 | 579 9408 31466 | 32594 29785 21 | 0.001 % |
584.33/584.50 c | 1084679 | 579 9408 31466 | 32594 29897 21 | 0.001 % |
584.33/584.56 c | 1084800 | 579 9408 31466 | 32594 30018 21 | 0.001 % |
584.43/584.63 c | 1084933 | 579 9408 31466 | 32594 30151 21 | 0.001 % |
584.53/584.70 c | 1085079 | 579 9408 31466 | 32594 30297 21 | 0.000 % |
584.53/584.80 c | 1085241 | 579 9408 31466 | 32594 30459 21 | 0.000 % |
584.73/584.92 c | 1085417 | 579 9408 31466 | 32594 30635 21 | 0.001 % |
584.83/585.01 c | 1085610 | 579 9408 31466 | 32594 30828 21 | 0.001 % |
584.93/585.10 c | 1085822 | 579 9408 31466 | 32594 31040 21 | 0.000 % |
585.03/585.23 c | 1086055 | 579 9408 31466 | 32594 31273 21 | 0.001 % |
585.12/585.34 c | 1086312 | 579 9408 31466 | 32594 31530 21 | 0.000 % |
585.22/585.46 c | 1086593 | 579 9408 31466 | 32594 31811 21 | 0.000 % |
585.32/585.58 c | 1086902 | 579 9408 31466 | 32594 32120 21 | 0.001 % |
585.52/585.74 c | 1087241 | 579 9408 31466 | 32594 32459 21 | 0.000 % |
585.72/585.99 c | 1087613 | 579 9408 31466 | 32594 29324 21 | 0.001 % |
585.92/586.17 c | 1088023 | 579 9408 31466 | 32594 29734 21 | 0.001 % |
586.13/586.36 c | 1088473 | 579 9408 31466 | 32594 30184 21 | 0.001 % |
586.32/586.57 c | 1088966 | 579 9408 31466 | 32594 30677 21 | 0.001 % |
586.52/586.79 c | 1089509 | 579 9408 31466 | 32594 31220 21 | 0.000 % |
586.82/587.06 c | 1090105 | 579 9408 31466 | 2147483647 31816 21 | 0.000 % |
587.13/587.34 c | 1090761 | 579 9408 31466 | 2147483647 32472 21 | 0.000 % |
587.42/587.65 c | 1091483 | 579 9408 31466 | 2147483647 33194 21 | 0.001 % |
587.82/588.05 c | 1092275 | 579 9408 31466 | 2147483647 33986 22 | 0.000 % |
588.23/588.43 c | 1093149 | 579 9408 31466 | 2147483647 34860 22 | 0.000 % |
588.62/588.90 c | 1094107 | 579 9408 31466 | 2147483647 35818 22 | 0.000 % |
589.12/589.38 c | 1095162 | 579 9408 31466 | 2147483647 36873 22 | 0.000 % |
589.72/589.96 c | 1096321 | 579 9408 31466 | 2147483647 38032 22 | 0.001 % |
590.32/590.53 c | 1097597 | 579 9408 31466 | 2147483647 39308 22 | 0.001 % |
591.02/591.24 c | 1098997 | 579 9408 31466 | 2147483647 40708 22 | 0.000 % |
591.92/592.15 c | 1100538 | 579 9408 31466 | 2147483647 42249 22 | 0.001 % |
592.92/593.16 c | 1102232 | 579 9408 31466 | 2147483647 43943 22 | 0.000 % |
594.02/594.22 c | 1104096 | 579 9408 31466 | 2147483647 45807 22 | 0.001 % |
595.42/595.66 c | 1106145 | 579 9408 31466 | 2147483647 47856 22 | 0.001 % |
597.02/597.24 c | 1108399 | 579 9408 31466 | 2147483647 50110 22 | 0.001 % |
598.92/599.19 c | 1110879 | 579 9408 31466 | 51711 44171 22 | 0.001 % |
600.72/600.94 c | 1113605 | 579 9408 31466 | 51711 46897 22 | 0.001 % |
602.72/602.92 c | 1116602 | 579 9408 31466 | 51711 49894 22 | 0.001 % |
605.22/605.49 c | 1119901 | 579 9408 31466 | 51711 43574 21 | 0.001 % |
607.52/607.75 c | 1123526 | 579 9408 31466 | 43674 39130 21 | 0.000 % |
610.42/610.61 c | 1127516 | 579 9408 31466 | 43674 43120 21 | 0.000 % |
613.02/613.28 c | 1131901 | 579 9408 31466 | 38189 33800 20 | 0.001 % |
615.82/616.06 c | 1136724 | 579 9408 31466 | 38189 33532 21 | 0.001 % |
618.72/618.97 c | 1142031 | 579 9408 31466 | 36808 33912 22 | 0.001 % |
622.61/622.80 c | 1147866 | 579 9408 31466 | 36808 33987 22 | 0.001 % |
626.31/626.56 c | 1154285 | 579 9408 31466 | 36121 34870 23 | 0.001 % |
630.71/630.99 c | 1161345 | 579 9408 31466 | 35689 32486 22 | 0.001 % |
635.41/635.61 c | 1169110 | 579 9408 31466 | 35689 31494 20 | 0.001 % |
640.31/640.51 c | 1177650 | 579 9408 31466 | 32385 29742 19 | 0.001 % |
645.30/645.50 c | 1187046 | 579 9408 31466 | 2147483647 39138 20 | 0.001 % |
652.01/652.21 c | 1197380 | 579 9408 31466 | 42093 36948 21 | 0.001 % |
652.01/652.27 c | 1197480 | 579 9408 31466 | 42093 37048 21 | 0.001 % |
652.11/652.35 c | 1197590 | 579 9408 31466 | 42093 37158 21 | 0.001 % |
652.20/652.43 c | 1197711 | 579 9408 31466 | 42093 37279 21 | 0.000 % |
652.30/652.51 c | 1197845 | 579 9408 31466 | 42093 37413 21 | 0.001 % |
652.40/652.60 c | 1197992 | 579 9408 31466 | 42093 37560 21 | 0.001 % |
652.40/652.70 c | 1198154 | 579 9408 31466 | 42093 37722 21 | 0.001 % |
652.60/652.82 c | 1198330 | 579 9408 31466 | 42093 37898 21 | 0.001 % |
652.70/652.91 c | 1198523 | 579 9408 31466 | 42093 38091 21 | 0.001 % |
652.80/653.04 c | 1198735 | 579 9408 31466 | 42093 38303 21 | 0.000 % |
652.90/653.14 c | 1198969 | 579 9408 31466 | 42093 38537 21 | 0.000 % |
653.00/653.28 c | 1199226 | 579 9408 31466 | 42093 38794 21 | 0.001 % |
653.11/653.40 c | 1199507 | 579 9408 31466 | 42093 39075 21 | 0.000 % |
653.30/653.55 c | 1199817 | 579 9408 31466 | 42093 39385 21 | 0.001 % |
653.60/653.85 c | 1200157 | 579 9408 31466 | 39568 33550 21 | 0.000 % |
653.80/654.02 c | 1200530 | 579 9408 31466 | 39568 33923 21 | 0.001 % |
654.00/654.23 c | 1200940 | 579 9408 31466 | 39568 34333 21 | 0.001 % |
654.21/654.47 c | 1201390 | 579 9408 31466 | 39568 34783 21 | 0.000 % |
654.50/654.72 c | 1201884 | 579 9408 31466 | 39568 35277 21 | 0.001 % |
654.80/655.01 c | 1202426 | 579 9408 31466 | 39568 35819 21 | 0.001 % |
655.00/655.27 c | 1203022 | 579 9408 31466 | 39568 36415 21 | 0.001 % |
655.41/655.68 c | 1203678 | 579 9408 31466 | 39568 37071 21 | 0.001 % |
655.90/656.13 c | 1204398 | 579 9408 31466 | 39568 37791 21 | 0.001 % |
656.41/656.61 c | 1205191 | 579 9408 31466 | 39568 38584 21 | 0.001 % |
656.90/657.17 c | 1206063 | 579 9408 31466 | 39568 39456 21 | 0.000 % |
657.51/657.76 c | 1207022 | 579 9408 31466 | 39568 35126 21 | 0.000 % |
658.10/658.32 c | 1208075 | 579 9408 31466 | 39568 36179 21 | 0.000 % |
658.90/659.17 c | 1209235 | 579 9408 31466 | 39568 37339 21 | 0.000 % |
659.60/659.89 c | 1210511 | 579 9408 31466 | 38104 33440 21 | 0.001 % |
660.40/660.64 c | 1211912 | 579 9408 31466 | 38104 34841 21 | 0.001 % |
661.10/661.40 c | 1213453 | 579 9408 31466 | 38104 36382 22 | 0.001 % |
662.10/662.30 c | 1215148 | 579 9408 31466 | 38104 38077 22 | 0.001 % |
663.10/663.33 c | 1217012 | 579 9408 31466 | 38104 35315 21 | 0.001 % |
664.50/664.70 c | 1219063 | 579 9408 31466 | 38104 37366 22 | 0.001 % |
665.80/666.03 c | 1221318 | 579 9408 31466 | 33441 30535 21 | 0.000 % |
667.00/667.21 c | 1223798 | 579 9408 31466 | 33441 33015 22 | 0.000 % |
668.50/668.72 c | 1226524 | 579 9408 31466 | 33441 32171 22 | 0.000 % |
670.50/670.71 c | 1229521 | 579 9408 31466 | 33441 31428 22 | 0.001 % |
672.00/672.26 c | 1232818 | 579 9408 31466 | 31911 31205 22 | 0.000 % |
673.70/673.97 c | 1236443 | 579 9408 31466 | 31911 31633 22 | 0.000 % |
675.60/675.85 c | 1240430 | 579 9408 31466 | 2147483647 29221 22 | 0.001 % |
677.79/678.01 c | 1244816 | 579 9408 31466 | 2147483647 33607 23 | 0.001 % |
680.49/680.79 c | 1249639 | 579 9408 31466 | 2147483647 38430 23 | 0.000 % |
684.00/684.25 c | 1254946 | 579 9408 31466 | 2147483647 43737 23 | 0.000 % |
688.49/688.72 c | 1260781 | 579 9408 31466 | 48791 41193 23 | 0.001 % |
693.39/693.70 c | 1267200 | 579 9408 31466 | 48791 47612 22 | 0.001 % |
698.09/698.33 c | 1274259 | 579 9408 31466 | 40677 37074 21 | 0.001 % |
702.59/702.87 c | 1282023 | 579 9408 31466 | 35770 31674 19 | 0.001 % |
706.89/707.14 c | 1290564 | 579 9408 31466 | 34241 29825 21 | 0.000 % |
711.99/712.27 c | 1299958 | 579 9408 31466 | 34241 31311 22 | 0.001 % |
717.38/717.66 c | 1310292 | 579 9408 31466 | 2147483647 28745 23 | 0.000 % |
724.38/724.65 c | 1321658 | 579 9408 31466 | 38455 35438 23 | 0.001 % |
724.48/724.73 c | 1321759 | 579 9408 31466 | 38455 35539 23 | 0.000 % |
724.48/724.80 c | 1321870 | 579 9408 31466 | 38455 35650 23 | 0.000 % |
724.59/724.87 c | 1321992 | 579 9408 31466 | 38455 35772 23 | 0.000 % |
724.69/724.95 c | 1322126 | 579 9408 31466 | 38455 35906 23 | 0.000 % |
724.78/725.02 c | 1322273 | 579 9408 31466 | 38455 36053 23 | 0.000 % |
724.88/725.11 c | 1322436 | 579 9408 31466 | 38455 36216 23 | 0.001 % |
724.98/725.22 c | 1322612 | 579 9408 31466 | 38455 36392 23 | 0.001 % |
725.08/725.36 c | 1322805 | 579 9408 31466 | 38455 36585 23 | 0.000 % |
725.18/725.49 c | 1323017 | 579 9408 31466 | 38455 36797 23 | 0.000 % |
725.38/725.64 c | 1323250 | 579 9408 31466 | 38455 37030 23 | 0.000 % |
725.58/725.83 c | 1323506 | 579 9408 31466 | 38455 37286 23 | 0.000 % |
725.69/725.96 c | 1323788 | 579 9408 31466 | 38455 37568 23 | 0.001 % |
725.88/726.18 c | 1324099 | 579 9408 31466 | 38455 37879 23 | 0.001 % |
726.08/726.40 c | 1324438 | 579 9408 31466 | 38455 38218 23 | 0.001 % |
726.48/726.71 c | 1324811 | 579 9408 31466 | 38455 33005 23 | 0.001 % |
726.68/726.91 c | 1325220 | 579 9408 31466 | 38455 33414 23 | 0.001 % |
726.89/727.18 c | 1325669 | 579 9408 31466 | 38455 33863 23 | 0.000 % |
727.18/727.41 c | 1326162 | 579 9408 31466 | 38455 34356 23 | 0.001 % |
727.38/727.67 c | 1326704 | 579 9408 31466 | 38455 34898 23 | 0.001 % |
727.68/727.95 c | 1327301 | 579 9408 31466 | 38455 35495 22 | 0.001 % |
728.08/728.32 c | 1327956 | 579 9408 31466 | 38455 36150 22 | 0.001 % |
728.38/728.69 c | 1328676 | 579 9408 31466 | 38455 36870 22 | 0.001 % |
728.88/729.20 c | 1329470 | 579 9408 31466 | 38455 37664 22 | 0.001 % |
729.38/729.68 c | 1330343 | 579 9408 31466 | 38195 33291 22 | 0.001 % |
729.88/730.15 c | 1331301 | 579 9408 31466 | 38195 34249 22 | 0.000 % |
730.58/730.84 c | 1332355 | 579 9408 31466 | 38195 35303 22 | 0.001 % |
731.18/731.49 c | 1333513 | 579 9408 31466 | 38195 36461 22 | 0.001 % |
731.78/732.10 c | 1334786 | 579 9408 31466 | 38195 37734 23 | 0.000 % |
732.58/732.85 c | 1336186 | 579 9408 31466 | 38195 34227 22 | 0.001 % |
733.38/733.64 c | 1337726 | 579 9408 31466 | 38195 35767 22 | 0.001 % |
734.18/734.43 c | 1339420 | 579 9408 31466 | 38195 37461 23 | 0.001 % |
735.18/735.45 c | 1341283 | 579 9408 31466 | 38041 34799 23 | 0.001 % |
736.38/736.69 c | 1343333 | 579 9408 31466 | 38041 36849 23 | 0.000 % |
737.78/738.02 c | 1345586 | 579 9408 31466 | 38041 34358 22 | 0.000 % |
739.07/739.35 c | 1348066 | 579 9408 31466 | 38041 36838 22 | 0.000 % |
740.67/740.96 c | 1350791 | 579 9408 31466 | 33738 30064 22 | 0.001 % |
742.18/742.49 c | 1353788 | 579 9408 31466 | 33738 33061 22 | 0.001 % |
744.38/744.68 c | 1357084 | 579 9408 31466 | 33738 32278 22 | 0.000 % |
746.47/746.76 c | 1360710 | 579 9408 31466 | 31108 28097 22 | 0.000 % |
748.17/748.45 c | 1364697 | 579 9408 31466 | 31108 28968 21 | 0.001 % |
750.17/750.49 c | 1369083 | 579 9408 31466 | 31108 30239 21 | 0.001 % |
752.67/752.99 c | 1373906 | 579 9408 31466 | 2147483647 35062 22 | 0.000 % |
755.77/756.06 c | 1379212 | 579 9408 31466 | 2147483647 40368 22 | 0.000 % |
759.47/759.78 c | 1385048 | 579 9408 31466 | 2147483647 46204 22 | 0.001 % |
764.67/764.91 c | 1391468 | 579 9408 31466 | 51156 43379 22 | 0.001 % |
769.97/770.29 c | 1398527 | 579 9408 31466 | 51156 50438 22 | 0.001 % |
775.47/775.72 c | 1406292 | 579 9408 31466 | 41373 39082 21 | 0.000 % |
779.87/780.11 c | 1414833 | 579 9408 31466 | 35952 35138 21 | 0.001 % |
784.57/784.83 c | 1424227 | 579 9408 31466 | 31786 28364 20 | 0.001 % |
789.87/790.15 c | 1434561 | 579 9408 31466 | 30054 26883 19 | 0.001 % |
795.36/795.69 c | 1445927 | 579 9408 31466 | 28844 28852 19 | 0.001 % |
801.26/801.53 c | 1458432 | 579 9408 31466 | 2147483647 35584 20 | 0.001 % |
801.26/801.59 c | 1458533 | 579 9408 31466 | 2147483647 35685 20 | 0.000 % |
801.36/801.66 c | 1458643 | 579 9408 31466 | 2147483647 35795 20 | 0.000 % |
801.46/801.74 c | 1458764 | 579 9408 31466 | 2147483647 35916 20 | 0.000 % |
801.57/801.80 c | 1458899 | 579 9408 31466 | 2147483647 36051 20 | 0.001 % |
801.57/801.87 c | 1459045 | 579 9408 31466 | 2147483647 36197 20 | 0.001 % |
801.67/801.97 c | 1459205 | 579 9408 31466 | 2147483647 36357 20 | 0.000 % |
801.76/802.09 c | 1459382 | 579 9408 31466 | 2147483647 36534 20 | 0.001 % |
801.96/802.20 c | 1459576 | 579 9408 31466 | 2147483647 36728 20 | 0.000 % |
802.06/802.30 c | 1459788 | 579 9408 31466 | 2147483647 36940 20 | 0.001 % |
802.16/802.42 c | 1460023 | 579 9408 31466 | 2147483647 37175 20 | 0.000 % |
802.26/802.58 c | 1460280 | 579 9408 31466 | 2147483647 37432 20 | 0.001 % |
802.46/802.72 c | 1460562 | 579 9408 31466 | 2147483647 37714 20 | 0.000 % |
802.56/802.90 c | 1460871 | 579 9408 31466 | 2147483647 38023 20 | 0.001 % |
802.76/803.05 c | 1461210 | 579 9408 31466 | 2147483647 38362 20 | 0.001 % |
802.96/803.24 c | 1461583 | 579 9408 31466 | 2147483647 38735 20 | 0.000 % |
803.26/803.53 c | 1461994 | 579 9408 31466 | 2147483647 39146 20 | 0.001 % |
803.56/803.81 c | 1462444 | 579 9408 31466 | 2147483647 39596 20 | 0.001 % |
803.76/804.05 c | 1462937 | 579 9408 31466 | 2147483647 40089 20 | 0.001 % |
804.06/804.33 c | 1463479 | 579 9408 31466 | 2147483647 40631 20 | 0.001 % |
804.36/804.69 c | 1464075 | 579 9408 31466 | 2147483647 41227 20 | 0.001 % |
804.86/805.13 c | 1464731 | 579 9408 31466 | 2147483647 41883 20 | 0.001 % |
805.26/805.55 c | 1465451 | 579 9408 31466 | 2147483647 42603 20 | 0.000 % |
805.76/806.05 c | 1466243 | 579 9408 31466 | 2147483647 43395 20 | 0.001 % |
806.26/806.53 c | 1467114 | 579 9408 31466 | 2147483647 44266 20 | 0.001 % |
806.86/807.16 c | 1468074 | 579 9408 31466 | 2147483647 45226 20 | 0.001 % |
807.46/807.74 c | 1469127 | 579 9408 31466 | 2147483647 46279 21 | 0.000 % |
808.16/808.45 c | 1470286 | 579 9408 31466 | 47154 41766 21 | 0.000 % |
808.86/809.11 c | 1471559 | 579 9408 31466 | 47154 43039 21 | 0.000 % |
809.66/809.93 c | 1472959 | 579 9408 31466 | 47154 44439 21 | 0.000 % |
810.56/810.80 c | 1474501 | 579 9408 31466 | 47154 45981 21 | 0.000 % |
811.86/812.12 c | 1476195 | 579 9408 31466 | 47154 40679 20 | 0.001 % |
813.16/813.41 c | 1478058 | 579 9408 31466 | 47154 42542 21 | 0.000 % |
814.66/814.96 c | 1480107 | 579 9408 31466 | 44484 37394 21 | 0.001 % |
815.76/816.08 c | 1482361 | 579 9408 31466 | 44484 39648 21 | 0.001 % |
817.36/817.60 c | 1484839 | 579 9408 31466 | 44484 42126 21 | 0.001 % |
819.26/819.53 c | 1487566 | 579 9408 31466 | 44484 37541 21 | 0.001 % |
821.15/821.44 c | 1490563 | 579 9408 31466 | 39975 34105 21 | 0.001 % |
822.85/823.17 c | 1493859 | 579 9408 31466 | 39975 37401 21 | 0.000 % |
824.95/825.27 c | 1497486 | 579 9408 31466 | 39975 35384 21 | 0.001 % |
827.05/827.38 c | 1501474 | 579 9408 31466 | 37899 34460 21 | 0.000 % |
829.45/829.76 c | 1505859 | 579 9408 31466 | 37899 34064 22 | 0.000 % |
832.35/832.62 c | 1510683 | 579 9408 31466 | 33083 29238 22 | 0.001 % |
835.15/835.43 c | 1515988 | 579 9408 31466 | 33083 30691 22 | 0.001 % |
838.25/838.55 c | 1521824 | 579 9408 31466 | 2147483647 33214 22 | 0.001 % |
841.95/842.24 c | 1528244 | 579 9408 31466 | 2147483647 39634 22 | 0.000 % |
846.54/846.87 c | 1535303 | 579 9408 31466 | 41390 36325 21 | 0.001 % |
851.94/852.28 c | 1543069 | 579 9408 31466 | 41022 37809 21 | 0.000 % |
857.14/857.42 c | 1551610 | 579 9408 31466 | 38388 34075 22 | 0.001 % |
862.24/862.52 c | 1561007 | 579 9408 31466 | 36547 32128 22 | 0.000 % |
868.34/868.61 c | 1571343 | 579 9408 31466 | 35854 32092 23 | 0.000 % |
874.94/875.22 c | 1582709 | 579 9408 31466 | 31071 29536 22 | 0.001 % |
881.43/881.77 c | 1595212 | 579 9408 31466 | 2147483647 35622 21 | 0.001 % |
890.03/890.37 c | 1608965 | 579 9408 31466 | 40410 36997 20 | 0.001 % |
890.13/890.44 c | 1609069 | 579 9408 31466 | 40410 37101 20 | 0.001 % |
890.23/890.50 c | 1609181 | 579 9408 31466 | 40410 37213 20 | 0.000 % |
890.23/890.58 c | 1609302 | 579 9408 31466 | 40410 37334 20 | 0.000 % |
890.33/890.67 c | 1609436 | 579 9408 31466 | 40410 37468 20 | 0.001 % |
890.43/890.75 c | 1609582 | 579 9408 31466 | 40410 37614 20 | 0.001 % |
890.53/890.82 c | 1609742 | 579 9408 31466 | 40410 37774 20 | 0.000 % |
890.63/890.92 c | 1609919 | 579 9408 31466 | 40410 37951 20 | 0.001 % |
890.73/891.08 c | 1610113 | 579 9408 31466 | 38032 31848 19 | 0.001 % |
890.83/891.18 c | 1610328 | 579 9408 31466 | 38032 32063 19 | 0.001 % |
890.93/891.29 c | 1610562 | 579 9408 31466 | 38032 32297 20 | 0.000 % |
891.13/891.46 c | 1610819 | 579 9408 31466 | 38032 32554 20 | 0.000 % |
891.23/891.55 c | 1611104 | 579 9408 31466 | 38032 32839 20 | 0.000 % |
891.43/891.70 c | 1611413 | 579 9408 31466 | 38032 33148 20 | 0.000 % |
891.63/891.90 c | 1611753 | 579 9408 31466 | 38032 33488 20 | 0.000 % |
891.83/892.16 c | 1612125 | 579 9408 31466 | 38032 33860 20 | 0.001 % |
892.03/892.37 c | 1612534 | 579 9408 31466 | 38032 34269 20 | 0.001 % |
892.23/892.57 c | 1612985 | 579 9408 31466 | 38032 34720 20 | 0.000 % |
892.53/892.80 c | 1613478 | 579 9408 31466 | 38032 35213 20 | 0.001 % |
892.73/893.02 c | 1614020 | 579 9408 31466 | 38032 35755 20 | 0.001 % |
893.03/893.34 c | 1614616 | 579 9408 31466 | 38032 36351 20 | 0.001 % |
893.33/893.69 c | 1615271 | 579 9408 31466 | 38032 37006 20 | 0.001 % |
893.73/894.04 c | 1615991 | 579 9408 31466 | 38032 37726 20 | 0.001 % |
894.23/894.57 c | 1616783 | 579 9408 31466 | 38032 33547 20 | 0.001 % |
894.73/895.08 c | 1617654 | 579 9408 31466 | 38032 34418 20 | 0.001 % |
895.22/895.51 c | 1618612 | 579 9408 31466 | 38032 35376 20 | 0.001 % |
895.62/895.98 c | 1619666 | 579 9408 31466 | 38032 36430 20 | 0.001 % |
896.32/896.64 c | 1620825 | 579 9408 31466 | 36764 32739 20 | 0.000 % |
897.02/897.35 c | 1622100 | 579 9408 31466 | 36764 34014 20 | 0.001 % |
897.82/898.16 c | 1623502 | 579 9408 31466 | 36764 35416 20 | 0.000 % |
898.82/899.13 c | 1625043 | 579 9408 31466 | 36764 32456 20 | 0.000 % |
899.82/900.12 c | 1626739 | 579 9408 31466 | 36764 34152 21 | 0.000 % |
900.72/901.01 c | 1628604 | 579 9408 31466 | 36764 36017 21 | 0.001 % |
902.02/902.37 c | 1630654 | 579 9408 31466 | 33379 30291 21 | 0.001 % |
903.32/903.62 c | 1632908 | 579 9408 31466 | 33379 32545 21 | 0.001 % |
904.72/905.06 c | 1635387 | 579 9408 31466 | 33379 31323 21 | 0.000 % |
906.13/906.48 c | 1638113 | 579 9408 31466 | 33379 30421 21 | 0.001 % |
907.72/908.04 c | 1641111 | 579 9408 31466 | 32309 30045 21 | 0.001 % |
909.22/909.56 c | 1644409 | 579 9408 31466 | 32309 30103 21 | 0.001 % |
911.02/911.39 c | 1648034 | 579 9408 31466 | 32309 30489 21 | 0.001 % |
913.32/913.61 c | 1652021 | 579 9408 31466 | 2147483647 31239 21 | 0.001 % |
915.52/915.84 c | 1656406 | 579 9408 31466 | 2147483647 35624 21 | 0.001 % |
918.92/919.23 c | 1661229 | 579 9408 31466 | 39218 36103 22 | 0.001 % |
922.82/923.15 c | 1666535 | 579 9408 31466 | 39218 35479 21 | 0.001 % |
926.92/927.26 c | 1672370 | 579 9408 31466 | 38944 34794 22 | 0.001 % |
931.21/931.53 c | 1678790 | 579 9408 31466 | 38944 34431 21 | 0.001 % |
935.21/935.50 c | 1685850 | 579 9408 31466 | 35641 35517 21 | 0.001 % |
939.51/939.83 c | 1693615 | 579 9408 31466 | 34709 33028 20 | 0.001 % |
943.92/944.22 c | 1702155 | 579 9408 31466 | 34711 32852 22 | 0.001 % |
949.12/949.46 c | 1711549 | 579 9408 31466 | 2147483647 35223 22 | 0.000 % |
956.21/956.52 c | 1721883 | 579 9408 31466 | 43675 38957 23 | 0.001 % |
963.32/963.69 c | 1733251 | 579 9408 31466 | 39816 36472 22 | 0.001 % |
970.92/971.29 c | 1745757 | 579 9408 31466 | 36413 36093 20 | 0.000 % |
977.91/978.29 c | 1759510 | 579 9408 31466 | 34645 34531 18 | 0.001 % |
985.01/985.35 c | 1774638 | 579 9408 31466 | 2147483647 32787 21 | 0.001 % |
985.11/985.40 c | 1774740 | 579 9408 31466 | 2147483647 32889 21 | 0.000 % |
985.11/985.47 c | 1774851 | 579 9408 31466 | 2147483647 33000 21 | 0.000 % |
985.21/985.52 c | 1774972 | 579 9408 31466 | 2147483647 33121 21 | 0.001 % |
985.31/985.60 c | 1775105 | 579 9408 31466 | 2147483647 33254 21 | 0.001 % |
985.31/985.68 c | 1775251 | 579 9408 31466 | 2147483647 33400 21 | 0.000 % |
985.41/985.76 c | 1775414 | 579 9408 31466 | 2147483647 33563 21 | 0.000 % |
985.51/985.83 c | 1775590 | 579 9408 31466 | 2147483647 33739 21 | 0.001 % |
985.61/985.93 c | 1775783 | 579 9408 31466 | 2147483647 33932 21 | 0.000 % |
985.71/986.03 c | 1775995 | 579 9408 31466 | 2147483647 34144 21 | 0.001 % |
985.81/986.14 c | 1776228 | 579 9408 31466 | 2147483647 34377 21 | 0.001 % |
985.91/986.29 c | 1776484 | 579 9408 31466 | 2147483647 34633 21 | 0.001 % |
986.11/986.44 c | 1776765 | 579 9408 31466 | 2147483647 34914 21 | 0.001 % |
986.31/986.63 c | 1777074 | 579 9408 31466 | 2147483647 35223 21 | 0.001 % |
986.41/986.79 c | 1777415 | 579 9408 31466 | 2147483647 35564 21 | 0.000 % |
986.61/987.00 c | 1777788 | 579 9408 31466 | 2147483647 35937 21 | 0.001 % |
986.91/987.20 c | 1778197 | 579 9408 31466 | 2147483647 36346 21 | 0.001 % |
987.10/987.42 c | 1778646 | 579 9408 31466 | 2147483647 36795 21 | 0.001 % |
987.30/987.67 c | 1779139 | 579 9408 31466 | 2147483647 37288 21 | 0.001 % |
987.60/987.94 c | 1779681 | 579 9408 31466 | 2147483647 37830 21 | 0.000 % |
987.90/988.25 c | 1780279 | 579 9408 31466 | 2147483647 38428 21 | 0.001 % |
988.20/988.58 c | 1780935 | 579 9408 31466 | 2147483647 39084 21 | 0.001 % |
988.61/988.99 c | 1781656 | 579 9408 31466 | 2147483647 39805 21 | 0.001 % |
989.00/989.39 c | 1782449 | 579 9408 31466 | 2147483647 40598 21 | 0.001 % |
989.61/989.90 c | 1783321 | 579 9408 31466 | 2147483647 41470 21 | 0.001 % |
990.00/990.38 c | 1784279 | 579 9408 31466 | 2147483647 42428 21 | 0.001 % |
990.60/990.99 c | 1785332 | 579 9408 31466 | 2147483647 43481 22 | 0.000 % |
991.40/991.70 c | 1786491 | 579 9408 31466 | 2147483647 44640 22 | 0.000 % |
992.40/992.75 c | 1787764 | 579 9408 31466 | 2147483647 45913 22 | 0.000 % |
993.50/993.89 c | 1789165 | 579 9408 31466 | 2147483647 47314 22 | 0.001 % |
994.70/995.06 c | 1790705 | 579 9408 31466 | 48149 41807 22 | 0.001 % |
995.90/996.21 c | 1792399 | 579 9408 31466 | 48149 43501 22 | 0.001 % |
997.20/997.59 c | 1794263 | 579 9408 31466 | 48149 45365 22 | 0.001 % |
998.60/998.95 c | 1796312 | 579 9408 31466 | 48149 47414 22 | 0.000 % |
1000.00/1000.31 c | 1798565 | 579 9408 31466 | 48149 41721 22 | 0.000 % |
1001.40/1001.73 c | 1801043 | 579 9408 31466 | 43156 37202 22 | 0.000 % |
1002.80/1003.19 c | 1803768 | 579 9408 31466 | 43156 39927 22 | 0.001 % |
1004.50/1004.87 c | 1806765 | 579 9408 31466 | 43156 42924 22 | 0.001 % |
1006.40/1006.79 c | 1810064 | 579 9408 31466 | 40389 40453 21 | 0.001 % |
1008.70/1009.01 c | 1813690 | 579 9408 31466 | 40389 38623 21 | 0.001 % |
1010.80/1011.19 c | 1817678 | 579 9408 31466 | 40389 36419 21 | 0.001 % |
1013.29/1013.65 c | 1822064 | 579 9408 31466 | 38743 35237 20 | 0.001 % |
1016.00/1016.35 c | 1826887 | 579 9408 31466 | 38743 35007 21 | 0.001 % |
1018.99/1019.34 c | 1832193 | 579 9408 31466 | 38121 35122 20 | 0.001 % |
1022.29/1022.61 c | 1838028 | 579 9408 31466 | 38121 35944 20 | 0.001 % |
1026.29/1026.60 c | 1844448 | 579 9408 31466 | 37916 37262 21 | 0.001 % |
1030.09/1030.47 c | 1851508 | 579 9408 31466 | 37363 33667 20 | 0.001 % |
1034.79/1035.12 c | 1859273 | 579 9408 31466 | 37363 36562 21 | 0.001 % |
1039.98/1040.31 c | 1867815 | 579 9408 31466 | 37291 35461 21 | 0.000 % |
1044.78/1045.17 c | 1877212 | 579 9408 31466 | 32822 32262 22 | 0.000 % |
1049.58/1049.99 c | 1887545 | 579 9408 31466 | 31552 29442 22 | 0.001 % |
1055.48/1055.87 c | 1898912 | 579 9408 31466 | 2147483647 37647 23 | 0.000 % |
1062.88/1063.28 c | 1911414 | 579 9408 31466 | 33008 29459 22 | 0.000 % |
1070.28/1070.68 c | 1925167 | 579 9408 31466 | 29343 27369 21 | 0.000 % |
1077.77/1078.12 c | 1940295 | 579 9408 31466 | 39001 34692 24 | 0.000 % |
1087.67/1088.07 c | 1956934 | 579 9408 31466 | 34270 32591 25 | 0.000 % |
1087.77/1088.14 c | 1957034 | 579 9408 31466 | 34270 32691 25 | 0.001 % |
1087.87/1088.21 c | 1957144 | 579 9408 31466 | 34270 32801 25 | 0.000 % |
1087.87/1088.27 c | 1957265 | 579 9408 31466 | 34270 32922 25 | 0.001 % |
1087.97/1088.35 c | 1957398 | 579 9408 31466 | 34270 33055 25 | 0.001 % |
1088.07/1088.43 c | 1957545 | 579 9408 31466 | 34270 33202 25 | 0.001 % |
1088.17/1088.50 c | 1957705 | 579 9408 31466 | 34270 33362 25 | 0.001 % |
1088.17/1088.59 c | 1957881 | 579 9408 31466 | 34270 33538 25 | 0.001 % |
1088.27/1088.68 c | 1958074 | 579 9408 31466 | 34270 33731 25 | 0.000 % |
1088.47/1088.80 c | 1958288 | 579 9408 31466 | 34270 33945 25 | 0.000 % |
1088.57/1088.93 c | 1958524 | 579 9408 31466 | 34270 34181 25 | 0.001 % |
1088.77/1089.15 c | 1958780 | 579 9408 31466 | 34270 30149 24 | 0.000 % |
1088.97/1089.30 c | 1959062 | 579 9408 31466 | 34270 30431 24 | 0.000 % |
1089.07/1089.48 c | 1959372 | 579 9408 31466 | 34270 30741 24 | 0.001 % |
1089.27/1089.64 c | 1959711 | 579 9408 31466 | 34270 31080 24 | 0.001 % |
1089.47/1089.85 c | 1960083 | 579 9408 31466 | 31369 27520 24 | 0.001 % |
1089.67/1090.04 c | 1960492 | 579 9408 31466 | 31369 27929 24 | 0.001 % |
1089.87/1090.26 c | 1960942 | 579 9408 31466 | 31369 28379 24 | 0.001 % |
1090.17/1090.50 c | 1961436 | 579 9408 31466 | 31369 28873 24 | 0.001 % |
1090.37/1090.72 c | 1961978 | 579 9408 31466 | 31369 29415 24 | 0.001 % |
1090.57/1090.99 c | 1962578 | 579 9408 31466 | 31369 30015 24 | 0.001 % |
1090.87/1091.29 c | 1963234 | 579 9408 31466 | 31369 30671 24 | 0.000 % |
1091.27/1091.65 c | 1963956 | 579 9408 31466 | 31369 31393 24 | 0.001 % |
1091.67/1092.04 c | 1964748 | 579 9408 31466 | 31369 28419 23 | 0.001 % |
1092.07/1092.47 c | 1965620 | 579 9408 31466 | 31369 29291 23 | 0.001 % |
1092.57/1092.95 c | 1966578 | 579 9408 31466 | 31369 30249 23 | 0.000 % |
1093.07/1093.47 c | 1967632 | 579 9408 31466 | 31369 31303 23 | 0.000 % |
1093.67/1094.03 c | 1968791 | 579 9408 31466 | 31369 29029 23 | 0.001 % |
1094.27/1094.68 c | 1970065 | 579 9408 31466 | 30238 30303 23 | 0.001 % |
1094.97/1095.31 c | 1971465 | 579 9408 31466 | 30238 28469 22 | 0.000 % |
1095.77/1096.11 c | 1973005 | 579 9408 31466 | 30238 30009 22 | 0.001 % |
1096.47/1096.88 c | 1974699 | 579 9408 31466 | 30238 28674 22 | 0.000 % |
1097.27/1097.70 c | 1976563 | 579 9408 31466 | 30238 27506 22 | 0.001 % |
1098.26/1098.61 c | 1978613 | 579 9408 31466 | 30238 29556 22 | 0.001 % |
1099.16/1099.60 c | 1980866 | 579 9408 31466 | 2147483647 28773 22 | 0.000 % |
1100.36/1100.79 c | 1983345 | 579 9408 31466 | 2147483647 31252 23 | 0.000 % |
1101.87/1102.27 c | 1986070 | 579 9408 31466 | 2147483647 33977 23 | 0.000 % |
1104.26/1104.69 c | 1989067 | 579 9408 31466 | 2147483647 36974 23 | 0.001 % |
1106.56/1106.95 c | 1992365 | 579 9408 31466 | 37908 35819 23 | 0.001 % |
1109.06/1109.47 c | 1995990 | 579 9408 31466 | 37908 33674 23 | 0.000 % |
1111.66/1112.08 c | 1999978 | 579 9408 31466 | 37908 37662 23 | 0.001 % |
1114.56/1114.90 c | 2004364 | 579 9408 31466 | 37684 36188 23 | 0.001 % |
1117.46/1117.88 c | 2009188 | 579 9408 31466 | 37684 35284 22 | 0.000 % |
1120.36/1120.80 c | 2014493 | 579 9408 31466 | 36097 35364 23 | 0.000 % |
1123.66/1124.09 c | 2020329 | 579 9408 31466 | 32252 28871 23 | 0.000 % |
1126.55/1126.92 c | 2026747 | 579 9408 31466 | 32252 32055 23 | 0.000 % |
1130.36/1130.71 c | 2033806 | 579 9408 31466 | 2147483647 35878 23 | 0.001 % |
1135.15/1135.56 c | 2041571 | 579 9408 31466 | 42074 37823 23 | 0.001 % |
1141.05/1141.44 c | 2050111 | 579 9408 31466 | 39007 32377 22 | 0.000 % |
1146.65/1147.09 c | 2059505 | 579 9408 31466 | 39007 34481 22 | 0.000 % |
1152.24/1152.68 c | 2069838 | 579 9408 31466 | 34976 33639 23 | 0.000 % |
1158.54/1158.96 c | 2081205 | 579 9408 31466 | 31468 29241 24 | 0.000 % |
1165.24/1165.69 c | 2093707 | 579 9408 31466 | 30651 27275 23 | 0.000 % |
1173.24/1173.62 c | 2107462 | 579 9408 31466 | 2147483647 37960 23 | 0.001 % |
1182.94/1183.33 c | 2122589 | 579 9408 31466 | 38572 34925 21 | 0.000 % |
1192.33/1192.74 c | 2139228 | 579 9408 31466 | 36616 35901 22 | 0.000 % |
1200.04/1200.40 HOME/SatELiteGTI: line 36: 22412 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832193-1242770317/watcher-1832193-1242770317 -o /tmp/evaluation-result-1832193-1242770317/solver-1832193-1242770317 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832193-1242770317.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: 1.00 1.00 0.95 3/65 22406
/proc/meminfo: memFree=1856776/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305060745 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 255373049938 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/22406/statm: 1339 235 195 169 0 50 0
[pid=22407] ppid=22406 vsize=5356 CPUtime=0
/proc/22407/stat : 22407 (SatELiteGTI) S 22406 22406 22284 0 -1 4194368 51 25 0 0 0 0 0 0 19 0 1 0 305060746 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/22407/statm: 1339 238 198 169 0 50 0
[startup+0.0706771 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 22406
/proc/meminfo: memFree=1856776/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305060745 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22406/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10168 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 22406
/proc/meminfo: memFree=1856776/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305060745 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22406/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301702 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 22406
/proc/meminfo: memFree=1856776/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356
[startup+0.701743 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 22406
/proc/meminfo: memFree=1856776/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356
[startup+1.50182 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 22412
/proc/meminfo: memFree=1855096/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=2964 CPUtime=1.36
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 424 0 0 0 136 0 0 0 25 0 1 0 305060758 3035136 410 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 741 410 76 171 0 568 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8320
[startup+3.10299 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 22412
/proc/meminfo: memFree=1854264/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=4176 CPUtime=2.96
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 729 0 0 0 296 0 0 0 25 0 1 0 305060758 4276224 715 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 1044 715 76 171 0 871 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 9532
[startup+6.30132 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 22412
/proc/meminfo: memFree=1852216/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=5764 CPUtime=6.16
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 1123 0 0 0 615 1 0 0 25 0 1 0 305060758 5902336 1109 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 1441 1109 76 171 0 1268 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11120
[startup+12.702 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 22412
/proc/meminfo: memFree=1849976/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=7844 CPUtime=12.55
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 1616 0 0 0 1254 1 0 0 25 0 1 0 305060758 8032256 1602 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 1961 1602 76 171 0 1788 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 13200
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 22412
/proc/meminfo: memFree=1848184/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=9448 CPUtime=25.35
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2013 0 0 0 2533 2 0 0 25 0 1 0 305060758 9674752 1999 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 2362 1999 76 171 0 2189 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 14804
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 22412
/proc/meminfo: memFree=1848056/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=9612 CPUtime=50.94
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2056 0 0 0 5092 2 0 0 25 0 1 0 305060758 9842688 2042 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 2403 2042 76 171 0 2230 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 14968
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 22412
/proc/meminfo: memFree=1847608/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=9956 CPUtime=102.14
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2133 0 0 0 10211 3 0 0 25 0 1 0 305060758 10194944 2119 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 2489 2119 76 171 0 2316 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 15312
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 22418
/proc/meminfo: memFree=1847032/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=10372 CPUtime=162.11
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2219 0 0 0 16208 3 0 0 25 0 1 0 305060758 10620928 2205 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 2593 2205 76 171 0 2420 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 15728
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 22418
/proc/meminfo: memFree=1846904/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=10372 CPUtime=222.1
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2241 0 0 0 22206 4 0 0 25 0 1 0 305060758 10620928 2227 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 2593 2227 76 171 0 2420 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 15728
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 22418
/proc/meminfo: memFree=1846712/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=10700 CPUtime=282.07
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2295 0 0 0 28203 4 0 0 25 0 1 0 305060758 10956800 2281 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 2675 2281 76 171 0 2502 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 16056
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 22418
/proc/meminfo: memFree=1846456/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=10700 CPUtime=342.06
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2311 0 0 0 34201 5 0 0 25 0 1 0 305060758 10956800 2297 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 2675 2297 76 171 0 2502 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 16056
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 22418
/proc/meminfo: memFree=1846200/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=10840 CPUtime=402.04
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2340 0 0 0 40199 5 0 0 25 0 1 0 305060758 11100160 2326 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 2710 2326 76 171 0 2537 0
Current children cumulated CPU time (s) 402.16
################
# More data... #
################
[pid=22412] ppid=22406 vsize=10984 CPUtime=462.04
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2379 0 0 0 46198 6 0 0 25 0 1 0 305060758 11247616 2365 1992294400 134512640 135215339 4294956240 18446744073709551615 134534179 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 2746 2365 76 171 0 2573 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 16340
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 22418
/proc/meminfo: memFree=1845752/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=11160 CPUtime=522.01
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2412 0 0 0 52195 6 0 0 25 0 1 0 305060758 11427840 2398 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 2790 2398 76 171 0 2617 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 16516
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 22418
/proc/meminfo: memFree=1845624/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=11160 CPUtime=582
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2429 0 0 0 58193 7 0 0 25 0 1 0 305060758 11427840 2415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 2790 2415 76 171 0 2617 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 16516
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 22418
/proc/meminfo: memFree=1845368/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=11332 CPUtime=641.99
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2451 0 0 0 64192 7 0 0 25 0 1 0 305060758 11603968 2437 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 2833 2437 76 171 0 2660 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 16688
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 22418
/proc/meminfo: memFree=1845112/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=11488 CPUtime=701.97
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2488 0 0 0 70190 7 0 0 25 0 1 0 305060758 11763712 2474 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 2872 2474 76 171 0 2699 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 16844
[startup+762.306 s]
/proc/loadavg: 1.05 1.01 0.95 2/67 22418
/proc/meminfo: memFree=1844920/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=11632 CPUtime=761.96
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2510 0 0 0 76188 8 0 0 25 0 1 0 305060758 11911168 2496 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 2908 2496 76 171 0 2735 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 16988
[startup+822.301 s]
/proc/loadavg: 1.07 1.02 0.96 2/67 22418
/proc/meminfo: memFree=1844600/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=11784 CPUtime=821.93
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2575 0 0 0 82185 8 0 0 25 0 1 0 305060758 12066816 2561 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 2946 2561 76 171 0 2773 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 17140
[startup+882.301 s]
/proc/loadavg: 1.13 1.05 0.97 2/67 22418
/proc/meminfo: memFree=1844408/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=11932 CPUtime=881.91
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2586 0 0 0 88183 8 0 0 25 0 1 0 305060758 12218368 2572 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 2983 2572 76 171 0 2810 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 17288
[startup+942.302 s]
/proc/loadavg: 1.13 1.07 0.98 2/67 22418
/proc/meminfo: memFree=1844152/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=12084 CPUtime=941.9
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2633 0 0 0 94181 9 0 0 25 0 1 0 305060758 12374016 2619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 3021 2619 76 171 0 2848 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 17440
[startup+1002.3 s]
/proc/loadavg: 1.10 1.07 0.98 2/67 22418
/proc/meminfo: memFree=1844024/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=12224 CPUtime=1001.88
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2650 0 0 0 100179 9 0 0 25 0 1 0 305060758 12517376 2636 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 3056 2636 76 171 0 2883 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 17580
[startup+1062.3 s]
/proc/loadavg: 1.04 1.05 0.98 2/67 22418
/proc/meminfo: memFree=1843768/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=12224 CPUtime=1061.86
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2676 0 0 0 106177 9 0 0 25 0 1 0 305060758 12517376 2662 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 3056 2662 76 171 0 2883 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 17580
[startup+1122.3 s]
/proc/loadavg: 1.01 1.04 0.98 2/67 22418
/proc/meminfo: memFree=1843512/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=12516 CPUtime=1121.84
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2723 0 0 0 112175 9 0 0 25 0 1 0 305060758 12816384 2709 1992294400 134512640 135215339 4294956240 18446744073709551615 134538490 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 3129 2709 76 171 0 2956 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 17872
[startup+1182.3 s]
/proc/loadavg: 1.00 1.03 0.98 2/67 22418
/proc/meminfo: memFree=1843320/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=12656 CPUtime=1181.82
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2767 0 0 0 118173 9 0 0 25 0 1 0 305060758 12959744 2753 1992294400 134512640 135215339 4294956240 18446744073709551615 134528669 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 3164 2753 76 171 0 2991 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 18012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.03 0.98 2/67 22418
/proc/meminfo: memFree=1843256/2055912 swapFree=4170592/4192956
[pid=22406] ppid=22404 vsize=5356 CPUtime=0.12
/proc/22406/stat : 22406 (SatELiteGTI) S 22404 22406 22284 0 -1 4194304 336 680 0 0 0 0 12 0 16 0 1 0 305060745 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22406/statm: 1339 239 197 169 0 50 0
[pid=22412] ppid=22406 vsize=12800 CPUtime=1199.92
/proc/22412/stat : 22412 (minisat_static) R 22406 22406 22284 0 -1 4194304 2780 0 0 0 119983 9 0 0 25 0 1 0 305060758 13107200 2766 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22412/statm: 3200 2766 76 171 0 3027 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 18156
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.41
CPU time (s): 1200.06
CPU user time (s): 1199.96
CPU system time (s): 0.106983
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 18156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.96
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3827
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= 32
involuntary context switches= 2654
runsolver used 1.20382 second user time and 3.2745 second system time
The end
Begin job on node78 at 2009-05-19 23:58:37
IDJOB=1832193
IDBENCH=24617
IDSOLVER=671
FILE ID=node78/1832193-1242770317
PBS_JOBID= 9322225
Free space on /tmp= 126664 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832193-1242770317/watcher-1832193-1242770317 -o /tmp/evaluation-result-1832193-1242770317/solver-1832193-1242770317 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832193-1242770317.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 71878da25e778158aa56312337016eac
RANDOM SEED=1529062131
node78.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.243
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.243
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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055912 kB
MemFree: 1857256 kB
Buffers: 11176 kB
Cached: 139816 kB
SwapCached: 15676 kB
Active: 30684 kB
Inactive: 137576 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055912 kB
LowFree: 1857256 kB
SwapTotal: 4192956 kB
SwapFree: 4170592 kB
Dirty: 1720 kB
Writeback: 0 kB
Mapped: 14124 kB
Slab: 16164 kB
Committed_AS: 830300 kB
PageTables: 1432 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126664 MiB
End job on node78 at 2009-05-20 00:18:40