0.00/0.00 c Parsing...
0.00/0.37 c ==============================================================================
0.00/0.37 c | | ORIGINAL | LEARNT | |
0.00/0.37 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.37 c ==============================================================================
0.00/0.37 c | 0 | 404200 943125 | 121259 0 0 nan | 0.000 % |
3.92/3.98 c | 0 | 103664 388086 | -- 0 -- -- | -- | -300210/-554257
3.92/3.98 c ==============================================================================
3.92/3.98 c Result : #vars: 14948 #clauses: 103664 #literals: 388086
3.92/3.98 c CPU time: 3.8 s
3.92/3.98 c ==============================================================================
4.12/4.12 c This is MiniSat 2.0 beta
4.12/4.12 c WARNING: for repeatability, setting FPU to use double precision
4.12/4.12 c ============================[ Problem Statistics ]=============================
4.12/4.12 c | |
4.12/4.12 c | Number of variables: 14948 |
4.12/4.12 c | Number of clauses: 103664 |
4.12/4.19 c | Parsing time: 0.07 s |
4.12/4.20 c ============================[ Search Statistics ]==============================
4.12/4.20 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.12/4.20 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.12/4.20 c ===============================================================================
4.12/4.20 c | 0 | 14948 103664 388086 | 34554 0 nan | 0.000 % |
4.12/4.20 c | 100 | 14948 103664 388086 | 34554 100 15 | 0.000 % |
4.12/4.21 c | 200 | 14948 103664 388086 | 34554 200 12 | 0.000 % |
4.12/4.21 c | 300 | 14948 103664 388086 | 34554 300 12 | 0.000 % |
4.12/4.22 c | 411 | 14948 103664 388086 | 34554 411 13 | 0.000 % |
4.12/4.24 c | 512 | 14948 103664 388086 | 34554 512 15 | 0.000 % |
4.12/4.25 c | 624 | 14948 103664 388086 | 34554 624 17 | 0.000 % |
4.12/4.26 c | 745 | 14948 103664 388086 | 34554 745 16 | 0.000 % |
4.12/4.28 c | 847 | 14948 103664 388086 | 34554 847 16 | 0.000 % |
4.12/4.30 c | 957 | 14948 103664 388086 | 34554 957 15 | 0.000 % |
4.32/4.32 c | 1078 | 14948 103664 388086 | 34554 1078 15 | 0.000 % |
4.32/4.33 c | 1213 | 14948 103664 388086 | 34554 1213 15 | 0.000 % |
4.32/4.34 c | 1313 | 14948 103664 388086 | 34554 1313 15 | 0.000 % |
4.32/4.35 c | 1423 | 14948 103664 388086 | 34554 1423 16 | 0.000 % |
4.32/4.36 c | 1544 | 14948 103664 388086 | 34554 1544 15 | 0.000 % |
4.32/4.37 c | 1678 | 14948 103664 388086 | 34554 1678 15 | 0.000 % |
4.32/4.38 c | 1825 | 14948 103664 388086 | 34554 1825 15 | 0.000 % |
4.32/4.39 c | 1926 | 14948 103664 388086 | 34554 1926 15 | 0.000 % |
4.32/4.39 c | 2036 | 14948 103664 388086 | 34554 2036 15 | 0.000 % |
4.32/4.40 c | 2157 | 14948 103664 388086 | 34554 2157 15 | 0.000 % |
4.32/4.40 c | 2290 | 14948 103664 388086 | 34554 2290 15 | 0.000 % |
4.42/4.42 c | 2438 | 14947 103661 388080 | 34554 2433 15 | 0.007 % |
4.42/4.43 c | 2598 | 14947 103661 388080 | 34554 2593 15 | 0.007 % |
4.42/4.43 c | 2699 | 14947 103661 388080 | 34554 2694 15 | 0.007 % |
4.42/4.44 c | 2809 | 14924 103661 388080 | 34554 2801 15 | 0.207 % |
4.42/4.45 c | 2930 | 14924 103661 388080 | 34554 2922 16 | 0.207 % |
4.42/4.46 c | 3063 | 14917 103661 388080 | 34554 3055 16 | 0.207 % |
4.42/4.48 c | 3210 | 14917 103661 388080 | 34554 3202 16 | 0.207 % |
4.42/4.49 c | 3371 | 14917 103661 388080 | 34554 3363 16 | 0.207 % |
4.42/4.51 c | 3548 | 14917 103661 388080 | 34554 3540 17 | 0.207 % |
4.52/4.52 c | 3648 | 14917 103661 388080 | 34554 3640 17 | 0.207 % |
4.52/4.52 c | 3758 | 14917 103661 388080 | 34554 3750 17 | 0.207 % |
4.52/4.53 c | 3880 | 14917 103661 388080 | 34554 3872 17 | 0.207 % |
4.52/4.54 c | 4013 | 14917 103661 388080 | 34554 4005 17 | 0.207 % |
4.52/4.55 c | 4159 | 14917 103661 388080 | 34554 4151 17 | 0.207 % |
4.52/4.59 c | 4319 | 14917 103661 388080 | 34554 4311 18 | 0.207 % |
4.62/4.62 c | 4496 | 14917 103661 388080 | 34554 4488 18 | 0.207 % |
4.62/4.65 c | 4690 | 14917 103386 387100 | 34554 4673 18 | 0.207 % |
4.62/4.66 c | 4795 | 14917 103386 387100 | 34554 4778 18 | 0.207 % |
4.62/4.67 c | 4905 | 14917 103386 387100 | 34554 4888 18 | 0.207 % |
4.62/4.69 c | 5026 | 14917 103386 387100 | 34554 5009 18 | 0.207 % |
4.72/4.72 c | 5159 | 14917 103386 387100 | 34554 5142 19 | 0.207 % |
4.72/4.73 c | 5306 | 14917 103386 387100 | 34554 5289 19 | 0.207 % |
4.72/4.75 c | 5466 | 14917 103386 387100 | 34554 5449 19 | 0.207 % |
4.72/4.77 c | 5642 | 14917 103386 387100 | 34554 5625 19 | 0.207 % |
4.72/4.78 c | 5835 | 14917 103386 387100 | 34554 5818 19 | 0.207 % |
4.72/4.81 c | 6047 | 14917 103386 387100 | 34554 6030 20 | 0.207 % |
4.82/4.82 c | 6147 | 14917 103386 387100 | 34554 6130 20 | 0.207 % |
4.82/4.84 c | 6258 | 14917 103386 387100 | 34554 6241 20 | 0.207 % |
4.82/4.88 c | 6379 | 14917 103386 387100 | 34554 6362 20 | 0.207 % |
4.82/4.89 c | 6512 | 14917 103386 387100 | 34554 6495 20 | 0.207 % |
4.82/4.90 c | 6658 | 14917 103386 387100 | 34554 6641 20 | 0.207 % |
4.82/4.90 c | 6820 | 14917 103386 387100 | 34554 6803 20 | 0.207 % |
4.92/4.96 c | 6996 | 14917 103386 387100 | 34554 6979 21 | 0.207 % |
4.92/5.01 c | 7190 | 14917 103386 387100 | 34554 7173 21 | 0.207 % |
5.02/5.03 c | 7402 | 14917 103386 387100 | 34554 7385 21 | 0.207 % |
5.02/5.04 c | 7635 | 14917 103386 387100 | 34554 7618 21 | 0.207 % |
5.02/5.06 c | 7736 | 14917 103386 387100 | 34554 7719 21 | 0.207 % |
5.02/5.09 c | 7847 | 14900 103308 386878 | 34554 7826 21 | 0.321 % |
5.02/5.10 c | 7969 | 14900 103308 386878 | 34554 7948 21 | 0.321 % |
5.12/5.11 c | 8103 | 14900 103308 386878 | 34554 8082 21 | 0.321 % |
5.12/5.14 c | 8249 | 14900 103308 386878 | 34554 8228 21 | 0.321 % |
5.12/5.17 c | 8409 | 14900 103308 386878 | 34554 8388 21 | 0.321 % |
5.12/5.21 c | 8585 | 14900 103308 386878 | 34554 8564 22 | 0.321 % |
5.22/5.23 c | 8780 | 14900 103308 386878 | 34554 8759 22 | 0.321 % |
5.22/5.26 c | 8992 | 14900 103308 386878 | 34554 8971 23 | 0.321 % |
5.22/5.27 c | 9228 | 14900 103308 386878 | 34554 9207 23 | 0.321 % |
5.32/5.33 c | 9484 | 14900 103308 386878 | 34554 9463 23 | 0.321 % |
5.32/5.35 c | 9589 | 14900 103308 386878 | 34554 9568 23 | 0.321 % |
5.32/5.35 c | 9699 | 14900 103308 386878 | 34554 9678 23 | 0.321 % |
5.32/5.37 c | 9821 | 14900 103308 386878 | 34554 9800 23 | 0.321 % |
5.32/5.40 c | 9957 | 14900 103308 386878 | 34554 9936 23 | 0.321 % |
5.42/5.43 c | 10104 | 14900 103239 386614 | 2147483647 10076 23 | 0.321 % |
5.42/5.45 c | 10264 | 14900 103239 386614 | 2147483647 10236 23 | 0.321 % |
5.42/5.48 c | 10441 | 14900 103239 386614 | 2147483647 10413 23 | 0.321 % |
5.52/5.53 c | 10636 | 14900 103239 386614 | 2147483647 10608 23 | 0.321 % |
5.62/5.64 c | 10849 | 14900 103239 386614 | 2147483647 10821 23 | 0.321 % |
5.62/5.69 c | 11083 | 14900 103239 386614 | 2147483647 11055 23 | 0.321 % |
5.62/5.70 c | 11339 | 14900 103239 386614 | 2147483647 11311 23 | 0.321 % |
5.72/5.75 c | 11620 | 14900 103239 386614 | 2147483647 11592 23 | 0.321 % |
5.72/5.75 c | 11721 | 14900 103239 386614 | 2147483647 11693 23 | 0.321 % |
5.72/5.76 c | 11832 | 14900 103239 386614 | 2147483647 11804 23 | 0.321 % |
5.72/5.81 c | 11953 | 14837 103239 386614 | 2147483647 11924 24 | 0.743 % |
5.82/5.82 c | 12087 | 14837 103239 386614 | 2147483647 12058 24 | 0.743 % |
5.82/5.84 c | 12233 | 14837 102859 385350 | 2147483647 12195 24 | 0.743 % |
5.82/5.88 c | 12393 | 14837 102859 385350 | 2147483647 12355 23 | 0.743 % |
5.82/5.89 c | 12569 | 14837 102859 385350 | 2147483647 12531 23 | 0.743 % |
5.92/5.93 c | 12762 | 14837 102859 385350 | 2147483647 12724 23 | 0.743 % |
5.92/5.96 c | 12974 | 14837 102859 385350 | 2147483647 12936 24 | 0.743 % |
6.02/6.01 c | 13207 | 14837 102859 385350 | 2147483647 13169 24 | 0.743 % |
6.02/6.03 c | 13463 | 14837 102859 385350 | 2147483647 13425 24 | 0.743 % |
6.02/6.06 c | 13745 | 14837 102859 385350 | 2147483647 13707 24 | 0.743 % |
6.02/6.08 c | 14054 | 14837 102859 385350 | 2147483647 14016 24 | 0.743 % |
6.02/6.09 c | 14154 | 14837 102859 385350 | 2147483647 14116 23 | 0.743 % |
6.12/6.13 c | 14264 | 14809 102859 385350 | 2147483647 14225 23 | 0.937 % |
6.12/6.18 c | 14389 | 14809 102859 385350 | 2147483647 14350 24 | 0.937 % |
6.12/6.19 c | 14522 | 14809 102859 385350 | 2147483647 14483 24 | 0.937 % |
6.12/6.20 c | 14669 | 14809 102859 385350 | 2147483647 14630 24 | 0.937 % |
6.22/6.21 c | 14829 | 14809 102859 385350 | 2147483647 14790 24 | 0.937 % |
6.22/6.22 c | 15005 | 14809 102859 385350 | 2147483647 14966 24 | 0.937 % |
6.22/6.25 c | 15198 | 14809 102859 385350 | 2147483647 15159 24 | 0.937 % |
6.22/6.29 c | 15413 | 14808 102650 384628 | 2147483647 15356 24 | 0.937 % |
6.22/6.31 c | 15646 | 14808 102650 384628 | 2147483647 15589 24 | 0.937 % |
6.42/6.45 c | 15902 | 14808 102650 384628 | 2147483647 15845 24 | 0.937 % |
6.42/6.49 c | 16183 | 14808 102650 384628 | 2147483647 16126 24 | 0.937 % |
6.62/6.70 c | 16494 | 14808 102650 384628 | 2147483647 16437 24 | 0.937 % |
6.72/6.73 c | 16833 | 14808 102650 384628 | 2147483647 16776 24 | 0.937 % |
6.72/6.74 c | 16933 | 14808 102650 384628 | 2147483647 16876 24 | 0.937 % |
6.72/6.76 c | 17043 | 14808 102650 384628 | 2147483647 16986 24 | 0.937 % |
6.72/6.78 c | 17165 | 14807 102650 384628 | 2147483647 17107 24 | 1.144 % |
6.72/6.80 c | 17298 | 14807 102650 384628 | 2147483647 17240 24 | 1.144 % |
6.82/6.85 c | 17445 | 14777 102426 383854 | 2147483647 17358 24 | 1.144 % |
6.82/6.87 c | 17605 | 14777 102426 383854 | 2147483647 17518 24 | 1.144 % |
6.82/6.90 c | 17782 | 14777 102426 383854 | 2147483647 17695 24 | 1.144 % |
6.92/6.95 c | 17977 | 14775 102426 383854 | 2147483647 17889 24 | 1.565 % |
6.92/6.97 c | 18190 | 14775 102426 383854 | 2147483647 18102 24 | 1.565 % |
6.92/7.00 c | 18424 | 14775 102426 383854 | 2147483647 18336 24 | 1.565 % |
7.02/7.08 c | 18680 | 14775 102426 383854 | 2147483647 18592 25 | 1.565 % |
7.12/7.13 c | 18961 | 14775 102426 383854 | 2147483647 18873 25 | 1.565 % |
7.22/7.22 c | 19271 | 14775 102426 383854 | 2147483647 19183 25 | 1.565 % |
7.22/7.30 c | 19610 | 14775 102426 383854 | 2147483647 19522 25 | 1.565 % |
7.32/7.35 c | 19984 | 14775 102426 383854 | 2147483647 19896 25 | 1.565 % |
7.32/7.37 c | 20085 | 14775 102426 383854 | 2147483647 19997 25 | 1.565 % |
7.32/7.40 c | 20195 | 14714 102046 382590 | 2147483647 20097 25 | 1.565 % |
7.42/7.42 c | 20316 | 14714 102046 382590 | 2147483647 20218 25 | 1.565 % |
7.42/7.46 c | 20450 | 14714 102046 382590 | 2147483647 20352 25 | 1.565 % |
7.42/7.47 c | 20597 | 14714 102046 382590 | 2147483647 20499 25 | 1.565 % |
7.52/7.54 c | 20757 | 14714 102046 382590 | 2147483647 20659 25 | 1.565 % |
7.52/7.59 c | 20935 | 14714 102046 382590 | 2147483647 20837 25 | 1.565 % |
7.62/7.66 c | 21128 | 14714 102046 382590 | 2147483647 21030 25 | 1.565 % |
7.72/7.79 c | 21341 | 14714 102046 382590 | 2147483647 21243 25 | 1.565 % |
7.82/7.89 c | 21575 | 14714 102046 382590 | 2147483647 21477 25 | 1.565 % |
7.92/7.94 c | 21832 | 14714 102046 382590 | 2147483647 21734 25 | 1.565 % |
8.02/8.02 c | 22113 | 14714 102046 382590 | 2147483647 22015 25 | 1.565 % |
8.12/8.13 c | 22422 | 14714 102046 382590 | 2147483647 22324 26 | 1.565 % |
8.12/8.18 c | 22762 | 14714 102046 382590 | 2147483647 22664 26 | 1.565 % |
8.22/8.30 c | 23134 | 14714 102046 382590 | 2147483647 23036 26 | 1.565 % |
8.32/8.32 c | 23545 | 14714 102046 382590 | 2147483647 23447 25 | 1.565 % |
8.32/8.33 c | 23645 | 14714 102046 382590 | 2147483647 23547 25 | 1.565 % |
8.32/8.33 c | 23757 | 14714 102046 382590 | 2147483647 23659 25 | 1.565 % |
8.32/8.35 c | 23878 | 14714 102046 382590 | 2147483647 23780 25 | 1.565 % |
8.32/8.40 c | 24012 | 14714 102046 382590 | 2147483647 23914 25 | 1.565 % |
8.42/8.46 c | 24159 | 14714 102046 382590 | 2147483647 24061 25 | 1.565 % |
8.42/8.49 c | 24319 | 14714 102046 382590 | 2147483647 24221 25 | 1.565 % |
8.52/8.55 c | 24495 | 14714 102046 382590 | 2147483647 24397 25 | 1.565 % |
8.52/8.58 c | 24688 | 14714 102046 382590 | 2147483647 24590 25 | 1.565 % |
8.52/8.61 c | 24901 | 14714 102046 382590 | 2147483647 24803 25 | 1.565 % |
8.62/8.67 c | 25136 | 14714 102046 382590 | 2147483647 25038 25 | 1.565 % |
8.72/8.81 c | 25392 | 14714 102046 382590 | 2147483647 25294 25 | 1.565 % |
8.92/8.91 c | 25674 | 14714 102046 382590 | 2147483647 25576 26 | 1.565 % |
8.92/8.97 c | 25983 | 14714 102046 382590 | 2147483647 25885 25 | 1.565 % |
9.02/9.09 c | 26322 | 14712 101977 382326 | 2147483647 26214 26 | 1.579 % |
9.22/9.21 c | 26694 | 14712 101977 382326 | 2147483647 26586 26 | 1.579 % |
9.22/9.28 c | 27106 | 14712 101977 382326 | 2147483647 26998 25 | 1.579 % |
9.32/9.37 c | 27559 | 14712 101977 382326 | 2147483647 27451 26 | 1.579 % |
9.32/9.38 c | 27663 | 14712 101977 382326 | 2147483647 27555 26 | 1.579 % |
9.42/9.49 c | 27773 | 14710 101977 382326 | 2147483647 27664 26 | 1.592 % |
9.52/9.57 c | 27895 | 14710 101977 382326 | 2147483647 27786 26 | 1.592 % |
9.52/9.61 c | 28028 | 14710 101977 382326 | 2147483647 27919 26 | 1.592 % |
9.62/9.66 c | 28175 | 14710 101977 382326 | 2147483647 28066 26 | 1.592 % |
9.62/9.69 c | 28336 | 14710 101977 382326 | 2147483647 28227 26 | 1.592 % |
9.82/9.81 c | 28513 | 14710 101977 382326 | 2147483647 28404 26 | 1.592 % |
9.82/9.86 c | 28706 | 14710 101977 382326 | 2147483647 28597 26 | 1.592 % |
9.92/9.93 c | 28918 | 14710 101977 382326 | 2147483647 28809 26 | 1.592 % |
9.92/10.00 c | 29153 | 14700 101977 382326 | 2147483647 29043 26 | 1.800 % |
10.02/10.09 c | 29410 | 14700 101977 382326 | 2147483647 29300 26 | 1.800 % |
10.12/10.19 c | 29691 | 14679 101738 381500 | 2147483647 29522 26 | 1.800 % |
10.22/10.26 c | 30002 | 14628 101738 381500 | 2147483647 29832 26 | 2.208 % |
10.32/10.37 c | 30342 | 14628 101738 381500 | 2147483647 30172 26 | 2.208 % |
10.42/10.50 c | 30715 | 14628 101738 381500 | 2147483647 30545 26 | 2.208 % |
10.52/10.55 c | 31124 | 14628 101738 381500 | 2147483647 30954 26 | 2.208 % |
10.62/10.62 c | 31575 | 14628 101738 381500 | 2147483647 31405 26 | 2.208 % |
10.62/10.66 c | 32069 | 14628 101738 381500 | 2147483647 31899 26 | 2.208 % |
10.82/10.81 c | 32170 | 14618 101738 381500 | 2147483647 32000 26 | 2.208 % |
10.82/10.87 c | 32280 | 14618 101738 381500 | 2147483647 32110 26 | 2.208 % |
10.92/10.98 c | 32401 | 14618 101738 381500 | 2147483647 32231 26 | 2.208 % |
10.92/11.01 c | 32536 | 14618 101738 381500 | 2147483647 32366 26 | 2.208 % |
11.02/11.03 c | 32682 | 14618 101738 381500 | 2147483647 32512 26 | 2.208 % |
11.02/11.04 c | 32844 | 14618 101738 381500 | 2147483647 32674 26 | 2.208 % |
11.02/11.05 c | 33020 | 14618 101738 381500 | 2147483647 32850 26 | 2.208 % |
11.12/11.11 c | 33213 | 14618 101738 381500 | 2147483647 33043 26 | 2.208 % |
11.12/11.15 c | 33425 | 14618 101489 380686 | 2147483647 33251 26 | 2.208 % |
11.22/11.23 c | 33658 | 14618 101489 380686 | 2147483647 33484 26 | 2.208 % |
11.22/11.31 c | 33915 | 14618 101489 380686 | 2147483647 33741 26 | 2.208 % |
11.32/11.34 c | 34198 | 14618 101489 380686 | 2147483647 34024 26 | 2.208 % |
11.32/11.37 c | 34507 | 14618 101489 380686 | 2147483647 34333 26 | 2.208 % |
11.42/11.47 c | 34847 | 14618 101489 380686 | 2147483647 34673 26 | 2.208 % |
11.52/11.60 c | 35219 | 14618 101489 380686 | 2147483647 35045 26 | 2.208 % |
11.72/11.79 c | 35629 | 14618 101489 380686 | 2147483647 35455 26 | 2.208 % |
11.92/11.96 c | 36080 | 14618 101489 380686 | 2147483647 35906 27 | 2.208 % |
12.02/12.07 c | 36575 | 14618 101489 380686 | 2147483647 36401 27 | 2.208 % |
12.22/12.25 c | 37119 | 14618 101489 380686 | 2147483647 36945 27 | 2.208 % |
12.22/12.27 c | 37219 | 14618 101489 380686 | 2147483647 37045 27 | 2.208 % |
12.32/12.31 c | 37330 | 14618 101489 380686 | 2147483647 37156 27 | 2.208 % |
12.32/12.34 c | 37451 | 14618 101489 380686 | 2147483647 37277 27 | 2.208 % |
12.42/12.47 c | 37584 | 14618 101489 380686 | 2147483647 37410 27 | 2.208 % |
12.52/12.60 c | 37732 | 14618 101489 380686 | 2147483647 37558 27 | 2.208 % |
12.62/12.69 c | 37892 | 14618 101489 380686 | 2147483647 37718 27 | 2.208 % |
12.72/12.79 c | 38068 | 14618 101489 380686 | 2147483647 37894 27 | 2.208 % |
12.82/12.83 c | 38263 | 14618 101489 380686 | 2147483647 38089 27 | 2.208 % |
12.82/12.85 c | 38475 | 14618 101489 380686 | 2147483647 38301 27 | 2.208 % |
12.92/12.94 c | 38711 | 14618 101489 380686 | 2147483647 38537 27 | 2.208 % |
13.02/13.05 c | 38967 | 14618 101489 380686 | 2147483647 38793 27 | 2.208 % |
13.12/13.19 c | 39250 | 14618 101489 380686 | 2147483647 39076 27 | 2.208 % |
13.22/13.27 c | 39560 | 14618 101489 380686 | 2147483647 39386 27 | 2.208 % |
13.32/13.32 c | 39902 | 14618 101489 380686 | 2147483647 39728 27 | 2.208 % |
13.52/13.53 c | 40274 | 14618 101489 380686 | 2147483647 40100 27 | 2.208 % |
13.72/13.78 c | 40683 | 14618 101489 380686 | 2147483647 40509 27 | 2.208 % |
13.92/13.91 c | 41134 | 14618 101489 380686 | 2147483647 40960 27 | 2.208 % |
14.02/14.08 c | 41627 | 14618 101489 380686 | 2147483647 41453 28 | 2.208 % |
14.22/14.25 c | 42169 | 14618 101489 380686 | 2147483647 41995 28 | 2.208 % |
14.62/14.62 c | 42765 | 14618 101489 380686 | 2147483647 42591 28 | 2.208 % |
14.62/14.64 c | 42865 | 14618 101489 380686 | 2147483647 42691 28 | 2.208 % |
14.72/14.74 c | 42975 | 14618 101489 380686 | 2147483647 42801 28 | 2.208 % |
14.82/14.81 c | 43096 | 14618 101489 380686 | 2147483647 42922 28 | 2.208 % |
14.82/14.83 c | 43230 | 14618 101489 380686 | 2147483647 43056 28 | 2.208 % |
14.82/14.86 c | 43377 | 14618 101489 380686 | 2147483647 43203 28 | 2.208 % |
14.92/14.97 c | 43537 | 14618 101489 380686 | 2147483647 43363 28 | 2.208 % |
15.02/15.03 c | 43714 | 14618 101489 380686 | 2147483647 43540 28 | 2.208 % |
15.02/15.09 c | 43908 | 14618 101489 380686 | 2147483647 43734 28 | 2.208 % |
15.22/15.23 c | 44120 | 14602 101393 380210 | 2147483647 43822 28 | 2.321 % |
15.22/15.29 c | 44355 | 14602 101393 380210 | 2147483647 44057 28 | 2.321 % |
15.32/15.36 c | 44611 | 14602 101393 380210 | 2147483647 44313 28 | 2.321 % |
15.42/15.47 c | 44895 | 14602 101393 380210 | 2147483647 44597 28 | 2.321 % |
15.52/15.58 c | 45205 | 14602 101393 380210 | 2147483647 44907 28 | 2.321 % |
15.62/15.64 c | 45545 | 14602 101393 380210 | 2147483647 45247 28 | 2.321 % |
15.72/15.74 c | 45918 | 14602 101393 380210 | 2147483647 45620 28 | 2.321 % |
15.92/15.93 c | 46327 | 14556 101393 380210 | 2147483647 46028 28 | 2.736 % |
16.02/16.09 c | 46777 | 14556 101393 380210 | 2147483647 46478 28 | 2.736 % |
16.32/16.33 c | 47273 | 14556 101393 380210 | 2147483647 46974 28 | 2.736 % |
16.42/16.50 c | 47815 | 14556 101393 380210 | 2147483647 47516 28 | 2.736 % |
16.82/16.90 c | 48411 | 14556 101393 380210 | 2147483647 48112 29 | 2.736 % |
17.32/17.33 c | 49066 | 14556 101393 380210 | 2147483647 48767 29 | 2.736 % |
17.42/17.42 c | 49168 | 14539 100629 377164 | 2147483647 48517 29 | 2.736 % |
17.42/17.50 c | 49278 | 14539 100629 377164 | 2147483647 48627 29 | 2.736 % |
17.52/17.54 c | 49399 | 14539 100629 377164 | 2147483647 48748 29 | 2.736 % |
17.52/17.56 c | 49532 | 14539 100629 377164 | 2147483647 48881 29 | 2.736 % |
17.62/17.69 c | 49678 | 14539 100629 377164 | 2147483647 49027 29 | 2.736 % |
17.82/17.82 c | 49838 | 14539 100629 377164 | 2147483647 49187 29 | 2.736 % |
17.82/17.87 c | 50016 | 14539 100629 377164 | 2147483647 49365 29 | 2.736 % |
17.92/18.00 c | 50210 | 14539 100629 377164 | 2147483647 49559 29 | 2.736 % |
18.12/18.12 c | 50422 | 14539 100629 377164 | 2147483647 49771 29 | 2.736 % |
18.22/18.26 c | 50656 | 14539 100629 377164 | 2147483647 50005 29 | 2.736 % |
18.32/18.36 c | 50919 | 14539 100629 377164 | 2147483647 50268 29 | 2.736 % |
18.42/18.50 c | 51200 | 14539 100629 377164 | 2147483647 50549 29 | 2.736 % |
18.62/18.64 c | 51512 | 14539 100629 377164 | 2147483647 50861 29 | 2.736 % |
18.72/18.77 c | 51851 | 14539 100629 377164 | 2147483647 51200 29 | 2.736 % |
18.82/18.83 c | 52225 | 14539 100629 377164 | 2147483647 51574 29 | 2.736 % |
19.02/19.02 c | 52636 | 14539 100629 377164 | 2147483647 51985 29 | 2.736 % |
19.22/19.25 c | 53086 | 14538 100629 377164 | 2147483647 52434 29 | 2.937 % |
19.32/19.35 c | 53581 | 14538 100629 377164 | 2147483647 52929 29 | 2.937 % |
19.42/19.50 c | 54125 | 14538 100629 377164 | 2147483647 53473 29 | 2.937 % |
19.62/19.65 c | 54722 | 14537 100629 377164 | 2147483647 54069 29 | 3.345 % |
20.02/20.08 c | 55377 | 14449 100629 377164 | 2147483647 54724 29 | 3.345 % |
20.52/20.54 c | 56097 | 14448 100108 375268 | 2147483647 55326 29 | 3.345 % |
20.52/20.61 c | 56199 | 14448 100108 375268 | 2147483647 55428 29 | 3.345 % |
20.62/20.68 c | 56310 | 14448 100108 375268 | 2147483647 55539 29 | 3.345 % |
20.72/20.76 c | 56431 | 14448 100108 375268 | 2147483647 55660 29 | 3.345 % |
20.82/20.85 c | 56565 | 14448 100108 375268 | 2147483647 55794 29 | 3.345 % |
20.92/20.97 c | 56712 | 14448 100108 375268 | 2147483647 55941 29 | 3.345 % |
21.02/21.05 c | 56872 | 14448 100108 375268 | 2147483647 56101 29 | 3.345 % |
21.02/21.11 c | 57050 | 14448 100108 375268 | 2147483647 56279 29 | 3.345 % |
21.12/21.19 c | 57243 | 14447 100108 375268 | 2147483647 56471 29 | 3.352 % |
21.32/21.33 c | 57455 | 14447 100108 375268 | 2147483647 56683 29 | 3.352 % |
21.32/21.40 c | 57691 | 14447 100108 375268 | 2147483647 56919 29 | 3.352 % |
21.42/21.47 c | 57947 | 14447 100108 375268 | 2147483647 57175 29 | 3.352 % |
21.52/21.57 c | 58230 | 14447 100108 375268 | 2147483647 57458 29 | 3.352 % |
21.72/21.71 c | 58540 | 14447 100108 375268 | 2147483647 57768 29 | 3.352 % |
21.72/21.79 c | 58882 | 14447 100108 375268 | 2147483647 58110 29 | 3.352 % |
21.92/22.01 c | 59255 | 14447 100108 375268 | 2147483647 58483 29 | 3.352 % |
22.22/22.31 c | 59664 | 14447 100108 375268 | 2147483647 58892 29 | 3.352 % |
22.52/22.59 c | 60113 | 14447 100108 375268 | 2147483647 59341 29 | 3.352 % |
22.82/22.85 c | 60607 | 14447 100108 375268 | 2147483647 59835 29 | 3.352 % |
23.02/23.02 c | 61149 | 14447 100102 375248 | 2147483647 60362 29 | 3.352 % |
23.42/23.46 c | 61746 | 14447 100102 375248 | 2147483647 60959 30 | 3.352 % |
23.72/23.73 c | 62403 | 14447 100102 375248 | 2147483647 61616 30 | 3.352 % |
23.92/23.91 c | 63123 | 14426 100102 375248 | 2147483647 62335 30 | 3.773 % |
24.72/24.73 c | 63916 | 14426 100102 375248 | 2147483647 63128 30 | 3.773 % |
24.82/24.83 c | 64017 | 14426 100102 375248 | 2147483647 63229 30 | 3.773 % |
24.82/24.89 c | 64127 | 14426 100102 375248 | 2147483647 63339 30 | 3.773 % |
24.92/24.94 c | 64249 | 14426 100102 375248 | 2147483647 63461 30 | 3.773 % |
25.02/25.06 c | 64382 | 14426 100102 375248 | 2147483647 63594 30 | 3.773 % |
25.12/25.14 c | 64529 | 14426 100102 375248 | 2147483647 63741 30 | 3.773 % |
25.22/25.25 c | 64690 | 14426 100102 375248 | 2147483647 63902 30 | 3.773 % |
25.32/25.37 c | 64866 | 14426 100102 375248 | 2147483647 64078 30 | 3.773 % |
25.42/25.42 c | 65060 | 14426 100102 375248 | 2147483647 64272 30 | 3.773 % |
25.52/25.59 c | 65274 | 14426 100102 375248 | 2147483647 64486 30 | 3.773 % |
25.62/25.65 c | 65507 | 14426 100102 375248 | 2147483647 64719 30 | 3.773 % |
25.62/25.67 c | 65763 | 14426 100102 375248 | 2147483647 64975 30 | 3.773 % |
25.82/25.88 c | 66044 | 14426 100102 375248 | 2147483647 65256 30 | 3.773 % |
26.02/26.08 c | 66354 | 14400 100102 375248 | 2147483647 65566 30 | 3.773 % |
26.12/26.20 c | 66693 | 14384 99722 373984 | 2147483647 65896 30 | 3.773 % |
26.32/26.38 c | 67065 | 14384 99722 373984 | 2147483647 66267 30 | 3.780 % |
26.52/26.59 c | 67476 | 14383 99722 373984 | 2147483647 66677 30 | 3.786 % |
26.82/26.87 c | 67925 | 14383 99722 373984 | 2147483647 67126 30 | 3.786 % |
27.12/27.17 c | 68421 | 14383 99722 373984 | 2147483647 67622 30 | 3.786 % |
27.42/27.49 c | 68963 | 14383 99722 373984 | 2147483647 68163 30 | 3.887 % |
27.82/27.87 c | 69562 | 14383 99722 373984 | 2147483647 68762 30 | 3.887 % |
28.42/28.50 c | 70220 | 14383 99722 373984 | 2147483647 69420 30 | 3.887 % |
29.12/29.15 c | 70940 | 14382 99722 373984 | 2147483647 70139 30 | 4.007 % |
29.92/29.91 c | 71734 | 14382 99722 373984 | 2147483647 70933 31 | 4.007 % |
30.72/30.73 c | 72606 | 14382 99722 373984 | 2147483647 71805 31 | 4.007 % |
30.82/30.81 c | 72707 | 14349 99414 372952 | 2147483647 71848 31 | 4.007 % |
30.82/30.88 c | 72818 | 14349 99414 372952 | 2147483647 71959 31 | 4.007 % |
30.92/30.93 c | 72940 | 14349 99414 372952 | 2147483647 72081 31 | 4.007 % |
31.02/31.03 c | 73073 | 14349 99414 372952 | 2147483647 72214 31 | 4.007 % |
31.12/31.15 c | 73220 | 14349 99414 372952 | 2147483647 72361 31 | 4.007 % |
31.22/31.24 c | 73381 | 14349 99414 372952 | 2147483647 72522 31 | 4.007 % |
31.22/31.30 c | 73557 | 14349 99414 372952 | 2147483647 72698 31 | 4.007 % |
31.42/31.42 c | 73753 | 14349 99414 372952 | 2147483647 72894 31 | 4.007 % |
31.52/31.53 c | 73966 | 14348 99414 372952 | 2147483647 73106 31 | 4.014 % |
31.52/31.58 c | 74199 | 14348 99414 372952 | 2147483647 73339 31 | 4.014 % |
31.72/31.71 c | 74456 | 14348 99414 372952 | 2147483647 73596 31 | 4.014 % |
31.92/31.92 c | 74738 | 14348 99414 372952 | 2147483647 73878 31 | 4.014 % |
32.02/32.04 c | 75048 | 14348 99414 372952 | 2147483647 74188 31 | 4.014 % |
32.22/32.30 c | 75387 | 14348 99414 372952 | 2147483647 74527 31 | 4.014 % |
32.52/32.53 c | 75759 | 14348 99414 372952 | 2147483647 74899 31 | 4.014 % |
32.72/32.80 c | 76169 | 14348 99414 372952 | 2147483647 75309 31 | 4.014 % |
32.92/32.96 c | 76618 | 14348 99414 372952 | 2147483647 75758 31 | 4.014 % |
33.32/33.32 c | 77113 | 14348 99414 372952 | 2147483647 76253 31 | 4.014 % |
33.32/33.37 c | 77655 | 14348 99414 372952 | 2147483647 76795 31 | 4.014 % |
33.82/33.82 c | 78251 | 14348 99414 372952 | 2147483647 77391 31 | 4.014 % |
34.32/34.38 c | 78906 | 14348 99414 372952 | 2147483647 78046 31 | 4.014 % |
35.02/35.05 c | 79626 | 14348 99414 372952 | 2147483647 78766 31 | 4.014 % |
35.52/35.55 c | 80418 | 14348 99414 372952 | 2147483647 79558 31 | 4.014 % |
36.22/36.29 c | 81291 | 14348 99348 372694 | 2147483647 80428 32 | 4.014 % |
36.62/36.66 c | 82249 | 14348 99348 372694 | 2147483647 81386 31 | 4.014 % |
36.92/36.91 c | 82349 | 14348 99348 372694 | 2147483647 81486 31 | 4.014 % |
37.12/37.15 c | 82460 | 14348 99348 372694 | 2147483647 81597 32 | 4.014 % |
37.22/37.30 c | 82583 | 14348 99348 372694 | 2147483647 81720 32 | 4.014 % |
37.32/37.38 c | 82717 | 14348 99348 372694 | 2147483647 81854 32 | 4.014 % |
37.52/37.51 c | 82864 | 14348 99348 372694 | 2147483647 82001 32 | 4.014 % |
37.62/37.62 c | 83024 | 14348 99348 372694 | 2147483647 82161 31 | 4.014 % |
37.82/37.91 c | 83200 | 14348 99348 372694 | 2147483647 82337 32 | 4.014 % |
38.12/38.11 c | 83393 | 14348 99348 372694 | 2147483647 82530 32 | 4.014 % |
38.12/38.20 c | 83606 | 14348 99348 372694 | 2147483647 82743 32 | 4.014 % |
38.42/38.41 c | 83842 | 14348 99348 372694 | 2147483647 82979 32 | 4.014 % |
38.52/38.58 c | 84099 | 14348 99348 372694 | 2147483647 83236 32 | 4.014 % |
38.82/38.87 c | 84382 | 14348 99348 372694 | 2147483647 83519 32 | 4.014 % |
39.02/39.10 c | 84691 | 14348 99348 372694 | 2147483647 83828 32 | 4.014 % |
39.32/39.37 c | 85030 | 14348 99348 372694 | 2147483647 84167 32 | 4.014 % |
39.52/39.56 c | 85402 | 14325 99348 372694 | 2147483647 84538 32 | 4.174 % |
39.52/39.60 c | 85812 | 14325 99348 372694 | 2147483647 84948 32 | 4.174 % |
39.92/39.95 c | 86261 | 14325 99348 372694 | 2147483647 85397 32 | 4.174 % |
40.32/40.33 c | 86754 | 14325 99348 372694 | 2147483647 85890 32 | 4.174 % |
40.72/40.73 c | 87297 | 14325 99348 372694 | 2147483647 86433 32 | 4.175 % |
40.72/40.79 c | 87894 | 14325 99348 372694 | 2147483647 87030 32 | 4.174 % |
41.32/41.36 c | 88549 | 14325 99348 372694 | 2147483647 87685 32 | 4.174 % |
42.12/42.13 c | 89269 | 14324 99062 371584 | 2147483647 88295 32 | 4.174 % |
42.62/42.63 c | 90062 | 14323 99062 371584 | 2147483647 89087 32 | 4.188 % |
43.32/43.34 c | 90933 | 14323 99062 371584 | 2147483647 89958 32 | 4.188 % |
44.02/44.05 c | 91893 | 14323 99062 371584 | 2147483647 90918 32 | 4.188 % |
44.82/44.84 c | 92947 | 14322 99062 371584 | 2147483647 91972 32 | 4.188 % |
44.92/44.98 c | 93047 | 14322 99062 371584 | 2147483647 92072 32 | 4.188 % |
45.02/45.07 c | 93157 | 14322 99062 371584 | 2147483647 92182 32 | 4.188 % |
45.12/45.19 c | 93280 | 14322 99062 371584 | 2147483647 92305 32 | 4.188 % |
45.22/45.29 c | 93414 | 14322 99062 371584 | 2147483647 92439 32 | 4.188 % |
45.32/45.32 c | 93560 | 14322 99062 371584 | 2147483647 92585 32 | 4.188 % |
45.32/45.37 c | 93721 | 14322 99062 371584 | 2147483647 92746 32 | 4.188 % |
45.42/45.50 c | 93897 | 14322 99062 371584 | 2147483647 92922 32 | 4.188 % |
45.62/45.70 c | 94092 | 14322 99062 371584 | 2147483647 93117 32 | 4.188 % |
45.82/45.87 c | 94305 | 14322 99062 371584 | 2147483647 93330 32 | 4.188 % |
46.02/46.04 c | 94539 | 14321 99062 371584 | 2147483647 93563 32 | 4.295 % |
46.22/46.25 c | 94795 | 14321 99062 371584 | 2147483647 93819 32 | 4.295 % |
46.42/46.42 c | 95076 | 14321 99062 371584 | 2147483647 94100 32 | 4.295 % |
46.62/46.62 c | 95385 | 14321 99062 371584 | 2147483647 94409 32 | 4.295 % |
46.92/46.94 c | 95724 | 14321 99062 371584 | 2147483647 94748 32 | 4.295 % |
47.12/47.16 c | 96097 | 14321 99062 371584 | 2147483647 95121 32 | 4.295 % |
47.52/47.59 c | 96509 | 14321 99062 371584 | 2147483647 95533 32 | 4.295 % |
48.02/48.05 c | 96959 | 14321 99062 371584 | 2147483647 95983 32 | 4.295 % |
48.62/48.64 c | 97453 | 14306 98816 370658 | 2147483647 96462 32 | 4.295 % |
49.12/49.12 c | 97995 | 14306 98816 370658 | 2147483647 97004 32 | 4.295 % |
49.32/49.38 c | 98591 | 14306 98816 370658 | 2147483647 97600 32 | 4.295 % |
49.82/49.83 c | 99246 | 14306 98816 370658 | 2147483647 98255 32 | 4.295 % |
50.52/50.60 c | 99967 | 14306 98816 370658 | 2147483647 98976 32 | 4.295 % |
50.82/50.90 c | 100760 | 14306 98816 370658 | 2147483647 99769 32 | 4.295 % |
51.52/51.58 c | 101631 | 14306 98816 370658 | 2147483647 100640 32 | 4.295 % |
52.22/52.25 c | 102589 | 14306 98816 370658 | 2147483647 101598 32 | 4.295 % |
52.52/52.60 c | 103642 | 14306 98816 370658 | 2147483647 102650 33 | 4.449 % |
53.62/53.67 c | 104801 | 14306 98816 370658 | 2147483647 103809 33 | 4.449 % |
53.72/53.77 c | 104903 | 14305 98816 370658 | 2147483647 103910 33 | 4.455 % |
53.82/53.86 c | 105014 | 14305 98816 370658 | 2147483647 104021 33 | 4.455 % |
54.02/54.02 c | 105136 | 14305 98816 370658 | 2147483647 104143 33 | 4.455 % |
54.12/54.14 c | 105269 | 14282 98816 370658 | 2147483647 104276 33 | 4.456 % |
54.32/54.35 c | 105416 | 14282 98816 370658 | 2147483647 104423 33 | 4.455 % |
54.62/54.68 c | 105579 | 14282 98816 370658 | 2147483647 104586 33 | 4.455 % |
54.82/54.87 c | 105755 | 14282 98816 370658 | 2147483647 104762 33 | 4.455 % |
55.22/55.29 c | 105950 | 14282 98816 370658 | 2147483647 104957 33 | 4.455 % |
55.42/55.44 c | 106162 | 14282 98816 370658 | 2147483647 105169 33 | 4.455 % |
55.62/55.66 c | 106395 | 14282 98816 370658 | 2147483647 105402 33 | 4.455 % |
55.82/55.88 c | 106651 | 14282 98816 370658 | 2147483647 105658 33 | 4.455 % |
56.22/56.22 c | 106935 | 14282 98559 369671 | 2147483647 105911 33 | 4.455 % |
56.52/56.54 c | 107244 | 14282 98559 369671 | 2147483647 106220 33 | 4.455 % |
56.82/56.84 c | 107584 | 14282 98559 369671 | 2147483647 106560 33 | 4.455 % |
57.23/57.24 c | 107956 | 14282 98559 369671 | 2147483647 106932 33 | 4.456 % |
57.42/57.48 c | 108365 | 14281 98559 369671 | 2147483647 107340 33 | 4.462 % |
58.02/58.01 c | 108816 | 14281 98559 369671 | 2147483647 107791 33 | 4.462 % |
58.52/58.53 c | 109310 | 14281 98559 369671 | 2147483647 108285 33 | 4.462 % |
58.82/58.91 c | 109853 | 14281 98559 369671 | 2147483647 108828 33 | 4.462 % |
59.22/59.30 c | 110449 | 14281 98559 369671 | 2147483647 109424 33 | 4.462 % |
59.82/59.88 c | 111104 | 14281 98559 369671 | 2147483647 110079 33 | 4.462 % |
60.42/60.48 c | 111824 | 14281 98559 369671 | 2147483647 110799 33 | 4.462 % |
61.12/61.19 c | 112616 | 14281 98559 369671 | 2147483647 111591 33 | 4.462 % |
62.22/62.30 c | 113487 | 14281 98559 369671 | 2147483647 112462 33 | 4.462 % |
63.42/63.42 c | 114445 | 14281 98559 369671 | 2147483647 113420 33 | 4.462 % |
64.52/64.51 c | 115503 | 14281 98559 369671 | 2147483647 114478 33 | 4.462 % |
65.32/65.37 c | 116662 | 14281 98547 369621 | 2147483647 115635 33 | 4.462 % |
66.62/66.65 c | 117936 | 14281 98547 369621 | 2147483647 116909 33 | 4.462 % |
66.72/66.79 c | 118036 | 14281 98547 369621 | 2147483647 117009 33 | 4.462 % |
66.82/66.90 c | 118149 | 14281 98547 369621 | 2147483647 117122 33 | 4.462 % |
66.92/67.00 c | 118270 | 14281 98547 369621 | 2147483647 117243 33 | 4.462 % |
67.22/67.26 c | 118403 | 14281 98547 369621 | 2147483647 117376 33 | 4.462 % |
67.32/67.40 c | 118549 | 14281 98547 369621 | 2147483647 117522 33 | 4.462 % |
67.52/67.56 c | 118711 | 14281 98547 369621 | 2147483647 117684 33 | 4.462 % |
67.62/67.63 c | 118887 | 14281 98547 369621 | 2147483647 117860 33 | 4.462 % |
67.62/67.66 c | 119080 | 14281 98547 369621 | 2147483647 118053 33 | 4.462 % |
67.72/67.73 c | 119293 | 14281 98547 369621 | 2147483647 118266 33 | 4.462 % |
68.12/68.16 c | 119526 | 14281 98547 369621 | 2147483647 118499 33 | 4.462 % |
68.32/68.40 c | 119782 | 14281 98547 369621 | 2147483647 118755 33 | 4.462 % |
68.72/68.72 c | 120064 | 14281 98547 369621 | 2147483647 119037 33 | 4.462 % |
69.02/69.02 c | 120373 | 14281 98547 369621 | 2147483647 119346 33 | 4.462 % |
69.22/69.32 c | 120713 | 14281 98547 369621 | 2147483647 119686 33 | 4.462 % |
69.52/69.51 c | 121085 | 14281 98547 369621 | 2147483647 120058 33 | 4.462 % |
69.82/69.88 c | 121496 | 14281 98547 369621 | 2147483647 120469 34 | 4.462 % |
70.22/70.29 c | 121946 | 14281 98547 369621 | 2147483647 120919 34 | 4.462 % |
71.02/71.03 c | 122440 | 14281 98547 369621 | 2147483647 121413 34 | 4.462 % |
71.42/71.43 c | 122982 | 14281 98547 369621 | 2147483647 121955 34 | 4.462 % |
71.53/71.58 c | 123578 | 14281 98547 369621 | 2147483647 122551 34 | 4.462 % |
71.72/71.73 c | 124234 | 14281 98547 369621 | 2147483647 123206 34 | 4.562 % |
71.82/71.88 c | 124954 | 14280 98547 369621 | 2147483647 123926 34 | 4.563 % |
72.12/72.17 c | 125747 | 14280 98547 369621 | 2147483647 124719 33 | 4.562 % |
73.82/73.89 c | 126618 | 14280 98547 369621 | 2147483647 125590 34 | 4.562 % |
75.12/75.16 c | 127577 | 14280 98547 369621 | 2147483647 126549 34 | 4.562 % |
76.42/76.50 c | 128630 | 14266 98375 368897 | 2147483647 127578 34 | 4.562 % |
77.62/77.61 c | 129788 | 14266 98375 368897 | 2147483647 128736 34 | 4.562 % |
79.92/79.94 c | 131062 | 14266 98375 368897 | 2147483647 130010 34 | 4.562 % |
81.72/81.73 c | 132464 | 14266 98375 368897 | 2147483647 131411 34 | 5.104 % |
81.72/81.81 c | 132564 | 14266 98375 368897 | 2147483647 131511 34 | 5.104 % |
81.92/81.97 c | 132674 | 14266 98375 368897 | 2147483647 131621 34 | 5.104 % |
82.02/82.09 c | 132796 | 14266 98375 368897 | 2147483647 131743 34 | 5.104 % |
82.22/82.24 c | 132930 | 14266 98375 368897 | 2147483647 131877 34 | 5.104 % |
82.32/82.37 c | 133076 | 14266 98375 368897 | 2147483647 132023 34 | 5.104 % |
82.53/82.56 c | 133237 | 14266 98375 368897 | 2147483647 132184 34 | 5.104 % |
82.82/82.81 c | 133413 | 14266 98375 368897 | 2147483647 132360 34 | 5.104 % |
83.02/83.05 c | 133606 | 14266 98375 368897 | 2147483647 132553 34 | 5.104 % |
83.12/83.11 c | 133821 | 14266 98375 368897 | 2147483647 132768 34 | 5.104 % |
83.52/83.53 c | 134054 | 14266 98375 368897 | 2147483647 133001 34 | 5.104 % |
84.02/84.03 c | 134311 | 14266 98375 368897 | 2147483647 133258 34 | 5.104 % |
84.62/84.64 c | 134592 | 14266 98375 368897 | 2147483647 133539 34 | 5.104 % |
84.82/84.91 c | 134903 | 14266 98375 368897 | 2147483647 133850 34 | 5.104 % |
85.22/85.30 c | 135245 | 14266 98375 368897 | 2147483647 134192 34 | 5.104 % |
85.62/85.71 c | 135617 | 14266 98375 368897 | 2147483647 134564 34 | 5.104 % |
86.82/86.85 c | 136027 | 14266 98375 368897 | 2147483647 134974 34 | 5.104 % |
87.42/87.49 c | 136476 | 14266 98375 368897 | 2147483647 135423 34 | 5.104 % |
88.72/88.76 c | 136970 | 14266 98375 368897 | 2147483647 135917 34 | 5.104 % |
89.22/89.27 c | 137512 | 14185 97803 366911 | 2147483647 136435 34 | 5.104 % |
89.62/89.62 c | 138110 | 14185 97803 366911 | 2147483647 137033 34 | 5.104 % |
90.72/90.77 c | 138765 | 14185 97803 366911 | 2147483647 137688 35 | 5.104 % |
92.12/92.14 c | 139485 | 14185 97803 366911 | 2147483647 138408 35 | 5.104 % |
93.02/93.06 c | 140277 | 14185 97803 366911 | 2147483647 139200 35 | 5.104 % |
93.53/93.55 c | 141149 | 14185 97803 366911 | 2147483647 140072 35 | 5.104 % |
95.42/95.48 c | 142107 | 14185 97803 366911 | 2147483647 141030 35 | 5.104 % |
96.92/96.98 c | 143160 | 14185 97803 366911 | 2147483647 142083 35 | 5.104 % |
97.93/97.94 c | 144318 | 14185 97803 366911 | 2147483647 143241 35 | 5.104 % |
98.52/98.56 c | 145592 | 14185 97803 366911 | 2147483647 144515 35 | 5.104 % |
100.42/100.42 c | 146993 | 14185 97803 366911 | 2147483647 145916 35 | 5.104 % |
103.32/103.41 c | 148533 | 14185 97803 366911 | 2147483647 147456 35 | 5.104 % |
103.52/103.55 c | 148636 | 14185 97803 366911 | 2147483647 147559 35 | 5.104 % |
103.72/103.78 c | 148746 | 14185 97803 366911 | 2147483647 147669 35 | 5.104 % |
103.92/103.93 c | 148867 | 14185 97803 366911 | 2147483647 147790 35 | 5.104 % |
104.02/104.03 c | 149001 | 14185 97803 366911 | 2147483647 147924 35 | 5.104 % |
104.22/104.25 c | 149152 | 14185 97803 366911 | 2147483647 148075 35 | 5.104 % |
104.43/104.45 c | 149314 | 14185 97803 366911 | 2147483647 148237 35 | 5.104 % |
104.53/104.59 c | 149490 | 14185 97803 366911 | 2147483647 148413 35 | 5.104 % |
104.83/104.90 c | 149683 | 14185 97803 366911 | 2147483647 148606 35 | 5.104 % |
105.03/105.11 c | 149897 | 14185 97803 366911 | 2147483647 148820 35 | 5.104 % |
105.33/105.39 c | 150130 | 14185 97803 366911 | 2147483647 149053 35 | 5.104 % |
105.63/105.65 c | 150386 | 14185 97803 366911 | 2147483647 149309 35 | 5.104 % |
105.73/105.80 c | 150669 | 14185 97803 366911 | 2147483647 149592 35 | 5.104 % |
106.03/106.07 c | 150978 | 14185 97803 366911 | 2147483647 149901 35 | 5.104 % |
106.13/106.12 c | 151318 | 14185 97803 366911 | 2147483647 150241 35 | 5.104 % |
106.53/106.58 c | 151690 | 14185 97803 366911 | 2147483647 150613 35 | 5.104 % |
107.13/107.13 c | 152099 | 14185 97803 366911 | 2147483647 151022 35 | 5.104 % |
107.63/107.68 c | 152549 | 14185 97803 366911 | 2147483647 151472 35 | 5.104 % |
108.33/108.32 c | 153042 | 14185 97803 366911 | 2147483647 151965 35 | 5.104 % |
108.93/109.01 c | 153584 | 14185 97803 366911 | 2147483647 152507 35 | 5.104 % |
110.03/110.08 c | 154181 | 14185 97803 366911 | 2147483647 153104 35 | 5.104 % |
111.43/111.46 c | 154838 | 14185 97803 366911 | 2147483647 153761 36 | 5.104 % |
112.03/112.07 c | 155560 | 14185 97803 366911 | 2147483647 154483 36 | 5.104 % |
112.83/112.85 c | 156352 | 14185 97803 366911 | 2147483647 155275 36 | 5.104 % |
113.83/113.89 c | 157224 | 14185 97803 366911 | 2147483647 156147 36 | 5.104 % |
115.13/115.13 c | 158183 | 14185 97803 366911 | 2147483647 157106 36 | 5.104 % |
116.53/116.55 c | 159237 | 14185 97803 366911 | 2147483647 158160 36 | 5.104 % |
117.83/117.90 c | 160395 | 14185 97803 366911 | 2147483647 159318 36 | 5.104 % |
119.43/119.48 c | 161668 | 14185 97803 366911 | 2147483647 160591 36 | 5.104 % |
121.03/121.04 c | 163068 | 14185 97803 366911 | 2147483647 161991 36 | 5.104 % |
121.53/121.55 c | 164608 | 14185 97803 366911 | 2147483647 163531 36 | 5.104 % |
123.53/123.61 c | 166302 | 14185 97803 366911 | 2147483647 165225 36 | 5.104 % |
123.73/123.76 c | 166402 | 14185 97803 366911 | 2147483647 165325 36 | 5.104 % |
123.93/123.95 c | 166512 | 14185 97803 366911 | 2147483647 165435 36 | 5.104 % |
124.13/124.13 c | 166633 | 14185 97803 366911 | 2147483647 165556 36 | 5.104 % |
124.33/124.35 c | 166767 | 14185 97803 366911 | 2147483647 165690 36 | 5.104 % |
124.53/124.53 c | 166913 | 14185 97803 366911 | 2147483647 165836 36 | 5.104 % |
124.73/124.72 c | 167073 | 14185 97803 366911 | 2147483647 165996 36 | 5.104 % |
124.93/125.00 c | 167249 | 14185 97803 366911 | 2147483647 166172 36 | 5.104 % |
125.73/125.76 c | 167442 | 14185 97803 366911 | 2147483647 166365 36 | 5.104 % |
126.23/126.22 c | 167654 | 14185 97803 366911 | 2147483647 166577 36 | 5.104 % |
126.43/126.50 c | 167889 | 14185 97803 366911 | 2147483647 166812 36 | 5.104 % |
127.03/127.05 c | 168146 | 14142 97512 366049 | 2147483647 167068 36 | 5.392 % |
127.53/127.54 c | 168427 | 14142 97512 366049 | 2147483647 167349 36 | 5.392 % |
127.93/127.96 c | 168737 | 14142 97512 366049 | 2147483647 167659 36 | 5.392 % |
128.33/128.33 c | 169077 | 14142 97512 366049 | 2147483647 167999 36 | 5.392 % |
128.93/128.92 c | 169449 | 14142 97512 366049 | 2147483647 168371 36 | 5.392 % |
129.63/129.62 c | 169858 | 14142 97512 366049 | 2147483647 168780 36 | 5.392 % |
130.13/130.21 c | 170307 | 14142 97512 366049 | 2147483647 169229 36 | 5.392 % |
130.93/130.93 c | 170800 | 14142 97512 366049 | 2147483647 169722 36 | 5.392 % |
131.63/131.63 c | 171342 | 14142 97512 366049 | 2147483647 170264 36 | 5.392 % |
132.53/132.52 c | 171938 | 14142 97512 366049 | 2147483647 170860 36 | 5.392 % |
132.93/132.92 c | 172596 | 14142 97512 366049 | 2147483647 171518 36 | 5.392 % |
133.13/133.19 c | 173318 | 14142 97512 366049 | 2147483647 172240 36 | 5.392 % |
134.43/134.48 c | 174111 | 14142 97512 366049 | 2147483647 173033 36 | 5.392 % |
135.83/135.91 c | 174984 | 14142 97512 366049 | 2147483647 173906 36 | 5.392 % |
136.93/137.01 c | 175945 | 14142 97512 366049 | 2147483647 174867 36 | 5.392 % |
138.83/138.84 c | 176998 | 14142 97512 366049 | 2147483647 175919 37 | 5.599 % |
140.53/140.56 c | 178159 | 14142 97512 366049 | 2147483647 177080 37 | 5.599 % |
142.83/142.90 c | 179435 | 14142 97512 366049 | 2147483647 178356 37 | 5.599 % |
145.23/145.22 c | 180835 | 14142 97512 366049 | 2147483647 179756 37 | 5.599 % |
146.43/146.49 c | 182375 | 14142 97512 366049 | 2147483647 181296 37 | 5.599 % |
148.83/148.88 c | 184069 | 14142 97512 366049 | 2147483647 182990 37 | 5.599 % |
151.73/151.78 c | 185933 | 14142 97512 366049 | 2147483647 184854 37 | 5.599 % |
151.93/152.01 c | 186033 | 14111 97130 364421 | 2147483647 184809 37 | 5.599 % |
152.13/152.21 c | 186143 | 14111 97130 364421 | 2147483647 184919 37 | 5.599 % |
152.33/152.35 c | 186264 | 14111 97130 364421 | 2147483647 185040 37 | 5.599 % |
152.53/152.58 c | 186399 | 14111 97130 364421 | 2147483647 185175 37 | 5.599 % |
152.63/152.62 c | 186545 | 14111 97130 364421 | 2147483647 185321 37 | 5.599 % |
152.63/152.70 c | 186705 | 14111 97130 364421 | 2147483647 185481 37 | 5.599 % |
152.83/152.91 c | 186881 | 14111 97130 364421 | 2147483647 185657 37 | 5.599 % |
153.13/153.19 c | 187075 | 14111 97130 364421 | 2147483647 185851 37 | 5.599 % |
153.23/153.24 c | 187287 | 14111 97130 364421 | 2147483647 186063 37 | 5.599 % |
153.63/153.68 c | 187520 | 14111 97130 364421 | 2147483647 186296 37 | 5.599 % |
154.03/154.08 c | 187777 | 14111 97130 364421 | 2147483647 186553 37 | 5.599 % |
154.73/154.72 c | 188058 | 14111 97130 364421 | 2147483647 186834 37 | 5.599 % |
155.33/155.39 c | 188371 | 14111 97130 364421 | 2147483647 187147 37 | 5.599 % |
155.73/155.74 c | 188711 | 14111 97130 364421 | 2147483647 187487 37 | 5.599 % |
156.33/156.41 c | 189083 | 14111 97130 364421 | 2147483647 187859 37 | 5.599 % |
157.03/157.04 c | 189492 | 14111 97130 364421 | 2147483647 188268 37 | 5.599 % |
157.73/157.71 c | 189941 | 14111 97130 364421 | 2147483647 188717 37 | 5.599 % |
158.73/158.76 c | 190436 | 14111 97130 364421 | 2147483647 189212 37 | 5.599 % |
159.33/159.35 c | 190981 | 14111 97130 364421 | 2147483647 189757 37 | 5.599 % |
159.83/159.82 c | 191579 | 14111 97130 364421 | 2147483647 190355 38 | 5.599 % |
160.93/160.92 c | 192234 | 14111 97130 364421 | 2147483647 191010 38 | 5.599 % |
162.03/162.08 c | 192954 | 14111 97130 364421 | 2147483647 191730 38 | 5.599 % |
162.43/162.45 c | 193746 | 14111 97130 364421 | 2147483647 192522 38 | 5.599 % |
163.53/163.57 c | 194617 | 14111 97130 364421 | 2147483647 193393 38 | 5.599 % |
165.33/165.32 c | 195577 | 14111 97130 364421 | 2147483647 194352 38 | 5.660 % |
166.83/166.84 c | 196632 | 14111 97130 364421 | 2147483647 195407 38 | 5.660 % |
167.53/167.56 c | 197791 | 14111 97130 364421 | 2147483647 196566 38 | 5.660 % |
168.63/168.69 c | 199064 | 14102 97130 364421 | 2147483647 197839 38 | 5.660 % |
170.43/170.43 c | 200465 | 14102 97130 364421 | 2147483647 199240 38 | 5.660 % |
172.63/172.65 c | 202005 | 14102 97130 364421 | 2147483647 200779 38 | 5.666 % |
174.73/174.74 c | 203700 | 14101 97130 364421 | 2147483647 202473 38 | 6.529 % |
178.53/178.58 c | 205564 | 14101 97130 364421 | 2147483647 204337 38 | 6.529 % |
181.43/181.44 c | 207613 | 13972 96127 360620 | 2147483647 205943 38 | 6.529 % |
181.73/181.77 c | 207715 | 13972 96127 360620 | 2147483647 206045 38 | 6.529 % |
181.93/182.00 c | 207827 | 13972 96127 360620 | 2147483647 206157 38 | 6.529 % |
182.33/182.37 c | 207949 | 13972 96127 360620 | 2147483647 206279 38 | 6.529 % |
182.53/182.55 c | 208083 | 13972 96127 360620 | 2147483647 206413 38 | 6.529 % |
182.83/182.86 c | 208232 | 13972 96127 360620 | 2147483647 206562 38 | 6.529 % |
182.93/183.01 c | 208392 | 13972 96127 360620 | 2147483647 206722 38 | 6.529 % |
183.43/183.43 c | 208569 | 13972 96127 360620 | 2147483647 206899 38 | 6.529 % |
183.74/183.75 c | 208763 | 13972 96127 360620 | 2147483647 207093 38 | 6.529 % |
184.13/184.18 c | 208975 | 13972 96127 360620 | 2147483647 207304 38 | 6.643 % |
184.63/184.71 c | 209209 | 13972 96127 360620 | 2147483647 207538 38 | 6.643 % |
185.03/185.04 c | 209465 | 13972 96127 360620 | 2147483647 207794 38 | 6.643 % |
185.33/185.41 c | 209748 | 13972 96127 360620 | 2147483647 208077 38 | 6.643 % |
186.13/186.15 c | 210058 | 13972 96127 360620 | 208329 208387 38 | 6.643 % |
186.83/186.82 c | 210397 | 13972 96127 360620 | 208329 208726 38 | 6.643 % |
187.63/187.66 c | 210773 | 13972 96127 360620 | 208329 209102 38 | 6.643 % |
188.43/188.47 c | 211182 | 13972 96127 360620 | 208329 209511 38 | 6.643 % |
189.33/189.40 c | 211632 | 13972 96127 360620 | 208329 178479 37 | 6.643 % |
190.34/190.39 c | 212126 | 13972 96127 360620 | 208329 178973 37 | 6.643 % |
191.03/191.06 c | 212668 | 13972 96127 360620 | 208329 179515 37 | 6.643 % |
191.33/191.32 c | 213267 | 13972 96127 360620 | 208329 180114 37 | 6.643 % |
191.33/191.37 c | 213925 | 13972 96127 360620 | 208329 180772 37 | 6.643 % |
192.03/192.07 c | 214645 | 13972 96127 360620 | 208329 181492 37 | 6.643 % |
193.13/193.15 c | 215437 | 13972 96127 360620 | 208329 182284 37 | 6.643 % |
194.23/194.30 c | 216309 | 13972 96127 360620 | 208329 183156 37 | 6.643 % |
195.73/195.79 c | 217267 | 13972 96127 360620 | 208329 184114 37 | 6.643 % |
197.43/197.43 c | 218320 | 13972 96127 360620 | 208329 185166 37 | 7.038 % |
198.23/198.23 c | 219479 | 13951 96127 360620 | 208329 186322 37 | 8.295 % |
199.83/199.90 c | 220752 | 13951 96127 360620 | 2147483647 187595 37 | 8.295 % |
201.43/201.50 c | 222152 | 13951 96127 360620 | 2147483647 188995 37 | 8.295 % |
203.63/203.70 c | 223693 | 13951 96127 360620 | 2147483647 190536 38 | 8.295 % |
205.53/205.55 c | 225387 | 13951 96127 360620 | 2147483647 192230 38 | 8.295 % |
206.33/206.38 c | 227250 | 13912 96127 360620 | 2147483647 194093 38 | 8.295 % |
208.83/208.90 c | 229299 | 13708 94391 354489 | 2147483647 196044 38 | 8.302 % |
211.92/211.91 c | 231552 | 13708 94391 354489 | 2147483647 198297 38 | 8.302 % |
212.02/212.05 c | 231654 | 13708 94391 354489 | 2147483647 198399 38 | 8.302 % |
212.22/212.22 c | 231765 | 13708 94391 354489 | 2147483647 198510 38 | 8.302 % |
212.42/212.41 c | 231886 | 13708 94391 354489 | 2147483647 198631 38 | 8.302 % |
212.52/212.56 c | 232019 | 13708 94391 354489 | 2147483647 198764 38 | 8.302 % |
212.62/212.64 c | 232165 | 13708 94391 354489 | 2147483647 198910 38 | 8.302 % |
212.72/212.73 c | 232326 | 13708 94391 354489 | 2147483647 199071 38 | 8.302 % |
212.82/212.89 c | 232503 | 13708 94391 354489 | 2147483647 199248 38 | 8.302 % |
213.12/213.18 c | 232696 | 13708 94391 354489 | 2147483647 199441 38 | 8.302 % |
213.43/213.49 c | 232910 | 13708 94391 354489 | 2147483647 199655 38 | 8.302 % |
213.82/213.88 c | 233143 | 13708 94391 354489 | 2147483647 199888 38 | 8.302 % |
214.22/214.23 c | 233400 | 13708 94391 354489 | 2147483647 200145 38 | 8.302 % |
214.53/214.56 c | 233684 | 13708 94391 354489 | 2147483647 200429 38 | 8.302 % |
215.02/215.02 c | 233993 | 13708 94391 354489 | 2147483647 200738 38 | 8.302 % |
215.72/215.78 c | 234333 | 13708 94391 354489 | 2147483647 201078 38 | 8.302 % |
216.12/216.20 c | 234707 | 13708 94391 354489 | 2147483647 201452 38 | 8.302 % |
216.82/216.85 c | 235117 | 13708 94391 354489 | 2147483647 201862 38 | 8.302 % |
217.02/217.05 c | 235570 | 13708 94391 354489 | 2147483647 202315 38 | 8.302 % |
217.52/217.52 c | 236064 | 13708 94391 354489 | 2147483647 202809 38 | 8.302 % |
218.02/218.08 c | 236608 | 13708 94391 354489 | 2147483647 203353 38 | 8.302 % |
218.73/218.79 c | 237205 | 13708 94391 354489 | 2147483647 203950 38 | 8.302 % |
218.93/218.92 c | 237863 | 13707 94391 354489 | 2147483647 204607 38 | 8.402 % |
219.33/219.33 c | 238584 | 13707 94391 354489 | 2147483647 205328 38 | 8.402 % |
219.83/219.82 c | 239378 | 13707 94391 354489 | 2147483647 206122 37 | 8.402 % |
221.23/221.22 c | 240249 | 13707 94391 354489 | 2147483647 206993 38 | 8.402 % |
222.53/222.53 c | 241207 | 13707 94391 354489 | 2147483647 207951 38 | 8.402 % |
223.13/223.17 c | 242260 | 13707 94391 354489 | 2147483647 209004 38 | 8.402 % |
224.53/224.51 c | 243420 | 13707 94391 354489 | 2147483647 210164 38 | 8.402 % |
226.33/226.39 c | 244693 | 13707 94391 354489 | 2147483647 211437 38 | 8.402 % |
228.13/228.15 c | 246093 | 13707 94391 354489 | 2147483647 212837 38 | 8.403 % |
229.83/229.82 c | 247635 | 13707 94391 354489 | 2147483647 214379 38 | 8.402 % |
231.93/231.95 c | 249333 | 13692 94199 353701 | 2147483647 215578 38 | 8.402 % |
233.13/233.21 c | 251197 | 13692 94199 353701 | 2147483647 217442 38 | 8.402 % |
235.83/235.90 c | 253247 | 13692 94199 353701 | 2147483647 219492 38 | 8.402 % |
240.30/240.41 c | 255501 | 13692 94199 353701 | 2147483647 221746 38 | 8.402 % |
244.20/244.24 c | 257979 | 13692 94199 353701 | 2147483647 224224 38 | 8.402 % |
244.50/244.52 c | 258080 | 13692 94199 353701 | 2147483647 224325 38 | 8.403 % |
244.60/244.68 c | 258190 | 13692 94199 353701 | 2147483647 224435 38 | 8.402 % |
244.90/244.93 c | 258311 | 13692 94199 353701 | 2147483647 224556 38 | 8.402 % |
245.10/245.17 c | 258446 | 13692 94199 353701 | 2147483647 224691 38 | 8.402 % |
245.30/245.31 c | 258592 | 13692 94199 353701 | 2147483647 224837 38 | 8.402 % |
245.40/245.46 c | 258753 | 13692 94199 353701 | 2147483647 224998 38 | 8.402 % |
245.40/245.49 c | 258930 | 13692 94199 353701 | 2147483647 225175 38 | 8.403 % |
245.50/245.54 c | 259127 | 13692 94199 353701 | 2147483647 225372 38 | 8.402 % |
245.60/245.68 c | 259342 | 13692 94199 353701 | 2147483647 225587 38 | 8.402 % |
245.90/246.00 c | 259575 | 13692 94199 353701 | 2147483647 225820 38 | 8.403 % |
246.40/246.47 c | 259831 | 13692 94199 353701 | 2147483647 226076 38 | 8.402 % |
247.00/247.08 c | 260114 | 13692 94199 353701 | 2147483647 226359 38 | 8.402 % |
247.60/247.69 c | 260425 | 13692 94199 353701 | 2147483647 226670 38 | 8.402 % |
248.10/248.15 c | 260764 | 13692 94199 353701 | 2147483647 227009 38 | 8.402 % |
248.20/248.29 c | 261138 | 13690 94199 353701 | 2147483647 227382 38 | 9.272 % |
248.40/248.45 c | 261548 | 13690 94199 353701 | 2147483647 227792 38 | 9.272 % |
248.60/248.65 c | 261998 | 13690 94199 353701 | 2147483647 228242 38 | 9.272 % |
248.70/248.71 c | 262492 | 13690 94199 353701 | 2147483647 228735 38 | 9.473 % |
249.60/249.69 c | 263034 | 13689 94199 353701 | 2147483647 229276 38 | 9.480 % |
250.90/250.97 c | 263634 | 13689 94199 353701 | 2147483647 229876 38 | 9.480 % |
251.80/251.88 c | 264291 | 13689 94199 353701 | 2147483647 230533 38 | 9.480 % |
252.60/252.70 c | 265013 | 13689 94199 353701 | 2147483647 231255 38 | 9.480 % |
254.10/254.12 c | 265805 | 13689 94199 353701 | 2147483647 232047 38 | 9.480 % |
255.20/255.29 c | 266679 | 13689 94199 353701 | 2147483647 232921 38 | 9.480 % |
256.20/256.26 c | 267637 | 13531 94199 353701 | 2147483647 233879 38 | 9.480 % |
258.10/258.11 c | 268692 | 13531 94199 353701 | 2147483647 234934 38 | 9.480 % |
259.60/259.65 c | 269850 | 13531 94199 353701 | 2147483647 236092 38 | 9.480 % |
261.90/261.92 c | 271124 | 13531 92952 349244 | 2147483647 237188 38 | 9.480 % |
264.00/264.04 c | 272525 | 13531 92952 349244 | 2147483647 238589 38 | 9.480 % |
267.50/267.56 c | 274065 | 13531 92952 349244 | 2147483647 240129 38 | 9.480 % |
271.40/271.42 c | 275759 | 13531 92952 349244 | 2147483647 241823 38 | 9.480 % |
273.00/273.02 c | 277624 | 13531 92952 349244 | 2147483647 243688 38 | 9.480 % |
274.50/274.57 c | 279674 | 13531 92952 349244 | 2147483647 245738 38 | 9.480 % |
276.30/276.33 c | 281927 | 13531 92952 349244 | 2147483647 247991 38 | 9.480 % |
277.80/277.81 c | 284405 | 13531 92952 349244 | 2147483647 250469 38 | 9.480 % |
283.60/283.66 c | 287131 | 13531 92952 349244 | 2147483647 253195 39 | 9.480 % |
283.70/283.80 c | 287232 | 13531 92952 349244 | 2147483647 253296 39 | 9.480 % |
283.80/283.87 c | 287343 | 13531 92952 349244 | 2147483647 253407 39 | 9.480 % |
283.80/283.88 c | 287467 | 13531 92952 349244 | 2147483647 253531 39 | 9.480 % |
284.00/284.03 c | 287602 | 13531 92952 349244 | 2147483647 253666 39 | 9.480 % |
284.00/284.08 c | 287749 | 13531 92952 349244 | 2147483647 253813 39 | 9.480 % |
284.20/284.23 c | 287909 | 13531 92952 349244 | 2147483647 253973 39 | 9.480 % |
284.30/284.37 c | 288088 | 13531 92952 349244 | 2147483647 254152 39 | 9.480 % |
284.60/284.62 c | 288281 | 13531 92952 349244 | 2147483647 254345 39 | 9.480 % |
284.80/284.81 c | 288493 | 13531 92952 349244 | 2147483647 254557 38 | 9.480 % |
285.10/285.17 c | 288726 | 13531 92952 349244 | 2147483647 254790 38 | 9.480 % |
285.40/285.46 c | 288983 | 13531 92952 349244 | 2147483647 255047 38 | 9.480 % |
285.70/285.76 c | 289264 | 13531 92952 349244 | 2147483647 255328 38 | 9.480 % |
286.20/286.21 c | 289573 | 13531 92952 349244 | 2147483647 255637 38 | 9.480 % |
286.40/286.46 c | 289912 | 13531 92952 349244 | 2147483647 255976 38 | 9.480 % |
286.80/286.82 c | 290285 | 13531 92952 349244 | 2147483647 256349 38 | 9.480 % |
287.20/287.30 c | 290695 | 13531 92952 349244 | 2147483647 256759 38 | 9.480 % |
287.70/287.80 c | 291144 | 13531 92952 349244 | 2147483647 257208 38 | 9.480 % |
288.00/288.06 c | 291639 | 13531 92952 349244 | 2147483647 257703 38 | 9.480 % |
288.10/288.20 c | 292181 | 13531 92952 349244 | 2147483647 258244 38 | 9.486 % |
288.50/288.55 c | 292778 | 13531 92952 349244 | 2147483647 258841 38 | 9.486 % |
289.70/289.79 c | 293433 | 13530 92940 349194 | 2147483647 259493 38 | 9.486 % |
290.41/290.50 c | 294155 | 13530 92940 349194 | 2147483647 260215 38 | 9.486 % |
290.80/290.84 c | 294949 | 13530 92940 349194 | 2147483647 261009 38 | 9.486 % |
292.00/292.01 c | 295820 | 13530 92940 349194 | 2147483647 261880 38 | 9.486 % |
294.81/294.83 c | 296778 | 13530 92940 349194 | 2147483647 262838 38 | 9.486 % |
297.01/297.07 c | 297831 | 13530 92940 349194 | 2147483647 263891 38 | 9.486 % |
300.40/300.47 c | 298990 | 13530 92940 349194 | 2147483647 265050 39 | 9.486 % |
302.60/302.65 c | 300263 | 13530 92940 349194 | 266060 266323 39 | 9.486 % |
305.10/305.19 c | 301663 | 13530 92940 349194 | 266060 267723 39 | 9.486 % |
309.40/309.46 c | 303206 | 13530 92940 349194 | 266060 234050 38 | 9.486 % |
311.40/311.48 c | 304900 | 13530 92940 349194 | 266060 235744 38 | 9.486 % |
313.90/313.97 c | 306763 | 13530 92940 349194 | 266060 237607 38 | 9.486 % |
318.30/318.34 c | 308812 | 13530 92940 349194 | 266060 239656 38 | 9.486 % |
322.40/322.45 c | 311066 | 13530 92940 349194 | 2147483647 241910 38 | 9.486 % |
327.60/327.63 c | 313545 | 13530 92940 349194 | 2147483647 244389 39 | 9.486 % |
330.30/330.39 c | 316273 | 13528 92940 349194 | 2147483647 247116 39 | 9.593 % |
335.71/335.76 c | 319270 | 13514 92883 349043 | 2147483647 250105 39 | 9.600 % |
335.81/335.84 c | 319370 | 13514 92883 349043 | 2147483647 250205 39 | 9.600 % |
335.81/335.91 c | 319481 | 13514 92883 349043 | 2147483647 250316 39 | 9.600 % |
335.91/335.94 c | 319603 | 13514 92883 349043 | 2147483647 250438 39 | 9.600 % |
336.01/336.04 c | 319737 | 13514 92883 349043 | 2147483647 250572 39 | 9.600 % |
336.21/336.22 c | 319883 | 13514 92883 349043 | 2147483647 250718 39 | 9.600 % |
336.31/336.34 c | 320044 | 13514 92883 349043 | 2147483647 250879 39 | 9.600 % |
336.61/336.64 c | 320220 | 13514 92883 349043 | 2147483647 251055 39 | 9.600 % |
337.11/337.16 c | 320416 | 13514 92883 349043 | 2147483647 251251 39 | 9.600 % |
337.31/337.40 c | 320628 | 13514 92883 349043 | 2147483647 251463 39 | 9.600 % |
337.61/337.66 c | 320863 | 13514 92883 349043 | 2147483647 251698 39 | 9.600 % |
338.01/338.10 c | 321121 | 13514 92883 349043 | 2147483647 251956 39 | 9.600 % |
338.21/338.25 c | 321402 | 13514 92883 349043 | 2147483647 252237 39 | 9.600 % |
338.81/338.89 c | 321711 | 13514 92883 349043 | 2147483647 252546 39 | 9.600 % |
339.51/339.57 c | 322050 | 13514 92883 349043 | 2147483647 252885 39 | 9.600 % |
340.11/340.20 c | 322424 | 13514 92883 349043 | 2147483647 253259 39 | 9.600 % |
340.61/340.70 c | 322833 | 13514 92883 349043 | 2147483647 253668 39 | 9.600 % |
341.10/341.13 c | 323283 | 13514 92883 349043 | 2147483647 254118 39 | 9.600 % |
342.10/342.16 c | 323776 | 13514 92883 349043 | 2147483647 254611 39 | 9.600 % |
343.00/343.06 c | 324319 | 13514 92883 349043 | 2147483647 255154 39 | 9.600 % |
343.30/343.34 c | 324915 | 13514 92883 349043 | 2147483647 255750 39 | 9.600 % |
343.90/343.95 c | 325570 | 13513 92883 349043 | 2147483647 256403 39 | 9.807 % |
344.50/344.60 c | 326290 | 13513 92883 349043 | 2147483647 257123 38 | 9.807 % |
345.90/345.99 c | 327084 | 13513 92883 349043 | 2147483647 257917 39 | 9.807 % |
347.00/347.10 c | 327955 | 13513 92883 349043 | 2147483647 258788 38 | 9.807 % |
347.80/347.90 c | 328914 | 13513 92883 349043 | 2147483647 259747 38 | 9.807 % |
348.30/348.37 c | 329967 | 13513 92883 349043 | 2147483647 260800 38 | 9.807 % |
349.90/349.96 c | 331126 | 13513 92883 349043 | 2147483647 261959 38 | 9.807 % |
352.40/352.46 c | 332399 | 13513 92883 349043 | 2147483647 263232 39 | 9.807 % |
355.00/355.08 c | 333800 | 13513 92883 349043 | 2147483647 264633 39 | 9.807 % |
357.20/357.28 c | 335340 | 13513 92883 349043 | 2147483647 266173 39 | 9.807 % |
360.20/360.28 c | 337034 | 13513 92883 349043 | 2147483647 267866 39 | 9.821 % |
363.00/363.04 c | 338897 | 13513 92883 349043 | 2147483647 269729 39 | 9.821 % |
368.50/368.56 c | 340946 | 13513 92883 349043 | 270832 271778 39 | 9.821 % |
372.90/373.00 c | 343201 | 13480 92501 347469 | 270832 273681 39 | 9.821 % |
375.80/375.82 c | 345683 | 13480 92501 347469 | 270832 238225 38 | 9.821 % |
377.20/377.24 c | 348410 | 13460 92501 347469 | 270832 240947 38 | 9.961 % |
381.70/381.79 c | 351407 | 13460 92501 347469 | 2147483647 243944 38 | 9.961 % |
386.10/386.13 c | 354704 | 13460 92501 347469 | 2147483647 247240 38 | 9.968 % |
386.20/386.26 c | 354804 | 13460 92501 347469 | 2147483647 247340 38 | 9.968 % |
386.30/386.37 c | 354914 | 13460 92501 347469 | 2147483647 247450 38 | 9.968 % |
386.60/386.62 c | 355035 | 13460 92501 347469 | 2147483647 247571 38 | 9.968 % |
386.70/386.79 c | 355169 | 13460 92501 347469 | 2147483647 247705 38 | 9.968 % |
386.90/386.96 c | 355316 | 13460 92501 347469 | 2147483647 247852 38 | 9.968 % |
387.00/387.06 c | 355476 | 13460 92501 347469 | 2147483647 248012 38 | 9.968 % |
387.00/387.09 c | 355653 | 13460 92501 347469 | 2147483647 248189 38 | 9.968 % |
387.20/387.27 c | 355846 | 13460 92501 347469 | 2147483647 248382 38 | 9.968 % |
387.50/387.54 c | 356058 | 13460 92501 347469 | 2147483647 248594 38 | 9.968 % |
388.00/388.09 c | 356292 | 13460 92501 347469 | 2147483647 248828 38 | 9.968 % |
388.50/388.61 c | 356548 | 13460 92501 347469 | 2147483647 249084 38 | 9.968 % |
389.10/389.17 c | 356829 | 13460 92501 347469 | 2147483647 249365 38 | 9.968 % |
389.80/389.81 c | 357140 | 13460 92501 347469 | 2147483647 249676 38 | 9.968 % |
390.60/390.63 c | 357479 | 13460 92501 347469 | 2147483647 250015 38 | 9.968 % |
391.20/391.22 c | 357852 | 13460 92501 347469 | 2147483647 250388 38 | 9.968 % |
392.10/392.14 c | 358263 | 13460 92501 347469 | 2147483647 250799 38 | 9.968 % |
392.90/392.99 c | 358713 | 13460 92501 347469 | 2147483647 251249 38 | 9.968 % |
393.80/393.86 c | 359206 | 13460 92501 347469 | 2147483647 251742 38 | 9.968 % |
394.30/394.35 c | 359749 | 13460 92501 347469 | 2147483647 252285 38 | 9.968 % |
394.60/394.64 c | 360347 | 13460 92501 347469 | 2147483647 252883 38 | 9.968 % |
395.20/395.22 c | 361002 | 13460 92501 347469 | 2147483647 253538 38 | 9.968 % |
395.90/395.95 c | 361723 | 13460 92501 347469 | 2147483647 254259 38 | 9.968 % |
397.20/397.29 c | 362515 | 13460 92501 347469 | 2147483647 255051 38 | 9.968 % |
398.50/398.53 c | 363388 | 13460 92501 347469 | 2147483647 255924 38 | 9.968 % |
400.20/400.23 c | 364348 | 13458 92246 346493 | 2147483647 256875 38 | 9.968 % |
401.51/401.55 c | 365402 | 13458 92246 346493 | 2147483647 257929 38 | 9.968 % |
402.20/402.28 c | 366562 | 13458 92246 346493 | 2147483647 259089 38 | 9.968 % |
403.80/403.85 c | 367836 | 13458 92246 346493 | 2147483647 260363 38 | 9.968 % |
405.60/405.63 c | 369236 | 13458 92246 346493 | 2147483647 261763 38 | 9.968 % |
407.60/407.70 c | 370776 | 13458 92246 346493 | 2147483647 263303 38 | 9.968 % |
410.31/410.39 c | 372472 | 13438 92246 346493 | 2147483647 264996 38 | 10.229 % |
413.20/413.22 c | 374338 | 13425 92246 346493 | 2147483647 266860 38 | 11.038 % |
416.50/416.55 c | 376388 | 13425 92246 346493 | 2147483647 268910 38 | 11.038 % |
418.70/418.81 c | 378641 | 13425 92246 346493 | 2147483647 271163 38 | 11.038 % |
421.60/421.62 c | 381119 | 13422 92246 346493 | 2147483647 273639 38 | 11.078 % |
425.80/425.82 c | 383845 | 13420 92246 346493 | 2147483647 276364 38 | 11.360 % |
427.60/427.67 c ===============================================================================
427.60/427.67 c restarts : 779
427.60/427.67 c conflicts : 384973 (909 /sec)
427.60/427.67 c decisions : 641670 (1.68 % random) (1516 /sec)
427.60/427.67 c propagations : 155786017 (367958 /sec)
427.60/427.67 c conflict literals : 15234991 (47.99 % deleted)
427.60/427.67 c Memory used : 61.04 MB
427.60/427.67 c CPU time : 423.38 s
427.60/427.67 c
427.60/427.67 s UNSATISFIABLE
427.60/427.67 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821412-1242525699/watcher-1821412-1242525699 -o /tmp/evaluation-result-1821412-1242525699/solver-1821412-1242525699 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821412-1242525699.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/91 22787
/proc/meminfo: memFree=1098916/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2412 CPUtime=0
/proc/22787/stat : 22787 (SatELiteGTI) R 22785 22787 9090 0 -1 4194304 339 0 0 0 0 0 0 0 25 0 1 0 1017070348 2469888 272 4294967295 134512640 135169312 3213069184 3213066776 3085910958 0 0 4 65536 0 0 0 17 0 0 0 0
/proc/22787/statm: 603 272 230 161 0 42 0
[pid=22789] ppid=22787 vsize=2412 CPUtime=0
/proc/22789/stat : 22789 (SatELiteGTI) R 22787 22787 9090 0 -1 4194368 176 468 0 0 0 0 0 0 25 0 1 0 1017070348 2469888 168 4294967295 134512640 135169312 3213069184 3213066636 3086399856 0 0 0 65538 0 0 0 17 0 0 0 0
/proc/22789/statm: 0 0 0 0 0 0 0
[startup+0.066106 s]
/proc/loadavg: 0.92 0.98 0.99 3/91 22787
/proc/meminfo: memFree=1098916/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2412 CPUtime=0
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1017070348 2469888 277 4294967295 134512640 135169312 3213069184 3213067720 3085717230 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22787/statm: 603 277 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412
[startup+0.116102 s]
/proc/loadavg: 0.92 0.98 0.99 3/91 22787
/proc/meminfo: memFree=1098916/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2412 CPUtime=0
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1017070348 2469888 277 4294967295 134512640 135169312 3213069184 3213067720 3085717230 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22787/statm: 603 277 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412
[startup+0.31609 s]
/proc/loadavg: 0.92 0.98 0.99 3/91 22787
/proc/meminfo: memFree=1098916/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2412 CPUtime=0
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1017070348 2469888 277 4294967295 134512640 135169312 3213069184 3213067720 3085717230 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22787/statm: 603 277 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412
[startup+0.716069 s]
/proc/loadavg: 0.92 0.98 0.99 3/91 22787
/proc/meminfo: memFree=1098916/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2412 CPUtime=0
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1017070348 2469888 277 4294967295 134512640 135169312 3213069184 3213067720 3085717230 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22787/statm: 603 277 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412
[startup+1.51603 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 22975
/proc/meminfo: memFree=1036640/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2412 CPUtime=0
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1017070348 2469888 277 4294967295 134512640 135169312 3213069184 3213067720 3085717230 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22787/statm: 603 277 235 161 0 42 0
[pid=22795] ppid=22787 vsize=74500 CPUtime=1.52
/proc/22795/stat : 22795 (SatELite_releas) R 22787 22787 9090 0 -1 4202496 15405 0 0 0 139 13 0 0 25 0 1 0 1017070348 76288000 14993 4294967295 134512640 135223648 3217188704 3217186720 134587310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22795/statm: 18625 14993 73 174 0 18450 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 76912
[startup+3.11595 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 22975
/proc/meminfo: memFree=1030564/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2412 CPUtime=0
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1017070348 2469888 277 4294967295 134512640 135169312 3213069184 3213067720 3085717230 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22787/statm: 603 277 235 161 0 42 0
[pid=22795] ppid=22787 vsize=74440 CPUtime=3.12
/proc/22795/stat : 22795 (SatELite_releas) R 22787 22787 9090 0 -1 4202496 20199 0 0 0 298 14 0 0 25 0 1 0 1017070348 76226560 15113 4294967295 134512640 135223648 3217188704 3217186704 134548161 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22795/statm: 18610 15113 73 174 0 18435 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 76852
[startup+6.3158 s]
/proc/loadavg: 0.93 0.98 0.99 2/93 22976
/proc/meminfo: memFree=1076168/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=9968 CPUtime=2.2
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 2363 0 0 0 218 2 0 0 25 0 1 0 1017070760 10207232 2298 4294967295 134512640 135215339 3219251648 3219249936 134528788 0 0 0 3 0 0 0 17 1 0 0 0
/proc/22976/statm: 2492 2298 73 172 0 2319 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 12384
[startup+12.7155 s]
/proc/loadavg: 0.93 0.98 0.99 2/93 22976
/proc/meminfo: memFree=1072444/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=13480 CPUtime=8.6
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 3221 0 0 0 857 3 0 0 25 0 1 0 1017070760 13803520 3156 4294967295 134512640 135215339 3219251648 3219249936 134528666 0 0 0 3 0 0 0 17 1 0 0 0
/proc/22976/statm: 3370 3156 73 172 0 3197 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 15896
[startup+25.5149 s]
/proc/loadavg: 0.95 0.98 0.99 2/93 22976
/proc/meminfo: memFree=1067480/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=18432 CPUtime=21.4
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 4428 0 0 0 2137 3 0 0 25 0 1 0 1017070760 18874368 4363 4294967295 134512640 135215339 3219251648 3219249936 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/22976/statm: 4608 4363 73 172 0 4435 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 20848
[startup+51.1136 s]
/proc/loadavg: 1.08 1.01 1.00 2/93 22980
/proc/meminfo: memFree=1061024/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=24984 CPUtime=47
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 6058 0 0 0 4696 4 0 0 25 0 1 0 1017070760 25583616 5993 4294967295 134512640 135215339 3219251648 3219249936 134528802 0 0 0 3 0 0 0 17 1 0 0 0
/proc/22976/statm: 6246 5993 73 172 0 6073 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 27400
[startup+102.321 s]
/proc/loadavg: 1.03 1.01 1.00 2/93 23166
/proc/meminfo: memFree=1051336/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=34512 CPUtime=98.21
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 8429 0 0 0 9814 7 0 0 25 0 1 0 1017070760 35340288 8364 4294967295 134512640 135215339 3219251648 3219249936 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/22976/statm: 8628 8364 73 172 0 8455 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 36928
[startup+162.318 s]
/proc/loadavg: 1.01 1.00 1.00 2/93 23358
/proc/meminfo: memFree=1041688/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=44404 CPUtime=158.21
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 10920 0 0 0 15810 11 0 0 25 0 1 0 1017070760 45469696 10855 4294967295 134512640 135215339 3219251648 3219249936 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/22976/statm: 11101 10855 73 172 0 10928 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 46820
[startup+222.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 23547
/proc/meminfo: memFree=1037580/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=48412 CPUtime=218.21
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 11850 0 0 0 21809 12 0 0 25 0 1 0 1017070760 49573888 11785 4294967295 134512640 135215339 3219251648 3219249712 134537869 0 0 0 3 0 0 0 17 1 0 0 0
/proc/22976/statm: 12103 11785 73 172 0 11930 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 50828
[startup+282.313 s]
/proc/loadavg: 1.03 1.01 1.00 2/93 23734
/proc/meminfo: memFree=1029288/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=57132 CPUtime=278.18
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 14057 0 0 0 27804 14 0 0 25 0 1 0 1017070760 58503168 13992 4294967295 134512640 135215339 3219251648 3219249936 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22976/statm: 14283 13992 73 172 0 14110 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 59548
[startup+342.32 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 23924
/proc/meminfo: memFree=1025668/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=60468 CPUtime=338.18
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 14890 0 0 0 33803 15 0 0 25 0 1 0 1017070760 61919232 14825 4294967295 134512640 135215339 3219251648 3219249920 134525713 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22976/statm: 15117 14825 73 172 0 14944 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 62884
[startup+402.317 s]
/proc/loadavg: 1.06 1.02 1.00 2/93 24111
/proc/meminfo: memFree=1024320/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=61832 CPUtime=398.18
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 15237 0 0 0 39803 15 0 0 25 0 1 0 1017070760 63315968 15172 4294967295 134512640 135215339 3219251648 3219249936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22976/statm: 15458 15172 73 172 0 15285 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 64248
Solver just ended. Dumping a history of the last processes samples
[startup+409.516 s]
/proc/loadavg: 1.05 1.02 1.00 2/93 24111
/proc/meminfo: memFree=1024452/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=61832 CPUtime=405.38
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 15258 0 0 0 40523 15 0 0 25 0 1 0 1017070760 63315968 15193 4294967295 134512640 135215339 3219251648 3219249712 134538990 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22976/statm: 15458 15193 73 172 0 15285 0
Current children cumulated CPU time (s) 409.5
Current children cumulated vsize (KiB) 64248
[startup+415.916 s]
/proc/loadavg: 1.04 1.02 1.00 2/93 24112
/proc/meminfo: memFree=1024444/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=61832 CPUtime=411.78
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 15258 0 0 0 41163 15 0 0 25 0 1 0 1017070760 63315968 15193 4294967295 134512640 135215339 3219251648 3219249936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22976/statm: 15458 15193 73 172 0 15285 0
Current children cumulated CPU time (s) 415.9
Current children cumulated vsize (KiB) 64248
[startup+422.316 s]
/proc/loadavg: 1.04 1.01 1.00 2/93 24296
/proc/meminfo: memFree=1024032/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=61972 CPUtime=418.18
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 15262 0 0 0 41803 15 0 0 25 0 1 0 1017070760 63459328 15197 4294967295 134512640 135215339 3219251648 3219249936 134528809 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22976/statm: 15493 15197 73 172 0 15320 0
Current children cumulated CPU time (s) 422.3
Current children cumulated vsize (KiB) 64388
[startup+425.516 s]
/proc/loadavg: 1.04 1.01 1.00 2/93 24297
/proc/meminfo: memFree=1024064/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=62236 CPUtime=421.38
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 15334 0 0 0 42123 15 0 0 25 0 1 0 1017070760 63729664 15269 4294967295 134512640 135215339 3219251648 3219249936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22976/statm: 15559 15269 73 172 0 15386 0
Current children cumulated CPU time (s) 425.5
Current children cumulated vsize (KiB) 64652
[startup+426.316 s]
/proc/loadavg: 1.04 1.01 1.00 2/93 24297
/proc/meminfo: memFree=1023940/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=62368 CPUtime=422.18
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 15378 0 0 0 42203 15 0 0 25 0 1 0 1017070760 63864832 15313 4294967295 134512640 135215339 3219251648 3219249936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22976/statm: 15592 15313 73 172 0 15419 0
Current children cumulated CPU time (s) 426.3
Current children cumulated vsize (KiB) 64784
[startup+427.116 s]
/proc/loadavg: 1.04 1.01 1.00 2/93 24297
/proc/meminfo: memFree=1023740/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=62504 CPUtime=422.98
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 15394 0 0 0 42283 15 0 0 25 0 1 0 1017070760 64004096 15329 4294967295 134512640 135215339 3219251648 3219249936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22976/statm: 15626 15329 73 172 0 15453 0
Current children cumulated CPU time (s) 427.1
Current children cumulated vsize (KiB) 64920
[startup+427.516 s]
/proc/loadavg: 1.04 1.01 1.00 2/93 24297
/proc/meminfo: memFree=1023740/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=62504 CPUtime=423.38
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 15398 0 0 0 42323 15 0 0 25 0 1 0 1017070760 64004096 15333 4294967295 134512640 135215339 3219251648 3219249936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22976/statm: 15626 15333 73 172 0 15453 0
Current children cumulated CPU time (s) 427.5
Current children cumulated vsize (KiB) 64920
[startup+427.616 s]
/proc/loadavg: 1.04 1.01 1.00 2/93 24297
/proc/meminfo: memFree=1023740/2074464 swapFree=1953004/1959888
[pid=22787] ppid=22785 vsize=2416 CPUtime=4.12
/proc/22787/stat : 22787 (SatELiteGTI) S 22785 22787 9090 0 -1 4194304 386 28132 0 0 0 0 393 19 18 0 1 0 1017070348 2473984 278 4294967295 134512640 135169312 3213069184 3213065400 3085717230 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/22787/statm: 604 278 235 161 0 43 0
[pid=22976] ppid=22787 vsize=62504 CPUtime=423.48
/proc/22976/stat : 22976 (minisat_static) R 22787 22787 9090 0 -1 4202496 15399 0 0 0 42333 15 0 0 25 0 1 0 1017070760 64004096 15334 4294967295 134512640 135215339 3219251648 3219249936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22976/statm: 15626 15334 73 172 0 15453 0
Current children cumulated CPU time (s) 427.6
Current children cumulated vsize (KiB) 64920
Child status: 20
Real time (s): 427.685
CPU time (s): 427.66
CPU user time (s): 427.31
CPU system time (s): 0.35
CPU usage (%): 99.9942
Max. virtual memory (cumulated for all children) (KiB): 84172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 427.31
system time used= 0.35
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44197
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= 17
involuntary context switches= 1868
runsolver used 0 second user time and 0 second system time
The end
Begin job on tipi19 at 2009-05-17 04:01:39
IDJOB=1821412
IDBENCH=70952
IDSOLVER=657
FILE ID=tipi19/1821412-1242525699
PBS_JOBID=
Free space on /tmp= 9075 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821412-1242525699/watcher-1821412-1242525699 -o /tmp/evaluation-result-1821412-1242525699/solver-1821412-1242525699 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821412-1242525699.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a61ef2b7b3d16661e8162c430ffb1a51
RANDOM SEED= 1677235627
Linux tipi19 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.39
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1098932 kB
Buffers: 28560 kB
Cached: 855412 kB
SwapCached: 2992 kB
Active: 185896 kB
Inactive: 707504 kB
HighTotal: 1178688 kB
HighFree: 400316 kB
LowTotal: 895776 kB
LowFree: 698616 kB
SwapTotal: 1959888 kB
SwapFree: 1953004 kB
Dirty: 8876 kB
Writeback: 0 kB
AnonPages: 8760 kB
Mapped: 3412 kB
Slab: 73484 kB
PageTables: 588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87784 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9075 MiB
End job on tipi19 at 2009-05-17 04:08:48