0.00/0.00 c Parsing...
0.09/0.17 c ==============================================================================
0.09/0.17 c | | ORIGINAL | LEARNT | |
0.09/0.17 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.09/0.17 c ==============================================================================
0.09/0.17 c | 0 | 300446 896973 | 90133 0 0 nan | 0.000 % |
3.98/4.08 c | 0 | 298711 1313786 | -- 0 -- -- | -- | -1735/416813
3.98/4.08 c ==============================================================================
3.98/4.08 c Result : #vars: 1877 #clauses: 298711 #literals: 1313786
3.98/4.08 c CPU time: 4.02539 s
3.98/4.08 c ==============================================================================
4.39/4.44 c This is MiniSat 2.0 beta
4.39/4.44 c WARNING: for repeatability, setting FPU to use double precision
4.39/4.44 c ============================[ Problem Statistics ]=============================
4.39/4.44 c | |
4.39/4.44 c | Number of variables: 1877 |
4.39/4.44 c | Number of clauses: 298711 |
4.43/4.60 c | Parsing time: 0.14 s |
4.43/4.61 c ============================[ Search Statistics ]==============================
4.43/4.61 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.43/4.61 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.43/4.61 c ===============================================================================
4.43/4.61 c | 0 | 1877 298711 1313786 | 99570 0 nan | 0.000 % |
4.43/4.78 c | 102 | 1877 298711 1313786 | 99570 102 106 | 0.000 % |
4.43/4.82 c | 203 | 1877 298711 1313786 | 99570 203 87 | 0.000 % |
4.43/4.95 c | 304 | 1877 298711 1313786 | 99570 304 84 | 0.000 % |
4.43/5.03 c | 415 | 1877 298711 1313786 | 99570 415 79 | 0.000 % |
4.43/5.15 c | 516 | 1877 298711 1313786 | 99570 516 78 | 0.000 % |
4.43/5.23 c | 627 | 1877 298711 1313786 | 99570 627 78 | 0.000 % |
4.43/5.34 c | 751 | 1877 298711 1313786 | 99570 751 80 | 0.000 % |
5.38/5.41 c | 851 | 1877 298711 1313786 | 99570 851 80 | 0.000 % |
5.38/5.50 c | 961 | 1877 298711 1313786 | 99570 961 80 | 0.000 % |
5.48/5.58 c | 1084 | 1877 298711 1313786 | 99570 1084 79 | 0.000 % |
5.58/5.69 c | 1218 | 1877 298711 1313786 | 99570 1218 79 | 0.000 % |
5.67/5.74 c | 1318 | 1877 298711 1313786 | 99570 1318 80 | 0.000 % |
5.77/5.85 c | 1428 | 1877 298711 1313786 | 99570 1428 80 | 0.000 % |
5.87/5.95 c | 1550 | 1877 298711 1313786 | 99570 1550 79 | 0.000 % |
5.97/6.09 c | 1684 | 1877 298711 1313786 | 99570 1684 80 | 0.000 % |
6.07/6.17 c | 1833 | 1877 298711 1313786 | 99570 1833 80 | 0.000 % |
6.17/6.23 c | 1933 | 1877 298711 1313786 | 99570 1933 80 | 0.000 % |
6.17/6.29 c | 2043 | 1877 298711 1313786 | 99570 2043 80 | 0.000 % |
6.37/6.43 c | 2166 | 1877 298711 1313786 | 99570 2166 81 | 0.000 % |
6.37/6.49 c | 2302 | 1877 298711 1313786 | 99570 2302 81 | 0.000 % |
6.47/6.60 c | 2449 | 1877 298711 1313786 | 99570 2449 82 | 0.000 % |
6.67/6.73 c | 2610 | 1877 298711 1313786 | 99570 2610 82 | 0.000 % |
6.77/6.84 c | 2710 | 1877 298711 1313786 | 99570 2710 82 | 0.000 % |
6.87/6.98 c | 2820 | 1877 298711 1313786 | 99570 2820 82 | 0.000 % |
6.97/7.08 c | 2943 | 1877 298711 1313786 | 99570 2943 84 | 0.000 % |
7.07/7.17 c | 3076 | 1877 298711 1313786 | 99570 3076 83 | 0.000 % |
7.27/7.30 c | 3222 | 1877 298711 1313786 | 99570 3222 84 | 0.000 % |
7.27/7.35 c | 3386 | 1877 298711 1313786 | 99570 3386 85 | 0.000 % |
7.37/7.48 c | 3562 | 1877 298711 1313786 | 99570 3562 84 | 0.000 % |
7.46/7.58 c | 3663 | 1877 298711 1313786 | 99570 3663 84 | 0.000 % |
7.56/7.70 c | 3774 | 1877 298711 1313786 | 99570 3774 84 | 0.000 % |
7.76/7.80 c | 3895 | 1877 298711 1313786 | 99570 3895 85 | 0.000 % |
7.76/7.89 c | 4029 | 1877 298711 1313786 | 99570 4029 85 | 0.000 % |
7.96/8.02 c | 4176 | 1877 298711 1313786 | 99570 4176 87 | 0.000 % |
8.16/8.21 c | 4339 | 1877 298711 1313786 | 99570 4339 86 | 0.000 % |
8.26/8.32 c | 4515 | 1877 298711 1313786 | 99570 4515 86 | 0.000 % |
8.36/8.48 c | 4710 | 1877 298711 1313786 | 99570 4710 88 | 0.000 % |
8.46/8.57 c | 4810 | 1877 298711 1313786 | 99570 4810 88 | 0.000 % |
8.66/8.70 c | 4922 | 1877 298711 1313786 | 99570 4922 88 | 0.000 % |
8.76/8.80 c | 5043 | 1877 298711 1313786 | 99570 5043 88 | 0.000 % |
8.86/8.92 c | 5176 | 1877 298711 1313786 | 99570 5176 90 | 0.000 % |
8.86/9.00 c | 5324 | 1877 298711 1313786 | 99570 5324 90 | 0.000 % |
9.06/9.16 c | 5484 | 1877 298711 1313786 | 99570 5484 90 | 0.000 % |
9.17/9.28 c | 5660 | 1877 298711 1313786 | 99570 5660 90 | 0.000 % |
9.36/9.46 c | 5853 | 1877 298711 1313786 | 99570 5853 91 | 0.000 % |
9.56/9.61 c | 6065 | 1877 298711 1313786 | 99570 6065 90 | 0.000 % |
9.66/9.72 c | 6166 | 1877 298711 1313786 | 99570 6166 91 | 0.000 % |
9.77/9.81 c | 6276 | 1877 298711 1313786 | 99570 6276 91 | 0.000 % |
9.87/9.93 c | 6397 | 1877 298711 1313786 | 99570 6397 91 | 0.000 % |
9.96/10.04 c | 6531 | 1877 298711 1313786 | 99570 6531 91 | 0.000 % |
10.06/10.14 c | 6678 | 1877 298711 1313786 | 99570 6678 91 | 0.000 % |
10.16/10.23 c | 6840 | 1877 298711 1313786 | 99570 6840 91 | 0.000 % |
10.26/10.39 c | 7016 | 1877 298711 1313786 | 99570 7016 93 | 0.000 % |
10.46/10.59 c | 7209 | 1877 298711 1313786 | 99570 7209 93 | 0.000 % |
10.66/10.79 c | 7421 | 1877 298711 1313786 | 99570 7421 94 | 0.000 % |
10.86/10.97 c | 7655 | 1877 298711 1313786 | 99570 7655 95 | 0.000 % |
10.96/11.07 c | 7758 | 1877 298711 1313786 | 99570 7758 95 | 0.000 % |
11.06/11.19 c | 7869 | 1877 298711 1313786 | 99570 7869 95 | 0.000 % |
11.16/11.28 c | 7991 | 1877 298711 1313786 | 99570 7991 96 | 0.000 % |
11.36/11.42 c | 8124 | 1877 298711 1313786 | 99570 8124 96 | 0.000 % |
11.36/11.49 c | 8270 | 1877 298711 1313786 | 99570 8270 96 | 0.000 % |
11.56/11.63 c | 8430 | 1877 298711 1313786 | 99570 8430 96 | 0.000 % |
11.76/11.80 c | 8606 | 1877 298711 1313786 | 99570 8606 96 | 0.000 % |
11.86/11.97 c | 8800 | 1877 298711 1313786 | 99570 8800 95 | 0.000 % |
12.06/12.13 c | 9016 | 1877 298711 1313786 | 99570 9016 95 | 0.000 % |
12.25/12.34 c | 9251 | 1877 298711 1313786 | 99570 9251 96 | 0.000 % |
12.46/12.56 c | 9511 | 1877 298711 1313786 | 99570 9511 96 | 0.000 % |
12.56/12.64 c | 9612 | 1877 298711 1313786 | 99570 9612 96 | 0.000 % |
12.66/12.78 c | 9722 | 1877 298711 1313786 | 99570 9722 96 | 0.000 % |
12.86/12.90 c | 9843 | 1877 298711 1313786 | 99570 9843 96 | 0.000 % |
12.96/13.05 c | 9976 | 1877 298711 1313786 | 99570 9976 96 | 0.000 % |
13.16/13.25 c | 10122 | 1877 298711 1313786 | 2147483647 10122 95 | 0.000 % |
13.36/13.45 c | 10282 | 1877 298711 1313786 | 2147483647 10282 95 | 0.000 % |
13.56/13.67 c | 10461 | 1877 298711 1313786 | 2147483647 10461 94 | 0.000 % |
13.86/13.96 c | 10657 | 1877 298711 1313786 | 2147483647 10657 93 | 0.000 % |
14.16/14.30 c | 10871 | 1877 298711 1313786 | 2147483647 10871 92 | 0.000 % |
14.56/14.66 c | 11104 | 1877 298711 1313786 | 2147483647 11104 91 | 0.000 % |
14.86/15.00 c | 11361 | 1877 298711 1313786 | 2147483647 11361 90 | 0.000 % |
15.46/15.50 c | 11642 | 1877 298711 1313786 | 2147483647 11642 89 | 0.000 % |
15.56/15.68 c | 11744 | 1877 298711 1313786 | 2147483647 11744 88 | 0.000 % |
15.76/15.84 c | 11856 | 1877 298711 1313786 | 2147483647 11856 88 | 0.000 % |
15.96/16.00 c | 11977 | 1877 298711 1313786 | 2147483647 11977 88 | 0.000 % |
16.06/16.15 c | 12110 | 1877 298711 1313786 | 2147483647 12110 88 | 0.000 % |
16.16/16.26 c | 12256 | 1877 298711 1313786 | 2147483647 12256 88 | 0.000 % |
16.26/16.39 c | 12416 | 1877 298711 1313786 | 2147483647 12416 88 | 0.000 % |
16.46/16.54 c | 12593 | 1877 298711 1313786 | 2147483647 12593 88 | 0.000 % |
16.56/16.60 c | 12788 | 1877 298711 1313786 | 2147483647 12788 88 | 0.000 % |
16.66/16.78 c | 13000 | 1877 298711 1313786 | 2147483647 13000 89 | 0.000 % |
16.76/16.87 c | 13234 | 1877 298711 1313786 | 2147483647 13234 89 | 0.000 % |
16.96/17.05 c | 13490 | 1877 298711 1313786 | 2147483647 13490 90 | 0.000 % |
17.26/17.30 c | 13771 | 1877 298711 1313786 | 2147483647 13771 91 | 0.000 % |
17.46/17.51 c | 14084 | 1877 298711 1313786 | 2147483647 14084 90 | 0.000 % |
17.46/17.59 c | 14184 | 1877 298711 1313786 | 2147483647 14184 90 | 0.000 % |
17.56/17.67 c | 14294 | 1877 298711 1313786 | 2147483647 14294 90 | 0.000 % |
17.65/17.79 c | 14416 | 1877 298711 1313786 | 2147483647 14416 90 | 0.000 % |
17.75/17.87 c | 14550 | 1877 298711 1313786 | 2147483647 14550 90 | 0.000 % |
17.95/18.00 c | 14697 | 1877 298711 1313786 | 2147483647 14697 90 | 0.000 % |
18.05/18.12 c | 14858 | 1877 298711 1313786 | 2147483647 14858 90 | 0.000 % |
18.15/18.26 c | 15035 | 1877 298711 1313786 | 2147483647 15035 91 | 0.000 % |
18.35/18.48 c | 15228 | 1877 298711 1313786 | 2147483647 15228 91 | 0.000 % |
18.56/18.66 c | 15441 | 1877 298711 1313786 | 2147483647 15441 91 | 0.000 % |
18.75/18.83 c | 15675 | 1877 298711 1313786 | 2147483647 15675 91 | 0.000 % |
18.95/19.04 c | 15931 | 1877 298711 1313786 | 2147483647 15931 91 | 0.000 % |
19.15/19.27 c | 16215 | 1877 298711 1313786 | 2147483647 16215 92 | 0.000 % |
19.35/19.48 c | 16524 | 1877 298711 1313786 | 2147483647 16524 92 | 0.000 % |
19.66/19.76 c | 16863 | 1877 298711 1313786 | 2147483647 16863 92 | 0.000 % |
19.76/19.82 c | 16963 | 1877 298711 1313786 | 2147483647 16963 92 | 0.000 % |
19.85/19.96 c | 17073 | 1877 298711 1313786 | 2147483647 17073 93 | 0.000 % |
19.95/20.09 c | 17195 | 1877 298711 1313786 | 2147483647 17195 93 | 0.000 % |
20.15/20.25 c | 17328 | 1877 298711 1313786 | 2147483647 17328 93 | 0.000 % |
20.25/20.39 c | 17474 | 1877 298711 1313786 | 2147483647 17474 92 | 0.000 % |
20.46/20.57 c | 17634 | 1877 298711 1313786 | 2147483647 17634 92 | 0.000 % |
20.66/20.76 c | 17811 | 1877 298711 1313786 | 2147483647 17811 92 | 0.000 % |
20.76/20.88 c | 18004 | 1877 298711 1313786 | 2147483647 18004 92 | 0.000 % |
20.96/21.04 c | 18217 | 1877 298711 1313786 | 2147483647 18217 92 | 0.000 % |
21.16/21.24 c | 18450 | 1877 298711 1313786 | 2147483647 18450 92 | 0.000 % |
21.46/21.51 c | 18706 | 1877 298711 1313786 | 2147483647 18706 92 | 0.000 % |
21.86/21.92 c | 18988 | 1877 298711 1313786 | 2147483647 18988 91 | 0.000 % |
22.16/22.25 c | 19297 | 1877 298711 1313786 | 2147483647 19297 90 | 0.000 % |
22.36/22.43 c | 19636 | 1877 298711 1313786 | 2147483647 19636 90 | 0.000 % |
22.76/22.81 c | 20008 | 1877 298711 1313786 | 2147483647 20008 90 | 0.000 % |
22.86/22.94 c | 20108 | 1877 298711 1313786 | 2147483647 20108 90 | 0.000 % |
22.96/23.05 c | 20219 | 1877 298711 1313786 | 2147483647 20219 90 | 0.000 % |
23.06/23.18 c | 20341 | 1877 298711 1313786 | 2147483647 20341 90 | 0.000 % |
23.26/23.30 c | 20476 | 1877 298711 1313786 | 2147483647 20476 90 | 0.000 % |
23.36/23.41 c | 20624 | 1877 298711 1313786 | 2147483647 20624 90 | 0.000 % |
23.46/23.58 c | 20784 | 1877 298711 1313786 | 2147483647 20784 91 | 0.000 % |
23.66/23.73 c | 20960 | 1877 298711 1313786 | 2147483647 20960 91 | 0.000 % |
23.85/23.90 c | 21154 | 1877 298711 1313786 | 2147483647 21154 91 | 0.000 % |
24.06/24.10 c | 21366 | 1877 298711 1313786 | 2147483647 21366 91 | 0.000 % |
24.25/24.36 c | 21599 | 1877 298711 1313786 | 2147483647 21599 91 | 0.000 % |
24.45/24.56 c | 21856 | 1877 298711 1313786 | 2147483647 21856 91 | 0.000 % |
24.75/24.87 c | 22137 | 1877 298711 1313786 | 2147483647 22137 91 | 0.000 % |
25.16/25.23 c | 22446 | 1877 298711 1313786 | 2147483647 22446 91 | 0.000 % |
25.35/25.48 c | 22786 | 1877 298711 1313786 | 2147483647 22786 92 | 0.000 % |
25.65/25.78 c | 23158 | 1877 298711 1313786 | 2147483647 23158 93 | 0.000 % |
26.15/26.21 c | 23570 | 1877 298711 1313786 | 2147483647 23570 93 | 0.000 % |
26.26/26.32 c | 23670 | 1877 298711 1313786 | 2147483647 23670 93 | 0.000 % |
26.36/26.47 c | 23780 | 1877 298711 1313786 | 2147483647 23780 94 | 0.000 % |
26.55/26.63 c | 23902 | 1877 298711 1313786 | 2147483647 23902 94 | 0.000 % |
26.65/26.77 c | 24036 | 1877 298711 1313786 | 2147483647 24036 93 | 0.000 % |
26.75/26.90 c | 24183 | 1877 298711 1313786 | 2147483647 24183 94 | 0.000 % |
26.95/27.02 c | 24343 | 1877 298711 1313786 | 2147483647 24343 94 | 0.000 % |
27.05/27.15 c | 24520 | 1877 298711 1313786 | 2147483647 24520 94 | 0.000 % |
27.25/27.38 c | 24713 | 1877 298711 1313786 | 2147483647 24713 94 | 0.000 % |
27.45/27.56 c | 24925 | 1877 298711 1313786 | 2147483647 24925 94 | 0.000 % |
27.65/27.77 c | 25158 | 1877 298711 1313786 | 2147483647 25158 94 | 0.000 % |
27.85/27.95 c | 25414 | 1877 298711 1313786 | 2147483647 25414 94 | 0.000 % |
28.05/28.13 c | 25696 | 1877 298711 1313786 | 2147483647 25696 94 | 0.000 % |
28.35/28.41 c | 26005 | 1877 298711 1313786 | 2147483647 26005 95 | 0.000 % |
28.55/28.66 c | 26344 | 1877 298711 1313786 | 2147483647 26344 95 | 0.000 % |
29.06/29.17 c | 26716 | 1877 298711 1313786 | 2147483647 26716 95 | 0.000 % |
29.36/29.49 c | 27128 | 1877 298711 1313786 | 2147483647 27128 95 | 0.000 % |
29.86/29.95 c | 27578 | 1877 298711 1313786 | 2147483647 27578 95 | 0.000 % |
30.06/30.14 c | 27679 | 1877 298711 1313786 | 2147483647 27679 95 | 0.000 % |
30.16/30.27 c | 27789 | 1877 298711 1313786 | 2147483647 27789 95 | 0.000 % |
30.36/30.48 c | 27910 | 1877 298711 1313786 | 2147483647 27910 95 | 0.000 % |
30.56/30.61 c | 28043 | 1877 298711 1313786 | 2147483647 28043 95 | 0.000 % |
30.66/30.77 c | 28189 | 1877 298711 1313786 | 2147483647 28189 95 | 0.000 % |
30.85/30.97 c | 28349 | 1877 298711 1313786 | 2147483647 28349 95 | 0.000 % |
31.05/31.18 c | 28525 | 1877 298711 1313786 | 2147483647 28525 95 | 0.000 % |
31.25/31.38 c | 28719 | 1877 298711 1313786 | 2147483647 28719 95 | 0.000 % |
31.45/31.54 c | 28932 | 1877 298711 1313786 | 2147483647 28932 95 | 0.000 % |
31.65/31.76 c | 29167 | 1877 298711 1313786 | 2147483647 29167 95 | 0.000 % |
31.86/31.97 c | 29424 | 1877 298711 1313786 | 2147483647 29424 95 | 0.000 % |
32.35/32.43 c | 29706 | 1877 298711 1313786 | 2147483647 29706 95 | 0.000 % |
32.65/32.74 c | 30016 | 1877 298711 1313786 | 2147483647 30016 95 | 0.000 % |
32.96/33.04 c | 30356 | 1877 298711 1313786 | 2147483647 30356 96 | 0.000 % |
33.65/33.71 c | 30729 | 1877 298711 1313786 | 2147483647 30729 96 | 0.000 % |
34.05/34.17 c | 31138 | 1877 298711 1313786 | 2147483647 31138 96 | 0.000 % |
34.35/34.42 c | 31593 | 1877 298711 1313786 | 2147483647 31593 96 | 0.000 % |
34.85/34.96 c | 32089 | 1877 298711 1313786 | 2147483647 32089 96 | 0.000 % |
34.95/35.05 c | 32189 | 1877 298711 1313786 | 2147483647 32189 96 | 0.000 % |
35.05/35.19 c | 32299 | 1877 298711 1313786 | 2147483647 32299 96 | 0.000 % |
35.25/35.33 c | 32424 | 1877 298711 1313786 | 2147483647 32424 96 | 0.000 % |
35.35/35.49 c | 32558 | 1877 298711 1313786 | 2147483647 32558 96 | 0.000 % |
35.65/35.72 c | 32706 | 1877 298711 1313786 | 2147483647 32706 96 | 0.000 % |
35.75/35.87 c | 32866 | 1877 298711 1313786 | 2147483647 32866 97 | 0.000 % |
35.95/36.09 c | 33045 | 1877 298711 1313786 | 2147483647 33045 97 | 0.000 % |
36.25/36.31 c | 33239 | 1877 298711 1313786 | 2147483647 33239 97 | 0.000 % |
36.35/36.49 c | 33452 | 1877 298711 1313786 | 2147483647 33452 97 | 0.000 % |
36.65/36.75 c | 33685 | 1877 298711 1313786 | 2147483647 33685 97 | 0.000 % |
36.95/37.00 c | 33942 | 1877 298711 1313786 | 2147483647 33942 97 | 0.000 % |
37.25/37.31 c | 34223 | 1877 298711 1313786 | 2147483647 34223 97 | 0.000 % |
37.55/37.66 c | 34534 | 1877 298711 1313786 | 2147483647 34534 98 | 0.000 % |
37.85/37.91 c | 34876 | 1877 298711 1313786 | 2147483647 34876 98 | 0.000 % |
38.05/38.18 c | 35250 | 1877 298711 1313786 | 2147483647 35250 98 | 0.000 % |
38.55/38.60 c | 35659 | 1877 298711 1313786 | 2147483647 35659 98 | 0.000 % |
39.05/39.15 c | 36110 | 1877 298711 1313786 | 2147483647 36110 98 | 0.000 % |
39.75/39.89 c | 36605 | 1877 298711 1313786 | 2147483647 36605 98 | 0.000 % |
40.65/40.74 c | 37150 | 1877 298711 1313786 | 2147483647 37150 98 | 0.000 % |
40.85/40.94 c | 37251 | 1877 298711 1313786 | 2147483647 37251 98 | 0.000 % |
41.05/41.14 c | 37361 | 1877 298711 1313786 | 2147483647 37361 98 | 0.000 % |
41.15/41.27 c | 37484 | 1877 298711 1313786 | 2147483647 37484 98 | 0.000 % |
41.35/41.44 c | 37618 | 1877 298711 1313786 | 2147483647 37618 98 | 0.000 % |
41.55/41.62 c | 37765 | 1877 298711 1313786 | 2147483647 37765 98 | 0.000 % |
41.85/41.91 c | 37927 | 1877 298711 1313786 | 2147483647 37927 98 | 0.000 % |
41.95/42.04 c | 38105 | 1877 298711 1313786 | 2147483647 38105 98 | 0.000 % |
42.15/42.25 c | 38300 | 1877 298711 1313786 | 2147483647 38300 98 | 0.000 % |
42.65/42.70 c | 38512 | 1877 298711 1313786 | 2147483647 38512 98 | 0.000 % |
42.85/42.96 c | 38746 | 1877 298711 1313786 | 2147483647 38746 98 | 0.000 % |
43.14/43.25 c | 39003 | 1877 298711 1313786 | 2147483647 39003 98 | 0.000 % |
43.44/43.59 c | 39285 | 1877 298711 1313786 | 2147483647 39285 98 | 0.000 % |
43.95/44.08 c | 39595 | 1877 298711 1313786 | 2147483647 39595 98 | 0.000 % |
44.54/44.69 c | 39935 | 1877 298711 1313786 | 2147483647 39935 98 | 0.000 % |
44.95/45.04 c | 40309 | 1877 298711 1313786 | 2147483647 40309 98 | 0.000 % |
45.35/45.49 c | 40720 | 1877 298711 1313786 | 2147483647 40720 98 | 0.000 % |
45.75/45.88 c | 41169 | 1877 298711 1313786 | 2147483647 41169 98 | 0.000 % |
46.34/46.40 c | 41662 | 1877 298711 1313786 | 2147483647 41662 98 | 0.000 % |
47.04/47.18 c | 42206 | 1877 298711 1313786 | 2147483647 42206 98 | 0.000 % |
47.64/47.73 c | 42804 | 1877 298711 1313786 | 2147483647 42804 99 | 0.000 % |
47.74/47.90 c | 42904 | 1877 298711 1313786 | 2147483647 42904 99 | 0.000 % |
47.95/48.05 c | 43014 | 1877 298711 1313786 | 2147483647 43014 99 | 0.000 % |
48.15/48.25 c | 43135 | 1877 298711 1313786 | 2147483647 43135 99 | 0.000 % |
48.35/48.46 c | 43268 | 1877 298711 1313786 | 2147483647 43268 99 | 0.000 % |
48.55/48.60 c | 43414 | 1877 298711 1313786 | 2147483647 43414 99 | 0.000 % |
48.65/48.79 c | 43574 | 1877 298711 1313786 | 2147483647 43574 99 | 0.000 % |
48.95/49.05 c | 43751 | 1877 298711 1313786 | 2147483647 43751 99 | 0.000 % |
49.15/49.28 c | 43945 | 1877 298711 1313786 | 2147483647 43945 99 | 0.000 % |
49.45/49.52 c | 44158 | 1877 298711 1313786 | 2147483647 44158 99 | 0.000 % |
49.75/49.80 c | 44397 | 1877 298711 1313786 | 2147483647 44397 99 | 0.000 % |
49.95/50.05 c | 44655 | 1877 298711 1313786 | 2147483647 44655 99 | 0.000 % |
50.35/50.43 c | 44938 | 1877 298711 1313786 | 2147483647 44938 99 | 0.000 % |
50.65/50.75 c | 45248 | 1877 298711 1313786 | 2147483647 45248 99 | 0.000 % |
51.05/51.19 c | 45587 | 1877 298711 1313786 | 2147483647 45587 99 | 0.000 % |
51.45/51.56 c | 45960 | 1877 298711 1313786 | 2147483647 45960 99 | 0.000 % |
51.85/52.00 c | 46369 | 1877 298711 1313786 | 2147483647 46369 99 | 0.000 % |
52.45/52.55 c | 46818 | 1877 298711 1313786 | 2147483647 46818 100 | 0.000 % |
52.94/53.04 c | 47312 | 1877 298711 1313786 | 2147483647 47312 100 | 0.000 % |
53.84/53.95 c | 47856 | 1877 298711 1313786 | 2147483647 47856 100 | 0.000 % |
54.83/55.00 c | 48454 | 1877 298711 1313786 | 2147483647 48454 100 | 0.000 % |
55.73/55.88 c | 49111 | 1877 298711 1313786 | 2147483647 49111 100 | 0.000 % |
55.93/56.09 c | 49214 | 1877 298711 1313786 | 2147483647 49214 100 | 0.000 % |
56.13/56.21 c | 49329 | 1877 298711 1313786 | 2147483647 49329 100 | 0.000 % |
56.23/56.33 c | 49450 | 1877 298711 1313786 | 2147483647 49450 100 | 0.000 % |
56.43/56.56 c | 49583 | 1877 298711 1313786 | 2147483647 49583 101 | 0.000 % |
56.63/56.80 c | 49729 | 1877 298711 1313786 | 2147483647 49729 101 | 0.000 % |
56.93/57.06 c | 49891 | 1877 298711 1313786 | 2147483647 49891 101 | 0.000 % |
57.24/57.35 c | 50069 | 1877 298711 1313786 | 2147483647 50069 101 | 0.000 % |
57.54/57.62 c | 50262 | 1877 298711 1313786 | 2147483647 50262 101 | 0.000 % |
57.94/58.04 c | 50474 | 1877 298711 1313786 | 2147483647 50474 101 | 0.000 % |
58.24/58.31 c | 50710 | 1877 298711 1313786 | 2147483647 50710 101 | 0.000 % |
58.74/58.84 c | 50967 | 1877 298711 1313786 | 2147483647 50967 101 | 0.000 % |
59.14/59.28 c | 51249 | 1877 298711 1313786 | 2147483647 51249 100 | 0.000 % |
59.34/59.46 c | 51560 | 1877 298711 1313786 | 2147483647 51560 100 | 0.000 % |
59.74/59.85 c | 51900 | 1877 298711 1313786 | 2147483647 51900 100 | 0.000 % |
60.34/60.48 c | 52272 | 1877 298711 1313786 | 2147483647 52272 100 | 0.000 % |
60.84/60.96 c | 52684 | 1877 298711 1313786 | 2147483647 52684 100 | 0.000 % |
61.54/61.60 c | 53134 | 1877 298711 1313786 | 2147483647 53134 100 | 0.000 % |
62.44/62.53 c | 53627 | 1877 298711 1313786 | 2147483647 53627 100 | 0.000 % |
63.64/63.78 c | 54173 | 1877 298711 1313786 | 2147483647 54173 100 | 0.000 % |
64.84/64.99 c | 54769 | 1877 298711 1313786 | 2147483647 54769 99 | 0.000 % |
66.53/66.65 c | 55424 | 1877 298711 1313786 | 2147483647 55424 98 | 0.000 % |
67.93/68.03 c | 56148 | 1877 298711 1313786 | 2147483647 56148 98 | 0.000 % |
68.14/68.22 c | 56250 | 1877 298711 1313786 | 2147483647 56250 97 | 0.000 % |
68.33/68.45 c | 56361 | 1877 298711 1313786 | 2147483647 56361 97 | 0.000 % |
68.53/68.67 c | 56485 | 1877 298711 1313786 | 2147483647 56485 97 | 0.000 % |
68.83/68.96 c | 56623 | 1877 298711 1313786 | 2147483647 56623 97 | 0.000 % |
68.93/69.06 c | 56769 | 1877 298711 1313786 | 2147483647 56769 97 | 0.000 % |
69.33/69.45 c | 56930 | 1877 298711 1313786 | 2147483647 56930 97 | 0.000 % |
69.43/69.58 c | 57109 | 1877 298711 1313786 | 2147483647 57109 97 | 0.000 % |
69.73/69.80 c | 57303 | 1877 298711 1313786 | 2147483647 57303 97 | 0.000 % |
69.93/70.03 c | 57516 | 1877 298711 1313786 | 2147483647 57516 97 | 0.000 % |
70.24/70.39 c | 57750 | 1877 298711 1313786 | 2147483647 57750 97 | 0.000 % |
70.63/70.74 c | 58007 | 1877 298711 1313786 | 2147483647 58007 97 | 0.000 % |
70.93/71.09 c | 58289 | 1877 298711 1313786 | 2147483647 58289 97 | 0.000 % |
71.53/71.60 c | 58598 | 1877 298711 1313786 | 2147483647 58598 97 | 0.000 % |
71.93/72.05 c | 58937 | 1877 298711 1313786 | 2147483647 58937 97 | 0.000 % |
72.33/72.40 c | 59309 | 1877 298711 1313786 | 2147483647 59309 98 | 0.000 % |
72.83/72.92 c | 59720 | 1877 298711 1313786 | 2147483647 59720 98 | 0.000 % |
73.43/73.57 c | 60169 | 1877 298711 1313786 | 2147483647 60169 98 | 0.000 % |
73.83/73.97 c | 60664 | 1877 298711 1313786 | 2147483647 60664 98 | 0.000 % |
74.43/74.55 c | 61208 | 1877 298711 1313786 | 2147483647 61208 99 | 0.000 % |
75.23/75.32 c | 61804 | 1877 298711 1313786 | 2147483647 61804 99 | 0.000 % |
76.23/76.33 c | 62459 | 1877 298711 1313786 | 2147483647 62459 99 | 0.000 % |
76.83/76.92 c | 63179 | 1877 298711 1313786 | 2147483647 63179 99 | 0.000 % |
77.83/77.97 c | 63972 | 1877 298711 1313786 | 2147483647 63972 99 | 0.000 % |
78.13/78.24 c | 64073 | 1877 298711 1313786 | 2147483647 64073 99 | 0.000 % |
78.33/78.45 c | 64186 | 1877 298711 1313786 | 2147483647 64186 99 | 0.000 % |
78.53/78.65 c | 64310 | 1877 298711 1313786 | 2147483647 64310 99 | 0.000 % |
78.73/78.86 c | 64444 | 1877 298711 1313786 | 2147483647 64444 99 | 0.000 % |
79.03/79.13 c | 64593 | 1877 298711 1313786 | 2147483647 64593 99 | 0.000 % |
79.43/79.54 c | 64753 | 1877 298711 1313786 | 2147483647 64753 99 | 0.000 % |
79.73/79.89 c | 64929 | 1877 298711 1313786 | 2147483647 64929 99 | 0.000 % |
79.93/80.03 c | 65123 | 1877 298711 1313786 | 2147483647 65123 99 | 0.000 % |
80.13/80.25 c | 65335 | 1877 298711 1313786 | 2147483647 65335 99 | 0.000 % |
80.33/80.47 c | 65570 | 1877 298711 1313786 | 2147483647 65570 99 | 0.000 % |
80.73/80.85 c | 65828 | 1877 298711 1313786 | 2147483647 65828 99 | 0.000 % |
81.13/81.24 c | 66110 | 1877 298711 1313786 | 2147483647 66110 99 | 0.000 % |
81.53/81.66 c | 66420 | 1877 298711 1313786 | 2147483647 66420 99 | 0.000 % |
82.03/82.17 c | 66760 | 1877 298711 1313786 | 2147483647 66760 99 | 0.000 % |
82.53/82.65 c | 67135 | 1877 298711 1313786 | 2147483647 67135 99 | 0.000 % |
83.63/83.70 c | 67546 | 1877 298711 1313786 | 2147483647 67546 99 | 0.000 % |
84.13/84.29 c | 67996 | 1877 298711 1313786 | 2147483647 67996 99 | 0.000 % |
84.83/84.98 c | 68489 | 1877 298711 1313786 | 2147483647 68489 99 | 0.000 % |
85.42/85.53 c | 69032 | 1877 298711 1313786 | 2147483647 69032 99 | 0.000 % |
86.12/86.29 c | 69629 | 1877 298711 1313786 | 2147483647 69629 99 | 0.000 % |
86.92/87.09 c | 70285 | 1877 298711 1313786 | 2147483647 70285 99 | 0.000 % |
87.83/87.92 c | 71006 | 1877 298711 1313786 | 2147483647 71006 100 | 0.000 % |
88.93/89.07 c | 71798 | 1877 298711 1313786 | 2147483647 71798 100 | 0.000 % |
90.62/90.78 c | 72669 | 1877 298711 1313786 | 2147483647 72669 100 | 0.000 % |
90.82/90.95 c | 72769 | 1877 298711 1313786 | 2147483647 72769 100 | 0.000 % |
91.12/91.25 c | 72879 | 1877 298711 1313786 | 2147483647 72879 100 | 0.000 % |
91.42/91.56 c | 73000 | 1877 298711 1313786 | 2147483647 73000 100 | 0.000 % |
91.82/91.99 c | 73136 | 1877 298711 1313786 | 2147483647 73136 100 | 0.000 % |
92.12/92.27 c | 73283 | 1877 298711 1313786 | 2147483647 73283 100 | 0.000 % |
92.43/92.50 c | 73445 | 1877 298711 1313786 | 2147483647 73445 100 | 0.000 % |
92.63/92.73 c | 73621 | 1877 298711 1313786 | 2147483647 73621 100 | 0.000 % |
93.03/93.14 c | 73814 | 1877 298711 1313786 | 2147483647 73814 100 | 0.000 % |
93.43/93.51 c | 74028 | 1877 298711 1313786 | 2147483647 74028 100 | 0.000 % |
93.73/93.83 c | 74262 | 1877 298711 1313786 | 2147483647 74262 100 | 0.000 % |
94.13/94.29 c | 74518 | 1877 298711 1313786 | 2147483647 74518 100 | 0.000 % |
94.63/94.77 c | 74800 | 1877 298711 1313786 | 2147483647 74800 100 | 0.000 % |
95.43/95.52 c | 75110 | 1877 298711 1313786 | 2147483647 75110 100 | 0.000 % |
95.93/96.03 c | 75450 | 1877 298711 1313786 | 2147483647 75450 100 | 0.000 % |
96.43/96.57 c | 75824 | 1877 298711 1313786 | 2147483647 75824 100 | 0.000 % |
97.12/97.28 c | 76233 | 1877 298711 1313786 | 2147483647 76233 100 | 0.000 % |
97.73/97.90 c | 76682 | 1877 298711 1313786 | 2147483647 76682 100 | 0.000 % |
98.52/98.69 c | 77176 | 1877 298711 1313786 | 2147483647 77176 100 | 0.000 % |
99.22/99.30 c | 77720 | 1877 298711 1313786 | 2147483647 77720 100 | 0.000 % |
100.42/100.50 c | 78316 | 1877 298711 1313786 | 2147483647 78316 100 | 0.000 % |
101.42/101.51 c | 78973 | 1877 298711 1313786 | 2147483647 78973 100 | 0.000 % |
102.82/102.97 c | 79694 | 1877 298711 1313786 | 2147483647 79694 100 | 0.000 % |
103.62/103.71 c | 80487 | 1877 298711 1313786 | 2147483647 80487 100 | 0.000 % |
105.02/105.15 c | 81359 | 1877 298711 1313786 | 2147483647 81359 100 | 0.000 % |
106.02/106.16 c | 82317 | 1877 298711 1313786 | 2147483647 82317 101 | 0.000 % |
106.32/106.44 c | 82417 | 1877 298711 1313786 | 2147483647 82417 101 | 0.000 % |
106.42/106.58 c | 82531 | 1877 298711 1313786 | 2147483647 82531 101 | 0.000 % |
106.72/106.89 c | 82655 | 1877 298711 1313786 | 2147483647 82655 101 | 0.000 % |
106.92/107.07 c | 82788 | 1877 298711 1313786 | 2147483647 82788 101 | 0.000 % |
107.12/107.22 c | 82934 | 1877 298711 1313786 | 2147483647 82934 101 | 0.000 % |
107.32/107.44 c | 83094 | 1877 298711 1313786 | 2147483647 83094 101 | 0.000 % |
107.62/107.80 c | 83271 | 1877 298711 1313786 | 2147483647 83271 101 | 0.000 % |
108.21/108.31 c | 83465 | 1877 298711 1313786 | 2147483647 83465 101 | 0.000 % |
108.61/108.70 c | 83677 | 1877 298711 1313786 | 2147483647 83677 101 | 0.000 % |
108.91/109.09 c | 83911 | 1877 298711 1313786 | 2147483647 83911 101 | 0.000 % |
109.31/109.40 c | 84167 | 1877 298711 1313786 | 2147483647 84167 101 | 0.000 % |
109.92/110.01 c | 84448 | 1877 298711 1313786 | 2147483647 84448 101 | 0.000 % |
110.21/110.37 c | 84758 | 1877 298711 1313786 | 2147483647 84758 101 | 0.000 % |
110.61/110.76 c | 85100 | 1877 298711 1313786 | 2147483647 85100 101 | 0.000 % |
111.31/111.41 c | 85472 | 1877 298711 1313786 | 2147483647 85472 101 | 0.000 % |
112.01/112.16 c | 85883 | 1877 298711 1313786 | 2147483647 85883 101 | 0.000 % |
112.81/112.96 c | 86332 | 1877 298711 1313786 | 2147483647 86332 101 | 0.000 % |
113.71/113.82 c | 86825 | 1877 298711 1313786 | 2147483647 86825 101 | 0.000 % |
114.51/114.65 c | 87369 | 1877 298711 1313786 | 2147483647 87369 101 | 0.000 % |
115.71/115.83 c | 87968 | 1877 298711 1313786 | 2147483647 87968 101 | 0.000 % |
116.61/116.77 c | 88625 | 1877 298711 1313786 | 2147483647 88625 101 | 0.000 % |
117.81/117.91 c | 89345 | 1877 298711 1313786 | 2147483647 89345 101 | 0.000 % |
119.01/119.17 c | 90139 | 1877 298711 1313786 | 2147483647 90139 101 | 0.000 % |
120.01/120.11 c | 91010 | 1877 298711 1313786 | 2147483647 91010 101 | 0.000 % |
122.21/122.35 c | 91969 | 1877 298711 1313786 | 2147483647 91969 101 | 0.000 % |
124.11/124.27 c | 93022 | 1877 298711 1313786 | 2147483647 93022 101 | 0.000 % |
124.31/124.47 c | 93125 | 1877 298711 1313786 | 2147483647 93125 101 | 0.000 % |
124.51/124.65 c | 93236 | 1877 298711 1313786 | 2147483647 93236 101 | 0.000 % |
124.71/124.85 c | 93357 | 1877 298711 1313786 | 2147483647 93357 101 | 0.000 % |
125.01/125.10 c | 93491 | 1877 298711 1313786 | 2147483647 93491 101 | 0.000 % |
125.31/125.43 c | 93638 | 1877 298711 1313786 | 2147483647 93638 101 | 0.000 % |
125.61/125.78 c | 93798 | 1877 298711 1313786 | 2147483647 93798 101 | 0.000 % |
125.91/126.05 c | 93974 | 1877 298711 1313786 | 2147483647 93974 101 | 0.000 % |
126.51/126.61 c | 94167 | 1877 298711 1313786 | 2147483647 94167 101 | 0.000 % |
127.11/127.28 c | 94380 | 1877 298711 1313786 | 2147483647 94380 101 | 0.000 % |
127.91/128.02 c | 94613 | 1877 298711 1313786 | 2147483647 94613 101 | 0.000 % |
128.41/128.56 c | 94871 | 1877 298711 1313786 | 2147483647 94871 101 | 0.000 % |
129.01/129.19 c | 95155 | 1877 298711 1313786 | 2147483647 95155 101 | 0.000 % |
129.41/129.53 c | 95465 | 1877 298711 1313786 | 2147483647 95465 101 | 0.000 % |
129.71/129.88 c | 95805 | 1877 298711 1313786 | 2147483647 95805 101 | 0.000 % |
130.60/130.77 c | 96180 | 1877 298711 1313786 | 2147483647 96180 101 | 0.000 % |
131.30/131.43 c | 96590 | 1877 298711 1313786 | 2147483647 96590 101 | 0.000 % |
132.40/132.57 c | 97039 | 1877 298711 1313786 | 2147483647 97039 101 | 0.000 % |
133.90/134.01 c | 97532 | 1877 298711 1313786 | 2147483647 97532 101 | 0.000 % |
134.50/134.67 c | 98075 | 1877 298711 1313786 | 2147483647 98075 101 | 0.000 % |
135.50/135.69 c | 98671 | 1877 298711 1313786 | 2147483647 98671 102 | 0.000 % |
136.80/136.99 c | 99327 | 1877 298711 1313786 | 2147483647 99327 101 | 0.000 % |
138.90/139.06 c | 100048 | 1877 298711 1313786 | 2147483647 100048 101 | 0.000 % |
140.10/140.20 c | 100843 | 1877 298711 1313786 | 2147483647 100843 101 | 0.000 % |
141.40/141.52 c | 101715 | 1877 298711 1313786 | 2147483647 101715 101 | 0.000 % |
143.40/143.57 c | 102676 | 1877 298711 1313786 | 2147483647 102676 102 | 0.000 % |
144.69/144.84 c | 103729 | 1877 298711 1313786 | 2147483647 103729 101 | 0.000 % |
146.29/146.47 c | 104887 | 1877 298711 1313786 | 2147483647 104887 101 | 0.000 % |
146.39/146.60 c | 104988 | 1877 298711 1313786 | 2147483647 104988 101 | 0.000 % |
146.69/146.84 c | 105099 | 1877 298711 1313786 | 2147483647 105099 101 | 0.000 % |
146.99/147.17 c | 105220 | 1877 298711 1313786 | 2147483647 105220 101 | 0.000 % |
147.30/147.44 c | 105353 | 1877 298711 1313786 | 2147483647 105353 101 | 0.000 % |
147.59/147.71 c | 105501 | 1877 298711 1313786 | 2147483647 105501 101 | 0.000 % |
147.89/148.06 c | 105661 | 1877 298711 1313786 | 2147483647 105661 101 | 0.000 % |
148.39/148.52 c | 105837 | 1877 298711 1313786 | 2147483647 105837 101 | 0.000 % |
148.89/149.08 c | 106031 | 1877 298711 1313786 | 2147483647 106031 101 | 0.000 % |
149.39/149.51 c | 106244 | 1877 298711 1313786 | 2147483647 106244 101 | 0.000 % |
149.89/150.01 c | 106478 | 1877 298711 1313786 | 2147483647 106478 101 | 0.000 % |
150.39/150.59 c | 106736 | 1877 298711 1313786 | 2147483647 106736 101 | 0.000 % |
150.89/151.06 c | 107017 | 1877 298711 1313786 | 2147483647 107017 101 | 0.000 % |
151.39/151.51 c | 107326 | 1877 298711 1313786 | 2147483647 107326 101 | 0.000 % |
151.90/152.05 c | 107666 | 1877 298711 1313786 | 2147483647 107666 101 | 0.000 % |
152.70/152.86 c | 108038 | 1877 298711 1313786 | 2147483647 108038 101 | 0.000 % |
153.60/153.78 c | 108447 | 1877 298711 1313786 | 2147483647 108447 101 | 0.000 % |
154.40/154.57 c | 108900 | 1877 298711 1313786 | 2147483647 108900 102 | 0.000 % |
155.49/155.63 c | 109394 | 1877 298711 1313786 | 2147483647 109394 102 | 0.000 % |
156.49/156.68 c | 109936 | 1877 298711 1313786 | 2147483647 109936 102 | 0.000 % |
158.09/158.24 c | 110532 | 1877 298711 1313786 | 2147483647 110532 102 | 0.000 % |
159.89/160.07 c | 111187 | 1877 298711 1313786 | 2147483647 111187 102 | 0.000 % |
162.09/162.22 c | 111907 | 1877 298711 1313786 | 2147483647 111907 102 | 0.000 % |
163.19/163.30 c | 112700 | 1877 298711 1313786 | 2147483647 112700 102 | 0.000 % |
164.39/164.54 c | 113572 | 1877 298711 1313786 | 2147483647 113572 102 | 0.000 % |
166.59/166.73 c | 114532 | 1877 298711 1313786 | 2147483647 114532 102 | 0.000 % |
169.39/169.59 c | 115588 | 1877 298711 1313786 | 2147483647 115588 102 | 0.000 % |
173.09/173.27 c | 116746 | 1877 298711 1313786 | 2147483647 116746 102 | 0.000 % |
175.68/175.86 c | 118021 | 1877 298711 1313786 | 2147483647 118021 102 | 0.000 % |
175.98/176.11 c | 118121 | 1877 298711 1313786 | 2147483647 118121 102 | 0.000 % |
176.28/176.47 c | 118231 | 1877 298711 1313786 | 2147483647 118231 102 | 0.000 % |
176.68/176.83 c | 118352 | 1877 298711 1313786 | 2147483647 118352 102 | 0.000 % |
176.88/177.04 c | 118485 | 1877 298711 1313786 | 2147483647 118485 102 | 0.000 % |
177.18/177.39 c | 118632 | 1877 298711 1313786 | 2147483647 118632 102 | 0.000 % |
177.48/177.65 c | 118792 | 1877 298711 1313786 | 2147483647 118792 102 | 0.000 % |
177.78/177.93 c | 118968 | 1877 298711 1313786 | 2147483647 118968 102 | 0.000 % |
178.18/178.36 c | 119161 | 1877 298711 1313786 | 2147483647 119161 102 | 0.000 % |
178.58/178.72 c | 119373 | 1877 298711 1313786 | 2147483647 119373 102 | 0.000 % |
178.98/179.15 c | 119609 | 1877 298711 1313786 | 2147483647 119609 102 | 0.000 % |
179.38/179.50 c | 119866 | 1877 298711 1313786 | 2147483647 119866 102 | 0.000 % |
179.68/179.82 c | 120148 | 1877 298711 1313786 | 2147483647 120148 102 | 0.000 % |
179.98/180.17 c | 120460 | 1877 298711 1313786 | 2147483647 120460 102 | 0.000 % |
180.68/180.87 c | 120799 | 1877 298711 1313786 | 2147483647 120799 102 | 0.000 % |
181.49/181.68 c | 121171 | 1877 298711 1313786 | 2147483647 121171 102 | 0.000 % |
182.49/182.69 c | 121581 | 1877 298711 1313786 | 2147483647 121581 102 | 0.000 % |
183.29/183.44 c | 122033 | 1877 298711 1313786 | 2147483647 122033 102 | 0.000 % |
184.48/184.63 c | 122526 | 1877 298711 1313786 | 2147483647 122526 102 | 0.000 % |
185.38/185.59 c | 123068 | 1877 298711 1313786 | 2147483647 123068 102 | 0.000 % |
186.79/186.96 c | 123665 | 1877 298711 1313786 | 2147483647 123665 102 | 0.000 % |
187.88/188.05 c | 124321 | 1877 298711 1313786 | 2147483647 124321 102 | 0.000 % |
188.97/189.16 c | 125042 | 1877 298711 1313786 | 2147483647 125042 102 | 0.000 % |
190.78/190.96 c | 125835 | 1877 298711 1313786 | 2147483647 125835 102 | 0.000 % |
192.58/192.75 c | 126707 | 1877 298711 1313786 | 2147483647 126707 103 | 0.000 % |
194.07/194.25 c | 127668 | 1877 298711 1313786 | 2147483647 127668 103 | 0.000 % |
196.37/196.55 c | 128722 | 1877 298711 1313786 | 2147483647 128722 103 | 0.000 % |
197.97/198.19 c | 129881 | 1877 298711 1313786 | 2147483647 129881 103 | 0.000 % |
201.17/201.34 c | 131154 | 1877 298711 1313786 | 2147483647 131154 103 | 0.000 % |
202.86/203.05 c | 132555 | 1877 298711 1313786 | 2147483647 132555 103 | 0.000 % |
203.16/203.30 c | 132658 | 1877 298711 1313786 | 2147483647 132658 103 | 0.000 % |
203.66/203.85 c | 132771 | 1877 298711 1313786 | 2147483647 132771 103 | 0.000 % |
204.26/204.41 c | 132898 | 1877 298711 1313786 | 2147483647 132898 103 | 0.000 % |
204.66/204.83 c | 133034 | 1877 298711 1313786 | 2147483647 133034 103 | 0.000 % |
205.06/205.28 c | 133180 | 1877 298711 1313786 | 2147483647 133180 103 | 0.000 % |
205.57/205.79 c | 133341 | 1877 298711 1313786 | 2147483647 133341 103 | 0.000 % |
206.17/206.33 c | 133520 | 1877 298711 1313786 | 2147483647 133520 103 | 0.000 % |
206.67/206.84 c | 133714 | 1877 298711 1313786 | 2147483647 133714 103 | 0.000 % |
207.67/207.87 c | 133927 | 1877 298711 1313786 | 2147483647 133927 103 | 0.000 % |
208.37/208.50 c | 134161 | 1877 298711 1313786 | 2147483647 134161 103 | 0.000 % |
208.77/208.92 c | 134417 | 1877 298711 1313786 | 2147483647 134417 103 | 0.000 % |
209.27/209.42 c | 134698 | 1877 298711 1313786 | 2147483647 134698 103 | 0.000 % |
209.87/210.08 c | 135009 | 1877 298711 1313786 | 2147483647 135009 103 | 0.000 % |
210.67/210.85 c | 135348 | 1877 298711 1313786 | 2147483647 135348 103 | 0.000 % |
211.57/211.77 c | 135722 | 1877 298711 1313786 | 2147483647 135722 103 | 0.000 % |
212.76/212.97 c | 136131 | 1877 298711 1313786 | 2147483647 136131 103 | 0.000 % |
213.96/214.19 c | 136580 | 1877 298711 1313786 | 2147483647 136580 103 | 0.000 % |
215.77/215.95 c | 137074 | 1877 298711 1313786 | 2147483647 137074 103 | 0.000 % |
217.37/217.53 c | 137617 | 1877 298711 1313786 | 2147483647 137617 103 | 0.000 % |
218.77/218.99 c | 138213 | 1877 298711 1313786 | 2147483647 138213 103 | 0.000 % |
220.27/220.40 c | 138870 | 1877 298711 1313786 | 2147483647 138870 103 | 0.000 % |
221.67/221.85 c | 139591 | 1877 298711 1313786 | 2147483647 139591 103 | 0.000 % |
223.77/223.95 c | 140385 | 1877 298711 1313786 | 2147483647 140385 103 | 0.000 % |
226.37/226.54 c | 141257 | 1877 298711 1313786 | 2147483647 141257 103 | 0.000 % |
228.57/228.78 c | 142215 | 1877 298711 1313786 | 2147483647 142215 103 | 0.000 % |
230.76/230.96 c | 143269 | 1877 298711 1313786 | 2147483647 143269 103 | 0.000 % |
234.16/234.31 c | 144427 | 1877 298711 1313786 | 2147483647 144427 102 | 0.000 % |
237.95/238.16 c | 145700 | 1877 298711 1313786 | 2147483647 145700 102 | 0.000 % |
242.45/242.64 c | 147101 | 1877 298711 1313786 | 2147483647 147101 102 | 0.000 % |
247.65/247.81 c | 148642 | 1877 298711 1313786 | 2147483647 148642 101 | 0.000 % |
248.05/248.22 c | 148744 | 1877 298711 1313786 | 2147483647 148744 101 | 0.000 % |
248.35/248.55 c | 148854 | 1877 298711 1313786 | 2147483647 148854 101 | 0.000 % |
248.75/248.96 c | 148975 | 1877 298711 1313786 | 2147483647 148975 101 | 0.000 % |
249.15/249.35 c | 149108 | 1877 298711 1313786 | 2147483647 149108 101 | 0.000 % |
249.65/249.82 c | 149254 | 1877 298711 1313786 | 2147483647 149254 101 | 0.000 % |
249.85/250.03 c | 149415 | 1877 298711 1313786 | 2147483647 149415 101 | 0.000 % |
250.15/250.39 c | 149593 | 1877 298711 1313786 | 2147483647 149593 101 | 0.000 % |
250.65/250.83 c | 149786 | 1877 298711 1313786 | 2147483647 149786 101 | 0.000 % |
251.25/251.44 c | 150000 | 1877 298711 1313786 | 2147483647 150000 101 | 0.000 % |
251.85/252.07 c | 150233 | 1877 298711 1313786 | 2147483647 150233 101 | 0.000 % |
252.65/252.87 c | 150491 | 1877 298711 1313786 | 2147483647 150491 101 | 0.000 % |
253.45/253.68 c | 150772 | 1877 298711 1313786 | 2147483647 150772 101 | 0.000 % |
254.35/254.50 c | 151081 | 1877 298711 1313786 | 2147483647 151081 101 | 0.000 % |
255.24/255.41 c | 151423 | 1877 298711 1313786 | 2147483647 151423 101 | 0.000 % |
256.24/256.43 c | 151795 | 1877 298711 1313786 | 2147483647 151795 101 | 0.000 % |
257.94/258.14 c | 152204 | 1877 298711 1313786 | 2147483647 152204 101 | 0.000 % |
258.65/258.86 c | 152653 | 1877 298711 1313786 | 2147483647 152653 101 | 0.000 % |
259.75/259.99 c | 153146 | 1877 298711 1313786 | 2147483647 153146 101 | 0.000 % |
261.25/261.40 c | 153690 | 1877 298711 1313786 | 2147483647 153690 101 | 0.000 % |
262.15/262.37 c | 154286 | 1877 298711 1313786 | 2147483647 154286 101 | 0.000 % |
263.45/263.69 c | 154941 | 1877 298711 1313786 | 2147483647 154941 101 | 0.000 % |
265.25/265.44 c | 155661 | 1877 298711 1313786 | 2147483647 155661 101 | 0.000 % |
266.45/266.60 c | 156453 | 1877 298711 1313786 | 2147483647 156453 101 | 0.000 % |
267.95/268.19 c | 157324 | 1877 298711 1313786 | 2147483647 157324 101 | 0.000 % |
270.05/270.22 c | 158283 | 1877 298711 1313786 | 2147483647 158283 101 | 0.000 % |
271.75/271.94 c | 159336 | 1877 298711 1313786 | 2147483647 159336 101 | 0.000 % |
274.25/274.42 c | 160495 | 1877 298711 1313786 | 2147483647 160495 101 | 0.000 % |
277.34/277.50 c | 161768 | 1877 298711 1313786 | 2147483647 161768 101 | 0.000 % |
280.43/280.60 c | 163169 | 1877 298711 1313786 | 2147483647 163169 101 | 0.000 % |
283.74/283.92 c | 164709 | 1877 298711 1313786 | 2147483647 164709 101 | 0.000 % |
288.54/288.72 c | 166404 | 1877 298711 1313786 | 2147483647 166404 101 | 0.000 % |
288.84/289.02 c | 166506 | 1877 298711 1313786 | 2147483647 166506 101 | 0.000 % |
289.24/289.45 c | 166616 | 1877 298711 1313786 | 2147483647 166616 101 | 0.000 % |
289.44/289.67 c | 166737 | 1877 298711 1313786 | 2147483647 166737 101 | 0.000 % |
289.94/290.13 c | 166870 | 1877 298711 1313786 | 2147483647 166870 101 | 0.000 % |
290.64/290.84 c | 167016 | 1877 298711 1313786 | 2147483647 167016 101 | 0.000 % |
291.14/291.33 c | 167180 | 1877 298711 1313786 | 2147483647 167180 101 | 0.000 % |
291.54/291.71 c | 167357 | 1877 298711 1313786 | 2147483647 167357 101 | 0.000 % |
291.94/292.13 c | 167552 | 1877 298711 1313786 | 2147483647 167552 101 | 0.000 % |
292.84/293.07 c | 167767 | 1877 298711 1313786 | 2147483647 167767 101 | 0.000 % |
293.54/293.72 c | 168002 | 1877 298711 1313786 | 2147483647 168002 101 | 0.000 % |
294.43/294.63 c | 168258 | 1877 298711 1313786 | 2147483647 168258 101 | 0.000 % |
295.13/295.34 c | 168539 | 1877 298711 1313786 | 2147483647 168539 101 | 0.000 % |
296.23/296.42 c | 168848 | 1877 298711 1313786 | 2147483647 168848 101 | 0.000 % |
297.13/297.34 c | 169187 | 1877 298711 1313786 | 2147483647 169187 101 | 0.000 % |
298.13/298.37 c | 169562 | 1877 298711 1313786 | 2147483647 169562 101 | 0.000 % |
298.83/299.09 c | 169972 | 1877 298711 1313786 | 2147483647 169972 101 | 0.000 % |
300.23/300.42 c | 170422 | 1877 298711 1313786 | 2147483647 170422 101 | 0.000 % |
302.03/302.28 c | 170916 | 1877 298711 1313786 | 2147483647 170916 101 | 0.000 % |
302.93/303.18 c | 171460 | 1877 298711 1313786 | 2147483647 171460 101 | 0.000 % |
304.53/304.71 c | 172056 | 1877 298711 1313786 | 2147483647 172056 101 | 0.000 % |
305.73/305.92 c | 172712 | 1877 298711 1313786 | 2147483647 172712 101 | 0.000 % |
307.43/307.68 c | 173437 | 1877 298711 1313786 | 2147483647 173437 101 | 0.000 % |
309.43/309.64 c | 174229 | 1877 298711 1313786 | 2147483647 174229 101 | 0.000 % |
310.92/311.17 c | 175101 | 1877 298711 1313786 | 2147483647 175101 101 | 0.000 % |
312.02/312.24 c | 176059 | 1877 298711 1313786 | 2147483647 176059 101 | 0.000 % |
314.73/314.97 c | 177114 | 1877 298711 1313786 | 2147483647 177114 101 | 0.000 % |
317.03/317.24 c | 178272 | 1877 298711 1313786 | 2147483647 178272 101 | 0.000 % |
318.92/319.10 c | 179546 | 1877 298711 1313786 | 2147483647 179546 101 | 0.000 % |
323.42/323.64 c | 180946 | 1877 298711 1313786 | 2147483647 180946 101 | 0.000 % |
325.42/325.63 c | 182486 | 1877 298711 1313786 | 2147483647 182486 101 | 0.000 % |
330.92/331.19 c | 184182 | 1877 298711 1313786 | 2147483647 184182 100 | 0.000 % |
336.32/336.51 c | 186048 | 1877 298711 1313786 | 2147483647 186048 100 | 0.000 % |
336.61/336.89 c | 186149 | 1877 298711 1313786 | 2147483647 186149 100 | 0.000 % |
337.11/337.39 c | 186264 | 1877 298711 1313786 | 2147483647 186264 100 | 0.000 % |
337.42/337.65 c | 186385 | 1877 298711 1313786 | 2147483647 186385 100 | 0.000 % |
337.81/338.07 c | 186518 | 1877 298711 1313786 | 2147483647 186518 100 | 0.000 % |
338.31/338.51 c | 186665 | 1877 298711 1313786 | 2147483647 186665 100 | 0.000 % |
338.71/338.90 c | 186826 | 1877 298711 1313786 | 2147483647 186826 100 | 0.000 % |
339.61/339.83 c | 187004 | 1877 298711 1313786 | 2147483647 187004 100 | 0.000 % |
340.31/340.55 c | 187198 | 1877 298711 1313786 | 2147483647 187198 100 | 0.000 % |
340.91/341.14 c | 187410 | 1877 298711 1313786 | 2147483647 187410 100 | 0.000 % |
341.51/341.77 c | 187643 | 1877 298711 1313786 | 2147483647 187643 100 | 0.000 % |
342.31/342.60 c | 187901 | 1877 298711 1313786 | 2147483647 187901 100 | 0.000 % |
342.91/343.14 c | 188184 | 1877 298711 1313786 | 2147483647 188184 100 | 0.000 % |
343.51/343.71 c | 188493 | 1877 298711 1313786 | 2147483647 188493 100 | 0.000 % |
344.21/344.43 c | 188832 | 1877 298711 1313786 | 2147483647 188832 100 | 0.000 % |
345.12/345.40 c | 189204 | 1877 298711 1313786 | 2147483647 189204 100 | 0.000 % |
346.11/346.31 c | 189613 | 1877 298711 1313786 | 2147483647 189613 100 | 0.000 % |
347.11/347.37 c | 190062 | 1877 298711 1313786 | 2147483647 190062 100 | 0.000 % |
348.61/348.84 c | 190559 | 1877 298711 1313786 | 2147483647 190559 100 | 0.000 % |
350.01/350.20 c | 191101 | 1877 298711 1313786 | 2147483647 191101 100 | 0.000 % |
351.41/351.61 c | 191699 | 1877 298711 1313786 | 2147483647 191699 100 | 0.000 % |
353.30/353.56 c | 192359 | 1877 298711 1313786 | 2147483647 192359 100 | 0.000 % |
356.00/356.26 c | 193084 | 1877 298711 1313786 | 2147483647 193084 100 | 0.000 % |
357.40/357.64 c | 193877 | 1877 298711 1313786 | 2147483647 193877 100 | 0.000 % |
359.41/359.64 c | 194748 | 1877 298711 1313786 | 2147483647 194748 100 | 0.000 % |
363.01/363.24 c | 195706 | 1877 298711 1313786 | 2147483647 195706 100 | 0.000 % |
366.50/366.70 c | 196761 | 1877 298711 1313786 | 2147483647 196761 100 | 0.000 % |
368.70/368.96 c | 197922 | 1877 298711 1313786 | 2147483647 197922 100 | 0.000 % |
372.60/372.88 c | 199196 | 1877 298711 1313786 | 2147483647 199196 100 | 0.000 % |
376.39/376.60 c | 200597 | 1877 298711 1313786 | 2147483647 200597 100 | 0.000 % |
381.30/381.52 c | 202137 | 1877 298711 1313786 | 2147483647 202137 101 | 0.000 % |
386.49/386.77 c | 203832 | 1877 298711 1313786 | 2147483647 203832 101 | 0.000 % |
390.79/391.04 c | 205696 | 1877 298711 1313786 | 2147483647 205696 101 | 0.000 % |
396.69/396.91 c | 207745 | 1877 298711 1313786 | 2147483647 207745 101 | 0.000 % |
396.79/397.09 c | 207845 | 1877 298711 1313786 | 2147483647 207845 101 | 0.000 % |
396.99/397.27 c | 207956 | 1877 298711 1313786 | 2147483647 207956 101 | 0.000 % |
397.29/397.53 c | 208079 | 1877 298711 1313786 | 2147483647 208079 101 | 0.000 % |
397.59/397.90 c | 208212 | 1877 298711 1313786 | 2147483647 208212 101 | 0.000 % |
398.19/398.48 c | 208359 | 1877 298711 1313786 | 2147483647 208359 101 | 0.000 % |
398.69/398.94 c | 208521 | 1877 298711 1313786 | 2147483647 208521 101 | 0.000 % |
399.09/399.39 c | 208697 | 1877 298711 1313786 | 2147483647 208697 101 | 0.000 % |
399.69/399.91 c | 208892 | 1877 298711 1313786 | 2147483647 208892 101 | 0.000 % |
400.49/400.75 c | 209108 | 1877 298711 1313786 | 2147483647 209108 101 | 0.000 % |
401.09/401.35 c | 209341 | 1877 298711 1313786 | 2147483647 209341 101 | 0.000 % |
402.09/402.38 c | 209598 | 1877 298711 1313786 | 2147483647 209598 101 | 0.000 % |
402.99/403.26 c | 209879 | 1877 298711 1313786 | 2147483647 209879 101 | 0.000 % |
403.69/403.96 c | 210188 | 1877 298711 1313786 | 2147483647 210188 101 | 0.000 % |
404.79/405.08 c | 210529 | 1877 298711 1313786 | 2147483647 210529 101 | 0.000 % |
405.89/406.10 c | 210901 | 1877 298711 1313786 | 2147483647 210901 101 | 0.000 % |
406.89/407.16 c | 211310 | 1877 298711 1313786 | 2147483647 211310 101 | 0.000 % |
408.29/408.51 c | 211760 | 1877 298711 1313786 | 2147483647 211760 101 | 0.000 % |
409.39/409.67 c | 212254 | 1877 298711 1313786 | 2147483647 212254 101 | 0.000 % |
410.89/411.16 c | 212796 | 1877 298711 1313786 | 2147483647 212796 101 | 0.000 % |
412.99/413.27 c | 213392 | 1877 298711 1313786 | 2147483647 213392 101 | 0.000 % |
414.98/415.27 c | 214047 | 1877 298711 1313786 | 2147483647 214047 101 | 0.000 % |
417.98/418.24 c | 214767 | 1877 298711 1313786 | 2147483647 214767 101 | 0.000 % |
421.88/422.11 c | 215560 | 1877 298711 1313786 | 2147483647 215560 101 | 0.000 % |
425.68/425.94 c | 216431 | 1877 298711 1313786 | 2147483647 216431 101 | 0.000 % |
428.17/428.44 c | 217390 | 1877 298711 1313786 | 2147483647 217390 101 | 0.000 % |
430.88/431.19 c | 218443 | 1877 298711 1313786 | 2147483647 218443 102 | 0.000 % |
433.87/434.19 c | 219601 | 1877 298711 1313786 | 2147483647 219601 102 | 0.000 % |
436.88/437.18 c | 220874 | 1877 298711 1313786 | 2147483647 220874 102 | 0.000 % |
439.98/440.24 c | 222274 | 1877 298711 1313786 | 2147483647 222274 102 | 0.000 % |
444.77/445.02 c | 223814 | 1877 298711 1313786 | 2147483647 223814 102 | 0.000 % |
450.97/451.27 c | 225509 | 1877 298711 1313786 | 2147483647 225509 101 | 0.000 % |
457.37/457.70 c | 227373 | 1877 298711 1313786 | 2147483647 227373 101 | 0.000 % |
461.56/461.88 c | 229423 | 1877 298711 1313786 | 2147483647 229423 101 | 0.000 % |
466.87/467.15 c | 231676 | 1877 298711 1313786 | 2147483647 231676 102 | 0.000 % |
467.07/467.34 c | 231777 | 1877 298711 1313786 | 2147483647 231777 102 | 0.000 % |
467.57/467.82 c | 231887 | 1877 298711 1313786 | 2147483647 231887 102 | 0.000 % |
468.07/468.40 c | 232008 | 1877 298711 1313786 | 2147483647 232008 102 | 0.000 % |
468.67/468.97 c | 232143 | 1877 298711 1313786 | 2147483647 232143 102 | 0.000 % |
469.17/469.47 c | 232291 | 1877 298711 1313786 | 2147483647 232291 102 | 0.000 % |
469.57/469.87 c | 232451 | 1877 298711 1313786 | 2147483647 232451 102 | 0.000 % |
469.97/470.29 c | 232629 | 1877 298711 1313786 | 2147483647 232629 102 | 0.000 % |
470.87/471.13 c | 232822 | 1877 298711 1313786 | 2147483647 232822 102 | 0.000 % |
471.57/471.81 c | 233035 | 1877 298711 1313786 | 2147483647 233035 102 | 0.000 % |
472.16/472.48 c | 233268 | 1877 298711 1313786 | 2147483647 233268 102 | 0.000 % |
473.26/473.56 c | 233524 | 1877 298711 1313786 | 2147483647 233524 102 | 0.000 % |
474.26/474.58 c | 233805 | 1877 298711 1313786 | 2147483647 233805 102 | 0.000 % |
475.16/475.43 c | 234114 | 1877 298711 1313786 | 2147483647 234114 102 | 0.000 % |
475.86/476.15 c | 234453 | 1877 298711 1313786 | 2147483647 234453 102 | 0.000 % |
477.46/477.75 c | 234825 | 1877 298711 1313786 | 2147483647 234825 102 | 0.000 % |
478.66/478.98 c | 235235 | 1877 298711 1313786 | 2147483647 235235 102 | 0.000 % |
480.06/480.33 c | 235686 | 1877 298711 1313786 | 2147483647 235686 102 | 0.000 % |
481.36/481.67 c | 236179 | 1877 298711 1313786 | 2147483647 236179 102 | 0.000 % |
483.16/483.40 c | 236721 | 1877 298711 1313786 | 2147483647 236721 102 | 0.001 % |
484.45/484.79 c | 237318 | 1877 298711 1313786 | 2147483647 237318 102 | 0.000 % |
485.65/485.92 c | 237974 | 1877 298711 1313786 | 2147483647 237974 102 | 0.000 % |
489.26/489.58 c | 238694 | 1877 298711 1313786 | 2147483647 238694 102 | 0.000 % |
491.46/491.74 c | 239487 | 1877 298711 1313786 | 2147483647 239487 102 | 0.000 % |
493.86/494.16 c | 240359 | 1877 298711 1313786 | 2147483647 240359 101 | 0.000 % |
495.86/496.13 c | 241318 | 1877 298711 1313786 | 2147483647 241318 101 | 0.000 % |
498.45/498.73 c | 242374 | 1877 298711 1313786 | 2147483647 242374 101 | 0.000 % |
501.36/501.69 c | 243532 | 1877 298711 1313786 | 2147483647 243532 101 | 0.000 % |
507.64/507.95 c | 244807 | 1877 298711 1313786 | 2147483647 244807 101 | 0.000 % |
509.94/510.27 c | 246208 | 1877 298711 1313786 | 2147483647 246208 101 | 0.000 % |
514.24/514.60 c | 247751 | 1877 298711 1313786 | 2147483647 247751 101 | 0.000 % |
520.44/520.70 c | 249445 | 1877 298711 1313786 | 2147483647 249445 101 | 0.000 % |
526.94/527.27 c | 251308 | 1877 298711 1313786 | 2147483647 251308 102 | 0.000 % |
532.23/532.50 c | 253359 | 1877 298711 1313786 | 2147483647 253359 102 | 0.000 % |
537.93/538.27 c | 255612 | 1877 298711 1313786 | 2147483647 255612 102 | 0.000 % |
543.43/543.76 c | 258090 | 1877 298711 1313786 | 2147483647 258090 102 | 0.000 % |
544.13/544.42 c | 258190 | 1877 298711 1313786 | 2147483647 258190 102 | 0.000 % |
544.43/544.79 c | 258300 | 1877 298711 1313786 | 2147483647 258300 102 | 0.000 % |
544.93/545.25 c | 258421 | 1877 298711 1313786 | 2147483647 258421 102 | 0.000 % |
545.43/545.77 c | 258554 | 1877 298711 1313786 | 2147483647 258554 102 | 0.000 % |
546.13/546.45 c | 258701 | 1877 298711 1313786 | 2147483647 258701 102 | 0.000 % |
547.03/547.34 c | 258861 | 1877 298711 1313786 | 2147483647 258861 102 | 0.000 % |
547.53/547.87 c | 259038 | 1877 298711 1313786 | 2147483647 259038 102 | 0.000 % |
548.23/548.56 c | 259231 | 1877 298711 1313786 | 2147483647 259231 102 | 0.000 % |
548.82/549.14 c | 259445 | 1877 298711 1313786 | 2147483647 259445 102 | 0.000 % |
550.52/550.81 c | 259678 | 1877 298711 1313786 | 2147483647 259678 102 | 0.000 % |
551.82/552.10 c | 259934 | 1877 298711 1313786 | 2147483647 259934 102 | 0.000 % |
553.22/553.59 c | 260215 | 1877 298711 1313786 | 2147483647 260215 102 | 0.000 % |
554.93/555.21 c | 260524 | 1877 298711 1313786 | 2147483647 260524 102 | 0.000 % |
556.03/556.36 c | 260863 | 1877 298711 1313786 | 2147483647 260863 102 | 0.000 % |
557.83/558.14 c | 261236 | 1877 298711 1313786 | 2147483647 261236 102 | 0.000 % |
558.93/559.27 c | 261647 | 1877 298711 1313786 | 2147483647 261647 102 | 0.000 % |
560.43/560.70 c | 262097 | 1877 298711 1313786 | 2147483647 262097 102 | 0.000 % |
562.53/562.83 c | 262591 | 1877 298711 1313786 | 2147483647 262591 102 | 0.000 % |
564.42/564.70 c | 263133 | 1877 298711 1313786 | 2147483647 263133 102 | 0.000 % |
566.02/566.32 c | 263729 | 1877 298711 1313786 | 2147483647 263729 102 | 0.000 % |
567.62/567.94 c | 264385 | 1877 298711 1313786 | 2147483647 264385 102 | 0.000 % |
569.72/570.09 c | 265109 | 1877 298711 1313786 | 2147483647 265109 102 | 0.000 % |
572.92/573.29 c | 265903 | 1877 298711 1313786 | 2147483647 265903 102 | 0.000 % |
577.02/577.36 c | 266774 | 1877 298711 1313786 | 2147483647 266774 102 | 0.000 % |
580.61/580.95 c | 267732 | 1877 298711 1313786 | 2147483647 267732 102 | 0.000 % |
582.51/582.87 c | 268785 | 1877 298711 1313786 | 2147483647 268785 102 | 0.000 % |
586.12/586.45 c | 269944 | 1877 298711 1313786 | 2147483647 269944 102 | 0.000 % |
589.52/589.88 c | 271218 | 1877 298711 1313786 | 2147483647 271218 102 | 0.000 % |
594.31/594.60 c | 272619 | 1877 298711 1313786 | 2147483647 272619 102 | 0.000 % |
599.31/599.63 c | 274159 | 1877 298711 1313786 | 2147483647 274159 102 | 0.000 % |
606.91/607.29 c | 275853 | 1877 298711 1313786 | 2147483647 275853 102 | 0.000 % |
615.70/616.02 c | 277717 | 1877 298711 1313786 | 2147483647 277717 102 | 0.000 % |
623.69/624.04 c | 279767 | 1877 298711 1313786 | 2147483647 279767 102 | 0.000 % |
628.70/629.01 c | 282021 | 1877 298711 1313786 | 2147483647 282021 101 | 0.000 % |
635.69/636.09 c | 284500 | 1877 298711 1313786 | 2147483647 284500 101 | 0.000 % |
643.98/644.36 c | 287225 | 1877 298711 1313786 | 2147483647 287225 102 | 0.000 % |
644.48/644.82 c | 287325 | 1877 298711 1313786 | 2147483647 287325 102 | 0.000 % |
645.08/645.43 c | 287435 | 1877 298711 1313786 | 2147483647 287435 102 | 0.000 % |
645.39/645.77 c | 287556 | 1877 298711 1313786 | 2147483647 287556 102 | 0.000 % |
645.88/646.23 c | 287690 | 1877 298711 1313786 | 2147483647 287690 102 | 0.000 % |
646.68/647.04 c | 287837 | 1877 298711 1313786 | 2147483647 287837 102 | 0.000 % |
647.18/647.59 c | 288001 | 1877 298711 1313786 | 2147483647 288001 102 | 0.000 % |
648.18/648.55 c | 288178 | 1877 298711 1313786 | 2147483647 288178 102 | 0.000 % |
649.18/649.51 c | 288372 | 1877 298711 1313786 | 2147483647 288372 102 | 0.000 % |
650.08/650.46 c | 288586 | 1877 298711 1313786 | 2147483647 288586 102 | 0.000 % |
651.08/651.42 c | 288820 | 1877 298711 1313786 | 2147483647 288820 102 | 0.000 % |
652.38/652.70 c | 289077 | 1877 298711 1313786 | 2147483647 289077 102 | 0.000 % |
653.38/653.73 c | 289358 | 1877 298711 1313786 | 2147483647 289358 102 | 0.000 % |
654.98/655.35 c | 289667 | 1877 298711 1313786 | 2147483647 289667 102 | 0.000 % |
656.08/656.44 c | 290006 | 1877 298711 1313786 | 2147483647 290006 102 | 0.000 % |
657.18/657.54 c | 290378 | 1877 298711 1313786 | 2147483647 290378 102 | 0.000 % |
658.98/659.32 c | 290787 | 1877 298711 1313786 | 2147483647 290787 102 | 0.000 % |
660.08/660.47 c | 291238 | 1877 298711 1313786 | 2147483647 291238 102 | 0.000 % |
661.78/662.19 c | 291731 | 1877 298711 1313786 | 2147483647 291731 102 | 0.000 % |
663.67/664.05 c | 292276 | 1877 298711 1313786 | 2147483647 292276 102 | 0.000 % |
665.27/665.61 c | 292873 | 1877 298711 1313786 | 2147483647 292873 102 | 0.000 % |
666.77/667.12 c | 293528 | 1877 298711 1313786 | 2147483647 293528 102 | 0.000 % |
669.48/669.84 c | 294250 | 1877 298711 1313786 | 2147483647 294250 102 | 0.000 % |
672.57/672.98 c | 295044 | 1877 298711 1313786 | 2147483647 295044 102 | 0.000 % |
676.28/676.69 c | 295916 | 1877 298711 1313786 | 2147483647 295916 102 | 0.000 % |
681.98/682.39 c | 296874 | 1877 298711 1313786 | 2147483647 296874 102 | 0.000 % |
687.17/687.58 c | 297928 | 1877 298711 1313786 | 2147483647 297928 102 | 0.000 % |
692.87/693.26 c | 299088 | 1877 298711 1313786 | 2147483647 299088 102 | 0.000 % |
696.97/697.34 c | 300364 | 1877 298711 1313786 | 2147483647 300364 102 | 0.000 % |
703.46/703.85 c | 301764 | 1877 298711 1313786 | 2147483647 301764 102 | 0.000 % |
709.46/709.88 c | 303305 | 1877 298711 1313786 | 2147483647 303305 102 | 0.000 % |
716.86/717.23 c | 305000 | 1877 298711 1313786 | 2147483647 305000 102 | 0.000 % |
722.16/722.52 c | 306864 | 1877 298711 1313786 | 2147483647 306864 102 | 0.000 % |
729.15/729.59 c | 308913 | 1877 298711 1313786 | 2147483647 308913 102 | 0.000 % |
740.44/740.83 c | 311166 | 1877 298711 1313786 | 2147483647 311166 102 | 0.000 % |
746.64/747.07 c | 313646 | 1877 298711 1313786 | 2147483647 313646 102 | 0.000 % |
753.93/754.30 c | 316372 | 1877 298711 1313786 | 2147483647 316372 102 | 0.000 % |
765.44/765.85 c | 319370 | 1877 298711 1313786 | 2147483647 319370 102 | 0.000 % |
765.74/766.16 c | 319471 | 1877 298711 1313786 | 2147483647 319471 102 | 0.000 % |
766.24/766.68 c | 319581 | 1877 298711 1313786 | 2147483647 319581 102 | 0.000 % |
767.13/767.54 c | 319703 | 1877 298711 1313786 | 2147483647 319703 102 | 0.000 % |
767.93/768.35 c | 319837 | 1877 298711 1313786 | 2147483647 319837 102 | 0.000 % |
768.83/769.24 c | 319983 | 1877 298711 1313786 | 2147483647 319983 102 | 0.000 % |
769.23/769.66 c | 320143 | 1877 298711 1313786 | 2147483647 320143 102 | 0.000 % |
770.33/770.79 c | 320319 | 1877 298711 1313786 | 2147483647 320319 102 | 0.000 % |
770.93/771.38 c | 320512 | 1877 298711 1313786 | 2147483647 320512 102 | 0.000 % |
771.84/772.27 c | 320724 | 1877 298711 1313786 | 2147483647 320724 102 | 0.000 % |
773.73/774.15 c | 320960 | 1877 298711 1313786 | 2147483647 320960 102 | 0.000 % |
775.32/775.71 c | 321216 | 1877 298711 1313786 | 2147483647 321216 102 | 0.000 % |
776.13/776.58 c | 321497 | 1877 298711 1313786 | 2147483647 321497 102 | 0.000 % |
777.82/778.21 c | 321806 | 1877 298711 1313786 | 2147483647 321806 102 | 0.000 % |
779.12/779.57 c | 322146 | 1877 298711 1313786 | 2147483647 322146 102 | 0.000 % |
780.72/781.11 c | 322518 | 1877 298711 1313786 | 2147483647 322518 102 | 0.000 % |
782.62/783.01 c | 322928 | 1877 298711 1313786 | 2147483647 322928 102 | 0.000 % |
784.32/784.72 c | 323382 | 1877 298711 1313786 | 2147483647 323382 102 | 0.000 % |
786.62/787.03 c | 323875 | 1877 298711 1313786 | 2147483647 323875 102 | 0.000 % |
789.52/789.95 c | 324418 | 1877 298711 1313786 | 2147483647 324418 102 | 0.000 % |
791.62/792.04 c | 325014 | 1877 298711 1313786 | 2147483647 325014 102 | 0.000 % |
793.91/794.31 c | 325670 | 1877 298711 1313786 | 2147483647 325670 102 | 0.000 % |
795.81/796.21 c | 326391 | 1877 298711 1313786 | 2147483647 326391 102 | 0.000 % |
798.22/798.62 c | 327183 | 1877 298711 1313786 | 2147483647 327183 102 | 0.000 % |
800.91/801.34 c | 328054 | 1877 298711 1313786 | 2147483647 328054 102 | 0.000 % |
803.61/804.03 c | 329012 | 1877 298711 1313786 | 2147483647 329012 102 | 0.000 % |
807.22/807.68 c | 330069 | 1877 298711 1313786 | 2147483647 330069 102 | 0.000 % |
810.41/810.88 c | 331229 | 1877 298711 1313786 | 2147483647 331229 102 | 0.000 % |
814.21/814.65 c | 332503 | 1877 298711 1313786 | 2147483647 332503 102 | 0.000 % |
817.60/818.05 c | 333904 | 1877 298711 1313786 | 2147483647 333904 103 | 0.000 % |
825.20/825.66 c | 335444 | 1877 298711 1313786 | 2147483647 335444 103 | 0.000 % |
833.20/833.65 c | 337140 | 1877 298711 1313786 | 2147483647 337140 103 | 0.000 % |
839.20/839.68 c | 339005 | 1877 298711 1313786 | 2147483647 339005 103 | 0.000 % |
845.40/845.89 c | 341055 | 1877 298711 1313786 | 2147483647 341055 103 | 0.000 % |
854.69/855.13 c | 343310 | 1877 298711 1313786 | 2147483647 343310 103 | 0.000 % |
868.18/868.69 c | 345793 | 1877 298711 1313786 | 2147483647 345793 103 | 0.000 % |
879.28/879.76 c | 348520 | 1877 298711 1313786 | 2147483647 348520 103 | 0.000 % |
888.27/888.73 c | 351518 | 1877 298711 1313786 | 2147483647 351518 103 | 0.000 % |
903.47/903.90 c | 354821 | 1877 298711 1313786 | 2147483647 354821 103 | 0.000 % |
904.07/904.59 c | 354922 | 1877 298711 1313786 | 2147483647 354922 103 | 0.000 % |
904.87/905.38 c | 355032 | 1877 298711 1313786 | 2147483647 355032 103 | 0.000 % |
905.77/906.22 c | 355154 | 1877 298711 1313786 | 2147483647 355154 103 | 0.000 % |
906.37/906.89 c | 355287 | 1877 298711 1313786 | 2147483647 355287 103 | 0.000 % |
907.17/907.65 c | 355433 | 1877 298711 1313786 | 2147483647 355433 103 | 0.000 % |
907.76/908.24 c | 355594 | 1877 298711 1313786 | 2147483647 355594 103 | 0.000 % |
908.46/908.97 c | 355771 | 1877 298711 1313786 | 2147483647 355771 103 | 0.000 % |
909.36/909.81 c | 355964 | 1877 298711 1313786 | 2147483647 355964 103 | 0.000 % |
910.16/910.66 c | 356177 | 1877 298711 1313786 | 2147483647 356177 103 | 0.000 % |
912.06/912.50 c | 356412 | 1877 298711 1313786 | 2147483647 356412 103 | 0.000 % |
913.35/913.89 c | 356669 | 1877 298711 1313786 | 2147483647 356669 103 | 0.000 % |
914.45/914.96 c | 356950 | 1877 298711 1313786 | 2147483647 356950 103 | 0.000 % |
915.87/916.31 c | 357260 | 1877 298711 1313786 | 2147483647 357260 103 | 0.000 % |
916.76/917.30 c | 357599 | 1877 298711 1313786 | 2147483647 357599 103 | 0.000 % |
918.76/919.21 c | 357972 | 1877 298711 1313786 | 2147483647 357972 103 | 0.000 % |
920.76/921.21 c | 358381 | 1877 298711 1313786 | 2147483647 358381 103 | 0.000 % |
923.56/924.05 c | 358831 | 1877 298711 1313786 | 2147483647 358831 103 | 0.000 % |
926.06/926.54 c | 359325 | 1877 298711 1313786 | 2147483647 359325 103 | 0.000 % |
929.55/930.01 c | 359867 | 1877 298711 1313786 | 2147483647 359867 103 | 0.000 % |
931.35/931.83 c | 360464 | 1877 298711 1313786 | 2147483647 360464 103 | 0.000 % |
933.75/934.22 c | 361119 | 1877 298711 1313786 | 2147483647 361119 103 | 0.000 % |
935.45/935.95 c | 361840 | 1877 298711 1313786 | 2147483647 361840 103 | 0.000 % |
938.25/938.76 c | 362636 | 1877 298711 1313786 | 2147483647 362636 103 | 0.000 % |
941.95/942.48 c | 363508 | 1877 298711 1313786 | 2147483647 363508 103 | 0.000 % |
946.95/947.42 c | 364467 | 1877 298711 1313786 | 2147483647 364467 103 | 0.000 % |
950.44/950.96 c | 365520 | 1877 298711 1313786 | 2147483647 365520 103 | 0.000 % |
955.74/956.28 c | 366678 | 1877 298711 1313786 | 2147483647 366678 103 | 0.000 % |
960.13/960.68 c | 367955 | 1877 298711 1313786 | 2147483647 367955 103 | 0.000 % |
964.14/964.66 c | 369355 | 1877 298711 1313786 | 2147483647 369355 103 | 0.000 % |
969.94/970.44 c | 370895 | 1877 298711 1313786 | 2147483647 370895 103 | 0.000 % |
978.83/979.31 c | 372591 | 1877 298711 1313786 | 2147483647 372591 103 | 0.000 % |
987.03/987.56 c | 374454 | 1877 298711 1313786 | 2147483647 374454 103 | 0.000 % |
998.51/999.00 c | 376505 | 1877 298711 1313786 | 2147483647 376505 103 | 0.000 % |
1012.02/1012.58 c | 378760 | 1877 298711 1313786 | 2147483647 378760 103 | 0.000 % |
1021.61/1022.18 c | 381240 | 1877 298711 1313786 | 2147483647 381240 104 | 0.000 % |
1038.91/1039.44 c | 383965 | 1877 298711 1313786 | 2147483647 383965 104 | 0.000 % |
1048.31/1048.81 c | 386965 | 1877 298711 1313786 | 2147483647 386965 104 | 0.000 % |
1058.40/1058.92 c | 390263 | 1877 298711 1313786 | 2147483647 390263 104 | 0.000 % |
1076.60/1077.15 c | 393888 | 1877 298711 1313786 | 2147483647 393888 104 | 0.000 % |
1077.10/1077.67 c | 393988 | 1877 298711 1313786 | 2147483647 393988 104 | 0.000 % |
1077.70/1078.24 c | 394100 | 1877 298711 1313786 | 2147483647 394100 104 | 0.000 % |
1078.50/1079.03 c | 394221 | 1877 298711 1313786 | 2147483647 394221 104 | 0.000 % |
1079.20/1079.70 c | 394354 | 1877 298711 1313786 | 2147483647 394354 104 | 0.000 % |
1080.00/1080.51 c | 394500 | 1877 298711 1313786 | 2147483647 394500 104 | 0.000 % |
1080.80/1081.37 c | 394660 | 1877 298711 1313786 | 2147483647 394660 104 | 0.000 % |
1081.80/1082.31 c | 394836 | 1877 298711 1313786 | 2147483647 394836 104 | 0.000 % |
1082.90/1083.42 c | 395030 | 1877 298711 1313786 | 2147483647 395030 104 | 0.000 % |
1083.89/1084.48 c | 395248 | 1877 298711 1313786 | 2147483647 395248 104 | 0.000 % |
1085.49/1086.02 c | 395482 | 1877 298711 1313786 | 2147483647 395482 104 | 0.000 % |
1086.39/1086.95 c | 395739 | 1877 298711 1313786 | 2147483647 395739 104 | 0.000 % |
1088.19/1088.72 c | 396020 | 1877 298711 1313786 | 2147483647 396020 104 | 0.000 % |
1089.49/1090.05 c | 396330 | 1877 298711 1313786 | 2147483647 396330 104 | 0.000 % |
1091.79/1092.36 c | 396669 | 1877 298711 1313786 | 2147483647 396669 104 | 0.000 % |
1094.28/1094.87 c | 397041 | 1877 298711 1313786 | 2147483647 397041 104 | 0.000 % |
1097.58/1098.14 c | 397450 | 1877 298711 1313786 | 2147483647 397450 104 | 0.000 % |
1100.29/1100.81 c | 397904 | 1877 298711 1313786 | 2147483647 397904 104 | 0.000 % |
1103.39/1103.92 c | 398399 | 1877 298711 1313786 | 2147483647 398399 104 | 0.000 % |
1105.78/1106.37 c | 398942 | 1877 298711 1313786 | 2147483647 398942 104 | 0.000 % |
1108.29/1108.81 c | 399539 | 1877 298711 1313786 | 2147483647 399539 104 | 0.000 % |
1111.68/1112.28 c | 400195 | 1877 298711 1313786 | 2147483647 400195 104 | 0.000 % |
1116.18/1116.77 c | 400915 | 1877 298711 1313786 | 2147483647 400915 104 | 0.000 % |
1121.48/1122.00 c | 401708 | 1877 298711 1313786 | 2147483647 401708 104 | 0.000 % |
1125.37/1125.94 c | 402581 | 1877 298711 1313786 | 2147483647 402581 104 | 0.000 % |
1130.17/1130.80 c | 403539 | 1877 298711 1313786 | 2147483647 403539 104 | 0.000 % |
1137.96/1138.55 c | 404592 | 1877 298711 1313786 | 2147483647 404592 104 | 0.000 % |
1145.16/1145.72 c | 405752 | 1877 298711 1313786 | 2147483647 405752 104 | 0.000 % |
1154.26/1154.83 c | 407026 | 1877 298711 1313786 | 2147483647 407026 104 | 0.000 % |
1159.06/1159.65 c | 408428 | 1877 298711 1313786 | 2147483647 408428 104 | 0.000 % |
1168.25/1168.88 c | 409969 | 1877 298711 1313786 | 2147483647 409969 104 | 0.000 % |
1175.26/1175.81 c | 411664 | 1877 298711 1313786 | 2147483647 411664 104 | 0.000 % |
1181.25/1181.86 c | 413527 | 1877 298711 1313786 | 2147483647 413527 104 | 0.000 % |
1193.34/1193.90 c | 415576 | 1877 298711 1313786 | 2147483647 415576 104 | 0.000 % |
1208.44/1209.09 c | 417830 | 1877 298711 1313786 | 2147483647 417830 104 | 0.000 % |
1217.83/1218.43 c | 420308 | 1877 298711 1313786 | 2147483647 420308 104 | 0.000 % |
1223.82/1224.41 c | 423034 | 1877 298711 1313786 | 2147483647 423034 104 | 0.000 % |
1233.72/1234.31 c | 426031 | 1877 298711 1313786 | 2147483647 426031 104 | 0.000 % |
1246.02/1246.65 c | 429327 | 1877 298711 1313786 | 2147483647 429327 105 | 0.000 % |
1265.22/1265.83 c | 432952 | 1877 298711 1313786 | 2147483647 432952 105 | 0.000 % |
1277.40/1278.06 c | 436941 | 1877 298711 1313786 | 2147483647 436941 105 | 0.000 % |
1278.00/1278.65 c | 437042 | 1877 298711 1313786 | 2147483647 437042 105 | 0.000 % |
1278.90/1279.59 c | 437154 | 1877 298711 1313786 | 2147483647 437154 105 | 0.000 % |
1279.70/1280.32 c | 437275 | 1877 298711 1313786 | 2147483647 437275 105 | 0.000 % |
1280.30/1280.96 c | 437409 | 1877 298711 1313786 | 2147483647 437409 105 | 0.000 % |
1281.00/1281.65 c | 437557 | 1877 298711 1313786 | 2147483647 437557 105 | 0.000 % |
1282.20/1282.82 c | 437718 | 1877 298711 1313786 | 2147483647 437718 105 | 0.000 % |
1283.00/1283.65 c | 437895 | 1877 298711 1313786 | 2147483647 437895 105 | 0.000 % |
1284.01/1284.68 c | 438088 | 1877 298711 1313786 | 2147483647 438088 105 | 0.000 % |
1285.01/1285.62 c | 438302 | 1877 298711 1313786 | 2147483647 438302 105 | 0.000 % |
1286.51/1287.13 c | 438538 | 1877 298711 1313786 | 2147483647 438538 105 | 0.000 % |
1288.20/1288.88 c | 438794 | 1877 298711 1313786 | 2147483647 438794 105 | 0.000 % |
1289.61/1290.27 c | 439075 | 1877 298711 1313786 | 2147483647 439075 105 | 0.000 % |
1291.30/1291.91 c | 439384 | 1877 298711 1313786 | 2147483647 439384 105 | 0.000 % |
1293.10/1293.79 c | 439725 | 1877 298711 1313786 | 2147483647 439725 105 | 0.000 % |
1295.80/1296.41 c | 440099 | 1877 298711 1313786 | 2147483647 440099 105 | 0.000 % |
1297.70/1298.34 c | 440509 | 1877 298711 1313786 | 2147483647 440509 105 | 0.000 % |
1300.10/1300.78 c | 440958 | 1877 298711 1313786 | 2147483647 440958 105 | 0.000 % |
1302.39/1303.00 c | 441452 | 1877 298711 1313786 | 2147483647 441452 105 | 0.000 % |
1304.69/1305.39 c | 441995 | 1877 298711 1313786 | 2147483647 441995 105 | 0.000 % |
1307.39/1308.04 c | 442592 | 1877 298711 1313786 | 2147483647 442592 105 | 0.000 % |
1312.60/1313.27 c | 443249 | 1877 298711 1313786 | 2147483647 443249 105 | 0.000 % |
1315.79/1316.46 c | 443971 | 1877 298711 1313786 | 2147483647 443971 105 | 0.000 % |
1318.49/1319.19 c | 444764 | 1877 298711 1313786 | 2147483647 444764 105 | 0.000 % |
1322.59/1323.29 c | 445635 | 1877 298711 1313786 | 2147483647 445635 105 | 0.000 % |
1328.38/1329.09 c | 446593 | 1877 298711 1313786 | 2147483647 446593 105 | 0.000 % |
1334.98/1335.65 c | 447646 | 1877 298711 1313786 | 2147483647 447646 105 | 0.000 % |
1339.38/1340.06 c | 448805 | 1877 298711 1313786 | 2147483647 448805 105 | 0.000 % |
1346.07/1346.71 c | 450078 | 1877 298711 1313786 | 2147483647 450078 105 | 0.000 % |
1353.08/1353.79 c | 451478 | 1877 298711 1313786 | 2147483647 451478 105 | 0.000 % |
1360.26/1360.97 c | 453019 | 1877 298711 1313786 | 2147483647 453019 105 | 0.000 % |
1368.26/1368.93 c | 454713 | 1877 298711 1313786 | 2147483647 454713 105 | 0.000 % |
1381.85/1382.50 c | 456579 | 1877 298711 1313786 | 2147483647 456579 105 | 0.000 % |
1395.95/1396.69 c | 458631 | 1877 298711 1313786 | 2147483647 458631 105 | 0.000 % |
1406.44/1407.16 c | 460886 | 1877 298711 1313786 | 2147483647 460886 105 | 0.000 % |
1418.24/1418.93 c | 463364 | 1877 298711 1313786 | 2147483647 463364 105 | 0.000 % |
1431.54/1432.21 c | 466090 | 1877 298711 1313786 | 2147483647 466090 105 | 0.000 % |
1445.53/1446.27 c | 469089 | 1877 298711 1313786 | 2147483647 469089 105 | 0.000 % |
1461.52/1462.24 c | 472385 | 1877 298711 1313786 | 2147483647 472385 105 | 0.000 % |
1472.31/1473.08 c | 476011 | 1877 298711 1313786 | 2147483647 476011 105 | 0.000 % |
1488.91/1489.69 c | 479999 | 1877 298711 1313786 | 2147483647 479999 105 | 0.000 % |
1502.91/1503.65 c | 484385 | 1877 298711 1313786 | 2147483647 484385 105 | 0.000 % |
1503.31/1504.03 c | 484486 | 1877 298711 1313786 | 2147483647 484486 105 | 0.000 % |
1503.51/1504.29 c | 484599 | 1877 298711 1313786 | 2147483647 484599 105 | 0.000 % |
1504.21/1504.92 c | 484720 | 1877 298711 1313786 | 2147483647 484720 105 | 0.000 % |
1504.81/1505.59 c | 484854 | 1877 298711 1313786 | 2147483647 484854 105 | 0.000 % |
1505.71/1506.40 c | 485000 | 1877 298711 1313786 | 2147483647 485000 105 | 0.000 % |
1506.61/1507.33 c | 485162 | 1877 298711 1313786 | 2147483647 485162 105 | 0.000 % |
1507.50/1508.26 c | 485338 | 1877 298711 1313786 | 2147483647 485338 105 | 0.000 % |
1508.80/1509.56 c | 485533 | 1877 298711 1313786 | 2147483647 485533 105 | 0.000 % |
1510.50/1511.25 c | 485745 | 1877 298711 1313786 | 2147483647 485745 105 | 0.000 % |
1512.81/1513.55 c | 485980 | 1877 298711 1313786 | 2147483647 485980 105 | 0.000 % |
1515.20/1515.95 c | 486236 | 1877 298711 1313786 | 2147483647 486236 105 | 0.000 % |
1517.50/1518.20 c | 486519 | 1877 298711 1313786 | 2147483647 486519 105 | 0.000 % |
1519.60/1520.31 c | 486831 | 1877 298711 1313786 | 2147483647 486831 105 | 0.000 % |
1521.60/1522.35 c | 487172 | 1877 298711 1313786 | 2147483647 487172 105 | 0.000 % |
1523.20/1523.94 c | 487546 | 1877 298711 1313786 | 2147483647 487546 105 | 0.000 % |
1525.00/1525.73 c | 487955 | 1877 298711 1313786 | 2147483647 487955 105 | 0.000 % |
1526.90/1527.64 c | 488406 | 1877 298711 1313786 | 2147483647 488406 105 | 0.000 % |
1531.40/1532.12 c | 488899 | 1877 298711 1313786 | 2147483647 488899 105 | 0.000 % |
1533.70/1534.40 c | 489443 | 1877 298711 1313786 | 2147483647 489443 105 | 0.000 % |
1537.49/1538.26 c | 490040 | 1877 298711 1313786 | 2147483647 490040 105 | 0.000 % |
1540.98/1541.78 c | 490697 | 1877 298711 1313786 | 2147483647 490697 105 | 0.000 % |
1545.89/1546.68 c | 491418 | 1877 298711 1313786 | 2147483647 491418 105 | 0.000 % |
1549.39/1550.11 c | 492210 | 1877 298711 1313786 | 2147483647 492210 105 | 0.000 % |
1555.69/1556.44 c | 493081 | 1877 298711 1313786 | 2147483647 493081 105 | 0.000 % |
1560.48/1561.23 c | 494039 | 1877 298711 1313786 | 2147483647 494039 105 | 0.000 % |
1568.68/1569.42 c | 495095 | 1877 298711 1313786 | 2147483647 495095 105 | 0.000 % |
1574.78/1575.59 c | 496253 | 1877 298711 1313786 | 2147483647 496253 105 | 0.000 % |
1583.17/1583.97 c | 497528 | 1877 298711 1313786 | 2147483647 497528 106 | 0.000 % |
1592.56/1593.31 c | 498929 | 1877 298711 1313786 | 2147483647 498929 106 | 0.000 % |
1605.96/1606.77 c | 500469 | 1877 298711 1313786 | 2147483647 500469 106 | 0.000 % |
1613.56/1614.34 c | 502163 | 1877 298711 1313786 | 2147483647 502163 106 | 0.000 % |
1623.26/1624.02 c | 504028 | 1877 298711 1313786 | 2147483647 504028 106 | 0.000 % |
1640.15/1640.91 c | 506077 | 1877 298711 1313786 | 2147483647 506077 106 | 0.000 % |
1651.54/1652.39 c | 508330 | 1877 298711 1313786 | 2147483647 508330 106 | 0.000 % |
1660.75/1661.54 c | 510810 | 1877 298711 1313786 | 2147483647 510810 106 | 0.000 % |
1676.13/1676.91 c | 513535 | 1877 298711 1313786 | 2147483647 513535 106 | 0.000 % |
1688.83/1689.61 c | 516533 | 1877 298711 1313786 | 2147483647 516533 106 | 0.000 % |
1717.41/1718.24 c | 519829 | 1877 298711 1313786 | 2147483647 519829 106 | 0.000 % |
1734.40/1735.23 c | 523454 | 1877 298711 1313786 | 2147483647 523454 106 | 0.000 % |
1759.19/1760.02 c | 527441 | 1877 298711 1313786 | 2147483647 527441 106 | 0.000 % |
1789.77/1790.64 c | 531826 | 1877 298711 1313786 | 2147483647 531826 106 | 0.000 % |
1822.15/1823.01 c | 536650 | 1877 298711 1313786 | 2147483647 536650 105 | 0.000 % |
1822.75/1823.63 c | 536751 | 1877 298711 1313786 | 2147483647 536751 105 | 0.000 % |
1823.45/1824.33 c | 536862 | 1877 298711 1313786 | 2147483647 536862 105 | 0.000 % |
1824.25/1825.14 c | 536983 | 1877 298711 1313786 | 2147483647 536983 105 | 0.000 % |
1825.35/1826.22 c | 537116 | 1877 298711 1313786 | 2147483647 537116 105 | 0.000 % |
1826.16/1827.07 c | 537262 | 1877 298711 1313786 | 2147483647 537262 105 | 0.000 % |
1827.15/1828.08 c | 537424 | 1877 298711 1313786 | 2147483647 537424 105 | 0.000 % |
1828.65/1829.53 c | 537600 | 1877 298711 1313786 | 2147483647 537600 105 | 0.000 % |
1829.65/1830.57 c | 537793 | 1877 298711 1313786 | 2147483647 537793 105 | 0.000 % |
1830.95/1831.82 c | 538006 | 1877 298711 1313786 | 2147483647 538006 105 | 0.000 % |
1832.45/1833.31 c | 538240 | 1877 298711 1313786 | 2147483647 538240 105 | 0.000 % |
1833.75/1834.68 c | 538497 | 1877 298711 1313786 | 2147483647 538497 105 | 0.000 % |
1836.15/1837.06 c | 538778 | 1877 298711 1313786 | 2147483647 538778 105 | 0.000 % |
1838.35/1839.23 c | 539087 | 1877 298711 1313786 | 2147483647 539087 105 | 0.000 % |
1840.35/1841.20 c | 539426 | 1877 298711 1313786 | 2147483647 539426 105 | 0.000 % |
1842.94/1843.89 c | 539799 | 1877 298711 1313786 | 2147483647 539799 105 | 0.000 % |
1844.74/1845.66 c | 540210 | 1877 298711 1313786 | 2147483647 540210 105 | 0.000 % |
1847.15/1848.01 c | 540661 | 1877 298711 1313786 | 2147483647 540661 105 | 0.000 % |
1849.35/1850.22 c | 541156 | 1877 298711 1313786 | 2147483647 541156 105 | 0.000 % |
1851.55/1852.49 c | 541699 | 1877 298711 1313786 | 2147483647 541699 105 | 0.000 % |
1858.04/1858.96 c | 542299 | 1877 298711 1313786 | 2147483647 542299 105 | 0.000 % |
1861.14/1862.00 c | 542955 | 1877 298711 1313786 | 2147483647 542955 105 | 0.000 % |
1865.54/1866.47 c | 543676 | 1877 298711 1313786 | 2147483647 543676 105 | 0.000 % |
1871.34/1872.27 c | 544469 | 1877 298711 1313786 | 2147483647 544469 105 | 0.000 % |
1874.54/1875.45 c | 545342 | 1877 298711 1313786 | 2147483647 545342 105 | 0.000 % |
1880.73/1881.69 c | 546301 | 1877 298711 1313786 | 2147483647 546301 105 | 0.000 % |
1887.23/1888.17 c | 547355 | 1877 298711 1313786 | 2147483647 547355 105 | 0.000 % |
1893.13/1894.07 c | 548514 | 1877 298711 1313786 | 2147483647 548514 105 | 0.000 % |
1900.92/1901.87 c | 549787 | 1877 298711 1313786 | 2147483647 549787 105 | 0.000 % |
1913.21/1914.19 c | 551187 | 1877 298711 1313786 | 2147483647 551187 105 | 0.000 % |
1923.22/1924.18 c | 552729 | 1877 298711 1313786 | 2147483647 552729 105 | 0.000 % |
1935.81/1936.77 c | 554423 | 1877 298711 1313786 | 2147483647 554423 105 | 0.000 % |
1940.51/1941.46 c | 556286 | 1877 298711 1313786 | 2147483647 556286 105 | 0.000 % |
1946.70/1947.63 c | 558335 | 1877 298711 1313786 | 2147483647 558335 105 | 0.000 % |
1954.19/1955.15 c | 560588 | 1877 298711 1313786 | 2147483647 560588 105 | 0.000 % |
1968.80/1969.74 c | 563066 | 1877 298711 1313786 | 2147483647 563066 105 | 0.000 % |
1983.09/1984.07 c | 565791 | 1877 298711 1313786 | 2147483647 565791 105 | 0.000 % |
1995.78/1996.78 c | 568788 | 1877 298711 1313786 | 2147483647 568788 105 | 0.000 % |
2012.08/2013.07 c | 572087 | 1877 298711 1313786 | 2147483647 572087 105 | 0.000 % |
2022.88/2023.83 c | 575713 | 1877 298711 1313786 | 2147483647 575713 105 | 0.000 % |
2038.06/2039.05 c | 579700 | 1877 298711 1313786 | 2147483647 579700 106 | 0.000 % |
2059.86/2060.84 c | 584088 | 1877 298711 1313786 | 2147483647 584088 106 | 0.000 % |
2094.54/2095.52 c | 588913 | 1877 298711 1313786 | 2147483647 588913 106 | 0.000 % |
2124.43/2125.44 c | 594218 | 1877 298711 1313786 | 2147483647 594218 106 | 0.000 % |
2125.43/2126.45 c | 594319 | 1877 298711 1313786 | 2147483647 594319 106 | 0.000 % |
2126.03/2127.05 c | 594429 | 1877 298711 1313786 | 2147483647 594429 106 | 0.000 % |
2127.13/2128.15 c | 594551 | 1877 298711 1313786 | 2147483647 594551 106 | 0.000 % |
2128.03/2129.00 c | 594684 | 1877 298711 1313786 | 2147483647 594684 106 | 0.000 % |
2129.33/2130.39 c | 594832 | 1877 298711 1313786 | 2147483647 594832 106 | 0.000 % |
2130.53/2131.57 c | 594995 | 1877 298711 1313786 | 2147483647 594995 106 | 0.000 % |
2132.83/2133.85 c | 595173 | 1877 298711 1313786 | 2147483647 595173 106 | 0.000 % |
2134.23/2135.29 c | 595366 | 1877 298711 1313786 | 2147483647 595366 106 | 0.000 % |
2136.43/2137.50 c | 595579 | 1877 298711 1313786 | 2147483647 595579 106 | 0.000 % |
2138.73/2139.78 c | 595813 | 1877 298711 1313786 | 2147483647 595813 106 | 0.000 % |
2140.33/2141.37 c | 596069 | 1877 298711 1313786 | 2147483647 596069 106 | 0.000 % |
2142.23/2143.25 c | 596350 | 1877 298711 1313786 | 2147483647 596350 106 | 0.000 % |
2144.03/2145.03 c | 596659 | 1877 298711 1313786 | 2147483647 596659 106 | 0.000 % |
2146.73/2147.77 c | 596999 | 1877 298711 1313786 | 2147483647 596999 106 | 0.000 % |
2148.72/2149.73 c | 597376 | 1877 298711 1313786 | 2147483647 597376 106 | 0.000 % |
2151.63/2152.68 c | 597785 | 1877 298711 1313786 | 2147483647 597785 106 | 0.000 % |
2155.42/2156.44 c | 598237 | 1877 298711 1313786 | 2147483647 598237 106 | 0.000 % |
2159.52/2160.50 c | 598732 | 1877 298711 1313786 | 2147483647 598732 106 | 0.000 % |
2163.02/2164.07 c | 599276 | 1877 298711 1313786 | 2147483647 599276 106 | 0.000 % |
2166.61/2167.66 c | 599873 | 1877 298711 1313786 | 2147483647 599873 106 | 0.000 % |
2170.60/2171.61 c | 600528 | 1877 298711 1313786 | 2147483647 600528 106 | 0.000 % |
2175.20/2176.20 c | 601249 | 1877 298711 1313786 | 2147483647 601249 106 | 0.000 % |
2178.80/2179.86 c | 602041 | 1877 298711 1313786 | 2147483647 602041 106 | 0.000 % |
2183.61/2184.61 c | 602914 | 1877 298711 1313786 | 2147483647 602914 106 | 0.000 % |
2189.90/2190.99 c | 603872 | 1877 298711 1313786 | 2147483647 603872 106 | 0.000 % |
2197.90/2198.90 c | 604926 | 1877 298711 1313786 | 2147483647 604926 106 | 0.000 % |
2202.69/2203.74 c | 606085 | 1877 298711 1313786 | 2147483647 606085 106 | 0.000 % |
2209.59/2210.65 c | 607359 | 1877 298711 1313786 | 2147483647 607359 106 | 0.000 % |
2222.98/2224.07 c | 608760 | 1877 298711 1313786 | 2147483647 608760 106 | 0.000 % |
2238.78/2239.85 c | 610300 | 1877 298711 1313786 | 2147483647 610300 106 | 0.000 % |
2245.87/2246.96 c | 611995 | 1877 298711 1313786 | 2147483647 611995 106 | 0.000 % |
2258.17/2259.29 c | 613858 | 1877 298711 1313786 | 2147483647 613858 106 | 0.000 % |
2270.76/2271.89 c | 615908 | 1877 298711 1313786 | 2147483647 615908 106 | 0.000 % |
2283.05/2284.19 c | 618162 | 1877 298711 1313786 | 2147483647 618162 106 | 0.000 % |
2306.15/2307.20 c | 620641 | 1877 298711 1313786 | 2147483647 620641 106 | 0.000 % |
2326.14/2327.22 c | 623366 | 1877 298711 1313786 | 2147483647 623366 106 | 0.000 % |
2341.03/2342.17 c | 626363 | 1877 298711 1313786 | 2147483647 626363 106 | 0.000 % |
2355.22/2356.38 c | 629662 | 1877 298711 1313786 | 2147483647 629662 106 | 0.000 % |
2376.12/2377.28 c | 633289 | 1877 298711 1313786 | 2147483647 633289 106 | 0.000 % |
2399.40/2400.52 c | 637278 | 1877 298711 1313786 | 2147483647 637278 106 | 0.000 % |
2422.10/2423.27 c | 641664 | 1877 298711 1313786 | 2147483647 641664 106 | 0.000 % |
2451.48/2452.65 c | 646489 | 1877 298711 1313786 | 2147483647 646489 106 | 0.000 % |
2473.87/2475.01 c | 651794 | 1877 298711 1313786 | 2147483647 651794 107 | 0.000 % |
2522.35/2523.54 c | 657632 | 1877 298711 1313786 | 2147483647 657632 107 | 0.000 % |
2522.75/2523.97 c | 657732 | 1877 298711 1313786 | 2147483647 657732 107 | 0.000 % |
2523.35/2524.53 c | 657842 | 1877 298711 1313786 | 2147483647 657842 107 | 0.000 % |
2524.45/2525.60 c | 657964 | 1877 298711 1313786 | 2147483647 657964 107 | 0.000 % |
2525.64/2526.85 c | 658097 | 1877 298711 1313786 | 2147483647 658097 107 | 0.000 % |
2526.94/2528.17 c | 658246 | 1877 298711 1313786 | 2147483647 658246 107 | 0.000 % |
2528.34/2529.53 c | 658406 | 1877 298711 1313786 | 2147483647 658406 107 | 0.000 % |
2529.64/2530.88 c | 658583 | 1877 298711 1313786 | 2147483647 658583 107 | 0.000 % |
2531.74/2532.96 c | 658776 | 1877 298711 1313786 | 2147483647 658776 107 | 0.000 % |
2532.94/2534.15 c | 658989 | 1877 298711 1313786 | 2147483647 658989 107 | 0.000 % |
2534.74/2535.94 c | 659222 | 1877 298711 1313786 | 2147483647 659222 107 | 0.000 % |
2537.74/2538.98 c | 659478 | 1877 298711 1313786 | 2147483647 659478 107 | 0.000 % |
2540.84/2542.02 c | 659766 | 1877 298711 1313786 | 2147483647 659766 107 | 0.000 % |
2544.24/2545.43 c | 660077 | 1877 298711 1313786 | 2147483647 660077 107 | 0.000 % |
2547.23/2548.40 c | 660416 | 1877 298711 1313786 | 2147483647 660416 107 | 0.000 % |
2551.63/2552.85 c | 660789 | 1877 298711 1313786 | 2147483647 660789 107 | 0.000 % |
2554.03/2555.23 c | 661202 | 1877 298711 1313786 | 2147483647 661202 107 | 0.000 % |
2556.73/2557.96 c | 661651 | 1877 298711 1313786 | 2147483647 661651 107 | 0.000 % |
2559.73/2560.95 c | 662144 | 1877 298711 1313786 | 2147483647 662144 107 | 0.000 % |
2563.63/2564.83 c | 662687 | 1877 298711 1313786 | 2147483647 662687 107 | 0.000 % |
2566.23/2567.42 c | 663284 | 1877 298711 1313786 | 2147483647 663284 107 | 0.000 % |
2569.32/2570.51 c | 663940 | 1877 298711 1313786 | 2147483647 663940 107 | 0.000 % |
2572.73/2573.99 c | 664660 | 1877 298711 1313786 | 2147483647 664660 107 | 0.000 % |
2575.03/2576.21 c | 665453 | 1877 298711 1313786 | 2147483647 665453 107 | 0.000 % |
2577.52/2578.78 c | 666325 | 1877 298711 1313786 | 2147483647 666325 107 | 0.000 % |
2580.12/2581.35 c | 667283 | 1877 298711 1313786 | 2147483647 667283 106 | 0.000 % |
2582.62/2583.85 c | 668336 | 1877 298711 1313786 | 2147483647 668336 106 | 0.000 % |
2586.02/2587.29 c | 669496 | 1877 298711 1313786 | 2147483647 669496 106 | 0.000 % |
2589.21/2590.42 c | 670771 | 1877 298711 1313786 | 2147483647 670771 106 | 0.000 % |
2593.12/2594.36 c | 672171 | 1877 298711 1313786 | 2147483647 672171 106 | 0.000 % |
2597.21/2598.40 c | 673711 | 1877 298711 1313786 | 2147483647 673711 106 | 0.000 % |
2601.11/2602.36 c | 675406 | 1877 298711 1313786 | 2147483647 675406 106 | 0.000 % |
2605.61/2606.84 c | 677270 | 1877 298711 1313786 | 2147483647 677270 106 | 0.000 % |
2612.20/2613.45 c | 679321 | 1877 298711 1313786 | 2147483647 679321 106 | 0.000 % |
2619.69/2620.96 c | 681575 | 1877 298711 1313786 | 2147483647 681575 106 | 0.000 % |
2640.79/2642.05 c | 684053 | 1877 298711 1313786 | 2147483647 684053 106 | 0.000 % |
2662.58/2663.89 c | 686778 | 1877 298711 1313786 | 2147483647 686778 106 | 0.000 % |
2689.17/2690.41 c | 689776 | 1877 298711 1313786 | 2147483647 689776 106 | 0.000 % |
2720.05/2721.39 c | 693073 | 1877 298711 1313786 | 2147483647 693073 106 | 0.000 % |
2753.43/2754.78 c | 696698 | 1877 298711 1313786 | 2147483647 696698 106 | 0.000 % |
2784.82/2786.11 c | 700687 | 1877 298711 1313786 | 2147483647 700687 106 | 0.000 % |
2812.51/2813.89 c | 705072 | 1877 298711 1313786 | 2147483647 705072 106 | 0.000 % |
2850.09/2851.40 c | 709895 | 1877 298711 1313786 | 2147483647 709895 106 | 0.000 % |
2878.78/2880.13 c | 715201 | 1877 298711 1313786 | 2147483647 715201 106 | 0.000 % |
2926.17/2927.50 c | 721036 | 1877 298711 1313786 | 2147483647 721036 106 | 0.000 % |
2985.73/2987.18 c | 727455 | 1877 298711 1313786 | 2147483647 727455 107 | 0.000 % |
2986.63/2988.05 c | 727556 | 1877 298711 1313786 | 2147483647 727556 107 | 0.000 % |
2988.43/2989.80 c | 727673 | 1877 298711 1313786 | 2147483647 727673 107 | 0.000 % |
2989.64/2991.04 c | 727797 | 1877 298711 1313786 | 2147483647 727797 107 | 0.000 % |
2990.74/2992.11 c | 727932 | 1877 298711 1313786 | 2147483647 727932 107 | 0.000 % |
2993.04/2994.45 c | 728078 | 1877 298711 1313786 | 2147483647 728078 107 | 0.000 % |
2995.04/2996.44 c | 728239 | 1877 298711 1313786 | 2147483647 728239 107 | 0.000 % |
2996.24/2997.67 c | 728415 | 1877 298711 1313786 | 2147483647 728415 107 | 0.000 % |
2998.04/2999.49 c | 728608 | 1877 298711 1313786 | 2147483647 728608 107 | 0.000 % |
3000.83/3002.24 c | 728822 | 1877 298711 1313786 | 2147483647 728822 107 | 0.000 % |
3002.93/3004.30 c | 729055 | 1877 298711 1313786 | 2147483647 729055 107 | 0.000 % |
3005.33/3006.77 c | 729311 | 1877 298711 1313786 | 2147483647 729311 107 | 0.000 % |
3007.73/3009.13 c | 729593 | 1877 298711 1313786 | 2147483647 729593 107 | 0.000 % |
3011.23/3012.61 c | 729903 | 1877 298711 1313786 | 2147483647 729903 107 | 0.000 % |
3013.53/3014.95 c | 730244 | 1877 298711 1313786 | 2147483647 730244 107 | 0.000 % |
3016.43/3017.84 c | 730616 | 1877 298711 1313786 | 2147483647 730616 107 | 0.000 % |
3019.32/3020.78 c | 731027 | 1877 298711 1313786 | 2147483647 731027 107 | 0.000 % |
3023.42/3024.81 c | 731476 | 1877 298711 1313786 | 2147483647 731476 107 | 0.000 % |
3028.42/3029.85 c | 731970 | 1877 298711 1313786 | 2147483647 731970 107 | 0.000 % |
3032.32/3033.75 c | 732515 | 1877 298711 1313786 | 2147483647 732515 107 | 0.000 % |
3037.31/3038.79 c | 733113 | 1877 298711 1313786 | 2147483647 733113 107 | 0.000 % |
3042.01/3043.42 c | 733770 | 1877 298711 1313786 | 2147483647 733770 107 | 0.000 % |
3048.81/3050.29 c | 734490 | 1877 298711 1313786 | 2147483647 734490 107 | 0.000 % |
3056.31/3057.76 c | 735282 | 1877 298711 1313786 | 2147483647 735282 107 | 0.000 % |
3064.00/3065.47 c | 736153 | 1877 298711 1313786 | 2147483647 736153 107 | 0.000 % |
3073.79/3075.26 c | 737112 | 1877 298711 1313786 | 2147483647 737112 106 | 0.000 % |
3083.60/3085.06 c | 738166 | 1877 298711 1313786 | 2147483647 738166 106 | 0.000 % |
3087.80/3089.20 c | 739325 | 1877 298711 1313786 | 2147483647 739325 106 | 0.000 % |
3095.79/3097.22 c | 740602 | 1877 298711 1313786 | 2147483647 740602 106 | 0.000 % |
3112.78/3114.22 c | 742002 | 1877 298711 1313786 | 2147483647 742002 106 | 0.000 % |
3130.57/3132.08 c | 743542 | 1877 298711 1313786 | 2147483647 743542 106 | 0.000 % |
3150.86/3152.33 c | 745237 | 1877 298711 1313786 | 2147483647 745237 106 | 0.000 % |
3167.96/3169.43 c | 747100 | 1877 298711 1313786 | 2147483647 747100 106 | 0.000 % |
3178.65/3180.18 c | 749151 | 1877 298711 1313786 | 2147483647 749151 106 | 0.000 % |
3188.34/3189.82 c | 751404 | 1877 298711 1313786 | 2147483647 751404 106 | 0.000 % |
3211.34/3212.89 c | 753887 | 1877 298711 1313786 | 2147483647 753887 106 | 0.000 % |
3240.52/3242.04 c | 756613 | 1877 298711 1313786 | 2147483647 756613 106 | 0.000 % |
3249.61/3251.13 c | 759610 | 1877 298711 1313786 | 2147483647 759610 106 | 0.000 % |
3288.10/3289.67 c | 762906 | 1877 298711 1313786 | 2147483647 762906 106 | 0.000 % |
3316.00/3317.56 c | 766532 | 1877 298711 1313786 | 2147483647 766532 106 | 0.000 % |
3340.88/3342.42 c | 770520 | 1877 298711 1313786 | 2147483647 770520 106 | 0.000 % |
3365.57/3367.14 c | 774906 | 1877 298711 1313786 | 2147483647 774906 106 | 0.000 % |
3390.15/3391.76 c | 779729 | 1877 298711 1313786 | 2147483647 779729 107 | 0.000 % |
3438.53/3440.13 c | 785034 | 1877 298711 1313786 | 2147483647 785034 107 | 0.000 % |
3486.71/3488.35 c | 790869 | 1877 298711 1313786 | 2147483647 790869 107 | 0.000 % |
3550.98/3552.66 c | 797288 | 1877 298711 1313786 | 2147483647 797288 107 | 0.000 % |
3616.65/3618.31 c | 804347 | 1877 298711 1313786 | 2147483647 804347 107 | 0.000 % |
3617.85/3619.57 c | 804448 | 1877 298711 1313786 | 2147483647 804448 107 | 0.000 % |
3619.46/3621.12 c | 804558 | 1877 298711 1313786 | 2147483647 804558 107 | 0.000 % |
3621.05/3622.72 c | 804679 | 1877 298711 1313786 | 2147483647 804679 107 | 0.000 % |
3622.65/3624.38 c | 804812 | 1877 298711 1313786 | 2147483647 804812 107 | 0.000 % |
3624.55/3626.23 c | 804958 | 1877 298711 1313786 | 2147483647 804958 107 | 0.000 % |
3626.05/3627.71 c | 805120 | 1877 298711 1313786 | 2147483647 805120 107 | 0.000 % |
3628.15/3629.87 c | 805297 | 1877 298711 1313786 | 2147483647 805297 107 | 0.000 % |
3629.85/3631.59 c | 805492 | 1877 298711 1313786 | 2147483647 805492 107 | 0.000 % |
3631.95/3633.66 c | 805704 | 1877 298711 1313786 | 2147483647 805704 107 | 0.000 % |
3635.05/3636.78 c | 805938 | 1877 298711 1313786 | 2147483647 805938 107 | 0.000 % |
3636.74/3638.49 c | 806196 | 1877 298711 1313786 | 2147483647 806196 107 | 0.000 % |
3638.64/3640.35 c | 806479 | 1877 298711 1313786 | 2147483647 806479 107 | 0.000 % |
3641.14/3642.85 c | 806789 | 1877 298711 1313786 | 2147483647 806789 107 | 0.000 % |
3645.84/3647.57 c | 807128 | 1877 298711 1313786 | 2147483647 807128 107 | 0.000 % |
3649.24/3650.97 c | 807500 | 1877 298711 1313786 | 2147483647 807500 107 | 0.000 % |
3652.74/3654.42 c | 807910 | 1877 298711 1313786 | 2147483647 807910 107 | 0.000 % |
3656.83/3658.57 c | 808360 | 1877 298711 1313786 | 2147483647 808360 107 | 0.000 % |
3659.03/3660.78 c | 808855 | 1877 298711 1313786 | 2147483647 808855 107 | 0.000 % |
3663.63/3665.32 c | 809397 | 1877 298711 1313786 | 2147483647 809397 107 | 0.000 % |
3671.13/3672.84 c | 809994 | 1877 298711 1313786 | 2147483647 809994 107 | 0.000 % |
3678.43/3680.18 c | 810653 | 1877 298711 1313786 | 2147483647 810653 107 | 0.000 % |
3682.03/3683.77 c | 811373 | 1877 298711 1313786 | 2147483647 811373 107 | 0.000 % |
3687.23/3688.92 c | 812165 | 1877 298711 1313786 | 2147483647 812165 107 | 0.000 % |
3694.73/3696.44 c | 813036 | 1877 298711 1313786 | 2147483647 813036 107 | 0.000 % |
3700.82/3702.51 c | 813996 | 1877 298711 1313786 | 2147483647 813996 107 | 0.000 % |
3710.11/3711.83 c | 815051 | 1877 298711 1313786 | 2147483647 815051 107 | 0.000 % |
3725.70/3727.44 c | 816209 | 1877 298711 1313786 | 2147483647 816209 107 | 0.000 % |
3737.30/3739.06 c | 817482 | 1877 298711 1313786 | 2147483647 817482 107 | 0.000 % |
3748.09/3749.90 c | 818884 | 1877 298711 1313786 | 2147483647 818884 107 | 0.000 % |
3756.69/3758.44 c | 820425 | 1877 298711 1313786 | 2147483647 820425 107 | 0.000 % |
3775.18/3776.94 c | 822119 | 1877 298711 1313786 | 2147483647 822119 107 | 0.000 % |
3791.77/3793.58 c | 823982 | 1877 298711 1313786 | 2147483647 823982 107 | 0.000 % |
3803.76/3805.50 c | 826032 | 1877 298711 1313786 | 2147483647 826032 107 | 0.000 % |
3822.06/3823.89 c | 828285 | 1877 298711 1313786 | 2147483647 828285 107 | 0.000 % |
3835.04/3836.88 c | 830766 | 1877 298711 1313786 | 2147483647 830766 107 | 0.000 % |
3854.44/3856.25 c | 833494 | 1877 298711 1313786 | 2147483647 833494 107 | 0.000 % |
3871.34/3873.16 c | 836491 | 1877 298711 1313786 | 2147483647 836491 107 | 0.000 % |
3884.53/3886.38 c | 839787 | 1877 298711 1313786 | 2147483647 839787 107 | 0.000 % |
3895.52/3897.35 c | 843412 | 1877 298711 1313786 | 2147483647 843412 107 | 0.000 % |
3907.12/3908.98 c | 847399 | 1877 298711 1313786 | 2147483647 847399 107 | 0.000 % |
3922.31/3924.17 c | 851784 | 1877 298711 1313786 | 2147483647 851784 106 | 0.000 % |
3937.41/3939.21 c | 856610 | 1877 298711 1313786 | 2147483647 856610 106 | 0.000 % |
3955.20/3957.04 c | 861916 | 1877 298711 1313786 | 2147483647 861916 106 | 0.000 % |
3980.29/3982.12 c | 867752 | 1877 298711 1313786 | 2147483647 867752 106 | 0.000 % |
4006.19/4008.06 c | 874172 | 1877 298711 1313786 | 2147483647 874172 106 | 0.000 % |
4035.37/4037.26 c | 881231 | 1877 298711 1313786 | 2147483647 881231 105 | 0.000 % |
4066.25/4068.14 c | 888996 | 1877 298711 1313786 | 2147483647 888996 105 | 0.000 % |
4066.65/4068.54 c | 889097 | 1877 298711 1313786 | 2147483647 889097 105 | 0.000 % |
4068.15/4070.08 c | 889207 | 1877 298711 1313786 | 2147483647 889207 105 | 0.000 % |
4069.55/4071.43 c | 889329 | 1877 298711 1313786 | 2147483647 889329 105 | 0.000 % |
4070.95/4072.84 c | 889462 | 1877 298711 1313786 | 2147483647 889462 105 | 0.000 % |
4072.05/4073.99 c | 889609 | 1877 298711 1313786 | 2147483647 889609 105 | 0.000 % |
4073.74/4075.60 c | 889769 | 1877 298711 1313786 | 2147483647 889769 105 | 0.000 % |
4076.24/4078.12 c | 889945 | 1877 298711 1313786 | 2147483647 889945 105 | 0.000 % |
4078.14/4080.03 c | 890139 | 1877 298711 1313786 | 2147483647 890139 105 | 0.000 % |
4080.74/4082.69 c | 890351 | 1877 298711 1313786 | 2147483647 890351 105 | 0.000 % |
4084.14/4086.03 c | 890585 | 1877 298711 1313786 | 2147483647 890585 105 | 0.000 % |
4086.64/4088.50 c | 890841 | 1877 298711 1313786 | 2147483647 890841 105 | 0.000 % |
4090.34/4092.26 c | 891124 | 1877 298711 1313786 | 2147483647 891124 105 | 0.000 % |
4094.44/4096.34 c | 891435 | 1877 298711 1313786 | 2147483647 891435 105 | 0.000 % |
4097.44/4099.33 c | 891774 | 1877 298711 1313786 | 2147483647 891774 105 | 0.000 % |
4102.83/4104.76 c | 892146 | 1877 298711 1313786 | 2147483647 892146 105 | 0.000 % |
4107.43/4109.31 c | 892556 | 1877 298711 1313786 | 2147483647 892556 105 | 0.000 % |
4111.52/4113.48 c | 893005 | 1877 298711 1313786 | 2147483647 893005 105 | 0.000 % |
4115.62/4117.54 c | 893499 | 1877 298711 1313786 | 2147483647 893499 105 | 0.000 % |
4121.82/4123.73 c | 894041 | 1877 298711 1313786 | 2147483647 894041 105 | 0.000 % |
4126.13/4128.07 c | 894638 | 1877 298711 1313786 | 2147483647 894638 105 | 0.000 % |
4131.63/4133.53 c | 895293 | 1877 298711 1313786 | 2147483647 895293 105 | 0.000 % |
4138.02/4139.97 c | 896015 | 1877 298711 1313786 | 2147483647 896015 105 | 0.000 % |
4144.82/4146.77 c | 896808 | 1877 298711 1313786 | 2147483647 896808 105 | 0.000 % |
4151.31/4153.26 c | 897680 | 1877 298711 1313786 | 2147483647 897680 105 | 0.000 % |
4161.80/4163.73 c | 898639 | 1877 298711 1313786 | 2147483647 898639 105 | 0.000 % |
4172.40/4174.31 c | 899696 | 1877 298711 1313786 | 2147483647 899696 105 | 0.000 % |
4185.30/4187.26 c | 900856 | 1877 298711 1313786 | 2147483647 900856 105 | 0.000 % |
4202.98/4204.92 c | 902132 | 1877 298711 1313786 | 2147483647 902132 105 | 0.000 % |
4213.38/4215.30 c | 903535 | 1877 298711 1313786 | 2147483647 903535 105 | 0.000 % |
4224.78/4226.70 c | 905076 | 1877 298711 1313786 | 2147483647 905076 105 | 0.000 % |
4232.87/4234.87 c | 906770 | 1877 298711 1313786 | 2147483647 906770 105 | 0.000 % |
4243.16/4245.17 c | 908633 | 1877 298711 1313786 | 2147483647 908633 105 | 0.000 % |
4255.66/4257.68 c | 910682 | 1877 298711 1313786 | 910000 910682 105 | 0.000 % |
4270.76/4272.70 c | 912935 | 1877 298711 1313786 | 910000 815187 105 | 0.000 % |
4284.45/4286.42 c | 915413 | 1877 298711 1313786 | 910000 817665 105 | 0.000 % |
4295.65/4297.66 c | 918138 | 1877 298711 1313786 | 910000 820390 105 | 0.000 % |
4306.34/4308.30 c | 921135 | 1877 298711 1313786 | 2147483647 823387 105 | 0.000 % |
4320.34/4322.38 c | 924433 | 1877 298711 1313786 | 2147483647 826685 105 | 0.000 % |
4333.83/4335.84 c | 928058 | 1877 298711 1313786 | 2147483647 830310 105 | 0.000 % |
4367.22/4369.29 c | 932046 | 1877 298711 1313786 | 2147483647 834298 105 | 0.000 % |
4418.79/4420.80 c | 936431 | 1877 298711 1313786 | 2147483647 838683 105 | 0.000 % |
4448.77/4450.89 c | 941256 | 1877 298711 1313786 | 2147483647 843508 105 | 0.000 % |
4486.75/4488.81 c | 946561 | 1877 298711 1313786 | 2147483647 848813 105 | 0.000 % |
4522.14/4524.26 c | 952398 | 1877 298711 1313786 | 2147483647 854650 105 | 0.000 % |
4577.61/4579.79 c | 958819 | 1877 298711 1313786 | 2147483647 861071 105 | 0.000 % |
4646.17/4648.38 c | 965879 | 1877 298711 1313786 | 2147483647 868131 105 | 0.000 % |
4687.75/4689.90 c | 973643 | 1877 298711 1313786 | 2147483647 875895 105 | 0.000 % |
4747.63/4749.83 c | 982183 | 1877 298711 1313786 | 2147483647 884435 105 | 0.000 % |
4748.73/4750.94 c | 982285 | 1877 298711 1313786 | 2147483647 884537 105 | 0.000 % |
4749.92/4752.15 c | 982398 | 1877 298711 1313786 | 2147483647 884650 105 | 0.000 % |
4750.83/4753.02 c | 982519 | 1877 298711 1313786 | 2147483647 884771 105 | 0.000 % |
4752.12/4754.31 c | 982652 | 1877 298711 1313786 | 2147483647 884904 105 | 0.000 % |
4754.52/4756.73 c | 982804 | 1877 298711 1313786 | 2147483647 885056 105 | 0.000 % |
4755.62/4757.86 c | 982965 | 1877 298711 1313786 | 2147483647 885217 105 | 0.000 % |
4757.52/4759.80 c | 983141 | 1877 298711 1313786 | 2147483647 885393 105 | 0.000 % |
4759.32/4761.58 c | 983334 | 1877 298711 1313786 | 2147483647 885586 105 | 0.000 % |
4762.72/4764.98 c | 983546 | 1877 298711 1313786 | 2147483647 885798 105 | 0.000 % |
4765.82/4768.09 c | 983779 | 1877 298711 1313786 | 2147483647 886031 105 | 0.000 % |
4768.21/4770.45 c | 984036 | 1877 298711 1313786 | 2147483647 886288 105 | 0.000 % |
4770.31/4772.54 c | 984318 | 1877 298711 1313786 | 2147483647 886570 105 | 0.000 % |
4774.11/4776.36 c | 984628 | 1877 298711 1313786 | 2147483647 886880 105 | 0.000 % |
4777.91/4780.18 c | 984967 | 1877 298711 1313786 | 2147483647 887219 105 | 0.000 % |
4780.51/4782.76 c | 985341 | 1877 298711 1313786 | 2147483647 887593 105 | 0.000 % |
4786.21/4788.45 c | 985752 | 1877 298711 1313786 | 2147483647 888004 105 | 0.000 % |
4790.51/4792.79 c | 986201 | 1877 298711 1313786 | 2147483647 888453 105 | 0.000 % |
4793.60/4795.87 c | 986694 | 1877 298711 1313786 | 2147483647 888946 105 | 0.000 % |
4797.70/4799.90 c | 987236 | 1877 298711 1313786 | 2147483647 889488 105 | 0.000 % |
4802.00/4804.29 c | 987832 | 1877 298711 1313786 | 2147483647 890084 105 | 0.000 % |
4809.30/4811.51 c | 988489 | 1877 298711 1313786 | 2147483647 890741 105 | 0.000 % |
4819.19/4821.46 c | 989209 | 1877 298711 1313786 | 2147483647 891461 105 | 0.000 % |
4824.59/4826.80 c | 990001 | 1877 298711 1313786 | 2147483647 892253 105 | 0.000 % |
4836.68/4838.98 c | 990874 | 1877 298711 1313786 | 892253 794640 104 | 0.000 % |
4844.98/4847.29 c | 991833 | 1877 298711 1313786 | 892253 795599 104 | 0.000 % |
4856.77/4859.07 c | 992886 | 1877 298711 1313786 | 892253 796652 104 | 0.000 % |
4867.47/4869.74 c | 994046 | 1877 298711 1313786 | 892253 797812 104 | 0.000 % |
4880.56/4882.83 c | 995321 | 1877 298711 1313786 | 892253 799087 104 | 0.000 % |
4892.06/4894.34 c | 996724 | 1877 298711 1313786 | 892253 800490 104 | 0.000 % |
4903.66/4905.99 c | 998264 | 1877 298711 1313786 | 892253 802030 104 | 0.000 % |
4925.64/4927.99 c | 999960 | 1877 298711 1313786 | 892253 803726 104 | 0.000 % |
4935.73/4938.09 c | 1001823 | 1877 298711 1313786 | 2147483647 805589 104 | 0.000 % |
4954.73/4957.00 c | 1003872 | 1877 298711 1313786 | 2147483647 807638 104 | 0.000 % |
4965.22/4967.52 c | 1006125 | 1877 298711 1313786 | 2147483647 809891 104 | 0.000 % |
4986.51/4988.81 c | 1008603 | 1877 298711 1313786 | 2147483647 812369 104 | 0.000 % |
5008.60/5010.94 c | 1011328 | 1877 298711 1313786 | 2147483647 815094 104 | 0.000 % |
5021.09/5023.43 c | 1014326 | 1877 298711 1313786 | 2147483647 818092 104 | 0.000 % |
5041.09/5043.46 c | 1017624 | 1877 298711 1313786 | 2147483647 821390 104 | 0.000 % |
5061.17/5063.56 c | 1021253 | 1877 298711 1313786 | 2147483647 825019 104 | 0.000 % |
5080.97/5083.39 c | 1025241 | 1877 298711 1313786 | 2147483647 829007 105 | 0.000 % |
5112.05/5114.48 c | 1029626 | 1877 298711 1313786 | 2147483647 833392 105 | 0.000 % |
5142.64/5145.04 c | 1034451 | 1877 298711 1313786 | 2147483647 838217 105 | 0.000 % |
5168.64/5171.04 c | 1039756 | 1877 298711 1313786 | 2147483647 843522 105 | 0.000 % |
5199.52/5201.90 c | 1045594 | 1877 298711 1313786 | 2147483647 849360 105 | 0.000 % |
5227.71/5230.11 c | 1052012 | 1877 298711 1313786 | 2147483647 855778 105 | 0.000 % |
5253.60/5256.01 c | 1059071 | 1877 298711 1313786 | 2147483647 862837 105 | 0.000 % |
5284.58/5287.00 c | 1066837 | 1877 298711 1313786 | 2147483647 870603 105 | 0.000 % |
5310.17/5312.63 c | 1075377 | 1877 298711 1313786 | 2147483647 879143 106 | 0.000 % |
5366.94/5369.44 c | 1084771 | 1877 298711 1313786 | 2147483647 888537 106 | 0.000 % |
5367.94/5370.48 c | 1084871 | 1877 298711 1313786 | 2147483647 888637 106 | 0.000 % |
5368.64/5371.20 c | 1084984 | 1877 298711 1313786 | 2147483647 888750 106 | 0.000 % |
5369.34/5371.88 c | 1085105 | 1877 298711 1313786 | 2147483647 888871 106 | 0.000 % |
5370.04/5372.59 c | 1085241 | 1877 298711 1313786 | 2147483647 889007 106 | 0.000 % |
5371.05/5373.53 c | 1085387 | 1877 298711 1313786 | 2147483647 889153 106 | 0.000 % |
5371.85/5374.32 c | 1085547 | 1877 298711 1313786 | 2147483647 889313 106 | 0.000 % |
5372.84/5375.32 c | 1085723 | 1877 298711 1313786 | 2147483647 889489 106 | 0.000 % |
5374.04/5376.51 c | 1085916 | 1877 298711 1313786 | 2147483647 889682 106 | 0.000 % |
5375.35/5377.80 c | 1086128 | 1877 298711 1313786 | 2147483647 889894 106 | 0.000 % |
5376.64/5379.15 c | 1086361 | 1877 298711 1313786 | 2147483647 890127 106 | 0.000 % |
5378.14/5380.64 c | 1086617 | 1877 298711 1313786 | 2147483647 890383 106 | 0.000 % |
5379.24/5381.77 c | 1086899 | 1877 298711 1313786 | 2147483647 890665 106 | 0.000 % |
5380.84/5383.35 c | 1087211 | 1877 298711 1313786 | 2147483647 890977 106 | 0.000 % |
5382.34/5384.86 c | 1087550 | 1877 298711 1313786 | 2147483647 891316 106 | 0.000 % |
5384.34/5386.84 c | 1087925 | 1877 298711 1313786 | 2147483647 891691 106 | 0.000 % |
5386.24/5388.71 c | 1088338 | 1877 298711 1313786 | 2147483647 892104 106 | 0.000 % |
5388.34/5390.88 c | 1088787 | 1877 298711 1313786 | 2147483647 892553 106 | 0.000 % |
5391.04/5393.55 c | 1089282 | 1877 298711 1313786 | 2147483647 893048 106 | 0.000 % |
5393.84/5396.36 c | 1089824 | 1877 298711 1313786 | 2147483647 893590 106 | 0.000 % |
5396.64/5399.10 c | 1090420 | 1877 298711 1313786 | 2147483647 894186 106 | 0.000 % |
5399.83/5402.34 c | 1091076 | 1877 298711 1313786 | 2147483647 894842 106 | 0.000 % |
5403.73/5406.28 c | 1091796 | 1877 298711 1313786 | 2147483647 895562 106 | 0.000 % |
5407.63/5410.19 c | 1092588 | 1877 298711 1313786 | 2147483647 896354 106 | 0.000 % |
5412.13/5414.61 c | 1093460 | 1877 298711 1313786 | 2147483647 897226 106 | 0.000 % |
5418.12/5420.68 c | 1094419 | 1877 298711 1313786 | 2147483647 898185 106 | 0.000 % |
5422.82/5425.31 c | 1095473 | 1877 298711 1313786 | 2147483647 899239 106 | 0.000 % |
5426.92/5429.46 c | 1096632 | 1877 298711 1313786 | 2147483647 900398 106 | 0.000 % |
5433.11/5435.67 c | 1097906 | 1877 298711 1313786 | 2147483647 901672 106 | 0.000 % |
5440.42/5442.97 c | 1099307 | 1877 298711 1313786 | 2147483647 903073 106 | 0.000 % |
5449.02/5451.59 c | 1100847 | 1877 298711 1313786 | 2147483647 904613 106 | 0.000 % |
5457.40/5459.99 c | 1102541 | 1877 298711 1313786 | 2147483647 906307 106 | 0.000 % |
5472.49/5475.03 c | 1104407 | 1877 298711 1313786 | 2147483647 908173 106 | 0.000 % |
5489.49/5492.01 c | 1106458 | 1877 298711 1313786 | 2147483647 910224 106 | 0.000 % |
5503.58/5506.15 c | 1108711 | 1877 298711 1313786 | 2147483647 912477 106 | 0.000 % |
5535.67/5538.24 c | 1111189 | 1877 298711 1313786 | 2147483647 914955 106 | 0.000 % |
5560.65/5563.29 c | 1113914 | 1877 298711 1313786 | 2147483647 917680 106 | 0.000 % |
5587.93/5590.50 c | 1116911 | 1877 298711 1313786 | 2147483647 920677 106 | 0.000 % |
5607.13/5609.79 c | 1120207 | 1877 298711 1313786 | 2147483647 923973 106 | 0.000 % |
5629.83/5632.44 c | 1123833 | 1877 298711 1313786 | 2147483647 927599 106 | 0.000 % |
5651.21/5653.83 c | 1127820 | 1877 298711 1313786 | 2147483647 931586 106 | 0.000 % |
5670.20/5672.83 c | 1132207 | 1877 298711 1313786 | 2147483647 935973 106 | 0.000 % |
5685.69/5688.35 c | 1137030 | 1877 298711 1313786 | 2147483647 940796 106 | 0.000 % |
5719.28/5721.92 c | 1142335 | 1877 298711 1313786 | 2147483647 946101 106 | 0.000 % |
5739.38/5742.05 c | 1148170 | 1877 298711 1313786 | 2147483647 951936 106 | 0.000 % |
5775.45/5778.18 c | 1154589 | 1877 298711 1313786 | 2147483647 958355 106 | 0.000 % |
5819.14/5821.82 c | 1161648 | 1877 298711 1313786 | 963767 771365 106 | 0.000 % |
5884.42/5887.17 c | 1169413 | 1877 298711 1313786 | 963767 779130 106 | 0.000 % |
5958.48/5961.28 c | 1177956 | 1877 298711 1313786 | 2147483647 787673 106 | 0.000 % |
6011.85/6014.68 c | 1187350 | 1877 298711 1313786 | 2147483647 797067 106 | 0.000 % |
6088.22/6091.09 c | 1197684 | 1877 298711 1313786 | 2147483647 807401 105 | 0.000 % |
6089.02/6091.88 c | 1197784 | 1877 298711 1313786 | 2147483647 807501 105 | 0.000 % |
6090.12/6092.94 c | 1197894 | 1877 298711 1313786 | 2147483647 807611 105 | 0.000 % |
6091.62/6094.48 c | 1198017 | 1877 298711 1313786 | 2147483647 807734 105 | 0.000 % |
6093.72/6096.54 c | 1198153 | 1877 298711 1313786 | 2147483647 807870 105 | 0.000 % |
6095.02/6097.88 c | 1198299 | 1877 298711 1313786 | 2147483647 808016 105 | 0.000 % |
6097.82/6100.68 c | 1198460 | 1877 298711 1313786 | 2147483647 808177 105 | 0.000 % |
6099.81/6102.63 c | 1198636 | 1877 298711 1313786 | 2147483647 808353 105 | 0.000 % |
6102.41/6105.30 c | 1198829 | 1877 298711 1313786 | 2147483647 808546 105 | 0.000 % |
6104.81/6107.69 c | 1199043 | 1877 298711 1313786 | 2147483647 808760 105 | 0.000 % |
6107.61/6110.49 c | 1199278 | 1877 298711 1313786 | 2147483647 808995 105 | 0.000 % |
6109.41/6112.22 c | 1199535 | 1877 298711 1313786 | 2147483647 809252 105 | 0.000 % |
6111.91/6114.73 c | 1199818 | 1877 298711 1313786 | 2147483647 809535 105 | 0.000 % |
6113.71/6116.58 c | 1200127 | 1877 298711 1313786 | 2147483647 809844 105 | 0.000 % |
6117.41/6120.21 c | 1200467 | 1877 298711 1313786 | 2147483647 810184 105 | 0.000 % |
6121.11/6123.93 c | 1200840 | 1877 298711 1313786 | 2147483647 810557 105 | 0.000 % |
6124.61/6127.44 c | 1201249 | 1877 298711 1313786 | 2147483647 810966 105 | 0.000 % |
6128.51/6131.32 c | 1201699 | 1877 298711 1313786 | 2147483647 811416 105 | 0.000 % |
6132.91/6135.72 c | 1202193 | 1877 298711 1313786 | 2147483647 811910 105 | 0.000 % |
6138.40/6141.23 c | 1202739 | 1877 298711 1313786 | 2147483647 812456 105 | 0.000 % |
6144.10/6146.93 c | 1203335 | 1877 298711 1313786 | 2147483647 813052 105 | 0.000 % |
6149.99/6152.85 c | 1203990 | 1877 298711 1313786 | 2147483647 813707 105 | 0.000 % |
6153.90/6156.74 c | 1204712 | 1877 298711 1313786 | 2147483647 814429 105 | 0.000 % |
6157.49/6160.38 c | 1205504 | 1877 298711 1313786 | 2147483647 815221 105 | 0.000 % |
6162.49/6165.34 c | 1206377 | 1877 298711 1313786 | 2147483647 816094 105 | 0.000 % |
6172.38/6175.25 c | 1207336 | 1877 298711 1313786 | 2147483647 817053 105 | 0.000 % |
6182.38/6185.22 c | 1208389 | 1877 298711 1313786 | 2147483647 818106 105 | 0.000 % |
6193.57/6196.42 c | 1209548 | 1877 298711 1313786 | 2147483647 819265 105 | 0.000 % |
6203.17/6206.03 c | 1210822 | 1877 298711 1313786 | 2147483647 820539 105 | 0.000 % |
6211.17/6214.02 c | 1212224 | 1877 298711 1313786 | 2147483647 821941 105 | 0.000 % |
6221.76/6224.67 c | 1213765 | 1877 298711 1313786 | 2147483647 823482 106 | 0.000 % |
6234.66/6237.52 c | 1215459 | 1877 298711 1313786 | 2147483647 825176 106 | 0.000 % |
6261.45/6264.38 c | 1217322 | 1877 298711 1313786 | 2147483647 827039 106 | 0.000 % |
6287.94/6290.84 c | 1219372 | 1877 298711 1313786 | 2147483647 829089 106 | 0.000 % |
6302.53/6305.43 c | 1221625 | 1877 298711 1313786 | 2147483647 831342 106 | 0.000 % |
6317.22/6320.18 c | 1224103 | 1877 298711 1313786 | 2147483647 833820 106 | 0.000 % |
6335.12/6338.05 c | 1226830 | 1877 298711 1313786 | 2147483647 836547 106 | 0.000 % |
6361.41/6364.31 c | 1229830 | 1877 298711 1313786 | 2147483647 839547 106 | 0.000 % |
6392.00/6394.97 c | 1233127 | 1877 298711 1313786 | 839718 737921 105 | 0.000 % |
6425.08/6428.09 c | 1236752 | 1877 298711 1313786 | 839718 741546 105 | 0.000 % |
6464.27/6467.26 c | 1240739 | 1877 298711 1313786 | 2147483647 745533 105 | 0.000 % |
6505.45/6508.46 c | 1245125 | 1877 298711 1313786 | 2147483647 749919 105 | 0.000 % |
6541.63/6544.62 c | 1249949 | 1877 298711 1313786 | 2147483647 754743 104 | 0.000 % |
6579.82/6582.84 c | 1255257 | 1877 298711 1313786 | 2147483647 760051 104 | 0.000 % |
6624.50/6627.50 c | 1261092 | 1877 298711 1313786 | 2147483647 765886 104 | 0.000 % |
6679.38/6682.41 c | 1267510 | 1877 298711 1313786 | 2147483647 772304 104 | 0.000 % |
6715.35/6718.49 c | 1274569 | 1877 298711 1313786 | 2147483647 779363 104 | 0.000 % |
6775.83/6778.94 c | 1282334 | 1877 298711 1313786 | 2147483647 787128 104 | 0.000 % |
6832.98/6836.18 c | 1290875 | 1877 298711 1313786 | 794794 695876 104 | 0.000 % |
6882.46/6885.62 c | 1300269 | 1877 298711 1313786 | 2147483647 705270 104 | 0.000 % |
6955.73/6958.98 c | 1310603 | 1877 298711 1313786 | 2147483647 715604 104 | 0.000 % |
6997.60/7000.84 c | 1321969 | 1877 298711 1313786 | 2147483647 726970 104 | 0.000 % |
6998.70/7001.97 c | 1322069 | 1877 298711 1313786 | 2147483647 727070 104 | 0.000 % |
6999.60/7002.84 c | 1322180 | 1877 298711 1313786 | 2147483647 727181 104 | 0.000 % |
7000.41/7003.66 c | 1322302 | 1877 298711 1313786 | 2147483647 727303 104 | 0.000 % |
7001.40/7004.69 c | 1322436 | 1877 298711 1313786 | 2147483647 727437 104 | 0.000 % |
7003.10/7006.38 c | 1322584 | 1877 298711 1313786 | 2147483647 727585 104 | 0.000 % |
7005.10/7008.31 c | 1322744 | 1877 298711 1313786 | 2147483647 727745 104 | 0.000 % |
7006.40/7009.62 c | 1322923 | 1877 298711 1313786 | 2147483647 727924 104 | 0.000 % |
7007.30/7010.59 c | 1323116 | 1877 298711 1313786 | 2147483647 728117 104 | 0.000 % |
7009.01/7012.21 c | 1323328 | 1877 298711 1313786 | 2147483647 728329 104 | 0.000 % |
7011.11/7014.38 c | 1323563 | 1877 298711 1313786 | 2147483647 728564 104 | 0.000 % |
7014.01/7017.21 c | 1323822 | 1877 298711 1313786 | 2147483647 728823 104 | 0.000 % |
7017.51/7020.76 c | 1324103 | 1877 298711 1313786 | 2147483647 729104 104 | 0.000 % |
7020.81/7024.00 c | 1324412 | 1877 298711 1313786 | 2147483647 729413 104 | 0.000 % |
7023.61/7026.86 c | 1324752 | 1877 298711 1313786 | 2147483647 729753 104 | 0.000 % |
7026.80/7030.04 c | 1325124 | 1877 298711 1313786 | 2147483647 730125 104 | 0.000 % |
7030.30/7033.56 c | 1325535 | 1877 298711 1313786 | 2147483647 730536 104 | 0.000 % |
7033.50/7036.70 c | 1325984 | 1877 298711 1313786 | 2147483647 730985 104 | 0.000 % |
7036.80/7040.08 c | 1326477 | 1877 298711 1313786 | 2147483647 731478 104 | 0.000 % |
7041.29/7044.58 c | 1327020 | 1877 298711 1313786 | 2147483647 732021 104 | 0.000 % |
7046.19/7049.45 c | 1327618 | 1877 298711 1313786 | 2147483647 732619 104 | 0.000 % |
7050.79/7054.03 c | 1328274 | 1877 298711 1313786 | 2147483647 733275 104 | 0.000 % |
7054.89/7058.15 c | 1328997 | 1877 298711 1313786 | 2147483647 733998 104 | 0.000 % |
7059.89/7063.17 c | 1329789 | 1877 298711 1313786 | 2147483647 734790 104 | 0.000 % |
7068.49/7071.79 c | 1330662 | 1877 298711 1313786 | 2147483647 735663 104 | 0.000 % |
7075.77/7079.07 c | 1331622 | 1877 298711 1313786 | 2147483647 736623 104 | 0.000 % |
7081.78/7085.01 c | 1332676 | 1877 298711 1313786 | 2147483647 737677 104 | 0.000 % |
7089.87/7093.11 c | 1333834 | 1877 298711 1313786 | 2147483647 738835 104 | 0.000 % |
7098.57/7101.84 c | 1335107 | 1877 298711 1313786 | 2147483647 740108 104 | 0.000 % |
7105.46/7108.71 c | 1336507 | 1877 298711 1313786 | 2147483647 741508 104 | 0.000 % |
7121.35/7124.62 c | 1338049 | 1877 298711 1313786 | 2147483647 743050 104 | 0.000 % |
7136.64/7139.93 c | 1339743 | 1877 298711 1313786 | 2147483647 744744 104 | 0.000 % |
7152.64/7155.97 c | 1341609 | 1877 298711 1313786 | 2147483647 746610 104 | 0.000 % |
7167.43/7170.74 c | 1343659 | 1877 298711 1313786 | 2147483647 748660 104 | 0.000 % |
7188.32/7191.64 c | 1345912 | 1877 298711 1313786 | 2147483647 750913 104 | 0.000 % |
7212.01/7215.35 c | 1348390 | 1877 298711 1313786 | 2147483647 753391 104 | 0.000 % |
7231.20/7234.56 c | 1351115 | 1877 298711 1313786 | 2147483647 756116 104 | 0.000 % |
7256.99/7260.33 c | 1354113 | 1877 298711 1313786 | 2147483647 759114 104 | 0.000 % |
7278.79/7282.18 c | 1357411 | 1877 298711 1313786 | 2147483647 762412 104 | 0.000 % |
7296.88/7300.22 c | 1361036 | 1877 298711 1313786 | 2147483647 766037 104 | 0.000 % |
7335.36/7338.74 c | 1365023 | 1877 298711 1313786 | 2147483647 770024 104 | 0.000 % |
7384.15/7387.54 c | 1369409 | 1877 298711 1313786 | 2147483647 774410 104 | 0.000 % |
7426.12/7429.51 c | 1374235 | 1877 298711 1313786 | 2147483647 779236 104 | 0.000 % |
7474.71/7478.16 c | 1379540 | 1877 298711 1313786 | 2147483647 784541 104 | 0.000 % |
7516.19/7519.69 c | 1385380 | 1877 298711 1313786 | 2147483647 790381 104 | 0.000 % |
7580.55/7584.01 c | 1391799 | 1877 298711 1313786 | 2147483647 796800 104 | 0.000 % |
7642.43/7645.92 c | 1398860 | 1877 298711 1313786 | 2147483647 803861 104 | 0.000 % |
7703.80/7707.39 c | 1406627 | 1877 298711 1313786 | 2147483647 811628 104 | 0.000 % |
7770.67/7774.22 c | 1415169 | 1877 298711 1313786 | 2147483647 820170 103 | 0.000 % |
7830.25/7833.86 c | 1424563 | 1877 298711 1313786 | 2147483647 829564 103 | 0.000 % |
7895.52/7899.13 c | 1434900 | 1877 298711 1313786 | 2147483647 839901 104 | 0.000 % |
7972.58/7976.20 c | 1446266 | 1877 298711 1313786 | 2147483647 851267 104 | 0.000 % |
8051.75/8055.44 c | 1458770 | 1877 298711 1313786 | 2147483647 863771 104 | 0.000 % |
8052.35/8056.06 c | 1458872 | 1877 298711 1313786 | 2147483647 863873 104 | 0.000 % |
8053.05/8056.78 c | 1458982 | 1877 298711 1313786 | 2147483647 863983 104 | 0.000 % |
8054.95/8058.63 c | 1459105 | 1877 298711 1313786 | 2147483647 864106 104 | 0.000 % |
8057.25/8060.93 c | 1459240 | 1877 298711 1313786 | 2147483647 864241 104 | 0.000 % |
8058.54/8062.27 c | 1459387 | 1877 298711 1313786 | 2147483647 864388 104 | 0.000 % |
8060.74/8064.41 c | 1459547 | 1877 298711 1313786 | 2147483647 864548 104 | 0.000 % |
8063.34/8067.06 c | 1459726 | 1877 298711 1313786 | 2147483647 864727 104 | 0.000 % |
8064.94/8068.62 c | 1459919 | 1877 298711 1313786 | 2147483647 864920 104 | 0.000 % |
8067.13/8070.80 c | 1460131 | 1877 298711 1313786 | 2147483647 865132 104 | 0.000 % |
8069.83/8073.51 c | 1460364 | 1877 298711 1313786 | 2147483647 865365 104 | 0.000 % |
8072.13/8075.88 c | 1460623 | 1877 298711 1313786 | 2147483647 865624 104 | 0.000 % |
8074.64/8078.36 c | 1460905 | 1877 298711 1313786 | 2147483647 865906 104 | 0.000 % |
8076.73/8080.47 c | 1461215 | 1877 298711 1313786 | 2147483647 866216 104 | 0.000 % |
8081.03/8084.79 c | 1461555 | 1877 298711 1313786 | 2147483647 866556 104 | 0.000 % |
8087.43/8091.16 c | 1461927 | 1877 298711 1313786 | 2147483647 866928 104 | 0.000 % |
8093.83/8097.50 c | 1462337 | 1877 298711 1313786 | 2147483647 867338 104 | 0.000 % |
8099.03/8102.73 c | 1462787 | 1877 298711 1313786 | 2147483647 867788 104 | 0.000 % |
8103.33/8107.08 c | 1463280 | 1877 298711 1313786 | 2147483647 868281 104 | 0.000 % |
8109.31/8113.09 c | 1463822 | 1877 298711 1313786 | 2147483647 868823 104 | 0.000 % |
8112.21/8115.91 c | 1464420 | 1877 298711 1313786 | 2147483647 869421 104 | 0.000 % |
8117.41/8121.15 c | 1465075 | 1877 298711 1313786 | 2147483647 870076 104 | 0.000 % |
8123.21/8126.95 c | 1465796 | 1877 298711 1313786 | 2147483647 870797 104 | 0.000 % |
8129.51/8133.27 c | 1466588 | 1877 298711 1313786 | 2147483647 871589 104 | 0.000 % |
8138.51/8142.24 c | 1467461 | 1877 298711 1313786 | 2147483647 872462 104 | 0.000 % |
8146.70/8150.45 c | 1468419 | 1877 298711 1313786 | 2147483647 873420 104 | 0.000 % |
8157.00/8160.73 c | 1469472 | 1877 298711 1313786 | 2147483647 874473 104 | 0.000 % |
8167.49/8171.29 c | 1470632 | 1877 298711 1313786 | 2147483647 875633 104 | 0.000 % |
8179.29/8183.09 c | 1471905 | 1877 298711 1313786 | 2147483647 876906 104 | 0.000 % |
8187.69/8191.47 c | 1473306 | 1877 298711 1313786 | 2147483647 878307 104 | 0.000 % |
8204.87/8208.60 c | 1474847 | 1877 298711 1313786 | 2147483647 879848 104 | 0.000 % |
8220.27/8224.00 c | 1476542 | 1877 298711 1313786 | 2147483647 881543 104 | 0.000 % |
8232.16/8235.90 c | 1478405 | 1877 298711 1313786 | 2147483647 883406 104 | 0.000 % |
8257.55/8261.32 c | 1480454 | 1877 298711 1313786 | 2147483647 885455 104 | 0.000 % |
8284.85/8288.60 c | 1482709 | 1877 298711 1313786 | 2147483647 887710 104 | 0.000 % |
8305.24/8309.09 c | 1485188 | 1877 298711 1313786 | 2147483647 890189 104 | 0.000 % |
8334.42/8338.26 c | 1487914 | 1877 298711 1313786 | 2147483647 892915 104 | 0.000 % |
8368.91/8372.79 c | 1490915 | 1877 298711 1313786 | 2147483647 895916 103 | 0.000 % |
8406.39/8410.27 c | 1494212 | 1877 298711 1313786 | 2147483647 899213 103 | 0.000 % |
8426.47/8430.38 c | 1497838 | 1877 298711 1313786 | 2147483647 902839 103 | 0.000 % |
8448.86/8452.72 c | 1501826 | 1877 298711 1313786 | 2147483647 906827 103 | 0.000 % |
8504.43/8508.38 c | 1506211 | 1877 298711 1313786 | 2147483647 911212 103 | 0.000 % |
8557.32/8561.28 c | 1511034 | 1877 298711 1313786 | 2147483647 916035 103 | 0.000 % |
8593.80/8597.72 c | 1516339 | 1877 298711 1313786 | 2147483647 921340 103 | 0.000 % |
8630.78/8634.73 c | 1522175 | 1877 298711 1313786 | 925001 790543 103 | 0.000 % |
8681.46/8685.42 c | 1528593 | 1877 298711 1313786 | 925001 796961 103 | 0.000 % |
8728.34/8732.31 c | 1535656 | 1877 298711 1313786 | 2147483647 804024 104 | 0.000 % |
8797.71/8801.70 c | 1543422 | 1877 298711 1313786 | 2147483647 811790 104 | 0.000 % |
8874.77/8878.81 c | 1551965 | 1877 298711 1313786 | 2147483647 820333 104 | 0.000 % |
8918.44/8922.55 c | 1561361 | 1877 298711 1313786 | 2147483647 829729 104 | 0.000 % |
8979.71/8983.80 c | 1571696 | 1877 298711 1313786 | 2147483647 840064 104 | 0.000 % |
9036.48/9040.67 c | 1583063 | 1877 298711 1313786 | 2147483647 851431 104 | 0.000 % |
9166.62/9170.88 c | 1595565 | 1877 298711 1313786 | 2147483647 863933 104 | 0.000 % |
9260.28/9264.56 c | 1609317 | 1877 298711 1313786 | 2147483647 877685 105 | 0.000 % |
9262.28/9266.56 c | 1609419 | 1877 298711 1313786 | 2147483647 877787 105 | 0.000 % |
9263.28/9267.51 c | 1609530 | 1877 298711 1313786 | 2147483647 877898 105 | 0.000 % |
9265.68/9269.95 c | 1609651 | 1877 298711 1313786 | 2147483647 878019 105 | 0.000 % |
9266.78/9271.06 c | 1609785 | 1877 298711 1313786 | 2147483647 878153 105 | 0.000 % |
9268.17/9272.41 c | 1609932 | 1877 298711 1313786 | 2147483647 878300 105 | 0.000 % |
9269.88/9274.10 c | 1610092 | 1877 298711 1313786 | 878369 878460 105 | 0.000 % |
9276.27/9280.58 c | 1610268 | 1877 298711 1313786 | 878369 741594 104 | 0.000 % |
9278.47/9282.76 c | 1610461 | 1877 298711 1313786 | 878369 741787 104 | 0.000 % |
9280.77/9285.09 c | 1610673 | 1877 298711 1313786 | 878369 741999 104 | 0.000 % |
9282.77/9287.02 c | 1610907 | 1877 298711 1313786 | 878369 742233 104 | 0.000 % |
9285.17/9289.44 c | 1611163 | 1877 298711 1313786 | 878369 742489 104 | 0.000 % |
9287.17/9291.45 c | 1611448 | 1877 298711 1313786 | 878369 742774 104 | 0.000 % |
9289.46/9293.75 c | 1611757 | 1877 298711 1313786 | 878369 743083 104 | 0.000 % |
9291.66/9295.95 c | 1612096 | 1877 298711 1313786 | 878369 743422 104 | 0.000 % |
9294.26/9298.56 c | 1612468 | 1877 298711 1313786 | 878369 743794 104 | 0.000 % |
9297.76/9302.08 c | 1612877 | 1877 298711 1313786 | 878369 744203 104 | 0.000 % |
9300.86/9305.14 c | 1613326 | 1877 298711 1313786 | 878369 744652 104 | 0.000 % |
9305.56/9309.89 c | 1613820 | 1877 298711 1313786 | 878369 745146 104 | 0.000 % |
9310.66/9314.93 c | 1614362 | 1877 298711 1313786 | 878369 745688 104 | 0.000 % |
9314.36/9318.70 c | 1614958 | 1877 298711 1313786 | 878369 746284 104 | 0.000 % |
9320.75/9325.07 c | 1615613 | 1877 298711 1313786 | 878369 746939 104 | 0.000 % |
9326.05/9330.30 c | 1616333 | 1877 298711 1313786 | 878369 747659 104 | 0.000 % |
9331.15/9335.41 c | 1617125 | 1877 298711 1313786 | 878369 748451 104 | 0.000 % |
9335.14/9339.40 c | 1617997 | 1877 298711 1313786 | 878369 749323 104 | 0.000 % |
9343.84/9348.15 c | 1618955 | 1877 298711 1313786 | 878369 750281 104 | 0.000 % |
9351.34/9355.63 c | 1620009 | 1877 298711 1313786 | 2147483647 751335 104 | 0.000 % |
9360.74/9365.00 c | 1621170 | 1877 298711 1313786 | 2147483647 752496 104 | 0.000 % |
9369.73/9374.02 c | 1622444 | 1877 298711 1313786 | 2147483647 753770 104 | 0.000 % |
9382.23/9386.50 c | 1623845 | 1877 298711 1313786 | 2147483647 755171 104 | 0.000 % |
9394.62/9398.98 c | 1625385 | 1877 298711 1313786 | 2147483647 756711 104 | 0.000 % |
9409.61/9413.96 c | 1627081 | 1877 298711 1313786 | 2147483647 758407 104 | 0.000 % |
9423.31/9427.63 c | 1628945 | 1877 298711 1313786 | 2147483647 760271 104 | 0.000 % |
9436.70/9441.08 c | 1630996 | 1877 298711 1313786 | 2147483647 762322 104 | 0.000 % |
9457.10/9461.41 c | 1633249 | 1877 298711 1313786 | 2147483647 764575 104 | 0.000 % |
9481.69/9486.09 c | 1635727 | 1877 298711 1313786 | 2147483647 767053 104 | 0.000 % |
9502.88/9507.21 c | 1638452 | 1877 298711 1313786 | 2147483647 769778 104 | 0.000 % |
9525.77/9530.12 c | 1641449 | 1877 298711 1313786 | 2147483647 772775 104 | 0.000 % |
9553.57/9557.93 c | 1644745 | 1877 298711 1313786 | 2147483647 776071 103 | 0.000 % |
9583.55/9587.91 c | 1648370 | 1877 298711 1313786 | 2147483647 779696 103 | 0.000 % |
9614.43/9618.88 c | 1652359 | 1877 298711 1313786 | 2147483647 783685 103 | 0.000 % |
9638.90/9643.36 c | 1656744 | 1877 298711 1313786 | 2147483647 788070 103 | 0.000 % |
9683.29/9687.78 c | 1661568 | 1877 298711 1313786 | 2147483647 792894 103 | 0.000 % |
9740.96/9745.46 c | 1666873 | 1877 298711 1313786 | 2147483647 798199 103 | 0.000 % |
9767.75/9772.30 c | 1672708 | 1877 298711 1313786 | 2147483647 804034 103 | 0.000 % |
9820.52/9825.01 c | 1679126 | 1877 298711 1313786 | 2147483647 810452 104 | 0.000 % |
9877.30/9881.89 c | 1686186 | 1877 298711 1313786 | 2147483647 817512 104 | 0.000 % |
9932.07/9936.68 c | 1693952 | 1877 298711 1313786 | 2147483647 825278 103 | 0.000 % |
9994.14/9998.75 c | 1702496 | 1877 298711 1313786 | 2147483647 833822 103 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837516-1242875755/watcher-1837516-1242875755 -o /tmp/evaluation-result-1837516-1242875755/solver-1837516-1242875755 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837516-1242875755.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: 1.00 1.00 1.00 3/65 18561
/proc/meminfo: memFree=1786376/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=0
/proc/18561/stat : 18561 (SatELiteGTI) R 18559 18561 18483 0 -1 4194304 292 249 0 0 0 0 0 0 16 0 1 0 315604518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601152671 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/18561/statm: 1339 237 197 169 0 50 0
[pid=18565] ppid=18561 vsize=1012 CPUtime=0
/proc/18565/stat : 18565 (SatELite_releas) R 18561 18561 18483 0 -1 4194304 99 0 0 0 0 0 0 0 16 0 1 0 315604518 1036288 85 1992294400 134512640 135223648 4294956128 18446744073709551615 134918782 0 0 4096 3 0 0 0 17 0 0 0
/proc/18565/statm: 253 89 49 173 0 78 0
[startup+0.0447151 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 18561
/proc/meminfo: memFree=1786376/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=0
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315604518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18561/statm: 1339 237 197 169 0 50 0
[pid=18565] ppid=18561 vsize=5164 CPUtime=0.03
/proc/18565/stat : 18565 (SatELite_releas) R 18561 18561 18483 0 -1 4194304 1110 0 0 0 3 0 0 0 16 0 1 0 315604518 5287936 1096 1992294400 134512640 135223648 4294956128 18446744073709551615 134540952 0 0 4096 3 0 0 0 17 0 0 0
/proc/18565/statm: 1324 1100 50 173 0 1149 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10520
[startup+0.102722 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 18561
/proc/meminfo: memFree=1786376/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=0
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315604518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18561/statm: 1339 237 197 169 0 50 0
[pid=18565] ppid=18561 vsize=10296 CPUtime=0.09
/proc/18565/stat : 18565 (SatELite_releas) R 18561 18561 18483 0 -1 4194304 2385 0 0 0 7 2 0 0 19 0 1 0 315604518 10543104 2371 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 0 0 0
/proc/18565/statm: 2574 2372 49 173 0 2399 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15652
[startup+0.302742 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 18561
/proc/meminfo: memFree=1786376/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=0
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315604518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18561/statm: 1339 237 197 169 0 50 0
[pid=18565] ppid=18561 vsize=23372 CPUtime=0.29
/proc/18565/stat : 18565 (SatELite_releas) R 18561 18561 18483 0 -1 4194304 5484 0 0 0 26 3 0 0 21 0 1 0 315604518 23932928 5470 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/18565/statm: 5843 5470 76 173 0 5668 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28728
[startup+0.702788 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 18561
/proc/meminfo: memFree=1786376/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=0
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315604518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18561/statm: 1339 237 197 169 0 50 0
[pid=18565] ppid=18561 vsize=27016 CPUtime=0.69
/proc/18565/stat : 18565 (SatELite_releas) R 18561 18561 18483 0 -1 4194304 6093 0 0 0 65 4 0 0 25 0 1 0 315604518 27664384 6079 1992294400 134512640 135223648 4294956128 18446744073709551615 134548217 0 0 4096 3 0 0 0 17 0 0 0
/proc/18565/statm: 6754 6079 76 173 0 6579 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32372
[startup+1.50188 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18566
/proc/meminfo: memFree=1759224/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=0
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315604518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18561/statm: 1339 237 197 169 0 50 0
[pid=18565] ppid=18561 vsize=32848 CPUtime=1.48
/proc/18565/stat : 18565 (SatELite_releas) R 18561 18561 18483 0 -1 4194304 7432 0 0 0 144 4 0 0 25 0 1 0 315604518 33636352 7418 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 0 0 0
/proc/18565/statm: 8212 7418 76 173 0 8037 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 38204
[startup+3.10105 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18566
/proc/meminfo: memFree=1755128/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=0
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315604518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18561/statm: 1339 237 197 169 0 50 0
[pid=18565] ppid=18561 vsize=32848 CPUtime=3.08
/proc/18565/stat : 18565 (SatELite_releas) R 18561 18561 18483 0 -1 4194304 7432 0 0 0 304 4 0 0 25 0 1 0 315604518 33636352 7418 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 0 0 0
/proc/18565/statm: 8212 7418 76 173 0 8037 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 38204
[startup+6.30142 s]
/proc/loadavg: 1.16 1.03 1.01 2/67 18567
/proc/meminfo: memFree=1761720/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=17464 CPUtime=1.84
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 4258 0 0 0 182 2 0 0 25 0 1 0 315604962 17883136 4244 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/18567/statm: 4366 4244 77 171 0 4193 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 22820
[startup+12.7011 s]
/proc/loadavg: 1.23 1.05 1.02 2/67 18567
/proc/meminfo: memFree=1757816/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=21344 CPUtime=8.23
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 5224 0 0 0 819 4 0 0 25 0 1 0 315604962 21856256 5210 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 5336 5210 77 171 0 5163 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 26700
[startup+25.5015 s]
/proc/loadavg: 1.18 1.05 1.01 2/67 18567
/proc/meminfo: memFree=1752440/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=26776 CPUtime=21.02
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 6569 0 0 0 2097 5 0 0 25 0 1 0 315604962 27418624 6555 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 6694 6555 77 171 0 6521 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 32132
[startup+51.1014 s]
/proc/loadavg: 1.11 1.04 1.01 2/67 18567
/proc/meminfo: memFree=1741560/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=37620 CPUtime=46.62
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 9257 0 0 0 4653 9 0 0 25 0 1 0 315604962 38522880 9243 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 9405 9243 77 171 0 9232 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 42976
[startup+102.306 s]
/proc/loadavg: 1.05 1.03 1.01 2/67 18567
/proc/meminfo: memFree=1725816/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=53140 CPUtime=97.79
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 13140 0 0 0 9767 12 0 0 25 0 1 0 315604962 54415360 13126 1992294400 134512640 135215339 4294956240 18446744073709551615 134532994 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 13285 13126 77 171 0 13112 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 58496
[startup+162.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/67 18567
/proc/meminfo: memFree=1710328/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=68576 CPUtime=157.76
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 16968 0 0 0 15760 16 0 0 25 0 1 0 315604962 70221824 16954 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 17144 16954 77 171 0 16971 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 73932
[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 18567
/proc/meminfo: memFree=1696952/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=82116 CPUtime=217.74
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 20288 0 0 0 21753 21 0 0 25 0 1 0 315604962 84086784 20274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 20529 20274 77 171 0 20356 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 87472
[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 18567
/proc/meminfo: memFree=1687288/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=91732 CPUtime=277.71
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 22706 0 0 0 27747 24 0 0 25 0 1 0 315604962 93933568 22692 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 22933 22692 77 171 0 22760 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 97088
[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 18567
/proc/meminfo: memFree=1676728/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=102048 CPUtime=337.68
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 25302 0 0 0 33742 26 0 0 25 0 1 0 315604962 104497152 25288 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 25512 25288 77 171 0 25339 0
Current children cumulated CPU time (s) 342.11
################
# More data... #
################
/proc/18567/statm: 121169 119704 77 171 0 120996 0
Current children cumulated CPU time (s) 9338.05
Current children cumulated vsize (KiB) 490032
[startup+9402.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/67 18585
/proc/meminfo: memFree=1291128/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=484676 CPUtime=9393.59
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 119730 0 0 0 939227 132 0 0 25 0 1 0 315604962 496308224 119706 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 121169 119706 77 171 0 120996 0
Current children cumulated CPU time (s) 9398.02
Current children cumulated vsize (KiB) 490032
[startup+9462.3 s]
/proc/loadavg: 1.06 1.05 1.00 2/67 18585
/proc/meminfo: memFree=1291064/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=484676 CPUtime=9453.57
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 119732 0 0 0 945225 132 0 0 25 0 1 0 315604962 496308224 119708 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 121169 119708 77 171 0 120996 0
Current children cumulated CPU time (s) 9458
Current children cumulated vsize (KiB) 490032
[startup+9522.3 s]
/proc/loadavg: 1.18 1.08 1.01 2/67 18585
/proc/meminfo: memFree=1291000/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=484676 CPUtime=9513.54
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 119733 0 0 0 951222 132 0 0 25 0 1 0 315604962 496308224 119709 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 121169 119709 77 171 0 120996 0
Current children cumulated CPU time (s) 9517.97
Current children cumulated vsize (KiB) 490032
[startup+9582.3 s]
/proc/loadavg: 1.25 1.11 1.02 2/67 18585
/proc/meminfo: memFree=1290872/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=485040 CPUtime=9573.52
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 119802 0 0 0 957219 133 0 0 25 0 1 0 315604962 496680960 119778 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 121260 119778 77 171 0 121087 0
Current children cumulated CPU time (s) 9577.95
Current children cumulated vsize (KiB) 490396
[startup+9642.3 s]
/proc/loadavg: 1.09 1.09 1.02 2/67 18585
/proc/meminfo: memFree=1290680/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=485040 CPUtime=9633.48
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 119812 0 0 0 963215 133 0 0 25 0 1 0 315604962 496680960 119788 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18567/statm: 121260 119788 77 171 0 121087 0
Current children cumulated CPU time (s) 9637.91
Current children cumulated vsize (KiB) 490396
[startup+9702.3 s]
/proc/loadavg: 1.14 1.10 1.02 2/67 18585
/proc/meminfo: memFree=1290552/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=485040 CPUtime=9693.45
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 119812 0 0 0 969212 133 0 0 25 0 1 0 315604962 496680960 119788 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 121260 119788 77 171 0 121087 0
Current children cumulated CPU time (s) 9697.88
Current children cumulated vsize (KiB) 490396
[startup+9762.3 s]
/proc/loadavg: 1.11 1.09 1.02 2/67 18585
/proc/meminfo: memFree=1290488/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=485040 CPUtime=9753.42
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 119814 0 0 0 975209 133 0 0 25 0 1 0 315604962 496680960 119790 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 121260 119790 77 171 0 121087 0
Current children cumulated CPU time (s) 9757.85
Current children cumulated vsize (KiB) 490396
[startup+9822.3 s]
/proc/loadavg: 1.04 1.07 1.01 2/67 18585
/proc/meminfo: memFree=1290488/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=485040 CPUtime=9813.4
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 119817 0 0 0 981207 133 0 0 25 0 1 0 315604962 496680960 119793 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 121260 119793 77 171 0 121087 0
Current children cumulated CPU time (s) 9817.83
Current children cumulated vsize (KiB) 490396
[startup+9882.3 s]
/proc/loadavg: 1.01 1.06 1.01 2/67 18585
/proc/meminfo: memFree=1290488/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=485040 CPUtime=9873.37
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 119820 0 0 0 987204 133 0 0 25 0 1 0 315604962 496680960 119796 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 121260 119796 77 171 0 121087 0
Current children cumulated CPU time (s) 9877.8
Current children cumulated vsize (KiB) 490396
[startup+9942.3 s]
/proc/loadavg: 1.00 1.05 1.00 2/67 18591
/proc/meminfo: memFree=1290288/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=485040 CPUtime=9933.34
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 119826 0 0 0 993201 133 0 0 25 0 1 0 315604962 496680960 119802 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 121260 119802 77 171 0 121087 0
Current children cumulated CPU time (s) 9937.77
Current children cumulated vsize (KiB) 490396
[startup+10002.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 18591
/proc/meminfo: memFree=1290288/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=485040 CPUtime=9993.31
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 119827 0 0 0 999198 133 0 0 25 0 1 0 315604962 496680960 119803 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 121260 119803 77 171 0 121087 0
Current children cumulated CPU time (s) 9997.74
Current children cumulated vsize (KiB) 490396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10004.6 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 18591
/proc/meminfo: memFree=1290288/2055920 swapFree=4175964/4192956
[pid=18561] ppid=18559 vsize=5356 CPUtime=4.43
/proc/18561/stat : 18561 (SatELiteGTI) S 18559 18561 18483 0 -1 4194304 336 7684 0 0 0 0 436 7 16 0 1 0 315604518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18561/statm: 1339 239 197 169 0 50 0
[pid=18567] ppid=18561 vsize=485040 CPUtime=9995.61
/proc/18567/stat : 18567 (minisat_static) R 18561 18561 18483 0 -1 4194304 119827 0 0 0 999428 133 0 0 25 0 1 0 315604962 496680960 119803 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18567/statm: 121260 119803 77 171 0 121087 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 490396
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 18561 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=361336
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=78987
# CPU time returned by wait4() is 4.44032
# while last known CPU time is 10000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10004.6
CPU time (s): 10000
CPU user time (s): 9998.64
CPU system time (s): 1.4
CPU usage (%): 99.9543
Max. virtual memory (cumulated for all children) (KiB): 490396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.36134
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8020
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= 17
runsolver used 9.62554 second user time and 26.8819 second system time
The end
Begin job on node91 at 2009-05-21 05:15:55
IDJOB=1837516
IDBENCH=71071
IDSOLVER=674
FILE ID=node91/1837516-1242875755
PBS_JOBID= 9328604
Free space on /tmp= 66264 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_14_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837516-1242875755/watcher-1837516-1242875755 -o /tmp/evaluation-result-1837516-1242875755/solver-1837516-1242875755 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837516-1242875755.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6d69d175921d14f1c2600aaedc59f514
RANDOM SEED=759697387
node91.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.241
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.241
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1786920 kB
Buffers: 25024 kB
Cached: 193304 kB
SwapCached: 10288 kB
Active: 43452 kB
Inactive: 186600 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1786920 kB
SwapTotal: 4192956 kB
SwapFree: 4175964 kB
Dirty: 6548 kB
Writeback: 0 kB
Mapped: 17272 kB
Slab: 24932 kB
Committed_AS: 954492 kB
PageTables: 1368 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66256 MiB
End job on node91 at 2009-05-21 08:02:42