0.00/0.00 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 16192 42927 | 4857 0 0 nan | 0.000 % |
0.00/0.11 c | 0 | 12797 40460 | -- 0 -- -- | -- | -3395/-2467
0.00/0.11 c ==============================================================================
0.00/0.11 c Result : #vars: 2513 #clauses: 12797 #literals: 40460
0.00/0.11 c CPU time: 0.108983 s
0.00/0.11 c ==============================================================================
0.00/0.13 c This is MiniSat 2.0 beta
0.00/0.13 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.13 c ============================[ Problem Statistics ]=============================
0.00/0.13 c | |
0.00/0.13 c | Number of variables: 2513 |
0.00/0.13 c | Number of clauses: 12797 |
0.00/0.14 c | Parsing time: 0.01 s |
0.00/0.14 c ============================[ Search Statistics ]==============================
0.00/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.14 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.14 c ===============================================================================
0.00/0.14 c | 0 | 2513 12797 40460 | 4265 0 nan | 0.000 % |
0.00/0.14 c | 101 | 2513 12797 40460 | 4265 101 11 | 0.003 % |
0.00/0.15 c | 201 | 2513 12797 40460 | 4265 201 25 | 0.000 % |
0.00/0.16 c | 301 | 2513 12797 40460 | 4265 301 23 | 0.000 % |
0.00/0.17 c | 411 | 2513 12797 40460 | 4265 411 21 | 0.000 % |
0.00/0.18 c | 511 | 2513 12797 40460 | 4265 511 20 | 0.000 % |
0.00/0.18 c | 623 | 2513 12797 40460 | 4265 623 25 | 0.002 % |
0.00/0.19 c | 744 | 2513 12797 40460 | 4265 744 24 | 0.000 % |
0.12/0.20 c | 845 | 2513 12797 40460 | 4265 845 22 | 0.000 % |
0.12/0.21 c | 956 | 2513 12797 40460 | 4265 956 24 | 0.000 % |
0.12/0.23 c | 1077 | 2513 12797 40460 | 4265 1077 24 | 0.000 % |
0.12/0.24 c | 1210 | 2513 12797 40460 | 4265 1210 27 | 0.001 % |
0.12/0.25 c | 1310 | 2513 12797 40460 | 4265 1310 27 | 0.000 % |
0.12/0.26 c | 1421 | 2513 12797 40460 | 4265 1421 29 | 0.000 % |
0.12/0.28 c | 1543 | 2513 12797 40460 | 4265 1543 30 | 0.000 % |
0.12/0.29 c | 1677 | 2513 12797 40460 | 4265 1677 32 | 0.003 % |
0.12/0.30 c | 1823 | 2513 12797 40460 | 4265 1823 31 | 0.000 % |
0.12/0.31 c | 1925 | 2513 12797 40460 | 4265 1925 30 | 0.000 % |
0.12/0.32 c | 2037 | 2513 12797 40460 | 4265 2037 32 | 0.000 % |
0.12/0.33 c | 2158 | 2513 12797 40460 | 4265 2158 33 | 0.004 % |
0.12/0.35 c | 2291 | 2513 12797 40460 | 4265 2291 33 | 0.000 % |
0.12/0.37 c | 2437 | 2513 12797 40460 | 4265 2437 34 | 0.000 % |
0.12/0.38 c | 2597 | 2513 12797 40460 | 4265 2597 34 | 0.000 % |
0.12/0.39 c | 2697 | 2513 12797 40460 | 4265 2697 33 | 0.000 % |
0.12/0.41 c | 2808 | 2513 12797 40460 | 4265 2808 34 | 0.000 % |
0.12/0.43 c | 2930 | 2513 12797 40460 | 4265 2930 35 | 0.000 % |
0.12/0.45 c | 3063 | 2513 12797 40460 | 4265 3063 38 | 0.000 % |
0.12/0.46 c | 3209 | 2513 12797 40460 | 4265 3209 38 | 0.002 % |
0.12/0.48 c | 3370 | 2513 12797 40460 | 4265 3370 38 | 0.000 % |
0.12/0.51 c | 3546 | 2513 12797 40460 | 4265 3546 38 | 0.000 % |
0.12/0.52 c | 3646 | 2513 12797 40460 | 4265 3646 38 | 0.000 % |
0.12/0.54 c | 3757 | 2513 12797 40460 | 4265 3757 39 | 0.000 % |
0.12/0.55 c | 3878 | 2513 12797 40460 | 4265 3878 39 | 0.000 % |
0.12/0.57 c | 4013 | 2513 12797 40460 | 4265 4013 39 | 0.000 % |
0.12/0.59 c | 4159 | 2513 12797 40460 | 4265 4159 39 | 0.002 % |
0.12/0.61 c | 4321 | 2513 12797 40460 | 4265 4321 40 | 0.000 % |
0.12/0.63 c | 4498 | 2513 12797 40460 | 4265 4066 39 | 0.000 % |
0.12/0.66 c | 4691 | 2513 12797 40460 | 4265 4259 42 | 0.000 % |
0.12/0.68 c | 4791 | 2513 12797 40460 | 4265 4359 42 | 0.000 % |
0.12/0.69 c | 4901 | 2513 12797 40460 | 4265 4034 42 | 0.000 % |
0.12/0.70 c | 5023 | 2513 12797 40460 | 4265 4156 41 | 0.000 % |
0.12/0.72 c | 5156 | 2513 12797 40460 | 4265 4289 41 | 0.004 % |
0.12/0.74 c | 5304 | 2513 12797 40460 | 4265 4009 41 | 0.000 % |
0.12/0.76 c | 5465 | 2513 12797 40460 | 4265 4170 41 | 0.000 % |
0.12/0.79 c | 5642 | 2513 12797 40460 | 4265 4347 42 | 0.000 % |
0.12/0.84 c | 5836 | 2513 12797 40460 | 4265 4107 42 | 0.000 % |
0.12/0.88 c | 6049 | 2513 12797 40460 | 4265 4320 43 | 0.000 % |
0.12/0.90 c | 6149 | 2513 12797 40460 | 4265 3988 41 | 0.004 % |
0.12/0.91 c | 6259 | 2513 12797 40460 | 4265 4098 41 | 0.000 % |
0.12/0.92 c | 6380 | 2513 12797 40460 | 4265 4219 40 | 0.000 % |
0.12/0.93 c | 6516 | 2513 12797 40460 | 4265 4355 41 | 0.000 % |
0.12/0.95 c | 6662 | 2513 12797 40460 | 4265 4066 41 | 0.004 % |
0.12/0.98 c | 6824 | 2513 12797 40460 | 4265 4228 42 | 0.004 % |
0.12/1.01 c | 7002 | 2513 12797 40460 | 4265 4406 42 | 0.000 % |
0.12/1.04 c | 7195 | 2513 12797 40460 | 4265 4159 41 | 0.002 % |
0.12/1.06 c | 7407 | 2513 12797 40460 | 4265 4371 41 | 0.000 % |
0.12/1.09 c | 7643 | 2513 12797 40460 | 4265 4170 40 | 0.000 % |
1.08/1.11 c | 7744 | 2513 12797 40460 | 4265 4271 39 | 0.000 % |
1.08/1.12 c | 7855 | 2513 12797 40460 | 4265 3955 38 | 0.000 % |
1.08/1.14 c | 7977 | 2513 12797 40460 | 4265 4077 38 | 0.000 % |
1.08/1.16 c | 8111 | 2513 12797 40460 | 4265 4211 38 | 0.000 % |
1.08/1.19 c | 8257 | 2513 12797 40460 | 4265 4357 40 | 0.000 % |
1.18/1.22 c | 8417 | 2513 12797 40460 | 4265 4082 39 | 0.000 % |
1.18/1.25 c | 8593 | 2513 12797 40460 | 4265 4258 40 | 0.000 % |
1.18/1.28 c | 8788 | 2513 12797 40460 | 4265 4453 40 | 0.003 % |
1.27/1.30 c | 9002 | 2513 12797 40460 | 4265 4222 36 | 0.000 % |
1.27/1.33 c | 9237 | 2513 12797 40460 | 4265 4457 36 | 0.002 % |
1.27/1.37 c | 9494 | 2513 12797 40460 | 4265 4269 35 | 0.000 % |
1.27/1.38 c | 9594 | 2513 12797 40460 | 4265 3943 33 | 0.000 % |
1.37/1.40 c | 9708 | 2513 12797 40460 | 4265 4057 33 | 0.004 % |
1.37/1.41 c | 9829 | 2513 12797 40460 | 4265 4178 33 | 0.000 % |
1.37/1.44 c | 9962 | 2513 12797 40460 | 4265 4311 33 | 0.000 % |
1.37/1.48 c | 10109 | 2513 12797 40460 | 2147483647 4027 32 | 0.000 % |
1.47/1.51 c | 10269 | 2513 12797 40460 | 2147483647 4187 34 | 0.000 % |
1.47/1.54 c | 10445 | 2513 12797 40460 | 2147483647 4363 34 | 0.000 % |
1.47/1.58 c | 10639 | 2513 12797 40460 | 2147483647 4557 35 | 0.000 % |
1.57/1.63 c | 10852 | 2513 12797 40460 | 2147483647 4770 36 | 0.000 % |
1.57/1.68 c | 11086 | 2513 12797 40460 | 2147483647 5004 36 | 0.000 % |
1.67/1.71 c | 11343 | 2513 12797 40460 | 2147483647 5261 37 | 0.004 % |
1.67/1.76 c | 11624 | 2513 12797 40460 | 2147483647 5542 37 | 0.000 % |
1.67/1.77 c | 11724 | 2513 12797 40460 | 2147483647 5642 37 | 0.000 % |
1.67/1.78 c | 11835 | 2513 12797 40460 | 2147483647 5753 36 | 0.000 % |
1.77/1.80 c | 11956 | 2513 12797 40460 | 2147483647 5874 36 | 0.000 % |
1.77/1.83 c | 12089 | 2513 12797 40460 | 2147483647 6007 37 | 0.000 % |
1.77/1.85 c | 12236 | 2513 12797 40460 | 2147483647 6154 37 | 0.003 % |
1.77/1.88 c | 12398 | 2513 12797 40460 | 2147483647 6316 37 | 0.000 % |
1.87/1.93 c | 12577 | 2513 12797 40460 | 2147483647 6495 38 | 0.000 % |
1.87/1.95 c | 12770 | 2513 12797 40460 | 2147483647 6688 38 | 0.002 % |
1.87/1.97 c | 12982 | 2513 12797 40460 | 2147483647 6900 38 | 0.000 % |
1.97/2.01 c | 13215 | 2513 12797 40460 | 2147483647 7133 38 | 0.000 % |
1.97/2.03 c | 13471 | 2513 12797 40460 | 2147483647 7389 37 | 0.000 % |
1.97/2.09 c | 13752 | 2513 12797 40460 | 2147483647 7670 38 | 0.000 % |
2.07/2.16 c | 14062 | 2513 12797 40460 | 2147483647 7980 39 | 0.000 % |
2.07/2.18 c | 14162 | 2513 12797 40460 | 2147483647 8080 39 | 0.003 % |
2.07/2.20 c | 14273 | 2513 12797 40460 | 2147483647 8191 39 | 0.000 % |
2.17/2.22 c | 14396 | 2513 12797 40460 | 2147483647 8314 39 | 0.000 % |
2.17/2.24 c | 14529 | 2513 12797 40460 | 2147483647 8447 39 | 0.000 % |
2.17/2.27 c | 14676 | 2513 12797 40460 | 2147483647 8594 39 | 0.003 % |
2.17/2.29 c | 14837 | 2513 12797 40460 | 2147483647 8755 39 | 0.000 % |
2.27/2.32 c | 15013 | 2513 12797 40460 | 2147483647 8931 39 | 0.000 % |
2.27/2.35 c | 15206 | 2513 12797 40460 | 2147483647 9124 39 | 0.002 % |
2.27/2.39 c | 15418 | 2513 12797 40460 | 2147483647 9336 39 | 0.000 % |
2.37/2.44 c | 15652 | 2513 12797 40460 | 2147483647 9570 39 | 0.000 % |
2.37/2.49 c | 15908 | 2513 12797 40460 | 2147483647 9826 40 | 0.000 % |
2.47/2.55 c | 16189 | 2513 12797 40460 | 2147483647 10107 40 | 0.000 % |
2.47/2.59 c | 16499 | 2513 12797 40460 | 2147483647 10417 39 | 0.000 % |
2.57/2.67 c | 16839 | 2513 12797 40460 | 2147483647 10757 41 | 0.000 % |
2.67/2.70 c | 16939 | 2513 12797 40460 | 2147483647 10857 41 | 0.000 % |
2.67/2.74 c | 17049 | 2513 12797 40460 | 2147483647 10967 41 | 0.000 % |
2.67/2.76 c | 17170 | 2513 12797 40460 | 2147483647 11088 41 | 0.004 % |
2.67/2.79 c | 17303 | 2513 12797 40460 | 2147483647 11221 41 | 0.000 % |
2.77/2.83 c | 17450 | 2513 12797 40460 | 2147483647 11368 41 | 0.000 % |
2.77/2.87 c | 17610 | 2513 12797 40460 | 2147483647 11528 41 | 0.000 % |
2.87/2.92 c | 17789 | 2513 12797 40460 | 2147483647 11707 42 | 0.000 % |
2.87/2.97 c | 17982 | 2513 12797 40460 | 2147483647 11900 42 | 0.000 % |
2.97/3.02 c | 18195 | 2513 12797 40460 | 2147483647 12113 42 | 0.000 % |
2.97/3.08 c | 18429 | 2513 12797 40460 | 2147483647 12347 42 | 0.000 % |
3.07/3.15 c | 18685 | 2513 12797 40460 | 2147483647 12603 42 | 0.000 % |
3.17/3.22 c | 18966 | 2513 12797 40460 | 2147483647 12884 43 | 0.000 % |
3.27/3.31 c | 19276 | 2513 12797 40460 | 2147483647 13194 43 | 0.000 % |
3.37/3.44 c | 19616 | 2513 12797 40460 | 2147483647 13534 44 | 0.000 % |
3.47/3.54 c | 19988 | 2513 12797 40460 | 2147483647 13906 44 | 0.000 % |
3.47/3.57 c | 20089 | 2513 12797 40460 | 2147483647 14007 44 | 0.000 % |
3.57/3.60 c | 20199 | 2513 12797 40460 | 2147483647 14117 44 | 0.003 % |
3.57/3.63 c | 20320 | 2513 12797 40460 | 2147483647 14238 44 | 0.000 % |
3.57/3.66 c | 20453 | 2513 12797 40460 | 2147483647 14371 44 | 0.000 % |
3.67/3.71 c | 20600 | 2513 12797 40460 | 2147483647 14518 45 | 0.000 % |
3.67/3.74 c | 20761 | 2513 12797 40460 | 2147483647 14679 44 | 0.000 % |
3.77/3.80 c | 20937 | 2513 12797 40460 | 2147483647 14855 45 | 0.000 % |
3.77/3.85 c | 21131 | 2513 12797 40460 | 2147483647 15049 45 | 0.000 % |
3.87/3.93 c | 21344 | 2513 12797 40460 | 2147483647 15262 45 | 0.000 % |
3.97/4.00 c | 21578 | 2513 12797 40460 | 2147483647 15496 46 | 0.000 % |
3.97/4.08 c | 21836 | 2513 12797 40460 | 2147483647 15754 46 | 0.004 % |
4.07/4.19 c | 22117 | 2513 12797 40460 | 2147483647 16035 46 | 0.000 % |
4.17/4.29 c | 22427 | 2513 12797 40460 | 2147483647 16345 46 | 0.000 % |
4.27/4.39 c | 22768 | 2513 12797 40460 | 2147483647 16686 46 | 0.000 % |
4.47/4.51 c | 23141 | 2513 12797 40460 | 2147483647 17059 47 | 0.000 % |
4.47/4.60 c | 23550 | 2513 12797 40460 | 2147483647 17468 47 | 0.000 % |
4.57/4.63 c | 23651 | 2513 12797 40460 | 2147483647 17569 47 | 0.003 % |
4.57/4.66 c | 23762 | 2513 12797 40460 | 2147483647 17680 46 | 0.000 % |
4.57/4.69 c | 23883 | 2513 12797 40460 | 2147483647 17801 46 | 0.000 % |
4.67/4.74 c | 24016 | 2513 12797 40460 | 2147483647 17934 46 | 0.000 % |
4.67/4.79 c | 24165 | 2513 12797 40460 | 2147483647 18083 46 | 0.003 % |
4.77/4.82 c | 24325 | 2513 12797 40460 | 2147483647 18243 46 | 0.000 % |
4.77/4.86 c | 24501 | 2513 12797 40460 | 2147483647 18419 46 | 0.000 % |
4.87/4.91 c | 24694 | 2513 12797 40460 | 2147483647 18612 46 | 0.004 % |
4.87/4.97 c | 24906 | 2513 12797 40460 | 2147483647 18824 46 | 0.000 % |
4.97/5.04 c | 25141 | 2513 12797 40460 | 2147483647 19059 46 | 0.000 % |
5.07/5.13 c | 25397 | 2513 12797 40460 | 2147483647 19315 46 | 0.000 % |
5.17/5.27 c | 25679 | 2513 12797 40460 | 2147483647 19597 47 | 0.000 % |
5.37/5.43 c | 25988 | 2513 12797 40460 | 2147483647 19906 47 | 0.000 % |
5.47/5.55 c | 26330 | 2513 12797 40460 | 2147483647 20248 47 | 0.000 % |
5.67/5.73 c | 26705 | 2513 12797 40460 | 2147483647 20623 47 | 0.000 % |
5.87/5.92 c | 27117 | 2513 12797 40460 | 2147483647 21035 47 | 0.000 % |
6.07/6.13 c | 27566 | 2513 12797 40460 | 2147483647 21484 48 | 0.000 % |
6.07/6.17 c | 27669 | 2513 12797 40460 | 2147483647 21587 48 | 0.003 % |
6.17/6.20 c | 27780 | 2513 12797 40460 | 2147483647 21698 48 | 0.000 % |
6.17/6.24 c | 27901 | 2513 12797 40460 | 2147483647 21819 48 | 0.000 % |
6.17/6.28 c | 28034 | 2513 12797 40460 | 2147483647 21952 48 | 0.000 % |
6.26/6.33 c | 28181 | 2513 12797 40460 | 2147483647 22099 48 | 0.004 % |
6.26/6.37 c | 28342 | 2513 12797 40460 | 2147483647 22260 48 | 0.000 % |
6.36/6.43 c | 28520 | 2513 12797 40460 | 2147483647 22438 48 | 0.000 % |
6.36/6.47 c | 28713 | 2513 12797 40460 | 2147483647 22631 48 | 0.000 % |
6.46/6.51 c | 28927 | 2513 12797 40460 | 2147483647 22845 48 | 0.000 % |
6.46/6.60 c | 29160 | 2513 12797 40460 | 2147483647 23078 48 | 0.000 % |
6.57/6.69 c | 29418 | 2513 12797 40460 | 2147483647 23336 48 | 0.000 % |
6.76/6.82 c | 29699 | 2513 12797 40460 | 2147483647 23617 48 | 0.000 % |
6.96/7.00 c | 30008 | 2513 12797 40460 | 2147483647 23926 48 | 0.000 % |
7.06/7.10 c | 30348 | 2513 12797 40460 | 2147483647 24266 48 | 0.002 % |
7.16/7.24 c | 30723 | 2513 12797 40460 | 2147483647 24641 48 | 0.000 % |
7.37/7.40 c | 31133 | 2513 12797 40460 | 2147483647 25051 48 | 0.000 % |
7.47/7.54 c | 31583 | 2513 12797 40460 | 2147483647 25501 47 | 0.000 % |
7.67/7.70 c | 32079 | 2513 12797 40460 | 2147483647 25997 47 | 0.002 % |
7.67/7.74 c | 32179 | 2513 12797 40460 | 2147483647 26097 47 | 0.001 % |
7.67/7.76 c | 32291 | 2513 12797 40460 | 2147483647 26209 47 | 0.000 % |
7.67/7.80 c | 32413 | 2513 12797 40460 | 2147483647 26331 47 | 0.000 % |
7.77/7.82 c | 32547 | 2513 12797 40460 | 2147483647 26465 47 | 0.000 % |
7.77/7.88 c | 32695 | 2513 12797 40460 | 2147483647 26613 47 | 0.001 % |
7.87/7.91 c | 32857 | 2513 12797 40460 | 2147483647 26775 47 | 0.000 % |
7.87/7.96 c | 33033 | 2513 12797 40460 | 2147483647 26951 47 | 0.000 % |
7.97/8.03 c | 33227 | 2513 12797 40460 | 2147483647 27145 47 | 0.003 % |
8.07/8.11 c | 33440 | 2513 12797 40460 | 2147483647 27358 47 | 0.000 % |
8.17/8.22 c | 33674 | 2513 12797 40460 | 2147483647 27592 48 | 0.000 % |
8.26/8.33 c | 33932 | 2513 12797 40460 | 2147483647 27850 47 | 0.000 % |
8.36/8.49 c | 34213 | 2513 12797 40460 | 2147483647 28131 47 | 0.000 % |
8.56/8.63 c | 34522 | 2513 12797 40460 | 2147483647 28440 47 | 0.000 % |
8.66/8.76 c | 34862 | 2513 12797 40460 | 2147483647 28780 47 | 0.002 % |
8.87/8.92 c | 35234 | 2513 12797 40460 | 2147483647 29152 47 | 0.000 % |
8.96/9.09 c | 35643 | 2513 12797 40460 | 2147483647 29561 47 | 0.000 % |
9.16/9.22 c | 36094 | 2513 12797 40460 | 2147483647 30012 47 | 0.000 % |
9.36/9.40 c | 36588 | 2513 12797 40460 | 2147483647 30506 47 | 0.002 % |
9.56/9.60 c | 37130 | 2513 12797 40460 | 2147483647 31048 47 | 0.003 % |
9.56/9.64 c | 37232 | 2513 12797 40460 | 2147483647 31150 47 | 0.000 % |
9.56/9.68 c | 37342 | 2513 12797 40460 | 2147483647 31260 47 | 0.000 % |
9.66/9.73 c | 37465 | 2513 12797 40460 | 2147483647 31383 47 | 0.000 % |
9.66/9.77 c | 37599 | 2513 12797 40460 | 2147483647 31517 47 | 0.000 % |
9.76/9.83 c | 37745 | 2513 12797 40460 | 2147483647 31663 47 | 0.004 % |
9.76/9.90 c | 37907 | 2513 12797 40460 | 2147483647 31825 47 | 0.000 % |
9.97/10.02 c | 38086 | 2513 12797 40460 | 2147483647 32004 47 | 0.000 % |
9.97/10.09 c | 38280 | 2513 12797 40460 | 2147483647 32198 47 | 0.002 % |
10.06/10.17 c | 38492 | 2513 12797 40460 | 2147483647 32410 47 | 0.000 % |
10.16/10.29 c | 38725 | 2513 12797 40460 | 2147483647 32643 47 | 0.000 % |
10.36/10.42 c | 38981 | 2513 12797 40460 | 2147483647 32899 47 | 0.000 % |
10.46/10.50 c | 39265 | 2513 12797 40460 | 2147483647 33183 47 | 0.000 % |
10.56/10.67 c | 39574 | 2513 12797 40460 | 2147483647 33492 47 | 0.000 % |
10.66/10.77 c | 39913 | 2513 12797 40460 | 2147483647 33831 47 | 0.002 % |
10.76/10.90 c | 40286 | 2513 12797 40460 | 2147483647 34204 47 | 0.000 % |
10.97/11.04 c | 40695 | 2513 12797 40460 | 2147483647 34613 47 | 0.000 % |
11.06/11.19 c | 41146 | 2513 12797 40460 | 2147483647 35064 47 | 0.000 % |
11.26/11.36 c | 41640 | 2513 12797 40460 | 2147483647 35558 47 | 0.000 % |
11.56/11.64 c | 42182 | 2513 12797 40460 | 2147483647 36100 46 | 0.000 % |
11.76/11.86 c | 42778 | 2513 12797 40460 | 2147483647 36696 46 | 0.000 % |
11.86/11.91 c | 42878 | 2513 12797 40460 | 2147483647 36796 46 | 0.000 % |
11.96/12.00 c | 42989 | 2513 12797 40460 | 2147483647 36907 46 | 0.000 % |
12.06/12.12 c | 43111 | 2513 12797 40460 | 2147483647 37029 46 | 0.000 % |
12.06/12.20 c | 43244 | 2513 12797 40460 | 2147483647 37162 46 | 0.000 % |
12.16/12.25 c | 43390 | 2513 12797 40460 | 2147483647 37308 46 | 0.000 % |
12.16/12.28 c | 43550 | 2513 12797 40460 | 2147483647 37468 46 | 0.000 % |
12.26/12.38 c | 43726 | 2513 12797 40460 | 2147483647 37644 46 | 0.002 % |
12.36/12.48 c | 43920 | 2513 12797 40460 | 2147483647 37838 46 | 0.000 % |
12.46/12.58 c | 44133 | 2513 12797 40460 | 2147483647 38051 46 | 0.000 % |
12.66/12.73 c | 44369 | 2513 12797 40460 | 2147483647 38287 46 | 0.000 % |
12.76/12.83 c | 44625 | 2513 12797 40460 | 2147483647 38543 46 | 0.000 % |
12.95/13.04 c | 44907 | 2513 12797 40460 | 2147483647 38825 45 | 0.000 % |
13.16/13.22 c | 45216 | 2513 12797 40460 | 2147483647 39134 45 | 0.000 % |
13.35/13.42 c | 45556 | 2513 12797 40460 | 2147483647 39474 45 | 0.000 % |
13.45/13.54 c | 45928 | 2513 12797 40460 | 2147483647 39846 45 | 0.004 % |
13.65/13.72 c | 46339 | 2513 12797 40460 | 2147483647 40257 45 | 0.000 % |
13.85/13.96 c | 46788 | 2513 12797 40460 | 2147483647 40706 45 | 0.000 % |
14.05/14.17 c | 47282 | 2513 12797 40460 | 2147483647 41200 45 | 0.000 % |
14.45/14.50 c | 47824 | 2513 12797 40460 | 2147483647 41742 45 | 0.000 % |
14.65/14.79 c | 48420 | 2513 12797 40460 | 2147483647 42338 45 | 0.000 % |
15.05/15.18 c | 49075 | 2513 12797 40460 | 2147483647 42993 46 | 0.000 % |
15.15/15.25 c | 49175 | 2513 12797 40460 | 2147483647 43093 46 | 0.003 % |
15.25/15.30 c | 49286 | 2513 12797 40460 | 2147483647 43204 46 | 0.000 % |
15.35/15.43 c | 49408 | 2513 12797 40460 | 2147483647 43326 46 | 0.000 % |
15.45/15.56 c | 49542 | 2513 12797 40460 | 2147483647 43460 46 | 0.000 % |
15.56/15.65 c | 49688 | 2513 12797 40460 | 2147483647 43606 46 | 0.004 % |
15.66/15.72 c | 49850 | 2513 12797 40460 | 2147483647 43768 46 | 0.000 % |
15.66/15.79 c | 50027 | 2513 12797 40460 | 2147483647 43945 46 | 0.000 % |
15.86/15.93 c | 50220 | 2513 12797 40460 | 2147483647 44138 46 | 0.002 % |
15.96/16.06 c | 50434 | 2513 12797 40460 | 2147483647 44352 46 | 0.000 % |
16.06/16.19 c | 50667 | 2513 12797 40460 | 2147483647 44585 46 | 0.000 % |
16.26/16.30 c | 50924 | 2513 12797 40460 | 2147483647 44842 46 | 0.000 % |
16.36/16.48 c | 51205 | 2513 12797 40460 | 2147483647 45123 46 | 0.000 % |
16.56/16.68 c | 51515 | 2513 12797 40460 | 2147483647 45433 46 | 0.000 % |
16.75/16.87 c | 51856 | 2513 12797 40460 | 2147483647 45774 46 | 0.002 % |
16.95/17.09 c | 52229 | 2513 12797 40460 | 2147483647 46147 46 | 0.000 % |
17.25/17.33 c | 52640 | 2513 12797 40460 | 2147483647 46558 46 | 0.000 % |
17.45/17.60 c | 53090 | 2513 12797 40460 | 2147483647 47008 46 | 0.000 % |
17.66/17.76 c | 53583 | 2513 12797 40460 | 2147483647 47501 46 | 0.002 % |
17.95/18.04 c | 54127 | 2513 12797 40460 | 2147483647 48045 46 | 0.002 % |
18.25/18.30 c | 54724 | 2513 12797 40460 | 2147483647 48642 46 | 0.000 % |
18.55/18.65 c | 55380 | 2513 12797 40460 | 2147483647 49298 46 | 0.000 % |
18.85/18.98 c | 56100 | 2513 12797 40460 | 2147483647 50018 46 | 0.000 % |
18.95/19.04 c | 56201 | 2513 12797 40460 | 2147483647 50119 46 | 0.000 % |
19.05/19.16 c | 56314 | 2513 12797 40460 | 2147483647 50232 46 | 0.004 % |
19.15/19.22 c | 56435 | 2513 12797 40460 | 2147483647 50353 46 | 0.000 % |
19.25/19.31 c | 56568 | 2513 12797 40460 | 2147483647 50486 46 | 0.000 % |
19.25/19.37 c | 56714 | 2513 12797 40460 | 2147483647 50632 47 | 0.002 % |
19.35/19.42 c | 56875 | 2513 12797 40460 | 2147483647 50793 46 | 0.000 % |
19.35/19.46 c | 57051 | 2513 12797 40460 | 2147483647 50969 46 | 0.000 % |
19.45/19.58 c | 57245 | 2513 12797 40460 | 2147483647 51163 46 | 0.004 % |
19.65/19.70 c | 57458 | 2513 12797 40460 | 2147483647 51376 46 | 0.000 % |
19.75/19.85 c | 57691 | 2513 12797 40460 | 2147483647 51609 46 | 0.000 % |
19.85/19.97 c | 57948 | 2513 12797 40460 | 2147483647 51866 46 | 0.000 % |
19.95/20.08 c | 58229 | 2513 12797 40460 | 2147483647 52147 46 | 0.000 % |
20.25/20.30 c | 58538 | 2513 12797 40460 | 2147483647 52456 46 | 0.000 % |
20.45/20.55 c | 58877 | 2513 12797 40460 | 2147483647 52795 46 | 0.003 % |
20.65/20.72 c | 59250 | 2513 12797 40460 | 2147483647 53168 46 | 0.000 % |
20.85/20.91 c | 59660 | 2513 12797 40460 | 2147483647 53578 46 | 0.000 % |
21.25/21.30 c | 60111 | 2513 12797 40460 | 2147483647 54029 46 | 0.000 % |
21.55/21.62 c | 60604 | 2513 12797 40460 | 2147483647 54522 47 | 0.000 % |
22.05/22.14 c | 61147 | 2513 12797 40460 | 2147483647 55065 47 | 0.000 % |
22.34/22.47 c | 61745 | 2513 12797 40460 | 2147483647 55663 47 | 0.000 % |
22.94/23.00 c | 62401 | 2513 12797 40460 | 2147483647 56319 47 | 0.000 % |
23.64/23.73 c | 63123 | 2513 12797 40460 | 2147483647 57041 47 | 0.000 % |
24.34/24.49 c | 63915 | 2513 12797 40460 | 2147483647 57833 47 | 0.000 % |
24.54/24.64 c | 64015 | 2513 12797 40460 | 2147483647 57933 47 | 0.000 % |
24.64/24.72 c | 64125 | 2513 12797 40460 | 2147483647 58043 47 | 0.004 % |
24.74/24.85 c | 64247 | 2513 12797 40460 | 2147483647 58165 47 | 0.000 % |
24.84/24.96 c | 64381 | 2513 12797 40460 | 2147483647 58299 47 | 0.000 % |
24.94/25.09 c | 64527 | 2513 12797 40460 | 2147483647 58445 47 | 0.000 % |
25.14/25.23 c | 64687 | 2513 12797 40460 | 2147483647 58605 47 | 0.002 % |
25.25/25.31 c | 64864 | 2513 12797 40460 | 2147483647 58782 47 | 0.000 % |
25.25/25.39 c | 65058 | 2513 12797 40460 | 2147483647 58976 47 | 0.000 % |
25.44/25.54 c | 65271 | 2513 12797 40460 | 2147483647 59189 47 | 0.004 % |
25.54/25.68 c | 65504 | 2513 12797 40460 | 2147483647 59422 47 | 0.000 % |
25.75/25.88 c | 65760 | 2513 12797 40460 | 2147483647 59678 47 | 0.003 % |
25.95/26.04 c | 66041 | 2513 12797 40460 | 2147483647 59959 47 | 0.000 % |
26.15/26.21 c | 66351 | 2513 12797 40460 | 2147483647 60269 47 | 0.003 % |
26.35/26.41 c | 66692 | 2513 12797 40460 | 2147483647 60610 47 | 0.000 % |
26.75/26.82 c | 67064 | 2513 12797 40460 | 2147483647 60982 47 | 0.000 % |
26.95/27.01 c | 67475 | 2513 12797 40460 | 2147483647 61393 47 | 0.002 % |
27.15/27.25 c | 67927 | 2513 12797 40460 | 2147483647 61845 47 | 0.000 % |
27.45/27.55 c | 68422 | 2513 12797 40460 | 2147483647 62340 47 | 0.000 % |
27.75/27.89 c | 68964 | 2513 12797 40460 | 2147483647 62882 47 | 0.000 % |
28.15/28.27 c | 69561 | 2513 12797 40460 | 2147483647 63479 47 | 0.000 % |
28.65/28.79 c | 70217 | 2513 12797 40460 | 2147483647 64135 47 | 0.004 % |
29.55/29.61 c | 70938 | 2513 12797 40460 | 2147483647 64856 47 | 0.000 % |
30.14/30.21 c | 71732 | 2513 12797 40460 | 2147483647 65650 47 | 0.000 % |
30.85/30.91 c | 72603 | 2513 12797 40460 | 2147483647 66521 47 | 0.000 % |
30.94/31.02 c | 72704 | 2513 12797 40460 | 2147483647 66622 47 | 0.000 % |
31.04/31.14 c | 72814 | 2513 12797 40460 | 2147483647 66732 47 | 0.000 % |
31.14/31.25 c | 72935 | 2513 12797 40460 | 2147483647 66853 47 | 0.000 % |
31.34/31.43 c | 73069 | 2513 12797 40460 | 2147483647 66987 47 | 0.000 % |
31.44/31.55 c | 73215 | 2513 12797 40460 | 2147483647 67133 47 | 0.002 % |
31.64/31.74 c | 73378 | 2513 12797 40460 | 2147483647 67296 47 | 0.000 % |
31.84/31.92 c | 73554 | 2513 12797 40460 | 2147483647 67472 47 | 0.000 % |
31.94/32.04 c | 73747 | 2513 12797 40460 | 2147483647 67665 47 | 0.002 % |
32.04/32.14 c | 73959 | 2513 12797 40460 | 2147483647 67877 47 | 0.000 % |
32.04/32.19 c | 74192 | 2513 12797 40460 | 2147483647 68110 47 | 0.000 % |
32.24/32.39 c | 74449 | 2513 12797 40460 | 2147483647 68367 47 | 0.000 % |
32.64/32.74 c | 74731 | 2513 12797 40460 | 2147483647 68649 47 | 0.000 % |
32.84/32.99 c | 75040 | 2513 12797 40460 | 2147483647 68958 47 | 0.000 % |
33.14/33.26 c | 75379 | 2513 12797 40460 | 2147483647 69297 47 | 0.004 % |
33.44/33.57 c | 75751 | 2513 12797 40460 | 2147483647 69669 47 | 0.000 % |
33.84/33.99 c | 76160 | 2513 12797 40460 | 2147483647 70078 47 | 0.000 % |
34.23/34.34 c | 76610 | 2513 12797 40460 | 2147483647 70528 48 | 0.000 % |
34.63/34.74 c | 77105 | 2513 12797 40460 | 2147483647 71023 48 | 0.000 % |
35.03/35.18 c | 77647 | 2513 12797 40460 | 2147483647 71565 47 | 0.000 % |
35.64/35.78 c | 78244 | 2513 12797 40460 | 2147483647 72162 48 | 0.000 % |
36.54/36.63 c | 78900 | 2513 12797 40460 | 2147483647 72818 48 | 0.000 % |
37.45/37.60 c | 79620 | 2513 12797 40460 | 2147483647 73538 48 | 0.000 % |
38.34/38.44 c | 80412 | 2513 12797 40460 | 73919 64020 45 | 0.000 % |
39.24/39.36 c | 81285 | 2513 12797 40460 | 73919 64893 45 | 0.000 % |
40.14/40.27 c | 82243 | 2513 12797 40460 | 73919 65851 45 | 0.000 % |
40.24/40.32 c | 82344 | 2513 12797 40460 | 73919 65952 45 | 0.000 % |
40.24/40.38 c | 82455 | 2513 12797 40460 | 73919 66063 45 | 0.000 % |
40.34/40.47 c | 82576 | 2513 12797 40460 | 73919 66184 45 | 0.000 % |
40.54/40.60 c | 82709 | 2513 12797 40460 | 73919 66317 45 | 0.004 % |
40.64/40.71 c | 82855 | 2513 12797 40460 | 73919 66463 45 | 0.000 % |
40.74/40.81 c | 83016 | 2513 12797 40460 | 73919 66624 45 | 0.000 % |
40.84/40.95 c | 83193 | 2513 12797 40460 | 73919 66801 45 | 0.000 % |
41.04/41.14 c | 83386 | 2513 12797 40460 | 73919 66994 45 | 0.000 % |
41.24/41.35 c | 83598 | 2513 12797 40460 | 73919 67206 45 | 0.000 % |
41.44/41.57 c | 83831 | 2513 12797 40460 | 73919 67439 45 | 0.002 % |
41.74/41.81 c | 84087 | 2513 12797 40460 | 73919 67695 45 | 0.000 % |
42.04/42.13 c | 84368 | 2513 12797 40460 | 73919 67976 45 | 0.002 % |
42.24/42.34 c | 84677 | 2513 12797 40460 | 73919 68285 45 | 0.000 % |
42.54/42.64 c | 85017 | 2513 12797 40460 | 73919 68625 45 | 0.000 % |
42.84/42.92 c | 85389 | 2513 12797 40460 | 73919 68997 45 | 0.004 % |
43.24/43.31 c | 85798 | 2513 12797 40460 | 73919 69406 45 | 0.000 % |
43.74/43.82 c | 86247 | 2513 12797 40460 | 73919 69855 45 | 0.000 % |
44.14/44.21 c | 86740 | 2513 12797 40460 | 73919 70348 46 | 0.000 % |
44.64/44.76 c | 87284 | 2513 12797 40460 | 73919 70892 46 | 0.000 % |
45.24/45.30 c | 87881 | 2513 12797 40460 | 73919 71489 46 | 0.000 % |
45.84/45.96 c | 88537 | 2513 12797 40460 | 73919 72145 46 | 0.000 % |
46.53/46.64 c | 89258 | 2513 12797 40460 | 73919 72866 46 | 0.004 % |
47.53/47.63 c | 90050 | 2513 12797 40460 | 73610 73658 46 | 0.000 % |
48.23/48.32 c | 90921 | 2513 12797 40460 | 73610 63538 44 | 0.000 % |
49.03/49.10 c | 91881 | 2513 12797 40460 | 73610 64498 44 | 0.000 % |
49.93/50.03 c | 92935 | 2513 12797 40460 | 73610 65552 44 | 0.000 % |
49.93/50.09 c | 93035 | 2513 12797 40460 | 73610 65652 44 | 0.000 % |
50.03/50.18 c | 93146 | 2513 12797 40460 | 73610 65763 44 | 0.004 % |
50.13/50.24 c | 93269 | 2513 12797 40460 | 73610 65886 44 | 0.000 % |
50.23/50.33 c | 93404 | 2513 12797 40460 | 73610 66021 44 | 0.000 % |
50.33/50.47 c | 93551 | 2513 12797 40460 | 73610 66168 44 | 0.000 % |
50.43/50.57 c | 93711 | 2513 12797 40460 | 73610 66328 44 | 0.000 % |
50.64/50.71 c | 93887 | 2513 12797 40460 | 73610 66504 44 | 0.000 % |
50.64/50.77 c | 94083 | 2513 12797 40460 | 73610 66700 44 | 0.000 % |
50.83/50.93 c | 94296 | 2513 12797 40460 | 73610 66913 44 | 0.002 % |
50.93/51.08 c | 94530 | 2513 12797 40460 | 73610 67147 44 | 0.000 % |
51.13/51.23 c | 94788 | 2513 12797 40460 | 73610 67405 44 | 0.004 % |
51.33/51.46 c | 95070 | 2513 12797 40460 | 73610 67687 44 | 0.000 % |
51.64/51.76 c | 95380 | 2513 12797 40460 | 73610 67997 44 | 0.000 % |
51.83/51.94 c | 95721 | 2513 12797 40460 | 73610 68338 45 | 0.000 % |
52.03/52.18 c | 96093 | 2513 12797 40460 | 73610 68710 45 | 0.000 % |
52.33/52.41 c | 96502 | 2513 12797 40460 | 73610 69119 45 | 0.004 % |
52.53/52.64 c | 96951 | 2513 12797 40460 | 73610 69568 45 | 0.000 % |
52.74/52.87 c | 97444 | 2513 12797 40460 | 73610 70061 44 | 0.000 % |
53.03/53.18 c | 97986 | 2513 12797 40460 | 73610 70603 45 | 0.000 % |
53.53/53.60 c | 98582 | 2513 12797 40460 | 73610 71199 44 | 0.000 % |
53.84/53.94 c | 99238 | 2513 12797 40460 | 73610 71855 44 | 0.004 % |
54.23/54.37 c | 99958 | 2513 12797 40460 | 73610 72575 45 | 0.000 % |
55.23/55.35 c | 100750 | 2513 12797 40460 | 72619 62633 44 | 0.000 % |
55.93/56.09 c | 101622 | 2513 12797 40460 | 72619 63505 44 | 0.000 % |
56.73/56.87 c | 102580 | 2513 12797 40460 | 72619 64463 44 | 0.000 % |
57.63/57.71 c | 103633 | 2513 12797 40460 | 72619 65516 44 | 0.003 % |
58.34/58.49 c | 104792 | 2513 12797 40460 | 72619 66675 44 | 0.000 % |
58.43/58.59 c | 104894 | 2513 12797 40460 | 72619 66777 44 | 0.000 % |
58.53/58.64 c | 105004 | 2513 12797 40460 | 72619 66887 44 | 0.000 % |
58.63/58.78 c | 105125 | 2513 12797 40460 | 72619 67008 44 | 0.003 % |
58.73/58.84 c | 105258 | 2513 12797 40460 | 72619 67141 44 | 0.000 % |
58.83/58.95 c | 105405 | 2513 12797 40460 | 72619 67288 44 | 0.000 % |
58.93/59.08 c | 105565 | 2513 12797 40460 | 72619 67448 45 | 0.000 % |
59.03/59.18 c | 105742 | 2513 12797 40460 | 72619 67625 45 | 0.004 % |
59.13/59.29 c | 105936 | 2513 12797 40460 | 72619 67819 45 | 0.000 % |
59.33/59.48 c | 106149 | 2513 12797 40460 | 72619 68032 45 | 0.000 % |
59.43/59.59 c | 106382 | 2513 12797 40460 | 72619 68265 44 | 0.000 % |
59.53/59.69 c | 106638 | 2513 12797 40460 | 72619 68521 44 | 0.000 % |
59.83/59.92 c | 106921 | 2513 12797 40460 | 72619 68804 44 | 0.000 % |
60.03/60.17 c | 107232 | 2513 12797 40460 | 72619 69115 44 | 0.000 % |
60.33/60.46 c | 107573 | 2513 12797 40460 | 72619 69456 44 | 0.000 % |
60.53/60.68 c | 107946 | 2513 12797 40460 | 72619 69829 44 | 0.004 % |
60.83/60.92 c | 108355 | 2513 12797 40460 | 72619 70238 44 | 0.000 % |
61.03/61.18 c | 108806 | 2513 12797 40460 | 72619 70689 44 | 0.000 % |
61.43/61.54 c | 109300 | 2513 12797 40460 | 72619 71183 44 | 0.000 % |
61.73/61.87 c | 109843 | 2513 12797 40460 | 72619 71726 44 | 0.000 % |
62.13/62.27 c | 110439 | 2513 12797 40460 | 71883 72322 44 | 0.000 % |
62.73/62.86 c | 111094 | 2513 12797 40460 | 71883 62386 42 | 0.000 % |
63.13/63.22 c | 111816 | 2513 12797 40460 | 71883 63108 42 | 0.003 % |
63.63/63.78 c | 112609 | 2513 12797 40460 | 71883 63901 43 | 0.000 % |
64.53/64.64 c | 113480 | 2513 12797 40460 | 71883 64772 42 | 0.000 % |
65.13/65.27 c | 114439 | 2513 12797 40460 | 71883 65731 42 | 0.000 % |
66.03/66.15 c | 115492 | 2513 12797 40460 | 71883 66784 42 | 0.000 % |
67.13/67.26 c | 116650 | 2513 12797 40460 | 71883 67942 43 | 0.000 % |
68.43/68.54 c | 117924 | 2513 12797 40460 | 71883 69216 43 | 0.000 % |
68.53/68.67 c | 118024 | 2513 12797 40460 | 71883 69316 43 | 0.000 % |
68.73/68.80 c | 118135 | 2513 12797 40460 | 71883 69427 43 | 0.004 % |
68.83/68.90 c | 118256 | 2513 12797 40460 | 71883 69548 43 | 0.000 % |
68.93/69.01 c | 118389 | 2513 12797 40460 | 71883 69681 43 | 0.000 % |
69.03/69.13 c | 118535 | 2513 12797 40460 | 71883 69827 43 | 0.000 % |
69.13/69.26 c | 118695 | 2513 12797 40460 | 71883 69987 43 | 0.002 % |
69.23/69.39 c | 118871 | 2513 12797 40460 | 71883 70163 43 | 0.000 % |
69.43/69.53 c | 119064 | 2513 12797 40460 | 71883 70356 43 | 0.000 % |
69.62/69.70 c | 119277 | 2513 12797 40460 | 71883 70569 43 | 0.004 % |
69.82/69.91 c | 119511 | 2513 12797 40460 | 71883 70803 44 | 0.000 % |
70.12/70.25 c | 119768 | 2513 12797 40460 | 71883 71060 44 | 0.002 % |
70.33/70.42 c | 120050 | 2513 12797 40460 | 71292 71342 44 | 0.000 % |
70.52/70.67 c | 120359 | 2513 12797 40460 | 71292 61215 42 | 0.003 % |
70.72/70.85 c | 120700 | 2513 12797 40460 | 71292 61556 42 | 0.000 % |
71.02/71.20 c | 121072 | 2513 12797 40460 | 71292 61928 42 | 0.000 % |
71.32/71.50 c | 121482 | 2513 12797 40460 | 71292 62338 42 | 0.004 % |
71.72/71.88 c | 121932 | 2513 12797 40460 | 71292 62788 42 | 0.000 % |
72.22/72.30 c | 122426 | 2513 12797 40460 | 71292 63282 42 | 0.000 % |
72.72/72.80 c | 122970 | 2513 12797 40460 | 71292 63826 43 | 0.000 % |
73.12/73.24 c | 123566 | 2513 12797 40460 | 71292 64422 42 | 0.000 % |
73.62/73.77 c | 124222 | 2513 12797 40460 | 71292 65078 42 | 0.004 % |
74.22/74.30 c | 124942 | 2513 12797 40460 | 71292 65798 43 | 0.000 % |
74.62/74.76 c | 125735 | 2513 12797 40460 | 71292 66591 42 | 0.000 % |
75.32/75.42 c | 126607 | 2513 12797 40460 | 71292 67463 43 | 0.000 % |
76.22/76.30 c | 127566 | 2513 12797 40460 | 71292 68422 43 | 0.000 % |
76.82/76.96 c | 128621 | 2513 12797 40460 | 71292 69477 43 | 0.002 % |
77.42/77.59 c | 129781 | 2513 12797 40460 | 71292 70637 43 | 0.000 % |
78.52/78.69 c | 131054 | 2513 12797 40460 | 70858 62952 41 | 0.000 % |
79.72/79.86 c | 132454 | 2513 12797 40460 | 70858 64352 41 | 0.004 % |
79.82/79.95 c | 132554 | 2513 12797 40460 | 70858 64452 41 | 0.000 % |
79.92/80.07 c | 132664 | 2513 12797 40460 | 70858 64562 41 | 0.002 % |
80.02/80.15 c | 132787 | 2513 12797 40460 | 70858 64685 41 | 0.000 % |
80.12/80.28 c | 132920 | 2513 12797 40460 | 70858 64818 41 | 0.000 % |
80.22/80.37 c | 133066 | 2513 12797 40460 | 70858 64964 41 | 0.000 % |
80.32/80.48 c | 133226 | 2513 12797 40460 | 70858 65124 41 | 0.004 % |
80.52/80.65 c | 133404 | 2513 12797 40460 | 70858 65302 41 | 0.000 % |
80.72/80.85 c | 133597 | 2513 12797 40460 | 70858 65495 41 | 0.000 % |
80.92/81.04 c | 133809 | 2513 12797 40460 | 70858 65707 41 | 0.004 % |
81.12/81.22 c | 134043 | 2513 12797 40460 | 70858 65941 42 | 0.000 % |
81.32/81.43 c | 134299 | 2513 12797 40460 | 70858 66197 41 | 0.003 % |
81.61/81.72 c | 134580 | 2513 12797 40460 | 70858 66478 42 | 0.000 % |
81.91/82.07 c | 134889 | 2513 12797 40460 | 70858 66787 42 | 0.003 % |
82.11/82.29 c | 135229 | 2513 12797 40460 | 70858 67127 42 | 0.000 % |
82.52/82.68 c | 135602 | 2513 12797 40460 | 70858 67500 42 | 0.000 % |
82.91/83.01 c | 136014 | 2513 12797 40460 | 70858 67912 42 | 0.000 % |
83.21/83.34 c | 136463 | 2513 12797 40460 | 70858 68361 42 | 0.004 % |
83.52/83.65 c | 136957 | 2513 12797 40460 | 70858 68855 42 | 0.000 % |
84.01/84.12 c | 137500 | 2513 12797 40460 | 70858 69398 42 | 0.000 % |
84.51/84.63 c | 138097 | 2513 12797 40460 | 70858 69995 42 | 0.001 % |
84.91/85.04 c | 138753 | 2513 12797 40460 | 70858 70651 42 | 0.003 % |
85.71/85.90 c | 139473 | 2513 12797 40460 | 70858 60253 40 | 0.000 % |
86.41/86.59 c | 140265 | 2513 12797 40460 | 60781 61045 40 | 0.000 % |
87.11/87.22 c | 141137 | 2513 12797 40460 | 60781 52588 39 | 0.000 % |
88.11/88.24 c | 142096 | 2513 12797 40460 | 60781 53547 39 | 0.000 % |
88.81/88.94 c | 143151 | 2513 12797 40460 | 60781 54602 39 | 0.004 % |
90.01/90.11 c | 144309 | 2513 12797 40460 | 60781 55760 40 | 0.000 % |
91.01/91.10 c | 145582 | 2513 12797 40460 | 60781 57033 40 | 0.000 % |
91.91/92.05 c | 146982 | 2513 12797 40460 | 60781 58433 40 | 0.004 % |
93.21/93.35 c | 148522 | 2513 12797 40460 | 60781 59973 41 | 0.000 % |
93.31/93.45 c | 148622 | 2513 12797 40460 | 60781 60073 41 | 0.001 % |
93.41/93.53 c | 148737 | 2513 12797 40460 | 60781 60188 41 | 0.000 % |
93.41/93.59 c | 148858 | 2513 12797 40460 | 60781 60309 41 | 0.000 % |
93.51/93.69 c | 148991 | 2513 12797 40460 | 60781 60442 41 | 0.000 % |
93.70/93.80 c | 149137 | 2513 12797 40460 | 60781 60588 41 | 0.000 % |
93.80/93.95 c | 149297 | 2513 12797 40460 | 60781 60748 41 | 0.000 % |
93.90/94.07 c | 149474 | 2513 12797 40460 | 60781 60925 41 | 0.000 % |
94.20/94.33 c | 149669 | 2513 12797 40460 | 60781 54806 40 | 0.000 % |
94.30/94.46 c | 149881 | 2513 12797 40460 | 60781 55018 41 | 0.000 % |
94.51/94.63 c | 150115 | 2513 12797 40460 | 55139 55252 41 | 0.000 % |
94.90/95.01 c | 150373 | 2513 12797 40460 | 55139 49785 39 | 0.000 % |
94.90/95.09 c | 150655 | 2513 12797 40460 | 55139 50067 39 | 0.000 % |
95.00/95.15 c | 150967 | 2513 12797 40460 | 55139 50379 39 | 0.000 % |
95.20/95.32 c | 151306 | 2513 12797 40460 | 55139 50718 39 | 0.000 % |
95.40/95.58 c | 151679 | 2513 12797 40460 | 55139 51091 39 | 0.000 % |
95.61/95.79 c | 152088 | 2513 12797 40460 | 55139 51500 39 | 0.000 % |
96.00/96.11 c | 152537 | 2513 12797 40460 | 55139 51949 39 | 0.001 % |
96.30/96.40 c | 153030 | 2513 12797 40460 | 55139 52442 39 | 0.002 % |
96.50/96.66 c | 153572 | 2513 12797 40460 | 55139 52984 39 | 0.003 % |
96.81/96.99 c | 154168 | 2513 12797 40460 | 55139 53580 39 | 0.004 % |
97.30/97.45 c | 154823 | 2513 12797 40460 | 55139 54235 39 | 0.000 % |
97.70/97.88 c | 155544 | 2513 12797 40460 | 55139 54956 40 | 0.000 % |
98.30/98.49 c | 156336 | 2513 12797 40460 | 55139 50204 39 | 0.004 % |
98.90/99.00 c | 157207 | 2513 12797 40460 | 55139 51075 39 | 0.000 % |
99.60/99.71 c | 158166 | 2513 12797 40460 | 55139 52034 39 | 0.000 % |
100.30/100.42 c | 159221 | 2513 12797 40460 | 55139 53089 39 | 0.000 % |
101.10/101.21 c | 160380 | 2513 12797 40460 | 2147483647 54248 39 | 0.000 % |
102.10/102.25 c | 161654 | 2513 12797 40460 | 2147483647 55522 39 | 0.000 % |
103.10/103.29 c | 163054 | 2513 12797 40460 | 2147483647 56922 39 | 0.000 % |
103.81/103.97 c | 164595 | 2513 12797 40460 | 2147483647 58463 39 | 0.003 % |
104.61/104.71 c | 166289 | 2513 12797 40460 | 2147483647 60157 39 | 0.002 % |
104.61/104.77 c | 166389 | 2513 12797 40460 | 2147483647 60257 39 | 0.000 % |
104.71/104.82 c | 166499 | 2513 12797 40460 | 2147483647 60367 39 | 0.000 % |
104.71/104.88 c | 166622 | 2513 12797 40460 | 2147483647 60490 40 | 0.000 % |
104.81/104.97 c | 166755 | 2513 12797 40460 | 2147483647 60623 39 | 0.000 % |
104.91/105.05 c | 166901 | 2513 12797 40460 | 2147483647 60769 40 | 0.000 % |
105.11/105.21 c | 167061 | 2513 12797 40460 | 2147483647 60929 40 | 0.000 % |
105.21/105.37 c | 167237 | 2513 12797 40460 | 2147483647 61105 40 | 0.004 % |
105.41/105.56 c | 167430 | 2513 12797 40460 | 2147483647 61298 40 | 0.000 % |
105.61/105.74 c | 167643 | 2513 12797 40460 | 2147483647 61511 40 | 0.000 % |
105.81/105.95 c | 167877 | 2513 12797 40460 | 2147483647 61745 40 | 0.000 % |
106.01/106.12 c | 168133 | 2513 12797 40460 | 2147483647 62001 40 | 0.000 % |
106.21/106.37 c | 168414 | 2513 12797 40460 | 2147483647 62282 40 | 0.000 % |
106.51/106.65 c | 168724 | 2513 12797 40460 | 2147483647 62592 40 | 0.000 % |
107.11/107.29 c | 169064 | 2513 12797 40460 | 2147483647 62932 40 | 0.000 % |
107.40/107.56 c | 169436 | 2513 12797 40460 | 2147483647 63304 40 | 0.004 % |
107.71/107.81 c | 169845 | 2513 12797 40460 | 2147483647 63713 40 | 0.000 % |
108.00/108.11 c | 170294 | 2513 12797 40460 | 2147483647 64162 40 | 0.000 % |
108.30/108.40 c | 170789 | 2513 12797 40460 | 2147483647 64657 41 | 0.000 % |
108.60/108.79 c | 171331 | 2513 12797 40460 | 2147483647 65199 41 | 0.000 % |
109.40/109.55 c | 171928 | 2513 12797 40460 | 2147483647 65796 41 | 0.000 % |
110.20/110.37 c | 172584 | 2513 12797 40460 | 2147483647 66452 41 | 0.000 % |
110.70/110.84 c | 173305 | 2513 12797 40460 | 2147483647 67173 41 | 0.004 % |
111.50/111.65 c | 174097 | 2513 12797 40460 | 2147483647 67965 41 | 0.000 % |
112.11/112.21 c | 174968 | 2513 12797 40460 | 2147483647 68836 41 | 0.003 % |
112.80/112.96 c | 175927 | 2513 12797 40460 | 2147483647 69795 41 | 0.000 % |
113.90/114.02 c | 176980 | 2513 12797 40460 | 2147483647 70848 41 | 0.000 % |
114.90/115.04 c | 178139 | 2513 12797 40460 | 2147483647 72007 42 | 0.000 % |
116.51/116.68 c | 179413 | 2513 12797 40460 | 2147483647 73281 42 | 0.000 % |
118.20/118.31 c | 180814 | 2513 12797 40460 | 73868 63381 41 | 0.000 % |
119.30/119.43 c | 182356 | 2513 12797 40460 | 73868 64923 41 | 0.000 % |
120.30/120.44 c | 184050 | 2513 12797 40460 | 73868 66617 42 | 0.000 % |
122.40/122.52 c | 185915 | 2513 12797 40460 | 73868 68482 42 | 0.002 % |
122.40/122.59 c | 186015 | 2513 12797 40460 | 73868 68582 42 | 0.000 % |
122.50/122.68 c | 186125 | 2513 12797 40460 | 73868 68692 42 | 0.001 % |
122.60/122.74 c | 186246 | 2513 12797 40460 | 73868 68813 42 | 0.000 % |
122.80/122.90 c | 186380 | 2513 12797 40460 | 73868 68947 42 | 0.000 % |
122.90/123.07 c | 186527 | 2513 12797 40460 | 73868 69094 42 | 0.000 % |
123.10/123.23 c | 186690 | 2513 12797 40460 | 73868 69257 42 | 0.004 % |
123.20/123.36 c | 186866 | 2513 12797 40460 | 73868 69433 42 | 0.000 % |
123.40/123.52 c | 187060 | 2513 12797 40460 | 73868 69627 42 | 0.000 % |
123.50/123.68 c | 187273 | 2513 12797 40460 | 73868 69840 42 | 0.003 % |
123.70/123.88 c | 187509 | 2513 12797 40460 | 73868 70076 42 | 0.000 % |
123.90/124.04 c | 187765 | 2513 12797 40460 | 73868 70332 42 | 0.001 % |
124.10/124.24 c | 188046 | 2513 12797 40460 | 73868 70613 42 | 0.000 % |
124.40/124.51 c | 188355 | 2513 12797 40460 | 73868 70922 42 | 0.004 % |
124.60/124.73 c | 188697 | 2513 12797 40460 | 73868 71264 42 | 0.000 % |
124.90/125.08 c | 189069 | 2513 12797 40460 | 73868 71636 42 | 0.000 % |
125.30/125.40 c | 189479 | 2513 12797 40460 | 73868 72046 42 | 0.004 % |
126.00/126.13 c | 189929 | 2513 12797 40460 | 73868 72496 42 | 0.000 % |
126.50/126.64 c | 190424 | 2513 12797 40460 | 72568 72991 42 | 0.000 % |
126.90/127.09 c | 190967 | 2513 12797 40460 | 72568 61151 40 | 0.000 % |
127.50/127.70 c | 191564 | 2513 12797 40460 | 72568 61748 40 | 0.000 % |
127.90/128.06 c | 192219 | 2513 12797 40460 | 72568 62403 40 | 0.002 % |
128.30/128.48 c | 192939 | 2513 12797 40460 | 72568 63123 40 | 0.000 % |
129.00/129.12 c | 193731 | 2513 12797 40460 | 72568 63915 40 | 0.000 % |
129.60/129.75 c | 194604 | 2513 12797 40460 | 72568 64788 41 | 0.000 % |
130.40/130.59 c | 195563 | 2513 12797 40460 | 72568 65747 41 | 0.000 % |
131.20/131.38 c | 196617 | 2513 12797 40460 | 72568 66801 41 | 0.004 % |
132.00/132.17 c | 197777 | 2513 12797 40460 | 72568 67961 41 | 0.000 % |
132.89/133.10 c | 199050 | 2513 12797 40460 | 72568 69234 41 | 0.000 % |
134.10/134.28 c | 200450 | 2513 12797 40460 | 70185 70634 41 | 0.005 % |
135.49/135.63 c | 201991 | 2513 12797 40460 | 70185 60973 40 | 0.000 % |
136.89/137.04 c | 203685 | 2513 12797 40460 | 70185 62667 41 | 0.000 % |
138.60/138.74 c | 205548 | 2513 12797 40460 | 70185 64530 42 | 0.000 % |
139.60/139.79 c | 207598 | 2513 12797 40460 | 70185 66580 42 | 0.003 % |
139.69/139.87 c | 207698 | 2513 12797 40460 | 70185 66680 42 | 0.002 % |
139.79/139.95 c | 207808 | 2513 12797 40460 | 70185 66790 42 | 0.000 % |
139.89/140.03 c | 207931 | 2513 12797 40460 | 70185 66913 42 | 0.000 % |
139.99/140.12 c | 208066 | 2513 12797 40460 | 70185 67048 42 | 0.000 % |
140.09/140.25 c | 208212 | 2513 12797 40460 | 70185 67194 42 | 0.005 % |
140.19/140.38 c | 208375 | 2513 12797 40460 | 70185 67357 42 | 0.000 % |
140.39/140.51 c | 208554 | 2513 12797 40460 | 70185 67536 42 | 0.000 % |
140.49/140.61 c | 208747 | 2513 12797 40460 | 70185 67729 42 | 0.003 % |
140.59/140.76 c | 208959 | 2513 12797 40460 | 70185 67941 42 | 0.000 % |
140.79/140.96 c | 209193 | 2513 12797 40460 | 70185 68175 42 | 0.000 % |
140.99/141.16 c | 209449 | 2513 12797 40460 | 70185 68431 42 | 0.000 % |
141.19/141.32 c | 209731 | 2513 12797 40460 | 70185 68713 42 | 0.000 % |
141.49/141.62 c | 210041 | 2513 12797 40460 | 68982 69023 42 | 0.000 % |
141.79/141.90 c | 210380 | 2513 12797 40460 | 68982 58762 40 | 0.002 % |
141.99/142.14 c | 210754 | 2513 12797 40460 | 68982 59136 40 | 0.000 % |
142.29/142.48 c | 211165 | 2513 12797 40460 | 68982 59547 40 | 0.000 % |
142.69/142.87 c | 211614 | 2513 12797 40460 | 68982 59996 40 | 0.000 % |
143.19/143.31 c | 212107 | 2513 12797 40460 | 68982 60489 40 | 0.000 % |
143.59/143.77 c | 212651 | 2513 12797 40460 | 68982 61033 41 | 0.000 % |
144.09/144.27 c | 213249 | 2513 12797 40460 | 68982 61631 41 | 0.000 % |
144.79/144.97 c | 213904 | 2513 12797 40460 | 68982 62286 41 | 0.000 % |
145.59/145.73 c | 214625 | 2513 12797 40460 | 68982 63007 41 | 0.000 % |
145.99/146.10 c | 215417 | 2513 12797 40460 | 68982 63799 41 | 0.000 % |
146.79/146.94 c | 216289 | 2513 12797 40460 | 68982 64671 41 | 0.000 % |
147.59/147.72 c | 217248 | 2513 12797 40460 | 68982 65630 42 | 0.000 % |
148.39/148.54 c | 218301 | 2513 12797 40460 | 68982 66683 42 | 0.000 % |
149.29/149.46 c | 219459 | 2513 12797 40460 | 68982 67841 42 | 0.000 % |
150.48/150.63 c | 220734 | 2513 12797 40460 | 68383 59414 40 | 0.000 % |
151.88/152.02 c | 222134 | 2513 12797 40460 | 68383 60814 41 | 0.000 % |
153.08/153.28 c | 223674 | 2513 12797 40460 | 68383 62354 41 | 0.000 % |
154.88/155.06 c | 225368 | 2513 12797 40460 | 68383 64048 42 | 0.000 % |
156.68/156.82 c | 227231 | 2513 12797 40460 | 68383 65911 42 | 0.000 % |
158.38/158.56 c | 229283 | 2513 12797 40460 | 68383 67963 43 | 0.000 % |
160.48/160.66 c | 231536 | 2513 12797 40460 | 68680 58964 42 | 0.000 % |
160.58/160.74 c | 231636 | 2513 12797 40460 | 68680 59064 42 | 0.005 % |
160.68/160.88 c | 231746 | 2513 12797 40460 | 68680 59174 42 | 0.000 % |
160.78/160.98 c | 231867 | 2513 12797 40460 | 68680 59295 42 | 0.000 % |
160.98/161.15 c | 232000 | 2513 12797 40460 | 68680 59428 42 | 0.000 % |
161.08/161.25 c | 232147 | 2513 12797 40460 | 68680 59575 42 | 0.003 % |
161.18/161.37 c | 232307 | 2513 12797 40460 | 68680 59735 42 | 0.000 % |
161.38/161.58 c | 232483 | 2513 12797 40460 | 68680 59911 42 | 0.000 % |
161.58/161.76 c | 232676 | 2513 12797 40460 | 68680 60104 42 | 0.000 % |
161.78/161.94 c | 232888 | 2513 12797 40460 | 68680 60316 42 | 0.000 % |
161.98/162.12 c | 233123 | 2513 12797 40460 | 68680 60551 42 | 0.000 % |
162.28/162.50 c | 233379 | 2513 12797 40460 | 68680 60807 42 | 0.000 % |
162.58/162.71 c | 233660 | 2513 12797 40460 | 68680 61088 42 | 0.000 % |
162.78/162.94 c | 233970 | 2513 12797 40460 | 68680 61398 42 | 0.000 % |
163.08/163.25 c | 234309 | 2513 12797 40460 | 68680 61737 43 | 0.000 % |
163.38/163.50 c | 234681 | 2513 12797 40460 | 68680 62109 43 | 0.000 % |
163.98/164.14 c | 235091 | 2513 12797 40460 | 68680 62519 43 | 0.000 % |
164.28/164.49 c | 235540 | 2513 12797 40460 | 68680 62968 43 | 0.005 % |
164.58/164.76 c | 236033 | 2513 12797 40460 | 68680 63461 43 | 0.003 % |
165.08/165.25 c | 236575 | 2513 12797 40460 | 68680 64003 43 | 0.005 % |
165.38/165.58 c | 237171 | 2513 12797 40460 | 68680 64599 43 | 0.003 % |
165.98/166.15 c | 237827 | 2513 12797 40460 | 68680 65255 43 | 0.000 % |
166.77/166.94 c | 238548 | 2513 12797 40460 | 68680 65976 43 | 0.000 % |
167.37/167.55 c | 239342 | 2513 12797 40460 | 68680 66770 43 | 0.005 % |
168.07/168.29 c | 240213 | 2513 12797 40460 | 67430 67641 44 | 0.000 % |
168.97/169.20 c | 241172 | 2513 12797 40460 | 67430 58471 43 | 0.000 % |
169.97/170.12 c | 242225 | 2513 12797 40460 | 67430 59524 43 | 0.000 % |
170.97/171.14 c | 243383 | 2513 12797 40460 | 67430 60682 43 | 0.000 % |
171.87/172.08 c | 244657 | 2513 12797 40460 | 67430 61956 43 | 0.000 % |
173.07/173.29 c | 246058 | 2513 12797 40460 | 67430 63357 43 | 0.000 % |
173.97/174.14 c | 247600 | 2513 12797 40460 | 67430 64899 43 | 0.002 % |
174.88/175.04 c | 249294 | 2513 12797 40460 | 67430 66593 43 | 0.000 % |
176.77/176.96 c | 251157 | 2513 12797 40460 | 67299 59378 43 | 0.000 % |
179.27/179.45 c | 253207 | 2513 12797 40460 | 67299 61428 43 | 0.000 % |
181.47/181.68 c | 255463 | 2513 12797 40460 | 67299 63684 44 | 0.000 % |
184.07/184.20 c | 257941 | 2513 12797 40460 | 67299 66162 44 | 0.000 % |
184.07/184.27 c | 258041 | 2513 12797 40460 | 67299 66262 44 | 0.000 % |
184.27/184.44 c | 258152 | 2513 12797 40460 | 67299 66373 44 | 0.005 % |
184.37/184.59 c | 258273 | 2513 12797 40460 | 67299 66494 44 | 0.000 % |
184.47/184.69 c | 258407 | 2513 12797 40460 | 67299 66628 44 | 0.000 % |
184.57/184.79 c | 258554 | 2513 12797 40460 | 67299 66775 44 | 0.000 % |
184.77/184.98 c | 258714 | 2513 12797 40460 | 67299 66935 44 | 0.005 % |
184.97/185.18 c | 258890 | 2513 12797 40460 | 67299 67111 44 | 0.000 % |
185.27/185.43 c | 259083 | 2513 12797 40460 | 67299 67304 44 | 0.000 % |
185.47/185.65 c | 259296 | 2513 12797 40460 | 67299 57570 42 | 0.003 % |
185.57/185.79 c | 259529 | 2513 12797 40460 | 67299 57803 42 | 0.000 % |
185.77/185.99 c | 259785 | 2513 12797 40460 | 67299 58059 42 | 0.005 % |
185.97/186.15 c | 260066 | 2513 12797 40460 | 58275 58340 42 | 0.000 % |
186.27/186.44 c | 260376 | 2513 12797 40460 | 58275 50454 39 | 0.005 % |
186.47/186.70 c | 260715 | 2513 12797 40460 | 58275 50793 39 | 0.000 % |
186.77/186.96 c | 261089 | 2513 12797 40460 | 58275 51167 39 | 0.000 % |
186.97/187.16 c | 261499 | 2513 12797 40460 | 58275 51577 39 | 0.002 % |
187.17/187.35 c | 261949 | 2513 12797 40460 | 58275 52027 39 | 0.000 % |
187.57/187.75 c | 262442 | 2513 12797 40460 | 58275 52520 39 | 0.000 % |
187.87/188.10 c | 262985 | 2513 12797 40460 | 58275 53063 39 | 0.000 % |
188.47/188.65 c | 263582 | 2513 12797 40460 | 58275 53660 40 | 0.000 % |
188.77/188.91 c | 264238 | 2513 12797 40460 | 58275 54316 40 | 0.003 % |
189.17/189.39 c | 264958 | 2513 12797 40460 | 58275 55036 40 | 0.000 % |
189.67/189.85 c | 265750 | 2513 12797 40460 | 58275 55828 40 | 0.000 % |
190.37/190.51 c | 266621 | 2513 12797 40460 | 58275 56699 41 | 0.000 % |
190.87/191.08 c | 267580 | 2513 12797 40460 | 58275 57658 40 | 0.000 % |
191.47/191.67 c | 268634 | 2513 12797 40460 | 58275 58712 40 | 0.001 % |
192.16/192.39 c | 269794 | 2513 12797 40460 | 58275 54001 39 | 0.000 % |
193.06/193.24 c | 271068 | 2513 12797 40460 | 2147483647 55275 39 | 0.000 % |
194.06/194.23 c | 272468 | 2513 12797 40460 | 2147483647 56675 39 | 0.005 % |
195.06/195.25 c | 274011 | 2513 12797 40460 | 2147483647 58218 39 | 0.000 % |
195.96/196.11 c | 275706 | 2513 12797 40460 | 2147483647 59913 39 | 0.003 % |
197.46/197.66 c | 277570 | 2513 12797 40460 | 2147483647 61777 39 | 0.000 % |
198.56/198.78 c | 279620 | 2513 12797 40460 | 2147483647 63827 39 | 0.003 % |
199.56/199.77 c | 281874 | 2513 12797 40460 | 2147483647 66081 40 | 0.000 % |
201.46/201.60 c | 284353 | 2513 12797 40460 | 2147483647 68560 41 | 0.000 % |
204.26/204.42 c | 287079 | 2513 12797 40460 | 2147483647 71286 40 | 0.000 % |
204.36/204.54 c | 287179 | 2513 12797 40460 | 2147483647 71386 40 | 0.005 % |
204.46/204.65 c | 287291 | 2513 12797 40460 | 2147483647 71498 40 | 0.000 % |
204.56/204.78 c | 287412 | 2513 12797 40460 | 2147483647 71619 40 | 0.000 % |
204.76/204.97 c | 287545 | 2513 12797 40460 | 2147483647 71752 40 | 0.000 % |
204.86/205.08 c | 287692 | 2513 12797 40460 | 2147483647 71899 40 | 0.003 % |
204.96/205.16 c | 287853 | 2513 12797 40460 | 2147483647 72060 40 | 0.000 % |
205.06/205.28 c | 288031 | 2513 12797 40460 | 2147483647 72238 40 | 0.000 % |
205.16/205.39 c | 288226 | 2513 12797 40460 | 2147483647 72433 40 | 0.000 % |
205.36/205.54 c | 288439 | 2513 12797 40460 | 2147483647 72646 40 | 0.000 % |
205.66/205.82 c | 288672 | 2513 12797 40460 | 2147483647 72879 40 | 0.000 % |
205.85/206.09 c | 288930 | 2513 12797 40460 | 2147483647 73137 40 | 0.000 % |
206.25/206.43 c | 289213 | 2513 12797 40460 | 2147483647 73420 40 | 0.000 % |
206.76/206.92 c | 289524 | 2513 12797 40460 | 2147483647 73731 40 | 0.000 % |
206.95/207.19 c | 289863 | 2513 12797 40460 | 2147483647 74070 40 | 0.001 % |
207.25/207.43 c | 290236 | 2513 12797 40460 | 74207 74443 40 | 0.000 % |
207.76/207.95 c | 290647 | 2513 12797 40460 | 74207 66191 39 | 0.000 % |
208.26/208.42 c | 291098 | 2513 12797 40460 | 74207 66642 39 | 0.000 % |
208.56/208.71 c | 291593 | 2513 12797 40460 | 74207 67137 39 | 0.002 % |
209.05/209.22 c | 292135 | 2513 12797 40460 | 74207 67679 39 | 0.005 % |
209.55/209.76 c | 292735 | 2513 12797 40460 | 74207 68279 39 | 0.000 % |
210.25/210.43 c | 293391 | 2513 12797 40460 | 74207 68935 39 | 0.000 % |
210.75/211.00 c | 294111 | 2513 12797 40460 | 74207 69655 40 | 0.000 % |
211.65/211.89 c | 294903 | 2513 12797 40460 | 74207 70447 40 | 0.000 % |
212.65/212.82 c | 295774 | 2513 12797 40460 | 74207 71318 40 | 0.000 % |
213.55/213.77 c | 296734 | 2513 12797 40460 | 74207 72278 40 | 0.000 % |
214.65/214.82 c | 297788 | 2513 12797 40460 | 74207 73332 40 | 0.000 % |
215.75/215.92 c | 298947 | 2513 12797 40460 | 74207 74491 41 | 0.000 % |
216.95/217.18 c | 300220 | 2513 12797 40460 | 63456 63674 38 | 0.000 % |
218.15/218.38 c | 301621 | 2513 12797 40460 | 63456 54591 37 | 0.000 % |
219.55/219.71 c | 303162 | 2513 12797 40460 | 63456 56132 38 | 0.000 % |
220.85/221.06 c | 304857 | 2513 12797 40460 | 63456 57827 37 | 0.000 % |
222.45/222.65 c | 306720 | 2513 12797 40460 | 63456 59690 38 | 0.000 % |
223.65/223.80 c | 308769 | 2513 12797 40460 | 63456 61739 38 | 0.000 % |
225.85/226.07 c | 311023 | 2513 12797 40460 | 62970 56449 38 | 0.000 % |
227.75/227.93 c | 313501 | 2513 12797 40460 | 62970 58927 39 | 0.005 % |
229.35/229.52 c | 316227 | 2513 12797 40460 | 62970 61653 39 | 0.002 % |
231.55/231.74 c | 319225 | 2513 12797 40460 | 62970 57403 39 | 0.000 % |
231.65/231.82 c | 319329 | 2513 12797 40460 | 62970 57507 39 | 0.000 % |
231.65/231.87 c | 319439 | 2513 12797 40460 | 62970 57617 39 | 0.000 % |
231.75/231.95 c | 319560 | 2513 12797 40460 | 62970 57738 39 | 0.000 % |
231.85/232.09 c | 319693 | 2513 12797 40460 | 62970 57871 39 | 0.005 % |
231.95/232.20 c | 319840 | 2513 12797 40460 | 62970 58018 39 | 0.000 % |
232.14/232.35 c | 320000 | 2513 12797 40460 | 62970 58178 39 | 0.000 % |
232.34/232.53 c | 320176 | 2513 12797 40460 | 58178 52086 39 | 0.005 % |
232.44/232.67 c | 320370 | 2513 12797 40460 | 58178 52280 39 | 0.000 % |
232.64/232.82 c | 320582 | 2513 12797 40460 | 58178 52492 39 | 0.000 % |
232.74/232.94 c | 320816 | 2513 12797 40460 | 58178 52726 39 | 0.003 % |
232.84/233.05 c | 321072 | 2513 12797 40460 | 58178 52982 39 | 0.000 % |
233.05/233.23 c | 321354 | 2513 12797 40460 | 58178 53264 39 | 0.005 % |
233.24/233.48 c | 321666 | 2513 12797 40460 | 58178 53576 39 | 0.000 % |
233.44/233.63 c | 322005 | 2513 12797 40460 | 58178 53915 39 | 0.000 % |
233.64/233.86 c | 322378 | 2513 12797 40460 | 58178 54288 39 | 0.001 % |
233.84/234.09 c | 322787 | 2513 12797 40460 | 58178 54697 39 | 0.000 % |
234.15/234.40 c | 323239 | 2513 12797 40460 | 58178 55149 39 | 0.000 % |
234.54/234.70 c | 323733 | 2513 12797 40460 | 58178 55643 39 | 0.000 % |
234.84/235.06 c | 324276 | 2513 12797 40460 | 58178 56186 39 | 0.000 % |
235.64/235.82 c | 324873 | 2513 12797 40460 | 58178 56783 40 | 0.000 % |
236.84/237.01 c | 325528 | 2513 12797 40460 | 58178 57438 40 | 0.000 % |
237.14/237.33 c | 326249 | 2513 12797 40460 | 58178 58159 40 | 0.003 % |
237.55/237.77 c | 327041 | 2513 12797 40460 | 58178 53126 40 | 0.000 % |
238.24/238.44 c | 327912 | 2513 12797 40460 | 58178 53997 40 | 0.005 % |
239.04/239.21 c | 328870 | 2513 12797 40460 | 58178 54955 40 | 0.000 % |
240.14/240.35 c | 329925 | 2513 12797 40460 | 58178 56010 40 | 0.000 % |
240.64/240.88 c | 331084 | 2513 12797 40460 | 2147483647 57169 40 | 0.000 % |
241.74/241.95 c | 332358 | 2513 12797 40460 | 2147483647 58443 40 | 0.005 % |
242.94/243.11 c | 333758 | 2513 12797 40460 | 2147483647 59843 40 | 0.000 % |
244.14/244.38 c | 335298 | 2513 12797 40460 | 2147483647 61383 40 | 0.000 % |
245.94/246.16 c | 336994 | 2513 12797 40460 | 2147483647 63079 40 | 0.000 % |
247.24/247.49 c | 338858 | 2513 12797 40460 | 2147483647 64943 41 | 0.000 % |
249.14/249.32 c | 340908 | 2513 12797 40460 | 2147483647 66993 40 | 0.000 % |
251.04/251.27 c | 343161 | 2513 12797 40460 | 2147483647 69246 41 | 0.000 % |
253.23/253.42 c | 345642 | 2513 12797 40460 | 2147483647 71727 42 | 0.000 % |
255.83/256.08 c | 348367 | 2513 12797 40460 | 2147483647 74452 42 | 0.000 % |
258.63/258.80 c | 351364 | 2513 12797 40460 | 76085 63818 40 | 0.000 % |
262.23/262.47 c | 354660 | 2513 12797 40460 | 76085 67114 41 | 0.000 % |
262.33/262.55 c | 354760 | 2513 12797 40460 | 76085 67214 41 | 0.000 % |
262.43/262.64 c | 354870 | 2513 12797 40460 | 76085 67324 41 | 0.000 % |
262.53/262.72 c | 354992 | 2513 12797 40460 | 76085 67446 41 | 0.000 % |
262.63/262.80 c | 355125 | 2513 12797 40460 | 76085 67579 41 | 0.000 % |
262.74/262.91 c | 355272 | 2513 12797 40460 | 76085 67726 41 | 0.000 % |
262.84/263.06 c | 355433 | 2513 12797 40460 | 76085 67887 41 | 0.000 % |
263.13/263.34 c | 355609 | 2513 12797 40460 | 76085 68063 41 | 0.000 % |
263.23/263.48 c | 355803 | 2513 12797 40460 | 76085 68257 41 | 0.000 % |
263.53/263.71 c | 356015 | 2513 12797 40460 | 76085 68469 41 | 0.000 % |
263.73/263.93 c | 356248 | 2513 12797 40460 | 76085 68702 41 | 0.005 % |
264.03/264.22 c | 356504 | 2513 12797 40460 | 76085 68958 41 | 0.000 % |
264.23/264.41 c | 356785 | 2513 12797 40460 | 76085 69239 41 | 0.003 % |
264.43/264.63 c | 357095 | 2513 12797 40460 | 76085 69549 41 | 0.000 % |
264.73/264.95 c | 357435 | 2513 12797 40460 | 76085 69889 41 | 0.005 % |
265.13/265.35 c | 357807 | 2513 12797 40460 | 76085 70261 41 | 0.000 % |
265.43/265.65 c | 358220 | 2513 12797 40460 | 76085 70674 41 | 0.000 % |
265.93/266.13 c | 358670 | 2513 12797 40460 | 76085 71124 41 | 0.000 % |
266.43/266.66 c | 359164 | 2513 12797 40460 | 76085 71618 41 | 0.000 % |
267.03/267.23 c | 359706 | 2513 12797 40460 | 76085 72160 41 | 0.000 % |
267.63/267.83 c | 360302 | 2513 12797 40460 | 72456 72756 42 | 0.000 % |
268.33/268.56 c | 360957 | 2513 12797 40460 | 72456 61102 39 | 0.000 % |
268.83/269.05 c | 361678 | 2513 12797 40460 | 72456 61823 39 | 0.000 % |
269.53/269.76 c | 362471 | 2513 12797 40460 | 72456 62616 40 | 0.000 % |
270.33/270.53 c | 363343 | 2513 12797 40460 | 72456 63488 40 | 0.000 % |
271.33/271.52 c | 364304 | 2513 12797 40460 | 72456 64449 40 | 0.000 % |
272.33/272.57 c | 365358 | 2513 12797 40460 | 72456 65503 40 | 0.000 % |
273.63/273.80 c | 366516 | 2513 12797 40460 | 72456 66661 40 | 0.000 % |
274.83/275.06 c | 367789 | 2513 12797 40460 | 72456 67934 40 | 0.005 % |
275.93/276.11 c | 369189 | 2513 12797 40460 | 72456 69334 40 | 0.000 % |
277.53/277.79 c | 370729 | 2513 12797 40460 | 70145 60192 40 | 0.000 % |
279.33/279.57 c | 372424 | 2513 12797 40460 | 70145 61887 40 | 0.000 % |
281.22/281.43 c | 374288 | 2513 12797 40460 | 70145 63751 41 | 0.000 % |
283.52/283.79 c | 376338 | 2513 12797 40460 | 70145 65801 42 | 0.000 % |
286.42/286.68 c | 378591 | 2513 12797 40460 | 70145 68054 43 | 0.000 % |
289.02/289.22 c | 381069 | 2513 12797 40460 | 69465 60588 42 | 0.005 % |
290.22/290.49 c | 383795 | 2513 12797 40460 | 69465 63314 42 | 0.003 % |
292.22/292.41 c | 386793 | 2513 12797 40460 | 69465 66312 43 | 0.000 % |
294.12/294.31 c | 390089 | 2513 12797 40460 | 69520 69608 43 | 0.000 % |
297.02/297.29 c | 393717 | 2513 12797 40460 | 69520 64772 40 | 0.005 % |
297.12/297.38 c | 393819 | 2513 12797 40460 | 69520 64874 40 | 0.000 % |
297.22/297.47 c | 393929 | 2513 12797 40460 | 69520 64984 40 | 0.000 % |
297.32/297.58 c | 394050 | 2513 12797 40460 | 69520 65105 40 | 0.000 % |
297.42/297.67 c | 394183 | 2513 12797 40460 | 69520 65238 40 | 0.003 % |
297.52/297.79 c | 394329 | 2513 12797 40460 | 69520 65384 40 | 0.000 % |
297.72/297.94 c | 394490 | 2513 12797 40460 | 69520 65545 40 | 0.000 % |
297.92/298.18 c | 394670 | 2513 12797 40460 | 69520 65725 40 | 0.000 % |
298.22/298.40 c | 394864 | 2513 12797 40460 | 69520 65919 40 | 0.000 % |
298.42/298.61 c | 395076 | 2513 12797 40460 | 69520 66131 41 | 0.000 % |
298.52/298.79 c | 395311 | 2513 12797 40460 | 69520 66366 41 | 0.005 % |
298.82/299.00 c | 395567 | 2513 12797 40460 | 69520 66622 41 | 0.000 % |
298.92/299.20 c | 395848 | 2513 12797 40460 | 69520 66903 41 | 0.003 % |
299.22/299.41 c | 396159 | 2513 12797 40460 | 69520 67214 41 | 0.000 % |
299.42/299.68 c | 396498 | 2513 12797 40460 | 69520 67553 41 | 0.000 % |
299.72/299.91 c | 396870 | 2513 12797 40460 | 69520 67925 41 | 0.000 % |
300.12/300.31 c | 397279 | 2513 12797 40460 | 69520 68334 41 | 0.000 % |
300.62/300.88 c | 397728 | 2513 12797 40460 | 69520 68783 41 | 0.000 % |
301.22/301.46 c | 398221 | 2513 12797 40460 | 69520 69276 41 | 0.000 % |
302.02/302.25 c | 398763 | 2513 12797 40460 | 69520 69818 41 | 0.000 % |
302.42/302.65 c | 399362 | 2513 12797 40460 | 69520 60119 40 | 0.000 % |
303.11/303.34 c | 400018 | 2513 12797 40460 | 60757 60775 40 | 0.000 % |
303.71/303.97 c | 400743 | 2513 12797 40460 | 60757 52710 39 | 0.005 % |
304.31/304.53 c | 401536 | 2513 12797 40460 | 60757 53503 39 | 0.000 % |
304.71/304.95 c | 402407 | 2513 12797 40460 | 60757 54374 39 | 0.003 % |
305.11/305.38 c | 403365 | 2513 12797 40460 | 60757 55332 39 | 0.000 % |
306.01/306.28 c | 404419 | 2513 12797 40460 | 60757 56386 40 | 0.000 % |
307.01/307.26 c | 405577 | 2513 12797 40460 | 60757 57544 40 | 0.000 % |
308.11/308.31 c | 406851 | 2513 12797 40460 | 60757 58818 40 | 0.007 % |
308.81/309.09 c | 408251 | 2513 12797 40460 | 60757 60218 41 | 0.000 % |
309.91/310.11 c | 409792 | 2513 12797 40460 | 60757 53475 38 | 0.000 % |
311.01/311.26 c | 411486 | 2513 12797 40460 | 53686 48383 36 | 0.000 % |
311.91/312.14 c | 413350 | 2513 12797 40460 | 53686 50247 36 | 0.000 % |
312.91/313.13 c | 415399 | 2513 12797 40460 | 53686 52296 36 | 0.000 % |
314.81/315.09 c | 417652 | 2513 12797 40460 | 53686 49148 35 | 0.000 % |
316.41/316.67 c | 420130 | 2513 12797 40460 | 2147483647 51626 36 | 0.000 % |
318.41/318.66 c | 422855 | 2513 12797 40460 | 2147483647 54351 37 | 0.000 % |
320.12/320.39 c | 425854 | 2513 12797 40460 | 2147483647 57350 37 | 0.000 % |
321.92/322.15 c | 429150 | 2513 12797 40460 | 2147483647 60646 36 | 0.000 % |
325.12/325.37 c | 432775 | 2513 12797 40460 | 2147483647 64271 38 | 0.000 % |
329.12/329.32 c | 436762 | 2513 12797 40460 | 2147483647 68258 39 | 0.000 % |
329.22/329.43 c | 436863 | 2513 12797 40460 | 2147483647 68359 39 | 0.000 % |
329.42/329.62 c | 436973 | 2513 12797 40460 | 2147483647 68469 39 | 0.000 % |
329.52/329.75 c | 437094 | 2513 12797 40460 | 2147483647 68590 39 | 0.000 % |
329.62/329.86 c | 437229 | 2513 12797 40460 | 2147483647 68725 39 | 0.002 % |
329.82/330.01 c | 437376 | 2513 12797 40460 | 2147483647 68872 39 | 0.000 % |
329.92/330.16 c | 437537 | 2513 12797 40460 | 2147483647 69033 39 | 0.000 % |
330.12/330.33 c | 437713 | 2512 12617 40064 | 2147483647 63593 40 | 0.043 % |
330.22/330.43 c | 437907 | 2512 12617 40064 | 2147483647 63787 40 | 0.040 % |
330.32/330.59 c | 438119 | 2512 12617 40064 | 2147483647 63999 40 | 0.040 % |
330.62/330.89 c | 438353 | 2512 12617 40064 | 2147483647 64233 40 | 0.040 % |
330.92/331.16 c | 438611 | 2512 12617 40064 | 2147483647 64491 40 | 0.040 % |
331.22/331.45 c | 438892 | 2512 12617 40064 | 2147483647 64772 40 | 0.040 % |
331.51/331.73 c | 439201 | 2512 12617 40064 | 2147483647 65081 40 | 0.040 % |
331.91/332.16 c | 439542 | 2512 12617 40064 | 2147483647 65422 40 | 0.040 % |
332.12/332.39 c | 439914 | 2512 12617 40064 | 2147483647 65794 40 | 0.042 % |
332.41/332.66 c | 440323 | 2512 12617 40064 | 65882 66203 40 | 0.040 % |
332.81/333.06 c | 440773 | 2512 12617 40064 | 65882 57890 38 | 0.040 % |
333.12/333.35 c | 441267 | 2512 12617 40064 | 65882 58384 38 | 0.040 % |
333.41/333.62 c | 441809 | 2512 12617 40064 | 65882 58926 39 | 0.040 % |
333.71/333.99 c | 442405 | 2512 12617 40064 | 65882 59522 39 | 0.040 % |
334.32/334.57 c | 443062 | 2512 12617 40064 | 65882 60179 39 | 0.040 % |
334.71/334.97 c | 443783 | 2512 12617 40064 | 65882 60900 39 | 0.042 % |
335.32/335.59 c | 444575 | 2512 12617 40064 | 65882 61692 39 | 0.040 % |
335.81/336.01 c | 445447 | 2512 12617 40064 | 65882 62564 39 | 0.043 % |
336.42/336.68 c | 446406 | 2512 12617 40064 | 65882 63523 39 | 0.040 % |
337.31/337.54 c | 447459 | 2512 12617 40064 | 65882 64576 39 | 0.040 % |
338.41/338.64 c | 448617 | 2512 12617 40064 | 65882 65734 39 | 0.040 % |
339.41/339.69 c | 449891 | 2512 12617 40064 | 65882 58439 38 | 0.040 % |
340.51/340.74 c | 451291 | 2512 12617 40064 | 58549 52112 38 | 0.040 % |
341.61/341.87 c | 452833 | 2512 12617 40064 | 58549 53654 38 | 0.040 % |
343.41/343.68 c | 454528 | 2512 12617 40064 | 58549 55349 38 | 0.040 % |
344.31/344.50 c | 456392 | 2512 12617 40064 | 58549 57213 39 | 0.042 % |
345.71/345.94 c | 458442 | 2512 12617 40064 | 58549 59263 39 | 0.040 % |
347.71/347.92 c | 460695 | 2512 12617 40064 | 2147483647 55476 38 | 0.040 % |
349.51/349.74 c | 463174 | 2512 12617 40064 | 2147483647 57955 39 | 0.040 % |
351.51/351.77 c | 465900 | 2512 12617 40064 | 2147483647 60681 39 | 0.040 % |
354.71/354.96 c | 468897 | 2512 12617 40064 | 2147483647 63678 41 | 0.040 % |
357.31/357.52 c | 472193 | 2512 12617 40064 | 64782 59041 43 | 0.040 % |
360.30/360.56 c | 475818 | 2512 12617 40064 | 64782 62666 42 | 0.040 % |
364.10/364.34 c | 479805 | 2512 12617 40064 | 64782 59858 41 | 0.040 % |
368.00/368.23 c | 484191 | 2512 12617 40064 | 60055 57873 41 | 0.040 % |
368.10/368.32 c | 484293 | 2512 12617 40064 | 60055 57975 41 | 0.040 % |
368.20/368.42 c | 484404 | 2512 12617 40064 | 60055 58086 41 | 0.040 % |
368.31/368.51 c | 484526 | 2512 12617 40064 | 60055 58208 41 | 0.040 % |
368.31/368.59 c | 484659 | 2512 12617 40064 | 60055 58341 41 | 0.043 % |
368.41/368.66 c | 484805 | 2512 12617 40064 | 60055 58487 41 | 0.040 % |
368.50/368.74 c | 484967 | 2512 12617 40064 | 60055 58649 41 | 0.040 % |
368.60/368.84 c | 485143 | 2512 12617 40064 | 60055 58825 41 | 0.040 % |
368.70/368.98 c | 485336 | 2512 12617 40064 | 60055 59018 41 | 0.040 % |
368.90/369.12 c | 485548 | 2512 12617 40064 | 60055 59230 41 | 0.040 % |
369.00/369.25 c | 485781 | 2512 12617 40064 | 60055 59463 41 | 0.042 % |
369.20/369.45 c | 486037 | 2512 12617 40064 | 60055 59719 41 | 0.040 % |
369.40/369.63 c | 486318 | 2512 12617 40064 | 60055 60000 41 | 0.042 % |
369.60/369.88 c | 486628 | 2512 12617 40064 | 60055 60310 41 | 0.040 % |
370.00/370.27 c | 486968 | 2512 12617 40064 | 60055 53493 40 | 0.040 % |
370.40/370.63 c | 487340 | 2512 12617 40064 | 60055 53865 40 | 0.040 % |
370.80/371.01 c | 487750 | 2512 12617 40064 | 60055 54275 40 | 0.040 % |
371.10/371.39 c | 488199 | 2512 12617 40064 | 60055 54724 40 | 0.040 % |
371.80/372.06 c | 488693 | 2512 12617 40064 | 60055 55218 41 | 0.040 % |
372.30/372.54 c | 489236 | 2512 12617 40064 | 60055 55761 41 | 0.040 % |
373.10/373.31 c | 489832 | 2512 12617 40064 | 60055 56357 41 | 0.040 % |
373.60/373.82 c | 490487 | 2512 12617 40064 | 56525 57012 41 | 0.040 % |
374.20/374.49 c | 491207 | 2512 12617 40064 | 56525 50847 40 | 0.040 % |
374.90/375.12 c | 491999 | 2512 12617 40064 | 56525 51639 40 | 0.040 % |
375.49/375.79 c | 492870 | 2512 12617 40064 | 56525 52510 40 | 0.040 % |
376.19/376.49 c | 493829 | 2512 12617 40064 | 56525 53469 41 | 0.040 % |
377.20/377.49 c | 494883 | 2512 12617 40064 | 56525 54523 41 | 0.040 % |
378.30/378.59 c | 496041 | 2512 12617 40064 | 56525 55681 41 | 0.040 % |
378.99/379.25 c | 497315 | 2512 12617 40064 | 56525 56955 41 | 0.041 % |
379.99/380.21 c | 498717 | 2512 12617 40064 | 56525 51314 40 | 0.040 % |
381.39/381.63 c | 500258 | 2512 12617 40064 | 52597 52855 40 | 0.040 % |
382.39/382.63 c | 501952 | 2512 12617 40064 | 52597 49264 38 | 0.040 % |
383.69/383.92 c | 503815 | 2512 12617 40064 | 52597 51127 39 | 0.040 % |
385.29/385.54 c | 505866 | 2512 12617 40064 | 52597 53178 40 | 0.040 % |
387.09/387.39 c | 508120 | 2512 12617 40064 | 52597 50115 41 | 0.040 % |
388.89/389.18 c | 510598 | 2512 12617 40064 | 2147483647 52593 42 | 0.040 % |
390.59/390.86 c | 513325 | 2512 12617 40064 | 2147483647 55320 42 | 0.041 % |
392.29/392.54 c | 516323 | 2512 12617 40064 | 2147483647 58318 42 | 0.040 % |
394.59/394.86 c | 519619 | 2512 12617 40064 | 2147483647 61614 43 | 0.040 % |
398.09/398.33 c | 523245 | 2512 12617 40064 | 2147483647 65240 43 | 0.040 % |
401.58/401.86 c | 527232 | 2512 12617 40064 | 2147483647 69227 44 | 0.040 % |
406.08/406.39 c | 531617 | 2512 12617 40064 | 71998 61530 43 | 0.040 % |
410.78/411.06 c | 536440 | 2512 12617 40064 | 71998 66353 43 | 0.040 % |
410.98/411.20 c | 536541 | 2512 12617 40064 | 71998 66454 43 | 0.040 % |
410.98/411.28 c | 536651 | 2512 12617 40064 | 71998 66564 43 | 0.043 % |
411.08/411.35 c | 536772 | 2512 12617 40064 | 71998 66685 43 | 0.040 % |
411.19/411.43 c | 536905 | 2512 12617 40064 | 71998 66818 43 | 0.040 % |
411.29/411.57 c | 537051 | 2512 12617 40064 | 71998 66964 43 | 0.040 % |
411.38/411.65 c | 537211 | 2512 12617 40064 | 71998 67124 43 | 0.043 % |
411.48/411.76 c | 537388 | 2512 12617 40064 | 71998 67301 43 | 0.040 % |
411.68/411.92 c | 537581 | 2512 12617 40064 | 71998 67494 43 | 0.040 % |
411.78/412.03 c | 537793 | 2512 12617 40064 | 71998 67706 43 | 0.042 % |
411.98/412.22 c | 538026 | 2512 12617 40064 | 71998 67939 43 | 0.040 % |
412.08/412.35 c | 538284 | 2512 12617 40064 | 71998 68197 43 | 0.042 % |
412.18/412.45 c | 538565 | 2512 12617 40064 | 71998 68478 43 | 0.040 % |
412.38/412.67 c | 538874 | 2512 12617 40064 | 71998 68787 43 | 0.042 % |
412.58/412.88 c | 539214 | 2512 12617 40064 | 71998 69127 43 | 0.040 % |
412.98/413.29 c | 539587 | 2512 12617 40064 | 71998 69500 44 | 0.040 % |
413.28/413.52 c | 539996 | 2512 12617 40064 | 71998 69909 43 | 0.043 % |
413.78/414.03 c | 540447 | 2512 12617 40064 | 69914 59066 42 | 0.040 % |
414.28/414.51 c | 540941 | 2512 12617 40064 | 69914 59560 42 | 0.040 % |
414.78/415.00 c | 541483 | 2512 12617 40064 | 69914 60102 42 | 0.040 % |
415.18/415.46 c | 542079 | 2512 12617 40064 | 69914 60698 42 | 0.040 % |
415.58/415.83 c | 542735 | 2512 12617 40064 | 69914 61354 42 | 0.042 % |
416.08/416.38 c | 543455 | 2512 12617 40064 | 69914 62074 42 | 0.040 % |
416.78/417.04 c | 544248 | 2512 12617 40064 | 69914 62867 42 | 0.040 % |
417.68/417.99 c | 545120 | 2512 12617 40064 | 69914 63739 43 | 0.040 % |
418.58/418.89 c | 546078 | 2512 12617 40064 | 69914 64697 43 | 0.040 % |
419.18/419.49 c | 547131 | 2512 12617 40064 | 69914 65750 43 | 0.043 % |
420.18/420.44 c | 548289 | 2512 12617 40064 | 69914 66908 43 | 0.040 % |
421.18/421.44 c | 549563 | 2512 12617 40064 | 69914 68182 44 | 0.040 % |
422.08/422.39 c | 550964 | 2512 12617 40064 | 68619 59153 41 | 0.043 % |
422.78/423.08 c | 552505 | 2512 12617 40064 | 68619 60694 41 | 0.040 % |
423.78/424.06 c | 554203 | 2512 12617 40064 | 68619 62392 41 | 0.042 % |
424.78/425.10 c | 556067 | 2512 12617 40064 | 68619 64256 41 | 0.040 % |
425.88/426.18 c | 558117 | 2512 12617 40064 | 68619 66306 41 | 0.042 % |
427.17/427.49 c | 560370 | 2512 12617 40064 | 68189 59376 39 | 0.040 % |
429.17/429.46 c | 562851 | 2512 12617 40064 | 68189 61857 40 | 0.040 % |
432.57/432.83 c | 565577 | 2512 12617 40064 | 68189 64583 40 | 0.040 % |
434.38/434.61 c | 568574 | 2512 12617 40064 | 68189 67580 40 | 0.042 % |
436.67/436.99 c | 571871 | 2512 12617 40064 | 58280 51122 36 | 0.042 % |
438.97/439.29 c | 575496 | 2512 12617 40064 | 58280 54747 37 | 0.040 % |
444.17/444.50 c | 579485 | 2512 12617 40064 | 58280 58736 39 | 0.040 % |
447.17/447.48 c | 583874 | 2512 12617 40064 | 51818 49409 36 | 0.040 % |
450.87/451.19 c | 588697 | 2512 12617 40064 | 51818 49020 37 | 0.040 % |
454.96/455.25 c | 594002 | 2512 12617 40064 | 2147483647 54325 39 | 0.040 % |
455.06/455.32 c | 594104 | 2512 12617 40064 | 2147483647 54427 39 | 0.042 % |
455.06/455.39 c | 594214 | 2512 12617 40064 | 2147483647 54537 39 | 0.040 % |
455.17/455.48 c | 594335 | 2512 12617 40064 | 2147483647 54658 39 | 0.040 % |
455.46/455.70 c | 594470 | 2512 12617 40064 | 2147483647 54793 39 | 0.040 % |
455.56/455.82 c | 594616 | 2512 12617 40064 | 2147483647 54939 39 | 0.040 % |
455.66/455.94 c | 594777 | 2512 12617 40064 | 2147483647 55100 39 | 0.040 % |
455.76/456.07 c | 594953 | 2512 12617 40064 | 2147483647 55276 39 | 0.040 % |
455.96/456.24 c | 595146 | 2512 12617 40064 | 2147483647 55469 39 | 0.040 % |
456.16/456.45 c | 595359 | 2512 12617 40064 | 2147483647 55682 39 | 0.040 % |
456.37/456.61 c | 595592 | 2512 12617 40064 | 2147483647 55915 39 | 0.040 % |
456.46/456.77 c | 595850 | 2512 12617 40064 | 2147483647 56173 39 | 0.043 % |
456.56/456.89 c | 596131 | 2512 12617 40064 | 2147483647 56454 40 | 0.040 % |
456.96/457.20 c | 596440 | 2512 12617 40064 | 2147483647 56763 40 | 0.040 % |
457.06/457.38 c | 596780 | 2512 12617 40064 | 2147483647 57103 40 | 0.040 % |
457.36/457.61 c | 597153 | 2512 12617 40064 | 2147483647 57476 40 | 0.040 % |
457.76/458.07 c | 597563 | 2512 12617 40064 | 2147483647 57886 40 | 0.040 % |
457.96/458.30 c | 598016 | 2512 12617 40064 | 2147483647 58339 40 | 0.043 % |
458.36/458.63 c | 598510 | 2512 12617 40064 | 2147483647 58833 40 | 0.042 % |
458.56/458.88 c | 599052 | 2512 12617 40064 | 2147483647 59375 40 | 0.043 % |
458.86/459.16 c | 599649 | 2512 12617 40064 | 2147483647 59972 40 | 0.041 % |
459.46/459.77 c | 600304 | 2512 12617 40064 | 2147483647 60627 40 | 0.040 % |
460.36/460.63 c | 601024 | 2512 12617 40064 | 2147483647 61347 40 | 0.040 % |
460.76/461.02 c | 601818 | 2512 12617 40064 | 2147483647 62141 40 | 0.043 % |
461.46/461.78 c | 602689 | 2512 12617 40064 | 2147483647 63012 40 | 0.040 % |
462.26/462.51 c | 603648 | 2512 12617 40064 | 2147483647 63971 40 | 0.040 % |
463.26/463.54 c | 604701 | 2512 12617 40064 | 2147483647 65024 40 | 0.040 % |
464.26/464.58 c | 605859 | 2512 12617 40064 | 2147483647 66182 40 | 0.040 % |
465.86/466.10 c | 607132 | 2512 12617 40064 | 2147483647 67455 41 | 0.040 % |
466.86/467.11 c | 608532 | 2512 12617 40064 | 2147483647 68855 41 | 0.040 % |
467.75/468.00 c | 610072 | 2512 12617 40064 | 70323 70395 41 | 0.043 % |
469.15/469.41 c | 611767 | 2512 12617 40064 | 70323 63738 40 | 0.042 % |
471.15/471.48 c | 613630 | 2512 12617 40064 | 70323 65601 40 | 0.040 % |
473.25/473.53 c | 615679 | 2512 12617 40064 | 70323 67650 41 | 0.040 % |
475.15/475.41 c | 617933 | 2512 12617 40064 | 70323 69904 41 | 0.040 % |
477.45/477.77 c | 620411 | 2512 12617 40064 | 61594 62005 40 | 0.040 % |
480.55/480.82 c | 623137 | 2512 12617 40064 | 61594 56057 39 | 0.040 % |
483.35/483.68 c | 626136 | 2512 12617 40064 | 61594 59056 39 | 0.040 % |
486.25/486.56 c | 629433 | 2512 12617 40064 | 61594 54385 38 | 0.040 % |
489.35/489.67 c | 633059 | 2512 12617 40064 | 54952 51190 38 | 0.040 % |
491.25/491.56 c | 637046 | 2512 12617 40064 | 54952 55177 39 | 0.043 % |
493.45/493.78 c | 641432 | 2512 12617 40064 | 2147483647 54046 39 | 0.042 % |
496.95/497.22 c | 646255 | 2512 12617 40064 | 2147483647 58869 41 | 0.040 % |
502.45/502.75 c | 651561 | 2512 12617 40064 | 62615 57154 43 | 0.040 % |
505.44/505.75 c | 657396 | 2512 12617 40064 | 62615 62989 43 | 0.043 % |
505.75/506.02 c | 657499 | 2512 12617 40064 | 62615 55967 42 | 0.040 % |
505.75/506.07 c | 657609 | 2512 12617 40064 | 62615 56077 42 | 0.040 % |
505.85/506.12 c | 657730 | 2512 12617 40064 | 62615 56198 42 | 0.040 % |
505.94/506.21 c | 657864 | 2512 12617 40064 | 62615 56332 42 | 0.040 % |
506.04/506.36 c | 658010 | 2512 12617 40064 | 62615 56478 42 | 0.040 % |
506.14/506.47 c | 658170 | 2512 12617 40064 | 62615 56638 42 | 0.043 % |
506.24/506.59 c | 658347 | 2512 12617 40064 | 62615 56815 42 | 0.043 % |
506.34/506.68 c | 658540 | 2512 12617 40064 | 62615 57008 42 | 0.040 % |
506.54/506.82 c | 658756 | 2512 12617 40064 | 62615 57224 42 | 0.042 % |
506.64/506.95 c | 658990 | 2512 12617 40064 | 62615 57458 42 | 0.040 % |
506.74/507.09 c | 659246 | 2512 12617 40064 | 62615 57714 42 | 0.040 % |
507.04/507.32 c | 659527 | 2512 12617 40064 | 62615 57995 42 | 0.040 % |
507.24/507.50 c | 659836 | 2512 12617 40064 | 62615 58304 42 | 0.043 % |
507.44/507.72 c | 660176 | 2512 12617 40064 | 58470 52318 40 | 0.040 % |
507.74/508.00 c | 660549 | 2512 12617 40064 | 58470 52691 40 | 0.040 % |
507.84/508.19 c | 660958 | 2512 12617 40064 | 58470 53100 40 | 0.043 % |
508.14/508.45 c | 661407 | 2512 12617 40064 | 58470 53549 40 | 0.040 % |
508.34/508.65 c | 661900 | 2512 12617 40064 | 58470 54042 40 | 0.040 % |
508.54/508.89 c | 662443 | 2512 12617 40064 | 58470 54585 40 | 0.040 % |
508.84/509.19 c | 663039 | 2512 12617 40064 | 58470 55181 40 | 0.040 % |
509.24/509.55 c | 663694 | 2512 12617 40064 | 58470 55836 40 | 0.043 % |
509.84/510.17 c | 664414 | 2512 12617 40064 | 58470 56556 41 | 0.040 % |
510.44/510.72 c | 665207 | 2512 12617 40064 | 58470 57349 41 | 0.040 % |
510.74/511.09 c | 666080 | 2512 12617 40064 | 58470 58222 40 | 0.040 % |
511.44/511.71 c | 667038 | 2512 12617 40064 | 58470 52966 39 | 0.042 % |
511.84/512.14 c | 668093 | 2512 12617 40064 | 58470 54021 40 | 0.043 % |
512.34/512.66 c | 669251 | 2512 12617 40064 | 58470 55179 40 | 0.042 % |
513.24/513.51 c | 670525 | 2512 12617 40064 | 55928 50330 39 | 0.040 % |
513.84/514.13 c | 671925 | 2512 12617 40064 | 55928 51730 39 | 0.043 % |
514.74/515.03 c | 673465 | 2512 12617 40064 | 55928 53270 40 | 0.040 % |
515.94/516.26 c | 675159 | 2512 12617 40064 | 55928 54964 41 | 0.040 % |
517.74/518.07 c | 677024 | 2512 12617 40064 | 55928 51201 40 | 0.040 % |
518.74/519.01 c | 679074 | 2512 12617 40064 | 55928 53251 40 | 0.043 % |
520.15/520.46 c | 681328 | 2512 12617 40064 | 54177 49997 39 | 0.042 % |
521.64/521.95 c | 683806 | 2512 12617 40064 | 54177 52475 40 | 0.040 % |
524.34/524.70 c | 686531 | 2512 12617 40064 | 54177 49729 39 | 0.040 % |
526.14/526.44 c | 689529 | 2512 12617 40064 | 54177 52727 40 | 0.042 % |
527.64/527.98 c | 692825 | 2512 12617 40064 | 2147483647 56023 40 | 0.043 % |
530.24/530.57 c | 696451 | 2512 12617 40064 | 2147483647 59649 41 | 0.040 % |
533.14/533.44 c | 700439 | 2512 12617 40064 | 2147483647 63637 40 | 0.040 % |
537.04/537.36 c | 704825 | 2512 12617 40064 | 2147483647 68023 42 | 0.040 % |
542.74/543.08 c | 709648 | 2512 12617 40064 | 2147483647 72846 44 | 0.040 % |
546.83/547.16 c | 714953 | 2512 12617 40064 | 73201 67292 44 | 0.040 % |
553.93/554.25 c | 720788 | 2512 12617 40064 | 72340 61696 44 | 0.040 % |
559.83/560.12 c | 727206 | 2512 12617 40064 | 72340 68114 45 | 0.040 % |
559.93/560.26 c | 727308 | 2512 12617 40064 | 72340 68216 45 | 0.040 % |
560.03/560.37 c | 727423 | 2512 12617 40064 | 72340 68331 45 | 0.040 % |
560.23/560.50 c | 727545 | 2512 12617 40064 | 72340 68453 45 | 0.040 % |
560.33/560.62 c | 727678 | 2512 12617 40064 | 72340 68586 45 | 0.042 % |
560.43/560.74 c | 727827 | 2512 12617 40064 | 72340 68735 45 | 0.040 % |
560.53/560.85 c | 727989 | 2512 12617 40064 | 72340 68897 45 | 0.040 % |
560.74/561.10 c | 728166 | 2512 12617 40064 | 72340 69074 45 | 0.040 % |
561.03/561.31 c | 728359 | 2512 12617 40064 | 72340 69267 45 | 0.040 % |
561.13/561.50 c | 728571 | 2512 12617 40064 | 72340 69479 45 | 0.040 % |
561.33/561.68 c | 728808 | 2512 12617 40064 | 72340 69716 45 | 0.043 % |
561.53/561.88 c | 729064 | 2512 12617 40064 | 72340 69972 45 | 0.040 % |
561.83/562.11 c | 729349 | 2512 12617 40064 | 72340 70257 45 | 0.042 % |
562.03/562.35 c | 729659 | 2512 12617 40064 | 72340 70567 45 | 0.040 % |
562.33/562.70 c | 730000 | 2512 12617 40064 | 72340 70908 45 | 0.040 % |
562.63/562.98 c | 730372 | 2512 12617 40064 | 70908 71280 45 | 0.043 % |
563.23/563.55 c | 730782 | 2512 12617 40064 | 70908 59640 43 | 0.040 % |
563.73/564.03 c | 731232 | 2512 12617 40064 | 70908 60090 44 | 0.040 % |
564.13/564.50 c | 731727 | 2512 12617 40064 | 70908 60585 44 | 0.040 % |
564.63/564.98 c | 732269 | 2512 12617 40064 | 70908 61127 44 | 0.040 % |
565.33/565.63 c | 732865 | 2512 12617 40064 | 70908 61723 44 | 0.040 % |
565.83/566.12 c | 733521 | 2512 12617 40064 | 70908 62379 44 | 0.040 % |
566.43/566.72 c | 734244 | 2512 12617 40064 | 70908 63102 44 | 0.043 % |
566.93/567.20 c | 735037 | 2512 12617 40064 | 70908 63895 44 | 0.040 % |
567.43/567.72 c | 735909 | 2512 12617 40064 | 70908 64767 44 | 0.042 % |
567.93/568.28 c | 736869 | 2512 12617 40064 | 70908 65727 44 | 0.040 % |
568.73/569.04 c | 737922 | 2512 12617 40064 | 70908 66780 44 | 0.040 % |
569.53/569.88 c | 739080 | 2512 12617 40064 | 70908 67938 45 | 0.040 % |
570.43/570.71 c | 740353 | 2512 12617 40064 | 68858 69211 45 | 0.042 % |
571.43/571.71 c | 741753 | 2512 12617 40064 | 68858 59366 45 | 0.040 % |
572.33/572.60 c | 743293 | 2512 12617 40064 | 68858 60906 45 | 0.040 % |
573.53/573.82 c | 744988 | 2512 12617 40064 | 68858 62601 45 | 0.040 % |
575.23/575.51 c | 746851 | 2512 12617 40064 | 68858 64464 46 | 0.040 % |
577.12/577.40 c | 748900 | 2512 12617 40064 | 68858 66513 46 | 0.040 % |
579.53/579.81 c | 751155 | 2512 12617 40064 | 67613 58157 43 | 0.040 % |
581.42/581.76 c | 753633 | 2512 12617 40064 | 67613 60635 44 | 0.040 % |
585.12/585.42 c | 756359 | 2512 12617 40064 | 67613 63361 45 | 0.040 % |
588.02/588.34 c | 759357 | 2512 12617 40064 | 67613 66359 45 | 0.040 % |
590.82/591.13 c | 762654 | 2512 12617 40064 | 67002 59436 42 | 0.040 % |
594.12/594.43 c | 766281 | 2512 12617 40064 | 67002 63063 43 | 0.040 % |
597.42/597.70 c | 770271 | 2512 12617 40064 | 66782 67053 44 | 0.040 % |
601.32/601.65 c | 774656 | 2512 12617 40064 | 66782 61484 43 | 0.040 % |
606.22/606.52 c | 779479 | 2512 12617 40064 | 66782 66307 44 | 0.040 % |
611.22/611.54 c | 784784 | 2512 12617 40064 | 66829 60992 45 | 0.040 % |
616.92/617.29 c | 790619 | 2512 12617 40064 | 66208 66827 46 | 0.040 % |
622.61/622.92 c | 797038 | 2512 12617 40064 | 66208 62249 47 | 0.040 % |
626.81/627.12 c | 804098 | 2512 12617 40064 | 65211 59418 45 | 0.042 % |
626.81/627.20 c | 804201 | 2512 12617 40064 | 65211 59521 45 | 0.042 % |
627.01/627.31 c | 804311 | 2512 12617 40064 | 65211 59631 45 | 0.040 % |
627.11/627.44 c | 804432 | 2512 12617 40064 | 65211 59752 45 | 0.040 % |
627.21/627.59 c | 804565 | 2512 12617 40064 | 65211 59885 45 | 0.040 % |
627.41/627.71 c | 804711 | 2512 12617 40064 | 65211 60031 45 | 0.043 % |
627.51/627.86 c | 804871 | 2512 12617 40064 | 65211 60191 45 | 0.040 % |
627.81/628.10 c | 805048 | 2512 12617 40064 | 65211 60368 45 | 0.040 % |
627.81/628.20 c | 805242 | 2512 12617 40064 | 65211 60562 45 | 0.043 % |
628.01/628.35 c | 805455 | 2512 12617 40064 | 65211 60775 45 | 0.040 % |
628.21/628.50 c | 805688 | 2512 12617 40064 | 65211 61008 45 | 0.040 % |
628.41/628.70 c | 805945 | 2512 12617 40064 | 65211 61265 45 | 0.040 % |
628.61/628.91 c | 806227 | 2512 12617 40064 | 65211 61547 46 | 0.040 % |
628.91/629.26 c | 806536 | 2512 12617 40064 | 65211 61856 46 | 0.040 % |
629.11/629.43 c | 806876 | 2512 12617 40064 | 65211 62196 46 | 0.043 % |
629.41/629.75 c | 807249 | 2512 12617 40064 | 65211 62569 45 | 0.040 % |
629.71/630.06 c | 807658 | 2512 12617 40064 | 65211 62978 46 | 0.040 % |
630.11/630.48 c | 808108 | 2512 12617 40064 | 65211 63428 46 | 0.040 % |
630.71/631.06 c | 808602 | 2512 12617 40064 | 65211 63922 46 | 0.040 % |
631.31/631.65 c | 809145 | 2512 12617 40064 | 65211 64465 46 | 0.040 % |
632.31/632.66 c | 809743 | 2512 12617 40064 | 65211 65063 47 | 0.040 % |
632.91/633.26 c | 810399 | 2512 12617 40064 | 65321 65719 47 | 0.040 % |
633.81/634.16 c | 811120 | 2512 12617 40064 | 65321 56336 46 | 0.040 % |
634.51/634.88 c | 811912 | 2512 12617 40064 | 65321 57128 47 | 0.040 % |
635.31/635.63 c | 812784 | 2512 12617 40064 | 65321 58000 47 | 0.040 % |
636.21/636.52 c | 813744 | 2512 12617 40064 | 65321 58960 46 | 0.040 % |
637.31/637.66 c | 814798 | 2512 12617 40064 | 65321 60014 47 | 0.040 % |
638.60/638.96 c | 815958 | 2512 12617 40064 | 65321 61174 47 | 0.040 % |
639.80/640.14 c | 817231 | 2512 12617 40064 | 65321 62447 47 | 0.040 % |
641.01/641.31 c | 818632 | 2512 12617 40064 | 65321 63848 47 | 0.040 % |
642.80/643.10 c | 820172 | 2512 12617 40064 | 65217 65388 48 | 0.040 % |
644.31/644.67 c | 821868 | 2512 12617 40064 | 65217 57388 46 | 0.040 % |
646.60/646.91 c | 823731 | 2512 12617 40064 | 65217 59251 46 | 0.040 % |
648.50/648.80 c | 825781 | 2512 12617 40064 | 65217 61301 46 | 0.040 % |
650.60/650.98 c | 828036 | 2512 12617 40064 | 65217 63556 46 | 0.040 % |
652.10/652.43 c | 830514 | 2512 12617 40064 | 65520 66034 47 | 0.042 % |
653.60/653.94 c | 833241 | 2512 12617 40064 | 65520 58475 44 | 0.041 % |
656.10/656.45 c | 836240 | 2512 12617 40064 | 65520 61474 44 | 0.040 % |
658.30/658.64 c | 839536 | 2512 12617 40064 | 65520 64770 45 | 0.040 % |
660.60/660.96 c | 843161 | 2512 12617 40064 | 65236 58956 44 | 0.044 % |
664.79/665.16 c | 847150 | 2512 12617 40064 | 65236 62945 45 | 0.040 % |
668.99/669.34 c | 851536 | 2512 12617 40064 | 56168 49554 41 | 0.040 % |
671.39/671.73 c | 856359 | 2512 12617 40064 | 56168 54377 42 | 0.044 % |
676.19/676.55 c | 861664 | 2512 12617 40064 | 51324 47291 41 | 0.040 % |
681.19/681.55 c | 867500 | 2512 12617 40064 | 51324 47973 41 | 0.040 % |
684.79/685.17 c | 873918 | 2512 12617 40064 | 2147483647 54391 43 | 0.042 % |
691.39/691.70 c | 880978 | 2512 12617 40064 | 60474 54922 44 | 0.040 % |
698.38/698.78 c | 888744 | 2512 12617 40064 | 60474 54651 42 | 0.040 % |
698.48/698.87 c | 888845 | 2512 12617 40064 | 60474 54752 42 | 0.040 % |
698.58/698.98 c | 888956 | 2512 12617 40064 | 60474 54863 42 | 0.040 % |
698.68/699.07 c | 889077 | 2512 12617 40064 | 60474 54984 42 | 0.040 % |
698.78/699.18 c | 889211 | 2512 12617 40064 | 60474 55118 42 | 0.044 % |
698.88/699.25 c | 889357 | 2512 12617 40064 | 60474 55264 42 | 0.040 % |
699.08/699.40 c | 889517 | 2512 12617 40064 | 60474 55424 43 | 0.040 % |
699.18/699.51 c | 889693 | 2512 12617 40064 | 60474 55600 42 | 0.044 % |
699.29/699.64 c | 889888 | 2512 12617 40064 | 60474 55795 43 | 0.040 % |
699.48/699.82 c | 890103 | 2512 12617 40064 | 55907 56010 43 | 0.040 % |
699.78/700.12 c | 890337 | 2512 12617 40064 | 55907 48910 41 | 0.040 % |
699.98/700.31 c | 890593 | 2512 12617 40064 | 55907 49166 41 | 0.040 % |
700.08/700.49 c | 890874 | 2512 12617 40064 | 55907 49447 41 | 0.042 % |
700.28/700.64 c | 891184 | 2512 12617 40064 | 55907 49757 41 | 0.040 % |
700.49/700.82 c | 891524 | 2512 12617 40064 | 55907 50097 41 | 0.040 % |
700.68/701.05 c | 891897 | 2512 12617 40064 | 55907 50470 41 | 0.044 % |
700.88/701.29 c | 892306 | 2512 12617 40064 | 55907 50879 42 | 0.040 % |
701.38/701.73 c | 892756 | 2512 12617 40064 | 55907 51329 42 | 0.040 % |
701.78/702.15 c | 893249 | 2512 12617 40064 | 55907 51822 42 | 0.040 % |
702.38/702.72 c | 893791 | 2512 12617 40064 | 55907 52364 42 | 0.040 % |
702.88/703.24 c | 894387 | 2512 12617 40064 | 55907 52960 42 | 0.040 % |
703.48/703.88 c | 895042 | 2512 12617 40064 | 55907 53615 42 | 0.040 % |
703.88/704.20 c | 895762 | 2512 12617 40064 | 55907 54335 43 | 0.042 % |
704.28/704.65 c | 896554 | 2512 12617 40064 | 55907 55127 43 | 0.040 % |
704.78/705.12 c | 897425 | 2512 12617 40064 | 55907 55998 43 | 0.044 % |
705.58/705.97 c | 898386 | 2512 12617 40064 | 55907 50577 41 | 0.040 % |
706.58/706.91 c | 899440 | 2512 12617 40064 | 55907 51631 42 | 0.040 % |
707.38/707.71 c | 900598 | 2512 12617 40064 | 2147483647 52789 41 | 0.040 % |
707.98/708.36 c | 901873 | 2512 12617 40064 | 2147483647 54064 42 | 0.042 % |
708.78/709.14 c | 903273 | 2512 12617 40064 | 2147483647 55464 42 | 0.040 % |
709.88/710.24 c | 904814 | 2512 12617 40064 | 2147483647 57005 43 | 0.040 % |
711.08/711.47 c | 906509 | 2512 12617 40064 | 2147483647 58700 43 | 0.040 % |
712.18/712.50 c | 908372 | 2512 12617 40064 | 2147483647 60563 43 | 0.042 % |
713.88/714.26 c | 910422 | 2512 12617 40064 | 2147483647 62613 44 | 0.040 % |
715.98/716.39 c | 912676 | 2512 12617 40064 | 2147483647 64867 45 | 0.040 % |
718.27/718.69 c | 915155 | 2512 12617 40064 | 2147483647 67346 45 | 0.040 % |
721.58/721.95 c | 917881 | 2512 12617 40064 | 2147483647 70072 45 | 0.040 % |
724.87/725.21 c | 920878 | 2512 12617 40064 | 72191 62214 43 | 0.040 % |
727.57/727.94 c | 924178 | 2512 12617 40064 | 72191 65514 44 | 0.040 % |
730.97/731.33 c | 927804 | 2512 12617 40064 | 72191 69140 45 | 0.040 % |
736.17/736.53 c | 931791 | 2512 12617 40064 | 71337 61929 43 | 0.040 % |
739.57/739.94 c | 936176 | 2512 12617 40064 | 71337 66314 44 | 0.040 % |
745.07/745.47 c | 940999 | 2512 12617 40064 | 70139 60049 44 | 0.040 % |
750.16/750.53 c | 946304 | 2512 12617 40064 | 70139 65354 45 | 0.040 % |
755.96/756.34 c | 952140 | 2512 12617 40064 | 69050 60390 44 | 0.040 % |
762.56/762.97 c | 958559 | 2512 12617 40064 | 69050 66809 46 | 0.040 % |
766.86/767.26 c | 965618 | 2512 12617 40064 | 68250 61934 48 | 0.044 % |
773.96/774.32 c | 973383 | 2512 12617 40064 | 66316 58515 48 | 0.040 % |
782.75/783.15 c | 981924 | 2512 12617 40064 | 65132 56163 47 | 0.040 % |
782.86/783.27 c | 982024 | 2512 12617 40064 | 65132 56263 47 | 0.040 % |
782.96/783.35 c | 982135 | 2512 12617 40064 | 65132 56374 47 | 0.044 % |
783.05/783.49 c | 982257 | 2512 12617 40064 | 65132 56496 47 | 0.040 % |
783.25/783.62 c | 982391 | 2512 12617 40064 | 65132 56630 47 | 0.040 % |
783.45/783.85 c | 982538 | 2512 12617 40064 | 65132 56777 47 | 0.040 % |
783.55/783.93 c | 982698 | 2512 12617 40064 | 65132 56937 47 | 0.042 % |
783.65/784.05 c | 982874 | 2512 12617 40064 | 65132 57113 47 | 0.040 % |
783.75/784.14 c | 983067 | 2512 12617 40064 | 65132 57306 47 | 0.040 % |
783.85/784.24 c | 983280 | 2512 12617 40064 | 65132 57519 47 | 0.044 % |
783.96/784.37 c | 983515 | 2512 12617 40064 | 65132 57754 47 | 0.040 % |
784.06/784.46 c | 983772 | 2512 12617 40064 | 65132 58011 47 | 0.042 % |
784.25/784.63 c | 984053 | 2512 12617 40064 | 65132 58292 47 | 0.040 % |
784.35/784.75 c | 984362 | 2512 12617 40064 | 65132 58601 47 | 0.044 % |
784.65/785.01 c | 984701 | 2512 12617 40064 | 65132 58940 47 | 0.040 % |
784.95/785.30 c | 985075 | 2512 12617 40064 | 65132 59314 47 | 0.040 % |
785.15/785.51 c | 985484 | 2512 12617 40064 | 65132 59723 47 | 0.044 % |
785.65/786.04 c | 985933 | 2512 12617 40064 | 65132 60172 47 | 0.040 % |
786.15/786.59 c | 986428 | 2512 12617 40064 | 65132 60667 47 | 0.040 % |
786.85/787.23 c | 986970 | 2512 12617 40064 | 65132 61209 48 | 0.040 % |
787.35/787.79 c | 987568 | 2512 12617 40064 | 65132 61807 48 | 0.040 % |
787.75/788.11 c | 988223 | 2512 12617 40064 | 65132 62462 48 | 0.041 % |
788.15/788.50 c | 988943 | 2512 12617 40064 | 65132 63182 48 | 0.040 % |
788.45/788.82 c | 989735 | 2512 12617 40064 | 65132 63974 48 | 0.040 % |
789.15/789.59 c | 990608 | 2512 12617 40064 | 64239 55414 46 | 0.040 % |
789.65/790.01 c | 991568 | 2512 12617 40064 | 64239 56374 46 | 0.040 % |
790.15/790.54 c | 992622 | 2512 12617 40064 | 64239 57428 46 | 0.044 % |
790.85/791.24 c | 993781 | 2512 12617 40064 | 64239 58587 46 | 0.040 % |
792.35/792.77 c | 995054 | 2512 12617 40064 | 64239 59860 46 | 0.040 % |
793.15/793.52 c | 996454 | 2512 12617 40064 | 64239 61260 46 | 0.042 % |
793.95/794.32 c | 997996 | 2512 12617 40064 | 64239 62802 47 | 0.040 % |
794.86/795.22 c | 999692 | 2512 12617 40064 | 64239 64498 47 | 0.040 % |
796.36/796.72 c | 1001555 | 2512 12617 40064 | 56660 51358 41 | 0.040 % |
797.36/797.71 c | 1003605 | 2512 12617 40064 | 56660 53408 41 | 0.041 % |
798.36/798.72 c | 1005859 | 2512 12617 40064 | 56660 55662 41 | 0.040 % |
799.96/800.36 c | 1008337 | 2512 12617 40064 | 56660 52443 39 | 0.040 % |
801.56/801.98 c | 1011064 | 2512 12617 40064 | 2147483647 55170 39 | 0.040 % |
803.25/803.67 c | 1014061 | 2512 12617 40064 | 2147483647 58167 39 | 0.042 % |
805.05/805.49 c | 1017357 | 2512 12617 40064 | 2147483647 61463 40 | 0.044 % |
808.16/808.54 c | 1020982 | 2512 12617 40064 | 64106 57528 40 | 0.040 % |
811.35/811.78 c | 1024969 | 2512 12617 40064 | 64106 61515 41 | 0.040 % |
814.95/815.32 c | 1029355 | 2512 12617 40064 | 64106 58135 41 | 0.040 % |
819.05/819.49 c | 1034180 | 2512 12617 40064 | 58781 55924 40 | 0.040 % |
824.55/824.97 c | 1039485 | 2512 12617 40064 | 58781 54518 40 | 0.040 % |
829.35/829.75 c | 1045321 | 2512 12617 40064 | 55035 54831 39 | 0.040 % |
835.05/835.49 c | 1051739 | 2512 12617 40064 | 2147483647 55713 40 | 0.040 % |
842.54/842.93 c | 1058801 | 2512 12617 40064 | 2147483647 62775 42 | 0.040 % |
849.74/850.12 c | 1066566 | 2512 12617 40064 | 63975 61555 45 | 0.040 % |
854.64/855.05 c | 1075107 | 2512 12617 40064 | 55230 52202 44 | 0.044 % |
861.44/861.84 c | 1084501 | 2512 12617 40064 | 50194 49012 49 | 0.040 % |
861.54/861.90 c | 1084602 | 2512 12617 40064 | 50194 49113 49 | 0.042 % |
861.54/861.95 c | 1084712 | 2512 12617 40064 | 50194 49223 49 | 0.040 % |
861.64/862.02 c | 1084834 | 2512 12617 40064 | 50194 49345 49 | 0.040 % |
861.64/862.10 c | 1084967 | 2512 12617 40064 | 50194 49478 49 | 0.040 % |
861.74/862.18 c | 1085113 | 2512 12617 40064 | 50194 49624 49 | 0.040 % |
861.84/862.28 c | 1085274 | 2512 12617 40064 | 50194 49785 49 | 0.040 % |
861.94/862.37 c | 1085451 | 2512 12617 40064 | 50194 49962 49 | 0.040 % |
862.04/862.48 c | 1085644 | 2512 12617 40064 | 50194 50155 49 | 0.040 % |
862.34/862.77 c | 1085856 | 2512 12617 40064 | 50194 45337 48 | 0.040 % |
862.54/862.91 c | 1086090 | 2512 12617 40064 | 50194 45571 48 | 0.040 % |
862.64/863.08 c | 1086347 | 2512 12617 40064 | 50194 45828 48 | 0.044 % |
862.94/863.31 c | 1086628 | 2512 12617 40064 | 50194 46109 48 | 0.040 % |
863.14/863.59 c | 1086937 | 2512 12617 40064 | 50194 46418 49 | 0.040 % |
863.54/863.90 c | 1087276 | 2512 12617 40064 | 50194 46757 49 | 0.040 % |
863.94/864.39 c | 1087649 | 2512 12617 40064 | 50194 47130 49 | 0.040 % |
864.24/864.69 c | 1088058 | 2512 12617 40064 | 50194 47539 49 | 0.040 % |
864.43/864.87 c | 1088508 | 2512 12617 40064 | 50194 47989 49 | 0.042 % |
864.73/865.10 c | 1089001 | 2512 12617 40064 | 50194 48482 49 | 0.044 % |
864.93/865.30 c | 1089543 | 2512 12617 40064 | 50194 49024 49 | 0.042 % |
865.13/865.55 c | 1090140 | 2512 12617 40064 | 2147483647 49621 49 | 0.044 % |
865.63/866.03 c | 1090797 | 2512 12617 40064 | 2147483647 50278 49 | 0.040 % |
866.33/866.73 c | 1091517 | 2512 12617 40064 | 2147483647 50998 50 | 0.040 % |
866.73/867.13 c | 1092309 | 2512 12617 40064 | 2147483647 51790 50 | 0.044 % |
867.54/867.95 c | 1093180 | 2512 12617 40064 | 2147483647 52661 50 | 0.040 % |
868.33/868.73 c | 1094139 | 2512 12617 40064 | 2147483647 53620 51 | 0.040 % |
869.23/869.64 c | 1095192 | 2512 12617 40064 | 2147483647 54673 50 | 0.040 % |
870.13/870.55 c | 1096350 | 2512 12617 40064 | 2147483647 55831 51 | 0.040 % |
871.13/871.55 c | 1097624 | 2512 12617 40064 | 2147483647 57105 51 | 0.040 % |
872.33/872.70 c | 1099024 | 2512 12617 40064 | 2147483647 58505 51 | 0.040 % |
873.13/873.52 c | 1100566 | 2512 12617 40064 | 59485 60047 51 | 0.042 % |
874.03/874.49 c | 1102263 | 2512 12617 40064 | 59485 55336 50 | 0.044 % |
875.73/876.10 c | 1104127 | 2512 12617 40064 | 59485 57200 50 | 0.040 % |
877.43/877.87 c | 1106176 | 2512 12617 40064 | 59485 59249 50 | 0.040 % |
879.53/879.93 c | 1108430 | 2512 12617 40064 | 59485 55527 48 | 0.040 % |
881.63/882.10 c | 1110908 | 2512 12617 40064 | 57100 51804 45 | 0.040 % |
884.13/884.50 c | 1113633 | 2512 12617 40064 | 57100 54529 44 | 0.040 % |
887.13/887.56 c | 1116631 | 2512 12617 40064 | 57100 57527 45 | 0.040 % |
890.32/890.75 c | 1119927 | 2512 12617 40064 | 57100 55071 43 | 0.040 % |
893.42/893.86 c | 1123552 | 2512 12617 40064 | 2147483647 58696 44 | 0.040 % |
896.13/896.51 c | 1127539 | 2512 12617 40064 | 2147483647 62683 44 | 0.042 % |
898.52/898.96 c | 1131927 | 2512 12617 40064 | 65144 58999 43 | 0.044 % |
902.92/903.34 c | 1136751 | 2512 12617 40064 | 65144 63823 44 | 0.040 % |
907.82/908.23 c | 1142056 | 2512 12617 40064 | 57333 51198 42 | 0.040 % |
910.42/910.90 c | 1147891 | 2512 12617 40064 | 57333 57033 43 | 0.042 % |
914.72/915.20 c | 1154309 | 2512 12617 40064 | 52340 50905 43 | 0.040 % |
920.42/920.89 c | 1161372 | 2512 12617 40064 | 2147483647 52685 45 | 0.040 % |
927.02/927.42 c | 1169137 | 2512 12617 40064 | 2147483647 60450 48 | 0.040 % |
935.31/935.77 c | 1177678 | 2512 12617 40064 | 61314 61157 50 | 0.040 % |
945.91/946.32 c | 1187072 | 2512 12617 40064 | 55691 55557 51 | 0.040 % |
951.31/951.74 c | 1197405 | 2512 12617 40064 | 51285 47454 47 | 0.042 % |
951.41/951.81 c | 1197505 | 2512 12617 40064 | 51285 47554 47 | 0.040 % |
951.41/951.88 c | 1197619 | 2512 12617 40064 | 51285 47668 47 | 0.044 % |
951.51/951.93 c | 1197741 | 2512 12617 40064 | 51285 47790 47 | 0.040 % |
951.61/952.03 c | 1197874 | 2512 12617 40064 | 51285 47923 47 | 0.040 % |
951.71/952.12 c | 1198020 | 2512 12617 40064 | 51285 48069 47 | 0.040 % |
951.71/952.18 c | 1198180 | 2512 12617 40064 | 51285 48229 47 | 0.042 % |
951.81/952.26 c | 1198358 | 2512 12617 40064 | 51285 48407 47 | 0.040 % |
951.91/952.38 c | 1198551 | 2512 12617 40064 | 51285 48600 47 | 0.040 % |
952.01/952.46 c | 1198763 | 2512 12617 40064 | 51285 48812 47 | 0.042 % |
952.11/952.59 c | 1198997 | 2512 12617 40064 | 51285 49046 47 | 0.040 % |
952.31/952.78 c | 1199253 | 2512 12617 40064 | 51285 49302 47 | 0.040 % |
952.51/952.95 c | 1199536 | 2512 12617 40064 | 51285 49585 48 | 0.040 % |
952.71/953.12 c | 1199846 | 2512 12617 40064 | 51285 49895 47 | 0.044 % |
952.91/953.33 c | 1200185 | 2512 12617 40064 | 2147483647 50234 48 | 0.040 % |
953.11/953.55 c | 1200558 | 2512 12617 40064 | 2147483647 50607 48 | 0.040 % |
953.41/953.82 c | 1200968 | 2512 12617 40064 | 2147483647 51017 48 | 0.042 % |
953.61/954.04 c | 1201417 | 2512 12617 40064 | 2147483647 51466 48 | 0.040 % |
954.01/954.40 c | 1201912 | 2512 12617 40064 | 2147483647 51961 48 | 0.040 % |
954.30/954.78 c | 1202454 | 2512 12617 40064 | 2147483647 52503 48 | 0.040 % |
954.80/955.27 c | 1203052 | 2512 12617 40064 | 2147483647 53101 48 | 0.040 % |
955.20/955.62 c | 1203707 | 2512 12617 40064 | 2147483647 53756 48 | 0.042 % |
955.61/956.01 c | 1204429 | 2512 12617 40064 | 2147483647 54478 48 | 0.040 % |
956.00/956.44 c | 1205222 | 2512 12617 40064 | 2147483647 55271 48 | 0.040 % |
956.50/957.00 c | 1206094 | 2512 12617 40064 | 2147483647 56143 48 | 0.040 % |
957.00/957.44 c | 1207054 | 2512 12617 40064 | 2147483647 57103 48 | 0.042 % |
957.40/957.83 c | 1208107 | 2512 12617 40064 | 2147483647 58156 48 | 0.044 % |
958.20/958.66 c | 1209267 | 2512 12617 40064 | 2147483647 59316 49 | 0.040 % |
959.60/960.09 c | 1210542 | 2512 12617 40064 | 2147483647 60591 49 | 0.040 % |
960.50/960.90 c | 1211943 | 2512 12617 40064 | 2147483647 61992 49 | 0.042 % |
961.40/961.82 c | 1213483 | 2512 12617 40064 | 2147483647 63532 49 | 0.040 % |
962.70/963.19 c | 1215178 | 2512 12617 40064 | 2147483647 65227 49 | 0.040 % |
964.30/964.78 c | 1217041 | 2512 12617 40064 | 2147483647 67090 50 | 0.040 % |
965.80/966.26 c | 1219091 | 2512 12617 40064 | 2147483647 69140 50 | 0.042 % |
967.00/967.49 c | 1221345 | 2512 12617 40064 | 70050 61060 47 | 0.044 % |
969.20/969.65 c | 1223824 | 2512 12617 40064 | 70050 63539 48 | 0.040 % |
971.70/972.19 c | 1226549 | 2512 12617 40064 | 70050 66264 48 | 0.040 % |
973.50/973.97 c | 1229546 | 2512 12617 40064 | 70050 69261 49 | 0.044 % |
975.90/976.36 c | 1232843 | 2512 12617 40064 | 69715 60268 46 | 0.042 % |
978.70/979.11 c | 1236468 | 2512 12617 40064 | 69715 63893 46 | 0.040 % |
982.19/982.60 c | 1240456 | 2512 12617 40064 | 67425 58015 46 | 0.040 % |
985.49/985.98 c | 1244841 | 2512 12617 40064 | 67425 62400 47 | 0.040 % |
989.60/990.10 c | 1249665 | 2512 12617 40064 | 67425 67224 48 | 0.040 % |
994.49/994.97 c | 1254972 | 2512 12617 40064 | 67559 61466 46 | 0.040 % |
999.59/1000.03 c | 1260809 | 2512 12617 40064 | 66494 57449 46 | 0.040 % |
1005.29/1005.73 c | 1267228 | 2512 12617 40064 | 66494 63868 47 | 0.040 % |
1011.59/1012.09 c | 1274287 | 2512 12617 40064 | 66643 60593 45 | 0.040 % |
1019.48/1019.94 c | 1282052 | 2512 12617 40064 | 66306 57897 46 | 0.040 % |
1024.79/1025.23 c | 1290592 | 2512 12617 40064 | 65848 66437 47 | 0.042 % |
1029.88/1030.30 c | 1299986 | 2512 12617 40064 | 65848 64790 49 | 0.044 % |
1038.38/1038.85 c | 1310319 | 2512 12617 40064 | 64228 64546 49 | 0.040 % |
1048.57/1049.01 c | 1321685 | 2512 12617 40064 | 64682 55903 50 | 0.040 % |
1048.67/1049.12 c | 1321785 | 2512 12617 40064 | 64682 56003 50 | 0.040 % |
1048.77/1049.22 c | 1321895 | 2512 12617 40064 | 64682 56113 50 | 0.040 % |
1048.87/1049.36 c | 1322016 | 2512 12617 40064 | 64682 56234 50 | 0.040 % |
1048.98/1049.43 c | 1322150 | 2512 12617 40064 | 64682 56368 50 | 0.042 % |
1048.98/1049.50 c | 1322297 | 2512 12617 40064 | 64682 56515 50 | 0.040 % |
1049.08/1049.59 c | 1322458 | 2512 12617 40064 | 64682 56676 50 | 0.040 % |
1049.27/1049.73 c | 1322634 | 2512 12617 40064 | 64682 56852 50 | 0.040 % |
1049.37/1049.82 c | 1322827 | 2512 12617 40064 | 64682 57045 50 | 0.040 % |
1049.47/1049.93 c | 1323039 | 2512 12617 40064 | 64682 57257 50 | 0.040 % |
1049.67/1050.11 c | 1323273 | 2512 12617 40064 | 64682 57491 50 | 0.044 % |
1049.87/1050.30 c | 1323530 | 2512 12617 40064 | 64682 57748 50 | 0.040 % |
1050.08/1050.52 c | 1323811 | 2512 12617 40064 | 64682 58029 50 | 0.042 % |
1050.27/1050.71 c | 1324120 | 2512 12617 40064 | 64682 58338 50 | 0.040 % |
1050.57/1051.06 c | 1324459 | 2512 12617 40064 | 64682 58677 50 | 0.040 % |
1051.07/1051.60 c | 1324831 | 2512 12617 40064 | 64682 59049 50 | 0.040 % |
1051.47/1051.97 c | 1325241 | 2512 12617 40064 | 64682 59459 50 | 0.040 % |
1051.97/1052.41 c | 1325691 | 2512 12617 40064 | 64682 59909 50 | 0.040 % |
1052.38/1052.85 c | 1326185 | 2512 12617 40064 | 64682 60403 51 | 0.040 % |
1052.97/1053.44 c | 1326727 | 2512 12617 40064 | 64682 60945 51 | 0.040 % |
1053.68/1054.12 c | 1327324 | 2512 12617 40064 | 64682 61542 51 | 0.040 % |
1054.18/1054.66 c | 1327979 | 2512 12617 40064 | 64682 62197 51 | 0.040 % |
1054.88/1055.31 c | 1328699 | 2512 12617 40064 | 64682 62917 51 | 0.040 % |
1055.48/1055.91 c | 1329492 | 2512 12617 40064 | 64682 63710 51 | 0.040 % |
1056.28/1056.76 c | 1330364 | 2512 12617 40064 | 64220 64582 51 | 0.040 % |
1057.18/1057.60 c | 1331322 | 2512 12617 40064 | 64220 56312 51 | 0.040 % |
1057.98/1058.48 c | 1332375 | 2512 12617 40064 | 64220 57365 51 | 0.040 % |
1058.88/1059.36 c | 1333534 | 2512 12617 40064 | 64220 58524 51 | 0.040 % |
1059.78/1060.21 c | 1334808 | 2512 12617 40064 | 64220 59798 51 | 0.044 % |
1060.98/1061.40 c | 1336208 | 2512 12617 40064 | 64220 61198 51 | 0.040 % |
1062.98/1063.44 c | 1337749 | 2512 12617 40064 | 64220 62739 52 | 0.040 % |
1064.88/1065.32 c | 1339445 | 2512 12617 40064 | 64220 64435 52 | 0.040 % |
1066.68/1067.11 c | 1341311 | 2512 12617 40064 | 55321 48726 45 | 0.040 % |
1068.38/1068.81 c | 1343363 | 2512 12617 40064 | 55321 50778 44 | 0.040 % |
1070.18/1070.63 c | 1345616 | 2512 12617 40064 | 55321 53031 45 | 0.040 % |
1072.38/1072.86 c | 1348095 | 2512 12617 40064 | 55321 55510 46 | 0.040 % |
1073.68/1074.19 c | 1350821 | 2512 12617 40064 | 2147483647 52685 44 | 0.044 % |
1076.07/1076.59 c | 1353820 | 2512 12617 40064 | 2147483647 55684 46 | 0.040 % |
1079.37/1079.80 c | 1357116 | 2512 12617 40064 | 2147483647 58980 46 | 0.040 % |
1083.77/1084.23 c | 1360741 | 2512 12617 40064 | 61864 53515 44 | 0.040 % |
1087.37/1087.85 c | 1364729 | 2512 12617 40064 | 61864 57503 45 | 0.040 % |
1091.88/1092.35 c | 1369114 | 2512 12617 40064 | 61864 61888 45 | 0.040 % |
1095.97/1096.44 c | 1373937 | 2512 12617 40064 | 53626 49726 41 | 0.040 % |
1100.87/1101.38 c | 1379242 | 2512 12617 40064 | 53626 48281 41 | 0.040 % |
1105.97/1106.46 c | 1385077 | 2512 12617 40064 | 49041 47993 41 | 0.040 % |
1109.16/1109.60 c | 1391496 | 2512 12617 40064 | 2147483647 49350 41 | 0.042 % |
1112.96/1113.43 c | 1398555 | 2512 12617 40064 | 2147483647 56409 42 | 0.040 % |
1117.86/1118.39 c | 1406323 | 2512 12617 40064 | 2147483647 64177 42 | 0.042 % |
1125.66/1126.16 c | 1414864 | 2512 12617 40064 | 67854 63461 42 | 0.040 % |
1133.96/1134.46 c | 1424259 | 2512 12617 40064 | 58187 53998 41 | 0.040 % |
1142.26/1142.73 c | 1434592 | 2512 12617 40064 | 53346 51926 42 | 0.040 % |
1147.35/1147.82 c | 1445959 | 2512 12617 40064 | 50390 49912 46 | 0.044 % |
1158.45/1158.93 c | 1458461 | 2512 12617 40064 | 2147483647 57352 50 | 0.040 % |
1158.55/1159.08 c | 1458562 | 2512 12617 40064 | 2147483647 57453 50 | 0.040 % |
1158.65/1159.14 c | 1458672 | 2512 12617 40064 | 2147483647 57563 50 | 0.042 % |
1158.75/1159.20 c | 1458793 | 2512 12617 40064 | 2147483647 57684 50 | 0.040 % |
1158.75/1159.29 c | 1458926 | 2512 12617 40064 | 2147483647 57817 50 | 0.040 % |
1158.85/1159.40 c | 1459072 | 2512 12617 40064 | 2147483647 57963 50 | 0.040 % |
1159.05/1159.52 c | 1459233 | 2512 12617 40064 | 2147483647 58124 50 | 0.042 % |
1159.15/1159.64 c | 1459409 | 2512 12617 40064 | 2147483647 58300 50 | 0.040 % |
1159.35/1159.81 c | 1459604 | 2512 12617 40064 | 2147483647 58495 50 | 0.040 % |
1159.45/1159.97 c | 1459816 | 2512 12617 40064 | 2147483647 58707 50 | 0.040 % |
1159.75/1160.21 c | 1460049 | 2512 12617 40064 | 58891 58940 50 | 0.040 % |
1160.05/1160.53 c | 1460306 | 2512 12617 40064 | 58891 51882 49 | 0.044 % |
1160.15/1160.66 c | 1460587 | 2512 12617 40064 | 58891 52163 49 | 0.040 % |
1160.35/1160.81 c | 1460896 | 2512 12617 40064 | 58891 52472 49 | 0.042 % |
1160.55/1161.04 c | 1461235 | 2512 12617 40064 | 58891 52811 49 | 0.040 % |
1160.65/1161.14 c | 1461607 | 2512 12617 40064 | 58891 53183 49 | 0.040 % |
1160.85/1161.37 c | 1462016 | 2512 12617 40064 | 58891 53592 49 | 0.040 % |
1161.15/1161.60 c | 1462468 | 2512 12617 40064 | 58891 54044 49 | 0.044 % |
1161.35/1161.81 c | 1462962 | 2512 12617 40064 | 58891 54538 49 | 0.040 % |
1161.75/1162.23 c | 1463506 | 2512 12617 40064 | 58891 55082 48 | 0.040 % |
1162.05/1162.55 c | 1464103 | 2512 12617 40064 | 58891 55679 48 | 0.041 % |
1162.35/1162.87 c | 1464758 | 2512 12617 40064 | 58891 56334 49 | 0.040 % |
1162.85/1163.34 c | 1465478 | 2512 12617 40064 | 58891 57054 49 | 0.040 % |
1163.25/1163.70 c | 1466270 | 2512 12617 40064 | 58891 57846 49 | 0.040 % |
1163.85/1164.36 c | 1467142 | 2512 12617 40064 | 58891 58718 49 | 0.040 % |
1164.65/1165.16 c | 1468100 | 2512 12617 40064 | 58891 53718 49 | 0.040 % |
1165.45/1165.91 c | 1469155 | 2512 12617 40064 | 58891 54773 49 | 0.040 % |
1166.55/1167.10 c | 1470316 | 2512 12617 40064 | 2147483647 55934 49 | 0.040 % |
1167.65/1168.19 c | 1471589 | 2512 12617 40064 | 2147483647 57207 50 | 0.040 % |
1168.55/1169.01 c | 1472989 | 2512 12617 40064 | 2147483647 58607 49 | 0.042 % |
1169.85/1170.34 c | 1474532 | 2512 12617 40064 | 2147483647 60150 50 | 0.040 % |
1170.95/1171.46 c | 1476227 | 2512 12617 40064 | 2147483647 61845 50 | 0.044 % |
1172.44/1172.90 c | 1478090 | 2512 12617 40064 | 2147483647 63708 49 | 0.040 % |
1173.54/1174.04 c | 1480140 | 2512 12617 40064 | 65620 65758 49 | 0.042 % |
1175.64/1176.19 c | 1482394 | 2512 12617 40064 | 65620 61124 47 | 0.040 % |
1177.94/1178.42 c | 1484873 | 2512 12617 40064 | 65620 63603 48 | 0.040 % |
1180.84/1181.31 c | 1487598 | 2512 12617 40064 | 65620 57601 45 | 0.040 % |
1183.04/1183.51 c | 1490596 | 2512 12617 40064 | 60003 52067 43 | 0.044 % |
1184.74/1185.29 c | 1493892 | 2512 12617 40064 | 60003 55363 43 | 0.042 % |
1186.94/1187.46 c | 1497517 | 2512 12617 40064 | 60003 58988 44 | 0.040 % |
1189.24/1189.72 c | 1501505 | 2512 12617 40064 | 53156 47493 39 | 0.044 % |
1192.04/1192.54 c | 1505890 | 2512 12617 40064 | 53156 51878 40 | 0.042 % |
1195.64/1196.18 c | 1510714 | 2512 12617 40064 | 2147483647 51347 39 | 0.040 % |
1200.04/1200.51 HOME/SatELiteGTI: line 36: 12100 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832047-1242768849/watcher-1832047-1242768849 -o /tmp/evaluation-result-1832047-1242768849/solver-1832047-1242768849 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832047-1242768849.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 12094
/proc/meminfo: memFree=1937520/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0
/proc/12094/stat : 12094 (SatELiteGTI) R 12092 12094 11908 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 304913482 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 4459254 0 0 4100 65536 0 0 0 17 0 0 0
/proc/12094/statm: 1339 237 197 169 0 50 0
[startup+0.108769 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 12094
/proc/meminfo: memFree=1937520/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304913482 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12094/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.201781 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 12094
/proc/meminfo: memFree=1937520/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356
[startup+0.301791 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 12094
/proc/meminfo: memFree=1937520/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356
[startup+0.701832 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 12094
/proc/meminfo: memFree=1937520/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356
[startup+1.50191 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12100
/proc/meminfo: memFree=1934688/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=3592 CPUtime=1.35
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 601 0 0 0 135 0 0 0 25 0 1 0 304913495 3678208 587 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 898 587 77 171 0 725 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8948
[startup+3.10207 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12100
/proc/meminfo: memFree=1933920/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=5320 CPUtime=2.95
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 1011 0 0 0 295 0 0 0 25 0 1 0 304913495 5447680 997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 1330 997 77 171 0 1157 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10676
[startup+6.30139 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12100
/proc/meminfo: memFree=1930848/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=7724 CPUtime=6.14
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 1636 0 0 0 613 1 0 0 25 0 1 0 304913495 7909376 1622 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 1931 1622 77 171 0 1758 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 13080
[startup+12.701 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12100
/proc/meminfo: memFree=1927136/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=11192 CPUtime=12.54
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 2487 0 0 0 1252 2 0 0 25 0 1 0 304913495 11460608 2473 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 2798 2473 77 171 0 2625 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 16548
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12100
/proc/meminfo: memFree=1921952/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=16176 CPUtime=25.32
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 3734 0 0 0 2529 3 0 0 25 0 1 0 304913495 16564224 3720 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 4044 3720 77 171 0 3871 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 21532
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12100
/proc/meminfo: memFree=1918048/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=20116 CPUtime=50.91
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 4675 0 0 0 5086 5 0 0 25 0 1 0 304913495 20598784 4661 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5029 4661 77 171 0 4856 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 25472
[startup+102.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12100
/proc/meminfo: memFree=1917792/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=20284 CPUtime=102.08
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 4735 0 0 0 10203 5 0 0 25 0 1 0 304913495 20770816 4721 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5071 4721 77 171 0 4898 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 25640
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12100
/proc/meminfo: memFree=1917536/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=20496 CPUtime=162.06
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 4760 0 0 0 16200 6 0 0 25 0 1 0 304913495 20987904 4746 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5124 4746 77 171 0 4951 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 25852
[startup+222.305 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12100
/proc/meminfo: memFree=1917280/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=20660 CPUtime=222.03
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 4795 0 0 0 22197 6 0 0 25 0 1 0 304913495 21155840 4781 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5165 4781 77 171 0 4992 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 26016
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12100
/proc/meminfo: memFree=1917216/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=20660 CPUtime=282
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 4801 0 0 0 28194 6 0 0 25 0 1 0 304913495 21155840 4787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5165 4787 77 171 0 4992 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 26016
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12100
/proc/meminfo: memFree=1916960/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=20660 CPUtime=341.99
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 4827 0 0 0 34192 7 0 0 25 0 1 0 304913495 21155840 4813 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5165 4813 77 171 0 4992 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 26016
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12100
/proc/meminfo: memFree=1916768/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=20872 CPUtime=401.96
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 4850 0 0 0 40189 7 0 0 25 0 1 0 304913495 21372928 4836 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5218 4836 77 171 0 5045 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 26228
[startup+462.302 s]
################
# More data... #
################
[pid=12100] ppid=12094 vsize=20872 CPUtime=461.94
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 4852 0 0 0 46187 7 0 0 25 0 1 0 304913495 21372928 4838 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5218 4838 77 171 0 5045 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 26228
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12100
/proc/meminfo: memFree=1916576/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=20872 CPUtime=521.92
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 4852 0 0 0 52184 8 0 0 25 0 1 0 304913495 21372928 4838 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5218 4838 77 171 0 5045 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 26228
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12102
/proc/meminfo: memFree=1916064/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=21136 CPUtime=581.9
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 4921 0 0 0 58182 8 0 0 25 0 1 0 304913495 21643264 4907 1992294400 134512640 135215339 4294956240 18446744073709551615 134539156 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5284 4907 77 171 0 5111 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 26492
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12102
/proc/meminfo: memFree=1916064/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=21136 CPUtime=641.88
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 4930 0 0 0 64180 8 0 0 25 0 1 0 304913495 21643264 4916 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5284 4916 77 171 0 5111 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 26492
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12102
/proc/meminfo: memFree=1916000/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=21136 CPUtime=701.86
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 4931 0 0 0 70178 8 0 0 25 0 1 0 304913495 21643264 4917 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5284 4917 77 171 0 5111 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 26492
[startup+762.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12102
/proc/meminfo: memFree=1915808/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=21284 CPUtime=761.84
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 4960 0 0 0 76176 8 0 0 25 0 1 0 304913495 21794816 4946 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5321 4946 77 171 0 5148 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 26640
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12102
/proc/meminfo: memFree=1915552/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=21448 CPUtime=821.83
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 5001 0 0 0 82174 9 0 0 25 0 1 0 304913495 21962752 4987 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5362 4987 77 171 0 5189 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 26804
[startup+882.306 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12102
/proc/meminfo: memFree=1915488/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=21448 CPUtime=881.81
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 5006 0 0 0 88172 9 0 0 25 0 1 0 304913495 21962752 4992 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5362 4992 77 171 0 5189 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 26804
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12102
/proc/meminfo: memFree=1915360/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=21448 CPUtime=941.79
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 5006 0 0 0 94170 9 0 0 25 0 1 0 304913495 21962752 4992 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5362 4992 77 171 0 5189 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 26804
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12102
/proc/meminfo: memFree=1914272/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=22504 CPUtime=1001.77
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 5268 0 0 0 100168 9 0 0 25 0 1 0 304913495 23044096 5254 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5626 5254 77 171 0 5453 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 27860
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12102
/proc/meminfo: memFree=1914144/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=22504 CPUtime=1061.76
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 5268 0 0 0 106166 10 0 0 25 0 1 0 304913495 23044096 5254 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5626 5254 77 171 0 5453 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 27860
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12102
/proc/meminfo: memFree=1914016/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=22504 CPUtime=1121.74
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 5272 0 0 0 112164 10 0 0 25 0 1 0 304913495 23044096 5258 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5626 5258 77 171 0 5453 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 27860
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12102
/proc/meminfo: memFree=1913824/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=22668 CPUtime=1181.72
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 5300 0 0 0 118162 10 0 0 25 0 1 0 304913495 23212032 5286 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5667 5286 77 171 0 5494 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 28024
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12102
/proc/meminfo: memFree=1913760/2055920 swapFree=4180540/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.12
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11908 0 -1 4194304 336 1081 0 0 0 0 12 0 16 0 1 0 304913482 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=22668 CPUtime=1199.92
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11908 0 -1 4194304 5300 0 0 0 119982 10 0 0 25 0 1 0 304913495 23212032 5286 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5667 5286 77 171 0 5494 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 28024
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.07
CPU user time (s): 1199.95
CPU system time (s): 0.116982
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 28024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.95
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6726
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= 28
involuntary context switches= 4971
runsolver used 1.37979 second user time and 3.13652 second system time
The end
Begin job on node36 at 2009-05-19 23:34:09
IDJOB=1832047
IDBENCH=20400
IDSOLVER=671
FILE ID=node36/1832047-1242768849
PBS_JOBID= 9322262
Free space on /tmp= 66388 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-08.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832047-1242768849/watcher-1832047-1242768849 -o /tmp/evaluation-result-1832047-1242768849/solver-1832047-1242768849 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832047-1242768849.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 81ed5ec4a2e7c208a4184383f9e53838
RANDOM SEED=1691276097
node36.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1938064 kB
Buffers: 9696 kB
Cached: 70792 kB
SwapCached: 6552 kB
Active: 34928 kB
Inactive: 54308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1938064 kB
SwapTotal: 4192956 kB
SwapFree: 4180540 kB
Dirty: 1832 kB
Writeback: 0 kB
Mapped: 13960 kB
Slab: 14780 kB
Committed_AS: 1040164 kB
PageTables: 1372 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66388 MiB
End job on node36 at 2009-05-19 23:54:12