0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 16800 50400 | 5039 0 0 nan | 0.000 % |
0.00/0.05 c | 0 | 16664 50616 | -- 0 -- -- | -- | -136/216
0.00/0.05 c ==============================================================================
0.00/0.05 c Result : #vars: 3896 #clauses: 16664 #literals: 50616
0.00/0.05 c CPU time: 0.049992 s
0.00/0.05 c ==============================================================================
0.00/0.07 c This is MiniSat 2.0 beta
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c ============================[ Problem Statistics ]=============================
0.00/0.07 c | |
0.00/0.07 c | Number of variables: 3896 |
0.00/0.07 c | Number of clauses: 16664 |
0.00/0.08 c | Parsing time: 0.01 s |
0.00/0.08 c ============================[ Search Statistics ]==============================
0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.08 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.08 c ===============================================================================
0.00/0.09 c | 0 | 3896 16664 50616 | 5554 0 nan | 0.000 % |
0.06/0.10 c | 100 | 3896 16664 50616 | 5554 100 89 | 0.000 % |
0.06/0.11 c | 200 | 3896 16664 50616 | 5554 200 83 | 0.000 % |
0.06/0.12 c | 300 | 3896 16664 50616 | 5554 300 80 | 0.000 % |
0.06/0.13 c | 411 | 3896 16664 50616 | 5554 411 82 | 0.000 % |
0.06/0.15 c | 511 | 3896 16664 50616 | 5554 511 83 | 0.000 % |
0.06/0.16 c | 621 | 3896 16664 50616 | 5554 621 83 | 0.000 % |
0.06/0.17 c | 743 | 3896 16664 50616 | 5554 743 85 | 0.000 % |
0.06/0.19 c | 843 | 3896 16664 50616 | 5554 843 85 | 0.000 % |
0.06/0.20 c | 953 | 3896 16664 50616 | 5554 953 84 | 0.000 % |
0.06/0.21 c | 1074 | 3896 16664 50616 | 5554 1074 84 | 0.000 % |
0.06/0.23 c | 1207 | 3896 16664 50616 | 5554 1207 83 | 0.000 % |
0.06/0.24 c | 1311 | 3896 16664 50616 | 5554 1311 82 | 0.000 % |
0.06/0.25 c | 1422 | 3896 16664 50616 | 5554 1422 83 | 0.000 % |
0.06/0.27 c | 1543 | 3896 16664 50616 | 5554 1543 83 | 0.000 % |
0.06/0.28 c | 1679 | 3896 16664 50616 | 5554 1679 83 | 0.000 % |
0.06/0.30 c | 1825 | 3896 16664 50616 | 5554 1825 86 | 0.000 % |
0.06/0.32 c | 1927 | 3896 16664 50616 | 5554 1927 86 | 0.000 % |
0.06/0.33 c | 2040 | 3896 16664 50616 | 5554 2040 86 | 0.000 % |
0.06/0.35 c | 2163 | 3896 16664 50616 | 5554 2163 86 | 0.000 % |
0.06/0.36 c | 2297 | 3896 16664 50616 | 5554 2297 87 | 0.000 % |
0.06/0.38 c | 2445 | 3896 16664 50616 | 5554 2445 87 | 0.000 % |
0.06/0.40 c | 2606 | 3896 16664 50616 | 5554 2606 87 | 0.000 % |
0.06/0.41 c | 2706 | 3896 16664 50616 | 5554 2706 87 | 0.000 % |
0.06/0.43 c | 2816 | 3896 16664 50616 | 5554 2816 87 | 0.000 % |
0.06/0.44 c | 2941 | 3896 16664 50616 | 5554 2941 88 | 0.000 % |
0.06/0.46 c | 3074 | 3896 16664 50616 | 5554 3074 89 | 0.000 % |
0.06/0.49 c | 3220 | 3896 16664 50616 | 5554 3220 89 | 0.000 % |
0.06/0.51 c | 3382 | 3896 16664 50616 | 5554 3382 89 | 0.000 % |
0.06/0.53 c | 3558 | 3896 16664 50616 | 5554 3558 89 | 0.000 % |
0.06/0.54 c | 3658 | 3896 16664 50616 | 5554 3658 89 | 0.000 % |
0.06/0.56 c | 3768 | 3896 16664 50616 | 5554 3768 89 | 0.000 % |
0.06/0.58 c | 3890 | 3896 16664 50616 | 5554 3890 89 | 0.000 % |
0.06/0.60 c | 4023 | 3896 16664 50616 | 5554 4023 89 | 0.000 % |
0.06/0.62 c | 4170 | 3896 16664 50616 | 5554 4170 89 | 0.000 % |
0.06/0.64 c | 4330 | 3896 16664 50616 | 5554 4330 89 | 0.000 % |
0.06/0.66 c | 4506 | 3896 16664 50616 | 5554 4506 89 | 0.000 % |
0.06/0.69 c | 4699 | 3896 16664 50616 | 5554 4699 89 | 0.000 % |
0.06/0.71 c | 4800 | 3896 16664 50616 | 5554 4800 89 | 0.000 % |
0.06/0.72 c | 4910 | 3896 16664 50616 | 5554 4910 90 | 0.000 % |
0.06/0.74 c | 5032 | 3896 16664 50616 | 5554 5032 90 | 0.000 % |
0.06/0.76 c | 5166 | 3896 16664 50616 | 5554 5166 89 | 0.000 % |
0.06/0.78 c | 5313 | 3896 16664 50616 | 5554 5313 89 | 0.000 % |
0.06/0.80 c | 5474 | 3896 16664 50616 | 5554 5474 89 | 0.000 % |
0.06/0.83 c | 5653 | 3896 16664 50616 | 5554 5653 89 | 0.000 % |
0.06/0.86 c | 5847 | 3896 16664 50616 | 5554 5282 88 | 0.000 % |
0.06/0.89 c | 6059 | 3896 16664 50616 | 5554 5494 88 | 0.000 % |
0.06/0.90 c | 6160 | 3896 16664 50616 | 5554 5595 88 | 0.000 % |
0.06/0.92 c | 6271 | 3896 16664 50616 | 5554 5147 88 | 0.000 % |
0.06/0.94 c | 6392 | 3896 16664 50616 | 5554 5268 88 | 0.000 % |
0.06/0.96 c | 6525 | 3896 16664 50616 | 5554 5401 88 | 0.000 % |
0.06/0.98 c | 6672 | 3896 16664 50616 | 5554 5548 88 | 0.000 % |
0.96/1.01 c | 6833 | 3896 16664 50616 | 5554 5709 88 | 0.000 % |
0.96/1.04 c | 7011 | 3896 16664 50616 | 5554 5317 89 | 0.000 % |
0.96/1.07 c | 7207 | 3896 16664 50616 | 5554 5513 89 | 0.000 % |
1.06/1.10 c | 7419 | 3896 16664 50616 | 5554 5725 89 | 0.000 % |
1.06/1.14 c | 7652 | 3896 16664 50616 | 5554 5386 88 | 0.000 % |
1.06/1.16 c | 7753 | 3896 16664 50616 | 5554 5487 88 | 0.000 % |
1.06/1.18 c | 7863 | 3896 16664 50616 | 5554 5597 88 | 0.000 % |
1.16/1.20 c | 7988 | 3896 16664 50616 | 5554 5163 88 | 0.000 % |
1.16/1.22 c | 8121 | 3896 16664 50616 | 5554 5296 88 | 0.000 % |
1.16/1.24 c | 8268 | 3896 16664 50616 | 5554 5443 87 | 0.000 % |
1.16/1.26 c | 8429 | 3896 16664 50616 | 5554 5604 88 | 0.000 % |
1.16/1.29 c | 8607 | 3896 16664 50616 | 5554 5222 87 | 0.000 % |
1.26/1.32 c | 8802 | 3896 16664 50616 | 5554 5417 87 | 0.000 % |
1.26/1.36 c | 9014 | 3896 16664 50616 | 5554 5629 88 | 0.000 % |
1.26/1.40 c | 9247 | 3896 16664 50616 | 5554 5300 87 | 0.000 % |
1.36/1.43 c | 9503 | 3896 16664 50616 | 5554 5556 87 | 0.000 % |
1.36/1.45 c | 9603 | 3896 16664 50616 | 5554 5101 87 | 0.000 % |
1.36/1.47 c | 9713 | 3896 16664 50616 | 5554 5211 87 | 0.000 % |
1.36/1.49 c | 9834 | 3896 16664 50616 | 5554 5332 87 | 0.000 % |
1.46/1.51 c | 9967 | 3896 16664 50616 | 5554 5465 88 | 0.000 % |
1.46/1.53 c | 10113 | 3896 16664 50616 | 2147483647 5611 88 | 0.000 % |
1.46/1.56 c | 10274 | 3896 16664 50616 | 2147483647 5772 88 | 0.000 % |
1.46/1.58 c | 10453 | 3896 16664 50616 | 2147483647 5951 88 | 0.000 % |
1.56/1.62 c | 10646 | 3896 16664 50616 | 2147483647 6144 89 | 0.000 % |
1.56/1.65 c | 10860 | 3896 16664 50616 | 2147483647 6358 90 | 0.000 % |
1.56/1.68 c | 11093 | 3896 16664 50616 | 2147483647 6591 90 | 0.000 % |
1.66/1.73 c | 11349 | 3896 16664 50616 | 2147483647 6847 90 | 0.000 % |
1.66/1.78 c | 11633 | 3896 16664 50616 | 2147483647 7131 91 | 0.000 % |
1.66/1.79 c | 11737 | 3896 16664 50616 | 2147483647 7235 91 | 0.000 % |
1.76/1.81 c | 11847 | 3896 16664 50616 | 2147483647 7345 91 | 0.000 % |
1.76/1.83 c | 11968 | 3896 16664 50616 | 2147483647 7466 91 | 0.000 % |
1.76/1.85 c | 12101 | 3896 16664 50616 | 2147483647 7599 91 | 0.000 % |
1.76/1.88 c | 12247 | 3896 16664 50616 | 2147483647 7745 91 | 0.000 % |
1.87/1.91 c | 12407 | 3896 16664 50616 | 2147483647 7905 91 | 0.000 % |
1.87/1.94 c | 12583 | 3896 16664 50616 | 2147483647 8081 91 | 0.000 % |
1.87/1.97 c | 12776 | 3896 16664 50616 | 2147483647 8274 92 | 0.000 % |
1.97/2.01 c | 12988 | 3896 16664 50616 | 2147483647 8486 92 | 0.000 % |
1.97/2.05 c | 13223 | 3896 16664 50616 | 2147483647 8721 92 | 0.000 % |
1.97/2.09 c | 13479 | 3896 16664 50616 | 2147483647 8977 92 | 0.000 % |
2.07/2.14 c | 13761 | 3896 16664 50616 | 2147483647 9259 92 | 0.000 % |
2.07/2.20 c | 14073 | 3896 16664 50616 | 2147483647 9571 93 | 0.000 % |
2.17/2.22 c | 14173 | 3896 16664 50616 | 2147483647 9671 93 | 0.000 % |
2.17/2.24 c | 14283 | 3896 16664 50616 | 2147483647 9781 93 | 0.000 % |
2.17/2.26 c | 14405 | 3896 16664 50616 | 2147483647 9903 93 | 0.000 % |
2.17/2.29 c | 14539 | 3896 16664 50616 | 2147483647 10037 93 | 0.000 % |
2.27/2.32 c | 14686 | 3896 16664 50616 | 2147483647 10184 93 | 0.000 % |
2.27/2.34 c | 14846 | 3896 16664 50616 | 2147483647 10344 93 | 0.000 % |
2.27/2.38 c | 15022 | 3896 16664 50616 | 2147483647 10520 93 | 0.000 % |
2.37/2.41 c | 15216 | 3896 16664 50616 | 2147483647 10714 93 | 0.000 % |
2.37/2.45 c | 15429 | 3896 16664 50616 | 2147483647 10927 93 | 0.000 % |
2.37/2.50 c | 15662 | 3896 16664 50616 | 2147483647 11160 93 | 0.000 % |
2.47/2.54 c | 15918 | 3896 16664 50616 | 2147483647 11416 93 | 0.000 % |
2.47/2.60 c | 16202 | 3896 16664 50616 | 2147483647 11700 93 | 0.000 % |
2.57/2.65 c | 16511 | 3896 16664 50616 | 2147483647 12009 93 | 0.000 % |
2.67/2.72 c | 16853 | 3896 16664 50616 | 2147483647 12351 93 | 0.000 % |
2.67/2.74 c | 16955 | 3896 16664 50616 | 2147483647 12453 93 | 0.000 % |
2.67/2.76 c | 17066 | 3896 16664 50616 | 2147483647 12564 93 | 0.000 % |
2.67/2.79 c | 17187 | 3896 16664 50616 | 2147483647 12685 93 | 0.000 % |
2.77/2.81 c | 17320 | 3896 16664 50616 | 2147483647 12818 93 | 0.000 % |
2.77/2.84 c | 17466 | 3896 16664 50616 | 2147483647 12964 93 | 0.000 % |
2.77/2.88 c | 17626 | 3896 16664 50616 | 2147483647 13124 93 | 0.000 % |
2.87/2.91 c | 17802 | 3896 16664 50616 | 2147483647 13300 93 | 0.000 % |
2.87/2.95 c | 17995 | 3896 16664 50616 | 2147483647 13493 93 | 0.000 % |
2.97/3.00 c | 18210 | 3896 16664 50616 | 2147483647 13708 94 | 0.000 % |
2.97/3.05 c | 18443 | 3896 16664 50616 | 2147483647 13941 94 | 0.000 % |
3.07/3.10 c | 18699 | 3896 16664 50616 | 2147483647 14197 94 | 0.000 % |
3.07/3.16 c | 18980 | 3896 16664 50616 | 2147483647 14478 94 | 0.000 % |
3.17/3.22 c | 19291 | 3896 16664 50616 | 2147483647 14789 94 | 0.000 % |
3.17/3.29 c | 19631 | 3896 16664 50616 | 2147483647 15129 94 | 0.000 % |
3.27/3.37 c | 20004 | 3896 16664 50616 | 2147483647 15502 94 | 0.000 % |
3.27/3.39 c | 20104 | 3896 16664 50616 | 2147483647 15602 94 | 0.000 % |
3.37/3.42 c | 20215 | 3896 16664 50616 | 2147483647 15713 95 | 0.000 % |
3.37/3.45 c | 20336 | 3896 16664 50616 | 2147483647 15834 95 | 0.000 % |
3.37/3.48 c | 20470 | 3896 16664 50616 | 2147483647 15968 95 | 0.000 % |
3.47/3.51 c | 20617 | 3896 16664 50616 | 2147483647 16115 95 | 0.000 % |
3.47/3.55 c | 20778 | 3896 16664 50616 | 2147483647 16276 95 | 0.000 % |
3.47/3.59 c | 20955 | 3896 16664 50616 | 2147483647 16453 95 | 0.000 % |
3.57/3.63 c | 21148 | 3896 16664 50616 | 2147483647 16646 95 | 0.000 % |
3.57/3.68 c | 21363 | 3896 16664 50616 | 2147483647 16861 94 | 0.000 % |
3.67/3.73 c | 21596 | 3896 16664 50616 | 2147483647 17094 94 | 0.000 % |
3.67/3.79 c | 21852 | 3896 16664 50616 | 2147483647 17350 95 | 0.000 % |
3.77/3.85 c | 22134 | 3896 16664 50616 | 2147483647 17632 95 | 0.000 % |
3.87/3.92 c | 22443 | 3896 16664 50616 | 2147483647 17941 95 | 0.000 % |
3.97/4.00 c | 22783 | 3896 16664 50616 | 2147483647 18281 95 | 0.000 % |
3.97/4.09 c | 23155 | 3896 16664 50616 | 2147483647 18653 95 | 0.000 % |
4.07/4.19 c | 23564 | 3896 16664 50616 | 2147483647 19062 95 | 0.000 % |
4.17/4.22 c | 23667 | 3896 16664 50616 | 2147483647 19165 95 | 0.000 % |
4.17/4.25 c | 23779 | 3896 16664 50616 | 2147483647 19277 95 | 0.000 % |
4.17/4.28 c | 23900 | 3896 16664 50616 | 2147483647 19398 95 | 0.000 % |
4.27/4.31 c | 24033 | 3896 16664 50616 | 2147483647 19531 95 | 0.000 % |
4.27/4.35 c | 24179 | 3896 16664 50616 | 2147483647 19677 95 | 0.000 % |
4.27/4.39 c | 24339 | 3896 16664 50616 | 2147483647 19837 95 | 0.000 % |
4.37/4.44 c | 24516 | 3896 16664 50616 | 2147483647 20014 95 | 0.000 % |
4.37/4.49 c | 24710 | 3896 16664 50616 | 2147483647 20208 96 | 0.000 % |
4.46/4.54 c | 24924 | 3896 16664 50616 | 2147483647 20422 96 | 0.000 % |
4.46/4.60 c | 25158 | 3896 16664 50616 | 2147483647 20656 96 | 0.000 % |
4.56/4.66 c | 25416 | 3896 16664 50616 | 2147483647 20914 96 | 0.000 % |
4.66/4.73 c | 25697 | 3896 16664 50616 | 2147483647 21195 96 | 0.000 % |
4.76/4.80 c | 26006 | 3896 16664 50616 | 2147483647 21504 96 | 0.000 % |
4.76/4.89 c | 26345 | 3896 16664 50616 | 2147483647 21843 96 | 0.000 % |
4.87/4.98 c | 26719 | 3896 16664 50616 | 2147483647 22217 96 | 0.000 % |
4.97/5.09 c | 27131 | 3896 16664 50616 | 2147483647 22629 97 | 0.000 % |
5.17/5.21 c | 27581 | 3896 16664 50616 | 2147483647 23079 97 | 0.000 % |
5.17/5.23 c | 27682 | 3896 16664 50616 | 2147483647 23180 97 | 0.000 % |
5.17/5.26 c | 27794 | 3896 16664 50616 | 2147483647 23292 97 | 0.000 % |
5.27/5.30 c | 27916 | 3896 16664 50616 | 2147483647 23414 97 | 0.000 % |
5.27/5.34 c | 28050 | 3896 16664 50616 | 2147483647 23548 97 | 0.000 % |
5.27/5.39 c | 28198 | 3896 16664 50616 | 2147483647 23696 97 | 0.000 % |
5.37/5.43 c | 28361 | 3896 16664 50616 | 2147483647 23859 97 | 0.000 % |
5.37/5.48 c | 28538 | 3896 16664 50616 | 2147483647 24036 97 | 0.000 % |
5.47/5.54 c | 28731 | 3896 16664 50616 | 2147483647 24229 97 | 0.000 % |
5.47/5.59 c | 28943 | 3896 16664 50616 | 2147483647 24441 97 | 0.000 % |
5.57/5.65 c | 29176 | 3896 16664 50616 | 2147483647 24674 97 | 0.000 % |
5.67/5.72 c | 29433 | 3896 16664 50616 | 2147483647 24931 97 | 0.000 % |
5.67/5.80 c | 29716 | 3896 16664 50616 | 2147483647 25214 97 | 0.000 % |
5.77/5.89 c | 30026 | 3896 16664 50616 | 2147483647 25524 97 | 0.000 % |
5.87/5.99 c | 30366 | 3896 16664 50616 | 2147483647 25864 97 | 0.000 % |
5.97/6.09 c | 30740 | 3896 16664 50616 | 2147483647 26238 98 | 0.000 % |
6.17/6.21 c | 31149 | 3896 16664 50616 | 2147483647 26647 98 | 0.000 % |
6.27/6.33 c | 31598 | 3896 16664 50616 | 2147483647 27096 98 | 0.000 % |
6.37/6.48 c | 32094 | 3896 16664 50616 | 2147483647 27592 98 | 0.000 % |
6.47/6.51 c | 32195 | 3896 16664 50616 | 2147483647 27693 98 | 0.000 % |
6.47/6.55 c | 32309 | 3896 16664 50616 | 2147483647 27807 98 | 0.000 % |
6.47/6.58 c | 32431 | 3896 16664 50616 | 2147483647 27929 98 | 0.000 % |
6.57/6.62 c | 32564 | 3896 16664 50616 | 2147483647 28062 98 | 0.000 % |
6.57/6.67 c | 32711 | 3896 16664 50616 | 2147483647 28209 97 | 0.000 % |
6.66/6.72 c | 32871 | 3896 16664 50616 | 2147483647 28369 97 | 0.000 % |
6.66/6.77 c | 33048 | 3896 16664 50616 | 2147483647 28546 97 | 0.000 % |
6.76/6.83 c | 33242 | 3896 16664 50616 | 2147483647 28740 97 | 0.000 % |
6.76/6.89 c | 33455 | 3896 16664 50616 | 2147483647 28953 97 | 0.000 % |
6.86/6.97 c | 33688 | 3896 16664 50616 | 2147483647 29186 97 | 0.000 % |
6.96/7.05 c | 33944 | 3896 16664 50616 | 2147483647 29442 97 | 0.000 % |
7.06/7.13 c | 34227 | 3896 16664 50616 | 2147483647 29725 97 | 0.000 % |
7.16/7.23 c | 34538 | 3896 16664 50616 | 2147483647 30036 98 | 0.000 % |
7.26/7.33 c | 34878 | 3896 16664 50616 | 2147483647 30376 97 | 0.000 % |
7.36/7.45 c | 35251 | 3896 16664 50616 | 2147483647 30749 97 | 0.000 % |
7.46/7.57 c | 35662 | 3896 16664 50616 | 2147483647 31160 97 | 0.000 % |
7.66/7.72 c | 36111 | 3896 16664 50616 | 2147483647 31609 98 | 0.000 % |
7.76/7.88 c | 36606 | 3896 16664 50616 | 2147483647 32104 97 | 0.000 % |
7.96/8.05 c | 37149 | 3896 16664 50616 | 2147483647 32647 98 | 0.000 % |
7.96/8.09 c | 37249 | 3896 16664 50616 | 2147483647 32747 98 | 0.000 % |
8.06/8.12 c | 37360 | 3896 16664 50616 | 2147483647 32858 98 | 0.000 % |
8.06/8.16 c | 37481 | 3896 16664 50616 | 2147483647 32979 98 | 0.000 % |
8.16/8.20 c | 37615 | 3896 16664 50616 | 2147483647 33113 98 | 0.000 % |
8.16/8.26 c | 37761 | 3896 16664 50616 | 2147483647 33259 98 | 0.000 % |
8.26/8.31 c | 37921 | 3896 16664 50616 | 2147483647 33419 98 | 0.000 % |
8.26/8.37 c | 38097 | 3896 16664 50616 | 2147483647 33595 98 | 0.000 % |
8.36/8.44 c | 38290 | 3896 16664 50616 | 2147483647 33788 98 | 0.000 % |
8.46/8.51 c | 38503 | 3896 16664 50616 | 2147483647 34001 98 | 0.000 % |
8.57/8.60 c | 38736 | 3896 16664 50616 | 2147483647 34234 98 | 0.000 % |
8.57/8.69 c | 38992 | 3896 16664 50616 | 2147483647 34490 97 | 0.000 % |
8.67/8.79 c | 39273 | 3896 16664 50616 | 2147483647 34771 98 | 0.000 % |
8.86/8.90 c | 39582 | 3896 16664 50616 | 2147483647 35080 97 | 0.000 % |
8.96/9.03 c | 39922 | 3896 16664 50616 | 2147483647 35420 97 | 0.000 % |
9.06/9.16 c | 40295 | 3896 16664 50616 | 2147483647 35793 97 | 0.000 % |
9.16/9.30 c | 40705 | 3896 16664 50616 | 2147483647 36203 97 | 0.000 % |
9.36/9.44 c | 41154 | 3896 16664 50616 | 2147483647 36652 97 | 0.000 % |
9.56/9.60 c | 41648 | 3896 16664 50616 | 2147483647 37146 97 | 0.000 % |
9.77/9.81 c | 42193 | 3896 16664 50616 | 2147483647 37691 98 | 0.000 % |
9.97/10.02 c | 42790 | 3896 16664 50616 | 2147483647 38288 98 | 0.000 % |
9.97/10.05 c | 42891 | 3896 16664 50616 | 2147483647 38389 98 | 0.000 % |
9.97/10.09 c | 43001 | 3896 16664 50616 | 2147483647 38499 98 | 0.000 % |
10.06/10.14 c | 43122 | 3896 16664 50616 | 2147483647 38620 98 | 0.000 % |
10.06/10.19 c | 43255 | 3896 16664 50616 | 2147483647 38753 98 | 0.000 % |
10.16/10.25 c | 43402 | 3896 16664 50616 | 2147483647 38900 98 | 0.000 % |
10.26/10.31 c | 43563 | 3896 16664 50616 | 2147483647 39061 98 | 0.000 % |
10.26/10.38 c | 43739 | 3896 16664 50616 | 2147483647 39237 98 | 0.000 % |
10.36/10.46 c | 43933 | 3896 16664 50616 | 2147483647 39431 98 | 0.000 % |
10.46/10.54 c | 44146 | 3896 16664 50616 | 2147483647 39644 98 | 0.000 % |
10.56/10.63 c | 44379 | 3896 16664 50616 | 2147483647 39877 98 | 0.000 % |
10.66/10.73 c | 44637 | 3896 16664 50616 | 2147483647 40135 98 | 0.000 % |
10.76/10.85 c | 44918 | 3896 16664 50616 | 2147483647 40416 98 | 0.000 % |
10.87/10.96 c | 45231 | 3896 16664 50616 | 2147483647 40729 98 | 0.000 % |
10.97/11.09 c | 45572 | 3896 16664 50616 | 2147483647 41070 98 | 0.000 % |
11.16/11.24 c | 45945 | 3896 16664 50616 | 2147483647 41443 98 | 0.000 % |
11.26/11.38 c | 46355 | 3896 16664 50616 | 2147483647 41853 98 | 0.000 % |
11.46/11.55 c | 46806 | 3896 16664 50616 | 2147483647 42304 98 | 0.000 % |
11.66/11.72 c | 47299 | 3896 16664 50616 | 2147483647 42797 98 | 0.000 % |
11.86/11.93 c | 47841 | 3896 16664 50616 | 2147483647 43339 98 | 0.000 % |
12.06/12.14 c | 48438 | 3896 16664 50616 | 2147483647 43936 99 | 0.000 % |
12.36/12.40 c | 49096 | 3896 16664 50616 | 2147483647 44594 99 | 0.000 % |
12.36/12.45 c | 49198 | 3896 16664 50616 | 2147483647 44696 99 | 0.000 % |
12.46/12.50 c | 49308 | 3896 16664 50616 | 2147483647 44806 99 | 0.000 % |
12.46/12.55 c | 49429 | 3896 16664 50616 | 2147483647 44927 99 | 0.000 % |
12.57/12.60 c | 49562 | 3896 16664 50616 | 2147483647 45060 99 | 0.000 % |
12.57/12.67 c | 49709 | 3896 16664 50616 | 2147483647 45207 99 | 0.000 % |
12.67/12.75 c | 49871 | 3896 16664 50616 | 2147483647 45369 99 | 0.000 % |
12.76/12.82 c | 50047 | 3896 16664 50616 | 2147483647 45545 99 | 0.000 % |
12.86/12.91 c | 50241 | 3896 16664 50616 | 2147483647 45739 99 | 0.000 % |
12.86/12.99 c | 50453 | 3896 16664 50616 | 2147483647 45951 99 | 0.000 % |
12.96/13.08 c | 50686 | 3896 16664 50616 | 2147483647 46184 99 | 0.000 % |
13.07/13.19 c | 50942 | 3896 16664 50616 | 2147483647 46440 99 | 0.000 % |
13.26/13.31 c | 51225 | 3896 16664 50616 | 2147483647 46723 99 | 0.000 % |
13.36/13.43 c | 51535 | 3896 16664 50616 | 2147483647 47033 99 | 0.000 % |
13.46/13.57 c | 51874 | 3896 16664 50616 | 2147483647 47372 99 | 0.000 % |
13.66/13.73 c | 52246 | 3896 16664 50616 | 2147483647 47744 99 | 0.000 % |
13.86/13.90 c | 52656 | 3896 16664 50616 | 2147483647 48154 99 | 0.000 % |
13.96/14.09 c | 53108 | 3896 16664 50616 | 2147483647 48606 99 | 0.000 % |
14.17/14.30 c | 53601 | 3896 16664 50616 | 2147483647 49099 99 | 0.000 % |
14.46/14.54 c | 54144 | 3896 16664 50616 | 2147483647 49642 99 | 0.000 % |
14.76/14.81 c | 54741 | 3896 16664 50616 | 2147483647 50239 100 | 0.000 % |
15.06/15.10 c | 55399 | 3896 16664 50616 | 2147483647 50897 100 | 0.000 % |
15.36/15.44 c | 56121 | 3896 16664 50616 | 2147483647 51619 100 | 0.000 % |
15.36/15.49 c | 56222 | 3896 16664 50616 | 2147483647 51720 100 | 0.000 % |
15.46/15.54 c | 56333 | 3896 16664 50616 | 2147483647 51831 100 | 0.000 % |
15.56/15.60 c | 56454 | 3896 16664 50616 | 2147483647 51952 100 | 0.000 % |
15.56/15.67 c | 56589 | 3896 16664 50616 | 2147483647 52087 100 | 0.000 % |
15.66/15.74 c | 56737 | 3896 16664 50616 | 2147483647 52235 100 | 0.000 % |
15.76/15.82 c | 56897 | 3896 16664 50616 | 2147483647 52395 100 | 0.000 % |
15.86/15.91 c | 57074 | 3896 16664 50616 | 2147483647 52572 100 | 0.000 % |
15.96/16.01 c | 57267 | 3896 16664 50616 | 2147483647 52765 100 | 0.000 % |
16.06/16.11 c | 57479 | 3896 16664 50616 | 2147483647 52977 100 | 0.000 % |
16.16/16.25 c | 57712 | 3896 16664 50616 | 2147483647 53210 100 | 0.000 % |
16.26/16.37 c | 57969 | 3896 16664 50616 | 2147483647 53467 100 | 0.000 % |
16.46/16.51 c | 58251 | 3896 16664 50616 | 2147483647 53749 100 | 0.000 % |
16.56/16.65 c | 58561 | 3896 16664 50616 | 2147483647 54059 100 | 0.000 % |
16.77/16.82 c | 58900 | 3896 16664 50616 | 2147483647 54398 100 | 0.000 % |
16.87/17.00 c | 59274 | 3896 16664 50616 | 2147483647 54772 100 | 0.000 % |
17.06/17.17 c | 59684 | 3896 16664 50616 | 2147483647 55182 100 | 0.000 % |
17.26/17.38 c | 60134 | 3896 16664 50616 | 2147483647 55632 100 | 0.000 % |
17.57/17.61 c | 60631 | 3896 16664 50616 | 2147483647 56129 100 | 0.000 % |
17.76/17.87 c | 61173 | 3896 16664 50616 | 2147483647 56671 100 | 0.000 % |
18.06/18.15 c | 61774 | 3896 16664 50616 | 2147483647 57272 100 | 0.000 % |
18.36/18.45 c | 62429 | 3896 16664 50616 | 2147483647 57927 100 | 0.000 % |
18.76/18.80 c | 63149 | 3896 16664 50616 | 2147483647 58647 100 | 0.000 % |
19.06/19.16 c | 63941 | 3896 16664 50616 | 2147483647 59439 100 | 0.000 % |
19.16/19.20 c | 64042 | 3896 16664 50616 | 2147483647 59540 100 | 0.000 % |
19.16/19.28 c | 64153 | 3896 16664 50616 | 2147483647 59651 100 | 0.000 % |
19.26/19.35 c | 64274 | 3896 16664 50616 | 2147483647 59772 100 | 0.000 % |
19.36/19.43 c | 64407 | 3896 16664 50616 | 2147483647 59905 100 | 0.000 % |
19.46/19.51 c | 64554 | 3896 16664 50616 | 2147483647 60052 100 | 0.000 % |
19.46/19.60 c | 64715 | 3896 16664 50616 | 2147483647 60213 100 | 0.000 % |
19.56/19.69 c | 64895 | 3896 16664 50616 | 2147483647 60393 100 | 0.000 % |
19.66/19.78 c | 65088 | 3896 16664 50616 | 2147483647 60586 100 | 0.000 % |
19.76/19.89 c | 65303 | 3896 16664 50616 | 2147483647 60801 100 | 0.000 % |
19.96/20.02 c | 65536 | 3896 16664 50616 | 2147483647 61034 100 | 0.000 % |
20.06/20.17 c | 65793 | 3896 16664 50616 | 2147483647 61291 100 | 0.000 % |
20.26/20.31 c | 66075 | 3896 16664 50616 | 2147483647 61573 100 | 0.000 % |
20.36/20.47 c | 66385 | 3896 16664 50616 | 2147483647 61883 100 | 0.000 % |
20.56/20.65 c | 66724 | 3896 16664 50616 | 2147483647 62222 100 | 0.000 % |
20.77/20.84 c | 67096 | 3896 16664 50616 | 2147483647 62594 100 | 0.000 % |
20.96/21.06 c | 67505 | 3896 16664 50616 | 2147483647 63003 100 | 0.000 % |
21.16/21.29 c | 67955 | 3896 16664 50616 | 2147483647 63453 100 | 0.000 % |
21.46/21.55 c | 68451 | 3896 16664 50616 | 2147483647 63949 100 | 0.000 % |
21.76/21.81 c | 68993 | 3896 16664 50616 | 2147483647 64491 100 | 0.000 % |
22.05/22.10 c | 69591 | 3896 16664 50616 | 2147483647 65089 100 | 0.000 % |
22.36/22.46 c | 70251 | 3896 16664 50616 | 2147483647 65749 100 | 0.000 % |
22.76/22.83 c | 70975 | 3896 16664 50616 | 2147483647 66473 100 | 0.000 % |
23.16/23.25 c | 71767 | 3896 16664 50616 | 2147483647 67265 101 | 0.000 % |
23.56/23.69 c | 72640 | 3896 16664 50616 | 2147483647 68138 101 | 0.000 % |
23.66/23.76 c | 72743 | 3896 16664 50616 | 2147483647 68241 101 | 0.000 % |
23.76/23.82 c | 72854 | 3896 16664 50616 | 2147483647 68352 101 | 0.000 % |
23.76/23.89 c | 72977 | 3896 16664 50616 | 2147483647 68475 101 | 0.000 % |
23.86/23.98 c | 73110 | 3896 16664 50616 | 2147483647 68608 101 | 0.000 % |
23.96/24.07 c | 73256 | 3896 16664 50616 | 2147483647 68754 101 | 0.000 % |
24.06/24.16 c | 73416 | 3896 16664 50616 | 2147483647 68914 101 | 0.000 % |
24.16/24.25 c | 73595 | 3896 16664 50616 | 2147483647 69093 101 | 0.000 % |
24.26/24.37 c | 73790 | 3896 16664 50616 | 2147483647 69288 101 | 0.000 % |
24.46/24.51 c | 74002 | 3896 16664 50616 | 2147483647 69500 101 | 0.000 % |
24.56/24.64 c | 74236 | 3896 16664 50616 | 2147483647 69734 101 | 0.000 % |
24.76/24.80 c | 74493 | 3896 16664 50616 | 2147483647 69991 101 | 0.000 % |
24.86/24.97 c | 74775 | 3896 16664 50616 | 2147483647 70273 101 | 0.000 % |
25.06/25.15 c | 75086 | 3896 16664 50616 | 2147483647 70584 101 | 0.000 % |
25.26/25.37 c | 75428 | 3896 16664 50616 | 2147483647 70926 101 | 0.000 % |
25.46/25.57 c | 75800 | 3896 16664 50616 | 2147483647 71298 101 | 0.000 % |
25.66/25.78 c | 76209 | 3896 16664 50616 | 2147483647 71707 101 | 0.000 % |
25.96/26.03 c | 76659 | 3896 16664 50616 | 2147483647 72157 101 | 0.000 % |
26.26/26.31 c | 77152 | 3896 16664 50616 | 2147483647 72650 101 | 0.000 % |
26.45/26.59 c | 77694 | 3896 16664 50616 | 2147483647 73192 101 | 0.000 % |
26.85/26.92 c | 78290 | 3896 16664 50616 | 2147483647 73788 101 | 0.000 % |
27.15/27.28 c | 78945 | 3896 16664 50616 | 2147483647 74443 101 | 0.000 % |
27.65/27.70 c | 79665 | 3896 16664 50616 | 2147483647 75163 101 | 0.000 % |
28.06/28.17 c | 80457 | 3896 16664 50616 | 2147483647 75955 101 | 0.000 % |
28.56/28.67 c | 81328 | 3896 16664 50616 | 2147483647 76826 101 | 0.000 % |
29.16/29.22 c | 82289 | 3896 16664 50616 | 2147483647 77787 101 | 0.000 % |
29.16/29.29 c | 82389 | 3896 16664 50616 | 2147483647 77887 101 | 0.000 % |
29.26/29.36 c | 82499 | 3896 16664 50616 | 2147483647 77997 101 | 0.000 % |
29.36/29.44 c | 82620 | 3896 16664 50616 | 2147483647 78118 101 | 0.000 % |
29.46/29.53 c | 82753 | 3896 16664 50616 | 2147483647 78251 101 | 0.000 % |
29.56/29.64 c | 82899 | 3896 16664 50616 | 2147483647 78397 101 | 0.000 % |
29.66/29.74 c | 83059 | 3896 16664 50616 | 2147483647 78557 101 | 0.000 % |
29.76/29.87 c | 83235 | 3896 16664 50616 | 2147483647 78733 101 | 0.000 % |
29.95/30.00 c | 83428 | 3896 16664 50616 | 2147483647 78926 101 | 0.000 % |
30.05/30.15 c | 83644 | 3896 16664 50616 | 2147483647 79142 101 | 0.000 % |
30.15/30.28 c | 83877 | 3896 16664 50616 | 2147483647 79375 101 | 0.000 % |
30.35/30.47 c | 84135 | 3896 16664 50616 | 2147483647 79633 101 | 0.000 % |
30.56/30.63 c | 84417 | 3896 16664 50616 | 2147483647 79915 101 | 0.000 % |
30.77/30.83 c | 84726 | 3896 16664 50616 | 2147483647 80224 101 | 0.000 % |
30.96/31.06 c | 85065 | 3896 16664 50616 | 2147483647 80563 101 | 0.000 % |
31.26/31.31 c | 85437 | 3896 16664 50616 | 2147483647 80935 101 | 0.000 % |
31.46/31.53 c | 85847 | 3896 16664 50616 | 2147483647 81345 101 | 0.000 % |
31.76/31.81 c | 86299 | 3896 16664 50616 | 2147483647 81797 101 | 0.000 % |
31.96/32.08 c | 86792 | 3896 16664 50616 | 2147483647 82290 101 | 0.000 % |
32.36/32.44 c | 87334 | 3896 16664 50616 | 2147483647 82832 101 | 0.000 % |
32.75/32.85 c | 87930 | 3896 16664 50616 | 2147483647 83428 101 | 0.000 % |
33.15/33.28 c | 88585 | 3896 16664 50616 | 2147483647 84083 101 | 0.000 % |
33.65/33.78 c | 89306 | 3896 16664 50616 | 2147483647 84804 101 | 0.000 % |
34.15/34.26 c | 90098 | 3896 16664 50616 | 2147483647 85596 101 | 0.000 % |
34.76/34.86 c | 90972 | 3896 16664 50616 | 2147483647 86470 101 | 0.000 % |
35.36/35.50 c | 91930 | 3896 16664 50616 | 2147483647 87428 101 | 0.000 % |
36.06/36.18 c | 92984 | 3896 16664 50616 | 2147483647 88482 102 | 0.000 % |
36.16/36.26 c | 93084 | 3896 16664 50616 | 2147483647 88582 102 | 0.000 % |
36.26/36.35 c | 93194 | 3896 16664 50616 | 2147483647 88692 102 | 0.000 % |
36.35/36.45 c | 93318 | 3896 16664 50616 | 2147483647 88816 102 | 0.000 % |
36.45/36.57 c | 93451 | 3896 16664 50616 | 2147483647 88949 102 | 0.000 % |
36.55/36.69 c | 93598 | 3896 16664 50616 | 2147483647 89096 102 | 0.000 % |
36.75/36.81 c | 93759 | 3896 16664 50616 | 2147483647 89257 102 | 0.000 % |
36.85/36.93 c | 93935 | 3896 16664 50616 | 2147483647 89433 102 | 0.000 % |
36.95/37.08 c | 94128 | 3896 16664 50616 | 2147483647 89626 102 | 0.000 % |
37.15/37.23 c | 94341 | 3896 16664 50616 | 2147483647 89839 102 | 0.000 % |
37.26/37.39 c | 94574 | 3896 16664 50616 | 2147483647 90072 102 | 0.000 % |
37.56/37.61 c | 94833 | 3896 16664 50616 | 2147483647 90331 102 | 0.000 % |
37.76/37.83 c | 95115 | 3896 16664 50616 | 2147483647 90613 102 | 0.000 % |
37.96/38.03 c | 95426 | 3896 16664 50616 | 2147483647 90924 102 | 0.000 % |
38.16/38.26 c | 95767 | 3896 16664 50616 | 2147483647 91265 102 | 0.000 % |
38.46/38.55 c | 96139 | 3896 16664 50616 | 2147483647 91637 102 | 0.000 % |
38.76/38.83 c | 96548 | 3896 16664 50616 | 2147483647 92046 102 | 0.000 % |
39.05/39.17 c | 96998 | 3896 16664 50616 | 2147483647 92496 102 | 0.000 % |
39.46/39.52 c | 97491 | 3896 16664 50616 | 2147483647 92989 102 | 0.000 % |
39.85/39.94 c | 98033 | 3896 16664 50616 | 2147483647 93531 102 | 0.000 % |
40.26/40.37 c | 98633 | 3896 16664 50616 | 2147483647 94131 102 | 0.000 % |
40.76/40.83 c | 99289 | 3896 16664 50616 | 2147483647 94787 102 | 0.000 % |
41.26/41.35 c | 100010 | 3896 16664 50616 | 2147483647 95508 102 | 0.000 % |
41.86/41.95 c | 100804 | 3896 16664 50616 | 2147483647 96302 102 | 0.000 % |
42.45/42.58 c | 101675 | 3896 16664 50616 | 2147483647 97173 102 | 0.000 % |
43.15/43.28 c | 102634 | 3896 16664 50616 | 2147483647 98132 102 | 0.000 % |
43.96/44.02 c | 103687 | 3896 16664 50616 | 2147483647 99185 102 | 0.000 % |
44.76/44.85 c | 104845 | 3896 16664 50616 | 2147483647 100343 102 | 0.000 % |
44.86/44.94 c | 104947 | 3896 16664 50616 | 2147483647 100445 102 | 0.000 % |
44.96/45.05 c | 105057 | 3896 16664 50616 | 2147483647 100555 102 | 0.000 % |
45.06/45.18 c | 105178 | 3896 16664 50616 | 2147483647 100676 102 | 0.000 % |
45.16/45.29 c | 105312 | 3896 16664 50616 | 2147483647 100810 102 | 0.000 % |
45.36/45.42 c | 105459 | 3896 16664 50616 | 2147483647 100957 102 | 0.000 % |
45.46/45.55 c | 105620 | 3896 16664 50616 | 2147483647 101118 102 | 0.000 % |
45.56/45.69 c | 105796 | 3896 16664 50616 | 2147483647 101294 102 | 0.000 % |
45.76/45.87 c | 105989 | 3896 16664 50616 | 2147483647 101487 102 | 0.000 % |
45.96/46.05 c | 106202 | 3896 16664 50616 | 2147483647 101700 102 | 0.000 % |
46.16/46.24 c | 106436 | 3896 16664 50616 | 2147483647 101934 102 | 0.000 % |
46.35/46.45 c | 106692 | 3896 16664 50616 | 2147483647 102190 102 | 0.000 % |
46.55/46.67 c | 106973 | 3896 16664 50616 | 2147483647 102471 102 | 0.000 % |
46.85/46.92 c | 107284 | 3896 16664 50616 | 2147483647 102782 102 | 0.000 % |
47.05/47.17 c | 107626 | 3896 16664 50616 | 2147483647 103124 102 | 0.000 % |
47.35/47.48 c | 107999 | 3896 16664 50616 | 2147483647 103497 102 | 0.000 % |
47.75/47.82 c | 108409 | 3896 16664 50616 | 2147483647 103907 102 | 0.000 % |
48.05/48.14 c | 108858 | 3896 16664 50616 | 2147483647 104356 102 | 0.000 % |
48.36/48.48 c | 109352 | 3896 16664 50616 | 2147483647 104850 102 | 0.000 % |
48.75/48.89 c | 109894 | 3896 16664 50616 | 2147483647 105392 102 | 0.000 % |
49.25/49.34 c | 110490 | 3896 16664 50616 | 2147483647 105988 102 | 0.000 % |
49.76/49.83 c | 111145 | 3896 16664 50616 | 2147483647 106643 102 | 0.000 % |
50.36/50.43 c | 111865 | 3896 16664 50616 | 2147483647 107363 103 | 0.000 % |
50.95/51.00 c | 112657 | 3896 16664 50616 | 2147483647 108155 103 | 0.000 % |
51.56/51.67 c | 113528 | 3896 16664 50616 | 2147483647 109026 103 | 0.000 % |
52.35/52.43 c | 114486 | 3896 16664 50616 | 2147483647 109984 103 | 0.000 % |
53.15/53.25 c | 115539 | 3896 16664 50616 | 2147483647 111037 103 | 0.000 % |
54.15/54.23 c | 116698 | 3896 16664 50616 | 2147483647 112196 103 | 0.000 % |
55.15/55.25 c | 117971 | 3896 16664 50616 | 2147483647 113469 103 | 0.000 % |
55.25/55.34 c | 118071 | 3896 16664 50616 | 2147483647 113569 103 | 0.000 % |
55.35/55.47 c | 118181 | 3896 16664 50616 | 2147483647 113679 103 | 0.000 % |
55.45/55.58 c | 118303 | 3896 16664 50616 | 2147483647 113801 103 | 0.000 % |
55.65/55.72 c | 118436 | 3896 16664 50616 | 2147483647 113934 103 | 0.000 % |
55.75/55.87 c | 118583 | 3896 16664 50616 | 2147483647 114081 103 | 0.000 % |
55.95/56.03 c | 118743 | 3896 16664 50616 | 2147483647 114241 103 | 0.000 % |
56.15/56.23 c | 118919 | 3896 16664 50616 | 2147483647 114417 103 | 0.000 % |
56.35/56.41 c | 119112 | 3896 16664 50616 | 2147483647 114610 103 | 0.000 % |
56.45/56.59 c | 119324 | 3896 16664 50616 | 2147483647 114822 103 | 0.000 % |
56.65/56.79 c | 119557 | 3896 16664 50616 | 2147483647 115055 103 | 0.000 % |
56.95/57.04 c | 119813 | 3896 16664 50616 | 2147483647 115311 103 | 0.000 % |
57.25/57.31 c | 120094 | 3896 16664 50616 | 2147483647 115592 103 | 0.000 % |
57.46/57.59 c | 120404 | 3896 16664 50616 | 2147483647 115902 103 | 0.000 % |
57.85/57.90 c | 120746 | 3896 16664 50616 | 2147483647 116244 103 | 0.000 % |
58.16/58.23 c | 121119 | 3896 16664 50616 | 2147483647 116617 103 | 0.000 % |
58.45/58.60 c | 121531 | 3896 16664 50616 | 2147483647 117029 103 | 0.000 % |
58.95/59.04 c | 121980 | 3896 16664 50616 | 2147483647 117478 103 | 0.000 % |
59.36/59.49 c | 122474 | 3896 16664 50616 | 2147483647 117972 103 | 0.000 % |
59.85/59.97 c | 123016 | 3896 16664 50616 | 2147483647 118514 103 | 0.000 % |
60.35/60.49 c | 123612 | 3896 16664 50616 | 2147483647 119110 103 | 0.000 % |
60.95/61.06 c | 124268 | 3896 16664 50616 | 2147483647 119766 103 | 0.000 % |
61.55/61.68 c | 124988 | 3896 16664 50616 | 2147483647 120486 103 | 0.000 % |
62.25/62.35 c | 125781 | 3896 16664 50616 | 2147483647 121279 103 | 0.000 % |
63.04/63.11 c | 126652 | 3896 16664 50616 | 2147483647 122150 103 | 0.000 % |
63.84/63.97 c | 127611 | 3896 16664 50616 | 2147483647 123109 103 | 0.000 % |
64.76/64.88 c | 128664 | 3896 16664 50616 | 2147483647 124162 103 | 0.000 % |
65.75/65.83 c | 129825 | 3896 16664 50616 | 2147483647 125323 103 | 0.000 % |
66.85/66.94 c | 131098 | 3896 16664 50616 | 2147483647 126596 103 | 0.000 % |
68.05/68.19 c | 132498 | 3896 16664 50616 | 2147483647 127996 103 | 0.000 % |
68.25/68.30 c | 132598 | 3896 16664 50616 | 2147483647 128096 103 | 0.000 % |
68.35/68.44 c | 132709 | 3896 16664 50616 | 2147483647 128207 103 | 0.000 % |
68.45/68.57 c | 132830 | 3896 16664 50616 | 2147483647 128328 103 | 0.000 % |
68.65/68.71 c | 132963 | 3896 16664 50616 | 2147483647 128461 103 | 0.000 % |
68.75/68.86 c | 133111 | 3896 16664 50616 | 2147483647 128609 103 | 0.000 % |
68.95/69.03 c | 133272 | 3896 16664 50616 | 2147483647 128770 103 | 0.000 % |
69.15/69.22 c | 133449 | 3896 16664 50616 | 2147483647 128947 103 | 0.000 % |
69.35/69.41 c | 133642 | 3896 16664 50616 | 2147483647 129140 103 | 0.000 % |
69.55/69.65 c | 133854 | 3896 16664 50616 | 2147483647 129352 103 | 0.000 % |
69.74/69.89 c | 134088 | 3896 16664 50616 | 2147483647 129586 103 | 0.000 % |
70.05/70.16 c | 134345 | 3896 16664 50616 | 2147483647 129843 103 | 0.000 % |
70.35/70.44 c | 134627 | 3896 16664 50616 | 2147483647 130125 103 | 0.000 % |
70.65/70.73 c | 134936 | 3896 16664 50616 | 2147483647 130434 103 | 0.000 % |
70.95/71.07 c | 135276 | 3896 16664 50616 | 2147483647 130774 103 | 0.000 % |
71.35/71.43 c | 135649 | 3896 16664 50616 | 2147483647 131147 103 | 0.000 % |
71.75/71.83 c | 136060 | 3896 16664 50616 | 2147483647 131558 103 | 0.000 % |
72.15/72.28 c | 136510 | 3896 16664 50616 | 2147483647 132008 103 | 0.000 % |
72.65/72.78 c | 137003 | 3896 16664 50616 | 2147483647 132501 103 | 0.000 % |
73.25/73.33 c | 137545 | 3896 16664 50616 | 2147483647 133043 103 | 0.000 % |
73.85/73.92 c | 138141 | 3896 16664 50616 | 2147483647 133639 103 | 0.000 % |
74.45/74.57 c | 138797 | 3896 16664 50616 | 2147483647 134295 103 | 0.000 % |
75.24/75.30 c | 139518 | 3896 16664 50616 | 2147483647 135016 103 | 0.000 % |
76.04/76.17 c | 140310 | 3896 16664 50616 | 2147483647 135808 103 | 0.000 % |
76.95/77.03 c | 141182 | 3896 16664 50616 | 2147483647 136680 103 | 0.000 % |
77.85/77.97 c | 142141 | 3896 16664 50616 | 2147483647 137639 103 | 0.000 % |
78.85/78.93 c | 143194 | 3896 16664 50616 | 2147483647 138692 104 | 0.000 % |
79.95/80.05 c | 144354 | 3896 16664 50616 | 2147483647 139852 104 | 0.000 % |
81.25/81.36 c | 145627 | 3896 16664 50616 | 2147483647 141125 104 | 0.000 % |
82.45/82.57 c | 147032 | 3896 16664 50616 | 2147483647 142530 104 | 0.000 % |
84.04/84.12 c | 148572 | 3896 16664 50616 | 2147483647 144070 104 | 0.000 % |
84.14/84.25 c | 148672 | 3896 16664 50616 | 2147483647 144170 104 | 0.000 % |
84.24/84.37 c | 148782 | 3896 16664 50616 | 2147483647 144280 104 | 0.000 % |
84.44/84.51 c | 148903 | 3896 16664 50616 | 2147483647 144401 104 | 0.000 % |
84.54/84.68 c | 149036 | 3896 16664 50616 | 2147483647 144534 104 | 0.000 % |
84.74/84.89 c | 149185 | 3896 16664 50616 | 2147483647 144683 104 | 0.000 % |
84.94/85.08 c | 149345 | 3896 16664 50616 | 2147483647 144843 104 | 0.000 % |
85.24/85.30 c | 149521 | 3896 16664 50616 | 2147483647 145019 104 | 0.000 % |
85.45/85.55 c | 149715 | 3896 16664 50616 | 2147483647 145213 104 | 0.000 % |
85.75/85.80 c | 149927 | 3896 16664 50616 | 2147483647 145425 104 | 0.000 % |
85.95/86.07 c | 150161 | 3896 16664 50616 | 2147483647 145659 104 | 0.000 % |
86.25/86.36 c | 150419 | 3896 16664 50616 | 2147483647 145917 104 | 0.000 % |
86.55/86.68 c | 150700 | 3896 16664 50616 | 2147483647 146198 104 | 0.000 % |
86.95/87.02 c | 151009 | 3896 16664 50616 | 2147483647 146507 104 | 0.000 % |
87.35/87.41 c | 151348 | 3896 16664 50616 | 2147483647 146846 104 | 0.000 % |
87.75/87.82 c | 151722 | 3896 16664 50616 | 2147483647 147220 104 | 0.000 % |
88.15/88.24 c | 152131 | 3896 16664 50616 | 2147483647 147629 104 | 0.000 % |
88.55/88.67 c | 152582 | 3896 16664 50616 | 2147483647 148080 104 | 0.000 % |
89.15/89.20 c | 153075 | 3896 16664 50616 | 2147483647 148573 104 | 0.000 % |
89.74/89.83 c | 153617 | 3896 16664 50616 | 2147483647 149115 104 | 0.000 % |
90.34/90.47 c | 154213 | 3896 16664 50616 | 2147483647 149711 104 | 0.000 % |
91.04/91.16 c | 154869 | 3896 16664 50616 | 2147483647 150367 104 | 0.000 % |
91.74/91.88 c | 155590 | 3896 16664 50616 | 2147483647 151088 104 | 0.000 % |
92.64/92.79 c | 156384 | 3896 16664 50616 | 2147483647 151882 104 | 0.000 % |
93.54/93.69 c | 157256 | 3896 16664 50616 | 2147483647 152754 104 | 0.000 % |
94.54/94.67 c | 158214 | 3896 16664 50616 | 2147483647 153712 104 | 0.000 % |
95.64/95.80 c | 159267 | 3896 16664 50616 | 2147483647 154765 104 | 0.000 % |
96.94/97.03 c | 160425 | 3896 16664 50616 | 2147483647 155923 104 | 0.000 % |
98.44/98.50 c | 161698 | 3896 16664 50616 | 2147483647 157196 104 | 0.000 % |
99.84/99.94 c | 163098 | 3896 16664 50616 | 2147483647 158596 104 | 0.000 % |
101.64/101.70 c | 164638 | 3896 16664 50616 | 2147483647 160136 104 | 0.000 % |
103.44/103.53 c | 166335 | 3896 16664 50616 | 2147483647 161833 105 | 0.000 % |
103.54/103.66 c | 166436 | 3896 16664 50616 | 2147483647 161934 105 | 0.000 % |
103.74/103.81 c | 166547 | 3896 16664 50616 | 2147483647 162045 105 | 0.000 % |
103.94/104.03 c | 166669 | 3896 16664 50616 | 2147483647 162167 105 | 0.000 % |
104.04/104.19 c | 166802 | 3896 16664 50616 | 2147483647 162300 105 | 0.000 % |
104.24/104.40 c | 166951 | 3896 16664 50616 | 2147483647 162449 105 | 0.000 % |
104.44/104.59 c | 167112 | 3896 16664 50616 | 2147483647 162610 105 | 0.000 % |
104.74/104.80 c | 167288 | 3896 16664 50616 | 2147483647 162786 105 | 0.000 % |
104.94/105.02 c | 167481 | 3896 16664 50616 | 2147483647 162979 105 | 0.000 % |
105.14/105.28 c | 167693 | 3896 16664 50616 | 2147483647 163191 105 | 0.000 % |
105.44/105.56 c | 167928 | 3896 16664 50616 | 2147483647 163426 105 | 0.000 % |
105.73/105.88 c | 168186 | 3896 16664 50616 | 2147483647 163684 105 | 0.000 % |
106.03/106.19 c | 168467 | 3896 16664 50616 | 2147483647 163965 105 | 0.000 % |
106.43/106.58 c | 168776 | 3896 16664 50616 | 2147483647 164274 105 | 0.000 % |
106.93/107.00 c | 169116 | 3896 16664 50616 | 2147483647 164614 105 | 0.000 % |
107.34/107.44 c | 169488 | 3896 16664 50616 | 2147483647 164986 105 | 0.000 % |
107.84/107.94 c | 169897 | 3896 16664 50616 | 2147483647 165395 105 | 0.000 % |
108.34/108.48 c | 170349 | 3896 16664 50616 | 2147483647 165847 104 | 0.000 % |
108.94/109.06 c | 170845 | 3896 16664 50616 | 2147483647 166343 104 | 0.000 % |
109.54/109.67 c | 171388 | 3896 16664 50616 | 2147483647 166886 105 | 0.000 % |
110.23/110.36 c | 171984 | 3896 16664 50616 | 2147483647 167482 105 | 0.000 % |
111.04/111.19 c | 172640 | 3896 16664 50616 | 2147483647 168138 105 | 0.000 % |
111.93/112.04 c | 173360 | 3896 16664 50616 | 2147483647 168858 105 | 0.000 % |
112.84/112.96 c | 174152 | 3896 16664 50616 | 2147483647 169650 105 | 0.000 % |
113.84/113.95 c | 175026 | 3896 16664 50616 | 2147483647 170524 105 | 0.000 % |
114.93/115.09 c | 175984 | 3896 16664 50616 | 2147483647 171482 105 | 0.000 % |
116.23/116.33 c | 177038 | 3896 16664 50616 | 2147483647 172536 105 | 0.000 % |
117.64/117.74 c | 178197 | 3896 16664 50616 | 2147483647 173695 105 | 0.000 % |
119.13/119.24 c | 179470 | 3896 16664 50616 | 2147483647 174968 105 | 0.000 % |
120.84/120.96 c | 180871 | 3896 16664 50616 | 2147483647 176369 105 | 0.000 % |
122.64/122.73 c | 182411 | 3896 16664 50616 | 2147483647 177909 105 | 0.000 % |
124.63/124.73 c | 184105 | 3896 16664 50616 | 2147483647 179603 105 | 0.000 % |
126.63/126.77 c | 185968 | 3896 16664 50616 | 2147483647 181466 105 | 0.000 % |
126.83/126.92 c | 186072 | 3896 16664 50616 | 2147483647 181570 105 | 0.000 % |
127.03/127.12 c | 186183 | 3896 16664 50616 | 2147483647 181681 105 | 0.000 % |
127.23/127.31 c | 186305 | 3896 16664 50616 | 2147483647 181803 105 | 0.000 % |
127.33/127.50 c | 186439 | 3896 16664 50616 | 2147483647 181937 105 | 0.000 % |
127.63/127.72 c | 186585 | 3896 16664 50616 | 2147483647 182083 105 | 0.000 % |
127.83/127.99 c | 186745 | 3896 16664 50616 | 2147483647 182243 105 | 0.000 % |
128.13/128.26 c | 186921 | 3896 16664 50616 | 2147483647 182419 105 | 0.000 % |
128.43/128.55 c | 187115 | 3896 16664 50616 | 2147483647 182613 105 | 0.000 % |
128.73/128.83 c | 187327 | 3896 16664 50616 | 2147483647 182825 105 | 0.000 % |
129.03/129.17 c | 187561 | 3896 16664 50616 | 2147483647 183059 105 | 0.000 % |
129.44/129.58 c | 187817 | 3896 16664 50616 | 2147483647 183315 105 | 0.000 % |
129.84/129.98 c | 188099 | 3896 16664 50616 | 2147483647 183597 105 | 0.000 % |
130.34/130.40 c | 188408 | 3896 16664 50616 | 2147483647 183906 105 | 0.000 % |
130.74/130.88 c | 188748 | 3896 16664 50616 | 2147483647 184246 105 | 0.000 % |
131.33/131.42 c | 189121 | 3896 16664 50616 | 2147483647 184619 105 | 0.000 % |
131.84/131.98 c | 189530 | 3896 16664 50616 | 2147483647 185028 105 | 0.000 % |
132.53/132.60 c | 189980 | 3896 16664 50616 | 2147483647 185478 105 | 0.000 % |
133.13/133.22 c | 190474 | 3896 16664 50616 | 2147483647 185972 105 | 0.000 % |
133.83/133.91 c | 191018 | 3896 16664 50616 | 2147483647 186516 105 | 0.000 % |
134.63/134.76 c | 191619 | 3896 16664 50616 | 2147483647 187117 105 | 0.000 % |
135.54/135.62 c | 192274 | 3896 16664 50616 | 2147483647 187772 105 | 0.000 % |
136.53/136.62 c | 192994 | 3896 16664 50616 | 2147483647 188492 105 | 0.000 % |
137.53/137.67 c | 193787 | 3896 16664 50616 | 2147483647 189285 105 | 0.000 % |
138.63/138.76 c | 194658 | 3896 16664 50616 | 2147483647 190156 105 | 0.000 % |
139.93/140.06 c | 195618 | 3896 16664 50616 | 2147483647 191116 105 | 0.000 % |
141.23/141.32 c | 196675 | 3896 16664 50616 | 2147483647 192173 105 | 0.000 % |
142.63/142.74 c | 197834 | 3896 16664 50616 | 2147483647 193332 105 | 0.000 % |
144.13/144.28 c | 199109 | 3896 16664 50616 | 2147483647 194607 105 | 0.000 % |
145.93/146.08 c | 200509 | 3896 16664 50616 | 2147483647 196007 105 | 0.000 % |
148.03/148.12 c | 202049 | 3896 16664 50616 | 2147483647 197547 105 | 0.000 % |
150.22/150.36 c | 203745 | 3896 16664 50616 | 2147483647 199243 105 | 0.000 % |
152.63/152.74 c | 205608 | 3896 16664 50616 | 2147483647 201106 106 | 0.000 % |
155.12/155.21 c | 207657 | 3896 16664 50616 | 2147483647 203155 106 | 0.000 % |
155.22/155.37 c | 207759 | 3896 16664 50616 | 2147483647 203257 106 | 0.000 % |
155.42/155.54 c | 207869 | 3896 16664 50616 | 2147483647 203367 106 | 0.000 % |
155.62/155.73 c | 207991 | 3896 16664 50616 | 2147483647 203489 106 | 0.000 % |
155.83/155.93 c | 208126 | 3896 16664 50616 | 2147483647 203624 106 | 0.000 % |
156.03/156.20 c | 208272 | 3896 16664 50616 | 2147483647 203770 106 | 0.000 % |
156.33/156.46 c | 208433 | 3896 16664 50616 | 2147483647 203931 106 | 0.000 % |
156.63/156.73 c | 208609 | 3896 16664 50616 | 2147483647 204107 106 | 0.000 % |
156.93/157.03 c | 208804 | 3896 16664 50616 | 2147483647 204302 106 | 0.000 % |
157.23/157.33 c | 209017 | 3896 16664 50616 | 2147483647 204515 106 | 0.000 % |
157.63/157.72 c | 209250 | 3896 16664 50616 | 2147483647 204748 106 | 0.000 % |
158.03/158.12 c | 209506 | 3896 16664 50616 | 2147483647 205004 106 | 0.000 % |
158.43/158.55 c | 209788 | 3896 16664 50616 | 2147483647 205286 106 | 0.000 % |
158.93/159.04 c | 210097 | 3896 16664 50616 | 2147483647 205595 106 | 0.000 % |
159.43/159.55 c | 210437 | 3896 16664 50616 | 2147483647 205935 106 | 0.000 % |
160.02/160.10 c | 210811 | 3896 16664 50616 | 2147483647 206309 106 | 0.000 % |
160.62/160.72 c | 211223 | 3896 16664 50616 | 2147483647 206721 106 | 0.000 % |
161.22/161.37 c | 211672 | 3896 16664 50616 | 2147483647 207170 106 | 0.000 % |
162.02/162.10 c | 212165 | 3896 16664 50616 | 2147483647 207663 106 | 0.000 % |
162.72/162.80 c | 212707 | 3896 16664 50616 | 2147483647 208205 106 | 0.000 % |
163.52/163.68 c | 213304 | 3896 16664 50616 | 2147483647 208802 106 | 0.000 % |
164.53/164.62 c | 213960 | 3896 16664 50616 | 2147483647 209458 106 | 0.000 % |
165.53/165.67 c | 214683 | 3896 16664 50616 | 2147483647 210181 106 | 0.000 % |
166.73/166.81 c | 215475 | 3896 16664 50616 | 2147483647 210973 106 | 0.000 % |
168.03/168.12 c | 216346 | 3896 16664 50616 | 2147483647 211844 106 | 0.000 % |
169.42/169.51 c | 217304 | 3896 16664 50616 | 2147483647 212802 106 | 0.000 % |
170.82/170.95 c | 218357 | 3896 16664 50616 | 2147483647 213855 106 | 0.000 % |
172.43/172.54 c | 219515 | 3896 16664 50616 | 2147483647 215013 106 | 0.000 % |
174.53/174.66 c | 220789 | 3896 16664 50616 | 215500 188376 106 | 0.000 % |
176.32/176.46 c | 222191 | 3896 16664 50616 | 215500 189778 106 | 0.000 % |
178.22/178.39 c | 223732 | 3896 16664 50616 | 215500 191319 106 | 0.000 % |
180.33/180.48 c | 225426 | 3896 16664 50616 | 215500 193013 106 | 0.000 % |
182.72/182.89 c | 227294 | 3896 16664 50616 | 215500 194881 106 | 0.000 % |
185.22/185.33 c | 229344 | 3896 16664 50616 | 215500 196931 106 | 0.000 % |
188.12/188.21 c | 231597 | 3896 16664 50616 | 2147483647 199184 106 | 0.000 % |
188.32/188.41 c | 231697 | 3896 16664 50616 | 2147483647 199284 106 | 0.000 % |
188.42/188.60 c | 231807 | 3896 16664 50616 | 2147483647 199394 106 | 0.000 % |
188.62/188.78 c | 231930 | 3896 16664 50616 | 2147483647 199517 106 | 0.000 % |
188.92/189.00 c | 232063 | 3896 16664 50616 | 2147483647 199650 106 | 0.000 % |
189.12/189.27 c | 232211 | 3896 16664 50616 | 2147483647 199798 106 | 0.000 % |
189.42/189.53 c | 232371 | 3896 16664 50616 | 2147483647 199958 106 | 0.000 % |
189.62/189.79 c | 232547 | 3896 16664 50616 | 2147483647 200134 106 | 0.000 % |
190.02/190.13 c | 232740 | 3896 16664 50616 | 2147483647 200327 106 | 0.000 % |
190.32/190.46 c | 232952 | 3896 16664 50616 | 2147483647 200539 106 | 0.000 % |
190.71/190.81 c | 233185 | 3896 16664 50616 | 2147483647 200772 106 | 0.000 % |
191.01/191.17 c | 233441 | 3896 16664 50616 | 2147483647 201028 106 | 0.000 % |
191.51/191.62 c | 233723 | 3896 16664 50616 | 2147483647 201310 106 | 0.000 % |
191.91/192.05 c | 234033 | 3896 16664 50616 | 2147483647 201620 106 | 0.000 % |
192.42/192.58 c | 234372 | 3896 16664 50616 | 2147483647 201959 106 | 0.000 % |
192.91/193.09 c | 234745 | 3896 16664 50616 | 2147483647 202332 106 | 0.000 % |
193.61/193.72 c | 235154 | 3896 16664 50616 | 2147483647 202741 106 | 0.000 % |
194.21/194.34 c | 235607 | 3896 16664 50616 | 2147483647 203194 106 | 0.000 % |
194.91/195.06 c | 236102 | 3896 16664 50616 | 2147483647 203689 106 | 0.000 % |
195.62/195.77 c | 236644 | 3896 16664 50616 | 2147483647 204231 106 | 0.000 % |
196.51/196.60 c | 237240 | 3896 16664 50616 | 2147483647 204827 106 | 0.000 % |
197.31/197.47 c | 237896 | 3896 16664 50616 | 2147483647 205483 106 | 0.000 % |
198.31/198.44 c | 238616 | 3896 16664 50616 | 2147483647 206203 106 | 0.000 % |
199.31/199.46 c | 239408 | 3896 16664 50616 | 2147483647 206995 106 | 0.000 % |
200.61/200.73 c | 240281 | 3896 16664 50616 | 207587 207868 106 | 0.000 % |
202.11/202.20 c | 241239 | 3896 16664 50616 | 207587 185787 106 | 0.000 % |
203.41/203.53 c | 242295 | 3896 16664 50616 | 207587 186843 106 | 0.000 % |
204.81/204.94 c | 243453 | 3896 16664 50616 | 207587 188001 106 | 0.000 % |
206.31/206.41 c | 244726 | 3896 16664 50616 | 207587 189274 106 | 0.000 % |
207.91/208.06 c | 246126 | 3896 16664 50616 | 207587 190674 106 | 0.000 % |
209.91/210.01 c | 247666 | 3896 16664 50616 | 207587 192214 106 | 0.000 % |
211.91/212.08 c | 249364 | 3896 16664 50616 | 207587 193912 107 | 0.000 % |
214.31/214.45 c | 251227 | 3896 16664 50616 | 2147483647 195775 107 | 0.000 % |
216.81/216.96 c | 253277 | 3896 16664 50616 | 2147483647 197825 107 | 0.000 % |
219.61/219.72 c | 255531 | 3896 16664 50616 | 2147483647 200079 107 | 0.000 % |
223.11/223.28 c | 258010 | 3896 16664 50616 | 2147483647 202558 107 | 0.000 % |
223.30/223.49 c | 258112 | 3896 16664 50616 | 2147483647 202660 107 | 0.000 % |
223.60/223.70 c | 258222 | 3896 16664 50616 | 2147483647 202770 107 | 0.000 % |
223.80/223.92 c | 258344 | 3896 16664 50616 | 2147483647 202892 107 | 0.000 % |
224.00/224.14 c | 258477 | 3896 16664 50616 | 2147483647 203025 107 | 0.000 % |
224.21/224.36 c | 258623 | 3896 16664 50616 | 2147483647 203171 107 | 0.000 % |
224.40/224.59 c | 258783 | 3896 16664 50616 | 2147483647 203331 107 | 0.000 % |
224.70/224.86 c | 258960 | 3896 16664 50616 | 2147483647 203508 107 | 0.000 % |
225.10/225.20 c | 259153 | 3896 16664 50616 | 2147483647 203701 107 | 0.000 % |
225.41/225.52 c | 259365 | 3896 16664 50616 | 2147483647 203913 107 | 0.000 % |
225.80/225.90 c | 259598 | 3896 16664 50616 | 2147483647 204146 107 | 0.000 % |
226.20/226.34 c | 259855 | 3896 16664 50616 | 2147483647 204403 107 | 0.000 % |
226.60/226.78 c | 260138 | 3896 16664 50616 | 2147483647 204686 107 | 0.000 % |
227.10/227.30 c | 260447 | 3896 16664 50616 | 2147483647 204995 107 | 0.000 % |
227.61/227.78 c | 260786 | 3896 16664 50616 | 2147483647 205334 107 | 0.000 % |
228.20/228.34 c | 261158 | 3896 16664 50616 | 2147483647 205706 107 | 0.000 % |
228.80/228.96 c | 261568 | 3896 16664 50616 | 2147483647 206116 107 | 0.000 % |
229.50/229.61 c | 262017 | 3896 16664 50616 | 2147483647 206565 107 | 0.000 % |
230.20/230.34 c | 262511 | 3896 16664 50616 | 2147483647 207059 107 | 0.000 % |
231.00/231.17 c | 263054 | 3896 16664 50616 | 2147483647 207602 107 | 0.000 % |
231.90/232.04 c | 263651 | 3896 16664 50616 | 2147483647 208199 107 | 0.000 % |
232.80/233.00 c | 264306 | 3896 16664 50616 | 2147483647 208854 107 | 0.000 % |
233.90/234.01 c | 265027 | 3896 16664 50616 | 2147483647 209575 107 | 0.000 % |
235.00/235.15 c | 265822 | 3896 16664 50616 | 2147483647 210370 107 | 0.000 % |
236.30/236.40 c | 266695 | 3896 16664 50616 | 2147483647 211243 107 | 0.000 % |
237.70/237.82 c | 267653 | 3896 16664 50616 | 2147483647 212201 107 | 0.000 % |
239.10/239.27 c | 268706 | 3896 16664 50616 | 2147483647 213254 107 | 0.000 % |
240.80/240.92 c | 269865 | 3896 16664 50616 | 2147483647 214413 107 | 0.000 % |
242.80/242.90 c | 271141 | 3896 16664 50616 | 214548 188334 108 | 0.000 % |
244.50/244.62 c | 272542 | 3896 16664 50616 | 214548 189735 108 | 0.000 % |
246.40/246.59 c | 274084 | 3896 16664 50616 | 214548 191277 108 | 0.000 % |
248.80/248.91 c | 275778 | 3896 16664 50616 | 214548 192971 108 | 0.000 % |
251.10/251.28 c | 277642 | 3896 16664 50616 | 214548 194835 108 | 0.000 % |
253.60/253.76 c | 279693 | 3896 16664 50616 | 214548 196886 108 | 0.000 % |
256.60/256.73 c | 281947 | 3896 16664 50616 | 2147483647 199140 109 | 0.000 % |
259.80/259.91 c | 284425 | 3896 16664 50616 | 2147483647 201618 109 | 0.000 % |
263.30/263.46 c | 287152 | 3896 16664 50616 | 2147483647 204345 109 | 0.000 % |
263.50/263.61 c | 287253 | 3896 16664 50616 | 2147483647 204446 109 | 0.000 % |
263.60/263.78 c | 287363 | 3896 16664 50616 | 2147483647 204556 109 | 0.000 % |
263.80/263.97 c | 287485 | 3896 16664 50616 | 2147483647 204678 109 | 0.000 % |
264.10/264.21 c | 287620 | 3896 16664 50616 | 2147483647 204813 109 | 0.000 % |
264.30/264.45 c | 287766 | 3896 16664 50616 | 2147483647 204959 109 | 0.000 % |
264.60/264.72 c | 287926 | 3896 16664 50616 | 2147483647 205119 109 | 0.000 % |
264.90/265.00 c | 288103 | 3896 16664 50616 | 2147483647 205296 109 | 0.000 % |
265.20/265.32 c | 288297 | 3896 16664 50616 | 2147483647 205490 109 | 0.000 % |
265.50/265.64 c | 288509 | 3896 16664 50616 | 2147483647 205702 109 | 0.000 % |
265.90/266.07 c | 288744 | 3896 16664 50616 | 2147483647 205937 109 | 0.000 % |
266.30/266.49 c | 289000 | 3896 16664 50616 | 2147483647 206193 109 | 0.000 % |
266.80/266.99 c | 289282 | 3896 16664 50616 | 2147483647 206475 109 | 0.000 % |
267.30/267.43 c | 289591 | 3896 16664 50616 | 2147483647 206784 109 | 0.000 % |
267.90/268.00 c | 289931 | 3896 16664 50616 | 2147483647 207124 109 | 0.000 % |
268.40/268.57 c | 290305 | 3896 16664 50616 | 207193 207498 109 | 0.000 % |
269.20/269.35 c | 290715 | 3896 16664 50616 | 207193 185557 109 | 0.000 % |
269.79/269.95 c | 291164 | 3896 16664 50616 | 207193 186006 109 | 0.000 % |
270.40/270.56 c | 291657 | 3896 16664 50616 | 207193 186499 109 | 0.000 % |
271.09/271.26 c | 292200 | 3896 16664 50616 | 207193 187042 109 | 0.000 % |
271.79/271.98 c | 292796 | 3896 16664 50616 | 207193 187638 109 | 0.000 % |
272.70/272.82 c | 293451 | 3896 16664 50616 | 207193 188293 109 | 0.000 % |
273.59/273.71 c | 294172 | 3896 16664 50616 | 207193 189014 109 | 0.000 % |
274.59/274.71 c | 294964 | 3896 16664 50616 | 207193 189806 109 | 0.000 % |
275.69/275.80 c | 295836 | 3896 16664 50616 | 207193 190678 109 | 0.000 % |
276.89/277.05 c | 296796 | 3896 16664 50616 | 207193 191638 109 | 0.000 % |
278.29/278.40 c | 297849 | 3896 16664 50616 | 207193 192691 109 | 0.000 % |
279.69/279.83 c | 299011 | 3896 16664 50616 | 207193 193853 109 | 0.000 % |
281.40/281.53 c | 300287 | 3896 16664 50616 | 2147483647 195129 109 | 0.000 % |
283.29/283.43 c | 301688 | 3896 16664 50616 | 2147483647 196530 109 | 0.000 % |
285.29/285.42 c | 303228 | 3896 16664 50616 | 2147483647 198070 109 | 0.000 % |
287.29/287.49 c | 304922 | 3896 16664 50616 | 2147483647 199764 109 | 0.000 % |
289.69/289.83 c | 306787 | 3896 16664 50616 | 2147483647 201629 109 | 0.000 % |
292.39/292.58 c | 308836 | 3896 16664 50616 | 2147483647 203678 109 | 0.000 % |
295.29/295.44 c | 311090 | 3896 16664 50616 | 2147483647 205932 109 | 0.000 % |
298.49/298.63 c | 313568 | 3896 16664 50616 | 2147483647 208410 109 | 0.000 % |
302.09/302.25 c | 316293 | 3896 16664 50616 | 2147483647 211135 110 | 0.000 % |
306.09/306.23 c | 319292 | 3896 16664 50616 | 2147483647 214134 110 | 0.000 % |
306.19/306.34 c | 319392 | 3896 16664 50616 | 2147483647 214234 110 | 0.000 % |
306.39/306.53 c | 319503 | 3896 16664 50616 | 2147483647 214345 110 | 0.000 % |
306.59/306.77 c | 319624 | 3896 16664 50616 | 2147483647 214466 110 | 0.000 % |
306.89/307.01 c | 319757 | 3896 16664 50616 | 2147483647 214599 110 | 0.000 % |
307.09/307.26 c | 319904 | 3896 16664 50616 | 2147483647 214746 110 | 0.000 % |
307.39/307.55 c | 320064 | 3896 16664 50616 | 214842 214906 110 | 0.000 % |
307.89/308.06 c | 320240 | 3896 16664 50616 | 214842 192002 110 | 0.000 % |
308.19/308.37 c | 320433 | 3896 16664 50616 | 214842 192195 110 | 0.000 % |
308.59/308.71 c | 320650 | 3896 16664 50616 | 214842 192412 110 | 0.000 % |
308.89/309.06 c | 320884 | 3896 16664 50616 | 214842 192646 110 | 0.000 % |
309.29/309.44 c | 321140 | 3896 16664 50616 | 214842 192902 110 | 0.000 % |
309.69/309.80 c | 321421 | 3896 16664 50616 | 214842 193183 110 | 0.000 % |
310.09/310.26 c | 321730 | 3896 16664 50616 | 214842 193492 110 | 0.000 % |
310.59/310.77 c | 322074 | 3896 16664 50616 | 214842 193836 110 | 0.000 % |
311.09/311.23 c | 322446 | 3896 16664 50616 | 214842 194208 110 | 0.000 % |
311.58/311.79 c | 322855 | 3896 16664 50616 | 214842 194617 110 | 0.000 % |
312.19/312.37 c | 323304 | 3896 16664 50616 | 214842 195066 110 | 0.000 % |
312.88/313.09 c | 323797 | 3896 16664 50616 | 214842 195559 110 | 0.000 % |
313.68/313.81 c | 324341 | 3896 16664 50616 | 214842 196103 110 | 0.000 % |
314.49/314.69 c | 324938 | 3896 16664 50616 | 214842 196700 110 | 0.000 % |
315.49/315.64 c | 325593 | 3896 16664 50616 | 214842 197355 110 | 0.000 % |
316.48/316.66 c | 326315 | 3896 16664 50616 | 214842 198077 110 | 0.000 % |
317.58/317.77 c | 327110 | 3896 16664 50616 | 214842 198872 110 | 0.000 % |
318.79/318.97 c | 327981 | 3896 16664 50616 | 214842 199743 110 | 0.000 % |
320.18/320.32 c | 328945 | 3896 16664 50616 | 214842 200707 110 | 0.000 % |
321.48/321.69 c | 330000 | 3896 16664 50616 | 214842 201762 110 | 0.000 % |
323.38/323.50 c | 331158 | 3896 16664 50616 | 201762 180641 110 | 0.000 % |
324.78/324.98 c | 332431 | 3896 16664 50616 | 201762 181914 110 | 0.000 % |
326.49/326.64 c | 333833 | 3896 16664 50616 | 201762 183316 110 | 0.000 % |
328.38/328.50 c | 335374 | 3896 16664 50616 | 201762 184857 110 | 0.000 % |
330.38/330.57 c | 337068 | 3896 16664 50616 | 201762 186551 110 | 0.000 % |
332.88/333.00 c | 338931 | 3896 16664 50616 | 201762 188414 110 | 0.000 % |
335.48/335.64 c | 340980 | 3896 16664 50616 | 2147483647 190463 110 | 0.000 % |
338.47/338.61 c | 343235 | 3896 16664 50616 | 2147483647 192718 110 | 0.000 % |
341.37/341.59 c | 345714 | 3896 16664 50616 | 2147483647 195197 110 | 0.000 % |
344.77/344.97 c | 348441 | 3896 16664 50616 | 2147483647 197924 111 | 0.000 % |
348.48/348.66 c | 351439 | 3896 16664 50616 | 2147483647 200922 111 | 0.000 % |
352.38/352.54 c | 354737 | 3896 16664 50616 | 2147483647 204220 111 | 0.000 % |
352.48/352.70 c | 354837 | 3896 16664 50616 | 2147483647 204320 111 | 0.000 % |
352.68/352.90 c | 354947 | 3896 16664 50616 | 2147483647 204430 111 | 0.000 % |
352.98/353.11 c | 355068 | 3896 16664 50616 | 2147483647 204551 111 | 0.000 % |
353.18/353.37 c | 355202 | 3896 16664 50616 | 2147483647 204685 111 | 0.000 % |
353.48/353.61 c | 355349 | 3896 16664 50616 | 2147483647 204832 111 | 0.000 % |
353.68/353.87 c | 355509 | 3896 16664 50616 | 2147483647 204992 111 | 0.000 % |
353.98/354.19 c | 355688 | 3896 16664 50616 | 2147483647 205171 111 | 0.000 % |
354.28/354.47 c | 355887 | 3896 16664 50616 | 2147483647 205370 111 | 0.000 % |
354.68/354.81 c | 356099 | 3896 16664 50616 | 2147483647 205582 111 | 0.000 % |
354.98/355.19 c | 356333 | 3896 16664 50616 | 2147483647 205816 111 | 0.000 % |
355.38/355.57 c | 356590 | 3896 16664 50616 | 2147483647 206073 111 | 0.000 % |
355.88/356.06 c | 356872 | 3896 16664 50616 | 2147483647 206355 111 | 0.000 % |
356.38/356.53 c | 357181 | 3896 16664 50616 | 2147483647 206664 111 | 0.000 % |
356.88/357.07 c | 357521 | 3896 16664 50616 | 2147483647 207004 111 | 0.000 % |
357.48/357.69 c | 357893 | 3896 16664 50616 | 2147483647 207376 111 | 0.000 % |
358.08/358.27 c | 358305 | 3896 16664 50616 | 2147483647 207788 111 | 0.000 % |
358.78/358.91 c | 358755 | 3896 16664 50616 | 2147483647 208238 111 | 0.000 % |
359.48/359.61 c | 359249 | 3896 16664 50616 | 2147483647 208732 111 | 0.000 % |
360.28/360.41 c | 359792 | 3896 16664 50616 | 2147483647 209275 111 | 0.000 % |
361.08/361.25 c | 360388 | 3896 16664 50616 | 209484 209871 111 | 0.000 % |
362.27/362.41 c | 361043 | 3896 16664 50616 | 209484 188939 111 | 0.000 % |
363.27/363.42 c | 361763 | 3896 16664 50616 | 209484 189659 111 | 0.000 % |
364.27/364.49 c | 362556 | 3896 16664 50616 | 209484 190452 111 | 0.000 % |
365.57/365.75 c | 363427 | 3896 16664 50616 | 209484 191323 111 | 0.000 % |
366.87/367.04 c | 364387 | 3896 16664 50616 | 209484 192283 111 | 0.000 % |
368.17/368.40 c | 365440 | 3896 16664 50616 | 209484 193336 111 | 0.000 % |
369.67/369.82 c | 366598 | 3896 16664 50616 | 209484 194494 111 | 0.000 % |
371.37/371.57 c | 367873 | 3896 16664 50616 | 209484 195769 111 | 0.000 % |
373.27/373.43 c | 369274 | 3896 16664 50616 | 209484 197170 111 | 0.000 % |
375.17/375.36 c | 370817 | 3896 16664 50616 | 2147483647 198713 111 | 0.000 % |
377.37/377.50 c | 372512 | 3896 16664 50616 | 2147483647 200408 111 | 0.000 % |
379.77/379.99 c | 374378 | 3896 16664 50616 | 2147483647 202274 111 | 0.000 % |
382.57/382.74 c | 376428 | 3896 16664 50616 | 2147483647 204324 111 | 0.000 % |
385.47/385.63 c | 378681 | 3896 16664 50616 | 2147483647 206577 111 | 0.000 % |
388.86/389.06 c | 381159 | 3896 16664 50616 | 2147483647 209055 111 | 0.000 % |
392.66/392.83 c | 383885 | 3896 16664 50616 | 2147483647 211781 111 | 0.000 % |
396.66/396.88 c | 386883 | 3896 16664 50616 | 2147483647 214779 111 | 0.000 % |
401.16/401.30 c | 390179 | 3896 16664 50616 | 217897 218075 111 | 0.000 % |
405.96/406.15 c | 393806 | 3896 16664 50616 | 217897 199739 111 | 0.000 % |
406.16/406.31 c | 393907 | 3896 16664 50616 | 217897 199840 111 | 0.000 % |
406.36/406.51 c | 394017 | 3896 16664 50616 | 217897 199950 111 | 0.000 % |
406.56/406.74 c | 394138 | 3896 16664 50616 | 217897 200071 111 | 0.000 % |
406.77/406.96 c | 394271 | 3896 16664 50616 | 217897 200204 111 | 0.000 % |
407.06/407.20 c | 394418 | 3896 16664 50616 | 217897 200351 111 | 0.000 % |
407.26/407.44 c | 394578 | 3896 16664 50616 | 217897 200511 111 | 0.000 % |
407.56/407.78 c | 394754 | 3896 16664 50616 | 217897 200687 111 | 0.000 % |
407.86/408.08 c | 394948 | 3896 16664 50616 | 217897 200881 111 | 0.000 % |
408.26/408.42 c | 395160 | 3896 16664 50616 | 217897 201093 111 | 0.000 % |
408.56/408.76 c | 395394 | 3896 16664 50616 | 217897 201327 111 | 0.000 % |
408.96/409.17 c | 395650 | 3896 16664 50616 | 217897 201583 111 | 0.000 % |
409.36/409.58 c | 395933 | 3896 16664 50616 | 217897 201866 111 | 0.000 % |
409.86/410.07 c | 396242 | 3896 16664 50616 | 217897 202175 111 | 0.000 % |
410.36/410.56 c | 396581 | 3896 16664 50616 | 217897 202514 111 | 0.000 % |
410.96/411.13 c | 396954 | 3896 16664 50616 | 217897 202887 111 | 0.000 % |
411.56/411.77 c | 397365 | 3896 16664 50616 | 217897 203298 111 | 0.000 % |
412.16/412.40 c | 397815 | 3896 16664 50616 | 217897 203748 111 | 0.000 % |
412.96/413.13 c | 398308 | 3896 16664 50616 | 217897 204241 111 | 0.000 % |
413.66/413.89 c | 398850 | 3896 16664 50616 | 217897 204783 111 | 0.000 % |
414.56/414.78 c | 399448 | 3896 16664 50616 | 217897 205381 111 | 0.000 % |
415.45/415.68 c | 400106 | 3896 16664 50616 | 205934 206039 111 | 0.000 % |
416.66/416.85 c | 400826 | 3896 16664 50616 | 205934 182648 112 | 0.000 % |
417.65/417.83 c | 401618 | 3896 16664 50616 | 205934 183440 112 | 0.000 % |
418.65/418.83 c | 402490 | 3896 16664 50616 | 205934 184312 112 | 0.000 % |
419.75/419.95 c | 403448 | 3896 16664 50616 | 205934 185270 112 | 0.000 % |
421.06/421.22 c | 404505 | 3896 16664 50616 | 205934 186327 112 | 0.000 % |
422.55/422.75 c | 405664 | 3896 16664 50616 | 205934 187486 112 | 0.000 % |
424.25/424.40 c | 406937 | 3896 16664 50616 | 205934 188759 112 | 0.000 % |
425.95/426.16 c | 408339 | 3896 16664 50616 | 205934 190161 112 | 0.000 % |
427.95/428.13 c | 409883 | 3896 16664 50616 | 205934 191705 112 | 0.000 % |
430.05/430.23 c | 411581 | 3896 16664 50616 | 2147483647 193403 112 | 0.000 % |
432.15/432.36 c | 413445 | 3896 16664 50616 | 2147483647 195267 112 | 0.000 % |
434.75/434.97 c | 415494 | 3896 16664 50616 | 2147483647 197316 112 | 0.000 % |
437.55/437.80 c | 417747 | 3896 16664 50616 | 2147483647 199569 112 | 0.000 % |
440.54/440.76 c | 420226 | 3896 16664 50616 | 2147483647 202048 112 | 0.000 % |
443.94/444.10 c | 422953 | 3896 16664 50616 | 2147483647 204775 113 | 0.000 % |
447.94/448.16 c | 425950 | 3896 16664 50616 | 2147483647 207772 113 | 0.000 % |
452.24/452.40 c | 429247 | 3896 16664 50616 | 2147483647 211069 113 | 0.000 % |
457.04/457.24 c | 432875 | 3896 16664 50616 | 2147483647 214697 113 | 0.000 % |
462.44/462.60 c | 436862 | 3896 16664 50616 | 2147483647 218684 113 | 0.000 % |
462.54/462.74 c | 436964 | 3896 16664 50616 | 2147483647 218786 113 | 0.000 % |
462.74/462.93 c | 437074 | 3896 16664 50616 | 2147483647 218896 113 | 0.000 % |
462.94/463.18 c | 437195 | 3896 16664 50616 | 2147483647 219017 113 | 0.000 % |
463.24/463.41 c | 437330 | 3896 16664 50616 | 2147483647 219152 113 | 0.000 % |
463.44/463.66 c | 437476 | 3896 16664 50616 | 2147483647 219298 113 | 0.000 % |
463.74/463.95 c | 437638 | 3896 16664 50616 | 2147483647 219460 113 | 0.000 % |
464.04/464.27 c | 437816 | 3896 16664 50616 | 2147483647 219638 113 | 0.000 % |
464.34/464.59 c | 438009 | 3896 16664 50616 | 2147483647 219831 113 | 0.000 % |
464.73/464.96 c | 438222 | 3896 16664 50616 | 2147483647 220044 113 | 0.000 % |
465.14/465.34 c | 438461 | 3896 16664 50616 | 2147483647 220283 113 | 0.000 % |
465.63/465.80 c | 438717 | 3896 16664 50616 | 2147483647 220539 113 | 0.000 % |
466.03/466.20 c | 439000 | 3896 16664 50616 | 2147483647 220822 113 | 0.000 % |
466.63/466.80 c | 439309 | 3896 16664 50616 | 2147483647 221131 113 | 0.000 % |
467.13/467.34 c | 439649 | 3896 16664 50616 | 2147483647 221471 113 | 0.000 % |
467.73/467.97 c | 440021 | 3896 16664 50616 | 221822 221843 113 | 0.000 % |
468.73/468.90 c | 440430 | 3896 16664 50616 | 221822 196559 112 | 0.000 % |
469.33/469.56 c | 440881 | 3896 16664 50616 | 221822 197010 112 | 0.000 % |
470.13/470.31 c | 441375 | 3896 16664 50616 | 221822 197504 112 | 0.000 % |
470.83/471.03 c | 441917 | 3896 16664 50616 | 221822 198046 112 | 0.000 % |
471.63/471.84 c | 442513 | 3896 16664 50616 | 221822 198642 112 | 0.000 % |
472.63/472.80 c | 443168 | 3896 16664 50616 | 221822 199297 112 | 0.000 % |
473.63/473.81 c | 443890 | 3896 16664 50616 | 221822 200019 112 | 0.000 % |
474.63/474.82 c | 444682 | 3896 16664 50616 | 221822 200811 112 | 0.000 % |
475.83/476.05 c | 445555 | 3896 16664 50616 | 221822 201684 112 | 0.000 % |
477.33/477.59 c | 446514 | 3896 16664 50616 | 221822 202643 112 | 0.000 % |
478.83/479.08 c | 447569 | 3896 16664 50616 | 221822 203698 112 | 0.000 % |
480.53/480.76 c | 448728 | 3896 16664 50616 | 221822 204857 112 | 0.000 % |
482.23/482.49 c | 450001 | 3896 16664 50616 | 221822 206130 112 | 0.000 % |
484.33/484.53 c | 451403 | 3896 16664 50616 | 206130 182945 113 | 0.000 % |
486.32/486.54 c | 452945 | 3896 16664 50616 | 206130 184487 113 | 0.000 % |
488.42/488.63 c | 454639 | 3896 16664 50616 | 206130 186181 113 | 0.000 % |
490.73/490.91 c | 456502 | 3896 16664 50616 | 206130 188044 113 | 0.000 % |
493.23/493.48 c | 458551 | 3896 16664 50616 | 206130 190093 113 | 0.000 % |
496.23/496.43 c | 460806 | 3896 16664 50616 | 2147483647 192348 113 | 0.000 % |
499.23/499.46 c | 463284 | 3896 16664 50616 | 2147483647 194826 113 | 0.000 % |
502.83/503.10 c | 466013 | 3896 16664 50616 | 2147483647 197555 113 | 0.000 % |
507.03/507.26 c | 469011 | 3896 16664 50616 | 2147483647 200553 113 | 0.000 % |
511.53/511.71 c | 472307 | 3896 16664 50616 | 2147483647 203849 113 | 0.000 % |
516.42/516.64 c | 475932 | 3896 16664 50616 | 2147483647 207474 113 | 0.000 % |
521.42/521.69 c | 479919 | 3896 16664 50616 | 2147483647 211461 113 | 0.000 % |
527.12/527.36 c | 484304 | 3896 16664 50616 | 2147483647 215846 113 | 0.000 % |
527.32/527.54 c | 484404 | 3896 16664 50616 | 2147483647 215946 113 | 0.000 % |
527.52/527.73 c | 484515 | 3896 16664 50616 | 2147483647 216057 113 | 0.000 % |
527.73/527.98 c | 484636 | 3896 16664 50616 | 2147483647 216178 113 | 0.000 % |
528.02/528.22 c | 484769 | 3896 16664 50616 | 2147483647 216311 113 | 0.000 % |
528.22/528.47 c | 484916 | 3896 16664 50616 | 2147483647 216458 113 | 0.000 % |
528.52/528.75 c | 485076 | 3896 16664 50616 | 2147483647 216618 113 | 0.000 % |
528.83/529.10 c | 485253 | 3896 16664 50616 | 2147483647 216795 113 | 0.000 % |
529.22/529.46 c | 485448 | 3896 16664 50616 | 2147483647 216990 113 | 0.000 % |
529.62/529.81 c | 485660 | 3896 16664 50616 | 2147483647 217202 113 | 0.000 % |
529.92/530.19 c | 485894 | 3896 16664 50616 | 2147483647 217436 113 | 0.000 % |
530.32/530.56 c | 486150 | 3896 16664 50616 | 2147483647 217692 113 | 0.000 % |
530.72/530.97 c | 486432 | 3896 16664 50616 | 2147483647 217974 113 | 0.000 % |
531.22/531.47 c | 486742 | 3896 16664 50616 | 2147483647 218284 113 | 0.000 % |
531.72/531.97 c | 487081 | 3896 16664 50616 | 2147483647 218623 113 | 0.000 % |
532.42/532.60 c | 487454 | 3896 16664 50616 | 2147483647 218996 113 | 0.000 % |
533.12/533.34 c | 487863 | 3896 16664 50616 | 2147483647 219405 113 | 0.000 % |
533.82/534.05 c | 488314 | 3896 16664 50616 | 2147483647 219856 113 | 0.000 % |
534.62/534.85 c | 488809 | 3896 16664 50616 | 2147483647 220351 113 | 0.000 % |
535.32/535.56 c | 489352 | 3896 16664 50616 | 2147483647 220894 113 | 0.000 % |
536.22/536.41 c | 489949 | 3896 16664 50616 | 2147483647 221491 113 | 0.000 % |
537.22/537.41 c | 490604 | 3896 16664 50616 | 221545 222146 113 | 0.000 % |
538.52/538.70 c | 491325 | 3896 16664 50616 | 221545 193578 113 | 0.000 % |
539.62/539.85 c | 492118 | 3896 16664 50616 | 221545 194371 113 | 0.000 % |
540.92/541.11 c | 492990 | 3896 16664 50616 | 221545 195243 113 | 0.000 % |
542.32/542.53 c | 493948 | 3896 16664 50616 | 221545 196201 113 | 0.000 % |
543.72/543.90 c | 495002 | 3896 16664 50616 | 221545 197255 113 | 0.000 % |
545.42/545.60 c | 496160 | 3896 16664 50616 | 221545 198413 113 | 0.000 % |
547.11/547.39 c | 497435 | 3896 16664 50616 | 221545 199688 113 | 0.000 % |
549.01/549.24 c | 498837 | 3896 16664 50616 | 221545 201090 112 | 0.000 % |
551.01/551.30 c | 500380 | 3896 16664 50616 | 202255 202633 112 | 0.000 % |
553.31/553.58 c | 502074 | 3896 16664 50616 | 202255 181817 113 | 0.000 % |
555.81/556.08 c | 503937 | 3896 16664 50616 | 202255 183680 113 | 0.000 % |
558.31/558.56 c | 505987 | 3896 16664 50616 | 202255 185730 113 | 0.000 % |
561.11/561.31 c | 508241 | 3896 16664 50616 | 202255 187984 113 | 0.000 % |
564.21/564.40 c | 510720 | 3896 16664 50616 | 2147483647 190463 113 | 0.000 % |
567.51/567.71 c | 513446 | 3896 16664 50616 | 2147483647 193189 113 | 0.000 % |
571.20/571.48 c | 516445 | 3896 16664 50616 | 2147483647 196188 113 | 0.000 % |
575.20/575.45 c | 519742 | 3896 16664 50616 | 2147483647 199485 113 | 0.000 % |
579.90/580.17 c | 523367 | 3896 16664 50616 | 2147483647 203110 113 | 0.000 % |
585.00/585.28 c | 527354 | 3896 16664 50616 | 2147483647 207097 113 | 0.000 % |
591.00/591.20 c | 531741 | 3896 16664 50616 | 2147483647 211484 113 | 0.000 % |
597.49/597.76 c | 536564 | 3896 16664 50616 | 2147483647 216307 113 | 0.000 % |
597.69/597.98 c | 536664 | 3896 16664 50616 | 2147483647 216407 113 | 0.000 % |
597.99/598.21 c | 536777 | 3896 16664 50616 | 2147483647 216520 113 | 0.000 % |
598.20/598.43 c | 536898 | 3896 16664 50616 | 2147483647 216641 113 | 0.000 % |
598.39/598.67 c | 537032 | 3896 16664 50616 | 2147483647 216775 113 | 0.000 % |
598.69/598.94 c | 537178 | 3896 16664 50616 | 2147483647 216921 113 | 0.000 % |
598.99/599.23 c | 537341 | 3896 16664 50616 | 2147483647 217084 113 | 0.000 % |
599.30/599.52 c | 537518 | 3896 16664 50616 | 2147483647 217261 113 | 0.000 % |
599.59/599.89 c | 537711 | 3896 16664 50616 | 2147483647 217454 113 | 0.000 % |
599.99/600.26 c | 537923 | 3896 16664 50616 | 2147483647 217666 113 | 0.000 % |
600.40/600.66 c | 538156 | 3896 16664 50616 | 2147483647 217899 113 | 0.000 % |
600.79/601.10 c | 538412 | 3896 16664 50616 | 2147483647 218155 113 | 0.000 % |
601.29/601.56 c | 538693 | 3896 16664 50616 | 2147483647 218436 113 | 0.000 % |
601.79/602.00 c | 539002 | 3896 16664 50616 | 2147483647 218745 113 | 0.000 % |
602.29/602.59 c | 539341 | 3896 16664 50616 | 2147483647 219084 113 | 0.000 % |
602.99/603.20 c | 539713 | 3896 16664 50616 | 2147483647 219456 113 | 0.000 % |
603.60/603.88 c | 540122 | 3896 16664 50616 | 219743 219865 113 | 0.000 % |
604.59/604.80 c | 540572 | 3896 16664 50616 | 219743 193764 113 | 0.000 % |
605.29/605.52 c | 541066 | 3896 16664 50616 | 219743 194258 113 | 0.000 % |
606.09/606.32 c | 541608 | 3896 16664 50616 | 219743 194800 113 | 0.000 % |
606.79/607.05 c | 542204 | 3896 16664 50616 | 219743 195396 113 | 0.000 % |
607.69/607.94 c | 542860 | 3896 16664 50616 | 219743 196052 113 | 0.000 % |
608.69/608.95 c | 543580 | 3896 16664 50616 | 219743 196772 113 | 0.000 % |
609.79/610.06 c | 544372 | 3896 16664 50616 | 219743 197564 113 | 0.000 % |
610.99/611.26 c | 545244 | 3896 16664 50616 | 219743 198436 113 | 0.000 % |
612.39/612.67 c | 546202 | 3896 16664 50616 | 219743 199394 113 | 0.000 % |
613.89/614.15 c | 547257 | 3896 16664 50616 | 219743 200449 113 | 0.000 % |
615.49/615.73 c | 548415 | 3896 16664 50616 | 219743 201607 113 | 0.000 % |
617.29/617.52 c | 549688 | 3896 16664 50616 | 219743 202880 113 | 0.000 % |
619.39/619.64 c | 551088 | 3896 16664 50616 | 203192 182141 113 | 0.000 % |
621.19/621.49 c | 552628 | 3896 16664 50616 | 203192 183681 113 | 0.000 % |
623.39/623.63 c | 554322 | 3896 16664 50616 | 203192 185375 113 | 0.000 % |
625.69/625.97 c | 556186 | 3896 16664 50616 | 203192 187239 113 | 0.000 % |
628.28/628.51 c | 558236 | 3896 16664 50616 | 203192 189289 113 | 0.000 % |
630.98/631.24 c | 560489 | 3896 16664 50616 | 2147483647 191542 113 | 0.000 % |
634.08/634.36 c | 562970 | 3896 16664 50616 | 2147483647 194023 113 | 0.000 % |
637.78/638.08 c | 565696 | 3896 16664 50616 | 2147483647 196749 113 | 0.000 % |
641.68/641.97 c | 568694 | 3896 16664 50616 | 2147483647 199747 113 | 0.000 % |
646.08/646.37 c | 571990 | 3896 16664 50616 | 2147483647 203043 113 | 0.000 % |
650.57/650.86 c | 575615 | 3896 16664 50616 | 2147483647 206668 114 | 0.000 % |
655.77/656.07 c | 579603 | 3896 16664 50616 | 2147483647 210656 114 | 0.000 % |
661.57/661.87 c | 583988 | 3896 16664 50616 | 2147483647 215041 114 | 0.000 % |
668.37/668.60 c | 588811 | 3896 16664 50616 | 2147483647 219864 114 | 0.000 % |
675.97/676.22 c | 594117 | 3896 16664 50616 | 221054 201067 114 | 0.000 % |
676.07/676.37 c | 594218 | 3896 16664 50616 | 221054 201168 114 | 0.000 % |
676.28/676.56 c | 594328 | 3896 16664 50616 | 221054 201278 114 | 0.000 % |
676.47/676.74 c | 594449 | 3896 16664 50616 | 221054 201399 114 | 0.000 % |
676.67/676.96 c | 594582 | 3896 16664 50616 | 221054 201532 114 | 0.000 % |
676.97/677.24 c | 594730 | 3896 16664 50616 | 221054 201680 114 | 0.000 % |
677.17/677.47 c | 594890 | 3896 16664 50616 | 221054 201840 114 | 0.000 % |
677.47/677.74 c | 595066 | 3896 16664 50616 | 221054 202016 114 | 0.000 % |
677.87/678.10 c | 595260 | 3896 16664 50616 | 221054 202210 114 | 0.000 % |
678.17/678.42 c | 595472 | 3896 16664 50616 | 221054 202422 114 | 0.000 % |
678.57/678.81 c | 595707 | 3896 16664 50616 | 221054 202657 114 | 0.000 % |
678.87/679.17 c | 595964 | 3896 16664 50616 | 221054 202914 114 | 0.000 % |
679.37/679.62 c | 596246 | 3896 16664 50616 | 221054 203196 114 | 0.000 % |
679.77/680.07 c | 596557 | 3896 16664 50616 | 221054 203507 114 | 0.000 % |
680.37/680.62 c | 596896 | 3896 16664 50616 | 221054 203846 114 | 0.000 % |
680.87/681.17 c | 597268 | 3896 16664 50616 | 221054 204218 114 | 0.000 % |
681.47/681.75 c | 597677 | 3896 16664 50616 | 221054 204627 114 | 0.000 % |
682.17/682.46 c | 598129 | 3896 16664 50616 | 221054 205079 114 | 0.000 % |
682.97/683.20 c | 598623 | 3896 16664 50616 | 221054 205573 114 | 0.000 % |
683.77/684.04 c | 599165 | 3896 16664 50616 | 221054 206115 114 | 0.000 % |
684.67/684.93 c | 599761 | 3896 16664 50616 | 221054 206711 114 | 0.000 % |
685.67/685.91 c | 600416 | 3896 16664 50616 | 206951 207366 114 | 0.000 % |
686.86/687.10 c | 601136 | 3896 16664 50616 | 206951 184498 114 | 0.000 % |
687.76/688.09 c | 601928 | 3896 16664 50616 | 206951 185290 114 | 0.000 % |
688.86/689.16 c | 602800 | 3896 16664 50616 | 206951 186162 114 | 0.000 % |
690.06/690.39 c | 603760 | 3896 16664 50616 | 206951 187122 114 | 0.000 % |
691.46/691.73 c | 604813 | 3896 16664 50616 | 206951 188175 114 | 0.000 % |
692.86/693.20 c | 605971 | 3896 16664 50616 | 206951 189333 114 | 0.000 % |
694.36/694.67 c | 607245 | 3896 16664 50616 | 206951 190607 114 | 0.000 % |
696.06/696.38 c | 608646 | 3896 16664 50616 | 206951 192008 114 | 0.000 % |
698.06/698.30 c | 610186 | 3896 16664 50616 | 2147483647 193548 114 | 0.000 % |
700.26/700.50 c | 611880 | 3896 16664 50616 | 2147483647 195242 114 | 0.000 % |
702.66/702.97 c | 613744 | 3896 16664 50616 | 2147483647 197106 114 | 0.000 % |
705.36/705.60 c | 615796 | 3896 16664 50616 | 2147483647 199158 114 | 0.000 % |
708.26/708.53 c | 618049 | 3896 16664 50616 | 2147483647 201411 114 | 0.000 % |
711.65/711.94 c | 620528 | 3896 16664 50616 | 2147483647 203890 114 | 0.000 % |
715.15/715.45 c | 623254 | 3896 16664 50616 | 2147483647 206616 114 | 0.000 % |
719.25/719.57 c | 626251 | 3896 16664 50616 | 2147483647 209613 113 | 0.000 % |
723.75/724.09 c | 629547 | 3896 16664 50616 | 2147483647 212909 114 | 0.000 % |
728.45/728.79 c | 633172 | 3896 16664 50616 | 2147483647 216534 114 | 0.000 % |
733.65/733.93 c | 637160 | 3896 16664 50616 | 2147483647 220522 114 | 0.000 % |
740.15/740.43 c | 641545 | 3896 16664 50616 | 223364 199837 115 | 0.000 % |
746.55/746.85 c | 646368 | 3896 16664 50616 | 223364 204660 115 | 0.000 % |
753.75/754.06 c | 651673 | 3896 16664 50616 | 208295 187123 116 | 0.000 % |
761.05/761.31 c | 657508 | 3896 16664 50616 | 208295 192958 116 | 0.000 % |
761.25/761.53 c | 657610 | 3896 16664 50616 | 208295 193060 116 | 0.000 % |
761.35/761.69 c | 657720 | 3896 16664 50616 | 208295 193170 116 | 0.000 % |
761.55/761.89 c | 657841 | 3896 16664 50616 | 208295 193291 116 | 0.000 % |
761.85/762.11 c | 657976 | 3896 16664 50616 | 208295 193426 116 | 0.000 % |
762.05/762.35 c | 658123 | 3896 16664 50616 | 208295 193573 116 | 0.000 % |
762.35/762.62 c | 658283 | 3896 16664 50616 | 208295 193733 116 | 0.000 % |
762.55/762.89 c | 658460 | 3896 16664 50616 | 208295 193910 116 | 0.000 % |
762.85/763.20 c | 658655 | 3896 16664 50616 | 208295 194105 116 | 0.000 % |
763.25/763.51 c | 658869 | 3896 16664 50616 | 208295 194319 116 | 0.000 % |
763.54/763.87 c | 659102 | 3896 16664 50616 | 208295 194552 116 | 0.000 % |
763.94/764.24 c | 659361 | 3896 16664 50616 | 208295 194811 116 | 0.000 % |
764.34/764.65 c | 659643 | 3896 16664 50616 | 208295 195093 116 | 0.000 % |
764.74/765.08 c | 659952 | 3896 16664 50616 | 208295 195402 116 | 0.000 % |
765.25/765.57 c | 660291 | 3896 16664 50616 | 2147483647 195741 116 | 0.000 % |
765.84/766.15 c | 660663 | 3896 16664 50616 | 2147483647 196113 116 | 0.000 % |
766.45/766.75 c | 661074 | 3896 16664 50616 | 2147483647 196524 116 | 0.000 % |
767.14/767.43 c | 661525 | 3896 16664 50616 | 2147483647 196975 115 | 0.000 % |
767.84/768.17 c | 662019 | 3896 16664 50616 | 2147483647 197469 115 | 0.000 % |
768.65/768.94 c | 662561 | 3896 16664 50616 | 2147483647 198011 115 | 0.000 % |
769.44/769.78 c | 663157 | 3896 16664 50616 | 2147483647 198607 115 | 0.000 % |
770.44/770.74 c | 663813 | 3896 16664 50616 | 2147483647 199263 115 | 0.000 % |
771.34/771.65 c | 664533 | 3896 16664 50616 | 2147483647 199983 115 | 0.000 % |
772.44/772.76 c | 665325 | 3896 16664 50616 | 2147483647 200775 115 | 0.000 % |
773.74/774.01 c | 666196 | 3896 16664 50616 | 2147483647 201646 115 | 0.000 % |
775.04/775.34 c | 667156 | 3896 16664 50616 | 2147483647 202606 115 | 0.000 % |
776.44/776.75 c | 668210 | 3896 16664 50616 | 2147483647 203660 115 | 0.000 % |
778.04/778.31 c | 669369 | 3896 16664 50616 | 2147483647 204819 115 | 0.000 % |
780.04/780.31 c | 670644 | 3896 16664 50616 | 205451 185050 115 | 0.000 % |
781.94/782.20 c | 672045 | 3896 16664 50616 | 205451 186451 115 | 0.000 % |
783.84/784.19 c | 673586 | 3896 16664 50616 | 205451 187992 115 | 0.000 % |
786.04/786.36 c | 675280 | 3896 16664 50616 | 205451 189686 115 | 0.000 % |
788.24/788.59 c | 677143 | 3896 16664 50616 | 205451 191549 115 | 0.000 % |
790.83/791.18 c | 679193 | 3896 16664 50616 | 205451 193599 115 | 0.000 % |
793.63/793.94 c | 681447 | 3896 16664 50616 | 2147483647 195853 115 | 0.000 % |
796.73/797.09 c | 683927 | 3896 16664 50616 | 2147483647 198333 115 | 0.000 % |
800.44/800.76 c | 686653 | 3896 16664 50616 | 2147483647 201059 115 | 0.000 % |
804.33/804.65 c | 689650 | 3896 16664 50616 | 2147483647 204056 115 | 0.000 % |
808.33/808.66 c | 692946 | 3896 16664 50616 | 2147483647 207352 115 | 0.000 % |
813.13/813.46 c | 696571 | 3896 16664 50616 | 2147483647 210977 115 | 0.000 % |
818.53/818.84 c | 700558 | 3896 16664 50616 | 2147483647 214964 116 | 0.000 % |
824.43/824.79 c | 704943 | 3896 16664 50616 | 2147483647 219349 116 | 0.000 % |
830.72/831.03 c | 709767 | 3896 16664 50616 | 2147483647 224173 116 | 0.000 % |
837.82/838.11 c | 715072 | 3896 16664 50616 | 224406 206108 116 | 0.000 % |
846.02/846.37 c | 720909 | 3896 16664 50616 | 211036 189891 117 | 0.000 % |
854.12/854.45 c | 727327 | 3896 16664 50616 | 211036 196309 117 | 0.000 % |
854.22/854.58 c | 727428 | 3896 16664 50616 | 211036 196410 117 | 0.000 % |
854.42/854.74 c | 727538 | 3896 16664 50616 | 211036 196520 117 | 0.000 % |
854.62/854.99 c | 727660 | 3896 16664 50616 | 211036 196642 117 | 0.000 % |
854.92/855.24 c | 727797 | 3896 16664 50616 | 211036 196779 117 | 0.000 % |
855.12/855.46 c | 727943 | 3896 16664 50616 | 211036 196925 117 | 0.000 % |
855.42/855.71 c | 728103 | 3896 16664 50616 | 211036 197085 117 | 0.000 % |
855.71/856.00 c | 728280 | 3896 16664 50616 | 211036 197262 117 | 0.000 % |
856.01/856.31 c | 728474 | 3896 16664 50616 | 211036 197456 117 | 0.000 % |
856.31/856.62 c | 728686 | 3896 16664 50616 | 211036 197668 117 | 0.000 % |
856.71/857.02 c | 728919 | 3896 16664 50616 | 211036 197901 117 | 0.000 % |
857.01/857.37 c | 729175 | 3896 16664 50616 | 211036 198157 117 | 0.000 % |
857.41/857.75 c | 729456 | 3896 16664 50616 | 211036 198438 117 | 0.000 % |
857.91/858.24 c | 729767 | 3896 16664 50616 | 211036 198749 117 | 0.000 % |
858.31/858.69 c | 730107 | 3896 16664 50616 | 2147483647 199089 117 | 0.000 % |
858.91/859.24 c | 730479 | 3896 16664 50616 | 2147483647 199461 117 | 0.000 % |
859.51/859.80 c | 730890 | 3896 16664 50616 | 2147483647 199872 117 | 0.000 % |
860.11/860.46 c | 731339 | 3896 16664 50616 | 2147483647 200321 117 | 0.000 % |
860.81/861.17 c | 731833 | 3896 16664 50616 | 2147483647 200815 117 | 0.000 % |
861.61/861.97 c | 732375 | 3896 16664 50616 | 2147483647 201357 117 | 0.000 % |
862.51/862.88 c | 732971 | 3896 16664 50616 | 2147483647 201953 116 | 0.000 % |
863.51/863.84 c | 733628 | 3896 16664 50616 | 2147483647 202610 116 | 0.000 % |
864.51/864.89 c | 734348 | 3896 16664 50616 | 2147483647 203330 116 | 0.000 % |
865.61/865.98 c | 735140 | 3896 16664 50616 | 2147483647 204122 116 | 0.000 % |
866.81/867.19 c | 736011 | 3896 16664 50616 | 2147483647 204993 116 | 0.000 % |
868.21/868.52 c | 736969 | 3896 16664 50616 | 2147483647 205951 116 | 0.000 % |
869.61/870.00 c | 738024 | 3896 16664 50616 | 2147483647 207006 116 | 0.000 % |
871.41/871.70 c | 739183 | 3896 16664 50616 | 2147483647 208165 116 | 0.000 % |
873.01/873.40 c | 740458 | 3896 16664 50616 | 208983 209440 116 | 0.000 % |
875.11/875.45 c | 741859 | 3896 16664 50616 | 208983 187579 117 | 0.000 % |
877.00/877.30 c | 743399 | 3896 16664 50616 | 208983 189119 117 | 0.000 % |
879.10/879.46 c | 745093 | 3896 16664 50616 | 208983 190813 117 | 0.000 % |
881.70/882.10 c | 746956 | 3896 16664 50616 | 208983 192676 117 | 0.000 % |
884.30/884.69 c | 749005 | 3896 16664 50616 | 208983 194725 117 | 0.000 % |
887.20/887.58 c | 751258 | 3896 16664 50616 | 2147483647 196978 117 | 0.000 % |
890.31/890.66 c | 753736 | 3896 16664 50616 | 2147483647 199456 117 | 0.000 % |
893.81/894.17 c | 756461 | 3896 16664 50616 | 2147483647 202181 117 | 0.000 % |
898.11/898.45 c | 759459 | 3896 16664 50616 | 2147483647 205179 117 | 0.000 % |
902.60/902.92 c | 762756 | 3896 16664 50616 | 2147483647 208476 117 | 0.000 % |
907.50/907.89 c | 766384 | 3896 16664 50616 | 2147483647 212104 117 | 0.000 % |
913.10/913.48 c | 770375 | 3896 16664 50616 | 215721 216095 117 | 0.000 % |
918.90/919.24 c | 774761 | 3896 16664 50616 | 215721 197687 117 | 0.000 % |
925.70/926.01 c | 779584 | 3896 16664 50616 | 215721 202510 117 | 0.000 % |
932.90/933.29 c | 784889 | 3896 16664 50616 | 2147483647 207815 118 | 0.000 % |
940.70/941.03 c | 790726 | 3896 16664 50616 | 212927 191543 118 | 0.000 % |
948.69/949.06 c | 797145 | 3896 16664 50616 | 212927 197962 118 | 0.000 % |
958.39/958.76 c | 804206 | 3896 16664 50616 | 2147483647 205023 118 | 0.000 % |
958.59/958.92 c | 804307 | 3896 16664 50616 | 2147483647 205124 118 | 0.000 % |
958.69/959.09 c | 804417 | 3896 16664 50616 | 2147483647 205234 118 | 0.000 % |
958.89/959.29 c | 804539 | 3896 16664 50616 | 2147483647 205356 118 | 0.000 % |
959.19/959.56 c | 804673 | 3896 16664 50616 | 2147483647 205490 118 | 0.000 % |
959.39/959.79 c | 804819 | 3896 16664 50616 | 2147483647 205636 118 | 0.000 % |
959.69/960.07 c | 804979 | 3896 16664 50616 | 2147483647 205796 118 | 0.000 % |
959.99/960.35 c | 805155 | 3896 16664 50616 | 2147483647 205972 118 | 0.000 % |
960.29/960.68 c | 805349 | 3896 16664 50616 | 2147483647 206166 118 | 0.000 % |
960.69/961.02 c | 805561 | 3896 16664 50616 | 2147483647 206378 118 | 0.000 % |
961.09/961.42 c | 805794 | 3896 16664 50616 | 2147483647 206611 118 | 0.000 % |
961.49/961.84 c | 806050 | 3896 16664 50616 | 2147483647 206867 118 | 0.000 % |
961.99/962.32 c | 806333 | 3896 16664 50616 | 2147483647 207150 118 | 0.000 % |
962.49/962.83 c | 806645 | 3896 16664 50616 | 2147483647 207462 118 | 0.000 % |
962.89/963.28 c | 806984 | 3896 16664 50616 | 2147483647 207801 118 | 0.000 % |
963.49/963.83 c | 807356 | 3896 16664 50616 | 2147483647 208173 118 | 0.000 % |
964.08/964.45 c | 807765 | 3896 16664 50616 | 2147483647 208582 118 | 0.000 % |
964.78/965.13 c | 808215 | 3896 16664 50616 | 2147483647 209032 118 | 0.000 % |
965.39/965.79 c | 808709 | 3896 16664 50616 | 2147483647 209526 118 | 0.000 % |
966.18/966.54 c | 809251 | 3896 16664 50616 | 2147483647 210068 118 | 0.000 % |
966.98/967.39 c | 809847 | 3896 16664 50616 | 2147483647 210664 118 | 0.000 % |
967.98/968.32 c | 810503 | 3896 16664 50616 | 210817 211320 118 | 0.000 % |
969.28/969.66 c | 811225 | 3896 16664 50616 | 210817 187429 118 | 0.000 % |
970.38/970.77 c | 812019 | 3896 16664 50616 | 210817 188223 118 | 0.000 % |
971.58/971.95 c | 812890 | 3896 16664 50616 | 210817 189094 118 | 0.000 % |
972.88/973.21 c | 813849 | 3896 16664 50616 | 210817 190053 118 | 0.000 % |
974.29/974.61 c | 814903 | 3896 16664 50616 | 210817 191107 118 | 0.000 % |
975.78/976.10 c | 816061 | 3896 16664 50616 | 210817 192265 118 | 0.000 % |
977.49/977.86 c | 817335 | 3896 16664 50616 | 210817 193539 118 | 0.000 % |
979.38/979.71 c | 818736 | 3896 16664 50616 | 210817 194940 118 | 0.000 % |
981.38/981.77 c | 820276 | 3896 16664 50616 | 196204 196480 118 | 0.000 % |
983.78/984.12 c | 821971 | 3896 16664 50616 | 196204 178527 118 | 0.000 % |
985.98/986.40 c | 823834 | 3896 16664 50616 | 196204 180390 118 | 0.000 % |
988.68/989.05 c | 825883 | 3896 16664 50616 | 196204 182439 118 | 0.000 % |
991.48/991.81 c | 828136 | 3896 16664 50616 | 196204 184692 118 | 0.000 % |
994.58/994.99 c | 830614 | 3896 16664 50616 | 2147483647 187170 118 | 0.000 % |
997.77/998.14 c | 833339 | 3896 16664 50616 | 2147483647 189895 118 | 0.000 % |
1001.87/1002.23 c | 836336 | 3896 16664 50616 | 2147483647 192892 118 | 0.000 % |
1006.08/1006.42 c | 839634 | 3896 16664 50616 | 2147483647 196190 118 | 0.000 % |
1010.67/1011.09 c | 843259 | 3896 16664 50616 | 2147483647 199815 118 | 0.000 % |
1016.17/1016.52 c | 847246 | 3896 16664 50616 | 2147483647 203802 118 | 0.000 % |
1021.97/1022.37 c | 851631 | 3896 16664 50616 | 2147483647 208187 118 | 0.000 % |
1028.26/1028.66 c | 856456 | 3896 16664 50616 | 2147483647 213012 118 | 0.000 % |
1035.46/1035.87 c | 861761 | 3896 16664 50616 | 2147483647 218317 118 | 0.000 % |
1043.66/1044.06 c | 867596 | 3896 16664 50616 | 2147483647 224152 119 | 0.000 % |
1052.46/1052.86 c | 874014 | 3896 16664 50616 | 226556 201657 119 | 0.000 % |
1061.86/1062.28 c | 881073 | 3896 16664 50616 | 207643 185455 120 | 0.000 % |
1071.35/1071.79 c | 888838 | 3896 16664 50616 | 207643 193220 120 | 0.000 % |
1071.55/1071.92 c | 888939 | 3896 16664 50616 | 207643 193321 120 | 0.000 % |
1071.65/1072.10 c | 889049 | 3896 16664 50616 | 207643 193431 120 | 0.000 % |
1071.95/1072.34 c | 889171 | 3896 16664 50616 | 207643 193553 120 | 0.000 % |
1072.15/1072.55 c | 889308 | 3896 16664 50616 | 207643 193690 120 | 0.000 % |
1072.45/1072.81 c | 889455 | 3896 16664 50616 | 207643 193837 120 | 0.000 % |
1072.65/1073.07 c | 889615 | 3896 16664 50616 | 207643 193997 120 | 0.000 % |
1072.95/1073.32 c | 889792 | 3896 16664 50616 | 207643 194174 120 | 0.000 % |
1073.15/1073.60 c | 889986 | 3896 16664 50616 | 207643 194368 120 | 0.000 % |
1073.45/1073.89 c | 890198 | 3896 16664 50616 | 2147483647 194580 120 | 0.000 % |
1073.85/1074.21 c | 890431 | 3896 16664 50616 | 2147483647 194813 120 | 0.000 % |
1074.25/1074.63 c | 890689 | 3896 16664 50616 | 2147483647 195071 120 | 0.000 % |
1074.65/1075.07 c | 890971 | 3896 16664 50616 | 2147483647 195353 120 | 0.000 % |
1075.15/1075.55 c | 891280 | 3896 16664 50616 | 2147483647 195662 120 | 0.000 % |
1075.65/1076.06 c | 891619 | 3896 16664 50616 | 2147483647 196001 120 | 0.000 % |
1076.15/1076.53 c | 891991 | 3896 16664 50616 | 2147483647 196373 120 | 0.000 % |
1076.75/1077.14 c | 892403 | 3896 16664 50616 | 2147483647 196785 120 | 0.000 % |
1077.35/1077.77 c | 892853 | 3896 16664 50616 | 2147483647 197235 120 | 0.000 % |
1078.05/1078.49 c | 893347 | 3896 16664 50616 | 2147483647 197729 120 | 0.000 % |
1078.85/1079.21 c | 893889 | 3896 16664 50616 | 2147483647 198271 120 | 0.000 % |
1079.75/1080.14 c | 894485 | 3896 16664 50616 | 2147483647 198867 119 | 0.000 % |
1080.65/1081.08 c | 895141 | 3896 16664 50616 | 2147483647 199523 119 | 0.000 % |
1081.64/1082.06 c | 895861 | 3896 16664 50616 | 2147483647 200243 119 | 0.000 % |
1082.74/1083.17 c | 896653 | 3896 16664 50616 | 2147483647 201035 119 | 0.000 % |
1083.94/1084.35 c | 897524 | 3896 16664 50616 | 2147483647 201906 119 | 0.000 % |
1085.25/1085.67 c | 898483 | 3896 16664 50616 | 2147483647 202865 119 | 0.000 % |
1086.74/1087.12 c | 899538 | 3896 16664 50616 | 2147483647 203920 119 | 0.000 % |
1088.55/1088.98 c | 900698 | 3896 16664 50616 | 204383 184275 120 | 0.000 % |
1090.04/1090.49 c | 901971 | 3896 16664 50616 | 204383 185548 120 | 0.000 % |
1091.85/1092.25 c | 903371 | 3896 16664 50616 | 204383 186948 120 | 0.000 % |
1093.74/1094.15 c | 904911 | 3896 16664 50616 | 204383 188488 120 | 0.000 % |
1095.84/1096.30 c | 906605 | 3896 16664 50616 | 204383 190182 120 | 0.000 % |
1098.24/1098.62 c | 908472 | 3896 16664 50616 | 204383 192049 120 | 0.000 % |
1100.74/1101.19 c | 910521 | 3896 16664 50616 | 2147483647 194098 120 | 0.000 % |
1103.84/1104.22 c | 912774 | 3896 16664 50616 | 2147483647 196351 119 | 0.000 % |
1106.94/1107.39 c | 915253 | 3896 16664 50616 | 2147483647 198830 119 | 0.000 % |
1110.54/1110.99 c | 917979 | 3896 16664 50616 | 2147483647 201556 119 | 0.000 % |
1114.64/1115.01 c | 920977 | 3896 16664 50616 | 2147483647 204554 119 | 0.000 % |
1119.03/1119.43 c | 924275 | 3896 16664 50616 | 2147483647 207852 119 | 0.000 % |
1123.74/1124.14 c | 927903 | 3896 16664 50616 | 2147483647 211480 119 | 0.000 % |
1129.24/1129.64 c | 931892 | 3896 16664 50616 | 2147483647 215469 119 | 0.000 % |
1135.23/1135.67 c | 936280 | 3896 16664 50616 | 2147483647 219857 120 | 0.000 % |
1142.43/1142.88 c | 941103 | 3896 16664 50616 | 223579 198668 119 | 0.000 % |
1149.33/1149.76 c | 946408 | 3896 16664 50616 | 223579 203973 119 | 0.000 % |
1156.93/1157.37 c | 952245 | 3896 16664 50616 | 2147483647 209810 119 | 0.000 % |
1166.52/1166.97 c | 958663 | 3896 16664 50616 | 2147483647 216228 119 | 0.000 % |
1176.32/1176.73 c | 965723 | 3896 16664 50616 | 217565 200519 120 | 0.000 % |
1187.11/1187.50 c | 973488 | 3896 16664 50616 | 2147483647 208284 120 | 0.000 % |
1198.72/1199.13 c | 982028 | 3896 16664 50616 | 214796 192764 121 | 0.000 % |
1198.92/1199.31 c | 982128 | 3896 16664 50616 | 214796 192864 121 | 0.000 % |
1199.12/1199.50 c | 982238 | 3896 16664 50616 | 214796 192974 121 | 0.000 % |
1199.22/1199.69 c | 982360 | 3896 16664 50616 | 214796 193096 121 | 0.000 % |
1199.52/1199.91 c | 982494 | 3896 16664 50616 | 214796 193230 121 | 0.000 % |
1199.72/1200.15 c | 982642 | 3896 16664 50616 | 214796 193378 121 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832755-1242787393/watcher-1832755-1242787393 -o /tmp/evaluation-result-1832755-1242787393/solver-1832755-1242787393 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832755-1242787393.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15877
/proc/meminfo: memFree=1869552/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0
/proc/15877/stat : 15877 (SatELiteGTI) R 15875 15877 15243 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306772816 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467421683 0 0 4100 65536 0 0 0 17 0 0 0
/proc/15877/statm: 1339 237 197 169 0 50 0
[startup+0.054718 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15877
/proc/meminfo: memFree=1869552/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306772816 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15877/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101725 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15877
/proc/meminfo: memFree=1869552/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.301739 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15877
/proc/meminfo: memFree=1869552/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.701765 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15877
/proc/meminfo: memFree=1869552/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+1.50181 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1865184/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=5144 CPUtime=1.4
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 1017 0 0 0 140 0 0 0 25 0 1 0 306772823 5267456 1003 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 1286 1003 77 171 0 1113 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10500
[startup+3.10191 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1863712/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=8708 CPUtime=3.01
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 1897 0 0 0 300 1 0 0 25 0 1 0 306772823 8916992 1883 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 2177 1883 77 171 0 2004 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14064
[startup+6.30112 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1857184/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=14320 CPUtime=6.21
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 3295 0 0 0 619 2 0 0 25 0 1 0 306772823 14663680 3281 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 3580 3281 77 171 0 3407 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19676
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1848544/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=22220 CPUtime=12.61
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 5269 0 0 0 1257 4 0 0 25 0 1 0 306772823 22753280 5255 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 5555 5255 77 171 0 5382 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 27576
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1836448/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=33824 CPUtime=25.4
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 8163 0 0 0 2533 7 0 0 25 0 1 0 306772823 34635776 8149 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 8456 8149 77 171 0 8283 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 39180
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1819680/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=50768 CPUtime=50.99
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 12374 0 0 0 5085 14 0 0 25 0 1 0 306772823 51986432 12360 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 12692 12360 77 171 0 12519 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 56124
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1794912/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=75060 CPUtime=102.19
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 18444 0 0 0 10197 22 0 0 25 0 1 0 306772823 76861440 18430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 18765 18430 77 171 0 18592 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 80416
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1772576/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=97640 CPUtime=162.16
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 24015 0 0 0 16186 30 0 0 25 0 1 0 306772823 99983360 24001 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 24410 24001 77 171 0 24237 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 102996
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1768288/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=101600 CPUtime=222.14
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 25016 0 0 0 22182 32 0 0 25 0 1 0 306772823 104038400 25002 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 25400 25002 77 171 0 25227 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 106956
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1767456/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=102260 CPUtime=282.13
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 25203 0 0 0 28180 33 0 0 25 0 1 0 306772823 104714240 25189 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 25565 25189 77 171 0 25392 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 107616
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1764768/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=104900 CPUtime=342.11
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 25852 0 0 0 34177 34 0 0 25 0 1 0 306772823 107417600 25838 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 26225 25838 77 171 0 26052 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 110256
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1761568/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=108068 CPUtime=402.1
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 26630 0 0 0 40174 36 0 0 25 0 1 0 306772823 110661632 26616 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 27017 26616 77 171 0 26844 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 113424
[startup+462.302 s]
################
# More data... #
################
/proc/15883/statm: 27908 27529 77 171 0 27735 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 116988
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1757344/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=111896 CPUtime=582.04
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 27597 0 0 0 58166 38 0 0 25 0 1 0 306772823 114581504 27583 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 27974 27583 77 171 0 27801 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 117252
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1757280/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=111896 CPUtime=642.02
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 27597 0 0 0 64164 38 0 0 25 0 1 0 306772823 114581504 27583 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 27974 27583 77 171 0 27801 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 117252
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1756000/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=112952 CPUtime=702
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 27872 0 0 0 70161 39 0 0 25 0 1 0 306772823 115662848 27858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 28238 27858 77 171 0 28065 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 118308
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1754208/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=114668 CPUtime=761.99
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 28304 0 0 0 76159 40 0 0 25 0 1 0 306772823 117420032 28290 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 28667 28290 77 171 0 28494 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 120024
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1754080/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=114668 CPUtime=821.97
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 28304 0 0 0 82157 40 0 0 25 0 1 0 306772823 117420032 28290 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 28667 28290 77 171 0 28494 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 120024
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1751712/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=117044 CPUtime=881.94
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 28879 0 0 0 88153 41 0 0 25 0 1 0 306772823 119853056 28865 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 29261 28865 77 171 0 29088 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 122400
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1751648/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=117044 CPUtime=941.93
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 28879 0 0 0 94151 42 0 0 25 0 1 0 306772823 119853056 28865 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 29261 28865 77 171 0 29088 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 122400
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1751520/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=117044 CPUtime=1001.91
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 28879 0 0 0 100149 42 0 0 25 0 1 0 306772823 119853056 28865 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 29261 28865 77 171 0 29088 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 122400
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15883
/proc/meminfo: memFree=1747360/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=121136 CPUtime=1061.9
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 29909 0 0 0 106146 44 0 0 25 0 1 0 306772823 124043264 29895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 30284 29895 77 171 0 30111 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 126492
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15889
/proc/meminfo: memFree=1747040/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=121136 CPUtime=1121.87
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 29909 0 0 0 112143 44 0 0 25 0 1 0 306772823 124043264 29895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 30284 29895 77 171 0 30111 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 126492
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15889
/proc/meminfo: memFree=1747040/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=121136 CPUtime=1181.86
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 29909 0 0 0 118142 44 0 0 25 0 1 0 306772823 124043264 29895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528772 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 30284 29895 77 171 0 30111 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 126492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15889
/proc/meminfo: memFree=1747040/2055920 swapFree=4179964/4192956
[pid=15877] ppid=15875 vsize=5356 CPUtime=0.06
/proc/15877/stat : 15877 (SatELiteGTI) S 15875 15877 15243 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306772816 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15877/statm: 1339 239 197 169 0 50 0
[pid=15883] ppid=15877 vsize=121136 CPUtime=1199.96
/proc/15883/stat : 15883 (minisat_static) R 15877 15877 15243 0 -1 4194304 29909 0 0 0 119951 45 0 0 25 0 1 0 306772823 124043264 29895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15883/statm: 30284 29895 77 171 0 30111 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 126492
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15877 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=67989
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=7998
# CPU time returned by wait4() is 0.075987
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.41
CPU time (s): 1200.02
CPU user time (s): 1199.57
CPU system time (s): 0.45
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 126492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.067989
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1211
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 7
runsolver used 1.44278 second user time and 3.01854 second system time
The end
Begin job on node22 at 2009-05-20 04:43:13
IDJOB=1832755
IDBENCH=70341
IDSOLVER=671
FILE ID=node22/1832755-1242787393
PBS_JOBID= 9322340
Free space on /tmp= 66416 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/4000/unif-k3-r4.2-v4000-c16800-S568017735-066.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832755-1242787393/watcher-1832755-1242787393 -o /tmp/evaluation-result-1832755-1242787393/solver-1832755-1242787393 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832755-1242787393.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ac6625145d68efca76f59e4cfc6c820e
RANDOM SEED=657508696
node22.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: 1870032 kB
Buffers: 31180 kB
Cached: 106676 kB
SwapCached: 7936 kB
Active: 66924 kB
Inactive: 81076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1870032 kB
SwapTotal: 4192956 kB
SwapFree: 4179964 kB
Dirty: 1928 kB
Writeback: 0 kB
Mapped: 14596 kB
Slab: 24000 kB
Committed_AS: 1133056 kB
PageTables: 1376 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= 66412 MiB
End job on node22 at 2009-05-20 05:03:15