0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 87044 258924 | 26113 0 0 nan | 0.000 % |
0.00/0.83 c | 0 | 86161 373261 | -- 0 -- -- | -- | -883/114337
0.00/0.83 c ==============================================================================
0.00/0.83 c Result : #vars: 871 #clauses: 86161 #literals: 373261
0.00/0.83 c CPU time: 0.811876 s
0.00/0.83 c ==============================================================================
0.00/0.94 c This is MiniSat 2.0 beta
0.00/0.94 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.94 c ============================[ Problem Statistics ]=============================
0.00/0.94 c | |
0.00/0.94 c | Number of variables: 871 |
0.00/0.94 c | Number of clauses: 86161 |
0.00/0.98 c | Parsing time: 0.04 s |
0.00/0.99 c ============================[ Search Statistics ]==============================
0.00/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.99 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.99 c ===============================================================================
0.00/0.99 c | 0 | 871 86161 373261 | 28720 0 nan | 0.000 % |
0.98/1.02 c | 101 | 871 86161 373261 | 28720 101 35 | 0.000 % |
0.98/1.05 c | 201 | 871 86161 373261 | 28720 201 39 | 0.000 % |
0.98/1.09 c | 303 | 871 86161 373261 | 28720 303 42 | 0.000 % |
1.08/1.13 c | 414 | 871 86161 373261 | 28720 414 44 | 0.000 % |
1.08/1.16 c | 514 | 871 86161 373261 | 28720 514 46 | 0.000 % |
1.08/1.19 c | 624 | 871 86161 373261 | 28720 624 48 | 0.000 % |
1.18/1.22 c | 745 | 871 86161 373261 | 28720 745 48 | 0.000 % |
1.18/1.26 c | 845 | 871 86161 373261 | 28720 845 48 | 0.000 % |
1.18/1.28 c | 955 | 871 86161 373261 | 28720 955 49 | 0.000 % |
1.28/1.32 c | 1076 | 871 86161 373261 | 28720 1076 49 | 0.000 % |
1.28/1.36 c | 1211 | 871 86161 373261 | 28720 1211 50 | 0.000 % |
1.28/1.38 c | 1312 | 871 86161 373261 | 28720 1312 50 | 0.000 % |
1.38/1.40 c | 1424 | 871 86161 373261 | 28720 1424 50 | 0.001 % |
1.38/1.42 c | 1546 | 871 86161 373261 | 28720 1546 50 | 0.000 % |
1.38/1.46 c | 1679 | 871 86161 373261 | 28720 1679 51 | 0.000 % |
1.38/1.50 c | 1825 | 871 86161 373261 | 28720 1825 51 | 0.000 % |
1.48/1.51 c | 1926 | 871 86161 373261 | 28720 1926 51 | 0.000 % |
1.48/1.53 c | 2037 | 871 86161 373261 | 28720 2037 51 | 0.000 % |
1.48/1.56 c | 2158 | 871 86161 373261 | 28720 2158 51 | 0.000 % |
1.48/1.58 c | 2292 | 871 86161 373261 | 28720 2292 51 | 0.000 % |
1.58/1.61 c | 2439 | 871 86161 373261 | 28720 2439 51 | 0.000 % |
1.58/1.64 c | 2600 | 871 86161 373261 | 28720 2600 51 | 0.000 % |
1.58/1.67 c | 2700 | 871 86161 373261 | 28720 2700 52 | 0.000 % |
1.68/1.71 c | 2811 | 871 86161 373261 | 28720 2811 52 | 0.000 % |
1.68/1.75 c | 2933 | 871 86161 373261 | 28720 2933 52 | 0.000 % |
1.68/1.79 c | 3066 | 871 86161 373261 | 28720 3066 52 | 0.000 % |
1.78/1.85 c | 3212 | 871 86161 373261 | 28720 3212 52 | 0.000 % |
1.88/1.90 c | 3373 | 871 86161 373261 | 28720 3373 52 | 0.000 % |
1.88/1.97 c | 3550 | 871 86161 373261 | 28720 3550 52 | 0.000 % |
1.98/2.02 c | 3651 | 871 86161 373261 | 28720 3651 52 | 0.000 % |
1.98/2.06 c | 3761 | 871 86161 373261 | 28720 3761 52 | 0.000 % |
2.08/2.11 c | 3882 | 871 86161 373261 | 28720 3882 52 | 0.000 % |
2.08/2.17 c | 4015 | 871 86161 373261 | 28720 4015 52 | 0.000 % |
2.18/2.23 c | 4163 | 871 86161 373261 | 28720 4163 52 | 0.000 % |
2.18/2.27 c | 4323 | 871 86161 373261 | 28720 4323 52 | 0.000 % |
2.28/2.34 c | 4499 | 871 86161 373261 | 28720 4499 52 | 0.000 % |
2.37/2.43 c | 4692 | 871 86161 373261 | 28720 4692 52 | 0.000 % |
2.37/2.47 c | 4792 | 871 86161 373261 | 28720 4792 52 | 0.000 % |
2.47/2.50 c | 4903 | 871 86161 373261 | 28720 4903 52 | 0.000 % |
2.47/2.54 c | 5024 | 871 86161 373261 | 28720 5024 52 | 0.000 % |
2.57/2.61 c | 5157 | 871 86161 373261 | 28720 5157 52 | 0.000 % |
2.57/2.67 c | 5303 | 871 86161 373261 | 28720 5303 52 | 0.000 % |
2.67/2.74 c | 5464 | 871 86161 373261 | 28720 5464 52 | 0.000 % |
2.77/2.81 c | 5640 | 871 86161 373261 | 28720 5640 52 | 0.000 % |
2.77/2.89 c | 5833 | 871 86161 373261 | 28720 5833 52 | 0.000 % |
2.87/2.95 c | 6046 | 871 86161 373261 | 28720 6046 52 | 0.000 % |
2.87/2.97 c | 6147 | 871 86161 373261 | 28720 6147 52 | 0.000 % |
2.87/2.99 c | 6257 | 871 86161 373261 | 28720 6257 52 | 0.000 % |
2.97/3.01 c | 6378 | 871 86161 373261 | 28720 6378 52 | 0.000 % |
2.97/3.03 c | 6513 | 871 86161 373261 | 28720 6513 52 | 0.000 % |
2.97/3.08 c | 6663 | 871 86161 373261 | 28720 6663 52 | 0.000 % |
3.07/3.11 c | 6823 | 871 86161 373261 | 28720 6823 52 | 0.000 % |
3.07/3.16 c | 7004 | 871 86161 373261 | 28720 7004 52 | 0.000 % |
3.18/3.21 c | 7197 | 871 86161 373261 | 28720 7197 52 | 0.000 % |
3.18/3.27 c | 7409 | 871 86161 373261 | 28720 7409 52 | 0.000 % |
3.28/3.33 c | 7643 | 871 86161 373261 | 28720 7643 51 | 0.000 % |
3.28/3.37 c | 7743 | 871 86161 373261 | 28720 7743 51 | 0.000 % |
3.37/3.40 c | 7854 | 871 86161 373261 | 28720 7854 51 | 0.000 % |
3.37/3.44 c | 7975 | 871 86161 373261 | 28720 7975 51 | 0.000 % |
3.37/3.49 c | 8108 | 871 86161 373261 | 28720 8108 51 | 0.000 % |
3.47/3.54 c | 8255 | 871 86161 373261 | 28720 8255 51 | 0.000 % |
3.47/3.59 c | 8416 | 871 86161 373261 | 28720 8416 51 | 0.000 % |
3.57/3.66 c | 8592 | 871 86161 373261 | 28720 8592 51 | 0.000 % |
3.67/3.76 c | 8785 | 871 86161 373261 | 28720 8785 51 | 0.000 % |
3.77/3.87 c | 8998 | 871 86161 373261 | 28720 8998 51 | 0.000 % |
3.97/4.03 c | 9233 | 871 86161 373261 | 28720 9233 51 | 0.000 % |
4.07/4.16 c | 9489 | 871 86161 373261 | 28720 9489 51 | 0.000 % |
4.07/4.19 c | 9589 | 871 86161 373261 | 28720 9589 51 | 0.000 % |
4.18/4.25 c | 9699 | 871 86161 373261 | 28720 9699 51 | 0.000 % |
4.28/4.31 c | 9821 | 871 86161 373261 | 28720 9821 51 | 0.000 % |
4.28/4.38 c | 9956 | 871 86161 373261 | 28720 9956 51 | 0.000 % |
4.38/4.47 c | 10103 | 871 86161 373261 | 2147483647 10103 51 | 0.000 % |
4.48/4.52 c | 10263 | 871 86161 373261 | 2147483647 10263 51 | 0.000 % |
4.58/4.60 c | 10441 | 871 86161 373261 | 2147483647 10441 51 | 0.000 % |
4.68/4.70 c | 10635 | 871 86161 373261 | 2147483647 10635 51 | 0.000 % |
4.68/4.79 c | 10848 | 871 86161 373261 | 2147483647 10848 50 | 0.000 % |
4.88/4.91 c | 11082 | 871 86161 373261 | 2147483647 11082 50 | 0.000 % |
4.97/5.07 c | 11338 | 871 86161 373261 | 2147483647 11338 51 | 0.000 % |
5.17/5.24 c | 11619 | 871 86161 373261 | 2147483647 11619 51 | 0.000 % |
5.27/5.30 c | 11720 | 871 86161 373261 | 2147483647 11720 51 | 0.000 % |
5.27/5.37 c | 11831 | 871 86161 373261 | 2147483647 11831 51 | 0.000 % |
5.38/5.43 c | 11953 | 871 86161 373261 | 2147483647 11953 51 | 0.000 % |
5.38/5.50 c | 12086 | 871 86161 373261 | 2147483647 12086 51 | 0.000 % |
5.48/5.57 c | 12234 | 871 86161 373261 | 2147483647 12234 51 | 0.000 % |
5.67/5.71 c | 12395 | 871 86161 373261 | 2147483647 12395 51 | 0.000 % |
5.67/5.78 c | 12572 | 871 86161 373261 | 2147483647 12572 51 | 0.000 % |
5.87/5.91 c | 12767 | 871 86161 373261 | 2147483647 12767 51 | 0.000 % |
5.97/6.05 c | 12980 | 871 86161 373261 | 2147483647 12980 51 | 0.000 % |
6.07/6.19 c | 13214 | 871 86161 373261 | 2147483647 13214 51 | 0.000 % |
6.27/6.36 c | 13472 | 871 86161 373261 | 2147483647 13472 51 | 0.000 % |
6.37/6.48 c | 13754 | 871 86161 373261 | 2147483647 13754 51 | 0.000 % |
6.58/6.63 c | 14064 | 871 86161 373261 | 2147483647 14064 51 | 0.000 % |
6.67/6.70 c | 14164 | 871 86161 373261 | 2147483647 14164 51 | 0.000 % |
6.67/6.77 c | 14277 | 871 86161 373261 | 2147483647 14277 51 | 0.000 % |
6.77/6.84 c | 14398 | 871 86161 373261 | 2147483647 14398 51 | 0.000 % |
6.87/6.92 c | 14533 | 871 86161 373261 | 2147483647 14533 51 | 0.000 % |
6.97/7.02 c | 14680 | 871 86161 373261 | 2147483647 14680 52 | 0.000 % |
7.07/7.12 c | 14841 | 871 86161 373261 | 2147483647 14841 52 | 0.000 % |
7.18/7.21 c | 15019 | 871 86161 373261 | 2147483647 15019 52 | 0.000 % |
7.28/7.37 c | 15213 | 871 86161 373261 | 2147483647 15213 52 | 0.000 % |
7.48/7.51 c | 15425 | 871 86161 373261 | 2147483647 15425 52 | 0.000 % |
7.58/7.67 c | 15658 | 871 86161 373261 | 2147483647 15658 52 | 0.000 % |
7.78/7.82 c | 15917 | 871 86161 373261 | 2147483647 15917 52 | 0.000 % |
7.88/7.99 c | 16200 | 871 86161 373261 | 2147483647 16200 52 | 0.000 % |
8.18/8.27 c | 16509 | 871 86161 373261 | 2147483647 16509 52 | 0.000 % |
8.48/8.54 c | 16849 | 871 86161 373261 | 2147483647 16849 52 | 0.000 % |
8.58/8.60 c | 16949 | 871 86161 373261 | 2147483647 16949 52 | 0.000 % |
8.58/8.68 c | 17060 | 871 86161 373261 | 2147483647 17060 52 | 0.000 % |
8.68/8.75 c | 17183 | 871 86161 373261 | 2147483647 17183 52 | 0.000 % |
8.78/8.85 c | 17320 | 871 86161 373261 | 2147483647 17320 52 | 0.000 % |
8.88/8.92 c | 17467 | 871 86161 373261 | 2147483647 17467 52 | 0.000 % |
8.98/9.04 c | 17627 | 871 86161 373261 | 2147483647 17627 52 | 0.001 % |
9.08/9.11 c | 17803 | 871 86161 373261 | 2147483647 17803 52 | 0.000 % |
9.18/9.22 c | 17997 | 871 86161 373261 | 2147483647 17997 52 | 0.000 % |
9.28/9.33 c | 18209 | 871 86161 373261 | 2147483647 18209 52 | 0.000 % |
9.48/9.50 c | 18442 | 871 86161 373261 | 2147483647 18442 52 | 0.000 % |
9.58/9.64 c | 18700 | 871 86161 373261 | 2147483647 18700 52 | 0.000 % |
9.78/9.82 c | 18981 | 871 86161 373261 | 2147483647 18981 52 | 0.000 % |
9.98/10.03 c | 19290 | 871 86161 373261 | 2147483647 19290 51 | 0.000 % |
10.18/10.22 c | 19629 | 871 86161 373261 | 2147483647 19629 51 | 0.000 % |
10.37/10.46 c | 20001 | 871 86161 373261 | 2147483647 20001 51 | 0.000 % |
10.47/10.54 c | 20104 | 871 86161 373261 | 2147483647 20104 51 | 0.000 % |
10.57/10.64 c | 20214 | 871 86161 373261 | 2147483647 20214 51 | 0.000 % |
10.67/10.73 c | 20335 | 871 86161 373261 | 2147483647 20335 51 | 0.000 % |
10.77/10.84 c | 20469 | 871 86161 373261 | 2147483647 20469 51 | 0.000 % |
10.88/10.96 c | 20615 | 871 86161 373261 | 2147483647 20615 51 | 0.000 % |
10.98/11.06 c | 20776 | 871 86161 373261 | 2147483647 20776 51 | 0.000 % |
11.17/11.21 c | 20953 | 871 86161 373261 | 2147483647 20953 51 | 0.000 % |
11.27/11.32 c | 21146 | 871 86161 373261 | 2147483647 21146 51 | 0.000 % |
11.38/11.48 c | 21359 | 871 86161 373261 | 2147483647 21359 51 | 0.000 % |
11.58/11.63 c | 21593 | 871 86161 373261 | 2147483647 21593 51 | 0.000 % |
11.88/11.91 c | 21849 | 871 86161 373261 | 2147483647 21849 52 | 0.000 % |
12.08/12.12 c | 22131 | 871 86161 373261 | 2147483647 22131 52 | 0.000 % |
12.38/12.40 c | 22440 | 871 86161 373261 | 2147483647 22440 52 | 0.000 % |
12.57/12.66 c | 22780 | 871 86161 373261 | 2147483647 22780 51 | 0.000 % |
12.87/12.91 c | 23152 | 871 86161 373261 | 2147483647 23152 51 | 0.000 % |
13.18/13.23 c | 23562 | 871 86161 373261 | 2147483647 23562 51 | 0.000 % |
13.27/13.37 c | 23663 | 871 86161 373261 | 2147483647 23663 51 | 0.000 % |
13.37/13.46 c | 23773 | 871 86161 373261 | 2147483647 23773 51 | 0.000 % |
13.47/13.55 c | 23895 | 871 86161 373261 | 2147483647 23895 51 | 0.000 % |
13.57/13.65 c | 24028 | 871 86161 373261 | 2147483647 24028 51 | 0.000 % |
13.77/13.80 c | 24174 | 871 86161 373261 | 2147483647 24174 52 | 0.000 % |
13.97/14.00 c | 24334 | 871 86161 373261 | 2147483647 24334 52 | 0.000 % |
14.07/14.18 c | 24510 | 871 86161 373261 | 2147483647 24510 52 | 0.000 % |
14.27/14.32 c | 24704 | 871 86161 373261 | 2147483647 24704 52 | 0.000 % |
14.37/14.45 c | 24919 | 871 86161 373261 | 2147483647 24919 52 | 0.000 % |
14.57/14.64 c | 25154 | 871 86161 373261 | 2147483647 25154 52 | 0.000 % |
14.77/14.84 c | 25410 | 871 86161 373261 | 2147483647 25410 52 | 0.000 % |
14.97/15.05 c | 25692 | 871 86161 373261 | 2147483647 25692 52 | 0.000 % |
15.17/15.27 c | 26003 | 871 86161 373261 | 2147483647 26003 52 | 0.000 % |
15.47/15.55 c | 26342 | 871 86161 373261 | 2147483647 26342 52 | 0.000 % |
15.88/15.92 c | 26715 | 871 86161 373261 | 2147483647 26715 52 | 0.000 % |
16.28/16.35 c | 27124 | 871 86161 373261 | 2147483647 27124 52 | 0.000 % |
16.78/16.82 c | 27573 | 871 86161 373261 | 2147483647 27573 53 | 0.000 % |
16.88/16.94 c | 27674 | 871 86161 373261 | 2147483647 27674 53 | 0.000 % |
16.98/17.04 c | 27784 | 871 86161 373261 | 2147483647 27784 53 | 0.000 % |
17.08/17.17 c | 27908 | 871 86161 373261 | 2147483647 27908 53 | 0.000 % |
17.28/17.31 c | 28042 | 871 86161 373261 | 2147483647 28042 53 | 0.000 % |
17.38/17.49 c | 28189 | 871 86161 373261 | 2147483647 28189 53 | 0.000 % |
17.58/17.67 c | 28349 | 871 86161 373261 | 2147483647 28349 53 | 0.000 % |
17.78/17.85 c | 28525 | 871 86161 373261 | 2147483647 28525 53 | 0.000 % |
17.97/18.07 c | 28719 | 871 86161 373261 | 2147483647 28719 53 | 0.000 % |
18.17/18.30 c | 28934 | 871 86161 373261 | 2147483647 28934 53 | 0.000 % |
18.47/18.59 c | 29167 | 871 86161 373261 | 2147483647 29167 53 | 0.000 % |
18.77/18.87 c | 29425 | 871 86161 373261 | 2147483647 29425 53 | 0.000 % |
19.17/19.24 c | 29707 | 871 86161 373261 | 2147483647 29707 53 | 0.000 % |
19.47/19.58 c | 30017 | 871 86161 373261 | 2147483647 30017 53 | 0.000 % |
19.87/19.96 c | 30356 | 871 86161 373261 | 2147483647 30356 53 | 0.000 % |
20.17/20.27 c | 30728 | 871 86161 373261 | 2147483647 30728 53 | 0.000 % |
20.57/20.60 c | 31138 | 871 86161 373261 | 2147483647 31138 53 | 0.000 % |
21.07/21.18 c | 31589 | 871 86161 373261 | 2147483647 31589 54 | 0.000 % |
21.77/21.82 c | 32082 | 871 86161 373261 | 2147483647 32082 54 | 0.000 % |
21.97/22.01 c | 32182 | 871 86161 373261 | 2147483647 32182 54 | 0.000 % |
22.07/22.16 c | 32292 | 871 86161 373261 | 2147483647 32292 54 | 0.000 % |
22.27/22.31 c | 32413 | 871 86161 373261 | 2147483647 32413 54 | 0.000 % |
22.47/22.54 c | 32547 | 871 86161 373261 | 2147483647 32547 54 | 0.000 % |
22.67/22.76 c | 32693 | 871 86161 373261 | 2147483647 32693 54 | 0.000 % |
22.87/22.96 c | 32853 | 871 86161 373261 | 2147483647 32853 54 | 0.000 % |
23.07/23.11 c | 33030 | 871 86161 373261 | 2147483647 33030 54 | 0.000 % |
23.37/23.43 c | 33224 | 871 86161 373261 | 2147483647 33224 54 | 0.000 % |
23.67/23.71 c | 33437 | 871 86161 373261 | 2147483647 33437 54 | 0.000 % |
23.97/24.02 c | 33672 | 871 86161 373261 | 2147483647 33672 54 | 0.000 % |
24.27/24.37 c | 33928 | 871 86161 373261 | 2147483647 33928 54 | 0.000 % |
24.57/24.66 c | 34209 | 871 86161 373261 | 2147483647 34209 54 | 0.000 % |
24.97/25.04 c | 34519 | 871 86161 373261 | 2147483647 34519 54 | 0.000 % |
25.37/25.45 c | 34859 | 871 86161 373261 | 2147483647 34859 54 | 0.000 % |
25.77/25.86 c | 35231 | 871 86161 373261 | 2147483647 35231 54 | 0.000 % |
26.28/26.35 c | 35641 | 871 86161 373261 | 2147483647 35641 54 | 0.000 % |
26.57/26.65 c | 36091 | 871 86161 373261 | 2147483647 36091 54 | 0.000 % |
27.48/27.58 c | 36584 | 871 86161 373261 | 2147483647 36584 54 | 0.000 % |
28.48/28.52 c | 37127 | 871 86161 373261 | 2147483647 37127 54 | 0.000 % |
28.58/28.64 c | 37227 | 871 86161 373261 | 2147483647 37227 54 | 0.000 % |
28.77/28.82 c | 37338 | 871 86161 373261 | 2147483647 37338 54 | 0.000 % |
28.97/29.06 c | 37460 | 871 86161 373261 | 2147483647 37460 54 | 0.000 % |
29.27/29.30 c | 37595 | 871 86161 373261 | 2147483647 37595 54 | 0.000 % |
29.47/29.53 c | 37743 | 871 86161 373261 | 2147483647 37743 54 | 0.000 % |
29.68/29.72 c | 37906 | 871 86161 373261 | 2147483647 37906 54 | 0.000 % |
29.77/29.85 c | 38083 | 871 86161 373261 | 2147483647 38083 54 | 0.000 % |
30.07/30.19 c | 38277 | 871 86161 373261 | 2147483647 38277 54 | 0.000 % |
30.37/30.41 c | 38489 | 871 86161 373261 | 2147483647 38489 54 | 0.000 % |
30.57/30.65 c | 38724 | 871 86161 373261 | 2147483647 38724 54 | 0.000 % |
30.77/30.83 c | 38981 | 871 86161 373261 | 2147483647 38981 54 | 0.000 % |
31.17/31.29 c | 39262 | 871 86161 373261 | 2147483647 39262 54 | 0.000 % |
31.87/31.99 c | 39575 | 871 86161 373261 | 2147483647 39575 54 | 0.000 % |
32.57/32.69 c | 39914 | 871 86161 373261 | 2147483647 39914 54 | 0.000 % |
33.17/33.20 c | 40287 | 871 86161 373261 | 2147483647 40287 54 | 0.000 % |
33.57/33.69 c | 40700 | 871 86161 373261 | 2147483647 40700 54 | 0.000 % |
34.26/34.31 c | 41151 | 871 86161 373261 | 2147483647 41151 54 | 0.000 % |
34.96/35.03 c | 41645 | 871 86161 373261 | 2147483647 41645 54 | 0.000 % |
35.86/35.99 c | 42188 | 871 86161 373261 | 2147483647 42188 54 | 0.000 % |
36.96/37.00 c | 42786 | 871 86161 373261 | 2147483647 42786 54 | 0.000 % |
37.06/37.20 c | 42886 | 871 86161 373261 | 2147483647 42886 54 | 0.000 % |
37.27/37.39 c | 42999 | 871 86161 373261 | 2147483647 42999 54 | 0.000 % |
37.47/37.54 c | 43120 | 871 86161 373261 | 2147483647 43120 54 | 0.000 % |
37.67/37.72 c | 43254 | 871 86161 373261 | 2147483647 43254 54 | 0.000 % |
37.87/37.91 c | 43404 | 871 86161 373261 | 2147483647 43404 54 | 0.000 % |
37.97/38.07 c | 43568 | 871 86161 373261 | 2147483647 43568 54 | 0.000 % |
38.37/38.49 c | 43745 | 871 86161 373261 | 2147483647 43745 54 | 0.000 % |
38.66/38.74 c | 43939 | 871 86161 373261 | 2147483647 43939 54 | 0.000 % |
39.16/39.21 c | 44151 | 871 86161 373261 | 2147483647 44151 54 | 0.000 % |
39.47/39.57 c | 44385 | 871 86161 373261 | 2147483647 44385 54 | 0.000 % |
39.76/39.90 c | 44641 | 871 86161 373261 | 2147483647 44641 54 | 0.000 % |
40.26/40.30 c | 44922 | 871 86161 373261 | 2147483647 44922 54 | 0.000 % |
40.67/40.79 c | 45233 | 871 86161 373261 | 2147483647 45233 54 | 0.000 % |
41.46/41.58 c | 45575 | 871 86161 373261 | 2147483647 45575 54 | 0.000 % |
42.36/42.49 c | 45947 | 871 86161 373261 | 2147483647 45947 54 | 0.000 % |
43.56/43.61 c | 46356 | 871 86161 373261 | 2147483647 46356 54 | 0.000 % |
44.36/44.48 c | 46805 | 871 86161 373261 | 2147483647 46805 54 | 0.000 % |
45.36/45.44 c | 47304 | 871 86161 373261 | 2147483647 47304 54 | 0.000 % |
46.56/46.61 c | 47846 | 871 86161 373261 | 2147483647 47846 54 | 0.000 % |
47.76/47.80 c | 48445 | 871 86161 373261 | 2147483647 48445 54 | 0.000 % |
49.26/49.37 c | 49100 | 871 86161 373261 | 2147483647 49100 54 | 0.000 % |
49.56/49.66 c | 49200 | 871 86161 373261 | 2147483647 49200 54 | 0.000 % |
49.76/49.80 c | 49313 | 871 86161 373261 | 2147483647 49313 54 | 0.000 % |
50.06/50.17 c | 49437 | 871 86161 373261 | 2147483647 49437 54 | 0.000 % |
50.46/50.54 c | 49572 | 871 86161 373261 | 2147483647 49572 54 | 0.000 % |
50.96/51.07 c | 49718 | 871 86161 373261 | 2147483647 49718 54 | 0.000 % |
51.36/51.46 c | 49878 | 871 86161 373261 | 2147483647 49878 54 | 0.000 % |
51.96/52.01 c | 50056 | 871 86161 373261 | 2147483647 50056 54 | 0.000 % |
52.36/52.43 c | 50252 | 871 86161 373261 | 2147483647 50252 54 | 0.000 % |
52.96/53.03 c | 50465 | 871 86161 373261 | 2147483647 50465 54 | 0.000 % |
53.66/53.73 c | 50698 | 871 86161 373261 | 2147483647 50698 54 | 0.000 % |
54.26/54.37 c | 50954 | 871 86161 373261 | 2147483647 50954 54 | 0.000 % |
54.96/55.09 c | 51239 | 871 86161 373261 | 2147483647 51239 54 | 0.000 % |
55.76/55.87 c | 51549 | 871 86161 373261 | 2147483647 51549 54 | 0.000 % |
56.56/56.70 c | 51888 | 871 86161 373261 | 2147483647 51888 54 | 0.000 % |
57.66/57.77 c | 52260 | 871 86161 373261 | 2147483647 52260 54 | 0.000 % |
58.46/58.57 c | 52671 | 871 86161 373261 | 2147483647 52671 54 | 0.000 % |
59.45/59.57 c | 53120 | 871 86161 373261 | 2147483647 53120 54 | 0.000 % |
60.65/60.70 c | 53613 | 871 86161 373261 | 2147483647 53613 54 | 0.000 % |
61.65/61.77 c | 54155 | 871 86161 373261 | 2147483647 54155 54 | 0.000 % |
62.85/62.97 c | 54755 | 871 86161 373261 | 2147483647 54755 54 | 0.000 % |
63.76/63.84 c | 55415 | 871 86161 373261 | 2147483647 55415 54 | 0.000 % |
64.65/64.71 c | 56137 | 871 86161 373261 | 2147483647 56137 54 | 0.000 % |
64.76/64.85 c | 56237 | 871 86161 373261 | 2147483647 56237 54 | 0.000 % |
64.86/64.99 c | 56347 | 871 86161 373261 | 2147483647 56347 54 | 0.001 % |
65.05/65.16 c | 56470 | 871 86161 373261 | 2147483647 56470 54 | 0.000 % |
65.25/65.39 c | 56603 | 871 86161 373261 | 2147483647 56603 54 | 0.000 % |
65.55/65.62 c | 56749 | 871 86161 373261 | 2147483647 56749 54 | 0.000 % |
65.75/65.85 c | 56909 | 871 86161 373261 | 2147483647 56909 54 | 0.000 % |
66.05/66.13 c | 57091 | 871 86161 373261 | 2147483647 57091 54 | 0.000 % |
66.65/66.77 c | 57286 | 871 86161 373261 | 2147483647 57286 54 | 0.000 % |
67.05/67.16 c | 57499 | 871 86161 373261 | 2147483647 57499 54 | 0.000 % |
67.45/67.59 c | 57732 | 871 86161 373261 | 2147483647 57732 54 | 0.000 % |
68.16/68.25 c | 57988 | 871 86161 373261 | 2147483647 57988 54 | 0.000 % |
68.86/68.99 c | 58269 | 871 86161 373261 | 2147483647 58269 54 | 0.000 % |
69.66/69.77 c | 58580 | 871 86161 373261 | 2147483647 58580 54 | 0.000 % |
70.56/70.64 c | 58919 | 871 86161 373261 | 2147483647 58919 54 | 0.000 % |
71.66/71.76 c | 59291 | 871 86161 373261 | 2147483647 59291 54 | 0.000 % |
72.76/72.84 c | 59703 | 871 86161 373261 | 2147483647 59703 54 | 0.000 % |
74.06/74.16 c | 60154 | 871 86161 373261 | 2147483647 60154 54 | 0.000 % |
75.35/75.45 c | 60649 | 871 86161 373261 | 2147483647 60649 54 | 0.000 % |
76.45/76.52 c | 61192 | 871 86161 373261 | 2147483647 61192 54 | 0.000 % |
77.75/77.88 c | 61790 | 871 86161 373261 | 2147483647 61790 54 | 0.000 % |
79.65/79.78 c | 62445 | 871 86161 373261 | 2147483647 62445 54 | 0.000 % |
81.45/81.51 c | 63170 | 871 86161 373261 | 2147483647 63170 54 | 0.000 % |
83.55/83.60 c | 63962 | 871 86161 373261 | 2147483647 63962 54 | 0.000 % |
83.85/83.90 c | 64065 | 871 86161 373261 | 2147483647 64065 54 | 0.000 % |
84.25/84.30 c | 64175 | 871 86161 373261 | 2147483647 64175 54 | 0.000 % |
84.55/84.62 c | 64297 | 871 86161 373261 | 2147483647 64297 54 | 0.000 % |
84.95/85.08 c | 64431 | 871 86161 373261 | 2147483647 64431 54 | 0.000 % |
85.45/85.57 c | 64579 | 871 86161 373261 | 2147483647 64579 54 | 0.000 % |
86.05/86.18 c | 64740 | 871 86161 373261 | 2147483647 64740 54 | 0.000 % |
86.65/86.75 c | 64917 | 871 86161 373261 | 2147483647 64917 54 | 0.000 % |
87.15/87.21 c | 65111 | 871 86161 373261 | 2147483647 65111 54 | 0.000 % |
87.75/87.80 c | 65324 | 871 86161 373261 | 2147483647 65324 54 | 0.000 % |
88.35/88.44 c | 65558 | 871 86161 373261 | 2147483647 65558 54 | 0.000 % |
89.05/89.13 c | 65815 | 871 86161 373261 | 2147483647 65815 55 | 0.000 % |
89.65/89.79 c | 66097 | 871 86161 373261 | 2147483647 66097 55 | 0.000 % |
90.65/90.75 c | 66409 | 871 86161 373261 | 2147483647 66409 55 | 0.000 % |
91.35/91.41 c | 66748 | 871 86161 373261 | 2147483647 66748 55 | 0.000 % |
92.45/92.56 c | 67120 | 871 86161 373261 | 2147483647 67120 55 | 0.000 % |
93.75/93.83 c | 67532 | 871 86161 373261 | 2147483647 67532 55 | 0.000 % |
95.05/95.20 c | 67981 | 871 86161 373261 | 2147483647 67981 55 | 0.000 % |
95.85/95.93 c | 68474 | 871 86161 373261 | 2147483647 68474 55 | 0.000 % |
97.15/97.21 c | 69018 | 871 86161 373261 | 2147483647 69018 55 | 0.000 % |
98.95/99.04 c | 69614 | 871 86161 373261 | 2147483647 69614 55 | 0.000 % |
100.75/100.87 c | 70269 | 871 86161 373261 | 2147483647 70269 55 | 0.000 % |
102.55/102.65 c | 70989 | 871 86161 373261 | 2147483647 70989 55 | 0.000 % |
104.95/105.02 c | 71783 | 871 86161 373261 | 2147483647 71783 55 | 0.000 % |
107.75/107.88 c | 72655 | 871 86161 373261 | 2147483647 72655 55 | 0.000 % |
108.14/108.27 c | 72755 | 871 86161 373261 | 2147483647 72755 55 | 0.000 % |
108.44/108.57 c | 72866 | 871 86161 373261 | 2147483647 72866 54 | 0.000 % |
108.75/108.90 c | 72988 | 871 86161 373261 | 2147483647 72988 54 | 0.000 % |
109.14/109.26 c | 73121 | 871 86161 373261 | 2147483647 73121 54 | 0.000 % |
109.64/109.78 c | 73268 | 871 86161 373261 | 2147483647 73268 54 | 0.000 % |
110.14/110.25 c | 73428 | 871 86161 373261 | 2147483647 73428 54 | 0.000 % |
110.64/110.76 c | 73605 | 871 86161 373261 | 2147483647 73605 54 | 0.000 % |
111.14/111.26 c | 73799 | 871 86161 373261 | 2147483647 73799 54 | 0.000 % |
111.64/111.76 c | 74014 | 871 86161 373261 | 2147483647 74014 54 | 0.000 % |
112.64/112.71 c | 74248 | 871 86161 373261 | 2147483647 74248 54 | 0.000 % |
113.54/113.60 c | 74506 | 871 86161 373261 | 2147483647 74506 54 | 0.000 % |
114.44/114.54 c | 74787 | 871 86161 373261 | 2147483647 74787 54 | 0.000 % |
115.04/115.16 c | 75097 | 871 86161 373261 | 2147483647 75097 54 | 0.000 % |
116.24/116.34 c | 75436 | 871 86161 373261 | 2147483647 75436 54 | 0.000 % |
117.54/117.61 c | 75809 | 871 86161 373261 | 2147483647 75809 54 | 0.000 % |
118.84/118.97 c | 76218 | 871 86161 373261 | 2147483647 76218 54 | 0.000 % |
120.14/120.25 c | 76669 | 871 86161 373261 | 2147483647 76669 54 | 0.000 % |
121.64/121.72 c | 77162 | 871 86161 373261 | 2147483647 77162 54 | 0.000 % |
123.14/123.23 c | 77704 | 871 86161 373261 | 2147483647 77704 54 | 0.000 % |
124.54/124.63 c | 78303 | 871 86161 373261 | 2147483647 78303 54 | 0.000 % |
126.54/126.65 c | 78958 | 871 86161 373261 | 2147483647 78958 54 | 0.000 % |
128.34/128.43 c | 79679 | 871 86161 373261 | 2147483647 79679 54 | 0.000 % |
130.14/130.27 c | 80477 | 871 86161 373261 | 2147483647 80477 54 | 0.000 % |
131.94/132.02 c | 81348 | 871 86161 373261 | 2147483647 81348 54 | 0.000 % |
134.04/134.17 c | 82307 | 871 86161 373261 | 2147483647 82307 54 | 0.000 % |
134.33/134.40 c | 82408 | 871 86161 373261 | 2147483647 82408 54 | 0.000 % |
134.63/134.79 c | 82520 | 871 86161 373261 | 2147483647 82520 54 | 0.000 % |
135.24/135.35 c | 82641 | 871 86161 373261 | 2147483647 82641 54 | 0.000 % |
135.63/135.73 c | 82774 | 871 86161 373261 | 2147483647 82774 54 | 0.000 % |
136.13/136.25 c | 82921 | 871 86161 373261 | 2147483647 82921 54 | 0.000 % |
136.63/136.76 c | 83081 | 871 86161 373261 | 2147483647 83081 54 | 0.000 % |
137.23/137.39 c | 83257 | 871 86161 373261 | 2147483647 83257 54 | 0.000 % |
137.83/137.97 c | 83451 | 871 86161 373261 | 2147483647 83451 54 | 0.000 % |
138.54/138.68 c | 83665 | 871 86161 373261 | 2147483647 83665 54 | 0.000 % |
139.33/139.41 c | 83899 | 871 86161 373261 | 2147483647 83899 54 | 0.000 % |
139.83/139.97 c | 84156 | 871 86161 373261 | 2147483647 84156 54 | 0.000 % |
140.53/140.60 c | 84439 | 871 86161 373261 | 2147483647 84439 54 | 0.000 % |
141.23/141.30 c | 84749 | 871 86161 373261 | 2147483647 84749 54 | 0.000 % |
142.03/142.15 c | 85089 | 871 86161 373261 | 2147483647 85089 54 | 0.000 % |
143.43/143.55 c | 85463 | 871 86161 373261 | 2147483647 85463 54 | 0.000 % |
144.23/144.39 c | 85872 | 871 86161 373261 | 2147483647 85872 54 | 0.000 % |
145.03/145.17 c | 86321 | 871 86161 373261 | 2147483647 86321 54 | 0.000 % |
146.13/146.22 c | 86814 | 871 86161 373261 | 2147483647 86814 54 | 0.000 % |
147.33/147.42 c | 87356 | 871 86161 373261 | 2147483647 87356 54 | 0.000 % |
148.83/148.92 c | 87952 | 871 86161 373261 | 2147483647 87952 54 | 0.000 % |
150.23/150.34 c | 88608 | 871 86161 373261 | 2147483647 88608 54 | 0.000 % |
151.83/151.96 c | 89329 | 871 86161 373261 | 2147483647 89329 54 | 0.000 % |
153.83/153.99 c | 90121 | 871 86161 373261 | 2147483647 90121 54 | 0.000 % |
155.73/155.90 c | 90993 | 871 86161 373261 | 2147483647 90993 53 | 0.000 % |
158.23/158.33 c | 91951 | 871 86161 373261 | 2147483647 91951 53 | 0.000 % |
161.63/161.79 c | 93005 | 871 86161 373261 | 2147483647 93005 53 | 0.000 % |
162.12/162.23 c | 93105 | 871 86161 373261 | 2147483647 93105 53 | 0.000 % |
162.52/162.67 c | 93216 | 871 86161 373261 | 2147483647 93216 53 | 0.000 % |
162.82/163.00 c | 93337 | 871 86161 373261 | 2147483647 93337 53 | 0.000 % |
163.22/163.32 c | 93470 | 871 86161 373261 | 2147483647 93470 53 | 0.000 % |
163.63/163.72 c | 93618 | 871 86161 373261 | 2147483647 93618 53 | 0.000 % |
164.03/164.10 c | 93778 | 871 86161 373261 | 2147483647 93778 53 | 0.000 % |
164.43/164.58 c | 93957 | 871 86161 373261 | 2147483647 93957 53 | 0.000 % |
164.94/165.05 c | 94151 | 871 86161 373261 | 2147483647 94151 53 | 0.000 % |
165.63/165.78 c | 94363 | 871 86161 373261 | 2147483647 94363 53 | 0.000 % |
166.53/166.62 c | 94596 | 871 86161 373261 | 2147483647 94596 53 | 0.000 % |
167.53/167.68 c | 94855 | 871 86161 373261 | 2147483647 94855 53 | 0.000 % |
168.73/168.83 c | 95138 | 871 86161 373261 | 2147483647 95138 53 | 0.000 % |
169.73/169.81 c | 95449 | 871 86161 373261 | 2147483647 95449 53 | 0.001 % |
170.63/170.76 c | 95789 | 871 86161 373261 | 2147483647 95789 53 | 0.000 % |
171.53/171.62 c | 96161 | 871 86161 373261 | 2147483647 96161 53 | 0.000 % |
172.32/172.45 c | 96574 | 871 86161 373261 | 2147483647 96574 53 | 0.000 % |
173.52/173.64 c | 97023 | 871 86161 373261 | 2147483647 97023 53 | 0.000 % |
174.83/174.94 c | 97518 | 871 86161 373261 | 2147483647 97518 53 | 0.000 % |
176.72/176.83 c | 98061 | 871 86161 373261 | 2147483647 98061 53 | 0.000 % |
178.22/178.34 c | 98657 | 871 86161 373261 | 2147483647 98657 54 | 0.001 % |
180.52/180.63 c | 99312 | 871 86161 373261 | 2147483647 99312 54 | 0.000 % |
182.02/182.19 c | 100032 | 871 86161 373261 | 2147483647 100032 53 | 0.000 % |
184.62/184.72 c | 100826 | 871 86161 373261 | 2147483647 100826 54 | 0.000 % |
186.73/186.89 c | 101698 | 871 86161 373261 | 2147483647 101698 54 | 0.000 % |
189.43/189.59 c | 102658 | 871 86161 373261 | 2147483647 102658 54 | 0.000 % |
191.43/191.50 c | 103713 | 871 86161 373261 | 2147483647 103713 53 | 0.000 % |
194.12/194.22 c | 104872 | 871 86161 373261 | 2147483647 104872 53 | 0.000 % |
194.42/194.53 c | 104974 | 871 86161 373261 | 2147483647 104974 53 | 0.000 % |
194.82/194.92 c | 105085 | 871 86161 373261 | 2147483647 105085 53 | 0.000 % |
195.12/195.24 c | 105206 | 871 86161 373261 | 2147483647 105206 53 | 0.000 % |
195.32/195.48 c | 105339 | 871 86161 373261 | 2147483647 105339 53 | 0.000 % |
195.82/195.95 c | 105487 | 871 86161 373261 | 2147483647 105487 53 | 0.000 % |
196.52/196.65 c | 105648 | 871 86161 373261 | 2147483647 105648 53 | 0.000 % |
197.22/197.39 c | 105827 | 871 86161 373261 | 2147483647 105827 53 | 0.000 % |
197.83/197.99 c | 106020 | 871 86161 373261 | 2147483647 106020 53 | 0.000 % |
198.52/198.60 c | 106232 | 871 86161 373261 | 2147483647 106232 53 | 0.000 % |
199.03/199.19 c | 106465 | 871 86161 373261 | 2147483647 106465 53 | 0.000 % |
199.72/199.88 c | 106721 | 871 86161 373261 | 2147483647 106721 53 | 0.000 % |
200.52/200.67 c | 107003 | 871 86161 373261 | 2147483647 107003 53 | 0.000 % |
201.62/201.75 c | 107314 | 871 86161 373261 | 2147483647 107314 53 | 0.000 % |
203.02/203.14 c | 107653 | 871 86161 373261 | 2147483647 107653 53 | 0.000 % |
204.52/204.63 c | 108027 | 871 86161 373261 | 2147483647 108027 53 | 0.000 % |
205.72/205.82 c | 108436 | 871 86161 373261 | 2147483647 108436 53 | 0.000 % |
207.32/207.45 c | 108885 | 871 86161 373261 | 2147483647 108885 53 | 0.000 % |
209.02/209.13 c | 109379 | 871 86161 373261 | 2147483647 109379 53 | 0.000 % |
210.22/210.39 c | 109926 | 871 86161 373261 | 2147483647 109926 53 | 0.000 % |
212.02/212.19 c | 110522 | 871 86161 373261 | 2147483647 110522 53 | 0.000 % |
214.61/214.77 c | 111177 | 871 86161 373261 | 2147483647 111177 53 | 0.000 % |
217.51/217.65 c | 111897 | 871 86161 373261 | 2147483647 111897 53 | 0.000 % |
220.11/220.25 c | 112690 | 871 86161 373261 | 2147483647 112690 53 | 0.000 % |
222.71/222.87 c | 113562 | 871 86161 373261 | 2147483647 113562 53 | 0.000 % |
226.41/226.59 c | 114520 | 871 86161 373261 | 2147483647 114520 53 | 0.000 % |
230.82/230.92 c | 115576 | 871 86161 373261 | 2147483647 115576 53 | 0.000 % |
235.22/235.38 c | 116734 | 871 86161 373261 | 2147483647 116734 53 | 0.000 % |
240.71/240.81 c | 118008 | 871 86161 373261 | 2147483647 118008 53 | 0.000 % |
241.31/241.48 c | 118109 | 871 86161 373261 | 2147483647 118109 53 | 0.000 % |
241.91/242.07 c | 118222 | 871 86161 373261 | 2147483647 118222 53 | 0.000 % |
242.21/242.38 c | 118343 | 871 86161 373261 | 2147483647 118343 53 | 0.000 % |
242.91/243.03 c | 118479 | 871 86161 373261 | 2147483647 118479 53 | 0.000 % |
243.11/243.28 c | 118625 | 871 86161 373261 | 2147483647 118625 53 | 0.000 % |
243.91/244.09 c | 118786 | 871 86161 373261 | 2147483647 118786 53 | 0.000 % |
244.50/244.64 c | 118962 | 871 86161 373261 | 2147483647 118962 53 | 0.000 % |
245.30/245.48 c | 119155 | 871 86161 373261 | 2147483647 119155 53 | 0.000 % |
246.31/246.41 c | 119367 | 871 86161 373261 | 2147483647 119367 53 | 0.000 % |
247.31/247.48 c | 119601 | 871 86161 373261 | 2147483647 119601 53 | 0.000 % |
247.90/248.04 c | 119857 | 871 86161 373261 | 2147483647 119857 53 | 0.000 % |
248.51/248.64 c | 120138 | 871 86161 373261 | 120000 120138 53 | 0.000 % |
249.80/249.98 c | 120448 | 871 86161 373261 | 120000 101759 53 | 0.000 % |
250.90/251.03 c | 120795 | 871 86161 373261 | 120000 102106 53 | 0.000 % |
251.90/252.04 c | 121169 | 871 86161 373261 | 120000 102480 53 | 0.000 % |
252.81/253.00 c | 121578 | 871 86161 373261 | 120000 102889 53 | 0.000 % |
254.70/254.85 c | 122029 | 871 86161 373261 | 120000 103340 53 | 0.000 % |
256.80/256.94 c | 122523 | 871 86161 373261 | 120000 103834 53 | 0.000 % |
259.60/259.75 c | 123066 | 871 86161 373261 | 120000 104377 53 | 0.000 % |
261.90/262.00 c | 123662 | 871 86161 373261 | 120000 104973 53 | 0.000 % |
264.30/264.45 c | 124319 | 871 86161 373261 | 120000 105630 53 | 0.000 % |
266.01/266.19 c | 125041 | 871 86161 373261 | 120000 106352 53 | 0.000 % |
268.21/268.30 c | 125835 | 871 86161 373261 | 120000 107146 53 | 0.000 % |
272.00/272.12 c | 126706 | 871 86161 373261 | 120000 108017 53 | 0.000 % |
274.60/274.79 c | 127665 | 871 86161 373261 | 120000 108976 53 | 0.000 % |
278.50/278.65 c | 128718 | 871 86161 373261 | 120000 110029 53 | 0.000 % |
281.70/281.86 c | 129876 | 871 86161 373261 | 120000 111187 53 | 0.000 % |
285.30/285.46 c | 131150 | 871 86161 373261 | 111313 96656 52 | 0.000 % |
288.50/288.68 c | 132552 | 871 86161 373261 | 111313 98058 52 | 0.000 % |
288.90/289.03 c | 132653 | 871 86161 373261 | 111313 98159 52 | 0.000 % |
289.30/289.43 c | 132763 | 871 86161 373261 | 111313 98269 52 | 0.000 % |
289.70/289.83 c | 132884 | 871 86161 373261 | 111313 98390 52 | 0.000 % |
290.20/290.30 c | 133017 | 871 86161 373261 | 111313 98523 52 | 0.000 % |
290.70/290.81 c | 133163 | 871 86161 373261 | 111313 98669 52 | 0.000 % |
291.30/291.42 c | 133324 | 871 86161 373261 | 111313 98830 52 | 0.000 % |
291.80/292.00 c | 133502 | 871 86161 373261 | 111313 99008 52 | 0.000 % |
292.60/292.71 c | 133696 | 871 86161 373261 | 111313 99202 52 | 0.000 % |
293.20/293.37 c | 133909 | 871 86161 373261 | 111313 99415 52 | 0.000 % |
293.90/294.06 c | 134146 | 871 86161 373261 | 111313 99652 52 | 0.000 % |
294.40/294.58 c | 134403 | 871 86161 373261 | 111313 99909 52 | 0.000 % |
295.10/295.23 c | 134685 | 871 86161 373261 | 111313 100191 52 | 0.000 % |
296.30/296.46 c | 134995 | 871 86161 373261 | 111313 100501 52 | 0.000 % |
297.29/297.47 c | 135334 | 871 86161 373261 | 111313 100840 52 | 0.000 % |
298.19/298.38 c | 135706 | 871 86161 373261 | 111313 101212 52 | 0.000 % |
299.10/299.24 c | 136116 | 871 86161 373261 | 111313 101622 52 | 0.000 % |
300.20/300.30 c | 136567 | 871 86161 373261 | 111313 102073 52 | 0.000 % |
301.69/301.84 c | 137060 | 871 86161 373261 | 111313 102566 52 | 0.000 % |
303.99/304.14 c | 137603 | 871 86161 373261 | 111313 103109 52 | 0.000 % |
306.09/306.22 c | 138201 | 871 86161 373261 | 111313 103707 52 | 0.000 % |
308.29/308.47 c | 138859 | 871 86161 373261 | 111313 104365 52 | 0.000 % |
311.19/311.31 c | 139582 | 871 86161 373261 | 111313 105088 52 | 0.000 % |
314.09/314.25 c | 140374 | 871 86161 373261 | 2147483647 105880 52 | 0.000 % |
316.09/316.29 c | 141245 | 871 86161 373261 | 2147483647 106751 52 | 0.000 % |
319.39/319.58 c | 142205 | 871 86161 373261 | 2147483647 107711 52 | 0.000 % |
322.09/322.24 c | 143258 | 871 86161 373261 | 2147483647 108764 52 | 0.000 % |
324.78/324.97 c | 144421 | 871 86161 373261 | 2147483647 109927 52 | 0.000 % |
328.08/328.24 c | 145694 | 871 86161 373261 | 2147483647 111200 52 | 0.000 % |
331.99/332.13 c | 147096 | 871 86161 373261 | 2147483647 112602 52 | 0.000 % |
337.88/338.01 c | 148637 | 871 86161 373261 | 2147483647 114143 52 | 0.000 % |
338.18/338.36 c | 148740 | 871 86161 373261 | 2147483647 114246 52 | 0.000 % |
338.48/338.65 c | 148851 | 871 86161 373261 | 2147483647 114357 52 | 0.000 % |
338.98/339.13 c | 148972 | 871 86161 373261 | 2147483647 114478 52 | 0.000 % |
339.58/339.79 c | 149109 | 871 86161 373261 | 2147483647 114615 52 | 0.000 % |
340.28/340.40 c | 149255 | 871 86161 373261 | 2147483647 114761 52 | 0.000 % |
340.88/341.03 c | 149417 | 871 86161 373261 | 2147483647 114923 52 | 0.000 % |
341.48/341.66 c | 149595 | 871 86161 373261 | 2147483647 115101 52 | 0.000 % |
342.38/342.59 c | 149788 | 871 86161 373261 | 2147483647 115294 52 | 0.000 % |
343.37/343.51 c | 150003 | 871 86161 373261 | 2147483647 115509 52 | 0.000 % |
344.27/344.48 c | 150236 | 871 86161 373261 | 2147483647 115742 52 | 0.000 % |
345.18/345.35 c | 150492 | 871 86161 373261 | 2147483647 115998 52 | 0.000 % |
346.17/346.34 c | 150773 | 871 86161 373261 | 2147483647 116279 52 | 0.000 % |
347.48/347.60 c | 151082 | 871 86161 373261 | 2147483647 116588 52 | 0.000 % |
348.87/349.09 c | 151421 | 871 86161 373261 | 2147483647 116927 52 | 0.000 % |
350.18/350.33 c | 151794 | 871 86161 373261 | 2147483647 117300 52 | 0.000 % |
351.28/351.45 c | 152203 | 871 86161 373261 | 2147483647 117709 52 | 0.000 % |
352.98/353.11 c | 152653 | 871 86161 373261 | 2147483647 118159 52 | 0.000 % |
354.68/354.80 c | 153146 | 871 86161 373261 | 2147483647 118652 52 | 0.000 % |
356.88/357.03 c | 153689 | 871 86161 373261 | 2147483647 119195 52 | 0.000 % |
358.98/359.11 c | 154289 | 871 86161 373261 | 2147483647 119795 52 | 0.000 % |
361.28/361.45 c | 154945 | 871 86161 373261 | 2147483647 120451 52 | 0.000 % |
363.98/364.18 c | 155667 | 871 86161 373261 | 2147483647 121173 52 | 0.000 % |
366.78/366.98 c | 156459 | 871 86161 373261 | 2147483647 121965 52 | 0.000 % |
369.78/369.96 c | 157330 | 871 86161 373261 | 2147483647 122836 52 | 0.000 % |
372.98/373.13 c | 158289 | 871 86161 373261 | 2147483647 123795 52 | 0.000 % |
376.57/376.80 c | 159343 | 871 86161 373261 | 2147483647 124849 52 | 0.000 % |
380.48/380.69 c | 160501 | 871 86161 373261 | 2147483647 126007 52 | 0.000 % |
384.67/384.80 c | 161774 | 871 86161 373261 | 2147483647 127280 52 | 0.000 % |
388.37/388.58 c | 163177 | 871 86161 373261 | 2147483647 128683 52 | 0.000 % |
394.07/394.21 c | 164718 | 871 86161 373261 | 2147483647 130224 52 | 0.000 % |
398.46/398.62 c | 166412 | 871 86161 373261 | 2147483647 131918 52 | 0.000 % |
398.86/399.00 c | 166512 | 871 86161 373261 | 2147483647 132018 52 | 0.000 % |
399.26/399.45 c | 166623 | 871 86161 373261 | 2147483647 132129 52 | 0.000 % |
399.66/399.86 c | 166745 | 871 86161 373261 | 2147483647 132251 52 | 0.000 % |
400.27/400.41 c | 166878 | 871 86161 373261 | 2147483647 132384 52 | 0.000 % |
400.76/400.92 c | 167024 | 871 86161 373261 | 2147483647 132530 52 | 0.000 % |
401.56/401.71 c | 167186 | 871 86161 373261 | 2147483647 132692 52 | 0.000 % |
402.06/402.20 c | 167362 | 871 86161 373261 | 2147483647 132868 52 | 0.000 % |
402.76/402.90 c | 167555 | 871 86161 373261 | 2147483647 133061 52 | 0.000 % |
403.57/403.71 c | 167767 | 871 86161 373261 | 2147483647 133273 52 | 0.001 % |
404.16/404.38 c | 168000 | 871 86161 373261 | 2147483647 133506 52 | 0.000 % |
405.77/405.93 c | 168256 | 871 86161 373261 | 2147483647 133762 52 | 0.000 % |
406.66/406.81 c | 168538 | 871 86161 373261 | 2147483647 134044 52 | 0.000 % |
408.26/408.44 c | 168847 | 871 86161 373261 | 2147483647 134353 52 | 0.000 % |
409.76/409.98 c | 169187 | 871 86161 373261 | 2147483647 134693 52 | 0.000 % |
411.26/411.44 c | 169562 | 871 86161 373261 | 2147483647 135068 52 | 0.000 % |
413.26/413.41 c | 169973 | 871 86161 373261 | 2147483647 135479 52 | 0.000 % |
414.66/414.88 c | 170424 | 871 86161 373261 | 2147483647 135930 52 | 0.000 % |
416.56/416.73 c | 170918 | 871 86161 373261 | 2147483647 136424 52 | 0.000 % |
418.56/418.71 c | 171461 | 871 86161 373261 | 2147483647 136967 51 | 0.000 % |
420.56/420.77 c | 172059 | 871 86161 373261 | 2147483647 137565 51 | 0.000 % |
423.06/423.25 c | 172715 | 871 86161 373261 | 2147483647 138221 51 | 0.000 % |
426.46/426.64 c | 173437 | 871 86161 373261 | 2147483647 138943 51 | 0.000 % |
429.86/430.01 c | 174229 | 871 86161 373261 | 2147483647 139735 51 | 0.000 % |
433.05/433.30 c | 175102 | 871 86161 373261 | 2147483647 140608 51 | 0.000 % |
435.75/435.93 c | 176060 | 871 86161 373261 | 2147483647 141566 51 | 0.000 % |
441.25/441.42 c | 177113 | 871 86161 373261 | 2147483647 142619 51 | 0.000 % |
445.45/445.65 c | 178271 | 871 86161 373261 | 2147483647 143777 51 | 0.000 % |
450.75/450.97 c | 179545 | 871 86161 373261 | 2147483647 145051 51 | 0.000 % |
457.55/457.73 c | 180945 | 871 86161 373261 | 2147483647 146451 51 | 0.000 % |
463.54/463.79 c | 182486 | 871 86161 373261 | 2147483647 147992 51 | 0.000 % |
470.35/470.59 c | 184180 | 871 86161 373261 | 2147483647 149686 51 | 0.000 % |
479.24/479.40 c | 186043 | 871 86161 373261 | 2147483647 151549 51 | 0.000 % |
479.54/479.77 c | 186144 | 871 86161 373261 | 2147483647 151650 51 | 0.000 % |
480.14/480.35 c | 186254 | 871 86161 373261 | 2147483647 151760 51 | 0.000 % |
480.74/480.95 c | 186376 | 871 86161 373261 | 2147483647 151882 51 | 0.000 % |
481.14/481.37 c | 186510 | 871 86161 373261 | 2147483647 152016 51 | 0.000 % |
481.94/482.17 c | 186657 | 871 86161 373261 | 2147483647 152163 51 | 0.000 % |
482.75/482.96 c | 186818 | 871 86161 373261 | 2147483647 152324 51 | 0.000 % |
483.84/484.04 c | 186996 | 871 86161 373261 | 2147483647 152502 51 | 0.000 % |
484.84/485.02 c | 187191 | 871 86161 373261 | 2147483647 152697 51 | 0.000 % |
485.34/485.51 c | 187403 | 871 86161 373261 | 2147483647 152909 51 | 0.000 % |
486.14/486.33 c | 187638 | 871 86161 373261 | 2147483647 153144 51 | 0.000 % |
487.34/487.54 c | 187898 | 871 86161 373261 | 2147483647 153404 51 | 0.000 % |
489.03/489.25 c | 188180 | 871 86161 373261 | 2147483647 153686 51 | 0.000 % |
491.14/491.37 c | 188497 | 871 86161 373261 | 2147483647 154003 51 | 0.000 % |
492.54/492.80 c | 188836 | 871 86161 373261 | 2147483647 154342 51 | 0.000 % |
493.23/493.43 c | 189210 | 871 86161 373261 | 2147483647 154716 51 | 0.000 % |
494.74/494.94 c | 189620 | 871 86161 373261 | 2147483647 155126 51 | 0.000 % |
496.94/497.10 c | 190070 | 871 86161 373261 | 155507 155576 51 | 0.000 % |
501.03/501.22 c | 190566 | 871 86161 373261 | 155507 133339 50 | 0.000 % |
504.03/504.28 c | 191110 | 871 86161 373261 | 155507 133883 50 | 0.000 % |
505.93/506.15 c | 191706 | 871 86161 373261 | 155507 134479 50 | 0.000 % |
508.93/509.14 c | 192363 | 871 86161 373261 | 155507 135136 50 | 0.000 % |
512.63/512.80 c | 193086 | 871 86161 373261 | 155507 135859 50 | 0.000 % |
516.63/516.89 c | 193878 | 871 86161 373261 | 155507 136651 50 | 0.000 % |
520.52/520.78 c | 194749 | 871 86161 373261 | 155507 137522 50 | 0.000 % |
526.32/526.54 c | 195707 | 871 86161 373261 | 155507 138480 50 | 0.000 % |
532.23/532.49 c | 196761 | 871 86161 373261 | 155507 139534 50 | 0.000 % |
536.73/536.91 c | 197919 | 871 86161 373261 | 155507 140692 50 | 0.000 % |
544.43/544.68 c | 199194 | 871 86161 373261 | 155507 141967 50 | 0.000 % |
552.42/552.66 c | 200594 | 871 86161 373261 | 142775 106054 49 | 0.000 % |
560.62/560.80 c | 202135 | 871 86161 373261 | 142775 107595 49 | 0.000 % |
569.72/569.91 c | 203829 | 871 86161 373261 | 142775 109289 49 | 0.000 % |
580.71/580.99 c | 205692 | 871 86161 373261 | 142775 111152 49 | 0.000 % |
585.51/585.79 c | 207741 | 871 86161 373261 | 142775 113201 49 | 0.000 % |
586.02/586.20 c | 207844 | 871 86161 373261 | 142775 113304 49 | 0.000 % |
586.12/586.34 c | 207955 | 871 86161 373261 | 142775 113415 49 | 0.000 % |
586.31/586.51 c | 208076 | 871 86161 373261 | 142775 113536 49 | 0.000 % |
587.41/587.62 c | 208211 | 871 86161 373261 | 142775 113671 49 | 0.000 % |
588.32/588.58 c | 208357 | 871 86161 373261 | 142775 113817 49 | 0.000 % |
589.42/589.68 c | 208518 | 871 86161 373261 | 142775 113978 49 | 0.000 % |
590.81/591.05 c | 208694 | 871 86161 373261 | 142775 114154 49 | 0.000 % |
592.51/592.73 c | 208888 | 871 86161 373261 | 142775 114348 49 | 0.000 % |
593.11/593.37 c | 209103 | 871 86161 373261 | 142775 114563 49 | 0.000 % |
594.51/594.75 c | 209338 | 871 86161 373261 | 142775 114798 49 | 0.000 % |
595.61/595.88 c | 209596 | 871 86161 373261 | 142775 115056 49 | 0.000 % |
596.51/596.70 c | 209877 | 871 86161 373261 | 142775 115337 49 | 0.000 % |
597.81/598.04 c | 210186 | 871 86161 373261 | 115460 115646 49 | 0.000 % |
601.31/601.59 c | 210525 | 871 86161 373261 | 115460 81513 48 | 0.000 % |
603.21/603.42 c | 210898 | 871 86161 373261 | 115460 81886 48 | 0.000 % |
605.21/605.48 c | 211309 | 871 86161 373261 | 115460 82297 48 | 0.000 % |
606.21/606.46 c | 211759 | 871 86161 373261 | 115460 82747 48 | 0.000 % |
607.10/607.38 c | 212252 | 871 86161 373261 | 115460 83240 48 | 0.000 % |
608.20/608.43 c | 212794 | 871 86161 373261 | 115460 83782 48 | 0.000 % |
610.31/610.55 c | 213390 | 871 86161 373261 | 115460 84378 48 | 0.000 % |
612.70/612.96 c | 214047 | 871 86161 373261 | 115460 85035 48 | 0.000 % |
615.90/616.19 c | 214767 | 871 86161 373261 | 115460 85755 48 | 0.000 % |
620.00/620.26 c | 215559 | 871 86161 373261 | 115460 86547 48 | 0.000 % |
624.50/624.74 c | 216431 | 871 86161 373261 | 115460 87419 48 | 0.000 % |
628.30/628.51 c | 217389 | 871 86161 373261 | 115460 88377 48 | 0.000 % |
633.70/633.93 c | 218442 | 871 86161 373261 | 115460 89430 48 | 0.000 % |
639.70/639.93 c | 219600 | 871 86161 373261 | 115460 90588 48 | 0.000 % |
645.89/646.10 c | 220874 | 871 86161 373261 | 90988 67392 48 | 0.000 % |
649.49/649.78 c | 222274 | 871 86161 373261 | 90988 68792 47 | 0.000 % |
652.89/653.12 c | 223816 | 871 86161 373261 | 90988 70334 47 | 0.000 % |
656.39/656.65 c | 225511 | 871 86161 373261 | 90988 72029 47 | 0.000 % |
659.39/659.64 c | 227375 | 871 86161 373261 | 90988 73893 48 | 0.000 % |
666.29/666.60 c | 229426 | 871 86161 373261 | 90988 75944 48 | 0.000 % |
673.38/673.66 c | 231680 | 871 86161 373261 | 76518 68315 48 | 0.000 % |
673.58/673.83 c | 231780 | 871 86161 373261 | 76518 68415 48 | 0.000 % |
673.78/674.07 c | 231892 | 871 86161 373261 | 76518 68527 48 | 0.000 % |
674.09/674.32 c | 232015 | 871 86161 373261 | 76518 68650 48 | 0.000 % |
674.48/674.74 c | 232149 | 871 86161 373261 | 76518 68784 48 | 0.000 % |
674.98/675.26 c | 232295 | 871 86161 373261 | 76518 68930 48 | 0.000 % |
675.48/675.74 c | 232455 | 871 86161 373261 | 76518 69090 48 | 0.000 % |
675.98/676.21 c | 232633 | 871 86161 373261 | 76518 69268 48 | 0.000 % |
676.19/676.44 c | 232826 | 871 86161 373261 | 76518 69461 48 | 0.000 % |
676.78/677.00 c | 233040 | 871 86161 373261 | 76518 69675 48 | 0.000 % |
677.39/677.63 c | 233273 | 871 86161 373261 | 76518 69908 48 | 0.000 % |
677.78/678.06 c | 233530 | 871 86161 373261 | 76518 70165 48 | 0.000 % |
678.68/679.00 c | 233811 | 871 86161 373261 | 76518 70446 48 | 0.000 % |
679.49/679.80 c | 234121 | 871 86161 373261 | 76518 70756 48 | 0.000 % |
680.28/680.56 c | 234460 | 871 86161 373261 | 76518 71095 48 | 0.000 % |
681.28/681.52 c | 234832 | 871 86161 373261 | 76518 71467 48 | 0.000 % |
682.48/682.74 c | 235242 | 871 86161 373261 | 76518 71877 48 | 0.000 % |
683.48/683.75 c | 235695 | 871 86161 373261 | 76518 72330 48 | 0.000 % |
685.18/685.43 c | 236190 | 871 86161 373261 | 76518 72825 48 | 0.000 % |
686.88/687.17 c | 236733 | 871 86161 373261 | 76518 73368 48 | 0.000 % |
689.08/689.38 c | 237330 | 871 86161 373261 | 76518 73965 48 | 0.000 % |
691.08/691.31 c | 237986 | 871 86161 373261 | 76518 74621 48 | 0.000 % |
692.98/693.21 c | 238708 | 871 86161 373261 | 76518 75343 48 | 0.000 % |
695.38/695.68 c | 239500 | 871 86161 373261 | 76518 76135 48 | 0.000 % |
697.38/697.66 c | 240372 | 871 86161 373261 | 2147483647 77007 48 | 0.000 % |
699.77/700.09 c | 241331 | 871 86161 373261 | 2147483647 77966 48 | 0.000 % |
702.37/702.69 c | 242384 | 871 86161 373261 | 2147483647 79019 48 | 0.000 % |
704.97/705.27 c | 243545 | 871 86161 373261 | 2147483647 80180 48 | 0.000 % |
708.77/709.01 c | 244819 | 871 86161 373261 | 2147483647 81454 48 | 0.000 % |
712.77/713.04 c | 246219 | 871 86161 373261 | 2147483647 82854 48 | 0.000 % |
716.37/716.62 c | 247759 | 871 86161 373261 | 2147483647 84394 48 | 0.000 % |
720.87/721.10 c | 249453 | 871 86161 373261 | 2147483647 86088 48 | 0.000 % |
725.77/726.07 c | 251317 | 871 86161 373261 | 2147483647 87952 48 | 0.000 % |
731.96/732.21 c | 253366 | 871 86161 373261 | 2147483647 90001 48 | 0.000 % |
738.56/738.86 c | 255621 | 871 86161 373261 | 2147483647 92256 48 | 0.000 % |
746.16/746.45 c | 258099 | 871 86161 373261 | 2147483647 94734 47 | 0.000 % |
746.36/746.65 c | 258199 | 871 86161 373261 | 2147483647 94834 47 | 0.000 % |
746.76/747.08 c | 258309 | 871 86161 373261 | 2147483647 94944 47 | 0.000 % |
747.16/747.43 c | 258433 | 871 86161 373261 | 2147483647 95068 47 | 0.000 % |
747.76/748.01 c | 258567 | 871 86161 373261 | 2147483647 95202 47 | 0.000 % |
748.26/748.51 c | 258713 | 871 86161 373261 | 2147483647 95348 47 | 0.000 % |
748.76/749.05 c | 258873 | 871 86161 373261 | 2147483647 95508 47 | 0.000 % |
749.16/749.47 c | 259052 | 871 86161 373261 | 2147483647 95687 47 | 0.000 % |
749.96/750.28 c | 259245 | 871 86161 373261 | 2147483647 95880 47 | 0.000 % |
750.56/750.81 c | 259457 | 871 86161 373261 | 2147483647 96092 47 | 0.000 % |
751.15/751.43 c | 259692 | 871 86161 373261 | 2147483647 96327 47 | 0.000 % |
751.65/751.96 c | 259948 | 871 86161 373261 | 2147483647 96583 48 | 0.000 % |
752.75/753.09 c | 260229 | 871 86161 373261 | 96640 83578 48 | 0.000 % |
753.26/753.52 c | 260540 | 871 86161 373261 | 96640 83889 48 | 0.000 % |
753.95/754.22 c | 260880 | 871 86161 373261 | 96640 84229 48 | 0.000 % |
754.75/755.00 c | 261253 | 871 86161 373261 | 96640 84602 48 | 0.000 % |
755.65/755.97 c | 261665 | 871 86161 373261 | 96640 85014 48 | 0.000 % |
756.56/756.90 c | 262115 | 871 86161 373261 | 96640 85464 48 | 0.000 % |
757.45/757.72 c | 262609 | 871 86161 373261 | 96640 85958 48 | 0.000 % |
758.25/758.55 c | 263151 | 871 86161 373261 | 96640 86500 48 | 0.000 % |
759.05/759.32 c | 263748 | 871 86161 373261 | 96640 87097 48 | 0.000 % |
760.45/760.79 c | 264403 | 871 86161 373261 | 96640 87752 48 | 0.000 % |
761.85/762.11 c | 265126 | 871 86161 373261 | 96640 88475 48 | 0.000 % |
763.15/763.48 c | 265918 | 871 86161 373261 | 96640 89267 48 | 0.000 % |
764.75/765.02 c | 266790 | 871 86161 373261 | 96640 90139 48 | 0.000 % |
766.65/766.95 c | 267748 | 871 86161 373261 | 96640 91097 48 | 0.000 % |
768.75/769.09 c | 268802 | 871 86161 373261 | 96640 92151 48 | 0.000 % |
771.04/771.37 c | 269962 | 871 86161 373261 | 96640 93311 48 | 0.000 % |
773.74/774.06 c | 271235 | 871 86161 373261 | 2147483647 94584 48 | 0.000 % |
776.54/776.80 c | 272636 | 871 86161 373261 | 2147483647 95985 48 | 0.000 % |
779.24/779.51 c | 274180 | 871 86161 373261 | 2147483647 97529 48 | 0.000 % |
782.54/782.82 c | 275874 | 871 86161 373261 | 2147483647 99223 48 | 0.000 % |
785.94/786.29 c | 277741 | 871 86161 373261 | 2147483647 101090 48 | 0.000 % |
789.14/789.48 c | 279792 | 871 86161 373261 | 2147483647 103141 48 | 0.000 % |
793.14/793.40 c | 282045 | 871 86161 373261 | 2147483647 105394 48 | 0.000 % |
799.34/799.66 c | 284524 | 871 86161 373261 | 2147483647 107873 48 | 0.000 % |
805.63/805.93 c | 287251 | 871 86161 373261 | 2147483647 110600 48 | 0.000 % |
805.83/806.10 c | 287353 | 871 86161 373261 | 2147483647 110702 48 | 0.000 % |
806.04/806.33 c | 287463 | 871 86161 373261 | 2147483647 110812 48 | 0.000 % |
806.23/806.56 c | 287585 | 871 86161 373261 | 2147483647 110934 48 | 0.000 % |
806.53/806.85 c | 287719 | 871 86161 373261 | 2147483647 111068 48 | 0.000 % |
806.93/807.21 c | 287867 | 871 86161 373261 | 2147483647 111216 48 | 0.000 % |
807.14/807.46 c | 288028 | 871 86161 373261 | 2147483647 111377 48 | 0.000 % |
807.73/808.05 c | 288206 | 871 86161 373261 | 2147483647 111555 48 | 0.000 % |
808.14/808.48 c | 288399 | 871 86161 373261 | 2147483647 111748 48 | 0.000 % |
808.53/808.80 c | 288612 | 871 86161 373261 | 2147483647 111961 48 | 0.000 % |
808.93/809.25 c | 288847 | 871 86161 373261 | 2147483647 112196 48 | 0.000 % |
809.73/810.02 c | 289103 | 871 86161 373261 | 2147483647 112452 48 | 0.000 % |
810.53/810.85 c | 289385 | 871 86161 373261 | 2147483647 112734 48 | 0.000 % |
811.23/811.54 c | 289694 | 871 86161 373261 | 2147483647 113043 48 | 0.000 % |
811.83/812.15 c | 290033 | 871 86161 373261 | 2147483647 113382 48 | 0.000 % |
813.03/813.33 c | 290405 | 871 86161 373261 | 2147483647 113754 48 | 0.000 % |
814.03/814.34 c | 290814 | 871 86161 373261 | 2147483647 114163 48 | 0.000 % |
815.23/815.56 c | 291264 | 871 86161 373261 | 2147483647 114613 48 | 0.000 % |
816.53/816.86 c | 291757 | 871 86161 373261 | 2147483647 115106 48 | 0.000 % |
817.53/817.82 c | 292299 | 871 86161 373261 | 2147483647 115648 48 | 0.000 % |
818.93/819.29 c | 292899 | 871 86161 373261 | 2147483647 116248 48 | 0.000 % |
820.43/820.75 c | 293554 | 871 86161 373261 | 2147483647 116903 48 | 0.000 % |
822.23/822.60 c | 294274 | 871 86161 373261 | 2147483647 117623 48 | 0.000 % |
824.33/824.65 c | 295066 | 871 86161 373261 | 2147483647 118415 48 | 0.000 % |
826.93/827.25 c | 295945 | 871 86161 373261 | 2147483647 119294 48 | 0.000 % |
829.04/829.39 c | 296903 | 871 86161 373261 | 2147483647 120252 48 | 0.000 % |
831.23/831.58 c | 297961 | 871 86161 373261 | 2147483647 121310 48 | 0.000 % |
833.43/833.79 c | 299122 | 871 86161 373261 | 2147483647 122471 48 | 0.000 % |
835.63/835.91 c | 300398 | 871 86161 373261 | 2147483647 123747 48 | 0.000 % |
838.33/838.61 c | 301798 | 871 86161 373261 | 2147483647 125147 48 | 0.000 % |
841.33/841.63 c | 303338 | 871 86161 373261 | 2147483647 126687 48 | 0.000 % |
845.53/845.80 c | 305033 | 871 86161 373261 | 2147483647 128382 48 | 0.000 % |
850.72/851.06 c | 306899 | 871 86161 373261 | 2147483647 130248 48 | 0.000 % |
855.82/856.19 c | 308949 | 871 86161 373261 | 2147483647 132298 48 | 0.000 % |
860.12/860.49 c | 311202 | 871 86161 373261 | 2147483647 134551 48 | 0.000 % |
865.82/866.11 c | 313680 | 871 86161 373261 | 2147483647 137029 48 | 0.000 % |
873.02/873.31 c | 316405 | 871 86161 373261 | 2147483647 139754 48 | 0.000 % |
882.01/882.36 c | 319403 | 871 86161 373261 | 2147483647 142752 47 | 0.000 % |
882.31/882.61 c | 319503 | 871 86161 373261 | 2147483647 142852 47 | 0.000 % |
882.71/883.04 c | 319616 | 871 86161 373261 | 2147483647 142965 47 | 0.000 % |
883.21/883.50 c | 319737 | 871 86161 373261 | 2147483647 143086 47 | 0.000 % |
883.61/883.91 c | 319870 | 871 86161 373261 | 2147483647 143219 47 | 0.000 % |
884.21/884.52 c | 320017 | 871 86161 373261 | 143350 143366 47 | 0.000 % |
885.12/885.48 c | 320177 | 871 86161 373261 | 143350 126224 47 | 0.000 % |
885.71/886.04 c | 320354 | 871 86161 373261 | 143350 126401 47 | 0.000 % |
886.22/886.53 c | 320550 | 871 86161 373261 | 143350 126597 47 | 0.000 % |
886.81/887.13 c | 320762 | 871 86161 373261 | 143350 126809 47 | 0.000 % |
887.31/887.62 c | 320995 | 871 86161 373261 | 143350 127042 47 | 0.000 % |
887.71/888.08 c | 321251 | 871 86161 373261 | 143350 127298 47 | 0.000 % |
888.21/888.51 c | 321532 | 871 86161 373261 | 143350 127579 47 | 0.000 % |
889.01/889.33 c | 321842 | 871 86161 373261 | 143350 127889 47 | 0.000 % |
890.01/890.33 c | 322181 | 871 86161 373261 | 143350 128228 47 | 0.000 % |
890.91/891.26 c | 322553 | 871 86161 373261 | 143350 128600 47 | 0.000 % |
892.21/892.53 c | 322966 | 871 86161 373261 | 143350 129013 47 | 0.000 % |
893.61/893.95 c | 323417 | 871 86161 373261 | 143350 129464 47 | 0.000 % |
894.91/895.28 c | 323913 | 871 86161 373261 | 143350 129960 47 | 0.000 % |
896.31/896.67 c | 324455 | 871 86161 373261 | 143350 130502 47 | 0.000 % |
897.51/897.90 c | 325052 | 871 86161 373261 | 143350 131099 47 | 0.000 % |
899.51/899.87 c | 325707 | 871 86161 373261 | 143350 131754 47 | 0.000 % |
901.21/901.54 c | 326428 | 871 86161 373261 | 143350 132475 47 | 0.000 % |
903.20/903.52 c | 327221 | 871 86161 373261 | 143350 133268 47 | 0.000 % |
905.30/905.63 c | 328092 | 871 86161 373261 | 143350 134139 47 | 0.000 % |
908.40/908.78 c | 329051 | 871 86161 373261 | 143350 135098 47 | 0.000 % |
911.80/912.18 c | 330104 | 871 86161 373261 | 136049 136151 47 | 0.000 % |
915.30/915.65 c | 331264 | 871 86161 373261 | 136049 120985 46 | 0.000 % |
918.80/919.11 c | 332538 | 871 86161 373261 | 136049 122259 46 | 0.000 % |
921.70/922.07 c | 333940 | 871 86161 373261 | 136049 123661 46 | 0.000 % |
924.60/924.94 c | 335481 | 871 86161 373261 | 136049 125202 46 | 0.000 % |
927.60/927.98 c | 337177 | 871 86161 373261 | 136049 126898 46 | 0.000 % |
932.80/933.15 c | 339040 | 871 86161 373261 | 136049 128761 46 | 0.000 % |
938.49/938.85 c | 341090 | 871 86161 373261 | 2147483647 130811 46 | 0.000 % |
943.29/943.66 c | 343344 | 871 86161 373261 | 2147483647 133065 46 | 0.000 % |
949.79/950.10 c | 345822 | 871 86161 373261 | 2147483647 135543 46 | 0.000 % |
954.99/955.38 c | 348549 | 871 86161 373261 | 2147483647 138270 46 | 0.000 % |
964.19/964.60 c | 351546 | 871 86161 373261 | 139721 126777 46 | 0.000 % |
973.09/973.43 c | 354842 | 871 86161 373261 | 139721 130073 46 | 0.000 % |
973.38/973.70 c | 354945 | 871 86161 373261 | 139721 130176 46 | 0.000 % |
973.68/974.09 c | 355057 | 871 86161 373261 | 139721 130288 46 | 0.001 % |
974.19/974.57 c | 355180 | 871 86161 373261 | 139721 130411 46 | 0.000 % |
974.78/975.11 c | 355313 | 871 86161 373261 | 139721 130544 46 | 0.000 % |
975.29/975.61 c | 355461 | 871 86161 373261 | 139721 130692 46 | 0.000 % |
975.78/976.11 c | 355623 | 871 86161 373261 | 139721 130854 46 | 0.000 % |
976.08/976.47 c | 355800 | 871 86161 373261 | 139721 131031 46 | 0.000 % |
976.68/977.03 c | 355995 | 871 86161 373261 | 139721 131226 46 | 0.000 % |
977.38/977.73 c | 356207 | 871 86161 373261 | 139721 131438 46 | 0.000 % |
977.98/978.38 c | 356440 | 871 86161 373261 | 139721 131671 46 | 0.000 % |
978.59/978.99 c | 356697 | 871 86161 373261 | 139721 131928 46 | 0.000 % |
979.08/979.49 c | 356978 | 871 86161 373261 | 139721 132209 46 | 0.000 % |
980.08/980.43 c | 357287 | 871 86161 373261 | 139721 132518 46 | 0.000 % |
981.18/981.59 c | 357628 | 871 86161 373261 | 139721 132859 46 | 0.000 % |
982.18/982.54 c | 358000 | 871 86161 373261 | 139721 133231 46 | 0.000 % |
983.38/983.79 c | 358410 | 871 86161 373261 | 139721 133641 46 | 0.000 % |
984.48/984.82 c | 358859 | 871 86161 373261 | 139721 134090 46 | 0.000 % |
985.88/986.25 c | 359353 | 871 86161 373261 | 139721 134584 46 | 0.000 % |
986.98/987.35 c | 359896 | 871 86161 373261 | 139721 135127 46 | 0.000 % |
988.18/988.54 c | 360497 | 871 86161 373261 | 2147483647 135728 46 | 0.000 % |
989.58/989.97 c | 361152 | 871 86161 373261 | 2147483647 136383 46 | 0.000 % |
991.57/991.92 c | 361874 | 871 86161 373261 | 2147483647 137105 46 | 0.000 % |
993.27/993.65 c | 362668 | 871 86161 373261 | 2147483647 137899 46 | 0.000 % |
995.47/995.89 c | 363540 | 871 86161 373261 | 2147483647 138771 46 | 0.000 % |
997.87/998.27 c | 364498 | 871 86161 373261 | 2147483647 139729 46 | 0.000 % |
1000.37/1000.74 c | 365553 | 871 86161 373261 | 2147483647 140784 46 | 0.000 % |
1004.17/1004.58 c | 366711 | 871 86161 373261 | 2147483647 141942 46 | 0.000 % |
1007.97/1008.31 c | 367984 | 871 86161 373261 | 2147483647 143215 46 | 0.000 % |
1011.67/1012.04 c | 369384 | 871 86161 373261 | 2147483647 144615 46 | 0.000 % |
1016.47/1016.85 c | 370924 | 871 86161 373261 | 2147483647 146155 46 | 0.000 % |
1020.06/1020.47 c | 372619 | 871 86161 373261 | 2147483647 147850 46 | 0.000 % |
1025.17/1025.53 c | 374485 | 871 86161 373261 | 2147483647 149716 46 | 0.000 % |
1032.07/1032.41 c | 376535 | 871 86161 373261 | 2147483647 151766 46 | 0.000 % |
1037.77/1038.19 c | 378789 | 871 86161 373261 | 2147483647 154020 46 | 0.000 % |
1045.17/1045.54 c | 381271 | 871 86161 373261 | 155231 140627 46 | 0.000 % |
1051.96/1052.34 c | 383996 | 871 86161 373261 | 155231 143352 46 | 0.000 % |
1059.26/1059.66 c | 386994 | 871 86161 373261 | 155231 146350 46 | 0.000 % |
1065.46/1065.85 c | 390290 | 871 86161 373261 | 2147483647 149646 46 | 0.000 % |
1074.85/1075.23 c | 393918 | 871 86161 373261 | 2147483647 153274 46 | 0.000 % |
1075.25/1075.60 c | 394019 | 871 86161 373261 | 2147483647 153375 46 | 0.000 % |
1075.85/1076.22 c | 394130 | 871 86161 373261 | 2147483647 153486 46 | 0.000 % |
1076.05/1076.45 c | 394251 | 871 86161 373261 | 2147483647 153607 46 | 0.000 % |
1076.75/1077.11 c | 394386 | 871 86161 373261 | 2147483647 153742 46 | 0.000 % |
1077.35/1077.75 c | 394532 | 871 86161 373261 | 2147483647 153888 46 | 0.000 % |
1078.05/1078.48 c | 394692 | 871 86161 373261 | 2147483647 154048 46 | 0.000 % |
1078.85/1079.29 c | 394868 | 871 86161 373261 | 2147483647 154224 46 | 0.000 % |
1079.45/1079.85 c | 395061 | 871 86161 373261 | 2147483647 154417 46 | 0.000 % |
1080.75/1081.19 c | 395280 | 871 86161 373261 | 2147483647 154636 46 | 0.000 % |
1081.85/1082.20 c | 395516 | 871 86161 373261 | 2147483647 154872 46 | 0.000 % |
1082.65/1083.09 c | 395773 | 871 86161 373261 | 2147483647 155129 46 | 0.000 % |
1083.65/1084.02 c | 396056 | 871 86161 373261 | 2147483647 155412 46 | 0.000 % |
1085.05/1085.48 c | 396365 | 871 86161 373261 | 2147483647 155721 46 | 0.000 % |
1086.35/1086.78 c | 396706 | 871 86161 373261 | 2147483647 156062 46 | 0.000 % |
1087.45/1087.85 c | 397078 | 871 86161 373261 | 2147483647 156434 46 | 0.000 % |
1088.95/1089.31 c | 397487 | 871 86161 373261 | 2147483647 156843 46 | 0.000 % |
1090.75/1091.13 c | 397936 | 871 86161 373261 | 2147483647 157292 46 | 0.000 % |
1091.85/1092.29 c | 398431 | 871 86161 373261 | 2147483647 157787 46 | 0.000 % |
1093.05/1093.42 c | 398973 | 871 86161 373261 | 2147483647 158329 46 | 0.000 % |
1095.04/1095.41 c | 399571 | 871 86161 373261 | 2147483647 158927 46 | 0.000 % |
1096.94/1097.31 c | 400226 | 871 86161 373261 | 159359 159582 46 | 0.000 % |
1099.64/1100.05 c | 400947 | 871 86161 373261 | 159359 133815 46 | 0.000 % |
1102.14/1102.54 c | 401740 | 871 86161 373261 | 159359 134608 46 | 0.000 % |
1104.24/1104.66 c | 402613 | 871 86161 373261 | 159359 135481 46 | 0.000 % |
1106.74/1107.17 c | 403575 | 871 86161 373261 | 159359 136443 46 | 0.000 % |
1109.64/1110.08 c | 404632 | 871 86161 373261 | 159359 137500 46 | 0.000 % |
1112.04/1112.49 c | 405790 | 871 86161 373261 | 159359 138658 46 | 0.000 % |
1115.44/1115.81 c | 407064 | 871 86161 373261 | 159359 139932 46 | 0.000 % |
1119.34/1119.75 c | 408467 | 871 86161 373261 | 159359 141335 46 | 0.000 % |
1123.13/1123.56 c | 410011 | 871 86161 373261 | 142869 142879 46 | 0.000 % |
1128.33/1128.71 c | 411705 | 871 86161 373261 | 142869 126248 46 | 0.000 % |
1133.13/1133.50 c | 413569 | 871 86161 373261 | 142869 128112 46 | 0.000 % |
1138.83/1139.21 c | 415618 | 871 86161 373261 | 142869 130161 46 | 0.000 % |
1145.83/1146.30 c | 417871 | 871 86161 373261 | 142869 132414 46 | 0.000 % |
1152.12/1152.57 c | 420356 | 871 86161 373261 | 2147483647 134899 46 | 0.000 % |
1158.62/1159.04 c | 423083 | 871 86161 373261 | 2147483647 137626 46 | 0.000 % |
1166.02/1166.44 c | 426081 | 871 86161 373261 | 2147483647 140624 46 | 0.000 % |
1173.02/1173.47 c | 429377 | 871 86161 373261 | 2147483647 143920 46 | 0.000 % |
1184.61/1185.07 c | 433003 | 871 86161 373261 | 2147483647 147546 46 | 0.000 % |
1197.31/1197.79 c | 436990 | 871 86161 373261 | 2147483647 151533 46 | 0.000 % |
1197.91/1198.39 c | 437090 | 871 86161 373261 | 2147483647 151633 46 | 0.000 % |
1198.41/1198.84 c | 437202 | 871 86161 373261 | 2147483647 151745 46 | 0.000 % |
1198.91/1199.37 c | 437323 | 871 86161 373261 | 2147483647 151866 46 | 0.000 % |
1199.51/1199.99 c | 437456 | 871 86161 373261 | 2147483647 151999 46 | 0.000 % |
1200.31/1200.70 c | 437604 | 871 86161 373261 | 2147483647 152147 46 | 0.000 % |
1200.91/1201.38 c | 437764 | 871 86161 373261 | 2147483647 152307 46 | 0.000 % |
1201.61/1202.05 c | 437945 | 871 86161 373261 | 2147483647 152488 46 | 0.000 % |
1202.01/1202.47 c | 438138 | 871 86161 373261 | 2147483647 152681 46 | 0.000 % |
1202.81/1203.27 c | 438351 | 871 86161 373261 | 2147483647 152894 46 | 0.000 % |
1203.71/1204.14 c | 438588 | 871 86161 373261 | 2147483647 153131 46 | 0.000 % |
1204.91/1205.33 c | 438845 | 871 86161 373261 | 2147483647 153388 46 | 0.000 % |
1205.41/1205.87 c | 439126 | 871 86161 373261 | 2147483647 153669 46 | 0.000 % |
1205.91/1206.35 c | 439436 | 871 86161 373261 | 2147483647 153979 46 | 0.000 % |
1206.61/1207.09 c | 439775 | 871 86161 373261 | 2147483647 154318 46 | 0.000 % |
1208.01/1208.44 c | 440148 | 871 86161 373261 | 154543 154691 46 | 0.000 % |
1209.91/1210.39 c | 440558 | 871 86161 373261 | 154543 125937 45 | 0.000 % |
1211.51/1211.96 c | 441008 | 871 86161 373261 | 154543 126387 45 | 0.000 % |
1213.01/1213.45 c | 441503 | 871 86161 373261 | 154543 126882 45 | 0.000 % |
1215.01/1215.48 c | 442045 | 871 86161 373261 | 154543 127424 45 | 0.000 % |
1217.31/1217.77 c | 442641 | 871 86161 373261 | 154543 128020 45 | 0.000 % |
1219.51/1219.91 c | 443298 | 871 86161 373261 | 154543 128677 45 | 0.000 % |
1221.81/1222.27 c | 444020 | 871 86161 373261 | 154543 129399 45 | 0.000 % |
1225.01/1225.46 c | 444812 | 871 86161 373261 | 154543 130191 45 | 0.000 % |
1228.60/1229.04 c | 445684 | 871 86161 373261 | 154543 131063 45 | 0.000 % |
1231.61/1232.05 c | 446644 | 871 86161 373261 | 154543 132023 45 | 0.000 % |
1234.10/1234.59 c | 447699 | 871 86161 373261 | 154543 133078 45 | 0.000 % |
1237.80/1238.29 c | 448858 | 871 86161 373261 | 154543 134237 45 | 0.000 % |
1241.41/1241.90 c | 450131 | 871 86161 373261 | 135380 135510 45 | 0.000 % |
1246.30/1246.76 c | 451531 | 871 86161 373261 | 135380 111568 45 | 0.000 % |
1249.50/1249.94 c | 453071 | 871 86161 373261 | 135380 113108 45 | 0.000 % |
1254.60/1255.01 c | 454767 | 871 86161 373261 | 135380 114804 45 | 0.000 % |
1260.10/1260.50 c | 456633 | 871 86161 373261 | 135380 116670 45 | 0.000 % |
1265.79/1266.26 c | 458683 | 871 86161 373261 | 135380 118720 45 | 0.000 % |
1273.09/1273.54 c | 460936 | 871 86161 373261 | 120037 104721 45 | 0.000 % |
1280.49/1280.94 c | 463417 | 871 86161 373261 | 120037 107202 45 | 0.000 % |
1287.29/1287.70 c | 466143 | 871 86161 373261 | 120037 109928 45 | 0.000 % |
1295.39/1295.90 c | 469140 | 871 86161 373261 | 120037 112925 45 | 0.000 % |
1302.08/1302.54 c | 472437 | 871 86161 373261 | 113785 103258 44 | 0.000 % |
1311.18/1311.61 c | 476063 | 871 86161 373261 | 113785 106884 44 | 0.000 % |
1321.47/1321.92 c | 480051 | 871 86161 373261 | 2147483647 110872 44 | 0.000 % |
1336.77/1337.27 c | 484439 | 871 86161 373261 | 2147483647 115260 45 | 0.000 % |
1336.97/1337.47 c | 484539 | 871 86161 373261 | 2147483647 115360 45 | 0.000 % |
1337.37/1337.85 c | 484650 | 871 86161 373261 | 2147483647 115471 45 | 0.000 % |
1337.67/1338.11 c | 484773 | 871 86161 373261 | 2147483647 115594 45 | 0.000 % |
1337.97/1338.49 c | 484906 | 871 86161 373261 | 2147483647 115727 45 | 0.000 % |
1338.57/1339.02 c | 485054 | 871 86161 373261 | 2147483647 115875 45 | 0.000 % |
1339.07/1339.58 c | 485214 | 871 86161 373261 | 2147483647 116035 45 | 0.000 % |
1339.57/1340.04 c | 485392 | 871 86161 373261 | 2147483647 116213 45 | 0.000 % |
1339.97/1340.43 c | 485586 | 871 86161 373261 | 2147483647 116407 45 | 0.000 % |
1340.77/1341.23 c | 485800 | 871 86161 373261 | 2147483647 116621 45 | 0.000 % |
1341.57/1342.03 c | 486035 | 871 86161 373261 | 2147483647 116856 45 | 0.000 % |
1342.37/1342.84 c | 486292 | 871 86161 373261 | 2147483647 117113 45 | 0.000 % |
1342.97/1343.47 c | 486574 | 871 86161 373261 | 2147483647 117395 45 | 0.000 % |
1343.77/1344.27 c | 486885 | 871 86161 373261 | 2147483647 117706 45 | 0.000 % |
1344.96/1345.42 c | 487224 | 871 86161 373261 | 2147483647 118045 45 | 0.000 % |
1346.16/1346.60 c | 487597 | 871 86161 373261 | 2147483647 118418 45 | 0.000 % |
1347.46/1347.97 c | 488008 | 871 86161 373261 | 2147483647 118829 45 | 0.000 % |
1349.06/1349.59 c | 488458 | 871 86161 373261 | 2147483647 119279 45 | 0.000 % |
1351.06/1351.58 c | 488952 | 871 86161 373261 | 2147483647 119773 45 | 0.000 % |
1353.16/1353.64 c | 489498 | 871 86161 373261 | 2147483647 120319 45 | 0.000 % |
1354.96/1355.40 c | 490094 | 871 86161 373261 | 120821 120915 45 | 0.000 % |
1357.26/1357.71 c | 490750 | 871 86161 373261 | 120821 105219 44 | 0.000 % |
1358.86/1359.38 c | 491471 | 871 86161 373261 | 120821 105940 44 | 0.000 % |
1360.96/1361.45 c | 492263 | 871 86161 373261 | 120821 106732 44 | 0.000 % |
1363.26/1363.71 c | 493134 | 871 86161 373261 | 120821 107603 44 | 0.000 % |
1366.26/1366.72 c | 494095 | 871 86161 373261 | 120821 108564 44 | 0.000 % |
1369.06/1369.53 c | 495150 | 871 86161 373261 | 120821 109619 44 | 0.000 % |
1371.75/1372.24 c | 496309 | 871 86161 373261 | 120821 110778 44 | 0.000 % |
1374.95/1375.47 c | 497583 | 871 86161 373261 | 120821 112052 44 | 0.000 % |
1379.95/1380.44 c | 498985 | 871 86161 373261 | 120821 113454 44 | 0.000 % |
1386.05/1386.55 c | 500525 | 871 86161 373261 | 2147483647 114994 44 | 0.000 % |
1389.45/1389.94 c | 502220 | 871 86161 373261 | 2147483647 116689 44 | 0.000 % |
1395.15/1395.64 c | 504085 | 871 86161 373261 | 2147483647 118554 44 | 0.000 % |
1400.45/1400.91 c | 506135 | 871 86161 373261 | 2147483647 120604 44 | 0.000 % |
1404.34/1404.85 c | 508389 | 871 86161 373261 | 2147483647 122858 44 | 0.000 % |
1410.85/1411.38 c | 510867 | 871 86161 373261 | 2147483647 125336 44 | 0.000 % |
1417.04/1417.50 c | 513592 | 871 86161 373261 | 2147483647 128061 44 | 0.000 % |
1421.13/1421.60 c | 516589 | 871 86161 373261 | 2147483647 131058 44 | 0.000 % |
1425.23/1425.71 c | 519885 | 871 86161 373261 | 2147483647 134354 44 | 0.000 % |
1431.33/1431.80 c | 523510 | 871 86161 373261 | 2147483647 137979 44 | 0.000 % |
1438.83/1439.37 c | 527497 | 871 86161 373261 | 2147483647 141966 44 | 0.000 % |
1449.03/1449.59 c | 531884 | 871 86161 373261 | 2147483647 146353 44 | 0.000 % |
1460.62/1461.17 c | 536708 | 871 86161 373261 | 2147483647 151177 44 | 0.000 % |
1460.92/1461.45 c | 536810 | 871 86161 373261 | 2147483647 151279 44 | 0.000 % |
1461.12/1461.63 c | 536920 | 871 86161 373261 | 2147483647 151389 44 | 0.000 % |
1461.52/1462.03 c | 537041 | 871 86161 373261 | 2147483647 151510 44 | 0.000 % |
1461.92/1462.42 c | 537176 | 871 86161 373261 | 2147483647 151645 44 | 0.000 % |
1462.32/1462.86 c | 537322 | 871 86161 373261 | 2147483647 151791 44 | 0.000 % |
1462.82/1463.39 c | 537485 | 871 86161 373261 | 2147483647 151954 44 | 0.000 % |
1463.52/1464.01 c | 537662 | 871 86161 373261 | 2147483647 152131 44 | 0.000 % |
1464.02/1464.54 c | 537856 | 871 86161 373261 | 2147483647 152325 44 | 0.000 % |
1464.62/1465.17 c | 538070 | 871 86161 373261 | 2147483647 152539 44 | 0.000 % |
1465.32/1465.85 c | 538306 | 871 86161 373261 | 2147483647 152775 44 | 0.000 % |
1466.22/1466.76 c | 538565 | 871 86161 373261 | 2147483647 153034 44 | 0.000 % |
1467.12/1467.60 c | 538847 | 871 86161 373261 | 2147483647 153316 44 | 0.000 % |
1468.02/1468.60 c | 539156 | 871 86161 373261 | 2147483647 153625 44 | 0.000 % |
1469.12/1469.66 c | 539498 | 871 86161 373261 | 2147483647 153967 44 | 0.000 % |
1470.22/1470.70 c | 539870 | 871 86161 373261 | 2147483647 154339 44 | 0.000 % |
1476.91/1477.42 c | 540280 | 871 86161 373261 | 154469 129322 44 | 0.000 % |
1478.11/1478.64 c | 540730 | 871 86161 373261 | 154469 129772 44 | 0.000 % |
1479.61/1480.10 c | 541224 | 871 86161 373261 | 154469 130266 44 | 0.000 % |
1481.22/1481.79 c | 541766 | 871 86161 373261 | 154469 130808 44 | 0.000 % |
1483.01/1483.53 c | 542363 | 871 86161 373261 | 154469 131405 44 | 0.000 % |
1484.01/1484.55 c | 543020 | 871 86161 373261 | 154469 132062 44 | 0.000 % |
1484.81/1485.38 c | 543741 | 871 86161 373261 | 154469 132783 44 | 0.000 % |
1485.62/1486.12 c | 544533 | 871 86161 373261 | 154469 133575 44 | 0.000 % |
1486.31/1486.87 c | 545404 | 871 86161 373261 | 154469 134446 44 | 0.000 % |
1487.41/1487.90 c | 546365 | 871 86161 373261 | 154469 135407 44 | 0.000 % |
1488.41/1488.98 c | 547418 | 871 86161 373261 | 154469 136460 44 | 0.000 % |
1489.41/1489.99 c | 548576 | 871 86161 373261 | 154469 137618 44 | 0.000 % |
1491.41/1491.97 c | 549850 | 871 86161 373261 | 154469 138892 44 | 0.000 % |
1493.51/1494.00 c | 551251 | 871 86161 373261 | 2147483647 140293 44 | 0.000 % |
1495.51/1496.02 c | 552792 | 871 86161 373261 | 2147483647 141834 44 | 0.000 % |
1497.51/1498.04 c | 554486 | 871 86161 373261 | 2147483647 143528 44 | 0.000 % |
1500.80/1501.36 c | 556350 | 871 86161 373261 | 2147483647 145392 45 | 0.000 % |
1503.90/1504.41 c | 558399 | 871 86161 373261 | 2147483647 147441 45 | 0.000 % |
1507.00/1507.56 c | 560652 | 871 86161 373261 | 2147483647 149694 45 | 0.000 % |
1511.00/1511.51 c | 563131 | 871 86161 373261 | 2147483647 152173 45 | 0.000 % |
1516.00/1516.53 c | 565859 | 871 86161 373261 | 2147483647 154901 45 | 0.000 % |
1521.20/1521.77 c | 568857 | 871 86161 373261 | 2147483647 157899 45 | 0.000 % |
1528.50/1529.02 c | 572154 | 871 86161 373261 | 2147483647 161196 45 | 0.000 % |
1537.09/1537.70 c | 575779 | 871 86161 373261 | 2147483647 164821 45 | 0.000 % |
1546.89/1547.47 c | 579767 | 871 86161 373261 | 2147483647 168809 45 | 0.000 % |
1559.69/1560.25 c | 584152 | 871 86161 373261 | 169042 148313 45 | 0.000 % |
1576.79/1577.35 c | 588977 | 871 86161 373261 | 169042 153138 45 | 0.000 % |
1608.17/1608.76 c | 594284 | 871 86161 373261 | 154162 125282 46 | 0.000 % |
1608.78/1609.33 c | 594387 | 871 86161 373261 | 154162 125385 46 | 0.000 % |
1609.37/1609.94 c | 594498 | 871 86161 373261 | 154162 125496 46 | 0.000 % |
1610.17/1610.71 c | 594620 | 871 86161 373261 | 154162 125618 46 | 0.000 % |
1610.67/1611.28 c | 594753 | 871 86161 373261 | 154162 125751 46 | 0.000 % |
1611.57/1612.16 c | 594899 | 871 86161 373261 | 154162 125897 46 | 0.000 % |
1612.57/1613.13 c | 595059 | 871 86161 373261 | 154162 126057 46 | 0.000 % |
1613.67/1614.23 c | 595236 | 871 86161 373261 | 154162 126234 46 | 0.000 % |
1614.87/1615.47 c | 595430 | 871 86161 373261 | 154162 126428 46 | 0.000 % |
1616.07/1616.70 c | 595644 | 871 86161 373261 | 154162 126642 46 | 0.000 % |
1617.27/1617.89 c | 595877 | 871 86161 373261 | 154162 126875 46 | 0.000 % |
1618.87/1619.49 c | 596133 | 871 86161 373261 | 154162 127131 46 | 0.000 % |
1620.77/1621.39 c | 596416 | 871 86161 373261 | 154162 127414 46 | 0.000 % |
1622.57/1623.12 c | 596725 | 871 86161 373261 | 154162 127723 46 | 0.000 % |
1624.67/1625.23 c | 597065 | 871 86161 373261 | 154162 128063 46 | 0.000 % |
1626.46/1627.05 c | 597439 | 871 86161 373261 | 154162 128437 46 | 0.000 % |
1628.47/1629.08 c | 597850 | 871 86161 373261 | 154162 128848 46 | 0.000 % |
1631.36/1631.90 c | 598299 | 871 86161 373261 | 154162 129297 46 | 0.000 % |
1634.27/1634.88 c | 598792 | 871 86161 373261 | 154162 129790 46 | 0.000 % |
1637.97/1638.57 c | 599336 | 871 86161 373261 | 154162 130334 46 | 0.000 % |
1641.97/1642.58 c | 599933 | 871 86161 373261 | 154162 130931 46 | 0.000 % |
1650.77/1651.33 c | 600589 | 871 86161 373261 | 131000 86975 49 | 0.000 % |
1654.87/1655.44 c | 601309 | 871 86161 373261 | 131000 87695 49 | 0.000 % |
1659.76/1660.34 c | 602104 | 871 86161 373261 | 131000 88490 49 | 0.000 % |
1665.26/1665.84 c | 602976 | 871 86161 373261 | 131000 89362 49 | 0.000 % |
1671.37/1671.94 c | 603936 | 871 86161 373261 | 131000 90322 49 | 0.000 % |
1677.66/1678.24 c | 604989 | 871 86161 373261 | 131000 91375 49 | 0.000 % |
1682.46/1683.00 c | 606149 | 871 86161 373261 | 131000 92535 49 | 0.000 % |
1687.66/1688.27 c | 607422 | 871 86161 373261 | 131000 93808 49 | 0.000 % |
1696.45/1697.02 c | 608823 | 871 86161 373261 | 131000 95209 49 | 0.000 % |
1708.15/1708.70 c | 610364 | 871 86161 373261 | 96386 61027 50 | 0.000 % |
1717.24/1717.85 c | 612058 | 871 86161 373261 | 96386 62721 50 | 0.000 % |
1729.34/1729.96 c | 613921 | 871 86161 373261 | 96386 64584 49 | 0.000 % |
1740.04/1740.70 c | 615971 | 871 86161 373261 | 96386 66634 49 | 0.000 % |
1753.73/1754.30 c | 618225 | 871 86161 373261 | 96386 68888 49 | 0.000 % |
1766.93/1767.56 c | 620703 | 871 86161 373261 | 70664 45859 48 | 0.000 % |
1775.13/1775.78 c | 623428 | 871 86161 373261 | 70664 48584 48 | 0.000 % |
1783.12/1783.71 c | 626427 | 871 86161 373261 | 70664 51583 47 | 0.000 % |
1786.22/1786.84 c | 629723 | 871 86161 373261 | 70664 54879 47 | 0.000 % |
1796.92/1797.53 c | 633351 | 871 86161 373261 | 55156 45508 46 | 0.000 % |
1807.41/1808.08 c | 637341 | 871 86161 373261 | 55156 49498 46 | 0.000 % |
1816.71/1817.35 c | 641726 | 871 86161 373261 | 2147483647 53883 46 | 0.000 % |
1820.91/1821.59 c | 646550 | 871 86161 373261 | 2147483647 58707 46 | 0.000 % |
1841.60/1842.22 c | 651855 | 871 86161 373261 | 2147483647 64012 47 | 0.000 % |
1863.39/1864.01 c | 657694 | 871 86161 373261 | 2147483647 69851 47 | 0.000 % |
1863.80/1864.49 c | 657794 | 871 86161 373261 | 2147483647 69951 47 | 0.000 % |
1864.49/1865.11 c | 657905 | 871 86161 373261 | 2147483647 70062 47 | 0.000 % |
1865.09/1865.72 c | 658026 | 871 86161 373261 | 2147483647 70183 47 | 0.000 % |
1865.29/1865.92 c | 658160 | 871 86161 373261 | 2147483647 70317 47 | 0.000 % |
1865.39/1866.08 c | 658306 | 871 86161 373261 | 2147483647 70463 47 | 0.000 % |
1866.49/1867.14 c | 658466 | 871 86161 373261 | 2147483647 70623 47 | 0.000 % |
1867.50/1868.14 c | 658642 | 871 86161 373261 | 2147483647 70799 47 | 0.000 % |
1868.69/1869.39 c | 658838 | 871 86161 373261 | 2147483647 70995 47 | 0.000 % |
1868.99/1869.60 c | 659050 | 871 86161 373261 | 2147483647 71207 47 | 0.000 % |
1869.49/1870.10 c | 659284 | 871 86161 373261 | 2147483647 71441 47 | 0.000 % |
1870.50/1871.10 c | 659543 | 871 86161 373261 | 2147483647 71700 47 | 0.000 % |
1871.69/1872.39 c | 659824 | 871 86161 373261 | 2147483647 71981 47 | 0.000 % |
1872.99/1873.62 c | 660135 | 871 86161 373261 | 2147483647 72292 47 | 0.000 % |
1874.39/1875.09 c | 660474 | 871 86161 373261 | 2147483647 72631 47 | 0.000 % |
1876.39/1877.05 c | 660847 | 871 86161 373261 | 2147483647 73004 47 | 0.000 % |
1879.69/1880.32 c | 661256 | 871 86161 373261 | 2147483647 73413 47 | 0.000 % |
1882.49/1883.14 c | 661705 | 871 86161 373261 | 2147483647 73862 47 | 0.000 % |
1885.19/1885.81 c | 662199 | 871 86161 373261 | 2147483647 74356 47 | 0.000 % |
1886.79/1887.42 c | 662743 | 871 86161 373261 | 2147483647 74900 47 | 0.000 % |
1887.59/1888.20 c | 663340 | 871 86161 373261 | 2147483647 75497 47 | 0.000 % |
1890.49/1891.18 c | 663996 | 871 86161 373261 | 2147483647 76153 47 | 0.000 % |
1894.19/1894.88 c | 664716 | 871 86161 373261 | 2147483647 76873 47 | 0.000 % |
1897.18/1897.87 c | 665509 | 871 86161 373261 | 2147483647 77666 46 | 0.000 % |
1899.18/1899.83 c | 666382 | 871 86161 373261 | 2147483647 78539 46 | 0.000 % |
1904.68/1905.38 c | 667340 | 871 86161 373261 | 2147483647 79497 47 | 0.000 % |
1910.58/1911.24 c | 668395 | 871 86161 373261 | 2147483647 80552 47 | 0.000 % |
1916.48/1917.10 c | 669553 | 871 86161 373261 | 2147483647 81710 47 | 0.000 % |
1923.68/1924.37 c | 670826 | 871 86161 373261 | 2147483647 82983 47 | 0.000 % |
1930.78/1931.40 c | 672227 | 871 86161 373261 | 2147483647 84384 46 | 0.000 % |
1938.48/1939.20 c | 673772 | 871 86161 373261 | 2147483647 85929 46 | 0.000 % |
1945.28/1945.99 c | 675469 | 871 86161 373261 | 2147483647 87626 46 | 0.000 % |
1950.48/1951.17 c | 677333 | 871 86161 373261 | 2147483647 89490 46 | 0.000 % |
1954.77/1955.43 c | 679385 | 871 86161 373261 | 2147483647 91542 45 | 0.000 % |
1965.27/1965.94 c | 681640 | 871 86161 373261 | 2147483647 93797 45 | 0.000 % |
1969.17/1969.88 c | 684122 | 871 86161 373261 | 2147483647 96279 45 | 0.000 % |
1980.06/1980.70 c | 686848 | 871 86161 373261 | 2147483647 99005 45 | 0.000 % |
1983.06/1983.78 c | 689848 | 871 86161 373261 | 2147483647 102005 45 | 0.000 % |
1998.66/1999.38 c | 693144 | 871 86161 373261 | 2147483647 105301 45 | 0.000 % |
2013.55/2014.24 c | 696769 | 871 86161 373261 | 2147483647 108926 45 | 0.000 % |
2027.85/2028.58 c | 700756 | 871 86161 373261 | 2147483647 112913 45 | 0.000 % |
2046.74/2047.48 c | 705142 | 871 86161 373261 | 2147483647 117299 45 | 0.000 % |
2072.64/2073.34 c | 709967 | 871 86161 373261 | 2147483647 122124 45 | 0.000 % |
2093.43/2094.12 c | 715276 | 871 86161 373261 | 2147483647 127433 45 | 0.000 % |
2112.02/2112.75 c | 721111 | 871 86161 373261 | 2147483647 133268 45 | 0.000 % |
2139.31/2140.09 c | 727529 | 871 86161 373261 | 2147483647 139686 46 | 0.000 % |
2139.82/2140.55 c | 727629 | 871 86161 373261 | 2147483647 139786 46 | 0.000 % |
2140.11/2140.84 c | 727739 | 871 86161 373261 | 2147483647 139896 46 | 0.000 % |
2140.81/2141.55 c | 727860 | 871 86161 373261 | 2147483647 140017 46 | 0.000 % |
2141.61/2142.38 c | 727993 | 871 86161 373261 | 2147483647 140150 46 | 0.000 % |
2142.91/2143.60 c | 728139 | 871 86161 373261 | 2147483647 140296 46 | 0.000 % |
2143.71/2144.48 c | 728299 | 871 86161 373261 | 2147483647 140456 46 | 0.000 % |
2144.51/2145.28 c | 728475 | 871 86161 373261 | 2147483647 140632 46 | 0.000 % |
2144.91/2145.65 c | 728668 | 871 86161 373261 | 2147483647 140825 46 | 0.000 % |
2145.61/2146.30 c | 728880 | 871 86161 373261 | 2147483647 141037 46 | 0.000 % |
2146.11/2146.87 c | 729115 | 871 86161 373261 | 2147483647 141272 46 | 0.000 % |
2147.71/2148.43 c | 729373 | 871 86161 373261 | 2147483647 141530 46 | 0.000 % |
2148.81/2149.53 c | 729654 | 871 86161 373261 | 2147483647 141811 46 | 0.001 % |
2151.01/2151.79 c | 729965 | 871 86161 373261 | 2147483647 142122 46 | 0.000 % |
2153.41/2154.19 c | 730304 | 871 86161 373261 | 2147483647 142461 46 | 0.000 % |
2155.41/2156.13 c | 730678 | 871 86161 373261 | 2147483647 142835 46 | 0.000 % |
2156.01/2156.76 c | 731090 | 871 86161 373261 | 2147483647 143247 46 | 0.000 % |
2158.91/2159.65 c | 731544 | 871 86161 373261 | 2147483647 143701 46 | 0.000 % |
2161.01/2161.76 c | 732038 | 871 86161 373261 | 2147483647 144195 46 | 0.000 % |
2165.40/2166.12 c | 732584 | 871 86161 373261 | 2147483647 144741 46 | 0.000 % |
2167.70/2168.49 c | 733180 | 871 86161 373261 | 2147483647 145337 46 | 0.000 % |
2169.90/2170.65 c | 733836 | 871 86161 373261 | 2147483647 145993 46 | 0.000 % |
2172.60/2173.38 c | 734557 | 871 86161 373261 | 2147483647 146714 46 | 0.000 % |
2175.00/2175.78 c | 735349 | 871 86161 373261 | 2147483647 147506 46 | 0.000 % |
2176.50/2177.25 c | 736221 | 871 86161 373261 | 2147483647 148378 46 | 0.000 % |
2178.10/2178.81 c | 737179 | 871 86161 373261 | 2147483647 149336 46 | 0.000 % |
2179.60/2180.37 c | 738232 | 871 86161 373261 | 2147483647 150389 46 | 0.000 % |
2181.40/2182.10 c | 739391 | 871 86161 373261 | 2147483647 151548 46 | 0.000 % |
2188.70/2189.41 c | 740664 | 871 86161 373261 | 2147483647 152821 46 | 0.000 % |
2197.00/2197.77 c | 742064 | 871 86161 373261 | 2147483647 154221 46 | 0.000 % |
2204.39/2205.17 c | 743604 | 871 86161 373261 | 2147483647 155761 46 | 0.000 % |
2210.89/2211.67 c | 745298 | 871 86161 373261 | 2147483647 157455 46 | 0.000 % |
2220.89/2221.62 c | 747161 | 871 86161 373261 | 2147483647 159318 46 | 0.000 % |
2233.39/2234.11 c | 749210 | 871 86161 373261 | 2147483647 161367 46 | 0.000 % |
2244.28/2245.09 c | 751463 | 871 86161 373261 | 2147483647 163620 46 | 0.000 % |
2257.18/2257.90 c | 753941 | 871 86161 373261 | 2147483647 166098 46 | 0.000 % |
2267.07/2267.84 c | 756666 | 871 86161 373261 | 2147483647 168823 46 | 0.000 % |
2285.67/2286.47 c | 759665 | 871 86161 373261 | 2147483647 171822 46 | 0.000 % |
2299.67/2300.43 c | 762963 | 871 86161 373261 | 2147483647 175120 46 | 0.000 % |
2312.36/2313.16 c | 766589 | 871 86161 373261 | 2147483647 178746 46 | 0.000 % |
2330.56/2331.39 c | 770576 | 871 86161 373261 | 2147483647 182733 46 | 0.000 % |
2344.76/2345.58 c | 774961 | 871 86161 373261 | 2147483647 187118 47 | 0.000 % |
2372.65/2373.40 c | 779784 | 871 86161 373261 | 2147483647 191941 47 | 0.000 % |
2400.45/2401.25 c | 785089 | 871 86161 373261 | 2147483647 197246 47 | 0.000 % |
2416.84/2417.61 c | 790924 | 871 86161 373261 | 202159 175134 47 | 0.000 % |
2434.34/2435.15 c | 797343 | 871 86161 373261 | 202159 181553 47 | 0.000 % |
2448.83/2449.64 c | 804407 | 871 86161 373261 | 2147483647 188617 47 | 0.000 % |
2449.13/2449.93 c | 804510 | 871 86161 373261 | 2147483647 188720 47 | 0.000 % |
2450.43/2451.22 c | 804622 | 871 86161 373261 | 2147483647 188832 47 | 0.000 % |
2450.73/2451.50 c | 804743 | 871 86161 373261 | 2147483647 188953 47 | 0.000 % |
2451.83/2452.67 c | 804880 | 871 86161 373261 | 2147483647 189090 47 | 0.000 % |
2452.93/2453.79 c | 805027 | 871 86161 373261 | 2147483647 189237 47 | 0.000 % |
2453.73/2454.57 c | 805190 | 871 86161 373261 | 2147483647 189400 47 | 0.000 % |
2455.03/2455.85 c | 805369 | 871 86161 373261 | 2147483647 189579 47 | 0.000 % |
2455.62/2456.49 c | 805562 | 871 86161 373261 | 2147483647 189772 47 | 0.000 % |
2457.52/2458.33 c | 805778 | 871 86161 373261 | 2147483647 189988 47 | 0.000 % |
2459.32/2460.19 c | 806011 | 871 86161 373261 | 2147483647 190221 47 | 0.000 % |
2461.32/2462.18 c | 806267 | 871 86161 373261 | 2147483647 190477 47 | 0.000 % |
2463.42/2464.22 c | 806551 | 871 86161 373261 | 2147483647 190761 47 | 0.000 % |
2466.32/2467.18 c | 806867 | 871 86161 373261 | 2147483647 191077 47 | 0.000 % |
2468.72/2469.53 c | 807206 | 871 86161 373261 | 2147483647 191416 47 | 0.000 % |
2471.52/2472.39 c | 807580 | 871 86161 373261 | 2147483647 191790 47 | 0.000 % |
2473.32/2474.16 c | 807991 | 871 86161 373261 | 2147483647 192201 47 | 0.000 % |
2477.92/2478.78 c | 808440 | 871 86161 373261 | 2147483647 192650 47 | 0.000 % |
2482.32/2483.15 c | 808934 | 871 86161 373261 | 2147483647 193144 47 | 0.000 % |
2486.51/2487.34 c | 809477 | 871 86161 373261 | 2147483647 193687 47 | 0.000 % |
2490.31/2491.17 c | 810074 | 871 86161 373261 | 2147483647 194284 47 | 0.000 % |
2495.41/2496.27 c | 810729 | 871 86161 373261 | 2147483647 194939 47 | 0.000 % |
2500.41/2501.22 c | 811452 | 871 86161 373261 | 2147483647 195662 47 | 0.000 % |
2506.01/2506.89 c | 812244 | 871 86161 373261 | 2147483647 196454 47 | 0.000 % |
2512.71/2513.58 c | 813115 | 871 86161 373261 | 2147483647 197325 47 | 0.000 % |
2521.41/2522.21 c | 814073 | 871 86161 373261 | 2147483647 198283 47 | 0.000 % |
2530.60/2531.45 c | 815126 | 871 86161 373261 | 2147483647 199336 47 | 0.000 % |
2541.09/2541.97 c | 816286 | 871 86161 373261 | 2147483647 200496 47 | 0.000 % |
2550.99/2551.89 c | 817559 | 871 86161 373261 | 2147483647 201769 47 | 0.000 % |
2564.39/2565.28 c | 818959 | 871 86161 373261 | 2147483647 203169 47 | 0.000 % |
2580.58/2581.42 c | 820501 | 871 86161 373261 | 204210 158764 48 | 0.000 % |
2589.48/2590.31 c | 822198 | 871 86161 373261 | 204210 160461 49 | 0.000 % |
2597.78/2598.64 c | 824061 | 871 86161 373261 | 204210 162324 49 | 0.000 % |
2610.37/2611.26 c | 826110 | 871 86161 373261 | 204210 164373 49 | 0.000 % |
2623.67/2624.58 c | 828365 | 871 86161 373261 | 204210 166628 49 | 0.000 % |
2637.98/2638.84 c | 830843 | 871 86161 373261 | 2147483647 169106 49 | 0.000 % |
2652.27/2653.20 c | 833571 | 871 86161 373261 | 2147483647 171834 49 | 0.000 % |
2667.06/2667.99 c | 836569 | 871 86161 373261 | 2147483647 174832 49 | 0.000 % |
2686.96/2687.86 c | 839867 | 871 86161 373261 | 2147483647 178130 49 | 0.000 % |
2707.55/2708.40 c | 843496 | 871 86161 373261 | 2147483647 181759 49 | 0.000 % |
2730.65/2731.54 c | 847483 | 871 86161 373261 | 2147483647 185746 49 | 0.000 % |
2759.14/2760.07 c | 851868 | 871 86161 373261 | 2147483647 190131 49 | 0.000 % |
2785.23/2786.13 c | 856691 | 871 86161 373261 | 2147483647 194954 49 | 0.000 % |
2810.52/2811.41 c | 861997 | 871 86161 373261 | 2147483647 200260 49 | 0.000 % |
2850.60/2851.50 c | 867834 | 871 86161 373261 | 2147483647 206097 49 | 0.000 % |
2893.10/2894.05 c | 874252 | 871 86161 373261 | 2147483647 212515 49 | 0.000 % |
2916.69/2917.69 c | 881312 | 871 86161 373261 | 2147483647 219575 49 | 0.000 % |
2935.69/2936.63 c | 889076 | 871 86161 373261 | 2147483647 227339 50 | 0.000 % |
2936.38/2937.38 c | 889176 | 871 86161 373261 | 2147483647 227439 50 | 0.000 % |
2937.09/2938.00 c | 889287 | 871 86161 373261 | 2147483647 227550 50 | 0.000 % |
2937.58/2938.58 c | 889408 | 871 86161 373261 | 2147483647 227671 50 | 0.000 % |
2938.29/2939.20 c | 889542 | 871 86161 373261 | 2147483647 227805 50 | 0.000 % |
2939.08/2940.02 c | 889688 | 871 86161 373261 | 2147483647 227951 50 | 0.000 % |
2939.98/2940.96 c | 889848 | 871 86161 373261 | 2147483647 228111 50 | 0.000 % |
2940.68/2941.66 c | 890024 | 871 86161 373261 | 2147483647 228287 50 | 0.000 % |
2941.58/2942.53 c | 890217 | 871 86161 373261 | 2147483647 228480 50 | 0.000 % |
2942.48/2943.45 c | 890429 | 871 86161 373261 | 2147483647 228692 50 | 0.000 % |
2943.68/2944.67 c | 890663 | 871 86161 373261 | 2147483647 228926 50 | 0.000 % |
2944.38/2945.34 c | 890919 | 871 86161 373261 | 2147483647 229182 50 | 0.000 % |
2945.08/2946.07 c | 891200 | 871 86161 373261 | 2147483647 229463 50 | 0.000 % |
2947.49/2948.40 c | 891509 | 871 86161 373261 | 2147483647 229772 50 | 0.000 % |
2949.58/2950.51 c | 891848 | 871 86161 373261 | 2147483647 230111 50 | 0.000 % |
2952.18/2953.15 c | 892220 | 871 86161 373261 | 2147483647 230483 50 | 0.000 % |
2955.78/2956.77 c | 892635 | 871 86161 373261 | 2147483647 230898 50 | 0.000 % |
2958.68/2959.60 c | 893085 | 871 86161 373261 | 2147483647 231348 50 | 0.000 % |
2961.18/2962.15 c | 893579 | 871 86161 373261 | 2147483647 231842 50 | 0.000 % |
2963.58/2964.58 c | 894121 | 871 86161 373261 | 2147483647 232384 50 | 0.000 % |
2966.88/2967.85 c | 894719 | 871 86161 373261 | 2147483647 232982 50 | 0.000 % |
2969.08/2970.08 c | 895374 | 871 86161 373261 | 2147483647 233637 50 | 0.000 % |
2971.67/2972.64 c | 896095 | 871 86161 373261 | 2147483647 234358 50 | 0.000 % |
2975.68/2976.67 c | 896888 | 871 86161 373261 | 2147483647 235151 50 | 0.000 % |
2983.77/2984.78 c | 897760 | 871 86161 373261 | 2147483647 236023 50 | 0.000 % |
2993.17/2994.20 c | 898718 | 871 86161 373261 | 2147483647 236981 50 | 0.000 % |
3000.97/3001.91 c | 899771 | 871 86161 373261 | 2147483647 238034 50 | 0.000 % |
3008.26/3009.28 c | 900929 | 871 86161 373261 | 238264 204339 50 | 0.000 % |
3014.86/3015.89 c | 902202 | 871 86161 373261 | 238264 205612 50 | 0.000 % |
3022.86/3023.85 c | 903606 | 871 86161 373261 | 238264 207016 50 | 0.000 % |
3029.85/3030.89 c | 905147 | 871 86161 373261 | 238264 208557 50 | 0.000 % |
3038.45/3039.46 c | 906841 | 871 86161 373261 | 238264 210251 50 | 0.000 % |
3045.55/3046.50 c | 908704 | 871 86161 373261 | 238264 212114 50 | 0.000 % |
3052.05/3053.04 c | 910753 | 871 86161 373261 | 213412 192238 50 | 0.000 % |
3056.85/3057.85 c | 913007 | 871 86161 373261 | 213412 194492 50 | 0.000 % |
3072.14/3073.18 c | 915485 | 871 86161 373261 | 213412 196970 50 | 0.000 % |
3086.24/3087.22 c | 918210 | 871 86161 373261 | 213412 199695 50 | 0.001 % |
3095.44/3096.44 c | 921211 | 871 86161 373261 | 2147483647 202696 50 | 0.000 % |
3111.74/3112.75 c | 924507 | 871 86161 373261 | 2147483647 205992 50 | 0.000 % |
3131.03/3132.08 c | 928132 | 871 86161 373261 | 2147483647 209617 50 | 0.000 % |
3147.03/3148.08 c | 932122 | 871 86161 373261 | 2147483647 213607 50 | 0.000 % |
3164.92/3165.98 c | 936509 | 871 86161 373261 | 2147483647 217994 49 | 0.000 % |
3191.71/3192.77 c | 941333 | 871 86161 373261 | 2147483647 222818 49 | 0.000 % |
3207.51/3208.55 c | 946638 | 871 86161 373261 | 2147483647 228123 49 | 0.000 % |
3243.29/3244.36 c | 952473 | 871 86161 373261 | 2147483647 233958 49 | 0.000 % |
3273.88/3275.00 c | 958891 | 871 86161 373261 | 2147483647 240376 49 | 0.000 % |
3305.58/3306.69 c | 965950 | 871 86161 373261 | 2147483647 247435 49 | 0.000 % |
3338.48/3339.51 c | 973717 | 871 86161 373261 | 2147483647 255202 49 | 0.000 % |
3377.56/3378.63 c | 982257 | 871 86161 373261 | 2147483647 263742 49 | 0.000 % |
3377.96/3379.07 c | 982359 | 871 86161 373261 | 2147483647 263844 49 | 0.000 % |
3378.26/3379.34 c | 982471 | 871 86161 373261 | 2147483647 263956 49 | 0.000 % |
3378.76/3379.81 c | 982592 | 871 86161 373261 | 2147483647 264077 49 | 0.000 % |
3379.65/3380.79 c | 982728 | 871 86161 373261 | 2147483647 264213 49 | 0.000 % |
3380.15/3381.21 c | 982876 | 871 86161 373261 | 2147483647 264361 49 | 0.000 % |
3380.65/3381.76 c | 983040 | 871 86161 373261 | 2147483647 264525 49 | 0.000 % |
3381.86/3382.92 c | 983217 | 871 86161 373261 | 2147483647 264702 49 | 0.000 % |
3382.66/3383.72 c | 983412 | 871 86161 373261 | 2147483647 264897 49 | 0.000 % |
3383.36/3384.44 c | 983625 | 871 86161 373261 | 2147483647 265110 49 | 0.000 % |
3384.26/3385.35 c | 983861 | 871 86161 373261 | 2147483647 265346 49 | 0.000 % |
3385.36/3386.49 c | 984117 | 871 86161 373261 | 2147483647 265602 49 | 0.000 % |
3386.76/3387.80 c | 984400 | 871 86161 373261 | 2147483647 265885 49 | 0.000 % |
3388.66/3389.72 c | 984711 | 871 86161 373261 | 2147483647 266196 49 | 0.000 % |
3389.96/3391.03 c | 985052 | 871 86161 373261 | 2147483647 266537 49 | 0.000 % |
3391.56/3392.70 c | 985424 | 871 86161 373261 | 2147483647 266909 49 | 0.000 % |
3392.85/3393.97 c | 985834 | 871 86161 373261 | 2147483647 267319 49 | 0.000 % |
3394.05/3395.19 c | 986287 | 871 86161 373261 | 2147483647 267772 49 | 0.000 % |
3395.35/3396.40 c | 986782 | 871 86161 373261 | 2147483647 268267 49 | 0.000 % |
3396.85/3397.94 c | 987324 | 871 86161 373261 | 2147483647 268809 49 | 0.000 % |
3398.15/3399.22 c | 987922 | 871 86161 373261 | 2147483647 269407 49 | 0.000 % |
3399.85/3400.91 c | 988578 | 871 86161 373261 | 2147483647 270063 49 | 0.000 % |
3402.65/3403.71 c | 989299 | 871 86161 373261 | 2147483647 270784 49 | 0.000 % |
3405.75/3406.84 c | 990091 | 871 86161 373261 | 2147483647 271576 49 | 0.000 % |
3409.15/3410.26 c | 990962 | 871 86161 373261 | 2147483647 272447 49 | 0.000 % |
3413.36/3414.48 c | 991921 | 871 86161 373261 | 2147483647 273406 49 | 0.000 % |
3416.35/3417.49 c | 992974 | 871 86161 373261 | 2147483647 274459 49 | 0.000 % |
3420.35/3421.43 c | 994134 | 871 86161 373261 | 2147483647 275619 49 | 0.000 % |
3425.55/3426.68 c | 995407 | 871 86161 373261 | 2147483647 276892 49 | 0.000 % |
3429.24/3430.38 c | 996809 | 871 86161 373261 | 2147483647 278294 49 | 0.000 % |
3434.64/3435.72 c | 998349 | 871 86161 373261 | 2147483647 279834 49 | 0.000 % |
3441.24/3442.30 c | 1000044 | 871 86161 373261 | 2147483647 281529 49 | 0.000 % |
3450.44/3451.58 c | 1001908 | 871 86161 373261 | 2147483647 283393 49 | 0.000 % |
3460.64/3461.77 c | 1003957 | 871 86161 373261 | 2147483647 285442 49 | 0.000 % |
3469.23/3470.30 c | 1006211 | 871 86161 373261 | 2147483647 287696 49 | 0.000 % |
3479.33/3480.43 c | 1008689 | 871 86161 373261 | 2147483647 290174 49 | 0.000 % |
3490.23/3491.36 c | 1011414 | 871 86161 373261 | 2147483647 292899 48 | 0.000 % |
3496.83/3497.94 c | 1014411 | 871 86161 373261 | 2147483647 295896 48 | 0.000 % |
3505.32/3506.40 c | 1017707 | 871 86161 373261 | 2147483647 299192 48 | 0.000 % |
3513.02/3514.16 c | 1021333 | 871 86161 373261 | 2147483647 302818 48 | 0.000 % |
3528.31/3529.50 c | 1025320 | 871 86161 373261 | 2147483647 306805 48 | 0.000 % |
3547.01/3548.18 c | 1029705 | 871 86161 373261 | 2147483647 311190 48 | 0.000 % |
3564.10/3565.23 c | 1034529 | 871 86161 373261 | 2147483647 316014 48 | 0.000 % |
3589.40/3590.59 c | 1039835 | 871 86161 373261 | 2147483647 321320 48 | 0.000 % |
3616.59/3617.80 c | 1045671 | 871 86161 373261 | 2147483647 327156 48 | 0.000 % |
3651.48/3652.63 c | 1052089 | 871 86161 373261 | 331485 292230 48 | 0.000 % |
3685.17/3686.37 c | 1059150 | 871 86161 373261 | 331485 299291 48 | 0.000 % |
3725.46/3726.70 c | 1066916 | 871 86161 373261 | 2147483647 307057 47 | 0.000 % |
3769.25/3770.41 c | 1075456 | 871 86161 373261 | 2147483647 315597 47 | 0.000 % |
3818.13/3819.37 c | 1084854 | 871 86161 373261 | 2147483647 324995 47 | 0.000 % |
3819.14/3820.35 c | 1084956 | 871 86161 373261 | 2147483647 325097 47 | 0.000 % |
3819.94/3821.12 c | 1085068 | 871 86161 373261 | 2147483647 325209 47 | 0.000 % |
3820.94/3822.12 c | 1085189 | 871 86161 373261 | 2147483647 325330 47 | 0.000 % |
3822.14/3823.34 c | 1085322 | 871 86161 373261 | 2147483647 325463 47 | 0.000 % |
3823.54/3824.78 c | 1085469 | 871 86161 373261 | 2147483647 325610 47 | 0.000 % |
3825.43/3826.65 c | 1085631 | 871 86161 373261 | 2147483647 325772 47 | 0.000 % |
3827.14/3828.37 c | 1085808 | 871 86161 373261 | 2147483647 325949 47 | 0.000 % |
3828.94/3830.18 c | 1086001 | 871 86161 373261 | 2147483647 326142 47 | 0.000 % |
3830.04/3831.23 c | 1086213 | 871 86161 373261 | 2147483647 326354 47 | 0.000 % |
3831.14/3832.38 c | 1086446 | 871 86161 373261 | 2147483647 326587 47 | 0.000 % |
3832.03/3833.26 c | 1086703 | 871 86161 373261 | 2147483647 326844 47 | 0.000 % |
3833.23/3834.47 c | 1086988 | 871 86161 373261 | 2147483647 327129 47 | 0.000 % |
3834.13/3835.33 c | 1087297 | 871 86161 373261 | 2147483647 327438 47 | 0.000 % |
3835.23/3836.46 c | 1087636 | 871 86161 373261 | 2147483647 327777 47 | 0.000 % |
3836.53/3837.79 c | 1088010 | 871 86161 373261 | 2147483647 328151 47 | 0.000 % |
3840.13/3841.39 c | 1088420 | 871 86161 373261 | 2147483647 328561 47 | 0.000 % |
3843.93/3845.17 c | 1088869 | 871 86161 373261 | 2147483647 329010 47 | 0.000 % |
3849.03/3850.29 c | 1089365 | 871 86161 373261 | 2147483647 329506 47 | 0.000 % |
3853.63/3854.83 c | 1089909 | 871 86161 373261 | 2147483647 330050 47 | 0.000 % |
3858.92/3860.10 c | 1090507 | 871 86161 373261 | 330145 281613 46 | 0.000 % |
3864.32/3865.57 c | 1091164 | 871 86161 373261 | 330145 282270 46 | 0.000 % |
3870.82/3872.04 c | 1091884 | 871 86161 373261 | 330145 282990 46 | 0.000 % |
3877.02/3878.24 c | 1092684 | 871 86161 373261 | 330145 283790 46 | 0.000 % |
3884.41/3885.60 c | 1093555 | 871 86161 373261 | 330145 284661 46 | 0.000 % |
3892.11/3893.36 c | 1094514 | 871 86161 373261 | 330145 285620 46 | 0.000 % |
3896.51/3897.71 c | 1095567 | 871 86161 373261 | 330145 286673 46 | 0.000 % |
3909.01/3910.29 c | 1096725 | 871 86161 373261 | 330145 287831 46 | 0.000 % |
3919.11/3920.34 c | 1097998 | 871 86161 373261 | 330145 289104 46 | 0.000 % |
3924.30/3925.51 c | 1099399 | 871 86161 373261 | 330145 290505 46 | 0.000 % |
3936.90/3938.19 c | 1100943 | 871 86161 373261 | 291106 233082 46 | 0.000 % |
3949.59/3950.80 c | 1102638 | 871 86161 373261 | 291106 234777 46 | 0.000 % |
3962.29/3963.58 c | 1104501 | 871 86161 373261 | 291106 236640 46 | 0.000 % |
3981.38/3982.62 c | 1106551 | 871 86161 373261 | 291106 238690 46 | 0.000 % |
3998.68/3999.91 c | 1108804 | 871 86161 373261 | 291106 240943 46 | 0.000 % |
4015.57/4016.84 c | 1111283 | 871 86161 373261 | 242140 168746 46 | 0.000 % |
4028.17/4029.48 c | 1114010 | 871 86161 373261 | 242140 171473 46 | 0.000 % |
4050.36/4051.69 c | 1117010 | 871 86161 373261 | 242140 174473 46 | 0.000 % |
4065.66/4066.95 c | 1120307 | 871 86161 373261 | 177464 139684 46 | 0.000 % |
4075.56/4076.89 c | 1123933 | 871 86161 373261 | 177464 143310 46 | 0.000 % |
4093.75/4095.05 c | 1127921 | 871 86161 373261 | 177464 147298 46 | 0.000 % |
4113.35/4114.64 c | 1132306 | 871 86161 373261 | 2147483647 151683 46 | 0.000 % |
4129.44/4130.77 c | 1137130 | 871 86161 373261 | 2147483647 156507 46 | 0.000 % |
4140.14/4141.47 c | 1142437 | 871 86161 373261 | 2147483647 161814 45 | 0.000 % |
4179.73/4181.08 c | 1148272 | 871 86161 373261 | 2147483647 167649 45 | 0.000 % |
4225.51/4226.87 c | 1154690 | 871 86161 373261 | 2147483647 174067 45 | 0.000 % |
4262.40/4263.72 c | 1161753 | 871 86161 373261 | 2147483647 181130 45 | 0.000 % |
4309.69/4311.06 c | 1169518 | 871 86161 373261 | 2147483647 188895 45 | 0.000 % |
4388.96/4390.31 c | 1178063 | 871 86161 373261 | 2147483647 197440 45 | 0.000 % |
4446.66/4448.07 c | 1187458 | 871 86161 373261 | 199377 151780 45 | 0.000 % |
4486.45/4487.88 c | 1197794 | 871 86161 373261 | 2147483647 162116 45 | 0.000 % |
4486.85/4488.21 c | 1197896 | 871 86161 373261 | 2147483647 162218 45 | 0.000 % |
4487.15/4488.55 c | 1198008 | 871 86161 373261 | 2147483647 162330 44 | 0.000 % |
4487.94/4489.39 c | 1198131 | 871 86161 373261 | 2147483647 162453 45 | 0.000 % |
4488.85/4490.22 c | 1198264 | 871 86161 373261 | 2147483647 162586 45 | 0.000 % |
4489.85/4491.20 c | 1198412 | 871 86161 373261 | 2147483647 162734 45 | 0.000 % |
4490.95/4492.36 c | 1198573 | 871 86161 373261 | 2147483647 162895 45 | 0.000 % |
4491.84/4493.22 c | 1198749 | 871 86161 373261 | 2147483647 163071 45 | 0.000 % |
4492.84/4494.26 c | 1198942 | 871 86161 373261 | 2147483647 163264 45 | 0.000 % |
4493.94/4495.30 c | 1199156 | 871 86161 373261 | 2147483647 163478 45 | 0.000 % |
4494.84/4496.26 c | 1199391 | 871 86161 373261 | 2147483647 163713 45 | 0.000 % |
4496.34/4497.77 c | 1199647 | 871 86161 373261 | 2147483647 163969 45 | 0.000 % |
4497.24/4498.60 c | 1199938 | 871 86161 373261 | 2147483647 164260 45 | 0.000 % |
4499.04/4500.43 c | 1200248 | 871 86161 373261 | 2147483647 164570 45 | 0.000 % |
4500.04/4501.48 c | 1200587 | 871 86161 373261 | 2147483647 164909 45 | 0.000 % |
4502.24/4503.66 c | 1200959 | 871 86161 373261 | 2147483647 165281 45 | 0.000 % |
4504.24/4505.62 c | 1201368 | 871 86161 373261 | 2147483647 165690 45 | 0.000 % |
4506.54/4507.94 c | 1201819 | 871 86161 373261 | 2147483647 166141 45 | 0.000 % |
4509.44/4510.80 c | 1202312 | 871 86161 373261 | 2147483647 166634 45 | 0.000 % |
4513.34/4514.71 c | 1202854 | 871 86161 373261 | 2147483647 167176 45 | 0.000 % |
4517.73/4519.12 c | 1203454 | 871 86161 373261 | 2147483647 167776 44 | 0.000 % |
4520.03/4521.48 c | 1204113 | 871 86161 373261 | 2147483647 168435 45 | 0.000 % |
4521.93/4523.38 c | 1204834 | 871 86161 373261 | 2147483647 169156 45 | 0.000 % |
4525.63/4527.08 c | 1205626 | 871 86161 373261 | 2147483647 169948 45 | 0.000 % |
4529.53/4530.97 c | 1206497 | 871 86161 373261 | 2147483647 170819 45 | 0.000 % |
4533.53/4534.93 c | 1207456 | 871 86161 373261 | 2147483647 171778 45 | 0.000 % |
4536.73/4538.17 c | 1208510 | 871 86161 373261 | 2147483647 172832 45 | 0.000 % |
4544.83/4546.25 c | 1209669 | 871 86161 373261 | 2147483647 173991 45 | 0.000 % |
4547.92/4549.37 c | 1210943 | 871 86161 373261 | 2147483647 175265 45 | 0.000 % |
4553.22/4554.64 c | 1212343 | 871 86161 373261 | 2147483647 176665 45 | 0.000 % |
4558.42/4559.85 c | 1213884 | 871 86161 373261 | 2147483647 178206 45 | 0.000 % |
4564.82/4566.24 c | 1215581 | 871 86161 373261 | 2147483647 179903 45 | 0.002 % |
4579.02/4580.47 c | 1217445 | 871 86161 373261 | 2147483647 181767 45 | 0.000 % |
4589.61/4591.08 c | 1219497 | 871 86161 373261 | 2147483647 183819 45 | 0.000 % |
4605.41/4606.87 c | 1221754 | 871 86161 373261 | 2147483647 186076 45 | 0.000 % |
4624.70/4626.10 c | 1224234 | 871 86161 373261 | 2147483647 188556 45 | 0.000 % |
4646.00/4647.45 c | 1226961 | 871 86161 373261 | 2147483647 191283 45 | 0.000 % |
4660.99/4662.47 c | 1229959 | 871 86161 373261 | 2147483647 194281 45 | 0.000 % |
4673.19/4674.61 c | 1233256 | 871 86161 373261 | 194322 170123 45 | 0.000 % |
4685.28/4686.77 c | 1236883 | 871 86161 373261 | 194322 173750 45 | 0.000 % |
4697.08/4698.59 c | 1240870 | 871 86161 373261 | 2147483647 177737 45 | 0.000 % |
4714.97/4716.45 c | 1245255 | 871 86161 373261 | 2147483647 182122 45 | 0.000 % |
4737.18/4738.69 c | 1250080 | 871 86161 373261 | 2147483647 186947 45 | 0.000 % |
4760.87/4762.35 c | 1255389 | 871 86161 373261 | 2147483647 192256 45 | 0.000 % |
4796.56/4798.04 c | 1261224 | 871 86161 373261 | 2147483647 198091 45 | 0.000 % |
4821.55/4823.01 c | 1267642 | 871 86161 373261 | 2147483647 204509 45 | 0.000 % |
4830.75/4832.21 c | 1274701 | 871 86161 373261 | 2147483647 211568 46 | 0.000 % |
4867.23/4868.79 c | 1282465 | 871 86161 373261 | 216869 172578 46 | 0.000 % |
4905.12/4906.60 c | 1291005 | 871 86161 373261 | 180113 125498 46 | 0.000 % |
4937.01/4938.54 c | 1300400 | 871 86161 373261 | 134493 93613 49 | 0.000 % |
4951.81/4953.32 c | 1310735 | 871 86161 373261 | 2147483647 103948 49 | 0.000 % |
4972.10/4973.63 c | 1322101 | 871 86161 373261 | 2147483647 115314 48 | 0.000 % |
4972.30/4973.86 c | 1322201 | 871 86161 373261 | 2147483647 115414 48 | 0.000 % |
4972.61/4974.12 c | 1322315 | 871 86161 373261 | 2147483647 115528 48 | 0.000 % |
4972.80/4974.35 c | 1322436 | 871 86161 373261 | 2147483647 115649 48 | 0.000 % |
4973.11/4974.64 c | 1322571 | 871 86161 373261 | 2147483647 115784 48 | 0.000 % |
4973.51/4975.08 c | 1322717 | 871 86161 373261 | 2147483647 115930 48 | 0.000 % |
4973.81/4975.34 c | 1322877 | 871 86161 373261 | 2147483647 116090 48 | 0.000 % |
4974.21/4975.71 c | 1323054 | 871 86161 373261 | 2147483647 116267 48 | 0.000 % |
4974.61/4976.10 c | 1323249 | 871 86161 373261 | 2147483647 116462 48 | 0.000 % |
4975.01/4976.59 c | 1323462 | 871 86161 373261 | 2147483647 116675 48 | 0.000 % |
4975.81/4977.34 c | 1323696 | 871 86161 373261 | 2147483647 116909 48 | 0.000 % |
4976.71/4978.22 c | 1323954 | 871 86161 373261 | 2147483647 117167 48 | 0.000 % |
4977.31/4978.87 c | 1324235 | 871 86161 373261 | 2147483647 117448 48 | 0.000 % |
4978.01/4979.56 c | 1324545 | 871 86161 373261 | 2147483647 117758 48 | 0.000 % |
4979.11/4980.68 c | 1324885 | 871 86161 373261 | 2147483647 118098 48 | 0.000 % |
4980.51/4982.02 c | 1325257 | 871 86161 373261 | 2147483647 118470 48 | 0.000 % |
4981.51/4983.04 c | 1325667 | 871 86161 373261 | 2147483647 118880 48 | 0.000 % |
4982.71/4984.23 c | 1326116 | 871 86161 373261 | 2147483647 119329 48 | 0.000 % |
4984.11/4985.64 c | 1326611 | 871 86161 373261 | 2147483647 119824 48 | 0.000 % |
4986.01/4987.56 c | 1327155 | 871 86161 373261 | 2147483647 120368 48 | 0.000 % |
4987.70/4989.29 c | 1327751 | 871 86161 373261 | 2147483647 120964 48 | 0.000 % |
4990.10/4991.60 c | 1328407 | 871 86161 373261 | 2147483647 121620 48 | 0.000 % |
4992.70/4994.28 c | 1329127 | 871 86161 373261 | 2147483647 122340 49 | 0.000 % |
4995.60/4997.10 c | 1329919 | 871 86161 373261 | 2147483647 123132 49 | 0.000 % |
4998.60/5000.12 c | 1330791 | 871 86161 373261 | 2147483647 124004 48 | 0.000 % |
5001.00/5002.59 c | 1331749 | 871 86161 373261 | 2147483647 124962 48 | 0.000 % |
5004.00/5005.54 c | 1332802 | 871 86161 373261 | 2147483647 126015 48 | 0.000 % |
5007.80/5009.33 c | 1333961 | 871 86161 373261 | 2147483647 127174 48 | 0.000 % |
5011.19/5012.70 c | 1335234 | 871 86161 373261 | 2147483647 128447 48 | 0.000 % |
5016.59/5018.14 c | 1336634 | 871 86161 373261 | 2147483647 129847 48 | 0.000 % |
5023.08/5024.64 c | 1338176 | 871 86161 373261 | 2147483647 131389 48 | 0.000 % |
5029.18/5030.73 c | 1339871 | 871 86161 373261 | 2147483647 133084 48 | 0.000 % |
5035.48/5037.07 c | 1341734 | 871 86161 373261 | 2147483647 134947 48 | 0.000 % |
5040.88/5042.42 c | 1343785 | 871 86161 373261 | 2147483647 136998 48 | 0.000 % |
5048.48/5050.07 c | 1346038 | 871 86161 373261 | 2147483647 139251 48 | 0.000 % |
5060.27/5061.83 c | 1348518 | 871 86161 373261 | 2147483647 141731 48 | 0.000 % |
5071.87/5073.44 c | 1351243 | 871 86161 373261 | 2147483647 144456 48 | 0.000 % |
5083.77/5085.35 c | 1354241 | 871 86161 373261 | 2147483647 147454 48 | 0.000 % |
5097.26/5098.88 c | 1357538 | 871 86161 373261 | 2147483647 150751 48 | 0.000 % |
5116.35/5117.94 c | 1361164 | 871 86161 373261 | 2147483647 154377 48 | 0.000 % |
5135.35/5137.00 c | 1365153 | 871 86161 373261 | 2147483647 158366 48 | 0.000 % |
5156.44/5158.00 c | 1369539 | 871 86161 373261 | 2147483647 162752 48 | 0.000 % |
5181.23/5182.85 c | 1374362 | 871 86161 373261 | 2147483647 167575 48 | 0.000 % |
5207.22/5208.88 c | 1379667 | 871 86161 373261 | 2147483647 172880 48 | 0.000 % |
5234.92/5236.51 c | 1385502 | 871 86161 373261 | 2147483647 178715 48 | 0.000 % |
5267.81/5269.45 c | 1391922 | 871 86161 373261 | 2147483647 185135 48 | 0.000 % |
5304.80/5306.44 c | 1398981 | 871 86161 373261 | 2147483647 192194 47 | 0.000 % |
5344.89/5346.53 c | 1406745 | 871 86161 373261 | 2147483647 199958 47 | 0.000 % |
5386.78/5388.47 c | 1415286 | 871 86161 373261 | 203214 185602 47 | 0.000 % |
5422.97/5424.62 c | 1424680 | 871 86161 373261 | 2147483647 194996 47 | 0.000 % |
5446.46/5448.16 c | 1435014 | 871 86161 373261 | 2147483647 205330 46 | 0.000 % |
5511.34/5513.06 c | 1446385 | 871 86161 373261 | 2147483647 216701 47 | 0.000 % |
5569.83/5571.54 c | 1458887 | 871 86161 373261 | 2147483647 229203 46 | 0.000 % |
5570.33/5572.04 c | 1458987 | 871 86161 373261 | 2147483647 229303 46 | 0.000 % |
5570.93/5572.66 c | 1459099 | 871 86161 373261 | 2147483647 229415 46 | 0.000 % |
5571.83/5573.57 c | 1459220 | 871 86161 373261 | 2147483647 229536 46 | 0.000 % |
5572.73/5574.40 c | 1459354 | 871 86161 373261 | 2147483647 229670 46 | 0.000 % |
5573.43/5575.20 c | 1459502 | 871 86161 373261 | 2147483647 229818 46 | 0.000 % |
5574.93/5576.69 c | 1459665 | 871 86161 373261 | 2147483647 229981 46 | 0.000 % |
5576.12/5577.85 c | 1459842 | 871 86161 373261 | 2147483647 230158 46 | 0.000 % |
5577.43/5579.13 c | 1460036 | 871 86161 373261 | 2147483647 230352 46 | 0.000 % |
5578.92/5580.62 c | 1460248 | 871 86161 373261 | 2147483647 230564 46 | 0.000 % |
5580.32/5582.01 c | 1460482 | 871 86161 373261 | 2147483647 230798 46 | 0.000 % |
5582.22/5583.90 c | 1460739 | 871 86161 373261 | 2147483647 231055 46 | 0.000 % |
5583.72/5585.48 c | 1461023 | 871 86161 373261 | 2147483647 231339 46 | 0.000 % |
5586.62/5588.37 c | 1461332 | 871 86161 373261 | 2147483647 231648 46 | 0.000 % |
5589.02/5590.75 c | 1461672 | 871 86161 373261 | 2147483647 231988 46 | 0.000 % |
5591.82/5593.51 c | 1462047 | 871 86161 373261 | 2147483647 232363 46 | 0.000 % |
5595.72/5597.41 c | 1462458 | 871 86161 373261 | 2147483647 232774 46 | 0.000 % |
5599.72/5601.40 c | 1462908 | 871 86161 373261 | 2147483647 233224 46 | 0.000 % |
5603.92/5605.60 c | 1463401 | 871 86161 373261 | 2147483647 233717 46 | 0.000 % |
5607.22/5608.92 c | 1463943 | 871 86161 373261 | 2147483647 234259 46 | 0.000 % |
5612.21/5613.99 c | 1464540 | 871 86161 373261 | 2147483647 234856 46 | 0.000 % |
5617.11/5618.84 c | 1465195 | 871 86161 373261 | 2147483647 235511 46 | 0.000 % |
5622.31/5624.00 c | 1465916 | 871 86161 373261 | 2147483647 236232 46 | 0.000 % |
5628.31/5630.05 c | 1466708 | 871 86161 373261 | 2147483647 237024 46 | 0.000 % |
5634.80/5636.51 c | 1467583 | 871 86161 373261 | 2147483647 237899 46 | 0.000 % |
5642.50/5644.26 c | 1468542 | 871 86161 373261 | 2147483647 238858 46 | 0.000 % |
5647.80/5649.51 c | 1469595 | 871 86161 373261 | 2147483647 239911 46 | 0.000 % |
5659.39/5661.16 c | 1470753 | 871 86161 373261 | 240316 177238 46 | 0.000 % |
5665.59/5667.32 c | 1472026 | 871 86161 373261 | 240316 178511 46 | 0.000 % |
5674.49/5676.21 c | 1473426 | 871 86161 373261 | 240316 179911 46 | 0.000 % |
5682.99/5684.80 c | 1474968 | 871 86161 373261 | 240316 181453 46 | 0.000 % |
5690.69/5692.48 c | 1476662 | 871 86161 373261 | 240316 183147 46 | 0.000 % |
5698.78/5700.56 c | 1478526 | 871 86161 373261 | 240316 185011 46 | 0.000 % |
5708.88/5710.62 c | 1480576 | 871 86161 373261 | 186487 151711 45 | 0.000 % |
5720.27/5722.04 c | 1482832 | 871 86161 373261 | 186487 153967 45 | 0.000 % |
5731.47/5733.30 c | 1485310 | 871 86161 373261 | 186487 156445 45 | 0.000 % |
5745.67/5747.41 c | 1488039 | 871 86161 373261 | 186487 159174 45 | 0.000 % |
5755.67/5757.48 c | 1491037 | 871 86161 373261 | 2147483647 162172 45 | 0.000 % |
5765.76/5767.57 c | 1494334 | 871 86161 373261 | 2147483647 165469 45 | 0.000 % |
5775.36/5777.19 c | 1497960 | 871 86161 373261 | 2147483647 169095 45 | 0.000 % |
5787.46/5789.26 c | 1501948 | 871 86161 373261 | 2147483647 173083 45 | 0.000 % |
5805.86/5807.69 c | 1506334 | 871 86161 373261 | 2147483647 177469 45 | 0.000 % |
5825.65/5827.40 c | 1511158 | 871 86161 373261 | 2147483647 182293 45 | 0.000 % |
5842.94/5844.77 c | 1516463 | 871 86161 373261 | 2147483647 187598 45 | 0.000 % |
5866.94/5868.77 c | 1522299 | 871 86161 373261 | 191135 145143 45 | 0.000 % |
5889.13/5890.99 c | 1528718 | 871 86161 373261 | 191135 151562 45 | 0.000 % |
5909.72/5911.57 c | 1535778 | 871 86161 373261 | 152845 109637 46 | 0.000 % |
5928.22/5930.02 c | 1543542 | 871 86161 373261 | 113859 82995 46 | 0.000 % |
5946.31/5948.18 c | 1552083 | 871 86161 373261 | 2147483647 91536 47 | 0.000 % |
5972.70/5974.58 c | 1561477 | 871 86161 373261 | 2147483647 100930 48 | 0.000 % |
5993.99/5995.83 c | 1571811 | 871 86161 373261 | 2147483647 111264 48 | 0.000 % |
6028.88/6030.74 c | 1583177 | 871 86161 373261 | 2147483647 122630 48 | 0.000 % |
6072.58/6074.40 c | 1595679 | 871 86161 373261 | 2147483647 135132 48 | 0.000 % |
6093.08/6094.90 c | 1609432 | 871 86161 373261 | 2147483647 148885 49 | 0.000 % |
6093.38/6095.20 c | 1609532 | 871 86161 373261 | 2147483647 148985 49 | 0.000 % |
6094.28/6096.11 c | 1609646 | 871 86161 373261 | 2147483647 149099 49 | 0.000 % |
6094.57/6096.48 c | 1609767 | 871 86161 373261 | 2147483647 149220 49 | 0.000 % |
6095.67/6097.52 c | 1609901 | 871 86161 373261 | 2147483647 149354 49 | 0.000 % |
6096.67/6098.55 c | 1610047 | 871 86161 373261 | 149453 149500 49 | 0.000 % |
6097.77/6099.64 c | 1610209 | 871 86161 373261 | 149453 124384 50 | 0.000 % |
6097.97/6099.89 c | 1610386 | 871 86161 373261 | 149453 124561 50 | 0.000 % |
6098.27/6100.14 c | 1610579 | 871 86161 373261 | 149453 124754 50 | 0.000 % |
6099.37/6101.20 c | 1610793 | 871 86161 373261 | 149453 124968 50 | 0.002 % |
6099.67/6101.51 c | 1611026 | 871 86161 373261 | 149453 125201 50 | 0.000 % |
6100.27/6102.15 c | 1611283 | 871 86161 373261 | 149453 125458 50 | 0.000 % |
6101.07/6102.90 c | 1611566 | 871 86161 373261 | 149453 125741 50 | 0.000 % |
6102.37/6104.28 c | 1611876 | 871 86161 373261 | 149453 126051 50 | 0.000 % |
6103.57/6105.49 c | 1612215 | 871 86161 373261 | 149453 126390 50 | 0.000 % |
6105.07/6106.97 c | 1612587 | 871 86161 373261 | 149453 126762 50 | 0.000 % |
6105.97/6107.89 c | 1612997 | 871 86161 373261 | 149453 127172 50 | 0.000 % |
6106.66/6108.59 c | 1613448 | 871 86161 373261 | 149453 127623 50 | 0.000 % |
6108.46/6110.32 c | 1613941 | 871 86161 373261 | 149453 128116 50 | 0.000 % |
6109.77/6111.68 c | 1614483 | 871 86161 373261 | 149453 128658 50 | 0.000 % |
6112.36/6114.22 c | 1615079 | 871 86161 373261 | 149453 129254 50 | 0.000 % |
6114.96/6116.84 c | 1615737 | 871 86161 373261 | 149453 129912 50 | 0.000 % |
6117.86/6119.72 c | 1616457 | 871 86161 373261 | 149453 130632 50 | 0.000 % |
6123.86/6125.77 c | 1617255 | 871 86161 373261 | 149453 131430 50 | 0.000 % |
6128.56/6130.41 c | 1618127 | 871 86161 373261 | 149453 132302 50 | 0.000 % |
6133.46/6135.38 c | 1619086 | 871 86161 373261 | 149453 133261 50 | 0.000 % |
6138.15/6140.02 c | 1620140 | 871 86161 373261 | 134175 116089 51 | 0.000 % |
6141.05/6142.98 c | 1621301 | 871 86161 373261 | 134175 117250 51 | 0.000 % |
6143.95/6145.88 c | 1622579 | 871 86161 373261 | 134175 118528 51 | 0.000 % |
6149.35/6151.25 c | 1623980 | 871 86161 373261 | 134175 119929 51 | 0.000 % |
6153.35/6155.26 c | 1625520 | 871 86161 373261 | 134175 121469 51 | 0.000 % |
6158.65/6160.58 c | 1627214 | 871 86161 373261 | 134175 123163 51 | 0.000 % |
6165.24/6167.19 c | 1629082 | 871 86161 373261 | 134175 125031 50 | 0.000 % |
6176.14/6178.06 c | 1631131 | 871 86161 373261 | 2147483647 127080 51 | 0.000 % |
6186.04/6187.96 c | 1633385 | 871 86161 373261 | 2147483647 129334 51 | 0.000 % |
6195.24/6197.17 c | 1635863 | 871 86161 373261 | 2147483647 131812 50 | 0.000 % |
6202.43/6204.38 c | 1638588 | 871 86161 373261 | 2147483647 134537 50 | 0.000 % |
6213.63/6215.52 c | 1641585 | 871 86161 373261 | 2147483647 137534 50 | 0.000 % |
6227.23/6229.11 c | 1644881 | 871 86161 373261 | 2147483647 140830 50 | 0.000 % |
6243.02/6244.92 c | 1648510 | 871 86161 373261 | 2147483647 144459 50 | 0.000 % |
6261.21/6263.13 c | 1652499 | 871 86161 373261 | 145950 133120 50 | 0.000 % |
6279.21/6281.11 c | 1656885 | 871 86161 373261 | 145950 137506 50 | 0.000 % |
6302.90/6304.81 c | 1661710 | 871 86161 373261 | 140622 126113 50 | 0.000 % |
6325.60/6327.55 c | 1667015 | 871 86161 373261 | 140622 131418 50 | 0.000 % |
6356.18/6358.15 c | 1672851 | 871 86161 373261 | 134403 114250 51 | 0.000 % |
6390.57/6392.52 c | 1679269 | 871 86161 373261 | 134403 120668 50 | 0.000 % |
6423.97/6425.92 c | 1686332 | 871 86161 373261 | 2147483647 127731 50 | 0.000 % |
6463.16/6465.16 c | 1694096 | 871 86161 373261 | 2147483647 135495 50 | 0.000 % |
6507.75/6509.78 c | 1702636 | 871 86161 373261 | 2147483647 144035 50 | 0.000 % |
6561.13/6563.18 c | 1712032 | 871 86161 373261 | 2147483647 153431 49 | 0.000 % |
6612.82/6614.85 c | 1722367 | 871 86161 373261 | 2147483647 163766 49 | 0.000 % |
6685.10/6687.12 c | 1733733 | 871 86161 373261 | 2147483647 175132 49 | 0.000 % |
6758.87/6760.93 c | 1746235 | 871 86161 373261 | 181400 166952 50 | 0.000 % |
6814.36/6816.44 c | 1759989 | 871 86161 373261 | 170717 143273 49 | 0.000 % |
6873.75/6875.85 c | 1775117 | 871 86161 373261 | 2147483647 158401 49 | 0.000 % |
6874.15/6876.27 c | 1775217 | 871 86161 373261 | 2147483647 158501 49 | 0.000 % |
6874.65/6876.79 c | 1775327 | 871 86161 373261 | 2147483647 158611 49 | 0.000 % |
6875.15/6877.27 c | 1775449 | 871 86161 373261 | 2147483647 158733 49 | 0.000 % |
6875.75/6877.86 c | 1775582 | 871 86161 373261 | 2147483647 158866 49 | 0.000 % |
6876.65/6878.72 c | 1775728 | 871 86161 373261 | 2147483647 159012 49 | 0.000 % |
6877.65/6879.70 c | 1775890 | 871 86161 373261 | 2147483647 159174 49 | 0.000 % |
6878.15/6880.29 c | 1776069 | 871 86161 373261 | 2147483647 159353 49 | 0.000 % |
6879.65/6881.76 c | 1776263 | 871 86161 373261 | 2147483647 159547 49 | 0.000 % |
6880.85/6882.97 c | 1776475 | 871 86161 373261 | 2147483647 159759 49 | 0.000 % |
6882.75/6884.88 c | 1776708 | 871 86161 373261 | 2147483647 159992 49 | 0.000 % |
6883.74/6885.86 c | 1776966 | 871 86161 373261 | 2147483647 160250 49 | 0.000 % |
6884.84/6886.93 c | 1777247 | 871 86161 373261 | 2147483647 160531 49 | 0.000 % |
6886.44/6888.50 c | 1777556 | 871 86161 373261 | 2147483647 160840 49 | 0.000 % |
6888.04/6890.15 c | 1777896 | 871 86161 373261 | 2147483647 161180 49 | 0.000 % |
6889.74/6891.88 c | 1778268 | 871 86161 373261 | 2147483647 161552 49 | 0.000 % |
6891.44/6893.56 c | 1778677 | 871 86161 373261 | 2147483647 161961 49 | 0.000 % |
6893.34/6895.41 c | 1779128 | 871 86161 373261 | 2147483647 162412 49 | 0.000 % |
6895.24/6897.34 c | 1779623 | 871 86161 373261 | 2147483647 162907 49 | 0.000 % |
6897.44/6899.59 c | 1780167 | 871 86161 373261 | 2147483647 163451 49 | 0.000 % |
6900.14/6902.22 c | 1780764 | 871 86161 373261 | 2147483647 164048 49 | 0.000 % |
6903.34/6905.41 c | 1781420 | 871 86161 373261 | 2147483647 164704 49 | 0.000 % |
6905.74/6907.88 c | 1782141 | 871 86161 373261 | 2147483647 165425 49 | 0.000 % |
6909.74/6911.82 c | 1782937 | 871 86161 373261 | 2147483647 166221 49 | 0.000 % |
6913.24/6915.32 c | 1783808 | 871 86161 373261 | 2147483647 167092 49 | 0.000 % |
6916.63/6918.76 c | 1784766 | 871 86161 373261 | 2147483647 168050 49 | 0.000 % |
6920.24/6922.38 c | 1785819 | 871 86161 373261 | 2147483647 169103 49 | 0.000 % |
6926.33/6928.41 c | 1786977 | 871 86161 373261 | 2147483647 170261 49 | 0.000 % |
6931.83/6933.94 c | 1788250 | 871 86161 373261 | 2147483647 171534 49 | 0.000 % |
6938.73/6940.81 c | 1789652 | 871 86161 373261 | 2147483647 172936 49 | 0.000 % |
6945.22/6947.31 c | 1791192 | 871 86161 373261 | 2147483647 174476 49 | 0.000 % |
6953.92/6956.04 c | 1792891 | 871 86161 373261 | 2147483647 176175 49 | 0.000 % |
6963.02/6965.18 c | 1794754 | 871 86161 373261 | 2147483647 178038 48 | 0.000 % |
6972.92/6975.03 c | 1796803 | 871 86161 373261 | 2147483647 180087 48 | 0.000 % |
6981.82/6983.99 c | 1799057 | 871 86161 373261 | 2147483647 182341 48 | 0.000 % |
6993.51/6995.65 c | 1801537 | 871 86161 373261 | 2147483647 184821 48 | 0.000 % |
7011.20/7013.34 c | 1804262 | 871 86161 373261 | 2147483647 187546 48 | 0.000 % |
7032.60/7034.77 c | 1807259 | 871 86161 373261 | 2147483647 190543 48 | 0.000 % |
7051.39/7053.59 c | 1810560 | 871 86161 373261 | 193284 163631 48 | 0.000 % |
7072.78/7074.93 c | 1814188 | 871 86161 373261 | 193284 167259 48 | 0.000 % |
7093.78/7095.92 c | 1818176 | 871 86161 373261 | 193284 171247 48 | 0.000 % |
7112.07/7114.22 c | 1822561 | 871 86161 373261 | 173071 146836 47 | 0.000 % |
7135.57/7137.71 c | 1827384 | 871 86161 373261 | 173071 151659 47 | 0.000 % |
7159.17/7161.38 c | 1832689 | 871 86161 373261 | 2147483647 156964 47 | 0.000 % |
7180.06/7182.23 c | 1838525 | 871 86161 373261 | 2147483647 162800 47 | 0.000 % |
7202.76/7204.98 c | 1844944 | 871 86161 373261 | 2147483647 169219 47 | 0.000 % |
7231.95/7234.11 c | 1852003 | 871 86161 373261 | 2147483647 176278 46 | 0.000 % |
7262.94/7265.12 c | 1859769 | 871 86161 373261 | 2147483647 184044 46 | 0.000 % |
7297.83/7300.01 c | 1868309 | 871 86161 373261 | 2147483647 192584 46 | 0.000 % |
7315.92/7318.13 c | 1877705 | 871 86161 373261 | 2147483647 201980 46 | 0.000 % |
7377.70/7379.98 c | 1888039 | 871 86161 373261 | 2147483647 212314 46 | 0.000 % |
7487.98/7490.29 c | 1899405 | 871 86161 373261 | 2147483647 223680 46 | 0.000 % |
7589.45/7591.70 c | 1911907 | 871 86161 373261 | 168293 109227 45 | 0.000 % |
7640.13/7642.48 c | 1925659 | 871 86161 373261 | 117323 106416 46 | 0.000 % |
7692.61/7694.93 c | 1940788 | 871 86161 373261 | 2147483647 121545 45 | 0.000 % |
7751.40/7753.76 c | 1957430 | 871 86161 373261 | 2147483647 138187 45 | 0.000 % |
7751.70/7754.09 c | 1957530 | 871 86161 373261 | 2147483647 138287 45 | 0.000 % |
7752.50/7754.88 c | 1957640 | 871 86161 373261 | 2147483647 138397 45 | 0.000 % |
7753.20/7755.54 c | 1957761 | 871 86161 373261 | 2147483647 138518 45 | 0.000 % |
7754.00/7756.38 c | 1957895 | 871 86161 373261 | 2147483647 138652 45 | 0.000 % |
7755.20/7757.55 c | 1958041 | 871 86161 373261 | 2147483647 138798 45 | 0.000 % |
7756.40/7758.78 c | 1958201 | 871 86161 373261 | 2147483647 138958 45 | 0.000 % |
7757.59/7759.98 c | 1958381 | 871 86161 373261 | 2147483647 139138 45 | 0.000 % |
7759.20/7761.52 c | 1958577 | 871 86161 373261 | 2147483647 139334 45 | 0.000 % |
7760.09/7762.40 c | 1958791 | 871 86161 373261 | 2147483647 139548 45 | 0.000 % |
7761.99/7764.32 c | 1959025 | 871 86161 373261 | 2147483647 139782 45 | 0.000 % |
7763.09/7765.45 c | 1959283 | 871 86161 373261 | 2147483647 140040 45 | 0.000 % |
7764.19/7766.58 c | 1959565 | 871 86161 373261 | 2147483647 140322 45 | 0.000 % |
7764.99/7767.38 c | 1959875 | 871 86161 373261 | 2147483647 140632 45 | 0.000 % |
7768.39/7770.80 c | 1960215 | 871 86161 373261 | 2147483647 140972 45 | 0.000 % |
7770.49/7772.81 c | 1960588 | 871 86161 373261 | 2147483647 141345 45 | 0.000 % |
7774.09/7776.42 c | 1960997 | 871 86161 373261 | 2147483647 141754 45 | 0.000 % |
7778.99/7781.32 c | 1961447 | 871 86161 373261 | 2147483647 142204 46 | 0.000 % |
7781.79/7784.15 c | 1961940 | 871 86161 373261 | 2147483647 142697 46 | 0.000 % |
7784.98/7787.34 c | 1962484 | 871 86161 373261 | 2147483647 143241 46 | 0.000 % |
7788.58/7790.92 c | 1963081 | 871 86161 373261 | 2147483647 143838 46 | 0.000 % |
7793.48/7795.84 c | 1963736 | 871 86161 373261 | 2147483647 144493 46 | 0.000 % |
7797.68/7800.00 c | 1964459 | 871 86161 373261 | 2147483647 145216 46 | 0.000 % |
7803.08/7805.43 c | 1965252 | 871 86161 373261 | 2147483647 146009 46 | 0.000 % |
7810.27/7812.69 c | 1966125 | 871 86161 373261 | 2147483647 146882 46 | 0.000 % |
7817.67/7820.04 c | 1967086 | 871 86161 373261 | 2147483647 147843 46 | 0.000 % |
7823.77/7826.15 c | 1968141 | 871 86161 373261 | 2147483647 148898 46 | 0.000 % |
7831.87/7834.25 c | 1969299 | 871 86161 373261 | 2147483647 150056 46 | 0.000 % |
7839.76/7842.12 c | 1970573 | 871 86161 373261 | 150757 127830 46 | 0.000 % |
7848.17/7850.53 c | 1971973 | 871 86161 373261 | 150757 129230 46 | 0.000 % |
7856.07/7858.50 c | 1973514 | 871 86161 373261 | 150757 130771 46 | 0.000 % |
7863.97/7866.34 c | 1975211 | 871 86161 373261 | 150757 132468 46 | 0.000 % |
7875.66/7878.06 c | 1977074 | 871 86161 373261 | 150757 134331 46 | 0.000 % |
7878.96/7881.36 c | 1979125 | 871 86161 373261 | 150757 136382 46 | 0.000 % |
7889.36/7891.76 c | 1981378 | 871 86161 373261 | 2147483647 138635 46 | 0.000 % |
7902.16/7904.57 c | 1983858 | 871 86161 373261 | 2147483647 141115 46 | 0.000 % |
7916.35/7918.71 c | 1986584 | 871 86161 373261 | 2147483647 143841 46 | 0.000 % |
7933.75/7936.16 c | 1989585 | 871 86161 373261 | 2147483647 146842 46 | 0.000 % |
7959.64/7962.08 c | 1992883 | 871 86161 373261 | 2147483647 150140 46 | 0.000 % |
7983.43/7985.82 c | 1996509 | 871 86161 373261 | 2147483647 153766 46 | 0.000 % |
8007.93/8010.35 c | 2000502 | 871 86161 373261 | 2147483647 157759 46 | 0.000 % |
8043.52/8045.96 c | 2004887 | 871 86161 373261 | 2147483647 162144 47 | 0.000 % |
8078.11/8080.58 c | 2009710 | 871 86161 373261 | 2147483647 166967 46 | 0.000 % |
8110.89/8113.38 c | 2015016 | 871 86161 373261 | 167258 143970 47 | 0.000 % |
8126.29/8128.70 c | 2020851 | 871 86161 373261 | 2147483647 149805 47 | 0.000 % |
8157.78/8160.28 c | 2027271 | 871 86161 373261 | 2147483647 156225 47 | 0.000 % |
8187.87/8190.31 c | 2034330 | 871 86161 373261 | 2147483647 163284 47 | 0.000 % |
8214.47/8216.93 c | 2042094 | 871 86161 373261 | 2147483647 171048 47 | 0.000 % |
8254.05/8256.52 c | 2050634 | 871 86161 373261 | 2147483647 179588 47 | 0.000 % |
8306.04/8308.58 c | 2060028 | 871 86161 373261 | 188957 188982 48 | 0.000 % |
8357.13/8359.65 c | 2070361 | 871 86161 373261 | 156974 123593 48 | 0.000 % |
8382.92/8385.41 c | 2081729 | 871 86161 373261 | 2147483647 134961 47 | 0.000 % |
8411.41/8413.93 c | 2094231 | 871 86161 373261 | 2147483647 147463 47 | 0.000 % |
8444.80/8447.31 c | 2107983 | 871 86161 373261 | 2147483647 161215 48 | 0.000 % |
8482.69/8485.21 c | 2123110 | 871 86161 373261 | 148690 121061 48 | 0.000 % |
8519.49/8522.02 c | 2139751 | 871 86161 373261 | 2147483647 137702 48 | 0.000 % |
8563.67/8566.29 c | 2158055 | 871 86161 373261 | 2147483647 156006 47 | 0.000 % |
8564.28/8566.88 c | 2158156 | 871 86161 373261 | 2147483647 156107 47 | 0.000 % |
8564.77/8567.36 c | 2158267 | 871 86161 373261 | 2147483647 156218 47 | 0.000 % |
8565.28/8567.87 c | 2158389 | 871 86161 373261 | 2147483647 156340 47 | 0.000 % |
8565.77/8568.38 c | 2158523 | 871 86161 373261 | 2147483647 156474 47 | 0.000 % |
8566.37/8568.96 c | 2158673 | 871 86161 373261 | 2147483647 156624 47 | 0.000 % |
8566.97/8569.53 c | 2158835 | 871 86161 373261 | 2147483647 156786 47 | 0.000 % |
8567.57/8570.15 c | 2159013 | 871 86161 373261 | 2147483647 156964 47 | 0.000 % |
8568.27/8570.82 c | 2159206 | 871 86161 373261 | 2147483647 157157 47 | 0.000 % |
8568.97/8571.50 c | 2159418 | 871 86161 373261 | 2147483647 157369 47 | 0.000 % |
8569.77/8572.34 c | 2159653 | 871 86161 373261 | 2147483647 157604 47 | 0.000 % |
8570.67/8573.23 c | 2159911 | 871 86161 373261 | 2147483647 157862 47 | 0.000 % |
8571.77/8574.35 c | 2160194 | 871 86161 373261 | 2147483647 158145 47 | 0.000 % |
8573.07/8575.69 c | 2160503 | 871 86161 373261 | 2147483647 158454 47 | 0.000 % |
8574.47/8577.06 c | 2160843 | 871 86161 373261 | 2147483647 158794 47 | 0.000 % |
8575.77/8578.33 c | 2161217 | 871 86161 373261 | 2147483647 159168 47 | 0.000 % |
8577.27/8579.80 c | 2161629 | 871 86161 373261 | 2147483647 159580 47 | 0.000 % |
8579.07/8581.62 c | 2162079 | 871 86161 373261 | 2147483647 160030 47 | 0.000 % |
8580.57/8583.17 c | 2162574 | 871 86161 373261 | 2147483647 160525 47 | 0.000 % |
8582.47/8585.09 c | 2163116 | 871 86161 373261 | 2147483647 161067 47 | 0.000 % |
8585.17/8587.73 c | 2163713 | 871 86161 373261 | 2147483647 161664 47 | 0.000 % |
8587.56/8590.13 c | 2164368 | 871 86161 373261 | 2147483647 162319 47 | 0.000 % |
8590.67/8593.24 c | 2165088 | 871 86161 373261 | 2147483647 163039 47 | 0.000 % |
8593.56/8596.17 c | 2165880 | 871 86161 373261 | 2147483647 163831 47 | 0.000 % |
8597.56/8600.18 c | 2166751 | 871 86161 373261 | 2147483647 164702 47 | 0.000 % |
8602.06/8604.66 c | 2167709 | 871 86161 373261 | 2147483647 165660 47 | 0.000 % |
8606.56/8609.13 c | 2168763 | 871 86161 373261 | 2147483647 166714 47 | 0.000 % |
8612.85/8615.44 c | 2169922 | 871 86161 373261 | 2147483647 167873 47 | 0.000 % |
8618.55/8621.11 c | 2171195 | 871 86161 373261 | 2147483647 169146 47 | 0.000 % |
8623.45/8626.03 c | 2172595 | 871 86161 373261 | 2147483647 170546 47 | 0.000 % |
8629.15/8631.78 c | 2174137 | 871 86161 373261 | 2147483647 172088 47 | 0.000 % |
8636.75/8639.32 c | 2175831 | 871 86161 373261 | 2147483647 173782 47 | 0.000 % |
8644.04/8646.69 c | 2177697 | 871 86161 373261 | 2147483647 175648 47 | 0.000 % |
8651.84/8654.41 c | 2179746 | 871 86161 373261 | 2147483647 177697 47 | 0.000 % |
8656.74/8659.40 c | 2182001 | 871 86161 373261 | 2147483647 179952 47 | 0.000 % |
8667.13/8669.71 c | 2184479 | 871 86161 373261 | 2147483647 182430 47 | 0.000 % |
8673.53/8676.13 c | 2187207 | 871 86161 373261 | 2147483647 185158 47 | 0.000 % |
8686.33/8688.97 c | 2190206 | 871 86161 373261 | 2147483647 188157 47 | 0.000 % |
8693.94/8696.52 c | 2193502 | 871 86161 373261 | 2147483647 191453 47 | 0.000 % |
8710.23/8712.81 c | 2197131 | 871 86161 373261 | 2147483647 195082 47 | 0.000 % |
8726.42/8729.10 c | 2201123 | 871 86161 373261 | 2147483647 199074 47 | 0.000 % |
8740.92/8743.57 c | 2205510 | 871 86161 373261 | 2147483647 203461 47 | 0.000 % |
8754.52/8757.16 c | 2210334 | 871 86161 373261 | 2147483647 208285 47 | 0.000 % |
8782.81/8785.41 c | 2215639 | 871 86161 373261 | 2147483647 213590 48 | 0.000 % |
8808.20/8810.87 c | 2221474 | 871 86161 373261 | 217955 167430 47 | 0.000 % |
8831.19/8833.82 c | 2227892 | 871 86161 373261 | 217955 173848 48 | 0.000 % |
8851.89/8854.51 c | 2234953 | 871 86161 373261 | 2147483647 180909 47 | 0.000 % |
8872.28/8874.94 c | 2242721 | 871 86161 373261 | 2147483647 188677 47 | 0.000 % |
8892.27/8894.93 c | 2251261 | 871 86161 373261 | 2147483647 197217 47 | 0.000 % |
8926.36/8929.03 c | 2260655 | 871 86161 373261 | 2147483647 206611 47 | 0.000 % |
8964.15/8966.80 c | 2270989 | 871 86161 373261 | 215956 159476 48 | 0.000 % |
8998.85/9001.58 c | 2282355 | 871 86161 373261 | 168489 113139 48 | 0.000 % |
9027.04/9029.78 c | 2294857 | 871 86161 373261 | 120787 97372 48 | 0.000 % |
9050.33/9053.08 c | 2308610 | 871 86161 373261 | 2147483647 111125 47 | 0.000 % |
9065.03/9067.76 c | 2323739 | 871 86161 373261 | 2147483647 126254 47 | 0.000 % |
9085.52/9088.22 c | 2340378 | 871 86161 373261 | 2147483647 142893 48 | 0.000 % |
9115.81/9118.55 c | 2358682 | 871 86161 373261 | 2147483647 161197 50 | 0.000 % |
9165.29/9168.05 c | 2378814 | 871 86161 373261 | 2147483647 149735 52 | 0.000 % |
9165.89/9168.60 c | 2378915 | 871 86161 373261 | 2147483647 149836 52 | 0.000 % |
9166.69/9169.47 c | 2379025 | 871 86161 373261 | 2147483647 149946 52 | 0.000 % |
9167.19/9169.92 c | 2379149 | 871 86161 373261 | 2147483647 150070 52 | 0.000 % |
9167.80/9170.56 c | 2379283 | 871 86161 373261 | 2147483647 150204 52 | 0.000 % |
9168.40/9171.19 c | 2379434 | 871 86161 373261 | 2147483647 150355 52 | 0.000 % |
9169.10/9171.89 c | 2379595 | 871 86161 373261 | 2147483647 150516 52 | 0.000 % |
9170.00/9172.74 c | 2379771 | 871 86161 373261 | 2147483647 150692 52 | 0.000 % |
9170.80/9173.58 c | 2379964 | 871 86161 373261 | 2147483647 150885 52 | 0.000 % |
9171.90/9174.68 c | 2380176 | 871 86161 373261 | 2147483647 151097 52 | 0.000 % |
9172.90/9175.62 c | 2380410 | 871 86161 373261 | 2147483647 151331 52 | 0.000 % |
9174.30/9177.01 c | 2380666 | 871 86161 373261 | 2147483647 151587 52 | 0.000 % |
9175.60/9178.36 c | 2380947 | 871 86161 373261 | 2147483647 151868 52 | 0.000 % |
9176.90/9179.68 c | 2381257 | 871 86161 373261 | 2147483647 152178 52 | 0.000 % |
9178.90/9181.64 c | 2381597 | 871 86161 373261 | 2147483647 152518 52 | 0.000 % |
9180.80/9183.54 c | 2381970 | 871 86161 373261 | 2147483647 152891 52 | 0.000 % |
9182.89/9185.68 c | 2382379 | 871 86161 373261 | 2147483647 153300 52 | 0.000 % |
9185.29/9188.03 c | 2382830 | 871 86161 373261 | 2147483647 153751 52 | 0.000 % |
9187.49/9190.22 c | 2383324 | 871 86161 373261 | 2147483647 154245 52 | 0.000 % |
9189.79/9192.56 c | 2383869 | 871 86161 373261 | 2147483647 154790 52 | 0.000 % |
9192.29/9195.02 c | 2384467 | 871 86161 373261 | 2147483647 155388 52 | 0.000 % |
9195.19/9197.95 c | 2385123 | 871 86161 373261 | 2147483647 156044 52 | 0.000 % |
9199.29/9202.03 c | 2385844 | 871 86161 373261 | 2147483647 156765 52 | 0.000 % |
9201.69/9204.49 c | 2386638 | 871 86161 373261 | 2147483647 157559 52 | 0.000 % |
9205.69/9208.48 c | 2387509 | 871 86161 373261 | 2147483647 158430 52 | 0.000 % |
9209.69/9212.47 c | 2388467 | 871 86161 373261 | 2147483647 159388 52 | 0.000 % |
9215.19/9217.92 c | 2389522 | 871 86161 373261 | 2147483647 160443 52 | 0.000 % |
9221.48/9224.22 c | 2390680 | 871 86161 373261 | 2147483647 161601 52 | 0.000 % |
9227.38/9230.16 c | 2391954 | 871 86161 373261 | 2147483647 162875 52 | 0.000 % |
9234.28/9237.05 c | 2393356 | 871 86161 373261 | 2147483647 164277 52 | 0.000 % |
9241.28/9244.07 c | 2394897 | 871 86161 373261 | 2147483647 165818 52 | 0.000 % |
9247.27/9250.07 c | 2396595 | 871 86161 373261 | 2147483647 167516 52 | 0.000 % |
9257.77/9260.51 c | 2398458 | 871 86161 373261 | 2147483647 169379 52 | 0.000 % |
9267.57/9270.38 c | 2400507 | 871 86161 373261 | 2147483647 171428 52 | 0.000 % |
9278.36/9281.14 c | 2402761 | 871 86161 373261 | 2147483647 173682 52 | 0.000 % |
9292.46/9295.22 c | 2405239 | 871 86161 373261 | 2147483647 176160 52 | 0.000 % |
9307.25/9310.01 c | 2407967 | 871 86161 373261 | 2147483647 178888 51 | 0.000 % |
9322.95/9325.79 c | 2410964 | 871 86161 373261 | 2147483647 181885 51 | 0.000 % |
9338.94/9341.71 c | 2414260 | 871 86161 373261 | 2147483647 185181 51 | 0.000 % |
9355.04/9357.83 c | 2417885 | 871 86161 373261 | 2147483647 188806 51 | 0.000 % |
9371.34/9374.17 c | 2421872 | 871 86161 373261 | 2147483647 192793 51 | 0.000 % |
9395.43/9398.22 c | 2426257 | 871 86161 373261 | 2147483647 197178 51 | 0.000 % |
9420.22/9423.08 c | 2431082 | 871 86161 373261 | 2147483647 202003 50 | 0.000 % |
9445.41/9448.29 c | 2436387 | 871 86161 373261 | 2147483647 207308 50 | 0.000 % |
9478.20/9481.07 c | 2442223 | 871 86161 373261 | 210921 186055 51 | 0.000 % |
9510.09/9512.96 c | 2448641 | 871 86161 373261 | 210921 192473 51 | 0.000 % |
9538.38/9541.22 c | 2455700 | 871 86161 373261 | 193835 179248 51 | 0.000 % |
9566.77/9569.61 c | 2463466 | 871 86161 373261 | 2147483647 187014 51 | 0.000 % |
9604.07/9606.95 c | 2472009 | 871 86161 373261 | 2147483647 195557 51 | 0.000 % |
9642.86/9645.71 c | 2481405 | 871 86161 373261 | 2147483647 204953 51 | 0.000 % |
9693.45/9696.34 c | 2491738 | 871 86161 373261 | 2147483647 215286 50 | 0.000 % |
9744.23/9747.20 c | 2503105 | 871 86161 373261 | 2147483647 226653 50 | 0.000 % |
9765.62/9768.55 c | 2515609 | 871 86161 373261 | 2147483647 239157 49 | 0.000 % |
9811.21/9814.17 c | 2529361 | 871 86161 373261 | 243548 225942 48 | 0.000 % |
9871.90/9874.84 c | 2544489 | 871 86161 373261 | 198102 169114 46 | 0.000 % |
9961.47/9964.46 c | 2561128 | 871 86161 373261 | 150222 123894 46 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837540-1242877049/watcher-1837540-1242877049 -o /tmp/evaluation-result-1837540-1242877049/solver-1837540-1242877049 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837540-1242877049.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 16125
/proc/meminfo: memFree=1738440/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315738930 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16125/statm: 1339 237 197 169 0 50 0
[startup+0.0420089 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 16125
/proc/meminfo: memFree=1738440/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315738930 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16125/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101013 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 16125
/proc/meminfo: memFree=1738440/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315738930 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16125/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301033 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 16125
/proc/meminfo: memFree=1738440/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315738930 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16125/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701074 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 16125
/proc/meminfo: memFree=1738440/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315738930 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16125/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50115 s]
/proc/loadavg: 0.85 0.97 0.98 2/66 16131
/proc/meminfo: memFree=1730800/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=6564 CPUtime=0.55
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 1534 0 0 0 55 0 0 0 22 0 1 0 315739024 6721536 1520 1992294400 134512640 135215339 4294956240 18446744073709551615 134743406 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 1641 1520 77 171 0 1468 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11920
[startup+3.10231 s]
/proc/loadavg: 0.85 0.97 0.98 2/66 16131
/proc/meminfo: memFree=1729456/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=7764 CPUtime=2.14
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 1837 0 0 0 214 0 0 0 25 0 1 0 315739024 7950336 1823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 1941 1823 77 171 0 1768 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13120
[startup+6.30163 s]
/proc/loadavg: 0.86 0.97 0.98 2/66 16131
/proc/meminfo: memFree=1727280/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=9524 CPUtime=5.34
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 2279 0 0 0 533 1 0 0 25 0 1 0 315739024 9752576 2265 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 2381 2265 77 171 0 2208 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 14880
[startup+12.7013 s]
/proc/loadavg: 0.87 0.97 0.98 2/66 16131
/proc/meminfo: memFree=1724656/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=12068 CPUtime=11.74
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 2898 0 0 0 1172 2 0 0 25 0 1 0 315739024 12357632 2884 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 3017 2884 77 171 0 2844 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 17424
[startup+25.5015 s]
/proc/loadavg: 0.90 0.97 0.98 2/66 16131
/proc/meminfo: memFree=1721072/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=15504 CPUtime=24.54
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 3751 0 0 0 2450 4 0 0 25 0 1 0 315739024 15876096 3737 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 3876 3737 77 171 0 3703 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 20860
[startup+51.1011 s]
/proc/loadavg: 0.93 0.97 0.98 2/66 16131
/proc/meminfo: memFree=1716592/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=20120 CPUtime=50.13
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 4850 0 0 0 5009 4 0 0 25 0 1 0 315739024 20602880 4836 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 5030 4836 77 171 0 4857 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 25476
[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.98 2/66 16131
/proc/meminfo: memFree=1710832/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=26072 CPUtime=101.32
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 6289 0 0 0 10126 6 0 0 25 0 1 0 315739024 26697728 6275 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 6518 6275 77 171 0 6345 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 31428
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 16131
/proc/meminfo: memFree=1705136/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=31988 CPUtime=161.29
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 7713 0 0 0 16123 6 0 0 25 0 1 0 315739024 32755712 7699 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 7997 7699 77 171 0 7824 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 37344
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 16131
/proc/meminfo: memFree=1699440/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=37700 CPUtime=221.28
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 9111 0 0 0 22120 8 0 0 25 0 1 0 315739024 38604800 9097 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 9425 9097 77 171 0 9252 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 43056
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 16131
/proc/meminfo: memFree=1697200/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=39868 CPUtime=281.27
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 9654 0 0 0 28117 10 0 0 25 0 1 0 315739024 40824832 9640 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 9967 9640 77 171 0 9794 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 45224
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 16133
/proc/meminfo: memFree=1695920/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=41104 CPUtime=341.25
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 9925 0 0 0 34115 10 0 0 25 0 1 0 315739024 42090496 9911 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 10276 9911 77 171 0 10103 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 46460
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 16133
/proc/meminfo: memFree=1693808/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=43256 CPUtime=401.23
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 10452 0 0 0 40112 11 0 0 25 0 1 0 315739024 44294144 10438 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 10814 10438 77 171 0 10641 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 48612
[startup+462.302 s]
################
# More data... #
################
/proc/16131/statm: 27717 26214 77 171 0 27544 0
Current children cumulated CPU time (s) 9339.55
Current children cumulated vsize (KiB) 116224
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16155
/proc/meminfo: memFree=1626672/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=110868 CPUtime=9398.6
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 26339 0 0 0 939804 56 0 0 25 0 1 0 315739024 113528832 26214 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 27717 26214 77 171 0 27544 0
Current children cumulated CPU time (s) 9399.53
Current children cumulated vsize (KiB) 116224
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16155
/proc/meminfo: memFree=1626608/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=110868 CPUtime=9458.58
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 26339 0 0 0 945802 56 0 0 25 0 1 0 315739024 113528832 26214 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 27717 26214 77 171 0 27544 0
Current children cumulated CPU time (s) 9459.51
Current children cumulated vsize (KiB) 116224
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16155
/proc/meminfo: memFree=1626672/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=110868 CPUtime=9518.56
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 26339 0 0 0 951800 56 0 0 25 0 1 0 315739024 113528832 26214 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 27717 26214 77 171 0 27544 0
Current children cumulated CPU time (s) 9519.49
Current children cumulated vsize (KiB) 116224
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16155
/proc/meminfo: memFree=1626608/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=110868 CPUtime=9578.54
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 26340 0 0 0 957798 56 0 0 25 0 1 0 315739024 113528832 26215 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 27717 26215 77 171 0 27544 0
Current children cumulated CPU time (s) 9579.47
Current children cumulated vsize (KiB) 116224
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16155
/proc/meminfo: memFree=1626608/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=110868 CPUtime=9638.53
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 26342 0 0 0 963796 57 0 0 25 0 1 0 315739024 113528832 26217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 27717 26217 77 171 0 27544 0
Current children cumulated CPU time (s) 9639.46
Current children cumulated vsize (KiB) 116224
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16155
/proc/meminfo: memFree=1626480/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=110868 CPUtime=9698.51
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 26342 0 0 0 969794 57 0 0 25 0 1 0 315739024 113528832 26217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 27717 26217 77 171 0 27544 0
Current children cumulated CPU time (s) 9699.44
Current children cumulated vsize (KiB) 116224
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16155
/proc/meminfo: memFree=1626480/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=110868 CPUtime=9758.49
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 26365 0 0 0 975792 57 0 0 25 0 1 0 315739024 113528832 26240 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 27717 26240 77 171 0 27544 0
Current children cumulated CPU time (s) 9759.42
Current children cumulated vsize (KiB) 116224
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16155
/proc/meminfo: memFree=1625968/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=111392 CPUtime=9818.48
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 26471 0 0 0 981791 57 0 0 25 0 1 0 315739024 114065408 26346 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 27848 26346 77 171 0 27675 0
Current children cumulated CPU time (s) 9819.41
Current children cumulated vsize (KiB) 116748
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16155
/proc/meminfo: memFree=1625904/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=111472 CPUtime=9878.47
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 26493 0 0 0 987789 58 0 0 25 0 1 0 315739024 114147328 26368 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 27868 26368 77 171 0 27695 0
Current children cumulated CPU time (s) 9879.4
Current children cumulated vsize (KiB) 116828
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16155
/proc/meminfo: memFree=1625840/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=111472 CPUtime=9938.45
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 26493 0 0 0 993787 58 0 0 25 0 1 0 315739024 114147328 26368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 27868 26368 77 171 0 27695 0
Current children cumulated CPU time (s) 9939.38
Current children cumulated vsize (KiB) 116828
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16155
/proc/meminfo: memFree=1625840/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=111472 CPUtime=9998.43
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 26493 0 0 0 999785 58 0 0 25 0 1 0 315739024 114147328 26368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 27868 26368 77 171 0 27695 0
Current children cumulated CPU time (s) 9999.36
Current children cumulated vsize (KiB) 116828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16155
/proc/meminfo: memFree=1625840/2055920 swapFree=4180316/4192956
[pid=16125] ppid=16123 vsize=5356 CPUtime=0.93
/proc/16125/stat : 16125 (SatELiteGTI) S 16123 16125 16088 0 -1 4194304 336 2611 0 0 0 0 91 2 16 0 1 0 315738930 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16125/statm: 1339 239 197 169 0 50 0
[pid=16131] ppid=16125 vsize=111472 CPUtime=9999.13
/proc/16131/stat : 16131 (minisat_static) R 16125 16125 16088 0 -1 4194304 26493 0 0 0 999855 58 0 0 25 0 1 0 315739024 114147328 26368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 27868 26368 77 171 0 27695 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 116828
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 16125 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=914860
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=24996
# CPU time returned by wait4() is 0.939856
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10003
CPU time (s): 10000.1
CPU user time (s): 9999.46
CPU system time (s): 0.6
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 116828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.91486
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2947
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= 13
involuntary context switches= 7
runsolver used 11.2963 second user time and 25.2452 second system time
The end
Begin job on node12 at 2009-05-21 05:37:29
IDJOB=1837540
IDBENCH=71089
IDSOLVER=674
FILE ID=node12/1837540-1242877049
PBS_JOBID= 9328646
Free space on /tmp= 66212 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837540-1242877049/watcher-1837540-1242877049 -o /tmp/evaluation-result-1837540-1242877049/solver-1837540-1242877049 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837540-1242877049.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= feb620c17f2a4d7899a2e7883baa7391
RANDOM SEED=2043692722
node12.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.213
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.213
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: 1738920 kB
Buffers: 47948 kB
Cached: 219472 kB
SwapCached: 6824 kB
Active: 109568 kB
Inactive: 166052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1738920 kB
SwapTotal: 4192956 kB
SwapFree: 4180316 kB
Dirty: 3168 kB
Writeback: 0 kB
Mapped: 13404 kB
Slab: 27456 kB
Committed_AS: 1184372 kB
PageTables: 1380 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= 66208 MiB
End job on node12 at 2009-05-21 08:24:14