0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 44593 200002 | 13377 0 0 nan | 0.000 % |
0.00/0.07 c | 0 | 43237 193557 | -- 0 -- -- | -- | -547/-2649
0.00/0.07 c ==============================================================================
0.00/0.07 c Result : #vars: 4447 #clauses: 43237 #literals: 193557
0.00/0.07 c CPU time: 0.06199 s
0.00/0.07 c ==============================================================================
0.00/0.15 c This is MiniSat 2.0 beta
0.00/0.15 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.15 c ============================[ Problem Statistics ]=============================
0.00/0.15 c | |
0.00/0.15 c | Number of variables: 4447 |
0.00/0.15 c | Number of clauses: 43237 |
0.00/0.18 c | Parsing time: 0.03 s |
0.00/0.18 c ============================[ Search Statistics ]==============================
0.00/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.18 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.18 c ===============================================================================
0.00/0.18 c | 0 | 4447 43237 193557 | 14412 0 nan | 0.000 % |
0.12/0.20 c | 101 | 4447 43237 193557 | 14412 101 15 | 0.000 % |
0.12/0.24 c | 202 | 4447 43237 193557 | 14412 202 29 | 0.000 % |
0.12/0.33 c | 303 | 4447 43237 193557 | 14412 303 41 | 0.000 % |
0.12/0.38 c | 413 | 4447 43237 193557 | 14412 413 37 | 0.000 % |
0.12/0.46 c | 513 | 4447 43237 193557 | 14412 513 39 | 0.000 % |
0.12/0.54 c | 624 | 4447 43237 193557 | 14412 624 43 | 0.000 % |
0.12/0.65 c | 745 | 4447 43237 193557 | 14412 745 51 | 0.000 % |
0.12/0.74 c | 846 | 4447 43237 193557 | 14412 846 51 | 0.000 % |
0.12/0.83 c | 957 | 4447 43237 193557 | 14412 957 51 | 0.000 % |
0.12/0.95 c | 1078 | 4447 43237 193557 | 14412 1078 51 | 0.000 % |
0.97/1.05 c | 1211 | 4447 43237 193557 | 14412 1211 51 | 0.000 % |
1.07/1.16 c | 1311 | 4447 43237 193557 | 14412 1311 52 | 0.000 % |
1.16/1.29 c | 1421 | 4447 43237 193557 | 14412 1421 52 | 0.000 % |
1.36/1.41 c | 1543 | 4447 43237 193557 | 14412 1543 51 | 0.000 % |
1.46/1.53 c | 1676 | 4447 43237 193557 | 14412 1676 51 | 0.000 % |
1.56/1.65 c | 1822 | 4447 43237 193557 | 14412 1822 51 | 0.000 % |
1.66/1.74 c | 1923 | 4447 43237 193557 | 14412 1923 51 | 0.000 % |
1.76/1.82 c | 2033 | 4447 43237 193557 | 14412 2033 51 | 0.000 % |
1.76/1.85 c | 2155 | 4447 43237 193557 | 14412 2155 50 | 0.000 % |
1.86/1.95 c | 2288 | 4447 43237 193557 | 14412 2288 51 | 0.000 % |
1.96/2.05 c | 2434 | 4447 43237 193557 | 14412 2434 51 | 0.000 % |
2.06/2.17 c | 2594 | 4447 43237 193557 | 14412 2594 50 | 0.000 % |
2.16/2.26 c | 2694 | 4447 43237 193557 | 14412 2694 50 | 0.000 % |
2.26/2.36 c | 2806 | 4447 43237 193557 | 14412 2806 50 | 0.000 % |
2.36/2.48 c | 2928 | 4447 43237 193557 | 14412 2928 49 | 0.000 % |
2.56/2.60 c | 3061 | 4447 43237 193557 | 14412 3061 49 | 0.000 % |
2.76/2.85 c | 3208 | 4447 43237 193557 | 14412 3208 50 | 0.000 % |
2.96/3.04 c | 3368 | 4447 43237 193557 | 14412 3368 51 | 0.000 % |
3.16/3.21 c | 3546 | 4447 43237 193557 | 14412 3546 50 | 0.000 % |
3.26/3.30 c | 3647 | 4447 43237 193557 | 14412 3647 50 | 0.000 % |
3.26/3.36 c | 3757 | 4447 43237 193557 | 14412 3757 50 | 0.000 % |
3.36/3.47 c | 3878 | 4447 43237 193557 | 14412 3878 50 | 0.000 % |
3.56/3.63 c | 4012 | 4447 43237 193557 | 14412 4012 50 | 0.000 % |
3.66/3.76 c | 4158 | 4447 43237 193557 | 14412 4158 49 | 0.000 % |
3.86/3.92 c | 4318 | 4447 43237 193557 | 14412 4318 51 | 0.000 % |
3.96/4.06 c | 4494 | 4447 43237 193557 | 14412 4494 50 | 0.000 % |
4.16/4.22 c | 4688 | 4447 43237 193557 | 14412 4688 50 | 0.000 % |
4.26/4.30 c | 4789 | 4447 43237 193557 | 14412 4789 50 | 0.000 % |
4.36/4.41 c | 4899 | 4447 43237 193557 | 14412 4899 49 | 0.000 % |
4.46/4.53 c | 5021 | 4447 43237 193557 | 14412 5021 50 | 0.000 % |
4.56/4.66 c | 5157 | 4447 43237 193557 | 14412 5157 50 | 0.000 % |
4.66/4.79 c | 5304 | 4447 43237 193557 | 14412 5304 50 | 0.000 % |
4.86/4.94 c | 5465 | 4447 43237 193557 | 14412 5465 49 | 0.000 % |
5.06/5.10 c | 5642 | 4447 43237 193557 | 14412 5642 49 | 0.000 % |
5.16/5.25 c | 5835 | 4447 43237 193557 | 14412 5835 49 | 0.000 % |
5.36/5.50 c | 6049 | 4447 43237 193557 | 14412 6049 49 | 0.000 % |
5.56/5.66 c | 6150 | 4447 43237 193557 | 14412 6150 49 | 0.000 % |
5.66/5.77 c | 6260 | 4447 43237 193557 | 14412 6260 49 | 0.000 % |
5.76/5.88 c | 6384 | 4447 43237 193557 | 14412 6384 49 | 0.000 % |
5.86/5.98 c | 6518 | 4447 43237 193557 | 14412 6518 49 | 0.000 % |
5.96/6.06 c | 6665 | 4447 43237 193557 | 14412 6665 49 | 0.000 % |
6.06/6.19 c | 6825 | 4447 43237 193557 | 14412 6825 49 | 0.000 % |
6.26/6.38 c | 7002 | 4447 43237 193557 | 14412 7002 50 | 0.000 % |
6.46/6.57 c | 7195 | 4447 43237 193557 | 14412 7195 50 | 0.000 % |
6.66/6.77 c | 7408 | 4447 43237 193557 | 14412 7408 50 | 0.000 % |
6.96/7.01 c | 7642 | 4447 43237 193557 | 14412 7642 50 | 0.000 % |
7.06/7.11 c | 7742 | 4447 43237 193557 | 14412 7742 50 | 0.000 % |
7.16/7.22 c | 7852 | 4447 43237 193557 | 14412 7852 50 | 0.000 % |
7.26/7.33 c | 7973 | 4447 43237 193557 | 14412 7973 50 | 0.000 % |
7.36/7.46 c | 8106 | 4447 43237 193557 | 14412 8106 50 | 0.000 % |
7.56/7.61 c | 8253 | 4447 43237 193557 | 14412 8253 50 | 0.000 % |
7.76/7.87 c | 8414 | 4447 43237 193557 | 14412 8414 50 | 0.000 % |
8.05/8.16 c | 8590 | 4447 43237 193557 | 14412 8590 49 | 0.000 % |
8.35/8.42 c | 8783 | 4447 43237 193557 | 14412 8783 49 | 0.000 % |
8.55/8.62 c | 8995 | 4447 43237 193557 | 14412 8995 49 | 0.000 % |
8.85/8.90 c | 9228 | 4447 43237 193557 | 14412 9228 49 | 0.000 % |
9.05/9.16 c | 9485 | 4447 43237 193557 | 14412 9485 49 | 0.000 % |
9.15/9.25 c | 9585 | 4447 43237 193557 | 14412 9585 49 | 0.000 % |
9.35/9.40 c | 9695 | 4447 43237 193557 | 14412 9695 49 | 0.000 % |
9.45/9.51 c | 9816 | 4447 43237 193557 | 14412 9816 49 | 0.000 % |
9.55/9.64 c | 9950 | 4447 43237 193557 | 14412 9950 49 | 0.000 % |
9.76/9.81 c | 10097 | 4447 43237 193557 | 2147483647 10097 49 | 0.000 % |
9.86/9.99 c | 10257 | 4447 43237 193557 | 2147483647 10257 49 | 0.000 % |
10.06/10.17 c | 10433 | 4447 43237 193557 | 2147483647 10433 50 | 0.000 % |
10.26/10.38 c | 10627 | 4447 43237 193557 | 2147483647 10627 49 | 0.000 % |
10.56/10.63 c | 10841 | 4447 43237 193557 | 2147483647 10841 49 | 0.000 % |
10.76/10.82 c | 11075 | 4447 43237 193557 | 2147483647 11075 49 | 0.000 % |
10.97/11.07 c | 11332 | 4447 43237 193557 | 2147483647 11332 49 | 0.000 % |
11.26/11.39 c | 11613 | 4447 43237 193557 | 2147483647 11613 49 | 0.000 % |
11.36/11.49 c | 11714 | 4447 43237 193557 | 2147483647 11714 49 | 0.000 % |
11.56/11.60 c | 11824 | 4447 43237 193557 | 2147483647 11824 49 | 0.000 % |
11.56/11.65 c | 11945 | 4447 43237 193557 | 2147483647 11945 49 | 0.000 % |
11.86/11.94 c | 12078 | 4447 43237 193557 | 2147483647 12078 49 | 0.000 % |
11.97/12.07 c | 12224 | 4447 43237 193557 | 2147483647 12224 49 | 0.000 % |
12.16/12.24 c | 12384 | 4447 43237 193557 | 2147483647 12384 49 | 0.000 % |
12.26/12.40 c | 12560 | 4447 43237 193557 | 2147483647 12560 49 | 0.000 % |
12.56/12.67 c | 12754 | 4447 43237 193557 | 2147483647 12754 49 | 0.000 % |
12.76/12.85 c | 12968 | 4447 43237 193557 | 2147483647 12968 49 | 0.000 % |
12.96/13.07 c | 13201 | 4447 43237 193557 | 2147483647 13201 49 | 0.000 % |
13.26/13.32 c | 13458 | 4447 43237 193557 | 2147483647 13458 49 | 0.000 % |
13.46/13.57 c | 13740 | 4447 43237 193557 | 2147483647 13740 49 | 0.000 % |
13.86/13.99 c | 14049 | 4447 43237 193557 | 2147483647 14049 49 | 0.000 % |
13.96/14.07 c | 14149 | 4447 43237 193557 | 2147483647 14149 49 | 0.000 % |
14.06/14.17 c | 14259 | 4447 43237 193557 | 2147483647 14259 49 | 0.000 % |
14.16/14.28 c | 14381 | 4447 43237 193557 | 2147483647 14381 49 | 0.000 % |
14.26/14.39 c | 14515 | 4447 43237 193557 | 2147483647 14515 49 | 0.000 % |
14.46/14.57 c | 14662 | 4447 43237 193557 | 2147483647 14662 50 | 0.000 % |
14.66/14.72 c | 14823 | 4447 43237 193557 | 2147483647 14823 50 | 0.000 % |
14.86/14.97 c | 15000 | 4447 43237 193557 | 2147483647 15000 50 | 0.000 % |
15.26/15.34 c | 15194 | 4447 43237 193557 | 2147483647 15194 50 | 0.000 % |
15.45/15.57 c | 15406 | 4447 43237 193557 | 2147483647 15406 50 | 0.000 % |
15.65/15.79 c | 15639 | 4447 43237 193557 | 2147483647 15639 50 | 0.000 % |
15.95/16.05 c | 15897 | 4447 43237 193557 | 2147483647 15897 50 | 0.000 % |
16.25/16.30 c | 16179 | 4447 43237 193557 | 2147483647 16179 50 | 0.000 % |
16.55/16.64 c | 16488 | 4447 43237 193557 | 2147483647 16488 50 | 0.000 % |
16.85/16.96 c | 16829 | 4447 43237 193557 | 2147483647 16829 49 | 0.000 % |
16.95/17.05 c | 16930 | 4447 43237 193557 | 2147483647 16930 49 | 0.000 % |
17.05/17.15 c | 17040 | 4447 43237 193557 | 2147483647 17040 49 | 0.000 % |
17.15/17.26 c | 17161 | 4447 43237 193557 | 2147483647 17161 49 | 0.000 % |
17.25/17.39 c | 17294 | 4447 43237 193557 | 2147483647 17294 49 | 0.000 % |
17.46/17.52 c | 17441 | 4447 43237 193557 | 2147483647 17441 49 | 0.000 % |
17.66/17.72 c | 17601 | 4447 43237 193557 | 2147483647 17601 49 | 0.000 % |
17.76/17.86 c | 17777 | 4447 43237 193557 | 2147483647 17777 49 | 0.000 % |
17.96/18.03 c | 17971 | 4447 43237 193557 | 2147483647 17971 49 | 0.000 % |
18.16/18.20 c | 18184 | 4447 43237 193557 | 2147483647 18184 49 | 0.000 % |
18.36/18.42 c | 18417 | 4447 43237 193557 | 2147483647 18417 49 | 0.000 % |
18.56/18.65 c | 18674 | 4447 43237 193557 | 2147483647 18674 49 | 0.000 % |
18.86/18.93 c | 18955 | 4447 43237 193557 | 2147483647 18955 49 | 0.000 % |
19.16/19.28 c | 19264 | 4447 43237 193557 | 2147483647 19264 49 | 0.000 % |
19.56/19.60 c | 19603 | 4447 43237 193557 | 2147483647 19603 49 | 0.000 % |
19.96/20.02 c | 19979 | 4447 43237 193557 | 2147483647 19979 49 | 0.000 % |
20.06/20.14 c | 20079 | 4447 43237 193557 | 2147483647 20079 49 | 0.000 % |
20.16/20.25 c | 20189 | 4447 43237 193557 | 2147483647 20189 49 | 0.000 % |
20.26/20.37 c | 20310 | 4447 43237 193557 | 2147483647 20310 49 | 0.000 % |
20.46/20.59 c | 20445 | 4447 43237 193557 | 2147483647 20445 49 | 0.000 % |
20.66/20.74 c | 20592 | 4447 43237 193557 | 2147483647 20592 49 | 0.000 % |
20.76/20.90 c | 20753 | 4447 43237 193557 | 2147483647 20753 49 | 0.000 % |
20.96/21.08 c | 20930 | 4447 43237 193557 | 2147483647 20930 49 | 0.000 % |
21.16/21.26 c | 21125 | 4447 43237 193557 | 2147483647 21125 49 | 0.000 % |
21.36/21.46 c | 21337 | 4447 43237 193557 | 2147483647 21337 49 | 0.000 % |
21.66/21.70 c | 21572 | 4447 43237 193557 | 2147483647 21572 49 | 0.000 % |
21.86/21.97 c | 21829 | 4447 43237 193557 | 2147483647 21829 49 | 0.000 % |
22.16/22.25 c | 22110 | 4447 43237 193557 | 2147483647 22110 49 | 0.000 % |
22.46/22.54 c | 22420 | 4447 43237 193557 | 2147483647 22420 49 | 0.000 % |
22.86/22.96 c | 22759 | 4447 43237 193557 | 2147483647 22759 50 | 0.000 % |
23.26/23.32 c | 23132 | 4447 43237 193557 | 2147483647 23132 49 | 0.000 % |
23.66/23.73 c | 23541 | 4447 43237 193557 | 2147483647 23541 49 | 0.000 % |
23.76/23.83 c | 23641 | 4447 43237 193557 | 2147483647 23641 49 | 0.000 % |
23.86/23.96 c | 23753 | 4447 43237 193557 | 2147483647 23753 49 | 0.000 % |
23.96/24.09 c | 23874 | 4447 43237 193557 | 2147483647 23874 49 | 0.000 % |
24.26/24.30 c | 24007 | 4447 43237 193557 | 2147483647 24007 49 | 0.000 % |
24.36/24.49 c | 24153 | 4447 43237 193557 | 2147483647 24153 49 | 0.000 % |
24.56/24.66 c | 24313 | 4447 43237 193557 | 2147483647 24313 49 | 0.000 % |
24.76/24.83 c | 24491 | 4447 43237 193557 | 2147483647 24491 49 | 0.000 % |
24.96/25.02 c | 24685 | 4447 43237 193557 | 2147483647 24685 49 | 0.000 % |
25.36/25.44 c | 24897 | 4447 43237 193557 | 2147483647 24897 49 | 0.000 % |
25.66/25.71 c | 25131 | 4447 43237 193557 | 2147483647 25131 49 | 0.000 % |
25.86/25.99 c | 25388 | 4447 43237 193557 | 2147483647 25388 49 | 0.000 % |
26.26/26.30 c | 25669 | 4447 43237 193557 | 2147483647 25669 49 | 0.000 % |
26.55/26.68 c | 25978 | 4447 43237 193557 | 2147483647 25978 49 | 0.000 % |
27.05/27.18 c | 26318 | 4447 43237 193557 | 2147483647 26318 49 | 0.000 % |
27.55/27.67 c | 26690 | 4447 43237 193557 | 2147483647 26690 50 | 0.000 % |
28.05/28.18 c | 27099 | 4447 43237 193557 | 2147483647 27099 49 | 0.000 % |
28.56/28.68 c | 27548 | 4447 43237 193557 | 2147483647 27548 49 | 0.000 % |
28.75/28.81 c | 27648 | 4447 43237 193557 | 2147483647 27648 49 | 0.000 % |
28.85/28.95 c | 27759 | 4447 43237 193557 | 2147483647 27759 49 | 0.000 % |
29.05/29.10 c | 27880 | 4447 43237 193557 | 2147483647 27880 49 | 0.000 % |
29.15/29.29 c | 28013 | 4447 43237 193557 | 2147483647 28013 49 | 0.000 % |
29.35/29.48 c | 28159 | 4447 43237 193557 | 2147483647 28159 49 | 0.000 % |
29.56/29.68 c | 28319 | 4447 43237 193557 | 2147483647 28319 49 | 0.000 % |
29.75/29.89 c | 28495 | 4447 43237 193557 | 2147483647 28495 49 | 0.000 % |
30.05/30.17 c | 28688 | 4447 43237 193557 | 2147483647 28688 49 | 0.000 % |
30.35/30.46 c | 28900 | 4447 43237 193557 | 2147483647 28900 49 | 0.000 % |
30.66/30.75 c | 29133 | 4447 43237 193557 | 2147483647 29133 49 | 0.000 % |
31.05/31.11 c | 29390 | 4447 43237 193557 | 2147483647 29390 49 | 0.000 % |
31.35/31.41 c | 29671 | 4447 43237 193557 | 2147483647 29671 49 | 0.000 % |
31.65/31.77 c | 29980 | 4447 43237 193557 | 2147483647 29980 49 | 0.000 % |
32.05/32.15 c | 30319 | 4447 43237 193557 | 2147483647 30319 49 | 0.000 % |
32.45/32.59 c | 30691 | 4447 43237 193557 | 2147483647 30691 50 | 0.000 % |
32.96/33.05 c | 31100 | 4447 43237 193557 | 2147483647 31100 50 | 0.000 % |
33.45/33.52 c | 31550 | 4447 43237 193557 | 2147483647 31550 49 | 0.000 % |
34.05/34.19 c | 32043 | 4447 43237 193557 | 2147483647 32043 49 | 0.000 % |
34.25/34.32 c | 32143 | 4447 43237 193557 | 2147483647 32143 49 | 0.000 % |
34.35/34.46 c | 32254 | 4447 43237 193557 | 2147483647 32254 49 | 0.000 % |
34.54/34.62 c | 32376 | 4447 43237 193557 | 2147483647 32376 49 | 0.000 % |
34.64/34.77 c | 32511 | 4447 43237 193557 | 2147483647 32511 49 | 0.000 % |
34.84/34.98 c | 32658 | 4447 43237 193557 | 2147483647 32658 49 | 0.000 % |
35.05/35.18 c | 32819 | 4447 43237 193557 | 2147483647 32819 49 | 0.000 % |
35.24/35.38 c | 32995 | 4447 43237 193557 | 2147483647 32995 49 | 0.000 % |
35.54/35.63 c | 33188 | 4447 43237 193557 | 2147483647 33188 49 | 0.000 % |
35.95/36.00 c | 33401 | 4447 43237 193557 | 2147483647 33401 49 | 0.000 % |
36.15/36.28 c | 33634 | 4447 43237 193557 | 2147483647 33634 49 | 0.000 % |
36.55/36.64 c | 33890 | 4447 43237 193557 | 2147483647 33890 49 | 0.000 % |
36.95/37.08 c | 34172 | 4447 43237 193557 | 2147483647 34172 49 | 0.000 % |
37.35/37.44 c | 34482 | 4447 43237 193557 | 2147483647 34482 49 | 0.000 % |
37.75/37.87 c | 34821 | 4447 43237 193557 | 2147483647 34821 49 | 0.000 % |
38.35/38.47 c | 35193 | 4447 43237 193557 | 2147483647 35193 49 | 0.000 % |
38.95/39.08 c | 35604 | 4447 43237 193557 | 2147483647 35604 49 | 0.000 % |
39.55/39.63 c | 36054 | 4447 43237 193557 | 2147483647 36054 50 | 0.000 % |
40.15/40.27 c | 36547 | 4447 43237 193557 | 2147483647 36547 50 | 0.000 % |
40.94/41.00 c | 37089 | 4447 43237 193557 | 2147483647 37089 50 | 0.000 % |
41.14/41.21 c | 37189 | 4447 43237 193557 | 2147483647 37189 50 | 0.000 % |
41.24/41.35 c | 37301 | 4447 43237 193557 | 2147483647 37301 50 | 0.000 % |
41.44/41.50 c | 37423 | 4447 43237 193557 | 2147483647 37423 50 | 0.000 % |
41.54/41.66 c | 37557 | 4447 43237 193557 | 2147483647 37557 50 | 0.000 % |
41.75/41.88 c | 37704 | 4447 43237 193557 | 2147483647 37704 50 | 0.000 % |
41.94/42.05 c | 37864 | 4447 43237 193557 | 2147483647 37864 50 | 0.000 % |
42.14/42.28 c | 38040 | 4447 43237 193557 | 2147483647 38040 50 | 0.000 % |
42.44/42.58 c | 38233 | 4447 43237 193557 | 2147483647 38233 50 | 0.000 % |
42.75/42.89 c | 38446 | 4447 43237 193557 | 2147483647 38446 50 | 0.000 % |
43.14/43.24 c | 38680 | 4447 43237 193557 | 2147483647 38680 50 | 0.000 % |
43.44/43.59 c | 38937 | 4447 43237 193557 | 2147483647 38937 50 | 0.000 % |
43.85/44.00 c | 39219 | 4447 43237 193557 | 2147483647 39219 50 | 0.000 % |
44.34/44.42 c | 39529 | 4447 43237 193557 | 2147483647 39529 50 | 0.000 % |
44.84/44.97 c | 39868 | 4446 42872 191759 | 2147483647 39867 50 | 0.023 % |
45.34/45.44 c | 40240 | 4446 42872 191759 | 2147483647 40239 50 | 0.022 % |
45.84/45.99 c | 40649 | 4446 42872 191759 | 2147483647 40648 50 | 0.022 % |
46.44/46.56 c | 41098 | 4446 42872 191759 | 2147483647 41097 50 | 0.022 % |
47.34/47.41 c | 41592 | 4446 42872 191759 | 2147483647 41591 50 | 0.023 % |
48.24/48.36 c | 42136 | 4446 42872 191759 | 2147483647 42135 50 | 0.022 % |
49.14/49.29 c | 42733 | 4446 42872 191759 | 2147483647 42732 50 | 0.022 % |
49.34/49.44 c | 42833 | 4446 42872 191759 | 2147483647 42832 50 | 0.022 % |
49.44/49.57 c | 42943 | 4446 42872 191759 | 2147483647 42942 50 | 0.023 % |
49.64/49.77 c | 43064 | 4446 42872 191759 | 2147483647 43063 50 | 0.022 % |
49.85/49.97 c | 43199 | 4446 42872 191759 | 2147483647 43198 50 | 0.022 % |
50.14/50.20 c | 43345 | 4446 42872 191759 | 2147483647 43344 50 | 0.022 % |
50.34/50.48 c | 43506 | 4446 42872 191759 | 2147483647 43505 50 | 0.022 % |
50.74/50.80 c | 43683 | 4446 42872 191759 | 2147483647 43682 50 | 0.022 % |
51.04/51.16 c | 43877 | 4446 42872 191759 | 2147483647 43876 50 | 0.022 % |
51.44/51.59 c | 44090 | 4446 42872 191759 | 2147483647 44089 50 | 0.023 % |
51.84/51.96 c | 44323 | 4446 42872 191759 | 2147483647 44322 50 | 0.023 % |
52.24/52.37 c | 44579 | 4446 42872 191759 | 2147483647 44578 50 | 0.022 % |
52.84/52.97 c | 44860 | 4446 42872 191759 | 2147483647 44859 50 | 0.022 % |
53.34/53.42 c | 45170 | 4446 42872 191759 | 2147483647 45169 50 | 0.023 % |
53.94/54.05 c | 45509 | 4446 42872 191759 | 2147483647 45508 50 | 0.022 % |
54.44/54.53 c | 45882 | 4446 42872 191759 | 2147483647 45881 50 | 0.022 % |
55.04/55.15 c | 46291 | 4446 42872 191759 | 2147483647 46290 50 | 0.022 % |
55.74/55.87 c | 46740 | 4446 42872 191759 | 2147483647 46739 50 | 0.022 % |
56.64/56.70 c | 47234 | 4446 42872 191759 | 2147483647 47233 49 | 0.022 % |
57.44/57.52 c | 47777 | 4446 42872 191759 | 2147483647 47776 50 | 0.022 % |
58.34/58.44 c | 48374 | 4446 42872 191759 | 2147483647 48373 49 | 0.022 % |
59.34/59.47 c | 49031 | 4446 42872 191759 | 2147483647 49030 49 | 0.023 % |
59.54/59.64 c | 49131 | 4446 42872 191759 | 2147483647 49130 49 | 0.022 % |
59.64/59.79 c | 49241 | 4446 42872 191759 | 2147483647 49240 49 | 0.022 % |
59.94/60.03 c | 49362 | 4446 42872 191759 | 2147483647 49361 49 | 0.022 % |
60.04/60.16 c | 49495 | 4446 42872 191759 | 2147483647 49494 49 | 0.023 % |
60.24/60.39 c | 49641 | 4446 42872 191759 | 2147483647 49640 49 | 0.022 % |
60.54/60.64 c | 49802 | 4446 42872 191759 | 2147483647 49801 49 | 0.022 % |
60.84/60.91 c | 49979 | 4446 42872 191759 | 2147483647 49978 49 | 0.022 % |
61.14/61.20 c | 50172 | 4446 42872 191759 | 2147483647 50171 49 | 0.022 % |
61.54/61.65 c | 50384 | 4446 42872 191759 | 2147483647 50383 49 | 0.023 % |
61.93/62.06 c | 50618 | 4446 42872 191759 | 2147483647 50617 49 | 0.022 % |
62.33/62.49 c | 50874 | 4446 42872 191759 | 2147483647 50873 49 | 0.022 % |
62.83/62.99 c | 51156 | 4446 42872 191759 | 2147483647 51155 49 | 0.022 % |
63.33/63.47 c | 51465 | 4446 42872 191759 | 2147483647 51464 49 | 0.023 % |
63.83/63.97 c | 51805 | 4446 42872 191759 | 2147483647 51804 49 | 0.023 % |
64.43/64.56 c | 52177 | 4446 42872 191759 | 2147483647 52176 49 | 0.023 % |
65.33/65.41 c | 52586 | 4446 42872 191759 | 2147483647 52585 49 | 0.022 % |
66.14/66.20 c | 53036 | 4446 42872 191759 | 2147483647 53035 49 | 0.022 % |
66.94/67.07 c | 53529 | 4446 42872 191759 | 2147483647 53528 49 | 0.022 % |
67.94/68.08 c | 54071 | 4446 42872 191759 | 2147483647 54070 49 | 0.022 % |
68.94/69.07 c | 54669 | 4446 42872 191759 | 2147483647 54668 49 | 0.022 % |
70.24/70.36 c | 55326 | 4446 42872 191759 | 2147483647 55325 49 | 0.022 % |
71.44/71.58 c | 56047 | 4446 42872 191759 | 2147483647 56046 49 | 0.022 % |
71.63/71.78 c | 56148 | 4446 42872 191759 | 2147483647 56147 49 | 0.022 % |
71.83/71.98 c | 56259 | 4446 42872 191759 | 2147483647 56258 49 | 0.022 % |
72.13/72.20 c | 56381 | 4446 42872 191759 | 2147483647 56380 49 | 0.022 % |
72.33/72.43 c | 56515 | 4446 42872 191759 | 2147483647 56514 49 | 0.023 % |
72.63/72.76 c | 56661 | 4446 42872 191759 | 2147483647 56660 49 | 0.022 % |
72.93/73.05 c | 56822 | 4446 42872 191759 | 2147483647 56821 49 | 0.023 % |
73.23/73.34 c | 56999 | 4446 42872 191759 | 2147483647 56998 49 | 0.023 % |
73.53/73.64 c | 57193 | 4446 42872 191759 | 2147483647 57192 49 | 0.022 % |
73.83/73.95 c | 57406 | 4446 42872 191759 | 2147483647 57405 49 | 0.023 % |
74.13/74.23 c | 57639 | 4446 42872 191759 | 2147483647 57638 49 | 0.022 % |
74.54/74.65 c | 57896 | 4446 42872 191759 | 2147483647 57895 49 | 0.023 % |
75.04/75.12 c | 58177 | 4446 42872 191759 | 2147483647 58176 49 | 0.023 % |
75.54/75.65 c | 58486 | 4446 42872 191759 | 2147483647 58485 49 | 0.023 % |
76.14/76.22 c | 58825 | 4446 42872 191759 | 2147483647 58824 49 | 0.023 % |
76.74/76.81 c | 59198 | 4446 42872 191759 | 2147483647 59197 49 | 0.023 % |
77.34/77.41 c | 59608 | 4446 42872 191759 | 2147483647 59607 49 | 0.023 % |
77.94/78.07 c | 60058 | 4446 42872 191759 | 2147483647 60057 49 | 0.023 % |
78.84/78.91 c | 60552 | 4446 42872 191759 | 2147483647 60551 49 | 0.022 % |
79.74/79.83 c | 61094 | 4446 42872 191759 | 2147483647 61093 49 | 0.022 % |
80.73/80.80 c | 61690 | 4446 42872 191759 | 2147483647 61689 49 | 0.022 % |
81.93/82.09 c | 62346 | 4446 42872 191759 | 2147483647 62345 49 | 0.023 % |
83.44/83.56 c | 63067 | 4446 42872 191759 | 2147483647 63066 49 | 0.022 % |
85.03/85.11 c | 63859 | 4446 42872 191759 | 2147483647 63858 49 | 0.022 % |
85.13/85.29 c | 63959 | 4446 42872 191759 | 2147483647 63958 49 | 0.022 % |
85.43/85.50 c | 64070 | 4446 42872 191759 | 2147483647 64069 49 | 0.022 % |
85.64/85.75 c | 64191 | 4446 42872 191759 | 2147483647 64190 49 | 0.022 % |
85.93/86.02 c | 64325 | 4446 42872 191759 | 2147483647 64324 49 | 0.022 % |
86.23/86.30 c | 64472 | 4446 42872 191759 | 2147483647 64471 49 | 0.022 % |
86.43/86.59 c | 64635 | 4446 42872 191759 | 2147483647 64634 49 | 0.022 % |
86.83/86.92 c | 64811 | 4446 42872 191759 | 2147483647 64810 49 | 0.023 % |
87.13/87.24 c | 65004 | 4446 42872 191759 | 2147483647 65003 49 | 0.022 % |
87.53/87.66 c | 65216 | 4446 42872 191759 | 2147483647 65215 49 | 0.023 % |
88.03/88.13 c | 65450 | 4446 42872 191759 | 2147483647 65449 49 | 0.022 % |
88.53/88.63 c | 65708 | 4446 42872 191759 | 2147483647 65707 49 | 0.022 % |
89.13/89.28 c | 65990 | 4446 42872 191759 | 2147483647 65989 49 | 0.022 % |
89.73/89.88 c | 66301 | 4446 42872 191759 | 2147483647 66300 49 | 0.023 % |
90.33/90.43 c | 66641 | 4446 42872 191759 | 2147483647 66640 49 | 0.022 % |
91.13/91.25 c | 67014 | 4446 42872 191759 | 2147483647 67013 49 | 0.022 % |
92.03/92.17 c | 67423 | 4446 42872 191759 | 2147483647 67422 49 | 0.022 % |
92.93/93.02 c | 67873 | 4446 42872 191759 | 2147483647 67872 49 | 0.022 % |
93.83/93.95 c | 68367 | 4446 42872 191759 | 2147483647 68366 49 | 0.022 % |
94.93/95.03 c | 68909 | 4446 42872 191759 | 2147483647 68908 49 | 0.022 % |
95.53/95.64 c | 69506 | 4446 42872 191759 | 2147483647 69505 49 | 0.023 % |
96.83/96.96 c | 70162 | 4446 42872 191759 | 2147483647 70161 49 | 0.023 % |
98.52/98.69 c | 70882 | 4446 42872 191759 | 2147483647 70881 49 | 0.022 % |
100.42/100.54 c | 71674 | 4446 42872 191759 | 2147483647 71673 49 | 0.023 % |
102.13/102.25 c | 72546 | 4446 42872 191759 | 2147483647 72545 49 | 0.022 % |
102.32/102.45 c | 72647 | 4446 42872 191759 | 2147483647 72646 49 | 0.022 % |
102.52/102.66 c | 72757 | 4446 42872 191759 | 2147483647 72756 49 | 0.022 % |
102.72/102.88 c | 72878 | 4446 42872 191759 | 2147483647 72877 49 | 0.022 % |
103.02/103.10 c | 73013 | 4446 42872 191759 | 2147483647 73012 49 | 0.022 % |
103.33/103.43 c | 73159 | 4446 42872 191759 | 2147483647 73158 49 | 0.022 % |
103.63/103.77 c | 73319 | 4446 42872 191759 | 2147483647 73318 49 | 0.022 % |
104.03/104.15 c | 73496 | 4446 42872 191759 | 2147483647 73495 49 | 0.022 % |
104.44/104.52 c | 73690 | 4446 42872 191759 | 2147483647 73689 49 | 0.023 % |
104.83/104.92 c | 73904 | 4446 42872 191759 | 2147483647 73903 49 | 0.022 % |
105.33/105.42 c | 74138 | 4446 42872 191759 | 2147483647 74137 49 | 0.023 % |
105.73/105.89 c | 74394 | 4446 42872 191759 | 2147483647 74393 49 | 0.023 % |
106.33/106.49 c | 74676 | 4446 42872 191759 | 2147483647 74675 49 | 0.022 % |
107.23/107.36 c | 74986 | 4446 42872 191759 | 2147483647 74985 49 | 0.022 % |
107.83/107.97 c | 75325 | 4446 42872 191759 | 2147483647 75324 49 | 0.023 % |
108.53/108.64 c | 75698 | 4446 42872 191759 | 2147483647 75697 49 | 0.023 % |
109.53/109.61 c | 76108 | 4446 42872 191759 | 2147483647 76107 49 | 0.023 % |
110.33/110.42 c | 76558 | 4446 42872 191759 | 2147483647 76557 49 | 0.023 % |
111.43/111.52 c | 77052 | 4446 42872 191759 | 2147483647 77051 49 | 0.023 % |
112.63/112.73 c | 77594 | 4446 42872 191759 | 2147483647 77593 49 | 0.022 % |
113.82/113.97 c | 78191 | 4446 42872 191759 | 2147483647 78190 49 | 0.022 % |
115.42/115.55 c | 78846 | 4446 42872 191759 | 2147483647 78845 49 | 0.022 % |
116.91/117.02 c | 79568 | 4446 42872 191759 | 2147483647 79567 49 | 0.022 % |
118.62/118.74 c | 80360 | 4446 42872 191759 | 2147483647 80359 49 | 0.022 % |
120.31/120.46 c | 81231 | 4446 42872 191759 | 2147483647 81230 49 | 0.022 % |
122.31/122.48 c | 82190 | 4446 42872 191759 | 2147483647 82189 49 | 0.022 % |
122.51/122.61 c | 82291 | 4446 42872 191759 | 2147483647 82290 49 | 0.023 % |
122.71/122.83 c | 82402 | 4446 42872 191759 | 2147483647 82401 49 | 0.022 % |
122.91/123.10 c | 82523 | 4446 42872 191759 | 2147483647 82522 49 | 0.022 % |
123.31/123.46 c | 82657 | 4446 42872 191759 | 2147483647 82656 49 | 0.022 % |
123.61/123.76 c | 82803 | 4446 42872 191759 | 2147483647 82802 49 | 0.022 % |
124.01/124.13 c | 82963 | 4446 42872 191759 | 2147483647 82962 49 | 0.022 % |
124.41/124.56 c | 83139 | 4446 42872 191759 | 2147483647 83138 49 | 0.023 % |
124.81/124.99 c | 83333 | 4446 42872 191759 | 2147483647 83332 49 | 0.022 % |
125.11/125.29 c | 83545 | 4446 42872 191759 | 2147483647 83544 49 | 0.022 % |
125.71/125.87 c | 83780 | 4446 42872 191759 | 2147483647 83779 49 | 0.022 % |
126.31/126.46 c | 84036 | 4446 42872 191759 | 2147483647 84035 49 | 0.022 % |
126.81/126.94 c | 84318 | 4446 42872 191759 | 2147483647 84317 49 | 0.023 % |
127.41/127.59 c | 84628 | 4446 42872 191759 | 2147483647 84627 49 | 0.023 % |
128.11/128.29 c | 84967 | 4446 42872 191759 | 2147483647 84966 49 | 0.022 % |
128.91/129.08 c | 85340 | 4446 42872 191759 | 2147483647 85339 49 | 0.022 % |
129.81/129.92 c | 85750 | 4446 42872 191759 | 2147483647 85749 49 | 0.022 % |
130.81/130.91 c | 86200 | 4446 42872 191759 | 2147483647 86199 49 | 0.023 % |
131.61/131.73 c | 86693 | 4446 42872 191759 | 2147483647 86692 49 | 0.022 % |
132.82/132.92 c | 87236 | 4446 42872 191759 | 2147483647 87235 49 | 0.022 % |
134.02/134.18 c | 87832 | 4446 42872 191759 | 2147483647 87831 49 | 0.022 % |
135.51/135.62 c | 88488 | 4446 42872 191759 | 2147483647 88487 49 | 0.023 % |
137.11/137.21 c | 89210 | 4446 42872 191759 | 2147483647 89209 49 | 0.022 % |
138.71/138.86 c | 90003 | 4446 42872 191759 | 2147483647 90002 49 | 0.023 % |
140.91/141.04 c | 90874 | 4446 42872 191759 | 2147483647 90873 49 | 0.022 % |
143.21/143.36 c | 91832 | 4446 42872 191759 | 2147483647 91831 49 | 0.022 % |
145.81/145.93 c | 92885 | 4446 42872 191759 | 2147483647 92884 49 | 0.022 % |
146.01/146.18 c | 92985 | 4446 42872 191759 | 2147483647 92984 49 | 0.022 % |
146.31/146.45 c | 93097 | 4446 42872 191759 | 2147483647 93096 49 | 0.022 % |
146.61/146.77 c | 93218 | 4446 42872 191759 | 2147483647 93217 49 | 0.022 % |
147.01/147.10 c | 93352 | 4446 42872 191759 | 2147483647 93351 49 | 0.023 % |
147.31/147.49 c | 93499 | 4446 42872 191759 | 2147483647 93498 49 | 0.022 % |
147.81/147.94 c | 93659 | 4446 42872 191759 | 2147483647 93658 49 | 0.022 % |
148.21/148.36 c | 93835 | 4446 42872 191759 | 2147483647 93834 49 | 0.022 % |
148.71/148.89 c | 94029 | 4446 42872 191759 | 2147483647 94028 49 | 0.023 % |
149.41/149.55 c | 94242 | 4446 42872 191759 | 2147483647 94241 49 | 0.023 % |
150.11/150.24 c | 94476 | 4446 42872 191759 | 2147483647 94475 49 | 0.022 % |
150.71/150.83 c | 94732 | 4446 42872 191759 | 2147483647 94731 49 | 0.022 % |
151.41/151.52 c | 95014 | 4446 42872 191759 | 2147483647 95013 49 | 0.023 % |
152.30/152.43 c | 95323 | 4446 42872 191759 | 2147483647 95322 49 | 0.022 % |
153.20/153.30 c | 95662 | 4446 42872 191759 | 2147483647 95661 49 | 0.022 % |
154.00/154.19 c | 96034 | 4446 42872 191759 | 2147483647 96033 49 | 0.023 % |
155.10/155.21 c | 96443 | 4446 42872 191759 | 2147483647 96442 49 | 0.023 % |
156.11/156.23 c | 96893 | 4446 42872 191759 | 2147483647 96892 49 | 0.023 % |
157.30/157.47 c | 97386 | 4446 42872 191759 | 2147483647 97385 49 | 0.022 % |
158.60/158.77 c | 97928 | 4446 42872 191759 | 2147483647 97927 49 | 0.023 % |
159.90/160.03 c | 98524 | 4446 42872 191759 | 2147483647 98523 49 | 0.022 % |
161.71/161.82 c | 99179 | 4446 42872 191759 | 2147483647 99178 49 | 0.022 % |
163.51/163.64 c | 99899 | 4446 42872 191759 | 2147483647 99898 49 | 0.022 % |
165.60/165.74 c | 100691 | 4446 42872 191759 | 100000 100690 49 | 0.023 % |
167.90/168.02 c | 101562 | 4446 42872 191759 | 100000 84100 48 | 0.022 % |
169.31/169.50 c | 102521 | 4446 42872 191759 | 100000 85059 48 | 0.022 % |
172.00/172.17 c | 103574 | 4446 42872 191759 | 100000 86112 48 | 0.023 % |
174.71/174.82 c | 104733 | 4446 42872 191759 | 100000 87271 48 | 0.022 % |
174.90/175.04 c | 104833 | 4446 42872 191759 | 100000 87371 48 | 0.022 % |
175.20/175.31 c | 104945 | 4446 42872 191759 | 100000 87483 48 | 0.022 % |
175.40/175.58 c | 105067 | 4446 42872 191759 | 100000 87605 48 | 0.022 % |
175.70/175.86 c | 105200 | 4446 42872 191759 | 100000 87738 48 | 0.022 % |
176.00/176.17 c | 105346 | 4446 42872 191759 | 100000 87884 48 | 0.022 % |
176.40/176.55 c | 105507 | 4446 42872 191759 | 100000 88045 48 | 0.022 % |
176.91/177.02 c | 105685 | 4446 42872 191759 | 100000 88223 48 | 0.022 % |
177.30/177.44 c | 105878 | 4446 42872 191759 | 100000 88416 48 | 0.022 % |
177.80/177.91 c | 106090 | 4446 42872 191759 | 100000 88628 48 | 0.022 % |
178.30/178.49 c | 106323 | 4446 42872 191759 | 100000 88861 48 | 0.022 % |
179.00/179.15 c | 106580 | 4446 42872 191759 | 100000 89118 48 | 0.022 % |
179.60/179.79 c | 106862 | 4446 42872 191759 | 100000 89400 48 | 0.023 % |
180.30/180.48 c | 107172 | 4446 42872 191759 | 100000 89710 48 | 0.022 % |
181.10/181.24 c | 107511 | 4446 42872 191759 | 100000 90049 48 | 0.022 % |
182.00/182.18 c | 107884 | 4446 42872 191759 | 100000 90422 48 | 0.022 % |
182.60/182.76 c | 108294 | 4446 42872 191759 | 100000 90832 48 | 0.022 % |
183.50/183.68 c | 108744 | 4446 42872 191759 | 100000 91282 48 | 0.022 % |
184.70/184.89 c | 109237 | 4446 42872 191759 | 100000 91775 48 | 0.022 % |
186.10/186.21 c | 109780 | 4446 42872 191759 | 100000 92318 48 | 0.022 % |
187.40/187.54 c | 110377 | 4446 42872 191759 | 92539 92915 48 | 0.023 % |
189.00/189.13 c | 111032 | 4446 42872 191759 | 92539 80840 48 | 0.023 % |
190.60/190.76 c | 111755 | 4446 42872 191759 | 92539 81563 48 | 0.023 % |
192.49/192.66 c | 112547 | 4446 42872 191759 | 92539 82355 48 | 0.023 % |
194.50/194.69 c | 113419 | 4446 42872 191759 | 92539 83227 48 | 0.022 % |
197.29/197.41 c | 114377 | 4446 42872 191759 | 92539 84185 48 | 0.022 % |
199.09/199.28 c | 115430 | 4446 42872 191759 | 92539 85238 48 | 0.022 % |
201.69/201.82 c | 116589 | 4446 42872 191759 | 92539 86397 48 | 0.022 % |
204.40/204.57 c | 117862 | 4446 42872 191759 | 92539 87670 48 | 0.022 % |
204.69/204.81 c | 117963 | 4446 42872 191759 | 92539 87771 48 | 0.023 % |
204.79/204.97 c | 118073 | 4446 42872 191759 | 92539 87881 48 | 0.023 % |
205.19/205.35 c | 118195 | 4446 42872 191759 | 92539 88003 48 | 0.022 % |
205.49/205.70 c | 118329 | 4446 42872 191759 | 92539 88137 48 | 0.022 % |
205.89/206.03 c | 118475 | 4446 42872 191759 | 92539 88283 48 | 0.023 % |
206.19/206.32 c | 118638 | 4446 42872 191759 | 92539 88446 48 | 0.022 % |
206.49/206.70 c | 118815 | 4446 42872 191759 | 92539 88623 48 | 0.023 % |
206.89/207.03 c | 119008 | 4446 42872 191759 | 92539 88816 48 | 0.022 % |
207.39/207.56 c | 119221 | 4446 42872 191759 | 92539 89029 48 | 0.022 % |
207.89/208.05 c | 119454 | 4446 42872 191759 | 92539 89262 48 | 0.022 % |
208.49/208.63 c | 119710 | 4446 42872 191759 | 92539 89518 48 | 0.022 % |
209.19/209.34 c | 119992 | 4446 42872 191759 | 92539 89800 48 | 0.022 % |
209.89/210.07 c | 120302 | 4446 42872 191759 | 89808 90110 48 | 0.022 % |
210.69/210.89 c | 120641 | 4446 42872 191759 | 89808 77779 47 | 0.022 % |
211.49/211.66 c | 121013 | 4446 42872 191759 | 89808 78151 47 | 0.022 % |
212.39/212.57 c | 121422 | 4446 42872 191759 | 89808 78560 47 | 0.022 % |
213.39/213.53 c | 121871 | 4446 42872 191759 | 89808 79009 47 | 0.023 % |
214.49/214.68 c | 122365 | 4446 42872 191759 | 89808 79503 47 | 0.023 % |
215.39/215.59 c | 122908 | 4446 42872 191759 | 89808 80046 47 | 0.023 % |
216.69/216.82 c | 123505 | 4446 42872 191759 | 89808 80643 47 | 0.022 % |
218.28/218.48 c | 124161 | 4446 42872 191759 | 89808 81299 47 | 0.022 % |
219.98/220.12 c | 124883 | 4446 42872 191759 | 89808 82021 47 | 0.022 % |
221.58/221.75 c | 125676 | 4446 42872 191759 | 89808 82814 47 | 0.023 % |
223.88/224.09 c | 126548 | 4446 42872 191759 | 89808 83686 47 | 0.023 % |
226.18/226.37 c | 127506 | 4446 42872 191759 | 89808 84644 47 | 0.023 % |
228.69/228.83 c | 128560 | 4446 42872 191759 | 89808 85698 47 | 0.022 % |
231.38/231.55 c | 129719 | 4446 42872 191759 | 89808 86857 47 | 0.022 % |
234.38/234.55 c | 130993 | 4446 42872 191759 | 87139 88131 47 | 0.022 % |
237.68/237.85 c | 132395 | 4446 42872 191759 | 87139 76592 47 | 0.022 % |
237.88/238.06 c | 132496 | 4446 42872 191759 | 87139 76693 47 | 0.023 % |
238.18/238.31 c | 132607 | 4446 42872 191759 | 87139 76804 47 | 0.022 % |
238.38/238.57 c | 132729 | 4446 42872 191759 | 87139 76926 47 | 0.022 % |
238.68/238.84 c | 132863 | 4446 42872 191759 | 87139 77060 47 | 0.022 % |
238.98/239.11 c | 133010 | 4446 42872 191759 | 87139 77207 47 | 0.022 % |
239.28/239.48 c | 133170 | 4446 42872 191759 | 87139 77367 47 | 0.022 % |
239.68/239.88 c | 133346 | 4446 42872 191759 | 87139 77543 47 | 0.022 % |
240.08/240.28 c | 133541 | 4446 42872 191759 | 87139 77738 47 | 0.023 % |
240.58/240.77 c | 133754 | 4446 42872 191759 | 87139 77951 47 | 0.022 % |
241.18/241.31 c | 133987 | 4446 42872 191759 | 87139 78184 47 | 0.022 % |
241.68/241.90 c | 134244 | 4446 42872 191759 | 87139 78441 47 | 0.022 % |
242.38/242.54 c | 134525 | 4446 42872 191759 | 87139 78722 47 | 0.023 % |
243.08/243.27 c | 134834 | 4446 42872 191759 | 87139 79031 47 | 0.022 % |
243.98/244.18 c | 135173 | 4446 42872 191759 | 87139 79370 47 | 0.023 % |
244.78/244.94 c | 135545 | 4446 42872 191759 | 87139 79742 47 | 0.022 % |
245.68/245.86 c | 135954 | 4446 42872 191759 | 87139 80151 47 | 0.022 % |
246.68/246.88 c | 136404 | 4446 42872 191759 | 87139 80601 47 | 0.022 % |
247.88/248.04 c | 136898 | 4446 42872 191759 | 87139 81095 47 | 0.022 % |
248.98/249.19 c | 137440 | 4446 42872 191759 | 87139 81637 47 | 0.022 % |
250.27/250.46 c | 138037 | 4446 42872 191759 | 87139 82234 47 | 0.022 % |
252.67/252.80 c | 138692 | 4446 42872 191759 | 87139 82889 47 | 0.022 % |
254.07/254.26 c | 139412 | 4446 42872 191759 | 87139 83609 47 | 0.023 % |
256.08/256.26 c | 140205 | 4446 42872 191759 | 84197 84402 47 | 0.023 % |
257.97/258.19 c | 141076 | 4446 42872 191759 | 84197 75532 47 | 0.022 % |
259.97/260.16 c | 142035 | 4446 42872 191759 | 84197 76491 47 | 0.022 % |
262.37/262.52 c | 143089 | 4446 42872 191759 | 84197 77545 47 | 0.023 % |
265.17/265.39 c | 144248 | 4446 42872 191759 | 84197 78704 47 | 0.022 % |
268.07/268.25 c | 145521 | 4446 42872 191759 | 84197 79977 47 | 0.022 % |
271.37/271.58 c | 146921 | 4446 42872 191759 | 84197 81377 47 | 0.023 % |
274.77/274.94 c | 148462 | 4446 42872 191759 | 84197 82918 47 | 0.022 % |
274.97/275.14 c | 148562 | 4446 42872 191759 | 84197 83018 47 | 0.022 % |
275.27/275.42 c | 148673 | 4446 42872 191759 | 84197 83129 47 | 0.022 % |
275.57/275.74 c | 148795 | 4446 42872 191759 | 84197 83251 47 | 0.022 % |
275.87/276.06 c | 148929 | 4446 42872 191759 | 84197 83385 47 | 0.023 % |
276.27/276.40 c | 149075 | 4446 42872 191759 | 84197 83531 47 | 0.022 % |
276.67/276.85 c | 149235 | 4446 42872 191759 | 84197 83691 47 | 0.022 % |
277.07/277.24 c | 149413 | 4446 42872 191759 | 84197 83869 47 | 0.022 % |
277.57/277.71 c | 149607 | 4446 42872 191759 | 84197 84063 47 | 0.022 % |
277.96/278.17 c | 149819 | 4446 42872 191759 | 84197 84275 47 | 0.023 % |
278.56/278.79 c | 150052 | 4446 42872 191759 | 75826 75876 47 | 0.023 % |
279.27/279.48 c | 150308 | 4446 42872 191759 | 75826 68444 46 | 0.023 % |
279.86/280.03 c | 150590 | 4446 42872 191759 | 75826 68726 46 | 0.023 % |
280.77/281.00 c | 150900 | 4446 42872 191759 | 75826 69036 46 | 0.022 % |
281.37/281.59 c | 151239 | 4446 42872 191759 | 75826 69375 46 | 0.022 % |
282.06/282.28 c | 151611 | 4446 42872 191759 | 75826 69747 46 | 0.022 % |
282.86/283.04 c | 152020 | 4446 42872 191759 | 75826 70156 46 | 0.022 % |
283.76/283.97 c | 152469 | 4446 42872 191759 | 75826 70605 46 | 0.023 % |
284.96/285.16 c | 152963 | 4446 42872 191759 | 75826 71099 46 | 0.022 % |
286.16/286.38 c | 153506 | 4446 42872 191759 | 75826 71642 46 | 0.022 % |
287.26/287.41 c | 154103 | 4446 42872 191759 | 75826 72239 46 | 0.023 % |
288.46/288.64 c | 154758 | 4446 42872 191759 | 75826 72894 46 | 0.022 % |
289.86/290.01 c | 155478 | 4446 42872 191759 | 75826 73614 46 | 0.022 % |
290.96/291.15 c | 156271 | 4446 42872 191759 | 75826 74407 46 | 0.022 % |
292.86/293.07 c | 157142 | 4446 42872 191759 | 75826 75278 47 | 0.023 % |
294.86/295.03 c | 158100 | 4446 42872 191759 | 75826 76236 47 | 0.022 % |
297.06/297.23 c | 159154 | 4446 42872 191759 | 75826 69667 47 | 0.023 % |
299.16/299.35 c | 160313 | 4446 42872 191759 | 2147483647 70826 47 | 0.022 % |
301.36/301.55 c | 161586 | 4446 42872 191759 | 2147483647 72099 47 | 0.022 % |
304.25/304.43 c | 162988 | 4446 42872 191759 | 2147483647 73501 47 | 0.023 % |
307.65/307.83 c | 164528 | 4446 42872 191759 | 2147483647 75041 47 | 0.022 % |
309.25/309.48 c | 166223 | 4446 42872 191759 | 2147483647 76736 46 | 0.023 % |
309.45/309.69 c | 166323 | 4446 42872 191759 | 2147483647 76836 46 | 0.022 % |
309.65/309.82 c | 166434 | 4446 42872 191759 | 2147483647 76947 46 | 0.023 % |
309.96/310.10 c | 166556 | 4446 42872 191759 | 2147483647 77069 46 | 0.023 % |
310.25/310.45 c | 166690 | 4446 42872 191759 | 2147483647 77203 46 | 0.023 % |
310.55/310.73 c | 166837 | 4446 42872 191759 | 2147483647 77350 46 | 0.023 % |
310.85/311.03 c | 166997 | 4446 42872 191759 | 2147483647 77510 46 | 0.022 % |
311.25/311.46 c | 167174 | 4446 42872 191759 | 2147483647 77687 46 | 0.022 % |
311.75/311.91 c | 167367 | 4446 42872 191759 | 2147483647 77880 46 | 0.023 % |
312.16/312.33 c | 167579 | 4446 42872 191759 | 2147483647 78092 46 | 0.023 % |
312.55/312.79 c | 167814 | 4446 42872 191759 | 2147483647 78327 46 | 0.022 % |
313.26/313.43 c | 168071 | 4446 42872 191759 | 2147483647 78584 46 | 0.023 % |
313.95/314.12 c | 168353 | 4446 42872 191759 | 2147483647 78866 46 | 0.022 % |
314.66/314.83 c | 168662 | 4446 42872 191759 | 2147483647 79175 46 | 0.022 % |
315.47/315.61 c | 169001 | 4446 42872 191759 | 2147483647 79514 46 | 0.023 % |
316.16/316.36 c | 169375 | 4446 42872 191759 | 2147483647 79888 46 | 0.022 % |
316.96/317.19 c | 169786 | 4446 42872 191759 | 2147483647 80299 46 | 0.023 % |
317.86/318.05 c | 170236 | 4446 42872 191759 | 2147483647 80749 46 | 0.022 % |
318.96/319.11 c | 170729 | 4446 42872 191759 | 2147483647 81242 46 | 0.023 % |
320.06/320.20 c | 171271 | 4446 42872 191759 | 2147483647 81784 46 | 0.023 % |
321.36/321.58 c | 171869 | 4446 42872 191759 | 2147483647 82382 46 | 0.022 % |
322.86/323.07 c | 172525 | 4446 42872 191759 | 2147483647 83038 46 | 0.022 % |
324.86/325.01 c | 173246 | 4446 42872 191759 | 2147483647 83759 46 | 0.022 % |
326.96/327.17 c | 174038 | 4446 42872 191759 | 2147483647 84551 46 | 0.022 % |
329.16/329.36 c | 174910 | 4446 42872 191759 | 2147483647 85423 46 | 0.022 % |
331.35/331.59 c | 175868 | 4446 42872 191759 | 2147483647 86381 46 | 0.022 % |
333.75/333.99 c | 176922 | 4446 42872 191759 | 2147483647 87435 46 | 0.022 % |
336.46/336.69 c | 178081 | 4446 42872 191759 | 2147483647 88594 46 | 0.022 % |
339.76/339.94 c | 179355 | 4446 42872 191759 | 2147483647 89868 46 | 0.022 % |
343.25/343.48 c | 180755 | 4446 42872 191759 | 90513 91268 46 | 0.022 % |
347.05/347.28 c | 182295 | 4446 42872 191759 | 90513 83682 46 | 0.023 % |
350.65/350.84 c | 183989 | 4446 42872 191759 | 90513 85376 46 | 0.022 % |
351.65/351.81 c | 185852 | 4446 42872 191759 | 90513 87239 46 | 0.022 % |
351.85/352.09 c | 185953 | 4446 42872 191759 | 90513 87340 46 | 0.023 % |
352.05/352.27 c | 186063 | 4446 42872 191759 | 90513 87450 46 | 0.023 % |
352.35/352.58 c | 186184 | 4446 42872 191759 | 90513 87571 46 | 0.022 % |
352.65/352.84 c | 186317 | 4446 42872 191759 | 90513 87704 46 | 0.023 % |
352.95/353.17 c | 186464 | 4446 42872 191759 | 90513 87851 46 | 0.022 % |
353.35/353.52 c | 186625 | 4446 42872 191759 | 90513 88012 46 | 0.023 % |
353.75/353.97 c | 186801 | 4446 42872 191759 | 90513 88188 46 | 0.022 % |
354.25/354.43 c | 186996 | 4446 42872 191759 | 90513 88383 46 | 0.022 % |
354.75/354.95 c | 187210 | 4446 42872 191759 | 90513 88597 46 | 0.022 % |
355.35/355.54 c | 187446 | 4446 42872 191759 | 90513 88833 46 | 0.023 % |
355.65/355.83 c | 187703 | 4446 42872 191759 | 90513 89090 46 | 0.023 % |
356.35/356.54 c | 187984 | 4446 42872 191759 | 90513 89371 46 | 0.022 % |
357.05/357.22 c | 188295 | 4446 42872 191759 | 90513 89682 46 | 0.022 % |
357.85/358.06 c | 188635 | 4446 42872 191759 | 90513 90022 46 | 0.023 % |
358.55/358.75 c | 189008 | 4446 42872 191759 | 90513 90395 46 | 0.023 % |
359.55/359.74 c | 189417 | 4446 42872 191759 | 90513 90804 46 | 0.022 % |
360.74/360.97 c | 189866 | 4446 42872 191759 | 90513 82173 45 | 0.023 % |
361.75/361.90 c | 190359 | 4446 42872 191759 | 2147483647 82666 45 | 0.022 % |
362.85/363.05 c | 190901 | 4446 42872 191759 | 2147483647 83208 45 | 0.022 % |
364.04/364.29 c | 191497 | 4446 42872 191759 | 2147483647 83804 45 | 0.022 % |
365.54/365.75 c | 192152 | 4446 42872 191759 | 2147483647 84459 45 | 0.022 % |
367.44/367.69 c | 192873 | 4446 42872 191759 | 2147483647 85180 46 | 0.022 % |
369.35/369.60 c | 193665 | 4446 42872 191759 | 2147483647 85972 46 | 0.022 % |
371.34/371.52 c | 194537 | 4446 42872 191759 | 2147483647 86844 46 | 0.022 % |
373.94/374.10 c | 195496 | 4446 42872 191759 | 2147483647 87803 46 | 0.022 % |
376.64/376.86 c | 196550 | 4446 42872 191759 | 2147483647 88857 46 | 0.022 % |
379.24/379.45 c | 197708 | 4446 42872 191759 | 2147483647 90015 46 | 0.022 % |
382.34/382.58 c | 198981 | 4446 42872 191759 | 2147483647 91288 46 | 0.023 % |
385.74/385.92 c | 200382 | 4446 42872 191759 | 92308 92689 47 | 0.022 % |
389.74/389.95 c | 201923 | 4446 42872 191759 | 92308 82879 47 | 0.022 % |
392.93/393.11 c | 203618 | 4446 42872 191759 | 92308 84574 47 | 0.022 % |
397.83/398.06 c | 205482 | 4446 42872 191759 | 92308 86438 48 | 0.022 % |
402.63/402.88 c | 207531 | 4446 42872 191759 | 92308 88487 48 | 0.022 % |
403.03/403.20 c | 207632 | 4446 42872 191759 | 92308 88588 48 | 0.022 % |
403.23/403.49 c | 207743 | 4446 42872 191759 | 92308 88699 48 | 0.022 % |
403.53/403.79 c | 207865 | 4446 42872 191759 | 92308 88821 48 | 0.023 % |
403.83/404.09 c | 207999 | 4446 42872 191759 | 92308 88955 48 | 0.023 % |
404.13/404.38 c | 208145 | 4446 42872 191759 | 92308 89101 48 | 0.023 % |
404.63/404.84 c | 208306 | 4446 42872 191759 | 92308 89262 48 | 0.022 % |
405.03/405.25 c | 208482 | 4446 42872 191759 | 92308 89438 48 | 0.023 % |
405.43/405.69 c | 208675 | 4446 42872 191759 | 92308 89631 48 | 0.022 % |
406.03/406.23 c | 208888 | 4446 42872 191759 | 92308 89844 48 | 0.023 % |
406.63/406.86 c | 209121 | 4446 42872 191759 | 92308 90077 48 | 0.022 % |
407.23/407.50 c | 209377 | 4446 42872 191759 | 92308 90333 48 | 0.023 % |
408.03/408.25 c | 209658 | 4446 42872 191759 | 92308 90614 48 | 0.022 % |
408.83/409.00 c | 209969 | 4446 42872 191759 | 92308 90925 48 | 0.022 % |
409.63/409.84 c | 210308 | 4446 42872 191759 | 90957 91264 48 | 0.022 % |
410.43/410.67 c | 210682 | 4446 42872 191759 | 90957 79865 48 | 0.023 % |
411.23/411.48 c | 211093 | 4446 42872 191759 | 90957 80276 48 | 0.022 % |
412.33/412.55 c | 211542 | 4446 42872 191759 | 90957 80725 48 | 0.022 % |
413.43/413.62 c | 212036 | 4446 42872 191759 | 90957 81219 48 | 0.022 % |
414.62/414.88 c | 212579 | 4446 42872 191759 | 90957 81762 48 | 0.023 % |
416.02/416.27 c | 213175 | 4446 42872 191759 | 90957 82358 48 | 0.022 % |
417.52/417.76 c | 213830 | 4446 42872 191759 | 90957 83013 48 | 0.022 % |
419.32/419.56 c | 214551 | 4446 42872 191759 | 90957 83734 48 | 0.022 % |
421.22/421.45 c | 215343 | 4446 42872 191759 | 90957 84526 48 | 0.022 % |
423.32/423.50 c | 216215 | 4446 42872 191759 | 90957 85398 48 | 0.022 % |
425.42/425.67 c | 217174 | 4446 42872 191759 | 90957 86357 48 | 0.022 % |
427.92/428.10 c | 218227 | 4446 42872 191759 | 90957 87410 48 | 0.022 % |
430.42/430.68 c | 219385 | 4446 42872 191759 | 90957 88568 48 | 0.023 % |
433.41/433.66 c | 220658 | 4446 42872 191759 | 89183 89841 48 | 0.022 % |
436.52/436.77 c | 222058 | 4446 42872 191759 | 89183 78519 48 | 0.022 % |
439.72/439.93 c | 223598 | 4446 42872 191759 | 89183 80059 48 | 0.023 % |
443.71/443.95 c | 225292 | 4446 42872 191759 | 89183 81753 48 | 0.022 % |
447.71/447.96 c | 227155 | 4446 42872 191759 | 89183 83616 48 | 0.022 % |
452.51/452.78 c | 229204 | 4446 42872 191759 | 89183 85665 48 | 0.023 % |
457.51/457.76 c | 231457 | 4446 42872 191759 | 2147483647 87918 48 | 0.022 % |
457.61/457.87 c | 231557 | 4446 42872 191759 | 2147483647 88018 48 | 0.022 % |
457.91/458.19 c | 231667 | 4446 42872 191759 | 2147483647 88128 48 | 0.022 % |
458.31/458.51 c | 231789 | 4446 42872 191759 | 2147483647 88250 48 | 0.022 % |
458.41/458.63 c | 231922 | 4446 42872 191759 | 2147483647 88383 48 | 0.022 % |
458.81/459.00 c | 232068 | 4446 42872 191759 | 2147483647 88529 48 | 0.023 % |
459.21/459.40 c | 232229 | 4446 42872 191759 | 2147483647 88690 48 | 0.023 % |
459.61/459.82 c | 232406 | 4446 42872 191759 | 2147483647 88867 48 | 0.023 % |
460.11/460.35 c | 232601 | 4446 42872 191759 | 2147483647 89062 48 | 0.022 % |
460.51/460.78 c | 232814 | 4446 42872 191759 | 2147483647 89275 48 | 0.023 % |
461.00/461.26 c | 233049 | 4446 42872 191759 | 2147483647 89510 48 | 0.022 % |
461.81/462.10 c | 233306 | 4446 42872 191759 | 2147483647 89767 48 | 0.022 % |
462.50/462.74 c | 233587 | 4446 42872 191759 | 2147483647 90048 48 | 0.023 % |
463.50/463.76 c | 233897 | 4446 42872 191759 | 2147483647 90358 48 | 0.023 % |
464.30/464.53 c | 234236 | 4446 42872 191759 | 2147483647 90697 48 | 0.023 % |
465.20/465.42 c | 234609 | 4446 42872 191759 | 2147483647 91070 48 | 0.022 % |
466.21/466.43 c | 235018 | 4446 42872 191759 | 2147483647 91479 48 | 0.022 % |
467.31/467.59 c | 235468 | 4446 42872 191759 | 2147483647 91929 48 | 0.022 % |
468.50/468.75 c | 235961 | 4446 42872 191759 | 2147483647 92422 48 | 0.022 % |
469.70/469.99 c | 236503 | 4446 42872 191759 | 2147483647 92964 48 | 0.022 % |
471.40/471.62 c | 237099 | 4446 42872 191759 | 2147483647 93560 48 | 0.023 % |
472.30/472.50 c | 237754 | 4446 42872 191759 | 2147483647 94215 48 | 0.023 % |
474.00/474.24 c | 238475 | 4446 42872 191759 | 2147483647 94936 48 | 0.022 % |
475.50/475.79 c | 239269 | 4446 42872 191759 | 2147483647 95730 48 | 0.022 % |
478.10/478.37 c | 240141 | 4446 42872 191759 | 2147483647 96602 48 | 0.023 % |
480.40/480.62 c | 241099 | 4446 42872 191759 | 2147483647 97560 48 | 0.022 % |
483.10/483.39 c | 242152 | 4446 42872 191759 | 2147483647 98613 48 | 0.022 % |
485.50/485.75 c | 243311 | 4446 42872 191759 | 2147483647 99772 48 | 0.023 % |
487.89/488.13 c | 244584 | 4446 42872 191759 | 2147483647 101045 48 | 0.022 % |
491.50/491.72 c | 245984 | 4446 42872 191759 | 2147483647 102445 48 | 0.022 % |
495.39/495.60 c | 247524 | 4446 42872 191759 | 2147483647 103985 48 | 0.022 % |
499.89/500.11 c | 249219 | 4446 42872 191759 | 2147483647 105680 48 | 0.023 % |
505.39/505.66 c | 251083 | 4446 42872 191759 | 106461 91465 48 | 0.022 % |
510.88/511.17 c | 253132 | 4446 42872 191759 | 106461 93514 48 | 0.023 % |
516.08/516.30 c | 255385 | 4446 42872 191759 | 106461 95767 48 | 0.022 % |
522.19/522.48 c | 257863 | 4446 42872 191759 | 106461 98245 48 | 0.022 % |
522.39/522.67 c | 257964 | 4446 42872 191759 | 106461 98346 48 | 0.023 % |
522.69/522.94 c | 258077 | 4446 42872 191759 | 106461 98459 48 | 0.023 % |
522.99/523.27 c | 258198 | 4446 42872 191759 | 106461 98580 48 | 0.023 % |
523.39/523.66 c | 258332 | 4446 42872 191759 | 106461 98714 48 | 0.022 % |
523.79/524.08 c | 258478 | 4446 42872 191759 | 106461 98860 48 | 0.022 % |
524.19/524.49 c | 258640 | 4446 42872 191759 | 106461 99022 48 | 0.022 % |
524.59/524.83 c | 258818 | 4446 42872 191759 | 106461 99200 48 | 0.023 % |
524.89/525.16 c | 259012 | 4446 42872 191759 | 106461 99394 48 | 0.023 % |
525.29/525.57 c | 259224 | 4446 42872 191759 | 106461 99606 48 | 0.022 % |
525.89/526.17 c | 259457 | 4446 42872 191759 | 106461 99839 48 | 0.022 % |
526.69/526.99 c | 259714 | 4446 42872 191759 | 106461 100096 48 | 0.022 % |
527.39/527.66 c | 259996 | 4446 42872 191759 | 106461 100378 48 | 0.022 % |
528.09/528.37 c | 260305 | 4446 42872 191759 | 100382 100687 48 | 0.022 % |
529.09/529.36 c | 260644 | 4446 42872 191759 | 100382 85991 49 | 0.023 % |
529.69/529.97 c | 261016 | 4446 42872 191759 | 100382 86363 49 | 0.023 % |
530.68/530.96 c | 261427 | 4446 42872 191759 | 100382 86774 49 | 0.023 % |
531.78/532.08 c | 261876 | 4446 42872 191759 | 100382 87223 49 | 0.023 % |
532.88/533.16 c | 262370 | 4446 42872 191759 | 100382 87717 49 | 0.022 % |
533.48/533.76 c | 262912 | 4446 42872 191759 | 100382 88259 49 | 0.023 % |
534.88/535.17 c | 263509 | 4446 42872 191759 | 100382 88856 49 | 0.022 % |
536.38/536.66 c | 264164 | 4446 42872 191759 | 100382 89511 49 | 0.022 % |
538.08/538.37 c | 264885 | 4446 42872 191759 | 100382 90232 49 | 0.022 % |
539.79/540.08 c | 265677 | 4446 42872 191759 | 100382 91024 49 | 0.022 % |
541.99/542.23 c | 266548 | 4446 42872 191759 | 100382 91895 49 | 0.022 % |
544.28/544.53 c | 267506 | 4446 42872 191759 | 100382 92853 49 | 0.022 % |
547.08/547.39 c | 268560 | 4446 42872 191759 | 100382 93907 49 | 0.022 % |
549.98/550.27 c | 269719 | 4446 42872 191759 | 100382 95066 49 | 0.023 % |
552.88/553.15 c | 270993 | 4446 42872 191759 | 95347 96340 49 | 0.023 % |
556.08/556.39 c | 272393 | 4446 42872 191759 | 95347 84281 49 | 0.022 % |
559.58/559.81 c | 273934 | 4446 42872 191759 | 95347 85822 49 | 0.022 % |
561.37/561.62 c | 275628 | 4446 42872 191759 | 95347 87516 49 | 0.022 % |
565.27/565.58 c | 277492 | 4446 42872 191759 | 95347 89380 50 | 0.023 % |
569.97/570.22 c | 279542 | 4446 42872 191759 | 95347 91430 50 | 0.023 % |
576.47/576.78 c | 281795 | 4446 42872 191759 | 91888 93683 50 | 0.023 % |
582.17/582.49 c | 284273 | 4446 42872 191759 | 91888 84426 47 | 0.023 % |
587.97/588.27 c | 286999 | 4446 42872 191759 | 91888 87152 48 | 0.023 % |
588.27/588.50 c | 287099 | 4446 42872 191759 | 91888 87252 48 | 0.023 % |
588.57/588.81 c | 287210 | 4446 42872 191759 | 91888 87363 48 | 0.022 % |
589.07/589.30 c | 287331 | 4446 42872 191759 | 91888 87484 48 | 0.023 % |
589.27/589.60 c | 287465 | 4446 42872 191759 | 91888 87618 48 | 0.022 % |
589.67/589.91 c | 287611 | 4446 42872 191759 | 91888 87764 48 | 0.023 % |
589.96/590.26 c | 287773 | 4446 42872 191759 | 91888 87926 48 | 0.022 % |
590.47/590.73 c | 287951 | 4446 42872 191759 | 91888 88104 48 | 0.022 % |
590.86/591.17 c | 288144 | 4446 42872 191759 | 91888 88297 48 | 0.022 % |
591.47/591.76 c | 288356 | 4446 42872 191759 | 91888 88509 48 | 0.022 % |
592.06/592.32 c | 288589 | 4446 42872 191759 | 91888 88742 48 | 0.022 % |
592.57/592.87 c | 288845 | 4446 42872 191759 | 91888 88998 48 | 0.022 % |
593.26/593.52 c | 289127 | 4446 42872 191759 | 91888 89280 48 | 0.023 % |
593.86/594.16 c | 289437 | 4446 42872 191759 | 91888 89590 48 | 0.022 % |
594.66/594.95 c | 289777 | 4446 42872 191759 | 91888 89930 48 | 0.022 % |
595.46/595.77 c | 290149 | 4446 42872 191759 | 2147483647 90302 48 | 0.022 % |
596.46/596.77 c | 290558 | 4446 42872 191759 | 2147483647 90711 48 | 0.022 % |
597.76/598.07 c | 291007 | 4446 42872 191759 | 2147483647 91160 48 | 0.022 % |
599.06/599.30 c | 291500 | 4446 42872 191759 | 2147483647 91653 48 | 0.023 % |
600.16/600.50 c | 292044 | 4446 42872 191759 | 2147483647 92197 48 | 0.022 % |
601.66/601.90 c | 292642 | 4446 42872 191759 | 2147483647 92795 48 | 0.023 % |
603.26/603.52 c | 293298 | 4446 42872 191759 | 2147483647 93451 48 | 0.022 % |
604.96/605.29 c | 294018 | 4446 42872 191759 | 2147483647 94171 47 | 0.023 % |
607.26/607.58 c | 294811 | 4446 42872 191759 | 2147483647 94964 48 | 0.023 % |
609.46/609.71 c | 295683 | 4446 42872 191759 | 2147483647 95836 48 | 0.022 % |
611.86/612.15 c | 296641 | 4446 42872 191759 | 2147483647 96794 48 | 0.022 % |
614.36/614.66 c | 297695 | 4446 42872 191759 | 2147483647 97848 48 | 0.022 % |
615.86/616.14 c | 298853 | 4446 42872 191759 | 2147483647 99006 48 | 0.022 % |
619.06/619.32 c | 300126 | 4446 42872 191759 | 2147483647 100279 48 | 0.023 % |
619.95/620.26 c | 301528 | 4446 42872 191759 | 2147483647 101681 48 | 0.023 % |
623.95/624.29 c | 303069 | 4446 42872 191759 | 2147483647 103222 48 | 0.022 % |
628.25/628.56 c | 304763 | 4446 42872 191759 | 2147483647 104916 48 | 0.022 % |
633.05/633.31 c | 306627 | 4446 42872 191759 | 2147483647 106780 48 | 0.023 % |
638.35/638.67 c | 308676 | 4446 42872 191759 | 2147483647 108829 48 | 0.022 % |
644.45/644.70 c | 310929 | 4446 42872 191759 | 110153 111082 48 | 0.023 % |
650.95/651.22 c | 313407 | 4446 42872 191759 | 110153 97289 48 | 0.023 % |
657.84/658.13 c | 316134 | 4446 42872 191759 | 110153 100016 48 | 0.023 % |
666.04/666.36 c | 319132 | 4446 42872 191759 | 110153 103014 47 | 0.022 % |
666.34/666.64 c | 319233 | 4446 42872 191759 | 110153 103115 47 | 0.023 % |
666.54/666.88 c | 319343 | 4446 42872 191759 | 110153 103225 47 | 0.022 % |
666.84/667.18 c | 319464 | 4446 42872 191759 | 110153 103346 47 | 0.022 % |
667.44/667.75 c | 319598 | 4446 42872 191759 | 110153 103480 47 | 0.022 % |
667.84/668.19 c | 319744 | 4446 42872 191759 | 110153 103626 47 | 0.022 % |
668.34/668.63 c | 319904 | 4446 42872 191759 | 110153 103786 47 | 0.022 % |
668.74/669.07 c | 320080 | 4446 42872 191759 | 103883 103962 47 | 0.023 % |
669.44/669.80 c | 320273 | 4446 42872 191759 | 103883 89346 47 | 0.022 % |
669.94/670.24 c | 320486 | 4446 42872 191759 | 103883 89559 47 | 0.022 % |
670.53/670.84 c | 320720 | 4446 42872 191759 | 103883 89793 47 | 0.023 % |
671.13/671.42 c | 320976 | 4446 42872 191759 | 103883 90049 47 | 0.022 % |
672.13/672.42 c | 321257 | 4446 42872 191759 | 103883 90330 47 | 0.022 % |
672.84/673.12 c | 321567 | 4446 42872 191759 | 103883 90640 47 | 0.022 % |
673.63/673.93 c | 321907 | 4446 42872 191759 | 103883 90980 47 | 0.022 % |
674.43/674.75 c | 322280 | 4446 42872 191759 | 103883 91353 47 | 0.022 % |
675.43/675.72 c | 322691 | 4446 42872 191759 | 103883 91764 47 | 0.022 % |
676.43/676.72 c | 323141 | 4446 42872 191759 | 103883 92214 47 | 0.023 % |
677.34/677.66 c | 323634 | 4446 42872 191759 | 103883 92707 47 | 0.022 % |
678.63/678.94 c | 324177 | 4446 42872 191759 | 103883 93250 47 | 0.022 % |
680.03/680.31 c | 324773 | 4446 42872 191759 | 103883 93846 47 | 0.023 % |
680.83/681.12 c | 325428 | 4446 42872 191759 | 103883 94501 47 | 0.023 % |
682.33/682.60 c | 326148 | 4446 42872 191759 | 103883 95221 47 | 0.023 % |
683.93/684.28 c | 326940 | 4446 42872 191759 | 103883 96013 47 | 0.022 % |
685.93/686.26 c | 327811 | 4446 42872 191759 | 103883 96884 47 | 0.022 % |
686.93/687.27 c | 328769 | 4446 42872 191759 | 103883 97842 47 | 0.023 % |
689.33/689.61 c | 329822 | 4446 42872 191759 | 103883 98895 47 | 0.023 % |
692.63/692.95 c | 330980 | 4446 42872 191759 | 2147483647 100053 48 | 0.022 % |
695.42/695.71 c | 332253 | 4446 42872 191759 | 2147483647 101326 48 | 0.023 % |
698.92/699.25 c | 333655 | 4446 42872 191759 | 2147483647 102728 48 | 0.022 % |
702.52/702.89 c | 335196 | 4446 42872 191759 | 2147483647 104269 48 | 0.023 % |
707.02/707.32 c | 336891 | 4446 42872 191759 | 2147483647 105964 47 | 0.022 % |
711.52/711.81 c | 338755 | 4446 42872 191759 | 2147483647 107828 47 | 0.023 % |
716.22/716.57 c | 340805 | 4446 42872 191759 | 2147483647 109878 47 | 0.022 % |
721.82/722.16 c | 343059 | 4446 42872 191759 | 2147483647 112132 48 | 0.022 % |
728.42/728.76 c | 345537 | 4446 42872 191759 | 2147483647 114610 48 | 0.022 % |
734.92/735.29 c | 348263 | 4446 42872 191759 | 2147483647 117336 47 | 0.022 % |
742.92/743.23 c | 351260 | 4446 42872 191759 | 119074 120333 47 | 0.022 % |
747.91/748.26 c | 354557 | 4446 42872 191759 | 119074 102051 46 | 0.022 % |
748.21/748.50 c | 354658 | 4446 42872 191759 | 119074 102152 46 | 0.022 % |
748.41/748.75 c | 354769 | 4446 42872 191759 | 119074 102263 46 | 0.022 % |
748.61/748.95 c | 354891 | 4446 42872 191759 | 119074 102385 46 | 0.023 % |
748.91/749.29 c | 355024 | 4446 42872 191759 | 119074 102518 46 | 0.022 % |
749.31/749.68 c | 355172 | 4446 42872 191759 | 119074 102666 46 | 0.023 % |
749.71/750.08 c | 355332 | 4446 42872 191759 | 119074 102826 46 | 0.022 % |
750.21/750.54 c | 355509 | 4446 42872 191759 | 119074 103003 46 | 0.022 % |
750.71/751.02 c | 355703 | 4446 42872 191759 | 119074 103197 46 | 0.023 % |
751.21/751.52 c | 355915 | 4446 42872 191759 | 119074 103409 46 | 0.023 % |
751.71/752.04 c | 356148 | 4446 42872 191759 | 119074 103642 46 | 0.022 % |
752.41/752.72 c | 356405 | 4446 42872 191759 | 119074 103899 46 | 0.022 % |
752.91/753.22 c | 356687 | 4446 42872 191759 | 119074 104181 46 | 0.022 % |
753.51/753.83 c | 356997 | 4446 42872 191759 | 119074 104491 46 | 0.023 % |
754.22/754.54 c | 357337 | 4446 42872 191759 | 119074 104831 46 | 0.022 % |
754.91/755.27 c | 357709 | 4446 42872 191759 | 119074 105203 46 | 0.022 % |
755.81/756.15 c | 358120 | 4446 42872 191759 | 119074 105614 46 | 0.022 % |
756.91/757.23 c | 358569 | 4446 42872 191759 | 119074 106063 46 | 0.022 % |
758.21/758.51 c | 359062 | 4446 42872 191759 | 119074 106556 46 | 0.022 % |
759.11/759.41 c | 359605 | 4446 42872 191759 | 119074 107099 46 | 0.022 % |
760.41/760.78 c | 360201 | 4446 42872 191759 | 2147483647 107695 46 | 0.023 % |
762.21/762.57 c | 360857 | 4446 42872 191759 | 2147483647 108351 47 | 0.022 % |
763.91/764.27 c | 361577 | 4446 42872 191759 | 2147483647 109071 47 | 0.023 % |
765.71/766.02 c | 362369 | 4446 42872 191759 | 2147483647 109863 47 | 0.022 % |
767.71/768.03 c | 363240 | 4446 42872 191759 | 2147483647 110734 47 | 0.022 % |
770.01/770.36 c | 364199 | 4446 42872 191759 | 2147483647 111693 47 | 0.022 % |
772.71/773.06 c | 365254 | 4446 42872 191759 | 2147483647 112748 47 | 0.023 % |
775.50/775.87 c | 366412 | 4446 42872 191759 | 2147483647 113906 47 | 0.023 % |
779.20/779.53 c | 367686 | 4446 42872 191759 | 2147483647 115180 47 | 0.022 % |
782.70/783.02 c | 369086 | 4446 42872 191759 | 2147483647 116580 47 | 0.022 % |
787.90/788.27 c | 370626 | 4446 42872 191759 | 117495 118120 47 | 0.022 % |
792.20/792.59 c | 372322 | 4446 42872 191759 | 117495 101166 45 | 0.023 % |
796.70/797.06 c | 374186 | 4446 42872 191759 | 117495 103030 45 | 0.022 % |
801.70/802.08 c | 376235 | 4446 42872 191759 | 117495 105079 45 | 0.022 % |
807.60/807.95 c | 378489 | 4446 42872 191759 | 117495 107333 45 | 0.023 % |
813.70/814.00 c | 380968 | 4446 42872 191759 | 108844 109812 46 | 0.022 % |
819.59/819.97 c | 383693 | 4446 42872 191759 | 108844 93773 45 | 0.023 % |
825.59/825.98 c | 386691 | 4446 42872 191759 | 108844 96771 45 | 0.022 % |
832.69/833.00 c | 389987 | 4446 42872 191759 | 108844 100067 45 | 0.022 % |
836.39/836.72 c | 393612 | 4446 42872 191759 | 100081 93561 45 | 0.022 % |
836.59/836.94 c | 393713 | 4446 42872 191759 | 100081 93662 45 | 0.023 % |
836.89/837.21 c | 393823 | 4446 42872 191759 | 100081 93772 45 | 0.023 % |
837.09/837.45 c | 393944 | 4446 42872 191759 | 100081 93893 45 | 0.023 % |
837.39/837.74 c | 394077 | 4446 42872 191759 | 100081 94026 45 | 0.022 % |
837.68/838.07 c | 394223 | 4446 42872 191759 | 100081 94172 45 | 0.022 % |
838.08/838.49 c | 394384 | 4446 42872 191759 | 100081 94333 45 | 0.023 % |
838.58/838.96 c | 394560 | 4446 42872 191759 | 100081 94509 45 | 0.022 % |
839.08/839.41 c | 394753 | 4446 42872 191759 | 100081 94702 45 | 0.023 % |
839.68/840.00 c | 394965 | 4446 42872 191759 | 100081 94914 45 | 0.022 % |
840.09/840.45 c | 395199 | 4446 42872 191759 | 100081 95148 45 | 0.022 % |
840.28/840.69 c | 395455 | 4446 42872 191759 | 100081 95404 45 | 0.023 % |
840.78/841.12 c | 395737 | 4446 42872 191759 | 100081 95686 45 | 0.022 % |
841.38/841.77 c | 396046 | 4446 42872 191759 | 100081 95995 45 | 0.023 % |
842.08/842.45 c | 396385 | 4446 42872 191759 | 100081 96334 45 | 0.022 % |
842.88/843.22 c | 396757 | 4446 42872 191759 | 100081 96706 45 | 0.022 % |
843.68/844.07 c | 397166 | 4446 42872 191759 | 100081 97115 45 | 0.023 % |
844.68/845.01 c | 397616 | 4446 42872 191759 | 100081 97565 45 | 0.022 % |
845.68/846.09 c | 398111 | 4446 42872 191759 | 100081 98060 45 | 0.022 % |
846.88/847.24 c | 398653 | 4446 42872 191759 | 100081 98602 45 | 0.022 % |
848.08/848.44 c | 399250 | 4446 42872 191759 | 100081 99199 45 | 0.023 % |
849.48/849.82 c | 399905 | 4446 42872 191759 | 100081 99854 45 | 0.022 % |
850.98/851.31 c | 400626 | 4446 42872 191759 | 2147483647 100575 45 | 0.022 % |
852.78/853.11 c | 401419 | 4446 42872 191759 | 2147483647 101368 45 | 0.023 % |
854.58/854.98 c | 402291 | 4446 42872 191759 | 2147483647 102240 45 | 0.022 % |
856.48/856.88 c | 403250 | 4446 42872 191759 | 2147483647 103199 45 | 0.023 % |
858.78/859.12 c | 404304 | 4446 42872 191759 | 2147483647 104253 45 | 0.023 % |
861.18/861.55 c | 405463 | 4446 42872 191759 | 2147483647 105412 45 | 0.023 % |
863.77/864.14 c | 406737 | 4446 42872 191759 | 2147483647 106686 45 | 0.023 % |
866.67/867.09 c | 408137 | 4446 42872 191759 | 2147483647 108086 45 | 0.022 % |
870.37/870.72 c | 409679 | 4446 42872 191759 | 2147483647 109628 45 | 0.023 % |
874.57/874.97 c | 411374 | 4446 42872 191759 | 109950 111323 45 | 0.022 % |
878.47/878.81 c | 413237 | 4446 42872 191759 | 109950 99514 45 | 0.023 % |
881.47/881.88 c | 415286 | 4446 42872 191759 | 109950 101563 45 | 0.022 % |
886.27/886.61 c | 417539 | 4446 42872 191759 | 109950 103816 46 | 0.022 % |
892.27/892.65 c | 420017 | 4446 42872 191759 | 106280 106294 46 | 0.023 % |
898.66/899.02 c | 422743 | 4446 42872 191759 | 106280 96255 45 | 0.023 % |
905.06/905.49 c | 425741 | 4446 42872 191759 | 106280 99253 45 | 0.022 % |
911.96/912.32 c | 429037 | 4446 42872 191759 | 106280 102549 45 | 0.023 % |
922.66/923.04 c | 432662 | 4446 42872 191759 | 2147483647 106174 45 | 0.022 % |
929.85/930.28 c | 436649 | 4446 42872 191759 | 2147483647 110161 45 | 0.022 % |
930.16/930.51 c | 436750 | 4446 42872 191759 | 2147483647 110262 45 | 0.022 % |
930.35/930.73 c | 436862 | 4446 42872 191759 | 2147483647 110374 45 | 0.022 % |
930.65/931.01 c | 436983 | 4446 42872 191759 | 2147483647 110495 45 | 0.022 % |
930.85/931.30 c | 437116 | 4446 42872 191759 | 2147483647 110628 45 | 0.022 % |
931.15/931.58 c | 437262 | 4446 42872 191759 | 2147483647 110774 45 | 0.022 % |
931.55/931.90 c | 437423 | 4446 42872 191759 | 2147483647 110935 45 | 0.022 % |
931.75/932.13 c | 437599 | 4446 42872 191759 | 2147483647 111111 45 | 0.023 % |
932.25/932.61 c | 437793 | 4446 42872 191759 | 2147483647 111305 45 | 0.022 % |
932.75/933.13 c | 438007 | 4446 42872 191759 | 2147483647 111519 45 | 0.023 % |
933.35/933.72 c | 438241 | 4446 42872 191759 | 2147483647 111753 45 | 0.022 % |
933.95/934.30 c | 438497 | 4446 42872 191759 | 2147483647 112009 45 | 0.022 % |
934.35/934.72 c | 438780 | 4446 42872 191759 | 2147483647 112292 45 | 0.022 % |
935.05/935.47 c | 439090 | 4446 42872 191759 | 2147483647 112602 45 | 0.022 % |
935.95/936.34 c | 439429 | 4446 42872 191759 | 2147483647 112941 46 | 0.022 % |
937.15/937.59 c | 439803 | 4446 42872 191759 | 2147483647 113315 45 | 0.023 % |
938.35/938.74 c | 440212 | 4446 42872 191759 | 2147483647 113724 46 | 0.022 % |
939.45/939.82 c | 440661 | 4446 42872 191759 | 2147483647 114173 46 | 0.022 % |
940.06/940.46 c | 441155 | 4446 42872 191759 | 2147483647 114667 46 | 0.022 % |
941.35/941.71 c | 441697 | 4446 42872 191759 | 2147483647 115209 46 | 0.022 % |
942.85/943.21 c | 442295 | 4446 42872 191759 | 2147483647 115807 46 | 0.022 % |
944.16/944.50 c | 442951 | 4446 42872 191759 | 2147483647 116463 46 | 0.022 % |
946.16/946.58 c | 443673 | 4446 42872 191759 | 2147483647 117185 46 | 0.022 % |
948.26/948.63 c | 444466 | 4446 42872 191759 | 2147483647 117978 46 | 0.023 % |
948.86/949.27 c | 445338 | 4446 42872 191759 | 2147483647 118850 46 | 0.023 % |
951.26/951.65 c | 446296 | 4446 42872 191759 | 2147483647 119808 46 | 0.023 % |
953.86/954.26 c | 447350 | 4446 42872 191759 | 2147483647 120862 46 | 0.022 % |
958.05/958.50 c | 448508 | 4446 42872 191759 | 2147483647 122020 46 | 0.022 % |
961.15/961.53 c | 449781 | 4446 42872 191759 | 2147483647 123293 46 | 0.022 % |
964.85/965.22 c | 451182 | 4446 42872 191759 | 123513 124694 46 | 0.023 % |
969.45/969.83 c | 452724 | 4446 42872 191759 | 123513 104496 46 | 0.023 % |
973.45/973.89 c | 454419 | 4446 42872 191759 | 123513 106191 47 | 0.022 % |
976.54/976.98 c | 456282 | 4446 42872 191759 | 123513 108054 47 | 0.022 % |
981.24/981.68 c | 458334 | 4446 42872 191759 | 123513 110106 47 | 0.022 % |
986.44/986.84 c | 460587 | 4446 42872 191759 | 111772 112359 47 | 0.022 % |
994.64/995.08 c | 463066 | 4446 42872 191759 | 111772 101176 46 | 0.023 % |
1000.54/1000.98 c | 465792 | 4446 42872 191759 | 111772 103902 47 | 0.022 % |
1006.83/1007.22 c | 468789 | 4446 42872 191759 | 111772 106899 47 | 0.022 % |
1014.84/1015.28 c | 472086 | 4446 42872 191759 | 2147483647 110196 47 | 0.022 % |
1023.63/1024.06 c | 475711 | 4446 42872 191759 | 2147483647 113821 47 | 0.022 % |
1033.43/1033.80 c | 479699 | 4446 42872 191759 | 2147483647 117809 47 | 0.022 % |
1044.53/1044.90 c | 484084 | 4446 42872 191759 | 118111 102439 48 | 0.022 % |
1044.72/1045.17 c | 484185 | 4446 42872 191759 | 118111 102540 48 | 0.022 % |
1045.02/1045.44 c | 484295 | 4446 42872 191759 | 118111 102650 48 | 0.023 % |
1045.32/1045.73 c | 484417 | 4446 42872 191759 | 118111 102772 48 | 0.022 % |
1045.63/1046.07 c | 484550 | 4446 42872 191759 | 118111 102905 48 | 0.022 % |
1046.02/1046.45 c | 484697 | 4446 42872 191759 | 118111 103052 48 | 0.022 % |
1046.42/1046.81 c | 484858 | 4446 42872 191759 | 118111 103213 48 | 0.022 % |
1046.83/1047.21 c | 485035 | 4446 42872 191759 | 118111 103390 48 | 0.022 % |
1047.32/1047.70 c | 485229 | 4446 42872 191759 | 118111 103584 48 | 0.022 % |
1047.83/1048.22 c | 485441 | 4446 42872 191759 | 118111 103796 48 | 0.022 % |
1048.52/1048.94 c | 485674 | 4446 42872 191759 | 118111 104029 48 | 0.022 % |
1048.93/1049.35 c | 485931 | 4446 42872 191759 | 118111 104286 48 | 0.022 % |
1049.62/1050.07 c | 486212 | 4446 42872 191759 | 118111 104567 48 | 0.023 % |
1050.42/1050.86 c | 486523 | 4446 42872 191759 | 118111 104878 48 | 0.022 % |
1051.23/1051.63 c | 486862 | 4446 42872 191759 | 118111 105217 48 | 0.022 % |
1052.32/1052.74 c | 487234 | 4446 42872 191759 | 118111 105589 48 | 0.022 % |
1053.32/1053.70 c | 487643 | 4446 42872 191759 | 118111 105998 48 | 0.022 % |
1054.02/1054.48 c | 488092 | 4446 42872 191759 | 118111 106447 48 | 0.022 % |
1055.22/1055.63 c | 488585 | 4446 42872 191759 | 118111 106940 48 | 0.023 % |
1056.82/1057.28 c | 489129 | 4446 42872 191759 | 118111 107484 48 | 0.022 % |
1058.22/1058.64 c | 489727 | 4446 42872 191759 | 118111 108082 48 | 0.022 % |
1059.62/1060.05 c | 490382 | 4446 42872 191759 | 108356 108737 48 | 0.022 % |
1061.41/1061.85 c | 491103 | 4446 42872 191759 | 108356 93069 47 | 0.022 % |
1062.81/1063.23 c | 491896 | 4446 42872 191759 | 108356 93862 47 | 0.022 % |
1064.42/1064.86 c | 492768 | 4446 42872 191759 | 108356 94734 48 | 0.022 % |
1066.41/1066.82 c | 493727 | 4446 42872 191759 | 108356 95693 48 | 0.022 % |
1068.41/1068.86 c | 494782 | 4446 42872 191759 | 108356 96748 48 | 0.023 % |
1070.51/1070.90 c | 495940 | 4446 42872 191759 | 108356 97906 48 | 0.022 % |
1072.71/1073.12 c | 497214 | 4446 42872 191759 | 108356 99180 48 | 0.023 % |
1075.91/1076.30 c | 498614 | 4446 42872 191759 | 108356 100580 47 | 0.023 % |
1079.31/1079.75 c | 500155 | 4446 42872 191759 | 101967 102121 47 | 0.023 % |
1082.91/1083.38 c | 501849 | 4446 42872 191759 | 101967 92387 47 | 0.023 % |
1087.01/1087.44 c | 503712 | 4446 42872 191759 | 101967 94250 47 | 0.022 % |
1091.81/1092.25 c | 505762 | 4446 42872 191759 | 101967 96300 46 | 0.022 % |
1096.41/1096.85 c | 508016 | 4446 42872 191759 | 101967 98554 46 | 0.022 % |
1102.91/1103.38 c | 510495 | 4446 42872 191759 | 100538 101033 47 | 0.022 % |
1108.31/1108.76 c | 513220 | 4446 42872 191759 | 100538 89745 46 | 0.022 % |
1115.01/1115.44 c | 516218 | 4446 42872 191759 | 100538 92743 46 | 0.022 % |
1124.10/1124.50 c | 519515 | 4446 42872 191759 | 100538 96040 46 | 0.022 % |
1134.20/1134.66 c | 523141 | 4446 42872 191759 | 2147483647 99666 46 | 0.023 % |
1141.09/1141.58 c | 527128 | 4446 42872 191759 | 2147483647 103653 46 | 0.022 % |
1150.89/1151.30 c | 531513 | 4446 42872 191759 | 2147483647 108038 47 | 0.023 % |
1160.69/1161.20 c | 536336 | 4445 42865 191739 | 2147483647 112860 46 | 0.045 % |
1160.99/1161.44 c | 536436 | 4445 42865 191739 | 2147483647 112960 46 | 0.045 % |
1161.39/1161.83 c | 536547 | 4445 42865 191739 | 2147483647 113071 46 | 0.045 % |
1161.69/1162.13 c | 536669 | 4445 42865 191739 | 2147483647 113193 47 | 0.045 % |
1162.09/1162.56 c | 536803 | 4445 42865 191739 | 2147483647 113327 46 | 0.045 % |
1162.49/1162.95 c | 536950 | 4445 42865 191739 | 2147483647 113474 47 | 0.045 % |
1162.79/1163.28 c | 537111 | 4445 42865 191739 | 2147483647 113635 46 | 0.045 % |
1163.29/1163.75 c | 537288 | 4445 42865 191739 | 2147483647 113812 47 | 0.045 % |
1163.69/1164.19 c | 537481 | 4445 42865 191739 | 2147483647 114005 47 | 0.045 % |
1164.09/1164.59 c | 537694 | 4445 42865 191739 | 2147483647 114218 47 | 0.045 % |
1164.29/1164.76 c | 537928 | 4445 42865 191739 | 2147483647 114452 46 | 0.045 % |
1164.99/1165.46 c | 538184 | 4445 42865 191739 | 2147483647 114708 47 | 0.045 % |
1165.59/1166.02 c | 538465 | 4445 42865 191739 | 2147483647 114989 47 | 0.045 % |
1166.69/1167.13 c | 538776 | 4445 42865 191739 | 2147483647 115300 47 | 0.045 % |
1167.39/1167.83 c | 539115 | 4445 42865 191739 | 2147483647 115639 47 | 0.045 % |
1168.29/1168.72 c | 539488 | 4445 42865 191739 | 2147483647 116012 47 | 0.045 % |
1169.29/1169.70 c | 539898 | 4445 42865 191739 | 2147483647 116422 47 | 0.045 % |
1170.19/1170.66 c | 540347 | 4445 42865 191739 | 2147483647 116871 47 | 0.045 % |
1171.38/1171.82 c | 540840 | 4445 42865 191739 | 2147483647 117364 47 | 0.045 % |
1172.38/1172.89 c | 541382 | 4445 42865 191739 | 2147483647 117906 47 | 0.045 % |
1173.78/1174.22 c | 541979 | 4445 42865 191739 | 2147483647 118503 47 | 0.045 % |
1175.28/1175.71 c | 542634 | 4445 42865 191739 | 2147483647 119158 46 | 0.045 % |
1178.58/1179.05 c | 543354 | 4445 42865 191739 | 2147483647 119878 46 | 0.045 % |
1180.38/1180.85 c | 544147 | 4445 42865 191739 | 2147483647 120671 47 | 0.045 % |
1181.99/1182.41 c | 545019 | 4445 42865 191739 | 2147483647 121543 46 | 0.045 % |
1184.48/1184.96 c | 545977 | 4445 42865 191739 | 2147483647 122501 47 | 0.045 % |
1187.88/1188.32 c | 547030 | 4445 42865 191739 | 2147483647 123554 47 | 0.045 % |
1190.68/1191.12 c | 548189 | 4445 42865 191739 | 2147483647 124713 46 | 0.045 % |
1192.78/1193.24 c | 549463 | 4445 42865 191739 | 2147483647 125987 46 | 0.045 % |
1196.19/1196.65 c | 550863 | 4445 42865 191739 | 126525 127387 46 | 0.045 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832211-1242770348/watcher-1832211-1242770348 -o /tmp/evaluation-result-1832211-1242770348/solver-1832211-1242770348 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832211-1242770348.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: 0.92 0.98 0.94 3/64 8393
/proc/meminfo: memFree=1972776/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305062640 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8393/statm: 1339 237 197 169 0 50 0
[startup+0.0324069 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 8393
/proc/meminfo: memFree=1972776/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305062640 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8393/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101413 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 8393
/proc/meminfo: memFree=1972776/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305062640 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8393/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301436 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 8393
/proc/meminfo: memFree=1972776/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356
[startup+0.701478 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 8393
/proc/meminfo: memFree=1972776/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356
[startup+1.50156 s]
/proc/loadavg: 0.92 0.98 0.94 2/66 8399
/proc/meminfo: memFree=1967448/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=5016 CPUtime=1.34
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 1115 0 0 0 134 0 0 0 25 0 1 0 305062655 5136384 1101 1992294400 134512640 135215339 4294956240 18446744073709551615 134532758 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 1254 1101 77 171 0 1081 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10372
[startup+3.10174 s]
/proc/loadavg: 0.92 0.98 0.94 2/66 8399
/proc/meminfo: memFree=1966936/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=5412 CPUtime=2.94
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 1221 0 0 0 294 0 0 0 25 0 1 0 305062655 5541888 1207 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 1353 1207 77 171 0 1180 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 10768
[startup+6.30108 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 8399
/proc/meminfo: memFree=1965912/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=6336 CPUtime=6.14
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 1439 0 0 0 614 0 0 0 25 0 1 0 305062655 6488064 1425 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 1584 1425 77 171 0 1411 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 11692
[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 8399
/proc/meminfo: memFree=1964448/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=7656 CPUtime=12.54
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 1787 0 0 0 1253 1 0 0 25 0 1 0 305062655 7839744 1773 1992294400 134512640 135215339 4294956240 18446744073709551615 134528679 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 1914 1773 77 171 0 1741 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 13012
[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.94 2/66 8399
/proc/meminfo: memFree=1961512/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=10524 CPUtime=25.34
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 2486 0 0 0 2532 2 0 0 25 0 1 0 305062655 10776576 2472 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 2631 2472 77 171 0 2458 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 15880
[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.94 2/66 8399
/proc/meminfo: memFree=1957032/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=15200 CPUtime=50.92
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 3638 0 0 0 5088 4 0 0 25 0 1 0 305062655 15564800 3624 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 3800 3624 77 171 0 3627 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 20556
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.94 2/66 8399
/proc/meminfo: memFree=1950120/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=22072 CPUtime=102.11
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 5321 0 0 0 10205 6 0 0 25 0 1 0 305062655 22601728 5307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 5518 5307 77 171 0 5345 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 27428
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 8405
/proc/meminfo: memFree=1943656/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=28384 CPUtime=162.09
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 6895 0 0 0 16200 9 0 0 25 0 1 0 305062655 29065216 6881 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 7096 6881 77 171 0 6923 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 33740
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 8405
/proc/meminfo: memFree=1942888/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=29176 CPUtime=222.06
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 7053 0 0 0 22197 9 0 0 25 0 1 0 305062655 29876224 7039 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 7294 7039 77 171 0 7121 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 34532
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 8405
/proc/meminfo: memFree=1942696/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=29176 CPUtime=282.04
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 7087 0 0 0 28195 9 0 0 25 0 1 0 305062655 29876224 7073 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 7294 7073 77 171 0 7121 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 34532
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 8405
/proc/meminfo: memFree=1942568/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=29176 CPUtime=342.03
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 7089 0 0 0 34193 10 0 0 25 0 1 0 305062655 29876224 7075 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 7294 7075 77 171 0 7121 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 34532
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 8405
/proc/meminfo: memFree=1942376/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=29392 CPUtime=402.01
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 7111 0 0 0 40191 10 0 0 25 0 1 0 305062655 30097408 7097 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 7348 7097 77 171 0 7175 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 34748
[startup+462.301 s]
################
# More data... #
################
/proc/8399/statm: 7786 7538 77 171 0 7613 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 36500
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 8405
/proc/meminfo: memFree=1939432/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=31804 CPUtime=641.93
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 7735 0 0 0 64182 11 0 0 25 0 1 0 305062655 32567296 7721 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 7951 7721 77 171 0 7778 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 37160
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 8405
/proc/meminfo: memFree=1938984/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=32140 CPUtime=701.9
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 7822 0 0 0 70179 11 0 0 25 0 1 0 305062655 32911360 7808 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 8035 7808 77 171 0 7862 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 37496
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 8405
/proc/meminfo: memFree=1937128/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=33864 CPUtime=761.89
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 8266 0 0 0 76177 12 0 0 25 0 1 0 305062655 34676736 8252 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 8466 8252 77 171 0 8293 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 39220
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 8405
/proc/meminfo: memFree=1937064/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=33864 CPUtime=821.87
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 8266 0 0 0 82175 12 0 0 25 0 1 0 305062655 34676736 8252 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 8466 8252 77 171 0 8293 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 39220
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 8405
/proc/meminfo: memFree=1937000/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=33864 CPUtime=881.85
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 8266 0 0 0 88173 12 0 0 25 0 1 0 305062655 34676736 8252 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 8466 8252 77 171 0 8293 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 39220
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 8405
/proc/meminfo: memFree=1936872/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=33864 CPUtime=941.83
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 8266 0 0 0 94171 12 0 0 25 0 1 0 305062655 34676736 8252 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 8466 8252 77 171 0 8293 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 39220
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 8405
/proc/meminfo: memFree=1936040/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=34656 CPUtime=1001.82
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 8453 0 0 0 100169 13 0 0 25 0 1 0 305062655 35487744 8439 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 8664 8439 77 171 0 8491 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 40012
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 8405
/proc/meminfo: memFree=1935976/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=34656 CPUtime=1061.79
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 8453 0 0 0 106166 13 0 0 25 0 1 0 305062655 35487744 8439 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 8664 8439 77 171 0 8491 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 40012
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 8405
/proc/meminfo: memFree=1935912/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=34656 CPUtime=1121.78
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 8453 0 0 0 112165 13 0 0 25 0 1 0 305062655 35487744 8439 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 8664 8439 77 171 0 8491 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 40012
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 8405
/proc/meminfo: memFree=1935848/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=34656 CPUtime=1181.76
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 8453 0 0 0 118163 13 0 0 25 0 1 0 305062655 35487744 8439 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 8664 8439 77 171 0 8491 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 40012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 8405
/proc/meminfo: memFree=1934632/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=35748 CPUtime=1199.97
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 8744 0 0 0 119983 14 0 0 25 0 1 0 305062655 36605952 8730 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 8937 8730 77 171 0 8764 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 41104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 8405
/proc/meminfo: memFree=1934632/2055920 swapFree=4179944/4192956
[pid=8393] ppid=8391 vsize=5356 CPUtime=0.12
/proc/8393/stat : 8393 (SatELiteGTI) S 8391 8393 8238 0 -1 4194304 336 1625 0 0 0 0 11 1 16 0 1 0 305062640 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8393/statm: 1339 239 197 169 0 50 0
[pid=8399] ppid=8393 vsize=35748 CPUtime=1199.97
/proc/8399/stat : 8399 (minisat_static) R 8393 8393 8238 0 -1 4194304 8744 0 0 0 119983 14 0 0 25 0 1 0 305062655 36605952 8730 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/8399/statm: 8937 8730 77 171 0 8764 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 41104
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8393 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=118981
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=19996
# CPU time returned by wait4() is 0.138977
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.09
CPU user time (s): 1199.94
CPU system time (s): 0.15
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 41104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.118981
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1961
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= 16
involuntary context switches= 7
runsolver used 1.35279 second user time and 3.10353 second system time
The end
Begin job on node47 at 2009-05-19 23:59:09
IDJOB=1832211
IDBENCH=24628
IDSOLVER=671
FILE ID=node47/1832211-1242770348
PBS_JOBID= 9322254
Free space on /tmp= 66284 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest04/others/Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832211-1242770348/watcher-1832211-1242770348 -o /tmp/evaluation-result-1832211-1242770348/solver-1832211-1242770348 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832211-1242770348.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5a3ae9766db0de00fa37fabacaa34827
RANDOM SEED=504279014
node47.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.212
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.212
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: 1973328 kB
Buffers: 11012 kB
Cached: 36192 kB
SwapCached: 7468 kB
Active: 17704 kB
Inactive: 39176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1973328 kB
SwapTotal: 4192956 kB
SwapFree: 4179944 kB
Dirty: 2816 kB
Writeback: 0 kB
Mapped: 14472 kB
Slab: 11744 kB
Committed_AS: 1053520 kB
PageTables: 1452 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= 66280 MiB
End job on node47 at 2009-05-20 00:19:11