0.00/0.00 c Parsing...
0.00/0.07 c ==============================================================================
0.00/0.07 c | | ORIGINAL | LEARNT | |
0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.07 c ==============================================================================
0.00/0.07 c | 0 | 67200 201600 | 20159 0 0 nan | 0.000 % |
0.00/0.24 c | 0 | 66788 202845 | -- 0 -- -- | -- | -412/1245
0.00/0.24 c ==============================================================================
0.00/0.24 c Result : #vars: 15602 #clauses: 66788 #literals: 202845
0.00/0.24 c CPU time: 0.224965 s
0.00/0.24 c ==============================================================================
0.00/0.31 c This is MiniSat 2.0 beta
0.00/0.31 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.31 c ============================[ Problem Statistics ]=============================
0.00/0.31 c | |
0.00/0.32 c | Number of variables: 15602 |
0.00/0.32 c | Number of clauses: 66788 |
0.00/0.37 c | Parsing time: 0.04 s |
0.00/0.37 c ============================[ Search Statistics ]==============================
0.00/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.37 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.37 c ===============================================================================
0.00/0.37 c | 0 | 15602 66788 202845 | 22262 0 nan | 0.000 % |
0.31/0.43 c | 100 | 15602 66788 202845 | 22262 100 161 | 0.000 % |
0.31/0.48 c | 200 | 15602 66788 202845 | 22262 200 155 | 0.000 % |
0.31/0.54 c | 301 | 15602 66788 202845 | 22262 301 160 | 0.000 % |
0.31/0.61 c | 411 | 15602 66788 202845 | 22262 411 176 | 0.000 % |
0.31/0.66 c | 511 | 15602 66788 202845 | 22262 511 178 | 0.000 % |
0.31/0.73 c | 622 | 15602 66788 202845 | 22262 622 179 | 0.000 % |
0.31/0.80 c | 743 | 15602 66788 202845 | 22262 743 179 | 0.000 % |
0.31/0.85 c | 843 | 15602 66788 202845 | 22262 843 178 | 0.000 % |
0.31/0.92 c | 954 | 15602 66788 202845 | 22262 954 177 | 0.000 % |
0.31/0.99 c | 1076 | 15602 66788 202845 | 22262 1076 185 | 0.000 % |
0.98/1.07 c | 1209 | 15602 66788 202845 | 22262 1209 188 | 0.000 % |
1.08/1.12 c | 1309 | 15602 66788 202845 | 22262 1309 185 | 0.000 % |
1.08/1.18 c | 1420 | 15602 66788 202845 | 22262 1420 184 | 0.000 % |
1.18/1.24 c | 1542 | 15602 66788 202845 | 22262 1542 185 | 0.000 % |
1.28/1.32 c | 1676 | 15602 66788 202845 | 22262 1676 184 | 0.000 % |
1.28/1.40 c | 1823 | 15602 66788 202845 | 22262 1823 183 | 0.000 % |
1.37/1.45 c | 1924 | 15602 66788 202845 | 22262 1924 184 | 0.000 % |
1.47/1.52 c | 2037 | 15602 66788 202845 | 22262 2037 186 | 0.000 % |
1.47/1.58 c | 2158 | 15602 66788 202845 | 22262 2158 186 | 0.000 % |
1.57/1.65 c | 2291 | 15602 66788 202845 | 22262 2291 186 | 0.000 % |
1.67/1.72 c | 2437 | 15602 66788 202845 | 22262 2437 185 | 0.000 % |
1.77/1.81 c | 2597 | 15602 66788 202845 | 22262 2597 183 | 0.000 % |
1.77/1.87 c | 2697 | 15602 66788 202845 | 22262 2697 183 | 0.000 % |
1.87/1.93 c | 2807 | 15602 66788 202845 | 22262 2807 182 | 0.000 % |
1.97/2.00 c | 2928 | 15602 66788 202845 | 22262 2928 181 | 0.000 % |
1.97/2.07 c | 3061 | 15602 66788 202845 | 22262 3061 180 | 0.000 % |
2.08/2.15 c | 3207 | 15602 66788 202845 | 22262 3207 180 | 0.000 % |
2.18/2.24 c | 3368 | 15602 66788 202845 | 22262 3368 179 | 0.000 % |
2.28/2.34 c | 3544 | 15602 66788 202845 | 22262 3544 179 | 0.000 % |
2.38/2.40 c | 3645 | 15602 66788 202845 | 22262 3645 177 | 0.000 % |
2.38/2.47 c | 3760 | 15602 66788 202845 | 22262 3760 178 | 0.000 % |
2.48/2.55 c | 3882 | 15602 66788 202845 | 22262 3882 179 | 0.000 % |
2.58/2.62 c | 4015 | 15602 66788 202845 | 22262 4015 179 | 0.000 % |
2.68/2.71 c | 4165 | 15602 66788 202845 | 22262 4165 181 | 0.000 % |
2.78/2.81 c | 4326 | 15602 66788 202845 | 22262 4326 182 | 0.000 % |
2.88/2.92 c | 4502 | 15602 66788 202845 | 22262 4502 183 | 0.000 % |
2.98/3.03 c | 4696 | 15602 66788 202845 | 22262 4696 184 | 0.000 % |
2.98/3.09 c | 4796 | 15602 66788 202845 | 22262 4796 184 | 0.000 % |
3.07/3.16 c | 4909 | 15602 66788 202845 | 22262 4909 184 | 0.000 % |
3.18/3.23 c | 5030 | 15602 66788 202845 | 22262 5030 184 | 0.000 % |
3.28/3.32 c | 5166 | 15602 66788 202845 | 22262 5166 184 | 0.000 % |
3.37/3.40 c | 5312 | 15602 66788 202845 | 22262 5312 184 | 0.000 % |
3.37/3.49 c | 5472 | 15602 66788 202845 | 22262 5472 185 | 0.000 % |
3.47/3.59 c | 5648 | 15602 66788 202845 | 22262 5648 185 | 0.000 % |
3.67/3.70 c | 5842 | 15602 66788 202845 | 22262 5842 186 | 0.000 % |
3.77/3.82 c | 6054 | 15602 66788 202845 | 22262 6054 187 | 0.000 % |
3.77/3.89 c | 6154 | 15602 66788 202845 | 22262 6154 188 | 0.000 % |
3.87/3.96 c | 6264 | 15602 66788 202845 | 22262 6264 188 | 0.000 % |
3.97/4.03 c | 6386 | 15602 66788 202845 | 22262 6386 188 | 0.000 % |
4.07/4.12 c | 6520 | 15602 66788 202845 | 22262 6520 188 | 0.000 % |
4.17/4.20 c | 6666 | 15602 66788 202845 | 22262 6666 187 | 0.000 % |
4.17/4.29 c | 6829 | 15602 66788 202845 | 22262 6829 188 | 0.000 % |
4.28/4.39 c | 7005 | 15602 66788 202845 | 22262 7005 188 | 0.000 % |
4.48/4.51 c | 7198 | 15602 66788 202845 | 22262 7198 188 | 0.000 % |
4.58/4.63 c | 7411 | 15602 66788 202845 | 22262 7411 187 | 0.000 % |
4.68/4.77 c | 7645 | 15602 66788 202845 | 22262 7645 189 | 0.000 % |
4.78/4.83 c | 7749 | 15602 66788 202845 | 22262 7749 189 | 0.000 % |
4.78/4.89 c | 7859 | 15602 66788 202845 | 22262 7859 188 | 0.000 % |
4.88/4.97 c | 7980 | 15602 66788 202845 | 22262 7980 188 | 0.000 % |
4.98/5.05 c | 8113 | 15602 66788 202845 | 22262 8113 189 | 0.000 % |
5.08/5.14 c | 8260 | 15602 66788 202845 | 22262 8260 189 | 0.000 % |
5.18/5.23 c | 8420 | 15602 66788 202845 | 22262 8420 188 | 0.000 % |
5.28/5.34 c | 8598 | 15602 66788 202845 | 22262 8598 189 | 0.000 % |
5.38/5.47 c | 8792 | 15602 66788 202845 | 22262 8792 189 | 0.000 % |
5.48/5.59 c | 9004 | 15602 66788 202845 | 22262 9004 190 | 0.000 % |
5.68/5.74 c | 9238 | 15602 66788 202845 | 22262 9238 192 | 0.000 % |
5.88/5.91 c | 9496 | 15602 66788 202845 | 22262 9496 193 | 0.000 % |
5.88/5.97 c | 9596 | 15602 66788 202845 | 22262 9596 192 | 0.000 % |
5.98/6.05 c | 9706 | 15602 66788 202845 | 22262 9706 192 | 0.000 % |
6.08/6.13 c | 9829 | 15602 66788 202845 | 22262 9829 192 | 0.000 % |
6.18/6.21 c | 9962 | 15602 66788 202845 | 22262 9962 193 | 0.000 % |
6.28/6.31 c | 10108 | 15602 66788 202845 | 2147483647 10108 194 | 0.000 % |
6.38/6.41 c | 10270 | 15602 66788 202845 | 2147483647 10270 193 | 0.000 % |
6.48/6.51 c | 10447 | 15602 66788 202845 | 2147483647 10447 193 | 0.000 % |
6.58/6.64 c | 10640 | 15602 66788 202845 | 2147483647 10640 193 | 0.000 % |
6.67/6.79 c | 10853 | 15602 66788 202845 | 2147483647 10853 194 | 0.000 % |
6.87/6.92 c | 11087 | 15602 66788 202845 | 2147483647 11087 195 | 0.000 % |
6.97/7.08 c | 11344 | 15602 66788 202845 | 2147483647 11344 195 | 0.000 % |
7.17/7.25 c | 11627 | 15602 66788 202845 | 2147483647 11627 195 | 0.000 % |
7.27/7.31 c | 11727 | 15602 66788 202845 | 2147483647 11727 195 | 0.000 % |
7.27/7.38 c | 11838 | 15602 66788 202845 | 2147483647 11838 196 | 0.000 % |
7.37/7.46 c | 11960 | 15602 66788 202845 | 2147483647 11960 196 | 0.000 % |
7.47/7.54 c | 12093 | 15602 66788 202845 | 2147483647 12093 195 | 0.000 % |
7.58/7.64 c | 12239 | 15602 66788 202845 | 2147483647 12239 195 | 0.000 % |
7.68/7.73 c | 12399 | 15602 66788 202845 | 2147483647 12399 195 | 0.000 % |
7.77/7.85 c | 12577 | 15602 66788 202845 | 2147483647 12577 195 | 0.000 % |
7.87/7.98 c | 12770 | 15602 66788 202845 | 2147483647 12770 195 | 0.000 % |
8.07/8.12 c | 12983 | 15602 66788 202845 | 2147483647 12983 196 | 0.000 % |
8.17/8.27 c | 13217 | 15602 66788 202845 | 2147483647 13217 196 | 0.000 % |
8.37/8.42 c | 13473 | 15602 66788 202845 | 2147483647 13473 195 | 0.000 % |
8.48/8.59 c | 13754 | 15602 66788 202845 | 2147483647 13754 195 | 0.000 % |
8.68/8.78 c | 14064 | 15602 66788 202845 | 2147483647 14064 195 | 0.000 % |
8.78/8.85 c | 14167 | 15602 66788 202845 | 2147483647 14167 195 | 0.000 % |
8.88/8.93 c | 14278 | 15602 66788 202845 | 2147483647 14278 195 | 0.000 % |
8.98/9.02 c | 14401 | 15602 66788 202845 | 2147483647 14401 195 | 0.000 % |
8.98/9.09 c | 14534 | 15602 66788 202845 | 2147483647 14534 195 | 0.000 % |
9.08/9.20 c | 14680 | 15602 66788 202845 | 2147483647 14680 194 | 0.000 % |
9.28/9.30 c | 14840 | 15602 66788 202845 | 2147483647 14840 194 | 0.000 % |
9.38/9.42 c | 15016 | 15602 66788 202845 | 2147483647 15016 194 | 0.000 % |
9.48/9.55 c | 15210 | 15602 66788 202845 | 2147483647 15210 194 | 0.000 % |
9.58/9.69 c | 15422 | 15602 66788 202845 | 2147483647 15422 194 | 0.000 % |
9.78/9.85 c | 15655 | 15602 66788 202845 | 2147483647 15655 194 | 0.000 % |
9.98/10.01 c | 15913 | 15602 66788 202845 | 2147483647 15913 194 | 0.000 % |
10.08/10.18 c | 16195 | 15602 66788 202845 | 2147483647 16195 195 | 0.000 % |
10.28/10.38 c | 16504 | 15602 66788 202845 | 2147483647 16504 196 | 0.000 % |
10.47/10.59 c | 16843 | 15602 66788 202845 | 2147483647 16843 196 | 0.000 % |
10.57/10.66 c | 16943 | 15602 66788 202845 | 2147483647 16943 196 | 0.000 % |
10.67/10.73 c | 17056 | 15602 66788 202845 | 2147483647 17056 195 | 0.000 % |
10.77/10.82 c | 17177 | 15602 66788 202845 | 2147483647 17177 195 | 0.000 % |
10.88/10.91 c | 17310 | 15602 66788 202845 | 2147483647 17310 195 | 0.000 % |
10.98/11.01 c | 17457 | 15602 66788 202845 | 2147483647 17457 195 | 0.000 % |
11.07/11.13 c | 17620 | 15602 66788 202845 | 2147483647 17620 196 | 0.000 % |
11.17/11.24 c | 17796 | 15602 66788 202845 | 2147483647 17796 196 | 0.000 % |
11.27/11.38 c | 17989 | 15602 66788 202845 | 2147483647 17989 196 | 0.000 % |
11.47/11.53 c | 18201 | 15602 66788 202845 | 2147483647 18201 196 | 0.000 % |
11.57/11.69 c | 18437 | 15602 66788 202845 | 2147483647 18437 197 | 0.000 % |
11.77/11.85 c | 18695 | 15602 66788 202845 | 2147483647 18695 198 | 0.000 % |
11.98/12.05 c | 18978 | 15602 66788 202845 | 2147483647 18978 198 | 0.000 % |
12.17/12.25 c | 19290 | 15602 66788 202845 | 2147483647 19290 198 | 0.000 % |
12.37/12.48 c | 19629 | 15602 66788 202845 | 2147483647 19629 198 | 0.000 % |
12.67/12.72 c | 20001 | 15602 66788 202845 | 2147483647 20001 198 | 0.000 % |
12.77/12.80 c | 20101 | 15602 66788 202845 | 2147483647 20101 198 | 0.000 % |
12.77/12.88 c | 20211 | 15602 66788 202845 | 2147483647 20211 198 | 0.000 % |
12.87/12.98 c | 20332 | 15602 66788 202845 | 2147483647 20332 198 | 0.000 % |
12.97/13.08 c | 20466 | 15602 66788 202845 | 2147483647 20466 198 | 0.000 % |
13.07/13.19 c | 20612 | 15602 66788 202845 | 2147483647 20612 198 | 0.000 % |
13.27/13.31 c | 20772 | 15602 66788 202845 | 2147483647 20772 198 | 0.000 % |
13.37/13.43 c | 20952 | 15602 66788 202845 | 2147483647 20952 198 | 0.000 % |
13.47/13.54 c | 21145 | 15602 66788 202845 | 2147483647 21145 198 | 0.000 % |
13.67/13.70 c | 21357 | 15602 66788 202845 | 2147483647 21357 198 | 0.000 % |
13.77/13.86 c | 21592 | 15602 66788 202845 | 2147483647 21592 198 | 0.000 % |
13.98/14.05 c | 21848 | 15602 66788 202845 | 2147483647 21848 197 | 0.000 % |
14.18/14.22 c | 22129 | 15602 66788 202845 | 2147483647 22129 197 | 0.000 % |
14.37/14.43 c | 22438 | 15602 66788 202845 | 2147483647 22438 198 | 0.000 % |
14.57/14.67 c | 22777 | 15602 66788 202845 | 2147483647 22777 198 | 0.000 % |
14.87/14.93 c | 23149 | 15602 66788 202845 | 2147483647 23149 198 | 0.000 % |
15.17/15.22 c | 23558 | 15602 66788 202845 | 2147483647 23558 199 | 0.000 % |
15.17/15.30 c | 23658 | 15602 66788 202845 | 2147483647 23658 198 | 0.000 % |
15.27/15.38 c | 23768 | 15602 66788 202845 | 2147483647 23768 198 | 0.000 % |
15.37/15.46 c | 23889 | 15602 66788 202845 | 2147483647 23889 198 | 0.000 % |
15.47/15.56 c | 24026 | 15602 66788 202845 | 2147483647 24026 199 | 0.000 % |
15.57/15.68 c | 24172 | 15602 66788 202845 | 2147483647 24172 198 | 0.000 % |
15.77/15.80 c | 24332 | 15602 66788 202845 | 2147483647 24332 198 | 0.000 % |
15.88/15.94 c | 24510 | 15602 66788 202845 | 2147483647 24510 199 | 0.000 % |
15.98/16.08 c | 24703 | 15602 66788 202845 | 2147483647 24703 199 | 0.000 % |
16.18/16.23 c | 24915 | 15602 66788 202845 | 2147483647 24915 198 | 0.000 % |
16.28/16.39 c | 25149 | 15602 66788 202845 | 2147483647 25149 199 | 0.000 % |
16.48/16.57 c | 25405 | 15602 66788 202845 | 2147483647 25405 199 | 0.000 % |
16.67/16.76 c | 25686 | 15602 66788 202845 | 2147483647 25686 198 | 0.000 % |
16.87/16.98 c | 25996 | 15602 66788 202845 | 2147483647 25996 199 | 0.000 % |
17.17/17.24 c | 26335 | 15602 66788 202845 | 2147483647 26335 199 | 0.000 % |
17.37/17.50 c | 26709 | 15602 66788 202845 | 2147483647 26709 199 | 0.000 % |
17.78/17.81 c | 27118 | 15602 66788 202845 | 2147483647 27118 199 | 0.000 % |
18.07/18.12 c | 27567 | 15602 66788 202845 | 2147483647 27567 200 | 0.000 % |
18.17/18.21 c | 27668 | 15602 66788 202845 | 2147483647 27668 200 | 0.000 % |
18.17/18.29 c | 27779 | 15602 66788 202845 | 2147483647 27779 199 | 0.000 % |
18.27/18.38 c | 27900 | 15602 66788 202845 | 2147483647 27900 200 | 0.000 % |
18.37/18.49 c | 28033 | 15602 66788 202845 | 2147483647 28033 199 | 0.000 % |
18.47/18.60 c | 28179 | 15602 66788 202845 | 2147483647 28179 199 | 0.000 % |
18.67/18.72 c | 28342 | 15602 66788 202845 | 2147483647 28342 199 | 0.000 % |
18.77/18.85 c | 28519 | 15602 66788 202845 | 2147483647 28519 199 | 0.000 % |
18.87/18.99 c | 28712 | 15602 66788 202845 | 2147483647 28712 199 | 0.000 % |
19.07/19.15 c | 28924 | 15602 66788 202845 | 2147483647 28924 199 | 0.000 % |
19.27/19.32 c | 29158 | 15602 66788 202845 | 2147483647 29158 199 | 0.000 % |
19.47/19.51 c | 29414 | 15602 66788 202845 | 2147483647 29414 198 | 0.000 % |
19.67/19.72 c | 29695 | 15602 66788 202845 | 2147483647 29695 198 | 0.000 % |
19.87/19.94 c | 30004 | 15602 66788 202845 | 2147483647 30004 198 | 0.000 % |
20.07/20.17 c | 30344 | 15602 66788 202845 | 2147483647 30344 199 | 0.000 % |
20.36/20.45 c | 30717 | 15602 66788 202845 | 2147483647 30717 198 | 0.000 % |
20.66/20.77 c | 31126 | 15602 66788 202845 | 2147483647 31126 199 | 0.000 % |
21.07/21.11 c | 31575 | 15602 66788 202845 | 2147483647 31575 200 | 0.000 % |
21.37/21.47 c | 32069 | 15602 66788 202845 | 2147483647 32069 200 | 0.000 % |
21.47/21.55 c | 32170 | 15602 66788 202845 | 2147483647 32170 200 | 0.000 % |
21.57/21.64 c | 32280 | 15602 66788 202845 | 2147483647 32280 200 | 0.000 % |
21.67/21.74 c | 32404 | 15602 66788 202845 | 2147483647 32404 200 | 0.000 % |
21.77/21.84 c | 32537 | 15602 66788 202845 | 2147483647 32537 200 | 0.000 % |
21.87/21.97 c | 32683 | 15602 66788 202845 | 2147483647 32683 200 | 0.000 % |
21.97/22.09 c | 32844 | 15602 66788 202845 | 2147483647 32844 200 | 0.000 % |
22.16/22.22 c | 33020 | 15602 66788 202845 | 2147483647 33020 199 | 0.000 % |
22.26/22.38 c | 33213 | 15602 66788 202845 | 2147483647 33213 199 | 0.000 % |
22.46/22.54 c | 33425 | 15602 66788 202845 | 2147483647 33425 199 | 0.000 % |
22.66/22.73 c | 33662 | 15602 66788 202845 | 2147483647 33662 199 | 0.000 % |
22.86/22.94 c | 33919 | 15602 66788 202845 | 2147483647 33919 199 | 0.000 % |
23.07/23.16 c | 34200 | 15602 66788 202845 | 2147483647 34200 199 | 0.000 % |
23.26/23.40 c | 34509 | 15602 66788 202845 | 2147483647 34509 199 | 0.000 % |
23.56/23.67 c | 34849 | 15602 66788 202845 | 2147483647 34849 200 | 0.000 % |
23.86/23.97 c | 35221 | 15602 66788 202845 | 2147483647 35221 200 | 0.000 % |
24.16/24.27 c | 35630 | 15602 66788 202845 | 2147483647 35630 200 | 0.000 % |
24.57/24.61 c | 36081 | 15602 66788 202845 | 2147483647 36081 201 | 0.000 % |
24.87/24.98 c | 36575 | 15602 66788 202845 | 2147483647 36575 202 | 0.000 % |
25.27/25.40 c | 37117 | 15602 66788 202845 | 2147483647 37117 203 | 0.000 % |
25.36/25.48 c | 37217 | 15602 66788 202845 | 2147483647 37217 203 | 0.000 % |
25.46/25.58 c | 37328 | 15602 66788 202845 | 2147483647 37328 203 | 0.000 % |
25.56/25.67 c | 37449 | 15602 66788 202845 | 2147483647 37449 203 | 0.000 % |
25.76/25.80 c | 37585 | 15602 66788 202845 | 2147483647 37585 202 | 0.000 % |
25.86/25.92 c | 37731 | 15602 66788 202845 | 2147483647 37731 202 | 0.000 % |
25.96/26.06 c | 37891 | 15602 66788 202845 | 2147483647 37891 202 | 0.000 % |
26.16/26.20 c | 38067 | 15602 66788 202845 | 2147483647 38067 202 | 0.000 % |
26.26/26.36 c | 38261 | 15602 66788 202845 | 2147483647 38261 202 | 0.000 % |
26.46/26.54 c | 38473 | 15602 66788 202845 | 2147483647 38473 202 | 0.000 % |
26.66/26.73 c | 38706 | 15602 66788 202845 | 2147483647 38706 203 | 0.000 % |
26.86/26.92 c | 38962 | 15602 66788 202845 | 2147483647 38962 203 | 0.000 % |
27.06/27.15 c | 39244 | 15602 66788 202845 | 2147483647 39244 203 | 0.000 % |
27.26/27.39 c | 39555 | 15602 66788 202845 | 2147483647 39555 203 | 0.000 % |
27.56/27.69 c | 39895 | 15602 66788 202845 | 2147483647 39895 203 | 0.000 % |
27.86/27.98 c | 40272 | 15602 66788 202845 | 2147483647 40272 203 | 0.000 % |
28.25/28.32 c | 40681 | 15602 66788 202845 | 2147483647 40681 204 | 0.000 % |
28.56/28.70 c | 41134 | 15602 66788 202845 | 2147483647 41134 204 | 0.000 % |
28.95/29.09 c | 41627 | 15602 66788 202845 | 2147483647 41627 204 | 0.000 % |
29.45/29.52 c | 42170 | 15602 66788 202845 | 2147483647 42170 205 | 0.000 % |
29.95/30.00 c | 42766 | 15602 66788 202845 | 2147483647 42766 205 | 0.000 % |
29.95/30.09 c | 42869 | 15602 66788 202845 | 2147483647 42869 205 | 0.000 % |
30.05/30.20 c | 42979 | 15602 66788 202845 | 2147483647 42979 204 | 0.000 % |
30.25/30.30 c | 43101 | 15602 66788 202845 | 2147483647 43101 204 | 0.000 % |
30.35/30.42 c | 43236 | 15602 66788 202845 | 2147483647 43236 204 | 0.000 % |
30.46/30.55 c | 43382 | 15602 66788 202845 | 2147483647 43382 204 | 0.000 % |
30.56/30.68 c | 43543 | 15602 66788 202845 | 2147483647 43543 204 | 0.000 % |
30.76/30.85 c | 43720 | 15602 66788 202845 | 2147483647 43720 204 | 0.000 % |
30.96/31.00 c | 43914 | 15602 66788 202845 | 2147483647 43914 204 | 0.000 % |
31.06/31.19 c | 44126 | 15602 66788 202845 | 2147483647 44126 204 | 0.000 % |
31.35/31.40 c | 44359 | 15602 66788 202845 | 2147483647 44359 204 | 0.000 % |
31.55/31.64 c | 44616 | 15602 66788 202845 | 2147483647 44616 204 | 0.000 % |
31.76/31.87 c | 44897 | 15602 66788 202845 | 2147483647 44897 204 | 0.000 % |
32.05/32.14 c | 45206 | 15602 66788 202845 | 2147483647 45206 204 | 0.000 % |
32.35/32.44 c | 45546 | 15602 66788 202845 | 2147483647 45546 204 | 0.000 % |
32.65/32.76 c | 45918 | 15602 66788 202845 | 2147483647 45918 204 | 0.000 % |
33.05/33.14 c | 46327 | 15602 66788 202845 | 2147483647 46327 205 | 0.000 % |
33.45/33.52 c | 46777 | 15602 66788 202845 | 2147483647 46777 205 | 0.000 % |
33.85/33.94 c | 47270 | 15602 66788 202845 | 2147483647 47270 206 | 0.000 % |
34.36/34.40 c | 47812 | 15602 66788 202845 | 2147483647 47812 206 | 0.000 % |
34.75/34.89 c | 48408 | 15602 66788 202845 | 2147483647 48408 206 | 0.000 % |
35.35/35.42 c | 49063 | 15602 66788 202845 | 2147483647 49063 206 | 0.000 % |
35.45/35.51 c | 49164 | 15602 66788 202845 | 2147483647 49164 206 | 0.000 % |
35.55/35.61 c | 49274 | 15602 66788 202845 | 2147483647 49274 206 | 0.000 % |
35.65/35.72 c | 49396 | 15602 66788 202845 | 2147483647 49396 206 | 0.000 % |
35.75/35.84 c | 49529 | 15602 66788 202845 | 2147483647 49529 206 | 0.000 % |
35.85/35.97 c | 49675 | 15602 66788 202845 | 2147483647 49675 206 | 0.000 % |
36.05/36.12 c | 49835 | 15602 66788 202845 | 2147483647 49835 206 | 0.000 % |
36.15/36.26 c | 50013 | 15602 66788 202845 | 2147483647 50013 206 | 0.000 % |
36.35/36.44 c | 50206 | 15602 66788 202845 | 2147483647 50206 206 | 0.000 % |
36.55/36.62 c | 50418 | 15602 66788 202845 | 2147483647 50418 206 | 0.000 % |
36.75/36.86 c | 50653 | 15602 66788 202845 | 2147483647 50653 206 | 0.000 % |
36.95/37.08 c | 50909 | 15602 66788 202845 | 2147483647 50909 206 | 0.000 % |
37.25/37.31 c | 51192 | 15602 66788 202845 | 2147483647 51192 206 | 0.000 % |
37.45/37.58 c | 51502 | 15602 66788 202845 | 2147483647 51502 206 | 0.000 % |
37.75/37.88 c | 51843 | 15602 66788 202845 | 2147483647 51843 206 | 0.000 % |
38.15/38.22 c | 52216 | 15602 66788 202845 | 2147483647 52216 206 | 0.000 % |
38.46/38.56 c | 52626 | 15602 66788 202845 | 2147483647 52626 206 | 0.000 % |
38.85/38.96 c | 53075 | 15602 66788 202845 | 2147483647 53075 206 | 0.000 % |
39.25/39.38 c | 53568 | 15602 66788 202845 | 2147483647 53568 207 | 0.000 % |
39.75/39.87 c | 54112 | 15602 66788 202845 | 2147483647 54112 208 | 0.000 % |
40.25/40.37 c | 54708 | 15602 66788 202845 | 2147483647 54708 208 | 0.000 % |
40.85/40.93 c | 55364 | 15602 66788 202845 | 2147483647 55364 208 | 0.000 % |
41.45/41.55 c | 56085 | 15602 66788 202845 | 2147483647 56085 208 | 0.000 % |
41.55/41.66 c | 56186 | 15602 66788 202845 | 2147483647 56186 208 | 0.000 % |
41.66/41.76 c | 56297 | 15602 66788 202845 | 2147483647 56297 208 | 0.000 % |
41.76/41.89 c | 56419 | 15602 66788 202845 | 2147483647 56419 208 | 0.000 % |
41.95/42.01 c | 56552 | 15602 66788 202845 | 2147483647 56552 208 | 0.000 % |
42.05/42.15 c | 56698 | 15602 66788 202845 | 2147483647 56698 208 | 0.000 % |
42.15/42.30 c | 56858 | 15602 66788 202845 | 2147483647 56858 208 | 0.000 % |
42.35/42.46 c | 57034 | 15602 66788 202845 | 2147483647 57034 208 | 0.000 % |
42.55/42.63 c | 57227 | 15602 66788 202845 | 2147483647 57227 208 | 0.000 % |
42.75/42.82 c | 57439 | 15602 66788 202845 | 2147483647 57439 208 | 0.000 % |
42.95/43.05 c | 57674 | 15602 66788 202845 | 2147483647 57674 208 | 0.000 % |
43.15/43.27 c | 57930 | 15602 66788 202845 | 2147483647 57930 208 | 0.000 % |
43.45/43.56 c | 58213 | 15602 66788 202845 | 2147483647 58213 209 | 0.000 % |
43.75/43.85 c | 58524 | 15602 66788 202845 | 2147483647 58524 209 | 0.000 % |
44.04/44.15 c | 58864 | 15602 66788 202845 | 2147483647 58864 209 | 0.000 % |
44.34/44.47 c | 59236 | 15602 66788 202845 | 2147483647 59236 209 | 0.000 % |
44.74/44.82 c | 59645 | 15602 66788 202845 | 2147483647 59645 209 | 0.000 % |
45.15/45.23 c | 60094 | 15602 66788 202845 | 2147483647 60094 209 | 0.000 % |
45.65/45.73 c | 60588 | 15602 66788 202845 | 2147483647 60588 209 | 0.000 % |
46.15/46.23 c | 61130 | 15602 66788 202845 | 2147483647 61130 209 | 0.000 % |
46.75/46.82 c | 61726 | 15602 66788 202845 | 2147483647 61726 210 | 0.000 % |
47.35/47.40 c | 62383 | 15602 66788 202845 | 2147483647 62383 211 | 0.000 % |
48.04/48.11 c | 63103 | 15602 66788 202845 | 2147483647 63103 211 | 0.000 % |
48.74/48.85 c | 63896 | 15602 66788 202845 | 2147483647 63896 212 | 0.000 % |
48.84/48.95 c | 63996 | 15602 66788 202845 | 2147483647 63996 212 | 0.000 % |
48.94/49.06 c | 64108 | 15602 66788 202845 | 2147483647 64108 212 | 0.000 % |
49.04/49.18 c | 64230 | 15602 66788 202845 | 2147483647 64230 212 | 0.000 % |
49.24/49.31 c | 64363 | 15602 66788 202845 | 2147483647 64363 212 | 0.000 % |
49.35/49.45 c | 64510 | 15602 66788 202845 | 2147483647 64510 212 | 0.000 % |
49.54/49.63 c | 64670 | 15602 66788 202845 | 2147483647 64670 212 | 0.000 % |
49.74/49.80 c | 64846 | 15602 66788 202845 | 2147483647 64846 212 | 0.000 % |
49.94/50.01 c | 65039 | 15602 66788 202845 | 2147483647 65039 212 | 0.000 % |
50.14/50.21 c | 65251 | 15602 66788 202845 | 2147483647 65251 212 | 0.000 % |
50.34/50.42 c | 65484 | 15602 66788 202845 | 2147483647 65484 212 | 0.000 % |
50.54/50.66 c | 65744 | 15602 66788 202845 | 2147483647 65744 212 | 0.000 % |
50.84/50.94 c | 66026 | 15602 66788 202845 | 2147483647 66026 212 | 0.000 % |
51.14/51.23 c | 66337 | 15602 66788 202845 | 2147483647 66337 212 | 0.000 % |
51.44/51.55 c | 66676 | 15602 66788 202845 | 2147483647 66676 212 | 0.000 % |
51.74/51.90 c | 67048 | 15602 66788 202845 | 2147483647 67048 212 | 0.000 % |
52.24/52.30 c | 67457 | 15602 66788 202845 | 2147483647 67457 213 | 0.000 % |
52.65/52.75 c | 67909 | 15602 66788 202845 | 2147483647 67909 213 | 0.000 % |
53.14/53.23 c | 68403 | 15602 66788 202845 | 2147483647 68403 213 | 0.000 % |
53.64/53.75 c | 68945 | 15602 66788 202845 | 2147483647 68945 213 | 0.000 % |
54.24/54.30 c | 69541 | 15602 66788 202845 | 2147483647 69541 213 | 0.000 % |
54.84/54.94 c | 70197 | 15602 66788 202845 | 2147483647 70197 214 | 0.000 % |
55.54/55.61 c | 70918 | 15602 66788 202845 | 2147483647 70918 214 | 0.000 % |
56.23/56.38 c | 71711 | 15602 66788 202845 | 2147483647 71711 215 | 0.000 % |
57.14/57.21 c | 72585 | 15602 66788 202845 | 2147483647 72585 215 | 0.000 % |
57.24/57.33 c | 72685 | 15602 66788 202845 | 2147483647 72685 215 | 0.000 % |
57.34/57.46 c | 72796 | 15602 66788 202845 | 2147483647 72796 215 | 0.000 % |
57.54/57.61 c | 72918 | 15602 66788 202845 | 2147483647 72918 215 | 0.000 % |
57.64/57.75 c | 73051 | 15602 66788 202845 | 2147483647 73051 215 | 0.000 % |
57.84/57.92 c | 73197 | 15602 66788 202845 | 2147483647 73197 215 | 0.000 % |
57.94/58.09 c | 73357 | 15602 66788 202845 | 2147483647 73357 215 | 0.000 % |
58.15/58.26 c | 73533 | 15602 66788 202845 | 2147483647 73533 215 | 0.000 % |
58.34/58.48 c | 73728 | 15602 66788 202845 | 2147483647 73728 215 | 0.000 % |
58.64/58.73 c | 73940 | 15602 66788 202845 | 2147483647 73940 215 | 0.000 % |
58.84/58.96 c | 74173 | 15602 66788 202845 | 2147483647 74173 215 | 0.000 % |
59.14/59.21 c | 74429 | 15602 66788 202845 | 2147483647 74429 215 | 0.000 % |
59.43/59.52 c | 74711 | 15602 66788 202845 | 2147483647 74711 215 | 0.000 % |
59.73/59.83 c | 75020 | 15602 66788 202845 | 2147483647 75020 215 | 0.000 % |
60.14/60.20 c | 75359 | 15602 66788 202845 | 2147483647 75359 215 | 0.000 % |
60.44/60.54 c | 75733 | 15602 66788 202845 | 2147483647 75733 215 | 0.000 % |
60.84/60.94 c | 76144 | 15602 66788 202845 | 2147483647 76144 215 | 0.000 % |
61.24/61.38 c | 76594 | 15602 66788 202845 | 2147483647 76594 215 | 0.000 % |
61.74/61.86 c | 77090 | 15602 66788 202845 | 2147483647 77090 215 | 0.000 % |
62.24/62.34 c | 77632 | 15602 66788 202845 | 2147483647 77632 216 | 0.000 % |
62.84/62.94 c | 78228 | 15602 66788 202845 | 2147483647 78228 216 | 0.000 % |
63.54/63.63 c | 78884 | 15602 66788 202845 | 2147483647 78884 216 | 0.000 % |
64.24/64.35 c | 79605 | 15602 66788 202845 | 2147483647 79605 216 | 0.000 % |
65.03/65.11 c | 80397 | 15602 66788 202845 | 2147483647 80397 216 | 0.000 % |
65.84/65.98 c | 81268 | 15602 66788 202845 | 2147483647 81268 217 | 0.000 % |
66.84/66.99 c | 82226 | 15602 66788 202845 | 2147483647 82226 218 | 0.000 % |
66.94/67.09 c | 82326 | 15602 66788 202845 | 2147483647 82326 218 | 0.000 % |
67.13/67.22 c | 82436 | 15602 66788 202845 | 2147483647 82436 218 | 0.000 % |
67.23/67.38 c | 82558 | 15602 66788 202845 | 2147483647 82558 218 | 0.000 % |
67.43/67.57 c | 82693 | 15602 66788 202845 | 2147483647 82693 218 | 0.000 % |
67.63/67.74 c | 82839 | 15602 66788 202845 | 2147483647 82839 218 | 0.000 % |
67.83/67.92 c | 82999 | 15602 66788 202845 | 2147483647 82999 218 | 0.000 % |
68.04/68.13 c | 83175 | 15602 66788 202845 | 2147483647 83175 218 | 0.000 % |
68.23/68.34 c | 83368 | 15602 66788 202845 | 2147483647 83368 218 | 0.000 % |
68.43/68.56 c | 83580 | 15602 66788 202845 | 2147483647 83580 218 | 0.000 % |
68.73/68.81 c | 83816 | 15602 66788 202845 | 2147483647 83816 218 | 0.000 % |
69.03/69.12 c | 84072 | 15602 66788 202845 | 2147483647 84072 218 | 0.000 % |
69.33/69.45 c | 84353 | 15602 66788 202845 | 2147483647 84353 218 | 0.000 % |
69.63/69.76 c | 84663 | 15602 66788 202845 | 2147483647 84663 218 | 0.000 % |
70.03/70.11 c | 85004 | 15602 66788 202845 | 2147483647 85004 218 | 0.000 % |
70.43/70.52 c | 85376 | 15602 66788 202845 | 2147483647 85376 218 | 0.000 % |
70.83/70.97 c | 85786 | 15602 66788 202845 | 2147483647 85786 218 | 0.000 % |
71.34/71.46 c | 86236 | 15602 66788 202845 | 2147483647 86236 218 | 0.000 % |
71.83/71.99 c | 86729 | 15602 66788 202845 | 2147483647 86729 218 | 0.000 % |
72.44/72.56 c | 87272 | 15602 66788 202845 | 2147483647 87272 218 | 0.000 % |
73.03/73.19 c | 87868 | 15602 66788 202845 | 2147483647 87868 218 | 0.000 % |
73.72/73.89 c | 88523 | 15602 66788 202845 | 2147483647 88523 218 | 0.000 % |
74.53/74.67 c | 89245 | 15602 66788 202845 | 2147483647 89245 218 | 0.000 % |
75.42/75.54 c | 90038 | 15602 66788 202845 | 2147483647 90038 219 | 0.000 % |
76.42/76.50 c | 90910 | 15602 66788 202845 | 2147483647 90910 220 | 0.000 % |
77.43/77.56 c | 91872 | 15602 66788 202845 | 2147483647 91872 220 | 0.000 % |
78.53/78.64 c | 92925 | 15602 66788 202845 | 2147483647 92925 221 | 0.000 % |
78.63/78.75 c | 93025 | 15602 66788 202845 | 2147483647 93025 221 | 0.000 % |
78.83/78.90 c | 93137 | 15602 66788 202845 | 2147483647 93137 221 | 0.000 % |
78.92/79.05 c | 93258 | 15602 66788 202845 | 2147483647 93258 221 | 0.000 % |
79.13/79.22 c | 93393 | 15602 66788 202845 | 2147483647 93393 221 | 0.000 % |
79.32/79.40 c | 93540 | 15602 66788 202845 | 2147483647 93540 221 | 0.000 % |
79.42/79.59 c | 93701 | 15602 66788 202845 | 2147483647 93701 220 | 0.000 % |
79.72/79.82 c | 93878 | 15602 66788 202845 | 2147483647 93878 220 | 0.000 % |
79.92/80.03 c | 94073 | 15602 66788 202845 | 2147483647 94073 221 | 0.000 % |
80.13/80.28 c | 94285 | 15602 66788 202845 | 2147483647 94285 221 | 0.000 % |
80.42/80.56 c | 94519 | 15602 66788 202845 | 2147483647 94519 221 | 0.000 % |
80.73/80.86 c | 94775 | 15602 66788 202845 | 2147483647 94775 221 | 0.000 % |
81.13/81.20 c | 95057 | 15602 66788 202845 | 2147483647 95057 221 | 0.000 % |
81.43/81.57 c | 95366 | 15602 66788 202845 | 2147483647 95366 220 | 0.000 % |
81.83/81.95 c | 95705 | 15602 66788 202845 | 2147483647 95705 220 | 0.000 % |
82.23/82.35 c | 96078 | 15602 66788 202845 | 2147483647 96078 220 | 0.000 % |
82.72/82.83 c | 96489 | 15602 66788 202845 | 2147483647 96489 220 | 0.000 % |
83.22/83.30 c | 96938 | 15602 66788 202845 | 2147483647 96938 220 | 0.000 % |
83.72/83.87 c | 97431 | 15602 66788 202845 | 2147483647 97431 221 | 0.000 % |
84.32/84.47 c | 97973 | 15602 66788 202845 | 2147483647 97973 221 | 0.000 % |
85.02/85.13 c | 98569 | 15602 66788 202845 | 2147483647 98569 221 | 0.000 % |
85.83/85.92 c | 99227 | 15602 66788 202845 | 2147483647 99227 222 | 0.000 % |
86.62/86.74 c | 99948 | 15602 66788 202845 | 2147483647 99948 222 | 0.000 % |
87.62/87.71 c | 100740 | 15602 66788 202845 | 2147483647 100740 222 | 0.000 % |
88.53/88.65 c | 101611 | 15602 66788 202845 | 2147483647 101611 223 | 0.000 % |
89.62/89.75 c | 102569 | 15602 66788 202845 | 2147483647 102569 223 | 0.000 % |
90.82/90.95 c | 103625 | 15602 66788 202845 | 2147483647 103625 223 | 0.000 % |
92.12/92.29 c | 104783 | 15602 66788 202845 | 2147483647 104783 223 | 0.000 % |
92.32/92.42 c | 104883 | 15602 66788 202845 | 2147483647 104883 223 | 0.000 % |
92.42/92.57 c | 104995 | 15602 66788 202845 | 2147483647 104995 223 | 0.000 % |
92.62/92.74 c | 105117 | 15602 66788 202845 | 2147483647 105117 223 | 0.000 % |
92.82/92.92 c | 105250 | 15602 66788 202845 | 2147483647 105250 223 | 0.000 % |
93.02/93.10 c | 105396 | 15602 66788 202845 | 2147483647 105396 223 | 0.000 % |
93.22/93.31 c | 105556 | 15602 66788 202845 | 2147483647 105556 223 | 0.000 % |
93.43/93.56 c | 105732 | 15602 66788 202845 | 2147483647 105732 223 | 0.000 % |
93.72/93.82 c | 105926 | 15602 66788 202845 | 2147483647 105926 223 | 0.000 % |
93.92/94.09 c | 106140 | 15602 66788 202845 | 2147483647 106140 223 | 0.000 % |
94.22/94.36 c | 106373 | 15602 66788 202845 | 2147483647 106373 223 | 0.000 % |
94.52/94.66 c | 106629 | 15602 66788 202845 | 2147483647 106629 223 | 0.000 % |
94.92/95.02 c | 106912 | 15602 66788 202845 | 2147483647 106912 222 | 0.000 % |
95.22/95.36 c | 107221 | 15602 66788 202845 | 2147483647 107221 222 | 0.000 % |
95.62/95.78 c | 107560 | 15602 66788 202845 | 2147483647 107560 222 | 0.000 % |
96.12/96.22 c | 107932 | 15602 66788 202845 | 2147483647 107932 223 | 0.000 % |
96.62/96.71 c | 108342 | 15602 66788 202845 | 2147483647 108342 223 | 0.000 % |
97.12/97.28 c | 108794 | 15602 66788 202845 | 2147483647 108794 223 | 0.000 % |
97.72/97.87 c | 109287 | 15602 66788 202845 | 2147483647 109287 223 | 0.000 % |
98.42/98.52 c | 109830 | 15602 66788 202845 | 2147483647 109830 223 | 0.000 % |
99.11/99.20 c | 110426 | 15602 66788 202845 | 2147483647 110426 223 | 0.000 % |
99.92/100.01 c | 111082 | 15602 66788 202845 | 2147483647 111082 223 | 0.000 % |
100.72/100.89 c | 111803 | 15602 66788 202845 | 2147483647 111803 223 | 0.000 % |
101.72/101.84 c | 112595 | 15602 66788 202845 | 2147483647 112595 223 | 0.000 % |
102.71/102.89 c | 113467 | 15602 66788 202845 | 2147483647 113467 223 | 0.000 % |
103.91/104.00 c | 114427 | 15602 66788 202845 | 2147483647 114427 224 | 0.000 % |
105.12/105.27 c | 115480 | 15602 66788 202845 | 2147483647 115480 225 | 0.000 % |
106.52/106.61 c | 116639 | 15602 66788 202845 | 2147483647 116639 225 | 0.000 % |
108.01/108.11 c | 117913 | 15602 66788 202845 | 2147483647 117913 225 | 0.000 % |
108.11/108.26 c | 118014 | 15602 66788 202845 | 2147483647 118014 225 | 0.000 % |
108.31/108.45 c | 118125 | 15602 66788 202845 | 2147483647 118125 225 | 0.000 % |
108.51/108.60 c | 118246 | 15602 66788 202845 | 2147483647 118246 225 | 0.000 % |
108.61/108.79 c | 118379 | 15602 66788 202845 | 2147483647 118379 225 | 0.000 % |
108.81/108.99 c | 118526 | 15602 66788 202845 | 2147483647 118526 225 | 0.000 % |
109.11/109.24 c | 118686 | 15602 66788 202845 | 2147483647 118686 225 | 0.000 % |
109.31/109.46 c | 118865 | 15602 66788 202845 | 2147483647 118865 225 | 0.000 % |
109.62/109.71 c | 119058 | 15602 66788 202845 | 2147483647 119058 225 | 0.000 % |
109.82/109.97 c | 119271 | 15602 66788 202845 | 2147483647 119271 225 | 0.000 % |
110.12/110.27 c | 119504 | 15602 66788 202845 | 2147483647 119504 225 | 0.000 % |
110.52/110.63 c | 119760 | 15602 66788 202845 | 2147483647 119760 225 | 0.000 % |
110.92/111.01 c | 120041 | 15602 66788 202845 | 2147483647 120041 225 | 0.000 % |
111.31/111.43 c | 120350 | 15602 66788 202845 | 2147483647 120350 225 | 0.000 % |
111.81/111.92 c | 120689 | 15602 66788 202845 | 2147483647 120689 225 | 0.000 % |
112.21/112.37 c | 121062 | 15602 66788 202845 | 2147483647 121062 225 | 0.000 % |
112.71/112.88 c | 121474 | 15602 66788 202845 | 2147483647 121474 225 | 0.000 % |
113.31/113.43 c | 121925 | 15602 66788 202845 | 2147483647 121925 225 | 0.000 % |
113.92/114.02 c | 122418 | 15602 66788 202845 | 2147483647 122418 225 | 0.000 % |
114.62/114.71 c | 122960 | 15602 66788 202845 | 2147483647 122960 225 | 0.000 % |
115.21/115.38 c | 123556 | 15602 66788 202845 | 2147483647 123556 225 | 0.000 % |
116.11/116.23 c | 124212 | 15602 66788 202845 | 2147483647 124212 225 | 0.000 % |
117.01/117.14 c | 124933 | 15602 66788 202845 | 2147483647 124933 226 | 0.000 % |
117.91/118.09 c | 125725 | 15602 66788 202845 | 2147483647 125725 226 | 0.000 % |
118.91/119.08 c | 126596 | 15602 66788 202845 | 2147483647 126596 226 | 0.000 % |
120.11/120.23 c | 127556 | 15602 66788 202845 | 2147483647 127556 227 | 0.000 % |
121.41/121.53 c | 128609 | 15602 66788 202845 | 2147483647 128609 227 | 0.000 % |
122.91/123.01 c | 129772 | 15602 66788 202845 | 2147483647 129772 227 | 0.000 % |
124.41/124.54 c | 131047 | 15602 66788 202845 | 2147483647 131047 227 | 0.000 % |
126.21/126.33 c | 132449 | 15602 66788 202845 | 2147483647 132449 228 | 0.000 % |
126.31/126.46 c | 132550 | 15602 66788 202845 | 2147483647 132550 228 | 0.000 % |
126.51/126.65 c | 132661 | 15602 66788 202845 | 2147483647 132661 228 | 0.000 % |
126.71/126.83 c | 132782 | 15602 66788 202845 | 2147483647 132782 228 | 0.000 % |
126.91/127.03 c | 132915 | 15602 66788 202845 | 2147483647 132915 228 | 0.000 % |
127.11/127.25 c | 133063 | 15602 66788 202845 | 2147483647 133063 228 | 0.000 % |
127.31/127.50 c | 133223 | 15602 66788 202845 | 2147483647 133223 228 | 0.000 % |
127.61/127.76 c | 133399 | 15602 66788 202845 | 2147483647 133399 228 | 0.000 % |
127.91/128.02 c | 133592 | 15602 66788 202845 | 2147483647 133592 228 | 0.000 % |
128.21/128.33 c | 133808 | 15602 66788 202845 | 2147483647 133808 228 | 0.000 % |
128.51/128.68 c | 134043 | 15602 66788 202845 | 2147483647 134043 228 | 0.000 % |
128.90/129.07 c | 134299 | 15602 66788 202845 | 2147483647 134299 228 | 0.000 % |
129.30/129.45 c | 134580 | 15602 66788 202845 | 2147483647 134580 228 | 0.000 % |
129.80/129.93 c | 134890 | 15602 66788 202845 | 2147483647 134890 228 | 0.000 % |
130.20/130.37 c | 135229 | 15602 66788 202845 | 2147483647 135229 228 | 0.000 % |
130.72/130.90 c | 135602 | 15602 66788 202845 | 2147483647 135602 228 | 0.000 % |
131.31/131.46 c | 136013 | 15602 66788 202845 | 2147483647 136013 228 | 0.000 % |
132.01/132.11 c | 136462 | 15602 66788 202845 | 2147483647 136462 228 | 0.000 % |
132.61/132.75 c | 136956 | 15602 66788 202845 | 2147483647 136956 228 | 0.000 % |
133.31/133.50 c | 137498 | 15602 66788 202845 | 2147483647 137498 228 | 0.000 % |
134.21/134.30 c | 138096 | 15602 66788 202845 | 2147483647 138096 228 | 0.000 % |
135.11/135.25 c | 138751 | 15602 66788 202845 | 2147483647 138751 228 | 0.000 % |
136.00/136.17 c | 139471 | 15602 66788 202845 | 2147483647 139471 229 | 0.000 % |
137.11/137.24 c | 140267 | 15602 66788 202845 | 2147483647 140267 229 | 0.000 % |
138.21/138.36 c | 141141 | 15602 66788 202845 | 2147483647 141141 229 | 0.000 % |
139.40/139.56 c | 142100 | 15602 66788 202845 | 2147483647 142100 229 | 0.000 % |
140.80/140.97 c | 143156 | 15602 66788 202845 | 2147483647 143156 229 | 0.000 % |
142.51/142.60 c | 144314 | 15602 66788 202845 | 2147483647 144314 229 | 0.000 % |
144.10/144.22 c | 145588 | 15602 66788 202845 | 2147483647 145588 229 | 0.000 % |
146.01/146.16 c | 146988 | 15602 66788 202845 | 2147483647 146988 231 | 0.000 % |
148.20/148.31 c | 148530 | 15602 66788 202845 | 2147483647 148530 231 | 0.000 % |
148.40/148.51 c | 148630 | 15602 66788 202845 | 2147483647 148630 231 | 0.000 % |
148.60/148.70 c | 148744 | 15602 66788 202845 | 2147483647 148744 231 | 0.000 % |
148.80/148.90 c | 148865 | 15602 66788 202845 | 2147483647 148865 231 | 0.000 % |
149.01/149.10 c | 149001 | 15602 66788 202845 | 2147483647 149001 231 | 0.000 % |
149.21/149.36 c | 149149 | 15602 66788 202845 | 2147483647 149149 231 | 0.000 % |
149.51/149.63 c | 149309 | 15602 66788 202845 | 2147483647 149309 231 | 0.000 % |
149.81/149.91 c | 149485 | 15602 66788 202845 | 2147483647 149485 231 | 0.000 % |
150.11/150.20 c | 149678 | 15602 66788 202845 | 2147483647 149678 231 | 0.000 % |
150.31/150.49 c | 149891 | 15602 66788 202845 | 2147483647 149891 231 | 0.000 % |
150.70/150.84 c | 150124 | 15602 66788 202845 | 2147483647 150124 231 | 0.000 % |
151.10/151.23 c | 150382 | 15602 66788 202845 | 2147483647 150382 231 | 0.000 % |
151.50/151.65 c | 150664 | 15602 66788 202845 | 2147483647 150664 230 | 0.000 % |
151.90/152.08 c | 150974 | 15602 66788 202845 | 2147483647 150974 230 | 0.000 % |
152.50/152.62 c | 151314 | 15602 66788 202845 | 2147483647 151314 230 | 0.000 % |
153.00/153.14 c | 151686 | 15602 66788 202845 | 2147483647 151686 230 | 0.000 % |
153.60/153.70 c | 152096 | 15602 66788 202845 | 2147483647 152096 230 | 0.000 % |
154.20/154.36 c | 152547 | 15602 66788 202845 | 2147483647 152547 230 | 0.000 % |
154.90/155.03 c | 153040 | 15602 66788 202845 | 2147483647 153040 231 | 0.000 % |
155.69/155.80 c | 153586 | 15602 66788 202845 | 2147483647 153586 231 | 0.000 % |
156.50/156.68 c | 154183 | 15602 66788 202845 | 2147483647 154183 231 | 0.000 % |
157.50/157.66 c | 154839 | 15602 66788 202845 | 2147483647 154839 231 | 0.000 % |
158.60/158.71 c | 155560 | 15602 66788 202845 | 2147483647 155560 231 | 0.000 % |
159.70/159.81 c | 156353 | 15602 66788 202845 | 2147483647 156353 231 | 0.000 % |
160.90/161.06 c | 157224 | 15602 66788 202845 | 2147483647 157224 231 | 0.000 % |
162.20/162.39 c | 158183 | 15602 66788 202845 | 2147483647 158183 231 | 0.000 % |
163.70/163.87 c | 159237 | 15602 66788 202845 | 2147483647 159237 231 | 0.000 % |
165.29/165.49 c | 160396 | 15602 66788 202845 | 2147483647 160396 231 | 0.000 % |
167.10/167.26 c | 161669 | 15602 66788 202845 | 2147483647 161669 231 | 0.000 % |
169.09/169.23 c | 163069 | 15602 66788 202845 | 2147483647 163069 231 | 0.000 % |
171.29/171.46 c | 164609 | 15602 66788 202845 | 2147483647 164609 232 | 0.000 % |
173.70/173.81 c | 166305 | 15602 66788 202845 | 2147483647 166305 233 | 0.000 % |
173.79/173.96 c | 166405 | 15602 66788 202845 | 2147483647 166405 233 | 0.000 % |
173.99/174.15 c | 166516 | 15602 66788 202845 | 2147483647 166516 233 | 0.000 % |
174.29/174.42 c | 166642 | 15602 66788 202845 | 2147483647 166642 233 | 0.000 % |
174.49/174.64 c | 166776 | 15602 66788 202845 | 2147483647 166776 233 | 0.000 % |
174.70/174.88 c | 166922 | 15602 66788 202845 | 2147483647 166922 233 | 0.000 % |
174.99/175.15 c | 167083 | 15602 66788 202845 | 2147483647 167083 233 | 0.000 % |
175.29/175.49 c | 167261 | 15602 66788 202845 | 2147483647 167261 233 | 0.000 % |
175.59/175.79 c | 167454 | 15602 66788 202845 | 2147483647 167454 233 | 0.000 % |
175.99/176.15 c | 167669 | 15602 66788 202845 | 2147483647 167669 233 | 0.000 % |
176.39/176.51 c | 167902 | 15602 66788 202845 | 2147483647 167902 233 | 0.000 % |
176.69/176.88 c | 168161 | 15602 66788 202845 | 2147483647 168161 233 | 0.000 % |
177.20/177.32 c | 168442 | 15602 66788 202845 | 2147483647 168442 233 | 0.000 % |
177.59/177.76 c | 168753 | 15602 66788 202845 | 2147483647 168753 233 | 0.000 % |
178.10/178.28 c | 169092 | 15602 66788 202845 | 2147483647 169092 233 | 0.000 % |
178.69/178.83 c | 169465 | 15602 66788 202845 | 2147483647 169465 233 | 0.000 % |
179.29/179.48 c | 169874 | 15602 66788 202845 | 2147483647 169874 233 | 0.000 % |
179.99/180.14 c | 170325 | 15602 66788 202845 | 2147483647 170325 233 | 0.000 % |
180.79/180.93 c | 170818 | 15602 66788 202845 | 2147483647 170818 232 | 0.000 % |
181.59/181.73 c | 171360 | 15602 66788 202845 | 2147483647 171360 233 | 0.000 % |
182.49/182.62 c | 171956 | 15602 66788 202845 | 2147483647 171956 233 | 0.000 % |
183.39/183.57 c | 172612 | 15602 66788 202845 | 2147483647 172612 233 | 0.000 % |
184.48/184.61 c | 173333 | 15602 66788 202845 | 2147483647 173333 233 | 0.000 % |
185.59/185.76 c | 174125 | 15602 66788 202845 | 2147483647 174125 233 | 0.000 % |
186.98/187.10 c | 174997 | 15602 66788 202845 | 2147483647 174997 233 | 0.000 % |
188.28/188.48 c | 175955 | 15602 66788 202845 | 2147483647 175955 233 | 0.000 % |
189.99/190.13 c | 177010 | 15602 66788 202845 | 2147483647 177010 233 | 0.000 % |
191.78/191.95 c | 178170 | 15602 66788 202845 | 2147483647 178170 233 | 0.000 % |
193.78/193.92 c | 179444 | 15602 66788 202845 | 2147483647 179444 233 | 0.000 % |
195.88/196.04 c | 180844 | 15602 66788 202845 | 2147483647 180844 234 | 0.000 % |
198.27/198.48 c | 182384 | 15602 66788 202845 | 2147483647 182384 234 | 0.000 % |
200.78/200.94 c | 184078 | 15602 66788 202845 | 2147483647 184078 234 | 0.000 % |
203.68/203.80 c | 185942 | 15602 66788 202845 | 2147483647 185942 235 | 0.000 % |
203.78/203.99 c | 186043 | 15602 66788 202845 | 2147483647 186043 234 | 0.000 % |
204.08/204.22 c | 186153 | 15602 66788 202845 | 2147483647 186153 234 | 0.000 % |
204.28/204.43 c | 186275 | 15602 66788 202845 | 2147483647 186275 234 | 0.000 % |
204.48/204.68 c | 186408 | 15602 66788 202845 | 2147483647 186408 234 | 0.000 % |
204.78/204.95 c | 186554 | 15602 66788 202845 | 2147483647 186554 234 | 0.000 % |
205.08/205.24 c | 186714 | 15602 66788 202845 | 2147483647 186714 234 | 0.000 % |
205.38/205.56 c | 186890 | 15602 66788 202845 | 2147483647 186890 234 | 0.000 % |
205.68/205.87 c | 187084 | 15602 66788 202845 | 2147483647 187084 234 | 0.000 % |
206.08/206.25 c | 187297 | 15602 66788 202845 | 2147483647 187297 234 | 0.000 % |
206.48/206.68 c | 187530 | 15602 66788 202845 | 2147483647 187530 234 | 0.000 % |
206.97/207.15 c | 187787 | 15602 66788 202845 | 2147483647 187787 234 | 0.000 % |
207.47/207.62 c | 188070 | 15602 66788 202845 | 2147483647 188070 234 | 0.000 % |
207.97/208.15 c | 188379 | 15602 66788 202845 | 2147483647 188379 234 | 0.000 % |
208.57/208.74 c | 188719 | 15602 66788 202845 | 2147483647 188719 234 | 0.000 % |
209.17/209.32 c | 189091 | 15602 66788 202845 | 2147483647 189091 234 | 0.000 % |
209.88/210.04 c | 189500 | 15602 66788 202845 | 2147483647 189500 234 | 0.000 % |
210.68/210.80 c | 189951 | 15602 66788 202845 | 2147483647 189951 234 | 0.000 % |
211.38/211.54 c | 190445 | 15602 66788 202845 | 2147483647 190445 234 | 0.000 % |
212.37/212.50 c | 190988 | 15602 66788 202845 | 2147483647 190988 234 | 0.000 % |
213.37/213.55 c | 191584 | 15602 66788 202845 | 2147483647 191584 234 | 0.000 % |
214.47/214.62 c | 192240 | 15602 66788 202845 | 2147483647 192240 234 | 0.000 % |
215.58/215.77 c | 192960 | 15602 66788 202845 | 2147483647 192960 234 | 0.000 % |
216.87/217.00 c | 193753 | 15602 66788 202845 | 2147483647 193753 234 | 0.000 % |
218.27/218.42 c | 194624 | 15602 66788 202845 | 2147483647 194624 234 | 0.000 % |
219.77/219.96 c | 195583 | 15602 66788 202845 | 2147483647 195583 234 | 0.000 % |
221.47/221.63 c | 196638 | 15602 66788 202845 | 2147483647 196638 234 | 0.000 % |
223.37/223.52 c | 197796 | 15602 66788 202845 | 2147483647 197796 234 | 0.000 % |
225.46/225.61 c | 199071 | 15602 66788 202845 | 2147483647 199071 234 | 0.000 % |
227.77/227.99 c | 200472 | 15602 66788 202845 | 2147483647 200472 234 | 0.000 % |
230.27/230.46 c | 202013 | 15602 66788 202845 | 2147483647 202013 234 | 0.000 % |
232.97/233.16 c | 203707 | 15602 66788 202845 | 2147483647 203707 235 | 0.000 % |
236.17/236.31 c | 205572 | 15602 66788 202845 | 2147483647 205572 236 | 0.000 % |
239.46/239.61 c | 207621 | 15602 66788 202845 | 2147483647 207621 237 | 0.000 % |
239.67/239.82 c | 207721 | 15602 66788 202845 | 2147483647 207721 237 | 0.000 % |
239.86/240.02 c | 207833 | 15602 66788 202845 | 2147483647 207833 237 | 0.000 % |
240.06/240.26 c | 207954 | 15602 66788 202845 | 2147483647 207954 237 | 0.000 % |
240.36/240.56 c | 208087 | 15602 66788 202845 | 2147483647 208087 237 | 0.000 % |
240.67/240.86 c | 208233 | 15602 66788 202845 | 2147483647 208233 237 | 0.000 % |
240.97/241.17 c | 208393 | 15602 66788 202845 | 2147483647 208393 237 | 0.000 % |
241.37/241.50 c | 208570 | 15602 66788 202845 | 2147483647 208570 237 | 0.000 % |
241.67/241.86 c | 208763 | 15602 66788 202845 | 2147483647 208763 237 | 0.000 % |
242.07/242.23 c | 208977 | 15602 66788 202845 | 2147483647 208977 237 | 0.000 % |
242.46/242.68 c | 209212 | 15602 66788 202845 | 2147483647 209212 237 | 0.000 % |
242.97/243.13 c | 209469 | 15602 66788 202845 | 2147483647 209469 236 | 0.000 % |
243.46/243.63 c | 209751 | 15602 66788 202845 | 2147483647 209751 236 | 0.000 % |
244.06/244.22 c | 210060 | 15602 66788 202845 | 2147483647 210060 236 | 0.000 % |
244.66/244.84 c | 210401 | 15602 66788 202845 | 2147483647 210401 236 | 0.000 % |
245.26/245.50 c | 210775 | 15602 66788 202845 | 2147483647 210775 236 | 0.000 % |
246.07/246.25 c | 211184 | 15602 66788 202845 | 2147483647 211184 236 | 0.000 % |
246.87/247.03 c | 211635 | 15602 66788 202845 | 2147483647 211635 236 | 0.000 % |
247.76/247.93 c | 212129 | 15602 66788 202845 | 2147483647 212129 236 | 0.000 % |
248.66/248.90 c | 212674 | 15602 66788 202845 | 2147483647 212674 236 | 0.000 % |
249.76/249.93 c | 213270 | 15602 66788 202845 | 2147483647 213270 236 | 0.000 % |
250.86/251.09 c | 213925 | 15602 66788 202845 | 2147483647 213925 236 | 0.000 % |
252.26/252.43 c | 214646 | 15602 66788 202845 | 2147483647 214646 236 | 0.000 % |
253.66/253.81 c | 215440 | 15602 66788 202845 | 2147483647 215440 236 | 0.000 % |
255.07/255.22 c | 216312 | 15602 66788 202845 | 2147483647 216312 237 | 0.000 % |
256.66/256.85 c | 217270 | 15602 66788 202845 | 2147483647 217270 237 | 0.000 % |
258.26/258.50 c | 218323 | 15602 66788 202845 | 2147483647 218323 237 | 0.000 % |
260.25/260.45 c | 219481 | 15602 66788 202845 | 2147483647 219481 237 | 0.000 % |
262.46/262.60 c | 220756 | 15602 66788 202845 | 2147483647 220756 237 | 0.000 % |
264.75/264.99 c | 222156 | 15602 66788 202845 | 2147483647 222156 237 | 0.000 % |
267.46/267.64 c | 223696 | 15602 66788 202845 | 2147483647 223696 238 | 0.000 % |
270.36/270.54 c | 225392 | 15602 66788 202845 | 2147483647 225392 238 | 0.000 % |
273.66/273.83 c | 227258 | 15602 66788 202845 | 2147483647 227258 238 | 0.000 % |
277.15/277.32 c | 229307 | 15602 66788 202845 | 2147483647 229307 238 | 0.000 % |
281.05/281.22 c | 231561 | 15602 66788 202845 | 2147483647 231561 239 | 0.000 % |
281.25/281.49 c | 231662 | 15602 66788 202845 | 2147483647 231662 239 | 0.000 % |
281.55/281.76 c | 231776 | 15602 66788 202845 | 2147483647 231776 239 | 0.000 % |
281.75/281.99 c | 231898 | 15602 66788 202845 | 2147483647 231898 239 | 0.000 % |
282.05/282.25 c | 232032 | 15602 66788 202845 | 2147483647 232032 239 | 0.000 % |
282.35/282.58 c | 232180 | 15602 66788 202845 | 2147483647 232180 239 | 0.000 % |
282.75/282.91 c | 232340 | 15602 66788 202845 | 2147483647 232340 239 | 0.000 % |
283.05/283.29 c | 232517 | 15602 66788 202845 | 2147483647 232517 239 | 0.000 % |
283.55/283.73 c | 232711 | 15602 66788 202845 | 2147483647 232711 239 | 0.000 % |
283.94/284.19 c | 232923 | 15602 66788 202845 | 2147483647 232923 239 | 0.000 % |
284.44/284.65 c | 233157 | 15602 66788 202845 | 2147483647 233157 239 | 0.000 % |
284.95/285.18 c | 233413 | 15602 66788 202845 | 2147483647 233413 239 | 0.000 % |
285.55/285.71 c | 233695 | 15602 66788 202845 | 2147483647 233695 239 | 0.000 % |
286.05/286.29 c | 234006 | 15602 66788 202845 | 2147483647 234006 239 | 0.000 % |
286.75/287.00 c | 234346 | 15602 66788 202845 | 2147483647 234346 239 | 0.000 % |
287.45/287.67 c | 234718 | 15602 66788 202845 | 2147483647 234718 239 | 0.000 % |
288.24/288.44 c | 235127 | 15602 66788 202845 | 2147483647 235127 239 | 0.000 % |
289.15/289.32 c | 235576 | 15602 66788 202845 | 2147483647 235576 239 | 0.000 % |
290.15/290.33 c | 236070 | 15602 66788 202845 | 2147483647 236070 239 | 0.000 % |
291.14/291.40 c | 236612 | 15602 66788 202845 | 2147483647 236612 239 | 0.000 % |
292.25/292.44 c | 237208 | 15602 66788 202845 | 2147483647 237208 239 | 0.000 % |
293.35/293.57 c | 237864 | 15602 66788 202845 | 2147483647 237864 239 | 0.000 % |
294.65/294.83 c | 238588 | 15602 66788 202845 | 2147483647 238588 239 | 0.000 % |
296.04/296.29 c | 239380 | 15602 66788 202845 | 2147483647 239380 239 | 0.000 % |
297.75/297.90 c | 240253 | 15602 66788 202845 | 2147483647 240253 239 | 0.000 % |
299.44/299.69 c | 241211 | 15602 66788 202845 | 2147483647 241211 239 | 0.000 % |
301.44/301.63 c | 242264 | 15602 66788 202845 | 2147483647 242264 239 | 0.000 % |
303.54/303.72 c | 243422 | 15602 66788 202845 | 2147483647 243422 239 | 0.000 % |
305.84/306.06 c | 244695 | 15602 66788 202845 | 2147483647 244695 239 | 0.000 % |
308.34/308.54 c | 246095 | 15602 66788 202845 | 2147483647 246095 239 | 0.000 % |
311.04/311.28 c | 247635 | 15602 66788 202845 | 2147483647 247635 240 | 0.000 % |
314.14/314.32 c | 249330 | 15602 66788 202845 | 2147483647 249330 240 | 0.000 % |
317.53/317.72 c | 251194 | 15602 66788 202845 | 2147483647 251194 240 | 0.000 % |
321.24/321.49 c | 253243 | 15602 66788 202845 | 2147483647 253243 240 | 0.000 % |
325.44/325.70 c | 255496 | 15602 66788 202845 | 2147483647 255496 240 | 0.000 % |
330.03/330.27 c | 257974 | 15602 66788 202845 | 2147483647 257974 241 | 0.000 % |
330.32/330.51 c | 258075 | 15602 66788 202845 | 2147483647 258075 241 | 0.000 % |
330.63/330.82 c | 258185 | 15602 66788 202845 | 2147483647 258185 241 | 0.000 % |
330.94/331.12 c | 258307 | 15602 66788 202845 | 2147483647 258307 241 | 0.000 % |
331.23/331.41 c | 258442 | 15602 66788 202845 | 2147483647 258442 241 | 0.000 % |
331.53/331.75 c | 258588 | 15602 66788 202845 | 2147483647 258588 241 | 0.000 % |
331.93/332.14 c | 258748 | 15602 66788 202845 | 2147483647 258748 241 | 0.000 % |
332.33/332.53 c | 258925 | 15602 66788 202845 | 2147483647 258925 241 | 0.000 % |
332.73/332.94 c | 259118 | 15602 66788 202845 | 2147483647 259118 241 | 0.000 % |
333.23/333.40 c | 259330 | 15602 66788 202845 | 2147483647 259330 241 | 0.000 % |
333.73/333.92 c | 259563 | 15602 66788 202845 | 2147483647 259563 241 | 0.000 % |
334.33/334.52 c | 259820 | 15602 66788 202845 | 2147483647 259820 241 | 0.000 % |
334.93/335.13 c | 260102 | 15602 66788 202845 | 2147483647 260102 241 | 0.000 % |
335.63/335.80 c | 260412 | 15602 66788 202845 | 2147483647 260412 241 | 0.000 % |
336.33/336.55 c | 260752 | 15602 66788 202845 | 2147483647 260752 240 | 0.000 % |
337.12/337.31 c | 261124 | 15602 66788 202845 | 2147483647 261124 240 | 0.000 % |
337.92/338.18 c | 261534 | 15602 66788 202845 | 2147483647 261534 241 | 0.000 % |
338.92/339.10 c | 261985 | 15602 66788 202845 | 2147483647 261985 240 | 0.000 % |
339.92/340.13 c | 262479 | 15602 66788 202845 | 2147483647 262479 240 | 0.000 % |
341.02/341.28 c | 263021 | 15602 66788 202845 | 2147483647 263021 241 | 0.000 % |
342.23/342.47 c | 263617 | 15602 66788 202845 | 2147483647 263617 240 | 0.000 % |
343.53/343.70 c | 264272 | 15602 66788 202845 | 2147483647 264272 241 | 0.000 % |
344.93/345.16 c | 264992 | 15602 66788 202845 | 2147483647 264992 241 | 0.000 % |
346.52/346.79 c | 265784 | 15602 66788 202845 | 2147483647 265784 241 | 0.000 % |
348.22/348.46 c | 266655 | 15602 66788 202845 | 2147483647 266655 241 | 0.000 % |
350.12/350.34 c | 267614 | 15602 66788 202845 | 2147483647 267614 241 | 0.000 % |
352.22/352.45 c | 268668 | 15602 66788 202845 | 2147483647 268668 241 | 0.000 % |
354.52/354.79 c | 269827 | 15602 66788 202845 | 2147483647 269827 241 | 0.000 % |
356.92/357.16 c | 271100 | 15602 66788 202845 | 2147483647 271100 241 | 0.000 % |
359.52/359.71 c | 272504 | 15602 66788 202845 | 2147483647 272504 242 | 0.000 % |
362.51/362.77 c | 274044 | 15602 66788 202845 | 2147483647 274044 242 | 0.000 % |
365.92/366.18 c | 275739 | 15602 66788 202845 | 2147483647 275739 242 | 0.000 % |
369.52/369.77 c | 277602 | 15602 66788 202845 | 2147483647 277602 242 | 0.000 % |
373.61/373.89 c | 279652 | 15602 66788 202845 | 2147483647 279652 243 | 0.000 % |
377.91/378.16 c | 281906 | 15602 66788 202845 | 2147483647 281906 243 | 0.000 % |
382.71/382.96 c | 284384 | 15602 66788 202845 | 2147483647 284384 244 | 0.000 % |
388.31/388.53 c | 287110 | 15602 66788 202845 | 2147483647 287110 244 | 0.000 % |
388.61/388.81 c | 287212 | 15602 66788 202845 | 2147483647 287212 244 | 0.000 % |
388.91/389.10 c | 287322 | 15602 66788 202845 | 2147483647 287322 244 | 0.000 % |
389.22/389.43 c | 287445 | 15602 66788 202845 | 2147483647 287445 244 | 0.000 % |
389.51/389.79 c | 287578 | 15602 66788 202845 | 2147483647 287578 244 | 0.000 % |
390.01/390.20 c | 287724 | 15602 66788 202845 | 2147483647 287724 244 | 0.000 % |
390.32/390.57 c | 287884 | 15602 66788 202845 | 2147483647 287884 244 | 0.000 % |
390.71/390.99 c | 288060 | 15602 66788 202845 | 2147483647 288060 244 | 0.000 % |
391.31/391.50 c | 288253 | 15602 66788 202845 | 2147483647 288253 244 | 0.000 % |
391.81/392.02 c | 288465 | 15602 66788 202845 | 2147483647 288465 244 | 0.000 % |
392.31/392.56 c | 288698 | 15602 66788 202845 | 2147483647 288698 244 | 0.000 % |
393.01/393.20 c | 288954 | 15602 66788 202845 | 2147483647 288954 244 | 0.000 % |
393.51/393.79 c | 289237 | 15602 66788 202845 | 2147483647 289237 244 | 0.000 % |
394.21/394.47 c | 289548 | 15602 66788 202845 | 2147483647 289548 244 | 0.000 % |
395.11/395.33 c | 289887 | 15602 66788 202845 | 2147483647 289887 244 | 0.000 % |
395.91/396.17 c | 290259 | 15602 66788 202845 | 2147483647 290259 244 | 0.000 % |
396.71/396.96 c | 290668 | 15602 66788 202845 | 2147483647 290668 244 | 0.000 % |
397.70/397.90 c | 291117 | 15602 66788 202845 | 2147483647 291117 244 | 0.000 % |
398.70/398.96 c | 291611 | 15602 66788 202845 | 2147483647 291611 244 | 0.000 % |
400.01/400.22 c | 292153 | 15602 66788 202845 | 2147483647 292153 244 | 0.000 % |
401.31/401.54 c | 292749 | 15602 66788 202845 | 2147483647 292749 244 | 0.000 % |
402.61/402.82 c | 293404 | 15602 66788 202845 | 2147483647 293404 244 | 0.000 % |
404.00/404.30 c | 294124 | 15602 66788 202845 | 2147483647 294124 244 | 0.000 % |
405.70/405.93 c | 294917 | 15602 66788 202845 | 2147483647 294917 244 | 0.000 % |
407.50/407.70 c | 295790 | 15602 66788 202845 | 2147483647 295790 244 | 0.000 % |
409.40/409.65 c | 296750 | 15602 66788 202845 | 2147483647 296750 244 | 0.000 % |
411.50/411.73 c | 297803 | 15602 66788 202845 | 2147483647 297803 244 | 0.000 % |
413.80/414.06 c | 298964 | 15602 66788 202845 | 2147483647 298964 245 | 0.000 % |
416.50/416.70 c | 300241 | 15602 66788 202845 | 2147483647 300241 245 | 0.000 % |
419.20/419.40 c | 301642 | 15602 66788 202845 | 2147483647 301642 245 | 0.000 % |
422.39/422.65 c | 303182 | 15602 66788 202845 | 2147483647 303182 245 | 0.000 % |
425.70/425.95 c | 304879 | 15602 66788 202845 | 2147483647 304879 245 | 0.000 % |
429.60/429.84 c | 306742 | 15602 66788 202845 | 2147483647 306742 245 | 0.000 % |
433.59/433.84 c | 308791 | 15602 66788 202845 | 2147483647 308791 245 | 0.000 % |
438.29/438.50 c | 311045 | 15602 66788 202845 | 2147483647 311045 246 | 0.000 % |
443.49/443.76 c | 313523 | 15602 66788 202845 | 2147483647 313523 246 | 0.000 % |
449.39/449.63 c | 316248 | 15602 66788 202845 | 2147483647 316248 246 | 0.000 % |
455.69/455.92 c | 319245 | 15602 66788 202845 | 2147483647 319245 247 | 0.000 % |
455.89/456.11 c | 319345 | 15602 66788 202845 | 2147483647 319345 247 | 0.000 % |
456.19/456.41 c | 319455 | 15602 66788 202845 | 2147483647 319455 247 | 0.000 % |
456.49/456.72 c | 319576 | 15602 66788 202845 | 2147483647 319576 247 | 0.000 % |
456.89/457.10 c | 319709 | 15602 66788 202845 | 2147483647 319709 247 | 0.000 % |
457.29/457.53 c | 319858 | 15602 66788 202845 | 2147483647 319858 247 | 0.000 % |
457.68/457.98 c | 320021 | 15602 66788 202845 | 2147483647 320021 247 | 0.000 % |
458.18/458.44 c | 320199 | 15602 66788 202845 | 2147483647 320199 247 | 0.000 % |
458.78/459.00 c | 320394 | 15602 66788 202845 | 2147483647 320394 247 | 0.000 % |
459.28/459.56 c | 320606 | 15602 66788 202845 | 2147483647 320606 247 | 0.000 % |
459.98/460.21 c | 320840 | 15602 66788 202845 | 2147483647 320840 247 | 0.000 % |
460.48/460.80 c | 321096 | 15602 66788 202845 | 2147483647 321096 247 | 0.000 % |
461.28/461.55 c | 321378 | 15602 66788 202845 | 2147483647 321378 247 | 0.000 % |
462.08/462.33 c | 321687 | 15602 66788 202845 | 2147483647 321687 247 | 0.000 % |
462.89/463.12 c | 322029 | 15602 66788 202845 | 2147483647 322029 247 | 0.000 % |
463.79/464.07 c | 322405 | 15602 66788 202845 | 2147483647 322405 247 | 0.000 % |
464.79/465.03 c | 322815 | 15602 66788 202845 | 2147483647 322815 247 | 0.000 % |
465.89/466.15 c | 323264 | 15602 66788 202845 | 2147483647 323264 247 | 0.000 % |
466.98/467.29 c | 323757 | 15602 66788 202845 | 2147483647 323757 247 | 0.000 % |
468.29/468.53 c | 324300 | 15602 66788 202845 | 2147483647 324300 247 | 0.000 % |
469.68/469.91 c | 324897 | 15602 66788 202845 | 2147483647 324897 247 | 0.000 % |
471.08/471.38 c | 325552 | 15602 66788 202845 | 2147483647 325552 247 | 0.000 % |
472.78/473.08 c | 326273 | 15602 66788 202845 | 2147483647 326273 247 | 0.000 % |
474.68/474.93 c | 327065 | 15602 66788 202845 | 2147483647 327065 247 | 0.000 % |
476.77/477.04 c | 327939 | 15602 66788 202845 | 2147483647 327939 247 | 0.000 % |
478.88/479.13 c | 328899 | 15602 66788 202845 | 2147483647 328899 247 | 0.000 % |
481.28/481.58 c | 329953 | 15602 66788 202845 | 2147483647 329953 247 | 0.000 % |
483.88/484.13 c | 331111 | 15602 66788 202845 | 2147483647 331111 247 | 0.000 % |
486.68/486.98 c | 332385 | 15602 66788 202845 | 2147483647 332385 247 | 0.000 % |
489.87/490.11 c | 333785 | 15602 66788 202845 | 2147483647 333785 247 | 0.000 % |
493.28/493.58 c | 335328 | 15602 66788 202845 | 2147483647 335328 247 | 0.000 % |
497.17/497.49 c | 337022 | 15602 66788 202845 | 2147483647 337022 247 | 0.000 % |
501.57/501.86 c | 338885 | 15602 66788 202845 | 2147483647 338885 247 | 0.000 % |
505.97/506.28 c | 340935 | 15602 66788 202845 | 2147483647 340935 247 | 0.000 % |
511.07/511.39 c | 343188 | 15602 66788 202845 | 2147483647 343188 247 | 0.000 % |
516.78/517.06 c | 345666 | 15602 66788 202845 | 2147483647 345666 247 | 0.000 % |
522.97/523.24 c | 348393 | 15602 66788 202845 | 2147483647 348393 248 | 0.000 % |
529.76/530.01 c | 351390 | 15602 66788 202845 | 2147483647 351390 249 | 0.000 % |
536.86/537.20 c | 354687 | 15602 66788 202845 | 2147483647 354687 250 | 0.000 % |
537.26/537.52 c | 354788 | 15602 66788 202845 | 2147483647 354788 250 | 0.000 % |
537.57/537.82 c | 354900 | 15602 66788 202845 | 2147483647 354900 250 | 0.000 % |
537.86/538.11 c | 355021 | 15602 66788 202845 | 2147483647 355021 250 | 0.000 % |
538.26/538.53 c | 355154 | 15602 66788 202845 | 2147483647 355154 250 | 0.000 % |
538.67/538.97 c | 355300 | 15602 66788 202845 | 2147483647 355300 250 | 0.000 % |
539.16/539.47 c | 355461 | 15602 66788 202845 | 2147483647 355461 250 | 0.000 % |
539.66/539.99 c | 355637 | 15602 66788 202845 | 2147483647 355637 250 | 0.000 % |
540.26/540.51 c | 355831 | 15602 66788 202845 | 2147483647 355831 250 | 0.000 % |
540.76/541.10 c | 356043 | 15602 66788 202845 | 2147483647 356043 250 | 0.000 % |
541.56/541.83 c | 356277 | 15602 66788 202845 | 2147483647 356277 250 | 0.000 % |
542.15/542.49 c | 356533 | 15602 66788 202845 | 2147483647 356533 250 | 0.000 % |
543.06/543.36 c | 356817 | 15602 66788 202845 | 2147483647 356817 250 | 0.000 % |
543.95/544.23 c | 357127 | 15602 66788 202845 | 2147483647 357127 250 | 0.000 % |
544.75/545.09 c | 357468 | 15602 66788 202845 | 2147483647 357468 250 | 0.000 % |
545.86/546.11 c | 357841 | 15602 66788 202845 | 2147483647 357841 250 | 0.000 % |
546.86/547.19 c | 358253 | 15602 66788 202845 | 2147483647 358253 250 | 0.000 % |
548.06/548.38 c | 358702 | 15602 66788 202845 | 2147483647 358702 250 | 0.000 % |
549.35/549.67 c | 359198 | 15602 66788 202845 | 2147483647 359198 249 | 0.000 % |
550.76/551.06 c | 359741 | 15602 66788 202845 | 2147483647 359741 250 | 0.000 % |
552.35/552.65 c | 360337 | 15602 66788 202845 | 2147483647 360337 250 | 0.000 % |
553.85/554.14 c | 360993 | 15602 66788 202845 | 2147483647 360993 250 | 0.000 % |
555.65/555.96 c | 361713 | 15602 66788 202845 | 2147483647 361713 250 | 0.000 % |
557.46/557.75 c | 362505 | 15602 66788 202845 | 2147483647 362505 250 | 0.000 % |
559.75/560.02 c | 363377 | 15602 66788 202845 | 2147483647 363377 250 | 0.000 % |
561.85/562.17 c | 364337 | 15602 66788 202845 | 2147483647 364337 250 | 0.000 % |
564.45/564.72 c | 365391 | 15602 66788 202845 | 2147483647 365391 250 | 0.000 % |
567.35/567.61 c | 366549 | 15602 66788 202845 | 2147483647 366549 250 | 0.000 % |
570.45/570.74 c | 367823 | 15602 66788 202845 | 2147483647 367823 250 | 0.000 % |
573.95/574.21 c | 369225 | 15602 66788 202845 | 2147483647 369225 250 | 0.000 % |
577.44/577.70 c | 370766 | 15602 66788 202845 | 2147483647 370766 250 | 0.000 % |
581.55/581.85 c | 372461 | 15602 66788 202845 | 2147483647 372461 250 | 0.000 % |
585.95/586.24 c | 374325 | 15602 66788 202845 | 2147483647 374325 250 | 0.000 % |
590.84/591.17 c | 376375 | 15602 66788 202845 | 2147483647 376375 250 | 0.000 % |
596.44/596.71 c | 378629 | 15602 66788 202845 | 2147483647 378629 251 | 0.000 % |
602.13/602.49 c | 381107 | 15602 66788 202845 | 2147483647 381107 251 | 0.000 % |
608.83/609.15 c | 383832 | 15602 66788 202845 | 2147483647 383832 251 | 0.000 % |
616.13/616.46 c | 386829 | 15602 66788 202845 | 2147483647 386829 252 | 0.000 % |
623.93/624.20 c | 390125 | 15602 66788 202845 | 2147483647 390125 252 | 0.000 % |
632.43/632.73 c | 393752 | 15602 66788 202845 | 2147483647 393752 253 | 0.000 % |
632.63/633.00 c | 393852 | 15602 66788 202845 | 2147483647 393852 253 | 0.000 % |
633.03/633.37 c | 393966 | 15602 66788 202845 | 2147483647 393966 253 | 0.000 % |
633.43/633.77 c | 394087 | 15602 66788 202845 | 2147483647 394087 253 | 0.000 % |
633.93/634.24 c | 394220 | 15602 66788 202845 | 2147483647 394220 253 | 0.000 % |
634.33/634.69 c | 394366 | 15602 66788 202845 | 2147483647 394366 253 | 0.000 % |
634.82/635.18 c | 394527 | 15602 66788 202845 | 2147483647 394527 252 | 0.000 % |
635.53/635.81 c | 394703 | 15602 66788 202845 | 2147483647 394703 252 | 0.000 % |
636.12/636.41 c | 394896 | 15602 66788 202845 | 2147483647 394896 252 | 0.000 % |
636.82/637.11 c | 395109 | 15602 66788 202845 | 2147483647 395109 252 | 0.000 % |
637.52/637.80 c | 395342 | 15602 66788 202845 | 2147483647 395342 252 | 0.000 % |
638.32/638.60 c | 395598 | 15602 66788 202845 | 2147483647 395598 252 | 0.000 % |
639.13/639.47 c | 395879 | 15602 66788 202845 | 2147483647 395879 252 | 0.000 % |
639.94/640.29 c | 396188 | 15602 66788 202845 | 2147483647 396188 252 | 0.000 % |
640.93/641.21 c | 396527 | 15602 66788 202845 | 2147483647 396527 252 | 0.000 % |
641.93/642.29 c | 396899 | 15602 66788 202845 | 2147483647 396899 252 | 0.000 % |
643.13/643.45 c | 397308 | 15602 66788 202845 | 2147483647 397308 252 | 0.000 % |
644.33/644.69 c | 397757 | 15602 66788 202845 | 2147483647 397757 252 | 0.000 % |
645.52/645.86 c | 398250 | 15602 66788 202845 | 2147483647 398250 252 | 0.000 % |
647.02/647.31 c | 398792 | 15602 66788 202845 | 2147483647 398792 252 | 0.000 % |
648.52/648.89 c | 399389 | 15602 66788 202845 | 2147483647 399389 252 | 0.000 % |
650.32/650.61 c | 400044 | 15602 66788 202845 | 2147483647 400044 252 | 0.000 % |
652.33/652.65 c | 400765 | 15602 66788 202845 | 2147483647 400765 252 | 0.000 % |
654.52/654.80 c | 401557 | 15602 66788 202845 | 2147483647 401557 252 | 0.000 % |
656.82/657.19 c | 402428 | 15602 66788 202845 | 2147483647 402428 252 | 0.000 % |
659.52/659.82 c | 403386 | 15602 66788 202845 | 2147483647 403386 252 | 0.000 % |
662.22/662.55 c | 404439 | 15602 66788 202845 | 2147483647 404439 252 | 0.000 % |
665.42/665.76 c | 405597 | 15602 66788 202845 | 2147483647 405597 252 | 0.000 % |
668.92/669.20 c | 406870 | 15602 66788 202845 | 2147483647 406870 253 | 0.000 % |
672.51/672.88 c | 408272 | 15602 66788 202845 | 2147483647 408272 253 | 0.000 % |
676.61/676.91 c | 409813 | 15602 66788 202845 | 2147483647 409813 252 | 0.000 % |
681.21/681.54 c | 411508 | 15602 66788 202845 | 2147483647 411508 253 | 0.000 % |
686.02/686.33 c | 413371 | 15602 66788 202845 | 2147483647 413371 253 | 0.000 % |
691.21/691.53 c | 415421 | 15602 66788 202845 | 2147483647 415421 253 | 0.000 % |
697.01/697.32 c | 417674 | 15602 66788 202845 | 2147483647 417674 253 | 0.000 % |
703.31/703.63 c | 420154 | 15602 66788 202845 | 2147483647 420154 254 | 0.000 % |
710.41/710.79 c | 422882 | 15602 66788 202845 | 2147483647 422882 254 | 0.000 % |
718.20/718.58 c | 425880 | 15602 66788 202845 | 2147483647 425880 254 | 0.000 % |
726.60/726.96 c | 429177 | 15602 66788 202845 | 2147483647 429177 254 | 0.000 % |
735.99/736.31 c | 432805 | 15602 66788 202845 | 2147483647 432805 255 | 0.000 % |
746.39/746.79 c | 436794 | 15602 66788 202845 | 2147483647 436794 255 | 0.000 % |
746.79/747.12 c | 436896 | 15602 66788 202845 | 2147483647 436896 255 | 0.000 % |
747.19/747.56 c | 437006 | 15602 66788 202845 | 2147483647 437006 255 | 0.000 % |
747.70/748.08 c | 437127 | 15602 66788 202845 | 2147483647 437127 255 | 0.000 % |
748.19/748.54 c | 437260 | 15602 66788 202845 | 2147483647 437260 255 | 0.000 % |
748.70/749.00 c | 437406 | 15602 66788 202845 | 2147483647 437406 255 | 0.000 % |
749.19/749.58 c | 437566 | 15602 66788 202845 | 2147483647 437566 255 | 0.000 % |
749.89/750.21 c | 437744 | 15602 66788 202845 | 2147483647 437744 255 | 0.000 % |
750.59/750.91 c | 437939 | 15602 66788 202845 | 2147483647 437939 255 | 0.000 % |
751.29/751.61 c | 438153 | 15602 66788 202845 | 2147483647 438153 255 | 0.000 % |
752.00/752.33 c | 438386 | 15602 66788 202845 | 2147483647 438386 255 | 0.000 % |
752.79/753.15 c | 438642 | 15602 66788 202845 | 2147483647 438642 255 | 0.000 % |
753.69/754.07 c | 438923 | 15602 66788 202845 | 2147483647 438923 255 | 0.000 % |
754.69/755.07 c | 439232 | 15602 66788 202845 | 2147483647 439232 255 | 0.000 % |
755.89/756.21 c | 439571 | 15602 66788 202845 | 2147483647 439571 255 | 0.000 % |
756.99/757.39 c | 439943 | 15602 66788 202845 | 2147483647 439943 255 | 0.000 % |
758.29/758.62 c | 440353 | 15602 66788 202845 | 2147483647 440353 255 | 0.000 % |
759.58/759.95 c | 440802 | 15602 66788 202845 | 2147483647 440802 255 | 0.000 % |
761.18/761.56 c | 441295 | 15602 66788 202845 | 2147483647 441295 255 | 0.000 % |
762.88/763.28 c | 441838 | 15602 66788 202845 | 2147483647 441838 254 | 0.000 % |
764.78/765.16 c | 442434 | 15602 66788 202845 | 2147483647 442434 254 | 0.000 % |
766.69/767.02 c | 443092 | 15602 66788 202845 | 2147483647 443092 254 | 0.000 % |
768.79/769.12 c | 443813 | 15602 66788 202845 | 2147483647 443813 254 | 0.000 % |
771.08/771.40 c | 444605 | 15602 66788 202845 | 2147483647 444605 255 | 0.000 % |
773.68/774.05 c | 445478 | 15602 66788 202845 | 2147483647 445478 255 | 0.000 % |
776.49/776.87 c | 446436 | 15602 66788 202845 | 2147483647 446436 255 | 0.000 % |
779.58/779.91 c | 447489 | 15602 66788 202845 | 2147483647 447489 255 | 0.000 % |
782.78/783.19 c | 448648 | 15602 66788 202845 | 2147483647 448648 254 | 0.000 % |
786.48/786.84 c | 449921 | 15602 66788 202845 | 2147483647 449921 254 | 0.000 % |
790.38/790.74 c | 451323 | 15602 66788 202845 | 2147483647 451323 255 | 0.000 % |
795.08/795.47 c | 452865 | 15602 66788 202845 | 2147483647 452865 255 | 0.000 % |
799.78/800.20 c | 454560 | 15602 66788 202845 | 2147483647 454560 255 | 0.000 % |
805.17/805.58 c | 456426 | 15602 66788 202845 | 2147483647 456426 255 | 0.000 % |
810.87/811.29 c | 458475 | 15602 66788 202845 | 2147483647 458475 255 | 0.000 % |
817.18/817.58 c | 460728 | 15602 66788 202845 | 2147483647 460728 255 | 0.000 % |
824.07/824.42 c | 463209 | 15602 66788 202845 | 2147483647 463209 255 | 0.000 % |
831.46/831.88 c | 465936 | 15602 66788 202845 | 2147483647 465936 256 | 0.000 % |
839.97/840.34 c | 468935 | 15602 66788 202845 | 2147483647 468935 256 | 0.000 % |
849.17/849.53 c | 472233 | 15602 66788 202845 | 2147483647 472233 256 | 0.000 % |
859.06/859.46 c | 475860 | 15602 66788 202845 | 2147483647 475860 256 | 0.000 % |
870.26/870.67 c | 479847 | 15602 66788 202845 | 2147483647 479847 257 | 0.000 % |
882.56/882.96 c | 484235 | 15602 66788 202845 | 2147483647 484235 257 | 0.000 % |
882.96/883.31 c | 484335 | 15602 66788 202845 | 2147483647 484335 257 | 0.000 % |
883.36/883.79 c | 484445 | 15602 66788 202845 | 2147483647 484445 257 | 0.000 % |
883.86/884.26 c | 484567 | 15602 66788 202845 | 2147483647 484567 257 | 0.000 % |
884.46/884.83 c | 484700 | 15602 66788 202845 | 2147483647 484700 257 | 0.000 % |
885.06/885.41 c | 484846 | 15602 66788 202845 | 2147483647 484846 257 | 0.000 % |
885.55/885.97 c | 485008 | 15602 66788 202845 | 2147483647 485008 257 | 0.000 % |
886.26/886.69 c | 485187 | 15602 66788 202845 | 2147483647 485187 257 | 0.000 % |
886.95/887.39 c | 485382 | 15602 66788 202845 | 2147483647 485382 257 | 0.000 % |
887.85/888.24 c | 485594 | 15602 66788 202845 | 2147483647 485594 257 | 0.000 % |
888.75/889.18 c | 485827 | 15602 66788 202845 | 2147483647 485827 257 | 0.000 % |
889.75/890.16 c | 486084 | 15602 66788 202845 | 2147483647 486084 257 | 0.000 % |
890.75/891.17 c | 486367 | 15602 66788 202845 | 2147483647 486367 257 | 0.000 % |
891.85/892.22 c | 486677 | 15602 66788 202845 | 2147483647 486677 257 | 0.000 % |
892.85/893.22 c | 487016 | 15602 66788 202845 | 2147483647 487016 257 | 0.000 % |
894.25/894.62 c | 487388 | 15602 66788 202845 | 2147483647 487388 257 | 0.000 % |
895.65/896.05 c | 487797 | 15602 66788 202845 | 2147483647 487797 257 | 0.000 % |
897.15/897.52 c | 488246 | 15602 66788 202845 | 2147483647 488246 257 | 0.000 % |
898.64/899.01 c | 488739 | 15602 66788 202845 | 2147483647 488739 257 | 0.000 % |
900.35/900.74 c | 489282 | 15602 66788 202845 | 2147483647 489282 257 | 0.000 % |
902.15/902.57 c | 489878 | 15602 66788 202845 | 2147483647 489878 257 | 0.000 % |
904.14/904.57 c | 490533 | 15602 66788 202845 | 2147483647 490533 257 | 0.000 % |
906.65/907.07 c | 491254 | 15602 66788 202845 | 2147483647 491254 257 | 0.000 % |
909.15/909.52 c | 492046 | 15602 66788 202845 | 2147483647 492046 257 | 0.000 % |
912.05/912.43 c | 492918 | 15602 66788 202845 | 2147483647 492918 256 | 0.000 % |
914.94/915.36 c | 493876 | 15602 66788 202845 | 2147483647 493876 256 | 0.000 % |
918.25/918.69 c | 494931 | 15602 66788 202845 | 2147483647 494931 256 | 0.000 % |
921.64/922.05 c | 496090 | 15602 66788 202845 | 2147483647 496090 256 | 0.000 % |
925.54/925.98 c | 497363 | 15602 66788 202845 | 2147483647 497363 256 | 0.000 % |
930.14/930.50 c | 498763 | 15602 66788 202845 | 2147483647 498763 257 | 0.000 % |
934.84/935.21 c | 500304 | 15602 66788 202845 | 2147483647 500304 257 | 0.000 % |
939.94/940.37 c | 502002 | 15602 66788 202845 | 2147483647 502002 257 | 0.000 % |
946.14/946.56 c | 503866 | 15602 66788 202845 | 2147483647 503866 257 | 0.000 % |
952.14/952.53 c | 505916 | 15602 66788 202845 | 2147483647 505916 257 | 0.000 % |
958.84/959.28 c | 508169 | 15602 66788 202845 | 2147483647 508169 257 | 0.000 % |
966.54/966.98 c | 510651 | 15602 66788 202845 | 2147483647 510651 257 | 0.000 % |
974.73/975.11 c | 513376 | 15602 66788 202845 | 2147483647 513376 257 | 0.000 % |
983.62/984.07 c | 516374 | 15602 66788 202845 | 2147483647 516374 258 | 0.000 % |
993.51/993.96 c | 519672 | 15602 66788 202845 | 2147483647 519672 258 | 0.000 % |
1004.71/1005.14 c | 523297 | 15602 66788 202845 | 2147483647 523297 258 | 0.000 % |
1016.70/1017.13 c | 527284 | 15602 66788 202845 | 2147483647 527284 258 | 0.000 % |
1030.10/1030.56 c | 531670 | 15602 66788 202845 | 2147483647 531670 259 | 0.000 % |
1045.20/1045.67 c | 536493 | 15602 66788 202845 | 2147483647 536493 259 | 0.000 % |
1045.60/1046.06 c | 536594 | 15602 66788 202845 | 2147483647 536594 259 | 0.000 % |
1046.20/1046.62 c | 536704 | 15602 66788 202845 | 2147483647 536704 259 | 0.000 % |
1046.60/1047.10 c | 536825 | 15602 66788 202845 | 2147483647 536825 259 | 0.000 % |
1047.20/1047.67 c | 536959 | 15602 66788 202845 | 2147483647 536959 259 | 0.000 % |
1047.90/1048.31 c | 537106 | 15602 66788 202845 | 2147483647 537106 259 | 0.000 % |
1048.50/1048.99 c | 537267 | 15602 66788 202845 | 2147483647 537267 259 | 0.000 % |
1049.20/1049.67 c | 537445 | 15602 66788 202845 | 2147483647 537445 259 | 0.000 % |
1050.00/1050.49 c | 537638 | 15602 66788 202845 | 2147483647 537638 259 | 0.000 % |
1050.89/1051.38 c | 537851 | 15602 66788 202845 | 2147483647 537851 259 | 0.000 % |
1051.79/1052.26 c | 538084 | 15602 66788 202845 | 2147483647 538084 259 | 0.000 % |
1052.90/1053.37 c | 538344 | 15602 66788 202845 | 2147483647 538344 259 | 0.000 % |
1054.00/1054.47 c | 538625 | 15602 66788 202845 | 2147483647 538625 259 | 0.000 % |
1055.00/1055.47 c | 538934 | 15602 66788 202845 | 2147483647 538934 259 | 0.000 % |
1056.40/1056.83 c | 539274 | 15602 66788 202845 | 2147483647 539274 259 | 0.000 % |
1057.80/1058.29 c | 539647 | 15602 66788 202845 | 2147483647 539647 259 | 0.000 % |
1059.29/1059.72 c | 540056 | 15602 66788 202845 | 2147483647 540056 259 | 0.000 % |
1060.89/1061.37 c | 540507 | 15602 66788 202845 | 2147483647 540507 259 | 0.000 % |
1062.99/1063.41 c | 541000 | 15602 66788 202845 | 2147483647 541000 259 | 0.000 % |
1064.99/1065.48 c | 541543 | 15602 66788 202845 | 2147483647 541543 259 | 0.000 % |
1067.30/1067.73 c | 542140 | 15602 66788 202845 | 2147483647 542140 259 | 0.000 % |
1069.70/1070.20 c | 542795 | 15602 66788 202845 | 2147483647 542795 259 | 0.000 % |
1072.19/1072.62 c | 543516 | 15602 66788 202845 | 2147483647 543516 259 | 0.000 % |
1075.09/1075.59 c | 544308 | 15602 66788 202845 | 2147483647 544308 259 | 0.000 % |
1077.99/1078.47 c | 545183 | 15602 66788 202845 | 2147483647 545183 259 | 0.000 % |
1081.49/1081.91 c | 546142 | 15602 66788 202845 | 2147483647 546142 259 | 0.000 % |
1084.89/1085.39 c | 547196 | 15602 66788 202845 | 2147483647 547196 259 | 0.000 % |
1088.78/1089.26 c | 548354 | 15602 66788 202845 | 2147483647 548354 259 | 0.000 % |
1092.68/1093.16 c | 549627 | 15602 66788 202845 | 2147483647 549627 259 | 0.000 % |
1097.18/1097.70 c | 551027 | 15602 66788 202845 | 2147483647 551027 259 | 0.000 % |
1102.48/1102.94 c | 552569 | 15602 66788 202845 | 2147483647 552569 259 | 0.000 % |
1108.18/1108.67 c | 554264 | 15602 66788 202845 | 2147483647 554264 259 | 0.000 % |
1114.57/1115.01 c | 556128 | 15602 66788 202845 | 2147483647 556128 259 | 0.000 % |
1120.97/1121.48 c | 558181 | 15602 66788 202845 | 2147483647 558181 259 | 0.000 % |
1128.58/1129.07 c | 560436 | 15602 66788 202845 | 2147483647 560436 260 | 0.000 % |
1136.77/1137.25 c | 562914 | 15602 66788 202845 | 2147483647 562914 260 | 0.000 % |
1145.67/1146.12 c | 565639 | 15602 66788 202845 | 2147483647 565639 260 | 0.000 % |
1154.96/1155.45 c | 568636 | 15602 66788 202845 | 2147483647 568636 260 | 0.000 % |
1165.36/1165.81 c | 571932 | 15602 66788 202845 | 2147483647 571932 260 | 0.000 % |
1177.25/1177.78 c | 575557 | 15602 66788 202845 | 2147483647 575557 260 | 0.000 % |
1190.96/1191.49 c | 579544 | 15602 66788 202845 | 2147483647 579544 260 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832769-1242787469/watcher-1832769-1242787469 -o /tmp/evaluation-result-1832769-1242787469/solver-1832769-1242787469 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832769-1242787469.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.99 0.99 3/65 18876
/proc/meminfo: memFree=1764784/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0
/proc/18876/stat : 18876 (SatELiteGTI) R 18874 18876 18244 0 -1 4194304 292 249 0 0 0 0 0 0 19 0 1 0 306775254 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234211568287 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/18876/statm: 1339 237 197 169 0 50 0
[startup+0.0835489 s]
/proc/loadavg: 0.99 0.99 0.99 3/65 18876
/proc/meminfo: memFree=1764784/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306775254 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18876/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102552 s]
/proc/loadavg: 0.99 0.99 0.99 3/65 18876
/proc/meminfo: memFree=1764784/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306775254 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18876/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301576 s]
/proc/loadavg: 0.99 0.99 0.99 3/65 18876
/proc/meminfo: memFree=1764784/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306775254 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18876/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702639 s]
/proc/loadavg: 0.99 0.99 0.99 3/65 18876
/proc/meminfo: memFree=1764784/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 5356
[startup+1.50173 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18882
/proc/meminfo: memFree=1757024/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=7700 CPUtime=1.16
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 1770 0 0 0 115 1 0 0 25 0 1 0 306775286 7884800 1756 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 1925 1756 77 171 0 1752 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13056
[startup+3.10193 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18882
/proc/meminfo: memFree=1755424/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=9944 CPUtime=2.76
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 2308 0 0 0 274 2 0 0 25 0 1 0 306775286 10182656 2294 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 2486 2294 77 171 0 2313 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15300
[startup+6.30134 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18884
/proc/meminfo: memFree=1750560/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=14436 CPUtime=5.97
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 3434 0 0 0 594 3 0 0 25 0 1 0 306775286 14782464 3420 1992294400 134512640 135215339 4294956240 18446744073709551615 134738079 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 3609 3420 77 171 0 3436 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19792
[startup+12.7011 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18884
/proc/meminfo: memFree=1741856/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=22716 CPUtime=12.36
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 5501 0 0 0 1232 4 0 0 25 0 1 0 306775286 23261184 5487 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 5679 5487 77 171 0 5506 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 28072
[startup+25.5018 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18884
/proc/meminfo: memFree=1726496/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=37412 CPUtime=25.15
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 9194 0 0 0 2506 9 0 0 25 0 1 0 306775286 38309888 9180 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 9353 9180 77 171 0 9180 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 42768
[startup+51.102 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18884
/proc/meminfo: memFree=1700128/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=64152 CPUtime=50.73
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 15853 0 0 0 5059 14 0 0 25 0 1 0 306775286 65691648 15839 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 16038 15839 77 171 0 15865 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 69508
[startup+102.307 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18884
/proc/meminfo: memFree=1653984/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=109632 CPUtime=101.91
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 27210 0 0 0 10165 26 0 0 25 0 1 0 306775286 112263168 27196 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 27408 27196 77 171 0 27235 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 114988
[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18884
/proc/meminfo: memFree=1608288/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=155596 CPUtime=161.89
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 38697 0 0 0 16150 39 0 0 25 0 1 0 306775286 159330304 38683 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 38899 38683 77 171 0 38726 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 160952
[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18884
/proc/meminfo: memFree=1568800/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=194420 CPUtime=221.86
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 48433 0 0 0 22134 52 0 0 25 0 1 0 306775286 199086080 48419 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 48605 48419 77 171 0 48432 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 199776
[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18884
/proc/meminfo: memFree=1530848/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=232732 CPUtime=281.84
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 57926 0 0 0 28123 61 0 0 25 0 1 0 306775286 238317568 57912 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 58183 57912 77 171 0 58010 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 238088
[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18884
/proc/meminfo: memFree=1498208/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=264948 CPUtime=341.82
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 66010 0 0 0 34111 71 0 0 25 0 1 0 306775286 271306752 65996 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 66237 65996 77 171 0 66064 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 270304
[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18884
/proc/meminfo: memFree=1465376/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=297700 CPUtime=401.8
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 74257 0 0 0 40102 78 0 0 25 0 1 0 306775286 304844800 74243 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 74425 74243 77 171 0 74252 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 303056
[startup+462.302 s]
################
# More data... #
################
/proc/18882/statm: 96562 96283 77 171 0 96389 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 391604
[startup+642.303 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18884
/proc/meminfo: memFree=1348256/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=413968 CPUtime=641.73
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 103269 0 0 0 64062 111 0 0 25 0 1 0 306775286 423903232 103255 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 103492 103255 77 171 0 103319 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 419324
[startup+702.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18884
/proc/meminfo: memFree=1323168/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=439188 CPUtime=701.7
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 109571 0 0 0 70053 117 0 0 25 0 1 0 306775286 449728512 109557 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 109797 109557 77 171 0 109624 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 444544
[startup+762.307 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18884
/proc/meminfo: memFree=1298400/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=463356 CPUtime=761.68
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 115659 0 0 0 76044 124 0 0 25 0 1 0 306775286 474476544 115645 1992294400 134512640 135215339 4294956240 18446744073709551615 134528613 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 115839 115645 77 171 0 115666 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 468712
[startup+822.303 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18884
/proc/meminfo: memFree=1275936/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=485944 CPUtime=821.66
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 121305 0 0 0 82036 130 0 0 25 0 1 0 306775286 497606656 121291 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 121486 121291 77 171 0 121313 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 491300
[startup+882.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18884
/proc/meminfo: memFree=1249760/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=512612 CPUtime=881.65
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 127786 0 0 0 88027 138 0 0 25 0 1 0 306775286 524914688 127772 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 128153 127772 77 171 0 127980 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 517968
[startup+942.303 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18884
/proc/meminfo: memFree=1230688/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=531624 CPUtime=941.62
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 132546 0 0 0 94019 143 0 0 25 0 1 0 306775286 544382976 132532 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 132906 132532 77 171 0 132733 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 536980
[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18890
/proc/meminfo: memFree=1207200/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=554600 CPUtime=1001.6
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 138312 0 0 0 100010 150 0 0 25 0 1 0 306775286 567910400 138298 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 138650 138298 77 171 0 138477 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 559956
[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18890
/proc/meminfo: memFree=1186272/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=575464 CPUtime=1061.58
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 143554 0 0 0 106003 155 0 0 25 0 1 0 306775286 589275136 143540 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 143866 143540 77 171 0 143693 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 580820
[startup+1122.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/67 18890
/proc/meminfo: memFree=1166240/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=595404 CPUtime=1121.56
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 148548 0 0 0 111995 161 0 0 25 0 1 0 306775286 609693696 148534 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 148851 148534 77 171 0 148678 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 600760
[startup+1182.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/67 18890
/proc/meminfo: memFree=1145184/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=616264 CPUtime=1181.55
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 153796 0 0 0 117988 167 0 0 25 0 1 0 306775286 631054336 153782 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 154066 153782 77 171 0 153893 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 621620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.08 1.02 1.00 2/67 18890
/proc/meminfo: memFree=1138592/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=622608 CPUtime=1199.74
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 155374 0 0 0 119805 169 0 0 25 0 1 0 306775286 637550592 155360 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 155652 155360 77 171 0 155479 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 627964
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: 1.08 1.02 1.00 2/67 18890
/proc/meminfo: memFree=1138592/2055920 swapFree=4178880/4192956
[pid=18876] ppid=18874 vsize=5356 CPUtime=0.31
/proc/18876/stat : 18876 (SatELiteGTI) S 18874 18876 18244 0 -1 4194304 336 2294 0 0 0 0 29 2 16 0 1 0 306775254 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18876/statm: 1339 239 197 169 0 50 0
[pid=18882] ppid=18876 vsize=622608 CPUtime=1199.74
/proc/18882/stat : 18882 (minisat_static) R 18876 18876 18244 0 -1 4194304 155374 0 0 0 119805 169 0 0 25 0 1 0 306775286 637550592 155360 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/18882/statm: 155652 155360 77 171 0 155479 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 627964
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18876 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=292955
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=25996
# CPU time returned by wait4() is 0.318951
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.05
CPU user time (s): 1198.34
CPU system time (s): 1.71
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 627964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.292955
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2630
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 7
runsolver used 1.09683 second user time and 3.37549 second system time
The end
Begin job on node54 at 2009-05-20 04:44:29
IDJOB=1832769
IDBENCH=70348
IDSOLVER=671
FILE ID=node54/1832769-1242787469
PBS_JOBID= 9322353
Free space on /tmp= 65968 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/16000/unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832769-1242787469/watcher-1832769-1242787469 -o /tmp/evaluation-result-1832769-1242787469/solver-1832769-1242787469 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832769-1242787469.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3ed6e5f5358c1fd3f163dcbb9450e91a
RANDOM SEED=293284328
node54.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1765328 kB
Buffers: 27472 kB
Cached: 215804 kB
SwapCached: 7712 kB
Active: 33140 kB
Inactive: 219372 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1765328 kB
SwapTotal: 4192956 kB
SwapFree: 4178880 kB
Dirty: 2852 kB
Writeback: 0 kB
Mapped: 14292 kB
Slab: 24096 kB
Committed_AS: 993616 kB
PageTables: 1372 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65964 MiB
End job on node54 at 2009-05-20 05:04:31