0.00/0.00 c Parsing...
0.00/0.43 c ==============================================================================
0.00/0.43 c | | ORIGINAL | LEARNT | |
0.00/0.43 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.43 c ==============================================================================
0.00/0.43 c | 0 | 102364 423480 | 30709 0 0 nan | 0.000 % |
0.00/0.85 c | 0 | 49212 241559 | -- 0 -- -- | -- | -11878/-9995
0.00/0.85 c ==============================================================================
0.00/0.85 c Result : #vars: 967 #clauses: 49212 #literals: 241559
0.00/0.85 c CPU time: 0.792879 s
0.00/0.85 c ==============================================================================
0.00/0.93 c This is MiniSat 2.0 beta
0.00/0.93 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.93 c ============================[ Problem Statistics ]=============================
0.00/0.93 c | |
0.00/0.93 c | Number of variables: 967 |
0.00/0.93 c | Number of clauses: 49212 |
0.00/0.96 c | Parsing time: 0.03 s |
0.00/0.96 c ============================[ Search Statistics ]==============================
0.00/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.96 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.96 c ===============================================================================
0.00/0.96 c | 0 | 967 49212 241559 | 16404 0 nan | 0.000 % |
0.00/0.98 c | 100 | 966 49212 241559 | 16404 99 15 | 0.104 % |
0.00/0.98 c | 201 | 966 49212 241559 | 16404 200 22 | 0.104 % |
0.00/0.99 c | 302 | 965 49212 241559 | 16404 300 19 | 0.207 % |
0.97/1.00 c | 414 | 965 49212 241559 | 16404 412 21 | 0.207 % |
0.97/1.01 c | 516 | 965 49212 241559 | 16404 514 22 | 0.207 % |
0.97/1.02 c | 626 | 964 49212 241559 | 16404 623 21 | 0.310 % |
0.97/1.03 c | 747 | 963 49212 241559 | 16404 743 20 | 0.414 % |
0.97/1.04 c | 848 | 963 49212 241559 | 16404 844 21 | 0.414 % |
0.97/1.04 c | 959 | 963 49212 241559 | 16404 955 20 | 0.414 % |
0.97/1.05 c | 1080 | 961 49212 241559 | 16404 1074 20 | 0.621 % |
0.97/1.07 c | 1214 | 961 49212 241559 | 16404 1208 20 | 0.621 % |
0.97/1.07 c | 1314 | 961 49212 241559 | 16404 1308 19 | 0.621 % |
0.97/1.08 c | 1425 | 961 49212 241559 | 16404 1419 20 | 0.621 % |
0.97/1.09 c | 1546 | 961 49212 241559 | 16404 1540 19 | 0.621 % |
0.97/1.10 c | 1679 | 961 49212 241559 | 16404 1673 20 | 0.621 % |
1.07/1.11 c | 1825 | 961 49212 241559 | 16404 1819 20 | 0.621 % |
1.07/1.12 c | 1928 | 961 49212 241559 | 16404 1922 20 | 0.621 % |
1.07/1.12 c | 2039 | 961 49212 241559 | 16404 2033 20 | 0.621 % |
1.07/1.14 c | 2160 | 961 49212 241559 | 16404 2154 20 | 0.621 % |
1.07/1.15 c | 2293 | 961 49212 241559 | 16404 2287 21 | 0.621 % |
1.07/1.16 c | 2439 | 961 49212 241559 | 16404 2433 22 | 0.621 % |
1.07/1.18 c | 2599 | 961 49212 241559 | 16404 2593 22 | 0.621 % |
1.07/1.19 c | 2700 | 961 49212 241559 | 16404 2694 22 | 0.621 % |
1.16/1.20 c | 2810 | 960 49212 241559 | 16404 2803 22 | 0.724 % |
1.16/1.21 c | 2932 | 960 49212 241559 | 16404 2925 22 | 0.724 % |
1.16/1.23 c | 3065 | 960 49212 241559 | 16404 3058 22 | 0.724 % |
1.16/1.24 c | 3212 | 960 49212 241559 | 16404 3205 22 | 0.724 % |
1.16/1.25 c | 3374 | 960 49212 241559 | 16404 3367 22 | 0.724 % |
1.16/1.26 c | 3552 | 959 49212 241559 | 16404 3544 22 | 0.827 % |
1.16/1.27 c | 3652 | 959 49212 241559 | 16404 3644 22 | 0.827 % |
1.16/1.28 c | 3762 | 959 49212 241559 | 16404 3754 22 | 0.827 % |
1.16/1.29 c | 3884 | 959 49212 241559 | 16404 3876 22 | 0.828 % |
1.26/1.30 c | 4017 | 959 49212 241559 | 16404 4009 22 | 0.828 % |
1.26/1.31 c | 4163 | 958 49212 241559 | 16404 4154 22 | 0.931 % |
1.26/1.32 c | 4323 | 958 49212 241559 | 16404 4314 22 | 0.931 % |
1.26/1.33 c | 4500 | 958 49212 241559 | 16404 4491 22 | 0.931 % |
1.26/1.35 c | 4693 | 958 49212 241559 | 16404 4684 22 | 0.931 % |
1.26/1.36 c | 4793 | 958 49212 241559 | 16404 4784 22 | 0.931 % |
1.26/1.37 c | 4903 | 958 49212 241559 | 16404 4894 22 | 0.931 % |
1.26/1.37 c | 5024 | 958 49212 241559 | 16404 5015 22 | 0.932 % |
1.26/1.39 c | 5160 | 957 49212 241559 | 16404 5150 22 | 1.034 % |
1.26/1.40 c | 5307 | 957 49212 241559 | 16404 5297 22 | 1.034 % |
1.36/1.41 c | 5468 | 956 49212 241559 | 16404 5457 22 | 1.138 % |
1.36/1.43 c | 5644 | 955 49212 241559 | 16404 5632 22 | 1.241 % |
1.36/1.45 c | 5839 | 954 45531 223989 | 16404 5812 22 | 1.344 % |
1.36/1.47 c | 6051 | 954 45531 223989 | 16404 6024 22 | 1.345 % |
1.36/1.49 c | 6154 | 954 45531 223989 | 16404 6127 22 | 1.345 % |
1.46/1.50 c | 6264 | 954 45531 223989 | 16404 6237 22 | 1.344 % |
1.46/1.51 c | 6387 | 954 45531 223989 | 16404 6360 22 | 1.344 % |
1.46/1.52 c | 6521 | 954 45531 223989 | 16404 6494 22 | 1.345 % |
1.46/1.54 c | 6668 | 952 45531 223989 | 16404 6638 22 | 1.655 % |
1.46/1.55 c | 6829 | 952 45531 223989 | 16404 6799 22 | 1.655 % |
1.46/1.57 c | 7006 | 952 45531 223989 | 16404 6976 22 | 1.655 % |
1.46/1.59 c | 7199 | 952 45531 223989 | 16404 7169 22 | 1.655 % |
1.56/1.61 c | 7411 | 952 45531 223989 | 16404 7381 22 | 1.655 % |
1.56/1.62 c | 7644 | 952 45531 223989 | 16404 7614 22 | 1.655 % |
1.56/1.63 c | 7745 | 952 45531 223989 | 16404 7715 22 | 1.655 % |
1.56/1.64 c | 7855 | 952 45531 223989 | 16404 7825 22 | 1.655 % |
1.56/1.65 c | 7978 | 952 45531 223989 | 16404 7948 22 | 1.655 % |
1.56/1.67 c | 8112 | 950 45531 223989 | 16404 8080 22 | 1.862 % |
1.56/1.68 c | 8258 | 950 45531 223989 | 16404 8226 22 | 1.862 % |
1.66/1.70 c | 8419 | 950 45531 223989 | 16404 8387 22 | 1.862 % |
1.66/1.72 c | 8595 | 950 45531 223989 | 16404 8563 23 | 1.862 % |
1.66/1.74 c | 8788 | 950 45531 223989 | 16404 8756 23 | 1.862 % |
1.66/1.76 c | 9001 | 950 45531 223989 | 16404 8969 23 | 1.862 % |
1.66/1.78 c | 9235 | 950 45531 223989 | 16404 9203 23 | 1.862 % |
1.76/1.80 c | 9491 | 950 45531 223989 | 16404 9459 23 | 1.862 % |
1.76/1.81 c | 9591 | 950 45531 223989 | 16404 9559 23 | 1.862 % |
1.76/1.83 c | 9701 | 950 45531 223989 | 16404 9669 23 | 1.862 % |
1.76/1.83 c | 9823 | 950 45531 223989 | 16404 9791 23 | 1.862 % |
1.76/1.85 c | 9956 | 950 45531 223989 | 16404 9924 23 | 1.862 % |
1.76/1.86 c | 10102 | 950 45531 223989 | 2147483647 10070 23 | 1.862 % |
1.76/1.88 c | 10263 | 950 45531 223989 | 2147483647 10231 23 | 1.862 % |
1.86/1.90 c | 10441 | 950 45531 223989 | 2147483647 10409 23 | 1.862 % |
1.86/1.92 c | 10636 | 950 45531 223989 | 2147483647 10604 24 | 1.862 % |
1.86/1.95 c | 10848 | 950 45531 223989 | 2147483647 10816 24 | 1.863 % |
1.86/1.98 c | 11081 | 950 45531 223989 | 2147483647 11049 24 | 1.862 % |
1.96/2.00 c | 11338 | 950 45531 223989 | 2147483647 11306 24 | 1.862 % |
1.96/2.04 c | 11619 | 950 45531 223989 | 2147483647 11586 24 | 1.965 % |
1.96/2.05 c | 11720 | 950 45531 223989 | 2147483647 11687 24 | 1.965 % |
1.96/2.06 c | 11830 | 950 45531 223989 | 2147483647 11797 24 | 1.965 % |
1.96/2.07 c | 11951 | 950 45531 223989 | 2147483647 11918 24 | 1.965 % |
1.96/2.09 c | 12084 | 950 45531 223989 | 2147483647 12051 24 | 1.965 % |
2.07/2.10 c | 12233 | 950 45531 223989 | 2147483647 12200 25 | 1.965 % |
2.07/2.12 c | 12395 | 950 45531 223989 | 2147483647 12362 25 | 1.965 % |
2.07/2.14 c | 12571 | 950 45531 223989 | 2147483647 12538 25 | 1.965 % |
2.07/2.16 c | 12766 | 950 45531 223989 | 2147483647 12733 25 | 1.965 % |
2.07/2.18 c | 12978 | 950 45531 223989 | 2147483647 12945 25 | 1.965 % |
2.17/2.20 c | 13213 | 950 45531 223989 | 2147483647 13180 25 | 1.966 % |
2.17/2.24 c | 13470 | 950 45531 223989 | 2147483647 13437 25 | 1.965 % |
2.17/2.28 c | 13751 | 948 44195 217480 | 2147483647 13699 25 | 1.965 % |
2.27/2.31 c | 14064 | 948 44195 217480 | 2147483647 14012 25 | 1.965 % |
2.27/2.33 c | 14166 | 948 44195 217480 | 2147483647 14114 25 | 1.965 % |
2.27/2.35 c | 14276 | 948 44195 217480 | 2147483647 14224 25 | 1.965 % |
2.27/2.36 c | 14397 | 948 44195 217480 | 2147483647 14345 25 | 1.965 % |
2.27/2.38 c | 14531 | 948 44195 217480 | 2147483647 14479 25 | 1.965 % |
2.37/2.40 c | 14677 | 948 44195 217480 | 2147483647 14625 25 | 1.965 % |
2.37/2.42 c | 14838 | 948 44195 217480 | 2147483647 14786 25 | 1.965 % |
2.37/2.45 c | 15015 | 948 44195 217480 | 2147483647 14963 25 | 1.965 % |
2.37/2.47 c | 15210 | 948 44195 217480 | 2147483647 15158 25 | 1.965 % |
2.37/2.50 c | 15424 | 948 44195 217480 | 2147483647 15372 25 | 1.965 % |
2.47/2.53 c | 15659 | 948 44195 217480 | 2147483647 15607 25 | 1.965 % |
2.47/2.57 c | 15916 | 948 44195 217480 | 2147483647 15864 25 | 1.965 % |
2.57/2.61 c | 16197 | 948 44195 217480 | 2147483647 16144 25 | 2.069 % |
2.57/2.64 c | 16509 | 948 44195 217480 | 2147483647 16456 25 | 2.069 % |
2.57/2.69 c | 16848 | 948 44195 217480 | 2147483647 16795 25 | 2.068 % |
2.67/2.70 c | 16949 | 948 44195 217480 | 2147483647 16896 25 | 2.069 % |
2.67/2.72 c | 17060 | 948 44195 217480 | 2147483647 17007 25 | 2.068 % |
2.67/2.74 c | 17182 | 948 44195 217480 | 2147483647 17129 25 | 2.068 % |
2.67/2.76 c | 17316 | 948 44195 217480 | 2147483647 17263 25 | 2.069 % |
2.67/2.79 c | 17464 | 948 44195 217480 | 2147483647 17411 25 | 2.069 % |
2.77/2.82 c | 17625 | 948 44195 217480 | 2147483647 17572 25 | 2.069 % |
2.77/2.85 c | 17802 | 948 44195 217480 | 2147483647 17749 25 | 2.068 % |
2.77/2.88 c | 17995 | 948 44195 217480 | 2147483647 17942 25 | 2.068 % |
2.87/2.92 c | 18207 | 948 44195 217480 | 2147483647 18154 25 | 2.068 % |
2.87/2.96 c | 18440 | 948 44195 217480 | 2147483647 18387 25 | 2.068 % |
2.87/2.99 c | 18696 | 948 44195 217480 | 2147483647 18643 25 | 2.070 % |
2.97/3.04 c | 18977 | 948 44195 217480 | 2147483647 18924 25 | 2.068 % |
2.97/3.08 c | 19286 | 948 44195 217480 | 2147483647 19233 25 | 2.068 % |
3.07/3.11 c | 19625 | 948 44195 217480 | 2147483647 19572 25 | 2.073 % |
3.07/3.18 c | 19998 | 948 44195 217480 | 2147483647 19945 26 | 2.068 % |
3.17/3.20 c | 20098 | 948 44195 217480 | 2147483647 20045 26 | 2.068 % |
3.17/3.22 c | 20209 | 948 44195 217480 | 2147483647 20156 26 | 2.069 % |
3.17/3.24 c | 20331 | 948 44195 217480 | 2147483647 20278 26 | 2.069 % |
3.17/3.26 c | 20464 | 948 44195 217480 | 2147483647 20411 26 | 2.069 % |
3.17/3.30 c | 20612 | 948 44195 217480 | 2147483647 20559 26 | 2.068 % |
3.27/3.32 c | 20773 | 948 44195 217480 | 2147483647 20720 26 | 2.069 % |
3.27/3.35 c | 20949 | 948 44195 217480 | 2147483647 20896 26 | 2.069 % |
3.36/3.40 c | 21144 | 948 44195 217480 | 2147483647 21091 26 | 2.068 % |
3.36/3.44 c | 21357 | 948 44195 217480 | 2147483647 21304 26 | 2.068 % |
3.36/3.48 c | 21592 | 948 44195 217480 | 2147483647 21539 26 | 2.070 % |
3.46/3.53 c | 21848 | 948 44195 217480 | 2147483647 21795 26 | 2.069 % |
3.46/3.59 c | 22129 | 948 44195 217480 | 2147483647 22076 26 | 2.068 % |
3.56/3.63 c | 22439 | 948 44195 217480 | 2147483647 22386 26 | 2.068 % |
3.66/3.70 c | 22779 | 948 44195 217480 | 2147483647 22726 26 | 2.070 % |
3.66/3.79 c | 23151 | 948 44195 217480 | 2147483647 23098 26 | 2.070 % |
3.76/3.86 c | 23561 | 948 44195 217480 | 2147483647 23508 26 | 2.070 % |
3.76/3.88 c | 23661 | 948 44195 217480 | 2147483647 23608 26 | 2.069 % |
3.86/3.91 c | 23771 | 947 44145 217220 | 2147483647 23718 26 | 2.068 % |
3.86/3.93 c | 23893 | 947 44145 217220 | 2147483647 23840 26 | 2.068 % |
3.86/3.96 c | 24026 | 947 44145 217220 | 2147483647 23973 26 | 2.068 % |
3.86/3.99 c | 24174 | 947 44145 217220 | 2147483647 24121 26 | 2.069 % |
3.96/4.03 c | 24334 | 947 44145 217220 | 2147483647 24281 26 | 2.069 % |
3.96/4.06 c | 24510 | 947 44145 217220 | 2147483647 24457 26 | 2.069 % |
4.06/4.11 c | 24705 | 947 44145 217220 | 2147483647 24651 26 | 2.173 % |
4.06/4.14 c | 24919 | 947 44145 217220 | 2147483647 24865 26 | 2.172 % |
4.16/4.21 c | 25152 | 947 44145 217220 | 2147483647 25098 26 | 2.172 % |
4.16/4.27 c | 25408 | 947 44145 217220 | 2147483647 25354 26 | 2.172 % |
4.27/4.33 c | 25689 | 946 44145 217220 | 2147483647 25634 26 | 2.275 % |
4.27/4.39 c | 25998 | 946 44145 217220 | 2147483647 25943 26 | 2.275 % |
4.37/4.45 c | 26337 | 945 44145 217220 | 2147483647 26281 26 | 2.379 % |
4.46/4.53 c | 26711 | 945 44145 217220 | 2147483647 26655 26 | 2.379 % |
4.56/4.61 c | 27124 | 945 44145 217220 | 2147483647 27068 26 | 2.379 % |
4.66/4.72 c | 27573 | 945 44145 217220 | 2147483647 27517 26 | 2.379 % |
4.66/4.75 c | 27673 | 945 44145 217220 | 2147483647 27617 26 | 2.379 % |
4.66/4.77 c | 27784 | 945 44145 217220 | 2147483647 27728 26 | 2.380 % |
4.66/4.80 c | 27905 | 945 44145 217220 | 2147483647 27849 26 | 2.379 % |
4.76/4.83 c | 28039 | 945 44145 217220 | 2147483647 27983 26 | 2.379 % |
4.76/4.87 c | 28185 | 945 44145 217220 | 2147483647 28129 26 | 2.379 % |
4.76/4.89 c | 28346 | 945 44145 217220 | 2147483647 28290 26 | 2.379 % |
4.86/4.93 c | 28523 | 945 44145 217220 | 2147483647 28467 26 | 2.379 % |
4.86/4.98 c | 28717 | 945 44145 217220 | 2147483647 28661 26 | 2.379 % |
4.96/5.02 c | 28929 | 945 44145 217220 | 2147483647 28873 26 | 2.379 % |
4.96/5.06 c | 29163 | 945 44145 217220 | 2147483647 29107 26 | 2.379 % |
5.06/5.11 c | 29421 | 945 44145 217220 | 2147483647 29365 26 | 2.379 % |
5.06/5.16 c | 29703 | 945 44145 217220 | 2147483647 29647 26 | 2.379 % |
5.16/5.21 c | 30012 | 945 44145 217220 | 2147483647 29956 26 | 2.379 % |
5.16/5.29 c | 30352 | 945 44145 217220 | 2147483647 30296 26 | 2.379 % |
5.26/5.38 c | 30724 | 945 44145 217220 | 2147483647 30668 26 | 2.379 % |
5.37/5.48 c | 31133 | 945 44145 217220 | 2147483647 31077 26 | 2.380 % |
5.47/5.58 c | 31586 | 945 44145 217220 | 2147483647 31530 26 | 2.379 % |
5.66/5.71 c | 32079 | 945 44145 217220 | 2147483647 32023 26 | 2.379 % |
5.66/5.74 c | 32180 | 945 44145 217220 | 2147483647 32124 26 | 2.379 % |
5.66/5.77 c | 32292 | 945 44145 217220 | 2147483647 32236 27 | 2.379 % |
5.76/5.80 c | 32413 | 945 44145 217220 | 2147483647 32357 27 | 2.379 % |
5.76/5.84 c | 32546 | 945 44145 217220 | 2147483647 32490 27 | 2.379 % |
5.76/5.89 c | 32694 | 945 44145 217220 | 2147483647 32638 26 | 2.379 % |
5.86/5.94 c | 32856 | 945 44145 217220 | 2147483647 32800 26 | 2.380 % |
5.86/5.98 c | 33032 | 945 44145 217220 | 2147483647 32976 27 | 2.380 % |
5.96/6.03 c | 33225 | 945 44145 217220 | 2147483647 33169 27 | 2.379 % |
5.96/6.07 c | 33438 | 945 44145 217220 | 2147483647 33382 27 | 2.379 % |
6.06/6.13 c | 33672 | 945 44145 217220 | 2147483647 33616 27 | 2.379 % |
6.06/6.19 c | 33929 | 945 44145 217220 | 2147483647 33873 27 | 2.379 % |
6.16/6.26 c | 34211 | 945 44145 217220 | 2147483647 34155 27 | 2.379 % |
6.26/6.35 c | 34524 | 945 44145 217220 | 2147483647 34467 27 | 2.482 % |
6.36/6.45 c | 34866 | 945 44145 217220 | 2147483647 34809 27 | 2.482 % |
6.46/6.55 c | 35238 | 945 44145 217220 | 2147483647 35181 27 | 2.483 % |
6.56/6.63 c | 35647 | 945 44145 217220 | 2147483647 35590 26 | 2.482 % |
6.66/6.73 c | 36098 | 945 44145 217220 | 2147483647 36041 27 | 2.482 % |
6.86/6.92 c | 36591 | 945 44145 217220 | 2147483647 36534 27 | 2.482 % |
6.96/7.05 c | 37133 | 945 44145 217220 | 2147483647 37076 27 | 2.482 % |
6.96/7.08 c | 37233 | 945 44145 217220 | 2147483647 37176 27 | 2.482 % |
7.06/7.11 c | 37344 | 945 44145 217220 | 2147483647 37287 27 | 2.483 % |
7.06/7.14 c | 37467 | 945 44145 217220 | 2147483647 37410 27 | 2.482 % |
7.06/7.19 c | 37600 | 945 44145 217220 | 2147483647 37543 26 | 2.482 % |
7.16/7.23 c | 37746 | 945 44145 217220 | 2147483647 37689 26 | 2.482 % |
7.16/7.28 c | 37906 | 945 44145 217220 | 2147483647 37849 26 | 2.482 % |
7.26/7.35 c | 38083 | 945 44145 217220 | 2147483647 38026 26 | 2.482 % |
7.36/7.40 c | 38276 | 945 44145 217220 | 2147483647 38219 26 | 2.483 % |
7.36/7.46 c | 38489 | 945 44145 217220 | 2147483647 38432 26 | 2.483 % |
7.46/7.52 c | 38724 | 945 44145 217220 | 2147483647 38667 27 | 2.482 % |
7.56/7.62 c | 38983 | 945 44145 217220 | 2147483647 38926 27 | 2.482 % |
7.66/7.71 c | 39265 | 943 43919 216448 | 2147483647 39204 27 | 2.482 % |
7.66/7.79 c | 39574 | 943 43919 216448 | 2147483647 39513 27 | 2.483 % |
7.76/7.89 c | 39913 | 943 43919 216448 | 2147483647 39852 27 | 2.482 % |
7.86/7.99 c | 40285 | 943 43919 216448 | 2147483647 40224 27 | 2.482 % |
8.06/8.12 c | 40694 | 943 43919 216448 | 2147483647 40633 27 | 2.482 % |
8.16/8.30 c | 41144 | 943 43919 216448 | 2147483647 41083 27 | 2.483 % |
8.26/8.37 c | 41637 | 943 43919 216448 | 2147483647 41576 27 | 2.483 % |
8.36/8.49 c | 42180 | 943 43919 216448 | 2147483647 42119 27 | 2.482 % |
8.56/8.61 c | 42777 | 943 43919 216448 | 2147483647 42716 27 | 2.482 % |
8.56/8.65 c | 42879 | 943 43919 216448 | 2147483647 42818 27 | 2.482 % |
8.56/8.67 c | 42989 | 943 43919 216448 | 2147483647 42928 27 | 2.482 % |
8.66/8.73 c | 43110 | 943 43919 216448 | 2147483647 43048 27 | 2.586 % |
8.66/8.77 c | 43244 | 943 43919 216448 | 2147483647 43182 27 | 2.585 % |
8.76/8.81 c | 43390 | 943 43919 216448 | 2147483647 43328 27 | 2.585 % |
8.76/8.86 c | 43551 | 943 43919 216448 | 2147483647 43489 27 | 2.585 % |
8.87/8.92 c | 43729 | 943 43919 216448 | 2147483647 43667 27 | 2.586 % |
8.87/8.98 c | 43922 | 943 43919 216448 | 2147483647 43860 27 | 2.586 % |
8.97/9.06 c | 44134 | 943 43919 216448 | 2147483647 44072 27 | 2.586 % |
9.07/9.16 c | 44369 | 943 43919 216448 | 2147483647 44307 27 | 2.585 % |
9.17/9.24 c | 44628 | 943 43919 216448 | 2147483647 44566 27 | 2.586 % |
9.27/9.34 c | 44910 | 943 43919 216448 | 2147483647 44848 27 | 2.586 % |
9.37/9.45 c | 45219 | 943 43919 216448 | 2147483647 45157 27 | 2.586 % |
9.47/9.56 c | 45561 | 943 43919 216448 | 2147483647 45498 27 | 2.689 % |
9.67/9.70 c | 45934 | 943 43919 216448 | 2147483647 45871 27 | 2.689 % |
9.77/9.87 c | 46345 | 943 43919 216448 | 2147483647 46282 27 | 2.689 % |
9.87/10.00 c | 46796 | 943 43919 216448 | 2147483647 46733 27 | 2.690 % |
10.07/10.15 c | 47290 | 943 43919 216448 | 2147483647 47227 27 | 2.689 % |
10.26/10.37 c | 47833 | 943 43919 216448 | 2147483647 47770 27 | 2.690 % |
10.56/10.60 c | 48430 | 943 43919 216448 | 2147483647 48367 27 | 2.689 % |
10.76/10.90 c | 49086 | 943 43919 216448 | 2147483647 49023 27 | 2.690 % |
10.86/10.95 c | 49186 | 943 43919 216448 | 2147483647 49123 27 | 2.689 % |
10.97/11.00 c | 49296 | 943 43919 216448 | 2147483647 49233 27 | 2.689 % |
10.97/11.07 c | 49417 | 943 43919 216448 | 2147483647 49354 27 | 2.690 % |
11.06/11.12 c | 49550 | 943 43919 216448 | 2147483647 49487 27 | 2.690 % |
11.16/11.21 c | 49696 | 943 43919 216448 | 2147483647 49633 27 | 2.690 % |
11.16/11.27 c | 49856 | 943 43919 216448 | 2147483647 49793 27 | 2.689 % |
11.26/11.33 c | 50032 | 943 43919 216448 | 2147483647 49969 27 | 2.689 % |
11.36/11.41 c | 50226 | 943 43919 216448 | 2147483647 50163 27 | 2.689 % |
11.36/11.48 c | 50439 | 943 43919 216448 | 2147483647 50376 27 | 2.689 % |
11.46/11.55 c | 50673 | 943 43919 216448 | 2147483647 50610 27 | 2.689 % |
11.56/11.63 c | 50930 | 943 43919 216448 | 2147483647 50867 27 | 2.689 % |
11.66/11.70 c | 51212 | 943 43919 216448 | 2147483647 51149 27 | 2.690 % |
11.66/11.78 c | 51521 | 943 43919 216448 | 2147483647 51458 27 | 2.689 % |
11.86/11.91 c | 51860 | 943 43919 216448 | 2147483647 51797 27 | 2.689 % |
11.96/12.03 c | 52232 | 943 43919 216448 | 2147483647 52169 28 | 2.689 % |
12.06/12.14 c | 52641 | 943 43919 216448 | 2147483647 52578 28 | 2.689 % |
12.26/12.31 c | 53090 | 943 43919 216448 | 2147483647 53027 28 | 2.689 % |
12.36/12.49 c | 53583 | 943 43919 216448 | 2147483647 53520 28 | 2.689 % |
12.66/12.74 c | 54126 | 943 43919 216448 | 2147483647 54063 28 | 2.689 % |
12.96/13.00 c | 54723 | 943 43919 216448 | 2147483647 54660 28 | 2.689 % |
13.16/13.24 c | 55379 | 943 43919 216448 | 2147483647 55316 28 | 2.691 % |
13.46/13.52 c | 56099 | 943 43919 216448 | 2147483647 56036 28 | 2.689 % |
13.46/13.57 c | 56201 | 943 43919 216448 | 2147483647 56138 28 | 2.689 % |
13.56/13.63 c | 56311 | 943 43919 216448 | 2147483647 56248 28 | 2.689 % |
13.56/13.67 c | 56432 | 943 43919 216448 | 2147483647 56369 28 | 2.689 % |
13.66/13.73 c | 56565 | 943 43919 216448 | 2147483647 56502 28 | 2.689 % |
13.76/13.83 c | 56711 | 943 43919 216448 | 2147483647 56648 28 | 2.690 % |
13.76/13.89 c | 56874 | 943 43919 216448 | 2147483647 56811 28 | 2.690 % |
13.86/13.97 c | 57050 | 943 43919 216448 | 2147483647 56987 28 | 2.689 % |
13.96/14.07 c | 57244 | 943 43919 216448 | 2147483647 57181 28 | 2.689 % |
14.06/14.14 c | 57456 | 943 43919 216448 | 2147483647 57393 28 | 2.689 % |
14.16/14.22 c | 57689 | 943 43919 216448 | 2147483647 57626 28 | 2.689 % |
14.26/14.34 c | 57946 | 943 43919 216448 | 2147483647 57883 28 | 2.689 % |
14.36/14.45 c | 58228 | 943 43919 216448 | 2147483647 58165 28 | 2.689 % |
14.46/14.57 c | 58538 | 943 43919 216448 | 2147483647 58475 28 | 2.689 % |
14.66/14.74 c | 58877 | 943 43919 216448 | 2147483647 58814 28 | 2.689 % |
14.86/14.91 c | 59250 | 943 43919 216448 | 2147483647 59187 28 | 2.689 % |
15.06/15.14 c | 59659 | 943 43919 216448 | 2147483647 59596 28 | 2.689 % |
15.26/15.34 c | 60109 | 943 43919 216448 | 2147483647 60046 28 | 2.689 % |
15.46/15.57 c | 60603 | 943 43919 216448 | 2147483647 60540 28 | 2.689 % |
15.75/15.86 c | 61146 | 943 43919 216448 | 2147483647 61083 28 | 2.689 % |
15.95/16.09 c | 61742 | 943 43919 216448 | 2147483647 61679 28 | 2.689 % |
16.36/16.44 c | 62398 | 943 43919 216448 | 2147483647 62335 28 | 2.689 % |
16.75/16.86 c | 63120 | 941 43819 215928 | 2147483647 63057 28 | 2.690 % |
17.15/17.28 c | 63913 | 941 43819 215928 | 2147483647 63850 28 | 2.690 % |
17.26/17.34 c | 64014 | 941 43819 215928 | 2147483647 63951 28 | 2.690 % |
17.36/17.43 c | 64124 | 941 43819 215928 | 2147483647 64061 28 | 2.689 % |
17.36/17.49 c | 64246 | 941 43819 215928 | 2147483647 64183 28 | 2.689 % |
17.46/17.59 c | 64379 | 941 43819 215928 | 2147483647 64316 28 | 2.690 % |
17.56/17.67 c | 64525 | 941 43819 215928 | 2147483647 64462 28 | 2.689 % |
17.66/17.80 c | 64685 | 941 43819 215928 | 2147483647 64622 28 | 2.689 % |
17.76/17.88 c | 64863 | 941 43819 215928 | 2147483647 64800 28 | 2.690 % |
17.86/17.99 c | 65058 | 941 43819 215928 | 2147483647 64995 28 | 2.690 % |
18.06/18.14 c | 65270 | 941 43819 215928 | 2147483647 65207 28 | 2.689 % |
18.16/18.22 c | 65503 | 941 43819 215928 | 2147483647 65440 28 | 2.690 % |
18.26/18.35 c | 65762 | 941 43819 215928 | 2147483647 65699 28 | 2.690 % |
18.36/18.47 c | 66043 | 941 43819 215928 | 2147483647 65980 28 | 2.690 % |
18.56/18.66 c | 66353 | 941 43819 215928 | 2147483647 66290 28 | 2.689 % |
18.76/18.85 c | 66693 | 941 43819 215928 | 2147483647 66630 28 | 2.689 % |
18.96/19.06 c | 67065 | 941 43819 215928 | 2147483647 67002 28 | 2.690 % |
19.16/19.27 c | 67474 | 941 43819 215928 | 2147483647 67411 28 | 2.689 % |
19.46/19.50 c | 67923 | 941 43819 215928 | 2147483647 67860 28 | 2.689 % |
19.76/19.81 c | 68416 | 941 43819 215928 | 2147483647 68353 28 | 2.689 % |
19.96/20.08 c | 68961 | 941 43819 215928 | 2147483647 68898 28 | 2.689 % |
20.26/20.40 c | 69558 | 941 43819 215928 | 2147483647 69495 28 | 2.689 % |
20.76/20.85 c | 70215 | 941 43819 215928 | 2147483647 70152 28 | 2.689 % |
21.16/21.27 c | 70935 | 941 43819 215928 | 2147483647 70872 28 | 2.689 % |
21.56/21.66 c | 71728 | 941 43819 215928 | 2147483647 71665 28 | 2.690 % |
22.06/22.12 c | 72602 | 941 43819 215928 | 2147483647 72539 28 | 2.689 % |
22.06/22.16 c | 72702 | 941 43819 215928 | 2147483647 72639 28 | 2.689 % |
22.16/22.23 c | 72814 | 941 43819 215928 | 2147483647 72751 28 | 2.689 % |
22.26/22.30 c | 72936 | 941 43819 215928 | 2147483647 72873 28 | 2.689 % |
22.26/22.39 c | 73069 | 941 43819 215928 | 2147483647 73006 28 | 2.690 % |
22.36/22.46 c | 73216 | 941 43819 215928 | 2147483647 73153 28 | 2.689 % |
22.46/22.53 c | 73376 | 941 43819 215928 | 2147483647 73313 29 | 2.689 % |
22.46/22.59 c | 73555 | 941 43819 215928 | 2147483647 73492 29 | 2.689 % |
22.65/22.70 c | 73749 | 941 43819 215928 | 2147483647 73686 29 | 2.689 % |
22.85/22.92 c | 73961 | 941 43819 215928 | 2147483647 73898 29 | 2.689 % |
23.06/23.12 c | 74194 | 941 43819 215928 | 2147483647 74131 29 | 2.689 % |
23.15/23.22 c | 74452 | 941 43819 215928 | 2147483647 74389 29 | 2.690 % |
23.35/23.42 c | 74734 | 941 43819 215928 | 2147483647 74671 29 | 2.689 % |
23.55/23.60 c | 75043 | 941 43819 215928 | 2147483647 74980 29 | 2.690 % |
23.75/23.88 c | 75383 | 941 43819 215928 | 2147483647 75320 29 | 2.690 % |
23.95/24.08 c | 75756 | 941 43819 215928 | 2147483647 75693 29 | 2.689 % |
24.16/24.28 c | 76165 | 941 43819 215928 | 2147483647 76102 29 | 2.689 % |
24.45/24.59 c | 76615 | 941 43819 215928 | 2147483647 76552 29 | 2.690 % |
24.75/24.85 c | 77111 | 941 43819 215928 | 2147483647 77048 29 | 2.690 % |
25.16/25.22 c | 77653 | 941 43819 215928 | 2147483647 77590 29 | 2.689 % |
25.55/25.61 c | 78251 | 941 43819 215928 | 2147483647 78188 29 | 2.690 % |
25.85/25.99 c | 78908 | 941 43819 215928 | 2147483647 78845 29 | 2.690 % |
26.45/26.56 c | 79628 | 941 43819 215928 | 2147483647 79565 29 | 2.690 % |
27.05/27.11 c | 80420 | 941 43819 215928 | 2147483647 80357 29 | 2.690 % |
27.55/27.60 c | 81292 | 941 43819 215928 | 2147483647 81229 29 | 2.690 % |
27.95/28.03 c | 82252 | 941 43819 215928 | 2147483647 82189 29 | 2.689 % |
28.05/28.10 c | 82352 | 941 43819 215928 | 2147483647 82289 29 | 2.689 % |
28.05/28.19 c | 82464 | 941 43819 215928 | 2147483647 82401 29 | 2.689 % |
28.14/28.27 c | 82586 | 941 43819 215928 | 2147483647 82523 29 | 2.690 % |
28.24/28.35 c | 82720 | 941 43819 215928 | 2147483647 82657 29 | 2.690 % |
28.34/28.47 c | 82866 | 941 43819 215928 | 2147483647 82803 29 | 2.689 % |
28.45/28.59 c | 83026 | 941 43819 215928 | 2147483647 82963 29 | 2.689 % |
28.64/28.75 c | 83205 | 941 43819 215928 | 2147483647 83142 29 | 2.690 % |
28.74/28.85 c | 83399 | 941 43819 215928 | 2147483647 83336 29 | 2.689 % |
28.84/28.99 c | 83612 | 941 43819 215928 | 2147483647 83549 29 | 2.689 % |
29.04/29.19 c | 83845 | 941 43819 215928 | 2147483647 83782 29 | 2.689 % |
29.24/29.37 c | 84101 | 941 43819 215928 | 2147483647 84038 29 | 2.689 % |
29.44/29.51 c | 84382 | 941 43819 215928 | 2147483647 84319 29 | 2.689 % |
29.55/29.67 c | 84691 | 941 43819 215928 | 2147483647 84628 29 | 2.689 % |
29.84/29.92 c | 85030 | 941 43819 215928 | 2147483647 84967 29 | 2.690 % |
30.14/30.25 c | 85402 | 941 43819 215928 | 2147483647 85339 29 | 2.689 % |
30.45/30.58 c | 85812 | 941 43819 215928 | 2147483647 85749 29 | 2.689 % |
30.75/30.90 c | 86261 | 941 43819 215928 | 2147483647 86198 29 | 2.690 % |
31.05/31.14 c | 86755 | 941 43819 215928 | 2147483647 86692 29 | 2.689 % |
31.45/31.53 c | 87297 | 941 43819 215928 | 2147483647 87234 29 | 2.689 % |
31.95/32.05 c | 87894 | 941 43819 215928 | 2147483647 87831 29 | 2.689 % |
32.34/32.48 c | 88549 | 941 43819 215928 | 2147483647 88486 29 | 2.690 % |
32.95/33.02 c | 89270 | 941 43819 215928 | 2147483647 89207 29 | 2.690 % |
33.34/33.48 c | 90062 | 941 43819 215928 | 2147483647 89999 29 | 2.690 % |
33.84/33.91 c | 90935 | 941 43819 215928 | 2147483647 90872 29 | 2.689 % |
34.14/34.28 c | 91893 | 941 43819 215928 | 2147483647 91830 29 | 2.690 % |
34.74/34.82 c | 92948 | 941 43819 215928 | 2147483647 92885 29 | 2.689 % |
34.84/34.91 c | 93049 | 941 43819 215928 | 2147483647 92986 29 | 2.690 % |
34.94/35.03 c | 93159 | 941 43819 215928 | 2147483647 93096 29 | 2.689 % |
35.04/35.15 c | 93280 | 941 43819 215928 | 2147483647 93217 29 | 2.690 % |
35.24/35.31 c | 93415 | 941 43819 215928 | 2147483647 93352 29 | 2.690 % |
35.24/35.39 c | 93564 | 941 43819 215928 | 2147483647 93501 29 | 2.689 % |
35.44/35.56 c | 93725 | 941 43819 215928 | 2147483647 93662 29 | 2.689 % |
35.64/35.71 c | 93901 | 941 43819 215928 | 2147483647 93838 29 | 2.689 % |
35.74/35.87 c | 94094 | 941 43819 215928 | 2147483647 94031 29 | 2.690 % |
35.83/35.99 c | 94307 | 941 43819 215928 | 2147483647 94244 29 | 2.689 % |
36.03/36.16 c | 94543 | 941 43819 215928 | 2147483647 94480 29 | 2.691 % |
36.33/36.43 c | 94801 | 941 43819 215928 | 2147483647 94738 29 | 2.689 % |
36.53/36.65 c | 95083 | 941 43819 215928 | 2147483647 95020 29 | 2.690 % |
36.73/36.87 c | 95392 | 941 43819 215928 | 2147483647 95329 29 | 2.689 % |
37.13/37.21 c | 95731 | 941 43819 215928 | 2147483647 95668 29 | 2.689 % |
37.43/37.53 c | 96103 | 941 43819 215928 | 2147483647 96040 29 | 2.689 % |
37.73/37.81 c | 96512 | 941 43819 215928 | 2147483647 96449 29 | 2.689 % |
38.04/38.18 c | 96961 | 941 43819 215928 | 2147483647 96898 29 | 2.689 % |
38.44/38.60 c | 97454 | 941 43819 215928 | 2147483647 97391 29 | 2.690 % |
38.94/39.03 c | 97996 | 941 43819 215928 | 2147483647 97933 29 | 2.690 % |
39.54/39.62 c | 98594 | 941 43819 215928 | 2147483647 98531 29 | 2.690 % |
39.94/40.09 c | 99251 | 941 43819 215928 | 2147483647 99188 29 | 2.689 % |
40.54/40.65 c | 99972 | 941 43819 215928 | 2147483647 99909 30 | 2.689 % |
41.14/41.22 c | 100764 | 941 43819 215928 | 2147483647 100701 30 | 2.690 % |
41.74/41.89 c | 101635 | 941 43819 215928 | 2147483647 101572 30 | 2.690 % |
42.63/42.78 c | 102593 | 941 43819 215928 | 2147483647 102530 30 | 2.689 % |
43.43/43.55 c | 103646 | 941 43819 215928 | 2147483647 103583 30 | 2.689 % |
44.13/44.20 c | 104804 | 941 43819 215928 | 2147483647 104741 30 | 2.689 % |
44.13/44.29 c | 104905 | 941 43819 215928 | 2147483647 104842 30 | 2.690 % |
44.33/44.40 c | 105016 | 941 43819 215928 | 2147483647 104953 30 | 2.689 % |
44.43/44.53 c | 105138 | 941 43819 215928 | 2147483647 105075 30 | 2.689 % |
44.53/44.63 c | 105271 | 941 43819 215928 | 2147483647 105208 30 | 2.690 % |
44.63/44.75 c | 105417 | 941 43819 215928 | 2147483647 105354 30 | 2.689 % |
44.73/44.85 c | 105577 | 941 43819 215928 | 2147483647 105514 30 | 2.689 % |
44.83/45.00 c | 105753 | 941 43819 215928 | 2147483647 105690 30 | 2.689 % |
45.04/45.15 c | 105946 | 941 43819 215928 | 2147483647 105883 30 | 2.689 % |
45.23/45.33 c | 106159 | 941 43819 215928 | 2147483647 106096 30 | 2.689 % |
45.43/45.53 c | 106393 | 941 43819 215928 | 2147483647 106330 30 | 2.689 % |
45.63/45.79 c | 106650 | 941 43819 215928 | 2147483647 106587 30 | 2.689 % |
45.93/46.08 c | 106932 | 941 43819 215928 | 2147483647 106869 30 | 2.689 % |
46.23/46.32 c | 107242 | 941 43819 215928 | 2147483647 107179 30 | 2.689 % |
46.63/46.73 c | 107581 | 941 43819 215928 | 2147483647 107518 30 | 2.690 % |
46.93/47.01 c | 107955 | 941 43819 215928 | 2147483647 107892 30 | 2.690 % |
47.24/47.35 c | 108364 | 941 43819 215928 | 2147483647 108301 30 | 2.689 % |
47.63/47.77 c | 108813 | 941 43819 215928 | 2147483647 108750 30 | 2.689 % |
48.24/48.33 c | 109306 | 941 43819 215928 | 2147483647 109243 30 | 2.690 % |
48.63/48.76 c | 109848 | 941 43819 215928 | 2147483647 109785 30 | 2.689 % |
49.23/49.33 c | 110448 | 941 43819 215928 | 2147483647 110385 30 | 2.690 % |
49.73/49.85 c | 111104 | 941 43819 215928 | 2147483647 111041 30 | 2.690 % |
50.33/50.50 c | 111825 | 941 43819 215928 | 2147483647 111762 30 | 2.689 % |
51.13/51.28 c | 112620 | 941 43819 215928 | 2147483647 112557 30 | 2.690 % |
52.03/52.10 c | 113491 | 941 43819 215928 | 2147483647 113428 30 | 2.689 % |
52.63/52.70 c | 114451 | 941 43819 215928 | 2147483647 114388 30 | 2.690 % |
53.83/53.90 c | 115504 | 941 43819 215928 | 2147483647 115441 30 | 2.689 % |
54.93/55.07 c | 116662 | 941 43819 215928 | 2147483647 116599 30 | 2.689 % |
56.03/56.15 c | 117935 | 941 43819 215928 | 2147483647 117872 30 | 2.689 % |
56.13/56.23 c | 118035 | 941 43819 215928 | 2147483647 117972 30 | 2.690 % |
56.23/56.32 c | 118145 | 941 43819 215928 | 2147483647 118082 30 | 2.689 % |
56.33/56.45 c | 118267 | 941 43819 215928 | 2147483647 118204 30 | 2.690 % |
56.43/56.57 c | 118400 | 941 43819 215928 | 2147483647 118337 30 | 2.689 % |
56.63/56.74 c | 118547 | 941 43819 215928 | 2147483647 118484 30 | 2.689 % |
56.83/56.92 c | 118707 | 941 43819 215928 | 2147483647 118644 30 | 2.690 % |
57.03/57.11 c | 118883 | 941 43819 215928 | 2147483647 118820 30 | 2.690 % |
57.13/57.23 c | 119076 | 941 43819 215928 | 2147483647 119013 30 | 2.689 % |
57.32/57.46 c | 119289 | 941 43819 215928 | 2147483647 119226 30 | 2.690 % |
57.62/57.71 c | 119523 | 941 43819 215928 | 2147483647 119460 30 | 2.689 % |
57.82/57.94 c | 119779 | 941 43819 215928 | 2147483647 119716 30 | 2.689 % |
58.02/58.16 c | 120061 | 941 43819 215928 | 119938 119998 30 | 2.690 % |
58.52/58.61 c | 120370 | 941 43819 215928 | 119938 104092 30 | 2.689 % |
58.82/58.90 c | 120709 | 941 43819 215928 | 119938 104431 30 | 2.690 % |
59.02/59.19 c | 121081 | 941 43819 215928 | 119938 104803 30 | 2.690 % |
59.42/59.59 c | 121490 | 941 43819 215928 | 119938 105212 30 | 2.690 % |
59.82/59.91 c | 121941 | 941 43819 215928 | 119938 105663 30 | 2.690 % |
60.22/60.34 c | 122434 | 941 43819 215928 | 119938 106156 30 | 2.689 % |
60.82/60.95 c | 122976 | 941 43819 215928 | 119938 106698 30 | 2.689 % |
61.22/61.36 c | 123572 | 941 43819 215928 | 119938 107294 30 | 2.689 % |
61.82/61.96 c | 124227 | 941 43819 215928 | 119938 107949 30 | 2.690 % |
62.42/62.56 c | 124947 | 941 43819 215928 | 119938 108669 30 | 2.689 % |
63.22/63.38 c | 125741 | 941 43819 215928 | 119938 109463 30 | 2.690 % |
64.22/64.34 c | 126612 | 941 43819 215928 | 119938 110334 30 | 2.689 % |
65.12/65.28 c | 127570 | 941 43819 215928 | 119938 111292 30 | 2.690 % |
66.22/66.34 c | 128624 | 941 43819 215928 | 119938 112346 30 | 2.690 % |
67.32/67.45 c | 129782 | 941 43819 215928 | 119938 113504 30 | 2.689 % |
68.52/68.70 c | 131055 | 941 43819 215928 | 113722 99397 29 | 2.689 % |
69.62/69.70 c | 132457 | 941 43819 215928 | 113722 100799 29 | 2.689 % |
69.72/69.84 c | 132557 | 941 43819 215928 | 113722 100899 29 | 2.690 % |
69.82/69.93 c | 132668 | 941 43819 215928 | 113722 101010 29 | 2.689 % |
69.92/70.06 c | 132790 | 941 43819 215928 | 113722 101132 29 | 2.689 % |
70.02/70.17 c | 132924 | 941 43819 215928 | 113722 101266 29 | 2.690 % |
70.12/70.27 c | 133071 | 941 43819 215928 | 113722 101413 30 | 2.690 % |
70.22/70.39 c | 133235 | 941 43819 215928 | 113722 101577 30 | 2.689 % |
70.42/70.50 c | 133411 | 941 43819 215928 | 113722 101753 30 | 2.690 % |
70.42/70.59 c | 133605 | 941 43819 215928 | 113722 101947 29 | 2.690 % |
70.62/70.70 c | 133817 | 941 43819 215928 | 113722 102159 29 | 2.690 % |
70.72/70.83 c | 134053 | 941 43819 215928 | 113722 102395 29 | 2.689 % |
70.92/71.01 c | 134310 | 941 43819 215928 | 113722 102652 29 | 2.690 % |
71.12/71.26 c | 134593 | 941 43819 215928 | 113722 102935 30 | 2.689 % |
71.32/71.43 c | 134902 | 941 43819 215928 | 113722 103244 29 | 2.689 % |
71.51/71.66 c | 135243 | 941 43819 215928 | 113722 103585 30 | 2.689 % |
71.82/71.96 c | 135617 | 941 43819 215928 | 113722 103959 30 | 2.689 % |
72.32/72.41 c | 136026 | 941 43819 215928 | 113722 104368 30 | 2.690 % |
72.72/72.84 c | 136477 | 941 43819 215928 | 113722 104819 30 | 2.690 % |
73.12/73.27 c | 136970 | 941 43819 215928 | 113722 105312 30 | 2.689 % |
73.63/73.75 c | 137512 | 941 43819 215928 | 113722 105854 30 | 2.689 % |
74.12/74.29 c | 138112 | 941 43819 215928 | 113722 106454 30 | 2.689 % |
74.82/74.92 c | 138768 | 941 43819 215928 | 113722 107110 30 | 2.689 % |
75.22/75.35 c | 139489 | 941 43819 215928 | 113722 107831 30 | 2.689 % |
75.92/76.05 c | 140282 | 941 43819 215928 | 2147483647 108624 30 | 2.689 % |
76.42/76.55 c | 141155 | 941 43819 215928 | 2147483647 109497 30 | 2.690 % |
77.32/77.43 c | 142113 | 941 43819 215928 | 2147483647 110455 30 | 2.689 % |
78.03/78.18 c | 143167 | 940 43769 215668 | 2147483647 111508 30 | 2.792 % |
78.72/78.90 c | 144325 | 940 43769 215668 | 2147483647 112666 30 | 2.792 % |
80.02/80.17 c | 145599 | 940 43769 215668 | 2147483647 113940 30 | 2.793 % |
81.52/81.60 c | 146999 | 940 43769 215668 | 2147483647 115340 30 | 2.793 % |
82.82/82.92 c | 148541 | 940 43769 215668 | 2147483647 116882 30 | 2.793 % |
82.92/83.03 c | 148642 | 940 43769 215668 | 2147483647 116983 30 | 2.792 % |
83.02/83.19 c | 148753 | 940 43769 215668 | 2147483647 117094 30 | 2.793 % |
83.22/83.33 c | 148878 | 940 43769 215668 | 2147483647 117219 30 | 2.792 % |
83.42/83.50 c | 149013 | 940 43769 215668 | 2147483647 117354 30 | 2.793 % |
83.62/83.70 c | 149159 | 940 43769 215668 | 2147483647 117500 30 | 2.792 % |
83.72/83.81 c | 149319 | 940 43769 215668 | 2147483647 117660 30 | 2.793 % |
83.92/84.00 c | 149495 | 940 43769 215668 | 2147483647 117836 30 | 2.792 % |
84.02/84.16 c | 149689 | 940 43769 215668 | 2147483647 118030 30 | 2.793 % |
84.12/84.28 c | 149901 | 940 43769 215668 | 2147483647 118242 30 | 2.792 % |
84.32/84.46 c | 150135 | 940 43769 215668 | 2147483647 118476 30 | 2.792 % |
84.62/84.70 c | 150391 | 940 43769 215668 | 2147483647 118732 30 | 2.792 % |
84.82/84.95 c | 150672 | 940 43769 215668 | 2147483647 119013 30 | 2.792 % |
85.12/85.29 c | 150982 | 940 43769 215668 | 2147483647 119323 30 | 2.793 % |
85.42/85.56 c | 151322 | 940 43769 215668 | 2147483647 119663 30 | 2.793 % |
85.92/86.06 c | 151694 | 940 43769 215668 | 2147483647 120035 30 | 2.793 % |
86.42/86.57 c | 152103 | 940 43769 215668 | 2147483647 120444 30 | 2.794 % |
86.82/86.93 c | 152552 | 940 43769 215668 | 2147483647 120893 30 | 2.793 % |
87.32/87.50 c | 153045 | 940 43769 215668 | 2147483647 121386 30 | 2.792 % |
88.02/88.15 c | 153587 | 940 43769 215668 | 2147483647 121928 30 | 2.793 % |
88.52/88.60 c | 154183 | 940 43769 215668 | 2147483647 122524 30 | 2.793 % |
88.92/89.09 c | 154838 | 940 43769 215668 | 2147483647 123179 30 | 2.793 % |
89.51/89.69 c | 155558 | 940 43769 215668 | 2147483647 123899 30 | 2.793 % |
90.12/90.27 c | 156351 | 940 43769 215668 | 2147483647 124692 30 | 2.792 % |
91.01/91.11 c | 157224 | 940 43769 215668 | 2147483647 125565 30 | 2.792 % |
91.81/91.97 c | 158182 | 940 43769 215668 | 2147483647 126523 30 | 2.792 % |
92.81/92.99 c | 159235 | 940 43769 215668 | 2147483647 127576 30 | 2.792 % |
93.71/93.87 c | 160396 | 940 43769 215668 | 128341 128737 31 | 2.792 % |
94.61/94.75 c | 161675 | 940 43769 215668 | 128341 116416 30 | 2.792 % |
96.20/96.34 c | 163076 | 940 43769 215668 | 128341 117817 30 | 2.794 % |
97.40/97.51 c | 164617 | 940 43769 215668 | 128341 119358 30 | 2.792 % |
98.40/98.53 c | 166316 | 940 43769 215668 | 128341 121057 30 | 2.792 % |
98.50/98.68 c | 166416 | 940 43769 215668 | 128341 121157 30 | 2.792 % |
98.70/98.80 c | 166526 | 940 43769 215668 | 128341 121267 30 | 2.792 % |
98.91/99.03 c | 166649 | 940 43769 215668 | 128341 121390 30 | 2.792 % |
99.00/99.17 c | 166782 | 940 43769 215668 | 128341 121523 30 | 2.792 % |
99.20/99.36 c | 166928 | 940 43769 215668 | 128341 121669 30 | 2.793 % |
99.40/99.57 c | 167093 | 940 43769 215668 | 128341 121834 30 | 2.792 % |
99.70/99.80 c | 167271 | 940 43769 215668 | 128341 122012 30 | 2.792 % |
99.80/99.98 c | 167465 | 940 43769 215668 | 128341 122206 30 | 2.792 % |
100.10/100.24 c | 167678 | 940 43769 215668 | 128341 122419 30 | 2.793 % |
100.40/100.51 c | 167912 | 940 43769 215668 | 128341 122653 30 | 2.792 % |
100.60/100.78 c | 168169 | 940 43769 215668 | 128341 122910 30 | 2.794 % |
101.00/101.15 c | 168450 | 940 43769 215668 | 128341 123191 30 | 2.792 % |
101.30/101.47 c | 168759 | 940 43769 215668 | 128341 123500 30 | 2.793 % |
101.70/101.85 c | 169098 | 940 43769 215668 | 128341 123839 30 | 2.792 % |
102.10/102.25 c | 169470 | 940 43769 215668 | 128341 124211 30 | 2.793 % |
102.50/102.68 c | 169879 | 940 43769 215668 | 128341 124620 31 | 2.793 % |
103.00/103.14 c | 170328 | 940 43769 215668 | 124741 125069 31 | 2.793 % |
103.60/103.79 c | 170821 | 940 43769 215668 | 124741 111598 30 | 2.793 % |
104.10/104.23 c | 171365 | 940 43769 215668 | 124741 112142 30 | 2.792 % |
104.70/104.84 c | 171963 | 940 43769 215668 | 124741 112740 30 | 2.793 % |
105.40/105.53 c | 172618 | 940 43769 215668 | 124741 113395 30 | 2.793 % |
106.10/106.23 c | 173338 | 940 43769 215668 | 124741 114115 30 | 2.793 % |
106.60/106.75 c | 174133 | 940 43769 215668 | 124741 114910 30 | 2.793 % |
107.50/107.61 c | 175004 | 940 43769 215668 | 124741 115781 30 | 2.792 % |
108.20/108.34 c | 175963 | 940 43769 215668 | 124741 116740 30 | 2.793 % |
109.20/109.32 c | 177016 | 940 43769 215668 | 124741 117793 30 | 2.792 % |
110.00/110.20 c | 178174 | 940 43769 215668 | 124741 118951 30 | 2.792 % |
111.20/111.34 c | 179447 | 940 43769 215668 | 124741 120224 30 | 2.792 % |
112.99/113.15 c | 180848 | 940 43769 215668 | 2147483647 121625 30 | 2.792 % |
114.09/114.20 c | 182388 | 940 43769 215668 | 2147483647 123164 30 | 2.897 % |
115.79/115.95 c | 184082 | 940 43769 215668 | 2147483647 124858 30 | 2.897 % |
116.69/116.89 c | 185945 | 940 43769 215668 | 2147483647 126721 30 | 2.896 % |
116.79/116.96 c | 186045 | 940 43769 215668 | 2147483647 126821 30 | 2.896 % |
116.99/117.12 c | 186156 | 939 43769 215668 | 2147483647 126931 30 | 2.999 % |
117.09/117.27 c | 186277 | 939 43769 215668 | 2147483647 127052 30 | 2.999 % |
117.29/117.40 c | 186410 | 939 43769 215668 | 2147483647 127185 30 | 3.000 % |
117.39/117.52 c | 186556 | 939 43769 215668 | 2147483647 127331 30 | 2.999 % |
117.49/117.70 c | 186716 | 939 43769 215668 | 2147483647 127491 30 | 3.000 % |
117.69/117.89 c | 186893 | 939 43769 215668 | 2147483647 127668 30 | 2.999 % |
117.99/118.10 c | 187086 | 939 43769 215668 | 2147483647 127861 30 | 2.999 % |
118.19/118.30 c | 187299 | 939 43769 215668 | 2147483647 128074 30 | 3.000 % |
118.39/118.53 c | 187535 | 939 43769 215668 | 2147483647 128310 30 | 2.999 % |
118.59/118.70 c | 187791 | 939 43769 215668 | 2147483647 128566 30 | 3.000 % |
118.79/118.93 c | 188072 | 939 43769 215668 | 2147483647 128847 30 | 2.999 % |
119.09/119.27 c | 188382 | 939 43769 215668 | 2147483647 129157 30 | 2.999 % |
119.49/119.68 c | 188721 | 939 43769 215668 | 2147483647 129496 30 | 3.000 % |
119.89/120.03 c | 189095 | 939 43769 215668 | 2147483647 129870 30 | 3.000 % |
120.19/120.37 c | 189505 | 939 43769 215668 | 2147483647 130280 30 | 2.999 % |
120.79/120.91 c | 189955 | 939 43769 215668 | 2147483647 130730 30 | 2.999 % |
121.69/121.83 c | 190450 | 939 43769 215668 | 130776 116045 30 | 3.000 % |
122.18/122.33 c | 190994 | 939 43769 215668 | 130776 116589 30 | 3.000 % |
122.78/122.91 c | 191590 | 939 43769 215668 | 130776 117185 30 | 3.000 % |
123.38/123.50 c | 192245 | 939 43769 215668 | 130776 117840 30 | 2.999 % |
123.98/124.17 c | 192965 | 939 43769 215668 | 130776 118560 30 | 3.000 % |
124.88/125.08 c | 193757 | 939 43769 215668 | 130776 119352 30 | 2.999 % |
125.68/125.89 c | 194628 | 939 43769 215668 | 130776 120223 30 | 2.999 % |
126.28/126.48 c | 195588 | 939 43769 215668 | 130776 121183 30 | 3.000 % |
127.58/127.73 c | 196641 | 939 43769 215668 | 130776 122236 30 | 3.000 % |
128.78/128.97 c | 197799 | 939 43769 215668 | 130776 123394 30 | 2.999 % |
130.38/130.57 c | 199072 | 939 43769 215668 | 130776 124667 30 | 2.999 % |
131.18/131.36 c | 200472 | 938 43646 215262 | 125594 113350 30 | 2.999 % |
133.08/133.20 c | 202014 | 938 43646 215262 | 125594 114892 30 | 2.999 % |
134.48/134.64 c | 203709 | 938 43646 215262 | 125594 116587 30 | 2.999 % |
136.58/136.79 c | 205574 | 938 43646 215262 | 125594 118452 30 | 3.000 % |
138.68/138.87 c | 207623 | 938 43646 215262 | 125594 120501 30 | 2.999 % |
138.87/139.01 c | 207724 | 938 43646 215262 | 125594 120602 30 | 2.999 % |
138.97/139.14 c | 207835 | 938 43646 215262 | 125594 120713 30 | 2.999 % |
139.07/139.25 c | 207956 | 938 43646 215262 | 125594 120834 30 | 2.999 % |
139.27/139.42 c | 208089 | 938 43646 215262 | 125594 120967 30 | 3.000 % |
139.48/139.61 c | 208235 | 938 43646 215262 | 125594 121113 30 | 2.999 % |
139.58/139.79 c | 208397 | 938 43646 215262 | 125594 121275 30 | 2.999 % |
139.87/140.07 c | 208574 | 938 43646 215262 | 125594 121452 30 | 3.000 % |
140.17/140.37 c | 208767 | 938 43646 215262 | 125594 121645 30 | 3.000 % |
140.47/140.62 c | 208979 | 938 43646 215262 | 125594 121857 30 | 2.999 % |
140.77/140.92 c | 209212 | 938 43646 215262 | 125594 122090 30 | 2.999 % |
141.07/141.26 c | 209469 | 938 43646 215262 | 125594 122347 30 | 3.000 % |
141.47/141.63 c | 209750 | 938 43646 215262 | 125594 122628 30 | 2.999 % |
141.78/141.94 c | 210059 | 938 43646 215262 | 122878 122937 30 | 2.999 % |
142.27/142.48 c | 210399 | 938 43646 215262 | 122878 105216 30 | 2.999 % |
142.57/142.78 c | 210772 | 938 43646 215262 | 122878 105589 30 | 2.999 % |
143.07/143.23 c | 211181 | 938 43646 215262 | 122878 105998 30 | 2.999 % |
143.57/143.70 c | 211630 | 938 43646 215262 | 122878 106447 30 | 2.999 % |
143.97/144.14 c | 212124 | 938 43646 215262 | 122878 106941 30 | 2.999 % |
144.57/144.74 c | 212666 | 938 43646 215262 | 122878 107483 30 | 2.999 % |
145.07/145.27 c | 213263 | 938 43646 215262 | 122878 108080 30 | 2.999 % |
145.77/145.93 c | 213918 | 938 43646 215262 | 122878 108735 30 | 2.999 % |
146.17/146.39 c | 214641 | 938 43646 215262 | 122878 109458 30 | 3.000 % |
147.07/147.21 c | 215435 | 938 43646 215262 | 122878 110252 30 | 3.000 % |
148.17/148.34 c | 216307 | 938 43646 215262 | 122878 111124 30 | 3.000 % |
149.07/149.28 c | 217265 | 938 43646 215262 | 122878 112082 30 | 3.000 % |
149.87/150.08 c | 218319 | 938 43646 215262 | 122878 113136 30 | 3.000 % |
150.57/150.72 c | 219477 | 938 43646 215262 | 122878 114294 30 | 2.999 % |
151.67/151.90 c | 220751 | 938 43646 215262 | 114817 99988 29 | 3.000 % |
152.57/152.79 c | 222151 | 938 43646 215262 | 114817 101388 29 | 2.999 % |
153.98/154.19 c | 223693 | 938 43646 215262 | 114817 102930 29 | 2.999 % |
155.78/155.91 c | 225389 | 938 43646 215262 | 114817 104626 29 | 3.000 % |
157.57/157.72 c | 227253 | 938 43646 215262 | 114817 106490 29 | 2.999 % |
159.67/159.85 c | 229302 | 938 43646 215262 | 114817 108539 29 | 3.000 % |
161.77/161.95 c | 231557 | 938 43646 215262 | 109237 99205 29 | 2.999 % |
161.87/162.03 c | 231657 | 938 43646 215262 | 109237 99305 29 | 2.999 % |
161.97/162.16 c | 231767 | 938 43646 215262 | 109237 99415 29 | 3.000 % |
162.07/162.26 c | 231888 | 938 43646 215262 | 109237 99536 29 | 2.999 % |
162.17/162.35 c | 232023 | 938 43646 215262 | 109237 99671 29 | 2.999 % |
162.27/162.48 c | 232171 | 938 43646 215262 | 109237 99819 29 | 2.999 % |
162.37/162.59 c | 232333 | 938 43646 215262 | 109237 99981 29 | 3.001 % |
162.47/162.69 c | 232509 | 938 43646 215262 | 109237 100157 29 | 2.999 % |
162.67/162.89 c | 232702 | 938 43646 215262 | 109237 100350 29 | 2.999 % |
162.87/163.02 c | 232914 | 938 43646 215262 | 109237 100562 29 | 2.999 % |
162.97/163.17 c | 233147 | 938 43646 215262 | 109237 100795 29 | 2.999 % |
163.07/163.29 c | 233403 | 938 43646 215262 | 109237 101051 29 | 2.999 % |
163.27/163.46 c | 233684 | 938 43646 215262 | 109237 101332 29 | 3.001 % |
163.47/163.68 c | 233994 | 938 43646 215262 | 109237 101642 29 | 2.999 % |
163.77/163.92 c | 234333 | 938 43646 215262 | 109237 101981 29 | 2.999 % |
163.97/164.12 c | 234706 | 938 43646 215262 | 109237 102354 29 | 3.000 % |
164.27/164.46 c | 235115 | 938 43646 215262 | 109237 102763 29 | 3.000 % |
164.67/164.81 c | 235570 | 938 43646 215262 | 109237 103218 29 | 2.999 % |
165.07/165.26 c | 236063 | 938 43646 215262 | 109237 103711 29 | 3.000 % |
165.47/165.70 c | 236606 | 938 43646 215262 | 109237 104254 29 | 2.999 % |
165.97/166.15 c | 237202 | 938 43646 215262 | 109237 104850 29 | 2.999 % |
166.47/166.64 c | 237857 | 938 43646 215262 | 109237 105505 29 | 2.999 % |
167.17/167.31 c | 238577 | 938 43646 215262 | 109237 106225 29 | 2.999 % |
167.77/167.98 c | 239372 | 938 43646 215262 | 109237 107020 29 | 2.999 % |
168.77/168.96 c | 240245 | 938 43646 215262 | 2147483647 107893 29 | 3.000 % |
169.67/169.86 c | 241205 | 938 43646 215262 | 2147483647 108853 29 | 3.000 % |
170.77/170.90 c | 242260 | 938 43646 215262 | 2147483647 109908 29 | 2.999 % |
171.67/171.87 c | 243421 | 938 43646 215262 | 2147483647 111069 29 | 2.999 % |
172.76/172.98 c | 244694 | 938 43646 215262 | 2147483647 112342 29 | 3.000 % |
174.16/174.35 c | 246095 | 938 43646 215262 | 2147483647 113743 29 | 3.000 % |
175.66/175.85 c | 247636 | 938 43646 215262 | 2147483647 115284 29 | 2.999 % |
176.97/177.16 c | 249330 | 938 43646 215262 | 2147483647 116978 29 | 2.999 % |
178.66/178.89 c | 251193 | 938 43646 215262 | 2147483647 118841 30 | 2.999 % |
180.76/180.91 c | 253242 | 938 43646 215262 | 2147483647 120890 29 | 2.999 % |
182.96/183.12 c | 255499 | 938 43646 215262 | 2147483647 123147 29 | 3.001 % |
184.76/184.94 c | 257978 | 938 43646 215262 | 2147483647 125626 29 | 2.999 % |
184.86/185.06 c | 258079 | 938 43646 215262 | 2147483647 125727 29 | 2.999 % |
184.96/185.19 c | 258190 | 938 43646 215262 | 2147483647 125838 29 | 3.000 % |
185.06/185.28 c | 258311 | 938 43646 215262 | 2147483647 125959 29 | 3.000 % |
185.26/185.40 c | 258444 | 938 43646 215262 | 2147483647 126092 29 | 3.000 % |
185.36/185.52 c | 258591 | 938 43646 215262 | 2147483647 126239 29 | 3.000 % |
185.46/185.64 c | 258752 | 938 43646 215262 | 2147483647 126400 29 | 2.999 % |
185.66/185.81 c | 258929 | 938 43646 215262 | 2147483647 126577 29 | 2.999 % |
185.86/186.01 c | 259122 | 938 43646 215262 | 2147483647 126770 29 | 3.000 % |
186.06/186.21 c | 259334 | 938 43646 215262 | 2147483647 126982 29 | 3.000 % |
186.26/186.44 c | 259568 | 938 43646 215262 | 2147483647 127216 29 | 2.999 % |
186.56/186.75 c | 259825 | 938 43646 215262 | 2147483647 127473 29 | 3.000 % |
186.86/187.04 c | 260107 | 938 43646 215262 | 127648 127755 29 | 2.999 % |
187.26/187.48 c | 260416 | 938 43646 215262 | 127648 111963 28 | 2.999 % |
187.66/187.84 c | 260755 | 938 43646 215262 | 127648 112302 28 | 3.000 % |
188.06/188.29 c | 261127 | 938 43646 215262 | 127648 112674 28 | 2.999 % |
188.56/188.72 c | 261536 | 938 43646 215262 | 127648 113083 28 | 2.999 % |
188.76/188.99 c | 261985 | 938 43646 215262 | 127648 113532 29 | 3.000 % |
189.36/189.52 c | 262479 | 938 43646 215262 | 127648 114026 29 | 3.000 % |
189.86/190.02 c | 263023 | 938 43646 215262 | 127648 114570 29 | 2.999 % |
190.56/190.75 c | 263619 | 938 43646 215262 | 127648 115166 29 | 3.000 % |
191.36/191.55 c | 264274 | 938 43646 215262 | 127648 115821 29 | 3.000 % |
191.76/191.99 c | 264994 | 938 43646 215262 | 127648 116541 29 | 3.000 % |
192.66/192.85 c | 265787 | 938 43646 215262 | 127648 117334 29 | 2.999 % |
193.36/193.53 c | 266659 | 938 43646 215262 | 127648 118206 29 | 3.000 % |
194.46/194.61 c | 267617 | 938 43646 215262 | 127648 119164 29 | 3.000 % |
195.46/195.62 c | 268670 | 938 43646 215262 | 127648 120217 29 | 2.999 % |
196.46/196.68 c | 269829 | 938 43646 215262 | 127648 121376 29 | 3.000 % |
197.66/197.81 c | 271106 | 938 43646 215262 | 121548 105870 29 | 2.999 % |
198.65/198.89 c | 272506 | 938 43646 215262 | 121548 107270 29 | 2.999 % |
200.25/200.44 c | 274046 | 938 43646 215262 | 121548 108810 29 | 3.000 % |
202.55/202.74 c | 275740 | 938 43646 215262 | 121548 110504 29 | 3.000 % |
203.75/203.93 c | 277604 | 938 43646 215262 | 121548 112368 29 | 3.000 % |
205.95/206.17 c | 279653 | 937 43596 215002 | 121548 114416 29 | 3.103 % |
208.45/208.62 c | 281909 | 937 43596 215002 | 2147483647 116672 29 | 3.103 % |
211.35/211.56 c | 284389 | 937 43596 215002 | 2147483647 119152 30 | 3.103 % |
213.95/214.16 c | 287114 | 937 43596 215002 | 2147483647 121877 30 | 3.103 % |
214.05/214.29 c | 287214 | 937 43596 215002 | 2147483647 121977 30 | 3.103 % |
214.25/214.43 c | 287324 | 937 43596 215002 | 2147483647 122087 30 | 3.103 % |
214.35/214.59 c | 287446 | 937 43596 215002 | 2147483647 122209 30 | 3.103 % |
214.55/214.77 c | 287579 | 937 43596 215002 | 2147483647 122342 30 | 3.103 % |
214.75/214.96 c | 287727 | 937 43596 215002 | 2147483647 122490 30 | 3.103 % |
214.95/215.19 c | 287887 | 937 43596 215002 | 2147483647 122650 30 | 3.103 % |
215.15/215.38 c | 288064 | 937 43596 215002 | 2147483647 122827 30 | 3.103 % |
215.45/215.61 c | 288258 | 937 43596 215002 | 2147483647 123021 30 | 3.102 % |
215.65/215.89 c | 288471 | 937 43596 215002 | 2147483647 123234 30 | 3.103 % |
215.94/216.11 c | 288705 | 937 43596 215002 | 2147483647 123468 30 | 3.103 % |
216.24/216.46 c | 288964 | 937 43596 215002 | 2147483647 123727 30 | 3.103 % |
216.55/216.79 c | 289245 | 937 43596 215002 | 2147483647 124008 30 | 3.103 % |
216.94/217.11 c | 289554 | 937 43596 215002 | 2147483647 124317 30 | 3.103 % |
217.34/217.59 c | 289893 | 937 43596 215002 | 2147483647 124656 30 | 3.103 % |
218.04/218.21 c | 290265 | 937 43596 215002 | 124764 104616 29 | 3.103 % |
218.54/218.72 c | 290677 | 937 43596 215002 | 124764 105028 29 | 3.103 % |
218.94/219.18 c | 291126 | 937 43596 215002 | 124764 105477 29 | 3.103 % |
219.54/219.71 c | 291620 | 937 43596 215002 | 124764 105971 29 | 3.103 % |
219.94/220.14 c | 292162 | 937 43596 215002 | 124764 106513 29 | 3.103 % |
220.54/220.76 c | 292758 | 936 43596 215002 | 124764 107108 29 | 3.207 % |
221.24/221.44 c | 293414 | 936 43596 215002 | 124764 107764 29 | 3.207 % |
222.14/222.37 c | 294136 | 936 43596 215002 | 124764 108486 29 | 3.207 % |
223.04/223.20 c | 294930 | 936 43596 215002 | 124764 109280 29 | 3.207 % |
223.74/223.99 c | 295801 | 936 43596 215002 | 124764 110151 29 | 3.207 % |
224.44/224.69 c | 296760 | 936 43596 215002 | 124764 111110 29 | 3.206 % |
225.14/225.34 c | 297813 | 936 43596 215002 | 124764 112163 29 | 3.206 % |
226.14/226.33 c | 298973 | 936 43596 215002 | 124764 113323 29 | 3.208 % |
227.04/227.21 c | 300246 | 936 43596 215002 | 2147483647 114596 29 | 3.207 % |
228.14/228.36 c | 301646 | 936 43596 215002 | 2147483647 115996 29 | 3.207 % |
229.54/229.73 c | 303186 | 936 43596 215002 | 2147483647 117536 29 | 3.208 % |
231.44/231.61 c | 304880 | 936 43596 215002 | 2147483647 119230 29 | 3.206 % |
232.94/233.11 c | 306745 | 936 43596 215002 | 2147483647 121095 29 | 3.206 % |
234.54/234.74 c | 308795 | 936 43596 215002 | 2147483647 123145 29 | 3.206 % |
236.54/236.74 c | 311048 | 936 43596 215002 | 2147483647 125398 29 | 3.206 % |
239.04/239.23 c | 313527 | 936 43596 215002 | 2147483647 127877 29 | 3.206 % |
241.64/241.86 c | 316252 | 936 43596 215002 | 2147483647 130602 29 | 3.206 % |
244.93/245.15 c | 319250 | 936 43596 215002 | 2147483647 133600 29 | 3.207 % |
245.04/245.28 c | 319350 | 936 43596 215002 | 2147483647 133700 29 | 3.206 % |
245.23/245.44 c | 319460 | 936 43596 215002 | 2147483647 133810 29 | 3.206 % |
245.43/245.60 c | 319581 | 936 43596 215002 | 2147483647 133931 29 | 3.206 % |
245.63/245.80 c | 319714 | 936 43596 215002 | 2147483647 134064 29 | 3.206 % |
245.83/246.01 c | 319860 | 936 43596 215002 | 2147483647 134210 29 | 3.206 % |
246.03/246.25 c | 320020 | 936 43596 215002 | 134350 134370 29 | 3.207 % |
246.53/246.80 c | 320196 | 936 43596 215002 | 134350 113385 29 | 3.207 % |
246.83/247.04 c | 320391 | 936 43596 215002 | 134350 113580 29 | 3.206 % |
247.13/247.35 c | 320604 | 936 43596 215002 | 134350 113793 29 | 3.207 % |
247.43/247.65 c | 320837 | 936 43596 215002 | 134350 114026 29 | 3.207 % |
247.63/247.87 c | 321093 | 936 43596 215002 | 134350 114282 29 | 3.206 % |
247.93/248.17 c | 321374 | 936 43596 215002 | 134350 114563 29 | 3.206 % |
248.23/248.42 c | 321684 | 936 43596 215002 | 134350 114873 29 | 3.206 % |
248.53/248.74 c | 322024 | 936 43596 215002 | 134350 115213 29 | 3.207 % |
248.93/249.19 c | 322397 | 936 43596 215002 | 134350 115586 29 | 3.207 % |
249.43/249.68 c | 322807 | 936 43596 215002 | 134350 115996 29 | 3.207 % |
250.03/250.23 c | 323258 | 936 43596 215002 | 134350 116447 29 | 3.206 % |
250.63/250.85 c | 323752 | 936 43596 215002 | 134350 116941 29 | 3.207 % |
251.23/251.49 c | 324294 | 936 43596 215002 | 134350 117483 29 | 3.207 % |
251.83/252.05 c | 324892 | 936 43596 215002 | 134350 118081 29 | 3.206 % |
252.53/252.79 c | 325547 | 936 43596 215002 | 134350 118736 29 | 3.207 % |
253.23/253.41 c | 326268 | 936 43596 215002 | 134350 119457 29 | 3.207 % |
253.83/254.05 c | 327060 | 936 43596 215002 | 134350 120249 29 | 3.206 % |
254.73/254.91 c | 327932 | 936 43596 215002 | 134350 121121 29 | 3.206 % |
255.33/255.60 c | 328894 | 936 43596 215002 | 134350 122083 29 | 3.207 % |
256.53/256.71 c | 329949 | 936 43546 214742 | 134350 123138 29 | 3.206 % |
257.83/258.09 c | 331108 | 936 43546 214742 | 123189 106602 28 | 3.206 % |
259.03/259.26 c | 332381 | 936 43546 214742 | 123189 107875 28 | 3.207 % |
260.53/260.73 c | 333783 | 936 43546 214742 | 123189 109277 29 | 3.207 % |
262.03/262.26 c | 335323 | 936 43546 214742 | 123189 110817 29 | 3.207 % |
263.73/263.97 c | 337017 | 936 43546 214742 | 123189 112511 29 | 3.207 % |
265.12/265.33 c | 338880 | 936 43546 214742 | 123189 114374 29 | 3.207 % |
267.32/267.55 c | 340932 | 936 43546 214742 | 115496 100351 28 | 3.207 % |
269.02/269.30 c | 343185 | 936 43546 214742 | 115496 102604 28 | 3.206 % |
270.82/271.02 c | 345663 | 936 43546 214742 | 115496 105082 28 | 3.207 % |
273.62/273.88 c | 348390 | 936 43546 214742 | 115496 107809 29 | 3.207 % |
276.42/276.63 c | 351388 | 936 43546 214742 | 2147483647 110807 29 | 3.206 % |
279.52/279.77 c | 354684 | 936 43546 214742 | 2147483647 114103 29 | 3.206 % |
279.62/279.87 c | 354785 | 936 43546 214742 | 2147483647 114204 29 | 3.206 % |
279.72/279.96 c | 354895 | 936 43546 214742 | 2147483647 114314 29 | 3.206 % |
279.92/280.12 c | 355016 | 936 43546 214742 | 2147483647 114435 29 | 3.206 % |
280.12/280.35 c | 355150 | 936 43546 214742 | 2147483647 114569 29 | 3.206 % |
280.32/280.51 c | 355298 | 936 43546 214742 | 2147483647 114717 29 | 3.207 % |
280.42/280.67 c | 355461 | 936 43546 214742 | 2147483647 114880 29 | 3.207 % |
280.72/280.95 c | 355637 | 936 43546 214742 | 2147483647 115056 29 | 3.207 % |
280.92/281.13 c | 355830 | 936 43546 214742 | 2147483647 115249 29 | 3.206 % |
281.12/281.38 c | 356042 | 936 43546 214742 | 2147483647 115461 29 | 3.206 % |
281.42/281.68 c | 356278 | 936 43546 214742 | 2147483647 115697 29 | 3.207 % |
281.92/282.12 c | 356536 | 936 43546 214742 | 2147483647 115955 29 | 3.207 % |
282.12/282.38 c | 356817 | 936 43546 214742 | 2147483647 116236 29 | 3.206 % |
282.52/282.72 c | 357126 | 936 43546 214742 | 2147483647 116545 29 | 3.206 % |
282.91/283.10 c | 357467 | 936 43546 214742 | 2147483647 116886 29 | 3.206 % |
283.21/283.47 c | 357840 | 936 43546 214742 | 2147483647 117259 29 | 3.206 % |
283.62/283.86 c | 358249 | 936 43546 214742 | 2147483647 117668 29 | 3.206 % |
284.11/284.32 c | 358699 | 936 43546 214742 | 2147483647 118118 29 | 3.206 % |
284.62/284.89 c | 359192 | 936 43546 214742 | 2147483647 118611 29 | 3.206 % |
285.21/285.46 c | 359737 | 936 43546 214742 | 2147483647 119156 29 | 3.206 % |
285.91/286.14 c | 360333 | 936 43546 214742 | 119422 103399 28 | 3.206 % |
286.61/286.89 c | 360990 | 936 43546 214742 | 119422 104056 28 | 3.207 % |
287.21/287.46 c | 361710 | 936 43546 214742 | 119422 104776 28 | 3.207 % |
287.92/288.13 c | 362502 | 936 43546 214742 | 119422 105568 28 | 3.206 % |
288.81/289.09 c | 363373 | 936 43546 214742 | 119422 106439 28 | 3.206 % |
289.71/289.99 c | 364331 | 936 43546 214742 | 119422 107397 28 | 3.206 % |
290.71/290.99 c | 365384 | 936 43546 214742 | 119422 108450 28 | 3.206 % |
291.81/292.08 c | 366543 | 936 43546 214742 | 119422 109609 28 | 3.207 % |
293.31/293.50 c | 367817 | 936 43546 214742 | 119422 110883 28 | 3.206 % |
294.71/294.98 c | 369219 | 936 43546 214742 | 119422 112285 28 | 3.207 % |
296.41/296.64 c | 370760 | 936 43546 214742 | 113068 101261 28 | 3.206 % |
297.51/297.76 c | 372454 | 936 43546 214742 | 113068 102955 28 | 3.206 % |
298.71/298.98 c | 374317 | 936 43546 214742 | 113068 104818 28 | 3.206 % |
300.71/301.00 c | 376366 | 936 43546 214742 | 113068 106867 28 | 3.206 % |
303.01/303.24 c | 378620 | 936 43546 214742 | 113068 109121 28 | 3.206 % |
305.00/305.29 c | 381098 | 936 43546 214742 | 2147483647 111599 28 | 3.206 % |
306.90/307.13 c | 383823 | 936 43546 214742 | 2147483647 114324 29 | 3.206 % |
309.70/309.95 c | 386820 | 936 43546 214742 | 2147483647 117321 29 | 3.207 % |
311.80/312.02 c | 390116 | 936 43546 214742 | 2147483647 120617 29 | 3.206 % |
314.60/314.80 c | 393742 | 936 43546 214742 | 2147483647 124243 29 | 3.206 % |
314.70/314.91 c | 393843 | 936 43546 214742 | 2147483647 124344 29 | 3.207 % |
314.80/315.02 c | 393956 | 936 43546 214742 | 2147483647 124457 29 | 3.207 % |
314.90/315.12 c | 394078 | 936 43546 214742 | 2147483647 124579 29 | 3.206 % |
315.00/315.28 c | 394211 | 936 43546 214742 | 2147483647 124712 29 | 3.206 % |
315.20/315.41 c | 394359 | 936 43546 214742 | 2147483647 124860 29 | 3.206 % |
315.30/315.53 c | 394519 | 936 43546 214742 | 2147483647 125020 29 | 3.206 % |
315.40/315.68 c | 394697 | 936 43546 214742 | 2147483647 125198 29 | 3.206 % |
315.60/315.89 c | 394890 | 936 43546 214742 | 2147483647 125391 29 | 3.206 % |
315.80/316.07 c | 395103 | 936 43546 214742 | 2147483647 125604 29 | 3.206 % |
316.00/316.29 c | 395336 | 936 43546 214742 | 2147483647 125837 29 | 3.206 % |
316.30/316.53 c | 395593 | 936 43546 214742 | 2147483647 126094 29 | 3.208 % |
316.60/316.88 c | 395874 | 936 43546 214742 | 2147483647 126375 29 | 3.206 % |
316.80/317.04 c | 396183 | 936 43546 214742 | 2147483647 126684 29 | 3.206 % |
317.20/317.44 c | 396522 | 936 43546 214742 | 2147483647 127023 29 | 3.208 % |
317.40/317.67 c | 396897 | 936 43546 214742 | 2147483647 127398 29 | 3.206 % |
317.70/317.99 c | 397308 | 936 43546 214742 | 2147483647 127809 29 | 3.207 % |
318.30/318.51 c | 397757 | 936 43546 214742 | 2147483647 128258 29 | 3.207 % |
318.70/318.93 c | 398250 | 936 43546 214742 | 2147483647 128751 29 | 3.207 % |
319.20/319.45 c | 398792 | 936 43546 214742 | 2147483647 129293 29 | 3.206 % |
319.80/320.01 c | 399390 | 936 43546 214742 | 2147483647 129891 29 | 3.206 % |
320.20/320.46 c | 400046 | 936 43546 214742 | 130503 130547 29 | 3.207 % |
321.20/321.46 c | 400767 | 936 43546 214742 | 130503 112765 29 | 3.206 % |
321.80/322.08 c | 401559 | 936 43546 214742 | 130503 113557 29 | 3.207 % |
322.70/322.99 c | 402430 | 936 43546 214742 | 130503 114428 29 | 3.207 % |
323.39/323.66 c | 403389 | 936 43546 214742 | 130503 115387 29 | 3.206 % |
324.59/324.86 c | 404443 | 936 43546 214742 | 130503 116441 29 | 3.206 % |
325.69/325.95 c | 405601 | 936 43546 214742 | 130503 117599 29 | 3.207 % |
326.99/327.25 c | 406879 | 936 43546 214742 | 130503 118877 29 | 3.206 % |
328.60/328.87 c | 408279 | 936 43546 214742 | 130503 120277 29 | 3.207 % |
330.59/330.87 c | 409820 | 936 43546 214742 | 130503 121818 29 | 3.207 % |
332.69/332.98 c | 411514 | 936 43546 214742 | 121998 107510 29 | 3.206 % |
334.59/334.89 c | 413377 | 936 43546 214742 | 121998 109373 29 | 3.206 % |
336.30/336.57 c | 415426 | 936 43546 214742 | 121998 111422 29 | 3.206 % |
338.29/338.58 c | 417679 | 936 43546 214742 | 121998 113675 29 | 3.206 % |
340.89/341.13 c | 420159 | 936 43546 214742 | 115998 116155 29 | 3.206 % |
343.29/343.59 c | 422884 | 936 43546 214742 | 115998 103842 29 | 3.207 % |
346.19/346.43 c | 425881 | 936 43546 214742 | 115998 106839 29 | 3.206 % |
349.29/349.54 c | 429177 | 936 43546 214742 | 115998 110135 29 | 3.206 % |
351.89/352.14 c | 432802 | 936 43546 214742 | 110960 99991 29 | 3.207 % |
356.48/356.70 c | 436790 | 936 43546 214742 | 110960 103979 29 | 3.206 % |
356.58/356.82 c | 436891 | 936 43546 214742 | 110960 104080 29 | 3.206 % |
356.68/356.93 c | 437002 | 936 43546 214742 | 110960 104191 29 | 3.206 % |
356.78/357.09 c | 437124 | 936 43546 214742 | 110960 104313 29 | 3.206 % |
356.98/357.25 c | 437258 | 936 43546 214742 | 110960 104447 29 | 3.206 % |
357.19/357.40 c | 437404 | 936 43546 214742 | 110960 104593 29 | 3.206 % |
357.38/357.61 c | 437564 | 936 43546 214742 | 110960 104753 29 | 3.206 % |
357.48/357.79 c | 437741 | 936 43546 214742 | 110960 104930 29 | 3.207 % |
357.68/357.96 c | 437934 | 936 43546 214742 | 110960 105123 29 | 3.207 % |
357.98/358.21 c | 438146 | 936 43546 214742 | 110960 105335 29 | 3.207 % |
358.18/358.48 c | 438381 | 936 43546 214742 | 110960 105570 29 | 3.207 % |
358.58/358.82 c | 438637 | 936 43546 214742 | 110960 105826 29 | 3.206 % |
358.78/359.09 c | 438918 | 936 43546 214742 | 110960 106107 29 | 3.207 % |
359.18/359.45 c | 439229 | 936 43546 214742 | 110960 106418 29 | 3.207 % |
359.58/359.81 c | 439568 | 936 43546 214742 | 110960 106757 29 | 3.207 % |
359.88/360.18 c | 439941 | 936 43546 214742 | 110960 107130 29 | 3.207 % |
360.38/360.60 c | 440350 | 936 43546 214742 | 2147483647 107539 29 | 3.207 % |
360.78/361.07 c | 440800 | 936 43546 214742 | 2147483647 107989 29 | 3.206 % |
361.28/361.52 c | 441293 | 936 43546 214742 | 2147483647 108482 29 | 3.207 % |
361.88/362.16 c | 441836 | 936 43546 214742 | 2147483647 109025 29 | 3.207 % |
362.48/362.71 c | 442435 | 936 43546 214742 | 2147483647 109624 29 | 3.206 % |
363.08/363.38 c | 443090 | 936 43546 214742 | 2147483647 110279 29 | 3.207 % |
363.98/364.23 c | 443810 | 936 43546 214742 | 2147483647 110999 29 | 3.206 % |
364.68/364.91 c | 444603 | 936 43546 214742 | 2147483647 111792 29 | 3.206 % |
365.18/365.41 c | 445474 | 936 43546 214742 | 2147483647 112663 29 | 3.206 % |
366.08/366.34 c | 446433 | 936 43546 214742 | 2147483647 113622 29 | 3.206 % |
366.78/367.08 c | 447487 | 936 43546 214742 | 2147483647 114676 30 | 3.206 % |
367.98/368.22 c | 448646 | 936 43546 214742 | 2147483647 115835 30 | 3.206 % |
369.28/369.52 c | 449920 | 936 43546 214742 | 2147483647 117109 30 | 3.207 % |
370.68/370.97 c | 451322 | 936 43546 214742 | 117189 105365 29 | 3.206 % |
372.08/372.38 c | 452862 | 936 43546 214742 | 117189 106905 29 | 3.207 % |
373.28/373.52 c | 454557 | 936 43546 214742 | 117189 108600 29 | 3.207 % |
375.28/375.57 c | 456421 | 936 43546 214742 | 117189 110464 30 | 3.206 % |
377.08/377.34 c | 458471 | 936 43546 214742 | 117189 112514 30 | 3.206 % |
379.38/379.64 c | 460724 | 936 43546 214742 | 114044 101360 29 | 3.206 % |
381.88/382.13 c | 463205 | 936 43546 214742 | 114044 103841 29 | 3.206 % |
384.87/385.16 c | 465933 | 936 43546 214742 | 114044 106569 29 | 3.206 % |
388.77/389.07 c | 468930 | 936 43546 214742 | 114044 109566 29 | 3.206 % |
391.57/391.82 c | 472227 | 936 43546 214742 | 110636 95151 29 | 3.207 % |
395.18/395.41 c | 475853 | 936 43546 214742 | 110636 98777 29 | 3.206 % |
399.18/399.48 c | 479840 | 936 43546 214742 | 110636 102764 29 | 3.206 % |
402.88/403.11 c | 484227 | 936 43546 214742 | 102925 96834 29 | 3.206 % |
402.98/403.23 c | 484327 | 936 43546 214742 | 102925 96934 29 | 3.206 % |
403.08/403.38 c | 484440 | 936 43546 214742 | 102925 97047 29 | 3.206 % |
403.28/403.53 c | 484562 | 936 43546 214742 | 102925 97169 29 | 3.207 % |
403.38/403.70 c | 484698 | 936 43546 214742 | 102925 97305 29 | 3.207 % |
403.58/403.84 c | 484846 | 936 43546 214742 | 102925 97453 29 | 3.207 % |
403.78/404.01 c | 485007 | 936 43546 214742 | 102925 97614 29 | 3.206 % |
403.98/404.22 c | 485183 | 936 43546 214742 | 102925 97790 29 | 3.207 % |
404.08/404.39 c | 485380 | 936 43546 214742 | 102925 97987 29 | 3.206 % |
404.38/404.68 c | 485593 | 936 43546 214742 | 102925 98200 29 | 3.206 % |
404.68/404.93 c | 485826 | 936 43546 214742 | 102925 98433 29 | 3.206 % |
404.98/405.20 c | 486086 | 936 43546 214742 | 102925 98693 29 | 3.206 % |
405.18/405.48 c | 486370 | 936 43546 214742 | 102925 98977 29 | 3.206 % |
405.48/405.77 c | 486679 | 936 43546 214742 | 102925 99286 29 | 3.206 % |
405.88/406.13 c | 487019 | 936 43546 214742 | 102925 99626 29 | 3.207 % |
406.28/406.54 c | 487392 | 936 43546 214742 | 102925 99999 29 | 3.206 % |
406.68/406.98 c | 487802 | 936 43546 214742 | 102925 100409 29 | 3.206 % |
407.28/407.54 c | 488253 | 936 43546 214742 | 102925 100860 29 | 3.207 % |
407.98/408.21 c | 488747 | 936 43546 214742 | 102925 101354 29 | 3.207 % |
408.48/408.78 c | 489292 | 936 43546 214742 | 102925 101899 30 | 3.206 % |
409.17/409.44 c | 489891 | 936 43546 214742 | 102925 102498 30 | 3.207 % |
409.87/410.20 c | 490548 | 936 43546 214742 | 2147483647 103155 30 | 3.207 % |
410.57/410.87 c | 491269 | 936 43546 214742 | 2147483647 103876 30 | 3.207 % |
411.08/411.39 c | 492061 | 936 43546 214742 | 2147483647 104668 30 | 3.207 % |
411.77/412.03 c | 492932 | 936 43546 214742 | 2147483647 105539 30 | 3.206 % |
412.67/412.92 c | 493890 | 936 43546 214742 | 2147483647 106497 30 | 3.207 % |
413.67/413.98 c | 494943 | 936 43546 214742 | 2147483647 107550 30 | 3.207 % |
414.97/415.25 c | 496101 | 936 43546 214742 | 2147483647 108708 30 | 3.206 % |
416.07/416.30 c | 497376 | 936 43546 214742 | 2147483647 109983 30 | 3.206 % |
416.97/417.24 c | 498776 | 936 43546 214742 | 2147483647 111383 30 | 3.207 % |
419.07/419.30 c | 500316 | 936 43546 214742 | 2147483647 112923 30 | 3.207 % |
420.77/421.01 c | 502012 | 936 43546 214742 | 2147483647 114619 30 | 3.207 % |
422.27/422.57 c | 503875 | 936 43546 214742 | 2147483647 116482 30 | 3.206 % |
424.67/424.92 c | 505924 | 935 43496 214482 | 2147483647 118530 30 | 3.310 % |
427.57/427.81 c | 508178 | 935 43496 214482 | 2147483647 120784 30 | 3.311 % |
429.97/430.22 c | 510657 | 935 43496 214482 | 122606 110984 30 | 3.309 % |
433.17/433.49 c | 513382 | 935 43496 214482 | 122606 113709 30 | 3.310 % |
436.37/436.60 c | 516379 | 935 43496 214482 | 122606 116706 30 | 3.310 % |
439.67/439.93 c | 519675 | 935 43496 214482 | 122606 120002 31 | 3.310 % |
443.76/444.02 c | 523300 | 935 43496 214482 | 120328 106133 30 | 3.310 % |
447.56/447.82 c | 527288 | 935 43496 214482 | 120328 110121 30 | 3.309 % |
451.66/451.99 c | 531673 | 935 43496 214482 | 112833 100027 29 | 3.310 % |
456.36/456.62 c | 536496 | 935 43496 214482 | 112833 104850 30 | 3.310 % |
456.46/456.74 c | 536598 | 935 43496 214482 | 112833 104952 30 | 3.310 % |
456.56/456.87 c | 536709 | 935 43496 214482 | 112833 105063 30 | 3.309 % |
456.66/456.99 c | 536830 | 935 43496 214482 | 112833 105184 30 | 3.310 % |
456.86/457.16 c | 536963 | 935 43496 214482 | 112833 105317 30 | 3.310 % |
457.06/457.33 c | 537109 | 935 43496 214482 | 112833 105463 30 | 3.309 % |
457.36/457.62 c | 537269 | 935 43496 214482 | 112833 105623 30 | 3.310 % |
457.56/457.81 c | 537446 | 935 43496 214482 | 112833 105800 30 | 3.310 % |
457.66/457.99 c | 537639 | 935 43496 214482 | 112833 105993 30 | 3.310 % |
458.06/458.30 c | 537852 | 935 43496 214482 | 112833 106206 30 | 3.310 % |
458.26/458.53 c | 538086 | 935 43496 214482 | 112833 106440 30 | 3.309 % |
458.46/458.79 c | 538343 | 935 43496 214482 | 112833 106697 30 | 3.310 % |
458.66/458.98 c | 538626 | 935 43496 214482 | 112833 106980 30 | 3.309 % |
459.06/459.30 c | 538936 | 935 43496 214482 | 112833 107290 30 | 3.309 % |
459.36/459.66 c | 539277 | 935 43496 214482 | 112833 107631 30 | 3.310 % |
459.86/460.19 c | 539649 | 935 43496 214482 | 112833 108003 30 | 3.310 % |
460.46/460.74 c | 540061 | 935 43496 214482 | 108354 108415 30 | 3.310 % |
461.16/461.44 c | 540512 | 935 43496 214482 | 108354 95263 29 | 3.310 % |
461.66/461.91 c | 541007 | 935 43496 214482 | 108354 95758 29 | 3.310 % |
462.15/462.49 c | 541550 | 935 43496 214482 | 108354 96301 30 | 3.309 % |
462.76/463.07 c | 542146 | 935 43496 214482 | 108354 96897 30 | 3.310 % |
463.35/463.68 c | 542802 | 935 43496 214482 | 108354 97553 30 | 3.309 % |
464.05/464.34 c | 543523 | 935 43496 214482 | 108354 98274 30 | 3.310 % |
464.55/464.83 c | 544316 | 935 43496 214482 | 108354 99067 30 | 3.309 % |
464.96/465.25 c | 545189 | 935 43496 214482 | 108354 99940 30 | 3.310 % |
465.95/466.21 c | 546147 | 935 43496 214482 | 108354 100898 30 | 3.309 % |
466.75/467.07 c | 547200 | 935 43496 214482 | 108354 101951 30 | 3.310 % |
467.55/467.89 c | 548359 | 935 43496 214482 | 108354 103110 30 | 3.310 % |
468.85/469.17 c | 549632 | 935 43496 214482 | 108354 104383 30 | 3.310 % |
470.55/470.81 c | 551032 | 935 43496 214482 | 2147483647 105783 30 | 3.309 % |
471.35/471.68 c | 552572 | 935 43496 214482 | 2147483647 107323 30 | 3.310 % |
473.45/473.71 c | 554266 | 935 43496 214482 | 2147483647 109017 30 | 3.309 % |
474.95/475.27 c | 556131 | 935 43496 214482 | 2147483647 110882 30 | 3.309 % |
477.05/477.31 c | 558181 | 935 43496 214482 | 2147483647 112932 30 | 3.310 % |
479.55/479.87 c | 560434 | 935 43496 214482 | 114751 102407 30 | 3.309 % |
482.25/482.53 c | 562915 | 935 43496 214482 | 114751 104888 30 | 3.309 % |
484.94/485.28 c | 565640 | 935 43496 214482 | 114751 107613 30 | 3.309 % |
487.84/488.11 c | 568637 | 935 43496 214482 | 114751 110610 30 | 3.309 % |
491.64/491.99 c | 571935 | 935 43496 214482 | 2147483647 113908 30 | 3.309 % |
494.84/495.12 c | 575560 | 935 43496 214482 | 2147483647 117533 30 | 3.310 % |
497.74/498.04 c | 579547 | 935 43496 214482 | 2147483647 121520 30 | 3.310 % |
502.74/503.02 c | 583933 | 935 43496 214482 | 121973 112183 30 | 3.309 % |
508.64/508.94 c | 588756 | 935 43496 214482 | 121973 117006 30 | 3.310 % |
512.94/513.28 c | 594061 | 935 43496 214482 | 118252 104890 29 | 3.310 % |
513.14/513.45 c | 594161 | 935 43496 214482 | 118252 104990 29 | 3.310 % |
513.24/513.58 c | 594271 | 935 43496 214482 | 118252 105100 29 | 3.310 % |
513.44/513.73 c | 594393 | 935 43496 214482 | 118252 105222 29 | 3.309 % |
513.54/513.86 c | 594527 | 935 43496 214482 | 118252 105356 29 | 3.309 % |
513.74/514.10 c | 594674 | 935 43496 214482 | 118252 105503 29 | 3.309 % |
513.94/514.26 c | 594834 | 935 43496 214482 | 118252 105663 29 | 3.310 % |
514.23/514.52 c | 595011 | 935 43496 214482 | 118252 105840 29 | 3.310 % |
514.44/514.79 c | 595204 | 935 43496 214482 | 118252 106033 29 | 3.309 % |
514.63/514.99 c | 595416 | 935 43496 214482 | 118252 106245 29 | 3.309 % |
514.83/515.15 c | 595649 | 935 43496 214482 | 118252 106478 29 | 3.310 % |
515.13/515.45 c | 595905 | 935 43496 214482 | 118252 106734 29 | 3.309 % |
515.43/515.74 c | 596187 | 935 43496 214482 | 118252 107016 29 | 3.310 % |
515.73/516.08 c | 596498 | 935 43496 214482 | 118252 107327 29 | 3.310 % |
516.03/516.33 c | 596840 | 935 43496 214482 | 118252 107669 29 | 3.309 % |
516.33/516.66 c | 597213 | 935 43496 214482 | 118252 108042 29 | 3.310 % |
516.74/517.08 c | 597622 | 935 43496 214482 | 118252 108451 29 | 3.310 % |
517.03/517.38 c | 598071 | 935 43496 214482 | 118252 108900 29 | 3.310 % |
517.23/517.57 c | 598564 | 935 43496 214482 | 118252 109393 29 | 3.309 % |
518.03/518.31 c | 599106 | 935 43496 214482 | 118252 109935 30 | 3.309 % |
518.53/518.87 c | 599705 | 935 43496 214482 | 118252 110534 30 | 3.309 % |
519.33/519.66 c | 600362 | 935 43496 214482 | 110830 97529 28 | 3.310 % |
519.94/520.26 c | 601083 | 935 43496 214482 | 110830 98250 28 | 3.309 % |
520.73/521.04 c | 601877 | 935 43496 214482 | 110830 99044 29 | 3.310 % |
521.43/521.79 c | 602749 | 935 43496 214482 | 110830 99916 28 | 3.310 % |
522.43/522.74 c | 603707 | 935 43496 214482 | 110830 100874 29 | 3.310 % |
523.33/523.67 c | 604760 | 935 43496 214482 | 110830 101927 29 | 3.309 % |
524.43/524.73 c | 605919 | 935 43496 214482 | 110830 103086 29 | 3.309 % |
525.33/525.65 c | 607192 | 935 43496 214482 | 110830 104359 29 | 3.310 % |
526.83/527.18 c | 608594 | 935 43496 214482 | 110830 105761 29 | 3.310 % |
527.93/528.28 c | 610134 | 935 43496 214482 | 2147483647 107301 29 | 3.310 % |
529.83/530.13 c | 611828 | 935 43496 214482 | 2147483647 108995 29 | 3.309 % |
531.63/531.94 c | 613691 | 935 43496 214482 | 2147483647 110858 30 | 3.309 % |
534.03/534.30 c | 615741 | 935 43496 214482 | 2147483647 112908 30 | 3.309 % |
536.23/536.55 c | 617996 | 935 43496 214482 | 2147483647 115163 30 | 3.310 % |
538.22/538.57 c | 620476 | 935 43496 214482 | 2147483647 117643 30 | 3.310 % |
541.62/541.95 c | 623201 | 935 43496 214482 | 2147483647 120368 30 | 3.311 % |
545.12/545.45 c | 626198 | 935 43496 214482 | 2147483647 123365 31 | 3.310 % |
549.02/549.36 c | 629494 | 935 43496 214482 | 2147483647 126661 31 | 3.310 % |
552.52/552.83 c | 633119 | 935 43496 214482 | 127168 109631 30 | 3.309 % |
556.52/556.87 c | 637107 | 935 43496 214482 | 127168 113619 30 | 3.310 % |
561.92/562.27 c | 641492 | 935 43496 214482 | 116512 101192 30 | 3.310 % |
566.81/567.14 c | 646316 | 935 43496 214482 | 116512 106016 30 | 3.309 % |
572.21/572.59 c | 651621 | 935 43496 214482 | 109700 96166 30 | 3.310 % |
577.71/578.09 c | 657456 | 935 43496 214482 | 109700 102001 31 | 3.310 % |
577.81/578.19 c | 657558 | 935 43496 214482 | 109700 102103 31 | 3.309 % |
578.01/578.30 c | 657669 | 935 43496 214482 | 109700 102214 31 | 3.309 % |
578.11/578.42 c | 657790 | 935 43496 214482 | 109700 102335 31 | 3.310 % |
578.22/578.60 c | 657923 | 935 43496 214482 | 109700 102468 31 | 3.310 % |
578.32/578.68 c | 658071 | 935 43496 214482 | 109700 102616 31 | 3.310 % |
578.51/578.87 c | 658233 | 935 43496 214482 | 109700 102778 31 | 3.309 % |
578.71/579.08 c | 658409 | 935 43496 214482 | 109700 102954 31 | 3.309 % |
579.01/579.32 c | 658604 | 935 43496 214482 | 109700 103149 31 | 3.309 % |
579.21/579.55 c | 658818 | 935 43496 214482 | 109700 103363 31 | 3.310 % |
579.51/579.80 c | 659052 | 935 43496 214482 | 109700 103597 31 | 3.309 % |
579.71/580.09 c | 659308 | 935 43496 214482 | 109700 103853 31 | 3.310 % |
580.11/580.47 c | 659589 | 935 43496 214482 | 109700 104134 31 | 3.310 % |
580.41/580.77 c | 659898 | 935 43496 214482 | 109700 104443 31 | 3.310 % |
580.61/580.98 c | 660237 | 935 43496 214482 | 104546 104782 31 | 3.310 % |
581.21/581.54 c | 660610 | 935 43496 214482 | 104546 92903 30 | 3.309 % |
581.41/581.79 c | 661020 | 935 43496 214482 | 104546 93313 30 | 3.310 % |
581.61/581.99 c | 661470 | 935 43496 214482 | 104546 93763 30 | 3.310 % |
582.11/582.48 c | 661964 | 935 43496 214482 | 104546 94257 30 | 3.309 % |
582.51/582.88 c | 662509 | 935 43496 214482 | 104546 94802 30 | 3.310 % |
583.21/583.56 c | 663107 | 935 43496 214482 | 104546 95400 30 | 3.310 % |
583.91/584.22 c | 663764 | 935 43496 214482 | 104546 96057 30 | 3.310 % |
584.61/584.97 c | 664486 | 935 43496 214482 | 104546 96779 30 | 3.310 % |
585.41/585.72 c | 665279 | 935 43496 214482 | 104546 97572 30 | 3.310 % |
586.11/586.49 c | 666150 | 935 43496 214482 | 104546 98443 30 | 3.309 % |
586.91/587.22 c | 667108 | 935 43496 214482 | 104546 99401 31 | 3.310 % |
587.71/588.09 c | 668161 | 935 43496 214482 | 104546 100454 31 | 3.310 % |
588.80/589.14 c | 669322 | 935 43496 214482 | 104546 101615 31 | 3.310 % |
590.00/590.32 c | 670595 | 935 43496 214482 | 2147483647 102888 31 | 3.309 % |
591.41/591.71 c | 671996 | 935 43496 214482 | 2147483647 104289 31 | 3.309 % |
592.20/592.58 c | 673539 | 935 43496 214482 | 2147483647 105832 31 | 3.309 % |
594.10/594.46 c | 675234 | 935 43496 214482 | 2147483647 107527 31 | 3.309 % |
596.20/596.58 c | 677098 | 935 43496 214482 | 2147483647 109391 31 | 3.311 % |
598.11/598.47 c | 679148 | 935 43496 214482 | 2147483647 111441 31 | 3.310 % |
600.10/600.49 c | 681401 | 935 43496 214482 | 2147483647 113694 31 | 3.310 % |
602.70/603.00 c | 683879 | 935 43496 214482 | 2147483647 116172 31 | 3.311 % |
605.30/605.64 c | 686606 | 935 43496 214482 | 2147483647 118899 31 | 3.310 % |
608.70/609.03 c | 689603 | 935 43496 214482 | 2147483647 121896 31 | 3.310 % |
611.90/612.26 c | 692899 | 935 43496 214482 | 122293 107196 30 | 3.309 % |
614.60/614.98 c | 696526 | 935 43496 214482 | 122293 110823 30 | 3.310 % |
616.90/617.25 c | 700514 | 935 43496 214482 | 2147483647 114811 30 | 3.310 % |
621.59/621.91 c | 704901 | 935 43496 214482 | 2147483647 119198 30 | 3.310 % |
626.19/626.53 c | 709724 | 934 43446 214222 | 2147483647 124020 30 | 3.414 % |
630.69/631.08 c | 715030 | 934 43446 214222 | 124296 109752 30 | 3.414 % |
635.29/635.69 c | 720865 | 934 43446 214222 | 114724 100500 29 | 3.413 % |
640.79/641.17 c | 727285 | 934 43446 214222 | 114724 106920 29 | 3.414 % |
640.90/641.27 c | 727386 | 934 43446 214222 | 114724 107021 29 | 3.413 % |
641.00/641.36 c | 727496 | 934 43446 214222 | 114724 107131 29 | 3.413 % |
641.10/641.46 c | 727617 | 934 43446 214222 | 114724 107252 29 | 3.414 % |
641.20/641.56 c | 727751 | 934 43446 214222 | 114724 107386 29 | 3.413 % |
641.40/641.70 c | 727897 | 934 43446 214222 | 114724 107532 29 | 3.414 % |
641.50/641.87 c | 728057 | 934 43446 214222 | 114724 107692 29 | 3.414 % |
641.70/642.08 c | 728233 | 934 43446 214222 | 114724 107868 29 | 3.413 % |
641.90/642.25 c | 728426 | 934 43446 214222 | 114724 108061 29 | 3.413 % |
642.10/642.48 c | 728639 | 934 43446 214222 | 114724 108274 29 | 3.414 % |
642.30/642.69 c | 728872 | 934 43446 214222 | 114724 108507 29 | 3.413 % |
642.70/643.00 c | 729129 | 934 43446 214222 | 114724 108764 29 | 3.414 % |
643.00/643.32 c | 729410 | 934 43446 214222 | 114724 109045 29 | 3.413 % |
643.40/643.75 c | 729720 | 934 43446 214222 | 114724 109355 29 | 3.414 % |
643.80/644.14 c | 730061 | 934 43446 214222 | 109635 109696 29 | 3.414 % |
644.40/644.75 c | 730433 | 934 43446 214222 | 109635 94757 28 | 3.414 % |
644.70/645.05 c | 730844 | 934 43446 214222 | 109635 95168 29 | 3.414 % |
645.19/645.50 c | 731293 | 934 43446 214222 | 109635 95617 29 | 3.414 % |
645.69/646.02 c | 731787 | 934 43446 214222 | 109635 96111 29 | 3.414 % |
646.29/646.60 c | 732330 | 934 43446 214222 | 109635 96654 29 | 3.413 % |
646.59/647.00 c | 732927 | 934 43446 214222 | 109635 97251 29 | 3.414 % |
647.29/647.63 c | 733582 | 934 43446 214222 | 109635 97906 29 | 3.413 % |
647.69/648.09 c | 734304 | 934 43446 214222 | 109635 98628 29 | 3.413 % |
648.39/648.76 c | 735098 | 934 43446 214222 | 109635 99422 29 | 3.414 % |
649.09/649.45 c | 735971 | 934 43446 214222 | 109635 100295 29 | 3.413 % |
650.09/650.49 c | 736929 | 934 43446 214222 | 109635 101253 29 | 3.414 % |
651.39/651.70 c | 737983 | 934 43446 214222 | 109635 102307 29 | 3.413 % |
652.49/652.88 c | 739141 | 934 43446 214222 | 109635 103465 29 | 3.413 % |
653.89/654.28 c | 740415 | 934 43446 214222 | 104324 90833 28 | 3.413 % |
654.99/655.38 c | 741816 | 934 43446 214222 | 104324 92234 28 | 3.413 % |
656.30/656.63 c | 743358 | 934 43446 214222 | 104324 93776 28 | 3.414 % |
657.50/657.86 c | 745052 | 934 43446 214222 | 104324 95470 29 | 3.414 % |
659.09/659.45 c | 746915 | 934 43446 214222 | 104324 97333 29 | 3.413 % |
660.89/661.28 c | 748965 | 934 43446 214222 | 104324 99383 29 | 3.413 % |
663.09/663.45 c | 751219 | 934 43446 214222 | 100419 89892 29 | 3.414 % |
665.09/665.47 c | 753698 | 934 43446 214222 | 100419 92371 29 | 3.414 % |
666.89/667.23 c | 756423 | 934 43446 214222 | 100419 95096 29 | 3.414 % |
668.99/669.37 c | 759421 | 934 43446 214222 | 100419 98094 29 | 3.415 % |
672.09/672.44 c | 762717 | 934 43446 214222 | 2147483647 101390 29 | 3.414 % |
675.39/675.78 c | 766343 | 934 43446 214222 | 2147483647 105016 29 | 3.414 % |
678.29/678.61 c | 770332 | 934 43446 214222 | 2147483647 109005 29 | 3.413 % |
681.78/682.14 c | 774717 | 934 43446 214222 | 2147483647 113390 29 | 3.414 % |
687.09/687.44 c | 779543 | 934 43446 214222 | 2147483647 118216 29 | 3.413 % |
692.48/692.89 c | 784851 | 934 43446 214222 | 118673 110771 30 | 3.413 % |
698.78/699.11 c | 790687 | 934 43446 214222 | 2147483647 116607 30 | 3.414 % |
704.57/704.99 c | 797107 | 934 43446 214222 | 2147483647 123027 30 | 3.413 % |
711.47/711.89 c | 804169 | 934 43446 214222 | 125921 117477 30 | 3.413 % |
711.57/711.98 c | 804269 | 934 43446 214222 | 125921 117577 30 | 3.413 % |
711.67/712.08 c | 804379 | 934 43446 214222 | 125921 117687 30 | 3.413 % |
711.77/712.17 c | 804501 | 934 43446 214222 | 125921 117809 30 | 3.413 % |
711.97/712.35 c | 804636 | 934 43446 214222 | 125921 117944 30 | 3.414 % |
712.07/712.48 c | 804782 | 934 43446 214222 | 125921 118090 30 | 3.414 % |
712.27/712.67 c | 804945 | 934 43446 214222 | 125921 118253 30 | 3.413 % |
712.57/712.91 c | 805121 | 934 43446 214222 | 125921 118429 30 | 3.414 % |
712.77/713.13 c | 805316 | 934 43446 214222 | 125921 118624 30 | 3.414 % |
712.97/713.36 c | 805531 | 934 43446 214222 | 125921 118839 30 | 3.414 % |
713.37/713.73 c | 805765 | 934 43446 214222 | 125921 119073 30 | 3.414 % |
713.57/713.97 c | 806022 | 934 43446 214222 | 125921 119330 30 | 3.413 % |
713.97/714.33 c | 806305 | 934 43446 214222 | 125921 119613 30 | 3.414 % |
714.07/714.47 c | 806616 | 934 43446 214222 | 125921 119924 30 | 3.413 % |
714.37/714.70 c | 806955 | 934 43446 214222 | 125921 120263 30 | 3.414 % |
714.77/715.19 c | 807331 | 934 43446 214222 | 125921 120639 30 | 3.414 % |
715.17/715.55 c | 807740 | 934 43446 214222 | 125921 121048 30 | 3.413 % |
715.67/716.06 c | 808189 | 934 43446 214222 | 125921 121497 30 | 3.413 % |
716.16/716.57 c | 808682 | 934 43446 214222 | 125921 121990 30 | 3.413 % |
716.87/717.23 c | 809224 | 934 43446 214222 | 125921 122532 30 | 3.413 % |
717.56/717.92 c | 809820 | 934 43446 214222 | 125921 123128 30 | 3.414 % |
718.36/718.77 c | 810475 | 934 43446 214222 | 123309 111333 29 | 3.413 % |
718.97/719.36 c | 811197 | 934 43446 214222 | 123309 112055 29 | 3.414 % |
719.56/719.94 c | 811989 | 934 43446 214222 | 123309 112847 29 | 3.413 % |
720.56/720.91 c | 812860 | 934 43446 214222 | 123309 113718 29 | 3.413 % |
721.56/721.90 c | 813819 | 934 43446 214222 | 123309 114677 29 | 3.413 % |
722.46/722.81 c | 814873 | 934 43446 214222 | 123309 115731 29 | 3.414 % |
723.46/723.87 c | 816034 | 934 43446 214222 | 123309 116892 30 | 3.414 % |
724.96/725.35 c | 817307 | 934 43446 214222 | 123309 118165 30 | 3.414 % |
726.36/726.76 c | 818708 | 934 43446 214222 | 123309 119566 30 | 3.414 % |
728.06/728.47 c | 820250 | 934 43446 214222 | 120860 106762 29 | 3.414 % |
729.66/730.05 c | 821944 | 934 43446 214222 | 120860 108456 29 | 3.414 % |
731.56/731.93 c | 823808 | 934 43446 214222 | 120860 110320 29 | 3.413 % |
734.06/734.44 c | 825860 | 934 43446 214222 | 120860 112372 29 | 3.413 % |
736.05/736.48 c | 828115 | 934 43446 214222 | 120860 114627 29 | 3.413 % |
738.95/739.34 c | 830593 | 934 43446 214222 | 116514 100334 29 | 3.414 % |
741.85/742.27 c | 833318 | 934 43446 214222 | 116514 103059 29 | 3.414 % |
745.25/745.62 c | 836316 | 934 43446 214222 | 116514 106057 29 | 3.413 % |
749.05/749.44 c | 839612 | 934 43446 214222 | 116514 109353 30 | 3.413 % |
752.55/752.91 c | 843237 | 934 43446 214222 | 109741 96873 30 | 3.413 % |
756.35/756.80 c | 847224 | 934 43446 214222 | 109741 100860 30 | 3.413 % |
759.95/760.30 c | 851609 | 934 43446 214222 | 103636 90476 30 | 3.414 % |
763.65/764.07 c | 856432 | 934 43446 214222 | 103636 95299 30 | 3.414 % |
768.34/768.76 c | 861737 | 934 43446 214222 | 2147483647 100604 31 | 3.414 % |
773.95/774.30 c | 867573 | 934 43446 214222 | 2147483647 106440 31 | 3.414 % |
778.84/779.20 c | 873993 | 934 43446 214222 | 108867 101673 31 | 3.413 % |
784.44/784.84 c | 881052 | 934 43446 214222 | 2147483647 108732 32 | 3.413 % |
789.64/790.07 c | 888816 | 934 43446 214222 | 2147483647 116496 32 | 3.414 % |
789.74/790.12 c | 888917 | 934 43446 214222 | 2147483647 116597 32 | 3.413 % |
789.84/790.22 c | 889027 | 934 43446 214222 | 2147483647 116707 32 | 3.414 % |
789.94/790.39 c | 889148 | 934 43446 214222 | 2147483647 116828 32 | 3.413 % |
790.14/790.52 c | 889283 | 934 43446 214222 | 2147483647 116963 32 | 3.413 % |
790.24/790.68 c | 889429 | 934 43446 214222 | 2147483647 117109 32 | 3.413 % |
790.44/790.86 c | 889590 | 934 43446 214222 | 2147483647 117270 32 | 3.414 % |
790.64/791.05 c | 889767 | 934 43446 214222 | 2147483647 117447 32 | 3.414 % |
790.84/791.27 c | 889960 | 934 43446 214222 | 2147483647 117640 32 | 3.414 % |
791.14/791.56 c | 890173 | 934 43446 214222 | 2147483647 117853 32 | 3.414 % |
791.34/791.80 c | 890407 | 934 43446 214222 | 2147483647 118087 32 | 3.413 % |
791.64/792.03 c | 890664 | 934 43446 214222 | 2147483647 118344 32 | 3.414 % |
791.94/792.30 c | 890945 | 934 43446 214222 | 2147483647 118625 32 | 3.414 % |
792.24/792.62 c | 891254 | 934 43446 214222 | 2147483647 118934 32 | 3.413 % |
792.53/792.90 c | 891593 | 934 43446 214222 | 2147483647 119273 32 | 3.413 % |
793.03/793.41 c | 891971 | 934 43446 214222 | 2147483647 119651 32 | 3.413 % |
793.53/793.99 c | 892383 | 934 43446 214222 | 2147483647 120063 32 | 3.413 % |
794.33/794.70 c | 892835 | 934 43446 214222 | 2147483647 120515 32 | 3.413 % |
794.84/795.24 c | 893329 | 934 43446 214222 | 2147483647 121009 32 | 3.413 % |
795.73/796.18 c | 893871 | 934 43446 214222 | 2147483647 121551 32 | 3.413 % |
796.63/797.08 c | 894470 | 934 43446 214222 | 2147483647 122150 32 | 3.414 % |
797.53/797.97 c | 895125 | 934 43446 214222 | 2147483647 122805 32 | 3.414 % |
798.33/798.76 c | 895847 | 934 43446 214222 | 2147483647 123527 32 | 3.414 % |
799.43/799.87 c | 896639 | 934 43446 214222 | 2147483647 124319 32 | 3.413 % |
800.53/800.90 c | 897511 | 934 43446 214222 | 2147483647 125191 32 | 3.414 % |
801.83/802.23 c | 898470 | 934 43446 214222 | 2147483647 126150 32 | 3.414 % |
803.03/803.46 c | 899523 | 934 43446 214222 | 2147483647 127203 32 | 3.413 % |
804.43/804.89 c | 900683 | 934 43446 214222 | 127680 109964 31 | 3.413 % |
805.23/805.61 c | 901957 | 934 43446 214222 | 127680 111238 31 | 3.413 % |
807.03/807.48 c | 903357 | 934 43446 214222 | 127680 112638 31 | 3.413 % |
808.33/808.75 c | 904898 | 934 43446 214222 | 127680 114179 31 | 3.413 % |
809.73/810.16 c | 906592 | 934 43446 214222 | 127680 115873 31 | 3.414 % |
811.83/812.28 c | 908455 | 934 43446 214222 | 127680 117736 31 | 3.413 % |
813.83/814.25 c | 910505 | 934 43446 214222 | 119281 106227 31 | 3.414 % |
815.92/816.39 c | 912759 | 934 43446 214222 | 119281 108481 31 | 3.413 % |
818.82/819.20 c | 915238 | 934 43446 214222 | 119281 110960 31 | 3.414 % |
821.23/821.66 c | 917966 | 934 43446 214222 | 119281 113688 31 | 3.413 % |
825.02/825.41 c | 920963 | 934 43446 214222 | 115723 102622 30 | 3.414 % |
828.32/828.73 c | 924260 | 934 43446 214222 | 115723 105919 30 | 3.414 % |
831.02/831.46 c | 927887 | 934 43446 214222 | 115723 109546 30 | 3.414 % |
834.53/834.99 c | 931874 | 934 43446 214222 | 111659 97971 28 | 3.414 % |
838.72/839.13 c | 936261 | 934 43446 214222 | 111659 102358 29 | 3.414 % |
843.82/844.25 c | 941084 | 934 43446 214222 | 106097 87827 27 | 3.414 % |
847.62/848.03 c | 946390 | 934 43446 214222 | 106097 93133 28 | 3.413 % |
852.02/852.44 c | 952226 | 934 43446 214222 | 2147483647 98969 28 | 3.413 % |
858.01/858.40 c | 958644 | 934 43446 214222 | 2147483647 105387 28 | 3.413 % |
864.61/865.07 c | 965703 | 934 43446 214222 | 2147483647 112446 29 | 3.414 % |
872.21/872.69 c | 973467 | 934 43446 214222 | 116743 106880 29 | 3.413 % |
880.50/880.98 c | 982008 | 934 43446 214222 | 113417 102638 30 | 3.414 % |
880.71/881.11 c | 982108 | 934 43446 214222 | 113417 102738 30 | 3.414 % |
880.80/881.21 c | 982218 | 934 43446 214222 | 113417 102848 30 | 3.414 % |
880.90/881.31 c | 982339 | 934 43446 214222 | 113417 102969 30 | 3.414 % |
881.00/881.45 c | 982472 | 934 43446 214222 | 113417 103102 30 | 3.414 % |
881.10/881.55 c | 982622 | 934 43446 214222 | 113417 103252 30 | 3.413 % |
881.20/881.68 c | 982783 | 934 43446 214222 | 113417 103413 30 | 3.414 % |
881.40/881.86 c | 982960 | 934 43446 214222 | 113417 103590 30 | 3.413 % |
881.60/882.03 c | 983153 | 934 43446 214222 | 113417 103783 30 | 3.413 % |
881.71/882.17 c | 983367 | 934 43446 214222 | 113417 103997 30 | 3.413 % |
881.90/882.39 c | 983600 | 934 43446 214222 | 113417 104230 30 | 3.413 % |
882.10/882.57 c | 983856 | 934 43446 214222 | 113417 104486 30 | 3.413 % |
882.40/882.89 c | 984137 | 934 43446 214222 | 113417 104767 30 | 3.414 % |
882.71/883.18 c | 984446 | 934 43446 214222 | 113417 105076 30 | 3.414 % |
883.21/883.60 c | 984787 | 934 43446 214222 | 113417 105417 30 | 3.414 % |
883.61/884.01 c | 985159 | 934 43446 214222 | 113417 105789 30 | 3.414 % |
883.91/884.35 c | 985571 | 934 43446 214222 | 113417 106201 30 | 3.414 % |
884.41/884.80 c | 986021 | 934 43446 214222 | 113417 106651 30 | 3.414 % |
884.71/885.11 c | 986516 | 934 43446 214222 | 113417 107146 30 | 3.414 % |
885.11/885.51 c | 987059 | 934 43446 214222 | 113417 107689 30 | 3.413 % |
885.61/886.08 c | 987657 | 934 43446 214222 | 113417 108287 30 | 3.413 % |
886.21/886.63 c | 988313 | 934 43446 214222 | 113417 108943 30 | 3.413 % |
886.81/887.29 c | 989033 | 934 43446 214222 | 113417 109663 30 | 3.414 % |
887.61/888.09 c | 989825 | 934 43446 214222 | 113417 110455 30 | 3.414 % |
888.61/889.08 c | 990698 | 934 43446 214222 | 2147483647 111328 30 | 3.414 % |
889.61/890.09 c | 991657 | 934 43446 214222 | 2147483647 112287 30 | 3.413 % |
890.71/891.10 c | 992710 | 934 43446 214222 | 2147483647 113340 30 | 3.415 % |
891.31/891.79 c | 993868 | 934 43446 214222 | 2147483647 114498 30 | 3.413 % |
892.31/892.77 c | 995142 | 934 43446 214222 | 2147483647 115772 30 | 3.413 % |
893.41/893.84 c | 996546 | 934 43446 214222 | 2147483647 117176 30 | 3.414 % |
894.71/895.16 c | 998087 | 934 43446 214222 | 2147483647 118717 30 | 3.413 % |
895.91/896.39 c | 999781 | 934 43446 214222 | 2147483647 120411 30 | 3.414 % |
897.50/897.91 c | 1001646 | 934 43446 214222 | 120630 106942 30 | 3.414 % |
899.20/899.63 c | 1003695 | 934 43446 214222 | 120630 108991 30 | 3.413 % |
900.90/901.36 c | 1005948 | 934 43446 214222 | 120630 111244 30 | 3.414 % |
903.00/903.46 c | 1008426 | 934 43446 214222 | 120630 113722 30 | 3.414 % |
905.60/906.08 c | 1011151 | 934 43446 214222 | 115298 99366 30 | 3.413 % |
908.00/908.43 c | 1014148 | 934 43446 214222 | 115298 102363 30 | 3.413 % |
911.00/911.43 c | 1017444 | 934 43446 214222 | 115298 105659 30 | 3.413 % |
914.10/914.51 c | 1021069 | 934 43446 214222 | 108215 96763 30 | 3.414 % |
917.00/917.46 c | 1025058 | 934 43446 214222 | 108215 100752 30 | 3.413 % |
920.10/920.60 c | 1029444 | 934 43446 214222 | 108215 105138 30 | 3.414 % |
922.90/923.39 c | 1034267 | 934 43446 214222 | 2147483647 109961 30 | 3.414 % |
927.80/928.30 c | 1039573 | 934 43446 214222 | 2147483647 115267 31 | 3.413 % |
932.30/932.72 c | 1045408 | 934 43446 214222 | 2147483647 121102 31 | 3.413 % |
938.69/939.10 c | 1051826 | 934 43446 214222 | 125694 109249 30 | 3.413 % |
944.49/945.00 c | 1058885 | 934 43446 214222 | 125694 116308 30 | 3.413 % |
951.09/951.52 c | 1066650 | 934 43446 214222 | 117424 110493 30 | 3.414 % |
957.89/958.30 c | 1075190 | 934 43446 214222 | 113843 101735 30 | 3.413 % |
966.58/967.03 c | 1084585 | 934 43446 214222 | 106548 100229 29 | 3.413 % |
966.68/967.13 c | 1084685 | 934 43446 214222 | 106548 100329 29 | 3.414 % |
966.78/967.23 c | 1084796 | 934 43446 214222 | 106548 100440 29 | 3.413 % |
966.88/967.34 c | 1084917 | 934 43446 214222 | 106548 100561 29 | 3.413 % |
966.98/967.47 c | 1085050 | 934 43446 214222 | 106548 100694 29 | 3.414 % |
967.18/967.60 c | 1085197 | 934 43446 214222 | 106548 100841 29 | 3.413 % |
967.28/967.71 c | 1085358 | 934 43446 214222 | 106548 101002 29 | 3.413 % |
967.38/967.85 c | 1085534 | 934 43446 214222 | 106548 101178 29 | 3.414 % |
967.59/968.08 c | 1085728 | 934 43446 214222 | 106548 101372 29 | 3.413 % |
967.78/968.24 c | 1085941 | 934 43446 214222 | 106548 101585 29 | 3.413 % |
967.98/968.48 c | 1086174 | 934 43446 214222 | 106548 101818 29 | 3.414 % |
968.28/968.71 c | 1086430 | 934 43446 214222 | 106548 102074 29 | 3.414 % |
968.58/969.02 c | 1086711 | 934 43446 214222 | 106548 102355 29 | 3.413 % |
968.98/969.40 c | 1087020 | 934 43446 214222 | 106548 102664 29 | 3.414 % |
969.28/969.71 c | 1087359 | 934 43446 214222 | 106548 103003 29 | 3.414 % |
969.68/970.13 c | 1087731 | 934 43446 214222 | 106548 103375 29 | 3.413 % |
969.88/970.39 c | 1088140 | 934 43446 214222 | 106548 103784 29 | 3.414 % |
970.38/970.90 c | 1088589 | 934 43446 214222 | 106548 104233 29 | 3.414 % |
970.78/971.20 c | 1089084 | 934 43446 214222 | 106548 104728 29 | 3.413 % |
971.28/971.75 c | 1089628 | 934 43446 214222 | 106548 105272 29 | 3.413 % |
971.68/972.14 c | 1090225 | 934 43446 214222 | 105646 105869 29 | 3.414 % |
972.28/972.78 c | 1090880 | 934 43446 214222 | 105646 92426 28 | 3.413 % |
972.98/973.43 c | 1091601 | 934 43446 214222 | 105646 93147 29 | 3.414 % |
973.58/974.03 c | 1092395 | 934 43446 214222 | 105646 93941 29 | 3.414 % |
974.08/974.53 c | 1093268 | 934 43446 214222 | 105646 94814 29 | 3.413 % |
974.78/975.26 c | 1094226 | 934 43446 214222 | 105646 95772 29 | 3.414 % |
975.88/976.35 c | 1095279 | 934 43446 214222 | 105646 96825 29 | 3.414 % |
976.68/977.17 c | 1096438 | 934 43446 214222 | 105646 97984 29 | 3.414 % |
977.78/978.22 c | 1097711 | 934 43446 214222 | 105646 99257 29 | 3.414 % |
978.88/979.37 c | 1099111 | 934 43446 214222 | 105646 100657 29 | 3.413 % |
980.18/980.65 c | 1100651 | 934 43446 214222 | 2147483647 102197 29 | 3.413 % |
981.47/981.99 c | 1102345 | 934 43446 214222 | 2147483647 103891 29 | 3.413 % |
982.67/983.13 c | 1104208 | 934 43446 214222 | 2147483647 105754 29 | 3.414 % |
984.37/984.87 c | 1106258 | 934 43446 214222 | 2147483647 107804 29 | 3.414 % |
986.77/987.21 c | 1108514 | 934 43446 214222 | 2147483647 110060 30 | 3.413 % |
988.77/989.27 c | 1110992 | 934 43446 214222 | 2147483647 112538 30 | 3.413 % |
991.47/991.95 c | 1113717 | 934 43446 214222 | 2147483647 115263 30 | 3.413 % |
993.77/994.29 c | 1116714 | 934 43446 214222 | 2147483647 118260 30 | 3.414 % |
996.47/996.97 c | 1120010 | 934 43446 214222 | 121548 121556 30 | 3.414 % |
999.17/999.69 c | 1123635 | 934 43446 214222 | 121548 109173 29 | 3.413 % |
1001.57/1002.08 c | 1127622 | 934 43446 214222 | 121548 113160 30 | 3.413 % |
1005.77/1006.22 c | 1132008 | 934 43446 214222 | 2147483647 117546 30 | 3.413 % |
1010.06/1010.56 c | 1136831 | 934 43446 214222 | 2147483647 122369 30 | 3.413 % |
1015.87/1016.30 c | 1142136 | 934 43446 214222 | 125538 110154 30 | 3.413 % |
1020.06/1020.56 c | 1147972 | 934 43446 214222 | 125538 115990 30 | 3.414 % |
1026.16/1026.66 c | 1154390 | 934 43446 214222 | 118018 105127 29 | 3.413 % |
1032.96/1033.46 c | 1161451 | 934 43446 214222 | 110737 100011 29 | 3.414 % |
1039.76/1040.27 c | 1169217 | 934 43446 214222 | 110737 107777 30 | 3.413 % |
1046.66/1047.18 c | 1177757 | 934 43446 214222 | 108560 102124 30 | 3.413 % |
1054.65/1055.12 c | 1187152 | 934 43446 214222 | 2147483647 111519 30 | 3.414 % |
1062.25/1062.74 c | 1197485 | 934 43446 214222 | 114367 105378 30 | 3.414 % |
1062.35/1062.85 c | 1197586 | 934 43446 214222 | 114367 105479 30 | 3.413 % |
1062.45/1062.95 c | 1197697 | 934 43446 214222 | 114367 105590 30 | 3.414 % |
1062.55/1063.05 c | 1197818 | 934 43446 214222 | 114367 105711 30 | 3.413 % |
1062.65/1063.18 c | 1197952 | 934 43446 214222 | 114367 105845 30 | 3.413 % |
1062.95/1063.40 c | 1198100 | 934 43446 214222 | 114367 105993 30 | 3.414 % |
1063.05/1063.55 c | 1198262 | 934 43446 214222 | 114367 106155 30 | 3.414 % |
1063.15/1063.69 c | 1198438 | 934 43446 214222 | 114367 106331 30 | 3.413 % |
1063.35/1063.86 c | 1198631 | 934 43446 214222 | 114367 106524 30 | 3.413 % |
1063.55/1064.03 c | 1198843 | 934 43446 214222 | 114367 106736 30 | 3.413 % |
1063.75/1064.21 c | 1199076 | 934 43446 214222 | 114367 106969 30 | 3.413 % |
1063.95/1064.44 c | 1199332 | 934 43446 214222 | 114367 107225 30 | 3.414 % |
1064.25/1064.76 c | 1199613 | 934 43446 214222 | 114367 107506 30 | 3.414 % |
1064.65/1065.11 c | 1199922 | 934 43446 214222 | 114367 107815 30 | 3.413 % |
1065.05/1065.53 c | 1200261 | 934 43446 214222 | 107893 95924 29 | 3.413 % |
1065.35/1065.87 c | 1200635 | 934 43446 214222 | 107893 96298 29 | 3.414 % |
1065.65/1066.18 c | 1201045 | 934 43446 214222 | 107893 96708 29 | 3.414 % |
1065.95/1066.41 c | 1201496 | 934 43446 214222 | 107893 97159 29 | 3.414 % |
1066.25/1066.74 c | 1201989 | 934 43446 214222 | 107893 97652 29 | 3.413 % |
1066.65/1067.12 c | 1202534 | 934 43446 214222 | 107893 98197 29 | 3.413 % |
1067.24/1067.73 c | 1203130 | 934 43446 214222 | 107893 98793 29 | 3.413 % |
1067.65/1068.19 c | 1203785 | 934 43446 214222 | 107893 99448 29 | 3.413 % |
1068.24/1068.78 c | 1204506 | 934 43446 214222 | 107893 100169 29 | 3.413 % |
1069.04/1069.50 c | 1205298 | 934 43446 214222 | 107893 100961 29 | 3.413 % |
1069.85/1070.36 c | 1206169 | 934 43446 214222 | 107893 101832 29 | 3.413 % |
1070.74/1071.20 c | 1207127 | 934 43446 214222 | 107893 102790 29 | 3.414 % |
1071.34/1071.88 c | 1208180 | 934 43446 214222 | 107893 103843 30 | 3.413 % |
1071.95/1072.40 c | 1209339 | 934 43446 214222 | 107893 105002 30 | 3.413 % |
1073.05/1073.57 c | 1210613 | 934 43446 214222 | 105663 95077 29 | 3.414 % |
1074.34/1074.82 c | 1212015 | 934 43446 214222 | 105663 96479 29 | 3.414 % |
1075.54/1076.01 c | 1213555 | 934 43446 214222 | 105663 98019 29 | 3.414 % |
1076.94/1077.49 c | 1215250 | 934 43446 214222 | 105663 99714 29 | 3.413 % |
1078.34/1078.89 c | 1217114 | 934 43446 214222 | 105663 101578 29 | 3.413 % |
1080.24/1080.78 c | 1219164 | 934 43446 214222 | 105663 103628 30 | 3.413 % |
1081.94/1082.41 c | 1221424 | 934 43446 214222 | 104464 93206 29 | 3.413 % |
1083.74/1084.21 c | 1223902 | 934 43446 214222 | 104464 95684 29 | 3.414 % |
1085.94/1086.41 c | 1226627 | 934 43446 214222 | 104464 98409 29 | 3.413 % |
1088.44/1088.99 c | 1229624 | 934 43446 214222 | 104464 101406 29 | 3.413 % |
1091.64/1092.20 c | 1232920 | 934 43446 214222 | 2147483647 104702 29 | 3.413 % |
1094.84/1095.39 c | 1236545 | 934 43446 214222 | 2147483647 108327 29 | 3.413 % |
1098.23/1098.79 c | 1240532 | 934 43446 214222 | 111785 98685 29 | 3.413 % |
1101.74/1102.27 c | 1244918 | 934 43446 214222 | 111785 103071 29 | 3.414 % |
1105.73/1106.24 c | 1249742 | 934 43446 214222 | 111785 107895 30 | 3.413 % |
1110.13/1110.65 c | 1255047 | 934 43446 214222 | 108155 98118 29 | 3.414 % |
1113.23/1113.79 c | 1260883 | 934 43446 214222 | 2147483647 103954 29 | 3.413 % |
1119.73/1120.27 c | 1267301 | 934 43446 214222 | 2147483647 110372 30 | 3.414 % |
1125.43/1125.97 c | 1274361 | 934 43446 214222 | 113072 99738 29 | 3.413 % |
1133.22/1133.73 c | 1282125 | 934 43446 214222 | 105377 89763 28 | 3.414 % |
1140.12/1140.69 c | 1290667 | 934 43446 214222 | 97640 82993 29 | 3.413 % |
1147.52/1148.09 c | 1300063 | 934 43446 214222 | 92326 92389 29 | 3.413 % |
1153.62/1154.17 c | 1310397 | 934 43446 214222 | 91677 82872 29 | 3.413 % |
1161.51/1162.01 c | 1321768 | 934 43446 214222 | 2147483647 85048 30 | 3.414 % |
1161.51/1162.07 c | 1321868 | 934 43446 214222 | 2147483647 85148 30 | 3.413 % |
1161.61/1162.16 c | 1321978 | 934 43446 214222 | 2147483647 85258 30 | 3.413 % |
1161.71/1162.24 c | 1322100 | 934 43446 214222 | 2147483647 85380 30 | 3.414 % |
1161.81/1162.35 c | 1322234 | 934 43446 214222 | 2147483647 85514 30 | 3.413 % |
1161.91/1162.45 c | 1322380 | 934 43446 214222 | 2147483647 85660 30 | 3.414 % |
1162.01/1162.54 c | 1322540 | 934 43446 214222 | 2147483647 85820 30 | 3.414 % |
1162.12/1162.66 c | 1322716 | 934 43446 214222 | 2147483647 85996 30 | 3.414 % |
1162.22/1162.77 c | 1322909 | 934 43446 214222 | 2147483647 86189 30 | 3.414 % |
1162.41/1162.90 c | 1323121 | 934 43446 214222 | 2147483647 86401 30 | 3.414 % |
1162.51/1163.06 c | 1323354 | 934 43446 214222 | 2147483647 86634 30 | 3.414 % |
1162.71/1163.26 c | 1323610 | 934 43446 214222 | 2147483647 86890 30 | 3.414 % |
1163.01/1163.51 c | 1323895 | 934 43446 214222 | 2147483647 87175 30 | 3.414 % |
1163.22/1163.75 c | 1324205 | 934 43446 214222 | 2147483647 87485 30 | 3.414 % |
1163.41/1163.91 c | 1324546 | 934 43446 214222 | 2147483647 87826 30 | 3.414 % |
1163.61/1164.11 c | 1324920 | 934 43446 214222 | 2147483647 88200 30 | 3.413 % |
1163.81/1164.33 c | 1325329 | 934 43446 214222 | 2147483647 88609 30 | 3.414 % |
1164.11/1164.66 c | 1325780 | 934 43446 214222 | 2147483647 89060 30 | 3.413 % |
1164.51/1165.02 c | 1326273 | 934 43446 214222 | 2147483647 89553 30 | 3.414 % |
1164.81/1165.38 c | 1326816 | 934 43446 214222 | 2147483647 90096 30 | 3.414 % |
1165.31/1165.84 c | 1327412 | 934 43446 214222 | 2147483647 90692 30 | 3.414 % |
1165.71/1166.23 c | 1328068 | 934 43446 214222 | 2147483647 91348 30 | 3.414 % |
1166.21/1166.73 c | 1328789 | 934 43446 214222 | 2147483647 92069 30 | 3.413 % |
1166.62/1167.11 c | 1329581 | 934 43446 214222 | 2147483647 92861 30 | 3.413 % |
1167.21/1167.71 c | 1330453 | 934 43446 214222 | 2147483647 93733 30 | 3.414 % |
1167.81/1168.36 c | 1331411 | 934 43446 214222 | 2147483647 94691 30 | 3.413 % |
1168.51/1169.05 c | 1332466 | 934 43446 214222 | 2147483647 95746 30 | 3.413 % |
1169.41/1169.99 c | 1333624 | 934 43446 214222 | 2147483647 96904 30 | 3.413 % |
1170.31/1170.88 c | 1334898 | 934 43446 214222 | 2147483647 98178 30 | 3.413 % |
1171.32/1171.81 c | 1336298 | 934 43446 214222 | 2147483647 99578 30 | 3.413 % |
1172.72/1173.21 c | 1337838 | 934 43446 214222 | 2147483647 101118 30 | 3.414 % |
1174.02/1174.55 c | 1339532 | 934 43446 214222 | 2147483647 102812 30 | 3.413 % |
1175.02/1175.53 c | 1341395 | 934 43446 214222 | 2147483647 104675 30 | 3.414 % |
1176.62/1177.18 c | 1343446 | 934 43446 214222 | 2147483647 106726 31 | 3.414 % |
1178.62/1179.12 c | 1345700 | 934 43446 214222 | 2147483647 108980 31 | 3.414 % |
1180.71/1181.22 c | 1348179 | 934 43446 214222 | 2147483647 111459 31 | 3.414 % |
1183.81/1184.37 c | 1350904 | 934 43446 214222 | 2147483647 114184 31 | 3.413 % |
1186.91/1187.43 c | 1353901 | 934 43446 214222 | 2147483647 117181 31 | 3.413 % |
1189.91/1190.43 c | 1357197 | 934 43446 214222 | 2147483647 120477 31 | 3.413 % |
1193.71/1194.25 c | 1360824 | 934 43446 214222 | 123280 106579 31 | 3.414 % |
1197.41/1197.97 c | 1364811 | 934 43446 214222 | 123280 110566 31 | 3.413 % |
1200.01/1200.51 HOME/SatELiteGTI: line 36: 12100 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834029-1242827360/watcher-1834029-1242827360 -o /tmp/evaluation-result-1834029-1242827360/solver-1834029-1242827360 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834029-1242827360.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.07 1.00 1.00 3/64 12094
/proc/meminfo: memFree=1919344/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310762150 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 233402237010 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/12094/statm: 1339 235 195 169 0 50 0
[pid=12095] ppid=12094 vsize=5356 CPUtime=0
/proc/12095/stat : 12095 (SatELiteGTI) S 12094 12094 11751 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310762150 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/12095/statm: 1339 238 198 169 0 50 0
[pid=12097] ppid=12095 vsize=192 CPUtime=0
/proc/12097/stat : 12097 (sed) R 12095 12094 11751 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 310762150 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 233399448853 0 0 4096 0 0 0 0 17 0 0 0
/proc/12097/statm: 48 23 16 11 0 11 0
[startup+0.039915 s]
/proc/loadavg: 1.07 1.00 1.00 3/64 12094
/proc/meminfo: memFree=1919344/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310762150 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12094/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101919 s]
/proc/loadavg: 1.07 1.00 1.00 3/64 12094
/proc/meminfo: memFree=1919344/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310762150 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12094/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301938 s]
/proc/loadavg: 1.07 1.00 1.00 3/64 12094
/proc/meminfo: memFree=1919344/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310762150 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12094/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701979 s]
/proc/loadavg: 1.07 1.00 1.00 3/64 12094
/proc/meminfo: memFree=1919344/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310762150 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12094/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50106 s]
/proc/loadavg: 1.07 1.00 1.00 2/66 12100
/proc/meminfo: memFree=1914144/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=5416 CPUtime=0.55
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 1231 0 0 0 55 0 0 0 21 0 1 0 310762243 5545984 1217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 1354 1217 76 171 0 1181 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10772
[startup+3.10122 s]
/proc/loadavg: 1.07 1.00 1.00 2/66 12100
/proc/meminfo: memFree=1912480/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=7196 CPUtime=2.16
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 1681 0 0 0 215 1 0 0 25 0 1 0 310762243 7368704 1667 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 1799 1667 76 171 0 1626 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12552
[startup+6.30153 s]
/proc/loadavg: 1.07 1.00 1.00 2/66 12100
/proc/meminfo: memFree=1909728/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=9472 CPUtime=5.35
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 2253 0 0 0 534 1 0 0 25 0 1 0 310762243 9699328 2239 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 2368 2239 76 171 0 2195 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14828
[startup+12.7012 s]
/proc/loadavg: 1.06 1.00 1.00 2/66 12100
/proc/meminfo: memFree=1906336/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=12608 CPUtime=11.75
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 3035 0 0 0 1173 2 0 0 25 0 1 0 310762243 12910592 3021 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 3152 3021 76 171 0 2979 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 17964
[startup+25.5014 s]
/proc/loadavg: 1.05 1.00 1.00 2/66 12100
/proc/meminfo: memFree=1902112/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=16596 CPUtime=24.54
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 4029 0 0 0 2451 3 0 0 25 0 1 0 310762243 16994304 4015 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 4149 4015 76 171 0 3976 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 21952
[startup+51.102 s]
/proc/loadavg: 1.03 1.00 1.00 2/66 12100
/proc/meminfo: memFree=1896480/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=22468 CPUtime=50.12
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 5477 0 0 0 5007 5 0 0 25 0 1 0 310762243 23007232 5463 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 5617 5463 76 171 0 5444 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 27824
[startup+102.305 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 12100
/proc/meminfo: memFree=1892704/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=25996 CPUtime=101.29
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 6344 0 0 0 10123 6 0 0 25 0 1 0 310762243 26619904 6330 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 6499 6330 76 171 0 6326 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 31352
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12100
/proc/meminfo: memFree=1891744/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=26872 CPUtime=161.26
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 6546 0 0 0 16119 7 0 0 25 0 1 0 310762243 27516928 6532 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 6718 6532 76 171 0 6545 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 32228
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12100
/proc/meminfo: memFree=1891488/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=27016 CPUtime=221.23
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 6603 0 0 0 22116 7 0 0 25 0 1 0 310762243 27664384 6589 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 6754 6589 76 171 0 6581 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 32372
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12100
/proc/meminfo: memFree=1891232/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=27156 CPUtime=281.21
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 6646 0 0 0 28114 7 0 0 25 0 1 0 310762243 27807744 6632 1992294400 134512640 135215339 4294956240 18446744073709551615 134528664 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 6789 6632 76 171 0 6616 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 32512
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12100
/proc/meminfo: memFree=1890912/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=27464 CPUtime=341.18
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 6714 0 0 0 34111 7 0 0 25 0 1 0 310762243 28123136 6700 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 6866 6700 76 171 0 6693 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 32820
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12100
/proc/meminfo: memFree=1890720/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=27600 CPUtime=401.17
################
# More data... #
################
[pid=12100] ppid=12094 vsize=28044 CPUtime=521.12
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 6824 0 0 0 52104 8 0 0 25 0 1 0 310762243 28717056 6810 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 7011 6810 76 171 0 6838 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 33400
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12100
/proc/meminfo: memFree=1890080/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=28044 CPUtime=581.1
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 6837 0 0 0 58102 8 0 0 25 0 1 0 310762243 28717056 6823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 7011 6823 76 171 0 6838 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 33400
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12100
/proc/meminfo: memFree=1889760/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=28220 CPUtime=641.09
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 6883 0 0 0 64100 9 0 0 25 0 1 0 310762243 28897280 6869 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 7055 6869 76 171 0 6882 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 33576
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12106
/proc/meminfo: memFree=1889368/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=28220 CPUtime=701.06
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 6891 0 0 0 70097 9 0 0 25 0 1 0 310762243 28897280 6877 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 7055 6877 76 171 0 6882 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 33576
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12106
/proc/meminfo: memFree=1889176/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=28520 CPUtime=761.04
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 6944 0 0 0 76095 9 0 0 25 0 1 0 310762243 29204480 6930 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 7130 6930 76 171 0 6957 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 33876
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12106
/proc/meminfo: memFree=1888728/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=28924 CPUtime=821.01
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 7048 0 0 0 82092 9 0 0 25 0 1 0 310762243 29618176 7034 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 7231 7034 76 171 0 7058 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 34280
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12106
/proc/meminfo: memFree=1888536/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=29068 CPUtime=880.99
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 7085 0 0 0 88090 9 0 0 25 0 1 0 310762243 29765632 7071 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 7267 7071 76 171 0 7094 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 34424
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12106
/proc/meminfo: memFree=1888280/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=29228 CPUtime=940.98
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 7119 0 0 0 94088 10 0 0 25 0 1 0 310762243 29929472 7105 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 7307 7105 76 171 0 7134 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 34584
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12106
/proc/meminfo: memFree=1888152/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=29228 CPUtime=1000.96
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 7131 0 0 0 100086 10 0 0 25 0 1 0 310762243 29929472 7117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 7307 7117 76 171 0 7134 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 34584
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12106
/proc/meminfo: memFree=1888032/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=29384 CPUtime=1060.94
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 7144 0 0 0 106084 10 0 0 25 0 1 0 310762243 30089216 7130 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 7346 7130 76 171 0 7173 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 34740
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12106
/proc/meminfo: memFree=1887840/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=29576 CPUtime=1120.92
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 7180 0 0 0 112082 10 0 0 25 0 1 0 310762243 30285824 7166 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 7394 7166 76 171 0 7221 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 34932
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12106
/proc/meminfo: memFree=1887456/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=29740 CPUtime=1180.9
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 7231 0 0 0 118079 11 0 0 25 0 1 0 310762243 30453760 7217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 7435 7217 76 171 0 7262 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 35096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12106
/proc/meminfo: memFree=1887392/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=29884 CPUtime=1199.1
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 7245 0 0 0 119899 11 0 0 25 0 1 0 310762243 30601216 7231 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 7471 7231 76 171 0 7298 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 35240
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12106
/proc/meminfo: memFree=1887392/2055920 swapFree=4179892/4192956
[pid=12094] ppid=12092 vsize=5356 CPUtime=0.91
/proc/12094/stat : 12094 (SatELiteGTI) S 12092 12094 11751 0 -1 4194304 336 3044 0 0 0 0 85 6 16 0 1 0 310762150 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12094/statm: 1339 239 197 169 0 50 0
[pid=12100] ppid=12094 vsize=29884 CPUtime=1199.1
/proc/12100/stat : 12100 (minisat_static) R 12094 12094 11751 0 -1 4194304 7245 0 0 0 119899 11 0 0 25 0 1 0 310762243 30601216 7231 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/12100/statm: 7471 7231 76 171 0 7298 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 35240
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.05
CPU user time (s): 1199.86
CPU system time (s): 0.187971
CPU usage (%): 99.9613
Max. virtual memory (cumulated for all children) (KiB): 35240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.86
system time used= 0.187971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10634
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= 26
involuntary context switches= 4971
runsolver used 1.44778 second user time and 3.04654 second system time
The end
Begin job on node70 at 2009-05-20 15:49:21
IDJOB=1834029
IDBENCH=71138
IDSOLVER=671
FILE ID=node70/1834029-1242827360
PBS_JOBID= 9322472
Free space on /tmp= 66140 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/modcircuits/mod3block_4vars_12gates_b2_restricted.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834029-1242827360/watcher-1834029-1242827360 -o /tmp/evaluation-result-1834029-1242827360/solver-1834029-1242827360 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834029-1242827360.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c953b18fb3b2b56306fb207070351ca9
RANDOM SEED=1839510033
node70.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.213
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.213
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: 1919824 kB
Buffers: 20788 kB
Cached: 78048 kB
SwapCached: 7176 kB
Active: 66612 kB
Inactive: 41016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1919824 kB
SwapTotal: 4192956 kB
SwapFree: 4179892 kB
Dirty: 28772 kB
Writeback: 0 kB
Mapped: 13952 kB
Slab: 14576 kB
Committed_AS: 988012 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66140 MiB
End job on node70 at 2009-05-20 16:09:24