0.00/0.00 c Parsing...
0.00/0.07 c ==============================================================================
0.00/0.07 c | | ORIGINAL | LEARNT | |
0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.07 c ==============================================================================
0.00/0.07 c | 0 | 38430 456120 | 11528 0 0 nan | 0.000 % |
0.00/0.07 c ==============================================================================
0.00/0.07 c Result : #vars: 45 #clauses: 38430 #literals: 456120
0.00/0.07 c CPU time: 0.048992 s
0.00/0.07 c ==============================================================================
0.00/0.17 c This is MiniSat 2.0 beta
0.00/0.17 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.17 c ============================[ Problem Statistics ]=============================
0.00/0.17 c | |
0.00/0.17 c | Number of variables: 45 |
0.00/0.17 c | Number of clauses: 38430 |
0.15/0.21 c | Parsing time: 0.04 s |
0.15/0.22 c ============================[ Search Statistics ]==============================
0.15/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.15/0.22 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.15/0.22 c ===============================================================================
0.15/0.22 c | 0 | 45 38430 456120 | 12810 0 nan | 0.000 % |
0.15/0.22 c | 100 | 45 38430 456120 | 12810 100 20 | 0.051 % |
0.15/0.23 c | 200 | 45 38430 456120 | 12810 200 19 | 0.051 % |
0.15/0.23 c | 301 | 45 38430 456120 | 12810 301 19 | 0.051 % |
0.15/0.24 c | 412 | 45 38430 456120 | 12810 412 18 | 0.051 % |
0.15/0.25 c | 512 | 45 38430 456120 | 12810 512 18 | 0.051 % |
0.15/0.26 c | 622 | 45 38430 456120 | 12810 622 18 | 0.051 % |
0.15/0.27 c | 743 | 45 38430 456120 | 12810 743 18 | 0.051 % |
0.15/0.28 c | 844 | 45 38430 456120 | 12810 844 18 | 0.051 % |
0.15/0.29 c | 955 | 45 38430 456120 | 12810 955 18 | 0.051 % |
0.15/0.29 c | 1076 | 45 38430 456120 | 12810 1076 18 | 0.051 % |
0.15/0.31 c | 1209 | 45 38430 456120 | 12810 1209 18 | 0.051 % |
0.15/0.32 c | 1310 | 45 38430 456120 | 12810 1310 18 | 0.051 % |
0.15/0.33 c | 1421 | 45 38430 456120 | 12810 1421 18 | 0.051 % |
0.15/0.34 c | 1542 | 45 38430 456120 | 12810 1542 18 | 0.051 % |
0.15/0.35 c | 1675 | 45 38430 456120 | 12810 1675 17 | 0.051 % |
0.15/0.36 c | 1821 | 45 38430 456120 | 12810 1821 17 | 0.051 % |
0.15/0.37 c | 1922 | 45 38430 456120 | 12810 1922 17 | 0.051 % |
0.15/0.38 c | 2033 | 45 38430 456120 | 12810 2033 17 | 0.051 % |
0.15/0.39 c | 2155 | 45 38430 456120 | 12810 2155 17 | 0.051 % |
0.15/0.41 c | 2288 | 45 38430 456120 | 12810 2288 17 | 0.051 % |
0.15/0.42 c | 2434 | 45 38430 456120 | 12810 2434 17 | 0.051 % |
0.15/0.44 c | 2595 | 45 38430 456120 | 12810 2595 17 | 0.051 % |
0.15/0.45 c | 2696 | 45 38430 456120 | 12810 2696 17 | 0.051 % |
0.15/0.46 c | 2806 | 45 38430 456120 | 12810 2806 17 | 0.051 % |
0.15/0.47 c | 2928 | 45 38430 456120 | 12810 2928 17 | 0.051 % |
0.15/0.49 c | 3061 | 45 38430 456120 | 12810 3061 17 | 0.051 % |
0.15/0.51 c | 3207 | 45 38430 456120 | 12810 3207 17 | 0.051 % |
0.15/0.53 c | 3368 | 45 38430 456120 | 12810 3368 17 | 0.051 % |
0.15/0.54 c | 3545 | 45 38430 456120 | 12810 3545 17 | 0.051 % |
0.15/0.56 c | 3646 | 45 38430 456120 | 12810 3646 17 | 0.051 % |
0.15/0.57 c | 3756 | 45 38430 456120 | 12810 3756 17 | 0.051 % |
0.15/0.59 c | 3878 | 45 38430 456120 | 12810 3878 17 | 0.051 % |
0.15/0.60 c | 4011 | 45 38430 456120 | 12810 4011 17 | 0.051 % |
0.15/0.62 c | 4159 | 45 38430 456120 | 12810 4159 17 | 0.051 % |
0.15/0.64 c | 4321 | 45 38430 456120 | 12810 4321 17 | 0.051 % |
0.15/0.66 c | 4497 | 45 38430 456120 | 12810 4497 17 | 0.051 % |
0.15/0.69 c | 4690 | 45 38430 456120 | 12810 4690 17 | 0.051 % |
0.15/0.70 c | 4792 | 45 38430 456120 | 12810 4792 17 | 0.051 % |
0.15/0.71 c | 4903 | 45 38430 456120 | 12810 4903 17 | 0.051 % |
0.15/0.74 c | 5026 | 45 38430 456120 | 12810 5026 17 | 0.051 % |
0.15/0.75 c | 5159 | 45 38430 456120 | 12810 5159 17 | 0.051 % |
0.15/0.78 c | 5307 | 45 38430 456120 | 12810 5307 17 | 0.051 % |
0.15/0.80 c | 5469 | 45 38430 456120 | 12810 5469 17 | 0.051 % |
0.15/0.82 c | 5647 | 45 38430 456120 | 12810 5647 17 | 0.051 % |
0.15/0.85 c | 5842 | 45 38430 456120 | 12810 5842 17 | 0.051 % |
0.15/0.88 c | 6055 | 45 38430 456120 | 12810 6055 17 | 0.051 % |
0.15/0.89 c | 6155 | 45 38430 456120 | 12810 6155 17 | 0.051 % |
0.15/0.90 c | 6266 | 45 38430 456120 | 12810 6266 17 | 0.051 % |
0.15/0.92 c | 6387 | 45 38430 456120 | 12810 6387 17 | 0.051 % |
0.15/0.93 c | 6521 | 45 38430 456120 | 12810 6521 17 | 0.051 % |
0.15/0.95 c | 6668 | 45 38430 456120 | 12810 6668 17 | 0.051 % |
0.15/0.97 c | 6829 | 45 38430 456120 | 12810 6829 17 | 0.051 % |
0.15/1.00 c | 7007 | 45 38430 456120 | 12810 7007 17 | 0.051 % |
0.96/1.03 c | 7200 | 45 38430 456120 | 12810 7200 17 | 0.051 % |
0.96/1.06 c | 7414 | 45 38430 456120 | 12810 7414 17 | 0.051 % |
0.96/1.10 c | 7648 | 45 38430 456120 | 12810 7648 17 | 0.051 % |
1.06/1.11 c | 7750 | 45 38430 456120 | 12810 7750 17 | 0.051 % |
1.06/1.13 c | 7860 | 45 38430 456120 | 12810 7860 17 | 0.051 % |
1.06/1.15 c | 7981 | 45 38430 456120 | 12810 7981 17 | 0.051 % |
1.06/1.17 c | 8115 | 45 38430 456120 | 12810 8115 17 | 0.051 % |
1.16/1.22 c | 8261 | 45 38430 456120 | 12810 8261 17 | 0.051 % |
1.16/1.26 c | 8421 | 45 38430 456120 | 12810 8421 17 | 0.051 % |
1.26/1.36 c | 8598 | 45 38430 456120 | 12810 8598 17 | 0.051 % |
1.36/1.47 c | 8791 | 45 38430 456120 | 12810 8791 17 | 0.051 % |
1.46/1.58 c | 9004 | 45 38430 456120 | 12810 9004 17 | 0.051 % |
1.56/1.67 c | 9238 | 45 38430 456120 | 12810 9238 17 | 0.051 % |
1.66/1.73 c | 9495 | 45 38430 456120 | 12810 9495 17 | 0.051 % |
1.66/1.76 c | 9596 | 45 38430 456120 | 12810 9596 17 | 0.051 % |
1.76/1.80 c | 9707 | 45 38430 456120 | 12810 9707 17 | 0.051 % |
1.76/1.82 c | 9828 | 45 38430 456120 | 12810 9828 17 | 0.051 % |
1.76/1.86 c | 9962 | 45 38430 456120 | 12810 9962 17 | 0.051 % |
1.76/1.89 c | 10108 | 45 38430 456120 | 2147483647 10108 17 | 0.051 % |
1.86/1.98 c | 10268 | 45 38430 456120 | 2147483647 10268 17 | 0.051 % |
1.96/2.04 c | 10446 | 45 38430 456120 | 2147483647 10446 17 | 0.051 % |
1.96/2.08 c | 10639 | 45 38430 456120 | 2147483647 10639 17 | 0.051 % |
2.06/2.11 c | 10852 | 45 38430 456120 | 2147483647 10852 17 | 0.051 % |
2.06/2.15 c | 11085 | 45 38430 456120 | 2147483647 11085 17 | 0.051 % |
2.06/2.19 c | 11341 | 45 38430 456120 | 2147483647 11341 17 | 0.051 % |
2.16/2.23 c | 11625 | 45 38430 456120 | 2147483647 11625 17 | 0.051 % |
2.16/2.25 c | 11725 | 45 38430 456120 | 2147483647 11725 17 | 0.051 % |
2.16/2.26 c | 11835 | 45 38430 456120 | 2147483647 11835 17 | 0.051 % |
2.16/2.29 c | 11957 | 45 38430 456120 | 2147483647 11957 17 | 0.051 % |
2.26/2.31 c | 12090 | 45 38430 456120 | 2147483647 12090 17 | 0.051 % |
2.26/2.35 c | 12237 | 45 38430 456120 | 2147483647 12237 17 | 0.051 % |
2.26/2.38 c | 12397 | 45 38430 456120 | 2147483647 12397 17 | 0.051 % |
2.36/2.41 c | 12574 | 45 38430 456120 | 2147483647 12574 17 | 0.051 % |
2.36/2.44 c | 12767 | 45 38430 456120 | 2147483647 12767 17 | 0.051 % |
2.36/2.48 c | 12979 | 45 38430 456120 | 2147483647 12979 17 | 0.051 % |
2.46/2.55 c | 13213 | 45 38430 456120 | 2147483647 13213 17 | 0.051 % |
2.56/2.60 c | 13469 | 45 38430 456120 | 2147483647 13469 17 | 0.051 % |
2.56/2.67 c | 13751 | 45 38430 456120 | 2147483647 13751 17 | 0.051 % |
2.76/2.80 c | 14060 | 45 38430 456120 | 2147483647 14060 17 | 0.051 % |
2.76/2.82 c | 14160 | 45 38430 456120 | 2147483647 14160 17 | 0.051 % |
2.76/2.84 c | 14270 | 45 38430 456120 | 2147483647 14270 17 | 0.051 % |
2.76/2.85 c | 14391 | 45 38430 456120 | 2147483647 14391 17 | 0.051 % |
2.76/2.87 c | 14524 | 45 38430 456120 | 2147483647 14524 17 | 0.051 % |
2.76/2.89 c | 14671 | 45 38430 456120 | 2147483647 14671 17 | 0.051 % |
2.86/2.92 c | 14831 | 45 38430 456120 | 2147483647 14831 17 | 0.051 % |
2.86/2.94 c | 15007 | 45 38430 456120 | 2147483647 15007 17 | 0.051 % |
2.86/2.98 c | 15200 | 45 38430 456120 | 2147483647 15200 17 | 0.051 % |
2.96/3.02 c | 15415 | 45 38430 456120 | 2147483647 15415 17 | 0.051 % |
2.96/3.06 c | 15650 | 45 38430 456120 | 2147483647 15650 17 | 0.051 % |
3.06/3.11 c | 15907 | 45 38430 456120 | 2147483647 15907 17 | 0.051 % |
3.06/3.15 c | 16190 | 45 38430 456120 | 2147483647 16190 17 | 0.051 % |
3.16/3.21 c | 16501 | 45 38430 456120 | 2147483647 16501 17 | 0.051 % |
3.16/3.27 c | 16840 | 45 38430 456120 | 2147483647 16840 17 | 0.051 % |
3.16/3.29 c | 16940 | 45 38430 456120 | 2147483647 16940 17 | 0.051 % |
3.26/3.31 c | 17050 | 45 38430 456120 | 2147483647 17050 17 | 0.051 % |
3.26/3.34 c | 17171 | 45 38430 456120 | 2147483647 17171 17 | 0.051 % |
3.26/3.36 c | 17305 | 45 38430 456120 | 2147483647 17305 17 | 0.051 % |
3.26/3.38 c | 17451 | 45 38430 456120 | 2147483647 17451 17 | 0.051 % |
3.36/3.49 c | 17613 | 45 38430 456120 | 2147483647 17613 17 | 0.051 % |
3.45/3.53 c | 17789 | 45 38430 456120 | 2147483647 17789 17 | 0.051 % |
3.45/3.56 c | 17982 | 45 38430 456120 | 2147483647 17982 17 | 0.051 % |
3.55/3.62 c | 18194 | 45 38430 456120 | 2147483647 18194 17 | 0.051 % |
3.55/3.67 c | 18428 | 45 38430 456120 | 2147483647 18428 17 | 0.051 % |
3.65/3.74 c | 18685 | 45 38430 456120 | 2147483647 18685 17 | 0.051 % |
3.75/3.80 c | 18967 | 45 38430 456120 | 2147483647 18967 17 | 0.051 % |
3.75/3.86 c | 19276 | 45 38430 456120 | 2147483647 19276 17 | 0.051 % |
3.85/3.92 c | 19615 | 45 38430 456120 | 2147483647 19615 17 | 0.051 % |
3.95/4.01 c | 19989 | 45 38430 456120 | 2147483647 19989 17 | 0.051 % |
3.95/4.04 c | 20089 | 45 38430 456120 | 2147483647 20089 17 | 0.051 % |
3.95/4.08 c | 20199 | 45 38430 456120 | 2147483647 20199 17 | 0.051 % |
4.05/4.11 c | 20321 | 45 38430 456120 | 2147483647 20321 17 | 0.051 % |
4.05/4.14 c | 20454 | 45 38430 456120 | 2147483647 20454 17 | 0.051 % |
4.05/4.17 c | 20601 | 45 38430 456120 | 2147483647 20601 17 | 0.051 % |
4.15/4.21 c | 20761 | 45 38430 456120 | 2147483647 20761 17 | 0.051 % |
4.15/4.28 c | 20939 | 45 38430 456120 | 2147483647 20939 17 | 0.051 % |
4.26/4.33 c | 21133 | 45 38430 456120 | 2147483647 21133 17 | 0.051 % |
4.26/4.39 c | 21345 | 45 38430 456120 | 2147483647 21345 17 | 0.051 % |
4.36/4.44 c | 21578 | 45 38430 456120 | 2147483647 21578 17 | 0.051 % |
4.45/4.50 c | 21834 | 45 38430 456120 | 2147483647 21834 17 | 0.051 % |
4.45/4.57 c | 22116 | 45 38430 456120 | 2147483647 22116 17 | 0.051 % |
4.55/4.64 c | 22426 | 45 38430 456120 | 2147483647 22426 17 | 0.051 % |
4.65/4.73 c | 22767 | 45 38430 456120 | 2147483647 22767 17 | 0.051 % |
4.75/4.81 c | 23139 | 45 38430 456120 | 2147483647 23139 17 | 0.051 % |
4.85/4.91 c | 23549 | 45 38430 456120 | 2147483647 23549 17 | 0.051 % |
4.85/4.93 c | 23649 | 45 38430 456120 | 2147483647 23649 17 | 0.051 % |
4.85/4.96 c | 23759 | 45 38430 456120 | 2147483647 23759 17 | 0.051 % |
4.85/5.00 c | 23880 | 45 38430 456120 | 2147483647 23880 17 | 0.051 % |
4.95/5.04 c | 24014 | 45 38430 456120 | 2147483647 24014 17 | 0.051 % |
4.95/5.07 c | 24161 | 45 38430 456120 | 2147483647 24161 17 | 0.051 % |
5.05/5.11 c | 24321 | 45 38430 456120 | 2147483647 24321 17 | 0.051 % |
5.05/5.16 c | 24497 | 45 38430 456120 | 2147483647 24497 17 | 0.051 % |
5.16/5.21 c | 24690 | 45 38430 456120 | 2147483647 24690 17 | 0.051 % |
5.16/5.29 c | 24902 | 45 38430 456120 | 2147483647 24902 17 | 0.051 % |
5.26/5.35 c | 25135 | 45 38430 456120 | 2147483647 25135 17 | 0.051 % |
5.36/5.42 c | 25391 | 45 38430 456120 | 2147483647 25391 17 | 0.051 % |
5.36/5.50 c | 25673 | 45 38430 456120 | 2147483647 25673 17 | 0.051 % |
5.56/5.60 c | 25982 | 45 38430 456120 | 2147483647 25982 17 | 0.051 % |
5.66/5.71 c | 26322 | 45 38430 456120 | 2147483647 26322 17 | 0.051 % |
5.76/5.82 c | 26694 | 45 38430 456120 | 2147483647 26694 17 | 0.051 % |
5.86/5.97 c | 27103 | 45 38430 456120 | 2147483647 27103 17 | 0.051 % |
6.06/6.10 c | 27553 | 45 38430 456120 | 2147483647 27553 17 | 0.051 % |
6.06/6.14 c | 27657 | 45 38430 456120 | 2147483647 27657 17 | 0.051 % |
6.06/6.20 c | 27767 | 45 38430 456120 | 2147483647 27767 17 | 0.051 % |
6.26/6.32 c | 27890 | 45 38430 456120 | 2147483647 27890 17 | 0.051 % |
6.36/6.44 c | 28024 | 45 38430 456120 | 2147483647 28024 17 | 0.051 % |
6.46/6.53 c | 28171 | 45 38430 456120 | 2147483647 28171 17 | 0.051 % |
6.46/6.59 c | 28331 | 45 38430 456120 | 2147483647 28331 17 | 0.051 % |
6.56/6.66 c | 28507 | 45 38430 456120 | 2147483647 28507 17 | 0.051 % |
6.66/6.72 c | 28702 | 45 38430 456120 | 2147483647 28702 17 | 0.051 % |
6.76/6.81 c | 28914 | 45 38430 456120 | 2147483647 28914 17 | 0.051 % |
6.86/6.90 c | 29150 | 45 38430 456120 | 2147483647 29150 17 | 0.051 % |
6.86/6.99 c | 29408 | 45 38430 456120 | 2147483647 29408 17 | 0.051 % |
7.05/7.10 c | 29689 | 45 38430 456120 | 2147483647 29689 17 | 0.051 % |
7.15/7.24 c | 30000 | 45 38430 456120 | 2147483647 30000 17 | 0.051 % |
7.25/7.36 c | 30339 | 45 38430 456120 | 2147483647 30339 17 | 0.051 % |
7.35/7.48 c | 30713 | 45 38430 456120 | 2147483647 30713 17 | 0.051 % |
7.56/7.62 c | 31123 | 45 38430 456120 | 2147483647 31123 17 | 0.051 % |
7.66/7.77 c | 31572 | 45 38430 456120 | 2147483647 31572 17 | 0.051 % |
7.85/7.98 c | 32065 | 45 38430 456120 | 2147483647 32065 17 | 0.051 % |
7.95/8.02 c | 32165 | 45 38430 456120 | 2147483647 32165 17 | 0.051 % |
7.95/8.05 c | 32275 | 45 38430 456120 | 2147483647 32275 17 | 0.051 % |
8.05/8.11 c | 32396 | 45 38430 456120 | 2147483647 32396 17 | 0.051 % |
8.05/8.17 c | 32529 | 45 38430 456120 | 2147483647 32529 17 | 0.051 % |
8.15/8.23 c | 32675 | 45 38430 456120 | 2147483647 32675 17 | 0.051 % |
8.25/8.31 c | 32837 | 45 38430 456120 | 2147483647 32837 17 | 0.051 % |
8.25/8.38 c | 33013 | 45 38430 456120 | 2147483647 33013 17 | 0.051 % |
8.35/8.47 c | 33209 | 45 38430 456120 | 2147483647 33209 17 | 0.051 % |
8.45/8.56 c | 33421 | 45 38430 456120 | 2147483647 33421 17 | 0.051 % |
8.66/8.73 c | 33655 | 45 38430 456120 | 2147483647 33655 17 | 0.051 % |
8.76/8.84 c | 33913 | 45 38430 456120 | 2147483647 33913 17 | 0.051 % |
8.85/8.98 c | 34195 | 45 38430 456120 | 2147483647 34195 17 | 0.051 % |
9.05/9.12 c | 34504 | 45 38430 456120 | 2147483647 34504 17 | 0.051 % |
9.15/9.29 c | 34844 | 45 38430 456120 | 2147483647 34844 17 | 0.051 % |
9.35/9.45 c | 35216 | 45 38430 456120 | 2147483647 35216 17 | 0.051 % |
9.55/9.60 c | 35627 | 45 38430 456120 | 2147483647 35627 17 | 0.051 % |
9.76/9.81 c | 36076 | 45 38430 456120 | 2147483647 36076 17 | 0.051 % |
9.95/10.07 c | 36569 | 45 38430 456120 | 2147483647 36569 17 | 0.051 % |
10.25/10.34 c | 37111 | 45 38430 456120 | 2147483647 37111 17 | 0.051 % |
10.25/10.38 c | 37211 | 45 38430 456120 | 2147483647 37211 17 | 0.051 % |
10.35/10.42 c | 37321 | 45 38430 456120 | 2147483647 37321 17 | 0.051 % |
10.35/10.47 c | 37443 | 45 38430 456120 | 2147483647 37443 17 | 0.051 % |
10.45/10.55 c | 37577 | 45 38430 456120 | 2147483647 37577 17 | 0.051 % |
10.55/10.65 c | 37725 | 45 38430 456120 | 2147483647 37725 17 | 0.051 % |
10.65/10.75 c | 37887 | 45 38430 456120 | 2147483647 37887 17 | 0.051 % |
10.75/10.85 c | 38063 | 45 38430 456120 | 2147483647 38063 17 | 0.051 % |
10.85/10.99 c | 38256 | 45 38430 456120 | 2147483647 38256 17 | 0.051 % |
11.15/11.22 c | 38470 | 45 38430 456120 | 2147483647 38470 17 | 0.051 % |
11.45/11.51 c | 38704 | 45 38430 456120 | 2147483647 38704 17 | 0.051 % |
11.55/11.69 c | 38962 | 45 38430 456120 | 2147483647 38962 17 | 0.051 % |
11.75/11.81 c | 39243 | 45 38430 456120 | 2147483647 39243 17 | 0.051 % |
11.85/11.91 c | 39552 | 45 38430 456120 | 2147483647 39552 17 | 0.051 % |
11.95/12.01 c | 39892 | 45 38430 456120 | 2147483647 39892 17 | 0.051 % |
11.95/12.10 c | 40265 | 45 38430 456120 | 2147483647 40265 17 | 0.051 % |
12.05/12.20 c | 40675 | 45 38430 456120 | 2147483647 40675 17 | 0.051 % |
12.65/12.72 c | 41124 | 45 38430 456120 | 2147483647 41124 17 | 0.051 % |
13.25/13.36 c | 41617 | 45 38430 456120 | 2147483647 41617 17 | 0.051 % |
13.94/14.05 c | 42160 | 45 38430 456120 | 2147483647 42160 17 | 0.051 % |
14.44/14.53 c | 42756 | 45 38430 456120 | 2147483647 42756 17 | 0.051 % |
14.54/14.62 c | 42856 | 45 38430 456120 | 2147483647 42856 17 | 0.051 % |
14.64/14.71 c | 42968 | 45 38430 456120 | 2147483647 42968 17 | 0.051 % |
14.74/14.85 c | 43091 | 45 38430 456120 | 2147483647 43091 17 | 0.051 % |
14.84/14.95 c | 43226 | 45 38430 456120 | 2147483647 43226 17 | 0.051 % |
14.94/15.09 c | 43372 | 45 38430 456120 | 2147483647 43372 17 | 0.051 % |
15.14/15.22 c | 43532 | 45 38430 456120 | 2147483647 43532 17 | 0.051 % |
15.25/15.36 c | 43708 | 45 38430 456120 | 2147483647 43708 17 | 0.051 % |
15.35/15.48 c | 43901 | 45 38430 456120 | 2147483647 43901 17 | 0.051 % |
15.54/15.63 c | 44113 | 45 38430 456120 | 2147483647 44113 17 | 0.051 % |
15.64/15.78 c | 44348 | 45 38430 456120 | 2147483647 44348 17 | 0.051 % |
15.84/15.96 c | 44606 | 45 38430 456120 | 2147483647 44606 17 | 0.051 % |
16.04/16.15 c | 44887 | 45 38430 456120 | 2147483647 44887 17 | 0.051 % |
16.24/16.37 c | 45196 | 45 38430 456120 | 2147483647 45196 17 | 0.051 % |
16.44/16.56 c | 45538 | 45 38430 456120 | 2147483647 45538 17 | 0.051 % |
16.74/16.80 c | 45911 | 45 38430 456120 | 2147483647 45911 17 | 0.051 % |
16.94/17.06 c | 46321 | 45 38430 456120 | 2147483647 46321 17 | 0.051 % |
17.24/17.39 c | 46770 | 45 38430 456120 | 2147483647 46770 17 | 0.051 % |
18.04/18.11 c | 47266 | 45 38430 456120 | 2147483647 47266 17 | 0.051 % |
18.64/18.78 c | 47810 | 45 38430 456120 | 2147483647 47810 17 | 0.051 % |
19.04/19.17 c | 48406 | 45 38430 456120 | 2147483647 48406 17 | 0.051 % |
19.54/19.61 c | 49061 | 45 38430 456120 | 2147483647 49061 17 | 0.051 % |
19.64/19.72 c | 49161 | 45 38430 456120 | 2147483647 49161 17 | 0.051 % |
19.64/19.78 c | 49271 | 45 38430 456120 | 2147483647 49271 17 | 0.051 % |
19.74/19.84 c | 49394 | 45 38430 456120 | 2147483647 49394 17 | 0.051 % |
19.74/19.88 c | 49528 | 45 38430 456120 | 2147483647 49528 17 | 0.051 % |
19.83/19.95 c | 49674 | 45 38430 456120 | 2147483647 49674 17 | 0.051 % |
19.93/20.01 c | 49835 | 45 38430 456120 | 2147483647 49835 17 | 0.051 % |
19.93/20.08 c | 50011 | 45 38430 456120 | 2147483647 50011 17 | 0.051 % |
20.03/20.15 c | 50204 | 45 38430 456120 | 2147483647 50204 17 | 0.051 % |
20.13/20.23 c | 50416 | 45 38430 456120 | 2147483647 50416 17 | 0.051 % |
20.23/20.31 c | 50649 | 45 38430 456120 | 2147483647 50649 17 | 0.051 % |
20.23/20.39 c | 50905 | 45 38430 456120 | 2147483647 50905 17 | 0.051 % |
20.44/20.58 c | 51186 | 45 38430 456120 | 2147483647 51186 17 | 0.051 % |
20.54/20.69 c | 51496 | 45 38430 456120 | 2147483647 51496 17 | 0.051 % |
20.64/20.79 c | 51835 | 45 38430 456120 | 2147483647 51835 17 | 0.051 % |
20.84/20.95 c | 52207 | 45 38430 456120 | 2147483647 52207 17 | 0.051 % |
21.04/21.10 c | 52616 | 45 38430 456120 | 2147483647 52616 17 | 0.051 % |
21.14/21.22 c | 53067 | 45 38430 456120 | 2147483647 53067 17 | 0.051 % |
21.34/21.41 c | 53561 | 45 38430 456120 | 2147483647 53561 17 | 0.051 % |
21.54/21.61 c | 54104 | 45 38430 456120 | 2147483647 54104 17 | 0.051 % |
21.74/21.81 c | 54700 | 45 38430 456120 | 2147483647 54700 17 | 0.051 % |
21.94/22.00 c | 55356 | 45 38430 456120 | 2147483647 55356 17 | 0.051 % |
22.14/22.22 c | 56076 | 45 38430 456120 | 2147483647 56076 17 | 0.051 % |
22.14/22.27 c | 56177 | 45 38430 456120 | 2147483647 56177 17 | 0.051 % |
22.24/22.32 c | 56289 | 45 38430 456120 | 2147483647 56289 17 | 0.051 % |
22.24/22.37 c | 56410 | 45 38430 456120 | 2147483647 56410 17 | 0.051 % |
22.34/22.46 c | 56544 | 45 38430 456120 | 2147483647 56544 17 | 0.051 % |
22.44/22.52 c | 56692 | 45 38430 456120 | 2147483647 56692 17 | 0.051 % |
22.54/22.60 c | 56853 | 45 38430 456120 | 2147483647 56853 17 | 0.051 % |
22.54/22.69 c | 57029 | 45 38430 456120 | 2147483647 57029 17 | 0.051 % |
22.64/22.76 c | 57223 | 45 38430 456120 | 2147483647 57223 17 | 0.051 % |
22.94/23.06 c | 57435 | 45 38430 456120 | 2147483647 57435 17 | 0.051 % |
23.14/23.23 c | 57669 | 45 38430 456120 | 2147483647 57669 17 | 0.051 % |
23.24/23.36 c | 57925 | 45 38430 456120 | 2147483647 57925 17 | 0.051 % |
23.34/23.48 c | 58206 | 45 38430 456120 | 2147483647 58206 17 | 0.051 % |
23.54/23.67 c | 58517 | 45 38430 456120 | 2147483647 58517 17 | 0.051 % |
23.74/23.83 c | 58856 | 45 38430 456120 | 2147483647 58856 17 | 0.051 % |
23.84/23.95 c | 59228 | 45 38430 456120 | 2147483647 59228 17 | 0.051 % |
24.04/24.13 c | 59637 | 45 38430 456120 | 2147483647 59637 17 | 0.051 % |
24.24/24.32 c | 60088 | 45 38430 456120 | 2147483647 60088 17 | 0.051 % |
24.44/24.53 c | 60583 | 45 38430 456120 | 2147483647 60583 17 | 0.051 % |
24.73/24.81 c | 61125 | 45 38430 456120 | 2147483647 61125 17 | 0.051 % |
25.03/25.11 c | 61721 | 45 38430 456120 | 2147483647 61721 17 | 0.051 % |
25.24/25.39 c | 62377 | 45 38430 456120 | 2147483647 62377 17 | 0.051 % |
25.73/25.81 c | 63097 | 45 38430 456120 | 2147483647 63097 17 | 0.051 % |
26.13/26.25 c | 63891 | 45 38430 456120 | 2147483647 63891 17 | 0.051 % |
26.24/26.31 c | 63991 | 45 38430 456120 | 2147483647 63991 17 | 0.051 % |
26.24/26.38 c | 64102 | 45 38430 456120 | 2147483647 64102 17 | 0.051 % |
26.34/26.44 c | 64223 | 45 38430 456120 | 2147483647 64223 17 | 0.051 % |
26.34/26.49 c | 64357 | 45 38430 456120 | 2147483647 64357 17 | 0.051 % |
26.43/26.57 c | 64503 | 45 38430 456120 | 2147483647 64503 17 | 0.051 % |
26.53/26.65 c | 64663 | 45 38430 456120 | 2147483647 64663 17 | 0.051 % |
26.63/26.76 c | 64840 | 45 38430 456120 | 2147483647 64840 17 | 0.051 % |
26.73/26.87 c | 65034 | 45 38430 456120 | 2147483647 65034 17 | 0.051 % |
26.93/27.00 c | 65247 | 45 38430 456120 | 2147483647 65247 17 | 0.051 % |
27.03/27.16 c | 65480 | 45 38430 456120 | 2147483647 65480 17 | 0.051 % |
27.13/27.29 c | 65737 | 45 38430 456120 | 2147483647 65737 17 | 0.051 % |
27.33/27.46 c | 66018 | 45 38430 456120 | 2147483647 66018 17 | 0.051 % |
27.53/27.69 c | 66328 | 45 38430 456120 | 2147483647 66328 17 | 0.051 % |
27.83/27.94 c | 66668 | 45 38430 456120 | 2147483647 66668 17 | 0.051 % |
28.03/28.16 c | 67040 | 45 38430 456120 | 2147483647 67040 17 | 0.051 % |
28.33/28.44 c | 67449 | 45 38430 456120 | 2147483647 67449 17 | 0.051 % |
28.63/28.78 c | 67899 | 45 38430 456120 | 2147483647 67899 17 | 0.051 % |
28.93/29.09 c | 68393 | 45 38430 456120 | 2147483647 68393 17 | 0.051 % |
29.33/29.44 c | 68935 | 45 38430 456120 | 2147483647 68935 17 | 0.051 % |
29.63/29.76 c | 69533 | 45 38430 456120 | 2147483647 69533 17 | 0.051 % |
30.03/30.13 c | 70188 | 45 38430 456120 | 2147483647 70188 17 | 0.051 % |
30.43/30.56 c | 70909 | 45 38430 456120 | 2147483647 70909 17 | 0.051 % |
30.93/31.06 c | 71702 | 45 38430 456120 | 2147483647 71702 17 | 0.051 % |
31.43/31.55 c | 72574 | 45 38430 456120 | 2147483647 72574 17 | 0.051 % |
31.53/31.64 c | 72677 | 45 38430 456120 | 2147483647 72677 17 | 0.051 % |
31.63/31.72 c | 72788 | 45 38430 456120 | 2147483647 72788 17 | 0.051 % |
31.63/31.79 c | 72909 | 45 38430 456120 | 2147483647 72909 17 | 0.051 % |
31.93/32.00 c | 73043 | 45 38430 456120 | 2147483647 73043 17 | 0.051 % |
32.03/32.15 c | 73190 | 45 38430 456120 | 2147483647 73190 17 | 0.051 % |
32.13/32.28 c | 73350 | 45 38430 456120 | 2147483647 73350 17 | 0.051 % |
32.33/32.46 c | 73526 | 45 38430 456120 | 2147483647 73526 17 | 0.051 % |
32.53/32.63 c | 73719 | 45 38430 456120 | 2147483647 73719 17 | 0.051 % |
32.73/32.82 c | 73931 | 45 38430 456120 | 2147483647 73931 17 | 0.051 % |
32.93/33.01 c | 74164 | 45 38430 456120 | 2147483647 74164 17 | 0.051 % |
33.03/33.20 c | 74421 | 45 38430 456120 | 2147483647 74421 17 | 0.051 % |
33.32/33.43 c | 74702 | 45 38430 456120 | 2147483647 74702 17 | 0.051 % |
33.52/33.65 c | 75011 | 45 38430 456120 | 2147483647 75011 17 | 0.051 % |
33.72/33.88 c | 75350 | 45 38430 456120 | 2147483647 75350 17 | 0.051 % |
34.03/34.12 c | 75722 | 45 38430 456120 | 2147483647 75722 17 | 0.051 % |
34.42/34.51 c | 76131 | 45 38430 456120 | 2147483647 76131 17 | 0.051 % |
34.72/34.82 c | 76580 | 45 38430 456120 | 2147483647 76580 17 | 0.051 % |
35.13/35.23 c | 77074 | 45 38430 456120 | 2147483647 77074 17 | 0.051 % |
35.52/35.66 c | 77616 | 45 38430 456120 | 2147483647 77616 17 | 0.051 % |
35.92/36.09 c | 78212 | 45 38430 456120 | 2147483647 78212 17 | 0.051 % |
36.52/36.62 c | 78867 | 45 38430 456120 | 2147483647 78867 17 | 0.051 % |
37.12/37.22 c | 79588 | 45 38430 456120 | 2147483647 79588 17 | 0.051 % |
37.82/37.91 c | 80383 | 45 38430 456120 | 2147483647 80383 17 | 0.051 % |
38.43/38.57 c | 81256 | 45 38430 456120 | 2147483647 81256 17 | 0.051 % |
39.43/39.53 c | 82216 | 45 38430 456120 | 2147483647 82216 17 | 0.051 % |
39.52/39.63 c | 82316 | 45 38430 456120 | 2147483647 82316 17 | 0.051 % |
39.62/39.74 c | 82426 | 45 38430 456120 | 2147483647 82426 17 | 0.051 % |
39.72/39.85 c | 82549 | 45 38430 456120 | 2147483647 82549 17 | 0.051 % |
39.82/39.98 c | 82682 | 45 38430 456120 | 2147483647 82682 17 | 0.051 % |
40.02/40.14 c | 82829 | 45 38430 456120 | 2147483647 82829 17 | 0.051 % |
40.23/40.30 c | 82989 | 45 38430 456120 | 2147483647 82989 17 | 0.051 % |
40.43/40.53 c | 83165 | 45 38430 456120 | 2147483647 83165 17 | 0.051 % |
40.63/40.74 c | 83358 | 45 38430 456120 | 2147483647 83358 17 | 0.051 % |
40.83/40.96 c | 83571 | 45 38430 456120 | 2147483647 83571 17 | 0.051 % |
41.13/41.20 c | 83806 | 45 38430 456120 | 2147483647 83806 17 | 0.051 % |
41.33/41.42 c | 84063 | 45 38430 456120 | 2147483647 84063 17 | 0.051 % |
41.63/41.71 c | 84346 | 45 38430 456120 | 2147483647 84346 17 | 0.051 % |
41.93/42.07 c | 84655 | 45 38430 456120 | 2147483647 84655 17 | 0.051 % |
42.33/42.40 c | 84994 | 45 38430 456120 | 2147483647 84994 17 | 0.051 % |
42.63/42.76 c | 85366 | 45 38430 456120 | 2147483647 85366 17 | 0.051 % |
43.03/43.13 c | 85775 | 45 38430 456120 | 2147483647 85775 17 | 0.051 % |
43.53/43.60 c | 86224 | 45 38430 456120 | 2147483647 86224 17 | 0.051 % |
44.03/44.16 c | 86718 | 45 38430 456120 | 2147483647 86718 17 | 0.051 % |
44.62/44.78 c | 87260 | 45 38430 456120 | 2147483647 87260 17 | 0.051 % |
45.32/45.41 c | 87856 | 45 38430 456120 | 2147483647 87856 17 | 0.051 % |
46.03/46.13 c | 88512 | 45 38430 456120 | 2147483647 88512 17 | 0.051 % |
46.82/46.97 c | 89233 | 45 38430 456120 | 2147483647 89233 17 | 0.051 % |
47.92/48.07 c | 90025 | 45 38430 456120 | 90000 78200 17 | 0.051 % |
48.72/48.87 c | 90896 | 45 38430 456120 | 90000 79071 17 | 0.051 % |
50.92/51.00 c | 91854 | 45 38430 456120 | 90000 80029 17 | 0.051 % |
53.02/53.18 c | 92907 | 45 38430 456120 | 90000 81082 17 | 0.051 % |
53.22/53.32 c | 93008 | 45 38430 456120 | 90000 81183 17 | 0.051 % |
53.42/53.51 c | 93119 | 45 38430 456120 | 90000 81294 17 | 0.051 % |
53.52/53.66 c | 93243 | 45 38430 456120 | 90000 81418 17 | 0.051 % |
53.72/53.85 c | 93376 | 45 38430 456120 | 90000 81551 17 | 0.051 % |
53.92/54.05 c | 93522 | 45 38430 456120 | 90000 81697 17 | 0.051 % |
54.12/54.25 c | 93683 | 45 38430 456120 | 90000 81858 17 | 0.051 % |
54.32/54.44 c | 93859 | 45 38430 456120 | 90000 82034 17 | 0.051 % |
54.52/54.66 c | 94053 | 45 38430 456120 | 90000 82228 17 | 0.051 % |
54.72/54.90 c | 94266 | 45 38430 456120 | 90000 82441 17 | 0.051 % |
55.12/55.20 c | 94501 | 45 38430 456120 | 90000 82676 17 | 0.051 % |
55.42/55.50 c | 94758 | 45 38430 456120 | 90000 82933 17 | 0.051 % |
55.72/55.82 c | 95042 | 45 38430 456120 | 90000 83217 17 | 0.051 % |
56.02/56.17 c | 95352 | 45 38430 456120 | 90000 83527 17 | 0.051 % |
56.42/56.50 c | 95692 | 45 38430 456120 | 90000 83867 17 | 0.051 % |
56.72/56.89 c | 96064 | 45 38430 456120 | 90000 84239 17 | 0.051 % |
57.22/57.33 c | 96473 | 45 38430 456120 | 90000 84648 17 | 0.051 % |
57.62/57.79 c | 96924 | 45 38430 456120 | 90000 85099 17 | 0.051 % |
58.02/58.20 c | 97417 | 45 38430 456120 | 90000 85592 17 | 0.051 % |
58.62/58.70 c | 97960 | 45 38430 456120 | 90000 86135 17 | 0.051 % |
59.12/59.30 c | 98557 | 45 38430 456120 | 90000 86732 17 | 0.051 % |
59.92/60.03 c | 99212 | 45 38430 456120 | 90000 87387 17 | 0.051 % |
60.61/60.76 c | 99933 | 45 38430 456120 | 90000 88108 17 | 0.051 % |
62.11/62.21 c | 100725 | 45 38430 456120 | 88177 72052 17 | 0.051 % |
62.91/63.01 c | 101596 | 45 38430 456120 | 88177 72923 17 | 0.051 % |
64.11/64.23 c | 102554 | 45 38430 456120 | 88177 73881 17 | 0.051 % |
65.21/65.33 c | 103608 | 45 38430 456120 | 88177 74935 17 | 0.051 % |
66.51/66.64 c | 104766 | 45 38430 456120 | 88177 76093 17 | 0.051 % |
66.61/66.77 c | 104866 | 45 38430 456120 | 88177 76193 17 | 0.051 % |
66.81/66.90 c | 104976 | 45 38430 456120 | 88177 76303 17 | 0.051 % |
66.91/67.03 c | 105097 | 45 38430 456120 | 88177 76424 17 | 0.051 % |
67.11/67.23 c | 105231 | 45 38430 456120 | 88177 76558 17 | 0.051 % |
67.31/67.43 c | 105378 | 45 38430 456120 | 88177 76705 17 | 0.051 % |
67.51/67.62 c | 105539 | 45 38430 456120 | 88177 76866 17 | 0.051 % |
67.71/67.85 c | 105717 | 45 38430 456120 | 88177 77044 17 | 0.051 % |
68.01/68.15 c | 105910 | 45 38430 456120 | 88177 77237 17 | 0.051 % |
68.31/68.42 c | 106123 | 45 38430 456120 | 88177 77450 17 | 0.051 % |
68.71/68.81 c | 106359 | 45 38430 456120 | 88177 77686 17 | 0.051 % |
69.01/69.20 c | 106617 | 45 38430 456120 | 88177 77944 17 | 0.051 % |
69.41/69.55 c | 106898 | 45 38430 456120 | 88177 78225 17 | 0.051 % |
69.81/69.98 c | 107208 | 45 38430 456120 | 88177 78535 17 | 0.051 % |
70.31/70.43 c | 107548 | 45 38430 456120 | 88177 78875 17 | 0.051 % |
70.71/70.89 c | 107920 | 45 38430 456120 | 88177 79247 17 | 0.051 % |
71.31/71.44 c | 108330 | 45 38430 456120 | 88177 79657 17 | 0.051 % |
71.81/72.00 c | 108779 | 45 38430 456120 | 88177 80106 17 | 0.051 % |
72.51/72.60 c | 109273 | 45 38430 456120 | 88177 80600 17 | 0.051 % |
73.11/73.28 c | 109816 | 45 38430 456120 | 88177 81143 17 | 0.051 % |
74.31/74.48 c | 110413 | 45 38430 456120 | 81327 64058 17 | 0.051 % |
75.10/75.21 c | 111071 | 45 38430 456120 | 81327 64716 17 | 0.051 % |
76.00/76.14 c | 111793 | 45 38430 456120 | 81327 65438 17 | 0.051 % |
77.00/77.19 c | 112588 | 45 38430 456120 | 81327 66233 17 | 0.051 % |
78.20/78.36 c | 113460 | 45 38430 456120 | 81327 67105 17 | 0.051 % |
79.20/79.39 c | 114418 | 45 38430 456120 | 81327 68063 17 | 0.051 % |
80.60/80.76 c | 115471 | 45 38430 456120 | 81327 69116 17 | 0.051 % |
82.20/82.32 c | 116630 | 45 38430 456120 | 81327 70275 17 | 0.051 % |
83.60/83.78 c | 117904 | 45 38430 456120 | 81327 71549 17 | 0.051 % |
83.80/83.92 c | 118004 | 45 38430 456120 | 81327 71649 17 | 0.051 % |
84.00/84.10 c | 118115 | 45 38430 456120 | 81327 71760 17 | 0.051 % |
84.20/84.31 c | 118237 | 45 38430 456120 | 81327 71882 17 | 0.051 % |
84.40/84.54 c | 118370 | 45 38430 456120 | 81327 72015 17 | 0.051 % |
84.60/84.77 c | 118516 | 45 38430 456120 | 81327 72161 17 | 0.051 % |
84.90/85.08 c | 118678 | 45 38430 456120 | 81327 72323 17 | 0.051 % |
85.20/85.34 c | 118856 | 45 38430 456120 | 81327 72501 17 | 0.051 % |
85.50/85.64 c | 119050 | 45 38430 456120 | 81327 72695 17 | 0.051 % |
85.80/85.95 c | 119263 | 45 38430 456120 | 81327 72908 17 | 0.051 % |
86.20/86.31 c | 119497 | 45 38430 456120 | 81327 73142 17 | 0.051 % |
86.60/86.79 c | 119753 | 45 38430 456120 | 81327 73398 17 | 0.051 % |
87.60/87.74 c | 120036 | 45 38430 456120 | 73647 55380 17 | 0.051 % |
88.00/88.13 c | 120346 | 45 38430 456120 | 73647 55690 17 | 0.051 % |
88.40/88.51 c | 120687 | 45 38430 456120 | 73647 56031 17 | 0.051 % |
88.80/88.93 c | 121059 | 45 38430 456120 | 73647 56403 17 | 0.051 % |
89.30/89.42 c | 121470 | 45 38430 456120 | 73647 56814 17 | 0.051 % |
89.80/89.91 c | 121919 | 45 38430 456120 | 73647 57263 17 | 0.051 % |
90.19/90.39 c | 122412 | 45 38430 456120 | 73647 57756 17 | 0.051 % |
90.79/90.92 c | 122954 | 45 38430 456120 | 73647 58298 17 | 0.051 % |
91.39/91.51 c | 123551 | 45 38430 456120 | 73647 58895 17 | 0.051 % |
92.09/92.24 c | 124206 | 45 38430 456120 | 73647 59550 17 | 0.051 % |
92.99/93.12 c | 124926 | 45 38430 456120 | 73647 60270 17 | 0.051 % |
94.09/94.30 c | 125718 | 45 38430 456120 | 73647 61062 17 | 0.051 % |
95.19/95.37 c | 126590 | 45 38430 456120 | 73647 61934 17 | 0.051 % |
96.39/96.55 c | 127548 | 45 38430 456120 | 73647 62892 17 | 0.051 % |
97.80/97.94 c | 128603 | 45 38430 456120 | 73647 63947 17 | 0.051 % |
99.19/99.38 c | 129762 | 45 38430 456120 | 73647 65106 17 | 0.051 % |
100.69/100.88 c | 131036 | 45 38430 456120 | 65344 51397 17 | 0.051 % |
102.19/102.39 c | 132436 | 45 38430 456120 | 65344 52797 17 | 0.051 % |
102.39/102.51 c | 132536 | 45 38430 456120 | 65344 52897 17 | 0.051 % |
102.49/102.65 c | 132646 | 45 38430 456120 | 65344 53007 17 | 0.051 % |
102.69/102.81 c | 132767 | 45 38430 456120 | 65344 53128 17 | 0.051 % |
102.79/102.98 c | 132902 | 45 38430 456120 | 65344 53263 17 | 0.051 % |
103.00/103.16 c | 133048 | 45 38430 456120 | 65344 53409 17 | 0.051 % |
103.20/103.33 c | 133208 | 45 38430 456120 | 65344 53569 17 | 0.051 % |
103.40/103.53 c | 133384 | 45 38430 456120 | 65344 53745 17 | 0.051 % |
103.60/103.74 c | 133578 | 45 38430 456120 | 65344 53939 17 | 0.051 % |
103.80/103.99 c | 133791 | 45 38430 456120 | 65344 54152 17 | 0.051 % |
104.10/104.29 c | 134024 | 45 38430 456120 | 65344 54385 17 | 0.051 % |
104.40/104.59 c | 134280 | 45 38430 456120 | 65344 54641 17 | 0.051 % |
104.70/104.87 c | 134561 | 45 38430 456120 | 65344 54922 17 | 0.051 % |
105.10/105.22 c | 134871 | 45 38430 456120 | 65344 55232 17 | 0.051 % |
105.49/105.64 c | 135210 | 45 38430 456120 | 65344 55571 17 | 0.051 % |
105.99/106.13 c | 135583 | 45 38430 456120 | 65344 55944 17 | 0.051 % |
106.49/106.61 c | 135993 | 45 38430 456120 | 65344 56354 17 | 0.051 % |
106.99/107.13 c | 136444 | 45 38430 456120 | 65344 56805 17 | 0.051 % |
107.49/107.69 c | 136937 | 45 38430 456120 | 65344 57298 17 | 0.051 % |
108.19/108.30 c | 137479 | 45 38430 456120 | 65344 57840 17 | 0.051 % |
108.79/108.98 c | 138076 | 45 38430 456120 | 65344 58437 17 | 0.051 % |
109.49/109.64 c | 138732 | 45 38430 456120 | 65344 59093 17 | 0.051 % |
110.39/110.55 c | 139453 | 45 38430 456120 | 65344 59814 17 | 0.051 % |
111.39/111.60 c | 140247 | 45 38430 456120 | 60363 48265 16 | 0.051 % |
112.19/112.36 c | 141119 | 45 38430 456120 | 60363 49137 16 | 0.051 % |
113.19/113.30 c | 142079 | 45 38430 456120 | 60363 50097 16 | 0.051 % |
114.19/114.32 c | 143132 | 45 38430 456120 | 60363 51150 16 | 0.051 % |
115.39/115.51 c | 144290 | 45 38430 456120 | 60363 52308 16 | 0.051 % |
116.59/116.79 c | 145563 | 45 38430 456120 | 60363 53581 16 | 0.051 % |
118.19/118.37 c | 146963 | 45 38430 456120 | 60363 54981 16 | 0.051 % |
119.89/120.07 c | 148504 | 45 38430 456120 | 60363 56522 16 | 0.051 % |
120.09/120.23 c | 148605 | 45 38430 456120 | 60363 56623 16 | 0.051 % |
120.19/120.39 c | 148715 | 45 38430 456120 | 60363 56733 16 | 0.051 % |
120.39/120.56 c | 148836 | 45 38430 456120 | 60363 56854 16 | 0.051 % |
120.59/120.73 c | 148971 | 45 38430 456120 | 60363 56989 16 | 0.051 % |
120.79/120.96 c | 149118 | 45 38430 456120 | 60363 57136 16 | 0.051 % |
120.98/121.18 c | 149278 | 45 38430 456120 | 60363 57296 16 | 0.051 % |
121.18/121.40 c | 149454 | 45 38430 456120 | 60363 57472 16 | 0.051 % |
121.48/121.67 c | 149647 | 45 38430 456120 | 60363 57665 16 | 0.051 % |
121.78/121.95 c | 149859 | 45 38430 456120 | 60363 57877 16 | 0.051 % |
122.38/122.56 c | 150093 | 45 38430 456120 | 58019 46984 16 | 0.051 % |
122.68/122.83 c | 150350 | 45 38430 456120 | 58019 47241 16 | 0.051 % |
122.99/123.12 c | 150632 | 45 38430 456120 | 58019 47523 16 | 0.051 % |
123.28/123.43 c | 150941 | 45 38430 456120 | 58019 47832 16 | 0.051 % |
123.68/123.81 c | 151282 | 45 38430 456120 | 58019 48173 16 | 0.051 % |
124.09/124.21 c | 151654 | 45 38430 456120 | 58019 48545 16 | 0.051 % |
124.48/124.62 c | 152066 | 45 38430 456120 | 58019 48957 16 | 0.051 % |
124.98/125.10 c | 152515 | 45 38430 456120 | 58019 49406 16 | 0.051 % |
125.38/125.57 c | 153008 | 45 38430 456120 | 58019 49899 16 | 0.051 % |
126.08/126.21 c | 153551 | 45 38430 456120 | 58019 50442 16 | 0.051 % |
126.78/126.90 c | 154149 | 45 38430 456120 | 58019 51040 16 | 0.051 % |
127.58/127.70 c | 154805 | 45 38430 456120 | 58019 51696 16 | 0.051 % |
128.28/128.45 c | 155527 | 45 38430 456120 | 58019 52418 16 | 0.051 % |
129.18/129.31 c | 156319 | 45 38430 456120 | 58019 53210 16 | 0.051 % |
130.18/130.31 c | 157192 | 45 38430 456120 | 58019 54083 16 | 0.051 % |
131.18/131.37 c | 158151 | 45 38430 456120 | 58019 55042 16 | 0.051 % |
132.28/132.43 c | 159205 | 45 38430 456120 | 58019 56096 16 | 0.051 % |
133.68/133.88 c | 160366 | 45 38430 456120 | 56892 46390 17 | 0.051 % |
134.58/134.79 c | 161640 | 45 38430 456120 | 56892 47664 17 | 0.051 % |
135.98/136.17 c | 163040 | 45 38430 456120 | 56892 49064 17 | 0.051 % |
137.28/137.50 c | 164580 | 45 38430 456120 | 56892 50604 17 | 0.051 % |
139.17/139.37 c | 166274 | 45 38430 456120 | 56892 52298 16 | 0.051 % |
139.27/139.48 c | 166374 | 45 38430 456120 | 56892 52398 16 | 0.051 % |
139.48/139.63 c | 166485 | 45 38430 456120 | 56892 52509 16 | 0.051 % |
139.58/139.79 c | 166606 | 45 38430 456120 | 56892 52630 17 | 0.051 % |
139.77/139.96 c | 166740 | 45 38430 456120 | 56892 52764 17 | 0.051 % |
140.07/140.22 c | 166886 | 45 38430 456120 | 56892 52910 17 | 0.051 % |
140.27/140.43 c | 167047 | 45 38430 456120 | 56892 53071 17 | 0.051 % |
140.47/140.65 c | 167223 | 45 38430 456120 | 56892 53247 17 | 0.051 % |
140.68/140.89 c | 167416 | 45 38430 456120 | 56892 53440 17 | 0.051 % |
140.97/141.11 c | 167628 | 45 38430 456120 | 56892 53652 17 | 0.051 % |
141.27/141.40 c | 167861 | 45 38430 456120 | 56892 53885 17 | 0.051 % |
141.57/141.77 c | 168118 | 45 38430 456120 | 56892 54142 17 | 0.051 % |
141.97/142.12 c | 168399 | 45 38430 456120 | 56892 54423 17 | 0.051 % |
142.47/142.62 c | 168710 | 45 38430 456120 | 56892 54734 17 | 0.051 % |
142.88/143.05 c | 169050 | 45 38430 456120 | 56892 55074 17 | 0.051 % |
143.17/143.32 c | 169424 | 45 38430 456120 | 56892 55448 17 | 0.051 % |
143.47/143.61 c | 169833 | 45 38430 456120 | 56892 55857 17 | 0.051 % |
143.98/144.17 c | 170283 | 45 38430 456120 | 56024 47224 16 | 0.051 % |
144.17/144.32 c | 170776 | 45 38430 456120 | 56024 47717 16 | 0.051 % |
144.27/144.49 c | 171321 | 45 38430 456120 | 56024 48262 17 | 0.051 % |
144.47/144.69 c | 171918 | 45 38430 456120 | 56024 48859 17 | 0.051 % |
144.67/144.85 c | 172574 | 45 38430 456120 | 56024 49515 17 | 0.051 % |
144.87/145.04 c | 173294 | 45 38430 456120 | 56024 50235 17 | 0.051 % |
144.98/145.19 c | 174086 | 45 38430 456120 | 56024 51027 17 | 0.051 % |
145.27/145.49 c | 174958 | 45 38430 456120 | 56024 51899 17 | 0.051 % |
145.57/145.75 c | 175917 | 45 38430 456120 | 56024 52858 17 | 0.051 % |
145.87/146.05 c | 176970 | 45 38430 456120 | 56024 53911 17 | 0.051 % |
146.17/146.39 c | 178128 | 45 38430 456120 | 56024 55069 17 | 0.051 % |
146.87/147.03 c | 179403 | 45 38430 456120 | 56024 50741 17 | 0.051 % |
147.27/147.43 c | 180804 | 45 38430 456120 | 2147483647 52142 17 | 0.051 % |
147.77/147.98 c | 182344 | 45 38430 456120 | 2147483647 53682 17 | 0.051 % |
148.47/148.63 c | 184038 | 45 38430 456120 | 2147483647 55376 17 | 0.051 % |
149.17/149.37 c | 185901 | 45 38430 456120 | 2147483647 57239 16 | 0.051 % |
149.27/149.40 c | 186002 | 45 38430 456120 | 2147483647 57340 16 | 0.051 % |
149.27/149.44 c | 186113 | 45 38430 456120 | 2147483647 57451 16 | 0.051 % |
149.27/149.47 c | 186235 | 45 38430 456120 | 2147483647 57573 16 | 0.051 % |
149.37/149.54 c | 186368 | 45 38430 456120 | 2147483647 57706 16 | 0.051 % |
149.47/149.61 c | 186514 | 45 38430 456120 | 2147483647 57852 16 | 0.051 % |
149.47/149.67 c | 186674 | 45 38430 456120 | 2147483647 58012 16 | 0.051 % |
149.57/149.78 c | 186850 | 45 38430 456120 | 2147483647 58188 16 | 0.051 % |
149.67/149.86 c | 187045 | 45 38430 456120 | 2147483647 58383 16 | 0.051 % |
149.77/149.96 c | 187258 | 45 38430 456120 | 2147483647 58596 16 | 0.051 % |
149.87/150.08 c | 187493 | 45 38430 456120 | 2147483647 58831 16 | 0.051 % |
150.07/150.20 c | 187753 | 45 38430 456120 | 2147483647 59091 16 | 0.051 % |
150.17/150.33 c | 188034 | 45 38430 456120 | 2147483647 59372 16 | 0.051 % |
150.27/150.47 c | 188344 | 45 38430 456120 | 2147483647 59682 16 | 0.051 % |
150.47/150.65 c | 188683 | 45 38430 456120 | 2147483647 60021 17 | 0.051 % |
150.66/150.80 c | 189056 | 45 38430 456120 | 2147483647 60394 17 | 0.051 % |
150.86/151.00 c | 189467 | 45 38430 456120 | 2147483647 60805 17 | 0.051 % |
150.96/151.18 c | 189917 | 45 38430 456120 | 2147483647 61255 17 | 0.051 % |
151.26/151.49 c | 190410 | 45 38430 456120 | 2147483647 61748 17 | 0.051 % |
151.57/151.72 c | 190952 | 45 38430 456120 | 2147483647 62290 17 | 0.051 % |
151.76/151.99 c | 191548 | 45 38430 456120 | 2147483647 62886 17 | 0.051 % |
152.16/152.34 c | 192203 | 45 38430 456120 | 2147483647 63541 17 | 0.051 % |
152.56/152.74 c | 192925 | 45 38430 456120 | 2147483647 64263 17 | 0.051 % |
152.86/153.09 c | 193718 | 45 38430 456120 | 2147483647 65056 17 | 0.051 % |
153.36/153.53 c | 194589 | 45 38430 456120 | 2147483647 65927 17 | 0.051 % |
153.87/154.09 c | 195548 | 45 38430 456120 | 2147483647 66886 17 | 0.051 % |
154.56/154.73 c | 196603 | 45 38430 456120 | 2147483647 67941 17 | 0.051 % |
155.36/155.51 c | 197764 | 45 38430 456120 | 2147483647 69102 17 | 0.051 % |
156.06/156.24 c | 199037 | 45 38430 456120 | 2147483647 70375 17 | 0.051 % |
156.96/157.13 c | 200437 | 45 38430 456120 | 2147483647 71775 17 | 0.051 % |
157.96/158.11 c | 201978 | 45 38430 456120 | 2147483647 73316 17 | 0.051 % |
159.26/159.40 c | 203673 | 45 38430 456120 | 2147483647 75011 17 | 0.051 % |
160.56/160.73 c | 205536 | 45 38430 456120 | 2147483647 76874 17 | 0.051 % |
162.16/162.34 c | 207585 | 45 38430 456120 | 2147483647 78923 17 | 0.051 % |
162.26/162.43 c | 207685 | 45 38430 456120 | 2147483647 79023 17 | 0.051 % |
162.36/162.54 c | 207796 | 45 38430 456120 | 2147483647 79134 17 | 0.051 % |
162.46/162.65 c | 207918 | 45 38430 456120 | 2147483647 79256 17 | 0.051 % |
162.56/162.77 c | 208051 | 45 38430 456120 | 2147483647 79389 17 | 0.051 % |
162.66/162.87 c | 208197 | 45 38430 456120 | 2147483647 79535 17 | 0.051 % |
162.86/163.00 c | 208357 | 45 38430 456120 | 2147483647 79695 17 | 0.051 % |
162.96/163.13 c | 208534 | 45 38430 456120 | 2147483647 79872 17 | 0.051 % |
163.16/163.31 c | 208727 | 45 38430 456120 | 2147483647 80065 17 | 0.051 % |
163.26/163.49 c | 208939 | 45 38430 456120 | 2147483647 80277 17 | 0.051 % |
163.46/163.68 c | 209172 | 45 38430 456120 | 2147483647 80510 17 | 0.051 % |
163.66/163.88 c | 209431 | 45 38430 456120 | 2147483647 80769 17 | 0.051 % |
163.96/164.11 c | 209713 | 45 38430 456120 | 2147483647 81051 17 | 0.051 % |
164.16/164.35 c | 210022 | 45 38430 456120 | 2147483647 81360 17 | 0.051 % |
164.46/164.68 c | 210364 | 45 38430 456120 | 2147483647 81702 17 | 0.051 % |
164.86/165.09 c | 210736 | 45 38430 456120 | 2147483647 82074 17 | 0.051 % |
165.26/165.46 c | 211146 | 45 38430 456120 | 2147483647 82484 17 | 0.051 % |
165.76/165.97 c | 211595 | 45 38430 456120 | 2147483647 82933 17 | 0.051 % |
166.25/166.44 c | 212089 | 45 38430 456120 | 2147483647 83427 17 | 0.051 % |
166.85/167.03 c | 212631 | 45 38430 456120 | 2147483647 83969 17 | 0.051 % |
167.25/167.49 c | 213229 | 45 38430 456120 | 2147483647 84567 17 | 0.051 % |
167.95/168.13 c | 213886 | 45 38430 456120 | 2147483647 85224 17 | 0.051 % |
168.65/168.87 c | 214608 | 45 38430 456120 | 2147483647 85946 17 | 0.051 % |
169.55/169.71 c | 215400 | 45 38430 456120 | 2147483647 86738 17 | 0.051 % |
170.36/170.56 c | 216271 | 45 38430 456120 | 2147483647 87609 17 | 0.051 % |
171.15/171.38 c | 217230 | 45 38430 456120 | 2147483647 88568 17 | 0.051 % |
172.15/172.37 c | 218284 | 45 38430 456120 | 2147483647 89622 17 | 0.051 % |
173.45/173.65 c | 219442 | 45 38430 456120 | 2147483647 90780 17 | 0.051 % |
175.35/175.56 c | 220717 | 45 38430 456120 | 91339 78908 17 | 0.051 % |
176.75/176.97 c | 222119 | 45 38430 456120 | 91339 80310 17 | 0.051 % |
178.85/179.01 c | 223660 | 45 38430 456120 | 91339 81851 17 | 0.051 % |
180.85/181.07 c | 225355 | 45 38430 456120 | 91339 83546 17 | 0.051 % |
182.95/183.15 c | 227218 | 45 38430 456120 | 91339 85409 17 | 0.051 % |
185.15/185.35 c | 229267 | 45 38430 456120 | 91339 87458 17 | 0.051 % |
188.25/188.42 c | 231521 | 45 38430 456120 | 88192 71652 17 | 0.051 % |
188.35/188.57 c | 231621 | 45 38430 456120 | 88192 71752 17 | 0.051 % |
188.55/188.74 c | 231733 | 45 38430 456120 | 88192 71864 17 | 0.051 % |
188.75/188.93 c | 231854 | 45 38430 456120 | 88192 71985 17 | 0.051 % |
188.95/189.11 c | 231990 | 45 38430 456120 | 88192 72121 17 | 0.051 % |
189.15/189.34 c | 232136 | 45 38430 456120 | 88192 72267 17 | 0.051 % |
189.35/189.59 c | 232299 | 45 38430 456120 | 88192 72430 17 | 0.051 % |
189.65/189.80 c | 232475 | 45 38430 456120 | 88192 72606 17 | 0.051 % |
189.85/190.04 c | 232668 | 45 38430 456120 | 88192 72799 17 | 0.051 % |
190.15/190.34 c | 232882 | 45 38430 456120 | 88192 73013 17 | 0.051 % |
190.55/190.71 c | 233117 | 45 38430 456120 | 88192 73248 17 | 0.051 % |
190.95/191.13 c | 233373 | 45 38430 456120 | 88192 73504 17 | 0.051 % |
191.35/191.55 c | 233654 | 45 38430 456120 | 88192 73785 17 | 0.051 % |
191.75/191.91 c | 233965 | 45 38430 456120 | 88192 74096 17 | 0.051 % |
192.15/192.35 c | 234306 | 45 38430 456120 | 88192 74437 17 | 0.051 % |
192.75/192.93 c | 234678 | 45 38430 456120 | 88192 74809 17 | 0.051 % |
193.24/193.50 c | 235087 | 45 38430 456120 | 88192 75218 17 | 0.051 % |
194.04/194.23 c | 235536 | 45 38430 456120 | 88192 75667 17 | 0.051 % |
194.84/195.02 c | 236031 | 45 38430 456120 | 88192 76162 17 | 0.051 % |
195.64/195.88 c | 236573 | 45 38430 456120 | 88192 76704 17 | 0.051 % |
196.54/196.75 c | 237169 | 45 38430 456120 | 88192 77300 17 | 0.051 % |
197.44/197.69 c | 237825 | 45 38430 456120 | 88192 77956 17 | 0.051 % |
198.43/198.67 c | 238546 | 45 38430 456120 | 88192 78677 17 | 0.051 % |
199.73/199.90 c | 239339 | 45 38430 456120 | 88192 79470 17 | 0.051 % |
201.53/201.71 c | 240210 | 45 38430 456120 | 80132 60320 17 | 0.051 % |
202.73/202.95 c | 241170 | 45 38430 456120 | 80132 61280 17 | 0.051 % |
204.13/204.35 c | 242223 | 45 38430 456120 | 80132 62333 17 | 0.051 % |
205.54/205.77 c | 243384 | 45 38430 456120 | 80132 63494 17 | 0.051 % |
206.93/207.16 c | 244657 | 45 38430 456120 | 80132 64767 17 | 0.051 % |
208.74/208.97 c | 246057 | 45 38430 456120 | 80132 66167 17 | 0.051 % |
210.83/211.09 c | 247597 | 45 38430 456120 | 80132 67707 17 | 0.051 % |
213.03/213.28 c | 249292 | 45 38430 456120 | 80132 69402 17 | 0.051 % |
215.43/215.68 c | 251155 | 45 38430 456120 | 70110 53935 17 | 0.051 % |
217.13/217.38 c | 253207 | 45 38430 456120 | 70110 55987 16 | 0.051 % |
219.53/219.78 c | 255460 | 45 38430 456120 | 70110 58240 16 | 0.051 % |
222.43/222.64 c | 257939 | 45 38430 456120 | 70110 60719 16 | 0.051 % |
222.53/222.79 c | 258041 | 45 38430 456120 | 70110 60821 16 | 0.051 % |
222.73/222.93 c | 258151 | 45 38430 456120 | 70110 60931 16 | 0.051 % |
222.93/223.17 c | 258272 | 45 38430 456120 | 70110 61052 16 | 0.051 % |
223.13/223.35 c | 258406 | 45 38430 456120 | 70110 61186 16 | 0.051 % |
223.33/223.52 c | 258552 | 45 38430 456120 | 70110 61332 16 | 0.051 % |
223.53/223.73 c | 258713 | 45 38430 456120 | 70110 61493 16 | 0.051 % |
223.73/223.95 c | 258889 | 45 38430 456120 | 70110 61669 16 | 0.051 % |
223.92/224.19 c | 259084 | 45 38430 456120 | 70110 61864 16 | 0.051 % |
224.32/224.50 c | 259296 | 45 38430 456120 | 70110 62076 16 | 0.051 % |
224.62/224.84 c | 259529 | 45 38430 456120 | 70110 62309 16 | 0.051 % |
225.02/225.20 c | 259785 | 45 38430 456120 | 70110 62565 16 | 0.051 % |
225.62/225.83 c | 260066 | 45 38430 456120 | 62780 49379 16 | 0.051 % |
226.02/226.21 c | 260375 | 45 38430 456120 | 62780 49688 16 | 0.051 % |
226.43/226.65 c | 260714 | 45 38430 456120 | 62780 50027 16 | 0.051 % |
226.82/227.08 c | 261087 | 45 38430 456120 | 62780 50400 16 | 0.051 % |
227.32/227.58 c | 261498 | 45 38430 456120 | 62780 50811 16 | 0.051 % |
227.82/228.04 c | 261947 | 45 38430 456120 | 62780 51260 16 | 0.051 % |
228.32/228.52 c | 262440 | 45 38430 456120 | 62780 51753 16 | 0.051 % |
228.92/229.16 c | 262984 | 45 38430 456120 | 62780 52297 16 | 0.051 % |
229.52/229.74 c | 263580 | 45 38430 456120 | 62780 52893 16 | 0.051 % |
230.32/230.53 c | 264237 | 45 38430 456120 | 62780 53550 16 | 0.051 % |
231.22/231.44 c | 264957 | 45 38430 456120 | 62780 54270 16 | 0.051 % |
232.22/232.48 c | 265750 | 45 38430 456120 | 62780 55063 16 | 0.051 % |
233.32/233.55 c | 266621 | 45 38430 456120 | 62780 55934 16 | 0.051 % |
234.32/234.60 c | 267580 | 45 38430 456120 | 62780 56893 16 | 0.051 % |
235.72/235.94 c | 268635 | 45 38430 456120 | 62780 57948 16 | 0.051 % |
237.22/237.50 c | 269795 | 45 38430 456120 | 62780 59108 16 | 0.051 % |
238.72/238.94 c | 271069 | 45 38430 456120 | 59313 48005 16 | 0.051 % |
240.02/240.22 c | 272469 | 45 38430 456120 | 59313 49405 16 | 0.051 % |
241.41/241.61 c | 274010 | 45 38430 456120 | 59313 50946 16 | 0.051 % |
243.01/243.26 c | 275705 | 45 38430 456120 | 59313 52641 16 | 0.051 % |
244.81/245.08 c | 277569 | 45 38430 456120 | 59313 54505 16 | 0.051 % |
247.21/247.41 c | 279619 | 45 38430 456120 | 59313 56555 16 | 0.051 % |
249.41/249.62 c | 281873 | 45 38430 456120 | 56937 48718 16 | 0.051 % |
251.50/251.72 c | 284351 | 45 38430 456120 | 56937 51196 16 | 0.051 % |
253.60/253.82 c | 287076 | 45 38430 456120 | 56937 53921 16 | 0.051 % |
253.70/253.96 c | 287179 | 45 38430 456120 | 56937 54024 16 | 0.051 % |
253.81/254.09 c | 287291 | 45 38430 456120 | 56937 54136 16 | 0.051 % |
254.00/254.21 c | 287412 | 45 38430 456120 | 56937 54257 16 | 0.051 % |
254.10/254.36 c | 287547 | 45 38430 456120 | 56937 54392 16 | 0.051 % |
254.30/254.53 c | 287693 | 45 38430 456120 | 56937 54538 16 | 0.051 % |
254.50/254.70 c | 287853 | 45 38430 456120 | 56937 54698 16 | 0.051 % |
254.70/254.93 c | 288029 | 45 38430 456120 | 56937 54874 16 | 0.051 % |
254.90/255.18 c | 288222 | 45 38430 456120 | 56937 55067 16 | 0.051 % |
255.20/255.45 c | 288434 | 45 38430 456120 | 56937 55279 16 | 0.051 % |
255.50/255.72 c | 288667 | 45 38430 456120 | 56937 55512 16 | 0.051 % |
255.70/255.99 c | 288923 | 45 38430 456120 | 56937 55768 16 | 0.051 % |
256.10/256.33 c | 289205 | 45 38430 456120 | 56937 56050 16 | 0.051 % |
256.40/256.67 c | 289516 | 45 38430 456120 | 56937 56361 16 | 0.051 % |
256.90/257.12 c | 289856 | 45 38430 456120 | 56937 56701 16 | 0.051 % |
257.40/257.69 c | 290228 | 45 38430 456120 | 56845 47809 16 | 0.051 % |
257.80/258.05 c | 290637 | 45 38430 456120 | 56845 48218 16 | 0.051 % |
258.20/258.43 c | 291087 | 45 38430 456120 | 56845 48668 16 | 0.051 % |
258.60/258.88 c | 291580 | 45 38430 456120 | 56845 49161 16 | 0.051 % |
259.20/259.46 c | 292122 | 45 38430 456120 | 56845 49703 16 | 0.051 % |
260.00/260.26 c | 292718 | 45 38430 456120 | 56845 50299 16 | 0.051 % |
260.70/260.99 c | 293373 | 45 38430 456120 | 56845 50954 16 | 0.051 % |
261.50/261.72 c | 294093 | 45 38430 456120 | 56845 51674 16 | 0.051 % |
262.40/262.62 c | 294885 | 45 38430 456120 | 56845 52466 16 | 0.051 % |
263.30/263.53 c | 295757 | 45 38430 456120 | 56845 53338 16 | 0.051 % |
264.49/264.74 c | 296715 | 45 38430 456120 | 56845 54296 16 | 0.051 % |
265.79/266.10 c | 297768 | 45 38430 456120 | 56845 55349 16 | 0.051 % |
267.19/267.49 c | 298926 | 45 38430 456120 | 56845 56507 16 | 0.051 % |
268.69/268.96 c | 300199 | 45 38430 456120 | 47649 39662 16 | 0.051 % |
269.89/270.13 c | 301600 | 45 38430 456120 | 47649 41063 16 | 0.051 % |
270.99/271.21 c | 303143 | 45 38430 456120 | 47649 42606 16 | 0.051 % |
272.69/272.90 c | 304838 | 45 38430 456120 | 47649 44301 16 | 0.051 % |
274.09/274.39 c | 306701 | 45 38430 456120 | 47649 46164 16 | 0.051 % |
276.19/276.43 c | 308751 | 45 38430 456120 | 47649 42223 16 | 0.051 % |
278.09/278.37 c | 311004 | 45 38430 456120 | 43472 39013 16 | 0.051 % |
279.99/280.23 c | 313485 | 45 38430 456120 | 43472 41494 16 | 0.051 % |
281.99/282.23 c | 316211 | 45 38430 456120 | 43472 39871 16 | 0.051 % |
285.88/286.15 c | 319209 | 45 38430 456120 | 43472 42869 16 | 0.051 % |
285.98/286.25 c | 319309 | 45 38430 456120 | 43472 42969 16 | 0.051 % |
286.08/286.36 c | 319420 | 45 38430 456120 | 43472 43080 16 | 0.051 % |
286.18/286.49 c | 319541 | 45 38430 456120 | 43472 43201 16 | 0.051 % |
286.38/286.64 c | 319674 | 45 38430 456120 | 43472 43334 16 | 0.051 % |
286.48/286.78 c | 319821 | 45 38430 456120 | 43472 43481 16 | 0.051 % |
286.79/287.01 c | 319981 | 45 38430 456120 | 43472 39293 16 | 0.051 % |
286.89/287.18 c | 320157 | 45 38430 456120 | 2147483647 39469 16 | 0.051 % |
287.08/287.36 c | 320350 | 45 38430 456120 | 2147483647 39662 16 | 0.051 % |
287.28/287.55 c | 320564 | 45 38430 456120 | 2147483647 39876 16 | 0.051 % |
287.48/287.77 c | 320799 | 45 38430 456120 | 2147483647 40111 16 | 0.051 % |
287.78/288.01 c | 321055 | 45 38430 456120 | 2147483647 40367 16 | 0.051 % |
287.99/288.22 c | 321336 | 45 38430 456120 | 2147483647 40648 16 | 0.051 % |
288.28/288.52 c | 321646 | 45 38430 456120 | 2147483647 40958 16 | 0.051 % |
288.48/288.79 c | 321986 | 45 38430 456120 | 2147483647 41298 16 | 0.051 % |
288.88/289.11 c | 322359 | 45 38430 456120 | 2147483647 41671 16 | 0.051 % |
289.18/289.42 c | 322769 | 45 38430 456120 | 2147483647 42081 16 | 0.051 % |
289.58/289.82 c | 323219 | 45 38430 456120 | 2147483647 42531 16 | 0.051 % |
289.98/290.26 c | 323714 | 45 38430 456120 | 2147483647 43026 16 | 0.051 % |
290.48/290.71 c | 324257 | 45 38430 456120 | 2147483647 43569 16 | 0.051 % |
290.98/291.23 c | 324853 | 45 38430 456120 | 2147483647 44165 16 | 0.051 % |
291.48/291.75 c | 325508 | 45 38430 456120 | 2147483647 44820 16 | 0.051 % |
292.08/292.37 c | 326229 | 45 38430 456120 | 2147483647 45541 16 | 0.051 % |
292.88/293.14 c | 327022 | 45 38430 456120 | 2147483647 46334 16 | 0.051 % |
293.78/294.02 c | 327893 | 45 38430 456120 | 2147483647 47205 16 | 0.051 % |
294.58/294.84 c | 328851 | 45 38430 456120 | 2147483647 48163 16 | 0.051 % |
295.38/295.67 c | 329904 | 45 38430 456120 | 2147483647 49216 16 | 0.051 % |
296.48/296.70 c | 331064 | 45 38430 456120 | 49314 45330 16 | 0.051 % |
297.58/297.86 c | 332337 | 45 38430 456120 | 49314 46603 16 | 0.051 % |
298.98/299.23 c | 333737 | 45 38430 456120 | 49314 48003 16 | 0.051 % |
300.48/300.76 c | 335277 | 45 38430 456120 | 49314 43520 16 | 0.051 % |
302.28/302.59 c | 336973 | 45 38430 456120 | 49314 45216 16 | 0.051 % |
303.87/304.18 c | 338838 | 45 38430 456120 | 49314 47081 16 | 0.051 % |
305.97/306.27 c | 340888 | 45 38430 456120 | 48245 42967 16 | 0.051 % |
307.87/308.11 c | 343142 | 45 38430 456120 | 48245 45221 16 | 0.051 % |
310.07/310.39 c | 345620 | 45 38430 456120 | 48245 47699 16 | 0.051 % |
312.77/313.05 c | 348346 | 45 38430 456120 | 48245 44644 16 | 0.051 % |
315.17/315.43 c | 351344 | 45 38430 456120 | 46298 42159 16 | 0.051 % |
318.17/318.41 c | 354640 | 45 38430 456120 | 46298 45455 16 | 0.051 % |
318.27/318.50 c | 354742 | 45 38430 456120 | 46298 45557 16 | 0.051 % |
318.37/318.62 c | 354852 | 45 38430 456120 | 46298 45667 16 | 0.051 % |
318.47/318.73 c | 354974 | 45 38430 456120 | 46298 45789 16 | 0.051 % |
318.57/318.86 c | 355108 | 45 38430 456120 | 46298 45923 16 | 0.051 % |
318.77/319.02 c | 355255 | 45 38430 456120 | 46298 46070 16 | 0.051 % |
318.87/319.15 c | 355415 | 45 38430 456120 | 46298 46230 16 | 0.051 % |
319.17/319.43 c | 355592 | 45 38430 456120 | 46298 41081 16 | 0.051 % |
319.37/319.61 c | 355785 | 45 38430 456120 | 46298 41274 16 | 0.051 % |
319.47/319.78 c | 355997 | 45 38430 456120 | 46298 41486 16 | 0.051 % |
319.67/319.98 c | 356230 | 45 38430 456120 | 46298 41719 16 | 0.051 % |
320.06/320.32 c | 356486 | 45 38430 456120 | 46298 41975 16 | 0.051 % |
320.26/320.56 c | 356767 | 45 38430 456120 | 46298 42256 16 | 0.051 % |
320.56/320.85 c | 357078 | 45 38430 456120 | 46298 42567 16 | 0.051 % |
320.87/321.17 c | 357417 | 45 38430 456120 | 46298 42906 16 | 0.051 % |
321.26/321.55 c | 357789 | 45 38430 456120 | 46298 43278 16 | 0.051 % |
321.56/321.87 c | 358198 | 45 38430 456120 | 46298 43687 16 | 0.051 % |
321.97/322.23 c | 358647 | 45 38430 456120 | 46298 44136 16 | 0.051 % |
322.36/322.64 c | 359142 | 45 38430 456120 | 46298 44631 16 | 0.051 % |
322.86/323.10 c | 359685 | 45 38430 456120 | 46298 45174 16 | 0.051 % |
323.36/323.67 c | 360282 | 45 38430 456120 | 45489 40727 16 | 0.051 % |
323.96/324.29 c | 360938 | 45 38430 456120 | 45489 41383 16 | 0.051 % |
324.56/324.86 c | 361659 | 45 38430 456120 | 45489 42104 16 | 0.051 % |
325.27/325.54 c | 362453 | 45 38430 456120 | 45489 42898 16 | 0.051 % |
325.96/326.22 c | 363326 | 45 38430 456120 | 45489 43771 16 | 0.051 % |
326.66/326.91 c | 364287 | 45 38430 456120 | 45489 44732 16 | 0.051 % |
327.47/327.79 c | 365341 | 45 38430 456120 | 45489 41090 16 | 0.051 % |
328.46/328.73 c | 366500 | 45 38430 456120 | 45489 42249 16 | 0.051 % |
329.46/329.80 c | 367773 | 45 38430 456120 | 45489 43522 16 | 0.051 % |
330.86/331.15 c | 369177 | 45 38430 456120 | 45489 44926 16 | 0.051 % |
332.16/332.46 c | 370718 | 45 38430 456120 | 40863 37213 16 | 0.051 % |
333.66/333.92 c | 372412 | 45 38430 456120 | 40863 38907 16 | 0.051 % |
335.16/335.44 c | 374275 | 45 38430 456120 | 40863 40770 16 | 0.051 % |
336.36/336.64 c | 376324 | 45 38430 456120 | 40863 38731 16 | 0.051 % |
338.15/338.42 c | 378578 | 45 38430 456120 | 40863 36897 16 | 0.051 % |
340.15/340.47 c | 381057 | 45 38430 456120 | 2147483647 39376 16 | 0.051 % |
342.45/342.71 c | 383782 | 45 38430 456120 | 2147483647 42101 16 | 0.051 % |
344.75/345.02 c | 386783 | 45 38430 456120 | 2147483647 45102 16 | 0.051 % |
347.15/347.44 c | 390079 | 45 38430 456120 | 2147483647 48398 16 | 0.051 % |
350.35/350.61 c | 393704 | 45 38430 456120 | 2147483647 52023 16 | 0.051 % |
350.45/350.71 c | 393805 | 45 38430 456120 | 2147483647 52124 16 | 0.051 % |
350.55/350.81 c | 393915 | 45 38430 456120 | 2147483647 52234 16 | 0.051 % |
350.65/350.92 c | 394036 | 45 38430 456120 | 2147483647 52355 16 | 0.051 % |
350.75/351.06 c | 394169 | 45 38430 456120 | 2147483647 52488 16 | 0.051 % |
350.95/351.25 c | 394315 | 45 38430 456120 | 2147483647 52634 16 | 0.051 % |
351.05/351.40 c | 394475 | 45 38430 456120 | 2147483647 52794 16 | 0.051 % |
351.35/351.61 c | 394655 | 45 38430 456120 | 2147483647 52974 16 | 0.051 % |
351.55/351.81 c | 394849 | 45 38430 456120 | 2147483647 53168 16 | 0.051 % |
351.75/352.06 c | 395065 | 45 38430 456120 | 2147483647 53384 16 | 0.051 % |
352.05/352.37 c | 395299 | 45 38430 456120 | 2147483647 53618 16 | 0.051 % |
352.35/352.63 c | 395556 | 45 38430 456120 | 2147483647 53875 16 | 0.051 % |
352.75/353.03 c | 395839 | 45 38430 456120 | 2147483647 54158 16 | 0.051 % |
353.05/353.33 c | 396149 | 45 38430 456120 | 2147483647 54468 16 | 0.051 % |
353.45/353.73 c | 396489 | 45 38430 456120 | 2147483647 54808 16 | 0.051 % |
353.85/354.17 c | 396864 | 45 38430 456120 | 2147483647 55183 16 | 0.051 % |
354.45/354.74 c | 397275 | 45 38430 456120 | 2147483647 55594 16 | 0.051 % |
355.05/355.34 c | 397728 | 45 38430 456120 | 2147483647 56047 16 | 0.051 % |
355.65/355.96 c | 398221 | 45 38430 456120 | 2147483647 56540 16 | 0.051 % |
356.35/356.60 c | 398764 | 45 38430 456120 | 2147483647 57083 16 | 0.051 % |
357.05/357.34 c | 399360 | 45 38430 456120 | 2147483647 57679 16 | 0.051 % |
357.85/358.15 c | 400015 | 45 38430 456120 | 58322 58334 16 | 0.051 % |
358.85/359.12 c | 400735 | 45 38430 456120 | 58322 49583 16 | 0.051 % |
359.65/359.97 c | 401528 | 45 38430 456120 | 58322 50376 16 | 0.051 % |
360.65/360.94 c | 402399 | 45 38430 456120 | 58322 51247 16 | 0.051 % |
361.84/362.11 c | 403357 | 45 38430 456120 | 58322 52205 16 | 0.051 % |
362.54/362.82 c | 404410 | 45 38430 456120 | 58322 53258 16 | 0.051 % |
363.54/363.88 c | 405569 | 45 38430 456120 | 58322 54417 16 | 0.051 % |
364.95/365.26 c | 406842 | 45 38430 456120 | 58322 55690 16 | 0.051 % |
366.54/366.86 c | 408242 | 45 38430 456120 | 58322 57090 16 | 0.051 % |
368.34/368.68 c | 409782 | 45 38430 456120 | 58322 49188 16 | 0.051 % |
370.04/370.38 c | 411476 | 45 38430 456120 | 49407 42889 16 | 0.051 % |
371.64/371.96 c | 413340 | 45 38430 456120 | 49407 44753 16 | 0.051 % |
373.54/373.80 c | 415391 | 45 38430 456120 | 49407 46804 16 | 0.051 % |
375.34/375.70 c | 417646 | 45 38430 456120 | 49407 49059 16 | 0.051 % |
377.73/378.04 c | 420124 | 45 38430 456120 | 44706 38943 16 | 0.051 % |
379.83/380.16 c | 422852 | 45 38430 456120 | 44706 41671 16 | 0.051 % |
382.13/382.46 c | 425850 | 45 38430 456120 | 44706 44669 16 | 0.051 % |
384.63/384.94 c | 429146 | 45 38430 456120 | 44706 43493 16 | 0.051 % |
387.53/387.86 c | 432771 | 45 38430 456120 | 2147483647 47118 16 | 0.051 % |
391.03/391.30 c | 436759 | 45 38430 456120 | 2147483647 51106 16 | 0.051 % |
391.13/391.41 c | 436860 | 45 38430 456120 | 2147483647 51207 16 | 0.051 % |
391.23/391.55 c | 436972 | 45 38430 456120 | 2147483647 51319 16 | 0.051 % |
391.43/391.71 c | 437094 | 45 38430 456120 | 2147483647 51441 16 | 0.051 % |
391.53/391.87 c | 437227 | 45 38430 456120 | 2147483647 51574 16 | 0.051 % |
391.73/392.01 c | 437373 | 45 38430 456120 | 2147483647 51720 16 | 0.051 % |
391.83/392.14 c | 437533 | 45 38430 456120 | 2147483647 51880 16 | 0.051 % |
392.03/392.35 c | 437711 | 45 38430 456120 | 2147483647 52058 16 | 0.051 % |
392.23/392.55 c | 437904 | 45 38430 456120 | 2147483647 52251 16 | 0.051 % |
392.43/392.78 c | 438119 | 45 38430 456120 | 2147483647 52466 16 | 0.051 % |
392.73/393.02 c | 438352 | 45 38430 456120 | 2147483647 52699 16 | 0.051 % |
393.03/393.37 c | 438609 | 45 38430 456120 | 2147483647 52956 16 | 0.051 % |
393.33/393.63 c | 438891 | 45 38430 456120 | 2147483647 53238 16 | 0.051 % |
393.63/393.96 c | 439203 | 45 38430 456120 | 2147483647 53550 16 | 0.051 % |
393.93/394.29 c | 439543 | 45 38430 456120 | 2147483647 53890 16 | 0.051 % |
394.43/394.71 c | 439916 | 45 38430 456120 | 2147483647 54263 16 | 0.051 % |
395.02/395.35 c | 440325 | 45 38430 456120 | 54347 47321 16 | 0.051 % |
395.42/395.74 c | 440774 | 45 38430 456120 | 54347 47770 16 | 0.051 % |
395.92/396.26 c | 441270 | 45 38430 456120 | 54347 48266 16 | 0.051 % |
396.52/396.83 c | 441812 | 45 38430 456120 | 54347 48808 16 | 0.051 % |
397.12/397.45 c | 442408 | 45 38430 456120 | 54347 49404 16 | 0.051 % |
397.83/398.16 c | 443064 | 45 38430 456120 | 54347 50060 16 | 0.051 % |
398.52/398.87 c | 443786 | 45 38430 456120 | 54347 50782 16 | 0.051 % |
399.42/399.73 c | 444578 | 45 38430 456120 | 54347 51574 16 | 0.051 % |
400.42/400.73 c | 445450 | 45 38430 456120 | 54347 52446 16 | 0.051 % |
401.23/401.57 c | 446409 | 45 38430 456120 | 54347 53405 16 | 0.051 % |
402.62/402.95 c | 447462 | 45 38430 456120 | 54347 45863 16 | 0.051 % |
403.52/403.89 c | 448620 | 45 38430 456120 | 54347 47021 16 | 0.051 % |
404.82/405.19 c | 449893 | 45 38430 456120 | 54347 48294 16 | 0.051 % |
406.12/406.43 c | 451293 | 45 38430 456120 | 48401 42232 16 | 0.051 % |
407.22/407.55 c | 452833 | 45 38430 456120 | 48401 43772 16 | 0.051 % |
408.42/408.71 c | 454528 | 45 38430 456120 | 48401 45467 16 | 0.051 % |
410.12/410.42 c | 456391 | 45 38430 456120 | 48401 47330 16 | 0.051 % |
412.02/412.33 c | 458441 | 45 38430 456120 | 48401 43548 16 | 0.051 % |
413.72/414.06 c | 460696 | 45 38430 456120 | 45107 40691 16 | 0.051 % |
415.62/415.92 c | 463175 | 45 38430 456120 | 45107 43170 16 | 0.051 % |
417.72/418.10 c | 465900 | 45 38430 456120 | 45107 41383 16 | 0.051 % |
419.92/420.21 c | 468898 | 45 38430 456120 | 45107 44381 16 | 0.051 % |
422.61/422.97 c | 472195 | 45 38430 456120 | 2147483647 43166 16 | 0.051 % |
425.10/425.46 c | 475821 | 45 38430 456120 | 2147483647 46792 16 | 0.051 % |
428.61/428.94 c | 479810 | 45 38430 456120 | 2147483647 50781 16 | 0.051 % |
432.20/432.52 c | 484195 | 45 38430 456120 | 50971 49769 16 | 0.051 % |
432.30/432.63 c | 484296 | 45 38430 456120 | 50971 49870 16 | 0.051 % |
432.40/432.73 c | 484406 | 45 38430 456120 | 50971 49980 16 | 0.051 % |
432.50/432.85 c | 484529 | 45 38430 456120 | 50971 50103 16 | 0.051 % |
432.70/433.01 c | 484663 | 45 38430 456120 | 50971 50237 16 | 0.051 % |
432.80/433.14 c | 484811 | 45 38430 456120 | 50971 50385 16 | 0.051 % |
433.01/433.30 c | 484971 | 45 38430 456120 | 50971 50545 16 | 0.051 % |
433.11/433.49 c | 485147 | 45 38430 456120 | 50971 50721 16 | 0.051 % |
433.30/433.64 c | 485340 | 45 38430 456120 | 50971 50914 16 | 0.051 % |
433.70/434.01 c | 485554 | 45 38430 456120 | 50971 45453 16 | 0.051 % |
433.90/434.23 c | 485787 | 45 38430 456120 | 50971 45686 16 | 0.051 % |
434.11/434.47 c | 486043 | 45 38430 456120 | 50971 45942 16 | 0.051 % |
434.40/434.73 c | 486325 | 45 38430 456120 | 50971 46224 16 | 0.051 % |
434.70/435.01 c | 486634 | 45 38430 456120 | 50971 46533 16 | 0.051 % |
435.10/435.49 c | 486975 | 45 38430 456120 | 50971 46874 16 | 0.051 % |
435.60/435.98 c | 487347 | 45 38430 456120 | 50971 47246 16 | 0.051 % |
436.10/436.49 c | 487756 | 45 38430 456120 | 50971 47655 16 | 0.051 % |
436.60/436.96 c | 488205 | 45 38430 456120 | 50971 48104 16 | 0.051 % |
437.00/437.39 c | 488699 | 45 38430 456120 | 50971 48598 16 | 0.051 % |
437.60/437.98 c | 489243 | 45 38430 456120 | 50971 49142 16 | 0.051 % |
438.30/438.66 c | 489839 | 45 38430 456120 | 50971 49738 16 | 0.051 % |
439.00/439.36 c | 490494 | 45 38430 456120 | 49899 43913 16 | 0.051 % |
439.70/440.07 c | 491215 | 45 38430 456120 | 49899 44634 16 | 0.051 % |
440.30/440.69 c | 492009 | 45 38430 456120 | 49899 45428 16 | 0.051 % |
441.20/441.54 c | 492880 | 45 38430 456120 | 49899 46299 16 | 0.051 % |
441.90/442.21 c | 493838 | 45 38430 456120 | 49899 47257 16 | 0.051 % |
442.80/443.14 c | 494891 | 45 38430 456120 | 49899 48310 16 | 0.051 % |
443.80/444.19 c | 496049 | 45 38430 456120 | 49899 49468 16 | 0.051 % |
445.30/445.61 c | 497324 | 45 38430 456120 | 49899 44133 16 | 0.051 % |
446.40/446.73 c | 498725 | 45 38430 456120 | 49899 45534 16 | 0.051 % |
447.60/447.95 c | 500266 | 45 38430 456120 | 46809 41473 16 | 0.051 % |
448.89/449.20 c | 501961 | 45 38430 456120 | 46809 43168 16 | 0.051 % |
450.19/450.50 c | 503824 | 45 38430 456120 | 46809 45031 16 | 0.051 % |
451.89/452.24 c | 505873 | 45 38430 456120 | 46809 42398 16 | 0.051 % |
453.59/453.90 c | 508127 | 45 38430 456120 | 46809 44652 16 | 0.051 % |
455.30/455.69 c | 510605 | 45 38430 456120 | 2147483647 47130 16 | 0.051 % |
457.50/457.84 c | 513330 | 45 38430 456120 | 2147483647 49855 16 | 0.051 % |
459.50/459.89 c | 516329 | 45 38430 456120 | 2147483647 52854 16 | 0.051 % |
462.80/463.13 c | 519625 | 45 38430 456120 | 2147483647 56150 16 | 0.051 % |
466.39/466.76 c | 523250 | 45 38430 456120 | 56525 53486 16 | 0.051 % |
470.59/470.96 c | 527237 | 45 38430 456120 | 56525 48703 16 | 0.051 % |
474.09/474.44 c | 531623 | 45 38430 456120 | 51466 45507 16 | 0.051 % |
478.29/478.67 c | 536448 | 45 38430 456120 | 51466 50332 16 | 0.051 % |
478.39/478.75 c | 536548 | 45 38430 456120 | 51466 50432 16 | 0.051 % |
478.49/478.88 c | 536659 | 45 38430 456120 | 51466 50543 16 | 0.051 % |
478.69/479.01 c | 536782 | 45 38430 456120 | 51466 50666 16 | 0.051 % |
478.79/479.13 c | 536915 | 45 38430 456120 | 51466 50799 16 | 0.051 % |
478.89/479.28 c | 537061 | 45 38430 456120 | 51466 50945 16 | 0.051 % |
479.09/479.48 c | 537222 | 45 38430 456120 | 51466 51106 16 | 0.051 % |
479.29/479.67 c | 537398 | 45 38430 456120 | 51466 51282 16 | 0.051 % |
479.49/479.85 c | 537593 | 45 38430 456120 | 51466 51477 16 | 0.051 % |
479.79/480.18 c | 537805 | 45 38430 456120 | 51466 44731 16 | 0.051 % |
480.09/480.45 c | 538038 | 45 38430 456120 | 51466 44964 16 | 0.051 % |
480.29/480.69 c | 538294 | 45 38430 456120 | 51466 45220 16 | 0.051 % |
480.59/480.98 c | 538577 | 45 38430 456120 | 51466 45503 16 | 0.051 % |
480.89/481.25 c | 538886 | 45 38430 456120 | 51466 45812 16 | 0.051 % |
481.19/481.59 c | 539226 | 45 38430 456120 | 51466 46152 16 | 0.051 % |
481.49/481.88 c | 539598 | 45 38430 456120 | 51466 46524 16 | 0.051 % |
481.99/482.33 c | 540008 | 45 38430 456120 | 46926 46934 16 | 0.051 % |
482.39/482.80 c | 540458 | 45 38430 456120 | 46926 41104 15 | 0.051 % |
482.78/483.16 c | 540953 | 45 38430 456120 | 46926 41599 15 | 0.051 % |
483.18/483.52 c | 541496 | 45 38430 456120 | 46926 42142 15 | 0.051 % |
483.69/484.07 c | 542095 | 45 38430 456120 | 46926 42741 15 | 0.051 % |
484.28/484.62 c | 542750 | 45 38430 456120 | 46926 43396 15 | 0.051 % |
484.98/485.33 c | 543470 | 45 38430 456120 | 46926 44116 15 | 0.051 % |
485.68/486.02 c | 544264 | 45 38430 456120 | 46926 44910 16 | 0.051 % |
486.28/486.66 c | 545135 | 45 38430 456120 | 46926 45781 16 | 0.051 % |
487.08/487.47 c | 546093 | 45 38430 456120 | 46926 46739 16 | 0.051 % |
488.09/488.49 c | 547148 | 45 38430 456120 | 46926 42729 16 | 0.051 % |
488.98/489.35 c | 548308 | 45 38430 456120 | 46926 43889 16 | 0.051 % |
490.19/490.52 c | 549583 | 45 38430 456120 | 46926 45164 16 | 0.051 % |
491.48/491.81 c | 550983 | 45 38430 456120 | 45581 41695 15 | 0.051 % |
492.39/492.74 c | 552523 | 45 38430 456120 | 45581 43235 15 | 0.051 % |
493.88/494.22 c | 554217 | 45 38430 456120 | 45581 44929 15 | 0.051 % |
495.48/495.86 c | 556081 | 45 38430 456120 | 45581 42233 15 | 0.051 % |
497.28/497.68 c | 558134 | 45 38430 456120 | 45581 44286 15 | 0.051 % |
499.08/499.45 c | 560387 | 45 38430 456120 | 2147483647 41979 16 | 0.051 % |
500.98/501.39 c | 562865 | 45 38430 456120 | 2147483647 44457 16 | 0.051 % |
502.98/503.34 c | 565590 | 45 38430 456120 | 2147483647 47182 16 | 0.051 % |
505.68/506.03 c | 568589 | 45 38430 456120 | 2147483647 50181 16 | 0.051 % |
508.58/508.99 c | 571886 | 45 38430 456120 | 51593 48171 16 | 0.051 % |
512.07/512.49 c | 575511 | 45 38430 456120 | 51593 45827 16 | 0.051 % |
515.37/515.79 c | 579499 | 45 38430 456120 | 51593 49815 16 | 0.051 % |
520.17/520.51 c | 583884 | 45 38430 456120 | 50317 48277 16 | 0.051 % |
523.97/524.36 c | 588707 | 45 38430 456120 | 50317 46407 15 | 0.051 % |
527.87/528.29 c | 594012 | 45 38430 456120 | 47700 45968 15 | 0.051 % |
527.97/528.39 c | 594112 | 45 38430 456120 | 47700 46068 15 | 0.051 % |
528.07/528.49 c | 594222 | 45 38430 456120 | 47700 46178 15 | 0.051 % |
528.27/528.65 c | 594345 | 45 38430 456120 | 47700 46301 15 | 0.051 % |
528.37/528.78 c | 594478 | 45 38430 456120 | 47700 46434 15 | 0.051 % |
528.57/528.92 c | 594624 | 45 38430 456120 | 47700 46580 15 | 0.051 % |
528.67/529.10 c | 594784 | 45 38430 456120 | 47700 46740 15 | 0.051 % |
528.87/529.28 c | 594961 | 45 38430 456120 | 47700 46917 15 | 0.051 % |
529.06/529.48 c | 595154 | 45 38430 456120 | 47700 47110 15 | 0.051 % |
529.26/529.69 c | 595366 | 45 38430 456120 | 47700 47322 15 | 0.051 % |
529.56/529.91 c | 595599 | 45 38430 456120 | 47700 47555 15 | 0.051 % |
529.87/530.28 c | 595856 | 45 38430 456120 | 47700 42747 15 | 0.051 % |
530.17/530.58 c | 596137 | 45 38430 456120 | 47700 43028 15 | 0.051 % |
530.57/530.92 c | 596446 | 45 38430 456120 | 47700 43337 15 | 0.051 % |
530.87/531.20 c | 596786 | 45 38430 456120 | 47700 43677 15 | 0.051 % |
531.16/531.58 c | 597158 | 45 38430 456120 | 47700 44049 15 | 0.051 % |
531.56/531.91 c | 597567 | 45 38430 456120 | 47700 44458 15 | 0.051 % |
531.97/532.31 c | 598016 | 45 38430 456120 | 47700 44907 15 | 0.051 % |
532.36/532.77 c | 598510 | 45 38430 456120 | 47700 45401 15 | 0.051 % |
532.96/533.30 c | 599055 | 45 38430 456120 | 47700 45946 15 | 0.051 % |
533.56/533.97 c | 599651 | 45 38430 456120 | 47700 46542 15 | 0.051 % |
534.27/534.64 c | 600306 | 45 38430 456120 | 46891 41893 15 | 0.051 % |
534.86/535.22 c | 601030 | 45 38430 456120 | 46891 42617 15 | 0.051 % |
535.56/535.91 c | 601822 | 45 38430 456120 | 46891 43409 15 | 0.051 % |
536.16/536.53 c | 602696 | 45 38430 456120 | 46891 44283 15 | 0.051 % |
536.96/537.36 c | 603655 | 45 38430 456120 | 46891 45242 15 | 0.051 % |
537.66/538.03 c | 604709 | 45 38430 456120 | 46891 46296 15 | 0.051 % |
538.57/538.93 c | 605868 | 45 38430 456120 | 46891 42765 15 | 0.051 % |
539.56/539.94 c | 607142 | 45 38430 456120 | 46891 44039 15 | 0.051 % |
540.66/541.07 c | 608542 | 45 38430 456120 | 46891 45439 15 | 0.051 % |
541.96/542.37 c | 610083 | 45 38430 456120 | 2147483647 46980 15 | 0.051 % |
543.56/543.92 c | 611777 | 45 38430 456120 | 2147483647 48674 15 | 0.051 % |
545.36/545.74 c | 613640 | 45 38430 456120 | 2147483647 50537 15 | 0.051 % |
547.06/547.49 c | 615689 | 45 38430 456120 | 2147483647 52586 15 | 0.051 % |
549.26/549.63 c | 617942 | 45 38430 456120 | 2147483647 54839 15 | 0.051 % |
551.66/552.05 c | 620421 | 45 38430 456120 | 56899 49948 15 | 0.051 % |
553.96/554.34 c | 623147 | 45 38430 456120 | 56899 52674 15 | 0.051 % |
556.95/557.38 c | 626144 | 45 38430 456120 | 56899 55671 15 | 0.051 % |
560.25/560.64 c | 629442 | 45 38430 456120 | 56899 50443 15 | 0.051 % |
563.24/563.65 c | 633067 | 45 38430 456120 | 51001 46574 15 | 0.051 % |
566.74/567.10 c | 637054 | 45 38430 456120 | 51001 50561 15 | 0.051 % |
570.14/570.59 c | 641439 | 45 38430 456120 | 47122 43018 15 | 0.051 % |
574.04/574.47 c | 646262 | 45 38430 456120 | 47122 42873 15 | 0.051 % |
578.14/578.52 c | 651569 | 45 38430 456120 | 2147483647 48180 15 | 0.051 % |
583.84/584.26 c | 657404 | 45 38430 456120 | 2147483647 54015 15 | 0.051 % |
583.94/584.38 c | 657505 | 45 38430 456120 | 2147483647 54116 15 | 0.051 % |
584.14/584.50 c | 657616 | 45 38430 456120 | 2147483647 54227 15 | 0.051 % |
584.24/584.66 c | 657738 | 45 38430 456120 | 2147483647 54349 15 | 0.051 % |
584.44/584.83 c | 657873 | 45 38430 456120 | 2147483647 54484 15 | 0.051 % |
584.54/584.98 c | 658020 | 45 38430 456120 | 2147483647 54631 15 | 0.051 % |
584.74/585.18 c | 658182 | 45 38430 456120 | 2147483647 54793 15 | 0.051 % |
584.94/585.39 c | 658360 | 45 38430 456120 | 2147483647 54971 15 | 0.051 % |
585.14/585.59 c | 658553 | 45 38430 456120 | 2147483647 55164 15 | 0.051 % |
585.44/585.86 c | 658766 | 45 38430 456120 | 2147483647 55377 15 | 0.051 % |
585.74/586.15 c | 658999 | 45 38430 456120 | 2147483647 55610 15 | 0.051 % |
586.04/586.46 c | 659255 | 45 38430 456120 | 2147483647 55866 15 | 0.051 % |
586.44/586.80 c | 659537 | 45 38430 456120 | 2147483647 56148 15 | 0.051 % |
586.74/587.19 c | 659847 | 45 38430 456120 | 2147483647 56458 15 | 0.051 % |
587.24/587.69 c | 660187 | 45 38430 456120 | 56611 48347 15 | 0.051 % |
587.64/588.05 c | 660560 | 45 38430 456120 | 56611 48720 15 | 0.051 % |
588.14/588.53 c | 660969 | 45 38430 456120 | 56611 49129 15 | 0.051 % |
588.54/588.99 c | 661419 | 45 38430 456120 | 56611 49579 15 | 0.051 % |
589.04/589.49 c | 661913 | 45 38430 456120 | 56611 50073 15 | 0.051 % |
589.54/589.93 c | 662455 | 45 38430 456120 | 56611 50615 15 | 0.051 % |
590.14/590.53 c | 663051 | 45 38430 456120 | 56611 51211 15 | 0.051 % |
590.74/591.17 c | 663706 | 45 38430 456120 | 56611 51866 15 | 0.051 % |
591.44/591.82 c | 664427 | 45 38430 456120 | 56611 52587 15 | 0.051 % |
592.23/592.65 c | 665220 | 45 38430 456120 | 56611 53380 15 | 0.051 % |
592.93/593.39 c | 666091 | 45 38430 456120 | 56611 54251 15 | 0.051 % |
594.03/594.40 c | 667050 | 45 38430 456120 | 56611 55210 15 | 0.051 % |
595.13/595.53 c | 668103 | 45 38430 456120 | 56611 56263 15 | 0.051 % |
596.33/596.79 c | 669261 | 45 38430 456120 | 56611 48824 15 | 0.051 % |
597.53/597.90 c | 670534 | 45 38430 456120 | 49563 42887 15 | 0.051 % |
598.83/599.25 c | 671934 | 45 38430 456120 | 49563 44287 15 | 0.051 % |
600.13/600.57 c | 673475 | 45 38430 456120 | 49563 45828 15 | 0.051 % |
601.52/601.94 c | 675170 | 45 38430 456120 | 49563 47523 15 | 0.051 % |
603.02/603.40 c | 677034 | 45 38430 456120 | 49563 49387 15 | 0.051 % |
604.92/605.37 c | 679084 | 45 38430 456120 | 49563 45757 15 | 0.051 % |
607.02/607.43 c | 681337 | 45 38430 456120 | 46673 42767 15 | 0.051 % |
608.93/609.39 c | 683815 | 45 38430 456120 | 46673 45245 15 | 0.051 % |
611.23/611.64 c | 686542 | 45 38430 456120 | 46673 43303 15 | 0.051 % |
613.62/614.09 c | 689541 | 45 38430 456120 | 46673 46302 15 | 0.051 % |
616.42/616.83 c | 692837 | 45 38430 456120 | 2147483647 44930 15 | 0.051 % |
619.62/620.00 c | 696462 | 45 38430 456120 | 2147483647 48555 15 | 0.051 % |
623.22/623.70 c | 700451 | 45 38430 456120 | 52093 46464 15 | 0.051 % |
626.72/627.19 c | 704837 | 45 38430 456120 | 52093 50850 15 | 0.051 % |
630.22/630.65 c | 709661 | 45 38430 456120 | 52093 50285 15 | 0.051 % |
634.71/635.17 c | 714966 | 45 38430 456120 | 50624 50484 15 | 0.051 % |
639.51/639.94 c | 720802 | 45 38430 456120 | 50164 45741 15 | 0.051 % |
644.41/644.88 c | 727220 | 45 38430 456120 | 50164 46883 15 | 0.051 % |
644.51/644.97 c | 727323 | 45 38430 456120 | 50164 46986 15 | 0.051 % |
644.71/645.11 c | 727434 | 45 38430 456120 | 50164 47097 15 | 0.051 % |
644.81/645.23 c | 727555 | 45 38430 456120 | 50164 47218 15 | 0.051 % |
644.91/645.36 c | 727688 | 45 38430 456120 | 50164 47351 15 | 0.051 % |
645.01/645.48 c | 727834 | 45 38430 456120 | 50164 47497 15 | 0.051 % |
645.21/645.65 c | 727994 | 45 38430 456120 | 50164 47657 15 | 0.051 % |
645.40/645.85 c | 728170 | 45 38430 456120 | 50164 47833 15 | 0.051 % |
645.60/646.01 c | 728363 | 45 38430 456120 | 50164 48026 15 | 0.051 % |
645.80/646.20 c | 728576 | 45 38430 456120 | 50164 48239 15 | 0.051 % |
646.00/646.42 c | 728810 | 45 38430 456120 | 50164 48473 15 | 0.051 % |
646.20/646.69 c | 729068 | 45 38430 456120 | 50164 48731 15 | 0.051 % |
646.60/647.02 c | 729349 | 45 38430 456120 | 50164 49012 15 | 0.051 % |
646.80/647.28 c | 729658 | 45 38430 456120 | 50164 49321 15 | 0.051 % |
647.20/647.63 c | 729999 | 45 38430 456120 | 50164 49662 15 | 0.051 % |
647.60/648.02 c | 730373 | 45 38430 456120 | 49663 44868 14 | 0.051 % |
647.90/648.35 c | 730784 | 45 38430 456120 | 49663 45279 14 | 0.051 % |
648.30/648.73 c | 731233 | 45 38430 456120 | 49663 45728 14 | 0.051 % |
648.70/649.10 c | 731727 | 45 38430 456120 | 49663 46222 14 | 0.051 % |
649.30/649.73 c | 732271 | 45 38430 456120 | 49663 46766 15 | 0.051 % |
649.80/650.25 c | 732869 | 45 38430 456120 | 49663 47364 15 | 0.051 % |
650.30/650.78 c | 733528 | 45 38430 456120 | 49663 48023 15 | 0.051 % |
651.00/651.42 c | 734249 | 45 38430 456120 | 49663 48744 15 | 0.051 % |
651.70/652.15 c | 735042 | 45 38430 456120 | 49663 49537 15 | 0.051 % |
652.50/652.95 c | 735913 | 45 38430 456120 | 49663 44771 14 | 0.051 % |
653.10/653.52 c | 736872 | 45 38430 456120 | 49663 45730 14 | 0.051 % |
653.80/654.21 c | 737926 | 45 38430 456120 | 49663 46784 15 | 0.051 % |
654.70/655.19 c | 739084 | 45 38430 456120 | 49663 47942 15 | 0.051 % |
656.00/656.46 c | 740359 | 45 38430 456120 | 48859 44134 15 | 0.051 % |
657.20/657.63 c | 741760 | 45 38430 456120 | 48859 45535 15 | 0.051 % |
658.40/658.89 c | 743301 | 45 38430 456120 | 48859 47076 15 | 0.051 % |
660.00/660.48 c | 744997 | 45 38430 456120 | 48859 48772 15 | 0.051 % |
661.80/662.30 c | 746860 | 45 38430 456120 | 48859 45580 15 | 0.051 % |
663.70/664.15 c | 748909 | 45 38430 456120 | 48859 47629 15 | 0.051 % |
665.79/666.24 c | 751163 | 45 38430 456120 | 48720 44438 15 | 0.051 % |
667.60/668.00 c | 753644 | 45 38430 456120 | 48720 46919 15 | 0.051 % |
669.79/670.20 c | 756369 | 45 38430 456120 | 48720 44711 15 | 0.051 % |
671.99/672.49 c | 759366 | 45 38430 456120 | 48720 47708 15 | 0.051 % |
674.79/675.23 c | 762662 | 45 38430 456120 | 2147483647 51004 15 | 0.051 % |
677.99/678.43 c | 766288 | 45 38430 456120 | 2147483647 54630 15 | 0.051 % |
682.09/682.52 c | 770275 | 45 38430 456120 | 58342 50645 15 | 0.051 % |
685.79/686.24 c | 774661 | 45 38430 456120 | 58342 55031 14 | 0.051 % |
689.99/690.50 c | 779485 | 45 38430 456120 | 58342 51670 14 | 0.051 % |
694.38/694.87 c | 784791 | 45 38430 456120 | 52186 49960 14 | 0.051 % |
698.78/699.25 c | 790627 | 45 38430 456120 | 48485 43580 14 | 0.051 % |
703.08/703.56 c | 797047 | 45 38430 456120 | 48485 45150 14 | 0.051 % |
708.27/708.73 c | 804106 | 45 38430 456120 | 2147483647 52209 14 | 0.051 % |
708.37/708.82 c | 804209 | 45 38430 456120 | 2147483647 52312 14 | 0.051 % |
708.47/708.95 c | 804320 | 45 38430 456120 | 2147483647 52423 14 | 0.051 % |
708.57/709.05 c | 804442 | 45 38430 456120 | 2147483647 52545 14 | 0.051 % |
708.77/709.21 c | 804577 | 45 38430 456120 | 2147483647 52680 14 | 0.051 % |
708.87/709.40 c | 804724 | 45 38430 456120 | 2147483647 52827 14 | 0.051 % |
709.08/709.59 c | 804887 | 45 38430 456120 | 2147483647 52990 14 | 0.051 % |
709.27/709.72 c | 805063 | 45 38430 456120 | 2147483647 53166 14 | 0.051 % |
709.47/709.90 c | 805257 | 45 38430 456120 | 2147483647 53360 14 | 0.051 % |
709.67/710.14 c | 805469 | 45 38430 456120 | 2147483647 53572 14 | 0.051 % |
709.87/710.39 c | 805702 | 45 38430 456120 | 2147483647 53805 14 | 0.051 % |
710.18/710.63 c | 805958 | 45 38430 456120 | 2147483647 54061 14 | 0.051 % |
710.47/710.92 c | 806240 | 45 38430 456120 | 2147483647 54343 14 | 0.051 % |
710.77/711.25 c | 806550 | 45 38430 456120 | 2147483647 54653 14 | 0.051 % |
711.07/711.50 c | 806890 | 45 38430 456120 | 2147483647 54993 14 | 0.051 % |
711.27/711.78 c | 807262 | 45 38430 456120 | 2147483647 55365 14 | 0.051 % |
711.67/712.17 c | 807671 | 45 38430 456120 | 2147483647 55774 14 | 0.051 % |
711.97/712.50 c | 808122 | 45 38430 456120 | 2147483647 56225 14 | 0.051 % |
712.57/713.01 c | 808615 | 45 38430 456120 | 2147483647 56718 14 | 0.051 % |
713.07/713.60 c | 809158 | 45 38430 456120 | 2147483647 57261 14 | 0.051 % |
713.77/714.28 c | 809755 | 45 38430 456120 | 2147483647 57858 14 | 0.051 % |
714.67/715.15 c | 810410 | 45 38430 456120 | 58103 51373 14 | 0.051 % |
715.37/715.89 c | 811130 | 45 38430 456120 | 58103 52093 14 | 0.051 % |
716.07/716.58 c | 811923 | 45 38430 456120 | 58103 52886 14 | 0.051 % |
716.87/717.32 c | 812795 | 45 38430 456120 | 58103 53758 14 | 0.051 % |
717.87/718.34 c | 813753 | 45 38430 456120 | 58103 54716 14 | 0.051 % |
718.47/718.99 c | 814807 | 45 38430 456120 | 58103 55770 14 | 0.051 % |
719.37/719.80 c | 815966 | 45 38430 456120 | 58103 56929 14 | 0.051 % |
720.77/721.29 c | 817240 | 45 38430 456120 | 58103 50532 14 | 0.051 % |
722.07/722.51 c | 818641 | 45 38430 456120 | 58103 51933 14 | 0.051 % |
723.67/724.10 c | 820181 | 45 38430 456120 | 53294 46624 14 | 0.051 % |
725.16/725.70 c | 821878 | 45 38430 456120 | 53294 48321 14 | 0.051 % |
726.87/727.32 c | 823742 | 45 38430 456120 | 53294 50185 14 | 0.051 % |
728.46/728.92 c | 825791 | 45 38430 456120 | 53294 52234 14 | 0.051 % |
730.56/731.02 c | 828044 | 45 38430 456120 | 53294 47739 14 | 0.051 % |
732.56/733.02 c | 830524 | 45 38430 456120 | 49696 44440 13 | 0.051 % |
734.46/734.95 c | 833250 | 45 38430 456120 | 49696 47166 13 | 0.051 % |
736.86/737.37 c | 836248 | 45 38430 456120 | 49696 45193 13 | 0.051 % |
739.35/739.81 c | 839545 | 45 38430 456120 | 49696 48490 13 | 0.051 % |
741.75/742.27 c | 843172 | 45 38430 456120 | 2147483647 52117 13 | 0.051 % |
744.85/745.31 c | 847160 | 45 38430 456120 | 2147483647 56105 13 | 0.051 % |
748.15/748.64 c | 851546 | 45 38430 456120 | 2147483647 60491 13 | 0.100 % |
751.55/752.04 c | 856372 | 45 38430 456120 | 2147483647 65317 13 | 0.051 % |
755.85/756.37 c | 861678 | 45 38430 456120 | 68945 62087 13 | 0.051 % |
761.25/761.76 c | 867513 | 45 38430 456120 | 68945 67922 13 | 0.051 % |
766.55/767.04 c | 873931 | 45 38430 456120 | 59972 55593 13 | 0.051 % |
772.54/773.09 c | 880991 | 45 38430 456120 | 54084 47856 12 | 0.054 % |
776.64/777.15 c | 888755 | 45 38430 456120 | 54084 50210 12 | 0.149 % |
776.74/777.25 c | 888855 | 45 38430 456120 | 54084 50310 12 | 0.053 % |
776.84/777.33 c | 888967 | 45 38430 456120 | 54084 50422 12 | 0.053 % |
776.94/777.43 c | 889090 | 45 38430 456120 | 54084 50545 12 | 0.051 % |
777.04/777.53 c | 889223 | 45 38430 456120 | 54084 50678 12 | 0.051 % |
777.15/777.64 c | 889369 | 45 38430 456120 | 54084 50824 12 | 0.051 % |
777.25/777.76 c | 889531 | 45 38430 456120 | 54084 50986 12 | 0.100 % |
777.34/777.88 c | 889708 | 45 38430 456120 | 54084 51163 12 | 0.100 % |
777.54/778.00 c | 889901 | 45 38430 456120 | 54084 51356 12 | 0.051 % |
777.64/778.15 c | 890114 | 45 38430 456120 | 2147483647 51569 12 | 0.051 % |
777.84/778.31 c | 890347 | 45 38430 456120 | 2147483647 51802 12 | 0.052 % |
778.04/778.53 c | 890605 | 45 38430 456120 | 2147483647 52060 12 | 0.051 % |
778.35/778.80 c | 890886 | 45 38430 456120 | 2147483647 52341 13 | 0.051 % |
778.64/779.12 c | 891197 | 45 38430 456120 | 2147483647 52652 13 | 0.051 % |
778.84/779.34 c | 891539 | 45 38430 456120 | 2147483647 52994 13 | 0.051 % |
779.24/779.79 c | 891914 | 45 38430 456120 | 2147483647 53369 13 | 0.051 % |
779.64/780.16 c | 892325 | 45 38430 456120 | 2147483647 53780 13 | 0.051 % |
780.04/780.51 c | 892774 | 45 38430 456120 | 2147483647 54229 13 | 0.051 % |
780.43/780.93 c | 893267 | 45 38430 456120 | 2147483647 54722 13 | 0.100 % |
780.72/781.23 c | 893810 | 45 38430 456120 | 2147483647 55265 13 | 0.100 % |
781.22/781.71 c | 894409 | 45 38430 456120 | 2147483647 55864 13 | 0.051 % |
781.62/782.15 c | 895065 | 45 38430 456120 | 2147483647 56520 13 | 0.051 % |
781.92/782.47 c | 895786 | 45 38430 456120 | 2147483647 57241 13 | 0.149 % |
782.22/782.79 c | 896578 | 45 38430 456120 | 2147483647 58033 13 | 0.149 % |
782.62/783.19 c | 897450 | 45 38430 456120 | 2147483647 58905 13 | 0.052 % |
783.12/783.62 c | 898408 | 45 38430 456120 | 2147483647 59863 13 | 0.051 % |
783.82/784.35 c | 899462 | 45 38430 456120 | 2147483647 60917 13 | 0.051 % |
784.62/785.15 c | 900621 | 45 38430 456120 | 2147483647 62076 13 | 0.100 % |
785.42/785.99 c | 901896 | 45 38430 456120 | 2147483647 63351 13 | 0.052 % |
786.52/787.08 c | 903296 | 45 38430 456120 | 2147483647 64751 13 | 0.051 % |
787.92/788.45 c | 904836 | 45 38430 456120 | 2147483647 66291 13 | 0.051 % |
789.42/789.90 c | 906531 | 45 38430 456120 | 2147483647 67986 13 | 0.051 % |
790.91/791.45 c | 908394 | 45 38430 456120 | 2147483647 69849 13 | 0.053 % |
793.01/793.50 c | 910443 | 45 38430 456120 | 71455 62894 13 | 0.149 % |
794.51/795.04 c | 912698 | 45 38430 456120 | 71455 65149 13 | 0.054 % |
795.92/796.46 c | 915176 | 45 38430 456120 | 71455 67627 13 | 0.248 % |
797.91/798.50 c | 917901 | 45 38430 456120 | 71455 70352 13 | 0.052 % |
801.21/801.71 c | 920901 | 45 38430 456120 | 64732 58817 12 | 0.053 % |
804.01/804.50 c | 924197 | 44 28350 335160 | 64732 28699 13 | 2.274 % |
805.61/806.16 c | 927823 | 43 28350 335160 | 64732 32324 12 | 4.498 % |
806.01/806.51 c ===============================================================================
806.01/806.52 c restarts : 1169
806.01/806.52 c conflicts : 928544 (1152 /sec)
806.01/806.52 c decisions : 1001199 (1.80 % random) (1242 /sec)
806.01/806.52 c propagations : 6696629 (8310 /sec)
806.01/806.52 c conflict literals : 14426518 (16.03 % deleted)
806.01/806.52 c Memory used : 19.08 MB
806.01/806.52 c CPU time : 805.832 s
806.01/806.52 c
806.01/806.52 s UNSATISFIABLE
806.01/806.52 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834015-1242827280/watcher-1834015-1242827280 -o /tmp/evaluation-result-1834015-1242827280/solver-1834015-1242827280 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834015-1242827280.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3582
/proc/meminfo: memFree=1718392/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310757691 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 214945202258 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/3582/statm: 1339 235 195 169 0 50 0
[pid=3583] ppid=3582 vsize=5356 CPUtime=0
/proc/3583/stat : 3583 (SatELiteGTI) S 3582 3582 3335 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310757691 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/3583/statm: 1339 238 198 169 0 50 0
[pid=3585] ppid=3583 vsize=5356 CPUtime=0
/proc/3585/stat : 3585 (SatELiteGTI) R 3583 3582 3335 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945033511 0 0 4096 0 0 0 0 17 0 0 0
/proc/3585/statm: 1339 239 199 169 0 50 0
[startup+0.0602489 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3582
/proc/meminfo: memFree=1718392/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310757691 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3582/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102254 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3582
/proc/meminfo: memFree=1718392/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310757691 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3582/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302266 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3582
/proc/meminfo: memFree=1718392/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 5356
[startup+0.702312 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3582
/proc/meminfo: memFree=1718392/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 5356
[startup+1.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1711592/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=6652 CPUtime=1.31
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 1520 0 0 0 131 0 0 0 25 0 1 0 310757708 6811648 1506 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 1663 1506 76 171 0 1490 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12008
[startup+3.10158 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1710440/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=7468 CPUtime=2.91
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 1712 0 0 0 291 0 0 0 25 0 1 0 310757708 7647232 1698 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 1867 1698 76 171 0 1694 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12824
[startup+6.30194 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1709032/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=8772 CPUtime=6.11
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 2026 0 0 0 610 1 0 0 25 0 1 0 310757708 8982528 2012 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 2193 2012 76 171 0 2020 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14128
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1707048/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=10680 CPUtime=12.5
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 2470 0 0 0 1249 1 0 0 25 0 1 0 310757708 10936320 2456 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 2670 2456 76 171 0 2497 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 16036
[startup+25.5021 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1705000/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=12752 CPUtime=25.28
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 2977 0 0 0 2526 2 0 0 25 0 1 0 310757708 13058048 2963 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 3188 2963 76 171 0 3015 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 18108
[startup+51.103 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1701992/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=15844 CPUtime=50.87
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 3733 0 0 0 5084 3 0 0 25 0 1 0 310757708 16224256 3719 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 3961 3719 76 171 0 3788 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 21200
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1700840/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=16824 CPUtime=102.04
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 3975 0 0 0 10201 3 0 0 25 0 1 0 310757708 17227776 3961 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4206 3961 76 171 0 4033 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 22180
[startup+162.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1700520/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=17056 CPUtime=162.01
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4038 0 0 0 16197 4 0 0 25 0 1 0 310757708 17465344 4024 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4264 4024 76 171 0 4091 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 22412
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1700008/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=17696 CPUtime=221.98
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4156 0 0 0 22194 4 0 0 25 0 1 0 310757708 18120704 4142 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4424 4142 76 171 0 4251 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 23052
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1699560/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=18124 CPUtime=281.94
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4248 0 0 0 28190 4 0 0 25 0 1 0 310757708 18558976 4234 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4531 4234 76 171 0 4358 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 23480
[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1699432/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=18336 CPUtime=341.9
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4289 0 0 0 34186 4 0 0 25 0 1 0 310757708 18776064 4275 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4584 4275 76 171 0 4411 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 23692
[startup+402.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1699048/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=18552 CPUtime=401.87
################
# More data... #
################
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1698984/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=18552 CPUtime=461.85
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4365 0 0 0 46180 5 0 0 25 0 1 0 310757708 18997248 4351 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4638 4351 76 171 0 4465 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 23908
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1698856/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=18552 CPUtime=521.82
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4371 0 0 0 52177 5 0 0 25 0 1 0 310757708 18997248 4357 1992294400 134512640 135215339 4294956240 18446744073709551615 134534060 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4638 4357 76 171 0 4465 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 23908
[startup+582.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1698856/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=18552 CPUtime=581.79
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4371 0 0 0 58174 5 0 0 25 0 1 0 310757708 18997248 4357 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4638 4357 76 171 0 4465 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 23908
[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1698792/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=18552 CPUtime=641.77
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4371 0 0 0 64172 5 0 0 25 0 1 0 310757708 18997248 4357 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4638 4357 76 171 0 4465 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 23908
[startup+702.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1698600/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=18880 CPUtime=701.73
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4444 0 0 0 70168 5 0 0 25 0 1 0 310757708 19333120 4430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4720 4430 76 171 0 4547 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 24236
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1698024/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=19288 CPUtime=761.7
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4530 0 0 0 76165 5 0 0 25 0 1 0 310757708 19750912 4516 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4822 4516 76 171 0 4649 0
Current children cumulated CPU time (s) 761.85
Current children cumulated vsize (KiB) 24644
Solver just ended. Dumping a history of the last processes samples
[startup+767.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3588
/proc/meminfo: memFree=1698024/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=19288 CPUtime=767.3
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4530 0 0 0 76725 5 0 0 25 0 1 0 310757708 19750912 4516 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4822 4516 76 171 0 4649 0
Current children cumulated CPU time (s) 767.45
Current children cumulated vsize (KiB) 24644
[startup+793.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3594
/proc/meminfo: memFree=1697896/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=19452 CPUtime=792.86
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4569 0 0 0 79281 5 0 0 25 0 1 0 310757708 19918848 4555 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4863 4555 76 171 0 4690 0
Current children cumulated CPU time (s) 793.01
Current children cumulated vsize (KiB) 24808
[startup+799.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3594
/proc/meminfo: memFree=1697896/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=19532 CPUtime=799.26
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4581 0 0 0 79921 5 0 0 25 0 1 0 310757708 20000768 4567 1992294400 134512640 135215339 4294956240 18446744073709551615 134534305 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4883 4567 76 171 0 4710 0
Current children cumulated CPU time (s) 799.41
Current children cumulated vsize (KiB) 24888
[startup+803.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3594
/proc/meminfo: memFree=1697896/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=19532 CPUtime=802.46
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4581 0 0 0 80241 5 0 0 25 0 1 0 310757708 20000768 4567 1992294400 134512640 135215339 4294956240 18446744073709551615 134526309 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4883 4567 76 171 0 4710 0
Current children cumulated CPU time (s) 802.61
Current children cumulated vsize (KiB) 24888
[startup+804.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3594
/proc/meminfo: memFree=1697896/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=19532 CPUtime=804.06
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4581 0 0 0 80401 5 0 0 25 0 1 0 310757708 20000768 4567 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4883 4567 76 171 0 4710 0
Current children cumulated CPU time (s) 804.21
Current children cumulated vsize (KiB) 24888
[startup+805.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3594
/proc/meminfo: memFree=1697896/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=19532 CPUtime=804.86
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4581 0 0 0 80481 5 0 0 25 0 1 0 310757708 20000768 4567 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4883 4567 76 171 0 4710 0
Current children cumulated CPU time (s) 805.01
Current children cumulated vsize (KiB) 24888
[startup+806.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3594
/proc/meminfo: memFree=1697896/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=19532 CPUtime=805.66
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4581 0 0 0 80561 5 0 0 25 0 1 0 310757708 20000768 4567 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4883 4567 76 171 0 4710 0
Current children cumulated CPU time (s) 805.81
Current children cumulated vsize (KiB) 24888
[startup+806.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3594
/proc/meminfo: memFree=1697896/2055920 swapFree=4131180/4192956
[pid=3582] ppid=3580 vsize=5356 CPUtime=0.15
/proc/3582/stat : 3582 (SatELiteGTI) S 3580 3582 3335 0 -1 4194304 336 1596 0 0 0 0 14 1 15 0 1 0 310757691 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3582/statm: 1339 239 197 169 0 50 0
[pid=3588] ppid=3582 vsize=19532 CPUtime=805.86
/proc/3588/stat : 3588 (minisat_static) R 3582 3582 3335 0 -1 4194304 4581 0 0 0 80581 5 0 0 25 0 1 0 310757708 20000768 4567 1992294400 134512640 135215339 4294956240 18446744073709551615 134529085 0 0 4096 3 0 0 0 17 0 0 0
/proc/3588/statm: 4883 4567 76 171 0 4710 0
Current children cumulated CPU time (s) 806.01
Current children cumulated vsize (KiB) 24888
Child status: 20
Real time (s): 806.529
CPU time (s): 806.072
CPU user time (s): 805.985
CPU system time (s): 0.087986
CPU usage (%): 99.9433
Max. virtual memory (cumulated for all children) (KiB): 24888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 805.984
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6673
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= 46
involuntary context switches= 4073
runsolver used 0.838872 second user time and 2.20966 second system time
The end
Begin job on node85 at 2009-05-20 15:48:00
IDJOB=1834015
IDBENCH=71131
IDSOLVER=671
FILE ID=node85/1834015-1242827280
PBS_JOBID= 9322486
Free space on /tmp= 126504 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/ramseycube/Q32inK10.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834015-1242827280/watcher-1834015-1242827280 -o /tmp/evaluation-result-1834015-1242827280/solver-1834015-1242827280 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834015-1242827280.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6acad6aa08a1137d820dbdd152ca2acc
RANDOM SEED=361332974
node85.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1718936 kB
Buffers: 52764 kB
Cached: 180824 kB
SwapCached: 56432 kB
Active: 53040 kB
Inactive: 239016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1718936 kB
SwapTotal: 4192956 kB
SwapFree: 4131180 kB
Dirty: 2916 kB
Writeback: 0 kB
Mapped: 14040 kB
Slab: 30980 kB
Committed_AS: 963840 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126504 MiB
End job on node85 at 2009-05-20 16:01:27