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.582911 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.71 c ============================[ Search Statistics ]==============================
0.67/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.67/0.71 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.67/0.71 c ===============================================================================
0.67/0.71 c | 0 | 636 62548 268903 | 20849 0 nan | 0.000 % |
0.67/0.74 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.97 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.43 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.59 c | 2817 | 636 62548 268903 | 20849 2817 23 | 0.002 % |
1.57/1.63 c | 2938 | 636 62548 268903 | 20849 2938 23 | 0.002 % |
1.57/1.67 c | 3071 | 636 62548 268903 | 20849 3071 22 | 0.000 % |
1.67/1.71 c | 3217 | 636 62548 268903 | 20849 3217 23 | 0.000 % |
1.67/1.76 c | 3378 | 636 62548 268903 | 20849 3378 24 | 0.000 % |
1.77/1.82 c | 3556 | 636 62548 268903 | 20849 3556 24 | 0.000 % |
1.77/1.86 c | 3657 | 636 62548 268903 | 20849 3657 24 | 0.000 % |
1.77/1.89 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.98 c | 4024 | 636 62548 268903 | 20849 4024 23 | 0.000 % |
1.98/2.03 c | 4170 | 636 62548 268903 | 20849 4170 23 | 0.000 % |
1.98/2.09 c | 4333 | 636 62548 268903 | 20849 4333 23 | 0.000 % |
2.08/2.15 c | 4510 | 636 62548 268903 | 20849 4510 23 | 0.002 % |
2.18/2.22 c | 4704 | 636 62548 268903 | 20849 4704 23 | 0.000 % |
2.18/2.26 c | 4804 | 636 62548 268903 | 20849 4804 23 | 0.000 % |
2.28/2.30 c | 4915 | 636 62548 268903 | 20849 4915 23 | 0.000 % |
2.28/2.34 c | 5041 | 636 62548 268903 | 20849 5041 23 | 0.000 % |
2.28/2.39 c | 5174 | 636 62548 268903 | 20849 5174 23 | 0.000 % |
2.38/2.43 c | 5320 | 636 62548 268903 | 20849 5320 23 | 0.000 % |
2.38/2.47 c | 5483 | 636 62548 268903 | 20849 5483 24 | 0.000 % |
2.48/2.51 c | 5659 | 636 62548 268903 | 20849 5659 24 | 0.000 % |
2.48/2.56 c | 5852 | 636 62548 268903 | 20849 5852 24 | 0.000 % |
2.58/2.62 c | 6065 | 636 62548 268903 | 20849 6065 25 | 0.000 % |
2.58/2.67 c | 6166 | 636 62548 268903 | 20849 6166 25 | 0.000 % |
2.68/2.71 c | 6276 | 636 62548 268903 | 20849 6276 25 | 0.000 % |
2.68/2.76 c | 6402 | 636 62548 268903 | 20849 6402 24 | 0.000 % |
2.78/2.81 c | 6537 | 636 62548 268903 | 20849 6537 24 | 0.000 % |
2.78/2.86 c | 6685 | 636 62548 268903 | 20849 6685 25 | 0.000 % |
2.88/2.93 c | 6845 | 636 62548 268903 | 20849 6845 25 | 0.000 % |
2.98/3.00 c | 7027 | 636 62548 268903 | 20849 7027 25 | 0.000 % |
2.98/3.07 c | 7221 | 636 62548 268903 | 20849 7221 25 | 0.000 % |
3.08/3.15 c | 7434 | 636 62548 268903 | 20849 7434 25 | 0.000 % |
3.18/3.25 c | 7670 | 636 62548 268903 | 20849 7670 25 | 0.000 % |
3.18/3.30 c | 7771 | 636 62548 268903 | 20849 7771 25 | 0.000 % |
3.28/3.35 c | 7881 | 636 62548 268903 | 20849 7881 24 | 0.000 % |
3.28/3.40 c | 8002 | 636 62548 268903 | 20849 8002 24 | 0.000 % |
3.38/3.44 c | 8138 | 636 62548 268903 | 20849 8138 25 | 0.000 % |
3.38/3.49 c | 8285 | 636 62548 268903 | 20849 8285 25 | 0.000 % |
3.48/3.55 c | 8447 | 636 62548 268903 | 20849 8447 25 | 0.000 % |
3.58/3.63 c | 8624 | 636 62548 268903 | 20849 8624 25 | 0.000 % |
3.68/3.70 c | 8817 | 636 62548 268903 | 20849 8817 24 | 0.000 % |
3.68/3.77 c | 9029 | 636 62548 268903 | 20849 9029 24 | 0.000 % |
3.78/3.86 c | 9262 | 636 62548 268903 | 20849 9262 25 | 0.000 % |
3.88/3.96 c | 9521 | 636 62548 268903 | 20849 9521 25 | 0.000 % |
3.98/4.01 c | 9623 | 636 62548 268903 | 20849 9623 25 | 0.000 % |
3.98/4.06 c | 9735 | 636 62548 268903 | 20849 9735 25 | 0.000 % |
4.08/4.11 c | 9859 | 636 62548 268903 | 20849 9859 25 | 0.000 % |
4.08/4.16 c | 9993 | 636 62548 268903 | 20849 9993 25 | 0.000 % |
4.18/4.23 c | 10145 | 636 62548 268903 | 2147483647 10145 25 | 0.000 % |
4.18/4.30 c | 10305 | 636 62548 268903 | 2147483647 10305 25 | 0.000 % |
4.28/4.37 c | 10481 | 636 62548 268903 | 2147483647 10481 25 | 0.000 % |
4.38/4.45 c | 10677 | 636 62548 268903 | 2147483647 10677 25 | 0.000 % |
4.47/4.53 c | 10889 | 636 62548 268903 | 2147483647 10889 25 | 0.000 % |
4.57/4.62 c | 11125 | 636 62548 268903 | 2147483647 11125 24 | 0.002 % |
4.67/4.73 c | 11384 | 636 62548 268903 | 2147483647 11384 24 | 0.000 % |
4.77/4.85 c | 11667 | 636 62548 268903 | 2147483647 11667 24 | 0.000 % |
4.77/4.89 c | 11767 | 636 62548 268903 | 2147483647 11767 24 | 0.000 % |
4.87/4.93 c | 11878 | 636 62548 268903 | 2147483647 11878 24 | 0.002 % |
4.87/4.98 c | 11999 | 636 62548 268903 | 2147483647 11999 24 | 0.000 % |
4.97/5.03 c | 12132 | 636 62548 268903 | 2147483647 12132 24 | 0.000 % |
4.97/5.08 c | 12279 | 636 62548 268903 | 2147483647 12279 24 | 0.000 % |
5.07/5.15 c | 12439 | 636 62548 268903 | 2147483647 12439 24 | 0.000 % |
5.17/5.23 c | 12617 | 636 62548 268903 | 2147483647 12617 24 | 0.000 % |
5.17/5.30 c | 12811 | 636 62548 268903 | 2147483647 12811 24 | 0.000 % |
5.27/5.39 c | 13024 | 636 62548 268903 | 2147483647 13024 24 | 0.000 % |
5.47/5.50 c | 13257 | 636 62548 268903 | 2147483647 13257 24 | 0.000 % |
5.57/5.61 c | 13518 | 636 62548 268903 | 2147483647 13518 24 | 0.000 % |
5.67/5.73 c | 13802 | 636 62548 268903 | 2147483647 13802 24 | 0.000 % |
5.77/5.86 c | 14114 | 636 62548 268903 | 2147483647 14114 24 | 0.000 % |
5.87/5.90 c | 14214 | 636 62548 268903 | 2147483647 14214 24 | 0.000 % |
5.87/5.95 c | 14324 | 636 62548 268903 | 2147483647 14324 24 | 0.000 % |
5.97/6.01 c | 14445 | 636 62548 268903 | 2147483647 14445 24 | 0.000 % |
5.97/6.07 c | 14579 | 636 62548 268903 | 2147483647 14579 24 | 0.000 % |
6.07/6.13 c | 14726 | 636 62548 268903 | 2147483647 14726 24 | 0.000 % |
6.07/6.19 c | 14886 | 636 62548 268903 | 2147483647 14886 24 | 0.000 % |
6.17/6.25 c | 15064 | 636 62548 268903 | 2147483647 15064 24 | 0.000 % |
6.27/6.33 c | 15257 | 636 62548 268903 | 2147483647 15257 24 | 0.000 % |
6.37/6.42 c | 15469 | 636 62548 268903 | 2147483647 15469 24 | 0.000 % |
6.47/6.52 c | 15705 | 636 62548 268903 | 2147483647 15705 24 | 0.002 % |
6.57/6.62 c | 15961 | 636 62548 268903 | 2147483647 15961 24 | 0.000 % |
6.67/6.74 c | 16242 | 636 62548 268903 | 2147483647 16242 24 | 0.000 % |
6.77/6.86 c | 16551 | 636 62548 268903 | 2147483647 16551 24 | 0.002 % |
6.97/7.02 c | 16892 | 636 62548 268903 | 2147483647 16892 24 | 0.000 % |
6.97/7.07 c | 16992 | 636 62548 268903 | 2147483647 16992 24 | 0.000 % |
7.07/7.12 c | 17102 | 636 62548 268903 | 2147483647 17102 24 | 0.000 % |
7.07/7.17 c | 17223 | 636 62548 268903 | 2147483647 17223 24 | 0.000 % |
7.17/7.23 c | 17357 | 636 62548 268903 | 2147483647 17357 24 | 0.000 % |
7.17/7.28 c | 17503 | 636 62548 268903 | 2147483647 17503 24 | 0.000 % |
7.26/7.34 c | 17665 | 636 62548 268903 | 2147483647 17665 25 | 0.000 % |
7.36/7.41 c | 17841 | 636 62548 268903 | 2147483647 17841 25 | 0.001 % |
7.36/7.49 c | 18037 | 636 62548 268903 | 2147483647 18037 25 | 0.000 % |
7.58/7.62 c | 18253 | 636 62548 268903 | 2147483647 18253 25 | 0.000 % |
7.68/7.72 c | 18486 | 636 62548 268903 | 2147483647 18486 25 | 0.000 % |
7.77/7.85 c | 18743 | 636 62548 268903 | 2147483647 18743 25 | 0.000 % |
7.87/7.99 c | 19025 | 636 62548 268903 | 2147483647 19025 25 | 0.000 % |
8.07/8.16 c | 19334 | 636 62548 268903 | 2147483647 19334 25 | 0.000 % |
8.27/8.36 c | 19676 | 636 62548 268903 | 2147483647 19676 25 | 0.000 % |
8.47/8.56 c | 20049 | 636 62548 268903 | 2147483647 20049 25 | 0.000 % |
8.57/8.61 c | 20150 | 636 62548 268903 | 2147483647 20150 25 | 0.000 % |
8.57/8.67 c | 20262 | 636 62548 268903 | 2147483647 20262 25 | 0.000 % |
8.67/8.73 c | 20385 | 636 62548 268903 | 2147483647 20385 25 | 0.000 % |
8.67/8.79 c | 20521 | 636 62548 268903 | 2147483647 20521 25 | 0.000 % |
8.77/8.89 c | 20667 | 636 62548 268903 | 2147483647 20667 25 | 0.000 % |
8.87/8.98 c | 20827 | 636 62548 268903 | 2147483647 20827 25 | 0.000 % |
8.97/9.07 c | 21006 | 636 62548 268903 | 2147483647 21006 25 | 0.000 % |
9.07/9.17 c | 21199 | 636 62548 268903 | 2147483647 21199 25 | 0.000 % |
9.17/9.28 c | 21413 | 636 62548 268903 | 2147483647 21413 25 | 0.000 % |
9.37/9.40 c | 21647 | 636 62548 268903 | 2147483647 21647 25 | 0.000 % |
9.47/9.52 c | 21906 | 636 62548 268903 | 2147483647 21906 25 | 0.000 % |
9.57/9.68 c | 22188 | 636 62548 268903 | 2147483647 22188 25 | 0.000 % |
9.77/9.84 c | 22497 | 636 62548 268903 | 2147483647 22497 25 | 0.000 % |
9.97/10.02 c | 22838 | 636 62548 268903 | 2147483647 22838 25 | 0.000 % |
10.17/10.23 c | 23211 | 636 62548 268903 | 2147483647 23211 25 | 0.000 % |
10.37/10.45 c | 23622 | 636 62548 268903 | 2147483647 23622 25 | 0.002 % |
10.47/10.51 c | 23722 | 636 62548 268903 | 2147483647 23722 25 | 0.000 % |
10.47/10.55 c | 23832 | 636 62548 268903 | 2147483647 23832 25 | 0.000 % |
10.57/10.61 c | 23955 | 636 62548 268903 | 2147483647 23955 24 | 0.000 % |
10.57/10.67 c | 24088 | 636 62548 268903 | 2147483647 24088 24 | 0.000 % |
10.67/10.78 c | 24234 | 636 62548 268903 | 2147483647 24234 25 | 0.000 % |
10.77/10.88 c | 24394 | 636 62548 268903 | 2147483647 24394 25 | 0.000 % |
10.87/10.96 c | 24570 | 636 62548 268903 | 2147483647 24570 24 | 0.000 % |
10.97/11.08 c | 24763 | 636 62548 268903 | 2147483647 24763 25 | 0.000 % |
11.07/11.18 c | 24977 | 636 62548 268903 | 2147483647 24977 25 | 0.000 % |
11.27/11.32 c | 25211 | 636 62548 268903 | 2147483647 25211 25 | 0.000 % |
11.37/11.46 c | 25469 | 636 62548 268903 | 2147483647 25469 25 | 0.000 % |
11.57/11.60 c | 25751 | 636 62548 268903 | 2147483647 25751 25 | 0.000 % |
11.67/11.78 c | 26062 | 636 62548 268903 | 2147483647 26062 25 | 0.000 % |
11.87/11.99 c | 26401 | 636 62548 268903 | 2147483647 26401 25 | 0.000 % |
12.16/12.20 c | 26774 | 636 62548 268903 | 2147483647 26774 25 | 0.000 % |
12.26/12.37 c | 27183 | 636 62548 268903 | 2147483647 27183 25 | 0.000 % |
12.56/12.68 c | 27632 | 636 62548 268903 | 2147483647 27632 25 | 0.000 % |
12.66/12.75 c | 27733 | 636 62548 268903 | 2147483647 27733 25 | 0.000 % |
12.76/12.81 c | 27844 | 636 62548 268903 | 2147483647 27844 25 | 0.000 % |
12.76/12.89 c | 27967 | 636 62548 268903 | 2147483647 27967 25 | 0.000 % |
12.86/12.97 c | 28103 | 636 62548 268903 | 2147483647 28103 25 | 0.000 % |
12.96/13.06 c | 28249 | 636 62548 268903 | 2147483647 28249 25 | 0.000 % |
13.07/13.15 c | 28415 | 636 62548 268903 | 2147483647 28415 25 | 0.000 % |
13.17/13.26 c | 28593 | 636 62548 268903 | 2147483647 28593 25 | 0.000 % |
13.36/13.40 c | 28788 | 636 62548 268903 | 2147483647 28788 25 | 0.000 % |
13.46/13.51 c | 29000 | 636 62548 268903 | 2147483647 29000 25 | 0.000 % |
13.56/13.67 c | 29234 | 636 62548 268903 | 2147483647 29234 25 | 0.000 % |
13.76/13.82 c | 29492 | 636 62548 268903 | 2147483647 29492 25 | 0.000 % |
13.96/14.00 c | 29773 | 636 62548 268903 | 2147483647 29773 25 | 0.000 % |
14.06/14.18 c | 30083 | 636 62548 268903 | 2147483647 30083 25 | 0.000 % |
14.36/14.43 c | 30422 | 636 62548 268903 | 2147483647 30422 25 | 0.000 % |
14.56/14.66 c | 30794 | 636 62548 268903 | 2147483647 30794 25 | 0.000 % |
14.86/14.91 c | 31204 | 636 62548 268903 | 2147483647 31204 25 | 0.000 % |
15.06/15.19 c | 31657 | 636 62548 268903 | 2147483647 31657 25 | 0.001 % |
15.46/15.51 c | 32153 | 636 62548 268903 | 2147483647 32153 25 | 0.000 % |
15.46/15.58 c | 32253 | 636 62548 268903 | 2147483647 32253 25 | 0.000 % |
15.56/15.64 c | 32364 | 636 62548 268903 | 2147483647 32364 25 | 0.000 % |
15.66/15.72 c | 32486 | 636 62548 268903 | 2147483647 32486 25 | 0.000 % |
15.76/15.82 c | 32623 | 636 62548 268903 | 2147483647 32623 25 | 0.000 % |
15.86/15.91 c | 32770 | 636 62548 268903 | 2147483647 32770 25 | 0.000 % |
15.96/16.02 c | 32931 | 636 62548 268903 | 2147483647 32931 25 | 0.000 % |
16.05/16.14 c | 33107 | 636 62548 268903 | 2147483647 33107 25 | 0.000 % |
16.15/16.25 c | 33305 | 636 62548 268903 | 2147483647 33305 25 | 0.000 % |
16.25/16.39 c | 33519 | 636 62548 268903 | 2147483647 33519 25 | 0.000 % |
16.47/16.57 c | 33752 | 636 62548 268903 | 2147483647 33752 25 | 0.000 % |
16.66/16.74 c | 34008 | 636 62548 268903 | 2147483647 34008 25 | 0.000 % |
16.86/16.96 c | 34289 | 636 62548 268903 | 2147483647 34289 25 | 0.001 % |
17.16/17.22 c | 34598 | 636 62548 268903 | 2147483647 34598 25 | 0.000 % |
17.47/17.50 c | 34938 | 636 62548 268903 | 2147483647 34938 25 | 0.000 % |
17.66/17.77 c | 35313 | 636 62548 268903 | 2147483647 35313 25 | 0.000 % |
17.96/18.06 c | 35722 | 636 62548 268903 | 2147483647 35722 25 | 0.000 % |
18.26/18.36 c | 36171 | 636 62548 268903 | 2147483647 36171 25 | 0.000 % |
18.66/18.73 c | 36667 | 636 62548 268903 | 2147483647 36667 25 | 0.000 % |
19.06/19.10 c | 37211 | 636 62548 268903 | 2147483647 37211 25 | 0.000 % |
19.06/19.16 c | 37314 | 636 62548 268903 | 2147483647 37314 25 | 0.000 % |
19.16/19.23 c | 37424 | 636 62548 268903 | 2147483647 37424 25 | 0.000 % |
19.26/19.32 c | 37546 | 636 62548 268903 | 2147483647 37546 25 | 0.002 % |
19.36/19.43 c | 37679 | 636 62548 268903 | 2147483647 37679 25 | 0.000 % |
19.46/19.53 c | 37826 | 636 62548 268903 | 2147483647 37826 25 | 0.000 % |
19.56/19.66 c | 37988 | 636 62548 268903 | 2147483647 37988 25 | 0.000 % |
19.66/19.77 c | 38164 | 636 62548 268903 | 2147483647 38164 25 | 0.000 % |
19.86/19.91 c | 38359 | 636 62548 268903 | 2147483647 38359 25 | 0.000 % |
19.96/20.08 c | 38572 | 636 62548 268903 | 2147483647 38572 25 | 0.000 % |
20.16/20.27 c | 38806 | 636 62548 268903 | 2147483647 38806 25 | 0.000 % |
20.36/20.45 c | 39064 | 636 62548 268903 | 2147483647 39064 25 | 0.000 % |
20.66/20.72 c | 39345 | 636 62548 268903 | 2147483647 39345 25 | 0.000 % |
20.86/20.99 c | 39655 | 636 62548 268903 | 2147483647 39655 25 | 0.000 % |
21.16/21.27 c | 39996 | 636 62548 268903 | 2147483647 39996 25 | 0.000 % |
21.45/21.56 c | 40368 | 636 62548 268903 | 2147483647 40368 25 | 0.001 % |
21.75/21.86 c | 40777 | 636 62548 268903 | 2147483647 40777 25 | 0.000 % |
22.16/22.22 c | 41229 | 636 62548 268903 | 2147483647 41229 25 | 0.000 % |
22.45/22.57 c | 41725 | 636 62548 268903 | 2147483647 41725 25 | 0.000 % |
22.85/22.93 c | 42267 | 636 62548 268903 | 2147483647 42267 25 | 0.000 % |
23.25/23.36 c | 42864 | 636 62548 268903 | 2147483647 42864 25 | 0.000 % |
23.35/23.43 c | 42964 | 636 62548 268903 | 2147483647 42964 25 | 0.002 % |
23.45/23.51 c | 43077 | 636 62548 268903 | 2147483647 43077 25 | 0.000 % |
23.55/23.62 c | 43200 | 636 62548 268903 | 2147483647 43200 25 | 0.000 % |
23.65/23.72 c | 43334 | 636 62548 268903 | 2147483647 43334 25 | 0.000 % |
23.75/23.82 c | 43480 | 636 62548 268903 | 2147483647 43480 25 | 0.000 % |
23.85/23.92 c | 43643 | 636 62548 268903 | 2147483647 43643 25 | 0.000 % |
23.95/24.05 c | 43820 | 636 62548 268903 | 2147483647 43820 25 | 0.000 % |
24.05/24.18 c | 44014 | 636 62548 268903 | 2147483647 44014 25 | 0.002 % |
24.25/24.38 c | 44228 | 636 62548 268903 | 2147483647 44228 25 | 0.000 % |
24.45/24.54 c | 44462 | 636 62548 268903 | 2147483647 44462 25 | 0.000 % |
24.65/24.73 c | 44718 | 636 62548 268903 | 2147483647 44718 25 | 0.000 % |
24.85/24.93 c | 44999 | 636 62548 268903 | 2147483647 44999 25 | 0.000 % |
25.05/25.16 c | 45310 | 636 62548 268903 | 2147483647 45310 25 | 0.000 % |
25.35/25.41 c | 45651 | 636 62548 268903 | 2147483647 45651 25 | 0.000 % |
25.55/25.70 c | 46025 | 636 62548 268903 | 2147483647 46025 25 | 0.000 % |
25.95/26.07 c | 46434 | 636 62548 268903 | 2147483647 46434 25 | 0.000 % |
26.35/26.47 c | 46883 | 636 62548 268903 | 2147483647 46883 25 | 0.000 % |
26.75/26.87 c | 47383 | 636 62548 268903 | 2147483647 47383 25 | 0.000 % |
27.15/27.28 c | 47925 | 636 62548 268903 | 2147483647 47925 25 | 0.000 % |
27.64/27.70 c | 48521 | 636 62548 268903 | 2147483647 48521 25 | 0.000 % |
28.24/28.32 c | 49177 | 636 62548 268903 | 2147483647 49177 25 | 0.000 % |
28.34/28.41 c | 49278 | 636 62548 268903 | 2147483647 49278 25 | 0.000 % |
28.34/28.49 c | 49388 | 636 62548 268903 | 2147483647 49388 25 | 0.000 % |
28.55/28.61 c | 49509 | 636 62548 268903 | 2147483647 49509 25 | 0.000 % |
28.64/28.75 c | 49642 | 636 62548 268903 | 2147483647 49642 25 | 0.000 % |
28.84/28.90 c | 49788 | 636 62548 268903 | 2147483647 49788 25 | 0.000 % |
28.94/29.02 c | 49951 | 636 62548 268903 | 2147483647 49951 25 | 0.000 % |
29.04/29.17 c | 50127 | 636 62548 268903 | 2147483647 50127 25 | 0.000 % |
29.25/29.32 c | 50320 | 636 62548 268903 | 2147483647 50320 25 | 0.000 % |
29.35/29.49 c | 50532 | 636 62548 268903 | 2147483647 50532 25 | 0.000 % |
29.66/29.73 c | 50765 | 636 62548 268903 | 2147483647 50765 25 | 0.000 % |
29.85/29.93 c | 51023 | 636 62548 268903 | 2147483647 51023 25 | 0.000 % |
30.15/30.27 c | 51307 | 636 62548 268903 | 2147483647 51307 25 | 0.000 % |
30.45/30.52 c | 51616 | 636 62548 268903 | 2147483647 51616 25 | 0.000 % |
30.75/30.82 c | 51959 | 636 62548 268903 | 2147483647 51959 25 | 0.000 % |
31.05/31.12 c | 52333 | 636 62548 268903 | 2147483647 52333 25 | 0.000 % |
31.35/31.48 c | 52742 | 636 62548 268903 | 2147483647 52742 25 | 0.000 % |
31.75/31.86 c | 53192 | 636 62548 268903 | 2147483647 53192 25 | 0.000 % |
32.15/32.22 c | 53686 | 636 62548 268903 | 2147483647 53686 25 | 0.000 % |
32.55/32.65 c | 54228 | 636 62548 268903 | 2147483647 54228 25 | 0.000 % |
33.05/33.11 c | 54826 | 636 62548 268903 | 2147483647 54826 25 | 0.000 % |
33.55/33.67 c | 55481 | 636 62548 268903 | 2147483647 55481 25 | 0.000 % |
34.14/34.25 c | 56201 | 636 62548 268903 | 2147483647 56201 25 | 0.000 % |
34.24/34.34 c | 56301 | 636 62548 268903 | 2147483647 56301 25 | 0.000 % |
34.34/34.44 c | 56414 | 636 62548 268903 | 2147483647 56414 25 | 0.000 % |
34.44/34.54 c | 56535 | 636 62548 268903 | 2147483647 56535 25 | 0.000 % |
34.64/34.72 c | 56669 | 636 62548 268903 | 2147483647 56669 25 | 0.000 % |
34.74/34.85 c | 56816 | 636 62548 268903 | 2147483647 56816 25 | 0.000 % |
34.84/34.99 c | 56976 | 636 62548 268903 | 2147483647 56976 25 | 0.000 % |
35.05/35.14 c | 57154 | 636 62548 268903 | 2147483647 57154 25 | 0.000 % |
35.15/35.29 c | 57350 | 636 62548 268903 | 2147483647 57350 25 | 0.000 % |
35.34/35.48 c | 57568 | 636 62548 268903 | 2147483647 57568 25 | 0.000 % |
35.64/35.72 c | 57803 | 636 62548 268903 | 2147483647 57803 25 | 0.000 % |
35.94/36.00 c | 58062 | 636 62548 268903 | 2147483647 58062 25 | 0.000 % |
36.15/36.28 c | 58343 | 636 62548 268903 | 2147483647 58343 25 | 0.000 % |
36.44/36.57 c | 58655 | 636 62548 268903 | 2147483647 58655 25 | 0.000 % |
36.74/36.89 c | 58999 | 636 62548 268903 | 2147483647 58999 25 | 0.000 % |
37.14/37.23 c | 59374 | 636 62548 268903 | 2147483647 59374 25 | 0.000 % |
37.44/37.57 c | 59783 | 636 62548 268903 | 2147483647 59783 25 | 0.000 % |
37.84/37.94 c | 60233 | 636 62548 268903 | 2147483647 60233 25 | 0.000 % |
38.24/38.34 c | 60727 | 636 62548 268903 | 2147483647 60727 25 | 0.000 % |
38.74/38.86 c | 61272 | 636 62548 268903 | 2147483647 61272 25 | 0.000 % |
39.24/39.34 c | 61868 | 636 62548 268903 | 2147483647 61868 25 | 0.000 % |
39.73/39.89 c | 62524 | 636 62548 268903 | 2147483647 62524 25 | 0.000 % |
40.64/40.70 c | 63245 | 636 62548 268903 | 2147483647 63245 25 | 0.000 % |
41.33/41.44 c | 64039 | 636 62548 268903 | 2147483647 64039 25 | 0.000 % |
41.53/41.60 c | 64139 | 636 62548 268903 | 2147483647 64139 25 | 0.000 % |
41.64/41.72 c | 64249 | 636 62548 268903 | 2147483647 64249 25 | 0.000 % |
41.74/41.87 c | 64370 | 636 62548 268903 | 2147483647 64370 25 | 0.000 % |
41.83/41.97 c | 64505 | 636 62548 268903 | 2147483647 64505 25 | 0.000 % |
42.03/42.18 c | 64652 | 636 62548 268903 | 2147483647 64652 25 | 0.000 % |
42.23/42.35 c | 64817 | 636 62548 268903 | 2147483647 64817 25 | 0.000 % |
42.43/42.53 c | 64993 | 636 62548 268903 | 2147483647 64993 25 | 0.000 % |
42.63/42.74 c | 65186 | 636 62548 268903 | 2147483647 65186 25 | 0.000 % |
42.84/42.95 c | 65400 | 636 62548 268903 | 2147483647 65400 25 | 0.000 % |
43.04/43.19 c | 65633 | 636 62548 268903 | 2147483647 65633 25 | 0.000 % |
43.34/43.43 c | 65891 | 636 62548 268903 | 2147483647 65891 25 | 0.000 % |
43.54/43.67 c | 66173 | 636 62548 268903 | 2147483647 66173 25 | 0.000 % |
43.84/43.93 c | 66482 | 636 62548 268903 | 2147483647 66482 25 | 0.000 % |
44.14/44.23 c | 66823 | 636 62548 268903 | 2147483647 66823 25 | 0.000 % |
44.44/44.56 c | 67196 | 636 62548 268903 | 2147483647 67196 25 | 0.000 % |
44.84/44.98 c | 67605 | 636 62548 268903 | 2147483647 67605 25 | 0.000 % |
45.34/45.41 c | 68057 | 636 62548 268903 | 2147483647 68057 25 | 0.000 % |
45.94/46.03 c | 68551 | 636 62548 268903 | 2147483647 68551 25 | 0.000 % |
46.54/46.66 c | 69093 | 636 62548 268903 | 2147483647 69093 25 | 0.000 % |
47.14/47.29 c | 69689 | 636 62548 268903 | 2147483647 69689 25 | 0.000 % |
47.84/47.97 c | 70346 | 636 62548 268903 | 2147483647 70346 25 | 0.000 % |
48.63/48.72 c | 71073 | 636 62548 268903 | 2147483647 71073 25 | 0.000 % |
49.53/49.65 c | 71865 | 636 62548 268903 | 2147483647 71865 25 | 0.000 % |
50.54/50.62 c | 72736 | 636 62548 268903 | 2147483647 72736 25 | 0.000 % |
50.63/50.73 c | 72837 | 636 62548 268903 | 2147483647 72837 25 | 0.000 % |
50.73/50.85 c | 72948 | 636 62548 268903 | 2147483647 72948 25 | 0.000 % |
50.83/50.99 c | 73070 | 636 62548 268903 | 2147483647 73070 25 | 0.000 % |
51.03/51.18 c | 73203 | 636 62548 268903 | 2147483647 73203 25 | 0.000 % |
51.23/51.35 c | 73350 | 636 62548 268903 | 2147483647 73350 25 | 0.000 % |
51.43/51.53 c | 73510 | 636 62548 268903 | 2147483647 73510 25 | 0.000 % |
51.64/51.78 c | 73686 | 636 62548 268903 | 2147483647 73686 25 | 0.000 % |
51.93/52.01 c | 73880 | 636 62548 268903 | 2147483647 73880 25 | 0.000 % |
52.13/52.30 c | 74092 | 636 62548 268903 | 2147483647 74092 25 | 0.000 % |
52.43/52.57 c | 74328 | 636 62548 268903 | 2147483647 74328 25 | 0.000 % |
52.83/52.94 c | 74584 | 636 62548 268903 | 2147483647 74584 25 | 0.000 % |
53.23/53.30 c | 74865 | 636 62548 268903 | 2147483647 74865 25 | 0.000 % |
53.53/53.61 c | 75176 | 636 62548 268903 | 2147483647 75176 25 | 0.000 % |
53.83/53.96 c | 75516 | 636 62548 268903 | 2147483647 75516 25 | 0.000 % |
54.33/54.45 c | 75890 | 636 62548 268903 | 2147483647 75890 25 | 0.000 % |
54.93/55.02 c | 76301 | 636 62548 268903 | 2147483647 76301 25 | 0.000 % |
55.33/55.48 c | 76750 | 636 62548 268903 | 2147483647 76750 25 | 0.000 % |
55.93/56.04 c | 77246 | 636 62548 268903 | 2147483647 77246 25 | 0.000 % |
56.53/56.66 c | 77789 | 636 62548 268903 | 2147483647 77789 25 | 0.000 % |
57.23/57.32 c | 78389 | 636 62548 268903 | 2147483647 78389 25 | 0.000 % |
57.93/58.05 c | 79044 | 636 62548 268903 | 2147483647 79044 25 | 0.000 % |
58.93/59.00 c | 79764 | 636 62548 268903 | 2147483647 79764 25 | 0.000 % |
59.73/59.84 c | 80556 | 636 62548 268903 | 2147483647 80556 25 | 0.000 % |
60.83/61.00 c | 81427 | 636 62548 268903 | 2147483647 81427 25 | 0.000 % |
61.92/62.07 c | 82385 | 636 62548 268903 | 2147483647 82385 25 | 0.000 % |
62.02/62.18 c | 82489 | 636 62548 268903 | 2147483647 82489 25 | 0.000 % |
62.12/62.28 c | 82600 | 636 62548 268903 | 2147483647 82600 25 | 0.000 % |
62.32/62.41 c | 82721 | 636 62548 268903 | 2147483647 82721 25 | 0.000 % |
62.42/62.57 c | 82854 | 636 62548 268903 | 2147483647 82854 25 | 0.002 % |
62.63/62.75 c | 83001 | 636 62548 268903 | 2147483647 83001 25 | 0.000 % |
62.93/63.03 c | 83161 | 636 62548 268903 | 2147483647 83161 25 | 0.000 % |
63.13/63.26 c | 83341 | 636 62548 268903 | 2147483647 83341 25 | 0.000 % |
63.42/63.50 c | 83536 | 636 62548 268903 | 2147483647 83536 25 | 0.000 % |
63.73/63.81 c | 83748 | 636 62548 268903 | 2147483647 83748 25 | 0.000 % |
64.02/64.13 c | 83983 | 636 62548 268903 | 2147483647 83983 25 | 0.000 % |
64.22/64.39 c | 84243 | 636 62548 268903 | 2147483647 84243 25 | 0.000 % |
64.62/64.74 c | 84524 | 636 62548 268903 | 2147483647 84524 25 | 0.000 % |
65.02/65.19 c | 84834 | 636 62548 268903 | 2147483647 84834 25 | 0.000 % |
65.52/65.64 c | 85175 | 636 62548 268903 | 2147483647 85175 25 | 0.000 % |
66.02/66.10 c | 85547 | 636 62548 268903 | 2147483647 85547 25 | 0.000 % |
66.52/66.62 c | 85957 | 636 62548 268903 | 2147483647 85957 25 | 0.000 % |
67.03/67.15 c | 86408 | 636 62548 268903 | 2147483647 86408 25 | 0.000 % |
67.62/67.73 c | 86901 | 636 62548 268903 | 2147483647 86901 25 | 0.000 % |
68.52/68.60 c | 87445 | 636 62548 268903 | 2147483647 87445 25 | 0.000 % |
69.13/69.29 c | 88042 | 636 62548 268903 | 2147483647 88042 25 | 0.000 % |
70.12/70.20 c | 88699 | 636 62548 268903 | 2147483647 88699 25 | 0.000 % |
70.92/71.06 c | 89419 | 636 62548 268903 | 2147483647 89419 25 | 0.000 % |
71.82/71.99 c | 90213 | 636 62548 268903 | 2147483647 90213 25 | 0.000 % |
72.92/73.08 c | 91084 | 636 62548 268903 | 2147483647 91084 25 | 0.000 % |
74.32/74.46 c | 92043 | 636 62548 268903 | 2147483647 92043 25 | 0.000 % |
75.92/76.05 c | 93099 | 636 62548 268903 | 2147483647 93099 25 | 0.000 % |
76.12/76.22 c | 93199 | 636 62548 268903 | 2147483647 93199 25 | 0.000 % |
76.32/76.41 c | 93311 | 636 62548 268903 | 2147483647 93311 25 | 0.000 % |
76.52/76.63 c | 93432 | 636 62548 268903 | 2147483647 93432 25 | 0.000 % |
76.72/76.83 c | 93567 | 636 62548 268903 | 2147483647 93567 25 | 0.000 % |
76.92/77.06 c | 93715 | 636 62548 268903 | 2147483647 93715 25 | 0.000 % |
77.12/77.29 c | 93877 | 636 62548 268903 | 2147483647 93877 25 | 0.000 % |
77.42/77.51 c | 94055 | 636 62548 268903 | 2147483647 94055 25 | 0.000 % |
77.72/77.89 c | 94249 | 636 62548 268903 | 2147483647 94249 25 | 0.000 % |
78.12/78.23 c | 94463 | 636 62548 268903 | 2147483647 94463 25 | 0.000 % |
78.42/78.53 c | 94699 | 636 62548 268903 | 2147483647 94699 25 | 0.000 % |
78.72/78.86 c | 94955 | 636 62548 268903 | 2147483647 94955 25 | 0.000 % |
79.22/79.32 c | 95237 | 636 62548 268903 | 2147483647 95237 25 | 0.000 % |
79.62/79.71 c | 95546 | 636 62548 268903 | 2147483647 95546 25 | 0.000 % |
80.12/80.29 c | 95889 | 636 62548 268903 | 2147483647 95889 25 | 0.000 % |
80.71/80.82 c | 96261 | 636 62548 268903 | 2147483647 96261 25 | 0.000 % |
81.22/81.40 c | 96671 | 636 62548 268903 | 2147483647 96671 25 | 0.000 % |
81.91/82.01 c | 97120 | 636 62548 268903 | 2147483647 97120 25 | 0.000 % |
82.51/82.69 c | 97618 | 636 62548 268903 | 2147483647 97618 25 | 0.000 % |
83.31/83.46 c | 98162 | 636 62548 268903 | 2147483647 98162 25 | 0.000 % |
84.21/84.33 c | 98759 | 636 62548 268903 | 2147483647 98759 25 | 0.000 % |
85.12/85.23 c | 99419 | 636 62548 268903 | 2147483647 99419 25 | 0.000 % |
86.02/86.19 c | 100141 | 636 62548 268903 | 2147483647 100141 25 | 0.000 % |
87.22/87.32 c | 100934 | 636 62548 268903 | 2147483647 100934 25 | 0.000 % |
88.42/88.52 c | 101805 | 636 62548 268903 | 2147483647 101805 25 | 0.000 % |
89.62/89.73 c | 102763 | 636 62548 268903 | 2147483647 102763 25 | 0.000 % |
90.92/91.03 c | 103818 | 636 62548 268903 | 2147483647 103818 25 | 0.000 % |
92.12/92.20 c | 104976 | 636 62548 268903 | 2147483647 104976 25 | 0.000 % |
92.22/92.33 c | 105078 | 636 62548 268903 | 2147483647 105078 25 | 0.000 % |
92.32/92.44 c | 105191 | 636 62548 268903 | 2147483647 105191 25 | 0.000 % |
92.42/92.56 c | 105312 | 636 62548 268903 | 2147483647 105312 25 | 0.000 % |
92.62/92.70 c | 105445 | 636 62548 268903 | 2147483647 105445 25 | 0.000 % |
92.72/92.84 c | 105593 | 636 62548 268903 | 2147483647 105593 25 | 0.000 % |
92.82/92.96 c | 105754 | 636 62548 268903 | 2147483647 105754 25 | 0.000 % |
93.01/93.12 c | 105930 | 636 62548 268903 | 2147483647 105930 25 | 0.000 % |
93.11/93.29 c | 106124 | 636 62548 268903 | 2147483647 106124 25 | 0.000 % |
93.32/93.44 c | 106339 | 636 62548 268903 | 2147483647 106339 25 | 0.000 % |
93.51/93.66 c | 106572 | 636 62548 268903 | 2147483647 106572 25 | 0.000 % |
94.01/94.12 c | 106828 | 636 62548 268903 | 2147483647 106828 25 | 0.000 % |
94.31/94.41 c | 107110 | 636 62548 268903 | 2147483647 107110 25 | 0.000 % |
94.52/94.68 c | 107421 | 636 62548 268903 | 2147483647 107421 25 | 0.000 % |
94.81/94.95 c | 107760 | 636 62548 268903 | 2147483647 107760 25 | 0.000 % |
95.21/95.31 c | 108133 | 636 62548 268903 | 2147483647 108133 25 | 0.000 % |
95.52/95.60 c | 108542 | 636 62548 268903 | 2147483647 108542 25 | 0.000 % |
96.21/96.39 c | 108991 | 636 62548 268903 | 2147483647 108991 25 | 0.000 % |
97.41/97.55 c | 109485 | 636 62548 268903 | 2147483647 109485 25 | 0.000 % |
98.31/98.42 c | 110029 | 636 62548 268903 | 2147483647 110029 25 | 0.000 % |
99.51/99.64 c | 110626 | 636 62548 268903 | 2147483647 110626 25 | 0.000 % |
100.61/100.70 c | 111283 | 636 62548 268903 | 2147483647 111283 25 | 0.000 % |
101.71/101.87 c | 112004 | 636 62548 268903 | 2147483647 112004 25 | 0.000 % |
103.11/103.26 c | 112798 | 636 62548 268903 | 2147483647 112798 25 | 0.000 % |
104.60/104.74 c | 113671 | 636 62548 268903 | 2147483647 113671 25 | 0.000 % |
106.10/106.29 c | 114629 | 636 62548 268903 | 2147483647 114629 25 | 0.000 % |
108.20/108.31 c | 115682 | 636 62548 268903 | 2147483647 115682 25 | 0.000 % |
110.20/110.32 c | 116844 | 636 62548 268903 | 2147483647 116844 25 | 0.000 % |
111.80/111.90 c | 118117 | 636 62548 268903 | 2147483647 118117 25 | 0.000 % |
111.80/112.00 c | 118218 | 636 62548 268903 | 2147483647 118218 25 | 0.000 % |
112.01/112.11 c | 118330 | 636 62548 268903 | 2147483647 118330 25 | 0.000 % |
112.11/112.27 c | 118451 | 636 62548 268903 | 2147483647 118451 25 | 0.000 % |
112.30/112.46 c | 118588 | 636 62548 268903 | 2147483647 118588 25 | 0.000 % |
112.50/112.65 c | 118737 | 636 62548 268903 | 2147483647 118737 25 | 0.000 % |
112.70/112.85 c | 118898 | 636 62548 268903 | 2147483647 118898 25 | 0.000 % |
112.90/113.06 c | 119077 | 636 62548 268903 | 2147483647 119077 25 | 0.000 % |
113.10/113.28 c | 119272 | 636 62548 268903 | 2147483647 119272 25 | 0.000 % |
113.40/113.59 c | 119488 | 636 62548 268903 | 2147483647 119488 25 | 0.000 % |
113.70/113.86 c | 119722 | 636 62548 268903 | 2147483647 119722 25 | 0.000 % |
114.00/114.13 c | 119979 | 636 62548 268903 | 2147483647 119979 25 | 0.000 % |
114.30/114.47 c | 120261 | 636 62548 268903 | 2147483647 120261 25 | 0.000 % |
114.70/114.84 c | 120570 | 636 62548 268903 | 2147483647 120570 25 | 0.000 % |
115.20/115.31 c | 120911 | 636 62548 268903 | 2147483647 120911 25 | 0.000 % |
115.60/115.77 c | 121283 | 636 62548 268903 | 2147483647 121283 25 | 0.000 % |
116.10/116.25 c | 121693 | 636 62548 268903 | 2147483647 121693 25 | 0.000 % |
116.50/116.68 c | 122143 | 636 62548 268903 | 2147483647 122143 25 | 0.051 % |
116.90/117.05 c | 122638 | 636 62548 268903 | 2147483647 122638 25 | 0.000 % |
117.50/117.63 c | 123183 | 636 62548 268903 | 2147483647 123183 25 | 0.000 % |
118.10/118.22 c | 123779 | 636 62548 268903 | 2147483647 123779 25 | 0.000 % |
118.70/118.86 c | 124435 | 636 62548 268903 | 2147483647 124435 25 | 0.000 % |
119.30/119.42 c | 125156 | 636 62548 268903 | 2147483647 125156 25 | 0.000 % |
119.90/120.10 c | 125948 | 636 62548 268903 | 2147483647 125948 25 | 0.000 % |
120.70/120.85 c | 126820 | 636 62548 268903 | 2147483647 126820 25 | 0.000 % |
121.60/121.77 c | 127778 | 636 62548 268903 | 2147483647 127778 25 | 0.000 % |
122.60/122.75 c | 128831 | 636 62548 268903 | 2147483647 128831 25 | 0.000 % |
123.40/123.56 c | 129989 | 636 62548 268903 | 2147483647 129989 25 | 0.051 % |
127.50/127.65 c | 131263 | 636 62548 268903 | 130002 111365 25 | 0.000 % |
129.30/129.46 c | 132663 | 636 62548 268903 | 130002 112765 26 | 0.000 % |
129.40/129.58 c | 132764 | 636 62548 268903 | 130002 112866 26 | 0.000 % |
129.50/129.70 c | 132876 | 636 62548 268903 | 130002 112978 26 | 0.000 % |
129.70/129.85 c | 132997 | 636 62548 268903 | 130002 113099 26 | 0.000 % |
129.90/130.03 c | 133131 | 636 62548 268903 | 130002 113233 26 | 0.000 % |
130.10/130.23 c | 133278 | 636 62548 268903 | 130002 113380 26 | 0.000 % |
130.30/130.43 c | 133438 | 636 62548 268903 | 130002 113540 26 | 0.000 % |
130.50/130.65 c | 133614 | 636 62548 268903 | 130002 113716 26 | 0.000 % |
130.70/130.88 c | 133810 | 636 62548 268903 | 130002 113912 26 | 0.000 % |
131.00/131.18 c | 134024 | 636 62548 268903 | 130002 114126 26 | 0.051 % |
131.99/132.14 c | 134258 | 636 62548 268903 | 130002 114360 26 | 0.000 % |
133.19/133.32 c | 134515 | 636 62548 268903 | 130002 114617 26 | 0.000 % |
133.59/133.75 c | 134796 | 636 62548 268903 | 130002 114898 26 | 0.000 % |
134.00/134.19 c | 135105 | 636 62548 268903 | 130002 115207 26 | 0.000 % |
134.49/134.60 c | 135445 | 636 62548 268903 | 130002 115547 26 | 0.000 % |
134.89/135.08 c | 135817 | 636 62548 268903 | 130002 115919 26 | 0.000 % |
135.39/135.58 c | 136231 | 636 62548 268903 | 130002 116333 26 | 0.002 % |
135.99/136.13 c | 136680 | 636 62548 268903 | 130002 116782 26 | 0.000 % |
136.49/136.62 c | 137173 | 636 62548 268903 | 130002 117275 26 | 0.000 % |
138.39/138.58 c | 137715 | 636 62548 268903 | 130002 117817 26 | 0.000 % |
140.79/140.94 c | 138311 | 636 62548 268903 | 130002 118413 26 | 0.000 % |
143.39/143.57 c | 138966 | 636 62548 268903 | 130002 119068 26 | 0.000 % |
144.99/145.18 c | 139687 | 636 62548 268903 | 130002 119789 26 | 0.000 % |
148.79/148.93 c | 140479 | 636 62548 268903 | 120103 90931 26 | 0.000 % |
150.79/150.97 c | 141352 | 636 62548 268903 | 120103 91804 26 | 0.000 % |
153.89/154.06 c | 142311 | 636 62548 268903 | 120103 92763 26 | 0.000 % |
156.88/157.04 c | 143364 | 636 62548 268903 | 120103 93816 26 | 0.051 % |
162.18/162.30 c | 144522 | 636 62548 268903 | 120103 94974 26 | 0.000 % |
166.48/166.69 c | 145796 | 636 62548 268903 | 120103 96248 26 | 0.000 % |
168.48/168.66 c | 147200 | 636 62548 268903 | 120103 97652 26 | 0.000 % |
174.48/174.60 c | 148742 | 636 62548 268903 | 120103 99194 26 | 0.000 % |
174.58/174.78 c | 148842 | 636 62548 268903 | 120103 99294 26 | 0.002 % |
174.78/174.94 c | 148954 | 636 62548 268903 | 120103 99406 26 | 0.000 % |
175.18/175.34 c | 149077 | 636 62548 268903 | 120103 99529 26 | 0.000 % |
175.68/175.82 c | 149211 | 636 62548 268903 | 120103 99663 26 | 0.000 % |
176.07/176.26 c | 149357 | 636 62548 268903 | 120103 99809 26 | 0.000 % |
176.67/176.87 c | 149517 | 636 62548 268903 | 120103 99969 26 | 0.000 % |
177.17/177.30 c | 149698 | 636 62548 268903 | 120103 100150 26 | 0.000 % |
177.37/177.56 c | 149893 | 636 62548 268903 | 120103 100345 26 | 0.000 % |
177.67/177.88 c | 150107 | 636 62548 268903 | 100454 100559 26 | 0.000 % |
179.27/179.42 c | 150340 | 636 62548 268903 | 100454 77464 26 | 0.000 % |
179.67/179.81 c | 150597 | 636 62548 268903 | 100454 77721 27 | 0.000 % |
180.57/180.74 c | 150881 | 636 62548 268903 | 100454 78005 27 | 0.000 % |
181.57/181.77 c | 151190 | 636 62548 268903 | 100454 78314 27 | 0.000 % |
182.67/182.81 c | 151531 | 636 62548 268903 | 100454 78655 27 | 0.000 % |
183.77/183.91 c | 151904 | 636 62548 268903 | 100454 79028 27 | 0.000 % |
184.77/184.96 c | 152313 | 636 62548 268903 | 100454 79437 27 | 0.000 % |
186.37/186.52 c | 152762 | 636 62548 268903 | 100454 79886 27 | 0.000 % |
188.17/188.37 c | 153258 | 636 62548 268903 | 100454 80382 27 | 0.000 % |
189.97/190.17 c | 153800 | 636 62548 268903 | 100454 80924 27 | 0.000 % |
192.37/192.55 c | 154396 | 636 62548 268903 | 100454 81520 27 | 0.000 % |
194.97/195.10 c | 155053 | 636 62548 268903 | 100454 82177 27 | 0.000 % |
197.46/197.64 c | 155774 | 636 62548 268903 | 100454 82898 27 | 0.000 % |
200.26/200.46 c | 156566 | 636 62548 268903 | 100454 83690 27 | 0.000 % |
202.56/202.77 c | 157437 | 636 62548 268903 | 100454 84561 27 | 0.000 % |
203.66/203.82 c | 158397 | 636 62548 268903 | 100454 85521 27 | 0.000 % |
205.06/205.21 c | 159450 | 636 62548 268903 | 100454 86574 27 | 0.000 % |
207.46/207.62 c | 160608 | 636 62548 268903 | 87124 65791 28 | 0.000 % |
210.66/210.88 c | 161881 | 636 62548 268903 | 87124 67064 28 | 0.000 % |
213.86/214.08 c | 163283 | 636 62548 268903 | 87124 68466 28 | 0.000 % |
217.66/217.82 c | 164824 | 636 62548 268903 | 87124 70007 28 | 0.000 % |
221.45/221.66 c | 166518 | 636 62548 268903 | 87124 71701 28 | 0.000 % |
221.55/221.80 c | 166619 | 636 62548 268903 | 87124 71802 28 | 0.000 % |
221.96/222.11 c | 166729 | 636 62548 268903 | 87124 71912 28 | 0.000 % |
222.35/222.54 c | 166851 | 636 62548 268903 | 87124 72034 28 | 0.000 % |
222.75/222.91 c | 166986 | 636 62548 268903 | 87124 72169 28 | 0.000 % |
223.16/223.35 c | 167133 | 636 62548 268903 | 87124 72316 28 | 0.000 % |
223.65/223.83 c | 167293 | 636 62548 268903 | 87124 72476 28 | 0.000 % |
224.05/224.28 c | 167469 | 636 62548 268903 | 87124 72652 28 | 0.000 % |
224.45/224.66 c | 167664 | 636 62548 268903 | 87124 72847 28 | 0.000 % |
224.95/225.19 c | 167877 | 636 62548 268903 | 87124 73060 27 | 0.000 % |
225.55/225.72 c | 168112 | 636 62548 268903 | 87124 73295 27 | 0.000 % |
226.15/226.31 c | 168368 | 636 62548 268903 | 87124 73551 27 | 0.000 % |
226.45/226.65 c | 168649 | 636 62548 268903 | 87124 73832 27 | 0.000 % |
227.15/227.40 c | 168960 | 636 62548 268903 | 87124 74143 27 | 0.000 % |
227.85/228.09 c | 169299 | 636 62548 268903 | 87124 74482 27 | 0.000 % |
229.05/229.26 c | 169671 | 636 62548 268903 | 87124 74854 27 | 0.000 % |
229.75/229.90 c | 170080 | 636 62548 268903 | 75183 75263 27 | 0.000 % |
230.75/230.96 c | 170532 | 636 62548 268903 | 75183 67468 27 | 0.000 % |
231.45/231.61 c | 171025 | 636 62548 268903 | 75183 67961 27 | 0.000 % |
232.65/232.88 c | 171569 | 636 62548 268903 | 75183 68505 27 | 0.000 % |
233.85/234.07 c | 172165 | 636 62548 268903 | 75183 69101 28 | 0.000 % |
235.04/235.22 c | 172821 | 636 62548 268903 | 75183 69757 28 | 0.000 % |
236.25/236.44 c | 173542 | 636 62548 268903 | 75183 70478 28 | 0.000 % |
237.45/237.65 c | 174335 | 636 62548 268903 | 75183 71271 28 | 0.000 % |
238.84/239.05 c | 175207 | 636 62548 268903 | 75183 72143 28 | 0.000 % |
240.54/240.77 c | 176166 | 636 62548 268903 | 75183 73102 28 | 0.000 % |
242.24/242.45 c | 177219 | 636 62548 268903 | 75183 74155 28 | 0.000 % |
244.54/244.71 c | 178379 | 636 62548 268903 | 75183 67790 28 | 0.000 % |
246.14/246.40 c | 179653 | 636 62548 268903 | 75183 69064 28 | 0.000 % |
248.34/248.53 c | 181053 | 636 62548 268903 | 2147483647 70464 28 | 0.000 % |
250.54/250.77 c | 182593 | 636 62548 268903 | 2147483647 72004 28 | 0.000 % |
252.94/253.10 c | 184290 | 636 62548 268903 | 2147483647 73701 28 | 0.000 % |
255.43/255.63 c | 186155 | 636 62548 268903 | 2147483647 75566 28 | 0.000 % |
255.53/255.77 c | 186257 | 636 62548 268903 | 2147483647 75668 28 | 0.000 % |
255.73/255.91 c | 186367 | 636 62548 268903 | 2147483647 75778 28 | 0.000 % |
255.83/256.04 c | 186489 | 636 62548 268903 | 2147483647 75900 28 | 0.000 % |
255.93/256.20 c | 186622 | 636 62548 268903 | 2147483647 76033 28 | 0.000 % |
256.23/256.40 c | 186770 | 636 62548 268903 | 2147483647 76181 28 | 0.000 % |
256.53/256.79 c | 186930 | 636 62548 268903 | 2147483647 76341 28 | 0.000 % |
256.93/257.13 c | 187106 | 636 62548 268903 | 2147483647 76517 28 | 0.000 % |
257.33/257.53 c | 187300 | 636 62548 268903 | 2147483647 76711 28 | 0.000 % |
257.83/258.00 c | 187512 | 636 62548 268903 | 2147483647 76923 28 | 0.000 % |
258.13/258.35 c | 187746 | 636 62548 268903 | 2147483647 77157 28 | 0.000 % |
258.63/258.86 c | 188004 | 636 62548 268903 | 2147483647 77415 28 | 0.000 % |
259.44/259.60 c | 188286 | 636 62548 268903 | 2147483647 77697 28 | 0.000 % |
260.13/260.36 c | 188596 | 636 62548 268903 | 2147483647 78007 28 | 0.000 % |
260.93/261.17 c | 188935 | 636 62548 268903 | 2147483647 78346 28 | 0.000 % |
261.63/261.84 c | 189310 | 636 62548 268903 | 2147483647 78721 28 | 0.000 % |
262.43/262.60 c | 189721 | 636 62548 268903 | 2147483647 79132 28 | 0.000 % |
262.93/263.19 c | 190171 | 636 62548 268903 | 2147483647 79582 28 | 0.000 % |
264.03/264.27 c | 190664 | 636 62548 268903 | 2147483647 80075 28 | 0.000 % |
265.43/265.60 c | 191208 | 636 62548 268903 | 2147483647 80619 28 | 0.000 % |
266.73/266.97 c | 191804 | 636 62548 268903 | 2147483647 81215 28 | 0.000 % |
268.53/268.72 c | 192461 | 636 62548 268903 | 2147483647 81872 28 | 0.000 % |
269.83/270.06 c | 193182 | 636 62548 268903 | 2147483647 82593 28 | 0.000 % |
271.53/271.74 c | 193975 | 636 62548 268903 | 2147483647 83386 28 | 0.000 % |
274.03/274.21 c | 194848 | 636 62548 268903 | 2147483647 84259 28 | 0.000 % |
275.53/275.72 c | 195807 | 636 62548 268903 | 2147483647 85218 28 | 0.000 % |
277.52/277.70 c | 196867 | 636 62548 268903 | 2147483647 86278 28 | 0.000 % |
279.13/279.38 c | 198026 | 636 62548 268903 | 2147483647 87437 28 | 0.000 % |
281.92/282.12 c | 199299 | 636 62548 268903 | 2147483647 88710 28 | 0.000 % |
284.12/284.33 c | 200702 | 636 62548 268903 | 2147483647 90113 28 | 0.000 % |
287.62/287.89 c | 202244 | 636 62548 268903 | 2147483647 91655 28 | 0.000 % |
291.92/292.18 c | 203939 | 636 62548 268903 | 2147483647 93350 28 | 0.000 % |
297.32/297.54 c | 205804 | 636 62548 268903 | 2147483647 95215 28 | 0.000 % |
302.42/302.60 c | 207854 | 636 62548 268903 | 2147483647 97265 28 | 0.000 % |
302.62/302.85 c | 207954 | 636 62548 268903 | 2147483647 97365 28 | 0.000 % |
303.02/303.24 c | 208065 | 636 62548 268903 | 2147483647 97476 28 | 0.000 % |
303.52/303.70 c | 208188 | 636 62548 268903 | 2147483647 97599 28 | 0.000 % |
303.82/304.04 c | 208323 | 636 62548 268903 | 2147483647 97734 28 | 0.000 % |
304.12/304.33 c | 208469 | 636 62548 268903 | 2147483647 97880 28 | 0.000 % |
304.53/304.79 c | 208629 | 636 62548 268903 | 2147483647 98040 28 | 0.000 % |
305.02/305.29 c | 208805 | 636 62548 268903 | 2147483647 98216 28 | 0.000 % |
305.32/305.54 c | 208999 | 636 62548 268903 | 2147483647 98410 28 | 0.000 % |
305.82/306.06 c | 209211 | 636 62548 268903 | 2147483647 98622 28 | 0.000 % |
306.52/306.77 c | 209444 | 636 62548 268903 | 2147483647 98855 28 | 0.000 % |
307.32/307.56 c | 209700 | 636 62548 268903 | 2147483647 99111 28 | 0.000 % |
307.82/308.09 c | 209984 | 636 62548 268903 | 2147483647 99395 28 | 0.000 % |
308.32/308.56 c | 210295 | 636 62548 268903 | 2147483647 99706 28 | 0.000 % |
308.92/309.13 c | 210637 | 636 62548 268903 | 2147483647 100048 28 | 0.000 % |
309.72/309.97 c | 211011 | 636 62548 268903 | 2147483647 100422 28 | 0.000 % |
310.92/311.15 c | 211420 | 636 62548 268903 | 2147483647 100831 28 | 0.000 % |
312.62/312.84 c | 211870 | 636 62548 268903 | 2147483647 101281 28 | 0.000 % |
314.12/314.31 c | 212364 | 636 62548 268903 | 2147483647 101775 28 | 0.000 % |
315.62/315.87 c | 212906 | 636 62548 268903 | 2147483647 102317 28 | 0.000 % |
317.22/317.40 c | 213502 | 636 62548 268903 | 2147483647 102913 28 | 0.000 % |
318.92/319.12 c | 214157 | 636 62548 268903 | 2147483647 103568 28 | 0.000 % |
320.71/320.93 c | 214879 | 636 62548 268903 | 2147483647 104290 28 | 0.000 % |
323.01/323.25 c | 215672 | 636 62548 268903 | 2147483647 105083 27 | 0.000 % |
325.42/325.60 c | 216543 | 636 62548 268903 | 2147483647 105954 28 | 0.000 % |
327.91/328.15 c | 217503 | 636 62548 268903 | 2147483647 106914 27 | 0.000 % |
330.71/330.98 c | 218557 | 636 62548 268903 | 2147483647 107968 27 | 0.000 % |
333.81/334.08 c | 219716 | 636 62548 268903 | 2147483647 109127 27 | 0.000 % |
335.71/335.93 c | 220989 | 636 62548 268903 | 109411 96111 27 | 0.000 % |
337.21/337.49 c | 222389 | 636 62548 268903 | 109411 97511 27 | 0.000 % |
338.91/339.16 c | 223929 | 636 62548 268903 | 109411 99051 27 | 0.000 % |
341.01/341.27 c | 225623 | 636 62548 268903 | 109411 100745 27 | 0.000 % |
344.11/344.37 c | 227486 | 636 62548 268903 | 109411 102608 27 | 0.000 % |
354.30/354.53 c | 229537 | 636 62548 268903 | 109411 104659 28 | 0.000 % |
365.80/366.05 c | 231790 | 636 62548 268903 | 105122 84958 27 | 0.000 % |
366.20/366.48 c | 231891 | 636 62548 268903 | 105122 85059 27 | 0.000 % |
366.90/367.14 c | 232002 | 636 62548 268903 | 105122 85170 27 | 0.000 % |
367.70/367.94 c | 232124 | 636 62548 268903 | 105122 85292 27 | 0.000 % |
368.60/368.80 c | 232259 | 636 62548 268903 | 105122 85427 27 | 0.000 % |
369.40/369.60 c | 232406 | 636 62548 268903 | 105122 85574 27 | 0.000 % |
370.10/370.38 c | 232567 | 636 62548 268903 | 105122 85735 27 | 0.000 % |
371.00/371.25 c | 232745 | 636 62548 268903 | 105122 85913 27 | 0.000 % |
371.90/372.12 c | 232940 | 636 62548 268903 | 105122 86108 27 | 0.000 % |
372.99/373.23 c | 233154 | 636 62548 268903 | 105122 86322 27 | 0.000 % |
373.89/374.15 c | 233387 | 636 62548 268903 | 105122 86555 27 | 0.000 % |
375.19/375.48 c | 233643 | 636 62548 268903 | 105122 86811 27 | 0.000 % |
375.90/376.17 c | 233925 | 636 62548 268903 | 105122 87093 27 | 0.000 % |
377.00/377.22 c | 234234 | 636 62548 268903 | 105122 87402 27 | 0.002 % |
378.49/378.75 c | 234573 | 636 62548 268903 | 105122 87741 27 | 0.000 % |
380.59/380.85 c | 234946 | 636 62548 268903 | 105122 88114 27 | 0.000 % |
383.19/383.48 c | 235357 | 636 62548 268903 | 105122 88525 27 | 0.000 % |
386.29/386.56 c | 235806 | 636 62548 268903 | 105122 88974 27 | 0.000 % |
389.69/389.95 c | 236300 | 636 62548 268903 | 105122 89468 27 | 0.000 % |
392.19/392.46 c | 236844 | 636 62548 268903 | 105122 90012 27 | 0.000 % |
394.69/394.95 c | 237440 | 636 62548 268903 | 105122 90608 27 | 0.000 % |
397.18/397.44 c | 238096 | 636 62548 268903 | 105122 91264 27 | 0.000 % |
399.68/399.96 c | 238817 | 636 62548 268903 | 105122 91985 27 | 0.000 % |
402.08/402.38 c | 239610 | 636 62548 268903 | 105122 92778 27 | 0.000 % |
404.88/405.16 c | 240484 | 636 62548 268903 | 93168 71442 26 | 0.000 % |
405.58/405.82 c | 241444 | 636 62548 268903 | 93168 72402 26 | 0.000 % |
409.98/410.23 c | 242497 | 636 62548 268903 | 93168 73455 26 | 0.002 % |
413.98/414.27 c | 243655 | 636 62548 268903 | 93168 74613 26 | 0.000 % |
419.88/420.18 c | 244928 | 636 62548 268903 | 93168 75886 26 | 0.002 % |
425.17/425.48 c | 246328 | 636 62548 268903 | 93168 77286 26 | 0.000 % |
429.87/430.13 c | 247872 | 636 62548 268903 | 93168 78830 26 | 0.000 % |
437.47/437.74 c | 249567 | 636 62548 268903 | 93168 80525 26 | 0.000 % |
442.66/442.91 c | 251430 | 636 62548 268903 | 80958 68292 26 | 0.000 % |
448.86/449.13 c | 253479 | 636 62548 268903 | 80958 70341 26 | 0.000 % |
458.36/458.62 c | 255734 | 636 62548 268903 | 80958 72596 26 | 0.000 % |
460.56/460.86 c | 258215 | 636 62548 268903 | 80958 75077 26 | 0.000 % |
460.76/461.02 c | 258317 | 636 62548 268903 | 80958 75179 26 | 0.000 % |
461.16/461.49 c | 258427 | 636 62548 268903 | 80958 75289 26 | 0.000 % |
461.66/461.99 c | 258548 | 636 62548 268903 | 80958 75410 26 | 0.000 % |
462.36/462.63 c | 258681 | 636 62548 268903 | 80958 75543 26 | 0.000 % |
462.86/463.13 c | 258827 | 636 62548 268903 | 80958 75689 26 | 0.000 % |
463.56/463.87 c | 258987 | 636 62548 268903 | 80958 75849 26 | 0.000 % |
464.56/464.80 c | 259163 | 636 62548 268903 | 80958 76025 26 | 0.000 % |
465.46/465.79 c | 259356 | 636 62548 268903 | 80958 76218 26 | 0.000 % |
466.56/466.83 c | 259569 | 636 62548 268903 | 80958 76431 27 | 0.000 % |
467.76/468.08 c | 259803 | 636 62548 268903 | 80958 76665 27 | 0.000 % |
468.65/468.95 c | 260061 | 636 62548 268903 | 76862 76923 27 | 0.000 % |
469.85/470.18 c | 260342 | 636 62548 268903 | 76862 65837 27 | 0.000 % |
470.05/470.39 c | 260652 | 636 62548 268903 | 76862 66147 27 | 0.000 % |
471.45/471.76 c | 260996 | 636 62548 268903 | 76862 66491 27 | 0.000 % |
472.66/472.96 c | 261368 | 636 62548 268903 | 76862 66863 27 | 0.000 % |
474.35/474.63 c | 261777 | 636 62548 268903 | 76862 67272 27 | 0.000 % |
476.05/476.39 c | 262226 | 636 62548 268903 | 76862 67721 27 | 0.000 % |
477.45/477.78 c | 262721 | 636 62548 268903 | 76862 68216 27 | 0.000 % |
478.55/478.84 c | 263263 | 636 62548 268903 | 76862 68758 27 | 0.000 % |
479.05/479.38 c | 263861 | 636 62548 268903 | 76862 69356 27 | 0.000 % |
479.65/479.98 c | 264518 | 636 62548 268903 | 76862 70013 27 | 0.000 % |
482.55/482.90 c | 265238 | 636 62548 268903 | 76862 70733 27 | 0.000 % |
485.25/485.57 c | 266030 | 636 62548 268903 | 76862 71525 27 | 0.000 % |
488.15/488.46 c | 266901 | 636 62548 268903 | 76862 72396 27 | 0.000 % |
491.74/492.02 c | 267864 | 636 62548 268903 | 76862 73359 27 | 0.000 % |
494.84/495.10 c | 268918 | 636 62548 268903 | 76862 74413 27 | 0.002 % |
498.64/498.97 c | 270077 | 636 62548 268903 | 75497 67476 27 | 0.000 % |
502.24/502.55 c | 271351 | 636 62548 268903 | 75497 68750 27 | 0.000 % |
506.14/506.42 c | 272751 | 636 62548 268903 | 75497 70150 27 | 0.000 % |
510.44/510.71 c | 274293 | 636 62548 268903 | 75497 71692 27 | 0.000 % |
514.44/514.71 c | 275988 | 636 62548 268903 | 75497 73387 27 | 0.000 % |
520.13/520.44 c | 277851 | 636 62548 268903 | 75497 75250 27 | 0.000 % |
524.73/525.00 c | 279901 | 636 62548 268903 | 75497 64010 27 | 0.000 % |
527.53/527.85 c | 282155 | 636 62548 268903 | 64110 57227 27 | 0.000 % |
530.53/530.88 c | 284635 | 636 62548 268903 | 64110 59707 27 | 0.000 % |
533.73/534.07 c | 287363 | 636 62548 268903 | 64110 62435 27 | 0.000 % |
533.83/534.18 c | 287463 | 636 62548 268903 | 64110 62535 27 | 0.000 % |
534.03/534.32 c | 287575 | 636 62548 268903 | 64110 62647 27 | 0.000 % |
534.13/534.48 c | 287696 | 636 62548 268903 | 64110 62768 27 | 0.000 % |
534.33/534.66 c | 287832 | 636 62548 268903 | 64110 62904 27 | 0.000 % |
534.53/534.84 c | 287978 | 636 62548 268903 | 64110 63050 27 | 0.000 % |
534.73/535.06 c | 288138 | 636 62548 268903 | 64110 63210 27 | 0.000 % |
535.03/535.30 c | 288316 | 636 62548 268903 | 64110 63388 27 | 0.000 % |
535.23/535.56 c | 288516 | 636 62548 268903 | 64110 63588 27 | 0.000 % |
535.53/535.81 c | 288728 | 636 62548 268903 | 64110 63800 27 | 0.000 % |
535.73/536.09 c | 288961 | 636 62548 268903 | 64110 64033 27 | 0.000 % |
536.13/536.47 c | 289217 | 636 62548 268903 | 64110 57871 26 | 0.000 % |
536.43/536.72 c | 289498 | 636 62548 268903 | 64110 58152 26 | 0.000 % |
536.72/537.02 c | 289808 | 636 62548 268903 | 64110 58462 26 | 0.000 % |
537.02/537.34 c | 290147 | 636 62548 268903 | 2147483647 58801 26 | 0.000 % |
537.32/537.68 c | 290519 | 636 62548 268903 | 2147483647 59173 26 | 0.000 % |
537.82/538.17 c | 290929 | 636 62548 268903 | 2147483647 59583 26 | 0.000 % |
538.32/538.65 c | 291378 | 636 62548 268903 | 2147483647 60032 26 | 0.000 % |
538.82/539.12 c | 291873 | 636 62548 268903 | 2147483647 60527 26 | 0.000 % |
539.32/539.65 c | 292419 | 636 62548 268903 | 2147483647 61073 26 | 0.000 % |
539.83/540.19 c | 293018 | 636 62548 268903 | 2147483647 61672 26 | 0.000 % |
540.42/540.79 c | 293673 | 636 62548 268903 | 2147483647 62327 26 | 0.000 % |
541.22/541.55 c | 294397 | 636 62548 268903 | 2147483647 63051 26 | 0.000 % |
541.92/542.29 c | 295192 | 636 62548 268903 | 2147483647 63846 26 | 0.000 % |
542.82/543.17 c | 296064 | 636 62548 268903 | 2147483647 64718 26 | 0.000 % |
544.02/544.34 c | 297023 | 636 62548 268903 | 2147483647 65677 26 | 0.000 % |
545.33/545.65 c | 298078 | 636 62548 268903 | 2147483647 66732 26 | 0.000 % |
546.72/547.03 c | 299238 | 636 62548 268903 | 2147483647 67892 26 | 0.000 % |
548.12/548.40 c | 300517 | 636 62548 268903 | 2147483647 69171 26 | 0.000 % |
549.82/550.17 c | 301917 | 636 62548 268903 | 2147483647 70571 26 | 0.000 % |
551.62/551.95 c | 303459 | 636 62548 268903 | 2147483647 72113 26 | 0.000 % |
553.62/553.97 c | 305156 | 636 62548 268903 | 2147483647 73810 26 | 0.000 % |
555.92/556.26 c | 307019 | 636 62548 268903 | 2147483647 75673 26 | 0.000 % |
558.31/558.68 c | 309069 | 636 62548 268903 | 2147483647 77723 26 | 0.000 % |
561.21/561.58 c | 311322 | 636 62548 268903 | 2147483647 79976 26 | 0.000 % |
564.41/564.80 c | 313800 | 636 62548 268903 | 2147483647 82454 26 | 0.000 % |
567.71/568.06 c | 316527 | 636 62548 268903 | 2147483647 85181 26 | 0.000 % |
572.01/572.33 c | 319524 | 636 62548 268903 | 2147483647 88178 26 | 0.000 % |
572.21/572.51 c | 319624 | 636 62548 268903 | 2147483647 88278 26 | 0.000 % |
572.31/572.67 c | 319735 | 636 62548 268903 | 2147483647 88389 26 | 0.000 % |
572.51/572.84 c | 319860 | 636 62548 268903 | 2147483647 88514 26 | 0.000 % |
572.71/573.04 c | 319993 | 636 62548 268903 | 2147483647 88647 26 | 0.000 % |
572.91/573.27 c | 320139 | 636 62548 268903 | 2147483647 88793 26 | 0.000 % |
573.20/573.51 c | 320299 | 636 62548 268903 | 2147483647 88953 26 | 0.000 % |
573.40/573.76 c | 320477 | 636 62548 268903 | 2147483647 89131 26 | 0.000 % |
573.60/573.97 c | 320670 | 636 62548 268903 | 2147483647 89324 26 | 0.000 % |
573.91/574.21 c | 320882 | 636 62548 268903 | 2147483647 89536 26 | 0.002 % |
574.20/574.52 c | 321115 | 636 62548 268903 | 2147483647 89769 26 | 0.000 % |
574.60/574.91 c | 321371 | 636 62548 268903 | 2147483647 90025 25 | 0.000 % |
575.01/575.36 c | 321655 | 636 62548 268903 | 2147483647 90309 25 | 0.000 % |
575.40/575.79 c | 321964 | 636 62548 268903 | 2147483647 90618 25 | 0.000 % |
575.90/576.29 c | 322306 | 636 62548 268903 | 2147483647 90960 25 | 0.000 % |
576.50/576.86 c | 322678 | 636 62548 268903 | 2147483647 91332 25 | 0.000 % |
577.11/577.43 c | 323089 | 636 62548 268903 | 2147483647 91743 25 | 0.000 % |
577.80/578.18 c | 323539 | 636 62548 268903 | 2147483647 92193 25 | 0.000 % |
578.40/578.77 c | 324033 | 636 62548 268903 | 2147483647 92687 25 | 0.000 % |
578.90/579.22 c | 324576 | 636 62548 268903 | 2147483647 93230 25 | 0.000 % |
579.41/579.70 c | 325173 | 636 62548 268903 | 2147483647 93827 25 | 0.000 % |
579.90/580.24 c | 325828 | 636 62548 268903 | 2147483647 94482 25 | 0.000 % |
580.50/580.85 c | 326549 | 636 62548 268903 | 2147483647 95203 25 | 0.000 % |
581.30/581.64 c | 327343 | 636 62548 268903 | 2147483647 95997 25 | 0.000 % |
582.10/582.40 c | 328214 | 636 62548 268903 | 2147483647 96868 26 | 0.000 % |
583.20/583.57 c | 329174 | 636 62548 268903 | 2147483647 97828 25 | 0.000 % |
584.70/585.02 c | 330227 | 636 62548 268903 | 2147483647 98881 25 | 0.002 % |
586.10/586.44 c | 331386 | 636 62548 268903 | 2147483647 100040 25 | 0.002 % |
588.40/588.75 c | 332659 | 636 62548 268903 | 2147483647 101313 25 | 0.000 % |
592.80/593.14 c | 334059 | 636 62548 268903 | 2147483647 102713 25 | 0.000 % |
597.30/597.61 c | 335600 | 636 62548 268903 | 2147483647 104254 25 | 0.000 % |
604.30/604.64 c | 337296 | 636 62548 268903 | 2147483647 105950 25 | 0.000 % |
613.19/613.52 c | 339163 | 636 62548 268903 | 2147483647 107817 25 | 0.000 % |
622.09/622.49 c | 341219 | 636 62548 268903 | 2147483647 109873 25 | 0.002 % |
630.59/630.93 c | 343472 | 636 62548 268903 | 2147483647 112126 25 | 0.002 % |
640.68/641.06 c | 345954 | 636 62548 268903 | 2147483647 114608 25 | 0.000 % |
650.68/651.04 c | 348681 | 636 62548 268903 | 2147483647 117335 25 | 0.000 % |
660.98/661.40 c | 351679 | 636 62548 268903 | 118654 98591 24 | 0.002 % |
669.48/669.84 c | 354975 | 636 62548 268903 | 118654 101887 25 | 0.000 % |
669.58/669.91 c | 355077 | 636 62548 268903 | 118654 101989 24 | 0.000 % |
670.07/670.46 c | 355187 | 636 62548 268903 | 118654 102099 25 | 0.000 % |
670.68/671.08 c | 355309 | 636 62548 268903 | 118654 102221 25 | 0.000 % |
671.37/671.72 c | 355442 | 636 62548 268903 | 118654 102354 25 | 0.000 % |
672.07/672.47 c | 355589 | 636 62548 268903 | 118654 102501 25 | 0.000 % |
672.37/672.70 c | 355749 | 636 62548 268903 | 118654 102661 25 | 0.000 % |
673.17/673.56 c | 355925 | 636 62548 268903 | 118654 102837 25 | 0.000 % |
673.98/674.37 c | 356118 | 636 62548 268903 | 118654 103030 25 | 0.000 % |
675.08/675.46 c | 356330 | 636 62548 268903 | 118654 103242 25 | 0.000 % |
676.27/676.64 c | 356563 | 636 62548 268903 | 118654 103475 25 | 0.000 % |
677.57/677.99 c | 356820 | 636 62548 268903 | 118654 103732 25 | 0.000 % |
679.27/679.61 c | 357103 | 636 62548 268903 | 118654 104015 25 | 0.000 % |
681.07/681.47 c | 357412 | 636 62548 268903 | 118654 104324 25 | 0.000 % |
683.07/683.44 c | 357751 | 636 62548 268903 | 118654 104663 25 | 0.000 % |
684.77/685.19 c | 358123 | 636 62548 268903 | 118654 105035 25 | 0.000 % |
686.77/687.13 c | 358536 | 636 62548 268903 | 118654 105448 25 | 0.000 % |
689.07/689.44 c | 358985 | 636 62548 268903 | 118654 105897 25 | 0.000 % |
691.57/691.96 c | 359478 | 636 62548 268903 | 118654 106390 25 | 0.000 % |
694.37/694.72 c | 360023 | 636 62548 268903 | 106914 106935 25 | 0.000 % |
697.57/697.97 c | 360619 | 636 62548 268903 | 106914 80257 24 | 0.000 % |
699.46/699.85 c | 361276 | 636 62548 268903 | 106914 80914 24 | 0.000 % |
700.76/701.16 c | 361996 | 636 62548 268903 | 106914 81634 24 | 0.000 % |
703.16/703.52 c | 362789 | 636 62548 268903 | 106914 82427 24 | 0.000 % |
706.26/706.61 c | 363660 | 636 62548 268903 | 106914 83298 24 | 0.000 % |
709.16/709.59 c | 364619 | 636 62548 268903 | 106914 84257 24 | 0.000 % |
711.46/711.83 c | 365672 | 636 62548 268903 | 106914 85310 24 | 0.000 % |
714.76/715.10 c | 366831 | 636 62548 268903 | 106914 86469 24 | 0.000 % |
718.55/718.93 c | 368105 | 636 62548 268903 | 106914 87743 24 | 0.000 % |
722.45/722.80 c | 369505 | 636 62548 268903 | 106914 89143 24 | 0.000 % |
727.76/728.13 c | 371050 | 636 62548 268903 | 89638 80182 24 | 0.000 % |
732.45/732.81 c | 372744 | 636 62548 268903 | 89638 81876 24 | 0.000 % |
737.25/737.69 c | 374610 | 636 62548 268903 | 89638 83742 24 | 0.000 % |
743.35/743.76 c | 376659 | 636 62548 268903 | 89638 85791 25 | 0.000 % |
749.85/750.22 c | 378918 | 636 62548 268903 | 89638 88050 25 | 0.000 % |
756.74/757.15 c | 381396 | 636 62548 268903 | 89132 80593 25 | 0.000 % |
763.24/763.66 c | 384121 | 636 62548 268903 | 89132 83318 25 | 0.000 % |
769.64/770.01 c | 387118 | 636 62548 268903 | 89132 86315 24 | 0.000 % |
775.43/775.82 c | 390414 | 636 62548 268903 | 2147483647 89611 24 | 0.000 % |
783.03/783.47 c | 394040 | 636 62548 268903 | 2147483647 93237 24 | 0.000 % |
783.33/783.71 c | 394140 | 636 62548 268903 | 2147483647 93337 24 | 0.000 % |
783.53/783.95 c | 394250 | 636 62548 268903 | 2147483647 93447 24 | 0.000 % |
783.73/784.20 c | 394371 | 636 62548 268903 | 2147483647 93568 24 | 0.000 % |
784.03/784.49 c | 394507 | 636 62548 268903 | 2147483647 93704 24 | 0.000 % |
784.43/784.87 c | 394655 | 636 62548 268903 | 2147483647 93852 24 | 0.000 % |
784.83/785.23 c | 394815 | 636 62548 268903 | 2147483647 94012 24 | 0.000 % |
785.13/785.59 c | 394991 | 636 62548 268903 | 2147483647 94188 24 | 0.000 % |
785.63/786.01 c | 395184 | 636 62548 268903 | 2147483647 94381 24 | 0.000 % |
786.03/786.48 c | 395398 | 636 62548 268903 | 2147483647 94595 24 | 0.000 % |
786.53/786.97 c | 395632 | 636 62548 268903 | 2147483647 94829 24 | 0.000 % |
787.13/787.59 c | 395888 | 636 62548 268903 | 2147483647 95085 24 | 0.000 % |
787.83/788.25 c | 396173 | 636 62548 268903 | 2147483647 95370 24 | 0.000 % |
788.53/788.99 c | 396482 | 636 62548 268903 | 2147483647 95679 24 | 0.000 % |
789.43/789.85 c | 396823 | 636 62548 268903 | 2147483647 96020 24 | 0.000 % |
790.23/790.68 c | 397195 | 636 62548 268903 | 2147483647 96392 24 | 0.000 % |
791.13/791.59 c | 397604 | 636 62548 268903 | 2147483647 96801 24 | 0.000 % |
792.43/792.86 c | 398054 | 636 62548 268903 | 2147483647 97251 24 | 0.000 % |
793.73/794.14 c | 398548 | 636 62548 268903 | 2147483647 97745 24 | 0.000 % |
795.13/795.57 c | 399091 | 636 62548 268903 | 2147483647 98288 24 | 0.000 % |
796.82/797.21 c | 399689 | 636 62548 268903 | 2147483647 98886 24 | 0.000 % |
798.32/798.71 c | 400344 | 636 62548 268903 | 2147483647 99541 24 | 0.000 % |
799.82/800.27 c | 401068 | 636 62548 268903 | 2147483647 100265 24 | 0.000 % |
802.02/802.43 c | 401862 | 636 62548 268903 | 2147483647 101059 24 | 0.000 % |
804.02/804.48 c | 402738 | 636 62548 268903 | 2147483647 101935 24 | 0.000 % |
806.32/806.78 c | 403696 | 636 62548 268903 | 2147483647 102893 24 | 0.000 % |
808.92/809.37 c | 404752 | 636 62548 268903 | 2147483647 103949 24 | 0.000 % |
811.92/812.35 c | 405912 | 636 62548 268903 | 2147483647 105109 24 | 0.000 % |
815.22/815.60 c | 407185 | 636 62548 268903 | 2147483647 106382 24 | 0.000 % |
818.52/818.92 c | 408587 | 636 62548 268903 | 2147483647 107784 24 | 0.000 % |
822.42/822.81 c | 410127 | 636 62548 268903 | 2147483647 109324 25 | 0.000 % |
826.11/826.52 c | 411821 | 636 62548 268903 | 2147483647 111018 25 | 0.000 % |
830.51/830.92 c | 413686 | 636 62548 268903 | 2147483647 112883 25 | 0.000 % |
835.41/835.89 c | 415735 | 636 62548 268903 | 2147483647 114932 24 | 0.000 % |
840.71/841.14 c | 417990 | 636 62548 268903 | 2147483647 117187 24 | 0.000 % |
847.31/847.70 c | 420469 | 636 62548 268903 | 2147483647 119666 24 | 0.000 % |
853.70/854.17 c | 423195 | 636 62548 268903 | 2147483647 122392 24 | 0.000 % |
861.70/862.10 c | 426193 | 636 62548 268903 | 2147483647 125390 24 | 0.000 % |
871.00/871.48 c | 429489 | 636 62548 268903 | 2147483647 128686 24 | 0.000 % |
880.39/880.82 c | 433114 | 636 62548 268903 | 2147483647 132311 24 | 0.000 % |
895.39/895.86 c | 437102 | 636 62548 268903 | 2147483647 136299 24 | 0.004 % |
895.99/896.45 c | 437202 | 636 62548 268903 | 2147483647 136399 24 | 0.000 % |
896.29/896.78 c | 437312 | 636 62548 268903 | 2147483647 136509 24 | 0.000 % |
896.69/897.10 c | 437433 | 636 62548 268903 | 2147483647 136630 24 | 0.002 % |
896.99/897.47 c | 437566 | 636 62548 268903 | 2147483647 136763 24 | 0.000 % |
897.89/898.31 c | 437713 | 636 62548 268903 | 2147483647 136910 24 | 0.000 % |
898.29/898.79 c | 437873 | 636 62548 268903 | 2147483647 137070 24 | 0.000 % |
898.99/899.49 c | 438051 | 636 62548 268903 | 2147483647 137248 24 | 0.000 % |
899.88/900.40 c | 438246 | 636 62548 268903 | 2147483647 137443 24 | 0.000 % |
900.89/901.38 c | 438458 | 636 62548 268903 | 2147483647 137655 24 | 0.000 % |
901.59/902.09 c | 438692 | 636 62548 268903 | 2147483647 137889 24 | 0.000 % |
902.38/902.83 c | 438948 | 636 62548 268903 | 2147483647 138145 24 | 0.002 % |
903.58/904.02 c | 439230 | 636 62548 268903 | 2147483647 138427 24 | 0.000 % |
904.98/905.44 c | 439540 | 636 62548 268903 | 2147483647 138737 24 | 0.002 % |
906.88/907.39 c | 439881 | 636 62548 268903 | 2147483647 139078 24 | 0.000 % |
908.98/909.44 c | 440255 | 636 62548 268903 | 139197 113078 24 | 0.000 % |
910.68/911.12 c | 440664 | 636 62548 268903 | 139197 113487 24 | 0.002 % |
912.18/912.63 c | 441114 | 636 62548 268903 | 139197 113937 24 | 0.000 % |
912.88/913.30 c | 441607 | 636 62548 268903 | 139197 114430 24 | 0.001 % |
915.08/915.54 c | 442149 | 636 62548 268903 | 139197 114972 24 | 0.000 % |
917.58/918.05 c | 442746 | 636 62548 268903 | 139197 115569 24 | 0.000 % |
919.97/920.41 c | 443401 | 636 62548 268903 | 139197 116224 24 | 0.000 % |
922.77/923.26 c | 444121 | 636 62548 268903 | 139197 116944 24 | 0.002 % |
925.87/926.31 c | 444913 | 636 62548 268903 | 139197 117736 24 | 0.000 % |
928.77/929.27 c | 445785 | 636 62548 268903 | 139197 118608 24 | 0.002 % |
932.07/932.59 c | 446743 | 636 62548 268903 | 139197 119566 24 | 0.000 % |
935.87/936.36 c | 447798 | 636 62548 268903 | 139197 120621 24 | 0.000 % |
940.47/940.94 c | 448957 | 636 62548 268903 | 139197 121780 24 | 0.002 % |
945.66/946.10 c | 450231 | 636 62548 268903 | 122823 100642 24 | 0.002 % |
949.66/950.10 c | 451631 | 636 62548 268903 | 122823 102042 24 | 0.002 % |
953.27/953.79 c | 453173 | 636 62548 268903 | 122823 103584 24 | 0.000 % |
958.36/958.89 c | 454870 | 636 62548 268903 | 122823 105281 24 | 0.002 % |
963.46/963.91 c | 456734 | 636 62548 268903 | 122823 107145 24 | 0.002 % |
968.36/968.83 c | 458784 | 636 62548 268903 | 122823 109195 24 | 0.002 % |
973.76/974.26 c | 461039 | 636 62548 268903 | 2147483647 111450 24 | 0.002 % |
981.45/981.95 c | 463518 | 636 62548 268903 | 2147483647 113929 24 | 0.000 % |
990.35/990.80 c | 466243 | 636 62548 268903 | 2147483647 116654 24 | 0.000 % |
1003.54/1004.01 c | 469240 | 636 62548 268903 | 2147483647 119651 24 | 0.000 % |
1008.44/1008.90 c | 472536 | 636 62548 268903 | 120413 105117 23 | 0.000 % |
1024.44/1024.95 c | 476161 | 636 62548 268903 | 120413 108742 24 | 0.000 % |
1037.33/1037.86 c | 480151 | 636 62548 268903 | 112581 94698 24 | 0.000 % |
1049.03/1049.52 c | 484537 | 636 62548 268903 | 112581 99084 24 | 0.000 % |
1049.23/1049.71 c | 484640 | 636 62548 268903 | 112581 99187 24 | 0.000 % |
1049.33/1049.84 c | 484752 | 636 62548 268903 | 112581 99299 24 | 0.000 % |
1049.53/1050.00 c | 484873 | 636 62548 268903 | 112581 99420 24 | 0.031 % |
1049.63/1050.18 c | 485007 | 636 62548 268903 | 112581 99554 24 | 0.000 % |
1050.23/1050.76 c | 485153 | 636 62548 268903 | 112581 99700 24 | 0.000 % |
1050.83/1051.36 c | 485313 | 636 62548 268903 | 112581 99860 24 | 0.000 % |
1051.53/1052.03 c | 485490 | 636 62548 268903 | 112581 100037 24 | 0.000 % |
1052.23/1052.76 c | 485686 | 636 62548 268903 | 112581 100233 24 | 0.000 % |
1053.23/1053.75 c | 485899 | 636 62548 268903 | 112581 100446 24 | 0.000 % |
1054.03/1054.53 c | 486132 | 636 62548 268903 | 112581 100679 24 | 0.000 % |
1054.33/1054.81 c | 486388 | 636 62548 268903 | 112581 100935 24 | 0.000 % |
1054.62/1055.14 c | 486677 | 636 62548 268903 | 112581 101224 24 | 0.000 % |
1055.02/1055.53 c | 486986 | 636 62548 268903 | 112581 101533 24 | 0.000 % |
1055.43/1055.95 c | 487325 | 636 62548 268903 | 112581 101872 24 | 0.000 % |
1055.92/1056.43 c | 487701 | 636 62548 268903 | 112581 102248 24 | 0.000 % |
1056.42/1056.99 c | 488110 | 636 62548 268903 | 112581 102657 24 | 0.000 % |
1057.63/1058.17 c | 488559 | 636 62548 268903 | 112581 103106 24 | 0.000 % |
1059.62/1060.12 c | 489056 | 636 62548 268903 | 112581 103603 24 | 0.000 % |
1061.92/1062.43 c | 489598 | 636 62548 268903 | 112581 104145 24 | 0.000 % |
1064.62/1065.17 c | 490194 | 636 62548 268903 | 104549 93069 24 | 0.000 % |
1066.82/1067.37 c | 490851 | 636 62548 268903 | 104549 93726 24 | 0.000 % |
1068.62/1069.14 c | 491574 | 636 62548 268903 | 104549 94449 24 | 0.000 % |
1071.12/1071.66 c | 492366 | 636 62548 268903 | 104549 95241 24 | 0.000 % |
1073.32/1073.81 c | 493238 | 636 62548 268903 | 104549 96113 24 | 0.000 % |
1075.52/1076.07 c | 494196 | 636 62548 268903 | 104549 97071 24 | 0.000 % |
1078.72/1079.23 c | 495251 | 636 62548 268903 | 104549 98126 24 | 0.000 % |
1080.61/1081.16 c | 496409 | 636 62548 268903 | 104549 99284 24 | 0.000 % |
1082.21/1082.70 c | 497682 | 636 62548 268903 | 104549 100557 24 | 0.002 % |
1086.32/1086.81 c | 499082 | 636 62548 268903 | 104549 101957 24 | 0.000 % |
1091.61/1092.20 c | 500624 | 636 62548 268903 | 2147483647 103499 24 | 0.000 % |
1097.81/1098.33 c | 502318 | 636 62548 268903 | 2147483647 105193 24 | 0.000 % |
1103.31/1103.86 c | 504184 | 636 62548 268903 | 2147483647 107059 24 | 0.000 % |
1109.50/1110.01 c | 506235 | 636 62548 268903 | 2147483647 109110 24 | 0.002 % |
1116.50/1117.07 c | 508488 | 636 62548 268903 | 2147483647 111363 24 | 0.002 % |
1124.60/1125.10 c | 510969 | 636 62548 268903 | 112877 96110 24 | 0.000 % |
1129.80/1130.32 c | 513695 | 636 62548 268903 | 112877 98836 24 | 0.000 % |
1136.19/1136.71 c | 516694 | 636 62548 268903 | 112877 101835 24 | 0.000 % |
1140.69/1141.21 c | 519991 | 636 62548 268903 | 112877 105132 24 | 0.000 % |
1146.59/1147.10 c | 523619 | 636 62548 268903 | 2147483647 108760 24 | 0.000 % |
1153.79/1154.34 c | 527606 | 636 62548 268903 | 2147483647 112747 24 | 0.000 % |
1162.28/1162.82 c | 531993 | 636 62548 268903 | 2147483647 117134 24 | 0.000 % |
1170.58/1171.18 c | 536817 | 636 62548 268903 | 2147483647 121958 24 | 0.000 % |
1170.88/1171.41 c | 536920 | 636 62548 268903 | 2147483647 122061 24 | 0.000 % |
1171.08/1171.62 c | 537031 | 636 62548 268903 | 2147483647 122172 24 | 0.000 % |
1171.39/1171.98 c | 537152 | 636 62548 268903 | 2147483647 122293 24 | 0.000 % |
1171.69/1172.29 c | 537286 | 636 62548 268903 | 2147483647 122427 24 | 0.000 % |
1172.19/1172.79 c | 537432 | 636 62548 268903 | 2147483647 122573 24 | 0.000 % |
1172.59/1173.16 c | 537594 | 636 62548 268903 | 2147483647 122735 24 | 0.000 % |
1173.19/1173.71 c | 537772 | 636 62548 268903 | 2147483647 122913 24 | 0.000 % |
1173.49/1174.06 c | 537966 | 636 62548 268903 | 2147483647 123107 24 | 0.000 % |
1173.99/1174.57 c | 538179 | 636 62548 268903 | 2147483647 123320 24 | 0.000 % |
1174.49/1175.08 c | 538412 | 636 62548 268903 | 2147483647 123553 24 | 0.000 % |
1175.09/1175.65 c | 538668 | 636 62548 268903 | 2147483647 123809 24 | 0.000 % |
1175.69/1176.27 c | 538950 | 636 62548 268903 | 2147483647 124091 24 | 0.000 % |
1176.49/1177.03 c | 539261 | 636 62548 268903 | 2147483647 124402 24 | 0.000 % |
1177.19/1177.77 c | 539600 | 636 62548 268903 | 2147483647 124741 24 | 0.000 % |
1177.99/1178.57 c | 539973 | 636 62548 268903 | 2147483647 125114 24 | 0.000 % |
1178.98/1179.54 c | 540382 | 636 62548 268903 | 2147483647 125523 24 | 0.000 % |
1180.09/1180.65 c | 540831 | 636 62548 268903 | 2147483647 125972 24 | 0.000 % |
1181.18/1181.76 c | 541324 | 636 62548 268903 | 2147483647 126465 24 | 0.000 % |
1182.38/1182.93 c | 541867 | 636 62548 268903 | 2147483647 127008 24 | 0.000 % |
1183.28/1183.89 c | 542463 | 636 62548 268903 | 2147483647 127604 24 | 0.000 % |
1184.78/1185.38 c | 543118 | 636 62548 268903 | 2147483647 128259 24 | 0.000 % |
1186.18/1186.78 c | 543838 | 636 62548 268903 | 2147483647 128979 24 | 0.000 % |
1187.68/1188.27 c | 544631 | 636 62548 268903 | 2147483647 129772 24 | 0.000 % |
1189.59/1190.20 c | 545502 | 636 62548 268903 | 2147483647 130643 24 | 0.000 % |
1191.98/1192.54 c | 546460 | 636 62548 268903 | 2147483647 131601 24 | 0.000 % |
1194.58/1195.11 c | 547514 | 636 62548 268903 | 2147483647 132655 24 | 0.000 % |
1197.58/1198.14 c | 548676 | 636 62548 268903 | 2147483647 133817 24 | 0.000 % |
1200.08/1200.61 HOME/SatELiteGTI: line 36: 13923 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833943-1242826410/watcher-1833943-1242826410 -o /tmp/evaluation-result-1833943-1242826410/solver-1833943-1242826410 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833943-1242826410.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13917
/proc/meminfo: memFree=1878984/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310669609 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 213116485714 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13917/statm: 1339 235 195 169 0 50 0
[pid=13918] ppid=13917 vsize=5356 CPUtime=0
/proc/13918/stat : 13918 (SatELiteGTI) R 13917 13917 13673 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310669609 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/13918/statm: 1339 238 198 169 0 50 0
[pid=13920] ppid=13918 vsize=0 CPUtime=0
/proc/13920/stat : 13920 (sed) Z 13918 13917 13673 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310669609 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/13920/statm: 0 0 0 0 0 0 0
[startup+0.015784 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13917
/proc/meminfo: memFree=1878984/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310669609 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13917/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101797 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13917
/proc/meminfo: memFree=1878984/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310669609 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13917/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301836 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13917
/proc/meminfo: memFree=1878984/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310669609 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13917/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701918 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13917
/proc/meminfo: memFree=1878984/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5356
[startup+1.50106 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13923
/proc/meminfo: memFree=1872760/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=5476 CPUtime=0.8
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 1237 0 0 0 80 0 0 0 24 0 1 0 310669677 5607424 1223 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 1369 1223 77 171 0 1196 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10832
[startup+3.10136 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13923
/proc/meminfo: memFree=1872120/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=6140 CPUtime=2.41
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 1407 0 0 0 240 1 0 0 25 0 1 0 310669677 6287360 1393 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 1535 1393 77 171 0 1362 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11496
[startup+6.30197 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13923
/proc/meminfo: memFree=1870968/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=7200 CPUtime=5.6
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 1660 0 0 0 559 1 0 0 25 0 1 0 310669677 7372800 1646 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 1800 1646 77 171 0 1627 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 12556
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13923
/proc/meminfo: memFree=1868984/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=9156 CPUtime=11.99
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 2140 0 0 0 1197 2 0 0 25 0 1 0 310669677 9375744 2126 1992294400 134512640 135215339 4294956240 18446744073709551615 134528858 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 2289 2126 77 171 0 2116 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 14512
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13923
/proc/meminfo: memFree=1866296/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=11652 CPUtime=24.78
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 2754 0 0 0 2475 3 0 0 25 0 1 0 310669677 11931648 2740 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 2913 2740 77 171 0 2740 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 17008
[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13923
/proc/meminfo: memFree=1862520/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=15600 CPUtime=50.36
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 3709 0 0 0 5031 5 0 0 25 0 1 0 310669677 15974400 3695 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 3900 3695 77 171 0 3727 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 20956
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13923
/proc/meminfo: memFree=1856504/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=21704 CPUtime=101.54
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 5178 0 0 0 10148 6 0 0 25 0 1 0 310669677 22224896 5164 1992294400 134512640 135215339 4294956240 18446744073709551615 134537883 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 5426 5164 77 171 0 5253 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 27060
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13923
/proc/meminfo: memFree=1851832/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=26440 CPUtime=161.51
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 6318 0 0 0 16144 7 0 0 25 0 1 0 310669677 27074560 6295 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 6610 6295 77 171 0 6437 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 31796
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13923
/proc/meminfo: memFree=1851640/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=26440 CPUtime=221.48
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 6340 0 0 0 22141 7 0 0 25 0 1 0 310669677 27074560 6317 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 6610 6317 77 171 0 6437 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 31796
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13923
/proc/meminfo: memFree=1851384/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=26728 CPUtime=281.45
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 6386 0 0 0 28138 7 0 0 25 0 1 0 310669677 27369472 6363 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 6682 6363 77 171 0 6509 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 32084
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13923
/proc/meminfo: memFree=1850168/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=27792 CPUtime=341.44
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 6667 0 0 0 34136 8 0 0 25 0 1 0 310669677 28459008 6636 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 6948 6636 77 171 0 6775 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 33148
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13923
/proc/meminfo: memFree=1848824/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=29372 CPUtime=401.41
################
# More data... #
################
[pid=13923] ppid=13917 vsize=29372 CPUtime=461.39
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 6996 0 0 0 46131 8 0 0 25 0 1 0 310669677 30076928 6937 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 7343 6937 77 171 0 7170 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 34728
[startup+522.301 s]
/proc/loadavg: 1.08 1.02 1.00 2/66 13923
/proc/meminfo: memFree=1848760/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=29372 CPUtime=521.36
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 6997 0 0 0 52128 8 0 0 25 0 1 0 310669677 30076928 6938 1992294400 134512640 135215339 4294956240 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 7343 6938 77 171 0 7170 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 34728
[startup+582.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 13923
/proc/meminfo: memFree=1847864/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=30272 CPUtime=581.33
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 7203 0 0 0 58125 8 0 0 25 0 1 0 310669677 30998528 7136 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 7568 7136 77 171 0 7395 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 35628
[startup+642.303 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 13925
/proc/meminfo: memFree=1846136/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=32116 CPUtime=641.32
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 7580 0 0 0 64123 9 0 0 25 0 1 0 310669677 32886784 7513 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 8029 7513 77 171 0 7856 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 37472
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13925
/proc/meminfo: memFree=1846072/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=32116 CPUtime=701.29
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 7581 0 0 0 70120 9 0 0 25 0 1 0 310669677 32886784 7514 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 8029 7514 77 171 0 7856 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 37472
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13925
/proc/meminfo: memFree=1846008/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=32116 CPUtime=761.27
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 7581 0 0 0 76118 9 0 0 25 0 1 0 310669677 32886784 7514 1992294400 134512640 135215339 4294956240 18446744073709551615 134528846 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 8029 7514 77 171 0 7856 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 37472
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13925
/proc/meminfo: memFree=1845944/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=32116 CPUtime=821.25
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 7581 0 0 0 82116 9 0 0 25 0 1 0 310669677 32886784 7514 1992294400 134512640 135215339 4294956240 18446744073709551615 134528717 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 8029 7514 77 171 0 7856 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 37472
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13925
/proc/meminfo: memFree=1845432/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=32568 CPUtime=881.22
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 7705 0 0 0 88113 9 0 0 25 0 1 0 310669677 33349632 7630 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 8142 7630 77 171 0 7969 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 37924
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13925
/proc/meminfo: memFree=1844216/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=34244 CPUtime=941.2
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 8027 0 0 0 94111 9 0 0 25 0 1 0 310669677 35065856 7930 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 8561 7930 77 171 0 8388 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 39600
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13925
/proc/meminfo: memFree=1844024/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=34244 CPUtime=1001.18
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 8033 0 0 0 100109 9 0 0 25 0 1 0 310669677 35065856 7936 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 8561 7936 77 171 0 8388 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 39600
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13925
/proc/meminfo: memFree=1843960/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=34244 CPUtime=1061.15
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 8033 0 0 0 106106 9 0 0 25 0 1 0 310669677 35065856 7936 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 8561 7936 77 171 0 8388 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 39600
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13925
/proc/meminfo: memFree=1843896/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=34416 CPUtime=1121.13
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 8041 0 0 0 112104 9 0 0 25 0 1 0 310669677 35241984 7944 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 8604 7944 77 171 0 8431 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 39772
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13925
/proc/meminfo: memFree=1843384/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=34856 CPUtime=1181.11
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 8135 0 0 0 118101 10 0 0 25 0 1 0 310669677 35692544 8038 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 8714 8038 77 171 0 8541 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 40212
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13925
/proc/meminfo: memFree=1843384/2055920 swapFree=4179928/4192956
[pid=13917] ppid=13915 vsize=5356 CPUtime=0.67
/proc/13917/stat : 13917 (SatELiteGTI) S 13915 13917 13673 0 -1 4194304 336 2042 0 0 0 0 65 2 16 0 1 0 310669609 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13917/statm: 1339 239 197 169 0 50 0
[pid=13923] ppid=13917 vsize=34856 CPUtime=1199.41
/proc/13923/stat : 13923 (minisat_static) R 13917 13917 13673 0 -1 4194304 8136 0 0 0 119931 10 0 0 25 0 1 0 310669677 35692544 8039 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13923/statm: 8714 8039 77 171 0 8541 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 40212
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.62
CPU time (s): 1200.1
CPU user time (s): 1199.97
CPU system time (s): 0.131979
CPU usage (%): 99.9573
Max. virtual memory (cumulated for all children) (KiB): 40212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.97
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10523
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= 26
involuntary context switches= 3272
runsolver used 1.41978 second user time and 3.05253 second system time
The end
Begin job on node37 at 2009-05-20 15:33:30
IDJOB=1833943
IDBENCH=71086
IDSOLVER=671
FILE ID=node37/1833943-1242826410
PBS_JOBID= 9322505
Free space on /tmp= 66368 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-1833943-1242826410/watcher-1833943-1242826410 -o /tmp/evaluation-result-1833943-1242826410/solver-1833943-1242826410 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833943-1242826410.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a30111c778b4a83ebe950f77b63a1b33
RANDOM SEED=500707261
node37.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.259
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.259
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: 1879528 kB
Buffers: 20420 kB
Cached: 118344 kB
SwapCached: 7368 kB
Active: 35488 kB
Inactive: 112360 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1879528 kB
SwapTotal: 4192956 kB
SwapFree: 4179928 kB
Dirty: 2736 kB
Writeback: 0 kB
Mapped: 13932 kB
Slab: 14684 kB
Committed_AS: 1126768 kB
PageTables: 1376 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= 66364 MiB
End job on node37 at 2009-05-20 15:53:33