0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 63345 188200 | 19003 0 0 nan | 0.000 % |
0.00/0.60 c | 0 | 62548 268903 | -- 0 -- -- | -- | -797/80703
0.00/0.60 c ==============================================================================
0.00/0.60 c Result : #vars: 636 #clauses: 62548 #literals: 268903
0.00/0.60 c CPU time: 0.59191 s
0.00/0.60 c ==============================================================================
0.00/0.68 c This is MiniSat 2.0 beta
0.00/0.68 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.68 c ============================[ Problem Statistics ]=============================
0.00/0.68 c | |
0.00/0.68 c | Number of variables: 636 |
0.00/0.68 c | Number of clauses: 62548 |
0.67/0.71 c | Parsing time: 0.03 s |
0.67/0.72 c ============================[ Search Statistics ]==============================
0.67/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.67/0.72 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.67/0.72 c ===============================================================================
0.67/0.72 c | 0 | 636 62548 268903 | 20849 0 nan | 0.000 % |
0.67/0.75 c | 100 | 636 62548 268903 | 20849 100 33 | 0.000 % |
0.67/0.78 c | 201 | 636 62548 268903 | 20849 201 30 | 0.000 % |
0.67/0.81 c | 301 | 636 62548 268903 | 20849 301 25 | 0.000 % |
0.67/0.84 c | 414 | 636 62548 268903 | 20849 414 23 | 0.000 % |
0.67/0.87 c | 516 | 636 62548 268903 | 20849 516 22 | 0.000 % |
0.67/0.91 c | 626 | 636 62548 268903 | 20849 626 24 | 0.000 % |
0.67/0.95 c | 747 | 636 62548 268903 | 20849 747 24 | 0.000 % |
0.67/0.98 c | 849 | 636 62548 268903 | 20849 849 23 | 0.000 % |
0.98/1.01 c | 959 | 636 62548 268903 | 20849 959 23 | 0.002 % |
0.98/1.05 c | 1083 | 636 62548 268903 | 20849 1083 22 | 0.000 % |
0.98/1.08 c | 1217 | 636 62548 268903 | 20849 1217 24 | 0.000 % |
1.08/1.11 c | 1317 | 636 62548 268903 | 20849 1317 24 | 0.000 % |
1.08/1.15 c | 1428 | 636 62548 268903 | 20849 1428 23 | 0.000 % |
1.08/1.19 c | 1550 | 636 62548 268903 | 20849 1550 23 | 0.000 % |
1.17/1.23 c | 1683 | 636 62548 268903 | 20849 1683 24 | 0.000 % |
1.17/1.28 c | 1830 | 636 62548 268903 | 20849 1830 23 | 0.000 % |
1.27/1.31 c | 1932 | 636 62548 268903 | 20849 1932 23 | 0.000 % |
1.27/1.34 c | 2045 | 636 62548 268903 | 20849 2045 23 | 0.002 % |
1.27/1.38 c | 2166 | 636 62548 268903 | 20849 2166 23 | 0.000 % |
1.37/1.42 c | 2300 | 636 62548 268903 | 20849 2300 23 | 0.000 % |
1.37/1.47 c | 2447 | 636 62548 268903 | 20849 2447 24 | 0.000 % |
1.47/1.52 c | 2607 | 636 62548 268903 | 20849 2607 23 | 0.000 % |
1.47/1.55 c | 2707 | 636 62548 268903 | 20849 2707 23 | 0.000 % |
1.47/1.58 c | 2817 | 636 62548 268903 | 20849 2817 23 | 0.002 % |
1.57/1.62 c | 2938 | 636 62548 268903 | 20849 2938 23 | 0.002 % |
1.57/1.66 c | 3071 | 636 62548 268903 | 20849 3071 22 | 0.000 % |
1.67/1.70 c | 3217 | 636 62548 268903 | 20849 3217 23 | 0.000 % |
1.67/1.75 c | 3378 | 636 62548 268903 | 20849 3378 24 | 0.000 % |
1.77/1.81 c | 3556 | 636 62548 268903 | 20849 3556 24 | 0.000 % |
1.77/1.85 c | 3657 | 636 62548 268903 | 20849 3657 24 | 0.000 % |
1.77/1.88 c | 3767 | 636 62548 268903 | 20849 3767 24 | 0.000 % |
1.87/1.93 c | 3889 | 636 62548 268903 | 20849 3889 23 | 0.000 % |
1.87/1.97 c | 4024 | 636 62548 268903 | 20849 4024 23 | 0.000 % |
1.97/2.02 c | 4170 | 636 62548 268903 | 20849 4170 23 | 0.000 % |
1.97/2.08 c | 4333 | 636 62548 268903 | 20849 4333 23 | 0.000 % |
2.07/2.14 c | 4510 | 636 62548 268903 | 20849 4510 23 | 0.002 % |
2.17/2.21 c | 4704 | 636 62548 268903 | 20849 4704 23 | 0.000 % |
2.17/2.25 c | 4804 | 636 62548 268903 | 20849 4804 23 | 0.000 % |
2.17/2.29 c | 4915 | 636 62548 268903 | 20849 4915 23 | 0.000 % |
2.27/2.33 c | 5041 | 636 62548 268903 | 20849 5041 23 | 0.000 % |
2.27/2.38 c | 5174 | 636 62548 268903 | 20849 5174 23 | 0.000 % |
2.37/2.42 c | 5320 | 636 62548 268903 | 20849 5320 23 | 0.000 % |
2.37/2.46 c | 5483 | 636 62548 268903 | 20849 5483 24 | 0.000 % |
2.48/2.50 c | 5659 | 636 62548 268903 | 20849 5659 24 | 0.000 % |
2.48/2.55 c | 5852 | 636 62548 268903 | 20849 5852 24 | 0.000 % |
2.58/2.61 c | 6065 | 636 62548 268903 | 20849 6065 25 | 0.000 % |
2.58/2.66 c | 6166 | 636 62548 268903 | 20849 6166 25 | 0.000 % |
2.68/2.70 c | 6276 | 636 62548 268903 | 20849 6276 25 | 0.000 % |
2.68/2.75 c | 6402 | 636 62548 268903 | 20849 6402 24 | 0.000 % |
2.68/2.80 c | 6537 | 636 62548 268903 | 20849 6537 24 | 0.000 % |
2.78/2.85 c | 6685 | 636 62548 268903 | 20849 6685 25 | 0.000 % |
2.88/2.91 c | 6845 | 636 62548 268903 | 20849 6845 25 | 0.000 % |
2.88/2.98 c | 7027 | 636 62548 268903 | 20849 7027 25 | 0.000 % |
2.98/3.06 c | 7221 | 636 62548 268903 | 20849 7221 25 | 0.000 % |
3.08/3.14 c | 7434 | 636 62548 268903 | 20849 7434 25 | 0.000 % |
3.18/3.23 c | 7670 | 636 62548 268903 | 20849 7670 25 | 0.000 % |
3.18/3.28 c | 7771 | 636 62548 268903 | 20849 7771 25 | 0.000 % |
3.28/3.33 c | 7881 | 636 62548 268903 | 20849 7881 24 | 0.000 % |
3.28/3.38 c | 8002 | 636 62548 268903 | 20849 8002 24 | 0.000 % |
3.38/3.42 c | 8138 | 636 62548 268903 | 20849 8138 25 | 0.000 % |
3.38/3.47 c | 8285 | 636 62548 268903 | 20849 8285 25 | 0.000 % |
3.48/3.54 c | 8447 | 636 62548 268903 | 20849 8447 25 | 0.000 % |
3.58/3.61 c | 8624 | 636 62548 268903 | 20849 8624 25 | 0.000 % |
3.58/3.68 c | 8817 | 636 62548 268903 | 20849 8817 24 | 0.000 % |
3.68/3.75 c | 9029 | 636 62548 268903 | 20849 9029 24 | 0.000 % |
3.78/3.83 c | 9262 | 636 62548 268903 | 20849 9262 25 | 0.000 % |
3.88/3.94 c | 9521 | 636 62548 268903 | 20849 9521 25 | 0.000 % |
3.88/3.98 c | 9623 | 636 62548 268903 | 20849 9623 25 | 0.000 % |
3.98/4.04 c | 9735 | 636 62548 268903 | 20849 9735 25 | 0.000 % |
3.98/4.09 c | 9859 | 636 62548 268903 | 20849 9859 25 | 0.000 % |
4.08/4.14 c | 9993 | 636 62548 268903 | 20849 9993 25 | 0.000 % |
4.18/4.21 c | 10145 | 636 62548 268903 | 2147483647 10145 25 | 0.000 % |
4.18/4.28 c | 10305 | 636 62548 268903 | 2147483647 10305 25 | 0.000 % |
4.28/4.35 c | 10481 | 636 62548 268903 | 2147483647 10481 25 | 0.000 % |
4.38/4.42 c | 10677 | 636 62548 268903 | 2147483647 10677 25 | 0.000 % |
4.47/4.50 c | 10889 | 636 62548 268903 | 2147483647 10889 25 | 0.000 % |
4.47/4.59 c | 11125 | 636 62548 268903 | 2147483647 11125 24 | 0.002 % |
4.68/4.70 c | 11384 | 636 62548 268903 | 2147483647 11384 24 | 0.000 % |
4.78/4.81 c | 11667 | 636 62548 268903 | 2147483647 11667 24 | 0.000 % |
4.78/4.85 c | 11767 | 636 62548 268903 | 2147483647 11767 24 | 0.000 % |
4.78/4.89 c | 11878 | 636 62548 268903 | 2147483647 11878 24 | 0.002 % |
4.87/4.94 c | 11999 | 636 62548 268903 | 2147483647 11999 24 | 0.000 % |
4.87/5.00 c | 12132 | 636 62548 268903 | 2147483647 12132 24 | 0.000 % |
4.97/5.05 c | 12279 | 636 62548 268903 | 2147483647 12279 24 | 0.000 % |
5.07/5.11 c | 12439 | 636 62548 268903 | 2147483647 12439 24 | 0.000 % |
5.07/5.19 c | 12617 | 636 62548 268903 | 2147483647 12617 24 | 0.000 % |
5.17/5.26 c | 12811 | 636 62548 268903 | 2147483647 12811 24 | 0.000 % |
5.27/5.35 c | 13024 | 636 62548 268903 | 2147483647 13024 24 | 0.000 % |
5.38/5.46 c | 13257 | 636 62548 268903 | 2147483647 13257 24 | 0.000 % |
5.48/5.57 c | 13518 | 636 62548 268903 | 2147483647 13518 24 | 0.000 % |
5.57/5.68 c | 13802 | 636 62548 268903 | 2147483647 13802 24 | 0.000 % |
5.77/5.82 c | 14114 | 636 62548 268903 | 2147483647 14114 24 | 0.000 % |
5.77/5.86 c | 14214 | 636 62548 268903 | 2147483647 14214 24 | 0.000 % |
5.87/5.91 c | 14324 | 636 62548 268903 | 2147483647 14324 24 | 0.000 % |
5.87/5.96 c | 14445 | 636 62548 268903 | 2147483647 14445 24 | 0.000 % |
5.97/6.02 c | 14579 | 636 62548 268903 | 2147483647 14579 24 | 0.000 % |
5.97/6.08 c | 14726 | 636 62548 268903 | 2147483647 14726 24 | 0.000 % |
6.07/6.14 c | 14886 | 636 62548 268903 | 2147483647 14886 24 | 0.000 % |
6.17/6.21 c | 15064 | 636 62548 268903 | 2147483647 15064 24 | 0.000 % |
6.17/6.29 c | 15257 | 636 62548 268903 | 2147483647 15257 24 | 0.000 % |
6.27/6.37 c | 15469 | 636 62548 268903 | 2147483647 15469 24 | 0.000 % |
6.37/6.48 c | 15705 | 636 62548 268903 | 2147483647 15705 24 | 0.002 % |
6.47/6.58 c | 15961 | 636 62548 268903 | 2147483647 15961 24 | 0.000 % |
6.57/6.69 c | 16242 | 636 62548 268903 | 2147483647 16242 24 | 0.000 % |
6.77/6.82 c | 16551 | 636 62548 268903 | 2147483647 16551 24 | 0.002 % |
6.87/6.98 c | 16892 | 636 62548 268903 | 2147483647 16892 24 | 0.000 % |
6.97/7.03 c | 16992 | 636 62548 268903 | 2147483647 16992 24 | 0.000 % |
6.97/7.07 c | 17102 | 636 62548 268903 | 2147483647 17102 24 | 0.000 % |
7.07/7.12 c | 17223 | 636 62548 268903 | 2147483647 17223 24 | 0.000 % |
7.07/7.18 c | 17357 | 636 62548 268903 | 2147483647 17357 24 | 0.000 % |
7.17/7.24 c | 17503 | 636 62548 268903 | 2147483647 17503 24 | 0.000 % |
7.27/7.30 c | 17665 | 636 62548 268903 | 2147483647 17665 25 | 0.000 % |
7.27/7.36 c | 17841 | 636 62548 268903 | 2147483647 17841 25 | 0.001 % |
7.37/7.45 c | 18037 | 636 62548 268903 | 2147483647 18037 25 | 0.000 % |
7.47/7.57 c | 18253 | 636 62548 268903 | 2147483647 18253 25 | 0.000 % |
7.57/7.68 c | 18486 | 636 62548 268903 | 2147483647 18486 25 | 0.000 % |
7.77/7.80 c | 18743 | 636 62548 268903 | 2147483647 18743 25 | 0.000 % |
7.87/7.94 c | 19025 | 636 62548 268903 | 2147483647 19025 25 | 0.000 % |
8.07/8.12 c | 19334 | 636 62548 268903 | 2147483647 19334 25 | 0.000 % |
8.28/8.32 c | 19676 | 636 62548 268903 | 2147483647 19676 25 | 0.000 % |
8.48/8.52 c | 20049 | 636 62548 268903 | 2147483647 20049 25 | 0.000 % |
8.48/8.57 c | 20150 | 636 62548 268903 | 2147483647 20150 25 | 0.000 % |
8.58/8.63 c | 20262 | 636 62548 268903 | 2147483647 20262 25 | 0.000 % |
8.58/8.69 c | 20385 | 636 62548 268903 | 2147483647 20385 25 | 0.000 % |
8.68/8.75 c | 20521 | 636 62548 268903 | 2147483647 20521 25 | 0.000 % |
8.78/8.84 c | 20667 | 636 62548 268903 | 2147483647 20667 25 | 0.000 % |
8.87/8.93 c | 20827 | 636 62548 268903 | 2147483647 20827 25 | 0.000 % |
8.97/9.02 c | 21006 | 636 62548 268903 | 2147483647 21006 25 | 0.000 % |
9.07/9.12 c | 21199 | 636 62548 268903 | 2147483647 21199 25 | 0.000 % |
9.17/9.23 c | 21413 | 636 62548 268903 | 2147483647 21413 25 | 0.000 % |
9.27/9.35 c | 21647 | 636 62548 268903 | 2147483647 21647 25 | 0.000 % |
9.37/9.47 c | 21906 | 636 62548 268903 | 2147483647 21906 25 | 0.000 % |
9.57/9.63 c | 22188 | 636 62548 268903 | 2147483647 22188 25 | 0.000 % |
9.67/9.78 c | 22497 | 636 62548 268903 | 2147483647 22497 25 | 0.000 % |
9.88/9.96 c | 22838 | 636 62548 268903 | 2147483647 22838 25 | 0.000 % |
10.08/10.17 c | 23211 | 636 62548 268903 | 2147483647 23211 25 | 0.000 % |
10.28/10.39 c | 23622 | 636 62548 268903 | 2147483647 23622 25 | 0.002 % |
10.37/10.44 c | 23722 | 636 62548 268903 | 2147483647 23722 25 | 0.000 % |
10.37/10.49 c | 23832 | 636 62548 268903 | 2147483647 23832 25 | 0.000 % |
10.47/10.54 c | 23955 | 636 62548 268903 | 2147483647 23955 24 | 0.000 % |
10.57/10.61 c | 24088 | 636 62548 268903 | 2147483647 24088 24 | 0.000 % |
10.67/10.72 c | 24234 | 636 62548 268903 | 2147483647 24234 25 | 0.000 % |
10.77/10.81 c | 24394 | 636 62548 268903 | 2147483647 24394 25 | 0.000 % |
10.77/10.90 c | 24570 | 636 62548 268903 | 2147483647 24570 24 | 0.000 % |
10.98/11.01 c | 24763 | 636 62548 268903 | 2147483647 24763 25 | 0.000 % |
11.07/11.11 c | 24977 | 636 62548 268903 | 2147483647 24977 25 | 0.000 % |
11.17/11.25 c | 25211 | 636 62548 268903 | 2147483647 25211 25 | 0.000 % |
11.27/11.39 c | 25469 | 636 62548 268903 | 2147483647 25469 25 | 0.000 % |
11.47/11.53 c | 25751 | 636 62548 268903 | 2147483647 25751 25 | 0.000 % |
11.67/11.70 c | 26062 | 636 62548 268903 | 2147483647 26062 25 | 0.000 % |
11.87/11.92 c | 26401 | 636 62548 268903 | 2147483647 26401 25 | 0.000 % |
12.07/12.13 c | 26774 | 636 62548 268903 | 2147483647 26774 25 | 0.000 % |
12.27/12.30 c | 27183 | 636 62548 268903 | 2147483647 27183 25 | 0.000 % |
12.57/12.61 c | 27632 | 636 62548 268903 | 2147483647 27632 25 | 0.000 % |
12.57/12.68 c | 27733 | 636 62548 268903 | 2147483647 27733 25 | 0.000 % |
12.67/12.74 c | 27844 | 636 62548 268903 | 2147483647 27844 25 | 0.000 % |
12.77/12.82 c | 27967 | 636 62548 268903 | 2147483647 27967 25 | 0.000 % |
12.87/12.90 c | 28103 | 636 62548 268903 | 2147483647 28103 25 | 0.000 % |
12.87/12.99 c | 28249 | 636 62548 268903 | 2147483647 28249 25 | 0.000 % |
12.97/13.08 c | 28415 | 636 62548 268903 | 2147483647 28415 25 | 0.000 % |
13.07/13.19 c | 28593 | 636 62548 268903 | 2147483647 28593 25 | 0.000 % |
13.27/13.33 c | 28788 | 636 62548 268903 | 2147483647 28788 25 | 0.000 % |
13.37/13.44 c | 29000 | 636 62548 268903 | 2147483647 29000 25 | 0.000 % |
13.57/13.60 c | 29234 | 636 62548 268903 | 2147483647 29234 25 | 0.000 % |
13.67/13.75 c | 29492 | 636 62548 268903 | 2147483647 29492 25 | 0.000 % |
13.87/13.94 c | 29773 | 636 62548 268903 | 2147483647 29773 25 | 0.000 % |
14.07/14.12 c | 30083 | 636 62548 268903 | 2147483647 30083 25 | 0.000 % |
14.27/14.37 c | 30422 | 636 62548 268903 | 2147483647 30422 25 | 0.000 % |
14.57/14.60 c | 30794 | 636 62548 268903 | 2147483647 30794 25 | 0.000 % |
14.77/14.85 c | 31204 | 636 62548 268903 | 2147483647 31204 25 | 0.000 % |
15.07/15.13 c | 31657 | 636 62548 268903 | 2147483647 31657 25 | 0.001 % |
15.37/15.45 c | 32153 | 636 62548 268903 | 2147483647 32153 25 | 0.000 % |
15.47/15.51 c | 32253 | 636 62548 268903 | 2147483647 32253 25 | 0.000 % |
15.47/15.57 c | 32364 | 636 62548 268903 | 2147483647 32364 25 | 0.000 % |
15.57/15.65 c | 32486 | 636 62548 268903 | 2147483647 32486 25 | 0.000 % |
15.67/15.75 c | 32623 | 636 62548 268903 | 2147483647 32623 25 | 0.000 % |
15.77/15.85 c | 32770 | 636 62548 268903 | 2147483647 32770 25 | 0.000 % |
15.87/15.96 c | 32931 | 636 62548 268903 | 2147483647 32931 25 | 0.000 % |
15.97/16.08 c | 33107 | 636 62548 268903 | 2147483647 33107 25 | 0.000 % |
16.07/16.19 c | 33305 | 636 62548 268903 | 2147483647 33305 25 | 0.000 % |
16.27/16.32 c | 33519 | 636 62548 268903 | 2147483647 33519 25 | 0.000 % |
16.47/16.50 c | 33752 | 636 62548 268903 | 2147483647 33752 25 | 0.000 % |
16.57/16.68 c | 34008 | 636 62548 268903 | 2147483647 34008 25 | 0.000 % |
16.77/16.89 c | 34289 | 636 62548 268903 | 2147483647 34289 25 | 0.001 % |
17.07/17.16 c | 34598 | 636 62548 268903 | 2147483647 34598 25 | 0.000 % |
17.37/17.44 c | 34938 | 636 62548 268903 | 2147483647 34938 25 | 0.000 % |
17.67/17.71 c | 35313 | 636 62548 268903 | 2147483647 35313 25 | 0.000 % |
17.97/18.00 c | 35722 | 636 62548 268903 | 2147483647 35722 25 | 0.000 % |
18.27/18.30 c | 36171 | 636 62548 268903 | 2147483647 36171 25 | 0.000 % |
18.57/18.66 c | 36667 | 636 62548 268903 | 2147483647 36667 25 | 0.000 % |
18.96/19.04 c | 37211 | 636 62548 268903 | 2147483647 37211 25 | 0.000 % |
19.06/19.10 c | 37314 | 636 62548 268903 | 2147483647 37314 25 | 0.000 % |
19.06/19.17 c | 37424 | 636 62548 268903 | 2147483647 37424 25 | 0.000 % |
19.17/19.25 c | 37546 | 636 62548 268903 | 2147483647 37546 25 | 0.002 % |
19.27/19.37 c | 37679 | 636 62548 268903 | 2147483647 37679 25 | 0.000 % |
19.37/19.47 c | 37826 | 636 62548 268903 | 2147483647 37826 25 | 0.000 % |
19.47/19.59 c | 37988 | 636 62548 268903 | 2147483647 37988 25 | 0.000 % |
19.68/19.70 c | 38164 | 636 62548 268903 | 2147483647 38164 25 | 0.000 % |
19.78/19.84 c | 38359 | 636 62548 268903 | 2147483647 38359 25 | 0.000 % |
19.97/20.01 c | 38572 | 636 62548 268903 | 2147483647 38572 25 | 0.000 % |
20.07/20.20 c | 38806 | 636 62548 268903 | 2147483647 38806 25 | 0.000 % |
20.27/20.38 c | 39064 | 636 62548 268903 | 2147483647 39064 25 | 0.000 % |
20.57/20.65 c | 39345 | 636 62548 268903 | 2147483647 39345 25 | 0.000 % |
20.88/20.91 c | 39655 | 636 62548 268903 | 2147483647 39655 25 | 0.000 % |
21.07/21.19 c | 39996 | 636 62548 268903 | 2147483647 39996 25 | 0.000 % |
21.37/21.47 c | 40368 | 636 62548 268903 | 2147483647 40368 25 | 0.001 % |
21.67/21.77 c | 40777 | 636 62548 268903 | 2147483647 40777 25 | 0.000 % |
22.07/22.12 c | 41229 | 636 62548 268903 | 2147483647 41229 25 | 0.000 % |
22.37/22.47 c | 41725 | 636 62548 268903 | 2147483647 41725 25 | 0.000 % |
22.77/22.83 c | 42267 | 636 62548 268903 | 2147483647 42267 25 | 0.000 % |
23.17/23.26 c | 42864 | 636 62548 268903 | 2147483647 42864 25 | 0.000 % |
23.27/23.33 c | 42964 | 636 62548 268903 | 2147483647 42964 25 | 0.002 % |
23.37/23.41 c | 43077 | 636 62548 268903 | 2147483647 43077 25 | 0.000 % |
23.47/23.52 c | 43200 | 636 62548 268903 | 2147483647 43200 25 | 0.000 % |
23.57/23.61 c | 43334 | 636 62548 268903 | 2147483647 43334 25 | 0.000 % |
23.67/23.71 c | 43480 | 636 62548 268903 | 2147483647 43480 25 | 0.000 % |
23.77/23.82 c | 43643 | 636 62548 268903 | 2147483647 43643 25 | 0.000 % |
23.87/23.94 c | 43820 | 636 62548 268903 | 2147483647 43820 25 | 0.000 % |
23.97/24.07 c | 44014 | 636 62548 268903 | 2147483647 44014 25 | 0.002 % |
24.17/24.27 c | 44228 | 636 62548 268903 | 2147483647 44228 25 | 0.000 % |
24.37/24.43 c | 44462 | 636 62548 268903 | 2147483647 44462 25 | 0.000 % |
24.57/24.62 c | 44718 | 636 62548 268903 | 2147483647 44718 25 | 0.000 % |
24.77/24.82 c | 44999 | 636 62548 268903 | 2147483647 44999 25 | 0.000 % |
24.97/25.05 c | 45310 | 636 62548 268903 | 2147483647 45310 25 | 0.000 % |
25.17/25.30 c | 45651 | 636 62548 268903 | 2147483647 45651 25 | 0.000 % |
25.47/25.59 c | 46025 | 636 62548 268903 | 2147483647 46025 25 | 0.000 % |
25.87/25.96 c | 46434 | 636 62548 268903 | 2147483647 46434 25 | 0.000 % |
26.27/26.36 c | 46883 | 636 62548 268903 | 2147483647 46883 25 | 0.000 % |
26.67/26.76 c | 47383 | 636 62548 268903 | 2147483647 47383 25 | 0.000 % |
27.06/27.18 c | 47925 | 636 62548 268903 | 2147483647 47925 25 | 0.000 % |
27.56/27.60 c | 48521 | 636 62548 268903 | 2147483647 48521 25 | 0.000 % |
28.16/28.21 c | 49177 | 636 62548 268903 | 2147483647 49177 25 | 0.000 % |
28.26/28.31 c | 49278 | 636 62548 268903 | 2147483647 49278 25 | 0.000 % |
28.26/28.38 c | 49388 | 636 62548 268903 | 2147483647 49388 25 | 0.000 % |
28.47/28.50 c | 49509 | 636 62548 268903 | 2147483647 49509 25 | 0.000 % |
28.57/28.64 c | 49642 | 636 62548 268903 | 2147483647 49642 25 | 0.000 % |
28.66/28.79 c | 49788 | 636 62548 268903 | 2147483647 49788 25 | 0.000 % |
28.86/28.91 c | 49951 | 636 62548 268903 | 2147483647 49951 25 | 0.000 % |
28.96/29.06 c | 50127 | 636 62548 268903 | 2147483647 50127 25 | 0.000 % |
29.16/29.21 c | 50320 | 636 62548 268903 | 2147483647 50320 25 | 0.000 % |
29.26/29.37 c | 50532 | 636 62548 268903 | 2147483647 50532 25 | 0.000 % |
29.56/29.62 c | 50765 | 636 62548 268903 | 2147483647 50765 25 | 0.000 % |
29.76/29.81 c | 51023 | 636 62548 268903 | 2147483647 51023 25 | 0.000 % |
30.06/30.15 c | 51307 | 636 62548 268903 | 2147483647 51307 25 | 0.000 % |
30.36/30.41 c | 51616 | 636 62548 268903 | 2147483647 51616 25 | 0.000 % |
30.56/30.70 c | 51959 | 636 62548 268903 | 2147483647 51959 25 | 0.000 % |
30.96/31.01 c | 52333 | 636 62548 268903 | 2147483647 52333 25 | 0.000 % |
31.26/31.36 c | 52742 | 636 62548 268903 | 2147483647 52742 25 | 0.000 % |
31.66/31.74 c | 53192 | 636 62548 268903 | 2147483647 53192 25 | 0.000 % |
32.07/32.10 c | 53686 | 636 62548 268903 | 2147483647 53686 25 | 0.000 % |
32.47/32.54 c | 54228 | 636 62548 268903 | 2147483647 54228 25 | 0.000 % |
32.87/33.00 c | 54826 | 636 62548 268903 | 2147483647 54826 25 | 0.000 % |
33.47/33.56 c | 55481 | 636 62548 268903 | 2147483647 55481 25 | 0.000 % |
34.07/34.14 c | 56201 | 636 62548 268903 | 2147483647 56201 25 | 0.000 % |
34.16/34.23 c | 56301 | 636 62548 268903 | 2147483647 56301 25 | 0.000 % |
34.26/34.33 c | 56414 | 636 62548 268903 | 2147483647 56414 25 | 0.000 % |
34.36/34.42 c | 56535 | 636 62548 268903 | 2147483647 56535 25 | 0.000 % |
34.46/34.59 c | 56669 | 636 62548 268903 | 2147483647 56669 25 | 0.000 % |
34.66/34.73 c | 56816 | 636 62548 268903 | 2147483647 56816 25 | 0.000 % |
34.76/34.87 c | 56976 | 636 62548 268903 | 2147483647 56976 25 | 0.000 % |
34.96/35.02 c | 57154 | 636 62548 268903 | 2147483647 57154 25 | 0.000 % |
35.07/35.17 c | 57350 | 636 62548 268903 | 2147483647 57350 25 | 0.000 % |
35.26/35.36 c | 57568 | 636 62548 268903 | 2147483647 57568 25 | 0.000 % |
35.46/35.60 c | 57803 | 636 62548 268903 | 2147483647 57803 25 | 0.000 % |
35.76/35.88 c | 58062 | 636 62548 268903 | 2147483647 58062 25 | 0.000 % |
36.06/36.16 c | 58343 | 636 62548 268903 | 2147483647 58343 25 | 0.000 % |
36.36/36.45 c | 58655 | 636 62548 268903 | 2147483647 58655 25 | 0.000 % |
36.66/36.77 c | 58999 | 636 62548 268903 | 2147483647 58999 25 | 0.000 % |
37.06/37.11 c | 59374 | 636 62548 268903 | 2147483647 59374 25 | 0.000 % |
37.37/37.46 c | 59783 | 636 62548 268903 | 2147483647 59783 25 | 0.000 % |
37.76/37.83 c | 60233 | 636 62548 268903 | 2147483647 60233 25 | 0.000 % |
38.16/38.24 c | 60727 | 636 62548 268903 | 2147483647 60727 25 | 0.000 % |
38.66/38.75 c | 61272 | 636 62548 268903 | 2147483647 61272 25 | 0.000 % |
39.16/39.22 c | 61868 | 636 62548 268903 | 2147483647 61868 25 | 0.000 % |
39.66/39.77 c | 62524 | 636 62548 268903 | 2147483647 62524 25 | 0.000 % |
40.46/40.58 c | 63245 | 636 62548 268903 | 2147483647 63245 25 | 0.000 % |
41.26/41.32 c | 64039 | 636 62548 268903 | 2147483647 64039 25 | 0.000 % |
41.36/41.48 c | 64139 | 636 62548 268903 | 2147483647 64139 25 | 0.000 % |
41.46/41.59 c | 64249 | 636 62548 268903 | 2147483647 64249 25 | 0.000 % |
41.66/41.74 c | 64370 | 636 62548 268903 | 2147483647 64370 25 | 0.000 % |
41.76/41.84 c | 64505 | 636 62548 268903 | 2147483647 64505 25 | 0.000 % |
41.96/42.05 c | 64652 | 636 62548 268903 | 2147483647 64652 25 | 0.000 % |
42.16/42.23 c | 64817 | 636 62548 268903 | 2147483647 64817 25 | 0.000 % |
42.36/42.40 c | 64993 | 636 62548 268903 | 2147483647 64993 25 | 0.000 % |
42.55/42.61 c | 65186 | 636 62548 268903 | 2147483647 65186 25 | 0.000 % |
42.76/42.81 c | 65400 | 636 62548 268903 | 2147483647 65400 25 | 0.000 % |
42.95/43.05 c | 65633 | 636 62548 268903 | 2147483647 65633 25 | 0.000 % |
43.15/43.29 c | 65891 | 636 62548 268903 | 2147483647 65891 25 | 0.000 % |
43.45/43.54 c | 66173 | 636 62548 268903 | 2147483647 66173 25 | 0.000 % |
43.65/43.79 c | 66482 | 636 62548 268903 | 2147483647 66482 25 | 0.000 % |
43.96/44.09 c | 66823 | 636 62548 268903 | 2147483647 66823 25 | 0.000 % |
44.35/44.42 c | 67196 | 636 62548 268903 | 2147483647 67196 25 | 0.000 % |
44.75/44.84 c | 67605 | 636 62548 268903 | 2147483647 67605 25 | 0.000 % |
45.15/45.26 c | 68057 | 636 62548 268903 | 2147483647 68057 25 | 0.000 % |
45.75/45.89 c | 68551 | 636 62548 268903 | 2147483647 68551 25 | 0.000 % |
46.45/46.52 c | 69093 | 636 62548 268903 | 2147483647 69093 25 | 0.000 % |
47.05/47.13 c | 69689 | 636 62548 268903 | 2147483647 69689 25 | 0.000 % |
47.75/47.83 c | 70346 | 636 62548 268903 | 2147483647 70346 25 | 0.000 % |
48.45/48.56 c | 71073 | 636 62548 268903 | 2147483647 71073 25 | 0.000 % |
49.36/49.49 c | 71865 | 636 62548 268903 | 2147483647 71865 25 | 0.000 % |
50.36/50.46 c | 72736 | 636 62548 268903 | 2147483647 72736 25 | 0.000 % |
50.46/50.57 c | 72837 | 636 62548 268903 | 2147483647 72837 25 | 0.000 % |
50.56/50.69 c | 72948 | 636 62548 268903 | 2147483647 72948 25 | 0.000 % |
50.76/50.83 c | 73070 | 636 62548 268903 | 2147483647 73070 25 | 0.000 % |
50.96/51.03 c | 73203 | 636 62548 268903 | 2147483647 73203 25 | 0.000 % |
51.16/51.20 c | 73350 | 636 62548 268903 | 2147483647 73350 25 | 0.000 % |
51.26/51.38 c | 73510 | 636 62548 268903 | 2147483647 73510 25 | 0.000 % |
51.56/51.63 c | 73686 | 636 62548 268903 | 2147483647 73686 25 | 0.000 % |
51.76/51.87 c | 73880 | 636 62548 268903 | 2147483647 73880 25 | 0.000 % |
52.06/52.14 c | 74092 | 636 62548 268903 | 2147483647 74092 25 | 0.000 % |
52.36/52.42 c | 74328 | 636 62548 268903 | 2147483647 74328 25 | 0.000 % |
52.66/52.78 c | 74584 | 636 62548 268903 | 2147483647 74584 25 | 0.000 % |
53.06/53.14 c | 74865 | 636 62548 268903 | 2147483647 74865 25 | 0.000 % |
53.35/53.45 c | 75176 | 636 62548 268903 | 2147483647 75176 25 | 0.000 % |
53.65/53.80 c | 75516 | 636 62548 268903 | 2147483647 75516 25 | 0.000 % |
54.15/54.28 c | 75890 | 636 62548 268903 | 2147483647 75890 25 | 0.000 % |
54.75/54.86 c | 76301 | 636 62548 268903 | 2147483647 76301 25 | 0.000 % |
55.25/55.32 c | 76750 | 636 62548 268903 | 2147483647 76750 25 | 0.000 % |
55.75/55.87 c | 77246 | 636 62548 268903 | 2147483647 77246 25 | 0.000 % |
56.35/56.48 c | 77789 | 636 62548 268903 | 2147483647 77789 25 | 0.000 % |
57.05/57.14 c | 78389 | 636 62548 268903 | 2147483647 78389 25 | 0.000 % |
57.75/57.87 c | 79044 | 636 62548 268903 | 2147483647 79044 25 | 0.000 % |
58.75/58.82 c | 79764 | 636 62548 268903 | 2147483647 79764 25 | 0.000 % |
59.55/59.66 c | 80556 | 636 62548 268903 | 2147483647 80556 25 | 0.000 % |
60.75/60.81 c | 81427 | 636 62548 268903 | 2147483647 81427 25 | 0.000 % |
61.75/61.87 c | 82385 | 636 62548 268903 | 2147483647 82385 25 | 0.000 % |
61.85/61.98 c | 82489 | 636 62548 268903 | 2147483647 82489 25 | 0.000 % |
61.95/62.08 c | 82600 | 636 62548 268903 | 2147483647 82600 25 | 0.000 % |
62.15/62.22 c | 82721 | 636 62548 268903 | 2147483647 82721 25 | 0.000 % |
62.25/62.37 c | 82854 | 636 62548 268903 | 2147483647 82854 25 | 0.002 % |
62.45/62.55 c | 83001 | 636 62548 268903 | 2147483647 83001 25 | 0.000 % |
62.75/62.83 c | 83161 | 636 62548 268903 | 2147483647 83161 25 | 0.000 % |
62.95/63.06 c | 83341 | 636 62548 268903 | 2147483647 83341 25 | 0.000 % |
63.25/63.30 c | 83536 | 636 62548 268903 | 2147483647 83536 25 | 0.000 % |
63.55/63.62 c | 83748 | 636 62548 268903 | 2147483647 83748 25 | 0.000 % |
63.85/63.94 c | 83983 | 636 62548 268903 | 2147483647 83983 25 | 0.000 % |
64.14/64.21 c | 84243 | 636 62548 268903 | 2147483647 84243 25 | 0.000 % |
64.44/64.56 c | 84524 | 636 62548 268903 | 2147483647 84524 25 | 0.000 % |
64.94/65.01 c | 84834 | 636 62548 268903 | 2147483647 84834 25 | 0.000 % |
65.34/65.45 c | 85175 | 636 62548 268903 | 2147483647 85175 25 | 0.000 % |
65.85/65.91 c | 85547 | 636 62548 268903 | 2147483647 85547 25 | 0.000 % |
66.34/66.43 c | 85957 | 636 62548 268903 | 2147483647 85957 25 | 0.000 % |
66.84/66.96 c | 86408 | 636 62548 268903 | 2147483647 86408 25 | 0.000 % |
67.44/67.52 c | 86901 | 636 62548 268903 | 2147483647 86901 25 | 0.000 % |
68.24/68.39 c | 87445 | 636 62548 268903 | 2147483647 87445 25 | 0.000 % |
68.94/69.06 c | 88042 | 636 62548 268903 | 2147483647 88042 25 | 0.000 % |
69.84/69.97 c | 88699 | 636 62548 268903 | 2147483647 88699 25 | 0.000 % |
70.74/70.82 c | 89419 | 636 62548 268903 | 2147483647 89419 25 | 0.000 % |
71.64/71.74 c | 90213 | 636 62548 268903 | 2147483647 90213 25 | 0.000 % |
72.74/72.82 c | 91084 | 636 62548 268903 | 2147483647 91084 25 | 0.000 % |
74.14/74.21 c | 92043 | 636 62548 268903 | 2147483647 92043 25 | 0.000 % |
75.74/75.80 c | 93099 | 636 62548 268903 | 2147483647 93099 25 | 0.000 % |
75.84/75.97 c | 93199 | 636 62548 268903 | 2147483647 93199 25 | 0.000 % |
76.04/76.16 c | 93311 | 636 62548 268903 | 2147483647 93311 25 | 0.000 % |
76.24/76.38 c | 93432 | 636 62548 268903 | 2147483647 93432 25 | 0.000 % |
76.44/76.58 c | 93567 | 636 62548 268903 | 2147483647 93567 25 | 0.000 % |
76.74/76.82 c | 93715 | 636 62548 268903 | 2147483647 93715 25 | 0.000 % |
76.94/77.04 c | 93877 | 636 62548 268903 | 2147483647 93877 25 | 0.000 % |
77.14/77.26 c | 94055 | 636 62548 268903 | 2147483647 94055 25 | 0.000 % |
77.54/77.65 c | 94249 | 636 62548 268903 | 2147483647 94249 25 | 0.000 % |
77.84/77.98 c | 94463 | 636 62548 268903 | 2147483647 94463 25 | 0.000 % |
78.13/78.29 c | 94699 | 636 62548 268903 | 2147483647 94699 25 | 0.000 % |
78.54/78.62 c | 94955 | 636 62548 268903 | 2147483647 94955 25 | 0.000 % |
78.94/79.08 c | 95237 | 636 62548 268903 | 2147483647 95237 25 | 0.000 % |
79.34/79.48 c | 95546 | 636 62548 268903 | 2147483647 95546 25 | 0.000 % |
79.94/80.06 c | 95889 | 636 62548 268903 | 2147483647 95889 25 | 0.000 % |
80.44/80.59 c | 96261 | 636 62548 268903 | 2147483647 96261 25 | 0.000 % |
81.04/81.17 c | 96671 | 636 62548 268903 | 2147483647 96671 25 | 0.000 % |
81.64/81.78 c | 97120 | 636 62548 268903 | 2147483647 97120 25 | 0.000 % |
82.34/82.46 c | 97618 | 636 62548 268903 | 2147483647 97618 25 | 0.000 % |
83.14/83.24 c | 98162 | 636 62548 268903 | 2147483647 98162 25 | 0.000 % |
84.04/84.11 c | 98759 | 636 62548 268903 | 2147483647 98759 25 | 0.000 % |
84.94/85.01 c | 99419 | 636 62548 268903 | 2147483647 99419 25 | 0.000 % |
85.84/85.96 c | 100141 | 636 62548 268903 | 2147483647 100141 25 | 0.000 % |
86.94/87.09 c | 100934 | 636 62548 268903 | 2147483647 100934 25 | 0.000 % |
88.14/88.28 c | 101805 | 636 62548 268903 | 2147483647 101805 25 | 0.000 % |
89.34/89.50 c | 102763 | 636 62548 268903 | 2147483647 102763 25 | 0.000 % |
90.64/90.79 c | 103818 | 636 62548 268903 | 2147483647 103818 25 | 0.000 % |
91.84/91.96 c | 104976 | 636 62548 268903 | 2147483647 104976 25 | 0.000 % |
91.94/92.08 c | 105078 | 636 62548 268903 | 2147483647 105078 25 | 0.000 % |
92.03/92.19 c | 105191 | 636 62548 268903 | 2147483647 105191 25 | 0.000 % |
92.24/92.31 c | 105312 | 636 62548 268903 | 2147483647 105312 25 | 0.000 % |
92.34/92.46 c | 105445 | 636 62548 268903 | 2147483647 105445 25 | 0.000 % |
92.53/92.60 c | 105593 | 636 62548 268903 | 2147483647 105593 25 | 0.000 % |
92.63/92.71 c | 105754 | 636 62548 268903 | 2147483647 105754 25 | 0.000 % |
92.73/92.87 c | 105930 | 636 62548 268903 | 2147483647 105930 25 | 0.000 % |
92.93/93.04 c | 106124 | 636 62548 268903 | 2147483647 106124 25 | 0.000 % |
93.03/93.19 c | 106339 | 636 62548 268903 | 2147483647 106339 25 | 0.000 % |
93.33/93.41 c | 106572 | 636 62548 268903 | 2147483647 106572 25 | 0.000 % |
93.73/93.87 c | 106828 | 636 62548 268903 | 2147483647 106828 25 | 0.000 % |
94.03/94.16 c | 107110 | 636 62548 268903 | 2147483647 107110 25 | 0.000 % |
94.33/94.42 c | 107421 | 636 62548 268903 | 2147483647 107421 25 | 0.000 % |
94.63/94.70 c | 107760 | 636 62548 268903 | 2147483647 107760 25 | 0.000 % |
94.93/95.05 c | 108133 | 636 62548 268903 | 2147483647 108133 25 | 0.000 % |
95.23/95.34 c | 108542 | 636 62548 268903 | 2147483647 108542 25 | 0.000 % |
96.03/96.13 c | 108991 | 636 62548 268903 | 2147483647 108991 25 | 0.000 % |
97.13/97.28 c | 109485 | 636 62548 268903 | 2147483647 109485 25 | 0.000 % |
98.03/98.15 c | 110029 | 636 62548 268903 | 2147483647 110029 25 | 0.000 % |
99.23/99.34 c | 110626 | 636 62548 268903 | 2147483647 110626 25 | 0.000 % |
100.33/100.40 c | 111283 | 636 62548 268903 | 2147483647 111283 25 | 0.000 % |
101.43/101.57 c | 112004 | 636 62548 268903 | 2147483647 112004 25 | 0.000 % |
102.82/102.96 c | 112798 | 636 62548 268903 | 2147483647 112798 25 | 0.000 % |
104.33/104.44 c | 113671 | 636 62548 268903 | 2147483647 113671 25 | 0.000 % |
105.82/105.97 c | 114629 | 636 62548 268903 | 2147483647 114629 25 | 0.000 % |
107.82/107.97 c | 115682 | 636 62548 268903 | 2147483647 115682 25 | 0.000 % |
109.83/109.98 c | 116844 | 636 62548 268903 | 2147483647 116844 25 | 0.000 % |
111.42/111.53 c | 118117 | 636 62548 268903 | 2147483647 118117 25 | 0.000 % |
111.52/111.63 c | 118218 | 636 62548 268903 | 2147483647 118218 25 | 0.000 % |
111.62/111.74 c | 118330 | 636 62548 268903 | 2147483647 118330 25 | 0.000 % |
111.82/111.90 c | 118451 | 636 62548 268903 | 2147483647 118451 25 | 0.000 % |
111.92/112.09 c | 118588 | 636 62548 268903 | 2147483647 118588 25 | 0.000 % |
112.12/112.28 c | 118737 | 636 62548 268903 | 2147483647 118737 25 | 0.000 % |
112.33/112.48 c | 118898 | 636 62548 268903 | 2147483647 118898 25 | 0.000 % |
112.53/112.69 c | 119077 | 636 62548 268903 | 2147483647 119077 25 | 0.000 % |
112.83/112.91 c | 119272 | 636 62548 268903 | 2147483647 119272 25 | 0.000 % |
113.13/113.22 c | 119488 | 636 62548 268903 | 2147483647 119488 25 | 0.000 % |
113.33/113.49 c | 119722 | 636 62548 268903 | 2147483647 119722 25 | 0.000 % |
113.63/113.76 c | 119979 | 636 62548 268903 | 2147483647 119979 25 | 0.000 % |
114.03/114.10 c | 120261 | 636 62548 268903 | 2147483647 120261 25 | 0.000 % |
114.33/114.47 c | 120570 | 636 62548 268903 | 2147483647 120570 25 | 0.000 % |
114.82/114.93 c | 120911 | 636 62548 268903 | 2147483647 120911 25 | 0.000 % |
115.22/115.38 c | 121283 | 636 62548 268903 | 2147483647 121283 25 | 0.000 % |
115.72/115.86 c | 121693 | 636 62548 268903 | 2147483647 121693 25 | 0.000 % |
116.12/116.29 c | 122143 | 636 62548 268903 | 2147483647 122143 25 | 0.051 % |
116.53/116.66 c | 122638 | 636 62548 268903 | 2147483647 122638 25 | 0.000 % |
117.12/117.24 c | 123183 | 636 62548 268903 | 2147483647 123183 25 | 0.000 % |
117.72/117.83 c | 123779 | 636 62548 268903 | 2147483647 123779 25 | 0.000 % |
118.32/118.48 c | 124435 | 636 62548 268903 | 2147483647 124435 25 | 0.000 % |
118.92/119.03 c | 125156 | 636 62548 268903 | 2147483647 125156 25 | 0.000 % |
119.62/119.70 c | 125948 | 636 62548 268903 | 2147483647 125948 25 | 0.000 % |
120.31/120.45 c | 126820 | 636 62548 268903 | 2147483647 126820 25 | 0.000 % |
121.21/121.37 c | 127778 | 636 62548 268903 | 2147483647 127778 25 | 0.000 % |
122.21/122.36 c | 128831 | 636 62548 268903 | 2147483647 128831 25 | 0.000 % |
123.01/123.17 c | 129989 | 636 62548 268903 | 2147483647 129989 25 | 0.051 % |
127.12/127.27 c | 131263 | 636 62548 268903 | 130002 111365 25 | 0.000 % |
128.92/129.08 c | 132663 | 636 62548 268903 | 130002 112765 26 | 0.000 % |
129.02/129.19 c | 132764 | 636 62548 268903 | 130002 112866 26 | 0.000 % |
129.22/129.31 c | 132876 | 636 62548 268903 | 130002 112978 26 | 0.000 % |
129.32/129.46 c | 132997 | 636 62548 268903 | 130002 113099 26 | 0.000 % |
129.52/129.65 c | 133131 | 636 62548 268903 | 130002 113233 26 | 0.000 % |
129.72/129.84 c | 133278 | 636 62548 268903 | 130002 113380 26 | 0.000 % |
129.92/130.04 c | 133438 | 636 62548 268903 | 130002 113540 26 | 0.000 % |
130.11/130.27 c | 133614 | 636 62548 268903 | 130002 113716 26 | 0.000 % |
130.41/130.50 c | 133810 | 636 62548 268903 | 130002 113912 26 | 0.000 % |
130.61/130.80 c | 134024 | 636 62548 268903 | 130002 114126 26 | 0.051 % |
131.61/131.77 c | 134258 | 636 62548 268903 | 130002 114360 26 | 0.000 % |
132.81/132.96 c | 134515 | 636 62548 268903 | 130002 114617 26 | 0.000 % |
133.21/133.39 c | 134796 | 636 62548 268903 | 130002 114898 26 | 0.000 % |
133.71/133.82 c | 135105 | 636 62548 268903 | 130002 115207 26 | 0.000 % |
134.12/134.23 c | 135445 | 636 62548 268903 | 130002 115547 26 | 0.000 % |
134.61/134.71 c | 135817 | 636 62548 268903 | 130002 115919 26 | 0.000 % |
135.11/135.21 c | 136231 | 636 62548 268903 | 130002 116333 26 | 0.002 % |
135.61/135.77 c | 136680 | 636 62548 268903 | 130002 116782 26 | 0.000 % |
136.11/136.25 c | 137173 | 636 62548 268903 | 130002 117275 26 | 0.000 % |
138.11/138.22 c | 137715 | 636 62548 268903 | 130002 117817 26 | 0.000 % |
140.51/140.60 c | 138311 | 636 62548 268903 | 130002 118413 26 | 0.000 % |
143.11/143.23 c | 138966 | 636 62548 268903 | 130002 119068 26 | 0.000 % |
144.71/144.85 c | 139687 | 636 62548 268903 | 130002 119789 26 | 0.000 % |
148.41/148.59 c | 140479 | 636 62548 268903 | 120103 90931 26 | 0.000 % |
150.51/150.63 c | 141352 | 636 62548 268903 | 120103 91804 26 | 0.000 % |
153.60/153.71 c | 142311 | 636 62548 268903 | 120103 92763 26 | 0.000 % |
156.60/156.70 c | 143364 | 636 62548 268903 | 120103 93816 26 | 0.051 % |
161.80/161.97 c | 144522 | 636 62548 268903 | 120103 94974 26 | 0.000 % |
166.20/166.33 c | 145796 | 636 62548 268903 | 120103 96248 26 | 0.000 % |
168.20/168.31 c | 147200 | 636 62548 268903 | 120103 97652 26 | 0.000 % |
174.20/174.31 c | 148742 | 636 62548 268903 | 120103 99194 26 | 0.000 % |
174.30/174.50 c | 148842 | 636 62548 268903 | 120103 99294 26 | 0.002 % |
174.50/174.66 c | 148954 | 636 62548 268903 | 120103 99406 26 | 0.000 % |
174.90/175.07 c | 149077 | 636 62548 268903 | 120103 99529 26 | 0.000 % |
175.40/175.55 c | 149211 | 636 62548 268903 | 120103 99663 26 | 0.000 % |
175.80/175.98 c | 149357 | 636 62548 268903 | 120103 99809 26 | 0.000 % |
176.39/176.59 c | 149517 | 636 62548 268903 | 120103 99969 26 | 0.000 % |
176.90/177.02 c | 149698 | 636 62548 268903 | 120103 100150 26 | 0.000 % |
177.10/177.28 c | 149893 | 636 62548 268903 | 120103 100345 26 | 0.000 % |
177.50/177.60 c | 150107 | 636 62548 268903 | 100454 100559 26 | 0.000 % |
178.99/179.14 c | 150340 | 636 62548 268903 | 100454 77464 26 | 0.000 % |
179.39/179.53 c | 150597 | 636 62548 268903 | 100454 77721 27 | 0.000 % |
180.30/180.47 c | 150881 | 636 62548 268903 | 100454 78005 27 | 0.000 % |
181.30/181.49 c | 151190 | 636 62548 268903 | 100454 78314 27 | 0.000 % |
182.40/182.55 c | 151531 | 636 62548 268903 | 100454 78655 27 | 0.000 % |
183.50/183.64 c | 151904 | 636 62548 268903 | 100454 79028 27 | 0.000 % |
184.49/184.69 c | 152313 | 636 62548 268903 | 100454 79437 27 | 0.000 % |
186.09/186.25 c | 152762 | 636 62548 268903 | 100454 79886 27 | 0.000 % |
188.00/188.10 c | 153258 | 636 62548 268903 | 100454 80382 27 | 0.000 % |
189.79/189.90 c | 153800 | 636 62548 268903 | 100454 80924 27 | 0.000 % |
192.09/192.28 c | 154396 | 636 62548 268903 | 100454 81520 27 | 0.000 % |
194.69/194.84 c | 155053 | 636 62548 268903 | 100454 82177 27 | 0.000 % |
197.19/197.39 c | 155774 | 636 62548 268903 | 100454 82898 27 | 0.000 % |
200.09/200.22 c | 156566 | 636 62548 268903 | 100454 83690 27 | 0.000 % |
202.38/202.54 c | 157437 | 636 62548 268903 | 100454 84561 27 | 0.000 % |
203.48/203.60 c | 158397 | 636 62548 268903 | 100454 85521 27 | 0.000 % |
204.78/204.99 c | 159450 | 636 62548 268903 | 100454 86574 27 | 0.000 % |
207.28/207.41 c | 160608 | 636 62548 268903 | 87124 65791 28 | 0.000 % |
210.48/210.69 c | 161881 | 636 62548 268903 | 87124 67064 28 | 0.000 % |
213.68/213.86 c | 163283 | 636 62548 268903 | 87124 68466 28 | 0.000 % |
217.48/217.61 c | 164824 | 636 62548 268903 | 87124 70007 28 | 0.000 % |
221.28/221.45 c | 166518 | 636 62548 268903 | 87124 71701 28 | 0.000 % |
221.38/221.59 c | 166619 | 636 62548 268903 | 87124 71802 28 | 0.000 % |
221.78/221.91 c | 166729 | 636 62548 268903 | 87124 71912 28 | 0.000 % |
222.18/222.34 c | 166851 | 636 62548 268903 | 87124 72034 28 | 0.000 % |
222.48/222.70 c | 166986 | 636 62548 268903 | 87124 72169 28 | 0.000 % |
222.98/223.14 c | 167133 | 636 62548 268903 | 87124 72316 28 | 0.000 % |
223.48/223.63 c | 167293 | 636 62548 268903 | 87124 72476 28 | 0.000 % |
223.88/224.08 c | 167469 | 636 62548 268903 | 87124 72652 28 | 0.000 % |
224.28/224.46 c | 167664 | 636 62548 268903 | 87124 72847 28 | 0.000 % |
224.87/225.00 c | 167877 | 636 62548 268903 | 87124 73060 27 | 0.000 % |
225.38/225.53 c | 168112 | 636 62548 268903 | 87124 73295 27 | 0.000 % |
225.97/226.13 c | 168368 | 636 62548 268903 | 87124 73551 27 | 0.000 % |
226.27/226.48 c | 168649 | 636 62548 268903 | 87124 73832 27 | 0.000 % |
227.07/227.23 c | 168960 | 636 62548 268903 | 87124 74143 27 | 0.000 % |
227.77/227.92 c | 169299 | 636 62548 268903 | 87124 74482 27 | 0.000 % |
228.87/229.09 c | 169671 | 636 62548 268903 | 87124 74854 27 | 0.000 % |
229.57/229.73 c | 170080 | 636 62548 268903 | 75183 75263 27 | 0.000 % |
230.57/230.78 c | 170532 | 636 62548 268903 | 75183 67468 27 | 0.000 % |
231.27/231.43 c | 171025 | 636 62548 268903 | 75183 67961 27 | 0.000 % |
232.57/232.71 c | 171569 | 636 62548 268903 | 75183 68505 27 | 0.000 % |
233.67/233.90 c | 172165 | 636 62548 268903 | 75183 69101 28 | 0.000 % |
234.87/235.04 c | 172821 | 636 62548 268903 | 75183 69757 28 | 0.000 % |
236.07/236.27 c | 173542 | 636 62548 268903 | 75183 70478 28 | 0.000 % |
237.27/237.48 c | 174335 | 636 62548 268903 | 75183 71271 28 | 0.000 % |
238.67/238.89 c | 175207 | 636 62548 268903 | 75183 72143 28 | 0.000 % |
240.47/240.62 c | 176166 | 636 62548 268903 | 75183 73102 28 | 0.000 % |
242.07/242.29 c | 177219 | 636 62548 268903 | 75183 74155 28 | 0.000 % |
244.37/244.54 c | 178379 | 636 62548 268903 | 75183 67790 28 | 0.000 % |
246.07/246.22 c | 179653 | 636 62548 268903 | 75183 69064 28 | 0.000 % |
248.17/248.36 c | 181053 | 636 62548 268903 | 2147483647 70464 28 | 0.000 % |
250.46/250.62 c | 182593 | 636 62548 268903 | 2147483647 72004 28 | 0.000 % |
252.77/252.97 c | 184290 | 636 62548 268903 | 2147483647 73701 28 | 0.000 % |
255.36/255.53 c | 186155 | 636 62548 268903 | 2147483647 75566 28 | 0.000 % |
255.46/255.66 c | 186257 | 636 62548 268903 | 2147483647 75668 28 | 0.000 % |
255.66/255.81 c | 186367 | 636 62548 268903 | 2147483647 75778 28 | 0.000 % |
255.76/255.94 c | 186489 | 636 62548 268903 | 2147483647 75900 28 | 0.000 % |
255.96/256.10 c | 186622 | 636 62548 268903 | 2147483647 76033 28 | 0.000 % |
256.07/256.30 c | 186770 | 636 62548 268903 | 2147483647 76181 28 | 0.000 % |
256.46/256.69 c | 186930 | 636 62548 268903 | 2147483647 76341 28 | 0.000 % |
256.86/257.03 c | 187106 | 636 62548 268903 | 2147483647 76517 28 | 0.000 % |
257.27/257.43 c | 187300 | 636 62548 268903 | 2147483647 76711 28 | 0.000 % |
257.76/257.91 c | 187512 | 636 62548 268903 | 2147483647 76923 28 | 0.000 % |
258.06/258.27 c | 187746 | 636 62548 268903 | 2147483647 77157 28 | 0.000 % |
258.56/258.78 c | 188004 | 636 62548 268903 | 2147483647 77415 28 | 0.000 % |
259.37/259.52 c | 188286 | 636 62548 268903 | 2147483647 77697 28 | 0.000 % |
260.07/260.28 c | 188596 | 636 62548 268903 | 2147483647 78007 28 | 0.000 % |
260.87/261.08 c | 188935 | 636 62548 268903 | 2147483647 78346 28 | 0.000 % |
261.57/261.73 c | 189310 | 636 62548 268903 | 2147483647 78721 28 | 0.000 % |
262.37/262.50 c | 189721 | 636 62548 268903 | 2147483647 79132 28 | 0.000 % |
262.87/263.08 c | 190171 | 636 62548 268903 | 2147483647 79582 28 | 0.000 % |
263.96/264.17 c | 190664 | 636 62548 268903 | 2147483647 80075 28 | 0.000 % |
265.36/265.50 c | 191208 | 636 62548 268903 | 2147483647 80619 28 | 0.000 % |
266.66/266.86 c | 191804 | 636 62548 268903 | 2147483647 81215 28 | 0.000 % |
268.46/268.61 c | 192461 | 636 62548 268903 | 2147483647 81872 28 | 0.000 % |
269.76/269.97 c | 193182 | 636 62548 268903 | 2147483647 82593 28 | 0.000 % |
271.46/271.67 c | 193975 | 636 62548 268903 | 2147483647 83386 28 | 0.000 % |
273.96/274.12 c | 194848 | 636 62548 268903 | 2147483647 84259 28 | 0.000 % |
275.46/275.61 c | 195807 | 636 62548 268903 | 2147483647 85218 28 | 0.000 % |
277.46/277.61 c | 196867 | 636 62548 268903 | 2147483647 86278 28 | 0.000 % |
279.06/279.27 c | 198026 | 636 62548 268903 | 2147483647 87437 28 | 0.000 % |
281.86/282.03 c | 199299 | 636 62548 268903 | 2147483647 88710 28 | 0.000 % |
284.06/284.25 c | 200702 | 636 62548 268903 | 2147483647 90113 28 | 0.000 % |
287.65/287.80 c | 202244 | 636 62548 268903 | 2147483647 91655 28 | 0.000 % |
291.95/292.10 c | 203939 | 636 62548 268903 | 2147483647 93350 28 | 0.000 % |
297.25/297.48 c | 205804 | 636 62548 268903 | 2147483647 95215 28 | 0.000 % |
302.35/302.56 c | 207854 | 636 62548 268903 | 2147483647 97265 28 | 0.000 % |
302.65/302.81 c | 207954 | 636 62548 268903 | 2147483647 97365 28 | 0.000 % |
303.05/303.20 c | 208065 | 636 62548 268903 | 2147483647 97476 28 | 0.000 % |
303.45/303.66 c | 208188 | 636 62548 268903 | 2147483647 97599 28 | 0.000 % |
303.85/304.00 c | 208323 | 636 62548 268903 | 2147483647 97734 28 | 0.000 % |
304.05/304.30 c | 208469 | 636 62548 268903 | 2147483647 97880 28 | 0.000 % |
304.55/304.74 c | 208629 | 636 62548 268903 | 2147483647 98040 28 | 0.000 % |
305.04/305.24 c | 208805 | 636 62548 268903 | 2147483647 98216 28 | 0.000 % |
305.24/305.48 c | 208999 | 636 62548 268903 | 2147483647 98410 28 | 0.000 % |
305.84/306.00 c | 209211 | 636 62548 268903 | 2147483647 98622 28 | 0.000 % |
306.54/306.70 c | 209444 | 636 62548 268903 | 2147483647 98855 28 | 0.000 % |
307.24/307.49 c | 209700 | 636 62548 268903 | 2147483647 99111 28 | 0.000 % |
307.85/308.03 c | 209984 | 636 62548 268903 | 2147483647 99395 28 | 0.000 % |
308.34/308.50 c | 210295 | 636 62548 268903 | 2147483647 99706 28 | 0.000 % |
308.85/309.06 c | 210637 | 636 62548 268903 | 2147483647 100048 28 | 0.000 % |
309.74/309.90 c | 211011 | 636 62548 268903 | 2147483647 100422 28 | 0.000 % |
310.84/311.08 c | 211420 | 636 62548 268903 | 2147483647 100831 28 | 0.000 % |
312.54/312.78 c | 211870 | 636 62548 268903 | 2147483647 101281 28 | 0.000 % |
314.04/314.23 c | 212364 | 636 62548 268903 | 2147483647 101775 28 | 0.000 % |
315.55/315.78 c | 212906 | 636 62548 268903 | 2147483647 102317 28 | 0.000 % |
317.14/317.30 c | 213502 | 636 62548 268903 | 2147483647 102913 28 | 0.000 % |
318.84/319.04 c | 214157 | 636 62548 268903 | 2147483647 103568 28 | 0.000 % |
320.64/320.85 c | 214879 | 636 62548 268903 | 2147483647 104290 28 | 0.000 % |
322.94/323.18 c | 215672 | 636 62548 268903 | 2147483647 105083 27 | 0.000 % |
325.34/325.51 c | 216543 | 636 62548 268903 | 2147483647 105954 28 | 0.000 % |
327.84/328.06 c | 217503 | 636 62548 268903 | 2147483647 106914 27 | 0.000 % |
330.73/330.91 c | 218557 | 636 62548 268903 | 2147483647 107968 27 | 0.000 % |
333.83/334.03 c | 219716 | 636 62548 268903 | 2147483647 109127 27 | 0.000 % |
335.63/335.87 c | 220989 | 636 62548 268903 | 109411 96111 27 | 0.000 % |
337.23/337.42 c | 222389 | 636 62548 268903 | 109411 97511 27 | 0.000 % |
338.83/339.09 c | 223929 | 636 62548 268903 | 109411 99051 27 | 0.000 % |
341.03/341.21 c | 225623 | 636 62548 268903 | 109411 100745 27 | 0.000 % |
344.13/344.31 c | 227486 | 636 62548 268903 | 109411 102608 27 | 0.000 % |
354.22/354.48 c | 229537 | 636 62548 268903 | 109411 104659 28 | 0.000 % |
365.82/366.05 c | 231790 | 636 62548 268903 | 105122 84958 27 | 0.000 % |
366.22/366.48 c | 231891 | 636 62548 268903 | 105122 85059 27 | 0.000 % |
366.92/367.14 c | 232002 | 636 62548 268903 | 105122 85170 27 | 0.000 % |
367.72/367.94 c | 232124 | 636 62548 268903 | 105122 85292 27 | 0.000 % |
368.62/368.80 c | 232259 | 636 62548 268903 | 105122 85427 27 | 0.000 % |
369.32/369.60 c | 232406 | 636 62548 268903 | 105122 85574 27 | 0.000 % |
370.12/370.39 c | 232567 | 636 62548 268903 | 105122 85735 27 | 0.000 % |
371.02/371.26 c | 232745 | 636 62548 268903 | 105122 85913 27 | 0.000 % |
371.92/372.13 c | 232940 | 636 62548 268903 | 105122 86108 27 | 0.000 % |
373.02/373.24 c | 233154 | 636 62548 268903 | 105122 86322 27 | 0.000 % |
373.92/374.16 c | 233387 | 636 62548 268903 | 105122 86555 27 | 0.000 % |
375.32/375.50 c | 233643 | 636 62548 268903 | 105122 86811 27 | 0.000 % |
375.92/376.19 c | 233925 | 636 62548 268903 | 105122 87093 27 | 0.000 % |
377.02/377.24 c | 234234 | 636 62548 268903 | 105122 87402 27 | 0.002 % |
378.51/378.77 c | 234573 | 636 62548 268903 | 105122 87741 27 | 0.000 % |
380.61/380.86 c | 234946 | 636 62548 268903 | 105122 88114 27 | 0.000 % |
383.21/383.49 c | 235357 | 636 62548 268903 | 105122 88525 27 | 0.000 % |
386.31/386.58 c | 235806 | 636 62548 268903 | 105122 88974 27 | 0.000 % |
389.71/389.97 c | 236300 | 636 62548 268903 | 105122 89468 27 | 0.000 % |
392.21/392.49 c | 236844 | 636 62548 268903 | 105122 90012 27 | 0.000 % |
394.81/395.00 c | 237440 | 636 62548 268903 | 105122 90608 27 | 0.000 % |
397.20/397.48 c | 238096 | 636 62548 268903 | 105122 91264 27 | 0.000 % |
399.80/400.01 c | 238817 | 636 62548 268903 | 105122 91985 27 | 0.000 % |
402.20/402.45 c | 239610 | 636 62548 268903 | 105122 92778 27 | 0.000 % |
405.01/405.23 c | 240484 | 636 62548 268903 | 93168 71442 26 | 0.000 % |
405.61/405.89 c | 241444 | 636 62548 268903 | 93168 72402 26 | 0.000 % |
410.11/410.30 c | 242497 | 636 62548 268903 | 93168 73455 26 | 0.002 % |
414.11/414.35 c | 243655 | 636 62548 268903 | 93168 74613 26 | 0.000 % |
420.01/420.28 c | 244928 | 636 62548 268903 | 93168 75886 26 | 0.002 % |
425.30/425.57 c | 246328 | 636 62548 268903 | 93168 77286 26 | 0.000 % |
430.00/430.22 c | 247872 | 636 62548 268903 | 93168 78830 26 | 0.000 % |
437.60/437.84 c | 249567 | 636 62548 268903 | 93168 80525 26 | 0.000 % |
442.80/443.00 c | 251430 | 636 62548 268903 | 80958 68292 26 | 0.000 % |
449.00/449.20 c | 253479 | 636 62548 268903 | 80958 70341 26 | 0.000 % |
458.40/458.70 c | 255734 | 636 62548 268903 | 80958 72596 26 | 0.000 % |
460.70/460.93 c | 258215 | 636 62548 268903 | 80958 75077 26 | 0.000 % |
460.79/461.09 c | 258317 | 636 62548 268903 | 80958 75179 26 | 0.000 % |
461.29/461.57 c | 258427 | 636 62548 268903 | 80958 75289 26 | 0.000 % |
461.80/462.07 c | 258548 | 636 62548 268903 | 80958 75410 26 | 0.000 % |
462.49/462.71 c | 258681 | 636 62548 268903 | 80958 75543 26 | 0.000 % |
462.99/463.20 c | 258827 | 636 62548 268903 | 80958 75689 26 | 0.000 % |
463.69/463.95 c | 258987 | 636 62548 268903 | 80958 75849 26 | 0.000 % |
464.59/464.88 c | 259163 | 636 62548 268903 | 80958 76025 26 | 0.000 % |
465.59/465.87 c | 259356 | 636 62548 268903 | 80958 76218 26 | 0.000 % |
466.69/466.92 c | 259569 | 636 62548 268903 | 80958 76431 27 | 0.000 % |
467.89/468.17 c | 259803 | 636 62548 268903 | 80958 76665 27 | 0.000 % |
468.79/469.04 c | 260061 | 636 62548 268903 | 76862 76923 27 | 0.000 % |
469.99/470.25 c | 260342 | 636 62548 268903 | 76862 65837 27 | 0.000 % |
470.19/470.47 c | 260652 | 636 62548 268903 | 76862 66147 27 | 0.000 % |
471.59/471.83 c | 260996 | 636 62548 268903 | 76862 66491 27 | 0.000 % |
472.79/473.04 c | 261368 | 636 62548 268903 | 76862 66863 27 | 0.000 % |
474.49/474.71 c | 261777 | 636 62548 268903 | 76862 67272 27 | 0.000 % |
476.18/476.47 c | 262226 | 636 62548 268903 | 76862 67721 27 | 0.000 % |
477.58/477.86 c | 262721 | 636 62548 268903 | 76862 68216 27 | 0.000 % |
478.68/478.92 c | 263263 | 636 62548 268903 | 76862 68758 27 | 0.000 % |
479.18/479.45 c | 263861 | 636 62548 268903 | 76862 69356 27 | 0.000 % |
479.78/480.04 c | 264518 | 636 62548 268903 | 76862 70013 27 | 0.000 % |
482.69/482.96 c | 265238 | 636 62548 268903 | 76862 70733 27 | 0.000 % |
485.38/485.64 c | 266030 | 636 62548 268903 | 76862 71525 27 | 0.000 % |
488.28/488.54 c | 266901 | 636 62548 268903 | 76862 72396 27 | 0.000 % |
491.88/492.10 c | 267864 | 636 62548 268903 | 76862 73359 27 | 0.000 % |
494.88/495.18 c | 268918 | 636 62548 268903 | 76862 74413 27 | 0.002 % |
498.78/499.05 c | 270077 | 636 62548 268903 | 75497 67476 27 | 0.000 % |
502.38/502.62 c | 271351 | 636 62548 268903 | 75497 68750 27 | 0.000 % |
506.27/506.50 c | 272751 | 636 62548 268903 | 75497 70150 27 | 0.000 % |
510.47/510.80 c | 274293 | 636 62548 268903 | 75497 71692 27 | 0.000 % |
514.47/514.79 c | 275988 | 636 62548 268903 | 75497 73387 27 | 0.000 % |
520.27/520.55 c | 277851 | 636 62548 268903 | 75497 75250 27 | 0.000 % |
524.86/525.10 c | 279901 | 636 62548 268903 | 75497 64010 27 | 0.000 % |
527.67/527.95 c | 282155 | 636 62548 268903 | 64110 57227 27 | 0.000 % |
530.66/530.97 c | 284635 | 636 62548 268903 | 64110 59707 27 | 0.000 % |
533.86/534.17 c | 287363 | 636 62548 268903 | 64110 62435 27 | 0.000 % |
533.96/534.28 c | 287463 | 636 62548 268903 | 64110 62535 27 | 0.000 % |
534.16/534.42 c | 287575 | 636 62548 268903 | 64110 62647 27 | 0.000 % |
534.26/534.58 c | 287696 | 636 62548 268903 | 64110 62768 27 | 0.000 % |
534.46/534.76 c | 287832 | 636 62548 268903 | 64110 62904 27 | 0.000 % |
534.66/534.94 c | 287978 | 636 62548 268903 | 64110 63050 27 | 0.000 % |
534.86/535.16 c | 288138 | 636 62548 268903 | 64110 63210 27 | 0.000 % |
535.06/535.40 c | 288316 | 636 62548 268903 | 64110 63388 27 | 0.000 % |
535.36/535.67 c | 288516 | 636 62548 268903 | 64110 63588 27 | 0.000 % |
535.66/535.91 c | 288728 | 636 62548 268903 | 64110 63800 27 | 0.000 % |
535.86/536.19 c | 288961 | 636 62548 268903 | 64110 64033 27 | 0.000 % |
536.26/536.56 c | 289217 | 636 62548 268903 | 64110 57871 26 | 0.000 % |
536.56/536.82 c | 289498 | 636 62548 268903 | 64110 58152 26 | 0.000 % |
536.86/537.12 c | 289808 | 636 62548 268903 | 64110 58462 26 | 0.000 % |
537.16/537.44 c | 290147 | 636 62548 268903 | 2147483647 58801 26 | 0.000 % |
537.46/537.78 c | 290519 | 636 62548 268903 | 2147483647 59173 26 | 0.000 % |
537.96/538.26 c | 290929 | 636 62548 268903 | 2147483647 59583 26 | 0.000 % |
538.46/538.76 c | 291378 | 636 62548 268903 | 2147483647 60032 26 | 0.000 % |
538.96/539.23 c | 291873 | 636 62548 268903 | 2147483647 60527 26 | 0.000 % |
539.46/539.76 c | 292419 | 636 62548 268903 | 2147483647 61073 26 | 0.000 % |
540.06/540.31 c | 293018 | 636 62548 268903 | 2147483647 61672 26 | 0.000 % |
540.66/540.90 c | 293673 | 636 62548 268903 | 2147483647 62327 26 | 0.000 % |
541.36/541.66 c | 294397 | 636 62548 268903 | 2147483647 63051 26 | 0.000 % |
542.16/542.41 c | 295192 | 636 62548 268903 | 2147483647 63846 26 | 0.000 % |
542.96/543.29 c | 296064 | 636 62548 268903 | 2147483647 64718 26 | 0.000 % |
544.16/544.47 c | 297023 | 636 62548 268903 | 2147483647 65677 26 | 0.000 % |
545.46/545.77 c | 298078 | 636 62548 268903 | 2147483647 66732 26 | 0.000 % |
546.86/547.15 c | 299238 | 636 62548 268903 | 2147483647 67892 26 | 0.000 % |
548.26/548.51 c | 300517 | 636 62548 268903 | 2147483647 69171 26 | 0.000 % |
549.95/550.29 c | 301917 | 636 62548 268903 | 2147483647 70571 26 | 0.000 % |
551.75/552.07 c | 303459 | 636 62548 268903 | 2147483647 72113 26 | 0.000 % |
553.75/554.08 c | 305156 | 636 62548 268903 | 2147483647 73810 26 | 0.000 % |
556.05/556.38 c | 307019 | 636 62548 268903 | 2147483647 75673 26 | 0.000 % |
558.55/558.81 c | 309069 | 636 62548 268903 | 2147483647 77723 26 | 0.000 % |
561.45/561.71 c | 311322 | 636 62548 268903 | 2147483647 79976 26 | 0.000 % |
564.64/564.93 c | 313800 | 636 62548 268903 | 2147483647 82454 26 | 0.000 % |
567.94/568.20 c | 316527 | 636 62548 268903 | 2147483647 85181 26 | 0.000 % |
572.14/572.46 c | 319524 | 636 62548 268903 | 2147483647 88178 26 | 0.000 % |
572.34/572.64 c | 319624 | 636 62548 268903 | 2147483647 88278 26 | 0.000 % |
572.44/572.79 c | 319735 | 636 62548 268903 | 2147483647 88389 26 | 0.000 % |
572.64/572.96 c | 319860 | 636 62548 268903 | 2147483647 88514 26 | 0.000 % |
572.84/573.17 c | 319993 | 636 62548 268903 | 2147483647 88647 26 | 0.000 % |
573.04/573.39 c | 320139 | 636 62548 268903 | 2147483647 88793 26 | 0.000 % |
573.34/573.65 c | 320299 | 636 62548 268903 | 2147483647 88953 26 | 0.000 % |
573.54/573.89 c | 320477 | 636 62548 268903 | 2147483647 89131 26 | 0.000 % |
573.74/574.10 c | 320670 | 636 62548 268903 | 2147483647 89324 26 | 0.000 % |
574.04/574.34 c | 320882 | 636 62548 268903 | 2147483647 89536 26 | 0.002 % |
574.34/574.66 c | 321115 | 636 62548 268903 | 2147483647 89769 26 | 0.000 % |
574.74/575.03 c | 321371 | 636 62548 268903 | 2147483647 90025 25 | 0.000 % |
575.14/575.49 c | 321655 | 636 62548 268903 | 2147483647 90309 25 | 0.000 % |
575.64/575.93 c | 321964 | 636 62548 268903 | 2147483647 90618 25 | 0.000 % |
576.14/576.43 c | 322306 | 636 62548 268903 | 2147483647 90960 25 | 0.000 % |
576.74/577.01 c | 322678 | 636 62548 268903 | 2147483647 91332 25 | 0.000 % |
577.24/577.58 c | 323089 | 636 62548 268903 | 2147483647 91743 25 | 0.000 % |
578.04/578.33 c | 323539 | 636 62548 268903 | 2147483647 92193 25 | 0.000 % |
578.64/578.92 c | 324033 | 636 62548 268903 | 2147483647 92687 25 | 0.000 % |
579.04/579.36 c | 324576 | 636 62548 268903 | 2147483647 93230 25 | 0.000 % |
579.54/579.84 c | 325173 | 636 62548 268903 | 2147483647 93827 25 | 0.000 % |
580.03/580.38 c | 325828 | 636 62548 268903 | 2147483647 94482 25 | 0.000 % |
580.63/580.99 c | 326549 | 636 62548 268903 | 2147483647 95203 25 | 0.000 % |
581.43/581.78 c | 327343 | 636 62548 268903 | 2147483647 95997 25 | 0.000 % |
582.23/582.53 c | 328214 | 636 62548 268903 | 2147483647 96868 26 | 0.000 % |
583.44/583.70 c | 329174 | 636 62548 268903 | 2147483647 97828 25 | 0.000 % |
584.85/585.16 c | 330227 | 636 62548 268903 | 2147483647 98881 25 | 0.002 % |
586.24/586.57 c | 331386 | 636 62548 268903 | 2147483647 100040 25 | 0.002 % |
588.54/588.88 c | 332659 | 636 62548 268903 | 2147483647 101313 25 | 0.000 % |
592.94/593.28 c | 334059 | 636 62548 268903 | 2147483647 102713 25 | 0.000 % |
597.44/597.78 c | 335600 | 636 62548 268903 | 2147483647 104254 25 | 0.000 % |
604.53/604.82 c | 337296 | 636 62548 268903 | 2147483647 105950 25 | 0.000 % |
613.33/613.67 c | 339163 | 636 62548 268903 | 2147483647 107817 25 | 0.000 % |
622.23/622.55 c | 341219 | 636 62548 268903 | 2147483647 109873 25 | 0.002 % |
630.73/631.00 c | 343472 | 636 62548 268903 | 2147483647 112126 25 | 0.002 % |
640.82/641.10 c | 345954 | 636 62548 268903 | 2147483647 114608 25 | 0.000 % |
650.72/651.05 c | 348681 | 636 62548 268903 | 2147483647 117335 25 | 0.000 % |
661.02/661.39 c | 351679 | 636 62548 268903 | 118654 98591 24 | 0.002 % |
669.52/669.84 c | 354975 | 636 62548 268903 | 118654 101887 25 | 0.000 % |
669.62/669.91 c | 355077 | 636 62548 268903 | 118654 101989 24 | 0.000 % |
670.11/670.46 c | 355187 | 636 62548 268903 | 118654 102099 25 | 0.000 % |
670.72/671.07 c | 355309 | 636 62548 268903 | 118654 102221 25 | 0.000 % |
671.41/671.71 c | 355442 | 636 62548 268903 | 118654 102354 25 | 0.000 % |
672.11/672.48 c | 355589 | 636 62548 268903 | 118654 102501 25 | 0.000 % |
672.41/672.71 c | 355749 | 636 62548 268903 | 118654 102661 25 | 0.000 % |
673.21/673.57 c | 355925 | 636 62548 268903 | 118654 102837 25 | 0.000 % |
674.01/674.39 c | 356118 | 636 62548 268903 | 118654 103030 25 | 0.000 % |
675.11/675.46 c | 356330 | 636 62548 268903 | 118654 103242 25 | 0.000 % |
676.31/676.64 c | 356563 | 636 62548 268903 | 118654 103475 25 | 0.000 % |
677.71/678.01 c | 356820 | 636 62548 268903 | 118654 103732 25 | 0.000 % |
679.31/679.63 c | 357103 | 636 62548 268903 | 118654 104015 25 | 0.000 % |
681.11/681.48 c | 357412 | 636 62548 268903 | 118654 104324 25 | 0.000 % |
683.11/683.47 c | 357751 | 636 62548 268903 | 118654 104663 25 | 0.000 % |
684.91/685.22 c | 358123 | 636 62548 268903 | 118654 105035 25 | 0.000 % |
686.80/687.16 c | 358536 | 636 62548 268903 | 118654 105448 25 | 0.000 % |
689.10/689.46 c | 358985 | 636 62548 268903 | 118654 105897 25 | 0.000 % |
691.61/691.98 c | 359478 | 636 62548 268903 | 118654 106390 25 | 0.000 % |
694.40/694.71 c | 360023 | 636 62548 268903 | 106914 106935 25 | 0.000 % |
697.60/697.97 c | 360619 | 636 62548 268903 | 106914 80257 24 | 0.000 % |
699.50/699.87 c | 361276 | 636 62548 268903 | 106914 80914 24 | 0.000 % |
700.80/701.19 c | 361996 | 636 62548 268903 | 106914 81634 24 | 0.000 % |
703.20/703.53 c | 362789 | 636 62548 268903 | 106914 82427 24 | 0.000 % |
706.30/706.61 c | 363660 | 636 62548 268903 | 106914 83298 24 | 0.000 % |
709.20/709.58 c | 364619 | 636 62548 268903 | 106914 84257 24 | 0.000 % |
711.49/711.82 c | 365672 | 636 62548 268903 | 106914 85310 24 | 0.000 % |
714.70/715.09 c | 366831 | 636 62548 268903 | 106914 86469 24 | 0.000 % |
718.59/718.96 c | 368105 | 636 62548 268903 | 106914 87743 24 | 0.000 % |
722.49/722.82 c | 369505 | 636 62548 268903 | 106914 89143 24 | 0.000 % |
727.79/728.16 c | 371050 | 636 62548 268903 | 89638 80182 24 | 0.000 % |
732.49/732.83 c | 372744 | 636 62548 268903 | 89638 81876 24 | 0.000 % |
737.39/737.70 c | 374610 | 636 62548 268903 | 89638 83742 24 | 0.000 % |
743.38/743.77 c | 376659 | 636 62548 268903 | 89638 85791 25 | 0.000 % |
749.79/750.17 c | 378918 | 636 62548 268903 | 89638 88050 25 | 0.000 % |
756.78/757.12 c | 381396 | 636 62548 268903 | 89132 80593 25 | 0.000 % |
763.28/763.68 c | 384121 | 636 62548 268903 | 89132 83318 25 | 0.000 % |
769.69/770.03 c | 387118 | 636 62548 268903 | 89132 86315 24 | 0.000 % |
775.48/775.85 c | 390414 | 636 62548 268903 | 2147483647 89611 24 | 0.000 % |
783.18/783.50 c | 394040 | 636 62548 268903 | 2147483647 93237 24 | 0.000 % |
783.38/783.74 c | 394140 | 636 62548 268903 | 2147483647 93337 24 | 0.000 % |
783.58/783.98 c | 394250 | 636 62548 268903 | 2147483647 93447 24 | 0.000 % |
783.88/784.23 c | 394371 | 636 62548 268903 | 2147483647 93568 24 | 0.000 % |
784.18/784.52 c | 394507 | 636 62548 268903 | 2147483647 93704 24 | 0.000 % |
784.58/784.90 c | 394655 | 636 62548 268903 | 2147483647 93852 24 | 0.000 % |
784.88/785.27 c | 394815 | 636 62548 268903 | 2147483647 94012 24 | 0.000 % |
785.28/785.64 c | 394991 | 636 62548 268903 | 2147483647 94188 24 | 0.000 % |
785.68/786.06 c | 395184 | 636 62548 268903 | 2147483647 94381 24 | 0.000 % |
786.18/786.53 c | 395398 | 636 62548 268903 | 2147483647 94595 24 | 0.000 % |
786.68/787.02 c | 395632 | 636 62548 268903 | 2147483647 94829 24 | 0.000 % |
787.28/787.64 c | 395888 | 636 62548 268903 | 2147483647 95085 24 | 0.000 % |
787.98/788.31 c | 396173 | 636 62548 268903 | 2147483647 95370 24 | 0.000 % |
788.68/789.04 c | 396482 | 636 62548 268903 | 2147483647 95679 24 | 0.000 % |
789.57/789.90 c | 396823 | 636 62548 268903 | 2147483647 96020 24 | 0.000 % |
790.37/790.74 c | 397195 | 636 62548 268903 | 2147483647 96392 24 | 0.000 % |
791.27/791.65 c | 397604 | 636 62548 268903 | 2147483647 96801 24 | 0.000 % |
792.57/792.92 c | 398054 | 636 62548 268903 | 2147483647 97251 24 | 0.000 % |
793.78/794.20 c | 398548 | 636 62548 268903 | 2147483647 97745 24 | 0.000 % |
795.27/795.63 c | 399091 | 636 62548 268903 | 2147483647 98288 24 | 0.000 % |
796.87/797.26 c | 399689 | 636 62548 268903 | 2147483647 98886 24 | 0.000 % |
798.37/798.76 c | 400344 | 636 62548 268903 | 2147483647 99541 24 | 0.000 % |
799.97/800.32 c | 401068 | 636 62548 268903 | 2147483647 100265 24 | 0.000 % |
802.17/802.51 c | 401862 | 636 62548 268903 | 2147483647 101059 24 | 0.000 % |
804.17/804.54 c | 402738 | 636 62548 268903 | 2147483647 101935 24 | 0.000 % |
806.47/806.84 c | 403696 | 636 62548 268903 | 2147483647 102893 24 | 0.000 % |
809.07/809.45 c | 404752 | 636 62548 268903 | 2147483647 103949 24 | 0.000 % |
812.07/812.45 c | 405912 | 636 62548 268903 | 2147483647 105109 24 | 0.000 % |
815.36/815.72 c | 407185 | 636 62548 268903 | 2147483647 106382 24 | 0.000 % |
818.66/819.04 c | 408587 | 636 62548 268903 | 2147483647 107784 24 | 0.000 % |
822.56/822.91 c | 410127 | 636 62548 268903 | 2147483647 109324 25 | 0.000 % |
826.26/826.60 c | 411821 | 636 62548 268903 | 2147483647 111018 25 | 0.000 % |
830.66/831.00 c | 413686 | 636 62548 268903 | 2147483647 112883 25 | 0.000 % |
835.56/835.96 c | 415735 | 636 62548 268903 | 2147483647 114932 24 | 0.000 % |
840.86/841.21 c | 417990 | 636 62548 268903 | 2147483647 117187 24 | 0.000 % |
847.45/847.82 c | 420469 | 636 62548 268903 | 2147483647 119666 24 | 0.000 % |
853.85/854.28 c | 423195 | 636 62548 268903 | 2147483647 122392 24 | 0.000 % |
861.75/862.17 c | 426193 | 636 62548 268903 | 2147483647 125390 24 | 0.000 % |
871.14/871.57 c | 429489 | 636 62548 268903 | 2147483647 128686 24 | 0.000 % |
880.44/880.89 c | 433114 | 636 62548 268903 | 2147483647 132311 24 | 0.000 % |
895.53/895.96 c | 437102 | 636 62548 268903 | 2147483647 136299 24 | 0.004 % |
896.14/896.54 c | 437202 | 636 62548 268903 | 2147483647 136399 24 | 0.000 % |
896.43/896.87 c | 437312 | 636 62548 268903 | 2147483647 136509 24 | 0.000 % |
896.73/897.19 c | 437433 | 636 62548 268903 | 2147483647 136630 24 | 0.002 % |
897.14/897.56 c | 437566 | 636 62548 268903 | 2147483647 136763 24 | 0.000 % |
898.03/898.41 c | 437713 | 636 62548 268903 | 2147483647 136910 24 | 0.000 % |
898.43/898.89 c | 437873 | 636 62548 268903 | 2147483647 137070 24 | 0.000 % |
899.13/899.59 c | 438051 | 636 62548 268903 | 2147483647 137248 24 | 0.000 % |
900.03/900.50 c | 438246 | 636 62548 268903 | 2147483647 137443 24 | 0.000 % |
901.03/901.48 c | 438458 | 636 62548 268903 | 2147483647 137655 24 | 0.000 % |
901.83/902.21 c | 438692 | 636 62548 268903 | 2147483647 137889 24 | 0.000 % |
902.53/902.95 c | 438948 | 636 62548 268903 | 2147483647 138145 24 | 0.002 % |
903.74/904.14 c | 439230 | 636 62548 268903 | 2147483647 138427 24 | 0.000 % |
905.14/905.56 c | 439540 | 636 62548 268903 | 2147483647 138737 24 | 0.002 % |
907.14/907.50 c | 439881 | 636 62548 268903 | 2147483647 139078 24 | 0.000 % |
909.14/909.55 c | 440255 | 636 62548 268903 | 139197 113078 24 | 0.000 % |
910.84/911.23 c | 440664 | 636 62548 268903 | 139197 113487 24 | 0.002 % |
912.34/912.74 c | 441114 | 636 62548 268903 | 139197 113937 24 | 0.000 % |
913.04/913.42 c | 441607 | 636 62548 268903 | 139197 114430 24 | 0.001 % |
915.24/915.65 c | 442149 | 636 62548 268903 | 139197 114972 24 | 0.000 % |
917.73/918.17 c | 442746 | 636 62548 268903 | 139197 115569 24 | 0.000 % |
920.13/920.54 c | 443401 | 636 62548 268903 | 139197 116224 24 | 0.000 % |
923.03/923.42 c | 444121 | 636 62548 268903 | 139197 116944 24 | 0.002 % |
926.03/926.43 c | 444913 | 636 62548 268903 | 139197 117736 24 | 0.000 % |
928.93/929.39 c | 445785 | 636 62548 268903 | 139197 118608 24 | 0.002 % |
932.33/932.71 c | 446743 | 636 62548 268903 | 139197 119566 24 | 0.000 % |
936.03/936.48 c | 447798 | 636 62548 268903 | 139197 120621 24 | 0.000 % |
940.62/941.06 c | 448957 | 636 62548 268903 | 139197 121780 24 | 0.002 % |
945.82/946.21 c | 450231 | 636 62548 268903 | 122823 100642 24 | 0.002 % |
949.82/950.21 c | 451631 | 636 62548 268903 | 122823 102042 24 | 0.002 % |
953.42/953.89 c | 453173 | 636 62548 268903 | 122823 103584 24 | 0.000 % |
958.52/959.00 c | 454870 | 636 62548 268903 | 122823 105281 24 | 0.002 % |
963.62/964.02 c | 456734 | 636 62548 268903 | 122823 107145 24 | 0.002 % |
968.51/968.93 c | 458784 | 636 62548 268903 | 122823 109195 24 | 0.002 % |
973.91/974.37 c | 461039 | 636 62548 268903 | 2147483647 111450 24 | 0.002 % |
981.61/982.06 c | 463518 | 636 62548 268903 | 2147483647 113929 24 | 0.000 % |
990.40/990.88 c | 466243 | 636 62548 268903 | 2147483647 116654 24 | 0.000 % |
1003.70/1004.11 c | 469240 | 636 62548 268903 | 2147483647 119651 24 | 0.000 % |
1008.60/1009.00 c | 472536 | 636 62548 268903 | 120413 105117 23 | 0.000 % |
1024.59/1025.07 c | 476161 | 636 62548 268903 | 120413 108742 24 | 0.000 % |
1037.59/1038.02 c | 480151 | 636 62548 268903 | 112581 94698 24 | 0.000 % |
1049.18/1049.67 c | 484537 | 636 62548 268903 | 112581 99084 24 | 0.000 % |
1049.38/1049.86 c | 484640 | 636 62548 268903 | 112581 99187 24 | 0.000 % |
1049.48/1049.98 c | 484752 | 636 62548 268903 | 112581 99299 24 | 0.000 % |
1049.68/1050.14 c | 484873 | 636 62548 268903 | 112581 99420 24 | 0.031 % |
1049.88/1050.33 c | 485007 | 636 62548 268903 | 112581 99554 24 | 0.000 % |
1050.48/1050.91 c | 485153 | 636 62548 268903 | 112581 99700 24 | 0.000 % |
1051.09/1051.51 c | 485313 | 636 62548 268903 | 112581 99860 24 | 0.000 % |
1051.68/1052.18 c | 485490 | 636 62548 268903 | 112581 100037 24 | 0.000 % |
1052.48/1052.91 c | 485686 | 636 62548 268903 | 112581 100233 24 | 0.000 % |
1053.48/1053.90 c | 485899 | 636 62548 268903 | 112581 100446 24 | 0.000 % |
1054.18/1054.69 c | 486132 | 636 62548 268903 | 112581 100679 24 | 0.000 % |
1054.48/1054.97 c | 486388 | 636 62548 268903 | 112581 100935 24 | 0.000 % |
1054.78/1055.30 c | 486677 | 636 62548 268903 | 112581 101224 24 | 0.000 % |
1055.18/1055.69 c | 486986 | 636 62548 268903 | 112581 101533 24 | 0.000 % |
1055.68/1056.11 c | 487325 | 636 62548 268903 | 112581 101872 24 | 0.000 % |
1056.08/1056.59 c | 487701 | 636 62548 268903 | 112581 102248 24 | 0.000 % |
1056.68/1057.14 c | 488110 | 636 62548 268903 | 112581 102657 24 | 0.000 % |
1057.88/1058.33 c | 488559 | 636 62548 268903 | 112581 103106 24 | 0.000 % |
1059.78/1060.27 c | 489056 | 636 62548 268903 | 112581 103603 24 | 0.000 % |
1062.08/1062.59 c | 489598 | 636 62548 268903 | 112581 104145 24 | 0.000 % |
1064.89/1065.35 c | 490194 | 636 62548 268903 | 104549 93069 24 | 0.000 % |
1067.08/1067.54 c | 490851 | 636 62548 268903 | 104549 93726 24 | 0.000 % |
1068.88/1069.31 c | 491574 | 636 62548 268903 | 104549 94449 24 | 0.000 % |
1071.38/1071.84 c | 492366 | 636 62548 268903 | 104549 95241 24 | 0.000 % |
1073.48/1073.99 c | 493238 | 636 62548 268903 | 104549 96113 24 | 0.000 % |
1075.78/1076.25 c | 494196 | 636 62548 268903 | 104549 97071 24 | 0.000 % |
1078.88/1079.39 c | 495251 | 636 62548 268903 | 104549 98126 24 | 0.000 % |
1080.88/1081.34 c | 496409 | 636 62548 268903 | 104549 99284 24 | 0.000 % |
1082.38/1082.88 c | 497682 | 636 62548 268903 | 104549 100557 24 | 0.002 % |
1086.48/1086.99 c | 499082 | 636 62548 268903 | 104549 101957 24 | 0.000 % |
1091.88/1092.39 c | 500624 | 636 62548 268903 | 2147483647 103499 24 | 0.000 % |
1098.08/1098.52 c | 502318 | 636 62548 268903 | 2147483647 105193 24 | 0.000 % |
1103.57/1104.06 c | 504184 | 636 62548 268903 | 2147483647 107059 24 | 0.000 % |
1109.77/1110.21 c | 506235 | 636 62548 268903 | 2147483647 109110 24 | 0.002 % |
1116.77/1117.27 c | 508488 | 636 62548 268903 | 2147483647 111363 24 | 0.002 % |
1124.87/1125.30 c | 510969 | 636 62548 268903 | 112877 96110 24 | 0.000 % |
1130.06/1130.51 c | 513695 | 636 62548 268903 | 112877 98836 24 | 0.000 % |
1136.36/1136.89 c | 516694 | 636 62548 268903 | 112877 101835 24 | 0.000 % |
1140.96/1141.40 c | 519991 | 636 62548 268903 | 112877 105132 24 | 0.000 % |
1146.76/1147.26 c | 523619 | 636 62548 268903 | 2147483647 108760 24 | 0.000 % |
1153.95/1154.49 c | 527606 | 636 62548 268903 | 2147483647 112747 24 | 0.000 % |
1162.45/1162.97 c | 531993 | 636 62548 268903 | 2147483647 117134 24 | 0.000 % |
1170.85/1171.33 c | 536817 | 636 62548 268903 | 2147483647 121958 24 | 0.000 % |
1171.05/1171.56 c | 536920 | 636 62548 268903 | 2147483647 122061 24 | 0.000 % |
1171.25/1171.77 c | 537031 | 636 62548 268903 | 2147483647 122172 24 | 0.000 % |
1171.65/1172.12 c | 537152 | 636 62548 268903 | 2147483647 122293 24 | 0.000 % |
1171.94/1172.43 c | 537286 | 636 62548 268903 | 2147483647 122427 24 | 0.000 % |
1172.44/1172.93 c | 537432 | 636 62548 268903 | 2147483647 122573 24 | 0.000 % |
1172.85/1173.30 c | 537594 | 636 62548 268903 | 2147483647 122735 24 | 0.000 % |
1173.34/1173.86 c | 537772 | 636 62548 268903 | 2147483647 122913 24 | 0.000 % |
1173.74/1174.21 c | 537966 | 636 62548 268903 | 2147483647 123107 24 | 0.000 % |
1174.25/1174.72 c | 538179 | 636 62548 268903 | 2147483647 123320 24 | 0.000 % |
1174.74/1175.23 c | 538412 | 636 62548 268903 | 2147483647 123553 24 | 0.000 % |
1175.24/1175.80 c | 538668 | 636 62548 268903 | 2147483647 123809 24 | 0.000 % |
1175.94/1176.42 c | 538950 | 636 62548 268903 | 2147483647 124091 24 | 0.000 % |
1176.64/1177.19 c | 539261 | 636 62548 268903 | 2147483647 124402 24 | 0.000 % |
1177.44/1177.93 c | 539600 | 636 62548 268903 | 2147483647 124741 24 | 0.000 % |
1178.24/1178.72 c | 539973 | 636 62548 268903 | 2147483647 125114 24 | 0.000 % |
1179.24/1179.70 c | 540382 | 636 62548 268903 | 2147483647 125523 24 | 0.000 % |
1180.24/1180.79 c | 540831 | 636 62548 268903 | 2147483647 125972 24 | 0.000 % |
1181.44/1181.90 c | 541324 | 636 62548 268903 | 2147483647 126465 24 | 0.000 % |
1182.54/1183.08 c | 541867 | 636 62548 268903 | 2147483647 127008 24 | 0.000 % |
1183.54/1184.03 c | 542463 | 636 62548 268903 | 2147483647 127604 24 | 0.000 % |
1185.04/1185.54 c | 543118 | 636 62548 268903 | 2147483647 128259 24 | 0.000 % |
1186.44/1186.92 c | 543838 | 636 62548 268903 | 2147483647 128979 24 | 0.000 % |
1187.94/1188.41 c | 544631 | 636 62548 268903 | 2147483647 129772 24 | 0.000 % |
1189.83/1190.32 c | 545502 | 636 62548 268903 | 2147483647 130643 24 | 0.000 % |
1192.13/1192.68 c | 546460 | 636 62548 268903 | 2147483647 131601 24 | 0.000 % |
1194.73/1195.28 c | 547514 | 636 62548 268903 | 2147483647 132655 24 | 0.000 % |
1197.83/1198.31 c | 548676 | 636 62548 268903 | 2147483647 133817 24 | 0.000 % |
1200.63/1201.20 c | 549949 | 636 62548 268903 | 2147483647 135090 24 | 0.000 % |
1204.23/1204.77 c | 551350 | 636 62548 268903 | 2147483647 136491 24 | 0.000 % |
1207.53/1208.02 c | 552892 | 636 62548 268903 | 2147483647 138033 24 | 0.000 % |
1211.53/1212.01 c | 554588 | 636 62548 268903 | 2147483647 139729 24 | 0.000 % |
1214.83/1215.38 c | 556452 | 636 62548 268903 | 2147483647 141593 24 | 0.000 % |
1217.82/1218.40 c | 558501 | 636 62548 268903 | 2147483647 143642 24 | 0.033 % |
1227.93/1228.46 c | 560755 | 636 62548 268903 | 145142 114379 24 | 0.000 % |
1238.93/1239.43 c | 563236 | 636 62548 268903 | 145142 116860 24 | 0.000 % |
1251.52/1252.04 c | 565962 | 636 62548 268903 | 145142 119586 24 | 0.000 % |
1264.52/1265.09 c | 568960 | 636 62548 268903 | 145142 122584 24 | 0.000 % |
1280.31/1280.88 c | 572257 | 636 62548 268903 | 123624 96601 24 | 0.002 % |
1296.41/1296.97 c | 575883 | 636 62548 268903 | 123624 100227 24 | 0.000 % |
1314.90/1315.43 c | 579873 | 636 62548 268903 | 123624 104217 24 | 0.000 % |
1330.30/1330.87 c | 584258 | 636 62548 268903 | 104346 83000 23 | 0.000 % |
1344.99/1345.54 c | 589082 | 636 62548 268903 | 104346 87824 22 | 0.000 % |
1362.19/1362.72 c | 594389 | 636 62548 268903 | 88745 79946 23 | 0.000 % |
1362.39/1362.96 c | 594489 | 636 62548 268903 | 88745 80046 23 | 0.000 % |
1362.78/1363.37 c | 594601 | 636 62548 268903 | 88745 80158 23 | 0.000 % |
1363.08/1363.64 c | 594722 | 636 62548 268903 | 88745 80279 23 | 0.000 % |
1363.39/1363.98 c | 594855 | 636 62548 268903 | 88745 80412 23 | 0.000 % |
1363.78/1364.37 c | 595002 | 636 62548 268903 | 88745 80559 23 | 0.000 % |
1364.38/1364.94 c | 595165 | 636 62548 268903 | 88745 80722 23 | 0.000 % |
1364.88/1365.46 c | 595342 | 636 62548 268903 | 88745 80899 23 | 0.000 % |
1365.59/1366.12 c | 595535 | 636 62548 268903 | 88745 81092 23 | 0.000 % |
1366.28/1366.83 c | 595747 | 636 62548 268903 | 88745 81304 23 | 0.000 % |
1366.98/1367.53 c | 595982 | 636 62548 268903 | 88745 81539 23 | 0.000 % |
1367.88/1368.43 c | 596239 | 636 62548 268903 | 88745 81796 23 | 0.000 % |
1368.78/1369.36 c | 596520 | 636 62548 268903 | 88745 82077 23 | 0.002 % |
1369.48/1370.09 c | 596833 | 636 62548 268903 | 88745 82390 23 | 0.000 % |
1369.98/1370.57 c | 597173 | 636 62548 268903 | 88745 82730 23 | 0.000 % |
1371.28/1371.87 c | 597545 | 636 62548 268903 | 88745 83102 23 | 0.000 % |
1372.38/1372.90 c | 597958 | 636 62548 268903 | 88745 83515 23 | 0.000 % |
1373.57/1374.16 c | 598407 | 636 62548 268903 | 88745 83964 23 | 0.000 % |
1375.07/1375.62 c | 598900 | 636 62548 268903 | 88745 84457 23 | 0.000 % |
1376.87/1377.40 c | 599442 | 636 62548 268903 | 88745 84999 23 | 0.000 % |
1378.88/1379.49 c | 600039 | 636 62548 268903 | 85562 85596 23 | 0.000 % |
1380.77/1381.31 c | 600695 | 636 62548 268903 | 85562 73365 23 | 0.000 % |
1382.27/1382.87 c | 601416 | 636 62548 268903 | 85562 74086 23 | 0.000 % |
1384.27/1384.86 c | 602211 | 636 62548 268903 | 85562 74881 23 | 0.000 % |
1386.37/1386.92 c | 603083 | 636 62548 268903 | 85562 75753 24 | 0.000 % |
1388.77/1389.33 c | 604042 | 636 62548 268903 | 85562 76712 24 | 0.000 % |
1390.37/1390.91 c | 605096 | 636 62548 268903 | 85562 77766 24 | 0.000 % |
1393.07/1393.63 c | 606254 | 636 62548 268903 | 85562 78924 24 | 0.000 % |
1396.47/1397.04 c | 607531 | 636 62548 268903 | 85562 80201 24 | 0.000 % |
1400.26/1400.86 c | 608933 | 636 62548 268903 | 85562 81603 24 | 0.000 % |
1402.46/1403.02 c | 610473 | 636 62548 268903 | 82670 72351 24 | 0.002 % |
1404.36/1404.93 c | 612167 | 636 62548 268903 | 82670 74045 24 | 0.000 % |
1406.56/1407.17 c | 614030 | 636 62548 268903 | 82670 75908 24 | 0.000 % |
1410.56/1411.16 c | 616079 | 636 62548 268903 | 82670 77957 24 | 0.000 % |
1414.95/1415.60 c | 618336 | 636 62548 268903 | 82670 80214 24 | 0.000 % |
1420.25/1420.82 c | 620815 | 636 62548 268903 | 2147483647 82693 24 | 0.000 % |
1425.75/1426.37 c | 623541 | 636 62548 268903 | 2147483647 85419 24 | 0.000 % |
1431.65/1432.21 c | 626538 | 636 62548 268903 | 2147483647 88416 24 | 0.000 % |
1438.65/1439.27 c | 629834 | 636 62548 268903 | 2147483647 91712 25 | 0.000 % |
1446.04/1446.67 c | 633462 | 636 62548 268903 | 2147483647 95340 25 | 0.000 % |
1454.74/1455.37 c | 637449 | 636 62548 268903 | 2147483647 99327 25 | 0.000 % |
1464.14/1464.75 c | 641837 | 636 62548 268903 | 2147483647 103715 24 | 0.000 % |
1475.13/1475.73 c | 646662 | 636 62548 268903 | 2147483647 108540 24 | 0.000 % |
1490.04/1490.66 c | 651969 | 636 62548 268903 | 2147483647 113847 24 | 0.002 % |
1507.73/1508.31 c | 657804 | 636 62548 268903 | 2147483647 119682 24 | 0.002 % |
1508.03/1508.64 c | 657904 | 636 62548 268903 | 2147483647 119782 24 | 0.000 % |
1508.43/1509.01 c | 658015 | 636 62548 268903 | 2147483647 119893 24 | 0.002 % |
1508.73/1509.39 c | 658136 | 636 62548 268903 | 2147483647 120014 24 | 0.000 % |
1508.93/1509.58 c | 658271 | 636 62548 268903 | 2147483647 120149 24 | 0.000 % |
1509.33/1509.94 c | 658419 | 636 62548 268903 | 2147483647 120297 24 | 0.000 % |
1509.63/1510.24 c | 658580 | 636 62548 268903 | 2147483647 120458 24 | 0.000 % |
1510.13/1510.75 c | 658756 | 636 62548 268903 | 2147483647 120634 24 | 0.000 % |
1510.53/1511.18 c | 658953 | 636 62548 268903 | 2147483647 120831 24 | 0.000 % |
1511.13/1511.71 c | 659165 | 636 62548 268903 | 2147483647 121043 24 | 0.000 % |
1511.63/1512.27 c | 659398 | 636 62548 268903 | 2147483647 121276 24 | 0.002 % |
1512.33/1512.93 c | 659655 | 636 62548 268903 | 2147483647 121533 24 | 0.000 % |
1512.93/1513.52 c | 659936 | 636 62548 268903 | 2147483647 121814 24 | 0.000 % |
1513.83/1514.48 c | 660246 | 636 62548 268903 | 121878 105946 24 | 0.000 % |
1514.33/1514.99 c | 660589 | 636 62548 268903 | 121878 106289 24 | 0.000 % |
1515.03/1515.65 c | 660962 | 636 62548 268903 | 121878 106662 24 | 0.000 % |
1515.63/1516.28 c | 661371 | 636 62548 268903 | 121878 107071 24 | 0.000 % |
1516.53/1517.15 c | 661822 | 636 62548 268903 | 121878 107522 24 | 0.000 % |
1517.33/1518.00 c | 662315 | 636 62548 268903 | 121878 108015 24 | 0.000 % |
1518.23/1518.87 c | 662858 | 636 62548 268903 | 121878 108558 24 | 0.001 % |
1519.13/1519.78 c | 663455 | 636 62548 268903 | 121878 109155 24 | 0.002 % |
1520.53/1521.15 c | 664110 | 636 62548 268903 | 121878 109810 24 | 0.002 % |
1521.83/1522.49 c | 664830 | 636 62548 268903 | 121878 110530 24 | 0.002 % |
1522.93/1523.54 c | 665622 | 636 62548 268903 | 121878 111322 24 | 0.002 % |
1524.22/1524.83 c | 666494 | 636 62548 268903 | 121878 112194 24 | 0.002 % |
1525.72/1526.38 c | 667456 | 636 62548 268903 | 121878 113156 24 | 0.000 % |
1527.23/1527.81 c | 668512 | 636 62548 268903 | 121878 114212 24 | 0.000 % |
1529.92/1530.52 c | 669670 | 636 62548 268903 | 121878 115370 24 | 0.000 % |
1532.42/1533.00 c | 670943 | 636 62548 268903 | 2147483647 116643 24 | 0.000 % |
1534.93/1535.57 c | 672351 | 636 62548 268903 | 2147483647 118051 24 | 0.000 % |
1537.62/1538.20 c | 673891 | 636 62548 268903 | 2147483647 119591 24 | 0.002 % |
1541.02/1541.61 c | 675586 | 636 62548 268903 | 2147483647 121286 24 | 0.035 % |
1545.32/1545.91 c | 677449 | 636 62548 268903 | 2147483647 123149 24 | 0.000 % |
1549.22/1549.81 c | 679502 | 636 62548 268903 | 2147483647 125202 24 | 0.000 % |
1554.21/1554.84 c | 681755 | 636 62548 268903 | 125700 113872 24 | 0.000 % |
1558.61/1559.25 c | 684234 | 636 62548 268903 | 125700 116351 24 | 0.000 % |
1563.31/1563.93 c | 686959 | 636 62548 268903 | 125700 119076 24 | 0.000 % |
1568.81/1569.45 c | 689957 | 636 62548 268903 | 125700 122074 24 | 0.000 % |
1575.51/1576.12 c | 693255 | 636 62548 268903 | 2147483647 125372 24 | 0.002 % |
1582.80/1583.41 c | 696880 | 636 62548 268903 | 2147483647 128997 24 | 0.000 % |
1590.10/1590.80 c | 700867 | 636 62548 268903 | 2147483647 132984 24 | 0.002 % |
1597.80/1598.43 c | 705256 | 636 62548 268903 | 2147483647 137373 24 | 0.000 % |
1606.99/1607.68 c | 710082 | 636 62548 268903 | 2147483647 142199 23 | 0.002 % |
1618.69/1619.31 c | 715389 | 636 62548 268903 | 2147483647 147506 24 | 0.000 % |
1630.09/1630.70 c | 721224 | 636 62548 268903 | 2147483647 153341 24 | 0.000 % |
1643.29/1643.98 c | 727646 | 636 62548 268903 | 2147483647 159763 24 | 0.002 % |
1643.59/1644.20 c | 727748 | 636 62548 268903 | 2147483647 159865 24 | 0.000 % |
1643.79/1644.42 c | 727861 | 636 62548 268903 | 2147483647 159978 24 | 0.000 % |
1643.99/1644.67 c | 727985 | 636 62548 268903 | 2147483647 160102 24 | 0.000 % |
1644.29/1644.91 c | 728118 | 636 62548 268903 | 2147483647 160235 24 | 0.002 % |
1644.59/1645.27 c | 728264 | 636 62548 268903 | 2147483647 160381 24 | 0.000 % |
1644.99/1645.62 c | 728424 | 636 62548 268903 | 2147483647 160541 24 | 0.002 % |
1645.38/1646.02 c | 728600 | 636 62548 268903 | 2147483647 160717 24 | 0.000 % |
1645.68/1646.37 c | 728797 | 636 62548 268903 | 2147483647 160914 24 | 0.002 % |
1646.18/1646.84 c | 729014 | 636 62548 268903 | 2147483647 161131 24 | 0.002 % |
1646.78/1647.46 c | 729247 | 636 62548 268903 | 2147483647 161364 24 | 0.000 % |
1647.48/1648.10 c | 729504 | 636 62548 268903 | 2147483647 161621 24 | 0.000 % |
1648.29/1648.99 c | 729786 | 636 62548 268903 | 2147483647 161903 24 | 0.000 % |
1649.18/1649.87 c | 730095 | 636 62548 268903 | 2147483647 162212 24 | 0.000 % |
1650.09/1650.77 c | 730435 | 636 62548 268903 | 2147483647 162552 24 | 0.000 % |
1651.08/1651.74 c | 730807 | 636 62548 268903 | 2147483647 162924 24 | 0.000 % |
1652.08/1652.72 c | 731219 | 636 62548 268903 | 2147483647 163336 24 | 0.000 % |
1653.18/1653.88 c | 731671 | 636 62548 268903 | 2147483647 163788 24 | 0.000 % |
1654.68/1655.31 c | 732166 | 636 62548 268903 | 2147483647 164283 24 | 0.000 % |
1656.08/1656.78 c | 732708 | 636 62548 268903 | 2147483647 164825 24 | 0.000 % |
1657.48/1658.13 c | 733307 | 636 62548 268903 | 2147483647 165424 24 | 0.000 % |
1659.18/1659.88 c | 733963 | 636 62548 268903 | 2147483647 166080 24 | 0.000 % |
1660.98/1661.68 c | 734690 | 636 62548 268903 | 2147483647 166807 24 | 0.000 % |
1663.18/1663.86 c | 735483 | 636 62548 268903 | 2147483647 167600 24 | 0.000 % |
1665.48/1666.11 c | 736354 | 636 62548 268903 | 2147483647 168471 24 | 0.000 % |
1668.28/1668.95 c | 737315 | 636 62548 268903 | 2147483647 169432 24 | 0.000 % |
1671.08/1671.71 c | 738369 | 636 62548 268903 | 2147483647 170486 24 | 0.000 % |
1673.37/1674.05 c | 739529 | 636 62548 268903 | 2147483647 171646 24 | 0.000 % |
1677.58/1678.27 c | 740803 | 636 62548 268903 | 172117 138303 23 | 0.000 % |
1680.08/1680.76 c | 742203 | 636 62548 268903 | 172117 139703 23 | 0.000 % |
1683.38/1684.07 c | 743744 | 636 62548 268903 | 172117 141244 23 | 0.000 % |
1686.78/1687.46 c | 745441 | 636 62548 268903 | 172117 142941 23 | 0.002 % |
1690.78/1691.41 c | 747305 | 636 62548 268903 | 172117 144805 23 | 0.002 % |
1694.88/1695.58 c | 749354 | 636 62548 268903 | 172117 146854 23 | 0.002 % |
1699.57/1700.24 c | 751607 | 636 62548 268903 | 2147483647 149107 23 | 0.002 % |
1705.77/1706.42 c | 754086 | 636 62548 268903 | 2147483647 151586 23 | 0.000 % |
1711.97/1712.65 c | 756812 | 636 62548 268903 | 2147483647 154312 23 | 0.000 % |
1719.27/1719.98 c | 759810 | 636 62548 268903 | 2147483647 157310 23 | 0.000 % |
1726.66/1727.30 c | 763106 | 636 62548 268903 | 157500 132365 23 | 0.002 % |
1733.66/1734.39 c | 766736 | 636 62548 268903 | 157500 135995 23 | 0.000 % |
1741.46/1742.14 c | 770725 | 636 62548 268903 | 2147483647 139984 23 | 0.002 % |
1751.75/1752.45 c | 775110 | 636 62548 268903 | 2147483647 144369 23 | 0.000 % |
1763.45/1764.10 c | 779933 | 636 62548 268903 | 2147483647 149192 23 | 0.000 % |
1775.94/1776.66 c | 785240 | 636 62548 268903 | 2147483647 154499 23 | 0.000 % |
1789.35/1790.02 c | 791075 | 636 62548 268903 | 2147483647 160334 22 | 0.000 % |
1806.94/1807.65 c | 797496 | 636 62548 268903 | 2147483647 166755 23 | 0.000 % |
1825.53/1826.27 c | 804557 | 636 62548 268903 | 169261 150586 22 | 0.002 % |
1825.83/1826.53 c | 804658 | 636 62548 268903 | 169261 150687 22 | 0.000 % |
1826.13/1826.83 c | 804768 | 636 62548 268903 | 169261 150797 22 | 0.000 % |
1826.53/1827.20 c | 804889 | 636 62548 268903 | 169261 150918 22 | 0.000 % |
1826.83/1827.53 c | 805022 | 636 62548 268903 | 169261 151051 22 | 0.000 % |
1827.23/1827.98 c | 805169 | 636 62548 268903 | 169261 151198 22 | 0.000 % |
1827.73/1828.40 c | 805329 | 636 62548 268903 | 169261 151358 22 | 0.000 % |
1828.03/1828.76 c | 805507 | 636 62548 268903 | 169261 151536 22 | 0.002 % |
1828.54/1829.26 c | 805700 | 636 62548 268903 | 169261 151729 22 | 0.000 % |
1829.03/1829.74 c | 805914 | 636 62548 268903 | 169261 151943 22 | 0.002 % |
1829.43/1830.12 c | 806147 | 636 62548 268903 | 169261 152176 22 | 0.000 % |
1829.83/1830.52 c | 806403 | 636 62548 268903 | 169261 152432 22 | 0.000 % |
1830.23/1830.96 c | 806684 | 636 62548 268903 | 169261 152713 22 | 0.002 % |
1831.03/1831.71 c | 806993 | 636 62548 268903 | 169261 153022 22 | 0.000 % |
1831.63/1832.33 c | 807332 | 636 62548 268903 | 169261 153361 22 | 0.000 % |
1832.23/1832.91 c | 807704 | 636 62548 268903 | 169261 153733 22 | 0.000 % |
1832.94/1833.62 c | 808115 | 636 62548 268903 | 169261 154144 22 | 0.002 % |
1833.73/1834.40 c | 808567 | 636 62548 268903 | 169261 154596 22 | 0.002 % |
1835.43/1836.11 c | 809060 | 636 62548 268903 | 169261 155089 22 | 0.000 % |
1836.73/1837.41 c | 809602 | 636 62548 268903 | 169261 155631 22 | 0.000 % |
1838.23/1838.93 c | 810199 | 636 62548 268903 | 2147483647 156228 22 | 0.000 % |
1839.93/1840.66 c | 810854 | 636 62548 268903 | 2147483647 156883 22 | 0.002 % |
1841.83/1842.53 c | 811574 | 636 62548 268903 | 2147483647 157603 22 | 0.002 % |
1844.12/1844.89 c | 812366 | 636 62548 268903 | 2147483647 158395 22 | 0.000 % |
1846.02/1846.75 c | 813237 | 636 62548 268903 | 2147483647 159266 22 | 0.000 % |
1848.72/1849.41 c | 814198 | 636 62548 268903 | 2147483647 160227 22 | 0.000 % |
1850.92/1851.64 c | 815252 | 636 62548 268903 | 2147483647 161281 22 | 0.000 % |
1853.32/1854.07 c | 816415 | 636 62548 268903 | 2147483647 162444 22 | 0.002 % |
1856.42/1857.11 c | 817694 | 636 62548 268903 | 2147483647 163723 22 | 0.002 % |
1860.32/1861.07 c | 819094 | 636 62548 268903 | 2147483647 165123 22 | 0.002 % |
1865.32/1866.05 c | 820635 | 636 62548 268903 | 166031 146992 22 | 0.000 % |
1869.81/1870.54 c | 822329 | 636 62548 268903 | 166031 148686 22 | 0.000 % |
1874.41/1875.10 c | 824193 | 636 62548 268903 | 166031 150550 22 | 0.000 % |
1879.22/1879.95 c | 826243 | 636 62548 268903 | 166031 152600 22 | 0.002 % |
1882.61/1883.37 c | 828496 | 636 62548 268903 | 166031 154853 22 | 0.000 % |
1886.51/1887.20 c | 830976 | 636 62548 268903 | 2147483647 157333 22 | 0.002 % |
1891.91/1892.60 c | 833702 | 636 62548 268903 | 2147483647 160059 22 | 0.002 % |
1898.81/1899.50 c | 836700 | 636 62548 268903 | 2147483647 163057 22 | 0.002 % |
1906.61/1907.30 c | 839997 | 636 62548 268903 | 2147483647 166354 22 | 0.000 % |
1915.40/1916.18 c | 843626 | 636 62548 268903 | 2147483647 169983 22 | 0.000 % |
1924.60/1925.31 c | 847613 | 635 61973 267182 | 2147483647 160193 22 | 0.159 % |
1934.10/1934.90 c | 851999 | 635 61973 267182 | 2147483647 164579 22 | 0.157 % |
1947.79/1948.59 c | 856828 | 635 61973 267182 | 2147483647 169408 22 | 0.157 % |
1963.09/1963.85 c | 862133 | 635 61973 267182 | 172581 140171 21 | 0.157 % |
1976.88/1977.65 c | 867974 | 635 61973 267182 | 172581 146012 21 | 0.157 % |
1993.87/1994.64 c | 874392 | 635 61973 267182 | 148044 127393 21 | 0.157 % |
2012.77/2013.51 c | 881456 | 634 61973 267182 | 133001 117768 20 | 0.316 % |
2028.68/2029.46 c | 889221 | 633 61973 267182 | 133001 125532 20 | 0.472 % |
2029.27/2030.08 c | 889321 | 633 60791 263644 | 133001 107069 21 | 0.474 % |
2029.67/2030.49 c | 889431 | 633 60791 263644 | 133001 107179 21 | 0.474 % |
2030.07/2030.87 c | 889552 | 633 60791 263644 | 133001 107300 21 | 0.472 % |
2030.47/2031.24 c | 889685 | 633 60791 263644 | 133001 107433 21 | 0.472 % |
2030.77/2031.57 c | 889832 | 633 60791 263644 | 133001 107580 21 | 0.472 % |
2031.17/2031.99 c | 889996 | 633 60791 263644 | 133001 107744 21 | 0.474 % |
2031.67/2032.44 c | 890172 | 633 60791 263644 | 2147483647 107920 21 | 0.474 % |
2032.17/2032.90 c | 890366 | 633 60791 263644 | 2147483647 108114 21 | 0.472 % |
2032.67/2033.45 c | 890580 | 633 60791 263644 | 2147483647 108328 21 | 0.474 % |
2033.37/2034.11 c | 890814 | 633 60791 263644 | 2147483647 108562 21 | 0.472 % |
2033.97/2034.77 c | 891071 | 633 60791 263644 | 2147483647 108819 21 | 0.474 % |
2034.67/2035.40 c | 891352 | 633 60791 263644 | 2147483647 109100 21 | 0.472 % |
2035.67/2036.44 c | 891662 | 633 60791 263644 | 2147483647 109410 21 | 0.472 % |
2036.77/2037.56 c | 892001 | 633 60791 263644 | 2147483647 109749 21 | 0.472 % |
2037.77/2038.59 c | 892374 | 633 60791 263644 | 2147483647 110122 21 | 0.472 % |
2039.07/2039.88 c | 892783 | 633 60791 263644 | 2147483647 110531 21 | 0.474 % |
2040.27/2041.02 c | 893237 | 633 60791 263644 | 2147483647 110985 21 | 0.472 % |
2041.47/2042.28 c | 893730 | 633 60791 263644 | 2147483647 111478 21 | 0.472 % |
2042.87/2043.64 c | 894275 | 633 60791 263644 | 2147483647 112023 21 | 0.474 % |
2044.67/2045.44 c | 894876 | 633 60791 263644 | 2147483647 112624 21 | 0.472 % |
2045.97/2046.74 c | 895534 | 633 60791 263644 | 2147483647 113282 21 | 0.474 % |
2047.66/2048.46 c | 896255 | 633 60791 263644 | 2147483647 114003 21 | 0.472 % |
2049.76/2050.50 c | 897047 | 633 60791 263644 | 2147483647 114795 21 | 0.474 % |
2052.26/2053.03 c | 897921 | 633 60791 263644 | 2147483647 115669 21 | 0.472 % |
2054.76/2055.53 c | 898879 | 633 60791 263644 | 2147483647 116627 21 | 0.473 % |
2057.16/2057.95 c | 899933 | 633 60791 263644 | 2147483647 117681 21 | 0.472 % |
2060.56/2061.34 c | 901093 | 633 60791 263644 | 117748 104966 20 | 0.472 % |
2063.76/2064.58 c | 902366 | 633 60791 263644 | 117748 106239 20 | 0.472 % |
2067.76/2068.50 c | 903770 | 633 60791 263644 | 117748 107643 20 | 0.472 % |
2070.86/2071.67 c | 905311 | 633 60791 263644 | 117748 109184 20 | 0.474 % |
2075.75/2076.56 c | 907006 | 631 60791 263644 | 117748 110877 20 | 0.787 % |
2080.85/2081.66 c | 908873 | 631 60791 263644 | 117748 112744 20 | 0.787 % |
2086.45/2087.24 c | 910922 | 631 60791 263644 | 113872 101446 20 | 0.788 % |
2087.95/2088.79 c ===============================================================================
2087.95/2088.79 c restarts : 1163
2087.95/2088.79 c conflicts : 911548 (437 /sec)
2087.95/2088.79 c decisions : 1128930 (1.76 % random) (541 /sec)
2087.95/2088.79 c propagations : 87430295 (41889 /sec)
2087.95/2088.79 c conflict literals : 22146486 (21.65 % deleted)
2087.95/2088.79 c Memory used : 42.09 MB
2087.95/2088.79 c CPU time : 2087.18 s
2087.95/2088.79 c
2087.95/2088.79 s UNSATISFIABLE
2087.95/2088.80 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837536-1242877048/watcher-1837536-1242877048 -o /tmp/evaluation-result-1837536-1242877048/solver-1837536-1242877048 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837536-1242877048.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 22946
/proc/meminfo: memFree=1647728/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315733257 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22946/statm: 1339 237 197 169 0 50 0
[startup+0.072198 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 22946
/proc/meminfo: memFree=1647728/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315733257 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22946/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102202 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 22946
/proc/meminfo: memFree=1647728/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315733257 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22946/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301232 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 22946
/proc/meminfo: memFree=1647728/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315733257 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22946/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701297 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 22946
/proc/meminfo: memFree=1647728/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5356
[startup+1.50141 s]
/proc/loadavg: 0.85 0.97 0.99 2/66 22952
/proc/meminfo: memFree=1641368/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=5476 CPUtime=0.8
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 1237 0 0 0 80 0 0 0 24 0 1 0 315733326 5607424 1223 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 1369 1223 77 171 0 1196 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10832
[startup+3.10164 s]
/proc/loadavg: 0.85 0.97 0.99 2/66 22952
/proc/meminfo: memFree=1640792/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=6140 CPUtime=2.41
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 1409 0 0 0 240 1 0 0 25 0 1 0 315733326 6287360 1395 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 1535 1395 77 171 0 1362 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11496
[startup+6.30111 s]
/proc/loadavg: 0.86 0.97 0.99 2/66 22952
/proc/meminfo: memFree=1639520/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=7200 CPUtime=5.6
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 1666 0 0 0 559 1 0 0 25 0 1 0 315733326 7372800 1652 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 1800 1652 77 171 0 1627 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 12556
[startup+12.7011 s]
/proc/loadavg: 0.87 0.97 0.99 2/66 22952
/proc/meminfo: memFree=1637536/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=9156 CPUtime=12
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 2140 0 0 0 1198 2 0 0 25 0 1 0 315733326 9375744 2126 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 2289 2126 77 171 0 2116 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 14512
[startup+25.5029 s]
/proc/loadavg: 0.90 0.97 0.99 2/66 22952
/proc/meminfo: memFree=1634920/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=11652 CPUtime=24.8
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 2755 0 0 0 2477 3 0 0 25 0 1 0 315733326 11931648 2741 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 2913 2741 77 171 0 2740 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 17008
[startup+51.1017 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 22952
/proc/meminfo: memFree=1631080/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=15600 CPUtime=50.39
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 3711 0 0 0 5034 5 0 0 25 0 1 0 315733326 15974400 3697 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 3900 3697 77 171 0 3727 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 20956
[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/66 22952
/proc/meminfo: memFree=1625128/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=21704 CPUtime=101.56
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 5183 0 0 0 10150 6 0 0 25 0 1 0 315733326 22224896 5169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 5426 5169 77 171 0 5253 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 27060
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 22952
/proc/meminfo: memFree=1620584/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=26440 CPUtime=161.53
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 6318 0 0 0 16145 8 0 0 25 0 1 0 315733326 27074560 6295 1992294400 134512640 135215339 4294956240 18446744073709551615 134528748 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 6610 6295 77 171 0 6437 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 31796
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 22952
/proc/meminfo: memFree=1620392/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=26440 CPUtime=221.51
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 6340 0 0 0 22143 8 0 0 25 0 1 0 315733326 27074560 6317 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 6610 6317 77 171 0 6437 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 31796
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 22954
/proc/meminfo: memFree=1620200/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=26728 CPUtime=281.49
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 6386 0 0 0 28140 9 0 0 25 0 1 0 315733326 27369472 6363 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 6682 6363 77 171 0 6509 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 32084
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 22954
/proc/meminfo: memFree=1619112/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=27792 CPUtime=341.46
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 6667 0 0 0 34137 9 0 0 25 0 1 0 315733326 28459008 6636 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 6948 6636 77 171 0 6775 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 33148
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 22954
/proc/meminfo: memFree=1617896/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=29372 CPUtime=401.43
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 6991 0 0 0 40134 9 0 0 25 0 1 0 315733326 30076928 6932 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 7343 6932 77 171 0 7170 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 34728
[startup+462.302 s]
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 22960
/proc/meminfo: memFree=1607848/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=40392 CPUtime=1661.01
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 9444 0 0 0 166084 17 0 0 25 0 1 0 315733326 41361408 9326 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 10098 9326 77 171 0 9925 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 45748
[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 22960
/proc/meminfo: memFree=1606632/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=41600 CPUtime=1720.99
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 9733 0 0 0 172081 18 0 0 25 0 1 0 315733326 42598400 9615 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 10400 9615 77 171 0 10227 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 46956
[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 22960
/proc/meminfo: memFree=1606376/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=41844 CPUtime=1780.97
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 9808 0 0 0 178079 18 0 0 25 0 1 0 315733326 42848256 9690 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 10461 9690 77 171 0 10288 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 47200
[startup+1842.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 22960
/proc/meminfo: memFree=1605992/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=42304 CPUtime=1840.96
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 9877 0 0 0 184077 19 0 0 25 0 1 0 315733326 43319296 9759 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 10576 9759 77 171 0 10403 0
Current children cumulated CPU time (s) 1841.63
Current children cumulated vsize (KiB) 47660
[startup+1902.3 s]
/proc/loadavg: 1.03 0.99 0.99 2/66 22960
/proc/meminfo: memFree=1605672/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=42628 CPUtime=1900.94
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 9968 0 0 0 190075 19 0 0 25 0 1 0 315733326 43651072 9850 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 10657 9850 77 171 0 10484 0
Current children cumulated CPU time (s) 1901.61
Current children cumulated vsize (KiB) 47984
[startup+1962.3 s]
/proc/loadavg: 1.01 0.99 0.99 2/66 22960
/proc/meminfo: memFree=1605352/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=42928 CPUtime=1960.92
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 10060 0 0 0 196073 19 0 0 25 0 1 0 315733326 43958272 9934 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 10732 9934 77 171 0 10559 0
Current children cumulated CPU time (s) 1961.59
Current children cumulated vsize (KiB) 48284
[startup+2022.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 22960
/proc/meminfo: memFree=1605224/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=43092 CPUtime=2020.9
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 10090 0 0 0 202070 20 0 0 25 0 1 0 315733326 44126208 9964 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 10773 9964 77 171 0 10600 0
Current children cumulated CPU time (s) 2021.57
Current children cumulated vsize (KiB) 48448
[startup+2082.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 22960
/proc/meminfo: memFree=1605160/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=43092 CPUtime=2080.89
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 10090 0 0 0 208069 20 0 0 25 0 1 0 315733326 44126208 9964 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 10773 9964 77 171 0 10600 0
Current children cumulated CPU time (s) 2081.56
Current children cumulated vsize (KiB) 48448
Solver just ended. Dumping a history of the last processes samples
[startup+2083.1 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 22960
/proc/meminfo: memFree=1605160/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=43092 CPUtime=2081.68
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 10090 0 0 0 208148 20 0 0 25 0 1 0 315733326 44126208 9964 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 10773 9964 77 171 0 10600 0
Current children cumulated CPU time (s) 2082.35
Current children cumulated vsize (KiB) 48448
[startup+2086.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 22960
/proc/meminfo: memFree=1605160/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=43092 CPUtime=2084.88
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 10090 0 0 0 208468 20 0 0 25 0 1 0 315733326 44126208 9964 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 10773 9964 77 171 0 10600 0
Current children cumulated CPU time (s) 2085.55
Current children cumulated vsize (KiB) 48448
[startup+2087.9 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 22960
/proc/meminfo: memFree=1605160/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=43092 CPUtime=2086.48
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 10090 0 0 0 208628 20 0 0 25 0 1 0 315733326 44126208 9964 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 10773 9964 77 171 0 10600 0
Current children cumulated CPU time (s) 2087.15
Current children cumulated vsize (KiB) 48448
[startup+2088.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 22960
/proc/meminfo: memFree=1605160/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=43092 CPUtime=2086.88
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 10090 0 0 0 208668 20 0 0 25 0 1 0 315733326 44126208 9964 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 10773 9964 77 171 0 10600 0
Current children cumulated CPU time (s) 2087.55
Current children cumulated vsize (KiB) 48448
[startup+2088.7 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 22960
/proc/meminfo: memFree=1605160/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0.67
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 336 2042 0 0 0 0 66 1 16 0 1 0 315733257 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1339 239 197 169 0 50 0
[pid=22952] ppid=22946 vsize=43092 CPUtime=2087.28
/proc/22952/stat : 22952 (minisat_static) R 22946 22946 22909 0 -1 4194304 10090 0 0 0 208708 20 0 0 25 0 1 0 315733326 44126208 9964 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/22952/statm: 10773 9964 77 171 0 10600 0
Current children cumulated CPU time (s) 2087.95
Current children cumulated vsize (KiB) 48448
[startup+2088.8 s]
/proc/loadavg: 1.00 0.99 0.99 1/65 22960
/proc/meminfo: memFree=1644656/2055920 swapFree=4179336/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=2088.06
/proc/22946/stat : 22946 (SatELiteGTI) S 22944 22946 22909 0 -1 4194304 363 12138 0 0 0 0 208784 22 18 0 1 0 315733257 5488640 241 1992294400 4194304 4889804 548682068816 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 241 198 169 0 51 0
[pid=22961] ppid=22946 vsize=2444 CPUtime=0
/proc/22961/stat : 22961 (rm) R 22946 22946 22909 0 -1 4194304 46 0 0 0 0 0 0 0 18 0 1 0 315942138 2502656 29 1992294400 4194304 4227748 548682068880 18446744073709551615 272834295852 0 0 4096 0 0 0 0 17 1 0 0
/proc/22961/statm: 612 36 28 8 0 8 0
Current children cumulated CPU time (s) 2088.06
Current children cumulated vsize (KiB) 7804
Child status: 20
Real time (s): 2088.81
CPU time (s): 2088.07
CPU user time (s): 2087.85
CPU system time (s): 0.225965
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 48448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2087.85
system time used= 0.225965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12629
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= 47
involuntary context switches= 6096
runsolver used 2.34664 second user time and 5.37018 second system time
The end
Begin job on node39 at 2009-05-21 05:37:28
IDJOB=1837536
IDBENCH=71086
IDSOLVER=674
FILE ID=node39/1837536-1242877048
PBS_JOBID= 9328641
Free space on /tmp= 66396 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_07_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837536-1242877048/watcher-1837536-1242877048 -o /tmp/evaluation-result-1837536-1242877048/solver-1837536-1242877048 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837536-1242877048.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a30111c778b4a83ebe950f77b63a1b33
RANDOM SEED=1261399002
node39.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.281
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.281
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: 1648208 kB
Buffers: 60308 kB
Cached: 295520 kB
SwapCached: 7904 kB
Active: 179468 kB
Inactive: 185656 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1648208 kB
SwapTotal: 4192956 kB
SwapFree: 4179336 kB
Dirty: 2596 kB
Writeback: 0 kB
Mapped: 14440 kB
Slab: 28676 kB
Committed_AS: 1140512 kB
PageTables: 1388 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66392 MiB
End job on node39 at 2009-05-21 06:12:17