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 | 16687 50673 | -- 0 -- -- | -- | -113/273
0.00/0.05 c ==============================================================================
0.00/0.05 c Result : #vars: 3898 #clauses: 16687 #literals: 50673
0.00/0.05 c CPU time: 0.051992 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: 3898 |
0.00/0.07 c | Number of clauses: 16687 |
0.00/0.08 c | Parsing time: 0.01 s |
0.00/0.09 c ============================[ Search Statistics ]==============================
0.00/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.09 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.09 c ===============================================================================
0.00/0.09 c | 0 | 3898 16687 50673 | 5562 0 nan | 0.000 % |
0.06/0.10 c | 103 | 3898 16687 50673 | 5562 103 81 | 0.000 % |
0.06/0.11 c | 204 | 3898 16687 50673 | 5562 204 89 | 0.000 % |
0.06/0.13 c | 304 | 3898 16687 50673 | 5562 304 98 | 0.000 % |
0.06/0.14 c | 415 | 3898 16687 50673 | 5562 415 94 | 0.000 % |
0.06/0.15 c | 515 | 3898 16687 50673 | 5562 515 94 | 0.000 % |
0.06/0.17 c | 625 | 3898 16687 50673 | 5562 625 91 | 0.000 % |
0.06/0.18 c | 746 | 3898 16687 50673 | 5562 746 92 | 0.000 % |
0.06/0.19 c | 847 | 3898 16687 50673 | 5562 847 93 | 0.000 % |
0.06/0.21 c | 958 | 3898 16687 50673 | 5562 958 93 | 0.000 % |
0.06/0.22 c | 1083 | 3898 16687 50673 | 5562 1083 92 | 0.000 % |
0.06/0.24 c | 1216 | 3898 16687 50673 | 5562 1216 91 | 0.000 % |
0.06/0.25 c | 1317 | 3898 16687 50673 | 5562 1317 92 | 0.000 % |
0.06/0.26 c | 1427 | 3898 16687 50673 | 5562 1427 92 | 0.000 % |
0.06/0.28 c | 1548 | 3898 16687 50673 | 5562 1548 93 | 0.000 % |
0.06/0.30 c | 1681 | 3898 16687 50673 | 5562 1681 94 | 0.000 % |
0.06/0.32 c | 1829 | 3898 16687 50673 | 5562 1829 93 | 0.000 % |
0.06/0.33 c | 1930 | 3898 16687 50673 | 5562 1930 94 | 0.000 % |
0.06/0.35 c | 2040 | 3898 16687 50673 | 5562 2040 94 | 0.000 % |
0.06/0.36 c | 2162 | 3898 16687 50673 | 5562 2162 94 | 0.000 % |
0.06/0.38 c | 2295 | 3898 16687 50673 | 5562 2295 94 | 0.000 % |
0.06/0.40 c | 2441 | 3898 16687 50673 | 5562 2441 93 | 0.000 % |
0.06/0.42 c | 2601 | 3898 16687 50673 | 5562 2601 94 | 0.000 % |
0.06/0.43 c | 2701 | 3898 16687 50673 | 5562 2701 94 | 0.000 % |
0.06/0.44 c | 2812 | 3898 16687 50673 | 5562 2812 94 | 0.000 % |
0.06/0.46 c | 2933 | 3898 16687 50673 | 5562 2933 93 | 0.000 % |
0.06/0.48 c | 3066 | 3898 16687 50673 | 5562 3066 93 | 0.000 % |
0.06/0.50 c | 3213 | 3898 16687 50673 | 5562 3213 92 | 0.000 % |
0.06/0.52 c | 3373 | 3898 16687 50673 | 5562 3373 92 | 0.000 % |
0.06/0.54 c | 3549 | 3898 16687 50673 | 5562 3549 92 | 0.000 % |
0.06/0.56 c | 3651 | 3898 16687 50673 | 5562 3651 92 | 0.000 % |
0.06/0.57 c | 3762 | 3898 16687 50673 | 5562 3762 92 | 0.000 % |
0.06/0.59 c | 3883 | 3898 16687 50673 | 5562 3883 93 | 0.000 % |
0.06/0.61 c | 4016 | 3898 16687 50673 | 5562 4016 93 | 0.000 % |
0.06/0.63 c | 4163 | 3898 16687 50673 | 5562 4163 94 | 0.000 % |
0.06/0.66 c | 4323 | 3898 16687 50673 | 5562 4323 94 | 0.000 % |
0.06/0.68 c | 4501 | 3898 16687 50673 | 5562 4501 94 | 0.000 % |
0.06/0.71 c | 4697 | 3898 16687 50673 | 5562 4697 94 | 0.000 % |
0.06/0.73 c | 4797 | 3898 16687 50673 | 5562 4797 94 | 0.000 % |
0.06/0.74 c | 4908 | 3898 16687 50673 | 5562 4908 94 | 0.000 % |
0.06/0.76 c | 5029 | 3898 16687 50673 | 5562 5029 94 | 0.000 % |
0.06/0.78 c | 5162 | 3898 16687 50673 | 5562 5162 94 | 0.000 % |
0.06/0.80 c | 5308 | 3898 16687 50673 | 5562 5308 94 | 0.000 % |
0.06/0.83 c | 5468 | 3898 16687 50673 | 5562 5468 94 | 0.000 % |
0.06/0.85 c | 5646 | 3898 16687 50673 | 5562 5646 94 | 0.000 % |
0.06/0.88 c | 5840 | 3898 16687 50673 | 5562 5276 93 | 0.000 % |
0.06/0.91 c | 6055 | 3898 16687 50673 | 5562 5491 93 | 0.000 % |
0.06/0.93 c | 6156 | 3898 16687 50673 | 5562 5592 93 | 0.000 % |
0.06/0.94 c | 6266 | 3898 16687 50673 | 5562 5143 92 | 0.000 % |
0.06/0.96 c | 6388 | 3898 16687 50673 | 5562 5265 93 | 0.000 % |
0.06/0.98 c | 6521 | 3898 16687 50673 | 5562 5398 92 | 0.000 % |
0.97/1.01 c | 6667 | 3898 16687 50673 | 5562 5544 92 | 0.000 % |
0.97/1.03 c | 6827 | 3898 16687 50673 | 5562 5704 92 | 0.000 % |
0.97/1.06 c | 7003 | 3898 16687 50673 | 5562 5310 92 | 0.000 % |
0.97/1.09 c | 7197 | 3898 16687 50673 | 5562 5504 91 | 0.000 % |
1.07/1.12 c | 7410 | 3898 16687 50673 | 5562 5717 91 | 0.000 % |
1.07/1.16 c | 7643 | 3898 16687 50673 | 5562 5379 92 | 0.000 % |
1.07/1.18 c | 7746 | 3898 16687 50673 | 5562 5482 91 | 0.000 % |
1.07/1.19 c | 7856 | 3898 16687 50673 | 5562 5592 91 | 0.000 % |
1.16/1.21 c | 7979 | 3898 16687 50673 | 5562 5156 91 | 0.000 % |
1.16/1.23 c | 8113 | 3898 16687 50673 | 5562 5290 92 | 0.000 % |
1.16/1.26 c | 8259 | 3898 16687 50673 | 5562 5436 92 | 0.000 % |
1.16/1.28 c | 8420 | 3898 16687 50673 | 5562 5597 92 | 0.000 % |
1.26/1.31 c | 8596 | 3898 16687 50673 | 5562 5214 93 | 0.000 % |
1.26/1.34 c | 8789 | 3898 16687 50673 | 5562 5407 93 | 0.000 % |
1.26/1.37 c | 9001 | 3898 16687 50673 | 5562 5619 94 | 0.000 % |
1.36/1.41 c | 9234 | 3898 16687 50673 | 5562 5291 94 | 0.000 % |
1.36/1.45 c | 9491 | 3898 16687 50673 | 5562 5548 94 | 0.000 % |
1.36/1.47 c | 9591 | 3898 16687 50673 | 5562 5648 94 | 0.000 % |
1.36/1.49 c | 9701 | 3898 16687 50673 | 5562 5194 93 | 0.000 % |
1.46/1.51 c | 9824 | 3898 16687 50673 | 5562 5317 93 | 0.000 % |
1.46/1.53 c | 9958 | 3898 16687 50673 | 5562 5451 93 | 0.000 % |
1.46/1.55 c | 10104 | 3898 16687 50673 | 2147483647 5597 93 | 0.000 % |
1.46/1.58 c | 10266 | 3898 16687 50673 | 2147483647 5759 93 | 0.000 % |
1.56/1.60 c | 10445 | 3898 16687 50673 | 2147483647 5938 93 | 0.000 % |
1.56/1.64 c | 10639 | 3898 16687 50673 | 2147483647 6132 93 | 0.000 % |
1.56/1.67 c | 10853 | 3898 16687 50673 | 2147483647 6346 93 | 0.000 % |
1.66/1.71 c | 11086 | 3898 16687 50673 | 2147483647 6579 93 | 0.000 % |
1.66/1.75 c | 11342 | 3898 16687 50673 | 2147483647 6835 93 | 0.000 % |
1.66/1.79 c | 11624 | 3898 16687 50673 | 2147483647 7117 94 | 0.000 % |
1.76/1.81 c | 11724 | 3898 16687 50673 | 2147483647 7217 94 | 0.000 % |
1.76/1.83 c | 11834 | 3898 16687 50673 | 2147483647 7327 94 | 0.000 % |
1.76/1.85 c | 11955 | 3898 16687 50673 | 2147483647 7448 94 | 0.000 % |
1.76/1.87 c | 12088 | 3898 16687 50673 | 2147483647 7581 94 | 0.000 % |
1.86/1.90 c | 12234 | 3898 16687 50673 | 2147483647 7727 94 | 0.000 % |
1.86/1.93 c | 12395 | 3898 16687 50673 | 2147483647 7888 94 | 0.000 % |
1.86/1.96 c | 12573 | 3898 16687 50673 | 2147483647 8066 93 | 0.000 % |
1.86/1.99 c | 12767 | 3898 16687 50673 | 2147483647 8260 93 | 0.000 % |
1.96/2.03 c | 12979 | 3898 16687 50673 | 2147483647 8472 94 | 0.000 % |
1.96/2.07 c | 13212 | 3898 16687 50673 | 2147483647 8705 94 | 0.000 % |
2.07/2.11 c | 13470 | 3898 16687 50673 | 2147483647 8963 94 | 0.000 % |
2.07/2.16 c | 13756 | 3898 16687 50673 | 2147483647 9249 93 | 0.000 % |
2.17/2.22 c | 14066 | 3898 16687 50673 | 2147483647 9559 93 | 0.000 % |
2.17/2.24 c | 14167 | 3898 16687 50673 | 2147483647 9660 93 | 0.000 % |
2.17/2.26 c | 14277 | 3898 16687 50673 | 2147483647 9770 93 | 0.000 % |
2.17/2.28 c | 14398 | 3898 16687 50673 | 2147483647 9891 93 | 0.000 % |
2.26/2.31 c | 14533 | 3898 16687 50673 | 2147483647 10026 93 | 0.000 % |
2.26/2.33 c | 14679 | 3898 16687 50673 | 2147483647 10172 93 | 0.000 % |
2.26/2.36 c | 14839 | 3898 16687 50673 | 2147483647 10332 93 | 0.000 % |
2.36/2.40 c | 15015 | 3898 16687 50673 | 2147483647 10508 93 | 0.000 % |
2.36/2.43 c | 15208 | 3898 16687 50673 | 2147483647 10701 93 | 0.000 % |
2.36/2.47 c | 15420 | 3898 16687 50673 | 2147483647 10913 93 | 0.000 % |
2.46/2.51 c | 15653 | 3898 16687 50673 | 2147483647 11146 93 | 0.000 % |
2.46/2.56 c | 15911 | 3898 16687 50673 | 2147483647 11404 93 | 0.000 % |
2.56/2.62 c | 16194 | 3898 16687 50673 | 2147483647 11687 93 | 0.000 % |
2.56/2.67 c | 16504 | 3898 16687 50673 | 2147483647 11997 93 | 0.000 % |
2.66/2.74 c | 16844 | 3898 16687 50673 | 2147483647 12337 94 | 0.000 % |
2.66/2.76 c | 16947 | 3898 16687 50673 | 2147483647 12440 94 | 0.000 % |
2.66/2.79 c | 17057 | 3898 16687 50673 | 2147483647 12550 94 | 0.000 % |
2.76/2.81 c | 17179 | 3898 16687 50673 | 2147483647 12672 94 | 0.000 % |
2.76/2.84 c | 17313 | 3898 16687 50673 | 2147483647 12806 94 | 0.000 % |
2.76/2.87 c | 17460 | 3898 16687 50673 | 2147483647 12953 94 | 0.000 % |
2.86/2.90 c | 17622 | 3898 16687 50673 | 2147483647 13115 94 | 0.000 % |
2.86/2.94 c | 17801 | 3898 16687 50673 | 2147483647 13294 94 | 0.000 % |
2.86/2.98 c | 17997 | 3898 16687 50673 | 2147483647 13490 94 | 0.000 % |
2.96/3.02 c | 18212 | 3898 16687 50673 | 2147483647 13705 94 | 0.000 % |
2.96/3.07 c | 18447 | 3898 16687 50673 | 2147483647 13940 94 | 0.000 % |
3.06/3.12 c | 18703 | 3898 16687 50673 | 2147483647 14196 94 | 0.000 % |
3.06/3.18 c | 18984 | 3898 16687 50673 | 2147483647 14477 94 | 0.000 % |
3.17/3.25 c | 19293 | 3898 16687 50673 | 2147483647 14786 95 | 0.000 % |
3.28/3.32 c | 19636 | 3898 16687 50673 | 2147483647 15129 95 | 0.000 % |
3.28/3.39 c | 20008 | 3898 16687 50673 | 2147483647 15501 95 | 0.000 % |
3.37/3.41 c | 20108 | 3898 16687 50673 | 2147483647 15601 95 | 0.000 % |
3.37/3.44 c | 20219 | 3898 16687 50673 | 2147483647 15712 95 | 0.000 % |
3.37/3.47 c | 20341 | 3898 16687 50673 | 2147483647 15834 95 | 0.000 % |
3.47/3.50 c | 20475 | 3898 16687 50673 | 2147483647 15968 95 | 0.000 % |
3.47/3.53 c | 20621 | 3898 16687 50673 | 2147483647 16114 94 | 0.000 % |
3.47/3.57 c | 20781 | 3898 16687 50673 | 2147483647 16274 94 | 0.000 % |
3.57/3.61 c | 20959 | 3898 16687 50673 | 2147483647 16452 94 | 0.000 % |
3.57/3.65 c | 21153 | 3898 16687 50673 | 2147483647 16646 94 | 0.000 % |
3.67/3.70 c | 21365 | 3898 16687 50673 | 2147483647 16858 94 | 0.000 % |
3.67/3.76 c | 21600 | 3898 16687 50673 | 2147483647 17093 94 | 0.000 % |
3.77/3.82 c | 21856 | 3898 16687 50673 | 2147483647 17349 95 | 0.000 % |
3.77/3.89 c | 22137 | 3898 16687 50673 | 2147483647 17630 95 | 0.000 % |
3.87/3.95 c | 22449 | 3898 16687 50673 | 2147483647 17942 95 | 0.000 % |
3.97/4.04 c | 22791 | 3898 16687 50673 | 2147483647 18284 95 | 0.000 % |
4.07/4.13 c | 23163 | 3898 16687 50673 | 2147483647 18656 95 | 0.000 % |
4.17/4.23 c | 23572 | 3898 16687 50673 | 2147483647 19065 95 | 0.000 % |
4.17/4.25 c | 23672 | 3898 16687 50673 | 2147483647 19165 95 | 0.000 % |
4.17/4.28 c | 23783 | 3898 16687 50673 | 2147483647 19276 95 | 0.000 % |
4.27/4.31 c | 23905 | 3898 16687 50673 | 2147483647 19398 95 | 0.000 % |
4.27/4.34 c | 24039 | 3898 16687 50673 | 2147483647 19532 95 | 0.000 % |
4.27/4.39 c | 24187 | 3898 16687 50673 | 2147483647 19680 95 | 0.000 % |
4.37/4.42 c | 24348 | 3898 16687 50673 | 2147483647 19841 95 | 0.000 % |
4.37/4.47 c | 24524 | 3898 16687 50673 | 2147483647 20017 95 | 0.000 % |
4.47/4.52 c | 24717 | 3898 16687 50673 | 2147483647 20210 95 | 0.000 % |
4.47/4.57 c | 24929 | 3898 16687 50673 | 2147483647 20422 95 | 0.000 % |
4.57/4.63 c | 25164 | 3898 16687 50673 | 2147483647 20657 95 | 0.000 % |
4.57/4.69 c | 25420 | 3898 16687 50673 | 2147483647 20913 96 | 0.000 % |
4.67/4.77 c | 25701 | 3898 16687 50673 | 2147483647 21194 96 | 0.000 % |
4.77/4.84 c | 26010 | 3898 16687 50673 | 2147483647 21503 96 | 0.000 % |
4.87/4.93 c | 26350 | 3898 16687 50673 | 2147483647 21843 96 | 0.000 % |
4.97/5.02 c | 26723 | 3898 16687 50673 | 2147483647 22216 96 | 0.000 % |
5.07/5.13 c | 27132 | 3898 16687 50673 | 2147483647 22625 96 | 0.000 % |
5.17/5.25 c | 27582 | 3898 16687 50673 | 2147483647 23075 96 | 0.000 % |
5.17/5.28 c | 27682 | 3898 16687 50673 | 2147483647 23175 96 | 0.000 % |
5.27/5.31 c | 27794 | 3898 16687 50673 | 2147483647 23287 96 | 0.000 % |
5.27/5.34 c | 27915 | 3898 16687 50673 | 2147483647 23408 96 | 0.000 % |
5.27/5.38 c | 28050 | 3898 16687 50673 | 2147483647 23543 96 | 0.000 % |
5.37/5.42 c | 28199 | 3898 16687 50673 | 2147483647 23692 96 | 0.000 % |
5.37/5.46 c | 28361 | 3898 16687 50673 | 2147483647 23854 96 | 0.000 % |
5.47/5.51 c | 28537 | 3898 16687 50673 | 2147483647 24030 96 | 0.000 % |
5.47/5.57 c | 28730 | 3898 16687 50673 | 2147483647 24223 96 | 0.000 % |
5.57/5.64 c | 28942 | 3898 16687 50673 | 2147483647 24435 96 | 0.000 % |
5.57/5.70 c | 29175 | 3898 16687 50673 | 2147483647 24668 96 | 0.000 % |
5.67/5.77 c | 29431 | 3898 16687 50673 | 2147483647 24924 96 | 0.000 % |
5.76/5.85 c | 29712 | 3898 16687 50673 | 2147483647 25205 96 | 0.000 % |
5.86/5.94 c | 30021 | 3898 16687 50673 | 2147483647 25514 96 | 0.000 % |
5.96/6.04 c | 30360 | 3898 16687 50673 | 2147483647 25853 96 | 0.000 % |
6.07/6.16 c | 30733 | 3898 16687 50673 | 2147483647 26226 97 | 0.000 % |
6.17/6.27 c | 31145 | 3898 16687 50673 | 2147483647 26638 97 | 0.000 % |
6.37/6.40 c | 31595 | 3898 16687 50673 | 2147483647 27088 97 | 0.000 % |
6.47/6.55 c | 32089 | 3898 16687 50673 | 2147483647 27582 97 | 0.000 % |
6.47/6.58 c | 32192 | 3898 16687 50673 | 2147483647 27685 97 | 0.000 % |
6.57/6.62 c | 32303 | 3898 16687 50673 | 2147483647 27796 97 | 0.000 % |
6.57/6.66 c | 32424 | 3898 16687 50673 | 2147483647 27917 97 | 0.000 % |
6.67/6.70 c | 32558 | 3898 16687 50673 | 2147483647 28051 97 | 0.000 % |
6.67/6.75 c | 32705 | 3898 16687 50673 | 2147483647 28198 97 | 0.000 % |
6.77/6.80 c | 32866 | 3898 16687 50673 | 2147483647 28359 97 | 0.000 % |
6.77/6.85 c | 33045 | 3898 16687 50673 | 2147483647 28538 97 | 0.000 % |
6.87/6.91 c | 33238 | 3898 16687 50673 | 2147483647 28731 97 | 0.000 % |
6.87/6.98 c | 33451 | 3898 16687 50673 | 2147483647 28944 97 | 0.000 % |
6.97/7.05 c | 33685 | 3898 16687 50673 | 2147483647 29178 97 | 0.000 % |
7.07/7.13 c | 33942 | 3898 16687 50673 | 2147483647 29435 97 | 0.000 % |
7.17/7.21 c | 34223 | 3898 16687 50673 | 2147483647 29716 97 | 0.000 % |
7.27/7.31 c | 34532 | 3898 16687 50673 | 2147483647 30025 97 | 0.000 % |
7.37/7.41 c | 34871 | 3898 16687 50673 | 2147483647 30364 98 | 0.000 % |
7.47/7.54 c | 35245 | 3898 16687 50673 | 2147483647 30738 98 | 0.000 % |
7.57/7.67 c | 35657 | 3898 16687 50673 | 2147483647 31150 98 | 0.000 % |
7.77/7.82 c | 36106 | 3898 16687 50673 | 2147483647 31599 98 | 0.000 % |
7.87/7.98 c | 36600 | 3898 16687 50673 | 2147483647 32093 98 | 0.000 % |
8.06/8.14 c | 37143 | 3898 16687 50673 | 2147483647 32636 98 | 0.000 % |
8.06/8.17 c | 37243 | 3898 16687 50673 | 2147483647 32736 98 | 0.000 % |
8.16/8.22 c | 37353 | 3898 16687 50673 | 2147483647 32846 98 | 0.000 % |
8.16/8.26 c | 37478 | 3898 16687 50673 | 2147483647 32971 98 | 0.000 % |
8.26/8.31 c | 37612 | 3898 16687 50673 | 2147483647 33105 98 | 0.000 % |
8.26/8.36 c | 37761 | 3898 16687 50673 | 2147483647 33254 98 | 0.000 % |
8.36/8.42 c | 37921 | 3898 16687 50673 | 2147483647 33414 98 | 0.000 % |
8.36/8.48 c | 38103 | 3898 16687 50673 | 2147483647 33596 98 | 0.000 % |
8.46/8.55 c | 38296 | 3898 16687 50673 | 2147483647 33789 98 | 0.000 % |
8.56/8.63 c | 38508 | 3898 16687 50673 | 2147483647 34001 98 | 0.000 % |
8.67/8.70 c | 38741 | 3898 16687 50673 | 2147483647 34234 98 | 0.000 % |
8.67/8.79 c | 38998 | 3898 16687 50673 | 2147483647 34491 98 | 0.000 % |
8.77/8.88 c | 39279 | 3898 16687 50673 | 2147483647 34772 98 | 0.000 % |
8.96/9.00 c | 39589 | 3898 16687 50673 | 2147483647 35082 98 | 0.000 % |
9.06/9.11 c | 39928 | 3898 16687 50673 | 2147483647 35421 98 | 0.000 % |
9.16/9.26 c | 40301 | 3898 16687 50673 | 2147483647 35794 98 | 0.000 % |
9.36/9.40 c | 40712 | 3898 16687 50673 | 2147483647 36205 98 | 0.000 % |
9.47/9.55 c | 41163 | 3898 16687 50673 | 2147483647 36656 98 | 0.000 % |
9.67/9.72 c | 41659 | 3898 16687 50673 | 2147483647 37152 98 | 0.000 % |
9.87/9.92 c | 42201 | 3898 16687 50673 | 2147483647 37694 98 | 0.000 % |
10.07/10.13 c | 42797 | 3898 16687 50673 | 2147483647 38290 98 | 0.000 % |
10.07/10.17 c | 42898 | 3898 16687 50673 | 2147483647 38391 98 | 0.000 % |
10.17/10.21 c | 43008 | 3898 16687 50673 | 2147483647 38501 98 | 0.000 % |
10.17/10.26 c | 43131 | 3898 16687 50673 | 2147483647 38624 98 | 0.000 % |
10.27/10.32 c | 43266 | 3898 16687 50673 | 2147483647 38759 98 | 0.000 % |
10.27/10.38 c | 43413 | 3898 16687 50673 | 2147483647 38906 98 | 0.000 % |
10.36/10.44 c | 43573 | 3898 16687 50673 | 2147483647 39066 98 | 0.000 % |
10.46/10.51 c | 43749 | 3898 16687 50673 | 2147483647 39242 98 | 0.000 % |
10.46/10.59 c | 43942 | 3898 16687 50673 | 2147483647 39435 98 | 0.000 % |
10.56/10.68 c | 44156 | 3898 16687 50673 | 2147483647 39649 98 | 0.000 % |
10.66/10.77 c | 44389 | 3898 16687 50673 | 2147483647 39882 98 | 0.000 % |
10.76/10.87 c | 44646 | 3898 16687 50673 | 2147483647 40139 98 | 0.000 % |
10.87/10.99 c | 44928 | 3898 16687 50673 | 2147483647 40421 98 | 0.000 % |
11.06/11.10 c | 45237 | 3898 16687 50673 | 2147483647 40730 98 | 0.000 % |
11.16/11.23 c | 45577 | 3898 16687 50673 | 2147483647 41070 98 | 0.000 % |
11.26/11.38 c | 45949 | 3898 16687 50673 | 2147483647 41442 98 | 0.000 % |
11.46/11.54 c | 46358 | 3898 16687 50673 | 2147483647 41851 98 | 0.000 % |
11.67/11.71 c | 46807 | 3898 16687 50673 | 2147483647 42300 98 | 0.000 % |
11.77/11.88 c | 47300 | 3898 16687 50673 | 2147483647 42793 99 | 0.000 % |
11.97/12.08 c | 47842 | 3898 16687 50673 | 2147483647 43335 98 | 0.000 % |
12.27/12.31 c | 48438 | 3898 16687 50673 | 2147483647 43931 99 | 0.000 % |
12.47/12.56 c | 49094 | 3898 16687 50673 | 2147483647 44587 99 | 0.000 % |
12.57/12.61 c | 49194 | 3898 16687 50673 | 2147483647 44687 99 | 0.000 % |
12.57/12.66 c | 49304 | 3898 16687 50673 | 2147483647 44797 99 | 0.000 % |
12.67/12.71 c | 49425 | 3898 16687 50673 | 2147483647 44918 99 | 0.000 % |
12.67/12.77 c | 49558 | 3898 16687 50673 | 2147483647 45051 99 | 0.000 % |
12.77/12.84 c | 49704 | 3898 16687 50673 | 2147483647 45197 99 | 0.000 % |
12.87/12.90 c | 49864 | 3898 16687 50673 | 2147483647 45357 99 | 0.000 % |
12.87/12.99 c | 50041 | 3898 16687 50673 | 2147483647 45534 99 | 0.000 % |
12.97/13.09 c | 50234 | 3898 16687 50673 | 2147483647 45727 99 | 0.000 % |
13.07/13.19 c | 50446 | 3898 16687 50673 | 2147483647 45939 99 | 0.000 % |
13.17/13.28 c | 50682 | 3898 16687 50673 | 2147483647 46175 99 | 0.000 % |
13.27/13.39 c | 50938 | 3898 16687 50673 | 2147483647 46431 99 | 0.000 % |
13.47/13.51 c | 51221 | 3898 16687 50673 | 2147483647 46714 99 | 0.000 % |
13.56/13.64 c | 51530 | 3898 16687 50673 | 2147483647 47023 99 | 0.000 % |
13.66/13.78 c | 51872 | 3898 16687 50673 | 2147483647 47365 99 | 0.000 % |
13.86/13.94 c | 52245 | 3898 16687 50673 | 2147483647 47738 99 | 0.000 % |
14.06/14.11 c | 52655 | 3898 16687 50673 | 2147483647 48148 99 | 0.000 % |
14.17/14.27 c | 53105 | 3898 16687 50673 | 2147483647 48598 99 | 0.000 % |
14.36/14.48 c | 53600 | 3898 16687 50673 | 2147483647 49093 99 | 0.000 % |
14.56/14.69 c | 54142 | 3898 16687 50673 | 2147483647 49635 99 | 0.000 % |
14.87/14.95 c | 54738 | 3898 16687 50673 | 2147483647 50231 99 | 0.000 % |
15.17/15.23 c | 55393 | 3898 16687 50673 | 2147483647 50886 99 | 0.000 % |
15.47/15.53 c | 56113 | 3898 16687 50673 | 2147483647 51606 99 | 0.000 % |
15.47/15.58 c | 56213 | 3898 16687 50673 | 2147483647 51706 99 | 0.000 % |
15.57/15.63 c | 56323 | 3898 16687 50673 | 2147483647 51816 99 | 0.000 % |
15.57/15.69 c | 56444 | 3898 16687 50673 | 2147483647 51937 99 | 0.000 % |
15.67/15.76 c | 56577 | 3898 16687 50673 | 2147483647 52070 99 | 0.000 % |
15.77/15.83 c | 56724 | 3898 16687 50673 | 2147483647 52217 99 | 0.000 % |
15.87/15.90 c | 56884 | 3898 16687 50673 | 2147483647 52377 99 | 0.000 % |
15.87/16.00 c | 57063 | 3898 16687 50673 | 2147483647 52556 99 | 0.000 % |
16.07/16.10 c | 57260 | 3898 16687 50673 | 2147483647 52753 99 | 0.000 % |
16.17/16.21 c | 57475 | 3898 16687 50673 | 2147483647 52968 99 | 0.000 % |
16.27/16.33 c | 57708 | 3898 16687 50673 | 2147483647 53201 99 | 0.000 % |
16.37/16.44 c | 57964 | 3898 16687 50673 | 2147483647 53457 99 | 0.000 % |
16.47/16.57 c | 58249 | 3898 16687 50673 | 2147483647 53742 99 | 0.000 % |
16.66/16.71 c | 58560 | 3898 16687 50673 | 2147483647 54053 99 | 0.000 % |
16.76/16.89 c | 58900 | 3898 16687 50673 | 2147483647 54393 99 | 0.000 % |
16.96/17.06 c | 59273 | 3898 16687 50673 | 2147483647 54766 99 | 0.000 % |
17.16/17.24 c | 59684 | 3898 16687 50673 | 2147483647 55177 99 | 0.000 % |
17.36/17.46 c | 60133 | 3898 16687 50673 | 2147483647 55626 99 | 0.000 % |
17.57/17.69 c | 60627 | 3898 16687 50673 | 2147483647 56120 99 | 0.000 % |
17.86/17.95 c | 61170 | 3898 16687 50673 | 2147483647 56663 99 | 0.000 % |
18.16/18.22 c | 61766 | 3898 16687 50673 | 2147483647 57259 100 | 0.000 % |
18.46/18.53 c | 62422 | 3898 16687 50673 | 2147483647 57915 100 | 0.000 % |
18.76/18.87 c | 63142 | 3898 16687 50673 | 2147483647 58635 100 | 0.000 % |
19.16/19.27 c | 63938 | 3898 16687 50673 | 2147483647 59431 100 | 0.000 % |
19.26/19.32 c | 64039 | 3898 16687 50673 | 2147483647 59532 100 | 0.000 % |
19.26/19.39 c | 64150 | 3898 16687 50673 | 2147483647 59643 100 | 0.000 % |
19.36/19.46 c | 64272 | 3898 16687 50673 | 2147483647 59765 100 | 0.000 % |
19.46/19.52 c | 64405 | 3898 16687 50673 | 2147483647 59898 100 | 0.000 % |
19.56/19.60 c | 64552 | 3898 16687 50673 | 2147483647 60045 100 | 0.000 % |
19.56/19.70 c | 64713 | 3898 16687 50673 | 2147483647 60206 100 | 0.000 % |
19.66/19.79 c | 64889 | 3898 16687 50673 | 2147483647 60382 100 | 0.000 % |
19.76/19.89 c | 65082 | 3898 16687 50673 | 2147483647 60575 100 | 0.000 % |
19.96/20.01 c | 65294 | 3898 16687 50673 | 2147483647 60787 100 | 0.000 % |
20.06/20.13 c | 65527 | 3898 16687 50673 | 2147483647 61020 100 | 0.000 % |
20.16/20.27 c | 65783 | 3898 16687 50673 | 2147483647 61276 100 | 0.000 % |
20.37/20.40 c | 66064 | 3898 16687 50673 | 2147483647 61557 100 | 0.000 % |
20.47/20.58 c | 66373 | 3898 16687 50673 | 2147483647 61866 100 | 0.000 % |
20.67/20.75 c | 66714 | 3898 16687 50673 | 2147483647 62207 100 | 0.000 % |
20.87/20.94 c | 67087 | 3898 16687 50673 | 2147483647 62580 100 | 0.000 % |
21.07/21.16 c | 67497 | 3898 16687 50673 | 2147483647 62990 100 | 0.000 % |
21.36/21.40 c | 67946 | 3898 16687 50673 | 2147483647 63439 100 | 0.000 % |
21.56/21.67 c | 68441 | 3898 16687 50673 | 2147483647 63934 100 | 0.000 % |
21.87/21.93 c | 68983 | 3898 16687 50673 | 2147483647 64476 100 | 0.000 % |
22.16/22.24 c | 69580 | 3898 16687 50673 | 2147483647 65073 100 | 0.000 % |
22.56/22.61 c | 70235 | 3898 16687 50673 | 2147483647 65728 100 | 0.000 % |
22.96/23.01 c | 70958 | 3898 16687 50673 | 2147483647 66451 101 | 0.000 % |
23.37/23.42 c | 71752 | 3898 16687 50673 | 2147483647 67245 101 | 0.000 % |
23.77/23.88 c | 72623 | 3898 16687 50673 | 2147483647 68116 101 | 0.000 % |
23.87/23.94 c | 72724 | 3898 16687 50673 | 2147483647 68217 101 | 0.000 % |
23.97/24.01 c | 72834 | 3898 16687 50673 | 2147483647 68327 101 | 0.000 % |
23.97/24.09 c | 72955 | 3898 16687 50673 | 2147483647 68448 101 | 0.000 % |
24.07/24.17 c | 73088 | 3898 16687 50673 | 2147483647 68581 101 | 0.000 % |
24.17/24.27 c | 73235 | 3898 16687 50673 | 2147483647 68728 101 | 0.000 % |
24.26/24.37 c | 73397 | 3898 16687 50673 | 2147483647 68890 101 | 0.000 % |
24.36/24.48 c | 73575 | 3898 16687 50673 | 2147483647 69068 101 | 0.000 % |
24.56/24.60 c | 73768 | 3898 16687 50673 | 2147483647 69261 101 | 0.000 % |
24.66/24.73 c | 73981 | 3898 16687 50673 | 2147483647 69474 101 | 0.000 % |
24.76/24.85 c | 74214 | 3898 16687 50673 | 2147483647 69707 101 | 0.000 % |
24.86/24.99 c | 74470 | 3898 16687 50673 | 2147483647 69963 101 | 0.000 % |
25.06/25.13 c | 74752 | 3898 16687 50673 | 2147483647 70245 101 | 0.000 % |
25.27/25.30 c | 75062 | 3898 16687 50673 | 2147483647 70555 101 | 0.000 % |
25.46/25.54 c | 75405 | 3898 16687 50673 | 2147483647 70898 101 | 0.000 % |
25.66/25.77 c | 75778 | 3898 16687 50673 | 2147483647 71271 101 | 0.000 % |
25.96/26.00 c | 76191 | 3898 16687 50673 | 2147483647 71684 101 | 0.000 % |
26.16/26.27 c | 76643 | 3898 16687 50673 | 2147483647 72136 101 | 0.000 % |
26.46/26.58 c | 77139 | 3898 16687 50673 | 2147483647 72632 101 | 0.000 % |
26.76/26.89 c | 77681 | 3898 16687 50673 | 2147483647 73174 101 | 0.000 % |
27.16/27.22 c | 78278 | 3898 16687 50673 | 2147483647 73771 101 | 0.000 % |
27.56/27.64 c | 78934 | 3898 16687 50673 | 2147483647 74427 101 | 0.000 % |
27.96/28.06 c | 79654 | 3898 16687 50673 | 2147483647 75147 101 | 0.000 % |
28.46/28.50 c | 80448 | 3898 16687 50673 | 2147483647 75941 101 | 0.000 % |
28.96/29.01 c | 81321 | 3898 16687 50673 | 2147483647 76814 101 | 0.000 % |
29.46/29.54 c | 82279 | 3898 16687 50673 | 2147483647 77772 101 | 0.000 % |
29.56/29.61 c | 82379 | 3898 16687 50673 | 2147483647 77872 101 | 0.000 % |
29.56/29.69 c | 82490 | 3898 16687 50673 | 2147483647 77983 101 | 0.000 % |
29.66/29.79 c | 82614 | 3898 16687 50673 | 2147483647 78107 101 | 0.000 % |
29.76/29.89 c | 82747 | 3898 16687 50673 | 2147483647 78240 101 | 0.000 % |
29.86/29.98 c | 82894 | 3898 16687 50673 | 2147483647 78387 101 | 0.000 % |
30.07/30.11 c | 83054 | 3898 16687 50673 | 2147483647 78547 101 | 0.000 % |
30.17/30.25 c | 83230 | 3898 16687 50673 | 2147483647 78723 101 | 0.000 % |
30.27/30.37 c | 83423 | 3898 16687 50673 | 2147483647 78916 101 | 0.000 % |
30.46/30.52 c | 83636 | 3898 16687 50673 | 2147483647 79129 101 | 0.000 % |
30.56/30.66 c | 83870 | 3898 16687 50673 | 2147483647 79363 101 | 0.000 % |
30.77/30.83 c | 84129 | 3898 16687 50673 | 2147483647 79622 101 | 0.000 % |
30.96/31.01 c | 84412 | 3898 16687 50673 | 2147483647 79905 101 | 0.000 % |
31.16/31.20 c | 84721 | 3898 16687 50673 | 2147483647 80214 101 | 0.000 % |
31.36/31.41 c | 85061 | 3898 16687 50673 | 2147483647 80554 101 | 0.000 % |
31.56/31.68 c | 85437 | 3898 16687 50673 | 2147483647 80930 101 | 0.000 % |
31.86/31.93 c | 85846 | 3898 16687 50673 | 2147483647 81339 101 | 0.000 % |
32.16/32.21 c | 86295 | 3898 16687 50673 | 2147483647 81788 101 | 0.000 % |
32.46/32.51 c | 86791 | 3898 16687 50673 | 2147483647 82284 101 | 0.000 % |
32.76/32.85 c | 87334 | 3898 16687 50673 | 2147483647 82827 101 | 0.000 % |
33.16/33.20 c | 87930 | 3898 16687 50673 | 2147483647 83423 101 | 0.000 % |
33.56/33.66 c | 88587 | 3898 16687 50673 | 2147483647 84080 101 | 0.000 % |
34.06/34.13 c | 89307 | 3898 16687 50673 | 2147483647 84800 101 | 0.000 % |
34.56/34.63 c | 90099 | 3898 16687 50673 | 2147483647 85592 102 | 0.000 % |
35.06/35.19 c | 90971 | 3898 16687 50673 | 2147483647 86464 102 | 0.000 % |
35.76/35.83 c | 91929 | 3898 16687 50673 | 2147483647 87422 102 | 0.000 % |
36.36/36.49 c | 92982 | 3898 16687 50673 | 2147483647 88475 102 | 0.000 % |
36.46/36.57 c | 93084 | 3898 16687 50673 | 2147483647 88577 102 | 0.000 % |
36.56/36.67 c | 93195 | 3898 16687 50673 | 2147483647 88688 102 | 0.000 % |
36.66/36.77 c | 93316 | 3898 16687 50673 | 2147483647 88809 102 | 0.000 % |
36.76/36.87 c | 93450 | 3898 16687 50673 | 2147483647 88943 102 | 0.000 % |
36.86/36.98 c | 93596 | 3898 16687 50673 | 2147483647 89089 102 | 0.000 % |
37.05/37.11 c | 93756 | 3898 16687 50673 | 2147483647 89249 102 | 0.000 % |
37.15/37.23 c | 93932 | 3898 16687 50673 | 2147483647 89425 102 | 0.000 % |
37.26/37.38 c | 94126 | 3898 16687 50673 | 2147483647 89619 102 | 0.000 % |
37.45/37.53 c | 94338 | 3898 16687 50673 | 2147483647 89831 102 | 0.000 % |
37.65/37.70 c | 94571 | 3898 16687 50673 | 2147483647 90064 102 | 0.000 % |
37.86/37.93 c | 94828 | 3898 16687 50673 | 2147483647 90321 102 | 0.000 % |
38.06/38.14 c | 95114 | 3898 16687 50673 | 2147483647 90607 102 | 0.000 % |
38.26/38.37 c | 95425 | 3898 16687 50673 | 2147483647 90918 102 | 0.000 % |
38.56/38.61 c | 95764 | 3898 16687 50673 | 2147483647 91257 102 | 0.000 % |
38.76/38.86 c | 96136 | 3898 16687 50673 | 2147483647 91629 102 | 0.000 % |
39.06/39.15 c | 96545 | 3898 16687 50673 | 2147483647 92038 102 | 0.000 % |
39.36/39.46 c | 96994 | 3898 16687 50673 | 2147483647 92487 102 | 0.000 % |
39.75/39.81 c | 97489 | 3898 16687 50673 | 2147483647 92982 102 | 0.000 % |
40.05/40.18 c | 98032 | 3898 16687 50673 | 2147483647 93525 102 | 0.000 % |
40.56/40.65 c | 98629 | 3898 16687 50673 | 2147483647 94122 102 | 0.000 % |
40.95/41.09 c | 99287 | 3898 16687 50673 | 2147483647 94780 102 | 0.000 % |
41.56/41.62 c | 100009 | 3898 16687 50673 | 2147483647 95502 102 | 0.000 % |
42.06/42.19 c | 100802 | 3898 16687 50673 | 2147483647 96295 102 | 0.000 % |
42.76/42.82 c | 101673 | 3898 16687 50673 | 2147483647 97166 102 | 0.000 % |
43.35/43.49 c | 102633 | 3898 16687 50673 | 2147483647 98126 102 | 0.000 % |
44.16/44.26 c | 103686 | 3898 16687 50673 | 2147483647 99179 102 | 0.000 % |
45.06/45.15 c | 104844 | 3898 16687 50673 | 2147483647 100337 103 | 0.000 % |
45.16/45.24 c | 104944 | 3898 16687 50673 | 2147483647 100437 103 | 0.000 % |
45.26/45.33 c | 105054 | 3898 16687 50673 | 2147483647 100547 103 | 0.000 % |
45.36/45.44 c | 105175 | 3898 16687 50673 | 2147483647 100668 103 | 0.000 % |
45.46/45.57 c | 105309 | 3898 16687 50673 | 2147483647 100802 103 | 0.000 % |
45.56/45.69 c | 105457 | 3898 16687 50673 | 2147483647 100950 103 | 0.000 % |
45.76/45.83 c | 105619 | 3898 16687 50673 | 2147483647 101112 103 | 0.000 % |
45.86/45.98 c | 105795 | 3898 16687 50673 | 2147483647 101288 103 | 0.000 % |
46.06/46.15 c | 105989 | 3898 16687 50673 | 2147483647 101482 103 | 0.000 % |
46.25/46.32 c | 106204 | 3898 16687 50673 | 2147483647 101697 103 | 0.000 % |
46.45/46.51 c | 106437 | 3898 16687 50673 | 2147483647 101930 103 | 0.000 % |
46.65/46.73 c | 106696 | 3898 16687 50673 | 2147483647 102189 103 | 0.000 % |
46.85/46.94 c | 106978 | 3898 16687 50673 | 2147483647 102471 103 | 0.000 % |
47.05/47.20 c | 107287 | 3898 16687 50673 | 2147483647 102780 103 | 0.000 % |
47.36/47.47 c | 107627 | 3898 16687 50673 | 2147483647 103120 103 | 0.000 % |
47.66/47.75 c | 107999 | 3898 16687 50673 | 2147483647 103492 103 | 0.000 % |
47.96/48.05 c | 108408 | 3898 16687 50673 | 2147483647 103901 103 | 0.000 % |
48.36/48.42 c | 108857 | 3898 16687 50673 | 2147483647 104350 103 | 0.000 % |
48.76/48.83 c | 109351 | 3898 16687 50673 | 2147483647 104844 103 | 0.000 % |
49.15/49.26 c | 109893 | 3898 16687 50673 | 2147483647 105386 103 | 0.000 % |
49.65/49.75 c | 110490 | 3898 16687 50673 | 2147483647 105983 103 | 0.000 % |
50.25/50.33 c | 111146 | 3898 16687 50673 | 2147483647 106639 103 | 0.000 % |
50.75/50.88 c | 111867 | 3898 16687 50673 | 2147483647 107360 103 | 0.000 % |
51.45/51.50 c | 112659 | 3898 16687 50673 | 2147483647 108152 103 | 0.000 % |
52.05/52.16 c | 113530 | 3898 16687 50673 | 2147483647 109023 103 | 0.000 % |
52.86/52.95 c | 114488 | 3898 16687 50673 | 2147483647 109981 103 | 0.000 % |
53.65/53.77 c | 115542 | 3898 16687 50673 | 2147483647 111035 103 | 0.000 % |
54.65/54.71 c | 116700 | 3898 16687 50673 | 2147483647 112193 103 | 0.000 % |
55.65/55.72 c | 117976 | 3898 16687 50673 | 2147483647 113469 103 | 0.000 % |
55.75/55.80 c | 118077 | 3898 16687 50673 | 2147483647 113570 103 | 0.000 % |
55.85/55.92 c | 118187 | 3898 16687 50673 | 2147483647 113680 103 | 0.000 % |
55.96/56.03 c | 118309 | 3898 16687 50673 | 2147483647 113802 103 | 0.000 % |
56.06/56.16 c | 118442 | 3898 16687 50673 | 2147483647 113935 103 | 0.000 % |
56.25/56.32 c | 118589 | 3898 16687 50673 | 2147483647 114082 103 | 0.000 % |
56.35/56.48 c | 118750 | 3898 16687 50673 | 2147483647 114243 103 | 0.000 % |
56.55/56.64 c | 118926 | 3898 16687 50673 | 2147483647 114419 103 | 0.000 % |
56.75/56.81 c | 119119 | 3898 16687 50673 | 2147483647 114612 103 | 0.000 % |
56.95/57.01 c | 119335 | 3898 16687 50673 | 2147483647 114828 103 | 0.000 % |
57.15/57.22 c | 119570 | 3898 16687 50673 | 2147483647 115063 103 | 0.000 % |
57.35/57.47 c | 119826 | 3898 16687 50673 | 2147483647 115319 103 | 0.000 % |
57.65/57.74 c | 120107 | 3898 16687 50673 | 2147483647 115600 103 | 0.000 % |
57.95/58.01 c | 120418 | 3898 16687 50673 | 2147483647 115911 103 | 0.000 % |
58.15/58.29 c | 120759 | 3898 16687 50673 | 2147483647 116252 103 | 0.000 % |
58.55/58.61 c | 121131 | 3898 16687 50673 | 2147483647 116624 103 | 0.000 % |
58.85/58.96 c | 121541 | 3898 16687 50673 | 2147483647 117034 103 | 0.000 % |
59.25/59.40 c | 121992 | 3898 16687 50673 | 2147483647 117485 103 | 0.000 % |
59.76/59.86 c | 122485 | 3898 16687 50673 | 2147483647 117978 103 | 0.000 % |
60.26/60.33 c | 123028 | 3898 16687 50673 | 2147483647 118521 103 | 0.000 % |
60.76/60.89 c | 123624 | 3898 16687 50673 | 2147483647 119117 103 | 0.000 % |
61.35/61.43 c | 124279 | 3898 16687 50673 | 2147483647 119772 103 | 0.000 % |
61.95/62.07 c | 124999 | 3898 16687 50673 | 2147483647 120492 103 | 0.000 % |
62.65/62.70 c | 125791 | 3898 16687 50673 | 2147483647 121284 103 | 0.000 % |
63.35/63.43 c | 126662 | 3898 16687 50673 | 2147483647 122155 104 | 0.000 % |
64.25/64.31 c | 127622 | 3898 16687 50673 | 2147483647 123115 104 | 0.000 % |
65.16/65.21 c | 128677 | 3898 16687 50673 | 2147483647 124170 104 | 0.000 % |
66.05/66.15 c | 129836 | 3898 16687 50673 | 2147483647 125329 104 | 0.000 % |
67.06/67.19 c | 131109 | 3898 16687 50673 | 2147483647 126602 104 | 0.000 % |
68.35/68.47 c | 132509 | 3898 16687 50673 | 2147483647 128002 104 | 0.000 % |
68.45/68.59 c | 132609 | 3898 16687 50673 | 2147483647 128102 104 | 0.000 % |
68.65/68.72 c | 132720 | 3898 16687 50673 | 2147483647 128213 104 | 0.000 % |
68.75/68.84 c | 132841 | 3898 16687 50673 | 2147483647 128334 104 | 0.000 % |
68.85/68.98 c | 132974 | 3898 16687 50673 | 2147483647 128467 104 | 0.000 % |
69.05/69.14 c | 133121 | 3898 16687 50673 | 2147483647 128614 104 | 0.000 % |
69.15/69.29 c | 133281 | 3898 16687 50673 | 2147483647 128774 104 | 0.000 % |
69.45/69.50 c | 133458 | 3898 16687 50673 | 2147483647 128951 104 | 0.000 % |
69.65/69.71 c | 133652 | 3898 16687 50673 | 2147483647 129145 104 | 0.000 % |
69.85/69.90 c | 133865 | 3898 16687 50673 | 2147483647 129358 104 | 0.000 % |
70.05/70.15 c | 134099 | 3898 16687 50673 | 2147483647 129592 104 | 0.000 % |
70.35/70.40 c | 134357 | 3898 16687 50673 | 2147483647 129850 104 | 0.000 % |
70.65/70.71 c | 134639 | 3898 16687 50673 | 2147483647 130132 104 | 0.000 % |
70.95/71.03 c | 134948 | 3898 16687 50673 | 2147483647 130441 104 | 0.000 % |
71.25/71.32 c | 135290 | 3898 16687 50673 | 2147483647 130783 104 | 0.000 % |
71.55/71.64 c | 135663 | 3898 16687 50673 | 2147483647 131156 104 | 0.000 % |
71.95/72.00 c | 136074 | 3898 16687 50673 | 2147483647 131567 104 | 0.000 % |
72.35/72.47 c | 136525 | 3898 16687 50673 | 2147483647 132018 104 | 0.000 % |
72.85/72.98 c | 137018 | 3898 16687 50673 | 2147483647 132511 104 | 0.000 % |
73.45/73.54 c | 137561 | 3898 16687 50673 | 2147483647 133054 104 | 0.000 % |
74.05/74.10 c | 138157 | 3898 16687 50673 | 2147483647 133650 104 | 0.000 % |
74.66/74.77 c | 138815 | 3898 16687 50673 | 2147483647 134308 104 | 0.000 % |
75.35/75.48 c | 139537 | 3898 16687 50673 | 2147483647 135030 104 | 0.000 % |
76.15/76.29 c | 140329 | 3898 16687 50673 | 2147483647 135822 104 | 0.000 % |
77.15/77.23 c | 141201 | 3898 16687 50673 | 2147483647 136694 104 | 0.000 % |
77.95/78.08 c | 142160 | 3898 16687 50673 | 2147483647 137653 104 | 0.000 % |
78.95/79.05 c | 143214 | 3898 16687 50673 | 2147483647 138707 104 | 0.000 % |
80.05/80.17 c | 144373 | 3898 16687 50673 | 2147483647 139866 104 | 0.000 % |
81.25/81.32 c | 145647 | 3898 16687 50673 | 2147483647 141140 104 | 0.000 % |
82.54/82.61 c | 147049 | 3898 16687 50673 | 2147483647 142542 105 | 0.000 % |
84.04/84.18 c | 148589 | 3898 16687 50673 | 2147483647 144082 105 | 0.000 % |
84.24/84.30 c | 148689 | 3898 16687 50673 | 2147483647 144182 105 | 0.000 % |
84.34/84.44 c | 148800 | 3898 16687 50673 | 2147483647 144293 105 | 0.000 % |
84.44/84.57 c | 148921 | 3898 16687 50673 | 2147483647 144414 105 | 0.000 % |
84.65/84.73 c | 149054 | 3898 16687 50673 | 2147483647 144547 105 | 0.000 % |
84.84/84.93 c | 149200 | 3898 16687 50673 | 2147483647 144693 105 | 0.000 % |
85.05/85.12 c | 149363 | 3898 16687 50673 | 2147483647 144856 105 | 0.000 % |
85.25/85.32 c | 149539 | 3898 16687 50673 | 2147483647 145032 105 | 0.000 % |
85.45/85.57 c | 149733 | 3898 16687 50673 | 2147483647 145226 105 | 0.000 % |
85.75/85.82 c | 149945 | 3898 16687 50673 | 2147483647 145438 105 | 0.000 % |
86.05/86.11 c | 150179 | 3898 16687 50673 | 2147483647 145672 105 | 0.000 % |
86.25/86.37 c | 150435 | 3898 16687 50673 | 2147483647 145928 105 | 0.000 % |
86.55/86.68 c | 150716 | 3898 16687 50673 | 2147483647 146209 105 | 0.000 % |
86.95/87.04 c | 151025 | 3898 16687 50673 | 2147483647 146518 105 | 0.000 % |
87.35/87.42 c | 151364 | 3898 16687 50673 | 2147483647 146857 105 | 0.000 % |
87.74/87.81 c | 151736 | 3898 16687 50673 | 2147483647 147229 105 | 0.000 % |
88.14/88.25 c | 152145 | 3898 16687 50673 | 2147483647 147638 105 | 0.000 % |
88.54/88.69 c | 152595 | 3898 16687 50673 | 2147483647 148088 105 | 0.000 % |
89.14/89.26 c | 153088 | 3898 16687 50673 | 2147483647 148581 105 | 0.000 % |
89.74/89.86 c | 153632 | 3898 16687 50673 | 2147483647 149125 105 | 0.000 % |
90.34/90.48 c | 154229 | 3898 16687 50673 | 2147483647 149722 105 | 0.000 % |
91.04/91.20 c | 154886 | 3898 16687 50673 | 2147483647 150379 105 | 0.000 % |
91.85/91.97 c | 155607 | 3898 16687 50673 | 2147483647 151100 105 | 0.000 % |
92.75/92.87 c | 156401 | 3898 16687 50673 | 2147483647 151894 105 | 0.000 % |
93.64/93.78 c | 157272 | 3898 16687 50673 | 2147483647 152765 105 | 0.000 % |
94.64/94.79 c | 158230 | 3898 16687 50673 | 2147483647 153723 105 | 0.000 % |
95.74/95.89 c | 159283 | 3898 16687 50673 | 2147483647 154776 105 | 0.000 % |
96.94/97.10 c | 160444 | 3898 16687 50673 | 2147483647 155937 105 | 0.000 % |
98.34/98.50 c | 161718 | 3898 16687 50673 | 2147483647 157211 105 | 0.000 % |
99.84/99.93 c | 163118 | 3898 16687 50673 | 2147483647 158611 105 | 0.000 % |
101.44/101.58 c | 164658 | 3898 16687 50673 | 2147483647 160151 105 | 0.000 % |
103.34/103.46 c | 166354 | 3898 16687 50673 | 2147483647 161847 105 | 0.000 % |
103.44/103.57 c | 166454 | 3898 16687 50673 | 2147483647 161947 105 | 0.000 % |
103.64/103.73 c | 166564 | 3898 16687 50673 | 2147483647 162057 105 | 0.000 % |
103.84/103.91 c | 166687 | 3898 16687 50673 | 2147483647 162180 105 | 0.000 % |
104.04/104.11 c | 166820 | 3898 16687 50673 | 2147483647 162313 105 | 0.000 % |
104.14/104.27 c | 166966 | 3898 16687 50673 | 2147483647 162459 105 | 0.000 % |
104.44/104.50 c | 167130 | 3898 16687 50673 | 2147483647 162623 105 | 0.000 % |
104.64/104.74 c | 167306 | 3898 16687 50673 | 2147483647 162799 105 | 0.000 % |
104.84/104.97 c | 167501 | 3898 16687 50673 | 2147483647 162994 105 | 0.000 % |
105.14/105.26 c | 167714 | 3898 16687 50673 | 2147483647 163207 105 | 0.000 % |
105.44/105.55 c | 167948 | 3898 16687 50673 | 2147483647 163441 105 | 0.000 % |
105.73/105.87 c | 168204 | 3898 16687 50673 | 2147483647 163697 105 | 0.000 % |
106.13/106.21 c | 168486 | 3898 16687 50673 | 2147483647 163979 105 | 0.000 % |
106.54/106.61 c | 168796 | 3898 16687 50673 | 2147483647 164289 105 | 0.000 % |
106.93/107.03 c | 169137 | 3898 16687 50673 | 2147483647 164630 105 | 0.000 % |
107.33/107.47 c | 169511 | 3898 16687 50673 | 2147483647 165004 105 | 0.000 % |
107.83/107.97 c | 169921 | 3898 16687 50673 | 2147483647 165414 105 | 0.000 % |
108.43/108.51 c | 170370 | 3898 16687 50673 | 2147483647 165863 105 | 0.000 % |
109.04/109.14 c | 170864 | 3898 16687 50673 | 2147483647 166357 105 | 0.000 % |
109.74/109.80 c | 171406 | 3898 16687 50673 | 2147483647 166899 105 | 0.000 % |
110.34/110.48 c | 172003 | 3898 16687 50673 | 2147483647 167496 105 | 0.000 % |
111.24/111.31 c | 172659 | 3898 16687 50673 | 2147483647 168152 105 | 0.000 % |
112.04/112.15 c | 173379 | 3898 16687 50673 | 2147483647 168872 105 | 0.000 % |
112.93/113.09 c | 174171 | 3898 16687 50673 | 2147483647 169664 105 | 0.000 % |
114.03/114.13 c | 175042 | 3898 16687 50673 | 2147483647 170535 105 | 0.000 % |
115.24/115.33 c | 176000 | 3898 16687 50673 | 2147483647 171493 105 | 0.000 % |
116.44/116.58 c | 177054 | 3898 16687 50673 | 2147483647 172547 105 | 0.000 % |
117.84/117.93 c | 178212 | 3898 16687 50673 | 2147483647 173705 106 | 0.000 % |
119.34/119.45 c | 179487 | 3898 16687 50673 | 2147483647 174980 106 | 0.000 % |
120.94/121.09 c | 180888 | 3898 16687 50673 | 2147483647 176381 106 | 0.000 % |
122.93/123.01 c | 182429 | 3898 16687 50673 | 2147483647 177922 106 | 0.000 % |
125.03/125.15 c | 184123 | 3898 16687 50673 | 2147483647 179616 106 | 0.000 % |
127.14/127.20 c | 185988 | 3898 16687 50673 | 2147483647 181481 106 | 0.000 % |
127.24/127.34 c | 186088 | 3898 16687 50673 | 2147483647 181581 106 | 0.000 % |
127.44/127.52 c | 186198 | 3898 16687 50673 | 2147483647 181691 106 | 0.000 % |
127.63/127.72 c | 186321 | 3898 16687 50673 | 2147483647 181814 106 | 0.000 % |
127.83/127.92 c | 186455 | 3898 16687 50673 | 2147483647 181948 106 | 0.000 % |
128.03/128.15 c | 186603 | 3898 16687 50673 | 2147483647 182096 106 | 0.000 % |
128.23/128.36 c | 186765 | 3898 16687 50673 | 2147483647 182258 106 | 0.000 % |
128.54/128.64 c | 186942 | 3898 16687 50673 | 2147483647 182435 106 | 0.000 % |
128.83/128.91 c | 187135 | 3898 16687 50673 | 2147483647 182628 106 | 0.000 % |
129.03/129.18 c | 187347 | 3898 16687 50673 | 2147483647 182840 106 | 0.000 % |
129.43/129.52 c | 187581 | 3898 16687 50673 | 2147483647 183074 106 | 0.000 % |
129.73/129.88 c | 187837 | 3898 16687 50673 | 2147483647 183330 106 | 0.000 % |
130.13/130.29 c | 188120 | 3898 16687 50673 | 2147483647 183613 106 | 0.000 % |
130.63/130.70 c | 188431 | 3898 16687 50673 | 2147483647 183924 106 | 0.000 % |
131.03/131.17 c | 188771 | 3898 16687 50673 | 2147483647 184264 106 | 0.000 % |
131.63/131.72 c | 189145 | 3898 16687 50673 | 2147483647 184638 106 | 0.000 % |
132.12/132.25 c | 189556 | 3898 16687 50673 | 2147483647 185049 106 | 0.000 % |
132.83/132.91 c | 190005 | 3898 16687 50673 | 2147483647 185498 106 | 0.000 % |
133.43/133.55 c | 190500 | 3898 16687 50673 | 2147483647 185993 106 | 0.000 % |
134.13/134.25 c | 191044 | 3898 16687 50673 | 2147483647 186537 106 | 0.000 % |
134.93/135.06 c | 191641 | 3898 16687 50673 | 2147483647 187134 106 | 0.000 % |
135.83/135.96 c | 192297 | 3898 16687 50673 | 2147483647 187790 106 | 0.000 % |
136.73/136.86 c | 193017 | 3898 16687 50673 | 2147483647 188510 106 | 0.000 % |
137.83/137.96 c | 193809 | 3898 16687 50673 | 2147483647 189302 106 | 0.000 % |
138.92/139.08 c | 194680 | 3898 16687 50673 | 2147483647 190173 106 | 0.000 % |
140.22/140.37 c | 195641 | 3898 16687 50673 | 2147483647 191134 106 | 0.000 % |
141.62/141.74 c | 196694 | 3898 16687 50673 | 2147483647 192187 106 | 0.000 % |
143.02/143.17 c | 197853 | 3898 16687 50673 | 2147483647 193346 106 | 0.000 % |
144.73/144.81 c | 199127 | 3898 16687 50673 | 2147483647 194620 106 | 0.000 % |
146.32/146.44 c | 200527 | 3898 16687 50673 | 2147483647 196020 106 | 0.000 % |
148.43/148.50 c | 202068 | 3898 16687 50673 | 2147483647 197561 106 | 0.000 % |
150.52/150.64 c | 203763 | 3898 16687 50673 | 2147483647 199256 107 | 0.000 % |
152.91/153.05 c | 205627 | 3898 16687 50673 | 2147483647 201120 107 | 0.000 % |
155.52/155.62 c | 207677 | 3898 16687 50673 | 2147483647 203170 107 | 0.000 % |
155.62/155.79 c | 207777 | 3898 16687 50673 | 2147483647 203270 107 | 0.000 % |
155.82/155.97 c | 207888 | 3898 16687 50673 | 2147483647 203381 107 | 0.000 % |
156.03/156.17 c | 208010 | 3898 16687 50673 | 2147483647 203503 107 | 0.000 % |
156.32/156.40 c | 208143 | 3898 16687 50673 | 2147483647 203636 107 | 0.000 % |
156.52/156.61 c | 208291 | 3898 16687 50673 | 2147483647 203784 107 | 0.000 % |
156.72/156.85 c | 208451 | 3898 16687 50673 | 2147483647 203944 107 | 0.000 % |
157.02/157.15 c | 208628 | 3898 16687 50673 | 2147483647 204121 107 | 0.000 % |
157.32/157.45 c | 208821 | 3898 16687 50673 | 2147483647 204314 107 | 0.000 % |
157.72/157.81 c | 209034 | 3898 16687 50673 | 2147483647 204527 107 | 0.000 % |
158.12/158.22 c | 209267 | 3898 16687 50673 | 2147483647 204760 107 | 0.000 % |
158.52/158.64 c | 209525 | 3898 16687 50673 | 2147483647 205018 107 | 0.000 % |
159.02/159.11 c | 209807 | 3898 16687 50673 | 2147483647 205300 107 | 0.000 % |
159.42/159.59 c | 210116 | 3898 16687 50673 | 2147483647 205609 107 | 0.000 % |
160.02/160.15 c | 210455 | 3898 16687 50673 | 2147483647 205948 107 | 0.000 % |
160.62/160.75 c | 210828 | 3898 16687 50673 | 2147483647 206321 107 | 0.000 % |
161.22/161.39 c | 211237 | 3898 16687 50673 | 2147483647 206730 107 | 0.000 % |
161.82/161.99 c | 211686 | 3898 16687 50673 | 2147483647 207179 107 | 0.000 % |
162.51/162.68 c | 212180 | 3898 16687 50673 | 2147483647 207673 107 | 0.000 % |
163.31/163.44 c | 212724 | 3898 16687 50673 | 2147483647 208217 107 | 0.000 % |
164.11/164.25 c | 213320 | 3898 16687 50673 | 2147483647 208813 107 | 0.000 % |
165.01/165.10 c | 213975 | 3898 16687 50673 | 2147483647 209468 107 | 0.000 % |
166.02/166.16 c | 214696 | 3898 16687 50673 | 2147483647 210189 107 | 0.000 % |
167.11/167.21 c | 215490 | 3898 16687 50673 | 2147483647 210983 107 | 0.000 % |
168.22/168.39 c | 216362 | 3898 16687 50673 | 2147483647 211855 107 | 0.000 % |
169.62/169.75 c | 217321 | 3898 16687 50673 | 2147483647 212814 107 | 0.000 % |
171.12/171.20 c | 218374 | 3898 16687 50673 | 2147483647 213867 107 | 0.000 % |
172.71/172.87 c | 219532 | 3898 16687 50673 | 2147483647 215025 107 | 0.000 % |
174.81/174.96 c | 220805 | 3898 16687 50673 | 215493 191425 107 | 0.000 % |
176.61/176.76 c | 222206 | 3898 16687 50673 | 215493 192826 107 | 0.000 % |
178.31/178.47 c | 223748 | 3898 16687 50673 | 215493 194368 107 | 0.000 % |
180.41/180.53 c | 225442 | 3898 16687 50673 | 215493 196062 107 | 0.000 % |
182.81/182.92 c | 227306 | 3898 16687 50673 | 215493 197926 107 | 0.000 % |
185.30/185.45 c | 229356 | 3898 16687 50673 | 215493 199976 108 | 0.000 % |
188.10/188.23 c | 231611 | 3898 16687 50673 | 2147483647 202231 108 | 0.000 % |
188.30/188.41 c | 231712 | 3898 16687 50673 | 2147483647 202332 108 | 0.000 % |
188.50/188.60 c | 231823 | 3898 16687 50673 | 2147483647 202443 108 | 0.000 % |
188.60/188.78 c | 231944 | 3898 16687 50673 | 2147483647 202564 108 | 0.000 % |
188.80/188.99 c | 232077 | 3898 16687 50673 | 2147483647 202697 108 | 0.000 % |
189.11/189.25 c | 232226 | 3898 16687 50673 | 2147483647 202846 108 | 0.000 % |
189.30/189.47 c | 232386 | 3898 16687 50673 | 2147483647 203006 108 | 0.000 % |
189.60/189.75 c | 232562 | 3898 16687 50673 | 2147483647 203182 108 | 0.000 % |
189.90/190.08 c | 232756 | 3898 16687 50673 | 2147483647 203376 108 | 0.000 % |
190.30/190.45 c | 232971 | 3898 16687 50673 | 2147483647 203591 108 | 0.000 % |
190.60/190.79 c | 233206 | 3898 16687 50673 | 2147483647 203826 108 | 0.000 % |
191.00/191.14 c | 233462 | 3898 16687 50673 | 2147483647 204082 108 | 0.000 % |
191.40/191.57 c | 233744 | 3898 16687 50673 | 2147483647 204364 108 | 0.000 % |
191.90/192.02 c | 234053 | 3898 16687 50673 | 2147483647 204673 108 | 0.000 % |
192.41/192.53 c | 234393 | 3898 16687 50673 | 2147483647 205013 108 | 0.000 % |
193.00/193.14 c | 234765 | 3898 16687 50673 | 2147483647 205385 108 | 0.000 % |
193.60/193.70 c | 235176 | 3898 16687 50673 | 2147483647 205796 108 | 0.000 % |
194.20/194.37 c | 235625 | 3898 16687 50673 | 2147483647 206245 108 | 0.000 % |
194.90/195.09 c | 236119 | 3898 16687 50673 | 2147483647 206739 108 | 0.000 % |
195.71/195.85 c | 236662 | 3898 16687 50673 | 2147483647 207282 108 | 0.000 % |
196.50/196.64 c | 237259 | 3898 16687 50673 | 2147483647 207879 108 | 0.000 % |
197.40/197.55 c | 237915 | 3898 16687 50673 | 2147483647 208535 108 | 0.000 % |
198.40/198.53 c | 238638 | 3898 16687 50673 | 2147483647 209258 108 | 0.000 % |
199.50/199.62 c | 239431 | 3898 16687 50673 | 2147483647 210051 108 | 0.000 % |
200.60/200.78 c | 240307 | 3898 16687 50673 | 210620 210927 108 | 0.000 % |
202.20/202.32 c | 241267 | 3898 16687 50673 | 210620 189353 108 | 0.000 % |
203.40/203.55 c | 242320 | 3898 16687 50673 | 210620 190406 108 | 0.000 % |
204.70/204.88 c | 243480 | 3898 16687 50673 | 210620 191566 108 | 0.000 % |
206.40/206.52 c | 244753 | 3898 16687 50673 | 210620 192839 108 | 0.000 % |
208.20/208.39 c | 246156 | 3898 16687 50673 | 210620 194242 108 | 0.000 % |
210.10/210.26 c | 247697 | 3898 16687 50673 | 210620 195783 108 | 0.000 % |
212.20/212.39 c | 249391 | 3898 16687 50673 | 210620 197477 108 | 0.000 % |
214.69/214.83 c | 251254 | 3898 16687 50673 | 2147483647 199340 108 | 0.000 % |
217.29/217.50 c | 253304 | 3898 16687 50673 | 2147483647 201390 109 | 0.000 % |
220.29/220.42 c | 255557 | 3898 16687 50673 | 2147483647 203643 109 | 0.000 % |
223.49/223.63 c | 258036 | 3898 16687 50673 | 2147483647 206122 109 | 0.000 % |
223.69/223.81 c | 258136 | 3898 16687 50673 | 2147483647 206222 109 | 0.000 % |
223.80/223.99 c | 258246 | 3898 16687 50673 | 2147483647 206332 109 | 0.000 % |
224.00/224.15 c | 258369 | 3898 16687 50673 | 2147483647 206455 109 | 0.000 % |
224.20/224.35 c | 258503 | 3898 16687 50673 | 2147483647 206589 109 | 0.000 % |
224.50/224.61 c | 258649 | 3898 16687 50673 | 2147483647 206735 109 | 0.000 % |
224.70/224.86 c | 258809 | 3898 16687 50673 | 2147483647 206895 109 | 0.000 % |
225.00/225.16 c | 258985 | 3898 16687 50673 | 2147483647 207071 109 | 0.000 % |
225.30/225.48 c | 259178 | 3898 16687 50673 | 2147483647 207264 109 | 0.000 % |
225.60/225.79 c | 259390 | 3898 16687 50673 | 2147483647 207476 109 | 0.000 % |
226.00/226.12 c | 259623 | 3898 16687 50673 | 2147483647 207709 109 | 0.000 % |
226.30/226.49 c | 259881 | 3898 16687 50673 | 2147483647 207967 109 | 0.000 % |
226.70/226.88 c | 260162 | 3898 16687 50673 | 2147483647 208248 109 | 0.000 % |
227.20/227.37 c | 260473 | 3898 16687 50673 | 2147483647 208559 109 | 0.000 % |
227.70/227.89 c | 260812 | 3898 16687 50673 | 2147483647 208898 109 | 0.000 % |
228.30/228.48 c | 261184 | 3898 16687 50673 | 2147483647 209270 109 | 0.000 % |
228.90/229.05 c | 261594 | 3898 16687 50673 | 2147483647 209680 109 | 0.000 % |
229.60/229.80 c | 262043 | 3898 16687 50673 | 2147483647 210129 109 | 0.000 % |
230.40/230.55 c | 262537 | 3898 16687 50673 | 2147483647 210623 109 | 0.000 % |
231.30/231.40 c | 263079 | 3898 16687 50673 | 2147483647 211165 109 | 0.000 % |
232.20/232.34 c | 263676 | 3898 16687 50673 | 2147483647 211762 109 | 0.000 % |
233.19/233.35 c | 264334 | 3898 16687 50673 | 2147483647 212420 109 | 0.000 % |
234.29/234.44 c | 265055 | 3898 16687 50673 | 2147483647 213141 109 | 0.000 % |
235.59/235.70 c | 265850 | 3898 16687 50673 | 2147483647 213936 109 | 0.000 % |
236.79/236.92 c | 266721 | 3898 16687 50673 | 2147483647 214807 109 | 0.000 % |
238.09/238.27 c | 267680 | 3898 16687 50673 | 2147483647 215766 109 | 0.000 % |
239.59/239.71 c | 268733 | 3898 16687 50673 | 2147483647 216819 109 | 0.000 % |
241.19/241.35 c | 269892 | 3898 16687 50673 | 2147483647 217978 109 | 0.000 % |
243.28/243.49 c | 271167 | 3898 16687 50673 | 218086 189829 109 | 0.000 % |
245.09/245.28 c | 272568 | 3898 16687 50673 | 218086 191230 109 | 0.000 % |
247.08/247.29 c | 274109 | 3898 16687 50673 | 218086 192771 110 | 0.000 % |
249.28/249.40 c | 275806 | 3898 16687 50673 | 218086 194468 110 | 0.000 % |
251.48/251.68 c | 277670 | 3898 16687 50673 | 218086 196332 110 | 0.000 % |
254.28/254.43 c | 279721 | 3898 16687 50673 | 218086 198383 110 | 0.000 % |
257.08/257.27 c | 281974 | 3898 16687 50673 | 2147483647 200636 110 | 0.000 % |
260.28/260.48 c | 284454 | 3898 16687 50673 | 2147483647 203116 110 | 0.000 % |
263.78/263.96 c | 287181 | 3898 16687 50673 | 2147483647 205843 110 | 0.000 % |
263.98/264.12 c | 287281 | 3898 16687 50673 | 2147483647 205943 110 | 0.000 % |
264.18/264.32 c | 287392 | 3898 16687 50673 | 2147483647 206054 110 | 0.000 % |
264.38/264.51 c | 287515 | 3898 16687 50673 | 2147483647 206177 110 | 0.000 % |
264.58/264.74 c | 287648 | 3898 16687 50673 | 2147483647 206310 110 | 0.000 % |
264.78/265.00 c | 287795 | 3898 16687 50673 | 2147483647 206457 110 | 0.000 % |
265.08/265.26 c | 287956 | 3898 16687 50673 | 2147483647 206618 110 | 0.000 % |
265.38/265.57 c | 288135 | 3898 16687 50673 | 2147483647 206797 110 | 0.000 % |
265.68/265.89 c | 288329 | 3898 16687 50673 | 2147483647 206991 110 | 0.000 % |
266.08/266.26 c | 288541 | 3898 16687 50673 | 2147483647 207203 110 | 0.000 % |
266.48/266.64 c | 288777 | 3898 16687 50673 | 2147483647 207439 110 | 0.000 % |
266.88/267.04 c | 289033 | 3898 16687 50673 | 2147483647 207695 110 | 0.000 % |
267.38/267.57 c | 289316 | 3898 16687 50673 | 2147483647 207978 110 | 0.000 % |
267.88/268.04 c | 289627 | 3898 16687 50673 | 2147483647 208289 110 | 0.000 % |
268.38/268.59 c | 289969 | 3898 16687 50673 | 2147483647 208631 110 | 0.000 % |
268.98/269.17 c | 290341 | 3898 16687 50673 | 208662 209003 110 | 0.000 % |
269.88/270.02 c | 290752 | 3898 16687 50673 | 208662 186558 109 | 0.000 % |
270.48/270.63 c | 291203 | 3898 16687 50673 | 208662 187009 109 | 0.000 % |
271.08/271.28 c | 291697 | 3898 16687 50673 | 208662 187503 109 | 0.000 % |
271.88/272.03 c | 292239 | 3898 16687 50673 | 208662 188045 109 | 0.000 % |
272.68/272.86 c | 292835 | 3898 16687 50673 | 208662 188641 109 | 0.000 % |
273.48/273.61 c | 293490 | 3898 16687 50673 | 208662 189296 109 | 0.000 % |
274.48/274.64 c | 294211 | 3898 16687 50673 | 208662 190017 109 | 0.000 % |
275.48/275.69 c | 295003 | 3898 16687 50673 | 208662 190809 109 | 0.000 % |
276.67/276.90 c | 295874 | 3898 16687 50673 | 208662 191680 109 | 0.000 % |
277.97/278.20 c | 296834 | 3898 16687 50673 | 208662 192640 109 | 0.000 % |
279.37/279.59 c | 297888 | 3898 16687 50673 | 208662 193694 109 | 0.000 % |
280.97/281.14 c | 299046 | 3898 16687 50673 | 208662 194852 109 | 0.000 % |
282.67/282.88 c | 300319 | 3898 16687 50673 | 2147483647 196125 109 | 0.000 % |
284.47/284.65 c | 301721 | 3898 16687 50673 | 2147483647 197527 109 | 0.000 % |
286.47/286.60 c | 303262 | 3898 16687 50673 | 2147483647 199068 109 | 0.000 % |
288.47/288.64 c | 304958 | 3898 16687 50673 | 2147483647 200764 110 | 0.000 % |
290.67/290.85 c | 306821 | 3898 16687 50673 | 2147483647 202627 110 | 0.000 % |
293.47/293.63 c | 308870 | 3898 16687 50673 | 2147483647 204676 110 | 0.000 % |
296.37/296.59 c | 311123 | 3898 16687 50673 | 2147483647 206929 110 | 0.000 % |
299.87/300.03 c | 313601 | 3898 16687 50673 | 2147483647 209407 110 | 0.000 % |
303.57/303.75 c | 316326 | 3898 16687 50673 | 2147483647 212132 110 | 0.000 % |
307.67/307.88 c | 319323 | 3898 16687 50673 | 2147483647 215129 110 | 0.000 % |
307.87/308.06 c | 319423 | 3898 16687 50673 | 2147483647 215229 110 | 0.000 % |
308.06/308.24 c | 319533 | 3898 16687 50673 | 2147483647 215339 110 | 0.000 % |
308.26/308.48 c | 319654 | 3898 16687 50673 | 2147483647 215460 110 | 0.000 % |
308.56/308.71 c | 319788 | 3898 16687 50673 | 2147483647 215594 110 | 0.000 % |
308.76/308.96 c | 319934 | 3898 16687 50673 | 2147483647 215740 110 | 0.000 % |
309.06/309.23 c | 320095 | 3898 16687 50673 | 215806 215901 110 | 0.000 % |
309.56/309.75 c | 320271 | 3898 16687 50673 | 215806 193736 110 | 0.000 % |
309.86/310.06 c | 320464 | 3898 16687 50673 | 215806 193929 110 | 0.000 % |
310.16/310.39 c | 320677 | 3898 16687 50673 | 215806 194142 110 | 0.000 % |
310.56/310.75 c | 320910 | 3898 16687 50673 | 215806 194375 110 | 0.000 % |
310.96/311.15 c | 321166 | 3898 16687 50673 | 215806 194631 110 | 0.000 % |
311.36/311.52 c | 321447 | 3898 16687 50673 | 215806 194912 110 | 0.000 % |
311.76/311.98 c | 321756 | 3898 16687 50673 | 215806 195221 110 | 0.000 % |
312.27/312.45 c | 322097 | 3898 16687 50673 | 215806 195562 110 | 0.000 % |
312.86/313.00 c | 322470 | 3898 16687 50673 | 215806 195935 110 | 0.000 % |
313.37/313.58 c | 322879 | 3898 16687 50673 | 215806 196344 110 | 0.000 % |
314.06/314.26 c | 323328 | 3898 16687 50673 | 215806 196793 110 | 0.000 % |
314.76/314.96 c | 323822 | 3898 16687 50673 | 215806 197287 110 | 0.000 % |
315.48/315.69 c | 324365 | 3898 16687 50673 | 215806 197830 110 | 0.000 % |
316.27/316.43 c | 324961 | 3898 16687 50673 | 215806 198426 110 | 0.000 % |
317.17/317.30 c | 325617 | 3898 16687 50673 | 215806 199082 110 | 0.000 % |
318.07/318.30 c | 326338 | 3898 16687 50673 | 215806 199803 110 | 0.000 % |
319.17/319.37 c | 327130 | 3898 16687 50673 | 215806 200595 110 | 0.000 % |
320.47/320.63 c | 328001 | 3898 16687 50673 | 215806 201466 110 | 0.000 % |
321.87/322.02 c | 328960 | 3898 16687 50673 | 215806 202425 110 | 0.000 % |
323.27/323.48 c | 330013 | 3898 16687 50673 | 203466 203478 110 | 0.000 % |
325.07/325.27 c | 331171 | 3898 16687 50673 | 203466 182325 110 | 0.000 % |
326.67/326.88 c | 332444 | 3898 16687 50673 | 203466 183598 110 | 0.000 % |
328.46/328.68 c | 333845 | 3898 16687 50673 | 203466 184999 110 | 0.000 % |
330.46/330.60 c | 335385 | 3898 16687 50673 | 203466 186539 110 | 0.000 % |
332.56/332.72 c | 337079 | 3898 16687 50673 | 203466 188233 110 | 0.000 % |
334.86/335.06 c | 338942 | 3898 16687 50673 | 203466 190096 110 | 0.000 % |
337.26/337.49 c | 340992 | 3898 16687 50673 | 2147483647 192146 110 | 0.000 % |
340.16/340.32 c | 343245 | 3898 16687 50673 | 2147483647 194399 110 | 0.000 % |
343.36/343.57 c | 345723 | 3898 16687 50673 | 2147483647 196877 110 | 0.000 % |
346.66/346.83 c | 348449 | 3898 16687 50673 | 2147483647 199603 111 | 0.000 % |
350.66/350.81 c | 351446 | 3898 16687 50673 | 2147483647 202600 111 | 0.000 % |
354.85/355.08 c | 354744 | 3898 16687 50673 | 2147483647 205898 111 | 0.000 % |
355.06/355.26 c | 354844 | 3898 16687 50673 | 2147483647 205998 111 | 0.000 % |
355.25/355.44 c | 354954 | 3898 16687 50673 | 2147483647 206108 111 | 0.000 % |
355.45/355.61 c | 355076 | 3898 16687 50673 | 2147483647 206230 111 | 0.000 % |
355.65/355.87 c | 355209 | 3898 16687 50673 | 2147483647 206363 111 | 0.000 % |
355.95/356.10 c | 355355 | 3898 16687 50673 | 2147483647 206509 111 | 0.000 % |
356.16/356.38 c | 355516 | 3898 16687 50673 | 2147483647 206670 111 | 0.000 % |
356.45/356.69 c | 355692 | 3898 16687 50673 | 2147483647 206846 111 | 0.000 % |
356.85/357.00 c | 355885 | 3898 16687 50673 | 2147483647 207039 111 | 0.000 % |
357.15/357.34 c | 356097 | 3898 16687 50673 | 2147483647 207251 111 | 0.000 % |
357.55/357.74 c | 356330 | 3898 16687 50673 | 2147483647 207484 111 | 0.000 % |
357.95/358.13 c | 356586 | 3898 16687 50673 | 2147483647 207740 111 | 0.000 % |
358.36/358.56 c | 356867 | 3898 16687 50673 | 2147483647 208021 111 | 0.000 % |
358.85/359.07 c | 357177 | 3898 16687 50673 | 2147483647 208331 111 | 0.000 % |
359.35/359.54 c | 357518 | 3898 16687 50673 | 2147483647 208672 111 | 0.000 % |
359.95/360.17 c | 357892 | 3898 16687 50673 | 2147483647 209046 111 | 0.000 % |
360.56/360.80 c | 358301 | 3898 16687 50673 | 2147483647 209455 111 | 0.000 % |
361.35/361.54 c | 358750 | 3898 16687 50673 | 2147483647 209904 111 | 0.000 % |
362.05/362.24 c | 359243 | 3898 16687 50673 | 2147483647 210397 111 | 0.000 % |
362.76/362.98 c | 359786 | 3898 16687 50673 | 2147483647 210940 111 | 0.000 % |
363.65/363.81 c | 360382 | 3898 16687 50673 | 211154 211536 111 | 0.000 % |
364.75/364.95 c | 361037 | 3898 16687 50673 | 211154 190011 111 | 0.000 % |
365.65/365.84 c | 361759 | 3898 16687 50673 | 211154 190733 111 | 0.000 % |
366.75/366.94 c | 362551 | 3898 16687 50673 | 211154 191525 111 | 0.000 % |
367.85/368.07 c | 363422 | 3898 16687 50673 | 211154 192396 111 | 0.000 % |
369.15/369.39 c | 364382 | 3898 16687 50673 | 211154 193356 111 | 0.000 % |
370.55/370.74 c | 365435 | 3898 16687 50673 | 211154 194409 111 | 0.000 % |
371.95/372.20 c | 366594 | 3898 16687 50673 | 211154 195568 111 | 0.000 % |
373.75/373.95 c | 367867 | 3898 16687 50673 | 211154 196841 111 | 0.000 % |
375.65/375.83 c | 369267 | 3898 16687 50673 | 211154 198241 111 | 0.000 % |
377.85/378.04 c | 370807 | 3898 16687 50673 | 2147483647 199781 111 | 0.000 % |
380.05/380.24 c | 372502 | 3898 16687 50673 | 2147483647 201476 111 | 0.000 % |
382.65/382.85 c | 374365 | 3898 16687 50673 | 2147483647 203339 111 | 0.000 % |
385.34/385.60 c | 376414 | 3898 16687 50673 | 2147483647 205388 111 | 0.000 % |
388.64/388.82 c | 378669 | 3898 16687 50673 | 2147483647 207643 111 | 0.000 % |
391.74/391.92 c | 381148 | 3898 16687 50673 | 2147483647 210122 111 | 0.000 % |
395.34/395.50 c | 383873 | 3898 16687 50673 | 2147483647 212847 111 | 0.000 % |
399.44/399.60 c | 386871 | 3898 16687 50673 | 2147483647 215845 111 | 0.000 % |
403.83/404.00 c | 390167 | 3898 16687 50673 | 2147483647 219141 111 | 0.000 % |
409.13/409.32 c | 393792 | 3898 16687 50673 | 2147483647 222766 112 | 0.000 % |
409.23/409.49 c | 393892 | 3898 16687 50673 | 2147483647 222866 112 | 0.000 % |
409.43/409.67 c | 394002 | 3898 16687 50673 | 2147483647 222976 112 | 0.000 % |
409.73/409.94 c | 394125 | 3898 16687 50673 | 2147483647 223099 112 | 0.000 % |
409.93/410.17 c | 394260 | 3898 16687 50673 | 2147483647 223234 112 | 0.000 % |
410.23/410.43 c | 394406 | 3898 16687 50673 | 2147483647 223380 111 | 0.000 % |
410.53/410.72 c | 394566 | 3898 16687 50673 | 2147483647 223540 111 | 0.000 % |
410.83/411.04 c | 394742 | 3898 16687 50673 | 2147483647 223716 111 | 0.000 % |
411.14/411.37 c | 394935 | 3898 16687 50673 | 2147483647 223909 111 | 0.000 % |
411.53/411.74 c | 395148 | 3898 16687 50673 | 2147483647 224122 111 | 0.000 % |
411.93/412.15 c | 395383 | 3898 16687 50673 | 2147483647 224357 111 | 0.000 % |
412.34/412.57 c | 395640 | 3898 16687 50673 | 2147483647 224614 111 | 0.000 % |
412.73/412.99 c | 395922 | 3898 16687 50673 | 2147483647 224896 111 | 0.000 % |
413.34/413.53 c | 396232 | 3898 16687 50673 | 2147483647 225206 111 | 0.000 % |
413.83/414.06 c | 396571 | 3898 16687 50673 | 2147483647 225545 111 | 0.000 % |
414.43/414.69 c | 396944 | 3898 16687 50673 | 2147483647 225918 111 | 0.000 % |
415.23/415.40 c | 397358 | 3898 16687 50673 | 2147483647 226332 111 | 0.000 % |
415.83/416.09 c | 397809 | 3898 16687 50673 | 2147483647 226783 111 | 0.000 % |
416.64/416.84 c | 398303 | 3898 16687 50673 | 2147483647 227277 111 | 0.000 % |
417.53/417.72 c | 398845 | 3898 16687 50673 | 2147483647 227819 111 | 0.000 % |
418.43/418.62 c | 399441 | 3898 16687 50673 | 2147483647 228415 111 | 0.000 % |
419.43/419.62 c | 400096 | 3898 16687 50673 | 228975 229070 111 | 0.000 % |
420.63/420.85 c | 400817 | 3898 16687 50673 | 228975 195726 111 | 0.000 % |
421.73/421.91 c | 401609 | 3898 16687 50673 | 228975 196518 111 | 0.000 % |
422.83/423.05 c | 402481 | 3898 16687 50673 | 228975 197390 111 | 0.000 % |
424.13/424.36 c | 403440 | 3898 16687 50673 | 228975 198349 111 | 0.000 % |
425.53/425.75 c | 404496 | 3898 16687 50673 | 228975 199405 111 | 0.000 % |
427.13/427.30 c | 405654 | 3898 16687 50673 | 228975 200563 111 | 0.000 % |
428.83/429.03 c | 406927 | 3898 16687 50673 | 228975 201836 111 | 0.000 % |
430.73/430.91 c | 408327 | 3898 16687 50673 | 228975 203236 111 | 0.000 % |
432.73/432.94 c | 409870 | 3898 16687 50673 | 228975 204779 111 | 0.000 % |
435.12/435.37 c | 411564 | 3898 16687 50673 | 204910 183895 111 | 0.000 % |
437.42/437.61 c | 413427 | 3898 16687 50673 | 204910 185758 111 | 0.000 % |
439.92/440.12 c | 415476 | 3898 16687 50673 | 204910 187807 111 | 0.000 % |
442.62/442.89 c | 417732 | 3898 16687 50673 | 204910 190063 111 | 0.000 % |
445.92/446.10 c | 420212 | 3898 16687 50673 | 2147483647 192543 112 | 0.000 % |
449.22/449.48 c | 422938 | 3898 16687 50673 | 2147483647 195269 112 | 0.000 % |
453.12/453.36 c | 425935 | 3898 16687 50673 | 2147483647 198266 112 | 0.000 % |
457.32/457.59 c | 429231 | 3898 16687 50673 | 2147483647 201562 112 | 0.000 % |
462.22/462.45 c | 432856 | 3898 16687 50673 | 2147483647 205187 112 | 0.000 % |
467.61/467.84 c | 436844 | 3898 16687 50673 | 2147483647 209175 112 | 0.000 % |
467.71/467.98 c | 436944 | 3898 16687 50673 | 2147483647 209275 112 | 0.000 % |
467.91/468.18 c | 437055 | 3898 16687 50673 | 2147483647 209386 112 | 0.000 % |
468.21/468.40 c | 437176 | 3898 16687 50673 | 2147483647 209507 112 | 0.000 % |
468.32/468.60 c | 437310 | 3898 16687 50673 | 2147483647 209641 112 | 0.000 % |
468.61/468.84 c | 437456 | 3898 16687 50673 | 2147483647 209787 112 | 0.000 % |
468.81/469.09 c | 437616 | 3898 16687 50673 | 2147483647 209947 112 | 0.000 % |
469.11/469.39 c | 437796 | 3898 16687 50673 | 2147483647 210127 112 | 0.000 % |
469.52/469.72 c | 437990 | 3898 16687 50673 | 2147483647 210321 112 | 0.000 % |
469.81/470.05 c | 438202 | 3898 16687 50673 | 2147483647 210533 112 | 0.000 % |
470.21/470.41 c | 438435 | 3898 16687 50673 | 2147483647 210766 112 | 0.000 % |
470.52/470.79 c | 438693 | 3898 16687 50673 | 2147483647 211024 112 | 0.000 % |
471.01/471.21 c | 438974 | 3898 16687 50673 | 2147483647 211305 112 | 0.000 % |
471.41/471.66 c | 439283 | 3898 16687 50673 | 2147483647 211614 112 | 0.000 % |
471.91/472.15 c | 439623 | 3898 16687 50673 | 2147483647 211954 112 | 0.000 % |
472.51/472.74 c | 439995 | 3898 16687 50673 | 2147483647 212326 112 | 0.000 % |
473.11/473.37 c | 440405 | 3898 16687 50673 | 2147483647 212736 112 | 0.000 % |
473.82/474.04 c | 440855 | 3898 16687 50673 | 2147483647 213186 112 | 0.000 % |
474.61/474.83 c | 441348 | 3898 16687 50673 | 2147483647 213679 112 | 0.000 % |
475.41/475.68 c | 441890 | 3898 16687 50673 | 2147483647 214221 112 | 0.000 % |
476.31/476.51 c | 442486 | 3898 16687 50673 | 2147483647 214817 112 | 0.000 % |
477.21/477.42 c | 443143 | 3898 16687 50673 | 2147483647 215474 112 | 0.000 % |
478.31/478.52 c | 443864 | 3898 16687 50673 | 2147483647 216195 112 | 0.000 % |
479.41/479.62 c | 444656 | 3898 16687 50673 | 2147483647 216987 112 | 0.000 % |
480.71/480.96 c | 445530 | 3898 16687 50673 | 2147483647 217861 112 | 0.000 % |
482.21/482.43 c | 446490 | 3898 16687 50673 | 2147483647 218821 112 | 0.000 % |
483.81/484.02 c | 447543 | 3898 16687 50673 | 2147483647 219874 112 | 0.000 % |
485.41/485.64 c | 448702 | 3898 16687 50673 | 2147483647 221033 112 | 0.000 % |
487.30/487.58 c | 449976 | 3898 16687 50673 | 2147483647 222307 112 | 0.000 % |
489.60/489.87 c | 451377 | 3898 16687 50673 | 222335 195028 112 | 0.000 % |
491.70/491.92 c | 452919 | 3898 16687 50673 | 222335 196570 112 | 0.000 % |
493.90/494.15 c | 454616 | 3898 16687 50673 | 222335 198267 112 | 0.000 % |
496.30/496.55 c | 456482 | 3898 16687 50673 | 222335 200133 112 | 0.000 % |
498.90/499.14 c | 458535 | 3898 16687 50673 | 222335 202186 112 | 0.000 % |
502.20/502.48 c | 460788 | 3898 16687 50673 | 203651 183493 113 | 0.000 % |
505.50/505.73 c | 463266 | 3898 16687 50673 | 203651 185971 113 | 0.000 % |
508.70/508.98 c | 465992 | 3898 16687 50673 | 203651 188697 113 | 0.000 % |
512.60/512.84 c | 468989 | 3898 16687 50673 | 203651 191694 113 | 0.000 % |
516.70/516.97 c | 472285 | 3898 16687 50673 | 2147483647 194990 113 | 0.000 % |
521.39/521.70 c | 475911 | 3898 16687 50673 | 2147483647 198616 113 | 0.000 % |
526.60/526.84 c | 479898 | 3898 16687 50673 | 2147483647 202603 113 | 0.000 % |
532.39/532.67 c | 484283 | 3898 16687 50673 | 2147483647 206988 113 | 0.000 % |
532.59/532.83 c | 484383 | 3898 16687 50673 | 2147483647 207088 113 | 0.000 % |
532.79/533.03 c | 484493 | 3898 16687 50673 | 2147483647 207198 113 | 0.000 % |
532.99/533.23 c | 484614 | 3898 16687 50673 | 2147483647 207319 113 | 0.000 % |
533.19/533.46 c | 484747 | 3898 16687 50673 | 2147483647 207452 113 | 0.000 % |
533.39/533.69 c | 484894 | 3898 16687 50673 | 2147483647 207599 113 | 0.000 % |
533.69/533.94 c | 485054 | 3898 16687 50673 | 2147483647 207759 113 | 0.000 % |
533.99/534.23 c | 485230 | 3898 16687 50673 | 2147483647 207935 113 | 0.000 % |
534.29/534.57 c | 485424 | 3898 16687 50673 | 2147483647 208129 113 | 0.000 % |
534.59/534.87 c | 485636 | 3898 16687 50673 | 2147483647 208341 113 | 0.000 % |
534.99/535.28 c | 485872 | 3898 16687 50673 | 2147483647 208577 113 | 0.000 % |
535.49/535.71 c | 486129 | 3898 16687 50673 | 2147483647 208834 113 | 0.000 % |
535.88/536.13 c | 486410 | 3898 16687 50673 | 2147483647 209115 113 | 0.000 % |
536.39/536.64 c | 486720 | 3898 16687 50673 | 2147483647 209425 113 | 0.000 % |
536.89/537.16 c | 487059 | 3898 16687 50673 | 2147483647 209764 113 | 0.000 % |
537.49/537.73 c | 487431 | 3898 16687 50673 | 2147483647 210136 113 | 0.000 % |
538.09/538.30 c | 487842 | 3898 16687 50673 | 2147483647 210547 113 | 0.000 % |
538.70/539.00 c | 488291 | 3898 16687 50673 | 2147483647 210996 113 | 0.000 % |
539.49/539.80 c | 488785 | 3898 16687 50673 | 2147483647 211490 113 | 0.000 % |
540.29/540.54 c | 489327 | 3898 16687 50673 | 2147483647 212032 113 | 0.000 % |
541.09/541.36 c | 489923 | 3898 16687 50673 | 2147483647 212628 113 | 0.000 % |
542.10/542.35 c | 490578 | 3898 16687 50673 | 212706 213283 113 | 0.000 % |
543.39/543.61 c | 491298 | 3898 16687 50673 | 212706 191515 113 | 0.000 % |
544.39/544.63 c | 492091 | 3898 16687 50673 | 212706 192308 113 | 0.000 % |
545.59/545.84 c | 492963 | 3898 16687 50673 | 212706 193180 113 | 0.000 % |
546.89/547.18 c | 493924 | 3898 16687 50673 | 212706 194141 113 | 0.000 % |
548.29/548.57 c | 494978 | 3898 16687 50673 | 212706 195195 113 | 0.000 % |
549.89/550.18 c | 496137 | 3898 16687 50673 | 212706 196354 113 | 0.000 % |
551.59/551.87 c | 497411 | 3898 16687 50673 | 212706 197628 113 | 0.000 % |
553.59/553.82 c | 498811 | 3898 16687 50673 | 212706 199028 113 | 0.000 % |
555.59/555.85 c | 500351 | 3898 16687 50673 | 2147483647 200568 113 | 0.000 % |
557.79/558.03 c | 502046 | 3898 16687 50673 | 2147483647 202263 113 | 0.000 % |
560.49/560.80 c | 503910 | 3898 16687 50673 | 2147483647 204127 113 | 0.000 % |
563.19/563.42 c | 505961 | 3898 16687 50673 | 2147483647 206178 113 | 0.000 % |
565.98/566.29 c | 508214 | 3898 16687 50673 | 2147483647 208431 114 | 0.000 % |
569.38/569.68 c | 510692 | 3898 16687 50673 | 2147483647 210909 114 | 0.000 % |
573.08/573.39 c | 513420 | 3898 16687 50673 | 2147483647 213637 114 | 0.000 % |
576.98/577.28 c | 516418 | 3898 16687 50673 | 2147483647 216635 114 | 0.000 % |
581.48/581.71 c | 519714 | 3898 16687 50673 | 2147483647 219931 114 | 0.000 % |
586.38/586.69 c | 523340 | 3898 16687 50673 | 2147483647 223557 114 | 0.000 % |
591.77/592.04 c | 527328 | 3898 16687 50673 | 2147483647 227545 114 | 0.000 % |
598.17/598.42 c | 531713 | 3898 16687 50673 | 230217 206842 114 | 0.000 % |
604.37/604.66 c | 536536 | 3898 16687 50673 | 230217 211665 114 | 0.000 % |
604.57/604.85 c | 536637 | 3898 16687 50673 | 230217 211766 114 | 0.000 % |
604.77/605.05 c | 536748 | 3898 16687 50673 | 230217 211877 114 | 0.000 % |
604.97/605.28 c | 536871 | 3898 16687 50673 | 230217 212000 114 | 0.000 % |
605.27/605.51 c | 537004 | 3898 16687 50673 | 230217 212133 114 | 0.000 % |
605.47/605.79 c | 537151 | 3898 16687 50673 | 230217 212280 114 | 0.000 % |
605.77/606.05 c | 537312 | 3898 16687 50673 | 230217 212441 114 | 0.000 % |
606.07/606.34 c | 537489 | 3898 16687 50673 | 230217 212618 114 | 0.000 % |
606.37/606.66 c | 537683 | 3898 16687 50673 | 230217 212812 114 | 0.000 % |
606.77/607.04 c | 537895 | 3898 16687 50673 | 230217 213024 114 | 0.000 % |
607.17/607.42 c | 538130 | 3898 16687 50673 | 230217 213259 114 | 0.000 % |
607.57/607.80 c | 538387 | 3898 16687 50673 | 230217 213516 114 | 0.000 % |
607.97/608.27 c | 538668 | 3898 16687 50673 | 230217 213797 114 | 0.000 % |
608.47/608.74 c | 538978 | 3898 16687 50673 | 230217 214107 114 | 0.000 % |
608.96/609.28 c | 539317 | 3898 16687 50673 | 230217 214446 114 | 0.000 % |
609.56/609.90 c | 539691 | 3898 16687 50673 | 230217 214820 114 | 0.000 % |
610.27/610.59 c | 540100 | 3898 16687 50673 | 215129 215229 114 | 0.000 % |
611.16/611.47 c | 540550 | 3898 16687 50673 | 215129 190893 114 | 0.000 % |
611.86/612.18 c | 541043 | 3898 16687 50673 | 215129 191386 114 | 0.000 % |
612.66/612.96 c | 541585 | 3898 16687 50673 | 215129 191928 114 | 0.000 % |
613.47/613.80 c | 542182 | 3898 16687 50673 | 215129 192525 114 | 0.000 % |
614.36/614.63 c | 542838 | 3898 16687 50673 | 215129 193181 114 | 0.000 % |
615.36/615.65 c | 543560 | 3898 16687 50673 | 215129 193903 114 | 0.000 % |
616.46/616.78 c | 544353 | 3898 16687 50673 | 215129 194696 114 | 0.000 % |
617.57/617.89 c | 545224 | 3898 16687 50673 | 215129 195567 114 | 0.000 % |
618.87/619.15 c | 546183 | 3898 16687 50673 | 215129 196526 114 | 0.000 % |
620.37/620.61 c | 547236 | 3898 16687 50673 | 215129 197579 114 | 0.000 % |
621.87/622.18 c | 548397 | 3898 16687 50673 | 215129 198740 114 | 0.000 % |
623.67/623.90 c | 549670 | 3898 16687 50673 | 215129 200013 114 | 0.000 % |
625.57/625.90 c | 551072 | 3898 16687 50673 | 2147483647 201415 114 | 0.000 % |
627.67/627.99 c | 552612 | 3898 16687 50673 | 2147483647 202955 114 | 0.000 % |
630.17/630.40 c | 554308 | 3898 16687 50673 | 2147483647 204651 114 | 0.000 % |
632.57/632.87 c | 556171 | 3898 16687 50673 | 2147483647 206514 114 | 0.000 % |
635.47/635.78 c | 558220 | 3898 16687 50673 | 2147483647 208563 114 | 0.000 % |
638.56/638.89 c | 560473 | 3898 16687 50673 | 210343 210816 114 | 0.000 % |
642.17/642.41 c | 562951 | 3898 16687 50673 | 210343 191694 114 | 0.000 % |
645.66/645.96 c | 565676 | 3898 16687 50673 | 210343 194419 114 | 0.000 % |
649.56/649.80 c | 568674 | 3898 16687 50673 | 210343 197417 114 | 0.000 % |
653.76/654.05 c | 571970 | 3898 16687 50673 | 2147483647 200713 114 | 0.000 % |
658.26/658.56 c | 575595 | 3898 16687 50673 | 2147483647 204338 115 | 0.000 % |
663.76/664.00 c | 579583 | 3898 16687 50673 | 2147483647 208326 115 | 0.000 % |
669.46/669.80 c | 583968 | 3898 16687 50673 | 2147483647 212711 115 | 0.000 % |
676.06/676.32 c | 588792 | 3898 16687 50673 | 2147483647 217535 115 | 0.000 % |
683.65/683.90 c | 594099 | 3898 16687 50673 | 2147483647 222842 115 | 0.000 % |
683.75/684.10 c | 594203 | 3898 16687 50673 | 2147483647 222946 115 | 0.000 % |
684.05/684.30 c | 594313 | 3898 16687 50673 | 2147483647 223056 115 | 0.000 % |
684.25/684.51 c | 594435 | 3898 16687 50673 | 2147483647 223178 115 | 0.000 % |
684.45/684.75 c | 594568 | 3898 16687 50673 | 2147483647 223311 115 | 0.000 % |
684.75/685.03 c | 594715 | 3898 16687 50673 | 2147483647 223458 115 | 0.000 % |
684.95/685.29 c | 594878 | 3898 16687 50673 | 2147483647 223621 115 | 0.000 % |
685.35/685.62 c | 595055 | 3898 16687 50673 | 2147483647 223798 115 | 0.000 % |
685.65/685.99 c | 595252 | 3898 16687 50673 | 2147483647 223995 115 | 0.000 % |
686.05/686.39 c | 595465 | 3898 16687 50673 | 2147483647 224208 115 | 0.000 % |
686.55/686.81 c | 595698 | 3898 16687 50673 | 2147483647 224441 115 | 0.000 % |
686.95/687.22 c | 595954 | 3898 16687 50673 | 2147483647 224697 115 | 0.000 % |
687.35/687.68 c | 596235 | 3898 16687 50673 | 2147483647 224978 115 | 0.000 % |
687.95/688.21 c | 596545 | 3898 16687 50673 | 2147483647 225288 115 | 0.000 % |
688.45/688.78 c | 596885 | 3898 16687 50673 | 2147483647 225628 115 | 0.000 % |
689.15/689.42 c | 597257 | 3898 16687 50673 | 2147483647 226000 115 | 0.000 % |
689.85/690.16 c | 597666 | 3898 16687 50673 | 2147483647 226409 115 | 0.000 % |
690.55/690.82 c | 598117 | 3898 16687 50673 | 2147483647 226860 115 | 0.000 % |
691.35/691.63 c | 598610 | 3898 16687 50673 | 2147483647 227353 115 | 0.000 % |
692.25/692.53 c | 599152 | 3898 16687 50673 | 2147483647 227895 115 | 0.000 % |
693.15/693.49 c | 599749 | 3898 16687 50673 | 2147483647 228492 115 | 0.000 % |
694.25/694.56 c | 600405 | 3898 16687 50673 | 228743 229148 115 | 0.000 % |
695.65/695.95 c | 601126 | 3898 16687 50673 | 228743 198307 115 | 0.000 % |
696.65/696.99 c | 601919 | 3898 16687 50673 | 228743 199100 115 | 0.000 % |
697.75/698.04 c | 602790 | 3898 16687 50673 | 228743 199971 115 | 0.000 % |
699.04/699.32 c | 603748 | 3898 16687 50673 | 228743 200929 115 | 0.000 % |
700.35/700.62 c | 604801 | 3898 16687 50673 | 228743 201982 115 | 0.000 % |
702.04/702.30 c | 605960 | 3898 16687 50673 | 228743 203141 115 | 0.000 % |
703.75/704.03 c | 607234 | 3898 16687 50673 | 228743 204415 115 | 0.000 % |
705.74/706.05 c | 608636 | 3898 16687 50673 | 228743 205817 115 | 0.000 % |
707.94/708.23 c | 610176 | 3898 16687 50673 | 207181 207357 115 | 0.000 % |
710.24/710.58 c | 611870 | 3898 16687 50673 | 207181 187451 115 | 0.000 % |
712.44/712.79 c | 613733 | 3898 16687 50673 | 207181 189314 115 | 0.000 % |
714.94/715.29 c | 615783 | 3898 16687 50673 | 207181 191364 115 | 0.000 % |
717.84/718.18 c | 618036 | 3898 16687 50673 | 207181 193617 115 | 0.000 % |
721.24/721.54 c | 620516 | 3898 16687 50673 | 2147483647 196097 115 | 0.000 % |
724.73/725.07 c | 623242 | 3898 16687 50673 | 2147483647 198823 115 | 0.000 % |
728.73/729.02 c | 626240 | 3898 16687 50673 | 2147483647 201821 115 | 0.000 % |
733.03/733.34 c | 629537 | 3898 16687 50673 | 2147483647 205118 115 | 0.000 % |
738.13/738.42 c | 633164 | 3898 16687 50673 | 2147483647 208745 115 | 0.000 % |
743.53/743.82 c | 637152 | 3898 16687 50673 | 2147483647 212733 115 | 0.000 % |
749.93/750.24 c | 641538 | 3898 16687 50673 | 215581 193283 114 | 0.000 % |
756.23/756.58 c | 646361 | 3898 16687 50673 | 215581 198106 114 | 0.000 % |
762.82/763.18 c | 651668 | 3898 16687 50673 | 2147483647 203413 115 | 0.000 % |
770.62/770.97 c | 657506 | 3898 16687 50673 | 2147483647 209251 115 | 0.000 % |
770.83/771.12 c | 657606 | 3898 16687 50673 | 2147483647 209351 115 | 0.000 % |
771.02/771.31 c | 657716 | 3898 16687 50673 | 2147483647 209461 115 | 0.000 % |
771.22/771.54 c | 657837 | 3898 16687 50673 | 2147483647 209582 115 | 0.000 % |
771.42/771.77 c | 657970 | 3898 16687 50673 | 2147483647 209715 115 | 0.000 % |
771.72/772.03 c | 658118 | 3898 16687 50673 | 2147483647 209863 115 | 0.000 % |
771.92/772.30 c | 658278 | 3898 16687 50673 | 2147483647 210023 115 | 0.000 % |
772.22/772.59 c | 658454 | 3898 16687 50673 | 2147483647 210199 115 | 0.000 % |
772.62/772.92 c | 658647 | 3898 16687 50673 | 2147483647 210392 115 | 0.000 % |
772.92/773.26 c | 658859 | 3898 16687 50673 | 2147483647 210604 115 | 0.000 % |
773.32/773.69 c | 659093 | 3898 16687 50673 | 2147483647 210838 115 | 0.000 % |
773.82/774.14 c | 659351 | 3898 16687 50673 | 2147483647 211096 115 | 0.000 % |
774.22/774.58 c | 659633 | 3898 16687 50673 | 2147483647 211378 115 | 0.000 % |
774.72/775.06 c | 659942 | 3898 16687 50673 | 2147483647 211687 115 | 0.000 % |
775.23/775.59 c | 660282 | 3898 16687 50673 | 211745 212027 115 | 0.000 % |
776.02/776.36 c | 660654 | 3898 16687 50673 | 211745 190212 115 | 0.000 % |
776.62/776.92 c | 661063 | 3898 16687 50673 | 211745 190621 115 | 0.000 % |
777.32/777.65 c | 661513 | 3898 16687 50673 | 211745 191071 115 | 0.000 % |
778.12/778.40 c | 662006 | 3898 16687 50673 | 211745 191564 115 | 0.000 % |
778.92/779.24 c | 662548 | 3898 16687 50673 | 211745 192106 115 | 0.000 % |
779.82/780.18 c | 663145 | 3898 16687 50673 | 211745 192703 115 | 0.000 % |
780.82/781.12 c | 663801 | 3898 16687 50673 | 211745 193359 115 | 0.000 % |
781.72/782.09 c | 664521 | 3898 16687 50673 | 211745 194079 115 | 0.000 % |
782.82/783.19 c | 665313 | 3898 16687 50673 | 211745 194871 115 | 0.000 % |
783.92/784.26 c | 666185 | 3898 16687 50673 | 211745 195743 115 | 0.000 % |
785.22/785.55 c | 667146 | 3898 16687 50673 | 211745 196704 115 | 0.000 % |
786.72/787.08 c | 668200 | 3898 16687 50673 | 211745 197758 115 | 0.000 % |
788.32/788.64 c | 669358 | 3898 16687 50673 | 211745 198916 115 | 0.000 % |
790.01/790.35 c | 670632 | 3898 16687 50673 | 199558 200190 115 | 0.000 % |
791.92/792.23 c | 672034 | 3898 16687 50673 | 199558 180760 115 | 0.000 % |
793.92/794.24 c | 673574 | 3898 16687 50673 | 199558 182300 115 | 0.000 % |
795.91/796.26 c | 675268 | 3898 16687 50673 | 199558 183994 115 | 0.000 % |
798.11/798.44 c | 677132 | 3898 16687 50673 | 199558 185858 115 | 0.000 % |
800.61/800.95 c | 679181 | 3898 16687 50673 | 199558 187907 115 | 0.000 % |
803.31/803.66 c | 681434 | 3898 16687 50673 | 2147483647 190160 115 | 0.000 % |
806.31/806.63 c | 683912 | 3898 16687 50673 | 2147483647 192638 115 | 0.000 % |
809.71/810.04 c | 686637 | 3898 16687 50673 | 2147483647 195363 115 | 0.000 % |
813.61/813.91 c | 689634 | 3898 16687 50673 | 2147483647 198360 115 | 0.000 % |
817.81/818.16 c | 692931 | 3898 16687 50673 | 2147483647 201657 115 | 0.000 % |
822.61/822.96 c | 696558 | 3898 16687 50673 | 2147483647 205284 115 | 0.000 % |
828.10/828.43 c | 700545 | 3898 16687 50673 | 2147483647 209271 116 | 0.000 % |
834.20/834.57 c | 704930 | 3898 16687 50673 | 2147483647 213656 116 | 0.000 % |
840.90/841.23 c | 709753 | 3898 16687 50673 | 2147483647 218479 116 | 0.000 % |
848.00/848.33 c | 715060 | 3898 16687 50673 | 218727 198209 116 | 0.000 % |
856.10/856.45 c | 720895 | 3898 16687 50673 | 203152 182909 116 | 0.000 % |
863.99/864.38 c | 727313 | 3898 16687 50673 | 203152 189327 116 | 0.000 % |
864.20/864.52 c | 727415 | 3898 16687 50673 | 203152 189429 116 | 0.000 % |
864.30/864.69 c | 727525 | 3898 16687 50673 | 203152 189539 116 | 0.000 % |
864.49/864.90 c | 727646 | 3898 16687 50673 | 203152 189660 116 | 0.000 % |
864.79/865.13 c | 727779 | 3898 16687 50673 | 203152 189793 116 | 0.000 % |
864.99/865.36 c | 727925 | 3898 16687 50673 | 203152 189939 116 | 0.000 % |
865.19/865.59 c | 728085 | 3898 16687 50673 | 203152 190099 116 | 0.000 % |
865.59/865.91 c | 728261 | 3898 16687 50673 | 203152 190275 116 | 0.000 % |
865.79/866.16 c | 728454 | 3898 16687 50673 | 203152 190468 116 | 0.000 % |
866.09/866.47 c | 728668 | 3898 16687 50673 | 203152 190682 116 | 0.000 % |
866.50/866.85 c | 728901 | 3898 16687 50673 | 203152 190915 116 | 0.000 % |
866.89/867.24 c | 729157 | 3898 16687 50673 | 203152 191171 116 | 0.000 % |
867.29/867.65 c | 729439 | 3898 16687 50673 | 203152 191453 116 | 0.000 % |
867.79/868.13 c | 729748 | 3898 16687 50673 | 203152 191762 116 | 0.000 % |
868.19/868.57 c | 730087 | 3898 16687 50673 | 2147483647 192101 116 | 0.000 % |
868.69/869.09 c | 730460 | 3898 16687 50673 | 2147483647 192474 116 | 0.000 % |
869.29/869.62 c | 730869 | 3898 16687 50673 | 2147483647 192883 116 | 0.000 % |
869.89/870.21 c | 731319 | 3898 16687 50673 | 2147483647 193333 116 | 0.000 % |
870.59/870.91 c | 731813 | 3898 16687 50673 | 2147483647 193827 116 | 0.000 % |
871.29/871.65 c | 732357 | 3898 16687 50673 | 2147483647 194371 116 | 0.000 % |
872.09/872.42 c | 732953 | 3898 16687 50673 | 2147483647 194967 116 | 0.000 % |
872.99/873.32 c | 733611 | 3898 16687 50673 | 2147483647 195625 116 | 0.000 % |
873.89/874.21 c | 734331 | 3898 16687 50673 | 2147483647 196345 116 | 0.000 % |
874.89/875.29 c | 735125 | 3898 16687 50673 | 2147483647 197139 116 | 0.000 % |
876.19/876.52 c | 735998 | 3898 16687 50673 | 2147483647 198012 116 | 0.000 % |
877.39/877.80 c | 736956 | 3898 16687 50673 | 2147483647 198970 116 | 0.000 % |
878.89/879.22 c | 738009 | 3898 16687 50673 | 2147483647 200023 116 | 0.000 % |
880.49/880.86 c | 739168 | 3898 16687 50673 | 2147483647 201182 116 | 0.000 % |
882.39/882.73 c | 740442 | 3898 16687 50673 | 2147483647 202456 116 | 0.000 % |
884.18/884.56 c | 741843 | 3898 16687 50673 | 2147483647 203857 116 | 0.000 % |
886.29/886.64 c | 743384 | 3898 16687 50673 | 2147483647 205398 116 | 0.000 % |
888.58/888.92 c | 745078 | 3898 16687 50673 | 2147483647 207092 116 | 0.000 % |
891.28/891.62 c | 746943 | 3898 16687 50673 | 2147483647 208957 116 | 0.000 % |
893.99/894.31 c | 748993 | 3898 16687 50673 | 2147483647 211007 116 | 0.000 % |
897.29/897.64 c | 751246 | 3898 16687 50673 | 212014 191989 116 | 0.000 % |
900.38/900.72 c | 753724 | 3898 16687 50673 | 212014 194467 116 | 0.000 % |
903.78/904.16 c | 756450 | 3898 16687 50673 | 212014 197193 116 | 0.000 % |
907.48/907.90 c | 759448 | 3898 16687 50673 | 212014 200191 116 | 0.000 % |
911.58/911.91 c | 762745 | 3898 16687 50673 | 2147483647 203488 116 | 0.000 % |
916.28/916.63 c | 766372 | 3898 16687 50673 | 2147483647 207115 116 | 0.000 % |
921.28/921.69 c | 770359 | 3898 16687 50673 | 2147483647 211102 117 | 0.000 % |
927.27/927.69 c | 774746 | 3898 16687 50673 | 2147483647 215489 117 | 0.000 % |
933.87/934.21 c | 779571 | 3898 16687 50673 | 2147483647 220314 117 | 0.000 % |
941.28/941.65 c | 784877 | 3898 16687 50673 | 2147483647 225620 117 | 0.000 % |
950.17/950.57 c | 790714 | 3898 16687 50673 | 230745 202514 118 | 0.000 % |
958.77/959.12 c | 797132 | 3898 16687 50673 | 230745 208932 118 | 0.000 % |
968.67/969.01 c | 804191 | 3898 16687 50673 | 2147483647 215991 118 | 0.000 % |
968.77/969.19 c | 804294 | 3898 16687 50673 | 2147483647 216094 118 | 0.000 % |
969.07/969.40 c | 804404 | 3898 16687 50673 | 2147483647 216204 118 | 0.000 % |
969.27/969.60 c | 804525 | 3898 16687 50673 | 2147483647 216325 118 | 0.000 % |
969.47/969.87 c | 804658 | 3898 16687 50673 | 2147483647 216458 118 | 0.000 % |
969.77/970.11 c | 804804 | 3898 16687 50673 | 2147483647 216604 118 | 0.000 % |
970.07/970.42 c | 804966 | 3898 16687 50673 | 2147483647 216766 118 | 0.000 % |
970.37/970.74 c | 805142 | 3898 16687 50673 | 2147483647 216942 118 | 0.000 % |
970.66/971.09 c | 805335 | 3898 16687 50673 | 2147483647 217135 118 | 0.000 % |
971.07/971.45 c | 805548 | 3898 16687 50673 | 2147483647 217348 118 | 0.000 % |
971.47/971.90 c | 805781 | 3898 16687 50673 | 2147483647 217581 118 | 0.000 % |
971.97/972.33 c | 806039 | 3898 16687 50673 | 2147483647 217839 118 | 0.000 % |
972.36/972.79 c | 806321 | 3898 16687 50673 | 2147483647 218121 118 | 0.000 % |
972.96/973.32 c | 806630 | 3898 16687 50673 | 2147483647 218430 118 | 0.000 % |
973.46/973.87 c | 806972 | 3898 16687 50673 | 2147483647 218772 118 | 0.000 % |
974.06/974.49 c | 807346 | 3898 16687 50673 | 2147483647 219146 118 | 0.000 % |
974.76/975.14 c | 807756 | 3898 16687 50673 | 2147483647 219556 118 | 0.000 % |
975.46/975.85 c | 808207 | 3898 16687 50673 | 2147483647 220007 118 | 0.000 % |
976.16/976.58 c | 808701 | 3898 16687 50673 | 2147483647 220501 118 | 0.000 % |
977.06/977.45 c | 809243 | 3898 16687 50673 | 2147483647 221043 118 | 0.000 % |
977.96/978.39 c | 809841 | 3898 16687 50673 | 2147483647 221641 118 | 0.000 % |
979.06/979.42 c | 810496 | 3898 16687 50673 | 221800 222296 118 | 0.000 % |
980.36/980.78 c | 811217 | 3898 16687 50673 | 221800 192933 118 | 0.000 % |
981.46/981.88 c | 812009 | 3898 16687 50673 | 221800 193725 118 | 0.000 % |
982.76/983.16 c | 812880 | 3898 16687 50673 | 221800 194596 118 | 0.000 % |
984.06/984.49 c | 813838 | 3898 16687 50673 | 221800 195554 118 | 0.000 % |
985.56/985.92 c | 814891 | 3898 16687 50673 | 221800 196607 117 | 0.000 % |
987.26/987.62 c | 816050 | 3898 16687 50673 | 221800 197766 117 | 0.000 % |
989.16/989.59 c | 817324 | 3898 16687 50673 | 221800 199040 117 | 0.000 % |
991.16/991.50 c | 818724 | 3898 16687 50673 | 221800 200440 117 | 0.000 % |
993.26/993.65 c | 820264 | 3898 16687 50673 | 201716 201980 117 | 0.000 % |
995.66/996.09 c | 821958 | 3898 16687 50673 | 201716 180902 118 | 0.000 % |
997.96/998.33 c | 823822 | 3898 16687 50673 | 201716 182766 118 | 0.000 % |
1000.56/1000.94 c | 825871 | 3898 16687 50673 | 201716 184815 118 | 0.000 % |
1003.35/1003.79 c | 828127 | 3898 16687 50673 | 201716 187071 118 | 0.000 % |
1006.25/1006.67 c | 830605 | 3898 16687 50673 | 2147483647 189549 118 | 0.000 % |
1009.65/1010.06 c | 833330 | 3898 16687 50673 | 2147483647 192274 118 | 0.000 % |
1013.45/1013.85 c | 836328 | 3898 16687 50673 | 2147483647 195272 118 | 0.000 % |
1017.65/1018.09 c | 839624 | 3898 16687 50673 | 2147483647 198568 117 | 0.000 % |
1022.45/1022.89 c | 843253 | 3898 16687 50673 | 2147483647 202197 117 | 0.000 % |
1027.85/1028.28 c | 847241 | 3898 16687 50673 | 2147483647 206185 118 | 0.000 % |
1033.55/1033.93 c | 851627 | 3898 16687 50673 | 2147483647 210571 117 | 0.000 % |
1040.54/1040.94 c | 856451 | 3898 16687 50673 | 2147483647 215395 118 | 0.000 % |
1048.44/1048.84 c | 861757 | 3898 16687 50673 | 218944 197349 117 | 0.000 % |
1055.94/1056.38 c | 867594 | 3898 16687 50673 | 218944 203186 118 | 0.000 % |
1064.34/1064.70 c | 874014 | 3898 16687 50673 | 2147483647 209606 118 | 0.000 % |
1074.13/1074.59 c | 881074 | 3898 16687 50673 | 215592 194146 119 | 0.000 % |
1084.33/1084.76 c | 888839 | 3898 16687 50673 | 215592 201911 119 | 0.000 % |
1084.53/1084.91 c | 888939 | 3898 16687 50673 | 215592 202011 119 | 0.000 % |
1084.73/1085.11 c | 889052 | 3898 16687 50673 | 215592 202124 119 | 0.000 % |
1084.93/1085.33 c | 889173 | 3898 16687 50673 | 215592 202245 119 | 0.000 % |
1085.13/1085.57 c | 889306 | 3898 16687 50673 | 215592 202378 119 | 0.000 % |
1085.33/1085.80 c | 889452 | 3898 16687 50673 | 215592 202524 119 | 0.000 % |
1085.63/1086.07 c | 889612 | 3898 16687 50673 | 215592 202684 119 | 0.000 % |
1085.92/1086.32 c | 889789 | 3898 16687 50673 | 215592 202861 119 | 0.000 % |
1086.22/1086.63 c | 889983 | 3898 16687 50673 | 215592 203055 119 | 0.000 % |
1086.52/1086.99 c | 890195 | 3898 16687 50673 | 2147483647 203267 119 | 0.000 % |
1086.92/1087.34 c | 890429 | 3898 16687 50673 | 2147483647 203501 119 | 0.000 % |
1087.32/1087.76 c | 890688 | 3898 16687 50673 | 2147483647 203760 119 | 0.000 % |
1087.82/1088.22 c | 890969 | 3898 16687 50673 | 2147483647 204041 119 | 0.000 % |
1088.32/1088.73 c | 891279 | 3898 16687 50673 | 2147483647 204351 119 | 0.000 % |
1088.82/1089.25 c | 891620 | 3898 16687 50673 | 2147483647 204692 119 | 0.000 % |
1089.32/1089.78 c | 891992 | 3898 16687 50673 | 2147483647 205064 119 | 0.000 % |
1089.92/1090.34 c | 892401 | 3898 16687 50673 | 2147483647 205473 119 | 0.000 % |
1090.63/1091.06 c | 892852 | 3898 16687 50673 | 2147483647 205924 119 | 0.000 % |
1091.22/1091.70 c | 893345 | 3898 16687 50673 | 2147483647 206417 119 | 0.000 % |
1092.02/1092.44 c | 893887 | 3898 16687 50673 | 2147483647 206959 119 | 0.000 % |
1092.82/1093.28 c | 894483 | 3898 16687 50673 | 2147483647 207555 119 | 0.000 % |
1093.82/1094.28 c | 895138 | 3898 16687 50673 | 2147483647 208210 119 | 0.000 % |
1094.92/1095.36 c | 895858 | 3898 16687 50673 | 2147483647 208930 119 | 0.000 % |
1096.02/1096.42 c | 896653 | 3898 16687 50673 | 2147483647 209725 119 | 0.000 % |
1097.33/1097.76 c | 897524 | 3898 16687 50673 | 2147483647 210596 119 | 0.000 % |
1098.82/1099.24 c | 898482 | 3898 16687 50673 | 2147483647 211554 119 | 0.000 % |
1100.32/1100.75 c | 899535 | 3898 16687 50673 | 2147483647 212607 119 | 0.000 % |
1102.32/1102.73 c | 900693 | 3898 16687 50673 | 213072 187389 118 | 0.000 % |
1104.02/1104.44 c | 901967 | 3898 16687 50673 | 213072 188663 118 | 0.000 % |
1105.92/1106.32 c | 903369 | 3898 16687 50673 | 213072 190065 118 | 0.000 % |
1107.92/1108.33 c | 904910 | 3898 16687 50673 | 213072 191606 118 | 0.000 % |
1110.02/1110.49 c | 906605 | 3898 16687 50673 | 213072 193301 118 | 0.000 % |
1112.42/1112.89 c | 908468 | 3898 16687 50673 | 213072 195164 118 | 0.000 % |
1115.02/1115.47 c | 910517 | 3898 16687 50673 | 2147483647 197213 118 | 0.000 % |
1118.01/1118.43 c | 912772 | 3898 16687 50673 | 2147483647 199468 118 | 0.000 % |
1121.21/1121.64 c | 915250 | 3898 16687 50673 | 2147483647 201946 118 | 0.000 % |
1124.82/1125.21 c | 917976 | 3898 16687 50673 | 2147483647 204672 118 | 0.000 % |
1128.81/1129.23 c | 920974 | 3898 16687 50673 | 2147483647 207670 118 | 0.000 % |
1133.51/1133.93 c | 924271 | 3898 16687 50673 | 2147483647 210967 118 | 0.000 % |
1138.41/1138.84 c | 927896 | 3898 16687 50673 | 2147483647 214592 118 | 0.000 % |
1144.41/1144.81 c | 931885 | 3898 16687 50673 | 216697 196092 118 | 0.000 % |
1149.91/1150.36 c | 936271 | 3898 16687 50673 | 216697 200478 118 | 0.000 % |
1156.00/1156.47 c | 941094 | 3898 16687 50673 | 2147483647 205301 118 | 0.000 % |
1163.31/1163.77 c | 946399 | 3898 16687 50673 | 2147483647 210606 118 | 0.000 % |
1171.30/1171.78 c | 952234 | 3898 16687 50673 | 214208 192389 118 | 0.000 % |
1179.41/1179.84 c | 958653 | 3898 16687 50673 | 214208 198808 118 | 0.000 % |
1188.51/1188.97 c | 965712 | 3898 16687 50673 | 2147483647 205867 118 | 0.000 % |
1199.10/1199.56 c | 973476 | 3898 16687 50673 | 2147483647 213631 119 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832757-1242787416/watcher-1832757-1242787416 -o /tmp/evaluation-result-1832757-1242787416/solver-1832757-1242787416 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832757-1242787416.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/67 3490
/proc/meminfo: memFree=1648712/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306767801 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3490/statm: 1339 237 197 169 0 50 0
[startup+0.0575399 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 3490
/proc/meminfo: memFree=1648712/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306767801 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3490/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101548 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 3490
/proc/meminfo: memFree=1648712/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.301566 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 3490
/proc/meminfo: memFree=1648712/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.701605 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 3490
/proc/meminfo: memFree=1648712/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+1.50167 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1644344/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=5288 CPUtime=1.4
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 1048 0 0 0 140 0 0 0 25 0 1 0 306767809 5414912 1034 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 1322 1034 77 171 0 1149 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10644
[startup+3.10181 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1642872/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=8720 CPUtime=3
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 1896 0 0 0 300 0 0 0 25 0 1 0 306767809 8929280 1882 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 2180 1882 77 171 0 2007 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 14076
[startup+6.3011 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1636536/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=14176 CPUtime=6.21
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 3249 0 0 0 619 2 0 0 25 0 1 0 306767809 14516224 3235 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 3544 3235 77 171 0 3371 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19532
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1627904/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=22076 CPUtime=12.61
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 5228 0 0 0 1257 4 0 0 25 0 1 0 306767809 22605824 5214 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 5519 5214 77 171 0 5346 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 27432
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1615680/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=33680 CPUtime=25.4
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 8129 0 0 0 2533 7 0 0 25 0 1 0 306767809 34488320 8115 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 8420 8115 77 171 0 8247 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 39036
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1598912/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=50624 CPUtime=50.99
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 12332 0 0 0 5086 13 0 0 25 0 1 0 306767809 51838976 12318 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 12656 12318 77 171 0 12483 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 55980
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1573568/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=75576 CPUtime=102.18
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 18580 0 0 0 10197 21 0 0 25 0 1 0 306767809 77389824 18566 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 18894 18566 77 171 0 18721 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 80932
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1551232/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=97752 CPUtime=162.15
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 24158 0 0 0 16188 27 0 0 25 0 1 0 306767809 100098048 24144 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 24438 24144 77 171 0 24265 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 103108
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1546816/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=102248 CPUtime=222.13
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 25191 0 0 0 22185 28 0 0 25 0 1 0 306767809 104701952 25177 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 25562 25177 77 171 0 25389 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 107604
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1543552/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=105416 CPUtime=282.11
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 25974 0 0 0 28182 29 0 0 25 0 1 0 306767809 107945984 25960 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 26354 25960 77 171 0 26181 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 110772
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1543296/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=105548 CPUtime=342.1
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 26008 0 0 0 34180 30 0 0 25 0 1 0 306767809 108081152 25994 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 26387 25994 77 171 0 26214 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 110904
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1541056/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=108056 CPUtime=402.07
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 26628 0 0 0 40177 30 0 0 25 0 1 0 306767809 110649344 26614 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 27014 26614 77 171 0 26841 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 113412
[startup+462.302 s]
################
# More data... #
################
/proc/3496/statm: 28301 27911 77 171 0 28128 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 118560
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1535232/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=113204 CPUtime=582.02
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 27925 0 0 0 58169 33 0 0 25 0 1 0 306767809 115920896 27911 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 28301 27911 77 171 0 28128 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 118560
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1531328/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=116900 CPUtime=642.01
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 28873 0 0 0 64166 35 0 0 25 0 1 0 306767809 119705600 28859 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 29225 28859 77 171 0 29052 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 122256
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1530816/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=117296 CPUtime=701.98
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 28967 0 0 0 70163 35 0 0 25 0 1 0 306767809 120111104 28953 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 29324 28953 77 171 0 29151 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 122652
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1530752/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=117296 CPUtime=761.97
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 28967 0 0 0 76162 35 0 0 25 0 1 0 306767809 120111104 28953 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 29324 28953 77 171 0 29151 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 122652
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1530624/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=117296 CPUtime=821.95
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 28967 0 0 0 82160 35 0 0 25 0 1 0 306767809 120111104 28953 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 29324 28953 77 171 0 29151 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 122652
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1530560/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=117296 CPUtime=881.93
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 28967 0 0 0 88158 35 0 0 25 0 1 0 306767809 120111104 28953 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 29324 28953 77 171 0 29151 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 122652
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1529536/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=118484 CPUtime=941.91
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 29253 0 0 0 94155 36 0 0 25 0 1 0 306767809 121327616 29239 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 29621 29239 77 171 0 29448 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 123840
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3496
/proc/meminfo: memFree=1526144/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=121520 CPUtime=1001.89
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 30012 0 0 0 100152 37 0 0 25 0 1 0 306767809 124436480 29998 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 30380 29998 77 171 0 30207 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 126876
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3502
/proc/meminfo: memFree=1525888/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=121520 CPUtime=1061.87
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 30012 0 0 0 106150 37 0 0 25 0 1 0 306767809 124436480 29998 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 30380 29998 77 171 0 30207 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 126876
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3502
/proc/meminfo: memFree=1525824/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=121520 CPUtime=1121.85
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 30012 0 0 0 112148 37 0 0 25 0 1 0 306767809 124436480 29998 1992294400 134512640 135215339 4294956240 18446744073709551615 134539249 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 30380 29998 77 171 0 30207 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 126876
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3502
/proc/meminfo: memFree=1525760/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=121520 CPUtime=1181.85
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 30013 0 0 0 118147 38 0 0 25 0 1 0 306767809 124436480 29999 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 30380 29999 77 171 0 30207 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 126876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3502
/proc/meminfo: memFree=1525760/2055920 swapFree=4177288/4192956
[pid=3490] ppid=3488 vsize=5356 CPUtime=0.06
/proc/3490/stat : 3490 (SatELiteGTI) S 3488 3490 1227 0 -1 4194304 336 842 0 0 0 0 6 0 16 0 1 0 306767801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3490/statm: 1339 239 197 169 0 50 0
[pid=3496] ppid=3490 vsize=121520 CPUtime=1199.95
/proc/3496/stat : 3496 (minisat_static) R 3490 3490 1227 0 -1 4194304 30013 0 0 0 119957 38 0 0 25 0 1 0 306767809 124436480 29999 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3496/statm: 30380 29999 77 171 0 30207 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 126876
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 3490 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=8998
# CPU time returned by wait4() is 0.076987
# while last known CPU time is 1200.01
#
# 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.01
CPU user time (s): 1199.63
CPU system time (s): 0.38
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 126876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.067989
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1178
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.11783 second user time and 3.35249 second system time
The end
Begin job on node68 at 2009-05-20 04:43:36
IDJOB=1832757
IDBENCH=70342
IDSOLVER=671
FILE ID=node68/1832757-1242787416
PBS_JOBID= 9322341
Free space on /tmp= 66172 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/4000/unif-k3-r4.2-v4000-c16800-S906020180-093.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832757-1242787416/watcher-1832757-1242787416 -o /tmp/evaluation-result-1832757-1242787416/solver-1832757-1242787416 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832757-1242787416.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 49df6b763f2da2592b10d7fad09e2c78
RANDOM SEED=759056364
node68.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.223
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.223
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: 1649256 kB
Buffers: 36060 kB
Cached: 297732 kB
SwapCached: 7636 kB
Active: 93288 kB
Inactive: 249664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1649256 kB
SwapTotal: 4192956 kB
SwapFree: 4177288 kB
Dirty: 1876 kB
Writeback: 0 kB
Mapped: 14816 kB
Slab: 49436 kB
Committed_AS: 910088 kB
PageTables: 1564 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66168 MiB
End job on node68 at 2009-05-20 05:03:39