0.00/0.00 c Parsing...
0.12/0.20 c ==============================================================================
0.12/0.20 c | | ORIGINAL | LEARNT | |
0.12/0.20 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.20 c ==============================================================================
0.12/0.20 c | 0 | 261472 744578 | 78441 0 0 nan | 0.000 % |
2.12/2.12 c | 0 | 244145 773136 | -- 0 -- -- | -- | -17305/28607
2.12/2.12 c ==============================================================================
2.12/2.12 c Result : #vars: 16889 #clauses: 244145 #literals: 773136
2.12/2.12 c CPU time: 2 s
2.12/2.12 c ==============================================================================
2.32/2.37 c This is MiniSat 2.0 beta
2.32/2.37 c WARNING: for repeatability, setting FPU to use double precision
2.32/2.37 c ============================[ Problem Statistics ]=============================
2.32/2.37 c | |
2.32/2.37 c | Number of variables: 16889 |
2.32/2.37 c | Number of clauses: 244145 |
2.37/2.53 c | Parsing time: 0.15 s |
2.37/2.54 c ============================[ Search Statistics ]==============================
2.37/2.54 c | Conflicts | ORIGINAL | LEARNT | Progress |
2.37/2.54 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.37/2.54 c ===============================================================================
2.37/2.54 c | 0 | 16889 244145 773136 | 81381 0 nan | 0.000 % |
2.37/2.65 c | 513 | 16889 244145 773136 | 81381 513 29 | 0.000 % |
2.37/2.77 c | 1025 | 16889 244145 773136 | 81381 1025 37 | 0.000 % |
2.37/2.84 c | 1538 | 16889 244145 773136 | 81381 1538 37 | 0.000 % |
2.37/3.06 c | 2562 | 16889 244145 773136 | 81381 2562 40 | 0.000 % |
2.37/3.20 c | 3076 | 16889 244145 773136 | 81381 3076 39 | 0.000 % |
3.22/3.29 c | 3589 | 16889 244145 773136 | 81381 3589 42 | 0.000 % |
3.32/3.40 c | 4613 | 16889 244145 773136 | 81381 4613 40 | 0.000 % |
3.72/3.79 c | 6662 | 16889 244145 773136 | 81381 6662 41 | 0.000 % |
3.82/3.91 c | 7177 | 16889 244145 773136 | 81381 7177 40 | 0.000 % |
4.02/4.11 c | 7690 | 16889 244145 773136 | 81381 7690 40 | 0.000 % |
4.32/4.35 c | 8717 | 16889 244145 773136 | 81381 8717 40 | 0.000 % |
4.42/4.50 c | 9230 | 16889 244145 773136 | 81381 9230 40 | 0.000 % |
4.52/4.58 c | 9742 | 16889 244145 773136 | 81381 9742 41 | 0.000 % |
4.72/4.76 c | 10768 | 16889 244145 773136 | 2147483647 10768 41 | 0.000 % |
4.92/4.98 c | 12816 | 16889 244145 773136 | 2147483647 12816 41 | 0.000 % |
5.52/5.59 c | 16912 | 16889 244145 773136 | 2147483647 16912 45 | 0.000 % |
5.62/5.69 c | 17425 | 16889 244145 773136 | 2147483647 17425 45 | 0.000 % |
5.72/5.78 c | 17938 | 16889 244145 773136 | 2147483647 17938 45 | 0.000 % |
5.82/5.90 c | 18962 | 16889 244145 773136 | 2147483647 18962 45 | 0.000 % |
5.92/5.98 c | 19475 | 16889 244145 773136 | 2147483647 19475 45 | 0.000 % |
6.02/6.07 c | 19988 | 16889 244145 773136 | 2147483647 19988 45 | 0.000 % |
6.12/6.20 c | 21013 | 16889 244145 773136 | 2147483647 21013 45 | 0.000 % |
6.52/6.59 c | 23063 | 16889 244145 773136 | 2147483647 23063 48 | 0.000 % |
6.72/6.74 c | 23577 | 16889 244145 773136 | 2147483647 23577 48 | 0.000 % |
6.82/6.88 c | 24089 | 16889 244145 773136 | 2147483647 24089 48 | 0.000 % |
7.02/7.06 c | 25115 | 16889 244145 773136 | 2147483647 25115 48 | 0.000 % |
7.12/7.13 c | 25627 | 16889 244145 773136 | 2147483647 25627 48 | 0.000 % |
7.22/7.23 c | 26140 | 16889 244145 773136 | 2147483647 26140 48 | 0.000 % |
7.32/7.37 c | 27165 | 16889 244145 773136 | 2147483647 27165 48 | 0.000 % |
7.62/7.69 c | 29215 | 16889 244145 773136 | 2147483647 29215 47 | 0.000 % |
8.42/8.41 c | 33311 | 16889 244145 773136 | 2147483647 33311 46 | 0.000 % |
9.82/9.88 c | 41503 | 16889 244145 773136 | 2147483647 41503 44 | 0.000 % |
9.92/9.98 c | 42015 | 16889 244145 773136 | 2147483647 42015 45 | 0.000 % |
10.12/10.13 c | 42527 | 16889 244145 773136 | 2147483647 42527 45 | 0.000 % |
10.32/10.40 c | 43551 | 16889 244145 773136 | 2147483647 43551 46 | 0.000 % |
10.52/10.56 c | 44063 | 16889 244145 773136 | 2147483647 44063 46 | 0.000 % |
10.62/10.69 c | 44575 | 16889 244145 773136 | 2147483647 44575 46 | 0.000 % |
10.92/10.94 c | 45599 | 16889 244145 773136 | 2147483647 45599 46 | 0.000 % |
11.32/11.35 c | 47648 | 16889 244145 773136 | 2147483647 47648 47 | 0.000 % |
11.42/11.49 c | 48160 | 16889 244145 773136 | 2147483647 48160 47 | 0.000 % |
11.52/11.58 c | 48676 | 16889 244145 773136 | 2147483647 48676 47 | 0.000 % |
11.82/11.89 c | 49700 | 16889 244145 773136 | 2147483647 49700 47 | 0.000 % |
11.92/11.97 c | 50212 | 16889 244145 773136 | 2147483647 50212 47 | 0.000 % |
12.02/12.08 c | 50725 | 16889 244145 773136 | 2147483647 50725 47 | 0.000 % |
12.32/12.39 c | 51749 | 16889 244145 773136 | 2147483647 51749 47 | 0.000 % |
13.12/13.18 c | 53798 | 16889 244145 773136 | 2147483647 53798 47 | 0.000 % |
14.12/14.12 c | 57896 | 16889 244145 773136 | 2147483647 57896 48 | 0.000 % |
14.22/14.22 c | 58409 | 16889 244145 773136 | 2147483647 58409 49 | 0.000 % |
14.32/14.35 c | 58923 | 16889 244145 773136 | 2147483647 58923 49 | 0.000 % |
14.52/14.53 c | 59947 | 16889 244145 773136 | 2147483647 59947 49 | 0.000 % |
14.72/14.73 c | 60461 | 16889 244145 773136 | 2147483647 60461 49 | 0.000 % |
14.92/14.96 c | 60973 | 16889 244145 773136 | 2147483647 60973 49 | 0.000 % |
15.12/15.16 c | 61997 | 16889 244145 773136 | 2147483647 61997 50 | 0.000 % |
15.62/15.63 c | 64045 | 16889 244145 773136 | 2147483647 64045 52 | 0.000 % |
15.72/15.79 c | 64558 | 16889 244145 773136 | 2147483647 64558 52 | 0.000 % |
15.92/15.96 c | 65071 | 16889 244145 773136 | 2147483647 65071 52 | 0.000 % |
16.22/16.22 c | 66095 | 16889 244145 773136 | 2147483647 66095 52 | 0.000 % |
16.32/16.39 c | 66609 | 16889 244145 773136 | 2147483647 66609 52 | 0.000 % |
16.52/16.54 c | 67124 | 16889 244145 773136 | 2147483647 67124 52 | 0.000 % |
16.82/16.82 c | 68148 | 16889 244145 773136 | 2147483647 68148 52 | 0.000 % |
17.32/17.36 c | 70197 | 16889 244145 773136 | 2147483647 70197 51 | 0.000 % |
18.22/18.29 c | 74293 | 16889 244145 773136 | 2147483647 74293 50 | 0.000 % |
20.42/20.43 c | 82485 | 16889 244145 773136 | 2147483647 82485 51 | 0.000 % |
24.42/24.51 c | 98870 | 16889 244145 773136 | 2147483647 98870 48 | 0.000 % |
24.62/24.64 c | 99382 | 16889 244145 773136 | 2147483647 99382 48 | 0.000 % |
24.72/24.78 c | 99894 | 16889 244145 773136 | 2147483647 99894 48 | 0.000 % |
25.12/25.12 c | 100920 | 16889 244145 773136 | 2147483647 100920 47 | 0.000 % |
25.22/25.27 c | 101432 | 16889 244145 773136 | 2147483647 101432 47 | 0.000 % |
25.42/25.43 c | 101944 | 16889 244145 773136 | 2147483647 101944 47 | 0.000 % |
25.62/25.71 c | 102969 | 16889 244145 773136 | 2147483647 102969 47 | 0.000 % |
26.12/26.19 c | 105022 | 16889 244145 773136 | 2147483647 105022 47 | 0.000 % |
26.32/26.36 c | 105534 | 16889 244145 773136 | 2147483647 105534 47 | 0.000 % |
26.52/26.57 c | 106047 | 16889 244145 773136 | 2147483647 106047 47 | 0.000 % |
26.82/26.84 c | 107071 | 16889 244145 773136 | 2147483647 107071 47 | 0.000 % |
26.92/26.97 c | 107583 | 16889 244145 773136 | 2147483647 107583 47 | 0.000 % |
27.22/27.29 c | 108095 | 16889 244145 773136 | 2147483647 108095 47 | 0.000 % |
27.72/27.74 c | 109121 | 16889 244145 773136 | 2147483647 109121 48 | 0.000 % |
28.32/28.36 c | 111169 | 16889 244145 773136 | 2147483647 111169 47 | 0.000 % |
29.92/29.94 c | 115265 | 16889 244145 773136 | 2147483647 115265 47 | 0.000 % |
30.12/30.16 c | 115780 | 16889 244145 773136 | 2147483647 115780 47 | 0.000 % |
30.22/30.30 c | 116294 | 16889 244145 773136 | 2147483647 116294 47 | 0.000 % |
30.72/30.80 c | 117319 | 16889 244145 773136 | 2147483647 117319 48 | 0.000 % |
31.02/31.08 c | 117832 | 16889 244145 773136 | 2147483647 117832 48 | 0.000 % |
31.32/31.36 c | 118346 | 16889 244145 773136 | 2147483647 118346 48 | 0.000 % |
31.62/31.67 c | 119371 | 16889 244145 773136 | 2147483647 119371 48 | 0.000 % |
32.12/32.14 c | 121420 | 16889 244145 773136 | 2147483647 121420 48 | 0.000 % |
32.32/32.36 c | 121932 | 16889 244145 773136 | 2147483647 121932 48 | 0.000 % |
32.52/32.60 c | 122445 | 16889 244145 773136 | 2147483647 122445 48 | 0.000 % |
32.82/32.87 c | 123470 | 16889 244145 773136 | 2147483647 123470 48 | 0.000 % |
33.02/33.07 c | 123982 | 16889 244145 773136 | 2147483647 123982 48 | 0.000 % |
33.22/33.23 c | 124495 | 16889 244145 773136 | 2147483647 124495 48 | 0.000 % |
33.42/33.49 c | 125519 | 16889 244145 773136 | 2147483647 125519 48 | 0.000 % |
34.32/34.38 c | 127567 | 16889 244145 773136 | 2147483647 127567 49 | 0.000 % |
35.72/35.74 c | 131664 | 16889 244145 773136 | 130001 131664 49 | 0.000 % |
38.72/38.80 c | 139857 | 16889 244145 773136 | 130001 118013 51 | 0.000 % |
39.02/39.04 c | 140369 | 16889 244145 773136 | 118158 118525 51 | 0.000 % |
40.82/40.89 c | 140881 | 16889 244145 773136 | 118158 99977 52 | 0.000 % |
41.22/41.26 c | 141906 | 16889 244145 773136 | 118158 101002 52 | 0.000 % |
41.42/41.41 c | 142421 | 16889 244145 773136 | 118158 101517 52 | 0.000 % |
41.62/41.67 c | 142934 | 16889 244145 773136 | 118158 102030 52 | 0.000 % |
42.02/42.10 c | 143958 | 16889 244145 773136 | 118158 103054 52 | 0.000 % |
42.72/42.71 c | 146006 | 16889 244145 773136 | 118158 105102 52 | 0.000 % |
43.02/43.06 c | 146520 | 16889 244145 773136 | 118158 105616 52 | 0.000 % |
43.22/43.30 c | 147033 | 16889 244145 773136 | 118158 106129 52 | 0.000 % |
43.82/43.85 c | 148057 | 16889 244145 773136 | 118158 107153 52 | 0.000 % |
44.12/44.12 c | 148569 | 16889 244145 773136 | 118158 107665 52 | 0.000 % |
44.32/44.39 c | 149081 | 16889 244145 773136 | 118158 108177 52 | 0.000 % |
44.82/44.84 c | 150105 | 16889 244145 773136 | 109096 109201 52 | 0.000 % |
45.72/45.73 c | 152153 | 16889 244145 773136 | 109096 98116 49 | 0.000 % |
47.12/47.11 c | 156249 | 16889 244145 773136 | 109096 102212 49 | 0.000 % |
47.22/47.28 c | 156762 | 16889 244145 773136 | 109096 102725 49 | 0.000 % |
47.42/47.50 c | 157275 | 16889 244145 773136 | 109096 103238 49 | 0.000 % |
47.82/47.89 c | 158300 | 16889 244145 773136 | 109096 104263 49 | 0.000 % |
48.02/48.10 c | 158812 | 16889 244145 773136 | 109096 104775 49 | 0.000 % |
48.22/48.23 c | 159324 | 16889 244145 773136 | 109096 105287 49 | 0.000 % |
48.62/48.66 c | 160348 | 16889 244145 773136 | 2147483647 106311 49 | 0.000 % |
49.32/49.37 c | 162396 | 16889 244145 773136 | 2147483647 108359 49 | 0.000 % |
49.52/49.57 c | 162908 | 16889 244145 773136 | 2147483647 108871 49 | 0.000 % |
49.72/49.72 c | 163420 | 16889 244145 773136 | 2147483647 109383 49 | 0.000 % |
50.02/50.06 c | 164445 | 16889 244145 773136 | 2147483647 110408 49 | 0.000 % |
50.22/50.26 c | 164957 | 16889 244145 773136 | 2147483647 110920 49 | 0.000 % |
50.42/50.44 c | 165470 | 16889 244145 773136 | 2147483647 111433 49 | 0.000 % |
50.82/50.84 c | 166494 | 16889 244145 773136 | 2147483647 112457 49 | 0.000 % |
51.52/51.53 c | 168542 | 16889 244145 773136 | 2147483647 114505 49 | 0.000 % |
52.92/52.97 c | 172638 | 16889 244145 773136 | 2147483647 118601 49 | 0.000 % |
54.82/54.89 c | 180830 | 16889 244145 773136 | 2147483647 126793 51 | 0.000 % |
59.02/59.05 c | 197214 | 16889 244145 773136 | 2147483647 143177 53 | 0.000 % |
69.22/69.25 c | 229982 | 16889 244145 773136 | 2147483647 175945 54 | 0.000 % |
69.52/69.61 c | 230494 | 16889 244145 773136 | 175965 176457 54 | 0.000 % |
72.22/72.24 c | 231006 | 16889 244145 773136 | 175965 142450 56 | 0.000 % |
72.72/72.72 c | 232030 | 16889 244145 773136 | 175965 143474 56 | 0.000 % |
73.02/73.03 c | 232542 | 16889 244145 773136 | 175965 143986 56 | 0.000 % |
73.22/73.30 c | 233055 | 16889 244145 773136 | 175965 144499 56 | 0.000 % |
73.73/73.80 c | 234079 | 16889 244145 773136 | 175965 145523 56 | 0.000 % |
74.52/74.54 c | 236127 | 16889 244145 773136 | 175965 147571 57 | 0.000 % |
74.72/74.75 c | 236639 | 16889 244145 773136 | 175965 148083 57 | 0.000 % |
74.92/74.94 c | 237151 | 16889 244145 773136 | 175965 148595 57 | 0.000 % |
75.32/75.33 c | 238175 | 16889 244145 773136 | 175965 149619 57 | 0.000 % |
75.52/75.52 c | 238687 | 16889 244145 773136 | 175965 150131 57 | 0.000 % |
75.62/75.70 c | 239200 | 16889 244145 773136 | 175965 150644 57 | 0.000 % |
76.12/76.16 c | 240224 | 16889 244145 773136 | 151444 151668 57 | 0.000 % |
78.32/78.39 c | 242273 | 16889 244145 773136 | 151444 133316 57 | 0.000 % |
79.82/79.81 c | 246369 | 16889 244145 773136 | 151444 137412 57 | 0.000 % |
80.12/80.13 c | 246881 | 16889 244145 773136 | 151444 137924 57 | 0.000 % |
80.33/80.37 c | 247395 | 16889 244145 773136 | 151444 138438 57 | 0.000 % |
80.72/80.72 c | 248419 | 16889 244145 773136 | 151444 139462 57 | 0.000 % |
80.82/80.89 c | 248933 | 16889 244145 773136 | 151444 139976 57 | 0.000 % |
81.02/81.06 c | 249445 | 16889 244145 773136 | 151444 140488 57 | 0.000 % |
81.52/81.53 c | 250470 | 16889 244145 773136 | 2147483647 141513 57 | 0.000 % |
82.12/82.19 c | 252518 | 16889 244145 773136 | 2147483647 143561 57 | 0.000 % |
82.42/82.42 c | 253030 | 16889 244145 773136 | 2147483647 144073 57 | 0.000 % |
82.72/82.74 c | 253542 | 16889 244145 773136 | 2147483647 144585 57 | 0.000 % |
83.12/83.17 c | 254568 | 16889 244145 773136 | 2147483647 145611 58 | 0.000 % |
83.32/83.37 c | 255080 | 16889 244145 773136 | 2147483647 146123 58 | 0.000 % |
83.63/83.63 c | 255592 | 16889 244145 773136 | 2147483647 146635 58 | 0.000 % |
84.12/84.17 c | 256616 | 16889 244145 773136 | 2147483647 147659 58 | 0.000 % |
84.73/84.79 c | 258664 | 16889 244145 773136 | 2147483647 149707 57 | 0.000 % |
86.32/86.39 c | 262760 | 16889 244145 773136 | 151043 153803 57 | 0.000 % |
90.12/90.21 c | 270952 | 16889 244145 773136 | 2147483647 146615 57 | 0.000 % |
90.42/90.45 c | 271464 | 16889 244145 773136 | 2147483647 147127 57 | 0.000 % |
90.62/90.68 c | 271976 | 16889 244145 773136 | 2147483647 147639 57 | 0.000 % |
91.12/91.18 c | 273001 | 16889 244145 773136 | 2147483647 148664 57 | 0.000 % |
91.42/91.42 c | 273514 | 16889 244145 773136 | 2147483647 149177 57 | 0.000 % |
91.72/91.72 c | 274026 | 16889 244145 773136 | 2147483647 149689 57 | 0.000 % |
92.22/92.30 c | 275050 | 16889 244145 773136 | 2147483647 150713 57 | 0.000 % |
93.02/93.10 c | 277100 | 16889 244145 773136 | 2147483647 152763 57 | 0.000 % |
93.42/93.43 c | 277613 | 16889 244145 773136 | 2147483647 153276 57 | 0.000 % |
93.62/93.63 c | 278126 | 16889 244145 773136 | 2147483647 153789 57 | 0.000 % |
94.02/94.02 c | 279150 | 16889 244145 773136 | 2147483647 154813 57 | 0.000 % |
94.22/94.27 c | 279662 | 16889 244145 773136 | 2147483647 155325 57 | 0.000 % |
94.42/94.47 c | 280174 | 16889 244145 773136 | 155663 155837 57 | 0.000 % |
95.22/95.30 c | 281198 | 16889 244145 773136 | 155663 131450 57 | 0.000 % |
96.22/96.22 c | 283246 | 16889 244145 773136 | 155663 133498 57 | 0.000 % |
97.93/97.94 c | 287344 | 16889 244145 773136 | 155663 137596 57 | 0.000 % |
98.12/98.16 c | 287857 | 16889 244145 773136 | 155663 138109 57 | 0.000 % |
98.42/98.41 c | 288369 | 16889 244145 773136 | 155663 138621 57 | 0.000 % |
98.82/98.85 c | 289393 | 16889 244145 773136 | 155663 139645 57 | 0.000 % |
99.03/99.06 c | 289906 | 16889 244145 773136 | 155663 140158 57 | 0.000 % |
99.22/99.29 c | 290418 | 16889 244145 773136 | 140252 140670 57 | 0.000 % |
100.42/100.41 c | 291442 | 16889 244145 773136 | 140252 120268 55 | 0.000 % |
100.92/100.95 c | 293491 | 16889 244145 773136 | 140252 122317 55 | 0.000 % |
101.02/101.10 c | 294003 | 16889 244145 773136 | 140252 122829 54 | 0.000 % |
101.42/101.44 c | 294515 | 16889 244145 773136 | 140252 123341 54 | 0.000 % |
101.82/101.86 c | 295539 | 16889 244145 773136 | 140252 124365 55 | 0.000 % |
102.12/102.13 c | 296051 | 16889 244145 773136 | 140252 124877 54 | 0.000 % |
102.33/102.40 c | 296563 | 16889 244145 773136 | 140252 125389 54 | 0.000 % |
102.82/102.87 c | 297587 | 16889 244145 773136 | 140252 126413 54 | 0.000 % |
103.52/103.58 c | 299635 | 16889 244145 773136 | 140252 128461 55 | 0.000 % |
104.82/104.90 c | 303732 | 16889 244145 773136 | 128828 132558 54 | 0.000 % |
107.52/107.56 c | 311925 | 16889 244145 773136 | 2147483647 127496 52 | 0.000 % |
114.52/114.55 c | 328309 | 16889 244145 773136 | 135571 118343 50 | 0.000 % |
114.72/114.79 c | 328823 | 16889 244145 773136 | 135571 118857 50 | 0.000 % |
115.02/115.01 c | 329335 | 16889 244145 773136 | 135571 119369 50 | 0.000 % |
115.42/115.42 c | 330360 | 16889 244145 773136 | 120035 120394 50 | 0.000 % |
115.92/115.95 c | 330874 | 16889 244145 773136 | 120035 100216 46 | 0.000 % |
116.12/116.11 c | 331386 | 16889 244145 773136 | 120035 100728 46 | 0.000 % |
116.42/116.50 c | 332410 | 16889 244145 773136 | 120035 101752 46 | 0.000 % |
117.12/117.20 c | 334458 | 16889 244145 773136 | 120035 103800 46 | 0.000 % |
117.42/117.41 c | 334970 | 16889 244145 773136 | 120035 104312 46 | 0.000 % |
117.52/117.58 c | 335482 | 16889 244145 773136 | 120035 104824 46 | 0.000 % |
117.92/117.94 c | 336506 | 16889 244145 773136 | 120035 105848 46 | 0.000 % |
118.12/118.15 c | 337018 | 16889 244145 773136 | 120035 106360 46 | 0.000 % |
118.32/118.36 c | 337530 | 16889 244145 773136 | 120035 106872 46 | 0.000 % |
118.83/118.85 c | 338554 | 16889 244145 773136 | 120035 107896 46 | 0.000 % |
119.52/119.54 c | 340603 | 16889 244145 773136 | 109342 109945 47 | 0.000 % |
121.12/121.16 c | 344699 | 16889 244145 773136 | 109342 97516 46 | 0.000 % |
121.32/121.39 c | 345212 | 16889 244145 773136 | 109342 98029 46 | 0.000 % |
121.62/121.64 c | 345727 | 16889 244145 773136 | 109342 98544 46 | 0.000 % |
122.02/122.08 c | 346751 | 16889 244145 773136 | 109342 99568 46 | 0.000 % |
122.22/122.22 c | 347264 | 16889 244145 773136 | 109342 100081 46 | 0.000 % |
122.42/122.42 c | 347776 | 16889 244145 773136 | 109342 100593 46 | 0.000 % |
122.72/122.74 c | 348800 | 16889 244145 773136 | 109342 101617 46 | 0.000 % |
123.23/123.26 c | 350848 | 16889 244145 773136 | 2147483647 103665 46 | 0.000 % |
123.32/123.40 c | 351361 | 16889 244145 773136 | 2147483647 104178 46 | 0.000 % |
123.52/123.56 c | 351873 | 16889 244145 773136 | 2147483647 104690 46 | 0.000 % |
123.82/123.87 c | 352898 | 16889 244145 773136 | 2147483647 105715 46 | 0.000 % |
124.03/124.05 c | 353410 | 16889 244145 773136 | 2147483647 106227 46 | 0.000 % |
124.23/124.22 c | 353922 | 16889 244145 773136 | 2147483647 106739 46 | 0.000 % |
124.43/124.51 c | 354946 | 16889 244145 773136 | 2147483647 107763 46 | 0.000 % |
125.03/125.11 c | 356995 | 16889 244145 773136 | 2147483647 109812 46 | 0.000 % |
126.23/126.24 c | 361091 | 16889 244145 773136 | 112818 113908 46 | 0.000 % |
128.63/128.66 c | 369283 | 16889 244145 773136 | 112818 109179 49 | 0.000 % |
128.83/128.90 c | 369796 | 16889 244145 773136 | 112818 109692 49 | 0.000 % |
129.13/129.20 c | 370309 | 16889 244145 773136 | 109899 110205 49 | 0.000 % |
130.03/130.08 c | 371333 | 16889 244145 773136 | 109899 92657 50 | 0.000 % |
130.23/130.23 c | 371847 | 16889 244145 773136 | 109899 93171 50 | 0.000 % |
130.43/130.44 c | 372361 | 16889 244145 773136 | 109899 93685 50 | 0.000 % |
130.83/130.88 c | 373385 | 16889 244145 773136 | 109899 94709 49 | 0.000 % |
131.53/131.58 c | 375433 | 16889 244145 773136 | 109899 96757 49 | 0.000 % |
131.73/131.77 c | 375945 | 16889 244145 773136 | 109899 97269 49 | 0.000 % |
131.93/131.94 c | 376458 | 16889 244145 773136 | 109899 97782 49 | 0.000 % |
132.23/132.28 c | 377482 | 16889 244145 773136 | 109899 98806 49 | 0.000 % |
132.53/132.56 c | 377996 | 16889 244145 773136 | 109899 99320 49 | 0.000 % |
132.73/132.75 c | 378509 | 16889 244145 773136 | 109899 99833 49 | 0.000 % |
133.03/133.04 c | 379533 | 16889 244145 773136 | 109899 100857 49 | 0.000 % |
133.83/133.86 c | 381581 | 16889 244145 773136 | 101324 102905 49 | 0.000 % |
135.93/135.96 c | 385677 | 16889 244145 773136 | 101324 87706 50 | 0.000 % |
136.23/136.22 c | 386189 | 16889 244145 773136 | 101324 88218 49 | 0.000 % |
136.43/136.43 c | 386702 | 16889 244145 773136 | 101324 88731 49 | 0.000 % |
136.73/136.80 c | 387727 | 16889 244145 773136 | 101324 89756 49 | 0.000 % |
137.03/137.10 c | 388239 | 16889 244145 773136 | 101324 90268 49 | 0.000 % |
137.23/137.25 c | 388752 | 16889 244145 773136 | 101324 90781 49 | 0.000 % |
137.63/137.65 c | 389777 | 16889 244145 773136 | 101324 91806 49 | 0.000 % |
138.43/138.48 c | 391825 | 16889 244145 773136 | 2147483647 93854 49 | 0.000 % |
138.63/138.67 c | 392337 | 16889 244145 773136 | 2147483647 94366 49 | 0.000 % |
138.73/138.80 c | 392849 | 16889 244145 773136 | 2147483647 94878 49 | 0.000 % |
138.93/139.01 c | 393874 | 16889 244145 773136 | 2147483647 95903 49 | 0.000 % |
139.13/139.14 c | 394386 | 16889 244145 773136 | 2147483647 96415 49 | 0.000 % |
139.23/139.27 c | 394900 | 16889 244145 773136 | 2147483647 96929 49 | 0.000 % |
139.63/139.66 c | 395925 | 16889 244145 773136 | 2147483647 97954 49 | 0.000 % |
140.13/140.21 c | 397973 | 16889 244145 773136 | 2147483647 100002 49 | 0.000 % |
141.23/141.29 c | 402069 | 16889 244145 773136 | 2147483647 104098 49 | 0.000 % |
143.43/143.49 c | 410261 | 16889 244145 773136 | 2147483647 112290 53 | 0.000 % |
148.52/148.54 c | 426645 | 16889 244145 773136 | 2147483647 128674 56 | 0.000 % |
162.72/162.77 c | 459414 | 16889 244145 773136 | 117480 107947 60 | 0.000 % |
183.82/183.88 c | 524950 | 16889 244145 773136 | 2147483647 149061 62 | 0.000 % |
184.02/184.06 c | 525463 | 16889 244145 773136 | 2147483647 149574 62 | 0.000 % |
184.42/184.42 c | 525975 | 16889 244145 773136 | 2147483647 150086 62 | 0.000 % |
184.92/184.94 c | 526999 | 16889 244145 773136 | 2147483647 151110 62 | 0.000 % |
185.12/185.18 c | 527512 | 16889 244145 773136 | 2147483647 151623 61 | 0.000 % |
185.42/185.43 c | 528024 | 16889 244145 773136 | 2147483647 152135 61 | 0.000 % |
185.82/185.90 c | 529049 | 16889 244145 773136 | 2147483647 153160 61 | 0.000 % |
186.82/186.87 c | 531097 | 16889 244145 773136 | 154111 155208 61 | 0.000 % |
188.02/188.02 c | 531609 | 16889 244145 773136 | 154111 130687 61 | 0.000 % |
188.12/188.13 c | 532123 | 16889 244145 773136 | 154111 131201 61 | 0.000 % |
188.52/188.51 c | 533147 | 16889 244145 773136 | 154111 132225 61 | 0.000 % |
188.72/188.72 c | 533659 | 16889 244145 773136 | 154111 132737 61 | 0.000 % |
188.92/188.97 c | 534172 | 16889 244145 773136 | 154111 133250 61 | 0.000 % |
189.32/189.38 c | 535197 | 16889 244145 773136 | 154111 134275 61 | 0.000 % |
190.12/190.17 c | 537247 | 16889 244145 773136 | 154111 136325 60 | 0.000 % |
191.72/191.70 c | 541343 | 16889 244145 773136 | 139078 140421 59 | 0.000 % |
192.62/192.63 c | 541855 | 16889 244145 773136 | 139078 120435 55 | 0.000 % |
192.82/192.88 c | 542367 | 16889 244145 773136 | 139078 120947 55 | 0.000 % |
193.22/193.28 c | 543394 | 16889 244145 773136 | 139078 121974 55 | 0.000 % |
193.52/193.57 c | 543907 | 16889 244145 773136 | 139078 122487 55 | 0.000 % |
193.72/193.80 c | 544420 | 16889 244145 773136 | 139078 123000 55 | 0.000 % |
194.22/194.22 c | 545444 | 16889 244145 773136 | 139078 124024 55 | 0.000 % |
195.02/195.07 c | 547492 | 16889 244145 773136 | 139078 126072 55 | 0.000 % |
195.22/195.27 c | 548005 | 16889 244145 773136 | 139078 126585 55 | 0.000 % |
195.72/195.73 c | 548517 | 16889 244145 773136 | 139078 127097 55 | 0.000 % |
196.52/196.50 c | 549541 | 16889 244145 773136 | 139078 128121 55 | 0.000 % |
196.93/196.95 c | 550054 | 16889 244145 773136 | 128581 128634 55 | 0.000 % |
199.62/199.60 c | 550566 | 16889 244145 773136 | 128581 103777 54 | 0.000 % |
199.92/199.91 c | 551590 | 16889 244145 773136 | 128581 104801 54 | 0.000 % |
200.42/200.47 c | 553638 | 16889 244145 773136 | 128581 106849 54 | 0.000 % |
201.62/201.70 c | 557734 | 16889 244145 773136 | 128581 110945 53 | 0.000 % |
204.32/204.37 c | 565926 | 16889 244145 773136 | 2147483647 119137 52 | 0.000 % |
204.72/204.77 c | 566438 | 16889 244145 773136 | 2147483647 119649 52 | 0.000 % |
205.02/205.02 c | 566950 | 16889 244145 773136 | 2147483647 120161 52 | 0.000 % |
205.32/205.36 c | 567974 | 16889 244145 773136 | 2147483647 121185 52 | 0.000 % |
205.52/205.58 c | 568486 | 16889 244145 773136 | 2147483647 121697 52 | 0.000 % |
205.82/205.84 c | 568999 | 16889 244145 773136 | 2147483647 122210 52 | 0.000 % |
206.22/206.24 c | 570023 | 16889 244145 773136 | 123212 123234 52 | 0.000 % |
208.12/208.15 c | 572072 | 16889 244145 773136 | 123212 110029 52 | 0.000 % |
208.52/208.53 c | 572586 | 16889 244145 773136 | 123212 110543 52 | 0.000 % |
208.62/208.69 c | 573099 | 16889 244145 773136 | 123212 111056 52 | 0.000 % |
209.22/209.22 c | 574123 | 16889 244145 773136 | 123212 112080 52 | 0.000 % |
209.32/209.38 c | 574636 | 16889 244145 773136 | 123212 112593 52 | 0.000 % |
209.42/209.49 c | 575148 | 16889 244145 773136 | 123212 113105 52 | 0.000 % |
210.13/210.17 c | 576172 | 16889 244145 773136 | 123212 114129 52 | 0.000 % |
210.82/210.87 c | 578220 | 16889 244145 773136 | 123212 116177 52 | 0.000 % |
212.22/212.22 c | 582317 | 16889 244145 773136 | 117957 120274 52 | 0.000 % |
213.82/213.87 c | 582831 | 16889 244145 773136 | 117957 106262 50 | 0.000 % |
214.02/214.05 c | 583346 | 16889 244145 773136 | 117957 106777 50 | 0.000 % |
214.32/214.40 c | 584370 | 16889 244145 773136 | 117957 107801 50 | 0.000 % |
214.62/214.65 c | 584882 | 16889 244145 773136 | 117957 108313 50 | 0.000 % |
214.82/214.90 c | 585394 | 16889 244145 773136 | 117957 108825 49 | 0.000 % |
215.32/215.31 c | 586418 | 16889 244145 773136 | 117957 109849 49 | 0.000 % |
216.02/216.07 c | 588467 | 16889 244145 773136 | 117957 111898 49 | 0.000 % |
216.22/216.23 c | 588980 | 16889 244145 773136 | 117957 112411 49 | 0.000 % |
216.42/216.41 c | 589492 | 16889 244145 773136 | 117957 112923 49 | 0.000 % |
216.82/216.82 c | 590516 | 16889 244145 773136 | 2147483647 113947 49 | 0.000 % |
217.12/217.11 c | 591028 | 16889 244145 773136 | 2147483647 114459 49 | 0.000 % |
217.32/217.33 c | 591541 | 16889 244145 773136 | 2147483647 114972 49 | 0.000 % |
217.92/217.91 c | 592566 | 16889 244145 773136 | 2147483647 115997 49 | 0.000 % |
218.72/218.72 c | 594614 | 16889 244145 773136 | 2147483647 118045 49 | 0.000 % |
220.22/220.27 c | 598710 | 16889 244145 773136 | 2147483647 122141 49 | 0.001 % |
224.43/224.45 c | 606902 | 16889 244145 773136 | 123432 114044 49 | 0.000 % |
230.52/230.54 c | 623288 | 16889 244145 773136 | 114983 118271 46 | 0.000 % |
230.92/230.97 c | 623800 | 16889 244145 773136 | 114983 106956 41 | 0.000 % |
231.22/231.22 c | 624313 | 16889 244145 773136 | 114983 107469 41 | 0.000 % |
231.62/231.68 c | 625337 | 16889 244145 773136 | 114983 108493 41 | 0.000 % |
231.92/231.99 c | 625850 | 16889 244145 773136 | 114983 109006 41 | 0.000 % |
232.22/232.23 c | 626363 | 16889 244145 773136 | 114983 109519 41 | 0.000 % |
232.62/232.70 c | 627387 | 16889 244145 773136 | 114983 110543 41 | 0.000 % |
233.32/233.37 c | 629437 | 16889 244145 773136 | 114983 112593 41 | 0.000 % |
233.52/233.56 c | 629951 | 16889 244145 773136 | 114983 113107 41 | 0.000 % |
233.72/233.75 c | 630464 | 16889 244145 773136 | 2147483647 113620 41 | 0.000 % |
234.02/234.04 c | 631488 | 16889 244145 773136 | 2147483647 114644 41 | 0.000 % |
234.33/234.32 c | 632000 | 16889 244145 773136 | 2147483647 115156 41 | 0.000 % |
234.42/234.46 c | 632512 | 16889 244145 773136 | 2147483647 115668 41 | 0.000 % |
234.92/234.92 c | 633536 | 16889 244145 773136 | 2147483647 116692 41 | 0.000 % |
235.43/235.48 c | 635586 | 16889 244145 773136 | 2147483647 118742 41 | 0.000 % |
236.72/236.74 c | 639682 | 16889 244145 773136 | 2147483647 122838 42 | 0.000 % |
236.82/236.84 c | 640195 | 16889 244145 773136 | 2147483647 123351 42 | 0.000 % |
236.92/236.96 c | 640707 | 16889 244145 773136 | 2147483647 123863 42 | 0.000 % |
237.32/237.38 c | 641731 | 16889 244145 773136 | 2147483647 124887 42 | 0.000 % |
237.52/237.54 c | 642243 | 16889 244145 773136 | 2147483647 125399 42 | 0.000 % |
237.72/237.70 c | 642756 | 16889 244145 773136 | 2147483647 125912 42 | 0.000 % |
238.12/238.10 c | 643781 | 16889 244145 773136 | 2147483647 126937 42 | 0.000 % |
238.62/238.63 c | 645829 | 16889 244145 773136 | 2147483647 128985 42 | 0.000 % |
238.73/238.76 c | 646342 | 16889 244145 773136 | 2147483647 129498 42 | 0.000 % |
238.92/238.97 c | 646854 | 16889 244145 773136 | 2147483647 130010 42 | 0.000 % |
239.32/239.36 c | 647879 | 16889 244145 773136 | 2147483647 131035 42 | 0.000 % |
239.52/239.56 c | 648392 | 16889 244145 773136 | 2147483647 131548 42 | 0.000 % |
239.83/239.86 c | 648904 | 16889 244145 773136 | 2147483647 132060 42 | 0.000 % |
240.12/240.18 c | 649929 | 16889 244145 773136 | 2147483647 133085 42 | 0.000 % |
240.72/240.76 c | 651978 | 16889 244145 773136 | 2147483647 135134 42 | 0.000 % |
242.12/242.19 c | 656074 | 16889 244145 773136 | 2147483647 139230 42 | 0.000 % |
244.52/244.50 c | 664266 | 16889 244145 773136 | 143159 147422 43 | 0.000 % |
245.52/245.52 c | 664778 | 16889 244145 773136 | 143159 130284 44 | 0.000 % |
245.72/245.72 c | 665290 | 16889 244145 773136 | 143159 130796 44 | 0.000 % |
246.02/246.05 c | 666314 | 16889 244145 773136 | 143159 131820 44 | 0.000 % |
246.22/246.26 c | 666827 | 16889 244145 773136 | 143159 132333 44 | 0.000 % |
246.43/246.42 c | 667340 | 16889 244145 773136 | 143159 132846 44 | 0.000 % |
246.72/246.78 c | 668364 | 16889 244145 773136 | 143159 133870 44 | 0.000 % |
247.53/247.59 c | 670412 | 16889 244145 773136 | 2147483647 135918 44 | 0.000 % |
247.72/247.72 c | 670924 | 16889 244145 773136 | 2147483647 136430 44 | 0.000 % |
247.82/247.86 c | 671436 | 16889 244145 773136 | 2147483647 136942 44 | 0.000 % |
248.22/248.30 c | 672461 | 16889 244145 773136 | 2147483647 137967 44 | 0.000 % |
248.52/248.52 c | 672973 | 16889 244145 773136 | 2147483647 138479 44 | 0.000 % |
248.72/248.76 c | 673486 | 16889 244145 773136 | 2147483647 138992 44 | 0.000 % |
249.22/249.21 c | 674510 | 16889 244145 773136 | 2147483647 140016 44 | 0.000 % |
249.93/249.93 c | 676558 | 16889 244145 773136 | 2147483647 142064 44 | 0.000 % |
251.63/251.69 c | 680654 | 16889 244145 773136 | 145506 146160 45 | 0.000 % |
252.43/252.45 c | 681166 | 16889 244145 773136 | 145506 126498 46 | 0.000 % |
252.63/252.67 c | 681678 | 16889 244145 773136 | 145506 127010 46 | 0.000 % |
253.13/253.13 c | 682703 | 16889 244145 773136 | 145506 128035 46 | 0.000 % |
253.23/253.26 c | 683215 | 16889 244145 773136 | 145506 128547 46 | 0.000 % |
253.43/253.49 c | 683728 | 16889 244145 773136 | 145506 129060 46 | 0.000 % |
253.93/253.92 c | 684752 | 16889 244145 773136 | 145506 130084 46 | 0.000 % |
254.63/254.68 c | 686800 | 16889 244145 773136 | 145506 132132 46 | 0.000 % |
254.83/254.84 c | 687312 | 16889 244145 773136 | 145506 132644 46 | 0.000 % |
255.03/255.02 c | 687824 | 16889 244145 773136 | 145506 133156 46 | 0.000 % |
255.43/255.45 c | 688849 | 16889 244145 773136 | 145506 134181 46 | 0.000 % |
255.63/255.68 c | 689362 | 16889 244145 773136 | 145506 134694 46 | 0.000 % |
255.83/255.91 c | 689875 | 16889 244145 773136 | 145506 135207 46 | 0.000 % |
256.33/256.37 c | 690900 | 16889 244145 773136 | 135335 136232 46 | 0.000 % |
257.63/257.68 c | 692948 | 16889 244145 773136 | 135335 120202 45 | 0.000 % |
259.03/259.01 c | 697044 | 16889 244145 773136 | 135335 124298 45 | 0.000 % |
262.03/262.03 c | 705236 | 16889 244145 773136 | 127254 132490 49 | 0.000 % |
267.43/267.47 c | 721620 | 16889 244145 773136 | 92513 94133 55 | 0.000 % |
278.73/278.76 c | 754388 | 16889 244145 773136 | 76787 81175 54 | 0.000 % |
279.23/279.27 c | 754901 | 16889 244145 773136 | 76787 64923 58 | 0.000 % |
279.33/279.41 c | 755414 | 16889 244145 773136 | 76787 65436 58 | 0.000 % |
279.73/279.78 c | 756439 | 16889 244145 773136 | 76787 66461 57 | 0.000 % |
279.93/279.96 c | 756951 | 16889 244145 773136 | 76787 66973 57 | 0.000 % |
280.03/280.08 c | 757465 | 16889 244145 773136 | 76787 67487 57 | 0.000 % |
280.43/280.48 c | 758492 | 16889 244145 773136 | 76787 68514 57 | 0.000 % |
281.23/281.21 c | 760541 | 16889 244145 773136 | 70022 70563 57 | 0.000 % |
281.63/281.64 c | 761054 | 16889 244145 773136 | 70022 61318 50 | 0.000 % |
281.83/281.83 c | 761571 | 16889 244145 773136 | 70022 61835 50 | 0.000 % |
282.03/282.10 c | 762595 | 16889 244145 773136 | 70022 62859 50 | 0.000 % |
282.23/282.30 c | 763107 | 16889 244145 773136 | 70022 63371 50 | 0.000 % |
282.53/282.52 c | 763620 | 16889 244145 773136 | 70022 63884 50 | 0.000 % |
282.93/282.94 c | 764645 | 16889 244145 773136 | 70022 64909 50 | 0.000 % |
283.53/283.54 c | 766693 | 16889 244145 773136 | 70022 66957 49 | 0.000 % |
284.43/284.42 c | 770790 | 16889 244145 773136 | 2147483647 71054 49 | 0.000 % |
284.53/284.58 c | 771302 | 16889 244145 773136 | 2147483647 71566 49 | 0.000 % |
284.73/284.73 c | 771814 | 16889 244145 773136 | 2147483647 72078 48 | 0.000 % |
285.03/285.04 c | 772838 | 16889 244145 773136 | 2147483647 73102 48 | 0.000 % |
285.13/285.20 c | 773354 | 16889 244145 773136 | 2147483647 73618 48 | 0.000 % |
285.33/285.34 c | 773867 | 16889 244145 773136 | 2147483647 74131 48 | 0.000 % |
285.63/285.65 c | 774891 | 16889 244145 773136 | 2147483647 75155 48 | 0.000 % |
286.03/286.06 c | 776939 | 16889 244145 773136 | 2147483647 77203 48 | 0.000 % |
286.23/286.23 c | 777451 | 16889 244145 773136 | 2147483647 77715 48 | 0.000 % |
286.33/286.39 c | 777963 | 16889 244145 773136 | 2147483647 78227 48 | 0.000 % |
286.73/286.71 c | 778987 | 16889 244145 773136 | 2147483647 79251 47 | 0.000 % |
286.93/286.91 c | 779500 | 16889 244145 773136 | 2147483647 79764 47 | 0.000 % |
287.13/287.15 c | 780012 | 16889 244145 773136 | 2147483647 80276 47 | 0.000 % |
287.43/287.48 c | 781036 | 16889 244145 773136 | 2147483647 81300 47 | 0.000 % |
287.93/287.98 c | 783085 | 16889 244145 773136 | 2147483647 83349 48 | 0.000 % |
289.33/289.37 c | 787183 | 16889 244145 773136 | 2147483647 87447 48 | 0.000 % |
291.13/291.20 c | 795375 | 16889 244145 773136 | 2147483647 95639 50 | 0.000 % |
291.33/291.32 c | 795887 | 16889 244145 773136 | 2147483647 96151 50 | 0.000 % |
291.43/291.49 c | 796400 | 16889 244145 773136 | 2147483647 96664 50 | 0.000 % |
291.63/291.69 c | 797425 | 16889 244145 773136 | 2147483647 97689 50 | 0.000 % |
291.83/291.88 c | 797939 | 16889 244145 773136 | 2147483647 98203 50 | 0.000 % |
292.03/292.05 c | 798452 | 16889 244145 773136 | 2147483647 98716 50 | 0.000 % |
292.33/292.32 c | 799476 | 16889 244145 773136 | 2147483647 99740 50 | 0.000 % |
292.83/292.89 c | 801524 | 16889 244145 773136 | 2147483647 101788 49 | 0.000 % |
293.13/293.12 c | 802037 | 16889 244145 773136 | 2147483647 102301 49 | 0.000 % |
293.33/293.33 c | 802550 | 16889 244145 773136 | 2147483647 102814 49 | 0.000 % |
293.63/293.69 c | 803574 | 16889 244145 773136 | 2147483647 103838 49 | 0.000 % |
293.83/293.90 c | 804086 | 16889 244145 773136 | 2147483647 104350 49 | 0.000 % |
294.13/294.13 c | 804598 | 16889 244145 773136 | 2147483647 104862 49 | 0.000 % |
294.43/294.46 c | 805622 | 16889 244145 773136 | 2147483647 105886 49 | 0.000 % |
295.13/295.13 c | 807670 | 16889 244145 773136 | 2147483647 107934 49 | 0.000 % |
296.63/296.65 c | 811768 | 16889 244145 773136 | 2147483647 112032 50 | 0.000 % |
296.93/296.92 c | 812281 | 16889 244145 773136 | 2147483647 112545 50 | 0.000 % |
297.13/297.19 c | 812793 | 16889 244145 773136 | 2147483647 113057 50 | 0.000 % |
297.53/297.60 c | 813817 | 16889 244145 773136 | 2147483647 114081 50 | 0.000 % |
297.73/297.80 c | 814329 | 16889 244145 773136 | 2147483647 114593 50 | 0.000 % |
297.93/297.98 c | 814842 | 16889 244145 773136 | 2147483647 115106 50 | 0.000 % |
298.33/298.33 c | 815867 | 16889 244145 773136 | 2147483647 116131 50 | 0.000 % |
299.13/299.13 c | 817916 | 16889 244145 773136 | 2147483647 118180 50 | 0.000 % |
299.33/299.39 c | 818429 | 16889 244145 773136 | 2147483647 118693 50 | 0.000 % |
299.53/299.57 c | 818941 | 16889 244145 773136 | 2147483647 119205 49 | 0.000 % |
299.93/299.95 c | 819965 | 16889 244145 773136 | 2147483647 120229 49 | 0.000 % |
300.13/300.14 c | 820477 | 16889 244145 773136 | 120264 120741 49 | 0.000 % |
301.23/301.25 c | 820989 | 16889 244145 773136 | 120264 102279 47 | 0.000 % |
301.63/301.66 c | 822013 | 16889 244145 773136 | 120264 103303 47 | 0.000 % |
302.23/302.24 c | 824061 | 16889 244145 773136 | 120264 105351 48 | 0.000 % |
303.43/303.50 c | 828157 | 16889 244145 773136 | 120264 109447 50 | 0.000 % |
306.33/306.39 c | 836349 | 16889 244145 773136 | 111292 106117 50 | 0.000 % |
311.63/311.70 c | 852735 | 16889 244145 773136 | 119768 122503 57 | 0.000 % |
312.63/312.70 c | 853247 | 16889 244145 773136 | 119768 105738 57 | 0.000 % |
312.93/312.95 c | 853759 | 16889 244145 773136 | 119768 106250 57 | 0.000 % |
313.33/313.39 c | 854785 | 16889 244145 773136 | 119768 107276 57 | 0.000 % |
313.53/313.58 c | 855300 | 16889 244145 773136 | 119768 107791 57 | 0.000 % |
313.73/313.73 c | 855813 | 16889 244145 773136 | 119768 108304 57 | 0.000 % |
314.13/314.13 c | 856837 | 16889 244145 773136 | 119768 109328 57 | 0.000 % |
314.83/314.81 c | 858885 | 16889 244145 773136 | 119768 111376 57 | 0.000 % |
315.03/315.04 c | 859397 | 16889 244145 773136 | 119768 111888 57 | 0.000 % |
315.23/315.22 c | 859911 | 16889 244145 773136 | 119768 112402 57 | 0.000 % |
315.63/315.67 c | 860936 | 16889 244145 773136 | 2147483647 113427 56 | 0.000 % |
315.83/315.90 c | 861448 | 16889 244145 773136 | 2147483647 113939 56 | 0.000 % |
316.13/316.11 c | 861961 | 16889 244145 773136 | 2147483647 114452 56 | 0.000 % |
316.43/316.48 c | 862985 | 16889 244145 773136 | 2147483647 115476 57 | 0.000 % |
317.13/317.18 c | 865034 | 16889 244145 773136 | 2147483647 117525 57 | 0.000 % |
318.83/318.90 c | 869131 | 16889 244145 773136 | 2147483647 121622 57 | 0.000 % |
319.13/319.13 c | 869643 | 16889 244145 773136 | 2147483647 122134 57 | 0.000 % |
319.33/319.36 c | 870155 | 16889 244145 773136 | 122491 122646 57 | 0.000 % |
319.93/319.94 c | 871180 | 16889 244145 773136 | 122491 108309 58 | 0.000 % |
320.13/320.12 c | 871692 | 16889 244145 773136 | 122491 108821 58 | 0.000 % |
320.33/320.31 c | 872208 | 16889 244145 773136 | 122491 109337 58 | 0.000 % |
320.63/320.63 c | 873232 | 16889 244145 773136 | 122491 110361 58 | 0.000 % |
321.33/321.40 c | 875280 | 16889 244145 773136 | 122491 112409 58 | 0.000 % |
321.53/321.58 c | 875792 | 16889 244145 773136 | 122491 112921 58 | 0.000 % |
321.83/321.87 c | 876304 | 16889 244145 773136 | 122491 113433 58 | 0.000 % |
322.23/322.24 c | 877330 | 16889 244145 773136 | 122491 114459 58 | 0.000 % |
322.43/322.43 c | 877842 | 16889 244145 773136 | 122491 114971 58 | 0.000 % |
322.63/322.62 c | 878354 | 16889 244145 773136 | 122491 115483 58 | 0.000 % |
322.93/322.94 c | 879378 | 16889 244145 773136 | 122491 116507 57 | 0.000 % |
323.63/323.64 c | 881426 | 16889 244145 773136 | 2147483647 118555 57 | 0.000 % |
325.13/325.17 c | 885522 | 16889 244145 773136 | 2147483647 122651 57 | 0.000 % |
328.83/328.88 c | 893715 | 16889 244145 773136 | 127129 130844 60 | 0.000 % |
329.73/329.73 c | 894227 | 16889 244145 773136 | 127129 99817 62 | 0.000 % |
329.93/329.93 c | 894743 | 16889 244145 773136 | 127129 100333 61 | 0.000 % |
330.33/330.31 c | 895767 | 16889 244145 773136 | 127129 101357 61 | 0.000 % |
330.53/330.56 c | 896279 | 16889 244145 773136 | 127129 101869 61 | 0.000 % |
330.83/330.85 c | 896791 | 16889 244145 773136 | 127129 102381 61 | 0.000 % |
331.33/331.35 c | 897817 | 16889 244145 773136 | 127129 103407 61 | 0.000 % |
332.14/332.13 c | 899866 | 16889 244145 773136 | 127129 105456 60 | 0.000 % |
332.34/332.35 c | 900378 | 16889 244145 773136 | 105590 105968 60 | 0.000 % |
332.84/332.82 c | 900892 | 16889 244145 773136 | 105590 87232 62 | 0.000 % |
333.24/333.23 c | 901916 | 16889 244145 773136 | 105590 88256 62 | 0.000 % |
333.44/333.42 c | 902431 | 16889 244145 773136 | 105590 88771 62 | 0.000 % |
333.64/333.70 c | 902943 | 16889 244145 773136 | 105590 89283 62 | 0.000 % |
334.14/334.13 c | 903969 | 16889 244145 773136 | 105590 90309 62 | 0.000 % |
334.84/334.88 c | 906017 | 16889 244145 773136 | 105590 92357 61 | 0.000 % |
336.24/336.26 c | 910113 | 16889 244145 773136 | 96342 96453 62 | 0.000 % |
336.84/336.90 c | 910625 | 16889 244145 773136 | 96342 83493 61 | 0.000 % |
337.04/337.09 c | 911137 | 16889 244145 773136 | 96342 84005 61 | 0.000 % |
337.44/337.48 c | 912162 | 16889 244145 773136 | 96342 85030 61 | 0.000 % |
337.64/337.71 c | 912674 | 16889 244145 773136 | 96342 85542 60 | 0.000 % |
337.94/337.93 c | 913186 | 16889 244145 773136 | 96342 86054 60 | 0.000 % |
338.34/338.39 c | 914210 | 16889 244145 773136 | 96342 87078 60 | 0.000 % |
339.24/339.26 c | 916258 | 16889 244145 773136 | 96342 89126 60 | 0.000 % |
339.54/339.57 c | 916771 | 16889 244145 773136 | 96342 89639 60 | 0.000 % |
339.74/339.77 c | 917283 | 16889 244145 773136 | 96342 90151 60 | 0.000 % |
340.24/340.22 c | 918307 | 16889 244145 773136 | 96342 91175 59 | 0.000 % |
340.34/340.40 c | 918819 | 16889 244145 773136 | 96342 91687 59 | 0.000 % |
340.64/340.63 c | 919333 | 16889 244145 773136 | 96342 92201 59 | 0.000 % |
341.05/341.06 c | 920360 | 16889 244145 773136 | 2147483647 93228 59 | 0.000 % |
341.84/341.90 c | 922408 | 16889 244145 773136 | 2147483647 95276 59 | 0.000 % |
343.64/343.62 c | 926504 | 16889 244145 773136 | 2147483647 99372 58 | 0.001 % |
346.04/346.05 c | 934696 | 16889 244145 773136 | 2147483647 107564 58 | 0.000 % |
350.14/350.18 c | 951081 | 16889 244145 773136 | 2147483647 123949 57 | 0.000 % |
359.94/359.97 c | 983850 | 16889 244145 773136 | 2147483647 156718 59 | 0.000 % |
386.65/386.64 c | 1049386 | 16889 244145 773136 | 109006 106979 48 | 0.000 % |
446.45/446.50 c | 1180459 | 16889 244145 773136 | 60977 61436 69 | 0.001 % |
446.75/446.81 c | 1180973 | 16889 244145 773136 | 60977 55067 72 | 0.000 % |
447.05/447.11 c | 1181487 | 16889 244145 773136 | 60977 55581 72 | 0.000 % |
447.45/447.46 c | 1182514 | 16889 244145 773136 | 60977 56608 71 | 0.000 % |
447.76/447.76 c | 1183026 | 16889 244145 773136 | 60977 57120 71 | 0.000 % |
447.85/447.89 c | 1183539 | 16889 244145 773136 | 60977 57633 71 | 0.000 % |
448.15/448.20 c | 1184566 | 16889 244145 773136 | 60977 58660 70 | 0.000 % |
448.95/448.99 c | 1186615 | 16889 244145 773136 | 60977 60709 70 | 0.000 % |
449.25/449.27 c | 1187128 | 16889 244145 773136 | 60977 61222 69 | 0.000 % |
449.55/449.54 c | 1187640 | 16889 244145 773136 | 60977 55612 68 | 0.000 % |
449.85/449.91 c | 1188665 | 16889 244145 773136 | 60977 56637 68 | 0.000 % |
450.15/450.17 c | 1189177 | 16889 244145 773136 | 60977 57149 67 | 0.000 % |
450.35/450.37 c | 1189689 | 16889 244145 773136 | 60977 57661 67 | 0.000 % |
450.85/450.83 c | 1190716 | 16889 244145 773136 | 2147483647 58688 67 | 0.000 % |
451.65/451.67 c | 1192764 | 16889 244145 773136 | 2147483647 60736 66 | 0.000 % |
452.85/452.82 c | 1196862 | 16889 244145 773136 | 2147483647 64834 65 | 0.000 % |
453.05/453.09 c | 1197376 | 16889 244145 773136 | 2147483647 65348 65 | 0.000 % |
453.35/453.32 c | 1197889 | 16889 244145 773136 | 2147483647 65861 64 | 0.000 % |
453.75/453.74 c | 1198913 | 16889 244145 773136 | 2147483647 66885 64 | 0.000 % |
453.85/453.91 c | 1199429 | 16889 244145 773136 | 2147483647 67401 64 | 0.000 % |
454.15/454.14 c | 1199941 | 16889 244145 773136 | 2147483647 67913 64 | 0.000 % |
454.45/454.52 c | 1200966 | 16889 244145 773136 | 2147483647 68938 64 | 0.000 % |
455.15/455.15 c | 1203015 | 16889 244145 773136 | 2147483647 70987 63 | 0.000 % |
455.46/455.51 c | 1203529 | 16889 244145 773136 | 2147483647 71501 63 | 0.000 % |
455.65/455.71 c | 1204041 | 16889 244145 773136 | 2147483647 72013 63 | 0.000 % |
456.25/456.31 c | 1205067 | 16889 244145 773136 | 2147483647 73039 63 | 0.000 % |
456.65/456.64 c | 1205580 | 16889 244145 773136 | 2147483647 73552 62 | 0.000 % |
456.95/456.92 c | 1206092 | 16889 244145 773136 | 2147483647 74064 62 | 0.000 % |
457.35/457.34 c | 1207117 | 16889 244145 773136 | 2147483647 75089 62 | 0.000 % |
458.15/458.18 c | 1209167 | 16889 244145 773136 | 2147483647 77139 62 | 0.000 % |
459.55/459.61 c | 1213265 | 16889 244145 773136 | 2147483647 81237 63 | 0.000 % |
462.35/462.36 c | 1221458 | 16889 244145 773136 | 2147483647 89430 61 | 0.000 % |
462.65/462.64 c | 1221970 | 16889 244145 773136 | 2147483647 89942 61 | 0.000 % |
462.85/462.89 c | 1222483 | 16889 244145 773136 | 2147483647 90455 61 | 0.000 % |
463.35/463.34 c | 1223507 | 16889 244145 773136 | 2147483647 91479 60 | 0.000 % |
463.55/463.55 c | 1224020 | 16889 244145 773136 | 2147483647 91992 60 | 0.000 % |
463.85/463.84 c | 1224534 | 16889 244145 773136 | 2147483647 92506 60 | 0.000 % |
464.05/464.04 c | 1225558 | 16889 244145 773136 | 2147483647 93530 60 | 0.000 % |
464.55/464.54 c | 1227606 | 16889 244145 773136 | 2147483647 95578 60 | 0.000 % |
464.75/464.72 c | 1228122 | 16889 244145 773136 | 2147483647 96094 60 | 0.000 % |
464.85/464.82 c | 1228634 | 16889 244145 773136 | 2147483647 96606 60 | 0.000 % |
465.15/465.16 c | 1229658 | 16889 244145 773136 | 2147483647 97630 59 | 0.000 % |
465.25/465.30 c | 1230171 | 16889 244145 773136 | 2147483647 98143 59 | 0.000 % |
465.45/465.46 c | 1230684 | 16889 244145 773136 | 2147483647 98656 59 | 0.000 % |
465.65/465.70 c | 1231708 | 16889 244145 773136 | 2147483647 99680 59 | 0.000 % |
466.35/466.32 c | 1233756 | 16889 244145 773136 | 2147483647 101728 58 | 0.000 % |
467.35/467.32 c | 1237853 | 16889 244145 773136 | 2147483647 105825 57 | 0.000 % |
467.45/467.51 c | 1238366 | 16889 244145 773136 | 2147483647 106338 57 | 0.000 % |
467.65/467.69 c | 1238879 | 16889 244145 773136 | 2147483647 106851 57 | 0.000 % |
467.95/467.99 c | 1239904 | 16889 244145 773136 | 2147483647 107876 57 | 0.000 % |
468.15/468.14 c | 1240416 | 16889 244145 773136 | 2147483647 108388 57 | 0.000 % |
468.25/468.28 c | 1240928 | 16889 244145 773136 | 2147483647 108900 57 | 0.000 % |
468.55/468.57 c | 1241952 | 16889 244145 773136 | 2147483647 109924 57 | 0.000 % |
469.15/469.17 c | 1244000 | 16889 244145 773136 | 2147483647 111972 56 | 0.000 % |
469.35/469.40 c | 1244512 | 16889 244145 773136 | 2147483647 112484 56 | 0.000 % |
469.55/469.61 c | 1245025 | 16889 244145 773136 | 2147483647 112997 56 | 0.000 % |
469.95/469.93 c | 1246050 | 16889 244145 773136 | 2147483647 114022 56 | 0.000 % |
470.05/470.07 c | 1246562 | 16889 244145 773136 | 2147483647 114534 56 | 0.000 % |
470.15/470.20 c | 1247074 | 16889 244145 773136 | 2147483647 115046 56 | 0.000 % |
470.55/470.56 c | 1248099 | 16889 244145 773136 | 2147483647 116071 56 | 0.000 % |
471.05/471.06 c | 1250147 | 16889 244145 773136 | 2147483647 118119 56 | 0.000 % |
472.45/472.44 c | 1254243 | 16889 244145 773136 | 2147483647 122215 56 | 0.000 % |
475.85/475.91 c | 1262439 | 16889 244145 773136 | 127973 130411 54 | 0.000 % |
482.65/482.69 c | 1278823 | 16889 244145 773136 | 118917 102962 40 | 0.000 % |
482.85/482.90 c | 1279336 | 16889 244145 773136 | 118917 103475 40 | 0.000 % |
483.05/483.10 c | 1279849 | 16889 244145 773136 | 118917 103988 40 | 0.000 % |
483.55/483.60 c | 1280874 | 16889 244145 773136 | 104140 105013 40 | 0.000 % |
484.15/484.21 c | 1281386 | 16889 244145 773136 | 104140 84551 39 | 0.000 % |
484.45/484.44 c | 1281901 | 16889 244145 773136 | 104140 85066 39 | 0.000 % |
484.85/484.86 c | 1282926 | 16889 244145 773136 | 104140 86091 40 | 0.000 % |
485.45/485.48 c | 1284974 | 16889 244145 773136 | 104140 88139 40 | 0.000 % |
485.65/485.69 c | 1285488 | 16889 244145 773136 | 104140 88653 40 | 0.000 % |
485.85/485.88 c | 1286000 | 16889 244145 773136 | 104140 89165 40 | 0.000 % |
486.26/486.31 c | 1287026 | 16889 244145 773136 | 104140 90191 40 | 0.000 % |
486.55/486.55 c | 1287538 | 16889 244145 773136 | 104140 90703 40 | 0.000 % |
486.75/486.77 c | 1288050 | 16889 244145 773136 | 104140 91215 40 | 0.000 % |
487.15/487.12 c | 1289074 | 16889 244145 773136 | 104140 92239 40 | 0.000 % |
487.95/487.97 c | 1291124 | 16889 244145 773136 | 93166 94289 40 | 0.000 % |
489.85/489.83 c | 1295220 | 16889 244145 773136 | 93166 84236 37 | 0.000 % |
489.95/489.95 c | 1295733 | 16889 244145 773136 | 93166 84749 37 | 0.000 % |
490.15/490.17 c | 1296246 | 16889 244145 773136 | 93166 85262 37 | 0.000 % |
490.66/490.65 c | 1297270 | 16889 244145 773136 | 93166 86286 37 | 0.000 % |
490.85/490.86 c | 1297783 | 16889 244145 773136 | 93166 86799 37 | 0.000 % |
491.05/491.03 c | 1298295 | 16889 244145 773136 | 93166 87311 37 | 0.000 % |
491.45/491.46 c | 1299320 | 16889 244145 773136 | 93166 88336 37 | 0.000 % |
492.15/492.14 c | 1301369 | 16889 244145 773136 | 2147483647 90385 37 | 0.000 % |
492.35/492.34 c | 1301881 | 16889 244145 773136 | 2147483647 90897 37 | 0.000 % |
492.55/492.52 c | 1302395 | 16889 244145 773136 | 2147483647 91411 37 | 0.000 % |
492.86/492.85 c | 1303419 | 16889 244145 773136 | 2147483647 92435 37 | 0.001 % |
493.05/493.02 c | 1303931 | 16889 244145 773136 | 2147483647 92947 37 | 0.000 % |
493.15/493.21 c | 1304443 | 16889 244145 773136 | 2147483647 93459 37 | 0.000 % |
493.65/493.64 c | 1305468 | 16889 244145 773136 | 2147483647 94484 38 | 0.000 % |
494.45/494.42 c | 1307516 | 16889 244145 773136 | 2147483647 96532 38 | 0.000 % |
495.35/495.40 c | 1311612 | 16889 244145 773136 | 2147483647 100628 39 | 0.000 % |
498.25/498.27 c | 1319804 | 16889 244145 773136 | 2147483647 108820 39 | 0.000 % |
498.45/498.51 c | 1320317 | 16889 244145 773136 | 2147483647 109333 39 | 0.000 % |
498.75/498.76 c | 1320829 | 16889 244145 773136 | 2147483647 109845 39 | 0.000 % |
499.05/499.04 c | 1321854 | 16889 244145 773136 | 2147483647 110870 39 | 0.000 % |
499.25/499.22 c | 1322367 | 16889 244145 773136 | 2147483647 111383 39 | 0.000 % |
499.46/499.44 c | 1322879 | 16889 244145 773136 | 2147483647 111895 39 | 0.000 % |
499.86/499.90 c | 1323903 | 16889 244145 773136 | 2147483647 112919 39 | 0.000 % |
500.76/500.75 c | 1325952 | 16889 244145 773136 | 2147483647 114968 39 | 0.000 % |
501.06/501.09 c | 1326466 | 16889 244145 773136 | 2147483647 115482 39 | 0.000 % |
501.26/501.29 c | 1326978 | 16889 244145 773136 | 2147483647 115994 39 | 0.000 % |
501.76/501.81 c | 1328002 | 16889 244145 773136 | 2147483647 117018 39 | 0.001 % |
501.96/502.02 c | 1328515 | 16889 244145 773136 | 2147483647 117531 39 | 0.000 % |
502.36/502.42 c | 1329027 | 16889 244145 773136 | 2147483647 118043 39 | 0.000 % |
502.76/502.73 c | 1330051 | 16889 244145 773136 | 119016 119067 39 | 0.000 % |
504.75/504.72 c | 1332099 | 16889 244145 773136 | 119016 103352 39 | 0.000 % |
505.95/505.94 c | 1336195 | 16889 244145 773136 | 119016 107448 40 | 0.000 % |
506.15/506.16 c | 1336707 | 16889 244145 773136 | 119016 107960 40 | 0.000 % |
506.35/506.38 c | 1337220 | 16889 244145 773136 | 119016 108473 40 | 0.000 % |
506.65/506.71 c | 1338245 | 16889 244145 773136 | 119016 109498 40 | 0.000 % |
506.95/506.94 c | 1338757 | 16889 244145 773136 | 119016 110010 40 | 0.000 % |
507.15/507.15 c | 1339269 | 16889 244145 773136 | 119016 110522 40 | 0.000 % |
507.75/507.72 c | 1340294 | 16889 244145 773136 | 111253 111547 40 | 0.000 % |
509.15/509.20 c | 1342344 | 16889 244145 773136 | 111253 99715 39 | 0.000 % |
509.35/509.41 c | 1342857 | 16889 244145 773136 | 111253 100228 39 | 0.001 % |
509.55/509.59 c | 1343370 | 16889 244145 773136 | 111253 100741 39 | 0.000 % |
509.75/509.81 c | 1344394 | 16889 244145 773136 | 111253 101765 39 | 0.000 % |
509.95/509.98 c | 1344908 | 16889 244145 773136 | 111253 102279 39 | 0.000 % |
510.05/510.07 c | 1345420 | 16889 244145 773136 | 111253 102791 39 | 0.000 % |
510.35/510.33 c | 1346444 | 16889 244145 773136 | 111253 103815 39 | 0.000 % |
510.65/510.68 c | 1348494 | 16889 244145 773136 | 111253 105865 40 | 0.000 % |
511.35/511.40 c | 1352590 | 16889 244145 773136 | 2147483647 109961 41 | 0.000 % |
513.15/513.20 c | 1360784 | 16889 244145 773136 | 2147483647 118155 43 | 0.000 % |
517.15/517.13 c | 1377168 | 16889 244145 773136 | 2147483647 134539 46 | 0.000 % |
532.25/532.28 c | 1409937 | 16889 244145 773136 | 113574 95832 61 | 0.000 % |
532.55/532.54 c | 1410449 | 16889 244145 773136 | 95895 96344 61 | 0.000 % |
532.85/532.89 c | 1410961 | 16889 244145 773136 | 95895 77183 64 | 0.000 % |
533.45/533.46 c | 1411986 | 16889 244145 773136 | 95895 78208 64 | 0.000 % |
533.65/533.69 c | 1412499 | 16889 244145 773136 | 95895 78721 64 | 0.000 % |
533.95/533.93 c | 1413012 | 16889 244145 773136 | 95895 79234 64 | 0.000 % |
534.55/534.59 c | 1414036 | 16889 244145 773136 | 95895 80258 63 | 0.000 % |
535.45/535.44 c | 1416086 | 16889 244145 773136 | 95895 82308 63 | 0.000 % |
535.75/535.71 c | 1416600 | 16889 244145 773136 | 95895 82822 63 | 0.000 % |
535.85/535.87 c | 1417113 | 16889 244145 773136 | 95895 83335 63 | 0.000 % |
536.25/536.27 c | 1418138 | 16889 244145 773136 | 95895 84360 63 | 0.000 % |
536.55/536.53 c | 1418651 | 16889 244145 773136 | 95895 84873 63 | 0.000 % |
536.75/536.73 c | 1419164 | 16889 244145 773136 | 95895 85386 62 | 0.000 % |
537.15/537.12 c | 1420188 | 16889 244145 773136 | 86224 86410 62 | 0.000 % |
537.95/537.98 c | 1422236 | 16889 244145 773136 | 86224 76694 64 | 0.000 % |
539.45/539.45 c | 1426332 | 16889 244145 773136 | 86224 80790 63 | 0.000 % |
539.65/539.65 c | 1426845 | 16889 244145 773136 | 86224 81303 63 | 0.000 % |
539.85/539.84 c | 1427358 | 16889 244145 773136 | 86224 81816 63 | 0.000 % |
540.15/540.21 c | 1428382 | 16889 244145 773136 | 86224 82840 63 | 0.000 % |
540.45/540.45 c | 1428894 | 16889 244145 773136 | 86224 83352 63 | 0.000 % |
540.65/540.65 c | 1429407 | 16889 244145 773136 | 86224 83865 62 | 0.000 % |
540.95/541.01 c | 1430432 | 16889 244145 773136 | 2147483647 84890 62 | 0.000 % |
541.65/541.70 c | 1432480 | 16889 244145 773136 | 2147483647 86938 62 | 0.000 % |
541.85/541.87 c | 1432992 | 16889 244145 773136 | 2147483647 87450 61 | 0.000 % |
542.05/542.08 c | 1433504 | 16889 244145 773136 | 2147483647 87962 61 | 0.000 % |
542.45/542.43 c | 1434529 | 16889 244145 773136 | 2147483647 88987 61 | 0.000 % |
542.65/542.69 c | 1435041 | 16889 244145 773136 | 2147483647 89499 61 | 0.000 % |
542.95/542.98 c | 1435554 | 16889 244145 773136 | 2147483647 90012 61 | 0.000 % |
543.35/543.41 c | 1436578 | 16889 244145 773136 | 2147483647 91036 61 | 0.000 % |
544.25/544.27 c | 1438626 | 16889 244145 773136 | 2147483647 93084 61 | 0.000 % |
545.55/545.57 c | 1442722 | 16889 244145 773136 | 94459 97180 61 | 0.000 % |
548.65/548.69 c | 1450914 | 16889 244145 773136 | 2147483647 95654 58 | 0.000 % |
548.95/548.96 c | 1451426 | 16889 244145 773136 | 2147483647 96166 58 | 0.000 % |
549.15/549.16 c | 1451938 | 16889 244145 773136 | 2147483647 96678 58 | 0.000 % |
549.65/549.63 c | 1452963 | 16889 244145 773136 | 2147483647 97703 58 | 0.000 % |
549.85/549.89 c | 1453475 | 16889 244145 773136 | 2147483647 98215 58 | 0.000 % |
550.15/550.17 c | 1453987 | 16889 244145 773136 | 2147483647 98727 58 | 0.000 % |
550.75/550.74 c | 1455011 | 16889 244145 773136 | 2147483647 99751 58 | 0.000 % |
551.45/551.48 c | 1457061 | 16889 244145 773136 | 2147483647 101801 58 | 0.000 % |
551.55/551.59 c | 1457574 | 16889 244145 773136 | 2147483647 102314 58 | 0.000 % |
551.75/551.77 c | 1458086 | 16889 244145 773136 | 2147483647 102826 58 | 0.000 % |
552.05/552.04 c | 1459114 | 16889 244145 773136 | 2147483647 103854 58 | 0.000 % |
552.15/552.20 c | 1459626 | 16889 244145 773136 | 2147483647 104366 58 | 0.000 % |
552.35/552.34 c | 1460138 | 16889 244145 773136 | 104741 104878 58 | 0.000 % |
552.85/552.88 c | 1461163 | 16889 244145 773136 | 104741 93788 55 | 0.000 % |
553.05/553.04 c | 1463213 | 16889 244145 773136 | 104741 95838 55 | 0.000 % |
554.05/554.03 c | 1467310 | 16889 244145 773136 | 104741 99935 55 | 0.000 % |
554.15/554.14 c | 1467822 | 16889 244145 773136 | 104741 100447 55 | 0.000 % |
554.25/554.26 c | 1468334 | 16889 244145 773136 | 104741 100959 55 | 0.000 % |
554.45/554.50 c | 1469358 | 16889 244145 773136 | 104741 101983 54 | 0.000 % |
554.65/554.67 c | 1469870 | 16889 244145 773136 | 104741 102495 54 | 0.000 % |
554.85/554.85 c | 1470382 | 16889 244145 773136 | 2147483647 103007 54 | 0.000 % |
555.05/555.11 c | 1471406 | 16889 244145 773136 | 2147483647 104031 54 | 0.000 % |
555.65/555.67 c | 1473454 | 16889 244145 773136 | 2147483647 106079 54 | 0.000 % |
555.85/555.84 c | 1473968 | 16889 244145 773136 | 2147483647 106593 53 | 0.000 % |
555.95/556.01 c | 1474481 | 16889 244145 773136 | 2147483647 107106 53 | 0.000 % |
556.25/556.27 c | 1475506 | 16889 244145 773136 | 2147483647 108131 53 | 0.000 % |
556.45/556.44 c | 1476018 | 16889 244145 773136 | 2147483647 108643 53 | 0.000 % |
556.65/556.62 c | 1476530 | 16889 244145 773136 | 2147483647 109155 53 | 0.000 % |
556.85/556.90 c | 1477554 | 16889 244145 773136 | 2147483647 110179 53 | 0.000 % |
557.35/557.38 c | 1479602 | 16889 244145 773136 | 2147483647 112227 53 | 0.000 % |
558.55/558.56 c | 1483701 | 16889 244145 773136 | 2147483647 116326 52 | 0.000 % |
560.85/560.87 c | 1491893 | 16889 244145 773136 | 2147483647 124518 50 | 0.000 % |
563.75/563.72 c | 1508277 | 16889 244145 773136 | 2147483647 140902 52 | 0.000 % |
563.95/564.01 c | 1508789 | 16889 244145 773136 | 2147483647 141414 52 | 0.000 % |
564.25/564.25 c | 1509304 | 16889 244145 773136 | 2147483647 141929 52 | 0.000 % |
564.85/564.86 c | 1510328 | 16889 244145 773136 | 2147483647 142953 52 | 0.000 % |
565.15/565.18 c | 1510840 | 16889 244145 773136 | 2147483647 143465 52 | 0.000 % |
565.35/565.37 c | 1511355 | 16889 244145 773136 | 2147483647 143980 52 | 0.000 % |
565.75/565.80 c | 1512380 | 16889 244145 773136 | 2147483647 145005 52 | 0.000 % |
566.75/566.80 c | 1514429 | 16889 244145 773136 | 2147483647 147054 52 | 0.000 % |
567.05/567.02 c | 1514941 | 16889 244145 773136 | 2147483647 147566 52 | 0.000 % |
567.15/567.17 c | 1515454 | 16889 244145 773136 | 2147483647 148079 52 | 0.000 % |
567.65/567.66 c | 1516479 | 16889 244145 773136 | 2147483647 149104 52 | 0.000 % |
567.85/567.86 c | 1516992 | 16889 244145 773136 | 2147483647 149617 52 | 0.000 % |
568.05/568.07 c | 1517504 | 16889 244145 773136 | 2147483647 150129 52 | 0.000 % |
568.55/568.52 c | 1518529 | 16889 244145 773136 | 2147483647 151154 52 | 0.000 % |
569.25/569.28 c | 1520577 | 16889 244145 773136 | 2147483647 153202 53 | 0.000 % |
570.45/570.45 c | 1524673 | 16889 244145 773136 | 2147483647 157298 54 | 0.000 % |
570.65/570.70 c | 1525186 | 16889 244145 773136 | 2147483647 157811 54 | 0.000 % |
570.85/570.87 c | 1525698 | 16889 244145 773136 | 2147483647 158323 54 | 0.000 % |
571.15/571.14 c | 1526723 | 16889 244145 773136 | 2147483647 159348 54 | 0.000 % |
571.35/571.34 c | 1527235 | 16889 244145 773136 | 2147483647 159860 54 | 0.000 % |
571.45/571.48 c | 1527747 | 16889 244145 773136 | 2147483647 160372 54 | 0.000 % |
571.75/571.73 c | 1528771 | 16889 244145 773136 | 2147483647 161396 54 | 0.000 % |
572.35/572.31 c | 1530819 | 16889 244145 773136 | 2147483647 163444 54 | 0.000 % |
572.45/572.48 c | 1531332 | 16889 244145 773136 | 2147483647 163957 54 | 0.000 % |
572.65/572.66 c | 1531844 | 16889 244145 773136 | 2147483647 164469 54 | 0.000 % |
573.05/573.11 c | 1532869 | 16889 244145 773136 | 2147483647 165494 54 | 0.000 % |
573.35/573.37 c | 1533381 | 16889 244145 773136 | 2147483647 166006 54 | 0.000 % |
573.65/573.61 c | 1533893 | 16889 244145 773136 | 2147483647 166518 54 | 0.000 % |
573.85/573.91 c | 1534917 | 16889 244145 773136 | 2147483647 167542 54 | 0.000 % |
574.55/574.55 c | 1536965 | 16889 244145 773136 | 2147483647 169590 54 | 0.000 % |
575.75/575.79 c | 1541061 | 16889 244145 773136 | 2147483647 173686 54 | 0.000 % |
578.75/578.79 c | 1549253 | 16889 244145 773136 | 2147483647 181878 57 | 0.000 % |
578.95/578.99 c | 1549766 | 16889 244145 773136 | 2147483647 182391 58 | 0.000 % |
579.15/579.20 c | 1550279 | 16889 244145 773136 | 2147483647 182904 57 | 0.000 % |
579.55/579.54 c | 1551303 | 16889 244145 773136 | 2147483647 183928 57 | 0.000 % |
579.76/579.73 c | 1551816 | 16889 244145 773136 | 2147483647 184441 57 | 0.000 % |
579.95/579.94 c | 1552328 | 16889 244145 773136 | 2147483647 184953 57 | 0.000 % |
580.35/580.35 c | 1553353 | 16889 244145 773136 | 2147483647 185978 57 | 0.000 % |
581.15/581.12 c | 1555401 | 16889 244145 773136 | 2147483647 188026 57 | 0.000 % |
581.35/581.38 c | 1555914 | 16889 244145 773136 | 2147483647 188539 57 | 0.000 % |
581.65/581.64 c | 1556426 | 16889 244145 773136 | 2147483647 189051 57 | 0.000 % |
582.15/582.13 c | 1557450 | 16889 244145 773136 | 2147483647 190075 57 | 0.000 % |
582.35/582.36 c | 1557962 | 16889 244145 773136 | 2147483647 190587 57 | 0.000 % |
582.55/582.54 c | 1558474 | 16889 244145 773136 | 2147483647 191099 57 | 0.000 % |
583.06/583.07 c | 1559499 | 16889 244145 773136 | 2147483647 192124 57 | 0.000 % |
583.95/584.01 c | 1561547 | 16889 244145 773136 | 192625 194172 57 | 0.000 % |
586.05/586.10 c | 1565643 | 16889 244145 773136 | 192625 178851 58 | 0.000 % |
586.36/586.33 c | 1566155 | 16889 244145 773136 | 192625 179363 58 | 0.000 % |
586.65/586.66 c | 1566668 | 16889 244145 773136 | 192625 179876 58 | 0.000 % |
587.25/587.22 c | 1567693 | 16889 244145 773136 | 192625 180901 58 | 0.000 % |
587.46/587.43 c | 1568206 | 16889 244145 773136 | 192625 181414 58 | 0.000 % |
587.65/587.67 c | 1568719 | 16889 244145 773136 | 192625 181927 58 | 0.000 % |
588.05/588.06 c | 1569743 | 16889 244145 773136 | 192625 182951 58 | 0.000 % |
588.75/588.80 c | 1571791 | 16889 244145 773136 | 183208 184999 58 | 0.000 % |
589.45/589.42 c | 1572304 | 16889 244145 773136 | 183208 161363 56 | 0.000 % |
589.55/589.59 c | 1572816 | 16889 244145 773136 | 183208 161875 56 | 0.000 % |
589.95/589.96 c | 1573842 | 16889 244145 773136 | 183208 162901 56 | 0.000 % |
590.15/590.16 c | 1574354 | 16889 244145 773136 | 183208 163413 56 | 0.000 % |
590.45/590.45 c | 1574867 | 16889 244145 773136 | 183208 163926 56 | 0.000 % |
590.85/590.88 c | 1575891 | 16889 244145 773136 | 183208 164950 56 | 0.000 % |
591.75/591.72 c | 1577940 | 16889 244145 773136 | 183208 166999 56 | 0.000 % |
593.55/593.56 c | 1582037 | 16889 244145 773136 | 169059 171096 56 | 0.001 % |
597.15/597.14 c | 1590230 | 16889 244145 773136 | 156745 156975 56 | 0.000 % |
606.25/606.24 c | 1606616 | 16889 244145 773136 | 134388 118047 62 | 0.000 % |
621.95/621.93 c | 1639384 | 16889 244145 773136 | 99738 87646 49 | 0.000 % |
648.46/648.44 c | 1704921 | 16889 244145 773136 | 64496 61542 57 | 0.000 % |
648.56/648.61 c | 1705433 | 16889 244145 773136 | 64496 62054 57 | 0.000 % |
648.76/648.77 c | 1705949 | 16889 244145 773136 | 64496 62570 57 | 0.000 % |
648.96/648.99 c | 1706973 | 16889 244145 773136 | 64496 63594 57 | 0.000 % |
649.16/649.15 c | 1707487 | 16889 244145 773136 | 64496 64108 57 | 0.000 % |
649.26/649.28 c | 1708000 | 16889 244145 773136 | 64496 64621 56 | 0.000 % |
649.76/649.74 c | 1709025 | 16889 244145 773136 | 64496 59184 56 | 0.000 % |
650.26/650.29 c | 1711074 | 16889 244145 773136 | 2147483647 61233 55 | 0.000 % |
650.46/650.49 c | 1711590 | 16889 244145 773136 | 2147483647 61749 55 | 0.000 % |
650.66/650.70 c | 1712102 | 16889 244145 773136 | 2147483647 62261 55 | 0.000 % |
651.06/651.04 c | 1713128 | 16889 244145 773136 | 2147483647 63287 55 | 0.000 % |
651.16/651.12 c | 1713643 | 16889 244145 773136 | 2147483647 63802 55 | 0.000 % |
651.26/651.26 c | 1714158 | 16889 244145 773136 | 2147483647 64317 55 | 0.000 % |
651.56/651.52 c | 1715182 | 16889 244145 773136 | 2147483647 65341 55 | 0.000 % |
651.96/651.98 c | 1717230 | 16889 244145 773136 | 2147483647 67389 55 | 0.000 % |
652.86/652.88 c | 1721327 | 16889 244145 773136 | 2147483647 71486 53 | 0.000 % |
653.06/653.08 c | 1721839 | 16889 244145 773136 | 2147483647 71998 53 | 0.000 % |
653.16/653.22 c | 1722351 | 16889 244145 773136 | 2147483647 72510 53 | 0.000 % |
653.56/653.56 c | 1723375 | 16889 244145 773136 | 2147483647 73534 53 | 0.000 % |
653.66/653.69 c | 1723888 | 16889 244145 773136 | 2147483647 74047 53 | 0.000 % |
653.86/653.88 c | 1724400 | 16889 244145 773136 | 2147483647 74559 53 | 0.000 % |
654.16/654.16 c | 1725425 | 16889 244145 773136 | 2147483647 75584 52 | 0.000 % |
654.66/654.68 c | 1727473 | 16889 244145 773136 | 2147483647 77632 52 | 0.000 % |
654.86/654.90 c | 1727985 | 16889 244145 773136 | 2147483647 78144 52 | 0.000 % |
655.06/655.06 c | 1728498 | 16889 244145 773136 | 2147483647 78657 52 | 0.000 % |
655.36/655.40 c | 1729522 | 16889 244145 773136 | 2147483647 79681 51 | 0.000 % |
655.56/655.57 c | 1730035 | 16889 244145 773136 | 2147483647 80194 51 | 0.000 % |
655.76/655.75 c | 1730547 | 16889 244145 773136 | 2147483647 80706 51 | 0.000 % |
656.16/656.15 c | 1731573 | 16889 244145 773136 | 2147483647 81732 51 | 0.000 % |
656.56/656.59 c | 1733621 | 16889 244145 773136 | 2147483647 83780 52 | 0.000 % |
657.66/657.65 c | 1737719 | 16889 244145 773136 | 2147483647 87878 52 | 0.000 % |
659.46/659.45 c | 1745911 | 16889 244145 773136 | 2147483647 96070 52 | 0.000 % |
659.66/659.67 c | 1746424 | 16889 244145 773136 | 2147483647 96583 52 | 0.000 % |
659.86/659.89 c | 1746939 | 16889 244145 773136 | 2147483647 97098 52 | 0.000 % |
660.16/660.17 c | 1747964 | 16889 244145 773136 | 2147483647 98123 52 | 0.000 % |
660.36/660.34 c | 1748478 | 16889 244145 773136 | 2147483647 98637 52 | 0.000 % |
660.56/660.55 c | 1748990 | 16889 244145 773136 | 2147483647 99149 52 | 0.000 % |
660.96/660.92 c | 1750014 | 16889 244145 773136 | 2147483647 100173 52 | 0.000 % |
661.56/661.52 c | 1752064 | 16889 244145 773136 | 2147483647 102223 52 | 0.000 % |
661.66/661.65 c | 1752576 | 16889 244145 773136 | 2147483647 102735 52 | 0.000 % |
661.86/661.85 c | 1753088 | 16889 244145 773136 | 2147483647 103247 52 | 0.000 % |
662.26/662.28 c | 1754112 | 16889 244145 773136 | 2147483647 104271 52 | 0.000 % |
662.46/662.52 c | 1754630 | 16889 244145 773136 | 2147483647 104789 52 | 0.000 % |
662.76/662.77 c | 1755142 | 16889 244145 773136 | 2147483647 105301 52 | 0.000 % |
663.26/663.22 c | 1756166 | 16889 244145 773136 | 2147483647 106325 52 | 0.000 % |
663.76/663.73 c | 1758214 | 16889 244145 773136 | 2147483647 108373 52 | 0.000 % |
664.96/664.98 c | 1762310 | 16889 244145 773136 | 2147483647 112469 52 | 0.000 % |
665.06/665.11 c | 1762823 | 16889 244145 773136 | 2147483647 112982 52 | 0.000 % |
665.26/665.30 c | 1763335 | 16889 244145 773136 | 2147483647 113494 52 | 0.000 % |
665.66/665.64 c | 1764359 | 16889 244145 773136 | 2147483647 114518 52 | 0.000 % |
665.76/665.80 c | 1764872 | 16889 244145 773136 | 2147483647 115031 52 | 0.000 % |
665.96/666.00 c | 1765384 | 16889 244145 773136 | 2147483647 115543 52 | 0.000 % |
666.26/666.22 c | 1766408 | 16889 244145 773136 | 2147483647 116567 52 | 0.000 % |
666.76/666.73 c | 1768456 | 16889 244145 773136 | 2147483647 118615 52 | 0.000 % |
666.86/666.91 c | 1768968 | 16889 244145 773136 | 2147483647 119127 51 | 0.000 % |
667.06/667.06 c | 1769481 | 16889 244145 773136 | 2147483647 119640 51 | 0.000 % |
667.46/667.45 c | 1770507 | 16889 244145 773136 | 2147483647 120666 51 | 0.000 % |
667.76/667.76 c | 1771019 | 16889 244145 773136 | 2147483647 121178 51 | 0.000 % |
667.96/667.97 c | 1771531 | 16889 244145 773136 | 2147483647 121690 51 | 0.000 % |
668.36/668.33 c | 1772557 | 16889 244145 773136 | 2147483647 122716 51 | 0.000 % |
668.76/668.78 c | 1774605 | 16889 244145 773136 | 2147483647 124764 53 | 0.000 % |
670.26/670.25 c | 1778702 | 16889 244145 773136 | 2147483647 128861 52 | 0.000 % |
672.36/672.41 c | 1786895 | 16889 244145 773136 | 2147483647 137054 53 | 0.000 % |
677.46/677.49 c | 1803279 | 16889 244145 773136 | 2147483647 137534 52 | 0.000 % |
677.76/677.74 c | 1803791 | 16889 244145 773136 | 2147483647 138046 52 | 0.000 % |
677.96/677.95 c | 1804304 | 16889 244145 773136 | 2147483647 138559 52 | 0.000 % |
678.26/678.31 c | 1805328 | 16889 244145 773136 | 2147483647 139583 52 | 0.000 % |
678.46/678.48 c | 1805840 | 16889 244145 773136 | 2147483647 140095 52 | 0.000 % |
678.66/678.65 c | 1806353 | 16889 244145 773136 | 2147483647 140608 52 | 0.000 % |
679.06/679.04 c | 1807379 | 16889 244145 773136 | 2147483647 141634 52 | 0.000 % |
679.76/679.76 c | 1809428 | 16889 244145 773136 | 2147483647 143683 52 | 0.000 % |
679.96/680.00 c | 1809941 | 16889 244145 773136 | 2147483647 144196 52 | 0.000 % |
680.26/680.26 c | 1810453 | 16889 244145 773136 | 144256 144708 52 | 0.000 % |
680.96/680.95 c | 1811477 | 16889 244145 773136 | 144256 128053 51 | 0.000 % |
681.16/681.18 c | 1811992 | 16889 244145 773136 | 144256 128568 51 | 0.000 % |
681.36/681.37 c | 1812504 | 16889 244145 773136 | 144256 129080 51 | 0.000 % |
681.76/681.77 c | 1813528 | 16889 244145 773136 | 144256 130104 51 | 0.000 % |
682.56/682.58 c | 1815576 | 16889 244145 773136 | 144256 132152 52 | 0.000 % |
684.26/684.25 c | 1819673 | 16889 244145 773136 | 144256 136249 52 | 0.000 % |
684.46/684.50 c | 1820187 | 16889 244145 773136 | 136577 136763 52 | 0.000 % |
684.96/684.92 c | 1820699 | 16889 244145 773136 | 136577 117737 52 | 0.000 % |
685.26/685.28 c | 1821723 | 16889 244145 773136 | 136577 118761 52 | 0.000 % |
685.56/685.55 c | 1822235 | 16889 244145 773136 | 136577 119273 52 | 0.000 % |
685.76/685.73 c | 1822747 | 16889 244145 773136 | 136577 119785 52 | 0.000 % |
686.06/686.04 c | 1823771 | 16889 244145 773136 | 136577 120809 52 | 0.000 % |
686.66/686.65 c | 1825819 | 16889 244145 773136 | 136577 122857 52 | 0.000 % |
686.86/686.89 c | 1826332 | 16889 244145 773136 | 136577 123370 52 | 0.000 % |
687.16/687.12 c | 1826844 | 16889 244145 773136 | 136577 123882 52 | 0.000 % |
687.46/687.50 c | 1827868 | 16889 244145 773136 | 136577 124906 52 | 0.000 % |
687.66/687.66 c | 1828381 | 16889 244145 773136 | 136577 125419 52 | 0.000 % |
687.86/687.89 c | 1828894 | 16889 244145 773136 | 136577 125932 52 | 0.000 % |
688.16/688.15 c | 1829918 | 16889 244145 773136 | 136577 126956 52 | 0.000 % |
688.96/688.95 c | 1831967 | 16889 244145 773136 | 127038 129005 52 | 0.000 % |
690.86/690.82 c | 1836063 | 16889 244145 773136 | 127038 111913 53 | 0.000 % |
693.26/693.31 c | 1844255 | 16889 244145 773136 | 115850 120105 55 | 0.000 % |
693.86/693.86 c | 1844770 | 16889 244145 773136 | 115850 108610 54 | 0.000 % |
694.06/694.09 c | 1845282 | 16889 244145 773136 | 115850 109122 54 | 0.000 % |
694.46/694.47 c | 1846306 | 16889 244145 773136 | 115850 110146 54 | 0.000 % |
694.66/694.70 c | 1846819 | 16889 244145 773136 | 115850 110659 54 | 0.000 % |
694.86/694.87 c | 1847331 | 16889 244145 773136 | 115850 111171 54 | 0.000 % |
695.36/695.41 c | 1848355 | 16889 244145 773136 | 115850 112195 54 | 0.000 % |
695.96/695.98 c | 1850403 | 16889 244145 773136 | 2147483647 114243 54 | 0.000 % |
696.16/696.12 c | 1850917 | 16889 244145 773136 | 2147483647 114757 54 | 0.000 % |
696.46/696.42 c | 1851432 | 16889 244145 773136 | 2147483647 115272 53 | 0.000 % |
696.86/696.85 c | 1852456 | 16889 244145 773136 | 2147483647 116296 53 | 0.000 % |
696.96/697.01 c | 1852969 | 16889 244145 773136 | 2147483647 116809 53 | 0.000 % |
697.26/697.24 c | 1853481 | 16889 244145 773136 | 2147483647 117321 53 | 0.000 % |
697.76/697.75 c | 1854505 | 16889 244145 773136 | 2147483647 118345 53 | 0.000 % |
698.46/698.42 c | 1856553 | 16889 244145 773136 | 2147483647 120393 54 | 0.000 % |
699.26/699.30 c | 1860649 | 16889 244145 773136 | 2147483647 124489 56 | 0.000 % |
699.46/699.47 c | 1861163 | 16889 244145 773136 | 2147483647 125003 56 | 0.000 % |
699.67/699.65 c | 1861676 | 16889 244145 773136 | 2147483647 125516 56 | 0.000 % |
699.96/699.94 c | 1862701 | 16889 244145 773136 | 2147483647 126541 56 | 0.000 % |
700.26/700.29 c | 1863213 | 16889 244145 773136 | 2147483647 127053 56 | 0.000 % |
700.56/700.54 c | 1863725 | 16889 244145 773136 | 2147483647 127565 55 | 0.000 % |
700.86/700.85 c | 1864749 | 16889 244145 773136 | 2147483647 128589 55 | 0.000 % |
701.46/701.42 c | 1866797 | 16889 244145 773136 | 2147483647 130637 56 | 0.000 % |
701.66/701.63 c | 1867310 | 16889 244145 773136 | 2147483647 131150 55 | 0.001 % |
701.87/701.85 c | 1867822 | 16889 244145 773136 | 2147483647 131662 55 | 0.000 % |
702.16/702.14 c | 1868846 | 16889 244145 773136 | 2147483647 132686 55 | 0.000 % |
702.36/702.31 c | 1869358 | 16889 244145 773136 | 2147483647 133198 55 | 0.000 % |
702.46/702.45 c | 1869871 | 16889 244145 773136 | 2147483647 133711 55 | 0.000 % |
702.76/702.80 c | 1870896 | 16889 244145 773136 | 2147483647 134736 55 | 0.000 % |
703.36/703.39 c | 1872944 | 16889 244145 773136 | 2147483647 136784 55 | 0.000 % |
704.66/704.65 c | 1877040 | 16889 244145 773136 | 2147483647 140880 55 | 0.000 % |
707.26/707.23 c | 1885233 | 16889 244145 773136 | 2147483647 149073 59 | 0.000 % |
713.06/713.07 c | 1901617 | 16889 244145 773136 | 134051 135666 59 | 0.000 % |
724.56/724.59 c | 1934385 | 16889 244145 773136 | 99689 104074 58 | 0.000 % |
725.06/725.05 c | 1934897 | 16889 244145 773136 | 99689 90455 58 | 0.000 % |
725.26/725.23 c | 1935409 | 16889 244145 773136 | 99689 90967 58 | 0.000 % |
725.66/725.63 c | 1936434 | 16889 244145 773136 | 99689 91992 58 | 0.000 % |
725.76/725.81 c | 1936949 | 16889 244145 773136 | 99689 92507 58 | 0.000 % |
725.96/726.00 c | 1937461 | 16889 244145 773136 | 99689 93019 58 | 0.000 % |
726.36/726.40 c | 1938486 | 16889 244145 773136 | 99689 94044 58 | 0.000 % |
726.96/726.92 c | 1940534 | 16889 244145 773136 | 95558 96092 58 | 0.000 % |
727.46/727.42 c | 1941046 | 16889 244145 773136 | 95558 84138 55 | 0.000 % |
727.66/727.70 c | 1941558 | 16889 244145 773136 | 95558 84650 55 | 0.000 % |
728.06/728.07 c | 1942582 | 16889 244145 773136 | 95558 85674 54 | 0.000 % |
728.36/728.39 c | 1943094 | 16889 244145 773136 | 95558 86186 54 | 0.000 % |
728.76/728.74 c | 1943606 | 16889 244145 773136 | 95558 86698 54 | 0.000 % |
729.06/729.11 c | 1944633 | 16889 244145 773136 | 95558 87725 54 | 0.000 % |
729.46/729.47 c | 1946681 | 16889 244145 773136 | 95558 89773 54 | 0.000 % |
731.26/731.23 c | 1950777 | 16889 244145 773136 | 93092 93869 54 | 0.000 % |
731.57/731.53 c | 1951289 | 16889 244145 773136 | 93092 81511 56 | 0.000 % |
731.76/731.81 c | 1951801 | 16889 244145 773136 | 93092 82023 56 | 0.000 % |
732.26/732.22 c | 1952827 | 16889 244145 773136 | 93092 83049 55 | 0.000 % |
732.46/732.42 c | 1953341 | 16889 244145 773136 | 93092 83563 55 | 0.000 % |
732.67/732.68 c | 1953853 | 16889 244145 773136 | 93092 84075 55 | 0.000 % |
733.06/733.08 c | 1954878 | 16889 244145 773136 | 93092 85100 55 | 0.000 % |
733.77/733.72 c | 1956927 | 16889 244145 773136 | 93092 87149 55 | 0.000 % |
733.96/733.99 c | 1957439 | 16889 244145 773136 | 93092 87661 55 | 0.000 % |
734.26/734.21 c | 1957952 | 16889 244145 773136 | 93092 88174 54 | 0.000 % |
734.66/734.63 c | 1958978 | 16889 244145 773136 | 93092 89200 54 | 0.000 % |
734.87/734.84 c | 1959492 | 16889 244145 773136 | 93092 89714 54 | 0.000 % |
735.06/735.03 c | 1960004 | 16889 244145 773136 | 90223 90226 54 | 0.000 % |
735.76/735.79 c | 1961028 | 16889 244145 773136 | 90223 78588 45 | 0.000 % |
736.46/736.48 c | 1963077 | 16889 244145 773136 | 90223 80637 45 | 0.000 % |
737.56/737.61 c | 1967175 | 16889 244145 773136 | 90223 84735 46 | 0.000 % |
740.16/740.21 c | 1975368 | 16889 244145 773136 | 87562 92928 48 | 0.000 % |
740.86/740.85 c | 1975880 | 16889 244145 773136 | 87562 78364 47 | 0.000 % |
741.06/741.09 c | 1976392 | 16889 244145 773136 | 87562 78876 47 | 0.000 % |
741.56/741.55 c | 1977417 | 16889 244145 773136 | 87562 79901 47 | 0.000 % |
741.76/741.73 c | 1977929 | 16889 244145 773136 | 87562 80413 47 | 0.000 % |
741.86/741.90 c | 1978441 | 16889 244145 773136 | 87562 80925 47 | 0.000 % |
742.26/742.21 c | 1979466 | 16889 244145 773136 | 87562 81950 47 | 0.000 % |
742.76/742.80 c | 1981515 | 16889 244145 773136 | 82484 83999 47 | 0.000 % |
743.67/743.69 c | 1982027 | 16889 244145 773136 | 82484 74565 47 | 0.000 % |
743.86/743.87 c | 1982539 | 16889 244145 773136 | 82484 75077 47 | 0.000 % |
744.16/744.15 c | 1983566 | 16889 244145 773136 | 82484 76104 47 | 0.000 % |
744.36/744.32 c | 1984078 | 16889 244145 773136 | 82484 76616 47 | 0.000 % |
744.46/744.51 c | 1984590 | 16889 244145 773136 | 82484 77128 47 | 0.000 % |
744.66/744.72 c | 1985615 | 16889 244145 773136 | 82484 78153 47 | 0.000 % |
745.16/745.19 c | 1987664 | 16889 244145 773136 | 82484 80202 47 | 0.000 % |
745.96/745.93 c | 1991761 | 16889 244145 773136 | 2147483647 84299 47 | 0.000 % |
746.06/746.08 c | 1992276 | 16889 244145 773136 | 2147483647 84814 47 | 0.000 % |
746.26/746.26 c | 1992789 | 16889 244145 773136 | 2147483647 85327 47 | 0.000 % |
746.66/746.62 c | 1993814 | 16889 244145 773136 | 2147483647 86352 47 | 0.000 % |
746.76/746.74 c | 1994327 | 16889 244145 773136 | 2147483647 86865 47 | 0.000 % |
746.86/746.91 c | 1994840 | 16889 244145 773136 | 2147483647 87378 47 | 0.000 % |
747.16/747.20 c | 1995864 | 16889 244145 773136 | 2147483647 88402 46 | 0.000 % |
747.76/747.71 c | 1997912 | 16889 244145 773136 | 2147483647 90450 47 | 0.000 % |
747.86/747.86 c | 1998424 | 16889 244145 773136 | 2147483647 90962 47 | 0.000 % |
748.07/748.08 c | 1998936 | 16889 244145 773136 | 2147483647 91474 47 | 0.000 % |
748.36/748.36 c | 1999964 | 16889 244145 773136 | 2147483647 92502 47 | 0.000 % |
748.56/748.60 c | 2000477 | 16889 244145 773136 | 2147483647 93015 47 | 0.000 % |
748.76/748.76 c | 2000991 | 16889 244145 773136 | 2147483647 93529 46 | 0.000 % |
749.06/749.02 c | 2002016 | 16889 244145 773136 | 2147483647 94554 46 | 0.000 % |
749.77/749.79 c | 2004065 | 16889 244145 773136 | 2147483647 96603 46 | 0.000 % |
750.97/750.95 c | 2008162 | 16889 244145 773136 | 2147483647 100700 48 | 0.000 % |
753.47/753.44 c | 2016354 | 16889 244145 773136 | 2147483647 108892 52 | 0.000 % |
759.17/759.18 c | 2032738 | 16889 244145 773136 | 110425 113163 57 | 0.000 % |
759.87/759.91 c | 2033250 | 16889 244145 773136 | 110425 98919 58 | 0.000 % |
760.07/760.08 c | 2033763 | 16889 244145 773136 | 110425 99432 58 | 0.000 % |
760.47/760.47 c | 2034787 | 16889 244145 773136 | 110425 100456 58 | 0.000 % |
760.67/760.65 c | 2035301 | 16889 244145 773136 | 110425 100970 58 | 0.000 % |
760.77/760.78 c | 2035816 | 16889 244145 773136 | 110425 101485 58 | 0.000 % |
761.17/761.18 c | 2036840 | 16889 244145 773136 | 110425 102509 58 | 0.000 % |
761.87/761.90 c | 2038888 | 16889 244145 773136 | 110425 104557 58 | 0.000 % |
762.07/762.09 c | 2039400 | 16889 244145 773136 | 110425 105069 58 | 0.000 % |
762.37/762.36 c | 2039913 | 16889 244145 773136 | 110425 105582 58 | 0.000 % |
762.67/762.64 c | 2040937 | 16889 244145 773136 | 105669 106606 58 | 0.000 % |
763.17/763.12 c | 2041449 | 16889 244145 773136 | 105669 96097 59 | 0.000 % |
763.37/763.35 c | 2041962 | 16889 244145 773136 | 105669 96610 59 | 0.000 % |
763.67/763.71 c | 2042987 | 16889 244145 773136 | 105669 97635 59 | 0.000 % |
764.47/764.46 c | 2045035 | 16889 244145 773136 | 105669 99683 58 | 0.001 % |
765.57/765.58 c | 2049132 | 16889 244145 773136 | 105669 103780 58 | 0.000 % |
765.67/765.69 c | 2049644 | 16889 244145 773136 | 105669 104292 58 | 0.000 % |
765.77/765.78 c | 2050157 | 16889 244145 773136 | 2147483647 104805 58 | 0.000 % |
765.97/765.92 c | 2051181 | 16889 244145 773136 | 2147483647 105829 58 | 0.000 % |
766.17/766.18 c | 2051694 | 16889 244145 773136 | 2147483647 106342 58 | 0.000 % |
766.37/766.33 c | 2052208 | 16889 244145 773136 | 2147483647 106856 58 | 0.000 % |
766.67/766.64 c | 2053232 | 16889 244145 773136 | 2147483647 107880 57 | 0.000 % |
767.07/767.09 c | 2055280 | 16889 244145 773136 | 2147483647 109928 57 | 0.000 % |
767.27/767.23 c | 2055792 | 16889 244145 773136 | 2147483647 110440 57 | 0.000 % |
767.37/767.36 c | 2056306 | 16889 244145 773136 | 2147483647 110954 57 | 0.000 % |
767.57/767.59 c | 2057331 | 16889 244145 773136 | 2147483647 111979 57 | 0.000 % |
767.77/767.72 c | 2057844 | 16889 244145 773136 | 2147483647 112492 56 | 0.000 % |
767.87/767.84 c | 2058357 | 16889 244145 773136 | 2147483647 113005 56 | 0.000 % |
768.07/768.11 c | 2059381 | 16889 244145 773136 | 2147483647 114029 56 | 0.000 % |
768.87/768.83 c | 2061431 | 16889 244145 773136 | 2147483647 116079 56 | 0.000 % |
770.37/770.42 c | 2065528 | 16889 244145 773136 | 2147483647 120176 56 | 0.000 % |
773.77/773.75 c | 2073720 | 16889 244145 773136 | 2147483647 128368 59 | 0.000 % |
773.97/773.95 c | 2074232 | 16889 244145 773136 | 2147483647 128880 59 | 0.000 % |
774.17/774.19 c | 2074745 | 16889 244145 773136 | 2147483647 129393 59 | 0.000 % |
774.67/774.64 c | 2075769 | 16889 244145 773136 | 2147483647 130417 59 | 0.000 % |
774.87/774.88 c | 2076282 | 16889 244145 773136 | 2147483647 130930 59 | 0.000 % |
775.17/775.17 c | 2076794 | 16889 244145 773136 | 2147483647 131442 59 | 0.000 % |
775.77/775.77 c | 2077818 | 16889 244145 773136 | 2147483647 132466 59 | 0.000 % |
776.57/776.57 c | 2079866 | 16889 244145 773136 | 2147483647 134514 59 | 0.000 % |
776.77/776.81 c | 2080378 | 16889 244145 773136 | 134649 135026 58 | 0.000 % |
777.37/777.40 c | 2080892 | 16889 244145 773136 | 134649 115040 59 | 0.000 % |
777.97/777.94 c | 2081920 | 16889 244145 773136 | 134649 116068 59 | 0.000 % |
778.17/778.17 c | 2082433 | 16889 244145 773136 | 134649 116581 59 | 0.000 % |
778.57/778.55 c | 2082945 | 16889 244145 773136 | 134649 117093 59 | 0.000 % |
779.07/779.05 c | 2083970 | 16889 244145 773136 | 134649 118118 59 | 0.000 % |
780.17/780.18 c | 2086018 | 16889 244145 773136 | 134649 120166 59 | 0.000 % |
781.97/782.01 c | 2090114 | 16889 244145 773136 | 124148 124262 59 | 0.000 % |
782.77/782.73 c | 2090626 | 16889 244145 773136 | 124148 105211 61 | 0.000 % |
782.97/782.96 c | 2091138 | 16889 244145 773136 | 124148 105723 61 | 0.000 % |
783.17/783.17 c | 2092163 | 16889 244145 773136 | 124148 106748 61 | 0.000 % |
783.47/783.43 c | 2092676 | 16889 244145 773136 | 124148 107261 61 | 0.000 % |
783.57/783.58 c | 2093188 | 16889 244145 773136 | 124148 107773 61 | 0.000 % |
783.87/783.92 c | 2094213 | 16889 244145 773136 | 124148 108798 61 | 0.000 % |
784.77/784.74 c | 2096261 | 16889 244145 773136 | 124148 110846 61 | 0.000 % |
784.87/784.90 c | 2096773 | 16889 244145 773136 | 124148 111358 60 | 0.000 % |
785.17/785.18 c | 2097286 | 16889 244145 773136 | 124148 111871 60 | 0.000 % |
785.47/785.46 c | 2098310 | 16889 244145 773136 | 124148 112895 60 | 0.000 % |
785.67/785.65 c | 2098822 | 16889 244145 773136 | 124148 113407 60 | 0.000 % |
785.97/785.94 c | 2099336 | 16889 244145 773136 | 124148 113921 60 | 0.000 % |
786.17/786.18 c | 2100360 | 16889 244145 773136 | 114586 114945 60 | 0.000 % |
786.97/786.92 c | 2102409 | 16889 244145 773136 | 114586 104222 60 | 0.000 % |
787.97/787.93 c | 2106506 | 16889 244145 773136 | 114586 108319 60 | 0.000 % |
791.57/791.57 c | 2114698 | 16889 244145 773136 | 2147483647 116511 64 | 0.000 % |
798.27/798.27 c | 2131082 | 16889 244145 773136 | 117324 118406 60 | 0.000 % |
812.17/812.21 c | 2163852 | 16889 244145 773136 | 79063 82915 62 | 0.000 % |
838.97/838.98 c | 2229388 | 16889 244145 773136 | 83053 83556 51 | 0.000 % |
892.67/892.69 c | 2360460 | 16889 244145 773136 | 55819 56278 133 | 0.000 % |
974.57/974.53 c | 2622605 | 16889 244145 773136 | 55260 57865 55 | 0.000 % |
974.87/974.89 c | 2623117 | 16889 244145 773136 | 55260 45488 54 | 0.000 % |
974.97/974.97 c | 2623632 | 16889 244145 773136 | 55260 46003 54 | 0.000 % |
975.27/975.21 c | 2624656 | 16889 244145 773136 | 55260 47027 54 | 0.000 % |
975.47/975.44 c | 2625168 | 16889 244145 773136 | 55260 47539 54 | 0.000 % |
975.78/975.73 c | 2625680 | 16889 244145 773136 | 55260 48051 54 | 0.000 % |
975.97/976.00 c | 2626704 | 16889 244145 773136 | 55260 49075 54 | 0.000 % |
976.67/976.63 c | 2628752 | 16889 244145 773136 | 55260 51123 54 | 0.000 % |
976.88/976.86 c | 2629264 | 16889 244145 773136 | 55260 51635 54 | 0.000 % |
977.07/977.05 c | 2629778 | 16889 244145 773136 | 55260 52149 54 | 0.000 % |
977.37/977.38 c | 2630802 | 16889 244145 773136 | 52371 53173 54 | 0.000 % |
977.77/977.76 c | 2631315 | 16889 244145 773136 | 52371 47233 53 | 0.000 % |
977.98/977.93 c | 2631828 | 16889 244145 773136 | 52371 47746 53 | 0.000 % |
978.27/978.28 c | 2632854 | 16889 244145 773136 | 52371 48772 53 | 0.000 % |
978.77/978.79 c | 2634902 | 16889 244145 773136 | 52371 50820 53 | 0.000 % |
979.87/979.84 c | 2638998 | 16889 244145 773136 | 52371 54916 54 | 0.000 % |
980.07/980.07 c | 2639510 | 16889 244145 773136 | 52371 49937 53 | 0.000 % |
980.37/980.35 c | 2640022 | 16889 244145 773136 | 2147483647 50449 53 | 0.000 % |
980.77/980.76 c | 2641047 | 16889 244145 773136 | 2147483647 51474 53 | 0.000 % |
980.87/980.86 c | 2641559 | 16889 244145 773136 | 2147483647 51986 53 | 0.000 % |
981.07/981.05 c | 2642071 | 16889 244145 773136 | 2147483647 52498 53 | 0.000 % |
981.37/981.35 c | 2643095 | 16889 244145 773136 | 2147483647 53522 53 | 0.000 % |
981.87/981.87 c | 2645143 | 16889 244145 773136 | 2147483647 55570 53 | 0.000 % |
982.07/982.07 c | 2645656 | 16889 244145 773136 | 2147483647 56083 53 | 0.000 % |
982.27/982.27 c | 2646170 | 16889 244145 773136 | 2147483647 56597 53 | 0.000 % |
982.47/982.47 c | 2647197 | 16889 244145 773136 | 2147483647 57624 53 | 0.000 % |
982.77/982.73 c | 2647710 | 16889 244145 773136 | 2147483647 58137 53 | 0.000 % |
982.97/982.93 c | 2648222 | 16889 244145 773136 | 2147483647 58649 53 | 0.000 % |
983.27/983.22 c | 2649247 | 16889 244145 773136 | 2147483647 59674 53 | 0.000 % |
984.07/984.10 c | 2651297 | 16889 244145 773136 | 2147483647 61724 53 | 0.000 % |
985.37/985.33 c | 2655396 | 16889 244145 773136 | 2147483647 65823 53 | 0.000 % |
987.37/987.33 c | 2663589 | 16889 244145 773136 | 2147483647 74016 53 | 0.000 % |
987.57/987.56 c | 2664101 | 16889 244145 773136 | 2147483647 74528 53 | 0.000 % |
987.77/987.75 c | 2664613 | 16889 244145 773136 | 2147483647 75040 53 | 0.000 % |
988.17/988.13 c | 2665638 | 16889 244145 773136 | 2147483647 76065 53 | 0.000 % |
988.37/988.31 c | 2666150 | 16889 244145 773136 | 2147483647 76577 53 | 0.000 % |
988.57/988.53 c | 2666663 | 16889 244145 773136 | 2147483647 77090 53 | 0.000 % |
989.07/989.02 c | 2667687 | 16889 244145 773136 | 2147483647 78114 53 | 0.000 % |
989.77/989.77 c | 2669735 | 16889 244145 773136 | 2147483647 80162 53 | 0.000 % |
989.97/990.00 c | 2670247 | 16889 244145 773136 | 80428 80674 53 | 0.000 % |
990.37/990.37 c | 2670759 | 16889 244145 773136 | 80428 72456 52 | 0.000 % |
990.77/990.74 c | 2671783 | 16889 244145 773136 | 80428 73480 52 | 0.000 % |
990.97/990.95 c | 2672296 | 16889 244145 773136 | 80428 73993 52 | 0.000 % |
991.07/991.09 c | 2672808 | 16889 244145 773136 | 80428 74505 52 | 0.000 % |
991.47/991.46 c | 2673835 | 16889 244145 773136 | 80428 75532 52 | 0.000 % |
992.17/992.19 c | 2675883 | 16889 244145 773136 | 80428 77580 52 | 0.000 % |
993.38/993.35 c | 2679979 | 16889 244145 773136 | 80428 81676 52 | 0.000 % |
993.67/993.69 c | 2680493 | 16889 244145 773136 | 73175 73668 51 | 0.000 % |
993.97/993.98 c | 2681005 | 16889 244145 773136 | 73175 66813 50 | 0.000 % |
994.48/994.45 c | 2682030 | 16889 244145 773136 | 73175 67838 50 | 0.000 % |
994.67/994.66 c | 2682542 | 16889 244145 773136 | 73175 68350 50 | 0.000 % |
994.87/994.86 c | 2683054 | 16889 244145 773136 | 73175 68862 50 | 0.000 % |
995.17/995.18 c | 2684078 | 16889 244145 773136 | 73175 69886 51 | 0.000 % |
995.87/995.84 c | 2686126 | 16889 244145 773136 | 73175 71934 51 | 0.000 % |
996.17/996.12 c | 2686638 | 16889 244145 773136 | 73175 72446 51 | 0.000 % |
996.37/996.32 c | 2687150 | 16889 244145 773136 | 73175 72958 51 | 0.000 % |
996.68/996.71 c | 2688174 | 16889 244145 773136 | 73175 73982 51 | 0.000 % |
996.97/996.99 c | 2688686 | 16889 244145 773136 | 73175 67096 50 | 0.000 % |
997.17/997.19 c | 2689200 | 16889 244145 773136 | 73175 67610 50 | 0.000 % |
997.47/997.48 c | 2690224 | 16889 244145 773136 | 2147483647 68634 50 | 0.000 % |
998.07/998.08 c | 2692273 | 16889 244145 773136 | 2147483647 70683 50 | 0.000 % |
998.77/998.72 c | 2696369 | 16889 244145 773136 | 2147483647 74779 52 | 0.000 % |
1000.98/1000.94 c | 2704561 | 16889 244145 773136 | 2147483647 82971 52 | 0.000 % |
1004.88/1004.88 c | 2720945 | 16889 244145 773136 | 2147483647 99355 62 | 0.000 % |
1005.08/1005.08 c | 2721460 | 16889 244145 773136 | 2147483647 99870 62 | 0.000 % |
1005.28/1005.26 c | 2721972 | 16889 244145 773136 | 2147483647 100382 62 | 0.000 % |
1005.68/1005.66 c | 2722996 | 16889 244145 773136 | 2147483647 101406 62 | 0.000 % |
1005.78/1005.80 c | 2723508 | 16889 244145 773136 | 2147483647 101918 62 | 0.000 % |
1005.98/1005.96 c | 2724021 | 16889 244145 773136 | 2147483647 102431 62 | 0.000 % |
1006.18/1006.21 c | 2725045 | 16889 244145 773136 | 2147483647 103455 62 | 0.000 % |
1006.98/1006.93 c | 2727093 | 16889 244145 773136 | 2147483647 105503 62 | 0.000 % |
1007.18/1007.13 c | 2727606 | 16889 244145 773136 | 2147483647 106016 62 | 0.000 % |
1007.28/1007.31 c | 2728119 | 16889 244145 773136 | 2147483647 106529 61 | 0.000 % |
1007.68/1007.64 c | 2729143 | 16889 244145 773136 | 2147483647 107553 61 | 0.000 % |
1007.88/1007.84 c | 2729655 | 16889 244145 773136 | 2147483647 108065 61 | 0.000 % |
1008.08/1008.03 c | 2730168 | 16889 244145 773136 | 2147483647 108578 61 | 0.000 % |
1008.28/1008.29 c | 2731192 | 16889 244145 773136 | 2147483647 109602 61 | 0.000 % |
1008.88/1008.89 c | 2733241 | 16889 244145 773136 | 2147483647 111651 60 | 0.000 % |
1009.98/1010.01 c | 2737337 | 16889 244145 773136 | 2147483647 115747 60 | 0.000 % |
1010.18/1010.18 c | 2737849 | 16889 244145 773136 | 2147483647 116259 59 | 0.000 % |
1010.38/1010.35 c | 2738361 | 16889 244145 773136 | 2147483647 116771 59 | 0.000 % |
1010.58/1010.59 c | 2739387 | 16889 244145 773136 | 2147483647 117797 59 | 0.000 % |
1010.78/1010.77 c | 2739899 | 16889 244145 773136 | 2147483647 118309 59 | 0.000 % |
1010.98/1010.94 c | 2740411 | 16889 244145 773136 | 2147483647 118821 59 | 0.000 % |
1011.28/1011.23 c | 2741435 | 16889 244145 773136 | 2147483647 119845 59 | 0.000 % |
1011.68/1011.66 c | 2743484 | 16889 244145 773136 | 2147483647 121894 58 | 0.000 % |
1011.78/1011.77 c | 2743996 | 16889 244145 773136 | 2147483647 122406 58 | 0.000 % |
1011.98/1011.95 c | 2744508 | 16889 244145 773136 | 2147483647 122918 58 | 0.000 % |
1012.48/1012.49 c | 2745536 | 16889 244145 773136 | 2147483647 123946 58 | 0.000 % |
1012.68/1012.67 c | 2746048 | 16889 244145 773136 | 2147483647 124458 58 | 0.000 % |
1012.88/1012.86 c | 2746560 | 16889 244145 773136 | 2147483647 124970 58 | 0.000 % |
1013.18/1013.21 c | 2747584 | 16889 244145 773136 | 2147483647 125994 58 | 0.000 % |
1013.78/1013.79 c | 2749633 | 16889 244145 773136 | 2147483647 128043 58 | 0.000 % |
1014.98/1014.96 c | 2753729 | 16889 244145 773136 | 2147483647 132139 57 | 0.000 % |
1017.78/1017.80 c | 2761921 | 16889 244145 773136 | 2147483647 140331 56 | 0.000 % |
1018.08/1018.08 c | 2762433 | 16889 244145 773136 | 2147483647 140843 56 | 0.000 % |
1018.38/1018.33 c | 2762945 | 16889 244145 773136 | 2147483647 141355 56 | 0.000 % |
1018.98/1018.93 c | 2763969 | 16889 244145 773136 | 2147483647 142379 56 | 0.000 % |
1019.18/1019.21 c | 2764481 | 16889 244145 773136 | 2147483647 142891 56 | 0.000 % |
1019.38/1019.38 c | 2764994 | 16889 244145 773136 | 2147483647 143404 56 | 0.000 % |
1019.88/1019.90 c | 2766018 | 16889 244145 773136 | 2147483647 144428 56 | 0.000 % |
1020.88/1020.87 c | 2768066 | 16889 244145 773136 | 2147483647 146476 57 | 0.000 % |
1021.38/1021.33 c | 2768578 | 16889 244145 773136 | 2147483647 146988 57 | 0.000 % |
1021.58/1021.57 c | 2769091 | 16889 244145 773136 | 2147483647 147501 56 | 0.000 % |
1022.08/1022.06 c | 2770115 | 16889 244145 773136 | 148410 148525 56 | 0.000 % |
1022.78/1022.77 c | 2770627 | 16889 244145 773136 | 148410 123809 56 | 0.000 % |
1023.08/1023.04 c | 2771141 | 16889 244145 773136 | 148410 124323 56 | 0.000 % |
1023.48/1023.42 c | 2772166 | 16889 244145 773136 | 148410 125348 56 | 0.000 % |
1024.18/1024.19 c | 2774214 | 16889 244145 773136 | 148410 127396 56 | 0.000 % |
1025.58/1025.57 c | 2778310 | 16889 244145 773136 | 148410 131492 56 | 0.000 % |
1025.78/1025.81 c | 2778822 | 16889 244145 773136 | 148410 132004 55 | 0.000 % |
1025.98/1025.97 c | 2779335 | 16889 244145 773136 | 148410 132517 55 | 0.000 % |
1026.38/1026.40 c | 2780359 | 16889 244145 773136 | 133182 133541 55 | 0.000 % |
1026.78/1026.80 c | 2780873 | 16889 244145 773136 | 133182 114915 56 | 0.000 % |
1027.08/1027.03 c | 2781385 | 16889 244145 773136 | 133182 115427 56 | 0.000 % |
1027.38/1027.37 c | 2782409 | 16889 244145 773136 | 133182 116451 56 | 0.000 % |
1028.18/1028.15 c | 2784458 | 16889 244145 773136 | 133182 118500 55 | 0.000 % |
1028.38/1028.34 c | 2784970 | 16889 244145 773136 | 133182 119012 55 | 0.000 % |
1028.48/1028.50 c | 2785482 | 16889 244145 773136 | 133182 119524 55 | 0.000 % |
1028.88/1028.85 c | 2786507 | 16889 244145 773136 | 133182 120549 55 | 0.000 % |
1029.08/1029.04 c | 2787019 | 16889 244145 773136 | 133182 121061 55 | 0.000 % |
1029.28/1029.26 c | 2787532 | 16889 244145 773136 | 133182 121574 55 | 0.000 % |
1029.58/1029.58 c | 2788556 | 16889 244145 773136 | 133182 122598 55 | 0.000 % |
1030.28/1030.29 c | 2790604 | 16889 244145 773136 | 124042 124646 56 | 0.000 % |
1031.98/1031.93 c | 2794700 | 16889 244145 773136 | 124042 111248 56 | 0.000 % |
1034.48/1034.47 c | 2802892 | 16889 244145 773136 | 116549 119440 57 | 0.000 % |
1041.28/1041.28 c | 2819276 | 16889 244145 773136 | 109698 97662 49 | 0.000 % |
1053.68/1053.62 c | 2852044 | 16889 244145 773136 | 68274 70318 52 | 0.000 % |
1054.18/1054.16 c | 2852556 | 16889 244145 773136 | 68274 55074 48 | 0.000 % |
1054.38/1054.35 c | 2853068 | 16889 244145 773136 | 68274 55586 48 | 0.000 % |
1054.68/1054.66 c | 2854093 | 16889 244145 773136 | 68274 56611 48 | 0.000 % |
1054.98/1054.93 c | 2854605 | 16889 244145 773136 | 68274 57123 48 | 0.000 % |
1055.08/1055.04 c | 2855117 | 16889 244145 773136 | 68274 57635 48 | 0.000 % |
1055.58/1055.52 c | 2856143 | 16889 244145 773136 | 68274 58661 48 | 0.000 % |
1055.88/1055.90 c | 2858191 | 16889 244145 773136 | 68274 60709 47 | 0.000 % |
1056.08/1056.09 c | 2858703 | 16889 244145 773136 | 68274 61221 47 | 0.000 % |
1056.28/1056.25 c | 2859215 | 16889 244145 773136 | 68274 61733 47 | 0.000 % |
1056.58/1056.53 c | 2860239 | 16889 244145 773136 | 62519 62757 47 | 0.000 % |
1056.88/1056.81 c | 2860751 | 16889 244145 773136 | 62519 56639 44 | 0.000 % |
1057.08/1057.07 c | 2861264 | 16889 244145 773136 | 62519 57152 44 | 0.000 % |
1057.48/1057.46 c | 2862288 | 16889 244145 773136 | 62519 58176 43 | 0.000 % |
1058.18/1058.21 c | 2864337 | 16889 244145 773136 | 62519 60225 43 | 0.000 % |
1059.18/1059.17 c | 2868433 | 16889 244145 773136 | 62519 64321 43 | 0.000 % |
1059.58/1059.58 c | 2868945 | 16889 244145 773136 | 62519 58401 41 | 0.000 % |
1059.78/1059.76 c | 2869458 | 16889 244145 773136 | 62519 58914 41 | 0.000 % |
1059.98/1060.00 c | 2870483 | 16889 244145 773136 | 2147483647 59939 41 | 0.000 % |
1060.18/1060.18 c | 2870995 | 16889 244145 773136 | 2147483647 60451 41 | 0.000 % |
1060.38/1060.37 c | 2871507 | 16889 244145 773136 | 2147483647 60963 41 | 0.000 % |
1060.78/1060.80 c | 2872531 | 16889 244145 773136 | 2147483647 61987 41 | 0.000 % |
1061.38/1061.34 c | 2874579 | 16889 244145 773136 | 2147483647 64035 41 | 0.000 % |
1061.58/1061.56 c | 2875093 | 16889 244145 773136 | 2147483647 64549 41 | 0.000 % |
1061.78/1061.78 c | 2875605 | 16889 244145 773136 | 2147483647 65061 41 | 0.000 % |
1062.28/1062.23 c | 2876630 | 16889 244145 773136 | 2147483647 66086 41 | 0.000 % |
1062.58/1062.52 c | 2877142 | 16889 244145 773136 | 2147483647 66598 41 | 0.000 % |
1062.68/1062.70 c | 2877655 | 16889 244145 773136 | 2147483647 67111 41 | 0.000 % |
1063.08/1063.08 c | 2878680 | 16889 244145 773136 | 2147483647 68136 41 | 0.000 % |
1063.88/1063.90 c | 2880729 | 16889 244145 773136 | 2147483647 70185 41 | 0.000 % |
1065.38/1065.33 c | 2884825 | 16889 244145 773136 | 2147483647 74281 41 | 0.000 % |
1067.08/1067.04 c | 2893018 | 16889 244145 773136 | 2147483647 82474 45 | 0.000 % |
1067.28/1067.29 c | 2893530 | 16889 244145 773136 | 2147483647 82986 45 | 0.000 % |
1067.58/1067.52 c | 2894042 | 16889 244145 773136 | 2147483647 83498 45 | 0.000 % |
1067.78/1067.80 c | 2895066 | 16889 244145 773136 | 2147483647 84522 45 | 0.000 % |
1068.08/1068.07 c | 2895579 | 16889 244145 773136 | 2147483647 85035 45 | 0.000 % |
1068.28/1068.24 c | 2896091 | 16889 244145 773136 | 2147483647 85547 45 | 0.000 % |
1068.58/1068.57 c | 2897115 | 16889 244145 773136 | 2147483647 86571 45 | 0.000 % |
1069.18/1069.21 c | 2899163 | 16889 244145 773136 | 2147483647 88619 46 | 0.000 % |
1069.38/1069.41 c | 2899676 | 16889 244145 773136 | 2147483647 89132 46 | 0.000 % |
1069.78/1069.75 c | 2900188 | 16889 244145 773136 | 2147483647 89644 46 | 0.000 % |
1070.18/1070.17 c | 2901213 | 16889 244145 773136 | 2147483647 90669 46 | 0.000 % |
1070.38/1070.37 c | 2901726 | 16889 244145 773136 | 2147483647 91182 46 | 0.000 % |
1070.58/1070.54 c | 2902241 | 16889 244145 773136 | 2147483647 91697 46 | 0.000 % |
1070.98/1070.96 c | 2903269 | 16889 244145 773136 | 2147483647 92725 45 | 0.000 % |
1071.78/1071.80 c | 2905319 | 16889 244145 773136 | 2147483647 94775 45 | 0.000 % |
1073.28/1073.23 c | 2909415 | 16889 244145 773136 | 2147483647 98871 45 | 0.000 % |
1073.38/1073.40 c | 2909927 | 16889 244145 773136 | 2147483647 99383 45 | 0.000 % |
1073.58/1073.59 c | 2910440 | 16889 244145 773136 | 99457 99896 45 | 0.000 % |
1074.18/1074.13 c | 2911465 | 16889 244145 773136 | 99457 86299 44 | 0.000 % |
1074.28/1074.28 c | 2911977 | 16889 244145 773136 | 99457 86811 44 | 0.000 % |
1074.48/1074.45 c | 2912490 | 16889 244145 773136 | 99457 87324 44 | 0.000 % |
1074.79/1074.80 c | 2913514 | 16889 244145 773136 | 99457 88348 44 | 0.000 % |
1075.48/1075.42 c | 2915562 | 16889 244145 773136 | 99457 90396 45 | 0.000 % |
1075.78/1075.74 c | 2916074 | 16889 244145 773136 | 99457 90908 45 | 0.000 % |
1075.98/1075.97 c | 2916586 | 16889 244145 773136 | 99457 91420 45 | 0.000 % |
1076.38/1076.36 c | 2917611 | 16889 244145 773136 | 99457 92445 46 | 0.000 % |
1076.58/1076.60 c | 2918123 | 16889 244145 773136 | 99457 92957 46 | 0.000 % |
1076.78/1076.79 c | 2918637 | 16889 244145 773136 | 99457 93471 46 | 0.000 % |
1077.18/1077.20 c | 2919661 | 16889 244145 773136 | 99457 94495 46 | 0.000 % |
1077.88/1077.86 c | 2921709 | 16889 244145 773136 | 94836 96543 45 | 0.000 % |
1079.19/1079.17 c | 2925805 | 16889 244145 773136 | 94836 86279 45 | 0.000 % |
1081.88/1081.85 c | 2933997 | 16889 244145 773136 | 90477 94471 45 | 0.000 % |
1087.78/1087.81 c | 2950381 | 16889 244145 773136 | 82196 82577 49 | 0.000 % |
1088.18/1088.14 c | 2950894 | 16889 244145 773136 | 82196 69278 46 | 0.000 % |
1088.28/1088.29 c | 2951407 | 16889 244145 773136 | 82196 69791 46 | 0.000 % |
1088.58/1088.57 c | 2952431 | 16889 244145 773136 | 82196 70815 46 | 0.000 % |
1088.78/1088.74 c | 2952945 | 16889 244145 773136 | 82196 71329 46 | 0.000 % |
1089.09/1089.05 c | 2953457 | 16889 244145 773136 | 82196 71841 46 | 0.000 % |
1089.38/1089.32 c | 2954482 | 16889 244145 773136 | 82196 72866 46 | 0.000 % |
1089.88/1089.89 c | 2956532 | 16889 244145 773136 | 82196 74916 46 | 0.000 % |
1090.08/1090.09 c | 2957044 | 16889 244145 773136 | 82196 75428 46 | 0.000 % |
1090.28/1090.27 c | 2957556 | 16889 244145 773136 | 82196 75940 46 | 0.000 % |
1090.68/1090.62 c | 2958584 | 16889 244145 773136 | 82196 76968 46 | 0.000 % |
1090.88/1090.82 c | 2959100 | 16889 244145 773136 | 82196 77484 46 | 0.000 % |
1090.98/1090.96 c | 2959612 | 16889 244145 773136 | 82196 77996 46 | 0.000 % |
1091.18/1091.16 c | 2960638 | 16889 244145 773136 | 2147483647 79022 46 | 0.000 % |
1091.38/1091.33 c | 2962686 | 16889 244145 773136 | 2147483647 81070 46 | 0.000 % |
1091.78/1091.76 c | 2966783 | 16889 244145 773136 | 2147483647 85167 45 | 0.000 % |
1091.88/1091.85 c | 2967297 | 16889 244145 773136 | 2147483647 85681 45 | 0.000 % |
1091.98/1091.95 c | 2967809 | 16889 244145 773136 | 2147483647 86193 45 | 0.000 % |
1092.28/1092.22 c | 2968834 | 16889 244145 773136 | 2147483647 87218 45 | 0.000 % |
1092.28/1092.31 c | 2969346 | 16889 244145 773136 | 2147483647 87730 45 | 0.000 % |
1092.48/1092.44 c | 2969858 | 16889 244145 773136 | 2147483647 88242 45 | 0.000 % |
1092.68/1092.67 c | 2970885 | 16889 244145 773136 | 2147483647 89269 45 | 0.000 % |
1093.08/1093.06 c | 2972936 | 16889 244145 773136 | 2147483647 91320 45 | 0.000 % |
1093.18/1093.21 c | 2973448 | 16889 244145 773136 | 2147483647 91832 45 | 0.000 % |
1093.38/1093.39 c | 2973960 | 16889 244145 773136 | 2147483647 92344 45 | 0.000 % |
1093.68/1093.63 c | 2974984 | 16889 244145 773136 | 2147483647 93368 45 | 0.000 % |
1093.78/1093.79 c | 2975496 | 16889 244145 773136 | 2147483647 93880 45 | 0.000 % |
1093.88/1093.88 c | 2976008 | 16889 244145 773136 | 2147483647 94392 45 | 0.000 % |
1094.18/1094.14 c | 2977032 | 16889 244145 773136 | 2147483647 95416 45 | 0.000 % |
1094.68/1094.68 c | 2979080 | 16889 244145 773136 | 2147483647 97464 45 | 0.000 % |
1095.48/1095.49 c | 2983176 | 16889 244145 773136 | 2147483647 101560 46 | 0.000 % |
1097.38/1097.37 c | 2991368 | 16889 244145 773136 | 2147483647 109752 45 | 0.000 % |
1097.58/1097.51 c | 2991881 | 16889 244145 773136 | 2147483647 110265 45 | 0.000 % |
1097.68/1097.67 c | 2992393 | 16889 244145 773136 | 2147483647 110777 45 | 0.000 % |
1097.98/1097.92 c | 2993418 | 16889 244145 773136 | 2147483647 111802 45 | 0.000 % |
1098.08/1098.04 c | 2993931 | 16889 244145 773136 | 2147483647 112315 45 | 0.000 % |
1098.18/1098.16 c | 2994443 | 16889 244145 773136 | 2147483647 112827 45 | 0.000 % |
1098.38/1098.41 c | 2995470 | 16889 244145 773136 | 2147483647 113854 45 | 0.000 % |
1098.88/1098.90 c | 2997518 | 16889 244145 773136 | 2147483647 115902 44 | 0.000 % |
1099.08/1099.04 c | 2998030 | 16889 244145 773136 | 2147483647 116414 44 | 0.000 % |
1099.28/1099.25 c | 2998543 | 16889 244145 773136 | 2147483647 116927 44 | 0.000 % |
1099.58/1099.53 c | 2999568 | 16889 244145 773136 | 2147483647 117952 44 | 0.000 % |
1099.68/1099.68 c | 3000080 | 16889 244145 773136 | 2147483647 118464 44 | 0.000 % |
1099.88/1099.81 c | 3000592 | 16889 244145 773136 | 2147483647 118976 44 | 0.000 % |
1100.18/1100.15 c | 3001616 | 16889 244145 773136 | 2147483647 120000 44 | 0.000 % |
1100.68/1100.69 c | 3003664 | 16889 244145 773136 | 2147483647 122048 44 | 0.000 % |
1101.78/1101.75 c | 3007761 | 16889 244145 773136 | 2147483647 126145 44 | 0.000 % |
1101.98/1101.94 c | 3008273 | 16889 244145 773136 | 2147483647 126657 44 | 0.000 % |
1102.08/1102.08 c | 3008787 | 16889 244145 773136 | 2147483647 127171 44 | 0.000 % |
1102.38/1102.39 c | 3009811 | 16889 244145 773136 | 2147483647 128195 43 | 0.000 % |
1102.58/1102.59 c | 3010324 | 16889 244145 773136 | 2147483647 128708 43 | 0.000 % |
1102.78/1102.76 c | 3010836 | 16889 244145 773136 | 2147483647 129220 43 | 0.000 % |
1103.08/1103.08 c | 3011860 | 16889 244145 773136 | 2147483647 130244 43 | 0.000 % |
1103.68/1103.64 c | 3013909 | 16889 244145 773136 | 2147483647 132293 43 | 0.000 % |
1103.78/1103.79 c | 3014421 | 16889 244145 773136 | 2147483647 132805 43 | 0.000 % |
1103.98/1103.93 c | 3014933 | 16889 244145 773136 | 2147483647 133317 43 | 0.000 % |
1104.18/1104.20 c | 3015957 | 16889 244145 773136 | 2147483647 134341 43 | 0.000 % |
1104.38/1104.37 c | 3016471 | 16889 244145 773136 | 2147483647 134855 42 | 0.000 % |
1104.49/1104.50 c | 3016985 | 16889 244145 773136 | 2147483647 135369 42 | 0.000 % |
1104.88/1104.83 c | 3018010 | 16889 244145 773136 | 2147483647 136394 42 | 0.000 % |
1105.59/1105.56 c | 3020059 | 16889 244145 773136 | 138384 138443 42 | 0.000 % |
1107.79/1107.80 c | 3024158 | 16889 244145 773136 | 138384 126602 42 | 0.000 % |
1110.58/1110.58 c | 3032350 | 16889 244145 773136 | 132444 134794 43 | 0.000 % |
1116.59/1116.54 c | 3048735 | 16889 244145 773136 | 124337 119402 47 | 0.000 % |
1126.89/1126.84 c | 3081505 | 16889 244145 773136 | 138060 139562 48 | 0.000 % |
1156.09/1156.07 c | 3147041 | 16889 244145 773136 | 64195 61090 126 | 0.000 % |
1156.29/1156.32 c | 3147555 | 16889 244145 773136 | 64195 61604 125 | 0.000 % |
1156.49/1156.51 c | 3148067 | 16889 244145 773136 | 64195 62116 125 | 0.000 % |
1156.89/1156.84 c | 3149091 | 16889 244145 773136 | 64195 63140 123 | 0.000 % |
1156.99/1157.01 c | 3149603 | 16889 244145 773136 | 64195 63652 123 | 0.000 % |
1157.09/1157.09 c | 3150115 | 16889 244145 773136 | 64049 64164 122 | 0.000 % |
1157.69/1157.64 c | 3151140 | 16889 244145 773136 | 64049 57345 121 | 0.000 % |
1158.19/1158.19 c | 3153188 | 16889 244145 773136 | 64049 59393 118 | 0.000 % |
1158.39/1158.37 c | 3153702 | 16889 244145 773136 | 64049 59907 117 | 0.000 % |
1158.49/1158.48 c | 3154214 | 16889 244145 773136 | 64049 60419 117 | 0.000 % |
1158.79/1158.78 c | 3155240 | 16889 244145 773136 | 64049 61445 115 | 0.000 % |
1158.89/1158.91 c | 3155758 | 16889 244145 773136 | 64049 61963 115 | 0.000 % |
1158.99/1159.01 c | 3156271 | 16889 244145 773136 | 64049 62476 114 | 0.000 % |
1159.29/1159.28 c | 3157297 | 16889 244145 773136 | 64049 63502 113 | 0.000 % |
1159.79/1159.74 c | 3159346 | 16889 244145 773136 | 64049 65551 111 | 0.000 % |
1160.79/1160.77 c | 3163443 | 16889 244145 773136 | 2147483647 63093 104 | 0.000 % |
1160.99/1160.94 c | 3163955 | 16889 244145 773136 | 2147483647 63605 103 | 0.000 % |
1161.09/1161.11 c | 3164468 | 16889 244145 773136 | 2147483647 64118 103 | 0.000 % |
1161.39/1161.36 c | 3165493 | 16889 244145 773136 | 2147483647 65143 102 | 0.000 % |
1161.59/1161.56 c | 3166006 | 16889 244145 773136 | 2147483647 65656 102 | 0.000 % |
1161.69/1161.71 c | 3166518 | 16889 244145 773136 | 2147483647 66168 101 | 0.000 % |
1161.99/1161.99 c | 3167542 | 16889 244145 773136 | 2147483647 67192 101 | 0.000 % |
1162.39/1162.38 c | 3169590 | 16889 244145 773136 | 2147483647 69240 99 | 0.000 % |
1162.49/1162.49 c | 3170105 | 16889 244145 773136 | 2147483647 69755 99 | 0.000 % |
1162.59/1162.61 c | 3170617 | 16889 244145 773136 | 2147483647 70267 99 | 0.000 % |
1162.89/1162.87 c | 3171641 | 16889 244145 773136 | 2147483647 71291 98 | 0.000 % |
1162.99/1163.00 c | 3172154 | 16889 244145 773136 | 2147483647 71804 97 | 0.000 % |
1163.09/1163.11 c | 3172666 | 16889 244145 773136 | 2147483647 72316 97 | 0.000 % |
1163.39/1163.39 c | 3173691 | 16889 244145 773136 | 2147483647 73341 96 | 0.000 % |
1163.79/1163.77 c | 3175740 | 16889 244145 773136 | 2147483647 75390 95 | 0.000 % |
1164.79/1164.75 c | 3179836 | 16889 244145 773136 | 2147483647 79486 92 | 0.000 % |
1166.89/1166.90 c | 3188028 | 16889 244145 773136 | 2147483647 87678 86 | 0.000 % |
1167.09/1167.05 c | 3188540 | 16889 244145 773136 | 2147483647 88190 86 | 0.000 % |
1167.19/1167.19 c | 3189053 | 16889 244145 773136 | 2147483647 88703 86 | 0.000 % |
1167.49/1167.48 c | 3190078 | 16889 244145 773136 | 2147483647 89728 86 | 0.000 % |
1167.59/1167.62 c | 3190590 | 16889 244145 773136 | 2147483647 90240 85 | 0.000 % |
1167.79/1167.75 c | 3191103 | 16889 244145 773136 | 2147483647 90753 85 | 0.000 % |
1168.09/1168.05 c | 3192129 | 16889 244145 773136 | 2147483647 91779 85 | 0.000 % |
1168.59/1168.61 c | 3194177 | 16889 244145 773136 | 2147483647 93827 84 | 0.000 % |
1168.79/1168.77 c | 3194689 | 16889 244145 773136 | 2147483647 94339 83 | 0.000 % |
1168.99/1168.92 c | 3195201 | 16889 244145 773136 | 2147483647 94851 83 | 0.000 % |
1169.29/1169.31 c | 3196225 | 16889 244145 773136 | 2147483647 95875 83 | 0.000 % |
1169.49/1169.45 c | 3196737 | 16889 244145 773136 | 2147483647 96387 82 | 0.000 % |
1169.59/1169.59 c | 3197249 | 16889 244145 773136 | 2147483647 96899 82 | 0.000 % |
1169.99/1169.98 c | 3198273 | 16889 244145 773136 | 2147483647 97923 81 | 0.000 % |
1170.59/1170.59 c | 3200321 | 16889 244145 773136 | 2147483647 99971 80 | 0.000 % |
1171.89/1171.82 c | 3204418 | 16889 244145 773136 | 2147483647 104068 78 | 0.000 % |
1171.99/1171.98 c | 3204930 | 16889 244145 773136 | 2147483647 104580 78 | 0.000 % |
1172.19/1172.14 c | 3205442 | 16889 244145 773136 | 2147483647 105092 78 | 0.000 % |
1172.49/1172.47 c | 3206466 | 16889 244145 773136 | 2147483647 106116 77 | 0.000 % |
1172.69/1172.65 c | 3206978 | 16889 244145 773136 | 2147483647 106628 77 | 0.000 % |
1172.89/1172.82 c | 3207491 | 16889 244145 773136 | 2147483647 107141 77 | 0.000 % |
1173.19/1173.15 c | 3208515 | 16889 244145 773136 | 2147483647 108165 76 | 0.000 % |
1173.89/1173.82 c | 3210563 | 16889 244145 773136 | 2147483647 110213 76 | 0.000 % |
1173.99/1173.98 c | 3211077 | 16889 244145 773136 | 2147483647 110727 76 | 0.000 % |
1174.19/1174.22 c | 3211589 | 16889 244145 773136 | 2147483647 111239 76 | 0.000 % |
1174.59/1174.53 c | 3212614 | 16889 244145 773136 | 2147483647 112264 76 | 0.000 % |
1174.69/1174.70 c | 3213126 | 16889 244145 773136 | 2147483647 112776 76 | 0.000 % |
1174.89/1174.89 c | 3213638 | 16889 244145 773136 | 2147483647 113288 75 | 0.000 % |
1175.19/1175.20 c | 3214662 | 16889 244145 773136 | 2147483647 114312 75 | 0.000 % |
1175.99/1176.01 c | 3216711 | 16889 244145 773136 | 2147483647 116361 74 | 0.000 % |
1177.49/1177.46 c | 3220808 | 16889 244145 773136 | 119650 120458 73 | 0.000 % |
1180.39/1180.32 c | 3229001 | 16889 244145 773136 | 119650 112944 60 | 0.000 % |
1184.89/1184.89 c | 3245386 | 16889 244145 773136 | 2147483647 129329 60 | 0.000 % |
1185.09/1185.09 c | 3245898 | 16889 244145 773136 | 2147483647 129841 60 | 0.000 % |
1185.29/1185.31 c | 3246412 | 16889 244145 773136 | 2147483647 130355 60 | 0.000 % |
1185.69/1185.62 c | 3247437 | 16889 244145 773136 | 2147483647 131380 60 | 0.000 % |
1185.79/1185.81 c | 3247950 | 16889 244145 773136 | 2147483647 131893 60 | 0.000 % |
1185.99/1185.95 c | 3248462 | 16889 244145 773136 | 2147483647 132405 60 | 0.000 % |
1186.39/1186.37 c | 3249486 | 16889 244145 773136 | 2147483647 133429 60 | 0.000 % |
1186.89/1186.88 c | 3251534 | 16889 244145 773136 | 2147483647 135477 60 | 0.000 % |
1187.19/1187.18 c | 3252047 | 16889 244145 773136 | 2147483647 135990 60 | 0.000 % |
1187.39/1187.37 c | 3252560 | 16889 244145 773136 | 2147483647 136503 60 | 0.000 % |
1187.79/1187.81 c | 3253585 | 16889 244145 773136 | 2147483647 137528 60 | 0.000 % |
1188.09/1188.07 c | 3254099 | 16889 244145 773136 | 2147483647 138042 60 | 0.000 % |
1188.29/1188.28 c | 3254611 | 16889 244145 773136 | 2147483647 138554 60 | 0.000 % |
1188.69/1188.69 c | 3255635 | 16889 244145 773136 | 2147483647 139578 59 | 0.000 % |
1189.39/1189.34 c | 3257683 | 16889 244145 773136 | 2147483647 141626 60 | 0.000 % |
1191.09/1191.04 c | 3261779 | 16889 244145 773136 | 2147483647 145722 60 | 0.000 % |
1191.19/1191.19 c | 3262292 | 16889 244145 773136 | 2147483647 146235 60 | 0.000 % |
1191.39/1191.39 c | 3262804 | 16889 244145 773136 | 2147483647 146747 59 | 0.000 % |
1191.69/1191.71 c | 3263829 | 16889 244145 773136 | 2147483647 147772 59 | 0.000 % |
1191.99/1191.95 c | 3264343 | 16889 244145 773136 | 2147483647 148286 59 | 0.000 % |
1192.19/1192.13 c | 3264855 | 16889 244145 773136 | 2147483647 148798 59 | 0.000 % |
1192.59/1192.57 c | 3265880 | 16889 244145 773136 | 2147483647 149823 59 | 0.000 % |
1193.59/1193.52 c | 3267928 | 16889 244145 773136 | 2147483647 151871 59 | 0.000 % |
1193.79/1193.79 c | 3268441 | 16889 244145 773136 | 2147483647 152384 59 | 0.000 % |
1194.09/1194.05 c | 3268954 | 16889 244145 773136 | 2147483647 152897 59 | 0.000 % |
1194.49/1194.50 c | 3269983 | 16889 244145 773136 | 2147483647 153926 59 | 0.000 % |
1194.79/1194.75 c | 3270496 | 16889 244145 773136 | 153947 154439 59 | 0.000 % |
1195.69/1195.67 c | 3271008 | 16889 244145 773136 | 153947 138776 56 | 0.000 % |
1196.09/1196.10 c | 3272032 | 16889 244145 773136 | 153947 139800 56 | 0.000 % |
1196.99/1196.94 c | 3274081 | 16889 244145 773136 | 153947 141849 56 | 0.000 % |
1198.69/1198.64 c | 3278177 | 16889 244145 773136 | 153947 145945 57 | 0.000 % |
1200.09/1200.03 HOME/SatELiteGTI: line 36: 10186 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820639-1242461079/watcher-1820639-1242461079 -o /tmp/evaluation-result-1820639-1242461079/solver-1820639-1242461079 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820639-1242461079.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 10180
/proc/meminfo: memFree=1292496/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2412 CPUtime=0
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1010606258 2469888 276 4294967295 134512640 135169312 3213071232 3213069768 3085577966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10180/statm: 603 276 235 161 0 42 0
[pid=10184] ppid=10180 vsize=952 CPUtime=0
/proc/10184/stat : 10184 (SatELite_releas) R 10180 10180 11066 0 -1 4202496 113 0 0 0 0 0 0 0 25 0 1 0 1010606258 974848 49 4294967295 134512640 135223648 3215592928 3215591832 134736942 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10184/statm: 239 53 44 174 0 64 0
[startup+0.057356 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 10180
/proc/meminfo: memFree=1292496/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2412 CPUtime=0
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1010606258 2469888 276 4294967295 134512640 135169312 3213071232 3213069768 3085577966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10180/statm: 603 276 235 161 0 42 0
[pid=10184] ppid=10180 vsize=6652 CPUtime=0.06
/proc/10184/stat : 10184 (SatELite_releas) R 10180 10180 11066 0 -1 4202496 1363 0 0 0 3 3 0 0 25 0 1 0 1010606258 6811648 1299 4294967295 134512640 135223648 3215592928 3215591880 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10184/statm: 1663 1299 46 174 0 1488 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9064
[startup+0.117352 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 10180
/proc/meminfo: memFree=1292496/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2412 CPUtime=0
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1010606258 2469888 276 4294967295 134512640 135169312 3213071232 3213069768 3085577966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10180/statm: 603 276 235 161 0 42 0
[pid=10184] ppid=10180 vsize=12500 CPUtime=0.12
/proc/10184/stat : 10184 (SatELite_releas) R 10180 10180 11066 0 -1 4202496 2653 0 0 0 7 5 0 0 25 0 1 0 1010606258 12800000 2589 4294967295 134512640 135223648 3215592928 3215591664 134540952 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10184/statm: 3125 2590 46 174 0 2950 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 14912
[startup+0.317341 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 10180
/proc/meminfo: memFree=1292496/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2412 CPUtime=0
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1010606258 2469888 276 4294967295 134512640 135169312 3213071232 3213069768 3085577966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10180/statm: 603 276 235 161 0 42 0
[pid=10184] ppid=10180 vsize=23856 CPUtime=0.32
/proc/10184/stat : 10184 (SatELite_releas) R 10180 10180 11066 0 -1 4202496 5989 0 0 0 22 10 0 0 25 0 1 0 1010606258 24428544 5413 4294967295 134512640 135223648 3215592928 3215590880 134563597 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10184/statm: 5964 5413 73 174 0 5789 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 26268
[startup+0.717318 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 10180
/proc/meminfo: memFree=1292496/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2412 CPUtime=0
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1010606258 2469888 276 4294967295 134512640 135169312 3213071232 3213069768 3085577966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10180/statm: 603 276 235 161 0 42 0
[pid=10184] ppid=10180 vsize=25596 CPUtime=0.72
/proc/10184/stat : 10184 (SatELite_releas) R 10180 10180 11066 0 -1 4202496 6412 0 0 0 61 11 0 0 25 0 1 0 1010606258 26210304 5836 4294967295 134512640 135223648 3215592928 3215591024 134595980 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10184/statm: 6399 5836 73 174 0 6224 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 28008
[startup+1.51727 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10185
/proc/meminfo: memFree=1269548/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2412 CPUtime=0
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1010606258 2469888 276 4294967295 134512640 135169312 3213071232 3213069768 3085577966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10180/statm: 603 276 235 161 0 42 0
[pid=10184] ppid=10180 vsize=28984 CPUtime=1.52
/proc/10184/stat : 10184 (SatELite_releas) R 10180 10180 11066 0 -1 4202496 6999 0 0 0 140 12 0 0 25 0 1 0 1010606258 29679616 6423 4294967295 134512640 135223648 3215592928 3215590944 134548155 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10184/statm: 7246 6423 73 174 0 7071 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 31396
[startup+3.11719 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10185
/proc/meminfo: memFree=1268680/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 2416
heavy processes:
[startup+6.31701 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10186
/proc/meminfo: memFree=1270920/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=18668 CPUtime=3.95
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 4522 0 0 0 392 3 0 0 25 0 1 0 1010606495 19116032 4457 4294967295 134512640 135216591 3216080560 3216078752 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 4667 4457 75 172 0 4494 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 21084
[startup+12.7166 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10369
/proc/meminfo: memFree=1262500/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=26172 CPUtime=10.35
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 6357 0 0 0 1030 5 0 0 25 0 1 0 1010606495 26800128 6292 4294967295 134512640 135216591 3216080560 3216078752 134529501 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 6543 6292 75 172 0 6370 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 28588
[startup+25.5159 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 10369
/proc/meminfo: memFree=1250880/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=37792 CPUtime=23.15
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 9210 0 0 0 2309 6 0 0 25 0 1 0 1010606495 38699008 9145 4294967295 134512640 135216591 3216080560 3216078752 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 9448 9145 75 172 0 9275 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 40208
[startup+51.1145 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10373
/proc/meminfo: memFree=1243040/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=45644 CPUtime=48.75
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 11160 0 0 0 4864 11 0 0 25 0 1 0 1010606495 46739456 11095 4294967295 134512640 135216591 3216080560 3216078528 134538534 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 11411 11095 75 172 0 11238 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 48060
[startup+102.322 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 10558
/proc/meminfo: memFree=1228028/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=60804 CPUtime=99.96
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 14920 0 0 0 9984 12 0 0 25 0 1 0 1010606495 62263296 14855 4294967295 134512640 135216591 3216080560 3216078752 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 15201 14855 75 172 0 15028 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 63220
[startup+162.308 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10747
/proc/meminfo: memFree=1227904/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=60804 CPUtime=159.95
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 14933 0 0 0 15983 12 0 0 25 0 1 0 1010606495 62263296 14868 4294967295 134512640 135216591 3216080560 3216078752 134528951 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 15201 14868 75 172 0 15028 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 63220
[startup+222.305 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10936
/proc/meminfo: memFree=1224556/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=64152 CPUtime=219.95
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 15745 0 0 0 21982 13 0 0 25 0 1 0 1010606495 65691648 15680 4294967295 134512640 135216591 3216080560 3216078224 134546368 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 16038 15680 75 172 0 15865 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 66568
[startup+282.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 11131
/proc/meminfo: memFree=1224316/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=64336 CPUtime=279.96
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 15775 0 0 0 27982 14 0 0 25 0 1 0 1010606495 65880064 15710 4294967295 134512640 135216591 3216080560 3216078752 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 16084 15710 75 172 0 15911 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 66752
[startup+342.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 11318
/proc/meminfo: memFree=1224192/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=64664 CPUtime=339.97
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 15848 0 0 0 33983 14 0 0 25 0 1 0 1010606495 66215936 15783 4294967295 134512640 135216591 3216080560 3216078752 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 16166 15783 75 172 0 15993 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 67080
################
# More data... #
################
[pid=10186] ppid=10180 vsize=69908 CPUtime=459.98
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 17156 0 0 0 45983 15 0 0 25 0 1 0 1010606495 71585792 17091 4294967295 134512640 135216591 3216080560 3216078752 134528962 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 17477 17091 75 172 0 17304 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 72324
[startup+522.318 s]
/proc/loadavg: 1.01 1.00 1.00 3/98 11884
/proc/meminfo: memFree=1218852/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=70072 CPUtime=519.98
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 17194 0 0 0 51981 17 0 0 25 0 1 0 1010606495 71753728 17129 4294967295 134512640 135216591 3216080560 3216078752 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 17518 17129 75 172 0 17345 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 72488
[startup+582.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 12074
/proc/meminfo: memFree=1215272/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=73780 CPUtime=579.98
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 18114 0 0 0 57979 19 0 0 25 0 1 0 1010606495 75550720 18049 4294967295 134512640 135216591 3216080560 3216078752 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 18445 18049 75 172 0 18272 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 76196
[startup+642.321 s]
/proc/loadavg: 1.13 1.03 1.01 4/98 12261
/proc/meminfo: memFree=1213412/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=75276 CPUtime=639.99
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 18486 0 0 0 63980 19 0 0 25 0 1 0 1010606495 77082624 18421 4294967295 134512640 135216591 3216080560 3216078752 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 18819 18421 75 172 0 18646 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 77692
[startup+702.318 s]
/proc/loadavg: 1.17 1.06 1.01 3/98 12451
/proc/meminfo: memFree=1213404/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=75276 CPUtime=699.99
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 18487 0 0 0 69980 19 0 0 25 0 1 0 1010606495 77082624 18422 4294967295 134512640 135216591 3216080560 3216078736 134525558 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 18819 18422 75 172 0 18646 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 77692
[startup+762.324 s]
/proc/loadavg: 1.18 1.08 1.02 3/98 12643
/proc/meminfo: memFree=1213536/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=75276 CPUtime=760
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 18491 0 0 0 75980 20 0 0 25 0 1 0 1010606495 77082624 18426 4294967295 134512640 135216591 3216080560 3216078752 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 18819 18426 75 172 0 18646 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 77692
[startup+822.321 s]
/proc/loadavg: 1.06 1.06 1.01 3/98 12832
/proc/meminfo: memFree=1213288/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=75276 CPUtime=820
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 18494 0 0 0 81978 22 0 0 25 0 1 0 1010606495 77082624 18429 4294967295 134512640 135216591 3216080560 3216078752 134529009 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 18819 18429 75 172 0 18646 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 77692
[startup+882.318 s]
/proc/loadavg: 1.02 1.05 1.01 3/98 13020
/proc/meminfo: memFree=1213164/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=75276 CPUtime=880
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 18497 0 0 0 87977 23 0 0 25 0 1 0 1010606495 77082624 18432 4294967295 134512640 135216591 3216080560 3216078752 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 18819 18432 75 172 0 18646 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 77692
[startup+942.314 s]
/proc/loadavg: 1.01 1.03 1.00 2/98 13207
/proc/meminfo: memFree=1213164/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=75276 CPUtime=940
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 18500 0 0 0 93977 23 0 0 25 0 1 0 1010606495 77082624 18435 4294967295 134512640 135216591 3216080560 3216078672 134534669 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 18819 18435 75 172 0 18646 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 77692
[startup+1002.32 s]
/proc/loadavg: 1.00 1.03 1.00 3/98 13393
/proc/meminfo: memFree=1213172/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=75276 CPUtime=1000.01
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 18501 0 0 0 99970 31 0 0 25 0 1 0 1010606495 77082624 18436 4294967295 134512640 135216591 3216080560 3216078528 134538249 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 18819 18436 75 172 0 18646 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 77692
[startup+1062.32 s]
/proc/loadavg: 1.00 1.02 1.00 3/98 13586
/proc/meminfo: memFree=1213140/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=75276 CPUtime=1060.01
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 18501 0 0 0 105967 34 0 0 25 0 1 0 1010606495 77082624 18436 4294967295 134512640 135216591 3216080560 3216078752 134528908 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 18819 18436 75 172 0 18646 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 77692
[startup+1122.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/98 13775
/proc/meminfo: memFree=1213256/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=75276 CPUtime=1120.01
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 18511 0 0 0 111967 34 0 0 25 0 1 0 1010606495 77082624 18446 4294967295 134512640 135216591 3216080560 3216078752 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 18819 18446 75 172 0 18646 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 77692
[startup+1182.32 s]
/proc/loadavg: 1.20 1.06 1.01 3/98 13963
/proc/meminfo: memFree=1213008/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=75276 CPUtime=1180.02
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 18512 0 0 0 117967 35 0 0 25 0 1 0 1010606495 77082624 18447 4294967295 134512640 135216591 3216080560 3216078752 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 18819 18447 75 172 0 18646 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 77692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.15 1.05 1.01 3/98 13964
/proc/meminfo: memFree=1213016/2074464 swapFree=1950760/1959888
[pid=10180] ppid=10178 vsize=2416 CPUtime=2.37
/proc/10180/stat : 10180 (SatELiteGTI) S 10178 10180 11066 0 -1 4194304 386 9675 0 0 0 0 224 13 18 0 1 0 1010606258 2473984 277 4294967295 134512640 135169312 3213071232 3213067448 3085577966 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10180/statm: 604 277 235 161 0 43 0
[pid=10186] ppid=10180 vsize=75276 CPUtime=1197.72
/proc/10186/stat : 10186 (minisat_static) R 10180 10180 11066 0 -1 4202496 18512 0 0 0 119732 40 0 0 25 0 1 0 1010606495 77082624 18447 4294967295 134512640 135216591 3216080560 3216078752 134528902 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10186/statm: 18819 18447 75 172 0 18646 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 77692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.1
CPU user time (s): 1199.56
CPU system time (s): 0.54
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 77692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.56
system time used= 0.54
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28851
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= 22
involuntary context switches= 981
runsolver used 0 second user time and 0.04 second system time
The end
Begin job on tipi23 at 2009-05-16 10:04:39
IDJOB=1820639
IDBENCH=20573
IDSOLVER=658
FILE ID=tipi23/1820639-1242461079
PBS_JOBID=
Free space on /tmp= 9771 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820639-1242461079/watcher-1820639-1242461079 -o /tmp/evaluation-result-1820639-1242461079/solver-1820639-1242461079 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820639-1242461079.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9158de01004aff62af67cbb9db5bcbbb
RANDOM SEED= 321801712
Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1292396 kB
Buffers: 39964 kB
Cached: 641776 kB
SwapCached: 3700 kB
Active: 318488 kB
Inactive: 375076 kB
HighTotal: 1178688 kB
HighFree: 530304 kB
LowTotal: 895776 kB
LowFree: 762092 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 6484 kB
Writeback: 0 kB
AnonPages: 11148 kB
Mapped: 4480 kB
Slab: 79420 kB
PageTables: 624 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96896 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9771 MiB
End job on tipi23 at 2009-05-16 10:24:40