0.00/0.00 c Parsing...
0.00/0.34 c ==============================================================================
0.00/0.34 c | | ORIGINAL | LEARNT | |
0.00/0.34 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.34 c ==============================================================================
0.00/0.34 c | 0 | 404200 943125 | 121259 0 0 nan | 0.000 % |
4.39/4.50 c | 0 | 103664 388086 | -- 0 -- -- | -- | -300210/-554257
4.48/4.50 c ==============================================================================
4.48/4.50 c Result : #vars: 14948 #clauses: 103664 #literals: 388086
4.48/4.50 c CPU time: 4.28435 s
4.48/4.50 c ==============================================================================
4.58/4.64 c This is MiniSat 2.0 beta
4.58/4.64 c WARNING: for repeatability, setting FPU to use double precision
4.58/4.64 c ============================[ Problem Statistics ]=============================
4.58/4.64 c | |
4.58/4.64 c | Number of variables: 14948 |
4.58/4.64 c | Number of clauses: 103664 |
4.63/4.71 c | Parsing time: 0.06 s |
4.63/4.72 c ============================[ Search Statistics ]==============================
4.63/4.72 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.63/4.72 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.63/4.72 c ===============================================================================
4.63/4.72 c | 0 | 14948 103664 388086 | 34554 0 nan | 0.000 % |
4.63/4.72 c | 100 | 14948 103664 388086 | 34554 100 15 | 0.000 % |
4.63/4.73 c | 200 | 14948 103664 388086 | 34554 200 12 | 0.000 % |
4.63/4.73 c | 300 | 14948 103664 388086 | 34554 300 12 | 0.000 % |
4.63/4.74 c | 411 | 14948 103664 388086 | 34554 411 13 | 0.000 % |
4.63/4.75 c | 512 | 14948 103664 388086 | 34554 512 15 | 0.000 % |
4.63/4.77 c | 624 | 14948 103664 388086 | 34554 624 17 | 0.000 % |
4.63/4.78 c | 745 | 14948 103664 388086 | 34554 745 16 | 0.000 % |
4.63/4.79 c | 847 | 14948 103664 388086 | 34554 847 16 | 0.000 % |
4.63/4.81 c | 957 | 14948 103664 388086 | 34554 957 15 | 0.000 % |
4.63/4.83 c | 1078 | 14948 103664 388086 | 34554 1078 15 | 0.000 % |
4.63/4.84 c | 1213 | 14948 103664 388086 | 34554 1213 15 | 0.000 % |
4.63/4.84 c | 1313 | 14948 103664 388086 | 34554 1313 15 | 0.000 % |
4.63/4.85 c | 1423 | 14948 103664 388086 | 34554 1423 16 | 0.000 % |
4.63/4.86 c | 1544 | 14948 103664 388086 | 34554 1544 15 | 0.000 % |
4.63/4.87 c | 1678 | 14948 103664 388086 | 34554 1678 15 | 0.000 % |
4.63/4.88 c | 1825 | 14948 103664 388086 | 34554 1825 15 | 0.000 % |
4.63/4.89 c | 1926 | 14948 103664 388086 | 34554 1926 15 | 0.000 % |
4.63/4.89 c | 2036 | 14948 103664 388086 | 34554 2036 15 | 0.000 % |
4.63/4.90 c | 2157 | 14948 103664 388086 | 34554 2157 15 | 0.000 % |
4.63/4.90 c | 2290 | 14948 103664 388086 | 34554 2290 15 | 0.000 % |
4.63/4.92 c | 2438 | 14947 103661 388080 | 34554 2433 15 | 0.007 % |
4.63/4.93 c | 2598 | 14947 103661 388080 | 34554 2593 15 | 0.007 % |
4.63/4.93 c | 2699 | 14947 103661 388080 | 34554 2694 15 | 0.007 % |
4.63/4.94 c | 2809 | 14924 103661 388080 | 34554 2801 15 | 0.207 % |
4.63/4.95 c | 2930 | 14924 103661 388080 | 34554 2922 16 | 0.207 % |
4.63/4.96 c | 3063 | 14917 103661 388080 | 34554 3055 16 | 0.207 % |
4.63/4.98 c | 3210 | 14917 103661 388080 | 34554 3202 16 | 0.207 % |
4.63/4.99 c | 3371 | 14917 103661 388080 | 34554 3363 16 | 0.207 % |
4.63/5.01 c | 3548 | 14917 103661 388080 | 34554 3540 17 | 0.207 % |
4.63/5.02 c | 3648 | 14917 103661 388080 | 34554 3640 17 | 0.207 % |
4.63/5.02 c | 3758 | 14917 103661 388080 | 34554 3750 17 | 0.207 % |
4.63/5.03 c | 3880 | 14917 103661 388080 | 34554 3872 17 | 0.207 % |
4.63/5.04 c | 4013 | 14917 103661 388080 | 34554 4005 17 | 0.207 % |
4.63/5.05 c | 4159 | 14917 103661 388080 | 34554 4151 17 | 0.207 % |
4.63/5.09 c | 4319 | 14917 103661 388080 | 34554 4311 18 | 0.207 % |
4.63/5.11 c | 4496 | 14917 103661 388080 | 34554 4488 18 | 0.207 % |
4.63/5.14 c | 4690 | 14917 103386 387100 | 34554 4673 18 | 0.207 % |
4.63/5.15 c | 4795 | 14917 103386 387100 | 34554 4778 18 | 0.207 % |
4.63/5.16 c | 4905 | 14917 103386 387100 | 34554 4888 18 | 0.207 % |
4.63/5.18 c | 5026 | 14917 103386 387100 | 34554 5009 18 | 0.207 % |
4.63/5.20 c | 5159 | 14917 103386 387100 | 34554 5142 19 | 0.207 % |
4.63/5.22 c | 5306 | 14917 103386 387100 | 34554 5289 19 | 0.207 % |
4.63/5.24 c | 5466 | 14917 103386 387100 | 34554 5449 19 | 0.207 % |
4.63/5.25 c | 5642 | 14917 103386 387100 | 34554 5625 19 | 0.207 % |
4.63/5.26 c | 5835 | 14917 103386 387100 | 34554 5818 19 | 0.207 % |
4.63/5.29 c | 6047 | 14917 103386 387100 | 34554 6030 20 | 0.207 % |
4.63/5.30 c | 6147 | 14917 103386 387100 | 34554 6130 20 | 0.207 % |
4.63/5.32 c | 6258 | 14917 103386 387100 | 34554 6241 20 | 0.207 % |
4.63/5.35 c | 6379 | 14917 103386 387100 | 34554 6362 20 | 0.207 % |
4.63/5.36 c | 6512 | 14917 103386 387100 | 34554 6495 20 | 0.207 % |
4.63/5.37 c | 6658 | 14917 103386 387100 | 34554 6641 20 | 0.207 % |
4.63/5.38 c | 6820 | 14917 103386 387100 | 34554 6803 20 | 0.207 % |
5.37/5.43 c | 6996 | 14917 103386 387100 | 34554 6979 21 | 0.207 % |
5.37/5.48 c | 7190 | 14917 103386 387100 | 34554 7173 21 | 0.207 % |
5.37/5.50 c | 7402 | 14917 103386 387100 | 34554 7385 21 | 0.207 % |
5.47/5.51 c | 7635 | 14917 103386 387100 | 34554 7618 21 | 0.207 % |
5.47/5.52 c | 7736 | 14917 103386 387100 | 34554 7719 21 | 0.207 % |
5.47/5.55 c | 7847 | 14900 103308 386878 | 34554 7826 21 | 0.321 % |
5.47/5.57 c | 7969 | 14900 103308 386878 | 34554 7948 21 | 0.321 % |
5.47/5.57 c | 8103 | 14900 103308 386878 | 34554 8082 21 | 0.321 % |
5.57/5.60 c | 8249 | 14900 103308 386878 | 34554 8228 21 | 0.321 % |
5.57/5.64 c | 8409 | 14900 103308 386878 | 34554 8388 21 | 0.321 % |
5.57/5.67 c | 8585 | 14900 103308 386878 | 34554 8564 22 | 0.321 % |
5.57/5.69 c | 8780 | 14900 103308 386878 | 34554 8759 22 | 0.321 % |
5.67/5.72 c | 8992 | 14900 103308 386878 | 34554 8971 23 | 0.321 % |
5.67/5.74 c | 9228 | 14900 103308 386878 | 34554 9207 23 | 0.321 % |
5.67/5.79 c | 9484 | 14900 103308 386878 | 34554 9463 23 | 0.321 % |
5.77/5.80 c | 9589 | 14900 103308 386878 | 34554 9568 23 | 0.321 % |
5.77/5.81 c | 9699 | 14900 103308 386878 | 34554 9678 23 | 0.321 % |
5.77/5.83 c | 9821 | 14900 103308 386878 | 34554 9800 23 | 0.321 % |
5.77/5.85 c | 9957 | 14900 103308 386878 | 34554 9936 23 | 0.321 % |
5.77/5.88 c | 10104 | 14900 103239 386614 | 2147483647 10076 23 | 0.321 % |
5.77/5.90 c | 10264 | 14900 103239 386614 | 2147483647 10236 23 | 0.321 % |
5.87/5.93 c | 10441 | 14900 103239 386614 | 2147483647 10413 23 | 0.321 % |
5.87/5.97 c | 10636 | 14900 103239 386614 | 2147483647 10608 23 | 0.321 % |
5.97/6.06 c | 10849 | 14900 103239 386614 | 2147483647 10821 23 | 0.321 % |
6.07/6.10 c | 11083 | 14900 103239 386614 | 2147483647 11055 23 | 0.321 % |
6.07/6.12 c | 11339 | 14900 103239 386614 | 2147483647 11311 23 | 0.321 % |
6.07/6.16 c | 11620 | 14900 103239 386614 | 2147483647 11592 23 | 0.321 % |
6.07/6.17 c | 11721 | 14900 103239 386614 | 2147483647 11693 23 | 0.321 % |
6.07/6.18 c | 11832 | 14900 103239 386614 | 2147483647 11804 23 | 0.321 % |
6.17/6.22 c | 11953 | 14837 103239 386614 | 2147483647 11924 24 | 0.743 % |
6.17/6.23 c | 12087 | 14837 103239 386614 | 2147483647 12058 24 | 0.743 % |
6.17/6.25 c | 12233 | 14837 102859 385350 | 2147483647 12195 24 | 0.743 % |
6.17/6.28 c | 12393 | 14837 102859 385350 | 2147483647 12355 23 | 0.743 % |
6.17/6.29 c | 12569 | 14837 102859 385350 | 2147483647 12531 23 | 0.743 % |
6.27/6.33 c | 12762 | 14837 102859 385350 | 2147483647 12724 23 | 0.743 % |
6.27/6.36 c | 12974 | 14837 102859 385350 | 2147483647 12936 24 | 0.743 % |
6.37/6.40 c | 13207 | 14837 102859 385350 | 2147483647 13169 24 | 0.743 % |
6.37/6.42 c | 13463 | 14837 102859 385350 | 2147483647 13425 24 | 0.743 % |
6.37/6.45 c | 13745 | 14837 102859 385350 | 2147483647 13707 24 | 0.743 % |
6.37/6.48 c | 14054 | 14837 102859 385350 | 2147483647 14016 24 | 0.743 % |
6.37/6.48 c | 14154 | 14837 102859 385350 | 2147483647 14116 23 | 0.743 % |
6.47/6.53 c | 14264 | 14809 102859 385350 | 2147483647 14225 23 | 0.937 % |
6.47/6.57 c | 14389 | 14809 102859 385350 | 2147483647 14350 24 | 0.937 % |
6.47/6.58 c | 14522 | 14809 102859 385350 | 2147483647 14483 24 | 0.937 % |
6.47/6.59 c | 14669 | 14809 102859 385350 | 2147483647 14630 24 | 0.937 % |
6.57/6.60 c | 14829 | 14809 102859 385350 | 2147483647 14790 24 | 0.937 % |
6.57/6.61 c | 15005 | 14809 102859 385350 | 2147483647 14966 24 | 0.937 % |
6.57/6.64 c | 15198 | 14809 102859 385350 | 2147483647 15159 24 | 0.937 % |
6.57/6.68 c | 15413 | 14808 102650 384628 | 2147483647 15356 24 | 0.937 % |
6.67/6.70 c | 15646 | 14808 102650 384628 | 2147483647 15589 24 | 0.937 % |
6.77/6.82 c | 15902 | 14808 102650 384628 | 2147483647 15845 24 | 0.937 % |
6.77/6.86 c | 16183 | 14808 102650 384628 | 2147483647 16126 24 | 0.937 % |
6.97/7.03 c | 16494 | 14808 102650 384628 | 2147483647 16437 24 | 0.937 % |
6.97/7.06 c | 16833 | 14808 102650 384628 | 2147483647 16776 24 | 0.937 % |
6.97/7.08 c | 16933 | 14808 102650 384628 | 2147483647 16876 24 | 0.937 % |
6.97/7.09 c | 17043 | 14808 102650 384628 | 2147483647 16986 24 | 0.937 % |
7.07/7.11 c | 17165 | 14807 102650 384628 | 2147483647 17107 24 | 1.144 % |
7.07/7.13 c | 17298 | 14807 102650 384628 | 2147483647 17240 24 | 1.144 % |
7.07/7.18 c | 17445 | 14777 102426 383854 | 2147483647 17358 24 | 1.144 % |
7.07/7.19 c | 17605 | 14777 102426 383854 | 2147483647 17518 24 | 1.144 % |
7.17/7.23 c | 17782 | 14777 102426 383854 | 2147483647 17695 24 | 1.144 % |
7.17/7.27 c | 17977 | 14775 102426 383854 | 2147483647 17889 24 | 1.565 % |
7.17/7.29 c | 18190 | 14775 102426 383854 | 2147483647 18102 24 | 1.565 % |
7.27/7.32 c | 18424 | 14775 102426 383854 | 2147483647 18336 24 | 1.565 % |
7.27/7.39 c | 18680 | 14775 102426 383854 | 2147483647 18592 25 | 1.565 % |
7.37/7.44 c | 18961 | 14775 102426 383854 | 2147483647 18873 25 | 1.565 % |
7.47/7.51 c | 19271 | 14775 102426 383854 | 2147483647 19183 25 | 1.565 % |
7.47/7.59 c | 19610 | 14775 102426 383854 | 2147483647 19522 25 | 1.565 % |
7.57/7.64 c | 19984 | 14775 102426 383854 | 2147483647 19896 25 | 1.565 % |
7.57/7.66 c | 20085 | 14775 102426 383854 | 2147483647 19997 25 | 1.565 % |
7.57/7.69 c | 20195 | 14714 102046 382590 | 2147483647 20097 25 | 1.565 % |
7.67/7.70 c | 20316 | 14714 102046 382590 | 2147483647 20218 25 | 1.565 % |
7.67/7.74 c | 20450 | 14714 102046 382590 | 2147483647 20352 25 | 1.565 % |
7.67/7.76 c | 20597 | 14714 102046 382590 | 2147483647 20499 25 | 1.565 % |
7.77/7.81 c | 20757 | 14714 102046 382590 | 2147483647 20659 25 | 1.565 % |
7.77/7.86 c | 20935 | 14714 102046 382590 | 2147483647 20837 25 | 1.565 % |
7.87/7.92 c | 21128 | 14714 102046 382590 | 2147483647 21030 25 | 1.565 % |
7.96/8.03 c | 21341 | 14714 102046 382590 | 2147483647 21243 25 | 1.565 % |
8.06/8.11 c | 21575 | 14714 102046 382590 | 2147483647 21477 25 | 1.565 % |
8.06/8.16 c | 21832 | 14714 102046 382590 | 2147483647 21734 25 | 1.565 % |
8.16/8.23 c | 22113 | 14714 102046 382590 | 2147483647 22015 25 | 1.565 % |
8.26/8.32 c | 22422 | 14714 102046 382590 | 2147483647 22324 26 | 1.565 % |
8.26/8.38 c | 22762 | 14714 102046 382590 | 2147483647 22664 26 | 1.565 % |
8.36/8.48 c | 23134 | 14714 102046 382590 | 2147483647 23036 26 | 1.565 % |
8.46/8.50 c | 23545 | 14714 102046 382590 | 2147483647 23447 25 | 1.565 % |
8.46/8.51 c | 23645 | 14714 102046 382590 | 2147483647 23547 25 | 1.565 % |
8.46/8.52 c | 23757 | 14714 102046 382590 | 2147483647 23659 25 | 1.565 % |
8.46/8.53 c | 23878 | 14714 102046 382590 | 2147483647 23780 25 | 1.565 % |
8.46/8.58 c | 24012 | 14714 102046 382590 | 2147483647 23914 25 | 1.565 % |
8.56/8.63 c | 24159 | 14714 102046 382590 | 2147483647 24061 25 | 1.565 % |
8.56/8.66 c | 24319 | 14714 102046 382590 | 2147483647 24221 25 | 1.565 % |
8.67/8.71 c | 24495 | 14714 102046 382590 | 2147483647 24397 25 | 1.565 % |
8.67/8.74 c | 24688 | 14714 102046 382590 | 2147483647 24590 25 | 1.565 % |
8.67/8.76 c | 24901 | 14714 102046 382590 | 2147483647 24803 25 | 1.565 % |
8.76/8.82 c | 25136 | 14714 102046 382590 | 2147483647 25038 25 | 1.565 % |
8.87/8.94 c | 25392 | 14714 102046 382590 | 2147483647 25294 25 | 1.565 % |
8.97/9.03 c | 25674 | 14714 102046 382590 | 2147483647 25576 26 | 1.565 % |
8.97/9.09 c | 25983 | 14714 102046 382590 | 2147483647 25885 25 | 1.565 % |
9.07/9.19 c | 26322 | 14712 101977 382326 | 2147483647 26214 26 | 1.579 % |
9.27/9.30 c | 26694 | 14712 101977 382326 | 2147483647 26586 26 | 1.579 % |
9.27/9.37 c | 27106 | 14712 101977 382326 | 2147483647 26998 25 | 1.579 % |
9.37/9.45 c | 27559 | 14712 101977 382326 | 2147483647 27451 26 | 1.579 % |
9.37/9.46 c | 27663 | 14712 101977 382326 | 2147483647 27555 26 | 1.579 % |
9.47/9.55 c | 27773 | 14710 101977 382326 | 2147483647 27664 26 | 1.592 % |
9.57/9.62 c | 27895 | 14710 101977 382326 | 2147483647 27786 26 | 1.592 % |
9.57/9.65 c | 28028 | 14710 101977 382326 | 2147483647 27919 26 | 1.592 % |
9.57/9.70 c | 28175 | 14710 101977 382326 | 2147483647 28066 26 | 1.592 % |
9.67/9.72 c | 28336 | 14710 101977 382326 | 2147483647 28227 26 | 1.592 % |
9.77/9.83 c | 28513 | 14710 101977 382326 | 2147483647 28404 26 | 1.592 % |
9.77/9.87 c | 28706 | 14710 101977 382326 | 2147483647 28597 26 | 1.592 % |
9.87/9.93 c | 28918 | 14710 101977 382326 | 2147483647 28809 26 | 1.592 % |
9.87/9.99 c | 29153 | 14700 101977 382326 | 2147483647 29043 26 | 1.800 % |
9.97/10.08 c | 29410 | 14700 101977 382326 | 2147483647 29300 26 | 1.800 % |
10.07/10.16 c | 29691 | 14679 101738 381500 | 2147483647 29522 26 | 1.800 % |
10.17/10.23 c | 30002 | 14628 101738 381500 | 2147483647 29832 26 | 2.208 % |
10.27/10.33 c | 30342 | 14628 101738 381500 | 2147483647 30172 26 | 2.208 % |
10.37/10.45 c | 30715 | 14628 101738 381500 | 2147483647 30545 26 | 2.208 % |
10.46/10.51 c | 31124 | 14628 101738 381500 | 2147483647 30954 26 | 2.208 % |
10.46/10.57 c | 31575 | 14628 101738 381500 | 2147483647 31405 26 | 2.208 % |
10.56/10.61 c | 32069 | 14628 101738 381500 | 2147483647 31899 26 | 2.208 % |
10.66/10.74 c | 32170 | 14618 101738 381500 | 2147483647 32000 26 | 2.208 % |
10.66/10.79 c | 32280 | 14618 101738 381500 | 2147483647 32110 26 | 2.208 % |
10.76/10.88 c | 32401 | 14618 101738 381500 | 2147483647 32231 26 | 2.208 % |
10.87/10.91 c | 32536 | 14618 101738 381500 | 2147483647 32366 26 | 2.208 % |
10.87/10.93 c | 32682 | 14618 101738 381500 | 2147483647 32512 26 | 2.208 % |
10.87/10.94 c | 32844 | 14618 101738 381500 | 2147483647 32674 26 | 2.208 % |
10.87/10.95 c | 33020 | 14618 101738 381500 | 2147483647 32850 26 | 2.208 % |
10.97/11.01 c | 33213 | 14618 101738 381500 | 2147483647 33043 26 | 2.208 % |
10.97/11.05 c | 33425 | 14618 101489 380686 | 2147483647 33251 26 | 2.208 % |
11.06/11.12 c | 33658 | 14618 101489 380686 | 2147483647 33484 26 | 2.208 % |
11.06/11.19 c | 33915 | 14618 101489 380686 | 2147483647 33741 26 | 2.208 % |
11.16/11.23 c | 34198 | 14618 101489 380686 | 2147483647 34024 26 | 2.208 % |
11.16/11.26 c | 34507 | 14618 101489 380686 | 2147483647 34333 26 | 2.208 % |
11.26/11.35 c | 34847 | 14618 101489 380686 | 2147483647 34673 26 | 2.208 % |
11.36/11.46 c | 35219 | 14618 101489 380686 | 2147483647 35045 26 | 2.208 % |
11.56/11.64 c | 35629 | 14618 101489 380686 | 2147483647 35455 26 | 2.208 % |
11.66/11.79 c | 36080 | 14618 101489 380686 | 2147483647 35906 27 | 2.208 % |
11.76/11.89 c | 36575 | 14618 101489 380686 | 2147483647 36401 27 | 2.208 % |
11.96/12.05 c | 37119 | 14618 101489 380686 | 2147483647 36945 27 | 2.208 % |
11.96/12.06 c | 37219 | 14618 101489 380686 | 2147483647 37045 27 | 2.208 % |
12.06/12.11 c | 37330 | 14618 101489 380686 | 2147483647 37156 27 | 2.208 % |
12.06/12.14 c | 37451 | 14618 101489 380686 | 2147483647 37277 27 | 2.208 % |
12.16/12.24 c | 37584 | 14618 101489 380686 | 2147483647 37410 27 | 2.208 % |
12.26/12.35 c | 37732 | 14618 101489 380686 | 2147483647 37558 27 | 2.208 % |
12.36/12.43 c | 37892 | 14618 101489 380686 | 2147483647 37718 27 | 2.208 % |
12.46/12.52 c | 38068 | 14618 101489 380686 | 2147483647 37894 27 | 2.208 % |
12.46/12.55 c | 38263 | 14618 101489 380686 | 2147483647 38089 27 | 2.208 % |
12.46/12.57 c | 38475 | 14618 101489 380686 | 2147483647 38301 27 | 2.208 % |
12.56/12.65 c | 38711 | 14618 101489 380686 | 2147483647 38537 27 | 2.208 % |
12.66/12.75 c | 38967 | 14618 101489 380686 | 2147483647 38793 27 | 2.208 % |
12.76/12.88 c | 39250 | 14618 101489 380686 | 2147483647 39076 27 | 2.208 % |
12.86/12.95 c | 39560 | 14618 101489 380686 | 2147483647 39386 27 | 2.208 % |
12.96/13.00 c | 39902 | 14618 101489 380686 | 2147483647 39728 27 | 2.208 % |
13.06/13.18 c | 40274 | 14618 101489 380686 | 2147483647 40100 27 | 2.208 % |
13.36/13.40 c | 40683 | 14618 101489 380686 | 2147483647 40509 27 | 2.208 % |
13.46/13.52 c | 41134 | 14618 101489 380686 | 2147483647 40960 27 | 2.208 % |
13.56/13.67 c | 41627 | 14618 101489 380686 | 2147483647 41453 28 | 2.208 % |
13.76/13.82 c | 42169 | 14618 101489 380686 | 2147483647 41995 28 | 2.208 % |
14.06/14.14 c | 42765 | 14618 101489 380686 | 2147483647 42591 28 | 2.208 % |
14.06/14.16 c | 42865 | 14618 101489 380686 | 2147483647 42691 28 | 2.208 % |
14.16/14.24 c | 42975 | 14618 101489 380686 | 2147483647 42801 28 | 2.208 % |
14.26/14.31 c | 43096 | 14618 101489 380686 | 2147483647 42922 28 | 2.208 % |
14.26/14.32 c | 43230 | 14618 101489 380686 | 2147483647 43056 28 | 2.208 % |
14.26/14.35 c | 43377 | 14618 101489 380686 | 2147483647 43203 28 | 2.208 % |
14.37/14.46 c | 43537 | 14618 101489 380686 | 2147483647 43363 28 | 2.208 % |
14.47/14.51 c | 43714 | 14618 101489 380686 | 2147483647 43540 28 | 2.208 % |
14.47/14.57 c | 43908 | 14618 101489 380686 | 2147483647 43734 28 | 2.208 % |
14.57/14.70 c | 44120 | 14602 101393 380210 | 2147483647 43822 28 | 2.321 % |
14.67/14.75 c | 44355 | 14602 101393 380210 | 2147483647 44057 28 | 2.321 % |
14.77/14.82 c | 44611 | 14602 101393 380210 | 2147483647 44313 28 | 2.321 % |
14.87/14.91 c | 44895 | 14602 101393 380210 | 2147483647 44597 28 | 2.321 % |
14.97/15.01 c | 45205 | 14602 101393 380210 | 2147483647 44907 28 | 2.321 % |
14.97/15.07 c | 45545 | 14602 101393 380210 | 2147483647 45247 28 | 2.321 % |
15.07/15.16 c | 45918 | 14602 101393 380210 | 2147483647 45620 28 | 2.321 % |
15.27/15.33 c | 46327 | 14556 101393 380210 | 2147483647 46028 28 | 2.736 % |
15.37/15.47 c | 46777 | 14556 101393 380210 | 2147483647 46478 28 | 2.736 % |
15.57/15.68 c | 47273 | 14556 101393 380210 | 2147483647 46974 28 | 2.736 % |
15.76/15.84 c | 47815 | 14556 101393 380210 | 2147483647 47516 28 | 2.736 % |
16.06/16.19 c | 48411 | 14556 101393 380210 | 2147483647 48112 29 | 2.736 % |
16.47/16.55 c | 49066 | 14556 101393 380210 | 2147483647 48767 29 | 2.736 % |
16.56/16.63 c | 49168 | 14539 100629 377164 | 2147483647 48517 29 | 2.736 % |
16.66/16.70 c | 49278 | 14539 100629 377164 | 2147483647 48627 29 | 2.736 % |
16.66/16.74 c | 49399 | 14539 100629 377164 | 2147483647 48748 29 | 2.736 % |
16.66/16.76 c | 49532 | 14539 100629 377164 | 2147483647 48881 29 | 2.736 % |
16.76/16.88 c | 49678 | 14539 100629 377164 | 2147483647 49027 29 | 2.736 % |
16.86/16.98 c | 49838 | 14539 100629 377164 | 2147483647 49187 29 | 2.736 % |
16.96/17.03 c | 50016 | 14539 100629 377164 | 2147483647 49365 29 | 2.736 % |
17.06/17.14 c | 50210 | 14539 100629 377164 | 2147483647 49559 29 | 2.736 % |
17.16/17.25 c | 50422 | 14539 100629 377164 | 2147483647 49771 29 | 2.736 % |
17.26/17.37 c | 50656 | 14539 100629 377164 | 2147483647 50005 29 | 2.736 % |
17.36/17.45 c | 50919 | 14539 100629 377164 | 2147483647 50268 29 | 2.736 % |
17.46/17.58 c | 51200 | 14539 100629 377164 | 2147483647 50549 29 | 2.736 % |
17.66/17.70 c | 51512 | 14539 100629 377164 | 2147483647 50861 29 | 2.736 % |
17.76/17.82 c | 51851 | 14539 100629 377164 | 2147483647 51200 29 | 2.736 % |
17.76/17.88 c | 52225 | 14539 100629 377164 | 2147483647 51574 29 | 2.736 % |
17.96/18.05 c | 52636 | 14539 100629 377164 | 2147483647 51985 29 | 2.736 % |
18.16/18.25 c | 53086 | 14538 100629 377164 | 2147483647 52434 29 | 2.937 % |
18.26/18.35 c | 53581 | 14538 100629 377164 | 2147483647 52929 29 | 2.937 % |
18.36/18.47 c | 54125 | 14538 100629 377164 | 2147483647 53473 29 | 2.937 % |
18.56/18.61 c | 54722 | 14537 100629 377164 | 2147483647 54069 29 | 3.345 % |
18.86/18.99 c | 55377 | 14449 100629 377164 | 2147483647 54724 29 | 3.345 % |
19.26/19.38 c | 56097 | 14448 100108 375268 | 2147483647 55326 29 | 3.345 % |
19.36/19.44 c | 56199 | 14448 100108 375268 | 2147483647 55428 29 | 3.345 % |
19.46/19.51 c | 56310 | 14448 100108 375268 | 2147483647 55539 29 | 3.345 % |
19.46/19.57 c | 56431 | 14448 100108 375268 | 2147483647 55660 29 | 3.345 % |
19.56/19.65 c | 56565 | 14448 100108 375268 | 2147483647 55794 29 | 3.345 % |
19.66/19.76 c | 56712 | 14448 100108 375268 | 2147483647 55941 29 | 3.345 % |
19.76/19.82 c | 56872 | 14448 100108 375268 | 2147483647 56101 29 | 3.345 % |
19.76/19.88 c | 57050 | 14448 100108 375268 | 2147483647 56279 29 | 3.345 % |
19.86/19.95 c | 57243 | 14447 100108 375268 | 2147483647 56471 29 | 3.352 % |
19.96/20.07 c | 57455 | 14447 100108 375268 | 2147483647 56683 29 | 3.352 % |
20.06/20.13 c | 57691 | 14447 100108 375268 | 2147483647 56919 29 | 3.352 % |
20.06/20.20 c | 57947 | 14447 100108 375268 | 2147483647 57175 29 | 3.352 % |
20.16/20.29 c | 58230 | 14447 100108 375268 | 2147483647 57458 29 | 3.352 % |
20.36/20.41 c | 58540 | 14447 100108 375268 | 2147483647 57768 29 | 3.352 % |
20.36/20.49 c | 58882 | 14447 100108 375268 | 2147483647 58110 29 | 3.352 % |
20.56/20.66 c | 59255 | 14447 100108 375268 | 2147483647 58483 29 | 3.352 % |
20.86/20.92 c | 59664 | 14447 100108 375268 | 2147483647 58892 29 | 3.352 % |
21.06/21.17 c | 60113 | 14447 100108 375268 | 2147483647 59341 29 | 3.352 % |
21.26/21.39 c | 60607 | 14447 100108 375268 | 2147483647 59835 29 | 3.352 % |
21.46/21.55 c | 61149 | 14447 100102 375248 | 2147483647 60362 29 | 3.352 % |
21.86/21.92 c | 61746 | 14447 100102 375248 | 2147483647 60959 30 | 3.352 % |
22.06/22.15 c | 62403 | 14447 100102 375248 | 2147483647 61616 30 | 3.352 % |
22.26/22.32 c | 63123 | 14426 100102 375248 | 2147483647 62335 30 | 3.773 % |
22.86/23.00 c | 63916 | 14426 100102 375248 | 2147483647 63128 30 | 3.773 % |
22.96/23.08 c | 64017 | 14426 100102 375248 | 2147483647 63229 30 | 3.773 % |
23.06/23.13 c | 64127 | 14426 100102 375248 | 2147483647 63339 30 | 3.773 % |
23.06/23.18 c | 64249 | 14426 100102 375248 | 2147483647 63461 30 | 3.773 % |
23.16/23.28 c | 64382 | 14426 100102 375248 | 2147483647 63594 30 | 3.773 % |
23.25/23.35 c | 64529 | 14426 100102 375248 | 2147483647 63741 30 | 3.773 % |
23.35/23.45 c | 64690 | 14426 100102 375248 | 2147483647 63902 30 | 3.773 % |
23.45/23.55 c | 64866 | 14426 100102 375248 | 2147483647 64078 30 | 3.773 % |
23.55/23.60 c | 65060 | 14426 100102 375248 | 2147483647 64272 30 | 3.773 % |
23.65/23.74 c | 65274 | 14426 100102 375248 | 2147483647 64486 30 | 3.773 % |
23.76/23.80 c | 65507 | 14426 100102 375248 | 2147483647 64719 30 | 3.773 % |
23.76/23.82 c | 65763 | 14426 100102 375248 | 2147483647 64975 30 | 3.773 % |
23.96/24.00 c | 66044 | 14426 100102 375248 | 2147483647 65256 30 | 3.773 % |
24.07/24.17 c | 66354 | 14400 100102 375248 | 2147483647 65566 30 | 3.773 % |
24.16/24.28 c | 66693 | 14384 99722 373984 | 2147483647 65896 30 | 3.773 % |
24.36/24.43 c | 67065 | 14384 99722 373984 | 2147483647 66267 30 | 3.780 % |
24.56/24.62 c | 67476 | 14383 99722 373984 | 2147483647 66677 30 | 3.786 % |
24.76/24.86 c | 67925 | 14383 99722 373984 | 2147483647 67126 30 | 3.786 % |
25.06/25.12 c | 68421 | 14383 99722 373984 | 2147483647 67622 30 | 3.786 % |
25.26/25.39 c | 68963 | 14383 99722 373984 | 2147483647 68163 30 | 3.887 % |
25.66/25.72 c | 69562 | 14383 99722 373984 | 2147483647 68762 30 | 3.887 % |
26.15/26.25 c | 70220 | 14383 99722 373984 | 2147483647 69420 30 | 3.887 % |
26.65/26.79 c | 70940 | 14382 99722 373984 | 2147483647 70139 30 | 4.007 % |
27.36/27.42 c | 71734 | 14382 99722 373984 | 2147483647 70933 31 | 4.007 % |
28.05/28.11 c | 72606 | 14382 99722 373984 | 2147483647 71805 31 | 4.007 % |
28.05/28.18 c | 72707 | 14349 99414 372952 | 2147483647 71848 31 | 4.007 % |
28.15/28.24 c | 72818 | 14349 99414 372952 | 2147483647 71959 31 | 4.007 % |
28.15/28.28 c | 72940 | 14349 99414 372952 | 2147483647 72081 31 | 4.007 % |
28.25/28.37 c | 73073 | 14349 99414 372952 | 2147483647 72214 31 | 4.007 % |
28.35/28.47 c | 73220 | 14349 99414 372952 | 2147483647 72361 31 | 4.007 % |
28.46/28.55 c | 73381 | 14349 99414 372952 | 2147483647 72522 31 | 4.007 % |
28.55/28.60 c | 73557 | 14349 99414 372952 | 2147483647 72698 31 | 4.007 % |
28.65/28.71 c | 73753 | 14349 99414 372952 | 2147483647 72894 31 | 4.007 % |
28.75/28.81 c | 73966 | 14348 99414 372952 | 2147483647 73106 31 | 4.014 % |
28.75/28.86 c | 74199 | 14348 99414 372952 | 2147483647 73339 31 | 4.014 % |
28.85/28.98 c | 74456 | 14348 99414 372952 | 2147483647 73596 31 | 4.014 % |
29.05/29.15 c | 74738 | 14348 99414 372952 | 2147483647 73878 31 | 4.014 % |
29.15/29.25 c | 75048 | 14348 99414 372952 | 2147483647 74188 31 | 4.014 % |
29.35/29.47 c | 75387 | 14348 99414 372952 | 2147483647 74527 31 | 4.014 % |
29.55/29.68 c | 75759 | 14348 99414 372952 | 2147483647 74899 31 | 4.014 % |
29.85/29.90 c | 76169 | 14348 99414 372952 | 2147483647 75309 31 | 4.014 % |
29.95/30.04 c | 76618 | 14348 99414 372952 | 2147483647 75758 31 | 4.014 % |
30.25/30.35 c | 77113 | 14348 99414 372952 | 2147483647 76253 31 | 4.014 % |
30.35/30.41 c | 77655 | 14348 99414 372952 | 2147483647 76795 31 | 4.014 % |
30.65/30.80 c | 78251 | 14348 99414 372952 | 2147483647 77391 31 | 4.014 % |
31.15/31.26 c | 78906 | 14348 99414 372952 | 2147483647 78046 31 | 4.014 % |
31.76/31.83 c | 79626 | 14348 99414 372952 | 2147483647 78766 31 | 4.014 % |
32.15/32.25 c | 80418 | 14348 99414 372952 | 2147483647 79558 31 | 4.014 % |
32.75/32.88 c | 81291 | 14348 99348 372694 | 2147483647 80428 32 | 4.014 % |
33.15/33.22 c | 82249 | 14348 99348 372694 | 2147483647 81386 31 | 4.014 % |
33.35/33.43 c | 82349 | 14348 99348 372694 | 2147483647 81486 31 | 4.014 % |
33.55/33.63 c | 82460 | 14348 99348 372694 | 2147483647 81597 32 | 4.014 % |
33.65/33.76 c | 82583 | 14348 99348 372694 | 2147483647 81720 32 | 4.014 % |
33.75/33.83 c | 82717 | 14348 99348 372694 | 2147483647 81854 32 | 4.014 % |
33.85/33.94 c | 82864 | 14348 99348 372694 | 2147483647 82001 32 | 4.014 % |
33.96/34.04 c | 83024 | 14348 99348 372694 | 2147483647 82161 31 | 4.014 % |
34.15/34.28 c | 83200 | 14348 99348 372694 | 2147483647 82337 32 | 4.014 % |
34.35/34.45 c | 83393 | 14348 99348 372694 | 2147483647 82530 32 | 4.014 % |
34.45/34.53 c | 83606 | 14348 99348 372694 | 2147483647 82743 32 | 4.014 % |
34.65/34.72 c | 83842 | 14348 99348 372694 | 2147483647 82979 32 | 4.014 % |
34.75/34.86 c | 84099 | 14348 99348 372694 | 2147483647 83236 32 | 4.014 % |
35.05/35.11 c | 84382 | 14348 99348 372694 | 2147483647 83519 32 | 4.014 % |
35.25/35.31 c | 84691 | 14348 99348 372694 | 2147483647 83828 32 | 4.014 % |
35.45/35.54 c | 85030 | 14348 99348 372694 | 2147483647 84167 32 | 4.014 % |
35.65/35.71 c | 85402 | 14325 99348 372694 | 2147483647 84538 32 | 4.174 % |
35.65/35.75 c | 85812 | 14325 99348 372694 | 2147483647 84948 32 | 4.174 % |
35.95/36.06 c | 86261 | 14325 99348 372694 | 2147483647 85397 32 | 4.174 % |
36.25/36.37 c | 86754 | 14325 99348 372694 | 2147483647 85890 32 | 4.174 % |
36.65/36.71 c | 87297 | 14325 99348 372694 | 2147483647 86433 32 | 4.175 % |
36.65/36.77 c | 87894 | 14325 99348 372694 | 2147483647 87030 32 | 4.174 % |
37.15/37.27 c | 88549 | 14325 99348 372694 | 2147483647 87685 32 | 4.174 % |
37.85/37.92 c | 89269 | 14324 99062 371584 | 2147483647 88295 32 | 4.174 % |
38.25/38.36 c | 90062 | 14323 99062 371584 | 2147483647 89087 32 | 4.188 % |
38.85/38.97 c | 90933 | 14323 99062 371584 | 2147483647 89958 32 | 4.188 % |
39.45/39.57 c | 91893 | 14323 99062 371584 | 2147483647 90918 32 | 4.188 % |
40.14/40.25 c | 92947 | 14322 99062 371584 | 2147483647 91972 32 | 4.188 % |
40.24/40.37 c | 93047 | 14322 99062 371584 | 2147483647 92072 32 | 4.188 % |
40.34/40.45 c | 93157 | 14322 99062 371584 | 2147483647 92182 32 | 4.188 % |
40.44/40.55 c | 93280 | 14322 99062 371584 | 2147483647 92305 32 | 4.188 % |
40.54/40.63 c | 93414 | 14322 99062 371584 | 2147483647 92439 32 | 4.188 % |
40.54/40.66 c | 93560 | 14322 99062 371584 | 2147483647 92585 32 | 4.188 % |
40.64/40.71 c | 93721 | 14322 99062 371584 | 2147483647 92746 32 | 4.188 % |
40.74/40.83 c | 93897 | 14322 99062 371584 | 2147483647 92922 32 | 4.188 % |
40.84/40.99 c | 94092 | 14322 99062 371584 | 2147483647 93117 32 | 4.188 % |
41.04/41.14 c | 94305 | 14322 99062 371584 | 2147483647 93330 32 | 4.188 % |
41.14/41.28 c | 94539 | 14321 99062 371584 | 2147483647 93563 32 | 4.295 % |
41.34/41.46 c | 94795 | 14321 99062 371584 | 2147483647 93819 32 | 4.295 % |
41.44/41.60 c | 95076 | 14321 99062 371584 | 2147483647 94100 32 | 4.295 % |
41.64/41.78 c | 95385 | 14321 99062 371584 | 2147483647 94409 32 | 4.295 % |
41.94/42.06 c | 95724 | 14321 99062 371584 | 2147483647 94748 32 | 4.295 % |
42.14/42.25 c | 96097 | 14321 99062 371584 | 2147483647 95121 32 | 4.295 % |
42.43/42.59 c | 96509 | 14321 99062 371584 | 2147483647 95533 32 | 4.295 % |
42.84/42.99 c | 96959 | 14321 99062 371584 | 2147483647 95983 32 | 4.295 % |
43.33/43.49 c | 97453 | 14306 98816 370658 | 2147483647 96462 32 | 4.295 % |
43.73/43.88 c | 97995 | 14306 98816 370658 | 2147483647 97004 32 | 4.295 % |
44.03/44.10 c | 98591 | 14306 98816 370658 | 2147483647 97600 32 | 4.295 % |
44.33/44.48 c | 99246 | 14306 98816 370658 | 2147483647 98255 32 | 4.295 % |
45.03/45.11 c | 99967 | 14306 98816 370658 | 2147483647 98976 32 | 4.295 % |
45.23/45.37 c | 100760 | 14306 98816 370658 | 2147483647 99769 32 | 4.295 % |
45.83/45.93 c | 101631 | 14306 98816 370658 | 2147483647 100640 32 | 4.295 % |
46.34/46.48 c | 102589 | 14306 98816 370658 | 2147483647 101598 32 | 4.295 % |
46.64/46.78 c | 103642 | 14306 98816 370658 | 2147483647 102650 33 | 4.449 % |
47.53/47.65 c | 104801 | 14306 98816 370658 | 2147483647 103809 33 | 4.449 % |
47.63/47.73 c | 104903 | 14305 98816 370658 | 2147483647 103910 33 | 4.455 % |
47.73/47.81 c | 105014 | 14305 98816 370658 | 2147483647 104021 33 | 4.455 % |
47.83/47.93 c | 105136 | 14305 98816 370658 | 2147483647 104143 33 | 4.455 % |
47.93/48.04 c | 105269 | 14282 98816 370658 | 2147483647 104276 33 | 4.456 % |
48.13/48.22 c | 105416 | 14282 98816 370658 | 2147483647 104423 33 | 4.455 % |
48.34/48.49 c | 105579 | 14282 98816 370658 | 2147483647 104586 33 | 4.455 % |
48.53/48.65 c | 105755 | 14282 98816 370658 | 2147483647 104762 33 | 4.455 % |
48.83/48.98 c | 105950 | 14282 98816 370658 | 2147483647 104957 33 | 4.455 % |
49.03/49.11 c | 106162 | 14282 98816 370658 | 2147483647 105169 33 | 4.455 % |
49.13/49.29 c | 106395 | 14282 98816 370658 | 2147483647 105402 33 | 4.455 % |
49.34/49.48 c | 106651 | 14282 98816 370658 | 2147483647 105658 33 | 4.455 % |
49.63/49.76 c | 106935 | 14282 98559 369671 | 2147483647 105911 33 | 4.455 % |
49.93/50.03 c | 107244 | 14282 98559 369671 | 2147483647 106220 33 | 4.455 % |
50.13/50.28 c | 107584 | 14282 98559 369671 | 2147483647 106560 33 | 4.455 % |
50.53/50.62 c | 107956 | 14282 98559 369671 | 2147483647 106932 33 | 4.456 % |
50.73/50.83 c | 108365 | 14281 98559 369671 | 2147483647 107340 33 | 4.462 % |
51.13/51.27 c | 108816 | 14281 98559 369671 | 2147483647 107791 33 | 4.462 % |
51.63/51.71 c | 109310 | 14281 98559 369671 | 2147483647 108285 33 | 4.462 % |
51.93/52.03 c | 109853 | 14281 98559 369671 | 2147483647 108828 33 | 4.462 % |
52.23/52.37 c | 110449 | 14281 98559 369671 | 2147483647 109424 33 | 4.462 % |
52.73/52.85 c | 111104 | 14281 98559 369671 | 2147483647 110079 33 | 4.462 % |
53.23/53.34 c | 111824 | 14281 98559 369671 | 2147483647 110799 33 | 4.462 % |
53.83/53.94 c | 112616 | 14281 98559 369671 | 2147483647 111591 33 | 4.462 % |
54.73/54.88 c | 113487 | 14281 98559 369671 | 2147483647 112462 33 | 4.462 % |
55.73/55.80 c | 114445 | 14281 98559 369671 | 2147483647 113420 33 | 4.462 % |
56.62/56.73 c | 115503 | 14281 98559 369671 | 2147483647 114478 33 | 4.462 % |
57.32/57.47 c | 116662 | 14281 98547 369621 | 2147483647 115635 33 | 4.462 % |
58.42/58.55 c | 117936 | 14281 98547 369621 | 2147483647 116909 33 | 4.462 % |
58.52/58.67 c | 118036 | 14281 98547 369621 | 2147483647 117009 33 | 4.462 % |
58.62/58.77 c | 118149 | 14281 98547 369621 | 2147483647 117122 33 | 4.462 % |
58.72/58.86 c | 118270 | 14281 98547 369621 | 2147483647 117243 33 | 4.462 % |
58.92/59.07 c | 118403 | 14281 98547 369621 | 2147483647 117376 33 | 4.462 % |
59.02/59.19 c | 118549 | 14281 98547 369621 | 2147483647 117522 33 | 4.462 % |
59.22/59.33 c | 118711 | 14281 98547 369621 | 2147483647 117684 33 | 4.462 % |
59.22/59.40 c | 118887 | 14281 98547 369621 | 2147483647 117860 33 | 4.462 % |
59.32/59.43 c | 119080 | 14281 98547 369621 | 2147483647 118053 33 | 4.462 % |
59.32/59.49 c | 119293 | 14281 98547 369621 | 2147483647 118266 33 | 4.462 % |
59.72/59.84 c | 119526 | 14281 98547 369621 | 2147483647 118499 33 | 4.462 % |
59.92/60.04 c | 119782 | 14281 98547 369621 | 2147483647 118755 33 | 4.462 % |
60.22/60.31 c | 120064 | 14281 98547 369621 | 2147483647 119037 33 | 4.462 % |
60.42/60.57 c | 120373 | 14281 98547 369621 | 2147483647 119346 33 | 4.462 % |
60.72/60.82 c | 120713 | 14281 98547 369621 | 2147483647 119686 33 | 4.462 % |
60.82/60.99 c | 121085 | 14281 98547 369621 | 2147483647 120058 33 | 4.462 % |
61.12/61.29 c | 121496 | 14281 98547 369621 | 2147483647 120469 34 | 4.462 % |
61.53/61.63 c | 121946 | 14281 98547 369621 | 2147483647 120919 34 | 4.462 % |
62.13/62.22 c | 122440 | 14281 98547 369621 | 2147483647 121413 34 | 4.462 % |
62.43/62.56 c | 122982 | 14281 98547 369621 | 2147483647 121955 34 | 4.462 % |
62.63/62.70 c | 123578 | 14281 98547 369621 | 2147483647 122551 34 | 4.462 % |
62.73/62.84 c | 124234 | 14281 98547 369621 | 2147483647 123206 34 | 4.562 % |
62.82/62.99 c | 124954 | 14280 98547 369621 | 2147483647 123926 34 | 4.563 % |
63.12/63.24 c | 125747 | 14280 98547 369621 | 2147483647 124719 33 | 4.562 % |
64.52/64.60 c | 126618 | 14280 98547 369621 | 2147483647 125590 34 | 4.562 % |
65.52/65.62 c | 127577 | 14280 98547 369621 | 2147483647 126549 34 | 4.562 % |
66.62/66.74 c | 128630 | 14266 98375 368897 | 2147483647 127578 34 | 4.562 % |
67.52/67.66 c | 129788 | 14266 98375 368897 | 2147483647 128736 34 | 4.562 % |
69.42/69.52 c | 131062 | 14266 98375 368897 | 2147483647 130010 34 | 4.562 % |
70.92/71.01 c | 132464 | 14266 98375 368897 | 2147483647 131411 34 | 5.104 % |
70.92/71.08 c | 132564 | 14266 98375 368897 | 2147483647 131511 34 | 5.104 % |
71.12/71.22 c | 132674 | 14266 98375 368897 | 2147483647 131621 34 | 5.104 % |
71.22/71.32 c | 132796 | 14266 98375 368897 | 2147483647 131743 34 | 5.104 % |
71.32/71.45 c | 132930 | 14266 98375 368897 | 2147483647 131877 34 | 5.104 % |
71.42/71.55 c | 133076 | 14266 98375 368897 | 2147483647 132023 34 | 5.104 % |
71.62/71.71 c | 133237 | 14266 98375 368897 | 2147483647 132184 34 | 5.104 % |
71.82/71.92 c | 133413 | 14266 98375 368897 | 2147483647 132360 34 | 5.104 % |
72.02/72.12 c | 133606 | 14266 98375 368897 | 2147483647 132553 34 | 5.104 % |
72.02/72.17 c | 133821 | 14266 98375 368897 | 2147483647 132768 34 | 5.104 % |
72.42/72.52 c | 134054 | 14266 98375 368897 | 2147483647 133001 34 | 5.104 % |
72.81/72.93 c | 134311 | 14266 98375 368897 | 2147483647 133258 34 | 5.104 % |
73.31/73.42 c | 134592 | 14266 98375 368897 | 2147483647 133539 34 | 5.104 % |
73.52/73.65 c | 134903 | 14266 98375 368897 | 2147483647 133850 34 | 5.104 % |
73.81/73.98 c | 135245 | 14266 98375 368897 | 2147483647 134192 34 | 5.104 % |
74.21/74.33 c | 135617 | 14266 98375 368897 | 2147483647 134564 34 | 5.104 % |
75.11/75.24 c | 136027 | 14266 98375 368897 | 2147483647 134974 34 | 5.104 % |
75.61/75.79 c | 136476 | 14266 98375 368897 | 2147483647 135423 34 | 5.104 % |
76.61/76.79 c | 136970 | 14266 98375 368897 | 2147483647 135917 34 | 5.104 % |
77.12/77.23 c | 137512 | 14185 97803 366911 | 2147483647 136435 34 | 5.104 % |
77.42/77.53 c | 138110 | 14185 97803 366911 | 2147483647 137033 34 | 5.104 % |
78.32/78.44 c | 138765 | 14185 97803 366911 | 2147483647 137688 35 | 5.104 % |
79.42/79.56 c | 139485 | 14185 97803 366911 | 2147483647 138408 35 | 5.104 % |
80.22/80.31 c | 140277 | 14185 97803 366911 | 2147483647 139200 35 | 5.104 % |
80.62/80.73 c | 141149 | 14185 97803 366911 | 2147483647 140072 35 | 5.104 % |
82.21/82.32 c | 142107 | 14185 97803 366911 | 2147483647 141030 35 | 5.104 % |
83.42/83.53 c | 143160 | 14185 97803 366911 | 2147483647 142083 35 | 5.104 % |
84.21/84.33 c | 144318 | 14185 97803 366911 | 2147483647 143241 35 | 5.104 % |
84.71/84.87 c | 145592 | 14185 97803 366911 | 2147483647 144515 35 | 5.104 % |
86.21/86.38 c | 146993 | 14185 97803 366911 | 2147483647 145916 35 | 5.104 % |
88.61/88.74 c | 148533 | 14185 97803 366911 | 2147483647 147456 35 | 5.104 % |
88.71/88.87 c | 148636 | 14185 97803 366911 | 2147483647 147559 35 | 5.104 % |
88.91/89.05 c | 148746 | 14185 97803 366911 | 2147483647 147669 35 | 5.104 % |
89.01/89.18 c | 148867 | 14185 97803 366911 | 2147483647 147790 35 | 5.104 % |
89.11/89.26 c | 149001 | 14185 97803 366911 | 2147483647 147924 35 | 5.104 % |
89.31/89.44 c | 149152 | 14185 97803 366911 | 2147483647 148075 35 | 5.104 % |
89.51/89.60 c | 149314 | 14185 97803 366911 | 2147483647 148237 35 | 5.104 % |
89.61/89.72 c | 149490 | 14185 97803 366911 | 2147483647 148413 35 | 5.104 % |
89.81/89.99 c | 149683 | 14185 97803 366911 | 2147483647 148606 35 | 5.104 % |
90.01/90.17 c | 149897 | 14185 97803 366911 | 2147483647 148820 35 | 5.104 % |
90.31/90.40 c | 150130 | 14185 97803 366911 | 2147483647 149053 35 | 5.104 % |
90.51/90.62 c | 150386 | 14185 97803 366911 | 2147483647 149309 35 | 5.104 % |
90.61/90.75 c | 150669 | 14185 97803 366911 | 2147483647 149592 35 | 5.104 % |
90.80/90.98 c | 150978 | 14185 97803 366911 | 2147483647 149901 35 | 5.104 % |
90.90/91.03 c | 151318 | 14185 97803 366911 | 2147483647 150241 35 | 5.104 % |
91.30/91.42 c | 151690 | 14185 97803 366911 | 2147483647 150613 35 | 5.104 % |
91.70/91.88 c | 152099 | 14185 97803 366911 | 2147483647 151022 35 | 5.104 % |
92.21/92.32 c | 152549 | 14185 97803 366911 | 2147483647 151472 35 | 5.104 % |
92.71/92.88 c | 153042 | 14185 97803 366911 | 2147483647 151965 35 | 5.104 % |
93.32/93.46 c | 153584 | 14185 97803 366911 | 2147483647 152507 35 | 5.104 % |
94.21/94.31 c | 154181 | 14185 97803 366911 | 2147483647 153104 35 | 5.104 % |
95.31/95.41 c | 154838 | 14185 97803 366911 | 2147483647 153761 36 | 5.104 % |
95.81/95.92 c | 155560 | 14185 97803 366911 | 2147483647 154483 36 | 5.104 % |
96.41/96.56 c | 156352 | 14185 97803 366911 | 2147483647 155275 36 | 5.104 % |
97.31/97.42 c | 157224 | 14185 97803 366911 | 2147483647 156147 36 | 5.104 % |
98.31/98.43 c | 158183 | 14185 97803 366911 | 2147483647 157106 36 | 5.104 % |
99.51/99.62 c | 159237 | 14185 97803 366911 | 2147483647 158160 36 | 5.104 % |
100.61/100.72 c | 160395 | 14185 97803 366911 | 2147483647 159318 36 | 5.104 % |
101.81/101.98 c | 161668 | 14185 97803 366911 | 2147483647 160591 36 | 5.104 % |
103.10/103.22 c | 163068 | 14185 97803 366911 | 2147483647 161991 36 | 5.104 % |
103.50/103.68 c | 164608 | 14185 97803 366911 | 2147483647 163531 36 | 5.104 % |
105.20/105.35 c | 166302 | 14185 97803 366911 | 2147483647 165225 36 | 5.104 % |
105.30/105.48 c | 166402 | 14185 97803 366911 | 2147483647 165325 36 | 5.104 % |
105.51/105.63 c | 166512 | 14185 97803 366911 | 2147483647 165435 36 | 5.104 % |
105.60/105.79 c | 166633 | 14185 97803 366911 | 2147483647 165556 36 | 5.104 % |
105.80/105.96 c | 166767 | 14185 97803 366911 | 2147483647 165690 36 | 5.104 % |
106.00/106.11 c | 166913 | 14185 97803 366911 | 2147483647 165836 36 | 5.104 % |
106.10/106.28 c | 167073 | 14185 97803 366911 | 2147483647 165996 36 | 5.104 % |
106.40/106.52 c | 167249 | 14185 97803 366911 | 2147483647 166172 36 | 5.104 % |
107.00/107.13 c | 167442 | 14185 97803 366911 | 2147483647 166365 36 | 5.104 % |
107.40/107.50 c | 167654 | 14185 97803 366911 | 2147483647 166577 36 | 5.104 % |
107.61/107.74 c | 167889 | 14185 97803 366911 | 2147483647 166812 36 | 5.104 % |
108.10/108.22 c | 168146 | 14142 97512 366049 | 2147483647 167068 36 | 5.392 % |
108.50/108.62 c | 168427 | 14142 97512 366049 | 2147483647 167349 36 | 5.392 % |
108.80/108.95 c | 168737 | 14142 97512 366049 | 2147483647 167659 36 | 5.392 % |
109.10/109.25 c | 169077 | 14142 97512 366049 | 2147483647 167999 36 | 5.392 % |
109.60/109.76 c | 169449 | 14142 97512 366049 | 2147483647 168371 36 | 5.392 % |
110.20/110.33 c | 169858 | 14142 97512 366049 | 2147483647 168780 36 | 5.392 % |
110.70/110.82 c | 170307 | 14142 97512 366049 | 2147483647 169229 36 | 5.392 % |
111.20/111.39 c | 170800 | 14142 97512 366049 | 2147483647 169722 36 | 5.392 % |
111.80/111.98 c | 171342 | 14142 97512 366049 | 2147483647 170264 36 | 5.392 % |
112.60/112.73 c | 171938 | 14142 97512 366049 | 2147483647 170860 36 | 5.392 % |
112.90/113.07 c | 172596 | 14142 97512 366049 | 2147483647 171518 36 | 5.392 % |
113.20/113.31 c | 173318 | 14142 97512 366049 | 2147483647 172240 36 | 5.392 % |
114.20/114.36 c | 174111 | 14142 97512 366049 | 2147483647 173033 36 | 5.392 % |
115.30/115.50 c | 174984 | 14142 97512 366049 | 2147483647 173906 36 | 5.392 % |
116.30/116.44 c | 175945 | 14142 97512 366049 | 2147483647 174867 36 | 5.392 % |
117.80/117.92 c | 176998 | 14142 97512 366049 | 2147483647 175919 37 | 5.599 % |
119.20/119.34 c | 178159 | 14142 97512 366049 | 2147483647 177080 37 | 5.599 % |
121.00/121.17 c | 179435 | 14142 97512 366049 | 2147483647 178356 37 | 5.599 % |
122.90/123.01 c | 180835 | 14142 97512 366049 | 2147483647 179756 37 | 5.599 % |
123.90/124.05 c | 182375 | 14142 97512 366049 | 2147483647 181296 37 | 5.599 % |
125.79/125.97 c | 184069 | 14142 97512 366049 | 2147483647 182990 37 | 5.599 % |
128.19/128.36 c | 185933 | 14142 97512 366049 | 2147483647 184854 37 | 5.599 % |
128.39/128.57 c | 186033 | 14111 97130 364421 | 2147483647 184809 37 | 5.599 % |
128.60/128.74 c | 186143 | 14111 97130 364421 | 2147483647 184919 37 | 5.599 % |
128.69/128.86 c | 186264 | 14111 97130 364421 | 2147483647 185040 37 | 5.599 % |
128.89/129.06 c | 186399 | 14111 97130 364421 | 2147483647 185175 37 | 5.599 % |
128.99/129.10 c | 186545 | 14111 97130 364421 | 2147483647 185321 37 | 5.599 % |
128.99/129.18 c | 186705 | 14111 97130 364421 | 2147483647 185481 37 | 5.599 % |
129.19/129.35 c | 186881 | 14111 97130 364421 | 2147483647 185657 37 | 5.599 % |
129.39/129.59 c | 187075 | 14111 97130 364421 | 2147483647 185851 37 | 5.599 % |
129.49/129.64 c | 187287 | 14111 97130 364421 | 2147483647 186063 37 | 5.599 % |
129.80/129.99 c | 187520 | 14111 97130 364421 | 2147483647 186296 37 | 5.599 % |
130.20/130.33 c | 187777 | 14111 97130 364421 | 2147483647 186553 37 | 5.599 % |
130.70/130.84 c | 188058 | 14111 97130 364421 | 2147483647 186834 37 | 5.599 % |
131.20/131.39 c | 188371 | 14111 97130 364421 | 2147483647 187147 37 | 5.599 % |
131.60/131.70 c | 188711 | 14111 97130 364421 | 2147483647 187487 37 | 5.599 % |
132.10/132.25 c | 189083 | 14111 97130 364421 | 2147483647 187859 37 | 5.599 % |
132.60/132.78 c | 189492 | 14111 97130 364421 | 2147483647 188268 37 | 5.599 % |
133.20/133.35 c | 189941 | 14111 97130 364421 | 2147483647 188717 37 | 5.599 % |
134.00/134.20 c | 190436 | 14111 97130 364421 | 2147483647 189212 37 | 5.599 % |
134.49/134.69 c | 190981 | 14111 97130 364421 | 2147483647 189757 37 | 5.599 % |
134.89/135.09 c | 191579 | 14111 97130 364421 | 2147483647 190355 38 | 5.599 % |
135.79/135.99 c | 192234 | 14111 97130 364421 | 2147483647 191010 38 | 5.599 % |
136.79/136.94 c | 192954 | 14111 97130 364421 | 2147483647 191730 38 | 5.599 % |
137.09/137.28 c | 193746 | 14111 97130 364421 | 2147483647 192522 38 | 5.599 % |
138.09/138.21 c | 194617 | 14111 97130 364421 | 2147483647 193393 38 | 5.599 % |
139.49/139.67 c | 195577 | 14111 97130 364421 | 2147483647 194352 38 | 5.660 % |
140.79/140.91 c | 196632 | 14111 97130 364421 | 2147483647 195407 38 | 5.660 % |
141.39/141.52 c | 197791 | 14111 97130 364421 | 2147483647 196566 38 | 5.660 % |
142.29/142.46 c | 199064 | 14102 97130 364421 | 2147483647 197839 38 | 5.660 % |
143.69/143.89 c | 200465 | 14102 97130 364421 | 2147483647 199240 38 | 5.660 % |
145.59/145.74 c | 202005 | 14102 97130 364421 | 2147483647 200779 38 | 5.666 % |
147.38/147.52 c | 203700 | 14101 97130 364421 | 2147483647 202473 38 | 6.529 % |
150.38/150.54 c | 205564 | 14101 97130 364421 | 2147483647 204337 38 | 6.529 % |
152.78/152.95 c | 207613 | 13972 96127 360620 | 2147483647 205943 38 | 6.529 % |
152.98/153.20 c | 207715 | 13972 96127 360620 | 2147483647 206045 38 | 6.529 % |
153.18/153.38 c | 207827 | 13972 96127 360620 | 2147483647 206157 38 | 6.529 % |
153.48/153.69 c | 207949 | 13972 96127 360620 | 2147483647 206279 38 | 6.529 % |
153.68/153.84 c | 208083 | 13972 96127 360620 | 2147483647 206413 38 | 6.529 % |
153.98/154.11 c | 208232 | 13972 96127 360620 | 2147483647 206562 38 | 6.529 % |
154.08/154.24 c | 208392 | 13972 96127 360620 | 2147483647 206722 38 | 6.529 % |
154.48/154.61 c | 208569 | 13972 96127 360620 | 2147483647 206899 38 | 6.529 % |
154.68/154.89 c | 208763 | 13972 96127 360620 | 2147483647 207093 38 | 6.529 % |
155.08/155.23 c | 208975 | 13972 96127 360620 | 2147483647 207304 38 | 6.643 % |
155.48/155.69 c | 209209 | 13972 96127 360620 | 2147483647 207538 38 | 6.643 % |
155.78/155.96 c | 209465 | 13972 96127 360620 | 2147483647 207794 38 | 6.643 % |
156.08/156.27 c | 209748 | 13972 96127 360620 | 2147483647 208077 38 | 6.643 % |
156.68/156.85 c | 210058 | 13972 96127 360620 | 208329 208387 38 | 6.643 % |
157.28/157.42 c | 210397 | 13972 96127 360620 | 208329 208726 38 | 6.643 % |
157.98/158.10 c | 210773 | 13972 96127 360620 | 208329 209102 38 | 6.643 % |
158.58/158.76 c | 211182 | 13972 96127 360620 | 208329 209511 38 | 6.643 % |
159.48/159.62 c | 211632 | 13972 96127 360620 | 208329 178479 37 | 6.643 % |
160.28/160.41 c | 212126 | 13972 96127 360620 | 208329 178973 37 | 6.643 % |
160.78/160.96 c | 212668 | 13972 96127 360620 | 208329 179515 37 | 6.643 % |
160.98/161.19 c | 213267 | 13972 96127 360620 | 208329 180114 37 | 6.643 % |
161.08/161.25 c | 213925 | 13972 96127 360620 | 208329 180772 37 | 6.643 % |
161.68/161.85 c | 214645 | 13972 96127 360620 | 208329 181492 37 | 6.643 % |
162.58/162.74 c | 215437 | 13972 96127 360620 | 208329 182284 37 | 6.643 % |
163.48/163.69 c | 216309 | 13972 96127 360620 | 208329 183156 37 | 6.643 % |
164.78/164.96 c | 217267 | 13972 96127 360620 | 208329 184114 37 | 6.643 % |
166.08/166.26 c | 218320 | 13972 96127 360620 | 208329 185166 37 | 7.038 % |
166.78/166.95 c | 219479 | 13951 96127 360620 | 208329 186322 37 | 8.295 % |
168.18/168.30 c | 220752 | 13951 96127 360620 | 2147483647 187595 37 | 8.295 % |
169.47/169.64 c | 222152 | 13951 96127 360620 | 2147483647 188995 37 | 8.295 % |
171.27/171.45 c | 223693 | 13951 96127 360620 | 2147483647 190536 38 | 8.295 % |
172.87/173.00 c | 225387 | 13951 96127 360620 | 2147483647 192230 38 | 8.295 % |
173.58/173.76 c | 227250 | 13912 96127 360620 | 2147483647 194093 38 | 8.295 % |
175.68/175.89 c | 229299 | 13708 94391 354489 | 2147483647 196044 38 | 8.302 % |
178.17/178.37 c | 231552 | 13708 94391 354489 | 2147483647 198297 38 | 8.302 % |
178.37/178.50 c | 231654 | 13708 94391 354489 | 2147483647 198399 38 | 8.302 % |
178.47/178.64 c | 231765 | 13708 94391 354489 | 2147483647 198510 38 | 8.302 % |
178.67/178.81 c | 231886 | 13708 94391 354489 | 2147483647 198631 38 | 8.302 % |
178.77/178.94 c | 232019 | 13708 94391 354489 | 2147483647 198764 38 | 8.302 % |
178.87/179.01 c | 232165 | 13708 94391 354489 | 2147483647 198910 38 | 8.302 % |
178.87/179.09 c | 232326 | 13708 94391 354489 | 2147483647 199071 38 | 8.302 % |
179.08/179.23 c | 232503 | 13708 94391 354489 | 2147483647 199248 38 | 8.302 % |
179.27/179.48 c | 232696 | 13708 94391 354489 | 2147483647 199441 38 | 8.302 % |
179.57/179.75 c | 232910 | 13708 94391 354489 | 2147483647 199655 38 | 8.302 % |
179.88/180.07 c | 233143 | 13708 94391 354489 | 2147483647 199888 38 | 8.302 % |
180.18/180.36 c | 233400 | 13708 94391 354489 | 2147483647 200145 38 | 8.302 % |
180.48/180.64 c | 233684 | 13708 94391 354489 | 2147483647 200429 38 | 8.302 % |
180.88/181.04 c | 233993 | 13708 94391 354489 | 2147483647 200738 38 | 8.302 % |
181.48/181.62 c | 234333 | 13708 94391 354489 | 2147483647 201078 38 | 8.302 % |
181.78/181.96 c | 234707 | 13708 94391 354489 | 2147483647 201452 38 | 8.302 % |
182.28/182.49 c | 235117 | 13708 94391 354489 | 2147483647 201862 38 | 8.302 % |
182.48/182.67 c | 235570 | 13708 94391 354489 | 2147483647 202315 38 | 8.302 % |
182.88/183.07 c | 236064 | 13708 94391 354489 | 2147483647 202809 38 | 8.302 % |
183.38/183.54 c | 236608 | 13708 94391 354489 | 2147483647 203353 38 | 8.302 % |
183.98/184.16 c | 237205 | 13708 94391 354489 | 2147483647 203950 38 | 8.302 % |
184.08/184.29 c | 237863 | 13707 94391 354489 | 2147483647 204607 38 | 8.402 % |
184.48/184.65 c | 238584 | 13707 94391 354489 | 2147483647 205328 38 | 8.402 % |
184.88/185.08 c | 239378 | 13707 94391 354489 | 2147483647 206122 37 | 8.402 % |
186.08/186.21 c | 240249 | 13707 94391 354489 | 2147483647 206993 38 | 8.402 % |
187.08/187.27 c | 241207 | 13707 94391 354489 | 2147483647 207951 38 | 8.402 % |
187.68/187.82 c | 242260 | 13707 94391 354489 | 2147483647 209004 38 | 8.402 % |
188.78/188.91 c | 243420 | 13707 94391 354489 | 2147483647 210164 38 | 8.402 % |
190.27/190.42 c | 244693 | 13707 94391 354489 | 2147483647 211437 38 | 8.402 % |
191.67/191.86 c | 246093 | 13707 94391 354489 | 2147483647 212837 38 | 8.403 % |
193.07/193.26 c | 247635 | 13707 94391 354489 | 2147483647 214379 38 | 8.402 % |
194.87/195.04 c | 249333 | 13692 94199 353701 | 2147483647 215578 38 | 8.402 % |
195.87/196.08 c | 251197 | 13692 94199 353701 | 2147483647 217442 38 | 8.402 % |
198.07/198.29 c | 253247 | 13692 94199 353701 | 2147483647 219492 38 | 8.402 % |
201.67/201.89 c | 255501 | 13692 94199 353701 | 2147483647 221746 38 | 8.402 % |
204.76/204.96 c | 257979 | 13692 94199 353701 | 2147483647 224224 38 | 8.402 % |
204.96/205.18 c | 258080 | 13692 94199 353701 | 2147483647 224325 38 | 8.403 % |
205.16/205.32 c | 258190 | 13692 94199 353701 | 2147483647 224435 38 | 8.402 % |
205.36/205.52 c | 258311 | 13692 94199 353701 | 2147483647 224556 38 | 8.402 % |
205.57/205.72 c | 258446 | 13692 94199 353701 | 2147483647 224691 38 | 8.402 % |
205.66/205.86 c | 258592 | 13692 94199 353701 | 2147483647 224837 38 | 8.402 % |
205.76/205.99 c | 258753 | 13692 94199 353701 | 2147483647 224998 38 | 8.402 % |
205.86/206.02 c | 258930 | 13692 94199 353701 | 2147483647 225175 38 | 8.403 % |
205.86/206.07 c | 259127 | 13692 94199 353701 | 2147483647 225372 38 | 8.402 % |
205.96/206.19 c | 259342 | 13692 94199 353701 | 2147483647 225587 38 | 8.402 % |
206.26/206.47 c | 259575 | 13692 94199 353701 | 2147483647 225820 38 | 8.403 % |
206.67/206.85 c | 259831 | 13692 94199 353701 | 2147483647 226076 38 | 8.402 % |
207.16/207.35 c | 260114 | 13692 94199 353701 | 2147483647 226359 38 | 8.402 % |
207.66/207.84 c | 260425 | 13692 94199 353701 | 2147483647 226670 38 | 8.402 % |
208.06/208.23 c | 260764 | 13692 94199 353701 | 2147483647 227009 38 | 8.402 % |
208.16/208.36 c | 261138 | 13690 94199 353701 | 2147483647 227382 38 | 9.272 % |
208.36/208.51 c | 261548 | 13690 94199 353701 | 2147483647 227792 38 | 9.272 % |
208.46/208.69 c | 261998 | 13690 94199 353701 | 2147483647 228242 38 | 9.272 % |
208.56/208.76 c | 262492 | 13690 94199 353701 | 2147483647 228735 38 | 9.473 % |
209.37/209.56 c | 263034 | 13689 94199 353701 | 2147483647 229276 38 | 9.480 % |
210.47/210.62 c | 263634 | 13689 94199 353701 | 2147483647 229876 38 | 9.480 % |
211.17/211.37 c | 264291 | 13689 94199 353701 | 2147483647 230533 38 | 9.480 % |
211.87/212.06 c | 265013 | 13689 94199 353701 | 2147483647 231255 38 | 9.480 % |
213.07/213.27 c | 265805 | 13689 94199 353701 | 2147483647 232047 38 | 9.480 % |
214.07/214.26 c | 266679 | 13689 94199 353701 | 2147483647 232921 38 | 9.480 % |
214.87/215.10 c | 267637 | 13531 94199 353701 | 2147483647 233879 38 | 9.480 % |
216.36/216.58 c | 268692 | 13531 94199 353701 | 2147483647 234934 38 | 9.480 % |
217.67/217.87 c | 269850 | 13531 94199 353701 | 2147483647 236092 38 | 9.480 % |
219.56/219.79 c | 271124 | 13531 92952 349244 | 2147483647 237188 38 | 9.480 % |
221.36/221.57 c | 272525 | 13531 92952 349244 | 2147483647 238589 38 | 9.480 % |
224.16/224.31 c | 274065 | 13531 92952 349244 | 2147483647 240129 38 | 9.480 % |
227.26/227.40 c | 275759 | 13531 92952 349244 | 2147483647 241823 38 | 9.480 % |
228.56/228.74 c | 277624 | 13531 92952 349244 | 2147483647 243688 38 | 9.480 % |
229.86/230.05 c | 279674 | 13531 92952 349244 | 2147483647 245738 38 | 9.480 % |
231.35/231.53 c | 281927 | 13531 92952 349244 | 2147483647 247991 38 | 9.480 % |
232.65/232.85 c | 284405 | 13531 92952 349244 | 2147483647 250469 38 | 9.480 % |
237.46/237.61 c | 287131 | 13531 92952 349244 | 2147483647 253195 39 | 9.480 % |
237.56/237.73 c | 287232 | 13531 92952 349244 | 2147483647 253296 39 | 9.480 % |
237.56/237.79 c | 287343 | 13531 92952 349244 | 2147483647 253407 39 | 9.480 % |
237.56/237.80 c | 287467 | 13531 92952 349244 | 2147483647 253531 39 | 9.480 % |
237.76/237.94 c | 287602 | 13531 92952 349244 | 2147483647 253666 39 | 9.480 % |
237.76/237.99 c | 287749 | 13531 92952 349244 | 2147483647 253813 39 | 9.480 % |
237.96/238.13 c | 287909 | 13531 92952 349244 | 2147483647 253973 39 | 9.480 % |
238.06/238.26 c | 288088 | 13531 92952 349244 | 2147483647 254152 39 | 9.480 % |
238.26/238.48 c | 288281 | 13531 92952 349244 | 2147483647 254345 39 | 9.480 % |
238.46/238.65 c | 288493 | 13531 92952 349244 | 2147483647 254557 38 | 9.480 % |
238.76/238.98 c | 288726 | 13531 92952 349244 | 2147483647 254790 38 | 9.480 % |
239.06/239.23 c | 288983 | 13531 92952 349244 | 2147483647 255047 38 | 9.480 % |
239.26/239.48 c | 289264 | 13531 92952 349244 | 2147483647 255328 38 | 9.480 % |
239.66/239.86 c | 289573 | 13531 92952 349244 | 2147483647 255637 38 | 9.480 % |
239.86/240.09 c | 289912 | 13531 92952 349244 | 2147483647 255976 38 | 9.480 % |
240.16/240.39 c | 290285 | 13531 92952 349244 | 2147483647 256349 38 | 9.480 % |
240.56/240.80 c | 290695 | 13531 92952 349244 | 2147483647 256759 38 | 9.480 % |
241.06/241.24 c | 291144 | 13531 92952 349244 | 2147483647 257208 38 | 9.480 % |
241.26/241.48 c | 291639 | 13531 92952 349244 | 2147483647 257703 38 | 9.480 % |
241.46/241.62 c | 292181 | 13531 92952 349244 | 2147483647 258244 38 | 9.486 % |
241.76/241.93 c | 292778 | 13531 92952 349244 | 2147483647 258841 38 | 9.486 % |
242.75/242.92 c | 293433 | 13530 92940 349194 | 2147483647 259493 38 | 9.486 % |
243.35/243.51 c | 294155 | 13530 92940 349194 | 2147483647 260215 38 | 9.486 % |
243.65/243.81 c | 294949 | 13530 92940 349194 | 2147483647 261009 38 | 9.486 % |
244.65/244.81 c | 295820 | 13530 92940 349194 | 2147483647 261880 38 | 9.486 % |
246.75/246.98 c | 296778 | 13530 92940 349194 | 2147483647 262838 38 | 9.486 % |
248.65/248.81 c | 297831 | 13530 92940 349194 | 2147483647 263891 38 | 9.486 % |
251.25/251.44 c | 298990 | 13530 92940 349194 | 2147483647 265050 39 | 9.486 % |
253.05/253.28 c | 300263 | 13530 92940 349194 | 266060 266323 39 | 9.486 % |
255.25/255.40 c | 301663 | 13530 92940 349194 | 266060 267723 39 | 9.486 % |
258.74/258.94 c | 303206 | 13530 92940 349194 | 266060 234050 38 | 9.486 % |
260.45/260.65 c | 304900 | 13530 92940 349194 | 266060 235744 38 | 9.486 % |
262.54/262.70 c | 306763 | 13530 92940 349194 | 266060 237607 38 | 9.486 % |
266.05/266.26 c | 308812 | 13530 92940 349194 | 266060 239656 38 | 9.486 % |
269.44/269.64 c | 311066 | 13530 92940 349194 | 2147483647 241910 38 | 9.486 % |
273.74/273.90 c | 313545 | 13530 92940 349194 | 2147483647 244389 39 | 9.486 % |
276.04/276.27 c | 316273 | 13528 92940 349194 | 2147483647 247116 39 | 9.593 % |
280.64/280.82 c | 319270 | 13514 92883 349043 | 2147483647 250105 39 | 9.600 % |
280.64/280.89 c | 319370 | 13514 92883 349043 | 2147483647 250205 39 | 9.600 % |
280.74/280.95 c | 319481 | 13514 92883 349043 | 2147483647 250316 39 | 9.600 % |
280.74/280.98 c | 319603 | 13514 92883 349043 | 2147483647 250438 39 | 9.600 % |
280.84/281.07 c | 319737 | 13514 92883 349043 | 2147483647 250572 39 | 9.600 % |
281.04/281.23 c | 319883 | 13514 92883 349043 | 2147483647 250718 39 | 9.600 % |
281.14/281.33 c | 320044 | 13514 92883 349043 | 2147483647 250879 39 | 9.600 % |
281.34/281.60 c | 320220 | 13514 92883 349043 | 2147483647 251055 39 | 9.600 % |
281.84/282.01 c | 320416 | 13514 92883 349043 | 2147483647 251251 39 | 9.600 % |
282.04/282.22 c | 320628 | 13514 92883 349043 | 2147483647 251463 39 | 9.600 % |
282.24/282.45 c | 320863 | 13514 92883 349043 | 2147483647 251698 39 | 9.600 % |
282.63/282.81 c | 321121 | 13514 92883 349043 | 2147483647 251956 39 | 9.600 % |
282.73/282.94 c | 321402 | 13514 92883 349043 | 2147483647 252237 39 | 9.600 % |
283.23/283.47 c | 321711 | 13514 92883 349043 | 2147483647 252546 39 | 9.600 % |
283.83/284.04 c | 322050 | 13514 92883 349043 | 2147483647 252885 39 | 9.600 % |
284.33/284.56 c | 322424 | 13514 92883 349043 | 2147483647 253259 39 | 9.600 % |
284.74/284.99 c | 322833 | 13514 92883 349043 | 2147483647 253668 39 | 9.600 % |
285.13/285.37 c | 323283 | 13514 92883 349043 | 2147483647 254118 39 | 9.600 % |
285.93/286.18 c | 323776 | 13514 92883 349043 | 2147483647 254611 39 | 9.600 % |
286.73/286.95 c | 324319 | 13514 92883 349043 | 2147483647 255154 39 | 9.600 % |
287.03/287.21 c | 324915 | 13514 92883 349043 | 2147483647 255750 39 | 9.600 % |
287.53/287.77 c | 325570 | 13513 92883 349043 | 2147483647 256403 39 | 9.807 % |
288.13/288.32 c | 326290 | 13513 92883 349043 | 2147483647 257123 38 | 9.807 % |
289.23/289.46 c | 327084 | 13513 92883 349043 | 2147483647 257917 39 | 9.807 % |
290.24/290.41 c | 327955 | 13513 92883 349043 | 2147483647 258788 38 | 9.807 % |
290.93/291.12 c | 328914 | 13513 92883 349043 | 2147483647 259747 38 | 9.807 % |
291.34/291.55 c | 329967 | 13513 92883 349043 | 2147483647 260800 38 | 9.807 % |
292.63/292.88 c | 331126 | 13513 92883 349043 | 2147483647 261959 38 | 9.807 % |
294.63/294.87 c | 332399 | 13513 92883 349043 | 2147483647 263232 39 | 9.807 % |
296.73/296.97 c | 333800 | 13513 92883 349043 | 2147483647 264633 39 | 9.807 % |
298.63/298.90 c | 335340 | 13513 92883 349043 | 2147483647 266173 39 | 9.807 % |
301.13/301.34 c | 337034 | 13513 92883 349043 | 2147483647 267866 39 | 9.821 % |
303.43/303.69 c | 338897 | 13513 92883 349043 | 2147483647 269729 39 | 9.821 % |
307.74/307.96 c | 340946 | 13513 92883 349043 | 270832 271778 39 | 9.821 % |
311.33/311.50 c | 343201 | 13480 92501 347469 | 270832 273681 39 | 9.821 % |
313.73/313.98 c | 345683 | 13480 92501 347469 | 270832 238225 38 | 9.821 % |
315.03/315.29 c | 348410 | 13460 92501 347469 | 270832 240947 38 | 9.961 % |
319.63/319.81 c | 351407 | 13460 92501 347469 | 2147483647 243944 38 | 9.961 % |
324.03/324.20 c | 354704 | 13460 92501 347469 | 2147483647 247240 38 | 9.968 % |
324.13/324.34 c | 354804 | 13460 92501 347469 | 2147483647 247340 38 | 9.968 % |
324.23/324.47 c | 354914 | 13460 92501 347469 | 2147483647 247450 38 | 9.968 % |
324.53/324.72 c | 355035 | 13460 92501 347469 | 2147483647 247571 38 | 9.968 % |
324.73/324.90 c | 355169 | 13460 92501 347469 | 2147483647 247705 38 | 9.968 % |
324.83/325.09 c | 355316 | 13460 92501 347469 | 2147483647 247852 38 | 9.968 % |
324.93/325.19 c | 355476 | 13460 92501 347469 | 2147483647 248012 38 | 9.968 % |
325.03/325.23 c | 355653 | 13460 92501 347469 | 2147483647 248189 38 | 9.968 % |
325.23/325.41 c | 355846 | 13460 92501 347469 | 2147483647 248382 38 | 9.968 % |
325.43/325.68 c | 356058 | 13460 92501 347469 | 2147483647 248594 38 | 9.968 % |
326.03/326.23 c | 356292 | 13460 92501 347469 | 2147483647 248828 38 | 9.968 % |
326.53/326.76 c | 356548 | 13460 92501 347469 | 2147483647 249084 38 | 9.968 % |
327.13/327.32 c | 356829 | 13460 92501 347469 | 2147483647 249365 38 | 9.968 % |
327.73/327.96 c | 357140 | 13460 92501 347469 | 2147483647 249676 38 | 9.968 % |
328.53/328.76 c | 357479 | 13460 92501 347469 | 2147483647 250015 38 | 9.968 % |
329.13/329.40 c | 357852 | 13460 92501 347469 | 2147483647 250388 38 | 9.968 % |
330.13/330.32 c | 358263 | 13460 92501 347469 | 2147483647 250799 38 | 9.968 % |
330.93/331.18 c | 358713 | 13460 92501 347469 | 2147483647 251249 38 | 9.968 % |
331.83/332.10 c | 359206 | 13460 92501 347469 | 2147483647 251742 38 | 9.968 % |
332.42/332.60 c | 359749 | 13460 92501 347469 | 2147483647 252285 38 | 9.968 % |
332.72/332.92 c | 360347 | 13460 92501 347469 | 2147483647 252883 38 | 9.968 % |
333.32/333.52 c | 361002 | 13460 92501 347469 | 2147483647 253538 38 | 9.968 % |
334.02/334.29 c | 361723 | 13460 92501 347469 | 2147483647 254259 38 | 9.968 % |
335.42/335.65 c | 362515 | 13460 92501 347469 | 2147483647 255051 38 | 9.968 % |
336.72/336.99 c | 363388 | 13460 92501 347469 | 2147483647 255924 38 | 9.968 % |
338.53/338.72 c | 364348 | 13458 92246 346493 | 2147483647 256875 38 | 9.968 % |
339.92/340.12 c | 365402 | 13458 92246 346493 | 2147483647 257929 38 | 9.968 % |
340.62/340.88 c | 366562 | 13458 92246 346493 | 2147483647 259089 38 | 9.968 % |
342.22/342.46 c | 367836 | 13458 92246 346493 | 2147483647 260363 38 | 9.968 % |
344.12/344.31 c | 369236 | 13458 92246 346493 | 2147483647 261763 38 | 9.968 % |
346.12/346.37 c | 370776 | 13458 92246 346493 | 2147483647 263303 38 | 9.968 % |
348.92/349.12 c | 372472 | 13438 92246 346493 | 2147483647 264996 38 | 10.229 % |
351.72/351.97 c | 374338 | 13425 92246 346493 | 2147483647 266860 38 | 11.038 % |
355.12/355.32 c | 376388 | 13425 92246 346493 | 2147483647 268910 38 | 11.038 % |
357.32/357.59 c | 378641 | 13425 92246 346493 | 2147483647 271163 38 | 11.038 % |
360.21/360.45 c | 381119 | 13422 92246 346493 | 2147483647 273639 38 | 11.078 % |
364.41/364.64 c | 383845 | 13420 92246 346493 | 2147483647 276364 38 | 11.360 % |
366.31/366.53 c ===============================================================================
366.31/366.53 c restarts : 779
366.31/366.53 c conflicts : 384973 (1065 /sec)
366.31/366.53 c decisions : 641670 (1.68 % random) (1775 /sec)
366.31/366.53 c propagations : 155786017 (430859 /sec)
366.31/366.53 c conflict literals : 15234991 (47.99 % deleted)
366.31/366.53 c Memory used : 61.03 MB
366.31/366.53 c CPU time : 361.571 s
366.31/366.53 c
366.31/366.53 s UNSATISFIABLE
366.31/366.54 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833823-1242825325/watcher-1833823-1242825325 -o /tmp/evaluation-result-1833823-1242825325/solver-1833823-1242825325 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833823-1242825325.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.08 1.02 1.01 3/64 10437
/proc/meminfo: memFree=1792512/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=0
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310566046 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 238487830610 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/10437/statm: 1339 235 195 169 0 50 0
[pid=10438] ppid=10437 vsize=5356 CPUtime=0
/proc/10438/stat : 10438 (SatELiteGTI) S 10437 10437 10257 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310566046 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/10438/statm: 1339 238 198 169 0 50 0
[pid=10440] ppid=10438 vsize=192 CPUtime=0
/proc/10440/stat : 10440 (sed) R 10438 10437 10257 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 310566046 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 238485042569 0 0 4096 0 0 0 0 17 0 0 0
/proc/10440/statm: 60 27 20 11 0 11 0
[startup+0.0627889 s]
/proc/loadavg: 1.08 1.02 1.01 3/64 10437
/proc/meminfo: memFree=1792512/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=0
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310566046 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10437/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101792 s]
/proc/loadavg: 1.08 1.02 1.01 3/64 10437
/proc/meminfo: memFree=1792512/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=0
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310566046 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10437/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301814 s]
/proc/loadavg: 1.08 1.02 1.01 3/64 10437
/proc/meminfo: memFree=1792512/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=0
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310566046 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10437/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701859 s]
/proc/loadavg: 1.08 1.02 1.01 3/64 10437
/proc/meminfo: memFree=1792512/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=0
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310566046 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10437/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50195 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 10442
/proc/meminfo: memFree=1732976/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=0
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310566046 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10437/statm: 1339 237 197 169 0 50 0
[pid=10442] ppid=10437 vsize=72468 CPUtime=1.49
/proc/10442/stat : 10442 (SatELite_releas) R 10437 10437 10257 0 -1 4194304 14896 0 0 0 137 12 0 0 25 0 1 0 310566046 74207232 14548 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/10442/statm: 18117 14548 76 173 0 17942 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77824
[startup+3.10113 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 10442
/proc/meminfo: memFree=1724080/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=0
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310566046 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10437/statm: 1339 237 197 169 0 50 0
[pid=10442] ppid=10437 vsize=74356 CPUtime=3.08
/proc/10442/stat : 10442 (SatELite_releas) R 10437 10437 10257 0 -1 4194304 17754 0 0 0 294 14 0 0 25 0 1 0 310566046 76140544 15081 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/10442/statm: 18589 15081 76 173 0 18414 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 79712
[startup+6.3015 s]
/proc/loadavg: 1.15 1.03 1.01 2/66 10443
/proc/meminfo: memFree=1769712/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=4.63
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 336 27687 0 0 0 0 440 23 16 0 1 0 310566046 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10437/statm: 1339 239 197 169 0 50 0
[pid=10443] ppid=10437 vsize=9560 CPUtime=1.64
/proc/10443/stat : 10443 (minisat_static) R 10437 10437 10257 0 -1 4194304 2218 0 0 0 163 1 0 0 25 0 1 0 310566510 9789440 2204 1992294400 134512640 135215339 4294956240 18446744073709551615 134525651 0 0 4096 3 0 0 0 17 1 0 0
/proc/10443/statm: 2390 2204 77 171 0 2217 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 14916
[startup+12.7022 s]
/proc/loadavg: 1.14 1.03 1.01 2/66 10443
/proc/meminfo: memFree=1765296/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=4.63
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 336 27687 0 0 0 0 440 23 16 0 1 0 310566046 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10437/statm: 1339 239 197 169 0 50 0
[pid=10443] ppid=10437 vsize=13600 CPUtime=8.03
/proc/10443/stat : 10443 (minisat_static) R 10437 10437 10257 0 -1 4194304 3210 0 0 0 801 2 0 0 25 0 1 0 310566510 13926400 3196 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/10443/statm: 3400 3196 77 171 0 3227 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 18956
[startup+25.5017 s]
/proc/loadavg: 1.11 1.03 1.01 2/66 10443
/proc/meminfo: memFree=1759728/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=4.63
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 336 27687 0 0 0 0 440 23 16 0 1 0 310566046 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10437/statm: 1339 239 197 169 0 50 0
[pid=10443] ppid=10437 vsize=19080 CPUtime=20.83
/proc/10443/stat : 10443 (minisat_static) R 10437 10437 10257 0 -1 4194304 4549 0 0 0 2079 4 0 0 25 0 1 0 310566510 19537920 4535 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10443/statm: 4770 4535 77 171 0 4597 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 24436
[startup+51.1016 s]
/proc/loadavg: 1.07 1.03 1.01 2/66 10443
/proc/meminfo: memFree=1752368/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=4.63
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 336 27687 0 0 0 0 440 23 16 0 1 0 310566046 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10437/statm: 1339 239 197 169 0 50 0
[pid=10443] ppid=10437 vsize=26560 CPUtime=46.4
/proc/10443/stat : 10443 (minisat_static) R 10437 10437 10257 0 -1 4194304 6410 0 0 0 4634 6 0 0 25 0 1 0 310566510 27197440 6396 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 1 0 0
/proc/10443/statm: 6640 6396 77 171 0 6467 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 31916
[startup+102.305 s]
/proc/loadavg: 1.03 1.02 1.00 2/66 10443
/proc/meminfo: memFree=1741168/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=4.63
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 336 27687 0 0 0 0 440 23 16 0 1 0 310566046 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10437/statm: 1339 239 197 169 0 50 0
[pid=10443] ppid=10437 vsize=37564 CPUtime=97.58
/proc/10443/stat : 10443 (minisat_static) R 10437 10437 10257 0 -1 4194304 9160 0 0 0 9749 9 0 0 25 0 1 0 310566510 38465536 9146 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/10443/statm: 9391 9146 77 171 0 9218 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 42920
[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 10443
/proc/meminfo: memFree=1730736/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=4.63
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 336 27687 0 0 0 0 440 23 16 0 1 0 310566046 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10437/statm: 1339 239 197 169 0 50 0
[pid=10443] ppid=10437 vsize=48256 CPUtime=157.55
/proc/10443/stat : 10443 (minisat_static) R 10437 10437 10257 0 -1 4194304 11765 0 0 0 15744 11 0 0 25 0 1 0 310566510 49414144 11751 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10443/statm: 12064 11751 77 171 0 11891 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 53612
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 10443
/proc/meminfo: memFree=1724400/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=4.63
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 336 27687 0 0 0 0 440 23 16 0 1 0 310566046 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10437/statm: 1339 239 197 169 0 50 0
[pid=10443] ppid=10437 vsize=54432 CPUtime=217.53
/proc/10443/stat : 10443 (minisat_static) R 10437 10437 10257 0 -1 4194304 13337 0 0 0 21740 13 0 0 25 0 1 0 310566510 55738368 13323 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10443/statm: 13608 13323 77 171 0 13435 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 59788
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10443
/proc/meminfo: memFree=1718384/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=4.63
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 336 27687 0 0 0 0 440 23 16 0 1 0 310566046 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10437/statm: 1339 239 197 169 0 50 0
[pid=10443] ppid=10437 vsize=60316 CPUtime=277.51
/proc/10443/stat : 10443 (minisat_static) R 10437 10437 10257 0 -1 4194304 14831 0 0 0 27737 14 0 0 25 0 1 0 310566510 61763584 14817 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/10443/statm: 15079 14817 77 171 0 14906 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 65672
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10443
/proc/meminfo: memFree=1716856/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=4.63
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 336 27687 0 0 0 0 440 23 16 0 1 0 310566046 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10437/statm: 1339 239 197 169 0 50 0
[pid=10443] ppid=10437 vsize=61812 CPUtime=337.49
/proc/10443/stat : 10443 (minisat_static) R 10437 10437 10257 0 -1 4194304 15211 0 0 0 33734 15 0 0 25 0 1 0 310566510 63295488 15197 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/10443/statm: 15453 15197 77 171 0 15280 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 67168
Solver just ended. Dumping a history of the last processes samples
[startup+345.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10443
/proc/meminfo: memFree=1716792/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=4.63
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 336 27687 0 0 0 0 440 23 16 0 1 0 310566046 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10437/statm: 1339 239 197 169 0 50 0
[pid=10443] ppid=10437 vsize=61960 CPUtime=340.69
/proc/10443/stat : 10443 (minisat_static) R 10437 10437 10257 0 -1 4194304 15218 0 0 0 34054 15 0 0 25 0 1 0 310566510 63447040 15204 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10443/statm: 15490 15204 77 171 0 15317 0
Current children cumulated CPU time (s) 345.32
Current children cumulated vsize (KiB) 67316
[startup+358.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10443
/proc/meminfo: memFree=1716792/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=4.63
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 336 27687 0 0 0 0 440 23 16 0 1 0 310566046 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10437/statm: 1339 239 197 169 0 50 0
[pid=10443] ppid=10437 vsize=61960 CPUtime=353.49
/proc/10443/stat : 10443 (minisat_static) R 10437 10437 10257 0 -1 4194304 15224 0 0 0 35334 15 0 0 25 0 1 0 310566510 63447040 15210 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10443/statm: 15490 15210 77 171 0 15317 0
Current children cumulated CPU time (s) 358.12
Current children cumulated vsize (KiB) 67316
[startup+361.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10443
/proc/meminfo: memFree=1716792/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=4.63
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 336 27687 0 0 0 0 440 23 16 0 1 0 310566046 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10437/statm: 1339 239 197 169 0 50 0
[pid=10443] ppid=10437 vsize=61960 CPUtime=356.68
/proc/10443/stat : 10443 (minisat_static) R 10437 10437 10257 0 -1 4194304 15224 0 0 0 35653 15 0 0 25 0 1 0 310566510 63447040 15210 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10443/statm: 15490 15210 77 171 0 15317 0
Current children cumulated CPU time (s) 361.31
Current children cumulated vsize (KiB) 67316
[startup+364.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10443
/proc/meminfo: memFree=1716536/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=4.63
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 336 27687 0 0 0 0 440 23 16 0 1 0 310566046 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10437/statm: 1339 239 197 169 0 50 0
[pid=10443] ppid=10437 vsize=62224 CPUtime=359.88
/proc/10443/stat : 10443 (minisat_static) R 10437 10437 10257 0 -1 4194304 15316 0 0 0 35973 15 0 0 25 0 1 0 310566510 63717376 15302 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/10443/statm: 15556 15302 77 171 0 15383 0
Current children cumulated CPU time (s) 364.51
Current children cumulated vsize (KiB) 67580
[startup+365.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10443
/proc/meminfo: memFree=1716344/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=4.63
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 336 27687 0 0 0 0 440 23 16 0 1 0 310566046 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10437/statm: 1339 239 197 169 0 50 0
[pid=10443] ppid=10437 vsize=62356 CPUtime=360.68
/proc/10443/stat : 10443 (minisat_static) R 10437 10437 10257 0 -1 4194304 15341 0 0 0 36053 15 0 0 25 0 1 0 310566510 63852544 15327 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10443/statm: 15589 15327 77 171 0 15416 0
Current children cumulated CPU time (s) 365.31
Current children cumulated vsize (KiB) 67712
[startup+366.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10443
/proc/meminfo: memFree=1716216/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=4.63
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 336 27687 0 0 0 0 440 23 16 0 1 0 310566046 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10437/statm: 1339 239 197 169 0 50 0
[pid=10443] ppid=10437 vsize=62492 CPUtime=361.48
/proc/10443/stat : 10443 (minisat_static) R 10437 10437 10257 0 -1 4194304 15357 0 0 0 36133 15 0 0 25 0 1 0 310566510 63991808 15343 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10443/statm: 15623 15343 77 171 0 15450 0
Current children cumulated CPU time (s) 366.11
Current children cumulated vsize (KiB) 67848
[startup+366.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10443
/proc/meminfo: memFree=1716216/2055920 swapFree=4180072/4192956
[pid=10437] ppid=10435 vsize=5356 CPUtime=4.63
/proc/10437/stat : 10437 (SatELiteGTI) S 10435 10437 10257 0 -1 4194304 336 27687 0 0 0 0 440 23 16 0 1 0 310566046 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10437/statm: 1339 239 197 169 0 50 0
[pid=10443] ppid=10437 vsize=62492 CPUtime=361.68
/proc/10443/stat : 10443 (minisat_static) R 10437 10437 10257 0 -1 4194304 15358 0 0 0 36153 15 0 0 25 0 1 0 310566510 63991808 15344 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10443/statm: 15623 15344 77 171 0 15450 0
Current children cumulated CPU time (s) 366.31
Current children cumulated vsize (KiB) 67848
Child status: 20
Real time (s): 366.562
CPU time (s): 366.393
CPU user time (s): 365.982
CPU system time (s): 0.410937
CPU usage (%): 99.954
Max. virtual memory (cumulated for all children) (KiB): 87032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 365.982
system time used= 0.410937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43543
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= 47
involuntary context switches= 1953
runsolver used 0.409937 second user time and 0.994848 second system time
The end
Begin job on node23 at 2009-05-20 15:15:25
IDJOB=1833823
IDBENCH=70952
IDSOLVER=671
FILE ID=node23/1833823-1242825325
PBS_JOBID= 9322539
Free space on /tmp= 66440 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833823-1242825325/watcher-1833823-1242825325 -o /tmp/evaluation-result-1833823-1242825325/solver-1833823-1242825325 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833823-1242825325.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a61ef2b7b3d16661e8162c430ffb1a51
RANDOM SEED=1512150439
node23.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.238
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.238
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: 1792992 kB
Buffers: 54752 kB
Cached: 138388 kB
SwapCached: 7120 kB
Active: 61164 kB
Inactive: 140816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1792992 kB
SwapTotal: 4192956 kB
SwapFree: 4180072 kB
Dirty: 8544 kB
Writeback: 0 kB
Mapped: 14064 kB
Slab: 47016 kB
Committed_AS: 1034184 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66440 MiB
End job on node23 at 2009-05-20 15:21:32