0.00/0.00 c Parsing...
0.00/0.10 c ==============================================================================
0.00/0.10 c | | ORIGINAL | LEARNT | |
0.00/0.10 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.10 c ==============================================================================
0.00/0.10 c | 0 | 167931 500698 | 50379 0 0 nan | 0.000 % |
2.38/2.45 c | 0 | 166431 731017 | -- 0 -- -- | -- | -1500/230319
2.38/2.45 c ==============================================================================
2.38/2.45 c Result : #vars: 1151 #clauses: 166431 #literals: 731017
2.38/2.45 c CPU time: 2.41863 s
2.38/2.45 c ==============================================================================
2.58/2.66 c This is MiniSat 2.0 beta
2.58/2.66 c WARNING: for repeatability, setting FPU to use double precision
2.58/2.66 c ============================[ Problem Statistics ]=============================
2.58/2.66 c | |
2.58/2.66 c | Number of variables: 1151 |
2.58/2.66 c | Number of clauses: 166431 |
2.65/2.75 c | Parsing time: 0.08 s |
2.65/2.76 c ============================[ Search Statistics ]==============================
2.65/2.76 c | Conflicts | ORIGINAL | LEARNT | Progress |
2.65/2.76 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.65/2.76 c ===============================================================================
2.65/2.76 c | 0 | 1151 166431 731017 | 55477 0 nan | 0.000 % |
2.65/2.84 c | 100 | 1151 166431 731017 | 55477 100 35 | 0.000 % |
2.65/2.97 c | 201 | 1151 166431 731017 | 55477 201 44 | 0.002 % |
2.65/3.07 c | 301 | 1151 166431 731017 | 55477 301 45 | 0.000 % |
2.65/3.17 c | 411 | 1151 166431 731017 | 55477 411 47 | 0.000 % |
3.17/3.25 c | 513 | 1151 166431 731017 | 55477 513 48 | 0.000 % |
3.27/3.34 c | 623 | 1151 166431 731017 | 55477 623 49 | 0.000 % |
3.37/3.45 c | 747 | 1151 166431 731017 | 55477 747 50 | 0.000 % |
3.47/3.53 c | 847 | 1151 166431 731017 | 55477 847 51 | 0.000 % |
3.47/3.58 c | 958 | 1151 166431 731017 | 55477 958 51 | 0.000 % |
3.57/3.64 c | 1080 | 1151 166431 731017 | 55477 1080 52 | 0.000 % |
3.67/3.71 c | 1214 | 1151 166431 731017 | 55477 1214 54 | 0.000 % |
3.67/3.74 c | 1314 | 1151 166431 731017 | 55477 1314 54 | 0.000 % |
3.67/3.77 c | 1426 | 1151 166431 731017 | 55477 1426 54 | 0.000 % |
3.78/3.82 c | 1548 | 1151 166431 731017 | 55477 1548 54 | 0.000 % |
3.78/3.85 c | 1683 | 1151 166431 731017 | 55477 1683 54 | 0.000 % |
3.78/3.90 c | 1829 | 1151 166431 731017 | 55477 1829 54 | 0.000 % |
3.88/3.93 c | 1930 | 1151 166431 731017 | 55477 1930 54 | 0.000 % |
3.88/3.96 c | 2041 | 1151 166431 731017 | 55477 2041 54 | 0.000 % |
3.97/4.00 c | 2164 | 1151 166431 731017 | 55477 2164 55 | 0.000 % |
3.97/4.04 c | 2298 | 1151 166431 731017 | 55477 2298 54 | 0.000 % |
3.97/4.08 c | 2445 | 1151 166431 731017 | 55477 2445 54 | 0.000 % |
4.07/4.13 c | 2605 | 1151 166431 731017 | 55477 2605 54 | 0.000 % |
4.07/4.16 c | 2709 | 1151 166431 731017 | 55477 2709 54 | 0.000 % |
4.17/4.20 c | 2820 | 1151 166431 731017 | 55477 2820 54 | 0.000 % |
4.17/4.24 c | 2941 | 1151 166431 731017 | 55477 2941 54 | 0.000 % |
4.28/4.32 c | 3074 | 1151 166431 731017 | 55477 3074 54 | 0.000 % |
4.28/4.39 c | 3220 | 1151 166431 731017 | 55477 3220 54 | 0.000 % |
4.38/4.46 c | 3382 | 1151 166431 731017 | 55477 3382 54 | 0.000 % |
4.47/4.53 c | 3559 | 1151 166431 731017 | 55477 3559 54 | 0.000 % |
4.47/4.59 c | 3663 | 1151 166431 731017 | 55477 3663 54 | 0.000 % |
4.57/4.65 c | 3773 | 1151 166431 731017 | 55477 3773 54 | 0.000 % |
4.57/4.69 c | 3894 | 1151 166431 731017 | 55477 3894 54 | 0.000 % |
4.67/4.74 c | 4028 | 1151 166431 731017 | 55477 4028 54 | 0.000 % |
4.77/4.82 c | 4174 | 1151 166431 731017 | 55477 4174 54 | 0.000 % |
4.77/4.89 c | 4335 | 1151 166431 731017 | 55477 4335 54 | 0.000 % |
4.87/4.96 c | 4511 | 1151 166431 731017 | 55477 4511 54 | 0.000 % |
5.07/5.10 c | 4705 | 1151 166431 731017 | 55477 4705 54 | 0.000 % |
5.07/5.18 c | 4807 | 1151 166431 731017 | 55477 4807 54 | 0.000 % |
5.17/5.25 c | 4917 | 1151 166431 731017 | 55477 4917 54 | 0.000 % |
5.27/5.33 c | 5038 | 1151 166431 731017 | 55477 5038 54 | 0.000 % |
5.37/5.42 c | 5171 | 1151 166431 731017 | 55477 5171 54 | 0.000 % |
5.47/5.52 c | 5317 | 1151 166431 731017 | 55477 5317 54 | 0.000 % |
5.57/5.63 c | 5481 | 1151 166431 731017 | 55477 5481 54 | 0.000 % |
5.77/5.80 c | 5657 | 1151 166431 731017 | 55477 5657 54 | 0.000 % |
5.87/5.94 c | 5850 | 1151 166431 731017 | 55477 5850 54 | 0.000 % |
5.97/6.08 c | 6062 | 1151 166431 731017 | 55477 6062 54 | 0.000 % |
6.07/6.16 c | 6163 | 1151 166431 731017 | 55477 6163 54 | 0.000 % |
6.17/6.24 c | 6275 | 1151 166431 731017 | 55477 6275 54 | 0.000 % |
6.27/6.32 c | 6396 | 1151 166431 731017 | 55477 6396 54 | 0.000 % |
6.37/6.41 c | 6529 | 1151 166431 731017 | 55477 6529 54 | 0.000 % |
6.47/6.51 c | 6675 | 1151 166431 731017 | 55477 6675 54 | 0.000 % |
6.57/6.62 c | 6836 | 1151 166431 731017 | 55477 6836 54 | 0.000 % |
6.67/6.79 c | 7013 | 1151 166431 731017 | 55477 7013 54 | 0.000 % |
6.87/6.96 c | 7208 | 1151 166431 731017 | 55477 7208 54 | 0.000 % |
7.07/7.15 c | 7421 | 1151 166431 731017 | 55477 7421 54 | 0.000 % |
7.27/7.34 c | 7655 | 1151 166431 731017 | 55477 7655 54 | 0.000 % |
7.27/7.39 c | 7756 | 1151 166431 731017 | 55477 7756 54 | 0.000 % |
7.37/7.49 c | 7868 | 1151 166431 731017 | 55477 7868 54 | 0.000 % |
7.57/7.60 c | 7990 | 1151 166431 731017 | 55477 7990 54 | 0.000 % |
7.67/7.72 c | 8125 | 1151 166431 731017 | 55477 8125 54 | 0.000 % |
7.77/7.82 c | 8271 | 1151 166431 731017 | 55477 8271 54 | 0.000 % |
7.87/7.93 c | 8431 | 1151 166431 731017 | 55477 8431 54 | 0.000 % |
7.97/8.07 c | 8609 | 1151 166431 731017 | 55477 8609 54 | 0.000 % |
8.17/8.22 c | 8802 | 1151 166431 731017 | 55477 8802 53 | 0.000 % |
8.37/8.40 c | 9016 | 1151 166431 731017 | 55477 9016 53 | 0.000 % |
8.47/8.58 c | 9249 | 1151 166431 731017 | 55477 9249 53 | 0.000 % |
8.67/8.77 c | 9505 | 1151 166431 731017 | 55477 9505 53 | 0.000 % |
8.77/8.88 c | 9605 | 1151 166431 731017 | 55477 9605 53 | 0.000 % |
8.87/8.93 c | 9716 | 1151 166431 731017 | 55477 9716 53 | 0.000 % |
8.97/9.05 c | 9837 | 1151 166431 731017 | 55477 9837 53 | 0.000 % |
9.07/9.16 c | 9970 | 1151 166431 731017 | 55477 9970 53 | 0.000 % |
9.27/9.37 c | 10116 | 1151 166431 731017 | 2147483647 10116 53 | 0.000 % |
9.47/9.51 c | 10277 | 1151 166431 731017 | 2147483647 10277 53 | 0.000 % |
9.57/9.68 c | 10455 | 1151 166431 731017 | 2147483647 10455 53 | 0.000 % |
9.78/9.85 c | 10649 | 1151 166431 731017 | 2147483647 10649 53 | 0.000 % |
9.88/9.98 c | 10861 | 1151 166431 731017 | 2147483647 10861 53 | 0.000 % |
10.17/10.27 c | 11094 | 1151 166431 731017 | 2147483647 11094 53 | 0.000 % |
10.57/10.66 c | 11352 | 1151 166431 731017 | 2147483647 11352 53 | 0.000 % |
10.98/11.08 c | 11633 | 1151 166431 731017 | 2147483647 11633 53 | 0.000 % |
11.17/11.22 c | 11733 | 1151 166431 731017 | 2147483647 11733 53 | 0.000 % |
11.27/11.39 c | 11843 | 1151 166431 731017 | 2147483647 11843 53 | 0.000 % |
11.47/11.55 c | 11966 | 1151 166431 731017 | 2147483647 11966 53 | 0.000 % |
11.67/11.72 c | 12101 | 1151 166431 731017 | 2147483647 12101 53 | 0.000 % |
11.87/11.96 c | 12247 | 1151 166431 731017 | 2147483647 12247 53 | 0.000 % |
12.08/12.10 c | 12409 | 1151 166431 731017 | 2147483647 12409 53 | 0.000 % |
12.27/12.39 c | 12588 | 1151 166431 731017 | 2147483647 12588 53 | 0.000 % |
12.47/12.59 c | 12782 | 1151 166431 731017 | 2147483647 12782 53 | 0.000 % |
12.87/12.91 c | 12994 | 1151 166431 731017 | 2147483647 12994 53 | 0.000 % |
13.18/13.27 c | 13232 | 1151 166431 731017 | 2147483647 13232 53 | 0.000 % |
13.57/13.66 c | 13490 | 1151 166431 731017 | 2147483647 13490 53 | 0.000 % |
13.87/13.96 c | 13773 | 1151 166431 731017 | 2147483647 13773 52 | 0.000 % |
14.28/14.35 c | 14082 | 1151 166431 731017 | 2147483647 14082 52 | 0.000 % |
14.37/14.47 c | 14182 | 1151 166431 731017 | 2147483647 14182 52 | 0.000 % |
14.57/14.61 c | 14293 | 1151 166431 731017 | 2147483647 14293 52 | 0.000 % |
14.67/14.76 c | 14414 | 1151 166431 731017 | 2147483647 14414 52 | 0.000 % |
14.87/14.97 c | 14547 | 1151 166431 731017 | 2147483647 14547 52 | 0.000 % |
15.17/15.23 c | 14693 | 1151 166431 731017 | 2147483647 14693 52 | 0.000 % |
15.37/15.42 c | 14853 | 1151 166431 731017 | 2147483647 14853 52 | 0.000 % |
15.57/15.67 c | 15029 | 1151 166431 731017 | 2147483647 15029 52 | 0.000 % |
15.77/15.85 c | 15223 | 1151 166431 731017 | 2147483647 15223 52 | 0.000 % |
15.97/16.08 c | 15439 | 1151 166431 731017 | 2147483647 15439 52 | 0.000 % |
16.27/16.33 c | 15672 | 1151 166431 731017 | 2147483647 15672 52 | 0.000 % |
16.67/16.77 c | 15928 | 1151 166431 731017 | 2147483647 15928 51 | 0.000 % |
17.27/17.31 c | 16209 | 1151 166431 731017 | 2147483647 16209 51 | 0.000 % |
17.67/17.75 c | 16519 | 1151 166431 731017 | 2147483647 16519 51 | 0.000 % |
18.37/18.42 c | 16860 | 1151 166431 731017 | 2147483647 16860 51 | 0.000 % |
18.57/18.63 c | 16961 | 1151 166431 731017 | 2147483647 16961 51 | 0.000 % |
18.77/18.86 c | 17073 | 1151 166431 731017 | 2147483647 17073 51 | 0.000 % |
18.97/19.05 c | 17194 | 1151 166431 731017 | 2147483647 17194 51 | 0.000 % |
19.17/19.26 c | 17328 | 1151 166431 731017 | 2147483647 17328 51 | 0.000 % |
19.37/19.49 c | 17476 | 1151 166431 731017 | 2147483647 17476 51 | 0.000 % |
19.67/19.77 c | 17637 | 1151 166431 731017 | 2147483647 17637 51 | 0.000 % |
19.97/20.02 c | 17813 | 1151 166431 731017 | 2147483647 17813 50 | 0.000 % |
20.17/20.27 c | 18008 | 1151 166431 731017 | 2147483647 18008 50 | 0.000 % |
20.87/20.98 c | 18221 | 1151 166431 731017 | 2147483647 18221 50 | 0.000 % |
21.57/21.62 c | 18454 | 1151 166431 731017 | 2147483647 18454 50 | 0.000 % |
22.37/22.43 c | 18712 | 1151 166431 731017 | 2147483647 18712 51 | 0.000 % |
22.97/23.10 c | 18993 | 1151 166431 731017 | 2147483647 18993 51 | 0.000 % |
23.57/23.66 c | 19304 | 1151 166431 731017 | 2147483647 19304 51 | 0.000 % |
24.47/24.52 c | 19643 | 1151 166431 731017 | 2147483647 19643 51 | 0.000 % |
25.66/25.73 c | 20015 | 1151 166431 731017 | 2147483647 20015 51 | 0.000 % |
26.06/26.15 c | 20116 | 1151 166431 731017 | 2147483647 20116 51 | 0.000 % |
26.37/26.45 c | 20229 | 1151 166431 731017 | 2147483647 20229 51 | 0.000 % |
26.86/26.95 c | 20350 | 1151 166431 731017 | 2147483647 20350 51 | 0.000 % |
27.16/27.29 c | 20483 | 1151 166431 731017 | 2147483647 20483 51 | 0.000 % |
27.26/27.36 c | 20629 | 1151 166431 731017 | 2147483647 20629 51 | 0.000 % |
27.47/27.53 c | 20793 | 1151 166431 731017 | 2147483647 20793 51 | 0.000 % |
27.56/27.65 c | 20969 | 1151 166431 731017 | 2147483647 20969 51 | 0.000 % |
27.67/27.77 c | 21162 | 1151 166431 731017 | 2147483647 21162 51 | 0.000 % |
27.87/27.94 c | 21375 | 1151 166431 731017 | 2147483647 21375 51 | 0.000 % |
28.07/28.11 c | 21610 | 1151 166431 731017 | 2147483647 21610 51 | 0.000 % |
28.27/28.31 c | 21866 | 1151 166431 731017 | 2147483647 21866 51 | 0.000 % |
28.37/28.49 c | 22149 | 1151 166431 731017 | 2147483647 22149 51 | 0.000 % |
28.58/28.68 c | 22461 | 1151 166431 731017 | 2147483647 22461 51 | 0.000 % |
28.87/28.93 c | 22802 | 1151 166431 731017 | 2147483647 22802 51 | 0.000 % |
29.07/29.16 c | 23175 | 1151 166431 731017 | 2147483647 23175 51 | 0.000 % |
29.67/29.71 c | 23584 | 1151 166431 731017 | 2147483647 23584 51 | 0.000 % |
30.07/30.10 c | 23684 | 1151 166431 731017 | 2147483647 23684 51 | 0.000 % |
30.17/30.21 c | 23794 | 1151 166431 731017 | 2147483647 23794 51 | 0.000 % |
30.57/30.63 c | 23915 | 1151 166431 731017 | 2147483647 23915 51 | 0.000 % |
30.97/31.08 c | 24048 | 1151 166431 731017 | 2147483647 24048 51 | 0.000 % |
31.47/31.57 c | 24194 | 1151 166431 731017 | 2147483647 24194 51 | 0.000 % |
31.97/32.03 c | 24354 | 1151 166431 731017 | 2147483647 24354 51 | 0.000 % |
32.37/32.48 c | 24532 | 1151 166431 731017 | 2147483647 24532 51 | 0.000 % |
32.97/33.05 c | 24728 | 1151 166431 731017 | 2147483647 24728 51 | 0.000 % |
33.57/33.68 c | 24941 | 1151 166431 731017 | 2147483647 24941 51 | 0.000 % |
34.07/34.19 c | 25176 | 1151 166431 731017 | 2147483647 25176 51 | 0.000 % |
34.97/35.03 c | 25432 | 1151 166431 731017 | 2147483647 25432 51 | 0.000 % |
35.57/35.65 c | 25714 | 1151 166431 731017 | 2147483647 25714 51 | 0.000 % |
35.97/36.01 c | 26027 | 1151 166431 731017 | 2147483647 26027 51 | 0.000 % |
36.17/36.27 c | 26366 | 1151 166431 731017 | 2147483647 26366 51 | 0.000 % |
36.47/36.59 c | 26741 | 1151 166431 731017 | 2147483647 26741 51 | 0.000 % |
36.87/36.90 c | 27150 | 1151 166431 731017 | 2147483647 27150 51 | 0.000 % |
37.17/37.30 c | 27600 | 1151 166431 731017 | 2147483647 27600 51 | 0.000 % |
37.37/37.40 c | 27702 | 1151 166431 731017 | 2147483647 27702 51 | 0.000 % |
37.47/37.51 c | 27812 | 1151 166431 731017 | 2147483647 27812 51 | 0.000 % |
37.57/37.61 c | 27934 | 1151 166431 731017 | 2147483647 27934 51 | 0.000 % |
37.67/37.74 c | 28072 | 1151 166431 731017 | 2147483647 28072 51 | 0.000 % |
37.77/37.88 c | 28219 | 1151 166431 731017 | 2147483647 28219 51 | 0.000 % |
37.97/38.04 c | 28379 | 1151 166431 731017 | 2147483647 28379 51 | 0.000 % |
38.16/38.27 c | 28556 | 1151 166431 731017 | 2147483647 28556 51 | 0.000 % |
38.96/39.06 c | 28751 | 1151 166431 731017 | 2147483647 28751 51 | 0.000 % |
39.86/39.90 c | 28964 | 1151 166431 731017 | 2147483647 28964 51 | 0.000 % |
40.86/40.95 c | 29198 | 1151 166431 731017 | 2147483647 29198 51 | 0.000 % |
41.86/41.95 c | 29455 | 1151 166431 731017 | 2147483647 29455 51 | 0.000 % |
42.66/42.79 c | 29736 | 1151 166431 731017 | 2147483647 29736 50 | 0.000 % |
43.76/43.89 c | 30047 | 1151 166431 731017 | 2147483647 30047 50 | 0.000 % |
44.87/44.91 c | 30386 | 1151 166431 731017 | 2147483647 30386 50 | 0.000 % |
46.27/46.31 c | 30758 | 1151 166431 731017 | 2147483647 30758 50 | 0.000 % |
47.67/47.78 c | 31167 | 1151 166431 731017 | 2147483647 31167 50 | 0.000 % |
49.27/49.33 c | 31616 | 1151 166431 731017 | 2147483647 31616 50 | 0.000 % |
51.06/51.10 c | 32109 | 1151 166431 731017 | 2147483647 32109 50 | 0.000 % |
51.26/51.40 c | 32209 | 1151 166431 731017 | 2147483647 32209 50 | 0.000 % |
51.67/51.73 c | 32320 | 1151 166431 731017 | 2147483647 32320 50 | 0.000 % |
52.06/52.14 c | 32441 | 1151 166431 731017 | 2147483647 32441 50 | 0.000 % |
52.26/52.32 c | 32575 | 1151 166431 731017 | 2147483647 32575 50 | 0.000 % |
52.67/52.76 c | 32722 | 1151 166431 731017 | 2147483647 32722 50 | 0.000 % |
53.26/53.38 c | 32884 | 1151 166431 731017 | 2147483647 32884 50 | 0.000 % |
53.77/53.87 c | 33061 | 1151 166431 731017 | 2147483647 33061 50 | 0.000 % |
54.36/54.43 c | 33256 | 1151 166431 731017 | 2147483647 33256 50 | 0.000 % |
55.16/55.21 c | 33468 | 1151 166431 731017 | 2147483647 33468 50 | 0.000 % |
55.76/55.85 c | 33701 | 1151 166431 731017 | 2147483647 33701 50 | 0.000 % |
56.36/56.43 c | 33958 | 1151 166431 731017 | 2147483647 33958 50 | 0.000 % |
57.07/57.11 c | 34239 | 1151 166431 731017 | 2147483647 34239 50 | 0.000 % |
57.86/57.91 c | 34548 | 1151 166431 731017 | 2147483647 34548 50 | 0.000 % |
58.76/58.88 c | 34887 | 1151 166431 731017 | 2147483647 34887 49 | 0.000 % |
59.76/59.81 c | 35260 | 1151 166431 731017 | 2147483647 35260 49 | 0.000 % |
60.36/60.41 c | 35669 | 1151 166431 731017 | 2147483647 35669 49 | 0.000 % |
60.96/61.06 c | 36118 | 1151 166431 731017 | 2147483647 36118 49 | 0.000 % |
61.66/61.75 c | 36612 | 1151 166431 731017 | 2147483647 36612 48 | 0.000 % |
62.56/62.69 c | 37155 | 1151 166431 731017 | 2147483647 37155 48 | 0.001 % |
62.76/62.80 c | 37255 | 1151 166431 731017 | 2147483647 37255 48 | 0.000 % |
63.36/63.43 c | 37366 | 1151 166431 731017 | 2147483647 37366 48 | 0.018 % |
63.66/63.71 c | 37487 | 1151 166431 731017 | 2147483647 37487 48 | 0.000 % |
63.86/63.96 c | 37622 | 1151 166431 731017 | 2147483647 37622 48 | 0.000 % |
64.06/64.13 c | 37770 | 1151 166431 731017 | 2147483647 37770 48 | 0.000 % |
64.26/64.35 c | 37931 | 1151 166431 731017 | 2147483647 37931 48 | 0.000 % |
64.86/64.98 c | 38107 | 1151 166431 731017 | 2147483647 38107 48 | 0.000 % |
65.36/65.47 c | 38301 | 1151 166431 731017 | 2147483647 38301 48 | 0.000 % |
65.86/65.97 c | 38514 | 1151 166431 731017 | 2147483647 38514 47 | 0.000 % |
67.36/67.49 c | 38748 | 1151 166431 731017 | 2147483647 38748 48 | 0.000 % |
67.86/67.94 c | 39005 | 1151 166431 731017 | 2147483647 39005 48 | 0.000 % |
69.36/69.46 c | 39288 | 1151 166431 731017 | 2147483647 39288 48 | 0.000 % |
71.06/71.16 c | 39597 | 1151 166431 731017 | 2147483647 39597 48 | 0.000 % |
72.65/72.79 c | 39939 | 1151 166431 731017 | 2147483647 39939 48 | 0.000 % |
74.76/74.82 c | 40311 | 1151 166431 731017 | 2147483647 40311 48 | 0.000 % |
76.65/76.77 c | 40721 | 1151 166431 731017 | 2147483647 40721 48 | 0.000 % |
78.95/79.06 c | 41171 | 1151 166431 731017 | 2147483647 41171 48 | 0.000 % |
79.65/79.76 c | 41666 | 1151 166431 731017 | 2147483647 41666 48 | 0.000 % |
80.45/80.57 c | 42208 | 1151 166431 731017 | 2147483647 42208 48 | 0.000 % |
80.85/80.98 c | 42805 | 1151 166431 731017 | 2147483647 42805 48 | 0.000 % |
81.05/81.13 c | 42905 | 1151 166431 731017 | 2147483647 42905 48 | 0.000 % |
81.26/81.35 c | 43018 | 1151 166431 731017 | 2147483647 43018 48 | 0.000 % |
81.45/81.51 c | 43139 | 1151 166431 731017 | 2147483647 43139 48 | 0.000 % |
81.75/81.85 c | 43273 | 1151 166431 731017 | 2147483647 43273 48 | 0.000 % |
81.95/82.08 c | 43419 | 1151 166431 731017 | 2147483647 43419 48 | 0.000 % |
82.15/82.28 c | 43580 | 1151 166431 731017 | 2147483647 43580 48 | 0.000 % |
82.75/82.89 c | 43756 | 1151 166431 731017 | 2147483647 43756 48 | 0.000 % |
83.15/83.25 c | 43951 | 1151 166431 731017 | 2147483647 43951 48 | 0.000 % |
83.95/84.06 c | 44164 | 1151 166431 731017 | 2147483647 44164 48 | 0.000 % |
85.16/85.21 c | 44398 | 1151 166431 731017 | 2147483647 44398 48 | 0.000 % |
86.76/86.84 c | 44657 | 1151 166431 731017 | 2147483647 44657 48 | 0.000 % |
88.16/88.24 c | 44938 | 1151 166431 731017 | 2147483647 44938 48 | 0.000 % |
89.26/89.39 c | 45248 | 1151 166431 731017 | 2147483647 45248 48 | 0.000 % |
90.96/91.07 c | 45590 | 1151 166431 731017 | 2147483647 45590 48 | 0.000 % |
92.86/92.90 c | 45962 | 1151 166431 731017 | 2147483647 45962 48 | 0.000 % |
93.86/93.98 c | 46371 | 1151 166431 731017 | 2147483647 46371 48 | 0.000 % |
95.05/95.17 c | 46820 | 1151 166431 731017 | 2147483647 46820 48 | 0.000 % |
95.56/95.66 c | 47314 | 1151 166431 731017 | 2147483647 47314 48 | 0.000 % |
96.05/96.14 c | 47856 | 1151 166431 731017 | 2147483647 47856 48 | 0.000 % |
96.55/96.70 c | 48452 | 1151 166431 731017 | 2147483647 48452 48 | 0.000 % |
97.05/97.19 c | 49110 | 1151 166431 731017 | 2147483647 49110 48 | 0.000 % |
97.15/97.27 c | 49210 | 1151 166431 731017 | 2147483647 49210 48 | 0.000 % |
97.25/97.39 c | 49323 | 1151 166431 731017 | 2147483647 49323 48 | 0.000 % |
97.45/97.51 c | 49444 | 1151 166431 731017 | 2147483647 49444 48 | 0.000 % |
97.55/97.65 c | 49580 | 1151 166431 731017 | 2147483647 49580 48 | 0.000 % |
98.25/98.37 c | 49727 | 1151 166431 731017 | 2147483647 49727 48 | 0.000 % |
98.96/99.09 c | 49888 | 1151 166431 731017 | 2147483647 49888 48 | 0.000 % |
99.75/99.89 c | 50066 | 1151 166431 731017 | 2147483647 50066 48 | 0.000 % |
100.85/100.93 c | 50259 | 1151 166431 731017 | 2147483647 50259 48 | 0.000 % |
102.15/102.22 c | 50476 | 1151 166431 731017 | 2147483647 50476 48 | 0.000 % |
103.45/103.55 c | 50709 | 1151 166431 731017 | 2147483647 50709 48 | 0.000 % |
104.75/104.82 c | 50965 | 1151 166431 731017 | 2147483647 50965 48 | 0.000 % |
106.35/106.50 c | 51246 | 1151 166431 731017 | 2147483647 51246 48 | 0.000 % |
107.95/108.06 c | 51556 | 1151 166431 731017 | 2147483647 51556 48 | 0.000 % |
109.45/109.58 c | 51896 | 1151 166431 731017 | 2147483647 51896 48 | 0.000 % |
111.15/111.29 c | 52269 | 1151 166431 731017 | 2147483647 52269 48 | 0.000 % |
113.25/113.39 c | 52678 | 1151 166431 731017 | 2147483647 52678 48 | 0.000 % |
115.54/115.64 c | 53128 | 1151 166431 731017 | 2147483647 53128 48 | 0.000 % |
118.34/118.46 c | 53621 | 1151 166431 731017 | 2147483647 53621 48 | 0.000 % |
121.44/121.57 c | 54166 | 1151 166431 731017 | 2147483647 54166 48 | 0.000 % |
124.35/124.43 c | 54764 | 1151 166431 731017 | 2147483647 54764 48 | 0.000 % |
126.65/126.75 c | 55419 | 1151 166431 731017 | 2147483647 55419 48 | 0.000 % |
129.54/129.60 c | 56140 | 1151 166431 731017 | 2147483647 56140 49 | 0.000 % |
130.04/130.10 c | 56240 | 1151 166431 731017 | 2147483647 56240 49 | 0.000 % |
130.34/130.44 c | 56350 | 1151 166431 731017 | 2147483647 56350 49 | 0.000 % |
131.04/131.19 c | 56471 | 1151 166431 731017 | 2147483647 56471 49 | 0.000 % |
131.64/131.77 c | 56604 | 1151 166431 731017 | 2147483647 56604 49 | 0.000 % |
132.54/132.69 c | 56750 | 1151 166431 731017 | 2147483647 56750 49 | 0.000 % |
133.25/133.34 c | 56910 | 1151 166431 731017 | 2147483647 56910 49 | 0.000 % |
133.75/133.86 c | 57088 | 1151 166431 731017 | 2147483647 57088 49 | 0.000 % |
134.25/134.31 c | 57281 | 1151 166431 731017 | 2147483647 57281 49 | 0.000 % |
134.94/135.08 c | 57494 | 1151 166431 731017 | 2147483647 57494 49 | 0.000 % |
135.94/136.02 c | 57727 | 1151 166431 731017 | 2147483647 57727 49 | 0.000 % |
137.24/137.30 c | 57983 | 1151 166431 731017 | 2147483647 57983 49 | 0.000 % |
138.34/138.46 c | 58264 | 1151 166431 731017 | 2147483647 58264 49 | 0.000 % |
139.34/139.47 c | 58576 | 1151 166431 731017 | 2147483647 58576 49 | 0.000 % |
141.04/141.15 c | 58916 | 1151 166431 731017 | 2147483647 58916 49 | 0.000 % |
143.34/143.42 c | 59289 | 1151 166431 731017 | 2147483647 59289 49 | 0.000 % |
145.64/145.75 c | 59699 | 1151 166431 731017 | 2147483647 59699 49 | 0.000 % |
147.74/147.84 c | 60148 | 1151 166431 731017 | 2147483647 60148 49 | 0.000 % |
149.55/149.64 c | 60641 | 1151 166431 731017 | 2147483647 60641 49 | 0.000 % |
151.44/151.58 c | 61185 | 1151 166431 731017 | 2147483647 61185 49 | 0.000 % |
153.54/153.62 c | 61781 | 1151 166431 731017 | 2147483647 61781 49 | 0.000 % |
155.74/155.87 c | 62437 | 1151 166431 731017 | 2147483647 62437 49 | 0.000 % |
157.34/157.44 c | 63157 | 1151 166431 731017 | 2147483647 63157 49 | 0.000 % |
158.14/158.28 c | 63949 | 1151 166431 731017 | 2147483647 63949 49 | 0.000 % |
158.34/158.41 c | 64050 | 1151 166431 731017 | 2147483647 64050 48 | 0.000 % |
158.94/159.03 c | 64160 | 1151 166431 731017 | 2147483647 64160 49 | 0.000 % |
159.74/159.83 c | 64281 | 1151 166431 731017 | 2147483647 64281 49 | 0.000 % |
160.34/160.44 c | 64415 | 1151 166431 731017 | 2147483647 64415 49 | 0.000 % |
160.94/161.05 c | 64563 | 1151 166431 731017 | 2147483647 64563 49 | 0.000 % |
162.04/162.12 c | 64723 | 1151 166431 731017 | 2147483647 64723 49 | 0.000 % |
163.24/163.34 c | 64899 | 1151 166431 731017 | 2147483647 64899 49 | 0.000 % |
164.24/164.37 c | 65092 | 1151 166431 731017 | 2147483647 65092 49 | 0.000 % |
165.44/165.58 c | 65307 | 1151 166431 731017 | 2147483647 65307 49 | 0.000 % |
166.84/166.99 c | 65541 | 1151 166431 731017 | 2147483647 65541 49 | 0.000 % |
168.64/168.79 c | 65798 | 1151 166431 731017 | 2147483647 65798 49 | 0.000 % |
170.24/170.37 c | 66080 | 1151 166431 731017 | 2147483647 66080 49 | 0.000 % |
172.04/172.10 c | 66391 | 1151 166431 731017 | 2147483647 66391 49 | 0.000 % |
173.44/173.58 c | 66733 | 1151 166431 731017 | 2147483647 66733 49 | 0.000 % |
174.93/175.07 c | 67106 | 1151 166431 731017 | 2147483647 67106 49 | 0.000 % |
177.04/177.11 c | 67516 | 1151 166431 731017 | 2147483647 67516 49 | 0.000 % |
180.03/180.13 c | 67965 | 1151 166431 731017 | 2147483647 67965 49 | 0.000 % |
183.13/183.27 c | 68459 | 1151 166431 731017 | 2147483647 68459 49 | 0.000 % |
185.83/185.98 c | 69002 | 1151 166431 731017 | 2147483647 69002 49 | 0.000 % |
189.53/189.62 c | 69598 | 1151 166431 731017 | 2147483647 69598 49 | 0.000 % |
193.33/193.41 c | 70256 | 1151 166431 731017 | 2147483647 70256 49 | 0.000 % |
196.73/196.85 c | 70979 | 1151 166431 731017 | 2147483647 70979 49 | 0.000 % |
200.43/200.51 c | 71771 | 1151 166431 731017 | 2147483647 71771 49 | 0.000 % |
204.53/204.64 c | 72642 | 1151 166431 731017 | 2147483647 72642 49 | 0.000 % |
204.93/205.00 c | 72742 | 1151 166431 731017 | 2147483647 72742 49 | 0.000 % |
205.43/205.52 c | 72854 | 1151 166431 731017 | 2147483647 72854 49 | 0.000 % |
205.93/206.00 c | 72975 | 1151 166431 731017 | 2147483647 72975 49 | 0.000 % |
206.73/206.85 c | 73108 | 1151 166431 731017 | 2147483647 73108 49 | 0.000 % |
207.43/207.52 c | 73256 | 1151 166431 731017 | 2147483647 73256 49 | 0.000 % |
208.03/208.14 c | 73416 | 1151 166431 731017 | 2147483647 73416 49 | 0.000 % |
208.33/208.45 c | 73593 | 1151 166431 731017 | 2147483647 73593 49 | 0.000 % |
209.53/209.68 c | 73786 | 1151 166431 731017 | 2147483647 73786 49 | 0.000 % |
210.83/210.92 c | 73998 | 1151 166431 731017 | 2147483647 73998 49 | 0.000 % |
212.23/212.34 c | 74232 | 1151 166431 731017 | 2147483647 74232 49 | 0.000 % |
213.73/213.88 c | 74489 | 1151 166431 731017 | 2147483647 74489 49 | 0.000 % |
215.72/215.83 c | 74771 | 1151 166431 731017 | 2147483647 74771 49 | 0.000 % |
217.22/217.37 c | 75081 | 1151 166431 731017 | 2147483647 75081 49 | 0.000 % |
218.22/218.39 c | 75421 | 1151 166431 731017 | 2147483647 75421 49 | 0.000 % |
219.72/219.89 c | 75794 | 1151 166431 731017 | 2147483647 75794 49 | 0.000 % |
222.02/222.10 c | 76204 | 1151 166431 731017 | 2147483647 76204 49 | 0.000 % |
224.22/224.31 c | 76653 | 1151 166431 731017 | 2147483647 76653 49 | 0.000 % |
226.53/226.68 c | 77151 | 1151 166431 731017 | 2147483647 77151 49 | 0.000 % |
229.02/229.12 c | 77695 | 1151 166431 731017 | 2147483647 77695 49 | 0.000 % |
232.32/232.48 c | 78291 | 1151 166431 731017 | 2147483647 78291 49 | 0.000 % |
235.42/235.56 c | 78947 | 1151 166431 731017 | 2147483647 78947 49 | 0.000 % |
238.63/238.71 c | 79668 | 1151 166431 731017 | 2147483647 79668 49 | 0.000 % |
241.12/241.20 c | 80460 | 1151 166431 731017 | 2147483647 80460 49 | 0.000 % |
244.42/244.60 c | 81331 | 1151 166431 731017 | 2147483647 81331 49 | 0.000 % |
248.12/248.26 c | 82290 | 1151 166431 731017 | 2147483647 82290 49 | 0.000 % |
248.62/248.77 c | 82391 | 1151 166431 731017 | 2147483647 82391 49 | 0.000 % |
249.32/249.48 c | 82501 | 1151 166431 731017 | 2147483647 82501 49 | 0.000 % |
249.82/249.96 c | 82622 | 1151 166431 731017 | 2147483647 82622 49 | 0.000 % |
250.41/250.58 c | 82756 | 1151 166431 731017 | 2147483647 82756 49 | 0.000 % |
251.21/251.30 c | 82902 | 1151 166431 731017 | 2147483647 82902 49 | 0.000 % |
252.21/252.35 c | 83064 | 1151 166431 731017 | 2147483647 83064 49 | 0.000 % |
252.71/252.86 c | 83241 | 1151 166431 731017 | 2147483647 83241 49 | 0.000 % |
254.02/254.11 c | 83435 | 1151 166431 731017 | 2147483647 83435 49 | 0.000 % |
255.21/255.35 c | 83648 | 1151 166431 731017 | 2147483647 83648 49 | 0.000 % |
256.01/256.17 c | 83883 | 1151 166431 731017 | 2147483647 83883 49 | 0.000 % |
258.01/258.12 c | 84139 | 1151 166431 731017 | 2147483647 84139 49 | 0.000 % |
259.51/259.67 c | 84421 | 1151 166431 731017 | 2147483647 84421 49 | 0.000 % |
260.91/261.05 c | 84731 | 1151 166431 731017 | 2147483647 84731 49 | 0.000 % |
262.31/262.44 c | 85071 | 1151 166431 731017 | 2147483647 85071 49 | 0.000 % |
264.01/264.14 c | 85443 | 1151 166431 731017 | 2147483647 85443 49 | 0.000 % |
266.51/266.63 c | 85853 | 1151 166431 731017 | 2147483647 85853 49 | 0.000 % |
269.71/269.86 c | 86302 | 1151 166431 731017 | 2147483647 86302 49 | 0.000 % |
272.31/272.49 c | 86795 | 1151 166431 731017 | 2147483647 86795 49 | 0.000 % |
275.31/275.42 c | 87338 | 1151 166431 731017 | 2147483647 87338 49 | 0.000 % |
278.22/278.34 c | 87934 | 1151 166431 731017 | 2147483647 87934 49 | 0.000 % |
282.41/282.51 c | 88590 | 1151 166431 731017 | 2147483647 88590 49 | 0.000 % |
287.31/287.46 c | 89312 | 1151 166431 731017 | 2147483647 89312 49 | 0.000 % |
291.51/291.67 c | 90105 | 1151 166431 731017 | 2147483647 90105 49 | 0.000 % |
295.81/295.91 c | 90978 | 1151 166431 731017 | 2147483647 90978 48 | 0.000 % |
300.40/300.58 c | 91938 | 1151 166431 731017 | 2147483647 91938 48 | 0.000 % |
304.40/304.50 c | 92991 | 1151 166431 731017 | 2147483647 92991 48 | 0.000 % |
304.80/304.98 c | 93092 | 1151 166431 731017 | 2147483647 93092 48 | 0.000 % |
305.40/305.52 c | 93202 | 1151 166431 731017 | 2147483647 93202 48 | 0.000 % |
306.00/306.10 c | 93323 | 1151 166431 731017 | 2147483647 93323 48 | 0.000 % |
306.60/306.76 c | 93456 | 1151 166431 731017 | 2147483647 93456 48 | 0.000 % |
307.41/307.50 c | 93604 | 1151 166431 731017 | 2147483647 93604 48 | 0.000 % |
308.11/308.23 c | 93765 | 1151 166431 731017 | 2147483647 93765 48 | 0.000 % |
308.91/309.08 c | 93942 | 1151 166431 731017 | 2147483647 93942 48 | 0.000 % |
310.01/310.12 c | 94135 | 1151 166431 731017 | 2147483647 94135 48 | 0.000 % |
310.81/310.90 c | 94347 | 1151 166431 731017 | 2147483647 94347 48 | 0.000 % |
312.10/312.24 c | 94583 | 1151 166431 731017 | 2147483647 94583 48 | 0.000 % |
313.41/313.54 c | 94841 | 1151 166431 731017 | 2147483647 94841 48 | 0.000 % |
314.51/314.60 c | 95122 | 1151 166431 731017 | 2147483647 95122 48 | 0.000 % |
316.20/316.37 c | 95432 | 1151 166431 731017 | 2147483647 95432 48 | 0.000 % |
318.30/318.45 c | 95771 | 1151 166431 731017 | 2147483647 95771 48 | 0.000 % |
320.10/320.27 c | 96145 | 1151 166431 731017 | 2147483647 96145 48 | 0.000 % |
321.80/321.92 c | 96554 | 1151 166431 731017 | 2147483647 96554 48 | 0.000 % |
323.80/323.98 c | 97004 | 1151 166431 731017 | 2147483647 97004 48 | 0.000 % |
326.20/326.39 c | 97498 | 1151 166431 731017 | 2147483647 97498 48 | 0.000 % |
328.80/328.94 c | 98041 | 1151 166431 731017 | 2147483647 98041 48 | 0.000 % |
331.50/331.65 c | 98638 | 1151 166431 731017 | 2147483647 98638 48 | 0.000 % |
334.89/335.04 c | 99293 | 1151 166431 731017 | 2147483647 99293 48 | 0.000 % |
339.19/339.30 c | 100013 | 1151 166431 731017 | 2147483647 100013 48 | 0.000 % |
344.50/344.63 c | 100806 | 1151 166431 731017 | 2147483647 100806 48 | 0.000 % |
350.60/350.73 c | 101678 | 1151 166431 731017 | 2147483647 101678 48 | 0.000 % |
356.20/356.33 c | 102637 | 1151 166431 731017 | 2147483647 102637 48 | 0.000 % |
364.59/364.76 c | 103691 | 1151 166431 731017 | 2147483647 103691 48 | 0.000 % |
371.29/371.48 c | 104849 | 1151 166431 731017 | 2147483647 104849 48 | 0.000 % |
372.19/372.31 c | 104949 | 1151 166431 731017 | 2147483647 104949 48 | 0.000 % |
372.89/373.01 c | 105060 | 1151 166431 731017 | 2147483647 105060 48 | 0.000 % |
373.89/374.01 c | 105181 | 1151 166431 731017 | 2147483647 105181 48 | 0.000 % |
374.69/374.87 c | 105314 | 1151 166431 731017 | 2147483647 105314 48 | 0.000 % |
375.89/376.03 c | 105462 | 1151 166431 731017 | 2147483647 105462 48 | 0.000 % |
377.09/377.27 c | 105622 | 1151 166431 731017 | 2147483647 105622 48 | 0.000 % |
378.49/378.66 c | 105801 | 1151 166431 731017 | 2147483647 105801 48 | 0.000 % |
379.99/380.19 c | 105995 | 1151 166431 731017 | 2147483647 105995 48 | 0.000 % |
382.19/382.30 c | 106209 | 1151 166431 731017 | 2147483647 106209 48 | 0.000 % |
383.69/383.87 c | 106442 | 1151 166431 731017 | 2147483647 106442 48 | 0.000 % |
385.99/386.13 c | 106699 | 1151 166431 731017 | 2147483647 106699 48 | 0.000 % |
388.19/388.35 c | 106982 | 1151 166431 731017 | 2147483647 106982 48 | 0.000 % |
390.38/390.59 c | 107294 | 1151 166431 731017 | 2147483647 107294 48 | 0.000 % |
392.88/393.03 c | 107634 | 1151 166431 731017 | 2147483647 107634 48 | 0.000 % |
395.38/395.51 c | 108007 | 1151 166431 731017 | 2147483647 108007 48 | 0.000 % |
397.59/397.79 c | 108417 | 1151 166431 731017 | 2147483647 108417 48 | 0.000 % |
400.68/400.82 c | 108867 | 1151 166431 731017 | 2147483647 108867 48 | 0.000 % |
403.98/404.18 c | 109362 | 1151 166431 731017 | 2147483647 109362 48 | 0.000 % |
407.78/407.94 c | 109904 | 1151 166431 731017 | 2147483647 109904 48 | 0.000 % |
412.78/412.91 c | 110500 | 1151 166431 731017 | 110001 93228 48 | 0.000 % |
415.98/416.18 c | 111155 | 1151 166431 731017 | 110001 93883 48 | 0.000 % |
421.28/421.40 c | 111875 | 1151 166431 731017 | 110001 94603 48 | 0.000 % |
426.58/426.74 c | 112668 | 1151 166431 731017 | 110001 95396 48 | 0.000 % |
432.18/432.30 c | 113539 | 1151 166431 731017 | 110001 96267 48 | 0.000 % |
438.57/438.75 c | 114498 | 1151 166431 731017 | 110001 97226 48 | 0.000 % |
444.97/445.13 c | 115553 | 1151 166431 731017 | 110001 98281 48 | 0.000 % |
451.27/451.46 c | 116711 | 1151 166431 731017 | 110001 99439 48 | 0.000 % |
457.67/457.88 c | 117986 | 1151 166431 731017 | 110001 100714 48 | 0.000 % |
458.07/458.26 c | 118087 | 1151 166431 731017 | 110001 100815 48 | 0.000 % |
458.67/458.85 c | 118197 | 1151 166431 731017 | 110001 100925 48 | 0.000 % |
459.37/459.56 c | 118320 | 1151 166431 731017 | 110001 101048 48 | 0.000 % |
460.07/460.28 c | 118453 | 1151 166431 731017 | 110001 101181 48 | 0.000 % |
461.07/461.20 c | 118601 | 1151 166431 731017 | 110001 101329 48 | 0.000 % |
461.97/462.15 c | 118761 | 1151 166431 731017 | 110001 101489 48 | 0.000 % |
462.87/463.07 c | 118938 | 1151 166431 731017 | 110001 101666 48 | 0.000 % |
463.97/464.11 c | 119132 | 1151 166431 731017 | 110001 101860 48 | 0.000 % |
465.07/465.23 c | 119344 | 1151 166431 731017 | 110001 102072 48 | 0.000 % |
466.47/466.66 c | 119577 | 1151 166431 731017 | 110001 102305 48 | 0.000 % |
467.87/468.09 c | 119839 | 1151 166431 731017 | 110001 102567 48 | 0.000 % |
469.76/469.92 c | 120120 | 1151 166431 731017 | 102728 102848 48 | 0.000 % |
471.36/471.58 c | 120429 | 1151 166431 731017 | 102728 88393 47 | 0.000 % |
473.16/473.32 c | 120772 | 1151 166431 731017 | 102728 88736 47 | 0.000 % |
475.07/475.22 c | 121144 | 1151 166431 731017 | 102728 89108 47 | 0.000 % |
477.17/477.35 c | 121556 | 1151 166431 731017 | 102728 89520 47 | 0.000 % |
479.66/479.85 c | 122006 | 1151 166431 731017 | 102728 89970 47 | 0.000 % |
483.36/483.57 c | 122500 | 1151 166431 731017 | 102728 90464 48 | 0.000 % |
487.26/487.49 c | 123043 | 1151 166431 731017 | 102728 91007 48 | 0.000 % |
491.26/491.41 c | 123639 | 1151 166431 731017 | 102728 91603 48 | 0.000 % |
495.36/495.60 c | 124295 | 1151 166431 731017 | 102728 92259 48 | 0.000 % |
500.75/500.92 c | 125017 | 1151 166431 731017 | 102728 92981 48 | 0.000 % |
506.65/506.81 c | 125809 | 1151 166431 731017 | 102728 93773 48 | 0.000 % |
512.65/512.81 c | 126682 | 1151 166431 731017 | 102728 94646 48 | 0.000 % |
519.46/519.65 c | 127640 | 1151 166431 731017 | 102728 95604 48 | 0.000 % |
525.76/525.96 c | 128693 | 1151 166431 731017 | 102728 96657 48 | 0.000 % |
531.76/531.94 c | 129851 | 1151 166431 731017 | 102728 97815 48 | 0.000 % |
540.15/540.31 c | 131125 | 1151 166431 731017 | 97964 80781 48 | 0.000 % |
546.85/547.10 c | 132525 | 1151 166431 731017 | 97964 82181 48 | 0.000 % |
547.35/547.54 c | 132628 | 1151 166431 731017 | 97964 82284 48 | 0.000 % |
548.15/548.32 c | 132738 | 1151 166431 731017 | 97964 82394 48 | 0.000 % |
548.85/549.01 c | 132859 | 1151 166431 731017 | 97964 82515 48 | 0.000 % |
549.86/550.07 c | 132992 | 1151 166431 731017 | 97964 82648 48 | 0.000 % |
550.96/551.19 c | 133138 | 1151 166431 731017 | 97964 82794 48 | 0.000 % |
552.35/552.54 c | 133298 | 1151 166431 731017 | 97964 82954 48 | 0.000 % |
553.55/553.77 c | 133474 | 1151 166431 731017 | 97964 83130 48 | 0.000 % |
555.45/555.68 c | 133668 | 1151 166431 731017 | 97964 83324 48 | 0.000 % |
556.45/556.62 c | 133880 | 1151 166431 731017 | 97964 83536 48 | 0.000 % |
558.35/558.52 c | 134113 | 1151 166431 731017 | 97964 83769 48 | 0.000 % |
560.35/560.52 c | 134369 | 1151 166431 731017 | 97964 84025 48 | 0.000 % |
562.85/563.03 c | 134650 | 1151 166431 731017 | 97964 84306 48 | 0.000 % |
565.04/565.21 c | 134959 | 1151 166431 731017 | 97964 84615 48 | 0.000 % |
567.04/567.29 c | 135298 | 1151 166431 731017 | 97964 84954 48 | 0.000 % |
569.24/569.40 c | 135671 | 1151 166431 731017 | 97964 85327 48 | 0.000 % |
571.44/571.60 c | 136081 | 1151 166431 731017 | 97964 85737 48 | 0.000 % |
574.84/575.01 c | 136535 | 1151 166431 731017 | 97964 86191 48 | 0.000 % |
578.14/578.35 c | 137029 | 1151 166431 731017 | 97964 86685 48 | 0.000 % |
582.54/582.80 c | 137572 | 1151 166431 731017 | 97964 87228 48 | 0.000 % |
587.14/587.35 c | 138170 | 1151 166431 731017 | 97964 87826 48 | 0.000 % |
591.44/591.64 c | 138825 | 1151 166431 731017 | 97964 88481 48 | 0.000 % |
596.24/596.45 c | 139548 | 1151 166431 731017 | 97964 89204 48 | 0.000 % |
602.73/602.97 c | 140343 | 1151 166431 731017 | 89657 71902 47 | 0.000 % |
606.33/606.58 c | 141215 | 1151 166431 731017 | 89657 72774 47 | 0.000 % |
612.23/612.41 c | 142174 | 1151 166431 731017 | 89657 73733 47 | 0.000 % |
617.53/617.78 c | 143227 | 1151 166431 731017 | 89657 74786 47 | 0.000 % |
621.63/621.87 c | 144385 | 1151 166431 731017 | 89657 75944 47 | 0.000 % |
630.14/630.40 c | 145659 | 1151 166431 731017 | 89657 77218 47 | 0.000 % |
639.63/639.85 c | 147062 | 1151 166431 731017 | 89657 78621 47 | 0.000 % |
650.33/650.56 c | 148602 | 1151 166431 731017 | 89657 80161 47 | 0.000 % |
651.23/651.40 c | 148702 | 1151 166431 731017 | 89657 80261 47 | 0.000 % |
651.93/652.18 c | 148814 | 1151 166431 731017 | 89657 80373 47 | 0.000 % |
653.03/653.21 c | 148936 | 1151 166431 731017 | 89657 80495 47 | 0.000 % |
654.23/654.45 c | 149071 | 1151 166431 731017 | 89657 80630 47 | 0.000 % |
655.33/655.53 c | 149218 | 1151 166431 731017 | 89657 80777 47 | 0.000 % |
656.43/656.67 c | 149382 | 1151 166431 731017 | 89657 80941 47 | 0.000 % |
657.83/658.03 c | 149560 | 1151 166431 731017 | 89657 81119 47 | 0.000 % |
658.83/659.02 c | 149754 | 1151 166431 731017 | 89657 81313 47 | 0.000 % |
660.33/660.58 c | 149966 | 1151 166431 731017 | 89657 81525 47 | 0.000 % |
662.32/662.50 c | 150200 | 1151 166431 731017 | 81560 81759 47 | 0.000 % |
664.62/664.82 c | 150457 | 1151 166431 731017 | 81560 70208 47 | 0.000 % |
666.22/666.41 c | 150738 | 1151 166431 731017 | 81560 70489 47 | 0.000 % |
668.53/668.75 c | 151047 | 1151 166431 731017 | 81560 70798 47 | 0.000 % |
670.92/671.11 c | 151387 | 1151 166431 731017 | 81560 71138 47 | 0.000 % |
673.42/673.68 c | 151760 | 1151 166431 731017 | 81560 71511 47 | 0.000 % |
676.32/676.56 c | 152171 | 1151 166431 731017 | 81560 71922 47 | 0.000 % |
679.52/679.75 c | 152620 | 1151 166431 731017 | 81560 72371 47 | 0.000 % |
681.62/681.81 c | 153113 | 1151 166431 731017 | 81560 72864 47 | 0.000 % |
684.52/684.72 c | 153656 | 1151 166431 731017 | 81560 73407 47 | 0.000 % |
687.32/687.58 c | 154252 | 1151 166431 731017 | 81560 74003 46 | 0.000 % |
690.72/690.90 c | 154907 | 1151 166431 731017 | 81560 74658 46 | 0.000 % |
693.61/693.84 c | 155627 | 1151 166431 731017 | 81560 75378 46 | 0.000 % |
697.62/697.86 c | 156419 | 1151 166431 731017 | 81560 76170 46 | 0.000 % |
700.91/701.11 c | 157290 | 1151 166431 731017 | 81560 77041 46 | 0.000 % |
706.71/706.94 c | 158249 | 1151 166431 731017 | 81560 78000 46 | 0.000 % |
710.11/710.37 c | 159302 | 1151 166431 731017 | 81560 79053 46 | 0.000 % |
717.21/717.47 c | 160461 | 1151 166431 731017 | 2147483647 80212 46 | 0.000 % |
725.01/725.21 c | 161737 | 1151 166431 731017 | 2147483647 81488 46 | 0.000 % |
733.70/733.96 c | 163140 | 1151 166431 731017 | 2147483647 82891 46 | 0.000 % |
743.20/743.42 c | 164680 | 1151 166431 731017 | 2147483647 84431 46 | 0.000 % |
753.60/753.83 c | 166374 | 1151 166431 731017 | 2147483647 86125 46 | 0.000 % |
754.20/754.49 c | 166475 | 1151 166431 731017 | 2147483647 86226 46 | 0.000 % |
755.30/755.53 c | 166586 | 1151 166431 731017 | 2147483647 86337 46 | 0.000 % |
756.10/756.33 c | 166708 | 1151 166431 731017 | 2147483647 86459 46 | 0.000 % |
757.30/757.52 c | 166842 | 1151 166431 731017 | 2147483647 86593 46 | 0.000 % |
758.60/758.83 c | 166988 | 1151 166431 731017 | 2147483647 86739 46 | 0.000 % |
760.00/760.23 c | 167149 | 1151 166431 731017 | 2147483647 86900 46 | 0.000 % |
761.01/761.25 c | 167325 | 1151 166431 731017 | 2147483647 87076 46 | 0.000 % |
762.01/762.23 c | 167518 | 1151 166431 731017 | 2147483647 87269 46 | 0.000 % |
763.50/763.71 c | 167734 | 1151 166431 731017 | 2147483647 87485 46 | 0.000 % |
764.50/764.78 c | 167967 | 1151 166431 731017 | 2147483647 87718 46 | 0.000 % |
766.60/766.84 c | 168225 | 1151 166431 731017 | 2147483647 87976 46 | 0.000 % |
768.30/768.58 c | 168506 | 1151 166431 731017 | 2147483647 88257 46 | 0.001 % |
770.60/770.82 c | 168815 | 1151 166431 731017 | 2147483647 88566 46 | 0.000 % |
773.30/773.55 c | 169154 | 1151 166431 731017 | 2147483647 88905 46 | 0.000 % |
776.00/776.21 c | 169526 | 1151 166431 731017 | 2147483647 89277 46 | 0.000 % |
779.30/779.52 c | 169936 | 1151 166431 731017 | 2147483647 89687 46 | 0.000 % |
781.90/782.19 c | 170385 | 1151 166431 731017 | 89753 77745 46 | 0.000 % |
783.80/784.08 c | 170879 | 1151 166431 731017 | 89753 78239 46 | 0.000 % |
786.40/786.67 c | 171423 | 1151 166431 731017 | 89753 78783 46 | 0.000 % |
790.80/791.01 c | 172020 | 1151 166431 731017 | 89753 79380 46 | 0.000 % |
795.80/796.02 c | 172675 | 1151 166431 731017 | 89753 80035 46 | 0.000 % |
798.40/798.60 c | 173396 | 1151 166431 731017 | 89753 80756 46 | 0.000 % |
803.19/803.43 c | 174188 | 1151 166431 731017 | 89753 81548 46 | 0.000 % |
807.99/808.29 c | 175060 | 1151 166431 731017 | 89753 82420 46 | 0.000 % |
813.69/813.96 c | 176019 | 1151 166431 731017 | 89753 83379 46 | 0.000 % |
819.09/819.30 c | 177073 | 1151 166431 731017 | 89753 84433 46 | 0.000 % |
824.39/824.61 c | 178235 | 1151 166431 731017 | 89753 85595 46 | 0.000 % |
830.98/831.22 c | 179510 | 1151 166431 731017 | 89753 86870 45 | 0.000 % |
840.98/841.27 c | 180912 | 1151 166431 731017 | 87361 77462 45 | 0.000 % |
849.88/850.11 c | 182452 | 1151 166431 731017 | 87361 79002 45 | 0.000 % |
859.48/859.76 c | 184147 | 1151 166431 731017 | 87361 80697 45 | 0.000 % |
868.88/869.18 c | 186011 | 1151 166431 731017 | 87361 82561 45 | 0.000 % |
869.98/870.22 c | 186114 | 1151 166431 731017 | 87361 82664 45 | 0.000 % |
870.48/870.70 c | 186224 | 1151 166431 731017 | 87361 82774 45 | 0.000 % |
871.48/871.71 c | 186346 | 1151 166431 731017 | 87361 82896 45 | 0.000 % |
872.38/872.63 c | 186483 | 1151 166431 731017 | 87361 83033 45 | 0.000 % |
873.28/873.55 c | 186630 | 1151 166431 731017 | 87361 83180 45 | 0.000 % |
873.98/874.20 c | 186792 | 1151 166431 731017 | 87361 83342 44 | 0.000 % |
874.88/875.13 c | 186968 | 1151 166431 731017 | 87361 83518 44 | 0.000 % |
875.78/876.05 c | 187162 | 1151 166431 731017 | 87361 83712 44 | 0.000 % |
876.78/877.08 c | 187374 | 1151 166431 731017 | 87361 83924 44 | 0.000 % |
877.98/878.28 c | 187607 | 1151 166431 731017 | 87361 84157 44 | 0.000 % |
878.97/879.23 c | 187863 | 1151 166431 731017 | 87361 84413 44 | 0.000 % |
879.27/879.54 c | 188144 | 1151 166431 731017 | 87361 84694 44 | 0.000 % |
879.68/879.95 c | 188453 | 1151 166431 731017 | 87361 85003 44 | 0.000 % |
880.07/880.37 c | 188794 | 1151 166431 731017 | 87361 85344 44 | 0.000 % |
881.17/881.47 c | 189166 | 1151 166431 731017 | 87361 85716 44 | 0.000 % |
881.67/881.98 c | 189576 | 1151 166431 731017 | 87361 86126 44 | 0.001 % |
884.57/884.83 c | 190028 | 1151 166431 731017 | 2147483647 86578 44 | 0.000 % |
885.87/886.14 c | 190522 | 1151 166431 731017 | 2147483647 87072 44 | 0.000 % |
890.17/890.45 c | 191068 | 1151 166431 731017 | 2147483647 87618 44 | 0.000 % |
894.87/895.18 c | 191664 | 1151 166431 731017 | 2147483647 88214 44 | 0.000 % |
898.86/899.15 c | 192320 | 1151 166431 731017 | 2147483647 88870 44 | 0.000 % |
903.67/903.92 c | 193040 | 1151 166431 731017 | 2147483647 89590 44 | 0.000 % |
907.67/907.91 c | 193832 | 1151 166431 731017 | 2147483647 90382 44 | 0.000 % |
915.07/915.38 c | 194703 | 1151 166431 731017 | 2147483647 91253 44 | 0.000 % |
921.57/921.83 c | 195665 | 1151 166431 731017 | 2147483647 92215 44 | 0.000 % |
925.07/925.34 c | 196719 | 1151 166431 731017 | 2147483647 93269 44 | 0.000 % |
929.07/929.38 c | 197878 | 1151 166431 731017 | 2147483647 94428 44 | 0.000 % |
939.46/939.70 c | 199151 | 1151 166431 731017 | 2147483647 95701 45 | 0.000 % |
950.16/950.43 c | 200551 | 1151 166431 731017 | 2147483647 97101 45 | 0.000 % |
962.46/962.72 c | 202094 | 1151 166431 731017 | 2147483647 98644 45 | 0.000 % |
973.16/973.49 c | 203788 | 1151 166431 731017 | 2147483647 100338 45 | 0.000 % |
986.45/986.78 c | 205656 | 1151 166431 731017 | 2147483647 102206 45 | 0.000 % |
1003.95/1004.29 c | 207705 | 1151 166431 731017 | 2147483647 104255 45 | 0.000 % |
1005.15/1005.44 c | 207805 | 1151 166431 731017 | 2147483647 104355 45 | 0.000 % |
1006.04/1006.33 c | 207916 | 1151 166431 731017 | 2147483647 104466 45 | 0.000 % |
1006.54/1006.86 c | 208037 | 1151 166431 731017 | 2147483647 104587 45 | 0.000 % |
1007.35/1007.67 c | 208171 | 1151 166431 731017 | 2147483647 104721 45 | 0.000 % |
1008.14/1008.41 c | 208318 | 1151 166431 731017 | 2147483647 104868 45 | 0.000 % |
1009.64/1009.93 c | 208478 | 1151 166431 731017 | 2147483647 105028 45 | 0.000 % |
1011.84/1012.15 c | 208655 | 1151 166431 731017 | 2147483647 105205 45 | 0.000 % |
1013.74/1014.03 c | 208849 | 1151 166431 731017 | 2147483647 105399 45 | 0.000 % |
1015.54/1015.80 c | 209061 | 1151 166431 731017 | 2147483647 105611 45 | 0.000 % |
1017.24/1017.55 c | 209294 | 1151 166431 731017 | 2147483647 105844 45 | 0.000 % |
1017.54/1017.85 c | 209553 | 1151 166431 731017 | 2147483647 106103 45 | 0.000 % |
1020.34/1020.63 c | 209835 | 1151 166431 731017 | 2147483647 106385 45 | 0.000 % |
1023.24/1023.51 c | 210145 | 1151 166431 731017 | 2147483647 106695 45 | 0.000 % |
1025.84/1026.19 c | 210485 | 1151 166431 731017 | 2147483647 107035 45 | 0.000 % |
1029.24/1029.52 c | 210858 | 1151 166431 731017 | 2147483647 107408 45 | 0.000 % |
1030.34/1030.63 c | 211269 | 1151 166431 731017 | 2147483647 107819 45 | 0.000 % |
1033.84/1034.13 c | 211719 | 1151 166431 731017 | 2147483647 108269 45 | 0.000 % |
1038.43/1038.78 c | 212212 | 1151 166431 731017 | 2147483647 108762 45 | 0.000 % |
1041.83/1042.12 c | 212755 | 1151 166431 731017 | 2147483647 109305 45 | 0.000 % |
1044.53/1044.83 c | 213351 | 1151 166431 731017 | 2147483647 109901 45 | 0.000 % |
1048.13/1048.49 c | 214006 | 1151 166431 731017 | 2147483647 110556 45 | 0.000 % |
1054.33/1054.61 c | 214726 | 1151 166431 731017 | 2147483647 111276 45 | 0.000 % |
1060.74/1061.02 c | 215519 | 1151 166431 731017 | 2147483647 112069 45 | 0.000 % |
1069.73/1070.07 c | 216390 | 1151 166431 731017 | 2147483647 112940 45 | 0.000 % |
1077.93/1078.23 c | 217349 | 1151 166431 731017 | 2147483647 113899 45 | 0.000 % |
1086.73/1087.08 c | 218403 | 1151 166431 731017 | 2147483647 114953 45 | 0.000 % |
1096.53/1096.84 c | 219562 | 1151 166431 731017 | 2147483647 116112 45 | 0.000 % |
1109.32/1109.68 c | 220836 | 1151 166431 731017 | 2147483647 117386 45 | 0.000 % |
1122.02/1122.34 c | 222238 | 1151 166431 731017 | 2147483647 118788 45 | 0.000 % |
1133.41/1133.70 c | 223778 | 1151 166431 731017 | 2147483647 120328 45 | 0.000 % |
1150.41/1150.73 c | 225473 | 1151 166431 731017 | 2147483647 122023 45 | 0.000 % |
1167.20/1167.55 c | 227336 | 1151 166431 731017 | 2147483647 123886 45 | 0.000 % |
1180.71/1181.07 c | 229385 | 1151 166431 731017 | 2147483647 125935 45 | 0.000 % |
1189.11/1189.46 c | 231641 | 1151 166431 731017 | 2147483647 128191 45 | 0.000 % |
1189.61/1189.93 c | 231743 | 1151 166431 731017 | 2147483647 128293 45 | 0.000 % |
1190.01/1190.39 c | 231853 | 1151 166431 731017 | 2147483647 128403 45 | 0.000 % |
1190.41/1190.79 c | 231980 | 1151 166431 731017 | 2147483647 128530 45 | 0.000 % |
1190.81/1191.15 c | 232116 | 1151 166431 731017 | 2147483647 128666 45 | 0.000 % |
1191.71/1192.09 c | 232262 | 1151 166431 731017 | 2147483647 128812 45 | 0.000 % |
1192.81/1193.17 c | 232422 | 1151 166431 731017 | 2147483647 128972 45 | 0.000 % |
1194.40/1194.77 c | 232599 | 1151 166431 731017 | 2147483647 129149 45 | 0.000 % |
1196.70/1197.01 c | 232792 | 1151 166431 731017 | 2147483647 129342 45 | 0.000 % |
1198.20/1198.53 c | 233004 | 1151 166431 731017 | 2147483647 129554 45 | 0.000 % |
1200.40/1200.79 c | 233238 | 1151 166431 731017 | 2147483647 129788 45 | 0.000 % |
1203.00/1203.32 c | 233494 | 1151 166431 731017 | 2147483647 130044 45 | 0.000 % |
1204.00/1204.30 c | 233775 | 1151 166431 731017 | 2147483647 130325 45 | 0.000 % |
1207.10/1207.44 c | 234084 | 1151 166431 731017 | 2147483647 130634 45 | 0.000 % |
1208.40/1208.76 c | 234423 | 1151 166431 731017 | 2147483647 130973 45 | 0.000 % |
1212.70/1213.09 c | 234795 | 1151 166431 731017 | 2147483647 131345 45 | 0.000 % |
1217.79/1218.13 c | 235206 | 1151 166431 731017 | 2147483647 131756 45 | 0.000 % |
1221.99/1222.37 c | 235656 | 1151 166431 731017 | 2147483647 132206 45 | 0.000 % |
1227.20/1227.57 c | 236150 | 1151 166431 731017 | 2147483647 132700 45 | 0.000 % |
1233.10/1233.48 c | 236695 | 1151 166431 731017 | 2147483647 133245 45 | 0.000 % |
1238.30/1238.67 c | 237291 | 1151 166431 731017 | 2147483647 133841 45 | 0.000 % |
1244.99/1245.39 c | 237946 | 1151 166431 731017 | 2147483647 134496 45 | 0.000 % |
1249.59/1249.98 c | 238667 | 1151 166431 731017 | 2147483647 135217 45 | 0.000 % |
1257.89/1258.30 c | 239460 | 1151 166431 731017 | 2147483647 136010 45 | 0.000 % |
1266.38/1266.76 c | 240335 | 1151 166431 731017 | 2147483647 136885 45 | 0.000 % |
1273.88/1274.22 c | 241293 | 1151 166431 731017 | 2147483647 137843 45 | 0.000 % |
1282.18/1282.53 c | 242348 | 1151 166431 731017 | 2147483647 138898 45 | 0.000 % |
1291.98/1292.34 c | 243508 | 1151 166431 731017 | 2147483647 140058 45 | 0.000 % |
1301.07/1301.46 c | 244786 | 1151 166431 731017 | 2147483647 141336 45 | 0.000 % |
1315.28/1315.69 c | 246187 | 1151 166431 731017 | 2147483647 142737 45 | 0.000 % |
1327.48/1327.89 c | 247729 | 1151 166431 731017 | 2147483647 144279 45 | 0.000 % |
1344.17/1344.53 c | 249423 | 1151 166431 731017 | 2147483647 145973 45 | 0.000 % |
1355.47/1355.88 c | 251288 | 1151 166431 731017 | 2147483647 147838 45 | 0.000 % |
1373.66/1374.07 c | 253337 | 1151 166431 731017 | 2147483647 149887 45 | 0.000 % |
1390.66/1391.07 c | 255590 | 1151 166431 731017 | 2147483647 152140 45 | 0.000 % |
1415.75/1416.17 c | 258072 | 1151 166431 731017 | 2147483647 154622 45 | 0.000 % |
1416.85/1417.25 c | 258172 | 1151 166431 731017 | 2147483647 154722 45 | 0.000 % |
1417.35/1417.73 c | 258282 | 1151 166431 731017 | 2147483647 154832 45 | 0.000 % |
1417.95/1418.30 c | 258404 | 1151 166431 731017 | 2147483647 154954 45 | 0.000 % |
1419.45/1419.80 c | 258537 | 1151 166431 731017 | 2147483647 155087 45 | 0.000 % |
1421.25/1421.62 c | 258684 | 1151 166431 731017 | 2147483647 155234 45 | 0.000 % |
1422.45/1422.87 c | 258844 | 1151 166431 731017 | 2147483647 155394 45 | 0.000 % |
1423.65/1424.04 c | 259021 | 1151 166431 731017 | 2147483647 155571 45 | 0.000 % |
1424.95/1425.30 c | 259215 | 1151 166431 731017 | 2147483647 155765 45 | 0.000 % |
1426.95/1427.32 c | 259427 | 1151 166431 731017 | 2147483647 155977 45 | 0.000 % |
1428.55/1428.91 c | 259660 | 1151 166431 731017 | 2147483647 156210 45 | 0.000 % |
1429.14/1429.52 c | 259916 | 1151 166431 731017 | 2147483647 156466 45 | 0.000 % |
1431.75/1432.15 c | 260198 | 1151 166431 731017 | 2147483647 156748 45 | 0.000 % |
1435.15/1435.59 c | 260508 | 1151 166431 731017 | 2147483647 157058 45 | 0.000 % |
1437.25/1437.64 c | 260847 | 1151 166431 731017 | 2147483647 157397 45 | 0.000 % |
1441.34/1441.78 c | 261220 | 1151 166431 731017 | 2147483647 157770 45 | 0.000 % |
1445.44/1445.82 c | 261629 | 1151 166431 731017 | 2147483647 158179 45 | 0.000 % |
1450.14/1450.59 c | 262079 | 1151 166431 731017 | 2147483647 158629 45 | 0.000 % |
1455.34/1455.79 c | 262574 | 1151 166431 731017 | 2147483647 159124 45 | 0.000 % |
1459.03/1459.42 c | 263116 | 1151 166431 731017 | 2147483647 159666 45 | 0.000 % |
1464.03/1464.45 c | 263712 | 1151 166431 731017 | 2147483647 160262 45 | 0.000 % |
1469.33/1469.74 c | 264367 | 1151 166431 731017 | 2147483647 160917 45 | 0.000 % |
1476.73/1477.17 c | 265087 | 1151 166431 731017 | 2147483647 161637 45 | 0.000 % |
1481.62/1482.05 c | 265881 | 1151 166431 731017 | 2147483647 162431 45 | 0.000 % |
1490.93/1491.36 c | 266752 | 1151 166431 731017 | 2147483647 163302 45 | 0.000 % |
1501.13/1501.59 c | 267712 | 1151 166431 731017 | 2147483647 164262 45 | 0.000 % |
1509.13/1509.57 c | 268767 | 1151 166431 731017 | 2147483647 165317 45 | 0.000 % |
1519.73/1520.14 c | 269926 | 1151 166431 731017 | 2147483647 166476 45 | 0.000 % |
1533.32/1533.71 c | 271199 | 1151 166431 731017 | 2147483647 167749 45 | 0.000 % |
1545.92/1546.31 c | 272600 | 1151 166431 731017 | 2147483647 169150 45 | 0.000 % |
1560.81/1561.25 c | 274144 | 1151 166431 731017 | 2147483647 170694 45 | 0.000 % |
1578.61/1579.08 c | 275838 | 1151 166431 731017 | 2147483647 172388 45 | 0.000 % |
1596.71/1597.10 c | 277701 | 1151 166431 731017 | 2147483647 174251 45 | 0.000 % |
1617.00/1617.44 c | 279750 | 1151 166431 731017 | 2147483647 176300 45 | 0.000 % |
1641.59/1642.02 c | 282010 | 1151 166431 731017 | 2147483647 178560 45 | 0.000 % |
1654.08/1654.58 c | 284490 | 1151 166431 731017 | 2147483647 181040 45 | 0.000 % |
1681.39/1681.80 c | 287216 | 1151 166431 731017 | 2147483647 183766 45 | 0.000 % |
1682.38/1682.85 c | 287317 | 1151 166431 731017 | 2147483647 183867 45 | 0.000 % |
1683.78/1684.20 c | 287427 | 1151 166431 731017 | 2147483647 183977 45 | 0.000 % |
1685.18/1685.60 c | 287549 | 1151 166431 731017 | 2147483647 184099 45 | 0.000 % |
1686.99/1687.43 c | 287682 | 1151 166431 731017 | 2147483647 184232 45 | 0.000 % |
1688.88/1689.31 c | 287829 | 1151 166431 731017 | 2147483647 184379 45 | 0.000 % |
1690.38/1690.89 c | 287989 | 1151 166431 731017 | 2147483647 184539 45 | 0.000 % |
1692.68/1693.18 c | 288165 | 1151 166431 731017 | 2147483647 184715 45 | 0.000 % |
1695.08/1695.56 c | 288358 | 1151 166431 731017 | 2147483647 184908 45 | 0.000 % |
1697.78/1698.27 c | 288574 | 1151 166431 731017 | 2147483647 185124 45 | 0.000 % |
1700.58/1701.07 c | 288807 | 1151 166431 731017 | 2147483647 185357 45 | 0.000 % |
1703.68/1704.11 c | 289065 | 1151 166431 731017 | 2147483647 185615 45 | 0.000 % |
1707.18/1707.65 c | 289346 | 1151 166431 731017 | 2147483647 185896 45 | 0.000 % |
1710.87/1711.30 c | 289656 | 1151 166431 731017 | 2147483647 186206 45 | 0.000 % |
1714.57/1715.01 c | 289997 | 1151 166431 731017 | 2147483647 186547 45 | 0.000 % |
1720.17/1720.64 c | 290369 | 1151 166431 731017 | 186550 160830 45 | 0.000 % |
1722.77/1723.25 c | 290778 | 1151 166431 731017 | 186550 161239 45 | 0.000 % |
1724.87/1725.37 c | 291227 | 1151 166431 731017 | 186550 161688 45 | 0.000 % |
1728.47/1728.94 c | 291722 | 1151 166431 731017 | 186550 162183 45 | 0.000 % |
1731.87/1732.31 c | 292266 | 1151 166431 731017 | 186550 162727 45 | 0.000 % |
1736.47/1736.96 c | 292862 | 1151 166431 731017 | 186550 163323 45 | 0.000 % |
1741.37/1741.82 c | 293519 | 1151 166431 731017 | 186550 163980 45 | 0.000 % |
1744.17/1744.68 c | 294240 | 1151 166431 731017 | 186550 164701 45 | 0.000 % |
1749.26/1749.76 c | 295032 | 1151 166431 731017 | 186550 165493 45 | 0.000 % |
1754.56/1755.05 c | 295903 | 1151 166431 731017 | 186550 166364 45 | 0.000 % |
1762.36/1762.84 c | 296863 | 1151 166431 731017 | 186550 167324 45 | 0.000 % |
1770.26/1770.79 c | 297917 | 1151 166431 731017 | 186550 168378 45 | 0.000 % |
1780.36/1780.86 c | 299075 | 1151 166431 731017 | 186550 169536 45 | 0.000 % |
1792.25/1792.70 c | 300349 | 1151 166431 731017 | 2147483647 170810 45 | 0.000 % |
1806.15/1806.62 c | 301749 | 1151 166431 731017 | 2147483647 172210 45 | 0.000 % |
1820.45/1820.94 c | 303289 | 1151 166431 731017 | 2147483647 173750 45 | 0.000 % |
1834.14/1834.68 c | 304984 | 1151 166431 731017 | 2147483647 175445 45 | 0.000 % |
1849.94/1850.41 c | 306849 | 1151 166431 731017 | 2147483647 177310 45 | 0.000 % |
1862.04/1862.57 c | 308898 | 1151 166431 731017 | 2147483647 179359 45 | 0.000 % |
1872.74/1873.26 c | 311152 | 1151 166431 731017 | 2147483647 181613 45 | 0.000 % |
1880.63/1881.13 c | 313631 | 1151 166431 731017 | 2147483647 184092 45 | 0.000 % |
1896.94/1897.48 c | 316358 | 1151 166431 731017 | 2147483647 186819 45 | 0.000 % |
1916.43/1916.94 c | 319359 | 1151 166431 731017 | 2147483647 189820 45 | 0.000 % |
1916.74/1917.27 c | 319459 | 1151 166431 731017 | 2147483647 189920 45 | 0.000 % |
1917.43/1917.90 c | 319570 | 1151 166431 731017 | 2147483647 190031 45 | 0.000 % |
1918.53/1919.03 c | 319692 | 1151 166431 731017 | 2147483647 190153 45 | 0.000 % |
1919.83/1920.36 c | 319825 | 1151 166431 731017 | 2147483647 190286 45 | 0.000 % |
1920.93/1921.44 c | 319973 | 1151 166431 731017 | 2147483647 190434 45 | 0.000 % |
1922.23/1922.74 c | 320133 | 1151 166431 731017 | 2147483647 190594 45 | 0.000 % |
1923.53/1924.06 c | 320309 | 1151 166431 731017 | 2147483647 190770 45 | 0.000 % |
1925.03/1925.53 c | 320507 | 1151 166431 731017 | 2147483647 190968 45 | 0.000 % |
1926.03/1926.59 c | 320720 | 1151 166431 731017 | 2147483647 191181 45 | 0.000 % |
1927.83/1928.36 c | 320953 | 1151 166431 731017 | 2147483647 191414 45 | 0.000 % |
1930.23/1930.70 c | 321209 | 1151 166431 731017 | 2147483647 191670 45 | 0.000 % |
1932.13/1932.62 c | 321492 | 1151 166431 731017 | 2147483647 191953 45 | 0.000 % |
1934.73/1935.28 c | 321801 | 1151 166431 731017 | 2147483647 192262 45 | 0.000 % |
1937.22/1937.73 c | 322140 | 1151 166431 731017 | 2147483647 192601 45 | 0.000 % |
1940.42/1940.95 c | 322512 | 1151 166431 731017 | 2147483647 192973 45 | 0.000 % |
1943.42/1943.94 c | 322922 | 1151 166431 731017 | 2147483647 193383 45 | 0.000 % |
1944.92/1945.47 c | 323373 | 1151 166431 731017 | 2147483647 193834 45 | 0.000 % |
1947.53/1948.08 c | 323869 | 1151 166431 731017 | 2147483647 194330 45 | 0.000 % |
1950.32/1950.80 c | 324412 | 1151 166431 731017 | 2147483647 194873 45 | 0.000 % |
1953.12/1953.65 c | 325008 | 1151 166431 731017 | 2147483647 195469 45 | 0.000 % |
1958.72/1959.27 c | 325663 | 1151 166431 731017 | 2147483647 196124 45 | 0.000 % |
1964.62/1965.17 c | 326383 | 1151 166431 731017 | 2147483647 196844 45 | 0.000 % |
1971.82/1972.35 c | 327177 | 1151 166431 731017 | 2147483647 197638 45 | 0.001 % |
1979.11/1979.67 c | 328048 | 1151 166431 731017 | 2147483647 198509 45 | 0.000 % |
1987.81/1988.33 c | 329008 | 1151 166431 731017 | 2147483647 199469 45 | 0.000 % |
1995.11/1995.64 c | 330064 | 1151 166431 731017 | 2147483647 200525 45 | 0.000 % |
2007.20/2007.73 c | 331222 | 1151 166431 731017 | 2147483647 201683 45 | 0.000 % |
2020.41/2020.97 c | 332496 | 1151 166431 731017 | 2147483647 202957 45 | 0.000 % |
2032.40/2032.91 c | 333896 | 1151 166431 731017 | 2147483647 204357 45 | 0.000 % |
2045.80/2046.40 c | 335438 | 1151 166431 731017 | 2147483647 205899 45 | 0.000 % |
2060.79/2061.35 c | 337133 | 1151 166431 731017 | 2147483647 207594 45 | 0.000 % |
2076.99/2077.57 c | 339003 | 1151 166431 731017 | 2147483647 209464 45 | 0.000 % |
2093.59/2094.18 c | 341053 | 1151 166431 731017 | 2147483647 211514 45 | 0.000 % |
2116.08/2116.64 c | 343306 | 1151 166431 731017 | 2147483647 213767 45 | 0.000 % |
2138.98/2139.52 c | 345785 | 1151 166431 731017 | 2147483647 216246 45 | 0.000 % |
2164.97/2165.59 c | 348510 | 1151 166431 731017 | 2147483647 218971 45 | 0.000 % |
2195.97/2196.60 c | 351507 | 1151 166431 731017 | 220463 183317 45 | 0.000 % |
2223.86/2224.49 c | 354804 | 1151 166431 731017 | 220463 186614 45 | 0.000 % |
2224.86/2225.40 c | 354904 | 1151 166431 731017 | 220463 186714 45 | 0.000 % |
2225.76/2226.35 c | 355014 | 1151 166431 731017 | 220463 186824 45 | 0.000 % |
2227.36/2227.94 c | 355135 | 1151 166431 731017 | 220463 186945 45 | 0.000 % |
2228.46/2229.02 c | 355270 | 1151 166431 731017 | 220463 187080 45 | 0.000 % |
2229.76/2230.32 c | 355419 | 1151 166431 731017 | 220463 187229 45 | 0.000 % |
2231.06/2231.65 c | 355580 | 1151 166431 731017 | 220463 187390 45 | 0.000 % |
2233.06/2233.64 c | 355757 | 1151 166431 731017 | 220463 187567 45 | 0.000 % |
2234.46/2235.04 c | 355950 | 1151 166431 731017 | 220463 187760 45 | 0.000 % |
2236.76/2237.33 c | 356162 | 1151 166431 731017 | 220463 187972 45 | 0.000 % |
2239.36/2239.99 c | 356395 | 1151 166431 731017 | 220463 188205 45 | 0.000 % |
2241.55/2242.17 c | 356652 | 1151 166431 731017 | 220463 188462 45 | 0.000 % |
2244.15/2244.75 c | 356934 | 1151 166431 731017 | 220463 188744 45 | 0.000 % |
2246.85/2247.46 c | 357243 | 1151 166431 731017 | 220463 189053 45 | 0.000 % |
2249.35/2249.97 c | 357582 | 1151 166431 731017 | 220463 189392 45 | 0.000 % |
2252.75/2253.37 c | 357954 | 1151 166431 731017 | 220463 189764 45 | 0.000 % |
2256.55/2257.13 c | 358364 | 1151 166431 731017 | 220463 190174 45 | 0.000 % |
2258.45/2259.00 c | 358813 | 1151 166431 731017 | 220463 190623 45 | 0.000 % |
2260.35/2260.94 c | 359307 | 1151 166431 731017 | 220463 191117 45 | 0.000 % |
2264.75/2265.30 c | 359849 | 1151 166431 731017 | 220463 191659 45 | 0.000 % |
2268.45/2269.02 c | 360452 | 1151 166431 731017 | 2147483647 192262 45 | 0.000 % |
2272.84/2273.44 c | 361110 | 1151 166431 731017 | 2147483647 192920 45 | 0.000 % |
2277.84/2278.42 c | 361830 | 1151 166431 731017 | 2147483647 193640 45 | 0.000 % |
2282.95/2283.52 c | 362626 | 1151 166431 731017 | 2147483647 194436 45 | 0.000 % |
2288.44/2289.07 c | 363501 | 1151 166431 731017 | 2147483647 195311 45 | 0.000 % |
2298.94/2299.56 c | 364460 | 1151 166431 731017 | 2147483647 196270 45 | 0.000 % |
2308.43/2309.06 c | 365516 | 1151 166431 731017 | 2147483647 197326 45 | 0.000 % |
2314.43/2315.05 c | 366674 | 1151 166431 731017 | 2147483647 198484 45 | 0.000 % |
2320.93/2321.57 c | 367949 | 1151 166431 731017 | 2147483647 199759 45 | 0.000 % |
2334.73/2335.37 c | 369350 | 1151 166431 731017 | 2147483647 201160 45 | 0.000 % |
2348.02/2348.69 c | 370891 | 1151 166431 731017 | 2147483647 202701 45 | 0.000 % |
2363.02/2363.70 c | 372587 | 1151 166431 731017 | 2147483647 204397 45 | 0.000 % |
2380.41/2381.07 c | 374452 | 1151 166431 731017 | 2147483647 206262 45 | 0.000 % |
2400.21/2400.88 c | 376502 | 1151 166431 731017 | 2147483647 208312 45 | 0.000 % |
2419.11/2419.72 c | 378757 | 1151 166431 731017 | 2147483647 210567 45 | 0.000 % |
2443.51/2444.13 c | 381237 | 1151 166431 731017 | 2147483647 213047 45 | 0.000 % |
2467.80/2468.41 c | 383963 | 1151 166431 731017 | 2147483647 215773 45 | 0.000 % |
2495.99/2496.66 c | 386962 | 1151 166431 731017 | 2147483647 218772 45 | 0.000 % |
2523.98/2524.60 c | 390258 | 1151 166431 731017 | 2147483647 222068 45 | 0.000 % |
2553.08/2553.76 c | 393883 | 1151 166431 731017 | 2147483647 225693 45 | 0.000 % |
2553.78/2554.45 c | 393984 | 1151 166431 731017 | 2147483647 225794 45 | 0.000 % |
2554.68/2555.33 c | 394099 | 1151 166431 731017 | 2147483647 225909 45 | 0.000 % |
2555.78/2556.41 c | 394221 | 1151 166431 731017 | 2147483647 226031 45 | 0.000 % |
2556.67/2557.37 c | 394356 | 1151 166431 731017 | 2147483647 226166 45 | 0.000 % |
2558.07/2558.74 c | 394503 | 1151 166431 731017 | 2147483647 226313 45 | 0.000 % |
2559.47/2560.15 c | 394665 | 1151 166431 731017 | 2147483647 226475 45 | 0.000 % |
2560.97/2561.64 c | 394841 | 1151 166431 731017 | 2147483647 226651 45 | 0.000 % |
2562.57/2563.21 c | 395034 | 1151 166431 731017 | 2147483647 226844 45 | 0.000 % |
2564.38/2565.08 c | 395246 | 1151 166431 731017 | 2147483647 227056 45 | 0.000 % |
2566.38/2567.08 c | 395479 | 1151 166431 731017 | 2147483647 227289 45 | 0.000 % |
2568.18/2568.85 c | 395736 | 1151 166431 731017 | 2147483647 227546 45 | 0.000 % |
2570.48/2571.19 c | 396017 | 1151 166431 731017 | 2147483647 227827 45 | 0.000 % |
2573.38/2574.01 c | 396326 | 1151 166431 731017 | 2147483647 228136 45 | 0.000 % |
2575.48/2576.14 c | 396666 | 1151 166431 731017 | 2147483647 228476 45 | 0.000 % |
2577.97/2578.67 c | 397039 | 1151 166431 731017 | 2147483647 228849 45 | 0.000 % |
2581.97/2582.61 c | 397448 | 1151 166431 731017 | 2147483647 229258 45 | 0.000 % |
2584.07/2584.74 c | 397899 | 1151 166431 731017 | 2147483647 229709 45 | 0.000 % |
2587.27/2587.94 c | 398396 | 1151 166431 731017 | 2147483647 230206 45 | 0.000 % |
2591.37/2592.02 c | 398943 | 1151 166431 731017 | 2147483647 230753 45 | 0.000 % |
2597.27/2597.98 c | 399540 | 1151 166431 731017 | 2147483647 231350 45 | 0.000 % |
2602.57/2603.25 c | 400195 | 1151 166431 731017 | 2147483647 232005 45 | 0.000 % |
2605.57/2606.23 c | 400915 | 1151 166431 731017 | 2147483647 232725 45 | 0.000 % |
2611.16/2611.88 c | 401708 | 1151 166431 731017 | 2147483647 233518 45 | 0.000 % |
2617.26/2617.99 c | 402583 | 1151 166431 731017 | 2147483647 234393 45 | 0.000 % |
2625.56/2626.28 c | 403543 | 1151 166431 731017 | 2147483647 235353 45 | 0.000 % |
2634.15/2634.82 c | 404598 | 1151 166431 731017 | 2147483647 236408 45 | 0.000 % |
2645.25/2645.93 c | 405757 | 1151 166431 731017 | 2147483647 237567 45 | 0.000 % |
2657.35/2658.06 c | 407030 | 1151 166431 731017 | 2147483647 238840 45 | 0.000 % |
2671.85/2672.59 c | 408431 | 1151 166431 731017 | 2147483647 240241 45 | 0.000 % |
2688.45/2689.16 c | 409974 | 1151 166431 731017 | 2147483647 241784 45 | 0.000 % |
2706.35/2707.10 c | 411671 | 1151 166431 731017 | 2147483647 243481 45 | 0.000 % |
2728.23/2728.90 c | 413535 | 1151 166431 731017 | 2147483647 245345 45 | 0.000 % |
2747.83/2748.56 c | 415584 | 1151 166431 731017 | 2147483647 247394 45 | 0.000 % |
2772.62/2773.31 c | 417837 | 1151 166431 731017 | 2147483647 249647 45 | 0.000 % |
2797.72/2798.45 c | 420315 | 1151 166431 731017 | 2147483647 252125 45 | 0.000 % |
2827.01/2827.76 c | 423041 | 1151 166431 731017 | 2147483647 254851 45 | 0.000 % |
2855.31/2856.09 c | 426039 | 1151 166431 731017 | 2147483647 257849 45 | 0.000 % |
2883.80/2884.56 c | 429339 | 1151 166431 731017 | 2147483647 261149 45 | 0.000 % |
2916.69/2917.43 c | 432964 | 1151 166431 731017 | 2147483647 264774 45 | 0.000 % |
2950.18/2950.97 c | 436951 | 1151 166431 731017 | 2147483647 268761 45 | 0.000 % |
2951.08/2951.86 c | 437051 | 1151 166431 731017 | 2147483647 268861 45 | 0.000 % |
2952.48/2953.24 c | 437163 | 1151 166431 731017 | 2147483647 268973 45 | 0.000 % |
2953.18/2954.00 c | 437284 | 1151 166431 731017 | 2147483647 269094 45 | 0.000 % |
2954.28/2955.02 c | 437418 | 1151 166431 731017 | 2147483647 269228 45 | 0.000 % |
2956.18/2956.98 c | 437565 | 1151 166431 731017 | 2147483647 269375 45 | 0.000 % |
2957.88/2958.62 c | 437725 | 1151 166431 731017 | 2147483647 269535 45 | 0.000 % |
2960.08/2960.82 c | 437905 | 1151 166431 731017 | 2147483647 269715 45 | 0.000 % |
2962.98/2963.78 c | 438099 | 1151 166431 731017 | 2147483647 269909 45 | 0.000 % |
2965.27/2966.02 c | 438311 | 1151 166431 731017 | 2147483647 270121 45 | 0.000 % |
2967.68/2968.45 c | 438544 | 1151 166431 731017 | 2147483647 270354 45 | 0.000 % |
2970.88/2971.66 c | 438801 | 1151 166431 731017 | 2147483647 270611 45 | 0.000 % |
2974.58/2975.30 c | 439085 | 1151 166431 731017 | 2147483647 270895 45 | 0.000 % |
2977.58/2978.34 c | 439396 | 1151 166431 731017 | 2147483647 271206 45 | 0.000 % |
2982.08/2982.80 c | 439736 | 1151 166431 731017 | 2147483647 271546 45 | 0.000 % |
2986.28/2987.04 c | 440109 | 1151 166431 731017 | 271811 271919 45 | 0.000 % |
2992.28/2993.08 c | 440518 | 1151 166431 731017 | 271811 240336 44 | 0.000 % |
2998.17/2998.92 c | 440968 | 1151 166431 731017 | 271811 240786 44 | 0.000 % |
3004.48/3005.26 c | 441462 | 1151 166431 731017 | 271811 241280 44 | 0.000 % |
3009.77/3010.57 c | 442009 | 1151 166431 731017 | 271811 241827 44 | 0.000 % |
3016.47/3017.22 c | 442605 | 1151 166431 731017 | 271811 242423 44 | 0.000 % |
3024.77/3025.56 c | 443260 | 1151 166431 731017 | 271811 243078 44 | 0.000 % |
3029.67/3030.50 c | 443981 | 1151 166431 731017 | 271811 243799 44 | 0.000 % |
3040.16/3040.95 c | 444774 | 1151 166431 731017 | 271811 244592 45 | 0.000 % |
3051.66/3052.45 c | 445645 | 1151 166431 731017 | 271811 245463 45 | 0.000 % |
3063.86/3064.61 c | 446603 | 1151 166431 731017 | 271811 246421 45 | 0.000 % |
3076.65/3077.46 c | 447657 | 1151 166431 731017 | 271811 247475 45 | 0.000 % |
3092.45/3093.23 c | 448815 | 1151 166431 731017 | 271811 248633 45 | 0.000 % |
3112.04/3112.83 c | 450089 | 1151 166431 731017 | 249818 249907 45 | 0.000 % |
3129.44/3130.21 c | 451491 | 1151 166431 731017 | 249818 187482 44 | 0.000 % |
3152.84/3153.61 c | 453031 | 1151 166431 731017 | 249818 189022 44 | 0.000 % |
3170.73/3171.53 c | 454726 | 1151 166431 731017 | 249818 190717 44 | 0.000 % |
3194.32/3195.15 c | 456590 | 1151 166431 731017 | 249818 192581 44 | 0.000 % |
3215.52/3216.37 c | 458639 | 1151 166431 731017 | 249818 194630 44 | 0.000 % |
3236.91/3237.79 c | 460894 | 1151 166431 731017 | 195991 177277 44 | 0.000 % |
3260.10/3260.90 c | 463373 | 1151 166431 731017 | 195991 179756 44 | 0.000 % |
3297.40/3298.22 c | 466101 | 1151 166431 731017 | 195991 182484 44 | 0.000 % |
3327.50/3328.35 c | 469101 | 1151 166431 731017 | 195991 185484 44 | 0.000 % |
3366.89/3367.72 c | 472397 | 1151 166431 731017 | 2147483647 188780 44 | 0.000 % |
3412.48/3413.36 c | 476022 | 1151 166431 731017 | 2147483647 192405 44 | 0.000 % |
3456.47/3457.38 c | 480010 | 1151 166431 731017 | 196383 196393 44 | 0.000 % |
3513.55/3514.48 c | 484396 | 1151 166431 731017 | 196383 177262 44 | 0.000 % |
3515.15/3516.08 c | 484499 | 1151 166431 731017 | 196383 177365 44 | 0.000 % |
3517.05/3518.00 c | 484609 | 1151 166431 731017 | 196383 177475 44 | 0.000 % |
3519.05/3519.95 c | 484733 | 1151 166431 731017 | 196383 177599 44 | 0.000 % |
3520.75/3521.62 c | 484866 | 1151 166431 731017 | 196383 177732 44 | 0.000 % |
3522.45/3523.36 c | 485012 | 1151 166431 731017 | 196383 177878 44 | 0.000 % |
3524.55/3525.43 c | 485173 | 1151 166431 731017 | 196383 178039 44 | 0.000 % |
3526.64/3527.56 c | 485349 | 1151 166431 731017 | 196383 178215 44 | 0.000 % |
3528.54/3529.45 c | 485544 | 1151 166431 731017 | 196383 178410 44 | 0.000 % |
3531.25/3532.12 c | 485760 | 1151 166431 731017 | 196383 178626 44 | 0.000 % |
3534.04/3534.98 c | 485993 | 1151 166431 731017 | 196383 178859 44 | 0.000 % |
3536.54/3537.40 c | 486251 | 1151 166431 731017 | 196383 179117 44 | 0.000 % |
3539.84/3540.72 c | 486533 | 1151 166431 731017 | 196383 179399 44 | 0.000 % |
3541.64/3542.57 c | 486843 | 1151 166431 731017 | 196383 179709 44 | 0.000 % |
3543.84/3544.79 c | 487182 | 1151 166431 731017 | 196383 180048 44 | 0.000 % |
3546.94/3547.87 c | 487554 | 1151 166431 731017 | 196383 180420 44 | 0.000 % |
3552.04/3553.00 c | 487965 | 1151 166431 731017 | 196383 180831 44 | 0.000 % |
3556.84/3557.74 c | 488415 | 1151 166431 731017 | 196383 181281 44 | 0.000 % |
3560.05/3560.96 c | 488911 | 1151 166431 731017 | 196383 181777 44 | 0.000 % |
3566.24/3567.20 c | 489453 | 1151 166431 731017 | 196383 182319 44 | 0.000 % |
3573.74/3574.62 c | 490050 | 1151 166431 731017 | 182867 182916 44 | 0.000 % |
3582.14/3583.03 c | 490707 | 1151 166431 731017 | 182867 152604 44 | 0.000 % |
3589.94/3590.80 c | 491429 | 1151 166431 731017 | 182867 153326 44 | 0.000 % |
3592.34/3593.28 c | 492221 | 1151 166431 731017 | 182867 154118 44 | 0.000 % |
3600.44/3601.40 c | 493093 | 1151 166431 731017 | 182867 154990 44 | 0.000 % |
3608.03/3608.99 c | 494051 | 1151 166431 731017 | 182867 155948 44 | 0.000 % |
3617.53/3618.48 c | 495109 | 1151 166431 731017 | 182867 157006 44 | 0.000 % |
3626.63/3627.55 c | 496271 | 1151 166431 731017 | 182867 158168 44 | 0.000 % |
3638.33/3639.27 c | 497547 | 1151 166431 731017 | 182867 159444 44 | 0.000 % |
3652.13/3653.04 c | 498948 | 1151 166431 731017 | 182867 160845 44 | 0.000 % |
3665.22/3666.12 c | 500489 | 1151 166431 731017 | 2147483647 162386 44 | 0.000 % |
3682.11/3683.03 c | 502183 | 1151 166431 731017 | 2147483647 164080 44 | 0.000 % |
3699.61/3700.57 c | 504052 | 1151 166431 731017 | 2147483647 165949 44 | 0.000 % |
3720.00/3720.93 c | 506103 | 1151 166431 731017 | 2147483647 168000 44 | 0.000 % |
3734.80/3735.75 c | 508357 | 1151 166431 731017 | 2147483647 170254 44 | 0.000 % |
3747.90/3748.85 c | 510835 | 1151 166431 731017 | 2147483647 172732 44 | 0.000 % |
3769.59/3770.50 c | 513560 | 1151 166431 731017 | 2147483647 175457 44 | 0.000 % |
3787.28/3788.27 c | 516558 | 1151 166431 731017 | 2147483647 178455 44 | 0.000 % |
3812.58/3813.54 c | 519855 | 1151 166431 731017 | 2147483647 181752 44 | 0.000 % |
3845.17/3846.18 c | 523481 | 1151 166431 731017 | 2147483647 185378 44 | 0.000 % |
3874.86/3875.89 c | 527469 | 1151 166431 731017 | 2147483647 189366 44 | 0.000 % |
3901.86/3902.83 c | 531854 | 1151 166431 731017 | 2147483647 193751 44 | 0.000 % |
3937.95/3938.97 c | 536679 | 1151 166431 731017 | 2147483647 198576 44 | 0.000 % |
3938.75/3939.75 c | 536779 | 1151 166431 731017 | 2147483647 198676 44 | 0.000 % |
3939.65/3940.66 c | 536890 | 1151 166431 731017 | 2147483647 198787 44 | 0.000 % |
3940.85/3941.82 c | 537012 | 1151 166431 731017 | 2147483647 198909 44 | 0.000 % |
3941.65/3942.65 c | 537147 | 1151 166431 731017 | 2147483647 199044 44 | 0.000 % |
3942.35/3943.34 c | 537293 | 1151 166431 731017 | 2147483647 199190 44 | 0.000 % |
3944.45/3945.45 c | 537453 | 1151 166431 731017 | 2147483647 199350 44 | 0.000 % |
3946.15/3947.16 c | 537630 | 1151 166431 731017 | 2147483647 199527 44 | 0.000 % |
3948.75/3949.78 c | 537825 | 1151 166431 731017 | 2147483647 199722 44 | 0.000 % |
3951.85/3952.86 c | 538037 | 1151 166431 731017 | 2147483647 199934 44 | 0.000 % |
3953.45/3954.44 c | 538271 | 1151 166431 731017 | 2147483647 200168 44 | 0.000 % |
3955.75/3956.77 c | 538528 | 1151 166431 731017 | 2147483647 200425 44 | 0.000 % |
3959.85/3960.81 c | 538809 | 1151 166431 731017 | 2147483647 200706 45 | 0.000 % |
3964.35/3965.38 c | 539118 | 1151 166431 731017 | 2147483647 201015 45 | 0.000 % |
3967.95/3969.00 c | 539457 | 1151 166431 731017 | 2147483647 201354 45 | 0.000 % |
3971.54/3972.57 c | 539829 | 1151 166431 731017 | 2147483647 201726 45 | 0.000 % |
3977.44/3978.46 c | 540238 | 1151 166431 731017 | 201897 163215 45 | 0.000 % |
3979.24/3980.26 c | 540695 | 1151 166431 731017 | 201897 163672 45 | 0.000 % |
3981.44/3982.48 c | 541188 | 1151 166431 731017 | 201897 164165 45 | 0.000 % |
3983.34/3984.37 c | 541730 | 1151 166431 731017 | 201897 164707 45 | 0.000 % |
3986.44/3987.50 c | 542328 | 1151 166431 731017 | 201897 165305 45 | 0.000 % |
3990.33/3991.30 c | 542985 | 1151 166431 731017 | 201897 165962 45 | 0.000 % |
3995.03/3996.06 c | 543706 | 1151 166431 731017 | 201897 166683 45 | 0.000 % |
3999.53/4000.58 c | 544498 | 1151 166431 731017 | 201897 167475 45 | 0.000 % |
4006.23/4007.25 c | 545369 | 1151 166431 731017 | 201897 168346 45 | 0.000 % |
4012.93/4013.96 c | 546328 | 1151 166431 731017 | 201897 169305 45 | 0.000 % |
4020.13/4021.16 c | 547384 | 1151 166431 731017 | 201897 170361 45 | 0.000 % |
4026.73/4027.72 c | 548543 | 1151 166431 731017 | 201897 171520 45 | 0.000 % |
4034.13/4035.16 c | 549816 | 1151 166431 731017 | 201897 172793 45 | 0.000 % |
4044.42/4045.49 c | 551216 | 1151 166431 731017 | 172978 151433 45 | 0.000 % |
4050.52/4051.50 c | 552757 | 1151 166431 731017 | 172978 152974 45 | 0.000 % |
4061.42/4062.45 c | 554451 | 1151 166431 731017 | 172978 154668 45 | 0.000 % |
4070.61/4071.60 c | 556315 | 1151 166431 731017 | 172978 156532 45 | 0.000 % |
4082.91/4083.97 c | 558365 | 1151 166431 731017 | 172978 158582 45 | 0.000 % |
4098.31/4099.30 c | 560619 | 1151 166431 731017 | 160218 140980 46 | 0.000 % |
4107.90/4108.94 c | 563097 | 1151 166431 731017 | 160218 143458 46 | 0.000 % |
4120.71/4121.76 c | 565825 | 1151 166431 731017 | 160218 146186 46 | 0.000 % |
4133.90/4134.92 c | 568824 | 1151 166431 731017 | 160218 149185 46 | 0.000 % |
4143.30/4144.37 c | 572121 | 1151 166431 731017 | 2147483647 152482 46 | 0.000 % |
4153.50/4154.52 c | 575746 | 1151 166431 731017 | 2147483647 156107 46 | 0.000 % |
4172.00/4173.04 c | 579734 | 1151 166431 731017 | 2147483647 160095 46 | 0.000 % |
4195.19/4196.29 c | 584119 | 1151 166431 731017 | 2147483647 164480 46 | 0.000 % |
4212.19/4213.22 c | 588942 | 1151 166431 731017 | 2147483647 169303 46 | 0.000 % |
4232.89/4233.93 c | 594247 | 1151 166431 731017 | 2147483647 174608 46 | 0.000 % |
4233.48/4234.57 c | 594347 | 1151 166431 731017 | 2147483647 174708 46 | 0.000 % |
4233.89/4234.91 c | 594457 | 1151 166431 731017 | 2147483647 174818 46 | 0.000 % |
4234.68/4235.76 c | 594580 | 1151 166431 731017 | 2147483647 174941 46 | 0.000 % |
4235.58/4236.60 c | 594713 | 1151 166431 731017 | 2147483647 175074 46 | 0.000 % |
4236.38/4237.40 c | 594860 | 1151 166431 731017 | 2147483647 175221 46 | 0.000 % |
4237.29/4238.32 c | 595022 | 1151 166431 731017 | 2147483647 175383 46 | 0.000 % |
4238.39/4239.47 c | 595199 | 1151 166431 731017 | 2147483647 175560 46 | 0.000 % |
4239.48/4240.53 c | 595393 | 1151 166431 731017 | 2147483647 175754 46 | 0.000 % |
4240.68/4241.78 c | 595606 | 1151 166431 731017 | 2147483647 175967 46 | 0.000 % |
4241.98/4243.05 c | 595839 | 1151 166431 731017 | 2147483647 176200 46 | 0.000 % |
4243.88/4244.97 c | 596096 | 1151 166431 731017 | 2147483647 176457 46 | 0.000 % |
4245.68/4246.76 c | 596377 | 1151 166431 731017 | 2147483647 176738 46 | 0.000 % |
4247.08/4248.20 c | 596687 | 1151 166431 731017 | 2147483647 177048 46 | 0.000 % |
4249.48/4250.57 c | 597026 | 1151 166431 731017 | 2147483647 177387 46 | 0.000 % |
4252.28/4253.35 c | 597398 | 1151 166431 731017 | 2147483647 177759 46 | 0.000 % |
4254.88/4255.92 c | 597808 | 1151 166431 731017 | 2147483647 178169 46 | 0.000 % |
4257.87/4258.95 c | 598257 | 1151 166431 731017 | 2147483647 178618 46 | 0.000 % |
4260.57/4261.67 c | 598750 | 1151 166431 731017 | 2147483647 179111 46 | 0.000 % |
4264.07/4265.13 c | 599293 | 1151 166431 731017 | 2147483647 179654 46 | 0.000 % |
4267.47/4268.54 c | 599889 | 1151 166431 731017 | 2147483647 180250 46 | 0.000 % |
4271.07/4272.19 c | 600546 | 1151 166431 731017 | 2147483647 180907 46 | 0.000 % |
4274.87/4275.94 c | 601266 | 1151 166431 731017 | 2147483647 181627 46 | 0.000 % |
4280.57/4281.63 c | 602059 | 1151 166431 731017 | 2147483647 182420 46 | 0.000 % |
4285.07/4286.18 c | 602930 | 1151 166431 731017 | 2147483647 183291 46 | 0.000 % |
4291.67/4292.73 c | 603889 | 1151 166431 731017 | 2147483647 184250 46 | 0.000 % |
4297.27/4298.31 c | 604943 | 1151 166431 731017 | 2147483647 185304 46 | 0.000 % |
4304.27/4305.39 c | 606102 | 1151 166431 731017 | 2147483647 186463 46 | 0.000 % |
4312.76/4313.81 c | 607375 | 1151 166431 731017 | 2147483647 187736 46 | 0.000 % |
4321.06/4322.18 c | 608775 | 1151 166431 731017 | 2147483647 189136 46 | 0.000 % |
4330.35/4331.41 c | 610315 | 1151 166431 731017 | 2147483647 190676 46 | 0.000 % |
4341.25/4342.32 c | 612009 | 1151 166431 731017 | 2147483647 192370 46 | 0.000 % |
4349.75/4350.88 c | 613873 | 1151 166431 731017 | 2147483647 194234 46 | 0.000 % |
4356.05/4357.16 c | 615926 | 1151 166431 731017 | 2147483647 196287 46 | 0.000 % |
4363.54/4364.66 c | 618179 | 1151 166431 731017 | 2147483647 198540 46 | 0.000 % |
4370.54/4371.63 c | 620657 | 1151 166431 731017 | 2147483647 201018 46 | 0.000 % |
4385.74/4386.80 c | 623382 | 1151 166431 731017 | 2147483647 203743 46 | 0.000 % |
4399.23/4400.30 c | 626380 | 1151 166431 731017 | 2147483647 206741 46 | 0.000 % |
4419.03/4420.14 c | 629676 | 1151 166431 731017 | 2147483647 210037 46 | 0.000 % |
4432.93/4434.03 c | 633302 | 1151 166431 731017 | 2147483647 213663 46 | 0.000 % |
4456.12/4457.27 c | 637291 | 1151 166431 731017 | 2147483647 217652 46 | 0.000 % |
4488.51/4489.61 c | 641677 | 1151 166431 731017 | 2147483647 222038 46 | 0.000 % |
4524.41/4525.60 c | 646501 | 1151 166431 731017 | 2147483647 226862 46 | 0.000 % |
4565.70/4566.86 c | 651809 | 1151 166431 731017 | 2147483647 232170 46 | 0.000 % |
4603.78/4604.98 c | 657645 | 1151 166431 731017 | 2147483647 238006 46 | 0.000 % |
4604.49/4605.68 c | 657748 | 1151 166431 731017 | 2147483647 238109 46 | 0.000 % |
4605.38/4606.55 c | 657858 | 1151 166431 731017 | 2147483647 238219 46 | 0.000 % |
4606.08/4607.23 c | 657979 | 1151 166431 731017 | 2147483647 238340 46 | 0.000 % |
4606.79/4607.91 c | 658112 | 1151 166431 731017 | 2147483647 238473 46 | 0.000 % |
4607.18/4608.39 c | 658258 | 1151 166431 731017 | 2147483647 238619 46 | 0.000 % |
4607.68/4608.86 c | 658418 | 1151 166431 731017 | 2147483647 238779 46 | 0.000 % |
4608.38/4609.59 c | 658595 | 1151 166431 731017 | 2147483647 238956 46 | 0.000 % |
4609.99/4611.10 c | 658792 | 1151 166431 731017 | 2147483647 239153 46 | 0.000 % |
4611.38/4612.54 c | 659005 | 1151 166431 731017 | 2147483647 239366 46 | 0.000 % |
4612.98/4614.16 c | 659238 | 1151 166431 731017 | 2147483647 239599 46 | 0.000 % |
4615.18/4616.32 c | 659497 | 1151 166431 731017 | 2147483647 239858 46 | 0.000 % |
4616.88/4618.06 c | 659780 | 1151 166431 731017 | 2147483647 240141 46 | 0.000 % |
4619.08/4620.26 c | 660089 | 1151 166431 731017 | 2147483647 240450 46 | 0.000 % |
4621.88/4623.01 c | 660429 | 1151 166431 731017 | 2147483647 240790 46 | 0.000 % |
4624.28/4625.49 c | 660802 | 1151 166431 731017 | 2147483647 241163 46 | 0.000 % |
4626.08/4627.28 c | 661211 | 1151 166431 731017 | 2147483647 241572 46 | 0.000 % |
4628.08/4629.24 c | 661660 | 1151 166431 731017 | 2147483647 242021 46 | 0.000 % |
4629.98/4631.19 c | 662159 | 1151 166431 731017 | 2147483647 242520 46 | 0.000 % |
4632.18/4633.34 c | 662703 | 1151 166431 731017 | 2147483647 243064 46 | 0.000 % |
4634.18/4635.38 c | 663301 | 1151 166431 731017 | 2147483647 243662 46 | 0.000 % |
4637.48/4638.62 c | 663956 | 1151 166431 731017 | 2147483647 244317 46 | 0.000 % |
4640.88/4642.04 c | 664677 | 1151 166431 731017 | 2147483647 245038 46 | 0.000 % |
4645.67/4646.83 c | 665469 | 1151 166431 731017 | 2147483647 245830 46 | 0.000 % |
4649.37/4650.53 c | 666340 | 1151 166431 731017 | 2147483647 246701 46 | 0.000 % |
4652.67/4653.89 c | 667298 | 1151 166431 731017 | 2147483647 247659 46 | 0.000 % |
4656.27/4657.45 c | 668354 | 1151 166431 731017 | 2147483647 248715 46 | 0.000 % |
4660.77/4661.98 c | 669513 | 1151 166431 731017 | 2147483647 249874 46 | 0.000 % |
4668.58/4669.78 c | 670787 | 1151 166431 731017 | 2147483647 251148 46 | 0.000 % |
4673.78/4674.98 c | 672187 | 1151 166431 731017 | 2147483647 252548 46 | 0.000 % |
4683.37/4684.57 c | 673730 | 1151 166431 731017 | 2147483647 254091 46 | 0.000 % |
4694.17/4695.35 c | 675425 | 1151 166431 731017 | 2147483647 255786 46 | 0.000 % |
4706.07/4707.28 c | 677288 | 1151 166431 731017 | 2147483647 257649 46 | 0.000 % |
4717.87/4719.02 c | 679337 | 1151 166431 731017 | 2147483647 259698 46 | 0.000 % |
4728.66/4729.82 c | 681592 | 1151 166431 731017 | 260366 217661 46 | 0.000 % |
4744.65/4745.86 c | 684071 | 1151 166431 731017 | 260366 220140 46 | 0.000 % |
4761.65/4762.81 c | 686796 | 1151 166431 731017 | 260366 222865 46 | 0.000 % |
4775.55/4776.74 c | 689793 | 1151 166431 731017 | 260366 225862 46 | 0.000 % |
4791.04/4792.21 c | 693090 | 1151 166431 731017 | 2147483647 229159 46 | 0.000 % |
4809.24/4810.45 c | 696715 | 1151 166431 731017 | 2147483647 232784 46 | 0.000 % |
4823.23/4824.47 c | 700704 | 1151 166431 731017 | 2147483647 236773 46 | 0.000 % |
4837.83/4839.01 c | 705092 | 1151 166431 731017 | 2147483647 241161 46 | 0.000 % |
4868.32/4869.52 c | 709915 | 1151 166431 731017 | 2147483647 245984 46 | 0.000 % |
4899.22/4900.45 c | 715220 | 1151 166431 731017 | 2147483647 251289 46 | 0.000 % |
4926.31/4927.55 c | 721058 | 1151 166431 731017 | 2147483647 257127 46 | 0.000 % |
4943.31/4944.53 c | 727480 | 1151 166431 731017 | 2147483647 263549 46 | 0.000 % |
4943.61/4944.87 c | 727581 | 1151 166431 731017 | 2147483647 263650 46 | 0.000 % |
4945.01/4946.22 c | 727692 | 1151 166431 731017 | 2147483647 263761 46 | 0.000 % |
4945.41/4946.63 c | 727818 | 1151 166431 731017 | 2147483647 263887 46 | 0.000 % |
4946.80/4948.01 c | 727952 | 1151 166431 731017 | 2147483647 264021 46 | 0.000 % |
4947.40/4948.69 c | 728101 | 1151 166431 731017 | 2147483647 264170 46 | 0.000 % |
4949.70/4951.00 c | 728262 | 1151 166431 731017 | 2147483647 264331 46 | 0.000 % |
4951.01/4952.25 c | 728439 | 1151 166431 731017 | 2147483647 264508 46 | 0.000 % |
4952.30/4953.56 c | 728633 | 1151 166431 731017 | 2147483647 264702 46 | 0.000 % |
4954.80/4956.07 c | 728845 | 1151 166431 731017 | 2147483647 264914 46 | 0.000 % |
4956.90/4958.19 c | 729079 | 1151 166431 731017 | 2147483647 265148 46 | 0.000 % |
4959.40/4960.62 c | 729335 | 1151 166431 731017 | 2147483647 265404 46 | 0.000 % |
4962.20/4963.41 c | 729616 | 1151 166431 731017 | 2147483647 265685 46 | 0.000 % |
4964.10/4965.33 c | 729926 | 1151 166431 731017 | 2147483647 265995 46 | 0.000 % |
4965.20/4966.49 c | 730265 | 1151 166431 731017 | 2147483647 266334 46 | 0.000 % |
4969.20/4970.47 c | 730637 | 1151 166431 731017 | 2147483647 266706 46 | 0.000 % |
4972.29/4973.52 c | 731046 | 1151 166431 731017 | 2147483647 267115 46 | 0.000 % |
4973.79/4975.09 c | 731495 | 1151 166431 731017 | 2147483647 267564 46 | 0.000 % |
4978.19/4979.42 c | 731989 | 1151 166431 731017 | 2147483647 268058 46 | 0.000 % |
4981.20/4982.45 c | 732531 | 1151 166431 731017 | 2147483647 268600 46 | 0.000 % |
4987.00/4988.25 c | 733129 | 1151 166431 731017 | 2147483647 269198 46 | 0.000 % |
4993.80/4995.07 c | 733785 | 1151 166431 731017 | 2147483647 269854 46 | 0.000 % |
5000.40/5001.65 c | 734507 | 1151 166431 731017 | 2147483647 270576 47 | 0.000 % |
5003.79/5005.08 c | 735299 | 1151 166431 731017 | 2147483647 271368 47 | 0.000 % |
5006.59/5007.82 c | 736171 | 1151 166431 731017 | 2147483647 272240 47 | 0.000 % |
5012.68/5013.90 c | 737131 | 1151 166431 731017 | 2147483647 273200 47 | 0.000 % |
5017.68/5018.94 c | 738186 | 1151 166431 731017 | 2147483647 274255 47 | 0.000 % |
5021.18/5022.48 c | 739347 | 1151 166431 731017 | 2147483647 275416 47 | 0.000 % |
5029.97/5031.24 c | 740622 | 1151 166431 731017 | 2147483647 276691 47 | 0.000 % |
5034.98/5036.24 c | 742022 | 1151 166431 731017 | 2147483647 278091 47 | 0.000 % |
5042.77/5044.06 c | 743562 | 1151 166431 731017 | 2147483647 279631 47 | 0.000 % |
5048.47/5049.72 c | 745257 | 1151 166431 731017 | 2147483647 281326 47 | 0.000 % |
5053.37/5054.69 c | 747121 | 1151 166431 731017 | 2147483647 283190 47 | 0.000 % |
5058.87/5060.16 c | 749173 | 1151 166431 731017 | 2147483647 285242 47 | 0.000 % |
5066.07/5067.34 c | 751426 | 1151 166431 731017 | 2147483647 287495 47 | 0.000 % |
5073.77/5075.04 c | 753904 | 1151 166431 731017 | 2147483647 289973 47 | 0.000 % |
5082.16/5083.48 c | 756629 | 1151 166431 731017 | 2147483647 292698 47 | 0.000 % |
5093.56/5094.89 c | 759628 | 1151 166431 731017 | 2147483647 295697 47 | 0.000 % |
5136.05/5137.32 c | 762925 | 1151 166431 731017 | 2147483647 298994 47 | 0.000 % |
5178.24/5179.56 c | 766550 | 1151 166431 731017 | 2147483647 302619 47 | 0.000 % |
5221.83/5223.16 c | 770540 | 1151 166431 731017 | 306073 224041 47 | 0.000 % |
5234.73/5236.08 c | 774927 | 1151 166431 731017 | 306073 228428 47 | 0.000 % |
5249.83/5251.11 c | 779751 | 1151 166431 731017 | 306073 233252 47 | 0.000 % |
5267.03/5268.30 c | 785056 | 1151 166431 731017 | 2147483647 238557 47 | 0.000 % |
5330.11/5331.40 c | 790891 | 1151 166431 731017 | 2147483647 244392 47 | 0.000 % |
5385.69/5387.02 c | 797310 | 1151 166431 731017 | 2147483647 250811 47 | 0.000 % |
5462.08/5463.44 c | 804369 | 1151 166431 731017 | 2147483647 257870 47 | 0.000 % |
5462.38/5463.77 c | 804470 | 1151 166431 731017 | 2147483647 257971 47 | 0.000 % |
5463.97/5465.34 c | 804581 | 1151 166431 731017 | 2147483647 258082 47 | 0.000 % |
5465.58/5466.95 c | 804702 | 1151 166431 731017 | 2147483647 258203 47 | 0.000 % |
5467.37/5468.79 c | 804837 | 1151 166431 731017 | 2147483647 258338 47 | 0.000 % |
5469.37/5470.80 c | 804986 | 1151 166431 731017 | 2147483647 258487 47 | 0.000 % |
5471.67/5473.01 c | 805149 | 1151 166431 731017 | 2147483647 258650 47 | 0.000 % |
5474.17/5475.52 c | 805329 | 1151 166431 731017 | 2147483647 258830 47 | 0.000 % |
5476.17/5477.56 c | 805522 | 1151 166431 731017 | 2147483647 259023 47 | 0.000 % |
5477.47/5478.89 c | 805734 | 1151 166431 731017 | 2147483647 259235 47 | 0.000 % |
5480.47/5481.86 c | 805967 | 1151 166431 731017 | 2147483647 259468 47 | 0.000 % |
5483.27/5484.65 c | 806225 | 1151 166431 731017 | 2147483647 259726 47 | 0.000 % |
5487.37/5488.71 c | 806508 | 1151 166431 731017 | 2147483647 260009 47 | 0.000 % |
5491.47/5492.86 c | 806817 | 1151 166431 731017 | 2147483647 260318 47 | 0.000 % |
5496.16/5497.60 c | 807156 | 1151 166431 731017 | 2147483647 260657 47 | 0.000 % |
5500.46/5501.87 c | 807529 | 1151 166431 731017 | 2147483647 261030 47 | 0.000 % |
5505.17/5506.55 c | 807938 | 1151 166431 731017 | 2147483647 261439 47 | 0.000 % |
5511.16/5512.55 c | 808387 | 1151 166431 731017 | 2147483647 261888 47 | 0.000 % |
5515.46/5516.85 c | 808880 | 1151 166431 731017 | 2147483647 262381 47 | 0.000 % |
5521.56/5522.99 c | 809422 | 1151 166431 731017 | 2147483647 262923 47 | 0.000 % |
5528.17/5529.55 c | 810018 | 1151 166431 731017 | 263502 263519 47 | 0.000 % |
5537.66/5539.05 c | 810673 | 1151 166431 731017 | 263502 222795 47 | 0.000 % |
5541.86/5543.21 c | 811396 | 1151 166431 731017 | 263502 223518 47 | 0.000 % |
5549.46/5550.80 c | 812189 | 1151 166431 731017 | 263502 224311 47 | 0.000 % |
5557.16/5558.56 c | 813063 | 1151 166431 731017 | 263502 225185 47 | 0.000 % |
5564.25/5565.65 c | 814023 | 1151 166431 731017 | 263502 226145 47 | 0.000 % |
5575.45/5576.85 c | 815077 | 1151 166431 731017 | 263502 227199 47 | 0.000 % |
5588.05/5589.48 c | 816237 | 1151 166431 731017 | 263502 228359 47 | 0.000 % |
5602.94/5604.31 c | 817512 | 1151 166431 731017 | 263502 229634 47 | 0.000 % |
5618.44/5619.82 c | 818912 | 1151 166431 731017 | 263502 231034 47 | 0.000 % |
5635.84/5637.26 c | 820452 | 1151 166431 731017 | 232122 209077 47 | 0.000 % |
5649.93/5651.34 c | 822147 | 1151 166431 731017 | 232122 210772 47 | 0.000 % |
5669.43/5670.86 c | 824010 | 1151 166431 731017 | 232122 212635 47 | 0.000 % |
5695.82/5697.24 c | 826062 | 1151 166431 731017 | 232122 214687 47 | 0.000 % |
5720.72/5722.17 c | 828315 | 1151 166431 731017 | 232122 216940 47 | 0.000 % |
5752.91/5754.37 c | 830793 | 1151 166431 731017 | 218625 173252 47 | 0.000 % |
5775.10/5776.56 c | 833520 | 1151 166431 731017 | 218625 175979 47 | 0.000 % |
5801.49/5802.97 c | 836517 | 1151 166431 731017 | 218625 178976 47 | 0.000 % |
5827.29/5828.75 c | 839813 | 1151 166431 731017 | 218625 182272 47 | 0.000 % |
5858.19/5859.67 c | 843439 | 1151 166431 731017 | 2147483647 185898 47 | 0.000 % |
5887.68/5889.16 c | 847426 | 1151 166431 731017 | 2147483647 189885 47 | 0.000 % |
5916.87/5918.39 c | 851814 | 1151 166431 731017 | 2147483647 194273 47 | 0.000 % |
5951.77/5953.25 c | 856637 | 1151 166431 731017 | 2147483647 199096 47 | 0.000 % |
5997.45/5998.92 c | 861942 | 1151 166431 731017 | 2147483647 204401 47 | 0.000 % |
6048.04/6049.59 c | 867780 | 1151 166431 731017 | 2147483647 210239 47 | 0.000 % |
6101.63/6103.19 c | 874200 | 1151 166431 731017 | 2147483647 216659 47 | 0.000 % |
6152.21/6153.79 c | 881260 | 1151 166431 731017 | 2147483647 223719 47 | 0.000 % |
6214.90/6216.46 c | 889027 | 1151 166431 731017 | 2147483647 231486 47 | 0.000 % |
6215.70/6217.26 c | 889128 | 1151 166431 731017 | 2147483647 231587 47 | 0.000 % |
6216.60/6218.14 c | 889238 | 1151 166431 731017 | 2147483647 231697 47 | 0.000 % |
6217.60/6219.10 c | 889359 | 1151 166431 731017 | 2147483647 231818 47 | 0.000 % |
6218.60/6220.12 c | 889492 | 1151 166431 731017 | 2147483647 231951 47 | 0.000 % |
6220.00/6221.51 c | 889638 | 1151 166431 731017 | 2147483647 232097 47 | 0.000 % |
6221.20/6222.77 c | 889800 | 1151 166431 731017 | 2147483647 232259 47 | 0.000 % |
6222.80/6224.36 c | 889979 | 1151 166431 731017 | 2147483647 232438 47 | 0.000 % |
6224.40/6225.94 c | 890173 | 1151 166431 731017 | 2147483647 232632 47 | 0.000 % |
6226.10/6227.69 c | 890387 | 1151 166431 731017 | 2147483647 232846 47 | 0.000 % |
6227.81/6229.32 c | 890622 | 1151 166431 731017 | 2147483647 233081 47 | 0.000 % |
6229.91/6231.49 c | 890878 | 1151 166431 731017 | 2147483647 233337 47 | 0.000 % |
6232.00/6233.51 c | 891159 | 1151 166431 731017 | 2147483647 233618 47 | 0.000 % |
6234.41/6235.98 c | 891468 | 1151 166431 731017 | 2147483647 233927 47 | 0.000 % |
6237.10/6238.64 c | 891808 | 1151 166431 731017 | 2147483647 234267 47 | 0.000 % |
6240.20/6241.76 c | 892180 | 1151 166431 731017 | 2147483647 234639 47 | 0.000 % |
6243.80/6245.35 c | 892590 | 1151 166431 731017 | 2147483647 235049 47 | 0.000 % |
6248.20/6249.73 c | 893039 | 1151 166431 731017 | 2147483647 235498 47 | 0.000 % |
6252.80/6254.32 c | 893533 | 1151 166431 731017 | 2147483647 235992 47 | 0.000 % |
6258.30/6259.80 c | 894076 | 1151 166431 731017 | 2147483647 236535 47 | 0.000 % |
6263.69/6265.25 c | 894673 | 1151 166431 731017 | 2147483647 237132 47 | 0.000 % |
6269.49/6271.05 c | 895328 | 1151 166431 731017 | 2147483647 237787 47 | 0.000 % |
6274.99/6276.57 c | 896048 | 1151 166431 731017 | 2147483647 238507 47 | 0.000 % |
6281.09/6282.67 c | 896845 | 1151 166431 731017 | 2147483647 239304 47 | 0.000 % |
6288.79/6290.34 c | 897716 | 1151 166431 731017 | 2147483647 240175 47 | 0.000 % |
6297.09/6298.66 c | 898675 | 1151 166431 731017 | 2147483647 241134 47 | 0.000 % |
6305.88/6307.45 c | 899732 | 1151 166431 731017 | 2147483647 242191 47 | 0.000 % |
6316.48/6318.04 c | 900891 | 1151 166431 731017 | 2147483647 243350 47 | 0.000 % |
6325.47/6327.07 c | 902165 | 1151 166431 731017 | 2147483647 244624 47 | 0.000 % |
6338.57/6340.15 c | 903566 | 1151 166431 731017 | 2147483647 246025 47 | 0.000 % |
6351.27/6352.83 c | 905106 | 1151 166431 731017 | 2147483647 247565 47 | 0.000 % |
6363.97/6365.56 c | 906800 | 1151 166431 731017 | 2147483647 249259 47 | 0.000 % |
6379.06/6380.60 c | 908666 | 1151 166431 731017 | 2147483647 251125 47 | 0.000 % |
6396.26/6397.83 c | 910715 | 1151 166431 731017 | 2147483647 253174 47 | 0.000 % |
6417.25/6418.81 c | 912969 | 1151 166431 731017 | 2147483647 255428 47 | 0.000 % |
6437.35/6438.92 c | 915447 | 1151 166431 731017 | 2147483647 257906 47 | 0.000 % |
6463.05/6464.68 c | 918172 | 1151 166431 731017 | 2147483647 260631 47 | 0.000 % |
6492.34/6493.93 c | 921171 | 1151 166431 731017 | 2147483647 263630 46 | 0.000 % |
6520.93/6522.55 c | 924468 | 1151 166431 731017 | 2147483647 266927 46 | 0.000 % |
6553.13/6554.72 c | 928105 | 1151 166431 731017 | 2147483647 270564 46 | 0.000 % |
6590.62/6592.22 c | 932094 | 1151 166431 731017 | 2147483647 274553 46 | 0.000 % |
6635.11/6636.74 c | 936479 | 1151 166431 731017 | 2147483647 278938 46 | 0.000 % |
6677.20/6678.88 c | 941302 | 1151 166431 731017 | 282459 253187 45 | 0.000 % |
6704.59/6706.21 c | 946608 | 1151 166431 731017 | 282459 258493 45 | 0.000 % |
6752.88/6754.58 c | 952444 | 1151 166431 731017 | 261887 227127 45 | 0.000 % |
6816.96/6818.65 c | 958862 | 1151 166431 731017 | 261887 233545 46 | 0.000 % |
6904.55/6906.20 c | 965922 | 1151 166431 731017 | 234684 184242 45 | 0.000 % |
6956.03/6957.71 c | 973687 | 1151 166431 731017 | 188320 130373 45 | 0.000 % |
7019.72/7021.40 c | 982229 | 1151 166431 731017 | 2147483647 138915 45 | 0.000 % |
7020.12/7021.84 c | 982330 | 1151 166431 731017 | 2147483647 139016 45 | 0.000 % |
7020.92/7022.63 c | 982440 | 1151 166431 731017 | 2147483647 139126 45 | 0.000 % |
7021.72/7023.49 c | 982561 | 1151 166431 731017 | 2147483647 139247 45 | 0.000 % |
7022.62/7024.36 c | 982695 | 1151 166431 731017 | 2147483647 139381 45 | 0.000 % |
7023.72/7025.41 c | 982842 | 1151 166431 731017 | 2147483647 139528 45 | 0.000 % |
7024.72/7026.40 c | 983002 | 1151 166431 731017 | 2147483647 139688 45 | 0.000 % |
7026.42/7028.10 c | 983178 | 1151 166431 731017 | 2147483647 139864 45 | 0.000 % |
7028.52/7030.21 c | 983371 | 1151 166431 731017 | 2147483647 140057 45 | 0.000 % |
7030.41/7032.16 c | 983585 | 1151 166431 731017 | 2147483647 140271 45 | 0.000 % |
7032.91/7034.61 c | 983818 | 1151 166431 731017 | 2147483647 140504 45 | 0.000 % |
7035.81/7037.54 c | 984074 | 1151 166431 731017 | 2147483647 140760 45 | 0.000 % |
7038.41/7040.10 c | 984358 | 1151 166431 731017 | 2147483647 141044 45 | 0.000 % |
7040.42/7042.13 c | 984667 | 1151 166431 731017 | 2147483647 141353 45 | 0.000 % |
7043.41/7045.11 c | 985007 | 1151 166431 731017 | 2147483647 141693 45 | 0.000 % |
7045.91/7047.64 c | 985379 | 1151 166431 731017 | 2147483647 142065 45 | 0.000 % |
7049.61/7051.34 c | 985789 | 1151 166431 731017 | 2147483647 142475 45 | 0.000 % |
7053.81/7055.58 c | 986238 | 1151 166431 731017 | 2147483647 142924 45 | 0.000 % |
7058.31/7060.00 c | 986733 | 1151 166431 731017 | 2147483647 143419 45 | 0.000 % |
7063.01/7064.70 c | 987276 | 1151 166431 731017 | 2147483647 143962 45 | 0.000 % |
7068.80/7070.51 c | 987872 | 1151 166431 731017 | 2147483647 144558 45 | 0.000 % |
7075.30/7077.09 c | 988527 | 1151 166431 731017 | 2147483647 145213 45 | 0.000 % |
7081.40/7083.18 c | 989247 | 1151 166431 731017 | 2147483647 145933 45 | 0.000 % |
7088.70/7090.43 c | 990040 | 1151 166431 731017 | 146686 146726 45 | 0.000 % |
7095.80/7097.58 c | 990911 | 1151 166431 731017 | 146686 131297 44 | 0.000 % |
7102.10/7103.80 c | 991870 | 1151 166431 731017 | 146686 132256 44 | 0.000 % |
7107.80/7109.55 c | 992923 | 1151 166431 731017 | 146686 133309 44 | 0.000 % |
7110.10/7111.85 c | 994081 | 1151 166431 731017 | 146686 134467 44 | 0.000 % |
7121.00/7122.79 c | 995357 | 1151 166431 731017 | 146686 135743 44 | 0.000 % |
7133.90/7135.61 c | 996757 | 1151 166431 731017 | 146686 137143 44 | 0.000 % |
7147.09/7148.84 c | 998298 | 1151 166431 731017 | 146686 138684 44 | 0.000 % |
7160.59/7162.38 c | 999992 | 1151 166431 731017 | 146686 140378 44 | 0.000 % |
7173.38/7175.20 c | 1001858 | 1151 166431 731017 | 2147483647 142244 44 | 0.000 % |
7186.88/7188.64 c | 1003907 | 1151 166431 731017 | 2147483647 144293 45 | 0.000 % |
7205.38/7207.14 c | 1006162 | 1151 166431 731017 | 2147483647 146548 45 | 0.000 % |
7221.27/7223.00 c | 1008640 | 1151 166431 731017 | 2147483647 149026 45 | 0.000 % |
7246.66/7248.49 c | 1011368 | 1151 166431 731017 | 150386 112344 45 | 0.000 % |
7261.36/7263.17 c | 1014365 | 1151 166431 731017 | 150386 115341 45 | 0.000 % |
7279.25/7281.02 c | 1017662 | 1151 166431 731017 | 150386 118638 45 | 0.000 % |
7299.15/7300.92 c | 1021290 | 1151 166431 731017 | 120978 87730 46 | 0.000 % |
7311.84/7313.69 c | 1025281 | 1151 166431 731017 | 120978 91721 46 | 0.000 % |
7326.24/7328.03 c | 1029671 | 1151 166431 731017 | 120978 96111 46 | 0.000 % |
7338.64/7340.45 c | 1034494 | 1151 166431 731017 | 2147483647 100934 46 | 0.000 % |
7348.93/7350.76 c | 1039802 | 1151 166431 731017 | 2147483647 106242 46 | 0.000 % |
7360.93/7362.78 c | 1045639 | 1151 166431 731017 | 2147483647 112079 46 | 0.000 % |
7376.33/7378.17 c | 1052057 | 1151 166431 731017 | 2147483647 118497 45 | 0.000 % |
7402.53/7404.34 c | 1059118 | 1151 166431 731017 | 2147483647 125558 46 | 0.000 % |
7424.62/7426.46 c | 1066882 | 1151 166431 731017 | 2147483647 133322 45 | 0.000 % |
7453.11/7454.99 c | 1075422 | 1151 166431 731017 | 2147483647 141862 45 | 0.000 % |
7484.81/7486.68 c | 1084819 | 1151 166431 731017 | 2147483647 151259 45 | 0.000 % |
7485.20/7487.05 c | 1084920 | 1151 166431 731017 | 2147483647 151360 45 | 0.000 % |
7485.81/7487.63 c | 1085033 | 1151 166431 731017 | 2147483647 151473 45 | 0.000 % |
7486.40/7488.20 c | 1085155 | 1151 166431 731017 | 2147483647 151595 45 | 0.000 % |
7487.20/7489.02 c | 1085289 | 1151 166431 731017 | 2147483647 151729 45 | 0.000 % |
7487.90/7489.75 c | 1085435 | 1151 166431 731017 | 2147483647 151875 45 | 0.000 % |
7488.90/7490.71 c | 1085595 | 1151 166431 731017 | 2147483647 152035 45 | 0.000 % |
7489.60/7491.46 c | 1085772 | 1151 166431 731017 | 2147483647 152212 45 | 0.000 % |
7490.60/7492.41 c | 1085966 | 1151 166431 731017 | 2147483647 152406 45 | 0.000 % |
7491.50/7493.31 c | 1086178 | 1151 166431 731017 | 2147483647 152618 45 | 0.000 % |
7492.30/7494.12 c | 1086411 | 1151 166431 731017 | 2147483647 152851 45 | 0.000 % |
7493.61/7495.43 c | 1086670 | 1151 166431 731017 | 2147483647 153110 45 | 0.000 % |
7494.71/7496.52 c | 1086951 | 1151 166431 731017 | 2147483647 153391 45 | 0.000 % |
7495.90/7497.70 c | 1087260 | 1151 166431 731017 | 2147483647 153700 45 | 0.000 % |
7496.70/7498.59 c | 1087601 | 1151 166431 731017 | 2147483647 154041 45 | 0.000 % |
7497.91/7499.79 c | 1087974 | 1151 166431 731017 | 2147483647 154414 45 | 0.000 % |
7499.80/7501.63 c | 1088383 | 1151 166431 731017 | 2147483647 154823 45 | 0.000 % |
7501.50/7503.37 c | 1088834 | 1151 166431 731017 | 2147483647 155274 45 | 0.000 % |
7503.40/7505.28 c | 1089327 | 1151 166431 731017 | 2147483647 155767 45 | 0.000 % |
7505.50/7507.40 c | 1089872 | 1151 166431 731017 | 2147483647 156312 45 | 0.000 % |
7507.60/7509.46 c | 1090472 | 1151 166431 731017 | 2147483647 156912 45 | 0.000 % |
7509.50/7511.31 c | 1091129 | 1151 166431 731017 | 2147483647 157569 45 | 0.000 % |
7512.00/7513.88 c | 1091849 | 1151 166431 731017 | 2147483647 158289 45 | 0.000 % |
7514.90/7516.79 c | 1092641 | 1151 166431 731017 | 2147483647 159081 45 | 0.000 % |
7517.39/7519.27 c | 1093513 | 1151 166431 731017 | 2147483647 159953 45 | 0.000 % |
7520.79/7522.66 c | 1094471 | 1151 166431 731017 | 2147483647 160911 45 | 0.000 % |
7523.79/7525.60 c | 1095524 | 1151 166431 731017 | 2147483647 161964 45 | 0.000 % |
7527.99/7529.83 c | 1096683 | 1151 166431 731017 | 2147483647 163123 45 | 0.000 % |
7532.79/7534.67 c | 1097956 | 1151 166431 731017 | 2147483647 164396 45 | 0.000 % |
7537.89/7539.75 c | 1099361 | 1151 166431 731017 | 2147483647 165801 45 | 0.000 % |
7543.59/7545.44 c | 1100902 | 1151 166431 731017 | 2147483647 167342 45 | 0.000 % |
7550.19/7552.08 c | 1102596 | 1151 166431 731017 | 2147483647 169036 45 | 0.000 % |
7560.08/7561.92 c | 1104459 | 1151 166431 731017 | 2147483647 170899 45 | 0.000 % |
7570.58/7572.42 c | 1106510 | 1151 166431 731017 | 2147483647 172950 45 | 0.000 % |
7579.98/7581.87 c | 1108763 | 1151 166431 731017 | 2147483647 175203 45 | 0.000 % |
7592.08/7593.98 c | 1111241 | 1151 166431 731017 | 2147483647 177681 45 | 0.000 % |
7606.48/7608.31 c | 1113966 | 1151 166431 731017 | 2147483647 180406 45 | 0.000 % |
7620.58/7622.49 c | 1116964 | 1151 166431 731017 | 2147483647 183404 45 | 0.000 % |
7632.77/7634.68 c | 1120264 | 1151 166431 731017 | 2147483647 186704 45 | 0.000 % |
7646.87/7648.76 c | 1123889 | 1151 166431 731017 | 2147483647 190329 45 | 0.000 % |
7668.16/7670.01 c | 1127878 | 1151 166431 731017 | 2147483647 194318 45 | 0.000 % |
7688.76/7690.67 c | 1132263 | 1151 166431 731017 | 2147483647 198703 45 | 0.000 % |
7709.45/7711.36 c | 1137088 | 1151 166431 731017 | 2147483647 203528 45 | 0.000 % |
7742.35/7744.24 c | 1142394 | 1151 166431 731017 | 2147483647 208834 45 | 0.000 % |
7777.84/7779.70 c | 1148230 | 1151 166431 731017 | 2147483647 214670 45 | 0.000 % |
7804.83/7806.73 c | 1154648 | 1151 166431 731017 | 2147483647 221088 45 | 0.000 % |
7841.53/7843.42 c | 1161708 | 1151 166431 731017 | 2147483647 228148 45 | 0.000 % |
7873.32/7875.25 c | 1169473 | 1151 166431 731017 | 2147483647 235913 45 | 0.000 % |
7917.31/7919.29 c | 1178014 | 1151 166431 731017 | 2147483647 244454 45 | 0.000 % |
7983.89/7985.80 c | 1187409 | 1151 166431 731017 | 2147483647 253849 45 | 0.000 % |
8074.37/8076.35 c | 1197745 | 1151 166431 731017 | 2147483647 264185 45 | 0.000 % |
8075.28/8077.29 c | 1197846 | 1151 166431 731017 | 2147483647 264286 45 | 0.000 % |
8076.38/8078.33 c | 1197956 | 1151 166431 731017 | 2147483647 264396 45 | 0.000 % |
8077.58/8079.57 c | 1198077 | 1151 166431 731017 | 2147483647 264517 45 | 0.000 % |
8078.97/8080.95 c | 1198210 | 1151 166431 731017 | 2147483647 264650 45 | 0.000 % |
8080.57/8082.59 c | 1198357 | 1151 166431 731017 | 2147483647 264797 46 | 0.000 % |
8081.77/8083.73 c | 1198518 | 1151 166431 731017 | 2147483647 264958 46 | 0.000 % |
8083.67/8085.63 c | 1198694 | 1151 166431 731017 | 2147483647 265134 46 | 0.000 % |
8085.97/8087.99 c | 1198889 | 1151 166431 731017 | 2147483647 265329 46 | 0.000 % |
8088.77/8090.70 c | 1199101 | 1151 166431 731017 | 2147483647 265541 46 | 0.000 % |
8091.27/8093.21 c | 1199338 | 1151 166431 731017 | 2147483647 265778 46 | 0.000 % |
8094.17/8096.14 c | 1199595 | 1151 166431 731017 | 2147483647 266035 46 | 0.000 % |
8097.17/8099.19 c | 1199877 | 1151 166431 731017 | 2147483647 266317 46 | 0.000 % |
8100.27/8102.26 c | 1200187 | 1151 166431 731017 | 266440 266627 46 | 0.000 % |
8106.36/8108.36 c | 1200527 | 1151 166431 731017 | 266440 191555 46 | 0.000 % |
8109.86/8111.89 c | 1200900 | 1151 166431 731017 | 266440 191928 46 | 0.000 % |
8113.56/8115.51 c | 1201309 | 1151 166431 731017 | 266440 192337 46 | 0.000 % |
8117.56/8119.56 c | 1201758 | 1151 166431 731017 | 266440 192786 46 | 0.000 % |
8122.26/8124.23 c | 1202252 | 1151 166431 731017 | 266440 193280 46 | 0.000 % |
8128.06/8130.01 c | 1202794 | 1151 166431 731017 | 266440 193822 46 | 0.000 % |
8134.25/8136.27 c | 1203390 | 1151 166431 731017 | 266440 194418 46 | 0.000 % |
8139.75/8141.76 c | 1204046 | 1151 166431 731017 | 266440 195074 46 | 0.000 % |
8145.95/8147.92 c | 1204768 | 1151 166431 731017 | 266440 195796 46 | 0.000 % |
8152.75/8154.74 c | 1205560 | 1151 166431 731017 | 266440 196588 46 | 0.000 % |
8160.15/8162.17 c | 1206433 | 1151 166431 731017 | 266440 197461 46 | 0.000 % |
8168.15/8170.16 c | 1207391 | 1151 166431 731017 | 266440 198419 46 | 0.000 % |
8176.14/8178.18 c | 1208444 | 1151 166431 731017 | 266440 199472 46 | 0.000 % |
8185.44/8187.40 c | 1209602 | 1151 166431 731017 | 266440 200630 46 | 0.000 % |
8196.24/8198.28 c | 1210875 | 1151 166431 731017 | 201032 148483 46 | 0.000 % |
8205.53/8207.50 c | 1212275 | 1151 166431 731017 | 201032 149883 45 | 0.000 % |
8211.83/8213.82 c | 1213815 | 1151 166431 731017 | 201032 151423 45 | 0.000 % |
8217.73/8219.72 c | 1215511 | 1151 166431 731017 | 201032 153119 45 | 0.000 % |
8227.33/8229.39 c | 1217374 | 1151 166431 731017 | 201032 154982 45 | 0.000 % |
8235.53/8237.57 c | 1219424 | 1151 166431 731017 | 201032 157032 45 | 0.000 % |
8244.92/8246.95 c | 1221679 | 1151 166431 731017 | 2147483647 159287 45 | 0.000 % |
8255.12/8257.17 c | 1224157 | 1151 166431 731017 | 2147483647 161765 45 | 0.000 % |
8267.62/8269.63 c | 1226882 | 1151 166431 731017 | 2147483647 164490 45 | 0.000 % |
8280.71/8282.75 c | 1229879 | 1151 166431 731017 | 2147483647 167487 45 | 0.000 % |
8293.51/8295.52 c | 1233175 | 1151 166431 731017 | 2147483647 170783 45 | 0.000 % |
8312.51/8314.57 c | 1236800 | 1151 166431 731017 | 2147483647 174408 45 | 0.000 % |
8331.70/8333.70 c | 1240789 | 1151 166431 731017 | 2147483647 178397 45 | 0.000 % |
8357.11/8359.14 c | 1245176 | 1151 166431 731017 | 2147483647 182784 45 | 0.000 % |
8385.30/8387.37 c | 1249999 | 1151 166431 731017 | 2147483647 187607 45 | 0.000 % |
8425.78/8427.85 c | 1255304 | 1151 166431 731017 | 2147483647 192912 45 | 0.000 % |
8455.68/8457.78 c | 1261139 | 1151 166431 731017 | 2147483647 198747 45 | 0.000 % |
8482.97/8485.02 c | 1267557 | 1151 166431 731017 | 2147483647 205165 45 | 0.000 % |
8520.47/8522.54 c | 1274621 | 1151 166431 731017 | 2147483647 212229 45 | 0.000 % |
8564.95/8567.06 c | 1282385 | 1151 166431 731017 | 2147483647 219993 45 | 0.000 % |
8609.44/8611.58 c | 1290926 | 1151 166431 731017 | 2147483647 228534 45 | 0.000 % |
8650.03/8652.19 c | 1300320 | 1151 166431 731017 | 2147483647 237928 45 | 0.000 % |
8697.83/8699.97 c | 1310654 | 1151 166431 731017 | 2147483647 248262 45 | 0.000 % |
8762.50/8764.61 c | 1322020 | 1151 166431 731017 | 2147483647 259628 44 | 0.000 % |
8763.30/8765.42 c | 1322122 | 1151 166431 731017 | 2147483647 259730 44 | 0.000 % |
8763.91/8766.01 c | 1322232 | 1151 166431 731017 | 2147483647 259840 44 | 0.000 % |
8764.91/8767.05 c | 1322353 | 1151 166431 731017 | 2147483647 259961 44 | 0.000 % |
8766.10/8768.27 c | 1322491 | 1151 166431 731017 | 2147483647 260099 44 | 0.000 % |
8767.20/8769.36 c | 1322640 | 1151 166431 731017 | 2147483647 260248 44 | 0.000 % |
8768.50/8770.68 c | 1322800 | 1151 166431 731017 | 2147483647 260408 44 | 0.000 % |
8770.41/8772.55 c | 1322977 | 1151 166431 731017 | 2147483647 260585 44 | 0.000 % |
8772.20/8774.39 c | 1323170 | 1151 166431 731017 | 2147483647 260778 44 | 0.000 % |
8773.50/8775.68 c | 1323382 | 1151 166431 731017 | 2147483647 260990 44 | 0.000 % |
8775.10/8777.22 c | 1323616 | 1151 166431 731017 | 2147483647 261224 44 | 0.000 % |
8776.60/8778.73 c | 1323872 | 1151 166431 731017 | 2147483647 261480 44 | 0.000 % |
8778.50/8780.62 c | 1324156 | 1151 166431 731017 | 2147483647 261764 44 | 0.000 % |
8780.20/8782.39 c | 1324465 | 1151 166431 731017 | 2147483647 262073 44 | 0.000 % |
8782.40/8784.53 c | 1324805 | 1151 166431 731017 | 2147483647 262413 44 | 0.000 % |
8784.90/8787.02 c | 1325177 | 1151 166431 731017 | 2147483647 262785 44 | 0.000 % |
8788.30/8790.42 c | 1325587 | 1151 166431 731017 | 2147483647 263195 44 | 0.000 % |
8791.99/8794.11 c | 1326038 | 1151 166431 731017 | 2147483647 263646 44 | 0.000 % |
8796.49/8798.61 c | 1326532 | 1151 166431 731017 | 2147483647 264140 44 | 0.000 % |
8801.29/8803.40 c | 1327074 | 1151 166431 731017 | 2147483647 264682 44 | 0.000 % |
8806.39/8808.58 c | 1327671 | 1151 166431 731017 | 2147483647 265279 44 | 0.000 % |
8810.99/8813.18 c | 1328329 | 1151 166431 731017 | 2147483647 265937 44 | 0.000 % |
8815.49/8817.69 c | 1329049 | 1151 166431 731017 | 2147483647 266657 44 | 0.000 % |
8820.09/8822.28 c | 1329841 | 1151 166431 731017 | 2147483647 267449 44 | 0.000 % |
8824.98/8827.15 c | 1330713 | 1151 166431 731017 | 2147483647 268321 44 | 0.001 % |
8829.98/8832.15 c | 1331673 | 1151 166431 731017 | 2147483647 269281 44 | 0.000 % |
8834.28/8836.45 c | 1332727 | 1151 166431 731017 | 2147483647 270335 44 | 0.000 % |
8839.48/8841.69 c | 1333885 | 1151 166431 731017 | 2147483647 271493 44 | 0.000 % |
8845.88/8848.01 c | 1335160 | 1151 166431 731017 | 2147483647 272768 44 | 0.000 % |
8852.78/8855.00 c | 1336561 | 1151 166431 731017 | 2147483647 274169 44 | 0.000 % |
8865.58/8867.77 c | 1338103 | 1151 166431 731017 | 2147483647 275711 44 | 0.000 % |
8878.48/8880.69 c | 1339797 | 1151 166431 731017 | 2147483647 277405 44 | 0.000 % |
8898.37/8900.52 c | 1341660 | 1151 166431 731017 | 2147483647 279268 44 | 0.000 % |
8917.77/8919.92 c | 1343710 | 1151 166431 731017 | 2147483647 281318 44 | 0.000 % |
8935.27/8937.40 c | 1345964 | 1151 166431 731017 | 2147483647 283572 44 | 0.000 % |
8950.16/8952.36 c | 1348446 | 1151 166431 731017 | 2147483647 286054 44 | 0.000 % |
8966.95/8969.10 c | 1351173 | 1151 166431 731017 | 2147483647 288781 44 | 0.000 % |
8985.55/8987.72 c | 1354171 | 1151 166431 731017 | 2147483647 291779 44 | 0.000 % |
9007.04/9009.20 c | 1357469 | 1151 166431 731017 | 2147483647 295077 44 | 0.000 % |
9029.14/9031.31 c | 1361094 | 1151 166431 731017 | 2147483647 298702 44 | 0.000 % |
9057.23/9059.43 c | 1365085 | 1151 166431 731017 | 2147483647 302693 44 | 0.000 % |
9106.33/9108.58 c | 1369471 | 1151 166431 731017 | 2147483647 307079 44 | 0.000 % |
9148.31/9150.56 c | 1374295 | 1151 166431 731017 | 307610 280949 44 | 0.000 % |
9174.51/9176.78 c | 1379600 | 1151 166431 731017 | 307610 286254 44 | 0.000 % |
9205.60/9207.80 c | 1385441 | 1151 166431 731017 | 2147483647 292095 44 | 0.000 % |
9241.09/9243.36 c | 1391860 | 1151 166431 731017 | 2147483647 298514 44 | 0.000 % |
9282.58/9284.90 c | 1398927 | 1151 166431 731017 | 2147483647 305581 44 | 0.000 % |
9321.97/9324.25 c | 1406692 | 1151 166431 731017 | 2147483647 313346 44 | 0.000 % |
9368.86/9371.18 c | 1415232 | 1151 166431 731017 | 2147483647 321886 44 | 0.000 % |
9418.64/9420.94 c | 1424628 | 1151 166431 731017 | 2147483647 331282 43 | 0.000 % |
9470.63/9472.91 c | 1434961 | 1151 166431 731017 | 2147483647 341615 43 | 0.000 % |
9530.02/9532.33 c | 1446328 | 1151 166431 731017 | 2147483647 352982 43 | 0.000 % |
9594.70/9597.03 c | 1458831 | 1151 166431 731017 | 2147483647 365485 43 | 0.000 % |
9595.30/9597.65 c | 1458931 | 1151 166431 731017 | 2147483647 365585 43 | 0.000 % |
9596.00/9598.35 c | 1459044 | 1151 166431 731017 | 2147483647 365698 43 | 0.000 % |
9597.10/9599.42 c | 1459166 | 1151 166431 731017 | 2147483647 365820 43 | 0.000 % |
9597.90/9600.26 c | 1459302 | 1151 166431 731017 | 2147483647 365956 43 | 0.000 % |
9598.91/9601.29 c | 1459448 | 1151 166431 731017 | 2147483647 366102 43 | 0.000 % |
9600.01/9602.35 c | 1459608 | 1151 166431 731017 | 2147483647 366262 43 | 0.000 % |
9601.31/9603.60 c | 1459786 | 1151 166431 731017 | 2147483647 366440 43 | 0.000 % |
9602.31/9604.66 c | 1459979 | 1151 166431 731017 | 2147483647 366633 43 | 0.000 % |
9603.61/9605.93 c | 1460191 | 1151 166431 731017 | 2147483647 366845 43 | 0.000 % |
9604.91/9607.28 c | 1460427 | 1151 166431 731017 | 2147483647 367081 43 | 0.000 % |
9606.41/9608.76 c | 1460683 | 1151 166431 731017 | 2147483647 367337 43 | 0.000 % |
9608.11/9610.48 c | 1460964 | 1151 166431 731017 | 2147483647 367618 43 | 0.000 % |
9610.11/9612.47 c | 1461283 | 1151 166431 731017 | 2147483647 367937 43 | 0.000 % |
9612.30/9614.68 c | 1461625 | 1151 166431 731017 | 2147483647 368279 43 | 0.000 % |
9614.60/9616.90 c | 1462002 | 1151 166431 731017 | 2147483647 368656 43 | 0.000 % |
9618.30/9620.61 c | 1462411 | 1151 166431 731017 | 2147483647 369065 43 | 0.000 % |
9622.20/9624.53 c | 1462860 | 1151 166431 731017 | 2147483647 369514 43 | 0.000 % |
9625.70/9628.04 c | 1463353 | 1151 166431 731017 | 2147483647 370007 43 | 0.000 % |
9630.50/9632.86 c | 1463895 | 1151 166431 731017 | 2147483647 370549 43 | 0.000 % |
9635.20/9637.55 c | 1464491 | 1151 166431 731017 | 2147483647 371145 43 | 0.000 % |
9640.59/9642.90 c | 1465146 | 1151 166431 731017 | 2147483647 371800 43 | 0.000 % |
9647.89/9650.21 c | 1465868 | 1151 166431 731017 | 2147483647 372522 43 | 0.000 % |
9655.30/9657.63 c | 1466662 | 1151 166431 731017 | 2147483647 373316 43 | 0.000 % |
9662.49/9664.89 c | 1467535 | 1151 166431 731017 | 2147483647 374189 43 | 0.000 % |
9668.99/9671.37 c | 1468496 | 1151 166431 731017 | 2147483647 375150 43 | 0.000 % |
9675.59/9677.90 c | 1469552 | 1151 166431 731017 | 2147483647 376206 43 | 0.000 % |
9683.49/9685.83 c | 1470715 | 1151 166431 731017 | 2147483647 377369 43 | 0.000 % |
9690.79/9693.10 c | 1471988 | 1151 166431 731017 | 2147483647 378642 43 | 0.000 % |
9698.98/9701.30 c | 1473388 | 1151 166431 731017 | 2147483647 380042 43 | 0.000 % |
9708.48/9710.87 c | 1474935 | 1151 166431 731017 | 2147483647 381589 43 | 0.000 % |
9719.98/9722.30 c | 1476629 | 1151 166431 731017 | 2147483647 383283 43 | 0.000 % |
9732.87/9735.21 c | 1478494 | 1151 166431 731017 | 2147483647 385148 43 | 0.000 % |
9747.37/9749.74 c | 1480544 | 1151 166431 731017 | 2147483647 387198 43 | 0.000 % |
9766.36/9768.75 c | 1482800 | 1151 166431 731017 | 2147483647 389454 43 | 0.000 % |
9784.17/9786.54 c | 1485278 | 1151 166431 731017 | 2147483647 391932 43 | 0.000 % |
9802.86/9805.22 c | 1488005 | 1151 166431 731017 | 2147483647 394659 43 | 0.000 % |
9827.35/9829.72 c | 1491003 | 1151 166431 731017 | 2147483647 397657 43 | 0.000 % |
9856.04/9858.46 c | 1494300 | 1151 166431 731017 | 2147483647 400954 43 | 0.000 % |
9890.73/9893.11 c | 1497925 | 1151 166431 731017 | 2147483647 404579 43 | 0.000 % |
9926.73/9929.15 c | 1501913 | 1151 166431 731017 | 406657 344994 43 | 0.000 % |
9958.92/9961.37 c | 1506300 | 1151 166431 731017 | 406657 349381 43 | 0.000 % |
9996.31/9998.80 c | 1511124 | 1151 166431 731017 | 2147483647 354205 43 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837548-1242877051/watcher-1837548-1242877051 -o /tmp/evaluation-result-1837548-1242877051/solver-1837548-1242877051 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837548-1242877051.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 15205
/proc/meminfo: memFree=1532928/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=0
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315737720 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15205/statm: 1339 237 197 169 0 50 0
[startup+0.067928 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 15205
/proc/meminfo: memFree=1532928/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=0
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315737720 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15205/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10193 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 15205
/proc/meminfo: memFree=1532928/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=0
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315737720 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15205/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301945 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 15205
/proc/meminfo: memFree=1532928/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=0
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315737720 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15205/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701974 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 15205
/proc/meminfo: memFree=1532928/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=0
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315737720 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15205/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50103 s]
/proc/loadavg: 0.85 0.97 0.98 2/66 15210
/proc/meminfo: memFree=1514928/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=0
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315737720 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15205/statm: 1339 237 197 169 0 50 0
[pid=15209] ppid=15205 vsize=19656 CPUtime=1.48
/proc/15209/stat : 15209 (SatELite_releas) R 15205 15205 15168 0 -1 4194304 4234 0 0 0 146 2 0 0 25 0 1 0 315737720 20127744 4220 1992294400 134512640 135223648 4294956128 18446744073709551615 134585487 0 0 4096 3 0 0 0 17 1 0 0
/proc/15209/statm: 4914 4220 76 173 0 4739 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 25012
[startup+3.10116 s]
/proc/loadavg: 0.85 0.97 0.98 2/66 15210
/proc/meminfo: memFree=1514800/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 5356
[startup+6.30138 s]
/proc/loadavg: 0.86 0.97 0.98 2/66 15211
/proc/meminfo: memFree=1517112/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=11820 CPUtime=3.62
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 2819 0 0 0 361 1 0 0 25 0 1 0 315737987 12103680 2805 1992294400 134512640 135215339 4294956240 18446744073709551615 134528676 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 2955 2806 77 171 0 2782 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 17176
[startup+12.7018 s]
/proc/loadavg: 0.87 0.97 0.98 2/66 15211
/proc/meminfo: memFree=1515128/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=13796 CPUtime=10.02
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 3283 0 0 0 1000 2 0 0 25 0 1 0 315737987 14127104 3269 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 3449 3269 77 171 0 3276 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 19152
[startup+25.5018 s]
/proc/loadavg: 0.90 0.97 0.98 2/66 15211
/proc/meminfo: memFree=1513080/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=15744 CPUtime=22.81
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 3777 0 0 0 2279 2 0 0 25 0 1 0 315737987 16121856 3763 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 3936 3763 77 171 0 3763 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 21100
[startup+51.1016 s]
/proc/loadavg: 0.93 0.97 0.98 2/66 15211
/proc/meminfo: memFree=1510264/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=18716 CPUtime=48.41
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 4500 0 0 0 4837 4 0 0 25 0 1 0 315737987 19165184 4486 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 4679 4486 77 171 0 4506 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 24072
[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.98 2/66 15211
/proc/meminfo: memFree=1504312/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=24988 CPUtime=99.6
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 5977 0 0 0 9955 5 0 0 25 0 1 0 315737987 25587712 5963 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 6247 5963 77 171 0 6074 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 30344
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 15211
/proc/meminfo: memFree=1500920/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=28636 CPUtime=159.59
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 6837 0 0 0 15952 7 0 0 25 0 1 0 315737987 29323264 6823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 7159 6823 77 171 0 6986 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 33992
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 15211
/proc/meminfo: memFree=1497912/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=31672 CPUtime=219.57
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 7579 0 0 0 21949 8 0 0 25 0 1 0 315737987 32432128 7565 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 7918 7565 77 171 0 7745 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 37028
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 15213
/proc/meminfo: memFree=1494968/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=34464 CPUtime=279.56
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 8292 0 0 0 27946 10 0 0 25 0 1 0 315737987 35291136 8278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 8616 8278 77 171 0 8443 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 39820
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 15213
/proc/meminfo: memFree=1491832/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=37728 CPUtime=339.54
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 9063 0 0 0 33943 11 0 0 25 0 1 0 315737987 38633472 9049 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 9432 9049 77 171 0 9259 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 43084
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 15213
/proc/meminfo: memFree=1489848/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=39748 CPUtime=399.53
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 9561 0 0 0 39940 13 0 0 25 0 1 0 315737987 40701952 9547 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 9937 9547 77 171 0 9764 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 45104
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 15213
/proc/meminfo: memFree=1489400/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
################
# More data... #
################
/proc/15211/statm: 26601 24980 77 171 0 26428 0
Current children cumulated CPU time (s) 9340.07
Current children cumulated vsize (KiB) 111760
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15235
/proc/meminfo: memFree=1426168/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=106404 CPUtime=9397.4
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 25085 0 0 0 939675 65 0 0 25 0 1 0 315737987 108957696 24999 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 26601 24999 77 171 0 26428 0
Current children cumulated CPU time (s) 9400.05
Current children cumulated vsize (KiB) 111760
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15235
/proc/meminfo: memFree=1424504/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=108100 CPUtime=9457.39
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 25488 0 0 0 945673 66 0 0 25 0 1 0 315737987 110694400 25402 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 27025 25402 77 171 0 26852 0
Current children cumulated CPU time (s) 9460.04
Current children cumulated vsize (KiB) 113456
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15235
/proc/meminfo: memFree=1422328/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=110360 CPUtime=9517.37
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 26037 0 0 0 951670 67 0 0 25 0 1 0 315737987 113008640 25951 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 27590 25951 77 171 0 27417 0
Current children cumulated CPU time (s) 9520.02
Current children cumulated vsize (KiB) 115716
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15235
/proc/meminfo: memFree=1420024/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=112728 CPUtime=9577.36
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 26617 0 0 0 957668 68 0 0 25 0 1 0 315737987 115433472 26531 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 28182 26531 77 171 0 28009 0
Current children cumulated CPU time (s) 9580.01
Current children cumulated vsize (KiB) 118084
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15235
/proc/meminfo: memFree=1418040/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=114740 CPUtime=9637.34
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 27109 0 0 0 963665 69 0 0 25 0 1 0 315737987 117493760 27023 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 28685 27023 77 171 0 28512 0
Current children cumulated CPU time (s) 9639.99
Current children cumulated vsize (KiB) 120096
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15235
/proc/meminfo: memFree=1416248/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=116692 CPUtime=9697.33
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 27551 0 0 0 969663 70 0 0 25 0 1 0 315737987 119492608 27465 1992294400 134512640 135215339 4294956240 18446744073709551615 134542512 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 29173 27465 77 171 0 29000 0
Current children cumulated CPU time (s) 9699.98
Current children cumulated vsize (KiB) 122048
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15235
/proc/meminfo: memFree=1414712/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=118144 CPUtime=9757.31
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 27938 0 0 0 975661 70 0 0 25 0 1 0 315737987 120979456 27852 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 29536 27852 77 171 0 29363 0
Current children cumulated CPU time (s) 9759.96
Current children cumulated vsize (KiB) 123500
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15235
/proc/meminfo: memFree=1412920/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=119840 CPUtime=9817.31
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 28375 0 0 0 981660 71 0 0 25 0 1 0 315737987 122716160 28289 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 29960 28289 77 171 0 29787 0
Current children cumulated CPU time (s) 9819.96
Current children cumulated vsize (KiB) 125196
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15235
/proc/meminfo: memFree=1411448/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=121292 CPUtime=9877.29
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 28747 0 0 0 987658 71 0 0 25 0 1 0 315737987 124203008 28661 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 30323 28661 77 171 0 30150 0
Current children cumulated CPU time (s) 9879.94
Current children cumulated vsize (KiB) 126648
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15235
/proc/meminfo: memFree=1410872/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=121952 CPUtime=9937.28
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 28885 0 0 0 993656 72 0 0 25 0 1 0 315737987 124878848 28799 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 30488 28799 77 171 0 30315 0
Current children cumulated CPU time (s) 9939.93
Current children cumulated vsize (KiB) 127308
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15235
/proc/meminfo: memFree=1410808/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=121952 CPUtime=9997.26
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 28899 0 0 0 999654 72 0 0 25 0 1 0 315737987 124878848 28813 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 30488 28813 77 171 0 30315 0
Current children cumulated CPU time (s) 9999.91
Current children cumulated vsize (KiB) 127308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15235
/proc/meminfo: memFree=1410808/2055920 swapFree=4180984/4192956
[pid=15205] ppid=15203 vsize=5356 CPUtime=2.65
/proc/15205/stat : 15205 (SatELiteGTI) S 15203 15205 15168 0 -1 4194304 336 4486 0 0 0 0 261 4 16 0 1 0 315737720 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15205/statm: 1339 239 197 169 0 50 0
[pid=15211] ppid=15205 vsize=121952 CPUtime=9997.36
/proc/15211/stat : 15211 (minisat_static) R 15205 15205 15168 0 -1 4194304 28899 0 0 0 999664 72 0 0 25 0 1 0 315737987 124878848 28813 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15211/statm: 30488 28813 77 171 0 30315 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 127308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15205 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=617602
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=47992
# CPU time returned by wait4() is 2.66559
# while last known CPU time is 10000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10002.4
CPU time (s): 10000
CPU user time (s): 9999.25
CPU system time (s): 0.76
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 127308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6176
system time used= 0.047992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4822
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 11
runsolver used 11.8072 second user time and 24.6183 second system time
The end
Begin job on node34 at 2009-05-21 05:37:31
IDJOB=1837548
IDBENCH=71093
IDSOLVER=674
FILE ID=node34/1837548-1242877051
PBS_JOBID= 9328652
Free space on /tmp= 66340 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_09_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837548-1242877051/watcher-1837548-1242877051 -o /tmp/evaluation-result-1837548-1242877051/solver-1837548-1242877051 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837548-1242877051.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3cd74d1813a4408b4123afc23df07d7d
RANDOM SEED=349653035
node34.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.214
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.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1533408 kB
Buffers: 62660 kB
Cached: 408468 kB
SwapCached: 6096 kB
Active: 230036 kB
Inactive: 249244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1533408 kB
SwapTotal: 4192956 kB
SwapFree: 4180984 kB
Dirty: 4344 kB
Writeback: 0 kB
Mapped: 13412 kB
Slab: 29320 kB
Committed_AS: 1087552 kB
PageTables: 1384 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= 66336 MiB
End job on node34 at 2009-05-21 08:24:15