0.00/0.00 c Parsing...
0.72/0.74 c ==============================================================================
0.72/0.74 c | | ORIGINAL | LEARNT | |
0.72/0.74 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.72/0.74 c ==============================================================================
0.72/0.74 c | 0 | 750876 1752044 | 225262 0 0 nan | 0.000 % |
5.02/5.09 c | 0 | 320735 1252421 | -- 0 -- -- | -- | -430139/-499618
5.02/5.09 c ==============================================================================
5.02/5.09 c Result : #vars: 41437 #clauses: 320735 #literals: 1252421
5.02/5.09 c CPU time: 4.77 s
5.02/5.09 c ==============================================================================
5.52/5.53 c This is MiniSat 2.0 beta
5.52/5.53 c WARNING: for repeatability, setting FPU to use double precision
5.52/5.53 c ============================[ Problem Statistics ]=============================
5.52/5.53 c | |
5.52/5.53 c | Number of variables: 41437 |
5.52/5.53 c | Number of clauses: 320735 |
5.54/5.78 c | Parsing time: 0.20 s |
5.54/5.80 c ============================[ Search Statistics ]==============================
5.54/5.80 c | Conflicts | ORIGINAL | LEARNT | Progress |
5.54/5.80 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.54/5.80 c ===============================================================================
5.54/5.80 c | 0 | 41437 320735 1252421 | 106911 0 nan | 0.000 % |
5.54/5.85 c | 101 | 41434 320735 1252421 | 106911 99 10 | 0.010 % |
5.54/5.93 c | 201 | 41434 320735 1252421 | 106911 199 10 | 0.010 % |
5.54/5.99 c | 302 | 41434 320735 1252421 | 106911 300 11 | 0.010 % |
5.54/6.01 c | 412 | 41434 320735 1252421 | 106911 410 11 | 0.010 % |
5.54/6.03 c | 512 | 41422 320735 1252421 | 106911 507 10 | 0.063 % |
5.54/6.07 c | 622 | 41419 320735 1252421 | 106911 617 10 | 0.063 % |
5.54/6.10 c | 743 | 41419 320735 1252421 | 106911 738 11 | 0.063 % |
5.54/6.13 c | 843 | 41419 320735 1252421 | 106911 838 13 | 0.063 % |
5.54/6.17 c | 953 | 41411 320735 1252421 | 106911 947 13 | 0.082 % |
5.54/6.22 c | 1074 | 41400 320735 1252421 | 106911 1066 12 | 0.118 % |
5.54/6.25 c | 1207 | 41391 320735 1252421 | 106911 1197 12 | 0.135 % |
5.54/6.30 c | 1307 | 41390 320735 1252421 | 106911 1297 12 | 0.135 % |
5.54/6.36 c | 1417 | 41390 320735 1252421 | 106911 1407 12 | 0.135 % |
5.54/6.41 c | 1539 | 41384 320735 1252421 | 106911 1528 12 | 0.152 % |
5.54/6.44 c | 1672 | 41378 320735 1252421 | 106911 1660 13 | 0.169 % |
6.52/6.52 c | 1818 | 41378 320735 1252421 | 106911 1806 13 | 0.169 % |
6.52/6.52 c | 1918 | 41376 320735 1252421 | 106911 1904 14 | 0.176 % |
6.52/6.55 c | 2028 | 41376 320735 1252421 | 106911 2014 14 | 0.176 % |
6.52/6.60 c | 2151 | 41376 320735 1252421 | 106911 2137 16 | 0.176 % |
6.62/6.61 c | 2286 | 41376 320735 1252421 | 106911 2272 16 | 0.176 % |
6.62/6.63 c | 2433 | 41376 320735 1252421 | 106911 2419 18 | 0.176 % |
6.62/6.65 c | 2593 | 41375 320735 1252421 | 106911 2578 18 | 0.179 % |
6.72/6.72 c | 2694 | 41373 320735 1252421 | 106911 2679 18 | 0.179 % |
6.82/6.82 c | 2805 | 41362 318519 1244269 | 106911 2777 18 | 0.181 % |
6.82/6.84 c | 2928 | 41362 318519 1244269 | 106911 2900 19 | 0.181 % |
6.82/6.85 c | 3062 | 41362 318519 1244269 | 106911 3034 18 | 0.181 % |
6.82/6.90 c | 3208 | 41362 318519 1244269 | 106911 3180 18 | 0.181 % |
6.92/6.94 c | 3369 | 41361 318519 1244269 | 106911 3340 18 | 0.183 % |
6.92/6.95 c | 3545 | 41361 318519 1244269 | 106911 3516 18 | 0.183 % |
6.92/6.98 c | 3646 | 41361 318519 1244269 | 106911 3617 18 | 0.183 % |
6.92/6.99 c | 3757 | 41361 318519 1244269 | 106911 3728 17 | 0.183 % |
7.02/7.10 c | 3879 | 41361 318519 1244269 | 106911 3850 18 | 0.183 % |
7.12/7.13 c | 4014 | 41345 318519 1244269 | 106911 3976 17 | 0.350 % |
7.12/7.16 c | 4163 | 41341 318519 1244269 | 106911 4125 17 | 0.350 % |
7.22/7.21 c | 4324 | 41341 318519 1244269 | 106911 4286 17 | 0.350 % |
7.22/7.22 c | 4500 | 41341 318519 1244269 | 106911 4462 17 | 0.350 % |
7.22/7.28 c | 4693 | 41341 318519 1244269 | 106911 4655 17 | 0.350 % |
7.22/7.30 c | 4793 | 41331 318519 1244269 | 106911 4751 17 | 0.475 % |
7.32/7.35 c | 4904 | 41320 318519 1244269 | 106911 4862 18 | 0.475 % |
7.32/7.37 c | 5026 | 41320 318519 1244269 | 106911 4984 17 | 0.475 % |
7.42/7.46 c | 5159 | 41313 318519 1244269 | 106911 5117 17 | 0.475 % |
7.42/7.51 c | 5305 | 41313 318519 1244269 | 106911 5263 17 | 0.475 % |
7.52/7.57 c | 5465 | 41310 318519 1244269 | 106911 5423 17 | 0.475 % |
7.52/7.59 c | 5642 | 41310 318519 1244269 | 106911 5600 17 | 0.475 % |
7.62/7.64 c | 5836 | 41310 318519 1244269 | 106911 5794 17 | 0.475 % |
7.62/7.70 c | 6048 | 41310 318519 1244269 | 106911 6006 17 | 0.475 % |
7.72/7.75 c | 6148 | 41240 315702 1233430 | 106911 6086 17 | 0.475 % |
7.72/7.79 c | 6259 | 41240 315702 1233430 | 106911 6197 17 | 0.475 % |
7.82/7.82 c | 6382 | 41240 315702 1233430 | 106911 6320 17 | 0.475 % |
7.82/7.84 c | 6515 | 41240 315702 1233430 | 106911 6453 17 | 0.475 % |
7.82/7.86 c | 6661 | 41240 315702 1233430 | 106911 6599 18 | 0.475 % |
7.82/7.90 c | 6822 | 41239 315702 1233430 | 106911 6759 18 | 0.478 % |
7.92/7.92 c | 6998 | 41234 315702 1233430 | 106911 6934 17 | 0.490 % |
7.92/7.96 c | 7191 | 41234 315702 1233430 | 106911 7127 17 | 0.490 % |
7.92/8.00 c | 7403 | 41229 315702 1233430 | 106911 7338 17 | 0.589 % |
8.02/8.02 c | 7636 | 41229 315702 1233430 | 106911 7571 17 | 0.589 % |
8.02/8.03 c | 7737 | 41229 315702 1233430 | 106911 7672 17 | 0.589 % |
8.02/8.05 c | 7848 | 41229 315702 1233430 | 106911 7783 17 | 0.589 % |
8.02/8.07 c | 7969 | 41229 315702 1233430 | 106911 7904 17 | 0.589 % |
8.02/8.08 c | 8102 | 41229 315702 1233430 | 106911 8037 17 | 0.589 % |
8.02/8.10 c | 8248 | 41228 315702 1233430 | 106911 8182 17 | 0.603 % |
8.12/8.14 c | 8408 | 41220 315702 1233430 | 106911 8342 17 | 0.603 % |
8.12/8.17 c | 8584 | 41220 315702 1233430 | 106911 8518 17 | 0.603 % |
8.22/8.21 c | 8777 | 41220 315702 1233430 | 106911 8711 17 | 0.603 % |
8.22/8.28 c | 8989 | 41220 315702 1233430 | 106911 8923 17 | 0.603 % |
8.32/8.34 c | 9223 | 41220 315702 1233430 | 106911 9157 17 | 0.603 % |
8.32/8.36 c | 9479 | 41220 315702 1233430 | 106911 9413 17 | 0.603 % |
8.32/8.38 c | 9581 | 41220 315702 1233430 | 106911 9515 17 | 0.603 % |
8.32/8.40 c | 9691 | 41220 315702 1233430 | 106911 9625 17 | 0.603 % |
8.52/8.52 c | 9812 | 41220 315702 1233430 | 106911 9746 18 | 0.603 % |
8.52/8.55 c | 9945 | 41220 315702 1233430 | 106911 9879 18 | 0.603 % |
8.52/8.59 c | 10091 | 41220 315702 1233430 | 2147483647 10025 18 | 0.603 % |
8.62/8.65 c | 10251 | 41220 315702 1233430 | 2147483647 10185 18 | 0.603 % |
8.72/8.76 c | 10428 | 41187 315253 1231857 | 2147483647 10022 18 | 0.603 % |
8.82/8.83 c | 10622 | 41187 315253 1231857 | 2147483647 10216 18 | 0.603 % |
8.82/8.88 c | 10835 | 41187 315253 1231857 | 2147483647 10429 18 | 0.603 % |
8.92/8.94 c | 11069 | 41187 315253 1231857 | 2147483647 10663 18 | 0.603 % |
9.02/9.08 c | 11325 | 41187 315253 1231857 | 2147483647 10919 18 | 0.603 % |
9.12/9.20 c | 11607 | 41185 315253 1231857 | 2147483647 11200 18 | 0.623 % |
9.22/9.22 c | 11707 | 41185 315253 1231857 | 2147483647 11300 18 | 0.623 % |
9.22/9.22 c | 11817 | 41185 315253 1231857 | 2147483647 11410 18 | 0.623 % |
9.22/9.24 c | 11938 | 41185 315253 1231857 | 2147483647 11531 18 | 0.623 % |
9.32/9.31 c | 12072 | 41185 315253 1231857 | 2147483647 11665 18 | 0.623 % |
9.32/9.35 c | 12218 | 41185 315253 1231857 | 2147483647 11811 18 | 0.623 % |
9.32/9.37 c | 12379 | 41185 315253 1231857 | 2147483647 11972 18 | 0.623 % |
9.32/9.38 c | 12555 | 41185 315253 1231857 | 2147483647 12148 18 | 0.623 % |
9.42/9.41 c | 12751 | 41185 315253 1231857 | 2147483647 12344 18 | 0.623 % |
9.42/9.46 c | 12964 | 41185 315253 1231857 | 2147483647 12557 18 | 0.623 % |
9.42/9.48 c | 13197 | 41184 315253 1231857 | 2147483647 12789 18 | 0.630 % |
9.52/9.55 c | 13454 | 41184 315253 1231857 | 2147483647 13046 18 | 0.630 % |
9.52/9.61 c | 13735 | 41184 315253 1231857 | 2147483647 13327 18 | 0.630 % |
9.62/9.64 c | 14047 | 41184 315253 1231857 | 2147483647 13639 18 | 0.630 % |
9.62/9.70 c | 14148 | 41184 315253 1231857 | 2147483647 13740 18 | 0.630 % |
9.72/9.76 c | 14258 | 41176 314939 1230889 | 2147483647 13816 18 | 0.630 % |
9.72/9.77 c | 14380 | 41176 314939 1230889 | 2147483647 13938 18 | 0.630 % |
9.72/9.80 c | 14515 | 41176 314939 1230889 | 2147483647 14073 18 | 0.630 % |
9.82/9.81 c | 14662 | 41176 314939 1230889 | 2147483647 14220 18 | 0.630 % |
9.82/9.85 c | 14823 | 41176 314939 1230889 | 2147483647 14381 18 | 0.630 % |
9.82/9.86 c | 14999 | 41176 314939 1230889 | 2147483647 14557 18 | 0.630 % |
9.82/9.89 c | 15192 | 41176 314939 1230889 | 2147483647 14750 18 | 0.630 % |
9.92/9.95 c | 15404 | 41176 314939 1230889 | 2147483647 14962 18 | 0.630 % |
9.92/9.99 c | 15638 | 41176 314939 1230889 | 2147483647 15196 18 | 0.630 % |
10.02/10.02 c | 15895 | 41176 314939 1230889 | 2147483647 15453 18 | 0.630 % |
10.22/10.23 c | 16177 | 41176 314939 1230889 | 2147483647 15735 19 | 0.630 % |
10.22/10.28 c | 16486 | 41176 314939 1230889 | 2147483647 16044 19 | 0.630 % |
10.32/10.32 c | 16825 | 41176 314939 1230889 | 2147483647 16383 19 | 0.630 % |
10.32/10.40 c | 16926 | 41176 314939 1230889 | 2147483647 16484 19 | 0.630 % |
10.42/10.42 c | 17036 | 41176 314939 1230889 | 2147483647 16594 19 | 0.630 % |
10.42/10.48 c | 17157 | 41176 314939 1230889 | 2147483647 16715 19 | 0.630 % |
10.62/10.62 c | 17292 | 41176 314939 1230889 | 2147483647 16850 19 | 0.630 % |
10.62/10.67 c | 17438 | 41176 314939 1230889 | 2147483647 16996 19 | 0.630 % |
10.72/10.71 c | 17598 | 41176 314939 1230889 | 2147483647 17156 19 | 0.630 % |
10.72/10.75 c | 17774 | 41176 314939 1230889 | 2147483647 17332 19 | 0.630 % |
10.72/10.76 c | 17969 | 41176 314939 1230889 | 2147483647 17527 19 | 0.630 % |
10.82/10.88 c | 18183 | 41176 314939 1230889 | 2147483647 17741 19 | 0.630 % |
10.92/10.93 c | 18417 | 41176 314939 1230889 | 2147483647 17975 19 | 0.630 % |
11.02/11.02 c | 18673 | 41176 314939 1230889 | 2147483647 18231 19 | 0.630 % |
11.02/11.11 c | 18956 | 41176 314939 1230889 | 2147483647 18514 19 | 0.630 % |
11.12/11.12 c | 19265 | 41176 314939 1230889 | 2147483647 18823 19 | 0.630 % |
11.12/11.17 c | 19605 | 41176 314939 1230889 | 2147483647 19163 19 | 0.630 % |
11.22/11.26 c | 19979 | 41176 314939 1230889 | 2147483647 19537 18 | 0.630 % |
11.22/11.30 c | 20080 | 41176 314939 1230889 | 2147483647 19638 18 | 0.630 % |
11.32/11.35 c | 20191 | 41176 314939 1230889 | 2147483647 19749 18 | 0.630 % |
11.32/11.37 c | 20312 | 41176 314939 1230889 | 2147483647 19870 18 | 0.630 % |
11.32/11.41 c | 20447 | 41176 314939 1230889 | 2147483647 20005 18 | 0.630 % |
11.42/11.44 c | 20593 | 41176 314939 1230889 | 2147483647 20151 18 | 0.630 % |
11.42/11.47 c | 20754 | 41176 314939 1230889 | 2147483647 20312 19 | 0.630 % |
11.42/11.51 c | 20930 | 41176 314939 1230889 | 2147483647 20488 19 | 0.630 % |
11.52/11.55 c | 21124 | 41176 314939 1230889 | 2147483647 20682 19 | 0.630 % |
11.52/11.59 c | 21336 | 41176 314939 1230889 | 2147483647 20894 19 | 0.630 % |
11.72/11.72 c | 21570 | 41176 314939 1230889 | 2147483647 21128 19 | 0.630 % |
11.72/11.79 c | 21827 | 41176 314939 1230889 | 2147483647 21385 19 | 0.630 % |
11.82/11.86 c | 22109 | 41176 314939 1230889 | 2147483647 21667 19 | 0.630 % |
11.82/11.89 c | 22419 | 41176 314939 1230889 | 2147483647 21977 19 | 0.630 % |
11.92/11.96 c | 22758 | 41176 314939 1230889 | 2147483647 22316 19 | 0.630 % |
12.02/12.10 c | 23131 | 41176 314939 1230889 | 2147483647 22689 19 | 0.630 % |
12.12/12.14 c | 23540 | 41176 314939 1230889 | 2147483647 23098 20 | 0.630 % |
12.12/12.20 c | 23640 | 41172 314917 1230796 | 2147483647 23196 20 | 0.640 % |
12.22/12.25 c | 23750 | 41172 314917 1230796 | 2147483647 23306 20 | 0.640 % |
12.22/12.27 c | 23871 | 41172 314917 1230796 | 2147483647 23427 20 | 0.640 % |
12.32/12.32 c | 24004 | 41172 314917 1230796 | 2147483647 23560 20 | 0.640 % |
12.32/12.36 c | 24151 | 41172 314917 1230796 | 2147483647 23707 20 | 0.640 % |
12.42/12.41 c | 24312 | 41172 314917 1230796 | 2147483647 23868 20 | 0.640 % |
12.42/12.45 c | 24488 | 41172 314917 1230796 | 2147483647 24044 20 | 0.640 % |
12.42/12.48 c | 24682 | 41172 314917 1230796 | 2147483647 24238 20 | 0.640 % |
12.52/12.53 c | 24894 | 41172 314917 1230796 | 2147483647 24450 20 | 0.640 % |
12.52/12.58 c | 25127 | 41172 314917 1230796 | 2147483647 24683 20 | 0.640 % |
12.62/12.61 c | 25383 | 41172 314917 1230796 | 2147483647 24939 20 | 0.640 % |
12.62/12.68 c | 25664 | 41172 314917 1230796 | 2147483647 25220 20 | 0.640 % |
12.72/12.73 c | 25974 | 41172 314917 1230796 | 2147483647 25530 20 | 0.640 % |
12.72/12.80 c | 26313 | 41172 314917 1230796 | 2147483647 25869 20 | 0.640 % |
12.82/12.84 c | 26687 | 41172 314917 1230796 | 2147483647 26243 21 | 0.640 % |
12.92/12.91 c | 27099 | 41172 314917 1230796 | 2147483647 26655 21 | 0.640 % |
13.12/13.12 c | 27548 | 41172 314917 1230796 | 2147483647 27104 21 | 0.640 % |
13.12/13.16 c | 27648 | 41163 314917 1230796 | 2147483647 27202 21 | 0.678 % |
13.12/13.18 c | 27759 | 41163 314917 1230796 | 2147483647 27313 21 | 0.678 % |
13.12/13.20 c | 27880 | 41163 314917 1230796 | 2147483647 27434 21 | 0.678 % |
13.22/13.26 c | 28013 | 41163 314917 1230796 | 2147483647 27567 21 | 0.678 % |
13.22/13.27 c | 28159 | 41163 314917 1230796 | 2147483647 27713 21 | 0.678 % |
13.32/13.37 c | 28320 | 41163 314917 1230796 | 2147483647 27874 21 | 0.678 % |
13.42/13.42 c | 28496 | 41163 314917 1230796 | 2147483647 28050 21 | 0.678 % |
13.42/13.46 c | 28689 | 41163 314917 1230796 | 2147483647 28243 21 | 0.678 % |
13.52/13.55 c | 28901 | 41156 314636 1229835 | 2147483647 28452 21 | 0.678 % |
13.52/13.59 c | 29134 | 41156 314636 1229835 | 2147483647 28685 21 | 0.678 % |
13.62/13.64 c | 29390 | 41156 314636 1229835 | 2147483647 28941 21 | 0.678 % |
13.62/13.68 c | 29671 | 41156 314636 1229835 | 2147483647 29222 22 | 0.678 % |
13.72/13.73 c | 29980 | 41156 314636 1229835 | 2147483647 29531 22 | 0.678 % |
13.72/13.78 c | 30319 | 41156 314636 1229835 | 2147483647 29870 22 | 0.678 % |
13.82/13.82 c | 30691 | 41156 314636 1229835 | 2147483647 30242 22 | 0.678 % |
13.82/13.90 c | 31100 | 41156 314636 1229835 | 2147483647 30651 22 | 0.678 % |
13.92/13.95 c | 31549 | 41156 314636 1229835 | 2147483647 31100 22 | 0.678 % |
14.02/14.02 c | 32042 | 41156 314636 1229835 | 2147483647 31593 22 | 0.678 % |
14.02/14.04 c | 32142 | 41154 314636 1229835 | 2147483647 31691 22 | 0.690 % |
14.02/14.08 c | 32252 | 41153 314636 1229835 | 2147483647 31800 22 | 0.695 % |
14.02/14.10 c | 32373 | 41153 314636 1229835 | 2147483647 31921 22 | 0.695 % |
14.12/14.14 c | 32508 | 41153 314636 1229835 | 2147483647 32056 22 | 0.695 % |
14.22/14.25 c | 32654 | 41153 314636 1229835 | 2147483647 32202 22 | 0.695 % |
14.22/14.28 c | 32815 | 41153 314636 1229835 | 2147483647 32363 22 | 0.695 % |
14.42/14.42 c | 32991 | 41153 314636 1229835 | 2147483647 32539 23 | 0.695 % |
14.42/14.45 c | 33184 | 41153 314636 1229835 | 2147483647 32732 23 | 0.695 % |
14.42/14.48 c | 33396 | 41153 314636 1229835 | 2147483647 32944 23 | 0.695 % |
14.52/14.57 c | 33631 | 41153 314636 1229835 | 2147483647 33179 23 | 0.695 % |
14.62/14.67 c | 33887 | 41153 314636 1229835 | 2147483647 33435 23 | 0.695 % |
14.72/14.72 c | 34168 | 41153 314636 1229835 | 2147483647 33716 23 | 0.695 % |
14.82/14.83 c | 34477 | 41153 314636 1229835 | 2147483647 34025 23 | 0.695 % |
14.82/14.91 c | 34817 | 41153 314636 1229835 | 2147483647 34365 23 | 0.695 % |
14.92/14.96 c | 35189 | 41152 314636 1229835 | 2147483647 34736 23 | 0.697 % |
15.02/15.08 c | 35599 | 41148 314436 1229238 | 2147483647 35140 23 | 0.697 % |
15.22/15.28 c | 36048 | 41148 314436 1229238 | 2147483647 35589 23 | 0.697 % |
15.32/15.38 c | 36542 | 41148 314436 1229238 | 2147483647 36083 23 | 0.697 % |
15.52/15.51 c | 37084 | 41148 314436 1229238 | 2147483647 36625 23 | 0.697 % |
15.52/15.55 c | 37186 | 41148 314436 1229238 | 2147483647 36727 23 | 0.697 % |
15.52/15.56 c | 37296 | 41148 314436 1229238 | 2147483647 36837 23 | 0.697 % |
15.52/15.60 c | 37419 | 41148 314436 1229238 | 2147483647 36960 23 | 0.697 % |
15.62/15.62 c | 37554 | 41148 314436 1229238 | 2147483647 37095 23 | 0.697 % |
15.62/15.67 c | 37700 | 41148 314436 1229238 | 2147483647 37241 23 | 0.697 % |
15.62/15.70 c | 37861 | 41148 314436 1229238 | 2147483647 37402 23 | 0.697 % |
15.72/15.74 c | 38038 | 41148 314436 1229238 | 2147483647 37579 23 | 0.697 % |
15.72/15.81 c | 38233 | 41148 314436 1229238 | 2147483647 37774 23 | 0.697 % |
15.82/15.83 c | 38445 | 41148 314436 1229238 | 2147483647 37986 23 | 0.697 % |
15.82/15.89 c | 38678 | 41148 314436 1229238 | 2147483647 38219 23 | 0.697 % |
15.92/15.91 c | 38935 | 41148 314436 1229238 | 2147483647 38476 23 | 0.697 % |
15.92/15.97 c | 39217 | 41143 314436 1229238 | 2147483647 38757 23 | 0.710 % |
16.02/16.06 c | 39527 | 41143 314436 1229238 | 2147483647 39067 23 | 0.710 % |
16.12/16.14 c | 39867 | 41143 314436 1229238 | 2147483647 39407 23 | 0.710 % |
16.22/16.22 c | 40240 | 41143 314436 1229238 | 2147483647 39780 23 | 0.710 % |
16.22/16.28 c | 40650 | 41143 314436 1229238 | 2147483647 40190 23 | 0.710 % |
16.32/16.37 c | 41099 | 41143 314436 1229238 | 2147483647 40639 23 | 0.710 % |
16.42/16.49 c | 41592 | 41143 314436 1229238 | 2147483647 41132 23 | 0.710 % |
16.62/16.68 c | 42135 | 41143 314436 1229238 | 2147483647 41675 24 | 0.710 % |
16.72/16.79 c | 42732 | 41138 314436 1229238 | 2147483647 42271 24 | 0.722 % |
16.82/16.84 c | 42833 | 41138 314320 1228890 | 2147483647 42367 24 | 0.722 % |
16.92/16.94 c | 42943 | 41138 314320 1228890 | 2147483647 42477 24 | 0.722 % |
16.92/16.99 c | 43064 | 41138 314320 1228890 | 2147483647 42598 24 | 0.722 % |
16.92/17.00 c | 43198 | 41138 314320 1228890 | 2147483647 42732 24 | 0.722 % |
17.02/17.07 c | 43349 | 41138 314320 1228890 | 2147483647 42883 24 | 0.722 % |
17.22/17.21 c | 43509 | 41138 314320 1228890 | 2147483647 43043 24 | 0.722 % |
17.22/17.25 c | 43686 | 41138 314320 1228890 | 2147483647 43220 24 | 0.722 % |
17.32/17.33 c | 43879 | 41121 314320 1228890 | 2147483647 43410 24 | 0.787 % |
17.32/17.38 c | 44092 | 41120 314320 1228890 | 2147483647 43622 24 | 0.789 % |
17.42/17.44 c | 44326 | 41120 314320 1228890 | 2147483647 43856 24 | 0.789 % |
17.42/17.50 c | 44582 | 41120 314320 1228890 | 2147483647 44112 24 | 0.789 % |
17.52/17.55 c | 44863 | 41120 314320 1228890 | 2147483647 44393 24 | 0.789 % |
17.62/17.61 c | 45172 | 41120 314320 1228890 | 2147483647 44702 24 | 0.789 % |
17.72/17.75 c | 45512 | 41120 314320 1228890 | 2147483647 45042 25 | 0.789 % |
17.82/17.83 c | 45887 | 41119 314320 1228890 | 2147483647 45416 24 | 0.792 % |
17.92/17.97 c | 46296 | 41119 314320 1228890 | 2147483647 45825 25 | 0.792 % |
18.02/18.04 c | 46747 | 41119 314320 1228890 | 2147483647 46276 25 | 0.792 % |
18.12/18.15 c | 47241 | 41119 314320 1228890 | 2147483647 46770 25 | 0.792 % |
18.12/18.20 c | 47783 | 41119 314320 1228890 | 2147483647 47312 25 | 0.792 % |
18.42/18.45 c | 48379 | 41119 314320 1228890 | 2147483647 47908 25 | 0.792 % |
18.62/18.64 c | 49034 | 41119 314320 1228890 | 2147483647 48563 25 | 0.792 % |
18.62/18.69 c | 49134 | 41119 314320 1228890 | 2147483647 48663 25 | 0.792 % |
18.62/18.70 c | 49246 | 41119 314320 1228890 | 2147483647 48775 25 | 0.792 % |
18.72/18.75 c | 49367 | 41119 314320 1228890 | 2147483647 48896 25 | 0.792 % |
18.82/18.82 c | 49500 | 41119 314320 1228890 | 2147483647 49029 25 | 0.792 % |
18.92/18.91 c | 49646 | 41109 313516 1225916 | 2147483647 49170 25 | 0.792 % |
18.92/18.92 c | 49806 | 41109 313516 1225916 | 2147483647 49330 25 | 0.792 % |
18.92/18.98 c | 49982 | 41109 313516 1225916 | 2147483647 49506 25 | 0.792 % |
19.02/19.04 c | 50176 | 41109 313516 1225916 | 2147483647 49700 25 | 0.792 % |
19.02/19.10 c | 50389 | 41109 313516 1225916 | 2147483647 49913 25 | 0.792 % |
19.12/19.12 c | 50623 | 41109 313516 1225916 | 2147483647 50147 25 | 0.792 % |
19.12/19.15 c | 50883 | 41109 313516 1225916 | 2147483647 50407 25 | 0.792 % |
19.22/19.22 c | 51165 | 41109 313516 1225916 | 2147483647 50689 25 | 0.792 % |
19.32/19.35 c | 51474 | 41109 313516 1225916 | 2147483647 50998 25 | 0.792 % |
19.32/19.40 c | 51814 | 41109 313516 1225916 | 2147483647 51338 25 | 0.792 % |
19.42/19.49 c | 52186 | 41109 313516 1225916 | 2147483647 51710 25 | 0.792 % |
19.52/19.59 c | 52596 | 41109 313516 1225916 | 2147483647 52120 25 | 0.792 % |
19.72/19.75 c | 53046 | 41109 313516 1225916 | 2147483647 52570 25 | 0.792 % |
19.92/19.93 c | 53540 | 41109 313516 1225916 | 2147483647 53064 25 | 0.792 % |
20.02/20.06 c | 54082 | 41109 313516 1225916 | 2147483647 53606 25 | 0.792 % |
20.22/20.22 c | 54680 | 41109 313516 1225916 | 2147483647 54204 25 | 0.792 % |
20.32/20.31 c | 55335 | 41109 313516 1225916 | 2147483647 54859 25 | 0.792 % |
20.42/20.45 c | 56055 | 41109 313516 1225916 | 2147483647 55579 25 | 0.792 % |
20.42/20.50 c | 56155 | 41109 313516 1225916 | 2147483647 55679 25 | 0.792 % |
20.52/20.53 c | 56265 | 41109 313516 1225916 | 2147483647 55789 25 | 0.792 % |
20.52/20.55 c | 56386 | 41109 313516 1225916 | 2147483647 55910 25 | 0.792 % |
20.52/20.59 c | 56519 | 41109 313516 1225916 | 2147483647 56043 25 | 0.792 % |
20.52/20.61 c | 56665 | 41109 313516 1225916 | 2147483647 56189 25 | 0.792 % |
20.62/20.65 c | 56827 | 41109 313516 1225916 | 2147483647 56351 25 | 0.792 % |
20.62/20.71 c | 57004 | 41109 313516 1225916 | 2147483647 56528 25 | 0.792 % |
20.72/20.76 c | 57198 | 41109 313516 1225916 | 2147483647 56722 25 | 0.792 % |
20.82/20.81 c | 57412 | 41109 313516 1225916 | 2147483647 56936 25 | 0.792 % |
20.82/20.89 c | 57645 | 41109 313516 1225916 | 2147483647 57169 25 | 0.792 % |
20.92/20.94 c | 57902 | 41109 313516 1225916 | 2147483647 57426 25 | 0.792 % |
21.02/21.02 c | 58183 | 41109 313516 1225916 | 2147483647 57707 25 | 0.792 % |
21.02/21.09 c | 58492 | 41109 313516 1225916 | 2147483647 58016 25 | 0.792 % |
21.22/21.22 c | 58831 | 41109 313516 1225916 | 2147483647 58355 25 | 0.792 % |
21.32/21.34 c | 59204 | 41109 313516 1225916 | 2147483647 58728 25 | 0.792 % |
21.42/21.50 c | 59613 | 41109 313516 1225916 | 2147483647 59137 25 | 0.792 % |
21.52/21.57 c | 60062 | 41109 313516 1225916 | 2147483647 59586 25 | 0.792 % |
21.72/21.76 c | 60557 | 41109 313516 1225916 | 2147483647 60081 25 | 0.792 % |
21.82/21.86 c | 61099 | 41109 313516 1225916 | 2147483647 60623 25 | 0.792 % |
21.92/21.95 c | 61696 | 41109 313516 1225916 | 2147483647 61220 25 | 0.792 % |
22.12/22.13 c | 62351 | 41070 312278 1221260 | 2147483647 61864 25 | 0.886 % |
22.22/22.26 c | 63071 | 41070 312278 1221260 | 2147483647 62584 25 | 0.886 % |
22.32/22.32 c | 63863 | 41070 312278 1221260 | 2147483647 63376 25 | 0.886 % |
22.32/22.37 c | 63964 | 41070 312278 1221260 | 2147483647 63477 25 | 0.886 % |
22.32/22.41 c | 64074 | 41070 312278 1221260 | 2147483647 63587 25 | 0.886 % |
22.42/22.46 c | 64195 | 41070 312278 1221260 | 2147483647 63708 25 | 0.886 % |
22.42/22.51 c | 64329 | 41070 312278 1221260 | 2147483647 63842 25 | 0.886 % |
22.52/22.57 c | 64475 | 41069 312278 1221260 | 2147483647 63987 25 | 0.888 % |
22.62/22.64 c | 64636 | 41069 312278 1221260 | 2147483647 64148 25 | 0.888 % |
22.62/22.71 c | 64814 | 41069 312278 1221260 | 2147483647 64326 25 | 0.888 % |
22.72/22.74 c | 65008 | 41069 312278 1221260 | 2147483647 64520 25 | 0.888 % |
22.72/22.78 c | 65221 | 41068 312278 1221260 | 2147483647 64732 25 | 0.932 % |
22.82/22.85 c | 65455 | 41068 312278 1221260 | 2147483647 64966 25 | 0.932 % |
23.02/23.05 c | 65711 | 41068 312278 1221260 | 2147483647 65222 25 | 0.932 % |
23.12/23.13 c | 65992 | 41068 312278 1221260 | 2147483647 65503 25 | 0.932 % |
23.22/23.29 c | 66302 | 41068 312278 1221260 | 2147483647 65813 25 | 0.932 % |
23.32/23.35 c | 66643 | 41068 312278 1221260 | 2147483647 66154 25 | 0.932 % |
23.42/23.43 c | 67015 | 41068 312278 1221260 | 2147483647 66526 25 | 0.932 % |
23.52/23.55 c | 67424 | 41068 312278 1221260 | 2147483647 66935 25 | 0.932 % |
23.62/23.65 c | 67877 | 41066 312278 1221260 | 2147483647 67388 25 | 0.932 % |
23.82/23.89 c | 68370 | 41066 312278 1221260 | 2147483647 67881 25 | 0.932 % |
23.92/23.98 c | 68912 | 41066 312278 1221260 | 2147483647 68423 25 | 0.932 % |
24.12/24.12 c | 69509 | 41066 312278 1221260 | 2147483647 69020 25 | 0.932 % |
24.22/24.23 c | 70166 | 41066 312278 1221260 | 2147483647 69677 25 | 0.932 % |
24.62/24.70 c | 70887 | 41066 312278 1221260 | 2147483647 70398 26 | 0.932 % |
24.82/24.84 c | 71679 | 41066 312278 1221260 | 2147483647 71190 26 | 0.932 % |
25.12/25.16 c | 72551 | 41051 311968 1220153 | 2147483647 72061 26 | 0.932 % |
25.12/25.20 c | 72652 | 41051 311968 1220153 | 2147483647 72162 26 | 0.932 % |
25.22/25.25 c | 72763 | 41051 311968 1220153 | 2147483647 72273 26 | 0.932 % |
25.22/25.31 c | 72884 | 41051 311968 1220153 | 2147483647 72394 26 | 0.932 % |
25.33/25.36 c | 73017 | 41051 311968 1220153 | 2147483647 72527 26 | 0.932 % |
25.42/25.42 c | 73163 | 41051 311968 1220153 | 2147483647 72673 26 | 0.932 % |
25.42/25.44 c | 73323 | 41051 311968 1220153 | 2147483647 72833 26 | 0.932 % |
25.42/25.46 c | 73503 | 41051 311968 1220153 | 2147483647 73013 26 | 0.932 % |
25.52/25.53 c | 73697 | 41051 311968 1220153 | 2147483647 73207 26 | 0.932 % |
25.52/25.55 c | 73909 | 41051 311968 1220153 | 2147483647 73419 26 | 0.932 % |
25.62/25.62 c | 74142 | 41051 311968 1220153 | 2147483647 73652 26 | 0.932 % |
25.62/25.69 c | 74400 | 41051 311968 1220153 | 2147483647 73910 26 | 0.932 % |
25.72/25.81 c | 74684 | 41051 311968 1220153 | 2147483647 74194 26 | 0.932 % |
25.92/25.91 c | 74995 | 41051 311968 1220153 | 2147483647 74505 26 | 0.932 % |
26.02/26.03 c | 75335 | 41051 311968 1220153 | 2147483647 74845 26 | 0.932 % |
26.12/26.15 c | 75707 | 41046 311968 1220153 | 2147483647 75216 26 | 1.038 % |
26.22/26.28 c | 76118 | 41046 311968 1220153 | 2147483647 75627 26 | 1.038 % |
26.32/26.39 c | 76567 | 41046 311968 1220153 | 2147483647 76076 26 | 1.038 % |
26.43/26.50 c | 77061 | 41046 311968 1220153 | 2147483647 76570 26 | 1.038 % |
26.72/26.73 c | 77603 | 41045 311968 1220153 | 2147483647 77111 26 | 1.040 % |
26.92/26.93 c | 78199 | 41044 311968 1220153 | 2147483647 77707 26 | 1.040 % |
27.02/27.11 c | 78856 | 41044 311968 1220153 | 2147483647 78364 26 | 1.040 % |
27.22/27.23 c | 79577 | 41044 311968 1220153 | 2147483647 79085 26 | 1.040 % |
27.72/27.73 c | 80370 | 41033 311968 1220153 | 2147483647 79878 26 | 1.040 % |
28.02/28.08 c | 81241 | 41032 311968 1220153 | 2147483647 80748 26 | 1.043 % |
28.22/28.30 c | 82200 | 41005 311003 1216612 | 2147483647 81700 26 | 1.043 % |
28.32/28.34 c | 82301 | 41005 311003 1216612 | 2147483647 81801 26 | 1.043 % |
28.32/28.36 c | 82412 | 41005 311003 1216612 | 2147483647 81912 26 | 1.043 % |
28.32/28.37 c | 82534 | 41005 311003 1216612 | 2147483647 82034 26 | 1.043 % |
28.42/28.46 c | 82667 | 41005 311003 1216612 | 2147483647 82167 26 | 1.043 % |
28.42/28.50 c | 82813 | 41005 311003 1216612 | 2147483647 82313 26 | 1.043 % |
28.52/28.58 c | 82973 | 41005 311003 1216612 | 2147483647 82473 26 | 1.043 % |
28.63/28.64 c | 83150 | 41005 311003 1216612 | 2147483647 82650 26 | 1.043 % |
28.72/28.72 c | 83344 | 41005 311003 1216612 | 2147483647 82844 26 | 1.043 % |
28.82/28.87 c | 83557 | 41005 311003 1216612 | 2147483647 83057 26 | 1.043 % |
28.92/28.98 c | 83790 | 41005 311003 1216612 | 2147483647 83290 26 | 1.043 % |
29.02/29.06 c | 84047 | 41005 311003 1216612 | 2147483647 83547 26 | 1.043 % |
29.12/29.16 c | 84328 | 41005 311003 1216612 | 2147483647 83828 26 | 1.043 % |
29.22/29.24 c | 84638 | 41005 311003 1216612 | 2147483647 84138 26 | 1.043 % |
29.42/29.41 c | 84980 | 41005 311003 1216612 | 2147483647 84480 26 | 1.043 % |
29.42/29.51 c | 85352 | 41005 311003 1216612 | 2147483647 84852 26 | 1.043 % |
29.52/29.58 c | 85761 | 41005 311003 1216612 | 2147483647 85261 26 | 1.043 % |
29.82/29.86 c | 86210 | 41005 311003 1216612 | 2147483647 85710 26 | 1.043 % |
29.92/29.91 c | 86703 | 41005 311003 1216612 | 2147483647 86203 26 | 1.043 % |
30.22/30.23 c | 87245 | 41005 311003 1216612 | 2147483647 86745 26 | 1.043 % |
30.32/30.35 c | 87843 | 41005 311003 1216612 | 2147483647 87343 26 | 1.043 % |
30.62/30.69 c | 88499 | 41005 311003 1216612 | 2147483647 87999 26 | 1.043 % |
30.83/30.85 c | 89221 | 41005 311003 1216612 | 2147483647 88721 26 | 1.043 % |
31.02/31.04 c | 90015 | 41005 311003 1216612 | 2147483647 89515 26 | 1.043 % |
31.32/31.35 c | 90886 | 41005 311003 1216612 | 2147483647 90386 25 | 1.043 % |
31.62/31.68 c | 91844 | 41005 311003 1216612 | 2147483647 91344 26 | 1.043 % |
32.02/32.07 c | 92899 | 40986 310751 1215757 | 2147483647 92397 26 | 1.105 % |
32.02/32.10 c | 92999 | 40986 310751 1215757 | 2147483647 92497 26 | 1.105 % |
32.12/32.14 c | 93109 | 40986 310751 1215757 | 2147483647 92607 26 | 1.105 % |
32.12/32.20 c | 93231 | 40986 310751 1215757 | 2147483647 92729 26 | 1.105 % |
32.22/32.24 c | 93364 | 40986 310751 1215757 | 2147483647 92862 26 | 1.105 % |
32.22/32.30 c | 93511 | 40986 310751 1215757 | 2147483647 93009 26 | 1.105 % |
32.32/32.40 c | 93671 | 40986 310751 1215757 | 2147483647 93169 26 | 1.105 % |
32.42/32.44 c | 93849 | 40985 310751 1215757 | 2147483647 93346 26 | 1.108 % |
32.42/32.51 c | 94042 | 40985 310751 1215757 | 2147483647 93539 26 | 1.108 % |
32.62/32.62 c | 94254 | 40985 310751 1215757 | 2147483647 93751 26 | 1.108 % |
32.62/32.68 c | 94488 | 40985 310751 1215757 | 2147483647 93985 25 | 1.108 % |
32.72/32.77 c | 94745 | 40985 310751 1215757 | 2147483647 94242 26 | 1.108 % |
32.82/32.88 c | 95026 | 40985 310751 1215757 | 2147483647 94523 25 | 1.108 % |
33.03/33.03 c | 95336 | 40985 310751 1215757 | 2147483647 94833 25 | 1.108 % |
33.12/33.12 c | 95676 | 40985 310751 1215757 | 2147483647 95173 25 | 1.108 % |
33.22/33.25 c | 96049 | 40985 310751 1215757 | 2147483647 95546 25 | 1.108 % |
33.32/33.38 c | 96458 | 40979 310751 1215757 | 2147483647 95954 26 | 1.122 % |
33.52/33.57 c | 96908 | 40979 310751 1215757 | 2147483647 96404 26 | 1.122 % |
33.62/33.68 c | 97401 | 40979 310751 1215757 | 2147483647 96897 26 | 1.122 % |
33.82/33.90 c | 97943 | 40979 310751 1215757 | 2147483647 97439 26 | 1.122 % |
34.02/34.10 c | 98539 | 40979 310751 1215757 | 2147483647 98035 26 | 1.122 % |
34.32/34.32 c | 99196 | 40979 310751 1215757 | 2147483647 98692 26 | 1.122 % |
34.52/34.61 c | 99916 | 40979 310751 1215757 | 2147483647 99412 26 | 1.122 % |
34.82/34.87 c | 100710 | 40977 310751 1215757 | 2147483647 100205 26 | 1.132 % |
35.23/35.27 c | 101581 | 40976 310751 1215757 | 2147483647 101076 26 | 1.132 % |
35.42/35.49 c | 102540 | 40976 310751 1215757 | 2147483647 102035 26 | 1.132 % |
35.82/35.84 c | 103594 | 40975 310751 1215757 | 2147483647 103089 26 | 1.132 % |
36.02/36.11 c | 104753 | 40941 310751 1215757 | 2147483647 104247 26 | 1.356 % |
36.12/36.17 c | 104853 | 40941 310751 1215757 | 2147483647 104347 26 | 1.356 % |
36.22/36.22 c | 104964 | 40941 310751 1215757 | 2147483647 104458 26 | 1.356 % |
36.22/36.27 c | 105085 | 40941 310751 1215757 | 2147483647 104579 26 | 1.356 % |
36.33/36.39 c | 105219 | 40875 308189 1206631 | 2147483647 104670 26 | 1.356 % |
36.42/36.46 c | 105365 | 40875 308189 1206631 | 2147483647 104816 26 | 1.356 % |
36.52/36.55 c | 105525 | 40875 308189 1206631 | 2147483647 104976 26 | 1.356 % |
36.62/36.61 c | 105701 | 40875 308189 1206631 | 2147483647 105152 26 | 1.356 % |
36.62/36.67 c | 105894 | 40875 308189 1206631 | 2147483647 105345 26 | 1.356 % |
36.72/36.76 c | 106106 | 40875 308189 1206631 | 2147483647 105557 26 | 1.356 % |
36.82/36.85 c | 106340 | 40875 308189 1206631 | 2147483647 105791 26 | 1.356 % |
36.92/36.97 c | 106596 | 40875 308189 1206631 | 2147483647 106047 26 | 1.356 % |
37.02/37.05 c | 106878 | 40875 308189 1206631 | 2147483647 106329 26 | 1.356 % |
37.02/37.09 c | 107188 | 40875 308189 1206631 | 2147483647 106639 26 | 1.356 % |
37.22/37.26 c | 107527 | 40875 308189 1206631 | 2147483647 106978 26 | 1.356 % |
37.32/37.37 c | 107900 | 40875 308189 1206631 | 2147483647 107351 26 | 1.356 % |
37.43/37.48 c | 108309 | 40875 308189 1206631 | 2147483647 107760 26 | 1.356 % |
37.62/37.70 c | 108758 | 40875 308189 1206631 | 2147483647 108209 26 | 1.356 % |
37.92/37.91 c | 109251 | 40875 308189 1206631 | 2147483647 108702 26 | 1.356 % |
38.12/38.13 c | 109793 | 40875 308189 1206631 | 2147483647 109244 26 | 1.356 % |
38.42/38.42 c | 110390 | 40875 308189 1206631 | 2147483647 109841 26 | 1.356 % |
38.62/38.66 c | 111045 | 40875 308189 1206631 | 2147483647 110496 25 | 1.356 % |
38.82/38.83 c | 111765 | 40875 308189 1206631 | 2147483647 111216 26 | 1.356 % |
39.12/39.18 c | 112557 | 40875 308189 1206631 | 2147483647 112008 25 | 1.356 % |
39.42/39.49 c | 113428 | 40875 308189 1206631 | 2147483647 112879 25 | 1.356 % |
39.72/39.79 c | 114387 | 40875 308189 1206631 | 2147483647 113838 25 | 1.356 % |
40.22/40.27 c | 115441 | 40875 308189 1206631 | 2147483647 114892 25 | 1.356 % |
40.82/40.82 c | 116599 | 40875 308189 1206631 | 2147483647 116050 25 | 1.356 % |
41.02/41.09 c | 117872 | 40875 308189 1206631 | 2147483647 117323 25 | 1.356 % |
41.12/41.16 c | 117972 | 40875 308189 1206631 | 2147483647 117423 25 | 1.356 % |
41.12/41.21 c | 118083 | 40875 308189 1206631 | 2147483647 117534 25 | 1.356 % |
41.22/41.27 c | 118204 | 40875 308189 1206631 | 2147483647 117655 25 | 1.356 % |
41.32/41.31 c | 118338 | 40875 308189 1206631 | 2147483647 117789 25 | 1.356 % |
41.42/41.41 c | 118485 | 40875 308189 1206631 | 2147483647 117936 25 | 1.356 % |
41.42/41.45 c | 118646 | 40875 308189 1206631 | 2147483647 118097 25 | 1.356 % |
41.52/41.56 c | 118823 | 40875 308189 1206631 | 2147483647 118274 25 | 1.356 % |
41.62/41.63 c | 119017 | 40875 308189 1206631 | 2147483647 118468 25 | 1.356 % |
41.72/41.72 c | 119230 | 40875 308189 1206631 | 2147483647 118681 25 | 1.356 % |
41.83/41.84 c | 119464 | 40875 308189 1206631 | 2147483647 118915 25 | 1.356 % |
41.92/41.93 c | 119720 | 40875 308189 1206631 | 2147483647 119171 25 | 1.356 % |
42.02/42.08 c | 120002 | 40875 308189 1206631 | 2147483647 119453 25 | 1.356 % |
42.12/42.12 c | 120312 | 40875 308189 1206631 | 2147483647 119763 25 | 1.356 % |
42.42/42.47 c | 120653 | 40874 308138 1206484 | 2147483647 120102 25 | 1.359 % |
42.62/42.63 c | 121027 | 40874 308138 1206484 | 2147483647 120476 25 | 1.359 % |
42.72/42.77 c | 121436 | 40874 308138 1206484 | 2147483647 120885 25 | 1.359 % |
42.93/42.97 c | 121885 | 40874 308138 1206484 | 2147483647 121334 25 | 1.359 % |
43.12/43.13 c | 122378 | 40874 308138 1206484 | 2147483647 121827 25 | 1.359 % |
43.42/43.49 c | 122921 | 40874 308138 1206484 | 2147483647 122370 25 | 1.359 % |
43.62/43.66 c | 123517 | 40873 308138 1206484 | 2147483647 122965 25 | 1.361 % |
43.92/43.98 c | 124173 | 40873 308138 1206484 | 2147483647 123621 25 | 1.361 % |
44.32/44.34 c | 124894 | 40873 308138 1206484 | 2147483647 124342 25 | 1.361 % |
44.62/44.61 c | 125686 | 40873 308138 1206484 | 2147483647 125134 25 | 1.361 % |
44.62/44.64 c | 126560 | 40873 308138 1206484 | 2147483647 126008 25 | 1.361 % |
45.02/45.06 c | 127519 | 40873 308138 1206484 | 2147483647 126967 25 | 1.361 % |
45.32/45.40 c | 128573 | 40873 308138 1206484 | 2147483647 128021 25 | 1.361 % |
45.62/45.69 c | 129736 | 40873 308138 1206484 | 2147483647 129184 25 | 1.361 % |
46.02/46.04 c | 131009 | 40873 308138 1206484 | 2147483647 130457 25 | 1.361 % |
46.42/46.42 c | 132411 | 40873 308138 1206484 | 2147483647 131859 25 | 1.361 % |
46.42/46.49 c | 132511 | 40873 308138 1206484 | 2147483647 131959 25 | 1.361 % |
46.52/46.55 c | 132621 | 40873 308138 1206484 | 2147483647 132069 25 | 1.361 % |
46.52/46.59 c | 132743 | 40873 308138 1206484 | 2147483647 132191 25 | 1.361 % |
46.62/46.69 c | 132876 | 40873 308138 1206484 | 2147483647 132324 25 | 1.361 % |
46.72/46.75 c | 133022 | 40873 308138 1206484 | 2147483647 132470 25 | 1.361 % |
46.82/46.81 c | 133182 | 40873 308138 1206484 | 2147483647 132630 25 | 1.361 % |
46.82/46.89 c | 133358 | 40873 308138 1206484 | 2147483647 132806 25 | 1.361 % |
47.02/47.01 c | 133551 | 40873 308138 1206484 | 2147483647 132999 25 | 1.361 % |
47.02/47.09 c | 133763 | 40873 308138 1206484 | 2147483647 133211 25 | 1.361 % |
47.22/47.22 c | 133996 | 40873 308138 1206484 | 2147483647 133443 25 | 1.366 % |
47.22/47.30 c | 134252 | 40873 308138 1206484 | 2147483647 133699 25 | 1.366 % |
47.33/47.35 c | 134535 | 40873 308138 1206484 | 2147483647 133982 25 | 1.366 % |
47.62/47.63 c | 134844 | 40871 308138 1206484 | 2147483647 134291 25 | 1.366 % |
47.92/47.98 c | 135183 | 40871 308138 1206484 | 2147483647 134630 25 | 1.366 % |
48.22/48.26 c | 135556 | 40871 308138 1206484 | 2147483647 135003 25 | 1.366 % |
48.52/48.57 c | 135966 | 40871 308088 1206326 | 2147483647 135400 25 | 1.366 % |
48.72/48.74 c | 136415 | 40871 308088 1206326 | 2147483647 135849 26 | 1.366 % |
48.82/48.89 c | 136908 | 40871 308088 1206326 | 2147483647 136342 26 | 1.366 % |
49.12/49.11 c | 137450 | 40871 308088 1206326 | 2147483647 136884 25 | 1.366 % |
49.22/49.27 c | 138046 | 40871 308088 1206326 | 2147483647 137480 26 | 1.366 % |
49.42/49.46 c | 138703 | 40871 308088 1206326 | 2147483647 138137 25 | 1.366 % |
49.62/49.62 c | 139424 | 40871 308088 1206326 | 2147483647 138858 25 | 1.366 % |
50.12/50.16 c | 140216 | 40871 308088 1206326 | 2147483647 139650 25 | 1.366 % |
50.22/50.28 c | 141089 | 40871 308088 1206326 | 2147483647 140523 25 | 1.366 % |
50.32/50.33 c | 142048 | 40871 308088 1206326 | 2147483647 141482 25 | 1.366 % |
50.63/50.69 c | 143102 | 40866 308088 1206326 | 2147483647 142531 25 | 1.378 % |
50.72/50.73 c | 144264 | 40866 308088 1206326 | 2147483647 143693 25 | 1.378 % |
50.92/50.93 c | 145541 | 40866 308088 1206326 | 2147483647 144970 25 | 1.378 % |
51.32/51.38 c | 146941 | 40865 308088 1206326 | 2147483647 146369 25 | 1.388 % |
51.82/51.89 c | 148481 | 40865 308088 1206326 | 2147483647 147909 25 | 1.388 % |
51.92/51.92 c | 148581 | 40865 308088 1206326 | 2147483647 148009 25 | 1.388 % |
52.02/52.01 c | 148693 | 40865 308088 1206326 | 2147483647 148121 25 | 1.388 % |
52.02/52.06 c | 148814 | 40865 308088 1206326 | 2147483647 148242 25 | 1.388 % |
52.12/52.12 c | 148951 | 40865 308088 1206326 | 2147483647 148379 25 | 1.388 % |
52.12/52.18 c | 149097 | 40865 308088 1206326 | 2147483647 148525 25 | 1.388 % |
52.22/52.30 c | 149258 | 40858 308088 1206326 | 2147483647 148685 25 | 1.438 % |
52.32/52.37 c | 149435 | 40858 308088 1206326 | 2147483647 148862 25 | 1.438 % |
52.62/52.63 c | 149628 | 40850 308088 1206326 | 2147483647 149055 25 | 1.438 % |
52.62/52.68 c | 149840 | 40850 308088 1206326 | 2147483647 149267 25 | 1.438 % |
52.83/52.82 c | 150074 | 40850 308088 1206326 | 2147483647 149501 25 | 1.438 % |
52.92/52.99 c | 150330 | 40849 308088 1206326 | 2147483647 149756 25 | 1.441 % |
53.12/53.14 c | 150611 | 40849 308088 1206326 | 2147483647 150037 25 | 1.441 % |
53.22/53.24 c | 150920 | 40849 308088 1206326 | 2147483647 150346 25 | 1.441 % |
53.32/53.41 c | 151259 | 40848 308088 1206326 | 2147483647 150684 25 | 1.443 % |
53.52/53.54 c | 151631 | 40848 308088 1206326 | 2147483647 151056 25 | 1.443 % |
53.72/53.78 c | 152041 | 40848 308088 1206326 | 2147483647 151466 25 | 1.443 % |
53.93/53.94 c | 152490 | 40834 308088 1206326 | 2147483647 151914 25 | 2.155 % |
54.12/54.13 c | 152986 | 40790 308088 1206326 | 2147483647 152410 25 | 2.155 % |
54.32/54.32 c | 153528 | 40790 308088 1206326 | 2147483647 152952 25 | 2.155 % |
54.52/54.58 c | 154125 | 40790 308088 1206326 | 2147483647 153549 25 | 2.155 % |
54.82/54.90 c | 154782 | 40541 301521 1180250 | 2147483647 124618 20 | 2.162 % |
54.92/55.02 c | 155502 | 40541 301521 1180250 | 2147483647 125338 20 | 2.162 % |
55.32/55.40 c | 156294 | 40538 301521 1180250 | 2147483647 126129 20 | 2.170 % |
55.52/55.56 c | 157165 | 40538 301521 1180250 | 2147483647 127000 20 | 2.170 % |
56.02/56.01 c | 158125 | 40538 301521 1180250 | 2147483647 127960 20 | 2.170 % |
56.22/56.30 c | 159179 | 40538 301521 1180250 | 2147483647 129014 20 | 2.170 % |
56.52/56.58 c | 160339 | 40537 301521 1180250 | 2147483647 130173 20 | 2.172 % |
56.82/56.82 c | 161612 | 40537 301521 1180250 | 2147483647 131446 20 | 2.172 % |
56.92/56.95 c | 163012 | 40537 301521 1180250 | 2147483647 132846 20 | 2.172 % |
57.32/57.40 c | 164552 | 40537 301521 1180250 | 2147483647 134386 20 | 2.172 % |
57.82/57.88 c | 166247 | 40536 301521 1180250 | 2147483647 136080 20 | 2.174 % |
57.82/57.89 c | 166347 | 40536 301521 1180250 | 2147483647 136180 20 | 2.174 % |
57.92/57.92 c | 166457 | 40536 301521 1180250 | 2147483647 136290 20 | 2.174 % |
57.92/57.97 c | 166579 | 40536 301521 1180250 | 2147483647 136412 20 | 2.174 % |
58.02/58.03 c | 166713 | 40536 301521 1180250 | 2147483647 136546 20 | 2.174 % |
58.02/58.06 c | 166859 | 40536 301521 1180250 | 2147483647 136692 20 | 2.174 % |
58.12/58.18 c | 167020 | 40536 301521 1180250 | 2147483647 136853 20 | 2.174 % |
58.22/58.26 c | 167198 | 40536 301521 1180250 | 2147483647 137031 20 | 2.174 % |
58.33/58.33 c | 167392 | 40536 301521 1180250 | 2147483647 137225 20 | 2.174 % |
58.33/58.41 c | 167604 | 40536 301521 1180250 | 2147483647 137437 20 | 2.174 % |
58.42/58.48 c | 167837 | 40536 301521 1180250 | 2147483647 137670 20 | 2.174 % |
58.62/58.63 c | 168093 | 40536 301521 1180250 | 2147483647 137926 20 | 2.174 % |
58.72/58.73 c | 168376 | 40536 301521 1180250 | 2147483647 138209 20 | 2.174 % |
58.82/58.83 c | 168686 | 40536 301374 1179672 | 2147483647 135931 20 | 2.174 % |
59.02/59.03 c | 169028 | 40536 301374 1179672 | 2147483647 136273 20 | 2.174 % |
59.12/59.16 c | 169400 | 40536 301374 1179672 | 2147483647 136645 20 | 2.174 % |
59.32/59.36 c | 169809 | 40536 301374 1179672 | 2147483647 137054 20 | 2.174 % |
59.62/59.66 c | 170258 | 40536 301374 1179672 | 2147483647 137503 20 | 2.174 % |
59.72/59.76 c | 170752 | 40536 301374 1179672 | 2147483647 137997 20 | 2.174 % |
60.02/60.08 c | 171295 | 40536 301374 1179672 | 2147483647 138540 20 | 2.174 % |
60.22/60.23 c | 171893 | 40536 301374 1179672 | 2147483647 139138 20 | 2.174 % |
60.53/60.54 c | 172549 | 40536 301374 1179672 | 2147483647 139794 20 | 2.174 % |
60.72/60.79 c | 173269 | 40536 301374 1179672 | 2147483647 140514 20 | 2.174 % |
61.02/61.04 c | 174063 | 40536 301374 1179672 | 2147483647 141308 20 | 2.174 % |
61.63/61.70 c | 174934 | 40536 301374 1179672 | 2147483647 142179 20 | 2.174 % |
62.12/62.15 c | 175893 | 40536 301374 1179672 | 2147483647 143138 20 | 2.174 % |
62.32/62.38 c | 176946 | 40536 301374 1179672 | 2147483647 144191 20 | 2.174 % |
62.52/62.51 c | 178105 | 40536 301374 1179672 | 2147483647 145350 20 | 2.174 % |
62.92/62.95 c | 179378 | 40536 301374 1179672 | 2147483647 146623 21 | 2.174 % |
63.32/63.40 c | 180779 | 40536 301374 1179672 | 2147483647 148024 21 | 2.174 % |
63.52/63.58 c | 182319 | 40536 301374 1179672 | 2147483647 149564 21 | 2.174 % |
64.12/64.15 c | 184013 | 40536 301374 1179672 | 2147483647 151258 21 | 2.174 % |
64.22/64.23 c | 185876 | 40536 301374 1179672 | 2147483647 153121 21 | 2.174 % |
64.22/64.28 c | 185976 | 40536 301374 1179672 | 2147483647 153221 21 | 2.174 % |
64.32/64.41 c | 186086 | 40535 301289 1179307 | 2147483647 152939 21 | 2.177 % |
64.42/64.51 c | 186210 | 40535 301289 1179307 | 2147483647 153063 21 | 2.177 % |
64.52/64.54 c | 186343 | 40535 301289 1179307 | 2147483647 153196 21 | 2.177 % |
64.62/64.61 c | 186489 | 40535 301289 1179307 | 2147483647 153342 21 | 2.177 % |
64.62/64.69 c | 186652 | 40535 301289 1179307 | 2147483647 153505 21 | 2.177 % |
64.82/64.84 c | 186828 | 40535 301289 1179307 | 2147483647 153681 21 | 2.177 % |
64.82/64.89 c | 187021 | 40525 301289 1179307 | 2147483647 153871 21 | 2.213 % |
65.02/65.02 c | 187233 | 40525 301289 1179307 | 2147483647 154083 21 | 2.213 % |
65.02/65.10 c | 187467 | 40525 301289 1179307 | 2147483647 154317 21 | 2.213 % |
65.22/65.24 c | 187723 | 40520 301289 1179307 | 2147483647 154573 21 | 2.213 % |
65.42/65.41 c | 188004 | 40520 301289 1179307 | 2147483647 154854 21 | 2.213 % |
65.52/65.53 c | 188315 | 40520 301289 1179307 | 2147483647 155165 21 | 2.213 % |
65.62/65.64 c | 188655 | 40520 301289 1179307 | 2147483647 155505 21 | 2.213 % |
65.82/65.90 c | 189028 | 40520 301289 1179307 | 2147483647 155878 21 | 2.213 % |
66.12/66.14 c | 189438 | 40513 301289 1179307 | 2147483647 156285 21 | 2.377 % |
66.22/66.21 c | 189890 | 40513 301289 1179307 | 2147483647 156737 21 | 2.377 % |
66.42/66.48 c | 190383 | 40512 301289 1179307 | 2147483647 157230 21 | 2.377 % |
66.72/66.73 c | 190925 | 40483 301289 1179307 | 2147483647 157769 21 | 2.536 % |
66.82/66.91 c | 191522 | 40483 301289 1179307 | 2147483647 158366 21 | 2.536 % |
66.92/67.01 c | 192177 | 40483 301289 1179307 | 2147483647 159021 21 | 2.536 % |
67.32/67.33 c | 192900 | 40452 301289 1179307 | 2147483647 159743 21 | 2.539 % |
67.42/67.45 c | 193694 | 40452 301289 1179307 | 2147483647 160537 21 | 2.539 % |
67.72/67.77 c | 194566 | 40452 301289 1179307 | 2147483647 161409 21 | 2.539 % |
68.23/68.22 c | 195524 | 40452 301289 1179307 | 2147483647 162367 21 | 2.539 % |
68.42/68.44 c | 196577 | 40452 301289 1179307 | 2147483647 163420 21 | 2.539 % |
68.72/68.80 c | 197741 | 40448 301289 1179307 | 2147483647 164581 21 | 2.548 % |
69.12/69.18 c | 199014 | 40448 301289 1179307 | 2147483647 165854 21 | 2.548 % |
69.72/69.78 c | 200415 | 40448 301289 1179307 | 2147483647 167255 21 | 2.548 % |
70.12/70.18 c | 201955 | 40381 299096 1170459 | 2147483647 165417 21 | 2.548 % |
70.62/70.70 c | 203649 | 40380 299096 1170459 | 2147483647 167110 21 | 2.553 % |
71.62/71.64 c | 205515 | 40379 299096 1170459 | 2147483647 168976 21 | 2.553 % |
72.02/72.08 c | 207568 | 40379 299096 1170459 | 2147483647 171029 21 | 2.553 % |
72.12/72.14 c | 207668 | 40378 299096 1170459 | 2147483647 171128 21 | 2.570 % |
72.12/72.19 c | 207779 | 40378 299096 1170459 | 2147483647 171239 21 | 2.570 % |
72.22/72.26 c | 207900 | 40378 299096 1170459 | 2147483647 171360 21 | 2.570 % |
72.32/72.40 c | 208034 | 40378 299096 1170459 | 2147483647 171494 21 | 2.570 % |
72.43/72.50 c | 208181 | 40378 299096 1170459 | 2147483647 171641 21 | 2.570 % |
72.53/72.57 c | 208341 | 40378 299096 1170459 | 2147483647 171801 21 | 2.570 % |
72.63/72.69 c | 208517 | 40376 299096 1170459 | 2147483647 171977 21 | 2.570 % |
72.83/72.82 c | 208710 | 40376 299096 1170459 | 2147483647 172170 21 | 2.570 % |
73.03/73.03 c | 208922 | 40376 299096 1170459 | 2147483647 172382 21 | 2.570 % |
73.13/73.15 c | 209157 | 40376 299096 1170459 | 2147483647 172617 21 | 2.570 % |
73.23/73.28 c | 209415 | 40376 299096 1170459 | 2147483647 172875 21 | 2.570 % |
73.33/73.41 c | 209697 | 40376 299096 1170459 | 2147483647 173157 21 | 2.570 % |
73.63/73.64 c | 210007 | 40370 299096 1170459 | 2147483647 173465 21 | 2.587 % |
73.73/73.79 c | 210347 | 40370 299096 1170459 | 2147483647 173805 21 | 2.587 % |
74.03/74.02 c | 210719 | 40370 299096 1170459 | 2147483647 174177 21 | 2.587 % |
74.23/74.29 c | 211129 | 40367 299096 1170459 | 2147483647 174587 21 | 2.587 % |
74.43/74.47 c | 211578 | 40367 299096 1170459 | 2147483647 175036 21 | 2.587 % |
74.63/74.69 c | 212071 | 40367 299096 1170459 | 2147483647 175529 21 | 2.587 % |
74.93/74.92 c | 212614 | 40367 299096 1170459 | 2147483647 176072 21 | 2.587 % |
75.33/75.38 c | 213210 | 40364 299096 1170459 | 2147483647 176667 21 | 2.594 % |
75.63/75.63 c | 213867 | 40364 299096 1170459 | 2147483647 177324 21 | 2.594 % |
76.03/76.12 c | 214587 | 40362 298869 1169399 | 2147483647 177490 21 | 2.594 % |
76.23/76.29 c | 215379 | 40362 298869 1169399 | 2147483647 178282 21 | 2.594 % |
76.63/76.66 c | 216251 | 40358 298869 1169399 | 2147483647 179153 21 | 2.606 % |
76.93/76.94 c | 217210 | 40358 298869 1169399 | 2147483647 180112 21 | 2.606 % |
77.23/77.25 c | 218263 | 40358 298869 1169399 | 2147483647 181165 21 | 2.606 % |
77.63/77.68 c | 219422 | 40358 298869 1169399 | 2147483647 182324 21 | 2.606 % |
77.93/78.00 c | 220696 | 40357 298869 1169399 | 2147483647 183597 21 | 2.609 % |
78.13/78.17 c | 222096 | 40357 298869 1169399 | 2147483647 184997 21 | 2.609 % |
78.33/78.33 c | 223636 | 40357 298869 1169399 | 2147483647 186537 21 | 2.609 % |
78.93/79.00 c | 225330 | 40357 298869 1169399 | 2147483647 188231 21 | 2.609 % |
79.93/79.94 c | 227193 | 40357 298869 1169399 | 2147483647 190094 21 | 2.609 % |
80.93/80.98 c | 229242 | 40357 298869 1169399 | 2147483647 192143 21 | 2.609 % |
81.73/81.78 c | 231495 | 40357 298869 1169399 | 2147483647 194396 22 | 2.609 % |
81.73/81.79 c | 231597 | 40357 298869 1169399 | 2147483647 194498 22 | 2.609 % |
81.83/81.89 c | 231708 | 40357 298869 1169399 | 2147483647 194609 22 | 2.609 % |
82.03/82.08 c | 231829 | 40356 298744 1168778 | 2147483647 194142 22 | 2.609 % |
82.13/82.19 c | 231962 | 40356 298744 1168778 | 2147483647 194275 22 | 2.609 % |
82.33/82.35 c | 232108 | 40356 298744 1168778 | 2147483647 194421 22 | 2.609 % |
82.43/82.47 c | 232268 | 40356 298744 1168778 | 2147483647 194581 22 | 2.609 % |
82.53/82.58 c | 232444 | 40356 298744 1168778 | 2147483647 194757 22 | 2.609 % |
82.73/82.76 c | 232637 | 40356 298744 1168778 | 2147483647 194950 22 | 2.609 % |
82.93/82.95 c | 232850 | 40356 298744 1168778 | 2147483647 195163 22 | 2.609 % |
83.03/83.07 c | 233084 | 40354 298744 1168778 | 2147483647 195395 21 | 2.614 % |
83.33/83.36 c | 233341 | 40354 298744 1168778 | 2147483647 195652 21 | 2.614 % |
83.53/83.52 c | 233623 | 40354 298744 1168778 | 2147483647 195934 21 | 2.614 % |
83.73/83.75 c | 233932 | 40354 298744 1168778 | 2147483647 196243 22 | 2.614 % |
83.83/83.83 c | 234271 | 40354 298744 1168778 | 2147483647 196582 22 | 2.614 % |
83.93/84.00 c | 234643 | 40351 298744 1168778 | 2147483647 196953 22 | 2.621 % |
84.03/84.10 c | 235055 | 40351 298744 1168778 | 2147483647 197365 22 | 2.621 % |
84.23/84.29 c | 235504 | 40348 298744 1168778 | 2147483647 197812 22 | 2.628 % |
84.63/84.71 c | 235999 | 40338 298744 1168778 | 2147483647 198306 22 | 2.754 % |
84.93/85.00 c | 236546 | 40338 298744 1168778 | 2147483647 198853 22 | 2.754 % |
85.13/85.18 c | 237143 | 40338 298744 1168778 | 2147483647 199450 22 | 2.754 % |
85.43/85.42 c | 237798 | 40338 298744 1168778 | 2147483647 200105 22 | 2.754 % |
85.82/85.84 c | 238518 | 40338 298744 1168778 | 2147483647 200825 22 | 2.754 % |
86.22/86.26 c | 239310 | 40338 298744 1168778 | 2147483647 201617 22 | 2.754 % |
86.72/86.72 c | 240181 | 40331 298744 1168778 | 2147483647 202488 22 | 2.754 % |
87.12/87.14 c | 241141 | 40331 298744 1168778 | 2147483647 203448 22 | 2.754 % |
87.52/87.56 c | 242194 | 40331 298744 1168778 | 2147483647 204501 22 | 2.754 % |
87.92/87.93 c | 243352 | 40331 298744 1168778 | 2147483647 205659 22 | 2.754 % |
88.72/88.80 c | 244626 | 40331 298744 1168778 | 2147483647 206933 22 | 2.754 % |
89.32/89.34 c | 246027 | 40331 298744 1168778 | 2147483647 208334 22 | 2.754 % |
89.72/89.76 c | 247569 | 40296 297477 1163906 | 2147483647 209085 22 | 2.754 % |
90.02/90.09 c | 249263 | 40273 297477 1163906 | 2147483647 210776 22 | 2.877 % |
90.32/90.33 c | 251126 | 40273 297477 1163906 | 2147483647 212639 22 | 2.877 % |
91.32/91.32 c | 253175 | 40273 297477 1163906 | 2147483647 214688 22 | 2.877 % |
91.72/91.76 c | 255428 | 40273 297477 1163906 | 2147483647 216941 22 | 2.877 % |
92.42/92.48 c | 257911 | 40273 297477 1163906 | 2147483647 219424 22 | 2.877 % |
92.52/92.60 c | 258011 | 40273 297477 1163906 | 2147483647 219524 22 | 2.877 % |
92.62/92.70 c | 258122 | 40273 297477 1163906 | 2147483647 219635 22 | 2.877 % |
92.72/92.74 c | 258250 | 40273 297477 1163906 | 2147483647 219763 22 | 2.877 % |
92.92/92.91 c | 258385 | 40273 297477 1163906 | 2147483647 219898 22 | 2.877 % |
93.02/93.03 c | 258531 | 40273 297477 1163906 | 2147483647 220044 22 | 2.877 % |
93.12/93.18 c | 258691 | 40273 297477 1163906 | 2147483647 220204 22 | 2.877 % |
93.22/93.22 c | 258868 | 40273 297477 1163906 | 2147483647 220381 22 | 2.877 % |
93.32/93.37 c | 259064 | 40273 297477 1163906 | 2147483647 220577 22 | 2.877 % |
93.52/93.54 c | 259277 | 40273 297477 1163906 | 2147483647 220790 22 | 2.877 % |
93.72/93.72 c | 259510 | 40273 297477 1163906 | 2147483647 221023 22 | 2.877 % |
93.82/93.86 c | 259767 | 40273 297477 1163906 | 2147483647 221280 22 | 2.877 % |
93.92/93.98 c | 260049 | 40273 297477 1163906 | 2147483647 221562 22 | 2.877 % |
94.02/94.08 c | 260358 | 40273 297477 1163906 | 2147483647 221871 22 | 2.877 % |
94.22/94.22 c | 260698 | 40269 297477 1163906 | 2147483647 222210 22 | 2.894 % |
94.42/94.42 c | 261070 | 40266 297477 1163906 | 2147483647 222582 22 | 2.894 % |
94.72/94.76 c | 261480 | 40266 297477 1163906 | 2147483647 222992 22 | 2.894 % |
95.02/95.08 c | 261929 | 40266 297477 1163906 | 2147483647 223441 22 | 2.894 % |
95.22/95.27 c | 262424 | 40266 297477 1163906 | 2147483647 223936 22 | 2.894 % |
95.32/95.39 c | 262966 | 40266 297477 1163906 | 2147483647 224478 22 | 2.894 % |
95.52/95.58 c | 263562 | 40266 297477 1163906 | 2147483647 225074 22 | 2.894 % |
95.62/95.64 c | 264217 | 40266 297477 1163906 | 2147483647 225729 22 | 2.894 % |
95.92/95.97 c | 264937 | 40266 297477 1163906 | 2147483647 226449 22 | 2.894 % |
96.42/96.41 c | 265729 | 40266 297477 1163906 | 2147483647 227241 22 | 2.894 % |
96.62/96.67 c | 266600 | 40266 297477 1163906 | 2147483647 228112 22 | 2.894 % |
97.32/97.31 c | 267558 | 40266 297477 1163906 | 2147483647 229070 22 | 2.894 % |
97.52/97.54 c | 268612 | 40266 297477 1163906 | 2147483647 230124 22 | 2.894 % |
97.82/97.87 c | 269771 | 40266 297477 1163906 | 2147483647 231283 22 | 2.894 % |
98.72/98.73 c | 271044 | 40238 296835 1161089 | 2147483647 226468 22 | 2.894 % |
99.02/99.10 c | 272445 | 40238 296835 1161089 | 2147483647 227869 22 | 2.894 % |
99.12/99.18 c | 273986 | 40238 296835 1161089 | 2147483647 229410 22 | 2.894 % |
99.52/99.52 c | 275680 | 40238 296835 1161089 | 2147483647 231104 22 | 2.894 % |
100.02/100.09 c | 277543 | 40238 296835 1161089 | 2147483647 232967 22 | 2.894 % |
101.32/101.32 c | 279593 | 40234 296835 1161089 | 2147483647 235016 22 | 2.903 % |
102.42/102.41 c | 281846 | 40234 296835 1161089 | 2147483647 237269 22 | 2.903 % |
102.62/102.66 c | 284325 | 40234 296835 1161089 | 2147483647 239748 22 | 2.903 % |
103.32/103.32 c | 287050 | 40234 296835 1161089 | 2147483647 242473 22 | 2.903 % |
103.32/103.37 c | 287151 | 40234 296835 1161089 | 2147483647 242574 22 | 2.903 % |
103.42/103.43 c | 287261 | 40234 296835 1161089 | 2147483647 242684 22 | 2.903 % |
103.52/103.54 c | 287383 | 40234 296835 1161089 | 2147483647 242806 22 | 2.903 % |
103.62/103.66 c | 287517 | 40234 296835 1161089 | 2147483647 242940 22 | 2.903 % |
103.72/103.74 c | 287663 | 40234 296835 1161089 | 2147483647 243086 22 | 2.903 % |
103.72/103.77 c | 287823 | 40234 296835 1161089 | 2147483647 243246 22 | 2.903 % |
103.92/103.91 c | 287999 | 40234 296835 1161089 | 2147483647 243422 22 | 2.903 % |
104.02/104.07 c | 288192 | 40234 296835 1161089 | 2147483647 243615 22 | 2.903 % |
104.22/104.27 c | 288404 | 40234 296835 1161089 | 2147483647 243827 22 | 2.903 % |
104.42/104.48 c | 288638 | 40234 296835 1161089 | 2147483647 244061 22 | 2.903 % |
104.72/104.74 c | 288894 | 40234 296835 1161089 | 2147483647 244317 22 | 2.903 % |
104.92/104.99 c | 289176 | 40234 296835 1161089 | 2147483647 244599 22 | 2.903 % |
105.12/105.15 c | 289486 | 40234 296835 1161089 | 2147483647 244909 22 | 2.903 % |
105.42/105.49 c | 289825 | 40234 296835 1161089 | 2147483647 245248 22 | 2.903 % |
105.72/105.71 c | 290198 | 40234 296835 1161089 | 2147483647 245621 22 | 2.903 % |
106.02/106.02 c | 290608 | 40234 296835 1161089 | 2147483647 246031 22 | 2.903 % |
106.22/106.29 c | 291058 | 40234 296835 1161089 | 2147483647 246481 22 | 2.903 % |
106.52/106.59 c | 291552 | 40234 296835 1161089 | 2147483647 246975 22 | 2.903 % |
106.92/106.95 c | 292095 | 40234 296835 1161089 | 2147483647 247518 22 | 2.903 % |
107.32/107.37 c | 292691 | 40234 296754 1160732 | 2147483647 247841 22 | 2.903 % |
107.72/107.80 c | 293346 | 40226 296754 1160732 | 2147483647 248495 22 | 2.925 % |
108.22/108.21 c | 294067 | 40225 296754 1160732 | 2147483647 249215 23 | 2.927 % |
108.52/108.58 c | 294859 | 40225 296754 1160732 | 2147483647 250007 23 | 2.927 % |
109.02/109.09 c | 295730 | 40224 296754 1160732 | 2147483647 250877 23 | 2.930 % |
109.62/109.68 c | 296688 | 40224 296754 1160732 | 2147483647 251835 23 | 2.930 % |
109.82/109.90 c | 297741 | 40224 296754 1160732 | 2147483647 252888 22 | 2.930 % |
110.42/110.49 c | 298900 | 40224 296754 1160732 | 2147483647 254047 23 | 2.930 % |
110.82/110.81 c | 300175 | 40224 296754 1160732 | 2147483647 255322 23 | 2.930 % |
111.82/111.90 c | 301575 | 40224 296754 1160732 | 2147483647 256722 23 | 2.930 % |
112.32/112.38 c | 303116 | 40221 296754 1160732 | 2147483647 258262 23 | 2.937 % |
113.52/113.55 c | 304811 | 40221 296754 1160732 | 2147483647 259957 23 | 2.937 % |
114.12/114.13 c | 306675 | 40221 296754 1160732 | 2147483647 261821 23 | 2.937 % |
115.22/115.27 c | 308724 | 40221 296754 1160732 | 2147483647 263870 23 | 2.937 % |
116.22/116.28 c | 310977 | 40215 296754 1160732 | 2147483647 266121 23 | 2.951 % |
117.92/117.91 c | 313455 | 40215 296754 1160732 | 2147483647 268599 23 | 2.951 % |
118.92/118.94 c | 316180 | 40214 296426 1159493 | 2147483647 270686 23 | 2.951 % |
121.22/121.29 c | 319177 | 40214 296426 1159493 | 2147483647 273683 23 | 2.951 % |
121.32/121.36 c | 319277 | 40214 296426 1159493 | 2147483647 273783 23 | 2.951 % |
121.42/121.43 c | 319387 | 40213 296426 1159493 | 2147483647 273892 23 | 2.964 % |
121.52/121.57 c | 319508 | 40213 296426 1159493 | 2147483647 274013 23 | 2.964 % |
121.72/121.71 c | 319641 | 40213 296426 1159493 | 2147483647 274146 23 | 2.964 % |
121.82/121.86 c | 319788 | 40213 296426 1159493 | 2147483647 274293 23 | 2.964 % |
121.92/121.94 c | 319948 | 40213 296426 1159493 | 2147483647 274453 23 | 2.964 % |
122.22/122.22 c | 320126 | 40213 296426 1159493 | 2147483647 274631 23 | 2.964 % |
122.32/122.35 c | 320319 | 40213 296426 1159493 | 2147483647 274824 23 | 2.964 % |
122.42/122.44 c | 320531 | 40213 296426 1159493 | 2147483647 275036 23 | 2.964 % |
122.62/122.61 c | 320764 | 40213 296426 1159493 | 2147483647 275269 23 | 2.964 % |
122.62/122.65 c | 321020 | 40213 296426 1159493 | 2147483647 275525 23 | 2.964 % |
122.82/122.81 c | 321301 | 40213 296426 1159493 | 2147483647 275806 23 | 2.964 % |
122.92/122.91 c | 321611 | 40213 296426 1159493 | 2147483647 276116 23 | 2.964 % |
123.02/123.08 c | 321950 | 40213 296426 1159493 | 2147483647 276455 23 | 2.964 % |
123.42/123.49 c | 322323 | 40213 296426 1159493 | 2147483647 276828 23 | 2.964 % |
123.82/123.81 c | 322732 | 40211 296426 1159493 | 2147483647 277237 23 | 2.964 % |
123.92/123.94 c | 323181 | 40211 296426 1159493 | 2147483647 277686 23 | 2.964 % |
124.32/124.31 c | 323675 | 40211 296426 1159493 | 2147483647 278180 23 | 2.964 % |
124.72/124.77 c | 324219 | 40211 296426 1159493 | 2147483647 278724 24 | 2.964 % |
124.92/125.00 c | 324815 | 40211 296426 1159493 | 2147483647 279320 23 | 2.964 % |
125.62/125.69 c | 325471 | 40211 296426 1159493 | 2147483647 279976 23 | 2.964 % |
125.82/125.85 c | 326192 | 40211 296426 1159493 | 2147483647 280697 24 | 2.964 % |
126.02/126.03 c | 326984 | 40211 296426 1159493 | 2147483647 281489 24 | 2.964 % |
126.72/126.74 c | 327858 | 40211 296426 1159493 | 2147483647 282363 24 | 2.964 % |
126.82/126.88 c | 328816 | 40211 296426 1159493 | 2147483647 283321 24 | 2.964 % |
127.52/127.57 c | 329869 | 40208 296426 1159493 | 2147483647 284371 24 | 2.971 % |
127.82/127.89 c | 331029 | 40208 296426 1159493 | 2147483647 285531 24 | 2.971 % |
128.32/128.40 c | 332302 | 40208 296426 1159493 | 2147483647 286804 24 | 2.971 % |
129.52/129.58 c | 333703 | 40208 296426 1159493 | 2147483647 288205 24 | 2.971 % |
130.02/130.04 c | 335243 | 40208 296426 1159493 | 2147483647 289745 24 | 2.971 % |
131.12/131.16 c | 336937 | 40206 296285 1158984 | 2147483647 291415 24 | 2.971 % |
132.52/132.53 c | 338800 | 40206 296285 1158984 | 2147483647 293278 24 | 2.971 % |
133.32/133.37 c | 340849 | 40206 296285 1158984 | 2147483647 295327 24 | 2.971 % |
134.42/134.47 c | 343102 | 40206 296285 1158984 | 2147483647 297580 24 | 2.971 % |
135.82/135.87 c | 345581 | 40206 296285 1158984 | 2147483647 300059 24 | 2.971 % |
137.62/137.63 c | 348307 | 40204 296285 1158984 | 2147483647 302784 24 | 2.976 % |
138.82/138.89 c | 351312 | 40204 296285 1158984 | 2147483647 305789 24 | 2.976 % |
140.92/140.93 c | 354608 | 40204 296285 1158984 | 2147483647 309085 24 | 2.976 % |
141.02/141.01 c | 354708 | 40204 296285 1158984 | 2147483647 309185 24 | 2.976 % |
141.12/141.16 c | 354818 | 40203 296285 1158984 | 2147483647 309294 24 | 2.978 % |
141.22/141.29 c | 354939 | 40203 296285 1158984 | 2147483647 309415 24 | 2.978 % |
141.42/141.43 c | 355075 | 40203 296285 1158984 | 2147483647 309551 24 | 2.978 % |
141.52/141.57 c | 355223 | 40203 296285 1158984 | 2147483647 309699 24 | 2.978 % |
141.72/141.73 c | 355383 | 40203 296285 1158984 | 2147483647 309859 24 | 2.978 % |
141.93/141.94 c | 355560 | 40201 296285 1158984 | 2147483647 310035 24 | 2.983 % |
142.12/142.15 c | 355753 | 40201 296285 1158984 | 2147483647 310228 24 | 2.983 % |
142.32/142.32 c | 355967 | 40201 296285 1158984 | 2147483647 310442 24 | 2.983 % |
142.42/142.43 c | 356200 | 40201 296285 1158984 | 2147483647 310675 24 | 2.983 % |
142.72/142.71 c | 356457 | 40201 296285 1158984 | 2147483647 310932 24 | 2.983 % |
142.92/142.98 c | 356741 | 40201 296285 1158984 | 2147483647 311216 24 | 2.983 % |
143.32/143.32 c | 357050 | 40201 296285 1158984 | 2147483647 311525 24 | 2.983 % |
143.62/143.65 c | 357389 | 40201 296285 1158984 | 2147483647 311864 24 | 2.983 % |
143.82/143.87 c | 357761 | 40201 296285 1158984 | 2147483647 312236 24 | 2.983 % |
144.02/144.10 c | 358170 | 40201 296285 1158984 | 2147483647 312645 24 | 2.983 % |
144.42/144.48 c | 358620 | 40201 296093 1158210 | 2147483647 312942 24 | 2.983 % |
144.92/144.93 c | 359114 | 40201 296093 1158210 | 2147483647 313436 24 | 2.983 % |
145.32/145.39 c | 359657 | 40201 296093 1158210 | 2147483647 313979 24 | 2.983 % |
145.72/145.71 c | 360254 | 40201 296093 1158210 | 2147483647 314576 24 | 2.983 % |
146.12/146.19 c | 360910 | 40200 296093 1158210 | 2147483647 315231 24 | 2.985 % |
146.52/146.52 c | 361630 | 40200 296093 1158210 | 2147483647 315951 24 | 2.985 % |
146.92/146.96 c | 362422 | 40200 296093 1158210 | 2147483647 316743 24 | 2.985 % |
147.02/147.01 c | 363293 | 40200 296093 1158210 | 2147483647 317614 24 | 2.985 % |
147.72/147.72 c | 364252 | 40200 296093 1158210 | 2147483647 318573 24 | 2.985 % |
148.32/148.40 c | 365305 | 40191 296093 1158210 | 2147483647 319625 24 | 3.050 % |
148.92/148.95 c | 366465 | 40191 296093 1158210 | 2147483647 320785 24 | 3.050 % |
149.82/149.83 c | 367738 | 40183 296093 1158210 | 2147483647 322058 24 | 3.050 % |
150.42/150.43 c | 369138 | 40183 296093 1158210 | 2147483647 323458 24 | 3.050 % |
151.42/151.48 c | 370679 | 40183 296093 1158210 | 2147483647 324999 24 | 3.050 % |
152.42/152.49 c | 372373 | 40183 296093 1158210 | 2147483647 326693 24 | 3.050 % |
152.72/152.73 c | 374236 | 40183 296093 1158210 | 2147483647 328556 24 | 3.050 % |
154.22/154.30 c | 376285 | 40183 296093 1158210 | 2147483647 330605 24 | 3.050 % |
154.82/154.86 c | 378545 | 40183 296093 1158210 | 2147483647 332865 24 | 3.050 % |
156.02/156.03 c | 381023 | 40174 296093 1158210 | 2147483647 335342 24 | 3.075 % |
157.72/157.72 c | 383749 | 40174 296093 1158210 | 2147483647 338068 24 | 3.075 % |
159.02/159.03 c | 386748 | 40174 296093 1158210 | 2147483647 341067 24 | 3.075 % |
159.72/159.79 c | 390044 | 40167 296093 1158210 | 2147483647 344362 24 | 3.176 % |
162.62/162.66 c | 393669 | 40121 294521 1152329 | 2147483647 344985 24 | 3.176 % |
162.92/162.91 c | 393769 | 40121 294521 1152329 | 2147483647 345085 24 | 3.176 % |
163.02/163.02 c | 393879 | 40121 294521 1152329 | 2147483647 345195 24 | 3.176 % |
163.32/163.33 c | 394001 | 40121 294521 1152329 | 2147483647 345317 24 | 3.176 % |
163.42/163.45 c | 394134 | 40121 294521 1152329 | 2147483647 345450 24 | 3.176 % |
163.52/163.59 c | 394281 | 40121 294521 1152329 | 2147483647 345597 24 | 3.176 % |
163.62/163.67 c | 394442 | 40121 294521 1152329 | 2147483647 345758 24 | 3.176 % |
163.93/163.95 c | 394620 | 40118 294521 1152329 | 2147483647 345934 24 | 3.227 % |
164.02/164.09 c | 394813 | 40118 294521 1152329 | 2147483647 346127 24 | 3.227 % |
164.22/164.27 c | 395027 | 40111 294521 1152329 | 2147483647 346341 24 | 3.227 % |
164.52/164.57 c | 395261 | 40111 294521 1152329 | 2147483647 346575 24 | 3.227 % |
164.82/164.83 c | 395518 | 40111 294521 1152329 | 2147483647 346832 24 | 3.227 % |
164.92/164.98 c | 395800 | 40111 294521 1152329 | 2147483647 347114 24 | 3.227 % |
165.12/165.20 c | 396109 | 40111 294521 1152329 | 2147483647 347423 24 | 3.227 % |
165.52/165.58 c | 396448 | 40111 294521 1152329 | 2147483647 347762 24 | 3.227 % |
165.92/165.94 c | 396820 | 40111 294521 1152329 | 2147483647 348134 24 | 3.227 % |
166.13/166.11 c | 397230 | 40111 294521 1152329 | 2147483647 348544 24 | 3.227 % |
166.22/166.28 c | 397680 | 40111 294521 1152329 | 2147483647 348994 24 | 3.227 % |
166.52/166.57 c | 398176 | 40111 294521 1152329 | 2147483647 349490 24 | 3.227 % |
166.82/166.82 c | 398718 | 40111 294521 1152329 | 2147483647 350032 24 | 3.227 % |
167.32/167.34 c | 399316 | 40111 294521 1152329 | 2147483647 350630 24 | 3.227 % |
167.72/167.72 c | 399971 | 40111 294521 1152329 | 2147483647 351285 24 | 3.227 % |
167.92/167.97 c | 400692 | 40111 294521 1152329 | 2147483647 352006 24 | 3.227 % |
168.62/168.70 c | 401486 | 40111 294521 1152329 | 2147483647 352800 24 | 3.227 % |
168.82/168.85 c | 402357 | 40111 294521 1152329 | 2147483647 353671 24 | 3.227 % |
169.82/169.80 c | 403315 | 40111 294521 1152329 | 2147483647 354629 24 | 3.227 % |
170.02/170.10 c | 404368 | 40111 294521 1152329 | 2147483647 355682 24 | 3.227 % |
170.82/170.89 c | 405526 | 40111 294521 1152329 | 2147483647 356840 24 | 3.227 % |
171.52/171.58 c | 406800 | 40111 294521 1152329 | 2147483647 358114 24 | 3.227 % |
173.02/173.07 c | 408201 | 40111 294521 1152329 | 2147483647 359515 24 | 3.227 % |
173.92/173.93 c | 409741 | 40111 294521 1152329 | 2147483647 361055 24 | 3.227 % |
175.02/175.02 c | 411437 | 40111 294521 1152329 | 2147483647 362751 24 | 3.227 % |
175.72/175.71 c | 413300 | 40111 294521 1152329 | 2147483647 364614 25 | 3.227 % |
177.42/177.44 c | 415349 | 40111 294521 1152329 | 2147483647 366663 25 | 3.227 % |
179.52/179.59 c | 417602 | 40111 294521 1152329 | 2147483647 368916 25 | 3.227 % |
181.12/181.14 c | 420084 | 40100 294091 1150827 | 2147483647 371393 25 | 3.227 % |
182.32/182.33 c | 422809 | 40100 294091 1150827 | 2147483647 374118 25 | 3.227 % |
185.02/185.10 c | 425807 | 40100 294091 1150827 | 2147483647 377116 25 | 3.227 % |
186.73/186.79 c | 429104 | 40100 294091 1150827 | 2147483647 380413 25 | 3.227 % |
190.03/190.02 c | 432729 | 40100 294091 1150827 | 2147483647 384038 25 | 3.227 % |
193.53/193.54 c | 436717 | 40100 294091 1150827 | 2147483647 388026 25 | 3.227 % |
193.63/193.66 c | 436817 | 40100 294091 1150827 | 2147483647 388126 25 | 3.227 % |
193.73/193.80 c | 436927 | 40100 294091 1150827 | 2147483647 388236 25 | 3.227 % |
193.93/193.92 c | 437048 | 40100 294091 1150827 | 2147483647 388357 25 | 3.227 % |
194.03/194.06 c | 437182 | 40100 294091 1150827 | 2147483647 388491 25 | 3.227 % |
194.23/194.22 c | 437329 | 40100 294091 1150827 | 2147483647 388638 25 | 3.227 % |
194.23/194.29 c | 437490 | 40100 294091 1150827 | 2147483647 388799 25 | 3.227 % |
194.43/194.45 c | 437668 | 40100 294091 1150827 | 2147483647 388977 25 | 3.227 % |
194.63/194.70 c | 437861 | 40100 294091 1150827 | 2147483647 389170 25 | 3.227 % |
194.83/194.82 c | 438075 | 40100 294091 1150827 | 2147483647 389384 25 | 3.227 % |
195.13/195.17 c | 438311 | 40098 294091 1150827 | 2147483647 389619 25 | 3.231 % |
195.43/195.44 c | 438568 | 40098 294091 1150827 | 2147483647 389876 25 | 3.231 % |
195.73/195.72 c | 438850 | 40098 294091 1150827 | 2147483647 390158 25 | 3.231 % |
196.03/196.07 c | 439160 | 40098 294091 1150827 | 2147483647 390468 25 | 3.231 % |
196.43/196.43 c | 439500 | 40098 294091 1150827 | 2147483647 390808 25 | 3.231 % |
196.63/196.65 c | 439874 | 40098 294091 1150827 | 2147483647 391182 25 | 3.231 % |
197.03/197.06 c | 440284 | 40098 294091 1150827 | 2147483647 391592 25 | 3.231 % |
197.43/197.51 c | 440735 | 40098 294091 1150827 | 2147483647 392043 25 | 3.231 % |
197.83/197.88 c | 441228 | 40098 294091 1150827 | 2147483647 392536 25 | 3.231 % |
198.13/198.19 c | 441770 | 40097 294091 1150827 | 2147483647 393077 25 | 3.234 % |
198.93/198.95 c | 442367 | 40097 294091 1150827 | 2147483647 393674 25 | 3.234 % |
199.13/199.16 c | 443025 | 40097 294091 1150827 | 2147483647 394332 25 | 3.234 % |
199.83/199.82 c | 443745 | 40097 294091 1150827 | 2147483647 395052 25 | 3.234 % |
200.43/200.48 c | 444538 | 40097 294091 1150827 | 2147483647 395845 25 | 3.234 % |
201.13/201.13 c | 445409 | 40097 294026 1150543 | 2147483647 396493 25 | 3.234 % |
201.53/201.53 c | 446367 | 40097 294026 1150543 | 2147483647 397451 25 | 3.234 % |
202.53/202.57 c | 447421 | 40097 294026 1150543 | 2147483647 398505 25 | 3.234 % |
203.93/203.93 c | 448579 | 40097 294026 1150543 | 2147483647 399663 25 | 3.234 % |
205.03/205.04 c | 449852 | 40097 294026 1150543 | 2147483647 400936 25 | 3.234 % |
205.93/205.99 c | 451252 | 40097 294026 1150543 | 2147483647 402336 25 | 3.234 % |
207.63/207.66 c | 452792 | 40097 294026 1150543 | 2147483647 403876 25 | 3.234 % |
208.43/208.45 c | 454486 | 40097 294026 1150543 | 2147483647 405570 25 | 3.234 % |
209.13/209.16 c | 456351 | 40097 294026 1150543 | 2147483647 407435 25 | 3.234 % |
210.23/210.28 c | 458402 | 40097 294026 1150543 | 2147483647 409486 25 | 3.234 % |
210.83/210.88 c | 460655 | 40097 294026 1150543 | 2147483647 411739 25 | 3.234 % |
212.73/212.73 c | 463134 | 40094 294026 1150543 | 2147483647 414217 25 | 3.367 % |
216.03/216.05 c | 465859 | 40094 294026 1150543 | 2147483647 416942 25 | 3.367 % |
218.83/218.82 c | 468860 | 40094 294026 1150543 | 2147483647 419943 25 | 3.367 % |
223.23/223.22 c | 472156 | 40094 294026 1150543 | 2147483647 423239 26 | 3.367 % |
224.73/224.72 c | 475781 | 40091 294026 1150543 | 2147483647 426864 26 | 3.367 % |
228.03/228.08 c | 479769 | 40042 293147 1147216 | 2147483647 430824 26 | 3.367 % |
230.23/230.24 c | 484155 | 40042 293147 1147216 | 2147483647 435210 26 | 3.367 % |
230.43/230.44 c | 484255 | 40042 293147 1147216 | 2147483647 435310 26 | 3.367 % |
230.53/230.58 c | 484365 | 40042 293147 1147216 | 2147483647 435420 26 | 3.367 % |
230.73/230.75 c | 484486 | 40042 293147 1147216 | 2147483647 435541 26 | 3.367 % |
230.93/230.96 c | 484620 | 40042 293147 1147216 | 2147483647 435675 26 | 3.367 % |
231.13/231.21 c | 484767 | 40042 293147 1147216 | 2147483647 435822 26 | 3.367 % |
231.43/231.51 c | 484927 | 40042 293147 1147216 | 2147483647 435982 26 | 3.367 % |
231.53/231.59 c | 485105 | 40042 293147 1147216 | 2147483647 436160 26 | 3.367 % |
231.73/231.80 c | 485298 | 40042 293147 1147216 | 2147483647 436353 26 | 3.367 % |
231.93/232.01 c | 485510 | 40042 293147 1147216 | 2147483647 436565 26 | 3.367 % |
232.33/232.35 c | 485743 | 40042 293147 1147216 | 2147483647 436798 26 | 3.367 % |
232.73/232.71 c | 485999 | 40042 293147 1147216 | 2147483647 437054 26 | 3.367 % |
232.93/233.01 c | 486282 | 40042 293147 1147216 | 2147483647 437337 26 | 3.367 % |
233.23/233.29 c | 486591 | 40042 293147 1147216 | 2147483647 437646 26 | 3.367 % |
233.53/233.58 c | 486932 | 40039 293147 1147216 | 2147483647 437986 26 | 3.374 % |
233.93/233.99 c | 487304 | 40039 293147 1147216 | 2147483647 438358 26 | 3.374 % |
234.43/234.49 c | 487713 | 40039 293147 1147216 | 2147483647 438767 26 | 3.374 % |
234.93/234.94 c | 488163 | 40039 293147 1147216 | 2147483647 439217 26 | 3.374 % |
235.23/235.26 c | 488656 | 40039 293147 1147216 | 2147483647 439710 26 | 3.374 % |
235.33/235.34 c | 489198 | 40039 293147 1147216 | 2147483647 440252 26 | 3.374 % |
235.83/235.86 c | 489794 | 40039 293147 1147216 | 2147483647 440848 26 | 3.374 % |
236.43/236.44 c | 490449 | 40039 293147 1147216 | 2147483647 441503 26 | 3.374 % |
237.33/237.31 c | 491170 | 40039 293147 1147216 | 2147483647 442224 26 | 3.374 % |
238.13/238.21 c | 491966 | 40039 293147 1147216 | 2147483647 443020 26 | 3.374 % |
239.23/239.25 c | 492837 | 40039 293147 1147216 | 2147483647 443891 26 | 3.374 % |
240.23/240.23 c | 493795 | 40039 293147 1147216 | 2147483647 444849 26 | 3.374 % |
241.33/241.31 c | 494848 | 40039 293147 1147216 | 2147483647 445902 26 | 3.374 % |
242.23/242.23 c | 496006 | 40039 293147 1147216 | 2147483647 447060 26 | 3.374 % |
243.13/243.12 c | 497279 | 40039 293147 1147216 | 2147483647 448333 26 | 3.374 % |
243.93/244.00 c | 498681 | 40039 293147 1147216 | 2147483647 449735 26 | 3.374 % |
244.63/244.69 c | 500222 | 40039 293147 1147216 | 2147483647 451276 26 | 3.374 % |
246.43/246.47 c | 501919 | 40039 293147 1147216 | 2147483647 452973 26 | 3.374 % |
247.03/247.03 c | 503783 | 40039 293147 1147216 | 2147483647 454837 26 | 3.374 % |
248.23/248.22 c | 505836 | 40039 293147 1147216 | 2147483647 456890 26 | 3.374 % |
249.13/249.13 c | 508091 | 40039 293147 1147216 | 2147483647 459145 26 | 3.374 % |
250.63/250.66 c | 510569 | 40039 293147 1147216 | 2147483647 461623 26 | 3.374 % |
252.73/252.76 c | 513295 | 40039 293147 1147216 | 2147483647 464349 26 | 3.374 % |
254.33/254.35 c | 516295 | 40039 293121 1147104 | 2147483647 467348 26 | 3.374 % |
256.43/256.43 c | 519592 | 40039 293121 1147104 | 2147483647 470645 26 | 3.374 % |
258.13/258.19 c | 523218 | 40037 293121 1147104 | 2147483647 474269 26 | 3.379 % |
262.03/262.05 c | 527207 | 40037 293121 1147104 | 2147483647 478258 26 | 3.379 % |
266.43/266.50 c | 531592 | 40037 293121 1147104 | 2147483647 482643 27 | 3.379 % |
270.64/270.66 c | 536416 | 40037 293121 1147104 | 2147483647 487467 27 | 3.379 % |
270.83/270.81 c | 536516 | 40035 293121 1147104 | 2147483647 487566 27 | 3.386 % |
271.03/271.04 c | 536626 | 40035 293121 1147104 | 2147483647 487676 27 | 3.386 % |
271.13/271.20 c | 536747 | 40035 293121 1147104 | 2147483647 487797 27 | 3.386 % |
271.43/271.41 c | 536880 | 40035 293121 1147104 | 2147483647 487930 27 | 3.386 % |
271.63/271.63 c | 537030 | 40034 293121 1147104 | 2147483647 488080 27 | 3.386 % |
271.83/271.88 c | 537192 | 40034 293121 1147104 | 2147483647 488242 27 | 3.386 % |
272.13/272.16 c | 537368 | 40034 293121 1147104 | 2147483647 488418 27 | 3.386 % |
272.43/272.50 c | 537561 | 40034 293121 1147104 | 2147483647 488611 27 | 3.386 % |
272.63/272.71 c | 537773 | 40034 293121 1147104 | 2147483647 488823 27 | 3.386 % |
272.84/272.90 c | 538007 | 40034 293121 1147104 | 2147483647 489057 27 | 3.386 % |
273.13/273.13 c | 538264 | 40034 293121 1147104 | 2147483647 489314 27 | 3.386 % |
273.33/273.35 c | 538545 | 40034 293121 1147104 | 2147483647 489595 27 | 3.386 % |
273.63/273.65 c | 538857 | 40034 293121 1147104 | 2147483647 489907 27 | 3.386 % |
274.23/274.27 c | 539197 | 40034 293121 1147104 | 2147483647 490247 27 | 3.386 % |
274.63/274.70 c | 539569 | 40034 293121 1147104 | 2147483647 490619 27 | 3.386 % |
274.93/274.92 c | 539978 | 40034 293121 1147104 | 2147483647 491028 27 | 3.386 % |
275.13/275.12 c | 540428 | 40034 293121 1147104 | 2147483647 491478 27 | 3.386 % |
275.73/275.72 c | 540921 | 40034 293121 1147104 | 2147483647 491971 27 | 3.386 % |
276.33/276.38 c | 541463 | 40034 293121 1147104 | 2147483647 492513 27 | 3.386 % |
277.13/277.20 c | 542059 | 40034 293121 1147104 | 2147483647 493109 27 | 3.386 % |
277.53/277.53 c | 542715 | 40034 293121 1147104 | 2147483647 493765 27 | 3.386 % |
278.63/278.68 c | 543440 | 40034 293121 1147104 | 2147483647 494490 27 | 3.386 % |
279.63/279.66 c | 544232 | 40029 293121 1147104 | 2147483647 495281 27 | 3.398 % |
280.43/280.46 c | 545103 | 40029 293121 1147104 | 2147483647 496152 27 | 3.398 % |
281.13/281.14 c | 546061 | 40029 293121 1147104 | 2147483647 497110 27 | 3.398 % |
282.13/282.20 c | 547114 | 40029 293121 1147104 | 2147483647 498163 27 | 3.398 % |
283.43/283.50 c | 548273 | 40029 293121 1147104 | 2147483647 499322 27 | 3.398 % |
284.13/284.20 c | 549547 | 40029 293121 1147104 | 2147483647 500596 27 | 3.398 % |
285.83/285.82 c | 550947 | 40029 293121 1147104 | 2147483647 501996 27 | 3.398 % |
287.73/287.77 c | 552487 | 40029 292913 1146412 | 2147483647 503516 27 | 3.398 % |
288.93/288.94 c | 554181 | 40029 292913 1146412 | 2147483647 505210 27 | 3.398 % |
289.93/289.95 c | 556044 | 40029 292913 1146412 | 2147483647 507073 27 | 3.398 % |
292.23/292.29 c | 558093 | 40029 292913 1146412 | 2147483647 509122 27 | 3.398 % |
293.33/293.33 c | 560346 | 40029 292913 1146412 | 2147483647 511375 27 | 3.398 % |
295.73/295.80 c | 562825 | 40029 292913 1146412 | 2147483647 513854 27 | 3.398 % |
297.73/297.78 c | 565555 | 40029 292913 1146412 | 2147483647 516584 27 | 3.398 % |
298.43/298.47 c | 568553 | 40029 292913 1146412 | 2147483647 519582 27 | 3.398 % |
301.34/301.38 c | 571849 | 40029 292913 1146412 | 2147483647 522878 27 | 3.398 % |
304.54/304.56 c | 575474 | 40029 292913 1146412 | 2147483647 526503 27 | 3.398 % |
305.84/305.90 c | 579463 | 40029 292913 1146412 | 2147483647 530492 27 | 3.398 % |
310.14/310.16 c | 583848 | 40029 292913 1146412 | 2147483647 534877 27 | 3.398 % |
311.34/311.32 c | 588671 | 40029 292913 1146412 | 2147483647 539700 27 | 3.398 % |
312.84/312.82 c | 593979 | 40029 292913 1146412 | 2147483647 545008 27 | 3.398 % |
312.94/312.94 c | 594079 | 40029 292913 1146412 | 2147483647 545108 27 | 3.398 % |
313.14/313.16 c | 594190 | 40029 292913 1146412 | 2147483647 545219 27 | 3.398 % |
313.34/313.40 c | 594311 | 40029 292913 1146412 | 2147483647 545340 27 | 3.398 % |
313.44/313.42 c | 594444 | 40029 292913 1146412 | 2147483647 545473 27 | 3.398 % |
313.64/313.64 c | 594592 | 40029 292913 1146412 | 2147483647 545621 27 | 3.398 % |
313.84/313.85 c | 594752 | 40029 292913 1146412 | 2147483647 545781 27 | 3.398 % |
314.04/314.09 c | 594930 | 40029 292913 1146412 | 2147483647 545959 27 | 3.398 % |
314.44/314.44 c | 595124 | 40029 292913 1146412 | 2147483647 546153 27 | 3.398 % |
314.54/314.58 c | 595337 | 40029 292913 1146412 | 2147483647 546366 27 | 3.398 % |
314.94/314.92 c | 595572 | 40029 292913 1146412 | 2147483647 546601 27 | 3.398 % |
315.14/315.17 c | 595828 | 40029 292913 1146412 | 2147483647 546857 27 | 3.398 % |
315.54/315.61 c | 596109 | 40029 292913 1146412 | 2147483647 547138 27 | 3.398 % |
315.84/315.86 c | 596418 | 40029 292913 1146412 | 2147483647 547447 27 | 3.398 % |
315.94/316.01 c | 596757 | 40029 292913 1146412 | 2147483647 547786 27 | 3.398 % |
316.24/316.31 c | 597130 | 40028 292913 1146412 | 2147483647 548158 27 | 3.400 % |
316.64/316.67 c | 597540 | 40028 292913 1146412 | 2147483647 548568 27 | 3.400 % |
316.84/316.82 c | 597989 | 40028 292913 1146412 | 2147483647 549017 27 | 3.400 % |
317.34/317.36 c | 598485 | 40028 292913 1146412 | 2147483647 549513 27 | 3.400 % |
317.54/317.60 c | 599027 | 40028 292913 1146412 | 2147483647 550054 27 | 3.410 % |
318.44/318.47 c | 599623 | 40024 292913 1146412 | 2147483647 550650 27 | 3.410 % |
319.14/319.14 c | 600279 | 40024 292913 1146412 | 551028 551306 27 | 3.410 % |
319.74/319.76 c | 600999 | 40024 292913 1146412 | 551028 552026 27 | 3.410 % |
320.54/320.52 c | 601792 | 40024 292913 1146412 | 551028 552819 27 | 3.410 % |
322.04/322.03 c | 602664 | 40024 292913 1146412 | 551028 486585 27 | 3.410 % |
322.94/323.01 c | 603622 | 40024 292913 1146412 | 551028 487543 27 | 3.410 % |
324.14/324.14 c | 604676 | 40024 292913 1146412 | 551028 488597 27 | 3.410 % |
325.24/325.27 c | 605834 | 40024 292913 1146412 | 551028 489755 27 | 3.410 % |
325.74/325.79 c | 607108 | 40024 292913 1146412 | 551028 491029 27 | 3.410 % |
326.94/326.97 c | 608509 | 40024 292784 1145906 | 551028 491545 27 | 3.410 % |
328.24/328.28 c | 610050 | 40024 292784 1145906 | 2147483647 493086 27 | 3.410 % |
329.04/329.10 c | 611745 | 40024 292784 1145906 | 2147483647 494781 27 | 3.410 % |
331.34/331.39 c | 613608 | 40024 292784 1145906 | 2147483647 496644 27 | 3.410 % |
333.64/333.66 c | 615658 | 40024 292784 1145906 | 2147483647 498694 27 | 3.410 % |
335.54/335.58 c | 617912 | 40024 292784 1145906 | 2147483647 500948 27 | 3.410 % |
338.24/338.31 c | 620390 | 40024 292784 1145906 | 2147483647 503426 27 | 3.410 % |
339.44/339.44 c | 623115 | 40024 292784 1145906 | 2147483647 506151 27 | 3.410 % |
343.74/343.81 c | 626113 | 40024 292784 1145906 | 2147483647 509149 27 | 3.410 % |
347.64/347.64 c | 629409 | 40024 292784 1145906 | 2147483647 512445 27 | 3.410 % |
349.94/349.96 c | 633034 | 40018 292784 1145906 | 2147483647 516069 27 | 3.424 % |
353.54/353.58 c | 637023 | 40018 292784 1145906 | 2147483647 520058 27 | 3.424 % |
356.04/356.06 c | 641408 | 40018 292784 1145906 | 2147483647 524443 27 | 3.424 % |
361.24/361.30 c | 646233 | 40018 292784 1145906 | 2147483647 529268 28 | 3.424 % |
366.35/366.41 c | 651543 | 40018 292784 1145906 | 533035 534578 28 | 3.425 % |
371.34/371.33 c | 657378 | 40018 292677 1145587 | 533035 486947 28 | 3.424 % |
371.64/371.62 c | 657478 | 40015 292677 1145587 | 533035 487045 28 | 3.434 % |
371.64/371.68 c | 657590 | 40015 292677 1145587 | 533035 487157 28 | 3.434 % |
371.94/371.99 c | 657711 | 40015 292677 1145587 | 533035 487278 28 | 3.434 % |
372.14/372.20 c | 657844 | 40015 292677 1145587 | 533035 487411 28 | 3.434 % |
372.54/372.58 c | 657992 | 40015 292677 1145587 | 533035 487559 28 | 3.434 % |
372.84/372.86 c | 658153 | 40015 292677 1145587 | 533035 487720 28 | 3.434 % |
373.14/373.11 c | 658330 | 40015 292677 1145587 | 533035 487897 28 | 3.434 % |
373.44/373.44 c | 658523 | 40015 292677 1145587 | 533035 488090 28 | 3.434 % |
373.74/373.79 c | 658735 | 40015 292677 1145587 | 533035 488302 28 | 3.434 % |
374.24/374.23 c | 658970 | 40014 292677 1145587 | 533035 488537 28 | 3.434 % |
374.54/374.61 c | 659226 | 40014 292677 1145587 | 533035 488793 28 | 3.434 % |
374.94/374.97 c | 659507 | 40014 292677 1145587 | 533035 489074 28 | 3.434 % |
375.34/375.32 c | 659816 | 40014 292677 1145587 | 533035 489383 28 | 3.434 % |
375.64/375.69 c | 660155 | 40014 292677 1145587 | 2147483647 489722 28 | 3.434 % |
376.14/376.18 c | 660528 | 40014 292677 1145587 | 2147483647 490095 28 | 3.434 % |
376.94/376.98 c | 660937 | 40014 292677 1145587 | 2147483647 490504 28 | 3.434 % |
377.24/377.24 c | 661386 | 40014 292677 1145587 | 2147483647 490953 28 | 3.434 % |
377.94/377.95 c | 661879 | 40014 292677 1145587 | 2147483647 491446 28 | 3.434 % |
378.45/378.48 c | 662421 | 40014 292677 1145587 | 2147483647 491988 28 | 3.434 % |
379.34/379.39 c | 663017 | 40014 292677 1145587 | 2147483647 492584 28 | 3.434 % |
379.84/379.83 c | 663672 | 40014 292677 1145587 | 2147483647 493239 28 | 3.434 % |
380.14/380.20 c | 664393 | 40014 292677 1145587 | 2147483647 493960 28 | 3.434 % |
381.04/381.08 c | 665187 | 40014 292677 1145587 | 2147483647 494754 28 | 3.434 % |
381.64/381.64 c | 666058 | 40014 292677 1145587 | 2147483647 495625 28 | 3.434 % |
382.94/382.97 c | 667017 | 40014 292677 1145587 | 2147483647 496584 28 | 3.434 % |
384.14/384.21 c | 668074 | 40014 292677 1145587 | 2147483647 497641 28 | 3.434 % |
384.74/384.81 c | 669233 | 40014 292677 1145587 | 2147483647 498800 28 | 3.434 % |
386.24/386.25 c | 670506 | 40014 292677 1145587 | 2147483647 500073 28 | 3.434 % |
387.64/387.66 c | 671907 | 40014 292677 1145587 | 2147483647 501474 28 | 3.434 % |
389.14/389.15 c | 673447 | 40014 292677 1145587 | 2147483647 503014 28 | 3.434 % |
389.84/389.83 c | 675142 | 40014 292677 1145587 | 2147483647 504709 28 | 3.434 % |
392.04/392.09 c | 677005 | 40014 292677 1145587 | 2147483647 506572 28 | 3.434 % |
395.14/395.16 c | 679054 | 40014 292677 1145587 | 2147483647 508621 28 | 3.434 % |
396.54/396.54 c | 681307 | 40014 292677 1145587 | 2147483647 510874 28 | 3.434 % |
399.24/399.26 c | 683785 | 40014 292677 1145587 | 2147483647 513352 28 | 3.434 % |
402.74/402.77 c | 686510 | 40014 292677 1145587 | 2147483647 516077 28 | 3.434 % |
405.84/405.86 c | 689507 | 40014 292677 1145587 | 2147483647 519074 28 | 3.434 % |
408.84/408.84 c | 692804 | 40014 292677 1145587 | 2147483647 522371 29 | 3.434 % |
410.44/410.46 c | 696429 | 40014 292611 1145373 | 2147483647 525995 29 | 3.434 % |
411.74/411.78 c | 700417 | 40014 292611 1145373 | 529566 529983 29 | 3.434 % |
418.75/418.73 c | 704802 | 40014 292611 1145373 | 529566 475515 29 | 3.434 % |
423.95/423.95 c | 709626 | 40014 292611 1145373 | 529566 480339 29 | 3.434 % |
426.65/426.62 c | 714933 | 40014 292611 1145373 | 2147483647 485646 29 | 3.434 % |
432.85/432.92 c | 720768 | 40013 292611 1145373 | 2147483647 491480 29 | 3.437 % |
436.95/436.96 c | 727187 | 40013 292611 1145373 | 2147483647 497899 29 | 3.437 % |
437.05/437.03 c | 727287 | 40013 292611 1145373 | 2147483647 497999 29 | 3.437 % |
437.35/437.40 c | 727397 | 40013 292611 1145373 | 2147483647 498109 29 | 3.437 % |
437.65/437.72 c | 727519 | 40013 292611 1145373 | 2147483647 498231 29 | 3.437 % |
437.85/437.90 c | 727652 | 40013 292611 1145373 | 2147483647 498364 29 | 3.437 % |
438.05/438.11 c | 727803 | 40013 292611 1145373 | 2147483647 498515 29 | 3.437 % |
438.35/438.40 c | 727963 | 40013 292611 1145373 | 2147483647 498675 29 | 3.437 % |
438.65/438.69 c | 728140 | 40013 292611 1145373 | 2147483647 498852 29 | 3.437 % |
438.85/438.90 c | 728335 | 40013 292611 1145373 | 2147483647 499047 29 | 3.437 % |
439.25/439.27 c | 728549 | 40013 292611 1145373 | 2147483647 499261 29 | 3.437 % |
439.65/439.66 c | 728783 | 40013 292611 1145373 | 2147483647 499495 29 | 3.437 % |
439.95/439.98 c | 729040 | 40013 292611 1145373 | 2147483647 499752 29 | 3.437 % |
440.25/440.32 c | 729323 | 40013 292611 1145373 | 2147483647 500035 29 | 3.437 % |
440.65/440.67 c | 729635 | 40013 292611 1145373 | 2147483647 500347 29 | 3.437 % |
441.15/441.15 c | 729975 | 40013 292611 1145373 | 2147483647 500687 29 | 3.437 % |
441.55/441.57 c | 730349 | 40013 292611 1145373 | 500713 501061 29 | 3.437 % |
441.95/441.99 c | 730760 | 40013 292611 1145373 | 500713 501472 29 | 3.437 % |
442.45/442.47 c | 731210 | 40013 292611 1145373 | 500713 501922 29 | 3.437 % |
443.15/443.15 c | 731704 | 40013 292611 1145373 | 500713 502416 29 | 3.437 % |
444.54/444.51 c | 732246 | 40013 292611 1145373 | 500713 452717 29 | 3.437 % |
445.04/445.02 c | 732842 | 40013 292611 1145373 | 500713 453313 29 | 3.437 % |
445.44/445.44 c | 733498 | 40013 292611 1145373 | 500713 453969 29 | 3.437 % |
446.54/446.53 c | 734219 | 40013 292611 1145373 | 500713 454690 29 | 3.437 % |
447.64/447.67 c | 735013 | 40013 292611 1145373 | 500713 455484 29 | 3.437 % |
448.44/448.49 c | 735885 | 40013 292611 1145373 | 500713 456356 29 | 3.437 % |
449.24/449.24 c | 736844 | 40013 292611 1145373 | 500713 457315 29 | 3.437 % |
450.54/450.59 c | 737897 | 40013 292611 1145373 | 500713 458368 30 | 3.437 % |
451.14/451.13 c | 739056 | 40013 292611 1145373 | 500713 459527 30 | 3.437 % |
452.64/452.71 c | 740331 | 40013 292611 1145373 | 2147483647 460802 30 | 3.437 % |
454.14/454.21 c | 741731 | 40013 292611 1145373 | 2147483647 462202 30 | 3.437 % |
455.14/455.12 c | 743273 | 40013 292611 1145373 | 2147483647 463744 30 | 3.437 % |
456.94/457.01 c | 744968 | 40013 292611 1145373 | 2147483647 465439 30 | 3.437 % |
460.24/460.27 c | 746831 | 40013 292560 1145226 | 2147483647 467298 30 | 3.437 % |
463.34/463.41 c | 748880 | 40013 292560 1145226 | 2147483647 469347 30 | 3.437 % |
467.34/467.34 c | 751135 | 40013 292560 1145226 | 2147483647 471602 30 | 3.437 % |
471.34/471.34 c | 753615 | 40013 292560 1145226 | 2147483647 474082 30 | 3.437 % |
474.94/474.93 c | 756341 | 40013 292560 1145226 | 2147483647 476808 30 | 3.437 % |
478.64/478.68 c | 759339 | 40013 292560 1145226 | 2147483647 479806 30 | 3.437 % |
484.05/484.09 c | 762636 | 40013 292560 1145226 | 2147483647 483103 30 | 3.437 % |
489.74/489.73 c | 766263 | 40013 292560 1145226 | 2147483647 486730 30 | 3.437 % |
495.74/495.80 c | 770251 | 40013 292560 1145226 | 2147483647 490718 30 | 3.437 % |
502.84/502.81 c | 774636 | 40013 292560 1145226 | 2147483647 495103 30 | 3.437 % |
511.94/511.96 c | 779461 | 40013 292560 1145226 | 2147483647 499928 30 | 3.437 % |
515.24/515.22 c | 784766 | 39746 286901 1123004 | 2147483647 377124 27 | 4.081 % |
520.24/520.26 c | 790601 | 39746 286901 1123004 | 2147483647 382959 27 | 4.081 % |
522.94/523.00 c | 797019 | 39746 286901 1123004 | 2147483647 389377 27 | 4.081 % |
530.95/530.98 c | 804078 | 39746 286901 1123004 | 2147483647 396436 27 | 4.081 % |
531.05/531.10 c | 804179 | 39746 286901 1123004 | 2147483647 396537 27 | 4.081 % |
531.25/531.25 c | 804289 | 39746 286901 1123004 | 2147483647 396647 27 | 4.081 % |
531.55/531.56 c | 804410 | 39746 286901 1123004 | 2147483647 396768 27 | 4.081 % |
531.65/531.70 c | 804546 | 39746 286901 1123004 | 2147483647 396904 27 | 4.081 % |
531.95/531.98 c | 804694 | 39746 286901 1123004 | 2147483647 397052 27 | 4.081 % |
532.25/532.24 c | 804856 | 39746 286901 1123004 | 2147483647 397214 27 | 4.081 % |
532.55/532.52 c | 805033 | 39746 286901 1123004 | 2147483647 397391 27 | 4.081 % |
532.75/532.73 c | 805226 | 39746 286901 1123004 | 2147483647 397584 27 | 4.081 % |
533.05/533.04 c | 805438 | 39725 286901 1123004 | 2147483647 397794 27 | 4.139 % |
533.55/533.52 c | 805672 | 39724 286901 1123004 | 2147483647 398028 27 | 4.139 % |
533.75/533.80 c | 805930 | 39724 286901 1123004 | 2147483647 398286 27 | 4.139 % |
534.15/534.20 c | 806211 | 39724 286901 1123004 | 2147483647 398567 27 | 4.139 % |
534.45/534.50 c | 806522 | 39724 286901 1123004 | 2147483647 398878 27 | 4.139 % |
534.85/534.85 c | 806861 | 39724 286901 1123004 | 2147483647 399217 27 | 4.139 % |
535.35/535.36 c | 807235 | 39724 286901 1123004 | 2147483647 399591 27 | 4.139 % |
535.65/535.68 c | 807646 | 39724 286901 1123004 | 2147483647 400002 27 | 4.139 % |
536.25/536.28 c | 808095 | 39724 286901 1123004 | 2147483647 400451 27 | 4.139 % |
536.75/536.81 c | 808590 | 39724 286901 1123004 | 2147483647 400946 27 | 4.139 % |
537.25/537.26 c | 809136 | 39724 286901 1123004 | 2147483647 401492 27 | 4.139 % |
537.85/537.89 c | 809732 | 39724 286901 1123004 | 2147483647 402088 27 | 4.139 % |
538.55/538.53 c | 810389 | 39724 286901 1123004 | 2147483647 402745 27 | 4.139 % |
539.45/539.45 c | 811111 | 39723 286901 1123004 | 2147483647 403466 27 | 4.141 % |
540.65/540.68 c | 811903 | 39721 286640 1121678 | 2147483647 394397 27 | 4.141 % |
541.75/541.76 c | 812774 | 39721 286640 1121678 | 2147483647 395268 27 | 4.141 % |
542.95/542.95 c | 813732 | 39721 286640 1121678 | 2147483647 396226 27 | 4.141 % |
543.55/543.56 c | 814785 | 39721 286640 1121678 | 2147483647 397279 27 | 4.141 % |
544.95/544.93 c | 815944 | 39721 286640 1121678 | 2147483647 398438 27 | 4.141 % |
546.15/546.21 c | 817219 | 39721 286640 1121678 | 2147483647 399713 27 | 4.141 % |
547.75/547.80 c | 818620 | 39721 286640 1121678 | 2147483647 401114 27 | 4.141 % |
549.45/549.49 c | 820160 | 39721 286640 1121678 | 2147483647 402654 27 | 4.141 % |
551.35/551.33 c | 821856 | 39721 286640 1121678 | 2147483647 404350 27 | 4.141 % |
552.85/552.86 c | 823719 | 39721 286640 1121678 | 2147483647 406213 27 | 4.141 % |
554.65/554.70 c | 825770 | 39721 286640 1121678 | 2147483647 408264 27 | 4.141 % |
556.95/556.96 c | 828024 | 39713 286640 1121678 | 2147483647 410517 27 | 4.161 % |
559.55/559.57 c | 830504 | 39704 286640 1121678 | 2147483647 412996 27 | 4.221 % |
562.25/562.22 c | 833231 | 39694 286640 1121678 | 2147483647 415721 27 | 4.233 % |
564.15/564.15 c | 836228 | 39694 286640 1121678 | 2147483647 418718 27 | 4.233 % |
567.95/567.97 c | 839524 | 39694 286640 1121678 | 2147483647 422014 27 | 4.233 % |
571.95/571.99 c | 843152 | 39683 285936 1118900 | 2147483647 417551 27 | 4.233 % |
577.25/577.23 c | 847139 | 39683 285936 1118900 | 2147483647 421538 27 | 4.233 % |
582.55/582.55 c | 851524 | 39683 285936 1118900 | 2147483647 425923 27 | 4.233 % |
588.05/588.07 c | 856349 | 39683 285936 1118900 | 2147483647 430748 27 | 4.233 % |
596.26/596.30 c | 861656 | 39683 285936 1118900 | 2147483647 436055 27 | 4.233 % |
601.85/601.90 c | 867494 | 39683 285936 1118900 | 2147483647 441893 27 | 4.233 % |
613.45/613.47 c | 873913 | 39683 285936 1118900 | 2147483647 448312 27 | 4.233 % |
623.25/623.24 c | 880972 | 39237 278934 1091043 | 2147483647 407644 24 | 8.468 % |
626.85/626.86 c ===============================================================================
626.85/626.86 c restarts : 1129
626.85/626.86 c conflicts : 883478 (1422 /sec)
626.85/626.86 c decisions : 4148739 (1.57 % random) (6679 /sec)
626.85/626.86 c propagations : 306827110 (493934 /sec)
626.85/626.86 c conflict literals : 26336468 (27.98 % deleted)
626.85/626.86 c Memory used : 105.00 MB
626.85/626.86 c CPU time : 621.19 s
626.85/626.86 c
626.85/626.86 s UNSATISFIABLE
626.85/626.87 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820842-1242482142/watcher-1820842-1242482142 -o /tmp/evaluation-result-1820842-1242482142/solver-1820842-1242482142 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820842-1242482142.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 11395
/proc/meminfo: memFree=1441568/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2416 CPUtime=0
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012715131 2473984 277 4294967295 134512640 135169312 3213224880 3213223416 3085237998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11395/statm: 604 277 235 161 0 43 0
[pid=11399] ppid=11395 vsize=812 CPUtime=0
/proc/11399/stat : 11399 (SatELite_releas) R 11395 11395 10114 0 -1 4194304 74 0 0 0 0 0 0 0 25 0 1 0 1012715131 831488 11 4294967295 134512640 135223648 3219503504 3219503292 134737824 0 0 0 0 0 0 0 17 2 0 0 0
/proc/11399/statm: 204 23 18 174 0 29 0
[startup+0.035741 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 11395
/proc/meminfo: memFree=1441568/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2416 CPUtime=0
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012715131 2473984 277 4294967295 134512640 135169312 3213224880 3213223416 3085237998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11395/statm: 604 277 235 161 0 43 0
[pid=11399] ppid=11395 vsize=5760 CPUtime=0.04
/proc/11399/stat : 11399 (SatELite_releas) R 11395 11395 10114 0 -1 4202496 1266 0 0 0 3 1 0 0 25 0 1 0 1012715131 5898240 1202 4294967295 134512640 135223648 3219503504 3219502088 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11399/statm: 1440 1203 46 174 0 1265 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8176
[startup+0.115723 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 11395
/proc/meminfo: memFree=1441568/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2416 CPUtime=0
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012715131 2473984 277 4294967295 134512640 135169312 3213224880 3213223416 3085237998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11395/statm: 604 277 235 161 0 43 0
[pid=11399] ppid=11395 vsize=18512 CPUtime=0.12
/proc/11399/stat : 11399 (SatELite_releas) R 11395 11395 10114 0 -1 4202496 4070 0 0 0 10 2 0 0 25 0 1 0 1012715131 18956288 4006 4294967295 134512640 135223648 3219503504 3219502072 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11399/statm: 4628 4008 46 174 0 4453 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20928
[startup+0.315714 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 11395
/proc/meminfo: memFree=1441568/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2416 CPUtime=0
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012715131 2473984 277 4294967295 134512640 135169312 3213224880 3213223416 3085237998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11395/statm: 604 277 235 161 0 43 0
[pid=11399] ppid=11395 vsize=44072 CPUtime=0.32
/proc/11399/stat : 11399 (SatELite_releas) R 11395 11395 10114 0 -1 4202496 10772 0 0 0 20 12 0 0 25 0 1 0 1012715131 45129728 10708 4294967295 134512640 135223648 3219503504 3219502456 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11399/statm: 11018 10708 46 174 0 10843 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 46488
[startup+0.715694 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 11395
/proc/meminfo: memFree=1441568/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2416 CPUtime=0
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012715131 2473984 277 4294967295 134512640 135169312 3213224880 3213223416 3085237998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11395/statm: 604 277 235 161 0 43 0
[pid=11399] ppid=11395 vsize=95232 CPUtime=0.72
/proc/11399/stat : 11399 (SatELite_releas) R 11395 11395 10114 0 -1 4202496 23194 0 0 0 50 22 0 0 25 0 1 0 1012715131 97517568 23130 4294967295 134512640 135223648 3219503504 3219502512 134547606 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11399/statm: 23808 23130 47 174 0 23633 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 97648
[startup+1.51566 s]
/proc/loadavg: 0.93 1.00 0.99 3/95 11400
/proc/meminfo: memFree=1339128/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2416 CPUtime=0
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012715131 2473984 277 4294967295 134512640 135169312 3213224880 3213223416 3085237998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11395/statm: 604 277 235 161 0 43 0
[pid=11399] ppid=11395 vsize=110056 CPUtime=1.52
/proc/11399/stat : 11399 (SatELite_releas) R 11395 11395 10114 0 -1 4202496 28180 0 0 0 129 23 0 0 25 0 1 0 1012715131 112697344 26030 4294967295 134512640 135223648 3219503504 3219501520 134586672 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11399/statm: 27514 26030 73 174 0 27339 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 112472
[startup+3.11558 s]
/proc/loadavg: 0.93 1.00 0.99 3/95 11400
/proc/meminfo: memFree=1326480/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2416 CPUtime=0
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012715131 2473984 277 4294967295 134512640 135169312 3213224880 3213223416 3085237998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11395/statm: 604 277 235 161 0 43 0
[pid=11399] ppid=11395 vsize=116988 CPUtime=3.12
/proc/11399/stat : 11399 (SatELite_releas) R 11395 11395 10114 0 -1 4202496 29805 0 0 0 283 29 0 0 25 0 1 0 1012715131 119795712 27655 4294967295 134512640 135223648 3219503504 3219501504 134548224 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11399/statm: 29247 27655 73 174 0 29072 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 119404
[startup+6.31542 s]
/proc/loadavg: 0.93 1.00 0.99 3/95 11400
/proc/meminfo: memFree=1301944/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 2420
[startup+12.7151 s]
/proc/loadavg: 0.94 1.00 0.99 2/95 11403
/proc/meminfo: memFree=1389428/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=25228 CPUtime=7.18
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 5934 0 0 0 713 5 0 0 25 0 1 0 1012715685 25833472 5856 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 6307 5856 73 172 0 6134 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 27648
[startup+25.5145 s]
/proc/loadavg: 0.95 1.00 0.99 2/95 11403
/proc/meminfo: memFree=1382084/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=32404 CPUtime=19.98
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 7721 0 0 0 1993 5 0 0 25 0 1 0 1012715685 33181696 7643 4294967295 134512640 135215339 3216213712 3216212000 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 8101 7643 73 172 0 7928 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 34824
[startup+51.1133 s]
/proc/loadavg: 0.97 1.00 0.99 2/95 11589
/proc/meminfo: memFree=1372456/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=42356 CPUtime=45.58
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 10166 0 0 0 4553 5 0 0 25 0 1 0 1012715685 43372544 10088 4294967295 134512640 135215339 3216213712 3216212000 134529157 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 10589 10088 73 172 0 10416 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 44776
[startup+102.311 s]
/proc/loadavg: 0.98 1.00 0.99 2/95 11775
/proc/meminfo: memFree=1361512/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=52804 CPUtime=96.78
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 12758 0 0 0 9672 6 0 0 25 0 1 0 1012715685 54071296 12680 4294967295 134512640 135215339 3216213712 3216211984 134525660 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 13201 12680 73 172 0 13028 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 55224
[startup+162.308 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 11968
/proc/meminfo: memFree=1345424/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=69148 CPUtime=156.78
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 16791 0 0 0 15668 10 0 0 25 0 1 0 1012715685 70807552 16713 4294967295 134512640 135215339 3216213712 3216212000 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 17287 16713 73 172 0 17114 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 71568
[startup+222.315 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 12155
/proc/meminfo: memFree=1332752/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=81520 CPUtime=216.79
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 19946 0 0 0 21669 10 0 0 25 0 1 0 1012715685 83476480 19868 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 20380 19868 73 172 0 20207 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 83940
[startup+282.312 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 12344
/proc/meminfo: memFree=1319724/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=95040 CPUtime=276.79
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 23170 0 0 0 27666 13 0 0 25 0 1 0 1012715685 97320960 23092 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 23760 23092 73 172 0 23587 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 97460
[startup+342.319 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 12534
/proc/meminfo: memFree=1310524/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=104008 CPUtime=336.8
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 25451 0 0 0 33664 16 0 0 25 0 1 0 1012715685 106504192 25373 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26002 25373 73 172 0 25829 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 106428
[startup+402.316 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 12720
/proc/meminfo: memFree=1310432/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=104172 CPUtime=396.8
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 25486 0 0 0 39664 16 0 0 25 0 1 0 1012715685 106672128 25408 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26043 25408 73 172 0 25870 0
Current children cumulated CPU time (s) 402.34
Current children cumulated vsize (KiB) 106592
[startup+462.313 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 12909
/proc/meminfo: memFree=1307852/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=106600 CPUtime=456.8
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26114 0 0 0 45663 17 0 0 25 0 1 0 1012715685 109158400 26036 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26650 26036 73 172 0 26477 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 109020
[startup+522.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13100
/proc/meminfo: memFree=1307232/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107204 CPUtime=516.8
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26263 0 0 0 51663 17 0 0 25 0 1 0 1012715685 109776896 26185 4294967295 134512640 135215339 3216213712 3216212000 134529080 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26801 26185 73 172 0 26628 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 109624
[startup+582.318 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13289
/proc/meminfo: memFree=1307200/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107376 CPUtime=576.81
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26301 0 0 0 57664 17 0 0 25 0 1 0 1012715685 109953024 26223 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26844 26223 73 172 0 26671 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 109796
Solver just ended. Dumping a history of the last processes samples
[startup+588.717 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13289
/proc/meminfo: memFree=1307264/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107376 CPUtime=583.21
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26301 0 0 0 58304 17 0 0 25 0 1 0 1012715685 109953024 26223 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26844 26223 73 172 0 26671 0
Current children cumulated CPU time (s) 588.75
Current children cumulated vsize (KiB) 109796
[startup+601.517 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13289
/proc/meminfo: memFree=1307336/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107376 CPUtime=596.01
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26302 0 0 0 59584 17 0 0 25 0 1 0 1012715685 109953024 26224 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26844 26224 73 172 0 26671 0
Current children cumulated CPU time (s) 601.55
Current children cumulated vsize (KiB) 109796
[startup+614.316 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13291
/proc/meminfo: memFree=1307328/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107516 CPUtime=608.81
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26328 0 0 0 60864 17 0 0 25 0 1 0 1012715685 110096384 26250 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26879 26250 73 172 0 26706 0
Current children cumulated CPU time (s) 614.35
Current children cumulated vsize (KiB) 109936
[startup+620.716 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13291
/proc/meminfo: memFree=1307336/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107516 CPUtime=615.21
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26328 0 0 0 61504 17 0 0 25 0 1 0 1012715685 110096384 26250 4294967295 134512640 135215339 3216213712 3216212000 134528884 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26879 26250 73 172 0 26706 0
Current children cumulated CPU time (s) 620.75
Current children cumulated vsize (KiB) 109936
[startup+623.916 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13291
/proc/meminfo: memFree=1307336/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107516 CPUtime=618.41
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26328 0 0 0 61824 17 0 0 25 0 1 0 1012715685 110096384 26250 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26879 26250 73 172 0 26706 0
Current children cumulated CPU time (s) 623.95
Current children cumulated vsize (KiB) 109936
[startup+625.516 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13291
/proc/meminfo: memFree=1307336/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107516 CPUtime=620.01
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26328 0 0 0 61984 17 0 0 25 0 1 0 1012715685 110096384 26250 4294967295 134512640 135215339 3216213712 3216211984 134525083 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26879 26250 73 172 0 26706 0
Current children cumulated CPU time (s) 625.55
Current children cumulated vsize (KiB) 109936
[startup+626.315 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13291
/proc/meminfo: memFree=1307336/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107516 CPUtime=620.81
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26328 0 0 0 62064 17 0 0 25 0 1 0 1012715685 110096384 26250 4294967295 134512640 135215339 3216213712 3216212000 134529157 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26879 26250 73 172 0 26706 0
Current children cumulated CPU time (s) 626.35
Current children cumulated vsize (KiB) 109936
[startup+626.715 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13291
/proc/meminfo: memFree=1307336/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107516 CPUtime=621.21
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26328 0 0 0 62104 17 0 0 25 0 1 0 1012715685 110096384 26250 4294967295 134512640 135215339 3216213712 3216212000 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26879 26250 73 172 0 26706 0
Current children cumulated CPU time (s) 626.75
Current children cumulated vsize (KiB) 109936
[startup+626.815 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13291
/proc/meminfo: memFree=1307336/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107516 CPUtime=621.31
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26328 0 0 0 62114 17 0 0 25 0 1 0 1012715685 110096384 26250 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26879 26250 73 172 0 26706 0
Current children cumulated CPU time (s) 626.85
Current children cumulated vsize (KiB) 109936
Child status: 20
Real time (s): 626.893
CPU time (s): 626.92
CPU user time (s): 626.39
CPU system time (s): 0.53
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 124992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 626.39
system time used= 0.53
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60920
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= 22
involuntary context switches= 969
runsolver used 0.01 second user time and 0.04 second system time
The end
Begin job on tipi13 at 2009-05-16 15:55:42
IDJOB=1820842
IDBENCH=69630
IDSOLVER=657
FILE ID=tipi13/1820842-1242482142
PBS_JOBID=
Free space on /tmp= 7263 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nid_i.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820842-1242482142/watcher-1820842-1242482142 -o /tmp/evaluation-result-1820842-1242482142/solver-1820842-1242482142 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820842-1242482142.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5845608382cee59cce4973c50f16416c
RANDOM SEED= 985660862
Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1441600 kB
Buffers: 38488 kB
Cached: 501536 kB
SwapCached: 3452 kB
Active: 316284 kB
Inactive: 233360 kB
HighTotal: 1178688 kB
HighFree: 700524 kB
LowTotal: 895776 kB
LowFree: 741076 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 15148 kB
Writeback: 0 kB
AnonPages: 8872 kB
Mapped: 3100 kB
Slab: 74276 kB
PageTables: 632 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90596 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 7263 MiB
End job on tipi13 at 2009-05-16 16:06:10