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 | 8400 25200 | 2519 0 0 nan | 0.000 % |
0.00/0.03 c | 0 | 8355 25351 | -- 0 -- -- | -- | -45/151
0.00/0.03 c ==============================================================================
0.00/0.03 c Result : #vars: 1952 #clauses: 8355 #literals: 25351
0.00/0.03 c CPU time: 0.023996 s
0.00/0.03 c ==============================================================================
0.00/0.04 c This is MiniSat 2.0 beta
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Number of variables: 1952 |
0.00/0.04 c | Number of clauses: 8355 |
0.00/0.04 c | Parsing time: 0.00 s |
0.00/0.04 c ============================[ Search Statistics ]==============================
0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.04 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.04 c ===============================================================================
0.00/0.04 c | 0 | 1952 8355 25351 | 2785 0 nan | 0.000 % |
0.00/0.05 c | 103 | 1952 8355 25351 | 2785 103 62 | 0.000 % |
0.00/0.06 c | 203 | 1952 8355 25351 | 2785 203 58 | 0.000 % |
0.00/0.07 c | 303 | 1952 8355 25351 | 2785 303 55 | 0.000 % |
0.00/0.07 c | 413 | 1952 8355 25351 | 2785 413 54 | 0.000 % |
0.00/0.08 c | 514 | 1952 8355 25351 | 2785 514 56 | 0.000 % |
0.03/0.09 c | 624 | 1952 8355 25351 | 2785 624 55 | 0.000 % |
0.03/0.10 c | 745 | 1952 8355 25351 | 2785 745 55 | 0.000 % |
0.03/0.11 c | 845 | 1952 8355 25351 | 2785 845 56 | 0.000 % |
0.03/0.11 c | 956 | 1952 8355 25351 | 2785 956 56 | 0.000 % |
0.03/0.12 c | 1079 | 1952 8355 25351 | 2785 1079 57 | 0.000 % |
0.03/0.14 c | 1212 | 1952 8355 25351 | 2785 1212 58 | 0.000 % |
0.03/0.14 c | 1312 | 1952 8355 25351 | 2785 1312 58 | 0.000 % |
0.03/0.15 c | 1422 | 1952 8355 25351 | 2785 1422 58 | 0.000 % |
0.03/0.16 c | 1544 | 1952 8355 25351 | 2785 1544 58 | 0.000 % |
0.03/0.17 c | 1679 | 1952 8355 25351 | 2785 1679 58 | 0.000 % |
0.03/0.18 c | 1826 | 1952 8355 25351 | 2785 1826 58 | 0.000 % |
0.03/0.19 c | 1926 | 1952 8355 25351 | 2785 1926 58 | 0.000 % |
0.03/0.20 c | 2036 | 1952 8355 25351 | 2785 2036 58 | 0.000 % |
0.03/0.21 c | 2158 | 1952 8355 25351 | 2785 2158 57 | 0.000 % |
0.03/0.22 c | 2293 | 1952 8355 25351 | 2785 2293 58 | 0.000 % |
0.03/0.23 c | 2439 | 1952 8355 25351 | 2785 2439 58 | 0.000 % |
0.03/0.25 c | 2600 | 1952 8355 25351 | 2785 2600 58 | 0.000 % |
0.03/0.25 c | 2701 | 1952 8355 25351 | 2785 2701 58 | 0.000 % |
0.03/0.26 c | 2812 | 1952 8355 25351 | 2785 2812 58 | 0.000 % |
0.03/0.27 c | 2933 | 1952 8355 25351 | 2785 2652 57 | 0.000 % |
0.03/0.29 c | 3066 | 1952 8355 25351 | 2785 2785 57 | 0.000 % |
0.03/0.30 c | 3212 | 1952 8355 25351 | 2785 2653 57 | 0.000 % |
0.03/0.31 c | 3373 | 1952 8355 25351 | 2785 2814 57 | 0.000 % |
0.03/0.33 c | 3549 | 1952 8355 25351 | 2785 2709 57 | 0.000 % |
0.03/0.34 c | 3650 | 1952 8355 25351 | 2785 2810 57 | 0.000 % |
0.03/0.35 c | 3760 | 1952 8355 25351 | 2785 2639 56 | 0.000 % |
0.03/0.36 c | 3882 | 1952 8355 25351 | 2785 2761 56 | 0.000 % |
0.03/0.37 c | 4015 | 1952 8355 25351 | 2785 2894 56 | 0.000 % |
0.03/0.38 c | 4164 | 1952 8355 25351 | 2785 2754 56 | 0.000 % |
0.03/0.40 c | 4324 | 1952 8355 25351 | 2785 2914 56 | 0.000 % |
0.03/0.41 c | 4500 | 1952 8355 25351 | 2785 2799 56 | 0.000 % |
0.03/0.43 c | 4695 | 1952 8355 25351 | 2785 2715 57 | 0.000 % |
0.03/0.44 c | 4796 | 1952 8355 25351 | 2785 2816 57 | 0.000 % |
0.03/0.45 c | 4907 | 1952 8355 25351 | 2785 2646 57 | 0.000 % |
0.03/0.46 c | 5028 | 1952 8355 25351 | 2785 2767 57 | 0.000 % |
0.03/0.47 c | 5161 | 1952 8355 25351 | 2785 2900 57 | 0.000 % |
0.03/0.48 c | 5307 | 1952 8355 25351 | 2785 2756 57 | 0.000 % |
0.03/0.50 c | 5467 | 1952 8355 25351 | 2785 2916 58 | 0.000 % |
0.03/0.51 c | 5644 | 1952 8355 25351 | 2785 2802 57 | 0.000 % |
0.03/0.53 c | 5838 | 1952 8355 25351 | 2785 2716 58 | 0.000 % |
0.03/0.55 c | 6050 | 1952 8355 25351 | 2785 2928 58 | 0.000 % |
0.03/0.56 c | 6151 | 1952 8355 25351 | 2785 2737 57 | 0.000 % |
0.03/0.57 c | 6261 | 1952 8355 25351 | 2785 2847 57 | 0.000 % |
0.03/0.58 c | 6382 | 1952 8355 25351 | 2785 2684 57 | 0.000 % |
0.03/0.59 c | 6516 | 1952 8355 25351 | 2785 2818 57 | 0.000 % |
0.03/0.60 c | 6662 | 1952 8355 25351 | 2785 2683 57 | 0.000 % |
0.03/0.62 c | 6824 | 1952 8355 25351 | 2785 2845 57 | 0.000 % |
0.03/0.63 c | 7001 | 1952 8355 25351 | 2785 2738 57 | 0.000 % |
0.03/0.65 c | 7195 | 1952 8355 25351 | 2785 2932 57 | 0.000 % |
0.03/0.67 c | 7407 | 1952 8355 25351 | 2785 2851 57 | 0.000 % |
0.03/0.69 c | 7642 | 1952 8355 25351 | 2785 2801 58 | 0.000 % |
0.03/0.70 c | 7742 | 1952 8355 25351 | 2785 2621 58 | 0.000 % |
0.03/0.71 c | 7852 | 1952 8355 25351 | 2785 2731 58 | 0.000 % |
0.03/0.72 c | 7974 | 1952 8355 25351 | 2785 2853 57 | 0.000 % |
0.03/0.73 c | 8107 | 1952 8355 25351 | 2785 2701 57 | 0.000 % |
0.03/0.74 c | 8255 | 1952 8355 25351 | 2785 2849 58 | 0.000 % |
0.03/0.76 c | 8415 | 1952 8355 25351 | 2785 2725 57 | 0.000 % |
0.03/0.77 c | 8592 | 1952 8355 25351 | 2785 2902 57 | 0.000 % |
0.03/0.79 c | 8787 | 1952 8355 25351 | 2785 2807 56 | 0.000 % |
0.03/0.81 c | 9000 | 1952 8355 25351 | 2785 2740 57 | 0.000 % |
0.03/0.83 c | 9233 | 1952 8355 25351 | 2785 2973 57 | 0.000 % |
0.03/0.85 c | 9489 | 1952 8355 25351 | 2785 2932 58 | 0.000 % |
0.03/0.86 c | 9591 | 1952 8355 25351 | 2785 2741 58 | 0.000 % |
0.03/0.87 c | 9702 | 1952 8355 25351 | 2785 2852 57 | 0.000 % |
0.03/0.88 c | 9823 | 1952 8355 25351 | 2785 2688 57 | 0.000 % |
0.03/0.89 c | 9956 | 1952 8355 25351 | 2785 2821 57 | 0.000 % |
0.03/0.91 c | 10103 | 1952 8355 25351 | 2147483647 2686 56 | 0.000 % |
0.03/0.92 c | 10263 | 1952 8355 25351 | 2147483647 2846 57 | 0.000 % |
0.03/0.94 c | 10439 | 1952 8355 25351 | 2147483647 3022 57 | 0.000 % |
0.03/0.95 c | 10633 | 1952 8355 25351 | 2147483647 3216 57 | 0.000 % |
0.03/0.97 c | 10845 | 1952 8355 25351 | 2147483647 3428 57 | 0.000 % |
0.03/0.99 c | 11079 | 1952 8355 25351 | 2147483647 3662 57 | 0.000 % |
0.99/1.01 c | 11336 | 1952 8355 25351 | 2147483647 3919 58 | 0.000 % |
0.99/1.04 c | 11619 | 1952 8355 25351 | 2147483647 4202 59 | 0.000 % |
0.99/1.05 c | 11719 | 1952 8355 25351 | 2147483647 4302 59 | 0.000 % |
0.99/1.06 c | 11830 | 1952 8355 25351 | 2147483647 4413 59 | 0.000 % |
0.99/1.07 c | 11951 | 1952 8355 25351 | 2147483647 4534 59 | 0.000 % |
0.99/1.08 c | 12088 | 1952 8355 25351 | 2147483647 4671 59 | 0.000 % |
0.99/1.10 c | 12234 | 1952 8355 25351 | 2147483647 4817 59 | 0.000 % |
1.08/1.11 c | 12394 | 1952 8355 25351 | 2147483647 4977 59 | 0.000 % |
1.08/1.13 c | 12575 | 1952 8355 25351 | 2147483647 5158 59 | 0.000 % |
1.08/1.15 c | 12768 | 1952 8355 25351 | 2147483647 5351 60 | 0.000 % |
1.08/1.17 c | 12982 | 1952 8355 25351 | 2147483647 5565 60 | 0.000 % |
1.18/1.20 c | 13215 | 1952 8355 25351 | 2147483647 5798 60 | 0.000 % |
1.18/1.22 c | 13472 | 1952 8355 25351 | 2147483647 6055 61 | 0.000 % |
1.18/1.25 c | 13756 | 1952 8355 25351 | 2147483647 6339 61 | 0.000 % |
1.18/1.28 c | 14065 | 1952 8355 25351 | 2147483647 6648 61 | 0.000 % |
1.18/1.30 c | 14166 | 1952 8355 25351 | 2147483647 6749 61 | 0.000 % |
1.28/1.31 c | 14278 | 1952 8355 25351 | 2147483647 6861 61 | 0.000 % |
1.28/1.32 c | 14400 | 1952 8355 25351 | 2147483647 6983 61 | 0.000 % |
1.28/1.33 c | 14533 | 1952 8355 25351 | 2147483647 7116 61 | 0.000 % |
1.28/1.35 c | 14681 | 1952 8355 25351 | 2147483647 7264 61 | 0.000 % |
1.28/1.37 c | 14841 | 1952 8355 25351 | 2147483647 7424 61 | 0.000 % |
1.28/1.39 c | 15017 | 1952 8355 25351 | 2147483647 7600 61 | 0.000 % |
1.38/1.41 c | 15211 | 1952 8355 25351 | 2147483647 7794 61 | 0.000 % |
1.38/1.43 c | 15423 | 1952 8355 25351 | 2147483647 8006 61 | 0.000 % |
1.38/1.46 c | 15656 | 1952 8355 25351 | 2147483647 8239 61 | 0.000 % |
1.38/1.49 c | 15912 | 1952 8355 25351 | 2147483647 8495 61 | 0.000 % |
1.48/1.52 c | 16197 | 1952 8355 25351 | 2147483647 8780 62 | 0.000 % |
1.48/1.56 c | 16506 | 1952 8355 25351 | 2147483647 9089 62 | 0.000 % |
1.58/1.60 c | 16847 | 1952 8355 25351 | 2147483647 9430 62 | 0.000 % |
1.58/1.61 c | 16950 | 1952 8355 25351 | 2147483647 9533 62 | 0.000 % |
1.58/1.63 c | 17060 | 1952 8355 25351 | 2147483647 9643 62 | 0.000 % |
1.58/1.64 c | 17184 | 1952 8355 25351 | 2147483647 9767 62 | 0.000 % |
1.58/1.66 c | 17319 | 1952 8355 25351 | 2147483647 9902 62 | 0.000 % |
1.58/1.68 c | 17467 | 1952 8355 25351 | 2147483647 10050 62 | 0.000 % |
1.68/1.70 c | 17627 | 1952 8355 25351 | 2147483647 10210 62 | 0.000 % |
1.68/1.72 c | 17804 | 1952 8355 25351 | 2147483647 10387 62 | 0.000 % |
1.68/1.75 c | 17997 | 1952 8355 25351 | 2147483647 10580 62 | 0.000 % |
1.68/1.77 c | 18209 | 1952 8355 25351 | 2147483647 10792 62 | 0.000 % |
1.78/1.80 c | 18442 | 1952 8355 25351 | 2147483647 11025 62 | 0.000 % |
1.78/1.84 c | 18700 | 1952 8355 25351 | 2147483647 11283 62 | 0.000 % |
1.78/1.87 c | 18982 | 1952 8355 25351 | 2147483647 11565 62 | 0.000 % |
1.88/1.91 c | 19291 | 1952 8355 25351 | 2147483647 11874 62 | 0.000 % |
1.88/1.95 c | 19630 | 1952 8355 25351 | 2147483647 12213 62 | 0.000 % |
1.98/2.00 c | 20002 | 1952 8355 25351 | 2147483647 12585 62 | 0.000 % |
1.98/2.01 c | 20103 | 1952 8355 25351 | 2147483647 12686 62 | 0.000 % |
1.98/2.03 c | 20214 | 1952 8355 25351 | 2147483647 12797 62 | 0.000 % |
1.98/2.05 c | 20336 | 1952 8355 25351 | 2147483647 12919 62 | 0.000 % |
1.98/2.07 c | 20472 | 1952 8355 25351 | 2147483647 13055 62 | 0.000 % |
1.98/2.09 c | 20619 | 1952 8355 25351 | 2147483647 13202 62 | 0.000 % |
2.08/2.11 c | 20779 | 1952 8355 25351 | 2147483647 13362 62 | 0.000 % |
2.08/2.14 c | 20955 | 1952 8355 25351 | 2147483647 13538 62 | 0.000 % |
2.08/2.17 c | 21149 | 1952 8355 25351 | 2147483647 13732 62 | 0.000 % |
2.08/2.20 c | 21361 | 1952 8355 25351 | 2147483647 13944 62 | 0.000 % |
2.18/2.23 c | 21595 | 1952 8355 25351 | 2147483647 14178 62 | 0.000 % |
2.18/2.26 c | 21851 | 1952 8355 25351 | 2147483647 14434 62 | 0.000 % |
2.28/2.30 c | 22133 | 1952 8355 25351 | 2147483647 14716 62 | 0.000 % |
2.28/2.35 c | 22443 | 1952 8355 25351 | 2147483647 15026 62 | 0.000 % |
2.37/2.40 c | 22782 | 1952 8355 25351 | 2147483647 15365 62 | 0.000 % |
2.37/2.46 c | 23154 | 1952 8355 25351 | 2147483647 15737 62 | 0.000 % |
2.47/2.52 c | 23563 | 1952 8355 25351 | 2147483647 16146 62 | 0.000 % |
2.47/2.53 c | 23664 | 1952 8355 25351 | 2147483647 16247 62 | 0.000 % |
2.47/2.55 c | 23774 | 1952 8355 25351 | 2147483647 16357 62 | 0.000 % |
2.47/2.57 c | 23899 | 1952 8355 25351 | 2147483647 16482 62 | 0.000 % |
2.47/2.59 c | 24032 | 1952 8355 25351 | 2147483647 16615 62 | 0.000 % |
2.57/2.62 c | 24178 | 1952 8355 25351 | 2147483647 16761 62 | 0.000 % |
2.57/2.64 c | 24339 | 1952 8355 25351 | 2147483647 16922 62 | 0.000 % |
2.57/2.67 c | 24515 | 1952 8355 25351 | 2147483647 17098 62 | 0.000 % |
2.67/2.71 c | 24708 | 1952 8355 25351 | 2147483647 17291 62 | 0.000 % |
2.67/2.74 c | 24924 | 1952 8355 25351 | 2147483647 17507 62 | 0.000 % |
2.67/2.78 c | 25157 | 1952 8355 25351 | 2147483647 17740 62 | 0.000 % |
2.77/2.83 c | 25414 | 1952 8355 25351 | 2147483647 17997 62 | 0.000 % |
2.77/2.88 c | 25695 | 1952 8355 25351 | 2147483647 18278 62 | 0.000 % |
2.87/2.93 c | 26004 | 1952 8355 25351 | 2147483647 18587 62 | 0.000 % |
2.87/2.99 c | 26344 | 1952 8355 25351 | 2147483647 18927 62 | 0.000 % |
2.98/3.05 c | 26717 | 1952 8355 25351 | 2147483647 19300 62 | 0.000 % |
3.08/3.13 c | 27127 | 1952 8355 25351 | 2147483647 19710 62 | 0.000 % |
3.19/3.21 c | 27577 | 1952 8355 25351 | 2147483647 20160 62 | 0.000 % |
3.19/3.23 c | 27677 | 1952 8355 25351 | 2147483647 20260 62 | 0.000 % |
3.19/3.25 c | 27788 | 1952 8355 25351 | 2147483647 20371 62 | 0.000 % |
3.19/3.28 c | 27909 | 1952 8355 25351 | 2147483647 20492 62 | 0.000 % |
3.29/3.30 c | 28044 | 1952 8355 25351 | 2147483647 20627 62 | 0.000 % |
3.29/3.33 c | 28191 | 1952 8355 25351 | 2147483647 20774 62 | 0.000 % |
3.29/3.36 c | 28351 | 1952 8355 25351 | 2147483647 20934 62 | 0.000 % |
3.38/3.40 c | 28528 | 1952 8355 25351 | 2147483647 21111 62 | 0.000 % |
3.38/3.43 c | 28721 | 1952 8355 25351 | 2147483647 21304 62 | 0.000 % |
3.38/3.47 c | 28934 | 1952 8355 25351 | 2147483647 21517 62 | 0.000 % |
3.48/3.52 c | 29168 | 1952 8355 25351 | 2147483647 21751 62 | 0.000 % |
3.48/3.57 c | 29427 | 1952 8355 25351 | 2147483647 22010 62 | 0.000 % |
3.58/3.62 c | 29710 | 1952 8355 25351 | 2147483647 22293 62 | 0.000 % |
3.58/3.68 c | 30021 | 1952 8355 25351 | 2147483647 22604 62 | 0.000 % |
3.68/3.75 c | 30362 | 1952 8355 25351 | 2147483647 22945 62 | 0.000 % |
3.78/3.83 c | 30738 | 1952 8355 25351 | 2147483647 23321 62 | 0.000 % |
3.88/3.91 c | 31148 | 1952 8355 25351 | 2147483647 23731 63 | 0.000 % |
3.98/4.00 c | 31599 | 1952 8355 25351 | 2147483647 24182 62 | 0.000 % |
4.08/4.10 c | 32092 | 1952 8355 25351 | 2147483647 24675 62 | 0.000 % |
4.08/4.13 c | 32192 | 1952 8355 25351 | 2147483647 24775 62 | 0.000 % |
4.08/4.16 c | 32304 | 1952 8355 25351 | 2147483647 24887 62 | 0.000 % |
4.08/4.18 c | 32426 | 1952 8355 25351 | 2147483647 25009 62 | 0.000 % |
4.18/4.21 c | 32559 | 1952 8355 25351 | 2147483647 25142 62 | 0.000 % |
4.18/4.25 c | 32705 | 1952 8355 25351 | 2147483647 25288 62 | 0.000 % |
4.18/4.29 c | 32865 | 1952 8355 25351 | 2147483647 25448 62 | 0.000 % |
4.28/4.33 c | 33042 | 1952 8355 25351 | 2147483647 25625 63 | 0.000 % |
4.28/4.37 c | 33235 | 1952 8355 25351 | 2147483647 25818 63 | 0.000 % |
4.38/4.42 c | 33448 | 1952 8355 25351 | 2147483647 26031 63 | 0.000 % |
4.38/4.47 c | 33681 | 1952 8355 25351 | 2147483647 26264 62 | 0.000 % |
4.48/4.53 c | 33938 | 1952 8355 25351 | 2147483647 26521 62 | 0.000 % |
4.48/4.59 c | 34219 | 1952 8355 25351 | 2147483647 26802 62 | 0.000 % |
4.58/4.66 c | 34528 | 1952 8355 25351 | 2147483647 27111 63 | 0.000 % |
4.68/4.74 c | 34867 | 1952 8355 25351 | 2147483647 27450 63 | 0.000 % |
4.78/4.83 c | 35240 | 1952 8355 25351 | 2147483647 27823 63 | 0.000 % |
4.88/4.94 c | 35652 | 1952 8355 25351 | 2147483647 28235 63 | 0.000 % |
4.98/5.04 c | 36101 | 1952 8355 25351 | 2147483647 28684 63 | 0.000 % |
5.08/5.16 c | 36594 | 1952 8355 25351 | 2147483647 29177 63 | 0.000 % |
5.18/5.29 c | 37138 | 1952 8355 25351 | 2147483647 29721 63 | 0.000 % |
5.28/5.32 c | 37238 | 1952 8355 25351 | 2147483647 29821 63 | 0.000 % |
5.28/5.35 c | 37350 | 1952 8355 25351 | 2147483647 29933 63 | 0.000 % |
5.28/5.38 c | 37471 | 1952 8355 25351 | 2147483647 30054 63 | 0.000 % |
5.38/5.42 c | 37605 | 1952 8355 25351 | 2147483647 30188 63 | 0.000 % |
5.38/5.46 c | 37751 | 1952 8355 25351 | 2147483647 30334 63 | 0.000 % |
5.48/5.50 c | 37911 | 1952 8355 25351 | 2147483647 30494 63 | 0.000 % |
5.48/5.55 c | 38088 | 1952 8355 25351 | 2147483647 30671 63 | 0.000 % |
5.58/5.60 c | 38281 | 1952 8355 25351 | 2147483647 30864 63 | 0.000 % |
5.58/5.66 c | 38494 | 1952 8355 25351 | 2147483647 31077 63 | 0.000 % |
5.68/5.71 c | 38727 | 1952 8355 25351 | 2147483647 31310 63 | 0.000 % |
5.68/5.78 c | 38983 | 1952 8355 25351 | 2147483647 31566 63 | 0.000 % |
5.78/5.87 c | 39265 | 1952 8355 25351 | 2147483647 31848 63 | 0.000 % |
5.87/5.94 c | 39575 | 1952 8355 25351 | 2147483647 32158 63 | 0.000 % |
5.97/6.04 c | 39915 | 1952 8355 25351 | 2147483647 32498 63 | 0.000 % |
6.08/6.14 c | 40287 | 1952 8355 25351 | 2147483647 32870 63 | 0.000 % |
6.18/6.26 c | 40697 | 1952 8355 25351 | 2147483647 33280 63 | 0.000 % |
6.28/6.38 c | 41146 | 1952 8355 25351 | 2147483647 33729 63 | 0.000 % |
6.49/6.50 c | 41640 | 1952 8355 25351 | 2147483647 34223 63 | 0.000 % |
6.59/6.65 c | 42183 | 1952 8355 25351 | 2147483647 34766 63 | 0.000 % |
6.78/6.81 c | 42779 | 1952 8355 25351 | 2147483647 35362 63 | 0.000 % |
6.78/6.84 c | 42881 | 1952 8355 25351 | 2147483647 35464 63 | 0.000 % |
6.78/6.88 c | 42992 | 1952 8355 25351 | 2147483647 35575 63 | 0.000 % |
6.88/6.91 c | 43114 | 1952 8355 25351 | 2147483647 35697 63 | 0.000 % |
6.88/6.95 c | 43248 | 1952 8355 25351 | 2147483647 35831 63 | 0.000 % |
6.98/7.00 c | 43394 | 1952 8355 25351 | 2147483647 35977 63 | 0.000 % |
6.98/7.05 c | 43554 | 1952 8355 25351 | 2147483647 36137 63 | 0.000 % |
7.08/7.11 c | 43730 | 1952 8355 25351 | 2147483647 36313 63 | 0.000 % |
7.08/7.17 c | 43923 | 1952 8355 25351 | 2147483647 36506 63 | 0.000 % |
7.18/7.23 c | 44136 | 1952 8355 25351 | 2147483647 36719 63 | 0.000 % |
7.28/7.31 c | 44369 | 1952 8355 25351 | 2147483647 36952 63 | 0.000 % |
7.28/7.38 c | 44626 | 1952 8355 25351 | 2147483647 37209 63 | 0.000 % |
7.38/7.47 c | 44910 | 1952 8355 25351 | 2147483647 37493 63 | 0.000 % |
7.48/7.57 c | 45222 | 1952 8355 25351 | 2147483647 37805 63 | 0.000 % |
7.58/7.68 c | 45562 | 1952 8355 25351 | 2147483647 38145 63 | 0.000 % |
7.78/7.81 c | 45934 | 1952 8355 25351 | 2147483647 38517 63 | 0.000 % |
7.88/7.94 c | 46343 | 1952 8355 25351 | 2147483647 38926 63 | 0.000 % |
7.98/8.08 c | 46793 | 1952 8355 25351 | 2147483647 39376 63 | 0.000 % |
8.18/8.23 c | 47286 | 1952 8355 25351 | 2147483647 39869 63 | 0.000 % |
8.38/8.41 c | 47828 | 1952 8355 25351 | 2147483647 40411 63 | 0.000 % |
8.58/8.60 c | 48425 | 1952 8355 25351 | 2147483647 41008 63 | 0.000 % |
8.78/8.82 c | 49080 | 1952 8355 25351 | 2147483647 41663 63 | 0.000 % |
8.78/8.86 c | 49180 | 1952 8355 25351 | 2147483647 41763 63 | 0.000 % |
8.88/8.90 c | 49293 | 1952 8355 25351 | 2147483647 41876 63 | 0.000 % |
8.88/8.94 c | 49416 | 1952 8355 25351 | 2147483647 41999 63 | 0.000 % |
8.88/9.00 c | 49549 | 1952 8355 25351 | 2147483647 42132 63 | 0.000 % |
8.98/9.06 c | 49700 | 1952 8355 25351 | 2147483647 42283 63 | 0.000 % |
9.08/9.12 c | 49860 | 1952 8355 25351 | 2147483647 42443 63 | 0.000 % |
9.08/9.18 c | 50038 | 1952 8355 25351 | 2147483647 42621 63 | 0.000 % |
9.17/9.25 c | 50231 | 1952 8355 25351 | 2147483647 42814 63 | 0.000 % |
9.27/9.33 c | 50444 | 1952 8355 25351 | 2147483647 43027 63 | 0.000 % |
9.37/9.41 c | 50678 | 1952 8355 25351 | 2147483647 43261 63 | 0.000 % |
9.37/9.49 c | 50934 | 1952 8355 25351 | 2147483647 43517 63 | 0.000 % |
9.47/9.60 c | 51217 | 1952 8355 25351 | 2147483647 43800 63 | 0.000 % |
9.67/9.70 c | 51526 | 1952 8355 25351 | 2147483647 44109 63 | 0.000 % |
9.78/9.83 c | 51867 | 1952 8355 25351 | 2147483647 44450 63 | 0.000 % |
9.88/9.96 c | 52240 | 1952 8355 25351 | 2147483647 44823 63 | 0.000 % |
10.08/10.10 c | 52649 | 1952 8355 25351 | 2147483647 45232 63 | 0.000 % |
10.18/10.26 c | 53099 | 1952 8355 25351 | 2147483647 45682 63 | 0.000 % |
10.38/10.44 c | 53592 | 1952 8355 25351 | 2147483647 46175 63 | 0.000 % |
10.58/10.64 c | 54135 | 1952 8355 25351 | 2147483647 46718 63 | 0.000 % |
10.78/10.86 c | 54731 | 1952 8355 25351 | 2147483647 47314 63 | 0.000 % |
11.08/11.11 c | 55386 | 1952 8355 25351 | 2147483647 47969 63 | 0.000 % |
11.28/11.37 c | 56107 | 1952 8355 25351 | 2147483647 48690 64 | 0.000 % |
11.38/11.41 c | 56209 | 1952 8355 25351 | 2147483647 48792 64 | 0.000 % |
11.38/11.46 c | 56319 | 1952 8355 25351 | 2147483647 48902 64 | 0.000 % |
11.48/11.51 c | 56440 | 1952 8355 25351 | 2147483647 49023 64 | 0.000 % |
11.48/11.57 c | 56574 | 1952 8355 25351 | 2147483647 49157 64 | 0.000 % |
11.58/11.64 c | 56721 | 1952 8355 25351 | 2147483647 49304 64 | 0.000 % |
11.68/11.71 c | 56882 | 1952 8355 25351 | 2147483647 49465 64 | 0.000 % |
11.68/11.78 c | 57058 | 1952 8355 25351 | 2147483647 49641 64 | 0.000 % |
11.78/11.88 c | 57251 | 1952 8355 25351 | 2147483647 49834 64 | 0.000 % |
11.88/11.97 c | 57465 | 1952 8355 25351 | 2147483647 50048 64 | 0.000 % |
11.98/12.06 c | 57698 | 1952 8355 25351 | 2147483647 50281 64 | 0.000 % |
12.08/12.17 c | 57954 | 1952 8355 25351 | 2147483647 50537 64 | 0.000 % |
12.18/12.29 c | 58237 | 1952 8355 25351 | 2147483647 50820 64 | 0.000 % |
12.38/12.41 c | 58548 | 1952 8355 25351 | 2147483647 51131 64 | 0.000 % |
12.48/12.57 c | 58887 | 1952 8355 25351 | 2147483647 51470 64 | 0.000 % |
12.68/12.72 c | 59259 | 1952 8355 25351 | 2147483647 51842 64 | 0.000 % |
12.78/12.89 c | 59669 | 1952 8355 25351 | 2147483647 52252 64 | 0.000 % |
12.97/13.07 c | 60119 | 1952 8355 25351 | 2147483647 52702 64 | 0.000 % |
13.18/13.28 c | 60614 | 1952 8355 25351 | 2147483647 53197 64 | 0.000 % |
13.48/13.53 c | 61158 | 1952 8355 25351 | 2147483647 53741 64 | 0.000 % |
13.68/13.77 c | 61756 | 1952 8355 25351 | 2147483647 54339 64 | 0.000 % |
13.98/14.05 c | 62411 | 1952 8355 25351 | 2147483647 54994 64 | 0.000 % |
14.28/14.39 c | 63136 | 1952 8355 25351 | 2147483647 55719 64 | 0.000 % |
14.67/14.73 c | 63928 | 1952 8355 25351 | 2147483647 56511 64 | 0.000 % |
14.67/14.77 c | 64029 | 1952 8355 25351 | 2147483647 56612 64 | 0.000 % |
14.77/14.84 c | 64140 | 1952 8355 25351 | 2147483647 56723 64 | 0.000 % |
14.77/14.90 c | 64263 | 1952 8355 25351 | 2147483647 56846 64 | 0.000 % |
14.87/14.97 c | 64396 | 1952 8355 25351 | 2147483647 56979 64 | 0.000 % |
14.97/15.04 c | 64544 | 1952 8355 25351 | 2147483647 57127 64 | 0.000 % |
15.07/15.13 c | 64706 | 1952 8355 25351 | 2147483647 57289 64 | 0.000 % |
15.17/15.21 c | 64882 | 1952 8355 25351 | 2147483647 57465 64 | 0.000 % |
15.28/15.31 c | 65076 | 1952 8355 25351 | 2147483647 57659 64 | 0.000 % |
15.38/15.43 c | 65289 | 1952 8355 25351 | 2147483647 57872 64 | 0.000 % |
15.47/15.55 c | 65522 | 1952 8355 25351 | 2147483647 58105 64 | 0.000 % |
15.57/15.69 c | 65778 | 1952 8355 25351 | 2147483647 58361 64 | 0.000 % |
15.77/15.82 c | 66059 | 1952 8355 25351 | 2147483647 58642 64 | 0.000 % |
15.87/15.98 c | 66368 | 1952 8355 25351 | 2147483647 58951 64 | 0.000 % |
16.07/16.17 c | 66709 | 1952 8355 25351 | 2147483647 59292 64 | 0.000 % |
16.28/16.38 c | 67081 | 1952 8355 25351 | 2147483647 59664 64 | 0.000 % |
16.58/16.60 c | 67490 | 1952 8355 25351 | 2147483647 60073 64 | 0.000 % |
16.68/16.80 c | 67939 | 1952 8355 25351 | 2147483647 60522 64 | 0.000 % |
16.98/17.03 c | 68434 | 1952 8355 25351 | 2147483647 61017 64 | 0.000 % |
17.18/17.29 c | 68976 | 1952 8355 25351 | 2147483647 61559 64 | 0.000 % |
17.58/17.62 c | 69572 | 1952 8355 25351 | 2147483647 62155 64 | 0.000 % |
17.87/17.96 c | 70227 | 1952 8355 25351 | 2147483647 62810 64 | 0.000 % |
18.27/18.31 c | 70948 | 1952 8355 25351 | 2147483647 63531 64 | 0.000 % |
18.58/18.68 c | 71740 | 1952 8355 25351 | 2147483647 64323 64 | 0.000 % |
18.97/19.09 c | 72614 | 1952 8355 25351 | 2147483647 65197 64 | 0.000 % |
19.07/19.15 c | 72715 | 1952 8355 25351 | 2147483647 65298 64 | 0.000 % |
19.17/19.21 c | 72825 | 1952 8355 25351 | 2147483647 65408 64 | 0.000 % |
19.17/19.27 c | 72947 | 1952 8355 25351 | 2147483647 65530 64 | 0.000 % |
19.27/19.35 c | 73080 | 1952 8355 25351 | 2147483647 65663 64 | 0.000 % |
19.37/19.44 c | 73226 | 1952 8355 25351 | 2147483647 65809 64 | 0.000 % |
19.47/19.52 c | 73387 | 1952 8355 25351 | 2147483647 65970 64 | 0.000 % |
19.57/19.62 c | 73563 | 1952 8355 25351 | 2147483647 66146 64 | 0.000 % |
19.67/19.74 c | 73756 | 1952 8355 25351 | 2147483647 66339 64 | 0.000 % |
19.77/19.86 c | 73969 | 1952 8355 25351 | 2147483647 66552 64 | 0.000 % |
19.87/19.98 c | 74203 | 1952 8355 25351 | 2147483647 66786 64 | 0.000 % |
20.07/20.12 c | 74463 | 1952 8355 25351 | 2147483647 67046 64 | 0.000 % |
20.17/20.27 c | 74745 | 1952 8355 25351 | 2147483647 67328 64 | 0.000 % |
20.37/20.43 c | 75056 | 1952 8355 25351 | 2147483647 67639 64 | 0.000 % |
20.57/20.64 c | 75396 | 1952 8355 25351 | 2147483647 67979 64 | 0.000 % |
20.77/20.86 c | 75770 | 1952 8355 25351 | 2147483647 68353 64 | 0.000 % |
21.07/21.10 c | 76179 | 1952 8355 25351 | 2147483647 68762 64 | 0.000 % |
21.27/21.33 c | 76628 | 1952 8355 25351 | 2147483647 69211 64 | 0.000 % |
21.47/21.59 c | 77121 | 1952 8355 25351 | 2147483647 69704 64 | 0.000 % |
21.77/21.90 c | 77664 | 1952 8355 25351 | 2147483647 70247 64 | 0.000 % |
22.17/22.21 c | 78262 | 1952 8355 25351 | 2147483647 70845 64 | 0.000 % |
22.47/22.53 c | 78917 | 1952 8355 25351 | 2147483647 71500 64 | 0.000 % |
22.87/22.90 c | 79638 | 1952 8355 25351 | 2147483647 72221 64 | 0.000 % |
23.27/23.35 c | 80431 | 1952 8355 25351 | 2147483647 73014 64 | 0.000 % |
23.77/23.80 c | 81302 | 1952 8355 25351 | 2147483647 73885 64 | 0.000 % |
24.27/24.32 c | 82262 | 1952 8355 25351 | 2147483647 74845 64 | 0.000 % |
24.27/24.39 c | 82362 | 1952 8355 25351 | 2147483647 74945 64 | 0.000 % |
24.37/24.45 c | 82473 | 1952 8355 25351 | 2147483647 75056 64 | 0.000 % |
24.47/24.52 c | 82595 | 1952 8355 25351 | 2147483647 75178 64 | 0.000 % |
24.57/24.62 c | 82729 | 1952 8355 25351 | 2147483647 75312 64 | 0.000 % |
24.67/24.71 c | 82877 | 1952 8355 25351 | 2147483647 75460 64 | 0.000 % |
24.77/24.82 c | 83037 | 1952 8355 25351 | 2147483647 75620 64 | 0.000 % |
24.87/24.93 c | 83213 | 1952 8355 25351 | 2147483647 75796 64 | 0.000 % |
24.97/25.06 c | 83409 | 1952 8355 25351 | 2147483647 75992 64 | 0.000 % |
25.07/25.20 c | 83622 | 1952 8355 25351 | 2147483647 76205 64 | 0.000 % |
25.27/25.34 c | 83855 | 1952 8355 25351 | 2147483647 76438 64 | 0.000 % |
25.37/25.48 c | 84111 | 1952 8355 25351 | 2147483647 76694 64 | 0.000 % |
25.57/25.65 c | 84393 | 1952 8355 25351 | 2147483647 76976 64 | 0.000 % |
25.77/25.84 c | 84704 | 1952 8355 25351 | 2147483647 77287 64 | 0.000 % |
25.97/26.04 c | 85043 | 1952 8355 25351 | 2147483647 77626 64 | 0.000 % |
26.17/26.29 c | 85416 | 1952 8355 25351 | 2147483647 77999 64 | 0.000 % |
26.47/26.55 c | 85826 | 1952 8355 25351 | 2147483647 78409 64 | 0.000 % |
26.76/26.84 c | 86278 | 1952 8355 25351 | 2147483647 78861 64 | 0.000 % |
27.07/27.14 c | 86771 | 1952 8355 25351 | 2147483647 79354 64 | 0.000 % |
27.38/27.46 c | 87315 | 1952 8355 25351 | 2147483647 79898 64 | 0.000 % |
27.77/27.82 c | 87914 | 1952 8355 25351 | 2147483647 80497 64 | 0.000 % |
28.17/28.24 c | 88569 | 1952 8355 25351 | 2147483647 81152 64 | 0.000 % |
28.57/28.68 c | 89289 | 1952 8355 25351 | 2147483647 81872 64 | 0.000 % |
29.07/29.14 c | 90083 | 1952 8355 25351 | 2147483647 82666 64 | 0.000 % |
29.57/29.64 c | 90955 | 1952 8355 25351 | 2147483647 83538 64 | 0.000 % |
30.17/30.26 c | 91914 | 1952 8355 25351 | 2147483647 84497 64 | 0.000 % |
30.77/30.87 c | 92969 | 1952 8355 25351 | 2147483647 85552 64 | 0.000 % |
30.87/30.95 c | 93072 | 1952 8355 25351 | 2147483647 85655 64 | 0.000 % |
30.97/31.04 c | 93182 | 1952 8355 25351 | 2147483647 85765 64 | 0.000 % |
31.07/31.14 c | 93304 | 1952 8355 25351 | 2147483647 85887 64 | 0.000 % |
31.17/31.24 c | 93438 | 1952 8355 25351 | 2147483647 86021 64 | 0.000 % |
31.27/31.34 c | 93584 | 1952 8355 25351 | 2147483647 86167 64 | 0.000 % |
31.36/31.46 c | 93744 | 1952 8355 25351 | 2147483647 86327 64 | 0.000 % |
31.46/31.59 c | 93921 | 1952 8355 25351 | 2147483647 86504 64 | 0.000 % |
31.66/31.74 c | 94115 | 1952 8355 25351 | 2147483647 86698 64 | 0.000 % |
31.77/31.89 c | 94328 | 1952 8355 25351 | 2147483647 86911 64 | 0.000 % |
31.96/32.08 c | 94561 | 1952 8355 25351 | 2147483647 87144 64 | 0.000 % |
32.16/32.29 c | 94817 | 1952 8355 25351 | 2147483647 87400 64 | 0.000 % |
32.36/32.50 c | 95102 | 1952 8355 25351 | 2147483647 87685 64 | 0.000 % |
32.56/32.69 c | 95411 | 1952 8355 25351 | 2147483647 87994 64 | 0.000 % |
32.87/32.94 c | 95750 | 1952 8355 25351 | 2147483647 88333 64 | 0.000 % |
33.06/33.19 c | 96123 | 1952 8355 25351 | 2147483647 88706 64 | 0.000 % |
33.36/33.45 c | 96533 | 1952 8355 25351 | 2147483647 89116 64 | 0.000 % |
33.66/33.77 c | 96982 | 1952 8355 25351 | 2147483647 89565 64 | 0.000 % |
34.06/34.12 c | 97475 | 1952 8355 25351 | 2147483647 90058 64 | 0.000 % |
34.46/34.51 c | 98017 | 1952 8355 25351 | 2147483647 90600 64 | 0.000 % |
34.87/34.96 c | 98613 | 1952 8355 25351 | 2147483647 91196 64 | 0.000 % |
35.37/35.41 c | 99268 | 1952 8355 25351 | 2147483647 91851 64 | 0.000 % |
35.87/35.90 c | 99988 | 1952 8355 25351 | 2147483647 92571 64 | 0.000 % |
36.37/36.48 c | 100781 | 1952 8355 25351 | 2147483647 93364 64 | 0.000 % |
36.97/37.08 c | 101652 | 1952 8355 25351 | 2147483647 94235 64 | 0.000 % |
37.67/37.77 c | 102610 | 1952 8355 25351 | 2147483647 95193 64 | 0.000 % |
38.47/38.53 c | 103664 | 1952 8355 25351 | 2147483647 96247 64 | 0.000 % |
39.26/39.38 c | 104822 | 1952 8355 25351 | 2147483647 97405 64 | 0.000 % |
39.36/39.46 c | 104923 | 1952 8355 25351 | 2147483647 97506 64 | 0.000 % |
39.47/39.55 c | 105033 | 1952 8355 25351 | 2147483647 97616 64 | 0.000 % |
39.57/39.67 c | 105154 | 1952 8355 25351 | 2147483647 97737 64 | 0.000 % |
39.66/39.79 c | 105288 | 1952 8355 25351 | 2147483647 97871 64 | 0.000 % |
39.86/39.93 c | 105434 | 1952 8355 25351 | 2147483647 98017 64 | 0.000 % |
39.96/40.08 c | 105595 | 1952 8355 25351 | 2147483647 98178 64 | 0.000 % |
40.16/40.27 c | 105772 | 1952 8355 25351 | 2147483647 98355 64 | 0.000 % |
40.36/40.42 c | 105965 | 1952 8355 25351 | 2147483647 98548 64 | 0.000 % |
40.46/40.60 c | 106177 | 1952 8355 25351 | 2147483647 98760 64 | 0.000 % |
40.66/40.78 c | 106410 | 1952 8355 25351 | 2147483647 98993 64 | 0.000 % |
40.86/40.99 c | 106667 | 1952 8355 25351 | 2147483647 99250 64 | 0.000 % |
41.16/41.21 c | 106948 | 1952 8355 25351 | 2147483647 99531 64 | 0.000 % |
41.35/41.47 c | 107257 | 1952 8355 25351 | 2147483647 99840 64 | 0.000 % |
41.66/41.71 c | 107596 | 1952 8355 25351 | 2147483647 100179 64 | 0.000 % |
41.96/42.03 c | 107969 | 1952 8355 25351 | 2147483647 100552 64 | 0.000 % |
42.26/42.34 c | 108379 | 1952 8355 25351 | 2147483647 100962 64 | 0.000 % |
42.56/42.66 c | 108829 | 1952 8355 25351 | 2147483647 101412 64 | 0.000 % |
42.95/43.05 c | 109322 | 1952 8355 25351 | 2147483647 101905 64 | 0.000 % |
43.36/43.47 c | 109865 | 1952 8355 25351 | 2147483647 102448 64 | 0.000 % |
43.87/43.98 c | 110463 | 1952 8355 25351 | 102584 90125 65 | 0.000 % |
44.36/44.46 c | 111119 | 1952 8355 25351 | 102584 90781 65 | 0.000 % |
44.86/44.90 c | 111839 | 1952 8355 25351 | 102584 91501 65 | 0.000 % |
45.36/45.43 c | 112632 | 1952 8355 25351 | 102584 92294 65 | 0.000 % |
45.96/46.08 c | 113503 | 1952 8355 25351 | 102584 93165 65 | 0.000 % |
46.66/46.75 c | 114461 | 1952 8355 25351 | 102584 94123 65 | 0.000 % |
47.46/47.51 c | 115514 | 1952 8355 25351 | 102584 95176 65 | 0.000 % |
48.26/48.33 c | 116672 | 1952 8355 25351 | 102584 96334 65 | 0.000 % |
49.16/49.23 c | 117945 | 1952 8355 25351 | 102584 97607 65 | 0.000 % |
49.26/49.30 c | 118047 | 1952 8355 25351 | 102584 97709 65 | 0.000 % |
49.36/49.41 c | 118157 | 1952 8355 25351 | 102584 97819 65 | 0.000 % |
49.46/49.52 c | 118278 | 1952 8355 25351 | 102584 97940 65 | 0.000 % |
49.56/49.63 c | 118412 | 1952 8355 25351 | 102584 98074 65 | 0.000 % |
49.66/49.76 c | 118559 | 1952 8355 25351 | 102584 98221 65 | 0.000 % |
49.86/49.91 c | 118720 | 1952 8355 25351 | 102584 98382 65 | 0.000 % |
49.96/50.06 c | 118897 | 1952 8355 25351 | 102584 98559 65 | 0.000 % |
50.16/50.21 c | 119091 | 1952 8355 25351 | 102584 98753 65 | 0.000 % |
50.36/50.41 c | 119304 | 1952 8355 25351 | 102584 98966 65 | 0.000 % |
50.56/50.60 c | 119537 | 1952 8355 25351 | 102584 99199 65 | 0.000 % |
50.76/50.84 c | 119795 | 1952 8355 25351 | 102584 99457 65 | 0.000 % |
50.96/51.06 c | 120077 | 1952 8355 25351 | 99663 99739 65 | 0.000 % |
51.26/51.34 c | 120388 | 1952 8355 25351 | 99663 87354 65 | 0.000 % |
51.45/51.57 c | 120727 | 1952 8355 25351 | 99663 87693 65 | 0.000 % |
51.75/51.83 c | 121099 | 1952 8355 25351 | 99663 88065 65 | 0.000 % |
52.05/52.13 c | 121508 | 1952 8355 25351 | 99663 88474 65 | 0.000 % |
52.35/52.45 c | 121959 | 1952 8355 25351 | 99663 88925 65 | 0.000 % |
52.76/52.82 c | 122453 | 1952 8355 25351 | 99663 89419 65 | 0.000 % |
53.05/53.18 c | 122996 | 1952 8355 25351 | 99663 89962 65 | 0.000 % |
53.45/53.57 c | 123595 | 1952 8355 25351 | 99663 90561 65 | 0.000 % |
53.95/54.02 c | 124250 | 1952 8355 25351 | 99663 91216 65 | 0.000 % |
54.45/54.51 c | 124971 | 1952 8355 25351 | 99663 91937 65 | 0.000 % |
55.05/55.13 c | 125763 | 1952 8355 25351 | 99663 92729 65 | 0.000 % |
55.65/55.71 c | 126634 | 1952 8355 25351 | 99663 93600 65 | 0.000 % |
56.25/56.38 c | 127592 | 1952 8355 25351 | 99663 94558 65 | 0.000 % |
57.06/57.20 c | 128647 | 1952 8355 25351 | 99663 95613 65 | 0.000 % |
57.95/58.00 c | 129805 | 1952 8355 25351 | 99663 96771 65 | 0.000 % |
58.75/58.89 c | 131078 | 1952 8355 25351 | 96966 86060 66 | 0.000 % |
59.65/59.79 c | 132480 | 1952 8355 25351 | 96966 87462 66 | 0.000 % |
59.75/59.86 c | 132580 | 1952 8355 25351 | 96966 87562 66 | 0.000 % |
59.85/59.95 c | 132690 | 1952 8355 25351 | 96966 87672 66 | 0.000 % |
59.95/60.05 c | 132811 | 1952 8355 25351 | 96966 87793 66 | 0.000 % |
60.05/60.14 c | 132944 | 1952 8355 25351 | 96966 87926 66 | 0.000 % |
60.15/60.24 c | 133094 | 1952 8355 25351 | 96966 88076 66 | 0.000 % |
60.25/60.37 c | 133254 | 1952 8355 25351 | 96966 88236 66 | 0.000 % |
60.45/60.51 c | 133430 | 1952 8355 25351 | 96966 88412 66 | 0.000 % |
60.55/60.65 c | 133623 | 1952 8355 25351 | 96966 88605 66 | 0.000 % |
60.75/60.80 c | 133836 | 1952 8355 25351 | 96966 88818 66 | 0.000 % |
60.85/60.96 c | 134069 | 1952 8355 25351 | 96966 89051 66 | 0.000 % |
61.05/61.16 c | 134326 | 1952 8355 25351 | 96966 89308 66 | 0.000 % |
61.24/61.38 c | 134607 | 1952 8355 25351 | 96966 89589 66 | 0.000 % |
61.45/61.60 c | 134916 | 1952 8355 25351 | 96966 89898 66 | 0.000 % |
61.74/61.86 c | 135256 | 1952 8355 25351 | 96966 90238 66 | 0.000 % |
62.04/62.15 c | 135629 | 1952 8355 25351 | 96966 90611 66 | 0.000 % |
62.34/62.47 c | 136039 | 1952 8355 25351 | 96966 91021 66 | 0.000 % |
62.74/62.82 c | 136490 | 1952 8355 25351 | 96966 91472 66 | 0.000 % |
63.04/63.14 c | 136986 | 1952 8355 25351 | 96966 91968 66 | 0.000 % |
63.44/63.51 c | 137530 | 1952 8355 25351 | 96966 92512 66 | 0.000 % |
63.84/63.95 c | 138126 | 1952 8355 25351 | 96966 93108 66 | 0.000 % |
64.34/64.41 c | 138782 | 1952 8355 25351 | 96966 93764 66 | 0.000 % |
64.75/64.89 c | 139502 | 1952 8355 25351 | 96966 94484 66 | 0.000 % |
65.44/65.50 c | 140294 | 1952 8355 25351 | 94983 83903 66 | 0.000 % |
65.95/66.09 c | 141167 | 1952 8355 25351 | 94983 84776 66 | 0.000 % |
66.64/66.70 c | 142125 | 1952 8355 25351 | 94983 85734 66 | 0.000 % |
67.24/67.38 c | 143178 | 1952 8355 25351 | 94983 86787 66 | 0.000 % |
68.04/68.18 c | 144337 | 1952 8355 25351 | 94983 87946 66 | 0.000 % |
68.93/69.04 c | 145610 | 1952 8355 25351 | 94983 89219 66 | 0.000 % |
69.73/69.88 c | 147011 | 1952 8355 25351 | 94983 90620 66 | 0.000 % |
70.83/70.92 c | 148551 | 1952 8355 25351 | 94983 92160 66 | 0.000 % |
70.93/71.00 c | 148653 | 1952 8355 25351 | 94983 92262 66 | 0.000 % |
70.93/71.09 c | 148763 | 1952 8355 25351 | 94983 92372 66 | 0.000 % |
71.03/71.19 c | 148884 | 1952 8355 25351 | 94983 92493 66 | 0.000 % |
71.23/71.30 c | 149017 | 1952 8355 25351 | 94983 92626 66 | 0.000 % |
71.34/71.43 c | 149164 | 1952 8355 25351 | 94983 92773 66 | 0.000 % |
71.43/71.55 c | 149324 | 1952 8355 25351 | 94983 92933 66 | 0.000 % |
71.63/71.71 c | 149501 | 1952 8355 25351 | 94983 93110 66 | 0.000 % |
71.73/71.88 c | 149694 | 1952 8355 25351 | 94983 93303 66 | 0.000 % |
71.93/72.04 c | 149908 | 1952 8355 25351 | 94983 93517 66 | 0.000 % |
72.13/72.20 c | 150142 | 1952 8355 25351 | 93609 93751 66 | 0.000 % |
72.33/72.43 c | 150398 | 1952 8355 25351 | 93609 83801 66 | 0.000 % |
72.43/72.59 c | 150679 | 1952 8355 25351 | 93609 84082 66 | 0.000 % |
72.63/72.79 c | 150989 | 1952 8355 25351 | 93609 84392 66 | 0.000 % |
72.93/73.04 c | 151328 | 1952 8355 25351 | 93609 84731 66 | 0.000 % |
73.13/73.29 c | 151700 | 1952 8355 25351 | 93609 85103 66 | 0.000 % |
73.43/73.55 c | 152110 | 1952 8355 25351 | 93609 85513 66 | 0.000 % |
73.73/73.82 c | 152559 | 1952 8355 25351 | 93609 85962 66 | 0.000 % |
74.03/74.18 c | 153052 | 1952 8355 25351 | 93609 86455 66 | 0.000 % |
74.43/74.54 c | 153594 | 1952 8355 25351 | 93609 86997 66 | 0.000 % |
74.83/74.93 c | 154191 | 1952 8355 25351 | 93609 87594 66 | 0.000 % |
75.23/75.34 c | 154846 | 1952 8355 25351 | 93609 88249 66 | 0.000 % |
75.63/75.79 c | 155566 | 1952 8355 25351 | 93609 88969 66 | 0.000 % |
76.23/76.40 c | 156358 | 1952 8355 25351 | 93609 89761 66 | 0.000 % |
76.83/76.99 c | 157229 | 1952 8355 25351 | 93609 90632 66 | 0.000 % |
77.52/77.65 c | 158187 | 1952 8355 25351 | 93609 91590 66 | 0.000 % |
78.32/78.43 c | 159241 | 1952 8355 25351 | 93609 92644 66 | 0.000 % |
79.22/79.39 c | 160399 | 1952 8355 25351 | 93406 83865 66 | 0.000 % |
80.13/80.25 c | 161672 | 1952 8355 25351 | 93406 85138 66 | 0.000 % |
81.02/81.11 c | 163074 | 1952 8355 25351 | 93406 86540 66 | 0.000 % |
82.02/82.10 c | 164617 | 1952 8355 25351 | 93406 88083 66 | 0.000 % |
83.02/83.16 c | 166311 | 1952 8355 25351 | 93406 89777 66 | 0.000 % |
83.12/83.23 c | 166413 | 1952 8355 25351 | 93406 89879 66 | 0.000 % |
83.22/83.32 c | 166523 | 1952 8355 25351 | 93406 89989 66 | 0.000 % |
83.32/83.43 c | 166644 | 1952 8355 25351 | 93406 90110 66 | 0.000 % |
83.43/83.53 c | 166777 | 1952 8355 25351 | 93406 90243 66 | 0.000 % |
83.53/83.65 c | 166923 | 1952 8355 25351 | 93406 90389 66 | 0.000 % |
83.62/83.77 c | 167083 | 1952 8355 25351 | 93406 90549 66 | 0.000 % |
83.82/83.90 c | 167262 | 1952 8355 25351 | 93406 90728 66 | 0.000 % |
83.92/84.05 c | 167455 | 1952 8355 25351 | 93406 90921 66 | 0.000 % |
84.12/84.20 c | 167669 | 1952 8355 25351 | 93406 91135 66 | 0.000 % |
84.22/84.34 c | 167904 | 1952 8355 25351 | 93406 91370 66 | 0.000 % |
84.42/84.52 c | 168160 | 1952 8355 25351 | 93406 91626 66 | 0.000 % |
84.63/84.73 c | 168443 | 1952 8355 25351 | 93406 91909 66 | 0.000 % |
84.82/84.96 c | 168754 | 1952 8355 25351 | 93406 92220 66 | 0.000 % |
85.02/85.19 c | 169094 | 1952 8355 25351 | 93406 92560 66 | 0.000 % |
85.42/85.51 c | 169468 | 1952 8355 25351 | 93406 92934 66 | 0.000 % |
85.72/85.82 c | 169877 | 1952 8355 25351 | 93406 93343 66 | 0.000 % |
86.12/86.24 c | 170327 | 1952 8355 25351 | 93466 83863 66 | 0.000 % |
86.42/86.53 c | 170820 | 1952 8355 25351 | 93466 84356 66 | 0.000 % |
86.72/86.88 c | 171363 | 1952 8355 25351 | 93466 84899 66 | 0.000 % |
87.12/87.27 c | 171959 | 1952 8355 25351 | 93466 85495 66 | 0.000 % |
87.52/87.69 c | 172617 | 1952 8355 25351 | 93466 86153 66 | 0.000 % |
88.02/88.19 c | 173337 | 1952 8355 25351 | 93466 86873 66 | 0.000 % |
88.52/88.69 c | 174129 | 1952 8355 25351 | 93466 87665 66 | 0.000 % |
89.12/89.22 c | 175002 | 1952 8355 25351 | 93466 88538 66 | 0.000 % |
89.72/89.89 c | 175961 | 1952 8355 25351 | 93466 89497 66 | 0.000 % |
90.52/90.60 c | 177016 | 1952 8355 25351 | 93466 90552 66 | 0.000 % |
91.32/91.41 c | 178174 | 1952 8355 25351 | 93466 91710 66 | 0.000 % |
92.12/92.30 c | 179448 | 1952 8355 25351 | 93466 92984 66 | 0.000 % |
93.12/93.29 c | 180851 | 1952 8355 25351 | 2147483647 94387 66 | 0.000 % |
94.22/94.39 c | 182393 | 1952 8355 25351 | 2147483647 95929 66 | 0.000 % |
95.52/95.61 c | 184087 | 1952 8355 25351 | 2147483647 97623 66 | 0.000 % |
96.81/96.97 c | 185951 | 1952 8355 25351 | 2147483647 99487 66 | 0.000 % |
96.91/97.05 c | 186051 | 1952 8355 25351 | 2147483647 99587 66 | 0.000 % |
97.01/97.17 c | 186161 | 1952 8355 25351 | 2147483647 99697 66 | 0.000 % |
97.11/97.26 c | 186282 | 1952 8355 25351 | 2147483647 99818 66 | 0.000 % |
97.21/97.39 c | 186415 | 1952 8355 25351 | 2147483647 99951 66 | 0.000 % |
97.41/97.51 c | 186561 | 1952 8355 25351 | 2147483647 100097 66 | 0.000 % |
97.51/97.65 c | 186721 | 1952 8355 25351 | 2147483647 100257 66 | 0.000 % |
97.61/97.79 c | 186897 | 1952 8355 25351 | 2147483647 100433 66 | 0.000 % |
97.81/97.94 c | 187090 | 1952 8355 25351 | 2147483647 100626 66 | 0.000 % |
98.01/98.11 c | 187302 | 1952 8355 25351 | 2147483647 100838 66 | 0.000 % |
98.21/98.30 c | 187535 | 1952 8355 25351 | 2147483647 101071 66 | 0.000 % |
98.41/98.53 c | 187793 | 1952 8355 25351 | 2147483647 101329 66 | 0.000 % |
98.61/98.76 c | 188075 | 1952 8355 25351 | 2147483647 101611 66 | 0.000 % |
98.91/99.03 c | 188384 | 1952 8355 25351 | 2147483647 101920 66 | 0.000 % |
99.21/99.30 c | 188723 | 1952 8355 25351 | 2147483647 102259 66 | 0.000 % |
99.51/99.63 c | 189095 | 1952 8355 25351 | 2147483647 102631 66 | 0.000 % |
99.81/100.00 c | 189505 | 1952 8355 25351 | 2147483647 103041 66 | 0.000 % |
100.21/100.39 c | 189956 | 1952 8355 25351 | 2147483647 103492 66 | 0.000 % |
100.71/100.89 c | 190450 | 1952 8355 25351 | 103536 88943 66 | 0.000 % |
101.12/101.27 c | 190992 | 1952 8355 25351 | 103536 89485 66 | 0.000 % |
101.51/101.67 c | 191588 | 1952 8355 25351 | 103536 90081 66 | 0.000 % |
102.01/102.17 c | 192243 | 1952 8355 25351 | 103536 90736 66 | 0.000 % |
102.51/102.64 c | 192963 | 1952 8355 25351 | 103536 91456 66 | 0.000 % |
103.11/103.23 c | 193755 | 1952 8355 25351 | 103536 92248 66 | 0.000 % |
103.61/103.80 c | 194630 | 1952 8355 25351 | 103536 93123 67 | 0.000 % |
104.31/104.41 c | 195588 | 1952 8355 25351 | 103536 94081 67 | 0.000 % |
105.01/105.18 c | 196641 | 1952 8355 25351 | 103536 95134 67 | 0.000 % |
105.91/106.02 c | 197800 | 1952 8355 25351 | 103536 96293 67 | 0.000 % |
106.91/107.00 c | 199073 | 1952 8355 25351 | 103536 97566 67 | 0.000 % |
108.01/108.13 c | 200473 | 1952 8355 25351 | 98493 85904 66 | 0.000 % |
108.91/109.09 c | 202014 | 1952 8355 25351 | 98493 87445 67 | 0.000 % |
110.01/110.16 c | 203709 | 1952 8355 25351 | 98493 89140 67 | 0.000 % |
111.31/111.42 c | 205572 | 1952 8355 25351 | 98493 91003 67 | 0.000 % |
112.80/112.90 c | 207622 | 1952 8355 25351 | 98493 93053 67 | 0.000 % |
112.80/112.98 c | 207724 | 1952 8355 25351 | 98493 93155 66 | 0.000 % |
112.90/113.07 c | 207834 | 1952 8355 25351 | 98493 93265 66 | 0.000 % |
113.00/113.18 c | 207955 | 1952 8355 25351 | 98493 93386 66 | 0.000 % |
113.10/113.30 c | 208088 | 1952 8355 25351 | 98493 93519 66 | 0.000 % |
113.30/113.43 c | 208238 | 1952 8355 25351 | 98493 93669 67 | 0.000 % |
113.40/113.56 c | 208399 | 1952 8355 25351 | 98493 93830 66 | 0.000 % |
113.60/113.71 c | 208576 | 1952 8355 25351 | 98493 94007 66 | 0.000 % |
113.70/113.87 c | 208769 | 1952 8355 25351 | 98493 94200 66 | 0.000 % |
113.90/114.02 c | 208981 | 1952 8355 25351 | 98493 94412 66 | 0.000 % |
114.10/114.22 c | 209214 | 1952 8355 25351 | 98493 94645 66 | 0.000 % |
114.30/114.43 c | 209470 | 1952 8355 25351 | 98493 94901 66 | 0.000 % |
114.50/114.66 c | 209752 | 1952 8355 25351 | 98493 95183 66 | 0.000 % |
114.70/114.90 c | 210062 | 1952 8355 25351 | 95431 95493 66 | 0.000 % |
115.10/115.20 c | 210401 | 1952 8355 25351 | 95431 84461 66 | 0.000 % |
115.30/115.46 c | 210775 | 1952 8355 25351 | 95431 84835 66 | 0.000 % |
115.60/115.72 c | 211184 | 1952 8355 25351 | 95431 85244 66 | 0.000 % |
115.80/115.98 c | 211634 | 1952 8355 25351 | 95431 85694 66 | 0.000 % |
116.20/116.32 c | 212127 | 1952 8355 25351 | 95431 86187 66 | 0.000 % |
116.50/116.65 c | 212669 | 1952 8355 25351 | 95431 86729 66 | 0.000 % |
116.90/117.07 c | 213266 | 1952 8355 25351 | 95431 87326 66 | 0.000 % |
117.40/117.51 c | 213921 | 1952 8355 25351 | 95431 87981 66 | 0.000 % |
117.80/117.99 c | 214641 | 1952 8355 25351 | 95431 88701 66 | 0.000 % |
118.30/118.49 c | 215434 | 1952 8355 25351 | 95431 89494 66 | 0.000 % |
118.89/119.07 c | 216305 | 1952 8355 25351 | 95431 90365 66 | 0.000 % |
119.59/119.73 c | 217263 | 1952 8355 25351 | 95431 91323 66 | 0.000 % |
120.39/120.50 c | 218316 | 1952 8355 25351 | 95431 92376 66 | 0.000 % |
121.19/121.33 c | 219474 | 1952 8355 25351 | 95431 93534 66 | 0.000 % |
121.99/122.19 c | 220749 | 1952 8355 25351 | 2147483647 94809 66 | 0.000 % |
122.99/123.19 c | 222150 | 1952 8355 25351 | 2147483647 96210 66 | 0.000 % |
124.19/124.33 c | 223692 | 1952 8355 25351 | 2147483647 97752 66 | 0.000 % |
125.29/125.47 c | 225387 | 1952 8355 25351 | 2147483647 99447 67 | 0.000 % |
126.59/126.78 c | 227250 | 1952 8355 25351 | 2147483647 101310 67 | 0.000 % |
128.29/128.40 c | 229299 | 1952 8355 25351 | 2147483647 103359 67 | 0.000 % |
129.99/130.13 c | 231554 | 1952 8355 25351 | 104060 92613 67 | 0.000 % |
130.09/130.21 c | 231654 | 1952 8355 25351 | 104060 92713 67 | 0.000 % |
130.19/130.30 c | 231769 | 1952 8355 25351 | 104060 92828 67 | 0.000 % |
130.29/130.40 c | 231890 | 1952 8355 25351 | 104060 92949 67 | 0.000 % |
130.39/130.51 c | 232024 | 1952 8355 25351 | 104060 93083 67 | 0.000 % |
130.49/130.64 c | 232173 | 1952 8355 25351 | 104060 93232 67 | 0.000 % |
130.59/130.76 c | 232333 | 1952 8355 25351 | 104060 93392 67 | 0.000 % |
130.69/130.88 c | 232509 | 1952 8355 25351 | 104060 93568 67 | 0.000 % |
130.89/131.05 c | 232702 | 1952 8355 25351 | 104060 93761 67 | 0.000 % |
131.09/131.22 c | 232915 | 1952 8355 25351 | 104060 93974 67 | 0.000 % |
131.29/131.42 c | 233148 | 1952 8355 25351 | 104060 94207 67 | 0.000 % |
131.48/131.60 c | 233405 | 1952 8355 25351 | 104060 94464 67 | 0.000 % |
131.68/131.82 c | 233687 | 1952 8355 25351 | 104060 94746 67 | 0.000 % |
131.89/132.02 c | 233996 | 1952 8355 25351 | 104060 95055 67 | 0.000 % |
132.08/132.28 c | 234336 | 1952 8355 25351 | 104060 95395 67 | 0.000 % |
132.38/132.55 c | 234708 | 1952 8355 25351 | 104060 95767 67 | 0.000 % |
132.68/132.84 c | 235117 | 1952 8355 25351 | 104060 96176 67 | 0.000 % |
132.99/133.18 c | 235567 | 1952 8355 25351 | 104060 96626 67 | 0.000 % |
133.48/133.60 c | 236061 | 1952 8355 25351 | 104060 97120 67 | 0.000 % |
133.88/134.04 c | 236604 | 1952 8355 25351 | 104060 97663 67 | 0.000 % |
134.28/134.49 c | 237200 | 1952 8355 25351 | 104060 98259 67 | 0.000 % |
134.78/134.99 c | 237856 | 1952 8355 25351 | 104060 98915 67 | 0.000 % |
135.38/135.52 c | 238576 | 1952 8355 25351 | 104060 99635 67 | 0.000 % |
135.98/136.12 c | 239368 | 1952 8355 25351 | 104060 100427 67 | 0.000 % |
136.58/136.79 c | 240239 | 1952 8355 25351 | 101059 101298 67 | 0.000 % |
137.29/137.44 c | 241200 | 1952 8355 25351 | 101059 88015 67 | 0.000 % |
137.88/138.09 c | 242254 | 1952 8355 25351 | 101059 89069 67 | 0.000 % |
138.68/138.86 c | 243412 | 1952 8355 25351 | 101059 90227 67 | 0.000 % |
139.48/139.63 c | 244686 | 1952 8355 25351 | 101059 91501 67 | 0.000 % |
140.38/140.58 c | 246089 | 1952 8355 25351 | 101059 92904 67 | 0.000 % |
141.58/141.73 c | 247629 | 1952 8355 25351 | 101059 94444 67 | 0.000 % |
142.78/142.94 c | 249326 | 1952 8355 25351 | 101059 96141 67 | 0.000 % |
144.08/144.29 c | 251190 | 1952 8355 25351 | 96815 86567 67 | 0.000 % |
145.48/145.66 c | 253243 | 1952 8355 25351 | 96815 88620 67 | 0.000 % |
146.98/147.19 c | 255496 | 1952 8355 25351 | 96815 90873 67 | 0.000 % |
148.68/148.89 c | 257974 | 1952 8355 25351 | 96815 93351 67 | 0.000 % |
148.78/148.98 c | 258078 | 1952 8355 25351 | 96815 93455 67 | 0.000 % |
148.88/149.09 c | 258188 | 1952 8355 25351 | 96815 93565 67 | 0.000 % |
148.98/149.19 c | 258310 | 1952 8355 25351 | 96815 93687 67 | 0.000 % |
149.08/149.29 c | 258445 | 1952 8355 25351 | 96815 93822 67 | 0.000 % |
149.18/149.39 c | 258591 | 1952 8355 25351 | 96815 93968 67 | 0.000 % |
149.38/149.54 c | 258751 | 1952 8355 25351 | 96815 94128 67 | 0.000 % |
149.48/149.68 c | 258929 | 1952 8355 25351 | 96815 94306 67 | 0.000 % |
149.68/149.81 c | 259122 | 1952 8355 25351 | 96815 94499 67 | 0.000 % |
149.77/149.97 c | 259337 | 1952 8355 25351 | 96815 94714 67 | 0.000 % |
149.97/150.15 c | 259571 | 1952 8355 25351 | 96815 94948 67 | 0.000 % |
150.17/150.37 c | 259829 | 1952 8355 25351 | 96815 95206 67 | 0.000 % |
150.37/150.59 c | 260111 | 1952 8355 25351 | 95380 95488 67 | 0.000 % |
150.67/150.84 c | 260421 | 1952 8355 25351 | 95380 85225 67 | 0.000 % |
150.87/151.07 c | 260763 | 1952 8355 25351 | 95380 85567 67 | 0.000 % |
151.17/151.33 c | 261136 | 1952 8355 25351 | 95380 85940 67 | 0.000 % |
151.47/151.62 c | 261546 | 1952 8355 25351 | 95380 86350 67 | 0.000 % |
151.77/151.96 c | 261998 | 1952 8355 25351 | 95380 86802 67 | 0.000 % |
152.07/152.28 c | 262494 | 1952 8355 25351 | 95380 87298 67 | 0.000 % |
152.47/152.66 c | 263036 | 1952 8355 25351 | 95380 87840 67 | 0.000 % |
152.87/153.09 c | 263632 | 1952 8355 25351 | 95380 88436 67 | 0.000 % |
153.37/153.58 c | 264287 | 1952 8355 25351 | 95380 89091 67 | 0.000 % |
153.87/154.06 c | 265007 | 1952 8355 25351 | 95380 89811 67 | 0.000 % |
154.47/154.65 c | 265802 | 1952 8355 25351 | 95380 90606 67 | 0.000 % |
155.17/155.32 c | 266675 | 1952 8355 25351 | 95380 91479 67 | 0.000 % |
155.87/156.04 c | 267634 | 1952 8355 25351 | 95380 92438 67 | 0.000 % |
156.57/156.78 c | 268688 | 1952 8355 25351 | 95380 93492 67 | 0.000 % |
157.46/157.68 c | 269846 | 1952 8355 25351 | 95380 94650 67 | 0.000 % |
158.46/158.62 c | 271121 | 1952 8355 25351 | 94804 85018 67 | 0.000 % |
159.36/159.51 c | 272521 | 1952 8355 25351 | 94804 86418 67 | 0.000 % |
160.36/160.56 c | 274063 | 1952 8355 25351 | 94804 87960 67 | 0.000 % |
161.47/161.66 c | 275758 | 1952 8355 25351 | 94804 89655 67 | 0.000 % |
162.66/162.82 c | 277627 | 1952 8355 25351 | 94804 91524 67 | 0.000 % |
164.06/164.26 c | 279678 | 1952 8355 25351 | 94804 93575 67 | 0.000 % |
165.66/165.89 c | 281931 | 1952 8355 25351 | 2147483647 95828 67 | 0.000 % |
167.46/167.66 c | 284410 | 1952 8355 25351 | 2147483647 98307 67 | 0.000 % |
169.26/169.47 c | 287135 | 1952 8355 25351 | 2147483647 101032 67 | 0.000 % |
169.36/169.56 c | 287236 | 1952 8355 25351 | 2147483647 101133 67 | 0.000 % |
169.46/169.65 c | 287346 | 1952 8355 25351 | 2147483647 101243 67 | 0.000 % |
169.56/169.76 c | 287467 | 1952 8355 25351 | 2147483647 101364 67 | 0.000 % |
169.66/169.88 c | 287600 | 1952 8355 25351 | 2147483647 101497 67 | 0.000 % |
169.86/170.01 c | 287749 | 1952 8355 25351 | 2147483647 101646 67 | 0.000 % |
169.96/170.14 c | 287909 | 1952 8355 25351 | 2147483647 101806 67 | 0.000 % |
170.06/170.28 c | 288086 | 1952 8355 25351 | 2147483647 101983 67 | 0.000 % |
170.26/170.46 c | 288279 | 1952 8355 25351 | 2147483647 102176 67 | 0.000 % |
170.46/170.62 c | 288491 | 1952 8355 25351 | 2147483647 102388 67 | 0.000 % |
170.66/170.85 c | 288724 | 1952 8355 25351 | 2147483647 102621 67 | 0.000 % |
170.86/171.07 c | 288982 | 1952 8355 25351 | 2147483647 102879 67 | 0.000 % |
171.16/171.33 c | 289263 | 1952 8355 25351 | 2147483647 103160 67 | 0.000 % |
171.36/171.58 c | 289572 | 1952 8355 25351 | 2147483647 103469 67 | 0.000 % |
171.66/171.88 c | 289911 | 1952 8355 25351 | 2147483647 103808 67 | 0.000 % |
171.96/172.17 c | 290283 | 1952 8355 25351 | 103900 104180 67 | 0.000 % |
172.36/172.51 c | 290695 | 1952 8355 25351 | 103900 90976 67 | 0.000 % |
172.66/172.85 c | 291145 | 1952 8355 25351 | 103900 91426 67 | 0.000 % |
173.06/173.21 c | 291638 | 1952 8355 25351 | 103900 91919 67 | 0.000 % |
173.46/173.62 c | 292181 | 1952 8355 25351 | 103900 92462 67 | 0.000 % |
173.86/174.06 c | 292777 | 1952 8355 25351 | 103900 93058 67 | 0.000 % |
174.36/174.54 c | 293434 | 1952 8355 25351 | 103900 93715 67 | 0.000 % |
174.86/175.04 c | 294157 | 1952 8355 25351 | 103900 94438 67 | 0.000 % |
175.36/175.57 c | 294950 | 1952 8355 25351 | 103900 95231 67 | 0.000 % |
175.96/176.16 c | 295823 | 1952 8355 25351 | 103900 96104 67 | 0.000 % |
176.56/176.79 c | 296781 | 1952 8355 25351 | 103900 97062 67 | 0.000 % |
177.36/177.52 c | 297834 | 1952 8355 25351 | 103900 98115 67 | 0.000 % |
178.15/178.35 c | 298992 | 1952 8355 25351 | 103900 99273 67 | 0.000 % |
179.06/179.28 c | 300265 | 1952 8355 25351 | 100281 100546 67 | 0.000 % |
179.95/180.18 c | 301665 | 1952 8355 25351 | 100281 90383 67 | 0.000 % |
181.15/181.31 c | 303205 | 1952 8355 25351 | 100281 91923 67 | 0.000 % |
182.25/182.47 c | 304899 | 1952 8355 25351 | 100281 93617 67 | 0.000 % |
183.65/183.84 c | 306763 | 1952 8355 25351 | 100281 95481 67 | 0.000 % |
185.05/185.22 c | 308816 | 1952 8355 25351 | 100281 97534 68 | 0.000 % |
186.55/186.78 c | 311070 | 1952 8355 25351 | 98720 89792 68 | 0.000 % |
188.25/188.48 c | 313550 | 1952 8355 25351 | 98720 92272 68 | 0.000 % |
190.25/190.41 c | 316276 | 1952 8355 25351 | 98720 94998 68 | 0.000 % |
192.45/192.60 c | 319273 | 1952 8355 25351 | 98720 97995 68 | 0.000 % |
192.45/192.66 c | 319373 | 1952 8355 25351 | 98720 98095 68 | 0.000 % |
192.55/192.75 c | 319485 | 1952 8355 25351 | 98720 98207 68 | 0.000 % |
192.65/192.86 c | 319606 | 1952 8355 25351 | 98720 98328 68 | 0.000 % |
192.75/192.97 c | 319739 | 1952 8355 25351 | 98720 98461 68 | 0.000 % |
192.85/193.09 c | 319885 | 1952 8355 25351 | 98720 98607 68 | 0.000 % |
193.05/193.22 c | 320046 | 1952 8355 25351 | 98722 98768 68 | 0.000 % |
193.25/193.46 c | 320223 | 1952 8355 25351 | 98722 86642 67 | 0.000 % |
193.45/193.61 c | 320416 | 1952 8355 25351 | 98722 86835 67 | 0.000 % |
193.55/193.77 c | 320629 | 1952 8355 25351 | 98722 87048 67 | 0.000 % |
193.74/193.93 c | 320864 | 1952 8355 25351 | 98722 87283 67 | 0.000 % |
193.94/194.13 c | 321120 | 1952 8355 25351 | 98722 87539 67 | 0.000 % |
194.14/194.31 c | 321401 | 1952 8355 25351 | 98722 87820 67 | 0.000 % |
194.34/194.52 c | 321711 | 1952 8355 25351 | 98722 88130 67 | 0.000 % |
194.55/194.74 c | 322050 | 1952 8355 25351 | 98722 88469 67 | 0.000 % |
194.84/195.02 c | 322425 | 1952 8355 25351 | 98722 88844 67 | 0.000 % |
195.04/195.29 c | 322834 | 1952 8355 25351 | 98722 89253 67 | 0.000 % |
195.34/195.59 c | 323283 | 1952 8355 25351 | 98722 89702 67 | 0.000 % |
195.74/195.95 c | 323781 | 1952 8355 25351 | 98722 90200 67 | 0.000 % |
196.14/196.30 c | 324325 | 1952 8355 25351 | 98722 90744 67 | 0.000 % |
196.44/196.69 c | 324923 | 1952 8355 25351 | 98722 91342 67 | 0.000 % |
196.94/197.11 c | 325578 | 1952 8355 25351 | 98722 91997 67 | 0.000 % |
197.44/197.63 c | 326298 | 1952 8355 25351 | 98722 92717 67 | 0.000 % |
198.04/198.22 c | 327092 | 1952 8355 25351 | 98722 93511 67 | 0.000 % |
198.64/198.89 c | 327964 | 1952 8355 25351 | 98722 94383 67 | 0.000 % |
199.44/199.67 c | 328922 | 1952 8355 25351 | 98722 95341 67 | 0.000 % |
200.24/200.48 c | 329975 | 1952 8355 25351 | 98722 96394 67 | 0.000 % |
201.04/201.30 c | 331137 | 1952 8355 25351 | 96419 85555 67 | 0.000 % |
201.94/202.12 c | 332410 | 1952 8355 25351 | 96419 86828 67 | 0.000 % |
202.83/203.00 c | 333811 | 1952 8355 25351 | 96419 88229 67 | 0.000 % |
203.73/203.98 c | 335351 | 1952 8355 25351 | 96419 89769 67 | 0.000 % |
204.83/205.02 c | 337045 | 1952 8355 25351 | 96419 91463 67 | 0.000 % |
206.03/206.29 c | 338908 | 1952 8355 25351 | 96419 93326 67 | 0.000 % |
207.44/207.64 c | 340958 | 1952 8355 25351 | 2147483647 95376 67 | 0.000 % |
209.04/209.21 c | 343214 | 1952 8355 25351 | 2147483647 97632 67 | 0.000 % |
210.74/210.97 c | 345692 | 1952 8355 25351 | 2147483647 100110 67 | 0.000 % |
212.64/212.87 c | 348424 | 1952 8355 25351 | 2147483647 102842 68 | 0.000 % |
215.04/215.24 c | 351422 | 1952 8355 25351 | 104418 93263 67 | 0.000 % |
217.23/217.40 c | 354719 | 1952 8355 25351 | 104418 96560 68 | 0.000 % |
217.23/217.47 c | 354819 | 1952 8355 25351 | 104418 96660 68 | 0.000 % |
217.33/217.57 c | 354929 | 1952 8355 25351 | 104418 96770 68 | 0.000 % |
217.43/217.68 c | 355050 | 1952 8355 25351 | 104418 96891 68 | 0.000 % |
217.64/217.81 c | 355183 | 1952 8355 25351 | 104418 97024 68 | 0.000 % |
217.73/217.94 c | 355331 | 1952 8355 25351 | 104418 97172 68 | 0.000 % |
217.93/218.10 c | 355492 | 1952 8355 25351 | 104418 97333 68 | 0.000 % |
218.03/218.26 c | 355668 | 1952 8355 25351 | 104418 97509 68 | 0.000 % |
218.23/218.41 c | 355861 | 1952 8355 25351 | 104418 97702 68 | 0.000 % |
218.33/218.59 c | 356074 | 1952 8355 25351 | 104418 97915 68 | 0.000 % |
218.53/218.78 c | 356307 | 1952 8355 25351 | 104418 98148 68 | 0.000 % |
218.74/218.99 c | 356563 | 1952 8355 25351 | 104418 98404 68 | 0.000 % |
219.03/219.23 c | 356847 | 1952 8355 25351 | 104418 98688 68 | 0.000 % |
219.23/219.47 c | 357156 | 1952 8355 25351 | 104418 98997 68 | 0.000 % |
219.53/219.75 c | 357495 | 1952 8355 25351 | 104418 99336 68 | 0.000 % |
219.84/220.04 c | 357868 | 1952 8355 25351 | 104418 99709 68 | 0.000 % |
220.13/220.38 c | 358277 | 1952 8355 25351 | 104418 100118 68 | 0.000 % |
220.53/220.76 c | 358728 | 1952 8355 25351 | 104418 100569 68 | 0.000 % |
220.94/221.18 c | 359221 | 1952 8355 25351 | 104418 101062 68 | 0.000 % |
221.33/221.58 c | 359764 | 1952 8355 25351 | 104418 101605 68 | 0.000 % |
221.83/222.10 c | 360366 | 1952 8355 25351 | 101841 88520 68 | 0.000 % |
222.33/222.52 c | 361021 | 1952 8355 25351 | 101841 89175 68 | 0.000 % |
222.83/223.07 c | 361742 | 1952 8355 25351 | 101841 89896 68 | 0.000 % |
223.33/223.59 c | 362534 | 1952 8355 25351 | 101841 90688 68 | 0.000 % |
224.03/224.22 c | 363405 | 1952 8355 25351 | 101841 91559 68 | 0.000 % |
224.63/224.89 c | 364363 | 1952 8355 25351 | 101841 92517 68 | 0.000 % |
225.33/225.59 c | 365416 | 1952 8355 25351 | 101841 93570 68 | 0.000 % |
226.23/226.45 c | 366576 | 1952 8355 25351 | 101841 94730 68 | 0.000 % |
227.13/227.39 c | 367849 | 1952 8355 25351 | 101841 96003 68 | 0.000 % |
228.13/228.37 c | 369250 | 1952 8355 25351 | 101841 97404 68 | 0.000 % |
229.33/229.51 c | 370790 | 1952 8355 25351 | 98154 87073 67 | 0.000 % |
230.43/230.61 c | 372487 | 1952 8355 25351 | 98154 88770 67 | 0.000 % |
231.53/231.79 c | 374350 | 1952 8355 25351 | 98154 90633 67 | 0.000 % |
232.93/233.19 c | 376400 | 1952 8355 25351 | 98154 92683 67 | 0.000 % |
234.63/234.87 c | 378656 | 1952 8355 25351 | 98154 94939 68 | 0.000 % |
236.43/236.64 c | 381134 | 1952 8355 25351 | 96283 87362 68 | 0.000 % |
238.13/238.34 c | 383861 | 1952 8355 25351 | 96283 90089 68 | 0.000 % |
240.03/240.27 c | 386858 | 1952 8355 25351 | 96283 93086 68 | 0.000 % |
242.33/242.53 c | 390157 | 1952 8355 25351 | 2147483647 96385 68 | 0.000 % |
244.72/244.99 c | 393784 | 1952 8355 25351 | 2147483647 100012 69 | 0.000 % |
244.82/245.07 c | 393884 | 1952 8355 25351 | 2147483647 100112 69 | 0.000 % |
244.92/245.15 c | 393995 | 1952 8355 25351 | 2147483647 100223 69 | 0.000 % |
245.03/245.26 c | 394116 | 1952 8355 25351 | 2147483647 100344 68 | 0.000 % |
245.13/245.37 c | 394251 | 1952 8355 25351 | 2147483647 100479 68 | 0.000 % |
245.22/245.50 c | 394398 | 1952 8355 25351 | 2147483647 100626 68 | 0.000 % |
245.42/245.61 c | 394559 | 1952 8355 25351 | 2147483647 100787 68 | 0.000 % |
245.52/245.78 c | 394736 | 1952 8355 25351 | 2147483647 100964 68 | 0.000 % |
245.72/245.95 c | 394930 | 1952 8355 25351 | 2147483647 101158 68 | 0.000 % |
245.92/246.11 c | 395142 | 1952 8355 25351 | 2147483647 101370 68 | 0.000 % |
246.02/246.30 c | 395378 | 1952 8355 25351 | 2147483647 101606 68 | 0.000 % |
246.32/246.53 c | 395635 | 1952 8355 25351 | 2147483647 101863 68 | 0.000 % |
246.52/246.74 c | 395917 | 1952 8355 25351 | 2147483647 102145 68 | 0.000 % |
246.72/246.99 c | 396226 | 1952 8355 25351 | 2147483647 102454 68 | 0.000 % |
247.02/247.23 c | 396565 | 1952 8355 25351 | 2147483647 102793 68 | 0.000 % |
247.32/247.51 c | 396937 | 1952 8355 25351 | 2147483647 103165 68 | 0.000 % |
247.62/247.82 c | 397346 | 1952 8355 25351 | 2147483647 103574 68 | 0.000 % |
247.92/248.18 c | 397795 | 1952 8355 25351 | 2147483647 104023 68 | 0.000 % |
248.32/248.58 c | 398288 | 1952 8355 25351 | 2147483647 104516 68 | 0.000 % |
248.82/249.02 c | 398830 | 1952 8355 25351 | 2147483647 105058 68 | 0.000 % |
249.32/249.50 c | 399426 | 1952 8355 25351 | 2147483647 105654 68 | 0.000 % |
249.82/250.02 c | 400081 | 1952 8355 25351 | 106228 106309 68 | 0.000 % |
250.32/250.59 c | 400801 | 1952 8355 25351 | 106228 92944 68 | 0.000 % |
250.92/251.13 c | 401593 | 1952 8355 25351 | 106228 93736 68 | 0.000 % |
251.51/251.78 c | 402465 | 1952 8355 25351 | 106228 94608 68 | 0.000 % |
252.21/252.47 c | 403423 | 1952 8355 25351 | 106228 95566 68 | 0.000 % |
253.01/253.25 c | 404479 | 1952 8355 25351 | 106228 96622 68 | 0.000 % |
253.82/254.07 c | 405637 | 1952 8355 25351 | 106228 97780 68 | 0.000 % |
254.71/254.98 c | 406914 | 1952 8355 25351 | 106228 99057 68 | 0.000 % |
255.71/255.96 c | 408315 | 1952 8355 25351 | 106228 100458 68 | 0.000 % |
256.91/257.11 c | 409855 | 1952 8355 25351 | 106228 101998 68 | 0.000 % |
258.22/258.43 c | 411549 | 1952 8355 25351 | 102145 90579 68 | 0.000 % |
259.42/259.62 c | 413413 | 1952 8355 25351 | 102145 92443 68 | 0.000 % |
260.61/260.88 c | 415462 | 1952 8355 25351 | 102145 94492 68 | 0.000 % |
262.21/262.48 c | 417715 | 1952 8355 25351 | 102145 96745 68 | 0.000 % |
264.11/264.33 c | 420194 | 1952 8355 25351 | 99031 99224 68 | 0.000 % |
266.01/266.22 c | 422921 | 1952 8355 25351 | 99031 90507 68 | 0.000 % |
268.11/268.37 c | 425918 | 1952 8355 25351 | 99031 93504 68 | 0.000 % |
270.11/270.40 c | 429216 | 1952 8355 25351 | 99031 96802 69 | 0.000 % |
272.51/272.80 c | 432841 | 1952 8355 25351 | 97586 90191 68 | 0.000 % |
275.20/275.44 c | 436828 | 1952 8355 25351 | 97586 94178 69 | 0.000 % |
275.30/275.51 c | 436930 | 1952 8355 25351 | 97586 94280 69 | 0.000 % |
275.40/275.60 c | 437040 | 1952 8355 25351 | 97586 94390 69 | 0.000 % |
275.50/275.71 c | 437162 | 1952 8355 25351 | 97586 94512 69 | 0.000 % |
275.60/275.83 c | 437295 | 1952 8355 25351 | 97586 94645 69 | 0.000 % |
275.70/275.94 c | 437441 | 1952 8355 25351 | 97586 94791 69 | 0.000 % |
275.80/276.07 c | 437603 | 1952 8355 25351 | 97586 94953 69 | 0.000 % |
276.00/276.21 c | 437781 | 1952 8355 25351 | 97586 95131 69 | 0.000 % |
276.10/276.36 c | 437974 | 1952 8355 25351 | 97586 95324 69 | 0.000 % |
276.30/276.54 c | 438187 | 1952 8355 25351 | 97586 95537 69 | 0.000 % |
276.50/276.72 c | 438420 | 1952 8355 25351 | 97586 95770 69 | 0.000 % |
276.70/276.93 c | 438677 | 1952 8355 25351 | 97586 96027 69 | 0.000 % |
276.90/277.14 c | 438958 | 1952 8355 25351 | 97586 96308 69 | 0.000 % |
277.10/277.38 c | 439268 | 1952 8355 25351 | 97586 96618 69 | 0.000 % |
277.40/277.63 c | 439610 | 1952 8355 25351 | 97586 96960 69 | 0.000 % |
277.70/277.92 c | 439982 | 1952 8355 25351 | 97586 97332 69 | 0.000 % |
278.00/278.25 c | 440391 | 1952 8355 25351 | 97350 87709 68 | 0.000 % |
278.30/278.56 c | 440840 | 1952 8355 25351 | 97350 88158 68 | 0.000 % |
278.60/278.89 c | 441335 | 1952 8355 25351 | 97350 88653 68 | 0.000 % |
279.00/279.27 c | 441879 | 1952 8355 25351 | 97350 89197 68 | 0.000 % |
279.40/279.64 c | 442475 | 1952 8355 25351 | 97350 89793 68 | 0.000 % |
279.90/280.11 c | 443131 | 1952 8355 25351 | 97350 90449 68 | 0.000 % |
280.40/280.61 c | 443855 | 1952 8355 25351 | 97350 91173 68 | 0.000 % |
280.90/281.14 c | 444647 | 1952 8355 25351 | 97350 91965 68 | 0.000 % |
281.50/281.72 c | 445519 | 1952 8355 25351 | 97350 92837 68 | 0.000 % |
282.30/282.51 c | 446477 | 1952 8355 25351 | 97350 93795 68 | 0.000 % |
283.09/283.34 c | 447530 | 1952 8355 25351 | 97350 94848 68 | 0.000 % |
283.89/284.18 c | 448690 | 1952 8355 25351 | 97350 96008 68 | 0.000 % |
284.89/285.14 c | 449963 | 1952 8355 25351 | 97350 97281 68 | 0.000 % |
285.89/286.10 c | 451364 | 1952 8355 25351 | 97318 87738 68 | 0.000 % |
286.80/287.07 c | 452904 | 1952 8355 25351 | 97318 89278 68 | 0.000 % |
287.91/288.18 c | 454599 | 1952 8355 25351 | 97318 90973 68 | 0.000 % |
289.20/289.45 c | 456462 | 1952 8355 25351 | 97318 92836 68 | 0.000 % |
290.70/290.94 c | 458512 | 1952 8355 25351 | 97318 94886 68 | 0.000 % |
292.39/292.60 c | 460765 | 1952 8355 25351 | 96374 86354 68 | 0.000 % |
293.89/294.15 c | 463244 | 1952 8355 25351 | 96374 88833 68 | 0.000 % |
295.59/295.88 c | 465970 | 1952 8355 25351 | 96374 91559 69 | 0.000 % |
297.49/297.79 c | 468968 | 1952 8355 25351 | 96374 94557 69 | 0.000 % |
299.79/300.02 c | 472267 | 1952 8355 25351 | 2147483647 97856 69 | 0.000 % |
302.39/302.63 c | 475894 | 1952 8355 25351 | 2147483647 101483 69 | 0.000 % |
305.19/305.44 c | 479883 | 1952 8355 25351 | 2147483647 105472 69 | 0.000 % |
308.28/308.54 c | 484268 | 1952 8355 25351 | 105589 96391 69 | 0.000 % |
308.38/308.64 c | 484369 | 1952 8355 25351 | 105589 96492 69 | 0.000 % |
308.48/308.72 c | 484480 | 1952 8355 25351 | 105589 96603 69 | 0.000 % |
308.58/308.83 c | 484601 | 1952 8355 25351 | 105589 96724 69 | 0.000 % |
308.68/308.95 c | 484734 | 1952 8355 25351 | 105589 96857 69 | 0.000 % |
308.79/309.07 c | 484880 | 1952 8355 25351 | 105589 97003 69 | 0.000 % |
308.98/309.20 c | 485040 | 1952 8355 25351 | 105589 97163 69 | 0.000 % |
309.08/309.37 c | 485217 | 1952 8355 25351 | 105589 97340 69 | 0.000 % |
309.28/309.52 c | 485412 | 1952 8355 25351 | 105589 97535 68 | 0.000 % |
309.38/309.69 c | 485625 | 1952 8355 25351 | 105589 97748 68 | 0.000 % |
309.58/309.88 c | 485859 | 1952 8355 25351 | 105589 97982 68 | 0.000 % |
309.78/310.06 c | 486115 | 1952 8355 25351 | 105589 98238 68 | 0.000 % |
309.98/310.28 c | 486396 | 1952 8355 25351 | 105589 98519 68 | 0.000 % |
310.28/310.53 c | 486705 | 1952 8355 25351 | 105589 98828 68 | 0.000 % |
310.48/310.79 c | 487045 | 1952 8355 25351 | 105589 99168 68 | 0.000 % |
310.88/311.14 c | 487418 | 1952 8355 25351 | 105589 99541 68 | 0.000 % |
311.18/311.47 c | 487827 | 1952 8355 25351 | 105589 99950 68 | 0.000 % |
311.58/311.82 c | 488276 | 1952 8355 25351 | 105589 100399 68 | 0.000 % |
311.98/312.20 c | 488772 | 1952 8355 25351 | 105589 100895 68 | 0.000 % |
312.28/312.59 c | 489315 | 1952 8355 25351 | 105589 101438 68 | 0.000 % |
312.78/313.07 c | 489911 | 1952 8355 25351 | 105589 102034 68 | 0.000 % |
313.38/313.62 c | 490566 | 1952 8355 25351 | 102124 88981 69 | 0.000 % |
313.78/314.08 c | 491286 | 1952 8355 25351 | 102124 89701 69 | 0.000 % |
314.28/314.59 c | 492078 | 1952 8355 25351 | 102124 90493 69 | 0.000 % |
314.88/315.19 c | 492951 | 1952 8355 25351 | 102124 91366 69 | 0.000 % |
315.58/315.84 c | 493909 | 1952 8355 25351 | 102124 92324 69 | 0.000 % |
316.18/316.50 c | 494963 | 1952 8355 25351 | 102124 93378 69 | 0.000 % |
316.98/317.25 c | 496124 | 1952 8355 25351 | 102124 94539 69 | 0.000 % |
317.78/318.08 c | 497398 | 1952 8355 25351 | 102124 95813 69 | 0.000 % |
318.68/318.98 c | 498800 | 1952 8355 25351 | 102124 97215 69 | 0.000 % |
319.88/320.11 c | 500343 | 1952 8355 25351 | 98416 88110 69 | 0.000 % |
320.98/321.21 c | 502037 | 1952 8355 25351 | 98416 89804 69 | 0.000 % |
322.17/322.43 c | 503900 | 1952 8355 25351 | 98416 91667 69 | 0.000 % |
323.57/323.80 c | 505950 | 1952 8355 25351 | 98416 93717 69 | 0.000 % |
324.97/325.26 c | 508204 | 1952 8355 25351 | 98416 95971 69 | 0.000 % |
326.77/327.00 c | 510685 | 1952 8355 25351 | 2147483647 98452 69 | 0.000 % |
328.68/328.91 c | 513412 | 1952 8355 25351 | 2147483647 101179 69 | 0.000 % |
330.77/331.03 c | 516411 | 1952 8355 25351 | 2147483647 104178 69 | 0.000 % |
333.17/333.42 c | 519708 | 1952 8355 25351 | 2147483647 107475 69 | 0.000 % |
335.67/335.90 c | 523333 | 1952 8355 25351 | 107767 98266 70 | 0.000 % |
338.46/338.77 c | 527323 | 1952 8355 25351 | 107767 102256 70 | 0.000 % |
341.86/342.16 c | 531708 | 1952 8355 25351 | 104933 92830 70 | 0.000 % |
345.26/345.55 c | 536531 | 1952 8355 25351 | 104933 97653 70 | 0.000 % |
345.36/345.65 c | 536634 | 1952 8355 25351 | 104933 97756 70 | 0.000 % |
345.46/345.74 c | 536745 | 1952 8355 25351 | 104933 97867 70 | 0.000 % |
345.56/345.83 c | 536866 | 1952 8355 25351 | 104933 97988 70 | 0.000 % |
345.66/345.97 c | 537001 | 1952 8355 25351 | 104933 98123 70 | 0.000 % |
345.86/346.11 c | 537149 | 1952 8355 25351 | 104933 98271 70 | 0.000 % |
345.96/346.25 c | 537310 | 1952 8355 25351 | 104933 98432 70 | 0.000 % |
346.16/346.41 c | 537486 | 1952 8355 25351 | 104933 98608 70 | 0.000 % |
346.26/346.56 c | 537680 | 1952 8355 25351 | 104933 98802 70 | 0.000 % |
346.46/346.72 c | 537892 | 1952 8355 25351 | 104933 99014 70 | 0.000 % |
346.66/346.92 c | 538125 | 1952 8355 25351 | 104933 99247 70 | 0.000 % |
346.86/347.15 c | 538381 | 1952 8355 25351 | 104933 99503 70 | 0.000 % |
347.06/347.37 c | 538663 | 1952 8355 25351 | 104933 99785 70 | 0.000 % |
347.36/347.64 c | 538973 | 1952 8355 25351 | 104933 100095 70 | 0.000 % |
347.66/347.92 c | 539312 | 1952 8355 25351 | 104933 100434 70 | 0.000 % |
347.96/348.22 c | 539684 | 1952 8355 25351 | 104933 100806 70 | 0.000 % |
348.26/348.58 c | 540093 | 1952 8355 25351 | 101122 101215 70 | 0.000 % |
348.66/348.97 c | 540545 | 1952 8355 25351 | 101122 87068 70 | 0.000 % |
349.05/349.35 c | 541041 | 1952 8355 25351 | 101122 87564 70 | 0.000 % |
349.46/349.76 c | 541583 | 1952 8355 25351 | 101122 88106 70 | 0.000 % |
349.86/350.19 c | 542180 | 1952 8355 25351 | 101122 88703 70 | 0.000 % |
350.36/350.66 c | 542835 | 1952 8355 25351 | 101122 89358 70 | 0.000 % |
350.95/351.20 c | 543557 | 1952 8355 25351 | 101122 90080 70 | 0.000 % |
351.45/351.75 c | 544352 | 1952 8355 25351 | 101122 90875 70 | 0.000 % |
352.05/352.38 c | 545224 | 1952 8355 25351 | 101122 91747 70 | 0.000 % |
352.76/353.05 c | 546183 | 1952 8355 25351 | 101122 92706 70 | 0.000 % |
353.55/353.81 c | 547237 | 1952 8355 25351 | 101122 93760 70 | 0.000 % |
354.35/354.66 c | 548395 | 1952 8355 25351 | 101122 94918 70 | 0.000 % |
355.25/355.52 c | 549668 | 1952 8355 25351 | 101122 96191 70 | 0.000 % |
356.35/356.60 c | 551068 | 1952 8355 25351 | 96523 85299 70 | 0.000 % |
357.35/357.67 c | 552610 | 1952 8355 25351 | 96523 86841 70 | 0.000 % |
358.55/358.89 c | 554304 | 1952 8355 25351 | 96523 88535 70 | 0.000 % |
359.85/360.19 c | 556167 | 1952 8355 25351 | 96523 90398 70 | 0.000 % |
361.15/361.49 c | 558218 | 1952 8355 25351 | 96523 92449 70 | 0.000 % |
362.85/363.14 c | 560471 | 1952 8355 25351 | 94232 83533 69 | 0.000 % |
364.45/364.73 c | 562949 | 1952 8355 25351 | 94232 86011 69 | 0.000 % |
366.15/366.48 c | 565675 | 1952 8355 25351 | 94232 88737 69 | 0.000 % |
368.05/368.33 c | 568674 | 1952 8355 25351 | 94232 91736 69 | 0.000 % |
370.35/370.64 c | 571970 | 1952 8355 25351 | 2147483647 95032 69 | 0.000 % |
372.84/373.13 c | 575595 | 1952 8355 25351 | 2147483647 98657 69 | 0.000 % |
375.64/375.99 c | 579584 | 1952 8355 25351 | 2147483647 102646 69 | 0.000 % |
378.64/378.98 c | 583971 | 1952 8355 25351 | 103062 94096 70 | 0.000 % |
382.24/382.54 c | 588795 | 1952 8355 25351 | 103062 98920 70 | 0.000 % |
386.03/386.39 c | 594103 | 1952 8355 25351 | 100125 91706 70 | 0.000 % |
386.13/386.45 c | 594203 | 1952 8355 25351 | 100125 91806 70 | 0.000 % |
386.23/386.52 c | 594313 | 1952 8355 25351 | 100125 91916 70 | 0.000 % |
386.33/386.60 c | 594435 | 1952 8355 25351 | 100125 92038 70 | 0.000 % |
386.43/386.72 c | 594569 | 1952 8355 25351 | 100125 92172 70 | 0.000 % |
386.53/386.86 c | 594720 | 1952 8355 25351 | 100125 92323 70 | 0.000 % |
386.63/386.99 c | 594881 | 1952 8355 25351 | 100125 92484 70 | 0.000 % |
386.84/387.14 c | 595061 | 1952 8355 25351 | 100125 92664 70 | 0.000 % |
387.03/387.31 c | 595256 | 1952 8355 25351 | 100125 92859 70 | 0.000 % |
387.13/387.46 c | 595469 | 1952 8355 25351 | 100125 93072 70 | 0.000 % |
387.33/387.64 c | 595702 | 1952 8355 25351 | 100125 93305 69 | 0.000 % |
387.53/387.87 c | 595959 | 1952 8355 25351 | 100125 93562 69 | 0.000 % |
387.83/388.10 c | 596242 | 1952 8355 25351 | 100125 93845 69 | 0.000 % |
388.04/388.33 c | 596551 | 1952 8355 25351 | 100125 94154 69 | 0.000 % |
388.23/388.57 c | 596892 | 1952 8355 25351 | 100125 94495 69 | 0.000 % |
388.53/388.86 c | 597265 | 1952 8355 25351 | 100125 94868 69 | 0.000 % |
388.83/389.18 c | 597674 | 1952 8355 25351 | 100125 95277 69 | 0.000 % |
389.23/389.53 c | 598123 | 1952 8355 25351 | 100125 95726 69 | 0.000 % |
389.63/389.93 c | 598616 | 1952 8355 25351 | 100125 96219 69 | 0.000 % |
390.03/390.32 c | 599158 | 1952 8355 25351 | 100125 96761 69 | 0.000 % |
390.43/390.75 c | 599755 | 1952 8355 25351 | 100125 97358 69 | 0.000 % |
391.03/391.31 c | 600410 | 1952 8355 25351 | 97605 85066 69 | 0.000 % |
391.43/391.76 c | 601130 | 1952 8355 25351 | 97605 85786 69 | 0.000 % |
391.93/392.24 c | 601923 | 1952 8355 25351 | 97605 86579 69 | 0.000 % |
392.53/392.81 c | 602794 | 1952 8355 25351 | 97605 87450 69 | 0.000 % |
393.13/393.42 c | 603752 | 1952 8355 25351 | 97605 88408 69 | 0.000 % |
393.73/394.09 c | 604808 | 1952 8355 25351 | 97605 89464 69 | 0.000 % |
394.63/394.90 c | 605969 | 1952 8355 25351 | 97605 90625 69 | 0.000 % |
395.53/395.81 c | 607242 | 1952 8355 25351 | 97605 91898 69 | 0.000 % |
396.53/396.84 c | 608642 | 1952 8355 25351 | 97605 93298 69 | 0.000 % |
397.63/397.97 c | 610183 | 1952 8355 25351 | 94657 94839 69 | 0.000 % |
398.93/399.22 c | 611877 | 1952 8355 25351 | 94657 86264 68 | 0.000 % |
400.23/400.54 c | 613742 | 1952 8355 25351 | 94657 88129 68 | 0.000 % |
401.53/401.87 c | 615791 | 1952 8355 25351 | 94657 90178 68 | 0.000 % |
403.03/403.36 c | 618044 | 1952 8355 25351 | 94657 92431 68 | 0.000 % |
404.93/405.21 c | 620523 | 1952 8355 25351 | 94390 84952 67 | 0.000 % |
406.53/406.86 c | 623248 | 1952 8355 25351 | 94390 87677 67 | 0.000 % |
408.43/408.70 c | 626246 | 1952 8355 25351 | 94390 90675 67 | 0.000 % |
410.53/410.80 c | 629542 | 1952 8355 25351 | 94390 93971 67 | 0.000 % |
413.03/413.31 c | 633169 | 1952 8355 25351 | 2147483647 97598 67 | 0.000 % |
415.82/416.12 c | 637156 | 1952 8355 25351 | 2147483647 101585 67 | 0.000 % |
419.02/419.33 c | 641541 | 1952 8355 25351 | 104430 93294 68 | 0.000 % |
422.32/422.63 c | 646364 | 1952 8355 25351 | 104430 98117 68 | 0.000 % |
426.32/426.62 c | 651669 | 1952 8355 25351 | 101755 88907 68 | 0.000 % |
430.42/430.77 c | 657504 | 1952 8355 25351 | 101755 94742 68 | 0.000 % |
430.52/430.87 c | 657604 | 1952 8355 25351 | 101755 94842 68 | 0.000 % |
430.62/430.96 c | 657714 | 1952 8355 25351 | 101755 94952 68 | 0.000 % |
430.72/431.06 c | 657835 | 1952 8355 25351 | 101755 95073 68 | 0.000 % |
430.82/431.18 c | 657968 | 1952 8355 25351 | 101755 95206 68 | 0.000 % |
431.02/431.31 c | 658116 | 1952 8355 25351 | 101755 95354 68 | 0.000 % |
431.12/431.42 c | 658276 | 1952 8355 25351 | 101755 95514 68 | 0.000 % |
431.22/431.56 c | 658453 | 1952 8355 25351 | 101755 95691 68 | 0.000 % |
431.42/431.72 c | 658646 | 1952 8355 25351 | 101755 95884 68 | 0.000 % |
431.52/431.89 c | 658858 | 1952 8355 25351 | 101755 96096 68 | 0.000 % |
431.72/432.08 c | 659091 | 1952 8355 25351 | 101755 96329 68 | 0.000 % |
432.02/432.33 c | 659347 | 1952 8355 25351 | 101755 96585 68 | 0.000 % |
432.21/432.57 c | 659629 | 1952 8355 25351 | 101755 96867 68 | 0.000 % |
432.41/432.79 c | 659943 | 1952 8355 25351 | 101755 97181 68 | 0.000 % |
432.81/433.12 c | 660282 | 1952 8355 25351 | 97238 83347 68 | 0.000 % |
433.02/433.38 c | 660655 | 1952 8355 25351 | 97238 83720 68 | 0.000 % |
433.31/433.67 c | 661065 | 1952 8355 25351 | 97238 84130 68 | 0.000 % |
433.61/433.99 c | 661514 | 1952 8355 25351 | 97238 84579 68 | 0.000 % |
434.01/434.34 c | 662007 | 1952 8355 25351 | 97238 85072 68 | 0.000 % |
434.41/434.76 c | 662549 | 1952 8355 25351 | 97238 85614 68 | 0.000 % |
434.81/435.15 c | 663145 | 1952 8355 25351 | 97238 86210 68 | 0.000 % |
435.22/435.53 c | 663800 | 1952 8355 25351 | 97238 86865 68 | 0.000 % |
435.71/436.04 c | 664520 | 1952 8355 25351 | 97238 87585 68 | 0.000 % |
436.32/436.61 c | 665313 | 1952 8355 25351 | 97238 88378 68 | 0.000 % |
436.91/437.22 c | 666184 | 1952 8355 25351 | 97238 89249 68 | 0.000 % |
437.52/437.86 c | 667142 | 1952 8355 25351 | 97238 90207 68 | 0.000 % |
438.21/438.59 c | 668197 | 1952 8355 25351 | 97238 91262 68 | 0.000 % |
439.01/439.36 c | 669355 | 1952 8355 25351 | 97238 92420 68 | 0.000 % |
440.01/440.33 c | 670629 | 1952 8355 25351 | 93067 82416 68 | 0.000 % |
440.91/441.24 c | 672029 | 1952 8355 25351 | 93067 83816 68 | 0.000 % |
441.91/442.25 c | 673569 | 1952 8355 25351 | 93067 85356 68 | 0.000 % |
443.01/443.35 c | 675263 | 1952 8355 25351 | 93067 87050 68 | 0.000 % |
444.21/444.53 c | 677126 | 1952 8355 25351 | 93067 88913 68 | 0.000 % |
445.51/445.88 c | 679180 | 1952 8355 25351 | 93067 90967 68 | 0.000 % |
447.11/447.48 c | 681433 | 1952 8355 25351 | 2147483647 93220 68 | 0.000 % |
448.91/449.27 c | 683912 | 1952 8355 25351 | 2147483647 95699 68 | 0.000 % |
451.01/451.32 c | 686638 | 1952 8355 25351 | 2147483647 98425 68 | 0.000 % |
453.21/453.58 c | 689635 | 1952 8355 25351 | 2147483647 101422 69 | 0.000 % |
455.41/455.77 c | 692932 | 1952 8355 25351 | 101787 91836 69 | 0.000 % |
457.80/458.18 c | 696558 | 1952 8355 25351 | 101787 95462 69 | 0.000 % |
460.51/460.82 c | 700549 | 1952 8355 25351 | 98904 87369 69 | 0.000 % |
463.00/463.38 c | 704934 | 1952 8355 25351 | 98904 91754 70 | 0.000 % |
466.40/466.76 c | 709757 | 1952 8355 25351 | 98904 96577 70 | 0.000 % |
469.80/470.19 c | 715062 | 1952 8355 25351 | 96821 89561 70 | 0.000 % |
473.80/474.19 c | 720897 | 1952 8355 25351 | 94499 83153 70 | 0.000 % |
477.99/478.38 c | 727316 | 1952 8355 25351 | 94499 89572 70 | 0.000 % |
478.10/478.45 c | 727417 | 1952 8355 25351 | 94499 89673 70 | 0.000 % |
478.20/478.55 c | 727527 | 1952 8355 25351 | 94499 89783 70 | 0.000 % |
478.29/478.66 c | 727650 | 1952 8355 25351 | 94499 89906 70 | 0.000 % |
478.39/478.78 c | 727783 | 1952 8355 25351 | 94499 90039 70 | 0.000 % |
478.59/478.90 c | 727930 | 1952 8355 25351 | 94499 90186 70 | 0.000 % |
478.69/479.03 c | 728090 | 1952 8355 25351 | 94499 90346 70 | 0.000 % |
478.80/479.18 c | 728266 | 1952 8355 25351 | 94499 90522 70 | 0.000 % |
479.00/479.34 c | 728462 | 1952 8355 25351 | 94499 90718 70 | 0.000 % |
479.20/479.50 c | 728676 | 1952 8355 25351 | 94499 90932 70 | 0.000 % |
479.40/479.70 c | 728909 | 1952 8355 25351 | 94499 91165 70 | 0.000 % |
479.50/479.89 c | 729166 | 1952 8355 25351 | 94499 91422 70 | 0.000 % |
479.70/480.09 c | 729447 | 1952 8355 25351 | 94499 91703 70 | 0.000 % |
480.00/480.33 c | 729756 | 1952 8355 25351 | 94499 92012 70 | 0.000 % |
480.30/480.61 c | 730095 | 1952 8355 25351 | 92256 92351 70 | 0.000 % |
480.60/480.94 c | 730467 | 1952 8355 25351 | 92256 81925 70 | 0.000 % |
480.90/481.22 c | 730876 | 1952 8355 25351 | 92256 82334 70 | 0.000 % |
481.20/481.54 c | 731325 | 1952 8355 25351 | 92256 82783 70 | 0.000 % |
481.50/481.87 c | 731819 | 1952 8355 25351 | 92256 83277 70 | 0.000 % |
481.90/482.23 c | 732363 | 1952 8355 25351 | 92256 83821 70 | 0.000 % |
482.30/482.61 c | 732961 | 1952 8355 25351 | 92256 84419 70 | 0.000 % |
482.70/483.06 c | 733617 | 1952 8355 25351 | 92256 85075 70 | 0.000 % |
483.20/483.54 c | 734337 | 1952 8355 25351 | 92256 85795 70 | 0.000 % |
483.70/484.08 c | 735130 | 1952 8355 25351 | 92256 86588 70 | 0.000 % |
484.30/484.69 c | 736001 | 1952 8355 25351 | 92256 87459 70 | 0.000 % |
484.99/485.36 c | 736960 | 1952 8355 25351 | 92256 88418 70 | 0.000 % |
485.69/486.04 c | 738014 | 1952 8355 25351 | 92256 89472 70 | 0.000 % |
486.49/486.85 c | 739172 | 1952 8355 25351 | 92256 90630 70 | 0.000 % |
487.39/487.74 c | 740445 | 1952 8355 25351 | 91458 82649 69 | 0.000 % |
488.29/488.63 c | 741846 | 1952 8355 25351 | 91458 84050 69 | 0.000 % |
489.29/489.64 c | 743388 | 1952 8355 25351 | 91458 85592 70 | 0.000 % |
490.39/490.77 c | 745084 | 1952 8355 25351 | 91458 87288 70 | 0.000 % |
491.69/492.03 c | 746949 | 1952 8355 25351 | 91458 89153 70 | 0.000 % |
492.99/493.34 c | 748998 | 1952 8355 25351 | 91458 91202 70 | 0.000 % |
494.39/494.79 c | 751251 | 1952 8355 25351 | 2147483647 84284 70 | 0.000 % |
495.99/496.33 c | 753729 | 1952 8355 25351 | 2147483647 86762 70 | 0.000 % |
497.79/498.14 c | 756454 | 1952 8355 25351 | 2147483647 89487 70 | 0.000 % |
499.79/500.11 c | 759453 | 1952 8355 25351 | 2147483647 92486 70 | 0.000 % |
501.99/502.37 c | 762749 | 1952 8355 25351 | 2147483647 95782 70 | 0.000 % |
504.59/504.97 c | 766374 | 1952 8355 25351 | 2147483647 99407 71 | 0.000 % |
507.58/507.99 c | 770362 | 1952 8355 25351 | 103033 91511 70 | 0.000 % |
510.68/511.08 c | 774747 | 1952 8355 25351 | 103033 95896 71 | 0.000 % |
514.28/514.64 c | 779570 | 1952 8355 25351 | 103033 100719 70 | 0.000 % |
517.88/518.23 c | 784878 | 1952 8355 25351 | 101153 92887 70 | 0.000 % |
521.77/522.18 c | 790714 | 1952 8355 25351 | 98011 87213 69 | 0.000 % |
526.27/526.62 c | 797132 | 1952 8355 25351 | 98011 93631 70 | 0.000 % |
531.37/531.74 c | 804193 | 1952 8355 25351 | 96499 89363 70 | 0.000 % |
531.47/531.83 c | 804293 | 1952 8355 25351 | 96499 89463 70 | 0.000 % |
531.47/531.90 c | 804404 | 1952 8355 25351 | 96499 89574 70 | 0.000 % |
531.67/532.00 c | 804527 | 1952 8355 25351 | 96499 89697 70 | 0.000 % |
531.77/532.12 c | 804663 | 1952 8355 25351 | 96499 89833 70 | 0.000 % |
531.87/532.23 c | 804809 | 1952 8355 25351 | 96499 89979 70 | 0.000 % |
531.97/532.36 c | 804969 | 1952 8355 25351 | 96499 90139 70 | 0.000 % |
532.07/532.50 c | 805146 | 1952 8355 25351 | 96499 90316 70 | 0.000 % |
532.27/532.64 c | 805339 | 1952 8355 25351 | 96499 90509 70 | 0.000 % |
532.37/532.77 c | 805551 | 1952 8355 25351 | 96499 90721 70 | 0.000 % |
532.57/532.95 c | 805784 | 1952 8355 25351 | 96499 90954 70 | 0.000 % |
532.77/533.15 c | 806044 | 1952 8355 25351 | 96499 91214 70 | 0.000 % |
532.97/533.36 c | 806325 | 1952 8355 25351 | 96499 91495 70 | 0.000 % |
533.27/533.60 c | 806635 | 1952 8355 25351 | 96499 91805 69 | 0.000 % |
533.47/533.80 c | 806975 | 1952 8355 25351 | 96499 92145 69 | 0.000 % |
533.67/534.04 c | 807351 | 1952 8355 25351 | 96499 92521 69 | 0.000 % |
533.97/534.32 c | 807760 | 1952 8355 25351 | 96499 92930 69 | 0.000 % |
534.27/534.65 c | 808209 | 1952 8355 25351 | 96499 93379 69 | 0.000 % |
534.66/535.04 c | 808702 | 1952 8355 25351 | 96499 93872 69 | 0.000 % |
535.06/535.42 c | 809246 | 1952 8355 25351 | 96499 94416 69 | 0.000 % |
535.46/535.88 c | 809842 | 1952 8355 25351 | 96499 95012 69 | 0.000 % |
535.96/536.37 c | 810499 | 1952 8355 25351 | 95172 84509 69 | 0.000 % |
536.47/536.84 c | 811219 | 1952 8355 25351 | 95172 85229 69 | 0.000 % |
536.96/537.32 c | 812011 | 1952 8355 25351 | 95172 86021 69 | 0.000 % |
537.47/537.89 c | 812882 | 1952 8355 25351 | 95172 86892 69 | 0.000 % |
538.16/538.53 c | 813840 | 1952 8355 25351 | 95172 87850 69 | 0.000 % |
538.76/539.17 c | 814893 | 1952 8355 25351 | 95172 88903 69 | 0.000 % |
539.56/539.95 c | 816051 | 1952 8355 25351 | 95172 90061 69 | 0.000 % |
540.46/540.89 c | 817324 | 1952 8355 25351 | 95172 91334 69 | 0.000 % |
541.56/541.90 c | 818725 | 1952 8355 25351 | 95172 92735 69 | 0.000 % |
542.66/543.04 c | 820266 | 1952 8355 25351 | 94012 84463 69 | 0.000 % |
543.76/544.11 c | 821963 | 1952 8355 25351 | 94012 86160 69 | 0.000 % |
544.96/545.37 c | 823827 | 1952 8355 25351 | 94012 88024 69 | 0.000 % |
546.36/546.79 c | 825877 | 1952 8355 25351 | 94012 90074 69 | 0.000 % |
547.96/548.34 c | 828130 | 1952 8355 25351 | 94012 92327 69 | 0.000 % |
549.66/550.09 c | 830608 | 1952 8355 25351 | 94198 85012 69 | 0.000 % |
551.46/551.85 c | 833335 | 1952 8355 25351 | 94198 87739 69 | 0.000 % |
553.26/553.68 c | 836332 | 1952 8355 25351 | 94198 90736 70 | 0.000 % |
555.46/555.86 c | 839629 | 1952 8355 25351 | 94198 94033 70 | 0.000 % |
557.96/558.39 c | 843256 | 1952 8355 25351 | 2147483647 97660 70 | 0.000 % |
560.95/561.39 c | 847243 | 1952 8355 25351 | 2147483647 101647 70 | 0.000 % |
564.25/564.69 c | 851628 | 1952 8355 25351 | 104404 92315 70 | 0.000 % |
567.45/567.86 c | 856452 | 1952 8355 25351 | 104404 97139 70 | 0.000 % |
571.25/571.63 c | 861758 | 1952 8355 25351 | 100689 90386 69 | 0.000 % |
575.45/575.84 c | 867595 | 1952 8355 25351 | 100689 96223 70 | 0.000 % |
580.04/580.43 c | 874013 | 1952 8355 25351 | 98628 90109 70 | 0.000 % |
584.75/585.14 c | 881073 | 1952 8355 25351 | 96096 85278 70 | 0.000 % |
589.84/590.22 c | 888838 | 1952 8355 25351 | 96096 93043 70 | 0.000 % |
589.94/590.30 c | 888938 | 1952 8355 25351 | 96096 93143 70 | 0.000 % |
589.94/590.40 c | 889049 | 1952 8355 25351 | 96096 93254 70 | 0.000 % |
590.14/590.51 c | 889173 | 1952 8355 25351 | 96096 93378 70 | 0.000 % |
590.24/590.61 c | 889307 | 1952 8355 25351 | 96096 93512 70 | 0.000 % |
590.34/590.75 c | 889455 | 1952 8355 25351 | 96096 93660 70 | 0.000 % |
590.44/590.87 c | 889617 | 1952 8355 25351 | 96096 93822 70 | 0.000 % |
590.64/591.02 c | 889793 | 1952 8355 25351 | 96096 93998 70 | 0.000 % |
590.74/591.19 c | 889986 | 1952 8355 25351 | 96096 94191 70 | 0.000 % |
590.94/591.35 c | 890201 | 1952 8355 25351 | 94205 94406 70 | 0.000 % |
591.14/591.58 c | 890435 | 1952 8355 25351 | 94205 82885 70 | 0.000 % |
591.34/591.73 c | 890691 | 1952 8355 25351 | 94205 83141 70 | 0.000 % |
591.54/591.91 c | 890973 | 1952 8355 25351 | 94205 83423 70 | 0.000 % |
591.74/592.13 c | 891285 | 1952 8355 25351 | 94205 83735 70 | 0.000 % |
591.94/592.37 c | 891624 | 1952 8355 25351 | 94205 84074 70 | 0.000 % |
592.24/592.61 c | 891996 | 1952 8355 25351 | 94205 84446 70 | 0.000 % |
592.44/592.87 c | 892405 | 1952 8355 25351 | 94205 84855 70 | 0.000 % |
592.74/593.15 c | 892854 | 1952 8355 25351 | 94205 85304 70 | 0.000 % |
593.04/593.48 c | 893348 | 1952 8355 25351 | 94205 85798 70 | 0.000 % |
593.44/593.85 c | 893891 | 1952 8355 25351 | 94205 86341 70 | 0.000 % |
593.84/594.25 c | 894487 | 1952 8355 25351 | 94205 86937 70 | 0.000 % |
594.34/594.71 c | 895143 | 1952 8355 25351 | 94205 87593 70 | 0.000 % |
594.84/595.24 c | 895864 | 1952 8355 25351 | 94205 88314 70 | 0.000 % |
595.44/595.87 c | 896657 | 1952 8355 25351 | 94205 89107 70 | 0.000 % |
596.04/596.49 c | 897528 | 1952 8355 25351 | 94205 89978 70 | 0.000 % |
596.74/597.20 c | 898486 | 1952 8355 25351 | 94205 90936 70 | 0.000 % |
597.54/597.91 c | 899539 | 1952 8355 25351 | 94205 91989 70 | 0.000 % |
598.44/598.81 c | 900701 | 1952 8355 25351 | 92450 83094 70 | 0.000 % |
599.24/599.61 c | 901975 | 1952 8355 25351 | 92450 84368 70 | 0.000 % |
600.14/600.54 c | 903375 | 1952 8355 25351 | 92450 85768 70 | 0.000 % |
601.14/601.50 c | 904915 | 1952 8355 25351 | 92450 87308 70 | 0.000 % |
602.13/602.58 c | 906610 | 1952 8355 25351 | 92450 89003 70 | 0.000 % |
603.33/603.71 c | 908473 | 1952 8355 25351 | 92450 90866 70 | 0.000 % |
604.73/605.11 c | 910522 | 1952 8355 25351 | 2147483647 92915 70 | 0.000 % |
606.23/606.67 c | 912776 | 1952 8355 25351 | 2147483647 95169 70 | 0.000 % |
607.83/608.29 c | 915254 | 1952 8355 25351 | 2147483647 97647 70 | 0.000 % |
609.73/610.16 c | 917979 | 1952 8355 25351 | 2147483647 100372 71 | 0.000 % |
612.03/612.42 c | 920978 | 1952 8355 25351 | 102393 91979 71 | 0.000 % |
614.23/614.69 c | 924274 | 1952 8355 25351 | 102393 95275 71 | 0.000 % |
616.92/617.33 c | 927901 | 1952 8355 25351 | 102393 98902 71 | 0.000 % |
619.82/620.22 c | 931889 | 1952 8355 25351 | 101004 91166 71 | 0.000 % |
622.72/623.19 c | 936277 | 1952 8355 25351 | 101004 95554 71 | 0.000 % |
626.22/626.69 c | 941101 | 1952 8355 25351 | 99279 88945 71 | 0.000 % |
629.92/630.37 c | 946406 | 1952 8355 25351 | 99279 94250 71 | 0.000 % |
634.22/634.64 c | 952242 | 1952 8355 25351 | 97844 88206 70 | 0.000 % |
638.92/639.35 c | 958661 | 1952 8355 25351 | 97844 94625 70 | 0.000 % |
643.81/644.25 c | 965721 | 1952 8355 25351 | 95964 90293 70 | 0.000 % |
649.11/649.51 c | 973485 | 1952 8355 25351 | 94572 87124 70 | 0.000 % |
654.80/655.29 c | 982025 | 1952 8355 25351 | 93642 85961 71 | 0.000 % |
654.90/655.37 c | 982125 | 1952 8355 25351 | 93642 86061 71 | 0.000 % |
655.00/655.45 c | 982235 | 1952 8355 25351 | 93642 86171 71 | 0.000 % |
655.11/655.54 c | 982356 | 1952 8355 25351 | 93642 86292 71 | 0.000 % |
655.21/655.64 c | 982489 | 1952 8355 25351 | 93642 86425 71 | 0.000 % |
655.30/655.75 c | 982635 | 1952 8355 25351 | 93642 86571 71 | 0.000 % |
655.40/655.87 c | 982795 | 1952 8355 25351 | 93642 86731 71 | 0.000 % |
655.50/655.99 c | 982971 | 1952 8355 25351 | 93642 86907 71 | 0.000 % |
655.70/656.14 c | 983165 | 1952 8355 25351 | 93642 87101 71 | 0.000 % |
655.80/656.27 c | 983377 | 1952 8355 25351 | 93642 87313 71 | 0.000 % |
656.00/656.42 c | 983611 | 1952 8355 25351 | 93642 87547 71 | 0.000 % |
656.10/656.60 c | 983867 | 1952 8355 25351 | 93642 87803 71 | 0.000 % |
656.40/656.80 c | 984148 | 1952 8355 25351 | 93642 88084 71 | 0.000 % |
656.60/657.02 c | 984459 | 1952 8355 25351 | 93642 88395 71 | 0.000 % |
656.80/657.29 c | 984803 | 1952 8355 25351 | 93642 88739 71 | 0.000 % |
657.10/657.58 c | 985175 | 1952 8355 25351 | 93642 89111 71 | 0.000 % |
657.41/657.86 c | 985584 | 1952 8355 25351 | 93642 89520 71 | 0.000 % |
657.70/658.19 c | 986033 | 1952 8355 25351 | 93642 89969 71 | 0.000 % |
658.10/658.53 c | 986526 | 1952 8355 25351 | 93642 90462 71 | 0.000 % |
658.51/658.92 c | 987070 | 1952 8355 25351 | 93642 91006 71 | 0.000 % |
658.90/659.31 c | 987667 | 1952 8355 25351 | 93642 91603 71 | 0.000 % |
659.30/659.77 c | 988322 | 1952 8355 25351 | 93642 92258 71 | 0.000 % |
659.80/660.27 c | 989044 | 1952 8355 25351 | 93642 92980 71 | 0.000 % |
660.30/660.78 c | 989838 | 1952 8355 25351 | 93642 93774 71 | 0.000 % |
661.00/661.44 c | 990709 | 1952 8355 25351 | 84341 76591 70 | 0.000 % |
661.50/661.95 c | 991667 | 1952 8355 25351 | 84341 77549 70 | 0.000 % |
662.20/662.60 c | 992720 | 1952 8355 25351 | 84341 78602 70 | 0.000 % |
662.80/663.27 c | 993878 | 1952 8355 25351 | 84341 79760 70 | 0.000 % |
663.60/664.00 c | 995152 | 1952 8355 25351 | 84341 81034 70 | 0.000 % |
664.40/664.87 c | 996552 | 1952 8355 25351 | 84341 82434 70 | 0.000 % |
665.30/665.73 c | 998093 | 1952 8355 25351 | 84341 83975 70 | 0.000 % |
666.30/666.73 c | 999790 | 1952 8355 25351 | 84341 77208 70 | 0.000 % |
667.30/667.78 c | 1001653 | 1952 8355 25351 | 2147483647 79071 70 | 0.000 % |
668.50/668.99 c | 1003705 | 1952 8355 25351 | 2147483647 81123 70 | 0.000 % |
669.90/670.32 c | 1005959 | 1952 8355 25351 | 2147483647 83377 70 | 0.000 % |
671.30/671.76 c | 1008438 | 1952 8355 25351 | 2147483647 85856 70 | 0.000 % |
672.99/673.43 c | 1011163 | 1952 8355 25351 | 2147483647 88581 70 | 0.000 % |
674.79/675.26 c | 1014160 | 1952 8355 25351 | 2147483647 91578 70 | 0.000 % |
676.99/677.42 c | 1017458 | 1952 8355 25351 | 2147483647 94876 70 | 0.000 % |
679.40/679.87 c | 1021083 | 1952 8355 25351 | 2147483647 98501 70 | 0.000 % |
682.09/682.56 c | 1025071 | 1952 8355 25351 | 2147483647 102489 70 | 0.000 % |
685.40/685.83 c | 1029456 | 1952 8355 25351 | 2147483647 106874 70 | 0.000 % |
688.89/689.36 c | 1034279 | 1952 8355 25351 | 107419 98759 70 | 0.000 % |
692.69/693.16 c | 1039586 | 1952 8355 25351 | 107419 104066 70 | 0.000 % |
696.59/697.02 c | 1045422 | 1952 8355 25351 | 104480 96424 69 | 0.000 % |
700.78/701.25 c | 1051842 | 1952 8355 25351 | 101002 90757 69 | 0.000 % |
706.08/706.53 c | 1058901 | 1952 8355 25351 | 101002 97816 70 | 0.000 % |
711.48/711.98 c | 1066667 | 1952 8355 25351 | 98916 91394 70 | 0.000 % |
717.28/717.72 c | 1075209 | 1952 8355 25351 | 94727 88409 71 | 0.000 % |
723.58/724.08 c | 1084608 | 1952 8355 25351 | 2147483647 97808 71 | 0.000 % |
723.67/724.16 c | 1084708 | 1952 8355 25351 | 2147483647 97908 71 | 0.000 % |
723.77/724.25 c | 1084819 | 1952 8355 25351 | 2147483647 98019 71 | 0.000 % |
723.87/724.36 c | 1084940 | 1952 8355 25351 | 2147483647 98140 71 | 0.000 % |
723.97/724.49 c | 1085073 | 1952 8355 25351 | 2147483647 98273 71 | 0.000 % |
724.17/724.64 c | 1085219 | 1952 8355 25351 | 2147483647 98419 71 | 0.000 % |
724.27/724.78 c | 1085380 | 1952 8355 25351 | 2147483647 98580 71 | 0.000 % |
724.48/724.94 c | 1085558 | 1952 8355 25351 | 2147483647 98758 71 | 0.000 % |
724.67/725.11 c | 1085752 | 1952 8355 25351 | 2147483647 98952 71 | 0.000 % |
724.87/725.31 c | 1085964 | 1952 8355 25351 | 2147483647 99164 71 | 0.000 % |
725.07/725.51 c | 1086198 | 1952 8355 25351 | 2147483647 99398 71 | 0.000 % |
725.27/725.72 c | 1086454 | 1952 8355 25351 | 2147483647 99654 71 | 0.000 % |
725.47/725.96 c | 1086735 | 1952 8355 25351 | 2147483647 99935 71 | 0.000 % |
725.77/726.21 c | 1087044 | 1952 8355 25351 | 2147483647 100244 71 | 0.000 % |
725.97/726.48 c | 1087386 | 1952 8355 25351 | 2147483647 100586 71 | 0.000 % |
726.27/726.78 c | 1087759 | 1952 8355 25351 | 2147483647 100959 70 | 0.000 % |
726.67/727.11 c | 1088169 | 1952 8355 25351 | 2147483647 101369 70 | 0.000 % |
726.97/727.47 c | 1088619 | 1952 8355 25351 | 2147483647 101819 70 | 0.000 % |
727.37/727.87 c | 1089112 | 1952 8355 25351 | 2147483647 102312 70 | 0.000 % |
727.87/728.31 c | 1089654 | 1952 8355 25351 | 2147483647 102854 70 | 0.000 % |
728.27/728.76 c | 1090250 | 1952 8355 25351 | 103202 103450 70 | 0.000 % |
728.77/729.29 c | 1090905 | 1952 8355 25351 | 103202 89237 70 | 0.000 % |
729.27/729.78 c | 1091626 | 1952 8355 25351 | 103202 89958 70 | 0.000 % |
729.87/730.34 c | 1092422 | 1952 8355 25351 | 103202 90754 70 | 0.000 % |
730.47/730.95 c | 1093293 | 1952 8355 25351 | 103202 91625 70 | 0.000 % |
731.17/731.63 c | 1094251 | 1952 8355 25351 | 103202 92583 70 | 0.000 % |
731.87/732.39 c | 1095305 | 1952 8355 25351 | 103202 93637 70 | 0.000 % |
732.77/733.21 c | 1096465 | 1952 8355 25351 | 103202 94797 70 | 0.000 % |
733.67/734.15 c | 1097740 | 1952 8355 25351 | 103202 96072 70 | 0.000 % |
734.67/735.16 c | 1099140 | 1952 8355 25351 | 103202 97472 70 | 0.000 % |
735.87/736.39 c | 1100681 | 1952 8355 25351 | 98332 86804 70 | 0.000 % |
736.96/737.43 c | 1102378 | 1952 8355 25351 | 98332 88501 70 | 0.000 % |
738.16/738.66 c | 1104242 | 1952 8355 25351 | 98332 90365 70 | 0.000 % |
739.56/740.02 c | 1106292 | 1952 8355 25351 | 98332 92415 70 | 0.000 % |
741.06/741.54 c | 1108546 | 1952 8355 25351 | 98332 94669 70 | 0.000 % |
742.76/743.26 c | 1111024 | 1952 8355 25351 | 96124 87165 70 | 0.000 % |
744.46/744.95 c | 1113749 | 1952 8355 25351 | 96124 89890 70 | 0.000 % |
746.46/746.95 c | 1116746 | 1952 8355 25351 | 96124 92887 70 | 0.000 % |
748.66/749.20 c | 1120042 | 1952 8355 25351 | 2147483647 96183 70 | 0.000 % |
751.15/751.64 c | 1123667 | 1952 8355 25351 | 2147483647 99808 70 | 0.000 % |
754.06/754.52 c | 1127658 | 1952 8355 25351 | 2147483647 103799 70 | 0.000 % |
757.46/757.98 c | 1132045 | 1952 8355 25351 | 106143 94728 71 | 0.000 % |
760.85/761.38 c | 1136868 | 1952 8355 25351 | 106143 99551 71 | 0.000 % |
764.65/765.17 c | 1142173 | 1952 8355 25351 | 102683 91173 71 | 0.000 % |
768.65/769.11 c | 1148008 | 1952 8355 25351 | 102683 97008 71 | 0.000 % |
773.05/773.50 c | 1154427 | 1952 8355 25351 | 99001 90097 71 | 0.000 % |
778.05/778.54 c | 1161486 | 1952 8355 25351 | 95671 85571 71 | 0.000 % |
783.14/783.67 c | 1169250 | 1952 8355 25351 | 95671 93335 71 | 0.000 % |
789.93/790.43 c | 1177791 | 1952 8355 25351 | 94085 91429 71 | 0.000 % |
796.43/796.94 c | 1187185 | 1952 8355 25351 | 93639 88887 73 | 0.000 % |
803.53/804.09 c | 1197518 | 1952 8355 25351 | 91702 88536 74 | 0.000 % |
803.63/804.19 c | 1197618 | 1952 8355 25351 | 91702 88636 74 | 0.000 % |
803.72/804.28 c | 1197728 | 1952 8355 25351 | 91702 88746 74 | 0.000 % |
803.82/804.37 c | 1197852 | 1952 8355 25351 | 91702 88870 74 | 0.000 % |
803.92/804.47 c | 1197985 | 1952 8355 25351 | 91702 89003 74 | 0.000 % |
804.02/804.59 c | 1198132 | 1952 8355 25351 | 91702 89150 74 | 0.000 % |
804.22/804.73 c | 1198294 | 1952 8355 25351 | 91702 89312 74 | 0.000 % |
804.32/804.87 c | 1198470 | 1952 8355 25351 | 91702 89488 74 | 0.000 % |
804.52/805.04 c | 1198663 | 1952 8355 25351 | 91702 89681 74 | 0.000 % |
804.73/805.20 c | 1198877 | 1952 8355 25351 | 91702 89895 74 | 0.000 % |
804.92/805.40 c | 1199111 | 1952 8355 25351 | 91702 90129 74 | 0.000 % |
805.02/805.58 c | 1199367 | 1952 8355 25351 | 91702 90385 74 | 0.000 % |
805.32/805.82 c | 1199648 | 1952 8355 25351 | 91702 90666 74 | 0.000 % |
805.52/806.05 c | 1199958 | 1952 8355 25351 | 91702 90976 74 | 0.000 % |
805.83/806.36 c | 1200297 | 1952 8355 25351 | 91019 81418 74 | 0.000 % |
806.12/806.61 c | 1200670 | 1952 8355 25351 | 91019 81791 74 | 0.000 % |
806.42/806.93 c | 1201079 | 1952 8355 25351 | 91019 82200 74 | 0.000 % |
806.72/807.24 c | 1201529 | 1952 8355 25351 | 91019 82650 74 | 0.000 % |
807.12/807.61 c | 1202022 | 1952 8355 25351 | 91019 83143 74 | 0.000 % |
807.42/807.99 c | 1202564 | 1952 8355 25351 | 91019 83685 74 | 0.000 % |
807.82/808.38 c | 1203162 | 1952 8355 25351 | 91019 84283 74 | 0.000 % |
808.22/808.77 c | 1203818 | 1952 8355 25351 | 91019 84939 74 | 0.000 % |
808.72/809.27 c | 1204538 | 1952 8355 25351 | 91019 85659 73 | 0.000 % |
809.22/809.76 c | 1205330 | 1952 8355 25351 | 91019 86451 73 | 0.000 % |
809.82/810.32 c | 1206202 | 1952 8355 25351 | 91019 87323 73 | 0.000 % |
810.42/810.92 c | 1207160 | 1952 8355 25351 | 91019 88281 73 | 0.000 % |
811.02/811.54 c | 1208214 | 1952 8355 25351 | 91019 89335 73 | 0.000 % |
811.72/812.29 c | 1209372 | 1952 8355 25351 | 91019 90493 73 | 0.000 % |
812.62/813.11 c | 1210645 | 1952 8355 25351 | 2147483647 91766 73 | 0.000 % |
813.52/814.04 c | 1212045 | 1952 8355 25351 | 2147483647 93166 73 | 0.000 % |
814.62/815.18 c | 1213586 | 1952 8355 25351 | 2147483647 94707 73 | 0.000 % |
815.82/816.34 c | 1215280 | 1952 8355 25351 | 2147483647 96401 73 | 0.000 % |
817.12/817.65 c | 1217144 | 1952 8355 25351 | 2147483647 98265 73 | 0.000 % |
818.62/819.11 c | 1219197 | 1952 8355 25351 | 2147483647 100318 73 | 0.000 % |
820.12/820.65 c | 1221450 | 1952 8355 25351 | 101124 91504 73 | 0.000 % |
821.82/822.38 c | 1223928 | 1952 8355 25351 | 101124 93982 72 | 0.000 % |
823.92/824.46 c | 1226654 | 1952 8355 25351 | 101124 96708 72 | 0.000 % |
826.22/826.77 c | 1229651 | 1952 8355 25351 | 101124 99705 72 | 0.000 % |
828.62/829.18 c | 1232950 | 1952 8355 25351 | 100054 91168 72 | 0.000 % |
831.12/831.66 c | 1236576 | 1952 8355 25351 | 100054 94794 72 | 0.000 % |
834.01/834.51 c | 1240564 | 1952 8355 25351 | 98220 87304 71 | 0.000 % |
836.70/837.20 c | 1244953 | 1952 8355 25351 | 98220 91693 72 | 0.000 % |
840.10/840.62 c | 1249776 | 1952 8355 25351 | 98220 96516 72 | 0.000 % |
843.50/844.03 c | 1255081 | 1952 8355 25351 | 96742 91192 72 | 0.000 % |
847.20/847.79 c | 1260918 | 1952 8355 25351 | 96111 86399 71 | 0.000 % |
851.20/851.76 c | 1267337 | 1952 8355 25351 | 96111 92818 72 | 0.000 % |
856.40/856.92 c | 1274399 | 1952 8355 25351 | 95482 89419 71 | 0.000 % |
861.90/862.48 c | 1282165 | 1952 8355 25351 | 95020 86710 70 | 0.000 % |
868.20/868.77 c | 1290706 | 1952 8355 25351 | 94545 84598 71 | 0.000 % |
874.79/875.39 c | 1300100 | 1952 8355 25351 | 93892 93992 72 | 0.000 % |
882.39/882.98 c | 1310433 | 1952 8355 25351 | 93572 82487 73 | 0.000 % |
889.98/890.51 c | 1321799 | 1952 8355 25351 | 92055 84221 74 | 0.000 % |
889.98/890.59 c | 1321899 | 1952 8355 25351 | 92055 84321 74 | 0.000 % |
890.08/890.67 c | 1322010 | 1952 8355 25351 | 92055 84432 74 | 0.000 % |
890.18/890.77 c | 1322131 | 1952 8355 25351 | 92055 84553 74 | 0.000 % |
890.28/890.88 c | 1322264 | 1952 8355 25351 | 92055 84686 74 | 0.000 % |
890.39/890.99 c | 1322411 | 1952 8355 25351 | 92055 84833 74 | 0.000 % |
890.49/891.09 c | 1322571 | 1952 8355 25351 | 92055 84993 74 | 0.000 % |
890.68/891.22 c | 1322747 | 1952 8355 25351 | 92055 85169 74 | 0.000 % |
890.78/891.36 c | 1322942 | 1952 8355 25351 | 92055 85364 74 | 0.000 % |
890.98/891.50 c | 1323156 | 1952 8355 25351 | 92055 85578 74 | 0.000 % |
891.08/891.68 c | 1323389 | 1952 8355 25351 | 92055 85811 74 | 0.000 % |
891.28/891.88 c | 1323645 | 1952 8355 25351 | 92055 86067 73 | 0.000 % |
891.49/892.09 c | 1323926 | 1952 8355 25351 | 92055 86348 73 | 0.000 % |
891.78/892.34 c | 1324235 | 1952 8355 25351 | 92055 86657 73 | 0.000 % |
891.98/892.57 c | 1324575 | 1952 8355 25351 | 92055 86997 73 | 0.000 % |
892.28/892.82 c | 1324947 | 1952 8355 25351 | 92055 87369 73 | 0.000 % |
892.48/893.09 c | 1325356 | 1952 8355 25351 | 92055 87778 73 | 0.000 % |
892.78/893.38 c | 1325806 | 1952 8355 25351 | 92055 88228 73 | 0.000 % |
893.18/893.77 c | 1326300 | 1952 8355 25351 | 92055 88722 73 | 0.000 % |
893.58/894.14 c | 1326844 | 1952 8355 25351 | 92055 89266 73 | 0.000 % |
893.98/894.58 c | 1327441 | 1952 8355 25351 | 92055 89863 73 | 0.000 % |
894.58/895.10 c | 1328096 | 1952 8355 25351 | 92055 90518 73 | 0.000 % |
894.98/895.58 c | 1328816 | 1952 8355 25351 | 92055 91238 73 | 0.000 % |
895.58/896.16 c | 1329609 | 1952 8355 25351 | 92055 92031 73 | 0.000 % |
896.28/896.80 c | 1330481 | 1952 8355 25351 | 82780 74963 73 | 0.000 % |
896.78/897.34 c | 1331439 | 1952 8355 25351 | 82780 75921 73 | 0.000 % |
897.38/897.92 c | 1332495 | 1952 8355 25351 | 82780 76977 73 | 0.000 % |
898.08/898.62 c | 1333653 | 1952 8355 25351 | 82780 78135 73 | 0.000 % |
898.78/899.39 c | 1334927 | 1952 8355 25351 | 82780 79409 73 | 0.000 % |
899.68/900.28 c | 1336327 | 1952 8355 25351 | 82780 80809 73 | 0.000 % |
900.68/901.24 c | 1337868 | 1952 8355 25351 | 82780 82350 73 | 0.000 % |
901.68/902.29 c | 1339564 | 1952 8355 25351 | 82780 75746 72 | 0.000 % |
902.68/903.28 c | 1341427 | 1952 8355 25351 | 2147483647 77609 72 | 0.000 % |
903.87/904.42 c | 1343478 | 1952 8355 25351 | 2147483647 79660 72 | 0.000 % |
905.07/905.65 c | 1345732 | 1952 8355 25351 | 2147483647 81914 72 | 0.000 % |
906.67/907.26 c | 1348210 | 1952 8355 25351 | 2147483647 84392 72 | 0.000 % |
908.47/909.02 c | 1350935 | 1952 8355 25351 | 2147483647 87117 72 | 0.000 % |
910.37/910.98 c | 1353933 | 1952 8355 25351 | 2147483647 90115 72 | 0.000 % |
912.27/912.85 c | 1357230 | 1952 8355 25351 | 2147483647 93412 72 | 0.000 % |
914.77/915.33 c | 1360858 | 1952 8355 25351 | 2147483647 97040 72 | 0.000 % |
917.67/918.26 c | 1364847 | 1952 8355 25351 | 2147483647 101029 72 | 0.000 % |
921.06/921.60 c | 1369232 | 1952 8355 25351 | 2147483647 105414 72 | 0.000 % |
924.57/925.12 c | 1374057 | 1952 8355 25351 | 106183 97311 72 | 0.000 % |
928.37/928.93 c | 1379363 | 1952 8355 25351 | 106183 102617 72 | 0.000 % |
932.47/933.05 c | 1385198 | 1952 8355 25351 | 103254 95452 72 | 0.000 % |
936.96/937.50 c | 1391617 | 1952 8355 25351 | 100254 90563 71 | 0.000 % |
941.86/942.43 c | 1398676 | 1952 8355 25351 | 100254 97622 71 | 0.000 % |
947.26/947.88 c | 1406440 | 1952 8355 25351 | 98946 93934 71 | 0.000 % |
953.36/953.93 c | 1414980 | 1952 8355 25351 | 97494 91781 71 | 0.000 % |
959.96/960.51 c | 1424375 | 1952 8355 25351 | 96801 89738 71 | 0.000 % |
967.35/967.99 c | 1434710 | 1952 8355 25351 | 95364 88254 72 | 0.000 % |
975.35/975.97 c | 1446076 | 1952 8355 25351 | 93545 88845 72 | 0.000 % |
982.94/983.59 c | 1458579 | 1952 8355 25351 | 92769 90816 74 | 0.000 % |
983.04/983.67 c | 1458679 | 1952 8355 25351 | 92769 90916 74 | 0.000 % |
983.14/983.76 c | 1458789 | 1952 8355 25351 | 92769 91026 74 | 0.000 % |
983.24/983.86 c | 1458911 | 1952 8355 25351 | 92769 91148 74 | 0.000 % |
983.34/983.95 c | 1459044 | 1952 8355 25351 | 92769 91281 74 | 0.000 % |
983.44/984.07 c | 1459192 | 1952 8355 25351 | 92769 91429 74 | 0.000 % |
983.64/984.21 c | 1459356 | 1952 8355 25351 | 92769 91593 73 | 0.000 % |
983.74/984.36 c | 1459533 | 1952 8355 25351 | 92769 91770 73 | 0.000 % |
983.95/984.50 c | 1459726 | 1952 8355 25351 | 92769 91963 73 | 0.000 % |
984.04/984.65 c | 1459938 | 1952 8355 25351 | 92769 92175 73 | 0.000 % |
984.24/984.84 c | 1460173 | 1952 8355 25351 | 92237 92410 73 | 0.000 % |
984.44/985.05 c | 1460429 | 1952 8355 25351 | 92237 79856 74 | 0.000 % |
984.64/985.25 c | 1460710 | 1952 8355 25351 | 92237 80137 74 | 0.000 % |
984.84/985.47 c | 1461019 | 1952 8355 25351 | 92237 80446 73 | 0.000 % |
985.14/985.73 c | 1461360 | 1952 8355 25351 | 92237 80787 73 | 0.000 % |
985.34/985.98 c | 1461732 | 1952 8355 25351 | 92237 81159 73 | 0.000 % |
985.64/986.24 c | 1462142 | 1952 8355 25351 | 92237 81569 73 | 0.000 % |
985.94/986.54 c | 1462591 | 1952 8355 25351 | 92237 82018 73 | 0.000 % |
986.34/986.90 c | 1463084 | 1952 8355 25351 | 92237 82511 73 | 0.000 % |
986.64/987.25 c | 1463626 | 1952 8355 25351 | 92237 83053 73 | 0.000 % |
987.04/987.60 c | 1464223 | 1952 8355 25351 | 92237 83650 73 | 0.000 % |
987.44/988.04 c | 1464879 | 1952 8355 25351 | 92237 84306 73 | 0.000 % |
987.94/988.58 c | 1465600 | 1952 8355 25351 | 92237 85027 73 | 0.000 % |
988.54/989.12 c | 1466392 | 1952 8355 25351 | 92237 85819 73 | 0.000 % |
989.04/989.64 c | 1467263 | 1952 8355 25351 | 92237 86690 73 | 0.000 % |
989.64/990.23 c | 1468221 | 1952 8355 25351 | 92237 87648 73 | 0.000 % |
990.34/990.93 c | 1469275 | 1952 8355 25351 | 92237 88702 73 | 0.000 % |
991.14/991.75 c | 1470433 | 1952 8355 25351 | 2147483647 89860 73 | 0.000 % |
992.04/992.64 c | 1471707 | 1952 8355 25351 | 2147483647 91134 73 | 0.000 % |
992.94/993.59 c | 1473110 | 1952 8355 25351 | 2147483647 92537 72 | 0.000 % |
994.04/994.61 c | 1474650 | 1952 8355 25351 | 2147483647 94077 72 | 0.000 % |
995.04/995.69 c | 1476345 | 1952 8355 25351 | 2147483647 95772 72 | 0.000 % |
996.33/996.96 c | 1478208 | 1952 8355 25351 | 2147483647 97635 72 | 0.000 % |
997.73/998.37 c | 1480257 | 1952 8355 25351 | 2147483647 99684 72 | 0.000 % |
999.53/1000.12 c | 1482511 | 1952 8355 25351 | 2147483647 101938 72 | 0.000 % |
1001.43/1002.01 c | 1484989 | 1952 8355 25351 | 2147483647 104416 72 | 0.000 % |
1003.43/1004.08 c | 1487714 | 1952 8355 25351 | 2147483647 107141 72 | 0.000 % |
1006.02/1006.61 c | 1490711 | 1952 8355 25351 | 109427 94731 72 | 0.000 % |
1008.13/1008.74 c | 1494007 | 1952 8355 25351 | 109427 98027 72 | 0.000 % |
1010.62/1011.28 c | 1497632 | 1952 8355 25351 | 109427 101652 72 | 0.000 % |
1013.52/1014.20 c | 1501619 | 1952 8355 25351 | 104020 92386 73 | 0.000 % |
1016.92/1017.54 c | 1506005 | 1952 8355 25351 | 104020 96772 73 | 0.000 % |
1020.61/1021.28 c | 1510829 | 1952 8355 25351 | 100769 87323 73 | 0.000 % |
1024.01/1024.61 c | 1516135 | 1952 8355 25351 | 100769 92629 73 | 0.000 % |
1028.01/1028.64 c | 1521970 | 1952 8355 25351 | 96495 87530 72 | 0.000 % |
1032.81/1033.44 c | 1528388 | 1952 8355 25351 | 96495 93948 72 | 0.000 % |
1037.91/1038.54 c | 1535447 | 1952 8355 25351 | 95561 89270 72 | 0.000 % |
1043.21/1043.83 c | 1543214 | 1952 8355 25351 | 93824 86502 71 | 0.000 % |
1049.20/1049.87 c | 1551754 | 1952 8355 25351 | 93291 84449 72 | 0.000 % |
1055.90/1056.50 c | 1561148 | 1952 8355 25351 | 92695 83898 72 | 0.000 % |
1063.69/1064.39 c | 1571483 | 1952 8355 25351 | 92754 81925 73 | 0.000 % |
1071.80/1072.44 c | 1582849 | 1952 8355 25351 | 90443 82573 72 | 0.000 % |
1080.49/1081.18 c | 1595351 | 1952 8355 25351 | 89725 85522 73 | 0.000 % |
1089.58/1090.23 c | 1609103 | 1952 8355 25351 | 80440 73024 73 | 0.000 % |
1089.58/1090.29 c | 1609203 | 1952 8355 25351 | 80440 73124 73 | 0.000 % |
1089.68/1090.37 c | 1609314 | 1952 8355 25351 | 80440 73235 73 | 0.000 % |
1089.78/1090.44 c | 1609436 | 1952 8355 25351 | 80440 73357 73 | 0.000 % |
1089.88/1090.53 c | 1609570 | 1952 8355 25351 | 80440 73491 73 | 0.000 % |
1089.98/1090.63 c | 1609717 | 1952 8355 25351 | 80440 73638 73 | 0.000 % |
1090.08/1090.73 c | 1609880 | 1952 8355 25351 | 80440 73801 73 | 0.000 % |
1090.18/1090.84 c | 1610057 | 1952 8355 25351 | 2147483647 73978 73 | 0.000 % |
1090.28/1090.96 c | 1610251 | 1952 8355 25351 | 2147483647 74172 73 | 0.000 % |
1090.38/1091.08 c | 1610463 | 1952 8355 25351 | 2147483647 74384 73 | 0.000 % |
1090.59/1091.22 c | 1610696 | 1952 8355 25351 | 2147483647 74617 72 | 0.000 % |
1090.68/1091.37 c | 1610953 | 1952 8355 25351 | 2147483647 74874 72 | 0.000 % |
1090.88/1091.54 c | 1611234 | 1952 8355 25351 | 2147483647 75155 72 | 0.000 % |
1091.08/1091.72 c | 1611545 | 1952 8355 25351 | 2147483647 75466 72 | 0.000 % |
1091.28/1091.95 c | 1611885 | 1952 8355 25351 | 2147483647 75806 72 | 0.000 % |
1091.48/1092.18 c | 1612257 | 1952 8355 25351 | 2147483647 76178 72 | 0.000 % |
1091.78/1092.40 c | 1612667 | 1952 8355 25351 | 2147483647 76588 72 | 0.000 % |
1091.98/1092.70 c | 1613116 | 1952 8355 25351 | 2147483647 77037 72 | 0.000 % |
1092.28/1092.98 c | 1613612 | 1952 8355 25351 | 2147483647 77533 72 | 0.000 % |
1092.68/1093.30 c | 1614156 | 1952 8355 25351 | 2147483647 78077 72 | 0.000 % |
1092.98/1093.63 c | 1614753 | 1952 8355 25351 | 2147483647 78674 72 | 0.000 % |
1093.38/1094.02 c | 1615408 | 1952 8355 25351 | 2147483647 79329 72 | 0.000 % |
1093.79/1094.43 c | 1616128 | 1952 8355 25351 | 2147483647 80049 72 | 0.000 % |
1094.28/1094.91 c | 1616923 | 1952 8355 25351 | 2147483647 80844 72 | 0.000 % |
1094.78/1095.42 c | 1617796 | 1952 8355 25351 | 2147483647 81717 72 | 0.000 % |
1095.38/1096.04 c | 1618757 | 1952 8355 25351 | 2147483647 82678 72 | 0.000 % |
1096.08/1096.74 c | 1619810 | 1952 8355 25351 | 2147483647 83731 72 | 0.000 % |
1096.78/1097.42 c | 1620968 | 1952 8355 25351 | 2147483647 84889 72 | 0.000 % |
1097.48/1098.18 c | 1622241 | 1952 8355 25351 | 2147483647 86162 72 | 0.000 % |
1098.48/1099.15 c | 1623641 | 1952 8355 25351 | 2147483647 87562 72 | 0.000 % |
1099.48/1100.11 c | 1625181 | 1952 8355 25351 | 2147483647 89102 72 | 0.000 % |
1100.58/1101.25 c | 1626875 | 1952 8355 25351 | 2147483647 90796 72 | 0.000 % |
1101.87/1102.55 c | 1628738 | 1952 8355 25351 | 2147483647 92659 72 | 0.000 % |
1103.37/1104.01 c | 1630787 | 1952 8355 25351 | 2147483647 94708 72 | 0.000 % |
1104.77/1105.48 c | 1633042 | 1952 8355 25351 | 2147483647 96963 72 | 0.000 % |
1106.47/1107.10 c | 1635522 | 1952 8355 25351 | 2147483647 99443 72 | 0.000 % |
1108.47/1109.12 c | 1638248 | 1952 8355 25351 | 2147483647 102169 72 | 0.000 % |
1110.67/1111.31 c | 1641245 | 1952 8355 25351 | 2147483647 105166 72 | 0.000 % |
1113.07/1113.76 c | 1644541 | 1952 8355 25351 | 2147483647 108462 72 | 0.000 % |
1115.67/1116.40 c | 1648167 | 1952 8355 25351 | 2147483647 112088 72 | 0.000 % |
1118.87/1119.58 c | 1652155 | 1952 8355 25351 | 113921 99933 71 | 0.000 % |
1122.07/1122.76 c | 1656544 | 1952 8355 25351 | 113921 104322 71 | 0.000 % |
1125.57/1126.22 c | 1661367 | 1952 8355 25351 | 107778 94380 71 | 0.000 % |
1129.17/1129.82 c | 1666672 | 1952 8355 25351 | 107778 99685 71 | 0.000 % |
1133.27/1133.95 c | 1672509 | 1952 8355 25351 | 103014 92182 71 | 0.000 % |
1137.87/1138.52 c | 1678928 | 1952 8355 25351 | 103014 98601 71 | 0.000 % |
1142.96/1143.63 c | 1685987 | 1952 8355 25351 | 99673 91102 71 | 0.000 % |
1148.26/1148.99 c | 1693751 | 1952 8355 25351 | 95115 86334 71 | 0.000 % |
1154.06/1154.71 c | 1702292 | 1952 8355 25351 | 2147483647 94875 71 | 0.000 % |
1160.75/1161.49 c | 1711686 | 1952 8355 25351 | 102583 91613 72 | 0.000 % |
1168.45/1169.14 c | 1722020 | 1952 8355 25351 | 99928 88566 72 | 0.000 % |
1176.05/1176.77 c | 1733386 | 1952 8355 25351 | 96547 86851 73 | 0.000 % |
1184.94/1185.65 c | 1745889 | 1952 8355 25351 | 93466 86594 74 | 0.000 % |
1194.74/1195.46 c | 1759642 | 1952 8355 25351 | 90706 88268 74 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832655-1242785952/watcher-1832655-1242785952 -o /tmp/evaluation-result-1832655-1242785952/solver-1832655-1242785952 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832655-1242785952.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9188
/proc/meminfo: memFree=1915464/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306623027 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 208717709394 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/9188/statm: 1339 235 195 169 0 50 0
[pid=9189] ppid=9188 vsize=5356 CPUtime=0
/proc/9189/stat : 9189 (SatELiteGTI) S 9188 9188 8536 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306623027 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/9189/statm: 1339 238 198 169 0 50 0
[pid=9191] ppid=9189 vsize=192 CPUtime=0
/proc/9191/stat : 9191 (sed) R 9189 9188 8536 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 306623027 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 208714921237 0 0 4096 0 0 0 0 17 0 0 0
/proc/9191/statm: 60 23 16 11 0 11 0
[startup+0.0919331 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9188
/proc/meminfo: memFree=1915464/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.102933 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9188
/proc/meminfo: memFree=1915464/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301951 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9188
/proc/meminfo: memFree=1915464/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701994 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9188
/proc/meminfo: memFree=1915464/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50108 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 9194
/proc/meminfo: memFree=1913144/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=4832 CPUtime=1.45
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 885 0 0 0 145 0 0 0 25 0 1 0 306623031 4947968 871 1992294400 134512640 135215339 4294956240 18446744073709551615 134538092 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 1208 871 77 171 0 1035 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10188
[startup+3.10125 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 9194
/proc/meminfo: memFree=1910328/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=8000 CPUtime=3.05
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 1660 0 0 0 304 1 0 0 25 0 1 0 306623031 8192000 1646 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 2000 1646 77 171 0 1827 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13356
[startup+6.3016 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 9194
/proc/meminfo: memFree=1905336/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=11992 CPUtime=6.25
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 2659 0 0 0 623 2 0 0 25 0 1 0 306623031 12279808 2645 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 2998 2645 77 171 0 2825 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17348
[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 9194
/proc/meminfo: memFree=1899384/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=17352 CPUtime=12.65
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 4006 0 0 0 1262 3 0 0 25 0 1 0 306623031 17768448 3992 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 4338 3992 77 171 0 4165 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22708
[startup+25.5027 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 9194
/proc/meminfo: memFree=1891704/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=24732 CPUtime=25.44
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 5853 0 0 0 2538 6 0 0 25 0 1 0 306623031 25325568 5839 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 6183 5839 77 171 0 6010 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 30088
[startup+51.1024 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 9194
/proc/meminfo: memFree=1883768/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=32568 CPUtime=51.03
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 7788 0 0 0 5094 9 0 0 25 0 1 0 306623031 33349632 7774 1992294400 134512640 135215339 4294956240 18446744073709551615 134545533 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 8142 7774 77 171 0 7969 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 37924
[startup+102.307 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 9194
/proc/meminfo: memFree=1881976/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=34152 CPUtime=102.19
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 8180 0 0 0 10209 10 0 0 25 0 1 0 306623031 34971648 8166 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 8538 8166 77 171 0 8365 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 39508
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9194
/proc/meminfo: memFree=1881272/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=34812 CPUtime=162.13
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 8331 0 0 0 16203 10 0 0 25 0 1 0 306623031 35647488 8317 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 8703 8317 77 171 0 8530 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 40168
[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9194
/proc/meminfo: memFree=1880248/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=35736 CPUtime=222.1
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 8563 0 0 0 22199 11 0 0 25 0 1 0 306623031 36593664 8549 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 8934 8549 77 171 0 8761 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 41092
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9194
/proc/meminfo: memFree=1879160/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=36660 CPUtime=282.07
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 8805 0 0 0 28196 11 0 0 25 0 1 0 306623031 37539840 8791 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 9165 8791 77 171 0 8992 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 42016
[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9194
/proc/meminfo: memFree=1877688/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=38116 CPUtime=342.03
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 9157 0 0 0 34191 12 0 0 25 0 1 0 306623031 39030784 9143 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 9529 9143 77 171 0 9356 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 43472
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9194
/proc/meminfo: memFree=1877624/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=38116 CPUtime=402
################
# More data... #
################
/proc/9194/statm: 9628 9250 77 171 0 9455 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 43868
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9194
/proc/meminfo: memFree=1876728/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=38460 CPUtime=641.89
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 9264 0 0 0 64176 13 0 0 25 0 1 0 306623031 39383040 9250 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 9615 9250 77 171 0 9442 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 43816
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9194
/proc/meminfo: memFree=1875128/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=39916 CPUtime=701.85
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 9629 0 0 0 70171 14 0 0 25 0 1 0 306623031 40873984 9615 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 9979 9615 77 171 0 9806 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 45272
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9194
/proc/meminfo: memFree=1874936/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=40048 CPUtime=761.83
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 9655 0 0 0 76169 14 0 0 25 0 1 0 306623031 41009152 9641 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 10012 9641 77 171 0 9839 0
Current children cumulated CPU time (s) 761.86
Current children cumulated vsize (KiB) 45404
[startup+822.301 s]
/proc/loadavg: 1.04 1.00 1.00 2/66 9194
/proc/meminfo: memFree=1874872/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=40048 CPUtime=821.79
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 9655 0 0 0 82165 14 0 0 25 0 1 0 306623031 41009152 9641 1992294400 134512640 135215339 4294956240 18446744073709551615 134538362 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 10012 9641 77 171 0 9839 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 45404
[startup+882.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 9194
/proc/meminfo: memFree=1874744/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=40048 CPUtime=881.76
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 9655 0 0 0 88162 14 0 0 25 0 1 0 306623031 41009152 9641 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 10012 9641 77 171 0 9839 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 45404
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9194
/proc/meminfo: memFree=1873144/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=41640 CPUtime=941.73
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 10040 0 0 0 94158 15 0 0 25 0 1 0 306623031 42639360 10026 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 10410 10026 77 171 0 10237 0
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (KiB) 46996
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9194
/proc/meminfo: memFree=1873080/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=41640 CPUtime=1001.7
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 10052 0 0 0 100155 15 0 0 25 0 1 0 306623031 42639360 10038 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 10410 10038 77 171 0 10237 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 46996
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9194
/proc/meminfo: memFree=1871352/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=43224 CPUtime=1061.66
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 10436 0 0 0 106151 15 0 0 25 0 1 0 306623031 44261376 10422 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 10806 10422 77 171 0 10633 0
Current children cumulated CPU time (s) 1061.69
Current children cumulated vsize (KiB) 48580
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9194
/proc/meminfo: memFree=1869752/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=44808 CPUtime=1121.64
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 10837 0 0 0 112148 16 0 0 25 0 1 0 306623031 45883392 10823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 11202 10823 77 171 0 11029 0
Current children cumulated CPU time (s) 1121.67
Current children cumulated vsize (KiB) 50164
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9194
/proc/meminfo: memFree=1869560/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=44780 CPUtime=1181.62
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 10837 0 0 0 118146 16 0 0 25 0 1 0 306623031 45854720 10823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 11195 10823 77 171 0 11022 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 50136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9194
/proc/meminfo: memFree=1869496/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=44740 CPUtime=1200.01
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 10837 0 0 0 119985 16 0 0 25 0 1 0 306623031 45813760 10823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 11185 10823 77 171 0 11012 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 50096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9194
/proc/meminfo: memFree=1869496/2055920 swapFree=4179948/4192956
[pid=9188] ppid=9186 vsize=5356 CPUtime=0.03
/proc/9188/stat : 9188 (SatELiteGTI) S 9186 9188 8536 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306623027 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9188/statm: 1339 239 197 169 0 50 0
[pid=9194] ppid=9188 vsize=44740 CPUtime=1200.01
/proc/9194/stat : 9194 (minisat_static) R 9188 9188 8536 0 -1 4194304 10837 0 0 0 119985 16 0 0 25 0 1 0 306623031 45813760 10823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9194/statm: 11185 10823 77 171 0 11012 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 50096
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9188 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=33994
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=4999
# CPU time returned by wait4() is 0.038993
# while last known CPU time is 1200.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.04
CPU user time (s): 1199.88
CPU system time (s): 0.16
CPU usage (%): 99.944
Max. virtual memory (cumulated for all children) (KiB): 50164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.033994
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 954
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= 14
involuntary context switches= 6
runsolver used 1.05684 second user time and 3.46947 second system time
The end
Begin job on node47 at 2009-05-20 04:19:12
IDJOB=1832655
IDBENCH=70291
IDSOLVER=671
FILE ID=node47/1832655-1242785952
PBS_JOBID= 9322323
Free space on /tmp= 66284 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/2000/unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832655-1242785952/watcher-1832655-1242785952 -o /tmp/evaluation-result-1832655-1242785952/solver-1832655-1242785952 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832655-1242785952.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e6c4aa9150c7e5a44a3dd14ff53afc9f
RANDOM SEED=216404782
node47.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.212
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.212
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: 2055920 kB
MemFree: 1916008 kB
Buffers: 24056 kB
Cached: 69656 kB
SwapCached: 7608 kB
Active: 32976 kB
Inactive: 70544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1916008 kB
SwapTotal: 4192956 kB
SwapFree: 4179948 kB
Dirty: 1728 kB
Writeback: 0 kB
Mapped: 14568 kB
Slab: 22472 kB
Committed_AS: 1058856 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66280 MiB
End job on node47 at 2009-05-20 04:39:15