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 | 44574 199875 | 13372 0 0 nan | 0.000 % |
0.00/0.07 c | 0 | 43301 193807 | -- 0 -- -- | -- | -474/-2348
0.00/0.07 c ==============================================================================
0.00/0.07 c Result : #vars: 4457 #clauses: 43301 #literals: 193807
0.00/0.07 c CPU time: 0.06199 s
0.00/0.07 c ==============================================================================
0.08/0.13 c This is MiniSat 2.0 beta
0.08/0.13 c WARNING: for repeatability, setting FPU to use double precision
0.08/0.13 c ============================[ Problem Statistics ]=============================
0.08/0.13 c | |
0.08/0.13 c | Number of variables: 4457 |
0.08/0.13 c | Number of clauses: 43301 |
0.08/0.16 c | Parsing time: 0.03 s |
0.08/0.17 c ============================[ Search Statistics ]==============================
0.08/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.08/0.17 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.08/0.17 c ===============================================================================
0.08/0.17 c | 0 | 4457 43301 193807 | 14433 0 nan | 0.000 % |
0.08/0.18 c | 101 | 4457 43301 193807 | 14433 101 15 | 0.000 % |
0.12/0.29 c | 201 | 4457 43301 193807 | 14433 201 44 | 0.000 % |
0.12/0.35 c | 301 | 4457 43301 193807 | 14433 301 54 | 0.000 % |
0.12/0.39 c | 412 | 4457 43301 193807 | 14433 412 49 | 0.000 % |
0.12/0.47 c | 513 | 4457 43301 193807 | 14433 513 54 | 0.000 % |
0.12/0.53 c | 624 | 4457 43301 193807 | 14433 624 49 | 0.000 % |
0.12/0.63 c | 745 | 4457 43301 193807 | 14433 745 55 | 0.000 % |
0.12/0.73 c | 846 | 4457 43301 193807 | 14433 846 58 | 0.000 % |
0.12/0.82 c | 956 | 4457 43301 193807 | 14433 956 56 | 0.000 % |
0.12/0.93 c | 1079 | 4457 43301 193807 | 14433 1079 55 | 0.000 % |
0.98/1.04 c | 1213 | 4457 43301 193807 | 14433 1213 57 | 0.000 % |
1.08/1.12 c | 1313 | 4457 43301 193807 | 14433 1313 56 | 0.000 % |
1.17/1.22 c | 1425 | 4457 43301 193807 | 14433 1425 55 | 0.000 % |
1.27/1.32 c | 1546 | 4457 43301 193807 | 14433 1546 54 | 0.000 % |
1.37/1.43 c | 1680 | 4457 43301 193807 | 14433 1680 55 | 0.000 % |
1.47/1.60 c | 1827 | 4457 43301 193807 | 14433 1827 55 | 0.000 % |
1.57/1.68 c | 1927 | 4457 43301 193807 | 14433 1927 55 | 0.000 % |
1.67/1.80 c | 2038 | 4457 43301 193807 | 14433 2038 56 | 0.000 % |
1.77/1.86 c | 2159 | 4457 43301 193807 | 14433 2159 54 | 0.000 % |
1.97/2.00 c | 2292 | 4457 43301 193807 | 14433 2292 56 | 0.000 % |
1.97/2.06 c | 2439 | 4457 43301 193807 | 14433 2439 53 | 0.000 % |
2.17/2.24 c | 2599 | 4457 43301 193807 | 14433 2599 55 | 0.000 % |
2.27/2.31 c | 2699 | 4457 43301 193807 | 14433 2699 55 | 0.000 % |
2.37/2.49 c | 2810 | 4457 43301 193807 | 14433 2810 56 | 0.000 % |
2.57/2.66 c | 2931 | 4457 43301 193807 | 14433 2931 55 | 0.000 % |
2.67/2.77 c | 3066 | 4457 43301 193807 | 14433 3066 56 | 0.000 % |
2.77/2.84 c | 3213 | 4457 43301 193807 | 14433 3213 55 | 0.000 % |
2.87/2.99 c | 3373 | 4457 43301 193807 | 14433 3373 56 | 0.000 % |
2.97/3.09 c | 3549 | 4457 43301 193807 | 14433 3549 55 | 0.000 % |
3.07/3.17 c | 3649 | 4457 43301 193807 | 14433 3649 55 | 0.000 % |
3.27/3.31 c | 3759 | 4457 43301 193807 | 14433 3759 56 | 0.000 % |
3.37/3.42 c | 3881 | 4457 43301 193807 | 14433 3881 56 | 0.000 % |
3.47/3.55 c | 4014 | 4457 43301 193807 | 14433 4014 56 | 0.000 % |
3.57/3.67 c | 4160 | 4457 43301 193807 | 14433 4160 56 | 0.000 % |
3.77/3.85 c | 4321 | 4457 43301 193807 | 14433 4321 57 | 0.000 % |
3.97/4.03 c | 4497 | 4457 43301 193807 | 14433 4497 56 | 0.000 % |
4.17/4.21 c | 4690 | 4457 43301 193807 | 14433 4690 57 | 0.000 % |
4.17/4.29 c | 4791 | 4457 43301 193807 | 14433 4791 56 | 0.000 % |
4.27/4.39 c | 4901 | 4457 43301 193807 | 14433 4901 56 | 0.000 % |
4.37/4.49 c | 5022 | 4457 43301 193807 | 14433 5022 56 | 0.000 % |
4.57/4.62 c | 5156 | 4457 43301 193807 | 14433 5156 56 | 0.000 % |
4.67/4.76 c | 5303 | 4457 43301 193807 | 14433 5303 56 | 0.000 % |
4.77/4.84 c | 5464 | 4457 43301 193807 | 14433 5464 55 | 0.000 % |
4.87/4.98 c | 5640 | 4457 43301 193807 | 14433 5640 55 | 0.000 % |
5.27/5.33 c | 5834 | 4457 43301 193807 | 14433 5834 56 | 0.000 % |
5.47/5.54 c | 6046 | 4457 43301 193807 | 14433 6046 57 | 0.000 % |
5.57/5.65 c | 6147 | 4457 43301 193807 | 14433 6147 57 | 0.000 % |
5.77/5.82 c | 6258 | 4457 43301 193807 | 14433 6258 57 | 0.000 % |
5.87/5.94 c | 6380 | 4457 43301 193807 | 14433 6380 56 | 0.000 % |
5.97/6.08 c | 6513 | 4457 43301 193807 | 14433 6513 56 | 0.000 % |
6.17/6.21 c | 6660 | 4457 43301 193807 | 14433 6660 56 | 0.000 % |
6.47/6.50 c | 6821 | 4457 43301 193807 | 14433 6821 56 | 0.000 % |
6.67/6.70 c | 6998 | 4457 43301 193807 | 14433 6998 56 | 0.000 % |
6.97/7.08 c | 7192 | 4457 43301 193807 | 14433 7192 56 | 0.000 % |
7.17/7.29 c | 7405 | 4457 43301 193807 | 14433 7405 57 | 0.000 % |
7.37/7.49 c | 7638 | 4457 43301 193807 | 14433 7638 57 | 0.000 % |
7.47/7.58 c | 7738 | 4457 43301 193807 | 14433 7738 57 | 0.000 % |
7.57/7.68 c | 7848 | 4457 43301 193807 | 14433 7848 57 | 0.000 % |
7.67/7.78 c | 7969 | 4457 43301 193807 | 14433 7969 56 | 0.000 % |
7.97/8.01 c | 8103 | 4457 43301 193807 | 14433 8103 57 | 0.000 % |
8.06/8.12 c | 8249 | 4457 43301 193807 | 14433 8249 57 | 0.000 % |
8.26/8.36 c | 8409 | 4457 43301 193807 | 14433 8409 57 | 0.000 % |
8.36/8.47 c | 8585 | 4457 43301 193807 | 14433 8585 57 | 0.000 % |
8.57/8.70 c | 8778 | 4457 43301 193807 | 14433 8778 57 | 0.000 % |
8.87/8.94 c | 8990 | 4457 43301 193807 | 14433 8990 57 | 0.000 % |
9.07/9.16 c | 9223 | 4457 43301 193807 | 14433 9223 57 | 0.000 % |
9.37/9.44 c | 9479 | 4457 43301 193807 | 14433 9479 56 | 0.000 % |
9.47/9.53 c | 9580 | 4457 43301 193807 | 14433 9580 56 | 0.000 % |
9.57/9.63 c | 9691 | 4457 43301 193807 | 14433 9691 56 | 0.000 % |
9.77/9.80 c | 9813 | 4457 43301 193807 | 14433 9813 57 | 0.000 % |
9.77/9.86 c | 9947 | 4457 43301 193807 | 14433 9947 56 | 0.000 % |
9.87/9.97 c | 10095 | 4457 43301 193807 | 2147483647 10095 57 | 0.000 % |
9.97/10.04 c | 10256 | 4457 43301 193807 | 2147483647 10256 56 | 0.000 % |
10.17/10.25 c | 10433 | 4457 43301 193807 | 2147483647 10433 57 | 0.000 % |
10.37/10.43 c | 10626 | 4457 43301 193807 | 2147483647 10626 57 | 0.000 % |
10.57/10.64 c | 10838 | 4457 43301 193807 | 2147483647 10838 56 | 0.000 % |
10.87/10.95 c | 11072 | 4457 43301 193807 | 2147483647 11072 56 | 0.000 % |
11.07/11.10 c | 11329 | 4457 43301 193807 | 2147483647 11329 56 | 0.000 % |
11.37/11.42 c | 11610 | 4457 43301 193807 | 2147483647 11610 55 | 0.000 % |
11.47/11.52 c | 11710 | 4457 43301 193807 | 2147483647 11710 55 | 0.000 % |
11.57/11.64 c | 11821 | 4457 43301 193807 | 2147483647 11821 55 | 0.000 % |
11.67/11.77 c | 11943 | 4457 43301 193807 | 2147483647 11943 55 | 0.000 % |
11.87/11.93 c | 12076 | 4457 43301 193807 | 2147483647 12076 55 | 0.000 % |
12.07/12.12 c | 12223 | 4457 43301 193807 | 2147483647 12223 55 | 0.000 % |
12.07/12.18 c | 12383 | 4457 43301 193807 | 2147483647 12383 55 | 0.000 % |
12.27/12.32 c | 12560 | 4457 43301 193807 | 2147483647 12560 55 | 0.000 % |
12.47/12.54 c | 12754 | 4457 43301 193807 | 2147483647 12754 55 | 0.000 % |
12.77/12.82 c | 12966 | 4457 43301 193807 | 2147483647 12966 55 | 0.000 % |
12.87/13.00 c | 13200 | 4457 43301 193807 | 2147483647 13200 55 | 0.000 % |
13.17/13.28 c | 13456 | 4457 43301 193807 | 2147483647 13456 55 | 0.000 % |
13.46/13.52 c | 13738 | 4457 43301 193807 | 2147483647 13738 55 | 0.000 % |
13.56/13.69 c | 14048 | 4457 43301 193807 | 2147483647 14048 54 | 0.000 % |
13.76/13.89 c | 14148 | 4457 43301 193807 | 2147483647 14148 54 | 0.000 % |
13.86/13.93 c | 14258 | 4457 43301 193807 | 2147483647 14258 54 | 0.000 % |
13.96/14.03 c | 14380 | 4457 43301 193807 | 2147483647 14380 54 | 0.000 % |
14.06/14.14 c | 14513 | 4457 43301 193807 | 2147483647 14513 54 | 0.000 % |
14.27/14.35 c | 14659 | 4457 43301 193807 | 2147483647 14659 54 | 0.000 % |
14.46/14.55 c | 14819 | 4457 43301 193807 | 2147483647 14819 54 | 0.000 % |
14.66/14.74 c | 14995 | 4457 43301 193807 | 2147483647 14995 54 | 0.000 % |
14.96/15.03 c | 15189 | 4457 43301 193807 | 2147483647 15189 54 | 0.000 % |
15.56/15.61 c | 15401 | 4457 43301 193807 | 2147483647 15401 55 | 0.000 % |
15.76/15.89 c | 15635 | 4457 43301 193807 | 2147483647 15635 55 | 0.000 % |
16.16/16.25 c | 15891 | 4457 43301 193807 | 2147483647 15891 55 | 0.000 % |
16.56/16.61 c | 16174 | 4457 43301 193807 | 2147483647 16174 55 | 0.000 % |
17.06/17.11 c | 16483 | 4457 43301 193807 | 2147483647 16483 55 | 0.000 % |
17.46/17.57 c | 16823 | 4457 43301 193807 | 2147483647 16823 55 | 0.000 % |
17.56/17.67 c | 16923 | 4457 43301 193807 | 2147483647 16923 55 | 0.000 % |
17.76/17.80 c | 17034 | 4457 43301 193807 | 2147483647 17034 55 | 0.000 % |
17.86/17.95 c | 17156 | 4457 43301 193807 | 2147483647 17156 55 | 0.000 % |
18.16/18.23 c | 17290 | 4457 43301 193807 | 2147483647 17290 55 | 0.000 % |
18.26/18.39 c | 17436 | 4457 43301 193807 | 2147483647 17436 55 | 0.000 % |
18.56/18.60 c | 17597 | 4457 43301 193807 | 2147483647 17597 55 | 0.000 % |
18.76/18.80 c | 17773 | 4457 43301 193807 | 2147483647 17773 55 | 0.000 % |
18.96/19.06 c | 17967 | 4457 43301 193807 | 2147483647 17967 55 | 0.000 % |
19.16/19.28 c | 18179 | 4457 43301 193807 | 2147483647 18179 55 | 0.000 % |
19.56/19.62 c | 18413 | 4457 43301 193807 | 2147483647 18413 55 | 0.000 % |
19.96/20.06 c | 18670 | 4457 43301 193807 | 2147483647 18670 55 | 0.000 % |
20.36/20.46 c | 18952 | 4457 43301 193807 | 2147483647 18952 55 | 0.000 % |
20.76/20.84 c | 19262 | 4457 43301 193807 | 2147483647 19262 55 | 0.000 % |
21.06/21.15 c | 19603 | 4457 43301 193807 | 2147483647 19603 55 | 0.000 % |
21.56/21.63 c | 19976 | 4457 43301 193807 | 2147483647 19976 55 | 0.000 % |
21.66/21.76 c | 20077 | 4457 43301 193807 | 2147483647 20077 55 | 0.000 % |
21.76/21.89 c | 20187 | 4457 43301 193807 | 2147483647 20187 55 | 0.000 % |
21.96/22.09 c | 20310 | 4457 43301 193807 | 2147483647 20310 55 | 0.000 % |
22.16/22.23 c | 20444 | 4457 43301 193807 | 2147483647 20444 55 | 0.000 % |
22.26/22.39 c | 20591 | 4457 43301 193807 | 2147483647 20591 55 | 0.000 % |
22.46/22.58 c | 20751 | 4457 43301 193807 | 2147483647 20751 55 | 0.000 % |
22.76/22.81 c | 20927 | 4457 43301 193807 | 2147483647 20927 55 | 0.000 % |
22.96/23.04 c | 21121 | 4457 43301 193807 | 2147483647 21121 55 | 0.000 % |
23.36/23.44 c | 21334 | 4457 43301 193807 | 2147483647 21334 55 | 0.000 % |
23.66/23.78 c | 21567 | 4457 43301 193807 | 2147483647 21567 55 | 0.000 % |
24.06/24.17 c | 21824 | 4457 43301 193807 | 2147483647 21824 55 | 0.000 % |
24.46/24.51 c | 22106 | 4457 43301 193807 | 2147483647 22106 55 | 0.000 % |
24.66/24.79 c | 22415 | 4457 43301 193807 | 2147483647 22415 55 | 0.000 % |
25.06/25.16 c | 22754 | 4457 43301 193807 | 2147483647 22754 55 | 0.000 % |
25.66/25.72 c | 23128 | 4457 43301 193807 | 2147483647 23128 55 | 0.000 % |
26.06/26.18 c | 23537 | 4457 43301 193807 | 2147483647 23537 55 | 0.000 % |
26.27/26.31 c | 23638 | 4457 43301 193807 | 2147483647 23638 55 | 0.000 % |
26.37/26.46 c | 23749 | 4457 43301 193807 | 2147483647 23749 55 | 0.000 % |
26.46/26.58 c | 23871 | 4457 43301 193807 | 2147483647 23871 55 | 0.000 % |
26.66/26.76 c | 24004 | 4457 43301 193807 | 2147483647 24004 55 | 0.000 % |
26.86/26.96 c | 24150 | 4457 43301 193807 | 2147483647 24150 55 | 0.000 % |
27.06/27.16 c | 24310 | 4457 43301 193807 | 2147483647 24310 55 | 0.000 % |
27.26/27.39 c | 24486 | 4457 43301 193807 | 2147483647 24486 55 | 0.000 % |
27.56/27.64 c | 24680 | 4457 43301 193807 | 2147483647 24680 55 | 0.000 % |
27.76/27.81 c | 24892 | 4457 43301 193807 | 2147483647 24892 55 | 0.000 % |
27.76/27.88 c | 25125 | 4457 43301 193807 | 2147483647 25125 55 | 0.000 % |
28.16/28.23 c | 25383 | 4457 43301 193807 | 2147483647 25383 55 | 0.000 % |
28.57/28.63 c | 25664 | 4457 43301 193807 | 2147483647 25664 55 | 0.000 % |
28.96/29.04 c | 25974 | 4457 43301 193807 | 2147483647 25974 55 | 0.000 % |
29.46/29.54 c | 26314 | 4457 43301 193807 | 2147483647 26314 55 | 0.000 % |
30.16/30.28 c | 26688 | 4457 43301 193807 | 2147483647 26688 55 | 0.000 % |
30.76/30.82 c | 27098 | 4457 43301 193807 | 2147483647 27098 55 | 0.000 % |
31.36/31.44 c | 27548 | 4457 43301 193807 | 2147483647 27548 55 | 0.000 % |
31.46/31.57 c | 27648 | 4457 43301 193807 | 2147483647 27648 55 | 0.000 % |
31.56/31.68 c | 27758 | 4457 43301 193807 | 2147483647 27758 55 | 0.000 % |
31.76/31.84 c | 27880 | 4457 43301 193807 | 2147483647 27880 55 | 0.000 % |
31.96/32.01 c | 28013 | 4457 43301 193807 | 2147483647 28013 55 | 0.000 % |
32.16/32.20 c | 28159 | 4457 43301 193807 | 2147483647 28159 55 | 0.000 % |
32.36/32.49 c | 28319 | 4457 43301 193807 | 2147483647 28319 55 | 0.000 % |
32.66/32.75 c | 28495 | 4457 43301 193807 | 2147483647 28495 55 | 0.000 % |
32.86/32.99 c | 28688 | 4457 43301 193807 | 2147483647 28688 55 | 0.000 % |
33.25/33.36 c | 28900 | 4457 43301 193807 | 2147483647 28900 55 | 0.000 % |
33.65/33.72 c | 29134 | 4457 43301 193807 | 2147483647 29134 55 | 0.000 % |
33.96/34.09 c | 29393 | 4457 43301 193807 | 2147483647 29393 55 | 0.000 % |
34.35/34.46 c | 29675 | 4457 43301 193807 | 2147483647 29675 55 | 0.000 % |
34.85/34.90 c | 29985 | 4457 43301 193807 | 2147483647 29985 55 | 0.000 % |
35.25/35.33 c | 30324 | 4457 43301 193807 | 2147483647 30324 55 | 0.000 % |
35.75/35.84 c | 30697 | 4457 43301 193807 | 2147483647 30697 55 | 0.000 % |
36.46/36.56 c | 31107 | 4457 43301 193807 | 2147483647 31107 55 | 0.000 % |
37.06/37.16 c | 31557 | 4457 43301 193807 | 2147483647 31557 55 | 0.000 % |
37.76/37.89 c | 32051 | 4457 43301 193807 | 2147483647 32051 55 | 0.000 % |
37.96/38.02 c | 32152 | 4457 43301 193807 | 2147483647 32152 55 | 0.000 % |
38.16/38.22 c | 32262 | 4457 43301 193807 | 2147483647 32262 55 | 0.000 % |
38.26/38.30 c | 32383 | 4457 43301 193807 | 2147483647 32383 55 | 0.000 % |
38.46/38.51 c | 32516 | 4457 43301 193807 | 2147483647 32516 55 | 0.000 % |
38.56/38.68 c | 32663 | 4457 43301 193807 | 2147483647 32663 55 | 0.000 % |
38.86/38.91 c | 32823 | 4457 43301 193807 | 2147483647 32823 55 | 0.000 % |
39.06/39.17 c | 33000 | 4457 43301 193807 | 2147483647 33000 55 | 0.000 % |
39.16/39.30 c | 33194 | 4457 43301 193807 | 2147483647 33194 55 | 0.000 % |
39.36/39.43 c | 33407 | 4457 43301 193807 | 2147483647 33407 55 | 0.000 % |
39.66/39.77 c | 33641 | 4457 43301 193807 | 2147483647 33641 55 | 0.000 % |
39.96/40.08 c | 33898 | 4457 43301 193807 | 2147483647 33898 55 | 0.000 % |
40.36/40.43 c | 34181 | 4457 43301 193807 | 2147483647 34181 55 | 0.000 % |
40.76/40.89 c | 34490 | 4457 43301 193807 | 2147483647 34490 55 | 0.000 % |
41.26/41.35 c | 34830 | 4457 43301 193807 | 2147483647 34830 55 | 0.000 % |
41.76/41.83 c | 35203 | 4457 43301 193807 | 2147483647 35203 55 | 0.000 % |
42.36/42.43 c | 35612 | 4457 43301 193807 | 2147483647 35612 54 | 0.000 % |
42.96/43.05 c | 36062 | 4457 43301 193807 | 2147483647 36062 54 | 0.000 % |
43.76/43.86 c | 36555 | 4457 43301 193807 | 2147483647 36555 54 | 0.000 % |
44.66/44.75 c | 37099 | 4457 43301 193807 | 2147483647 37099 54 | 0.000 % |
44.76/44.88 c | 37200 | 4457 43301 193807 | 2147483647 37200 54 | 0.000 % |
44.96/45.05 c | 37311 | 4457 43301 193807 | 2147483647 37311 54 | 0.000 % |
45.16/45.26 c | 37433 | 4457 43301 193807 | 2147483647 37433 54 | 0.000 % |
45.36/45.49 c | 37567 | 4457 43301 193807 | 2147483647 37567 54 | 0.000 % |
45.65/45.73 c | 37714 | 4457 43301 193807 | 2147483647 37714 54 | 0.000 % |
45.96/46.01 c | 37874 | 4457 43301 193807 | 2147483647 37874 54 | 0.000 % |
46.25/46.31 c | 38050 | 4457 43301 193807 | 2147483647 38050 54 | 0.000 % |
46.55/46.66 c | 38244 | 4457 43301 193807 | 2147483647 38244 54 | 0.000 % |
46.85/46.99 c | 38458 | 4457 43301 193807 | 2147483647 38458 54 | 0.000 % |
47.35/47.42 c | 38691 | 4457 43301 193807 | 2147483647 38691 54 | 0.000 % |
47.95/48.00 c | 38947 | 4457 43301 193807 | 2147483647 38947 54 | 0.000 % |
48.26/48.31 c | 39229 | 4457 43301 193807 | 2147483647 39229 54 | 0.000 % |
48.65/48.78 c | 39539 | 4457 43301 193807 | 2147483647 39539 54 | 0.000 % |
49.15/49.26 c | 39878 | 4457 43301 193807 | 2147483647 39878 54 | 0.000 % |
49.55/49.60 c | 40250 | 4457 43301 193807 | 2147483647 40250 54 | 0.000 % |
50.15/50.29 c | 40659 | 4457 43301 193807 | 2147483647 40659 54 | 0.000 % |
50.85/50.96 c | 41108 | 4457 43301 193807 | 2147483647 41108 54 | 0.000 % |
51.45/51.57 c | 41601 | 4457 43301 193807 | 2147483647 41601 54 | 0.000 % |
52.45/52.57 c | 42143 | 4457 43301 193807 | 2147483647 42143 54 | 0.000 % |
54.14/54.25 c | 42739 | 4457 43301 193807 | 2147483647 42739 54 | 0.000 % |
54.24/54.36 c | 42840 | 4457 43301 193807 | 2147483647 42840 54 | 0.000 % |
54.44/54.51 c | 42952 | 4457 43301 193807 | 2147483647 42952 54 | 0.000 % |
54.74/54.80 c | 43073 | 4457 43301 193807 | 2147483647 43073 54 | 0.000 % |
55.04/55.12 c | 43207 | 4457 43301 193807 | 2147483647 43207 54 | 0.000 % |
55.24/55.38 c | 43354 | 4457 43301 193807 | 2147483647 43354 55 | 0.000 % |
55.54/55.62 c | 43514 | 4457 43301 193807 | 2147483647 43514 55 | 0.000 % |
55.74/55.89 c | 43690 | 4457 43301 193807 | 2147483647 43690 55 | 0.000 % |
56.05/56.16 c | 43883 | 4457 43301 193807 | 2147483647 43883 55 | 0.000 % |
56.44/56.52 c | 44095 | 4457 43301 193807 | 2147483647 44095 55 | 0.000 % |
56.84/56.90 c | 44328 | 4457 43301 193807 | 2147483647 44328 54 | 0.000 % |
57.24/57.33 c | 44585 | 4457 43301 193807 | 2147483647 44585 54 | 0.000 % |
57.64/57.79 c | 44866 | 4457 43301 193807 | 2147483647 44866 54 | 0.000 % |
58.24/58.34 c | 45175 | 4457 43301 193807 | 2147483647 45175 54 | 0.000 % |
58.84/58.95 c | 45515 | 4457 43301 193807 | 2147483647 45515 54 | 0.000 % |
59.34/59.47 c | 45887 | 4457 43301 193807 | 2147483647 45887 54 | 0.000 % |
60.04/60.18 c | 46296 | 4457 43301 193807 | 2147483647 46296 54 | 0.000 % |
60.84/60.95 c | 46745 | 4457 43301 193807 | 2147483647 46745 54 | 0.000 % |
61.75/61.81 c | 47239 | 4457 43301 193807 | 2147483647 47239 54 | 0.000 % |
62.05/62.15 c | 47781 | 4457 43301 193807 | 2147483647 47781 54 | 0.000 % |
63.05/63.14 c | 48378 | 4457 43301 193807 | 2147483647 48378 54 | 0.000 % |
64.05/64.19 c | 49034 | 4457 43301 193807 | 2147483647 49034 54 | 0.000 % |
64.25/64.39 c | 49134 | 4457 43301 193807 | 2147483647 49134 54 | 0.000 % |
64.55/64.65 c | 49245 | 4457 43301 193807 | 2147483647 49245 54 | 0.000 % |
64.85/64.95 c | 49366 | 4457 43301 193807 | 2147483647 49366 54 | 0.000 % |
65.05/65.19 c | 49499 | 4457 43301 193807 | 2147483647 49499 54 | 0.000 % |
65.35/65.43 c | 49646 | 4457 43301 193807 | 2147483647 49646 54 | 0.000 % |
65.55/65.69 c | 49807 | 4457 43301 193807 | 2147483647 49807 54 | 0.000 % |
65.85/65.95 c | 49985 | 4457 43301 193807 | 2147483647 49985 54 | 0.000 % |
66.15/66.24 c | 50180 | 4457 43301 193807 | 2147483647 50180 54 | 0.000 % |
66.45/66.57 c | 50393 | 4457 43301 193807 | 2147483647 50393 54 | 0.000 % |
66.85/67.00 c | 50626 | 4457 43301 193807 | 2147483647 50626 54 | 0.000 % |
67.35/67.46 c | 50884 | 4457 43301 193807 | 2147483647 50884 54 | 0.000 % |
67.95/68.00 c | 51166 | 4457 43301 193807 | 2147483647 51166 54 | 0.000 % |
68.55/68.67 c | 51475 | 4457 43301 193807 | 2147483647 51475 54 | 0.000 % |
69.45/69.56 c | 51815 | 4457 43301 193807 | 2147483647 51815 54 | 0.000 % |
70.35/70.44 c | 52187 | 4457 43301 193807 | 2147483647 52187 54 | 0.000 % |
71.14/71.23 c | 52596 | 4457 43301 193807 | 2147483647 52596 54 | 0.000 % |
72.04/72.19 c | 53045 | 4457 43301 193807 | 2147483647 53045 54 | 0.000 % |
72.84/72.92 c | 53538 | 4457 43301 193807 | 2147483647 53538 54 | 0.000 % |
73.94/74.08 c | 54081 | 4457 43301 193807 | 2147483647 54081 54 | 0.000 % |
75.34/75.40 c | 54678 | 4457 43301 193807 | 2147483647 54678 54 | 0.000 % |
76.34/76.50 c | 55333 | 4457 43301 193807 | 2147483647 55333 54 | 0.000 % |
77.64/77.80 c | 56054 | 4457 43301 193807 | 2147483647 56054 54 | 0.000 % |
77.95/78.03 c | 56155 | 4457 43301 193807 | 2147483647 56155 54 | 0.000 % |
78.05/78.14 c | 56265 | 4457 43301 193807 | 2147483647 56265 54 | 0.000 % |
78.24/78.34 c | 56388 | 4457 43301 193807 | 2147483647 56388 54 | 0.000 % |
78.44/78.56 c | 56521 | 4457 43301 193807 | 2147483647 56521 54 | 0.000 % |
78.74/78.81 c | 56668 | 4457 43301 193807 | 2147483647 56668 54 | 0.000 % |
78.94/79.06 c | 56828 | 4457 43301 193807 | 2147483647 56828 54 | 0.000 % |
79.14/79.28 c | 57005 | 4457 43301 193807 | 2147483647 57005 54 | 0.000 % |
79.44/79.56 c | 57198 | 4457 43301 193807 | 2147483647 57198 54 | 0.000 % |
79.64/79.74 c | 57410 | 4457 43301 193807 | 2147483647 57410 54 | 0.000 % |
80.04/80.19 c | 57643 | 4457 43301 193807 | 2147483647 57643 54 | 0.000 % |
80.44/80.56 c | 57899 | 4457 43301 193807 | 2147483647 57899 54 | 0.000 % |
80.94/81.02 c | 58180 | 4457 43301 193807 | 2147483647 58180 54 | 0.000 % |
81.54/81.60 c | 58490 | 4457 43301 193807 | 2147483647 58490 54 | 0.000 % |
82.14/82.22 c | 58829 | 4457 43301 193807 | 2147483647 58829 54 | 0.000 % |
83.04/83.10 c | 59201 | 4457 43301 193807 | 2147483647 59201 54 | 0.000 % |
83.84/83.96 c | 59610 | 4457 43301 193807 | 2147483647 59610 54 | 0.000 % |
84.54/84.70 c | 60059 | 4457 43301 193807 | 2147483647 60059 54 | 0.000 % |
86.03/86.13 c | 60553 | 4457 43301 193807 | 2147483647 60553 54 | 0.000 % |
86.93/87.00 c | 61095 | 4457 43301 193807 | 2147483647 61095 54 | 0.000 % |
88.03/88.19 c | 61693 | 4457 43301 193807 | 2147483647 61693 54 | 0.000 % |
89.34/89.47 c | 62349 | 4457 43301 193807 | 2147483647 62349 54 | 0.000 % |
90.93/91.07 c | 63069 | 4457 43301 193807 | 2147483647 63069 54 | 0.000 % |
92.73/92.82 c | 63861 | 4457 43301 193807 | 2147483647 63861 54 | 0.000 % |
92.73/92.88 c | 63961 | 4457 43301 193807 | 2147483647 63961 54 | 0.000 % |
92.93/93.09 c | 64071 | 4457 43301 193807 | 2147483647 64071 54 | 0.000 % |
93.23/93.30 c | 64192 | 4457 43301 193807 | 2147483647 64192 54 | 0.000 % |
93.44/93.55 c | 64326 | 4457 43301 193807 | 2147483647 64326 54 | 0.000 % |
93.73/93.81 c | 64473 | 4457 43301 193807 | 2147483647 64473 54 | 0.000 % |
93.93/94.06 c | 64633 | 4457 43301 193807 | 2147483647 64633 54 | 0.000 % |
94.23/94.37 c | 64809 | 4457 43301 193807 | 2147483647 64809 54 | 0.000 % |
94.54/94.68 c | 65003 | 4457 43301 193807 | 2147483647 65003 54 | 0.000 % |
94.93/95.05 c | 65215 | 4457 43301 193807 | 2147483647 65215 54 | 0.000 % |
95.43/95.55 c | 65449 | 4457 43301 193807 | 2147483647 65449 54 | 0.000 % |
95.83/95.93 c | 65706 | 4457 43301 193807 | 2147483647 65706 54 | 0.000 % |
96.33/96.45 c | 65987 | 4457 43301 193807 | 2147483647 65987 54 | 0.000 % |
96.93/97.02 c | 66297 | 4457 43301 193807 | 2147483647 66297 54 | 0.000 % |
97.33/97.49 c | 66637 | 4457 43301 193807 | 2147483647 66637 54 | 0.000 % |
98.03/98.13 c | 67009 | 4457 43301 193807 | 2147483647 67009 54 | 0.000 % |
98.93/99.09 c | 67418 | 4457 43301 193807 | 2147483647 67418 54 | 0.000 % |
100.03/100.11 c | 67867 | 4457 43301 193807 | 2147483647 67867 54 | 0.000 % |
101.32/101.44 c | 68360 | 4457 43301 193807 | 2147483647 68360 54 | 0.000 % |
102.42/102.50 c | 68902 | 4457 43301 193807 | 2147483647 68902 54 | 0.000 % |
103.62/103.70 c | 69498 | 4457 43301 193807 | 2147483647 69498 54 | 0.000 % |
104.62/104.70 c | 70153 | 4457 43301 193807 | 2147483647 70153 54 | 0.000 % |
106.03/106.17 c | 70874 | 4457 43301 193807 | 2147483647 70874 54 | 0.000 % |
107.73/107.87 c | 71667 | 4457 43301 193807 | 2147483647 71667 53 | 0.000 % |
109.43/109.59 c | 72538 | 4457 43301 193807 | 2147483647 72538 53 | 0.000 % |
109.73/109.81 c | 72639 | 4457 43301 193807 | 2147483647 72639 53 | 0.000 % |
109.83/109.94 c | 72750 | 4457 43301 193807 | 2147483647 72750 53 | 0.000 % |
110.03/110.17 c | 72873 | 4457 43301 193807 | 2147483647 72873 53 | 0.000 % |
110.33/110.46 c | 73006 | 4457 43301 193807 | 2147483647 73006 53 | 0.000 % |
110.63/110.76 c | 73152 | 4457 43301 193807 | 2147483647 73152 53 | 0.000 % |
110.93/111.08 c | 73313 | 4457 43301 193807 | 2147483647 73313 53 | 0.000 % |
111.32/111.41 c | 73490 | 4457 43301 193807 | 2147483647 73490 53 | 0.000 % |
111.52/111.68 c | 73684 | 4457 43301 193807 | 2147483647 73684 53 | 0.000 % |
111.92/112.08 c | 73897 | 4457 43301 193807 | 2147483647 73897 53 | 0.000 % |
112.42/112.54 c | 74132 | 4457 43301 193807 | 2147483647 74132 53 | 0.000 % |
112.62/112.79 c | 74388 | 4457 43301 193807 | 2147483647 74388 53 | 0.000 % |
113.22/113.31 c | 74671 | 4457 43301 193807 | 2147483647 74671 53 | 0.000 % |
113.92/114.04 c | 74980 | 4457 43301 193807 | 2147483647 74980 53 | 0.000 % |
114.42/114.59 c | 75319 | 4457 43301 193807 | 2147483647 75319 53 | 0.000 % |
114.72/114.82 c | 75692 | 4457 43301 193807 | 2147483647 75692 53 | 0.000 % |
115.62/115.80 c | 76101 | 4457 43301 193807 | 2147483647 76101 53 | 0.000 % |
116.52/116.64 c | 76550 | 4457 43301 193807 | 2147483647 76550 53 | 0.000 % |
120.32/120.49 c | 77044 | 4457 43301 193807 | 2147483647 77044 53 | 0.000 % |
121.22/121.36 c | 77586 | 4457 43301 193807 | 2147483647 77586 53 | 0.000 % |
122.02/122.15 c | 78183 | 4457 43301 193807 | 2147483647 78183 53 | 0.000 % |
123.22/123.35 c | 78838 | 4457 43301 193807 | 2147483647 78838 53 | 0.000 % |
124.61/124.74 c | 79559 | 4457 43301 193807 | 2147483647 79559 54 | 0.000 % |
126.21/126.31 c | 80352 | 4457 43301 193807 | 2147483647 80352 54 | 0.000 % |
127.81/127.94 c | 81223 | 4457 43301 193807 | 2147483647 81223 53 | 0.000 % |
128.82/128.94 c | 82181 | 4457 43301 193807 | 2147483647 82181 53 | 0.000 % |
129.02/129.17 c | 82281 | 4457 43301 193807 | 2147483647 82281 53 | 0.000 % |
129.32/129.40 c | 82391 | 4457 43301 193807 | 2147483647 82391 53 | 0.000 % |
129.52/129.69 c | 82512 | 4457 43301 193807 | 2147483647 82512 53 | 0.000 % |
129.82/129.95 c | 82645 | 4457 43301 193807 | 2147483647 82645 53 | 0.000 % |
130.02/130.17 c | 82791 | 4457 43301 193807 | 2147483647 82791 53 | 0.000 % |
130.22/130.39 c | 82951 | 4457 43301 193807 | 2147483647 82951 53 | 0.000 % |
130.82/130.93 c | 83128 | 4457 43301 193807 | 2147483647 83128 53 | 0.000 % |
131.12/131.25 c | 83322 | 4457 43301 193807 | 2147483647 83322 53 | 0.000 % |
131.42/131.59 c | 83534 | 4457 43301 193807 | 2147483647 83534 53 | 0.000 % |
132.12/132.23 c | 83769 | 4457 43301 193807 | 2147483647 83769 53 | 0.000 % |
132.61/132.72 c | 84025 | 4457 43301 193807 | 2147483647 84025 53 | 0.000 % |
133.21/133.33 c | 84307 | 4457 43301 193807 | 2147483647 84307 53 | 0.000 % |
133.91/134.01 c | 84617 | 4457 43301 193807 | 2147483647 84617 53 | 0.000 % |
134.61/134.74 c | 84956 | 4457 43301 193807 | 2147483647 84956 53 | 0.000 % |
135.21/135.39 c | 85328 | 4457 43301 193807 | 2147483647 85328 53 | 0.000 % |
136.01/136.17 c | 85737 | 4457 43301 193807 | 2147483647 85737 53 | 0.000 % |
136.91/137.07 c | 86188 | 4457 43301 193807 | 2147483647 86188 53 | 0.000 % |
137.81/137.95 c | 86681 | 4457 43301 193807 | 2147483647 86681 53 | 0.000 % |
140.01/140.15 c | 87224 | 4457 43301 193807 | 2147483647 87224 53 | 0.000 % |
141.11/141.26 c | 87821 | 4457 43301 193807 | 2147483647 87821 53 | 0.000 % |
144.30/144.43 c | 88477 | 4457 43301 193807 | 2147483647 88477 53 | 0.000 % |
145.49/145.62 c | 89197 | 4457 43301 193807 | 2147483647 89197 53 | 0.000 % |
146.79/146.96 c | 89989 | 4457 43301 193807 | 2147483647 89989 53 | 0.000 % |
148.18/148.33 c | 90860 | 4457 43301 193807 | 2147483647 90860 53 | 0.000 % |
149.48/149.69 c | 91819 | 4457 43301 193807 | 2147483647 91819 53 | 0.000 % |
151.78/151.97 c | 92872 | 4457 43301 193807 | 2147483647 92872 53 | 0.000 % |
152.08/152.21 c | 92973 | 4457 43301 193807 | 2147483647 92973 53 | 0.000 % |
152.28/152.43 c | 93083 | 4457 43301 193807 | 2147483647 93083 53 | 0.000 % |
152.48/152.69 c | 93206 | 4457 43301 193807 | 2147483647 93206 53 | 0.000 % |
152.79/152.94 c | 93339 | 4457 43301 193807 | 2147483647 93339 53 | 0.000 % |
153.08/153.20 c | 93485 | 4457 43301 193807 | 2147483647 93485 53 | 0.000 % |
153.28/153.47 c | 93646 | 4457 43301 193807 | 2147483647 93646 53 | 0.000 % |
153.88/154.07 c | 93823 | 4457 43301 193807 | 2147483647 93823 53 | 0.000 % |
154.28/154.40 c | 94018 | 4457 43301 193807 | 2147483647 94018 53 | 0.000 % |
154.88/155.03 c | 94230 | 4457 43301 193807 | 2147483647 94230 53 | 0.000 % |
155.28/155.42 c | 94463 | 4457 43301 193807 | 2147483647 94463 53 | 0.000 % |
155.68/155.83 c | 94720 | 4457 43301 193807 | 2147483647 94720 53 | 0.000 % |
155.98/156.12 c | 95002 | 4457 43301 193807 | 2147483647 95002 53 | 0.000 % |
156.48/156.62 c | 95312 | 4457 43301 193807 | 2147483647 95312 52 | 0.000 % |
157.08/157.29 c | 95651 | 4457 43301 193807 | 2147483647 95651 52 | 0.000 % |
157.68/157.89 c | 96023 | 4457 43301 193807 | 2147483647 96023 53 | 0.000 % |
158.58/158.74 c | 96433 | 4457 43301 193807 | 2147483647 96433 52 | 0.000 % |
159.48/159.65 c | 96882 | 4457 43301 193807 | 2147483647 96882 52 | 0.000 % |
160.68/160.87 c | 97377 | 4457 43301 193807 | 2147483647 97377 52 | 0.000 % |
161.87/162.05 c | 97919 | 4457 43301 193807 | 2147483647 97919 52 | 0.000 % |
163.17/163.31 c | 98516 | 4457 43301 193807 | 2147483647 98516 53 | 0.000 % |
164.27/164.44 c | 99171 | 4457 43301 193807 | 2147483647 99171 52 | 0.000 % |
165.67/165.85 c | 99891 | 4457 43301 193807 | 2147483647 99891 52 | 0.000 % |
166.57/166.78 c | 100683 | 4457 43301 193807 | 2147483647 100683 52 | 0.000 % |
169.07/169.29 c | 101554 | 4457 43301 193807 | 2147483647 101554 52 | 0.000 % |
169.87/170.05 c | 102512 | 4457 43301 193807 | 2147483647 102512 52 | 0.000 % |
171.77/171.95 c | 103565 | 4457 43301 193807 | 2147483647 103565 52 | 0.000 % |
175.67/175.83 c | 104723 | 4457 43301 193807 | 2147483647 104723 52 | 0.000 % |
175.87/176.02 c | 104824 | 4457 43301 193807 | 2147483647 104824 52 | 0.000 % |
176.07/176.28 c | 104934 | 4457 43301 193807 | 2147483647 104934 52 | 0.000 % |
176.37/176.55 c | 105055 | 4457 43301 193807 | 2147483647 105055 52 | 0.000 % |
176.97/177.18 c | 105189 | 4457 43301 193807 | 2147483647 105189 52 | 0.000 % |
177.37/177.50 c | 105335 | 4457 43301 193807 | 2147483647 105335 52 | 0.000 % |
177.67/177.89 c | 105495 | 4457 43301 193807 | 2147483647 105495 52 | 0.000 % |
177.97/178.12 c | 105673 | 4457 43301 193807 | 2147483647 105673 52 | 0.000 % |
178.36/178.53 c | 105867 | 4457 43301 193807 | 2147483647 105867 52 | 0.000 % |
178.76/178.97 c | 106080 | 4457 43301 193807 | 2147483647 106080 52 | 0.000 % |
179.46/179.61 c | 106314 | 4457 43301 193807 | 2147483647 106314 52 | 0.000 % |
179.87/180.02 c | 106571 | 4457 43301 193807 | 2147483647 106571 52 | 0.000 % |
180.97/181.12 c | 106853 | 4457 43301 193807 | 2147483647 106853 52 | 0.000 % |
181.67/181.86 c | 107162 | 4457 43301 193807 | 2147483647 107162 52 | 0.000 % |
181.87/182.09 c | 107503 | 4457 43301 193807 | 2147483647 107503 52 | 0.000 % |
182.77/182.99 c | 107875 | 4457 43301 193807 | 2147483647 107875 52 | 0.000 % |
183.48/183.61 c | 108285 | 4457 43301 193807 | 2147483647 108285 52 | 0.000 % |
184.67/184.88 c | 108734 | 4457 43301 193807 | 2147483647 108734 52 | 0.000 % |
185.57/185.77 c | 109227 | 4457 43301 193807 | 2147483647 109227 52 | 0.000 % |
186.17/186.36 c | 109769 | 4457 43301 193807 | 2147483647 109769 52 | 0.000 % |
187.37/187.56 c | 110365 | 4457 43301 193807 | 2147483647 110365 52 | 0.000 % |
188.67/188.83 c | 111021 | 4457 43301 193807 | 2147483647 111021 52 | 0.000 % |
190.26/190.45 c | 111741 | 4457 43301 193807 | 2147483647 111741 52 | 0.000 % |
191.36/191.59 c | 112534 | 4457 43301 193807 | 2147483647 112534 52 | 0.000 % |
193.36/193.52 c | 113405 | 4457 43301 193807 | 2147483647 113405 52 | 0.000 % |
194.96/195.15 c | 114363 | 4457 43301 193807 | 2147483647 114363 52 | 0.000 % |
197.36/197.53 c | 115417 | 4457 43301 193807 | 2147483647 115417 52 | 0.000 % |
199.86/200.04 c | 116576 | 4457 43301 193807 | 2147483647 116576 52 | 0.000 % |
203.06/203.29 c | 117849 | 4457 43301 193807 | 2147483647 117849 52 | 0.000 % |
203.26/203.45 c | 117949 | 4457 43301 193807 | 2147483647 117949 52 | 0.000 % |
203.46/203.68 c | 118059 | 4457 43301 193807 | 2147483647 118059 52 | 0.000 % |
203.86/204.01 c | 118181 | 4457 43301 193807 | 2147483647 118181 52 | 0.000 % |
204.16/204.37 c | 118315 | 4457 43301 193807 | 2147483647 118315 52 | 0.000 % |
204.56/204.77 c | 118461 | 4457 43301 193807 | 2147483647 118461 52 | 0.000 % |
204.86/205.02 c | 118621 | 4457 43301 193807 | 2147483647 118621 52 | 0.000 % |
205.26/205.49 c | 118797 | 4457 43301 193807 | 2147483647 118797 52 | 0.000 % |
205.56/205.72 c | 118990 | 4457 43301 193807 | 2147483647 118990 52 | 0.000 % |
205.66/205.88 c | 119202 | 4457 43301 193807 | 2147483647 119202 52 | 0.000 % |
206.76/206.94 c | 119435 | 4457 43301 193807 | 2147483647 119435 52 | 0.000 % |
207.16/207.37 c | 119691 | 4457 43301 193807 | 2147483647 119691 52 | 0.000 % |
207.55/207.77 c | 119973 | 4457 43301 193807 | 2147483647 119973 52 | 0.000 % |
208.26/208.47 c | 120283 | 4457 43301 193807 | 2147483647 120283 52 | 0.000 % |
208.76/208.94 c | 120624 | 4457 43301 193807 | 2147483647 120624 52 | 0.000 % |
209.45/209.60 c | 120996 | 4457 43301 193807 | 2147483647 120996 52 | 0.000 % |
210.45/210.69 c | 121406 | 4457 43301 193807 | 2147483647 121406 52 | 0.000 % |
211.55/211.77 c | 121855 | 4457 43301 193807 | 2147483647 121855 52 | 0.000 % |
212.55/212.75 c | 122348 | 4457 43301 193807 | 2147483647 122348 52 | 0.000 % |
213.85/214.07 c | 122890 | 4457 43301 193807 | 2147483647 122890 52 | 0.000 % |
214.95/215.17 c | 123489 | 4457 43301 193807 | 2147483647 123489 52 | 0.000 % |
216.15/216.36 c | 124144 | 4457 43301 193807 | 2147483647 124144 52 | 0.000 % |
217.75/217.94 c | 124865 | 4457 43301 193807 | 2147483647 124865 52 | 0.000 % |
219.35/219.50 c | 125657 | 4457 43301 193807 | 2147483647 125657 52 | 0.000 % |
220.65/220.81 c | 126529 | 4457 43301 193807 | 2147483647 126529 51 | 0.000 % |
222.85/223.08 c | 127487 | 4457 43301 193807 | 2147483647 127487 51 | 0.000 % |
225.15/225.36 c | 128540 | 4457 43301 193807 | 2147483647 128540 51 | 0.000 % |
229.05/229.24 c | 129698 | 4457 43301 193807 | 2147483647 129698 51 | 0.000 % |
231.15/231.31 c | 130972 | 4457 43301 193807 | 2147483647 130972 51 | 0.000 % |
237.74/237.91 c | 132373 | 4457 43301 193807 | 2147483647 132373 51 | 0.000 % |
237.94/238.16 c | 132474 | 4457 43301 193807 | 2147483647 132474 51 | 0.000 % |
238.14/238.37 c | 132585 | 4457 43301 193807 | 2147483647 132585 51 | 0.000 % |
238.54/238.74 c | 132706 | 4457 43301 193807 | 2147483647 132706 51 | 0.000 % |
238.83/239.09 c | 132840 | 4457 43301 193807 | 2147483647 132840 51 | 0.000 % |
239.13/239.32 c | 132988 | 4457 43301 193807 | 2147483647 132988 51 | 0.000 % |
239.33/239.59 c | 133148 | 4457 43301 193807 | 2147483647 133148 51 | 0.000 % |
239.73/239.93 c | 133324 | 4457 43301 193807 | 2147483647 133324 51 | 0.000 % |
240.13/240.33 c | 133519 | 4457 43301 193807 | 2147483647 133519 51 | 0.000 % |
240.53/240.77 c | 133732 | 4457 43301 193807 | 2147483647 133732 51 | 0.000 % |
241.13/241.36 c | 133965 | 4457 43301 193807 | 2147483647 133965 51 | 0.000 % |
241.74/241.92 c | 134221 | 4457 43301 193807 | 2147483647 134221 51 | 0.000 % |
242.43/242.67 c | 134503 | 4457 43301 193807 | 2147483647 134503 51 | 0.000 % |
243.13/243.38 c | 134812 | 4457 43301 193807 | 2147483647 134812 51 | 0.000 % |
244.13/244.31 c | 135151 | 4457 43301 193807 | 2147483647 135151 51 | 0.000 % |
244.73/244.96 c | 135523 | 4457 43301 193807 | 2147483647 135523 51 | 0.000 % |
245.73/245.96 c | 135932 | 4457 43301 193807 | 2147483647 135932 51 | 0.000 % |
246.63/246.81 c | 136384 | 4457 43301 193807 | 2147483647 136384 51 | 0.000 % |
247.34/247.53 c | 136877 | 4457 43301 193807 | 2147483647 136877 51 | 0.000 % |
248.73/248.92 c | 137420 | 4457 43301 193807 | 2147483647 137420 51 | 0.000 % |
250.13/250.33 c | 138016 | 4457 43301 193807 | 2147483647 138016 51 | 0.000 % |
251.23/251.45 c | 138671 | 4457 43301 193807 | 2147483647 138671 51 | 0.000 % |
252.43/252.67 c | 139391 | 4457 43301 193807 | 2147483647 139391 51 | 0.000 % |
253.93/254.17 c | 140183 | 4457 43301 193807 | 2147483647 140183 51 | 0.000 % |
255.23/255.46 c | 141054 | 4457 43301 193807 | 2147483647 141054 51 | 0.000 % |
257.52/257.71 c | 142012 | 4457 43301 193807 | 2147483647 142012 51 | 0.000 % |
260.02/260.23 c | 143065 | 4457 43301 193807 | 2147483647 143065 51 | 0.000 % |
264.12/264.33 c | 144223 | 4457 43301 193807 | 2147483647 144223 51 | 0.000 % |
266.83/267.09 c | 145496 | 4457 43301 193807 | 2147483647 145496 51 | 0.000 % |
269.73/269.99 c | 146897 | 4457 43301 193807 | 2147483647 146897 51 | 0.000 % |
274.73/274.99 c | 148437 | 4457 43301 193807 | 2147483647 148437 51 | 0.000 % |
274.93/275.17 c | 148537 | 4457 43301 193807 | 2147483647 148537 51 | 0.000 % |
275.33/275.53 c | 148648 | 4457 43301 193807 | 2147483647 148648 51 | 0.000 % |
275.73/275.90 c | 148770 | 4457 43301 193807 | 2147483647 148770 51 | 0.000 % |
276.03/276.24 c | 148903 | 4457 43301 193807 | 2147483647 148903 51 | 0.000 % |
276.43/276.68 c | 149049 | 4457 43301 193807 | 2147483647 149049 51 | 0.000 % |
277.32/277.51 c | 149209 | 4457 43301 193807 | 2147483647 149209 51 | 0.000 % |
277.82/278.02 c | 149387 | 4457 43301 193807 | 2147483647 149387 51 | 0.000 % |
278.22/278.44 c | 149582 | 4457 43301 193807 | 2147483647 149582 51 | 0.000 % |
278.82/279.00 c | 149795 | 4457 43301 193807 | 2147483647 149795 51 | 0.000 % |
279.51/279.70 c | 150028 | 4457 43301 193807 | 2147483647 150028 51 | 0.000 % |
280.01/280.29 c | 150285 | 4457 43301 193807 | 2147483647 150285 51 | 0.000 % |
280.51/280.75 c | 150566 | 4457 43301 193807 | 2147483647 150566 51 | 0.000 % |
281.01/281.24 c | 150875 | 4457 43301 193807 | 2147483647 150875 51 | 0.000 % |
281.91/282.17 c | 151215 | 4457 43301 193807 | 2147483647 151215 51 | 0.000 % |
283.01/283.25 c | 151587 | 4457 43301 193807 | 2147483647 151587 51 | 0.000 % |
284.21/284.44 c | 151997 | 4457 43301 193807 | 2147483647 151997 51 | 0.000 % |
285.51/285.76 c | 152447 | 4457 43301 193807 | 2147483647 152447 51 | 0.000 % |
286.81/287.01 c | 152941 | 4457 43301 193807 | 2147483647 152941 51 | 0.000 % |
288.02/288.20 c | 153484 | 4457 43301 193807 | 2147483647 153484 51 | 0.000 % |
289.61/289.86 c | 154080 | 4457 43301 193807 | 2147483647 154080 51 | 0.000 % |
291.71/291.90 c | 154735 | 4457 43301 193807 | 2147483647 154735 51 | 0.000 % |
293.01/293.26 c | 155455 | 4457 43301 193807 | 2147483647 155455 51 | 0.000 % |
294.71/294.98 c | 156248 | 4457 43301 193807 | 2147483647 156248 51 | 0.000 % |
296.91/297.18 c | 157120 | 4457 43301 193807 | 2147483647 157120 51 | 0.000 % |
299.41/299.63 c | 158078 | 4457 43301 193807 | 2147483647 158078 51 | 0.000 % |
302.51/302.74 c | 159131 | 4457 43301 193807 | 2147483647 159131 51 | 0.000 % |
306.61/306.82 c | 160290 | 4457 43301 193807 | 160001 160290 51 | 0.000 % |
309.40/309.69 c | 161564 | 4457 43301 193807 | 160001 133591 49 | 0.000 % |
312.70/312.90 c | 162964 | 4457 43301 193807 | 160001 134991 49 | 0.000 % |
314.90/315.12 c | 164504 | 4457 43301 193807 | 160001 136531 49 | 0.000 % |
318.10/318.39 c | 166198 | 4457 43301 193807 | 160001 138225 49 | 0.000 % |
318.40/318.66 c | 166298 | 4457 43301 193807 | 160001 138325 49 | 0.000 % |
318.70/318.91 c | 166408 | 4457 43301 193807 | 160001 138435 49 | 0.000 % |
318.80/319.01 c | 166529 | 4457 43301 193807 | 160001 138556 49 | 0.000 % |
318.80/319.08 c | 166663 | 4457 43301 193807 | 160001 138690 49 | 0.000 % |
319.20/319.44 c | 166810 | 4457 43301 193807 | 160001 138837 49 | 0.000 % |
319.80/320.04 c | 166971 | 4457 43301 193807 | 160001 138998 49 | 0.000 % |
320.20/320.41 c | 167148 | 4457 43301 193807 | 160001 139175 49 | 0.000 % |
320.50/320.79 c | 167341 | 4457 43301 193807 | 160001 139368 49 | 0.000 % |
321.00/321.22 c | 167555 | 4457 43301 193807 | 160001 139582 49 | 0.000 % |
322.10/322.35 c | 167789 | 4457 43301 193807 | 160001 139816 49 | 0.000 % |
322.80/323.01 c | 168045 | 4457 43301 193807 | 160001 140072 49 | 0.000 % |
323.49/323.77 c | 168326 | 4457 43301 193807 | 160001 140353 49 | 0.000 % |
323.99/324.27 c | 168635 | 4457 43301 193807 | 160001 140662 49 | 0.000 % |
325.09/325.37 c | 168974 | 4457 43301 193807 | 160001 141001 49 | 0.000 % |
325.79/326.06 c | 169347 | 4457 43301 193807 | 160001 141374 49 | 0.000 % |
327.49/327.80 c | 169756 | 4457 43301 193807 | 160001 141783 49 | 0.000 % |
328.60/328.89 c | 170205 | 4457 43301 193807 | 142027 142232 49 | 0.000 % |
329.89/330.14 c | 170698 | 4457 43301 193807 | 142027 127299 49 | 0.000 % |
331.19/331.49 c | 171241 | 4457 43301 193807 | 142027 127842 49 | 0.000 % |
332.59/332.81 c | 171837 | 4457 43301 193807 | 142027 128438 49 | 0.000 % |
333.29/333.59 c | 172494 | 4457 43301 193807 | 142027 129095 48 | 0.000 % |
334.99/335.26 c | 173215 | 4457 43301 193807 | 142027 129816 49 | 0.000 % |
335.59/335.89 c | 174007 | 4457 43301 193807 | 142027 130608 48 | 0.000 % |
337.79/338.07 c | 174880 | 4457 43301 193807 | 142027 131481 49 | 0.000 % |
339.29/339.54 c | 175839 | 4457 43301 193807 | 142027 132440 48 | 0.000 % |
342.19/342.47 c | 176892 | 4457 43301 193807 | 142027 133493 49 | 0.000 % |
344.48/344.73 c | 178051 | 4457 43301 193807 | 142027 134652 48 | 0.000 % |
347.58/347.90 c | 179324 | 4457 43301 193807 | 142027 135925 48 | 0.000 % |
351.58/351.86 c | 180724 | 4457 43301 193807 | 136602 118891 48 | 0.000 % |
355.48/355.71 c | 182264 | 4457 43301 193807 | 136602 120431 48 | 0.000 % |
359.98/360.20 c | 183959 | 4457 43301 193807 | 136602 122126 48 | 0.000 % |
363.28/363.55 c | 185823 | 4457 43301 193807 | 136602 123990 48 | 0.000 % |
363.48/363.77 c | 185923 | 4457 43301 193807 | 136602 124090 48 | 0.000 % |
363.68/364.00 c | 186033 | 4457 43301 193807 | 136602 124200 48 | 0.000 % |
363.98/364.20 c | 186154 | 4457 43301 193807 | 136602 124321 48 | 0.000 % |
364.28/364.52 c | 186287 | 4457 43301 193807 | 136602 124454 48 | 0.000 % |
364.48/364.76 c | 186433 | 4457 43301 193807 | 136602 124600 48 | 0.000 % |
364.88/365.15 c | 186593 | 4457 43301 193807 | 136602 124760 48 | 0.000 % |
365.48/365.78 c | 186770 | 4457 43301 193807 | 136602 124937 48 | 0.000 % |
365.98/366.26 c | 186963 | 4457 43301 193807 | 136602 125130 48 | 0.000 % |
366.58/366.82 c | 187175 | 4457 43301 193807 | 136602 125342 48 | 0.000 % |
367.08/367.38 c | 187408 | 4457 43301 193807 | 136602 125575 48 | 0.000 % |
367.68/367.92 c | 187665 | 4457 43301 193807 | 136602 125832 48 | 0.000 % |
368.28/368.50 c | 187946 | 4457 43301 193807 | 136602 126113 48 | 0.000 % |
368.57/368.85 c | 188255 | 4457 43301 193807 | 136602 126422 48 | 0.000 % |
369.57/369.83 c | 188595 | 4457 43301 193807 | 136602 126762 48 | 0.000 % |
370.67/370.99 c | 188970 | 4457 43301 193807 | 136602 127137 48 | 0.000 % |
371.67/371.91 c | 189379 | 4457 43301 193807 | 136602 127546 48 | 0.000 % |
374.87/375.12 c | 189829 | 4457 43301 193807 | 136602 127996 48 | 0.000 % |
375.97/376.22 c | 190323 | 4457 43301 193807 | 2147483647 128490 48 | 0.000 % |
377.07/377.34 c | 190865 | 4457 43301 193807 | 2147483647 129032 48 | 0.000 % |
378.27/378.54 c | 191462 | 4457 43301 193807 | 2147483647 129629 48 | 0.000 % |
381.86/382.15 c | 192119 | 4457 43301 193807 | 2147483647 130286 48 | 0.000 % |
383.67/383.97 c | 192840 | 4457 43301 193807 | 2147483647 131007 48 | 0.000 % |
385.96/386.25 c | 193633 | 4457 43301 193807 | 2147483647 131800 48 | 0.000 % |
388.66/388.94 c | 194506 | 4457 43301 193807 | 2147483647 132673 48 | 0.000 % |
391.16/391.42 c | 195465 | 4457 43301 193807 | 2147483647 133632 48 | 0.000 % |
394.16/394.49 c | 196519 | 4457 43301 193807 | 2147483647 134686 48 | 0.000 % |
397.16/397.40 c | 197678 | 4457 43301 193807 | 2147483647 135845 47 | 0.000 % |
404.16/404.45 c | 198952 | 4457 43301 193807 | 2147483647 137119 47 | 0.000 % |
407.76/408.09 c | 200353 | 4457 43301 193807 | 138167 138520 48 | 0.000 % |
411.75/412.03 c | 201893 | 4457 43301 193807 | 138167 120896 47 | 0.000 % |
416.45/416.74 c | 203588 | 4457 43301 193807 | 138167 122591 47 | 0.000 % |
419.95/420.26 c | 205452 | 4457 43301 193807 | 138167 124455 47 | 0.000 % |
423.84/424.13 c | 207501 | 4457 43301 193807 | 138167 126504 47 | 0.000 % |
424.14/424.46 c | 207602 | 4457 43301 193807 | 138167 126605 47 | 0.000 % |
424.35/424.68 c | 207712 | 4457 43301 193807 | 138167 126715 47 | 0.000 % |
424.74/425.05 c | 207833 | 4457 43301 193807 | 138167 126836 47 | 0.000 % |
425.04/425.34 c | 207967 | 4457 43301 193807 | 138167 126970 47 | 0.000 % |
425.45/425.79 c | 208114 | 4457 43301 193807 | 138167 127117 47 | 0.000 % |
425.84/426.19 c | 208274 | 4457 43301 193807 | 138167 127277 47 | 0.000 % |
426.34/426.60 c | 208451 | 4457 43301 193807 | 138167 127454 47 | 0.000 % |
426.74/427.05 c | 208645 | 4457 43301 193807 | 138167 127648 47 | 0.000 % |
427.34/427.65 c | 208858 | 4457 43301 193807 | 138167 127861 47 | 0.000 % |
427.84/428.15 c | 209091 | 4457 43301 193807 | 138167 128094 47 | 0.000 % |
428.44/428.77 c | 209348 | 4457 43301 193807 | 138167 128351 47 | 0.000 % |
429.14/429.48 c | 209629 | 4457 43301 193807 | 138167 128632 47 | 0.000 % |
429.85/430.13 c | 209939 | 4457 43301 193807 | 138167 128942 47 | 0.000 % |
430.85/431.14 c | 210279 | 4457 43301 193807 | 2147483647 129282 47 | 0.000 % |
431.84/432.10 c | 210651 | 4457 43301 193807 | 2147483647 129654 47 | 0.000 % |
432.44/432.72 c | 211060 | 4457 43301 193807 | 2147483647 130063 47 | 0.000 % |
433.24/433.58 c | 211509 | 4457 43301 193807 | 2147483647 130512 47 | 0.000 % |
434.64/434.96 c | 212003 | 4457 43301 193807 | 2147483647 131006 47 | 0.000 % |
436.24/436.50 c | 212546 | 4457 43301 193807 | 2147483647 131549 47 | 0.000 % |
437.34/437.68 c | 213143 | 4457 43301 193807 | 2147483647 132146 47 | 0.000 % |
439.44/439.72 c | 213799 | 4457 43301 193807 | 2147483647 132802 47 | 0.000 % |
441.24/441.53 c | 214519 | 4457 43301 193807 | 2147483647 133522 47 | 0.000 % |
443.34/443.68 c | 215311 | 4457 43301 193807 | 2147483647 134314 47 | 0.000 % |
447.34/447.65 c | 216182 | 4457 43301 193807 | 2147483647 135185 47 | 0.000 % |
449.74/450.08 c | 217140 | 4457 43301 193807 | 2147483647 136143 47 | 0.000 % |
451.64/451.92 c | 218193 | 4457 43301 193807 | 2147483647 137196 47 | 0.000 % |
453.84/454.17 c | 219352 | 4457 43301 193807 | 2147483647 138355 47 | 0.000 % |
456.94/457.29 c | 220626 | 4457 43301 193807 | 139003 139629 47 | 0.000 % |
462.51/462.81 c | 222027 | 4457 43301 193807 | 139003 120555 46 | 0.000 % |
465.80/466.15 c | 223568 | 4457 43301 193807 | 139003 122096 46 | 0.000 % |
469.60/469.95 c | 225262 | 4457 43301 193807 | 139003 123790 46 | 0.000 % |
473.50/473.87 c | 227126 | 4457 43301 193807 | 139003 125654 46 | 0.000 % |
480.40/480.76 c | 229175 | 4457 43301 193807 | 139003 127703 46 | 0.000 % |
485.10/485.49 c | 231428 | 4457 43301 193807 | 2147483647 129956 46 | 0.000 % |
485.40/485.71 c | 231528 | 4457 43301 193807 | 2147483647 130056 46 | 0.000 % |
485.60/485.93 c | 231638 | 4457 43301 193807 | 2147483647 130166 46 | 0.000 % |
485.90/486.22 c | 231760 | 4457 43301 193807 | 2147483647 130288 46 | 0.000 % |
486.20/486.50 c | 231894 | 4457 43301 193807 | 2147483647 130422 46 | 0.000 % |
486.50/486.80 c | 232040 | 4457 43301 193807 | 2147483647 130568 46 | 0.000 % |
486.80/487.13 c | 232201 | 4457 43301 193807 | 2147483647 130729 46 | 0.000 % |
487.09/487.45 c | 232377 | 4457 43301 193807 | 2147483647 130905 46 | 0.000 % |
487.39/487.76 c | 232571 | 4457 43301 193807 | 2147483647 131099 46 | 0.000 % |
487.79/488.17 c | 232783 | 4457 43301 193807 | 2147483647 131311 46 | 0.000 % |
488.69/489.02 c | 233017 | 4457 43301 193807 | 2147483647 131545 46 | 0.000 % |
489.29/489.62 c | 233273 | 4457 43301 193807 | 2147483647 131801 46 | 0.000 % |
489.89/490.26 c | 233555 | 4457 43301 193807 | 2147483647 132083 46 | 0.000 % |
490.70/491.03 c | 233865 | 4457 43301 193807 | 2147483647 132393 46 | 0.000 % |
491.59/491.98 c | 234205 | 4457 43301 193807 | 2147483647 132733 46 | 0.000 % |
492.59/492.99 c | 234577 | 4457 43301 193807 | 2147483647 133105 46 | 0.000 % |
493.79/494.13 c | 234987 | 4457 43301 193807 | 2147483647 133515 46 | 0.000 % |
495.60/495.99 c | 235436 | 4457 43301 193807 | 2147483647 133964 46 | 0.000 % |
496.81/497.13 c | 235930 | 4457 43301 193807 | 2147483647 134458 46 | 0.000 % |
499.11/499.44 c | 236472 | 4457 43301 193807 | 2147483647 135000 46 | 0.000 % |
500.80/501.10 c | 237068 | 4457 43301 193807 | 2147483647 135596 46 | 0.000 % |
502.60/502.98 c | 237723 | 4457 43301 193807 | 2147483647 136251 46 | 0.000 % |
504.10/504.48 c | 238443 | 4457 43301 193807 | 2147483647 136971 46 | 0.000 % |
506.40/506.71 c | 239235 | 4457 43301 193807 | 2147483647 137763 46 | 0.000 % |
508.10/508.46 c | 240106 | 4457 43301 193807 | 2147483647 138634 46 | 0.000 % |
510.00/510.35 c | 241065 | 4457 43301 193807 | 2147483647 139593 46 | 0.000 % |
512.89/513.22 c | 242118 | 4457 43301 193807 | 2147483647 140646 46 | 0.000 % |
514.89/515.24 c | 243277 | 4457 43301 193807 | 2147483647 141805 46 | 0.000 % |
517.70/518.06 c | 244551 | 4457 43301 193807 | 2147483647 143079 46 | 0.000 % |
522.29/522.68 c | 245951 | 4457 43301 193807 | 2147483647 144479 46 | 0.000 % |
526.79/527.13 c | 247491 | 4457 43301 193807 | 2147483647 146019 46 | 0.000 % |
530.69/531.00 c | 249186 | 4457 43301 193807 | 2147483647 147714 46 | 0.000 % |
532.99/533.36 c | 251049 | 4457 43301 193807 | 2147483647 149577 46 | 0.000 % |
535.69/536.05 c | 253099 | 4457 43301 193807 | 2147483647 151627 46 | 0.000 % |
540.58/540.92 c | 255353 | 4457 43301 193807 | 2147483647 153881 46 | 0.000 % |
546.98/547.36 c | 257832 | 4457 43301 193807 | 2147483647 156360 46 | 0.000 % |
547.08/547.45 c | 257934 | 4457 43301 193807 | 2147483647 156462 46 | 0.000 % |
547.28/547.63 c | 258044 | 4457 43301 193807 | 2147483647 156572 46 | 0.000 % |
547.58/547.92 c | 258165 | 4457 43301 193807 | 2147483647 156693 46 | 0.000 % |
547.88/548.23 c | 258298 | 4457 43301 193807 | 2147483647 156826 46 | 0.000 % |
548.18/548.60 c | 258445 | 4457 43301 193807 | 2147483647 156973 46 | 0.000 % |
548.58/548.95 c | 258606 | 4457 43301 193807 | 2147483647 157134 46 | 0.000 % |
548.97/549.33 c | 258784 | 4457 43301 193807 | 2147483647 157312 46 | 0.000 % |
549.77/550.17 c | 258977 | 4457 43301 193807 | 2147483647 157505 46 | 0.000 % |
550.27/550.60 c | 259189 | 4457 43301 193807 | 2147483647 157717 46 | 0.000 % |
550.57/550.99 c | 259422 | 4457 43301 193807 | 2147483647 157950 46 | 0.000 % |
551.07/551.44 c | 259679 | 4457 43301 193807 | 2147483647 158207 46 | 0.000 % |
551.67/552.08 c | 259961 | 4457 43301 193807 | 2147483647 158489 46 | 0.000 % |
552.37/552.73 c | 260272 | 4457 43301 193807 | 158530 158800 46 | 0.000 % |
553.67/554.02 c | 260611 | 4457 43301 193807 | 158530 136677 45 | 0.000 % |
553.97/554.36 c | 260983 | 4457 43301 193807 | 158530 137049 45 | 0.000 % |
555.17/555.53 c | 261392 | 4457 43301 193807 | 158530 137458 45 | 0.000 % |
556.37/556.77 c | 261842 | 4457 43301 193807 | 158530 137908 45 | 0.000 % |
557.37/557.74 c | 262335 | 4457 43301 193807 | 158530 138401 45 | 0.000 % |
559.07/559.40 c | 262877 | 4457 43301 193807 | 158530 138943 45 | 0.000 % |
561.07/561.40 c | 263473 | 4457 43301 193807 | 158530 139539 45 | 0.000 % |
562.27/562.63 c | 264129 | 4457 43301 193807 | 158530 140195 45 | 0.000 % |
563.17/563.57 c | 264849 | 4457 43301 193807 | 158530 140915 45 | 0.000 % |
565.07/565.41 c | 265642 | 4457 43301 193807 | 158530 141708 45 | 0.000 % |
567.06/567.46 c | 266514 | 4457 43301 193807 | 158530 142580 45 | 0.000 % |
568.96/569.34 c | 267474 | 4457 43301 193807 | 158530 143540 45 | 0.000 % |
573.16/573.50 c | 268528 | 4457 43301 193807 | 158530 144594 45 | 0.000 % |
575.56/575.92 c | 269686 | 4457 43301 193807 | 158530 145752 45 | 0.000 % |
578.86/579.26 c | 270960 | 4457 43301 193807 | 146066 147026 45 | 0.000 % |
580.96/581.37 c | 272360 | 4457 43301 193807 | 146066 123899 43 | 0.000 % |
583.96/584.33 c | 273900 | 4457 43301 193807 | 146066 125439 43 | 0.000 % |
592.46/592.81 c | 275595 | 4457 43301 193807 | 146066 127134 43 | 0.000 % |
596.65/597.01 c | 277458 | 4457 43301 193807 | 146066 128997 43 | 0.000 % |
599.65/600.02 c | 279508 | 4457 43301 193807 | 146066 131047 43 | 0.000 % |
604.75/605.11 c | 281761 | 4457 43301 193807 | 2147483647 133300 44 | 0.000 % |
608.14/608.52 c | 284240 | 4457 43301 193807 | 2147483647 135779 44 | 0.000 % |
614.24/614.69 c | 286966 | 4457 43301 193807 | 2147483647 138505 44 | 0.000 % |
614.64/615.03 c | 287067 | 4457 43301 193807 | 2147483647 138606 44 | 0.000 % |
615.04/615.40 c | 287177 | 4457 43301 193807 | 2147483647 138716 44 | 0.000 % |
615.34/615.75 c | 287300 | 4457 43301 193807 | 2147483647 138839 44 | 0.000 % |
615.74/616.16 c | 287434 | 4457 43301 193807 | 2147483647 138973 44 | 0.000 % |
616.04/616.44 c | 287581 | 4457 43301 193807 | 2147483647 139120 44 | 0.000 % |
616.54/616.94 c | 287742 | 4457 43301 193807 | 2147483647 139281 44 | 0.000 % |
617.04/617.41 c | 287919 | 4457 43301 193807 | 2147483647 139458 44 | 0.000 % |
617.64/618.04 c | 288112 | 4457 43301 193807 | 2147483647 139651 44 | 0.000 % |
618.24/618.63 c | 288324 | 4457 43301 193807 | 2147483647 139863 44 | 0.000 % |
618.84/619.22 c | 288558 | 4457 43301 193807 | 2147483647 140097 44 | 0.000 % |
619.74/620.14 c | 288814 | 4457 43301 193807 | 2147483647 140353 44 | 0.000 % |
620.24/620.65 c | 289097 | 4457 43301 193807 | 2147483647 140636 44 | 0.000 % |
621.54/621.99 c | 289407 | 4457 43301 193807 | 2147483647 140946 44 | 0.000 % |
622.34/622.77 c | 289746 | 4457 43301 193807 | 2147483647 141285 44 | 0.000 % |
622.74/623.10 c | 290118 | 4457 43301 193807 | 141541 141657 44 | 0.000 % |
623.84/624.22 c | 290528 | 4457 43301 193807 | 141541 122926 43 | 0.000 % |
625.04/625.49 c | 290977 | 4457 43301 193807 | 141541 123375 43 | 0.000 % |
626.33/626.78 c | 291472 | 4457 43301 193807 | 141541 123870 43 | 0.000 % |
627.13/627.52 c | 292015 | 4457 43301 193807 | 141541 124413 43 | 0.000 % |
628.13/628.57 c | 292611 | 4457 43301 193807 | 141541 125009 43 | 0.000 % |
629.33/629.78 c | 293266 | 4457 43301 193807 | 141541 125664 43 | 0.000 % |
630.94/631.33 c | 293987 | 4457 43301 193807 | 141541 126385 43 | 0.000 % |
632.33/632.74 c | 294781 | 4457 43301 193807 | 141541 127179 43 | 0.000 % |
633.93/634.35 c | 295652 | 4457 43301 193807 | 141541 128050 44 | 0.000 % |
636.03/636.46 c | 296611 | 4457 43301 193807 | 141541 129009 44 | 0.000 % |
637.63/638.01 c | 297664 | 4457 43301 193807 | 141541 130062 44 | 0.000 % |
640.42/640.86 c | 298823 | 4457 43301 193807 | 141541 131221 44 | 0.000 % |
643.13/643.54 c | 300096 | 4457 43301 193807 | 2147483647 132494 44 | 0.000 % |
647.72/648.14 c | 301496 | 4457 43301 193807 | 2147483647 133894 44 | 0.000 % |
653.12/653.54 c | 303036 | 4457 43301 193807 | 2147483647 135434 44 | 0.000 % |
656.52/656.93 c | 304731 | 4457 43301 193807 | 2147483647 137129 44 | 0.000 % |
660.22/660.65 c | 306594 | 4457 43301 193807 | 2147483647 138992 44 | 0.000 % |
663.62/664.00 c | 308644 | 4457 43301 193807 | 2147483647 141042 44 | 0.000 % |
667.51/667.97 c | 310897 | 4457 43301 193807 | 142398 143295 44 | 0.000 % |
678.22/678.63 c | 313376 | 4457 43301 193807 | 142398 127729 43 | 0.000 % |
683.01/683.44 c | 316101 | 4457 43301 193807 | 142398 130454 43 | 0.000 % |
689.10/689.59 c | 319099 | 4457 43301 193807 | 142398 133452 43 | 0.000 % |
689.50/689.91 c | 319199 | 4457 43301 193807 | 142398 133552 43 | 0.000 % |
689.60/690.06 c | 319310 | 4457 43301 193807 | 142398 133663 43 | 0.000 % |
690.00/690.44 c | 319432 | 4457 43301 193807 | 142398 133785 43 | 0.000 % |
690.30/690.73 c | 319566 | 4457 43301 193807 | 142398 133919 43 | 0.000 % |
690.40/690.87 c | 319712 | 4457 43301 193807 | 142398 134065 43 | 0.000 % |
690.90/691.33 c | 319872 | 4457 43301 193807 | 142398 134225 43 | 0.000 % |
691.30/691.71 c | 320050 | 4457 43301 193807 | 2147483647 134403 43 | 0.000 % |
691.60/692.09 c | 320243 | 4457 43301 193807 | 2147483647 134596 43 | 0.000 % |
692.00/692.47 c | 320455 | 4457 43301 193807 | 2147483647 134808 43 | 0.000 % |
692.50/692.96 c | 320688 | 4457 43301 193807 | 2147483647 135041 43 | 0.000 % |
693.10/693.54 c | 320944 | 4457 43301 193807 | 2147483647 135297 43 | 0.000 % |
694.30/694.71 c | 321226 | 4457 43301 193807 | 2147483647 135579 43 | 0.000 % |
695.10/695.59 c | 321535 | 4457 43301 193807 | 2147483647 135888 43 | 0.000 % |
696.10/696.50 c | 321874 | 4457 43301 193807 | 2147483647 136227 43 | 0.000 % |
697.00/697.49 c | 322246 | 4457 43301 193807 | 2147483647 136599 43 | 0.000 % |
698.50/698.97 c | 322655 | 4457 43301 193807 | 2147483647 137008 43 | 0.000 % |
699.40/699.84 c | 323106 | 4457 43301 193807 | 2147483647 137459 43 | 0.000 % |
700.80/701.25 c | 323600 | 4457 43301 193807 | 2147483647 137953 43 | 0.000 % |
702.20/702.62 c | 324143 | 4457 43301 193807 | 2147483647 138496 43 | 0.000 % |
703.10/703.51 c | 324739 | 4457 43301 193807 | 2147483647 139092 43 | 0.000 % |
704.60/705.05 c | 325394 | 4457 43301 193807 | 2147483647 139747 43 | 0.000 % |
705.99/706.41 c | 326114 | 4457 43301 193807 | 2147483647 140467 43 | 0.000 % |
707.49/707.98 c | 326907 | 4457 43301 193807 | 2147483647 141260 43 | 0.000 % |
709.69/710.16 c | 327778 | 4457 43301 193807 | 2147483647 142131 43 | 0.000 % |
711.89/712.32 c | 328737 | 4457 43301 193807 | 2147483647 143090 43 | 0.000 % |
714.60/715.08 c | 329791 | 4457 43301 193807 | 2147483647 144144 43 | 0.000 % |
717.09/717.50 c | 330950 | 4457 43301 193807 | 2147483647 145303 43 | 0.000 % |
720.09/720.55 c | 332224 | 4457 43301 193807 | 2147483647 146577 44 | 0.000 % |
725.69/726.15 c | 333624 | 4457 43301 193807 | 2147483647 147977 44 | 0.000 % |
729.38/729.87 c | 335165 | 4457 43301 193807 | 2147483647 149518 44 | 0.000 % |
735.28/735.79 c | 336859 | 4457 43301 193807 | 2147483647 151212 43 | 0.000 % |
739.88/740.37 c | 338723 | 4457 43301 193807 | 2147483647 153076 44 | 0.000 % |
746.38/746.82 c | 340772 | 4457 43301 193807 | 2147483647 155125 44 | 0.000 % |
752.17/752.66 c | 343027 | 4457 43301 193807 | 2147483647 157380 44 | 0.000 % |
760.17/760.68 c | 345505 | 4457 43301 193807 | 2147483647 159858 44 | 0.000 % |
766.57/767.02 c | 348230 | 4457 43301 193807 | 2147483647 162583 44 | 0.000 % |
773.76/774.27 c | 351227 | 4457 43301 193807 | 2147483647 165580 44 | 0.000 % |
781.57/782.09 c | 354523 | 4457 43301 193807 | 2147483647 168876 44 | 0.000 % |
781.86/782.34 c | 354624 | 4457 43301 193807 | 2147483647 168977 44 | 0.000 % |
782.16/782.66 c | 354735 | 4457 43301 193807 | 2147483647 169088 44 | 0.000 % |
782.46/782.93 c | 354857 | 4457 43301 193807 | 2147483647 169210 44 | 0.000 % |
782.86/783.35 c | 354992 | 4457 43301 193807 | 2147483647 169345 44 | 0.000 % |
783.06/783.55 c | 355138 | 4457 43301 193807 | 2147483647 169491 44 | 0.000 % |
783.46/783.94 c | 355299 | 4457 43301 193807 | 2147483647 169652 44 | 0.000 % |
783.66/784.18 c | 355476 | 4457 43301 193807 | 2147483647 169829 44 | 0.000 % |
784.16/784.64 c | 355670 | 4457 43301 193807 | 2147483647 170023 44 | 0.000 % |
784.66/785.20 c | 355884 | 4457 43301 193807 | 2147483647 170237 44 | 0.000 % |
785.06/785.54 c | 356117 | 4457 43301 193807 | 2147483647 170470 44 | 0.000 % |
785.36/785.85 c | 356373 | 4457 43301 193807 | 2147483647 170726 44 | 0.000 % |
785.96/786.46 c | 356654 | 4457 43301 193807 | 2147483647 171007 44 | 0.000 % |
787.56/788.02 c | 356964 | 4457 43301 193807 | 2147483647 171317 44 | 0.000 % |
788.36/788.81 c | 357303 | 4457 43301 193807 | 2147483647 171656 44 | 0.000 % |
789.26/789.80 c | 357675 | 4457 43301 193807 | 2147483647 172028 44 | 0.000 % |
792.05/792.57 c | 358085 | 4457 43301 193807 | 2147483647 172438 44 | 0.000 % |
792.95/793.44 c | 358536 | 4457 43301 193807 | 2147483647 172889 44 | 0.000 % |
794.95/795.49 c | 359029 | 4457 43301 193807 | 2147483647 173382 44 | 0.000 % |
796.25/796.77 c | 359572 | 4457 43301 193807 | 2147483647 173925 44 | 0.000 % |
798.15/798.68 c | 360168 | 4457 43301 193807 | 2147483647 174521 44 | 0.000 % |
800.35/800.86 c | 360823 | 4457 43301 193807 | 2147483647 175176 44 | 0.000 % |
802.95/803.42 c | 361544 | 4457 43301 193807 | 2147483647 175897 44 | 0.000 % |
804.95/805.44 c | 362336 | 4456 42931 191975 | 2147483647 176651 44 | 0.022 % |
808.05/808.53 c | 363208 | 4456 42931 191975 | 2147483647 177523 44 | 0.023 % |
810.55/811.08 c | 364168 | 4456 42931 191975 | 2147483647 178483 44 | 0.022 % |
814.15/814.65 c | 365221 | 4456 42931 191975 | 2147483647 179536 44 | 0.023 % |
817.25/817.77 c | 366379 | 4456 42931 191975 | 2147483647 180694 44 | 0.022 % |
823.94/824.48 c | 367652 | 4456 42931 191975 | 2147483647 181967 44 | 0.022 % |
827.54/828.03 c | 369053 | 4456 42931 191975 | 2147483647 183368 44 | 0.022 % |
831.24/831.75 c | 370593 | 4456 42931 191975 | 184316 184908 44 | 0.023 % |
836.04/836.55 c | 372288 | 4456 42931 191975 | 184316 167422 43 | 0.022 % |
840.53/841.04 c | 374152 | 4456 42931 191975 | 184316 169286 43 | 0.022 % |
846.03/846.56 c | 376202 | 4456 42931 191975 | 184316 171336 43 | 0.022 % |
852.63/853.18 c | 378456 | 4456 42931 191975 | 184316 173590 43 | 0.022 % |
860.93/861.45 c | 380935 | 4456 42931 191975 | 175134 176069 43 | 0.022 % |
868.22/868.79 c | 383660 | 4456 42931 191975 | 175134 161188 42 | 0.022 % |
876.82/877.35 c | 386657 | 4456 42931 191975 | 175134 164185 42 | 0.022 % |
885.42/885.93 c | 389954 | 4456 42931 191975 | 175134 167482 43 | 0.022 % |
899.32/899.86 c | 393579 | 4456 42931 191975 | 2147483647 171107 43 | 0.022 % |
899.61/900.14 c | 393680 | 4456 42931 191975 | 2147483647 171208 43 | 0.022 % |
899.91/900.48 c | 393790 | 4456 42931 191975 | 2147483647 171318 43 | 0.022 % |
900.51/901.05 c | 393911 | 4456 42931 191975 | 2147483647 171439 43 | 0.022 % |
901.11/901.61 c | 394045 | 4456 42931 191975 | 2147483647 171573 43 | 0.023 % |
901.31/901.87 c | 394191 | 4456 42931 191975 | 2147483647 171719 43 | 0.022 % |
901.81/902.37 c | 394352 | 4456 42931 191975 | 2147483647 171880 43 | 0.022 % |
902.21/902.79 c | 394528 | 4456 42931 191975 | 2147483647 172056 43 | 0.022 % |
902.91/903.47 c | 394722 | 4456 42931 191975 | 2147483647 172250 43 | 0.023 % |
903.91/904.46 c | 394935 | 4456 42931 191975 | 2147483647 172463 43 | 0.022 % |
904.72/905.23 c | 395169 | 4456 42931 191975 | 2147483647 172697 43 | 0.022 % |
905.21/905.75 c | 395426 | 4456 42931 191975 | 2147483647 172954 43 | 0.022 % |
905.71/906.21 c | 395707 | 4456 42931 191975 | 2147483647 173235 43 | 0.022 % |
906.51/907.09 c | 396016 | 4456 42931 191975 | 2147483647 173544 43 | 0.022 % |
907.81/908.31 c | 396356 | 4456 42931 191975 | 2147483647 173884 43 | 0.022 % |
908.90/909.41 c | 396729 | 4456 42931 191975 | 2147483647 174257 43 | 0.022 % |
910.21/910.78 c | 397138 | 4456 42931 191975 | 2147483647 174666 43 | 0.022 % |
911.41/911.96 c | 397588 | 4456 42931 191975 | 2147483647 175116 43 | 0.022 % |
914.40/914.95 c | 398081 | 4456 42931 191975 | 2147483647 175609 43 | 0.022 % |
915.90/916.48 c | 398623 | 4456 42931 191975 | 2147483647 176151 43 | 0.022 % |
918.10/918.64 c | 399219 | 4456 42931 191975 | 2147483647 176747 43 | 0.022 % |
919.40/919.94 c | 399874 | 4456 42931 191975 | 2147483647 177402 43 | 0.022 % |
921.00/921.51 c | 400594 | 4456 42931 191975 | 177529 178122 43 | 0.022 % |
922.80/923.37 c | 401386 | 4456 42931 191975 | 177529 160547 42 | 0.022 % |
925.20/925.71 c | 402258 | 4456 42931 191975 | 177529 161419 42 | 0.022 % |
928.50/929.01 c | 403217 | 4456 42931 191975 | 177529 162378 42 | 0.022 % |
930.50/931.09 c | 404272 | 4456 42931 191975 | 177529 163433 42 | 0.022 % |
934.50/935.03 c | 405430 | 4456 42931 191975 | 177529 164591 42 | 0.022 % |
938.49/939.00 c | 406703 | 4456 42931 191975 | 177529 165864 42 | 0.022 % |
946.19/946.71 c | 408104 | 4456 42931 191975 | 177529 167265 42 | 0.022 % |
949.69/950.24 c | 409644 | 4456 42931 191975 | 177529 168805 42 | 0.022 % |
955.88/956.48 c | 411338 | 4456 42931 191975 | 169161 170499 42 | 0.022 % |
959.98/960.59 c | 413201 | 4456 42931 191975 | 169161 154449 41 | 0.022 % |
966.48/967.04 c | 415250 | 4456 42931 191975 | 169161 156498 41 | 0.023 % |
972.18/972.78 c | 417504 | 4456 42931 191975 | 169161 158752 41 | 0.022 % |
981.17/981.71 c | 419982 | 4456 42931 191975 | 169161 161230 41 | 0.022 % |
987.87/988.44 c | 422707 | 4456 42931 191975 | 2147483647 163955 42 | 0.023 % |
997.87/998.41 c | 425706 | 4456 42931 191975 | 2147483647 166954 42 | 0.022 % |
1005.76/1006.34 c | 429002 | 4456 42931 191975 | 2147483647 170250 42 | 0.022 % |
1018.96/1019.54 c | 432627 | 4456 42931 191975 | 171248 153302 41 | 0.023 % |
1028.35/1028.91 c | 436617 | 4456 42931 191975 | 171248 157292 41 | 0.022 % |
1028.45/1029.09 c | 436717 | 4456 42931 191975 | 171248 157392 41 | 0.022 % |
1028.65/1029.27 c | 436827 | 4456 42931 191975 | 171248 157502 41 | 0.022 % |
1028.75/1029.33 c | 436948 | 4456 42931 191975 | 171248 157623 41 | 0.022 % |
1028.95/1029.54 c | 437081 | 4456 42931 191975 | 171248 157756 41 | 0.022 % |
1029.45/1030.01 c | 437228 | 4456 42931 191975 | 171248 157903 41 | 0.023 % |
1029.75/1030.31 c | 437389 | 4456 42931 191975 | 171248 158064 41 | 0.022 % |
1030.25/1030.81 c | 437566 | 4456 42931 191975 | 171248 158241 41 | 0.022 % |
1030.55/1031.14 c | 437759 | 4456 42931 191975 | 171248 158434 41 | 0.022 % |
1031.16/1031.80 c | 437971 | 4456 42931 191975 | 171248 158646 41 | 0.022 % |
1032.06/1032.62 c | 438205 | 4456 42931 191975 | 171248 158880 41 | 0.022 % |
1032.56/1033.19 c | 438461 | 4456 42931 191975 | 171248 159136 41 | 0.022 % |
1033.96/1034.56 c | 438743 | 4456 42931 191975 | 171248 159418 41 | 0.022 % |
1034.86/1035.49 c | 439053 | 4456 42931 191975 | 171248 159728 41 | 0.022 % |
1037.06/1037.63 c | 439392 | 4456 42931 191975 | 171248 160067 41 | 0.023 % |
1037.96/1038.58 c | 439765 | 4456 42931 191975 | 171248 160440 41 | 0.022 % |
1038.86/1039.48 c | 440175 | 4456 42931 191975 | 160675 160850 41 | 0.022 % |
1040.65/1041.24 c | 440625 | 4456 42931 191975 | 160675 140899 40 | 0.022 % |
1041.85/1042.44 c | 441119 | 4456 42931 191975 | 160675 141393 40 | 0.022 % |
1044.45/1045.06 c | 441661 | 4456 42931 191975 | 160675 141935 40 | 0.023 % |
1045.75/1046.35 c | 442258 | 4456 42931 191975 | 160675 142532 40 | 0.022 % |
1049.95/1050.58 c | 442914 | 4456 42931 191975 | 160675 143188 40 | 0.022 % |
1051.65/1052.30 c | 443635 | 4456 42931 191975 | 160675 143909 40 | 0.022 % |
1053.75/1054.31 c | 444428 | 4456 42931 191975 | 160675 144702 40 | 0.022 % |
1056.15/1056.79 c | 445300 | 4456 42931 191975 | 160675 145574 40 | 0.022 % |
1058.15/1058.74 c | 446258 | 4456 42931 191975 | 160675 146532 40 | 0.022 % |
1060.25/1060.88 c | 447311 | 4456 42931 191975 | 160675 147585 40 | 0.022 % |
1062.84/1063.49 c | 448469 | 4456 42931 191975 | 160675 148743 40 | 0.022 % |
1065.74/1066.35 c | 449742 | 4456 42931 191975 | 160675 150016 40 | 0.022 % |
1069.34/1069.99 c | 451143 | 4456 42931 191975 | 2147483647 151417 40 | 0.023 % |
1072.84/1073.42 c | 452683 | 4456 42931 191975 | 2147483647 152957 40 | 0.022 % |
1076.54/1077.16 c | 454377 | 4456 42931 191975 | 2147483647 154651 40 | 0.022 % |
1081.74/1082.32 c | 456240 | 4456 42931 191975 | 2147483647 156514 41 | 0.022 % |
1088.93/1089.55 c | 458289 | 4456 42931 191975 | 2147483647 158563 40 | 0.023 % |
1095.73/1096.40 c | 460542 | 4456 42931 191975 | 2147483647 160816 41 | 0.022 % |
1099.73/1100.36 c | 463021 | 4456 42931 191975 | 2147483647 163295 41 | 0.023 % |
1104.43/1105.08 c | 465747 | 4456 42931 191975 | 2147483647 166021 41 | 0.022 % |
1108.72/1109.38 c | 468744 | 4456 42931 191975 | 2147483647 169018 41 | 0.022 % |
1118.62/1119.29 c | 472041 | 4456 42931 191975 | 170274 147527 40 | 0.022 % |
1126.62/1127.29 c | 475666 | 4456 42931 191975 | 170274 151152 40 | 0.022 % |
1136.21/1136.86 c | 479654 | 4456 42931 191975 | 170274 155140 40 | 0.022 % |
1148.51/1149.18 c | 484040 | 4456 42931 191975 | 2147483647 159526 40 | 0.022 % |
1148.61/1149.27 c | 484140 | 4456 42931 191975 | 2147483647 159626 40 | 0.022 % |
1149.11/1149.72 c | 484251 | 4456 42931 191975 | 2147483647 159737 40 | 0.022 % |
1149.61/1150.22 c | 484372 | 4456 42931 191975 | 2147483647 159858 40 | 0.022 % |
1150.11/1150.71 c | 484506 | 4456 42931 191975 | 2147483647 159992 40 | 0.022 % |
1150.31/1150.98 c | 484652 | 4456 42931 191975 | 2147483647 160138 40 | 0.023 % |
1150.91/1151.55 c | 484813 | 4456 42931 191975 | 2147483647 160299 40 | 0.022 % |
1151.31/1151.95 c | 484990 | 4456 42931 191975 | 2147483647 160476 40 | 0.022 % |
1151.81/1152.49 c | 485184 | 4456 42931 191975 | 2147483647 160670 40 | 0.022 % |
1152.31/1152.98 c | 485397 | 4456 42931 191975 | 2147483647 160883 40 | 0.022 % |
1152.81/1153.45 c | 485630 | 4456 42931 191975 | 2147483647 161116 40 | 0.022 % |
1153.21/1153.85 c | 485886 | 4456 42931 191975 | 2147483647 161372 40 | 0.022 % |
1154.21/1154.86 c | 486167 | 4456 42931 191975 | 2147483647 161653 40 | 0.022 % |
1155.31/1155.90 c | 486477 | 4456 42931 191975 | 2147483647 161963 40 | 0.022 % |
1156.31/1156.94 c | 486817 | 4456 42931 191975 | 2147483647 162303 40 | 0.022 % |
1157.61/1158.21 c | 487190 | 4456 42931 191975 | 2147483647 162676 40 | 0.022 % |
1158.71/1159.40 c | 487599 | 4456 42931 191975 | 2147483647 163085 40 | 0.022 % |
1160.60/1161.28 c | 488049 | 4456 42931 191975 | 2147483647 163535 40 | 0.023 % |
1161.60/1162.29 c | 488543 | 4456 42931 191975 | 2147483647 164029 40 | 0.022 % |
1162.90/1163.60 c | 489085 | 4456 42931 191975 | 2147483647 164571 40 | 0.022 % |
1164.31/1164.95 c | 489683 | 4456 42931 191975 | 2147483647 165169 40 | 0.022 % |
1166.00/1166.67 c | 490339 | 4456 42931 191975 | 2147483647 165825 40 | 0.022 % |
1168.10/1168.79 c | 491059 | 4456 42931 191975 | 2147483647 166545 41 | 0.022 % |
1172.00/1172.65 c | 491851 | 4456 42931 191975 | 2147483647 167337 41 | 0.023 % |
1174.20/1174.80 c | 492722 | 4456 42931 191975 | 2147483647 168208 41 | 0.022 % |
1178.19/1178.87 c | 493680 | 4456 42931 191975 | 2147483647 169166 41 | 0.022 % |
1181.09/1181.77 c | 494734 | 4456 42931 191975 | 2147483647 170220 41 | 0.022 % |
1184.99/1185.61 c | 495892 | 4456 42931 191975 | 2147483647 171378 41 | 0.022 % |
1188.39/1189.03 c | 497167 | 4456 42931 191975 | 2147483647 172653 41 | 0.022 % |
1191.49/1192.15 c | 498567 | 4456 42931 191975 | 2147483647 174053 41 | 0.022 % |
1196.19/1196.89 c | 500108 | 4456 42931 191975 | 2147483647 175594 41 | 0.022 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832213-1242770350/watcher-1832213-1242770350 -o /tmp/evaluation-result-1832213-1242770350/solver-1832213-1242770350 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832213-1242770350.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.91 0.97 0.99 3/64 2671
/proc/meminfo: memFree=1865560/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 305061214 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 237 197 169 0 50 0
[pid=2675] ppid=2671 vsize=872 CPUtime=0
/proc/2675/stat : 2675 (SatELite_releas) R 2671 2671 2516 0 -1 4194304 73 0 0 0 0 0 0 0 18 0 1 0 305061214 892928 59 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/2675/statm: 218 63 48 173 0 43 0
[startup+0.078832 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 2671
/proc/meminfo: memFree=1865560/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 305061214 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 237 197 169 0 50 0
[pid=2675] ppid=2671 vsize=5664 CPUtime=0.06
/proc/2675/stat : 2675 (SatELite_releas) R 2671 2671 2516 0 -1 4194304 1420 0 0 0 6 0 0 0 18 0 1 0 305061214 5799936 1196 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/2675/statm: 1416 1196 78 173 0 1241 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11020
[startup+0.101834 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 2671
/proc/meminfo: memFree=1865560/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 305061214 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 237 197 169 0 50 0
[pid=2675] ppid=2671 vsize=5664 CPUtime=0.08
/proc/2675/stat : 2675 (SatELite_releas) R 2671 2671 2516 0 -1 4194304 1420 0 0 0 8 0 0 0 18 0 1 0 305061214 5799936 1196 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/2675/statm: 1416 1196 78 173 0 1241 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11020
[startup+0.301866 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 2671
/proc/meminfo: memFree=1865560/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356
[startup+0.701913 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 2671
/proc/meminfo: memFree=1865560/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356
[startup+1.50199 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 2677
/proc/meminfo: memFree=1860168/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=5012 CPUtime=1.35
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 1133 0 0 0 135 0 0 0 25 0 1 0 305061227 5132288 1119 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 1253 1119 76 171 0 1080 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10368
[startup+3.10218 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 2677
/proc/meminfo: memFree=1859656/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=5540 CPUtime=2.95
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 1259 0 0 0 295 0 0 0 25 0 1 0 305061227 5672960 1245 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 1385 1245 76 171 0 1212 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10896
[startup+6.30154 s]
/proc/loadavg: 0.92 0.97 0.99 2/66 2677
/proc/meminfo: memFree=1858632/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=6332 CPUtime=6.15
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 1469 0 0 0 615 0 0 0 25 0 1 0 305061227 6483968 1455 1992294400 134512640 135215339 4294956240 18446744073709551615 134538272 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 1583 1455 76 171 0 1410 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 11688
[startup+12.7013 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 2677
/proc/meminfo: memFree=1856968/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=7932 CPUtime=12.55
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 1865 0 0 0 1254 1 0 0 25 0 1 0 305061227 8122368 1851 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 1983 1851 76 171 0 1810 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 13288
[startup+25.5017 s]
/proc/loadavg: 0.94 0.97 0.99 2/66 2677
/proc/meminfo: memFree=1854280/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=10600 CPUtime=25.34
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 2522 0 0 0 2532 2 0 0 25 0 1 0 305061227 10854400 2508 1992294400 134512640 135215339 4294956240 18446744073709551615 134532650 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 2650 2508 76 171 0 2477 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 15956
[startup+51.1017 s]
/proc/loadavg: 0.96 0.97 0.99 2/66 2677
/proc/meminfo: memFree=1849864/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=15068 CPUtime=50.93
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 3623 0 0 0 5090 3 0 0 25 0 1 0 305061227 15429632 3609 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 3767 3609 76 171 0 3594 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 20424
[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/66 2677
/proc/meminfo: memFree=1842504/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=22152 CPUtime=102.11
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 5380 0 0 0 10207 4 0 0 25 0 1 0 305061227 22683648 5366 1992294400 134512640 135215339 4294956240 18446744073709551615 134538089 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 5538 5366 76 171 0 5365 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 27508
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2683
/proc/meminfo: memFree=1835456/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=29256 CPUtime=162.05
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 7123 0 0 0 16198 7 0 0 25 0 1 0 305061227 29958144 7109 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 7314 7109 76 171 0 7141 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 34612
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2683
/proc/meminfo: memFree=1828608/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=35880 CPUtime=222.03
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 8789 0 0 0 22194 9 0 0 25 0 1 0 305061227 36741120 8775 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 8970 8775 76 171 0 8797 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 41236
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2683
/proc/meminfo: memFree=1822912/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=41736 CPUtime=281.99
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 10190 0 0 0 28189 10 0 0 25 0 1 0 305061227 42737664 10176 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 10434 10176 76 171 0 10261 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 47092
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2683
/proc/meminfo: memFree=1820544/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=43860 CPUtime=341.97
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 10734 0 0 0 34186 11 0 0 25 0 1 0 305061227 44912640 10720 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 10965 10720 76 171 0 10792 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 49216
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2683
/proc/meminfo: memFree=1820416/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
################
# More data... #
################
/proc/2677/statm: 10965 10729 76 171 0 10792 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 49216
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2683
/proc/meminfo: memFree=1820040/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=43860 CPUtime=641.81
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 10743 0 0 0 64169 12 0 0 25 0 1 0 305061227 44912640 10729 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 10965 10729 76 171 0 10792 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 49216
[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2683
/proc/meminfo: memFree=1819912/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=43860 CPUtime=701.78
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 10743 0 0 0 70166 12 0 0 25 0 1 0 305061227 44912640 10729 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 10965 10729 76 171 0 10792 0
Current children cumulated CPU time (s) 701.9
Current children cumulated vsize (KiB) 49216
[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2683
/proc/meminfo: memFree=1819784/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=43860 CPUtime=761.75
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 10743 0 0 0 76163 12 0 0 25 0 1 0 305061227 44912640 10729 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 10965 10729 76 171 0 10792 0
Current children cumulated CPU time (s) 761.87
Current children cumulated vsize (KiB) 49216
[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2683
/proc/meminfo: memFree=1818248/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=45488 CPUtime=821.72
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 11157 0 0 0 82159 13 0 0 25 0 1 0 305061227 46579712 11143 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 11372 11143 76 171 0 11199 0
Current children cumulated CPU time (s) 821.84
Current children cumulated vsize (KiB) 50844
[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2683
/proc/meminfo: memFree=1817544/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=46172 CPUtime=881.7
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 11307 0 0 0 88157 13 0 0 25 0 1 0 305061227 47280128 11293 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 11543 11293 76 171 0 11370 0
Current children cumulated CPU time (s) 881.82
Current children cumulated vsize (KiB) 51528
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2683
/proc/meminfo: memFree=1817288/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=46304 CPUtime=941.67
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 11352 0 0 0 94154 13 0 0 25 0 1 0 305061227 47415296 11338 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 11576 11338 76 171 0 11403 0
Current children cumulated CPU time (s) 941.79
Current children cumulated vsize (KiB) 51660
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2683
/proc/meminfo: memFree=1817160/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=46492 CPUtime=1001.64
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 11368 0 0 0 100151 13 0 0 25 0 1 0 305061227 47607808 11354 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 11623 11354 76 171 0 11450 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 51848
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2683
/proc/meminfo: memFree=1816904/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=46636 CPUtime=1061.62
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 11402 0 0 0 106148 14 0 0 25 0 1 0 305061227 47755264 11388 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 11659 11388 76 171 0 11486 0
Current children cumulated CPU time (s) 1061.74
Current children cumulated vsize (KiB) 51992
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2683
/proc/meminfo: memFree=1816712/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=46780 CPUtime=1121.6
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 11435 0 0 0 112146 14 0 0 25 0 1 0 305061227 47902720 11421 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 11695 11421 76 171 0 11522 0
Current children cumulated CPU time (s) 1121.72
Current children cumulated vsize (KiB) 52136
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2683
/proc/meminfo: memFree=1816456/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=46920 CPUtime=1181.57
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 11468 0 0 0 118143 14 0 0 25 0 1 0 305061227 48046080 11454 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 11730 11454 76 171 0 11557 0
Current children cumulated CPU time (s) 1181.69
Current children cumulated vsize (KiB) 52276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2683
/proc/meminfo: memFree=1816328/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=47064 CPUtime=1199.97
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 11501 0 0 0 119983 14 0 0 25 0 1 0 305061227 48193536 11487 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 11766 11487 76 171 0 11593 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 52420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2683
/proc/meminfo: memFree=1816328/2055920 swapFree=4178544/4192956
[pid=2671] ppid=2669 vsize=5356 CPUtime=0.12
/proc/2671/stat : 2671 (SatELiteGTI) S 2669 2671 2516 0 -1 4194304 336 1671 0 0 0 0 11 1 15 0 1 0 305061214 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2671/statm: 1339 239 197 169 0 50 0
[pid=2677] ppid=2671 vsize=47064 CPUtime=1199.97
/proc/2677/stat : 2677 (minisat_static) R 2671 2671 2516 0 -1 4194304 11501 0 0 0 119983 14 0 0 25 0 1 0 305061227 48193536 11487 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2677/statm: 11766 11487 76 171 0 11593 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 52420
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2671 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=112982
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=18997
# CPU time returned by wait4() is 0.131979
# 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.71
CPU time (s): 1200.09
CPU user time (s): 1199.94
CPU system time (s): 0.15
CPU usage (%): 99.9482
Max. virtual memory (cumulated for all children) (KiB): 52420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.112982
system time used= 0.018997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 9
runsolver used 1.47078 second user time and 2.95255 second system time
The end
Begin job on node63 at 2009-05-19 23:59:10
IDJOB=1832213
IDBENCH=24629
IDSOLVER=671
FILE ID=node63/1832213-1242770350
PBS_JOBID= 9322238
Free space on /tmp= 66252 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest04/others/Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832213-1242770350/watcher-1832213-1242770350 -o /tmp/evaluation-result-1832213-1242770350/solver-1832213-1242770350 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832213-1242770350.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3ec02d98577965dc40d4f2f9fa0499c0
RANDOM SEED=192800022
node63.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.236
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.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1866104 kB
Buffers: 9048 kB
Cached: 144056 kB
SwapCached: 7716 kB
Active: 26948 kB
Inactive: 135616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1866104 kB
SwapTotal: 4192956 kB
SwapFree: 4178544 kB
Dirty: 2720 kB
Writeback: 0 kB
Mapped: 14768 kB
Slab: 13160 kB
Committed_AS: 1104860 kB
PageTables: 1456 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66248 MiB
End job on node63 at 2009-05-20 00:19:13