0.00/0.00 c Parsing...
0.12/0.14 c ==============================================================================
0.12/0.14 c | | ORIGINAL | LEARNT | |
0.12/0.14 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.14 c ==============================================================================
0.12/0.14 c | 0 | 155258 454459 | 46577 0 0 nan | 0.000 % |
1.02/1.10 c | 0 | 68970 232657 | -- 0 -- -- | -- | -80730/-205120
1.02/1.10 c ==============================================================================
1.02/1.10 c Result : #vars: 7889 #clauses: 68970 #literals: 232657
1.02/1.10 c CPU time: 1.04 s
1.02/1.10 c ==============================================================================
1.12/1.19 c This is MiniSat 2.0 beta
1.12/1.19 c WARNING: for repeatability, setting FPU to use double precision
1.12/1.19 c ============================[ Problem Statistics ]=============================
1.12/1.19 c | |
1.12/1.19 c | Number of variables: 7889 |
1.12/1.19 c | Number of clauses: 68970 |
1.20/1.23 c | Parsing time: 0.04 s |
1.20/1.24 c ============================[ Search Statistics ]==============================
1.20/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.20/1.24 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.20/1.24 c ===============================================================================
1.20/1.24 c | 0 | 7889 68970 232657 | 22990 0 nan | 0.000 % |
1.20/1.26 c | 512 | 7888 68970 232657 | 22990 511 13 | 0.013 % |
1.20/1.29 c | 1024 | 7888 68970 232657 | 22990 1023 14 | 0.013 % |
1.20/1.31 c | 1536 | 7888 68970 232657 | 22990 1535 15 | 0.013 % |
1.20/1.37 c | 2561 | 7886 68970 232657 | 22990 2559 16 | 0.038 % |
1.20/1.40 c | 3074 | 7886 68547 230590 | 22990 3071 16 | 0.038 % |
1.20/1.43 c | 3586 | 7886 68547 230590 | 22990 3583 16 | 0.038 % |
1.20/1.49 c | 4610 | 7886 68547 230590 | 22990 4607 16 | 0.038 % |
1.20/1.65 c | 6659 | 7886 68547 230590 | 22990 6656 17 | 0.038 % |
1.20/1.69 c | 7171 | 7886 68547 230590 | 22990 7168 17 | 0.038 % |
1.20/1.73 c | 7683 | 7886 68547 230590 | 22990 7680 17 | 0.038 % |
1.20/1.80 c | 8708 | 7886 68547 230590 | 22990 8705 17 | 0.038 % |
1.20/1.84 c | 9220 | 7886 68547 230590 | 22990 9217 17 | 0.038 % |
1.20/1.88 c | 9732 | 7886 68547 230590 | 22990 9729 17 | 0.038 % |
1.20/1.97 c | 10758 | 7886 68547 230590 | 2147483647 10755 17 | 0.038 % |
1.20/2.17 c | 12809 | 7886 68547 230590 | 2147483647 12806 17 | 0.038 % |
2.52/2.60 c | 16906 | 7886 68547 230590 | 2147483647 16903 18 | 0.038 % |
2.62/2.66 c | 17421 | 7886 68547 230590 | 2147483647 17418 18 | 0.038 % |
2.72/2.72 c | 17935 | 7886 68547 230590 | 2147483647 17932 18 | 0.038 % |
2.82/2.86 c | 18961 | 7886 68547 230590 | 2147483647 18958 18 | 0.038 % |
2.92/2.91 c | 19473 | 7886 68547 230590 | 2147483647 19470 18 | 0.038 % |
2.92/2.97 c | 19987 | 7886 68547 230590 | 2147483647 19984 18 | 0.038 % |
3.02/3.09 c | 21011 | 7886 68547 230590 | 2147483647 21008 18 | 0.038 % |
3.32/3.39 c | 23059 | 7886 68547 230590 | 2147483647 23056 18 | 0.038 % |
3.42/3.48 c | 23571 | 7886 68547 230590 | 2147483647 23568 18 | 0.038 % |
3.52/3.54 c | 24083 | 7886 68547 230590 | 2147483647 24080 18 | 0.038 % |
3.62/3.68 c | 25107 | 7886 68547 230590 | 2147483647 25104 18 | 0.038 % |
3.72/3.74 c | 25619 | 7886 68547 230590 | 2147483647 25616 18 | 0.038 % |
3.82/3.82 c | 26133 | 7886 68547 230590 | 2147483647 26130 18 | 0.038 % |
3.92/3.99 c | 27159 | 7886 68547 230590 | 2147483647 27156 18 | 0.038 % |
4.21/4.30 c | 29208 | 7886 68547 230590 | 2147483647 29205 18 | 0.038 % |
5.01/5.05 c | 33304 | 7886 68547 230590 | 2147483647 33301 19 | 0.038 % |
7.11/7.11 c | 41496 | 7886 68547 230590 | 2147483647 41493 20 | 0.038 % |
7.21/7.28 c | 42009 | 7886 68547 230590 | 2147483647 42006 20 | 0.038 % |
7.41/7.45 c | 42521 | 7886 68547 230590 | 2147483647 42518 20 | 0.038 % |
7.71/7.75 c | 43545 | 7886 68547 230590 | 2147483647 43542 20 | 0.038 % |
7.81/7.90 c | 44059 | 7886 68547 230590 | 2147483647 44056 20 | 0.038 % |
8.01/8.03 c | 44572 | 7886 68547 230590 | 2147483647 44569 20 | 0.038 % |
8.21/8.25 c | 45597 | 7886 68547 230590 | 2147483647 45594 20 | 0.038 % |
8.80/8.85 c | 47646 | 7886 68547 230590 | 2147483647 47643 20 | 0.038 % |
8.98/9.05 c | 48158 | 7886 68547 230590 | 2147483647 48155 20 | 0.038 % |
9.08/9.15 c | 48670 | 7886 68547 230590 | 2147483647 48667 20 | 0.038 % |
9.37/9.43 c | 49698 | 7886 68547 230590 | 2147483647 49695 20 | 0.038 % |
9.47/9.60 c | 50211 | 7886 68547 230590 | 49998 50208 20 | 0.038 % |
9.67/9.80 c | 50724 | 7886 68547 230590 | 49998 41987 19 | 0.038 % |
9.98/10.07 c | 51748 | 7886 68547 230590 | 49998 43011 20 | 0.038 % |
10.57/10.70 c | 53796 | 7886 68547 230590 | 49998 45059 20 | 0.038 % |
11.87/12.00 c | 57892 | 7886 68547 230590 | 49998 49155 19 | 0.038 % |
12.07/12.14 c | 58404 | 7886 68547 230590 | 49998 49667 20 | 0.038 % |
12.27/12.36 c | 58920 | 7886 68547 230590 | 49998 50183 20 | 0.038 % |
12.57/12.65 c | 59945 | 7886 68547 230590 | 49998 40229 19 | 0.038 % |
12.67/12.80 c | 60457 | 7886 68547 230590 | 40284 32034 17 | 0.038 % |
12.87/12.91 c | 60969 | 7886 68547 230590 | 40284 32546 17 | 0.038 % |
13.07/13.17 c | 61994 | 7886 68547 230590 | 40284 33571 17 | 0.038 % |
13.77/13.89 c | 64044 | 7886 68547 230590 | 40284 35621 17 | 0.038 % |
13.97/14.05 c | 64556 | 7886 68547 230590 | 40284 36133 17 | 0.038 % |
14.17/14.21 c | 65070 | 7886 68547 230590 | 40284 36647 17 | 0.038 % |
14.38/14.48 c | 66095 | 7886 68547 230590 | 40284 37672 17 | 0.038 % |
14.57/14.63 c | 66607 | 7886 68547 230590 | 40284 38184 17 | 0.038 % |
14.67/14.78 c | 67120 | 7886 68547 230590 | 40284 38697 17 | 0.038 % |
15.07/15.15 c | 68144 | 7886 68547 230590 | 40284 39721 18 | 0.038 % |
15.87/16.00 c | 70192 | 7886 68547 230590 | 32742 32934 17 | 0.038 % |
17.17/17.29 c | 74290 | 7886 68547 230590 | 32742 29811 17 | 0.038 % |
19.67/19.76 c | 82483 | 7886 68547 230590 | 29100 26151 17 | 0.038 % |
25.77/25.84 c | 98867 | 7886 68547 230590 | 28536 27630 18 | 0.038 % |
25.97/26.01 c | 99380 | 7886 68547 230590 | 28536 28143 18 | 0.038 % |
26.07/26.15 c | 99892 | 7886 68547 230590 | 28536 28655 18 | 0.038 % |
26.37/26.45 c | 100917 | 7886 68547 230590 | 24008 20842 16 | 0.038 % |
26.48/26.57 c | 101430 | 7886 68547 230590 | 24008 21355 17 | 0.038 % |
26.67/26.73 c | 101942 | 7886 68547 230590 | 24008 21867 17 | 0.038 % |
26.97/27.06 c | 102967 | 7886 68547 230590 | 24008 22892 17 | 0.038 % |
27.58/27.62 c | 105016 | 7886 68547 230590 | 24008 21597 17 | 0.038 % |
27.58/27.70 c | 105528 | 7886 68547 230590 | 24008 22109 17 | 0.038 % |
27.67/27.78 c | 106040 | 7886 68547 230590 | 24008 22621 17 | 0.038 % |
27.97/28.03 c | 107066 | 7886 68547 230590 | 24008 23647 17 | 0.038 % |
28.07/28.16 c | 107581 | 7886 68547 230590 | 24008 21048 17 | 0.038 % |
28.17/28.24 c | 108093 | 7886 68547 230590 | 24008 21560 17 | 0.038 % |
28.47/28.55 c | 109117 | 7886 68547 230590 | 24008 22584 17 | 0.038 % |
28.77/28.84 c | 111167 | 7886 68547 230590 | 23467 21704 16 | 0.038 % |
29.47/29.58 c | 115264 | 7886 68547 230590 | 23467 23212 16 | 0.038 % |
29.57/29.70 c | 115776 | 7886 68547 230590 | 23467 20953 16 | 0.038 % |
29.67/29.81 c | 116288 | 7886 68547 230590 | 23467 21465 16 | 0.038 % |
30.07/30.11 c | 117312 | 7886 68547 230590 | 23467 22489 16 | 0.038 % |
30.17/30.23 c | 117824 | 7886 68547 230590 | 23467 23001 16 | 0.038 % |
30.37/30.41 c | 118336 | 7886 68547 230590 | 23467 23513 16 | 0.038 % |
30.67/30.76 c | 119363 | 7886 68547 230590 | 23467 21778 15 | 0.038 % |
31.27/31.32 c | 121413 | 7886 68547 230590 | 22417 21322 15 | 0.038 % |
31.37/31.43 c | 121927 | 7886 68547 230590 | 22417 21836 15 | 0.038 % |
31.47/31.58 c | 122439 | 7886 68547 230590 | 22417 22348 15 | 0.038 % |
31.77/31.81 c | 123464 | 7886 68547 230590 | 22417 20895 15 | 0.038 % |
31.87/31.94 c | 123976 | 7886 68547 230590 | 22417 21407 15 | 0.038 % |
31.98/32.09 c | 124489 | 7886 68547 230590 | 22417 21920 15 | 0.038 % |
32.17/32.25 c | 125513 | 7886 68547 230590 | 22417 20674 15 | 0.038 % |
32.67/32.72 c | 127561 | 7886 68547 230590 | 22417 22722 16 | 0.038 % |
33.77/33.86 c | 131657 | 7886 68547 230590 | 2147483647 22294 16 | 0.038 % |
36.47/36.60 c | 139850 | 7886 68547 230590 | 2147483647 30487 18 | 0.038 % |
36.77/36.81 c | 140363 | 7886 68547 230590 | 30638 26836 17 | 0.038 % |
36.87/36.97 c | 140875 | 7886 68547 230590 | 30638 27348 18 | 0.038 % |
37.27/37.39 c | 141902 | 7886 68547 230590 | 30638 28375 18 | 0.038 % |
37.57/37.63 c | 142415 | 7886 68547 230590 | 30638 28888 18 | 0.038 % |
37.77/37.90 c | 142927 | 7886 68547 230590 | 30638 29400 18 | 0.038 % |
38.17/38.28 c | 143951 | 7886 68547 230590 | 30638 30424 18 | 0.038 % |
39.07/39.15 c | 145999 | 7886 68547 230590 | 30638 27290 17 | 0.038 % |
39.27/39.35 c | 146512 | 7886 68547 230590 | 30638 27803 17 | 0.038 % |
39.37/39.43 c | 147024 | 7886 68547 230590 | 30638 28315 17 | 0.038 % |
39.57/39.64 c | 148049 | 7886 68547 230590 | 30638 29340 17 | 0.038 % |
39.68/39.71 c | 148562 | 7886 68547 230590 | 30638 29853 17 | 0.038 % |
39.87/39.93 c | 149075 | 7886 68547 230590 | 30638 30366 17 | 0.038 % |
40.27/40.39 c | 150102 | 7886 68547 230590 | 26237 22083 16 | 0.038 % |
40.87/41.00 c | 152151 | 7886 68547 230590 | 26237 24132 16 | 0.038 % |
42.17/42.26 c | 156251 | 7886 68547 230590 | 26237 24596 16 | 0.038 % |
42.37/42.46 c | 156763 | 7886 68547 230590 | 26237 25108 16 | 0.038 % |
42.57/42.64 c | 157277 | 7886 68547 230590 | 26237 25622 16 | 0.038 % |
42.98/43.06 c | 158303 | 7886 68547 230590 | 26237 23210 16 | 0.038 % |
43.17/43.22 c | 158815 | 7886 68547 230590 | 26237 23722 16 | 0.038 % |
43.27/43.34 c | 159328 | 7886 68547 230590 | 26237 24235 16 | 0.038 % |
43.47/43.53 c | 160352 | 7886 68547 230590 | 24907 22070 15 | 0.038 % |
43.87/43.92 c | 162401 | 7886 68547 230590 | 24907 24119 15 | 0.038 % |
43.97/44.04 c | 162916 | 7886 68547 230590 | 24907 24634 16 | 0.038 % |
44.08/44.16 c | 163428 | 7886 68547 230590 | 24907 22634 15 | 0.038 % |
44.27/44.34 c | 164452 | 7886 68547 230590 | 24907 23658 15 | 0.038 % |
44.37/44.42 c | 164964 | 7886 68547 230590 | 24907 24170 16 | 0.038 % |
44.37/44.50 c | 165476 | 7886 68547 230590 | 24907 24682 16 | 0.038 % |
44.57/44.66 c | 166503 | 7886 68547 230590 | 24907 23190 16 | 0.038 % |
44.87/44.98 c | 168551 | 7886 68547 230590 | 24907 22738 15 | 0.038 % |
45.57/45.66 c | 172648 | 7886 68547 230590 | 2147483647 26835 16 | 0.038 % |
46.67/46.80 c | 180840 | 7886 68547 230590 | 2147483647 35027 17 | 0.038 % |
51.08/51.16 c | 197224 | 7886 68547 230590 | 44187 43389 17 | 0.038 % |
63.38/63.48 c | 229992 | 7884 68537 230567 | 35572 33425 19 | 0.063 % |
63.58/63.62 c | 230505 | 7872 68537 230567 | 33433 28329 18 | 0.254 % |
63.58/63.71 c | 231018 | 7872 68537 230567 | 33433 28842 18 | 0.254 % |
63.88/63.93 c | 232043 | 7869 66734 221155 | 33433 25374 19 | 0.254 % |
63.98/64.05 c | 232556 | 7869 66734 221155 | 33433 25887 19 | 0.254 % |
64.08/64.13 c | 233069 | 7869 66734 221155 | 33433 26400 19 | 0.254 % |
64.28/64.35 c | 234094 | 7869 66734 221155 | 33433 27425 19 | 0.254 % |
64.78/64.88 c | 236142 | 7869 66734 221155 | 33433 29473 19 | 0.254 % |
64.88/64.98 c | 236654 | 7869 66734 221155 | 33433 29985 19 | 0.254 % |
65.08/65.11 c | 237167 | 7869 66734 221155 | 33433 30498 19 | 0.254 % |
65.18/65.28 c | 238194 | 7869 66734 221155 | 33433 31525 19 | 0.254 % |
65.28/65.38 c | 238706 | 7869 66734 221155 | 33433 32037 19 | 0.254 % |
65.38/65.49 c | 239219 | 7869 66734 221155 | 33433 32550 19 | 0.254 % |
65.58/65.69 c | 240245 | 7869 66734 221155 | 2147483647 33576 19 | 0.254 % |
66.18/66.31 c | 242293 | 7869 66734 221155 | 2147483647 35624 20 | 0.254 % |
67.38/67.42 c | 246390 | 7869 66734 221155 | 2147483647 39721 20 | 0.254 % |
67.58/67.63 c | 246902 | 7869 66734 221155 | 2147483647 40233 20 | 0.254 % |
67.68/67.76 c | 247414 | 7869 66734 221155 | 2147483647 40745 20 | 0.254 % |
68.08/68.14 c | 248438 | 7869 66734 221155 | 2147483647 41769 20 | 0.254 % |
68.28/68.34 c | 248951 | 7869 66734 221155 | 2147483647 42282 20 | 0.254 % |
68.38/68.48 c | 249463 | 7869 66734 221155 | 2147483647 42794 20 | 0.254 % |
68.88/69.00 c | 250488 | 7869 66734 221155 | 43331 37128 19 | 0.254 % |
69.38/69.48 c | 252536 | 7869 66734 221155 | 43331 39176 19 | 0.254 % |
69.58/69.66 c | 253049 | 7869 66734 221155 | 43331 39689 19 | 0.254 % |
69.68/69.80 c | 253563 | 7869 66734 221155 | 43331 40203 19 | 0.254 % |
70.08/70.15 c | 254588 | 7869 66734 221155 | 43331 41228 19 | 0.254 % |
70.18/70.29 c | 255102 | 7869 66734 221155 | 43331 41742 19 | 0.254 % |
70.38/70.49 c | 255614 | 7869 66734 221155 | 43331 42254 19 | 0.254 % |
70.58/70.68 c | 256638 | 7869 66734 221155 | 43331 43278 19 | 0.254 % |
71.28/71.39 c | 258686 | 7869 66734 221155 | 43331 38845 19 | 0.254 % |
72.38/72.51 c | 262782 | 7869 66734 221155 | 40159 36872 18 | 0.254 % |
75.68/75.79 c | 270974 | 7869 66734 221155 | 38637 33884 18 | 0.254 % |
75.88/75.95 c | 271486 | 7869 66734 221155 | 38637 34396 18 | 0.254 % |
75.98/76.07 c | 271999 | 7869 66734 221155 | 38637 34909 18 | 0.254 % |
76.28/76.38 c | 273023 | 7869 66734 221155 | 38637 35933 18 | 0.254 % |
76.48/76.60 c | 273536 | 7869 66734 221155 | 38637 36446 18 | 0.254 % |
76.68/76.78 c | 274049 | 7869 66734 221155 | 38637 36959 18 | 0.254 % |
76.98/77.05 c | 275073 | 7869 66734 221155 | 38637 37983 18 | 0.254 % |
77.88/77.99 c | 277121 | 7869 66734 221155 | 38637 33825 18 | 0.254 % |
78.08/78.17 c | 277634 | 7869 66734 221155 | 38637 34338 18 | 0.254 % |
78.28/78.36 c | 278146 | 7869 66734 221155 | 38637 34850 18 | 0.254 % |
78.58/78.68 c | 279171 | 7869 66734 221155 | 38637 35875 18 | 0.254 % |
78.78/78.82 c | 279683 | 7869 66734 221155 | 38637 36387 18 | 0.254 % |
78.88/78.94 c | 280197 | 7869 66734 221155 | 36704 36901 18 | 0.254 % |
79.08/79.20 c | 281221 | 7869 66734 221155 | 36704 32194 17 | 0.254 % |
79.68/79.79 c | 283270 | 7869 66734 221155 | 36704 34243 18 | 0.254 % |
81.08/81.18 c | 287366 | 7869 66734 221155 | 36704 33142 17 | 0.254 % |
81.28/81.32 c | 287880 | 7869 66734 221155 | 36704 33656 17 | 0.254 % |
81.38/81.50 c | 288394 | 7869 66734 221155 | 36704 34170 18 | 0.254 % |
81.78/81.82 c | 289419 | 7869 66734 221155 | 36704 35195 18 | 0.254 % |
81.88/81.98 c | 289932 | 7869 66734 221155 | 36704 35708 18 | 0.254 % |
81.98/82.11 c | 290444 | 7869 66734 221155 | 35779 36220 18 | 0.254 % |
82.38/82.44 c | 291468 | 7869 66734 221155 | 35779 32321 17 | 0.254 % |
82.98/83.02 c | 293517 | 7869 66734 221155 | 35779 34370 17 | 0.254 % |
83.08/83.21 c | 294030 | 7869 66734 221155 | 35779 34883 18 | 0.254 % |
83.38/83.42 c | 294542 | 7869 66734 221155 | 35779 35395 18 | 0.254 % |
83.68/83.75 c | 295566 | 7869 66734 221155 | 35779 36419 18 | 0.254 % |
83.88/83.93 c | 296078 | 7869 66734 221155 | 35779 31579 18 | 0.254 % |
84.08/84.12 c | 296590 | 7869 66734 221155 | 35779 32091 18 | 0.254 % |
84.38/84.48 c | 297617 | 7869 66734 221155 | 35779 33118 18 | 0.254 % |
84.98/85.10 c | 299665 | 7869 66734 221155 | 35779 35166 18 | 0.254 % |
86.48/86.52 c | 303761 | 7869 66734 221155 | 35501 33962 18 | 0.254 % |
89.58/89.65 c | 311955 | 7869 66734 221155 | 35384 32272 17 | 0.254 % |
95.88/95.93 c | 328339 | 7869 66734 221155 | 35062 33368 18 | 0.254 % |
95.98/96.09 c | 328851 | 7869 66734 221155 | 35062 33880 18 | 0.254 % |
96.18/96.24 c | 329363 | 7869 66734 221155 | 35062 34392 18 | 0.254 % |
96.58/96.62 c | 330387 | 7869 66734 221155 | 35029 30961 18 | 0.254 % |
96.68/96.74 c | 330899 | 7869 66734 221155 | 35029 31473 18 | 0.254 % |
96.78/96.90 c | 331411 | 7869 66734 221155 | 35029 31985 18 | 0.254 % |
97.18/97.23 c | 332435 | 7869 66734 221155 | 35029 33009 18 | 0.254 % |
97.58/97.69 c | 334485 | 7869 66734 221155 | 35029 35059 19 | 0.254 % |
97.78/97.86 c | 334997 | 7869 66734 221155 | 35029 31250 18 | 0.254 % |
97.88/97.95 c | 335511 | 7869 66734 221155 | 35029 31764 18 | 0.254 % |
98.18/98.22 c | 336535 | 7869 66734 221155 | 35029 32788 18 | 0.254 % |
98.28/98.37 c | 337047 | 7869 66734 221155 | 35029 33300 18 | 0.254 % |
98.48/98.55 c | 337561 | 7869 66734 221155 | 35029 33814 18 | 0.254 % |
98.78/98.86 c | 338587 | 7869 66734 221155 | 35029 34840 18 | 0.254 % |
99.48/99.59 c | 340635 | 7869 66734 221155 | 31876 28437 18 | 0.254 % |
101.08/101.12 c | 344732 | 7869 66734 221155 | 31876 28476 18 | 0.254 % |
101.18/101.29 c | 345244 | 7869 66734 221155 | 31876 28988 18 | 0.254 % |
101.38/101.48 c | 345756 | 7869 66734 221155 | 31876 29500 18 | 0.254 % |
101.68/101.79 c | 346780 | 7868 66731 221149 | 31876 30523 18 | 0.266 % |
101.88/101.95 c | 347292 | 7868 66731 221149 | 31876 31035 18 | 0.266 % |
101.98/102.09 c | 347805 | 7868 66731 221149 | 31876 31548 18 | 0.266 % |
102.28/102.37 c | 348830 | 7868 66731 221149 | 31876 28776 18 | 0.266 % |
102.78/102.86 c | 350878 | 7868 66731 221149 | 29946 27486 18 | 0.266 % |
102.88/102.99 c | 351393 | 7868 66731 221149 | 29946 28001 18 | 0.266 % |
103.08/103.13 c | 351906 | 7868 66731 221149 | 29946 28514 18 | 0.266 % |
103.28/103.40 c | 352934 | 7868 66731 221149 | 29946 29542 18 | 0.266 % |
103.48/103.55 c | 353446 | 7868 66731 221149 | 29946 30054 18 | 0.266 % |
103.58/103.69 c | 353958 | 7868 66731 221149 | 29946 27359 17 | 0.266 % |
103.78/103.87 c | 354982 | 7868 66731 221149 | 29946 28383 17 | 0.266 % |
104.38/104.42 c | 357031 | 7868 66731 221149 | 29946 27408 17 | 0.266 % |
105.58/105.63 c | 361129 | 7868 66731 221149 | 2147483647 28496 17 | 0.266 % |
108.88/108.91 c | 369323 | 7868 66731 221149 | 2147483647 36690 18 | 0.266 % |
109.08/109.17 c | 369838 | 7868 66731 221149 | 2147483647 37205 18 | 0.266 % |
109.28/109.34 c | 370350 | 7868 66731 221149 | 37367 37717 18 | 0.266 % |
109.58/109.71 c | 371374 | 7868 66731 221149 | 37367 34331 18 | 0.266 % |
109.78/109.85 c | 371887 | 7868 66731 221149 | 37367 34844 18 | 0.266 % |
109.98/110.03 c | 372400 | 7868 66731 221149 | 37367 35357 18 | 0.266 % |
110.28/110.39 c | 373424 | 7868 66731 221149 | 37367 36381 18 | 0.266 % |
110.88/110.94 c | 375473 | 7868 66731 221149 | 37367 33963 18 | 0.266 % |
110.98/111.10 c | 375986 | 7868 66731 221149 | 37367 34476 18 | 0.266 % |
111.19/111.27 c | 376498 | 7868 66731 221149 | 37367 34988 18 | 0.266 % |
111.58/111.61 c | 377522 | 7868 66731 221149 | 37367 36012 18 | 0.266 % |
111.68/111.74 c | 378035 | 7868 66731 221149 | 37367 36525 18 | 0.266 % |
111.88/111.92 c | 378549 | 7868 66731 221149 | 37367 37039 18 | 0.266 % |
112.18/112.25 c | 379574 | 7868 66731 221149 | 37367 33374 18 | 0.266 % |
112.78/112.89 c | 381625 | 7868 66731 221149 | 33801 31317 18 | 0.266 % |
114.08/114.17 c | 385721 | 7868 66731 221149 | 33801 31494 18 | 0.266 % |
114.28/114.31 c | 386233 | 7868 66731 221149 | 33801 32006 18 | 0.266 % |
114.38/114.45 c | 386745 | 7868 66731 221149 | 33801 32518 18 | 0.266 % |
114.68/114.73 c | 387771 | 7868 66731 221149 | 33801 33544 18 | 0.266 % |
114.88/114.93 c | 388283 | 7868 66731 221149 | 33801 34056 18 | 0.266 % |
115.08/115.13 c | 388796 | 7868 66731 221149 | 33801 30390 18 | 0.266 % |
115.38/115.50 c | 389820 | 7868 66731 221149 | 33801 31414 18 | 0.266 % |
115.98/116.10 c | 391870 | 7868 66731 221149 | 31596 29537 18 | 0.266 % |
116.18/116.26 c | 392384 | 7868 66731 221149 | 31596 30051 18 | 0.266 % |
116.38/116.44 c | 392897 | 7868 66731 221149 | 31596 30564 18 | 0.266 % |
116.69/116.78 c | 393922 | 7868 66731 221149 | 31596 31589 18 | 0.266 % |
116.88/116.95 c | 394438 | 7868 66731 221149 | 31596 32105 18 | 0.266 % |
117.08/117.14 c | 394951 | 7868 66731 221149 | 31596 28783 18 | 0.266 % |
117.38/117.43 c | 395976 | 7868 66731 221149 | 31596 29808 18 | 0.266 % |
118.08/118.12 c | 398026 | 7868 66731 221149 | 31596 31858 18 | 0.266 % |
119.58/119.62 c | 402123 | 7868 66731 221149 | 30037 28735 18 | 0.266 % |
122.68/122.76 c | 410315 | 7868 66731 221149 | 2147483647 30534 18 | 0.266 % |
129.98/130.04 c | 426699 | 7868 66731 221149 | 40221 37265 19 | 0.266 % |
142.68/142.79 c | 459467 | 7868 66731 221149 | 30841 30130 19 | 0.266 % |
166.69/166.73 c | 525003 | 7868 66731 221149 | 2147483647 31822 19 | 0.266 % |
166.79/166.90 c | 525515 | 7868 66731 221149 | 2147483647 32334 19 | 0.266 % |
166.89/167.01 c | 526029 | 7868 66731 221149 | 2147483647 32848 19 | 0.266 % |
167.19/167.27 c | 527053 | 7868 66731 221149 | 2147483647 33872 19 | 0.266 % |
167.29/167.37 c | 527566 | 7868 66731 221149 | 2147483647 34385 19 | 0.266 % |
167.49/167.52 c | 528078 | 7868 66731 221149 | 2147483647 34897 19 | 0.266 % |
167.79/167.89 c | 529102 | 7868 66731 221149 | 2147483647 35921 19 | 0.266 % |
168.49/168.53 c | 531150 | 7868 66731 221149 | 2147483647 37969 19 | 0.266 % |
168.59/168.64 c | 531662 | 7868 66731 221149 | 2147483647 38481 19 | 0.266 % |
168.79/168.81 c | 532174 | 7868 66731 221149 | 2147483647 38993 20 | 0.266 % |
169.09/169.16 c | 533198 | 7868 66731 221149 | 2147483647 40017 19 | 0.266 % |
169.19/169.30 c | 533713 | 7868 66731 221149 | 2147483647 40532 19 | 0.266 % |
169.39/169.47 c | 534225 | 7868 66731 221149 | 2147483647 41044 19 | 0.266 % |
169.69/169.80 c | 535251 | 7868 66731 221149 | 2147483647 42070 19 | 0.266 % |
170.39/170.48 c | 537300 | 7868 66731 221149 | 2147483647 44119 20 | 0.266 % |
171.89/171.97 c | 541396 | 7868 66731 221149 | 46819 40408 19 | 0.266 % |
172.09/172.12 c | 541910 | 7868 66731 221149 | 46819 40922 19 | 0.266 % |
172.19/172.30 c | 542422 | 7868 66731 221149 | 46819 41434 19 | 0.266 % |
172.49/172.61 c | 543446 | 7868 66731 221149 | 46819 42458 19 | 0.266 % |
172.69/172.76 c | 543958 | 7868 66731 221149 | 46819 42970 19 | 0.266 % |
172.89/173.01 c | 544470 | 7868 66731 221149 | 46819 43482 19 | 0.266 % |
173.29/173.40 c | 545494 | 7868 66731 221149 | 46819 44506 19 | 0.266 % |
174.19/174.25 c | 547542 | 7868 66731 221149 | 46819 46554 19 | 0.266 % |
174.49/174.54 c | 548055 | 7868 66731 221149 | 46819 47067 19 | 0.266 % |
174.79/174.81 c | 548567 | 7868 66731 221149 | 46819 38782 19 | 0.266 % |
175.09/175.20 c | 549591 | 7868 66731 221149 | 46819 39806 19 | 0.266 % |
175.39/175.42 c | 550104 | 7868 66731 221149 | 40218 40319 19 | 0.266 % |
175.49/175.59 c | 550618 | 7868 66731 221149 | 40218 33260 18 | 0.266 % |
175.89/175.94 c | 551643 | 7868 66731 221149 | 40218 34285 18 | 0.266 % |
176.49/176.56 c | 553691 | 7868 66731 221149 | 40218 36333 18 | 0.266 % |
177.89/177.95 c | 557787 | 7868 66731 221149 | 40218 40429 19 | 0.266 % |
181.19/181.22 c | 565980 | 7868 66731 221149 | 35584 35558 18 | 0.266 % |
181.39/181.44 c | 566492 | 7868 66731 221149 | 35584 30442 18 | 0.266 % |
181.49/181.60 c | 567005 | 7868 66731 221149 | 35584 30955 18 | 0.266 % |
181.89/181.94 c | 568031 | 7868 66731 221149 | 35584 31981 18 | 0.266 % |
181.99/182.10 c | 568544 | 7868 66731 221149 | 35584 32494 18 | 0.266 % |
182.19/182.29 c | 569056 | 7868 66731 221149 | 35584 33006 18 | 0.266 % |
182.59/182.69 c | 570080 | 7868 66731 221149 | 33951 34030 18 | 0.266 % |
183.39/183.45 c | 572129 | 7868 66731 221149 | 33951 30797 18 | 0.266 % |
183.49/183.60 c | 572641 | 7868 66731 221149 | 33951 31309 18 | 0.266 % |
183.69/183.73 c | 573153 | 7868 66731 221149 | 33951 31821 18 | 0.266 % |
183.89/184.01 c | 574177 | 7868 66731 221149 | 33951 32845 18 | 0.266 % |
184.09/184.16 c | 574689 | 7868 66731 221149 | 33951 33357 18 | 0.266 % |
184.29/184.34 c | 575201 | 7868 66731 221149 | 33951 33869 18 | 0.266 % |
184.69/184.76 c | 576225 | 7868 66731 221149 | 33951 30434 18 | 0.266 % |
185.39/185.43 c | 578274 | 7868 66731 221149 | 33951 32483 18 | 0.266 % |
186.69/186.74 c | 582371 | 7868 66731 221149 | 34209 32108 18 | 0.266 % |
186.79/186.90 c | 582885 | 7868 66731 221149 | 34209 32622 18 | 0.266 % |
186.99/187.06 c | 583398 | 7868 66731 221149 | 34209 33135 18 | 0.266 % |
187.39/187.47 c | 584424 | 7868 66731 221149 | 34209 34161 18 | 0.266 % |
187.59/187.66 c | 584937 | 7868 66731 221149 | 34209 30308 18 | 0.266 % |
187.79/187.86 c | 585450 | 7868 66731 221149 | 34209 30821 18 | 0.266 % |
188.19/188.27 c | 586476 | 7868 66731 221149 | 34209 31847 18 | 0.266 % |
188.99/189.03 c | 588524 | 7868 66731 221149 | 34209 33895 18 | 0.266 % |
189.09/189.18 c | 589039 | 7868 66731 221149 | 34209 34410 18 | 0.266 % |
189.39/189.43 c | 589552 | 7868 66731 221149 | 34209 30492 17 | 0.266 % |
189.69/189.73 c | 590578 | 7868 66731 221149 | 30940 27502 17 | 0.266 % |
189.79/189.89 c | 591091 | 7868 66731 221149 | 30940 28015 17 | 0.266 % |
189.99/190.03 c | 591603 | 7868 66731 221149 | 30940 28527 17 | 0.266 % |
190.29/190.34 c | 592630 | 7868 66731 221149 | 30940 29554 17 | 0.266 % |
190.89/190.93 c | 594681 | 7868 66731 221149 | 30940 31605 18 | 0.266 % |
192.09/192.16 c | 598777 | 7868 66731 221149 | 30940 28451 17 | 0.266 % |
194.99/195.10 c | 606969 | 7868 66731 221149 | 29674 29959 17 | 0.266 % |
200.29/200.38 c | 623356 | 7868 66731 221149 | 2147483647 29372 18 | 0.266 % |
200.49/200.54 c | 623868 | 7868 66731 221149 | 2147483647 29884 18 | 0.266 % |
200.69/200.72 c | 624381 | 7868 66731 221149 | 2147483647 30397 18 | 0.266 % |
200.89/200.97 c | 625405 | 7868 66731 221149 | 2147483647 31421 18 | 0.266 % |
201.09/201.12 c | 625917 | 7868 66731 221149 | 2147483647 31933 18 | 0.266 % |
201.19/201.28 c | 626429 | 7868 66731 221149 | 2147483647 32445 18 | 0.266 % |
201.59/201.66 c | 627453 | 7868 66731 221149 | 2147483647 33469 18 | 0.266 % |
202.39/202.42 c | 629502 | 7868 66731 221149 | 2147483647 35518 19 | 0.266 % |
202.49/202.55 c | 630014 | 7868 66731 221149 | 2147483647 36030 19 | 0.266 % |
202.59/202.71 c | 630526 | 7868 66731 221149 | 2147483647 36542 19 | 0.266 % |
203.09/203.14 c | 631550 | 7868 66731 221149 | 2147483647 37566 19 | 0.266 % |
203.19/203.29 c | 632062 | 7868 66731 221149 | 2147483647 38078 19 | 0.266 % |
203.39/203.47 c | 632579 | 7868 66731 221149 | 2147483647 38595 19 | 0.266 % |
203.79/203.89 c | 633604 | 7868 66731 221149 | 2147483647 39620 19 | 0.266 % |
204.70/204.78 c | 635653 | 7868 66731 221149 | 2147483647 41669 19 | 0.266 % |
206.59/206.62 c | 639749 | 7868 66731 221149 | 2147483647 45765 19 | 0.266 % |
206.79/206.84 c | 640262 | 7868 66731 221149 | 46016 46278 19 | 0.266 % |
207.09/207.11 c | 640776 | 7868 66731 221149 | 46016 39285 19 | 0.266 % |
207.39/207.51 c | 641801 | 7868 66731 221149 | 46016 40310 19 | 0.266 % |
207.59/207.67 c | 642317 | 7868 66731 221149 | 46016 40826 19 | 0.266 % |
207.79/207.88 c | 642830 | 7868 66731 221149 | 46016 41339 19 | 0.266 % |
208.19/208.23 c | 643854 | 7868 66731 221149 | 46016 42363 19 | 0.266 % |
208.89/209.00 c | 645902 | 7868 66731 221149 | 46016 44411 19 | 0.266 % |
209.19/209.27 c | 646416 | 7868 66731 221149 | 46016 44925 19 | 0.266 % |
209.49/209.52 c | 646929 | 7868 66731 221149 | 46016 45438 19 | 0.266 % |
210.09/210.19 c | 647954 | 7868 66731 221149 | 46016 38349 18 | 0.266 % |
210.29/210.37 c | 648466 | 7868 66731 221149 | 46016 38861 18 | 0.266 % |
210.59/210.66 c | 648979 | 7868 66731 221149 | 46016 39374 18 | 0.266 % |
211.09/211.17 c | 650006 | 7868 66731 221149 | 40395 40401 18 | 0.266 % |
211.79/211.88 c | 652055 | 7868 66731 221149 | 40395 35424 18 | 0.266 % |
213.29/213.39 c | 656151 | 7868 66731 221149 | 40395 39520 19 | 0.266 % |
216.99/217.04 c | 664347 | 7868 66731 221149 | 36487 34543 18 | 0.266 % |
217.19/217.27 c | 664859 | 7868 66731 221149 | 36487 35055 18 | 0.266 % |
217.39/217.46 c | 665373 | 7868 66731 221149 | 36487 35569 18 | 0.266 % |
217.79/217.87 c | 666398 | 7868 66731 221149 | 36487 36594 18 | 0.266 % |
217.99/218.07 c | 666913 | 7868 66731 221149 | 36487 31330 18 | 0.266 % |
218.09/218.20 c | 667425 | 7868 66731 221149 | 36487 31842 18 | 0.266 % |
218.49/218.53 c | 668451 | 7868 66731 221149 | 36487 32868 18 | 0.266 % |
219.19/219.24 c | 670500 | 7868 66731 221149 | 34418 34917 18 | 0.266 % |
219.39/219.45 c | 671012 | 7868 66731 221149 | 34418 30203 18 | 0.266 % |
219.59/219.65 c | 671524 | 7868 66731 221149 | 34418 30715 18 | 0.266 % |
219.99/220.08 c | 672548 | 7868 66731 221149 | 34418 31739 18 | 0.266 % |
220.19/220.31 c | 673060 | 7868 66731 221149 | 34418 32251 18 | 0.266 % |
220.49/220.53 c | 673572 | 7868 66731 221149 | 34418 32763 18 | 0.266 % |
220.79/220.86 c | 674596 | 7868 66731 221149 | 34418 33787 18 | 0.266 % |
221.59/221.63 c | 676646 | 7868 66731 221149 | 34418 30590 18 | 0.266 % |
223.09/223.14 c | 680744 | 7868 66731 221149 | 33945 29705 18 | 0.266 % |
223.29/223.34 c | 681258 | 7868 66731 221149 | 33945 30219 18 | 0.266 % |
223.40/223.51 c | 681773 | 7868 66731 221149 | 33945 30734 18 | 0.266 % |
223.69/223.77 c | 682799 | 7867 66728 221143 | 33945 31746 18 | 0.279 % |
223.89/223.93 c | 683311 | 7867 66728 221143 | 33945 32258 18 | 0.279 % |
224.09/224.11 c | 683824 | 7867 66728 221143 | 33945 32771 18 | 0.279 % |
224.39/224.47 c | 684848 | 7867 66728 221143 | 33945 33795 18 | 0.279 % |
225.09/225.17 c | 686902 | 7867 66728 221143 | 33945 31304 18 | 0.279 % |
225.29/225.36 c | 687416 | 7867 66728 221143 | 33945 31818 18 | 0.279 % |
225.49/225.56 c | 687930 | 7867 66728 221143 | 33945 32332 18 | 0.279 % |
225.79/225.90 c | 688956 | 7867 66728 221143 | 33945 33358 18 | 0.279 % |
225.99/226.06 c | 689468 | 7867 66728 221143 | 33945 33870 18 | 0.279 % |
226.19/226.30 c | 689981 | 7867 66728 221143 | 33945 30028 18 | 0.279 % |
226.59/226.65 c | 691005 | 7867 66728 221143 | 30048 27218 18 | 0.279 % |
227.19/227.27 c | 693055 | 7867 66728 221143 | 30048 29268 18 | 0.279 % |
228.59/228.70 c | 697151 | 7867 66728 221143 | 30048 30245 18 | 0.279 % |
231.69/231.76 c | 705344 | 7867 66728 221143 | 30038 28647 18 | 0.279 % |
238.19/238.29 c | 721731 | 7867 66728 221143 | 28653 27021 17 | 0.279 % |
250.80/250.82 c | 754500 | 7859 66591 220757 | 33878 29918 19 | 0.380 % |
250.90/250.99 c | 755012 | 7859 66485 220443 | 33878 30426 19 | 0.380 % |
251.00/251.08 c | 755524 | 7859 66485 220443 | 33878 30938 19 | 0.380 % |
251.20/251.30 c | 756549 | 7859 66485 220443 | 33878 31963 19 | 0.380 % |
251.40/251.50 c | 757061 | 7859 66485 220443 | 33878 32475 19 | 0.380 % |
251.60/251.65 c | 757573 | 7859 66485 220443 | 33878 32987 19 | 0.380 % |
251.80/251.88 c | 758597 | 7859 66485 220443 | 33878 34011 19 | 0.380 % |
252.50/252.59 c | 760645 | 7859 66485 220443 | 30693 27179 18 | 0.380 % |
252.60/252.69 c | 761157 | 7859 66485 220443 | 30693 27691 18 | 0.380 % |
252.70/252.79 c | 761673 | 7859 66485 220443 | 30693 28207 18 | 0.380 % |
253.00/253.07 c | 762698 | 7859 66485 220443 | 30693 29232 18 | 0.380 % |
253.20/253.23 c | 763210 | 7859 66485 220443 | 30693 29744 19 | 0.380 % |
253.30/253.39 c | 763722 | 7859 66485 220443 | 30693 30256 19 | 0.380 % |
253.70/253.75 c | 764746 | 7859 66485 220443 | 30693 27348 18 | 0.380 % |
254.20/254.26 c | 766794 | 7859 66485 220443 | 30693 29396 18 | 0.380 % |
255.50/255.58 c | 770890 | 7859 66485 220443 | 28839 26274 17 | 0.380 % |
255.60/255.71 c | 771403 | 7859 66485 220443 | 28839 26787 17 | 0.380 % |
255.80/255.82 c | 771915 | 7859 66485 220443 | 28839 27299 17 | 0.380 % |
256.00/256.08 c | 772939 | 7859 66485 220443 | 28839 28323 17 | 0.380 % |
256.20/256.22 c | 773451 | 7859 66485 220443 | 28839 28835 17 | 0.380 % |
256.30/256.38 c | 773965 | 7859 66485 220443 | 28839 25937 17 | 0.380 % |
256.60/256.66 c | 774992 | 7859 66485 220443 | 28839 26964 17 | 0.380 % |
257.10/257.19 c | 777043 | 7859 66485 220443 | 28839 29015 18 | 0.380 % |
257.30/257.35 c | 777555 | 7859 66485 220443 | 28839 26359 17 | 0.380 % |
257.40/257.51 c | 778071 | 7859 66485 220443 | 28839 26875 17 | 0.380 % |
257.80/257.88 c | 779095 | 7858 66482 220437 | 28839 27897 17 | 0.393 % |
258.00/258.05 c | 779608 | 7858 66482 220437 | 28839 28410 17 | 0.393 % |
258.10/258.21 c | 780124 | 7858 66482 220437 | 28802 28926 17 | 0.393 % |
258.50/258.54 c | 781150 | 7858 66482 220437 | 28802 26753 17 | 0.393 % |
259.00/259.11 c | 783201 | 7858 66482 220437 | 28802 28804 17 | 0.393 % |
260.30/260.36 c | 787297 | 7858 66482 220437 | 28802 27073 17 | 0.393 % |
263.30/263.33 c | 795490 | 7858 66482 220437 | 2147483647 32365 17 | 0.393 % |
263.50/263.52 c | 796002 | 7858 66482 220437 | 2147483647 32877 17 | 0.393 % |
263.60/263.70 c | 796514 | 7858 66482 220437 | 2147483647 33389 17 | 0.393 % |
263.90/264.00 c | 797538 | 7858 66482 220437 | 2147483647 34413 18 | 0.393 % |
264.10/264.18 c | 798050 | 7858 66482 220437 | 2147483647 34925 18 | 0.393 % |
264.40/264.42 c | 798563 | 7857 66479 220431 | 2147483647 35437 18 | 0.406 % |
264.80/264.82 c | 799588 | 7857 66479 220431 | 2147483647 36462 18 | 0.406 % |
265.60/265.70 c | 801637 | 7857 66479 220431 | 36874 34112 18 | 0.406 % |
265.80/265.84 c | 802150 | 7857 66479 220431 | 36874 34625 18 | 0.406 % |
265.90/266.01 c | 802663 | 7857 66479 220431 | 36874 35138 18 | 0.406 % |
266.20/266.30 c | 803687 | 7857 66479 220431 | 36874 36162 18 | 0.406 % |
266.50/266.57 c | 804199 | 7857 66479 220431 | 36874 36674 18 | 0.406 % |
266.70/266.80 c | 804715 | 7857 66479 220431 | 36874 37190 18 | 0.406 % |
267.10/267.20 c | 805742 | 7857 66479 220431 | 36874 33020 17 | 0.406 % |
268.00/268.11 c | 807792 | 7857 66479 220431 | 36874 35070 18 | 0.406 % |
269.50/269.60 c | 811888 | 7857 66479 220431 | 32174 29964 17 | 0.406 % |
269.70/269.75 c | 812402 | 7857 66479 220431 | 32174 30478 17 | 0.406 % |
269.80/269.88 c | 812914 | 7857 66479 220431 | 32174 30990 17 | 0.406 % |
270.10/270.17 c | 813939 | 7857 66479 220431 | 32174 32015 17 | 0.406 % |
270.30/270.39 c | 814451 | 7857 66479 220431 | 32174 28675 17 | 0.406 % |
270.50/270.52 c | 814963 | 7857 66479 220431 | 32174 29187 17 | 0.406 % |
270.70/270.79 c | 815987 | 7857 66479 220431 | 32174 30211 17 | 0.406 % |
271.40/271.46 c | 818035 | 7857 66479 220431 | 32174 32259 18 | 0.406 % |
271.60/271.68 c | 818547 | 7853 66467 220407 | 32174 29077 17 | 0.456 % |
271.70/271.79 c | 819060 | 7853 66467 220407 | 32174 29590 17 | 0.456 % |
272.10/272.17 c | 820086 | 7853 66467 220407 | 30530 30616 18 | 0.456 % |
272.30/272.33 c | 820600 | 7853 66467 220407 | 30530 27609 17 | 0.456 % |
272.40/272.47 c | 821112 | 7853 66467 220407 | 30530 28121 17 | 0.456 % |
272.70/272.77 c | 822139 | 7853 66467 220407 | 30530 29148 17 | 0.456 % |
273.40/273.45 c | 824187 | 7853 66467 220407 | 30530 31196 18 | 0.456 % |
274.80/274.82 c | 828283 | 7853 66467 220407 | 30530 29091 18 | 0.456 % |
278.30/278.36 c | 836475 | 7853 66467 220407 | 2147483647 37283 18 | 0.456 % |
286.70/286.74 c | 852859 | 7853 66467 220407 | 38462 34870 18 | 0.456 % |
286.90/286.92 c | 853371 | 7853 66467 220407 | 38462 35382 18 | 0.456 % |
287.10/287.16 c | 853883 | 7853 66467 220407 | 38462 35894 18 | 0.456 % |
287.40/287.49 c | 854909 | 7853 66467 220407 | 38462 36920 19 | 0.456 % |
287.60/287.71 c | 855421 | 7853 66467 220407 | 38462 37432 19 | 0.456 % |
287.80/287.88 c | 855933 | 7853 66467 220407 | 38462 37944 19 | 0.456 % |
288.20/288.26 c | 856958 | 7853 66467 220407 | 38462 38969 19 | 0.456 % |
289.00/289.10 c | 859006 | 7853 66467 220407 | 38462 35079 18 | 0.456 % |
289.20/289.29 c | 859520 | 7853 66467 220407 | 38462 35593 18 | 0.456 % |
289.40/289.44 c | 860032 | 7853 66467 220407 | 36076 36105 18 | 0.456 % |
289.70/289.79 c | 861056 | 7853 66467 220407 | 36076 31590 17 | 0.456 % |
289.90/289.92 c | 861569 | 7853 66467 220407 | 36076 32103 18 | 0.456 % |
290.00/290.05 c | 862081 | 7853 66467 220407 | 36076 32615 18 | 0.456 % |
290.30/290.41 c | 863106 | 7853 66467 220407 | 36076 33640 18 | 0.456 % |
291.20/291.25 c | 865154 | 7853 66467 220407 | 36076 35688 18 | 0.456 % |
292.60/292.69 c | 869253 | 7853 66467 220407 | 36076 34233 18 | 0.456 % |
292.80/292.87 c | 869765 | 7853 66467 220407 | 36076 34745 18 | 0.456 % |
293.00/293.04 c | 870279 | 7853 66467 220407 | 34982 35259 18 | 0.456 % |
293.30/293.39 c | 871303 | 7853 66467 220407 | 34982 30947 17 | 0.456 % |
293.50/293.60 c | 871815 | 7853 66467 220407 | 34982 31459 18 | 0.456 % |
293.70/293.79 c | 872329 | 7853 66467 220407 | 34982 31973 18 | 0.456 % |
294.00/294.08 c | 873354 | 7853 66467 220407 | 34982 32998 18 | 0.456 % |
294.70/294.74 c | 875402 | 7853 66467 220407 | 34982 35046 18 | 0.456 % |
294.80/294.91 c | 875915 | 7853 66467 220407 | 34982 30494 18 | 0.456 % |
295.00/295.06 c | 876428 | 7853 66467 220407 | 34982 31007 18 | 0.456 % |
295.30/295.38 c | 877453 | 7853 66467 220407 | 34982 32032 18 | 0.456 % |
295.50/295.55 c | 877968 | 7853 66467 220407 | 34982 32547 18 | 0.456 % |
295.70/295.72 c | 878480 | 7853 66467 220407 | 34982 33059 18 | 0.456 % |
296.00/296.10 c | 879505 | 7853 66467 220407 | 34982 34084 18 | 0.456 % |
296.90/296.97 c | 881553 | 7853 66467 220407 | 34579 31191 18 | 0.456 % |
298.50/298.54 c | 885649 | 7853 66467 220407 | 34579 30174 18 | 0.456 % |
301.40/301.49 c | 893842 | 7852 66464 220401 | 34517 33972 18 | 0.469 % |
301.60/301.69 c | 894354 | 7852 66464 220401 | 34517 34484 18 | 0.469 % |
301.80/301.84 c | 894866 | 7852 66464 220401 | 34517 34996 18 | 0.469 % |
302.10/302.14 c | 895893 | 7852 66464 220401 | 34517 31707 17 | 0.469 % |
302.20/302.29 c | 896405 | 7852 66464 220401 | 34517 32219 17 | 0.469 % |
302.40/302.46 c | 896918 | 7852 66464 220401 | 34517 32732 17 | 0.469 % |
302.80/302.83 c | 897947 | 7852 66464 220401 | 34517 33761 18 | 0.469 % |
303.40/303.49 c | 899995 | 7852 66464 220401 | 34517 31256 17 | 0.469 % |
303.60/303.64 c | 900508 | 7852 66464 220401 | 31262 27564 17 | 0.469 % |
303.80/303.82 c | 901022 | 7852 66464 220401 | 31262 28078 17 | 0.469 % |
304.00/304.07 c | 902047 | 7852 66464 220401 | 31262 29103 17 | 0.469 % |
304.20/304.21 c | 902559 | 7852 66464 220401 | 31262 29615 17 | 0.469 % |
304.30/304.39 c | 903071 | 7852 66464 220401 | 31262 30127 17 | 0.469 % |
304.60/304.67 c | 904097 | 7852 66464 220401 | 31262 31153 17 | 0.469 % |
305.20/305.30 c | 906146 | 7852 66464 220401 | 31262 29270 17 | 0.469 % |
306.50/306.60 c | 910242 | 7852 66464 220401 | 29639 29881 17 | 0.469 % |
306.70/306.75 c | 910754 | 7852 66464 220401 | 29639 27405 17 | 0.469 % |
306.80/306.86 c | 911266 | 7852 66464 220401 | 29639 27917 17 | 0.469 % |
307.20/307.28 c | 912290 | 7852 66464 220401 | 29639 28941 17 | 0.469 % |
307.40/307.43 c | 912804 | 7852 66464 220401 | 29639 29455 17 | 0.469 % |
307.60/307.64 c | 913316 | 7852 66464 220401 | 29639 26978 17 | 0.469 % |
307.80/307.88 c | 914340 | 7852 66464 220401 | 29639 28002 17 | 0.469 % |
308.30/308.36 c | 916388 | 7852 66464 220401 | 29639 30050 18 | 0.469 % |
308.50/308.53 c | 916900 | 7852 66464 220401 | 29639 27557 18 | 0.469 % |
308.60/308.67 c | 917412 | 7852 66464 220401 | 29639 28069 18 | 0.469 % |
308.90/309.00 c | 918437 | 7852 66464 220401 | 29639 29094 18 | 0.469 % |
309.10/309.15 c | 918949 | 7852 66464 220401 | 29639 29606 18 | 0.469 % |
309.30/309.35 c | 919463 | 7852 66464 220401 | 29639 27120 18 | 0.469 % |
309.59/309.66 c | 920487 | 7852 66464 220401 | 2147483647 28144 18 | 0.469 % |
310.09/310.19 c | 922538 | 7852 66464 220401 | 2147483647 30195 18 | 0.469 % |
311.40/311.50 c | 926635 | 7852 66464 220401 | 2147483647 34292 19 | 0.469 % |
314.79/314.84 c | 934827 | 7851 66461 220395 | 37654 38451 19 | 0.482 % |
321.49/321.52 c | 951211 | 7851 66461 220395 | 30297 27577 17 | 0.482 % |
334.39/334.41 c | 983980 | 7850 66458 220389 | 37831 36365 19 | 0.494 % |
360.40/360.43 c | 1049517 | 7845 66443 220359 | 28149 25660 18 | 0.558 % |
400.80/400.89 c | 1180590 | 7828 66360 220182 | 35747 31011 17 | 0.773 % |
401.00/401.06 c | 1181102 | 7827 66357 220176 | 35747 31521 17 | 0.786 % |
401.20/401.22 c | 1181615 | 7827 66357 220176 | 35747 32034 17 | 0.786 % |
401.40/401.50 c | 1182640 | 7827 66357 220176 | 35747 33059 17 | 0.786 % |
401.61/401.67 c | 1183156 | 7827 66357 220176 | 35747 33574 17 | 0.799 % |
401.70/401.80 c | 1183671 | 7827 66357 220176 | 35747 34089 17 | 0.799 % |
402.00/402.09 c | 1184695 | 7827 66357 220176 | 35747 35113 18 | 0.799 % |
402.60/402.70 c | 1186743 | 7825 66354 220170 | 35747 31781 18 | 0.811 % |
402.80/402.82 c | 1187255 | 7825 66354 220170 | 35747 32293 18 | 0.811 % |
402.90/402.97 c | 1187767 | 7825 66354 220170 | 35747 32805 18 | 0.811 % |
403.20/403.29 c | 1188794 | 7825 66354 220170 | 35747 33832 18 | 0.811 % |
403.40/403.45 c | 1189307 | 7825 66351 220164 | 35747 34339 18 | 0.811 % |
403.50/403.57 c | 1189820 | 7825 66351 220164 | 35747 34852 18 | 0.811 % |
403.90/403.91 c | 1190844 | 7825 66351 220164 | 35032 30735 18 | 0.811 % |
404.40/404.48 c | 1192892 | 7825 66351 220164 | 35032 32783 18 | 0.811 % |
405.60/405.66 c | 1196989 | 7825 66351 220164 | 35032 31680 17 | 0.811 % |
405.70/405.79 c | 1197501 | 7825 66351 220164 | 35032 32192 17 | 0.811 % |
405.90/405.95 c | 1198014 | 7825 66351 220164 | 35032 32705 17 | 0.811 % |
406.20/406.21 c | 1199038 | 7825 66351 220164 | 35032 33729 17 | 0.811 % |
406.30/406.37 c | 1199551 | 7825 66351 220164 | 35032 34242 18 | 0.811 % |
406.50/406.51 c | 1200065 | 7825 66351 220164 | 34691 34756 18 | 0.811 % |
406.80/406.81 c | 1201092 | 7825 66351 220164 | 34691 30584 17 | 0.811 % |
407.30/407.35 c | 1203141 | 7825 66351 220164 | 34691 32633 17 | 0.811 % |
407.40/407.49 c | 1203654 | 7825 66351 220164 | 34691 33146 17 | 0.811 % |
407.60/407.66 c | 1204166 | 7825 66351 220164 | 34691 33658 17 | 0.811 % |
407.90/407.91 c | 1205191 | 7825 66351 220164 | 34691 34683 18 | 0.811 % |
408.10/408.12 c | 1205706 | 7825 66351 220164 | 34691 35198 18 | 0.811 % |
408.21/408.26 c | 1206219 | 7825 66351 220164 | 34691 30924 17 | 0.811 % |
408.50/408.57 c | 1207244 | 7825 66351 220164 | 34691 31949 18 | 0.811 % |
409.31/409.32 c | 1209292 | 7825 66351 220164 | 34691 33997 18 | 0.811 % |
410.80/410.88 c | 1213388 | 7825 66351 220164 | 34705 33258 17 | 0.811 % |
413.60/413.61 c | 1221580 | 7825 66351 220164 | 31303 28928 16 | 0.811 % |
413.71/413.78 c | 1222092 | 7825 66351 220164 | 31303 29440 17 | 0.811 % |
413.90/413.93 c | 1222605 | 7825 66351 220164 | 31303 29953 17 | 0.811 % |
414.10/414.19 c | 1223629 | 7825 66351 220164 | 31303 30977 17 | 0.811 % |
414.30/414.36 c | 1224141 | 7825 66351 220164 | 31303 31489 17 | 0.811 % |
414.50/414.53 c | 1224653 | 7825 66351 220164 | 31303 28507 16 | 0.811 % |
414.60/414.70 c | 1225678 | 7825 66351 220164 | 31303 29532 17 | 0.811 % |
415.10/415.13 c | 1227728 | 7823 66345 220152 | 31303 31571 17 | 0.837 % |
415.20/415.22 c | 1228240 | 7823 66345 220152 | 31303 28888 16 | 0.837 % |
415.30/415.31 c | 1228753 | 7823 66345 220152 | 31303 29401 16 | 0.837 % |
415.50/415.57 c | 1229778 | 7823 66345 220152 | 31303 30426 16 | 0.837 % |
415.70/415.71 c | 1230290 | 7823 66345 220152 | 2147483647 30938 16 | 0.837 % |
415.80/415.81 c | 1230802 | 7823 66345 220152 | 2147483647 31450 16 | 0.837 % |
416.00/416.06 c | 1231826 | 7823 66345 220152 | 2147483647 32474 17 | 0.837 % |
416.60/416.60 c | 1233874 | 7823 66345 220152 | 2147483647 34522 17 | 0.837 % |
418.00/418.05 c | 1237971 | 7823 66345 220152 | 2147483647 38619 17 | 0.837 % |
418.20/418.21 c | 1238484 | 7823 66345 220152 | 2147483647 39132 17 | 0.837 % |
418.30/418.32 c | 1238997 | 7823 66345 220152 | 2147483647 39645 17 | 0.837 % |
418.50/418.54 c | 1240022 | 7823 66345 220152 | 40651 40670 17 | 0.837 % |
418.70/418.73 c | 1240536 | 7823 66345 220152 | 40651 36117 17 | 0.837 % |
418.90/418.91 c | 1241048 | 7823 66345 220152 | 40651 36629 17 | 0.837 % |
419.21/419.26 c | 1242072 | 7821 66339 220140 | 40651 37645 17 | 0.862 % |
420.00/420.08 c | 1244121 | 7821 66339 220140 | 40651 39694 17 | 0.862 % |
420.20/420.30 c | 1244634 | 7821 66339 220140 | 40651 40207 17 | 0.862 % |
420.50/420.52 c | 1245146 | 7821 66339 220140 | 40651 40719 18 | 0.862 % |
420.90/420.96 c | 1246171 | 7821 66339 220140 | 40651 35484 17 | 0.862 % |
421.10/421.12 c | 1246684 | 7821 66339 220140 | 40651 35997 17 | 0.862 % |
421.20/421.25 c | 1247196 | 7821 66339 220140 | 40651 36509 17 | 0.862 % |
421.50/421.54 c | 1248220 | 7821 66339 220140 | 40651 37533 17 | 0.862 % |
422.30/422.39 c | 1250268 | 7821 66339 220140 | 39313 33449 17 | 0.862 % |
423.61/423.69 c | 1254364 | 7821 66339 220140 | 39313 37545 17 | 0.862 % |
426.50/426.60 c | 1262556 | 7820 66336 220134 | 37041 33579 16 | 0.875 % |
432.50/432.54 c | 1278940 | 7820 66336 220134 | 34976 32672 16 | 0.875 % |
432.70/432.70 c | 1279454 | 7820 66336 220134 | 34976 33186 16 | 0.875 % |
432.80/432.85 c | 1279966 | 7820 66336 220134 | 34976 33698 16 | 0.875 % |
433.10/433.13 c | 1280990 | 7820 66336 220134 | 33733 29337 16 | 0.875 % |
433.20/433.27 c | 1281502 | 7820 66336 220134 | 33733 29849 16 | 0.875 % |
433.40/433.45 c | 1282014 | 7817 66327 220116 | 33733 30355 16 | 0.913 % |
433.60/433.69 c | 1283040 | 7817 66327 220116 | 33733 31381 17 | 0.913 % |
434.30/434.39 c | 1285089 | 7817 66327 220116 | 33733 33430 17 | 0.913 % |
434.50/434.51 c | 1285601 | 7817 66327 220116 | 33733 33942 17 | 0.913 % |
434.61/434.68 c | 1286114 | 7817 66327 220116 | 33733 29052 17 | 0.913 % |
434.80/434.88 c | 1287140 | 7817 66327 220116 | 33733 30078 17 | 0.913 % |
435.00/435.02 c | 1287652 | 7817 66327 220116 | 33733 30590 17 | 0.913 % |
435.10/435.12 c | 1288164 | 7817 66327 220116 | 33733 31102 17 | 0.913 % |
435.40/435.42 c | 1289189 | 7817 66327 220116 | 33733 32127 17 | 0.913 % |
436.00/436.05 c | 1291237 | 7817 66327 220116 | 32938 29224 17 | 0.913 % |
437.10/437.12 c | 1295337 | 7817 66327 220116 | 32938 33324 17 | 0.913 % |
437.20/437.23 c | 1295849 | 7817 66327 220116 | 32938 30055 17 | 0.913 % |
437.40/437.41 c | 1296361 | 7817 66327 220116 | 32938 30567 17 | 0.913 % |
437.60/437.69 c | 1297386 | 7817 66327 220116 | 32938 31592 17 | 0.913 % |
437.80/437.84 c | 1297899 | 7817 66327 220116 | 32938 32105 17 | 0.913 % |
438.00/438.00 c | 1298411 | 7817 66327 220116 | 32938 32617 17 | 0.913 % |
438.20/438.29 c | 1299436 | 7817 66327 220116 | 32938 29971 17 | 0.913 % |
438.80/438.85 c | 1301484 | 7817 66327 220116 | 30536 28750 17 | 0.913 % |
438.90/439.01 c | 1301996 | 7817 66327 220116 | 30536 29262 17 | 0.913 % |
439.10/439.13 c | 1302508 | 7817 66327 220116 | 30536 29774 18 | 0.913 % |
439.40/439.44 c | 1303534 | 7817 66327 220116 | 30536 30800 18 | 0.913 % |
439.50/439.59 c | 1304046 | 7817 66327 220116 | 30536 28232 17 | 0.913 % |
439.70/439.77 c | 1304558 | 7817 66327 220116 | 30536 28744 17 | 0.913 % |
440.00/440.00 c | 1305583 | 7817 66327 220116 | 30536 29769 18 | 0.913 % |
440.60/440.60 c | 1307631 | 7816 66324 220110 | 30536 28617 18 | 0.925 % |
441.91/441.95 c | 1311729 | 7816 66324 220110 | 27430 25813 18 | 0.925 % |
444.32/444.37 c | 1319921 | 7816 66324 220110 | 27430 25503 18 | 0.925 % |
444.42/444.51 c | 1320433 | 7816 66324 220110 | 2147483647 26015 18 | 0.925 % |
444.62/444.65 c | 1320945 | 7816 66324 220110 | 2147483647 26527 18 | 0.925 % |
444.82/444.91 c | 1321969 | 7816 66324 220110 | 2147483647 27551 18 | 0.925 % |
445.02/445.04 c | 1322482 | 7816 66324 220110 | 2147483647 28064 18 | 0.925 % |
445.12/445.20 c | 1322995 | 7816 66324 220110 | 2147483647 28577 18 | 0.925 % |
445.52/445.53 c | 1324019 | 7816 66324 220110 | 2147483647 29601 18 | 0.925 % |
445.92/446.02 c | 1326067 | 7816 66324 220110 | 2147483647 31649 19 | 0.925 % |
446.12/446.17 c | 1326579 | 7816 66324 220110 | 2147483647 32161 19 | 0.925 % |
446.32/446.35 c | 1327091 | 7816 66324 220110 | 2147483647 32673 19 | 0.925 % |
446.52/446.61 c | 1328119 | 7816 66324 220110 | 2147483647 33701 19 | 0.925 % |
446.72/446.78 c | 1328631 | 7816 66324 220110 | 2147483647 34213 19 | 0.925 % |
446.92/446.92 c | 1329143 | 7816 66324 220110 | 2147483647 34725 19 | 0.925 % |
447.12/447.21 c | 1330167 | 7816 66324 220110 | 35583 35749 19 | 0.925 % |
447.92/447.96 c | 1332215 | 7816 66324 220110 | 35583 33664 18 | 0.925 % |
449.22/449.27 c | 1336312 | 7815 66321 220104 | 35583 32722 18 | 0.938 % |
449.42/449.42 c | 1336824 | 7815 66321 220104 | 35583 33234 18 | 0.938 % |
449.52/449.55 c | 1337336 | 7815 66321 220104 | 35583 33746 18 | 0.938 % |
449.82/449.86 c | 1338363 | 7815 66321 220104 | 35583 34773 18 | 0.938 % |
449.92/450.00 c | 1338875 | 7815 66321 220104 | 35583 35285 18 | 0.938 % |
450.12/450.16 c | 1339387 | 7815 66321 220104 | 35583 35797 18 | 0.938 % |
450.42/450.46 c | 1340413 | 7815 66321 220104 | 31252 27246 17 | 0.938 % |
450.82/450.91 c | 1342462 | 7815 66321 220104 | 31252 29295 17 | 0.938 % |
451.02/451.02 c | 1342974 | 7815 66321 220104 | 31252 29807 17 | 0.938 % |
451.12/451.13 c | 1343488 | 7815 66321 220104 | 31252 30321 17 | 0.938 % |
451.32/451.41 c | 1344512 | 7815 66321 220104 | 31252 31345 17 | 0.938 % |
451.52/451.61 c | 1345024 | 7813 66315 220092 | 31252 28237 17 | 0.963 % |
451.72/451.80 c | 1345538 | 7813 66315 220092 | 31252 28751 17 | 0.963 % |
452.02/452.04 c | 1346562 | 7813 66315 220092 | 31252 29775 17 | 0.963 % |
452.62/452.71 c | 1348611 | 7813 66315 220092 | 31252 28176 17 | 0.963 % |
453.92/454.00 c | 1352707 | 7812 66312 220086 | 29567 28908 17 | 0.976 % |
456.32/456.34 c | 1360901 | 7812 66312 220086 | 2147483647 28145 17 | 0.976 % |
461.42/461.50 c | 1377285 | 7812 66312 220086 | 37246 34480 19 | 0.976 % |
472.82/472.86 c | 1410053 | 7811 66309 220080 | 31518 31569 20 | 1.001 % |
472.92/473.00 c | 1410565 | 7810 66306 220074 | 31518 27891 20 | 1.001 % |
473.12/473.14 c | 1411077 | 7810 66306 220074 | 31518 28403 20 | 1.001 % |
473.32/473.39 c | 1412101 | 7810 66306 220074 | 31518 29427 20 | 1.001 % |
473.42/473.50 c | 1412613 | 7810 66306 220074 | 31518 29939 20 | 1.001 % |
473.52/473.61 c | 1413130 | 7809 66306 220074 | 31518 30455 20 | 1.014 % |
473.82/473.87 c | 1414155 | 7809 66306 220074 | 31518 31480 20 | 1.014 % |
474.32/474.40 c | 1416203 | 7809 66306 220074 | 31518 29736 20 | 1.014 % |
474.52/474.53 c | 1416715 | 7808 66303 220068 | 31518 30246 20 | 1.039 % |
474.62/474.67 c | 1417227 | 7808 66303 220068 | 31518 30758 20 | 1.039 % |
474.82/474.89 c | 1418252 | 7808 66303 220068 | 31518 31783 20 | 1.039 % |
475.02/475.03 c | 1418764 | 7808 66303 220068 | 31518 28662 19 | 1.039 % |
475.12/475.14 c | 1419276 | 7808 66303 220068 | 31518 29174 19 | 1.039 % |
475.32/475.41 c | 1420302 | 7808 66303 220068 | 29898 30200 19 | 1.039 % |
475.82/475.87 c | 1422350 | 7808 66303 220068 | 29898 28733 18 | 1.039 % |
477.02/477.04 c | 1426446 | 7807 66297 220056 | 29898 29714 18 | 1.039 % |
477.12/477.15 c | 1426958 | 7807 66297 220056 | 29898 30226 18 | 1.039 % |
477.22/477.28 c | 1427473 | 7807 66297 220056 | 29898 27719 18 | 1.039 % |
477.52/477.52 c | 1428497 | 7806 66294 220050 | 29898 28739 18 | 1.052 % |
477.62/477.64 c | 1429010 | 7806 66294 220050 | 29898 29252 18 | 1.052 % |
477.72/477.78 c | 1429524 | 7806 66294 220050 | 29898 29766 18 | 1.052 % |
478.02/478.05 c | 1430548 | 7806 66294 220050 | 2147483647 27778 18 | 1.052 % |
478.52/478.55 c | 1432597 | 7806 66294 220050 | 2147483647 29827 18 | 1.052 % |
478.62/478.68 c | 1433109 | 7806 66294 220050 | 2147483647 30339 18 | 1.052 % |
478.72/478.79 c | 1433621 | 7806 66294 220050 | 2147483647 30851 18 | 1.052 % |
478.92/478.99 c | 1434645 | 7806 66294 220050 | 2147483647 31875 18 | 1.052 % |
479.12/479.12 c | 1435158 | 7806 66294 220050 | 2147483647 32388 18 | 1.052 % |
479.22/479.26 c | 1435670 | 7805 66291 220044 | 2147483647 32899 18 | 1.065 % |
479.52/479.59 c | 1436696 | 7805 66291 220044 | 2147483647 33925 18 | 1.065 % |
480.32/480.36 c | 1438745 | 7805 66291 220044 | 2147483647 35974 18 | 1.065 % |
482.02/482.05 c | 1442841 | 7805 66291 220044 | 37229 35500 18 | 1.065 % |
484.92/484.97 c | 1451033 | 7805 66291 220044 | 37444 32947 18 | 1.065 % |
485.12/485.12 c | 1451546 | 7805 66291 220044 | 37444 33460 18 | 1.065 % |
485.22/485.30 c | 1452058 | 7805 66291 220044 | 37444 33972 18 | 1.065 % |
485.52/485.61 c | 1453085 | 7805 66291 220044 | 37444 34999 18 | 1.065 % |
485.72/485.74 c | 1453597 | 7805 66291 220044 | 37444 35511 18 | 1.065 % |
485.92/485.94 c | 1454111 | 7805 66291 220044 | 37444 36025 18 | 1.065 % |
486.22/486.22 c | 1455137 | 7805 66291 220044 | 37444 37051 18 | 1.065 % |
486.82/486.87 c | 1457186 | 7805 66291 220044 | 37444 33132 17 | 1.065 % |
487.02/487.03 c | 1457698 | 7805 66291 220044 | 37444 33644 17 | 1.065 % |
487.12/487.15 c | 1458211 | 7805 66291 220044 | 37444 34157 17 | 1.065 % |
487.42/487.47 c | 1459236 | 7805 66291 220044 | 37444 35182 17 | 1.065 % |
487.52/487.59 c | 1459750 | 7805 66291 220044 | 37444 35696 17 | 1.065 % |
487.72/487.73 c | 1460262 | 7805 66291 220044 | 35946 36208 17 | 1.065 % |
488.02/488.06 c | 1461287 | 7805 66291 220044 | 35946 31646 17 | 1.065 % |
488.52/488.56 c | 1463336 | 7805 66291 220044 | 35946 33695 17 | 1.065 % |
489.72/489.75 c | 1467432 | 7805 66291 220044 | 35946 32093 17 | 1.065 % |
489.82/489.89 c | 1467945 | 7805 66291 220044 | 35946 32606 17 | 1.065 % |
490.02/490.02 c | 1468458 | 7805 66291 220044 | 35946 33119 17 | 1.065 % |
490.22/490.24 c | 1469482 | 7805 66291 220044 | 35946 34143 17 | 1.065 % |
490.42/490.43 c | 1469997 | 7805 66291 220044 | 35946 34658 17 | 1.065 % |
490.62/490.64 c | 1470511 | 7805 66291 220044 | 34661 29740 16 | 1.065 % |
490.82/490.86 c | 1471536 | 7805 66291 220044 | 34661 30765 17 | 1.065 % |
491.42/491.44 c | 1473584 | 7805 66291 220044 | 34661 32813 17 | 1.065 % |
491.52/491.53 c | 1474097 | 7805 66291 220044 | 34661 33326 17 | 1.065 % |
491.62/491.70 c | 1474609 | 7805 66291 220044 | 34661 33838 17 | 1.065 % |
491.92/491.93 c | 1475634 | 7805 66291 220044 | 34661 34863 17 | 1.065 % |
492.02/492.11 c | 1476146 | 7805 66291 220044 | 34661 30494 17 | 1.065 % |
492.22/492.24 c | 1476659 | 7805 66291 220044 | 34661 31007 17 | 1.065 % |
492.52/492.52 c | 1477683 | 7805 66291 220044 | 34661 32031 17 | 1.065 % |
493.02/493.09 c | 1479732 | 7805 66291 220044 | 34661 34080 17 | 1.065 % |
494.22/494.31 c | 1483829 | 7805 66291 220044 | 34349 33340 17 | 1.065 % |
497.02/497.04 c | 1492021 | 7805 66291 220044 | 29965 27880 17 | 1.065 % |
502.02/502.06 c | 1508405 | 7805 66291 220044 | 28461 26658 16 | 1.065 % |
502.12/502.19 c | 1508918 | 7805 66291 220044 | 28461 27171 16 | 1.065 % |
502.32/502.35 c | 1509430 | 7805 66291 220044 | 28461 27683 16 | 1.065 % |
502.52/502.56 c | 1510454 | 7805 66291 220044 | 28253 25701 16 | 1.065 % |
502.62/502.68 c | 1510967 | 7805 66291 220044 | 28253 26214 16 | 1.065 % |
502.72/502.81 c | 1511479 | 7805 66291 220044 | 28253 26726 16 | 1.065 % |
503.02/503.06 c | 1512505 | 7804 66288 220038 | 28253 27750 16 | 1.077 % |
503.62/503.69 c | 1514553 | 7804 66288 220038 | 28253 26806 16 | 1.077 % |
503.72/503.80 c | 1515065 | 7804 66288 220038 | 28253 27318 16 | 1.077 % |
503.93/503.93 c | 1515577 | 7804 66288 220038 | 28253 27830 17 | 1.077 % |
504.12/504.21 c | 1516601 | 7804 66288 220038 | 28253 25709 16 | 1.077 % |
504.32/504.35 c | 1517114 | 7804 66288 220038 | 28253 26222 16 | 1.077 % |
504.42/504.47 c | 1517626 | 7804 66288 220038 | 28253 26734 16 | 1.077 % |
504.62/504.70 c | 1518650 | 7804 66288 220038 | 28253 27758 17 | 1.077 % |
505.22/505.27 c | 1520701 | 7804 66288 220038 | 26100 24150 16 | 1.077 % |
506.42/506.44 c | 1524797 | 7804 66288 220038 | 26100 25609 16 | 1.077 % |
506.52/506.53 c | 1525309 | 7804 66288 220038 | 26100 26121 17 | 1.077 % |
506.62/506.64 c | 1525824 | 7804 66288 220038 | 26100 23988 16 | 1.077 % |
506.72/506.81 c | 1526848 | 7804 66288 220038 | 26100 25012 16 | 1.077 % |
506.92/506.93 c | 1527360 | 7804 66288 220038 | 26100 25524 16 | 1.077 % |
507.02/507.04 c | 1527873 | 7804 66288 220038 | 26100 26037 16 | 1.077 % |
507.32/507.34 c | 1528898 | 7804 66288 220038 | 26100 24414 16 | 1.077 % |
507.62/507.69 c | 1530946 | 7804 66288 220038 | 2147483647 26462 17 | 1.077 % |
507.72/507.81 c | 1531458 | 7804 66288 220038 | 2147483647 26974 17 | 1.077 % |
507.92/507.92 c | 1531971 | 7804 66288 220038 | 2147483647 27487 17 | 1.077 % |
508.12/508.17 c | 1532996 | 7804 66288 220038 | 2147483647 28512 17 | 1.077 % |
508.22/508.27 c | 1533508 | 7804 66288 220038 | 2147483647 29024 17 | 1.077 % |
508.33/508.39 c | 1534020 | 7804 66288 220038 | 2147483647 29536 17 | 1.077 % |
508.62/508.64 c | 1535046 | 7796 66264 219990 | 2147483647 30516 17 | 1.179 % |
509.02/509.11 c | 1537095 | 7796 66264 219990 | 2147483647 32565 18 | 1.179 % |
510.12/510.21 c | 1541191 | 7796 66264 219990 | 2147483647 36661 18 | 1.179 % |
513.52/513.59 c | 1549383 | 7796 66264 219990 | 2147483647 44853 19 | 1.179 % |
513.72/513.79 c | 1549896 | 7796 66264 219990 | 2147483647 45366 19 | 1.179 % |
514.02/514.03 c | 1550409 | 7796 66264 219990 | 45470 45879 19 | 1.179 % |
514.42/514.46 c | 1551433 | 7796 66264 219990 | 45470 38780 18 | 1.179 % |
514.62/514.64 c | 1551945 | 7796 66264 219990 | 45470 39292 18 | 1.179 % |
514.72/514.80 c | 1552462 | 7796 66264 219990 | 45470 39809 18 | 1.179 % |
515.02/515.09 c | 1553487 | 7795 66261 219984 | 45470 40833 19 | 1.192 % |
515.92/515.92 c | 1555535 | 7795 66261 219984 | 45470 42881 19 | 1.192 % |
516.12/516.15 c | 1556047 | 7795 66261 219984 | 45470 43393 19 | 1.192 % |
516.32/516.37 c | 1556562 | 7795 66261 219984 | 45470 43908 19 | 1.192 % |
516.72/516.75 c | 1557586 | 7795 66261 219984 | 45470 44932 19 | 1.192 % |
516.92/516.96 c | 1558099 | 7795 66261 219984 | 45470 45445 19 | 1.192 % |
517.13/517.18 c | 1558613 | 7794 66258 219978 | 45470 36789 19 | 1.204 % |
517.42/517.48 c | 1559638 | 7794 66258 219978 | 45470 37814 19 | 1.204 % |
518.23/518.24 c | 1561688 | 7794 66258 219978 | 38176 32181 18 | 1.204 % |
519.62/519.67 c | 1565786 | 7794 66258 219978 | 38176 36279 18 | 1.204 % |
519.72/519.78 c | 1566298 | 7794 66258 219978 | 38176 36791 18 | 1.204 % |
519.82/519.91 c | 1566810 | 7794 66258 219978 | 38176 37303 18 | 1.204 % |
520.22/520.22 c | 1567834 | 7794 66258 219978 | 38176 38327 18 | 1.204 % |
520.32/520.36 c | 1568346 | 7794 66258 219978 | 38176 32144 17 | 1.204 % |
520.43/520.50 c | 1568859 | 7794 66258 219978 | 38176 32657 17 | 1.204 % |
520.72/520.76 c | 1569884 | 7794 66258 219978 | 38176 33682 18 | 1.204 % |
521.32/521.33 c | 1571932 | 7794 66258 219978 | 33798 29709 17 | 1.204 % |
521.53/521.52 c | 1572445 | 7794 66258 219978 | 33798 30222 17 | 1.204 % |
521.62/521.69 c | 1572958 | 7794 66258 219978 | 33798 30735 17 | 1.204 % |
522.02/522.03 c | 1573987 | 7794 66258 219978 | 33798 31764 18 | 1.204 % |
522.12/522.19 c | 1574499 | 7794 66258 219978 | 33798 32276 18 | 1.204 % |
522.32/522.35 c | 1575012 | 7794 66258 219978 | 33798 32789 18 | 1.204 % |
522.63/522.70 c | 1576036 | 7794 66258 219978 | 33798 33813 18 | 1.204 % |
523.32/523.34 c | 1578085 | 7794 66258 219978 | 33798 30830 17 | 1.204 % |
524.32/524.41 c | 1582181 | 7794 66258 219978 | 32745 30543 18 | 1.204 % |
526.92/526.97 c | 1590373 | 7794 66258 219978 | 30335 26993 18 | 1.204 % |
531.62/531.67 c | 1606757 | 7792 66252 219966 | 29800 27190 17 | 1.230 % |
542.83/542.89 c | 1639526 | 7791 66249 219960 | 32577 28852 19 | 1.242 % |
565.43/565.46 c | 1705062 | 7790 66246 219954 | 33522 29753 17 | 1.255 % |
565.53/565.60 c | 1705574 | 7790 66246 219954 | 33522 30265 17 | 1.255 % |
565.73/565.76 c | 1706086 | 7790 66246 219954 | 33522 30777 17 | 1.255 % |
565.93/565.99 c | 1707111 | 7790 66246 219954 | 33522 31802 17 | 1.255 % |
566.13/566.13 c | 1707624 | 7790 66246 219954 | 33522 32315 17 | 1.255 % |
566.23/566.30 c | 1708137 | 7790 66246 219954 | 33522 32828 17 | 1.255 % |
566.63/566.64 c | 1709163 | 7790 66246 219954 | 33522 33854 17 | 1.255 % |
567.13/567.18 c | 1711211 | 7790 66246 219954 | 29968 27112 17 | 1.255 % |
567.23/567.30 c | 1711723 | 7790 66246 219954 | 29968 27624 17 | 1.255 % |
567.33/567.41 c | 1712235 | 7790 66246 219954 | 29968 28136 17 | 1.255 % |
567.73/567.78 c | 1713259 | 7790 66246 219954 | 29968 29160 17 | 1.255 % |
567.93/567.94 c | 1713771 | 7790 66246 219954 | 29968 29672 17 | 1.255 % |
568.13/568.12 c | 1714283 | 7790 66246 219954 | 29968 30184 17 | 1.255 % |
568.33/568.38 c | 1715307 | 7790 66246 219954 | 29968 27555 17 | 1.255 % |
568.93/568.93 c | 1717355 | 7790 66246 219954 | 29968 29603 17 | 1.255 % |
569.83/569.86 c | 1721451 | 7790 66246 219954 | 28770 26958 17 | 1.255 % |
569.93/569.97 c | 1721963 | 7790 66246 219954 | 28770 27470 17 | 1.255 % |
570.03/570.10 c | 1722476 | 7790 66246 219954 | 28770 27983 17 | 1.255 % |
570.33/570.32 c | 1723502 | 7790 66246 219954 | 28770 29009 17 | 1.255 % |
570.43/570.46 c | 1724014 | 7790 66246 219954 | 28770 26540 17 | 1.255 % |
570.63/570.63 c | 1724526 | 7790 66246 219954 | 28770 27052 17 | 1.255 % |
570.83/570.87 c | 1725550 | 7790 66246 219954 | 28770 28076 17 | 1.255 % |
571.63/571.62 c | 1727598 | 7790 66246 219954 | 28770 27043 17 | 1.255 % |
571.73/571.78 c | 1728111 | 7790 66246 219954 | 28770 27556 17 | 1.255 % |
571.93/571.92 c | 1728625 | 7790 66246 219954 | 28770 28070 17 | 1.255 % |
572.13/572.19 c | 1729650 | 7790 66246 219954 | 28770 29095 17 | 1.255 % |
572.33/572.35 c | 1730164 | 7790 66246 219954 | 26405 26569 17 | 1.255 % |
572.43/572.46 c | 1730676 | 7790 66246 219954 | 26405 24303 16 | 1.255 % |
572.73/572.76 c | 1731700 | 7790 66246 219954 | 26405 25327 17 | 1.255 % |
573.23/573.26 c | 1733749 | 7789 66144 219649 | 26405 24687 17 | 1.268 % |
574.13/574.14 c | 1737845 | 7789 66144 219649 | 26405 26073 17 | 1.268 % |
576.23/576.27 c | 1746037 | 7789 66144 219649 | 2147483647 31591 18 | 1.268 % |
576.33/576.37 c | 1746549 | 7789 66144 219649 | 2147483647 32103 18 | 1.268 % |
576.43/576.52 c | 1747061 | 7787 66138 219637 | 2147483647 32595 18 | 1.293 % |
576.83/576.82 c | 1748087 | 7786 66138 219637 | 2147483647 33620 18 | 1.306 % |
576.93/577.01 c | 1748600 | 7786 66138 219637 | 2147483647 34133 18 | 1.306 % |
577.13/577.17 c | 1749112 | 7786 66138 219637 | 2147483647 34645 18 | 1.306 % |
577.43/577.47 c | 1750136 | 7786 66138 219637 | 2147483647 35669 18 | 1.306 % |
578.23/578.22 c | 1752185 | 7786 66138 219637 | 2147483647 37718 18 | 1.306 % |
578.33/578.40 c | 1752698 | 7786 66037 219335 | 2147483647 38217 18 | 1.306 % |
578.53/578.55 c | 1753212 | 7786 66037 219335 | 2147483647 38731 18 | 1.306 % |
578.83/578.86 c | 1754236 | 7786 66037 219335 | 2147483647 39755 18 | 1.306 % |
579.03/579.04 c | 1754749 | 7786 66037 219335 | 2147483647 40268 18 | 1.306 % |
579.13/579.21 c | 1755261 | 7786 66037 219335 | 2147483647 40780 18 | 1.306 % |
579.53/579.53 c | 1756285 | 7786 66037 219335 | 2147483647 41804 18 | 1.306 % |
580.23/580.27 c | 1758333 | 7785 65937 219036 | 2147483647 43850 18 | 1.318 % |
581.73/581.80 c | 1762429 | 7785 65937 219036 | 45517 40022 18 | 1.318 % |
581.93/581.95 c | 1762941 | 7785 65937 219036 | 45517 40534 18 | 1.318 % |
582.03/582.10 c | 1763453 | 7785 65937 219036 | 45517 41046 18 | 1.318 % |
582.33/582.40 c | 1764477 | 7785 65937 219036 | 45517 42070 18 | 1.318 % |
582.53/582.55 c | 1764992 | 7785 65937 219036 | 45517 42585 18 | 1.318 % |
582.73/582.78 c | 1765504 | 7785 65937 219036 | 45517 43097 18 | 1.318 % |
583.13/583.19 c | 1766528 | 7785 65937 219036 | 45517 44121 18 | 1.318 % |
583.93/583.95 c | 1768576 | 7785 65937 219036 | 45517 37405 17 | 1.318 % |
584.03/584.11 c | 1769088 | 7785 65937 219036 | 45517 37917 17 | 1.318 % |
584.13/584.21 c | 1769601 | 7785 65937 219036 | 45517 38430 17 | 1.318 % |
584.53/584.53 c | 1770625 | 7785 65937 219036 | 38830 39454 17 | 1.318 % |
584.63/584.71 c | 1771139 | 7785 65937 219036 | 38830 32464 17 | 1.318 % |
584.83/584.87 c | 1771651 | 7784 65934 219030 | 38830 32974 17 | 1.331 % |
585.13/585.15 c | 1772675 | 7784 65934 219030 | 38830 33998 17 | 1.331 % |
585.93/585.93 c | 1774723 | 7784 65934 219030 | 38830 36046 17 | 1.331 % |
587.43/587.50 c | 1778819 | 7784 65934 219030 | 38830 34015 17 | 1.331 % |
589.93/589.94 c | 1787011 | 7784 65934 219030 | 35197 31803 17 | 1.331 % |
595.03/595.10 c | 1803397 | 7784 65934 219030 | 34938 33483 17 | 1.331 % |
595.23/595.30 c | 1803909 | 7784 65934 219030 | 34938 33995 17 | 1.331 % |
595.43/595.46 c | 1804421 | 7784 65934 219030 | 34938 34507 17 | 1.331 % |
595.73/595.73 c | 1805447 | 7784 65934 219030 | 34938 35533 17 | 1.331 % |
595.83/595.91 c | 1805961 | 7784 65934 219030 | 34938 31457 17 | 1.331 % |
596.03/596.05 c | 1806473 | 7784 65934 219030 | 34938 31969 17 | 1.331 % |
596.23/596.31 c | 1807498 | 7784 65934 219030 | 34938 32994 17 | 1.331 % |
596.93/596.93 c | 1809546 | 7783 65931 219024 | 34938 35039 17 | 1.344 % |
597.13/597.13 c | 1810059 | 7783 65931 219024 | 30889 30946 17 | 1.344 % |
597.33/597.33 c | 1810572 | 7783 65931 219024 | 30889 27275 16 | 1.344 % |
597.63/597.69 c | 1811597 | 7783 65931 219024 | 30889 28300 17 | 1.344 % |
597.83/597.87 c | 1812110 | 7783 65931 219024 | 30889 28813 17 | 1.344 % |
598.03/598.02 c | 1812622 | 7783 65931 219024 | 30889 29325 17 | 1.344 % |
598.23/598.29 c | 1813646 | 7783 65931 219024 | 30889 30349 17 | 1.344 % |
598.83/598.83 c | 1815694 | 7783 65931 219024 | 30889 28444 16 | 1.344 % |
599.73/599.76 c | 1819790 | 7783 65931 219024 | 30889 28808 17 | 1.344 % |
599.83/599.90 c | 1820302 | 7783 65931 219024 | 29021 29320 17 | 1.344 % |
600.03/600.04 c | 1820816 | 7783 65931 219024 | 29021 26558 17 | 1.344 % |
600.23/600.29 c | 1821840 | 7783 65931 219024 | 29021 27582 17 | 1.344 % |
600.43/600.45 c | 1822352 | 7783 65931 219024 | 29021 28094 17 | 1.344 % |
600.53/600.60 c | 1822864 | 7783 65931 219024 | 29021 28606 17 | 1.344 % |
600.83/600.89 c | 1823888 | 7783 65931 219024 | 29021 26651 17 | 1.344 % |
601.43/601.44 c | 1825937 | 7783 65931 219024 | 29021 28700 17 | 1.344 % |
601.53/601.61 c | 1826451 | 7783 65931 219024 | 29021 29214 17 | 1.344 % |
601.73/601.77 c | 1826963 | 7783 65931 219024 | 29021 26805 17 | 1.344 % |
602.03/602.05 c | 1827989 | 7783 65931 219024 | 29021 27831 17 | 1.344 % |
602.13/602.16 c | 1828501 | 7783 65931 219024 | 29021 28343 17 | 1.344 % |
602.23/602.28 c | 1829014 | 7783 65931 219024 | 29021 28856 18 | 1.344 % |
602.53/602.56 c | 1830039 | 7783 65931 219024 | 2147483647 26915 17 | 1.344 % |
603.13/603.16 c | 1832089 | 7783 65931 219024 | 2147483647 28965 18 | 1.344 % |
604.13/604.18 c | 1836186 | 7783 65931 219024 | 2147483647 33062 19 | 1.344 % |
606.73/606.74 c | 1844378 | 7783 65931 219024 | 36879 36888 18 | 1.344 % |
606.93/606.94 c | 1844891 | 7783 65931 219024 | 36879 32038 18 | 1.344 % |
607.03/607.10 c | 1845403 | 7783 65931 219024 | 36879 32550 18 | 1.344 % |
607.34/607.39 c | 1846427 | 7783 65931 219024 | 36879 33574 18 | 1.344 % |
607.53/607.53 c | 1846939 | 7783 65931 219024 | 36879 34086 18 | 1.344 % |
607.63/607.65 c | 1847452 | 7781 65829 218722 | 36879 34587 18 | 1.369 % |
607.93/607.96 c | 1848476 | 7781 65829 218722 | 36879 35611 18 | 1.369 % |
608.73/608.74 c | 1850524 | 7781 65829 218722 | 37136 32078 18 | 1.369 % |
608.83/608.87 c | 1851036 | 7781 65829 218722 | 37136 32590 18 | 1.369 % |
609.03/609.01 c | 1851548 | 7781 65829 218722 | 37136 33102 18 | 1.369 % |
609.33/609.32 c | 1852572 | 7780 65731 218429 | 37136 34124 18 | 1.382 % |
609.43/609.48 c | 1853084 | 7780 65731 218429 | 37136 34636 18 | 1.382 % |
609.54/609.59 c | 1853597 | 7780 65731 218429 | 37136 35149 18 | 1.382 % |
609.93/610.00 c | 1854621 | 7780 65731 218429 | 37136 36173 18 | 1.382 % |
610.73/610.75 c | 1856669 | 7780 65731 218429 | 37136 32447 17 | 1.382 % |
612.13/612.19 c | 1860765 | 7780 65731 218429 | 35779 31311 17 | 1.382 % |
612.33/612.34 c | 1861277 | 7780 65731 218429 | 35779 31823 17 | 1.382 % |
612.53/612.58 c | 1861789 | 7780 65731 218429 | 35779 32335 17 | 1.382 % |
612.84/612.87 c | 1862816 | 7780 65731 218429 | 35779 33362 17 | 1.382 % |
613.03/613.02 c | 1863328 | 7780 65731 218429 | 35779 33874 17 | 1.382 % |
613.13/613.16 c | 1863841 | 7780 65731 218429 | 35779 34387 17 | 1.382 % |
613.43/613.47 c | 1864865 | 7780 65731 218429 | 35779 35411 17 | 1.382 % |
614.13/614.19 c | 1866913 | 7780 65731 218429 | 35779 32247 17 | 1.382 % |
614.33/614.33 c | 1867426 | 7780 65731 218429 | 35779 32760 17 | 1.382 % |
614.43/614.44 c | 1867938 | 7780 65731 218429 | 35779 33272 17 | 1.382 % |
614.73/614.73 c | 1868963 | 7779 65728 218423 | 35779 34295 17 | 1.394 % |
614.83/614.89 c | 1869475 | 7779 65728 218423 | 35779 34807 17 | 1.394 % |
615.04/615.06 c | 1869987 | 7779 65728 218423 | 35779 35319 17 | 1.394 % |
615.33/615.34 c | 1871011 | 7779 65728 218423 | 35332 31468 17 | 1.394 % |
615.83/615.91 c | 1873059 | 7779 65728 218423 | 35332 33516 17 | 1.394 % |
617.33/617.32 c | 1877156 | 7779 65728 218423 | 35332 32241 17 | 1.394 % |
619.73/619.73 c | 1885349 | 7779 65728 218423 | 35085 35122 17 | 1.394 % |
624.94/624.94 c | 1901734 | 7778 65725 218417 | 34181 30335 16 | 1.407 % |
634.33/634.32 c | 1934503 | 7777 65709 218384 | 2147483647 35190 18 | 1.420 % |
634.43/634.51 c | 1935015 | 7777 65709 218384 | 2147483647 35702 18 | 1.420 % |
634.63/634.63 c | 1935527 | 7777 65709 218384 | 2147483647 36214 18 | 1.420 % |
634.84/634.89 c | 1936551 | 7777 65709 218384 | 2147483647 37238 19 | 1.420 % |
635.03/635.09 c | 1937064 | 7777 65709 218384 | 2147483647 37751 19 | 1.420 % |
635.23/635.25 c | 1937577 | 7777 65709 218384 | 2147483647 38264 19 | 1.420 % |
635.53/635.58 c | 1938601 | 7777 65709 218384 | 2147483647 39288 19 | 1.420 % |
636.13/636.12 c | 1940650 | 7777 65709 218384 | 40687 35972 19 | 1.420 % |
636.23/636.29 c | 1941162 | 7777 65709 218384 | 40687 36484 19 | 1.420 % |
636.43/636.47 c | 1941675 | 7777 65709 218384 | 40687 36997 19 | 1.420 % |
636.73/636.76 c | 1942699 | 7777 65709 218384 | 40687 38021 19 | 1.420 % |
636.83/636.89 c | 1943211 | 7777 65709 218384 | 40687 38533 19 | 1.420 % |
637.04/637.05 c | 1943723 | 7777 65709 218384 | 40687 39045 19 | 1.420 % |
637.34/637.39 c | 1944748 | 7777 65709 218384 | 40687 40070 19 | 1.420 % |
638.14/638.17 c | 1946796 | 7777 65709 218384 | 40687 35926 19 | 1.420 % |
639.44/639.43 c | 1950893 | 7777 65709 218384 | 39130 34143 19 | 1.420 % |
639.54/639.54 c | 1951406 | 7777 65709 218384 | 39130 34656 19 | 1.420 % |
639.64/639.67 c | 1951918 | 7777 65709 218384 | 39130 35168 19 | 1.420 % |
639.94/640.00 c | 1952946 | 7777 65709 218384 | 39130 36196 19 | 1.420 % |
640.14/640.19 c | 1953459 | 7777 65709 218384 | 39130 36709 19 | 1.420 % |
640.34/640.38 c | 1953972 | 7777 65709 218384 | 39130 37222 19 | 1.420 % |
640.74/640.73 c | 1954997 | 7777 65709 218384 | 39130 38247 19 | 1.420 % |
641.54/641.52 c | 1957046 | 7777 65709 218384 | 39130 34112 18 | 1.420 % |
641.64/641.66 c | 1957559 | 7777 65709 218384 | 39130 34625 18 | 1.420 % |
641.74/641.80 c | 1958071 | 7777 65709 218384 | 39130 35137 18 | 1.420 % |
642.04/642.10 c | 1959096 | 7777 65709 218384 | 39130 36162 18 | 1.420 % |
642.24/642.27 c | 1959609 | 7777 65709 218384 | 39130 36675 18 | 1.420 % |
642.34/642.41 c | 1960121 | 7776 65706 218378 | 37065 37184 18 | 1.432 % |
642.64/642.71 c | 1961150 | 7776 65706 218378 | 37065 32382 17 | 1.432 % |
643.44/643.45 c | 1963199 | 7776 65706 218378 | 37065 34431 17 | 1.432 % |
645.14/645.15 c | 1967296 | 7776 65706 218378 | 37065 32713 17 | 1.432 % |
648.04/648.09 c | 1975489 | 7776 65706 218378 | 35417 35619 17 | 1.432 % |
648.24/648.31 c | 1976001 | 7776 65706 218378 | 35417 31298 16 | 1.432 % |
648.44/648.48 c | 1976515 | 7776 65706 218378 | 35417 31812 16 | 1.432 % |
648.64/648.70 c | 1977539 | 7776 65706 218378 | 35417 32836 17 | 1.432 % |
648.84/648.88 c | 1978051 | 7776 65706 218378 | 35417 33348 17 | 1.432 % |
649.04/649.05 c | 1978563 | 7776 65706 218378 | 35417 33860 17 | 1.432 % |
649.34/649.38 c | 1979589 | 7776 65706 218378 | 35417 34886 17 | 1.432 % |
650.14/650.19 c | 1981637 | 7776 65706 218378 | 35297 31744 17 | 1.432 % |
650.34/650.40 c | 1982152 | 7776 65706 218378 | 35297 32259 17 | 1.432 % |
650.54/650.55 c | 1982664 | 7776 65706 218378 | 35297 32771 17 | 1.432 % |
650.84/650.90 c | 1983689 | 7776 65706 218378 | 35297 33796 17 | 1.432 % |
651.04/651.11 c | 1984201 | 7776 65706 218378 | 35297 34308 17 | 1.432 % |
651.24/651.31 c | 1984713 | 7776 65706 218378 | 35297 34820 17 | 1.432 % |
651.64/651.72 c | 1985738 | 7776 65706 218378 | 35297 30600 17 | 1.432 % |
652.24/652.30 c | 1987786 | 7776 65706 218378 | 35297 32648 17 | 1.432 % |
653.64/653.67 c | 1991883 | 7776 65706 218378 | 34862 31728 18 | 1.432 % |
653.84/653.85 c | 1992395 | 7776 65706 218378 | 34862 32240 18 | 1.432 % |
654.04/654.02 c | 1992908 | 7776 65706 218378 | 34862 32753 18 | 1.432 % |
654.34/654.33 c | 1993934 | 7776 65706 218378 | 34862 33779 18 | 1.432 % |
654.44/654.50 c | 1994447 | 7776 65706 218378 | 34862 34292 18 | 1.432 % |
654.64/654.66 c | 1994962 | 7776 65706 218378 | 34862 34807 18 | 1.432 % |
655.04/655.04 c | 1995989 | 7776 65706 218378 | 34862 30705 18 | 1.432 % |
655.64/655.71 c | 1998037 | 7776 65706 218378 | 34862 32753 18 | 1.432 % |
655.84/655.88 c | 1998549 | 7776 65706 218378 | 34862 33265 18 | 1.432 % |
656.04/656.05 c | 1999061 | 7776 65706 218378 | 34862 33777 18 | 1.432 % |
656.24/656.31 c | 2000085 | 7776 65706 218378 | 34716 34801 18 | 1.432 % |
656.44/656.52 c | 2000599 | 7776 65706 218378 | 34716 30022 17 | 1.432 % |
656.64/656.68 c | 2001111 | 7776 65706 218378 | 34716 30534 17 | 1.432 % |
656.84/656.90 c | 2002136 | 7776 65706 218378 | 34716 31559 18 | 1.432 % |
657.44/657.46 c | 2004184 | 7776 65706 218378 | 34716 33607 18 | 1.432 % |
658.94/658.93 c | 2008281 | 7776 65706 218378 | 34716 32822 17 | 1.432 % |
661.54/661.58 c | 2016473 | 7776 65706 218378 | 34544 32237 17 | 1.432 % |
666.74/666.75 c | 2032857 | 7776 65706 218378 | 30926 30518 16 | 1.432 % |
666.84/666.91 c | 2033369 | 7776 65706 218378 | 30926 31030 16 | 1.432 % |
667.04/667.09 c | 2033881 | 7776 65706 218378 | 30926 28195 16 | 1.432 % |
667.34/667.37 c | 2034905 | 7776 65706 218378 | 30926 29219 16 | 1.432 % |
667.53/667.51 c | 2035417 | 7776 65706 218378 | 30926 29731 16 | 1.432 % |
667.63/667.63 c | 2035934 | 7776 65706 218378 | 30926 30248 16 | 1.432 % |
667.93/667.92 c | 2036960 | 7776 65706 218378 | 30926 31274 17 | 1.432 % |
668.53/668.59 c | 2039009 | 7776 65706 218378 | 30926 30114 16 | 1.432 % |
668.73/668.72 c | 2039521 | 7776 65706 218378 | 30926 30626 17 | 1.432 % |
668.83/668.89 c | 2040033 | 7776 65706 218378 | 31105 31138 17 | 1.432 % |
669.23/669.21 c | 2041058 | 7776 65706 218378 | 31105 28655 16 | 1.432 % |
669.33/669.36 c | 2041571 | 7776 65706 218378 | 31105 29168 17 | 1.432 % |
669.53/669.52 c | 2042084 | 7776 65706 218378 | 31105 29681 17 | 1.432 % |
669.73/669.78 c | 2043108 | 7776 65706 218378 | 31105 30705 17 | 1.432 % |
670.33/670.38 c | 2045158 | 7776 65706 218378 | 31105 28995 17 | 1.432 % |
671.63/671.63 c | 2049255 | 7776 65706 218378 | 31105 29351 17 | 1.432 % |
671.73/671.76 c | 2049767 | 7776 65706 218378 | 31105 29863 17 | 1.432 % |
671.93/671.92 c | 2050279 | 7776 65706 218378 | 30096 30375 17 | 1.432 % |
672.23/672.23 c | 2051304 | 7776 65706 218378 | 30096 27638 17 | 1.432 % |
672.33/672.40 c | 2051816 | 7776 65706 218378 | 30096 28150 17 | 1.432 % |
672.53/672.58 c | 2052328 | 7776 65706 218378 | 30096 28662 17 | 1.432 % |
672.93/672.94 c | 2053352 | 7776 65706 218378 | 30096 29686 17 | 1.432 % |
673.43/673.42 c | 2055400 | 7776 65706 218378 | 30096 27957 17 | 1.432 % |
673.53/673.59 c | 2055916 | 7776 65706 218378 | 30096 28473 17 | 1.432 % |
673.73/673.77 c | 2056428 | 7776 65706 218378 | 30096 28985 17 | 1.432 % |
674.13/674.11 c | 2057452 | 7776 65706 218378 | 30096 30009 17 | 1.432 % |
674.23/674.26 c | 2057966 | 7776 65706 218378 | 30096 26879 16 | 1.432 % |
674.33/674.37 c | 2058481 | 7776 65706 218378 | 30096 27394 16 | 1.432 % |
674.63/674.67 c | 2059505 | 7776 65706 218378 | 30096 28418 17 | 1.432 % |
675.23/675.22 c | 2061554 | 7776 65706 218378 | 28914 26999 16 | 1.432 % |
676.33/676.35 c | 2065650 | 7776 65706 218378 | 28914 28161 16 | 1.432 % |
678.53/678.54 c | 2073842 | 7774 65700 218366 | 2147483647 30493 17 | 1.458 % |
678.63/678.70 c | 2074354 | 7774 65700 218366 | 2147483647 31005 17 | 1.458 % |
678.83/678.82 c | 2074866 | 7774 65700 218366 | 2147483647 31517 17 | 1.458 % |
679.03/679.10 c | 2075890 | 7774 65700 218366 | 2147483647 32541 17 | 1.458 % |
679.23/679.25 c | 2076403 | 7774 65700 218366 | 2147483647 33054 17 | 1.458 % |
679.33/679.40 c | 2076917 | 7774 65700 218366 | 2147483647 33568 17 | 1.458 % |
679.63/679.68 c | 2077941 | 7774 65700 218366 | 2147483647 34592 17 | 1.458 % |
680.43/680.43 c | 2079992 | 7774 65700 218366 | 2147483647 36643 17 | 1.458 % |
680.63/680.64 c | 2080506 | 7774 65700 218366 | 36653 32771 17 | 1.458 % |
680.73/680.81 c | 2081019 | 7774 65700 218366 | 36653 33284 17 | 1.458 % |
681.03/681.09 c | 2082043 | 7774 65700 218366 | 36653 34308 17 | 1.458 % |
681.23/681.26 c | 2082557 | 7774 65700 218366 | 36653 34822 17 | 1.458 % |
681.33/681.40 c | 2083069 | 7774 65700 218366 | 36653 35334 17 | 1.458 % |
681.73/681.79 c | 2084094 | 7774 65700 218366 | 36653 36359 17 | 1.458 % |
682.53/682.53 c | 2086142 | 7774 65700 218366 | 36653 32853 17 | 1.458 % |
683.63/683.71 c | 2090238 | 7774 65700 218366 | 36712 36949 18 | 1.458 % |
683.93/683.94 c | 2090753 | 7774 65700 218366 | 36712 32374 17 | 1.458 % |
684.13/684.12 c | 2091268 | 7774 65700 218366 | 36712 32889 17 | 1.458 % |
684.33/684.39 c | 2092296 | 7774 65700 218366 | 36712 33917 17 | 1.458 % |
684.53/684.56 c | 2092809 | 7774 65700 218366 | 36712 34430 17 | 1.458 % |
684.73/684.73 c | 2093321 | 7774 65700 218366 | 36712 34942 17 | 1.458 % |
685.03/685.04 c | 2094346 | 7774 65700 218366 | 36712 35967 17 | 1.458 % |
685.83/685.82 c | 2096396 | 7774 65700 218366 | 36712 32773 17 | 1.458 % |
685.93/685.98 c | 2096908 | 7774 65700 218366 | 36712 33285 17 | 1.458 % |
686.13/686.14 c | 2097422 | 7774 65700 218366 | 36712 33799 17 | 1.458 % |
686.43/686.43 c | 2098446 | 7774 65700 218366 | 36712 34823 17 | 1.458 % |
686.63/686.62 c | 2098960 | 7774 65700 218366 | 36712 35337 17 | 1.458 % |
686.73/686.80 c | 2099473 | 7774 65700 218366 | 36712 35850 17 | 1.458 % |
687.23/687.26 c | 2100499 | 7774 65700 218366 | 36378 31674 17 | 1.458 % |
688.03/688.01 c | 2102547 | 7774 65700 218366 | 36378 33722 17 | 1.458 % |
689.43/689.43 c | 2106643 | 7774 65700 218366 | 36378 32512 17 | 1.458 % |
692.23/692.26 c | 2114835 | 7773 65697 218360 | 35869 35447 17 | 1.470 % |
698.23/698.27 c | 2131219 | 7770 65669 218294 | 35641 32376 17 | 1.508 % |
709.43/709.43 c | 2163987 | 7769 65573 218007 | 26874 27467 15 | 1.521 % |
728.13/728.11 c | 2229523 | 7765 65382 217439 | 2147483647 36472 19 | 1.572 % |
767.24/767.29 c | 2360595 | 7757 65251 217083 | 34548 30587 18 | 1.673 % |
849.25/849.22 c | 2622739 | 7739 65071 216613 | 32336 30852 19 | 1.901 % |
849.35/849.35 c | 2623253 | 7739 65071 216613 | 32336 31366 20 | 1.901 % |
849.45/849.48 c | 2623765 | 7739 65071 216613 | 32336 31878 19 | 1.901 % |
849.75/849.75 c | 2624789 | 7739 65071 216613 | 32336 28540 19 | 1.901 % |
849.95/849.93 c | 2625304 | 7739 65071 216613 | 32336 29055 20 | 1.901 % |
850.05/850.08 c | 2625817 | 7739 65071 216613 | 32336 29568 20 | 1.901 % |
850.35/850.37 c | 2626843 | 7739 65071 216613 | 32336 30594 20 | 1.901 % |
850.95/850.94 c | 2628892 | 7739 65071 216613 | 32336 32643 20 | 1.901 % |
851.05/851.08 c | 2629405 | 7739 65071 216613 | 32336 29078 20 | 1.901 % |
851.15/851.19 c | 2629919 | 7739 65071 216613 | 32336 29592 20 | 1.901 % |
851.45/851.42 c | 2630944 | 7739 65071 216613 | 29673 26990 19 | 1.901 % |
851.45/851.51 c | 2631457 | 7739 65071 216613 | 29673 27503 19 | 1.901 % |
851.65/851.64 c | 2631969 | 7739 65071 216613 | 29673 28015 19 | 1.901 % |
851.85/851.86 c | 2632993 | 7739 65071 216613 | 29673 29039 19 | 1.901 % |
852.35/852.37 c | 2635044 | 7739 65071 216613 | 29673 28058 19 | 1.901 % |
853.55/853.52 c | 2639140 | 7739 65071 216613 | 29673 29144 18 | 1.901 % |
853.65/853.62 c | 2639652 | 7739 65071 216613 | 29673 29656 18 | 1.901 % |
853.75/853.74 c | 2640164 | 7739 65071 216613 | 2147483647 27169 17 | 1.901 % |
853.95/853.96 c | 2641188 | 7739 65071 216613 | 2147483647 28193 18 | 1.901 % |
854.15/854.14 c | 2641700 | 7739 65071 216613 | 2147483647 28705 18 | 1.901 % |
854.25/854.26 c | 2642212 | 7739 65071 216613 | 2147483647 29217 18 | 1.901 % |
854.45/854.50 c | 2643236 | 7739 65071 216613 | 2147483647 30241 18 | 1.901 % |
855.05/855.07 c | 2645286 | 7739 65071 216613 | 2147483647 32291 18 | 1.901 % |
855.15/855.18 c | 2645799 | 7739 65071 216613 | 2147483647 32804 18 | 1.901 % |
855.25/855.29 c | 2646313 | 7739 65071 216613 | 2147483647 33318 18 | 1.901 % |
855.65/855.62 c | 2647342 | 7739 65071 216613 | 2147483647 34347 18 | 1.901 % |
855.75/855.78 c | 2647855 | 7739 65071 216613 | 2147483647 34860 18 | 1.901 % |
855.95/855.97 c | 2648367 | 7739 65071 216613 | 2147483647 35372 18 | 1.901 % |
856.25/856.28 c | 2649391 | 7739 65071 216613 | 2147483647 36396 18 | 1.901 % |
856.85/856.90 c | 2651439 | 7739 65071 216613 | 37005 33337 17 | 1.901 % |
858.35/858.32 c | 2655537 | 7739 65071 216613 | 37005 37435 18 | 1.901 % |
860.55/860.60 c | 2663729 | 7739 65071 216613 | 36390 34525 17 | 1.901 % |
860.75/860.80 c | 2664242 | 7738 64979 216338 | 36390 35036 17 | 1.914 % |
860.95/860.97 c | 2664754 | 7738 64979 216338 | 36390 35548 17 | 1.914 % |
861.25/861.25 c | 2665778 | 7738 64979 216338 | 36390 36572 17 | 1.914 % |
861.45/861.46 c | 2666290 | 7738 64979 216338 | 36390 31099 16 | 1.914 % |
861.55/861.58 c | 2666802 | 7738 64979 216338 | 36390 31611 16 | 1.914 % |
861.85/861.89 c | 2667826 | 7738 64979 216338 | 36390 32635 17 | 1.914 % |
862.45/862.50 c | 2669874 | 7738 64979 216338 | 36390 34683 17 | 1.914 % |
862.65/862.62 c | 2670386 | 7738 64979 216338 | 34809 35195 17 | 1.914 % |
862.75/862.79 c | 2670898 | 7738 64979 216338 | 34809 30487 16 | 1.914 % |
863.05/863.07 c | 2671922 | 7738 64979 216338 | 34809 31511 16 | 1.914 % |
863.25/863.24 c | 2672434 | 7738 64979 216338 | 34809 32023 16 | 1.914 % |
863.35/863.38 c | 2672946 | 7738 64979 216338 | 34809 32535 17 | 1.914 % |
863.75/863.72 c | 2673970 | 7737 64976 216332 | 34809 33557 17 | 1.927 % |
864.35/864.36 c | 2676019 | 7737 64976 216332 | 34809 30298 17 | 1.927 % |
865.55/865.57 c | 2680117 | 7737 64976 216332 | 34279 34396 17 | 1.927 % |
865.75/865.77 c | 2680630 | 7737 64976 216332 | 34279 29679 16 | 1.927 % |
865.95/865.92 c | 2681143 | 7737 64976 216332 | 34279 30192 17 | 1.927 % |
866.25/866.26 c | 2682167 | 7737 64976 216332 | 34279 31216 17 | 1.927 % |
866.35/866.41 c | 2682684 | 7737 64976 216332 | 34279 31733 17 | 1.927 % |
866.55/866.55 c | 2683196 | 7737 64976 216332 | 34279 32245 17 | 1.927 % |
866.85/866.87 c | 2684221 | 7737 64976 216332 | 34279 33270 17 | 1.927 % |
867.35/867.38 c | 2686269 | 7737 64976 216332 | 34279 30170 17 | 1.927 % |
867.55/867.53 c | 2686782 | 7737 64976 216332 | 34279 30683 17 | 1.927 % |
867.65/867.68 c | 2687296 | 7737 64976 216332 | 34279 31197 17 | 1.927 % |
867.95/867.92 c | 2688320 | 7737 64976 216332 | 34279 32221 17 | 1.927 % |
868.05/868.04 c | 2688832 | 7737 64976 216332 | 34279 32733 17 | 1.927 % |
868.15/868.19 c | 2689345 | 7737 64976 216332 | 34279 33246 17 | 1.927 % |
868.55/868.53 c | 2690369 | 7737 64976 216332 | 33902 34270 17 | 1.927 % |
869.25/869.25 c | 2692418 | 7737 64976 216332 | 33902 31406 17 | 1.927 % |
870.65/870.62 c | 2696514 | 7737 64976 216332 | 33902 30822 17 | 1.927 % |
873.15/873.15 c | 2704706 | 7737 64976 216332 | 29583 27210 17 | 1.927 % |
878.35/878.37 c | 2721090 | 7737 64976 216332 | 39389 34925 19 | 1.927 % |
878.55/878.57 c | 2721603 | 7737 64976 216332 | 39389 35438 19 | 1.927 % |
878.75/878.80 c | 2722115 | 7737 64976 216332 | 39389 35950 19 | 1.927 % |
879.25/879.23 c | 2723140 | 7737 64976 216332 | 39389 36975 19 | 1.927 % |
879.35/879.38 c | 2723654 | 7737 64976 216332 | 39389 37489 19 | 1.927 % |
879.55/879.57 c | 2724166 | 7737 64976 216332 | 39389 38001 19 | 1.927 % |
879.85/879.89 c | 2725191 | 7737 64976 216332 | 39389 39026 19 | 1.927 % |
880.55/880.59 c | 2727240 | 7737 64976 216332 | 39389 34517 19 | 1.927 % |
880.75/880.77 c | 2727752 | 7737 64976 216332 | 39389 35029 19 | 1.927 % |
880.95/880.92 c | 2728264 | 7737 64976 216332 | 39389 35541 19 | 1.927 % |
881.15/881.19 c | 2729288 | 7737 64976 216332 | 39389 36565 19 | 1.927 % |
881.35/881.36 c | 2729800 | 7737 64976 216332 | 39389 37077 19 | 1.927 % |
881.45/881.50 c | 2730312 | 7737 64976 216332 | 37277 37589 19 | 1.927 % |
881.85/881.82 c | 2731336 | 7737 64976 216332 | 37277 32218 18 | 1.927 % |
882.45/882.43 c | 2733384 | 7737 64976 216332 | 37277 34266 19 | 1.927 % |
883.85/883.88 c | 2737483 | 7736 64973 216326 | 37277 32398 17 | 1.939 % |
884.05/884.02 c | 2737995 | 7736 64973 216326 | 37277 32910 17 | 1.939 % |
884.15/884.18 c | 2738509 | 7736 64973 216326 | 37277 33424 17 | 1.939 % |
884.45/884.44 c | 2739533 | 7736 64973 216326 | 37277 34448 18 | 1.939 % |
884.65/884.62 c | 2740045 | 7736 64973 216326 | 34916 34960 18 | 1.939 % |
884.85/884.81 c | 2740557 | 7736 64973 216326 | 34916 29716 16 | 1.939 % |
885.15/885.12 c | 2741582 | 7736 64973 216326 | 34916 30741 16 | 1.939 % |
885.85/885.86 c | 2743630 | 7736 64973 216326 | 34916 32789 17 | 1.939 % |
886.05/886.03 c | 2744142 | 7736 64973 216326 | 34916 33301 17 | 1.939 % |
886.15/886.18 c | 2744654 | 7736 64973 216326 | 34916 33813 17 | 1.939 % |
886.55/886.54 c | 2745678 | 7736 64973 216326 | 34916 34837 17 | 1.939 % |
886.65/886.69 c | 2746190 | 7736 64973 216326 | 34916 35349 17 | 1.939 % |
886.85/886.89 c | 2746703 | 7736 64973 216326 | 34916 30607 16 | 1.939 % |
887.15/887.19 c | 2747728 | 7736 64973 216326 | 34916 31632 17 | 1.939 % |
887.85/887.83 c | 2749776 | 7734 64702 214986 | 34916 32352 17 | 1.965 % |
889.15/889.16 c | 2753872 | 7734 64702 214986 | 32576 31469 16 | 1.965 % |
892.26/892.24 c | 2762065 | 7734 64702 214986 | 28796 27117 15 | 1.965 % |
892.35/892.37 c | 2762577 | 7734 64702 214986 | 28796 27629 16 | 1.965 % |
892.55/892.59 c | 2763091 | 7734 64702 214986 | 28796 28143 16 | 1.965 % |
892.85/892.84 c | 2764115 | 7734 64702 214986 | 28796 29167 16 | 1.965 % |
892.95/893.00 c | 2764627 | 7734 64702 214986 | 28796 26215 15 | 1.965 % |
893.15/893.15 c | 2765139 | 7734 64702 214986 | 28796 26727 16 | 1.965 % |
893.45/893.45 c | 2766167 | 7734 64702 214986 | 28796 27755 16 | 1.965 % |
894.15/894.16 c | 2768215 | 7734 64702 214986 | 28796 26338 16 | 1.965 % |
894.35/894.34 c | 2768727 | 7734 64702 214986 | 28796 26850 16 | 1.965 % |
894.46/894.46 c | 2769242 | 7734 64702 214986 | 28796 27365 16 | 1.965 % |
894.75/894.71 c | 2770270 | 7734 64702 214986 | 28126 28393 16 | 1.965 % |
894.85/894.85 c | 2770782 | 7734 64702 214986 | 28126 25842 16 | 1.965 % |
894.95/894.98 c | 2771295 | 7734 64702 214986 | 28126 26355 16 | 1.965 % |
895.25/895.30 c | 2772319 | 7734 64702 214986 | 28126 27379 16 | 1.965 % |
895.85/895.83 c | 2774370 | 7734 64702 214986 | 28126 26582 16 | 1.965 % |
896.85/896.86 c | 2778467 | 7734 64702 214986 | 28126 27803 17 | 1.965 % |
896.95/897.00 c | 2778979 | 7734 64702 214986 | 28126 28315 17 | 1.965 % |
897.15/897.15 c | 2779492 | 7734 64702 214986 | 28126 25997 16 | 1.965 % |
897.45/897.48 c | 2780516 | 7734 64702 214986 | 2147483647 27021 16 | 1.965 % |
897.65/897.65 c | 2781028 | 7734 64702 214986 | 2147483647 27533 17 | 1.965 % |
897.85/897.84 c | 2781541 | 7734 64702 214986 | 2147483647 28046 17 | 1.965 % |
898.15/898.15 c | 2782565 | 7734 64702 214986 | 2147483647 29070 17 | 1.965 % |
898.75/898.73 c | 2784613 | 7734 64702 214986 | 2147483647 31118 17 | 1.965 % |
898.86/898.86 c | 2785125 | 7734 64702 214986 | 2147483647 31630 17 | 1.965 % |
899.05/899.01 c | 2785638 | 7734 64702 214986 | 2147483647 32143 17 | 1.965 % |
899.35/899.40 c | 2786665 | 7734 64702 214986 | 2147483647 33170 17 | 1.965 % |
899.55/899.52 c | 2787178 | 7734 64702 214986 | 2147483647 33683 17 | 1.965 % |
899.65/899.65 c | 2787690 | 7734 64702 214986 | 2147483647 34195 17 | 1.965 % |
899.96/899.94 c | 2788715 | 7734 64702 214986 | 2147483647 35220 18 | 1.965 % |
900.65/900.64 c | 2790767 | 7734 64702 214986 | 36505 37272 18 | 1.965 % |
901.85/901.87 c | 2794863 | 7734 64702 214986 | 36505 36610 18 | 1.965 % |
904.36/904.34 c | 2803056 | 7734 64702 214986 | 32742 31728 18 | 1.965 % |
910.35/910.39 c | 2819440 | 7734 64702 214986 | 30833 28368 16 | 1.965 % |
920.65/920.63 c | 2852208 | 7730 64674 214920 | 35637 33496 18 | 2.015 % |
920.75/920.81 c | 2852721 | 7730 64584 214651 | 35637 34008 18 | 2.015 % |
920.95/920.95 c | 2853233 | 7730 64584 214651 | 35637 34520 18 | 2.015 % |
921.25/921.21 c | 2854258 | 7730 64584 214651 | 35637 35545 18 | 2.015 % |
921.35/921.40 c | 2854770 | 7730 64584 214651 | 35637 36057 18 | 2.015 % |
921.65/921.61 c | 2855282 | 7730 64584 214651 | 35637 31738 18 | 2.015 % |
921.96/921.95 c | 2856306 | 7730 64584 214651 | 35637 32762 18 | 2.015 % |
922.65/922.65 c | 2858355 | 7730 64584 214651 | 35637 34811 19 | 2.015 % |
922.85/922.81 c | 2858867 | 7730 64584 214651 | 35637 35323 19 | 2.015 % |
922.95/923.02 c | 2859380 | 7730 64584 214651 | 35637 35836 19 | 2.015 % |
923.35/923.37 c | 2860404 | 7730 64584 214651 | 31297 27248 18 | 2.015 % |
923.55/923.52 c | 2860916 | 7730 64584 214651 | 31297 27760 18 | 2.015 % |
923.65/923.70 c | 2861428 | 7730 64584 214651 | 31297 28272 18 | 2.016 % |
924.05/924.04 c | 2862452 | 7730 64584 214651 | 31297 29296 19 | 2.015 % |
924.55/924.59 c | 2864500 | 7730 64584 214651 | 31297 31344 19 | 2.015 % |
925.95/925.95 c | 2868596 | 7729 64581 214645 | 31297 27824 17 | 2.041 % |
926.05/926.07 c | 2869108 | 7729 64581 214645 | 31297 28336 17 | 2.041 % |
926.25/926.21 c | 2869622 | 7729 64581 214645 | 31297 28850 17 | 2.041 % |
926.55/926.55 c | 2870646 | 7728 64578 214639 | 29229 29873 17 | 2.041 % |
926.75/926.71 c | 2871158 | 7728 64578 214639 | 29229 26872 16 | 2.041 % |
926.85/926.84 c | 2871670 | 7728 64578 214639 | 29229 27384 16 | 2.041 % |
927.15/927.11 c | 2872696 | 7728 64578 214639 | 29229 28410 17 | 2.041 % |
927.65/927.70 c | 2874744 | 7728 64578 214639 | 29229 27222 16 | 2.041 % |
927.85/927.83 c | 2875257 | 7728 64578 214639 | 29229 27735 17 | 2.041 % |
927.95/927.99 c | 2875769 | 7727 64575 214633 | 29229 28246 17 | 2.053 % |
928.25/928.24 c | 2876794 | 7727 64575 214633 | 29229 29271 17 | 2.053 % |
928.45/928.42 c | 2877308 | 7727 64575 214633 | 29229 26582 16 | 2.053 % |
928.56/928.56 c | 2877820 | 7727 64575 214633 | 29229 27094 16 | 2.054 % |
928.75/928.80 c | 2878845 | 7727 64575 214633 | 29229 28119 16 | 2.054 % |
929.55/929.58 c | 2880894 | 7727 64575 214633 | 29274 27156 16 | 2.053 % |
930.86/930.86 c | 2884990 | 7726 64559 214600 | 29274 28284 16 | 2.066 % |
933.66/933.67 c | 2893184 | 7726 64559 214600 | 2147483647 30536 17 | 2.066 % |
933.76/933.77 c | 2893696 | 7726 64559 214600 | 2147483647 31048 17 | 2.066 % |
933.86/933.90 c | 2894208 | 7726 64559 214600 | 2147483647 31560 17 | 2.066 % |
934.16/934.18 c | 2895232 | 7726 64559 214600 | 2147483647 32584 17 | 2.066 % |
934.36/934.35 c | 2895745 | 7726 64559 214600 | 2147483647 33097 17 | 2.066 % |
934.46/934.50 c | 2896257 | 7726 64559 214600 | 2147483647 33609 17 | 2.066 % |
934.76/934.76 c | 2897282 | 7726 64559 214600 | 2147483647 34634 17 | 2.066 % |
935.46/935.43 c | 2899333 | 7726 64559 214600 | 2147483647 36685 17 | 2.066 % |
935.66/935.63 c | 2899845 | 7726 64559 214600 | 2147483647 37197 17 | 2.066 % |
935.86/935.82 c | 2900358 | 7726 64559 214600 | 37353 32472 17 | 2.066 % |
936.06/936.08 c | 2901383 | 7726 64559 214600 | 37353 33497 17 | 2.066 % |
936.26/936.26 c | 2901895 | 7726 64559 214600 | 37353 34009 17 | 2.066 % |
936.46/936.47 c | 2902408 | 7726 64559 214600 | 37353 34522 17 | 2.066 % |
936.96/936.94 c | 2903432 | 7726 64559 214600 | 37353 35546 17 | 2.066 % |
937.56/937.59 c | 2905485 | 7726 64559 214600 | 37353 37599 17 | 2.066 % |
939.06/939.09 c | 2909581 | 7726 64559 214600 | 37353 35480 16 | 2.066 % |
939.16/939.21 c | 2910093 | 7726 64559 214600 | 35900 35992 16 | 2.066 % |
939.46/939.43 c | 2910605 | 7726 64559 214600 | 35900 36504 16 | 2.066 % |
939.76/939.75 c | 2911630 | 7726 64559 214600 | 35900 31508 16 | 2.066 % |
939.86/939.88 c | 2912142 | 7726 64559 214600 | 35900 32020 16 | 2.066 % |
940.06/940.07 c | 2912655 | 7726 64559 214600 | 35900 32533 16 | 2.066 % |
940.46/940.42 c | 2913679 | 7724 64535 214543 | 35900 33553 16 | 2.092 % |
940.96/941.02 c | 2915728 | 7724 64535 214543 | 35900 35602 16 | 2.092 % |
941.16/941.16 c | 2916241 | 7724 64535 214543 | 35900 36115 16 | 2.092 % |
941.36/941.35 c | 2916753 | 7724 64535 214543 | 35900 31441 16 | 2.092 % |
941.66/941.67 c | 2917778 | 7724 64535 214543 | 35900 32466 16 | 2.092 % |
941.76/941.81 c | 2918293 | 7724 64535 214543 | 35900 32981 16 | 2.092 % |
941.96/941.96 c | 2918805 | 7724 64535 214543 | 35900 33493 16 | 2.092 % |
942.26/942.27 c | 2919830 | 7724 64535 214543 | 35900 34518 16 | 2.092 % |
943.06/943.02 c | 2921878 | 7724 64535 214543 | 34689 31549 16 | 2.092 % |
944.36/944.41 c | 2925977 | 7724 64535 214543 | 34689 30508 15 | 2.092 % |
947.36/947.35 c | 2934170 | 7724 64535 214543 | 34531 33888 16 | 2.092 % |
952.66/952.63 c | 2950559 | 7724 64535 214543 | 30496 27956 16 | 2.092 % |
952.76/952.75 c | 2951073 | 7724 64535 214543 | 30496 28470 16 | 2.092 % |
952.86/952.90 c | 2951586 | 7724 64535 214543 | 30496 28983 16 | 2.092 % |
953.16/953.15 c | 2952610 | 7724 64535 214543 | 30496 30007 16 | 2.092 % |
953.26/953.27 c | 2953122 | 7723 64446 214277 | 30496 30517 16 | 2.104 % |
953.36/953.39 c | 2953636 | 7723 64446 214277 | 30496 31031 16 | 2.104 % |
953.76/953.72 c | 2954661 | 7723 64446 214277 | 30496 28884 16 | 2.104 % |
954.36/954.32 c | 2956710 | 7723 64446 214277 | 30496 27594 16 | 2.104 % |
954.46/954.45 c | 2957223 | 7723 64446 214277 | 30496 28107 16 | 2.104 % |
954.56/954.60 c | 2957735 | 7723 64446 214277 | 30496 28619 16 | 2.104 % |
954.86/954.88 c | 2958760 | 7723 64446 214277 | 30496 29644 16 | 2.104 % |
954.96/955.00 c | 2959274 | 7723 64446 214277 | 30496 30158 16 | 2.104 % |
955.16/955.15 c | 2959787 | 7723 64446 214277 | 30496 30671 16 | 2.104 % |
955.56/955.53 c | 2960814 | 7723 64446 214277 | 27723 25637 16 | 2.104 % |
956.06/956.10 c | 2962862 | 7723 64446 214277 | 27723 27685 16 | 2.104 % |
957.16/957.19 c | 2966958 | 7723 64446 214277 | 27723 26149 16 | 2.104 % |
957.36/957.32 c | 2967470 | 7723 64446 214277 | 27723 26661 16 | 2.104 % |
957.46/957.48 c | 2967983 | 7723 64446 214277 | 27723 27174 16 | 2.104 % |
957.76/957.75 c | 2969007 | 7723 64446 214277 | 27723 28198 16 | 2.104 % |
957.96/957.93 c | 2969520 | 7723 64446 214277 | 27723 25892 16 | 2.104 % |
958.06/958.05 c | 2970033 | 7723 64446 214277 | 2147483647 26405 16 | 2.104 % |
958.26/958.29 c | 2971057 | 7723 64446 214277 | 2147483647 27429 16 | 2.104 % |
958.86/958.86 c | 2973105 | 7723 64446 214277 | 2147483647 29477 17 | 2.104 % |
958.96/959.01 c | 2973618 | 7723 64446 214277 | 2147483647 29990 17 | 2.104 % |
959.16/959.13 c | 2974132 | 7723 64446 214277 | 2147483647 30504 17 | 2.104 % |
959.46/959.42 c | 2975156 | 7723 64446 214277 | 2147483647 31528 17 | 2.104 % |
959.56/959.60 c | 2975668 | 7723 64446 214277 | 2147483647 32040 17 | 2.104 % |
959.76/959.74 c | 2976181 | 7723 64446 214277 | 2147483647 32553 17 | 2.104 % |
960.06/960.09 c | 2977206 | 7723 64446 214277 | 2147483647 33578 17 | 2.104 % |
960.76/960.73 c | 2979255 | 7723 64446 214277 | 2147483647 35627 17 | 2.104 % |
962.36/962.37 c | 2983351 | 7723 64446 214277 | 36375 35394 17 | 2.104 % |
965.06/965.01 c | 2991543 | 7723 64446 214277 | 36609 32954 17 | 2.104 % |
965.16/965.20 c | 2992057 | 7723 64446 214277 | 36609 33468 17 | 2.104 % |
965.46/965.45 c | 2992571 | 7723 64446 214277 | 36609 33982 17 | 2.104 % |
965.76/965.74 c | 2993597 | 7723 64446 214277 | 36609 35008 17 | 2.104 % |
965.86/965.91 c | 2994109 | 7723 64446 214277 | 36609 35520 17 | 2.104 % |
966.16/966.13 c | 2994621 | 7723 64446 214277 | 36609 36032 17 | 2.104 % |
966.56/966.56 c | 2995645 | 7723 64446 214277 | 36609 31798 16 | 2.104 % |
967.26/967.23 c | 2997693 | 7723 64446 214277 | 36609 33846 16 | 2.104 % |
967.46/967.43 c | 2998205 | 7723 64446 214277 | 36609 34358 16 | 2.104 % |
967.66/967.62 c | 2998719 | 7722 64443 214271 | 36609 34871 16 | 2.117 % |
968.06/968.05 c | 2999743 | 7722 64443 214271 | 36609 35895 16 | 2.117 % |
968.26/968.23 c | 3000256 | 7722 64443 214271 | 36152 36408 17 | 2.117 % |
968.36/968.40 c | 3000768 | 7722 64443 214271 | 36152 31586 16 | 2.117 % |
968.66/968.70 c | 3001792 | 7722 64443 214271 | 36152 32610 16 | 2.117 % |
969.16/969.17 c | 3003841 | 7722 64443 214271 | 36152 34658 16 | 2.130 % |
970.66/970.63 c | 3007938 | 7721 64440 214265 | 36152 33381 16 | 2.130 % |
970.86/970.82 c | 3008450 | 7721 64440 214265 | 36152 33893 16 | 2.130 % |
970.96/970.95 c | 3008963 | 7721 64440 214265 | 36152 34406 16 | 2.130 % |
971.36/971.33 c | 3009987 | 7721 64440 214265 | 36152 35430 17 | 2.130 % |
971.56/971.53 c | 3010499 | 7721 64440 214265 | 35443 30787 16 | 2.130 % |
971.66/971.70 c | 3011011 | 7721 64440 214265 | 35443 31299 16 | 2.130 % |
972.06/972.07 c | 3012036 | 7721 64440 214265 | 35443 32324 16 | 2.130 % |
972.86/972.85 c | 3014084 | 7721 64440 214265 | 35443 34372 17 | 2.130 % |
973.06/973.05 c | 3014598 | 7721 64440 214265 | 35443 34886 17 | 2.130 % |
973.26/973.29 c | 3015110 | 7721 64440 214265 | 35443 35398 17 | 2.130 % |
973.66/973.70 c | 3016135 | 7721 64440 214265 | 35443 30819 16 | 2.130 % |
973.86/973.87 c | 3016649 | 7721 64440 214265 | 35443 31333 16 | 2.130 % |
974.06/974.09 c | 3017161 | 7721 64440 214265 | 35443 31845 16 | 2.130 % |
974.46/974.43 c | 3018186 | 7721 64440 214265 | 35443 32870 16 | 2.130 % |
975.16/975.16 c | 3020235 | 7721 64440 214265 | 34685 34919 17 | 2.130 % |
976.46/976.47 c | 3024331 | 7721 64440 214265 | 34685 33758 16 | 2.130 % |
979.56/979.55 c | 3032524 | 7717 64428 214241 | 34024 30985 16 | 2.180 % |
985.86/985.84 c | 3048908 | 7717 64428 214241 | 33423 33106 17 | 2.180 % |
996.16/996.20 c | 3081677 | 7711 64165 213458 | 2147483647 27993 17 | 2.256 % |
1019.06/1019.05 c | 3147216 | 7710 64138 213395 | 29624 29772 16 | 2.269 % |
1019.16/1019.20 c | 3147728 | 7710 64138 213395 | 29624 26774 16 | 2.269 % |
1019.36/1019.34 c | 3148240 | 7710 64138 213395 | 29624 27286 16 | 2.269 % |
1019.56/1019.59 c | 3149264 | 7710 64138 213395 | 29624 28310 16 | 2.269 % |
1019.76/1019.71 c | 3149776 | 7710 64138 213395 | 29624 28822 16 | 2.269 % |
1019.87/1019.83 c | 3150289 | 7710 64138 213395 | 29046 29335 16 | 2.269 % |
1020.06/1020.06 c | 3151313 | 7710 64138 213395 | 29046 27080 15 | 2.269 % |
1020.56/1020.51 c | 3153361 | 7710 64138 213395 | 29046 29128 16 | 2.269 % |
1020.76/1020.71 c | 3153873 | 7710 64138 213395 | 29046 26705 15 | 2.269 % |
1020.86/1020.81 c | 3154385 | 7710 64138 213395 | 29046 27217 15 | 2.269 % |
1021.06/1021.07 c | 3155409 | 7710 64138 213395 | 29046 28241 15 | 2.269 % |
1021.16/1021.20 c | 3155923 | 7710 64138 213395 | 29046 28755 16 | 2.269 % |
1021.36/1021.33 c | 3156435 | 7710 64138 213395 | 29046 29267 16 | 2.269 % |
1021.56/1021.60 c | 3157461 | 7710 64138 213395 | 29046 27367 15 | 2.269 % |
1022.07/1022.04 c | 3159509 | 7710 64138 213395 | 29046 29415 16 | 2.269 % |
1022.96/1022.93 c | 3163606 | 7710 64138 213395 | 2147483647 30571 16 | 2.269 % |
1023.06/1023.04 c | 3164119 | 7710 64138 213395 | 2147483647 31084 16 | 2.269 % |
1023.17/1023.18 c | 3164633 | 7710 64138 213395 | 2147483647 31598 16 | 2.269 % |
1023.46/1023.46 c | 3165657 | 7710 64138 213395 | 2147483647 32622 16 | 2.269 % |
1023.56/1023.59 c | 3166169 | 7710 64138 213395 | 2147483647 33134 16 | 2.269 % |
1023.66/1023.65 c | 3166681 | 7710 64138 213395 | 2147483647 33646 16 | 2.269 % |
1023.96/1023.92 c | 3167705 | 7710 64138 213395 | 2147483647 34670 16 | 2.269 % |
1024.66/1024.62 c | 3169753 | 7710 64138 213395 | 2147483647 36718 17 | 2.269 % |
1024.86/1024.81 c | 3170267 | 7710 64138 213395 | 36966 37232 17 | 2.269 % |
1025.06/1025.05 c | 3170780 | 7710 64138 213395 | 36966 33344 16 | 2.269 % |
1025.45/1025.40 c | 3171804 | 7710 64138 213395 | 36966 34368 16 | 2.269 % |
1025.55/1025.57 c | 3172316 | 7710 64138 213395 | 36966 34880 17 | 2.269 % |
1025.75/1025.76 c | 3172830 | 7710 64138 213395 | 36966 35394 17 | 2.269 % |
1026.05/1026.09 c | 3173854 | 7710 64138 213395 | 36966 36418 17 | 2.269 % |
1026.75/1026.73 c | 3175905 | 7710 64138 213395 | 36966 33385 17 | 2.269 % |
1028.05/1028.02 c | 3180001 | 7710 64138 213395 | 37480 37481 17 | 2.269 % |
1030.66/1030.70 c | 3188193 | 7710 64138 213395 | 37480 35476 17 | 2.269 % |
1030.86/1030.85 c | 3188705 | 7710 64138 213395 | 37480 35988 17 | 2.269 % |
1031.06/1031.06 c | 3189217 | 7710 64138 213395 | 37480 36500 17 | 2.269 % |
1031.46/1031.45 c | 3190241 | 7710 64138 213395 | 37284 37524 17 | 2.269 % |
1031.66/1031.67 c | 3190753 | 7710 64138 213395 | 37284 33051 17 | 2.269 % |
1031.86/1031.86 c | 3191265 | 7710 64138 213395 | 37284 33563 17 | 2.269 % |
1032.26/1032.25 c | 3192289 | 7710 64138 213395 | 37284 34587 17 | 2.269 % |
1033.16/1033.20 c | 3194338 | 7710 64138 213395 | 37284 36636 17 | 2.269 % |
1033.46/1033.44 c | 3194852 | 7710 64138 213395 | 37284 37150 17 | 2.269 % |
1033.66/1033.64 c | 3195365 | 7710 64138 213395 | 37284 37663 17 | 2.269 % |
1034.06/1034.03 c | 3196389 | 7710 64138 213395 | 37284 33112 17 | 2.269 % |
1034.16/1034.20 c | 3196903 | 7710 64138 213395 | 37284 33626 17 | 2.269 % |
1034.36/1034.40 c | 3197415 | 7710 64138 213395 | 37284 34138 17 | 2.269 % |
1034.86/1034.85 c | 3198439 | 7710 64138 213395 | 37284 35162 17 | 2.269 % |
1035.76/1035.72 c | 3200487 | 7710 64138 213395 | 36725 31689 17 | 2.269 % |
1036.96/1036.98 c | 3204585 | 7710 64138 213395 | 36725 35787 17 | 2.269 % |
1037.16/1037.21 c | 3205101 | 7710 64138 213395 | 36725 36303 17 | 2.269 % |
1037.46/1037.41 c | 3205613 | 7710 64138 213395 | 36725 36815 17 | 2.269 % |
1037.86/1037.86 c | 3206637 | 7710 64138 213395 | 36725 32200 16 | 2.269 % |
1038.06/1038.02 c | 3207150 | 7710 64138 213395 | 36725 32713 16 | 2.269 % |
1038.26/1038.23 c | 3207662 | 7710 64138 213395 | 36725 33225 16 | 2.269 % |
1038.46/1038.49 c | 3208688 | 7710 64138 213395 | 36725 34251 16 | 2.269 % |
1039.26/1039.27 c | 3210736 | 7710 64138 213395 | 35563 30600 16 | 2.269 % |
1039.46/1039.41 c | 3211248 | 7710 64138 213395 | 35563 31112 16 | 2.269 % |
1039.56/1039.56 c | 3211760 | 7710 64138 213395 | 35563 31624 16 | 2.269 % |
1039.96/1039.98 c | 3212785 | 7710 64138 213395 | 35563 32649 16 | 2.269 % |
1040.16/1040.20 c | 3213299 | 7710 64138 213395 | 35563 33163 16 | 2.269 % |
1040.46/1040.43 c | 3213813 | 7710 64138 213395 | 35563 33677 16 | 2.269 % |
1040.86/1040.84 c | 3214837 | 7710 64138 213395 | 35563 34701 16 | 2.269 % |
1041.56/1041.58 c | 3216885 | 7710 64138 213395 | 35563 30432 16 | 2.269 % |
1042.86/1042.86 c | 3220981 | 7710 64138 213395 | 33547 29038 16 | 2.269 % |
1045.56/1045.52 c | 3229173 | 7710 64138 213395 | 33547 32063 17 | 2.269 % |
1050.56/1050.57 c | 3245557 | 7710 64138 213395 | 29479 27638 17 | 2.269 % |
1050.76/1050.72 c | 3246069 | 7710 64138 213395 | 29479 28150 17 | 2.269 % |
1050.86/1050.85 c | 3246582 | 7710 64138 213395 | 29479 28663 17 | 2.269 % |
1051.06/1051.07 c | 3247607 | 7710 64138 213395 | 29479 29688 17 | 2.269 % |
1051.16/1051.20 c | 3248121 | 7710 64138 213395 | 29479 26890 17 | 2.269 % |
1051.26/1051.28 c | 3248634 | 7710 64138 213395 | 29479 27403 17 | 2.269 % |
1051.56/1051.56 c | 3249660 | 7710 64138 213395 | 29479 28429 17 | 2.269 % |
1052.06/1052.04 c | 3251709 | 7710 64138 213395 | 28770 27360 17 | 2.269 % |
1052.26/1052.22 c | 3252221 | 7710 64138 213395 | 28770 27872 17 | 2.269 % |
1052.36/1052.33 c | 3252735 | 7710 64138 213395 | 28770 28386 17 | 2.269 % |
1052.66/1052.66 c | 3253760 | 7710 64138 213395 | 28770 26397 16 | 2.269 % |
1052.76/1052.78 c | 3254272 | 7710 64138 213395 | 28770 26909 16 | 2.269 % |
1052.96/1052.91 c | 3254784 | 7710 64138 213395 | 28770 27421 16 | 2.269 % |
1053.16/1053.13 c | 3255810 | 7710 64138 213395 | 28770 28447 16 | 2.269 % |
1053.66/1053.68 c | 3257858 | 7710 64138 213395 | 28770 27568 17 | 2.269 % |
1054.76/1054.76 c | 3261954 | 7710 64138 213395 | 2147483647 28734 17 | 2.269 % |
1054.86/1054.88 c | 3262466 | 7710 64138 213395 | 2147483647 29246 17 | 2.269 % |
1055.06/1055.03 c | 3262978 | 7710 64138 213395 | 2147483647 29758 17 | 2.269 % |
1055.36/1055.35 c | 3264002 | 7710 64138 213395 | 2147483647 30782 17 | 2.269 % |
1055.56/1055.54 c | 3264515 | 7710 64138 213395 | 2147483647 31295 17 | 2.269 % |
1055.76/1055.73 c | 3265027 | 7710 64138 213395 | 2147483647 31807 17 | 2.269 % |
1055.96/1055.99 c | 3266054 | 7710 64138 213395 | 2147483647 32834 17 | 2.269 % |
1056.66/1056.68 c | 3268102 | 7710 64138 213395 | 2147483647 34882 17 | 2.269 % |
1056.86/1056.91 c | 3268615 | 7710 64138 213395 | 2147483647 35395 17 | 2.269 % |
1057.16/1057.11 c | 3269128 | 7710 64138 213395 | 2147483647 35908 17 | 2.269 % |
1057.56/1057.56 c | 3270152 | 7710 64138 213395 | 36780 36932 18 | 2.269 % |
1057.76/1057.79 c | 3270667 | 7710 64138 213395 | 36780 32542 17 | 2.269 % |
1057.96/1057.95 c | 3271179 | 7710 64138 213395 | 36780 33054 17 | 2.269 % |
1058.26/1058.30 c | 3272203 | 7710 64138 213395 | 36780 34078 17 | 2.269 % |
1059.16/1059.13 c | 3274254 | 7710 64138 213395 | 36780 36129 17 | 2.269 % |
1060.66/1060.65 c | 3278353 | 7710 64138 213395 | 36780 34426 17 | 2.269 % |
1063.96/1064.00 c | 3286545 | 7710 64138 213395 | 36073 30524 16 | 2.269 % |
1064.26/1064.21 c | 3287058 | 7710 64138 213395 | 36073 31037 16 | 2.269 % |
1064.36/1064.35 c | 3287571 | 7710 64138 213395 | 36073 31550 16 | 2.269 % |
1064.76/1064.75 c | 3288596 | 7710 64138 213395 | 36073 32575 16 | 2.269 % |
1064.96/1064.98 c | 3289109 | 7710 64138 213395 | 36073 33088 16 | 2.269 % |
1065.16/1065.20 c | 3289621 | 7708 64113 213335 | 36073 33597 16 | 2.294 % |
1065.66/1065.68 c | 3290645 | 7708 64113 213335 | 33977 29026 16 | 2.294 % |
1066.46/1066.44 c | 3292694 | 7708 64113 213335 | 33977 31075 16 | 2.294 % |
1066.56/1066.58 c | 3293206 | 7708 64113 213335 | 33977 31587 16 | 2.294 % |
1066.76/1066.75 c | 3293718 | 7707 64110 213329 | 33977 32097 16 | 2.307 % |
1067.06/1067.08 c | 3294742 | 7707 64110 213329 | 33977 33121 16 | 2.307 % |
1067.26/1067.23 c | 3295254 | 7707 64110 213329 | 33977 33633 16 | 2.307 % |
1067.36/1067.36 c | 3295767 | 7707 64110 213329 | 33977 34146 16 | 2.307 % |
1067.76/1067.72 c | 3296791 | 7707 64110 213329 | 33977 29662 16 | 2.307 % |
1068.26/1068.23 c | 3298840 | 7707 64110 213329 | 33977 31711 16 | 2.307 % |
1069.56/1069.60 c | 3302937 | 7707 64110 213329 | 32871 30882 16 | 2.307 % |
1069.76/1069.77 c | 3303450 | 7707 64110 213329 | 32871 31395 16 | 2.307 % |
1069.96/1069.96 c | 3303962 | 7707 64110 213329 | 32871 31907 16 | 2.307 % |
1070.46/1070.42 c | 3304987 | 7707 64110 213329 | 32871 32932 16 | 2.307 % |
1070.66/1070.60 c | 3305499 | 7707 64110 213329 | 32871 28751 16 | 2.307 % |
1070.76/1070.76 c | 3306011 | 7707 64110 213329 | 32871 29263 16 | 2.307 % |
1071.06/1071.04 c | 3307035 | 7707 64110 213329 | 32871 30287 16 | 2.307 % |
1071.66/1071.63 c | 3309086 | 7707 64110 213329 | 32871 32338 16 | 2.307 % |
1071.86/1071.84 c | 3309599 | 7707 64110 213329 | 32871 32851 16 | 2.307 % |
1071.96/1071.95 c | 3310111 | 7707 64110 213329 | 33252 33363 17 | 2.307 % |
1072.26/1072.30 c | 3311138 | 7707 64110 213329 | 33252 29626 16 | 2.307 % |
1072.46/1072.45 c | 3311650 | 7707 64110 213329 | 33252 30138 16 | 2.307 % |
1072.56/1072.57 c | 3312163 | 7707 64110 213329 | 33252 30651 16 | 2.307 % |
1072.86/1072.82 c | 3313187 | 7707 64110 213329 | 33252 31675 16 | 2.307 % |
1073.46/1073.42 c | 3315236 | 7707 64110 213329 | 33252 28881 16 | 2.307 % |
1074.66/1074.62 c | 3319332 | 7707 64110 213329 | 33252 32977 17 | 2.307 % |
1077.36/1077.33 c | 3327526 | 7704 64019 213063 | 29102 29224 16 | 2.345 % |
1082.46/1082.42 c | 3343910 | 7704 64019 213063 | 2147483647 30485 16 | 2.345 % |
1093.96/1093.98 c | 3376678 | 7704 64019 213063 | 35161 30973 15 | 2.345 % |
1094.16/1094.12 c | 3377194 | 7704 64019 213063 | 35161 31489 15 | 2.345 % |
1094.26/1094.26 c | 3377706 | 7704 64019 213063 | 35161 32001 15 | 2.345 % |
1094.67/1094.62 c | 3378732 | 7704 64019 213063 | 35161 33027 15 | 2.345 % |
1094.76/1094.79 c | 3379245 | 7704 64019 213063 | 35161 33540 15 | 2.345 % |
1094.96/1094.91 c | 3379759 | 7704 64019 213063 | 35161 34054 15 | 2.345 % |
1095.26/1095.23 c | 3380786 | 7704 64019 213063 | 34295 29655 15 | 2.345 % |
1095.77/1095.76 c | 3382837 | 7704 64019 213063 | 34295 31706 15 | 2.345 % |
1095.86/1095.88 c | 3383350 | 7704 64019 213063 | 34295 32219 15 | 2.345 % |
1095.96/1096.00 c | 3383862 | 7704 64019 213063 | 34295 32731 15 | 2.345 % |
1096.36/1096.33 c | 3384888 | 7704 64019 213063 | 34295 33757 16 | 2.345 % |
1096.46/1096.49 c | 3385400 | 7704 64019 213063 | 34295 34269 16 | 2.345 % |
1096.66/1096.68 c | 3385912 | 7704 64019 213063 | 34295 29751 15 | 2.345 % |
1096.96/1096.97 c | 3386936 | 7704 64019 213063 | 34295 30775 15 | 2.345 % |
1097.56/1097.59 c | 3388984 | 7704 64019 213063 | 34295 32823 16 | 2.345 % |
1098.76/1098.76 c | 3393081 | 7704 64019 213063 | 33839 32210 16 | 2.345 % |
1098.96/1098.91 c | 3393596 | 7704 64019 213063 | 33839 32725 16 | 2.345 % |
1099.07/1099.07 c | 3394108 | 7704 64019 213063 | 33839 33237 16 | 2.345 % |
1099.46/1099.45 c | 3395132 | 7704 64019 213063 | 33839 29485 16 | 2.345 % |
1099.66/1099.61 c | 3395647 | 7704 64019 213063 | 33839 30000 16 | 2.345 % |
1099.76/1099.80 c | 3396160 | 7704 64019 213063 | 33839 30513 16 | 2.345 % |
1100.06/1100.11 c | 3397185 | 7704 64019 213063 | 33839 31538 16 | 2.345 % |
1100.86/1100.88 c | 3399234 | 7704 64019 213063 | 33839 33587 16 | 2.345 % |
1101.06/1101.06 c | 3399746 | 7704 64019 213063 | 33839 34099 16 | 2.345 % |
1101.27/1101.28 c | 3400259 | 7704 64019 213063 | 29508 29767 16 | 2.345 % |
1101.56/1101.59 c | 3401283 | 7704 64019 213063 | 29508 26605 15 | 2.345 % |
1101.76/1101.73 c | 3401795 | 7704 64019 213063 | 29508 27117 15 | 2.345 % |
1101.86/1101.88 c | 3402309 | 7704 64019 213063 | 29508 27631 15 | 2.345 % |
1102.26/1102.29 c | 3403334 | 7704 64019 213063 | 29508 28656 16 | 2.345 % |
1103.06/1103.01 c | 3405382 | 7704 64019 213063 | 29508 26751 15 | 2.345 % |
1104.36/1104.32 c | 3409479 | 7704 64019 213063 | 29508 27105 15 | 2.345 % |
1106.66/1106.61 c | 3417671 | 7704 64019 213063 | 27626 25277 14 | 2.345 % |
1106.77/1106.78 c | 3418184 | 7704 64019 213063 | 27626 25790 14 | 2.345 % |
1106.96/1106.93 c | 3418696 | 7704 64019 213063 | 27626 26302 14 | 2.345 % |
1107.26/1107.22 c | 3419722 | 7704 64019 213063 | 27626 27328 14 | 2.345 % |
1107.36/1107.35 c | 3420235 | 7704 64019 213063 | 27606 27841 14 | 2.345 % |
1107.56/1107.55 c | 3420748 | 7704 64019 213063 | 27606 25040 14 | 2.345 % |
1107.87/1107.85 c | 3421772 | 7704 64019 213063 | 27606 26064 14 | 2.345 % |
1108.36/1108.35 c | 3423820 | 7704 64019 213063 | 27606 25044 14 | 2.345 % |
1108.56/1108.51 c | 3424333 | 7702 63995 213006 | 27606 25553 14 | 2.370 % |
1108.66/1108.61 c | 3424847 | 7702 63995 213006 | 27606 26067 14 | 2.370 % |
1108.97/1108.91 c | 3425871 | 7702 63995 213006 | 27606 27091 14 | 2.370 % |
1109.06/1109.07 c | 3426386 | 7702 63995 213006 | 27606 27606 15 | 2.370 % |
1109.16/1109.18 c | 3426899 | 7702 63995 213006 | 27606 28119 15 | 2.370 % |
1109.46/1109.46 c | 3427924 | 7702 63995 213006 | 27606 26080 15 | 2.370 % |
1110.07/1110.07 c | 3429973 | 7702 63995 213006 | 27606 24938 14 | 2.370 % |
1111.06/1111.08 c | 3434072 | 7702 63995 213006 | 24965 23829 15 | 2.370 % |
1111.26/1111.22 c | 3434584 | 7702 63995 213006 | 24965 24341 15 | 2.370 % |
1111.36/1111.35 c | 3435098 | 7702 63995 213006 | 24965 24855 15 | 2.370 % |
1111.66/1111.61 c | 3436123 | 7702 63995 213006 | 24965 23358 15 | 2.370 % |
1111.76/1111.76 c | 3436635 | 7702 63995 213006 | 24965 23870 15 | 2.370 % |
1111.86/1111.87 c | 3437147 | 7702 63995 213006 | 24965 24382 15 | 2.370 % |
1112.16/1112.17 c | 3438174 | 7702 63995 213006 | 24965 22881 15 | 2.370 % |
1112.66/1112.66 c | 3440223 | 7702 63995 213006 | 2147483647 24930 15 | 2.370 % |
1112.76/1112.80 c | 3440737 | 7702 63995 213006 | 2147483647 25444 15 | 2.370 % |
1112.96/1112.94 c | 3441249 | 7702 63995 213006 | 2147483647 25956 15 | 2.370 % |
1113.26/1113.20 c | 3442274 | 7702 63995 213006 | 2147483647 26981 15 | 2.370 % |
1113.37/1113.36 c | 3442788 | 7702 63995 213006 | 2147483647 27495 15 | 2.370 % |
1113.56/1113.54 c | 3443300 | 7702 63995 213006 | 2147483647 28007 15 | 2.370 % |
1113.96/1113.91 c | 3444325 | 7702 63995 213006 | 2147483647 29032 15 | 2.370 % |
1114.56/1114.50 c | 3446373 | 7702 63995 213006 | 2147483647 31080 15 | 2.370 % |
1115.96/1115.98 c | 3450470 | 7702 63995 213006 | 34707 30570 15 | 2.370 % |
1118.87/1118.84 c | 3458662 | 7701 63979 212973 | 34707 34146 15 | 2.383 % |
1124.06/1124.05 c | 3475046 | 7698 63623 211646 | 28998 26495 15 | 2.421 % |
1124.16/1124.18 c | 3475558 | 7698 63623 211646 | 28998 27007 15 | 2.421 % |
1124.37/1124.34 c | 3476071 | 7698 63623 211646 | 28998 27520 15 | 2.421 % |
1124.66/1124.61 c | 3477095 | 7698 63623 211646 | 28998 28544 15 | 2.421 % |
1124.76/1124.76 c | 3477608 | 7698 63623 211646 | 28998 29057 15 | 2.421 % |
1124.96/1124.92 c | 3478120 | 7698 63623 211646 | 28998 26178 15 | 2.421 % |
1125.26/1125.22 c | 3479144 | 7698 63623 211646 | 28998 27202 15 | 2.421 % |
1125.76/1125.79 c | 3481193 | 7698 63623 211646 | 28058 25856 14 | 2.421 % |
1125.96/1125.94 c | 3481707 | 7698 63623 211646 | 28058 26370 14 | 2.421 % |
1126.17/1126.11 c | 3482219 | 7698 63623 211646 | 28058 26882 15 | 2.421 % |
1126.47/1126.41 c | 3483245 | 7698 63623 211646 | 28058 27908 15 | 2.421 % |
1126.67/1126.62 c | 3483758 | 7698 63623 211646 | 28058 25495 14 | 2.421 % |
1126.77/1126.78 c | 3484270 | 7698 63623 211646 | 28058 26007 14 | 2.421 % |
1127.07/1127.07 c | 3485294 | 7698 63623 211646 | 28058 27031 15 | 2.421 % |
1127.67/1127.69 c | 3487342 | 7698 63623 211646 | 28058 26042 15 | 2.421 % |
1128.97/1128.93 c | 3491438 | 7698 63623 211646 | 25538 23982 15 | 2.421 % |
1129.07/1129.06 c | 3491951 | 7698 63623 211646 | 25538 24495 15 | 2.421 % |
1129.27/1129.23 c | 3492463 | 7698 63623 211646 | 25538 25007 15 | 2.421 % |
1129.47/1129.47 c | 3493487 | 7698 63623 211646 | 25538 23129 15 | 2.421 % |
1129.67/1129.62 c | 3493999 | 7698 63623 211646 | 25538 23641 15 | 2.421 % |
1129.77/1129.75 c | 3494512 | 7698 63623 211646 | 25538 24154 15 | 2.421 % |
1130.07/1130.07 c | 3495538 | 7698 63623 211646 | 25538 25180 15 | 2.421 % |
1130.77/1130.72 c | 3497587 | 7698 63623 211646 | 25538 24425 15 | 2.421 % |
1130.87/1130.87 c | 3498099 | 7688 63042 209091 | 25538 23448 15 | 2.548 % |
1130.97/1130.99 c | 3498611 | 7688 63042 209091 | 25538 23960 15 | 2.548 % |
1131.27/1131.22 c | 3499635 | 7688 63042 209091 | 25538 24984 15 | 2.548 % |
1131.37/1131.38 c | 3500147 | 7688 63042 209091 | 25352 25496 15 | 2.548 % |
1131.57/1131.55 c | 3500661 | 7688 63042 209091 | 25352 23276 15 | 2.548 % |
1131.87/1131.87 c | 3501686 | 7688 63042 209091 | 25352 24301 15 | 2.548 % |
1132.37/1132.39 c | 3503738 | 7688 63042 209091 | 25352 23634 16 | 2.548 % |
1133.67/1133.68 c | 3507834 | 7688 63042 209091 | 25352 25071 15 | 2.548 % |
1135.97/1135.95 c ===============================================================================
1135.97/1135.95 c restarts : 1500
1135.97/1135.95 c conflicts : 3515538 (3098 /sec)
1135.97/1135.95 c decisions : 5298828 (1.80 % random) (4670 /sec)
1135.97/1135.95 c propagations : 798601953 (703862 /sec)
1135.97/1135.95 c conflict literals : 71906939 (33.37 % deleted)
1135.97/1135.95 c Memory used : 14.17 MB
1135.97/1135.95 c CPU time : 1134.6 s
1135.97/1135.95 c
1135.97/1135.95 s UNSATISFIABLE
1135.97/1135.95 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821347-1242521899/watcher-1821347-1242521899 -o /tmp/evaluation-result-1821347-1242521899/solver-1821347-1242521899 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821347-1242521899.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: 0.96 0.97 0.96 2/93 14950
/proc/meminfo: memFree=429084/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2412 CPUtime=0.01
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 366 642 0 0 0 0 0 1 18 0 1 0 1016687093 2469888 276 4294967295 134512640 135169312 3217696752 3217695288 3085709038 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14950/statm: 603 276 235 161 0 42 0
[pid=14954] ppid=14950 vsize=956 CPUtime=0
/proc/14954/stat : 14954 (SatELite_releas) R 14950 14950 14060 0 -1 4202496 133 0 0 0 0 0 0 0 20 0 1 0 1016687094 978944 68 4294967295 134512640 135223648 3216604880 3216603832 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14954/statm: 239 68 47 174 0 64 0
[startup+0.112094 s]
/proc/loadavg: 0.96 0.97 0.96 2/93 14950
/proc/meminfo: memFree=429084/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2412 CPUtime=0.01
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 366 642 0 0 0 0 0 1 18 0 1 0 1016687093 2469888 276 4294967295 134512640 135169312 3217696752 3217695288 3085709038 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14950/statm: 603 276 235 161 0 42 0
[pid=14954] ppid=14950 vsize=13108 CPUtime=0.11
/proc/14954/stat : 14954 (SatELite_releas) R 14950 14950 14060 0 -1 4202496 2984 0 0 0 7 4 0 0 20 0 1 0 1016687094 13422592 2919 4294967295 134512640 135223648 3216604880 3216603464 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14954/statm: 3277 2920 47 174 0 3102 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 15520
[startup+0.212085 s]
/proc/loadavg: 0.96 0.97 0.96 2/93 14950
/proc/meminfo: memFree=429084/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2412 CPUtime=0.01
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 366 642 0 0 0 0 0 1 18 0 1 0 1016687093 2469888 276 4294967295 134512640 135169312 3217696752 3217695288 3085709038 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14950/statm: 603 276 235 161 0 42 0
[pid=14954] ppid=14950 vsize=21988 CPUtime=0.21
/proc/14954/stat : 14954 (SatELite_releas) R 14950 14950 14060 0 -1 4202496 4516 0 0 0 17 4 0 0 21 0 1 0 1016687094 22515712 4451 4294967295 134512640 135223648 3216604880 3216602960 134548581 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14954/statm: 5497 4451 72 174 0 5322 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 24400
[startup+0.312077 s]
/proc/loadavg: 0.96 0.97 0.96 2/93 14950
/proc/meminfo: memFree=429084/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2412 CPUtime=0.01
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 366 642 0 0 0 0 0 1 18 0 1 0 1016687093 2469888 276 4294967295 134512640 135169312 3217696752 3217695288 3085709038 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14950/statm: 603 276 235 161 0 42 0
[pid=14954] ppid=14950 vsize=21988 CPUtime=0.31
/proc/14954/stat : 14954 (SatELite_releas) R 14950 14950 14060 0 -1 4202496 4522 0 0 0 27 4 0 0 21 0 1 0 1016687094 22515712 4457 4294967295 134512640 135223648 3216604880 3216602960 134548565 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14954/statm: 5497 4457 72 174 0 5322 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 24400
[startup+0.712042 s]
/proc/loadavg: 0.96 0.97 0.96 2/93 14950
/proc/meminfo: memFree=429084/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2412 CPUtime=0.01
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 366 642 0 0 0 0 0 1 18 0 1 0 1016687093 2469888 276 4294967295 134512640 135169312 3217696752 3217695288 3085709038 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14950/statm: 603 276 235 161 0 42 0
[pid=14954] ppid=14950 vsize=21884 CPUtime=0.71
/proc/14954/stat : 14954 (SatELite_releas) R 14950 14950 14060 0 -1 4202496 4910 0 0 0 66 5 0 0 22 0 1 0 1016687094 22409216 4449 4294967295 134512640 135223648 3216604880 3216602656 134585366 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14954/statm: 5471 4449 73 174 0 5296 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 24296
[startup+1.51197 s]
/proc/loadavg: 0.96 0.97 0.96 2/95 14955
/proc/meminfo: memFree=409088/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 2416
[startup+3.11183 s]
/proc/loadavg: 0.96 0.97 0.96 2/95 14956
/proc/meminfo: memFree=420124/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=7668 CPUtime=1.92
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 1839 0 0 0 192 0 0 0 25 0 1 0 1016687213 7852032 1774 4294967295 134512640 135216591 3214576960 3214575152 134528888 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14956/statm: 1917 1774 75 172 0 1744 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 10084
[startup+6.31156 s]
/proc/loadavg: 0.97 0.97 0.96 2/95 14956
/proc/meminfo: memFree=417520/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=9812 CPUtime=5.11
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 2370 0 0 0 510 1 0 0 25 0 1 0 1016687213 10047488 2305 4294967295 134512640 135216591 3214576960 3214575152 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14956/statm: 2453 2305 75 172 0 2280 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 12228
[startup+12.711 s]
/proc/loadavg: 0.97 0.97 0.96 2/95 14956
/proc/meminfo: memFree=415476/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=11384 CPUtime=11.47
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 2752 0 0 0 1146 1 0 0 25 0 1 0 1016687213 11657216 2687 4294967295 134512640 135216591 3214576960 3214575072 134534336 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14956/statm: 2846 2687 75 172 0 2673 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 13800
[startup+25.5099 s]
/proc/loadavg: 0.97 0.97 0.96 2/95 14957
/proc/meminfo: memFree=415292/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=11660 CPUtime=24.27
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 2814 0 0 0 2426 1 0 0 25 0 1 0 1016687213 11939840 2749 4294967295 134512640 135216591 3214576960 3214575152 134528939 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14956/statm: 2915 2749 75 172 0 2742 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 14076
[startup+51.1177 s]
/proc/loadavg: 0.98 0.97 0.96 2/95 15145
/proc/meminfo: memFree=414980/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=11816 CPUtime=49.88
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 2870 0 0 0 4987 1 0 0 25 0 1 0 1016687213 12099584 2805 4294967295 134512640 135216591 3214576960 3214575152 134528839 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14956/statm: 2954 2805 75 172 0 2781 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 14232
[startup+102.313 s]
/proc/loadavg: 0.99 0.97 0.96 2/95 15329
/proc/meminfo: memFree=414196/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=12228 CPUtime=101.08
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 2946 0 0 0 10105 3 0 0 25 0 1 0 1016687213 12521472 2881 4294967295 134512640 135216591 3214576960 3214574928 134538710 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14956/statm: 3057 2881 75 172 0 2884 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14644
[startup+162.318 s]
/proc/loadavg: 0.99 0.97 0.96 2/95 15517
/proc/meminfo: memFree=413808/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=12524 CPUtime=161.09
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3015 0 0 0 16104 5 0 0 25 0 1 0 1016687213 12824576 2950 4294967295 134512640 135216591 3214576960 3214575152 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14956/statm: 3131 2950 75 172 0 2958 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 14940
[startup+222.323 s]
/proc/loadavg: 0.99 0.97 0.96 3/95 15706
/proc/meminfo: memFree=413460/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=12800 CPUtime=221.1
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3083 0 0 0 22105 5 0 0 25 0 1 0 1016687213 13107200 3018 4294967295 134512640 135216591 3214576960 3214575152 134529240 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14956/statm: 3200 3018 75 172 0 3027 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 15216
[startup+282.318 s]
/proc/loadavg: 0.99 0.97 0.96 2/95 15895
/proc/meminfo: memFree=413436/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=12932 CPUtime=281.1
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3137 0 0 0 28105 5 0 0 25 0 1 0 1016687213 13242368 3072 4294967295 134512640 135216591 3214576960 3214575152 134528942 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14956/statm: 3233 3072 75 172 0 3060 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 15348
[startup+342.302 s]
/proc/loadavg: 1.05 0.99 0.97 3/95 16090
/proc/meminfo: memFree=413388/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=13068 CPUtime=341.09
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3173 0 0 0 34104 5 0 0 25 0 1 0 1016687213 13381632 3108 4294967295 134512640 135216591 3214576960 3214575152 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14956/statm: 3267 3108 75 172 0 3094 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 15484
[startup+402.307 s]
################
# More data... #
################
[startup+762.316 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 17408
/proc/meminfo: memFree=412660/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=14056 CPUtime=761.14
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3384 0 0 0 76104 10 0 0 25 0 1 0 1016687213 14393344 3319 4294967295 134512640 135216591 3214576960 3214575152 134528894 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14956/statm: 3514 3319 75 172 0 3341 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 16472
[startup+822.311 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 17596
/proc/meminfo: memFree=412668/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=14056 CPUtime=821.14
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3406 0 0 0 82104 10 0 0 25 0 1 0 1016687213 14393344 3341 4294967295 134512640 135216591 3214576960 3214575152 134529029 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14956/statm: 3514 3341 75 172 0 3341 0
Current children cumulated CPU time (s) 822.34
Current children cumulated vsize (KiB) 16472
[startup+882.316 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 17785
/proc/meminfo: memFree=412560/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=14204 CPUtime=881.15
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3421 0 0 0 88105 10 0 0 25 0 1 0 1016687213 14544896 3356 4294967295 134512640 135216591 3214576960 3214575152 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14956/statm: 3551 3356 75 172 0 3378 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 16620
[startup+942.32 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 17974
/proc/meminfo: memFree=412404/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=14204 CPUtime=941.16
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3434 0 0 0 94106 10 0 0 25 0 1 0 1016687213 14544896 3369 4294967295 134512640 135216591 3214576960 3214575152 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14956/statm: 3551 3369 75 172 0 3378 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 16620
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18158
/proc/meminfo: memFree=412824/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=14344 CPUtime=1001.16
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3449 0 0 0 100106 10 0 0 25 0 1 0 1016687213 14688256 3384 4294967295 134512640 135216591 3214576960 3214575152 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14956/statm: 3586 3384 75 172 0 3413 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 16760
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18346
/proc/meminfo: memFree=412304/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=14344 CPUtime=1061.16
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3466 0 0 0 106096 20 0 0 25 0 1 0 1016687213 14688256 3401 4294967295 134512640 135216591 3214576960 3214575152 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14956/statm: 3586 3401 75 172 0 3413 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 16760
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18543
/proc/meminfo: memFree=412312/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=14344 CPUtime=1121.16
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3480 0 0 0 112096 20 0 0 25 0 1 0 1016687213 14688256 3415 4294967295 134512640 135216591 3214576960 3214575152 134528969 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14956/statm: 3586 3415 75 172 0 3413 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 16760
Solver just ended. Dumping a history of the last processes samples
[startup+1126.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18543
/proc/meminfo: memFree=412312/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=14504 CPUtime=1125.27
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3487 0 0 0 112507 20 0 0 25 0 1 0 1016687213 14852096 3422 4294967295 134512640 135216591 3214576960 3214565604 134744494 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14956/statm: 3626 3422 75 172 0 3453 0
Current children cumulated CPU time (s) 1126.47
Current children cumulated vsize (KiB) 16920
[startup+1132.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18543
/proc/meminfo: memFree=412376/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=14504 CPUtime=1131.67
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3487 0 0 0 113147 20 0 0 25 0 1 0 1016687213 14852096 3422 4294967295 134512640 135216591 3214576960 3214575152 134529023 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14956/statm: 3626 3422 75 172 0 3453 0
Current children cumulated CPU time (s) 1132.87
Current children cumulated vsize (KiB) 16920
[startup+1134.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18543
/proc/meminfo: memFree=412376/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=14504 CPUtime=1133.27
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3487 0 0 0 113307 20 0 0 25 0 1 0 1016687213 14852096 3422 4294967295 134512640 135216591 3214576960 3214574928 134539421 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14956/statm: 3626 3422 75 172 0 3453 0
Current children cumulated CPU time (s) 1134.47
Current children cumulated vsize (KiB) 16920
[startup+1135.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18543
/proc/meminfo: memFree=412408/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=14504 CPUtime=1134.07
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3487 0 0 0 113387 20 0 0 25 0 1 0 1016687213 14852096 3422 4294967295 134512640 135216591 3214576960 3214575152 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14956/statm: 3626 3422 75 172 0 3453 0
Current children cumulated CPU time (s) 1135.27
Current children cumulated vsize (KiB) 16920
[startup+1135.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18543
/proc/meminfo: memFree=412408/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=14504 CPUtime=1134.47
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3487 0 0 0 113427 20 0 0 25 0 1 0 1016687213 14852096 3422 4294967295 134512640 135216591 3214576960 3214575152 134528888 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14956/statm: 3626 3422 75 172 0 3453 0
Current children cumulated CPU time (s) 1135.67
Current children cumulated vsize (KiB) 16920
[startup+1135.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18543
/proc/meminfo: memFree=412408/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=14504 CPUtime=1134.67
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3487 0 0 0 113447 20 0 0 25 0 1 0 1016687213 14852096 3422 4294967295 134512640 135216591 3214576960 3214575152 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14956/statm: 3626 3422 75 172 0 3453 0
Current children cumulated CPU time (s) 1135.87
Current children cumulated vsize (KiB) 16920
[startup+1135.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18543
/proc/meminfo: memFree=412408/2074464 swapFree=1949056/1959888
[pid=14950] ppid=14948 vsize=2416 CPUtime=1.2
/proc/14950/stat : 14950 (SatELiteGTI) S 14948 14950 14060 0 -1 4194304 385 6011 0 0 0 0 112 8 18 0 1 0 1016687093 2473984 277 4294967295 134512640 135169312 3217696752 3217692968 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14950/statm: 604 277 235 161 0 43 0
[pid=14956] ppid=14950 vsize=14504 CPUtime=1134.77
/proc/14956/stat : 14956 (minisat_static) R 14950 14950 14060 0 -1 4202496 3487 0 0 0 113457 20 0 0 25 0 1 0 1016687213 14852096 3422 4294967295 134512640 135216591 3214576960 3214575152 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14956/statm: 3626 3422 75 172 0 3453 0
Current children cumulated CPU time (s) 1135.97
Current children cumulated vsize (KiB) 16920
Child status: 20
Real time (s): 1135.96
CPU time (s): 1136.01
CPU user time (s): 1135.72
CPU system time (s): 0.29
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 27188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1135.72
system time used= 0.29
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10169
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= 29
involuntary context switches= 2110
runsolver used 0 second user time and 0.03 second system time
The end
Begin job on tipi27 at 2009-05-17 02:58:19
IDJOB=1821347
IDBENCH=70941
IDSOLVER=658
FILE ID=tipi27/1821347-1242521899
PBS_JOBID=
Free space on /tmp= 9071 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821347-1242521899/watcher-1821347-1242521899 -o /tmp/evaluation-result-1821347-1242521899/solver-1821347-1242521899 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821347-1242521899.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= eb4d0d02a25a8a84182ddd3b6d1fa8b5
RANDOM SEED= 1686739378
Linux tipi27 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.389
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.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
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.79
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
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.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
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: 429084 kB
Buffers: 67040 kB
Cached: 1445476 kB
SwapCached: 5508 kB
Active: 689464 kB
Inactive: 832916 kB
HighTotal: 1178688 kB
HighFree: 160808 kB
LowTotal: 895776 kB
LowFree: 268276 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 4492 kB
Writeback: 0 kB
AnonPages: 9064 kB
Mapped: 3248 kB
Slab: 114496 kB
PageTables: 480 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90632 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9071 MiB
End job on tipi27 at 2009-05-17 03:17:16