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 | 66706 202681 | -- 0 -- -- | -- | -494/1081
0.00/0.24 c ==============================================================================
0.00/0.24 c Result : #vars: 15583 #clauses: 66706 #literals: 202681
0.00/0.24 c CPU time: 0.225965 s
0.00/0.24 c ==============================================================================
0.00/0.32 c This is MiniSat 2.0 beta
0.00/0.32 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.32 c ============================[ Problem Statistics ]=============================
0.00/0.32 c | |
0.00/0.32 c | Number of variables: 15583 |
0.00/0.32 c | Number of clauses: 66706 |
0.00/0.37 c | Parsing time: 0.05 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 | 15583 66706 202681 | 22235 0 nan | 0.000 % |
0.31/0.42 c | 100 | 15583 66706 202681 | 22235 100 149 | 0.000 % |
0.31/0.47 c | 201 | 15583 66706 202681 | 22235 201 160 | 0.000 % |
0.31/0.52 c | 301 | 15583 66706 202681 | 22235 301 166 | 0.000 % |
0.31/0.58 c | 411 | 15583 66706 202681 | 22235 411 168 | 0.000 % |
0.31/0.63 c | 511 | 15583 66706 202681 | 22235 511 165 | 0.000 % |
0.31/0.69 c | 623 | 15583 66706 202681 | 22235 623 162 | 0.000 % |
0.31/0.75 c | 746 | 15583 66706 202681 | 22235 746 166 | 0.000 % |
0.31/0.81 c | 846 | 15583 66706 202681 | 22235 846 168 | 0.000 % |
0.31/0.87 c | 958 | 15583 66706 202681 | 22235 958 165 | 0.000 % |
0.31/0.94 c | 1079 | 15583 66706 202681 | 22235 1079 170 | 0.000 % |
0.99/1.01 c | 1212 | 15583 66706 202681 | 22235 1212 172 | 0.000 % |
0.99/1.07 c | 1312 | 15583 66706 202681 | 22235 1312 170 | 0.000 % |
1.09/1.12 c | 1423 | 15583 66706 202681 | 22235 1423 168 | 0.000 % |
1.09/1.18 c | 1545 | 15583 66706 202681 | 22235 1545 168 | 0.000 % |
1.18/1.24 c | 1679 | 15583 66706 202681 | 22235 1679 165 | 0.000 % |
1.28/1.32 c | 1826 | 15583 66706 202681 | 22235 1826 168 | 0.000 % |
1.28/1.38 c | 1926 | 15583 66706 202681 | 22235 1926 167 | 0.000 % |
1.38/1.44 c | 2036 | 15583 66706 202681 | 22235 2036 166 | 0.000 % |
1.48/1.50 c | 2158 | 15583 66706 202681 | 22235 2158 165 | 0.000 % |
1.48/1.58 c | 2292 | 15583 66706 202681 | 22235 2292 168 | 0.000 % |
1.58/1.65 c | 2439 | 15583 66706 202681 | 22235 2439 170 | 0.000 % |
1.68/1.74 c | 2599 | 15583 66706 202681 | 22235 2599 173 | 0.000 % |
1.68/1.80 c | 2699 | 15583 66706 202681 | 22235 2699 174 | 0.000 % |
1.78/1.85 c | 2810 | 15583 66706 202681 | 22235 2810 175 | 0.000 % |
1.88/1.92 c | 2932 | 15583 66706 202681 | 22235 2932 175 | 0.000 % |
1.98/2.00 c | 3066 | 15583 66706 202681 | 22235 3066 175 | 0.000 % |
1.98/2.08 c | 3213 | 15583 66706 202681 | 22235 3213 179 | 0.000 % |
2.08/2.17 c | 3375 | 15583 66706 202681 | 22235 3375 181 | 0.000 % |
2.18/2.26 c | 3551 | 15583 66706 202681 | 22235 3551 181 | 0.000 % |
2.28/2.33 c | 3655 | 15583 66706 202681 | 22235 3655 181 | 0.000 % |
2.28/2.39 c | 3765 | 15583 66706 202681 | 22235 3765 183 | 0.000 % |
2.38/2.46 c | 3886 | 15583 66706 202681 | 22235 3886 182 | 0.000 % |
2.47/2.53 c | 4022 | 15583 66706 202681 | 22235 4022 182 | 0.000 % |
2.57/2.62 c | 4171 | 15583 66706 202681 | 22235 4171 184 | 0.000 % |
2.57/2.69 c | 4331 | 15583 66706 202681 | 22235 4331 185 | 0.000 % |
2.77/2.80 c | 4507 | 15583 66706 202681 | 22235 4507 186 | 0.000 % |
2.87/2.90 c | 4700 | 15583 66706 202681 | 22235 4700 185 | 0.000 % |
2.87/2.96 c | 4801 | 15583 66706 202681 | 22235 4801 185 | 0.000 % |
2.97/3.03 c | 4912 | 15583 66706 202681 | 22235 4912 185 | 0.000 % |
2.97/3.09 c | 5034 | 15583 66706 202681 | 22235 5034 185 | 0.000 % |
3.08/3.17 c | 5171 | 15583 66706 202681 | 22235 5171 184 | 0.000 % |
3.18/3.26 c | 5319 | 15583 66706 202681 | 22235 5319 186 | 0.000 % |
3.28/3.35 c | 5479 | 15583 66706 202681 | 22235 5479 185 | 0.000 % |
3.38/3.45 c | 5658 | 15583 66706 202681 | 22235 5658 186 | 0.000 % |
3.48/3.56 c | 5853 | 15583 66706 202681 | 22235 5853 188 | 0.000 % |
3.58/3.67 c | 6066 | 15583 66706 202681 | 22235 6066 187 | 0.000 % |
3.68/3.74 c | 6166 | 15583 66706 202681 | 22235 6166 187 | 0.000 % |
3.77/3.80 c | 6276 | 15583 66706 202681 | 22235 6276 187 | 0.000 % |
3.77/3.88 c | 6397 | 15583 66706 202681 | 22235 6397 187 | 0.000 % |
3.87/3.96 c | 6531 | 15583 66706 202681 | 22235 6531 187 | 0.000 % |
3.97/4.05 c | 6679 | 15583 66706 202681 | 22235 6679 187 | 0.000 % |
4.07/4.14 c | 6839 | 15583 66706 202681 | 22235 6839 188 | 0.000 % |
4.17/4.24 c | 7015 | 15583 66706 202681 | 22235 7015 189 | 0.000 % |
4.28/4.36 c | 7208 | 15583 66706 202681 | 22235 7208 188 | 0.000 % |
4.38/4.47 c | 7421 | 15583 66706 202681 | 22235 7421 188 | 0.000 % |
4.57/4.60 c | 7654 | 15583 66706 202681 | 22235 7654 188 | 0.000 % |
4.57/4.67 c | 7756 | 15583 66706 202681 | 22235 7756 188 | 0.000 % |
4.67/4.73 c | 7867 | 15583 66706 202681 | 22235 7867 188 | 0.000 % |
4.67/4.79 c | 7988 | 15583 66706 202681 | 22235 7988 188 | 0.000 % |
4.77/4.87 c | 8121 | 15583 66706 202681 | 22235 8121 187 | 0.000 % |
4.87/4.96 c | 8267 | 15583 66706 202681 | 22235 8267 187 | 0.000 % |
4.97/5.05 c | 8429 | 15583 66706 202681 | 22235 8429 186 | 0.000 % |
5.07/5.16 c | 8605 | 15583 66706 202681 | 22235 8605 186 | 0.000 % |
5.17/5.27 c | 8798 | 15583 66706 202681 | 22235 8798 187 | 0.000 % |
5.27/5.38 c | 9011 | 15583 66706 202681 | 22235 9011 186 | 0.000 % |
5.48/5.52 c | 9246 | 15583 66706 202681 | 22235 9246 187 | 0.000 % |
5.57/5.67 c | 9504 | 15583 66706 202681 | 22235 9504 188 | 0.000 % |
5.67/5.74 c | 9605 | 15583 66706 202681 | 22235 9605 188 | 0.000 % |
5.77/5.80 c | 9718 | 15583 66706 202681 | 22235 9718 189 | 0.000 % |
5.77/5.87 c | 9839 | 15583 66706 202681 | 22235 9839 189 | 0.000 % |
5.87/5.96 c | 9973 | 15583 66706 202681 | 22235 9973 189 | 0.000 % |
5.97/6.04 c | 10119 | 15583 66706 202681 | 2147483647 10119 189 | 0.000 % |
6.07/6.14 c | 10279 | 15583 66706 202681 | 2147483647 10279 190 | 0.000 % |
6.17/6.24 c | 10455 | 15583 66706 202681 | 2147483647 10455 191 | 0.000 % |
6.27/6.36 c | 10650 | 15583 66706 202681 | 2147483647 10650 191 | 0.000 % |
6.37/6.49 c | 10868 | 15583 66706 202681 | 2147483647 10868 192 | 0.000 % |
6.58/6.63 c | 11101 | 15583 66706 202681 | 2147483647 11101 192 | 0.000 % |
6.77/6.80 c | 11358 | 15583 66706 202681 | 2147483647 11358 193 | 0.000 % |
6.87/6.97 c | 11639 | 15583 66706 202681 | 2147483647 11639 192 | 0.000 % |
6.97/7.02 c | 11739 | 15583 66706 202681 | 2147483647 11739 192 | 0.000 % |
6.97/7.09 c | 11850 | 15583 66706 202681 | 2147483647 11850 192 | 0.000 % |
7.07/7.17 c | 11974 | 15583 66706 202681 | 2147483647 11974 192 | 0.000 % |
7.16/7.25 c | 12107 | 15583 66706 202681 | 2147483647 12107 192 | 0.000 % |
7.26/7.34 c | 12253 | 15583 66706 202681 | 2147483647 12253 191 | 0.000 % |
7.36/7.44 c | 12413 | 15583 66706 202681 | 2147483647 12413 192 | 0.000 % |
7.46/7.55 c | 12589 | 15583 66706 202681 | 2147483647 12589 191 | 0.000 % |
7.57/7.67 c | 12782 | 15583 66706 202681 | 2147483647 12782 191 | 0.000 % |
7.76/7.81 c | 12995 | 15583 66706 202681 | 2147483647 12995 192 | 0.000 % |
7.86/7.95 c | 13230 | 15583 66706 202681 | 2147483647 13230 191 | 0.000 % |
8.06/8.10 c | 13486 | 15583 66706 202681 | 2147483647 13486 192 | 0.000 % |
8.16/8.27 c | 13770 | 15583 66706 202681 | 2147483647 13770 192 | 0.000 % |
8.36/8.45 c | 14081 | 15583 66706 202681 | 2147483647 14081 192 | 0.000 % |
8.46/8.53 c | 14181 | 15583 66706 202681 | 2147483647 14181 192 | 0.000 % |
8.46/8.59 c | 14293 | 15583 66706 202681 | 2147483647 14293 192 | 0.000 % |
8.56/8.67 c | 14414 | 15583 66706 202681 | 2147483647 14414 191 | 0.000 % |
8.67/8.75 c | 14547 | 15583 66706 202681 | 2147483647 14547 192 | 0.000 % |
8.77/8.84 c | 14695 | 15583 66706 202681 | 2147483647 14695 192 | 0.000 % |
8.87/8.93 c | 14855 | 15583 66706 202681 | 2147483647 14855 191 | 0.000 % |
8.97/9.05 c | 15032 | 15583 66706 202681 | 2147483647 15032 192 | 0.000 % |
9.07/9.18 c | 15225 | 15583 66706 202681 | 2147483647 15225 192 | 0.000 % |
9.17/9.29 c | 15437 | 15583 66706 202681 | 2147483647 15437 192 | 0.000 % |
9.37/9.42 c | 15671 | 15583 66706 202681 | 2147483647 15671 192 | 0.000 % |
9.47/9.58 c | 15927 | 15583 66706 202681 | 2147483647 15927 192 | 0.000 % |
9.67/9.75 c | 16208 | 15583 66706 202681 | 2147483647 16208 192 | 0.000 % |
9.87/9.94 c | 16517 | 15583 66706 202681 | 2147483647 16517 193 | 0.000 % |
10.06/10.16 c | 16857 | 15583 66706 202681 | 2147483647 16857 193 | 0.000 % |
10.16/10.22 c | 16961 | 15583 66706 202681 | 2147483647 16961 193 | 0.000 % |
10.16/10.29 c | 17071 | 15583 66706 202681 | 2147483647 17071 193 | 0.000 % |
10.26/10.37 c | 17192 | 15583 66706 202681 | 2147483647 17192 193 | 0.000 % |
10.36/10.46 c | 17325 | 15583 66706 202681 | 2147483647 17325 193 | 0.000 % |
10.46/10.56 c | 17471 | 15583 66706 202681 | 2147483647 17471 193 | 0.000 % |
10.56/10.68 c | 17635 | 15583 66706 202681 | 2147483647 17635 194 | 0.000 % |
10.66/10.79 c | 17811 | 15583 66706 202681 | 2147483647 17811 194 | 0.000 % |
10.86/10.91 c | 18004 | 15583 66706 202681 | 2147483647 18004 194 | 0.000 % |
10.97/11.05 c | 18218 | 15583 66706 202681 | 2147483647 18218 195 | 0.000 % |
11.06/11.19 c | 18452 | 15583 66706 202681 | 2147483647 18452 195 | 0.000 % |
11.27/11.35 c | 18708 | 15583 66706 202681 | 2147483647 18708 195 | 0.000 % |
11.47/11.53 c | 18989 | 15583 66706 202681 | 2147483647 18989 196 | 0.000 % |
11.67/11.70 c | 19298 | 15583 66706 202681 | 2147483647 19298 196 | 0.000 % |
11.87/11.90 c | 19638 | 15583 66706 202681 | 2147483647 19638 197 | 0.000 % |
12.07/12.13 c | 20011 | 15583 66706 202681 | 2147483647 20011 198 | 0.000 % |
12.17/12.21 c | 20111 | 15583 66706 202681 | 2147483647 20111 198 | 0.000 % |
12.17/12.29 c | 20225 | 15583 66706 202681 | 2147483647 20225 198 | 0.000 % |
12.26/12.38 c | 20346 | 15583 66706 202681 | 2147483647 20346 197 | 0.000 % |
12.36/12.47 c | 20482 | 15583 66706 202681 | 2147483647 20482 198 | 0.000 % |
12.46/12.56 c | 20629 | 15583 66706 202681 | 2147483647 20629 197 | 0.000 % |
12.56/12.68 c | 20789 | 15583 66706 202681 | 2147483647 20789 198 | 0.000 % |
12.66/12.79 c | 20965 | 15583 66706 202681 | 2147483647 20965 198 | 0.000 % |
12.86/12.93 c | 21159 | 15583 66706 202681 | 2147483647 21159 198 | 0.000 % |
12.96/13.06 c | 21374 | 15583 66706 202681 | 2147483647 21374 198 | 0.000 % |
13.17/13.20 c | 21607 | 15583 66706 202681 | 2147483647 21607 199 | 0.000 % |
13.26/13.37 c | 21865 | 15583 66706 202681 | 2147483647 21865 199 | 0.000 % |
13.46/13.56 c | 22146 | 15583 66706 202681 | 2147483647 22146 200 | 0.000 % |
13.66/13.77 c | 22455 | 15583 66706 202681 | 2147483647 22455 200 | 0.000 % |
13.86/13.97 c | 22796 | 15583 66706 202681 | 2147483647 22796 200 | 0.000 % |
14.16/14.22 c | 23169 | 15583 66706 202681 | 2147483647 23169 200 | 0.000 % |
14.47/14.50 c | 23579 | 15583 66706 202681 | 2147483647 23579 200 | 0.000 % |
14.47/14.57 c | 23679 | 15583 66706 202681 | 2147483647 23679 200 | 0.000 % |
14.57/14.65 c | 23790 | 15583 66706 202681 | 2147483647 23790 200 | 0.000 % |
14.67/14.73 c | 23911 | 15583 66706 202681 | 2147483647 23911 200 | 0.000 % |
14.77/14.83 c | 24045 | 15583 66706 202681 | 2147483647 24045 200 | 0.000 % |
14.87/14.94 c | 24191 | 15583 66706 202681 | 2147483647 24191 200 | 0.000 % |
14.97/15.05 c | 24353 | 15583 66706 202681 | 2147483647 24353 200 | 0.000 % |
15.06/15.17 c | 24529 | 15583 66706 202681 | 2147483647 24529 200 | 0.000 % |
15.27/15.32 c | 24722 | 15583 66706 202681 | 2147483647 24722 200 | 0.000 % |
15.37/15.46 c | 24935 | 15583 66706 202681 | 2147483647 24935 200 | 0.000 % |
15.56/15.60 c | 25168 | 15583 66706 202681 | 2147483647 25168 200 | 0.000 % |
15.66/15.78 c | 25425 | 15583 66706 202681 | 2147483647 25425 200 | 0.000 % |
15.86/15.98 c | 25707 | 15583 66706 202681 | 2147483647 25707 200 | 0.000 % |
16.06/16.19 c | 26017 | 15583 66706 202681 | 2147483647 26017 201 | 0.000 % |
16.36/16.41 c | 26358 | 15583 66706 202681 | 2147483647 26358 200 | 0.000 % |
16.56/16.65 c | 26732 | 15583 66706 202681 | 2147483647 26732 201 | 0.000 % |
16.86/16.93 c | 27141 | 15583 66706 202681 | 2147483647 27141 201 | 0.000 % |
17.16/17.24 c | 27592 | 15583 66706 202681 | 2147483647 27592 202 | 0.000 % |
17.26/17.32 c | 27692 | 15583 66706 202681 | 2147483647 27692 202 | 0.000 % |
17.26/17.40 c | 27803 | 15583 66706 202681 | 2147483647 27803 202 | 0.000 % |
17.36/17.49 c | 27924 | 15583 66706 202681 | 2147483647 27924 202 | 0.000 % |
17.46/17.58 c | 28058 | 15583 66706 202681 | 2147483647 28058 202 | 0.000 % |
17.56/17.69 c | 28204 | 15583 66706 202681 | 2147483647 28204 202 | 0.000 % |
17.76/17.81 c | 28364 | 15583 66706 202681 | 2147483647 28364 202 | 0.000 % |
17.86/17.93 c | 28541 | 15583 66706 202681 | 2147483647 28541 202 | 0.000 % |
17.95/18.08 c | 28734 | 15583 66706 202681 | 2147483647 28734 202 | 0.000 % |
18.15/18.23 c | 28946 | 15583 66706 202681 | 2147483647 28946 202 | 0.000 % |
18.25/18.39 c | 29180 | 15583 66706 202681 | 2147483647 29180 202 | 0.000 % |
18.46/18.58 c | 29437 | 15583 66706 202681 | 2147483647 29437 203 | 0.000 % |
18.66/18.78 c | 29719 | 15583 66706 202681 | 2147483647 29719 202 | 0.000 % |
18.96/19.01 c | 30030 | 15583 66706 202681 | 2147483647 30030 202 | 0.000 % |
19.16/19.25 c | 30370 | 15583 66706 202681 | 2147483647 30370 203 | 0.000 % |
19.46/19.52 c | 30742 | 15583 66706 202681 | 2147483647 30742 203 | 0.000 % |
19.66/19.79 c | 31151 | 15583 66706 202681 | 2147483647 31151 203 | 0.000 % |
20.06/20.11 c | 31603 | 15583 66706 202681 | 2147483647 31603 204 | 0.000 % |
20.35/20.45 c | 32098 | 15583 66706 202681 | 2147483647 32098 204 | 0.000 % |
20.46/20.54 c | 32198 | 15583 66706 202681 | 2147483647 32198 204 | 0.000 % |
20.56/20.63 c | 32308 | 15583 66706 202681 | 2147483647 32308 203 | 0.000 % |
20.66/20.72 c | 32430 | 15583 66706 202681 | 2147483647 32430 203 | 0.000 % |
20.76/20.83 c | 32563 | 15583 66706 202681 | 2147483647 32563 203 | 0.000 % |
20.86/20.94 c | 32709 | 15583 66706 202681 | 2147483647 32709 203 | 0.000 % |
20.96/21.05 c | 32869 | 15583 66706 202681 | 2147483647 32869 203 | 0.000 % |
21.06/21.18 c | 33047 | 15583 66706 202681 | 2147483647 33047 203 | 0.000 % |
21.26/21.33 c | 33240 | 15583 66706 202681 | 2147483647 33240 203 | 0.000 % |
21.46/21.50 c | 33452 | 15583 66706 202681 | 2147483647 33452 203 | 0.000 % |
21.56/21.69 c | 33685 | 15583 66706 202681 | 2147483647 33685 203 | 0.000 % |
21.76/21.85 c | 33941 | 15583 66706 202681 | 2147483647 33941 204 | 0.000 % |
21.96/22.07 c | 34222 | 15583 66706 202681 | 2147483647 34222 204 | 0.000 % |
22.16/22.28 c | 34531 | 15583 66706 202681 | 2147483647 34531 204 | 0.000 % |
22.45/22.54 c | 34871 | 15583 66706 202681 | 2147483647 34871 204 | 0.000 % |
22.75/22.82 c | 35244 | 15583 66706 202681 | 2147483647 35244 204 | 0.000 % |
23.06/23.12 c | 35653 | 15583 66706 202681 | 2147483647 35653 204 | 0.000 % |
23.35/23.46 c | 36102 | 15583 66706 202681 | 2147483647 36102 204 | 0.000 % |
23.75/23.81 c | 36595 | 15583 66706 202681 | 2147483647 36595 205 | 0.000 % |
24.16/24.22 c | 37137 | 15583 66706 202681 | 2147483647 37137 205 | 0.000 % |
24.25/24.30 c | 37238 | 15583 66706 202681 | 2147483647 37238 205 | 0.000 % |
24.25/24.39 c | 37349 | 15583 66706 202681 | 2147483647 37349 204 | 0.000 % |
24.35/24.48 c | 37470 | 15583 66706 202681 | 2147483647 37470 204 | 0.000 % |
24.45/24.58 c | 37605 | 15583 66706 202681 | 2147483647 37605 204 | 0.000 % |
24.65/24.71 c | 37751 | 15583 66706 202681 | 2147483647 37751 204 | 0.000 % |
24.75/24.83 c | 37911 | 15583 66706 202681 | 2147483647 37911 205 | 0.000 % |
24.85/24.98 c | 38087 | 15583 66706 202681 | 2147483647 38087 204 | 0.000 % |
25.05/25.15 c | 38281 | 15583 66706 202681 | 2147483647 38281 204 | 0.000 % |
25.25/25.31 c | 38493 | 15583 66706 202681 | 2147483647 38493 205 | 0.000 % |
25.35/25.48 c | 38726 | 15583 66706 202681 | 2147483647 38726 205 | 0.000 % |
25.55/25.69 c | 38984 | 15583 66706 202681 | 2147483647 38984 205 | 0.000 % |
25.75/25.89 c | 39265 | 15583 66706 202681 | 2147483647 39265 205 | 0.000 % |
26.06/26.15 c | 39574 | 15583 66706 202681 | 2147483647 39574 205 | 0.000 % |
26.26/26.40 c | 39913 | 15583 66706 202681 | 2147483647 39913 206 | 0.000 % |
26.55/26.69 c | 40286 | 15583 66706 202681 | 2147483647 40286 206 | 0.000 % |
26.95/27.02 c | 40696 | 15583 66706 202681 | 2147483647 40696 206 | 0.000 % |
27.25/27.37 c | 41146 | 15583 66706 202681 | 2147483647 41146 206 | 0.000 % |
27.65/27.76 c | 41639 | 15583 66706 202681 | 2147483647 41639 207 | 0.000 % |
28.05/28.18 c | 42181 | 15583 66706 202681 | 2147483647 42181 207 | 0.000 % |
28.55/28.65 c | 42778 | 15583 66706 202681 | 2147483647 42778 208 | 0.000 % |
28.65/28.73 c | 42878 | 15583 66706 202681 | 2147483647 42878 208 | 0.000 % |
28.75/28.82 c | 42988 | 15583 66706 202681 | 2147483647 42988 208 | 0.000 % |
28.85/28.93 c | 43110 | 15583 66706 202681 | 2147483647 43110 208 | 0.000 % |
28.95/29.04 c | 43244 | 15583 66706 202681 | 2147483647 43244 208 | 0.000 % |
29.05/29.15 c | 43391 | 15583 66706 202681 | 2147483647 43391 208 | 0.000 % |
29.15/29.27 c | 43551 | 15583 66706 202681 | 2147483647 43551 208 | 0.000 % |
29.35/29.42 c | 43728 | 15583 66706 202681 | 2147483647 43728 208 | 0.000 % |
29.45/29.57 c | 43923 | 15583 66706 202681 | 2147483647 43923 208 | 0.000 % |
29.65/29.73 c | 44135 | 15583 66706 202681 | 2147483647 44135 208 | 0.000 % |
29.85/29.92 c | 44370 | 15583 66706 202681 | 2147483647 44370 207 | 0.000 % |
30.05/30.13 c | 44626 | 15583 66706 202681 | 2147483647 44626 207 | 0.000 % |
30.25/30.38 c | 44907 | 15583 66706 202681 | 2147483647 44907 207 | 0.000 % |
30.55/30.61 c | 45217 | 15583 66706 202681 | 2147483647 45217 207 | 0.000 % |
30.75/30.87 c | 45557 | 15583 66706 202681 | 2147483647 45557 207 | 0.000 % |
31.05/31.17 c | 45929 | 15583 66706 202681 | 2147483647 45929 207 | 0.000 % |
31.45/31.52 c | 46339 | 15583 66706 202681 | 2147483647 46339 207 | 0.000 % |
31.75/31.89 c | 46788 | 15583 66706 202681 | 2147483647 46788 207 | 0.000 % |
32.15/32.28 c | 47282 | 15583 66706 202681 | 2147483647 47282 207 | 0.000 % |
32.55/32.69 c | 47824 | 15583 66706 202681 | 2147483647 47824 207 | 0.000 % |
33.05/33.15 c | 48420 | 15583 66706 202681 | 2147483647 48420 207 | 0.000 % |
33.55/33.67 c | 49076 | 15583 66706 202681 | 2147483647 49076 207 | 0.000 % |
33.65/33.77 c | 49177 | 15583 66706 202681 | 2147483647 49177 207 | 0.000 % |
33.75/33.88 c | 49287 | 15583 66706 202681 | 2147483647 49287 207 | 0.000 % |
33.85/33.98 c | 49408 | 15583 66706 202681 | 2147483647 49408 207 | 0.000 % |
34.05/34.10 c | 49541 | 15583 66706 202681 | 2147483647 49541 207 | 0.000 % |
34.15/34.23 c | 49688 | 15583 66706 202681 | 2147483647 49688 207 | 0.000 % |
34.25/34.36 c | 49849 | 15583 66706 202681 | 2147483647 49849 207 | 0.000 % |
34.45/34.53 c | 50025 | 15583 66706 202681 | 2147483647 50025 207 | 0.000 % |
34.55/34.69 c | 50218 | 15583 66706 202681 | 2147483647 50218 207 | 0.000 % |
34.75/34.88 c | 50430 | 15583 66706 202681 | 2147483647 50430 207 | 0.000 % |
34.95/35.08 c | 50665 | 15583 66706 202681 | 2147483647 50665 207 | 0.000 % |
35.15/35.28 c | 50923 | 15583 66706 202681 | 2147483647 50923 207 | 0.000 % |
35.44/35.51 c | 51205 | 15583 66706 202681 | 2147483647 51205 207 | 0.000 % |
35.64/35.78 c | 51514 | 15583 66706 202681 | 2147483647 51514 207 | 0.000 % |
35.94/36.05 c | 51853 | 15583 66706 202681 | 2147483647 51853 207 | 0.000 % |
36.25/36.38 c | 52225 | 15583 66706 202681 | 2147483647 52225 208 | 0.000 % |
36.64/36.74 c | 52635 | 15583 66706 202681 | 2147483647 52635 208 | 0.000 % |
37.05/37.17 c | 53085 | 15583 66706 202681 | 2147483647 53085 208 | 0.000 % |
37.55/37.62 c | 53579 | 15583 66706 202681 | 2147483647 53579 208 | 0.000 % |
37.94/38.08 c | 54125 | 15583 66706 202681 | 2147483647 54125 209 | 0.000 % |
38.45/38.59 c | 54721 | 15583 66706 202681 | 2147483647 54721 209 | 0.000 % |
39.04/39.12 c | 55376 | 15583 66706 202681 | 2147483647 55376 211 | 0.000 % |
39.63/39.75 c | 56096 | 15583 66706 202681 | 2147483647 56096 211 | 0.000 % |
39.73/39.85 c | 56196 | 15583 66706 202681 | 2147483647 56196 212 | 0.000 % |
39.83/39.96 c | 56308 | 15583 66706 202681 | 2147483647 56308 211 | 0.000 % |
39.93/40.09 c | 56431 | 15583 66706 202681 | 2147483647 56431 212 | 0.000 % |
40.13/40.21 c | 56564 | 15583 66706 202681 | 2147483647 56564 211 | 0.000 % |
40.23/40.35 c | 56712 | 15583 66706 202681 | 2147483647 56712 211 | 0.000 % |
40.43/40.51 c | 56872 | 15583 66706 202681 | 2147483647 56872 211 | 0.000 % |
40.54/40.67 c | 57049 | 15583 66706 202681 | 2147483647 57049 211 | 0.000 % |
40.73/40.83 c | 57243 | 15583 66706 202681 | 2147483647 57243 211 | 0.000 % |
40.93/41.02 c | 57455 | 15583 66706 202681 | 2147483647 57455 211 | 0.000 % |
41.14/41.22 c | 57689 | 15583 66706 202681 | 2147483647 57689 211 | 0.000 % |
41.34/41.45 c | 57946 | 15583 66706 202681 | 2147483647 57946 211 | 0.000 % |
41.64/41.71 c | 58227 | 15583 66706 202681 | 2147483647 58227 211 | 0.000 % |
41.84/41.97 c | 58536 | 15583 66706 202681 | 2147483647 58536 211 | 0.000 % |
42.14/42.28 c | 58875 | 15583 66706 202681 | 2147483647 58875 211 | 0.000 % |
42.54/42.62 c | 59247 | 15583 66706 202681 | 2147483647 59247 211 | 0.000 % |
42.84/42.97 c | 59656 | 15583 66706 202681 | 2147483647 59656 211 | 0.000 % |
43.24/43.37 c | 60106 | 15583 66706 202681 | 2147483647 60106 211 | 0.000 % |
43.73/43.81 c | 60600 | 15583 66706 202681 | 2147483647 60600 212 | 0.000 % |
44.13/44.27 c | 61142 | 15583 66706 202681 | 2147483647 61142 212 | 0.000 % |
44.73/44.82 c | 61738 | 15583 66706 202681 | 2147483647 61738 212 | 0.000 % |
45.33/45.42 c | 62393 | 15583 66706 202681 | 2147483647 62393 212 | 0.000 % |
45.93/46.09 c | 63113 | 15583 66706 202681 | 2147483647 63113 212 | 0.000 % |
46.64/46.75 c | 63905 | 15583 66706 202681 | 2147483647 63905 213 | 0.000 % |
46.74/46.86 c | 64006 | 15583 66706 202681 | 2147483647 64006 213 | 0.000 % |
46.84/46.97 c | 64116 | 15583 66706 202681 | 2147483647 64116 213 | 0.000 % |
46.94/47.08 c | 64238 | 15583 66706 202681 | 2147483647 64238 213 | 0.000 % |
47.14/47.22 c | 64374 | 15583 66706 202681 | 2147483647 64374 213 | 0.000 % |
47.24/47.38 c | 64521 | 15583 66706 202681 | 2147483647 64521 213 | 0.000 % |
47.43/47.54 c | 64681 | 15583 66706 202681 | 2147483647 64681 213 | 0.000 % |
47.63/47.70 c | 64858 | 15583 66706 202681 | 2147483647 64858 213 | 0.000 % |
47.73/47.90 c | 65052 | 15583 66706 202681 | 2147483647 65052 213 | 0.000 % |
48.03/48.10 c | 65265 | 15583 66706 202681 | 2147483647 65265 213 | 0.000 % |
48.23/48.34 c | 65498 | 15583 66706 202681 | 2147483647 65498 213 | 0.000 % |
48.43/48.59 c | 65754 | 15583 66706 202681 | 2147483647 65754 213 | 0.000 % |
48.73/48.84 c | 66035 | 15583 66706 202681 | 2147483647 66035 213 | 0.000 % |
49.03/49.14 c | 66348 | 15583 66706 202681 | 2147483647 66348 213 | 0.000 % |
49.34/49.46 c | 66687 | 15583 66706 202681 | 2147483647 66687 213 | 0.000 % |
49.63/49.79 c | 67059 | 15583 66706 202681 | 2147483647 67059 213 | 0.000 % |
50.13/50.20 c | 67468 | 15583 66706 202681 | 2147483647 67468 213 | 0.000 % |
50.43/50.57 c | 67917 | 15583 66706 202681 | 2147483647 67917 212 | 0.000 % |
50.92/51.06 c | 68412 | 15583 66706 202681 | 2147483647 68412 213 | 0.000 % |
51.43/51.56 c | 68954 | 15583 66706 202681 | 2147483647 68954 213 | 0.000 % |
52.03/52.10 c | 69551 | 15583 66706 202681 | 2147483647 69551 214 | 0.000 % |
52.53/52.68 c | 70206 | 15583 66706 202681 | 2147483647 70206 215 | 0.000 % |
53.23/53.34 c | 70931 | 15583 66706 202681 | 2147483647 70931 215 | 0.000 % |
53.92/54.08 c | 71724 | 15583 66706 202681 | 2147483647 71724 215 | 0.000 % |
54.73/54.81 c | 72597 | 15583 66706 202681 | 2147483647 72597 216 | 0.000 % |
54.83/54.92 c | 72697 | 15583 66706 202681 | 2147483647 72697 216 | 0.000 % |
54.93/55.04 c | 72807 | 15583 66706 202681 | 2147483647 72807 216 | 0.000 % |
55.03/55.18 c | 72928 | 15583 66706 202681 | 2147483647 72928 215 | 0.000 % |
55.23/55.32 c | 73061 | 15583 66706 202681 | 2147483647 73061 215 | 0.000 % |
55.33/55.47 c | 73207 | 15583 66706 202681 | 2147483647 73207 215 | 0.000 % |
55.53/55.63 c | 73367 | 15583 66706 202681 | 2147483647 73367 215 | 0.000 % |
55.73/55.81 c | 73543 | 15583 66706 202681 | 2147483647 73543 215 | 0.000 % |
55.93/56.01 c | 73737 | 15583 66706 202681 | 2147483647 73737 215 | 0.000 % |
56.13/56.22 c | 73949 | 15583 66706 202681 | 2147483647 73949 215 | 0.000 % |
56.33/56.47 c | 74182 | 15583 66706 202681 | 2147483647 74182 215 | 0.000 % |
56.63/56.72 c | 74438 | 15583 66706 202681 | 2147483647 74438 215 | 0.000 % |
56.92/57.03 c | 74719 | 15583 66706 202681 | 2147483647 74719 215 | 0.000 % |
57.22/57.34 c | 75030 | 15583 66706 202681 | 2147483647 75030 215 | 0.000 % |
57.52/57.66 c | 75369 | 15583 66706 202681 | 2147483647 75369 215 | 0.000 % |
57.92/58.04 c | 75742 | 15583 66706 202681 | 2147483647 75742 215 | 0.000 % |
58.32/58.45 c | 76151 | 15583 66706 202681 | 2147483647 76151 215 | 0.000 % |
58.82/58.92 c | 76600 | 15583 66706 202681 | 2147483647 76600 215 | 0.000 % |
59.22/59.40 c | 77093 | 15583 66706 202681 | 2147483647 77093 215 | 0.000 % |
59.82/59.93 c | 77637 | 15583 66706 202681 | 2147483647 77637 215 | 0.000 % |
60.43/60.50 c | 78233 | 15583 66706 202681 | 2147483647 78233 216 | 0.000 % |
60.92/61.07 c | 78888 | 15583 66706 202681 | 2147483647 78888 216 | 0.000 % |
61.72/61.80 c | 79609 | 15583 66706 202681 | 2147483647 79609 216 | 0.000 % |
62.42/62.57 c | 80403 | 15583 66706 202681 | 2147483647 80403 217 | 0.000 % |
63.32/63.46 c | 81274 | 15583 66706 202681 | 2147483647 81274 218 | 0.000 % |
64.21/64.37 c | 82233 | 15583 66706 202681 | 2147483647 82233 218 | 0.000 % |
64.31/64.48 c | 82333 | 15583 66706 202681 | 2147483647 82333 218 | 0.000 % |
64.51/64.60 c | 82443 | 15583 66706 202681 | 2147483647 82443 218 | 0.000 % |
64.61/64.74 c | 82564 | 15583 66706 202681 | 2147483647 82564 218 | 0.000 % |
64.82/64.91 c | 82697 | 15583 66706 202681 | 2147483647 82697 218 | 0.000 % |
64.91/65.06 c | 82843 | 15583 66706 202681 | 2147483647 82843 218 | 0.000 % |
65.11/65.23 c | 83003 | 15583 66706 202681 | 2147483647 83003 218 | 0.000 % |
65.31/65.42 c | 83180 | 15583 66706 202681 | 2147483647 83180 218 | 0.000 % |
65.51/65.61 c | 83373 | 15583 66706 202681 | 2147483647 83373 218 | 0.000 % |
65.71/65.82 c | 83585 | 15583 66706 202681 | 2147483647 83585 218 | 0.000 % |
65.92/66.08 c | 83818 | 15583 66706 202681 | 2147483647 83818 218 | 0.000 % |
66.22/66.32 c | 84076 | 15583 66706 202681 | 2147483647 84076 218 | 0.000 % |
66.52/66.63 c | 84357 | 15583 66706 202681 | 2147483647 84357 218 | 0.000 % |
66.82/66.99 c | 84666 | 15583 66706 202681 | 2147483647 84666 218 | 0.000 % |
67.22/67.32 c | 85006 | 15583 66706 202681 | 2147483647 85006 218 | 0.000 % |
67.61/67.71 c | 85378 | 15583 66706 202681 | 2147483647 85378 218 | 0.000 % |
67.91/68.10 c | 85787 | 15583 66706 202681 | 2147483647 85787 217 | 0.000 % |
68.41/68.54 c | 86238 | 15583 66706 202681 | 2147483647 86238 218 | 0.000 % |
68.91/69.02 c | 86732 | 15583 66706 202681 | 2147483647 86732 218 | 0.000 % |
69.41/69.58 c | 87274 | 15583 66706 202681 | 2147483647 87274 218 | 0.000 % |
70.01/70.16 c | 87870 | 15583 66706 202681 | 2147483647 87870 218 | 0.000 % |
70.72/70.84 c | 88528 | 15583 66706 202681 | 2147483647 88528 218 | 0.000 % |
71.42/71.59 c | 89249 | 15583 66706 202681 | 2147483647 89249 218 | 0.000 % |
72.21/72.38 c | 90041 | 15583 66706 202681 | 2147483647 90041 218 | 0.000 % |
73.11/73.23 c | 90913 | 15583 66706 202681 | 2147483647 90913 218 | 0.000 % |
74.11/74.24 c | 91872 | 15583 66706 202681 | 2147483647 91872 219 | 0.000 % |
75.21/75.32 c | 92926 | 15583 66706 202681 | 2147483647 92926 220 | 0.000 % |
75.31/75.45 c | 93027 | 15583 66706 202681 | 2147483647 93027 220 | 0.000 % |
75.51/75.60 c | 93137 | 15583 66706 202681 | 2147483647 93137 220 | 0.000 % |
75.61/75.74 c | 93258 | 15583 66706 202681 | 2147483647 93258 220 | 0.000 % |
75.72/75.90 c | 93391 | 15583 66706 202681 | 2147483647 93391 220 | 0.000 % |
75.91/76.05 c | 93537 | 15583 66706 202681 | 2147483647 93537 220 | 0.000 % |
76.11/76.24 c | 93697 | 15583 66706 202681 | 2147483647 93697 220 | 0.000 % |
76.31/76.43 c | 93874 | 15583 66706 202681 | 2147483647 93874 220 | 0.000 % |
76.51/76.64 c | 94068 | 15583 66706 202681 | 2147483647 94068 220 | 0.000 % |
76.71/76.88 c | 94280 | 15583 66706 202681 | 2147483647 94280 220 | 0.000 % |
77.01/77.14 c | 94514 | 15583 66706 202681 | 2147483647 94514 220 | 0.000 % |
77.31/77.45 c | 94770 | 15583 66706 202681 | 2147483647 94770 220 | 0.000 % |
77.61/77.77 c | 95052 | 15583 66706 202681 | 2147483647 95052 219 | 0.000 % |
78.02/78.10 c | 95362 | 15583 66706 202681 | 2147483647 95362 219 | 0.000 % |
78.31/78.50 c | 95703 | 15583 66706 202681 | 2147483647 95703 219 | 0.000 % |
78.81/78.91 c | 96075 | 15583 66706 202681 | 2147483647 96075 219 | 0.000 % |
79.21/79.36 c | 96485 | 15583 66706 202681 | 2147483647 96485 219 | 0.000 % |
79.71/79.89 c | 96934 | 15583 66706 202681 | 2147483647 96934 219 | 0.000 % |
80.30/80.43 c | 97427 | 15583 66706 202681 | 2147483647 97427 220 | 0.000 % |
80.90/81.06 c | 97969 | 15583 66706 202681 | 2147483647 97969 220 | 0.000 % |
81.60/81.77 c | 98565 | 15583 66706 202681 | 2147483647 98565 220 | 0.000 % |
82.30/82.47 c | 99221 | 15583 66706 202681 | 2147483647 99221 220 | 0.000 % |
83.10/83.28 c | 99943 | 15583 66706 202681 | 2147483647 99943 220 | 0.000 % |
83.99/84.18 c | 100736 | 15583 66706 202681 | 2147483647 100736 220 | 0.000 % |
84.89/85.05 c | 101607 | 15583 66706 202681 | 2147483647 101607 221 | 0.000 % |
85.90/86.09 c | 102566 | 15583 66706 202681 | 2147483647 102566 221 | 0.000 % |
87.09/87.22 c | 103622 | 15583 66706 202681 | 2147483647 103622 222 | 0.000 % |
88.40/88.54 c | 104783 | 15583 66706 202681 | 2147483647 104783 222 | 0.000 % |
88.50/88.66 c | 104884 | 15583 66706 202681 | 2147483647 104884 222 | 0.000 % |
88.70/88.81 c | 104994 | 15583 66706 202681 | 2147483647 104994 222 | 0.000 % |
88.79/88.97 c | 105115 | 15583 66706 202681 | 2147483647 105115 222 | 0.000 % |
89.00/89.13 c | 105249 | 15583 66706 202681 | 2147483647 105249 222 | 0.000 % |
89.19/89.31 c | 105396 | 15583 66706 202681 | 2147483647 105396 222 | 0.000 % |
89.39/89.52 c | 105556 | 15583 66706 202681 | 2147483647 105556 222 | 0.000 % |
89.59/89.72 c | 105732 | 15583 66706 202681 | 2147483647 105732 222 | 0.000 % |
89.79/89.95 c | 105926 | 15583 66706 202681 | 2147483647 105926 222 | 0.000 % |
90.00/90.20 c | 106138 | 15583 66706 202681 | 2147483647 106138 222 | 0.000 % |
90.29/90.45 c | 106373 | 15583 66706 202681 | 2147483647 106373 222 | 0.000 % |
90.59/90.77 c | 106629 | 15583 66706 202681 | 2147483647 106629 222 | 0.000 % |
90.99/91.11 c | 106910 | 15583 66706 202681 | 2147483647 106910 222 | 0.000 % |
91.29/91.48 c | 107219 | 15583 66706 202681 | 2147483647 107219 222 | 0.000 % |
91.69/91.87 c | 107559 | 15583 66706 202681 | 2147483647 107559 222 | 0.000 % |
92.09/92.30 c | 107931 | 15583 66706 202681 | 2147483647 107931 222 | 0.000 % |
92.69/92.82 c | 108340 | 15583 66706 202681 | 2147483647 108340 222 | 0.000 % |
93.19/93.34 c | 108790 | 15583 66706 202681 | 2147483647 108790 222 | 0.000 % |
93.78/93.92 c | 109283 | 15583 66706 202681 | 2147483647 109283 222 | 0.000 % |
94.39/94.55 c | 109827 | 15583 66706 202681 | 2147483647 109827 222 | 0.000 % |
94.99/95.18 c | 110425 | 15583 66706 202681 | 2147483647 110425 222 | 0.000 % |
95.79/95.93 c | 111081 | 15583 66706 202681 | 2147483647 111081 223 | 0.000 % |
96.59/96.76 c | 111801 | 15583 66706 202681 | 2147483647 111801 223 | 0.000 % |
97.48/97.68 c | 112593 | 15583 66706 202681 | 2147483647 112593 223 | 0.000 % |
98.49/98.64 c | 113466 | 15583 66706 202681 | 2147483647 113466 223 | 0.000 % |
99.58/99.72 c | 114424 | 15583 66706 202681 | 2147483647 114424 224 | 0.000 % |
100.78/100.99 c | 115477 | 15583 66706 202681 | 2147483647 115477 224 | 0.000 % |
102.18/102.32 c | 116635 | 15583 66706 202681 | 2147483647 116635 224 | 0.000 % |
103.68/103.80 c | 117908 | 15583 66706 202681 | 2147483647 117908 225 | 0.000 % |
103.78/103.92 c | 118009 | 15583 66706 202681 | 2147483647 118009 225 | 0.000 % |
103.98/104.10 c | 118119 | 15583 66706 202681 | 2147483647 118119 225 | 0.000 % |
104.08/104.29 c | 118242 | 15583 66706 202681 | 2147483647 118242 225 | 0.000 % |
104.29/104.46 c | 118375 | 15583 66706 202681 | 2147483647 118375 225 | 0.000 % |
104.48/104.66 c | 118521 | 15583 66706 202681 | 2147483647 118521 225 | 0.000 % |
104.68/104.88 c | 118684 | 15583 66706 202681 | 2147483647 118684 225 | 0.000 % |
104.98/105.13 c | 118861 | 15583 66706 202681 | 2147483647 118861 225 | 0.000 % |
105.28/105.40 c | 119055 | 15583 66706 202681 | 2147483647 119055 225 | 0.000 % |
105.48/105.68 c | 119268 | 15583 66706 202681 | 2147483647 119268 225 | 0.000 % |
105.78/105.95 c | 119502 | 15583 66706 202681 | 2147483647 119502 225 | 0.000 % |
106.08/106.29 c | 119760 | 15583 66706 202681 | 2147483647 119760 224 | 0.000 % |
106.49/106.62 c | 120042 | 15583 66706 202681 | 2147483647 120042 224 | 0.000 % |
106.88/107.02 c | 120352 | 15583 66706 202681 | 2147483647 120352 225 | 0.000 % |
107.28/107.44 c | 120694 | 15583 66706 202681 | 2147483647 120694 225 | 0.000 % |
107.69/107.87 c | 121066 | 15583 66706 202681 | 2147483647 121066 225 | 0.000 % |
108.18/108.36 c | 121475 | 15583 66706 202681 | 2147483647 121475 225 | 0.000 % |
108.78/108.92 c | 121925 | 15583 66706 202681 | 2147483647 121925 225 | 0.000 % |
109.37/109.50 c | 122418 | 15583 66706 202681 | 2147483647 122418 225 | 0.000 % |
109.97/110.15 c | 122962 | 15583 66706 202681 | 2147483647 122962 225 | 0.000 % |
110.68/110.86 c | 123558 | 15583 66706 202681 | 2147483647 123558 225 | 0.000 % |
111.48/111.66 c | 124213 | 15583 66706 202681 | 2147483647 124213 225 | 0.000 % |
112.38/112.55 c | 124935 | 15583 66706 202681 | 2147483647 124935 225 | 0.000 % |
113.38/113.52 c | 125728 | 15583 66706 202681 | 2147483647 125728 225 | 0.000 % |
114.37/114.55 c | 126599 | 15583 66706 202681 | 2147483647 126599 225 | 0.000 % |
115.58/115.73 c | 127558 | 15583 66706 202681 | 2147483647 127558 225 | 0.000 % |
116.78/116.96 c | 128612 | 15583 66706 202681 | 2147483647 128612 225 | 0.000 % |
118.18/118.34 c | 129770 | 15583 66706 202681 | 2147483647 129770 226 | 0.000 % |
119.77/119.90 c | 131043 | 15583 66706 202681 | 2147483647 131043 226 | 0.000 % |
121.47/121.61 c | 132448 | 15583 66706 202681 | 2147483647 132448 226 | 0.000 % |
121.57/121.75 c | 132548 | 15583 66706 202681 | 2147483647 132548 226 | 0.000 % |
121.77/121.92 c | 132658 | 15583 66706 202681 | 2147483647 132658 226 | 0.000 % |
121.97/122.11 c | 132779 | 15583 66706 202681 | 2147483647 132779 226 | 0.000 % |
122.17/122.32 c | 132914 | 15583 66706 202681 | 2147483647 132914 226 | 0.000 % |
122.37/122.51 c | 133062 | 15583 66706 202681 | 2147483647 133062 226 | 0.000 % |
122.57/122.77 c | 133222 | 15583 66706 202681 | 2147483647 133222 226 | 0.000 % |
122.87/123.03 c | 133398 | 15583 66706 202681 | 2147483647 133398 226 | 0.000 % |
123.07/123.27 c | 133591 | 15583 66706 202681 | 2147483647 133591 226 | 0.000 % |
123.37/123.57 c | 133803 | 15583 66706 202681 | 2147483647 133803 225 | 0.000 % |
123.67/123.90 c | 134037 | 15583 66706 202681 | 2147483647 134037 225 | 0.000 % |
124.07/124.26 c | 134293 | 15583 66706 202681 | 2147483647 134293 225 | 0.000 % |
124.47/124.61 c | 134575 | 15583 66706 202681 | 2147483647 134575 225 | 0.000 % |
124.88/125.08 c | 134884 | 15583 66706 202681 | 2147483647 134884 225 | 0.000 % |
125.38/125.54 c | 135225 | 15583 66706 202681 | 2147483647 135225 225 | 0.000 % |
125.77/125.99 c | 135600 | 15583 66706 202681 | 2147483647 135600 225 | 0.000 % |
126.37/126.55 c | 136009 | 15583 66706 202681 | 2147483647 136009 225 | 0.000 % |
126.97/127.18 c | 136458 | 15583 66706 202681 | 2147483647 136458 225 | 0.000 % |
127.66/127.88 c | 136953 | 15583 66706 202681 | 2147483647 136953 225 | 0.000 % |
128.37/128.59 c | 137496 | 15583 66706 202681 | 2147483647 137496 226 | 0.000 % |
129.17/129.36 c | 138092 | 15583 66706 202681 | 2147483647 138092 226 | 0.000 % |
130.06/130.22 c | 138748 | 15583 66706 202681 | 2147483647 138748 226 | 0.000 % |
130.96/131.17 c | 139468 | 15583 66706 202681 | 2147483647 139468 226 | 0.000 % |
131.96/132.18 c | 140260 | 15583 66706 202681 | 2147483647 140260 226 | 0.000 % |
133.07/133.23 c | 141131 | 15583 66706 202681 | 2147483647 141131 226 | 0.000 % |
134.16/134.39 c | 142089 | 15583 66706 202681 | 2147483647 142089 227 | 0.000 % |
135.66/135.83 c | 143142 | 15583 66706 202681 | 2147483647 143142 227 | 0.000 % |
137.06/137.27 c | 144300 | 15583 66706 202681 | 2147483647 144300 227 | 0.000 % |
138.66/138.85 c | 145574 | 15583 66706 202681 | 2147483647 145574 228 | 0.000 % |
140.57/140.78 c | 146975 | 15583 66706 202681 | 2147483647 146975 228 | 0.000 % |
142.55/142.79 c | 148516 | 15583 66706 202681 | 2147483647 148516 229 | 0.000 % |
142.77/142.95 c | 148618 | 15583 66706 202681 | 2147483647 148618 228 | 0.000 % |
142.96/143.13 c | 148728 | 15583 66706 202681 | 2147483647 148728 228 | 0.000 % |
143.16/143.33 c | 148850 | 15583 66706 202681 | 2147483647 148850 228 | 0.000 % |
143.36/143.57 c | 148985 | 15583 66706 202681 | 2147483647 148985 228 | 0.000 % |
143.66/143.80 c | 149131 | 15583 66706 202681 | 2147483647 149131 228 | 0.000 % |
143.87/144.05 c | 149291 | 15583 66706 202681 | 2147483647 149291 228 | 0.000 % |
144.16/144.31 c | 149468 | 15583 66706 202681 | 2147483647 149468 228 | 0.000 % |
144.36/144.59 c | 149662 | 15583 66706 202681 | 2147483647 149662 228 | 0.000 % |
144.66/144.88 c | 149875 | 15583 66706 202681 | 2147483647 149875 228 | 0.000 % |
145.06/145.24 c | 150110 | 15583 66706 202681 | 2147483647 150110 228 | 0.000 % |
145.46/145.60 c | 150367 | 15583 66706 202681 | 2147483647 150367 228 | 0.000 % |
145.86/146.01 c | 150650 | 15583 66706 202681 | 2147483647 150650 228 | 0.000 % |
146.26/146.44 c | 150961 | 15583 66706 202681 | 2147483647 150961 228 | 0.000 % |
146.66/146.90 c | 151301 | 15583 66706 202681 | 2147483647 151301 228 | 0.000 % |
147.26/147.43 c | 151673 | 15583 66706 202681 | 2147483647 151673 228 | 0.000 % |
147.86/148.00 c | 152082 | 15583 66706 202681 | 2147483647 152082 228 | 0.000 % |
148.36/148.58 c | 152532 | 15583 66706 202681 | 2147483647 152532 228 | 0.000 % |
149.06/149.26 c | 153025 | 15583 66706 202681 | 2147483647 153025 228 | 0.000 % |
149.85/150.02 c | 153568 | 15583 66706 202681 | 2147483647 153568 228 | 0.000 % |
150.65/150.81 c | 154166 | 15583 66706 202681 | 2147483647 154166 228 | 0.000 % |
151.45/151.69 c | 154824 | 15583 66706 202681 | 2147483647 154824 228 | 0.000 % |
152.46/152.69 c | 155546 | 15583 66706 202681 | 2147483647 155546 228 | 0.000 % |
153.56/153.77 c | 156338 | 15583 66706 202681 | 2147483647 156338 228 | 0.000 % |
154.65/154.90 c | 157210 | 15583 66706 202681 | 2147483647 157210 228 | 0.000 % |
155.96/156.18 c | 158170 | 15583 66706 202681 | 2147483647 158170 229 | 0.000 % |
157.35/157.54 c | 159223 | 15583 66706 202681 | 2147483647 159223 229 | 0.000 % |
158.96/159.11 c | 160382 | 15583 66706 202681 | 2147483647 160382 229 | 0.000 % |
160.65/160.84 c | 161655 | 15583 66706 202681 | 2147483647 161655 229 | 0.000 % |
162.55/162.71 c | 163055 | 15583 66706 202681 | 2147483647 163055 229 | 0.000 % |
164.65/164.88 c | 164595 | 15583 66706 202681 | 2147483647 164595 229 | 0.000 % |
167.05/167.21 c | 166290 | 15583 66706 202681 | 2147483647 166290 230 | 0.000 % |
167.15/167.38 c | 166391 | 15583 66706 202681 | 2147483647 166391 230 | 0.000 % |
167.35/167.56 c | 166501 | 15583 66706 202681 | 2147483647 166501 230 | 0.000 % |
167.65/167.83 c | 166622 | 15583 66706 202681 | 2147483647 166622 230 | 0.000 % |
167.85/168.09 c | 166755 | 15583 66706 202681 | 2147483647 166755 230 | 0.000 % |
168.15/168.33 c | 166902 | 15583 66706 202681 | 2147483647 166902 230 | 0.000 % |
168.45/168.61 c | 167064 | 15583 66706 202681 | 2147483647 167064 230 | 0.000 % |
168.75/168.90 c | 167241 | 15583 66706 202681 | 2147483647 167241 230 | 0.000 % |
168.95/169.19 c | 167434 | 15583 66706 202681 | 2147483647 167434 230 | 0.000 % |
169.35/169.50 c | 167646 | 15583 66706 202681 | 2147483647 167646 230 | 0.000 % |
169.65/169.85 c | 167881 | 15583 66706 202681 | 2147483647 167881 230 | 0.000 % |
170.04/170.24 c | 168137 | 15583 66706 202681 | 2147483647 168137 230 | 0.000 % |
170.44/170.65 c | 168418 | 15583 66706 202681 | 2147483647 168418 230 | 0.000 % |
170.84/171.09 c | 168728 | 15583 66706 202681 | 2147483647 168728 230 | 0.000 % |
171.35/171.59 c | 169067 | 15583 66706 202681 | 2147483647 169067 230 | 0.000 % |
172.05/172.22 c | 169440 | 15583 66706 202681 | 2147483647 169440 230 | 0.000 % |
172.64/172.88 c | 169851 | 15583 66706 202681 | 2147483647 169851 230 | 0.000 % |
173.34/173.57 c | 170301 | 15583 66706 202681 | 2147483647 170301 230 | 0.000 % |
174.14/174.34 c | 170794 | 15583 66706 202681 | 2147483647 170794 230 | 0.000 % |
174.84/175.01 c | 171340 | 15583 66706 202681 | 2147483647 171340 230 | 0.000 % |
175.63/175.89 c | 171937 | 15583 66706 202681 | 2147483647 171937 230 | 0.000 % |
176.63/176.85 c | 172592 | 15583 66706 202681 | 2147483647 172592 230 | 0.000 % |
177.74/177.91 c | 173315 | 15583 66706 202681 | 2147483647 173315 230 | 0.000 % |
178.83/179.00 c | 174107 | 15583 66706 202681 | 2147483647 174107 231 | 0.000 % |
180.13/180.32 c | 174978 | 15583 66706 202681 | 2147483647 174978 230 | 0.000 % |
181.44/181.69 c | 175936 | 15583 66706 202681 | 2147483647 175936 231 | 0.000 % |
182.94/183.20 c | 176989 | 15583 66706 202681 | 2147483647 176989 231 | 0.000 % |
184.64/184.87 c | 178148 | 15583 66706 202681 | 2147483647 178148 231 | 0.000 % |
186.53/186.71 c | 179421 | 15583 66706 202681 | 2147483647 179421 231 | 0.000 % |
188.53/188.71 c | 180821 | 15583 66706 202681 | 2147483647 180821 232 | 0.000 % |
190.74/190.94 c | 182362 | 15583 66706 202681 | 2147483647 182362 233 | 0.000 % |
193.13/193.30 c | 184056 | 15583 66706 202681 | 2147483647 184056 233 | 0.000 % |
195.83/196.08 c | 185919 | 15583 66706 202681 | 2147483647 185919 233 | 0.000 % |
196.03/196.27 c | 186019 | 15583 66706 202681 | 2147483647 186019 233 | 0.000 % |
196.23/196.47 c | 186129 | 15583 66706 202681 | 2147483647 186129 233 | 0.000 % |
196.53/196.72 c | 186250 | 15583 66706 202681 | 2147483647 186250 233 | 0.000 % |
196.73/196.96 c | 186383 | 15583 66706 202681 | 2147483647 186383 233 | 0.000 % |
197.03/197.24 c | 186530 | 15583 66706 202681 | 2147483647 186530 233 | 0.000 % |
197.33/197.53 c | 186690 | 15583 66706 202681 | 2147483647 186690 233 | 0.000 % |
197.63/197.83 c | 186866 | 15583 66706 202681 | 2147483647 186866 233 | 0.000 % |
197.93/198.18 c | 187060 | 15583 66706 202681 | 2147483647 187060 233 | 0.000 % |
198.33/198.58 c | 187274 | 15583 66706 202681 | 2147483647 187274 233 | 0.000 % |
198.73/198.96 c | 187507 | 15583 66706 202681 | 2147483647 187507 233 | 0.000 % |
199.22/199.42 c | 187765 | 15583 66706 202681 | 2147483647 187765 233 | 0.000 % |
199.62/199.85 c | 188046 | 15583 66706 202681 | 2147483647 188046 233 | 0.000 % |
200.12/200.37 c | 188355 | 15583 66706 202681 | 2147483647 188355 233 | 0.000 % |
200.72/200.92 c | 188694 | 15583 66706 202681 | 2147483647 188694 233 | 0.000 % |
201.33/201.54 c | 189066 | 15583 66706 202681 | 2147483647 189066 233 | 0.000 % |
202.03/202.23 c | 189477 | 15583 66706 202681 | 2147483647 189477 233 | 0.000 % |
202.73/202.94 c | 189926 | 15583 66706 202681 | 2147483647 189926 233 | 0.000 % |
203.43/203.69 c | 190422 | 15583 66706 202681 | 2147483647 190422 233 | 0.000 % |
204.33/204.52 c | 190964 | 15583 66706 202681 | 2147483647 190964 233 | 0.000 % |
205.32/205.50 c | 191561 | 15583 66706 202681 | 2147483647 191561 233 | 0.000 % |
206.32/206.59 c | 192217 | 15583 66706 202681 | 2147483647 192217 233 | 0.000 % |
207.43/207.67 c | 192937 | 15583 66706 202681 | 2147483647 192937 233 | 0.000 % |
208.62/208.87 c | 193732 | 15583 66706 202681 | 2147483647 193732 233 | 0.000 % |
209.92/210.16 c | 194603 | 15583 66706 202681 | 2147483647 194603 233 | 0.000 % |
211.42/211.68 c | 195565 | 15583 66706 202681 | 2147483647 195565 233 | 0.000 % |
213.12/213.33 c | 196618 | 15583 66706 202681 | 2147483647 196618 233 | 0.000 % |
214.92/215.11 c | 197776 | 15583 66706 202681 | 2147483647 197776 233 | 0.000 % |
216.92/217.12 c | 199050 | 15583 66706 202681 | 2147483647 199050 233 | 0.000 % |
219.11/219.32 c | 200452 | 15583 66706 202681 | 2147483647 200452 234 | 0.000 % |
221.51/221.74 c | 201992 | 15583 66706 202681 | 2147483647 201992 235 | 0.000 % |
224.31/224.50 c | 203687 | 15583 66706 202681 | 2147483647 203687 235 | 0.000 % |
227.11/227.32 c | 205553 | 15583 66706 202681 | 2147483647 205553 235 | 0.000 % |
230.20/230.44 c | 207603 | 15583 66706 202681 | 2147483647 207603 236 | 0.000 % |
230.40/230.64 c | 207703 | 15583 66706 202681 | 2147483647 207703 235 | 0.000 % |
230.60/230.86 c | 207813 | 15583 66706 202681 | 2147483647 207813 235 | 0.000 % |
230.91/231.10 c | 207934 | 15583 66706 202681 | 2147483647 207934 235 | 0.000 % |
231.11/231.35 c | 208067 | 15583 66706 202681 | 2147483647 208067 235 | 0.000 % |
231.41/231.63 c | 208214 | 15583 66706 202681 | 2147483647 208214 235 | 0.000 % |
231.71/231.92 c | 208375 | 15583 66706 202681 | 2147483647 208375 235 | 0.000 % |
232.01/232.27 c | 208552 | 15583 66706 202681 | 2147483647 208552 235 | 0.000 % |
232.41/232.64 c | 208746 | 15583 66706 202681 | 2147483647 208746 235 | 0.000 % |
232.71/232.98 c | 208958 | 15583 66706 202681 | 2147483647 208958 235 | 0.000 % |
233.11/233.40 c | 209191 | 15583 66706 202681 | 2147483647 209191 235 | 0.000 % |
233.51/233.80 c | 209448 | 15583 66706 202681 | 2147483647 209448 235 | 0.000 % |
234.11/234.33 c | 209730 | 15583 66706 202681 | 2147483647 209730 235 | 0.000 % |
234.61/234.85 c | 210039 | 15583 66706 202681 | 2147483647 210039 235 | 0.000 % |
235.21/235.43 c | 210381 | 15583 66706 202681 | 2147483647 210381 235 | 0.000 % |
235.80/236.08 c | 210753 | 15583 66706 202681 | 2147483647 210753 235 | 0.000 % |
236.50/236.77 c | 211163 | 15583 66706 202681 | 2147483647 211163 235 | 0.000 % |
237.30/237.58 c | 211612 | 15583 66706 202681 | 2147483647 211612 235 | 0.000 % |
238.21/238.43 c | 212106 | 15583 66706 202681 | 2147483647 212106 235 | 0.000 % |
239.11/239.32 c | 212650 | 15583 66706 202681 | 2147483647 212650 235 | 0.000 % |
240.11/240.32 c | 213247 | 15583 66706 202681 | 2147483647 213247 235 | 0.000 % |
241.21/241.44 c | 213902 | 15583 66706 202681 | 2147483647 213902 235 | 0.000 % |
242.40/242.66 c | 214623 | 15583 66706 202681 | 2147483647 214623 235 | 0.000 % |
243.80/244.04 c | 215416 | 15583 66706 202681 | 2147483647 215416 235 | 0.000 % |
245.10/245.37 c | 216290 | 15583 66706 202681 | 2147483647 216290 235 | 0.000 % |
246.80/247.02 c | 217248 | 15583 66706 202681 | 2147483647 217248 235 | 0.000 % |
248.50/248.73 c | 218301 | 15583 66706 202681 | 2147483647 218301 235 | 0.000 % |
250.40/250.65 c | 219460 | 15583 66706 202681 | 2147483647 219460 235 | 0.000 % |
252.50/252.75 c | 220737 | 15583 66706 202681 | 2147483647 220737 236 | 0.000 % |
254.69/254.93 c | 222138 | 15583 66706 202681 | 2147483647 222138 236 | 0.000 % |
257.20/257.43 c | 223678 | 15583 66706 202681 | 2147483647 223678 236 | 0.000 % |
259.90/260.14 c | 225373 | 15583 66706 202681 | 2147483647 225373 236 | 0.000 % |
262.99/263.26 c | 227236 | 15583 66706 202681 | 2147483647 227236 236 | 0.000 % |
266.58/266.82 c | 229285 | 15583 66706 202681 | 2147483647 229285 236 | 0.000 % |
270.28/270.52 c | 231538 | 15583 66706 202681 | 2147483647 231538 237 | 0.000 % |
270.58/270.80 c | 231639 | 15583 66706 202681 | 2147483647 231639 237 | 0.000 % |
270.78/271.01 c | 231749 | 15583 66706 202681 | 2147483647 231749 237 | 0.000 % |
270.98/271.24 c | 231870 | 15583 66706 202681 | 2147483647 231870 237 | 0.000 % |
271.27/271.51 c | 232004 | 15583 66706 202681 | 2147483647 232004 237 | 0.000 % |
271.57/271.82 c | 232150 | 15583 66706 202681 | 2147483647 232150 237 | 0.000 % |
271.87/272.19 c | 232310 | 15583 66706 202681 | 2147483647 232310 237 | 0.000 % |
272.28/272.54 c | 232487 | 15583 66706 202681 | 2147483647 232487 236 | 0.000 % |
272.68/272.94 c | 232681 | 15583 66706 202681 | 2147483647 232681 236 | 0.000 % |
273.08/273.31 c | 232893 | 15583 66706 202681 | 2147483647 232893 236 | 0.000 % |
273.48/273.79 c | 233126 | 15583 66706 202681 | 2147483647 233126 236 | 0.000 % |
273.98/274.28 c | 233386 | 15583 66706 202681 | 2147483647 233386 236 | 0.000 % |
274.58/274.83 c | 233667 | 15583 66706 202681 | 2147483647 233667 236 | 0.000 % |
275.18/275.40 c | 233977 | 15583 66706 202681 | 2147483647 233977 236 | 0.000 % |
275.78/276.06 c | 234318 | 15583 66706 202681 | 2147483647 234318 236 | 0.000 % |
276.38/276.69 c | 234690 | 15583 66706 202681 | 2147483647 234690 236 | 0.000 % |
277.08/277.38 c | 235101 | 15583 66706 202681 | 2147483647 235101 236 | 0.000 % |
277.88/278.19 c | 235551 | 15583 66706 202681 | 2147483647 235551 236 | 0.000 % |
278.87/279.10 c | 236044 | 15583 66706 202681 | 2147483647 236044 236 | 0.000 % |
279.77/280.08 c | 236586 | 15583 66706 202681 | 2147483647 236586 236 | 0.000 % |
280.98/281.20 c | 237184 | 15583 66706 202681 | 2147483647 237184 236 | 0.000 % |
282.07/282.39 c | 237839 | 15583 66706 202681 | 2147483647 237839 236 | 0.000 % |
283.37/283.61 c | 238560 | 15583 66706 202681 | 2147483647 238560 236 | 0.000 % |
284.77/285.03 c | 239355 | 15583 66706 202681 | 2147483647 239355 236 | 0.000 % |
286.28/286.59 c | 240226 | 15583 66706 202681 | 2147483647 240226 236 | 0.000 % |
288.07/288.30 c | 241184 | 15583 66706 202681 | 2147483647 241184 236 | 0.000 % |
289.87/290.12 c | 242237 | 15583 66706 202681 | 2147483647 242237 236 | 0.000 % |
291.87/292.19 c | 243396 | 15583 66706 202681 | 2147483647 243396 236 | 0.000 % |
294.17/294.45 c | 244671 | 15583 66706 202681 | 2147483647 244671 236 | 0.000 % |
296.37/296.66 c | 246072 | 15583 66706 202681 | 2147483647 246072 236 | 0.000 % |
299.06/299.33 c | 247613 | 15583 66706 202681 | 2147483647 247613 237 | 0.000 % |
301.87/302.11 c | 249308 | 15583 66706 202681 | 2147483647 249308 237 | 0.000 % |
305.16/305.50 c | 251171 | 15583 66706 202681 | 2147483647 251171 238 | 0.000 % |
308.76/309.02 c | 253221 | 15583 66706 202681 | 2147483647 253221 238 | 0.000 % |
312.36/312.64 c | 255474 | 15583 66706 202681 | 2147483647 255474 238 | 0.000 % |
316.96/317.20 c | 257954 | 15583 66706 202681 | 2147483647 257954 239 | 0.000 % |
317.16/317.43 c | 258054 | 15583 66706 202681 | 2147483647 258054 239 | 0.000 % |
317.36/317.67 c | 258165 | 15583 66706 202681 | 2147483647 258165 239 | 0.000 % |
317.67/317.94 c | 258290 | 15583 66706 202681 | 2147483647 258290 239 | 0.000 % |
317.96/318.25 c | 258423 | 15583 66706 202681 | 2147483647 258423 239 | 0.000 % |
318.36/318.60 c | 258570 | 15583 66706 202681 | 2147483647 258570 239 | 0.000 % |
318.67/318.96 c | 258733 | 15583 66706 202681 | 2147483647 258733 239 | 0.000 % |
319.06/319.36 c | 258909 | 15583 66706 202681 | 2147483647 258909 239 | 0.000 % |
319.46/319.78 c | 259102 | 15583 66706 202681 | 2147483647 259102 239 | 0.000 % |
319.96/320.25 c | 259315 | 15583 66706 202681 | 2147483647 259315 239 | 0.000 % |
320.35/320.69 c | 259550 | 15583 66706 202681 | 2147483647 259550 239 | 0.000 % |
320.96/321.29 c | 259807 | 15583 66706 202681 | 2147483647 259807 239 | 0.000 % |
321.55/321.86 c | 260088 | 15583 66706 202681 | 2147483647 260088 239 | 0.000 % |
322.25/322.52 c | 260397 | 15583 66706 202681 | 2147483647 260397 239 | 0.000 % |
322.85/323.14 c | 260736 | 15583 66706 202681 | 2147483647 260736 239 | 0.000 % |
323.65/323.90 c | 261108 | 15583 66706 202681 | 2147483647 261108 239 | 0.000 % |
324.35/324.66 c | 261518 | 15583 66706 202681 | 2147483647 261518 239 | 0.000 % |
325.26/325.55 c | 261968 | 15583 66706 202681 | 2147483647 261968 239 | 0.000 % |
326.15/326.49 c | 262462 | 15583 66706 202681 | 2147483647 262462 239 | 0.000 % |
327.25/327.51 c | 263004 | 15583 66706 202681 | 2147483647 263004 239 | 0.000 % |
328.35/328.67 c | 263600 | 15583 66706 202681 | 2147483647 263600 239 | 0.000 % |
329.66/329.93 c | 264256 | 15583 66706 202681 | 2147483647 264256 239 | 0.000 % |
330.95/331.29 c | 264977 | 15583 66706 202681 | 2147483647 264977 239 | 0.000 % |
332.45/332.80 c | 265771 | 15583 66706 202681 | 2147483647 265771 239 | 0.000 % |
334.15/334.43 c | 266643 | 15583 66706 202681 | 2147483647 266643 239 | 0.000 % |
336.05/336.30 c | 267601 | 15583 66706 202681 | 2147483647 267601 239 | 0.000 % |
337.95/338.24 c | 268656 | 15583 66706 202681 | 2147483647 268656 239 | 0.000 % |
340.15/340.41 c | 269814 | 15583 66706 202681 | 2147483647 269814 239 | 0.000 % |
342.34/342.68 c | 271087 | 15583 66706 202681 | 2147483647 271087 240 | 0.000 % |
345.05/345.36 c | 272491 | 15583 66706 202681 | 2147483647 272491 240 | 0.000 % |
347.74/348.05 c | 274031 | 15583 66706 202681 | 2147483647 274031 240 | 0.000 % |
350.85/351.14 c | 275726 | 15583 66706 202681 | 2147483647 275726 241 | 0.000 % |
354.33/354.61 c | 277589 | 15583 66706 202681 | 2147483647 277589 241 | 0.000 % |
358.13/358.48 c | 279640 | 15583 66706 202681 | 2147483647 279640 241 | 0.000 % |
362.53/362.88 c | 281893 | 15583 66706 202681 | 2147483647 281893 242 | 0.000 % |
367.33/367.66 c | 284372 | 15583 66706 202681 | 2147483647 284372 243 | 0.000 % |
372.33/372.61 c | 287098 | 15583 66706 202681 | 2147483647 287098 243 | 0.000 % |
372.64/372.92 c | 287200 | 15583 66706 202681 | 2147483647 287200 243 | 0.000 % |
372.93/373.20 c | 287312 | 15583 66706 202681 | 2147483647 287312 243 | 0.000 % |
373.13/373.50 c | 287434 | 15583 66706 202681 | 2147483647 287434 243 | 0.000 % |
373.53/373.85 c | 287567 | 15583 66706 202681 | 2147483647 287567 243 | 0.000 % |
373.93/374.22 c | 287713 | 15583 66706 202681 | 2147483647 287713 243 | 0.000 % |
374.33/374.62 c | 287874 | 15583 66706 202681 | 2147483647 287874 243 | 0.000 % |
374.73/375.05 c | 288053 | 15583 66706 202681 | 2147483647 288053 243 | 0.000 % |
375.23/375.54 c | 288246 | 15583 66706 202681 | 2147483647 288246 243 | 0.000 % |
375.73/376.04 c | 288458 | 15583 66706 202681 | 2147483647 288458 243 | 0.000 % |
376.32/376.62 c | 288692 | 15583 66706 202681 | 2147483647 288692 243 | 0.000 % |
376.82/377.17 c | 288948 | 15583 66706 202681 | 2147483647 288948 243 | 0.000 % |
377.42/377.79 c | 289231 | 15583 66706 202681 | 2147483647 289231 243 | 0.000 % |
378.22/378.50 c | 289541 | 15583 66706 202681 | 2147483647 289541 243 | 0.000 % |
378.93/379.27 c | 289881 | 15583 66706 202681 | 2147483647 289881 243 | 0.000 % |
379.83/380.15 c | 290253 | 15583 66706 202681 | 2147483647 290253 243 | 0.000 % |
380.73/381.00 c | 290662 | 15583 66706 202681 | 2147483647 290662 243 | 0.000 % |
381.63/381.94 c | 291113 | 15583 66706 202681 | 2147483647 291113 242 | 0.000 % |
382.73/383.04 c | 291606 | 15583 66706 202681 | 2147483647 291606 242 | 0.000 % |
383.83/384.17 c | 292150 | 15583 66706 202681 | 2147483647 292150 242 | 0.000 % |
385.02/385.35 c | 292746 | 15583 66706 202681 | 2147483647 292746 242 | 0.000 % |
386.42/386.75 c | 293402 | 15583 66706 202681 | 2147483647 293402 243 | 0.000 % |
387.93/388.21 c | 294122 | 15583 66706 202681 | 2147483647 294122 243 | 0.000 % |
389.52/389.85 c | 294915 | 15583 66706 202681 | 2147483647 294915 243 | 0.000 % |
391.33/391.66 c | 295786 | 15583 66706 202681 | 2147483647 295786 243 | 0.000 % |
393.22/393.55 c | 296744 | 15583 66706 202681 | 2147483647 296744 243 | 0.000 % |
395.41/395.78 c | 297797 | 15583 66706 202681 | 2147483647 297797 243 | 0.000 % |
397.92/398.29 c | 298957 | 15583 66706 202681 | 2147483647 298957 243 | 0.000 % |
400.41/400.70 c | 300230 | 15583 66706 202681 | 2147483647 300230 243 | 0.000 % |
403.11/403.44 c | 301630 | 15583 66706 202681 | 2147483647 301630 243 | 0.000 % |
406.21/406.57 c | 303170 | 15583 66706 202681 | 2147483647 303170 243 | 0.000 % |
409.51/409.89 c | 304864 | 15583 66706 202681 | 2147483647 304864 244 | 0.000 % |
413.22/413.58 c | 306727 | 15583 66706 202681 | 2147483647 306727 244 | 0.000 % |
417.11/417.48 c | 308776 | 15583 66706 202681 | 2147483647 308776 245 | 0.000 % |
421.61/421.96 c | 311029 | 15583 66706 202681 | 2147483647 311029 245 | 0.000 % |
426.71/427.04 c | 313507 | 15583 66706 202681 | 2147483647 313507 245 | 0.000 % |
432.50/432.83 c | 316232 | 15583 66706 202681 | 2147483647 316232 246 | 0.000 % |
438.80/439.12 c | 319229 | 15583 66706 202681 | 2147483647 319229 247 | 0.000 % |
439.00/439.38 c | 319330 | 15583 66706 202681 | 2147483647 319330 247 | 0.000 % |
439.40/439.72 c | 319440 | 15583 66706 202681 | 2147483647 319440 247 | 0.000 % |
439.70/440.03 c | 319562 | 15583 66706 202681 | 2147483647 319562 247 | 0.000 % |
440.00/440.39 c | 319696 | 15583 66706 202681 | 2147483647 319696 247 | 0.000 % |
440.40/440.73 c | 319842 | 15583 66706 202681 | 2147483647 319842 247 | 0.000 % |
440.90/441.20 c | 320004 | 15583 66706 202681 | 2147483647 320004 247 | 0.000 % |
441.40/441.72 c | 320181 | 15583 66706 202681 | 2147483647 320181 247 | 0.000 % |
441.89/442.25 c | 320374 | 15583 66706 202681 | 2147483647 320374 247 | 0.000 % |
442.39/442.79 c | 320586 | 15583 66706 202681 | 2147483647 320586 246 | 0.000 % |
442.99/443.40 c | 320821 | 15583 66706 202681 | 2147483647 320821 246 | 0.000 % |
443.69/444.01 c | 321079 | 15583 66706 202681 | 2147483647 321079 246 | 0.000 % |
444.39/444.74 c | 321365 | 15583 66706 202681 | 2147483647 321365 246 | 0.000 % |
445.09/445.50 c | 321674 | 15583 66706 202681 | 2147483647 321674 246 | 0.000 % |
445.89/446.26 c | 322013 | 15583 66706 202681 | 2147483647 322013 246 | 0.000 % |
446.79/447.13 c | 322385 | 15583 66706 202681 | 2147483647 322385 246 | 0.000 % |
447.69/448.07 c | 322796 | 15583 66706 202681 | 2147483647 322796 246 | 0.000 % |
448.79/449.15 c | 323247 | 15583 66706 202681 | 2147483647 323247 246 | 0.000 % |
449.89/450.23 c | 323743 | 15583 66706 202681 | 2147483647 323743 246 | 0.000 % |
451.09/451.49 c | 324285 | 15583 66706 202681 | 2147483647 324285 246 | 0.000 % |
452.39/452.73 c | 324883 | 15583 66706 202681 | 2147483647 324883 246 | 0.000 % |
453.79/454.11 c | 325538 | 15583 66706 202681 | 2147483647 325538 246 | 0.000 % |
455.38/455.72 c | 326258 | 15583 66706 202681 | 2147483647 326258 246 | 0.000 % |
457.19/457.59 c | 327050 | 15583 66706 202681 | 2147483647 327050 246 | 0.000 % |
459.29/459.61 c | 327924 | 15583 66706 202681 | 2147483647 327924 246 | 0.000 % |
461.38/461.73 c | 328883 | 15583 66706 202681 | 2147483647 328883 246 | 0.000 % |
463.79/464.17 c | 329936 | 15583 66706 202681 | 2147483647 329936 247 | 0.000 % |
466.28/466.61 c | 331094 | 15583 66706 202681 | 2147483647 331094 247 | 0.000 % |
469.08/469.48 c | 332369 | 15583 66706 202681 | 2147483647 332369 247 | 0.000 % |
472.28/472.65 c | 333771 | 15583 66706 202681 | 2147483647 333771 247 | 0.000 % |
475.58/475.91 c | 335312 | 15583 66706 202681 | 2147483647 335312 247 | 0.000 % |
479.28/479.62 c | 337006 | 15583 66706 202681 | 2147483647 337006 247 | 0.000 % |
483.28/483.63 c | 338870 | 15583 66706 202681 | 2147483647 338870 247 | 0.000 % |
487.77/488.19 c | 340919 | 15583 66706 202681 | 2147483647 340919 247 | 0.000 % |
492.96/493.36 c | 343172 | 15583 66706 202681 | 2147483647 343172 247 | 0.000 % |
498.16/498.52 c | 345652 | 15583 66706 202681 | 2147483647 345652 248 | 0.000 % |
503.96/504.38 c | 348377 | 15583 66706 202681 | 2147483647 348377 248 | 0.000 % |
510.65/511.05 c | 351375 | 15583 66706 202681 | 2147483647 351375 249 | 0.000 % |
517.25/517.63 c | 354671 | 15583 66706 202681 | 2147483647 354671 249 | 0.000 % |
517.55/517.91 c | 354771 | 15583 66706 202681 | 2147483647 354771 249 | 0.000 % |
517.85/518.24 c | 354883 | 15583 66706 202681 | 2147483647 354883 249 | 0.000 % |
518.25/518.61 c | 355005 | 15583 66706 202681 | 2147483647 355005 249 | 0.000 % |
518.65/519.05 c | 355138 | 15583 66706 202681 | 2147483647 355138 249 | 0.000 % |
519.05/519.49 c | 355284 | 15583 66706 202681 | 2147483647 355284 249 | 0.000 % |
519.55/519.92 c | 355444 | 15583 66706 202681 | 2147483647 355444 249 | 0.000 % |
520.05/520.44 c | 355620 | 15583 66706 202681 | 2147483647 355620 249 | 0.000 % |
520.55/520.96 c | 355814 | 15583 66706 202681 | 2147483647 355814 249 | 0.000 % |
521.15/521.53 c | 356026 | 15583 66706 202681 | 2147483647 356026 249 | 0.000 % |
521.75/522.19 c | 356259 | 15583 66706 202681 | 2147483647 356259 249 | 0.000 % |
522.55/522.90 c | 356516 | 15583 66706 202681 | 2147483647 356516 249 | 0.000 % |
523.35/523.72 c | 356799 | 15583 66706 202681 | 2147483647 356799 249 | 0.000 % |
524.15/524.50 c | 357108 | 15583 66706 202681 | 2147483647 357108 249 | 0.000 % |
525.05/525.41 c | 357449 | 15583 66706 202681 | 2147483647 357449 249 | 0.000 % |
525.95/526.39 c | 357822 | 15583 66706 202681 | 2147483647 357822 249 | 0.000 % |
527.05/527.40 c | 358236 | 15583 66706 202681 | 2147483647 358236 249 | 0.000 % |
528.15/528.54 c | 358685 | 15583 66706 202681 | 2147483647 358685 249 | 0.000 % |
529.35/529.79 c | 359181 | 15583 66706 202681 | 2147483647 359181 249 | 0.000 % |
530.74/531.17 c | 359724 | 15583 66706 202681 | 2147483647 359724 249 | 0.000 % |
532.24/532.66 c | 360320 | 15583 66706 202681 | 2147483647 360320 248 | 0.000 % |
533.84/534.28 c | 360978 | 15583 66706 202681 | 2147483647 360978 248 | 0.000 % |
535.64/536.02 c | 361699 | 15583 66706 202681 | 2147483647 361699 249 | 0.000 % |
537.54/537.96 c | 362495 | 15583 66706 202681 | 2147483647 362495 248 | 0.000 % |
539.84/540.20 c | 363368 | 15583 66706 202681 | 2147483647 363368 248 | 0.000 % |
542.03/542.48 c | 364326 | 15583 66706 202681 | 2147483647 364326 248 | 0.000 % |
544.64/545.06 c | 365381 | 15583 66706 202681 | 2147483647 365381 248 | 0.000 % |
547.24/547.61 c | 366539 | 15583 66706 202681 | 2147483647 366539 249 | 0.000 % |
550.33/550.71 c | 367812 | 15583 66706 202681 | 2147483647 367812 249 | 0.000 % |
553.64/554.03 c | 369213 | 15583 66706 202681 | 2147483647 369213 249 | 0.000 % |
557.24/557.66 c | 370754 | 15583 66706 202681 | 2147483647 370754 249 | 0.000 % |
561.43/561.85 c | 372448 | 15583 66706 202681 | 2147483647 372448 249 | 0.000 % |
565.83/566.25 c | 374311 | 15583 66706 202681 | 2147483647 374311 249 | 0.000 % |
570.63/571.10 c | 376360 | 15583 66706 202681 | 2147483647 376360 249 | 0.000 % |
575.93/576.37 c | 378614 | 15583 66706 202681 | 2147483647 378614 249 | 0.000 % |
582.01/582.46 c | 381094 | 15583 66706 202681 | 2147483647 381094 249 | 0.000 % |
588.50/588.97 c | 383820 | 15583 66706 202681 | 2147483647 383820 250 | 0.000 % |
595.30/595.79 c | 386818 | 15583 66706 202681 | 2147483647 386818 250 | 0.000 % |
603.40/603.87 c | 390114 | 15583 66706 202681 | 2147483647 390114 251 | 0.000 % |
612.20/612.67 c | 393739 | 15583 66706 202681 | 2147483647 393739 251 | 0.000 % |
612.50/612.97 c | 393841 | 15583 66706 202681 | 2147483647 393841 251 | 0.000 % |
612.90/613.33 c | 393952 | 15583 66706 202681 | 2147483647 393952 251 | 0.000 % |
613.30/613.75 c | 394074 | 15583 66706 202681 | 2147483647 394074 251 | 0.000 % |
613.69/614.17 c | 394207 | 15583 66706 202681 | 2147483647 394207 251 | 0.000 % |
614.19/614.62 c | 394356 | 15583 66706 202681 | 2147483647 394356 251 | 0.000 % |
614.60/615.09 c | 394517 | 15583 66706 202681 | 2147483647 394517 251 | 0.000 % |
615.20/615.66 c | 394693 | 15583 66706 202681 | 2147483647 394693 251 | 0.000 % |
615.80/616.25 c | 394887 | 15583 66706 202681 | 2147483647 394887 251 | 0.000 % |
616.40/616.86 c | 395099 | 15583 66706 202681 | 2147483647 395099 251 | 0.000 % |
617.10/617.56 c | 395332 | 15583 66706 202681 | 2147483647 395332 251 | 0.000 % |
617.80/618.29 c | 395588 | 15583 66706 202681 | 2147483647 395588 251 | 0.000 % |
618.69/619.19 c | 395869 | 15583 66706 202681 | 2147483647 395869 251 | 0.000 % |
619.69/620.11 c | 396178 | 15583 66706 202681 | 2147483647 396178 251 | 0.000 % |
620.69/621.14 c | 396519 | 15583 66706 202681 | 2147483647 396519 251 | 0.000 % |
621.79/622.24 c | 396892 | 15583 66706 202681 | 2147483647 396892 251 | 0.000 % |
622.88/623.37 c | 397302 | 15583 66706 202681 | 2147483647 397302 251 | 0.000 % |
624.08/624.59 c | 397751 | 15583 66706 202681 | 2147483647 397751 251 | 0.000 % |
625.39/625.89 c | 398244 | 15583 66706 202681 | 2147483647 398244 251 | 0.000 % |
626.89/627.35 c | 398787 | 15583 66706 202681 | 2147483647 398787 251 | 0.000 % |
628.59/629.03 c | 399383 | 15583 66706 202681 | 2147483647 399383 251 | 0.000 % |
630.09/630.55 c | 400039 | 15583 66706 202681 | 2147483647 400039 251 | 0.000 % |
632.09/632.52 c | 400762 | 15583 66706 202681 | 2147483647 400762 251 | 0.000 % |
634.08/634.50 c | 401554 | 15583 66706 202681 | 2147483647 401554 251 | 0.000 % |
636.58/637.02 c | 402426 | 15583 66706 202681 | 2147483647 402426 251 | 0.000 % |
638.98/639.46 c | 403385 | 15583 66706 202681 | 2147483647 403385 251 | 0.000 % |
641.68/642.16 c | 404440 | 15583 66706 202681 | 2147483647 404440 251 | 0.000 % |
644.68/645.10 c | 405598 | 15583 66706 202681 | 2147483647 405598 251 | 0.000 % |
647.87/648.40 c | 406871 | 15583 66706 202681 | 2147483647 406871 251 | 0.000 % |
651.68/652.11 c | 408272 | 15583 66706 202681 | 2147483647 408272 251 | 0.000 % |
655.48/655.97 c | 409812 | 15583 66706 202681 | 2147483647 409812 251 | 0.000 % |
659.78/660.29 c | 411506 | 15583 66706 202681 | 2147483647 411506 251 | 0.000 % |
664.47/664.95 c | 413369 | 15583 66706 202681 | 2147483647 413369 251 | 0.000 % |
669.47/669.93 c | 415418 | 15583 66706 202681 | 2147483647 415418 251 | 0.000 % |
675.16/675.60 c | 417671 | 15583 66706 202681 | 2147483647 417671 252 | 0.000 % |
681.36/681.88 c | 420150 | 15583 66706 202681 | 2147483647 420150 252 | 0.000 % |
688.25/688.73 c | 422875 | 15583 66706 202681 | 2147483647 422875 252 | 0.000 % |
695.76/696.29 c | 425872 | 15583 66706 202681 | 2147483647 425872 253 | 0.000 % |
703.96/704.47 c | 429168 | 15583 66706 202681 | 2147483647 429168 253 | 0.000 % |
712.94/713.44 c | 432793 | 15583 66706 202681 | 2147483647 432793 253 | 0.000 % |
723.13/723.70 c | 436780 | 15583 66706 202681 | 2147483647 436780 254 | 0.000 % |
723.53/724.08 c | 436881 | 15583 66706 202681 | 2147483647 436881 254 | 0.000 % |
723.93/724.47 c | 436991 | 15583 66706 202681 | 2147483647 436991 254 | 0.000 % |
724.43/724.91 c | 437114 | 15583 66706 202681 | 2147483647 437114 254 | 0.000 % |
724.93/725.44 c | 437248 | 15583 66706 202681 | 2147483647 437248 254 | 0.000 % |
725.44/725.92 c | 437394 | 15583 66706 202681 | 2147483647 437394 254 | 0.000 % |
725.94/726.40 c | 437556 | 15583 66706 202681 | 2147483647 437556 254 | 0.000 % |
726.54/727.04 c | 437733 | 15583 66706 202681 | 2147483647 437733 254 | 0.000 % |
727.13/727.66 c | 437926 | 15583 66706 202681 | 2147483647 437926 254 | 0.000 % |
727.83/728.32 c | 438138 | 15583 66706 202681 | 2147483647 438138 254 | 0.000 % |
728.63/729.10 c | 438372 | 15583 66706 202681 | 2147483647 438372 254 | 0.000 % |
729.43/729.90 c | 438628 | 15583 66706 202681 | 2147483647 438628 254 | 0.000 % |
730.24/730.70 c | 438910 | 15583 66706 202681 | 2147483647 438910 254 | 0.000 % |
731.23/731.76 c | 439219 | 15583 66706 202681 | 2147483647 439219 254 | 0.000 % |
732.33/732.82 c | 439559 | 15583 66706 202681 | 2147483647 439559 254 | 0.000 % |
733.53/734.08 c | 439933 | 15583 66706 202681 | 2147483647 439933 254 | 0.000 % |
734.63/735.16 c | 440343 | 15583 66706 202681 | 2147483647 440343 254 | 0.000 % |
735.93/736.46 c | 440793 | 15583 66706 202681 | 2147483647 440793 254 | 0.000 % |
737.43/737.92 c | 441288 | 15583 66706 202681 | 2147483647 441288 254 | 0.000 % |
739.02/739.50 c | 441832 | 15583 66706 202681 | 2147483647 441832 254 | 0.000 % |
740.72/741.23 c | 442428 | 15583 66706 202681 | 2147483647 442428 254 | 0.000 % |
742.53/743.03 c | 443084 | 15583 66706 202681 | 2147483647 443084 254 | 0.000 % |
744.63/745.10 c | 443805 | 15583 66706 202681 | 2147483647 443805 254 | 0.000 % |
746.63/747.19 c | 444597 | 15583 66706 202681 | 2147483647 444597 254 | 0.000 % |
748.92/749.49 c | 445469 | 15583 66706 202681 | 2147483647 445469 254 | 0.000 % |
751.82/752.39 c | 446427 | 15583 66706 202681 | 2147483647 446427 253 | 0.000 % |
754.73/755.29 c | 447480 | 15583 66706 202681 | 2147483647 447480 253 | 0.000 % |
758.02/758.57 c | 448638 | 15583 66706 202681 | 2147483647 448638 253 | 0.000 % |
761.42/761.97 c | 449913 | 15583 66706 202681 | 2147483647 449913 253 | 0.000 % |
765.22/765.79 c | 451313 | 15583 66706 202681 | 2147483647 451313 253 | 0.000 % |
769.52/770.04 c | 452855 | 15583 66706 202681 | 2147483647 452855 253 | 0.000 % |
774.12/774.61 c | 454549 | 15583 66706 202681 | 2147483647 454549 253 | 0.000 % |
779.32/779.87 c | 456413 | 15583 66706 202681 | 2147483647 456413 253 | 0.000 % |
785.11/785.61 c | 458462 | 15583 66706 202681 | 2147483647 458462 253 | 0.000 % |
791.00/791.58 c | 460716 | 15583 66706 202681 | 2147483647 460716 254 | 0.000 % |
798.20/798.72 c | 463194 | 15583 66706 202681 | 2147483647 463194 254 | 0.000 % |
805.60/806.14 c | 465920 | 15583 66706 202681 | 2147483647 465920 254 | 0.000 % |
813.69/814.22 c | 468917 | 15583 66706 202681 | 2147483647 468917 254 | 0.000 % |
822.39/822.91 c | 472214 | 15583 66706 202681 | 2147483647 472214 254 | 0.000 % |
832.29/832.86 c | 475842 | 15583 66706 202681 | 2147483647 475842 254 | 0.000 % |
843.09/843.62 c | 479830 | 15583 66706 202681 | 2147483647 479830 255 | 0.000 % |
854.87/855.40 c | 484215 | 15583 66706 202681 | 2147483647 484215 255 | 0.000 % |
855.17/855.76 c | 484315 | 15583 66706 202681 | 2147483647 484315 255 | 0.000 % |
855.67/856.21 c | 484426 | 15583 66706 202681 | 2147483647 484426 255 | 0.000 % |
856.07/856.65 c | 484547 | 15583 66706 202681 | 2147483647 484547 255 | 0.000 % |
856.67/857.23 c | 484680 | 15583 66706 202681 | 2147483647 484680 255 | 0.000 % |
857.16/857.77 c | 484828 | 15583 66706 202681 | 2147483647 484828 255 | 0.000 % |
857.76/858.39 c | 484989 | 15583 66706 202681 | 2147483647 484989 255 | 0.000 % |
858.57/859.14 c | 485165 | 15583 66706 202681 | 2147483647 485165 255 | 0.000 % |
859.26/859.83 c | 485359 | 15583 66706 202681 | 2147483647 485359 255 | 0.000 % |
859.96/860.58 c | 485571 | 15583 66706 202681 | 2147483647 485571 255 | 0.000 % |
860.96/861.50 c | 485805 | 15583 66706 202681 | 2147483647 485805 255 | 0.000 % |
861.86/862.41 c | 486062 | 15583 66706 202681 | 2147483647 486062 255 | 0.000 % |
862.86/863.46 c | 486344 | 15583 66706 202681 | 2147483647 486344 255 | 0.000 % |
863.96/864.57 c | 486655 | 15583 66706 202681 | 2147483647 486655 255 | 0.000 % |
865.17/865.72 c | 486994 | 15583 66706 202681 | 2147483647 486994 255 | 0.000 % |
866.27/866.88 c | 487367 | 15583 66706 202681 | 2147483647 487367 255 | 0.000 % |
867.66/868.20 c | 487776 | 15583 66706 202681 | 2147483647 487776 255 | 0.000 % |
868.96/869.57 c | 488225 | 15583 66706 202681 | 2147483647 488225 255 | 0.000 % |
870.56/871.13 c | 488720 | 15583 66706 202681 | 2147483647 488720 255 | 0.000 % |
872.36/872.95 c | 489263 | 15583 66706 202681 | 2147483647 489263 255 | 0.000 % |
874.26/874.86 c | 489860 | 15583 66706 202681 | 2147483647 489860 255 | 0.000 % |
875.95/876.55 c | 490515 | 15583 66706 202681 | 2147483647 490515 255 | 0.000 % |
878.36/878.99 c | 491236 | 15583 66706 202681 | 2147483647 491236 255 | 0.000 % |
880.96/881.54 c | 492028 | 15583 66706 202681 | 2147483647 492028 255 | 0.000 % |
883.86/884.45 c | 492901 | 15583 66706 202681 | 2147483647 492901 255 | 0.000 % |
886.35/886.98 c | 493860 | 15583 66706 202681 | 2147483647 493860 255 | 0.000 % |
889.44/890.03 c | 494913 | 15583 66706 202681 | 2147483647 494913 255 | 0.000 % |
892.65/893.25 c | 496073 | 15583 66706 202681 | 2147483647 496073 255 | 0.000 % |
896.64/897.20 c | 497347 | 15583 66706 202681 | 2147483647 497347 255 | 0.000 % |
900.74/901.38 c | 498747 | 15583 66706 202681 | 2147483647 498747 255 | 0.000 % |
905.24/905.87 c | 500288 | 15583 66706 202681 | 2147483647 500288 255 | 0.000 % |
910.34/910.93 c | 501984 | 15583 66706 202681 | 2147483647 501984 256 | 0.000 % |
915.64/916.26 c | 503847 | 15583 66706 202681 | 2147483647 503847 256 | 0.000 % |
921.74/922.35 c | 505897 | 15583 66706 202681 | 2147483647 505897 256 | 0.000 % |
928.53/929.10 c | 508152 | 15583 66706 202681 | 2147483647 508152 256 | 0.000 % |
935.53/936.16 c | 510631 | 15583 66706 202681 | 2147483647 510631 256 | 0.000 % |
943.60/944.24 c | 513356 | 15583 66706 202681 | 2147483647 513356 256 | 0.000 % |
952.10/952.76 c | 516353 | 15583 66706 202681 | 2147483647 516353 256 | 0.000 % |
962.19/962.86 c | 519649 | 15583 66706 202681 | 2147483647 519649 257 | 0.000 % |
971.99/972.60 c | 523274 | 15583 66706 202681 | 2147483647 523274 257 | 0.000 % |
983.68/984.36 c | 527261 | 15583 66706 202681 | 2147483647 527261 258 | 0.000 % |
996.57/997.22 c | 531648 | 15583 66706 202681 | 2147483647 531648 258 | 0.000 % |
1010.27/1011.00 c | 536472 | 15583 66706 202681 | 2147483647 536472 258 | 0.000 % |
1010.77/1011.47 c | 536574 | 15583 66706 202681 | 2147483647 536574 258 | 0.000 % |
1011.37/1012.07 c | 536684 | 15583 66706 202681 | 2147483647 536684 258 | 0.000 % |
1011.97/1012.61 c | 536805 | 15583 66706 202681 | 2147483647 536805 258 | 0.000 % |
1012.47/1013.16 c | 536939 | 15583 66706 202681 | 2147483647 536939 258 | 0.000 % |
1013.07/1013.74 c | 537085 | 15583 66706 202681 | 2147483647 537085 258 | 0.000 % |
1013.77/1014.45 c | 537245 | 15583 66706 202681 | 2147483647 537245 258 | 0.000 % |
1014.47/1015.16 c | 537423 | 15583 66706 202681 | 2147483647 537423 258 | 0.000 % |
1015.26/1015.97 c | 537616 | 15583 66706 202681 | 2147483647 537616 258 | 0.000 % |
1016.06/1016.77 c | 537829 | 15583 66706 202681 | 2147483647 537829 258 | 0.000 % |
1016.87/1017.57 c | 538063 | 15583 66706 202681 | 2147483647 538063 258 | 0.000 % |
1017.87/1018.56 c | 538321 | 15583 66706 202681 | 2147483647 538321 258 | 0.000 % |
1018.97/1019.63 c | 538604 | 15583 66706 202681 | 2147483647 538604 258 | 0.000 % |
1020.07/1020.71 c | 538914 | 15583 66706 202681 | 2147483647 538914 258 | 0.000 % |
1021.17/1021.90 c | 539255 | 15583 66706 202681 | 2147483647 539255 258 | 0.000 % |
1022.67/1023.31 c | 539627 | 15583 66706 202681 | 2147483647 539627 258 | 0.000 % |
1024.06/1024.76 c | 540036 | 15583 66706 202681 | 2147483647 540036 258 | 0.000 % |
1025.76/1026.47 c | 540485 | 15583 66706 202681 | 2147483647 540485 258 | 0.000 % |
1027.56/1028.28 c | 540979 | 15583 66706 202681 | 2147483647 540979 258 | 0.000 % |
1029.35/1030.03 c | 541521 | 15583 66706 202681 | 2147483647 541521 258 | 0.000 % |
1031.55/1032.27 c | 542118 | 15583 66706 202681 | 2147483647 542118 258 | 0.000 % |
1033.76/1034.46 c | 542774 | 15583 66706 202681 | 2147483647 542774 258 | 0.000 % |
1036.05/1036.79 c | 543496 | 15583 66706 202681 | 2147483647 543496 258 | 0.000 % |
1038.45/1039.15 c | 544289 | 15583 66706 202681 | 2147483647 544289 258 | 0.000 % |
1041.44/1042.15 c | 545160 | 15583 66706 202681 | 2147483647 545160 258 | 0.000 % |
1044.54/1045.23 c | 546119 | 15583 66706 202681 | 2147483647 546119 258 | 0.000 % |
1047.35/1048.06 c | 547175 | 15583 66706 202681 | 2147483647 547175 258 | 0.000 % |
1051.04/1051.78 c | 548333 | 15583 66706 202681 | 2147483647 548333 258 | 0.000 % |
1055.14/1055.89 c | 549609 | 15583 66706 202681 | 2147483647 549609 258 | 0.000 % |
1059.54/1060.26 c | 551010 | 15583 66706 202681 | 2147483647 551010 258 | 0.000 % |
1064.44/1065.17 c | 552550 | 15583 66706 202681 | 2147483647 552550 259 | 0.000 % |
1070.13/1070.81 c | 554250 | 15583 66706 202681 | 2147483647 554250 259 | 0.000 % |
1075.93/1076.67 c | 556114 | 15583 66706 202681 | 2147483647 556114 259 | 0.000 % |
1082.32/1083.05 c | 558164 | 15583 66706 202681 | 2147483647 558164 259 | 0.000 % |
1089.33/1090.10 c | 560417 | 15583 66706 202681 | 2147483647 560417 260 | 0.000 % |
1097.03/1097.80 c | 562898 | 15583 66706 202681 | 2147483647 562898 260 | 0.000 % |
1105.72/1106.41 c | 565625 | 15583 66706 202681 | 2147483647 565625 260 | 0.000 % |
1113.81/1114.55 c | 568622 | 15583 66706 202681 | 2147483647 568622 261 | 0.000 % |
1124.60/1125.40 c | 571918 | 15583 66706 202681 | 2147483647 571918 261 | 0.000 % |
1135.90/1136.66 c | 575543 | 15583 66706 202681 | 2147483647 575543 262 | 0.000 % |
1148.69/1149.41 c | 579534 | 15583 66706 202681 | 2147483647 579534 262 | 0.000 % |
1162.58/1163.31 c | 583920 | 15583 66706 202681 | 2147483647 583920 263 | 0.000 % |
1177.78/1178.55 c | 588747 | 15583 66706 202681 | 2147483647 588747 263 | 0.000 % |
1195.17/1195.91 c | 594052 | 15583 66706 202681 | 2147483647 594052 263 | 0.000 % |
1195.67/1196.46 c | 594152 | 15583 66706 202681 | 2147483647 594152 263 | 0.000 % |
1196.17/1196.98 c | 594263 | 15583 66706 202681 | 2147483647 594263 263 | 0.000 % |
1196.77/1197.54 c | 594384 | 15583 66706 202681 | 2147483647 594384 263 | 0.000 % |
1197.27/1198.09 c | 594519 | 15583 66706 202681 | 2147483647 594519 263 | 0.000 % |
1197.97/1198.76 c | 594666 | 15583 66706 202681 | 2147483647 594666 263 | 0.000 % |
1198.67/1199.45 c | 594826 | 15583 66706 202681 | 2147483647 594826 263 | 0.000 % |
1199.47/1200.25 c | 595004 | 15583 66706 202681 | 2147483647 595004 263 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832773-1242787511/watcher-1832773-1242787511 -o /tmp/evaluation-result-1832773-1242787511/solver-1832773-1242787511 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832773-1242787511.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3816
/proc/meminfo: memFree=1871240/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306784012 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 221780869202 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/3816/statm: 1339 235 195 169 0 50 0
[pid=3817] ppid=3816 vsize=5356 CPUtime=0
/proc/3817/stat : 3817 (SatELiteGTI) S 3816 3816 2929 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306784012 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/3817/statm: 1339 238 198 169 0 50 0
[pid=3819] ppid=3817 vsize=0 CPUtime=0
/proc/3819/stat : 3819 (sed) R 3817 3816 2929 0 -1 4194308 163 0 0 0 0 0 0 0 18 0 1 0 306784012 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/3819/statm: -- couldn't open statm file --
[startup+0.0913961 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3816
/proc/meminfo: memFree=1871240/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306784012 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3816/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101395 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3816
/proc/meminfo: memFree=1871240/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306784012 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3816/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301426 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3816
/proc/meminfo: memFree=1871240/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306784012 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3816/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701471 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3816
/proc/meminfo: memFree=1871240/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 5356
[startup+1.50159 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1863344/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=7708 CPUtime=1.17
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 1757 0 0 0 116 1 0 0 25 0 1 0 306784044 7892992 1743 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 1927 1743 77 171 0 1754 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13064
[startup+3.10181 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1861680/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=10084 CPUtime=2.77
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 2358 0 0 0 275 2 0 0 25 0 1 0 306784044 10326016 2344 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 2521 2344 77 171 0 2348 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15440
[startup+6.30127 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1856880/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=14572 CPUtime=5.96
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 3487 0 0 0 593 3 0 0 25 0 1 0 306784044 14921728 3473 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 3643 3473 77 171 0 3470 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19928
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1847736/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=23408 CPUtime=12.35
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 5666 0 0 0 1230 5 0 0 25 0 1 0 306784044 23969792 5652 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 5852 5652 77 171 0 5679 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 28764
[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1831608/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=39032 CPUtime=25.14
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 9589 0 0 0 2506 8 0 0 25 0 1 0 306784044 39968768 9575 1992294400 134512640 135215339 4294956240 18446744073709551615 134539363 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 9758 9575 77 171 0 9585 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 44388
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1804600/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=66300 CPUtime=50.71
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 16399 0 0 0 5056 15 0 0 25 0 1 0 306784044 67891200 16385 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 16575 16385 77 171 0 16402 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 71656
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1756600/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=113492 CPUtime=101.87
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 28183 0 0 0 10160 27 0 0 25 0 1 0 306784044 116215808 28169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 28373 28169 77 171 0 28200 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 118848
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1711352/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=159056 CPUtime=161.84
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 39542 0 0 0 16144 40 0 0 25 0 1 0 306784044 162873344 39528 1992294400 134512640 135215339 4294956240 18446744073709551615 134528930 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 39764 39528 77 171 0 39591 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 164412
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1669624/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=200124 CPUtime=221.8
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 49862 0 0 0 22130 50 0 0 25 0 1 0 306784044 204926976 49848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 50031 49848 77 171 0 49858 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 205480
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1634488/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=235640 CPUtime=281.76
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 58686 0 0 0 28118 58 0 0 25 0 1 0 306784044 241295360 58672 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 58910 58672 77 171 0 58737 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 240996
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1598520/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=271024 CPUtime=341.73
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 67565 0 0 0 34104 69 0 0 25 0 1 0 306784044 277528576 67551 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 67756 67551 77 171 0 67583 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 276380
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1565240/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=304164 CPUtime=401.7
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 75879 0 0 0 40090 80 0 0 25 0 1 0 306784044 311463936 75865 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
################
# More data... #
################
/proc/3822/statm: 91844 91551 77 171 0 91671 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 372732
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1475960/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=393256 CPUtime=581.6
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 98072 0 0 0 58056 104 0 0 25 0 1 0 306784044 402694144 98058 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 98314 98058 77 171 0 98141 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 398612
[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1449272/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=419392 CPUtime=641.58
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 104631 0 0 0 64047 111 0 0 25 0 1 0 306784044 429457408 104617 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 104848 104617 77 171 0 104675 0
Current children cumulated CPU time (s) 641.89
Current children cumulated vsize (KiB) 424748
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1422008/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=446736 CPUtime=701.55
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 111481 0 0 0 70036 119 0 0 25 0 1 0 306784044 457457664 111467 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 111684 111467 77 171 0 111511 0
Current children cumulated CPU time (s) 701.86
Current children cumulated vsize (KiB) 452092
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1397944/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=470252 CPUtime=761.51
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 117373 0 0 0 76025 126 0 0 25 0 1 0 306784044 481538048 117359 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 117563 117359 77 171 0 117390 0
Current children cumulated CPU time (s) 761.82
Current children cumulated vsize (KiB) 475608
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1374136/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=495068 CPUtime=821.48
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 123384 0 0 0 82017 131 0 0 25 0 1 0 306784044 506949632 123370 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 123767 123370 77 171 0 123594 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 500424
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1351288/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=517528 CPUtime=881.45
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 129019 0 0 0 88006 139 0 0 25 0 1 0 306784044 529948672 129005 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 129382 129005 77 171 0 129209 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 522884
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3822
/proc/meminfo: memFree=1327928/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=540896 CPUtime=941.39
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 134867 0 0 0 93994 145 0 0 25 0 1 0 306784044 553877504 134853 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 135224 134853 77 171 0 135051 0
Current children cumulated CPU time (s) 941.7
Current children cumulated vsize (KiB) 546252
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3828
/proc/meminfo: memFree=1302384/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=565848 CPUtime=1001.37
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 141145 0 0 0 99984 153 0 0 25 0 1 0 306784044 579428352 141131 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 141462 141131 77 171 0 141289 0
Current children cumulated CPU time (s) 1001.68
Current children cumulated vsize (KiB) 571204
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3828
/proc/meminfo: memFree=1282096/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=586316 CPUtime=1061.33
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 146274 0 0 0 105975 158 0 0 25 0 1 0 306784044 600387584 146260 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 146579 146260 77 171 0 146406 0
Current children cumulated CPU time (s) 1061.64
Current children cumulated vsize (KiB) 591672
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3828
/proc/meminfo: memFree=1255920/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=612068 CPUtime=1121.29
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 152724 0 0 0 111966 163 0 0 25 0 1 0 306784044 626757632 152710 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 153017 152710 77 171 0 152844 0
Current children cumulated CPU time (s) 1121.6
Current children cumulated vsize (KiB) 617424
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3828
/proc/meminfo: memFree=1231792/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=636108 CPUtime=1181.26
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 158756 0 0 0 117956 170 0 0 25 0 1 0 306784044 651374592 158742 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 159027 158742 77 171 0 158854 0
Current children cumulated CPU time (s) 1181.57
Current children cumulated vsize (KiB) 641464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3828
/proc/meminfo: memFree=1225648/2055920 swapFree=4178384/4192956
[pid=3816] ppid=3814 vsize=5356 CPUtime=0.31
/proc/3816/stat : 3816 (SatELiteGTI) S 3814 3816 2929 0 -1 4194304 336 2295 0 0 0 0 29 2 16 0 1 0 306784012 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3816/statm: 1339 239 197 169 0 50 0
[pid=3822] ppid=3816 vsize=641916 CPUtime=1199.76
/proc/3822/stat : 3822 (minisat_static) R 3816 3816 2929 0 -1 4194304 160217 0 0 0 119805 171 0 0 25 0 1 0 306784044 657321984 160203 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/3822/statm: 160479 160203 77 171 0 160306 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 647272
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3816 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=293955
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=26995
# CPU time returned by wait4() is 0.32095
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.07
CPU user time (s): 1198.34
CPU system time (s): 1.73
CPU usage (%): 99.9381
Max. virtual memory (cumulated for all children) (KiB): 647272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.293955
system time used= 0.026995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 12
runsolver used 1.00985 second user time and 3.46647 second system time
The end
Begin job on node29 at 2009-05-20 04:45:12
IDJOB=1832773
IDBENCH=70350
IDSOLVER=671
FILE ID=node29/1832773-1242787511
PBS_JOBID= 9322304
Free space on /tmp= 66464 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/16000/unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832773-1242787511/watcher-1832773-1242787511 -o /tmp/evaluation-result-1832773-1242787511/solver-1832773-1242787511 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832773-1242787511.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= bc18b3dcb5640a3085870d083d959b05
RANDOM SEED=1132283722
node29.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.281
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.281
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1871720 kB
Buffers: 26148 kB
Cached: 109980 kB
SwapCached: 8780 kB
Active: 61764 kB
Inactive: 84768 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1871720 kB
SwapTotal: 4192956 kB
SwapFree: 4178384 kB
Dirty: 2860 kB
Writeback: 0 kB
Mapped: 15096 kB
Slab: 23624 kB
Committed_AS: 1100604 kB
PageTables: 1476 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66464 MiB
End job on node29 at 2009-05-20 05:05:14