0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 58800 176400 | 17639 0 0 nan | 0.000 % |
0.00/0.21 c | 0 | 58422 177368 | -- 0 -- -- | -- | -378/968
0.00/0.21 c ==============================================================================
0.00/0.21 c Result : #vars: 13659 #clauses: 58422 #literals: 177368
0.00/0.21 c CPU time: 0.19297 s
0.00/0.21 c ==============================================================================
0.00/0.27 c This is MiniSat 2.0 beta
0.00/0.27 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.27 c ============================[ Problem Statistics ]=============================
0.00/0.27 c | |
0.00/0.27 c | Number of variables: 13659 |
0.00/0.27 c | Number of clauses: 58422 |
0.26/0.31 c | Parsing time: 0.04 s |
0.26/0.32 c ============================[ Search Statistics ]==============================
0.26/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.26/0.32 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.26/0.32 c ===============================================================================
0.26/0.32 c | 0 | 13659 58422 177368 | 19474 0 nan | 0.000 % |
0.26/0.37 c | 101 | 13659 58422 177368 | 19474 101 177 | 0.000 % |
0.26/0.42 c | 202 | 13659 58422 177368 | 19474 202 153 | 0.000 % |
0.26/0.46 c | 304 | 13659 58422 177368 | 19474 304 177 | 0.000 % |
0.26/0.51 c | 416 | 13659 58422 177368 | 19474 416 168 | 0.000 % |
0.26/0.56 c | 516 | 13659 58422 177368 | 19474 516 172 | 0.000 % |
0.26/0.60 c | 626 | 13659 58422 177368 | 19474 626 169 | 0.000 % |
0.26/0.66 c | 748 | 13659 58422 177368 | 19474 748 168 | 0.000 % |
0.26/0.70 c | 848 | 13659 58422 177368 | 19474 848 169 | 0.000 % |
0.26/0.75 c | 958 | 13659 58422 177368 | 19474 958 174 | 0.000 % |
0.26/0.80 c | 1079 | 13659 58422 177368 | 19474 1079 175 | 0.000 % |
0.26/0.86 c | 1213 | 13659 58422 177368 | 19474 1213 179 | 0.000 % |
0.26/0.91 c | 1315 | 13659 58422 177368 | 19474 1315 179 | 0.000 % |
0.26/0.96 c | 1425 | 13659 58422 177368 | 19474 1425 173 | 0.000 % |
0.97/1.01 c | 1546 | 13659 58422 177368 | 19474 1546 174 | 0.000 % |
0.97/1.08 c | 1679 | 13659 58422 177368 | 19474 1679 173 | 0.000 % |
1.07/1.16 c | 1825 | 13659 58422 177368 | 19474 1825 176 | 0.000 % |
1.17/1.21 c | 1926 | 13659 58422 177368 | 19474 1926 175 | 0.000 % |
1.17/1.26 c | 2036 | 13659 58422 177368 | 19474 2036 175 | 0.000 % |
1.28/1.33 c | 2158 | 13659 58422 177368 | 19474 2158 175 | 0.000 % |
1.28/1.39 c | 2292 | 13659 58422 177368 | 19474 2292 176 | 0.000 % |
1.38/1.45 c | 2438 | 13659 58422 177368 | 19474 2438 176 | 0.000 % |
1.48/1.53 c | 2598 | 13659 58422 177368 | 19474 2598 179 | 0.000 % |
1.48/1.58 c | 2699 | 13659 58422 177368 | 19474 2699 180 | 0.000 % |
1.58/1.63 c | 2809 | 13659 58422 177368 | 19474 2809 180 | 0.000 % |
1.58/1.69 c | 2930 | 13659 58422 177368 | 19474 2930 179 | 0.000 % |
1.68/1.76 c | 3065 | 13659 58422 177368 | 19474 3065 179 | 0.000 % |
1.78/1.83 c | 3212 | 13659 58422 177368 | 19474 3212 180 | 0.000 % |
1.88/1.92 c | 3373 | 13659 58422 177368 | 19474 3373 180 | 0.000 % |
1.98/2.00 c | 3550 | 13659 58422 177368 | 19474 3550 182 | 0.000 % |
1.98/2.05 c | 3650 | 13659 58422 177368 | 19474 3650 181 | 0.000 % |
1.98/2.10 c | 3760 | 13659 58422 177368 | 19474 3760 180 | 0.000 % |
2.08/2.16 c | 3881 | 13659 58422 177368 | 19474 3881 180 | 0.000 % |
2.18/2.24 c | 4014 | 13659 58422 177368 | 19474 4014 181 | 0.000 % |
2.28/2.31 c | 4161 | 13659 58422 177368 | 19474 4161 181 | 0.000 % |
2.28/2.38 c | 4321 | 13659 58422 177368 | 19474 4321 181 | 0.000 % |
2.37/2.47 c | 4497 | 13659 58422 177368 | 19474 4497 181 | 0.000 % |
2.47/2.56 c | 4691 | 13659 58422 177368 | 19474 4691 183 | 0.000 % |
2.57/2.61 c | 4791 | 13659 58422 177368 | 19474 4791 183 | 0.000 % |
2.57/2.67 c | 4901 | 13659 58422 177368 | 19474 4901 183 | 0.000 % |
2.67/2.73 c | 5024 | 13659 58422 177368 | 19474 5024 183 | 0.000 % |
2.77/2.80 c | 5157 | 13659 58422 177368 | 19474 5157 182 | 0.000 % |
2.77/2.87 c | 5303 | 13659 58422 177368 | 19474 5303 182 | 0.000 % |
2.87/2.95 c | 5463 | 13659 58422 177368 | 19474 5463 182 | 0.000 % |
2.97/3.04 c | 5641 | 13659 58422 177368 | 19474 5641 182 | 0.000 % |
3.07/3.13 c | 5834 | 13659 58422 177368 | 19474 5834 182 | 0.000 % |
3.18/3.24 c | 6051 | 13659 58422 177368 | 19474 6051 183 | 0.000 % |
3.18/3.30 c | 6152 | 13659 58422 177368 | 19474 6152 183 | 0.000 % |
3.28/3.36 c | 6262 | 13659 58422 177368 | 19474 6262 183 | 0.000 % |
3.37/3.42 c | 6384 | 13659 58422 177368 | 19474 6384 183 | 0.000 % |
3.37/3.49 c | 6517 | 13659 58422 177368 | 19474 6517 183 | 0.000 % |
3.47/3.57 c | 6664 | 13659 58422 177368 | 19474 6664 183 | 0.000 % |
3.57/3.65 c | 6825 | 13659 58422 177368 | 19474 6825 182 | 0.000 % |
3.67/3.75 c | 7002 | 13659 58422 177368 | 19474 7002 183 | 0.000 % |
3.77/3.85 c | 7195 | 13659 58422 177368 | 19474 7195 183 | 0.000 % |
3.87/3.95 c | 7410 | 13659 58422 177368 | 19474 7410 184 | 0.000 % |
3.97/4.07 c | 7644 | 13659 58422 177368 | 19474 7644 183 | 0.000 % |
4.07/4.12 c | 7746 | 13659 58422 177368 | 19474 7746 182 | 0.000 % |
4.07/4.17 c | 7856 | 13659 58422 177368 | 19474 7856 182 | 0.000 % |
4.16/4.23 c | 7980 | 13659 58422 177368 | 19474 7980 181 | 0.000 % |
4.27/4.30 c | 8115 | 13659 58422 177368 | 19474 8115 181 | 0.000 % |
4.27/4.38 c | 8262 | 13659 58422 177368 | 19474 8262 181 | 0.000 % |
4.37/4.46 c | 8423 | 13659 58422 177368 | 19474 8423 181 | 0.000 % |
4.46/4.55 c | 8601 | 13659 58422 177368 | 19474 8601 181 | 0.000 % |
4.56/4.65 c | 8794 | 13659 58422 177368 | 19474 8794 180 | 0.000 % |
4.66/4.76 c | 9006 | 13659 58422 177368 | 19474 9006 180 | 0.000 % |
4.76/4.88 c | 9239 | 13659 58422 177368 | 19474 9239 180 | 0.000 % |
4.96/5.02 c | 9495 | 13659 58422 177368 | 19474 9495 180 | 0.000 % |
4.96/5.07 c | 9595 | 13659 58422 177368 | 19474 9595 180 | 0.000 % |
5.06/5.13 c | 9706 | 13659 58422 177368 | 19474 9706 180 | 0.000 % |
5.06/5.20 c | 9828 | 13659 58422 177368 | 19474 9828 180 | 0.000 % |
5.16/5.28 c | 9962 | 13659 58422 177368 | 19474 9962 181 | 0.000 % |
5.26/5.36 c | 10109 | 13659 58422 177368 | 2147483647 10109 180 | 0.000 % |
5.37/5.44 c | 10269 | 13659 58422 177368 | 2147483647 10269 181 | 0.000 % |
5.48/5.53 c | 10445 | 13659 58422 177368 | 2147483647 10445 181 | 0.000 % |
5.57/5.64 c | 10638 | 13659 58422 177368 | 2147483647 10638 181 | 0.000 % |
5.67/5.75 c | 10850 | 13659 58422 177368 | 2147483647 10850 182 | 0.000 % |
5.77/5.87 c | 11084 | 13659 58422 177368 | 2147483647 11084 183 | 0.000 % |
5.97/6.00 c | 11340 | 13659 58422 177368 | 2147483647 11340 183 | 0.000 % |
6.07/6.15 c | 11621 | 13659 58422 177368 | 2147483647 11621 184 | 0.000 % |
6.17/6.21 c | 11722 | 13659 58422 177368 | 2147483647 11722 184 | 0.000 % |
6.17/6.27 c | 11832 | 13659 58422 177368 | 2147483647 11832 184 | 0.000 % |
6.27/6.35 c | 11953 | 13659 58422 177368 | 2147483647 11953 184 | 0.000 % |
6.37/6.43 c | 12087 | 13659 58422 177368 | 2147483647 12087 184 | 0.000 % |
6.47/6.52 c | 12233 | 13659 58422 177368 | 2147483647 12233 184 | 0.000 % |
6.47/6.60 c | 12393 | 13659 58422 177368 | 2147483647 12393 183 | 0.000 % |
6.67/6.70 c | 12570 | 13659 58422 177368 | 2147483647 12570 183 | 0.000 % |
6.76/6.81 c | 12763 | 13659 58422 177368 | 2147483647 12763 183 | 0.000 % |
6.86/6.93 c | 12976 | 13659 58422 177368 | 2147483647 12976 183 | 0.000 % |
6.96/7.06 c | 13209 | 13659 58422 177368 | 2147483647 13209 183 | 0.000 % |
7.06/7.20 c | 13465 | 13659 58422 177368 | 2147483647 13465 183 | 0.000 % |
7.26/7.35 c | 13747 | 13659 58422 177368 | 2147483647 13747 184 | 0.000 % |
7.46/7.52 c | 14056 | 13659 58422 177368 | 2147483647 14056 184 | 0.000 % |
7.46/7.59 c | 14156 | 13659 58422 177368 | 2147483647 14156 184 | 0.000 % |
7.56/7.65 c | 14266 | 13659 58422 177368 | 2147483647 14266 184 | 0.000 % |
7.67/7.72 c | 14388 | 13659 58422 177368 | 2147483647 14388 184 | 0.000 % |
7.77/7.80 c | 14521 | 13659 58422 177368 | 2147483647 14521 184 | 0.000 % |
7.77/7.89 c | 14668 | 13659 58422 177368 | 2147483647 14668 184 | 0.000 % |
7.87/7.99 c | 14828 | 13659 58422 177368 | 2147483647 14828 184 | 0.000 % |
7.96/8.09 c | 15006 | 13659 58422 177368 | 2147483647 15006 185 | 0.000 % |
8.06/8.20 c | 15199 | 13659 58422 177368 | 2147483647 15199 184 | 0.000 % |
8.26/8.31 c | 15411 | 13659 58422 177368 | 2147483647 15411 185 | 0.000 % |
8.36/8.45 c | 15644 | 13659 58422 177368 | 2147483647 15644 185 | 0.000 % |
8.46/8.59 c | 15900 | 13659 58422 177368 | 2147483647 15900 185 | 0.000 % |
8.66/8.74 c | 16181 | 13659 58422 177368 | 2147483647 16181 186 | 0.000 % |
8.87/8.92 c | 16490 | 13659 58422 177368 | 2147483647 16490 186 | 0.000 % |
9.07/9.10 c | 16831 | 13659 58422 177368 | 2147483647 16831 186 | 0.000 % |
9.07/9.16 c | 16934 | 13659 58422 177368 | 2147483647 16934 186 | 0.000 % |
9.16/9.22 c | 17045 | 13659 58422 177368 | 2147483647 17045 186 | 0.000 % |
9.16/9.29 c | 17168 | 13659 58422 177368 | 2147483647 17168 186 | 0.000 % |
9.26/9.37 c | 17301 | 13659 58422 177368 | 2147483647 17301 187 | 0.000 % |
9.36/9.45 c | 17447 | 13659 58422 177368 | 2147483647 17447 187 | 0.000 % |
9.46/9.55 c | 17611 | 13659 58422 177368 | 2147483647 17611 186 | 0.000 % |
9.56/9.65 c | 17787 | 13659 58422 177368 | 2147483647 17787 186 | 0.000 % |
9.66/9.77 c | 17982 | 13659 58422 177368 | 2147483647 17982 186 | 0.000 % |
9.76/9.90 c | 18194 | 13659 58422 177368 | 2147483647 18194 186 | 0.000 % |
9.96/10.03 c | 18428 | 13659 58422 177368 | 2147483647 18428 186 | 0.000 % |
10.06/10.19 c | 18686 | 13659 58422 177368 | 2147483647 18686 186 | 0.000 % |
10.26/10.36 c | 18967 | 13659 58422 177368 | 2147483647 18967 186 | 0.000 % |
10.46/10.55 c | 19279 | 13659 58422 177368 | 2147483647 19279 187 | 0.000 % |
10.66/10.77 c | 19619 | 13659 58422 177368 | 2147483647 19619 188 | 0.000 % |
10.86/11.00 c | 19992 | 13659 58422 177368 | 2147483647 19992 189 | 0.000 % |
10.96/11.06 c | 20092 | 13659 58422 177368 | 2147483647 20092 189 | 0.000 % |
11.06/11.13 c | 20203 | 13659 58422 177368 | 2147483647 20203 189 | 0.000 % |
11.16/11.20 c | 20325 | 13659 58422 177368 | 2147483647 20325 189 | 0.000 % |
11.16/11.29 c | 20458 | 13659 58422 177368 | 2147483647 20458 189 | 0.000 % |
11.26/11.38 c | 20606 | 13659 58422 177368 | 2147483647 20606 189 | 0.000 % |
11.36/11.47 c | 20766 | 13659 58422 177368 | 2147483647 20766 189 | 0.000 % |
11.45/11.59 c | 20942 | 13659 58422 177368 | 2147483647 20942 189 | 0.000 % |
11.66/11.71 c | 21138 | 13659 58422 177368 | 2147483647 21138 189 | 0.000 % |
11.76/11.82 c | 21351 | 13659 58422 177368 | 2147483647 21351 189 | 0.000 % |
11.86/11.96 c | 21584 | 13659 58422 177368 | 2147483647 21584 189 | 0.000 % |
12.07/12.11 c | 21843 | 13659 58422 177368 | 2147483647 21843 189 | 0.000 % |
12.16/12.27 c | 22125 | 13659 58422 177368 | 2147483647 22125 189 | 0.000 % |
12.36/12.45 c | 22434 | 13659 58422 177368 | 2147483647 22434 190 | 0.000 % |
12.56/12.67 c | 22776 | 13659 58422 177368 | 2147483647 22776 190 | 0.000 % |
12.76/12.90 c | 23148 | 13659 58422 177368 | 2147483647 23148 190 | 0.000 % |
13.06/13.14 c | 23558 | 13659 58422 177368 | 2147483647 23558 190 | 0.000 % |
13.16/13.21 c | 23658 | 13659 58422 177368 | 2147483647 23658 190 | 0.000 % |
13.16/13.29 c | 23770 | 13659 58422 177368 | 2147483647 23770 190 | 0.000 % |
13.25/13.37 c | 23891 | 13659 58422 177368 | 2147483647 23891 189 | 0.000 % |
13.35/13.46 c | 24024 | 13659 58422 177368 | 2147483647 24024 189 | 0.000 % |
13.45/13.56 c | 24172 | 13659 58422 177368 | 2147483647 24172 189 | 0.000 % |
13.56/13.66 c | 24332 | 13659 58422 177368 | 2147483647 24332 189 | 0.000 % |
13.66/13.78 c | 24508 | 13659 58422 177368 | 2147483647 24508 189 | 0.000 % |
13.86/13.91 c | 24701 | 13659 58422 177368 | 2147483647 24701 189 | 0.000 % |
13.96/14.05 c | 24913 | 13659 58422 177368 | 2147483647 24913 189 | 0.000 % |
14.06/14.20 c | 25146 | 13659 58422 177368 | 2147483647 25146 189 | 0.000 % |
14.26/14.36 c | 25403 | 13659 58422 177368 | 2147483647 25403 190 | 0.000 % |
14.46/14.53 c | 25684 | 13659 58422 177368 | 2147483647 25684 190 | 0.000 % |
14.66/14.73 c | 25995 | 13659 58422 177368 | 2147483647 25995 190 | 0.000 % |
14.85/14.94 c | 26335 | 13659 58422 177368 | 2147483647 26335 190 | 0.000 % |
15.05/15.16 c | 26710 | 13659 58422 177368 | 2147483647 26710 190 | 0.000 % |
15.36/15.44 c | 27120 | 13659 58422 177368 | 2147483647 27120 190 | 0.000 % |
15.65/15.74 c | 27569 | 13659 58422 177368 | 2147483647 27569 190 | 0.000 % |
15.75/15.81 c | 27669 | 13659 58422 177368 | 2147483647 27669 190 | 0.000 % |
15.75/15.89 c | 27779 | 13659 58422 177368 | 2147483647 27779 190 | 0.000 % |
15.85/15.98 c | 27900 | 13659 58422 177368 | 2147483647 27900 190 | 0.000 % |
15.96/16.08 c | 28033 | 13659 58422 177368 | 2147483647 28033 190 | 0.000 % |
16.06/16.19 c | 28179 | 13659 58422 177368 | 2147483647 28179 190 | 0.000 % |
16.26/16.30 c | 28339 | 13659 58422 177368 | 2147483647 28339 190 | 0.000 % |
16.37/16.41 c | 28515 | 13659 58422 177368 | 2147483647 28515 190 | 0.000 % |
16.46/16.55 c | 28708 | 13659 58422 177368 | 2147483647 28708 190 | 0.000 % |
16.66/16.70 c | 28920 | 13659 58422 177368 | 2147483647 28920 189 | 0.000 % |
16.76/16.87 c | 29153 | 13659 58422 177368 | 2147483647 29153 189 | 0.000 % |
16.95/17.04 c | 29409 | 13659 58422 177368 | 2147483647 29409 190 | 0.000 % |
17.15/17.23 c | 29691 | 13659 58422 177368 | 2147483647 29691 190 | 0.000 % |
17.35/17.45 c | 30000 | 13659 58422 177368 | 2147483647 30000 190 | 0.000 % |
17.56/17.68 c | 30339 | 13659 58422 177368 | 2147483647 30339 190 | 0.000 % |
17.85/17.91 c | 30711 | 13659 58422 177368 | 2147483647 30711 190 | 0.000 % |
18.05/18.19 c | 31121 | 13659 58422 177368 | 2147483647 31121 190 | 0.000 % |
18.45/18.51 c | 31571 | 13659 58422 177368 | 2147483647 31571 191 | 0.000 % |
18.76/18.82 c | 32064 | 13659 58422 177368 | 2147483647 32064 192 | 0.000 % |
18.86/18.90 c | 32165 | 13659 58422 177368 | 2147483647 32165 192 | 0.000 % |
18.86/18.98 c | 32277 | 13659 58422 177368 | 2147483647 32277 192 | 0.000 % |
18.96/19.07 c | 32400 | 13659 58422 177368 | 2147483647 32400 192 | 0.000 % |
19.06/19.17 c | 32533 | 13659 58422 177368 | 2147483647 32533 192 | 0.000 % |
19.16/19.29 c | 32679 | 13659 58422 177368 | 2147483647 32679 192 | 0.000 % |
19.36/19.41 c | 32839 | 13659 58422 177368 | 2147483647 32839 191 | 0.000 % |
19.46/19.53 c | 33015 | 13659 58422 177368 | 2147483647 33015 191 | 0.000 % |
19.55/19.67 c | 33210 | 13659 58422 177368 | 2147483647 33210 191 | 0.000 % |
19.76/19.81 c | 33422 | 13659 58422 177368 | 2147483647 33422 191 | 0.000 % |
19.85/19.98 c | 33655 | 13659 58422 177368 | 2147483647 33655 191 | 0.000 % |
20.05/20.16 c | 33913 | 13659 58422 177368 | 2147483647 33913 191 | 0.000 % |
20.25/20.37 c | 34195 | 13659 58422 177368 | 2147483647 34195 191 | 0.000 % |
20.45/20.57 c | 34505 | 13659 58422 177368 | 2147483647 34505 192 | 0.000 % |
20.75/20.81 c | 34847 | 13659 58422 177368 | 2147483647 34847 192 | 0.000 % |
20.95/21.06 c | 35219 | 13659 58422 177368 | 2147483647 35219 192 | 0.000 % |
21.25/21.34 c | 35628 | 13659 58422 177368 | 2147483647 35628 192 | 0.000 % |
21.55/21.64 c | 36079 | 13659 58422 177368 | 2147483647 36079 192 | 0.000 % |
21.85/21.98 c | 36572 | 13659 58422 177368 | 2147483647 36572 192 | 0.000 % |
22.25/22.36 c | 37115 | 13659 58422 177368 | 2147483647 37115 193 | 0.000 % |
22.35/22.43 c | 37215 | 13659 58422 177368 | 2147483647 37215 193 | 0.000 % |
22.45/22.51 c | 37325 | 13659 58422 177368 | 2147483647 37325 193 | 0.000 % |
22.55/22.61 c | 37447 | 13659 58422 177368 | 2147483647 37447 193 | 0.000 % |
22.65/22.70 c | 37580 | 13659 58422 177368 | 2147483647 37580 193 | 0.000 % |
22.75/22.82 c | 37726 | 13659 58422 177368 | 2147483647 37726 193 | 0.000 % |
22.85/22.94 c | 37886 | 13659 58422 177368 | 2147483647 37886 193 | 0.000 % |
22.95/23.06 c | 38062 | 13659 58422 177368 | 2147483647 38062 193 | 0.000 % |
23.15/23.20 c | 38255 | 13659 58422 177368 | 2147483647 38255 192 | 0.000 % |
23.25/23.34 c | 38467 | 13659 58422 177368 | 2147483647 38467 193 | 0.000 % |
23.45/23.51 c | 38700 | 13659 58422 177368 | 2147483647 38700 192 | 0.000 % |
23.65/23.70 c | 38956 | 13659 58422 177368 | 2147483647 38956 192 | 0.000 % |
23.75/23.88 c | 39237 | 13659 58422 177368 | 2147483647 39237 193 | 0.000 % |
24.05/24.11 c | 39546 | 13659 58422 177368 | 2147483647 39546 193 | 0.000 % |
24.25/24.35 c | 39886 | 13659 58422 177368 | 2147483647 39886 193 | 0.000 % |
24.55/24.61 c | 40258 | 13659 58422 177368 | 2147483647 40258 194 | 0.000 % |
24.85/24.92 c | 40669 | 13659 58422 177368 | 2147483647 40669 194 | 0.000 % |
25.15/25.22 c | 41120 | 13659 58422 177368 | 2147483647 41120 194 | 0.000 % |
25.45/25.57 c | 41614 | 13659 58422 177368 | 2147483647 41614 194 | 0.000 % |
25.85/25.96 c | 42157 | 13659 58422 177368 | 2147483647 42157 194 | 0.000 % |
26.25/26.37 c | 42754 | 13659 58422 177368 | 2147483647 42754 194 | 0.000 % |
26.35/26.44 c | 42855 | 13659 58422 177368 | 2147483647 42855 194 | 0.000 % |
26.44/26.52 c | 42965 | 13659 58422 177368 | 2147483647 42965 194 | 0.000 % |
26.54/26.61 c | 43086 | 13659 58422 177368 | 2147483647 43086 194 | 0.000 % |
26.64/26.73 c | 43220 | 13659 58422 177368 | 2147483647 43220 194 | 0.000 % |
26.74/26.84 c | 43366 | 13659 58422 177368 | 2147483647 43366 194 | 0.000 % |
26.84/26.97 c | 43530 | 13659 58422 177368 | 2147483647 43530 194 | 0.000 % |
27.04/27.13 c | 43706 | 13659 58422 177368 | 2147483647 43706 194 | 0.000 % |
27.14/27.28 c | 43900 | 13659 58422 177368 | 2147483647 43900 194 | 0.000 % |
27.35/27.45 c | 44115 | 13659 58422 177368 | 2147483647 44115 195 | 0.000 % |
27.55/27.64 c | 44349 | 13659 58422 177368 | 2147483647 44349 195 | 0.000 % |
27.75/27.81 c | 44605 | 13659 58422 177368 | 2147483647 44605 195 | 0.000 % |
27.95/28.01 c | 44887 | 13659 58422 177368 | 2147483647 44887 196 | 0.000 % |
28.15/28.26 c | 45196 | 13659 58422 177368 | 2147483647 45196 195 | 0.000 % |
28.45/28.51 c | 45537 | 13659 58422 177368 | 2147483647 45537 195 | 0.000 % |
28.64/28.79 c | 45909 | 13659 58422 177368 | 2147483647 45909 196 | 0.000 % |
28.94/29.09 c | 46318 | 13659 58422 177368 | 2147483647 46318 196 | 0.000 % |
29.34/29.42 c | 46767 | 13659 58422 177368 | 2147483647 46767 196 | 0.000 % |
29.74/29.81 c | 47261 | 13659 58422 177368 | 2147483647 47261 196 | 0.000 % |
30.14/30.22 c | 47805 | 13659 58422 177368 | 2147483647 47805 196 | 0.000 % |
30.54/30.67 c | 48401 | 13659 58422 177368 | 2147483647 48401 196 | 0.000 % |
31.04/31.16 c | 49056 | 13659 58422 177368 | 2147483647 49056 197 | 0.000 % |
31.14/31.25 c | 49156 | 13659 58422 177368 | 2147483647 49156 197 | 0.000 % |
31.24/31.34 c | 49266 | 13659 58422 177368 | 2147483647 49266 197 | 0.000 % |
31.35/31.45 c | 49387 | 13659 58422 177368 | 2147483647 49387 197 | 0.000 % |
31.45/31.55 c | 49521 | 13659 58422 177368 | 2147483647 49521 197 | 0.000 % |
31.55/31.66 c | 49668 | 13659 58422 177368 | 2147483647 49668 196 | 0.000 % |
31.65/31.79 c | 49828 | 13659 58422 177368 | 2147483647 49828 196 | 0.000 % |
31.85/31.92 c | 50004 | 13659 58422 177368 | 2147483647 50004 196 | 0.000 % |
31.95/32.08 c | 50197 | 13659 58422 177368 | 2147483647 50197 196 | 0.000 % |
32.15/32.26 c | 50409 | 13659 58422 177368 | 2147483647 50409 196 | 0.000 % |
32.35/32.44 c | 50643 | 13659 58422 177368 | 2147483647 50643 196 | 0.000 % |
32.55/32.65 c | 50900 | 13659 58422 177368 | 2147483647 50900 196 | 0.000 % |
32.74/32.87 c | 51181 | 13659 58422 177368 | 2147483647 51181 196 | 0.000 % |
33.04/33.11 c | 51490 | 13659 58422 177368 | 2147483647 51490 196 | 0.000 % |
33.24/33.40 c | 51829 | 13659 58422 177368 | 2147483647 51829 196 | 0.000 % |
33.64/33.73 c | 52203 | 13659 58422 177368 | 2147483647 52203 197 | 0.000 % |
33.94/34.05 c | 52612 | 13659 58422 177368 | 2147483647 52612 196 | 0.000 % |
34.34/34.41 c | 53063 | 13659 58422 177368 | 2147483647 53063 196 | 0.000 % |
34.75/34.81 c | 53556 | 13659 58422 177368 | 2147483647 53556 197 | 0.000 % |
35.15/35.26 c | 54099 | 13659 58422 177368 | 2147483647 54099 198 | 0.000 % |
35.64/35.72 c | 54695 | 13659 58422 177368 | 2147483647 54695 197 | 0.000 % |
36.14/36.24 c | 55351 | 13659 58422 177368 | 2147483647 55351 198 | 0.000 % |
36.74/36.80 c | 56071 | 13659 58422 177368 | 2147483647 56071 198 | 0.000 % |
36.84/36.91 c | 56174 | 13659 58422 177368 | 2147483647 56174 198 | 0.000 % |
36.95/37.01 c | 56284 | 13659 58422 177368 | 2147483647 56284 198 | 0.000 % |
37.05/37.12 c | 56406 | 13659 58422 177368 | 2147483647 56406 198 | 0.000 % |
37.15/37.26 c | 56539 | 13659 58422 177368 | 2147483647 56539 198 | 0.000 % |
37.25/37.39 c | 56686 | 13659 58422 177368 | 2147483647 56686 198 | 0.000 % |
37.45/37.53 c | 56846 | 13659 58422 177368 | 2147483647 56846 198 | 0.000 % |
37.55/37.69 c | 57024 | 13659 58422 177368 | 2147483647 57024 198 | 0.000 % |
37.75/37.85 c | 57219 | 13659 58422 177368 | 2147483647 57219 198 | 0.000 % |
37.95/38.04 c | 57433 | 13659 58422 177368 | 2147483647 57433 198 | 0.000 % |
38.15/38.23 c | 57666 | 13659 58422 177368 | 2147483647 57666 198 | 0.000 % |
38.35/38.44 c | 57922 | 13659 58422 177368 | 2147483647 57922 198 | 0.000 % |
38.55/38.68 c | 58203 | 13659 58422 177368 | 2147483647 58203 198 | 0.000 % |
38.84/38.93 c | 58512 | 13659 58422 177368 | 2147483647 58512 198 | 0.000 % |
39.14/39.22 c | 58857 | 13659 58422 177368 | 2147483647 58857 198 | 0.000 % |
39.45/39.54 c | 59231 | 13659 58422 177368 | 2147483647 59231 198 | 0.000 % |
39.84/39.90 c | 59642 | 13659 58422 177368 | 2147483647 59642 198 | 0.000 % |
40.24/40.30 c | 60093 | 13659 58422 177368 | 2147483647 60093 198 | 0.000 % |
40.64/40.71 c | 60588 | 13659 58422 177368 | 2147483647 60588 198 | 0.000 % |
41.05/41.17 c | 61130 | 13659 58422 177368 | 2147483647 61130 199 | 0.000 % |
41.65/41.70 c | 61726 | 13659 58422 177368 | 2147483647 61726 199 | 0.000 % |
42.14/42.26 c | 62381 | 13659 58422 177368 | 2147483647 62381 200 | 0.000 % |
42.74/42.88 c | 63101 | 13659 58422 177368 | 2147483647 63101 200 | 0.000 % |
43.45/43.53 c | 63894 | 13659 58422 177368 | 2147483647 63894 201 | 0.000 % |
43.55/43.63 c | 63997 | 13659 58422 177368 | 2147483647 63997 201 | 0.000 % |
43.64/43.73 c | 64107 | 13659 58422 177368 | 2147483647 64107 201 | 0.000 % |
43.74/43.84 c | 64229 | 13659 58422 177368 | 2147483647 64229 201 | 0.000 % |
43.85/43.98 c | 64362 | 13659 58422 177368 | 2147483647 64362 201 | 0.000 % |
44.04/44.12 c | 64508 | 13659 58422 177368 | 2147483647 64508 201 | 0.000 % |
44.14/44.29 c | 64668 | 13659 58422 177368 | 2147483647 64668 201 | 0.000 % |
44.34/44.46 c | 64844 | 13659 58422 177368 | 2147483647 64844 201 | 0.000 % |
44.54/44.64 c | 65038 | 13659 58422 177368 | 2147483647 65038 201 | 0.000 % |
44.74/44.85 c | 65250 | 13659 58422 177368 | 2147483647 65250 201 | 0.000 % |
44.94/45.04 c | 65483 | 13659 58422 177368 | 2147483647 65483 201 | 0.000 % |
45.14/45.25 c | 65740 | 13659 58422 177368 | 2147483647 65740 201 | 0.000 % |
45.44/45.52 c | 66021 | 13659 58422 177368 | 2147483647 66021 201 | 0.000 % |
45.64/45.79 c | 66332 | 13659 58422 177368 | 2147483647 66332 201 | 0.000 % |
45.94/46.09 c | 66672 | 13659 58422 177368 | 2147483647 66672 201 | 0.000 % |
46.34/46.41 c | 67047 | 13659 58422 177368 | 2147483647 67047 200 | 0.000 % |
46.63/46.76 c | 67456 | 13659 58422 177368 | 2147483647 67456 200 | 0.000 % |
47.03/47.16 c | 67906 | 13659 58422 177368 | 2147483647 67906 200 | 0.000 % |
47.43/47.58 c | 68399 | 13659 58422 177368 | 2147483647 68399 200 | 0.000 % |
47.93/48.05 c | 68942 | 13659 58422 177368 | 2147483647 68942 201 | 0.000 % |
48.43/48.57 c | 69538 | 13659 58422 177368 | 2147483647 69538 201 | 0.000 % |
49.04/49.19 c | 70193 | 13659 58422 177368 | 2147483647 70193 201 | 0.000 % |
49.74/49.81 c | 70917 | 13659 58422 177368 | 2147483647 70917 201 | 0.000 % |
50.34/50.48 c | 71709 | 13659 58422 177368 | 2147483647 71709 201 | 0.000 % |
51.14/51.26 c | 72581 | 13659 58422 177368 | 2147483647 72581 201 | 0.000 % |
51.24/51.38 c | 72681 | 13659 58422 177368 | 2147483647 72681 201 | 0.000 % |
51.34/51.49 c | 72791 | 13659 58422 177368 | 2147483647 72791 201 | 0.000 % |
51.55/51.61 c | 72912 | 13659 58422 177368 | 2147483647 72912 201 | 0.000 % |
51.65/51.74 c | 73046 | 13659 58422 177368 | 2147483647 73046 201 | 0.000 % |
51.74/51.89 c | 73195 | 13659 58422 177368 | 2147483647 73195 201 | 0.000 % |
51.94/52.04 c | 73355 | 13659 58422 177368 | 2147483647 73355 201 | 0.000 % |
52.04/52.19 c | 73531 | 13659 58422 177368 | 2147483647 73531 201 | 0.000 % |
52.24/52.38 c | 73725 | 13659 58422 177368 | 2147483647 73725 201 | 0.000 % |
52.44/52.59 c | 73938 | 13659 58422 177368 | 2147483647 73938 201 | 0.000 % |
52.74/52.82 c | 74174 | 13659 58422 177368 | 2147483647 74174 201 | 0.000 % |
52.94/53.08 c | 74431 | 13659 58422 177368 | 2147483647 74431 201 | 0.000 % |
53.24/53.33 c | 74714 | 13659 58422 177368 | 2147483647 74714 201 | 0.000 % |
53.54/53.64 c | 75023 | 13659 58422 177368 | 2147483647 75023 201 | 0.000 % |
53.84/53.97 c | 75362 | 13659 58422 177368 | 2147483647 75362 201 | 0.000 % |
54.24/54.33 c | 75735 | 13659 58422 177368 | 2147483647 75735 201 | 0.000 % |
54.64/54.71 c | 76144 | 13659 58422 177368 | 2147483647 76144 201 | 0.000 % |
55.04/55.12 c | 76593 | 13659 58422 177368 | 2147483647 76593 201 | 0.000 % |
55.43/55.59 c | 77087 | 13659 58422 177368 | 2147483647 77087 201 | 0.000 % |
56.04/56.13 c | 77630 | 13659 58422 177368 | 2147483647 77630 201 | 0.000 % |
56.53/56.69 c | 78228 | 13659 58422 177368 | 2147483647 78228 201 | 0.000 % |
57.24/57.32 c | 78883 | 13659 58422 177368 | 2147483647 78883 202 | 0.000 % |
57.94/58.02 c | 79605 | 13659 58422 177368 | 2147483647 79605 202 | 0.000 % |
58.63/58.73 c | 80397 | 13659 58422 177368 | 2147483647 80397 203 | 0.000 % |
59.43/59.56 c | 81270 | 13659 58422 177368 | 2147483647 81270 203 | 0.000 % |
60.33/60.45 c | 82228 | 13659 58422 177368 | 2147483647 82228 203 | 0.000 % |
60.44/60.56 c | 82328 | 13659 58422 177368 | 2147483647 82328 203 | 0.000 % |
60.54/60.68 c | 82438 | 13659 58422 177368 | 2147483647 82438 203 | 0.000 % |
60.74/60.81 c | 82561 | 13659 58422 177368 | 2147483647 82561 203 | 0.000 % |
60.84/60.96 c | 82694 | 13659 58422 177368 | 2147483647 82694 203 | 0.000 % |
61.04/61.11 c | 82840 | 13659 58422 177368 | 2147483647 82840 203 | 0.000 % |
61.14/61.28 c | 83002 | 13659 58422 177368 | 2147483647 83002 203 | 0.000 % |
61.34/61.47 c | 83179 | 13659 58422 177368 | 2147483647 83179 203 | 0.000 % |
61.54/61.67 c | 83373 | 13659 58422 177368 | 2147483647 83373 203 | 0.000 % |
61.74/61.88 c | 83586 | 13659 58422 177368 | 2147483647 83586 203 | 0.000 % |
62.03/62.10 c | 83819 | 13659 58422 177368 | 2147483647 83819 203 | 0.000 % |
62.23/62.36 c | 84076 | 13659 58422 177368 | 2147483647 84076 203 | 0.000 % |
62.53/62.70 c | 84357 | 13659 58422 177368 | 2147483647 84357 203 | 0.000 % |
62.93/63.02 c | 84666 | 13659 58422 177368 | 2147483647 84666 203 | 0.000 % |
63.23/63.37 c | 85005 | 13659 58422 177368 | 2147483647 85005 203 | 0.000 % |
63.64/63.73 c | 85378 | 13659 58422 177368 | 2147483647 85378 203 | 0.000 % |
64.03/64.17 c | 85787 | 13659 58422 177368 | 2147483647 85787 203 | 0.000 % |
64.43/64.59 c | 86236 | 13659 58422 177368 | 2147483647 86236 203 | 0.000 % |
64.93/65.08 c | 86729 | 13659 58422 177368 | 2147483647 86729 203 | 0.000 % |
65.43/65.60 c | 87271 | 13659 58422 177368 | 2147483647 87271 204 | 0.000 % |
66.03/66.16 c | 87869 | 13659 58422 177368 | 2147483647 87869 204 | 0.000 % |
66.73/66.86 c | 88526 | 13659 58422 177368 | 2147483647 88526 204 | 0.000 % |
67.43/67.52 c | 89246 | 13659 58422 177368 | 2147483647 89246 204 | 0.000 % |
68.14/68.27 c | 90038 | 13659 58422 177368 | 2147483647 90038 205 | 0.000 % |
69.03/69.18 c | 90909 | 13659 58422 177368 | 2147483647 90909 206 | 0.000 % |
70.03/70.10 c | 91867 | 13659 58422 177368 | 2147483647 91867 206 | 0.000 % |
71.03/71.14 c | 92921 | 13659 58422 177368 | 2147483647 92921 206 | 0.000 % |
71.13/71.27 c | 93023 | 13659 58422 177368 | 2147483647 93023 206 | 0.000 % |
71.33/71.41 c | 93133 | 13659 58422 177368 | 2147483647 93133 206 | 0.000 % |
71.43/71.56 c | 93256 | 13659 58422 177368 | 2147483647 93256 206 | 0.000 % |
71.62/71.72 c | 93389 | 13659 58422 177368 | 2147483647 93389 206 | 0.000 % |
71.72/71.88 c | 93535 | 13659 58422 177368 | 2147483647 93535 206 | 0.000 % |
71.92/72.06 c | 93697 | 13659 58422 177368 | 2147483647 93697 206 | 0.000 % |
72.12/72.26 c | 93875 | 13659 58422 177368 | 2147483647 93875 206 | 0.000 % |
72.32/72.48 c | 94069 | 13659 58422 177368 | 2147483647 94069 206 | 0.000 % |
72.63/72.71 c | 94281 | 13659 58422 177368 | 2147483647 94281 206 | 0.000 % |
72.83/72.94 c | 94515 | 13659 58422 177368 | 2147483647 94515 206 | 0.000 % |
73.13/73.22 c | 94771 | 13659 58422 177368 | 2147483647 94771 206 | 0.000 % |
73.43/73.55 c | 95052 | 13659 58422 177368 | 2147483647 95052 205 | 0.000 % |
73.82/73.90 c | 95363 | 13659 58422 177368 | 2147483647 95363 205 | 0.000 % |
74.12/74.28 c | 95702 | 13659 58422 177368 | 2147483647 95702 205 | 0.000 % |
74.52/74.64 c | 96074 | 13659 58422 177368 | 2147483647 96074 206 | 0.000 % |
75.02/75.10 c | 96484 | 13659 58422 177368 | 2147483647 96484 205 | 0.000 % |
75.52/75.60 c | 96933 | 13659 58422 177368 | 2147483647 96933 205 | 0.000 % |
76.03/76.12 c | 97427 | 13659 58422 177368 | 2147483647 97427 205 | 0.000 % |
76.53/76.69 c | 97971 | 13659 58422 177368 | 2147483647 97971 206 | 0.000 % |
77.23/77.31 c | 98567 | 13659 58422 177368 | 2147483647 98567 206 | 0.000 % |
77.93/78.01 c | 99222 | 13659 58422 177368 | 2147483647 99222 206 | 0.000 % |
78.62/78.74 c | 99943 | 13659 58422 177368 | 2147483647 99943 206 | 0.000 % |
79.53/79.62 c | 100735 | 13659 58422 177368 | 2147483647 100735 206 | 0.000 % |
80.43/80.52 c | 101608 | 13659 58422 177368 | 2147483647 101608 206 | 0.000 % |
81.42/81.52 c | 102566 | 13659 58422 177368 | 2147483647 102566 206 | 0.000 % |
82.43/82.58 c | 103620 | 13659 58422 177368 | 2147483647 103620 207 | 0.000 % |
83.72/83.81 c | 104780 | 13659 58422 177368 | 2147483647 104780 208 | 0.000 % |
83.82/83.93 c | 104880 | 13659 58422 177368 | 2147483647 104880 208 | 0.000 % |
83.92/84.06 c | 104990 | 13659 58422 177368 | 2147483647 104990 208 | 0.000 % |
84.12/84.20 c | 105112 | 13659 58422 177368 | 2147483647 105112 208 | 0.000 % |
84.22/84.37 c | 105245 | 13659 58422 177368 | 2147483647 105245 208 | 0.000 % |
84.42/84.55 c | 105391 | 13659 58422 177368 | 2147483647 105391 207 | 0.000 % |
84.62/84.73 c | 105552 | 13659 58422 177368 | 2147483647 105552 207 | 0.000 % |
84.82/84.96 c | 105729 | 13659 58422 177368 | 2147483647 105729 207 | 0.000 % |
85.02/85.16 c | 105922 | 13659 58422 177368 | 2147483647 105922 207 | 0.000 % |
85.33/85.43 c | 106134 | 13659 58422 177368 | 2147483647 106134 207 | 0.000 % |
85.53/85.70 c | 106367 | 13659 58422 177368 | 2147483647 106367 207 | 0.000 % |
85.82/85.97 c | 106623 | 13659 58422 177368 | 2147483647 106623 207 | 0.000 % |
86.12/86.29 c | 106904 | 13659 58422 177368 | 2147483647 106904 207 | 0.000 % |
86.52/86.62 c | 107213 | 13659 58422 177368 | 2147483647 107213 207 | 0.000 % |
86.92/87.01 c | 107552 | 13659 58422 177368 | 2147483647 107552 207 | 0.000 % |
87.32/87.44 c | 107924 | 13659 58422 177368 | 2147483647 107924 207 | 0.000 % |
87.83/87.91 c | 108334 | 13659 58422 177368 | 2147483647 108334 207 | 0.000 % |
88.22/88.38 c | 108783 | 13659 58422 177368 | 2147483647 108783 207 | 0.000 % |
88.82/88.93 c | 109276 | 13659 58422 177368 | 2147483647 109276 207 | 0.000 % |
89.42/89.51 c | 109818 | 13659 58422 177368 | 2147483647 109818 207 | 0.000 % |
90.02/90.16 c | 110415 | 13659 58422 177368 | 2147483647 110415 207 | 0.000 % |
90.82/90.91 c | 111070 | 13659 58422 177368 | 2147483647 111070 208 | 0.000 % |
91.62/91.73 c | 111790 | 13659 58422 177368 | 2147483647 111790 208 | 0.000 % |
92.41/92.58 c | 112584 | 13659 58422 177368 | 2147483647 112584 208 | 0.000 % |
93.43/93.53 c | 113457 | 13659 58422 177368 | 2147483647 113457 208 | 0.000 % |
94.42/94.59 c | 114415 | 13659 58422 177368 | 2147483647 114415 208 | 0.000 % |
95.72/95.83 c | 115468 | 13659 58422 177368 | 2147483647 115468 208 | 0.000 % |
97.12/97.21 c | 116626 | 13659 58422 177368 | 2147483647 116626 208 | 0.000 % |
98.52/98.70 c | 117902 | 13659 58422 177368 | 2147483647 117902 209 | 0.000 % |
98.72/98.83 c | 118003 | 13659 58422 177368 | 2147483647 118003 209 | 0.000 % |
98.83/98.98 c | 118113 | 13659 58422 177368 | 2147483647 118113 209 | 0.000 % |
99.02/99.14 c | 118234 | 13659 58422 177368 | 2147483647 118234 209 | 0.000 % |
99.22/99.32 c | 118367 | 13659 58422 177368 | 2147483647 118367 209 | 0.000 % |
99.42/99.51 c | 118513 | 13659 58422 177368 | 2147483647 118513 209 | 0.000 % |
99.62/99.74 c | 118673 | 13659 58422 177368 | 2147483647 118673 209 | 0.000 % |
99.82/99.97 c | 118852 | 13659 58422 177368 | 2147483647 118852 209 | 0.000 % |
100.12/100.21 c | 119045 | 13659 58422 177368 | 2147483647 119045 209 | 0.000 % |
100.42/100.51 c | 119257 | 13659 58422 177368 | 2147483647 119257 209 | 0.000 % |
100.62/100.77 c | 119491 | 13659 58422 177368 | 2147483647 119491 208 | 0.000 % |
101.02/101.11 c | 119749 | 13659 58422 177368 | 2147483647 119749 208 | 0.000 % |
101.32/101.48 c | 120030 | 13659 58422 177368 | 2147483647 120030 209 | 0.000 % |
101.72/101.87 c | 120339 | 13659 58422 177368 | 2147483647 120339 209 | 0.000 % |
102.13/102.29 c | 120679 | 13659 58422 177368 | 2147483647 120679 209 | 0.000 % |
102.62/102.74 c | 121051 | 13659 58422 177368 | 2147483647 121051 208 | 0.000 % |
103.12/103.26 c | 121462 | 13659 58422 177368 | 2147483647 121462 208 | 0.000 % |
103.62/103.79 c | 121913 | 13659 58422 177368 | 2147483647 121913 208 | 0.000 % |
104.22/104.38 c | 122407 | 13659 58422 177368 | 2147483647 122407 208 | 0.000 % |
104.92/105.02 c | 122949 | 13659 58422 177368 | 2147483647 122949 208 | 0.000 % |
105.61/105.74 c | 123545 | 13659 58422 177368 | 2147483647 123545 209 | 0.000 % |
106.41/106.50 c | 124202 | 13659 58422 177368 | 2147483647 124202 209 | 0.000 % |
107.21/107.32 c | 124924 | 13659 58422 177368 | 2147483647 124924 209 | 0.000 % |
108.11/108.25 c | 125717 | 13659 58422 177368 | 2147483647 125717 209 | 0.000 % |
109.11/109.29 c | 126590 | 13659 58422 177368 | 2147483647 126590 209 | 0.000 % |
110.21/110.36 c | 127552 | 13659 58422 177368 | 2147483647 127552 209 | 0.000 % |
111.41/111.57 c | 128607 | 13659 58422 177368 | 2147483647 128607 209 | 0.000 % |
112.81/112.93 c | 129767 | 13659 58422 177368 | 2147483647 129767 210 | 0.000 % |
114.32/114.40 c | 131041 | 13659 58422 177368 | 2147483647 131041 210 | 0.000 % |
115.91/116.01 c | 132442 | 13659 58422 177368 | 2147483647 132442 210 | 0.000 % |
116.01/116.14 c | 132543 | 13659 58422 177368 | 2147483647 132543 210 | 0.000 % |
116.21/116.32 c | 132654 | 13659 58422 177368 | 2147483647 132654 210 | 0.000 % |
116.41/116.51 c | 132775 | 13659 58422 177368 | 2147483647 132775 210 | 0.000 % |
116.61/116.71 c | 132908 | 13659 58422 177368 | 2147483647 132908 210 | 0.000 % |
116.81/116.90 c | 133054 | 13659 58422 177368 | 2147483647 133054 210 | 0.000 % |
117.01/117.12 c | 133214 | 13659 58422 177368 | 2147483647 133214 210 | 0.000 % |
117.21/117.35 c | 133391 | 13659 58422 177368 | 2147483647 133391 210 | 0.000 % |
117.51/117.62 c | 133584 | 13659 58422 177368 | 2147483647 133584 210 | 0.000 % |
117.80/117.92 c | 133797 | 13659 58422 177368 | 2147483647 133797 210 | 0.000 % |
118.10/118.25 c | 134030 | 13659 58422 177368 | 2147483647 134030 210 | 0.000 % |
118.50/118.62 c | 134287 | 13659 58422 177368 | 2147483647 134287 210 | 0.000 % |
118.90/119.01 c | 134569 | 13659 58422 177368 | 2147483647 134569 210 | 0.000 % |
119.30/119.45 c | 134878 | 13659 58422 177368 | 2147483647 134878 210 | 0.000 % |
119.70/119.87 c | 135218 | 13659 58422 177368 | 2147483647 135218 210 | 0.000 % |
120.21/120.38 c | 135590 | 13659 58422 177368 | 2147483647 135590 210 | 0.000 % |
120.81/120.92 c | 136001 | 13659 58422 177368 | 2147483647 136001 210 | 0.000 % |
121.41/121.51 c | 136450 | 13659 58422 177368 | 2147483647 136450 210 | 0.000 % |
122.01/122.13 c | 136943 | 13659 58422 177368 | 2147483647 136943 210 | 0.000 % |
122.70/122.82 c | 137487 | 13659 58422 177368 | 2147483647 137487 210 | 0.000 % |
123.50/123.61 c | 138084 | 13659 58422 177368 | 2147483647 138084 210 | 0.000 % |
124.40/124.51 c | 138739 | 13659 58422 177368 | 2147483647 138739 210 | 0.000 % |
125.30/125.44 c | 139460 | 13659 58422 177368 | 2147483647 139460 210 | 0.000 % |
126.31/126.43 c | 140254 | 13659 58422 177368 | 2147483647 140254 211 | 0.000 % |
127.41/127.58 c | 141127 | 13659 58422 177368 | 2147483647 141127 211 | 0.000 % |
128.70/128.87 c | 142087 | 13659 58422 177368 | 2147483647 142087 211 | 0.000 % |
130.00/130.13 c | 143141 | 13659 58422 177368 | 2147483647 143141 212 | 0.000 % |
131.40/131.55 c | 144300 | 13659 58422 177368 | 2147483647 144300 212 | 0.000 % |
133.00/133.16 c | 145573 | 13659 58422 177368 | 2147483647 145573 212 | 0.000 % |
134.80/134.92 c | 146974 | 13659 58422 177368 | 2147483647 146974 213 | 0.000 % |
136.60/136.79 c | 148515 | 13659 58422 177368 | 2147483647 148515 214 | 0.000 % |
136.80/136.97 c | 148616 | 13659 58422 177368 | 2147483647 148616 214 | 0.000 % |
137.00/137.15 c | 148728 | 13659 58422 177368 | 2147483647 148728 214 | 0.000 % |
137.20/137.35 c | 148851 | 13659 58422 177368 | 2147483647 148851 213 | 0.000 % |
137.40/137.55 c | 148984 | 13659 58422 177368 | 2147483647 148984 213 | 0.000 % |
137.70/137.80 c | 149130 | 13659 58422 177368 | 2147483647 149130 213 | 0.000 % |
137.90/138.01 c | 149292 | 13659 58422 177368 | 2147483647 149292 213 | 0.000 % |
138.10/138.25 c | 149469 | 13659 58422 177368 | 2147483647 149469 213 | 0.000 % |
138.40/138.51 c | 149665 | 13659 58422 177368 | 2147483647 149665 213 | 0.000 % |
138.60/138.79 c | 149878 | 13659 58422 177368 | 2147483647 149878 213 | 0.000 % |
138.99/139.12 c | 150111 | 13659 58422 177368 | 2147483647 150111 213 | 0.000 % |
139.29/139.45 c | 150367 | 13659 58422 177368 | 2147483647 150367 213 | 0.000 % |
139.69/139.86 c | 150649 | 13659 58422 177368 | 2147483647 150649 213 | 0.000 % |
140.09/140.29 c | 150958 | 13659 58422 177368 | 2147483647 150958 213 | 0.000 % |
140.60/140.77 c | 151298 | 13659 58422 177368 | 2147483647 151298 213 | 0.000 % |
141.09/141.25 c | 151670 | 13659 58422 177368 | 2147483647 151670 213 | 0.000 % |
141.59/141.80 c | 152079 | 13659 58422 177368 | 2147483647 152079 213 | 0.000 % |
142.30/142.48 c | 152531 | 13659 58422 177368 | 2147483647 152531 213 | 0.000 % |
143.00/143.19 c | 153024 | 13659 58422 177368 | 2147483647 153024 213 | 0.000 % |
143.80/143.91 c | 153567 | 13659 58422 177368 | 2147483647 153567 213 | 0.000 % |
144.60/144.77 c | 154164 | 13659 58422 177368 | 2147483647 154164 213 | 0.000 % |
145.49/145.64 c | 154819 | 13659 58422 177368 | 2147483647 154819 213 | 0.000 % |
146.49/146.61 c | 155539 | 13659 58422 177368 | 2147483647 155539 213 | 0.000 % |
147.49/147.67 c | 156331 | 13659 58422 177368 | 2147483647 156331 213 | 0.000 % |
148.60/148.78 c | 157203 | 13659 58422 177368 | 2147483647 157203 213 | 0.000 % |
149.90/150.07 c | 158164 | 13659 58422 177368 | 2147483647 158164 214 | 0.000 % |
151.20/151.31 c | 159218 | 13659 58422 177368 | 2147483647 159218 214 | 0.000 % |
152.59/152.80 c | 160377 | 13659 58422 177368 | 2147483647 160377 214 | 0.000 % |
154.29/154.45 c | 161651 | 13659 58422 177368 | 2147483647 161651 215 | 0.000 % |
156.10/156.29 c | 163051 | 13659 58422 177368 | 2147483647 163051 215 | 0.000 % |
158.30/158.42 c | 164591 | 13659 58422 177368 | 2147483647 164591 215 | 0.000 % |
160.49/160.68 c | 166287 | 13659 58422 177368 | 2147483647 166287 216 | 0.000 % |
160.69/160.87 c | 166388 | 13659 58422 177368 | 2147483647 166388 216 | 0.000 % |
160.90/161.04 c | 166499 | 13659 58422 177368 | 2147483647 166499 216 | 0.000 % |
161.10/161.24 c | 166620 | 13659 58422 177368 | 2147483647 166620 216 | 0.000 % |
161.30/161.44 c | 166753 | 13659 58422 177368 | 2147483647 166753 216 | 0.000 % |
161.50/161.67 c | 166900 | 13659 58422 177368 | 2147483647 166900 216 | 0.000 % |
161.79/161.91 c | 167060 | 13659 58422 177368 | 2147483647 167060 216 | 0.000 % |
162.09/162.21 c | 167238 | 13659 58422 177368 | 2147483647 167238 216 | 0.000 % |
162.39/162.52 c | 167431 | 13659 58422 177368 | 2147483647 167431 216 | 0.000 % |
162.70/162.84 c | 167644 | 13659 58422 177368 | 2147483647 167644 216 | 0.000 % |
163.09/163.21 c | 167878 | 13659 58422 177368 | 2147483647 167878 216 | 0.000 % |
163.39/163.54 c | 168136 | 13659 58422 177368 | 2147483647 168136 216 | 0.000 % |
163.79/163.96 c | 168417 | 13659 58422 177368 | 2147483647 168417 216 | 0.000 % |
164.29/164.42 c | 168727 | 13659 58422 177368 | 2147483647 168727 216 | 0.000 % |
164.79/164.94 c | 169066 | 13659 58422 177368 | 2147483647 169066 216 | 0.000 % |
165.29/165.48 c | 169438 | 13659 58422 177368 | 2147483647 169438 216 | 0.000 % |
165.89/166.06 c | 169847 | 13659 58422 177368 | 2147483647 169847 216 | 0.000 % |
166.48/166.65 c | 170296 | 13659 58422 177368 | 2147483647 170296 216 | 0.000 % |
167.18/167.32 c | 170789 | 13659 58422 177368 | 2147483647 170789 216 | 0.000 % |
167.88/168.04 c | 171331 | 13659 58422 177368 | 2147483647 171331 216 | 0.000 % |
168.78/168.92 c | 171927 | 13659 58422 177368 | 2147483647 171927 216 | 0.000 % |
169.68/169.87 c | 172583 | 13659 58422 177368 | 2147483647 172583 216 | 0.000 % |
170.79/170.95 c | 173305 | 13659 58422 177368 | 2147483647 173305 216 | 0.000 % |
171.89/172.04 c | 174098 | 13659 58422 177368 | 2147483647 174098 216 | 0.000 % |
173.18/173.38 c | 174970 | 13659 58422 177368 | 2147483647 174970 216 | 0.000 % |
174.58/174.71 c | 175928 | 13659 58422 177368 | 2147483647 175928 216 | 0.000 % |
176.08/176.23 c | 176982 | 13659 58422 177368 | 2147483647 176982 216 | 0.000 % |
177.69/177.89 c | 178140 | 13659 58422 177368 | 2147483647 178140 217 | 0.000 % |
179.58/179.70 c | 179415 | 13659 58422 177368 | 2147483647 179415 217 | 0.000 % |
181.48/181.69 c | 180816 | 13659 58422 177368 | 2147483647 180816 217 | 0.000 % |
183.78/183.95 c | 182357 | 13659 58422 177368 | 2147483647 182357 218 | 0.000 % |
186.18/186.35 c | 184052 | 13659 58422 177368 | 2147483647 184052 219 | 0.000 % |
188.88/189.07 c | 185917 | 13659 58422 177368 | 2147483647 185917 219 | 0.000 % |
189.08/189.26 c | 186017 | 13659 58422 177368 | 2147483647 186017 219 | 0.000 % |
189.28/189.47 c | 186131 | 13659 58422 177368 | 2147483647 186131 219 | 0.000 % |
189.48/189.65 c | 186256 | 13659 58422 177368 | 2147483647 186256 219 | 0.000 % |
189.68/189.86 c | 186390 | 13659 58422 177368 | 2147483647 186390 219 | 0.000 % |
189.98/190.13 c | 186537 | 13659 58422 177368 | 2147483647 186537 219 | 0.000 % |
190.28/190.46 c | 186697 | 13659 58422 177368 | 2147483647 186697 219 | 0.000 % |
190.58/190.74 c | 186873 | 13659 58422 177368 | 2147483647 186873 219 | 0.000 % |
190.87/191.08 c | 187068 | 13659 58422 177368 | 2147483647 187068 219 | 0.000 % |
191.28/191.43 c | 187281 | 13659 58422 177368 | 2147483647 187281 219 | 0.000 % |
191.67/191.82 c | 187514 | 13659 58422 177368 | 2147483647 187514 219 | 0.000 % |
192.07/192.25 c | 187772 | 13659 58422 177368 | 2147483647 187772 219 | 0.000 % |
192.57/192.71 c | 188053 | 13659 58422 177368 | 2147483647 188053 219 | 0.000 % |
193.07/193.25 c | 188363 | 13659 58422 177368 | 2147483647 188363 219 | 0.000 % |
193.67/193.81 c | 188704 | 13659 58422 177368 | 2147483647 188704 219 | 0.000 % |
194.17/194.39 c | 189076 | 13659 58422 177368 | 2147483647 189076 219 | 0.000 % |
194.87/195.08 c | 189485 | 13659 58422 177368 | 2147483647 189485 219 | 0.000 % |
195.58/195.74 c | 189934 | 13659 58422 177368 | 2147483647 189934 219 | 0.000 % |
196.38/196.50 c | 190427 | 13659 58422 177368 | 2147483647 190427 219 | 0.000 % |
197.07/197.27 c | 190969 | 13659 58422 177368 | 2147483647 190969 219 | 0.000 % |
198.07/198.22 c | 191566 | 13659 58422 177368 | 2147483647 191566 219 | 0.000 % |
199.07/199.29 c | 192221 | 13659 58422 177368 | 2147483647 192221 219 | 0.000 % |
200.07/200.29 c | 192941 | 13659 58422 177368 | 2147483647 192941 219 | 0.000 % |
201.38/201.54 c | 193733 | 13659 58422 177368 | 2147483647 193733 219 | 0.000 % |
202.67/202.80 c | 194604 | 13659 58422 177368 | 2147483647 194604 219 | 0.000 % |
204.07/204.23 c | 195563 | 13659 58422 177368 | 2147483647 195563 219 | 0.000 % |
205.66/205.89 c | 196618 | 13659 58422 177368 | 2147483647 196618 220 | 0.000 % |
207.37/207.60 c | 197776 | 13659 58422 177368 | 2147483647 197776 220 | 0.000 % |
209.47/209.61 c | 199050 | 13659 58422 177368 | 2147483647 199050 220 | 0.000 % |
211.56/211.79 c | 200451 | 13659 58422 177368 | 2147483647 200451 220 | 0.000 % |
213.97/214.12 c | 201994 | 13659 58422 177368 | 2147483647 201994 220 | 0.000 % |
216.58/216.71 c | 203688 | 13659 58422 177368 | 2147483647 203688 220 | 0.000 % |
219.37/219.52 c | 205552 | 13659 58422 177368 | 2147483647 205552 220 | 0.000 % |
222.66/222.80 c | 207601 | 13659 58422 177368 | 2147483647 207601 220 | 0.000 % |
222.76/222.97 c | 207701 | 13659 58422 177368 | 2147483647 207701 220 | 0.000 % |
222.96/223.18 c | 207811 | 13659 58422 177368 | 2147483647 207811 220 | 0.000 % |
223.26/223.42 c | 207932 | 13659 58422 177368 | 2147483647 207932 220 | 0.000 % |
223.56/223.70 c | 208066 | 13659 58422 177368 | 2147483647 208066 220 | 0.000 % |
223.76/223.99 c | 208212 | 13659 58422 177368 | 2147483647 208212 220 | 0.000 % |
224.16/224.30 c | 208372 | 13659 58422 177368 | 2147483647 208372 220 | 0.000 % |
224.47/224.65 c | 208550 | 13659 58422 177368 | 2147483647 208550 220 | 0.000 % |
224.87/225.02 c | 208743 | 13659 58422 177368 | 2147483647 208743 220 | 0.000 % |
225.27/225.41 c | 208956 | 13659 58422 177368 | 2147483647 208956 220 | 0.000 % |
225.57/225.79 c | 209191 | 13659 58422 177368 | 2147483647 209191 220 | 0.000 % |
226.07/226.26 c | 209447 | 13659 58422 177368 | 2147483647 209447 220 | 0.000 % |
226.56/226.74 c | 209728 | 13659 58422 177368 | 2147483647 209728 220 | 0.000 % |
227.16/227.30 c | 210038 | 13659 58422 177368 | 2147483647 210038 220 | 0.000 % |
227.76/227.94 c | 210377 | 13659 58422 177368 | 2147483647 210377 220 | 0.000 % |
228.26/228.48 c | 210749 | 13659 58422 177368 | 2147483647 210749 220 | 0.000 % |
228.86/229.09 c | 211159 | 13659 58422 177368 | 2147483647 211159 220 | 0.000 % |
229.66/229.86 c | 211608 | 13659 58422 177368 | 2147483647 211608 220 | 0.000 % |
230.46/230.67 c | 212101 | 13659 58422 177368 | 2147483647 212101 220 | 0.000 % |
231.36/231.58 c | 212644 | 13659 58422 177368 | 2147483647 212644 220 | 0.000 % |
232.36/232.51 c | 213241 | 13659 58422 177368 | 2147483647 213241 220 | 0.000 % |
233.46/233.61 c | 213896 | 13659 58422 177368 | 2147483647 213896 220 | 0.000 % |
234.55/234.78 c | 214618 | 13659 58422 177368 | 2147483647 214618 220 | 0.000 % |
235.86/236.02 c | 215412 | 13659 58422 177368 | 2147483647 215412 220 | 0.000 % |
237.16/237.34 c | 216285 | 13659 58422 177368 | 2147483647 216285 220 | 0.000 % |
238.66/238.90 c | 217243 | 13659 58422 177368 | 2147483647 217243 221 | 0.000 % |
240.35/240.59 c | 218296 | 13659 58422 177368 | 2147483647 218296 221 | 0.000 % |
242.26/242.44 c | 219454 | 13659 58422 177368 | 2147483647 219454 221 | 0.000 % |
244.36/244.56 c | 220727 | 13659 58422 177368 | 2147483647 220727 221 | 0.000 % |
246.65/246.88 c | 222127 | 13659 58422 177368 | 2147483647 222127 221 | 0.000 % |
249.06/249.28 c | 223668 | 13659 58422 177368 | 2147483647 223668 222 | 0.000 % |
251.85/252.02 c | 225363 | 13659 58422 177368 | 2147483647 225363 222 | 0.000 % |
254.95/255.13 c | 227228 | 13659 58422 177368 | 2147483647 227228 223 | 0.000 % |
258.26/258.48 c | 229277 | 13659 58422 177368 | 2147483647 229277 223 | 0.000 % |
261.85/262.08 c | 231530 | 13659 58422 177368 | 2147483647 231530 223 | 0.000 % |
262.15/262.33 c | 231630 | 13659 58422 177368 | 2147483647 231630 223 | 0.000 % |
262.35/262.55 c | 231741 | 13659 58422 177368 | 2147483647 231741 223 | 0.000 % |
262.55/262.79 c | 231863 | 13659 58422 177368 | 2147483647 231863 223 | 0.000 % |
262.85/263.06 c | 231997 | 13659 58422 177368 | 2147483647 231997 223 | 0.000 % |
263.15/263.33 c | 232144 | 13659 58422 177368 | 2147483647 232144 223 | 0.000 % |
263.45/263.67 c | 232304 | 13659 58422 177368 | 2147483647 232304 223 | 0.000 % |
263.86/264.01 c | 232480 | 13659 58422 177368 | 2147483647 232480 223 | 0.000 % |
264.15/264.37 c | 232673 | 13659 58422 177368 | 2147483647 232673 223 | 0.000 % |
264.55/264.78 c | 232886 | 13659 58422 177368 | 2147483647 232886 223 | 0.000 % |
265.05/265.22 c | 233120 | 13659 58422 177368 | 2147483647 233120 223 | 0.000 % |
265.55/265.73 c | 233378 | 13659 58422 177368 | 2147483647 233378 223 | 0.000 % |
266.05/266.25 c | 233660 | 13659 58422 177368 | 2147483647 233660 223 | 0.000 % |
266.65/266.85 c | 233970 | 13659 58422 177368 | 2147483647 233970 223 | 0.000 % |
267.25/267.46 c | 234309 | 13659 58422 177368 | 2147483647 234309 223 | 0.000 % |
267.94/268.11 c | 234684 | 13659 58422 177368 | 2147483647 234684 223 | 0.000 % |
268.64/268.89 c | 235093 | 13659 58422 177368 | 2147483647 235093 223 | 0.000 % |
269.54/269.73 c | 235542 | 13659 58422 177368 | 2147483647 235542 223 | 0.000 % |
270.35/270.59 c | 236036 | 13659 58422 177368 | 2147483647 236036 223 | 0.000 % |
271.45/271.65 c | 236578 | 13659 58422 177368 | 2147483647 236578 223 | 0.000 % |
272.55/272.71 c | 237174 | 13659 58422 177368 | 2147483647 237174 223 | 0.000 % |
273.75/273.90 c | 237829 | 13659 58422 177368 | 2147483647 237829 223 | 0.000 % |
275.04/275.26 c | 238550 | 13659 58422 177368 | 2147483647 238550 223 | 0.000 % |
276.45/276.68 c | 239342 | 13659 58422 177368 | 2147483647 239342 223 | 0.000 % |
278.05/278.21 c | 240215 | 13659 58422 177368 | 2147483647 240215 223 | 0.000 % |
279.64/279.88 c | 241173 | 13659 58422 177368 | 2147483647 241173 223 | 0.000 % |
281.54/281.75 c | 242226 | 13659 58422 177368 | 2147483647 242226 223 | 0.000 % |
283.54/283.77 c | 243384 | 13659 58422 177368 | 2147483647 243384 224 | 0.000 % |
285.84/286.00 c | 244657 | 13659 58422 177368 | 2147483647 244657 224 | 0.000 % |
288.34/288.52 c | 246057 | 13659 58422 177368 | 2147483647 246057 224 | 0.000 % |
291.24/291.41 c | 247597 | 13659 58422 177368 | 2147483647 247597 224 | 0.000 % |
294.24/294.47 c | 249292 | 13659 58422 177368 | 2147483647 249292 224 | 0.000 % |
297.63/297.89 c | 251156 | 13659 58422 177368 | 2147483647 251156 224 | 0.000 % |
301.14/301.31 c | 253205 | 13659 58422 177368 | 2147483647 253205 225 | 0.000 % |
304.93/305.16 c | 255461 | 13659 58422 177368 | 2147483647 255461 225 | 0.000 % |
309.34/309.53 c | 257939 | 13659 58422 177368 | 2147483647 257939 226 | 0.000 % |
309.54/309.79 c | 258041 | 13659 58422 177368 | 2147483647 258041 226 | 0.000 % |
309.84/310.07 c | 258151 | 13659 58422 177368 | 2147483647 258151 226 | 0.000 % |
310.14/310.34 c | 258276 | 13659 58422 177368 | 2147483647 258276 226 | 0.000 % |
310.44/310.68 c | 258409 | 13659 58422 177368 | 2147483647 258409 226 | 0.000 % |
310.74/310.95 c | 258555 | 13659 58422 177368 | 2147483647 258555 226 | 0.000 % |
311.14/311.33 c | 258715 | 13659 58422 177368 | 2147483647 258715 226 | 0.000 % |
311.43/311.69 c | 258891 | 13659 58422 177368 | 2147483647 258891 226 | 0.000 % |
311.93/312.11 c | 259085 | 13659 58422 177368 | 2147483647 259085 226 | 0.000 % |
312.33/312.55 c | 259298 | 13659 58422 177368 | 2147483647 259298 225 | 0.000 % |
312.83/313.07 c | 259532 | 13659 58422 177368 | 2147483647 259532 225 | 0.000 % |
313.43/313.67 c | 259788 | 13659 58422 177368 | 2147483647 259788 225 | 0.000 % |
314.03/314.27 c | 260069 | 13659 58422 177368 | 2147483647 260069 225 | 0.000 % |
314.73/314.96 c | 260378 | 13659 58422 177368 | 2147483647 260378 225 | 0.000 % |
315.44/315.66 c | 260717 | 13659 58422 177368 | 2147483647 260717 225 | 0.000 % |
316.24/316.46 c | 261090 | 13659 58422 177368 | 2147483647 261090 225 | 0.000 % |
317.13/317.33 c | 261499 | 13659 58422 177368 | 2147483647 261499 225 | 0.000 % |
318.13/318.30 c | 261948 | 13659 58422 177368 | 2147483647 261948 225 | 0.000 % |
319.03/319.26 c | 262441 | 13659 58422 177368 | 2147483647 262441 225 | 0.000 % |
320.13/320.35 c | 262983 | 13659 58422 177368 | 2147483647 262983 225 | 0.000 % |
321.33/321.54 c | 263579 | 13659 58422 177368 | 2147483647 263579 225 | 0.000 % |
322.63/322.88 c | 264235 | 13659 58422 177368 | 2147483647 264235 225 | 0.000 % |
324.13/324.34 c | 264957 | 13659 58422 177368 | 2147483647 264957 225 | 0.000 % |
325.62/325.80 c | 265749 | 13659 58422 177368 | 2147483647 265749 225 | 0.000 % |
327.22/327.46 c | 266620 | 13659 58422 177368 | 2147483647 266620 225 | 0.000 % |
329.03/329.27 c | 267579 | 13659 58422 177368 | 2147483647 267579 226 | 0.000 % |
331.13/331.31 c | 268633 | 13659 58422 177368 | 2147483647 268633 226 | 0.000 % |
333.42/333.62 c | 269792 | 13659 58422 177368 | 2147483647 269792 226 | 0.000 % |
335.73/335.92 c | 271067 | 13659 58422 177368 | 2147483647 271067 226 | 0.000 % |
338.32/338.59 c | 272467 | 13659 58422 177368 | 2147483647 272467 227 | 0.000 % |
341.12/341.39 c | 274007 | 13659 58422 177368 | 2147483647 274007 227 | 0.000 % |
344.42/344.66 c | 275702 | 13659 58422 177368 | 2147483647 275702 227 | 0.000 % |
347.82/348.00 c | 277566 | 13659 58422 177368 | 2147483647 277566 227 | 0.000 % |
351.51/351.73 c | 279616 | 13659 58422 177368 | 2147483647 279616 228 | 0.000 % |
355.72/355.96 c | 281871 | 13659 58422 177368 | 2147483647 281871 228 | 0.000 % |
360.31/360.51 c | 284350 | 13659 58422 177368 | 2147483647 284350 229 | 0.000 % |
365.41/365.62 c | 287075 | 13659 58422 177368 | 2147483647 287075 229 | 0.000 % |
365.71/365.92 c | 287175 | 13659 58422 177368 | 2147483647 287175 229 | 0.000 % |
365.91/366.18 c | 287285 | 13659 58422 177368 | 2147483647 287285 229 | 0.000 % |
366.21/366.45 c | 287406 | 13659 58422 177368 | 2147483647 287406 229 | 0.000 % |
366.61/366.80 c | 287539 | 13659 58422 177368 | 2147483647 287539 229 | 0.000 % |
367.01/367.23 c | 287685 | 13659 58422 177368 | 2147483647 287685 229 | 0.000 % |
367.31/367.60 c | 287847 | 13659 58422 177368 | 2147483647 287847 229 | 0.000 % |
367.81/368.04 c | 288023 | 13659 58422 177368 | 2147483647 288023 229 | 0.000 % |
368.21/368.50 c | 288216 | 13659 58422 177368 | 2147483647 288216 229 | 0.000 % |
368.72/368.97 c | 288428 | 13659 58422 177368 | 2147483647 288428 229 | 0.000 % |
369.32/369.54 c | 288663 | 13659 58422 177368 | 2147483647 288663 229 | 0.000 % |
369.92/370.14 c | 288919 | 13659 58422 177368 | 2147483647 288919 229 | 0.000 % |
370.52/370.75 c | 289200 | 13659 58422 177368 | 2147483647 289200 228 | 0.000 % |
371.11/371.36 c | 289510 | 13659 58422 177368 | 2147483647 289510 229 | 0.000 % |
371.91/372.10 c | 289852 | 13659 58422 177368 | 2147483647 289852 229 | 0.000 % |
372.62/372.90 c | 290225 | 13659 58422 177368 | 2147483647 290225 229 | 0.000 % |
373.61/373.86 c | 290634 | 13659 58422 177368 | 2147483647 290634 228 | 0.000 % |
374.61/374.88 c | 291084 | 13659 58422 177368 | 2147483647 291084 228 | 0.000 % |
375.81/376.04 c | 291577 | 13659 58422 177368 | 2147483647 291577 228 | 0.000 % |
377.01/377.22 c | 292120 | 13659 58422 177368 | 2147483647 292120 228 | 0.000 % |
378.31/378.53 c | 292716 | 13659 58422 177368 | 2147483647 292716 228 | 0.000 % |
379.71/379.93 c | 293373 | 13659 58422 177368 | 2147483647 293373 228 | 0.000 % |
381.21/381.45 c | 294093 | 13659 58422 177368 | 2147483647 294093 228 | 0.000 % |
382.91/383.18 c | 294885 | 13659 58422 177368 | 2147483647 294885 228 | 0.000 % |
384.71/384.96 c | 295756 | 13659 58422 177368 | 2147483647 295756 228 | 0.000 % |
386.70/386.95 c | 296714 | 13659 58422 177368 | 2147483647 296714 228 | 0.000 % |
388.91/389.10 c | 297767 | 13659 58422 177368 | 2147483647 297767 228 | 0.000 % |
391.11/391.37 c | 298925 | 13659 58422 177368 | 2147483647 298925 228 | 0.000 % |
393.80/394.00 c | 300201 | 13659 58422 177368 | 2147483647 300201 228 | 0.000 % |
396.70/396.92 c | 301604 | 13659 58422 177368 | 2147483647 301604 228 | 0.000 % |
399.90/400.11 c | 303144 | 13659 58422 177368 | 2147483647 303144 229 | 0.000 % |
403.30/403.52 c | 304838 | 13659 58422 177368 | 2147483647 304838 229 | 0.000 % |
406.80/407.07 c | 306701 | 13659 58422 177368 | 2147483647 306701 229 | 0.000 % |
410.90/411.11 c | 308750 | 13659 58422 177368 | 2147483647 308750 229 | 0.000 % |
415.51/415.73 c | 311003 | 13659 58422 177368 | 2147483647 311003 230 | 0.000 % |
420.49/420.71 c | 313482 | 13659 58422 177368 | 2147483647 313482 230 | 0.000 % |
426.29/426.59 c | 316208 | 13659 58422 177368 | 2147483647 316208 230 | 0.000 % |
432.40/432.66 c | 319206 | 13659 58422 177368 | 2147483647 319206 231 | 0.000 % |
432.70/432.91 c | 319308 | 13659 58422 177368 | 2147483647 319308 231 | 0.000 % |
432.90/433.16 c | 319418 | 13659 58422 177368 | 2147483647 319418 231 | 0.000 % |
433.20/433.45 c | 319539 | 13659 58422 177368 | 2147483647 319539 231 | 0.000 % |
433.59/433.85 c | 319674 | 13659 58422 177368 | 2147483647 319674 231 | 0.000 % |
433.99/434.25 c | 319820 | 13659 58422 177368 | 2147483647 319820 231 | 0.000 % |
434.39/434.69 c | 319982 | 13659 58422 177368 | 2147483647 319982 231 | 0.000 % |
434.89/435.10 c | 320158 | 13659 58422 177368 | 2147483647 320158 231 | 0.000 % |
435.30/435.57 c | 320351 | 13659 58422 177368 | 2147483647 320351 231 | 0.000 % |
435.79/436.09 c | 320566 | 13659 58422 177368 | 2147483647 320566 231 | 0.000 % |
436.50/436.72 c | 320799 | 13659 58422 177368 | 2147483647 320799 231 | 0.000 % |
437.09/437.37 c | 321055 | 13659 58422 177368 | 2147483647 321055 231 | 0.000 % |
437.89/438.11 c | 321336 | 13659 58422 177368 | 2147483647 321336 231 | 0.000 % |
438.69/438.93 c | 321648 | 13659 58422 177368 | 2147483647 321648 231 | 0.000 % |
439.40/439.70 c | 321988 | 13659 58422 177368 | 2147483647 321988 231 | 0.000 % |
440.39/440.63 c | 322360 | 13659 58422 177368 | 2147483647 322360 231 | 0.000 % |
441.39/441.63 c | 322769 | 13659 58422 177368 | 2147483647 322769 231 | 0.000 % |
442.39/442.63 c | 323219 | 13659 58422 177368 | 2147483647 323219 231 | 0.000 % |
443.59/443.82 c | 323712 | 13659 58422 177368 | 2147483647 323712 231 | 0.000 % |
444.79/445.09 c | 324255 | 13659 58422 177368 | 2147483647 324255 231 | 0.000 % |
446.30/446.50 c | 324851 | 13659 58422 177368 | 2147483647 324851 231 | 0.000 % |
447.69/447.94 c | 325506 | 13659 58422 177368 | 2147483647 325506 231 | 0.000 % |
449.29/449.54 c | 326227 | 13659 58422 177368 | 2147483647 326227 231 | 0.000 % |
450.89/451.13 c | 327019 | 13659 58422 177368 | 2147483647 327019 231 | 0.000 % |
452.69/452.97 c | 327890 | 13659 58422 177368 | 2147483647 327890 231 | 0.000 % |
454.89/455.19 c | 328848 | 13659 58422 177368 | 2147483647 328848 231 | 0.000 % |
457.39/457.69 c | 329904 | 13659 58422 177368 | 2147483647 329904 231 | 0.000 % |
460.09/460.34 c | 331062 | 13659 58422 177368 | 2147483647 331062 231 | 0.000 % |
463.08/463.31 c | 332338 | 13659 58422 177368 | 2147483647 332338 231 | 0.000 % |
465.98/466.25 c | 333738 | 13659 58422 177368 | 2147483647 333738 231 | 0.000 % |
469.18/469.49 c | 335279 | 13659 58422 177368 | 2147483647 335279 231 | 0.000 % |
472.89/473.17 c | 336973 | 13659 58422 177368 | 2147483647 336973 231 | 0.000 % |
477.18/477.47 c | 338836 | 13659 58422 177368 | 2147483647 338836 231 | 0.000 % |
481.78/482.00 c | 340885 | 13659 58422 177368 | 2147483647 340885 232 | 0.000 % |
486.68/486.95 c | 343138 | 13659 58422 177368 | 2147483647 343138 232 | 0.000 % |
491.98/492.28 c | 345616 | 13659 58422 177368 | 2147483647 345616 232 | 0.000 % |
497.87/498.13 c | 348341 | 13659 58422 177368 | 2147483647 348341 233 | 0.000 % |
504.38/504.70 c | 351338 | 13659 58422 177368 | 2147483647 351338 234 | 0.000 % |
511.48/511.78 c | 354637 | 13659 58422 177368 | 2147483647 354637 235 | 0.000 % |
511.78/512.03 c | 354737 | 13659 58422 177368 | 2147483647 354737 235 | 0.000 % |
512.08/512.34 c | 354847 | 13659 58422 177368 | 2147483647 354847 235 | 0.000 % |
512.48/512.72 c | 354968 | 13659 58422 177368 | 2147483647 354968 235 | 0.000 % |
512.87/513.14 c | 355102 | 13659 58422 177368 | 2147483647 355102 235 | 0.000 % |
513.27/513.60 c | 355248 | 13659 58422 177368 | 2147483647 355248 235 | 0.000 % |
513.77/514.02 c | 355408 | 13659 58422 177368 | 2147483647 355408 235 | 0.000 % |
514.27/514.50 c | 355584 | 13659 58422 177368 | 2147483647 355584 235 | 0.000 % |
514.87/515.10 c | 355778 | 13659 58422 177368 | 2147483647 355778 235 | 0.000 % |
515.47/515.71 c | 355990 | 13659 58422 177368 | 2147483647 355990 235 | 0.000 % |
516.07/516.30 c | 356223 | 13659 58422 177368 | 2147483647 356223 235 | 0.000 % |
516.67/516.99 c | 356479 | 13659 58422 177368 | 2147483647 356479 235 | 0.000 % |
517.37/517.68 c | 356761 | 13659 58422 177368 | 2147483647 356761 234 | 0.000 % |
518.27/518.53 c | 357070 | 13659 58422 177368 | 2147483647 357070 234 | 0.000 % |
519.27/519.52 c | 357413 | 13659 58422 177368 | 2147483647 357413 234 | 0.000 % |
520.17/520.50 c | 357785 | 13659 58422 177368 | 2147483647 357785 234 | 0.000 % |
521.27/521.54 c | 358194 | 13659 58422 177368 | 2147483647 358194 234 | 0.000 % |
522.47/522.72 c | 358643 | 13659 58422 177368 | 2147483647 358643 234 | 0.000 % |
523.57/523.89 c | 359136 | 13659 58422 177368 | 2147483647 359136 234 | 0.000 % |
524.97/525.28 c | 359679 | 13659 58422 177368 | 2147483647 359679 234 | 0.000 % |
526.47/526.78 c | 360275 | 13659 58422 177368 | 2147483647 360275 234 | 0.000 % |
528.07/528.30 c | 360930 | 13659 58422 177368 | 2147483647 360930 234 | 0.000 % |
529.77/530.09 c | 361653 | 13659 58422 177368 | 2147483647 361653 234 | 0.000 % |
531.76/532.00 c | 362446 | 13659 58422 177368 | 2147483647 362446 234 | 0.000 % |
533.76/534.07 c | 363317 | 13659 58422 177368 | 2147483647 363317 234 | 0.000 % |
536.27/536.51 c | 364276 | 13659 58422 177368 | 2147483647 364276 234 | 0.000 % |
538.87/539.10 c | 365329 | 13659 58422 177368 | 2147483647 365329 234 | 0.000 % |
541.56/541.80 c | 366487 | 13659 58422 177368 | 2147483647 366487 234 | 0.000 % |
544.56/544.88 c | 367762 | 13659 58422 177368 | 2147483647 367762 234 | 0.000 % |
547.86/548.10 c | 369162 | 13659 58422 177368 | 2147483647 369162 234 | 0.000 % |
551.56/551.80 c | 370702 | 13659 58422 177368 | 2147483647 370702 234 | 0.000 % |
555.56/555.86 c | 372398 | 13659 58422 177368 | 2147483647 372398 234 | 0.000 % |
559.96/560.22 c | 374262 | 13659 58422 177368 | 2147483647 374262 234 | 0.000 % |
564.66/564.91 c | 376313 | 13659 58422 177368 | 2147483647 376313 234 | 0.000 % |
569.85/570.18 c | 378567 | 13659 58422 177368 | 2147483647 378567 235 | 0.000 % |
575.86/576.19 c | 381047 | 13659 58422 177368 | 2147483647 381047 235 | 0.000 % |
582.45/582.77 c | 383772 | 13659 58422 177368 | 2147483647 383772 235 | 0.000 % |
589.35/589.69 c | 386771 | 13659 58422 177368 | 2147483647 386771 235 | 0.000 % |
597.15/597.42 c | 390067 | 13659 58422 177368 | 2147483647 390067 236 | 0.000 % |
605.55/605.89 c | 393693 | 13659 58422 177368 | 2147483647 393693 236 | 0.000 % |
605.95/606.21 c | 393793 | 13659 58422 177368 | 2147483647 393793 236 | 0.000 % |
606.25/606.57 c | 393903 | 13659 58422 177368 | 2147483647 393903 236 | 0.000 % |
606.65/606.95 c | 394026 | 13659 58422 177368 | 2147483647 394026 236 | 0.000 % |
607.15/607.42 c | 394162 | 13659 58422 177368 | 2147483647 394162 236 | 0.000 % |
607.55/607.89 c | 394308 | 13659 58422 177368 | 2147483647 394308 236 | 0.000 % |
608.05/608.38 c | 394469 | 13659 58422 177368 | 2147483647 394469 236 | 0.000 % |
608.64/608.93 c | 394645 | 13659 58422 177368 | 2147483647 394645 236 | 0.000 % |
609.24/609.52 c | 394840 | 13659 58422 177368 | 2147483647 394840 236 | 0.000 % |
609.84/610.19 c | 395053 | 13659 58422 177368 | 2147483647 395053 236 | 0.000 % |
610.65/610.96 c | 395287 | 13659 58422 177368 | 2147483647 395287 236 | 0.000 % |
611.45/611.71 c | 395545 | 13659 58422 177368 | 2147483647 395545 236 | 0.000 % |
612.25/612.54 c | 395828 | 13659 58422 177368 | 2147483647 395828 236 | 0.000 % |
612.95/613.28 c | 396138 | 13659 58422 177368 | 2147483647 396138 236 | 0.000 % |
613.94/614.21 c | 396478 | 13659 58422 177368 | 2147483647 396478 236 | 0.000 % |
615.04/615.34 c | 396850 | 13659 58422 177368 | 2147483647 396850 236 | 0.000 % |
616.14/616.42 c | 397260 | 13659 58422 177368 | 2147483647 397260 236 | 0.000 % |
617.45/617.71 c | 397709 | 13659 58422 177368 | 2147483647 397709 236 | 0.000 % |
618.85/619.13 c | 398204 | 13659 58422 177368 | 2147483647 398204 236 | 0.000 % |
620.34/620.61 c | 398746 | 13659 58422 177368 | 2147483647 398746 236 | 0.000 % |
621.94/622.27 c | 399342 | 13659 58422 177368 | 2147483647 399342 236 | 0.000 % |
623.64/624.00 c | 399999 | 13659 58422 177368 | 2147483647 399999 236 | 0.000 % |
625.54/625.83 c | 400719 | 13659 58422 177368 | 2147483647 400719 236 | 0.000 % |
627.53/627.83 c | 401514 | 13659 58422 177368 | 2147483647 401514 236 | 0.000 % |
629.74/630.02 c | 402387 | 13659 58422 177368 | 2147483647 402387 236 | 0.000 % |
632.33/632.65 c | 403347 | 13659 58422 177368 | 2147483647 403347 236 | 0.000 % |
635.24/635.56 c | 404400 | 13659 58422 177368 | 2147483647 404400 236 | 0.000 % |
638.33/638.65 c | 405558 | 13659 58422 177368 | 2147483647 405558 236 | 0.000 % |
641.83/642.11 c | 406832 | 13659 58422 177368 | 2147483647 406832 236 | 0.000 % |
645.44/645.72 c | 408234 | 13659 58422 177368 | 2147483647 408234 236 | 0.000 % |
649.43/649.77 c | 409774 | 13659 58422 177368 | 2147483647 409774 236 | 0.000 % |
653.73/654.09 c | 411468 | 13659 58422 177368 | 2147483647 411468 236 | 0.000 % |
658.64/658.99 c | 413334 | 13659 58422 177368 | 2147483647 413334 236 | 0.000 % |
663.53/663.88 c | 415383 | 13659 58422 177368 | 2147483647 415383 236 | 0.000 % |
669.33/669.62 c | 417637 | 13659 58422 177368 | 2147483647 417637 236 | 0.000 % |
675.23/675.57 c | 420115 | 13659 58422 177368 | 2147483647 420115 236 | 0.000 % |
682.22/682.50 c | 422841 | 13659 58422 177368 | 2147483647 422841 236 | 0.000 % |
690.02/690.36 c | 425840 | 13659 58422 177368 | 2147483647 425840 236 | 0.000 % |
698.52/698.81 c | 429137 | 13659 58422 177368 | 2147483647 429137 236 | 0.000 % |
707.82/708.14 c | 432763 | 13659 58422 177368 | 2147483647 432763 237 | 0.000 % |
717.71/718.03 c | 436750 | 13659 58422 177368 | 2147483647 436750 237 | 0.000 % |
718.02/718.38 c | 436852 | 13659 58422 177368 | 2147483647 436852 237 | 0.000 % |
718.41/718.74 c | 436964 | 13659 58422 177368 | 2147483647 436964 237 | 0.000 % |
718.91/719.20 c | 437086 | 13659 58422 177368 | 2147483647 437086 237 | 0.000 % |
719.41/719.72 c | 437222 | 13659 58422 177368 | 2147483647 437222 237 | 0.000 % |
719.91/720.25 c | 437370 | 13659 58422 177368 | 2147483647 437370 237 | 0.000 % |
720.41/720.78 c | 437530 | 13659 58422 177368 | 2147483647 437530 237 | 0.000 % |
721.01/721.35 c | 437707 | 13659 58422 177368 | 2147483647 437707 237 | 0.000 % |
721.61/721.97 c | 437900 | 13659 58422 177368 | 2147483647 437900 237 | 0.000 % |
722.42/722.71 c | 438112 | 13659 58422 177368 | 2147483647 438112 237 | 0.000 % |
723.12/723.44 c | 438346 | 13659 58422 177368 | 2147483647 438346 237 | 0.000 % |
723.92/724.26 c | 438602 | 13659 58422 177368 | 2147483647 438602 237 | 0.000 % |
724.81/725.14 c | 438884 | 13659 58422 177368 | 2147483647 438884 237 | 0.000 % |
725.81/726.15 c | 439193 | 13659 58422 177368 | 2147483647 439193 237 | 0.000 % |
726.82/727.17 c | 439533 | 13659 58422 177368 | 2147483647 439533 237 | 0.000 % |
728.02/728.30 c | 439906 | 13659 58422 177368 | 2147483647 439906 237 | 0.000 % |
729.31/729.68 c | 440315 | 13659 58422 177368 | 2147483647 440315 237 | 0.000 % |
730.71/731.06 c | 440765 | 13659 58422 177368 | 2147483647 440765 237 | 0.000 % |
732.21/732.50 c | 441260 | 13659 58422 177368 | 2147483647 441260 237 | 0.000 % |
733.81/734.14 c | 441803 | 13659 58422 177368 | 2147483647 441803 237 | 0.000 % |
735.61/735.99 c | 442401 | 13659 58422 177368 | 2147483647 442401 237 | 0.000 % |
737.41/737.79 c | 443056 | 13659 58422 177368 | 2147483647 443056 237 | 0.000 % |
739.71/740.06 c | 443777 | 13659 58422 177368 | 2147483647 443777 237 | 0.000 % |
742.01/742.38 c | 444571 | 13659 58422 177368 | 2147483647 444571 237 | 0.000 % |
744.61/744.97 c | 445442 | 13659 58422 177368 | 2147483647 445442 237 | 0.000 % |
747.30/747.65 c | 446401 | 13659 58422 177368 | 2147483647 446401 237 | 0.000 % |
750.31/750.62 c | 447454 | 13659 58422 177368 | 2147483647 447454 237 | 0.000 % |
753.51/753.86 c | 448612 | 13659 58422 177368 | 2147483647 448612 237 | 0.000 % |
757.11/757.41 c | 449885 | 13659 58422 177368 | 2147483647 449885 237 | 0.000 % |
761.21/761.53 c | 451285 | 13659 58422 177368 | 2147483647 451285 237 | 0.000 % |
765.60/765.95 c | 452825 | 13659 58422 177368 | 2147483647 452825 237 | 0.000 % |
770.10/770.44 c | 454520 | 13659 58422 177368 | 2147483647 454520 237 | 0.000 % |
775.60/775.92 c | 456383 | 13659 58422 177368 | 2147483647 456383 237 | 0.000 % |
781.00/781.32 c | 458432 | 13659 58422 177368 | 2147483647 458432 237 | 0.000 % |
787.20/787.60 c | 460685 | 13659 58422 177368 | 2147483647 460685 237 | 0.000 % |
793.90/794.23 c | 463164 | 13659 58422 177368 | 2147483647 463164 238 | 0.000 % |
801.30/801.62 c | 465889 | 13659 58422 177368 | 2147483647 465889 238 | 0.000 % |
808.59/808.98 c | 468886 | 13659 58422 177368 | 2147483647 468886 238 | 0.000 % |
817.69/818.01 c | 472183 | 13659 58422 177368 | 2147483647 472183 238 | 0.000 % |
827.58/827.92 c | 475811 | 13659 58422 177368 | 2147483647 475811 239 | 0.000 % |
838.58/838.92 c | 479799 | 13659 58422 177368 | 2147483647 479799 239 | 0.000 % |
850.99/851.36 c | 484184 | 13659 58422 177368 | 2147483647 484184 239 | 0.000 % |
851.38/851.73 c | 484287 | 13659 58422 177368 | 2147483647 484287 239 | 0.000 % |
851.78/852.12 c | 484397 | 13659 58422 177368 | 2147483647 484397 239 | 0.000 % |
852.28/852.62 c | 484520 | 13659 58422 177368 | 2147483647 484520 239 | 0.000 % |
852.88/853.20 c | 484653 | 13659 58422 177368 | 2147483647 484653 239 | 0.000 % |
853.48/853.84 c | 484799 | 13659 58422 177368 | 2147483647 484799 239 | 0.000 % |
854.08/854.42 c | 484961 | 13659 58422 177368 | 2147483647 484961 239 | 0.000 % |
854.68/855.05 c | 485137 | 13659 58422 177368 | 2147483647 485137 239 | 0.000 % |
855.38/855.79 c | 485332 | 13659 58422 177368 | 2147483647 485332 239 | 0.000 % |
856.18/856.54 c | 485545 | 13659 58422 177368 | 2147483647 485545 239 | 0.000 % |
857.17/857.53 c | 485778 | 13659 58422 177368 | 2147483647 485778 239 | 0.000 % |
858.07/858.41 c | 486037 | 13659 58422 177368 | 2147483647 486037 239 | 0.000 % |
859.08/859.43 c | 486320 | 13659 58422 177368 | 2147483647 486320 239 | 0.000 % |
860.08/860.43 c | 486629 | 13659 58422 177368 | 2147483647 486629 239 | 0.000 % |
861.18/861.59 c | 486969 | 13659 58422 177368 | 2147483647 486969 239 | 0.000 % |
862.48/862.85 c | 487342 | 13659 58422 177368 | 2147483647 487342 239 | 0.000 % |
863.78/864.13 c | 487752 | 13659 58422 177368 | 2147483647 487752 239 | 0.000 % |
865.18/865.55 c | 488202 | 13659 58422 177368 | 2147483647 488202 239 | 0.000 % |
866.78/867.16 c | 488695 | 13659 58422 177368 | 2147483647 488695 239 | 0.000 % |
868.68/869.01 c | 489237 | 13659 58422 177368 | 2147483647 489237 239 | 0.000 % |
870.57/870.91 c | 489835 | 13659 58422 177368 | 2147483647 489835 239 | 0.000 % |
872.57/872.91 c | 490490 | 13659 58422 177368 | 2147483647 490490 239 | 0.000 % |
874.77/875.16 c | 491210 | 13659 58422 177368 | 2147483647 491210 239 | 0.000 % |
877.27/877.63 c | 492004 | 13659 58422 177368 | 2147483647 492004 238 | 0.000 % |
879.97/880.40 c | 492875 | 13659 58422 177368 | 2147483647 492875 238 | 0.000 % |
882.97/883.35 c | 493833 | 13659 58422 177368 | 2147483647 493833 238 | 0.000 % |
886.17/886.54 c | 494887 | 13659 58422 177368 | 2147483647 494887 238 | 0.000 % |
889.67/890.05 c | 496047 | 13659 58422 177368 | 2147483647 496047 239 | 0.000 % |
893.67/894.07 c | 497321 | 13659 58422 177368 | 2147483647 497321 239 | 0.000 % |
897.86/898.24 c | 498722 | 13659 58422 177368 | 2147483647 498722 239 | 0.000 % |
902.47/902.88 c | 500263 | 13659 58422 177368 | 2147483647 500263 239 | 0.000 % |
907.96/908.36 c | 501958 | 13659 58422 177368 | 2147483647 501958 239 | 0.000 % |
913.27/913.66 c | 503825 | 13659 58422 177368 | 2147483647 503825 239 | 0.000 % |
919.26/919.61 c | 505875 | 13659 58422 177368 | 2147483647 505875 239 | 0.000 % |
926.26/926.64 c | 508128 | 13659 58422 177368 | 2147483647 508128 239 | 0.000 % |
933.06/933.48 c | 510607 | 13659 58422 177368 | 2147483647 510607 239 | 0.000 % |
940.66/941.06 c | 513332 | 13659 58422 177368 | 2147483647 513332 240 | 0.000 % |
948.65/949.08 c | 516329 | 13659 58422 177368 | 2147483647 516329 240 | 0.000 % |
958.85/959.29 c | 519626 | 13659 58422 177368 | 2147483647 519626 240 | 0.000 % |
969.55/969.97 c | 523253 | 13659 58422 177368 | 2147483647 523253 240 | 0.000 % |
981.64/982.00 c | 527240 | 13659 58422 177368 | 2147483647 527240 240 | 0.000 % |
995.14/995.53 c | 531625 | 13659 58422 177368 | 2147483647 531625 240 | 0.000 % |
1009.74/1010.19 c | 536448 | 13659 58422 177368 | 2147483647 536448 241 | 0.000 % |
1010.14/1010.59 c | 536548 | 13659 58422 177368 | 2147483647 536548 241 | 0.000 % |
1010.84/1011.20 c | 536659 | 13659 58422 177368 | 2147483647 536659 241 | 0.000 % |
1011.24/1011.64 c | 536781 | 13659 58422 177368 | 2147483647 536781 241 | 0.000 % |
1011.74/1012.17 c | 536916 | 13659 58422 177368 | 2147483647 536916 241 | 0.000 % |
1012.44/1012.83 c | 537064 | 13659 58422 177368 | 2147483647 537064 241 | 0.000 % |
1013.13/1013.54 c | 537225 | 13659 58422 177368 | 2147483647 537225 241 | 0.000 % |
1013.74/1014.18 c | 537402 | 13659 58422 177368 | 2147483647 537402 241 | 0.000 % |
1014.53/1014.92 c | 537597 | 13659 58422 177368 | 2147483647 537597 241 | 0.000 % |
1015.44/1015.82 c | 537809 | 13659 58422 177368 | 2147483647 537809 240 | 0.000 % |
1016.34/1016.75 c | 538042 | 13659 58422 177368 | 2147483647 538042 240 | 0.000 % |
1017.44/1017.82 c | 538298 | 13659 58422 177368 | 2147483647 538298 240 | 0.000 % |
1018.54/1019.00 c | 538580 | 13659 58422 177368 | 2147483647 538580 240 | 0.000 % |
1019.83/1020.20 c | 538889 | 13659 58422 177368 | 2147483647 538889 240 | 0.000 % |
1021.13/1021.50 c | 539228 | 13659 58422 177368 | 2147483647 539228 240 | 0.000 % |
1022.54/1022.95 c | 539602 | 13659 58422 177368 | 2147483647 539602 240 | 0.000 % |
1024.03/1024.44 c | 540014 | 13659 58422 177368 | 2147483647 540014 240 | 0.000 % |
1025.73/1026.13 c | 540463 | 13659 58422 177368 | 2147483647 540463 240 | 0.000 % |
1027.33/1027.78 c | 540957 | 13659 58422 177368 | 2147483647 540957 240 | 0.000 % |
1029.13/1029.59 c | 541499 | 13659 58422 177368 | 2147483647 541499 240 | 0.000 % |
1031.34/1031.77 c | 542095 | 13659 58422 177368 | 2147483647 542095 240 | 0.000 % |
1033.83/1034.20 c | 542752 | 13659 58422 177368 | 2147483647 542752 240 | 0.000 % |
1036.22/1036.63 c | 543472 | 13659 58422 177368 | 2147483647 543472 240 | 0.000 % |
1038.83/1039.26 c | 544265 | 13659 58422 177368 | 2147483647 544265 240 | 0.000 % |
1041.72/1042.14 c | 545137 | 13659 58422 177368 | 2147483647 545137 240 | 0.000 % |
1044.82/1045.25 c | 546096 | 13659 58422 177368 | 2147483647 546096 240 | 0.000 % |
1048.53/1048.97 c | 547151 | 13659 58422 177368 | 2147483647 547151 240 | 0.000 % |
1052.12/1052.60 c | 548310 | 13659 58422 177368 | 2147483647 548310 240 | 0.000 % |
1056.63/1057.04 c | 549584 | 13659 58422 177368 | 2147483647 549584 240 | 0.000 % |
1061.32/1061.71 c | 550985 | 13659 58422 177368 | 2147483647 550985 240 | 0.000 % |
1066.22/1066.69 c | 552525 | 13659 58422 177368 | 2147483647 552525 240 | 0.000 % |
1071.81/1072.25 c | 554221 | 13659 58422 177368 | 2147483647 554221 240 | 0.000 % |
1077.72/1078.19 c | 556085 | 13659 58422 177368 | 2147483647 556085 240 | 0.000 % |
1084.81/1085.28 c | 558135 | 13659 58422 177368 | 2147483647 558135 240 | 0.000 % |
1092.11/1092.54 c | 560388 | 13659 58422 177368 | 2147483647 560388 240 | 0.000 % |
1100.11/1100.55 c | 562869 | 13659 58422 177368 | 2147483647 562869 240 | 0.000 % |
1109.00/1109.45 c | 565594 | 13659 58422 177368 | 2147483647 565594 241 | 0.000 % |
1119.11/1119.54 c | 568591 | 13659 58422 177368 | 2147483647 568591 241 | 0.000 % |
1129.70/1130.10 c | 571887 | 13659 58422 177368 | 2147483647 571887 241 | 0.000 % |
1141.30/1141.77 c | 575513 | 13659 58422 177368 | 2147483647 575513 241 | 0.000 % |
1154.50/1154.99 c | 579501 | 13659 58422 177368 | 2147483647 579501 242 | 0.000 % |
1169.09/1169.52 c | 583886 | 13659 58422 177368 | 2147483647 583886 242 | 0.000 % |
1184.88/1185.35 c | 588709 | 13659 58422 177368 | 2147483647 588709 243 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832735-1242787149/watcher-1832735-1242787149 -o /tmp/evaluation-result-1832735-1242787149/solver-1832735-1242787149 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832735-1242787149.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 12295
/proc/meminfo: memFree=1902848/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306748085 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12295/statm: 1339 237 197 169 0 50 0
[startup+0.035108 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 12295
/proc/meminfo: memFree=1902848/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306748085 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12295/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102114 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 12295
/proc/meminfo: memFree=1902848/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306748085 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12295/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302146 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 12295
/proc/meminfo: memFree=1902848/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 5356
[startup+0.701178 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 12295
/proc/meminfo: memFree=1902848/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 5356
[startup+1.50123 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 12301
/proc/meminfo: memFree=1895408/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=7560 CPUtime=1.22
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 1735 0 0 0 121 1 0 0 25 0 1 0 306748113 7741440 1721 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 1890 1721 77 171 0 1717 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12916
[startup+3.10137 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 12301
/proc/meminfo: memFree=1893552/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=10068 CPUtime=2.81
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 2364 0 0 0 280 1 0 0 25 0 1 0 306748113 10309632 2350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 2517 2350 77 171 0 2344 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15424
[startup+6.30165 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 12301
/proc/meminfo: memFree=1888560/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=14856 CPUtime=6.01
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 3547 0 0 0 599 2 0 0 25 0 1 0 306748113 15212544 3533 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 3714 3533 77 171 0 3541 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20212
[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 12301
/proc/meminfo: memFree=1879152/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=23704 CPUtime=12.4
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 5765 0 0 0 1234 6 0 0 25 0 1 0 306748113 24272896 5751 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 5926 5751 77 171 0 5753 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 29060
[startup+25.5023 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 12301
/proc/meminfo: memFree=1863152/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=39132 CPUtime=25.19
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 9611 0 0 0 2509 10 0 0 25 0 1 0 306748113 40071168 9597 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 9783 9597 77 171 0 9610 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 44488
[startup+51.1025 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 12301
/proc/meminfo: memFree=1836656/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=65788 CPUtime=50.78
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 16279 0 0 0 5061 17 0 0 25 0 1 0 306748113 67366912 16265 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 16447 16265 77 171 0 16274 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 71144
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 12301
/proc/meminfo: memFree=1792496/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=109264 CPUtime=101.96
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 27128 0 0 0 10167 29 0 0 25 0 1 0 306748113 111886336 27114 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 27316 27114 77 171 0 27143 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 114620
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12301
/proc/meminfo: memFree=1748144/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=153768 CPUtime=161.93
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 38233 0 0 0 16152 41 0 0 25 0 1 0 306748113 157458432 38219 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 38442 38219 77 171 0 38269 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 159124
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12303
/proc/meminfo: memFree=1708848/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=192444 CPUtime=221.9
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 47964 0 0 0 22140 50 0 0 25 0 1 0 306748113 197062656 47950 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 48111 47950 77 171 0 47938 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 197800
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12303
/proc/meminfo: memFree=1674096/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=227568 CPUtime=281.88
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 56675 0 0 0 28128 60 0 0 25 0 1 0 306748113 233029632 56661 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 56892 56661 77 171 0 56719 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 232924
[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12303
/proc/meminfo: memFree=1640816/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=260312 CPUtime=341.86
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 64884 0 0 0 34118 68 0 0 25 0 1 0 306748113 266559488 64870 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 65078 64870 77 171 0 64905 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 265668
[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12303
/proc/meminfo: memFree=1611440/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=289880 CPUtime=401.84
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 72308 0 0 0 40108 76 0 0 25 0 1 0 306748113 296837120 72294 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 72470 72294 77 171 0 72297 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 295236
[startup+462.303 s]
################
# More data... #
################
/proc/12301/statm: 93447 93193 77 171 0 93274 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 379144
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12303
/proc/meminfo: memFree=1502896/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=397416 CPUtime=641.77
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 99148 0 0 0 64069 108 0 0 25 0 1 0 306748113 406953984 99134 1992294400 134512640 135215339 4294956240 18446744073709551615 134538068 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 99354 99134 77 171 0 99181 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 402772
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12303
/proc/meminfo: memFree=1479472/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=420916 CPUtime=701.76
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 105037 0 0 0 70061 115 0 0 25 0 1 0 306748113 431017984 105023 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 105229 105023 77 171 0 105056 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 426272
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12303
/proc/meminfo: memFree=1457712/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=442304 CPUtime=761.75
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 110384 0 0 0 76053 122 0 0 25 0 1 0 306748113 452919296 110370 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 110576 110370 77 171 0 110403 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 447660
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12303
/proc/meminfo: memFree=1434160/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=466844 CPUtime=821.73
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 116318 0 0 0 82044 129 0 0 25 0 1 0 306748113 478048256 116304 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 116711 116304 77 171 0 116538 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 472200
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12303
/proc/meminfo: memFree=1414256/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=486248 CPUtime=881.71
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 121205 0 0 0 88036 135 0 0 25 0 1 0 306748113 497917952 121191 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 121562 121191 77 171 0 121389 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 491604
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12303
/proc/meminfo: memFree=1392176/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=508428 CPUtime=941.69
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 126762 0 0 0 94027 142 0 0 25 0 1 0 306748113 520630272 126748 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 127107 126748 77 171 0 126934 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 513784
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12303
/proc/meminfo: memFree=1370864/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=529284 CPUtime=1001.68
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 131996 0 0 0 100019 149 0 0 25 0 1 0 306748113 541986816 131982 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 132321 131982 77 171 0 132148 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 534640
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12303
/proc/meminfo: memFree=1354352/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=545784 CPUtime=1061.66
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 136133 0 0 0 106011 155 0 0 25 0 1 0 306748113 558882816 136119 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 136446 136119 77 171 0 136273 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 551140
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12303
/proc/meminfo: memFree=1335472/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=564396 CPUtime=1121.64
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 140805 0 0 0 112004 160 0 0 25 0 1 0 306748113 577941504 140791 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 141099 140791 77 171 0 140926 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 569752
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12303
/proc/meminfo: memFree=1312944/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=587100 CPUtime=1181.63
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 146502 0 0 0 117997 166 0 0 25 0 1 0 306748113 601190400 146488 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 146775 146488 77 171 0 146602 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 592456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12303
/proc/meminfo: memFree=1306224/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=593304 CPUtime=1199.83
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 148059 0 0 0 119815 168 0 0 25 0 1 0 306748113 607543296 148045 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 148326 148045 77 171 0 148153 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 598660
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12303
/proc/meminfo: memFree=1306224/2055920 swapFree=4179340/4192956
[pid=12295] ppid=12293 vsize=5356 CPUtime=0.26
/proc/12295/stat : 12295 (SatELiteGTI) S 12293 12295 11637 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306748085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12295/statm: 1339 239 197 169 0 50 0
[pid=12301] ppid=12295 vsize=593304 CPUtime=1199.83
/proc/12301/stat : 12301 (minisat_static) R 12295 12295 11637 0 -1 4194304 148059 0 0 0 119815 168 0 0 25 0 1 0 306748113 607543296 148045 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12301/statm: 148326 148045 77 171 0 148153 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 598660
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12295 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=253961
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=19996
# CPU time returned by wait4() is 0.273957
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.09
CPU user time (s): 1198.4
CPU system time (s): 1.69
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 598660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.253961
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2405
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= 15
involuntary context switches= 8
runsolver used 1.44578 second user time and 3.02254 second system time
The end
Begin job on node31 at 2009-05-20 04:39:09
IDJOB=1832735
IDBENCH=70331
IDSOLVER=671
FILE ID=node31/1832735-1242787149
PBS_JOBID= 9322302
Free space on /tmp= 66232 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/14000/unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832735-1242787149/watcher-1832735-1242787149 -o /tmp/evaluation-result-1832735-1242787149/solver-1832735-1242787149 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832735-1242787149.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 01285fb91a1e47f6ebc0bc6eca4b49ed
RANDOM SEED=554256022
node31.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1903336 kB
Buffers: 27832 kB
Cached: 77392 kB
SwapCached: 7180 kB
Active: 33648 kB
Inactive: 81244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1903336 kB
SwapTotal: 4192956 kB
SwapFree: 4179340 kB
Dirty: 2680 kB
Writeback: 0 kB
Mapped: 14312 kB
Slab: 23516 kB
Committed_AS: 1001216 kB
PageTables: 1468 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= 66228 MiB
End job on node31 at 2009-05-20 04:59:12