0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 58800 176400 | 17639 0 0 nan | 0.000 % |
0.00/0.21 c | 0 | 58370 177327 | -- 0 -- -- | -- | -430/927
0.00/0.21 c ==============================================================================
0.00/0.21 c Result : #vars: 13633 #clauses: 58370 #literals: 177327
0.00/0.21 c CPU time: 0.197969 s
0.00/0.21 c ==============================================================================
0.00/0.27 c This is MiniSat 2.0 beta
0.00/0.27 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.28 c ============================[ Problem Statistics ]=============================
0.00/0.28 c | |
0.00/0.28 c | Number of variables: 13633 |
0.00/0.28 c | Number of clauses: 58370 |
0.26/0.32 c | Parsing time: 0.04 s |
0.26/0.32 c ============================[ Search Statistics ]==============================
0.26/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.26/0.32 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.26/0.32 c ===============================================================================
0.26/0.32 c | 0 | 13633 58370 177327 | 19456 0 nan | 0.000 % |
0.26/0.37 c | 100 | 13633 58370 177327 | 19456 100 167 | 0.000 % |
0.26/0.41 c | 200 | 13633 58370 177327 | 19456 200 168 | 0.000 % |
0.26/0.45 c | 300 | 13633 58370 177327 | 19456 300 178 | 0.000 % |
0.26/0.50 c | 410 | 13633 58370 177327 | 19456 410 168 | 0.000 % |
0.26/0.55 c | 510 | 13633 58370 177327 | 19456 510 165 | 0.000 % |
0.26/0.60 c | 622 | 13633 58370 177327 | 19456 622 167 | 0.000 % |
0.26/0.65 c | 745 | 13633 58370 177327 | 19456 745 166 | 0.000 % |
0.26/0.69 c | 845 | 13633 58370 177327 | 19456 845 173 | 0.000 % |
0.26/0.74 c | 955 | 13633 58370 177327 | 19456 955 176 | 0.000 % |
0.26/0.79 c | 1076 | 13633 58370 177327 | 19456 1076 174 | 0.000 % |
0.26/0.85 c | 1213 | 13633 58370 177327 | 19456 1213 175 | 0.000 % |
0.26/0.90 c | 1313 | 13633 58370 177327 | 19456 1313 174 | 0.000 % |
0.26/0.94 c | 1424 | 13633 58370 177327 | 19456 1424 174 | 0.000 % |
0.26/0.99 c | 1545 | 13633 58370 177327 | 19456 1545 176 | 0.000 % |
0.97/1.05 c | 1679 | 13633 58370 177327 | 19456 1679 176 | 0.000 % |
1.07/1.12 c | 1825 | 13633 58370 177327 | 19456 1825 175 | 0.000 % |
1.07/1.17 c | 1925 | 13633 58370 177327 | 19456 1925 174 | 0.000 % |
1.16/1.22 c | 2035 | 13633 58370 177327 | 19456 2035 176 | 0.000 % |
1.16/1.28 c | 2156 | 13633 58370 177327 | 19456 2156 177 | 0.000 % |
1.26/1.34 c | 2289 | 13633 58370 177327 | 19456 2289 178 | 0.000 % |
1.36/1.40 c | 2435 | 13633 58370 177327 | 19456 2435 176 | 0.000 % |
1.36/1.47 c | 2597 | 13633 58370 177327 | 19456 2597 176 | 0.000 % |
1.46/1.52 c | 2697 | 13633 58370 177327 | 19456 2697 178 | 0.000 % |
1.46/1.57 c | 2807 | 13633 58370 177327 | 19456 2807 178 | 0.000 % |
1.56/1.63 c | 2928 | 13633 58370 177327 | 19456 2928 177 | 0.000 % |
1.56/1.69 c | 3062 | 13633 58370 177327 | 19456 3062 178 | 0.000 % |
1.66/1.76 c | 3209 | 13633 58370 177327 | 19456 3209 178 | 0.000 % |
1.76/1.84 c | 3369 | 13633 58370 177327 | 19456 3369 179 | 0.000 % |
1.86/1.92 c | 3545 | 13633 58370 177327 | 19456 3545 178 | 0.000 % |
1.86/1.97 c | 3645 | 13633 58370 177327 | 19456 3645 179 | 0.000 % |
1.96/2.02 c | 3755 | 13633 58370 177327 | 19456 3755 179 | 0.000 % |
1.96/2.09 c | 3878 | 13633 58370 177327 | 19456 3878 177 | 0.000 % |
2.07/2.15 c | 4011 | 13633 58370 177327 | 19456 4011 177 | 0.000 % |
2.18/2.22 c | 4158 | 13633 58370 177327 | 19456 4158 176 | 0.000 % |
2.18/2.29 c | 4320 | 13633 58370 177327 | 19456 4320 176 | 0.000 % |
2.27/2.38 c | 4497 | 13633 58370 177327 | 19456 4497 176 | 0.000 % |
2.37/2.48 c | 4693 | 13633 58370 177327 | 19456 4693 177 | 0.000 % |
2.47/2.53 c | 4794 | 13633 58370 177327 | 19456 4794 177 | 0.000 % |
2.47/2.58 c | 4904 | 13633 58370 177327 | 19456 4904 177 | 0.000 % |
2.57/2.65 c | 5025 | 13633 58370 177327 | 19456 5025 176 | 0.000 % |
2.67/2.71 c | 5158 | 13633 58370 177327 | 19456 5158 176 | 0.000 % |
2.67/2.78 c | 5310 | 13633 58370 177327 | 19456 5310 175 | 0.000 % |
2.77/2.86 c | 5470 | 13633 58370 177327 | 19456 5470 174 | 0.000 % |
2.87/2.95 c | 5648 | 13633 58370 177327 | 19456 5648 174 | 0.000 % |
2.97/3.04 c | 5841 | 13633 58370 177327 | 19456 5841 175 | 0.000 % |
3.07/3.15 c | 6053 | 13633 58370 177327 | 19456 6053 175 | 0.000 % |
3.07/3.20 c | 6156 | 13633 58370 177327 | 19456 6156 176 | 0.000 % |
3.17/3.25 c | 6266 | 13633 58370 177327 | 19456 6266 176 | 0.000 % |
3.27/3.31 c | 6388 | 13633 58370 177327 | 19456 6388 176 | 0.000 % |
3.27/3.37 c | 6521 | 13633 58370 177327 | 19456 6521 176 | 0.000 % |
3.37/3.44 c | 6668 | 13633 58370 177327 | 19456 6668 175 | 0.000 % |
3.47/3.53 c | 6828 | 13633 58370 177327 | 19456 6828 177 | 0.000 % |
3.57/3.61 c | 7004 | 13633 58370 177327 | 19456 7004 176 | 0.000 % |
3.67/3.71 c | 7199 | 13633 58370 177327 | 19456 7199 175 | 0.000 % |
3.77/3.81 c | 7413 | 13633 58370 177327 | 19456 7413 176 | 0.000 % |
3.87/3.94 c | 7648 | 13633 58370 177327 | 19456 7648 177 | 0.000 % |
3.87/3.99 c | 7750 | 13633 58370 177327 | 19456 7750 177 | 0.000 % |
3.97/4.05 c | 7861 | 13633 58370 177327 | 19456 7861 177 | 0.000 % |
4.07/4.11 c | 7984 | 13633 58370 177327 | 19456 7984 176 | 0.000 % |
4.07/4.18 c | 8119 | 13633 58370 177327 | 19456 8119 176 | 0.000 % |
4.16/4.26 c | 8265 | 13633 58370 177327 | 19456 8265 176 | 0.000 % |
4.27/4.34 c | 8426 | 13633 58370 177327 | 19456 8426 176 | 0.000 % |
4.37/4.44 c | 8603 | 13633 58370 177327 | 19456 8603 175 | 0.000 % |
4.46/4.54 c | 8796 | 13633 58370 177327 | 19456 8796 176 | 0.000 % |
4.56/4.65 c | 9008 | 13633 58370 177327 | 19456 9008 176 | 0.000 % |
4.66/4.78 c | 9241 | 13633 58370 177327 | 19456 9241 177 | 0.000 % |
4.86/4.91 c | 9498 | 13633 58370 177327 | 19456 9498 178 | 0.000 % |
4.86/4.97 c | 9598 | 13633 58370 177327 | 19456 9598 178 | 0.000 % |
4.96/5.04 c | 9710 | 13633 58370 177327 | 19456 9710 178 | 0.000 % |
5.06/5.10 c | 9832 | 13633 58370 177327 | 19456 9832 179 | 0.000 % |
5.06/5.17 c | 9965 | 13633 58370 177327 | 19456 9965 178 | 0.000 % |
5.16/5.25 c | 10112 | 13633 58370 177327 | 2147483647 10112 178 | 0.000 % |
5.26/5.34 c | 10274 | 13633 58370 177327 | 2147483647 10274 178 | 0.000 % |
5.37/5.43 c | 10454 | 13633 58370 177327 | 2147483647 10454 178 | 0.000 % |
5.46/5.54 c | 10651 | 13633 58370 177327 | 2147483647 10651 179 | 0.000 % |
5.56/5.66 c | 10863 | 13633 58370 177327 | 2147483647 10863 178 | 0.000 % |
5.66/5.78 c | 11096 | 13633 58370 177327 | 2147483647 11096 179 | 0.000 % |
5.86/5.92 c | 11352 | 13633 58370 177327 | 2147483647 11352 180 | 0.000 % |
5.96/6.08 c | 11634 | 13633 58370 177327 | 2147483647 11634 180 | 0.000 % |
6.06/6.13 c | 11734 | 13633 58370 177327 | 2147483647 11734 179 | 0.000 % |
6.06/6.19 c | 11844 | 13633 58370 177327 | 2147483647 11844 179 | 0.000 % |
6.16/6.26 c | 11968 | 13633 58370 177327 | 2147483647 11968 179 | 0.000 % |
6.26/6.33 c | 12101 | 13633 58370 177327 | 2147483647 12101 178 | 0.000 % |
6.37/6.40 c | 12247 | 13633 58370 177327 | 2147483647 12247 178 | 0.000 % |
6.37/6.50 c | 12407 | 13633 58370 177327 | 2147483647 12407 179 | 0.000 % |
6.47/6.58 c | 12583 | 13633 58370 177327 | 2147483647 12583 179 | 0.000 % |
6.66/6.70 c | 12776 | 13633 58370 177327 | 2147483647 12776 180 | 0.000 % |
6.76/6.81 c | 12988 | 13633 58370 177327 | 2147483647 12988 180 | 0.000 % |
6.86/6.94 c | 13221 | 13633 58370 177327 | 2147483647 13221 180 | 0.000 % |
6.96/7.07 c | 13479 | 13633 58370 177327 | 2147483647 13479 180 | 0.000 % |
7.16/7.22 c | 13763 | 13633 58370 177327 | 2147483647 13763 180 | 0.000 % |
7.36/7.41 c | 14072 | 13633 58370 177327 | 2147483647 14072 180 | 0.000 % |
7.36/7.46 c | 14172 | 13633 58370 177327 | 2147483647 14172 180 | 0.000 % |
7.46/7.52 c | 14283 | 13633 58370 177327 | 2147483647 14283 180 | 0.000 % |
7.46/7.60 c | 14405 | 13633 58370 177327 | 2147483647 14405 180 | 0.000 % |
7.56/7.67 c | 14539 | 13633 58370 177327 | 2147483647 14539 179 | 0.000 % |
7.66/7.76 c | 14685 | 13633 58370 177327 | 2147483647 14685 180 | 0.000 % |
7.75/7.85 c | 14846 | 13633 58370 177327 | 2147483647 14846 179 | 0.000 % |
7.86/7.95 c | 15023 | 13633 58370 177327 | 2147483647 15023 179 | 0.000 % |
7.96/8.05 c | 15216 | 13633 58370 177327 | 2147483647 15216 179 | 0.000 % |
8.06/8.17 c | 15428 | 13633 58370 177327 | 2147483647 15428 179 | 0.000 % |
8.26/8.30 c | 15664 | 13633 58370 177327 | 2147483647 15664 179 | 0.000 % |
8.36/8.44 c | 15920 | 13633 58370 177327 | 2147483647 15920 180 | 0.000 % |
8.56/8.60 c | 16202 | 13633 58370 177327 | 2147483647 16202 179 | 0.000 % |
8.66/8.77 c | 16511 | 13633 58370 177327 | 2147483647 16511 181 | 0.000 % |
8.86/8.94 c | 16850 | 13633 58370 177327 | 2147483647 16850 181 | 0.000 % |
8.96/9.01 c | 16952 | 13633 58370 177327 | 2147483647 16952 181 | 0.000 % |
8.96/9.08 c | 17062 | 13633 58370 177327 | 2147483647 17062 181 | 0.000 % |
9.06/9.15 c | 17184 | 13633 58370 177327 | 2147483647 17184 181 | 0.000 % |
9.15/9.23 c | 17319 | 13633 58370 177327 | 2147483647 17319 181 | 0.000 % |
9.25/9.32 c | 17466 | 13633 58370 177327 | 2147483647 17466 181 | 0.000 % |
9.35/9.40 c | 17626 | 13633 58370 177327 | 2147483647 17626 181 | 0.000 % |
9.45/9.51 c | 17804 | 13633 58370 177327 | 2147483647 17804 180 | 0.000 % |
9.55/9.60 c | 17997 | 13633 58370 177327 | 2147483647 17997 181 | 0.000 % |
9.65/9.73 c | 18210 | 13633 58370 177327 | 2147483647 18210 180 | 0.000 % |
9.75/9.86 c | 18447 | 13633 58370 177327 | 2147483647 18447 180 | 0.000 % |
9.96/10.01 c | 18707 | 13633 58370 177327 | 2147483647 18707 181 | 0.000 % |
10.06/10.16 c | 18988 | 13633 58370 177327 | 2147483647 18988 181 | 0.000 % |
10.26/10.34 c | 19298 | 13633 58370 177327 | 2147483647 19298 182 | 0.000 % |
10.46/10.53 c | 19638 | 13633 58370 177327 | 2147483647 19638 182 | 0.000 % |
10.65/10.74 c | 20012 | 13633 58370 177327 | 2147483647 20012 183 | 0.000 % |
10.75/10.80 c | 20113 | 13633 58370 177327 | 2147483647 20113 183 | 0.000 % |
10.75/10.87 c | 20224 | 13633 58370 177327 | 2147483647 20224 182 | 0.000 % |
10.86/10.94 c | 20345 | 13633 58370 177327 | 2147483647 20345 182 | 0.000 % |
10.96/11.02 c | 20478 | 13633 58370 177327 | 2147483647 20478 182 | 0.000 % |
11.05/11.11 c | 20627 | 13633 58370 177327 | 2147483647 20627 182 | 0.000 % |
11.15/11.21 c | 20787 | 13633 58370 177327 | 2147483647 20787 182 | 0.000 % |
11.25/11.32 c | 20964 | 13633 58370 177327 | 2147483647 20964 182 | 0.000 % |
11.35/11.45 c | 21160 | 13633 58370 177327 | 2147483647 21160 183 | 0.000 % |
11.45/11.58 c | 21374 | 13633 58370 177327 | 2147483647 21374 183 | 0.000 % |
11.66/11.73 c | 21608 | 13633 58370 177327 | 2147483647 21608 184 | 0.000 % |
11.76/11.87 c | 21864 | 13633 58370 177327 | 2147483647 21864 184 | 0.000 % |
11.96/12.04 c | 22145 | 13633 58370 177327 | 2147483647 22145 184 | 0.000 % |
12.15/12.21 c | 22455 | 13633 58370 177327 | 2147483647 22455 184 | 0.000 % |
12.35/12.41 c | 22794 | 13633 58370 177327 | 2147483647 22794 184 | 0.000 % |
12.55/12.63 c | 23168 | 13633 58370 177327 | 2147483647 23168 184 | 0.000 % |
12.75/12.88 c | 23578 | 13633 58370 177327 | 2147483647 23578 185 | 0.000 % |
12.85/12.94 c | 23678 | 13633 58370 177327 | 2147483647 23678 184 | 0.000 % |
12.95/13.02 c | 23791 | 13633 58370 177327 | 2147483647 23791 184 | 0.000 % |
13.05/13.10 c | 23913 | 13633 58370 177327 | 2147483647 23913 184 | 0.000 % |
13.05/13.18 c | 24046 | 13633 58370 177327 | 2147483647 24046 184 | 0.000 % |
13.15/13.29 c | 24192 | 13633 58370 177327 | 2147483647 24192 184 | 0.000 % |
13.25/13.39 c | 24354 | 13633 58370 177327 | 2147483647 24354 184 | 0.000 % |
13.35/13.50 c | 24530 | 13633 58370 177327 | 2147483647 24530 184 | 0.000 % |
13.55/13.62 c | 24725 | 13633 58370 177327 | 2147483647 24725 184 | 0.000 % |
13.65/13.76 c | 24940 | 13633 58370 177327 | 2147483647 24940 184 | 0.000 % |
13.85/13.91 c | 25173 | 13633 58370 177327 | 2147483647 25173 184 | 0.000 % |
13.95/14.05 c | 25432 | 13633 58370 177327 | 2147483647 25432 184 | 0.000 % |
14.15/14.22 c | 25713 | 13633 58370 177327 | 2147483647 25713 185 | 0.000 % |
14.35/14.40 c | 26023 | 13633 58370 177327 | 2147483647 26023 185 | 0.000 % |
14.55/14.61 c | 26364 | 13633 58370 177327 | 2147483647 26364 185 | 0.000 % |
14.74/14.84 c | 26737 | 13633 58370 177327 | 2147483647 26737 186 | 0.000 % |
15.05/15.10 c | 27147 | 13633 58370 177327 | 2147483647 27147 185 | 0.000 % |
15.26/15.38 c | 27596 | 13633 58370 177327 | 2147483647 27596 186 | 0.000 % |
15.35/15.46 c | 27696 | 13633 58370 177327 | 2147483647 27696 186 | 0.000 % |
15.45/15.53 c | 27807 | 13633 58370 177327 | 2147483647 27807 185 | 0.000 % |
15.55/15.61 c | 27929 | 13633 58370 177327 | 2147483647 27929 185 | 0.000 % |
15.65/15.70 c | 28062 | 13633 58370 177327 | 2147483647 28062 185 | 0.000 % |
15.75/15.80 c | 28209 | 13633 58370 177327 | 2147483647 28209 185 | 0.000 % |
15.85/15.92 c | 28370 | 13633 58370 177327 | 2147483647 28370 185 | 0.000 % |
15.95/16.03 c | 28546 | 13633 58370 177327 | 2147483647 28546 185 | 0.000 % |
16.05/16.16 c | 28739 | 13633 58370 177327 | 2147483647 28739 185 | 0.000 % |
16.15/16.29 c | 28952 | 13633 58370 177327 | 2147483647 28952 186 | 0.000 % |
16.35/16.43 c | 29185 | 13633 58370 177327 | 2147483647 29185 186 | 0.000 % |
16.45/16.59 c | 29441 | 13633 58370 177327 | 2147483647 29441 185 | 0.000 % |
16.65/16.77 c | 29723 | 13633 58370 177327 | 2147483647 29723 186 | 0.000 % |
16.84/16.97 c | 30033 | 13633 58370 177327 | 2147483647 30033 186 | 0.000 % |
17.04/17.19 c | 30372 | 13633 58370 177327 | 2147483647 30372 185 | 0.000 % |
17.34/17.43 c | 30744 | 13633 58370 177327 | 2147483647 30744 185 | 0.000 % |
17.55/17.70 c | 31154 | 13633 58370 177327 | 2147483647 31154 185 | 0.000 % |
17.85/17.99 c | 31603 | 13633 58370 177327 | 2147483647 31603 186 | 0.000 % |
18.25/18.32 c | 32099 | 13633 58370 177327 | 2147483647 32099 186 | 0.000 % |
18.25/18.39 c | 32199 | 13633 58370 177327 | 2147483647 32199 186 | 0.000 % |
18.35/18.47 c | 32310 | 13633 58370 177327 | 2147483647 32310 185 | 0.000 % |
18.45/18.56 c | 32434 | 13633 58370 177327 | 2147483647 32434 185 | 0.000 % |
18.55/18.65 c | 32567 | 13633 58370 177327 | 2147483647 32567 186 | 0.000 % |
18.65/18.75 c | 32713 | 13633 58370 177327 | 2147483647 32713 186 | 0.000 % |
18.75/18.86 c | 32874 | 13633 58370 177327 | 2147483647 32874 186 | 0.000 % |
18.85/18.98 c | 33050 | 13633 58370 177327 | 2147483647 33050 185 | 0.000 % |
19.05/19.11 c | 33243 | 13633 58370 177327 | 2147483647 33243 185 | 0.000 % |
19.14/19.26 c | 33456 | 13633 58370 177327 | 2147483647 33456 186 | 0.000 % |
19.34/19.42 c | 33689 | 13633 58370 177327 | 2147483647 33689 186 | 0.000 % |
19.44/19.59 c | 33945 | 13633 58370 177327 | 2147483647 33945 186 | 0.000 % |
19.65/19.79 c | 34227 | 13633 58370 177327 | 2147483647 34227 187 | 0.000 % |
19.84/19.99 c | 34536 | 13633 58370 177327 | 2147483647 34536 187 | 0.000 % |
20.14/20.21 c | 34876 | 13633 58370 177327 | 2147483647 34876 187 | 0.000 % |
20.35/20.43 c | 35248 | 13633 58370 177327 | 2147483647 35248 187 | 0.000 % |
20.65/20.72 c | 35657 | 13633 58370 177327 | 2147483647 35657 187 | 0.000 % |
20.94/21.03 c | 36106 | 13633 58370 177327 | 2147483647 36106 188 | 0.000 % |
21.24/21.36 c | 36600 | 13633 58370 177327 | 2147483647 36600 190 | 0.000 % |
21.64/21.75 c | 37143 | 13633 58370 177327 | 2147483647 37143 191 | 0.000 % |
21.74/21.81 c | 37243 | 13633 58370 177327 | 2147483647 37243 191 | 0.000 % |
21.74/21.89 c | 37353 | 13633 58370 177327 | 2147483647 37353 190 | 0.000 % |
21.84/21.98 c | 37476 | 13633 58370 177327 | 2147483647 37476 191 | 0.000 % |
21.94/22.08 c | 37609 | 13633 58370 177327 | 2147483647 37609 190 | 0.000 % |
22.04/22.18 c | 37755 | 13633 58370 177327 | 2147483647 37755 190 | 0.000 % |
22.24/22.30 c | 37915 | 13633 58370 177327 | 2147483647 37915 190 | 0.000 % |
22.34/22.44 c | 38091 | 13633 58370 177327 | 2147483647 38091 190 | 0.000 % |
22.44/22.56 c | 38284 | 13633 58370 177327 | 2147483647 38284 190 | 0.000 % |
22.64/22.73 c | 38498 | 13633 58370 177327 | 2147483647 38498 190 | 0.000 % |
22.84/22.90 c | 38732 | 13633 58370 177327 | 2147483647 38732 191 | 0.000 % |
22.94/23.09 c | 38988 | 13633 58370 177327 | 2147483647 38988 191 | 0.000 % |
23.14/23.30 c | 39270 | 13633 58370 177327 | 2147483647 39270 191 | 0.000 % |
23.34/23.49 c | 39580 | 13633 58370 177327 | 2147483647 39580 191 | 0.000 % |
23.64/23.74 c | 39919 | 13633 58370 177327 | 2147483647 39919 191 | 0.000 % |
23.94/24.01 c | 40293 | 13633 58370 177327 | 2147483647 40293 191 | 0.000 % |
24.14/24.30 c | 40702 | 13633 58370 177327 | 2147483647 40702 191 | 0.000 % |
24.43/24.59 c | 41151 | 13633 58370 177327 | 2147483647 41151 191 | 0.000 % |
24.84/24.97 c | 41646 | 13633 58370 177327 | 2147483647 41646 191 | 0.000 % |
25.25/25.35 c | 42189 | 13633 58370 177327 | 2147483647 42189 192 | 0.000 % |
25.64/25.78 c | 42787 | 13633 58370 177327 | 2147483647 42787 192 | 0.000 % |
25.74/25.86 c | 42888 | 13633 58370 177327 | 2147483647 42888 192 | 0.000 % |
25.84/25.95 c | 42998 | 13633 58370 177327 | 2147483647 42998 191 | 0.000 % |
25.94/26.05 c | 43121 | 13633 58370 177327 | 2147483647 43121 191 | 0.000 % |
26.04/26.14 c | 43254 | 13633 58370 177327 | 2147483647 43254 191 | 0.000 % |
26.14/26.26 c | 43401 | 13633 58370 177327 | 2147483647 43401 191 | 0.000 % |
26.25/26.38 c | 43561 | 13633 58370 177327 | 2147483647 43561 191 | 0.000 % |
26.44/26.52 c | 43738 | 13633 58370 177327 | 2147483647 43738 191 | 0.000 % |
26.54/26.67 c | 43932 | 13633 58370 177327 | 2147483647 43932 191 | 0.000 % |
26.74/26.85 c | 44144 | 13633 58370 177327 | 2147483647 44144 191 | 0.000 % |
26.94/27.03 c | 44378 | 13633 58370 177327 | 2147483647 44378 191 | 0.000 % |
27.14/27.22 c | 44635 | 13633 58370 177327 | 2147483647 44635 191 | 0.000 % |
27.34/27.42 c | 44916 | 13633 58370 177327 | 2147483647 44916 192 | 0.000 % |
27.54/27.65 c | 45225 | 13633 58370 177327 | 2147483647 45225 192 | 0.000 % |
27.84/27.91 c | 45564 | 13633 58370 177327 | 2147483647 45564 192 | 0.000 % |
28.04/28.18 c | 45938 | 13633 58370 177327 | 2147483647 45938 192 | 0.000 % |
28.34/28.48 c | 46348 | 13633 58370 177327 | 2147483647 46348 192 | 0.000 % |
28.73/28.80 c | 46798 | 13633 58370 177327 | 2147483647 46798 191 | 0.000 % |
29.03/29.17 c | 47293 | 13633 58370 177327 | 2147483647 47293 192 | 0.000 % |
29.44/29.58 c | 47836 | 13633 58370 177327 | 2147483647 47836 192 | 0.000 % |
29.94/30.03 c | 48433 | 13633 58370 177327 | 2147483647 48433 192 | 0.000 % |
30.44/30.50 c | 49088 | 13633 58370 177327 | 2147483647 49088 193 | 0.000 % |
30.44/30.59 c | 49188 | 13633 58370 177327 | 2147483647 49188 193 | 0.000 % |
30.54/30.69 c | 49299 | 13633 58370 177327 | 2147483647 49299 193 | 0.000 % |
30.64/30.80 c | 49422 | 13633 58370 177327 | 2147483647 49422 193 | 0.000 % |
30.84/30.91 c | 49555 | 13633 58370 177327 | 2147483647 49555 193 | 0.000 % |
30.93/31.03 c | 49701 | 13633 58370 177327 | 2147483647 49701 193 | 0.000 % |
31.03/31.15 c | 49861 | 13633 58370 177327 | 2147483647 49861 193 | 0.000 % |
31.13/31.29 c | 50039 | 13633 58370 177327 | 2147483647 50039 193 | 0.000 % |
31.33/31.45 c | 50232 | 13633 58370 177327 | 2147483647 50232 193 | 0.000 % |
31.53/31.61 c | 50444 | 13633 58370 177327 | 2147483647 50444 193 | 0.000 % |
31.63/31.77 c | 50680 | 13633 58370 177327 | 2147483647 50680 193 | 0.000 % |
31.84/31.97 c | 50936 | 13633 58370 177327 | 2147483647 50936 193 | 0.000 % |
32.04/32.18 c | 51217 | 13633 58370 177327 | 2147483647 51217 193 | 0.000 % |
32.34/32.42 c | 51527 | 13633 58370 177327 | 2147483647 51527 193 | 0.000 % |
32.64/32.70 c | 51866 | 13633 58370 177327 | 2147483647 51866 193 | 0.000 % |
32.84/32.97 c | 52239 | 13633 58370 177327 | 2147483647 52239 193 | 0.000 % |
33.24/33.30 c | 52649 | 13633 58370 177327 | 2147483647 52649 193 | 0.000 % |
33.54/33.65 c | 53099 | 13633 58370 177327 | 2147483647 53099 193 | 0.000 % |
33.94/34.02 c | 53592 | 13633 58370 177327 | 2147483647 53592 194 | 0.000 % |
34.34/34.43 c | 54135 | 13633 58370 177327 | 2147483647 54135 194 | 0.000 % |
34.84/34.90 c | 54731 | 13633 58370 177327 | 2147483647 54731 194 | 0.000 % |
35.23/35.38 c | 55389 | 13633 58370 177327 | 2147483647 55389 195 | 0.000 % |
35.84/35.96 c | 56109 | 13633 58370 177327 | 2147483647 56109 195 | 0.000 % |
35.94/36.06 c | 56209 | 13633 58370 177327 | 2147483647 56209 195 | 0.000 % |
36.03/36.16 c | 56321 | 13633 58370 177327 | 2147483647 56321 195 | 0.000 % |
36.14/36.26 c | 56443 | 13633 58370 177327 | 2147483647 56443 195 | 0.000 % |
36.24/36.38 c | 56576 | 13633 58370 177327 | 2147483647 56576 195 | 0.000 % |
36.43/36.51 c | 56723 | 13633 58370 177327 | 2147483647 56723 195 | 0.000 % |
36.53/36.65 c | 56885 | 13633 58370 177327 | 2147483647 56885 195 | 0.000 % |
36.73/36.80 c | 57062 | 13633 58370 177327 | 2147483647 57062 195 | 0.000 % |
36.83/36.97 c | 57256 | 13633 58370 177327 | 2147483647 57256 195 | 0.000 % |
37.03/37.15 c | 57468 | 13633 58370 177327 | 2147483647 57468 195 | 0.000 % |
37.23/37.34 c | 57702 | 13633 58370 177327 | 2147483647 57702 195 | 0.000 % |
37.43/37.56 c | 57958 | 13633 58370 177327 | 2147483647 57958 195 | 0.000 % |
37.74/37.81 c | 58239 | 13633 58370 177327 | 2147483647 58239 195 | 0.000 % |
37.94/38.05 c | 58549 | 13633 58370 177327 | 2147483647 58549 195 | 0.000 % |
38.24/38.32 c | 58889 | 13633 58370 177327 | 2147483647 58889 195 | 0.000 % |
38.53/38.62 c | 59262 | 13633 58370 177327 | 2147483647 59262 195 | 0.000 % |
38.83/38.94 c | 59671 | 13633 58370 177327 | 2147483647 59671 195 | 0.000 % |
39.23/39.34 c | 60123 | 13633 58370 177327 | 2147483647 60123 195 | 0.000 % |
39.63/39.75 c | 60620 | 13633 58370 177327 | 2147483647 60620 196 | 0.000 % |
40.03/40.19 c | 61164 | 13633 58370 177327 | 2147483647 61164 196 | 0.000 % |
40.54/40.68 c | 61762 | 13633 58370 177327 | 2147483647 61762 197 | 0.000 % |
41.13/41.22 c | 62417 | 13633 58370 177327 | 2147483647 62417 197 | 0.000 % |
41.64/41.79 c | 63137 | 13633 58370 177327 | 2147483647 63137 197 | 0.000 % |
42.33/42.46 c | 63929 | 13633 58370 177327 | 2147483647 63929 197 | 0.000 % |
42.43/42.55 c | 64030 | 13633 58370 177327 | 2147483647 64030 197 | 0.000 % |
42.53/42.67 c | 64142 | 13633 58370 177327 | 2147483647 64142 197 | 0.000 % |
42.63/42.79 c | 64266 | 13633 58370 177327 | 2147483647 64266 197 | 0.000 % |
42.83/42.91 c | 64402 | 13633 58370 177327 | 2147483647 64402 197 | 0.000 % |
42.93/43.03 c | 64548 | 13633 58370 177327 | 2147483647 64548 197 | 0.000 % |
43.03/43.19 c | 64709 | 13633 58370 177327 | 2147483647 64709 197 | 0.000 % |
43.23/43.38 c | 64886 | 13633 58370 177327 | 2147483647 64886 197 | 0.000 % |
43.43/43.55 c | 65079 | 13633 58370 177327 | 2147483647 65079 197 | 0.000 % |
43.63/43.75 c | 65296 | 13633 58370 177327 | 2147483647 65296 197 | 0.000 % |
43.83/43.94 c | 65529 | 13633 58370 177327 | 2147483647 65529 197 | 0.000 % |
44.03/44.19 c | 65785 | 13633 58370 177327 | 2147483647 65785 197 | 0.000 % |
44.32/44.45 c | 66066 | 13633 58370 177327 | 2147483647 66066 197 | 0.000 % |
44.62/44.73 c | 66375 | 13633 58370 177327 | 2147483647 66375 197 | 0.000 % |
44.93/45.05 c | 66714 | 13633 58370 177327 | 2147483647 66714 197 | 0.000 % |
45.23/45.36 c | 67086 | 13633 58370 177327 | 2147483647 67086 197 | 0.000 % |
45.63/45.71 c | 67496 | 13633 58370 177327 | 2147483647 67496 197 | 0.000 % |
46.03/46.12 c | 67949 | 13633 58370 177327 | 2147483647 67949 197 | 0.000 % |
46.43/46.53 c | 68442 | 13633 58370 177327 | 2147483647 68442 197 | 0.000 % |
46.93/47.01 c | 68984 | 13633 58370 177327 | 2147483647 68984 197 | 0.000 % |
47.32/47.48 c | 69580 | 13633 58370 177327 | 2147483647 69580 198 | 0.000 % |
47.93/48.02 c | 70236 | 13633 58370 177327 | 2147483647 70236 198 | 0.000 % |
48.52/48.61 c | 70956 | 13633 58370 177327 | 2147483647 70956 199 | 0.000 % |
49.22/49.31 c | 71748 | 13633 58370 177327 | 2147483647 71748 199 | 0.000 % |
49.92/50.07 c | 72620 | 13633 58370 177327 | 2147483647 72620 199 | 0.000 % |
50.02/50.18 c | 72721 | 13633 58370 177327 | 2147483647 72721 199 | 0.000 % |
50.12/50.29 c | 72831 | 13633 58370 177327 | 2147483647 72831 199 | 0.000 % |
50.32/50.41 c | 72952 | 13633 58370 177327 | 2147483647 72952 199 | 0.000 % |
50.42/50.54 c | 73087 | 13633 58370 177327 | 2147483647 73087 199 | 0.000 % |
50.62/50.70 c | 73233 | 13633 58370 177327 | 2147483647 73233 199 | 0.000 % |
50.72/50.87 c | 73393 | 13633 58370 177327 | 2147483647 73393 199 | 0.000 % |
50.93/51.03 c | 73569 | 13633 58370 177327 | 2147483647 73569 199 | 0.000 % |
51.13/51.23 c | 73762 | 13633 58370 177327 | 2147483647 73762 199 | 0.000 % |
51.33/51.44 c | 73974 | 13633 58370 177327 | 2147483647 73974 199 | 0.000 % |
51.53/51.67 c | 74208 | 13633 58370 177327 | 2147483647 74208 199 | 0.000 % |
51.82/51.90 c | 74465 | 13633 58370 177327 | 2147483647 74465 199 | 0.000 % |
52.02/52.15 c | 74747 | 13633 58370 177327 | 2147483647 74747 199 | 0.000 % |
52.32/52.44 c | 75056 | 13633 58370 177327 | 2147483647 75056 199 | 0.000 % |
52.63/52.74 c | 75396 | 13633 58370 177327 | 2147483647 75396 199 | 0.000 % |
52.92/53.09 c | 75769 | 13633 58370 177327 | 2147483647 75769 198 | 0.000 % |
53.32/53.46 c | 76178 | 13633 58370 177327 | 2147483647 76178 198 | 0.000 % |
53.72/53.87 c | 76628 | 13633 58370 177327 | 2147483647 76628 198 | 0.000 % |
54.22/54.35 c | 77122 | 13633 58370 177327 | 2147483647 77122 199 | 0.000 % |
54.72/54.86 c | 77666 | 13633 58370 177327 | 2147483647 77666 199 | 0.000 % |
55.32/55.41 c | 78265 | 13633 58370 177327 | 2147483647 78265 199 | 0.000 % |
55.93/56.03 c | 78920 | 13633 58370 177327 | 2147483647 78920 199 | 0.000 % |
56.62/56.73 c | 79640 | 13633 58370 177327 | 2147483647 79640 200 | 0.000 % |
57.22/57.39 c | 80432 | 13633 58370 177327 | 2147483647 80432 201 | 0.000 % |
58.02/58.19 c | 81303 | 13633 58370 177327 | 2147483647 81303 201 | 0.000 % |
58.92/59.05 c | 82261 | 13633 58370 177327 | 2147483647 82261 202 | 0.000 % |
59.02/59.15 c | 82363 | 13633 58370 177327 | 2147483647 82363 202 | 0.000 % |
59.12/59.28 c | 82473 | 13633 58370 177327 | 2147483647 82473 202 | 0.000 % |
59.33/59.42 c | 82596 | 13633 58370 177327 | 2147483647 82596 202 | 0.000 % |
59.42/59.57 c | 82730 | 13633 58370 177327 | 2147483647 82730 202 | 0.000 % |
59.62/59.74 c | 82877 | 13633 58370 177327 | 2147483647 82877 202 | 0.000 % |
59.72/59.90 c | 83037 | 13633 58370 177327 | 2147483647 83037 202 | 0.000 % |
60.02/60.10 c | 83213 | 13633 58370 177327 | 2147483647 83213 201 | 0.000 % |
60.12/60.28 c | 83407 | 13633 58370 177327 | 2147483647 83407 202 | 0.000 % |
60.32/60.48 c | 83619 | 13633 58370 177327 | 2147483647 83619 201 | 0.000 % |
60.62/60.71 c | 83853 | 13633 58370 177327 | 2147483647 83853 201 | 0.000 % |
60.92/61.01 c | 84112 | 13633 58370 177327 | 2147483647 84112 201 | 0.000 % |
61.12/61.29 c | 84396 | 13633 58370 177327 | 2147483647 84396 201 | 0.000 % |
61.52/61.60 c | 84705 | 13633 58370 177327 | 2147483647 84705 201 | 0.000 % |
61.81/61.94 c | 85045 | 13633 58370 177327 | 2147483647 85045 201 | 0.000 % |
62.21/62.30 c | 85418 | 13633 58370 177327 | 2147483647 85418 201 | 0.000 % |
62.62/62.73 c | 85827 | 13633 58370 177327 | 2147483647 85827 202 | 0.000 % |
63.02/63.14 c | 86278 | 13633 58370 177327 | 2147483647 86278 202 | 0.000 % |
63.52/63.62 c | 86772 | 13633 58370 177327 | 2147483647 86772 202 | 0.000 % |
64.02/64.12 c | 87314 | 13633 58370 177327 | 2147483647 87314 202 | 0.000 % |
64.52/64.68 c | 87911 | 13633 58370 177327 | 2147483647 87911 203 | 0.000 % |
65.22/65.34 c | 88567 | 13633 58370 177327 | 2147483647 88567 203 | 0.000 % |
65.92/66.05 c | 89288 | 13633 58370 177327 | 2147483647 89288 203 | 0.000 % |
66.72/66.83 c | 90081 | 13633 58370 177327 | 2147483647 90081 204 | 0.000 % |
67.52/67.67 c | 90952 | 13633 58370 177327 | 2147483647 90952 204 | 0.000 % |
68.42/68.59 c | 91910 | 13633 58370 177327 | 2147483647 91910 205 | 0.000 % |
69.51/69.61 c | 92964 | 13633 58370 177327 | 2147483647 92964 206 | 0.000 % |
69.61/69.75 c | 93064 | 13633 58370 177327 | 2147483647 93064 205 | 0.000 % |
69.71/69.89 c | 93175 | 13633 58370 177327 | 2147483647 93175 205 | 0.000 % |
69.91/70.02 c | 93298 | 13633 58370 177327 | 2147483647 93298 205 | 0.000 % |
70.01/70.19 c | 93432 | 13633 58370 177327 | 2147483647 93432 205 | 0.000 % |
70.22/70.38 c | 93578 | 13633 58370 177327 | 2147483647 93578 205 | 0.000 % |
70.41/70.57 c | 93739 | 13633 58370 177327 | 2147483647 93739 205 | 0.000 % |
70.61/70.77 c | 93915 | 13633 58370 177327 | 2147483647 93915 205 | 0.000 % |
70.81/70.98 c | 94109 | 13633 58370 177327 | 2147483647 94109 205 | 0.000 % |
71.01/71.20 c | 94321 | 13633 58370 177327 | 2147483647 94321 205 | 0.000 % |
71.32/71.44 c | 94554 | 13633 58370 177327 | 2147483647 94554 205 | 0.000 % |
71.62/71.72 c | 94810 | 13633 58370 177327 | 2147483647 94810 205 | 0.000 % |
71.92/72.03 c | 95091 | 13633 58370 177327 | 2147483647 95091 205 | 0.000 % |
72.22/72.38 c | 95400 | 13633 58370 177327 | 2147483647 95400 205 | 0.000 % |
72.61/72.76 c | 95740 | 13633 58370 177327 | 2147483647 95740 205 | 0.000 % |
73.01/73.17 c | 96112 | 13633 58370 177327 | 2147483647 96112 205 | 0.000 % |
73.52/73.61 c | 96522 | 13633 58370 177327 | 2147483647 96522 205 | 0.000 % |
73.91/74.07 c | 96972 | 13633 58370 177327 | 2147483647 96972 206 | 0.000 % |
74.41/74.57 c | 97465 | 13633 58370 177327 | 2147483647 97465 206 | 0.000 % |
75.02/75.17 c | 98008 | 13633 58370 177327 | 2147483647 98008 206 | 0.000 % |
75.61/75.80 c | 98604 | 13633 58370 177327 | 2147483647 98604 206 | 0.000 % |
76.31/76.47 c | 99261 | 13633 58370 177327 | 2147483647 99261 206 | 0.000 % |
77.11/77.22 c | 99983 | 13633 58370 177327 | 2147483647 99983 206 | 0.000 % |
77.91/78.03 c | 100775 | 13633 58370 177327 | 2147483647 100775 206 | 0.000 % |
78.71/78.88 c | 101647 | 13633 58370 177327 | 2147483647 101647 206 | 0.000 % |
79.71/79.87 c | 102606 | 13633 58370 177327 | 2147483647 102606 207 | 0.000 % |
80.81/80.95 c | 103660 | 13633 58370 177327 | 2147483647 103660 207 | 0.000 % |
82.01/82.16 c | 104818 | 13633 58370 177327 | 2147483647 104818 207 | 0.000 % |
82.11/82.27 c | 104918 | 13633 58370 177327 | 2147483647 104918 207 | 0.000 % |
82.32/82.41 c | 105029 | 13633 58370 177327 | 2147483647 105029 207 | 0.000 % |
82.42/82.58 c | 105150 | 13633 58370 177327 | 2147483647 105150 207 | 0.000 % |
82.61/82.75 c | 105283 | 13633 58370 177327 | 2147483647 105283 207 | 0.000 % |
82.81/82.93 c | 105429 | 13633 58370 177327 | 2147483647 105429 207 | 0.000 % |
83.01/83.10 c | 105589 | 13633 58370 177327 | 2147483647 105589 207 | 0.000 % |
83.21/83.32 c | 105766 | 13633 58370 177327 | 2147483647 105766 206 | 0.000 % |
83.42/83.55 c | 105960 | 13633 58370 177327 | 2147483647 105960 206 | 0.000 % |
83.61/83.79 c | 106173 | 13633 58370 177327 | 2147483647 106173 206 | 0.000 % |
83.91/84.06 c | 106408 | 13633 58370 177327 | 2147483647 106408 206 | 0.000 % |
84.21/84.36 c | 106664 | 13633 58370 177327 | 2147483647 106664 206 | 0.000 % |
84.51/84.69 c | 106947 | 13633 58370 177327 | 2147483647 106947 206 | 0.000 % |
84.92/85.02 c | 107257 | 13633 58370 177327 | 2147483647 107257 206 | 0.000 % |
85.21/85.39 c | 107600 | 13633 58370 177327 | 2147483647 107600 207 | 0.000 % |
85.72/85.82 c | 107973 | 13633 58370 177327 | 2147483647 107973 207 | 0.000 % |
86.11/86.29 c | 108382 | 13633 58370 177327 | 2147483647 108382 206 | 0.000 % |
86.61/86.77 c | 108832 | 13633 58370 177327 | 2147483647 108832 206 | 0.000 % |
87.21/87.30 c | 109327 | 13633 58370 177327 | 2147483647 109327 206 | 0.000 % |
87.81/87.92 c | 109869 | 13633 58370 177327 | 2147483647 109869 206 | 0.000 % |
88.41/88.55 c | 110468 | 13633 58370 177327 | 2147483647 110468 206 | 0.000 % |
89.21/89.31 c | 111123 | 13633 58370 177327 | 2147483647 111123 206 | 0.000 % |
90.02/90.11 c | 111844 | 13633 58370 177327 | 2147483647 111844 207 | 0.000 % |
90.81/90.94 c | 112636 | 13633 58370 177327 | 2147483647 112636 207 | 0.000 % |
91.81/91.92 c | 113508 | 13633 58370 177327 | 2147483647 113508 207 | 0.000 % |
92.90/93.02 c | 114467 | 13633 58370 177327 | 2147483647 114467 207 | 0.000 % |
94.11/94.21 c | 115520 | 13633 58370 177327 | 2147483647 115520 207 | 0.000 % |
95.41/95.51 c | 116679 | 13633 58370 177327 | 2147483647 116679 207 | 0.000 % |
96.80/96.92 c | 117952 | 13633 58370 177327 | 2147483647 117952 208 | 0.000 % |
96.90/97.05 c | 118052 | 13633 58370 177327 | 2147483647 118052 208 | 0.000 % |
97.10/97.22 c | 118162 | 13633 58370 177327 | 2147483647 118162 208 | 0.000 % |
97.20/97.38 c | 118284 | 13633 58370 177327 | 2147483647 118284 208 | 0.000 % |
97.40/97.56 c | 118420 | 13633 58370 177327 | 2147483647 118420 208 | 0.000 % |
97.60/97.75 c | 118566 | 13633 58370 177327 | 2147483647 118566 208 | 0.000 % |
97.81/97.97 c | 118726 | 13633 58370 177327 | 2147483647 118726 208 | 0.000 % |
98.01/98.18 c | 118903 | 13633 58370 177327 | 2147483647 118903 208 | 0.000 % |
98.31/98.42 c | 119097 | 13633 58370 177327 | 2147483647 119097 208 | 0.000 % |
98.51/98.68 c | 119309 | 13633 58370 177327 | 2147483647 119309 208 | 0.000 % |
98.91/99.00 c | 119542 | 13633 58370 177327 | 2147483647 119542 207 | 0.000 % |
99.21/99.32 c | 119802 | 13633 58370 177327 | 2147483647 119802 207 | 0.000 % |
99.51/99.66 c | 120083 | 13633 58370 177327 | 2147483647 120083 207 | 0.000 % |
99.91/100.03 c | 120392 | 13633 58370 177327 | 2147483647 120392 207 | 0.000 % |
100.31/100.50 c | 120732 | 13633 58370 177327 | 2147483647 120732 207 | 0.000 % |
100.81/100.96 c | 121105 | 13633 58370 177327 | 2147483647 121105 207 | 0.000 % |
101.31/101.44 c | 121517 | 13633 58370 177327 | 2147483647 121517 207 | 0.000 % |
101.90/102.01 c | 121967 | 13633 58370 177327 | 2147483647 121967 207 | 0.000 % |
102.50/102.64 c | 122462 | 13633 58370 177327 | 2147483647 122462 207 | 0.000 % |
103.10/103.28 c | 123004 | 13633 58370 177327 | 2147483647 123004 207 | 0.000 % |
103.91/104.00 c | 123601 | 13633 58370 177327 | 2147483647 123601 207 | 0.000 % |
104.61/104.75 c | 124258 | 13633 58370 177327 | 2147483647 124258 207 | 0.000 % |
105.40/105.59 c | 124978 | 13633 58370 177327 | 2147483647 124978 207 | 0.000 % |
106.40/106.55 c | 125770 | 13633 58370 177327 | 2147483647 125770 207 | 0.000 % |
107.51/107.62 c | 126641 | 13633 58370 177327 | 2147483647 126641 208 | 0.000 % |
108.50/108.67 c | 127600 | 13633 58370 177327 | 2147483647 127600 208 | 0.000 % |
109.80/109.94 c | 128653 | 13633 58370 177327 | 2147483647 128653 208 | 0.000 % |
111.20/111.34 c | 129811 | 13633 58370 177327 | 2147483647 129811 209 | 0.000 % |
112.60/112.73 c | 131084 | 13633 58370 177327 | 2147483647 131084 209 | 0.000 % |
114.21/114.37 c | 132485 | 13633 58370 177327 | 2147483647 132485 210 | 0.000 % |
114.40/114.52 c | 132585 | 13633 58370 177327 | 2147483647 132585 210 | 0.000 % |
114.50/114.69 c | 132697 | 13633 58370 177327 | 2147483647 132697 210 | 0.000 % |
114.70/114.84 c | 132820 | 13633 58370 177327 | 2147483647 132820 210 | 0.000 % |
114.90/115.04 c | 132953 | 13633 58370 177327 | 2147483647 132953 210 | 0.000 % |
115.10/115.23 c | 133099 | 13633 58370 177327 | 2147483647 133099 210 | 0.000 % |
115.31/115.45 c | 133259 | 13633 58370 177327 | 2147483647 133259 210 | 0.000 % |
115.60/115.71 c | 133435 | 13633 58370 177327 | 2147483647 133435 210 | 0.000 % |
115.80/115.97 c | 133630 | 13633 58370 177327 | 2147483647 133630 210 | 0.000 % |
116.10/116.23 c | 133843 | 13633 58370 177327 | 2147483647 133843 210 | 0.000 % |
116.40/116.54 c | 134076 | 13633 58370 177327 | 2147483647 134076 210 | 0.000 % |
116.80/116.92 c | 134333 | 13633 58370 177327 | 2147483647 134333 210 | 0.000 % |
117.20/117.30 c | 134614 | 13633 58370 177327 | 2147483647 134614 210 | 0.000 % |
117.50/117.66 c | 134923 | 13633 58370 177327 | 2147483647 134923 210 | 0.000 % |
118.00/118.10 c | 135263 | 13633 58370 177327 | 2147483647 135263 210 | 0.000 % |
118.40/118.55 c | 135635 | 13633 58370 177327 | 2147483647 135635 210 | 0.000 % |
118.90/119.03 c | 136044 | 13633 58370 177327 | 2147483647 136044 210 | 0.000 % |
119.39/119.58 c | 136495 | 13633 58370 177327 | 2147483647 136495 210 | 0.000 % |
120.09/120.22 c | 136988 | 13633 58370 177327 | 2147483647 136988 210 | 0.000 % |
120.80/120.99 c | 137530 | 13633 58370 177327 | 2147483647 137530 210 | 0.000 % |
121.60/121.79 c | 138126 | 13633 58370 177327 | 2147483647 138126 210 | 0.000 % |
122.50/122.60 c | 138782 | 13633 58370 177327 | 2147483647 138782 210 | 0.000 % |
123.30/123.49 c | 139504 | 13633 58370 177327 | 2147483647 139504 210 | 0.000 % |
124.29/124.49 c | 140296 | 13633 58370 177327 | 2147483647 140296 210 | 0.000 % |
125.39/125.55 c | 141167 | 13633 58370 177327 | 2147483647 141167 210 | 0.000 % |
126.70/126.80 c | 142126 | 13633 58370 177327 | 2147483647 142126 210 | 0.000 % |
127.99/128.15 c | 143179 | 13633 58370 177327 | 2147483647 143179 210 | 0.000 % |
129.40/129.57 c | 144339 | 13633 58370 177327 | 2147483647 144339 210 | 0.000 % |
131.09/131.24 c | 145612 | 13633 58370 177327 | 2147483647 145612 211 | 0.000 % |
132.79/132.90 c | 147012 | 13633 58370 177327 | 2147483647 147012 211 | 0.000 % |
134.69/134.86 c | 148554 | 13633 58370 177327 | 2147483647 148554 211 | 0.000 % |
134.89/135.02 c | 148654 | 13633 58370 177327 | 2147483647 148654 211 | 0.000 % |
134.99/135.19 c | 148765 | 13633 58370 177327 | 2147483647 148765 211 | 0.000 % |
135.19/135.38 c | 148886 | 13633 58370 177327 | 2147483647 148886 211 | 0.000 % |
135.39/135.57 c | 149020 | 13633 58370 177327 | 2147483647 149020 211 | 0.000 % |
135.69/135.82 c | 149166 | 13633 58370 177327 | 2147483647 149166 211 | 0.000 % |
135.89/136.06 c | 149328 | 13633 58370 177327 | 2147483647 149328 211 | 0.000 % |
136.20/136.33 c | 149507 | 13633 58370 177327 | 2147483647 149507 211 | 0.000 % |
136.49/136.65 c | 149703 | 13633 58370 177327 | 2147483647 149703 211 | 0.000 % |
136.79/136.93 c | 149915 | 13633 58370 177327 | 2147483647 149915 211 | 0.000 % |
137.09/137.26 c | 150148 | 13633 58370 177327 | 2147483647 150148 211 | 0.000 % |
137.39/137.59 c | 150404 | 13633 58370 177327 | 2147483647 150404 211 | 0.000 % |
137.89/138.02 c | 150686 | 13633 58370 177327 | 2147483647 150686 211 | 0.000 % |
138.29/138.49 c | 150996 | 13633 58370 177327 | 2147483647 150996 211 | 0.000 % |
138.79/138.92 c | 151335 | 13633 58370 177327 | 2147483647 151335 211 | 0.000 % |
139.29/139.42 c | 151709 | 13633 58370 177327 | 2147483647 151709 211 | 0.000 % |
139.79/139.97 c | 152118 | 13633 58370 177327 | 2147483647 152118 211 | 0.000 % |
140.39/140.57 c | 152567 | 13633 58370 177327 | 2147483647 152567 211 | 0.000 % |
141.19/141.30 c | 153060 | 13633 58370 177327 | 2147483647 153060 211 | 0.000 % |
141.88/142.05 c | 153602 | 13633 58370 177327 | 2147483647 153602 211 | 0.000 % |
142.69/142.81 c | 154198 | 13633 58370 177327 | 2147483647 154198 211 | 0.000 % |
143.49/143.69 c | 154854 | 13633 58370 177327 | 2147483647 154854 211 | 0.000 % |
144.49/144.61 c | 155576 | 13633 58370 177327 | 2147483647 155576 211 | 0.000 % |
145.49/145.63 c | 156368 | 13633 58370 177327 | 2147483647 156368 211 | 0.000 % |
146.58/146.73 c | 157239 | 13633 58370 177327 | 2147483647 157239 211 | 0.000 % |
147.78/147.98 c | 158197 | 13633 58370 177327 | 2147483647 158197 212 | 0.000 % |
149.09/149.28 c | 159250 | 13633 58370 177327 | 2147483647 159250 212 | 0.000 % |
150.68/150.81 c | 160408 | 13633 58370 177327 | 2147483647 160408 212 | 0.000 % |
152.39/152.56 c | 161681 | 13633 58370 177327 | 2147483647 161681 212 | 0.000 % |
154.18/154.38 c | 163081 | 13633 58370 177327 | 2147483647 163081 213 | 0.000 % |
156.28/156.46 c | 164621 | 13633 58370 177327 | 2147483647 164621 213 | 0.000 % |
158.68/158.84 c | 166316 | 13633 58370 177327 | 2147483647 166316 213 | 0.000 % |
158.88/159.01 c | 166418 | 13633 58370 177327 | 2147483647 166418 213 | 0.000 % |
158.98/159.17 c | 166528 | 13633 58370 177327 | 2147483647 166528 213 | 0.000 % |
159.28/159.42 c | 166650 | 13633 58370 177327 | 2147483647 166650 213 | 0.000 % |
159.48/159.65 c | 166784 | 13633 58370 177327 | 2147483647 166784 213 | 0.000 % |
159.68/159.88 c | 166931 | 13633 58370 177327 | 2147483647 166931 213 | 0.000 % |
159.99/160.15 c | 167091 | 13633 58370 177327 | 2147483647 167091 213 | 0.000 % |
160.28/160.45 c | 167269 | 13633 58370 177327 | 2147483647 167269 213 | 0.000 % |
160.58/160.71 c | 167462 | 13633 58370 177327 | 2147483647 167462 213 | 0.000 % |
160.88/161.02 c | 167675 | 13633 58370 177327 | 2147483647 167675 213 | 0.000 % |
161.18/161.37 c | 167908 | 13633 58370 177327 | 2147483647 167908 213 | 0.000 % |
161.68/161.80 c | 168166 | 13633 58370 177327 | 2147483647 168166 213 | 0.000 % |
161.98/162.19 c | 168447 | 13633 58370 177327 | 2147483647 168447 213 | 0.000 % |
162.48/162.66 c | 168756 | 13633 58370 177327 | 2147483647 168756 213 | 0.000 % |
162.98/163.17 c | 169096 | 13633 58370 177327 | 2147483647 169096 213 | 0.000 % |
163.58/163.73 c | 169469 | 13633 58370 177327 | 2147483647 169469 213 | 0.000 % |
164.18/164.31 c | 169879 | 13633 58370 177327 | 2147483647 169879 213 | 0.000 % |
164.78/164.96 c | 170329 | 13633 58370 177327 | 2147483647 170329 213 | 0.000 % |
165.48/165.67 c | 170823 | 13633 58370 177327 | 2147483647 170823 213 | 0.000 % |
166.28/166.46 c | 171365 | 13633 58370 177327 | 2147483647 171365 213 | 0.000 % |
167.17/167.31 c | 171964 | 13633 58370 177327 | 2147483647 171964 213 | 0.000 % |
168.08/168.22 c | 172619 | 13633 58370 177327 | 2147483647 172619 213 | 0.000 % |
169.07/169.26 c | 173340 | 13633 58370 177327 | 2147483647 173340 213 | 0.000 % |
170.18/170.38 c | 174132 | 13633 58370 177327 | 2147483647 174132 213 | 0.000 % |
171.48/171.63 c | 175003 | 13633 58370 177327 | 2147483647 175003 213 | 0.000 % |
172.78/172.98 c | 175961 | 13633 58370 177327 | 2147483647 175961 213 | 0.000 % |
174.28/174.42 c | 177014 | 13633 58370 177327 | 2147483647 177014 214 | 0.000 % |
175.78/175.94 c | 178172 | 13633 58370 177327 | 2147483647 178172 214 | 0.000 % |
177.68/177.81 c | 179445 | 13633 58370 177327 | 2147483647 179445 214 | 0.000 % |
179.57/179.76 c | 180845 | 13633 58370 177327 | 2147483647 180845 214 | 0.000 % |
181.77/181.93 c | 182387 | 13633 58370 177327 | 2147483647 182387 214 | 0.000 % |
184.27/184.43 c | 184081 | 13633 58370 177327 | 2147483647 184081 214 | 0.000 % |
187.07/187.22 c | 185944 | 13633 58370 177327 | 2147483647 185944 215 | 0.000 % |
187.27/187.41 c | 186046 | 13633 58370 177327 | 2147483647 186046 215 | 0.000 % |
187.47/187.63 c | 186156 | 13633 58370 177327 | 2147483647 186156 215 | 0.000 % |
187.68/187.83 c | 186277 | 13633 58370 177327 | 2147483647 186277 215 | 0.000 % |
187.88/188.06 c | 186410 | 13633 58370 177327 | 2147483647 186410 215 | 0.000 % |
188.17/188.30 c | 186557 | 13633 58370 177327 | 2147483647 186557 215 | 0.000 % |
188.37/188.58 c | 186719 | 13633 58370 177327 | 2147483647 186719 215 | 0.000 % |
188.67/188.87 c | 186895 | 13633 58370 177327 | 2147483647 186895 215 | 0.000 % |
188.98/189.20 c | 187089 | 13633 58370 177327 | 2147483647 187089 215 | 0.000 % |
189.37/189.54 c | 187301 | 13633 58370 177327 | 2147483647 187301 215 | 0.000 % |
189.67/189.89 c | 187535 | 13633 58370 177327 | 2147483647 187535 215 | 0.000 % |
190.17/190.35 c | 187791 | 13633 58370 177327 | 2147483647 187791 214 | 0.000 % |
190.67/190.82 c | 188072 | 13633 58370 177327 | 2147483647 188072 214 | 0.000 % |
191.17/191.32 c | 188381 | 13633 58370 177327 | 2147483647 188381 215 | 0.000 % |
191.67/191.89 c | 188721 | 13633 58370 177327 | 2147483647 188721 214 | 0.000 % |
192.27/192.44 c | 189093 | 13633 58370 177327 | 2147483647 189093 214 | 0.000 % |
192.97/193.11 c | 189503 | 13633 58370 177327 | 2147483647 189503 214 | 0.000 % |
193.67/193.83 c | 189952 | 13633 58370 177327 | 2147483647 189952 214 | 0.000 % |
194.37/194.58 c | 190448 | 13633 58370 177327 | 2147483647 190448 214 | 0.000 % |
195.17/195.37 c | 190990 | 13633 58370 177327 | 2147483647 190990 214 | 0.000 % |
196.07/196.29 c | 191586 | 13633 58370 177327 | 2147483647 191586 214 | 0.000 % |
197.17/197.32 c | 192243 | 13633 58370 177327 | 2147483647 192243 215 | 0.000 % |
198.26/198.42 c | 192963 | 13633 58370 177327 | 2147483647 192963 215 | 0.000 % |
199.46/199.63 c | 193755 | 13633 58370 177327 | 2147483647 193755 215 | 0.000 % |
200.77/200.94 c | 194626 | 13633 58370 177327 | 2147483647 194626 215 | 0.000 % |
202.17/202.37 c | 195585 | 13633 58370 177327 | 2147483647 195585 215 | 0.000 % |
203.77/203.93 c | 196639 | 13633 58370 177327 | 2147483647 196639 215 | 0.000 % |
205.37/205.52 c | 197802 | 13633 58370 177327 | 2147483647 197802 215 | 0.000 % |
207.36/207.59 c | 199077 | 13633 58370 177327 | 2147483647 199077 216 | 0.000 % |
209.56/209.73 c | 200477 | 13633 58370 177327 | 2147483647 200477 216 | 0.000 % |
211.77/211.93 c | 202018 | 13633 58370 177327 | 2147483647 202018 217 | 0.000 % |
214.26/214.47 c | 203715 | 13633 58370 177327 | 2147483647 203715 217 | 0.000 % |
217.06/217.29 c | 205578 | 13633 58370 177327 | 2147483647 205578 217 | 0.000 % |
220.36/220.56 c | 207627 | 13633 58370 177327 | 2147483647 207627 218 | 0.000 % |
220.56/220.76 c | 207728 | 13633 58370 177327 | 2147483647 207728 218 | 0.000 % |
220.76/220.99 c | 207840 | 13633 58370 177327 | 2147483647 207840 218 | 0.000 % |
221.06/221.21 c | 207961 | 13633 58370 177327 | 2147483647 207961 218 | 0.000 % |
221.26/221.48 c | 208097 | 13633 58370 177327 | 2147483647 208097 218 | 0.000 % |
221.56/221.78 c | 208243 | 13633 58370 177327 | 2147483647 208243 218 | 0.000 % |
221.86/222.09 c | 208403 | 13633 58370 177327 | 2147483647 208403 218 | 0.000 % |
222.26/222.44 c | 208582 | 13633 58370 177327 | 2147483647 208582 218 | 0.000 % |
222.56/222.77 c | 208778 | 13633 58370 177327 | 2147483647 208778 218 | 0.000 % |
222.96/223.15 c | 208990 | 13633 58370 177327 | 2147483647 208990 218 | 0.000 % |
223.36/223.57 c | 209223 | 13633 58370 177327 | 2147483647 209223 218 | 0.000 % |
223.86/224.03 c | 209480 | 13633 58370 177327 | 2147483647 209480 218 | 0.000 % |
224.36/224.51 c | 209762 | 13633 58370 177327 | 2147483647 209762 218 | 0.000 % |
224.86/225.06 c | 210071 | 13633 58370 177327 | 2147483647 210071 218 | 0.000 % |
225.46/225.70 c | 210410 | 13633 58370 177327 | 2147483647 210410 218 | 0.000 % |
226.16/226.40 c | 210782 | 13633 58370 177327 | 2147483647 210782 218 | 0.000 % |
226.96/227.14 c | 211191 | 13633 58370 177327 | 2147483647 211191 218 | 0.000 % |
227.75/227.95 c | 211643 | 13633 58370 177327 | 2147483647 211643 218 | 0.000 % |
228.56/228.78 c | 212136 | 13633 58370 177327 | 2147483647 212136 218 | 0.000 % |
229.35/229.58 c | 212679 | 13633 58370 177327 | 2147483647 212679 218 | 0.000 % |
230.36/230.57 c | 213275 | 13633 58370 177327 | 2147483647 213275 218 | 0.000 % |
231.46/231.66 c | 213930 | 13633 58370 177327 | 2147483647 213930 218 | 0.000 % |
232.66/232.87 c | 214650 | 13633 58370 177327 | 2147483647 214650 218 | 0.000 % |
233.96/234.17 c | 215442 | 13633 58370 177327 | 2147483647 215442 218 | 0.000 % |
235.45/235.62 c | 216315 | 13633 58370 177327 | 2147483647 216315 218 | 0.000 % |
237.06/237.20 c | 217275 | 13633 58370 177327 | 2147483647 217275 218 | 0.000 % |
238.65/238.85 c | 218330 | 13633 58370 177327 | 2147483647 218330 218 | 0.000 % |
240.55/240.73 c | 219489 | 13633 58370 177327 | 2147483647 219489 218 | 0.000 % |
242.65/242.80 c | 220762 | 13633 58370 177327 | 2147483647 220762 218 | 0.000 % |
244.85/245.03 c | 222162 | 13633 58370 177327 | 2147483647 222162 218 | 0.000 % |
247.36/247.50 c | 223702 | 13633 58370 177327 | 2147483647 223702 218 | 0.000 % |
250.05/250.25 c | 225397 | 13633 58370 177327 | 2147483647 225397 219 | 0.000 % |
253.25/253.43 c | 227260 | 13633 58370 177327 | 2147483647 227260 219 | 0.000 % |
256.55/256.77 c | 229310 | 13633 58370 177327 | 2147483647 229310 219 | 0.000 % |
260.25/260.45 c | 231564 | 13633 58370 177327 | 2147483647 231564 219 | 0.000 % |
260.45/260.68 c | 231666 | 13633 58370 177327 | 2147483647 231666 219 | 0.000 % |
260.75/260.90 c | 231777 | 13633 58370 177327 | 2147483647 231777 219 | 0.000 % |
260.95/261.11 c | 231899 | 13633 58370 177327 | 2147483647 231899 219 | 0.000 % |
261.24/261.42 c | 232032 | 13633 58370 177327 | 2147483647 232032 219 | 0.000 % |
261.55/261.73 c | 232180 | 13633 58370 177327 | 2147483647 232180 219 | 0.000 % |
261.84/262.04 c | 232340 | 13633 58370 177327 | 2147483647 232340 219 | 0.000 % |
262.14/262.39 c | 232517 | 13633 58370 177327 | 2147483647 232517 219 | 0.000 % |
262.54/262.80 c | 232711 | 13633 58370 177327 | 2147483647 232711 219 | 0.000 % |
263.04/263.23 c | 232924 | 13633 58370 177327 | 2147483647 232924 219 | 0.000 % |
263.44/263.67 c | 233158 | 13633 58370 177327 | 2147483647 233158 219 | 0.000 % |
263.94/264.15 c | 233414 | 13633 58370 177327 | 2147483647 233414 219 | 0.000 % |
264.45/264.67 c | 233695 | 13633 58370 177327 | 2147483647 233695 219 | 0.000 % |
265.05/265.21 c | 234007 | 13633 58370 177327 | 2147483647 234007 219 | 0.000 % |
265.75/265.92 c | 234348 | 13633 58370 177327 | 2147483647 234348 219 | 0.000 % |
266.45/266.65 c | 234720 | 13633 58370 177327 | 2147483647 234720 219 | 0.000 % |
267.15/267.38 c | 235129 | 13633 58370 177327 | 2147483647 235129 219 | 0.000 % |
268.04/268.21 c | 235579 | 13633 58370 177327 | 2147483647 235579 219 | 0.000 % |
268.84/269.09 c | 236072 | 13633 58370 177327 | 2147483647 236072 219 | 0.000 % |
269.94/270.14 c | 236615 | 13633 58370 177327 | 2147483647 236615 219 | 0.000 % |
271.04/271.20 c | 237211 | 13633 58370 177327 | 2147483647 237211 219 | 0.000 % |
272.14/272.34 c | 237866 | 13633 58370 177327 | 2147483647 237866 219 | 0.000 % |
273.44/273.63 c | 238586 | 13633 58370 177327 | 2147483647 238586 219 | 0.000 % |
274.94/275.12 c | 239380 | 13633 58370 177327 | 2147483647 239380 219 | 0.000 % |
276.44/276.62 c | 240251 | 13633 58370 177327 | 2147483647 240251 219 | 0.000 % |
278.14/278.32 c | 241209 | 13633 58370 177327 | 2147483647 241209 220 | 0.000 % |
279.95/280.14 c | 242262 | 13633 58370 177327 | 2147483647 242262 220 | 0.000 % |
281.94/282.14 c | 243421 | 13633 58370 177327 | 2147483647 243421 220 | 0.000 % |
284.14/284.35 c | 244695 | 13633 58370 177327 | 2147483647 244695 220 | 0.000 % |
286.64/286.80 c | 246095 | 13633 58370 177327 | 2147483647 246095 220 | 0.000 % |
289.34/289.56 c | 247636 | 13633 58370 177327 | 2147483647 247636 220 | 0.000 % |
292.24/292.45 c | 249330 | 13633 58370 177327 | 2147483647 249330 220 | 0.000 % |
295.44/295.64 c | 251194 | 13633 58370 177327 | 2147483647 251194 221 | 0.000 % |
299.04/299.24 c | 253243 | 13633 58370 177327 | 2147483647 253243 221 | 0.000 % |
302.84/303.09 c | 255497 | 13633 58370 177327 | 2147483647 255497 222 | 0.000 % |
307.03/307.23 c | 257975 | 13633 58370 177327 | 2147483647 257975 222 | 0.000 % |
307.23/307.45 c | 258076 | 13633 58370 177327 | 2147483647 258076 222 | 0.000 % |
307.53/307.75 c | 258188 | 13633 58370 177327 | 2147483647 258188 222 | 0.000 % |
307.83/308.04 c | 258312 | 13633 58370 177327 | 2147483647 258312 222 | 0.000 % |
308.13/308.32 c | 258447 | 13633 58370 177327 | 2147483647 258447 222 | 0.000 % |
308.43/308.67 c | 258594 | 13633 58370 177327 | 2147483647 258594 222 | 0.000 % |
308.83/309.06 c | 258754 | 13633 58370 177327 | 2147483647 258754 222 | 0.000 % |
309.13/309.36 c | 258930 | 13633 58370 177327 | 2147483647 258930 222 | 0.000 % |
309.53/309.77 c | 259125 | 13633 58370 177327 | 2147483647 259125 222 | 0.000 % |
310.03/310.26 c | 259337 | 13633 58370 177327 | 2147483647 259337 222 | 0.000 % |
310.53/310.79 c | 259571 | 13633 58370 177327 | 2147483647 259571 222 | 0.000 % |
311.14/311.36 c | 259827 | 13633 58370 177327 | 2147483647 259827 222 | 0.000 % |
311.73/311.99 c | 260108 | 13633 58370 177327 | 2147483647 260108 222 | 0.000 % |
312.33/312.56 c | 260417 | 13633 58370 177327 | 2147483647 260417 222 | 0.000 % |
313.03/313.21 c | 260757 | 13633 58370 177327 | 2147483647 260757 222 | 0.000 % |
313.73/313.98 c | 261131 | 13633 58370 177327 | 2147483647 261131 222 | 0.000 % |
314.53/314.78 c | 261543 | 13633 58370 177327 | 2147483647 261543 222 | 0.000 % |
315.53/315.74 c | 261992 | 13633 58370 177327 | 2147483647 261992 222 | 0.000 % |
316.53/316.70 c | 262487 | 13633 58370 177327 | 2147483647 262487 222 | 0.000 % |
317.53/317.79 c | 263030 | 13633 58370 177327 | 2147483647 263030 222 | 0.000 % |
318.83/319.08 c | 263628 | 13633 58370 177327 | 2147483647 263628 222 | 0.000 % |
320.12/320.30 c | 264284 | 13633 58370 177327 | 2147483647 264284 222 | 0.000 % |
321.52/321.76 c | 265005 | 13633 58370 177327 | 2147483647 265005 222 | 0.000 % |
323.14/323.35 c | 265799 | 13633 58370 177327 | 2147483647 265799 222 | 0.000 % |
324.93/325.13 c | 266672 | 13633 58370 177327 | 2147483647 266672 222 | 0.000 % |
326.63/326.86 c | 267631 | 13633 58370 177327 | 2147483647 267631 222 | 0.000 % |
328.73/328.92 c | 268684 | 13633 58370 177327 | 2147483647 268684 222 | 0.000 % |
330.83/331.06 c | 269844 | 13633 58370 177327 | 2147483647 269844 222 | 0.000 % |
333.32/333.52 c | 271118 | 13633 58370 177327 | 2147483647 271118 222 | 0.000 % |
335.92/336.15 c | 272518 | 13633 58370 177327 | 2147483647 272518 223 | 0.000 % |
338.92/339.12 c | 274058 | 13633 58370 177327 | 2147483647 274058 223 | 0.000 % |
342.22/342.40 c | 275753 | 13633 58370 177327 | 2147483647 275753 223 | 0.000 % |
345.62/345.89 c | 277619 | 13633 58370 177327 | 2147483647 277619 223 | 0.000 % |
349.63/349.81 c | 279669 | 13633 58370 177327 | 2147483647 279669 224 | 0.000 % |
353.82/354.10 c | 281923 | 13633 58370 177327 | 2147483647 281923 224 | 0.000 % |
358.81/359.02 c | 284401 | 13633 58370 177327 | 2147483647 284401 224 | 0.000 % |
363.92/364.17 c | 287126 | 13633 58370 177327 | 2147483647 287126 224 | 0.000 % |
364.22/364.40 c | 287226 | 13633 58370 177327 | 2147483647 287226 224 | 0.000 % |
364.41/364.68 c | 287336 | 13633 58370 177327 | 2147483647 287336 224 | 0.000 % |
364.71/364.94 c | 287457 | 13633 58370 177327 | 2147483647 287457 224 | 0.000 % |
365.02/365.29 c | 287592 | 13633 58370 177327 | 2147483647 287592 224 | 0.000 % |
365.41/365.67 c | 287739 | 13633 58370 177327 | 2147483647 287739 224 | 0.000 % |
365.81/366.07 c | 287899 | 13633 58370 177327 | 2147483647 287899 224 | 0.000 % |
366.31/366.50 c | 288075 | 13633 58370 177327 | 2147483647 288075 224 | 0.000 % |
366.81/367.02 c | 288268 | 13633 58370 177327 | 2147483647 288268 224 | 0.000 % |
367.22/367.48 c | 288480 | 13633 58370 177327 | 2147483647 288480 224 | 0.000 % |
367.81/368.04 c | 288714 | 13633 58370 177327 | 2147483647 288714 224 | 0.000 % |
368.41/368.63 c | 288970 | 13633 58370 177327 | 2147483647 288970 224 | 0.000 % |
369.01/369.28 c | 289254 | 13633 58370 177327 | 2147483647 289254 224 | 0.000 % |
369.71/369.97 c | 289563 | 13633 58370 177327 | 2147483647 289563 224 | 0.000 % |
370.51/370.79 c | 289907 | 13633 58370 177327 | 2147483647 289907 224 | 0.000 % |
371.41/371.63 c | 290279 | 13633 58370 177327 | 2147483647 290279 224 | 0.000 % |
372.31/372.51 c | 290688 | 13633 58370 177327 | 2147483647 290688 224 | 0.000 % |
373.11/373.39 c | 291137 | 13633 58370 177327 | 2147483647 291137 224 | 0.000 % |
374.21/374.45 c | 291630 | 13633 58370 177327 | 2147483647 291630 224 | 0.000 % |
375.31/375.59 c | 292172 | 13633 58370 177327 | 2147483647 292172 224 | 0.000 % |
376.51/376.78 c | 292769 | 13633 58370 177327 | 2147483647 292769 224 | 0.000 % |
377.80/378.06 c | 293424 | 13633 58370 177327 | 2147483647 293424 224 | 0.000 % |
379.31/379.58 c | 294144 | 13633 58370 177327 | 2147483647 294144 224 | 0.000 % |
380.91/381.17 c | 294936 | 13633 58370 177327 | 2147483647 294936 224 | 0.000 % |
382.91/383.17 c | 295807 | 13633 58370 177327 | 2147483647 295807 224 | 0.000 % |
385.00/385.24 c | 296765 | 13633 58370 177327 | 2147483647 296765 224 | 0.000 % |
386.91/387.19 c | 297819 | 13633 58370 177327 | 2147483647 297819 224 | 0.000 % |
389.21/389.43 c | 298977 | 13633 58370 177327 | 2147483647 298977 224 | 0.000 % |
391.80/392.08 c | 300252 | 13633 58370 177327 | 2147483647 300252 224 | 0.000 % |
394.60/394.89 c | 301652 | 13633 58370 177327 | 2147483647 301652 225 | 0.000 % |
397.81/398.07 c | 303192 | 13633 58370 177327 | 2147483647 303192 225 | 0.000 % |
401.10/401.38 c | 304886 | 13633 58370 177327 | 2147483647 304886 225 | 0.000 % |
404.90/405.10 c | 306751 | 13633 58370 177327 | 2147483647 306751 225 | 0.000 % |
408.80/409.06 c | 308801 | 13633 58370 177327 | 2147483647 308801 225 | 0.000 % |
413.20/413.47 c | 311055 | 13633 58370 177327 | 2147483647 311055 226 | 0.000 % |
418.40/418.61 c | 313534 | 13633 58370 177327 | 2147483647 313534 226 | 0.000 % |
424.10/424.32 c | 316261 | 13633 58370 177327 | 2147483647 316261 226 | 0.000 % |
429.99/430.25 c | 319261 | 13633 58370 177327 | 2147483647 319261 227 | 0.000 % |
430.19/430.48 c | 319361 | 13633 58370 177327 | 2147483647 319361 227 | 0.000 % |
430.49/430.75 c | 319472 | 13633 58370 177327 | 2147483647 319472 227 | 0.000 % |
430.79/431.09 c | 319593 | 13633 58370 177327 | 2147483647 319593 227 | 0.000 % |
431.29/431.50 c | 319727 | 13633 58370 177327 | 2147483647 319727 227 | 0.000 % |
431.69/431.92 c | 319875 | 13633 58370 177327 | 2147483647 319875 227 | 0.000 % |
432.00/432.28 c | 320036 | 13633 58370 177327 | 2147483647 320036 227 | 0.000 % |
432.49/432.76 c | 320212 | 13633 58370 177327 | 2147483647 320212 227 | 0.000 % |
432.99/433.26 c | 320406 | 13633 58370 177327 | 2147483647 320406 227 | 0.000 % |
433.59/433.82 c | 320619 | 13633 58370 177327 | 2147483647 320619 227 | 0.000 % |
434.19/434.41 c | 320853 | 13633 58370 177327 | 2147483647 320853 226 | 0.000 % |
434.79/435.02 c | 321110 | 13633 58370 177327 | 2147483647 321110 226 | 0.000 % |
435.40/435.67 c | 321395 | 13633 58370 177327 | 2147483647 321395 226 | 0.000 % |
436.19/436.44 c | 321704 | 13633 58370 177327 | 2147483647 321704 226 | 0.000 % |
436.99/437.26 c | 322043 | 13633 58370 177327 | 2147483647 322043 226 | 0.000 % |
437.99/438.20 c | 322415 | 13633 58370 177327 | 2147483647 322415 226 | 0.000 % |
438.89/439.19 c | 322825 | 13633 58370 177327 | 2147483647 322825 226 | 0.000 % |
439.89/440.18 c | 323274 | 13633 58370 177327 | 2147483647 323274 226 | 0.000 % |
440.98/441.29 c | 323767 | 13633 58370 177327 | 2147483647 323767 226 | 0.000 % |
442.28/442.58 c | 324309 | 13633 58370 177327 | 2147483647 324309 226 | 0.000 % |
443.69/443.92 c | 324909 | 13633 58370 177327 | 2147483647 324909 226 | 0.000 % |
445.19/445.46 c | 325564 | 13633 58370 177327 | 2147483647 325564 226 | 0.000 % |
446.78/447.08 c | 326284 | 13633 58370 177327 | 2147483647 326284 226 | 0.000 % |
448.48/448.80 c | 327076 | 13633 58370 177327 | 2147483647 327076 226 | 0.000 % |
450.59/450.89 c | 327947 | 13633 58370 177327 | 2147483647 327947 226 | 0.000 % |
452.68/452.93 c | 328908 | 13633 58370 177327 | 2147483647 328908 226 | 0.000 % |
455.08/455.34 c | 329961 | 13633 58370 177327 | 2147483647 329961 226 | 0.000 % |
457.78/458.09 c | 331119 | 13633 58370 177327 | 2147483647 331119 226 | 0.000 % |
460.48/460.70 c | 332394 | 13633 58370 177327 | 2147483647 332394 227 | 0.000 % |
463.37/463.62 c | 333794 | 13633 58370 177327 | 2147483647 333794 227 | 0.000 % |
466.58/466.87 c | 335335 | 13633 58370 177327 | 2147483647 335335 227 | 0.000 % |
470.28/470.55 c | 337029 | 13633 58370 177327 | 2147483647 337029 227 | 0.000 % |
474.48/474.78 c | 338892 | 13633 58370 177327 | 2147483647 338892 227 | 0.000 % |
479.18/479.42 c | 340943 | 13633 58370 177327 | 2147483647 340943 227 | 0.000 % |
484.07/484.34 c | 343196 | 13633 58370 177327 | 2147483647 343196 227 | 0.000 % |
489.47/489.77 c | 345674 | 13633 58370 177327 | 2147483647 345674 227 | 0.000 % |
495.67/495.91 c | 348400 | 13633 58370 177327 | 2147483647 348400 228 | 0.000 % |
502.47/502.74 c | 351397 | 13633 58370 177327 | 2147483647 351397 228 | 0.000 % |
509.87/510.12 c | 354696 | 13633 58370 177327 | 2147483647 354696 228 | 0.000 % |
510.17/510.42 c | 354797 | 13633 58370 177327 | 2147483647 354797 228 | 0.000 % |
510.47/510.73 c | 354907 | 13633 58370 177327 | 2147483647 354907 228 | 0.000 % |
510.87/511.10 c | 355028 | 13633 58370 177327 | 2147483647 355028 228 | 0.000 % |
511.27/511.56 c | 355161 | 13633 58370 177327 | 2147483647 355161 228 | 0.000 % |
511.77/512.03 c | 355307 | 13633 58370 177327 | 2147483647 355307 228 | 0.000 % |
512.17/512.44 c | 355467 | 13633 58370 177327 | 2147483647 355467 228 | 0.000 % |
512.77/513.01 c | 355643 | 13633 58370 177327 | 2147483647 355643 228 | 0.000 % |
513.27/513.52 c | 355837 | 13633 58370 177327 | 2147483647 355837 228 | 0.000 % |
513.87/514.14 c | 356049 | 13633 58370 177327 | 2147483647 356049 228 | 0.000 % |
514.57/514.84 c | 356283 | 13633 58370 177327 | 2147483647 356283 228 | 0.000 % |
515.26/515.51 c | 356539 | 13633 58370 177327 | 2147483647 356539 228 | 0.000 % |
515.96/516.28 c | 356820 | 13633 58370 177327 | 2147483647 356820 228 | 0.000 % |
516.86/517.11 c | 357129 | 13633 58370 177327 | 2147483647 357129 228 | 0.000 % |
517.76/518.00 c | 357469 | 13633 58370 177327 | 2147483647 357469 228 | 0.000 % |
518.66/518.92 c | 357842 | 13633 58370 177327 | 2147483647 357842 228 | 0.000 % |
519.76/520.06 c | 358252 | 13633 58370 177327 | 2147483647 358252 228 | 0.000 % |
520.96/521.29 c | 358701 | 13633 58370 177327 | 2147483647 358701 228 | 0.000 % |
522.27/522.56 c | 359194 | 13633 58370 177327 | 2147483647 359194 228 | 0.000 % |
523.66/523.90 c | 359737 | 13633 58370 177327 | 2147483647 359737 228 | 0.000 % |
525.06/525.37 c | 360335 | 13633 58370 177327 | 2147483647 360335 228 | 0.000 % |
526.66/526.91 c | 360993 | 13633 58370 177327 | 2147483647 360993 228 | 0.000 % |
528.35/528.62 c | 361713 | 13633 58370 177327 | 2147483647 361713 228 | 0.000 % |
530.16/530.47 c | 362505 | 13633 58370 177327 | 2147483647 362505 228 | 0.000 % |
532.36/532.68 c | 363377 | 13633 58370 177327 | 2147483647 363377 228 | 0.000 % |
534.85/535.17 c | 364341 | 13633 58370 177327 | 2147483647 364341 228 | 0.000 % |
537.56/537.80 c | 365394 | 13633 58370 177327 | 2147483647 365394 228 | 0.000 % |
540.15/540.46 c | 366553 | 13633 58370 177327 | 2147483647 366553 228 | 0.000 % |
543.36/543.62 c | 367826 | 13633 58370 177327 | 2147483647 367826 229 | 0.000 % |
546.45/546.75 c | 369227 | 13633 58370 177327 | 2147483647 369227 229 | 0.000 % |
549.95/550.24 c | 370768 | 13633 58370 177327 | 2147483647 370768 229 | 0.000 % |
553.45/553.79 c | 372466 | 13633 58370 177327 | 2147483647 372466 229 | 0.000 % |
557.65/557.97 c | 374331 | 13633 58370 177327 | 2147483647 374331 229 | 0.000 % |
562.44/562.74 c | 376383 | 13633 58370 177327 | 2147483647 376383 229 | 0.000 % |
567.65/567.98 c | 378639 | 13633 58370 177327 | 2147483647 378639 230 | 0.000 % |
573.25/573.57 c | 381117 | 13633 58370 177327 | 2147483647 381117 230 | 0.000 % |
579.45/579.76 c | 383842 | 13633 58370 177327 | 2147483647 383842 230 | 0.000 % |
586.54/586.80 c | 386840 | 13633 58370 177327 | 2147483647 386840 230 | 0.000 % |
594.14/594.44 c | 390136 | 13633 58370 177327 | 2147483647 390136 230 | 0.000 % |
602.63/602.93 c | 393761 | 13633 58370 177327 | 2147483647 393761 231 | 0.000 % |
602.93/603.28 c | 393861 | 13633 58370 177327 | 2147483647 393861 231 | 0.000 % |
603.33/603.63 c | 393972 | 13633 58370 177327 | 2147483647 393972 231 | 0.000 % |
603.64/603.97 c | 394093 | 13633 58370 177327 | 2147483647 394093 231 | 0.000 % |
604.13/604.43 c | 394227 | 13633 58370 177327 | 2147483647 394227 231 | 0.000 % |
604.64/604.91 c | 394373 | 13633 58370 177327 | 2147483647 394373 231 | 0.000 % |
605.13/605.49 c | 394534 | 13633 58370 177327 | 2147483647 394534 231 | 0.000 % |
605.73/606.06 c | 394711 | 13633 58370 177327 | 2147483647 394711 231 | 0.000 % |
606.33/606.61 c | 394907 | 13633 58370 177327 | 2147483647 394907 231 | 0.000 % |
606.93/607.25 c | 395119 | 13633 58370 177327 | 2147483647 395119 231 | 0.000 % |
607.63/607.94 c | 395352 | 13633 58370 177327 | 2147483647 395352 231 | 0.000 % |
608.24/608.59 c | 395608 | 13633 58370 177327 | 2147483647 395608 231 | 0.000 % |
609.04/609.38 c | 395889 | 13633 58370 177327 | 2147483647 395889 231 | 0.000 % |
609.84/610.14 c | 396198 | 13633 58370 177327 | 2147483647 396198 231 | 0.000 % |
610.74/611.09 c | 396537 | 13633 58370 177327 | 2147483647 396537 231 | 0.000 % |
611.84/612.18 c | 396910 | 13633 58370 177327 | 2147483647 396910 231 | 0.000 % |
613.13/613.48 c | 397319 | 13633 58370 177327 | 2147483647 397319 230 | 0.000 % |
614.43/614.72 c | 397768 | 13633 58370 177327 | 2147483647 397768 230 | 0.000 % |
615.83/616.15 c | 398261 | 13633 58370 177327 | 2147483647 398261 230 | 0.000 % |
617.23/617.58 c | 398803 | 13633 58370 177327 | 2147483647 398803 230 | 0.000 % |
618.93/619.21 c | 399404 | 13633 58370 177327 | 2147483647 399404 230 | 0.000 % |
620.53/620.89 c | 400059 | 13633 58370 177327 | 2147483647 400059 230 | 0.000 % |
622.73/623.01 c | 400780 | 13633 58370 177327 | 2147483647 400780 230 | 0.000 % |
624.83/625.14 c | 401573 | 13633 58370 177327 | 2147483647 401573 230 | 0.000 % |
627.32/627.65 c | 402445 | 13633 58370 177327 | 2147483647 402445 230 | 0.000 % |
630.03/630.32 c | 403403 | 13633 58370 177327 | 2147483647 403403 230 | 0.000 % |
632.73/633.09 c | 404458 | 13633 58370 177327 | 2147483647 404458 230 | 0.000 % |
635.62/635.92 c | 405616 | 13633 58370 177327 | 2147483647 405616 230 | 0.000 % |
638.62/638.98 c | 406892 | 13633 58370 177327 | 2147483647 406892 231 | 0.000 % |
642.23/642.55 c | 408292 | 13633 58370 177327 | 2147483647 408292 231 | 0.000 % |
646.02/646.39 c | 409832 | 13633 58370 177327 | 2147483647 409832 231 | 0.000 % |
650.32/650.67 c | 411526 | 13633 58370 177327 | 2147483647 411526 231 | 0.000 % |
655.33/655.67 c | 413389 | 13633 58370 177327 | 2147483647 413389 231 | 0.000 % |
660.62/660.93 c | 415439 | 13633 58370 177327 | 2147483647 415439 231 | 0.000 % |
666.22/666.59 c | 417693 | 13633 58370 177327 | 2147483647 417693 232 | 0.000 % |
672.51/672.87 c | 420172 | 13633 58370 177327 | 2147483647 420172 232 | 0.000 % |
679.31/679.62 c | 422898 | 13633 58370 177327 | 2147483647 422898 232 | 0.000 % |
687.31/687.65 c | 425897 | 13633 58370 177327 | 2147483647 425897 232 | 0.000 % |
695.71/696.05 c | 429193 | 13633 58370 177327 | 2147483647 429193 232 | 0.000 % |
704.81/705.11 c | 432818 | 13633 58370 177327 | 2147483647 432818 233 | 0.000 % |
715.11/715.46 c | 436806 | 13633 58370 177327 | 2147483647 436806 233 | 0.000 % |
715.40/715.78 c | 436906 | 13633 58370 177327 | 2147483647 436906 233 | 0.000 % |
715.81/716.16 c | 437016 | 13633 58370 177327 | 2147483647 437016 233 | 0.000 % |
716.30/716.61 c | 437137 | 13633 58370 177327 | 2147483647 437137 233 | 0.000 % |
716.70/717.05 c | 437273 | 13633 58370 177327 | 2147483647 437273 233 | 0.000 % |
717.20/717.53 c | 437419 | 13633 58370 177327 | 2147483647 437419 233 | 0.000 % |
717.70/718.08 c | 437579 | 13633 58370 177327 | 2147483647 437579 233 | 0.000 % |
718.40/718.76 c | 437756 | 13633 58370 177327 | 2147483647 437756 233 | 0.000 % |
719.10/719.40 c | 437950 | 13633 58370 177327 | 2147483647 437950 233 | 0.000 % |
719.80/720.17 c | 438164 | 13633 58370 177327 | 2147483647 438164 233 | 0.000 % |
720.50/720.87 c | 438397 | 13633 58370 177327 | 2147483647 438397 233 | 0.000 % |
721.40/721.73 c | 438654 | 13633 58370 177327 | 2147483647 438654 233 | 0.000 % |
722.20/722.53 c | 438935 | 13633 58370 177327 | 2147483647 438935 233 | 0.000 % |
723.10/723.47 c | 439246 | 13633 58370 177327 | 2147483647 439246 233 | 0.000 % |
724.10/724.49 c | 439585 | 13633 58370 177327 | 2147483647 439585 233 | 0.000 % |
725.31/725.65 c | 439958 | 13633 58370 177327 | 2147483647 439958 233 | 0.000 % |
726.60/726.90 c | 440367 | 13633 58370 177327 | 2147483647 440367 233 | 0.000 % |
727.91/728.26 c | 440817 | 13633 58370 177327 | 2147483647 440817 233 | 0.000 % |
729.40/729.73 c | 441311 | 13633 58370 177327 | 2147483647 441311 233 | 0.000 % |
731.00/731.33 c | 441853 | 13633 58370 177327 | 2147483647 441853 233 | 0.000 % |
732.80/733.14 c | 442449 | 13633 58370 177327 | 2147483647 442449 233 | 0.000 % |
734.70/735.05 c | 443104 | 13633 58370 177327 | 2147483647 443104 233 | 0.000 % |
736.80/737.17 c | 443824 | 13633 58370 177327 | 2147483647 443824 233 | 0.000 % |
738.90/739.26 c | 444616 | 13633 58370 177327 | 2147483647 444616 232 | 0.000 % |
741.30/741.61 c | 445488 | 13633 58370 177327 | 2147483647 445488 232 | 0.000 % |
743.90/744.26 c | 446446 | 13633 58370 177327 | 2147483647 446446 232 | 0.000 % |
746.80/747.14 c | 447499 | 13633 58370 177327 | 2147483647 447499 232 | 0.000 % |
750.30/750.61 c | 448657 | 13633 58370 177327 | 2147483647 448657 232 | 0.000 % |
753.59/753.91 c | 449932 | 13633 58370 177327 | 2147483647 449932 233 | 0.000 % |
756.80/757.20 c | 451332 | 13633 58370 177327 | 2147483647 451332 233 | 0.000 % |
761.09/761.48 c | 452873 | 13633 58370 177327 | 2147483647 452873 233 | 0.000 % |
766.19/766.56 c | 454567 | 13633 58370 177327 | 2147483647 454567 233 | 0.000 % |
771.79/772.12 c | 456433 | 13633 58370 177327 | 2147483647 456433 233 | 0.000 % |
777.29/777.66 c | 458484 | 13633 58370 177327 | 2147483647 458484 233 | 0.000 % |
783.49/783.85 c | 460738 | 13633 58370 177327 | 2147483647 460738 233 | 0.000 % |
790.18/790.59 c | 463217 | 13633 58370 177327 | 2147483647 463217 234 | 0.000 % |
797.18/797.53 c | 465942 | 13633 58370 177327 | 2147483647 465942 234 | 0.000 % |
805.18/805.54 c | 468940 | 13633 58370 177327 | 2147483647 468940 234 | 0.000 % |
814.27/814.60 c | 472237 | 13633 58370 177327 | 2147483647 472237 234 | 0.000 % |
823.87/824.28 c | 475862 | 13633 58370 177327 | 2147483647 475862 235 | 0.000 % |
834.37/834.72 c | 479849 | 13633 58370 177327 | 2147483647 479849 236 | 0.000 % |
846.07/846.49 c | 484234 | 13633 58370 177327 | 2147483647 484234 236 | 0.000 % |
846.47/846.86 c | 484335 | 13633 58370 177327 | 2147483647 484335 236 | 0.000 % |
846.97/847.34 c | 484445 | 13633 58370 177327 | 2147483647 484445 236 | 0.000 % |
847.37/847.79 c | 484567 | 13633 58370 177327 | 2147483647 484567 236 | 0.000 % |
847.97/848.35 c | 484700 | 13633 58370 177327 | 2147483647 484700 236 | 0.000 % |
848.57/848.91 c | 484846 | 13633 58370 177327 | 2147483647 484846 236 | 0.000 % |
849.07/849.49 c | 485007 | 13633 58370 177327 | 2147483647 485007 236 | 0.000 % |
849.76/850.20 c | 485185 | 13633 58370 177327 | 2147483647 485185 236 | 0.000 % |
850.56/850.95 c | 485378 | 13633 58370 177327 | 2147483647 485378 236 | 0.000 % |
851.26/851.63 c | 485590 | 13633 58370 177327 | 2147483647 485590 236 | 0.000 % |
852.07/852.48 c | 485823 | 13633 58370 177327 | 2147483647 485823 236 | 0.000 % |
852.96/853.37 c | 486079 | 13633 58370 177327 | 2147483647 486079 236 | 0.000 % |
853.96/854.35 c | 486362 | 13633 58370 177327 | 2147483647 486362 236 | 0.000 % |
855.06/855.43 c | 486673 | 13633 58370 177327 | 2147483647 486673 236 | 0.000 % |
856.06/856.48 c | 487013 | 13633 58370 177327 | 2147483647 487013 236 | 0.000 % |
857.46/857.81 c | 487385 | 13633 58370 177327 | 2147483647 487385 236 | 0.000 % |
858.86/859.20 c | 487797 | 13633 58370 177327 | 2147483647 487797 236 | 0.000 % |
860.26/860.61 c | 488246 | 13633 58370 177327 | 2147483647 488246 236 | 0.000 % |
861.96/862.31 c | 488740 | 13633 58370 177327 | 2147483647 488740 236 | 0.000 % |
863.65/864.00 c | 489282 | 13633 58370 177327 | 2147483647 489282 236 | 0.000 % |
865.45/865.89 c | 489878 | 13633 58370 177327 | 2147483647 489878 236 | 0.000 % |
867.56/867.92 c | 490533 | 13633 58370 177327 | 2147483647 490533 236 | 0.000 % |
870.06/870.40 c | 491253 | 13633 58370 177327 | 2147483647 491253 236 | 0.000 % |
872.25/872.67 c | 492047 | 13633 58370 177327 | 2147483647 492047 236 | 0.000 % |
874.95/875.33 c | 492918 | 13633 58370 177327 | 2147483647 492918 236 | 0.000 % |
878.15/878.51 c | 493876 | 13633 58370 177327 | 2147483647 493876 236 | 0.000 % |
881.35/881.77 c | 494929 | 13633 58370 177327 | 2147483647 494929 236 | 0.000 % |
884.85/885.28 c | 496087 | 13633 58370 177327 | 2147483647 496087 236 | 0.000 % |
889.05/889.40 c | 497361 | 13633 58370 177327 | 2147483647 497361 236 | 0.000 % |
893.15/893.53 c | 498762 | 13633 58370 177327 | 2147483647 498762 236 | 0.000 % |
897.55/897.92 c | 500303 | 13633 58370 177327 | 2147483647 500303 236 | 0.000 % |
902.65/903.05 c | 501998 | 13633 58370 177327 | 2147483647 501998 236 | 0.000 % |
907.94/908.30 c | 503863 | 13633 58370 177327 | 2147483647 503863 237 | 0.000 % |
913.54/913.98 c | 505914 | 13633 58370 177327 | 2147483647 505914 237 | 0.000 % |
919.94/920.36 c | 508168 | 13633 58370 177327 | 2147483647 508168 237 | 0.000 % |
927.24/927.64 c | 510646 | 13633 58370 177327 | 2147483647 510646 237 | 0.000 % |
934.74/935.16 c | 513372 | 13633 58370 177327 | 2147483647 513372 237 | 0.000 % |
943.54/943.91 c | 516369 | 13633 58370 177327 | 2147483647 516369 237 | 0.000 % |
952.93/953.33 c | 519665 | 13633 58370 177327 | 2147483647 519665 237 | 0.000 % |
963.72/964.18 c | 523290 | 13633 58370 177327 | 2147483647 523290 237 | 0.000 % |
975.42/975.82 c | 527278 | 13633 58370 177327 | 2147483647 527278 238 | 0.000 % |
988.03/988.46 c | 531665 | 13633 58370 177327 | 2147483647 531665 238 | 0.000 % |
1002.52/1002.93 c | 536490 | 13633 58370 177327 | 2147483647 536490 238 | 0.000 % |
1002.82/1003.29 c | 536590 | 13633 58370 177327 | 2147483647 536590 238 | 0.000 % |
1003.41/1003.80 c | 536700 | 13633 58370 177327 | 2147483647 536700 238 | 0.000 % |
1003.92/1004.39 c | 536822 | 13633 58370 177327 | 2147483647 536822 238 | 0.000 % |
1004.51/1004.91 c | 536955 | 13633 58370 177327 | 2147483647 536955 238 | 0.000 % |
1005.11/1005.54 c | 537101 | 13633 58370 177327 | 2147483647 537101 238 | 0.000 % |
1005.71/1006.19 c | 537264 | 13633 58370 177327 | 2147483647 537264 238 | 0.000 % |
1006.51/1006.90 c | 537440 | 13633 58370 177327 | 2147483647 537440 238 | 0.000 % |
1007.32/1007.70 c | 537634 | 13633 58370 177327 | 2147483647 537634 238 | 0.000 % |
1008.12/1008.53 c | 537847 | 13633 58370 177327 | 2147483647 537847 238 | 0.000 % |
1009.02/1009.41 c | 538082 | 13633 58370 177327 | 2147483647 538082 238 | 0.000 % |
1010.02/1010.46 c | 538338 | 13633 58370 177327 | 2147483647 538338 238 | 0.000 % |
1011.12/1011.55 c | 538619 | 13633 58370 177327 | 2147483647 538619 238 | 0.000 % |
1012.22/1012.62 c | 538930 | 13633 58370 177327 | 2147483647 538930 238 | 0.000 % |
1013.52/1013.91 c | 539269 | 13633 58370 177327 | 2147483647 539269 238 | 0.000 % |
1014.71/1015.19 c | 539641 | 13633 58370 177327 | 2147483647 539641 238 | 0.000 % |
1016.31/1016.75 c | 540052 | 13633 58370 177327 | 2147483647 540052 238 | 0.000 % |
1017.91/1018.37 c | 540502 | 13633 58370 177327 | 2147483647 540502 238 | 0.000 % |
1019.71/1020.15 c | 540997 | 13633 58370 177327 | 2147483647 540997 238 | 0.000 % |
1021.71/1022.17 c | 541539 | 13633 58370 177327 | 2147483647 541539 238 | 0.000 % |
1023.81/1024.29 c | 542139 | 13633 58370 177327 | 2147483647 542139 238 | 0.000 % |
1026.11/1026.50 c | 542795 | 13633 58370 177327 | 2147483647 542795 238 | 0.000 % |
1028.61/1029.00 c | 543515 | 13633 58370 177327 | 2147483647 543515 238 | 0.000 % |
1031.31/1031.71 c | 544308 | 13633 58370 177327 | 2147483647 544308 238 | 0.000 % |
1034.40/1034.80 c | 545184 | 13633 58370 177327 | 2147483647 545184 238 | 0.000 % |
1037.50/1037.91 c | 546142 | 13633 58370 177327 | 2147483647 546142 238 | 0.000 % |
1040.81/1041.24 c | 547197 | 13633 58370 177327 | 2147483647 547197 238 | 0.000 % |
1044.70/1045.12 c | 548356 | 13633 58370 177327 | 2147483647 548356 238 | 0.000 % |
1048.70/1049.12 c | 549631 | 13633 58370 177327 | 2147483647 549631 238 | 0.000 % |
1053.10/1053.58 c | 551031 | 13633 58370 177327 | 2147483647 551031 238 | 0.000 % |
1058.40/1058.89 c | 552571 | 13633 58370 177327 | 2147483647 552571 238 | 0.000 % |
1064.49/1064.94 c | 554266 | 13633 58370 177327 | 2147483647 554266 238 | 0.000 % |
1070.50/1070.97 c | 556129 | 13633 58370 177327 | 2147483647 556129 238 | 0.000 % |
1076.99/1077.42 c | 558178 | 13633 58370 177327 | 2147483647 558178 238 | 0.000 % |
1084.29/1084.74 c | 560432 | 13633 58370 177327 | 2147483647 560432 238 | 0.000 % |
1092.19/1092.65 c | 562910 | 13633 58370 177327 | 2147483647 562910 238 | 0.000 % |
1100.79/1101.23 c | 565636 | 13633 58370 177327 | 2147483647 565636 239 | 0.000 % |
1110.19/1110.62 c | 568637 | 13633 58370 177327 | 2147483647 568637 239 | 0.000 % |
1120.28/1120.78 c | 571934 | 13633 58370 177327 | 2147483647 571934 239 | 0.000 % |
1131.17/1131.68 c | 575559 | 13633 58370 177327 | 2147483647 575559 239 | 0.000 % |
1144.68/1145.14 c | 579546 | 13633 58370 177327 | 2147483647 579546 240 | 0.000 % |
1159.47/1159.90 c | 583932 | 13633 58370 177327 | 2147483647 583932 240 | 0.000 % |
1175.67/1176.18 c | 588755 | 13633 58370 177327 | 2147483647 588755 240 | 0.000 % |
1192.46/1192.92 c | 594062 | 13633 58370 177327 | 2147483647 594062 241 | 0.000 % |
1192.96/1193.45 c | 594162 | 13633 58370 177327 | 2147483647 594162 241 | 0.000 % |
1193.46/1193.97 c | 594272 | 13633 58370 177327 | 2147483647 594272 241 | 0.000 % |
1194.06/1194.56 c | 594395 | 13633 58370 177327 | 2147483647 594395 240 | 0.000 % |
1194.66/1195.16 c | 594529 | 13633 58370 177327 | 2147483647 594529 240 | 0.000 % |
1195.47/1195.97 c | 594677 | 13633 58370 177327 | 2147483647 594677 240 | 0.000 % |
1196.16/1196.70 c | 594841 | 13633 58370 177327 | 2147483647 594841 240 | 0.000 % |
1196.86/1197.38 c | 595017 | 13633 58370 177327 | 2147483647 595017 240 | 0.000 % |
1197.96/1198.44 c | 595212 | 13633 58370 177327 | 2147483647 595212 240 | 0.000 % |
1198.86/1199.38 c | 595424 | 13633 58370 177327 | 2147483647 595424 240 | 0.000 % |
1199.96/1200.42 c | 595657 | 13633 58370 177327 | 2147483647 595657 240 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832731-1242787108/watcher-1832731-1242787108 -o /tmp/evaluation-result-1832731-1242787108/solver-1832731-1242787108 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832731-1242787108.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 1.00 1.00 3/64 7623
/proc/meminfo: memFree=1647336/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306744360 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 237788430418 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/7623/statm: 1339 235 195 169 0 50 0
[pid=7624] ppid=7623 vsize=5356 CPUtime=0
/proc/7624/stat : 7624 (SatELiteGTI) S 7623 7623 6992 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306744360 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/7624/statm: 1339 238 198 169 0 50 0
[pid=7626] ppid=7624 vsize=192 CPUtime=0
/proc/7626/stat : 7626 (sed) R 7624 7623 6992 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 306744360 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 237785642377 0 0 4096 0 0 0 0 17 0 0 0
/proc/7626/statm: 48 23 16 11 0 11 0
[startup+0.0360759 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 7623
/proc/meminfo: memFree=1647336/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306744360 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7623/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10108 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 7623
/proc/meminfo: memFree=1647336/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306744360 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7623/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301111 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 7623
/proc/meminfo: memFree=1647336/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 5356
[startup+0.701154 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 7623
/proc/meminfo: memFree=1647336/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 5356
[startup+1.50122 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7629
/proc/meminfo: memFree=1639824/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=7536 CPUtime=1.2
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 1750 0 0 0 120 0 0 0 25 0 1 0 306744387 7716864 1736 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 1884 1736 77 171 0 1711 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12892
[startup+3.10139 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7629
/proc/meminfo: memFree=1638032/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=9912 CPUtime=2.81
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 2359 0 0 0 280 1 0 0 25 0 1 0 306744387 10149888 2345 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 2478 2345 77 171 0 2305 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15268
[startup+6.30271 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7629
/proc/meminfo: memFree=1632912/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=14548 CPUtime=6
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 3519 0 0 0 599 1 0 0 25 0 1 0 306744387 14897152 3505 1992294400 134512640 135215339 4294956240 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 3637 3505 77 171 0 3464 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 19904
[startup+12.7014 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7629
/proc/meminfo: memFree=1623704/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=23420 CPUtime=12.39
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 5730 0 0 0 1234 5 0 0 25 0 1 0 306744387 23982080 5716 1992294400 134512640 135215339 4294956240 18446744073709551615 134528658 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 5855 5716 77 171 0 5682 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 28776
[startup+25.5017 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7629
/proc/meminfo: memFree=1607256/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=39248 CPUtime=25.18
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 9674 0 0 0 2508 10 0 0 25 0 1 0 306744387 40189952 9660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 9812 9660 77 171 0 9639 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 44604
[startup+51.1013 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7629
/proc/meminfo: memFree=1580504/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=66044 CPUtime=50.77
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 16374 0 0 0 5059 18 0 0 25 0 1 0 306744387 67629056 16360 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 16511 16361 77 171 0 16338 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 71400
[startup+102.306 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7629
/proc/meminfo: memFree=1536280/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=109784 CPUtime=101.95
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 27305 0 0 0 10166 29 0 0 25 0 1 0 306744387 112418816 27291 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 27446 27291 77 171 0 27273 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 115140
[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7629
/proc/meminfo: memFree=1493464/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=152832 CPUtime=161.92
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 38047 0 0 0 16149 43 0 0 25 0 1 0 306744387 156499968 38033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 38208 38033 77 171 0 38035 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 158188
[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7629
/proc/meminfo: memFree=1454104/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=191912 CPUtime=221.9
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 47770 0 0 0 22137 53 0 0 25 0 1 0 306744387 196517888 47756 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 47978 47756 77 171 0 47805 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 197268
[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7631
/proc/meminfo: memFree=1421208/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=224784 CPUtime=281.88
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 56015 0 0 0 28125 63 0 0 25 0 1 0 306744387 230178816 56001 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 56196 56001 77 171 0 56023 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 230140
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7631
/proc/meminfo: memFree=1388376/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=257128 CPUtime=341.86
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 64127 0 0 0 34113 73 0 0 25 0 1 0 306744387 263299072 64113 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 64282 64113 77 171 0 64109 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 262484
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7631
/proc/meminfo: memFree=1359000/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=286432 CPUtime=401.84
################
# More data... #
################
/proc/7629/statm: 91859 91649 77 171 0 91686 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 372792
[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7631
/proc/meminfo: memFree=1254424/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=390272 CPUtime=641.76
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 97381 0 0 0 64063 113 0 0 25 0 1 0 306744387 399638528 97367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 97568 97367 77 171 0 97395 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 395628
[startup+702.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7631
/proc/meminfo: memFree=1229720/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=415088 CPUtime=701.74
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 103606 0 0 0 70053 121 0 0 25 0 1 0 306744387 425050112 103592 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 103772 103592 77 171 0 103599 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 420444
[startup+762.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7631
/proc/meminfo: memFree=1208088/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=436208 CPUtime=761.74
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 108910 0 0 0 76047 127 0 0 25 0 1 0 306744387 446676992 108896 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 109052 108896 77 171 0 108879 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 441564
[startup+822.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7631
/proc/meminfo: memFree=1184280/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=461012 CPUtime=821.71
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 114914 0 0 0 82037 134 0 0 25 0 1 0 306744387 472076288 114900 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 115253 114900 77 171 0 115080 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 466368
[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7631
/proc/meminfo: memFree=1161688/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=483200 CPUtime=881.69
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 120471 0 0 0 88029 140 0 0 25 0 1 0 306744387 494796800 120457 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 120800 120457 77 171 0 120627 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 488556
[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7631
/proc/meminfo: memFree=1139928/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=504980 CPUtime=941.67
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 125937 0 0 0 94020 147 0 0 25 0 1 0 306744387 517099520 125923 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 126245 125923 77 171 0 126072 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 510336
[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7631
/proc/meminfo: memFree=1117208/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=527288 CPUtime=1001.66
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 131548 0 0 0 100012 154 0 0 25 0 1 0 306744387 539942912 131534 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 131822 131534 77 171 0 131649 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 532644
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7631
/proc/meminfo: memFree=1100696/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=543792 CPUtime=1061.63
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 135678 0 0 0 106005 158 0 0 25 0 1 0 306744387 556843008 135664 1992294400 134512640 135215339 4294956240 18446744073709551615 134528858 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 135948 135664 77 171 0 135775 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 549148
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7631
/proc/meminfo: memFree=1080600/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=563592 CPUtime=1121.62
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 140650 0 0 0 111998 164 0 0 25 0 1 0 306744387 577118208 140636 1992294400 134512640 135215339 4294956240 18446744073709551615 134529323 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 140898 140636 77 171 0 140725 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 568948
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7631
/proc/meminfo: memFree=1060440/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=583788 CPUtime=1181.6
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 145719 0 0 0 117989 171 0 0 25 0 1 0 306744387 597798912 145705 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 145947 145705 77 171 0 145774 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 589144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7631
/proc/meminfo: memFree=1054296/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=589464 CPUtime=1199.81
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 147155 0 0 0 119808 173 0 0 25 0 1 0 306744387 603611136 147141 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 147366 147141 77 171 0 147193 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 594820
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 7631
/proc/meminfo: memFree=1054296/2055920 swapFree=4180428/4192956
[pid=7623] ppid=7621 vsize=5356 CPUtime=0.26
/proc/7623/stat : 7623 (SatELiteGTI) S 7621 7623 6992 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306744360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7623/statm: 1339 239 197 169 0 50 0
[pid=7629] ppid=7623 vsize=589464 CPUtime=1199.81
/proc/7629/stat : 7629 (minisat_static) R 7623 7623 6992 0 -1 4194304 147155 0 0 0 119808 173 0 0 25 0 1 0 306744387 603611136 147141 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7629/statm: 147366 147141 77 171 0 147193 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 594820
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7623 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=260960
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 0.276957
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.07
CPU user time (s): 1198.33
CPU system time (s): 1.74
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 594820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.26096
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2405
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6
runsolver used 1.46178 second user time and 3.01654 second system time
The end
Begin job on node24 at 2009-05-20 04:38:28
IDJOB=1832731
IDBENCH=70329
IDSOLVER=671
FILE ID=node24/1832731-1242787108
PBS_JOBID= 9322322
Free space on /tmp= 66148 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/14000/unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832731-1242787108/watcher-1832731-1242787108 -o /tmp/evaluation-result-1832731-1242787108/solver-1832731-1242787108 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832731-1242787108.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4a32998e8f57b42d66014efe21307642
RANDOM SEED=1928199917
node24.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.232
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.232
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: 1647816 kB
Buffers: 28848 kB
Cached: 327464 kB
SwapCached: 6876 kB
Active: 232208 kB
Inactive: 133072 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1647816 kB
SwapTotal: 4192956 kB
SwapFree: 4180428 kB
Dirty: 2688 kB
Writeback: 0 kB
Mapped: 14060 kB
Slab: 28768 kB
Committed_AS: 1026192 kB
PageTables: 1444 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= 66144 MiB
End job on node24 at 2009-05-20 04:58:31