0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 73149 170681 | 21944 0 0 nan | 0.000 % |
0.72/0.72 c | 0 | 42312 121394 | -- 0 -- -- | -- | -30835/-49282
0.72/0.72 c ==============================================================================
0.72/0.72 c Result : #vars: 9180 #clauses: 42312 #literals: 121394
0.72/0.72 c CPU time: 0.7 s
0.72/0.72 c ==============================================================================
0.72/0.76 c This is MiniSat 2.0 beta
0.72/0.76 c WARNING: for repeatability, setting FPU to use double precision
0.72/0.76 c ============================[ Problem Statistics ]=============================
0.72/0.76 c | |
0.72/0.76 c | Number of variables: 9180 |
0.72/0.76 c | Number of clauses: 42312 |
0.72/0.79 c | Parsing time: 0.03 s |
0.72/0.79 c ============================[ Search Statistics ]==============================
0.72/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.72/0.79 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.72/0.79 c ===============================================================================
0.72/0.79 c | 0 | 9180 42312 121394 | 14104 0 nan | 0.000 % |
0.77/0.82 c | 101 | 9177 42312 121394 | 14104 98 13 | 1.068 % |
0.77/0.84 c | 203 | 9177 42312 121394 | 14104 200 37 | 1.072 % |
0.77/0.89 c | 303 | 8902 40956 117261 | 14104 284 30 | 3.660 % |
0.77/0.91 c | 413 | 8902 40956 117261 | 14104 394 29 | 3.660 % |
0.77/0.94 c | 513 | 8729 40122 114772 | 14104 477 25 | 6.438 % |
0.77/0.97 c | 624 | 8728 40122 114772 | 14104 588 31 | 6.438 % |
0.77/0.98 c | 746 | 8728 40122 114772 | 14104 710 30 | 6.438 % |
0.77/1.00 c | 846 | 8728 40122 114772 | 14104 810 28 | 6.438 % |
0.77/1.01 c | 959 | 8589 39413 112648 | 14104 920 27 | 6.438 % |
0.77/1.05 c | 1080 | 8589 39413 112648 | 14104 1041 30 | 6.438 % |
0.77/1.08 c | 1214 | 8589 39413 112648 | 14104 1174 28 | 6.492 % |
0.77/1.11 c | 1316 | 8583 39383 112563 | 14104 1275 29 | 6.505 % |
1.12/1.13 c | 1426 | 8583 39383 112563 | 14104 1385 32 | 6.503 % |
1.12/1.15 c | 1551 | 8583 39383 112563 | 14104 1510 30 | 6.503 % |
1.12/1.20 c | 1684 | 8583 39383 112563 | 14104 1643 32 | 6.503 % |
1.23/1.22 c | 1830 | 8520 39378 112548 | 14104 1767 30 | 12.211 % |
1.23/1.25 c | 1930 | 8517 39378 112548 | 14104 1864 30 | 12.854 % |
1.23/1.25 c | 2041 | 8517 39378 112548 | 14104 1975 29 | 12.854 % |
1.23/1.28 c | 2163 | 8517 39378 112548 | 14104 2097 28 | 12.854 % |
1.32/1.32 c | 2296 | 7998 36553 104140 | 14104 2186 29 | 12.919 % |
1.32/1.33 c | 2442 | 7998 36553 104140 | 14104 2332 28 | 12.919 % |
1.32/1.35 c | 2602 | 7998 36553 104140 | 14104 2492 28 | 12.919 % |
1.32/1.37 c | 2702 | 7998 36553 104140 | 14104 2592 29 | 12.919 % |
1.32/1.38 c | 2814 | 7998 36553 104140 | 14104 2704 29 | 12.919 % |
1.32/1.39 c | 2938 | 7998 36553 104140 | 14104 2828 28 | 12.919 % |
1.42/1.41 c | 3071 | 7994 36526 104059 | 14104 2961 28 | 12.919 % |
1.42/1.43 c | 3218 | 7943 36526 104059 | 14104 3086 27 | 15.174 % |
1.42/1.44 c | 3380 | 7856 36526 104059 | 14104 3239 26 | 15.676 % |
1.42/1.47 c | 3557 | 7850 36526 104059 | 14104 3414 26 | 16.732 % |
1.42/1.48 c | 3657 | 7850 36526 104059 | 14104 3514 26 | 16.732 % |
1.42/1.51 c | 3767 | 7644 34699 98682 | 14104 3516 27 | 16.732 % |
1.52/1.51 c | 3889 | 7644 34699 98682 | 14104 3638 27 | 16.732 % |
1.52/1.54 c | 4026 | 7644 34699 98682 | 14104 3775 27 | 16.732 % |
1.52/1.56 c | 4172 | 7644 34699 98682 | 14104 3921 27 | 16.732 % |
1.52/1.58 c | 4332 | 7644 34699 98682 | 14104 4081 27 | 16.735 % |
1.62/1.64 c | 4509 | 7644 34699 98682 | 14104 4258 27 | 16.732 % |
1.62/1.69 c | 4702 | 7644 34699 98682 | 14104 4451 28 | 16.732 % |
1.62/1.70 c | 4805 | 7644 34699 98682 | 14104 4554 28 | 16.732 % |
1.72/1.72 c | 4917 | 7644 34699 98682 | 14104 4666 27 | 16.732 % |
1.72/1.75 c | 5038 | 7644 34699 98682 | 14104 4787 27 | 16.732 % |
1.72/1.80 c | 5171 | 7597 34498 98069 | 14104 4917 28 | 17.723 % |
1.81/1.82 c | 5318 | 7597 34498 98069 | 14104 5064 28 | 17.723 % |
1.81/1.83 c | 5479 | 7597 34498 98069 | 14104 5225 28 | 17.726 % |
1.81/1.89 c | 5655 | 7597 34498 98069 | 14104 5401 29 | 17.723 % |
1.91/1.91 c | 5848 | 7597 34498 98069 | 14104 5594 29 | 17.723 % |
1.91/1.96 c | 6060 | 7597 34498 98069 | 14104 5806 30 | 17.723 % |
1.91/1.99 c | 6160 | 7548 34308 97499 | 14104 5892 30 | 19.412 % |
1.91/2.00 c | 6271 | 7541 34308 97499 | 14104 6003 29 | 19.412 % |
1.91/2.00 c | 6393 | 7541 34308 97499 | 14104 6125 29 | 19.412 % |
2.01/2.02 c | 6526 | 7541 34308 97499 | 14104 6258 29 | 19.412 % |
2.01/2.06 c | 6673 | 7541 34308 97499 | 14104 6405 29 | 19.412 % |
2.01/2.09 c | 6833 | 7537 34308 97499 | 14104 6563 29 | 20.664 % |
2.11/2.16 c | 7010 | 7537 34308 97499 | 14104 6740 30 | 20.666 % |
2.21/2.22 c | 7204 | 7073 32467 92021 | 14104 6819 30 | 24.488 % |
2.21/2.28 c | 7416 | 7073 32467 92021 | 14104 7031 32 | 24.488 % |
2.21/2.30 c | 7662 | 7073 32467 92021 | 14104 7277 32 | 24.488 % |
2.32/2.33 c | 7763 | 7073 32467 92021 | 14104 7378 32 | 24.488 % |
2.32/2.34 c | 7873 | 7073 32467 92021 | 14104 7488 32 | 24.488 % |
2.32/2.35 c | 7996 | 7073 32467 92021 | 14104 7611 31 | 24.488 % |
2.32/2.36 c | 8130 | 7073 32467 92021 | 14104 7745 31 | 24.490 % |
2.32/2.36 c | 8276 | 7073 32467 92021 | 14104 7891 31 | 24.488 % |
2.32/2.40 c | 8437 | 7073 32467 92021 | 14104 8052 31 | 24.488 % |
2.41/2.43 c | 8614 | 6931 31300 88562 | 14104 8210 31 | 24.597 % |
2.41/2.45 c | 8811 | 6931 31300 88562 | 14104 8407 31 | 24.597 % |
2.41/2.51 c | 9023 | 6931 31300 88562 | 14104 8619 32 | 24.597 % |
2.51/2.54 c | 9256 | 6930 31300 88562 | 14104 8851 32 | 24.644 % |
2.61/2.67 c | 9516 | 6930 31300 88562 | 14104 9111 33 | 24.641 % |
2.61/2.69 c | 9616 | 6926 31300 88562 | 14104 9205 33 | 25.251 % |
2.71/2.71 c | 9728 | 6917 31300 88562 | 14104 9315 33 | 25.436 % |
2.71/2.74 c | 9849 | 6800 30921 87419 | 14104 9386 33 | 30.708 % |
2.71/2.75 c | 9982 | 6800 30921 87419 | 14104 9519 33 | 30.708 % |
2.71/2.77 c | 10128 | 6800 30921 87419 | 2147483647 9665 33 | 30.708 % |
2.71/2.79 c | 10289 | 6800 30921 87419 | 2147483647 9826 33 | 30.708 % |
2.71/2.80 c | 10465 | 6800 30921 87419 | 2147483647 10002 33 | 30.708 % |
2.81/2.87 c | 10658 | 6800 30921 87419 | 2147483647 10195 33 | 30.708 % |
2.91/2.93 c | 10871 | 6800 30921 87419 | 2147483647 10408 34 | 30.708 % |
2.91/2.95 c | 11105 | 6800 30921 87419 | 2147483647 10642 33 | 30.710 % |
3.01/3.01 c | 11361 | 6800 30921 87419 | 2147483647 10898 34 | 30.709 % |
3.01/3.04 c | 11643 | 6800 30921 87419 | 2147483647 11180 34 | 30.710 % |
3.01/3.05 c | 11743 | 6800 30921 87419 | 2147483647 11280 34 | 30.711 % |
3.01/3.05 c | 11855 | 6800 30921 87419 | 2147483647 11392 33 | 30.708 % |
3.11/3.11 c | 11976 | 6800 30921 87419 | 2147483647 11513 34 | 30.708 % |
3.11/3.12 c | 12110 | 6800 30921 87419 | 2147483647 11647 34 | 30.708 % |
3.11/3.17 c | 12256 | 6361 28689 80746 | 2147483647 11744 34 | 30.708 % |
3.11/3.19 c | 12420 | 6361 28689 80746 | 2147483647 11908 34 | 30.708 % |
3.11/3.20 c | 12597 | 6361 28689 80746 | 2147483647 12085 34 | 30.708 % |
3.21/3.29 c | 12791 | 6361 28689 80746 | 2147483647 12279 35 | 30.708 % |
3.31/3.31 c | 13006 | 6361 28689 80746 | 2147483647 12494 34 | 30.708 % |
3.31/3.39 c | 13239 | 6361 28689 80746 | 2147483647 12727 35 | 30.708 % |
3.42/3.42 c | 13495 | 6361 28689 80746 | 2147483647 12983 35 | 30.710 % |
3.42/3.47 c | 13776 | 6361 28689 80746 | 2147483647 13264 35 | 30.708 % |
3.51/3.53 c | 14087 | 6361 28689 80746 | 2147483647 13575 35 | 30.708 % |
3.51/3.56 c | 14188 | 6361 28689 80746 | 2147483647 13676 35 | 30.708 % |
3.51/3.58 c | 14298 | 6361 28689 80746 | 2147483647 13786 35 | 30.708 % |
3.51/3.60 c | 14419 | 6361 28689 80746 | 2147483647 13907 35 | 30.708 % |
3.61/3.61 c | 14552 | 6361 28689 80746 | 2147483647 14040 34 | 30.708 % |
3.61/3.66 c | 14698 | 6361 28689 80746 | 2147483647 14186 35 | 30.708 % |
3.61/3.69 c | 14858 | 6361 28689 80746 | 2147483647 14346 35 | 30.708 % |
3.71/3.74 c | 15037 | 6361 28689 80746 | 2147483647 14525 35 | 30.710 % |
3.71/3.77 c | 15230 | 6168 28480 80118 | 2147483647 14684 35 | 33.420 % |
3.81/3.84 c | 15444 | 6167 28480 80118 | 2147483647 14896 35 | 34.172 % |
3.81/3.89 c | 15677 | 6167 28480 80118 | 2147483647 15129 35 | 34.172 % |
3.91/3.94 c | 15933 | 6167 28480 80118 | 2147483647 15385 35 | 34.172 % |
4.01/4.07 c | 16214 | 6167 28480 80118 | 2147483647 15666 35 | 34.172 % |
4.11/4.14 c | 16524 | 6164 28480 80118 | 2147483647 15972 35 | 34.379 % |
4.21/4.27 c | 16863 | 6164 28480 80118 | 2147483647 16311 37 | 34.379 % |
4.21/4.29 c | 16964 | 6164 28480 80118 | 2147483647 16412 37 | 34.379 % |
4.31/4.32 c | 17077 | 6024 27079 75941 | 2147483647 16363 37 | 34.379 % |
4.31/4.34 c | 17198 | 5967 27079 75941 | 2147483647 16471 37 | 36.057 % |
4.31/4.36 c | 17332 | 5967 27079 75941 | 2147483647 16605 37 | 36.057 % |
4.31/4.41 c | 17478 | 5967 27079 75941 | 2147483647 16751 37 | 36.057 % |
4.41/4.42 c | 17640 | 5967 27079 75941 | 2147483647 16913 37 | 36.057 % |
4.41/4.44 c | 17816 | 5967 27079 75941 | 2147483647 17089 37 | 36.057 % |
4.41/4.50 c | 18010 | 5967 27079 75941 | 2147483647 17283 38 | 36.057 % |
4.52/4.57 c | 18222 | 5961 27079 75941 | 2147483647 17488 38 | 44.553 % |
4.52/4.59 c | 18455 | 5961 27079 75941 | 2147483647 17721 38 | 44.553 % |
4.61/4.67 c | 18715 | 5961 27079 75941 | 2147483647 17981 38 | 44.553 % |
4.71/4.78 c | 18998 | 5961 27079 75941 | 2147483647 18264 38 | 44.554 % |
4.81/4.83 c | 19310 | 5961 27079 75941 | 2147483647 18576 38 | 44.553 % |
4.91/4.92 c | 19649 | 5961 27079 75941 | 2147483647 18915 38 | 44.553 % |
4.91/4.97 c | 20024 | 5961 27079 75941 | 2147483647 19290 38 | 44.553 % |
5.01/5.02 c | 20124 | 5090 22909 63452 | 2147483647 19003 38 | 44.553 % |
5.01/5.03 c | 20234 | 5090 22909 63452 | 2147483647 19113 38 | 44.553 % |
5.01/5.06 c | 20355 | 5090 22909 63452 | 2147483647 19234 38 | 44.553 % |
5.01/5.08 c | 20489 | 5090 22909 63452 | 2147483647 19368 38 | 44.553 % |
5.01/5.09 c | 20635 | 5090 22909 63452 | 2147483647 19514 38 | 44.553 % |
5.11/5.14 c | 20797 | 5090 22909 63452 | 2147483647 19676 38 | 44.553 % |
5.11/5.19 c | 20974 | 5090 22909 63452 | 2147483647 19853 38 | 44.553 % |
5.21/5.21 c | 21169 | 5090 22909 63452 | 2147483647 20048 38 | 44.553 % |
5.21/5.27 c | 21382 | 5090 22909 63452 | 2147483647 20261 38 | 44.553 % |
5.31/5.32 c | 21616 | 5086 22909 63452 | 2147483647 20493 38 | 44.815 % |
5.31/5.39 c | 21875 | 5086 22909 63452 | 2147483647 20752 38 | 44.815 % |
5.41/5.45 c | 22159 | 5086 22909 63452 | 2147483647 21036 38 | 44.815 % |
5.51/5.52 c | 22470 | 5086 22909 63452 | 2147483647 21347 37 | 44.815 % |
5.51/5.60 c | 22809 | 5086 22909 63452 | 2147483647 21686 38 | 44.815 % |
5.62/5.68 c | 23181 | 5086 22909 63452 | 2147483647 22058 37 | 44.815 % |
5.71/5.79 c | 23590 | 5066 22802 63124 | 2147483647 22462 38 | 44.815 % |
5.81/5.82 c | 23690 | 5066 22802 63124 | 2147483647 22558 38 | 46.101 % |
5.81/5.85 c | 23803 | 5046 22802 63124 | 2147483647 22665 38 | 46.461 % |
5.81/5.87 c | 23924 | 5021 22802 63124 | 2147483647 22786 37 | 46.460 % |
5.81/5.91 c | 24057 | 5021 22802 63124 | 2147483647 22919 38 | 46.461 % |
5.91/5.95 c | 24206 | 4963 22802 63124 | 2147483647 23058 37 | 47.539 % |
6.01/6.01 c | 24366 | 4963 22802 63124 | 2147483647 23218 38 | 47.538 % |
6.01/6.04 c | 24543 | 4963 22802 63124 | 2147483647 23395 38 | 47.538 % |
6.11/6.11 c | 24736 | 4963 22802 63124 | 2147483647 23588 38 | 47.538 % |
6.11/6.14 c | 24948 | 4963 22802 63124 | 2147483647 23800 38 | 47.538 % |
6.11/6.17 c | 25181 | 4963 22802 63124 | 2147483647 24033 38 | 47.538 % |
6.21/6.26 c | 25437 | 4963 22802 63124 | 2147483647 24289 38 | 47.538 % |
6.31/6.31 c | 25719 | 4963 22802 63124 | 2147483647 24571 38 | 47.538 % |
6.41/6.42 c | 26028 | 4963 22802 63124 | 2147483647 24880 39 | 47.539 % |
6.51/6.57 c | 26368 | 4963 22802 63124 | 2147483647 25220 39 | 47.538 % |
6.61/6.65 c | 26741 | 4963 22802 63124 | 2147483647 25593 39 | 47.538 % |
6.72/6.74 c | 27150 | 4963 22802 63124 | 2147483647 26002 39 | 47.538 % |
6.81/6.90 c | 27599 | 4816 21761 59956 | 2147483647 26323 39 | 47.538 % |
6.91/6.93 c | 27703 | 4816 21761 59956 | 2147483647 26427 39 | 47.539 % |
6.91/7.00 c | 27814 | 4816 21761 59956 | 2147483647 26538 39 | 47.538 % |
7.01/7.03 c | 27935 | 4816 21761 59956 | 2147483647 26659 39 | 47.540 % |
7.01/7.08 c | 28068 | 4816 21761 59956 | 2147483647 26792 39 | 47.539 % |
7.11/7.13 c | 28215 | 4816 21761 59956 | 2147483647 26939 39 | 47.538 % |
7.11/7.16 c | 28376 | 4816 21761 59956 | 2147483647 27100 39 | 47.538 % |
7.11/7.20 c | 28552 | 4816 21761 59956 | 2147483647 27276 39 | 47.538 % |
7.21/7.29 c | 28746 | 4782 21761 59956 | 2147483647 27468 39 | 48.322 % |
7.31/7.36 c | 28958 | 4782 21761 59956 | 2147483647 27680 40 | 48.323 % |
7.41/7.42 c | 29192 | 4782 21761 59956 | 2147483647 27914 39 | 48.322 % |
7.41/7.49 c | 29448 | 4782 21761 59956 | 2147483647 28170 40 | 48.322 % |
7.51/7.56 c | 29730 | 4782 21761 59956 | 2147483647 28452 40 | 48.323 % |
7.61/7.67 c | 30040 | 4782 21761 59956 | 2147483647 28762 40 | 48.324 % |
7.71/7.79 c | 30380 | 4781 21761 59956 | 2147483647 29101 40 | 48.834 % |
7.82/7.88 c | 30752 | 4776 21761 59956 | 2147483647 29473 41 | 48.834 % |
7.91/7.93 c | 31161 | 4776 21761 59956 | 2147483647 29882 40 | 48.834 % |
8.01/8.06 c | 31612 | 4776 21761 59956 | 2147483647 30333 41 | 48.834 % |
8.11/8.13 c | 32107 | 4697 21236 58285 | 2147483647 30712 41 | 48.834 % |
8.11/8.15 c | 32207 | 4697 21236 58285 | 2147483647 30812 41 | 48.835 % |
8.11/8.16 c | 32318 | 4697 21236 58285 | 2147483647 30923 41 | 48.834 % |
8.11/8.21 c | 32441 | 4697 21236 58285 | 2147483647 31046 41 | 48.835 % |
8.21/8.23 c | 32575 | 4697 21236 58285 | 2147483647 31180 41 | 48.835 % |
8.21/8.26 c | 32721 | 4695 21236 58285 | 2147483647 31325 41 | 48.987 % |
8.21/8.29 c | 32881 | 4695 21236 58285 | 2147483647 31485 41 | 48.987 % |
8.31/8.31 c | 33057 | 4695 21236 58285 | 2147483647 31660 41 | 48.998 % |
8.31/8.40 c | 33251 | 4694 21236 58285 | 2147483647 31854 41 | 48.998 % |
8.41/8.44 c | 33463 | 4694 21236 58285 | 2147483647 32066 41 | 48.998 % |
8.51/8.53 c | 33696 | 4694 21236 58285 | 2147483647 32299 41 | 48.998 % |
8.51/8.56 c | 33952 | 4694 21236 58285 | 2147483647 32555 41 | 48.998 % |
8.61/8.65 c | 34235 | 4694 21236 58285 | 2147483647 32838 41 | 48.998 % |
8.71/8.71 c | 34545 | 4694 21236 58285 | 2147483647 33148 41 | 48.998 % |
8.71/8.80 c | 34884 | 4694 21236 58285 | 2147483647 33487 41 | 48.999 % |
8.81/8.87 c | 35257 | 4694 21236 58285 | 2147483647 33860 41 | 48.998 % |
8.92/8.94 c | 35667 | 4694 21236 58285 | 2147483647 34270 40 | 48.998 % |
9.01/9.05 c | 36117 | 4694 21236 58285 | 2147483647 34720 41 | 48.999 % |
9.11/9.14 c | 36610 | 4694 21236 58285 | 2147483647 35213 40 | 48.998 % |
9.31/9.31 c | 37153 | 4694 21236 58285 | 2147483647 35756 41 | 48.998 % |
9.31/9.33 c | 37253 | 4694 21236 58285 | 2147483647 35856 41 | 48.998 % |
9.31/9.38 c | 37363 | 4694 21236 58285 | 2147483647 35966 41 | 48.998 % |
9.31/9.40 c | 37484 | 4694 21236 58285 | 2147483647 36087 41 | 48.998 % |
9.41/9.46 c | 37623 | 4694 21236 58285 | 2147483647 36226 41 | 48.998 % |
9.41/9.49 c | 37770 | 4694 21236 58285 | 2147483647 36373 41 | 48.998 % |
9.51/9.55 c | 37930 | 4694 21236 58285 | 2147483647 36533 41 | 48.998 % |
9.51/9.59 c | 38106 | 4694 21236 58285 | 2147483647 36709 41 | 48.998 % |
9.61/9.62 c | 38299 | 4694 21236 58285 | 2147483647 36902 41 | 48.998 % |
9.61/9.66 c | 38512 | 4694 21236 58285 | 2147483647 37115 41 | 48.998 % |
9.71/9.79 c | 38746 | 4694 21236 58285 | 2147483647 37349 42 | 48.998 % |
9.81/9.83 c | 39003 | 4694 21236 58285 | 2147483647 37606 42 | 48.998 % |
9.91/9.98 c | 39285 | 4694 21236 58285 | 2147483647 37888 44 | 48.998 % |
10.02/10.05 c | 39595 | 4694 21236 58285 | 2147483647 38198 44 | 48.998 % |
10.21/10.26 c | 39934 | 4682 21178 58076 | 2147483647 38503 46 | 48.998 % |
10.21/10.31 c | 40307 | 4682 21178 58076 | 2147483647 38876 45 | 48.998 % |
10.41/10.49 c | 40718 | 4682 21178 58076 | 2147483647 39287 46 | 48.998 % |
10.61/10.61 c | 41169 | 4682 21178 58076 | 2147483647 39738 46 | 48.998 % |
10.81/10.82 c | 41662 | 4682 21178 58076 | 2147483647 40231 47 | 48.999 % |
10.81/10.89 c | 42205 | 4682 21178 58076 | 2147483647 40774 47 | 48.998 % |
10.91/10.98 c | 42802 | 4682 21178 58076 | 2147483647 41371 47 | 48.999 % |
10.91/11.00 c | 42902 | 4682 21178 58076 | 2147483647 41471 47 | 48.998 % |
11.01/11.07 c | 43013 | 4682 21178 58076 | 2147483647 41582 47 | 48.998 % |
11.12/11.19 c | 43136 | 4682 21178 58076 | 2147483647 41703 47 | 49.172 % |
11.21/11.25 c | 43270 | 4677 21178 58076 | 2147483647 41834 47 | 49.248 % |
11.31/11.32 c | 43416 | 4677 21178 58076 | 2147483647 41980 48 | 49.249 % |
11.31/11.35 c | 43576 | 4677 21178 58076 | 2147483647 42140 48 | 49.248 % |
11.41/11.47 c | 43753 | 4676 21178 58076 | 2147483647 42316 48 | 49.336 % |
11.51/11.54 c | 43946 | 4676 21178 58076 | 2147483647 42509 48 | 49.336 % |
11.51/11.57 c | 44158 | 4676 21178 58076 | 2147483647 42721 48 | 49.336 % |
11.61/11.70 c | 44392 | 4676 21178 58076 | 2147483647 42955 49 | 49.336 % |
11.71/11.73 c | 44648 | 4676 21178 58076 | 2147483647 43211 49 | 49.338 % |
11.81/11.87 c | 44930 | 4676 21178 58076 | 2147483647 43493 50 | 49.336 % |
11.91/11.93 c | 45240 | 4676 21178 58076 | 2147483647 43803 50 | 49.336 % |
12.11/12.18 c | 45579 | 4676 21178 58076 | 2147483647 44142 51 | 49.336 % |
12.22/12.28 c | 45951 | 4664 21178 58076 | 2147483647 44508 51 | 49.499 % |
12.51/12.52 c | 46360 | 4664 21178 58076 | 2147483647 44917 52 | 49.499 % |
12.61/12.63 c | 46809 | 4664 21178 58076 | 2147483647 45366 52 | 49.500 % |
12.81/12.85 c | 47302 | 4659 21178 58076 | 2147483647 45857 52 | 49.586 % |
13.01/13.08 c | 47844 | 4659 21178 58076 | 2147483647 46399 53 | 49.586 % |
13.21/13.29 c | 48441 | 4659 21178 58076 | 2147483647 46996 53 | 49.586 % |
13.41/13.49 c | 49098 | 4659 21178 58076 | 2147483647 47653 52 | 49.586 % |
13.51/13.55 c | 49198 | 4659 21178 58076 | 2147483647 47753 52 | 49.586 % |
13.51/13.57 c | 49308 | 4659 21178 58076 | 2147483647 47863 52 | 49.586 % |
13.61/13.64 c | 49430 | 4659 21178 58076 | 2147483647 47985 52 | 49.586 % |
13.61/13.67 c | 49563 | 4659 21178 58076 | 2147483647 48118 52 | 49.586 % |
13.71/13.77 c | 49709 | 4659 21178 58076 | 2147483647 48264 53 | 49.586 % |
13.71/13.80 c | 49871 | 4659 21178 58076 | 2147483647 48426 53 | 49.586 % |
13.91/13.91 c | 50047 | 4659 21178 58076 | 2147483647 48602 53 | 49.586 % |
14.11/14.14 c | 50240 | 4627 20925 57313 | 2147483647 48730 53 | 49.782 % |
14.21/14.22 c | 50452 | 4627 20925 57313 | 2147483647 48942 53 | 49.782 % |
14.21/14.30 c | 50686 | 4627 20925 57313 | 2147483647 49176 53 | 49.782 % |
14.31/14.41 c | 50946 | 4627 20925 57313 | 2147483647 49436 53 | 49.782 % |
14.51/14.52 c | 51227 | 4622 20925 57313 | 2147483647 49714 53 | 49.858 % |
14.71/14.71 c | 51536 | 4622 20925 57313 | 2147483647 50023 53 | 49.859 % |
14.81/14.84 c | 51875 | 4612 20925 57313 | 2147483647 50358 53 | 49.989 % |
15.01/15.09 c | 52247 | 4612 20925 57313 | 2147483647 50730 55 | 49.989 % |
15.11/15.19 c | 52656 | 4612 20925 57313 | 2147483647 51139 54 | 49.989 % |
15.41/15.49 c | 53110 | 4612 20925 57313 | 2147483647 51593 56 | 49.989 % |
15.52/15.60 c | 53604 | 4612 20925 57313 | 2147483647 52087 55 | 49.989 % |
15.81/15.88 c | 54146 | 4611 20925 57313 | 2147483647 52627 56 | 50.022 % |
16.01/16.01 c | 54742 | 4609 20925 57313 | 2147483647 53223 56 | 50.022 % |
16.42/16.50 c | 55397 | 4609 20925 57313 | 2147483647 53878 58 | 50.022 % |
16.52/16.61 c | 56118 | 4609 20925 57313 | 2147483647 54599 58 | 50.022 % |
16.62/16.65 c | 56218 | 4609 20925 57313 | 2147483647 54699 58 | 50.022 % |
16.62/16.71 c | 56329 | 4609 20925 57313 | 2147483647 54810 58 | 50.022 % |
16.72/16.73 c | 56450 | 4609 20925 57313 | 2147483647 54931 58 | 50.022 % |
16.82/16.85 c | 56586 | 4609 20925 57313 | 2147483647 55067 58 | 50.022 % |
16.92/16.96 c | 56732 | 4609 20925 57313 | 2147483647 55213 58 | 50.022 % |
16.92/17.01 c | 56892 | 4609 20925 57313 | 2147483647 55373 58 | 50.022 % |
17.02/17.08 c | 57069 | 4609 20925 57313 | 2147483647 55550 58 | 50.022 % |
17.12/17.15 c | 57262 | 4609 20925 57313 | 2147483647 55743 58 | 50.022 % |
17.22/17.25 c | 57474 | 4609 20925 57313 | 2147483647 55955 58 | 50.022 % |
17.32/17.32 c | 57707 | 4609 20925 57313 | 2147483647 56188 58 | 50.022 % |
17.42/17.42 c | 57964 | 4609 20925 57313 | 2147483647 56445 58 | 50.022 % |
17.52/17.56 c | 58245 | 4609 20925 57313 | 2147483647 56726 58 | 50.022 % |
17.62/17.69 c | 58554 | 4609 20925 57313 | 2147483647 57035 58 | 50.022 % |
17.82/17.87 c | 58893 | 4609 20925 57313 | 2147483647 57374 58 | 50.022 % |
18.02/18.02 c | 59265 | 4609 20925 57313 | 2147483647 57746 58 | 50.022 % |
18.12/18.15 c | 59674 | 4609 20925 57313 | 2147483647 58155 58 | 50.022 % |
18.32/18.39 c | 60123 | 4609 20925 57313 | 2147483647 58604 58 | 50.022 % |
18.52/18.55 c | 60617 | 4609 20925 57313 | 2147483647 59098 58 | 50.022 % |
18.92/18.93 c | 61161 | 4609 20925 57313 | 2147483647 59642 60 | 50.022 % |
19.02/19.10 c | 61757 | 4609 20925 57313 | 2147483647 60238 60 | 50.022 % |
19.52/19.57 c | 62412 | 4609 20925 57313 | 2147483647 60893 61 | 50.022 % |
19.82/19.84 c | 63134 | 4609 20925 57313 | 2147483647 61615 61 | 50.023 % |
20.42/20.42 c | 63926 | 4609 20925 57313 | 2147483647 62407 63 | 50.022 % |
20.42/20.45 c | 64026 | 4609 20925 57313 | 2147483647 62507 62 | 50.023 % |
20.42/20.51 c | 64136 | 4609 20925 57313 | 2147483647 62617 63 | 50.022 % |
20.52/20.57 c | 64259 | 4609 20925 57313 | 2147483647 62740 63 | 50.022 % |
20.62/20.63 c | 64392 | 4609 20925 57313 | 2147483647 62873 62 | 50.022 % |
20.72/20.73 c | 64538 | 4609 20925 57313 | 2147483647 63019 62 | 50.022 % |
20.72/20.80 c | 64700 | 4609 20925 57313 | 2147483647 63181 62 | 50.022 % |
20.82/20.86 c | 64878 | 4609 20925 57313 | 2147483647 63359 62 | 50.022 % |
21.02/21.06 c | 65072 | 4609 20925 57313 | 2147483647 63553 63 | 50.022 % |
21.22/21.24 c | 65285 | 4563 20708 56669 | 2147483647 63665 63 | 50.317 % |
21.42/21.47 c | 65518 | 4563 20708 56669 | 2147483647 63898 64 | 50.316 % |
21.72/21.72 c | 65774 | 4562 20708 56669 | 2147483647 64153 64 | 50.327 % |
21.82/21.85 c | 66055 | 4562 20708 56669 | 2147483647 64434 64 | 50.327 % |
22.02/22.02 c | 66365 | 4562 20708 56669 | 2147483647 64744 64 | 50.327 % |
22.12/22.19 c | 66705 | 4562 20708 56669 | 2147483647 65084 64 | 50.327 % |
22.22/22.31 c | 67077 | 4562 20708 56669 | 2147483647 65456 63 | 50.327 % |
22.52/22.57 c | 67486 | 4562 20708 56669 | 2147483647 65865 63 | 50.328 % |
22.72/22.74 c | 67935 | 4562 20708 56669 | 2147483647 66314 63 | 50.327 % |
22.92/22.98 c | 68431 | 4562 20708 56669 | 2147483647 66810 63 | 50.327 % |
23.22/23.22 c | 68973 | 4562 20708 56669 | 2147483647 67352 63 | 50.327 % |
23.52/23.54 c | 69569 | 4562 20708 56669 | 2147483647 67948 63 | 50.327 % |
23.82/23.84 c | 70224 | 4562 20708 56669 | 2147483647 68603 63 | 50.327 % |
24.32/24.36 c | 70946 | 4562 20708 56669 | 2147483647 69325 62 | 50.327 % |
24.82/24.82 c | 71738 | 4546 20708 56669 | 2147483647 70109 63 | 51.242 % |
25.02/25.10 c | 72609 | 4546 20708 56669 | 2147483647 70980 63 | 51.242 % |
25.12/25.19 c | 72710 | 4546 20708 56669 | 2147483647 71081 63 | 51.242 % |
25.22/25.22 c | 72825 | 4546 20708 56669 | 2147483647 71196 63 | 51.242 % |
25.22/25.26 c | 72946 | 4546 20708 56669 | 2147483647 71317 63 | 51.242 % |
25.22/25.30 c | 73079 | 4546 20708 56669 | 2147483647 71450 63 | 51.242 % |
25.42/25.43 c | 73225 | 4546 20708 56669 | 2147483647 71596 64 | 51.242 % |
25.42/25.50 c | 73385 | 4546 20708 56669 | 2147483647 71756 63 | 51.242 % |
25.62/25.63 c | 73561 | 4546 20708 56669 | 2147483647 71932 64 | 51.243 % |
25.72/25.81 c | 73754 | 4541 20708 56669 | 2147483647 72124 64 | 51.296 % |
25.92/25.97 c | 73966 | 4541 20708 56669 | 2147483647 72336 63 | 51.296 % |
26.12/26.14 c | 74201 | 4541 20708 56669 | 2147483647 72571 63 | 51.296 % |
26.22/26.28 c | 74457 | 4541 20708 56669 | 2147483647 72827 63 | 51.296 % |
26.42/26.49 c | 74739 | 4541 20708 56669 | 2147483647 73109 64 | 51.296 % |
26.52/26.59 c | 75051 | 4541 20708 56669 | 2147483647 73421 64 | 51.296 % |
26.82/26.85 c | 75391 | 4541 20708 56669 | 2147483647 73761 64 | 51.296 % |
26.92/27.01 c | 75763 | 4541 20708 56669 | 2147483647 74133 64 | 51.296 % |
27.22/27.27 c | 76174 | 4541 20708 56669 | 2147483647 74544 64 | 51.296 % |
27.42/27.47 c | 76623 | 4541 20708 56669 | 2147483647 74993 63 | 51.296 % |
27.72/27.81 c | 77118 | 4541 20708 56669 | 2147483647 75488 64 | 51.296 % |
27.92/28.01 c | 77660 | 4541 20708 56669 | 2147483647 76030 64 | 51.297 % |
28.32/28.35 c | 78257 | 4541 20708 56669 | 2147483647 76627 64 | 51.297 % |
28.52/28.61 c | 78913 | 4541 20708 56669 | 2147483647 77283 64 | 51.296 % |
29.02/29.11 c | 79633 | 4541 20708 56669 | 2147483647 78003 64 | 51.297 % |
29.52/29.58 c | 80425 | 4541 20708 56669 | 78372 78795 64 | 51.296 % |
30.12/30.18 c | 81296 | 4541 20708 56669 | 78372 79666 64 | 51.297 % |
30.92/30.92 c | 82257 | 4541 20708 56669 | 78372 80626 64 | 51.307 % |
30.92/30.99 c | 82357 | 4541 20708 56669 | 78372 80726 64 | 51.307 % |
31.02/31.03 c | 82467 | 4541 20708 56669 | 78372 80836 64 | 51.307 % |
31.12/31.15 c | 82589 | 4541 20708 56669 | 78372 80958 64 | 51.307 % |
31.22/31.23 c | 82723 | 4541 20708 56669 | 78372 81092 64 | 51.307 % |
31.22/31.29 c | 82869 | 4541 20708 56669 | 78372 81238 64 | 51.307 % |
31.42/31.43 c | 83029 | 4541 20708 56669 | 78372 81398 65 | 51.307 % |
31.52/31.57 c | 83205 | 4541 20708 56669 | 78372 81574 64 | 51.307 % |
31.62/31.69 c | 83401 | 4541 20708 56669 | 78372 81770 65 | 51.307 % |
31.72/31.74 c | 83613 | 4541 20708 56669 | 78372 81982 65 | 51.307 % |
31.82/31.91 c | 83848 | 4541 20708 56669 | 78372 82217 65 | 51.307 % |
31.92/31.98 c | 84105 | 4541 20708 56669 | 78372 82474 65 | 51.307 % |
32.02/32.10 c | 84390 | 4541 20708 56669 | 78372 82759 65 | 51.307 % |
32.22/32.22 c | 84701 | 4541 20708 56669 | 78372 83070 65 | 51.307 % |
32.42/32.48 c | 85041 | 4541 20708 56669 | 78372 83410 65 | 51.307 % |
32.82/32.84 c | 85413 | 4540 20708 56669 | 78372 70879 68 | 51.341 % |
33.02/33.10 c | 85822 | 4540 20708 56669 | 78372 71288 68 | 51.340 % |
33.22/33.26 c | 86271 | 4540 20708 56669 | 78372 71737 68 | 51.340 % |
33.62/33.63 c | 86766 | 4467 20212 55184 | 78372 71964 68 | 51.340 % |
33.82/33.84 c | 87311 | 4467 20212 55184 | 78372 72509 68 | 51.340 % |
34.12/34.12 c | 87908 | 4467 20212 55184 | 78372 73106 68 | 51.340 % |
34.62/34.69 c | 88564 | 4467 20212 55184 | 78372 73762 69 | 51.340 % |
35.42/35.47 c | 89287 | 4467 20212 55184 | 78372 74485 69 | 51.340 % |
35.92/36.00 c | 90080 | 4467 20212 55184 | 75198 75278 68 | 51.342 % |
36.42/36.47 c | 90951 | 4467 20212 55184 | 75198 76149 68 | 51.340 % |
37.12/37.14 c | 91909 | 4467 20212 55184 | 75198 77107 68 | 51.340 % |
37.62/37.67 c | 92963 | 4467 20212 55184 | 75198 78161 67 | 51.340 % |
37.72/37.80 c | 93063 | 4467 20212 55184 | 75198 78261 67 | 51.340 % |
37.82/37.86 c | 93173 | 4467 20212 55184 | 75198 78371 67 | 51.340 % |
37.92/37.99 c | 93295 | 4467 20212 55184 | 75198 78493 67 | 51.340 % |
38.02/38.06 c | 93428 | 4467 20212 55184 | 75198 78626 67 | 51.340 % |
38.22/38.23 c | 93574 | 4467 20212 55184 | 75198 78772 67 | 51.340 % |
38.22/38.31 c | 93734 | 4467 20212 55184 | 75198 78932 67 | 51.342 % |
38.32/38.39 c | 93910 | 4467 20212 55184 | 75198 79108 67 | 51.340 % |
38.42/38.50 c | 94106 | 4467 20212 55184 | 75198 79304 67 | 51.340 % |
38.62/38.61 c | 94319 | 4467 20212 55184 | 75198 79517 67 | 51.340 % |
38.72/38.81 c | 94553 | 4467 20212 55184 | 75198 79751 67 | 51.341 % |
38.92/38.95 c | 94810 | 4467 20212 55184 | 75198 80007 67 | 51.362 % |
39.12/39.21 c | 95092 | 4467 20212 55184 | 75198 68489 70 | 51.362 % |
39.32/39.39 c | 95401 | 4462 20212 55184 | 75198 68792 70 | 51.656 % |
39.62/39.66 c | 95744 | 4462 20212 55184 | 75198 69135 71 | 51.656 % |
39.72/39.75 c | 96117 | 4462 20212 55184 | 75198 69508 71 | 51.656 % |
40.02/40.08 c | 96526 | 4462 20212 55184 | 75198 69917 72 | 51.656 % |
40.52/40.52 c | 96976 | 4462 20212 55184 | 75198 70367 72 | 51.656 % |
40.82/40.86 c | 97469 | 4462 20212 55184 | 75198 70860 72 | 51.656 % |
41.12/41.20 c | 98011 | 4462 20212 55184 | 75198 71402 72 | 51.656 % |
41.72/41.72 c | 98607 | 4462 20212 55184 | 75198 71998 73 | 51.656 % |
41.92/41.93 c | 99262 | 4462 20212 55184 | 75198 72653 72 | 51.656 % |
42.52/42.54 c | 99982 | 4462 20212 55184 | 75198 73373 73 | 51.656 % |
42.92/42.95 c | 100774 | 4462 20212 55184 | 73391 74165 72 | 51.656 % |
43.62/43.63 c | 101648 | 4462 20212 55184 | 73391 75039 73 | 51.656 % |
44.22/44.24 c | 102609 | 4462 20212 55184 | 73391 76000 73 | 51.656 % |
44.91/44.98 c | 103663 | 4462 20212 55184 | 73391 77054 73 | 51.657 % |
45.51/45.58 c | 104823 | 4462 20212 55184 | 73391 78214 72 | 51.656 % |
45.61/45.68 c | 104925 | 4462 20212 55184 | 73391 65228 67 | 51.657 % |
45.71/45.78 c | 105035 | 4462 20212 55184 | 73391 65338 68 | 51.656 % |
45.81/45.89 c | 105158 | 4461 20212 55184 | 73391 65460 67 | 52.538 % |
45.91/45.98 c | 105293 | 4461 20212 55184 | 73391 65595 68 | 52.538 % |
46.01/46.05 c | 105441 | 4461 20212 55184 | 73391 65743 67 | 52.538 % |
46.11/46.15 c | 105601 | 4461 20212 55184 | 73391 65903 67 | 52.538 % |
46.21/46.25 c | 105777 | 4461 20212 55184 | 73391 66079 67 | 52.538 % |
46.31/46.34 c | 105970 | 4461 20212 55184 | 73391 66272 67 | 52.538 % |
46.41/46.47 c | 106182 | 4461 20212 55184 | 73391 66484 67 | 52.539 % |
46.51/46.57 c | 106415 | 4461 20212 55184 | 73391 66717 67 | 52.540 % |
46.71/46.76 c | 106673 | 4461 20212 55184 | 73391 66975 67 | 52.538 % |
46.81/46.87 c | 106954 | 4461 20212 55184 | 73391 67256 67 | 52.538 % |
46.91/47.00 c | 107263 | 4461 20212 55184 | 73391 67565 67 | 52.538 % |
47.11/47.11 c | 107602 | 4461 20212 55184 | 73391 67904 67 | 52.538 % |
47.31/47.39 c | 107975 | 4461 20212 55184 | 73391 68277 67 | 52.538 % |
47.61/47.62 c | 108384 | 4461 20212 55184 | 73391 68686 67 | 52.539 % |
47.81/47.85 c | 108835 | 4461 20212 55184 | 73391 69137 67 | 52.538 % |
48.21/48.25 c | 109328 | 4461 20212 55184 | 73391 69630 67 | 52.539 % |
48.51/48.54 c | 109870 | 4461 20212 55184 | 73391 70172 67 | 52.538 % |
48.71/48.73 c | 110467 | 4461 20212 55184 | 70303 70769 67 | 52.539 % |
49.31/49.32 c | 111125 | 4461 20212 55184 | 70303 71427 67 | 52.539 % |
49.81/49.85 c | 111846 | 4461 20212 55184 | 70303 72148 67 | 52.538 % |
50.51/50.54 c | 112638 | 4357 19552 53276 | 70303 72729 67 | 52.538 % |
51.01/51.08 c | 113510 | 4357 19552 53276 | 70303 73601 67 | 52.538 % |
51.91/51.92 c | 114468 | 4357 19552 53276 | 70303 74559 67 | 52.538 % |
52.51/52.53 c | 115522 | 4357 19552 53276 | 70303 75613 66 | 52.538 % |
53.11/53.12 c | 116680 | 4352 19552 53276 | 70303 63387 61 | 52.723 % |
53.91/53.99 c | 117953 | 4352 19552 53276 | 70303 64660 66 | 52.723 % |
54.01/54.02 c | 118053 | 4352 19552 53276 | 70303 64760 66 | 52.723 % |
54.11/54.11 c | 118169 | 4352 19552 53276 | 70303 64876 66 | 52.723 % |
54.11/54.14 c | 118291 | 4352 19552 53276 | 70303 64998 66 | 52.723 % |
54.11/54.20 c | 118424 | 4352 19552 53276 | 70303 65131 67 | 52.723 % |
54.21/54.23 c | 118571 | 4352 19552 53276 | 70303 65278 67 | 52.723 % |
54.31/54.33 c | 118731 | 4352 19552 53276 | 70303 65438 67 | 52.724 % |
54.31/54.39 c | 118908 | 4352 19552 53276 | 70303 65615 67 | 52.723 % |
54.41/54.50 c | 119101 | 4352 19552 53276 | 70303 65808 67 | 52.724 % |
54.61/54.66 c | 119313 | 4352 19552 53276 | 70303 66020 67 | 52.723 % |
54.71/54.79 c | 119547 | 4352 19552 53276 | 70303 66254 67 | 52.723 % |
54.91/54.97 c | 119803 | 4352 19552 53276 | 70303 66510 68 | 52.723 % |
55.01/55.03 c | 120084 | 4352 19552 53276 | 66707 66791 67 | 52.724 % |
55.21/55.25 c | 120394 | 4352 19552 53276 | 66707 67101 68 | 52.723 % |
55.31/55.39 c | 120733 | 4352 19552 53276 | 66707 67440 68 | 52.723 % |
55.71/55.71 c | 121105 | 4352 19552 53276 | 66707 67812 69 | 52.724 % |
55.81/55.82 c | 121514 | 4352 19552 53276 | 66707 68221 68 | 52.724 % |
56.11/56.12 c | 121965 | 4352 19552 53276 | 66707 68672 69 | 52.724 % |
56.21/56.24 c | 122458 | 4352 19552 53276 | 66707 69165 69 | 52.724 % |
56.61/56.69 c | 123002 | 4352 19552 53276 | 66707 69709 71 | 52.723 % |
57.21/57.28 c | 123600 | 4352 19552 53276 | 66707 70307 71 | 52.725 % |
57.61/57.68 c | 124257 | 4352 19552 53276 | 66707 70964 70 | 52.723 % |
58.11/58.16 c | 124977 | 4352 19552 53276 | 66707 71684 70 | 52.723 % |
58.51/58.56 c | 125770 | 4352 19552 53276 | 66707 61421 70 | 52.723 % |
59.11/59.14 c | 126641 | 4352 19552 53276 | 66707 62292 69 | 52.723 % |
59.71/59.73 c | 127599 | 4352 19552 53276 | 66707 63250 69 | 52.723 % |
60.31/60.39 c | 128652 | 4352 19552 53276 | 66707 64303 68 | 52.724 % |
61.11/61.17 c | 129811 | 4352 19552 53276 | 66707 65462 67 | 52.723 % |
62.01/62.04 c | 131085 | 4352 19552 53276 | 65651 66736 67 | 52.723 % |
62.71/62.73 c | 132485 | 4352 19552 53276 | 65651 68136 67 | 52.723 % |
62.71/62.80 c | 132586 | 4352 19552 53276 | 65651 68237 67 | 52.724 % |
62.81/62.88 c | 132697 | 4352 19552 53276 | 65651 68348 67 | 52.723 % |
62.91/62.92 c | 132819 | 4352 19552 53276 | 65651 68470 67 | 52.723 % |
63.01/63.01 c | 132952 | 4352 19552 53276 | 65651 68603 67 | 52.724 % |
63.01/63.05 c | 133098 | 4352 19552 53276 | 65651 68749 67 | 52.723 % |
63.11/63.18 c | 133258 | 4352 19552 53276 | 65651 68909 67 | 52.724 % |
63.21/63.27 c | 133434 | 4352 19552 53276 | 65651 69085 67 | 52.723 % |
63.31/63.40 c | 133628 | 4352 19552 53276 | 65651 69279 67 | 52.724 % |
63.41/63.46 c | 133840 | 4352 19552 53276 | 65651 69491 67 | 52.723 % |
63.61/63.64 c | 134073 | 4352 19552 53276 | 65651 69724 68 | 52.723 % |
63.71/63.80 c | 134331 | 4352 19552 53276 | 65651 69982 68 | 52.723 % |
64.01/64.09 c | 134612 | 4352 19552 53276 | 65651 70263 68 | 52.723 % |
64.21/64.28 c | 134923 | 4352 19552 53276 | 65651 70574 68 | 52.723 % |
64.51/64.55 c | 135262 | 4352 19552 53276 | 65651 60409 67 | 52.723 % |
64.81/64.82 c | 135634 | 4352 19552 53276 | 65651 60781 67 | 52.723 % |
65.01/65.01 c | 136043 | 4352 19552 53276 | 65651 61190 67 | 52.723 % |
65.31/65.30 c | 136493 | 4352 19552 53276 | 65651 61640 67 | 52.723 % |
65.61/65.61 c | 136988 | 4352 19552 53276 | 65651 62135 66 | 52.723 % |
66.01/66.02 c | 137530 | 4340 19467 53026 | 65651 62677 67 | 52.724 % |
66.41/66.50 c | 138128 | 4340 19467 53026 | 65651 63275 67 | 52.723 % |
66.81/66.88 c | 138785 | 4340 19467 53026 | 65651 63932 67 | 52.723 % |
67.31/67.34 c | 139506 | 4340 19467 53026 | 65651 64653 66 | 52.723 % |
67.91/67.97 c | 140298 | 4340 19467 53026 | 65147 65445 66 | 52.724 % |
68.51/68.56 c | 141170 | 4340 19467 53026 | 65147 66317 66 | 52.723 % |
69.21/69.29 c | 142129 | 4340 19467 53026 | 65147 67276 67 | 52.724 % |
69.51/69.53 c | 143182 | 4340 19467 53026 | 65147 68329 67 | 52.723 % |
70.11/70.13 c | 144340 | 4340 19467 53026 | 65147 69487 67 | 52.723 % |
71.22/71.25 c | 145616 | 4340 19467 53026 | 65147 70763 68 | 52.723 % |
72.12/72.12 c | 147016 | 4340 19467 53026 | 65147 61005 64 | 52.723 % |
73.12/73.15 c | 148557 | 4340 19467 53026 | 65147 62546 63 | 52.723 % |
73.22/73.23 c | 148659 | 4340 19467 53026 | 65147 62648 63 | 52.723 % |
73.32/73.32 c | 148769 | 4340 19467 53026 | 65147 62758 63 | 52.723 % |
73.42/73.44 c | 148891 | 4340 19467 53026 | 65147 62880 63 | 52.723 % |
73.52/73.53 c | 149026 | 4340 19467 53026 | 65147 63015 63 | 52.723 % |
73.62/73.67 c | 149173 | 4340 19467 53026 | 65147 63162 63 | 52.725 % |
73.82/73.82 c | 149333 | 4340 19467 53026 | 65147 63322 63 | 52.723 % |
73.92/73.94 c | 149510 | 4340 19467 53026 | 65147 63499 63 | 52.725 % |
74.12/74.18 c | 149707 | 4337 19467 53026 | 65147 63693 63 | 53.399 % |
74.22/74.30 c | 149922 | 4337 19467 53026 | 65147 63908 63 | 53.401 % |
74.42/74.47 c | 150156 | 4337 19467 53026 | 63987 64142 63 | 53.399 % |
74.62/74.61 c | 150413 | 4337 19467 53026 | 63987 64399 63 | 53.399 % |
74.72/74.80 c | 150696 | 4337 19467 53026 | 63987 64682 62 | 53.399 % |
74.92/75.01 c | 151007 | 4337 19467 53026 | 63987 64993 62 | 53.399 % |
75.32/75.40 c | 151347 | 4336 19467 53026 | 63987 65332 62 | 53.410 % |
75.62/75.66 c | 151719 | 4336 19467 53026 | 63987 65704 62 | 53.410 % |
76.02/76.03 c | 152130 | 4336 19467 53026 | 63987 66115 62 | 53.410 % |
76.22/76.26 c | 152579 | 4336 19467 53026 | 63987 66564 62 | 53.410 % |
76.62/76.65 c | 153072 | 4336 19467 53026 | 63987 67057 62 | 53.410 % |
77.12/77.18 c | 153615 | 4336 19467 53026 | 63987 67600 62 | 53.410 % |
77.52/77.57 c | 154211 | 4336 19467 53026 | 63987 68196 62 | 53.411 % |
78.02/78.04 c | 154866 | 4336 19467 53026 | 63987 68851 62 | 53.411 % |
78.52/78.55 c | 155586 | 4336 19467 53026 | 63987 69571 62 | 53.410 % |
79.02/79.06 c | 156378 | 4336 19467 53026 | 63987 59376 62 | 53.411 % |
79.72/79.72 c | 157250 | 4336 19467 53026 | 63987 60248 62 | 53.410 % |
80.32/80.40 c | 158209 | 4277 19203 52216 | 63987 60991 61 | 53.410 % |
81.12/81.18 c | 159263 | 4277 19203 52216 | 63987 62045 64 | 53.411 % |
81.32/81.36 c | 160422 | 4277 19203 52216 | 62782 63204 63 | 53.410 % |
82.42/82.43 c | 161695 | 4277 19203 52216 | 62782 64477 64 | 53.410 % |
83.12/83.19 c | 163095 | 4277 19203 52216 | 62782 65877 64 | 53.410 % |
84.22/84.27 c | 164636 | 4277 19203 52216 | 62782 67418 63 | 53.410 % |
85.72/85.71 c | 166330 | 4277 19203 52216 | 62782 69112 65 | 53.410 % |
85.82/85.86 c | 166430 | 4277 19203 52216 | 62782 57418 55 | 53.410 % |
85.82/85.89 c | 166542 | 4277 19203 52216 | 62782 57530 55 | 53.410 % |
85.93/85.97 c | 166664 | 4277 19203 52216 | 62782 57652 55 | 53.410 % |
86.02/86.05 c | 166797 | 4277 19203 52216 | 62782 57785 55 | 53.410 % |
86.12/86.17 c | 166944 | 4277 19203 52216 | 62782 57932 55 | 53.410 % |
86.22/86.30 c | 167104 | 4277 19203 52216 | 62782 58092 55 | 53.410 % |
86.32/86.36 c | 167280 | 4277 19203 52216 | 62782 58268 55 | 53.411 % |
86.42/86.44 c | 167473 | 4277 19203 52216 | 62782 58461 55 | 53.410 % |
86.52/86.57 c | 167687 | 4277 19203 52216 | 62782 58675 55 | 53.410 % |
86.52/86.59 c | 167921 | 4277 19203 52216 | 62782 58909 55 | 53.410 % |
86.72/86.77 c | 168177 | 4277 19203 52216 | 62782 59165 56 | 53.410 % |
86.82/86.87 c | 168458 | 4277 19203 52216 | 62782 59446 56 | 53.410 % |
87.03/87.10 c | 168770 | 4277 19203 52216 | 62782 59758 56 | 53.410 % |
87.12/87.15 c | 169109 | 4277 19203 52216 | 62782 60097 56 | 53.410 % |
87.32/87.38 c | 169483 | 4277 19203 52216 | 62782 60471 56 | 53.410 % |
87.52/87.52 c | 169898 | 4277 19203 52216 | 62782 60886 56 | 53.410 % |
87.62/87.66 c | 170351 | 4277 19203 52216 | 60988 61339 56 | 53.410 % |
87.72/87.79 c | 170844 | 4277 19203 52216 | 60988 61832 56 | 53.410 % |
87.82/87.84 c | 171386 | 4277 19203 52216 | 60988 62374 56 | 53.410 % |
88.22/88.29 c | 171984 | 4277 19203 52216 | 60988 62972 58 | 53.410 % |
88.42/88.41 c | 172639 | 4277 19203 52216 | 60988 63627 58 | 53.410 % |
88.82/88.86 c | 173359 | 4277 19203 52216 | 60988 64347 59 | 53.410 % |
89.12/89.17 c | 174151 | 4277 19203 52216 | 60988 65139 59 | 53.410 % |
89.62/89.65 c | 175022 | 4277 19203 52216 | 60988 66010 60 | 53.410 % |
90.22/90.29 c | 175981 | 4277 19203 52216 | 60988 57538 59 | 53.410 % |
91.02/91.11 c | 177034 | 4277 19203 52216 | 60988 58591 59 | 53.411 % |
91.62/91.66 c | 178193 | 4277 19203 52216 | 60988 59750 58 | 53.411 % |
92.62/92.63 c | 179466 | 4277 19203 52216 | 60988 61023 60 | 53.410 % |
93.02/93.07 c | 180870 | 4277 19203 52216 | 61557 62427 61 | 53.410 % |
94.22/94.22 c | 182410 | 4277 19203 52216 | 61557 63967 64 | 53.410 % |
94.82/94.87 c | 184105 | 4277 19203 52216 | 61557 65662 64 | 53.410 % |
95.32/95.37 c | 185968 | 4277 19203 52216 | 61557 67525 63 | 53.410 % |
95.42/95.48 c | 186068 | 4277 19203 52216 | 61557 58611 62 | 53.410 % |
95.52/95.55 c | 186178 | 4277 19203 52216 | 61557 58721 63 | 53.410 % |
95.62/95.64 c | 186300 | 4277 19203 52216 | 61557 58843 63 | 53.410 % |
95.62/95.69 c | 186435 | 4277 19203 52216 | 61557 58978 63 | 53.410 % |
95.72/95.78 c | 186583 | 4277 19203 52216 | 61557 59126 63 | 53.410 % |
95.92/95.93 c | 186743 | 4277 19203 52216 | 61557 59286 63 | 53.410 % |
95.92/96.01 c | 186919 | 4277 19203 52216 | 61557 59462 63 | 53.410 % |
96.12/96.18 c | 187112 | 4277 19203 52216 | 61557 59655 63 | 53.410 % |
96.22/96.28 c | 187325 | 4277 19203 52216 | 61557 59868 63 | 53.410 % |
96.32/96.37 c | 187558 | 4277 19203 52216 | 61557 60101 63 | 53.410 % |
96.62/96.66 c | 187814 | 4277 19203 52216 | 61557 60357 64 | 53.410 % |
96.72/96.73 c | 188096 | 4277 19203 52216 | 61557 60639 64 | 53.410 % |
96.93/96.94 c | 188406 | 4277 19203 52216 | 61557 60949 65 | 53.410 % |
96.93/97.01 c | 188745 | 4277 19203 52216 | 61557 61288 64 | 53.410 % |
97.22/97.28 c | 189118 | 4277 19203 52216 | 61557 61661 65 | 53.410 % |
97.32/97.37 c | 189528 | 4277 19203 52216 | 61557 62071 65 | 53.410 % |
97.62/97.70 c | 189977 | 4277 19203 52216 | 61557 62520 67 | 53.410 % |
97.82/97.91 c | 190470 | 4277 19203 52216 | 62543 63013 66 | 53.410 % |
98.32/98.35 c | 191015 | 4277 19203 52216 | 62543 63558 68 | 53.410 % |
98.92/98.96 c | 191612 | 4277 19203 52216 | 62543 64155 68 | 53.410 % |
99.42/99.45 c | 192268 | 4277 19203 52216 | 62543 64811 68 | 53.411 % |
99.72/99.79 c | 192989 | 4277 19203 52216 | 62543 65532 67 | 53.410 % |
100.42/100.46 c | 193782 | 4277 19203 52216 | 62543 66325 68 | 53.410 % |
101.12/101.14 c | 194654 | 4277 19203 52216 | 62543 67197 67 | 53.410 % |
101.92/102.01 c | 195612 | 4277 19203 52216 | 62543 68155 67 | 53.411 % |
102.72/102.73 c | 196665 | 4277 19203 52216 | 62543 58324 71 | 53.410 % |
103.53/103.55 c | 197823 | 4277 19203 52216 | 62543 59482 71 | 53.410 % |
104.12/104.15 c | 199096 | 4277 19203 52216 | 62543 60755 70 | 53.410 % |
105.22/105.28 c | 200496 | 4277 19203 52216 | 61660 62155 73 | 53.410 % |
106.52/106.55 c | 202036 | 4277 19203 52216 | 61660 63695 73 | 53.410 % |
108.02/108.09 c | 203734 | 4277 19203 52216 | 61660 65393 72 | 53.410 % |
109.42/109.42 c | 205598 | 4277 19203 52216 | 61660 67257 72 | 53.410 % |
111.12/111.19 c | 207647 | 4277 19203 52216 | 61660 59308 75 | 53.410 % |
111.23/111.23 c | 207747 | 4277 19203 52216 | 61660 59408 75 | 53.410 % |
111.32/111.32 c | 207859 | 4277 19203 52216 | 61660 59520 76 | 53.410 % |
111.32/111.36 c | 207980 | 4277 19203 52216 | 61660 59641 75 | 53.410 % |
111.42/111.44 c | 208114 | 4277 19203 52216 | 61660 59775 76 | 53.410 % |
111.42/111.50 c | 208260 | 4277 19203 52216 | 61660 59921 76 | 53.412 % |
111.62/111.66 c | 208420 | 4277 19203 52216 | 61660 60081 76 | 53.410 % |
111.72/111.71 c | 208596 | 4277 19203 52216 | 61660 60257 76 | 53.410 % |
111.82/111.86 c | 208789 | 4277 19203 52216 | 61660 60450 76 | 53.410 % |
111.92/111.92 c | 209001 | 4277 19203 52216 | 61660 60662 76 | 53.410 % |
112.12/112.16 c | 209235 | 4277 19203 52216 | 61660 60896 77 | 53.410 % |
112.33/112.36 c | 209491 | 4277 19203 52216 | 61660 61152 77 | 53.410 % |
112.42/112.47 c | 209773 | 4277 19203 52216 | 61660 61434 77 | 53.410 % |
112.72/112.77 c | 210082 | 4277 19203 52216 | 61661 61743 77 | 53.410 % |
113.02/113.05 c | 210426 | 4277 19203 52216 | 61661 62087 77 | 53.410 % |
113.32/113.31 c | 210799 | 4277 19203 52216 | 61661 62460 77 | 53.410 % |
113.62/113.65 c | 211209 | 4277 19203 52216 | 61661 62870 77 | 53.410 % |
113.92/113.98 c | 211659 | 4277 19203 52216 | 61661 63320 77 | 53.410 % |
114.32/114.35 c | 212155 | 4277 19203 52216 | 61661 63816 77 | 53.411 % |
114.92/114.95 c | 212700 | 4277 19203 52216 | 61661 64361 76 | 53.410 % |
115.42/115.43 c | 213296 | 4277 19203 52216 | 61661 64957 77 | 53.410 % |
116.02/116.02 c | 213952 | 4277 19203 52216 | 61661 65613 77 | 53.410 % |
116.32/116.38 c | 214675 | 4277 19203 52216 | 61661 66336 76 | 53.410 % |
117.12/117.13 c | 215467 | 4277 19203 52216 | 61661 67128 77 | 53.410 % |
117.72/117.79 c | 216338 | 4277 19203 52216 | 61661 56843 74 | 53.410 % |
118.42/118.46 c | 217298 | 4277 19203 52216 | 61661 57803 74 | 53.410 % |
119.12/119.15 c | 218352 | 4277 19203 52216 | 61661 58857 74 | 53.410 % |
119.62/119.68 c | 219510 | 4277 19203 52216 | 61661 60015 75 | 53.410 % |
120.92/120.91 c | 220786 | 4277 19203 52216 | 60506 61291 75 | 53.410 % |
121.82/121.85 c | 222186 | 4277 19203 52216 | 60506 62691 75 | 53.410 % |
122.72/122.79 c | 223726 | 4277 19203 52216 | 60506 64231 74 | 53.410 % |
124.02/124.04 c | 225420 | 4277 19203 52216 | 60506 65925 76 | 53.410 % |
125.62/125.69 c | 227283 | 4277 19203 52216 | 60506 57065 68 | 53.410 % |
127.22/127.21 c | 229333 | 4277 19203 52216 | 60506 59115 67 | 53.410 % |
129.13/129.14 c | 231586 | 4277 19203 52216 | 59782 61368 68 | 53.410 % |
129.23/129.24 c | 231688 | 4277 19203 52216 | 59782 61470 67 | 53.410 % |
129.33/129.33 c | 231799 | 4277 19203 52216 | 59782 61581 67 | 53.410 % |
129.43/129.44 c | 231920 | 4277 19203 52216 | 59782 61702 67 | 53.410 % |
129.53/129.60 c | 232055 | 4277 19203 52216 | 59782 61837 67 | 53.410 % |
129.73/129.77 c | 232202 | 4277 19203 52216 | 59782 61984 67 | 53.410 % |
129.83/129.90 c | 232363 | 4277 19203 52216 | 59782 62145 68 | 53.410 % |
129.93/130.00 c | 232539 | 4277 19203 52216 | 59782 62321 67 | 53.410 % |
130.13/130.16 c | 232732 | 4277 19203 52216 | 59782 62514 68 | 53.410 % |
130.33/130.37 c | 232945 | 4277 19203 52216 | 59782 62727 68 | 53.410 % |
130.63/130.62 c | 233178 | 4277 19203 52216 | 59782 62960 68 | 53.410 % |
130.83/130.88 c | 233434 | 4277 19203 52216 | 59782 63216 68 | 53.410 % |
131.03/131.03 c | 233715 | 4277 19203 52216 | 59782 63497 68 | 53.410 % |
131.23/131.28 c | 234026 | 4277 19203 52216 | 59782 63808 68 | 53.410 % |
131.43/131.51 c | 234366 | 4277 19203 52216 | 59782 64148 68 | 53.410 % |
131.83/131.83 c | 234738 | 4277 19203 52216 | 59782 64520 68 | 53.410 % |
132.03/132.04 c | 235147 | 4277 19203 52216 | 59782 64929 68 | 53.411 % |
132.53/132.52 c | 235597 | 4172 18678 50764 | 59782 56801 69 | 54.553 % |
132.83/132.82 c | 236090 | 4172 18678 50764 | 59782 57294 70 | 54.554 % |
133.13/133.16 c | 236632 | 4172 18678 50764 | 59782 57836 70 | 54.553 % |
133.53/133.53 c | 237228 | 4172 18678 50764 | 59782 58432 70 | 54.553 % |
134.03/134.03 c | 237887 | 4172 18678 50764 | 59782 59091 71 | 54.555 % |
134.43/134.45 c | 238607 | 4172 18678 50764 | 59782 59811 73 | 54.553 % |
134.63/134.70 c | 239400 | 4172 18678 50764 | 59782 60604 72 | 54.553 % |
135.43/135.52 c | 240272 | 4172 18678 50764 | 61204 61476 73 | 54.553 % |
135.83/135.89 c | 241230 | 4172 18678 50764 | 61204 62434 72 | 54.553 % |
136.73/136.81 c | 242285 | 4172 18678 50764 | 61204 63489 74 | 54.554 % |
137.63/137.65 c | 243444 | 4172 18678 50764 | 61204 64648 74 | 54.553 % |
138.53/138.59 c | 244718 | 4172 18678 50764 | 61204 65922 73 | 54.553 % |
139.73/139.77 c | 246118 | 4172 18678 50764 | 61204 58467 67 | 54.553 % |
140.43/140.47 c | 247659 | 4172 18678 50764 | 61204 60008 67 | 54.553 % |
141.63/141.70 c | 249353 | 4172 18678 50764 | 61204 61702 68 | 54.554 % |
143.53/143.57 c | 251216 | 4172 18678 50764 | 62350 63565 68 | 54.553 % |
144.73/144.78 c | 253265 | 4172 18678 50764 | 62350 65614 69 | 54.553 % |
146.93/146.95 c | 255518 | 4172 18678 50764 | 62350 67867 73 | 54.553 % |
149.23/149.23 c | 257998 | 4172 18678 50764 | 62350 58162 70 | 54.554 % |
149.33/149.34 c | 258098 | 4172 18678 50764 | 62350 58262 70 | 54.554 % |
149.43/149.44 c | 258208 | 4172 18678 50764 | 62350 58372 70 | 54.553 % |
149.43/149.51 c | 258329 | 4172 18678 50764 | 62350 58493 70 | 54.553 % |
149.53/149.61 c | 258463 | 4172 18678 50764 | 62350 58627 70 | 54.555 % |
149.63/149.69 c | 258609 | 4172 18678 50764 | 62350 58773 70 | 54.553 % |
149.83/149.84 c | 258769 | 4172 18678 50764 | 62350 58933 70 | 54.553 % |
149.93/149.91 c | 258945 | 4172 18678 50764 | 62350 59109 70 | 54.554 % |
150.03/150.07 c | 259138 | 4172 18678 50764 | 62350 59302 70 | 54.553 % |
150.13/150.20 c | 259350 | 4172 18678 50764 | 62350 59514 70 | 54.553 % |
150.33/150.41 c | 259584 | 4172 18678 50764 | 62350 59748 70 | 54.553 % |
150.63/150.63 c | 259844 | 4162 18629 50617 | 62350 60007 69 | 54.662 % |
150.83/150.90 c | 260125 | 4162 18629 50617 | 60164 60288 70 | 54.662 % |
151.03/151.06 c | 260438 | 4162 18629 50617 | 60164 60601 70 | 54.662 % |
151.43/151.42 c | 260779 | 4162 18629 50617 | 60164 60942 70 | 54.663 % |
151.53/151.57 c | 261152 | 4162 18629 50617 | 60164 61315 70 | 54.662 % |
151.93/151.97 c | 261562 | 4162 18629 50617 | 60164 61725 70 | 54.663 % |
152.23/152.25 c | 262012 | 4162 18629 50617 | 60164 62175 70 | 54.662 % |
152.63/152.68 c | 262505 | 4162 18629 50617 | 60164 62668 70 | 54.662 % |
153.13/153.19 c | 263048 | 4162 18629 50617 | 60164 63211 70 | 54.662 % |
153.73/153.79 c | 263645 | 4162 18629 50617 | 60164 63808 70 | 54.662 % |
154.53/154.51 c | 264300 | 4162 18629 50617 | 60164 64463 70 | 54.662 % |
154.83/154.86 c | 265023 | 4162 18629 50617 | 60164 65186 70 | 54.662 % |
155.43/155.50 c | 265815 | 4162 18629 50617 | 60164 55885 70 | 54.662 % |
155.83/155.85 c | 266687 | 4162 18629 50617 | 60164 56757 72 | 54.662 % |
156.53/156.56 c | 267646 | 4162 18629 50617 | 60164 57716 73 | 54.662 % |
156.93/157.00 c | 268699 | 4162 18629 50617 | 60164 58769 72 | 54.662 % |
158.03/158.07 c | 269858 | 4162 18629 50617 | 60164 59928 72 | 54.662 % |
158.93/159.00 c | 271131 | 4162 18629 50617 | 60071 61201 72 | 54.662 % |
160.23/160.23 c | 272531 | 4162 18629 50617 | 60071 62601 73 | 54.662 % |
161.93/162.01 c | 274072 | 4162 18629 50617 | 60071 64142 73 | 54.663 % |
163.73/163.81 c | 275766 | 4162 18629 50617 | 60071 65836 72 | 54.662 % |
164.13/164.17 c | 277629 | 4162 18629 50617 | 60071 57735 66 | 54.663 % |
165.63/165.70 c | 279678 | 4162 18629 50617 | 60071 59784 68 | 54.662 % |
167.43/167.51 c | 281932 | 4162 18629 50617 | 60110 62038 67 | 54.662 % |
169.53/169.54 c | 284410 | 4162 18629 50617 | 60110 64516 67 | 54.662 % |
172.03/172.06 c | 287136 | 4162 18629 50617 | 60110 55821 66 | 54.663 % |
172.13/172.16 c | 287236 | 4162 18629 50617 | 60110 55921 66 | 54.664 % |
172.23/172.23 c | 287347 | 4162 18629 50617 | 60110 56032 66 | 54.662 % |
172.23/172.30 c | 287468 | 4162 18629 50617 | 60110 56153 66 | 54.662 % |
172.43/172.42 c | 287601 | 4162 18629 50617 | 60110 56286 66 | 54.663 % |
172.53/172.52 c | 287749 | 4162 18629 50617 | 60110 56434 66 | 54.662 % |
172.63/172.63 c | 287909 | 4162 18629 50617 | 60110 56594 67 | 54.663 % |
172.73/172.74 c | 288086 | 4162 18629 50617 | 60110 56771 67 | 54.662 % |
172.93/172.97 c | 288279 | 4162 18629 50617 | 60110 56964 67 | 54.663 % |
173.03/173.09 c | 288491 | 4162 18629 50617 | 60110 57176 67 | 54.662 % |
173.13/173.16 c | 288724 | 4162 18629 50617 | 60110 57409 67 | 54.662 % |
173.33/173.31 c | 288981 | 4162 18629 50617 | 60110 57666 67 | 54.662 % |
173.33/173.41 c | 289262 | 4162 18629 50617 | 60110 57947 67 | 54.663 % |
173.63/173.66 c | 289571 | 4162 18629 50617 | 60110 58256 68 | 54.663 % |
174.03/174.02 c | 289911 | 4162 18629 50617 | 60110 58596 68 | 54.662 % |
174.33/174.40 c | 290284 | 4162 18629 50617 | 58686 58969 68 | 54.662 % |
174.83/174.88 c | 290693 | 4162 18629 50617 | 58686 59378 68 | 54.663 % |
175.43/175.42 c | 291142 | 4162 18629 50617 | 58686 59827 68 | 54.663 % |
175.83/175.86 c | 291637 | 4162 18629 50617 | 58686 60322 67 | 54.663 % |
176.53/176.57 c | 292179 | 3381 15020 41211 | 58686 46622 73 | 63.170 % |
176.83/176.84 c | 292776 | 3379 15020 41211 | 58686 47218 73 | 63.192 % |
177.03/177.03 c | 293432 | 3379 15020 41211 | 58686 47874 72 | 63.192 % |
177.13/177.13 c | 294153 | 3379 15020 41211 | 58686 48595 72 | 63.192 % |
177.33/177.32 c | 294946 | 3379 15020 41211 | 58686 49388 73 | 63.192 % |
177.53/177.55 c | 295818 | 3379 15020 41211 | 58686 50260 72 | 63.193 % |
177.83/177.90 c | 296777 | 3379 15020 41211 | 58686 51219 74 | 63.194 % |
178.23/178.24 c | 297830 | 3379 15020 41211 | 58686 52272 73 | 63.192 % |
178.63/178.65 c | 298989 | 3379 15020 41211 | 58686 53431 76 | 63.192 % |
178.93/178.96 c | 300262 | 3379 15020 41211 | 54442 54704 75 | 63.192 % |
179.52/179.60 c | 301663 | 3379 15020 41211 | 54442 56105 80 | 63.192 % |
180.40/180.47 c | 303204 | 3379 15020 41211 | 54442 57646 81 | 63.192 % |
181.00/181.03 c | 304898 | 3379 15020 41211 | 54442 59340 80 | 63.192 % |
181.40/181.45 c | 306761 | 3379 15020 41211 | 54442 53143 76 | 63.192 % |
182.20/182.30 c | 308810 | 3379 15020 41211 | 54442 55192 75 | 63.192 % |
183.40/183.47 c | 311065 | 3379 15020 41211 | 56382 57447 78 | 63.192 % |
184.70/184.77 c | 313543 | 3379 15020 41211 | 56382 59925 76 | 63.192 % |
186.10/186.20 c | 316268 | 3377 15020 41211 | 56382 62649 77 | 63.224 % |
187.20/187.28 c | 319265 | 3377 15020 41211 | 56382 54727 74 | 63.224 % |
187.30/187.36 c | 319365 | 3376 14989 41123 | 56382 54827 74 | 63.225 % |
187.40/187.42 c | 319477 | 3376 14989 41123 | 56382 54939 74 | 63.224 % |
187.40/187.47 c | 319599 | 3376 14989 41123 | 56382 55061 74 | 63.224 % |
187.50/187.57 c | 319732 | 3376 14989 41123 | 56382 55194 74 | 63.224 % |
187.60/187.66 c | 319881 | 3376 14989 41123 | 56382 55343 74 | 63.224 % |
187.70/187.78 c | 320041 | 3376 14989 41123 | 55462 55503 74 | 63.224 % |
187.80/187.89 c | 320217 | 3376 14989 41123 | 55462 55679 74 | 63.224 % |
188.00/188.01 c | 320411 | 3376 14989 41123 | 55462 55873 74 | 63.224 % |
188.10/188.18 c | 320623 | 3376 14989 41123 | 55462 56085 74 | 63.225 % |
188.20/188.29 c | 320858 | 3376 14989 41123 | 55462 56320 74 | 63.225 % |
188.40/188.44 c | 321114 | 3376 14989 41123 | 55462 56576 74 | 63.224 % |
188.50/188.61 c | 321395 | 3376 14989 41123 | 55462 56857 74 | 63.224 % |
188.70/188.74 c | 321704 | 3376 14989 41123 | 55462 57166 73 | 63.225 % |
188.90/188.92 c | 322044 | 3376 14989 41123 | 55462 57506 74 | 63.224 % |
189.20/189.28 c | 322417 | 3376 14989 41123 | 55462 57879 74 | 63.224 % |
189.50/189.53 c | 322827 | 3376 14989 41123 | 55462 58289 74 | 63.225 % |
189.70/189.78 c | 323276 | 3376 14989 41123 | 55462 58738 74 | 63.225 % |
189.90/189.99 c | 323769 | 3376 14989 41123 | 55462 59231 74 | 63.225 % |
190.20/190.30 c | 324311 | 3376 14989 41123 | 55462 59773 74 | 63.224 % |
190.60/190.64 c | 324908 | 3374 14989 41123 | 55462 60369 75 | 63.301 % |
191.00/191.05 c | 325564 | 3374 14989 41123 | 55462 61025 76 | 63.301 % |
191.50/191.56 c | 326284 | 3374 14989 41123 | 55462 61745 75 | 63.301 % |
192.00/192.04 c | 327076 | 3374 14989 41123 | 55462 51309 73 | 63.301 % |
192.50/192.61 c | 327948 | 3374 14989 41123 | 55462 52181 74 | 63.301 % |
193.00/193.08 c | 328906 | 3374 14989 41123 | 55462 53139 74 | 63.301 % |
193.60/193.64 c | 329959 | 3374 14989 41123 | 55462 54192 74 | 63.301 % |
194.30/194.39 c | 331118 | 3373 14989 41123 | 54233 55350 74 | 63.312 % |
195.00/195.09 c | 332392 | 3373 14989 41123 | 54233 56624 76 | 63.312 % |
195.91/196.01 c | 333792 | 3373 14989 41123 | 54233 58024 75 | 63.312 % |
196.80/196.90 c | 335332 | 3373 14989 41123 | 54233 59564 78 | 63.312 % |
198.00/198.08 c | 337026 | 3373 14989 41123 | 54233 50584 69 | 63.312 % |
199.00/199.01 c | 338889 | 3373 14989 41123 | 54233 52447 70 | 63.312 % |
200.20/200.28 c | 340939 | 3373 14989 41123 | 53558 54497 74 | 63.312 % |
201.41/201.48 c | 343192 | 3359 14885 40824 | 53558 56743 78 | 63.432 % |
202.90/202.91 c | 345670 | 3358 14885 40824 | 53558 59220 79 | 63.617 % |
203.20/203.28 c ===============================================================================
203.20/203.28 c restarts : 740
203.20/203.28 c conflicts : 346119 (1710 /sec)
203.20/203.28 c decisions : 555935 (0.85 % random) (2747 /sec)
203.20/203.28 c propagations : 68377900 (337852 /sec)
203.20/203.28 c conflict literals : 27276062 (46.73 % deleted)
203.20/203.28 c Memory used : 29.16 MB
203.20/203.28 c CPU time : 202.39 s
203.20/203.28 c
203.20/203.28 s UNSATISFIABLE
203.20/203.28 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820998-1242495776/watcher-1820998-1242495776 -o /tmp/evaluation-result-1820998-1242495776/solver-1820998-1242495776 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820998-1242495776.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23577
/proc/meminfo: memFree=1389880/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2412 CPUtime=0.01
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1014078139 2469888 275 4294967295 134512640 135169312 3219587520 3219586056 3085102830 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23577/statm: 603 275 235 161 0 42 0
[pid=23581] ppid=23577 vsize=956 CPUtime=0
/proc/23581/stat : 23581 (SatELite_releas) R 23577 23577 10436 0 -1 4202496 119 0 0 0 0 0 0 0 25 0 1 0 1014078139 978944 55 4294967295 134512640 135223648 3214439616 3214438548 134737406 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23581/statm: 239 57 45 174 0 64 0
[startup+0.111754 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23577
/proc/meminfo: memFree=1389880/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2412 CPUtime=0.01
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1014078139 2469888 275 4294967295 134512640 135169312 3219587520 3219586056 3085102830 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23577/statm: 603 275 235 161 0 42 0
[pid=23581] ppid=23577 vsize=12236 CPUtime=0.11
/proc/23581/stat : 23581 (SatELite_releas) R 23577 23577 10436 0 -1 4202496 2821 0 0 0 10 1 0 0 25 0 1 0 1014078139 12529664 2613 4294967295 134512640 135223648 3214439616 3214437632 134567437 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23581/statm: 3059 2613 73 174 0 2884 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 14648
[startup+0.211745 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23577
/proc/meminfo: memFree=1389880/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2412 CPUtime=0.01
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1014078139 2469888 275 4294967295 134512640 135169312 3219587520 3219586056 3085102830 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23577/statm: 603 275 235 161 0 42 0
[pid=23581] ppid=23577 vsize=12236 CPUtime=0.21
/proc/23581/stat : 23581 (SatELite_releas) R 23577 23577 10436 0 -1 4202496 2851 0 0 0 20 1 0 0 25 0 1 0 1014078139 12529664 2643 4294967295 134512640 135223648 3214439616 3214437544 134715321 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23581/statm: 3059 2643 73 174 0 2884 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 14648
[startup+0.311737 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23577
/proc/meminfo: memFree=1389880/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2412 CPUtime=0.01
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1014078139 2469888 275 4294967295 134512640 135169312 3219587520 3219586056 3085102830 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23577/statm: 603 275 235 161 0 42 0
[pid=23581] ppid=23577 vsize=13484 CPUtime=0.31
/proc/23581/stat : 23581 (SatELite_releas) R 23577 23577 10436 0 -1 4202496 3137 0 0 0 29 2 0 0 25 0 1 0 1014078139 13807616 2929 4294967295 134512640 135223648 3214439616 3214437284 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23581/statm: 3371 2929 73 174 0 3196 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 15896
[startup+0.711704 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23577
/proc/meminfo: memFree=1389880/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2412 CPUtime=0.01
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1014078139 2469888 275 4294967295 134512640 135169312 3219587520 3219586056 3085102830 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23577/statm: 603 275 235 161 0 42 0
[pid=23581] ppid=23577 vsize=15380 CPUtime=0.71
/proc/23581/stat : 23581 (SatELite_releas) R 23577 23577 10436 0 -1 4202496 3551 0 0 0 69 2 0 0 25 0 1 0 1014078139 15749120 3271 4294967295 134512640 135223648 3214439616 3214437968 134601497 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23581/statm: 3845 3271 73 174 0 3670 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 17792
[startup+1.51164 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 23583
/proc/meminfo: memFree=1383896/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=5004 CPUtime=0.75
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 1081 0 0 0 73 2 0 0 25 0 1 0 1014078216 5124096 1016 4294967295 134512640 135215339 3220767536 3220765824 134528896 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23583/statm: 1251 1016 73 172 0 1078 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 7420
[startup+3.11151 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 23583
/proc/meminfo: memFree=1383276/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=6364 CPUtime=2.34
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 1422 0 0 0 232 2 0 0 25 0 1 0 1014078216 6516736 1357 4294967295 134512640 135215339 3220767536 3220765536 134532775 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23583/statm: 1591 1357 73 172 0 1418 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 8780
[startup+6.31124 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 23585
/proc/meminfo: memFree=1380796/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=8896 CPUtime=5.54
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 2041 0 0 0 551 3 0 0 25 0 1 0 1014078216 9109504 1976 4294967295 134512640 135215339 3220767536 3220765824 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23583/statm: 2224 1976 73 172 0 2051 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 11312
[startup+12.7107 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 23585
/proc/meminfo: memFree=1374500/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=15344 CPUtime=11.94
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 3619 0 0 0 1190 4 0 0 25 0 1 0 1014078216 15712256 3554 4294967295 134512640 135215339 3220767536 3220765536 134532636 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23583/statm: 3836 3554 73 172 0 3663 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 17760
[startup+25.5197 s]
/proc/loadavg: 0.95 0.98 0.99 2/95 23586
/proc/meminfo: memFree=1364552/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=24972 CPUtime=24.75
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 6028 0 0 0 2471 4 0 0 25 0 1 0 1014078216 25571328 5963 4294967295 134512640 135215339 3220767536 3220765632 134527481 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23583/statm: 6243 5963 73 172 0 6070 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 27388
[startup+51.1075 s]
/proc/loadavg: 0.96 0.98 0.99 2/95 23771
/proc/meminfo: memFree=1358612/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=50.34
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 5027 7 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765824 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 32272
[startup+102.313 s]
/proc/loadavg: 1.09 1.01 1.00 2/95 23958
/proc/meminfo: memFree=1358360/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=101.55
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 10146 9 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765824 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 32272
[startup+162.318 s]
/proc/loadavg: 1.15 1.04 1.01 2/95 24146
/proc/meminfo: memFree=1358608/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=161.56
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 16147 9 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765824 134528691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 32272
Solver just ended. Dumping a history of the last processes samples
[startup+179.217 s]
/proc/loadavg: 1.11 1.04 1.01 2/95 24147
/proc/meminfo: memFree=1358892/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=178.46
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 17836 10 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765824 134528721 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 179.23
Current children cumulated vsize (KiB) 32272
[startup+192.016 s]
/proc/loadavg: 1.09 1.04 1.00 2/95 24148
/proc/meminfo: memFree=1358972/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=191.23
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 19112 11 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765824 134528784 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 192
Current children cumulated vsize (KiB) 32272
[startup+198.415 s]
/proc/loadavg: 1.08 1.03 1.00 2/95 24149
/proc/meminfo: memFree=1358972/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=197.63
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 19752 11 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765824 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 198.4
Current children cumulated vsize (KiB) 32272
[startup+201.615 s]
/proc/loadavg: 1.08 1.03 1.00 2/95 24150
/proc/meminfo: memFree=1358972/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=200.83
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 20072 11 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765536 134532672 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 201.6
Current children cumulated vsize (KiB) 32272
[startup+202.415 s]
/proc/loadavg: 1.08 1.03 1.00 2/95 24150
/proc/meminfo: memFree=1358972/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=201.63
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 20152 11 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765824 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 202.4
Current children cumulated vsize (KiB) 32272
[startup+202.815 s]
/proc/loadavg: 1.08 1.03 1.00 2/95 24150
/proc/meminfo: memFree=1358972/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=202.03
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 20192 11 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765536 134532590 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 202.8
Current children cumulated vsize (KiB) 32272
[startup+203.215 s]
/proc/loadavg: 1.08 1.03 1.00 2/95 24150
/proc/meminfo: memFree=1358972/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=202.43
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 20232 11 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765824 134529148 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 203.2
Current children cumulated vsize (KiB) 32272
Child status: 20
Real time (s): 203.291
CPU time (s): 203.27
CPU user time (s): 203.13
CPU system time (s): 0.14
CPU usage (%): 99.9897
Max. virtual memory (cumulated for all children) (KiB): 32272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 203.13
system time used= 0.14
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12128
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= 1015
runsolver used 0.03 second user time and 0.01 second system time
The end
Begin job on tipi16 at 2009-05-16 19:42:56
IDJOB=1820998
IDBENCH=70800
IDSOLVER=657
FILE ID=tipi16/1820998-1242495776
PBS_JOBID=
Free space on /tmp= 5005 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner064.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820998-1242495776/watcher-1820998-1242495776 -o /tmp/evaluation-result-1820998-1242495776/solver-1820998-1242495776 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820998-1242495776.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1a0b22841159d2c84fdcb857229ffa08
RANDOM SEED= 577789693
Linux tipi16 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.457
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.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
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.457
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.78
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
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: 1390284 kB
Buffers: 36076 kB
Cached: 568824 kB
SwapCached: 5940 kB
Active: 70388 kB
Inactive: 544312 kB
HighTotal: 1178688 kB
HighFree: 647160 kB
LowTotal: 895776 kB
LowFree: 743124 kB
SwapTotal: 1959888 kB
SwapFree: 1948616 kB
Dirty: 2900 kB
Writeback: 0 kB
AnonPages: 9428 kB
Mapped: 3368 kB
Slab: 61352 kB
PageTables: 380 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90760 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 5005 MiB
End job on tipi16 at 2009-05-16 19:46:20