0.00/0.00 c Parsing...
0.00/0.64 c ==============================================================================
0.00/0.64 c | | ORIGINAL | LEARNT | |
0.00/0.64 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.64 c ==============================================================================
0.00/0.64 c | 0 | 750876 1752044 | 225262 0 0 nan | 0.000 % |
5.39/5.47 c | 0 | 320735 1252421 | -- 0 -- -- | -- | -430139/-499618
5.39/5.47 c ==============================================================================
5.39/5.47 c Result : #vars: 41437 #clauses: 320735 #literals: 1252421
5.39/5.47 c CPU time: 5.21621 s
5.39/5.47 c ==============================================================================
5.88/5.90 c This is MiniSat 2.0 beta
5.88/5.90 c WARNING: for repeatability, setting FPU to use double precision
5.88/5.90 c ============================[ Problem Statistics ]=============================
5.88/5.90 c | |
5.88/5.90 c | Number of variables: 41437 |
5.88/5.90 c | Number of clauses: 320735 |
6.11/6.82 c | Parsing time: 0.20 s |
6.11/6.83 c ============================[ Search Statistics ]==============================
6.11/6.83 c | Conflicts | ORIGINAL | LEARNT | Progress |
6.11/6.83 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.11/6.83 c ===============================================================================
6.11/6.83 c | 0 | 41437 320735 1252421 | 106911 0 nan | 0.000 % |
6.11/6.88 c | 101 | 41434 320735 1252421 | 106911 99 10 | 0.010 % |
6.18/6.96 c | 201 | 41434 320735 1252421 | 106911 199 10 | 0.010 % |
6.28/7.03 c | 302 | 41434 320735 1252421 | 106911 300 11 | 0.010 % |
6.28/7.05 c | 412 | 41434 320735 1252421 | 106911 410 11 | 0.010 % |
6.28/7.07 c | 512 | 41422 320735 1252421 | 106911 507 10 | 0.063 % |
6.38/7.11 c | 622 | 41419 320735 1252421 | 106911 617 10 | 0.063 % |
6.38/7.14 c | 743 | 41419 320735 1252421 | 106911 738 11 | 0.063 % |
6.38/7.17 c | 843 | 41419 320735 1252421 | 106911 838 13 | 0.063 % |
6.48/7.21 c | 953 | 41411 320735 1252421 | 106911 947 13 | 0.082 % |
6.48/7.27 c | 1074 | 41400 320735 1252421 | 106911 1066 12 | 0.118 % |
6.48/7.30 c | 1207 | 41391 320735 1252421 | 106911 1197 12 | 0.135 % |
6.58/7.34 c | 1307 | 41390 320735 1252421 | 106911 1297 12 | 0.135 % |
6.69/7.41 c | 1417 | 41390 320735 1252421 | 106911 1407 12 | 0.135 % |
6.69/7.46 c | 1539 | 41384 320735 1252421 | 106911 1528 12 | 0.152 % |
6.69/7.49 c | 1672 | 41378 320735 1252421 | 106911 1660 13 | 0.169 % |
6.79/7.56 c | 1818 | 41378 320735 1252421 | 106911 1806 13 | 0.169 % |
6.79/7.57 c | 1918 | 41376 320735 1252421 | 106911 1904 14 | 0.176 % |
6.79/7.60 c | 2028 | 41376 320735 1252421 | 106911 2014 14 | 0.176 % |
6.89/7.65 c | 2151 | 41376 320735 1252421 | 106911 2137 16 | 0.176 % |
6.89/7.66 c | 2286 | 41376 320735 1252421 | 106911 2272 16 | 0.176 % |
6.89/7.68 c | 2433 | 41376 320735 1252421 | 106911 2419 18 | 0.176 % |
6.99/7.70 c | 2593 | 41375 320735 1252421 | 106911 2578 18 | 0.179 % |
6.99/7.77 c | 2694 | 41373 320735 1252421 | 106911 2679 18 | 0.179 % |
7.09/7.87 c | 2805 | 41362 318519 1244269 | 106911 2777 18 | 0.181 % |
7.09/7.89 c | 2928 | 41362 318519 1244269 | 106911 2900 19 | 0.181 % |
7.19/7.90 c | 3062 | 41362 318519 1244269 | 106911 3034 18 | 0.181 % |
7.19/7.95 c | 3208 | 41362 318519 1244269 | 106911 3180 18 | 0.181 % |
7.19/7.99 c | 3369 | 41361 318519 1244269 | 106911 3340 18 | 0.183 % |
7.29/8.00 c | 3545 | 41361 318519 1244269 | 106911 3516 18 | 0.183 % |
7.29/8.03 c | 3646 | 41361 318519 1244269 | 106911 3617 18 | 0.183 % |
7.29/8.05 c | 3757 | 41361 318519 1244269 | 106911 3728 17 | 0.183 % |
7.39/8.15 c | 3879 | 41361 318519 1244269 | 106911 3850 18 | 0.183 % |
7.39/8.18 c | 4014 | 41345 318519 1244269 | 106911 3976 17 | 0.350 % |
7.49/8.22 c | 4163 | 41341 318519 1244269 | 106911 4125 17 | 0.350 % |
7.49/8.27 c | 4324 | 41341 318519 1244269 | 106911 4286 17 | 0.350 % |
7.49/8.27 c | 4500 | 41341 318519 1244269 | 106911 4462 17 | 0.350 % |
7.59/8.34 c | 4693 | 41341 318519 1244269 | 106911 4655 17 | 0.350 % |
7.59/8.37 c | 4793 | 41331 318519 1244269 | 106911 4751 17 | 0.475 % |
7.68/8.41 c | 4904 | 41320 318519 1244269 | 106911 4862 18 | 0.475 % |
7.68/8.43 c | 5026 | 41320 318519 1244269 | 106911 4984 17 | 0.475 % |
7.78/8.52 c | 5159 | 41313 318519 1244269 | 106911 5117 17 | 0.475 % |
7.78/8.57 c | 5305 | 41313 318519 1244269 | 106911 5263 17 | 0.475 % |
7.88/8.64 c | 5465 | 41310 318519 1244269 | 106911 5423 17 | 0.475 % |
7.88/8.66 c | 5642 | 41310 318519 1244269 | 106911 5600 17 | 0.475 % |
7.99/8.71 c | 5836 | 41310 318519 1244269 | 106911 5794 17 | 0.475 % |
7.99/8.77 c | 6048 | 41310 318519 1244269 | 106911 6006 17 | 0.475 % |
8.09/8.81 c | 6148 | 41240 315702 1233430 | 106911 6086 17 | 0.475 % |
8.09/8.85 c | 6259 | 41240 315702 1233430 | 106911 6197 17 | 0.475 % |
8.09/8.89 c | 6382 | 41240 315702 1233430 | 106911 6320 17 | 0.475 % |
8.18/8.91 c | 6515 | 41240 315702 1233430 | 106911 6453 17 | 0.475 % |
8.18/8.93 c | 6661 | 41240 315702 1233430 | 106911 6599 18 | 0.475 % |
8.18/8.97 c | 6822 | 41239 315702 1233430 | 106911 6759 18 | 0.478 % |
8.18/8.99 c | 6998 | 41234 315702 1233430 | 106911 6934 17 | 0.490 % |
8.28/9.04 c | 7191 | 41234 315702 1233430 | 106911 7127 17 | 0.490 % |
8.28/9.07 c | 7403 | 41229 315702 1233430 | 106911 7338 17 | 0.589 % |
8.28/9.09 c | 7636 | 41229 315702 1233430 | 106911 7571 17 | 0.589 % |
8.38/9.11 c | 7737 | 41229 315702 1233430 | 106911 7672 17 | 0.589 % |
8.38/9.13 c | 7848 | 41229 315702 1233430 | 106911 7783 17 | 0.589 % |
8.38/9.14 c | 7969 | 41229 315702 1233430 | 106911 7904 17 | 0.589 % |
8.38/9.16 c | 8102 | 41229 315702 1233430 | 106911 8037 17 | 0.589 % |
8.38/9.18 c | 8248 | 41228 315702 1233430 | 106911 8182 17 | 0.603 % |
8.48/9.22 c | 8408 | 41220 315702 1233430 | 106911 8342 17 | 0.603 % |
8.48/9.26 c | 8584 | 41220 315702 1233430 | 106911 8518 17 | 0.603 % |
8.48/9.29 c | 8777 | 41220 315702 1233430 | 106911 8711 17 | 0.603 % |
8.58/9.36 c | 8989 | 41220 315702 1233430 | 106911 8923 17 | 0.603 % |
8.68/9.43 c | 9223 | 41220 315702 1233430 | 106911 9157 17 | 0.603 % |
8.68/9.45 c | 9479 | 41220 315702 1233430 | 106911 9413 17 | 0.603 % |
8.68/9.47 c | 9581 | 41220 315702 1233430 | 106911 9515 17 | 0.603 % |
8.68/9.49 c | 9691 | 41220 315702 1233430 | 106911 9625 17 | 0.603 % |
8.88/9.61 c | 9812 | 41220 315702 1233430 | 106911 9746 18 | 0.603 % |
8.88/9.64 c | 9945 | 41220 315702 1233430 | 106911 9879 18 | 0.603 % |
8.88/9.68 c | 10091 | 41220 315702 1233430 | 2147483647 10025 18 | 0.603 % |
8.98/9.74 c | 10251 | 41220 315702 1233430 | 2147483647 10185 18 | 0.603 % |
9.09/9.85 c | 10428 | 41187 315253 1231857 | 2147483647 10022 18 | 0.603 % |
9.19/9.92 c | 10622 | 41187 315253 1231857 | 2147483647 10216 18 | 0.603 % |
9.19/9.98 c | 10835 | 41187 315253 1231857 | 2147483647 10429 18 | 0.603 % |
9.28/10.03 c | 11069 | 41187 315253 1231857 | 2147483647 10663 18 | 0.603 % |
9.38/10.18 c | 11325 | 41187 315253 1231857 | 2147483647 10919 18 | 0.603 % |
9.58/10.30 c | 11607 | 41185 315253 1231857 | 2147483647 11200 18 | 0.623 % |
9.58/10.32 c | 11707 | 41185 315253 1231857 | 2147483647 11300 18 | 0.623 % |
9.58/10.33 c | 11817 | 41185 315253 1231857 | 2147483647 11410 18 | 0.623 % |
9.58/10.34 c | 11938 | 41185 315253 1231857 | 2147483647 11531 18 | 0.623 % |
9.68/10.42 c | 12072 | 41185 315253 1231857 | 2147483647 11665 18 | 0.623 % |
9.68/10.46 c | 12218 | 41185 315253 1231857 | 2147483647 11811 18 | 0.623 % |
9.68/10.48 c | 12379 | 41185 315253 1231857 | 2147483647 11972 18 | 0.623 % |
9.68/10.49 c | 12555 | 41185 315253 1231857 | 2147483647 12148 18 | 0.623 % |
9.78/10.53 c | 12751 | 41185 315253 1231857 | 2147483647 12344 18 | 0.623 % |
9.78/10.57 c | 12964 | 41185 315253 1231857 | 2147483647 12557 18 | 0.623 % |
9.88/10.60 c | 13197 | 41184 315253 1231857 | 2147483647 12789 18 | 0.630 % |
9.88/10.67 c | 13454 | 41184 315253 1231857 | 2147483647 13046 18 | 0.630 % |
9.98/10.73 c | 13735 | 41184 315253 1231857 | 2147483647 13327 18 | 0.630 % |
9.98/10.76 c | 14047 | 41184 315253 1231857 | 2147483647 13639 18 | 0.630 % |
10.08/10.82 c | 14148 | 41184 315253 1231857 | 2147483647 13740 18 | 0.630 % |
10.08/10.88 c | 14258 | 41176 314939 1230889 | 2147483647 13816 18 | 0.630 % |
10.08/10.89 c | 14380 | 41176 314939 1230889 | 2147483647 13938 18 | 0.630 % |
10.18/10.92 c | 14515 | 41176 314939 1230889 | 2147483647 14073 18 | 0.630 % |
10.18/10.94 c | 14662 | 41176 314939 1230889 | 2147483647 14220 18 | 0.630 % |
10.18/10.97 c | 14823 | 41176 314939 1230889 | 2147483647 14381 18 | 0.630 % |
10.18/10.98 c | 14999 | 41176 314939 1230889 | 2147483647 14557 18 | 0.630 % |
10.28/11.01 c | 15192 | 41176 314939 1230889 | 2147483647 14750 18 | 0.630 % |
10.28/11.08 c | 15404 | 41176 314939 1230889 | 2147483647 14962 18 | 0.630 % |
10.39/11.12 c | 15638 | 41176 314939 1230889 | 2147483647 15196 18 | 0.630 % |
10.39/11.15 c | 15895 | 41176 314939 1230889 | 2147483647 15453 18 | 0.630 % |
10.59/11.36 c | 16177 | 41176 314939 1230889 | 2147483647 15735 19 | 0.630 % |
10.69/11.41 c | 16486 | 41176 314939 1230889 | 2147483647 16044 19 | 0.630 % |
10.69/11.46 c | 16825 | 41176 314939 1230889 | 2147483647 16383 19 | 0.630 % |
10.79/11.53 c | 16926 | 41176 314939 1230889 | 2147483647 16484 19 | 0.630 % |
10.79/11.55 c | 17036 | 41176 314939 1230889 | 2147483647 16594 19 | 0.630 % |
10.88/11.62 c | 17157 | 41176 314939 1230889 | 2147483647 16715 19 | 0.630 % |
10.98/11.76 c | 17292 | 41176 314939 1230889 | 2147483647 16850 19 | 0.630 % |
11.08/11.80 c | 17438 | 41176 314939 1230889 | 2147483647 16996 19 | 0.630 % |
11.08/11.85 c | 17598 | 41176 314939 1230889 | 2147483647 17156 19 | 0.630 % |
11.08/11.89 c | 17774 | 41176 314939 1230889 | 2147483647 17332 19 | 0.630 % |
11.18/11.90 c | 17969 | 41176 314939 1230889 | 2147483647 17527 19 | 0.630 % |
11.29/12.03 c | 18183 | 41176 314939 1230889 | 2147483647 17741 19 | 0.630 % |
11.29/12.08 c | 18417 | 41176 314939 1230889 | 2147483647 17975 19 | 0.630 % |
11.39/12.18 c | 18673 | 41176 314939 1230889 | 2147483647 18231 19 | 0.630 % |
11.48/12.26 c | 18956 | 41176 314939 1230889 | 2147483647 18514 19 | 0.630 % |
11.48/12.28 c | 19265 | 41176 314939 1230889 | 2147483647 18823 19 | 0.630 % |
11.58/12.33 c | 19605 | 41176 314939 1230889 | 2147483647 19163 19 | 0.630 % |
11.68/12.42 c | 19979 | 41176 314939 1230889 | 2147483647 19537 18 | 0.630 % |
11.68/12.47 c | 20080 | 41176 314939 1230889 | 2147483647 19638 18 | 0.630 % |
11.78/12.52 c | 20191 | 41176 314939 1230889 | 2147483647 19749 18 | 0.630 % |
11.78/12.55 c | 20312 | 41176 314939 1230889 | 2147483647 19870 18 | 0.630 % |
11.78/12.58 c | 20447 | 41176 314939 1230889 | 2147483647 20005 18 | 0.630 % |
11.88/12.61 c | 20593 | 41176 314939 1230889 | 2147483647 20151 18 | 0.630 % |
11.88/12.64 c | 20754 | 41176 314939 1230889 | 2147483647 20312 19 | 0.630 % |
11.88/12.69 c | 20930 | 41176 314939 1230889 | 2147483647 20488 19 | 0.630 % |
11.98/12.72 c | 21124 | 41176 314939 1230889 | 2147483647 20682 19 | 0.630 % |
11.98/12.77 c | 21336 | 41176 314939 1230889 | 2147483647 20894 19 | 0.630 % |
12.18/12.90 c | 21570 | 41176 314939 1230889 | 2147483647 21128 19 | 0.630 % |
12.18/12.98 c | 21827 | 41176 314939 1230889 | 2147483647 21385 19 | 0.630 % |
12.28/13.05 c | 22109 | 41176 314939 1230889 | 2147483647 21667 19 | 0.630 % |
12.28/13.08 c | 22419 | 41176 314939 1230889 | 2147483647 21977 19 | 0.630 % |
12.39/13.16 c | 22758 | 41176 314939 1230889 | 2147483647 22316 19 | 0.630 % |
12.58/13.30 c | 23131 | 41176 314939 1230889 | 2147483647 22689 19 | 0.630 % |
12.58/13.34 c | 23540 | 41176 314939 1230889 | 2147483647 23098 20 | 0.630 % |
12.68/13.40 c | 23640 | 41172 314917 1230796 | 2147483647 23196 20 | 0.640 % |
12.68/13.45 c | 23750 | 41172 314917 1230796 | 2147483647 23306 20 | 0.640 % |
12.68/13.47 c | 23871 | 41172 314917 1230796 | 2147483647 23427 20 | 0.640 % |
12.78/13.52 c | 24004 | 41172 314917 1230796 | 2147483647 23560 20 | 0.640 % |
12.78/13.57 c | 24151 | 41172 314917 1230796 | 2147483647 23707 20 | 0.640 % |
12.88/13.62 c | 24312 | 41172 314917 1230796 | 2147483647 23868 20 | 0.640 % |
12.88/13.66 c | 24488 | 41172 314917 1230796 | 2147483647 24044 20 | 0.640 % |
12.88/13.69 c | 24682 | 41172 314917 1230796 | 2147483647 24238 20 | 0.640 % |
12.98/13.73 c | 24894 | 41172 314917 1230796 | 2147483647 24450 20 | 0.640 % |
12.98/13.79 c | 25127 | 41172 314917 1230796 | 2147483647 24683 20 | 0.640 % |
13.08/13.82 c | 25383 | 41172 314917 1230796 | 2147483647 24939 20 | 0.640 % |
13.08/13.89 c | 25664 | 41172 314917 1230796 | 2147483647 25220 20 | 0.640 % |
13.18/13.95 c | 25974 | 41172 314917 1230796 | 2147483647 25530 20 | 0.640 % |
13.28/14.02 c | 26313 | 41172 314917 1230796 | 2147483647 25869 20 | 0.640 % |
13.28/14.05 c | 26687 | 41172 314917 1230796 | 2147483647 26243 21 | 0.640 % |
13.38/14.13 c | 27099 | 41172 314917 1230796 | 2147483647 26655 21 | 0.640 % |
13.58/14.34 c | 27548 | 41172 314917 1230796 | 2147483647 27104 21 | 0.640 % |
13.58/14.39 c | 27648 | 41163 314917 1230796 | 2147483647 27202 21 | 0.678 % |
13.68/14.41 c | 27759 | 41163 314917 1230796 | 2147483647 27313 21 | 0.678 % |
13.68/14.43 c | 27880 | 41163 314917 1230796 | 2147483647 27434 21 | 0.678 % |
13.68/14.49 c | 28013 | 41163 314917 1230796 | 2147483647 27567 21 | 0.678 % |
13.78/14.51 c | 28159 | 41163 314917 1230796 | 2147483647 27713 21 | 0.678 % |
13.88/14.60 c | 28320 | 41163 314917 1230796 | 2147483647 27874 21 | 0.678 % |
13.88/14.66 c | 28496 | 41163 314917 1230796 | 2147483647 28050 21 | 0.678 % |
13.98/14.70 c | 28689 | 41163 314917 1230796 | 2147483647 28243 21 | 0.678 % |
13.98/14.78 c | 28901 | 41156 314636 1229835 | 2147483647 28452 21 | 0.678 % |
14.08/14.83 c | 29134 | 41156 314636 1229835 | 2147483647 28685 21 | 0.678 % |
14.08/14.88 c | 29390 | 41156 314636 1229835 | 2147483647 28941 21 | 0.678 % |
14.19/14.92 c | 29671 | 41156 314636 1229835 | 2147483647 29222 22 | 0.678 % |
14.19/14.97 c | 29980 | 41156 314636 1229835 | 2147483647 29531 22 | 0.678 % |
14.29/15.02 c | 30319 | 41156 314636 1229835 | 2147483647 29870 22 | 0.678 % |
14.29/15.07 c | 30691 | 41156 314636 1229835 | 2147483647 30242 22 | 0.678 % |
14.39/15.14 c | 31100 | 41156 314636 1229835 | 2147483647 30651 22 | 0.678 % |
14.49/15.20 c | 31549 | 41156 314636 1229835 | 2147483647 31100 22 | 0.678 % |
14.49/15.28 c | 32042 | 41156 314636 1229835 | 2147483647 31593 22 | 0.678 % |
14.49/15.29 c | 32142 | 41154 314636 1229835 | 2147483647 31691 22 | 0.690 % |
14.59/15.34 c | 32252 | 41153 314636 1229835 | 2147483647 31800 22 | 0.695 % |
14.59/15.35 c | 32373 | 41153 314636 1229835 | 2147483647 31921 22 | 0.695 % |
14.59/15.40 c | 32508 | 41153 314636 1229835 | 2147483647 32056 22 | 0.695 % |
14.79/15.51 c | 32654 | 41153 314636 1229835 | 2147483647 32202 22 | 0.695 % |
14.79/15.55 c | 32815 | 41153 314636 1229835 | 2147483647 32363 22 | 0.695 % |
14.89/15.68 c | 32991 | 41153 314636 1229835 | 2147483647 32539 23 | 0.695 % |
14.99/15.72 c | 33184 | 41153 314636 1229835 | 2147483647 32732 23 | 0.695 % |
14.99/15.75 c | 33396 | 41153 314636 1229835 | 2147483647 32944 23 | 0.695 % |
15.09/15.83 c | 33631 | 41153 314636 1229835 | 2147483647 33179 23 | 0.695 % |
15.19/15.95 c | 33887 | 41153 314636 1229835 | 2147483647 33435 23 | 0.695 % |
15.29/16.00 c | 34168 | 41153 314636 1229835 | 2147483647 33716 23 | 0.695 % |
15.39/16.11 c | 34477 | 41153 314636 1229835 | 2147483647 34025 23 | 0.695 % |
15.39/16.18 c | 34817 | 41153 314636 1229835 | 2147483647 34365 23 | 0.695 % |
15.49/16.24 c | 35189 | 41152 314636 1229835 | 2147483647 34736 23 | 0.697 % |
15.59/16.36 c | 35599 | 41148 314436 1229238 | 2147483647 35140 23 | 0.697 % |
15.79/16.57 c | 36048 | 41148 314436 1229238 | 2147483647 35589 23 | 0.697 % |
15.88/16.67 c | 36542 | 41148 314436 1229238 | 2147483647 36083 23 | 0.697 % |
16.08/16.81 c | 37084 | 41148 314436 1229238 | 2147483647 36625 23 | 0.697 % |
16.08/16.85 c | 37186 | 41148 314436 1229238 | 2147483647 36727 23 | 0.697 % |
16.08/16.87 c | 37296 | 41148 314436 1229238 | 2147483647 36837 23 | 0.697 % |
16.18/16.90 c | 37419 | 41148 314436 1229238 | 2147483647 36960 23 | 0.697 % |
16.18/16.93 c | 37554 | 41148 314436 1229238 | 2147483647 37095 23 | 0.697 % |
16.18/16.98 c | 37700 | 41148 314436 1229238 | 2147483647 37241 23 | 0.697 % |
16.28/17.01 c | 37861 | 41148 314436 1229238 | 2147483647 37402 23 | 0.697 % |
16.28/17.06 c | 38038 | 41148 314436 1229238 | 2147483647 37579 23 | 0.697 % |
16.38/17.13 c | 38233 | 41148 314436 1229238 | 2147483647 37774 23 | 0.697 % |
16.38/17.15 c | 38445 | 41148 314436 1229238 | 2147483647 37986 23 | 0.697 % |
16.48/17.21 c | 38678 | 41148 314436 1229238 | 2147483647 38219 23 | 0.697 % |
16.48/17.23 c | 38935 | 41148 314436 1229238 | 2147483647 38476 23 | 0.697 % |
16.48/17.30 c | 39217 | 41143 314436 1229238 | 2147483647 38757 23 | 0.710 % |
16.58/17.39 c | 39527 | 41143 314436 1229238 | 2147483647 39067 23 | 0.710 % |
16.68/17.47 c | 39867 | 41143 314436 1229238 | 2147483647 39407 23 | 0.710 % |
16.79/17.56 c | 40240 | 41143 314436 1229238 | 2147483647 39780 23 | 0.710 % |
16.89/17.62 c | 40650 | 41143 314436 1229238 | 2147483647 40190 23 | 0.710 % |
16.98/17.72 c | 41099 | 41143 314436 1229238 | 2147483647 40639 23 | 0.710 % |
17.08/17.84 c | 41592 | 41143 314436 1229238 | 2147483647 41132 23 | 0.710 % |
17.28/18.03 c | 42135 | 41143 314436 1229238 | 2147483647 41675 24 | 0.710 % |
17.38/18.15 c | 42732 | 41138 314436 1229238 | 2147483647 42271 24 | 0.722 % |
17.38/18.19 c | 42833 | 41138 314320 1228890 | 2147483647 42367 24 | 0.722 % |
17.58/18.30 c | 42943 | 41138 314320 1228890 | 2147483647 42477 24 | 0.722 % |
17.58/18.35 c | 43064 | 41138 314320 1228890 | 2147483647 42598 24 | 0.722 % |
17.58/18.36 c | 43198 | 41138 314320 1228890 | 2147483647 42732 24 | 0.722 % |
17.68/18.44 c | 43349 | 41138 314320 1228890 | 2147483647 42883 24 | 0.722 % |
17.78/18.58 c | 43509 | 41138 314320 1228890 | 2147483647 43043 24 | 0.722 % |
17.88/18.62 c | 43686 | 41138 314320 1228890 | 2147483647 43220 24 | 0.722 % |
17.88/18.69 c | 43879 | 41121 314320 1228890 | 2147483647 43410 24 | 0.787 % |
17.98/18.76 c | 44092 | 41120 314320 1228890 | 2147483647 43622 24 | 0.789 % |
18.08/18.81 c | 44326 | 41120 314320 1228890 | 2147483647 43856 24 | 0.789 % |
18.08/18.88 c | 44582 | 41120 314320 1228890 | 2147483647 44112 24 | 0.789 % |
18.18/18.93 c | 44863 | 41120 314320 1228890 | 2147483647 44393 24 | 0.789 % |
18.18/18.99 c | 45172 | 41120 314320 1228890 | 2147483647 44702 24 | 0.789 % |
18.38/19.14 c | 45512 | 41120 314320 1228890 | 2147483647 45042 25 | 0.789 % |
18.48/19.23 c | 45887 | 41119 314320 1228890 | 2147483647 45416 24 | 0.792 % |
18.58/19.37 c | 46296 | 41119 314320 1228890 | 2147483647 45825 25 | 0.792 % |
18.68/19.44 c | 46747 | 41119 314320 1228890 | 2147483647 46276 25 | 0.792 % |
18.78/19.55 c | 47241 | 41119 314320 1228890 | 2147483647 46770 25 | 0.792 % |
18.88/19.61 c | 47783 | 41119 314320 1228890 | 2147483647 47312 25 | 0.792 % |
19.08/19.85 c | 48379 | 41119 314320 1228890 | 2147483647 47908 25 | 0.792 % |
19.28/20.04 c | 49034 | 41119 314320 1228890 | 2147483647 48563 25 | 0.792 % |
19.38/20.10 c | 49134 | 41119 314320 1228890 | 2147483647 48663 25 | 0.792 % |
19.38/20.11 c | 49246 | 41119 314320 1228890 | 2147483647 48775 25 | 0.792 % |
19.38/20.16 c | 49367 | 41119 314320 1228890 | 2147483647 48896 25 | 0.792 % |
19.48/20.24 c | 49500 | 41119 314320 1228890 | 2147483647 49029 25 | 0.792 % |
19.58/20.33 c | 49646 | 41109 313516 1225916 | 2147483647 49170 25 | 0.792 % |
19.58/20.34 c | 49806 | 41109 313516 1225916 | 2147483647 49330 25 | 0.792 % |
19.68/20.40 c | 49982 | 41109 313516 1225916 | 2147483647 49506 25 | 0.792 % |
19.68/20.46 c | 50176 | 41109 313516 1225916 | 2147483647 49700 25 | 0.792 % |
19.78/20.53 c | 50389 | 41109 313516 1225916 | 2147483647 49913 25 | 0.792 % |
19.78/20.55 c | 50623 | 41109 313516 1225916 | 2147483647 50147 25 | 0.792 % |
19.78/20.58 c | 50883 | 41109 313516 1225916 | 2147483647 50407 25 | 0.792 % |
19.88/20.65 c | 51165 | 41109 313516 1225916 | 2147483647 50689 25 | 0.792 % |
19.98/20.79 c | 51474 | 41109 313516 1225916 | 2147483647 50998 25 | 0.792 % |
20.08/20.84 c | 51814 | 41109 313516 1225916 | 2147483647 51338 25 | 0.792 % |
20.18/20.93 c | 52186 | 41109 313516 1225916 | 2147483647 51710 25 | 0.792 % |
20.28/21.04 c | 52596 | 41109 313516 1225916 | 2147483647 52120 25 | 0.792 % |
20.48/21.20 c | 53046 | 41109 313516 1225916 | 2147483647 52570 25 | 0.792 % |
20.58/21.38 c | 53540 | 41109 313516 1225916 | 2147483647 53064 25 | 0.792 % |
20.78/21.52 c | 54082 | 41109 313516 1225916 | 2147483647 53606 25 | 0.792 % |
20.88/21.69 c | 54680 | 41109 313516 1225916 | 2147483647 54204 25 | 0.792 % |
20.98/21.79 c | 55335 | 41109 313516 1225916 | 2147483647 54859 25 | 0.792 % |
21.18/21.94 c | 56055 | 41109 313516 1225916 | 2147483647 55579 25 | 0.792 % |
21.18/21.99 c | 56155 | 41109 313516 1225916 | 2147483647 55679 25 | 0.792 % |
21.28/22.02 c | 56265 | 41109 313516 1225916 | 2147483647 55789 25 | 0.792 % |
21.28/22.04 c | 56386 | 41109 313516 1225916 | 2147483647 55910 25 | 0.792 % |
21.28/22.08 c | 56519 | 41109 313516 1225916 | 2147483647 56043 25 | 0.792 % |
21.38/22.10 c | 56665 | 41109 313516 1225916 | 2147483647 56189 25 | 0.792 % |
21.38/22.14 c | 56827 | 41109 313516 1225916 | 2147483647 56351 25 | 0.792 % |
21.48/22.21 c | 57004 | 41109 313516 1225916 | 2147483647 56528 25 | 0.792 % |
21.48/22.26 c | 57198 | 41109 313516 1225916 | 2147483647 56722 25 | 0.792 % |
21.59/22.32 c | 57412 | 41109 313516 1225916 | 2147483647 56936 25 | 0.792 % |
21.69/22.40 c | 57645 | 41109 313516 1225916 | 2147483647 57169 25 | 0.792 % |
21.69/22.45 c | 57902 | 41109 313516 1225916 | 2147483647 57426 25 | 0.792 % |
21.79/22.53 c | 58183 | 41109 313516 1225916 | 2147483647 57707 25 | 0.792 % |
21.88/22.61 c | 58492 | 41109 313516 1225916 | 2147483647 58016 25 | 0.792 % |
21.98/22.74 c | 58831 | 41109 313516 1225916 | 2147483647 58355 25 | 0.792 % |
22.08/22.87 c | 59204 | 41109 313516 1225916 | 2147483647 58728 25 | 0.792 % |
22.29/23.03 c | 59613 | 41109 313516 1225916 | 2147483647 59137 25 | 0.792 % |
22.39/23.10 c | 60062 | 41109 313516 1225916 | 2147483647 59586 25 | 0.792 % |
22.58/23.30 c | 60557 | 41109 313516 1225916 | 2147483647 60081 25 | 0.792 % |
22.68/23.40 c | 61099 | 41109 313516 1225916 | 2147483647 60623 25 | 0.792 % |
22.78/23.50 c | 61696 | 41109 313516 1225916 | 2147483647 61220 25 | 0.792 % |
22.88/23.68 c | 62351 | 41070 312278 1221260 | 2147483647 61864 25 | 0.886 % |
23.08/23.82 c | 63071 | 41070 312278 1221260 | 2147483647 62584 25 | 0.886 % |
23.08/23.88 c | 63863 | 41070 312278 1221260 | 2147483647 63376 25 | 0.886 % |
23.18/23.94 c | 63964 | 41070 312278 1221260 | 2147483647 63477 25 | 0.886 % |
23.18/23.98 c | 64074 | 41070 312278 1221260 | 2147483647 63587 25 | 0.886 % |
23.28/24.03 c | 64195 | 41070 312278 1221260 | 2147483647 63708 25 | 0.886 % |
23.28/24.09 c | 64329 | 41070 312278 1221260 | 2147483647 63842 25 | 0.886 % |
23.39/24.15 c | 64475 | 41069 312278 1221260 | 2147483647 63987 25 | 0.888 % |
23.49/24.23 c | 64636 | 41069 312278 1221260 | 2147483647 64148 25 | 0.888 % |
23.49/24.30 c | 64814 | 41069 312278 1221260 | 2147483647 64326 25 | 0.888 % |
23.58/24.34 c | 65008 | 41069 312278 1221260 | 2147483647 64520 25 | 0.888 % |
23.58/24.38 c | 65221 | 41068 312278 1221260 | 2147483647 64732 25 | 0.932 % |
23.68/24.45 c | 65455 | 41068 312278 1221260 | 2147483647 64966 25 | 0.932 % |
23.88/24.65 c | 65711 | 41068 312278 1221260 | 2147483647 65222 25 | 0.932 % |
23.98/24.73 c | 65992 | 41068 312278 1221260 | 2147483647 65503 25 | 0.932 % |
24.18/24.90 c | 66302 | 41068 312278 1221260 | 2147483647 65813 25 | 0.932 % |
24.18/24.96 c | 66643 | 41068 312278 1221260 | 2147483647 66154 25 | 0.932 % |
24.28/25.05 c | 67015 | 41068 312278 1221260 | 2147483647 66526 25 | 0.932 % |
24.38/25.17 c | 67424 | 41068 312278 1221260 | 2147483647 66935 25 | 0.932 % |
24.49/25.28 c | 67877 | 41066 312278 1221260 | 2147483647 67388 25 | 0.932 % |
24.78/25.54 c | 68370 | 41066 312278 1221260 | 2147483647 67881 25 | 0.932 % |
24.88/25.63 c | 68912 | 41066 312278 1221260 | 2147483647 68423 25 | 0.932 % |
24.98/25.78 c | 69509 | 41066 312278 1221260 | 2147483647 69020 25 | 0.932 % |
25.08/25.89 c | 70166 | 41066 312278 1221260 | 2147483647 69677 25 | 0.932 % |
25.58/26.35 c | 70887 | 41066 312278 1221260 | 2147483647 70398 26 | 0.932 % |
25.78/26.50 c | 71679 | 41066 312278 1221260 | 2147483647 71190 26 | 0.932 % |
26.08/26.82 c | 72551 | 41051 311968 1220153 | 2147483647 72061 26 | 0.932 % |
26.08/26.86 c | 72652 | 41051 311968 1220153 | 2147483647 72162 26 | 0.932 % |
26.18/26.91 c | 72763 | 41051 311968 1220153 | 2147483647 72273 26 | 0.932 % |
26.18/26.97 c | 72884 | 41051 311968 1220153 | 2147483647 72394 26 | 0.932 % |
26.27/27.02 c | 73017 | 41051 311968 1220153 | 2147483647 72527 26 | 0.932 % |
26.27/27.09 c | 73163 | 41051 311968 1220153 | 2147483647 72673 26 | 0.932 % |
26.38/27.11 c | 73323 | 41051 311968 1220153 | 2147483647 72833 26 | 0.932 % |
26.38/27.13 c | 73503 | 41051 311968 1220153 | 2147483647 73013 26 | 0.932 % |
26.48/27.21 c | 73697 | 41051 311968 1220153 | 2147483647 73207 26 | 0.932 % |
26.48/27.22 c | 73909 | 41051 311968 1220153 | 2147483647 73419 26 | 0.932 % |
26.58/27.30 c | 74142 | 41051 311968 1220153 | 2147483647 73652 26 | 0.932 % |
26.58/27.37 c | 74400 | 41051 311968 1220153 | 2147483647 73910 26 | 0.932 % |
26.69/27.49 c | 74684 | 41051 311968 1220153 | 2147483647 74194 26 | 0.932 % |
26.79/27.59 c | 74995 | 41051 311968 1220153 | 2147483647 74505 26 | 0.932 % |
26.98/27.73 c | 75335 | 41051 311968 1220153 | 2147483647 74845 26 | 0.932 % |
27.08/27.85 c | 75707 | 41046 311968 1220153 | 2147483647 75216 26 | 1.038 % |
27.18/27.98 c | 76118 | 41046 311968 1220153 | 2147483647 75627 26 | 1.038 % |
27.28/28.10 c | 76567 | 41046 311968 1220153 | 2147483647 76076 26 | 1.038 % |
27.48/28.21 c | 77061 | 41046 311968 1220153 | 2147483647 76570 26 | 1.038 % |
27.68/28.44 c | 77603 | 41045 311968 1220153 | 2147483647 77111 26 | 1.040 % |
27.89/28.65 c | 78199 | 41044 311968 1220153 | 2147483647 77707 26 | 1.040 % |
28.08/28.84 c | 78856 | 41044 311968 1220153 | 2147483647 78364 26 | 1.040 % |
28.18/28.96 c | 79577 | 41044 311968 1220153 | 2147483647 79085 26 | 1.040 % |
28.68/29.48 c | 80370 | 41033 311968 1220153 | 2147483647 79878 26 | 1.040 % |
29.08/29.83 c | 81241 | 41032 311968 1220153 | 2147483647 80748 26 | 1.043 % |
29.28/30.06 c | 82200 | 41005 311003 1216612 | 2147483647 81700 26 | 1.043 % |
29.38/30.10 c | 82301 | 41005 311003 1216612 | 2147483647 81801 26 | 1.043 % |
29.38/30.12 c | 82412 | 41005 311003 1216612 | 2147483647 81912 26 | 1.043 % |
29.38/30.14 c | 82534 | 41005 311003 1216612 | 2147483647 82034 26 | 1.043 % |
29.48/30.24 c | 82667 | 41005 311003 1216612 | 2147483647 82167 26 | 1.043 % |
29.48/30.27 c | 82813 | 41005 311003 1216612 | 2147483647 82313 26 | 1.043 % |
29.58/30.35 c | 82973 | 41005 311003 1216612 | 2147483647 82473 26 | 1.043 % |
29.68/30.42 c | 83150 | 41005 311003 1216612 | 2147483647 82650 26 | 1.043 % |
29.78/30.50 c | 83344 | 41005 311003 1216612 | 2147483647 82844 26 | 1.043 % |
29.88/30.66 c | 83557 | 41005 311003 1216612 | 2147483647 83057 26 | 1.043 % |
29.98/30.78 c | 83790 | 41005 311003 1216612 | 2147483647 83290 26 | 1.043 % |
30.08/30.86 c | 84047 | 41005 311003 1216612 | 2147483647 83547 26 | 1.043 % |
30.18/30.97 c | 84328 | 41005 311003 1216612 | 2147483647 83828 26 | 1.043 % |
30.28/31.04 c | 84638 | 41005 311003 1216612 | 2147483647 84138 26 | 1.043 % |
30.48/31.22 c | 84980 | 41005 311003 1216612 | 2147483647 84480 26 | 1.043 % |
30.58/31.33 c | 85352 | 41005 311003 1216612 | 2147483647 84852 26 | 1.043 % |
30.68/31.40 c | 85761 | 41005 311003 1216612 | 2147483647 85261 26 | 1.043 % |
30.88/31.69 c | 86210 | 41005 311003 1216612 | 2147483647 85710 26 | 1.043 % |
30.98/31.74 c | 86703 | 41005 311003 1216612 | 2147483647 86203 26 | 1.043 % |
31.27/32.08 c | 87245 | 41005 311003 1216612 | 2147483647 86745 26 | 1.043 % |
31.47/32.20 c | 87843 | 41005 311003 1216612 | 2147483647 87343 26 | 1.043 % |
31.77/32.56 c | 88499 | 41005 311003 1216612 | 2147483647 87999 26 | 1.043 % |
31.97/32.73 c | 89221 | 41005 311003 1216612 | 2147483647 88721 26 | 1.043 % |
32.17/32.94 c | 90015 | 41005 311003 1216612 | 2147483647 89515 26 | 1.043 % |
32.47/33.25 c | 90886 | 41005 311003 1216612 | 2147483647 90386 25 | 1.043 % |
32.77/33.59 c | 91844 | 41005 311003 1216612 | 2147483647 91344 26 | 1.043 % |
33.17/33.99 c | 92899 | 40986 310751 1215757 | 2147483647 92397 26 | 1.105 % |
33.27/34.02 c | 92999 | 40986 310751 1215757 | 2147483647 92497 26 | 1.105 % |
33.27/34.06 c | 93109 | 40986 310751 1215757 | 2147483647 92607 26 | 1.105 % |
33.37/34.13 c | 93231 | 40986 310751 1215757 | 2147483647 92729 26 | 1.105 % |
33.37/34.17 c | 93364 | 40986 310751 1215757 | 2147483647 92862 26 | 1.105 % |
33.47/34.23 c | 93511 | 40986 310751 1215757 | 2147483647 93009 26 | 1.105 % |
33.57/34.33 c | 93671 | 40986 310751 1215757 | 2147483647 93169 26 | 1.105 % |
33.57/34.37 c | 93849 | 40985 310751 1215757 | 2147483647 93346 26 | 1.108 % |
33.67/34.45 c | 94042 | 40985 310751 1215757 | 2147483647 93539 26 | 1.108 % |
33.77/34.57 c | 94254 | 40985 310751 1215757 | 2147483647 93751 26 | 1.108 % |
33.87/34.63 c | 94488 | 40985 310751 1215757 | 2147483647 93985 25 | 1.108 % |
33.97/34.72 c | 94745 | 40985 310751 1215757 | 2147483647 94242 26 | 1.108 % |
34.07/34.84 c | 95026 | 40985 310751 1215757 | 2147483647 94523 25 | 1.108 % |
34.17/35.00 c | 95336 | 40985 310751 1215757 | 2147483647 94833 25 | 1.108 % |
34.27/35.09 c | 95676 | 40985 310751 1215757 | 2147483647 95173 25 | 1.108 % |
34.48/35.22 c | 96049 | 40985 310751 1215757 | 2147483647 95546 25 | 1.108 % |
34.57/35.37 c | 96458 | 40979 310751 1215757 | 2147483647 95954 26 | 1.122 % |
34.77/35.56 c | 96908 | 40979 310751 1215757 | 2147483647 96404 26 | 1.122 % |
34.87/35.68 c | 97401 | 40979 310751 1215757 | 2147483647 96897 26 | 1.122 % |
35.17/35.91 c | 97943 | 40979 310751 1215757 | 2147483647 97439 26 | 1.122 % |
35.37/36.12 c | 98539 | 40979 310751 1215757 | 2147483647 98035 26 | 1.122 % |
35.58/36.34 c | 99196 | 40979 310751 1215757 | 2147483647 98692 26 | 1.122 % |
35.88/36.64 c | 99916 | 40979 310751 1215757 | 2147483647 99412 26 | 1.122 % |
36.18/36.92 c | 100710 | 40977 310751 1215757 | 2147483647 100205 26 | 1.132 % |
36.57/37.34 c | 101581 | 40976 310751 1215757 | 2147483647 101076 26 | 1.132 % |
36.77/37.57 c | 102540 | 40976 310751 1215757 | 2147483647 102035 26 | 1.132 % |
37.17/37.94 c | 103594 | 40975 310751 1215757 | 2147483647 103089 26 | 1.132 % |
37.46/38.22 c | 104753 | 40941 310751 1215757 | 2147483647 104247 26 | 1.356 % |
37.46/38.28 c | 104853 | 40941 310751 1215757 | 2147483647 104347 26 | 1.356 % |
37.56/38.34 c | 104964 | 40941 310751 1215757 | 2147483647 104458 26 | 1.356 % |
37.56/38.40 c | 105085 | 40941 310751 1215757 | 2147483647 104579 26 | 1.356 % |
37.77/38.51 c | 105219 | 40875 308189 1206631 | 2147483647 104670 26 | 1.356 % |
37.77/38.59 c | 105365 | 40875 308189 1206631 | 2147483647 104816 26 | 1.356 % |
37.86/38.68 c | 105525 | 40875 308189 1206631 | 2147483647 104976 26 | 1.356 % |
37.96/38.75 c | 105701 | 40875 308189 1206631 | 2147483647 105152 26 | 1.356 % |
38.06/38.82 c | 105894 | 40875 308189 1206631 | 2147483647 105345 26 | 1.356 % |
38.16/38.91 c | 106106 | 40875 308189 1206631 | 2147483647 105557 26 | 1.356 % |
38.26/39.01 c | 106340 | 40875 308189 1206631 | 2147483647 105791 26 | 1.356 % |
38.36/39.13 c | 106596 | 40875 308189 1206631 | 2147483647 106047 26 | 1.356 % |
38.46/39.22 c | 106878 | 40875 308189 1206631 | 2147483647 106329 26 | 1.356 % |
38.46/39.26 c | 107188 | 40875 308189 1206631 | 2147483647 106639 26 | 1.356 % |
38.66/39.44 c | 107527 | 40875 308189 1206631 | 2147483647 106978 26 | 1.356 % |
38.77/39.57 c | 107900 | 40875 308189 1206631 | 2147483647 107351 26 | 1.356 % |
38.87/39.68 c | 108309 | 40875 308189 1206631 | 2147483647 107760 26 | 1.356 % |
39.16/39.91 c | 108758 | 40875 308189 1206631 | 2147483647 108209 26 | 1.356 % |
39.36/40.14 c | 109251 | 40875 308189 1206631 | 2147483647 108702 26 | 1.356 % |
39.56/40.37 c | 109793 | 40875 308189 1206631 | 2147483647 109244 26 | 1.356 % |
39.86/40.67 c | 110390 | 40875 308189 1206631 | 2147483647 109841 26 | 1.356 % |
40.16/40.92 c | 111045 | 40875 308189 1206631 | 2147483647 110496 25 | 1.356 % |
40.36/41.10 c | 111765 | 40875 308189 1206631 | 2147483647 111216 26 | 1.356 % |
40.66/41.48 c | 112557 | 40875 308189 1206631 | 2147483647 112008 25 | 1.356 % |
41.06/41.81 c | 113428 | 40875 308189 1206631 | 2147483647 112879 25 | 1.356 % |
41.36/42.13 c | 114387 | 40875 308189 1206631 | 2147483647 113838 25 | 1.356 % |
41.86/42.63 c | 115441 | 40875 308189 1206631 | 2147483647 114892 25 | 1.356 % |
42.46/43.21 c | 116599 | 40875 308189 1206631 | 2147483647 116050 25 | 1.356 % |
42.66/43.49 c | 117872 | 40875 308189 1206631 | 2147483647 117323 25 | 1.356 % |
42.76/43.57 c | 117972 | 40875 308189 1206631 | 2147483647 117423 25 | 1.356 % |
42.86/43.61 c | 118083 | 40875 308189 1206631 | 2147483647 117534 25 | 1.356 % |
42.86/43.68 c | 118204 | 40875 308189 1206631 | 2147483647 117655 25 | 1.356 % |
42.96/43.73 c | 118338 | 40875 308189 1206631 | 2147483647 117789 25 | 1.356 % |
43.06/43.83 c | 118485 | 40875 308189 1206631 | 2147483647 117936 25 | 1.356 % |
43.06/43.87 c | 118646 | 40875 308189 1206631 | 2147483647 118097 25 | 1.356 % |
43.16/43.99 c | 118823 | 40875 308189 1206631 | 2147483647 118274 25 | 1.356 % |
43.26/44.07 c | 119017 | 40875 308189 1206631 | 2147483647 118468 25 | 1.356 % |
43.36/44.16 c | 119230 | 40875 308189 1206631 | 2147483647 118681 25 | 1.356 % |
43.46/44.29 c | 119464 | 40875 308189 1206631 | 2147483647 118915 25 | 1.356 % |
43.56/44.39 c | 119720 | 40875 308189 1206631 | 2147483647 119171 25 | 1.356 % |
43.75/44.54 c | 120002 | 40875 308189 1206631 | 2147483647 119453 25 | 1.356 % |
43.75/44.59 c | 120312 | 40875 308189 1206631 | 2147483647 119763 25 | 1.356 % |
44.15/44.95 c | 120653 | 40874 308138 1206484 | 2147483647 120102 25 | 1.359 % |
44.36/45.12 c | 121027 | 40874 308138 1206484 | 2147483647 120476 25 | 1.359 % |
44.45/45.27 c | 121436 | 40874 308138 1206484 | 2147483647 120885 25 | 1.359 % |
44.65/45.48 c | 121885 | 40874 308138 1206484 | 2147483647 121334 25 | 1.359 % |
44.85/45.65 c | 122378 | 40874 308138 1206484 | 2147483647 121827 25 | 1.359 % |
45.25/46.02 c | 122921 | 40874 308138 1206484 | 2147483647 122370 25 | 1.359 % |
45.45/46.20 c | 123517 | 40873 308138 1206484 | 2147483647 122965 25 | 1.361 % |
45.75/46.53 c | 124173 | 40873 308138 1206484 | 2147483647 123621 25 | 1.361 % |
46.15/46.91 c | 124894 | 40873 308138 1206484 | 2147483647 124342 25 | 1.361 % |
46.35/47.20 c | 125686 | 40873 308138 1206484 | 2147483647 125134 25 | 1.361 % |
46.45/47.23 c | 126560 | 40873 308138 1206484 | 2147483647 126008 25 | 1.361 % |
46.85/47.68 c | 127519 | 40873 308138 1206484 | 2147483647 126967 25 | 1.361 % |
47.25/48.04 c | 128573 | 40873 308138 1206484 | 2147483647 128021 25 | 1.361 % |
47.55/48.33 c | 129736 | 40873 308138 1206484 | 2147483647 129184 25 | 1.361 % |
47.95/48.70 c | 131009 | 40873 308138 1206484 | 2147483647 130457 25 | 1.361 % |
48.26/49.09 c | 132411 | 40873 308138 1206484 | 2147483647 131859 25 | 1.361 % |
48.36/49.17 c | 132511 | 40873 308138 1206484 | 2147483647 131959 25 | 1.361 % |
48.46/49.23 c | 132621 | 40873 308138 1206484 | 2147483647 132069 25 | 1.361 % |
48.46/49.27 c | 132743 | 40873 308138 1206484 | 2147483647 132191 25 | 1.361 % |
48.56/49.38 c | 132876 | 40873 308138 1206484 | 2147483647 132324 25 | 1.361 % |
48.66/49.44 c | 133022 | 40873 308138 1206484 | 2147483647 132470 25 | 1.361 % |
48.76/49.51 c | 133182 | 40873 308138 1206484 | 2147483647 132630 25 | 1.361 % |
48.76/49.59 c | 133358 | 40873 308138 1206484 | 2147483647 132806 25 | 1.361 % |
48.95/49.72 c | 133551 | 40873 308138 1206484 | 2147483647 132999 25 | 1.361 % |
49.05/49.80 c | 133763 | 40873 308138 1206484 | 2147483647 133211 25 | 1.361 % |
49.15/49.94 c | 133996 | 40873 308138 1206484 | 2147483647 133443 25 | 1.366 % |
49.25/50.03 c | 134252 | 40873 308138 1206484 | 2147483647 133699 25 | 1.366 % |
49.25/50.07 c | 134535 | 40873 308138 1206484 | 2147483647 133982 25 | 1.366 % |
49.55/50.37 c | 134844 | 40871 308138 1206484 | 2147483647 134291 25 | 1.366 % |
49.95/50.74 c | 135183 | 40871 308138 1206484 | 2147483647 134630 25 | 1.366 % |
50.25/51.02 c | 135556 | 40871 308138 1206484 | 2147483647 135003 25 | 1.366 % |
50.55/51.34 c | 135966 | 40871 308088 1206326 | 2147483647 135400 25 | 1.366 % |
50.75/51.53 c | 136415 | 40871 308088 1206326 | 2147483647 135849 26 | 1.366 % |
50.86/51.68 c | 136908 | 40871 308088 1206326 | 2147483647 136342 26 | 1.366 % |
51.15/51.92 c | 137450 | 40871 308088 1206326 | 2147483647 136884 25 | 1.366 % |
51.25/52.10 c | 138046 | 40871 308088 1206326 | 2147483647 137480 26 | 1.366 % |
51.45/52.29 c | 138703 | 40871 308088 1206326 | 2147483647 138137 25 | 1.366 % |
51.65/52.47 c | 139424 | 40871 308088 1206326 | 2147483647 138858 25 | 1.366 % |
52.25/53.04 c | 140216 | 40871 308088 1206326 | 2147483647 139650 25 | 1.366 % |
52.35/53.16 c | 141089 | 40871 308088 1206326 | 2147483647 140523 25 | 1.366 % |
52.45/53.22 c | 142048 | 40871 308088 1206326 | 2147483647 141482 25 | 1.366 % |
52.75/53.58 c | 143102 | 40866 308088 1206326 | 2147483647 142531 25 | 1.378 % |
52.85/53.63 c | 144264 | 40866 308088 1206326 | 2147483647 143693 25 | 1.378 % |
53.05/53.84 c | 145541 | 40866 308088 1206326 | 2147483647 144970 25 | 1.378 % |
53.55/54.33 c | 146941 | 40865 308088 1206326 | 2147483647 146369 25 | 1.388 % |
54.05/54.86 c | 148481 | 40865 308088 1206326 | 2147483647 147909 25 | 1.388 % |
54.05/54.90 c | 148581 | 40865 308088 1206326 | 2147483647 148009 25 | 1.388 % |
54.15/54.99 c | 148693 | 40865 308088 1206326 | 2147483647 148121 25 | 1.388 % |
54.25/55.04 c | 148814 | 40865 308088 1206326 | 2147483647 148242 25 | 1.388 % |
54.35/55.11 c | 148951 | 40865 308088 1206326 | 2147483647 148379 25 | 1.388 % |
54.35/55.18 c | 149097 | 40865 308088 1206326 | 2147483647 148525 25 | 1.388 % |
54.55/55.31 c | 149258 | 40858 308088 1206326 | 2147483647 148685 25 | 1.438 % |
54.55/55.38 c | 149435 | 40858 308088 1206326 | 2147483647 148862 25 | 1.438 % |
54.85/55.64 c | 149628 | 40850 308088 1206326 | 2147483647 149055 25 | 1.438 % |
54.85/55.69 c | 149840 | 40850 308088 1206326 | 2147483647 149267 25 | 1.438 % |
55.05/55.85 c | 150074 | 40850 308088 1206326 | 2147483647 149501 25 | 1.438 % |
55.25/56.02 c | 150330 | 40849 308088 1206326 | 2147483647 149756 25 | 1.441 % |
55.35/56.18 c | 150611 | 40849 308088 1206326 | 2147483647 150037 25 | 1.441 % |
55.45/56.28 c | 150920 | 40849 308088 1206326 | 2147483647 150346 25 | 1.441 % |
55.65/56.47 c | 151259 | 40848 308088 1206326 | 2147483647 150684 25 | 1.443 % |
55.85/56.60 c | 151631 | 40848 308088 1206326 | 2147483647 151056 25 | 1.443 % |
56.05/56.86 c | 152041 | 40848 308088 1206326 | 2147483647 151466 25 | 1.443 % |
56.25/57.04 c | 152490 | 40834 308088 1206326 | 2147483647 151914 25 | 2.155 % |
56.45/57.23 c | 152986 | 40790 308088 1206326 | 2147483647 152410 25 | 2.155 % |
56.64/57.44 c | 153528 | 40790 308088 1206326 | 2147483647 152952 25 | 2.155 % |
56.94/57.72 c | 154125 | 40790 308088 1206326 | 2147483647 153549 25 | 2.155 % |
57.24/58.04 c | 154782 | 40541 301521 1180250 | 2147483647 124618 20 | 2.162 % |
57.34/58.16 c | 155502 | 40541 301521 1180250 | 2147483647 125338 20 | 2.162 % |
57.74/58.57 c | 156294 | 40538 301521 1180250 | 2147483647 126129 20 | 2.170 % |
57.94/58.74 c | 157165 | 40538 301521 1180250 | 2147483647 127000 20 | 2.170 % |
58.44/59.21 c | 158125 | 40538 301521 1180250 | 2147483647 127960 20 | 2.170 % |
58.74/59.52 c | 159179 | 40538 301521 1180250 | 2147483647 129014 20 | 2.170 % |
59.04/59.81 c | 160339 | 40537 301521 1180250 | 2147483647 130173 20 | 2.172 % |
59.24/60.06 c | 161612 | 40537 301521 1180250 | 2147483647 131446 20 | 2.172 % |
59.44/60.21 c | 163012 | 40537 301521 1180250 | 2147483647 132846 20 | 2.172 % |
59.84/60.68 c | 164552 | 40537 301521 1180250 | 2147483647 134386 20 | 2.172 % |
60.34/61.17 c | 166247 | 40536 301521 1180250 | 2147483647 136080 20 | 2.174 % |
60.34/61.19 c | 166347 | 40536 301521 1180250 | 2147483647 136180 20 | 2.174 % |
60.44/61.22 c | 166457 | 40536 301521 1180250 | 2147483647 136290 20 | 2.174 % |
60.44/61.27 c | 166579 | 40536 301521 1180250 | 2147483647 136412 20 | 2.174 % |
60.54/61.34 c | 166713 | 40536 301521 1180250 | 2147483647 136546 20 | 2.174 % |
60.54/61.37 c | 166859 | 40536 301521 1180250 | 2147483647 136692 20 | 2.174 % |
60.64/61.50 c | 167020 | 40536 301521 1180250 | 2147483647 136853 20 | 2.174 % |
60.74/61.58 c | 167198 | 40536 301521 1180250 | 2147483647 137031 20 | 2.174 % |
60.84/61.66 c | 167392 | 40536 301521 1180250 | 2147483647 137225 20 | 2.174 % |
60.94/61.74 c | 167604 | 40536 301521 1180250 | 2147483647 137437 20 | 2.174 % |
61.04/61.82 c | 167837 | 40536 301521 1180250 | 2147483647 137670 20 | 2.174 % |
61.14/61.98 c | 168093 | 40536 301521 1180250 | 2147483647 137926 20 | 2.174 % |
61.24/62.09 c | 168376 | 40536 301521 1180250 | 2147483647 138209 20 | 2.174 % |
61.34/62.20 c | 168686 | 40536 301374 1179672 | 2147483647 135931 20 | 2.174 % |
61.64/62.41 c | 169028 | 40536 301374 1179672 | 2147483647 136273 20 | 2.174 % |
61.74/62.54 c | 169400 | 40536 301374 1179672 | 2147483647 136645 20 | 2.174 % |
61.94/62.75 c | 169809 | 40536 301374 1179672 | 2147483647 137054 20 | 2.174 % |
62.24/63.07 c | 170258 | 40536 301374 1179672 | 2147483647 137503 20 | 2.174 % |
62.34/63.18 c | 170752 | 40536 301374 1179672 | 2147483647 137997 20 | 2.174 % |
62.74/63.52 c | 171295 | 40536 301374 1179672 | 2147483647 138540 20 | 2.174 % |
62.84/63.68 c | 171893 | 40536 301374 1179672 | 2147483647 139138 20 | 2.174 % |
63.24/64.00 c | 172549 | 40536 301374 1179672 | 2147483647 139794 20 | 2.174 % |
63.44/64.27 c | 173269 | 40536 301374 1179672 | 2147483647 140514 20 | 2.174 % |
63.74/64.52 c | 174063 | 40536 301374 1179672 | 2147483647 141308 20 | 2.174 % |
64.44/65.20 c | 174934 | 40536 301374 1179672 | 2147483647 142179 20 | 2.174 % |
64.84/65.68 c | 175893 | 40536 301374 1179672 | 2147483647 143138 20 | 2.174 % |
65.14/65.93 c | 176946 | 40536 301374 1179672 | 2147483647 144191 20 | 2.174 % |
65.24/66.06 c | 178105 | 40536 301374 1179672 | 2147483647 145350 20 | 2.174 % |
65.74/66.52 c | 179378 | 40536 301374 1179672 | 2147483647 146623 21 | 2.174 % |
66.14/66.99 c | 180779 | 40536 301374 1179672 | 2147483647 148024 21 | 2.174 % |
66.34/67.18 c | 182319 | 40536 301374 1179672 | 2147483647 149564 21 | 2.174 % |
66.94/67.77 c | 184013 | 40536 301374 1179672 | 2147483647 151258 21 | 2.174 % |
67.04/67.86 c | 185876 | 40536 301374 1179672 | 2147483647 153121 21 | 2.174 % |
67.14/67.91 c | 185976 | 40536 301374 1179672 | 2147483647 153221 21 | 2.174 % |
67.23/68.05 c | 186086 | 40535 301289 1179307 | 2147483647 152939 21 | 2.177 % |
67.34/68.16 c | 186210 | 40535 301289 1179307 | 2147483647 153063 21 | 2.177 % |
67.34/68.20 c | 186343 | 40535 301289 1179307 | 2147483647 153196 21 | 2.177 % |
67.44/68.27 c | 186489 | 40535 301289 1179307 | 2147483647 153342 21 | 2.177 % |
67.53/68.35 c | 186652 | 40535 301289 1179307 | 2147483647 153505 21 | 2.177 % |
67.73/68.51 c | 186828 | 40535 301289 1179307 | 2147483647 153681 21 | 2.177 % |
67.73/68.56 c | 187021 | 40525 301289 1179307 | 2147483647 153871 21 | 2.213 % |
67.93/68.71 c | 187233 | 40525 301289 1179307 | 2147483647 154083 21 | 2.213 % |
67.93/68.79 c | 187467 | 40525 301289 1179307 | 2147483647 154317 21 | 2.213 % |
68.13/68.94 c | 187723 | 40520 301289 1179307 | 2147483647 154573 21 | 2.213 % |
68.33/69.12 c | 188004 | 40520 301289 1179307 | 2147483647 154854 21 | 2.213 % |
68.44/69.24 c | 188315 | 40520 301289 1179307 | 2147483647 155165 21 | 2.213 % |
68.54/69.37 c | 188655 | 40520 301289 1179307 | 2147483647 155505 21 | 2.213 % |
68.83/69.62 c | 189028 | 40520 301289 1179307 | 2147483647 155878 21 | 2.213 % |
69.03/69.88 c | 189438 | 40513 301289 1179307 | 2147483647 156285 21 | 2.377 % |
69.13/69.96 c | 189890 | 40513 301289 1179307 | 2147483647 156737 21 | 2.377 % |
69.43/70.23 c | 190383 | 40512 301289 1179307 | 2147483647 157230 21 | 2.377 % |
69.73/70.50 c | 190925 | 40483 301289 1179307 | 2147483647 157769 21 | 2.536 % |
69.83/70.69 c | 191522 | 40483 301289 1179307 | 2147483647 158366 21 | 2.536 % |
69.93/70.80 c | 192177 | 40483 301289 1179307 | 2147483647 159021 21 | 2.536 % |
70.33/71.14 c | 192900 | 40452 301289 1179307 | 2147483647 159743 21 | 2.539 % |
70.43/71.27 c | 193694 | 40452 301289 1179307 | 2147483647 160537 21 | 2.539 % |
70.83/71.60 c | 194566 | 40452 301289 1179307 | 2147483647 161409 21 | 2.539 % |
71.23/72.07 c | 195524 | 40452 301289 1179307 | 2147483647 162367 21 | 2.539 % |
71.53/72.31 c | 196577 | 40452 301289 1179307 | 2147483647 163420 21 | 2.539 % |
71.83/72.68 c | 197741 | 40448 301289 1179307 | 2147483647 164581 21 | 2.548 % |
72.23/73.09 c | 199014 | 40448 301289 1179307 | 2147483647 165854 21 | 2.548 % |
72.83/73.69 c | 200415 | 40448 301289 1179307 | 2147483647 167255 21 | 2.548 % |
73.33/74.12 c | 201955 | 40381 299096 1170459 | 2147483647 165417 21 | 2.548 % |
73.83/74.65 c | 203649 | 40380 299096 1170459 | 2147483647 167110 21 | 2.553 % |
74.83/75.62 c | 205515 | 40379 299096 1170459 | 2147483647 168976 21 | 2.553 % |
75.23/76.08 c | 207568 | 40379 299096 1170459 | 2147483647 171029 21 | 2.553 % |
75.33/76.15 c | 207668 | 40378 299096 1170459 | 2147483647 171128 21 | 2.570 % |
75.43/76.20 c | 207779 | 40378 299096 1170459 | 2147483647 171239 21 | 2.570 % |
75.43/76.28 c | 207900 | 40378 299096 1170459 | 2147483647 171360 21 | 2.570 % |
75.63/76.42 c | 208034 | 40378 299096 1170459 | 2147483647 171494 21 | 2.570 % |
75.73/76.53 c | 208181 | 40378 299096 1170459 | 2147483647 171641 21 | 2.570 % |
75.83/76.60 c | 208341 | 40378 299096 1170459 | 2147483647 171801 21 | 2.570 % |
75.93/76.73 c | 208517 | 40376 299096 1170459 | 2147483647 171977 21 | 2.570 % |
76.03/76.88 c | 208710 | 40376 299096 1170459 | 2147483647 172170 21 | 2.570 % |
76.23/77.09 c | 208922 | 40376 299096 1170459 | 2147483647 172382 21 | 2.570 % |
76.43/77.22 c | 209157 | 40376 299096 1170459 | 2147483647 172617 21 | 2.570 % |
76.54/77.36 c | 209415 | 40376 299096 1170459 | 2147483647 172875 21 | 2.570 % |
76.74/77.50 c | 209697 | 40376 299096 1170459 | 2147483647 173157 21 | 2.570 % |
76.94/77.74 c | 210007 | 40370 299096 1170459 | 2147483647 173465 21 | 2.587 % |
77.14/77.90 c | 210347 | 40370 299096 1170459 | 2147483647 173805 21 | 2.587 % |
77.34/78.15 c | 210719 | 40370 299096 1170459 | 2147483647 174177 21 | 2.587 % |
77.64/78.42 c | 211129 | 40367 299096 1170459 | 2147483647 174587 21 | 2.587 % |
77.84/78.62 c | 211578 | 40367 299096 1170459 | 2147483647 175036 21 | 2.587 % |
78.04/78.86 c | 212071 | 40367 299096 1170459 | 2147483647 175529 21 | 2.587 % |
78.34/79.11 c | 212614 | 40367 299096 1170459 | 2147483647 176072 21 | 2.587 % |
78.73/79.59 c | 213210 | 40364 299096 1170459 | 2147483647 176667 21 | 2.594 % |
79.03/79.85 c | 213867 | 40364 299096 1170459 | 2147483647 177324 21 | 2.594 % |
79.53/80.36 c | 214587 | 40362 298869 1169399 | 2147483647 177490 21 | 2.594 % |
79.73/80.56 c | 215379 | 40362 298869 1169399 | 2147483647 178282 21 | 2.594 % |
80.13/80.94 c | 216251 | 40358 298869 1169399 | 2147483647 179153 21 | 2.606 % |
80.43/81.25 c | 217210 | 40358 298869 1169399 | 2147483647 180112 21 | 2.606 % |
80.73/81.58 c | 218263 | 40358 298869 1169399 | 2147483647 181165 21 | 2.606 % |
81.23/82.04 c | 219422 | 40358 298869 1169399 | 2147483647 182324 21 | 2.606 % |
81.53/82.37 c | 220696 | 40357 298869 1169399 | 2147483647 183597 21 | 2.609 % |
81.73/82.55 c | 222096 | 40357 298869 1169399 | 2147483647 184997 21 | 2.609 % |
81.93/82.72 c | 223636 | 40357 298869 1169399 | 2147483647 186537 21 | 2.609 % |
82.63/83.42 c | 225330 | 40357 298869 1169399 | 2147483647 188231 21 | 2.609 % |
83.52/84.37 c | 227193 | 40357 298869 1169399 | 2147483647 190094 21 | 2.609 % |
84.62/85.46 c | 229242 | 40357 298869 1169399 | 2147483647 192143 21 | 2.609 % |
85.43/86.28 c | 231495 | 40357 298869 1169399 | 2147483647 194396 22 | 2.609 % |
85.43/86.29 c | 231597 | 40357 298869 1169399 | 2147483647 194498 22 | 2.609 % |
85.53/86.39 c | 231708 | 40357 298869 1169399 | 2147483647 194609 22 | 2.609 % |
85.73/86.59 c | 231829 | 40356 298744 1168778 | 2147483647 194142 22 | 2.609 % |
85.93/86.70 c | 231962 | 40356 298744 1168778 | 2147483647 194275 22 | 2.609 % |
86.03/86.88 c | 232108 | 40356 298744 1168778 | 2147483647 194421 22 | 2.609 % |
86.23/87.00 c | 232268 | 40356 298744 1168778 | 2147483647 194581 22 | 2.609 % |
86.33/87.12 c | 232444 | 40356 298744 1168778 | 2147483647 194757 22 | 2.609 % |
86.53/87.30 c | 232637 | 40356 298744 1168778 | 2147483647 194950 22 | 2.609 % |
86.63/87.49 c | 232850 | 40356 298744 1168778 | 2147483647 195163 22 | 2.609 % |
86.83/87.63 c | 233084 | 40354 298744 1168778 | 2147483647 195395 21 | 2.614 % |
87.13/87.93 c | 233341 | 40354 298744 1168778 | 2147483647 195652 21 | 2.614 % |
87.33/88.11 c | 233623 | 40354 298744 1168778 | 2147483647 195934 21 | 2.614 % |
87.53/88.35 c | 233932 | 40354 298744 1168778 | 2147483647 196243 22 | 2.614 % |
87.63/88.43 c | 234271 | 40354 298744 1168778 | 2147483647 196582 22 | 2.614 % |
87.83/88.61 c | 234643 | 40351 298744 1168778 | 2147483647 196953 22 | 2.621 % |
87.93/88.71 c | 235055 | 40351 298744 1168778 | 2147483647 197365 22 | 2.621 % |
88.13/88.92 c | 235504 | 40348 298744 1168778 | 2147483647 197812 22 | 2.628 % |
88.53/89.36 c | 235999 | 40338 298744 1168778 | 2147483647 198306 22 | 2.754 % |
88.82/89.66 c | 236546 | 40338 298744 1168778 | 2147483647 198853 22 | 2.754 % |
89.02/89.84 c | 237143 | 40338 298744 1168778 | 2147483647 199450 22 | 2.754 % |
89.33/90.10 c | 237798 | 40338 298744 1168778 | 2147483647 200105 22 | 2.754 % |
89.72/90.54 c | 238518 | 40338 298744 1168778 | 2147483647 200825 22 | 2.754 % |
90.12/90.98 c | 239310 | 40338 298744 1168778 | 2147483647 201617 22 | 2.754 % |
90.62/91.46 c | 240181 | 40331 298744 1168778 | 2147483647 202488 22 | 2.754 % |
91.12/91.90 c | 241141 | 40331 298744 1168778 | 2147483647 203448 22 | 2.754 % |
91.52/92.37 c | 242194 | 40331 298744 1168778 | 2147483647 204501 22 | 2.754 % |
91.92/92.75 c | 243352 | 40331 298744 1168778 | 2147483647 205659 22 | 2.754 % |
92.82/93.63 c | 244626 | 40331 298744 1168778 | 2147483647 206933 22 | 2.754 % |
93.32/94.19 c | 246027 | 40331 298744 1168778 | 2147483647 208334 22 | 2.754 % |
93.82/94.64 c | 247569 | 40296 297477 1163906 | 2147483647 209085 22 | 2.754 % |
94.12/94.99 c | 249263 | 40273 297477 1163906 | 2147483647 210776 22 | 2.877 % |
94.42/95.24 c | 251126 | 40273 297477 1163906 | 2147483647 212639 22 | 2.877 % |
95.42/96.28 c | 253175 | 40273 297477 1163906 | 2147483647 214688 22 | 2.877 % |
95.93/96.73 c | 255428 | 40273 297477 1163906 | 2147483647 216941 22 | 2.877 % |
96.62/97.47 c | 257911 | 40273 297477 1163906 | 2147483647 219424 22 | 2.877 % |
96.82/97.60 c | 258011 | 40273 297477 1163906 | 2147483647 219524 22 | 2.877 % |
96.92/97.72 c | 258122 | 40273 297477 1163906 | 2147483647 219635 22 | 2.877 % |
96.92/97.75 c | 258250 | 40273 297477 1163906 | 2147483647 219763 22 | 2.877 % |
97.12/97.93 c | 258385 | 40273 297477 1163906 | 2147483647 219898 22 | 2.877 % |
97.22/98.06 c | 258531 | 40273 297477 1163906 | 2147483647 220044 22 | 2.877 % |
97.42/98.22 c | 258691 | 40273 297477 1163906 | 2147483647 220204 22 | 2.877 % |
97.42/98.27 c | 258868 | 40273 297477 1163906 | 2147483647 220381 22 | 2.877 % |
97.62/98.42 c | 259064 | 40273 297477 1163906 | 2147483647 220577 22 | 2.877 % |
97.82/98.61 c | 259277 | 40273 297477 1163906 | 2147483647 220790 22 | 2.877 % |
98.02/98.80 c | 259510 | 40273 297477 1163906 | 2147483647 221023 22 | 2.877 % |
98.12/98.95 c | 259767 | 40273 297477 1163906 | 2147483647 221280 22 | 2.877 % |
98.22/99.08 c | 260049 | 40273 297477 1163906 | 2147483647 221562 22 | 2.877 % |
98.42/99.20 c | 260358 | 40273 297477 1163906 | 2147483647 221871 22 | 2.877 % |
98.52/99.35 c | 260698 | 40269 297477 1163906 | 2147483647 222210 22 | 2.894 % |
98.71/99.57 c | 261070 | 40266 297477 1163906 | 2147483647 222582 22 | 2.894 % |
99.11/99.93 c | 261480 | 40266 297477 1163906 | 2147483647 222992 22 | 2.894 % |
99.41/100.27 c | 261929 | 40266 297477 1163906 | 2147483647 223441 22 | 2.894 % |
99.61/100.48 c | 262424 | 40266 297477 1163906 | 2147483647 223936 22 | 2.894 % |
99.81/100.60 c | 262966 | 40266 297477 1163906 | 2147483647 224478 22 | 2.894 % |
100.01/100.80 c | 263562 | 40266 297477 1163906 | 2147483647 225074 22 | 2.894 % |
100.01/100.87 c | 264217 | 40266 297477 1163906 | 2147483647 225729 22 | 2.894 % |
100.41/101.22 c | 264937 | 40266 297477 1163906 | 2147483647 226449 22 | 2.894 % |
100.82/101.68 c | 265729 | 40266 297477 1163906 | 2147483647 227241 22 | 2.894 % |
101.12/101.95 c | 266600 | 40266 297477 1163906 | 2147483647 228112 22 | 2.894 % |
101.82/102.64 c | 267558 | 40266 297477 1163906 | 2147483647 229070 22 | 2.894 % |
102.02/102.88 c | 268612 | 40266 297477 1163906 | 2147483647 230124 22 | 2.894 % |
102.42/103.23 c | 269771 | 40266 297477 1163906 | 2147483647 231283 22 | 2.894 % |
103.32/104.13 c | 271044 | 40238 296835 1161089 | 2147483647 226468 22 | 2.894 % |
103.72/104.52 c | 272445 | 40238 296835 1161089 | 2147483647 227869 22 | 2.894 % |
103.82/104.61 c | 273986 | 40238 296835 1161089 | 2147483647 229410 22 | 2.894 % |
104.12/104.98 c | 275680 | 40238 296835 1161089 | 2147483647 231104 22 | 2.894 % |
104.72/105.57 c | 277543 | 40238 296835 1161089 | 2147483647 232967 22 | 2.894 % |
106.01/106.83 c | 279593 | 40234 296835 1161089 | 2147483647 235016 22 | 2.903 % |
107.11/107.97 c | 281846 | 40234 296835 1161089 | 2147483647 237269 22 | 2.903 % |
107.41/108.23 c | 284325 | 40234 296835 1161089 | 2147483647 239748 22 | 2.903 % |
108.12/108.93 c | 287050 | 40234 296835 1161089 | 2147483647 242473 22 | 2.903 % |
108.12/108.99 c | 287151 | 40234 296835 1161089 | 2147483647 242574 22 | 2.903 % |
108.21/109.06 c | 287261 | 40234 296835 1161089 | 2147483647 242684 22 | 2.903 % |
108.31/109.17 c | 287383 | 40234 296835 1161089 | 2147483647 242806 22 | 2.903 % |
108.51/109.30 c | 287517 | 40234 296835 1161089 | 2147483647 242940 22 | 2.903 % |
108.51/109.39 c | 287663 | 40234 296835 1161089 | 2147483647 243086 22 | 2.903 % |
108.61/109.42 c | 287823 | 40234 296835 1161089 | 2147483647 243246 22 | 2.903 % |
108.71/109.57 c | 287999 | 40234 296835 1161089 | 2147483647 243422 22 | 2.903 % |
108.91/109.75 c | 288192 | 40234 296835 1161089 | 2147483647 243615 22 | 2.903 % |
109.11/109.95 c | 288404 | 40234 296835 1161089 | 2147483647 243827 22 | 2.903 % |
109.31/110.18 c | 288638 | 40234 296835 1161089 | 2147483647 244061 22 | 2.903 % |
109.61/110.46 c | 288894 | 40234 296835 1161089 | 2147483647 244317 22 | 2.903 % |
109.91/110.72 c | 289176 | 40234 296835 1161089 | 2147483647 244599 22 | 2.903 % |
110.01/110.89 c | 289486 | 40234 296835 1161089 | 2147483647 244909 22 | 2.903 % |
110.41/111.25 c | 289825 | 40234 296835 1161089 | 2147483647 245248 22 | 2.903 % |
110.61/111.49 c | 290198 | 40234 296835 1161089 | 2147483647 245621 22 | 2.903 % |
111.01/111.82 c | 290608 | 40234 296835 1161089 | 2147483647 246031 22 | 2.903 % |
111.21/112.10 c | 291058 | 40234 296835 1161089 | 2147483647 246481 22 | 2.903 % |
111.60/112.42 c | 291552 | 40234 296835 1161089 | 2147483647 246975 22 | 2.903 % |
112.01/112.80 c | 292095 | 40234 296835 1161089 | 2147483647 247518 22 | 2.903 % |
112.42/113.26 c | 292691 | 40234 296754 1160732 | 2147483647 247841 22 | 2.903 % |
112.91/113.70 c | 293346 | 40226 296754 1160732 | 2147483647 248495 22 | 2.925 % |
113.31/114.14 c | 294067 | 40225 296754 1160732 | 2147483647 249215 23 | 2.927 % |
113.71/114.53 c | 294859 | 40225 296754 1160732 | 2147483647 250007 23 | 2.927 % |
114.21/115.06 c | 295730 | 40224 296754 1160732 | 2147483647 250877 23 | 2.930 % |
114.81/115.69 c | 296688 | 40224 296754 1160732 | 2147483647 251835 23 | 2.930 % |
115.11/115.92 c | 297741 | 40224 296754 1160732 | 2147483647 252888 22 | 2.930 % |
115.72/116.54 c | 298900 | 40224 296754 1160732 | 2147483647 254047 23 | 2.930 % |
116.01/116.87 c | 300175 | 40224 296754 1160732 | 2147483647 255322 23 | 2.930 % |
117.21/118.00 c | 301575 | 40224 296754 1160732 | 2147483647 256722 23 | 2.930 % |
117.71/118.51 c | 303116 | 40221 296754 1160732 | 2147483647 258262 23 | 2.937 % |
118.91/119.72 c | 304811 | 40221 296754 1160732 | 2147483647 259957 23 | 2.937 % |
119.51/120.35 c | 306675 | 40221 296754 1160732 | 2147483647 261821 23 | 2.937 % |
120.71/121.57 c | 308724 | 40221 296754 1160732 | 2147483647 263870 23 | 2.937 % |
121.81/122.63 c | 310977 | 40215 296754 1160732 | 2147483647 266121 23 | 2.951 % |
123.51/124.34 c | 313455 | 40215 296754 1160732 | 2147483647 268599 23 | 2.951 % |
124.61/125.41 c | 316180 | 40214 296426 1159493 | 2147483647 270686 23 | 2.951 % |
127.00/127.83 c | 319177 | 40214 296426 1159493 | 2147483647 273683 23 | 2.951 % |
127.10/127.90 c | 319277 | 40214 296426 1159493 | 2147483647 273783 23 | 2.951 % |
127.10/127.98 c | 319387 | 40213 296426 1159493 | 2147483647 273892 23 | 2.964 % |
127.30/128.12 c | 319508 | 40213 296426 1159493 | 2147483647 274013 23 | 2.964 % |
127.40/128.28 c | 319641 | 40213 296426 1159493 | 2147483647 274146 23 | 2.964 % |
127.60/128.44 c | 319788 | 40213 296426 1159493 | 2147483647 274293 23 | 2.964 % |
127.70/128.53 c | 319948 | 40213 296426 1159493 | 2147483647 274453 23 | 2.964 % |
128.00/128.83 c | 320126 | 40213 296426 1159493 | 2147483647 274631 23 | 2.964 % |
128.10/128.96 c | 320319 | 40213 296426 1159493 | 2147483647 274824 23 | 2.964 % |
128.20/129.05 c | 320531 | 40213 296426 1159493 | 2147483647 275036 23 | 2.964 % |
128.40/129.23 c | 320764 | 40213 296426 1159493 | 2147483647 275269 23 | 2.964 % |
128.40/129.28 c | 321020 | 40213 296426 1159493 | 2147483647 275525 23 | 2.964 % |
128.60/129.44 c | 321301 | 40213 296426 1159493 | 2147483647 275806 23 | 2.964 % |
128.70/129.56 c | 321611 | 40213 296426 1159493 | 2147483647 276116 23 | 2.964 % |
128.90/129.74 c | 321950 | 40213 296426 1159493 | 2147483647 276455 23 | 2.964 % |
129.30/130.17 c | 322323 | 40213 296426 1159493 | 2147483647 276828 23 | 2.964 % |
129.70/130.51 c | 322732 | 40211 296426 1159493 | 2147483647 277237 23 | 2.964 % |
129.80/130.64 c | 323181 | 40211 296426 1159493 | 2147483647 277686 23 | 2.964 % |
130.21/131.01 c | 323675 | 40211 296426 1159493 | 2147483647 278180 23 | 2.964 % |
130.61/131.48 c | 324219 | 40211 296426 1159493 | 2147483647 278724 24 | 2.964 % |
130.91/131.72 c | 324815 | 40211 296426 1159493 | 2147483647 279320 23 | 2.964 % |
131.60/132.44 c | 325471 | 40211 296426 1159493 | 2147483647 279976 23 | 2.964 % |
131.80/132.62 c | 326192 | 40211 296426 1159493 | 2147483647 280697 24 | 2.964 % |
131.90/132.79 c | 326984 | 40211 296426 1159493 | 2147483647 281489 24 | 2.964 % |
132.70/133.54 c | 327858 | 40211 296426 1159493 | 2147483647 282363 24 | 2.964 % |
132.80/133.68 c | 328816 | 40211 296426 1159493 | 2147483647 283321 24 | 2.964 % |
133.60/134.43 c | 329869 | 40208 296426 1159493 | 2147483647 284371 24 | 2.971 % |
133.90/134.77 c | 331029 | 40208 296426 1159493 | 2147483647 285531 24 | 2.971 % |
134.40/135.30 c | 332302 | 40208 296426 1159493 | 2147483647 286804 24 | 2.971 % |
135.70/136.55 c | 333703 | 40208 296426 1159493 | 2147483647 288205 24 | 2.971 % |
136.20/137.03 c | 335243 | 40208 296426 1159493 | 2147483647 289745 24 | 2.971 % |
137.40/138.21 c | 336937 | 40206 296285 1158984 | 2147483647 291415 24 | 2.971 % |
138.81/139.66 c | 338800 | 40206 296285 1158984 | 2147483647 293278 24 | 2.971 % |
139.70/140.55 c | 340849 | 40206 296285 1158984 | 2147483647 295327 24 | 2.971 % |
140.90/141.70 c | 343102 | 40206 296285 1158984 | 2147483647 297580 24 | 2.971 % |
142.40/143.22 c | 345581 | 40206 296285 1158984 | 2147483647 300059 24 | 2.971 % |
144.20/145.08 c | 348307 | 40204 296285 1158984 | 2147483647 302784 24 | 2.976 % |
145.50/146.38 c | 351312 | 40204 296285 1158984 | 2147483647 305789 24 | 2.976 % |
147.60/148.44 c | 354608 | 40204 296285 1158984 | 2147483647 309085 24 | 2.976 % |
147.70/148.52 c | 354708 | 40204 296285 1158984 | 2147483647 309185 24 | 2.976 % |
147.79/148.69 c | 354818 | 40203 296285 1158984 | 2147483647 309294 24 | 2.978 % |
147.99/148.83 c | 354939 | 40203 296285 1158984 | 2147483647 309415 24 | 2.978 % |
148.09/148.98 c | 355075 | 40203 296285 1158984 | 2147483647 309551 24 | 2.978 % |
148.29/149.14 c | 355223 | 40203 296285 1158984 | 2147483647 309699 24 | 2.978 % |
148.49/149.31 c | 355383 | 40203 296285 1158984 | 2147483647 309859 24 | 2.978 % |
148.70/149.53 c | 355560 | 40201 296285 1158984 | 2147483647 310035 24 | 2.983 % |
148.89/149.77 c | 355753 | 40201 296285 1158984 | 2147483647 310228 24 | 2.983 % |
149.09/149.94 c | 355967 | 40201 296285 1158984 | 2147483647 310442 24 | 2.983 % |
149.19/150.07 c | 356200 | 40201 296285 1158984 | 2147483647 310675 24 | 2.983 % |
149.49/150.36 c | 356457 | 40201 296285 1158984 | 2147483647 310932 24 | 2.983 % |
149.80/150.64 c | 356741 | 40201 296285 1158984 | 2147483647 311216 24 | 2.983 % |
150.19/151.00 c | 357050 | 40201 296285 1158984 | 2147483647 311525 24 | 2.983 % |
150.49/151.35 c | 357389 | 40201 296285 1158984 | 2147483647 311864 24 | 2.983 % |
150.69/151.59 c | 357761 | 40201 296285 1158984 | 2147483647 312236 24 | 2.983 % |
151.00/151.85 c | 358170 | 40201 296285 1158984 | 2147483647 312645 24 | 2.983 % |
151.39/152.24 c | 358620 | 40201 296093 1158210 | 2147483647 312942 24 | 2.983 % |
151.89/152.71 c | 359114 | 40201 296093 1158210 | 2147483647 313436 24 | 2.983 % |
152.29/153.18 c | 359657 | 40201 296093 1158210 | 2147483647 313979 24 | 2.983 % |
152.69/153.52 c | 360254 | 40201 296093 1158210 | 2147483647 314576 24 | 2.983 % |
153.19/154.02 c | 360910 | 40200 296093 1158210 | 2147483647 315231 24 | 2.985 % |
153.49/154.39 c | 361630 | 40200 296093 1158210 | 2147483647 315951 24 | 2.985 % |
153.99/154.85 c | 362422 | 40200 296093 1158210 | 2147483647 316743 24 | 2.985 % |
154.09/154.91 c | 363293 | 40200 296093 1158210 | 2147483647 317614 24 | 2.985 % |
154.79/155.67 c | 364252 | 40200 296093 1158210 | 2147483647 318573 24 | 2.985 % |
155.59/156.40 c | 365305 | 40191 296093 1158210 | 2147483647 319625 24 | 3.050 % |
156.20/157.01 c | 366465 | 40191 296093 1158210 | 2147483647 320785 24 | 3.050 % |
157.09/157.94 c | 367738 | 40183 296093 1158210 | 2147483647 322058 24 | 3.050 % |
157.69/158.57 c | 369138 | 40183 296093 1158210 | 2147483647 323458 24 | 3.050 % |
158.79/159.67 c | 370679 | 40183 296093 1158210 | 2147483647 324999 24 | 3.050 % |
159.89/160.76 c | 372373 | 40183 296093 1158210 | 2147483647 326693 24 | 3.050 % |
160.19/161.01 c | 374236 | 40183 296093 1158210 | 2147483647 328556 24 | 3.050 % |
161.79/162.64 c | 376285 | 40183 296093 1158210 | 2147483647 330605 24 | 3.050 % |
162.39/163.23 c | 378545 | 40183 296093 1158210 | 2147483647 332865 24 | 3.050 % |
163.59/164.45 c | 381023 | 40174 296093 1158210 | 2147483647 335342 24 | 3.075 % |
165.39/166.26 c | 383749 | 40174 296093 1158210 | 2147483647 338068 24 | 3.075 % |
166.79/167.67 c | 386748 | 40174 296093 1158210 | 2147483647 341067 24 | 3.075 % |
167.59/168.46 c | 390044 | 40167 296093 1158210 | 2147483647 344362 24 | 3.176 % |
170.58/171.49 c | 393669 | 40121 294521 1152329 | 2147483647 344985 24 | 3.176 % |
170.88/171.74 c | 393769 | 40121 294521 1152329 | 2147483647 345085 24 | 3.176 % |
170.98/171.85 c | 393879 | 40121 294521 1152329 | 2147483647 345195 24 | 3.176 % |
171.28/172.17 c | 394001 | 40121 294521 1152329 | 2147483647 345317 24 | 3.176 % |
171.48/172.30 c | 394134 | 40121 294521 1152329 | 2147483647 345450 24 | 3.176 % |
171.58/172.45 c | 394281 | 40121 294521 1152329 | 2147483647 345597 24 | 3.176 % |
171.68/172.53 c | 394442 | 40121 294521 1152329 | 2147483647 345758 24 | 3.176 % |
171.98/172.84 c | 394620 | 40118 294521 1152329 | 2147483647 345934 24 | 3.227 % |
172.08/172.99 c | 394813 | 40118 294521 1152329 | 2147483647 346127 24 | 3.227 % |
172.28/173.17 c | 395027 | 40111 294521 1152329 | 2147483647 346341 24 | 3.227 % |
172.58/173.49 c | 395261 | 40111 294521 1152329 | 2147483647 346575 24 | 3.227 % |
172.89/173.76 c | 395518 | 40111 294521 1152329 | 2147483647 346832 24 | 3.227 % |
173.08/173.93 c | 395800 | 40111 294521 1152329 | 2147483647 347114 24 | 3.227 % |
173.28/174.16 c | 396109 | 40111 294521 1152329 | 2147483647 347423 24 | 3.227 % |
173.68/174.56 c | 396448 | 40111 294521 1152329 | 2147483647 347762 24 | 3.227 % |
174.08/174.96 c | 396820 | 40111 294521 1152329 | 2147483647 348134 24 | 3.227 % |
174.28/175.14 c | 397230 | 40111 294521 1152329 | 2147483647 348544 24 | 3.227 % |
174.48/175.30 c | 397680 | 40111 294521 1152329 | 2147483647 348994 24 | 3.227 % |
174.78/175.62 c | 398176 | 40111 294521 1152329 | 2147483647 349490 24 | 3.227 % |
174.98/175.90 c | 398718 | 40111 294521 1152329 | 2147483647 350032 24 | 3.227 % |
175.58/176.44 c | 399316 | 40111 294521 1152329 | 2147483647 350630 24 | 3.227 % |
175.98/176.84 c | 399971 | 40111 294521 1152329 | 2147483647 351285 24 | 3.227 % |
176.28/177.12 c | 400692 | 40111 294521 1152329 | 2147483647 352006 24 | 3.227 % |
177.08/177.90 c | 401486 | 40111 294521 1152329 | 2147483647 352800 24 | 3.227 % |
177.18/178.07 c | 402357 | 40111 294521 1152329 | 2147483647 353671 24 | 3.227 % |
178.18/179.09 c | 403315 | 40111 294521 1152329 | 2147483647 354629 24 | 3.227 % |
178.58/179.40 c | 404368 | 40111 294521 1152329 | 2147483647 355682 24 | 3.227 % |
179.38/180.23 c | 405526 | 40111 294521 1152329 | 2147483647 356840 24 | 3.227 % |
180.08/180.98 c | 406800 | 40111 294521 1152329 | 2147483647 358114 24 | 3.227 % |
181.68/182.59 c | 408201 | 40111 294521 1152329 | 2147483647 359515 24 | 3.227 % |
182.67/183.51 c | 409741 | 40111 294521 1152329 | 2147483647 361055 24 | 3.227 % |
183.77/184.63 c | 411437 | 40111 294521 1152329 | 2147483647 362751 24 | 3.227 % |
184.48/185.34 c | 413300 | 40111 294521 1152329 | 2147483647 364614 25 | 3.227 % |
186.28/187.16 c | 415349 | 40111 294521 1152329 | 2147483647 366663 25 | 3.227 % |
188.58/189.45 c | 417602 | 40111 294521 1152329 | 2147483647 368916 25 | 3.227 % |
190.18/191.08 c | 420084 | 40100 294091 1150827 | 2147483647 371393 25 | 3.227 % |
191.48/192.31 c | 422809 | 40100 294091 1150827 | 2147483647 374118 25 | 3.227 % |
194.27/195.13 c | 425807 | 40100 294091 1150827 | 2147483647 377116 25 | 3.227 % |
195.98/196.85 c | 429104 | 40100 294091 1150827 | 2147483647 380413 25 | 3.227 % |
199.37/200.21 c | 432729 | 40100 294091 1150827 | 2147483647 384038 25 | 3.227 % |
202.97/203.88 c | 436717 | 40100 294091 1150827 | 2147483647 388026 25 | 3.227 % |
203.17/204.02 c | 436817 | 40100 294091 1150827 | 2147483647 388126 25 | 3.227 % |
203.27/204.17 c | 436927 | 40100 294091 1150827 | 2147483647 388236 25 | 3.227 % |
203.47/204.31 c | 437048 | 40100 294091 1150827 | 2147483647 388357 25 | 3.227 % |
203.57/204.47 c | 437182 | 40100 294091 1150827 | 2147483647 388491 25 | 3.227 % |
203.77/204.64 c | 437329 | 40100 294091 1150827 | 2147483647 388638 25 | 3.227 % |
203.87/204.71 c | 437490 | 40100 294091 1150827 | 2147483647 388799 25 | 3.227 % |
203.97/204.88 c | 437668 | 40100 294091 1150827 | 2147483647 388977 25 | 3.227 % |
204.27/205.14 c | 437861 | 40100 294091 1150827 | 2147483647 389170 25 | 3.227 % |
204.37/205.27 c | 438075 | 40100 294091 1150827 | 2147483647 389384 25 | 3.227 % |
204.77/205.64 c | 438311 | 40098 294091 1150827 | 2147483647 389619 25 | 3.231 % |
205.07/205.93 c | 438568 | 40098 294091 1150827 | 2147483647 389876 25 | 3.231 % |
205.37/206.23 c | 438850 | 40098 294091 1150827 | 2147483647 390158 25 | 3.231 % |
205.77/206.61 c | 439160 | 40098 294091 1150827 | 2147483647 390468 25 | 3.231 % |
206.07/206.98 c | 439500 | 40098 294091 1150827 | 2147483647 390808 25 | 3.231 % |
206.37/207.23 c | 439874 | 40098 294091 1150827 | 2147483647 391182 25 | 3.231 % |
206.77/207.66 c | 440284 | 40098 294091 1150827 | 2147483647 391592 25 | 3.231 % |
207.27/208.16 c | 440735 | 40098 294091 1150827 | 2147483647 392043 25 | 3.231 % |
207.66/208.55 c | 441228 | 40098 294091 1150827 | 2147483647 392536 25 | 3.231 % |
207.96/208.88 c | 441770 | 40097 294091 1150827 | 2147483647 393077 25 | 3.234 % |
208.77/209.67 c | 442367 | 40097 294091 1150827 | 2147483647 393674 25 | 3.234 % |
208.97/209.88 c | 443025 | 40097 294091 1150827 | 2147483647 394332 25 | 3.234 % |
209.67/210.56 c | 443745 | 40097 294091 1150827 | 2147483647 395052 25 | 3.234 % |
210.37/211.26 c | 444538 | 40097 294091 1150827 | 2147483647 395845 25 | 3.234 % |
211.07/211.92 c | 445409 | 40097 294026 1150543 | 2147483647 396493 25 | 3.234 % |
211.47/212.35 c | 446367 | 40097 294026 1150543 | 2147483647 397451 25 | 3.234 % |
212.57/213.43 c | 447421 | 40097 294026 1150543 | 2147483647 398505 25 | 3.234 % |
213.97/214.82 c | 448579 | 40097 294026 1150543 | 2147483647 399663 25 | 3.234 % |
215.17/216.05 c | 449852 | 40097 294026 1150543 | 2147483647 400936 25 | 3.234 % |
216.26/217.10 c | 451252 | 40097 294026 1150543 | 2147483647 402336 25 | 3.234 % |
217.97/218.88 c | 452792 | 40097 294026 1150543 | 2147483647 403876 25 | 3.234 % |
218.86/219.73 c | 454486 | 40097 294026 1150543 | 2147483647 405570 25 | 3.234 % |
219.66/220.53 c | 456351 | 40097 294026 1150543 | 2147483647 407435 25 | 3.234 % |
220.86/221.71 c | 458402 | 40097 294026 1150543 | 2147483647 409486 25 | 3.234 % |
221.46/222.33 c | 460655 | 40097 294026 1150543 | 2147483647 411739 25 | 3.234 % |
223.37/224.27 c | 463134 | 40094 294026 1150543 | 2147483647 414217 25 | 3.367 % |
226.87/227.73 c | 465859 | 40094 294026 1150543 | 2147483647 416942 25 | 3.367 % |
229.76/230.66 c | 468860 | 40094 294026 1150543 | 2147483647 419943 25 | 3.367 % |
234.36/235.20 c | 472156 | 40094 294026 1150543 | 2147483647 423239 26 | 3.367 % |
235.96/236.81 c | 475781 | 40091 294026 1150543 | 2147483647 426864 26 | 3.367 % |
239.46/240.39 c | 479769 | 40042 293147 1147216 | 2147483647 430824 26 | 3.367 % |
241.76/242.63 c | 484155 | 40042 293147 1147216 | 2147483647 435210 26 | 3.367 % |
241.95/242.85 c | 484255 | 40042 293147 1147216 | 2147483647 435310 26 | 3.367 % |
242.17/243.01 c | 484365 | 40042 293147 1147216 | 2147483647 435420 26 | 3.367 % |
242.27/243.18 c | 484486 | 40042 293147 1147216 | 2147483647 435541 26 | 3.367 % |
242.56/243.42 c | 484620 | 40042 293147 1147216 | 2147483647 435675 26 | 3.367 % |
242.76/243.67 c | 484767 | 40042 293147 1147216 | 2147483647 435822 26 | 3.367 % |
243.06/243.99 c | 484927 | 40042 293147 1147216 | 2147483647 435982 26 | 3.367 % |
243.16/244.08 c | 485105 | 40042 293147 1147216 | 2147483647 436160 26 | 3.367 % |
243.46/244.32 c | 485298 | 40042 293147 1147216 | 2147483647 436353 26 | 3.367 % |
243.66/244.54 c | 485510 | 40042 293147 1147216 | 2147483647 436565 26 | 3.367 % |
244.06/244.93 c | 485743 | 40042 293147 1147216 | 2147483647 436798 26 | 3.367 % |
244.46/245.32 c | 485999 | 40042 293147 1147216 | 2147483647 437054 26 | 3.367 % |
244.76/245.63 c | 486282 | 40042 293147 1147216 | 2147483647 437337 26 | 3.367 % |
245.06/245.94 c | 486591 | 40042 293147 1147216 | 2147483647 437646 26 | 3.367 % |
245.36/246.26 c | 486932 | 40039 293147 1147216 | 2147483647 437986 26 | 3.374 % |
245.76/246.69 c | 487304 | 40039 293147 1147216 | 2147483647 438358 26 | 3.374 % |
246.36/247.22 c | 487713 | 40039 293147 1147216 | 2147483647 438767 26 | 3.374 % |
246.76/247.70 c | 488163 | 40039 293147 1147216 | 2147483647 439217 26 | 3.374 % |
247.16/248.02 c | 488656 | 40039 293147 1147216 | 2147483647 439710 26 | 3.374 % |
247.26/248.12 c | 489198 | 40039 293147 1147216 | 2147483647 440252 26 | 3.374 % |
247.76/248.64 c | 489794 | 40039 293147 1147216 | 2147483647 440848 26 | 3.374 % |
248.35/249.27 c | 490449 | 40039 293147 1147216 | 2147483647 441503 26 | 3.374 % |
249.26/250.18 c | 491170 | 40039 293147 1147216 | 2147483647 442224 26 | 3.374 % |
250.25/251.11 c | 491966 | 40039 293147 1147216 | 2147483647 443020 26 | 3.374 % |
251.35/252.23 c | 492837 | 40039 293147 1147216 | 2147483647 443891 26 | 3.374 % |
252.35/253.26 c | 493795 | 40039 293147 1147216 | 2147483647 444849 26 | 3.374 % |
253.45/254.39 c | 494848 | 40039 293147 1147216 | 2147483647 445902 26 | 3.374 % |
254.45/255.33 c | 496006 | 40039 293147 1147216 | 2147483647 447060 26 | 3.374 % |
255.36/256.27 c | 497279 | 40039 293147 1147216 | 2147483647 448333 26 | 3.374 % |
256.25/257.20 c | 498681 | 40039 293147 1147216 | 2147483647 449735 26 | 3.374 % |
257.05/257.95 c | 500222 | 40039 293147 1147216 | 2147483647 451276 26 | 3.374 % |
259.05/259.91 c | 501919 | 40039 293147 1147216 | 2147483647 452973 26 | 3.374 % |
259.65/260.50 c | 503783 | 40039 293147 1147216 | 2147483647 454837 26 | 3.374 % |
260.85/261.75 c | 505836 | 40039 293147 1147216 | 2147483647 456890 26 | 3.374 % |
261.85/262.73 c | 508091 | 40039 293147 1147216 | 2147483647 459145 26 | 3.374 % |
263.45/264.34 c | 510569 | 40039 293147 1147216 | 2147483647 461623 26 | 3.374 % |
265.55/266.47 c | 513295 | 40039 293147 1147216 | 2147483647 464349 26 | 3.374 % |
267.25/268.13 c | 516295 | 40039 293121 1147104 | 2147483647 467348 26 | 3.374 % |
269.25/270.18 c | 519592 | 40039 293121 1147104 | 2147483647 470645 26 | 3.374 % |
271.15/272.02 c | 523218 | 40037 293121 1147104 | 2147483647 474269 26 | 3.379 % |
275.15/276.07 c | 527207 | 40037 293121 1147104 | 2147483647 478258 26 | 3.379 % |
279.64/280.58 c | 531592 | 40037 293121 1147104 | 2147483647 482643 27 | 3.379 % |
284.05/284.96 c | 536416 | 40037 293121 1147104 | 2147483647 487467 27 | 3.379 % |
284.25/285.13 c | 536516 | 40035 293121 1147104 | 2147483647 487566 27 | 3.386 % |
284.45/285.38 c | 536626 | 40035 293121 1147104 | 2147483647 487676 27 | 3.386 % |
284.65/285.56 c | 536747 | 40035 293121 1147104 | 2147483647 487797 27 | 3.386 % |
284.85/285.79 c | 536880 | 40035 293121 1147104 | 2147483647 487930 27 | 3.386 % |
285.15/286.01 c | 537030 | 40034 293121 1147104 | 2147483647 488080 27 | 3.386 % |
285.45/286.31 c | 537192 | 40034 293121 1147104 | 2147483647 488242 27 | 3.386 % |
285.74/286.60 c | 537368 | 40034 293121 1147104 | 2147483647 488418 27 | 3.386 % |
286.04/286.97 c | 537561 | 40034 293121 1147104 | 2147483647 488611 27 | 3.386 % |
286.25/287.20 c | 537773 | 40034 293121 1147104 | 2147483647 488823 27 | 3.386 % |
286.54/287.41 c | 538007 | 40034 293121 1147104 | 2147483647 489057 27 | 3.386 % |
286.74/287.66 c | 538264 | 40034 293121 1147104 | 2147483647 489314 27 | 3.386 % |
286.94/287.88 c | 538545 | 40034 293121 1147104 | 2147483647 489595 27 | 3.386 % |
287.35/288.23 c | 538857 | 40034 293121 1147104 | 2147483647 489907 27 | 3.386 % |
288.04/288.91 c | 539197 | 40034 293121 1147104 | 2147483647 490247 27 | 3.386 % |
288.45/289.33 c | 539569 | 40034 293121 1147104 | 2147483647 490619 27 | 3.386 % |
288.64/289.57 c | 539978 | 40034 293121 1147104 | 2147483647 491028 27 | 3.386 % |
288.84/289.79 c | 540428 | 40034 293121 1147104 | 2147483647 491478 27 | 3.386 % |
289.54/290.43 c | 540921 | 40034 293121 1147104 | 2147483647 491971 27 | 3.386 % |
290.24/291.12 c | 541463 | 40034 293121 1147104 | 2147483647 492513 27 | 3.386 % |
291.14/292.02 c | 542059 | 40034 293121 1147104 | 2147483647 493109 27 | 3.386 % |
291.44/292.36 c | 542715 | 40034 293121 1147104 | 2147483647 493765 27 | 3.386 % |
292.64/293.57 c | 543440 | 40034 293121 1147104 | 2147483647 494490 27 | 3.386 % |
293.74/294.61 c | 544232 | 40029 293121 1147104 | 2147483647 495281 27 | 3.398 % |
294.54/295.42 c | 545103 | 40029 293121 1147104 | 2147483647 496152 27 | 3.398 % |
295.24/296.11 c | 546061 | 40029 293121 1147104 | 2147483647 497110 27 | 3.398 % |
296.33/297.25 c | 547114 | 40029 293121 1147104 | 2147483647 498163 27 | 3.398 % |
297.74/298.65 c | 548273 | 40029 293121 1147104 | 2147483647 499322 27 | 3.398 % |
298.44/299.39 c | 549547 | 40029 293121 1147104 | 2147483647 500596 27 | 3.398 % |
300.14/301.07 c | 550947 | 40029 293121 1147104 | 2147483647 501996 27 | 3.398 % |
302.24/303.11 c | 552487 | 40029 292913 1146412 | 2147483647 503516 27 | 3.398 % |
303.44/304.34 c | 554181 | 40029 292913 1146412 | 2147483647 505210 27 | 3.398 % |
304.54/305.40 c | 556044 | 40029 292913 1146412 | 2147483647 507073 27 | 3.398 % |
306.94/307.87 c | 558093 | 40029 292913 1146412 | 2147483647 509122 27 | 3.398 % |
308.03/308.96 c | 560346 | 40029 292913 1146412 | 2147483647 511375 27 | 3.398 % |
310.73/311.64 c | 562825 | 40029 292913 1146412 | 2147483647 513854 27 | 3.398 % |
312.74/313.69 c | 565555 | 40029 292913 1146412 | 2147483647 516584 27 | 3.398 % |
313.54/314.44 c | 568553 | 40029 292913 1146412 | 2147483647 519582 27 | 3.398 % |
316.63/317.51 c | 571849 | 40029 292913 1146412 | 2147483647 522878 27 | 3.398 % |
319.93/320.81 c | 575474 | 40029 292913 1146412 | 2147483647 526503 27 | 3.398 % |
321.33/322.22 c | 579463 | 40029 292913 1146412 | 2147483647 530492 27 | 3.398 % |
325.93/326.81 c | 583848 | 40029 292913 1146412 | 2147483647 534877 27 | 3.398 % |
327.03/327.99 c | 588671 | 40029 292913 1146412 | 2147483647 539700 27 | 3.398 % |
328.63/329.55 c | 593979 | 40029 292913 1146412 | 2147483647 545008 27 | 3.398 % |
328.73/329.68 c | 594079 | 40029 292913 1146412 | 2147483647 545108 27 | 3.398 % |
329.03/329.92 c | 594190 | 40029 292913 1146412 | 2147483647 545219 27 | 3.398 % |
329.23/330.16 c | 594311 | 40029 292913 1146412 | 2147483647 545340 27 | 3.398 % |
329.23/330.19 c | 594444 | 40029 292913 1146412 | 2147483647 545473 27 | 3.398 % |
329.53/330.41 c | 594592 | 40029 292913 1146412 | 2147483647 545621 27 | 3.398 % |
329.73/330.64 c | 594752 | 40029 292913 1146412 | 2147483647 545781 27 | 3.398 % |
330.03/330.90 c | 594930 | 40029 292913 1146412 | 2147483647 545959 27 | 3.398 % |
330.33/331.28 c | 595124 | 40029 292913 1146412 | 2147483647 546153 27 | 3.398 % |
330.53/331.44 c | 595337 | 40029 292913 1146412 | 2147483647 546366 27 | 3.398 % |
330.93/331.80 c | 595572 | 40029 292913 1146412 | 2147483647 546601 27 | 3.398 % |
331.13/332.08 c | 595828 | 40029 292913 1146412 | 2147483647 546857 27 | 3.398 % |
331.63/332.55 c | 596109 | 40029 292913 1146412 | 2147483647 547138 27 | 3.398 % |
331.93/332.80 c | 596418 | 40029 292913 1146412 | 2147483647 547447 27 | 3.398 % |
332.03/332.96 c | 596757 | 40029 292913 1146412 | 2147483647 547786 27 | 3.398 % |
332.33/333.28 c | 597130 | 40028 292913 1146412 | 2147483647 548158 27 | 3.400 % |
332.73/333.65 c | 597540 | 40028 292913 1146412 | 2147483647 548568 27 | 3.400 % |
332.93/333.81 c | 597989 | 40028 292913 1146412 | 2147483647 549017 27 | 3.400 % |
333.43/334.36 c | 598485 | 40028 292913 1146412 | 2147483647 549513 27 | 3.400 % |
333.72/334.63 c | 599027 | 40028 292913 1146412 | 2147483647 550054 27 | 3.410 % |
334.63/335.55 c | 599623 | 40024 292913 1146412 | 2147483647 550650 27 | 3.410 % |
335.42/336.32 c | 600279 | 40024 292913 1146412 | 551028 551306 27 | 3.410 % |
336.02/336.99 c | 600999 | 40024 292913 1146412 | 551028 552026 27 | 3.410 % |
336.93/337.80 c | 601792 | 40024 292913 1146412 | 551028 552819 27 | 3.410 % |
338.63/339.55 c | 602664 | 40024 292913 1146412 | 551028 486585 27 | 3.410 % |
339.63/340.60 c | 603622 | 40024 292913 1146412 | 551028 487543 27 | 3.410 % |
340.93/341.80 c | 604676 | 40024 292913 1146412 | 551028 488597 27 | 3.410 % |
342.03/342.97 c | 605834 | 40024 292913 1146412 | 551028 489755 27 | 3.410 % |
342.63/343.54 c | 607108 | 40024 292913 1146412 | 551028 491029 27 | 3.410 % |
343.93/344.80 c | 608509 | 40024 292784 1145906 | 551028 491545 27 | 3.410 % |
345.23/346.13 c | 610050 | 40024 292784 1145906 | 2147483647 493086 27 | 3.410 % |
346.03/346.98 c | 611745 | 40024 292784 1145906 | 2147483647 494781 27 | 3.410 % |
348.52/349.44 c | 613608 | 40024 292784 1145906 | 2147483647 496644 27 | 3.410 % |
350.92/351.83 c | 615658 | 40024 292784 1145906 | 2147483647 498694 27 | 3.410 % |
352.92/353.82 c | 617912 | 40024 292784 1145906 | 2147483647 500948 27 | 3.410 % |
355.82/356.74 c | 620390 | 40024 292784 1145906 | 2147483647 503426 27 | 3.410 % |
357.02/357.94 c | 623115 | 40024 292784 1145906 | 2147483647 506151 27 | 3.410 % |
361.52/362.48 c | 626113 | 40024 292784 1145906 | 2147483647 509149 27 | 3.410 % |
365.62/366.58 c | 629409 | 40024 292784 1145906 | 2147483647 512445 27 | 3.410 % |
368.22/369.10 c | 633034 | 40018 292784 1145906 | 2147483647 516069 27 | 3.424 % |
371.92/372.86 c | 637023 | 40018 292784 1145906 | 2147483647 520058 27 | 3.424 % |
374.62/375.51 c | 641408 | 40018 292784 1145906 | 2147483647 524443 27 | 3.424 % |
380.01/380.96 c | 646233 | 40018 292784 1145906 | 2147483647 529268 28 | 3.424 % |
385.41/386.39 c | 651543 | 40018 292784 1145906 | 533035 534578 28 | 3.425 % |
390.62/391.59 c | 657378 | 40018 292677 1145587 | 533035 486947 28 | 3.424 % |
390.91/391.90 c | 657478 | 40015 292677 1145587 | 533035 487045 28 | 3.434 % |
391.01/391.97 c | 657590 | 40015 292677 1145587 | 533035 487157 28 | 3.434 % |
391.31/392.29 c | 657711 | 40015 292677 1145587 | 533035 487278 28 | 3.434 % |
391.61/392.53 c | 657844 | 40015 292677 1145587 | 533035 487411 28 | 3.434 % |
392.01/392.91 c | 657992 | 40015 292677 1145587 | 533035 487559 28 | 3.434 % |
392.31/393.21 c | 658153 | 40015 292677 1145587 | 533035 487720 28 | 3.434 % |
392.51/393.49 c | 658330 | 40015 292677 1145587 | 533035 487897 28 | 3.434 % |
392.92/393.84 c | 658523 | 40015 292677 1145587 | 533035 488090 28 | 3.434 % |
393.31/394.22 c | 658735 | 40015 292677 1145587 | 533035 488302 28 | 3.434 % |
393.81/394.70 c | 658970 | 40014 292677 1145587 | 533035 488537 28 | 3.434 % |
394.21/395.11 c | 659226 | 40014 292677 1145587 | 533035 488793 28 | 3.434 % |
394.61/395.51 c | 659507 | 40014 292677 1145587 | 533035 489074 28 | 3.434 % |
394.91/395.88 c | 659816 | 40014 292677 1145587 | 533035 489383 28 | 3.434 % |
395.31/396.27 c | 660155 | 40014 292677 1145587 | 2147483647 489722 28 | 3.434 % |
395.81/396.80 c | 660528 | 40014 292677 1145587 | 2147483647 490095 28 | 3.434 % |
396.81/397.71 c | 660937 | 40014 292677 1145587 | 2147483647 490504 28 | 3.434 % |
397.01/397.97 c | 661386 | 40014 292677 1145587 | 2147483647 490953 28 | 3.434 % |
397.81/398.76 c | 661879 | 40014 292677 1145587 | 2147483647 491446 28 | 3.434 % |
398.41/399.32 c | 662421 | 40014 292677 1145587 | 2147483647 491988 28 | 3.434 % |
399.41/400.33 c | 663017 | 40014 292677 1145587 | 2147483647 492584 28 | 3.434 % |
399.91/400.82 c | 663672 | 40014 292677 1145587 | 2147483647 493239 28 | 3.434 % |
400.31/401.21 c | 664393 | 40014 292677 1145587 | 2147483647 493960 28 | 3.434 % |
401.21/402.14 c | 665187 | 40014 292677 1145587 | 2147483647 494754 28 | 3.434 % |
401.81/402.73 c | 666058 | 40014 292677 1145587 | 2147483647 495625 28 | 3.434 % |
403.21/404.16 c | 667017 | 40014 292677 1145587 | 2147483647 496584 28 | 3.434 % |
404.61/405.51 c | 668074 | 40014 292677 1145587 | 2147483647 497641 28 | 3.434 % |
405.21/406.14 c | 669233 | 40014 292677 1145587 | 2147483647 498800 28 | 3.434 % |
406.71/407.65 c | 670506 | 40014 292677 1145587 | 2147483647 500073 28 | 3.434 % |
408.21/409.20 c | 671907 | 40014 292677 1145587 | 2147483647 501474 28 | 3.434 % |
409.90/410.82 c | 673447 | 40014 292677 1145587 | 2147483647 503014 28 | 3.434 % |
410.60/411.54 c | 675142 | 40014 292677 1145587 | 2147483647 504709 28 | 3.434 % |
412.90/413.88 c | 677005 | 40014 292677 1145587 | 2147483647 506572 28 | 3.434 % |
416.20/417.11 c | 679054 | 40014 292677 1145587 | 2147483647 508621 28 | 3.434 % |
417.60/418.59 c | 681307 | 40014 292677 1145587 | 2147483647 510874 28 | 3.434 % |
420.60/421.54 c | 683785 | 40014 292677 1145587 | 2147483647 513352 28 | 3.434 % |
424.30/425.26 c | 686510 | 40014 292677 1145587 | 2147483647 516077 28 | 3.434 % |
427.60/428.60 c | 689507 | 40014 292677 1145587 | 2147483647 519074 28 | 3.434 % |
430.80/431.77 c | 692804 | 40014 292677 1145587 | 2147483647 522371 29 | 3.434 % |
432.50/433.43 c | 696429 | 40014 292611 1145373 | 2147483647 525995 29 | 3.434 % |
433.89/434.83 c | 700417 | 40014 292611 1145373 | 529566 529983 29 | 3.434 % |
441.19/442.18 c | 704802 | 40014 292611 1145373 | 529566 475515 29 | 3.434 % |
446.79/447.74 c | 709626 | 40014 292611 1145373 | 529566 480339 29 | 3.434 % |
449.68/450.62 c | 714933 | 40014 292611 1145373 | 2147483647 485646 29 | 3.434 % |
456.49/457.50 c | 720768 | 40013 292611 1145373 | 2147483647 491480 29 | 3.437 % |
460.89/461.88 c | 727187 | 40013 292611 1145373 | 2147483647 497899 29 | 3.437 % |
460.99/461.96 c | 727287 | 40013 292611 1145373 | 2147483647 497999 29 | 3.437 % |
461.39/462.35 c | 727397 | 40013 292611 1145373 | 2147483647 498109 29 | 3.437 % |
461.69/462.68 c | 727519 | 40013 292611 1145373 | 2147483647 498231 29 | 3.437 % |
461.89/462.90 c | 727652 | 40013 292611 1145373 | 2147483647 498364 29 | 3.437 % |
462.19/463.12 c | 727803 | 40013 292611 1145373 | 2147483647 498515 29 | 3.437 % |
462.49/463.46 c | 727963 | 40013 292611 1145373 | 2147483647 498675 29 | 3.437 % |
462.79/463.79 c | 728140 | 40013 292611 1145373 | 2147483647 498852 29 | 3.437 % |
463.09/464.02 c | 728335 | 40013 292611 1145373 | 2147483647 499047 29 | 3.437 % |
463.49/464.42 c | 728549 | 40013 292611 1145373 | 2147483647 499261 29 | 3.437 % |
463.89/464.88 c | 728783 | 40013 292611 1145373 | 2147483647 499495 29 | 3.437 % |
464.29/465.25 c | 729040 | 40013 292611 1145373 | 2147483647 499752 29 | 3.437 % |
464.69/465.61 c | 729323 | 40013 292611 1145373 | 2147483647 500035 29 | 3.437 % |
465.09/466.01 c | 729635 | 40013 292611 1145373 | 2147483647 500347 29 | 3.437 % |
465.59/466.53 c | 729975 | 40013 292611 1145373 | 2147483647 500687 29 | 3.437 % |
465.99/466.98 c | 730349 | 40013 292611 1145373 | 500713 501061 29 | 3.437 % |
466.49/467.45 c | 730760 | 40013 292611 1145373 | 500713 501472 29 | 3.437 % |
466.99/467.95 c | 731210 | 40013 292611 1145373 | 500713 501922 29 | 3.437 % |
467.69/468.68 c | 731704 | 40013 292611 1145373 | 500713 502416 29 | 3.437 % |
469.29/470.21 c | 732246 | 40013 292611 1145373 | 500713 452717 29 | 3.437 % |
469.79/470.76 c | 732842 | 40013 292611 1145373 | 500713 453313 29 | 3.437 % |
470.19/471.20 c | 733498 | 40013 292611 1145373 | 500713 453969 29 | 3.437 % |
471.39/472.39 c | 734219 | 40013 292611 1145373 | 500713 454690 29 | 3.437 % |
472.69/473.63 c | 735013 | 40013 292611 1145373 | 500713 455484 29 | 3.437 % |
473.59/474.50 c | 735885 | 40013 292611 1145373 | 500713 456356 29 | 3.437 % |
474.29/475.30 c | 736844 | 40013 292611 1145373 | 500713 457315 29 | 3.437 % |
475.89/476.80 c | 737897 | 40013 292611 1145373 | 500713 458368 30 | 3.437 % |
476.39/477.37 c | 739056 | 40013 292611 1145373 | 500713 459527 30 | 3.437 % |
478.08/479.09 c | 740331 | 40013 292611 1145373 | 2147483647 460802 30 | 3.437 % |
479.79/480.76 c | 741731 | 40013 292611 1145373 | 2147483647 462202 30 | 3.437 % |
480.79/481.72 c | 743273 | 40013 292611 1145373 | 2147483647 463744 30 | 3.437 % |
482.78/483.76 c | 744968 | 40013 292611 1145373 | 2147483647 465439 30 | 3.437 % |
486.39/487.34 c | 746831 | 40013 292560 1145226 | 2147483647 467298 30 | 3.437 % |
489.88/490.82 c | 748880 | 40013 292560 1145226 | 2147483647 469347 30 | 3.437 % |
493.98/494.94 c | 751135 | 40013 292560 1145226 | 2147483647 471602 30 | 3.437 % |
498.28/499.29 c | 753615 | 40013 292560 1145226 | 2147483647 474082 30 | 3.437 % |
502.28/503.23 c | 756341 | 40013 292560 1145226 | 2147483647 476808 30 | 3.437 % |
506.38/507.34 c | 759339 | 40013 292560 1145226 | 2147483647 479806 30 | 3.437 % |
512.28/513.20 c | 762636 | 40013 292560 1145226 | 2147483647 483103 30 | 3.437 % |
518.37/519.35 c | 766263 | 40013 292560 1145226 | 2147483647 486730 30 | 3.437 % |
525.17/526.14 c | 770251 | 40013 292560 1145226 | 2147483647 490718 30 | 3.437 % |
532.87/533.82 c | 774636 | 40013 292560 1145226 | 2147483647 495103 30 | 3.437 % |
542.87/543.89 c | 779461 | 40013 292560 1145226 | 2147483647 499928 30 | 3.437 % |
546.36/547.32 c | 784766 | 39746 286901 1123004 | 2147483647 377124 27 | 4.081 % |
552.06/553.06 c | 790601 | 39746 286901 1123004 | 2147483647 382959 27 | 4.081 % |
554.96/555.95 c | 797019 | 39746 286901 1123004 | 2147483647 389377 27 | 4.081 % |
563.56/564.52 c | 804078 | 39746 286901 1123004 | 2147483647 396436 27 | 4.081 % |
563.66/564.67 c | 804179 | 39746 286901 1123004 | 2147483647 396537 27 | 4.081 % |
563.86/564.84 c | 804289 | 39746 286901 1123004 | 2147483647 396647 27 | 4.081 % |
564.16/565.17 c | 804410 | 39746 286901 1123004 | 2147483647 396768 27 | 4.081 % |
564.36/565.34 c | 804546 | 39746 286901 1123004 | 2147483647 396904 27 | 4.081 % |
564.66/565.65 c | 804694 | 39746 286901 1123004 | 2147483647 397052 27 | 4.081 % |
564.96/565.96 c | 804856 | 39746 286901 1123004 | 2147483647 397214 27 | 4.081 % |
565.26/566.26 c | 805033 | 39746 286901 1123004 | 2147483647 397391 27 | 4.081 % |
565.56/566.50 c | 805226 | 39746 286901 1123004 | 2147483647 397584 27 | 4.081 % |
565.86/566.88 c | 805438 | 39725 286901 1123004 | 2147483647 397794 27 | 4.139 % |
566.36/567.38 c | 805672 | 39724 286901 1123004 | 2147483647 398028 27 | 4.139 % |
566.66/567.68 c | 805930 | 39724 286901 1123004 | 2147483647 398286 27 | 4.139 % |
567.16/568.11 c | 806211 | 39724 286901 1123004 | 2147483647 398567 27 | 4.139 % |
567.46/568.46 c | 806522 | 39724 286901 1123004 | 2147483647 398878 27 | 4.139 % |
567.86/568.84 c | 806861 | 39724 286901 1123004 | 2147483647 399217 27 | 4.139 % |
568.36/569.38 c | 807235 | 39724 286901 1123004 | 2147483647 399591 27 | 4.139 % |
568.76/569.74 c | 807646 | 39724 286901 1123004 | 2147483647 400002 27 | 4.139 % |
569.45/570.40 c | 808095 | 39724 286901 1123004 | 2147483647 400451 27 | 4.139 % |
569.96/570.97 c | 808590 | 39724 286901 1123004 | 2147483647 400946 27 | 4.139 % |
570.45/571.46 c | 809136 | 39724 286901 1123004 | 2147483647 401492 27 | 4.139 % |
571.15/572.16 c | 809732 | 39724 286901 1123004 | 2147483647 402088 27 | 4.139 % |
571.85/572.87 c | 810389 | 39724 286901 1123004 | 2147483647 402745 27 | 4.139 % |
572.95/573.92 c | 811111 | 39723 286901 1123004 | 2147483647 403466 27 | 4.141 % |
574.26/575.21 c | 811903 | 39721 286640 1121678 | 2147483647 394397 27 | 4.141 % |
575.36/576.39 c | 812774 | 39721 286640 1121678 | 2147483647 395268 27 | 4.141 % |
576.75/577.75 c | 813732 | 39721 286640 1121678 | 2147483647 396226 27 | 4.141 % |
577.45/578.43 c | 814785 | 39721 286640 1121678 | 2147483647 397279 27 | 4.141 % |
578.95/579.96 c | 815944 | 39721 286640 1121678 | 2147483647 398438 27 | 4.141 % |
580.35/581.35 c | 817219 | 39721 286640 1121678 | 2147483647 399713 27 | 4.141 % |
582.15/583.10 c | 818620 | 39721 286640 1121678 | 2147483647 401114 27 | 4.141 % |
584.05/585.02 c | 820160 | 39721 286640 1121678 | 2147483647 402654 27 | 4.141 % |
586.05/587.09 c | 821856 | 39721 286640 1121678 | 2147483647 404350 27 | 4.141 % |
587.75/588.73 c | 823719 | 39721 286640 1121678 | 2147483647 406213 27 | 4.141 % |
589.85/590.81 c | 825770 | 39721 286640 1121678 | 2147483647 408264 27 | 4.141 % |
592.45/593.42 c | 828024 | 39713 286640 1121678 | 2147483647 410517 27 | 4.161 % |
595.35/596.37 c | 830504 | 39704 286640 1121678 | 2147483647 412996 27 | 4.221 % |
598.24/599.28 c | 833231 | 39694 286640 1121678 | 2147483647 415721 27 | 4.233 % |
600.25/601.30 c | 836228 | 39694 286640 1121678 | 2147483647 418718 27 | 4.233 % |
604.44/605.48 c | 839524 | 39694 286640 1121678 | 2147483647 422014 27 | 4.233 % |
608.84/609.86 c | 843152 | 39683 285936 1118900 | 2147483647 417551 27 | 4.233 % |
614.64/615.61 c | 847139 | 39683 285936 1118900 | 2147483647 421538 27 | 4.233 % |
620.54/621.52 c | 851524 | 39683 285936 1118900 | 2147483647 425923 27 | 4.233 % |
626.74/627.77 c | 856349 | 39683 285936 1118900 | 2147483647 430748 27 | 4.233 % |
635.94/636.98 c | 861656 | 39683 285936 1118900 | 2147483647 436055 27 | 4.233 % |
642.03/643.09 c | 867494 | 39683 285936 1118900 | 2147483647 441893 27 | 4.233 % |
655.03/656.03 c | 873913 | 39683 285936 1118900 | 2147483647 448312 27 | 4.233 % |
666.03/667.02 c | 880972 | 39237 278934 1091043 | 2147483647 407644 24 | 8.468 % |
669.93/670.98 c ===============================================================================
669.93/670.98 c restarts : 1129
669.93/670.98 c conflicts : 883478 (1331 /sec)
669.93/670.98 c decisions : 4148739 (1.57 % random) (6250 /sec)
669.93/670.98 c propagations : 306827110 (462203 /sec)
669.93/670.98 c conflict literals : 26336468 (27.98 % deleted)
669.93/670.98 c Memory used : 105.00 MB
669.93/670.98 c CPU time : 663.836 s
669.93/670.98 c
669.93/670.98 s UNSATISFIABLE
669.93/671.00 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837226-1242863621/watcher-1837226-1242863621 -o /tmp/evaluation-result-1837226-1242863621/solver-1837226-1242863621 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837226-1242863621.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.97 3/65 17823
/proc/meminfo: memFree=1844216/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=0
/proc/17823/stat : 17823 (SatELiteGTI) R 17821 17823 17751 0 -1 4194304 289 249 0 0 0 0 0 0 22 0 1 0 314391203 5484544 236 1992294400 4194304 4889804 548682068816 18446744073709551615 251600996908 0 0 4100 65536 0 0 0 17 1 0 0
/proc/17823/statm: 1339 237 197 169 0 50 0
[startup+0.0941879 s]
/proc/loadavg: 1.00 1.00 0.97 3/65 17823
/proc/meminfo: memFree=1844216/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=0
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 310 249 0 0 0 0 0 0 22 0 1 0 314391203 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101183 s]
/proc/loadavg: 1.00 1.00 0.97 3/65 17823
/proc/meminfo: memFree=1844216/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=0
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 310 249 0 0 0 0 0 0 22 0 1 0 314391203 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301212 s]
/proc/loadavg: 1.00 1.00 0.97 3/65 17823
/proc/meminfo: memFree=1844216/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=0
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 310 249 0 0 0 0 0 0 22 0 1 0 314391203 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701256 s]
/proc/loadavg: 1.00 1.00 0.97 3/65 17823
/proc/meminfo: memFree=1844216/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=0
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 310 249 0 0 0 0 0 0 22 0 1 0 314391203 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50133 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 17828
/proc/meminfo: memFree=1740064/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=0
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 310 249 0 0 0 0 0 0 22 0 1 0 314391203 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 237 197 169 0 50 0
[pid=17827] ppid=17823 vsize=109976 CPUtime=1.48
/proc/17827/stat : 17827 (SatELite_releas) R 17823 17823 17751 0 -1 4194304 28125 0 0 0 133 15 0 0 25 0 1 0 314391203 112615424 26025 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/17827/statm: 27494 26025 76 173 0 27319 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 115332
[startup+3.10251 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 17828
/proc/meminfo: memFree=1729568/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=0
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 310 249 0 0 0 0 0 0 22 0 1 0 314391203 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 237 197 169 0 50 0
[pid=17827] ppid=17823 vsize=115984 CPUtime=3.08
/proc/17827/stat : 17827 (SatELite_releas) R 17823 17823 17751 0 -1 4194304 29461 0 0 0 289 19 0 0 25 0 1 0 314391203 118767616 27361 1992294400 134512640 135223648 4294956128 18446744073709551615 134586759 0 0 4096 3 0 0 0 17 1 0 0
/proc/17827/statm: 28996 27361 76 173 0 28821 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 121340
[startup+6.30186 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 17828
/proc/meminfo: memFree=1708832/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 5356
[startup+12.7016 s]
/proc/loadavg: 1.16 1.03 0.98 2/67 17829
/proc/meminfo: memFree=1790248/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=24432 CPUtime=6.09
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 5715 0 0 0 605 4 0 0 25 0 1 0 314391793 25018368 5688 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 6108 5688 77 171 0 5935 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 29788
[startup+25.502 s]
/proc/loadavg: 1.35 1.08 1.00 2/67 17829
/proc/meminfo: memFree=1784168/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=31608 CPUtime=18.89
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 7445 0 0 0 1883 6 0 0 25 0 1 0 314391793 32366592 7418 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 7902 7418 77 171 0 7729 0
Current children cumulated CPU time (s) 24.78
Current children cumulated vsize (KiB) 36964
[startup+51.1018 s]
/proc/loadavg: 1.28 1.09 1.00 2/67 17829
/proc/meminfo: memFree=1775336/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=40764 CPUtime=44.46
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 9771 0 0 0 4437 9 0 0 25 0 1 0 314391793 41742336 9744 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 10191 9744 77 171 0 10018 0
Current children cumulated CPU time (s) 50.35
Current children cumulated vsize (KiB) 46120
[startup+102.305 s]
/proc/loadavg: 1.12 1.07 1.00 2/67 17829
/proc/meminfo: memFree=1764776/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=51604 CPUtime=95.63
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 12396 0 0 0 9550 13 0 0 25 0 1 0 314391793 52842496 12369 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 12901 12369 77 171 0 12728 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 56960
[startup+162.301 s]
/proc/loadavg: 1.04 1.06 1.00 2/67 17829
/proc/meminfo: memFree=1749608/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=67016 CPUtime=155.6
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 16206 0 0 0 15543 17 0 0 25 0 1 0 314391793 68624384 16179 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 16754 16179 77 171 0 16581 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 72372
[startup+222.302 s]
/proc/loadavg: 1.01 1.04 1.00 2/67 17829
/proc/meminfo: memFree=1736552/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=79668 CPUtime=215.57
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 19434 0 0 0 21537 20 0 0 25 0 1 0 314391793 81580032 19407 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 19917 19407 77 171 0 19744 0
Current children cumulated CPU time (s) 221.46
Current children cumulated vsize (KiB) 85024
[startup+282.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 17829
/proc/meminfo: memFree=1724136/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=92536 CPUtime=275.56
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 22504 0 0 0 27532 24 0 0 25 0 1 0 314391793 94756864 22477 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 23134 22477 77 171 0 22961 0
Current children cumulated CPU time (s) 281.45
Current children cumulated vsize (KiB) 97892
[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 17829
/proc/meminfo: memFree=1712296/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=103820 CPUtime=335.54
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 25393 0 0 0 33526 28 0 0 25 0 1 0 314391793 106311680 25366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 25955 25366 77 171 0 25782 0
Current children cumulated CPU time (s) 341.43
Current children cumulated vsize (KiB) 109176
[startup+402.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 17829
/proc/meminfo: memFree=1712104/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=104008 CPUtime=395.52
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 25410 0 0 0 39524 28 0 0 25 0 1 0 314391793 106504192 25383 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 26002 25383 77 171 0 25829 0
Current children cumulated CPU time (s) 401.41
Current children cumulated vsize (KiB) 109364
[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 17835
/proc/meminfo: memFree=1708648/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=106596 CPUtime=455.5
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 26043 0 0 0 45521 29 0 0 25 0 1 0 314391793 109154304 26016 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 26649 26016 77 171 0 26476 0
Current children cumulated CPU time (s) 461.39
Current children cumulated vsize (KiB) 111952
[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 17835
/proc/meminfo: memFree=1708328/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=106900 CPUtime=515.48
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 26114 0 0 0 51519 29 0 0 25 0 1 0 314391793 109465600 26087 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 26725 26087 77 171 0 26552 0
Current children cumulated CPU time (s) 521.37
Current children cumulated vsize (KiB) 112256
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 17835
/proc/meminfo: memFree=1707752/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=107372 CPUtime=575.46
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 26240 0 0 0 57517 29 0 0 25 0 1 0 314391793 109948928 26213 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 26843 26213 77 171 0 26670 0
Current children cumulated CPU time (s) 581.35
Current children cumulated vsize (KiB) 112728
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 17835
/proc/meminfo: memFree=1707688/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=107372 CPUtime=635.45
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 26256 0 0 0 63516 29 0 0 25 0 1 0 314391793 109948928 26229 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 26843 26229 77 171 0 26670 0
Current children cumulated CPU time (s) 641.34
Current children cumulated vsize (KiB) 112728
Solver just ended. Dumping a history of the last processes samples
[startup+652.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 17835
/proc/meminfo: memFree=1707560/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=107512 CPUtime=645.84
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 26281 0 0 0 64555 29 0 0 25 0 1 0 314391793 110092288 26254 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 26878 26254 77 171 0 26705 0
Current children cumulated CPU time (s) 651.73
Current children cumulated vsize (KiB) 112868
[startup+659.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 17835
/proc/meminfo: memFree=1707560/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=107512 CPUtime=652.24
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 26282 0 0 0 65195 29 0 0 25 0 1 0 314391793 110092288 26255 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 26878 26255 77 171 0 26705 0
Current children cumulated CPU time (s) 658.13
Current children cumulated vsize (KiB) 112868
[startup+665.506 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 17835
/proc/meminfo: memFree=1707560/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=107512 CPUtime=658.64
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 26282 0 0 0 65835 29 0 0 25 0 1 0 314391793 110092288 26255 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 26878 26255 77 171 0 26705 0
Current children cumulated CPU time (s) 664.53
Current children cumulated vsize (KiB) 112868
[startup+668.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 17835
/proc/meminfo: memFree=1707496/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=107512 CPUtime=661.84
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 26282 0 0 0 66155 29 0 0 25 0 1 0 314391793 110092288 26255 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 26878 26255 77 171 0 26705 0
Current children cumulated CPU time (s) 667.73
Current children cumulated vsize (KiB) 112868
[startup+670.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 17835
/proc/meminfo: memFree=1707496/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=107512 CPUtime=663.44
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 26282 0 0 0 66315 29 0 0 25 0 1 0 314391793 110092288 26255 1992294400 134512640 135215339 4294956240 18446744073709551615 134527240 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 26878 26255 77 171 0 26705 0
Current children cumulated CPU time (s) 669.33
Current children cumulated vsize (KiB) 112868
[startup+670.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 17835
/proc/meminfo: memFree=1707496/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=107512 CPUtime=663.84
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 26282 0 0 0 66355 29 0 0 25 0 1 0 314391793 110092288 26255 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 26878 26255 77 171 0 26705 0
Current children cumulated CPU time (s) 669.73
Current children cumulated vsize (KiB) 112868
[startup+670.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 17835
/proc/meminfo: memFree=1707496/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5356 CPUtime=5.89
/proc/17823/stat : 17823 (SatELiteGTI) S 17821 17823 17751 0 -1 4194304 336 33482 0 0 0 0 559 30 20 0 1 0 314391203 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17823/statm: 1339 239 197 169 0 50 0
[pid=17829] ppid=17823 vsize=107512 CPUtime=664.04
/proc/17829/stat : 17829 (minisat_static) R 17823 17823 17751 0 -1 4194304 26282 0 0 0 66375 29 0 0 25 0 1 0 314391793 110092288 26255 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17829/statm: 26878 26255 77 171 0 26705 0
Current children cumulated CPU time (s) 669.93
Current children cumulated vsize (KiB) 112868
[startup+671.005 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 17835
/proc/meminfo: memFree=1707496/2055920 swapFree=4175964/4192956
[pid=17823] ppid=17821 vsize=5360 CPUtime=670.03
/proc/17823/stat : 17823 (SatELiteGTI) R 17821 17823 17751 0 -1 4194304 341 59770 0 0 0 0 66942 61 19 0 1 0 314391203 5488640 241 1992294400 4194304 4889804 548682068816 18446744073709551615 251601320549 0 0 4100 65536 0 0 0 17 0 0 0
/proc/17823/statm: 1340 241 198 169 0 51 0
Current children cumulated CPU time (s) 670.03
Current children cumulated vsize (KiB) 5360
Child status: 20
Real time (s): 671.024
CPU time (s): 670.068
CPU user time (s): 669.431
CPU system time (s): 0.636903
CPU usage (%): 99.8576
Max. virtual memory (cumulated for all children) (KiB): 127852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 669.431
system time used= 0.636903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60261
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= 46
involuntary context switches= 2682
runsolver used 0.659899 second user time and 1.87871 second system time
The end
Begin job on node91 at 2009-05-21 01:53:42
IDJOB=1837226
IDBENCH=69630
IDSOLVER=674
FILE ID=node91/1837226-1242863621
PBS_JOBID= 9328517
Free space on /tmp= 66256 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837226-1242863621/watcher-1837226-1242863621 -o /tmp/evaluation-result-1837226-1242863621/solver-1837226-1242863621 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837226-1242863621.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5845608382cee59cce4973c50f16416c
RANDOM SEED=824515435
node91.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.241
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.241
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1844640 kB
Buffers: 7432 kB
Cached: 163548 kB
SwapCached: 9968 kB
Active: 38860 kB
Inactive: 143392 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1844640 kB
SwapTotal: 4192956 kB
SwapFree: 4175964 kB
Dirty: 15048 kB
Writeback: 0 kB
Mapped: 17112 kB
Slab: 14904 kB
Committed_AS: 948112 kB
PageTables: 1368 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66256 MiB
End job on node91 at 2009-05-21 02:04:53