0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 58800 176400 | 17639 0 0 nan | 0.000 % |
0.00/0.19 c | 0 | 58381 177232 | -- 0 -- -- | -- | -419/832
0.00/0.19 c ==============================================================================
0.00/0.19 c Result : #vars: 13647 #clauses: 58381 #literals: 177232
0.00/0.19 c CPU time: 0.182972 s
0.00/0.19 c ==============================================================================
0.00/0.25 c This is MiniSat 2.0 beta
0.00/0.25 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.25 c ============================[ Problem Statistics ]=============================
0.00/0.25 c | |
0.00/0.25 c | Number of variables: 13647 |
0.00/0.25 c | Number of clauses: 58381 |
0.24/0.30 c | Parsing time: 0.04 s |
0.24/0.30 c ============================[ Search Statistics ]==============================
0.24/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.24/0.30 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.24/0.30 c ===============================================================================
0.24/0.30 c | 0 | 13647 58381 177232 | 19460 0 nan | 0.000 % |
0.24/0.36 c | 100 | 13647 58381 177232 | 19460 100 149 | 0.000 % |
0.24/0.41 c | 201 | 13647 58381 177232 | 19460 201 150 | 0.000 % |
0.24/0.45 c | 301 | 13647 58381 177232 | 19460 301 146 | 0.000 % |
0.24/0.50 c | 412 | 13647 58381 177232 | 19460 412 147 | 0.000 % |
0.24/0.55 c | 512 | 13647 58381 177232 | 19460 512 152 | 0.000 % |
0.24/0.61 c | 623 | 13647 58381 177232 | 19460 623 162 | 0.000 % |
0.24/0.66 c | 744 | 13647 58381 177232 | 19460 744 163 | 0.000 % |
0.24/0.71 c | 845 | 13647 58381 177232 | 19460 845 160 | 0.000 % |
0.24/0.77 c | 955 | 13647 58381 177232 | 19460 955 168 | 0.000 % |
0.24/0.83 c | 1077 | 13647 58381 177232 | 19460 1077 166 | 0.000 % |
0.24/0.89 c | 1212 | 13647 58381 177232 | 19460 1212 167 | 0.000 % |
0.24/0.94 c | 1314 | 13647 58381 177232 | 19460 1314 167 | 0.000 % |
0.97/1.00 c | 1428 | 13647 58381 177232 | 19460 1428 171 | 0.000 % |
0.97/1.06 c | 1551 | 13647 58381 177232 | 19460 1551 170 | 0.000 % |
1.07/1.12 c | 1684 | 13647 58381 177232 | 19460 1684 171 | 0.000 % |
1.07/1.18 c | 1831 | 13647 58381 177232 | 19460 1831 176 | 0.000 % |
1.17/1.22 c | 1931 | 13647 58381 177232 | 19460 1931 173 | 0.000 % |
1.17/1.28 c | 2043 | 13647 58381 177232 | 19460 2043 176 | 0.000 % |
1.27/1.34 c | 2165 | 13647 58381 177232 | 19460 2165 175 | 0.000 % |
1.37/1.41 c | 2300 | 13647 58381 177232 | 19460 2300 179 | 0.000 % |
1.37/1.49 c | 2449 | 13647 58381 177232 | 19460 2449 184 | 0.000 % |
1.47/1.57 c | 2609 | 13647 58381 177232 | 19460 2609 185 | 0.000 % |
1.57/1.62 c | 2711 | 13647 58381 177232 | 19460 2711 183 | 0.000 % |
1.57/1.67 c | 2826 | 13647 58381 177232 | 19460 2826 185 | 0.000 % |
1.67/1.73 c | 2948 | 13647 58381 177232 | 19460 2948 184 | 0.000 % |
1.67/1.79 c | 3083 | 13647 58381 177232 | 19460 3083 184 | 0.000 % |
1.77/1.86 c | 3232 | 13647 58381 177232 | 19460 3232 182 | 0.000 % |
1.87/1.94 c | 3394 | 13647 58381 177232 | 19460 3394 181 | 0.000 % |
1.97/2.02 c | 3572 | 13647 58381 177232 | 19460 3572 183 | 0.000 % |
1.97/2.07 c | 3672 | 13647 58381 177232 | 19460 3672 182 | 0.000 % |
2.08/2.12 c | 3782 | 13647 58381 177232 | 19460 3782 181 | 0.000 % |
2.08/2.18 c | 3903 | 13647 58381 177232 | 19460 3903 180 | 0.000 % |
2.17/2.25 c | 4038 | 13647 58381 177232 | 19460 4038 181 | 0.000 % |
2.27/2.32 c | 4184 | 13647 58381 177232 | 19460 4184 181 | 0.000 % |
2.27/2.39 c | 4345 | 13647 58381 177232 | 19460 4345 183 | 0.000 % |
2.37/2.48 c | 4521 | 13647 58381 177232 | 19460 4521 185 | 0.000 % |
2.47/2.57 c | 4714 | 13647 58381 177232 | 19460 4714 185 | 0.000 % |
2.57/2.62 c | 4815 | 13647 58381 177232 | 19460 4815 186 | 0.000 % |
2.57/2.68 c | 4925 | 13647 58381 177232 | 19460 4925 186 | 0.000 % |
2.66/2.74 c | 5046 | 13647 58381 177232 | 19460 5046 186 | 0.000 % |
2.77/2.80 c | 5179 | 13647 58381 177232 | 19460 5179 185 | 0.000 % |
2.77/2.88 c | 5325 | 13647 58381 177232 | 19460 5325 185 | 0.000 % |
2.87/2.96 c | 5485 | 13647 58381 177232 | 19460 5485 187 | 0.000 % |
2.97/3.04 c | 5661 | 13647 58381 177232 | 19460 5661 187 | 0.000 % |
3.07/3.13 c | 5854 | 13647 58381 177232 | 19460 5854 186 | 0.000 % |
3.17/3.23 c | 6068 | 13647 58381 177232 | 19460 6068 186 | 0.000 % |
3.17/3.28 c | 6169 | 13647 58381 177232 | 19460 6169 186 | 0.000 % |
3.27/3.33 c | 6280 | 13647 58381 177232 | 19460 6280 186 | 0.000 % |
3.37/3.40 c | 6403 | 13647 58381 177232 | 19460 6403 184 | 0.000 % |
3.37/3.47 c | 6537 | 13647 58381 177232 | 19460 6537 185 | 0.000 % |
3.47/3.54 c | 6684 | 13647 58381 177232 | 19460 6684 184 | 0.000 % |
3.57/3.61 c | 6845 | 13647 58381 177232 | 19460 6845 184 | 0.000 % |
3.57/3.69 c | 7026 | 13647 58381 177232 | 19460 7026 184 | 0.000 % |
3.67/3.79 c | 7219 | 13647 58381 177232 | 19460 7219 183 | 0.000 % |
3.77/3.90 c | 7432 | 13647 58381 177232 | 19460 7432 184 | 0.000 % |
3.97/4.01 c | 7665 | 13647 58381 177232 | 19460 7665 183 | 0.000 % |
3.97/4.06 c | 7766 | 13647 58381 177232 | 19460 7766 183 | 0.000 % |
4.07/4.12 c | 7876 | 13647 58381 177232 | 19460 7876 183 | 0.000 % |
4.07/4.19 c | 7998 | 13647 58381 177232 | 19460 7998 184 | 0.000 % |
4.17/4.25 c | 8131 | 13647 58381 177232 | 19460 8131 183 | 0.000 % |
4.27/4.33 c | 8280 | 13647 58381 177232 | 19460 8280 184 | 0.000 % |
4.37/4.41 c | 8440 | 13647 58381 177232 | 19460 8440 184 | 0.000 % |
4.37/4.49 c | 8620 | 13647 58381 177232 | 19460 8620 183 | 0.000 % |
4.47/4.58 c | 8813 | 13647 58381 177232 | 19460 8813 183 | 0.000 % |
4.57/4.69 c | 9026 | 13647 58381 177232 | 19460 9026 183 | 0.000 % |
4.76/4.82 c | 9259 | 13647 58381 177232 | 19460 9259 183 | 0.000 % |
4.86/4.96 c | 9516 | 13647 58381 177232 | 19460 9516 184 | 0.000 % |
4.96/5.01 c | 9617 | 13647 58381 177232 | 19460 9617 183 | 0.000 % |
4.96/5.07 c | 9729 | 13647 58381 177232 | 19460 9729 183 | 0.000 % |
5.07/5.14 c | 9854 | 13647 58381 177232 | 19460 9854 183 | 0.000 % |
5.17/5.20 c | 9987 | 13647 58381 177232 | 19460 9987 183 | 0.000 % |
5.17/5.28 c | 10133 | 13647 58381 177232 | 2147483647 10133 184 | 0.000 % |
5.27/5.37 c | 10294 | 13647 58381 177232 | 2147483647 10294 184 | 0.000 % |
5.37/5.46 c | 10470 | 13647 58381 177232 | 2147483647 10470 183 | 0.000 % |
5.47/5.55 c | 10663 | 13647 58381 177232 | 2147483647 10663 184 | 0.000 % |
5.57/5.66 c | 10875 | 13647 58381 177232 | 2147483647 10875 184 | 0.000 % |
5.67/5.78 c | 11110 | 13647 58381 177232 | 2147483647 11110 184 | 0.000 % |
5.87/5.92 c | 11367 | 13647 58381 177232 | 2147483647 11367 185 | 0.000 % |
5.97/6.07 c | 11649 | 13647 58381 177232 | 2147483647 11649 185 | 0.000 % |
6.07/6.12 c | 11749 | 13647 58381 177232 | 2147483647 11749 185 | 0.000 % |
6.07/6.17 c | 11859 | 13647 58381 177232 | 2147483647 11859 185 | 0.000 % |
6.17/6.24 c | 11982 | 13647 58381 177232 | 2147483647 11982 185 | 0.000 % |
6.27/6.32 c | 12115 | 13647 58381 177232 | 2147483647 12115 185 | 0.000 % |
6.27/6.39 c | 12261 | 13647 58381 177232 | 2147483647 12261 185 | 0.000 % |
6.37/6.48 c | 12422 | 13647 58381 177232 | 2147483647 12422 185 | 0.000 % |
6.47/6.57 c | 12599 | 13647 58381 177232 | 2147483647 12599 185 | 0.000 % |
6.57/6.68 c | 12792 | 13647 58381 177232 | 2147483647 12792 185 | 0.000 % |
6.67/6.79 c | 13004 | 13647 58381 177232 | 2147483647 13004 185 | 0.000 % |
6.86/6.91 c | 13239 | 13647 58381 177232 | 2147483647 13239 185 | 0.000 % |
6.96/7.05 c | 13495 | 13647 58381 177232 | 2147483647 13495 185 | 0.000 % |
7.06/7.19 c | 13776 | 13647 58381 177232 | 2147483647 13776 184 | 0.000 % |
7.26/7.36 c | 14085 | 13647 58381 177232 | 2147483647 14085 184 | 0.000 % |
7.36/7.42 c | 14186 | 13647 58381 177232 | 2147483647 14186 184 | 0.000 % |
7.36/7.48 c | 14297 | 13647 58381 177232 | 2147483647 14297 183 | 0.000 % |
7.46/7.55 c | 14418 | 13647 58381 177232 | 2147483647 14418 183 | 0.000 % |
7.57/7.63 c | 14551 | 13647 58381 177232 | 2147483647 14551 184 | 0.000 % |
7.67/7.72 c | 14698 | 13647 58381 177232 | 2147483647 14698 184 | 0.000 % |
7.76/7.81 c | 14861 | 13647 58381 177232 | 2147483647 14861 184 | 0.000 % |
7.87/7.91 c | 15037 | 13647 58381 177232 | 2147483647 15037 184 | 0.000 % |
7.97/8.02 c | 15230 | 13647 58381 177232 | 2147483647 15230 184 | 0.000 % |
8.07/8.13 c | 15445 | 13647 58381 177232 | 2147483647 15445 184 | 0.000 % |
8.17/8.26 c | 15678 | 13647 58381 177232 | 2147483647 15678 185 | 0.000 % |
8.37/8.41 c | 15934 | 13647 58381 177232 | 2147483647 15934 184 | 0.000 % |
8.47/8.56 c | 16216 | 13647 58381 177232 | 2147483647 16216 186 | 0.000 % |
8.67/8.74 c | 16525 | 13647 58381 177232 | 2147483647 16525 186 | 0.000 % |
8.86/8.92 c | 16865 | 13647 58381 177232 | 2147483647 16865 186 | 0.000 % |
8.86/8.97 c | 16966 | 13647 58381 177232 | 2147483647 16966 186 | 0.000 % |
8.96/9.05 c | 17079 | 13647 58381 177232 | 2147483647 17079 186 | 0.000 % |
9.06/9.12 c | 17204 | 13647 58381 177232 | 2147483647 17204 186 | 0.000 % |
9.16/9.21 c | 17337 | 13647 58381 177232 | 2147483647 17337 186 | 0.000 % |
9.16/9.28 c | 17483 | 13647 58381 177232 | 2147483647 17483 186 | 0.000 % |
9.26/9.37 c | 17643 | 13647 58381 177232 | 2147483647 17643 186 | 0.000 % |
9.36/9.48 c | 17824 | 13647 58381 177232 | 2147483647 17824 186 | 0.000 % |
9.46/9.59 c | 18017 | 13647 58381 177232 | 2147483647 18017 186 | 0.000 % |
9.67/9.72 c | 18230 | 13647 58381 177232 | 2147483647 18230 187 | 0.000 % |
9.77/9.85 c | 18467 | 13647 58381 177232 | 2147483647 18467 187 | 0.000 % |
9.87/9.99 c | 18723 | 13647 58381 177232 | 2147483647 18723 187 | 0.000 % |
10.07/10.16 c | 19004 | 13647 58381 177232 | 2147483647 19004 187 | 0.000 % |
10.27/10.31 c | 19316 | 13647 58381 177232 | 2147483647 19316 186 | 0.000 % |
10.47/10.51 c | 19656 | 13647 58381 177232 | 2147483647 19656 188 | 0.000 % |
10.67/10.73 c | 20029 | 13647 58381 177232 | 2147483647 20029 188 | 0.000 % |
10.77/10.80 c | 20131 | 13647 58381 177232 | 2147483647 20131 188 | 0.000 % |
10.77/10.87 c | 20241 | 13647 58381 177232 | 2147483647 20241 188 | 0.000 % |
10.87/10.94 c | 20362 | 13647 58381 177232 | 2147483647 20362 188 | 0.000 % |
10.97/11.03 c | 20497 | 13647 58381 177232 | 2147483647 20497 188 | 0.000 % |
11.07/11.13 c | 20645 | 13647 58381 177232 | 2147483647 20645 188 | 0.000 % |
11.17/11.22 c | 20805 | 13647 58381 177232 | 2147483647 20805 187 | 0.000 % |
11.27/11.33 c | 20982 | 13647 58381 177232 | 2147483647 20982 187 | 0.000 % |
11.36/11.45 c | 21175 | 13647 58381 177232 | 2147483647 21175 187 | 0.000 % |
11.46/11.58 c | 21387 | 13647 58381 177232 | 2147483647 21387 188 | 0.000 % |
11.66/11.72 c | 21622 | 13647 58381 177232 | 2147483647 21622 188 | 0.000 % |
11.76/11.87 c | 21879 | 13647 58381 177232 | 2147483647 21879 188 | 0.000 % |
11.97/12.04 c | 22160 | 13647 58381 177232 | 2147483647 22160 188 | 0.000 % |
12.16/12.22 c | 22472 | 13647 58381 177232 | 2147483647 22472 189 | 0.000 % |
12.36/12.41 c | 22811 | 13647 58381 177232 | 2147483647 22811 188 | 0.000 % |
12.56/12.62 c | 23183 | 13647 58381 177232 | 2147483647 23183 189 | 0.000 % |
12.76/12.85 c | 23594 | 13647 58381 177232 | 2147483647 23594 190 | 0.000 % |
12.86/12.92 c | 23694 | 13647 58381 177232 | 2147483647 23694 190 | 0.000 % |
12.86/12.98 c | 23804 | 13647 58381 177232 | 2147483647 23804 189 | 0.000 % |
12.96/13.06 c | 23925 | 13647 58381 177232 | 2147483647 23925 189 | 0.000 % |
13.07/13.16 c | 24058 | 13647 58381 177232 | 2147483647 24058 189 | 0.000 % |
13.17/13.26 c | 24205 | 13647 58381 177232 | 2147483647 24205 189 | 0.000 % |
13.27/13.36 c | 24367 | 13647 58381 177232 | 2147483647 24367 189 | 0.000 % |
13.37/13.47 c | 24546 | 13647 58381 177232 | 2147483647 24546 189 | 0.000 % |
13.47/13.59 c | 24739 | 13647 58381 177232 | 2147483647 24739 189 | 0.000 % |
13.67/13.71 c | 24952 | 13647 58381 177232 | 2147483647 24952 190 | 0.000 % |
13.77/13.86 c | 25186 | 13647 58381 177232 | 2147483647 25186 190 | 0.000 % |
13.97/14.02 c | 25443 | 13647 58381 177232 | 2147483647 25443 190 | 0.000 % |
14.07/14.19 c | 25724 | 13647 58381 177232 | 2147483647 25724 191 | 0.000 % |
14.27/14.39 c | 26033 | 13647 58381 177232 | 2147483647 26033 192 | 0.000 % |
14.56/14.60 c | 26372 | 13647 58381 177232 | 2147483647 26372 192 | 0.000 % |
14.76/14.84 c | 26744 | 13647 58381 177232 | 2147483647 26744 193 | 0.000 % |
14.96/15.08 c | 27155 | 13647 58381 177232 | 2147483647 27155 193 | 0.000 % |
15.27/15.35 c | 27605 | 13647 58381 177232 | 2147483647 27605 194 | 0.000 % |
15.36/15.41 c | 27705 | 13647 58381 177232 | 2147483647 27705 194 | 0.000 % |
15.36/15.49 c | 27815 | 13647 58381 177232 | 2147483647 27815 194 | 0.000 % |
15.46/15.56 c | 27937 | 13647 58381 177232 | 2147483647 27937 194 | 0.000 % |
15.56/15.65 c | 28070 | 13647 58381 177232 | 2147483647 28070 194 | 0.000 % |
15.66/15.75 c | 28216 | 13647 58381 177232 | 2147483647 28216 193 | 0.000 % |
15.76/15.85 c | 28377 | 13647 58381 177232 | 2147483647 28377 193 | 0.000 % |
15.86/15.99 c | 28554 | 13647 58381 177232 | 2147483647 28554 193 | 0.000 % |
16.06/16.12 c | 28747 | 13647 58381 177232 | 2147483647 28747 193 | 0.000 % |
16.16/16.26 c | 28959 | 13647 58381 177232 | 2147483647 28959 193 | 0.000 % |
16.36/16.42 c | 29192 | 13647 58381 177232 | 2147483647 29192 193 | 0.000 % |
16.46/16.59 c | 29451 | 13647 58381 177232 | 2147483647 29451 193 | 0.000 % |
16.65/16.77 c | 29732 | 13647 58381 177232 | 2147483647 29732 193 | 0.000 % |
16.85/16.96 c | 30042 | 13647 58381 177232 | 2147483647 30042 194 | 0.000 % |
17.06/17.18 c | 30382 | 13647 58381 177232 | 2147483647 30382 195 | 0.000 % |
17.36/17.44 c | 30754 | 13647 58381 177232 | 2147483647 30754 195 | 0.000 % |
17.56/17.69 c | 31163 | 13647 58381 177232 | 2147483647 31163 195 | 0.000 % |
17.86/17.96 c | 31613 | 13647 58381 177232 | 2147483647 31613 195 | 0.000 % |
18.15/18.28 c | 32106 | 13647 58381 177232 | 2147483647 32106 195 | 0.000 % |
18.25/18.35 c | 32210 | 13647 58381 177232 | 2147483647 32210 195 | 0.000 % |
18.35/18.44 c | 32320 | 13647 58381 177232 | 2147483647 32320 195 | 0.000 % |
18.45/18.53 c | 32441 | 13647 58381 177232 | 2147483647 32441 195 | 0.000 % |
18.56/18.61 c | 32576 | 13647 58381 177232 | 2147483647 32576 195 | 0.000 % |
18.66/18.72 c | 32722 | 13647 58381 177232 | 2147483647 32722 195 | 0.000 % |
18.75/18.83 c | 32882 | 13647 58381 177232 | 2147483647 32882 194 | 0.000 % |
18.85/18.95 c | 33059 | 13647 58381 177232 | 2147483647 33059 194 | 0.000 % |
18.95/19.09 c | 33253 | 13647 58381 177232 | 2147483647 33253 194 | 0.000 % |
19.15/19.23 c | 33467 | 13647 58381 177232 | 2147483647 33467 194 | 0.000 % |
19.25/19.38 c | 33702 | 13647 58381 177232 | 2147483647 33702 194 | 0.000 % |
19.45/19.56 c | 33960 | 13647 58381 177232 | 2147483647 33960 194 | 0.000 % |
19.65/19.75 c | 34242 | 13647 58381 177232 | 2147483647 34242 194 | 0.000 % |
19.85/19.95 c | 34551 | 13647 58381 177232 | 2147483647 34551 194 | 0.000 % |
20.05/20.15 c | 34891 | 13647 58381 177232 | 2147483647 34891 194 | 0.000 % |
20.35/20.41 c | 35264 | 13647 58381 177232 | 2147483647 35264 195 | 0.000 % |
20.55/20.69 c | 35674 | 13647 58381 177232 | 2147483647 35674 196 | 0.000 % |
20.95/21.00 c | 36123 | 13647 58381 177232 | 2147483647 36123 196 | 0.000 % |
21.25/21.33 c | 36617 | 13647 58381 177232 | 2147483647 36617 196 | 0.000 % |
21.55/21.70 c | 37159 | 13647 58381 177232 | 2147483647 37159 196 | 0.000 % |
21.65/21.78 c | 37261 | 13647 58381 177232 | 2147483647 37261 196 | 0.000 % |
21.75/21.85 c | 37371 | 13647 58381 177232 | 2147483647 37371 196 | 0.000 % |
21.85/21.94 c | 37492 | 13647 58381 177232 | 2147483647 37492 196 | 0.000 % |
21.96/22.04 c | 37625 | 13647 58381 177232 | 2147483647 37625 196 | 0.000 % |
22.05/22.15 c | 37771 | 13647 58381 177232 | 2147483647 37771 196 | 0.000 % |
22.15/22.26 c | 37933 | 13647 58381 177232 | 2147483647 37933 196 | 0.000 % |
22.25/22.40 c | 38109 | 13647 58381 177232 | 2147483647 38109 196 | 0.000 % |
22.45/22.53 c | 38302 | 13647 58381 177232 | 2147483647 38302 196 | 0.000 % |
22.55/22.67 c | 38514 | 13647 58381 177232 | 2147483647 38514 196 | 0.000 % |
22.75/22.85 c | 38748 | 13647 58381 177232 | 2147483647 38748 196 | 0.000 % |
22.96/23.02 c | 39004 | 13647 58381 177232 | 2147483647 39004 196 | 0.000 % |
23.15/23.23 c | 39287 | 13647 58381 177232 | 2147483647 39287 197 | 0.000 % |
23.35/23.44 c | 39596 | 13647 58381 177232 | 2147483647 39596 197 | 0.000 % |
23.55/23.65 c | 39935 | 13647 58381 177232 | 2147483647 39935 197 | 0.000 % |
23.85/23.92 c | 40308 | 13647 58381 177232 | 2147483647 40308 197 | 0.000 % |
24.15/24.22 c | 40717 | 13647 58381 177232 | 2147483647 40717 197 | 0.000 % |
24.45/24.50 c | 41168 | 13647 58381 177232 | 2147483647 41168 197 | 0.000 % |
24.75/24.84 c | 41662 | 13647 58381 177232 | 2147483647 41662 198 | 0.000 % |
25.15/25.26 c | 42205 | 13647 58381 177232 | 2147483647 42205 198 | 0.000 % |
25.55/25.66 c | 42801 | 13647 58381 177232 | 2147483647 42801 198 | 0.000 % |
25.65/25.73 c | 42901 | 13647 58381 177232 | 2147483647 42901 198 | 0.000 % |
25.75/25.81 c | 43012 | 13647 58381 177232 | 2147483647 43012 198 | 0.000 % |
25.85/25.90 c | 43133 | 13647 58381 177232 | 2147483647 43133 198 | 0.000 % |
25.95/26.00 c | 43267 | 13647 58381 177232 | 2147483647 43267 198 | 0.000 % |
26.05/26.11 c | 43413 | 13647 58381 177232 | 2147483647 43413 198 | 0.000 % |
26.15/26.22 c | 43574 | 13647 58381 177232 | 2147483647 43574 198 | 0.000 % |
26.26/26.36 c | 43752 | 13647 58381 177232 | 2147483647 43752 198 | 0.000 % |
26.45/26.50 c | 43945 | 13647 58381 177232 | 2147483647 43945 198 | 0.000 % |
26.55/26.66 c | 44158 | 13647 58381 177232 | 2147483647 44158 198 | 0.000 % |
26.75/26.84 c | 44391 | 13647 58381 177232 | 2147483647 44391 198 | 0.000 % |
26.95/27.03 c | 44647 | 13647 58381 177232 | 2147483647 44647 198 | 0.000 % |
27.15/27.21 c | 44928 | 13647 58381 177232 | 2147483647 44928 198 | 0.000 % |
27.35/27.44 c | 45238 | 13647 58381 177232 | 2147483647 45238 198 | 0.000 % |
27.55/27.68 c | 45577 | 13647 58381 177232 | 2147483647 45577 199 | 0.000 % |
27.85/27.95 c | 45950 | 13647 58381 177232 | 2147483647 45950 199 | 0.000 % |
28.15/28.25 c | 46359 | 13647 58381 177232 | 2147483647 46359 199 | 0.000 % |
28.55/28.61 c | 46810 | 13647 58381 177232 | 2147483647 46810 199 | 0.000 % |
28.85/28.97 c | 47303 | 13647 58381 177232 | 2147483647 47303 199 | 0.000 % |
29.35/29.40 c | 47846 | 13647 58381 177232 | 2147483647 47846 199 | 0.000 % |
29.75/29.84 c | 48443 | 13647 58381 177232 | 2147483647 48443 199 | 0.000 % |
30.25/30.35 c | 49098 | 13647 58381 177232 | 2147483647 49098 199 | 0.000 % |
30.35/30.44 c | 49198 | 13647 58381 177232 | 2147483647 49198 199 | 0.000 % |
30.45/30.54 c | 49308 | 13647 58381 177232 | 2147483647 49308 199 | 0.000 % |
30.55/30.65 c | 49430 | 13647 58381 177232 | 2147483647 49430 198 | 0.000 % |
30.65/30.77 c | 49563 | 13647 58381 177232 | 2147483647 49563 198 | 0.000 % |
30.75/30.89 c | 49712 | 13647 58381 177232 | 2147483647 49712 198 | 0.000 % |
30.94/31.02 c | 49874 | 13647 58381 177232 | 2147483647 49874 198 | 0.000 % |
31.05/31.16 c | 50052 | 13647 58381 177232 | 2147483647 50052 198 | 0.000 % |
31.25/31.32 c | 50246 | 13647 58381 177232 | 2147483647 50246 198 | 0.000 % |
31.35/31.48 c | 50458 | 13647 58381 177232 | 2147483647 50458 198 | 0.000 % |
31.55/31.67 c | 50693 | 13647 58381 177232 | 2147483647 50693 198 | 0.000 % |
31.75/31.88 c | 50949 | 13647 58381 177232 | 2147483647 50949 198 | 0.000 % |
32.05/32.10 c | 51231 | 13647 58381 177232 | 2147483647 51231 198 | 0.000 % |
32.25/32.34 c | 51540 | 13647 58381 177232 | 2147483647 51540 198 | 0.000 % |
32.55/32.62 c | 51879 | 13647 58381 177232 | 2147483647 51879 198 | 0.000 % |
32.85/32.91 c | 52251 | 13647 58381 177232 | 2147483647 52251 198 | 0.000 % |
33.14/33.22 c | 52661 | 13647 58381 177232 | 2147483647 52661 198 | 0.000 % |
33.44/33.59 c | 53110 | 13647 58381 177232 | 2147483647 53110 198 | 0.000 % |
33.85/33.96 c | 53603 | 13647 58381 177232 | 2147483647 53603 199 | 0.000 % |
34.24/34.38 c | 54145 | 13647 58381 177232 | 2147483647 54145 200 | 0.000 % |
34.74/34.85 c | 54741 | 13647 58381 177232 | 2147483647 54741 200 | 0.000 % |
35.24/35.32 c | 55396 | 13647 58381 177232 | 2147483647 55396 200 | 0.000 % |
35.84/35.90 c | 56116 | 13647 58381 177232 | 2147483647 56116 200 | 0.000 % |
35.84/35.98 c | 56216 | 13647 58381 177232 | 2147483647 56216 200 | 0.000 % |
35.94/36.08 c | 56326 | 13647 58381 177232 | 2147483647 56326 200 | 0.000 % |
36.04/36.20 c | 56448 | 13647 58381 177232 | 2147483647 56448 200 | 0.000 % |
36.24/36.32 c | 56582 | 13647 58381 177232 | 2147483647 56582 200 | 0.000 % |
36.34/36.44 c | 56728 | 13647 58381 177232 | 2147483647 56728 199 | 0.000 % |
36.44/36.57 c | 56888 | 13647 58381 177232 | 2147483647 56888 199 | 0.000 % |
36.64/36.72 c | 57064 | 13647 58381 177232 | 2147483647 57064 199 | 0.000 % |
36.74/36.89 c | 57258 | 13647 58381 177232 | 2147483647 57258 199 | 0.000 % |
36.94/37.06 c | 57470 | 13647 58381 177232 | 2147483647 57470 199 | 0.000 % |
37.14/37.23 c | 57705 | 13647 58381 177232 | 2147483647 57705 199 | 0.000 % |
37.34/37.45 c | 57962 | 13647 58381 177232 | 2147483647 57962 199 | 0.000 % |
37.54/37.66 c | 58244 | 13647 58381 177232 | 2147483647 58244 199 | 0.000 % |
37.74/37.90 c | 58554 | 13647 58381 177232 | 2147483647 58554 199 | 0.000 % |
38.04/38.18 c | 58894 | 13647 58381 177232 | 2147483647 58894 199 | 0.000 % |
38.44/38.51 c | 59267 | 13647 58381 177232 | 2147483647 59267 200 | 0.000 % |
38.73/38.83 c | 59676 | 13647 58381 177232 | 2147483647 59676 200 | 0.000 % |
39.03/39.19 c | 60126 | 13647 58381 177232 | 2147483647 60126 200 | 0.000 % |
39.45/39.60 c | 60619 | 13647 58381 177232 | 2147483647 60619 200 | 0.000 % |
39.94/40.01 c | 61164 | 13647 58381 177232 | 2147483647 61164 200 | 0.000 % |
40.34/40.49 c | 61760 | 13647 58381 177232 | 2147483647 61760 200 | 0.000 % |
40.94/41.05 c | 62415 | 13647 58381 177232 | 2147483647 62415 200 | 0.000 % |
41.53/41.63 c | 63136 | 13647 58381 177232 | 2147483647 63136 200 | 0.000 % |
42.14/42.29 c | 63928 | 13647 58381 177232 | 2147483647 63928 200 | 0.000 % |
42.24/42.37 c | 64030 | 13647 58381 177232 | 2147483647 64030 200 | 0.000 % |
42.34/42.49 c | 64140 | 13647 58381 177232 | 2147483647 64140 200 | 0.000 % |
42.54/42.61 c | 64263 | 13647 58381 177232 | 2147483647 64263 200 | 0.000 % |
42.64/42.73 c | 64398 | 13647 58381 177232 | 2147483647 64398 200 | 0.000 % |
42.74/42.86 c | 64544 | 13647 58381 177232 | 2147483647 64544 200 | 0.000 % |
42.94/43.01 c | 64705 | 13647 58381 177232 | 2147483647 64705 200 | 0.000 % |
43.04/43.17 c | 64882 | 13647 58381 177232 | 2147483647 64882 200 | 0.000 % |
43.24/43.34 c | 65076 | 13647 58381 177232 | 2147483647 65076 200 | 0.000 % |
43.44/43.53 c | 65288 | 13647 58381 177232 | 2147483647 65288 200 | 0.000 % |
43.64/43.74 c | 65523 | 13647 58381 177232 | 2147483647 65523 200 | 0.000 % |
43.84/43.96 c | 65780 | 13647 58381 177232 | 2147483647 65780 200 | 0.000 % |
44.13/44.21 c | 66061 | 13647 58381 177232 | 2147483647 66061 200 | 0.000 % |
44.33/44.46 c | 66372 | 13647 58381 177232 | 2147483647 66372 200 | 0.000 % |
44.64/44.76 c | 66711 | 13647 58381 177232 | 2147483647 66711 200 | 0.000 % |
44.94/45.09 c | 67083 | 13647 58381 177232 | 2147483647 67083 200 | 0.000 % |
45.33/45.46 c | 67494 | 13647 58381 177232 | 2147483647 67494 201 | 0.000 % |
45.73/45.83 c | 67943 | 13647 58381 177232 | 2147483647 67943 201 | 0.000 % |
46.14/46.22 c | 68436 | 13647 58381 177232 | 2147483647 68436 201 | 0.000 % |
46.53/46.68 c | 68979 | 13647 58381 177232 | 2147483647 68979 201 | 0.000 % |
47.03/47.19 c | 69575 | 13647 58381 177232 | 2147483647 69575 202 | 0.000 % |
47.63/47.75 c | 70230 | 13647 58381 177232 | 2147483647 70230 202 | 0.000 % |
48.24/48.35 c | 70951 | 13647 58381 177232 | 2147483647 70951 202 | 0.000 % |
48.93/49.05 c | 71743 | 13647 58381 177232 | 2147483647 71743 202 | 0.000 % |
49.63/49.78 c | 72615 | 13647 58381 177232 | 2147483647 72615 202 | 0.000 % |
49.73/49.88 c | 72716 | 13647 58381 177232 | 2147483647 72716 202 | 0.000 % |
49.83/49.99 c | 72826 | 13647 58381 177232 | 2147483647 72826 202 | 0.000 % |
50.03/50.10 c | 72947 | 13647 58381 177232 | 2147483647 72947 202 | 0.000 % |
50.13/50.25 c | 73081 | 13647 58381 177232 | 2147483647 73081 202 | 0.000 % |
50.33/50.41 c | 73228 | 13647 58381 177232 | 2147483647 73228 202 | 0.000 % |
50.43/50.58 c | 73389 | 13647 58381 177232 | 2147483647 73389 202 | 0.000 % |
50.63/50.75 c | 73565 | 13647 58381 177232 | 2147483647 73565 202 | 0.000 % |
50.83/50.92 c | 73758 | 13647 58381 177232 | 2147483647 73758 202 | 0.000 % |
51.03/51.11 c | 73971 | 13647 58381 177232 | 2147483647 73971 202 | 0.000 % |
51.23/51.35 c | 74204 | 13647 58381 177232 | 2147483647 74204 201 | 0.000 % |
51.43/51.57 c | 74461 | 13647 58381 177232 | 2147483647 74461 202 | 0.000 % |
51.73/51.83 c | 74742 | 13647 58381 177232 | 2147483647 74742 202 | 0.000 % |
52.03/52.11 c | 75051 | 13647 58381 177232 | 2147483647 75051 201 | 0.000 % |
52.33/52.42 c | 75390 | 13647 58381 177232 | 2147483647 75390 201 | 0.000 % |
52.63/52.73 c | 75763 | 13647 58381 177232 | 2147483647 75763 202 | 0.000 % |
52.93/53.08 c | 76173 | 13647 58381 177232 | 2147483647 76173 201 | 0.000 % |
53.33/53.49 c | 76622 | 13647 58381 177232 | 2147483647 76622 202 | 0.000 % |
53.84/53.94 c | 77115 | 13647 58381 177232 | 2147483647 77115 202 | 0.000 % |
54.33/54.45 c | 77658 | 13647 58381 177232 | 2147483647 77658 202 | 0.000 % |
54.83/55.00 c | 78254 | 13647 58381 177232 | 2147483647 78254 202 | 0.000 % |
55.53/55.61 c | 78909 | 13647 58381 177232 | 2147483647 78909 203 | 0.000 % |
56.12/56.28 c | 79631 | 13647 58381 177232 | 2147483647 79631 203 | 0.000 % |
56.82/57.00 c | 80423 | 13647 58381 177232 | 2147483647 80423 203 | 0.000 % |
57.62/57.75 c | 81294 | 13647 58381 177232 | 2147483647 81294 203 | 0.000 % |
58.52/58.65 c | 82252 | 13647 58381 177232 | 2147483647 82252 204 | 0.000 % |
58.62/58.77 c | 82354 | 13647 58381 177232 | 2147483647 82354 203 | 0.000 % |
58.72/58.86 c | 82466 | 13647 58381 177232 | 2147483647 82466 203 | 0.000 % |
58.83/59.00 c | 82589 | 13647 58381 177232 | 2147483647 82589 203 | 0.000 % |
59.03/59.14 c | 82722 | 13647 58381 177232 | 2147483647 82722 203 | 0.000 % |
59.13/59.28 c | 82868 | 13647 58381 177232 | 2147483647 82868 203 | 0.000 % |
59.34/59.44 c | 83029 | 13647 58381 177232 | 2147483647 83029 203 | 0.000 % |
59.53/59.63 c | 83205 | 13647 58381 177232 | 2147483647 83205 203 | 0.000 % |
59.73/59.82 c | 83398 | 13647 58381 177232 | 2147483647 83398 203 | 0.000 % |
59.93/60.04 c | 83611 | 13647 58381 177232 | 2147483647 83611 203 | 0.000 % |
60.13/60.24 c | 83845 | 13647 58381 177232 | 2147483647 83845 203 | 0.000 % |
60.33/60.49 c | 84101 | 13647 58381 177232 | 2147483647 84101 203 | 0.000 % |
60.63/60.76 c | 84383 | 13647 58381 177232 | 2147483647 84383 203 | 0.000 % |
60.92/61.07 c | 84693 | 13647 58381 177232 | 2147483647 84693 203 | 0.000 % |
61.32/61.41 c | 85032 | 13647 58381 177232 | 2147483647 85032 203 | 0.000 % |
61.62/61.78 c | 85404 | 13647 58381 177232 | 2147483647 85404 203 | 0.000 % |
62.02/62.17 c | 85814 | 13647 58381 177232 | 2147483647 85814 203 | 0.000 % |
62.52/62.63 c | 86266 | 13647 58381 177232 | 2147483647 86266 203 | 0.000 % |
63.02/63.11 c | 86759 | 13647 58381 177232 | 2147483647 86759 203 | 0.000 % |
63.52/63.60 c | 87302 | 13647 58381 177232 | 2147483647 87302 203 | 0.000 % |
64.02/64.15 c | 87898 | 13647 58381 177232 | 2147483647 87898 203 | 0.000 % |
64.62/64.76 c | 88554 | 13647 58381 177232 | 2147483647 88554 204 | 0.000 % |
65.32/65.45 c | 89277 | 13647 58381 177232 | 2147483647 89277 204 | 0.000 % |
66.12/66.21 c | 90069 | 13647 58381 177232 | 2147483647 90069 204 | 0.000 % |
66.92/67.07 c | 90941 | 13647 58381 177232 | 2147483647 90941 204 | 0.000 % |
67.92/68.04 c | 91901 | 13647 58381 177232 | 2147483647 91901 204 | 0.000 % |
68.92/69.04 c | 92955 | 13647 58381 177232 | 2147483647 92955 204 | 0.000 % |
69.02/69.13 c | 93055 | 13647 58381 177232 | 2147483647 93055 204 | 0.000 % |
69.13/69.26 c | 93165 | 13647 58381 177232 | 2147483647 93165 204 | 0.000 % |
69.32/69.40 c | 93286 | 13647 58381 177232 | 2147483647 93286 204 | 0.000 % |
69.42/69.56 c | 93420 | 13647 58381 177232 | 2147483647 93420 204 | 0.000 % |
69.62/69.73 c | 93566 | 13647 58381 177232 | 2147483647 93566 204 | 0.000 % |
69.82/69.90 c | 93727 | 13647 58381 177232 | 2147483647 93727 204 | 0.000 % |
69.92/70.09 c | 93904 | 13647 58381 177232 | 2147483647 93904 204 | 0.000 % |
70.12/70.30 c | 94101 | 13647 58381 177232 | 2147483647 94101 204 | 0.000 % |
70.42/70.55 c | 94315 | 13647 58381 177232 | 2147483647 94315 204 | 0.000 % |
70.62/70.76 c | 94548 | 13647 58381 177232 | 2147483647 94548 204 | 0.000 % |
70.92/71.02 c | 94807 | 13647 58381 177232 | 2147483647 94807 204 | 0.000 % |
71.21/71.32 c | 95088 | 13647 58381 177232 | 2147483647 95088 204 | 0.000 % |
71.51/71.67 c | 95397 | 13647 58381 177232 | 2147483647 95397 204 | 0.000 % |
71.91/72.04 c | 95737 | 13647 58381 177232 | 2147483647 95737 204 | 0.000 % |
72.31/72.43 c | 96109 | 13647 58381 177232 | 2147483647 96109 204 | 0.000 % |
72.72/72.84 c | 96518 | 13647 58381 177232 | 2147483647 96518 205 | 0.000 % |
73.22/73.33 c | 96968 | 13647 58381 177232 | 2147483647 96968 205 | 0.000 % |
73.71/73.85 c | 97462 | 13647 58381 177232 | 2147483647 97462 205 | 0.000 % |
74.21/74.39 c | 98005 | 13647 58381 177232 | 2147483647 98005 205 | 0.000 % |
74.91/75.00 c | 98601 | 13647 58381 177232 | 2147483647 98601 205 | 0.000 % |
75.51/75.64 c | 99260 | 13647 58381 177232 | 2147483647 99260 205 | 0.000 % |
76.21/76.37 c | 99980 | 13647 58381 177232 | 2147483647 99980 205 | 0.000 % |
77.01/77.18 c | 100774 | 13647 58381 177232 | 2147483647 100774 205 | 0.000 % |
78.02/78.11 c | 101645 | 13647 58381 177232 | 2147483647 101645 206 | 0.000 % |
78.91/79.01 c | 102605 | 13647 58381 177232 | 2147483647 102605 207 | 0.000 % |
79.91/80.08 c | 103659 | 13647 58381 177232 | 2147483647 103659 207 | 0.000 % |
81.11/81.21 c | 104817 | 13647 58381 177232 | 2147483647 104817 207 | 0.000 % |
81.21/81.34 c | 104919 | 13647 58381 177232 | 2147483647 104919 207 | 0.000 % |
81.31/81.47 c | 105029 | 13647 58381 177232 | 2147483647 105029 207 | 0.000 % |
81.51/81.63 c | 105151 | 13647 58381 177232 | 2147483647 105151 207 | 0.000 % |
81.61/81.80 c | 105285 | 13647 58381 177232 | 2147483647 105285 207 | 0.000 % |
81.81/81.96 c | 105431 | 13647 58381 177232 | 2147483647 105431 207 | 0.000 % |
82.01/82.15 c | 105591 | 13647 58381 177232 | 2147483647 105591 207 | 0.000 % |
82.21/82.37 c | 105767 | 13647 58381 177232 | 2147483647 105767 207 | 0.000 % |
82.41/82.58 c | 105960 | 13647 58381 177232 | 2147483647 105960 207 | 0.000 % |
82.71/82.83 c | 106172 | 13647 58381 177232 | 2147483647 106172 207 | 0.000 % |
83.01/83.10 c | 106407 | 13647 58381 177232 | 2147483647 106407 207 | 0.000 % |
83.21/83.38 c | 106663 | 13647 58381 177232 | 2147483647 106663 207 | 0.000 % |
83.51/83.65 c | 106946 | 13647 58381 177232 | 2147483647 106946 207 | 0.000 % |
83.91/84.02 c | 107255 | 13647 58381 177232 | 2147483647 107255 207 | 0.000 % |
84.31/84.40 c | 107594 | 13647 58381 177232 | 2147483647 107594 207 | 0.000 % |
84.71/84.82 c | 107967 | 13647 58381 177232 | 2147483647 107967 207 | 0.000 % |
85.10/85.28 c | 108379 | 13647 58381 177232 | 2147483647 108379 207 | 0.000 % |
85.61/85.76 c | 108828 | 13647 58381 177232 | 2147483647 108828 207 | 0.000 % |
86.10/86.28 c | 109322 | 13647 58381 177232 | 2147483647 109322 207 | 0.000 % |
86.71/86.88 c | 109864 | 13647 58381 177232 | 2147483647 109864 207 | 0.000 % |
87.41/87.53 c | 110460 | 13647 58381 177232 | 2147483647 110460 207 | 0.000 % |
88.11/88.22 c | 111115 | 13647 58381 177232 | 2147483647 111115 208 | 0.000 % |
88.91/89.01 c | 111837 | 13647 58381 177232 | 2147483647 111837 208 | 0.000 % |
89.70/89.85 c | 112629 | 13647 58381 177232 | 2147483647 112629 208 | 0.000 % |
90.71/90.81 c | 113500 | 13647 58381 177232 | 2147483647 113500 208 | 0.000 % |
91.70/91.83 c | 114458 | 13647 58381 177232 | 2147483647 114458 208 | 0.000 % |
92.81/92.95 c | 115513 | 13647 58381 177232 | 2147483647 115513 209 | 0.000 % |
94.10/94.20 c | 116671 | 13647 58381 177232 | 2147483647 116671 209 | 0.000 % |
95.51/95.62 c | 117945 | 13647 58381 177232 | 2147483647 117945 210 | 0.000 % |
95.61/95.75 c | 118045 | 13647 58381 177232 | 2147483647 118045 210 | 0.000 % |
95.70/95.89 c | 118156 | 13647 58381 177232 | 2147483647 118156 210 | 0.000 % |
95.90/96.04 c | 118278 | 13647 58381 177232 | 2147483647 118278 210 | 0.000 % |
96.10/96.21 c | 118411 | 13647 58381 177232 | 2147483647 118411 210 | 0.000 % |
96.30/96.41 c | 118559 | 13647 58381 177232 | 2147483647 118559 210 | 0.000 % |
96.50/96.64 c | 118720 | 13647 58381 177232 | 2147483647 118720 210 | 0.000 % |
96.70/96.87 c | 118897 | 13647 58381 177232 | 2147483647 118897 210 | 0.000 % |
97.01/97.14 c | 119092 | 13647 58381 177232 | 2147483647 119092 210 | 0.000 % |
97.31/97.43 c | 119304 | 13647 58381 177232 | 2147483647 119304 210 | 0.000 % |
97.51/97.70 c | 119538 | 13647 58381 177232 | 2147483647 119538 210 | 0.000 % |
97.81/97.99 c | 119794 | 13647 58381 177232 | 2147483647 119794 210 | 0.000 % |
98.20/98.35 c | 120075 | 13647 58381 177232 | 2147483647 120075 210 | 0.000 % |
98.60/98.73 c | 120384 | 13647 58381 177232 | 2147483647 120384 210 | 0.000 % |
99.00/99.18 c | 120724 | 13647 58381 177232 | 2147483647 120724 209 | 0.000 % |
99.50/99.63 c | 121096 | 13647 58381 177232 | 2147483647 121096 209 | 0.000 % |
99.91/100.09 c | 121506 | 13647 58381 177232 | 2147483647 121506 209 | 0.000 % |
100.51/100.68 c | 121957 | 13647 58381 177232 | 2147483647 121957 209 | 0.000 % |
101.11/101.24 c | 122452 | 13647 58381 177232 | 2147483647 122452 209 | 0.000 % |
101.70/101.87 c | 122995 | 13647 58381 177232 | 2147483647 122995 209 | 0.000 % |
102.41/102.59 c | 123594 | 13647 58381 177232 | 2147483647 123594 210 | 0.000 % |
103.21/103.33 c | 124249 | 13647 58381 177232 | 2147483647 124249 210 | 0.000 % |
104.01/104.13 c | 124969 | 13647 58381 177232 | 2147483647 124969 210 | 0.000 % |
104.91/105.06 c | 125761 | 13647 58381 177232 | 2147483647 125761 210 | 0.000 % |
105.90/106.03 c | 126634 | 13647 58381 177232 | 2147483647 126634 210 | 0.000 % |
106.89/107.08 c | 127595 | 13647 58381 177232 | 2147483647 127595 210 | 0.000 % |
108.10/108.28 c | 128649 | 13647 58381 177232 | 2147483647 128649 211 | 0.000 % |
109.60/109.70 c | 129808 | 13647 58381 177232 | 2147483647 129808 211 | 0.000 % |
111.00/111.18 c | 131082 | 13647 58381 177232 | 2147483647 131082 211 | 0.000 % |
112.60/112.74 c | 132483 | 13647 58381 177232 | 2147483647 132483 211 | 0.000 % |
112.70/112.89 c | 132584 | 13647 58381 177232 | 2147483647 132584 211 | 0.000 % |
112.90/113.04 c | 132694 | 13647 58381 177232 | 2147483647 132694 211 | 0.000 % |
113.10/113.20 c | 132815 | 13647 58381 177232 | 2147483647 132815 211 | 0.000 % |
113.20/113.39 c | 132948 | 13647 58381 177232 | 2147483647 132948 211 | 0.000 % |
113.39/113.59 c | 133095 | 13647 58381 177232 | 2147483647 133095 211 | 0.000 % |
113.69/113.83 c | 133255 | 13647 58381 177232 | 2147483647 133255 211 | 0.000 % |
113.89/114.07 c | 133431 | 13647 58381 177232 | 2147483647 133431 211 | 0.000 % |
114.20/114.32 c | 133624 | 13647 58381 177232 | 2147483647 133624 211 | 0.000 % |
114.39/114.58 c | 133838 | 13647 58381 177232 | 2147483647 133838 211 | 0.000 % |
114.70/114.87 c | 134071 | 13647 58381 177232 | 2147483647 134071 211 | 0.000 % |
115.10/115.20 c | 134327 | 13647 58381 177232 | 2147483647 134327 211 | 0.000 % |
115.40/115.57 c | 134609 | 13647 58381 177232 | 2147483647 134609 211 | 0.000 % |
115.80/115.97 c | 134921 | 13647 58381 177232 | 2147483647 134921 211 | 0.000 % |
116.20/116.39 c | 135260 | 13647 58381 177232 | 2147483647 135260 211 | 0.000 % |
116.70/116.88 c | 135634 | 13647 58381 177232 | 2147483647 135634 211 | 0.000 % |
117.30/117.42 c | 136043 | 13647 58381 177232 | 2147483647 136043 211 | 0.000 % |
117.79/117.93 c | 136492 | 13647 58381 177232 | 2147483647 136492 211 | 0.000 % |
118.39/118.51 c | 136985 | 13647 58381 177232 | 2147483647 136985 211 | 0.000 % |
119.00/119.18 c | 137527 | 13647 58381 177232 | 2147483647 137527 212 | 0.000 % |
119.70/119.87 c | 138124 | 13647 58381 177232 | 2147483647 138124 212 | 0.000 % |
120.50/120.69 c | 138779 | 13647 58381 177232 | 2147483647 138779 212 | 0.000 % |
121.39/121.57 c | 139500 | 13647 58381 177232 | 2147483647 139500 212 | 0.000 % |
122.40/122.53 c | 140292 | 13647 58381 177232 | 2147483647 140292 212 | 0.000 % |
123.40/123.53 c | 141165 | 13647 58381 177232 | 2147483647 141165 212 | 0.000 % |
124.60/124.75 c | 142125 | 13647 58381 177232 | 2147483647 142125 212 | 0.000 % |
125.89/126.02 c | 143179 | 13647 58381 177232 | 2147483647 143179 212 | 0.000 % |
127.29/127.41 c | 144337 | 13647 58381 177232 | 2147483647 144337 212 | 0.000 % |
128.90/129.06 c | 145612 | 13647 58381 177232 | 2147483647 145612 213 | 0.000 % |
130.59/130.79 c | 147012 | 13647 58381 177232 | 2147483647 147012 214 | 0.000 % |
132.59/132.76 c | 148554 | 13647 58381 177232 | 2147483647 148554 214 | 0.000 % |
132.79/132.93 c | 148656 | 13647 58381 177232 | 2147483647 148656 214 | 0.000 % |
132.89/133.10 c | 148767 | 13647 58381 177232 | 2147483647 148767 214 | 0.000 % |
133.09/133.29 c | 148888 | 13647 58381 177232 | 2147483647 148888 214 | 0.000 % |
133.29/133.48 c | 149021 | 13647 58381 177232 | 2147483647 149021 214 | 0.000 % |
133.59/133.73 c | 149168 | 13647 58381 177232 | 2147483647 149168 214 | 0.000 % |
133.79/133.96 c | 149331 | 13647 58381 177232 | 2147483647 149331 214 | 0.000 % |
134.09/134.21 c | 149507 | 13647 58381 177232 | 2147483647 149507 214 | 0.000 % |
134.39/134.51 c | 149700 | 13647 58381 177232 | 2147483647 149700 214 | 0.000 % |
134.69/134.83 c | 149912 | 13647 58381 177232 | 2147483647 149912 213 | 0.000 % |
134.99/135.18 c | 150145 | 13647 58381 177232 | 2147483647 150145 214 | 0.000 % |
135.39/135.55 c | 150402 | 13647 58381 177232 | 2147483647 150402 214 | 0.000 % |
135.79/135.95 c | 150686 | 13647 58381 177232 | 2147483647 150686 214 | 0.000 % |
136.20/136.37 c | 150996 | 13647 58381 177232 | 2147483647 150996 214 | 0.000 % |
136.69/136.84 c | 151335 | 13647 58381 177232 | 2147483647 151335 213 | 0.000 % |
137.19/137.32 c | 151708 | 13647 58381 177232 | 2147483647 151708 213 | 0.000 % |
137.79/137.91 c | 152119 | 13647 58381 177232 | 2147483647 152119 213 | 0.000 % |
138.29/138.46 c | 152569 | 13647 58381 177232 | 2147483647 152569 214 | 0.000 % |
138.99/139.18 c | 153062 | 13647 58381 177232 | 2147483647 153062 214 | 0.000 % |
139.79/139.90 c | 153604 | 13647 58381 177232 | 2147483647 153604 214 | 0.000 % |
140.48/140.69 c | 154203 | 13647 58381 177232 | 2147483647 154203 214 | 0.000 % |
141.39/141.55 c | 154860 | 13647 58381 177232 | 2147483647 154860 214 | 0.000 % |
142.29/142.47 c | 155580 | 13647 58381 177232 | 2147483647 155580 214 | 0.000 % |
143.39/143.57 c | 156372 | 13647 58381 177232 | 2147483647 156372 214 | 0.000 % |
144.58/144.71 c | 157244 | 13647 58381 177232 | 2147483647 157244 214 | 0.000 % |
145.79/145.95 c | 158205 | 13647 58381 177232 | 2147483647 158205 215 | 0.000 % |
147.19/147.32 c | 159259 | 13647 58381 177232 | 2147483647 159259 215 | 0.000 % |
148.58/148.79 c | 160418 | 13647 58381 177232 | 2147483647 160418 215 | 0.000 % |
150.39/150.52 c | 161692 | 13647 58381 177232 | 2147483647 161692 216 | 0.000 % |
152.18/152.30 c | 163092 | 13647 58381 177232 | 2147483647 163092 216 | 0.000 % |
154.18/154.31 c | 164632 | 13647 58381 177232 | 2147483647 164632 216 | 0.000 % |
156.38/156.54 c | 166327 | 13647 58381 177232 | 2147483647 166327 217 | 0.000 % |
156.58/156.72 c | 166431 | 13647 58381 177232 | 2147483647 166431 217 | 0.000 % |
156.68/156.87 c | 166541 | 13647 58381 177232 | 2147483647 166541 217 | 0.000 % |
156.98/157.10 c | 166662 | 13647 58381 177232 | 2147483647 166662 217 | 0.000 % |
157.18/157.31 c | 166795 | 13647 58381 177232 | 2147483647 166795 217 | 0.000 % |
157.38/157.53 c | 166941 | 13647 58381 177232 | 2147483647 166941 217 | 0.000 % |
157.58/157.80 c | 167106 | 13647 58381 177232 | 2147483647 167106 216 | 0.000 % |
157.88/158.08 c | 167282 | 13647 58381 177232 | 2147483647 167282 217 | 0.000 % |
158.18/158.37 c | 167475 | 13647 58381 177232 | 2147483647 167475 217 | 0.000 % |
158.57/158.71 c | 167687 | 13647 58381 177232 | 2147483647 167687 216 | 0.000 % |
158.87/159.06 c | 167920 | 13647 58381 177232 | 2147483647 167920 216 | 0.000 % |
159.28/159.46 c | 168176 | 13647 58381 177232 | 2147483647 168176 216 | 0.000 % |
159.67/159.86 c | 168457 | 13647 58381 177232 | 2147483647 168457 216 | 0.000 % |
160.07/160.28 c | 168767 | 13647 58381 177232 | 2147483647 168767 216 | 0.000 % |
160.57/160.78 c | 169108 | 13647 58381 177232 | 2147483647 169108 216 | 0.000 % |
161.08/161.29 c | 169480 | 13647 58381 177232 | 2147483647 169480 216 | 0.000 % |
161.68/161.85 c | 169891 | 13647 58381 177232 | 2147483647 169891 216 | 0.000 % |
162.28/162.45 c | 170341 | 13647 58381 177232 | 2147483647 170341 216 | 0.000 % |
162.98/163.17 c | 170835 | 13647 58381 177232 | 2147483647 170835 216 | 0.000 % |
163.78/163.96 c | 171377 | 13647 58381 177232 | 2147483647 171377 217 | 0.000 % |
164.57/164.75 c | 171973 | 13647 58381 177232 | 2147483647 171973 216 | 0.000 % |
165.47/165.62 c | 172628 | 13647 58381 177232 | 2147483647 172628 217 | 0.000 % |
166.38/166.58 c | 173349 | 13647 58381 177232 | 2147483647 173349 217 | 0.000 % |
167.48/167.67 c | 174143 | 13647 58381 177232 | 2147483647 174143 217 | 0.000 % |
168.67/168.81 c | 175014 | 13647 58381 177232 | 2147483647 175014 217 | 0.000 % |
170.07/170.28 c | 175972 | 13647 58381 177232 | 2147483647 175972 217 | 0.000 % |
171.57/171.74 c | 177025 | 13647 58381 177232 | 2147483647 177025 217 | 0.000 % |
173.27/173.40 c | 178185 | 13647 58381 177232 | 2147483647 178185 217 | 0.000 % |
174.97/175.16 c | 179458 | 13647 58381 177232 | 2147483647 179458 218 | 0.000 % |
177.07/177.24 c | 180858 | 13647 58381 177232 | 2147483647 180858 218 | 0.000 % |
179.27/179.43 c | 182398 | 13647 58381 177232 | 2147483647 182398 218 | 0.000 % |
181.67/181.83 c | 184093 | 13647 58381 177232 | 2147483647 184093 218 | 0.000 % |
184.27/184.45 c | 185956 | 13647 58381 177232 | 2147483647 185956 219 | 0.000 % |
184.47/184.63 c | 186057 | 13647 58381 177232 | 2147483647 186057 219 | 0.000 % |
184.67/184.88 c | 186167 | 13647 58381 177232 | 2147483647 186167 219 | 0.000 % |
184.87/185.08 c | 186289 | 13647 58381 177232 | 2147483647 186289 219 | 0.000 % |
185.07/185.30 c | 186424 | 13647 58381 177232 | 2147483647 186424 219 | 0.000 % |
185.37/185.55 c | 186570 | 13647 58381 177232 | 2147483647 186570 219 | 0.000 % |
185.67/185.83 c | 186730 | 13647 58381 177232 | 2147483647 186730 219 | 0.000 % |
185.97/186.12 c | 186907 | 13647 58381 177232 | 2147483647 186907 219 | 0.000 % |
186.27/186.41 c | 187100 | 13647 58381 177232 | 2147483647 187100 219 | 0.000 % |
186.57/186.75 c | 187312 | 13647 58381 177232 | 2147483647 187312 219 | 0.000 % |
186.97/187.12 c | 187545 | 13647 58381 177232 | 2147483647 187545 219 | 0.000 % |
187.37/187.56 c | 187801 | 13647 58381 177232 | 2147483647 187801 218 | 0.000 % |
187.87/188.01 c | 188084 | 13647 58381 177232 | 2147483647 188084 218 | 0.000 % |
188.36/188.56 c | 188393 | 13647 58381 177232 | 2147483647 188393 218 | 0.000 % |
188.87/189.08 c | 188734 | 13647 58381 177232 | 2147483647 188734 219 | 0.000 % |
189.47/189.68 c | 189106 | 13647 58381 177232 | 2147483647 189106 219 | 0.000 % |
190.07/190.29 c | 189515 | 13647 58381 177232 | 2147483647 189515 218 | 0.000 % |
190.77/190.95 c | 189966 | 13647 58381 177232 | 2147483647 189966 218 | 0.000 % |
191.57/191.71 c | 190461 | 13647 58381 177232 | 2147483647 190461 218 | 0.000 % |
192.37/192.54 c | 191003 | 13647 58381 177232 | 2147483647 191003 218 | 0.000 % |
193.37/193.52 c | 191600 | 13647 58381 177232 | 2147483647 191600 218 | 0.000 % |
194.37/194.53 c | 192255 | 13647 58381 177232 | 2147483647 192255 218 | 0.000 % |
195.46/195.60 c | 192976 | 13647 58381 177232 | 2147483647 192976 218 | 0.000 % |
196.67/196.82 c | 193769 | 13647 58381 177232 | 2147483647 193769 219 | 0.000 % |
197.96/198.16 c | 194641 | 13647 58381 177232 | 2147483647 194641 219 | 0.000 % |
199.46/199.60 c | 195599 | 13647 58381 177232 | 2147483647 195599 219 | 0.000 % |
201.07/201.24 c | 196653 | 13647 58381 177232 | 2147483647 196653 219 | 0.000 % |
202.76/202.96 c | 197811 | 13647 58381 177232 | 2147483647 197811 219 | 0.000 % |
204.66/204.84 c | 199086 | 13647 58381 177232 | 2147483647 199086 219 | 0.000 % |
206.86/207.01 c | 200486 | 13647 58381 177232 | 2147483647 200486 219 | 0.000 % |
209.16/209.37 c | 202029 | 13647 58381 177232 | 2147483647 202029 219 | 0.000 % |
211.66/211.86 c | 203724 | 13647 58381 177232 | 2147483647 203724 220 | 0.000 % |
214.36/214.51 c | 205589 | 13647 58381 177232 | 2147483647 205589 221 | 0.000 % |
217.56/217.77 c | 207639 | 13647 58381 177232 | 2147483647 207639 221 | 0.000 % |
217.76/217.95 c | 207739 | 13647 58381 177232 | 2147483647 207739 221 | 0.000 % |
218.05/218.20 c | 207851 | 13647 58381 177232 | 2147483647 207851 221 | 0.000 % |
218.25/218.44 c | 207972 | 13647 58381 177232 | 2147483647 207972 221 | 0.000 % |
218.45/218.70 c | 208107 | 13647 58381 177232 | 2147483647 208107 221 | 0.000 % |
218.76/218.97 c | 208253 | 13647 58381 177232 | 2147483647 208253 221 | 0.000 % |
219.05/219.24 c | 208415 | 13647 58381 177232 | 2147483647 208415 221 | 0.000 % |
219.35/219.58 c | 208592 | 13647 58381 177232 | 2147483647 208592 221 | 0.000 % |
219.75/219.96 c | 208786 | 13647 58381 177232 | 2147483647 208786 221 | 0.000 % |
220.16/220.34 c | 208998 | 13647 58381 177232 | 2147483647 208998 221 | 0.000 % |
220.56/220.77 c | 209232 | 13647 58381 177232 | 2147483647 209232 221 | 0.000 % |
221.06/221.22 c | 209489 | 13647 58381 177232 | 2147483647 209489 221 | 0.000 % |
221.56/221.72 c | 209774 | 13647 58381 177232 | 2147483647 209774 221 | 0.000 % |
222.06/222.26 c | 210084 | 13647 58381 177232 | 2147483647 210084 221 | 0.000 % |
222.75/222.91 c | 210424 | 13647 58381 177232 | 2147483647 210424 221 | 0.000 % |
223.35/223.57 c | 210799 | 13647 58381 177232 | 2147483647 210799 221 | 0.000 % |
224.05/224.22 c | 211208 | 13647 58381 177232 | 2147483647 211208 221 | 0.000 % |
224.75/224.93 c | 211658 | 13647 58381 177232 | 2147483647 211658 221 | 0.000 % |
225.56/225.70 c | 212152 | 13647 58381 177232 | 2147483647 212152 221 | 0.000 % |
226.36/226.59 c | 212695 | 13647 58381 177232 | 2147483647 212695 221 | 0.000 % |
227.36/227.55 c | 213292 | 13647 58381 177232 | 2147483647 213292 221 | 0.000 % |
228.26/228.49 c | 213947 | 13647 58381 177232 | 2147483647 213947 221 | 0.000 % |
229.55/229.72 c | 214667 | 13647 58381 177232 | 2147483647 214667 221 | 0.000 % |
230.85/231.05 c | 215459 | 13647 58381 177232 | 2147483647 215459 221 | 0.000 % |
232.26/232.41 c | 216330 | 13647 58381 177232 | 2147483647 216330 221 | 0.000 % |
233.75/233.95 c | 217288 | 13647 58381 177232 | 2147483647 217288 221 | 0.000 % |
235.45/235.67 c | 218341 | 13647 58381 177232 | 2147483647 218341 221 | 0.000 % |
237.35/237.50 c | 219500 | 13647 58381 177232 | 2147483647 219500 221 | 0.000 % |
239.25/239.48 c | 220775 | 13647 58381 177232 | 2147483647 220775 221 | 0.000 % |
241.65/241.86 c | 222175 | 13647 58381 177232 | 2147483647 222175 222 | 0.000 % |
244.15/244.34 c | 223717 | 13647 58381 177232 | 2147483647 223717 222 | 0.000 % |
246.74/246.95 c | 225411 | 13647 58381 177232 | 2147483647 225411 222 | 0.000 % |
249.85/250.01 c | 227275 | 13647 58381 177232 | 2147483647 227275 222 | 0.000 % |
253.14/253.39 c | 229324 | 13647 58381 177232 | 2147483647 229324 222 | 0.000 % |
256.75/256.97 c | 231577 | 13647 58381 177232 | 2147483647 231577 223 | 0.000 % |
257.05/257.20 c | 231677 | 13647 58381 177232 | 2147483647 231677 223 | 0.000 % |
257.25/257.43 c | 231788 | 13647 58381 177232 | 2147483647 231788 223 | 0.000 % |
257.45/257.67 c | 231912 | 13647 58381 177232 | 2147483647 231912 223 | 0.000 % |
257.75/257.96 c | 232046 | 13647 58381 177232 | 2147483647 232046 223 | 0.000 % |
258.05/258.29 c | 232193 | 13647 58381 177232 | 2147483647 232193 223 | 0.000 % |
258.35/258.57 c | 232354 | 13647 58381 177232 | 2147483647 232354 223 | 0.000 % |
258.64/258.89 c | 232533 | 13647 58381 177232 | 2147483647 232533 223 | 0.000 % |
259.14/259.30 c | 232726 | 13647 58381 177232 | 2147483647 232726 223 | 0.000 % |
259.54/259.72 c | 232940 | 13647 58381 177232 | 2147483647 232940 223 | 0.000 % |
259.94/260.16 c | 233173 | 13647 58381 177232 | 2147483647 233173 223 | 0.000 % |
260.44/260.63 c | 233429 | 13647 58381 177232 | 2147483647 233429 223 | 0.000 % |
260.94/261.18 c | 233710 | 13647 58381 177232 | 2147483647 233710 223 | 0.000 % |
261.54/261.76 c | 234019 | 13647 58381 177232 | 2147483647 234019 223 | 0.000 % |
262.24/262.44 c | 234358 | 13647 58381 177232 | 2147483647 234358 223 | 0.000 % |
262.94/263.10 c | 234732 | 13647 58381 177232 | 2147483647 234732 223 | 0.000 % |
263.64/263.83 c | 235142 | 13647 58381 177232 | 2147483647 235142 223 | 0.000 % |
264.44/264.67 c | 235591 | 13647 58381 177232 | 2147483647 235591 223 | 0.000 % |
265.34/265.60 c | 236084 | 13647 58381 177232 | 2147483647 236084 223 | 0.000 % |
266.34/266.58 c | 236626 | 13647 58381 177232 | 2147483647 236626 223 | 0.000 % |
267.44/267.65 c | 237222 | 13647 58381 177232 | 2147483647 237222 223 | 0.000 % |
268.54/268.78 c | 237880 | 13647 58381 177232 | 2147483647 237880 223 | 0.000 % |
269.74/269.97 c | 238601 | 13647 58381 177232 | 2147483647 238601 223 | 0.000 % |
271.13/271.35 c | 239397 | 13647 58381 177232 | 2147483647 239397 223 | 0.000 % |
272.65/272.85 c | 240269 | 13647 58381 177232 | 2147483647 240269 223 | 0.000 % |
274.34/274.55 c | 241228 | 13647 58381 177232 | 2147483647 241228 223 | 0.000 % |
276.13/276.32 c | 242281 | 13647 58381 177232 | 2147483647 242281 223 | 0.000 % |
278.15/278.33 c | 243439 | 13647 58381 177232 | 2147483647 243439 223 | 0.000 % |
280.34/280.56 c | 244715 | 13647 58381 177232 | 2147483647 244715 223 | 0.000 % |
282.73/282.91 c | 246115 | 13647 58381 177232 | 2147483647 246115 223 | 0.000 % |
285.24/285.43 c | 247658 | 13647 58381 177232 | 2147483647 247658 224 | 0.000 % |
288.13/288.36 c | 249352 | 13647 58381 177232 | 2147483647 249352 224 | 0.000 % |
291.34/291.53 c | 251216 | 13647 58381 177232 | 2147483647 251216 224 | 0.000 % |
294.63/294.84 c | 253266 | 13647 58381 177232 | 2147483647 253266 224 | 0.000 % |
298.43/298.66 c | 255522 | 13647 58381 177232 | 2147483647 255522 225 | 0.000 % |
302.72/302.92 c | 258001 | 13647 58381 177232 | 2147483647 258001 225 | 0.000 % |
302.92/303.17 c | 258102 | 13647 58381 177232 | 2147483647 258102 225 | 0.000 % |
303.22/303.43 c | 258213 | 13647 58381 177232 | 2147483647 258213 225 | 0.000 % |
303.42/303.67 c | 258334 | 13647 58381 177232 | 2147483647 258334 225 | 0.000 % |
303.72/303.97 c | 258469 | 13647 58381 177232 | 2147483647 258469 225 | 0.000 % |
304.12/304.31 c | 258616 | 13647 58381 177232 | 2147483647 258616 225 | 0.000 % |
304.42/304.63 c | 258776 | 13647 58381 177232 | 2147483647 258776 225 | 0.000 % |
304.73/304.98 c | 258952 | 13647 58381 177232 | 2147483647 258952 225 | 0.000 % |
305.23/305.40 c | 259145 | 13647 58381 177232 | 2147483647 259145 225 | 0.000 % |
305.63/305.84 c | 259357 | 13647 58381 177232 | 2147483647 259357 225 | 0.000 % |
306.13/306.34 c | 259590 | 13647 58381 177232 | 2147483647 259590 225 | 0.000 % |
306.73/306.92 c | 259846 | 13647 58381 177232 | 2147483647 259846 225 | 0.000 % |
307.32/307.54 c | 260130 | 13647 58381 177232 | 2147483647 260130 225 | 0.000 % |
307.92/308.14 c | 260440 | 13647 58381 177232 | 2147483647 260440 224 | 0.000 % |
308.62/308.81 c | 260780 | 13647 58381 177232 | 2147483647 260780 224 | 0.000 % |
309.32/309.54 c | 261153 | 13647 58381 177232 | 2147483647 261153 224 | 0.000 % |
310.13/310.32 c | 261566 | 13647 58381 177232 | 2147483647 261566 224 | 0.000 % |
311.03/311.22 c | 262015 | 13647 58381 177232 | 2147483647 262015 224 | 0.000 % |
312.02/312.22 c | 262508 | 13647 58381 177232 | 2147483647 262508 224 | 0.000 % |
313.12/313.32 c | 263050 | 13647 58381 177232 | 2147483647 263050 224 | 0.000 % |
314.23/314.42 c | 263652 | 13647 58381 177232 | 2147483647 263652 224 | 0.000 % |
315.53/315.71 c | 264308 | 13647 58381 177232 | 2147483647 264308 224 | 0.000 % |
316.82/317.00 c | 265028 | 13647 58381 177232 | 2147483647 265028 224 | 0.000 % |
318.23/318.49 c | 265821 | 13647 58381 177232 | 2147483647 265821 224 | 0.000 % |
319.83/320.01 c | 266692 | 13647 58381 177232 | 2147483647 266692 224 | 0.000 % |
321.52/321.74 c | 267650 | 13647 58381 177232 | 2147483647 267650 225 | 0.000 % |
323.52/323.72 c | 268704 | 13647 58381 177232 | 2147483647 268704 225 | 0.000 % |
325.52/325.77 c | 269863 | 13647 58381 177232 | 2147483647 269863 225 | 0.000 % |
327.82/328.01 c | 271136 | 13647 58381 177232 | 2147483647 271136 225 | 0.000 % |
330.52/330.71 c | 272540 | 13647 58381 177232 | 2147483647 272540 225 | 0.000 % |
333.51/333.72 c | 274080 | 13647 58381 177232 | 2147483647 274080 225 | 0.000 % |
336.71/336.90 c | 275774 | 13647 58381 177232 | 2147483647 275774 225 | 0.000 % |
340.01/340.25 c | 277637 | 13647 58381 177232 | 2147483647 277637 225 | 0.000 % |
343.81/344.02 c | 279686 | 13647 58381 177232 | 2147483647 279686 225 | 0.000 % |
348.01/348.25 c | 281939 | 13647 58381 177232 | 2147483647 281939 226 | 0.000 % |
352.60/352.88 c | 284417 | 13647 58381 177232 | 2147483647 284417 226 | 0.000 % |
358.11/358.31 c | 287142 | 13647 58381 177232 | 2147483647 287142 226 | 0.000 % |
358.31/358.54 c | 287243 | 13647 58381 177232 | 2147483647 287243 226 | 0.000 % |
358.60/358.81 c | 287353 | 13647 58381 177232 | 2147483647 287353 226 | 0.000 % |
358.80/359.08 c | 287477 | 13647 58381 177232 | 2147483647 287477 226 | 0.000 % |
359.20/359.42 c | 287610 | 13647 58381 177232 | 2147483647 287610 226 | 0.000 % |
359.51/359.76 c | 287758 | 13647 58381 177232 | 2147483647 287758 226 | 0.000 % |
359.90/360.13 c | 287922 | 13647 58381 177232 | 2147483647 287922 226 | 0.000 % |
360.30/360.52 c | 288098 | 13647 58381 177232 | 2147483647 288098 226 | 0.000 % |
360.70/360.99 c | 288292 | 13647 58381 177232 | 2147483647 288292 226 | 0.000 % |
361.20/361.44 c | 288505 | 13647 58381 177232 | 2147483647 288505 226 | 0.000 % |
361.80/362.00 c | 288738 | 13647 58381 177232 | 2147483647 288738 226 | 0.000 % |
362.40/362.60 c | 288996 | 13647 58381 177232 | 2147483647 288996 226 | 0.000 % |
362.90/363.20 c | 289278 | 13647 58381 177232 | 2147483647 289278 226 | 0.000 % |
363.70/363.91 c | 289587 | 13647 58381 177232 | 2147483647 289587 226 | 0.000 % |
364.40/364.67 c | 289930 | 13647 58381 177232 | 2147483647 289930 226 | 0.000 % |
365.20/365.41 c | 290302 | 13647 58381 177232 | 2147483647 290302 226 | 0.000 % |
366.00/366.28 c | 290711 | 13647 58381 177232 | 2147483647 290711 226 | 0.000 % |
366.90/367.18 c | 291161 | 13647 58381 177232 | 2147483647 291161 226 | 0.000 % |
368.00/368.23 c | 291654 | 13647 58381 177232 | 2147483647 291654 226 | 0.000 % |
369.20/369.41 c | 292199 | 13647 58381 177232 | 2147483647 292199 226 | 0.000 % |
370.41/370.65 c | 292795 | 13647 58381 177232 | 2147483647 292795 226 | 0.000 % |
371.70/371.91 c | 293450 | 13647 58381 177232 | 2147483647 293450 226 | 0.000 % |
373.10/373.33 c | 294172 | 13647 58381 177232 | 2147483647 294172 226 | 0.000 % |
374.70/374.91 c | 294965 | 13647 58381 177232 | 2147483647 294965 226 | 0.000 % |
376.19/376.48 c | 295836 | 13647 58381 177232 | 2147483647 295836 226 | 0.000 % |
378.10/378.36 c | 296794 | 13647 58381 177232 | 2147483647 296794 226 | 0.000 % |
380.19/380.48 c | 297847 | 13647 58381 177232 | 2147483647 297847 226 | 0.000 % |
382.49/382.77 c | 299006 | 13647 58381 177232 | 2147483647 299006 226 | 0.000 % |
385.19/385.41 c | 300280 | 13647 58381 177232 | 2147483647 300280 226 | 0.000 % |
388.00/388.24 c | 301682 | 13647 58381 177232 | 2147483647 301682 226 | 0.000 % |
391.09/391.30 c | 303222 | 13647 58381 177232 | 2147483647 303222 226 | 0.000 % |
394.48/394.78 c | 304919 | 13647 58381 177232 | 2147483647 304919 226 | 0.000 % |
398.09/398.38 c | 306782 | 13647 58381 177232 | 2147483647 306782 227 | 0.000 % |
401.88/402.18 c | 308831 | 13647 58381 177232 | 2147483647 308831 227 | 0.000 % |
406.59/406.85 c | 311085 | 13647 58381 177232 | 2147483647 311085 227 | 0.000 % |
411.68/411.92 c | 313563 | 13647 58381 177232 | 2147483647 313563 227 | 0.000 % |
417.08/417.37 c | 316288 | 13647 58381 177232 | 2147483647 316288 227 | 0.000 % |
422.97/423.23 c | 319285 | 13647 58381 177232 | 2147483647 319285 227 | 0.000 % |
423.17/423.49 c | 319385 | 13647 58381 177232 | 2147483647 319385 227 | 0.000 % |
423.47/423.79 c | 319496 | 13647 58381 177232 | 2147483647 319496 227 | 0.000 % |
423.87/424.17 c | 319618 | 13647 58381 177232 | 2147483647 319618 227 | 0.000 % |
424.27/424.53 c | 319755 | 13647 58381 177232 | 2147483647 319755 227 | 0.000 % |
424.57/424.88 c | 319901 | 13647 58381 177232 | 2147483647 319901 227 | 0.000 % |
424.97/425.26 c | 320061 | 13647 58381 177232 | 2147483647 320061 227 | 0.000 % |
425.37/425.69 c | 320237 | 13647 58381 177232 | 2147483647 320237 227 | 0.000 % |
425.97/426.21 c | 320431 | 13647 58381 177232 | 2147483647 320431 227 | 0.000 % |
426.48/426.74 c | 320643 | 13647 58381 177232 | 2147483647 320643 227 | 0.000 % |
427.07/427.32 c | 320878 | 13647 58381 177232 | 2147483647 320878 227 | 0.000 % |
427.68/427.97 c | 321136 | 13647 58381 177232 | 2147483647 321136 227 | 0.000 % |
428.27/428.59 c | 321417 | 13647 58381 177232 | 2147483647 321417 227 | 0.000 % |
429.07/429.31 c | 321726 | 13647 58381 177232 | 2147483647 321726 227 | 0.000 % |
429.87/430.12 c | 322065 | 13647 58381 177232 | 2147483647 322065 227 | 0.000 % |
430.77/431.04 c | 322437 | 13647 58381 177232 | 2147483647 322437 227 | 0.000 % |
431.67/431.92 c | 322846 | 13647 58381 177232 | 2147483647 322846 227 | 0.000 % |
432.77/433.04 c | 323295 | 13647 58381 177232 | 2147483647 323295 227 | 0.000 % |
433.87/434.17 c | 323793 | 13647 58381 177232 | 2147483647 323793 227 | 0.000 % |
435.17/435.46 c | 324335 | 13647 58381 177232 | 2147483647 324335 227 | 0.000 % |
436.48/436.73 c | 324931 | 13647 58381 177232 | 2147483647 324931 227 | 0.000 % |
437.87/438.16 c | 325588 | 13647 58381 177232 | 2147483647 325588 227 | 0.000 % |
439.57/439.81 c | 326308 | 13647 58381 177232 | 2147483647 326308 227 | 0.000 % |
441.17/441.49 c | 327101 | 13647 58381 177232 | 2147483647 327101 227 | 0.000 % |
443.17/443.43 c | 327972 | 13647 58381 177232 | 2147483647 327972 227 | 0.000 % |
445.17/445.40 c | 328932 | 13647 58381 177232 | 2147483647 328932 227 | 0.000 % |
447.26/447.57 c | 329985 | 13647 58381 177232 | 2147483647 329985 227 | 0.000 % |
449.86/450.14 c | 331144 | 13647 58381 177232 | 2147483647 331144 227 | 0.000 % |
452.87/453.11 c | 332418 | 13647 58381 177232 | 2147483647 332418 227 | 0.000 % |
455.66/455.96 c | 333820 | 13647 58381 177232 | 2147483647 333820 227 | 0.000 % |
459.07/459.37 c | 335360 | 13647 58381 177232 | 2147483647 335360 227 | 0.000 % |
462.67/462.99 c | 337054 | 13647 58381 177232 | 2147483647 337054 228 | 0.000 % |
466.75/467.00 c | 338917 | 13647 58381 177232 | 2147483647 338917 228 | 0.000 % |
471.25/471.53 c | 340967 | 13647 58381 177232 | 2147483647 340967 228 | 0.000 % |
476.25/476.52 c | 343224 | 13647 58381 177232 | 2147483647 343224 228 | 0.000 % |
481.45/481.78 c | 345702 | 13647 58381 177232 | 2147483647 345702 228 | 0.000 % |
487.45/487.73 c | 348427 | 13647 58381 177232 | 2147483647 348427 229 | 0.000 % |
493.85/494.18 c | 351424 | 13647 58381 177232 | 2147483647 351424 229 | 0.000 % |
500.85/501.14 c | 354721 | 13647 58381 177232 | 2147483647 354721 229 | 0.000 % |
501.15/501.41 c | 354822 | 13647 58381 177232 | 2147483647 354822 229 | 0.000 % |
501.45/501.74 c | 354932 | 13647 58381 177232 | 2147483647 354932 229 | 0.000 % |
501.85/502.12 c | 355053 | 13647 58381 177232 | 2147483647 355053 229 | 0.000 % |
502.25/502.56 c | 355186 | 13647 58381 177232 | 2147483647 355186 229 | 0.000 % |
502.65/502.99 c | 355335 | 13647 58381 177232 | 2147483647 355335 229 | 0.000 % |
503.15/503.46 c | 355495 | 13647 58381 177232 | 2147483647 355495 229 | 0.000 % |
503.65/503.90 c | 355673 | 13647 58381 177232 | 2147483647 355673 229 | 0.000 % |
504.15/504.41 c | 355866 | 13647 58381 177232 | 2147483647 355866 229 | 0.000 % |
504.65/504.99 c | 356078 | 13647 58381 177232 | 2147483647 356078 229 | 0.000 % |
505.35/505.61 c | 356313 | 13647 58381 177232 | 2147483647 356313 229 | 0.000 % |
506.05/506.35 c | 356570 | 13647 58381 177232 | 2147483647 356570 229 | 0.000 % |
506.85/507.14 c | 356853 | 13647 58381 177232 | 2147483647 356853 229 | 0.000 % |
507.64/507.96 c | 357165 | 13647 58381 177232 | 2147483647 357165 229 | 0.000 % |
508.54/508.88 c | 357504 | 13647 58381 177232 | 2147483647 357504 229 | 0.000 % |
509.64/509.94 c | 357876 | 13647 58381 177232 | 2147483647 357876 229 | 0.000 % |
510.64/510.95 c | 358285 | 13647 58381 177232 | 2147483647 358285 229 | 0.000 % |
511.74/512.08 c | 358734 | 13647 58381 177232 | 2147483647 358734 229 | 0.000 % |
513.04/513.36 c | 359229 | 13647 58381 177232 | 2147483647 359229 229 | 0.000 % |
514.33/514.67 c | 359772 | 13647 58381 177232 | 2147483647 359772 229 | 0.000 % |
515.73/516.01 c | 360371 | 13647 58381 177232 | 2147483647 360371 229 | 0.000 % |
517.34/517.64 c | 361028 | 13647 58381 177232 | 2147483647 361028 229 | 0.000 % |
519.03/519.37 c | 361751 | 13647 58381 177232 | 2147483647 361751 229 | 0.000 % |
521.14/521.43 c | 362544 | 13647 58381 177232 | 2147483647 362544 229 | 0.000 % |
523.24/523.60 c | 363416 | 13647 58381 177232 | 2147483647 363416 229 | 0.000 % |
525.54/525.89 c | 364375 | 13647 58381 177232 | 2147483647 364375 229 | 0.000 % |
527.93/528.23 c | 365428 | 13647 58381 177232 | 2147483647 365428 229 | 0.000 % |
530.63/530.96 c | 366586 | 13647 58381 177232 | 2147483647 366586 229 | 0.000 % |
533.83/534.11 c | 367859 | 13647 58381 177232 | 2147483647 367859 229 | 0.000 % |
537.03/537.34 c | 369260 | 13647 58381 177232 | 2147483647 369260 229 | 0.000 % |
540.63/540.98 c | 370800 | 13647 58381 177232 | 2147483647 370800 229 | 0.000 % |
544.52/544.89 c | 372494 | 13647 58381 177232 | 2147483647 372494 230 | 0.000 % |
549.13/549.44 c | 374359 | 13647 58381 177232 | 2147483647 374359 230 | 0.000 % |
554.03/554.36 c | 376408 | 13647 58381 177232 | 2147483647 376408 230 | 0.000 % |
559.12/559.47 c | 378662 | 13647 58381 177232 | 2147483647 378662 230 | 0.000 % |
564.62/564.92 c | 381140 | 13647 58381 177232 | 2147483647 381140 230 | 0.000 % |
571.01/571.36 c | 383872 | 13647 58381 177232 | 2147483647 383872 231 | 0.000 % |
577.81/578.13 c | 386869 | 13647 58381 177232 | 2147483647 386869 231 | 0.000 % |
585.51/585.88 c | 390165 | 13647 58381 177232 | 2147483647 390165 232 | 0.000 % |
594.11/594.46 c | 393791 | 13647 58381 177232 | 2147483647 393791 232 | 0.000 % |
594.40/594.79 c | 393894 | 13647 58381 177232 | 2147483647 393894 232 | 0.000 % |
594.81/595.14 c | 394007 | 13647 58381 177232 | 2147483647 394007 232 | 0.000 % |
595.20/595.57 c | 394129 | 13647 58381 177232 | 2147483647 394129 232 | 0.000 % |
595.70/596.02 c | 394264 | 13647 58381 177232 | 2147483647 394264 232 | 0.000 % |
596.20/596.51 c | 394410 | 13647 58381 177232 | 2147483647 394410 232 | 0.000 % |
596.70/597.00 c | 394570 | 13647 58381 177232 | 2147483647 394570 232 | 0.000 % |
597.20/597.58 c | 394746 | 13647 58381 177232 | 2147483647 394746 232 | 0.000 % |
597.80/598.18 c | 394939 | 13647 58381 177232 | 2147483647 394939 232 | 0.000 % |
598.51/598.85 c | 395151 | 13647 58381 177232 | 2147483647 395151 232 | 0.000 % |
599.12/599.49 c | 395384 | 13647 58381 177232 | 2147483647 395384 232 | 0.000 % |
599.91/600.26 c | 395640 | 13647 58381 177232 | 2147483647 395640 232 | 0.000 % |
600.71/601.06 c | 395922 | 13647 58381 177232 | 2147483647 395922 232 | 0.000 % |
601.60/601.93 c | 396233 | 13647 58381 177232 | 2147483647 396233 232 | 0.000 % |
602.41/602.80 c | 396572 | 13647 58381 177232 | 2147483647 396572 232 | 0.000 % |
603.61/603.92 c | 396944 | 13647 58381 177232 | 2147483647 396944 232 | 0.000 % |
604.70/605.08 c | 397355 | 13647 58381 177232 | 2147483647 397355 232 | 0.000 % |
605.90/606.26 c | 397804 | 13647 58381 177232 | 2147483647 397804 232 | 0.000 % |
607.29/607.62 c | 398297 | 13647 58381 177232 | 2147483647 398297 232 | 0.000 % |
608.69/609.07 c | 398840 | 13647 58381 177232 | 2147483647 398840 232 | 0.000 % |
610.39/610.70 c | 399437 | 13647 58381 177232 | 2147483647 399437 232 | 0.000 % |
612.10/612.46 c | 400094 | 13647 58381 177232 | 2147483647 400094 232 | 0.000 % |
614.09/614.49 c | 400814 | 13647 58381 177232 | 2147483647 400814 232 | 0.000 % |
616.19/616.57 c | 401608 | 13647 58381 177232 | 2147483647 401608 232 | 0.000 % |
618.50/618.81 c | 402479 | 13647 58381 177232 | 2147483647 402479 232 | 0.000 % |
620.80/621.19 c | 403437 | 13647 58381 177232 | 2147483647 403437 232 | 0.000 % |
623.60/623.99 c | 404491 | 13647 58381 177232 | 2147483647 404491 232 | 0.000 % |
626.59/626.93 c | 405651 | 13647 58381 177232 | 2147483647 405651 232 | 0.000 % |
629.90/630.23 c | 406926 | 13647 58381 177232 | 2147483647 406926 232 | 0.000 % |
633.39/633.70 c | 408326 | 13647 58381 177232 | 2147483647 408326 232 | 0.000 % |
637.19/637.51 c | 409866 | 13647 58381 177232 | 2147483647 409866 232 | 0.000 % |
641.29/641.62 c | 411561 | 13647 58381 177232 | 2147483647 411561 232 | 0.000 % |
646.08/646.44 c | 413428 | 13647 58381 177232 | 2147483647 413428 232 | 0.000 % |
651.18/651.50 c | 415478 | 13647 58381 177232 | 2147483647 415478 232 | 0.000 % |
656.58/656.92 c | 417733 | 13647 58381 177232 | 2147483647 417733 232 | 0.000 % |
662.57/662.94 c | 420212 | 13647 58381 177232 | 2147483647 420212 233 | 0.000 % |
669.48/669.87 c | 422937 | 13647 58381 177232 | 2147483647 422937 233 | 0.000 % |
676.97/677.33 c | 425934 | 13647 58381 177232 | 2147483647 425934 233 | 0.000 % |
684.98/685.37 c | 429230 | 13647 58381 177232 | 2147483647 429230 233 | 0.000 % |
693.97/694.35 c | 432857 | 13647 58381 177232 | 2147483647 432857 234 | 0.000 % |
703.96/704.37 c | 436844 | 13647 58381 177232 | 2147483647 436844 234 | 0.000 % |
704.26/704.68 c | 436945 | 13647 58381 177232 | 2147483647 436945 234 | 0.000 % |
704.66/705.06 c | 437055 | 13647 58381 177232 | 2147483647 437055 234 | 0.000 % |
705.16/705.54 c | 437178 | 13647 58381 177232 | 2147483647 437178 234 | 0.000 % |
705.66/706.04 c | 437312 | 13647 58381 177232 | 2147483647 437312 234 | 0.000 % |
706.16/706.51 c | 437460 | 13647 58381 177232 | 2147483647 437460 234 | 0.000 % |
706.66/707.05 c | 437620 | 13647 58381 177232 | 2147483647 437620 234 | 0.000 % |
707.27/707.60 c | 437796 | 13647 58381 177232 | 2147483647 437796 234 | 0.000 % |
707.87/708.23 c | 437989 | 13647 58381 177232 | 2147483647 437989 234 | 0.000 % |
708.47/708.80 c | 438201 | 13647 58381 177232 | 2147483647 438201 234 | 0.000 % |
709.17/709.58 c | 438434 | 13647 58381 177232 | 2147483647 438434 234 | 0.000 % |
709.96/710.39 c | 438691 | 13647 58381 177232 | 2147483647 438691 234 | 0.000 % |
710.86/711.23 c | 438972 | 13647 58381 177232 | 2147483647 438972 234 | 0.000 % |
711.86/712.20 c | 439281 | 13647 58381 177232 | 2147483647 439281 234 | 0.000 % |
712.76/713.19 c | 439620 | 13647 58381 177232 | 2147483647 439620 234 | 0.000 % |
713.96/714.37 c | 439992 | 13647 58381 177232 | 2147483647 439992 234 | 0.000 % |
715.25/715.61 c | 440402 | 13647 58381 177232 | 2147483647 440402 234 | 0.000 % |
716.56/716.93 c | 440851 | 13647 58381 177232 | 2147483647 440851 234 | 0.000 % |
718.06/718.43 c | 441345 | 13647 58381 177232 | 2147483647 441345 234 | 0.000 % |
719.66/720.05 c | 441888 | 13647 58381 177232 | 2147483647 441888 234 | 0.000 % |
721.26/721.65 c | 442484 | 13647 58381 177232 | 2147483647 442484 234 | 0.000 % |
722.95/723.31 c | 443139 | 13647 58381 177232 | 2147483647 443139 234 | 0.000 % |
724.96/725.31 c | 443859 | 13647 58381 177232 | 2147483647 443859 234 | 0.000 % |
727.06/727.41 c | 444655 | 13647 58381 177232 | 2147483647 444655 234 | 0.000 % |
729.46/729.85 c | 445529 | 13647 58381 177232 | 2147483647 445529 234 | 0.000 % |
732.16/732.54 c | 446487 | 13647 58381 177232 | 2147483647 446487 234 | 0.000 % |
734.96/735.38 c | 447541 | 13647 58381 177232 | 2147483647 447541 234 | 0.000 % |
738.25/738.69 c | 448699 | 13647 58381 177232 | 2147483647 448699 234 | 0.000 % |
741.85/742.27 c | 449972 | 13647 58381 177232 | 2147483647 449972 234 | 0.000 % |
745.75/746.12 c | 451372 | 13647 58381 177232 | 2147483647 451372 234 | 0.000 % |
749.95/750.39 c | 452912 | 13647 58381 177232 | 2147483647 452912 234 | 0.000 % |
754.74/755.19 c | 454606 | 13647 58381 177232 | 2147483647 454606 234 | 0.000 % |
759.64/760.05 c | 456469 | 13647 58381 177232 | 2147483647 456469 234 | 0.000 % |
765.04/765.46 c | 458518 | 13647 58381 177232 | 2147483647 458518 234 | 0.000 % |
771.44/771.85 c | 460771 | 13647 58381 177232 | 2147483647 460771 234 | 0.000 % |
778.14/778.58 c | 463249 | 13647 58381 177232 | 2147483647 463249 234 | 0.000 % |
785.23/785.64 c | 465974 | 13647 58381 177232 | 2147483647 465974 235 | 0.000 % |
793.03/793.49 c | 468971 | 13647 58381 177232 | 2147483647 468971 235 | 0.000 % |
802.13/802.58 c | 472270 | 13647 58381 177232 | 2147483647 472270 235 | 0.000 % |
811.93/812.30 c | 475896 | 13647 58381 177232 | 2147483647 475896 235 | 0.000 % |
822.33/822.76 c | 479883 | 13647 58381 177232 | 2147483647 479883 236 | 0.000 % |
834.30/834.73 c | 484270 | 13647 58381 177232 | 2147483647 484270 236 | 0.000 % |
834.60/835.06 c | 484370 | 13647 58381 177232 | 2147483647 484370 236 | 0.000 % |
835.10/835.50 c | 484482 | 13647 58381 177232 | 2147483647 484482 236 | 0.000 % |
835.51/835.99 c | 484603 | 13647 58381 177232 | 2147483647 484603 236 | 0.000 % |
836.00/836.46 c | 484737 | 13647 58381 177232 | 2147483647 484737 236 | 0.000 % |
836.50/836.97 c | 484884 | 13647 58381 177232 | 2147483647 484884 236 | 0.000 % |
837.10/837.59 c | 485044 | 13647 58381 177232 | 2147483647 485044 236 | 0.000 % |
837.81/838.29 c | 485221 | 13647 58381 177232 | 2147483647 485221 236 | 0.000 % |
838.60/839.04 c | 485414 | 13647 58381 177232 | 2147483647 485414 236 | 0.000 % |
839.40/839.81 c | 485629 | 13647 58381 177232 | 2147483647 485629 236 | 0.000 % |
840.20/840.63 c | 485865 | 13647 58381 177232 | 2147483647 485865 236 | 0.000 % |
841.00/841.49 c | 486121 | 13647 58381 177232 | 2147483647 486121 236 | 0.000 % |
842.00/842.40 c | 486402 | 13647 58381 177232 | 2147483647 486402 236 | 0.000 % |
843.00/843.47 c | 486711 | 13647 58381 177232 | 2147483647 486711 236 | 0.000 % |
844.09/844.56 c | 487052 | 13647 58381 177232 | 2147483647 487052 236 | 0.000 % |
845.50/845.99 c | 487425 | 13647 58381 177232 | 2147483647 487425 236 | 0.000 % |
846.90/847.34 c | 487835 | 13647 58381 177232 | 2147483647 487835 236 | 0.000 % |
848.20/848.67 c | 488284 | 13647 58381 177232 | 2147483647 488284 236 | 0.000 % |
849.90/850.38 c | 488777 | 13647 58381 177232 | 2147483647 488777 236 | 0.000 % |
851.59/852.07 c | 489319 | 13647 58381 177232 | 2147483647 489319 236 | 0.000 % |
853.49/853.96 c | 489915 | 13647 58381 177232 | 2147483647 489915 236 | 0.000 % |
855.69/856.11 c | 490570 | 13647 58381 177232 | 2147483647 490570 236 | 0.000 % |
857.99/858.40 c | 491292 | 13647 58381 177232 | 2147483647 491292 236 | 0.000 % |
860.39/860.82 c | 492084 | 13647 58381 177232 | 2147483647 492084 236 | 0.000 % |
862.99/863.42 c | 492955 | 13647 58381 177232 | 2147483647 492955 236 | 0.000 % |
865.79/866.25 c | 493913 | 13647 58381 177232 | 2147483647 493913 236 | 0.000 % |
869.10/869.56 c | 494967 | 13647 58381 177232 | 2147483647 494967 236 | 0.000 % |
872.68/873.20 c | 496128 | 13647 58381 177232 | 2147483647 496128 236 | 0.000 % |
876.57/877.06 c | 497402 | 13647 58381 177232 | 2147483647 497402 236 | 0.000 % |
880.68/881.18 c | 498802 | 13647 58381 177232 | 2147483647 498802 236 | 0.000 % |
885.27/885.74 c | 500343 | 13647 58381 177232 | 2147483647 500343 236 | 0.000 % |
890.58/891.03 c | 502037 | 13647 58381 177232 | 2147483647 502037 236 | 0.000 % |
896.57/897.02 c | 503900 | 13647 58381 177232 | 2147483647 503900 236 | 0.000 % |
902.37/902.86 c | 505949 | 13647 58381 177232 | 2147483647 505949 236 | 0.000 % |
908.96/909.42 c | 508202 | 13647 58381 177232 | 2147483647 508202 236 | 0.000 % |
916.16/916.63 c | 510682 | 13647 58381 177232 | 2147483647 510682 236 | 0.000 % |
923.96/924.40 c | 513409 | 13647 58381 177232 | 2147483647 513409 236 | 0.000 % |
932.45/932.95 c | 516406 | 13647 58381 177232 | 2147483647 516406 237 | 0.000 % |
942.45/942.92 c | 519702 | 13647 58381 177232 | 2147483647 519702 237 | 0.000 % |
952.75/953.21 c | 523327 | 13647 58381 177232 | 2147483647 523327 237 | 0.000 % |
964.74/965.20 c | 527316 | 13647 58381 177232 | 2147483647 527316 237 | 0.000 % |
977.14/977.68 c | 531702 | 13647 58381 177232 | 2147483647 531702 238 | 0.000 % |
991.63/992.17 c | 536525 | 13647 58381 177232 | 2147483647 536525 238 | 0.000 % |
992.13/992.68 c | 536625 | 13647 58381 177232 | 2147483647 536625 238 | 0.000 % |
992.63/993.14 c | 536735 | 13647 58381 177232 | 2147483647 536735 238 | 0.000 % |
993.13/993.67 c | 536857 | 13647 58381 177232 | 2147483647 536857 238 | 0.000 % |
993.73/994.23 c | 536992 | 13647 58381 177232 | 2147483647 536992 238 | 0.000 % |
994.43/994.90 c | 537138 | 13647 58381 177232 | 2147483647 537138 238 | 0.000 % |
995.04/995.53 c | 537298 | 13647 58381 177232 | 2147483647 537298 238 | 0.000 % |
995.74/996.20 c | 537474 | 13647 58381 177232 | 2147483647 537474 238 | 0.000 % |
996.44/996.98 c | 537669 | 13647 58381 177232 | 2147483647 537669 238 | 0.000 % |
997.24/997.74 c | 537884 | 13647 58381 177232 | 2147483647 537884 238 | 0.000 % |
998.13/998.60 c | 538117 | 13647 58381 177232 | 2147483647 538117 238 | 0.000 % |
999.03/999.55 c | 538373 | 13647 58381 177232 | 2147483647 538373 238 | 0.000 % |
1000.13/1000.70 c | 538656 | 13647 58381 177232 | 2147483647 538656 238 | 0.000 % |
1001.33/1001.83 c | 538965 | 13647 58381 177232 | 2147483647 538965 238 | 0.000 % |
1002.53/1003.01 c | 539304 | 13647 58381 177232 | 2147483647 539304 238 | 0.000 % |
1003.84/1004.37 c | 539676 | 13647 58381 177232 | 2147483647 539676 238 | 0.000 % |
1005.23/1005.77 c | 540086 | 13647 58381 177232 | 2147483647 540086 238 | 0.000 % |
1006.92/1007.43 c | 540536 | 13647 58381 177232 | 2147483647 540536 238 | 0.000 % |
1008.62/1009.19 c | 541029 | 13647 58381 177232 | 2147483647 541029 237 | 0.000 % |
1010.62/1011.17 c | 541571 | 13647 58381 177232 | 2147483647 541571 238 | 0.000 % |
1012.83/1013.34 c | 542167 | 13647 58381 177232 | 2147483647 542167 238 | 0.000 % |
1015.12/1015.61 c | 542822 | 13647 58381 177232 | 2147483647 542822 238 | 0.000 % |
1017.42/1017.91 c | 543543 | 13647 58381 177232 | 2147483647 543543 237 | 0.000 % |
1020.23/1020.78 c | 544335 | 13647 58381 177232 | 2147483647 544335 237 | 0.000 % |
1023.12/1023.68 c | 545207 | 13647 58381 177232 | 2147483647 545207 237 | 0.000 % |
1026.22/1026.73 c | 546166 | 13647 58381 177232 | 2147483647 546166 237 | 0.000 % |
1029.62/1030.13 c | 547220 | 13647 58381 177232 | 2147483647 547220 237 | 0.000 % |
1033.32/1033.90 c | 548378 | 13647 58381 177232 | 2147483647 548378 237 | 0.000 % |
1037.51/1038.07 c | 549653 | 13647 58381 177232 | 2147483647 549653 237 | 0.000 % |
1042.11/1042.70 c | 551053 | 13647 58381 177232 | 2147483647 551053 237 | 0.000 % |
1047.12/1047.60 c | 552596 | 13647 58381 177232 | 2147483647 552596 237 | 0.000 % |
1052.30/1052.85 c | 554290 | 13647 58381 177232 | 2147483647 554290 238 | 0.000 % |
1058.50/1059.05 c | 556153 | 13647 58381 177232 | 2147483647 556153 238 | 0.000 % |
1064.91/1065.49 c | 558202 | 13647 58381 177232 | 2147483647 558202 238 | 0.000 % |
1071.70/1072.20 c | 560455 | 13647 58381 177232 | 2147483647 560455 238 | 0.000 % |
1079.50/1080.06 c | 562933 | 13647 58381 177232 | 2147483647 562933 238 | 0.000 % |
1088.50/1089.00 c | 565658 | 13647 58381 177232 | 2147483647 565658 238 | 0.000 % |
1097.89/1098.42 c | 568657 | 13647 58381 177232 | 2147483647 568657 238 | 0.000 % |
1107.79/1108.37 c | 571953 | 13647 58381 177232 | 2147483647 571953 238 | 0.000 % |
1119.19/1119.73 c | 575578 | 13647 58381 177232 | 2147483647 575578 238 | 0.000 % |
1131.88/1132.48 c | 579566 | 13647 58381 177232 | 2147483647 579566 238 | 0.000 % |
1146.47/1147.09 c | 583952 | 13647 58381 177232 | 2147483647 583952 239 | 0.000 % |
1161.86/1162.49 c | 588778 | 13647 58381 177232 | 2147483647 588778 239 | 0.000 % |
1179.46/1180.01 c | 594083 | 13647 58381 177232 | 2147483647 594083 239 | 0.000 % |
1180.06/1180.61 c | 594184 | 13647 58381 177232 | 2147483647 594184 239 | 0.000 % |
1180.56/1181.18 c | 594296 | 13647 58381 177232 | 2147483647 594296 239 | 0.000 % |
1181.16/1181.70 c | 594417 | 13647 58381 177232 | 2147483647 594417 239 | 0.000 % |
1181.76/1182.31 c | 594550 | 13647 58381 177232 | 2147483647 594550 239 | 0.000 % |
1182.46/1183.08 c | 594698 | 13647 58381 177232 | 2147483647 594698 239 | 0.000 % |
1183.16/1183.79 c | 594858 | 13647 58381 177232 | 2147483647 594858 239 | 0.000 % |
1183.96/1184.53 c | 595035 | 13647 58381 177232 | 2147483647 595035 239 | 0.000 % |
1184.86/1185.46 c | 595228 | 13647 58381 177232 | 2147483647 595228 239 | 0.000 % |
1185.85/1186.47 c | 595440 | 13647 58381 177232 | 2147483647 595440 239 | 0.000 % |
1186.85/1187.46 c | 595675 | 13647 58381 177232 | 2147483647 595675 239 | 0.000 % |
1187.96/1188.58 c | 595931 | 13647 58381 177232 | 2147483647 595931 239 | 0.000 % |
1189.16/1189.78 c | 596212 | 13647 58381 177232 | 2147483647 596212 239 | 0.000 % |
1190.36/1190.97 c | 596521 | 13647 58381 177232 | 2147483647 596521 239 | 0.000 % |
1191.86/1192.47 c | 596862 | 13647 58381 177232 | 2147483647 596862 239 | 0.000 % |
1193.45/1194.00 c | 597234 | 13647 58381 177232 | 2147483647 597234 239 | 0.000 % |
1195.05/1195.67 c | 597645 | 13647 58381 177232 | 2147483647 597645 239 | 0.000 % |
1196.75/1197.37 c | 598096 | 13647 58381 177232 | 2147483647 598096 239 | 0.000 % |
1198.65/1199.27 c | 598591 | 13647 58381 177232 | 2147483647 598591 239 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832733-1242787142/watcher-1832733-1242787142 -o /tmp/evaluation-result-1832733-1242787142/solver-1832733-1242787142 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832733-1242787142.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7088
/proc/meminfo: memFree=1823144/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0
/proc/7088/stat : 7088 (SatELiteGTI) R 7086 7088 6445 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306747646 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 245482318323 0 0 4100 65536 0 0 0 17 0 0 0
/proc/7088/statm: 1339 237 197 169 0 50 0
[startup+0.0886349 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7088
/proc/meminfo: memFree=1823144/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306747646 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7088/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101636 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7088
/proc/meminfo: memFree=1823144/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306747646 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7088/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301665 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7088
/proc/meminfo: memFree=1823144/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 5356
[startup+0.70271 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7088
/proc/meminfo: memFree=1823144/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 5356
[startup+1.50278 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7094
/proc/meminfo: memFree=1815832/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=7404 CPUtime=1.23
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 1734 0 0 0 123 0 0 0 25 0 1 0 306747672 7581696 1720 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 1851 1720 77 171 0 1678 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12760
[startup+3.10194 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7094
/proc/meminfo: memFree=1813976/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=10048 CPUtime=2.83
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 2390 0 0 0 281 2 0 0 25 0 1 0 306747672 10289152 2376 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 2512 2376 77 171 0 2339 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15404
[startup+6.30127 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7094
/proc/meminfo: memFree=1808728/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=14932 CPUtime=6.03
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 3598 0 0 0 600 3 0 0 25 0 1 0 306747672 15290368 3584 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 3733 3584 77 171 0 3560 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20288
[startup+12.7019 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7094
/proc/meminfo: memFree=1799320/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=23852 CPUtime=12.42
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 5847 0 0 0 1237 5 0 0 25 0 1 0 306747672 24424448 5833 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 5963 5833 77 171 0 5790 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 29208
[startup+25.5012 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7094
/proc/meminfo: memFree=1782104/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=40596 CPUtime=25.21
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 9992 0 0 0 2511 10 0 0 25 0 1 0 306747672 41570304 9978 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 10149 9978 77 171 0 9976 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 45952
[startup+51.1018 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7094
/proc/meminfo: memFree=1755608/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=67128 CPUtime=50.79
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 16634 0 0 0 5061 18 0 0 25 0 1 0 306747672 68739072 16620 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 16782 16620 77 171 0 16609 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 72484
[startup+102.307 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7094
/proc/meminfo: memFree=1710168/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=111800 CPUtime=101.97
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 27823 0 0 0 10166 31 0 0 25 0 1 0 306747672 114483200 27809 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 27950 27809 77 171 0 27777 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 117156
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7094
/proc/meminfo: memFree=1665560/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=156824 CPUtime=161.94
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 39032 0 0 0 16152 42 0 0 25 0 1 0 306747672 160587776 39018 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 39206 39018 77 171 0 39033 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 162180
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7096
/proc/meminfo: memFree=1625880/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=195912 CPUtime=221.92
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 48753 0 0 0 22138 54 0 0 25 0 1 0 306747672 200613888 48739 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 48978 48739 77 171 0 48805 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 201268
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7096
/proc/meminfo: memFree=1592024/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=230112 CPUtime=281.9
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 57336 0 0 0 28127 63 0 0 25 0 1 0 306747672 235634688 57322 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 57528 57322 77 171 0 57355 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 235468
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7096
/proc/meminfo: memFree=1559256/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=262188 CPUtime=341.87
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 65396 0 0 0 34113 74 0 0 25 0 1 0 306747672 268480512 65382 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 65547 65382 77 171 0 65374 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 267544
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7096
/proc/meminfo: memFree=1529816/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=291636 CPUtime=401.84
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 72784 0 0 0 40104 80 0 0 25 0 1 0 306747672 298635264 72770 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 72909 72770 77 171 0 72736 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 296992
[startup+462.302 s]
################
# More data... #
################
/proc/7094/statm: 86328 86089 77 171 0 86155 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 350668
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7096
/proc/meminfo: memFree=1448216/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=373036 CPUtime=581.77
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 93056 0 0 0 58075 102 0 0 25 0 1 0 306747672 381988864 93042 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 93259 93042 77 171 0 93086 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 378392
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7096
/proc/meminfo: memFree=1425048/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=395740 CPUtime=641.75
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 98749 0 0 0 64067 108 0 0 25 0 1 0 306747672 405237760 98735 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 98935 98735 77 171 0 98762 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 401096
[startup+702.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7096
/proc/meminfo: memFree=1398424/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=422404 CPUtime=701.72
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 105464 0 0 0 70055 117 0 0 25 0 1 0 306747672 432541696 105450 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 105601 105450 77 171 0 105428 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 427760
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7096
/proc/meminfo: memFree=1378008/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=442340 CPUtime=761.71
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 110443 0 0 0 76048 123 0 0 25 0 1 0 306747672 452956160 110429 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 110585 110429 77 171 0 110412 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 447696
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7096
/proc/meminfo: memFree=1352984/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=468468 CPUtime=821.69
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 116785 0 0 0 82038 131 0 0 25 0 1 0 306747672 479711232 116771 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 117117 116771 77 171 0 116944 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 473824
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7096
/proc/meminfo: memFree=1333784/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=487080 CPUtime=881.63
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 121440 0 0 0 88027 136 0 0 25 0 1 0 306747672 498769920 121426 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 121770 121426 77 171 0 121597 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 492436
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7096
/proc/meminfo: memFree=1313048/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=507808 CPUtime=941.61
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 126663 0 0 0 94019 142 0 0 25 0 1 0 306747672 519995392 126649 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 126952 126649 77 171 0 126779 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 513164
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7096
/proc/meminfo: memFree=1291992/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=528536 CPUtime=1001.59
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 131852 0 0 0 100011 148 0 0 25 0 1 0 306747672 541220864 131838 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 132134 131838 77 171 0 131961 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 533892
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7096
/proc/meminfo: memFree=1274584/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=545828 CPUtime=1061.56
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 136205 0 0 0 106004 152 0 0 25 0 1 0 306747672 558927872 136191 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 136457 136192 77 171 0 136284 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 551184
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7096
/proc/meminfo: memFree=1254360/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=565760 CPUtime=1121.55
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 141199 0 0 0 111996 159 0 0 25 0 1 0 306747672 579338240 141185 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 141440 141185 77 171 0 141267 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 571116
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7096
/proc/meminfo: memFree=1234328/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=585692 CPUtime=1181.52
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 146205 0 0 0 117987 165 0 0 25 0 1 0 306747672 599748608 146191 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 146423 146191 77 171 0 146250 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 591048
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7096
/proc/meminfo: memFree=1230424/2055920 swapFree=4179960/4192956
[pid=7088] ppid=7086 vsize=5356 CPUtime=0.24
/proc/7088/stat : 7088 (SatELiteGTI) S 7086 7088 6445 0 -1 4194304 336 2065 0 0 0 0 23 1 16 0 1 0 306747646 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7088/statm: 1339 239 197 169 0 50 0
[pid=7094] ppid=7088 vsize=589388 CPUtime=1199.81
/proc/7094/stat : 7094 (minisat_static) R 7088 7088 6445 0 -1 4194304 147112 0 0 0 119815 166 0 0 25 0 1 0 306747672 603533312 147098 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 147347 147098 77 171 0 147174 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 594744
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)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7088 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=235964
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=20996
# CPU time returned by wait4() is 0.25696
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.05
CPU user time (s): 1198.38
CPU system time (s): 1.67
CPU usage (%): 99.9532
Max. virtual memory (cumulated for all children) (KiB): 594744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.235964
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2401
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= 12
involuntary context switches= 8
runsolver used 1.13683 second user time and 3.3035 second system time
The end
Begin job on node17 at 2009-05-20 04:39:03
IDJOB=1832733
IDBENCH=70330
IDSOLVER=671
FILE ID=node17/1832733-1242787142
PBS_JOBID= 9322325
Free space on /tmp= 66456 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/14000/unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832733-1242787142/watcher-1832733-1242787142 -o /tmp/evaluation-result-1832733-1242787142/solver-1832733-1242787142 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832733-1242787142.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 96ac67354b2d4edc2a83b4892dd0ca62
RANDOM SEED=615801150
node17.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.234
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.234
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: 1823688 kB
Buffers: 32964 kB
Cached: 130388 kB
SwapCached: 7328 kB
Active: 35112 kB
Inactive: 137240 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1823688 kB
SwapTotal: 4192956 kB
SwapFree: 4179960 kB
Dirty: 2684 kB
Writeback: 0 kB
Mapped: 14076 kB
Slab: 45908 kB
Committed_AS: 1019592 kB
PageTables: 1456 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= 66452 MiB
End job on node17 at 2009-05-20 04:59:05