0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 57446 170514 | 17233 0 0 nan | 0.000 % |
0.00/0.40 c | 0 | 56659 238983 | -- 0 -- -- | -- | -787/68469
0.00/0.40 c ==============================================================================
0.00/0.40 c Result : #vars: 636 #clauses: 56659 #literals: 238983
0.00/0.40 c CPU time: 0.39194 s
0.00/0.40 c ==============================================================================
0.00/0.47 c This is MiniSat 2.0 beta
0.00/0.47 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.47 c ============================[ Problem Statistics ]=============================
0.00/0.47 c | |
0.00/0.48 c | Number of variables: 636 |
0.00/0.48 c | Number of clauses: 56659 |
0.46/0.51 c | Parsing time: 0.03 s |
0.46/0.51 c ============================[ Search Statistics ]==============================
0.46/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.46/0.51 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.46/0.51 c ===============================================================================
0.46/0.51 c | 0 | 636 56659 238983 | 18886 0 nan | 0.000 % |
0.46/0.53 c | 101 | 636 56659 238983 | 18886 101 33 | 0.000 % |
0.46/0.55 c | 201 | 636 56659 238983 | 18886 201 30 | 0.000 % |
0.46/0.57 c | 301 | 636 56659 238983 | 18886 301 28 | 0.000 % |
0.46/0.60 c | 411 | 636 56659 238983 | 18886 411 27 | 0.000 % |
0.46/0.62 c | 516 | 636 56659 238983 | 18886 516 26 | 0.000 % |
0.46/0.65 c | 627 | 636 56659 238983 | 18886 627 26 | 0.000 % |
0.46/0.68 c | 749 | 636 56659 238983 | 18886 749 27 | 0.000 % |
0.46/0.71 c | 849 | 636 56659 238983 | 18886 849 27 | 0.000 % |
0.46/0.74 c | 960 | 636 56659 238983 | 18886 960 27 | 0.000 % |
0.46/0.77 c | 1081 | 636 56659 238983 | 18886 1081 27 | 0.000 % |
0.46/0.80 c | 1214 | 636 56659 238983 | 18886 1214 27 | 0.000 % |
0.46/0.83 c | 1315 | 636 56659 238983 | 18886 1315 26 | 0.000 % |
0.46/0.86 c | 1428 | 636 56659 238983 | 18886 1428 26 | 0.000 % |
0.46/0.89 c | 1549 | 636 56659 238983 | 18886 1549 25 | 0.000 % |
0.46/0.93 c | 1684 | 636 56659 238983 | 18886 1684 26 | 0.000 % |
0.46/0.96 c | 1832 | 636 56659 238983 | 18886 1832 25 | 0.000 % |
0.46/0.99 c | 1933 | 636 56659 238983 | 18886 1933 25 | 0.000 % |
0.97/1.02 c | 2044 | 636 56659 238983 | 18886 2044 25 | 0.002 % |
0.97/1.06 c | 2165 | 636 56659 238983 | 18886 2165 25 | 0.000 % |
0.97/1.09 c | 2298 | 636 56659 238983 | 18886 2298 25 | 0.000 % |
1.07/1.12 c | 2449 | 636 56659 238983 | 18886 2449 25 | 0.000 % |
1.07/1.17 c | 2611 | 636 56659 238983 | 18886 2611 25 | 0.000 % |
1.07/1.19 c | 2711 | 636 56659 238983 | 18886 2711 24 | 0.000 % |
1.16/1.22 c | 2824 | 636 56659 238983 | 18886 2824 24 | 0.000 % |
1.16/1.26 c | 2946 | 636 56659 238983 | 18886 2946 24 | 0.000 % |
1.16/1.29 c | 3079 | 636 56659 238983 | 18886 3079 24 | 0.000 % |
1.26/1.32 c | 3225 | 636 56659 238983 | 18886 3225 24 | 0.000 % |
1.26/1.36 c | 3386 | 636 56659 238983 | 18886 3386 24 | 0.000 % |
1.36/1.42 c | 3564 | 636 56659 238983 | 18886 3564 24 | 0.000 % |
1.36/1.44 c | 3665 | 636 56659 238983 | 18886 3665 24 | 0.000 % |
1.36/1.47 c | 3777 | 636 56659 238983 | 18886 3777 24 | 0.000 % |
1.46/1.50 c | 3898 | 636 56659 238983 | 18886 3898 24 | 0.000 % |
1.46/1.53 c | 4031 | 636 56659 238983 | 18886 4031 24 | 0.000 % |
1.46/1.57 c | 4178 | 636 56659 238983 | 18886 4178 24 | 0.000 % |
1.56/1.61 c | 4338 | 636 56659 238983 | 18886 4338 24 | 0.000 % |
1.56/1.66 c | 4514 | 636 56659 238983 | 18886 4514 24 | 0.000 % |
1.66/1.72 c | 4709 | 636 56659 238983 | 18886 4709 25 | 0.000 % |
1.66/1.74 c | 4811 | 636 56659 238983 | 18886 4811 25 | 0.000 % |
1.66/1.77 c | 4922 | 636 56659 238983 | 18886 4922 25 | 0.000 % |
1.66/1.79 c | 5044 | 636 56659 238983 | 18886 5044 25 | 0.000 % |
1.76/1.82 c | 5181 | 636 56659 238983 | 18886 5181 26 | 0.000 % |
1.76/1.86 c | 5328 | 636 56659 238983 | 18886 5328 26 | 0.000 % |
1.86/1.91 c | 5488 | 636 56659 238983 | 18886 5488 26 | 0.000 % |
1.86/1.96 c | 5664 | 636 56659 238983 | 18886 5664 26 | 0.000 % |
1.96/2.02 c | 5857 | 636 56659 238983 | 18886 5857 25 | 0.000 % |
1.96/2.09 c | 6070 | 636 56659 238983 | 18886 6070 25 | 0.000 % |
2.07/2.12 c | 6170 | 636 56659 238983 | 18886 6170 25 | 0.000 % |
2.07/2.15 c | 6281 | 636 56659 238983 | 18886 6281 25 | 0.000 % |
2.07/2.19 c | 6403 | 636 56659 238983 | 18886 6403 25 | 0.002 % |
2.16/2.23 c | 6537 | 636 56659 238983 | 18886 6537 25 | 0.000 % |
2.16/2.28 c | 6683 | 636 56659 238983 | 18886 6683 25 | 0.000 % |
2.26/2.32 c | 6844 | 636 56659 238983 | 18886 6844 25 | 0.002 % |
2.26/2.36 c | 7020 | 636 56659 238983 | 18886 7020 25 | 0.000 % |
2.36/2.41 c | 7213 | 636 56659 238983 | 18886 7213 26 | 0.000 % |
2.36/2.46 c | 7428 | 636 56659 238983 | 18886 7428 26 | 0.000 % |
2.46/2.51 c | 7661 | 636 56659 238983 | 18886 7661 26 | 0.000 % |
2.46/2.54 c | 7761 | 636 56659 238983 | 18886 7761 26 | 0.000 % |
2.46/2.56 c | 7874 | 636 56659 238983 | 18886 7874 26 | 0.000 % |
2.46/2.59 c | 7997 | 636 56659 238983 | 18886 7997 26 | 0.000 % |
2.56/2.62 c | 8131 | 636 56659 238983 | 18886 8131 27 | 0.000 % |
2.56/2.65 c | 8277 | 636 56659 238983 | 18886 8277 27 | 0.000 % |
2.56/2.69 c | 8439 | 636 56659 238983 | 18886 8439 27 | 0.000 % |
2.67/2.74 c | 8616 | 636 56659 238983 | 18886 8616 27 | 0.000 % |
2.67/2.78 c | 8810 | 636 56659 238983 | 18886 8810 27 | 0.000 % |
2.77/2.84 c | 9024 | 636 56659 238983 | 18886 9024 27 | 0.000 % |
2.87/2.92 c | 9257 | 636 56659 238983 | 18886 9257 27 | 0.000 % |
2.87/2.98 c | 9513 | 636 56659 238983 | 18886 9513 28 | 0.000 % |
2.97/3.01 c | 9615 | 636 56659 238983 | 18886 9615 28 | 0.000 % |
2.97/3.05 c | 9727 | 636 56659 238983 | 18886 9727 28 | 0.000 % |
2.97/3.09 c | 9848 | 636 56659 238983 | 18886 9848 28 | 0.000 % |
3.07/3.14 c | 9981 | 636 56659 238983 | 18886 9981 28 | 0.000 % |
3.17/3.20 c | 10127 | 636 56659 238983 | 2147483647 10127 28 | 0.000 % |
3.17/3.26 c | 10290 | 636 56659 238983 | 2147483647 10290 28 | 0.000 % |
3.27/3.32 c | 10466 | 636 56659 238983 | 2147483647 10466 28 | 0.000 % |
3.27/3.39 c | 10659 | 636 56659 238983 | 2147483647 10659 28 | 0.000 % |
3.37/3.46 c | 10871 | 636 56659 238983 | 2147483647 10871 28 | 0.000 % |
3.47/3.54 c | 11110 | 636 56659 238983 | 2147483647 11110 28 | 0.000 % |
3.57/3.64 c | 11367 | 636 56659 238983 | 2147483647 11367 27 | 0.000 % |
3.67/3.74 c | 11649 | 636 56659 238983 | 2147483647 11649 27 | 0.000 % |
3.67/3.78 c | 11750 | 636 56659 238983 | 2147483647 11750 27 | 0.000 % |
3.77/3.81 c | 11861 | 636 56659 238983 | 2147483647 11861 27 | 0.000 % |
3.77/3.85 c | 11982 | 636 56659 238983 | 2147483647 11982 27 | 0.000 % |
3.87/3.90 c | 12118 | 636 56659 238983 | 2147483647 12118 27 | 0.000 % |
3.87/3.95 c | 12265 | 636 56659 238983 | 2147483647 12265 27 | 0.000 % |
3.97/4.01 c | 12425 | 636 56659 238983 | 2147483647 12425 27 | 0.000 % |
3.97/4.07 c | 12602 | 636 56659 238983 | 2147483647 12602 27 | 0.000 % |
4.07/4.15 c | 12797 | 636 56659 238983 | 2147483647 12797 27 | 0.000 % |
4.17/4.21 c | 13014 | 636 56659 238983 | 2147483647 13014 27 | 0.000 % |
4.27/4.30 c | 13247 | 636 56659 238983 | 2147483647 13247 27 | 0.000 % |
4.27/4.38 c | 13505 | 636 56659 238983 | 2147483647 13505 27 | 0.000 % |
4.37/4.49 c | 13788 | 636 56659 238983 | 2147483647 13788 27 | 0.000 % |
4.56/4.62 c | 14100 | 636 56659 238983 | 2147483647 14100 27 | 0.000 % |
4.56/4.65 c | 14201 | 636 56659 238983 | 2147483647 14201 27 | 0.000 % |
4.56/4.68 c | 14311 | 636 56659 238983 | 2147483647 14311 27 | 0.000 % |
4.66/4.71 c | 14433 | 636 56659 238983 | 2147483647 14433 27 | 0.000 % |
4.66/4.75 c | 14568 | 636 56659 238983 | 2147483647 14568 27 | 0.000 % |
4.76/4.81 c | 14717 | 636 56659 238983 | 2147483647 14717 27 | 0.000 % |
4.76/4.87 c | 14877 | 636 56659 238983 | 2147483647 14877 27 | 0.000 % |
4.86/4.94 c | 15053 | 636 56659 238983 | 2147483647 15053 27 | 0.000 % |
4.96/5.01 c | 15246 | 636 56659 238983 | 2147483647 15246 27 | 0.000 % |
4.96/5.10 c | 15459 | 636 56659 238983 | 2147483647 15459 27 | 0.000 % |
5.16/5.20 c | 15693 | 636 56659 238983 | 2147483647 15693 27 | 0.000 % |
5.26/5.30 c | 15949 | 636 56659 238983 | 2147483647 15949 27 | 0.000 % |
5.37/5.43 c | 16234 | 636 56659 238983 | 2147483647 16234 27 | 0.000 % |
5.47/5.56 c | 16545 | 636 56659 238983 | 2147483647 16545 27 | 0.000 % |
5.56/5.70 c | 16884 | 636 56659 238983 | 2147483647 16884 27 | 0.000 % |
5.66/5.74 c | 16984 | 636 56659 238983 | 2147483647 16984 27 | 0.000 % |
5.66/5.79 c | 17096 | 636 56659 238983 | 2147483647 17096 27 | 0.000 % |
5.76/5.85 c | 17219 | 636 56659 238983 | 2147483647 17219 27 | 0.000 % |
5.86/5.91 c | 17352 | 636 56659 238983 | 2147483647 17352 27 | 0.000 % |
5.86/5.99 c | 17502 | 636 56659 238983 | 2147483647 17502 27 | 0.000 % |
5.96/6.06 c | 17662 | 636 56659 238983 | 2147483647 17662 27 | 0.000 % |
6.06/6.12 c | 17838 | 636 56659 238983 | 2147483647 17838 27 | 0.000 % |
6.06/6.19 c | 18031 | 636 56659 238983 | 2147483647 18031 27 | 0.000 % |
6.16/6.27 c | 18244 | 636 56659 238983 | 2147483647 18244 28 | 0.000 % |
6.26/6.37 c | 18478 | 636 56659 238983 | 2147483647 18478 28 | 0.000 % |
6.36/6.47 c | 18734 | 636 56659 238983 | 2147483647 18734 28 | 0.000 % |
6.57/6.60 c | 19019 | 636 56659 238983 | 2147483647 19019 28 | 0.000 % |
6.66/6.73 c | 19328 | 636 56659 238983 | 2147483647 19328 28 | 0.000 % |
6.76/6.88 c | 19667 | 636 56659 238983 | 2147483647 19667 28 | 0.000 % |
6.96/7.05 c | 20040 | 636 56659 238983 | 2147483647 20040 28 | 0.000 % |
6.96/7.09 c | 20140 | 636 56659 238983 | 2147483647 20140 28 | 0.000 % |
7.06/7.14 c | 20250 | 636 56659 238983 | 2147483647 20250 28 | 0.000 % |
7.16/7.20 c | 20371 | 636 56659 238983 | 2147483647 20371 28 | 0.000 % |
7.16/7.26 c | 20504 | 636 56659 238983 | 2147483647 20504 28 | 0.000 % |
7.26/7.34 c | 20650 | 636 56659 238983 | 2147483647 20650 28 | 0.000 % |
7.26/7.40 c | 20810 | 636 56659 238983 | 2147483647 20810 28 | 0.000 % |
7.36/7.46 c | 20986 | 636 56659 238983 | 2147483647 20986 28 | 0.000 % |
7.46/7.54 c | 21183 | 636 56659 238983 | 2147483647 21183 27 | 0.000 % |
7.56/7.63 c | 21397 | 636 56659 238983 | 2147483647 21397 27 | 0.000 % |
7.66/7.75 c | 21630 | 636 56659 238983 | 2147483647 21630 27 | 0.000 % |
7.76/7.87 c | 21887 | 636 56659 238983 | 2147483647 21887 27 | 0.000 % |
7.96/8.02 c | 22168 | 636 56659 238983 | 2147483647 22168 27 | 0.000 % |
8.06/8.13 c | 22478 | 636 56659 238983 | 2147483647 22478 27 | 0.000 % |
8.16/8.25 c | 22818 | 636 56659 238983 | 2147483647 22818 27 | 0.000 % |
8.36/8.40 c | 23193 | 636 56659 238983 | 2147483647 23193 27 | 0.000 % |
8.46/8.55 c | 23603 | 636 56659 238983 | 2147483647 23603 27 | 0.000 % |
8.46/8.58 c | 23703 | 636 56659 238983 | 2147483647 23703 28 | 0.000 % |
8.56/8.62 c | 23813 | 636 56659 238983 | 2147483647 23813 28 | 0.000 % |
8.56/8.66 c | 23934 | 636 56659 238983 | 2147483647 23934 28 | 0.000 % |
8.56/8.70 c | 24067 | 636 56659 238983 | 2147483647 24067 28 | 0.000 % |
8.66/8.77 c | 24213 | 636 56659 238983 | 2147483647 24213 28 | 0.000 % |
8.76/8.84 c | 24373 | 636 56659 238983 | 2147483647 24373 28 | 0.000 % |
8.86/8.91 c | 24551 | 636 56659 238983 | 2147483647 24551 28 | 0.000 % |
8.96/9.01 c | 24747 | 636 56659 238983 | 2147483647 24747 28 | 0.000 % |
9.06/9.13 c | 24961 | 636 56659 238983 | 2147483647 24961 28 | 0.000 % |
9.16/9.27 c | 25194 | 636 56659 238983 | 2147483647 25194 28 | 0.000 % |
9.36/9.40 c | 25450 | 636 56659 238983 | 2147483647 25450 28 | 0.000 % |
9.46/9.54 c | 25731 | 636 56659 238983 | 2147483647 25731 28 | 0.000 % |
9.56/9.69 c | 26040 | 636 56659 238983 | 2147483647 26040 27 | 0.000 % |
9.76/9.89 c | 26380 | 636 56659 238983 | 2147483647 26380 28 | 0.000 % |
9.96/10.08 c | 26753 | 636 56659 238983 | 2147483647 26753 28 | 0.000 % |
10.26/10.32 c | 27165 | 636 56659 238983 | 2147483647 27165 27 | 0.000 % |
10.46/10.55 c | 27614 | 636 56659 238983 | 2147483647 27614 27 | 0.000 % |
10.56/10.61 c | 27714 | 636 56659 238983 | 2147483647 27714 27 | 0.000 % |
10.56/10.67 c | 27826 | 636 56659 238983 | 2147483647 27826 27 | 0.000 % |
10.66/10.74 c | 27949 | 636 56659 238983 | 2147483647 27949 27 | 0.000 % |
10.76/10.81 c | 28082 | 636 56659 238983 | 2147483647 28082 27 | 0.000 % |
10.76/10.89 c | 28228 | 636 56659 238983 | 2147483647 28228 27 | 0.000 % |
10.86/10.98 c | 28391 | 636 56659 238983 | 2147483647 28391 27 | 0.000 % |
10.96/11.07 c | 28567 | 636 56659 238983 | 2147483647 28567 27 | 0.000 % |
11.06/11.19 c | 28761 | 636 56659 238983 | 2147483647 28761 28 | 0.000 % |
11.26/11.31 c | 28973 | 636 56659 238983 | 2147483647 28973 28 | 0.000 % |
11.36/11.41 c | 29206 | 636 56659 238983 | 2147483647 29206 28 | 0.000 % |
11.46/11.51 c | 29462 | 636 56659 238983 | 2147483647 29462 28 | 0.000 % |
11.56/11.62 c | 29745 | 636 56659 238983 | 2147483647 29745 28 | 0.000 % |
11.66/11.72 c | 30055 | 636 56659 238983 | 2147483647 30055 28 | 0.000 % |
11.86/11.94 c | 30394 | 636 56659 238983 | 2147483647 30394 28 | 0.000 % |
12.06/12.18 c | 30766 | 636 56659 238983 | 2147483647 30766 28 | 0.000 % |
12.37/12.41 c | 31175 | 636 56659 238983 | 2147483647 31175 28 | 0.000 % |
12.57/12.68 c | 31627 | 636 56659 238983 | 2147483647 31627 28 | 0.000 % |
12.87/12.97 c | 32120 | 636 56659 238983 | 2147483647 32120 28 | 0.000 % |
12.97/13.03 c | 32223 | 636 56659 238983 | 2147483647 32223 28 | 0.000 % |
12.97/13.09 c | 32334 | 636 56659 238983 | 2147483647 32334 28 | 0.000 % |
13.07/13.15 c | 32455 | 636 56659 238983 | 2147483647 32455 27 | 0.000 % |
13.17/13.21 c | 32591 | 636 56659 238983 | 2147483647 32591 27 | 0.000 % |
13.27/13.32 c | 32737 | 636 56659 238983 | 2147483647 32737 27 | 0.000 % |
13.37/13.42 c | 32897 | 636 56659 238983 | 2147483647 32897 27 | 0.000 % |
13.47/13.54 c | 33076 | 636 56659 238983 | 2147483647 33076 27 | 0.000 % |
13.57/13.67 c | 33270 | 636 56659 238983 | 2147483647 33270 28 | 0.000 % |
13.76/13.80 c | 33483 | 636 56659 238983 | 2147483647 33483 28 | 0.000 % |
13.86/13.96 c | 33717 | 636 56659 238983 | 2147483647 33717 28 | 0.000 % |
14.06/14.12 c | 33976 | 636 56659 238983 | 2147483647 33976 28 | 0.000 % |
14.27/14.31 c | 34257 | 636 56659 238983 | 2147483647 34257 28 | 0.000 % |
14.46/14.50 c | 34569 | 636 56659 238983 | 2147483647 34569 27 | 0.000 % |
14.66/14.73 c | 34909 | 636 56659 238983 | 2147483647 34909 28 | 0.000 % |
14.86/14.95 c | 35281 | 636 56659 238983 | 2147483647 35281 28 | 0.000 % |
15.06/15.16 c | 35692 | 636 56659 238983 | 2147483647 35692 27 | 0.000 % |
15.37/15.40 c | 36144 | 636 56659 238983 | 2147483647 36144 27 | 0.000 % |
15.66/15.76 c | 36637 | 636 56659 238983 | 2147483647 36637 27 | 0.000 % |
16.06/16.11 c | 37180 | 636 56659 238983 | 2147483647 37180 27 | 0.000 % |
16.06/16.19 c | 37280 | 636 56659 238983 | 2147483647 37280 27 | 0.000 % |
16.16/16.27 c | 37394 | 636 56659 238983 | 2147483647 37394 27 | 0.000 % |
16.26/16.34 c | 37515 | 636 56659 238983 | 2147483647 37515 27 | 0.000 % |
16.37/16.47 c | 37648 | 636 56659 238983 | 2147483647 37648 27 | 0.000 % |
16.47/16.55 c | 37795 | 636 56659 238983 | 2147483647 37795 27 | 0.000 % |
16.56/16.64 c | 37955 | 636 56659 238983 | 2147483647 37955 27 | 0.000 % |
16.66/16.76 c | 38132 | 636 56659 238983 | 2147483647 38132 27 | 0.000 % |
16.76/16.88 c | 38326 | 636 56659 238983 | 2147483647 38326 27 | 0.000 % |
16.96/17.01 c | 38542 | 636 56659 238983 | 2147483647 38542 27 | 0.000 % |
17.06/17.19 c | 38775 | 636 56659 238983 | 2147483647 38775 27 | 0.000 % |
17.26/17.38 c | 39032 | 636 56659 238983 | 2147483647 39032 27 | 0.000 % |
17.47/17.59 c | 39314 | 636 56659 238983 | 2147483647 39314 27 | 0.000 % |
17.66/17.79 c | 39623 | 636 56659 238983 | 2147483647 39623 27 | 0.000 % |
17.96/18.02 c | 39962 | 636 56659 238983 | 2147483647 39962 27 | 0.000 % |
18.16/18.26 c | 40334 | 636 56659 238983 | 2147483647 40334 28 | 0.000 % |
18.46/18.54 c | 40744 | 636 56659 238983 | 2147483647 40744 28 | 0.000 % |
18.76/18.85 c | 41193 | 636 56659 238983 | 2147483647 41193 28 | 0.000 % |
19.16/19.21 c | 41686 | 636 56659 238983 | 2147483647 41686 28 | 0.000 % |
19.46/19.59 c | 42228 | 636 56659 238983 | 2147483647 42228 28 | 0.000 % |
19.86/19.99 c | 42824 | 636 56659 238983 | 2147483647 42824 28 | 0.000 % |
19.96/20.04 c | 42930 | 636 56659 238983 | 2147483647 42930 28 | 0.000 % |
20.06/20.13 c | 43044 | 636 56659 238983 | 2147483647 43044 28 | 0.000 % |
20.16/20.23 c | 43166 | 636 56659 238983 | 2147483647 43166 28 | 0.000 % |
20.26/20.33 c | 43299 | 636 56659 238983 | 2147483647 43299 28 | 0.000 % |
20.36/20.43 c | 43445 | 636 56659 238983 | 2147483647 43445 28 | 0.000 % |
20.46/20.54 c | 43605 | 636 56659 238983 | 2147483647 43605 28 | 0.000 % |
20.56/20.66 c | 43781 | 636 56659 238983 | 2147483647 43781 28 | 0.000 % |
20.76/20.81 c | 43975 | 636 56659 238983 | 2147483647 43975 28 | 0.000 % |
20.86/20.96 c | 44189 | 636 56659 238983 | 2147483647 44189 28 | 0.000 % |
21.06/21.11 c | 44422 | 636 56659 238983 | 2147483647 44422 28 | 0.000 % |
21.16/21.29 c | 44678 | 636 56659 238983 | 2147483647 44678 28 | 0.000 % |
21.36/21.48 c | 44960 | 636 56659 238983 | 2147483647 44960 28 | 0.000 % |
21.56/21.69 c | 45270 | 636 56659 238983 | 2147483647 45270 28 | 0.000 % |
21.86/21.92 c | 45611 | 636 56659 238983 | 2147483647 45611 27 | 0.000 % |
22.06/22.17 c | 45983 | 636 56659 238983 | 2147483647 45983 27 | 0.000 % |
22.36/22.45 c | 46394 | 636 56659 238983 | 2147483647 46394 27 | 0.000 % |
22.66/22.74 c | 46846 | 636 56659 238983 | 2147483647 46846 27 | 0.000 % |
22.96/23.09 c | 47339 | 636 56659 238983 | 2147483647 47339 27 | 0.000 % |
23.36/23.49 c | 47881 | 636 56659 238983 | 2147483647 47881 27 | 0.000 % |
23.86/23.97 c | 48478 | 636 56659 238983 | 2147483647 48478 27 | 0.000 % |
24.36/24.42 c | 49135 | 636 56659 238983 | 2147483647 49135 27 | 0.000 % |
24.46/24.50 c | 49236 | 636 56659 238983 | 2147483647 49236 27 | 0.000 % |
24.46/24.59 c | 49346 | 636 56659 238983 | 2147483647 49346 27 | 0.000 % |
24.66/24.70 c | 49471 | 636 56659 238983 | 2147483647 49471 27 | 0.000 % |
24.76/24.80 c | 49604 | 636 56659 238983 | 2147483647 49604 27 | 0.000 % |
24.86/24.91 c | 49750 | 636 56659 238983 | 2147483647 49750 27 | 0.000 % |
24.96/25.05 c | 49911 | 636 56659 238983 | 2147483647 49911 27 | 0.000 % |
25.06/25.20 c | 50089 | 636 56659 238983 | 2147483647 50089 27 | 0.000 % |
25.27/25.38 c | 50283 | 636 56659 238983 | 2147483647 50283 27 | 0.000 % |
25.46/25.54 c | 50496 | 636 56659 238983 | 2147483647 50496 27 | 0.000 % |
25.66/25.72 c | 50732 | 636 56659 238983 | 2147483647 50732 27 | 0.000 % |
25.76/25.90 c | 50988 | 636 56659 238983 | 2147483647 50988 27 | 0.000 % |
26.06/26.11 c | 51269 | 636 56659 238983 | 2147483647 51269 27 | 0.000 % |
26.27/26.33 c | 51580 | 636 56659 238983 | 2147483647 51580 27 | 0.000 % |
26.56/26.67 c | 51919 | 636 56659 238983 | 2147483647 51919 27 | 0.000 % |
26.86/26.97 c | 52295 | 636 56659 238983 | 2147483647 52295 27 | 0.000 % |
27.26/27.33 c | 52704 | 636 56659 238983 | 2147483647 52704 27 | 0.000 % |
27.66/27.74 c | 53154 | 636 56659 238983 | 2147483647 53154 27 | 0.000 % |
28.06/28.16 c | 53647 | 636 56659 238983 | 2147483647 53647 27 | 0.000 % |
28.56/28.61 c | 54189 | 636 56659 238983 | 2147483647 54189 27 | 0.000 % |
29.06/29.17 c | 54786 | 636 56659 238983 | 2147483647 54786 27 | 0.000 % |
29.56/29.70 c | 55442 | 636 56659 238983 | 2147483647 55442 27 | 0.000 % |
30.16/30.28 c | 56170 | 636 56659 238983 | 2147483647 56170 27 | 0.000 % |
30.26/30.37 c | 56270 | 636 56659 238983 | 2147483647 56270 27 | 0.000 % |
30.36/30.45 c | 56383 | 636 56659 238983 | 2147483647 56383 27 | 0.000 % |
30.46/30.55 c | 56505 | 636 56659 238983 | 2147483647 56505 27 | 0.000 % |
30.56/30.69 c | 56638 | 636 56659 238983 | 2147483647 56638 27 | 0.000 % |
30.66/30.79 c | 56784 | 636 56659 238983 | 2147483647 56784 27 | 0.000 % |
30.86/30.94 c | 56944 | 636 56659 238983 | 2147483647 56944 27 | 0.000 % |
30.96/31.07 c | 57120 | 636 56659 238983 | 2147483647 57120 27 | 0.000 % |
31.16/31.20 c | 57313 | 636 56659 238983 | 2147483647 57313 27 | 0.000 % |
31.26/31.36 c | 57525 | 636 56659 238983 | 2147483647 57525 27 | 0.000 % |
31.56/31.60 c | 57758 | 636 56659 238983 | 2147483647 57758 27 | 0.000 % |
31.76/31.84 c | 58015 | 636 56659 238983 | 2147483647 58015 27 | 0.000 % |
32.06/32.15 c | 58296 | 636 56659 238983 | 2147483647 58296 27 | 0.000 % |
32.36/32.48 c | 58608 | 636 56659 238983 | 2147483647 58608 27 | 0.000 % |
32.66/32.79 c | 58947 | 636 56659 238983 | 2147483647 58947 27 | 0.000 % |
33.06/33.14 c | 59322 | 636 56659 238983 | 2147483647 59322 27 | 0.000 % |
33.46/33.50 c | 59731 | 636 56659 238983 | 2147483647 59731 27 | 0.000 % |
33.76/33.88 c | 60180 | 636 56659 238983 | 2147483647 60180 27 | 0.000 % |
34.26/34.36 c | 60675 | 636 56659 238983 | 2147483647 60675 27 | 0.000 % |
34.75/34.90 c | 61217 | 636 56659 238983 | 2147483647 61217 28 | 0.000 % |
35.45/35.50 c | 61813 | 636 56659 238983 | 2147483647 61813 28 | 0.000 % |
36.05/36.17 c | 62468 | 636 56659 238983 | 2147483647 62468 28 | 0.000 % |
36.75/36.86 c | 63189 | 636 56659 238983 | 2147483647 63189 28 | 0.000 % |
37.45/37.57 c | 63983 | 636 56659 238983 | 2147483647 63983 28 | 0.000 % |
37.55/37.66 c | 64086 | 636 56659 238983 | 2147483647 64086 28 | 0.000 % |
37.65/37.79 c | 64197 | 636 56659 238983 | 2147483647 64197 28 | 0.000 % |
37.85/37.91 c | 64318 | 636 56659 238983 | 2147483647 64318 28 | 0.000 % |
37.95/38.05 c | 64452 | 636 56659 238983 | 2147483647 64452 28 | 0.000 % |
38.15/38.20 c | 64600 | 636 56659 238983 | 2147483647 64600 28 | 0.000 % |
38.25/38.38 c | 64761 | 636 56659 238983 | 2147483647 64761 28 | 0.000 % |
38.46/38.59 c | 64937 | 636 56659 238983 | 2147483647 64937 28 | 0.000 % |
38.75/38.81 c | 65131 | 636 56659 238983 | 2147483647 65131 28 | 0.000 % |
38.95/39.05 c | 65345 | 636 56659 238983 | 2147483647 65345 28 | 0.000 % |
39.15/39.28 c | 65578 | 636 56659 238983 | 2147483647 65578 28 | 0.000 % |
39.56/39.61 c | 65835 | 636 56659 238983 | 2147483647 65835 28 | 0.000 % |
39.85/39.93 c | 66118 | 636 56659 238983 | 2147483647 66118 28 | 0.000 % |
40.15/40.25 c | 66427 | 636 56659 238983 | 2147483647 66427 28 | 0.000 % |
40.45/40.56 c | 66766 | 636 56659 238983 | 2147483647 66766 28 | 0.000 % |
40.85/40.96 c | 67138 | 636 56659 238983 | 2147483647 67138 28 | 0.000 % |
41.35/41.40 c | 67548 | 636 56659 238983 | 2147483647 67548 28 | 0.000 % |
41.85/41.93 c | 67998 | 636 56659 238983 | 2147483647 67998 28 | 0.000 % |
42.25/42.37 c | 68495 | 636 56659 238983 | 2147483647 68495 28 | 0.000 % |
42.85/42.97 c | 69037 | 636 56659 238983 | 2147483647 69037 28 | 0.000 % |
43.65/43.76 c | 69635 | 636 56659 238983 | 2147483647 69635 28 | 0.000 % |
44.45/44.56 c | 70292 | 636 56659 238983 | 2147483647 70292 28 | 0.000 % |
45.25/45.38 c | 71013 | 636 56659 238983 | 2147483647 71013 28 | 0.000 % |
46.36/46.42 c | 71806 | 636 56659 238983 | 2147483647 71806 28 | 0.000 % |
47.16/47.26 c | 72677 | 636 56659 238983 | 2147483647 72677 28 | 0.000 % |
47.26/47.36 c | 72779 | 636 56659 238983 | 2147483647 72779 28 | 0.000 % |
47.36/47.46 c | 72891 | 636 56659 238983 | 2147483647 72891 28 | 0.000 % |
47.56/47.62 c | 73012 | 636 56659 238983 | 2147483647 73012 28 | 0.000 % |
47.76/47.87 c | 73146 | 636 56659 238983 | 2147483647 73146 28 | 0.000 % |
47.96/48.07 c | 73293 | 636 56659 238983 | 2147483647 73293 28 | 0.000 % |
48.16/48.25 c | 73456 | 636 56659 238983 | 2147483647 73456 28 | 0.000 % |
48.36/48.46 c | 73632 | 636 56659 238983 | 2147483647 73632 28 | 0.000 % |
48.56/48.68 c | 73828 | 636 56659 238983 | 2147483647 73828 28 | 0.000 % |
48.85/48.90 c | 74043 | 636 56659 238983 | 2147483647 74043 28 | 0.000 % |
49.15/49.27 c | 74276 | 636 56659 238983 | 2147483647 74276 28 | 0.000 % |
49.46/49.58 c | 74536 | 636 56659 238983 | 2147483647 74536 28 | 0.000 % |
49.95/50.00 c | 74817 | 636 56659 238983 | 2147483647 74817 28 | 0.000 % |
50.25/50.37 c | 75127 | 636 56659 238983 | 2147483647 75127 28 | 0.000 % |
50.65/50.72 c | 75468 | 636 56659 238983 | 2147483647 75468 28 | 0.000 % |
51.05/51.11 c | 75841 | 636 56659 238983 | 2147483647 75841 28 | 0.000 % |
51.55/51.62 c | 76250 | 636 56659 238983 | 2147483647 76250 28 | 0.000 % |
52.15/52.27 c | 76702 | 636 56659 238983 | 2147483647 76702 28 | 0.000 % |
52.65/52.78 c | 77198 | 636 56659 238983 | 2147483647 77198 28 | 0.000 % |
53.35/53.41 c | 77741 | 636 56659 238983 | 2147483647 77741 28 | 0.000 % |
53.95/54.07 c | 78337 | 636 56659 238983 | 2147483647 78337 28 | 0.000 % |
54.65/54.77 c | 78992 | 636 56659 238983 | 2147483647 78992 28 | 0.000 % |
55.45/55.56 c | 79712 | 636 56659 238983 | 2147483647 79712 28 | 0.000 % |
56.35/56.45 c | 80505 | 636 56659 238983 | 2147483647 80505 28 | 0.000 % |
57.55/57.69 c | 81376 | 636 56659 238983 | 2147483647 81376 28 | 0.000 % |
58.75/58.84 c | 82335 | 636 56659 238983 | 2147483647 82335 28 | 0.000 % |
58.95/59.00 c | 82437 | 636 56659 238983 | 2147483647 82437 28 | 0.000 % |
59.05/59.14 c | 82547 | 636 56659 238983 | 2147483647 82547 28 | 0.000 % |
59.25/59.34 c | 82671 | 636 56659 238983 | 2147483647 82671 28 | 0.000 % |
59.45/59.54 c | 82811 | 636 56659 238983 | 2147483647 82811 28 | 0.000 % |
59.64/59.76 c | 82958 | 636 56659 238983 | 2147483647 82958 28 | 0.000 % |
59.84/59.98 c | 83118 | 636 56659 238983 | 2147483647 83118 28 | 0.000 % |
60.04/60.17 c | 83294 | 636 56659 238983 | 2147483647 83294 28 | 0.000 % |
60.35/60.40 c | 83487 | 636 56659 238983 | 2147483647 83487 28 | 0.000 % |
60.54/60.66 c | 83699 | 636 56659 238983 | 2147483647 83699 28 | 0.000 % |
60.84/60.95 c | 83932 | 636 56659 238983 | 2147483647 83932 28 | 0.000 % |
61.24/61.33 c | 84189 | 636 56659 238983 | 2147483647 84189 28 | 0.000 % |
61.56/61.68 c | 84472 | 636 56659 238983 | 2147483647 84472 28 | 0.000 % |
61.95/62.01 c | 84781 | 636 56659 238983 | 2147483647 84781 28 | 0.000 % |
62.25/62.40 c | 85123 | 636 56659 238983 | 2147483647 85123 28 | 0.000 % |
62.75/62.80 c | 85496 | 636 56659 238983 | 2147483647 85496 28 | 0.000 % |
63.25/63.32 c | 85905 | 636 56659 238983 | 2147483647 85905 28 | 0.000 % |
63.85/63.94 c | 86355 | 636 56659 238983 | 2147483647 86355 28 | 0.000 % |
64.45/64.53 c | 86848 | 636 56659 238983 | 2147483647 86848 28 | 0.000 % |
65.05/65.18 c | 87390 | 636 56659 238983 | 2147483647 87390 28 | 0.000 % |
65.75/65.82 c | 87987 | 636 56659 238983 | 2147483647 87987 28 | 0.000 % |
66.45/66.55 c | 88643 | 636 56659 238983 | 2147483647 88643 28 | 0.000 % |
67.45/67.58 c | 89363 | 636 56659 238983 | 2147483647 89363 28 | 0.000 % |
68.45/68.56 c | 90155 | 636 56659 238983 | 2147483647 90155 28 | 0.000 % |
69.65/69.74 c | 91031 | 636 56659 238983 | 2147483647 91031 28 | 0.000 % |
71.05/71.17 c | 91990 | 636 56659 238983 | 2147483647 91990 28 | 0.000 % |
72.75/72.80 c | 93043 | 636 56659 238983 | 2147483647 93043 28 | 0.000 % |
72.95/73.01 c | 93143 | 636 56659 238983 | 2147483647 93143 28 | 0.000 % |
73.15/73.23 c | 93254 | 636 56659 238983 | 2147483647 93254 28 | 0.000 % |
73.35/73.40 c | 93377 | 636 56659 238983 | 2147483647 93377 28 | 0.000 % |
73.55/73.62 c | 93513 | 636 56659 238983 | 2147483647 93513 28 | 0.000 % |
73.85/73.90 c | 93659 | 636 56659 238983 | 2147483647 93659 28 | 0.000 % |
74.05/74.17 c | 93819 | 636 56659 238983 | 2147483647 93819 28 | 0.000 % |
74.35/74.44 c | 93997 | 636 56659 238983 | 2147483647 93997 28 | 0.000 % |
74.65/74.71 c | 94190 | 636 56659 238983 | 2147483647 94190 28 | 0.000 % |
74.95/75.00 c | 94404 | 636 56659 238983 | 2147483647 94404 28 | 0.000 % |
75.25/75.32 c | 94637 | 636 56659 238983 | 2147483647 94637 28 | 0.000 % |
75.55/75.69 c | 94893 | 636 56659 238983 | 2147483647 94893 28 | 0.000 % |
76.05/76.16 c | 95176 | 636 56659 238983 | 2147483647 95176 28 | 0.000 % |
76.45/76.53 c | 95485 | 636 56659 238983 | 2147483647 95485 28 | 0.000 % |
76.85/76.99 c | 95826 | 636 56659 238983 | 2147483647 95826 28 | 0.000 % |
77.55/77.62 c | 96200 | 636 56659 238983 | 2147483647 96200 28 | 0.000 % |
78.15/78.20 c | 96609 | 636 56659 238983 | 2147483647 96609 28 | 0.000 % |
78.75/78.84 c | 97059 | 636 56659 238983 | 2147483647 97059 28 | 0.000 % |
79.54/79.65 c | 97553 | 636 56659 238983 | 2147483647 97553 28 | 0.000 % |
80.54/80.65 c | 98095 | 636 56659 238983 | 2147483647 98095 28 | 0.000 % |
81.64/81.71 c | 98691 | 636 56659 238983 | 2147483647 98691 28 | 0.000 % |
82.74/82.82 c | 99347 | 636 56659 238983 | 2147483647 99347 28 | 0.000 % |
83.94/84.02 c | 100067 | 636 56659 238983 | 2147483647 100067 28 | 0.000 % |
85.34/85.45 c | 100859 | 636 56659 238983 | 2147483647 100859 28 | 0.000 % |
86.64/86.77 c | 101730 | 636 56659 238983 | 2147483647 101730 28 | 0.000 % |
88.54/88.60 c | 102689 | 636 56659 238983 | 2147483647 102689 28 | 0.000 % |
89.94/90.04 c | 103744 | 636 56659 238983 | 2147483647 103744 28 | 0.000 % |
91.64/91.75 c | 104903 | 636 56659 238983 | 2147483647 104903 28 | 0.000 % |
91.74/91.88 c | 105004 | 636 56659 238983 | 2147483647 105004 28 | 0.000 % |
92.04/92.18 c | 105115 | 636 56659 238983 | 2147483647 105115 28 | 0.000 % |
92.34/92.44 c | 105237 | 636 56659 238983 | 2147483647 105237 28 | 0.000 % |
92.54/92.64 c | 105371 | 636 56659 238983 | 2147483647 105371 28 | 0.000 % |
92.74/92.87 c | 105521 | 636 56659 238983 | 2147483647 105521 28 | 0.000 % |
93.04/93.17 c | 105681 | 636 56659 238983 | 2147483647 105681 28 | 0.000 % |
93.35/93.48 c | 105861 | 636 56659 238983 | 2147483647 105861 28 | 0.000 % |
93.64/93.76 c | 106054 | 636 56659 238983 | 2147483647 106054 28 | 0.000 % |
94.24/94.30 c | 106266 | 636 56659 238983 | 2147483647 106266 28 | 0.000 % |
94.64/94.79 c | 106499 | 636 56659 238983 | 2147483647 106499 28 | 0.000 % |
95.14/95.23 c | 106755 | 636 56659 238983 | 2147483647 106755 28 | 0.000 % |
95.55/95.68 c | 107041 | 636 56659 238983 | 2147483647 107041 28 | 0.000 % |
96.14/96.24 c | 107352 | 636 56659 238983 | 2147483647 107352 28 | 0.000 % |
96.65/96.79 c | 107691 | 636 56659 238983 | 2147483647 107691 28 | 0.000 % |
97.24/97.36 c | 108064 | 636 56659 238983 | 2147483647 108064 28 | 0.000 % |
98.04/98.15 c | 108476 | 636 56659 238983 | 2147483647 108476 28 | 0.000 % |
98.85/98.93 c | 108927 | 636 56659 238983 | 2147483647 108927 28 | 0.000 % |
99.64/99.74 c | 109421 | 636 56659 238983 | 2147483647 109421 28 | 0.000 % |
100.44/100.57 c | 109965 | 636 56659 238983 | 2147483647 109965 28 | 0.000 % |
101.44/101.52 c | 110562 | 636 56659 238983 | 2147483647 110562 28 | 0.000 % |
102.74/102.84 c | 111217 | 636 56659 238983 | 2147483647 111217 28 | 0.000 % |
104.04/104.17 c | 111938 | 636 56659 238983 | 2147483647 111938 28 | 0.000 % |
105.54/105.65 c | 112730 | 636 56659 238983 | 2147483647 112730 28 | 0.000 % |
107.03/107.15 c | 113602 | 636 56659 238983 | 2147483647 113602 28 | 0.000 % |
108.63/108.76 c | 114560 | 636 56659 238983 | 2147483647 114560 28 | 0.000 % |
111.04/111.14 c | 115613 | 636 56659 238983 | 2147483647 115613 28 | 0.000 % |
113.34/113.44 c | 116772 | 636 56659 238983 | 2147483647 116772 28 | 0.000 % |
115.84/115.99 c | 118047 | 636 56659 238983 | 2147483647 118047 28 | 0.000 % |
116.14/116.29 c | 118150 | 636 56659 238983 | 2147483647 118150 28 | 0.000 % |
116.44/116.55 c | 118260 | 636 56659 238983 | 2147483647 118260 28 | 0.000 % |
116.64/116.76 c | 118383 | 636 56659 238983 | 2147483647 118383 28 | 0.000 % |
116.84/116.97 c | 118518 | 636 56659 238983 | 2147483647 118518 28 | 0.000 % |
117.24/117.33 c | 118665 | 636 56659 238983 | 2147483647 118665 28 | 0.000 % |
117.54/117.63 c | 118825 | 636 56659 238983 | 2147483647 118825 28 | 0.000 % |
117.94/118.02 c | 119003 | 636 56659 238983 | 2147483647 119003 28 | 0.000 % |
118.34/118.46 c | 119199 | 636 56659 238983 | 2147483647 119199 28 | 0.000 % |
118.74/118.88 c | 119411 | 636 56659 238983 | 2147483647 119411 28 | 0.000 % |
119.24/119.37 c | 119647 | 636 56659 238983 | 2147483647 119647 28 | 0.000 % |
119.74/119.89 c | 119906 | 636 56659 238983 | 2147483647 119906 28 | 0.000 % |
120.24/120.36 c | 120189 | 636 56659 238983 | 2147483647 120189 28 | 0.000 % |
120.94/121.00 c | 120498 | 636 56659 238983 | 2147483647 120498 28 | 0.000 % |
121.73/121.84 c | 120839 | 636 56659 238983 | 2147483647 120839 28 | 0.000 % |
122.53/122.68 c | 121212 | 636 56659 238983 | 2147483647 121212 28 | 0.000 % |
123.23/123.38 c | 121622 | 636 56659 238983 | 2147483647 121622 28 | 0.000 % |
124.03/124.11 c | 122071 | 636 56659 238983 | 2147483647 122071 28 | 0.000 % |
125.13/125.28 c | 122564 | 636 56659 238983 | 2147483647 122564 28 | 0.000 % |
126.33/126.48 c | 123106 | 636 56659 238983 | 2147483647 123106 28 | 0.000 % |
127.54/127.61 c | 123702 | 636 56659 238983 | 2147483647 123702 28 | 0.000 % |
128.93/129.03 c | 124359 | 636 56659 238983 | 2147483647 124359 28 | 0.000 % |
130.33/130.43 c | 125080 | 636 56659 238983 | 2147483647 125080 28 | 0.000 % |
132.03/132.17 c | 125874 | 636 56659 238983 | 2147483647 125874 28 | 0.000 % |
134.03/134.19 c | 126746 | 636 56659 238983 | 2147483647 126746 28 | 0.000 % |
136.34/136.45 c | 127707 | 636 56659 238983 | 2147483647 127707 28 | 0.000 % |
138.54/138.61 c | 128761 | 636 56659 238983 | 2147483647 128761 28 | 0.000 % |
140.73/140.89 c | 129919 | 636 56659 238983 | 2147483647 129919 28 | 0.000 % |
143.63/143.75 c | 131193 | 636 56659 238983 | 2147483647 131193 28 | 0.000 % |
146.83/146.93 c | 132595 | 636 56659 238983 | 2147483647 132595 28 | 0.000 % |
147.03/147.12 c | 132695 | 636 56659 238983 | 2147483647 132695 28 | 0.000 % |
147.23/147.36 c | 132806 | 636 56659 238983 | 2147483647 132806 28 | 0.000 % |
147.43/147.55 c | 132928 | 636 56659 238983 | 2147483647 132928 28 | 0.000 % |
147.73/147.84 c | 133061 | 636 56659 238983 | 2147483647 133061 28 | 0.000 % |
147.93/148.08 c | 133210 | 636 56659 238983 | 2147483647 133210 28 | 0.000 % |
148.23/148.37 c | 133370 | 636 56659 238983 | 2147483647 133370 28 | 0.000 % |
148.53/148.68 c | 133546 | 636 56659 238983 | 2147483647 133546 28 | 0.000 % |
148.83/148.99 c | 133742 | 636 56659 238983 | 2147483647 133742 28 | 0.000 % |
149.23/149.39 c | 133954 | 636 56659 238983 | 2147483647 133954 28 | 0.000 % |
149.73/149.80 c | 134187 | 636 56659 238983 | 2147483647 134187 28 | 0.000 % |
150.13/150.24 c | 134443 | 636 56659 238983 | 2147483647 134443 28 | 0.000 % |
150.63/150.80 c | 134725 | 636 56659 238983 | 2147483647 134725 28 | 0.000 % |
151.23/151.38 c | 135034 | 636 56659 238983 | 2147483647 135034 28 | 0.000 % |
151.73/151.86 c | 135373 | 636 56659 238983 | 2147483647 135373 28 | 0.000 % |
152.12/152.27 c | 135745 | 636 56659 238983 | 2147483647 135745 28 | 0.000 % |
152.62/152.71 c | 136156 | 636 56659 238983 | 2147483647 136156 28 | 0.000 % |
154.62/154.71 c | 136607 | 636 56659 238983 | 2147483647 136607 28 | 0.000 % |
156.52/156.61 c | 137102 | 636 56659 238983 | 2147483647 137102 27 | 0.000 % |
157.23/157.38 c | 137644 | 636 56659 238983 | 2147483647 137644 27 | 0.000 % |
158.92/159.03 c | 138240 | 636 56659 238983 | 2147483647 138240 27 | 0.000 % |
160.62/160.72 c | 138895 | 636 56659 238983 | 2147483647 138895 27 | 0.000 % |
162.62/162.71 c | 139618 | 636 56659 238983 | 2147483647 139618 27 | 0.000 % |
164.22/164.31 c | 140410 | 636 56659 238983 | 2147483647 140410 27 | 0.000 % |
167.02/167.16 c | 141282 | 636 56659 238983 | 2147483647 141282 27 | 0.000 % |
170.52/170.61 c | 142241 | 636 56659 238983 | 2147483647 142241 27 | 0.000 % |
173.21/173.32 c | 143295 | 636 56659 238983 | 2147483647 143295 27 | 0.000 % |
176.32/176.42 c | 144455 | 636 56659 238983 | 2147483647 144455 27 | 0.000 % |
177.42/177.57 c | 145733 | 636 56659 238983 | 2147483647 145733 27 | 0.000 % |
178.92/179.08 c | 147136 | 636 56659 238983 | 2147483647 147136 27 | 0.002 % |
185.52/185.65 c | 148679 | 636 56659 238983 | 2147483647 148679 27 | 0.000 % |
185.82/185.91 c | 148782 | 636 56659 238983 | 2147483647 148782 27 | 0.000 % |
186.12/186.20 c | 148893 | 636 56659 238983 | 2147483647 148893 27 | 0.000 % |
186.32/186.42 c | 149015 | 636 56659 238983 | 2147483647 149015 27 | 0.000 % |
187.12/187.29 c | 149148 | 636 56659 238983 | 2147483647 149148 27 | 0.000 % |
188.02/188.19 c | 149295 | 636 56659 238983 | 2147483647 149295 27 | 0.000 % |
189.02/189.11 c | 149457 | 636 56659 238983 | 2147483647 149457 27 | 0.000 % |
189.92/190.04 c | 149634 | 636 56659 238983 | 2147483647 149634 27 | 0.000 % |
191.12/191.27 c | 149829 | 636 56659 238983 | 2147483647 149829 27 | 0.000 % |
192.22/192.31 c | 150041 | 636 56659 238983 | 150000 150041 27 | 0.000 % |
193.42/193.56 c | 150275 | 636 56659 238983 | 150000 125119 27 | 0.000 % |
195.12/195.22 c | 150532 | 636 56659 238983 | 150000 125376 27 | 0.000 % |
196.12/196.23 c | 150815 | 636 56659 238983 | 150000 125659 27 | 0.000 % |
197.32/197.45 c | 151125 | 636 56659 238983 | 150000 125969 27 | 0.000 % |
197.61/197.76 c | 151464 | 636 56659 238983 | 150000 126308 27 | 0.000 % |
198.01/198.11 c | 151837 | 636 56659 238983 | 150000 126681 27 | 0.000 % |
198.51/198.61 c | 152247 | 636 56659 238983 | 150000 127091 27 | 0.000 % |
200.51/200.63 c | 152696 | 636 56659 238983 | 150000 127540 27 | 0.000 % |
203.21/203.39 c | 153189 | 636 56659 238983 | 150000 128033 27 | 0.000 % |
204.21/204.35 c | 153731 | 636 56659 238983 | 150000 128575 27 | 0.000 % |
207.41/207.51 c | 154327 | 636 56659 238983 | 150000 129171 27 | 0.000 % |
211.21/211.34 c | 154982 | 636 56659 238983 | 150000 129826 27 | 0.000 % |
215.51/215.68 c | 155702 | 636 56659 238983 | 150000 130546 27 | 0.000 % |
220.11/220.26 c | 156494 | 636 56659 238983 | 150000 131338 27 | 0.000 % |
226.10/226.20 c | 157365 | 636 56659 238983 | 150000 132209 27 | 0.000 % |
231.70/231.82 c | 158328 | 636 56659 238983 | 150000 133172 27 | 0.000 % |
237.51/237.66 c | 159381 | 636 56659 238983 | 150000 134225 27 | 0.000 % |
245.80/245.98 c | 160541 | 636 56659 238983 | 134844 97140 26 | 0.000 % |
251.70/251.83 c | 161814 | 636 56659 238983 | 134844 98413 26 | 0.000 % |
257.59/257.74 c | 163214 | 636 56659 238983 | 134844 99813 26 | 0.000 % |
263.90/264.04 c | 164754 | 636 56659 238983 | 134844 101353 26 | 0.000 % |
271.09/271.20 c | 166448 | 636 56659 238983 | 134844 103047 26 | 0.000 % |
271.50/271.60 c | 166550 | 636 56659 238983 | 134844 103149 26 | 0.000 % |
272.09/272.27 c | 166663 | 636 56659 238983 | 134844 103262 26 | 0.000 % |
272.60/272.75 c | 166785 | 636 56659 238983 | 134844 103384 26 | 0.000 % |
272.89/273.05 c | 166918 | 636 56659 238983 | 134844 103517 26 | 0.000 % |
273.59/273.75 c | 167066 | 636 56659 238983 | 134844 103665 26 | 0.000 % |
273.80/273.93 c | 167229 | 636 56659 238983 | 134844 103828 26 | 0.000 % |
274.19/274.30 c | 167407 | 636 56659 238983 | 134844 104006 26 | 0.000 % |
274.29/274.47 c | 167600 | 636 56659 238983 | 134844 104199 26 | 0.000 % |
274.49/274.63 c | 167812 | 636 56659 238983 | 134844 104411 26 | 0.000 % |
274.69/274.83 c | 168045 | 636 56659 238983 | 134844 104644 26 | 0.000 % |
275.59/275.71 c | 168301 | 636 56659 238983 | 134844 104900 26 | 0.000 % |
276.89/277.04 c | 168582 | 636 56659 238983 | 134844 105181 26 | 0.000 % |
277.59/277.77 c | 168891 | 636 56659 238983 | 134844 105490 26 | 0.000 % |
279.29/279.47 c | 169231 | 636 56659 238983 | 134844 105830 26 | 0.000 % |
281.29/281.42 c | 169603 | 636 56659 238983 | 134844 106202 26 | 0.000 % |
282.79/282.94 c | 170012 | 636 56659 238983 | 106603 106611 26 | 0.000 % |
285.49/285.63 c | 170461 | 636 56659 238983 | 106603 78975 25 | 0.000 % |
286.89/287.08 c | 170954 | 636 56659 238983 | 106603 79468 25 | 0.000 % |
287.69/287.86 c | 171496 | 636 56659 238983 | 106603 80010 25 | 0.000 % |
289.19/289.34 c | 172095 | 636 56659 238983 | 106603 80609 25 | 0.000 % |
290.99/291.20 c | 172750 | 636 56659 238983 | 106603 81264 25 | 0.000 % |
292.39/292.57 c | 173471 | 636 56659 238983 | 106603 81985 25 | 0.000 % |
294.69/294.84 c | 174263 | 636 56659 238983 | 106603 82777 25 | 0.000 % |
297.68/297.84 c | 175134 | 636 56659 238983 | 106603 83648 25 | 0.000 % |
299.48/299.66 c | 176093 | 636 56659 238983 | 106603 84607 25 | 0.000 % |
302.99/303.17 c | 177147 | 636 56659 238983 | 106603 85661 25 | 0.000 % |
306.49/306.67 c | 178306 | 636 56659 238983 | 106603 86820 26 | 0.000 % |
309.09/309.24 c | 179580 | 636 56659 238983 | 106603 88094 26 | 0.000 % |
312.99/313.12 c | 180981 | 636 56659 238983 | 88514 67554 25 | 0.000 % |
316.39/316.52 c | 182521 | 636 56659 238983 | 88514 69094 26 | 0.000 % |
318.69/318.90 c | 184216 | 636 56659 238983 | 88514 70789 26 | 0.000 % |
322.49/322.65 c | 186079 | 636 56659 238983 | 88514 72652 26 | 0.000 % |
322.69/322.88 c | 186179 | 636 56659 238983 | 88514 72752 26 | 0.000 % |
322.99/323.12 c | 186289 | 636 56659 238983 | 88514 72862 26 | 0.000 % |
323.19/323.38 c | 186411 | 636 56659 238983 | 88514 72984 26 | 0.000 % |
323.49/323.63 c | 186544 | 636 56659 238983 | 88514 73117 26 | 0.000 % |
323.89/324.01 c | 186690 | 636 56659 238983 | 88514 73263 26 | 0.000 % |
324.19/324.34 c | 186851 | 636 56659 238983 | 88514 73424 26 | 0.000 % |
324.59/324.72 c | 187028 | 636 56659 238983 | 88514 73601 26 | 0.000 % |
324.99/325.15 c | 187221 | 636 56659 238983 | 88514 73794 26 | 0.000 % |
325.49/325.62 c | 187433 | 636 56659 238983 | 88514 74006 26 | 0.000 % |
325.99/326.17 c | 187666 | 636 56659 238983 | 88514 74239 26 | 0.000 % |
326.49/326.70 c | 187925 | 636 56659 238983 | 88514 74498 26 | 0.000 % |
327.08/327.26 c | 188208 | 636 56659 238983 | 88514 74781 26 | 0.000 % |
327.69/327.86 c | 188518 | 636 56659 238983 | 88514 75091 26 | 0.000 % |
328.48/328.68 c | 188859 | 636 56659 238983 | 88514 75432 26 | 0.000 % |
329.28/329.49 c | 189231 | 636 56659 238983 | 88514 75804 26 | 0.000 % |
330.28/330.41 c | 189643 | 636 56659 238983 | 88514 76216 26 | 0.000 % |
331.18/331.36 c | 190093 | 636 56659 238983 | 2147483647 76666 26 | 0.000 % |
332.38/332.58 c | 190586 | 636 56659 238983 | 2147483647 77159 26 | 0.000 % |
333.98/334.13 c | 191131 | 636 56659 238983 | 2147483647 77704 26 | 0.000 % |
334.58/334.75 c | 191730 | 636 56659 238983 | 2147483647 78303 26 | 0.000 % |
336.18/336.39 c | 192385 | 636 56659 238983 | 2147483647 78958 26 | 0.000 % |
337.88/338.09 c | 193105 | 636 56659 238983 | 2147483647 79678 27 | 0.000 % |
339.98/340.15 c | 193897 | 636 56659 238983 | 2147483647 80470 27 | 0.000 % |
342.08/342.21 c | 194768 | 636 56659 238983 | 2147483647 81341 27 | 0.000 % |
344.08/344.20 c | 195729 | 636 56659 238983 | 2147483647 82302 27 | 0.000 % |
346.18/346.39 c | 196785 | 636 56659 238983 | 2147483647 83358 27 | 0.000 % |
348.78/348.94 c | 197947 | 636 56659 238983 | 2147483647 84520 26 | 0.000 % |
351.68/351.84 c | 199220 | 636 56659 238983 | 2147483647 85793 26 | 0.000 % |
354.98/355.11 c | 200621 | 636 56659 238983 | 2147483647 87194 26 | 0.000 % |
357.77/357.90 c | 202161 | 636 56659 238983 | 2147483647 88734 26 | 0.000 % |
360.87/361.05 c | 203857 | 636 56659 238983 | 2147483647 90430 26 | 0.000 % |
364.27/364.48 c | 205722 | 636 56659 238983 | 2147483647 92295 26 | 0.000 % |
369.27/369.44 c | 207771 | 636 56659 238983 | 2147483647 94344 26 | 0.000 % |
369.47/369.68 c | 207874 | 636 56659 238983 | 2147483647 94447 26 | 0.002 % |
369.77/369.96 c | 207985 | 636 56659 238983 | 2147483647 94558 26 | 0.000 % |
370.07/370.24 c | 208109 | 636 56659 238983 | 2147483647 94682 26 | 0.000 % |
370.37/370.54 c | 208242 | 636 56659 238983 | 2147483647 94815 26 | 0.000 % |
370.67/370.89 c | 208388 | 636 56659 238983 | 2147483647 94961 26 | 0.000 % |
371.17/371.33 c | 208549 | 636 56659 238983 | 2147483647 95122 26 | 0.000 % |
371.67/371.83 c | 208725 | 636 56659 238983 | 2147483647 95298 26 | 0.000 % |
372.07/372.24 c | 208918 | 636 56659 238983 | 2147483647 95491 26 | 0.000 % |
372.57/372.78 c | 209131 | 636 56659 238983 | 2147483647 95704 26 | 0.000 % |
373.27/373.45 c | 209367 | 636 56659 238983 | 2147483647 95940 27 | 0.000 % |
373.87/374.06 c | 209623 | 636 56659 238983 | 2147483647 96196 27 | 0.000 % |
374.57/374.76 c | 209908 | 636 56659 238983 | 2147483647 96481 27 | 0.000 % |
375.27/375.49 c | 210219 | 636 56659 238983 | 2147483647 96792 27 | 0.000 % |
376.17/376.30 c | 210558 | 636 56659 238983 | 2147483647 97131 27 | 0.000 % |
377.07/377.20 c | 210931 | 636 56659 238983 | 2147483647 97504 27 | 0.000 % |
377.57/377.79 c | 211340 | 636 56659 238983 | 2147483647 97913 27 | 0.000 % |
378.97/379.11 c | 211789 | 636 56659 238983 | 2147483647 98362 27 | 0.000 % |
380.17/380.38 c | 212284 | 636 56659 238983 | 2147483647 98857 27 | 0.000 % |
381.37/381.59 c | 212827 | 636 56659 238983 | 2147483647 99400 27 | 0.000 % |
382.76/382.95 c | 213423 | 636 56659 238983 | 2147483647 99996 27 | 0.000 % |
384.27/384.47 c | 214078 | 636 56659 238983 | 2147483647 100651 27 | 0.000 % |
386.16/386.39 c | 214800 | 636 56659 238983 | 2147483647 101373 27 | 0.000 % |
388.07/388.29 c | 215592 | 636 56659 238983 | 2147483647 102165 27 | 0.000 % |
390.56/390.77 c | 216463 | 636 56659 238983 | 2147483647 103036 27 | 0.000 % |
393.06/393.20 c | 217421 | 636 56659 238983 | 2147483647 103994 27 | 0.000 % |
395.66/395.80 c | 218474 | 636 56659 238983 | 2147483647 105047 27 | 0.000 % |
398.46/398.70 c | 219635 | 636 56659 238983 | 2147483647 106208 27 | 0.000 % |
401.26/401.49 c | 220909 | 636 56659 238983 | 106576 96797 27 | 0.000 % |
403.86/404.04 c | 222310 | 636 56659 238983 | 106576 98198 27 | 0.000 % |
406.36/406.52 c | 223851 | 636 56659 238983 | 106576 99739 27 | 0.000 % |
409.25/409.48 c | 225546 | 636 56659 238983 | 106576 101434 27 | 0.000 % |
413.05/413.24 c | 227409 | 636 56659 238983 | 106576 103297 27 | 0.000 % |
417.15/417.38 c | 229459 | 636 56659 238983 | 106576 105347 27 | 0.000 % |
421.45/421.63 c | 231713 | 636 56659 238983 | 2147483647 107601 27 | 0.000 % |
421.65/421.81 c | 231814 | 636 56659 238983 | 2147483647 107702 27 | 0.000 % |
421.85/422.05 c | 231924 | 636 56659 238983 | 2147483647 107812 27 | 0.000 % |
422.05/422.29 c | 232049 | 636 56659 238983 | 2147483647 107937 27 | 0.000 % |
422.35/422.58 c | 232183 | 636 56659 238983 | 2147483647 108071 27 | 0.000 % |
422.65/422.86 c | 232329 | 636 56659 238983 | 2147483647 108217 27 | 0.000 % |
423.05/423.21 c | 232489 | 636 56659 238983 | 2147483647 108377 27 | 0.000 % |
423.35/423.59 c | 232667 | 636 56659 238983 | 2147483647 108555 27 | 0.000 % |
423.75/423.94 c | 232860 | 636 56659 238983 | 2147483647 108748 27 | 0.000 % |
424.15/424.34 c | 233072 | 636 56659 238983 | 2147483647 108960 27 | 0.000 % |
424.75/424.95 c | 233305 | 636 56659 238983 | 2147483647 109193 27 | 0.000 % |
425.36/425.51 c | 233563 | 636 56659 238983 | 2147483647 109451 27 | 0.000 % |
425.96/426.13 c | 233844 | 636 56659 238983 | 2147483647 109732 27 | 0.000 % |
426.56/426.72 c | 234153 | 636 56659 238983 | 2147483647 110041 27 | 0.000 % |
427.16/427.40 c | 234493 | 636 56659 238983 | 2147483647 110381 27 | 0.000 % |
427.96/428.13 c | 234866 | 636 56659 238983 | 2147483647 110754 27 | 0.000 % |
428.76/428.94 c | 235275 | 636 56659 238983 | 2147483647 111163 27 | 0.000 % |
429.55/429.79 c | 235724 | 636 56659 238983 | 2147483647 111612 27 | 0.000 % |
430.55/430.75 c | 236218 | 636 56659 238983 | 2147483647 112106 27 | 0.000 % |
431.45/431.67 c | 236761 | 636 56659 238983 | 2147483647 112649 27 | 0.000 % |
432.85/433.08 c | 237359 | 636 56659 238983 | 2147483647 113247 27 | 0.000 % |
434.45/434.61 c | 238014 | 636 56659 238983 | 2147483647 113902 27 | 0.000 % |
436.05/436.23 c | 238736 | 636 56659 238983 | 2147483647 114624 27 | 0.000 % |
437.56/437.78 c | 239530 | 636 56659 238983 | 2147483647 115418 27 | 0.000 % |
439.55/439.70 c | 240403 | 636 56659 238983 | 2147483647 116291 27 | 0.000 % |
441.65/441.84 c | 241361 | 636 56659 238983 | 2147483647 117249 27 | 0.000 % |
443.85/444.04 c | 242416 | 636 56659 238983 | 2147483647 118304 27 | 0.000 % |
446.45/446.62 c | 243575 | 636 56659 238983 | 2147483647 119463 27 | 0.000 % |
449.45/449.67 c | 244848 | 636 56659 238983 | 2147483647 120736 27 | 0.000 % |
452.05/452.25 c | 246252 | 636 56659 238983 | 2147483647 122140 27 | 0.000 % |
455.75/455.92 c | 247794 | 636 56659 238983 | 2147483647 123682 27 | 0.000 % |
459.25/459.44 c | 249488 | 636 56659 238983 | 2147483647 125376 27 | 0.000 % |
463.95/464.13 c | 251351 | 636 56659 238983 | 2147483647 127239 27 | 0.000 % |
468.94/469.12 c | 253401 | 636 56659 238983 | 2147483647 129289 27 | 0.000 % |
474.74/474.96 c | 255654 | 636 56659 238983 | 2147483647 131542 27 | 0.000 % |
480.84/481.02 c | 258134 | 636 56659 238983 | 2147483647 134022 27 | 0.000 % |
481.04/481.25 c | 258235 | 636 56659 238983 | 2147483647 134123 27 | 0.000 % |
481.34/481.53 c | 258348 | 636 56659 238983 | 2147483647 134236 27 | 0.000 % |
481.54/481.78 c | 258469 | 636 56659 238983 | 2147483647 134357 27 | 0.000 % |
481.84/482.09 c | 258602 | 636 56659 238983 | 2147483647 134490 27 | 0.000 % |
482.24/482.45 c | 258748 | 636 56659 238983 | 2147483647 134636 27 | 0.000 % |
482.54/482.78 c | 258911 | 636 56659 238983 | 2147483647 134799 27 | 0.000 % |
483.04/483.22 c | 259089 | 636 56659 238983 | 2147483647 134977 27 | 0.000 % |
483.64/483.82 c | 259284 | 636 56659 238983 | 2147483647 135172 27 | 0.000 % |
484.24/484.40 c | 259498 | 636 56659 238983 | 2147483647 135386 27 | 0.000 % |
484.84/485.08 c | 259731 | 636 56659 238983 | 2147483647 135619 27 | 0.001 % |
485.54/485.76 c | 259989 | 636 56659 238983 | 2147483647 135877 27 | 0.000 % |
486.54/486.71 c | 260270 | 636 56659 238983 | 135888 122508 27 | 0.000 % |
487.14/487.30 c | 260582 | 636 56659 238983 | 135888 122820 27 | 0.000 % |
487.83/488.08 c | 260925 | 636 56659 238983 | 135888 123163 27 | 0.000 % |
488.73/488.99 c | 261297 | 636 56659 238983 | 135888 123535 27 | 0.000 % |
489.73/489.99 c | 261706 | 636 56659 238983 | 135888 123944 27 | 0.000 % |
490.83/491.06 c | 262155 | 636 56659 238983 | 135888 124393 27 | 0.000 % |
491.73/491.94 c | 262648 | 636 56659 238983 | 135888 124886 27 | 0.000 % |
492.64/492.86 c | 263190 | 636 56659 238983 | 135888 125428 27 | 0.000 % |
493.83/494.04 c | 263786 | 636 56659 238983 | 135888 126024 27 | 0.000 % |
494.93/495.19 c | 264441 | 636 56659 238983 | 135888 126679 27 | 0.000 % |
496.73/496.94 c | 265161 | 636 56659 238983 | 135888 127399 27 | 0.000 % |
498.14/498.32 c | 265956 | 636 56659 238983 | 135888 128194 27 | 0.000 % |
499.73/499.99 c | 266828 | 636 56659 238983 | 135888 129066 27 | 0.000 % |
501.43/501.67 c | 267786 | 636 56659 238983 | 135888 130024 27 | 0.000 % |
502.63/502.80 c | 268840 | 636 56659 238983 | 135888 131078 27 | 0.002 % |
503.73/503.98 c | 269999 | 636 56659 238983 | 135888 132237 27 | 0.002 % |
507.12/507.30 c | 271272 | 636 56659 238983 | 2147483647 133510 27 | 0.002 % |
511.23/511.48 c | 272673 | 636 56659 238983 | 2147483647 134911 27 | 0.002 % |
516.02/516.29 c | 274215 | 636 56659 238983 | 2147483647 136453 27 | 0.000 % |
521.52/521.73 c | 275911 | 636 56659 238983 | 2147483647 138149 27 | 0.000 % |
525.92/526.15 c | 277775 | 636 56659 238983 | 2147483647 140013 27 | 0.000 % |
528.42/528.63 c | 279824 | 636 56659 238983 | 2147483647 142062 27 | 0.000 % |
531.12/531.39 c | 282081 | 636 56659 238983 | 2147483647 144319 27 | 0.000 % |
544.12/544.40 c | 284559 | 636 56659 238983 | 2147483647 146797 27 | 0.000 % |
557.82/558.05 c | 287287 | 636 56659 238983 | 2147483647 149525 27 | 0.000 % |
558.32/558.53 c | 287387 | 636 56659 238983 | 2147483647 149625 27 | 0.000 % |
558.72/558.98 c | 287497 | 636 56659 238983 | 2147483647 149735 27 | 0.000 % |
559.42/559.65 c | 287618 | 636 56659 238983 | 2147483647 149856 27 | 0.000 % |
559.62/559.82 c | 287752 | 636 56659 238983 | 2147483647 149990 27 | 0.000 % |
559.72/560.00 c | 287901 | 636 56659 238983 | 2147483647 150139 27 | 0.000 % |
559.91/560.19 c | 288062 | 636 56659 238983 | 2147483647 150300 27 | 0.000 % |
560.82/561.08 c | 288239 | 636 56659 238983 | 2147483647 150477 27 | 0.000 % |
561.82/562.09 c | 288432 | 636 56659 238983 | 2147483647 150670 27 | 0.000 % |
563.11/563.36 c | 288644 | 636 56659 238983 | 2147483647 150882 27 | 0.000 % |
564.41/564.65 c | 288879 | 636 56659 238983 | 2147483647 151117 27 | 0.000 % |
566.11/566.31 c | 289137 | 636 56659 238983 | 2147483647 151375 27 | 0.000 % |
567.71/567.97 c | 289419 | 636 56659 238983 | 2147483647 151657 27 | 0.000 % |
569.31/569.57 c | 289731 | 636 56659 238983 | 2147483647 151969 27 | 0.000 % |
571.21/571.47 c | 290070 | 636 56659 238983 | 152238 152308 27 | 0.000 % |
574.21/574.44 c | 290444 | 636 56659 238983 | 152238 109695 26 | 0.000 % |
576.11/576.39 c | 290854 | 636 56659 238983 | 152238 110105 26 | 0.000 % |
577.91/578.14 c | 291305 | 636 56659 238983 | 152238 110556 26 | 0.000 % |
579.91/580.17 c | 291798 | 636 56659 238983 | 152238 111049 26 | 0.000 % |
581.71/581.94 c | 292341 | 636 56659 238983 | 152238 111592 26 | 0.000 % |
583.91/584.12 c | 292943 | 636 56659 238983 | 152238 112194 26 | 0.000 % |
586.31/586.60 c | 293600 | 636 56659 238983 | 152238 112851 26 | 0.000 % |
589.31/589.56 c | 294320 | 636 56659 238983 | 152238 113571 26 | 0.000 % |
591.71/591.93 c | 295113 | 636 56659 238983 | 152238 114364 26 | 0.000 % |
592.51/592.74 c | 295988 | 636 56659 238983 | 152238 115239 26 | 0.000 % |
593.41/593.68 c | 296946 | 636 56659 238983 | 152238 116197 26 | 0.000 % |
596.01/596.27 c | 297999 | 636 56659 238983 | 152238 117250 26 | 0.000 % |
601.20/601.43 c | 299158 | 636 56659 238983 | 152238 118409 26 | 0.000 % |
606.60/606.85 c | 300432 | 636 56659 238983 | 119253 97350 25 | 0.000 % |
610.70/610.99 c | 301832 | 636 56659 238983 | 119253 98750 25 | 0.000 % |
615.00/615.30 c | 303372 | 636 56659 238983 | 119253 100290 25 | 0.000 % |
616.50/616.70 c | 305066 | 636 56659 238983 | 119253 101984 25 | 0.000 % |
623.00/623.27 c | 306929 | 636 56659 238983 | 119253 103847 25 | 0.000 % |
630.60/630.87 c | 308980 | 636 56659 238983 | 119253 105898 26 | 0.000 % |
638.09/638.36 c | 311234 | 636 56659 238983 | 106919 88206 25 | 0.000 % |
644.30/644.55 c | 313712 | 636 56659 238983 | 106919 90684 26 | 0.002 % |
650.99/651.26 c | 316438 | 636 56659 238983 | 106919 93410 26 | 0.000 % |
657.99/658.21 c | 319437 | 636 56659 238983 | 106919 96409 26 | 0.000 % |
658.19/658.42 c | 319537 | 636 56659 238983 | 106919 96509 26 | 0.000 % |
658.59/658.84 c | 319648 | 636 56659 238983 | 106919 96620 26 | 0.000 % |
658.69/658.97 c | 319769 | 636 56659 238983 | 106919 96741 26 | 0.000 % |
659.09/659.39 c | 319904 | 636 56659 238983 | 106919 96876 26 | 0.000 % |
659.49/659.75 c | 320051 | 636 56659 238983 | 96972 97023 26 | 0.000 % |
660.39/660.66 c | 320212 | 636 56659 238983 | 96972 75402 25 | 0.000 % |
660.69/660.92 c | 320389 | 636 56659 238983 | 96972 75579 25 | 0.000 % |
660.99/661.24 c | 320583 | 636 56659 238983 | 96972 75773 25 | 0.000 % |
661.29/661.58 c | 320795 | 636 56659 238983 | 96972 75985 25 | 0.000 % |
661.59/661.87 c | 321028 | 636 56659 238983 | 96972 76218 25 | 0.000 % |
661.89/662.20 c | 321284 | 636 56659 238983 | 96972 76474 25 | 0.000 % |
662.48/662.76 c | 321568 | 636 56659 238983 | 96972 76758 26 | 0.000 % |
663.09/663.38 c | 321877 | 636 56659 238983 | 96972 77067 26 | 0.000 % |
663.78/664.03 c | 322216 | 636 56659 238983 | 96972 77406 26 | 0.000 % |
664.38/664.69 c | 322589 | 636 56659 238983 | 96972 77779 26 | 0.000 % |
664.88/665.15 c | 322998 | 636 56659 238983 | 96972 78188 26 | 0.000 % |
665.78/666.07 c | 323447 | 636 56659 238983 | 96972 78637 26 | 0.000 % |
666.58/666.88 c | 323940 | 636 56659 238983 | 96972 79130 26 | 0.000 % |
667.58/667.82 c | 324483 | 636 56659 238983 | 96972 79673 26 | 0.002 % |
668.78/669.08 c | 325081 | 636 56659 238983 | 96972 80271 26 | 0.000 % |
669.88/670.17 c | 325737 | 636 56659 238983 | 96972 80927 26 | 0.000 % |
670.58/670.84 c | 326457 | 636 56659 238983 | 96972 81647 26 | 0.000 % |
671.68/671.91 c | 327249 | 636 56659 238983 | 96972 82439 26 | 0.000 % |
672.99/673.25 c | 328121 | 636 56659 238983 | 96972 83311 26 | 0.000 % |
674.18/674.45 c | 329079 | 636 56659 238983 | 96972 84269 26 | 0.000 % |
676.48/676.72 c | 330136 | 636 56659 238983 | 2147483647 85326 26 | 0.000 % |
677.58/677.85 c | 331294 | 636 56659 238983 | 2147483647 86484 26 | 0.000 % |
679.38/679.69 c | 332569 | 636 56659 238983 | 2147483647 87759 26 | 0.000 % |
681.28/681.53 c | 333969 | 636 56659 238983 | 2147483647 89159 26 | 0.000 % |
683.68/683.94 c | 335511 | 636 56659 238983 | 2147483647 90701 26 | 0.000 % |
686.68/686.94 c | 337206 | 636 56659 238983 | 2147483647 92396 26 | 0.000 % |
690.68/690.90 c | 339070 | 636 56659 238983 | 2147483647 94260 26 | 0.000 % |
694.88/695.12 c | 341119 | 636 56659 238983 | 2147483647 96309 27 | 0.000 % |
700.07/700.31 c | 343372 | 636 56659 238983 | 2147483647 98562 27 | 0.000 % |
704.67/704.93 c | 345851 | 636 56659 238983 | 2147483647 101041 27 | 0.000 % |
709.18/709.46 c | 348576 | 636 56659 238983 | 2147483647 103766 26 | 0.000 % |
713.97/714.22 c | 351575 | 636 56659 238983 | 2147483647 106765 27 | 0.000 % |
718.37/718.64 c | 354871 | 636 56659 238983 | 2147483647 110061 27 | 0.000 % |
718.57/718.89 c | 354973 | 636 56659 238983 | 2147483647 110163 27 | 0.000 % |
718.87/719.16 c | 355083 | 636 56659 238983 | 2147483647 110273 27 | 0.000 % |
719.17/719.45 c | 355205 | 636 56659 238983 | 2147483647 110395 27 | 0.000 % |
719.47/719.79 c | 355338 | 636 56659 238983 | 2147483647 110528 27 | 0.000 % |
719.87/720.11 c | 355485 | 636 56659 238983 | 2147483647 110675 27 | 0.000 % |
720.27/720.54 c | 355649 | 636 56659 238983 | 2147483647 110839 27 | 0.000 % |
720.67/720.94 c | 355829 | 636 56659 238983 | 2147483647 111019 27 | 0.000 % |
721.17/721.45 c | 356022 | 636 56659 238983 | 2147483647 111212 27 | 0.000 % |
721.77/722.06 c | 356235 | 636 56659 238983 | 2147483647 111425 27 | 0.000 % |
722.37/722.68 c | 356470 | 636 56659 238983 | 2147483647 111660 27 | 0.000 % |
722.97/723.25 c | 356726 | 636 56659 238983 | 2147483647 111916 27 | 0.000 % |
723.37/723.67 c | 357007 | 636 56659 238983 | 2147483647 112197 27 | 0.000 % |
724.17/724.46 c | 357316 | 636 56659 238983 | 2147483647 112506 27 | 0.000 % |
724.87/725.15 c | 357656 | 636 56659 238983 | 2147483647 112846 27 | 0.000 % |
725.47/725.80 c | 358028 | 636 56659 238983 | 2147483647 113218 27 | 0.000 % |
726.57/726.81 c | 358437 | 636 56659 238983 | 2147483647 113627 27 | 0.000 % |
727.57/727.87 c | 358886 | 636 56659 238983 | 2147483647 114076 27 | 0.000 % |
728.27/728.52 c | 359379 | 636 56659 238983 | 2147483647 114569 27 | 0.000 % |
728.87/729.17 c | 359921 | 636 56659 238983 | 2147483647 115111 27 | 0.000 % |
729.77/730.06 c | 360517 | 636 56659 238983 | 2147483647 115707 27 | 0.000 % |
731.36/731.60 c | 361172 | 636 56659 238983 | 2147483647 116362 27 | 0.000 % |
732.16/732.49 c | 361896 | 636 56659 238983 | 2147483647 117086 27 | 0.000 % |
733.16/733.49 c | 362690 | 636 56659 238983 | 2147483647 117880 27 | 0.000 % |
734.37/734.62 c | 363563 | 636 56659 238983 | 2147483647 118753 27 | 0.000 % |
736.86/737.11 c | 364522 | 636 56659 238983 | 2147483647 119712 27 | 0.000 % |
739.86/740.17 c | 365576 | 636 56659 238983 | 2147483647 120766 27 | 0.000 % |
742.66/742.99 c | 366734 | 636 56659 238983 | 2147483647 121924 27 | 0.000 % |
745.76/746.09 c | 368011 | 636 56659 238983 | 2147483647 123201 27 | 0.000 % |
749.36/749.61 c | 369413 | 636 56659 238983 | 2147483647 124603 27 | 0.000 % |
752.86/753.13 c | 370956 | 636 56659 238983 | 2147483647 126146 27 | 0.000 % |
757.56/757.81 c | 372657 | 636 56659 238983 | 2147483647 127847 27 | 0.000 % |
761.55/761.90 c | 374520 | 636 56659 238983 | 2147483647 129710 27 | 0.000 % |
766.36/766.62 c | 376569 | 636 56659 238983 | 2147483647 131759 27 | 0.000 % |
771.45/771.79 c | 378824 | 636 56659 238983 | 2147483647 134014 27 | 0.000 % |
778.15/778.48 c | 381302 | 636 56659 238983 | 135195 121807 28 | 0.000 % |
783.05/783.35 c | 384028 | 636 56659 238983 | 135195 124533 28 | 0.000 % |
788.45/788.73 c | 387025 | 636 56659 238983 | 135195 127530 28 | 0.000 % |
795.95/796.28 c | 390321 | 636 56659 238983 | 2147483647 130826 28 | 0.000 % |
803.05/803.35 c | 393946 | 636 56659 238983 | 2147483647 134451 28 | 0.000 % |
803.25/803.56 c | 394046 | 636 56659 238983 | 2147483647 134551 27 | 0.000 % |
803.76/804.00 c | 394156 | 636 56659 238983 | 2147483647 134661 28 | 0.000 % |
804.05/804.32 c | 394278 | 636 56659 238983 | 2147483647 134783 27 | 0.000 % |
804.35/804.65 c | 394411 | 636 56659 238983 | 2147483647 134916 27 | 0.000 % |
804.65/804.97 c | 394557 | 636 56659 238983 | 2147483647 135062 27 | 0.000 % |
805.15/805.46 c | 394719 | 636 56659 238983 | 2147483647 135224 27 | 0.000 % |
805.55/805.82 c | 394895 | 636 56659 238983 | 2147483647 135400 27 | 0.000 % |
805.96/806.24 c | 395089 | 636 56659 238983 | 2147483647 135594 27 | 0.000 % |
806.45/806.77 c | 395301 | 636 56659 238983 | 2147483647 135806 27 | 0.000 % |
807.05/807.33 c | 395535 | 636 56659 238983 | 2147483647 136040 27 | 0.000 % |
807.75/808.09 c | 395791 | 636 56659 238983 | 2147483647 136296 27 | 0.000 % |
808.35/808.68 c | 396072 | 636 56659 238983 | 2147483647 136577 27 | 0.000 % |
809.25/809.54 c | 396381 | 636 56659 238983 | 2147483647 136886 27 | 0.000 % |
810.15/810.41 c | 396720 | 636 56659 238983 | 2147483647 137225 27 | 0.000 % |
810.95/811.23 c | 397095 | 636 56659 238983 | 2147483647 137600 27 | 0.000 % |
811.75/812.08 c | 397505 | 636 56659 238983 | 2147483647 138010 27 | 0.000 % |
813.05/813.39 c | 397954 | 636 56659 238983 | 2147483647 138459 27 | 0.000 % |
814.25/814.53 c | 398449 | 636 56659 238983 | 2147483647 138954 27 | 0.000 % |
815.25/815.53 c | 398992 | 636 56659 238983 | 2147483647 139497 27 | 0.000 % |
816.55/816.80 c | 399588 | 636 56659 238983 | 2147483647 140093 27 | 0.000 % |
818.05/818.33 c | 400247 | 636 56659 238983 | 2147483647 140752 27 | 0.000 % |
819.55/819.87 c | 400968 | 636 56659 238983 | 2147483647 141473 27 | 0.000 % |
821.14/821.47 c | 401760 | 636 56659 238983 | 2147483647 142265 27 | 0.000 % |
822.74/823.02 c | 402632 | 636 56659 238983 | 2147483647 143137 27 | 0.000 % |
824.54/824.88 c | 403590 | 636 56659 238983 | 2147483647 144095 27 | 0.000 % |
827.04/827.31 c | 404647 | 636 56659 238983 | 2147483647 145152 27 | 0.000 % |
829.64/829.90 c | 405807 | 636 56659 238983 | 2147483647 146312 27 | 0.000 % |
832.34/832.62 c | 407082 | 636 56659 238983 | 2147483647 147587 27 | 0.000 % |
835.84/836.13 c | 408487 | 636 56659 238983 | 2147483647 148992 27 | 0.000 % |
839.64/839.91 c | 410027 | 636 56659 238983 | 2147483647 150532 27 | 0.000 % |
843.74/844.09 c | 411721 | 636 56659 238983 | 2147483647 152226 27 | 0.000 % |
848.44/848.79 c | 413586 | 636 56659 238983 | 2147483647 154091 27 | 0.000 % |
853.73/854.09 c | 415635 | 636 56659 238983 | 2147483647 156140 27 | 0.000 % |
857.23/857.51 c | 417892 | 636 56659 238983 | 2147483647 158397 27 | 0.000 % |
863.73/864.06 c | 420371 | 636 56659 238983 | 2147483647 160876 27 | 0.002 % |
870.43/870.78 c | 423096 | 636 56659 238983 | 2147483647 163601 27 | 0.000 % |
887.53/887.83 c | 426095 | 636 56659 238983 | 2147483647 166600 27 | 0.000 % |
901.73/902.09 c | 429391 | 636 56659 238983 | 2147483647 169896 27 | 0.000 % |
918.92/919.21 c | 433019 | 636 56659 238983 | 170506 131017 27 | 0.000 % |
924.72/925.09 c | 437006 | 636 56659 238983 | 170506 135004 27 | 0.000 % |
925.42/925.73 c | 437107 | 636 56659 238983 | 170506 135105 27 | 0.000 % |
925.92/926.29 c | 437221 | 636 56659 238983 | 170506 135219 27 | 0.000 % |
926.62/926.90 c | 437342 | 636 56659 238983 | 170506 135340 27 | 0.000 % |
927.02/927.33 c | 437476 | 636 56659 238983 | 170506 135474 27 | 0.000 % |
927.82/928.16 c | 437622 | 636 56659 238983 | 170506 135620 27 | 0.000 % |
928.62/928.96 c | 437782 | 636 56659 238983 | 170506 135780 27 | 0.000 % |
929.62/929.91 c | 437958 | 636 56659 238983 | 170506 135956 27 | 0.000 % |
930.52/930.88 c | 438151 | 636 56659 238983 | 170506 136149 27 | 0.000 % |
931.62/931.91 c | 438363 | 636 56659 238983 | 170506 136361 27 | 0.000 % |
932.92/933.29 c | 438600 | 636 56659 238983 | 170506 136598 27 | 0.000 % |
934.02/934.38 c | 438856 | 636 56659 238983 | 170506 136854 27 | 0.000 % |
935.62/935.94 c | 439140 | 636 56659 238983 | 170506 137138 27 | 0.000 % |
937.42/937.71 c | 439451 | 636 56659 238983 | 170506 137449 27 | 0.000 % |
938.81/939.18 c | 439790 | 636 56659 238983 | 170506 137788 27 | 0.000 % |
942.42/942.76 c | 440162 | 636 56659 238983 | 137998 107651 26 | 0.000 % |
943.01/943.33 c | 440571 | 636 56659 238983 | 137998 108060 26 | 0.000 % |
945.01/945.38 c | 441022 | 636 56659 238983 | 137998 108511 26 | 0.000 % |
946.82/947.14 c | 441515 | 636 56659 238983 | 137998 109004 26 | 0.000 % |
948.92/949.23 c | 442064 | 636 56659 238983 | 137998 109553 26 | 0.000 % |
951.41/951.72 c | 442661 | 636 56659 238983 | 137998 110150 26 | 0.000 % |
953.91/954.28 c | 443316 | 636 56659 238983 | 137998 110805 26 | 0.000 % |
957.61/957.91 c | 444036 | 636 56659 238983 | 137998 111525 26 | 0.000 % |
961.11/961.45 c | 444828 | 636 56659 238983 | 137998 112317 26 | 0.000 % |
964.21/964.54 c | 445700 | 636 56659 238983 | 137998 113189 26 | 0.000 % |
967.11/967.41 c | 446661 | 636 56659 238983 | 137998 114150 26 | 0.000 % |
970.00/970.37 c | 447714 | 636 56659 238983 | 137998 115203 26 | 0.000 % |
971.30/971.61 c | 448873 | 636 56659 238983 | 137998 116362 26 | 0.000 % |
974.50/974.88 c | 450147 | 636 56659 238983 | 117490 91844 25 | 0.000 % |
978.10/978.41 c | 451548 | 636 56659 238983 | 117490 93245 25 | 0.000 % |
984.10/984.49 c | 453090 | 636 56659 238983 | 117490 94787 25 | 0.000 % |
990.60/990.96 c | 454787 | 636 56659 238983 | 117490 96484 26 | 0.000 % |
995.90/996.27 c | 456650 | 636 56659 238983 | 117490 98347 26 | 0.000 % |
1000.99/1001.31 c | 458699 | 636 56659 238983 | 117490 100396 26 | 0.000 % |
1008.30/1008.66 c | 460954 | 636 56659 238983 | 101698 82086 25 | 0.000 % |
1014.39/1014.73 c | 463432 | 636 56659 238983 | 101698 84564 25 | 0.000 % |
1019.99/1020.34 c | 466158 | 636 56659 238983 | 101698 87290 24 | 0.000 % |
1022.79/1023.11 c | 469158 | 636 56659 238983 | 101698 90290 24 | 0.000 % |
1029.29/1029.62 c | 472454 | 636 56659 238983 | 2147483647 93586 24 | 0.000 % |
1037.58/1037.90 c | 476080 | 636 56659 238983 | 2147483647 97212 24 | 0.000 % |
1049.18/1049.59 c | 480067 | 636 56659 238983 | 101134 101199 25 | 0.000 % |
1060.28/1060.65 c | 484453 | 636 56659 238983 | 101134 94113 25 | 0.000 % |
1060.47/1060.85 c | 484556 | 636 56659 238983 | 101134 94216 25 | 0.000 % |
1060.77/1061.10 c | 484666 | 636 56659 238983 | 101134 94326 25 | 0.000 % |
1060.97/1061.39 c | 484787 | 636 56659 238983 | 101134 94447 25 | 0.000 % |
1061.37/1061.72 c | 484920 | 636 56659 238983 | 101134 94580 25 | 0.000 % |
1061.67/1062.06 c | 485067 | 636 56659 238983 | 101134 94727 25 | 0.000 % |
1062.18/1062.50 c | 485227 | 636 56659 238983 | 101134 94887 25 | 0.000 % |
1062.47/1062.87 c | 485404 | 636 56659 238983 | 101134 95064 25 | 0.000 % |
1062.97/1063.38 c | 485599 | 636 56659 238983 | 101134 95259 25 | 0.000 % |
1063.38/1063.76 c | 485812 | 636 56659 238983 | 101134 95472 25 | 0.000 % |
1063.67/1064.05 c | 486046 | 636 56659 238983 | 101134 95706 25 | 0.000 % |
1064.38/1064.79 c | 486303 | 636 56659 238983 | 101134 95963 25 | 0.000 % |
1065.17/1065.52 c | 486584 | 636 56659 238983 | 101134 96244 25 | 0.000 % |
1065.77/1066.11 c | 486893 | 636 56659 238983 | 101134 96553 25 | 0.000 % |
1066.68/1067.03 c | 487232 | 636 56659 238983 | 101134 96892 25 | 0.000 % |
1067.57/1067.99 c | 487605 | 636 56659 238983 | 101134 97265 25 | 0.000 % |
1068.78/1069.13 c | 488014 | 636 56659 238983 | 101134 97674 25 | 0.000 % |
1069.98/1070.33 c | 488464 | 636 56659 238983 | 101134 98124 25 | 0.000 % |
1070.98/1071.40 c | 488957 | 636 56659 238983 | 101134 98617 25 | 0.000 % |
1072.47/1072.82 c | 489499 | 636 56659 238983 | 101134 99159 25 | 0.000 % |
1074.17/1074.53 c | 490098 | 636 56659 238983 | 99664 86245 26 | 0.000 % |
1075.47/1075.85 c | 490753 | 636 56659 238983 | 99664 86900 26 | 0.000 % |
1076.57/1076.92 c | 491474 | 636 56659 238983 | 99664 87621 26 | 0.000 % |
1077.87/1078.25 c | 492266 | 636 56659 238983 | 99664 88413 26 | 0.000 % |
1079.07/1079.45 c | 493139 | 636 56659 238983 | 99664 89286 26 | 0.000 % |
1080.27/1080.65 c | 494097 | 636 56659 238983 | 99664 90244 26 | 0.000 % |
1082.37/1082.74 c | 495151 | 636 56659 238983 | 99664 91298 26 | 0.000 % |
1083.97/1084.35 c | 496309 | 636 56659 238983 | 99664 92456 26 | 0.000 % |
1085.77/1086.10 c | 497582 | 636 56659 238983 | 99664 93729 26 | 0.000 % |
1087.77/1088.16 c | 498982 | 636 56659 238983 | 99664 95129 26 | 0.000 % |
1090.07/1090.44 c | 500522 | 636 56659 238983 | 2147483647 96669 26 | 0.000 % |
1093.36/1093.80 c | 502220 | 636 56659 238983 | 2147483647 98367 26 | 0.000 % |
1096.56/1096.97 c | 504083 | 636 56659 238983 | 2147483647 100230 26 | 0.000 % |
1100.16/1100.59 c | 506134 | 636 56659 238983 | 2147483647 102281 26 | 0.000 % |
1104.07/1104.41 c | 508388 | 636 56659 238983 | 2147483647 104535 26 | 0.000 % |
1108.56/1108.90 c | 510867 | 636 56659 238983 | 2147483647 107014 26 | 0.000 % |
1113.36/1113.79 c | 513593 | 636 56659 238983 | 2147483647 109740 26 | 0.000 % |
1118.76/1119.13 c | 516590 | 636 56659 238983 | 2147483647 112737 25 | 0.000 % |
1125.16/1125.55 c | 519886 | 636 56659 238983 | 2147483647 116033 25 | 0.000 % |
1131.47/1131.87 c | 523512 | 636 56659 238983 | 2147483647 119659 25 | 0.000 % |
1136.36/1136.77 c | 527500 | 636 56659 238983 | 2147483647 123647 25 | 0.000 % |
1141.56/1141.99 c | 531887 | 636 56659 238983 | 2147483647 128034 26 | 0.000 % |
1147.06/1147.42 c | 536711 | 636 56659 238983 | 2147483647 132858 26 | 0.000 % |
1147.55/1147.94 c | 536813 | 636 56659 238983 | 2147483647 132960 26 | 0.000 % |
1147.75/1148.10 c | 536925 | 636 56659 238983 | 2147483647 133072 26 | 0.002 % |
1147.96/1148.31 c | 537046 | 636 56659 238983 | 2147483647 133193 26 | 0.002 % |
1148.25/1148.64 c | 537179 | 636 56659 238983 | 2147483647 133326 26 | 0.000 % |
1148.55/1148.99 c | 537326 | 636 56659 238983 | 2147483647 133473 26 | 0.000 % |
1148.85/1149.30 c | 537487 | 636 56659 238983 | 2147483647 133634 26 | 0.000 % |
1149.35/1149.70 c | 537664 | 636 56659 238983 | 2147483647 133811 26 | 0.000 % |
1149.75/1150.16 c | 537858 | 636 56659 238983 | 2147483647 134005 26 | 0.000 % |
1150.16/1150.58 c | 538072 | 636 56659 238983 | 2147483647 134219 26 | 0.000 % |
1150.65/1151.08 c | 538306 | 636 56659 238983 | 2147483647 134453 26 | 0.000 % |
1151.26/1151.62 c | 538563 | 636 56659 238983 | 2147483647 134710 26 | 0.000 % |
1151.85/1152.23 c | 538845 | 636 56659 238983 | 2147483647 134992 26 | 0.000 % |
1152.46/1152.82 c | 539158 | 636 56659 238983 | 2147483647 135305 26 | 0.000 % |
1153.05/1153.47 c | 539498 | 636 56659 238983 | 2147483647 135645 26 | 0.000 % |
1153.56/1154.00 c | 539871 | 636 56659 238983 | 2147483647 136018 26 | 0.049 % |
1157.15/1157.52 c | 540282 | 636 56659 238983 | 136147 100507 26 | 0.000 % |
1158.25/1158.67 c | 540731 | 636 56659 238983 | 136147 100956 26 | 0.000 % |
1158.95/1159.33 c | 541225 | 636 56659 238983 | 136147 101450 26 | 0.000 % |
1161.35/1161.70 c | 541768 | 636 56659 238983 | 136147 101993 27 | 0.000 % |
1164.15/1164.58 c | 542364 | 636 56659 238983 | 136147 102589 27 | 0.000 % |
1166.94/1167.33 c | 543021 | 636 56659 238983 | 136147 103246 27 | 0.000 % |
1171.24/1171.61 c | 543742 | 636 56659 238983 | 136147 103967 27 | 0.000 % |
1175.14/1175.53 c | 544534 | 636 56659 238983 | 136147 104759 27 | 0.000 % |
1181.04/1181.40 c | 545406 | 636 56659 238983 | 136147 105631 27 | 0.000 % |
1186.74/1187.17 c | 546366 | 636 56659 238983 | 136147 106591 27 | 0.000 % |
1192.53/1192.91 c | 547420 | 636 56659 238983 | 136147 107645 27 | 0.000 % |
1193.73/1194.18 c | 548579 | 636 56659 238983 | 136147 108804 27 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833951-1242826425/watcher-1833951-1242826425 -o /tmp/evaluation-result-1833951-1242826425/solver-1833951-1242826425 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833951-1242826425.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28593
/proc/meminfo: memFree=1881968/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310670215 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28593/statm: 1339 237 197 169 0 50 0
[startup+0.0131669 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28593
/proc/meminfo: memFree=1881968/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310670215 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28593/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101174 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28593
/proc/meminfo: memFree=1881968/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310670215 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28593/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301193 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28593
/proc/meminfo: memFree=1881968/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310670215 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28593/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701238 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28593
/proc/meminfo: memFree=1881968/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 5356
[startup+1.50131 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28599
/proc/meminfo: memFree=1875936/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=5212 CPUtime=1
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 1209 0 0 0 100 0 0 0 25 0 1 0 310670263 5337088 1195 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 1303 1195 77 171 0 1130 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10568
[startup+3.10146 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28599
/proc/meminfo: memFree=1875232/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=6136 CPUtime=2.61
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 1438 0 0 0 260 1 0 0 25 0 1 0 310670263 6283264 1424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 1534 1424 77 171 0 1361 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11492
[startup+6.30178 s]
/proc/loadavg: 1.08 1.02 1.01 2/67 28599
/proc/meminfo: memFree=1873632/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=7608 CPUtime=5.8
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 1771 0 0 0 579 1 0 0 25 0 1 0 310670263 7790592 1757 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 1902 1757 77 171 0 1729 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 12964
[startup+12.7014 s]
/proc/loadavg: 1.07 1.02 1.00 2/67 28599
/proc/meminfo: memFree=1871392/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=9500 CPUtime=12.21
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 2255 0 0 0 1219 2 0 0 25 0 1 0 310670263 9728000 2241 1992294400 134512640 135215339 4294956240 18446744073709551615 134528837 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 2375 2241 77 171 0 2202 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 14856
[startup+25.5016 s]
/proc/loadavg: 1.06 1.01 1.00 2/67 28599
/proc/meminfo: memFree=1868384/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=12416 CPUtime=25
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 2980 0 0 0 2497 3 0 0 25 0 1 0 310670263 12713984 2966 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 3104 2966 77 171 0 2931 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 17772
[startup+51.1011 s]
/proc/loadavg: 1.04 1.01 1.00 2/67 28599
/proc/meminfo: memFree=1864416/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=16592 CPUtime=50.59
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 3986 0 0 0 5055 4 0 0 25 0 1 0 310670263 16990208 3972 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 4148 3972 77 171 0 3975 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 21948
[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/67 28599
/proc/meminfo: memFree=1858720/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=22324 CPUtime=101.78
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 5382 0 0 0 10172 6 0 0 25 0 1 0 310670263 22859776 5368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 5581 5368 77 171 0 5408 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 27680
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28599
/proc/meminfo: memFree=1853088/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=28268 CPUtime=161.76
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 6769 0 0 0 16168 8 0 0 25 0 1 0 310670263 28946432 6747 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 7067 6747 77 171 0 6894 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 33624
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28599
/proc/meminfo: memFree=1851296/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=30216 CPUtime=221.75
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 7218 0 0 0 22166 9 0 0 25 0 1 0 310670263 30941184 7196 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 7554 7196 77 171 0 7381 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 35572
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28599
/proc/meminfo: memFree=1851232/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=30352 CPUtime=281.73
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 7228 0 0 0 28164 9 0 0 25 0 1 0 310670263 31080448 7206 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 7588 7206 77 171 0 7415 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 35708
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28599
/proc/meminfo: memFree=1851040/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=30352 CPUtime=341.72
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 7252 0 0 0 34162 10 0 0 25 0 1 0 310670263 31080448 7230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 7588 7230 77 171 0 7415 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 35708
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28599
/proc/meminfo: memFree=1850528/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=30856 CPUtime=401.7
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 7358 0 0 0 40160 10 0 0 25 0 1 0 310670263 31596544 7336 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 7714 7336 77 171 0 7541 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 36212
[startup+462.301 s]
################
# More data... #
################
/proc/28599/statm: 8250 7808 77 171 0 8077 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 38356
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1847456/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=33836 CPUtime=581.65
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 8053 0 0 0 58153 12 0 0 25 0 1 0 310670263 34648064 8031 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 8459 8031 77 171 0 8286 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 39192
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1847456/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=33836 CPUtime=641.64
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 8054 0 0 0 64152 12 0 0 25 0 1 0 310670263 34648064 8032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 8459 8032 77 171 0 8286 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 39192
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1847456/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=33836 CPUtime=701.61
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 8054 0 0 0 70149 12 0 0 25 0 1 0 310670263 34648064 8032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 8459 8032 77 171 0 8286 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 39192
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1847264/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=34036 CPUtime=761.6
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 8099 0 0 0 76148 12 0 0 25 0 1 0 310670263 34852864 8077 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 8509 8077 77 171 0 8336 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 39392
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1846688/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=34648 CPUtime=821.58
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 8237 0 0 0 82145 13 0 0 25 0 1 0 310670263 35479552 8215 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 8662 8215 77 171 0 8489 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 40004
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1843936/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=37776 CPUtime=881.57
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 8924 0 0 0 88143 14 0 0 25 0 1 0 310670263 38682624 8902 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 9444 8902 77 171 0 9271 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 43132
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1843104/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=38492 CPUtime=941.55
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 9125 0 0 0 94141 14 0 0 25 0 1 0 310670263 39415808 9103 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 9623 9103 77 171 0 9450 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 43848
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1842976/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=38656 CPUtime=1001.53
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 9135 0 0 0 100139 14 0 0 25 0 1 0 310670263 39583744 9113 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 9664 9113 77 171 0 9491 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 44012
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1842912/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=38656 CPUtime=1061.51
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 9151 0 0 0 106137 14 0 0 25 0 1 0 310670263 39583744 9129 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 9664 9129 77 171 0 9491 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 44012
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1842720/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=38808 CPUtime=1121.5
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 9187 0 0 0 112136 14 0 0 25 0 1 0 310670263 39739392 9165 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 9702 9165 77 171 0 9529 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 44164
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1840672/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=41052 CPUtime=1181.48
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 9736 0 0 0 118133 15 0 0 25 0 1 0 310670263 42037248 9666 1992294400 134512640 135215339 4294956240 18446744073709551615 134528679 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 10263 9666 77 171 0 10090 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 46408
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1840608/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=41132 CPUtime=1199.59
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 9751 0 0 0 119943 16 0 0 25 0 1 0 310670263 42119168 9681 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 10283 9681 77 171 0 10110 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 46488
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 28593 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=458930
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=18997
# CPU time returned by wait4() is 0.477927
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.41
CPU time (s): 1200.05
CPU user time (s): 1199.88
CPU system time (s): 0.17
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 46488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.45893
system time used= 0.018997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2175
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 8
runsolver used 1.12483 second user time and 3.3015 second system time
The end
Begin job on node56 at 2009-05-20 15:33:45
IDJOB=1833951
IDBENCH=71091
IDSOLVER=671
FILE ID=node56/1833951-1242826425
PBS_JOBID= 9322552
Free space on /tmp= 103040 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_07_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833951-1242826425/watcher-1833951-1242826425 -o /tmp/evaluation-result-1833951-1242826425/solver-1833951-1242826425 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833951-1242826425.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6419e2e5b92274df2e7e43e6c6a98566
RANDOM SEED=321263486
node56.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.218
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.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1882448 kB
Buffers: 49256 kB
Cached: 75264 kB
SwapCached: 7060 kB
Active: 27408 kB
Inactive: 106900 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1882448 kB
SwapTotal: 4192956 kB
SwapFree: 4180004 kB
Dirty: 2496 kB
Writeback: 0 kB
Mapped: 14600 kB
Slab: 25136 kB
Committed_AS: 962116 kB
PageTables: 1472 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 103036 MiB
End job on node56 at 2009-05-20 15:53:47