0.00/0.00 c Parsing...
0.12/0.13 c ==============================================================================
0.12/0.13 c | | ORIGINAL | LEARNT | |
0.12/0.13 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.13 c ==============================================================================
0.12/0.13 c | 0 | 135726 315843 | 40717 0 0 nan | 0.000 % |
1.62/1.65 c | 0 | 65966 210427 | -- 0 -- -- | -- | -69152/-103784
1.62/1.65 c ==============================================================================
1.62/1.65 c Result : #vars: 13761 #clauses: 65966 #literals: 210427
1.62/1.65 c CPU time: 1.62 s
1.62/1.65 c ==============================================================================
1.72/1.73 c This is MiniSat 2.0 beta
1.72/1.73 c WARNING: for repeatability, setting FPU to use double precision
1.72/1.73 c ============================[ Problem Statistics ]=============================
1.72/1.73 c | |
1.72/1.73 c | Number of variables: 13761 |
1.72/1.73 c | Number of clauses: 65966 |
1.72/1.78 c | Parsing time: 0.05 s |
1.72/1.78 c ============================[ Search Statistics ]==============================
1.72/1.78 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.72/1.78 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.72/1.78 c ===============================================================================
1.72/1.78 c | 0 | 13761 65966 210427 | 21988 0 nan | 0.000 % |
1.72/1.80 c | 101 | 13761 65966 210427 | 21988 101 11 | 0.000 % |
1.74/1.82 c | 201 | 13761 65966 210427 | 21988 201 11 | 0.000 % |
1.74/1.84 c | 302 | 13761 65966 210427 | 21988 302 13 | 0.000 % |
1.74/1.87 c | 412 | 13761 65966 210427 | 21988 412 17 | 0.000 % |
1.74/1.90 c | 512 | 13761 65966 210427 | 21988 512 18 | 0.000 % |
1.74/1.91 c | 622 | 13761 65966 210427 | 21988 622 17 | 0.000 % |
1.74/1.92 c | 743 | 13761 65966 210427 | 21988 743 16 | 0.000 % |
1.74/1.94 c | 845 | 13760 65963 210421 | 21988 844 15 | 0.007 % |
1.74/1.94 c | 955 | 13760 65963 210421 | 21988 954 14 | 0.007 % |
1.74/1.98 c | 1077 | 13760 65963 210421 | 21988 1076 16 | 0.007 % |
1.74/2.00 c | 1210 | 13760 65963 210421 | 21988 1209 15 | 0.007 % |
1.74/2.02 c | 1312 | 13760 65963 210421 | 21988 1311 16 | 0.007 % |
1.74/2.04 c | 1423 | 13760 65963 210421 | 21988 1422 17 | 0.007 % |
1.74/2.07 c | 1544 | 13760 65963 210421 | 21988 1543 18 | 0.007 % |
1.74/2.10 c | 1677 | 13760 65963 210421 | 21988 1676 19 | 0.007 % |
2.12/2.12 c | 1823 | 13760 65963 210421 | 21988 1822 19 | 0.007 % |
2.12/2.12 c | 1925 | 13760 65963 210421 | 21988 1924 18 | 0.007 % |
2.12/2.16 c | 2035 | 13760 65963 210421 | 21988 2034 20 | 0.007 % |
2.12/2.21 c | 2169 | 13760 65963 210421 | 21988 2168 21 | 0.007 % |
2.22/2.24 c | 2302 | 13760 65963 210421 | 21988 2301 22 | 0.007 % |
2.22/2.28 c | 2449 | 13760 65963 210421 | 21988 2448 22 | 0.007 % |
2.22/2.30 c | 2609 | 13760 65963 210421 | 21988 2608 22 | 0.007 % |
2.32/2.32 c | 2710 | 13760 65963 210421 | 21988 2709 22 | 0.007 % |
2.32/2.33 c | 2822 | 13760 65963 210421 | 21988 2821 21 | 0.007 % |
2.32/2.37 c | 2943 | 13760 65963 210421 | 21988 2942 22 | 0.007 % |
2.32/2.39 c | 3076 | 13760 65963 210421 | 21988 3075 22 | 0.007 % |
2.42/2.43 c | 3222 | 13760 65963 210421 | 21988 3221 22 | 0.007 % |
2.42/2.48 c | 3384 | 13759 65960 210415 | 21988 3381 22 | 0.015 % |
2.42/2.50 c | 3560 | 13759 65960 210415 | 21988 3557 21 | 0.015 % |
2.52/2.53 c | 3660 | 13759 65960 210415 | 21988 3657 20 | 0.015 % |
2.52/2.58 c | 3770 | 13759 65960 210415 | 21988 3767 21 | 0.015 % |
2.52/2.60 c | 3891 | 13759 65960 210415 | 21988 3888 20 | 0.015 % |
2.52/2.61 c | 4025 | 13759 65960 210415 | 21988 4022 20 | 0.015 % |
2.62/2.65 c | 4172 | 13759 65960 210415 | 21988 4169 20 | 0.015 % |
2.62/2.68 c | 4332 | 13759 65960 210415 | 21988 4329 20 | 0.015 % |
2.62/2.70 c | 4509 | 13759 65960 210415 | 21988 4506 19 | 0.015 % |
2.72/2.76 c | 4702 | 13759 65960 210415 | 21988 4699 20 | 0.015 % |
2.72/2.79 c | 4802 | 13759 65960 210415 | 21988 4799 20 | 0.015 % |
2.72/2.80 c | 4912 | 13759 65960 210415 | 21988 4909 20 | 0.015 % |
2.82/2.84 c | 5033 | 13759 65960 210415 | 21988 5030 20 | 0.015 % |
2.82/2.86 c | 5167 | 13759 65960 210415 | 21988 5164 20 | 0.015 % |
2.82/2.88 c | 5313 | 13759 65960 210415 | 21988 5310 21 | 0.015 % |
2.92/2.92 c | 5474 | 13759 65960 210415 | 21988 5471 21 | 0.015 % |
2.92/2.97 c | 5650 | 13759 65960 210415 | 21988 5647 21 | 0.015 % |
3.02/3.04 c | 5845 | 13759 65960 210415 | 21988 5842 21 | 0.015 % |
3.02/3.10 c | 6058 | 13759 65960 210415 | 21988 6055 22 | 0.015 % |
3.12/3.12 c | 6158 | 13759 65960 210415 | 21988 6155 23 | 0.015 % |
3.12/3.16 c | 6271 | 13759 65960 210415 | 21988 6268 23 | 0.015 % |
3.12/3.17 c | 6392 | 13759 65960 210415 | 21988 6389 23 | 0.015 % |
3.12/3.19 c | 6525 | 13759 65960 210415 | 21988 6522 23 | 0.015 % |
3.22/3.21 c | 6673 | 13759 65960 210415 | 21988 6670 23 | 0.015 % |
3.22/3.25 c | 6833 | 13759 65960 210415 | 21988 6830 23 | 0.015 % |
3.22/3.27 c | 7009 | 13759 65960 210415 | 21988 7006 23 | 0.015 % |
3.22/3.28 c | 7202 | 13759 65960 210415 | 21988 7199 23 | 0.015 % |
3.32/3.33 c | 7414 | 13759 65960 210415 | 21988 7411 24 | 0.015 % |
3.32/3.38 c | 7647 | 13759 65960 210415 | 21988 7644 24 | 0.015 % |
3.42/3.42 c | 7749 | 13759 65960 210415 | 21988 7746 24 | 0.015 % |
3.42/3.43 c | 7859 | 13759 65960 210415 | 21988 7856 23 | 0.015 % |
3.42/3.46 c | 7980 | 13759 65960 210415 | 21988 7977 23 | 0.015 % |
3.52/3.52 c | 8115 | 13759 65960 210415 | 21988 8112 23 | 0.015 % |
3.52/3.53 c | 8262 | 13759 65960 210415 | 21988 8259 23 | 0.015 % |
3.52/3.55 c | 8422 | 13759 65960 210415 | 21988 8419 23 | 0.015 % |
3.52/3.57 c | 8598 | 13759 65960 210415 | 21988 8595 22 | 0.015 % |
3.52/3.57 c | 8791 | 13759 65960 210415 | 21988 8788 22 | 0.015 % |
3.62/3.62 c | 9004 | 13759 65960 210415 | 21988 9001 22 | 0.015 % |
3.62/3.66 c | 9237 | 13759 65960 210415 | 21988 9234 22 | 0.015 % |
3.62/3.70 c | 9493 | 13759 65960 210415 | 21988 9490 22 | 0.015 % |
3.72/3.73 c | 9593 | 13759 65960 210415 | 21988 9590 22 | 0.015 % |
3.72/3.76 c | 9703 | 13759 65960 210415 | 21988 9700 22 | 0.015 % |
3.72/3.79 c | 9824 | 13759 65960 210415 | 21988 9821 22 | 0.015 % |
3.82/3.82 c | 9957 | 13759 65960 210415 | 21988 9954 22 | 0.015 % |
3.82/3.87 c | 10103 | 13759 65960 210415 | 2147483647 10100 22 | 0.015 % |
3.82/3.90 c | 10263 | 13759 65960 210415 | 2147483647 10260 22 | 0.015 % |
3.92/3.95 c | 10440 | 13759 65960 210415 | 2147483647 10437 22 | 0.015 % |
3.92/3.98 c | 10634 | 13759 65960 210415 | 2147483647 10631 22 | 0.015 % |
4.02/4.01 c | 10848 | 13759 65960 210415 | 2147483647 10845 22 | 0.015 % |
4.02/4.05 c | 11081 | 13759 65960 210415 | 2147483647 11078 22 | 0.015 % |
4.02/4.08 c | 11338 | 13759 65960 210415 | 2147483647 11335 22 | 0.015 % |
4.12/4.11 c | 11623 | 13759 65960 210415 | 2147483647 11620 22 | 0.015 % |
4.12/4.14 c | 11724 | 13759 65960 210415 | 2147483647 11721 22 | 0.015 % |
4.12/4.16 c | 11836 | 13759 65960 210415 | 2147483647 11833 22 | 0.015 % |
4.22/4.21 c | 11957 | 13759 65960 210415 | 2147483647 11954 22 | 0.015 % |
4.22/4.25 c | 12090 | 13759 65960 210415 | 2147483647 12087 21 | 0.015 % |
4.32/4.32 c | 12236 | 13759 65960 210415 | 2147483647 12233 22 | 0.015 % |
4.32/4.36 c | 12397 | 13759 65960 210415 | 2147483647 12394 22 | 0.015 % |
4.32/4.38 c | 12573 | 13759 65960 210415 | 2147483647 12570 21 | 0.015 % |
4.32/4.39 c | 12766 | 13759 65960 210415 | 2147483647 12763 21 | 0.015 % |
4.42/4.45 c | 12978 | 13759 65960 210415 | 2147483647 12975 21 | 0.015 % |
4.52/4.52 c | 13211 | 13759 65960 210415 | 2147483647 13208 21 | 0.015 % |
4.52/4.54 c | 13467 | 13759 65960 210415 | 2147483647 13464 21 | 0.015 % |
4.62/4.63 c | 13748 | 13759 65960 210415 | 2147483647 13745 21 | 0.015 % |
4.62/4.70 c | 14057 | 13759 65960 210415 | 2147483647 14054 21 | 0.015 % |
4.72/4.71 c | 14159 | 13759 65960 210415 | 2147483647 14156 21 | 0.015 % |
4.72/4.72 c | 14269 | 13759 65960 210415 | 2147483647 14266 21 | 0.015 % |
4.72/4.73 c | 14390 | 13759 65960 210415 | 2147483647 14387 21 | 0.015 % |
4.72/4.76 c | 14524 | 13759 65960 210415 | 2147483647 14521 21 | 0.015 % |
4.82/4.83 c | 14670 | 13759 65960 210415 | 2147483647 14667 21 | 0.015 % |
4.82/4.87 c | 14831 | 13759 65960 210415 | 2147483647 14828 21 | 0.015 % |
4.92/4.91 c | 15009 | 13759 65960 210415 | 2147483647 15006 21 | 0.015 % |
4.92/4.95 c | 15202 | 13759 65960 210415 | 2147483647 15199 21 | 0.015 % |
4.92/5.00 c | 15417 | 13759 65960 210415 | 2147483647 15414 21 | 0.015 % |
5.02/5.09 c | 15652 | 13759 65960 210415 | 2147483647 15649 21 | 0.015 % |
5.12/5.13 c | 15909 | 13759 65960 210415 | 2147483647 15906 21 | 0.015 % |
5.12/5.19 c | 16190 | 13759 65960 210415 | 2147483647 16187 21 | 0.015 % |
5.32/5.33 c | 16500 | 13759 65960 210415 | 2147483647 16497 21 | 0.015 % |
5.42/5.42 c | 16840 | 13759 65960 210415 | 2147483647 16837 21 | 0.015 % |
5.42/5.45 c | 16940 | 13759 65960 210415 | 2147483647 16937 21 | 0.015 % |
5.42/5.46 c | 17050 | 13759 65960 210415 | 2147483647 17047 21 | 0.015 % |
5.42/5.49 c | 17173 | 13759 65960 210415 | 2147483647 17170 21 | 0.015 % |
5.52/5.51 c | 17306 | 13759 65960 210415 | 2147483647 17303 21 | 0.015 % |
5.52/5.54 c | 17452 | 13759 65960 210415 | 2147483647 17449 21 | 0.015 % |
5.62/5.62 c | 17612 | 13759 65960 210415 | 2147483647 17609 21 | 0.015 % |
5.62/5.66 c | 17788 | 13759 65960 210415 | 2147483647 17785 21 | 0.015 % |
5.72/5.72 c | 17984 | 13759 65960 210415 | 2147483647 17981 21 | 0.015 % |
5.72/5.80 c | 18196 | 13759 65960 210415 | 2147483647 18193 21 | 0.015 % |
5.82/5.84 c | 18433 | 13759 65960 210415 | 2147483647 18430 21 | 0.015 % |
5.82/5.90 c | 18689 | 13759 65960 210415 | 2147483647 18686 21 | 0.015 % |
5.92/5.94 c | 18971 | 13759 65960 210415 | 2147483647 18968 21 | 0.015 % |
5.92/5.97 c | 19280 | 13759 65960 210415 | 2147483647 19277 21 | 0.015 % |
6.02/6.08 c | 19621 | 13758 65955 210405 | 2147483647 19617 21 | 0.022 % |
6.12/6.16 c | 19993 | 13758 65955 210405 | 2147483647 19989 21 | 0.022 % |
6.12/6.17 c | 20093 | 13758 65955 210405 | 2147483647 20089 21 | 0.022 % |
6.12/6.17 c | 20203 | 13758 65955 210405 | 2147483647 20199 21 | 0.022 % |
6.12/6.20 c | 20324 | 13758 65955 210405 | 2147483647 20320 21 | 0.022 % |
6.22/6.29 c | 20457 | 13758 65955 210405 | 2147483647 20453 21 | 0.022 % |
6.32/6.34 c | 20613 | 13758 65955 210405 | 2147483647 20609 21 | 0.022 % |
6.42/6.43 c | 20773 | 13758 65955 210405 | 2147483647 20769 21 | 0.022 % |
6.52/6.51 c | 20951 | 13758 65955 210405 | 2147483647 20947 21 | 0.022 % |
6.52/6.55 c | 21144 | 13758 65955 210405 | 2147483647 21140 21 | 0.022 % |
6.52/6.59 c | 21356 | 13758 65955 210405 | 2147483647 21352 21 | 0.022 % |
6.62/6.68 c | 21589 | 13758 65955 210405 | 2147483647 21585 21 | 0.022 % |
6.72/6.71 c | 21845 | 13758 65955 210405 | 2147483647 21841 21 | 0.022 % |
6.72/6.75 c | 22126 | 13758 65955 210405 | 2147483647 22122 20 | 0.022 % |
6.72/6.78 c | 22437 | 13758 65955 210405 | 2147483647 22433 20 | 0.022 % |
6.72/6.80 c | 22776 | 13758 65955 210405 | 2147483647 22772 20 | 0.022 % |
6.82/6.83 c | 23149 | 13758 65955 210405 | 2147483647 23145 20 | 0.022 % |
6.82/6.89 c | 23558 | 13758 65955 210405 | 2147483647 23554 20 | 0.022 % |
6.92/6.92 c | 23660 | 13758 65955 210405 | 2147483647 23656 20 | 0.022 % |
6.92/6.94 c | 23774 | 13758 65955 210405 | 2147483647 23770 20 | 0.022 % |
6.92/6.96 c | 23899 | 13758 65955 210405 | 2147483647 23895 20 | 0.022 % |
6.92/6.98 c | 24032 | 13758 65955 210405 | 2147483647 24028 20 | 0.022 % |
7.02/7.05 c | 24179 | 13758 65955 210405 | 2147483647 24175 20 | 0.022 % |
7.02/7.08 c | 24339 | 13758 65955 210405 | 2147483647 24335 20 | 0.022 % |
7.12/7.11 c | 24515 | 13758 65955 210405 | 2147483647 24511 20 | 0.022 % |
7.12/7.18 c | 24710 | 13758 65955 210405 | 2147483647 24706 20 | 0.022 % |
7.22/7.26 c | 24922 | 13758 65955 210405 | 2147483647 24918 20 | 0.022 % |
7.22/7.30 c | 25155 | 13758 65955 210405 | 2147483647 25151 20 | 0.022 % |
7.32/7.35 c | 25411 | 13758 65955 210405 | 2147483647 25407 20 | 0.022 % |
7.32/7.37 c | 25692 | 13758 65955 210405 | 2147483647 25688 20 | 0.022 % |
7.42/7.45 c | 26001 | 13758 65955 210405 | 2147483647 25997 20 | 0.022 % |
7.52/7.52 c | 26342 | 13758 65955 210405 | 2147483647 26338 20 | 0.022 % |
7.52/7.57 c | 26714 | 13758 65955 210405 | 2147483647 26710 20 | 0.022 % |
7.62/7.68 c | 27126 | 13758 65955 210405 | 2147483647 27122 20 | 0.022 % |
7.72/7.77 c | 27575 | 13758 65955 210405 | 2147483647 27571 20 | 0.022 % |
7.72/7.79 c | 27675 | 13758 65955 210405 | 2147483647 27671 20 | 0.022 % |
7.72/7.80 c | 27785 | 13758 65955 210405 | 2147483647 27781 20 | 0.022 % |
7.82/7.84 c | 27906 | 13758 65955 210405 | 2147483647 27902 20 | 0.022 % |
7.82/7.86 c | 28041 | 13758 65955 210405 | 2147483647 28037 20 | 0.022 % |
7.92/7.93 c | 28187 | 13758 65955 210405 | 2147483647 28183 21 | 0.022 % |
8.02/8.04 c | 28349 | 13758 65955 210405 | 2147483647 28345 21 | 0.022 % |
8.12/8.14 c | 28526 | 13758 65955 210405 | 2147483647 28522 21 | 0.022 % |
8.12/8.18 c | 28719 | 13758 65955 210405 | 2147483647 28715 21 | 0.022 % |
8.22/8.21 c | 28931 | 13758 65955 210405 | 2147483647 28927 21 | 0.022 % |
8.22/8.28 c | 29166 | 13758 65955 210405 | 2147483647 29162 21 | 0.022 % |
8.32/8.35 c | 29424 | 13758 65955 210405 | 2147483647 29420 21 | 0.022 % |
8.42/8.45 c | 29706 | 13758 65955 210405 | 2147483647 29702 21 | 0.022 % |
8.52/8.58 c | 30015 | 13758 65955 210405 | 2147483647 30011 21 | 0.022 % |
8.72/8.71 c | 30354 | 13758 65955 210405 | 2147483647 30350 21 | 0.022 % |
8.72/8.79 c | 30727 | 13758 65955 210405 | 2147483647 30723 21 | 0.022 % |
8.92/8.96 c | 31136 | 13758 65955 210405 | 2147483647 31132 22 | 0.022 % |
9.02/9.10 c | 31585 | 13758 65955 210405 | 2147483647 31581 22 | 0.022 % |
9.12/9.15 c | 32078 | 13758 65955 210405 | 2147483647 32074 22 | 0.022 % |
9.12/9.19 c | 32178 | 13758 65955 210405 | 2147483647 32174 22 | 0.022 % |
9.22/9.29 c | 32289 | 13758 65955 210405 | 2147483647 32285 22 | 0.022 % |
9.32/9.32 c | 32410 | 13758 65955 210405 | 2147483647 32406 22 | 0.022 % |
9.32/9.37 c | 32543 | 13758 65955 210405 | 2147483647 32539 22 | 0.022 % |
9.32/9.39 c | 32689 | 13758 65955 210405 | 2147483647 32685 22 | 0.022 % |
9.42/9.42 c | 32850 | 13758 65955 210405 | 2147483647 32846 22 | 0.022 % |
9.42/9.45 c | 33028 | 13758 65955 210405 | 2147483647 33024 22 | 0.022 % |
9.42/9.48 c | 33224 | 13758 65955 210405 | 2147483647 33220 22 | 0.022 % |
9.52/9.55 c | 33437 | 13758 65955 210405 | 2147483647 33433 22 | 0.022 % |
9.52/9.58 c | 33670 | 13758 65955 210405 | 2147483647 33666 22 | 0.022 % |
9.62/9.67 c | 33927 | 13758 65955 210405 | 2147483647 33923 22 | 0.022 % |
9.72/9.76 c | 34209 | 13758 65955 210405 | 2147483647 34205 22 | 0.022 % |
9.82/9.83 c | 34520 | 13758 65955 210405 | 2147483647 34516 22 | 0.022 % |
9.92/9.93 c | 34859 | 13758 65955 210405 | 2147483647 34855 22 | 0.022 % |
10.02/10.07 c | 35232 | 13758 65955 210405 | 2147483647 35228 22 | 0.022 % |
10.12/10.14 c | 35642 | 13758 65955 210405 | 2147483647 35638 22 | 0.022 % |
10.22/10.26 c | 36094 | 13758 65955 210405 | 2147483647 36090 22 | 0.022 % |
10.32/10.35 c | 36587 | 13758 65955 210405 | 2147483647 36583 22 | 0.022 % |
10.42/10.42 c | 37133 | 13758 65955 210405 | 2147483647 37129 22 | 0.022 % |
10.42/10.44 c | 37234 | 13758 65955 210405 | 2147483647 37230 22 | 0.022 % |
10.42/10.48 c | 37346 | 13758 65955 210405 | 2147483647 37342 22 | 0.022 % |
10.52/10.53 c | 37468 | 13758 65955 210405 | 2147483647 37464 22 | 0.022 % |
10.52/10.56 c | 37602 | 13758 65955 210405 | 2147483647 37598 22 | 0.022 % |
10.52/10.60 c | 37748 | 13758 65955 210405 | 2147483647 37744 22 | 0.022 % |
10.62/10.64 c | 37910 | 13758 65955 210405 | 2147483647 37906 22 | 0.022 % |
10.62/10.67 c | 38086 | 13758 65955 210405 | 2147483647 38082 21 | 0.022 % |
10.62/10.71 c | 38282 | 13758 65955 210405 | 2147483647 38278 21 | 0.022 % |
10.82/10.84 c | 38494 | 13758 65955 210405 | 2147483647 38490 22 | 0.022 % |
10.92/10.91 c | 38727 | 13758 65955 210405 | 2147483647 38723 22 | 0.022 % |
10.92/10.95 c | 38983 | 13758 65955 210405 | 2147483647 38979 22 | 0.022 % |
11.02/11.04 c | 39268 | 13758 65955 210405 | 2147483647 39264 22 | 0.022 % |
11.12/11.12 c | 39577 | 13758 65955 210405 | 2147483647 39573 22 | 0.022 % |
11.12/11.19 c | 39917 | 13758 65955 210405 | 2147483647 39913 22 | 0.022 % |
11.22/11.27 c | 40290 | 13758 65955 210405 | 2147483647 40286 22 | 0.022 % |
11.52/11.54 c | 40700 | 13758 65955 210405 | 2147483647 40696 22 | 0.022 % |
11.72/11.72 c | 41149 | 13758 65955 210405 | 2147483647 41145 22 | 0.022 % |
11.82/11.90 c | 41642 | 13758 65955 210405 | 2147483647 41638 22 | 0.022 % |
12.02/12.06 c | 42186 | 13758 65955 210405 | 2147483647 42182 22 | 0.022 % |
12.32/12.33 c | 42783 | 13758 65955 210405 | 2147483647 42779 22 | 0.022 % |
12.42/12.42 c | 42884 | 13758 65955 210405 | 2147483647 42880 22 | 0.022 % |
12.42/12.47 c | 42995 | 13758 65955 210405 | 2147483647 42991 22 | 0.022 % |
12.52/12.51 c | 43116 | 13758 65955 210405 | 2147483647 43112 22 | 0.022 % |
12.52/12.55 c | 43249 | 13758 65955 210405 | 2147483647 43245 22 | 0.022 % |
12.62/12.62 c | 43395 | 13758 65955 210405 | 2147483647 43391 22 | 0.022 % |
12.62/12.70 c | 43555 | 13758 65955 210405 | 2147483647 43551 22 | 0.022 % |
12.72/12.74 c | 43731 | 13758 65955 210405 | 2147483647 43727 22 | 0.022 % |
12.82/12.81 c | 43924 | 13758 65955 210405 | 2147483647 43920 22 | 0.022 % |
12.92/12.94 c | 44136 | 13758 65955 210405 | 2147483647 44132 22 | 0.022 % |
13.12/13.12 c | 44369 | 13758 65955 210405 | 2147483647 44365 22 | 0.022 % |
13.12/13.20 c | 44626 | 13758 65955 210405 | 2147483647 44622 22 | 0.022 % |
13.22/13.28 c | 44908 | 13758 65955 210405 | 2147483647 44904 22 | 0.022 % |
13.32/13.40 c | 45217 | 13758 65955 210405 | 2147483647 45213 22 | 0.022 % |
13.52/13.51 c | 45557 | 13758 65955 210405 | 2147483647 45553 22 | 0.022 % |
13.72/13.77 c | 45929 | 13758 65955 210405 | 2147483647 45925 22 | 0.022 % |
13.82/13.89 c | 46338 | 13758 65955 210405 | 2147483647 46334 23 | 0.022 % |
14.02/14.04 c | 46787 | 13758 65955 210405 | 2147483647 46783 23 | 0.022 % |
14.22/14.23 c | 47280 | 13758 65955 210405 | 2147483647 47276 23 | 0.022 % |
14.32/14.38 c | 47822 | 13758 65955 210405 | 2147483647 47818 23 | 0.022 % |
14.52/14.60 c | 48418 | 13758 65955 210405 | 2147483647 48414 23 | 0.022 % |
14.92/14.94 c | 49073 | 13758 65955 210405 | 2147483647 49069 23 | 0.022 % |
14.92/14.97 c | 49173 | 13758 65955 210405 | 2147483647 49169 23 | 0.022 % |
14.92/14.99 c | 49283 | 13758 65955 210405 | 2147483647 49279 23 | 0.022 % |
15.02/15.05 c | 49405 | 13758 65955 210405 | 2147483647 49401 23 | 0.022 % |
15.12/15.11 c | 49540 | 13758 65955 210405 | 2147483647 49536 23 | 0.022 % |
15.12/15.16 c | 49687 | 13758 65955 210405 | 2147483647 49683 23 | 0.022 % |
15.12/15.20 c | 49847 | 13758 65955 210405 | 2147483647 49843 23 | 0.022 % |
15.22/15.25 c | 50023 | 13758 65955 210405 | 2147483647 50019 23 | 0.022 % |
15.32/15.38 c | 50216 | 13758 65955 210405 | 2147483647 50212 23 | 0.022 % |
15.42/15.44 c | 50428 | 13758 65955 210405 | 2147483647 50424 23 | 0.022 % |
15.42/15.50 c | 50662 | 13758 65955 210405 | 2147483647 50658 23 | 0.022 % |
15.52/15.56 c | 50918 | 13758 65955 210405 | 2147483647 50914 23 | 0.022 % |
15.62/15.67 c | 51203 | 13758 65955 210405 | 2147483647 51199 23 | 0.022 % |
15.72/15.71 c | 51512 | 13758 65955 210405 | 2147483647 51508 23 | 0.022 % |
15.82/15.85 c | 51851 | 13758 65955 210405 | 2147483647 51847 23 | 0.022 % |
15.92/15.95 c | 52223 | 13758 65955 210405 | 2147483647 52219 23 | 0.022 % |
16.12/16.12 c | 52633 | 13758 65955 210405 | 2147483647 52629 24 | 0.022 % |
16.22/16.22 c | 53082 | 13758 65955 210405 | 2147483647 53078 23 | 0.022 % |
16.42/16.44 c | 53576 | 13758 65955 210405 | 2147483647 53572 24 | 0.022 % |
16.52/16.51 c | 54119 | 13758 65955 210405 | 2147483647 54115 24 | 0.022 % |
16.82/16.82 c | 54715 | 13758 65955 210405 | 2147483647 54711 24 | 0.022 % |
17.22/17.23 c | 55370 | 13758 65955 210405 | 2147483647 55366 24 | 0.022 % |
17.72/17.76 c | 56090 | 13758 65955 210405 | 2147483647 56086 24 | 0.022 % |
17.82/17.81 c | 56190 | 13758 65955 210405 | 2147483647 56186 24 | 0.022 % |
17.82/17.87 c | 56300 | 13758 65955 210405 | 2147483647 56296 24 | 0.022 % |
17.92/17.92 c | 56422 | 13758 65955 210405 | 2147483647 56418 24 | 0.022 % |
17.92/17.98 c | 56555 | 13758 65955 210405 | 2147483647 56551 24 | 0.022 % |
18.02/18.02 c | 56704 | 13758 65955 210405 | 2147483647 56700 24 | 0.022 % |
18.02/18.07 c | 56866 | 13758 65955 210405 | 2147483647 56862 24 | 0.022 % |
18.12/18.13 c | 57042 | 13758 65955 210405 | 2147483647 57038 24 | 0.022 % |
18.42/18.42 c | 57235 | 13758 65955 210405 | 2147483647 57231 25 | 0.022 % |
18.62/18.64 c | 57448 | 13758 65955 210405 | 2147483647 57444 26 | 0.022 % |
18.72/18.78 c | 57681 | 13758 65955 210405 | 2147483647 57677 26 | 0.022 % |
18.82/18.86 c | 57937 | 13758 65955 210405 | 2147483647 57933 26 | 0.022 % |
18.92/18.95 c | 58220 | 13758 65955 210405 | 2147483647 58216 26 | 0.022 % |
18.92/19.01 c | 58529 | 13758 65955 210405 | 2147483647 58525 26 | 0.022 % |
19.12/19.17 c | 58868 | 13758 65955 210405 | 2147483647 58864 26 | 0.022 % |
19.32/19.34 c | 59243 | 13758 65955 210405 | 2147483647 59239 26 | 0.022 % |
19.32/19.38 c | 59652 | 13758 65955 210405 | 2147483647 59648 25 | 0.022 % |
19.42/19.44 c | 60103 | 13758 65955 210405 | 2147483647 60099 25 | 0.022 % |
19.62/19.65 c | 60596 | 13758 65955 210405 | 2147483647 60592 26 | 0.022 % |
19.72/19.74 c | 61139 | 13758 65955 210405 | 2147483647 61135 25 | 0.022 % |
19.92/19.97 c | 61736 | 13758 65955 210405 | 2147483647 61732 25 | 0.022 % |
20.12/20.13 c | 62391 | 13758 65955 210405 | 2147483647 62387 26 | 0.022 % |
20.32/20.38 c | 63116 | 13758 65955 210405 | 2147483647 63112 25 | 0.022 % |
20.62/20.67 c | 63908 | 13758 65955 210405 | 2147483647 63904 25 | 0.022 % |
20.72/20.71 c | 64008 | 13758 65955 210405 | 2147483647 64004 25 | 0.022 % |
20.72/20.76 c | 64123 | 13758 65955 210405 | 2147483647 64119 25 | 0.022 % |
20.72/20.80 c | 64244 | 13758 65955 210405 | 2147483647 64240 25 | 0.022 % |
20.92/20.93 c | 64377 | 13758 65955 210405 | 2147483647 64373 25 | 0.022 % |
20.92/21.00 c | 64523 | 13758 65955 210405 | 2147483647 64519 25 | 0.022 % |
21.02/21.05 c | 64684 | 13758 65955 210405 | 2147483647 64680 25 | 0.022 % |
21.12/21.14 c | 64860 | 13758 65955 210405 | 2147483647 64856 25 | 0.022 % |
21.22/21.21 c | 65053 | 13758 65955 210405 | 2147483647 65049 25 | 0.022 % |
21.22/21.26 c | 65265 | 13758 65955 210405 | 2147483647 65261 25 | 0.022 % |
21.22/21.30 c | 65499 | 13758 65955 210405 | 2147483647 65495 25 | 0.022 % |
21.32/21.40 c | 65755 | 13758 65955 210405 | 2147483647 65751 26 | 0.022 % |
21.52/21.57 c | 66036 | 13758 65955 210405 | 2147483647 66032 26 | 0.022 % |
21.72/21.76 c | 66346 | 13758 65955 210405 | 2147483647 66342 26 | 0.022 % |
21.72/21.80 c | 66685 | 13758 65955 210405 | 2147483647 66681 26 | 0.022 % |
21.92/21.97 c | 67057 | 13758 65955 210405 | 2147483647 67053 26 | 0.022 % |
22.22/22.23 c | 67466 | 13758 65955 210405 | 2147483647 67462 26 | 0.022 % |
22.32/22.33 c | 67915 | 13758 65955 210405 | 2147483647 67911 26 | 0.022 % |
22.42/22.46 c | 68408 | 13758 65955 210405 | 2147483647 68404 26 | 0.022 % |
22.62/22.62 c | 68951 | 13756 65935 210349 | 2147483647 68927 26 | 0.036 % |
22.72/22.79 c | 69547 | 13756 65935 210349 | 2147483647 69523 26 | 0.036 % |
23.22/23.29 c | 70202 | 13756 65935 210349 | 2147483647 70178 27 | 0.036 % |
23.62/23.68 c | 70922 | 13756 65935 210349 | 2147483647 70898 27 | 0.036 % |
24.02/24.08 c | 71714 | 13756 65935 210349 | 2147483647 71690 27 | 0.036 % |
24.62/24.65 c | 72586 | 13756 65935 210349 | 2147483647 72562 27 | 0.036 % |
24.72/24.71 c | 72689 | 13756 65935 210349 | 2147483647 72665 27 | 0.036 % |
24.72/24.78 c | 72802 | 13756 65935 210349 | 2147483647 72778 27 | 0.036 % |
24.92/24.91 c | 72923 | 13756 65935 210349 | 2147483647 72899 27 | 0.036 % |
24.92/24.98 c | 73058 | 13756 65935 210349 | 2147483647 73034 27 | 0.036 % |
25.02/25.04 c | 73205 | 13756 65935 210349 | 2147483647 73181 27 | 0.036 % |
25.02/25.10 c | 73367 | 13756 65935 210349 | 2147483647 73343 27 | 0.036 % |
25.12/25.20 c | 73543 | 13756 65935 210349 | 2147483647 73519 27 | 0.036 % |
25.22/25.29 c | 73737 | 13756 65935 210349 | 2147483647 73713 27 | 0.036 % |
25.32/25.32 c | 73949 | 13756 65935 210349 | 2147483647 73925 27 | 0.036 % |
25.32/25.39 c | 74184 | 13756 65935 210349 | 2147483647 74160 27 | 0.036 % |
25.52/25.53 c | 74442 | 13756 65935 210349 | 2147483647 74418 27 | 0.036 % |
25.72/25.72 c | 74723 | 13756 65935 210349 | 2147483647 74699 27 | 0.036 % |
25.92/25.92 c | 75032 | 13756 65935 210349 | 2147483647 75008 27 | 0.036 % |
26.02/26.08 c | 75372 | 13756 65935 210349 | 2147483647 75348 27 | 0.036 % |
26.12/26.18 c | 75746 | 13756 65935 210349 | 2147483647 75722 27 | 0.036 % |
26.32/26.40 c | 76155 | 13756 65935 210349 | 2147483647 76131 27 | 0.036 % |
26.62/26.64 c | 76604 | 13756 65935 210349 | 2147483647 76580 27 | 0.036 % |
26.82/26.84 c | 77097 | 13756 65935 210349 | 2147483647 77073 27 | 0.036 % |
27.02/27.02 c | 77640 | 13756 65935 210349 | 2147483647 77616 27 | 0.036 % |
27.32/27.35 c | 78236 | 13756 65935 210349 | 2147483647 78212 27 | 0.036 % |
27.52/27.60 c | 78891 | 13756 65935 210349 | 2147483647 78867 27 | 0.037 % |
27.92/27.96 c | 79611 | 13756 65935 210349 | 2147483647 79587 28 | 0.036 % |
28.12/28.20 c | 80403 | 13756 65935 210349 | 2147483647 80379 28 | 0.036 % |
28.42/28.47 c | 81275 | 13756 65935 210349 | 2147483647 81251 28 | 0.036 % |
28.62/28.66 c | 82233 | 13756 65935 210349 | 2147483647 82209 28 | 0.036 % |
28.72/28.75 c | 82334 | 13756 65935 210349 | 2147483647 82310 28 | 0.036 % |
28.72/28.79 c | 82444 | 13756 65935 210349 | 2147483647 82420 28 | 0.036 % |
28.82/28.89 c | 82567 | 13756 65935 210349 | 2147483647 82543 28 | 0.036 % |
28.92/28.95 c | 82702 | 13756 65935 210349 | 2147483647 82678 28 | 0.036 % |
29.02/29.01 c | 82848 | 13756 65935 210349 | 2147483647 82824 28 | 0.036 % |
29.02/29.08 c | 83008 | 13756 65935 210349 | 2147483647 82984 28 | 0.036 % |
29.22/29.21 c | 83185 | 13756 65935 210349 | 2147483647 83161 28 | 0.036 % |
29.32/29.32 c | 83381 | 13756 65935 210349 | 2147483647 83357 28 | 0.036 % |
29.32/29.39 c | 83595 | 13756 65935 210349 | 2147483647 83571 28 | 0.036 % |
29.62/29.62 c | 83828 | 13755 65925 210321 | 2147483647 83786 28 | 0.044 % |
29.72/29.73 c | 84084 | 13755 65925 210321 | 2147483647 84042 28 | 0.044 % |
29.82/29.82 c | 84365 | 13755 65925 210321 | 2147483647 84323 28 | 0.044 % |
29.92/29.95 c | 84674 | 13755 65925 210321 | 2147483647 84632 28 | 0.044 % |
30.02/30.10 c | 85014 | 13755 65925 210321 | 2147483647 84972 28 | 0.044 % |
30.22/30.23 c | 85386 | 13755 65925 210321 | 2147483647 85344 28 | 0.044 % |
30.32/30.40 c | 85796 | 13755 65925 210321 | 2147483647 85754 28 | 0.044 % |
30.52/30.53 c | 86245 | 13755 65925 210321 | 2147483647 86203 28 | 0.044 % |
30.82/30.83 c | 86739 | 13755 65925 210321 | 2147483647 86697 28 | 0.044 % |
30.92/30.99 c | 87282 | 13755 65925 210321 | 2147483647 87240 28 | 0.044 % |
31.22/31.21 c | 87878 | 13754 65925 210321 | 2147483647 87835 28 | 0.051 % |
31.52/31.56 c | 88533 | 13754 65925 210321 | 2147483647 88490 28 | 0.051 % |
31.92/31.99 c | 89253 | 13754 65925 210321 | 2147483647 89210 28 | 0.051 % |
32.42/32.49 c | 90045 | 13754 65922 210315 | 2147483647 90001 28 | 0.051 % |
32.82/32.87 c | 90918 | 13754 65922 210315 | 2147483647 90874 28 | 0.051 % |
33.12/33.12 c | 91876 | 13754 65922 210315 | 2147483647 91832 28 | 0.051 % |
33.62/33.67 c | 92930 | 13754 65922 210315 | 2147483647 92886 28 | 0.051 % |
33.62/33.70 c | 93030 | 13754 65922 210315 | 2147483647 92986 28 | 0.051 % |
33.72/33.77 c | 93141 | 13754 65922 210315 | 2147483647 93097 28 | 0.051 % |
33.82/33.83 c | 93263 | 13754 65922 210315 | 2147483647 93219 28 | 0.051 % |
33.82/33.87 c | 93397 | 13754 65922 210315 | 2147483647 93353 28 | 0.051 % |
33.92/33.91 c | 93543 | 13754 65922 210315 | 2147483647 93499 28 | 0.051 % |
34.02/34.03 c | 93705 | 13754 65922 210315 | 2147483647 93661 29 | 0.051 % |
34.02/34.10 c | 93891 | 13754 65922 210315 | 2147483647 93847 28 | 0.051 % |
34.22/34.23 c | 94086 | 13754 65922 210315 | 2147483647 94042 29 | 0.051 % |
34.32/34.31 c | 94299 | 13754 65922 210315 | 2147483647 94255 29 | 0.051 % |
34.62/34.69 c | 94532 | 13754 65922 210315 | 2147483647 94488 29 | 0.051 % |
34.82/34.90 c | 94788 | 13754 65922 210315 | 2147483647 94744 29 | 0.051 % |
35.12/35.15 c | 95070 | 13754 65922 210315 | 2147483647 95026 29 | 0.051 % |
35.32/35.34 c | 95379 | 13754 65922 210315 | 2147483647 95335 29 | 0.051 % |
35.52/35.54 c | 95719 | 13754 65922 210315 | 2147483647 95675 29 | 0.051 % |
35.72/35.79 c | 96091 | 13754 65922 210315 | 2147483647 96047 29 | 0.051 % |
36.02/36.07 c | 96502 | 13754 65922 210315 | 2147483647 96458 29 | 0.051 % |
36.22/36.25 c | 96952 | 13754 65922 210315 | 2147483647 96908 29 | 0.051 % |
36.62/36.63 c | 97446 | 13754 65922 210315 | 2147483647 97402 29 | 0.051 % |
36.92/36.91 c | 97988 | 13753 65919 210309 | 2147483647 97943 29 | 0.058 % |
37.12/37.19 c | 98584 | 13753 65919 210309 | 2147483647 98539 29 | 0.058 % |
37.52/37.60 c | 99242 | 13753 65919 210309 | 2147483647 99197 29 | 0.058 % |
37.92/37.98 c | 99962 | 13753 65919 210309 | 2147483647 99917 29 | 0.058 % |
38.22/38.22 c | 100756 | 13753 65919 210309 | 2147483647 100711 29 | 0.058 % |
38.72/38.72 c | 101628 | 13753 65919 210309 | 2147483647 101583 29 | 0.058 % |
39.62/39.62 c | 102591 | 13753 65919 210309 | 2147483647 102546 29 | 0.058 % |
40.02/40.05 c | 103644 | 13753 65919 210309 | 2147483647 103599 29 | 0.058 % |
40.62/40.62 c | 104803 | 13753 65919 210309 | 2147483647 104758 29 | 0.058 % |
40.62/40.68 c | 104906 | 13753 65919 210309 | 2147483647 104861 29 | 0.058 % |
40.72/40.74 c | 105016 | 13753 65919 210309 | 2147483647 104971 29 | 0.058 % |
40.82/40.83 c | 105139 | 13753 65919 210309 | 2147483647 105094 29 | 0.058 % |
40.92/40.95 c | 105272 | 13753 65919 210309 | 2147483647 105227 29 | 0.058 % |
41.12/41.15 c | 105418 | 13753 65919 210309 | 2147483647 105373 29 | 0.058 % |
41.22/41.23 c | 105578 | 13753 65919 210309 | 2147483647 105533 29 | 0.058 % |
41.22/41.30 c | 105754 | 13753 65919 210309 | 2147483647 105709 29 | 0.058 % |
41.32/41.38 c | 105947 | 13753 65919 210309 | 2147483647 105902 29 | 0.058 % |
41.42/41.47 c | 106159 | 13753 65919 210309 | 2147483647 106114 29 | 0.058 % |
41.52/41.53 c | 106392 | 13753 65919 210309 | 2147483647 106347 29 | 0.058 % |
41.52/41.60 c | 106648 | 13753 65919 210309 | 2147483647 106603 29 | 0.058 % |
41.92/41.91 c | 106931 | 13753 65919 210309 | 2147483647 106886 29 | 0.058 % |
42.12/42.14 c | 107240 | 13753 65919 210309 | 2147483647 107195 29 | 0.058 % |
42.32/42.34 c | 107580 | 13753 65919 210309 | 2147483647 107535 29 | 0.058 % |
42.62/42.70 c | 107954 | 13752 65916 210303 | 2147483647 107908 30 | 0.065 % |
42.92/42.98 c | 108366 | 13752 65916 210303 | 2147483647 108320 30 | 0.065 % |
43.12/43.20 c | 108818 | 13752 65916 210303 | 2147483647 108772 30 | 0.065 % |
43.52/43.54 c | 109311 | 13752 65916 210303 | 2147483647 109265 30 | 0.065 % |
43.72/43.80 c | 109853 | 13752 65916 210303 | 2147483647 109807 30 | 0.065 % |
44.12/44.18 c | 110449 | 13752 65916 210303 | 2147483647 110403 30 | 0.065 % |
44.52/44.56 c | 111104 | 13752 65916 210303 | 2147483647 111058 30 | 0.065 % |
44.82/44.89 c | 111824 | 13752 65916 210303 | 2147483647 111778 30 | 0.065 % |
45.42/45.42 c | 112619 | 13752 65916 210303 | 2147483647 112573 30 | 0.065 % |
46.02/46.04 c | 113491 | 13752 65916 210303 | 2147483647 113445 30 | 0.065 % |
46.72/46.71 c | 114449 | 13752 65916 210303 | 2147483647 114403 30 | 0.065 % |
47.42/47.44 c | 115502 | 13752 65916 210303 | 2147483647 115456 30 | 0.065 % |
47.92/47.96 c | 116660 | 13751 65906 210275 | 2147483647 116598 30 | 0.073 % |
48.82/48.81 c | 117934 | 13751 65906 210275 | 2147483647 117872 30 | 0.073 % |
48.82/48.89 c | 118034 | 13751 65906 210275 | 2147483647 117972 30 | 0.073 % |
48.92/48.99 c | 118145 | 13751 65906 210275 | 2147483647 118083 30 | 0.073 % |
49.02/49.07 c | 118267 | 13751 65906 210275 | 2147483647 118205 30 | 0.073 % |
49.12/49.17 c | 118400 | 13751 65906 210275 | 2147483647 118338 30 | 0.073 % |
49.22/49.25 c | 118546 | 13751 65906 210275 | 2147483647 118484 30 | 0.073 % |
49.32/49.35 c | 118708 | 13751 65906 210275 | 2147483647 118646 30 | 0.073 % |
49.42/49.47 c | 118884 | 13751 65906 210275 | 2147483647 118822 30 | 0.073 % |
49.42/49.50 c | 119077 | 13751 65906 210275 | 2147483647 119015 30 | 0.073 % |
49.72/49.75 c | 119290 | 13751 65906 210275 | 2147483647 119228 30 | 0.073 % |
49.92/49.99 c | 119523 | 13751 65906 210275 | 2147483647 119461 30 | 0.073 % |
50.12/50.17 c | 119779 | 13751 65906 210275 | 2147483647 119717 30 | 0.073 % |
50.42/50.44 c | 120060 | 13751 65906 210275 | 2147483647 119998 30 | 0.073 % |
50.52/50.57 c | 120370 | 13751 65906 210275 | 2147483647 120308 30 | 0.073 % |
50.62/50.64 c | 120709 | 13751 65906 210275 | 2147483647 120647 30 | 0.073 % |
50.82/50.81 c | 121082 | 13751 65906 210275 | 2147483647 121020 30 | 0.073 % |
51.12/51.11 c | 121492 | 13751 65906 210275 | 2147483647 121430 30 | 0.073 % |
51.42/51.41 c | 121945 | 13751 65906 210275 | 2147483647 121883 30 | 0.073 % |
51.62/51.68 c | 122438 | 13751 65906 210275 | 2147483647 122376 30 | 0.073 % |
52.02/52.06 c | 122980 | 13751 65906 210275 | 2147483647 122918 30 | 0.073 % |
52.52/52.52 c | 123578 | 13751 65906 210275 | 2147483647 123516 31 | 0.073 % |
53.02/53.04 c | 124234 | 13751 65906 210275 | 2147483647 124172 31 | 0.073 % |
53.52/53.52 c | 124954 | 13751 65906 210275 | 2147483647 124892 31 | 0.073 % |
53.72/53.80 c | 125746 | 13751 65906 210275 | 2147483647 125684 31 | 0.073 % |
54.52/54.51 c | 126617 | 13751 65906 210275 | 2147483647 126555 31 | 0.073 % |
54.72/54.78 c | 127575 | 13751 65906 210275 | 2147483647 127513 31 | 0.073 % |
55.52/55.52 c | 128628 | 13751 65906 210275 | 2147483647 128566 31 | 0.073 % |
56.32/56.31 c | 129788 | 13751 65906 210275 | 2147483647 129726 31 | 0.073 % |
56.92/56.99 c | 131063 | 13751 65906 210275 | 2147483647 131001 31 | 0.073 % |
58.02/58.09 c | 132464 | 13751 65906 210275 | 2147483647 132402 31 | 0.073 % |
58.12/58.18 c | 132564 | 13751 65906 210275 | 2147483647 132502 31 | 0.073 % |
58.22/58.25 c | 132676 | 13751 65906 210275 | 2147483647 132614 31 | 0.073 % |
58.33/58.38 c | 132797 | 13751 65906 210275 | 2147483647 132735 31 | 0.073 % |
58.42/58.46 c | 132930 | 13751 65906 210275 | 2147483647 132868 31 | 0.073 % |
58.52/58.54 c | 133077 | 13751 65906 210275 | 2147483647 133015 31 | 0.073 % |
58.62/58.67 c | 133239 | 13751 65906 210275 | 2147483647 133177 31 | 0.073 % |
58.82/58.84 c | 133415 | 13751 65906 210275 | 2147483647 133353 31 | 0.073 % |
59.02/59.01 c | 133608 | 13751 65906 210275 | 2147483647 133546 31 | 0.073 % |
59.02/59.09 c | 133822 | 13751 65906 210275 | 2147483647 133760 31 | 0.073 % |
59.22/59.22 c | 134055 | 13751 65906 210275 | 2147483647 133993 31 | 0.073 % |
59.43/59.43 c | 134312 | 13751 65906 210275 | 2147483647 134250 31 | 0.073 % |
59.62/59.63 c | 134594 | 13751 65906 210275 | 2147483647 134532 31 | 0.073 % |
59.82/59.81 c | 134907 | 13751 65906 210275 | 2147483647 134845 31 | 0.073 % |
60.22/60.28 c | 135247 | 13751 65906 210275 | 2147483647 135185 31 | 0.073 % |
60.72/60.74 c | 135619 | 13751 65906 210275 | 2147483647 135557 31 | 0.073 % |
60.92/61.00 c | 136028 | 13751 65906 210275 | 2147483647 135966 31 | 0.073 % |
61.52/61.51 c | 136477 | 13751 65906 210275 | 2147483647 136415 31 | 0.073 % |
61.72/61.72 c | 136971 | 13751 65906 210275 | 2147483647 136909 31 | 0.073 % |
62.22/62.21 c | 137514 | 13751 65906 210275 | 2147483647 137452 32 | 0.073 % |
62.82/62.90 c | 138110 | 13751 65906 210275 | 2147483647 138048 32 | 0.073 % |
63.52/63.55 c | 138766 | 13750 65902 210267 | 2147483647 138699 32 | 0.080 % |
64.12/64.19 c | 139486 | 13750 65902 210267 | 2147483647 139419 32 | 0.080 % |
64.62/64.68 c | 140278 | 13750 65902 210267 | 2147483647 140211 32 | 0.080 % |
65.32/65.40 c | 141150 | 13750 65902 210267 | 2147483647 141083 32 | 0.080 % |
66.22/66.30 c | 142109 | 13750 65902 210267 | 2147483647 142042 32 | 0.080 % |
67.02/67.05 c | 143162 | 13750 65902 210267 | 2147483647 143095 32 | 0.080 % |
68.12/68.18 c | 144320 | 13750 65902 210267 | 2147483647 144253 32 | 0.080 % |
68.92/68.95 c | 145593 | 13749 65902 210267 | 2147483647 145525 32 | 0.087 % |
70.12/70.10 c | 146994 | 13749 65902 210267 | 2147483647 146926 32 | 0.087 % |
70.82/70.86 c | 148534 | 13749 65899 210261 | 2147483647 148466 32 | 0.087 % |
70.92/70.96 c | 148634 | 13749 65899 210261 | 2147483647 148566 32 | 0.087 % |
71.02/71.04 c | 148744 | 13749 65899 210261 | 2147483647 148676 32 | 0.087 % |
71.02/71.08 c | 148865 | 13749 65899 210261 | 2147483647 148797 32 | 0.087 % |
71.12/71.16 c | 149000 | 13749 65899 210261 | 2147483647 148932 32 | 0.087 % |
71.22/71.29 c | 149147 | 13749 65899 210261 | 2147483647 149079 32 | 0.087 % |
71.53/71.55 c | 149307 | 13749 65899 210261 | 2147483647 149239 32 | 0.087 % |
71.62/71.67 c | 149483 | 13749 65899 210261 | 2147483647 149415 32 | 0.087 % |
71.82/71.82 c | 149676 | 13749 65899 210261 | 2147483647 149608 32 | 0.087 % |
71.92/71.92 c | 149889 | 13749 65899 210261 | 2147483647 149821 32 | 0.087 % |
72.12/72.11 c | 150122 | 13749 65899 210261 | 2147483647 150054 32 | 0.087 % |
72.22/72.29 c | 150378 | 13749 65899 210261 | 2147483647 150310 32 | 0.087 % |
72.42/72.47 c | 150659 | 13749 65899 210261 | 2147483647 150591 32 | 0.087 % |
72.72/72.77 c | 150968 | 13749 65899 210261 | 2147483647 150900 33 | 0.087 % |
73.32/73.31 c | 151307 | 13749 65899 210261 | 2147483647 151239 33 | 0.087 % |
73.73/73.77 c | 151679 | 13749 65899 210261 | 2147483647 151611 33 | 0.087 % |
74.22/74.23 c | 152088 | 13749 65899 210261 | 2147483647 152020 33 | 0.087 % |
74.62/74.65 c | 152537 | 13749 65899 210261 | 2147483647 152469 33 | 0.087 % |
75.02/75.09 c | 153030 | 13749 65899 210261 | 2147483647 152962 33 | 0.087 % |
75.42/75.42 c | 153572 | 13749 65899 210261 | 2147483647 153504 33 | 0.087 % |
75.93/75.99 c | 154172 | 13749 65899 210261 | 2147483647 154104 33 | 0.087 % |
76.52/76.56 c | 154827 | 13749 65899 210261 | 2147483647 154759 33 | 0.087 % |
77.03/77.10 c | 155547 | 13749 65899 210261 | 2147483647 155479 33 | 0.087 % |
77.42/77.47 c | 156341 | 13749 65899 210261 | 2147483647 156273 33 | 0.087 % |
78.02/78.08 c | 157212 | 13749 65899 210261 | 2147483647 157144 33 | 0.087 % |
78.42/78.48 c | 158172 | 13749 65899 210261 | 2147483647 158104 33 | 0.087 % |
79.32/79.36 c | 159225 | 13749 65899 210261 | 2147483647 159157 33 | 0.087 % |
80.22/80.25 c | 160384 | 13749 65899 210261 | 2147483647 160316 33 | 0.087 % |
81.22/81.28 c | 161657 | 13749 65899 210261 | 2147483647 161589 33 | 0.087 % |
82.32/82.35 c | 163058 | 13749 65899 210261 | 2147483647 162990 33 | 0.087 % |
83.52/83.59 c | 164598 | 13749 65899 210261 | 2147483647 164530 33 | 0.087 % |
84.62/84.63 c | 166292 | 13745 65889 210233 | 2147483647 165579 33 | 0.116 % |
84.73/84.79 c | 166393 | 13745 65889 210233 | 2147483647 165680 33 | 0.116 % |
84.92/84.94 c | 166503 | 13745 65889 210233 | 2147483647 165790 33 | 0.116 % |
85.02/85.04 c | 166624 | 13745 65889 210233 | 2147483647 165911 33 | 0.116 % |
85.12/85.18 c | 166757 | 13745 65889 210233 | 2147483647 166044 33 | 0.116 % |
85.32/85.37 c | 166904 | 13745 65889 210233 | 2147483647 166191 33 | 0.116 % |
85.52/85.52 c | 167064 | 13745 65889 210233 | 2147483647 166351 33 | 0.116 % |
85.62/85.71 c | 167241 | 13745 65889 210233 | 2147483647 166528 33 | 0.116 % |
85.72/85.80 c | 167436 | 13745 65889 210233 | 2147483647 166723 33 | 0.116 % |
85.92/85.99 c | 167649 | 13745 65889 210233 | 2147483647 166936 33 | 0.116 % |
86.12/86.17 c | 167882 | 13745 65889 210233 | 2147483647 167169 33 | 0.116 % |
86.52/86.51 c | 168138 | 13745 65889 210233 | 2147483647 167425 33 | 0.116 % |
86.72/86.75 c | 168419 | 13745 65889 210233 | 2147483647 167706 33 | 0.116 % |
87.02/87.06 c | 168728 | 13745 65889 210233 | 2147483647 168015 33 | 0.116 % |
87.32/87.39 c | 169068 | 13745 65889 210233 | 2147483647 168355 33 | 0.116 % |
87.62/87.69 c | 169440 | 13745 65889 210233 | 2147483647 168727 33 | 0.116 % |
88.12/88.16 c | 169850 | 13745 65889 210233 | 2147483647 169137 33 | 0.116 % |
88.42/88.48 c | 170299 | 13745 65889 210233 | 2147483647 169586 33 | 0.116 % |
88.82/88.83 c | 170793 | 13745 65889 210233 | 2147483647 170080 33 | 0.116 % |
89.42/89.42 c | 171335 | 13745 65889 210233 | 2147483647 170622 33 | 0.116 % |
89.92/89.99 c | 171931 | 13745 65889 210233 | 2147483647 171218 33 | 0.116 % |
90.72/90.73 c | 172586 | 13745 65889 210233 | 2147483647 171873 33 | 0.116 % |
91.33/91.34 c | 173306 | 13745 65889 210233 | 2147483647 172593 33 | 0.116 % |
92.02/92.04 c | 174098 | 13745 65889 210233 | 2147483647 173385 33 | 0.116 % |
92.52/92.52 c | 174969 | 13745 65889 210233 | 2147483647 174256 33 | 0.116 % |
93.62/93.66 c | 175928 | 13745 65869 210180 | 2147483647 175062 33 | 0.116 % |
94.42/94.42 c | 176981 | 13745 65869 210180 | 2147483647 176115 33 | 0.116 % |
95.62/95.63 c | 178139 | 13745 65869 210180 | 2147483647 177273 33 | 0.116 % |
97.12/97.11 c | 179415 | 13744 65869 210180 | 2147483647 178548 33 | 0.124 % |
98.32/98.31 c | 180815 | 13744 65869 210180 | 2147483647 179948 33 | 0.124 % |
99.72/99.70 c | 182355 | 13744 65869 210180 | 2147483647 181488 33 | 0.124 % |
101.23/101.25 c | 184049 | 13744 65869 210180 | 2147483647 183182 33 | 0.124 % |
103.12/103.12 c | 185913 | 13744 65869 210180 | 2147483647 185046 33 | 0.124 % |
103.22/103.27 c | 186014 | 13744 65866 210174 | 2147483647 185147 33 | 0.124 % |
103.32/103.38 c | 186124 | 13744 65866 210174 | 2147483647 185257 33 | 0.124 % |
103.43/103.48 c | 186246 | 13744 65866 210174 | 2147483647 185379 33 | 0.124 % |
103.62/103.63 c | 186379 | 13744 65866 210174 | 2147483647 185512 33 | 0.124 % |
103.72/103.76 c | 186525 | 13744 65866 210174 | 2147483647 185658 33 | 0.124 % |
104.02/104.09 c | 186686 | 13744 65866 210174 | 2147483647 185819 33 | 0.124 % |
104.12/104.20 c | 186862 | 13744 65866 210174 | 2147483647 185995 33 | 0.124 % |
104.22/104.27 c | 187055 | 13744 65866 210174 | 2147483647 186188 33 | 0.124 % |
104.42/104.45 c | 187267 | 13744 65866 210174 | 2147483647 186400 33 | 0.124 % |
104.62/104.69 c | 187502 | 13744 65866 210174 | 2147483647 186635 33 | 0.124 % |
104.92/104.90 c | 187758 | 13744 65866 210174 | 2147483647 186891 33 | 0.124 % |
105.12/105.18 c | 188041 | 13744 65866 210174 | 2147483647 187174 33 | 0.124 % |
105.52/105.54 c | 188352 | 13744 65866 210174 | 2147483647 187485 33 | 0.124 % |
105.92/105.95 c | 188695 | 13744 65866 210174 | 2147483647 187828 33 | 0.124 % |
106.12/106.18 c | 189067 | 13744 65866 210174 | 2147483647 188200 33 | 0.124 % |
106.52/106.57 c | 189476 | 13744 65866 210174 | 2147483647 188609 33 | 0.124 % |
106.82/106.89 c | 189925 | 13744 65866 210174 | 2147483647 189058 33 | 0.124 % |
107.72/107.72 c | 190419 | 13744 65866 210174 | 2147483647 189552 34 | 0.124 % |
108.12/108.19 c | 190961 | 13744 65866 210174 | 2147483647 190094 34 | 0.124 % |
109.02/109.01 c | 191557 | 13744 65866 210174 | 2147483647 190690 34 | 0.124 % |
109.82/109.85 c | 192214 | 13744 65866 210174 | 2147483647 191347 34 | 0.124 % |
110.53/110.56 c | 192934 | 13744 65866 210174 | 2147483647 192067 34 | 0.124 % |
111.13/111.14 c | 193726 | 13744 65866 210174 | 2147483647 192859 34 | 0.124 % |
112.03/112.04 c | 194597 | 13744 65866 210174 | 2147483647 193730 34 | 0.124 % |
113.03/113.04 c | 195556 | 13744 65866 210174 | 2147483647 194689 34 | 0.124 % |
114.03/114.05 c | 196609 | 13744 65866 210174 | 2147483647 195742 34 | 0.124 % |
115.53/115.52 c | 197769 | 13744 65866 210174 | 2147483647 196902 34 | 0.124 % |
116.83/116.85 c | 199042 | 13744 65866 210174 | 2147483647 198175 34 | 0.124 % |
118.43/118.41 c | 200444 | 13744 65866 210174 | 2147483647 199577 34 | 0.124 % |
119.83/119.87 c | 201984 | 13744 65866 210174 | 2147483647 201117 34 | 0.124 % |
122.03/122.08 c | 203678 | 13740 65836 210093 | 2147483647 202758 34 | 0.153 % |
124.13/124.19 c | 205543 | 13740 65836 210093 | 2147483647 204623 35 | 0.153 % |
125.93/125.98 c | 207592 | 13740 65836 210093 | 2147483647 206672 35 | 0.153 % |
126.13/126.12 c | 207692 | 13740 65836 210093 | 2147483647 206772 35 | 0.153 % |
126.33/126.33 c | 207803 | 13740 65836 210093 | 2147483647 206883 35 | 0.153 % |
126.43/126.49 c | 207925 | 13740 65836 210093 | 2147483647 207005 35 | 0.153 % |
126.63/126.64 c | 208059 | 13740 65836 210093 | 2147483647 207139 35 | 0.153 % |
126.83/126.84 c | 208207 | 13740 65836 210093 | 2147483647 207287 35 | 0.153 % |
127.03/127.05 c | 208367 | 13740 65836 210093 | 2147483647 207447 35 | 0.153 % |
127.33/127.32 c | 208543 | 13740 65836 210093 | 2147483647 207623 35 | 0.153 % |
127.43/127.49 c | 208738 | 13740 65836 210093 | 2147483647 207818 35 | 0.153 % |
127.73/127.79 c | 208950 | 13740 65836 210093 | 2147483647 208030 35 | 0.153 % |
127.93/127.99 c | 209183 | 13740 65836 210093 | 2147483647 208263 35 | 0.153 % |
128.13/128.20 c | 209439 | 13740 65836 210093 | 2147483647 208519 35 | 0.153 % |
128.73/128.74 c | 209720 | 13740 65836 210093 | 2147483647 208800 35 | 0.153 % |
129.03/129.07 c | 210029 | 13740 65836 210093 | 2147483647 209109 35 | 0.153 % |
129.53/129.57 c | 210370 | 13739 65836 210093 | 2147483647 209449 35 | 0.189 % |
129.93/129.92 c | 210742 | 13739 65836 210093 | 2147483647 209821 35 | 0.189 % |
130.33/130.39 c | 211151 | 13739 65836 210093 | 2147483647 210230 35 | 0.189 % |
130.73/130.81 c | 211600 | 13739 65836 210093 | 2147483647 210679 35 | 0.189 % |
131.23/131.29 c | 212093 | 13739 65836 210093 | 2147483647 211172 35 | 0.189 % |
131.63/131.70 c | 212636 | 13739 65836 210093 | 2147483647 211715 35 | 0.189 % |
132.43/132.51 c | 213232 | 13739 65836 210093 | 2147483647 212311 35 | 0.189 % |
132.93/132.98 c | 213888 | 13739 65836 210093 | 2147483647 212967 35 | 0.189 % |
133.63/133.63 c | 214608 | 13739 65836 210093 | 2147483647 213687 35 | 0.189 % |
134.53/134.53 c | 215400 | 13739 65836 210093 | 2147483647 214479 35 | 0.189 % |
135.53/135.56 c | 216271 | 13735 65795 209979 | 2147483647 214991 35 | 0.189 % |
136.43/136.43 c | 217229 | 13735 65795 209979 | 2147483647 215949 35 | 0.189 % |
137.33/137.40 c | 218283 | 13735 65795 209979 | 2147483647 217003 35 | 0.189 % |
138.43/138.42 c | 219443 | 13735 65795 209979 | 2147483647 218163 35 | 0.189 % |
139.63/139.63 c | 220717 | 13735 65795 209979 | 2147483647 219437 35 | 0.189 % |
141.03/141.03 c | 222120 | 13735 65795 209979 | 2147483647 220840 35 | 0.189 % |
142.93/142.94 c | 223660 | 13735 65795 209979 | 2147483647 222380 35 | 0.189 % |
145.73/145.76 c | 225355 | 13735 65795 209979 | 2147483647 224075 36 | 0.189 % |
148.03/148.05 c | 227218 | 13735 65795 209979 | 2147483647 225938 36 | 0.189 % |
150.13/150.12 c | 229267 | 13735 65795 209979 | 2147483647 227987 36 | 0.189 % |
152.53/152.58 c | 231520 | 13735 65795 209979 | 2147483647 230240 36 | 0.189 % |
152.73/152.72 c | 231620 | 13735 65795 209979 | 2147483647 230340 36 | 0.189 % |
152.83/152.88 c | 231731 | 13735 65795 209979 | 2147483647 230451 36 | 0.189 % |
153.03/153.08 c | 231852 | 13735 65795 209979 | 2147483647 230572 36 | 0.189 % |
153.23/153.22 c | 231985 | 13735 65795 209979 | 2147483647 230705 36 | 0.189 % |
153.33/153.39 c | 232133 | 13735 65795 209979 | 2147483647 230853 36 | 0.189 % |
153.53/153.53 c | 232293 | 13735 65795 209979 | 2147483647 231013 36 | 0.189 % |
153.73/153.72 c | 232469 | 13735 65795 209979 | 2147483647 231189 36 | 0.189 % |
153.93/153.93 c | 232662 | 13735 65795 209979 | 2147483647 231382 36 | 0.189 % |
154.13/154.20 c | 232875 | 13735 65795 209979 | 2147483647 231595 36 | 0.189 % |
154.33/154.40 c | 233108 | 13735 65795 209979 | 2147483647 231828 36 | 0.189 % |
154.73/154.75 c | 233364 | 13735 65795 209979 | 2147483647 232084 36 | 0.189 % |
155.03/155.09 c | 233645 | 13735 65795 209979 | 2147483647 232365 36 | 0.189 % |
155.73/155.72 c | 233954 | 13735 65795 209979 | 2147483647 232674 36 | 0.189 % |
156.23/156.28 c | 234296 | 13735 65795 209979 | 2147483647 233016 36 | 0.189 % |
156.83/156.85 c | 234669 | 13735 65795 209979 | 2147483647 233389 36 | 0.189 % |
157.43/157.43 c | 235078 | 13735 65795 209979 | 2147483647 233798 36 | 0.189 % |
158.03/158.06 c | 235527 | 13735 65795 209979 | 2147483647 234247 36 | 0.189 % |
158.63/158.62 c | 236022 | 13735 65795 209979 | 2147483647 234742 36 | 0.189 % |
159.03/159.06 c | 236564 | 13735 65795 209979 | 2147483647 235284 36 | 0.189 % |
159.83/159.81 c | 237160 | 13735 65795 209979 | 2147483647 235880 36 | 0.189 % |
161.03/161.07 c | 237817 | 13735 65795 209979 | 2147483647 236537 37 | 0.189 % |
161.73/161.77 c | 238537 | 13735 65795 209979 | 2147483647 237257 37 | 0.189 % |
162.73/162.72 c | 239332 | 13734 65789 209962 | 2147483647 238047 37 | 0.196 % |
164.03/164.03 c | 240204 | 13734 65789 209962 | 2147483647 238919 37 | 0.196 % |
165.33/165.40 c | 241162 | 13734 65789 209962 | 2147483647 239877 37 | 0.196 % |
166.93/166.99 c | 242216 | 13734 65789 209962 | 2147483647 240931 37 | 0.196 % |
168.33/168.39 c | 243374 | 13734 65789 209962 | 2147483647 242089 37 | 0.196 % |
170.13/170.17 c | 244648 | 13734 65789 209962 | 2147483647 243363 37 | 0.196 % |
171.73/171.78 c | 246048 | 13734 65789 209962 | 2147483647 244763 37 | 0.196 % |
173.83/173.89 c | 247588 | 13734 65789 209962 | 2147483647 246303 37 | 0.196 % |
175.93/175.92 c | 249283 | 13734 65789 209962 | 2147483647 247998 37 | 0.196 % |
178.23/178.22 c | 251148 | 13734 65789 209962 | 2147483647 249863 37 | 0.196 % |
181.03/181.03 c | 253202 | 13734 65789 209962 | 2147483647 251917 37 | 0.196 % |
186.83/186.82 c | 255456 | 13734 65789 209962 | 2147483647 254171 38 | 0.196 % |
190.13/190.11 c | 257934 | 13734 65789 209962 | 2147483647 256649 38 | 0.196 % |
190.23/190.28 c | 258035 | 13734 65789 209962 | 2147483647 256750 38 | 0.196 % |
190.34/190.40 c | 258145 | 13734 65789 209962 | 2147483647 256860 38 | 0.196 % |
190.53/190.54 c | 258266 | 13734 65789 209962 | 2147483647 256981 38 | 0.196 % |
190.73/190.72 c | 258400 | 13734 65789 209962 | 2147483647 257115 38 | 0.196 % |
190.83/190.86 c | 258546 | 13734 65789 209962 | 2147483647 257261 38 | 0.196 % |
191.13/191.16 c | 258707 | 13734 65789 209962 | 2147483647 257422 38 | 0.196 % |
191.53/191.52 c | 258884 | 13734 65789 209962 | 2147483647 257599 38 | 0.196 % |
191.73/191.74 c | 259077 | 13734 65789 209962 | 2147483647 257792 38 | 0.196 % |
192.03/192.09 c | 259291 | 13734 65789 209962 | 2147483647 258006 38 | 0.196 % |
192.43/192.43 c | 259524 | 13734 65789 209962 | 2147483647 258239 38 | 0.196 % |
192.73/192.74 c | 259780 | 13734 65789 209962 | 2147483647 258495 38 | 0.197 % |
193.13/193.13 c | 260061 | 13734 65789 209962 | 2147483647 258776 38 | 0.196 % |
193.53/193.52 c | 260370 | 13734 65789 209962 | 2147483647 259085 38 | 0.196 % |
194.03/194.01 c | 260710 | 13734 65789 209962 | 2147483647 259425 38 | 0.196 % |
194.63/194.61 c | 261082 | 13734 65789 209962 | 2147483647 259797 38 | 0.196 % |
195.13/195.16 c | 261491 | 13734 65789 209962 | 2147483647 260206 38 | 0.196 % |
195.73/195.75 c | 261940 | 13734 65789 209962 | 2147483647 260655 38 | 0.196 % |
196.43/196.41 c | 262434 | 13734 65789 209962 | 2147483647 261149 38 | 0.196 % |
197.13/197.13 c | 262977 | 13734 65789 209962 | 2147483647 261692 38 | 0.196 % |
198.23/198.22 c | 263573 | 13734 65789 209962 | 2147483647 262288 38 | 0.196 % |
199.43/199.41 c | 264228 | 13734 65789 209962 | 2147483647 262943 38 | 0.196 % |
200.24/200.25 c | 264950 | 13734 65789 209962 | 2147483647 263665 38 | 0.196 % |
201.13/201.20 c | 265742 | 13734 65789 209962 | 2147483647 264457 38 | 0.196 % |
202.63/202.63 c | 266613 | 13734 65789 209962 | 2147483647 265328 38 | 0.196 % |
203.73/203.77 c | 267571 | 13734 65789 209962 | 2147483647 266286 38 | 0.196 % |
205.43/205.45 c | 268624 | 13734 65789 209962 | 2147483647 267339 38 | 0.196 % |
207.33/207.38 c | 269782 | 13734 65789 209962 | 2147483647 268497 38 | 0.196 % |
209.04/209.02 c | 271056 | 13734 65789 209962 | 2147483647 269771 38 | 0.196 % |
210.53/210.60 c | 272456 | 13734 65789 209962 | 2147483647 271171 38 | 0.196 % |
212.73/212.74 c | 273998 | 13734 65789 209962 | 2147483647 272713 38 | 0.196 % |
215.33/215.31 c | 275693 | 13734 65789 209962 | 2147483647 274408 38 | 0.196 % |
218.33/218.33 c | 277557 | 13734 65789 209962 | 2147483647 276272 39 | 0.196 % |
221.53/221.56 c | 279609 | 13734 65789 209962 | 2147483647 278324 39 | 0.196 % |
224.63/224.67 c | 281862 | 13734 65789 209962 | 2147483647 280577 38 | 0.196 % |
228.93/228.92 c | 284340 | 13734 65789 209962 | 2147483647 283055 38 | 0.197 % |
233.13/233.14 c | 287068 | 13734 65789 209962 | 2147483647 285783 38 | 0.196 % |
233.24/233.27 c | 287168 | 13734 65789 209962 | 2147483647 285883 38 | 0.196 % |
233.33/233.38 c | 287279 | 13734 65789 209962 | 2147483647 285994 38 | 0.196 % |
233.63/233.64 c | 287400 | 13734 65789 209962 | 2147483647 286115 38 | 0.196 % |
233.83/233.89 c | 287534 | 13734 65789 209962 | 2147483647 286249 39 | 0.196 % |
234.13/234.18 c | 287681 | 13734 65789 209962 | 2147483647 286396 39 | 0.196 % |
234.23/234.28 c | 287841 | 13734 65789 209962 | 2147483647 286556 38 | 0.196 % |
234.63/234.65 c | 288017 | 13734 65789 209962 | 2147483647 286732 39 | 0.196 % |
234.93/234.93 c | 288212 | 13734 65789 209962 | 2147483647 286927 39 | 0.196 % |
235.23/235.22 c | 288425 | 13734 65789 209962 | 2147483647 287140 39 | 0.196 % |
235.63/235.61 c | 288659 | 13734 65789 209962 | 2147483647 287374 39 | 0.196 % |
235.73/235.78 c | 288917 | 13734 65789 209962 | 2147483647 287632 39 | 0.196 % |
236.23/236.26 c | 289198 | 13734 65789 209962 | 2147483647 287913 38 | 0.196 % |
236.74/236.75 c | 289509 | 13734 65789 209962 | 2147483647 288224 39 | 0.196 % |
237.24/237.28 c | 289849 | 13734 65789 209962 | 2147483647 288564 39 | 0.196 % |
237.94/237.99 c | 290221 | 13733 65779 209934 | 2147483647 288929 39 | 0.203 % |
238.84/238.89 c | 290630 | 13733 65779 209934 | 2147483647 289338 39 | 0.203 % |
239.54/239.60 c | 291079 | 13733 65779 209934 | 2147483647 289787 39 | 0.203 % |
240.14/240.20 c | 291573 | 13733 65779 209934 | 2147483647 290281 39 | 0.204 % |
240.74/240.72 c | 292119 | 13733 65779 209934 | 2147483647 290827 39 | 0.203 % |
241.34/241.35 c | 292716 | 13732 65779 209934 | 2147483647 291423 39 | 0.233 % |
242.24/242.24 c | 293373 | 13732 65779 209934 | 2147483647 292080 39 | 0.233 % |
243.54/243.57 c | 294093 | 13732 65779 209934 | 2147483647 292800 39 | 0.233 % |
244.94/244.93 c | 294887 | 13732 65779 209934 | 2147483647 293594 39 | 0.233 % |
246.74/246.76 c | 295759 | 13732 65779 209934 | 2147483647 294466 39 | 0.233 % |
248.65/248.67 c | 296717 | 13732 65779 209934 | 2147483647 295424 39 | 0.233 % |
250.95/250.94 c | 297770 | 13732 65779 209934 | 2147483647 296477 39 | 0.233 % |
252.95/252.96 c | 298928 | 13732 65779 209934 | 2147483647 297635 39 | 0.233 % |
254.55/254.59 c | 300201 | 13732 65779 209934 | 2147483647 298908 39 | 0.233 % |
257.45/257.44 c | 301601 | 13732 65779 209934 | 2147483647 300308 39 | 0.233 % |
260.95/260.96 c | 303143 | 13732 65779 209934 | 2147483647 301850 39 | 0.233 % |
263.25/263.28 c | 304838 | 13732 65779 209934 | 2147483647 303545 39 | 0.233 % |
265.95/265.99 c | 306704 | 13732 65779 209934 | 2147483647 305411 39 | 0.233 % |
271.05/271.11 c | 308754 | 13729 65739 209822 | 2147483647 307396 39 | 0.233 % |
275.05/275.06 c | 311007 | 13729 65739 209822 | 2147483647 309649 39 | 0.233 % |
279.25/279.27 c | 313486 | 13729 65739 209822 | 2147483647 312128 40 | 0.233 % |
284.34/284.38 c | 316213 | 13729 65739 209822 | 2147483647 314855 40 | 0.233 % |
289.24/289.22 c | 319210 | 13729 65739 209822 | 2147483647 317852 40 | 0.233 % |
289.34/289.35 c | 319310 | 13729 65739 209822 | 2147483647 317952 40 | 0.233 % |
289.54/289.61 c | 319420 | 13729 65739 209822 | 2147483647 318062 40 | 0.233 % |
289.84/289.87 c | 319542 | 13729 65739 209822 | 2147483647 318184 40 | 0.233 % |
290.24/290.21 c | 319677 | 13729 65739 209822 | 2147483647 318319 40 | 0.233 % |
290.74/290.74 c | 319824 | 13729 65739 209822 | 2147483647 318466 40 | 0.233 % |
291.04/291.02 c | 319984 | 13729 65739 209822 | 2147483647 318626 40 | 0.233 % |
291.24/291.28 c | 320161 | 13729 65739 209822 | 2147483647 318803 40 | 0.233 % |
291.44/291.43 c | 320354 | 13729 65739 209822 | 2147483647 318996 40 | 0.233 % |
291.94/292.00 c | 320566 | 13729 65739 209822 | 2147483647 319208 40 | 0.233 % |
292.74/292.75 c | 320801 | 13729 65739 209822 | 2147483647 319443 40 | 0.233 % |
293.14/293.18 c | 321057 | 13729 65739 209822 | 2147483647 319699 40 | 0.233 % |
293.74/293.72 c | 321339 | 13729 65739 209822 | 2147483647 319981 40 | 0.233 % |
294.34/294.33 c | 321649 | 13729 65739 209822 | 2147483647 320291 40 | 0.233 % |
294.74/294.72 c | 321993 | 13729 65739 209822 | 2147483647 320635 40 | 0.233 % |
296.14/296.16 c | 322366 | 13729 65739 209822 | 2147483647 321008 40 | 0.233 % |
297.04/297.04 c | 322775 | 13729 65739 209822 | 2147483647 321417 40 | 0.233 % |
297.94/297.94 c | 323226 | 13729 65739 209822 | 2147483647 321868 40 | 0.233 % |
298.74/298.77 c | 323720 | 13729 65739 209822 | 2147483647 322362 40 | 0.233 % |
299.54/299.55 c | 324262 | 13729 65739 209822 | 2147483647 322904 40 | 0.233 % |
300.84/300.89 c | 324861 | 13729 65739 209822 | 2147483647 323503 41 | 0.233 % |
302.04/302.09 c | 325516 | 13729 65739 209822 | 2147483647 324158 41 | 0.233 % |
303.34/303.41 c | 326237 | 13729 65739 209822 | 2147483647 324879 41 | 0.233 % |
304.74/304.78 c | 327030 | 13729 65739 209822 | 2147483647 325672 41 | 0.233 % |
306.64/306.63 c | 327903 | 13729 65739 209822 | 2147483647 326545 41 | 0.233 % |
309.04/309.01 c | 328861 | 13729 65739 209822 | 2147483647 327503 41 | 0.233 % |
309.94/310.00 c | 329914 | 13729 65739 209822 | 2147483647 328556 41 | 0.233 % |
311.74/311.80 c | 331072 | 13729 65739 209822 | 2147483647 329714 41 | 0.233 % |
314.65/314.70 c | 332345 | 13729 65739 209822 | 2147483647 330987 41 | 0.233 % |
318.44/318.50 c | 333746 | 13729 65739 209822 | 2147483647 332388 41 | 0.233 % |
322.24/322.23 c | 335286 | 13729 65739 209822 | 2147483647 333928 41 | 0.233 % |
324.64/324.68 c | 336980 | 13729 65739 209822 | 2147483647 335622 41 | 0.233 % |
328.44/328.48 c | 338843 | 13729 65739 209822 | 2147483647 337485 41 | 0.233 % |
332.44/332.41 c | 340893 | 13729 65739 209822 | 2147483647 339535 41 | 0.233 % |
337.84/337.86 c | 343146 | 13729 65739 209822 | 2147483647 341788 41 | 0.233 % |
342.34/342.34 c | 345625 | 13729 65739 209822 | 2147483647 344267 41 | 0.233 % |
347.34/347.34 c | 348350 | 13729 65739 209822 | 2147483647 346992 41 | 0.233 % |
354.54/354.58 c | 351349 | 13729 65739 209822 | 2147483647 349991 41 | 0.233 % |
361.04/361.05 c | 354645 | 13729 65739 209822 | 2147483647 353287 41 | 0.233 % |
361.34/361.32 c | 354745 | 13729 65739 209822 | 2147483647 353387 41 | 0.233 % |
361.54/361.51 c | 354859 | 13729 65739 209822 | 2147483647 353501 41 | 0.233 % |
361.64/361.68 c | 354981 | 13729 65739 209822 | 2147483647 353623 41 | 0.233 % |
361.84/361.89 c | 355114 | 13729 65739 209822 | 2147483647 353756 41 | 0.233 % |
362.24/362.21 c | 355260 | 13729 65739 209822 | 2147483647 353902 41 | 0.233 % |
362.44/362.48 c | 355420 | 13729 65739 209822 | 2147483647 354062 41 | 0.233 % |
362.95/362.94 c | 355596 | 13729 65739 209822 | 2147483647 354238 41 | 0.233 % |
363.25/363.31 c | 355789 | 13729 65739 209822 | 2147483647 354431 41 | 0.233 % |
363.45/363.48 c | 356002 | 13729 65739 209822 | 2147483647 354644 41 | 0.233 % |
363.85/363.88 c | 356238 | 13729 65739 209822 | 2147483647 354880 41 | 0.233 % |
364.15/364.21 c | 356494 | 13729 65739 209822 | 2147483647 355136 41 | 0.233 % |
364.95/364.95 c | 356775 | 13729 65739 209822 | 2147483647 355417 41 | 0.233 % |
365.65/365.65 c | 357084 | 13729 65739 209822 | 2147483647 355726 41 | 0.233 % |
366.65/366.65 c | 357423 | 13729 65739 209822 | 2147483647 356065 41 | 0.233 % |
367.65/367.62 c | 357795 | 13729 65739 209822 | 2147483647 356437 41 | 0.233 % |
368.85/368.84 c | 358205 | 13729 65739 209822 | 2147483647 356847 41 | 0.233 % |
369.35/369.41 c | 358654 | 13729 65739 209822 | 2147483647 357296 41 | 0.233 % |
370.25/370.22 c | 359148 | 13729 65739 209822 | 2147483647 357790 41 | 0.233 % |
371.05/371.03 c | 359690 | 13729 65739 209822 | 2147483647 358332 41 | 0.233 % |
372.25/372.28 c | 360288 | 13729 65739 209822 | 2147483647 358930 41 | 0.233 % |
373.55/373.60 c | 360943 | 13729 65739 209822 | 2147483647 359585 41 | 0.233 % |
375.95/375.93 c | 361663 | 13729 65739 209822 | 2147483647 360305 41 | 0.233 % |
377.35/377.33 c | 362456 | 13729 65739 209822 | 2147483647 361098 41 | 0.233 % |
379.65/379.70 c | 363327 | 13728 65736 209816 | 2147483647 361966 41 | 0.240 % |
381.95/382.00 c | 364286 | 13728 65736 209816 | 2147483647 362925 41 | 0.240 % |
383.15/383.13 c | 365339 | 13728 65736 209816 | 2147483647 363978 41 | 0.240 % |
385.55/385.58 c | 366499 | 13728 65736 209816 | 2147483647 365138 41 | 0.240 % |
387.95/388.01 c | 367772 | 13728 65736 209816 | 2147483647 366411 41 | 0.240 % |
390.55/390.53 c | 369172 | 13728 65736 209816 | 2147483647 367811 41 | 0.240 % |
393.45/393.51 c | 370713 | 13728 65736 209816 | 2147483647 369352 41 | 0.240 % |
397.15/397.13 c | 372408 | 13728 65736 209816 | 2147483647 371047 41 | 0.240 % |
401.65/401.62 c | 374271 | 13728 65736 209816 | 2147483647 372909 41 | 0.247 % |
405.15/405.19 c | 376320 | 13728 65736 209816 | 2147483647 374958 41 | 0.247 % |
410.35/410.32 c | 378573 | 13728 65736 209816 | 2147483647 377211 42 | 0.247 % |
416.35/416.36 c | 381051 | 13728 65736 209816 | 2147483647 379689 41 | 0.247 % |
424.25/424.30 c | 383777 | 13728 65736 209816 | 2147483647 382415 41 | 0.247 % |
435.75/435.78 c | 386775 | 13727 65733 209810 | 2147483647 385411 42 | 0.247 % |
442.55/442.59 c | 390071 | 13726 65733 209810 | 2147483647 388706 42 | 0.254 % |
450.35/450.38 c | 393696 | 13726 65733 209810 | 2147483647 392330 42 | 0.262 % |
450.55/450.61 c | 393796 | 13726 65733 209810 | 2147483647 392430 42 | 0.262 % |
450.85/450.88 c | 393906 | 13726 65733 209810 | 2147483647 392540 42 | 0.262 % |
451.15/451.19 c | 394027 | 13726 65733 209810 | 2147483647 392661 42 | 0.262 % |
451.45/451.50 c | 394160 | 13726 65733 209810 | 2147483647 392794 42 | 0.262 % |
451.85/451.89 c | 394306 | 13726 65733 209810 | 2147483647 392940 42 | 0.262 % |
452.25/452.22 c | 394466 | 13726 65733 209810 | 2147483647 393100 42 | 0.262 % |
452.65/452.65 c | 394643 | 13726 65733 209810 | 2147483647 393277 42 | 0.262 % |
453.26/453.28 c | 394837 | 13726 65733 209810 | 2147483647 393471 42 | 0.262 % |
453.85/453.83 c | 395049 | 13726 65733 209810 | 2147483647 393683 42 | 0.262 % |
454.45/454.51 c | 395282 | 13726 65733 209810 | 2147483647 393916 42 | 0.262 % |
454.95/454.98 c | 395538 | 13726 65733 209810 | 2147483647 394172 42 | 0.262 % |
455.65/455.67 c | 395819 | 13726 65733 209810 | 2147483647 394453 42 | 0.262 % |
456.75/456.77 c | 396128 | 13726 65733 209810 | 2147483647 394762 42 | 0.262 % |
457.05/457.08 c | 396467 | 13726 65733 209810 | 2147483647 395101 42 | 0.262 % |
457.95/457.94 c | 396840 | 13726 65733 209810 | 2147483647 395474 42 | 0.262 % |
458.95/458.95 c | 397249 | 13726 65733 209810 | 2147483647 395883 42 | 0.262 % |
460.05/460.10 c | 397702 | 13726 65733 209810 | 2147483647 396336 42 | 0.262 % |
461.75/461.77 c | 398196 | 13726 65733 209810 | 2147483647 396830 42 | 0.262 % |
463.45/463.41 c | 398741 | 13726 65733 209810 | 2147483647 397375 42 | 0.262 % |
465.25/465.30 c | 399339 | 13726 65733 209810 | 2147483647 397973 42 | 0.262 % |
467.05/467.04 c | 399995 | 13726 65733 209810 | 2147483647 398629 42 | 0.262 % |
468.95/468.98 c | 400715 | 13726 65733 209810 | 398642 399349 42 | 0.262 % |
471.15/471.21 c | 401507 | 13726 65733 209810 | 398642 356292 40 | 0.262 % |
472.85/472.86 c | 402379 | 13726 65733 209810 | 398642 357164 40 | 0.262 % |
475.05/475.06 c | 403337 | 13726 65733 209810 | 398642 358122 40 | 0.262 % |
477.75/477.72 c | 404392 | 13725 65727 209798 | 398642 359164 40 | 0.262 % |
480.05/480.03 c | 405551 | 13725 65727 209798 | 398642 360323 40 | 0.262 % |
483.55/483.53 c | 406825 | 13725 65727 209798 | 398642 361597 40 | 0.262 % |
487.05/487.04 c | 408227 | 13725 65727 209798 | 398642 362999 40 | 0.262 % |
490.46/490.51 c | 409768 | 13725 65727 209798 | 398642 364540 40 | 0.262 % |
493.66/493.63 c | 411463 | 13725 65727 209798 | 364772 366235 40 | 0.262 % |
497.96/497.98 c | 413326 | 13725 65727 209798 | 364772 327797 40 | 0.443 % |
502.96/502.99 c | 415375 | 13725 65727 209798 | 364772 329846 40 | 0.443 % |
508.86/508.88 c | 417628 | 13725 65727 209798 | 364772 332099 40 | 0.444 % |
513.76/513.80 c | 420107 | 13725 65727 209798 | 2147483647 334578 40 | 0.443 % |
520.86/520.86 c | 422834 | 13725 65727 209798 | 2147483647 337305 40 | 0.444 % |
528.86/528.83 c | 425831 | 13700 65486 209124 | 2147483647 339940 40 | 0.444 % |
536.16/536.19 c | 429128 | 13700 65486 209124 | 2147483647 343237 40 | 0.443 % |
543.76/543.72 c | 432754 | 13700 65486 209124 | 2147483647 346863 40 | 0.443 % |
555.86/555.83 c | 436742 | 13700 65486 209124 | 2147483647 350851 41 | 0.443 % |
556.16/556.12 c | 436842 | 13700 65486 209124 | 2147483647 350951 41 | 0.443 % |
556.46/556.46 c | 436952 | 13700 65486 209124 | 2147483647 351061 41 | 0.443 % |
556.66/556.70 c | 437073 | 13699 65486 209124 | 2147483647 351181 41 | 0.451 % |
556.96/556.95 c | 437207 | 13699 65486 209124 | 2147483647 351315 41 | 0.451 % |
557.36/557.36 c | 437355 | 13699 65486 209124 | 2147483647 351463 41 | 0.451 % |
557.66/557.63 c | 437515 | 13699 65486 209124 | 2147483647 351623 41 | 0.451 % |
557.96/557.98 c | 437691 | 13699 65486 209124 | 2147483647 351799 41 | 0.451 % |
558.36/558.37 c | 437884 | 13699 65486 209124 | 2147483647 351992 41 | 0.451 % |
558.96/558.95 c | 438098 | 13699 65486 209124 | 2147483647 352206 41 | 0.451 % |
559.46/559.45 c | 438331 | 13699 65486 209124 | 2147483647 352439 41 | 0.451 % |
560.06/560.03 c | 438587 | 13699 65486 209124 | 2147483647 352695 41 | 0.451 % |
560.76/560.78 c | 438868 | 13699 65486 209124 | 2147483647 352976 41 | 0.451 % |
561.56/561.53 c | 439182 | 13699 65476 209096 | 2147483647 353287 41 | 0.451 % |
562.06/562.06 c | 439521 | 13699 65476 209096 | 2147483647 353626 41 | 0.451 % |
562.66/562.70 c | 439893 | 13699 65476 209096 | 2147483647 353998 41 | 0.451 % |
563.36/563.33 c | 440302 | 13699 65476 209096 | 2147483647 354407 41 | 0.451 % |
564.16/564.12 c | 440752 | 13699 65476 209096 | 2147483647 354857 41 | 0.451 % |
564.66/564.66 c | 441245 | 13699 65476 209096 | 2147483647 355350 41 | 0.451 % |
565.36/565.33 c | 441787 | 13699 65476 209096 | 2147483647 355892 41 | 0.451 % |
566.26/566.23 c | 442383 | 13699 65476 209096 | 2147483647 356488 41 | 0.451 % |
567.26/567.28 c | 443038 | 13699 65476 209096 | 2147483647 357143 41 | 0.451 % |
568.56/568.60 c | 443758 | 13699 65476 209096 | 2147483647 357863 41 | 0.451 % |
570.86/570.89 c | 444551 | 13699 65476 209096 | 2147483647 358656 41 | 0.451 % |
573.06/573.11 c | 445423 | 13699 65476 209096 | 2147483647 359528 41 | 0.451 % |
576.16/576.12 c | 446381 | 13699 65476 209096 | 2147483647 360486 41 | 0.451 % |
579.46/579.44 c | 447434 | 13699 65476 209096 | 2147483647 361539 41 | 0.451 % |
582.96/582.92 c | 448592 | 13699 65476 209096 | 2147483647 362697 41 | 0.451 % |
587.06/587.06 c | 449865 | 13699 65476 209096 | 2147483647 363970 41 | 0.451 % |
590.96/590.98 c | 451266 | 13699 65476 209096 | 2147483647 365371 41 | 0.451 % |
595.17/595.14 c | 452806 | 13699 65476 209096 | 2147483647 366911 41 | 0.451 % |
598.86/598.85 c | 454503 | 13699 65476 209096 | 2147483647 368608 41 | 0.451 % |
603.97/603.97 c | 456370 | 13699 65476 209096 | 2147483647 370475 41 | 0.451 % |
610.66/610.69 c | 458419 | 13699 65476 209096 | 2147483647 372524 41 | 0.451 % |
613.06/613.10 c | 460673 | 13699 65476 209096 | 2147483647 374778 41 | 0.451 % |
620.47/620.49 c | 463152 | 13699 65476 209096 | 2147483647 377257 41 | 0.451 % |
628.67/628.70 c | 465878 | 13699 65476 209096 | 2147483647 379983 41 | 0.451 % |
638.06/638.08 c | 468875 | 13698 65473 209090 | 2147483647 382975 41 | 0.458 % |
650.96/650.96 c | 472172 | 13698 65473 209090 | 384103 339764 40 | 0.465 % |
660.86/660.91 c | 475798 | 13697 65473 209090 | 384103 343389 40 | 0.472 % |
671.76/671.75 c | 479786 | 13697 65473 209090 | 384103 347377 40 | 0.472 % |
685.56/685.54 c | 484171 | 13697 65473 209090 | 2147483647 351762 40 | 0.472 % |
685.96/685.94 c | 484271 | 13697 65473 209090 | 2147483647 351862 40 | 0.472 % |
686.26/686.29 c | 484382 | 13697 65473 209090 | 2147483647 351973 40 | 0.472 % |
686.76/686.73 c | 484503 | 13697 65473 209090 | 2147483647 352094 40 | 0.472 % |
687.16/687.17 c | 484637 | 13697 65473 209090 | 2147483647 352228 40 | 0.472 % |
687.76/687.78 c | 484783 | 13697 65473 209090 | 2147483647 352374 40 | 0.472 % |
688.67/688.62 c | 484943 | 13696 65467 209078 | 2147483647 352532 40 | 0.472 % |
689.26/689.29 c | 485121 | 13696 65467 209078 | 2147483647 352710 40 | 0.472 % |
690.06/690.04 c | 485316 | 13696 65467 209078 | 2147483647 352905 40 | 0.472 % |
690.87/690.85 c | 485529 | 13696 65467 209078 | 2147483647 353118 40 | 0.472 % |
691.56/691.58 c | 485763 | 13696 65467 209078 | 2147483647 353352 40 | 0.472 % |
692.46/692.45 c | 486019 | 13696 65467 209078 | 2147483647 353608 40 | 0.472 % |
693.46/693.48 c | 486300 | 13696 65467 209078 | 2147483647 353889 40 | 0.472 % |
694.26/694.27 c | 486614 | 13696 65467 209078 | 2147483647 354203 40 | 0.472 % |
695.16/695.11 c | 486957 | 13696 65467 209078 | 2147483647 354546 40 | 0.472 % |
696.06/696.04 c | 487332 | 13696 65467 209078 | 2147483647 354921 40 | 0.472 % |
696.86/696.87 c | 487741 | 13696 65467 209078 | 2147483647 355330 40 | 0.472 % |
698.86/698.86 c | 488190 | 13696 65467 209078 | 2147483647 355779 40 | 0.472 % |
699.96/699.96 c | 488683 | 13696 65467 209078 | 2147483647 356272 40 | 0.472 % |
701.36/701.40 c | 489226 | 13696 65467 209078 | 2147483647 356815 41 | 0.472 % |
702.86/702.82 c | 489822 | 13696 65467 209078 | 2147483647 357411 41 | 0.472 % |
704.36/704.32 c | 490478 | 13696 65467 209078 | 357589 358067 41 | 0.472 % |
707.16/707.18 c | 491198 | 13696 65467 209078 | 357589 322056 38 | 0.472 % |
709.06/709.01 c | 491993 | 13696 65467 209078 | 357589 322851 38 | 0.472 % |
711.46/711.47 c | 492864 | 13696 65467 209078 | 357589 323722 38 | 0.472 % |
714.56/714.55 c | 493823 | 13696 65467 209078 | 357589 324681 38 | 0.472 % |
718.16/718.16 c | 494878 | 13696 65467 209078 | 357589 325736 38 | 0.472 % |
720.66/720.63 c | 496037 | 13696 65467 209078 | 357589 326895 38 | 0.472 % |
723.87/723.86 c | 497310 | 13696 65467 209078 | 357589 328168 38 | 0.472 % |
728.76/728.72 c | 498712 | 13696 65467 209078 | 357589 329570 38 | 0.472 % |
732.46/732.43 c | 500254 | 13696 65467 209078 | 2147483647 331112 38 | 0.472 % |
736.26/736.24 c | 501948 | 13695 65463 209070 | 2147483647 332778 38 | 0.480 % |
742.47/742.44 c | 503814 | 13695 65463 209070 | 2147483647 334644 38 | 0.480 % |
749.27/749.23 c | 505867 | 13695 65463 209070 | 2147483647 336697 38 | 0.480 % |
755.27/755.24 c | 508121 | 13695 65463 209070 | 2147483647 338951 38 | 0.480 % |
762.87/762.83 c | 510599 | 13695 65463 209070 | 2147483647 341429 38 | 0.480 % |
771.57/771.57 c | 513324 | 13695 65463 209070 | 2147483647 344154 39 | 0.480 % |
781.27/781.25 c | 516321 | 13695 65463 209070 | 2147483647 347151 39 | 0.480 % |
791.37/791.36 c | 519617 | 13695 65463 209070 | 2147483647 350447 39 | 0.480 % |
803.87/803.90 c | 523243 | 13695 65463 209070 | 350832 318789 38 | 0.480 % |
817.38/817.38 c | 527230 | 13694 65460 209064 | 350832 322773 38 | 0.530 % |
830.67/830.67 c | 531618 | 13694 65460 209064 | 2147483647 327161 39 | 0.531 % |
845.27/845.31 c | 536441 | 13694 65460 209064 | 2147483647 331984 39 | 0.530 % |
845.87/845.90 c | 536542 | 13688 65400 208896 | 2147483647 332068 39 | 0.530 % |
846.37/846.36 c | 536652 | 13688 65400 208896 | 2147483647 332178 39 | 0.530 % |
847.08/847.04 c | 536774 | 13688 65400 208896 | 2147483647 332300 39 | 0.530 % |
847.57/847.52 c | 536908 | 13688 65400 208896 | 2147483647 332434 39 | 0.530 % |
847.97/847.97 c | 537054 | 13688 65400 208896 | 2147483647 332580 39 | 0.530 % |
848.47/848.45 c | 537216 | 13688 65400 208896 | 2147483647 332742 39 | 0.530 % |
849.07/849.11 c | 537392 | 13688 65400 208896 | 2147483647 332918 39 | 0.530 % |
849.77/849.78 c | 537585 | 13688 65400 208896 | 2147483647 333111 39 | 0.530 % |
850.57/850.54 c | 537797 | 13688 65400 208896 | 2147483647 333323 39 | 0.530 % |
851.48/851.48 c | 538030 | 13688 65400 208896 | 2147483647 333556 39 | 0.530 % |
852.37/852.40 c | 538286 | 13688 65400 208896 | 2147483647 333812 39 | 0.530 % |
853.68/853.62 c | 538570 | 13688 65400 208896 | 2147483647 334096 39 | 0.530 % |
855.07/855.06 c | 538880 | 13688 65400 208896 | 2147483647 334406 39 | 0.530 % |
856.27/856.24 c | 539220 | 13688 65400 208896 | 2147483647 334746 39 | 0.530 % |
857.47/857.46 c | 539592 | 13688 65400 208896 | 2147483647 335118 39 | 0.530 % |
858.87/858.89 c | 540001 | 13688 65400 208896 | 2147483647 335527 39 | 0.530 % |
860.57/860.54 c | 540451 | 13688 65400 208896 | 335527 335977 39 | 0.530 % |
863.47/863.47 c | 540944 | 13688 65400 208896 | 335527 289222 35 | 0.530 % |
865.07/865.09 c | 541487 | 13688 65400 208896 | 335527 289765 35 | 0.530 % |
866.97/867.01 c | 542083 | 13688 65400 208896 | 335527 290361 35 | 0.530 % |
869.48/869.50 c | 542738 | 13688 65400 208896 | 335527 291016 35 | 0.530 % |
871.48/871.42 c | 543459 | 13688 65400 208896 | 335527 291737 35 | 0.530 % |
873.88/873.82 c | 544252 | 13688 65400 208896 | 335527 292530 35 | 0.530 % |
875.88/875.86 c | 545124 | 13688 65400 208896 | 335527 293402 35 | 0.530 % |
878.68/878.64 c | 546086 | 13688 65400 208896 | 335527 294364 35 | 0.531 % |
881.98/881.97 c | 547139 | 13688 65400 208896 | 335527 295417 35 | 0.530 % |
885.88/885.88 c | 548297 | 13688 65400 208896 | 335527 296575 35 | 0.530 % |
890.18/890.21 c | 549570 | 13688 65400 208896 | 335527 297847 35 | 0.538 % |
895.08/895.08 c | 550971 | 13687 65397 208890 | 2147483647 299245 35 | 0.538 % |
900.88/900.82 c | 552512 | 13687 65397 208890 | 2147483647 300786 35 | 0.538 % |
905.38/905.39 c | 554206 | 13687 65397 208890 | 2147483647 302480 35 | 0.538 % |
910.58/910.55 c | 556069 | 13687 65397 208890 | 2147483647 304343 36 | 0.538 % |
917.38/917.38 c | 558118 | 13687 65397 208890 | 2147483647 306392 36 | 0.538 % |
925.28/925.29 c | 560371 | 13687 65397 208890 | 308275 308645 36 | 0.538 % |
935.98/935.93 c | 562851 | 13687 65397 208890 | 308275 274640 34 | 0.538 % |
944.58/944.56 c | 565576 | 13687 65397 208890 | 308275 277365 35 | 0.538 % |
955.48/955.42 c | 568573 | 13687 65397 208890 | 308275 280362 35 | 0.538 % |
967.08/967.10 c | 571869 | 13687 65397 208890 | 2147483647 283658 35 | 0.538 % |
973.68/973.66 c | 575494 | 13687 65397 208890 | 2147483647 287283 35 | 0.538 % |
984.68/984.64 c | 579482 | 13687 65397 208890 | 2147483647 291271 35 | 0.538 % |
996.48/996.51 c | 583872 | 13687 65397 208890 | 2147483647 295661 35 | 0.538 % |
1008.28/1008.27 c | 588695 | 13686 65387 208862 | 2147483647 300481 35 | 0.545 % |
1023.38/1023.37 c | 594001 | 13686 65387 208862 | 2147483647 305787 36 | 0.545 % |
1023.78/1023.78 c | 594101 | 13686 65387 208862 | 2147483647 305887 36 | 0.545 % |
1024.18/1024.15 c | 594212 | 13686 65387 208862 | 2147483647 305998 36 | 0.545 % |
1024.68/1024.67 c | 594333 | 13686 65387 208862 | 2147483647 306119 36 | 0.545 % |
1025.18/1025.20 c | 594468 | 13686 65387 208862 | 2147483647 306254 36 | 0.545 % |
1025.88/1025.84 c | 594617 | 13686 65387 208862 | 2147483647 306403 36 | 0.545 % |
1026.48/1026.43 c | 594777 | 13686 65387 208862 | 2147483647 306563 36 | 0.545 % |
1027.38/1027.40 c | 594953 | 13686 65387 208862 | 2147483647 306739 36 | 0.545 % |
1028.18/1028.19 c | 595146 | 13686 65387 208862 | 2147483647 306932 36 | 0.545 % |
1028.98/1028.93 c | 595358 | 13686 65387 208862 | 2147483647 307144 36 | 0.545 % |
1029.98/1029.98 c | 595591 | 13686 65387 208862 | 2147483647 307377 36 | 0.545 % |
1030.88/1030.87 c | 595849 | 13686 65387 208862 | 2147483647 307635 36 | 0.545 % |
1032.08/1032.05 c | 596130 | 13686 65387 208862 | 2147483647 307916 36 | 0.545 % |
1033.38/1033.35 c | 596446 | 13686 65387 208862 | 2147483647 308232 36 | 0.545 % |
1034.88/1034.86 c | 596787 | 13686 65387 208862 | 2147483647 308573 36 | 0.545 % |
1036.18/1036.15 c | 597159 | 13686 65387 208862 | 2147483647 308945 36 | 0.545 % |
1038.28/1038.28 c | 597568 | 13685 65382 208852 | 2147483647 309352 36 | 0.552 % |
1039.98/1040.00 c | 598020 | 13685 65382 208852 | 2147483647 309804 36 | 0.552 % |
1042.08/1042.03 c | 598513 | 13685 65382 208852 | 2147483647 310297 36 | 0.552 % |
1044.28/1044.28 c | 599056 | 13685 65382 208852 | 2147483647 310840 36 | 0.552 % |
1046.58/1046.60 c | 599652 | 13685 65382 208852 | 2147483647 311436 36 | 0.552 % |
1049.38/1049.40 c | 600307 | 13685 65382 208852 | 311785 312091 36 | 0.552 % |
1053.38/1053.40 c | 601028 | 13685 65382 208852 | 311785 272945 33 | 0.552 % |
1056.58/1056.52 c | 601822 | 13685 65382 208852 | 311785 273739 33 | 0.552 % |
1059.98/1059.93 c | 602694 | 13685 65382 208852 | 311785 274611 33 | 0.552 % |
1063.18/1063.13 c | 603653 | 13685 65382 208852 | 311785 275570 33 | 0.552 % |
1064.58/1064.56 c | 604706 | 13685 65382 208852 | 311785 276623 33 | 0.552 % |
1067.98/1067.96 c | 605867 | 13685 65382 208852 | 311785 277784 33 | 0.552 % |
1070.39/1070.38 c | 607140 | 13685 65382 208852 | 311785 279057 33 | 0.552 % |
1073.88/1073.87 c | 608541 | 13685 65382 208852 | 311785 280458 33 | 0.552 % |
1078.38/1078.33 c | 610082 | 13685 65382 208852 | 2147483647 281999 33 | 0.552 % |
1083.48/1083.47 c | 611777 | 13685 65382 208852 | 2147483647 283694 33 | 0.552 % |
1088.98/1089.00 c | 613641 | 13685 65382 208852 | 2147483647 285558 33 | 0.552 % |
1095.58/1095.52 c | 615691 | 13685 65382 208852 | 2147483647 287608 33 | 0.552 % |
1103.18/1103.18 c | 617944 | 13685 65382 208852 | 2147483647 289861 33 | 0.552 % |
1112.48/1112.43 c | 620422 | 13685 65382 208852 | 291918 258811 30 | 0.552 % |
1120.99/1120.93 c | 623149 | 13685 65382 208852 | 291918 261538 30 | 0.552 % |
1130.89/1130.91 c | 626146 | 13685 65382 208852 | 291918 264535 31 | 0.552 % |
1138.69/1138.70 c | 629442 | 13685 65382 208852 | 291918 267831 31 | 0.552 % |
1146.69/1146.65 c | 633071 | 13685 65382 208852 | 2147483647 271460 31 | 0.552 % |
1158.19/1158.13 c | 637060 | 13685 65382 208852 | 2147483647 275449 32 | 0.552 % |
1168.79/1168.79 c | 641445 | 13685 65382 208852 | 2147483647 279834 32 | 0.552 % |
1178.89/1178.84 c | 646268 | 13685 65382 208852 | 2147483647 284657 32 | 0.552 % |
1193.29/1193.22 c | 651575 | 13685 65382 208852 | 2147483647 289964 32 | 0.552 % |
1200.09/1200.03 HOME/SatELiteGTI: line 36: 26603 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821430-1242526804/watcher-1821430-1242526804 -o /tmp/evaluation-result-1821430-1242526804/solver-1821430-1242526804 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821430-1242526804.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.28 1.24 2/96 26597
/proc/meminfo: memFree=1988292/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2412 CPUtime=0.01
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1017178710 2469888 275 4294967295 134512640 135169312 3219476896 3219475432 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26597/statm: 603 275 235 161 0 42 0
[pid=26601] ppid=26597 vsize=952 CPUtime=0
/proc/26601/stat : 26601 (SatELite_releas) R 26597 26597 11066 0 -1 4202496 149 0 0 0 0 0 0 0 25 0 1 0 1017178710 974848 85 4294967295 134512640 135223648 3213038448 3213037328 134543095 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26601/statm: 271 90 45 174 0 96 0
[startup+0.072084 s]
/proc/loadavg: 1.00 1.28 1.24 2/96 26597
/proc/meminfo: memFree=1988292/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2412 CPUtime=0.01
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1017178710 2469888 275 4294967295 134512640 135169312 3219476896 3219475432 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26597/statm: 603 275 235 161 0 42 0
[pid=26601] ppid=26597 vsize=13660 CPUtime=0.07
/proc/26601/stat : 26601 (SatELite_releas) R 26597 26597 11066 0 -1 4202496 2591 0 0 0 6 1 0 0 25 0 1 0 1017178710 13987840 2527 4294967295 134512640 135223648 3213038448 3213037220 134741470 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26601/statm: 3415 2527 47 174 0 3240 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16072
[startup+0.112082 s]
/proc/loadavg: 1.00 1.28 1.24 2/96 26597
/proc/meminfo: memFree=1988292/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2412 CPUtime=0.01
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1017178710 2469888 275 4294967295 134512640 135169312 3219476896 3219475432 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26597/statm: 603 275 235 161 0 42 0
[pid=26601] ppid=26597 vsize=16828 CPUtime=0.11
/proc/26601/stat : 26601 (SatELite_releas) R 26597 26597 11066 0 -1 4202496 3812 0 0 0 9 2 0 0 25 0 1 0 1017178710 17231872 3748 4294967295 134512640 135223648 3213038448 3213037400 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26601/statm: 4207 3748 47 174 0 4032 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 19240
[startup+0.31207 s]
/proc/loadavg: 1.00 1.28 1.24 2/96 26597
/proc/meminfo: memFree=1988292/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2412 CPUtime=0.01
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1017178710 2469888 275 4294967295 134512640 135169312 3219476896 3219475432 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26597/statm: 603 275 235 161 0 42 0
[pid=26601] ppid=26597 vsize=21744 CPUtime=0.31
/proc/26601/stat : 26601 (SatELite_releas) R 26597 26597 11066 0 -1 4202496 5264 0 0 0 28 3 0 0 25 0 1 0 1017178710 22265856 4849 4294967295 134512640 135223648 3213038448 3213036112 134578184 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26601/statm: 5436 4849 73 174 0 5261 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 24156
[startup+0.712048 s]
/proc/loadavg: 1.00 1.28 1.24 2/96 26597
/proc/meminfo: memFree=1988292/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2412 CPUtime=0.01
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1017178710 2469888 275 4294967295 134512640 135169312 3219476896 3219475432 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26597/statm: 603 275 235 161 0 42 0
[pid=26601] ppid=26597 vsize=23108 CPUtime=0.71
/proc/26601/stat : 26601 (SatELite_releas) R 26597 26597 11066 0 -1 4202496 5584 0 0 0 68 3 0 0 25 0 1 0 1017178710 23662592 5169 4294967295 134512640 135223648 3213038448 3213036216 134737406 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26601/statm: 5777 5169 73 174 0 5602 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 25520
[startup+1.512 s]
/proc/loadavg: 1.00 1.28 1.24 2/98 26602
/proc/meminfo: memFree=1959748/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2412 CPUtime=0.01
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1017178710 2469888 275 4294967295 134512640 135169312 3219476896 3219475432 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26597/statm: 603 275 235 161 0 42 0
[pid=26601] ppid=26597 vsize=23704 CPUtime=1.51
/proc/26601/stat : 26601 (SatELite_releas) R 26597 26597 11066 0 -1 4202496 5930 0 0 0 148 3 0 0 25 0 1 0 1017178710 24272896 5290 4294967295 134512640 135223648 3213038448 3213036540 134586608 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26601/statm: 5926 5290 75 174 0 5751 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 26116
[startup+3.11192 s]
/proc/loadavg: 1.00 1.28 1.24 2/98 26603
/proc/meminfo: memFree=1972892/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=6916 CPUtime=1.38
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 1580 0 0 0 138 0 0 0 25 0 1 0 1017178884 7081984 1515 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26603/statm: 1729 1515 73 172 0 1556 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 9332
[startup+6.31174 s]
/proc/loadavg: 1.00 1.27 1.24 2/98 26603
/proc/meminfo: memFree=1971032/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=8684 CPUtime=4.58
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 2018 0 0 0 458 0 0 0 25 0 1 0 1017178884 8892416 1953 4294967295 134512640 135215339 3220337344 3220335632 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 2171 1953 73 172 0 1998 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 11100
[startup+12.7114 s]
/proc/loadavg: 1.00 1.27 1.23 3/98 26786
/proc/meminfo: memFree=1967628/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=11832 CPUtime=10.98
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 2791 0 0 0 1098 0 0 0 25 0 1 0 1017178884 12115968 2726 4294967295 134512640 135215339 3220337344 3220335632 134528734 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 2958 2726 73 172 0 2785 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 14248
[startup+25.5107 s]
/proc/loadavg: 1.00 1.25 1.23 3/98 26788
/proc/meminfo: memFree=1962208/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=17236 CPUtime=23.78
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 4154 0 0 0 2376 2 0 0 25 0 1 0 1017178884 17649664 4089 4294967295 134512640 135215339 3220337344 3220335632 134529059 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 4309 4089 73 172 0 4136 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 19652
[startup+51.1092 s]
/proc/loadavg: 1.00 1.23 1.22 3/98 26791
/proc/meminfo: memFree=1953840/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=25756 CPUtime=49.38
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 6278 0 0 0 4934 4 0 0 25 0 1 0 1017178884 26374144 6213 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 6439 6213 73 172 0 6266 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 28172
[startup+102.316 s]
/proc/loadavg: 1.00 1.19 1.21 2/98 26977
/proc/meminfo: memFree=1941308/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=37812 CPUtime=100.59
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 9296 0 0 0 10054 5 0 0 25 0 1 0 1017178884 38719488 9231 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 9453 9231 73 172 0 9280 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 40228
[startup+162.313 s]
/proc/loadavg: 1.00 1.16 1.19 3/98 27166
/proc/meminfo: memFree=1929148/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=50360 CPUtime=160.59
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 12371 0 0 0 16050 9 0 0 25 0 1 0 1017178884 51568640 12306 4294967295 134512640 135215339 3220337344 3220335632 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 12590 12306 73 172 0 12417 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 52776
[startup+222.31 s]
/proc/loadavg: 1.00 1.12 1.18 3/98 27359
/proc/meminfo: memFree=1919608/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=59772 CPUtime=220.59
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 14744 0 0 0 22048 11 0 0 25 0 1 0 1017178884 61206528 14679 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 14943 14679 73 172 0 14770 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 62188
[startup+282.316 s]
/proc/loadavg: 1.00 1.10 1.16 2/98 27548
/proc/meminfo: memFree=1911728/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=68544 CPUtime=280.6
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 16772 0 0 0 28046 14 0 0 25 0 1 0 1017178884 70189056 16707 4294967295 134512640 135215339 3220337344 3220335632 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 17136 16707 73 172 0 16963 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 70960
[startup+342.313 s]
/proc/loadavg: 1.00 1.08 1.15 3/98 27734
/proc/meminfo: memFree=1903760/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=76036 CPUtime=340.6
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 18673 0 0 0 34037 23 0 0 25 0 1 0 1017178884 77860864 18608 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 19009 18608 73 172 0 18836 0
Current children cumulated CPU time (s) 342.34
################
# More data... #
################
[pid=26603] ppid=26597 vsize=88140 CPUtime=460.61
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 21724 0 0 0 46038 23 0 0 25 0 1 0 1017178884 90255360 21659 4294967295 134512640 135215339 3220337344 3220335632 134529148 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22035 21659 73 172 0 21862 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 90556
[startup+522.323 s]
/proc/loadavg: 1.00 1.04 1.12 3/98 28298
/proc/meminfo: memFree=1890880/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=88804 CPUtime=520.62
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 21893 0 0 0 52039 23 0 0 25 0 1 0 1017178884 90935296 21828 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22201 21828 73 172 0 22028 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 91220
[startup+582.32 s]
/proc/loadavg: 1.00 1.03 1.11 2/98 28491
/proc/meminfo: memFree=1890492/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=89288 CPUtime=580.62
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22033 0 0 0 58039 23 0 0 25 0 1 0 1017178884 91430912 21968 4294967295 134512640 135215339 3220337344 3220335632 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22322 21968 73 172 0 22149 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 91704
[startup+642.316 s]
/proc/loadavg: 1.07 1.04 1.10 2/98 28677
/proc/meminfo: memFree=1890120/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=89580 CPUtime=640.62
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22099 0 0 0 64039 23 0 0 25 0 1 0 1017178884 91729920 22034 4294967295 134512640 135215339 3220337344 3220335632 134528849 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22395 22034 73 172 0 22222 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 91996
[startup+702.313 s]
/proc/loadavg: 1.09 1.06 1.10 2/98 28865
/proc/meminfo: memFree=1889996/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=89744 CPUtime=700.62
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22142 0 0 0 70037 25 0 0 25 0 1 0 1017178884 91897856 22077 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22436 22077 73 172 0 22263 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 92160
[startup+762.32 s]
/proc/loadavg: 1.03 1.04 1.09 2/98 29052
/proc/meminfo: memFree=1890120/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=89744 CPUtime=760.63
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22147 0 0 0 76038 25 0 0 25 0 1 0 1017178884 91897856 22082 4294967295 134512640 135215339 3220337344 3220335632 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22436 22082 73 172 0 22263 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 92160
[startup+822.316 s]
/proc/loadavg: 1.01 1.03 1.08 3/98 29241
/proc/meminfo: memFree=1889896/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=90172 CPUtime=820.63
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22210 0 0 0 82038 25 0 0 25 0 1 0 1017178884 92336128 22145 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22543 22145 73 172 0 22370 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 92588
[startup+882.323 s]
/proc/loadavg: 1.00 1.02 1.08 3/98 29430
/proc/meminfo: memFree=1889880/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=90384 CPUtime=880.64
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22270 0 0 0 88039 25 0 0 25 0 1 0 1017178884 92553216 22205 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22596 22205 73 172 0 22423 0
Current children cumulated CPU time (s) 882.38
Current children cumulated vsize (KiB) 92800
[startup+942.32 s]
/proc/loadavg: 1.00 1.02 1.07 2/98 29616
/proc/meminfo: memFree=1889748/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=90596 CPUtime=940.64
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22319 0 0 0 94039 25 0 0 25 0 1 0 1017178884 92770304 22254 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22649 22254 73 172 0 22476 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 93012
[startup+1002.32 s]
/proc/loadavg: 1.00 1.01 1.06 3/98 29808
/proc/meminfo: memFree=1889028/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=91220 CPUtime=1000.64
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22427 0 0 0 100028 36 0 0 25 0 1 0 1017178884 93409280 22362 4294967295 134512640 135215339 3220337344 3220335632 134528884 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22805 22362 73 172 0 22632 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 93636
[startup+1062.31 s]
/proc/loadavg: 1.00 1.01 1.06 3/98 29995
/proc/meminfo: memFree=1889004/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=91220 CPUtime=1060.64
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22446 0 0 0 106028 36 0 0 25 0 1 0 1017178884 93409280 22381 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22805 22381 73 172 0 22632 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 93636
[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.05 2/98 30184
/proc/meminfo: memFree=1889012/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=91380 CPUtime=1120.65
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22469 0 0 0 112029 36 0 0 25 0 1 0 1017178884 93573120 22404 4294967295 134512640 135215339 3220337344 3220335632 134529083 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22845 22404 73 172 0 22672 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 93796
[startup+1182.32 s]
/proc/loadavg: 1.04 1.01 1.05 3/98 30373
/proc/meminfo: memFree=1888640/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=91624 CPUtime=1180.65
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22562 0 0 0 118029 36 0 0 25 0 1 0 1017178884 93822976 22497 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22906 22497 73 172 0 22733 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 94040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.17 1.04 1.06 3/98 30373
/proc/meminfo: memFree=1888516/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=91788 CPUtime=1198.35
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22597 0 0 0 119799 36 0 0 25 0 1 0 1017178884 93990912 22532 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22947 22532 73 172 0 22774 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 94204
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.11
CPU user time (s): 1199.68
CPU system time (s): 0.43
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 94204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.68
system time used= 0.43
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30644
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= 21
involuntary context switches= 953
runsolver used 0.03 second user time and 0.03 second system time
The end
Begin job on tipi23 at 2009-05-17 04:20:04
IDJOB=1821430
IDBENCH=70956
IDSOLVER=657
FILE ID=tipi23/1821430-1242526804
PBS_JOBID=
Free space on /tmp= 8812 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-c32s-ss-8.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821430-1242526804/watcher-1821430-1242526804 -o /tmp/evaluation-result-1821430-1242526804/solver-1821430-1242526804 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821430-1242526804.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9d3d3bb9b296880c7463693ae665aafd
RANDOM SEED= 2105380339
Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1988680 kB
Buffers: 14148 kB
Cached: 18720 kB
SwapCached: 3576 kB
Active: 31960 kB
Inactive: 12832 kB
HighTotal: 1178688 kB
HighFree: 1148976 kB
LowTotal: 895776 kB
LowFree: 839704 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 3900 kB
Writeback: 0 kB
AnonPages: 10992 kB
Mapped: 4240 kB
Slab: 32276 kB
PageTables: 628 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96896 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8812 MiB
End job on tipi23 at 2009-05-17 04:40:04