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.00/0.80 c | 0 | 42312 121394 | -- 0 -- -- | -- | -30835/-49282
0.00/0.80 c ==============================================================================
0.00/0.80 c Result : #vars: 9180 #clauses: 42312 #literals: 121394
0.00/0.80 c CPU time: 0.772882 s
0.00/0.80 c ==============================================================================
0.00/0.84 c This is MiniSat 2.0 beta
0.00/0.84 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.84 c ============================[ Problem Statistics ]=============================
0.00/0.84 c | |
0.00/0.84 c | Number of variables: 9180 |
0.00/0.84 c | Number of clauses: 42312 |
0.00/0.87 c | Parsing time: 0.02 s |
0.00/0.87 c ============================[ Search Statistics ]==============================
0.00/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.87 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.87 c ===============================================================================
0.00/0.87 c | 0 | 9180 42312 121394 | 14104 0 nan | 0.000 % |
0.00/0.89 c | 101 | 9177 42312 121394 | 14104 98 13 | 1.068 % |
0.83/0.91 c | 203 | 9177 42312 121394 | 14104 200 37 | 1.072 % |
0.83/0.95 c | 303 | 8902 40956 117261 | 14104 284 30 | 3.660 % |
0.83/0.96 c | 413 | 8902 40956 117261 | 14104 394 29 | 3.660 % |
0.83/0.98 c | 513 | 8729 40122 114772 | 14104 477 25 | 6.438 % |
0.83/1.01 c | 624 | 8728 40122 114772 | 14104 588 31 | 6.438 % |
0.83/1.02 c | 746 | 8728 40122 114772 | 14104 710 30 | 6.438 % |
0.83/1.03 c | 846 | 8728 40122 114772 | 14104 810 28 | 6.438 % |
0.83/1.04 c | 959 | 8589 39413 112648 | 14104 920 27 | 6.438 % |
0.83/1.08 c | 1080 | 8589 39413 112648 | 14104 1041 30 | 6.438 % |
1.08/1.10 c | 1214 | 8589 39413 112648 | 14104 1174 28 | 6.492 % |
1.08/1.13 c | 1316 | 8583 39383 112563 | 14104 1275 29 | 6.505 % |
1.08/1.16 c | 1426 | 8583 39383 112563 | 14104 1385 32 | 6.503 % |
1.08/1.17 c | 1551 | 8583 39383 112563 | 14104 1510 30 | 6.503 % |
1.17/1.21 c | 1684 | 8583 39383 112563 | 14104 1643 32 | 6.503 % |
1.17/1.24 c | 1830 | 8520 39378 112548 | 14104 1767 30 | 12.211 % |
1.17/1.26 c | 1930 | 8517 39378 112548 | 14104 1864 30 | 12.854 % |
1.17/1.26 c | 2041 | 8517 39378 112548 | 14104 1975 29 | 12.854 % |
1.17/1.29 c | 2163 | 8517 39378 112548 | 14104 2097 28 | 12.854 % |
1.27/1.33 c | 2296 | 7998 36553 104140 | 14104 2186 29 | 12.919 % |
1.27/1.34 c | 2442 | 7998 36553 104140 | 14104 2332 28 | 12.919 % |
1.27/1.35 c | 2602 | 7998 36553 104140 | 14104 2492 28 | 12.919 % |
1.27/1.37 c | 2702 | 7998 36553 104140 | 14104 2592 29 | 12.919 % |
1.27/1.39 c | 2814 | 7998 36553 104140 | 14104 2704 29 | 12.919 % |
1.27/1.40 c | 2938 | 7998 36553 104140 | 14104 2828 28 | 12.919 % |
1.37/1.41 c | 3071 | 7994 36526 104059 | 14104 2961 28 | 12.919 % |
1.37/1.43 c | 3218 | 7943 36526 104059 | 14104 3086 27 | 15.174 % |
1.37/1.45 c | 3380 | 7856 36526 104059 | 14104 3239 26 | 15.676 % |
1.37/1.47 c | 3557 | 7850 36526 104059 | 14104 3414 26 | 16.732 % |
1.37/1.48 c | 3657 | 7850 36526 104059 | 14104 3514 26 | 16.732 % |
1.47/1.50 c | 3767 | 7644 34699 98682 | 14104 3516 27 | 16.732 % |
1.47/1.51 c | 3889 | 7644 34699 98682 | 14104 3638 27 | 16.732 % |
1.47/1.54 c | 4026 | 7644 34699 98682 | 14104 3775 27 | 16.732 % |
1.47/1.56 c | 4172 | 7644 34699 98682 | 14104 3921 27 | 16.732 % |
1.47/1.58 c | 4332 | 7644 34699 98682 | 14104 4081 27 | 16.735 % |
1.57/1.63 c | 4509 | 7644 34699 98682 | 14104 4258 27 | 16.732 % |
1.57/1.68 c | 4702 | 7644 34699 98682 | 14104 4451 28 | 16.732 % |
1.57/1.69 c | 4805 | 7644 34699 98682 | 14104 4554 28 | 16.732 % |
1.67/1.70 c | 4917 | 7644 34699 98682 | 14104 4666 27 | 16.732 % |
1.67/1.73 c | 5038 | 7644 34699 98682 | 14104 4787 27 | 16.732 % |
1.67/1.78 c | 5171 | 7597 34498 98069 | 14104 4917 28 | 17.723 % |
1.67/1.80 c | 5318 | 7597 34498 98069 | 14104 5064 28 | 17.723 % |
1.77/1.81 c | 5479 | 7597 34498 98069 | 14104 5225 28 | 17.726 % |
1.77/1.86 c | 5655 | 7597 34498 98069 | 14104 5401 29 | 17.723 % |
1.77/1.88 c | 5848 | 7597 34498 98069 | 14104 5594 29 | 17.723 % |
1.87/1.93 c | 6060 | 7597 34498 98069 | 14104 5806 30 | 17.723 % |
1.87/1.95 c | 6160 | 7548 34308 97499 | 14104 5892 30 | 19.412 % |
1.87/1.97 c | 6271 | 7541 34308 97499 | 14104 6003 29 | 19.412 % |
1.87/1.97 c | 6393 | 7541 34308 97499 | 14104 6125 29 | 19.412 % |
1.87/1.99 c | 6526 | 7541 34308 97499 | 14104 6258 29 | 19.412 % |
1.97/2.03 c | 6673 | 7541 34308 97499 | 14104 6405 29 | 19.412 % |
1.97/2.05 c | 6833 | 7537 34308 97499 | 14104 6563 29 | 20.664 % |
2.07/2.12 c | 7010 | 7537 34308 97499 | 14104 6740 30 | 20.666 % |
2.07/2.17 c | 7204 | 7073 32467 92021 | 14104 6819 30 | 24.488 % |
2.17/2.24 c | 7416 | 7073 32467 92021 | 14104 7031 32 | 24.488 % |
2.17/2.26 c | 7662 | 7073 32467 92021 | 14104 7277 32 | 24.488 % |
2.17/2.28 c | 7763 | 7073 32467 92021 | 14104 7378 32 | 24.488 % |
2.17/2.29 c | 7873 | 7073 32467 92021 | 14104 7488 32 | 24.488 % |
2.17/2.30 c | 7996 | 7073 32467 92021 | 14104 7611 31 | 24.488 % |
2.27/2.31 c | 8130 | 7073 32467 92021 | 14104 7745 31 | 24.490 % |
2.27/2.32 c | 8276 | 7073 32467 92021 | 14104 7891 31 | 24.488 % |
2.27/2.35 c | 8437 | 7073 32467 92021 | 14104 8052 31 | 24.488 % |
2.27/2.38 c | 8614 | 6931 31300 88562 | 14104 8210 31 | 24.597 % |
2.37/2.41 c | 8811 | 6931 31300 88562 | 14104 8407 31 | 24.597 % |
2.37/2.46 c | 9023 | 6931 31300 88562 | 14104 8619 32 | 24.597 % |
2.37/2.49 c | 9256 | 6930 31300 88562 | 14104 8851 32 | 24.644 % |
2.57/2.61 c | 9516 | 6930 31300 88562 | 14104 9111 33 | 24.641 % |
2.57/2.64 c | 9616 | 6926 31300 88562 | 14104 9205 33 | 25.251 % |
2.57/2.66 c | 9728 | 6917 31300 88562 | 14104 9315 33 | 25.436 % |
2.57/2.69 c | 9849 | 6800 30921 87419 | 14104 9386 33 | 30.708 % |
2.67/2.70 c | 9982 | 6800 30921 87419 | 14104 9519 33 | 30.708 % |
2.67/2.72 c | 10128 | 6800 30921 87419 | 2147483647 9665 33 | 30.708 % |
2.67/2.73 c | 10289 | 6800 30921 87419 | 2147483647 9826 33 | 30.708 % |
2.67/2.75 c | 10465 | 6800 30921 87419 | 2147483647 10002 33 | 30.708 % |
2.77/2.81 c | 10658 | 6800 30921 87419 | 2147483647 10195 33 | 30.708 % |
2.77/2.87 c | 10871 | 6800 30921 87419 | 2147483647 10408 34 | 30.708 % |
2.77/2.89 c | 11105 | 6800 30921 87419 | 2147483647 10642 33 | 30.710 % |
2.87/2.95 c | 11361 | 6800 30921 87419 | 2147483647 10898 34 | 30.709 % |
2.87/2.98 c | 11643 | 6800 30921 87419 | 2147483647 11180 34 | 30.710 % |
2.87/2.98 c | 11743 | 6800 30921 87419 | 2147483647 11280 34 | 30.711 % |
2.87/2.99 c | 11855 | 6800 30921 87419 | 2147483647 11392 33 | 30.708 % |
2.97/3.05 c | 11976 | 6800 30921 87419 | 2147483647 11513 34 | 30.708 % |
2.97/3.06 c | 12110 | 6800 30921 87419 | 2147483647 11647 34 | 30.708 % |
3.07/3.10 c | 12256 | 6361 28689 80746 | 2147483647 11744 34 | 30.708 % |
3.07/3.12 c | 12420 | 6361 28689 80746 | 2147483647 11908 34 | 30.708 % |
3.07/3.14 c | 12597 | 6361 28689 80746 | 2147483647 12085 34 | 30.708 % |
3.17/3.23 c | 12791 | 6361 28689 80746 | 2147483647 12279 35 | 30.708 % |
3.17/3.25 c | 13006 | 6361 28689 80746 | 2147483647 12494 34 | 30.708 % |
3.27/3.32 c | 13239 | 6361 28689 80746 | 2147483647 12727 35 | 30.708 % |
3.27/3.35 c | 13495 | 6361 28689 80746 | 2147483647 12983 35 | 30.710 % |
3.37/3.41 c | 13776 | 6361 28689 80746 | 2147483647 13264 35 | 30.708 % |
3.37/3.46 c | 14087 | 6361 28689 80746 | 2147483647 13575 35 | 30.708 % |
3.37/3.49 c | 14188 | 6361 28689 80746 | 2147483647 13676 35 | 30.708 % |
3.47/3.51 c | 14298 | 6361 28689 80746 | 2147483647 13786 35 | 30.708 % |
3.47/3.53 c | 14419 | 6361 28689 80746 | 2147483647 13907 35 | 30.708 % |
3.47/3.54 c | 14552 | 6361 28689 80746 | 2147483647 14040 34 | 30.708 % |
3.47/3.59 c | 14698 | 6361 28689 80746 | 2147483647 14186 35 | 30.708 % |
3.56/3.62 c | 14858 | 6361 28689 80746 | 2147483647 14346 35 | 30.708 % |
3.56/3.67 c | 15037 | 6361 28689 80746 | 2147483647 14525 35 | 30.710 % |
3.66/3.70 c | 15230 | 6168 28480 80118 | 2147483647 14684 35 | 33.420 % |
3.66/3.77 c | 15444 | 6167 28480 80118 | 2147483647 14896 35 | 34.172 % |
3.76/3.82 c | 15677 | 6167 28480 80118 | 2147483647 15129 35 | 34.172 % |
3.76/3.87 c | 15933 | 6167 28480 80118 | 2147483647 15385 35 | 34.172 % |
3.86/3.98 c | 16214 | 6167 28480 80118 | 2147483647 15666 35 | 34.172 % |
3.96/4.05 c | 16524 | 6164 28480 80118 | 2147483647 15972 35 | 34.379 % |
4.06/4.18 c | 16863 | 6164 28480 80118 | 2147483647 16311 37 | 34.379 % |
4.06/4.20 c | 16964 | 6164 28480 80118 | 2147483647 16412 37 | 34.379 % |
4.17/4.22 c | 17077 | 6024 27079 75941 | 2147483647 16363 37 | 34.379 % |
4.17/4.24 c | 17198 | 5967 27079 75941 | 2147483647 16471 37 | 36.057 % |
4.17/4.26 c | 17332 | 5967 27079 75941 | 2147483647 16605 37 | 36.057 % |
4.27/4.31 c | 17478 | 5967 27079 75941 | 2147483647 16751 37 | 36.057 % |
4.27/4.32 c | 17640 | 5967 27079 75941 | 2147483647 16913 37 | 36.057 % |
4.27/4.34 c | 17816 | 5967 27079 75941 | 2147483647 17089 37 | 36.057 % |
4.37/4.41 c | 18010 | 5967 27079 75941 | 2147483647 17283 38 | 36.057 % |
4.37/4.47 c | 18222 | 5961 27079 75941 | 2147483647 17488 38 | 44.553 % |
4.37/4.49 c | 18455 | 5961 27079 75941 | 2147483647 17721 38 | 44.553 % |
4.47/4.56 c | 18715 | 5961 27079 75941 | 2147483647 17981 38 | 44.553 % |
4.56/4.69 c | 18998 | 5961 27079 75941 | 2147483647 18264 38 | 44.554 % |
4.66/4.74 c | 19310 | 5961 27079 75941 | 2147483647 18576 38 | 44.553 % |
4.86/5.03 c | 19649 | 5961 27079 75941 | 2147483647 18915 38 | 44.553 % |
4.86/5.08 c | 20024 | 5961 27079 75941 | 2147483647 19290 38 | 44.553 % |
4.95/5.12 c | 20124 | 5090 22909 63452 | 2147483647 19003 38 | 44.553 % |
4.95/5.13 c | 20234 | 5090 22909 63452 | 2147483647 19113 38 | 44.553 % |
4.95/5.16 c | 20355 | 5090 22909 63452 | 2147483647 19234 38 | 44.553 % |
4.95/5.18 c | 20489 | 5090 22909 63452 | 2147483647 19368 38 | 44.553 % |
4.95/5.19 c | 20635 | 5090 22909 63452 | 2147483647 19514 38 | 44.553 % |
5.05/5.24 c | 20797 | 5090 22909 63452 | 2147483647 19676 38 | 44.553 % |
5.05/5.28 c | 20974 | 5090 22909 63452 | 2147483647 19853 38 | 44.553 % |
5.15/5.30 c | 21169 | 5090 22909 63452 | 2147483647 20048 38 | 44.553 % |
5.15/5.36 c | 21382 | 5090 22909 63452 | 2147483647 20261 38 | 44.553 % |
5.25/5.41 c | 21616 | 5086 22909 63452 | 2147483647 20493 38 | 44.815 % |
5.25/5.47 c | 21875 | 5086 22909 63452 | 2147483647 20752 38 | 44.815 % |
5.43/5.72 c | 22159 | 5086 22909 63452 | 2147483647 21036 38 | 44.815 % |
5.43/5.78 c | 22470 | 5086 22909 63452 | 2147483647 21347 37 | 44.815 % |
5.53/5.86 c | 22809 | 5086 22909 63452 | 2147483647 21686 38 | 44.815 % |
5.63/5.93 c | 23181 | 5086 22909 63452 | 2147483647 22058 37 | 44.815 % |
5.73/6.03 c | 23590 | 5066 22802 63124 | 2147483647 22462 38 | 44.815 % |
5.77/6.12 c | 23690 | 5066 22802 63124 | 2147483647 22558 38 | 46.101 % |
5.81/6.22 c | 23803 | 5046 22802 63124 | 2147483647 22665 38 | 46.461 % |
5.84/6.39 c | 23924 | 5021 22802 63124 | 2147483647 22786 37 | 46.460 % |
5.91/6.42 c | 24057 | 5021 22802 63124 | 2147483647 22919 38 | 46.461 % |
5.91/6.46 c | 24206 | 4963 22802 63124 | 2147483647 23058 37 | 47.539 % |
6.01/6.52 c | 24366 | 4963 22802 63124 | 2147483647 23218 38 | 47.538 % |
6.01/6.55 c | 24543 | 4963 22802 63124 | 2147483647 23395 38 | 47.538 % |
6.11/6.61 c | 24736 | 4963 22802 63124 | 2147483647 23588 38 | 47.538 % |
6.11/6.65 c | 24948 | 4963 22802 63124 | 2147483647 23800 38 | 47.538 % |
6.11/6.68 c | 25181 | 4963 22802 63124 | 2147483647 24033 38 | 47.538 % |
6.21/6.77 c | 25437 | 4963 22802 63124 | 2147483647 24289 38 | 47.538 % |
6.30/6.81 c | 25719 | 4963 22802 63124 | 2147483647 24571 38 | 47.538 % |
6.40/6.92 c | 26028 | 4963 22802 63124 | 2147483647 24880 39 | 47.539 % |
6.50/7.06 c | 26368 | 4963 22802 63124 | 2147483647 25220 39 | 47.538 % |
6.60/7.14 c | 26741 | 4963 22802 63124 | 2147483647 25593 39 | 47.538 % |
6.70/7.23 c | 27150 | 4963 22802 63124 | 2147483647 26002 39 | 47.538 % |
6.80/7.37 c | 27599 | 4816 21761 59956 | 2147483647 26323 39 | 47.538 % |
6.90/7.40 c | 27703 | 4816 21761 59956 | 2147483647 26427 39 | 47.539 % |
6.90/7.46 c | 27814 | 4816 21761 59956 | 2147483647 26538 39 | 47.538 % |
6.90/7.48 c | 27935 | 4816 21761 59956 | 2147483647 26659 39 | 47.540 % |
7.00/7.52 c | 28068 | 4816 21761 59956 | 2147483647 26792 39 | 47.539 % |
7.00/7.58 c | 28215 | 4816 21761 59956 | 2147483647 26939 39 | 47.538 % |
7.10/7.60 c | 28376 | 4816 21761 59956 | 2147483647 27100 39 | 47.538 % |
7.10/7.65 c | 28552 | 4816 21761 59956 | 2147483647 27276 39 | 47.538 % |
7.20/7.72 c | 28746 | 4782 21761 59956 | 2147483647 27468 39 | 48.322 % |
7.20/7.79 c | 28958 | 4782 21761 59956 | 2147483647 27680 40 | 48.323 % |
7.30/7.84 c | 29192 | 4782 21761 59956 | 2147483647 27914 39 | 48.322 % |
7.40/7.92 c | 29448 | 4782 21761 59956 | 2147483647 28170 40 | 48.322 % |
7.40/7.98 c | 29730 | 4782 21761 59956 | 2147483647 28452 40 | 48.323 % |
7.50/8.09 c | 30040 | 4782 21761 59956 | 2147483647 28762 40 | 48.324 % |
7.70/8.24 c | 30380 | 4781 21761 59956 | 2147483647 29101 40 | 48.834 % |
7.78/8.33 c | 30752 | 4776 21761 59956 | 2147483647 29473 41 | 48.834 % |
7.78/8.38 c | 31161 | 4776 21761 59956 | 2147483647 29882 40 | 48.834 % |
7.98/8.51 c | 31612 | 4776 21761 59956 | 2147483647 30333 41 | 48.834 % |
7.98/8.58 c | 32107 | 4697 21236 58285 | 2147483647 30712 41 | 48.834 % |
8.08/8.60 c | 32207 | 4697 21236 58285 | 2147483647 30812 41 | 48.835 % |
8.08/8.62 c | 32318 | 4697 21236 58285 | 2147483647 30923 41 | 48.834 % |
8.08/8.65 c | 32441 | 4697 21236 58285 | 2147483647 31046 41 | 48.835 % |
8.08/8.68 c | 32575 | 4697 21236 58285 | 2147483647 31180 41 | 48.835 % |
8.18/8.71 c | 32721 | 4695 21236 58285 | 2147483647 31325 41 | 48.987 % |
8.18/8.73 c | 32881 | 4695 21236 58285 | 2147483647 31485 41 | 48.987 % |
8.18/8.76 c | 33057 | 4695 21236 58285 | 2147483647 31660 41 | 48.998 % |
8.29/8.84 c | 33251 | 4694 21236 58285 | 2147483647 31854 41 | 48.998 % |
8.29/8.88 c | 33463 | 4694 21236 58285 | 2147483647 32066 41 | 48.998 % |
8.39/8.97 c | 33696 | 4694 21236 58285 | 2147483647 32299 41 | 48.998 % |
8.48/9.00 c | 33952 | 4694 21236 58285 | 2147483647 32555 41 | 48.998 % |
8.48/9.09 c | 34235 | 4694 21236 58285 | 2147483647 32838 41 | 48.998 % |
8.58/9.14 c | 34545 | 4694 21236 58285 | 2147483647 33148 41 | 48.998 % |
8.68/9.23 c | 34884 | 4694 21236 58285 | 2147483647 33487 41 | 48.999 % |
8.78/9.30 c | 35257 | 4694 21236 58285 | 2147483647 33860 41 | 48.998 % |
8.78/9.37 c | 35667 | 4694 21236 58285 | 2147483647 34270 40 | 48.998 % |
8.88/9.48 c | 36117 | 4694 21236 58285 | 2147483647 34720 41 | 48.999 % |
8.98/9.57 c | 36610 | 4694 21236 58285 | 2147483647 35213 40 | 48.998 % |
9.18/9.73 c | 37153 | 4694 21236 58285 | 2147483647 35756 41 | 48.998 % |
9.18/9.75 c | 37253 | 4694 21236 58285 | 2147483647 35856 41 | 48.998 % |
9.18/9.79 c | 37363 | 4694 21236 58285 | 2147483647 35966 41 | 48.998 % |
9.28/9.81 c | 37484 | 4694 21236 58285 | 2147483647 36087 41 | 48.998 % |
9.28/9.87 c | 37623 | 4694 21236 58285 | 2147483647 36226 41 | 48.998 % |
9.39/9.90 c | 37770 | 4694 21236 58285 | 2147483647 36373 41 | 48.998 % |
9.39/9.95 c | 37930 | 4694 21236 58285 | 2147483647 36533 41 | 48.998 % |
9.39/9.99 c | 38106 | 4694 21236 58285 | 2147483647 36709 41 | 48.998 % |
9.49/10.03 c | 38299 | 4694 21236 58285 | 2147483647 36902 41 | 48.998 % |
9.49/10.07 c | 38512 | 4694 21236 58285 | 2147483647 37115 41 | 48.998 % |
9.59/10.20 c | 38746 | 4694 21236 58285 | 2147483647 37349 42 | 48.998 % |
9.69/10.24 c | 39003 | 4694 21236 58285 | 2147483647 37606 42 | 48.998 % |
9.79/10.38 c | 39285 | 4694 21236 58285 | 2147483647 37888 44 | 48.998 % |
9.89/10.44 c | 39595 | 4694 21236 58285 | 2147483647 38198 44 | 48.998 % |
10.09/10.64 c | 39934 | 4682 21178 58076 | 2147483647 38503 46 | 48.998 % |
10.09/10.69 c | 40307 | 4682 21178 58076 | 2147483647 38876 45 | 48.998 % |
10.29/10.87 c | 40718 | 4682 21178 58076 | 2147483647 39287 46 | 48.998 % |
10.39/10.98 c | 41169 | 4682 21178 58076 | 2147483647 39738 46 | 48.998 % |
10.59/11.18 c | 41662 | 4682 21178 58076 | 2147483647 40231 47 | 48.999 % |
10.69/11.26 c | 42205 | 4682 21178 58076 | 2147483647 40774 47 | 48.998 % |
10.79/11.35 c | 42802 | 4682 21178 58076 | 2147483647 41371 47 | 48.999 % |
10.79/11.36 c | 42902 | 4682 21178 58076 | 2147483647 41471 47 | 48.998 % |
10.89/11.43 c | 43013 | 4682 21178 58076 | 2147483647 41582 47 | 48.998 % |
10.99/11.53 c | 43136 | 4682 21178 58076 | 2147483647 41703 47 | 49.172 % |
10.99/11.58 c | 43270 | 4677 21178 58076 | 2147483647 41834 47 | 49.248 % |
11.09/11.65 c | 43416 | 4677 21178 58076 | 2147483647 41980 48 | 49.249 % |
11.09/11.68 c | 43576 | 4677 21178 58076 | 2147483647 42140 48 | 49.248 % |
11.19/11.79 c | 43753 | 4676 21178 58076 | 2147483647 42316 48 | 49.336 % |
11.29/11.86 c | 43946 | 4676 21178 58076 | 2147483647 42509 48 | 49.336 % |
11.29/11.88 c | 44158 | 4676 21178 58076 | 2147483647 42721 48 | 49.336 % |
11.49/12.01 c | 44392 | 4676 21178 58076 | 2147483647 42955 49 | 49.336 % |
11.49/12.05 c | 44648 | 4676 21178 58076 | 2147483647 43211 49 | 49.338 % |
11.59/12.17 c | 44930 | 4676 21178 58076 | 2147483647 43493 50 | 49.336 % |
11.69/12.24 c | 45240 | 4676 21178 58076 | 2147483647 43803 50 | 49.336 % |
11.89/12.48 c | 45579 | 4676 21178 58076 | 2147483647 44142 51 | 49.336 % |
11.99/12.56 c | 45951 | 4664 21178 58076 | 2147483647 44508 51 | 49.499 % |
12.19/12.79 c | 46360 | 4664 21178 58076 | 2147483647 44917 52 | 49.499 % |
12.29/12.90 c | 46809 | 4664 21178 58076 | 2147483647 45366 52 | 49.500 % |
12.59/13.11 c | 47302 | 4659 21178 58076 | 2147483647 45857 52 | 49.586 % |
12.80/13.33 c | 47844 | 4659 21178 58076 | 2147483647 46399 53 | 49.586 % |
12.99/13.52 c | 48441 | 4659 21178 58076 | 2147483647 46996 53 | 49.586 % |
13.19/13.70 c | 49098 | 4659 21178 58076 | 2147483647 47653 52 | 49.586 % |
13.19/13.76 c | 49198 | 4659 21178 58076 | 2147483647 47753 52 | 49.586 % |
13.19/13.78 c | 49308 | 4659 21178 58076 | 2147483647 47863 52 | 49.586 % |
13.28/13.85 c | 49430 | 4659 21178 58076 | 2147483647 47985 52 | 49.586 % |
13.28/13.87 c | 49563 | 4659 21178 58076 | 2147483647 48118 52 | 49.586 % |
13.38/13.96 c | 49709 | 4659 21178 58076 | 2147483647 48264 53 | 49.586 % |
13.38/14.00 c | 49871 | 4659 21178 58076 | 2147483647 48426 53 | 49.586 % |
13.58/14.10 c | 50047 | 4659 21178 58076 | 2147483647 48602 53 | 49.586 % |
13.68/14.29 c | 50240 | 4627 20925 57313 | 2147483647 48730 53 | 49.782 % |
13.79/14.36 c | 50452 | 4627 20925 57313 | 2147483647 48942 53 | 49.782 % |
13.89/14.44 c | 50686 | 4627 20925 57313 | 2147483647 49176 53 | 49.782 % |
13.98/14.54 c | 50946 | 4627 20925 57313 | 2147483647 49436 53 | 49.782 % |
14.08/14.64 c | 51227 | 4622 20925 57313 | 2147483647 49714 53 | 49.858 % |
14.28/14.81 c | 51536 | 4622 20925 57313 | 2147483647 50023 53 | 49.859 % |
14.38/14.94 c | 51875 | 4612 20925 57313 | 2147483647 50358 53 | 49.989 % |
14.59/15.18 c | 52247 | 4612 20925 57313 | 2147483647 50730 55 | 49.989 % |
14.69/15.27 c | 52656 | 4612 20925 57313 | 2147483647 51139 54 | 49.989 % |
14.99/15.55 c | 53110 | 4612 20925 57313 | 2147483647 51593 56 | 49.989 % |
15.09/15.65 c | 53604 | 4612 20925 57313 | 2147483647 52087 55 | 49.989 % |
15.39/15.92 c | 54146 | 4611 20925 57313 | 2147483647 52627 56 | 50.022 % |
15.49/16.04 c | 54742 | 4609 20925 57313 | 2147483647 53223 56 | 50.022 % |
15.89/16.50 c | 55397 | 4609 20925 57313 | 2147483647 53878 58 | 50.022 % |
16.09/16.61 c | 56118 | 4609 20925 57313 | 2147483647 54599 58 | 50.022 % |
16.09/16.64 c | 56218 | 4609 20925 57313 | 2147483647 54699 58 | 50.022 % |
16.19/16.70 c | 56329 | 4609 20925 57313 | 2147483647 54810 58 | 50.022 % |
16.19/16.72 c | 56450 | 4609 20925 57313 | 2147483647 54931 58 | 50.022 % |
16.29/16.83 c | 56586 | 4609 20925 57313 | 2147483647 55067 58 | 50.022 % |
16.38/16.93 c | 56732 | 4609 20925 57313 | 2147483647 55213 58 | 50.022 % |
16.38/16.98 c | 56892 | 4609 20925 57313 | 2147483647 55373 58 | 50.022 % |
16.48/17.04 c | 57069 | 4609 20925 57313 | 2147483647 55550 58 | 50.022 % |
16.58/17.10 c | 57262 | 4609 20925 57313 | 2147483647 55743 58 | 50.022 % |
16.68/17.20 c | 57474 | 4609 20925 57313 | 2147483647 55955 58 | 50.022 % |
16.68/17.27 c | 57707 | 4609 20925 57313 | 2147483647 56188 58 | 50.022 % |
16.78/17.36 c | 57964 | 4609 20925 57313 | 2147483647 56445 58 | 50.022 % |
16.88/17.49 c | 58245 | 4609 20925 57313 | 2147483647 56726 58 | 50.022 % |
17.09/17.61 c | 58554 | 4609 20925 57313 | 2147483647 57035 58 | 50.022 % |
17.19/17.77 c | 58893 | 4609 20925 57313 | 2147483647 57374 58 | 50.022 % |
17.38/17.90 c | 59265 | 4609 20925 57313 | 2147483647 57746 58 | 50.022 % |
17.48/18.03 c | 59674 | 4609 20925 57313 | 2147483647 58155 58 | 50.022 % |
17.69/18.25 c | 60123 | 4609 20925 57313 | 2147483647 58604 58 | 50.022 % |
17.79/18.39 c | 60617 | 4609 20925 57313 | 2147483647 59098 58 | 50.022 % |
18.19/18.74 c | 61161 | 4609 20925 57313 | 2147483647 59642 60 | 50.022 % |
18.39/18.90 c | 61757 | 4609 20925 57313 | 2147483647 60238 60 | 50.022 % |
18.79/19.33 c | 62412 | 4609 20925 57313 | 2147483647 60893 61 | 50.022 % |
18.99/19.58 c | 63134 | 4609 20925 57313 | 2147483647 61615 61 | 50.023 % |
19.59/20.11 c | 63926 | 4609 20925 57313 | 2147483647 62407 63 | 50.022 % |
19.59/20.14 c | 64026 | 4609 20925 57313 | 2147483647 62507 62 | 50.023 % |
19.59/20.20 c | 64136 | 4609 20925 57313 | 2147483647 62617 63 | 50.022 % |
19.69/20.24 c | 64259 | 4609 20925 57313 | 2147483647 62740 63 | 50.022 % |
19.78/20.30 c | 64392 | 4609 20925 57313 | 2147483647 62873 62 | 50.022 % |
19.78/20.39 c | 64538 | 4609 20925 57313 | 2147483647 63019 62 | 50.022 % |
19.88/20.45 c | 64700 | 4609 20925 57313 | 2147483647 63181 62 | 50.022 % |
19.98/20.51 c | 64878 | 4609 20925 57313 | 2147483647 63359 62 | 50.022 % |
20.08/20.70 c | 65072 | 4609 20925 57313 | 2147483647 63553 63 | 50.022 % |
20.28/20.86 c | 65285 | 4563 20708 56669 | 2147483647 63665 63 | 50.317 % |
20.48/21.06 c | 65518 | 4563 20708 56669 | 2147483647 63898 64 | 50.316 % |
20.68/21.27 c | 65774 | 4562 20708 56669 | 2147483647 64153 64 | 50.327 % |
20.78/21.38 c | 66055 | 4562 20708 56669 | 2147483647 64434 64 | 50.327 % |
20.98/21.54 c | 66365 | 4562 20708 56669 | 2147483647 64744 64 | 50.327 % |
21.08/21.69 c | 66705 | 4562 20708 56669 | 2147483647 65084 64 | 50.327 % |
21.27/21.80 c | 67077 | 4562 20708 56669 | 2147483647 65456 63 | 50.327 % |
21.48/22.03 c | 67486 | 4562 20708 56669 | 2147483647 65865 63 | 50.328 % |
21.58/22.19 c | 67935 | 4562 20708 56669 | 2147483647 66314 63 | 50.327 % |
21.87/22.41 c | 68431 | 4562 20708 56669 | 2147483647 66810 63 | 50.327 % |
22.07/22.62 c | 68973 | 4562 20708 56669 | 2147483647 67352 63 | 50.327 % |
22.37/22.90 c | 69569 | 4562 20708 56669 | 2147483647 67948 63 | 50.327 % |
22.59/23.17 c | 70224 | 4562 20708 56669 | 2147483647 68603 63 | 50.327 % |
23.08/23.60 c | 70946 | 4562 20708 56669 | 2147483647 69325 62 | 50.327 % |
23.48/24.02 c | 71738 | 4546 20708 56669 | 2147483647 70109 63 | 51.242 % |
23.68/24.26 c | 72609 | 4546 20708 56669 | 2147483647 70980 63 | 51.242 % |
23.78/24.35 c | 72710 | 4546 20708 56669 | 2147483647 71081 63 | 51.242 % |
23.78/24.38 c | 72825 | 4546 20708 56669 | 2147483647 71196 63 | 51.242 % |
23.88/24.41 c | 72946 | 4546 20708 56669 | 2147483647 71317 63 | 51.242 % |
23.88/24.45 c | 73079 | 4546 20708 56669 | 2147483647 71450 63 | 51.242 % |
23.98/24.57 c | 73225 | 4546 20708 56669 | 2147483647 71596 64 | 51.242 % |
24.08/24.64 c | 73385 | 4546 20708 56669 | 2147483647 71756 63 | 51.242 % |
24.18/24.75 c | 73561 | 4546 20708 56669 | 2147483647 71932 64 | 51.243 % |
24.38/24.90 c | 73754 | 4541 20708 56669 | 2147483647 72124 64 | 51.296 % |
24.48/25.04 c | 73966 | 4541 20708 56669 | 2147483647 72336 63 | 51.296 % |
24.58/25.19 c | 74201 | 4541 20708 56669 | 2147483647 72571 63 | 51.296 % |
24.78/25.31 c | 74457 | 4541 20708 56669 | 2147483647 72827 63 | 51.296 % |
24.88/25.49 c | 74739 | 4541 20708 56669 | 2147483647 73109 64 | 51.296 % |
24.97/25.59 c | 75051 | 4541 20708 56669 | 2147483647 73421 64 | 51.296 % |
25.27/25.82 c | 75391 | 4541 20708 56669 | 2147483647 73761 64 | 51.296 % |
25.37/25.96 c | 75763 | 4541 20708 56669 | 2147483647 74133 64 | 51.296 % |
25.57/26.19 c | 76174 | 4541 20708 56669 | 2147483647 74544 64 | 51.296 % |
25.77/26.36 c | 76623 | 4541 20708 56669 | 2147483647 74993 63 | 51.296 % |
26.07/26.67 c | 77118 | 4541 20708 56669 | 2147483647 75488 64 | 51.296 % |
26.27/26.85 c | 77660 | 4541 20708 56669 | 2147483647 76030 64 | 51.297 % |
26.57/27.15 c | 78257 | 4541 20708 56669 | 2147483647 76627 64 | 51.297 % |
26.77/27.38 c | 78913 | 4541 20708 56669 | 2147483647 77283 64 | 51.296 % |
27.28/27.82 c | 79633 | 4541 20708 56669 | 2147483647 78003 64 | 51.297 % |
27.67/28.27 c | 80425 | 4541 20708 56669 | 78372 78795 64 | 51.296 % |
28.16/28.79 c | 81296 | 4541 20708 56669 | 78372 79666 64 | 51.297 % |
28.86/29.43 c | 82257 | 4541 20708 56669 | 78372 80626 64 | 51.307 % |
28.86/29.48 c | 82357 | 4541 20708 56669 | 78372 80726 64 | 51.307 % |
28.96/29.52 c | 82467 | 4541 20708 56669 | 78372 80836 64 | 51.307 % |
29.06/29.63 c | 82589 | 4541 20708 56669 | 78372 80958 64 | 51.307 % |
29.06/29.70 c | 82723 | 4541 20708 56669 | 78372 81092 64 | 51.307 % |
29.16/29.75 c | 82869 | 4541 20708 56669 | 78372 81238 64 | 51.307 % |
29.26/29.88 c | 83029 | 4541 20708 56669 | 78372 81398 65 | 51.307 % |
29.46/30.00 c | 83205 | 4541 20708 56669 | 78372 81574 64 | 51.307 % |
29.56/30.11 c | 83401 | 4541 20708 56669 | 78372 81770 65 | 51.307 % |
29.56/30.16 c | 83613 | 4541 20708 56669 | 78372 81982 65 | 51.307 % |
29.75/30.30 c | 83848 | 4541 20708 56669 | 78372 82217 65 | 51.307 % |
29.75/30.37 c | 84105 | 4541 20708 56669 | 78372 82474 65 | 51.307 % |
29.85/30.47 c | 84390 | 4541 20708 56669 | 78372 82759 65 | 51.307 % |
29.95/30.57 c | 84701 | 4541 20708 56669 | 78372 83070 65 | 51.307 % |
30.26/30.80 c | 85041 | 4541 20708 56669 | 78372 83410 65 | 51.307 % |
30.55/31.12 c | 85413 | 4540 20708 56669 | 78372 70879 68 | 51.341 % |
30.75/31.35 c | 85822 | 4540 20708 56669 | 78372 71288 68 | 51.340 % |
30.85/31.49 c | 86271 | 4540 20708 56669 | 78372 71737 68 | 51.340 % |
31.25/31.83 c | 86766 | 4467 20212 55184 | 78372 71964 68 | 51.340 % |
31.45/32.03 c | 87311 | 4467 20212 55184 | 78372 72509 68 | 51.340 % |
31.65/32.27 c | 87908 | 4467 20212 55184 | 78372 73106 68 | 51.340 % |
32.15/32.78 c | 88564 | 4467 20212 55184 | 78372 73762 69 | 51.340 % |
32.85/33.42 c | 89287 | 4467 20212 55184 | 78372 74485 69 | 51.340 % |
33.25/33.87 c | 90080 | 4467 20212 55184 | 75198 75278 68 | 51.342 % |
33.65/34.28 c | 90951 | 4467 20212 55184 | 75198 76149 68 | 51.340 % |
34.25/34.87 c | 91909 | 4467 20212 55184 | 75198 77107 68 | 51.340 % |
34.75/35.33 c | 92963 | 4467 20212 55184 | 75198 78161 67 | 51.340 % |
34.85/35.44 c | 93063 | 4467 20212 55184 | 75198 78261 67 | 51.340 % |
34.95/35.50 c | 93173 | 4467 20212 55184 | 75198 78371 67 | 51.340 % |
35.05/35.60 c | 93295 | 4467 20212 55184 | 75198 78493 67 | 51.340 % |
35.05/35.66 c | 93428 | 4467 20212 55184 | 75198 78626 67 | 51.340 % |
35.25/35.80 c | 93574 | 4467 20212 55184 | 75198 78772 67 | 51.340 % |
35.25/35.87 c | 93734 | 4467 20212 55184 | 75198 78932 67 | 51.342 % |
35.35/35.95 c | 93910 | 4467 20212 55184 | 75198 79108 67 | 51.340 % |
35.45/36.05 c | 94106 | 4467 20212 55184 | 75198 79304 67 | 51.340 % |
35.55/36.15 c | 94319 | 4467 20212 55184 | 75198 79517 67 | 51.340 % |
35.75/36.32 c | 94553 | 4467 20212 55184 | 75198 79751 67 | 51.341 % |
35.85/36.45 c | 94810 | 4467 20212 55184 | 75198 80007 67 | 51.362 % |
36.05/36.69 c | 95092 | 4467 20212 55184 | 75198 68489 70 | 51.362 % |
36.25/36.86 c | 95401 | 4462 20212 55184 | 75198 68792 70 | 51.656 % |
36.55/37.11 c | 95744 | 4462 20212 55184 | 75198 69135 71 | 51.656 % |
36.55/37.18 c | 96117 | 4462 20212 55184 | 75198 69508 71 | 51.656 % |
36.85/37.49 c | 96526 | 4462 20212 55184 | 75198 69917 72 | 51.656 % |
37.25/37.87 c | 96976 | 4462 20212 55184 | 75198 70367 72 | 51.656 % |
37.55/38.17 c | 97469 | 4462 20212 55184 | 75198 70860 72 | 51.656 % |
37.85/38.46 c | 98011 | 4462 20212 55184 | 75198 71402 72 | 51.656 % |
38.35/38.92 c | 98607 | 4462 20212 55184 | 75198 71998 73 | 51.656 % |
38.54/39.12 c | 99262 | 4462 20212 55184 | 75198 72653 72 | 51.656 % |
39.05/39.65 c | 99982 | 4462 20212 55184 | 75198 73373 73 | 51.656 % |
39.44/40.00 c | 100774 | 4462 20212 55184 | 73391 74165 72 | 51.656 % |
39.94/40.60 c | 101648 | 4462 20212 55184 | 73391 75039 73 | 51.656 % |
40.55/41.12 c | 102609 | 4462 20212 55184 | 73391 76000 73 | 51.656 % |
41.15/41.77 c | 103663 | 4462 20212 55184 | 73391 77054 73 | 51.657 % |
41.65/42.29 c | 104823 | 4462 20212 55184 | 73391 78214 72 | 51.656 % |
41.75/42.39 c | 104925 | 4462 20212 55184 | 73391 65228 67 | 51.657 % |
41.85/42.47 c | 105035 | 4462 20212 55184 | 73391 65338 68 | 51.656 % |
41.95/42.57 c | 105158 | 4461 20212 55184 | 73391 65460 67 | 52.538 % |
42.05/42.65 c | 105293 | 4461 20212 55184 | 73391 65595 68 | 52.538 % |
42.15/42.72 c | 105441 | 4461 20212 55184 | 73391 65743 67 | 52.538 % |
42.25/42.81 c | 105601 | 4461 20212 55184 | 73391 65903 67 | 52.538 % |
42.35/42.90 c | 105777 | 4461 20212 55184 | 73391 66079 67 | 52.538 % |
42.35/42.98 c | 105970 | 4461 20212 55184 | 73391 66272 67 | 52.538 % |
42.45/43.09 c | 106182 | 4461 20212 55184 | 73391 66484 67 | 52.539 % |
42.55/43.18 c | 106415 | 4461 20212 55184 | 73391 66717 67 | 52.540 % |
42.75/43.35 c | 106673 | 4461 20212 55184 | 73391 66975 67 | 52.538 % |
42.85/43.44 c | 106954 | 4461 20212 55184 | 73391 67256 67 | 52.538 % |
42.95/43.56 c | 107263 | 4461 20212 55184 | 73391 67565 67 | 52.538 % |
43.05/43.67 c | 107602 | 4461 20212 55184 | 73391 67904 67 | 52.538 % |
43.35/43.91 c | 107975 | 4461 20212 55184 | 73391 68277 67 | 52.538 % |
43.55/44.11 c | 108384 | 4461 20212 55184 | 73391 68686 67 | 52.539 % |
43.75/44.32 c | 108835 | 4461 20212 55184 | 73391 69137 67 | 52.538 % |
44.05/44.67 c | 109328 | 4461 20212 55184 | 73391 69630 67 | 52.539 % |
44.34/44.93 c | 109870 | 4461 20212 55184 | 73391 70172 67 | 52.538 % |
44.44/45.10 c | 110467 | 4461 20212 55184 | 70303 70769 67 | 52.539 % |
45.04/45.62 c | 111125 | 4461 20212 55184 | 70303 71427 67 | 52.539 % |
45.44/46.06 c | 111846 | 4461 20212 55184 | 70303 72148 67 | 52.538 % |
46.05/46.66 c | 112638 | 4357 19552 53276 | 70303 72729 67 | 52.538 % |
46.54/47.12 c | 113510 | 4357 19552 53276 | 70303 73601 67 | 52.538 % |
47.24/47.85 c | 114468 | 4357 19552 53276 | 70303 74559 67 | 52.538 % |
47.74/48.37 c | 115522 | 4357 19552 53276 | 70303 75613 66 | 52.538 % |
48.24/48.90 c | 116680 | 4352 19552 53276 | 70303 63387 61 | 52.723 % |
49.05/49.70 c | 117953 | 4352 19552 53276 | 70303 64660 66 | 52.723 % |
49.14/49.72 c | 118053 | 4352 19552 53276 | 70303 64760 66 | 52.723 % |
49.24/49.80 c | 118169 | 4352 19552 53276 | 70303 64876 66 | 52.723 % |
49.24/49.83 c | 118291 | 4352 19552 53276 | 70303 64998 66 | 52.723 % |
49.24/49.88 c | 118424 | 4352 19552 53276 | 70303 65131 67 | 52.723 % |
49.34/49.92 c | 118571 | 4352 19552 53276 | 70303 65278 67 | 52.723 % |
49.44/50.00 c | 118731 | 4352 19552 53276 | 70303 65438 67 | 52.724 % |
49.44/50.06 c | 118908 | 4352 19552 53276 | 70303 65615 67 | 52.723 % |
49.54/50.16 c | 119101 | 4352 19552 53276 | 70303 65808 67 | 52.724 % |
49.74/50.30 c | 119313 | 4352 19552 53276 | 70303 66020 67 | 52.723 % |
49.84/50.42 c | 119547 | 4352 19552 53276 | 70303 66254 67 | 52.723 % |
49.94/50.58 c | 119803 | 4352 19552 53276 | 70303 66510 68 | 52.723 % |
50.05/50.64 c | 120084 | 4352 19552 53276 | 66707 66791 67 | 52.724 % |
50.24/50.84 c | 120394 | 4352 19552 53276 | 66707 67101 68 | 52.723 % |
50.34/50.96 c | 120733 | 4352 19552 53276 | 66707 67440 68 | 52.723 % |
50.64/51.25 c | 121105 | 4352 19552 53276 | 66707 67812 69 | 52.724 % |
50.74/51.35 c | 121514 | 4352 19552 53276 | 66707 68221 68 | 52.724 % |
51.04/51.62 c | 121965 | 4352 19552 53276 | 66707 68672 69 | 52.724 % |
51.14/51.73 c | 122458 | 4352 19552 53276 | 66707 69165 69 | 52.724 % |
51.54/52.13 c | 123002 | 4352 19552 53276 | 66707 69709 71 | 52.723 % |
52.04/52.64 c | 123600 | 4352 19552 53276 | 66707 70307 71 | 52.725 % |
52.34/52.99 c | 124257 | 4352 19552 53276 | 66707 70964 70 | 52.723 % |
52.84/53.40 c | 124977 | 4352 19552 53276 | 66707 71684 70 | 52.723 % |
53.14/53.77 c | 125770 | 4352 19552 53276 | 66707 61421 70 | 52.723 % |
53.63/54.27 c | 126641 | 4352 19552 53276 | 66707 62292 69 | 52.723 % |
54.13/54.78 c | 127599 | 4352 19552 53276 | 66707 63250 69 | 52.723 % |
54.73/55.35 c | 128652 | 4352 19552 53276 | 66707 64303 68 | 52.724 % |
55.43/56.01 c | 129811 | 4352 19552 53276 | 66707 65462 67 | 52.723 % |
56.14/56.76 c | 131085 | 4352 19552 53276 | 65651 66736 67 | 52.723 % |
56.74/57.37 c | 132485 | 4352 19552 53276 | 65651 68136 67 | 52.723 % |
56.83/57.42 c | 132586 | 4352 19552 53276 | 65651 68237 67 | 52.724 % |
56.93/57.50 c | 132697 | 4352 19552 53276 | 65651 68348 67 | 52.723 % |
56.93/57.53 c | 132819 | 4352 19552 53276 | 65651 68470 67 | 52.723 % |
57.03/57.61 c | 132952 | 4352 19552 53276 | 65651 68603 67 | 52.724 % |
57.03/57.65 c | 133098 | 4352 19552 53276 | 65651 68749 67 | 52.723 % |
57.13/57.77 c | 133258 | 4352 19552 53276 | 65651 68909 67 | 52.724 % |
57.23/57.85 c | 133434 | 4352 19552 53276 | 65651 69085 67 | 52.723 % |
57.33/57.97 c | 133628 | 4352 19552 53276 | 65651 69279 67 | 52.724 % |
57.43/58.03 c | 133840 | 4352 19552 53276 | 65651 69491 67 | 52.723 % |
57.53/58.18 c | 134073 | 4352 19552 53276 | 65651 69724 68 | 52.723 % |
57.74/58.32 c | 134331 | 4352 19552 53276 | 65651 69982 68 | 52.723 % |
57.93/58.58 c | 134612 | 4352 19552 53276 | 65651 70263 68 | 52.723 % |
58.13/58.75 c | 134923 | 4352 19552 53276 | 65651 70574 68 | 52.723 % |
58.33/58.99 c | 135262 | 4352 19552 53276 | 65651 60409 67 | 52.723 % |
58.63/59.23 c | 135634 | 4352 19552 53276 | 65651 60781 67 | 52.723 % |
58.73/59.40 c | 136043 | 4352 19552 53276 | 65651 61190 67 | 52.723 % |
59.03/59.67 c | 136493 | 4352 19552 53276 | 65651 61640 67 | 52.723 % |
59.33/59.94 c | 136988 | 4352 19552 53276 | 65651 62135 66 | 52.723 % |
59.73/60.31 c | 137530 | 4340 19467 53026 | 65651 62677 67 | 52.724 % |
60.13/60.72 c | 138128 | 4340 19467 53026 | 65651 63275 67 | 52.723 % |
60.43/61.06 c | 138785 | 4340 19467 53026 | 65651 63932 67 | 52.723 % |
60.83/61.47 c | 139506 | 4340 19467 53026 | 65651 64653 66 | 52.723 % |
61.43/62.01 c | 140298 | 4340 19467 53026 | 65147 65445 66 | 52.724 % |
61.93/62.54 c | 141170 | 4340 19467 53026 | 65147 66317 66 | 52.723 % |
62.53/63.17 c | 142129 | 4340 19467 53026 | 65147 67276 67 | 52.724 % |
62.73/63.39 c | 143182 | 4340 19467 53026 | 65147 68329 67 | 52.723 % |
63.33/63.92 c | 144340 | 4340 19467 53026 | 65147 69487 67 | 52.723 % |
64.23/64.89 c | 145616 | 4340 19467 53026 | 65147 70763 68 | 52.723 % |
65.03/65.65 c | 147016 | 4340 19467 53026 | 65147 61005 64 | 52.723 % |
65.93/66.54 c | 148557 | 4340 19467 53026 | 65147 62546 63 | 52.723 % |
66.03/66.61 c | 148659 | 4340 19467 53026 | 65147 62648 63 | 52.723 % |
66.03/66.68 c | 148769 | 4340 19467 53026 | 65147 62758 63 | 52.723 % |
66.13/66.78 c | 148891 | 4340 19467 53026 | 65147 62880 63 | 52.723 % |
66.23/66.86 c | 149026 | 4340 19467 53026 | 65147 63015 63 | 52.723 % |
66.33/66.98 c | 149173 | 4340 19467 53026 | 65147 63162 63 | 52.725 % |
66.43/67.09 c | 149333 | 4340 19467 53026 | 65147 63322 63 | 52.723 % |
66.53/67.20 c | 149510 | 4340 19467 53026 | 65147 63499 63 | 52.725 % |
66.83/67.42 c | 149707 | 4337 19467 53026 | 65147 63693 63 | 53.399 % |
66.93/67.52 c | 149922 | 4337 19467 53026 | 65147 63908 63 | 53.401 % |
67.03/67.67 c | 150156 | 4337 19467 53026 | 63987 64142 63 | 53.399 % |
67.13/67.80 c | 150413 | 4337 19467 53026 | 63987 64399 63 | 53.399 % |
67.33/67.96 c | 150696 | 4337 19467 53026 | 63987 64682 62 | 53.399 % |
67.53/68.14 c | 151007 | 4337 19467 53026 | 63987 64993 62 | 53.399 % |
67.83/68.49 c | 151347 | 4336 19467 53026 | 63987 65332 62 | 53.410 % |
68.13/68.70 c | 151719 | 4336 19467 53026 | 63987 65704 62 | 53.410 % |
68.43/69.01 c | 152130 | 4336 19467 53026 | 63987 66115 62 | 53.410 % |
68.63/69.22 c | 152579 | 4336 19467 53026 | 63987 66564 62 | 53.410 % |
68.93/69.56 c | 153072 | 4336 19467 53026 | 63987 67057 62 | 53.410 % |
69.43/70.01 c | 153615 | 4336 19467 53026 | 63987 67600 62 | 53.410 % |
69.73/70.35 c | 154211 | 4336 19467 53026 | 63987 68196 62 | 53.411 % |
70.13/70.76 c | 154866 | 4336 19467 53026 | 63987 68851 62 | 53.411 % |
70.53/71.20 c | 155586 | 4336 19467 53026 | 63987 69571 62 | 53.410 % |
71.03/71.65 c | 156378 | 4336 19467 53026 | 63987 59376 62 | 53.411 % |
71.63/72.21 c | 157250 | 4336 19467 53026 | 63987 60248 62 | 53.410 % |
72.22/72.80 c | 158209 | 4277 19203 52216 | 63987 60991 61 | 53.410 % |
72.82/73.48 c | 159263 | 4277 19203 52216 | 63987 62045 64 | 53.411 % |
73.02/73.66 c | 160422 | 4277 19203 52216 | 62782 63204 63 | 53.410 % |
73.92/74.58 c | 161695 | 4277 19203 52216 | 62782 64477 64 | 53.410 % |
74.62/75.25 c | 163095 | 4277 19203 52216 | 62782 65877 64 | 53.410 % |
75.52/76.19 c | 164636 | 4277 19203 52216 | 62782 67418 63 | 53.410 % |
76.82/77.44 c | 166330 | 4277 19203 52216 | 62782 69112 65 | 53.410 % |
76.92/77.58 c | 166430 | 4277 19203 52216 | 62782 57418 55 | 53.410 % |
77.02/77.60 c | 166542 | 4277 19203 52216 | 62782 57530 55 | 53.410 % |
77.02/77.67 c | 166664 | 4277 19203 52216 | 62782 57652 55 | 53.410 % |
77.12/77.75 c | 166797 | 4277 19203 52216 | 62782 57785 55 | 53.410 % |
77.22/77.86 c | 166944 | 4277 19203 52216 | 62782 57932 55 | 53.410 % |
77.32/77.97 c | 167104 | 4277 19203 52216 | 62782 58092 55 | 53.410 % |
77.42/78.02 c | 167280 | 4277 19203 52216 | 62782 58268 55 | 53.411 % |
77.52/78.10 c | 167473 | 4277 19203 52216 | 62782 58461 55 | 53.410 % |
77.62/78.21 c | 167687 | 4277 19203 52216 | 62782 58675 55 | 53.410 % |
77.62/78.23 c | 167921 | 4277 19203 52216 | 62782 58909 55 | 53.410 % |
77.82/78.40 c | 168177 | 4277 19203 52216 | 62782 59165 56 | 53.410 % |
77.82/78.49 c | 168458 | 4277 19203 52216 | 62782 59446 56 | 53.410 % |
78.02/78.69 c | 168770 | 4277 19203 52216 | 62782 59758 56 | 53.410 % |
78.12/78.74 c | 169109 | 4277 19203 52216 | 62782 60097 56 | 53.410 % |
78.32/78.94 c | 169483 | 4277 19203 52216 | 62782 60471 56 | 53.410 % |
78.42/79.07 c | 169898 | 4277 19203 52216 | 62782 60886 56 | 53.410 % |
78.62/79.20 c | 170351 | 4277 19203 52216 | 60988 61339 56 | 53.410 % |
78.72/79.32 c | 170844 | 4277 19203 52216 | 60988 61832 56 | 53.410 % |
78.72/79.37 c | 171386 | 4277 19203 52216 | 60988 62374 56 | 53.410 % |
79.12/79.77 c | 171984 | 4277 19203 52216 | 60988 62972 58 | 53.410 % |
79.22/79.89 c | 172639 | 4277 19203 52216 | 60988 63627 58 | 53.410 % |
79.62/80.29 c | 173359 | 4277 19203 52216 | 60988 64347 59 | 53.410 % |
79.92/80.56 c | 174151 | 4277 19203 52216 | 60988 65139 59 | 53.410 % |
80.32/80.99 c | 175022 | 4277 19203 52216 | 60988 66010 60 | 53.410 % |
80.92/81.55 c | 175981 | 4277 19203 52216 | 60988 57538 59 | 53.410 % |
81.62/82.26 c | 177034 | 4277 19203 52216 | 60988 58591 59 | 53.411 % |
82.12/82.76 c | 178193 | 4277 19203 52216 | 60988 59750 58 | 53.411 % |
82.91/83.60 c | 179466 | 4277 19203 52216 | 60988 61023 60 | 53.410 % |
83.31/84.00 c | 180870 | 4277 19203 52216 | 61557 62427 61 | 53.410 % |
84.41/85.00 c | 182410 | 4277 19203 52216 | 61557 63967 64 | 53.410 % |
84.91/85.57 c | 184105 | 4277 19203 52216 | 61557 65662 64 | 53.410 % |
85.41/86.04 c | 185968 | 4277 19203 52216 | 61557 67525 63 | 53.410 % |
85.51/86.14 c | 186068 | 4277 19203 52216 | 61557 58611 62 | 53.410 % |
85.61/86.20 c | 186178 | 4277 19203 52216 | 61557 58721 63 | 53.410 % |
85.61/86.28 c | 186300 | 4277 19203 52216 | 61557 58843 63 | 53.410 % |
85.71/86.33 c | 186435 | 4277 19203 52216 | 61557 58978 63 | 53.410 % |
85.81/86.41 c | 186583 | 4277 19203 52216 | 61557 59126 63 | 53.410 % |
85.91/86.54 c | 186743 | 4277 19203 52216 | 61557 59286 63 | 53.410 % |
86.01/86.61 c | 186919 | 4277 19203 52216 | 61557 59462 63 | 53.410 % |
86.11/86.76 c | 187112 | 4277 19203 52216 | 61557 59655 63 | 53.410 % |
86.21/86.86 c | 187325 | 4277 19203 52216 | 61557 59868 63 | 53.410 % |
86.32/86.94 c | 187558 | 4277 19203 52216 | 61557 60101 63 | 53.410 % |
86.51/87.18 c | 187814 | 4277 19203 52216 | 61557 60357 64 | 53.410 % |
86.61/87.25 c | 188096 | 4277 19203 52216 | 61557 60639 64 | 53.410 % |
86.81/87.43 c | 188406 | 4277 19203 52216 | 61557 60949 65 | 53.410 % |
86.81/87.50 c | 188745 | 4277 19203 52216 | 61557 61288 64 | 53.410 % |
87.11/87.74 c | 189118 | 4277 19203 52216 | 61557 61661 65 | 53.410 % |
87.21/87.83 c | 189528 | 4277 19203 52216 | 61557 62071 65 | 53.410 % |
87.51/88.12 c | 189977 | 4277 19203 52216 | 61557 62520 67 | 53.410 % |
87.71/88.30 c | 190470 | 4277 19203 52216 | 62543 63013 66 | 53.410 % |
88.01/88.69 c | 191015 | 4277 19203 52216 | 62543 63558 68 | 53.410 % |
88.61/89.20 c | 191612 | 4277 19203 52216 | 62543 64155 68 | 53.410 % |
89.01/89.64 c | 192268 | 4277 19203 52216 | 62543 64811 68 | 53.411 % |
89.31/89.94 c | 192989 | 4277 19203 52216 | 62543 65532 67 | 53.410 % |
89.91/90.53 c | 193782 | 4277 19203 52216 | 62543 66325 68 | 53.410 % |
90.51/91.11 c | 194654 | 4277 19203 52216 | 62543 67197 67 | 53.410 % |
91.21/91.86 c | 195612 | 4277 19203 52216 | 62543 68155 67 | 53.411 % |
91.91/92.51 c | 196665 | 4277 19203 52216 | 62543 58324 71 | 53.410 % |
92.61/93.21 c | 197823 | 4277 19203 52216 | 62543 59482 71 | 53.410 % |
93.11/93.75 c | 199096 | 4277 19203 52216 | 62543 60755 70 | 53.410 % |
94.11/94.75 c | 200496 | 4277 19203 52216 | 61660 62155 73 | 53.410 % |
95.21/95.85 c | 202036 | 4277 19203 52216 | 61660 63695 73 | 53.410 % |
96.51/97.16 c | 203734 | 4277 19203 52216 | 61660 65393 72 | 53.410 % |
97.71/98.31 c | 205598 | 4277 19203 52216 | 61660 67257 72 | 53.410 % |
99.21/99.87 c | 207647 | 4277 19203 52216 | 61660 59308 75 | 53.410 % |
99.31/99.91 c | 207747 | 4277 19203 52216 | 61660 59408 75 | 53.410 % |
99.41/100.00 c | 207859 | 4277 19203 52216 | 61660 59520 76 | 53.410 % |
99.41/100.03 c | 207980 | 4277 19203 52216 | 61660 59641 75 | 53.410 % |
99.51/100.11 c | 208114 | 4277 19203 52216 | 61660 59775 76 | 53.410 % |
99.51/100.16 c | 208260 | 4277 19203 52216 | 61660 59921 76 | 53.412 % |
99.71/100.30 c | 208420 | 4277 19203 52216 | 61660 60081 76 | 53.410 % |
99.71/100.36 c | 208596 | 4277 19203 52216 | 61660 60257 76 | 53.410 % |
99.81/100.49 c | 208789 | 4277 19203 52216 | 61660 60450 76 | 53.410 % |
99.91/100.54 c | 209001 | 4277 19203 52216 | 61660 60662 76 | 53.410 % |
100.11/100.75 c | 209235 | 4277 19203 52216 | 61660 60896 77 | 53.410 % |
100.31/100.93 c | 209491 | 4277 19203 52216 | 61660 61152 77 | 53.410 % |
100.41/101.03 c | 209773 | 4277 19203 52216 | 61660 61434 77 | 53.410 % |
100.61/101.29 c | 210082 | 4277 19203 52216 | 61661 61743 77 | 53.410 % |
100.91/101.54 c | 210426 | 4277 19203 52216 | 61661 62087 77 | 53.410 % |
101.11/101.76 c | 210799 | 4277 19203 52216 | 61661 62460 77 | 53.410 % |
101.41/102.06 c | 211209 | 4277 19203 52216 | 61661 62870 77 | 53.410 % |
101.71/102.34 c | 211659 | 4277 19203 52216 | 61661 63320 77 | 53.410 % |
102.01/102.65 c | 212155 | 4277 19203 52216 | 61661 63816 77 | 53.411 % |
102.50/103.18 c | 212700 | 4277 19203 52216 | 61661 64361 76 | 53.410 % |
103.00/103.60 c | 213296 | 4277 19203 52216 | 61661 64957 77 | 53.410 % |
103.50/104.13 c | 213952 | 4277 19203 52216 | 61661 65613 77 | 53.410 % |
103.80/104.44 c | 214675 | 4277 19203 52216 | 61661 66336 76 | 53.410 % |
104.40/105.08 c | 215467 | 4277 19203 52216 | 61661 67128 77 | 53.410 % |
105.01/105.67 c | 216338 | 4277 19203 52216 | 61661 56843 74 | 53.410 % |
105.60/106.26 c | 217298 | 4277 19203 52216 | 61661 57803 74 | 53.410 % |
106.21/106.86 c | 218352 | 4277 19203 52216 | 61661 58857 74 | 53.410 % |
106.70/107.34 c | 219510 | 4277 19203 52216 | 61661 60015 75 | 53.410 % |
107.80/108.40 c | 220786 | 4277 19203 52216 | 60506 61291 75 | 53.410 % |
108.60/109.22 c | 222186 | 4277 19203 52216 | 60506 62691 75 | 53.410 % |
109.41/110.02 c | 223726 | 4277 19203 52216 | 60506 64231 74 | 53.410 % |
110.51/111.11 c | 225420 | 4277 19203 52216 | 60506 65925 76 | 53.410 % |
111.90/112.55 c | 227283 | 4277 19203 52216 | 60506 57065 68 | 53.410 % |
113.20/113.88 c | 229333 | 4277 19203 52216 | 60506 59115 67 | 53.410 % |
114.90/115.54 c | 231586 | 4277 19203 52216 | 59782 61368 68 | 53.410 % |
115.00/115.62 c | 231688 | 4277 19203 52216 | 59782 61470 67 | 53.410 % |
115.00/115.70 c | 231799 | 4277 19203 52216 | 59782 61581 67 | 53.410 % |
115.10/115.79 c | 231920 | 4277 19203 52216 | 59782 61702 67 | 53.410 % |
115.30/115.94 c | 232055 | 4277 19203 52216 | 59782 61837 67 | 53.410 % |
115.40/116.08 c | 232202 | 4277 19203 52216 | 59782 61984 67 | 53.410 % |
115.60/116.20 c | 232363 | 4277 19203 52216 | 59782 62145 68 | 53.410 % |
115.60/116.28 c | 232539 | 4277 19203 52216 | 59782 62321 67 | 53.410 % |
115.80/116.43 c | 232732 | 4277 19203 52216 | 59782 62514 68 | 53.410 % |
116.00/116.60 c | 232945 | 4277 19203 52216 | 59782 62727 68 | 53.410 % |
116.20/116.83 c | 233178 | 4277 19203 52216 | 59782 62960 68 | 53.410 % |
116.40/117.06 c | 233434 | 4277 19203 52216 | 59782 63216 68 | 53.410 % |
116.50/117.19 c | 233715 | 4277 19203 52216 | 59782 63497 68 | 53.410 % |
116.80/117.41 c | 234026 | 4277 19203 52216 | 59782 63808 68 | 53.410 % |
117.00/117.62 c | 234366 | 4277 19203 52216 | 59782 64148 68 | 53.410 % |
117.20/117.87 c | 234738 | 4277 19203 52216 | 59782 64520 68 | 53.410 % |
117.40/118.05 c | 235147 | 4277 19203 52216 | 59782 64929 68 | 53.411 % |
117.80/118.45 c | 235597 | 4172 18678 50764 | 59782 56801 69 | 54.553 % |
118.10/118.73 c | 236090 | 4172 18678 50764 | 59782 57294 70 | 54.554 % |
118.40/119.03 c | 236632 | 4172 18678 50764 | 59782 57836 70 | 54.553 % |
118.70/119.36 c | 237228 | 4172 18678 50764 | 59782 58432 70 | 54.553 % |
119.20/119.81 c | 237887 | 4172 18678 50764 | 59782 59091 71 | 54.555 % |
119.50/120.19 c | 238607 | 4172 18678 50764 | 59782 59811 73 | 54.553 % |
119.80/120.41 c | 239400 | 4172 18678 50764 | 59782 60604 72 | 54.553 % |
120.50/121.14 c | 240272 | 4172 18678 50764 | 61204 61476 73 | 54.553 % |
120.80/121.47 c | 241230 | 4172 18678 50764 | 61204 62434 72 | 54.553 % |
121.60/122.27 c | 242285 | 4172 18678 50764 | 61204 63489 74 | 54.554 % |
122.30/122.99 c | 243444 | 4172 18678 50764 | 61204 64648 74 | 54.553 % |
123.10/123.79 c | 244718 | 4172 18678 50764 | 61204 65922 73 | 54.553 % |
124.20/124.83 c | 246118 | 4172 18678 50764 | 61204 58467 67 | 54.553 % |
124.80/125.45 c | 247659 | 4172 18678 50764 | 61204 60008 67 | 54.553 % |
125.90/126.51 c | 249353 | 4172 18678 50764 | 61204 61702 68 | 54.554 % |
127.49/128.12 c | 251216 | 4172 18678 50764 | 62350 63565 68 | 54.553 % |
128.49/129.17 c | 253265 | 4172 18678 50764 | 62350 65614 69 | 54.553 % |
130.40/131.07 c | 255518 | 4172 18678 50764 | 62350 67867 73 | 54.553 % |
132.39/133.02 c | 257998 | 4172 18678 50764 | 62350 58162 70 | 54.554 % |
132.49/133.12 c | 258098 | 4172 18678 50764 | 62350 58262 70 | 54.554 % |
132.59/133.21 c | 258208 | 4172 18678 50764 | 62350 58372 70 | 54.553 % |
132.59/133.27 c | 258329 | 4172 18678 50764 | 62350 58493 70 | 54.553 % |
132.69/133.36 c | 258463 | 4172 18678 50764 | 62350 58627 70 | 54.555 % |
132.79/133.43 c | 258609 | 4172 18678 50764 | 62350 58773 70 | 54.553 % |
132.89/133.57 c | 258769 | 4172 18678 50764 | 62350 58933 70 | 54.553 % |
132.99/133.64 c | 258945 | 4172 18678 50764 | 62350 59109 70 | 54.554 % |
133.09/133.78 c | 259138 | 4172 18678 50764 | 62350 59302 70 | 54.553 % |
133.19/133.89 c | 259350 | 4172 18678 50764 | 62350 59514 70 | 54.553 % |
133.39/134.08 c | 259584 | 4172 18678 50764 | 62350 59748 70 | 54.553 % |
133.59/134.28 c | 259844 | 4162 18629 50617 | 62350 60007 69 | 54.662 % |
133.89/134.51 c | 260125 | 4162 18629 50617 | 60164 60288 70 | 54.662 % |
133.99/134.65 c | 260438 | 4162 18629 50617 | 60164 60601 70 | 54.662 % |
134.29/134.97 c | 260779 | 4162 18629 50617 | 60164 60942 70 | 54.663 % |
134.49/135.12 c | 261152 | 4162 18629 50617 | 60164 61315 70 | 54.662 % |
134.79/135.46 c | 261562 | 4162 18629 50617 | 60164 61725 70 | 54.663 % |
135.09/135.71 c | 262012 | 4162 18629 50617 | 60164 62175 70 | 54.662 % |
135.39/136.08 c | 262505 | 4162 18629 50617 | 60164 62668 70 | 54.662 % |
135.89/136.52 c | 263048 | 4162 18629 50617 | 60164 63211 70 | 54.662 % |
136.39/137.04 c | 263645 | 4162 18629 50617 | 60164 63808 70 | 54.662 % |
136.99/137.66 c | 264300 | 4162 18629 50617 | 60164 64463 70 | 54.662 % |
137.29/137.96 c | 265023 | 4162 18629 50617 | 60164 65186 70 | 54.662 % |
137.88/138.54 c | 265815 | 4162 18629 50617 | 60164 55885 70 | 54.662 % |
138.18/138.85 c | 266687 | 4162 18629 50617 | 60164 56757 72 | 54.662 % |
138.78/139.46 c | 267646 | 4162 18629 50617 | 60164 57716 73 | 54.662 % |
139.19/139.85 c | 268699 | 4162 18629 50617 | 60164 58769 72 | 54.662 % |
140.08/140.77 c | 269858 | 4162 18629 50617 | 60164 59928 72 | 54.662 % |
140.88/141.59 c | 271131 | 4162 18629 50617 | 60071 61201 72 | 54.662 % |
141.98/142.64 c | 272531 | 4162 18629 50617 | 60071 62601 73 | 54.662 % |
143.48/144.20 c | 274072 | 4162 18629 50617 | 60071 64142 73 | 54.663 % |
145.08/145.75 c | 275766 | 4162 18629 50617 | 60071 65836 72 | 54.662 % |
145.48/146.10 c | 277629 | 4162 18629 50617 | 60071 57735 66 | 54.663 % |
146.78/147.44 c | 279678 | 4162 18629 50617 | 60071 59784 68 | 54.662 % |
148.27/148.99 c | 281932 | 4162 18629 50617 | 60110 62038 67 | 54.662 % |
150.07/150.71 c | 284410 | 4162 18629 50617 | 60110 64516 67 | 54.662 % |
152.27/152.92 c | 287136 | 4162 18629 50617 | 60110 55821 66 | 54.663 % |
152.37/153.01 c | 287236 | 4162 18629 50617 | 60110 55921 66 | 54.664 % |
152.37/153.07 c | 287347 | 4162 18629 50617 | 60110 56032 66 | 54.662 % |
152.47/153.14 c | 287468 | 4162 18629 50617 | 60110 56153 66 | 54.662 % |
152.57/153.24 c | 287601 | 4162 18629 50617 | 60110 56286 66 | 54.663 % |
152.67/153.33 c | 287749 | 4162 18629 50617 | 60110 56434 66 | 54.662 % |
152.77/153.43 c | 287909 | 4162 18629 50617 | 60110 56594 67 | 54.663 % |
152.87/153.53 c | 288086 | 4162 18629 50617 | 60110 56771 67 | 54.662 % |
153.07/153.74 c | 288279 | 4162 18629 50617 | 60110 56964 67 | 54.663 % |
153.17/153.85 c | 288491 | 4162 18629 50617 | 60110 57176 67 | 54.662 % |
153.27/153.91 c | 288724 | 4162 18629 50617 | 60110 57409 67 | 54.662 % |
153.37/154.05 c | 288981 | 4162 18629 50617 | 60110 57666 67 | 54.662 % |
153.47/154.14 c | 289262 | 4162 18629 50617 | 60110 57947 67 | 54.663 % |
153.67/154.36 c | 289571 | 4162 18629 50617 | 60110 58256 68 | 54.663 % |
153.97/154.68 c | 289911 | 4162 18629 50617 | 60110 58596 68 | 54.662 % |
154.36/155.01 c | 290284 | 4162 18629 50617 | 58686 58969 68 | 54.662 % |
154.76/155.43 c | 290693 | 4162 18629 50617 | 58686 59378 68 | 54.663 % |
155.26/155.91 c | 291142 | 4162 18629 50617 | 58686 59827 68 | 54.663 % |
155.57/156.30 c | 291637 | 4162 18629 50617 | 58686 60322 67 | 54.663 % |
156.26/156.93 c | 292179 | 3381 15020 41211 | 58686 46622 73 | 63.170 % |
156.46/157.16 c | 292776 | 3379 15020 41211 | 58686 47218 73 | 63.192 % |
156.67/157.34 c | 293432 | 3379 15020 41211 | 58686 47874 72 | 63.192 % |
156.77/157.44 c | 294153 | 3379 15020 41211 | 58686 48595 72 | 63.192 % |
156.96/157.64 c | 294946 | 3379 15020 41211 | 58686 49388 73 | 63.192 % |
157.16/157.87 c | 295818 | 3379 15020 41211 | 58686 50260 72 | 63.193 % |
157.56/158.22 c | 296777 | 3379 15020 41211 | 58686 51219 74 | 63.194 % |
157.86/158.55 c | 297830 | 3379 15020 41211 | 58686 52272 73 | 63.192 % |
158.26/158.97 c | 298989 | 3379 15020 41211 | 58686 53431 76 | 63.192 % |
158.56/159.27 c | 300262 | 3379 15020 41211 | 54442 54704 75 | 63.192 % |
159.26/159.91 c | 301663 | 3379 15020 41211 | 54442 56105 80 | 63.192 % |
160.06/160.79 c | 303204 | 3379 15020 41211 | 54442 57646 81 | 63.192 % |
160.66/161.35 c | 304898 | 3379 15020 41211 | 54442 59340 80 | 63.192 % |
161.06/161.79 c | 306761 | 3379 15020 41211 | 54442 53143 76 | 63.192 % |
161.96/162.66 c | 308810 | 3379 15020 41211 | 54442 55192 75 | 63.192 % |
163.16/163.84 c | 311065 | 3379 15020 41211 | 56382 57447 78 | 63.192 % |
164.56/165.21 c | 313543 | 3379 15020 41211 | 56382 59925 76 | 63.192 % |
165.95/166.66 c | 316268 | 3377 15020 41211 | 56382 62649 77 | 63.224 % |
167.05/167.77 c | 319265 | 3377 15020 41211 | 56382 54727 74 | 63.224 % |
167.15/167.85 c | 319365 | 3376 14989 41123 | 56382 54827 74 | 63.225 % |
167.25/167.91 c | 319477 | 3376 14989 41123 | 56382 54939 74 | 63.224 % |
167.25/167.96 c | 319599 | 3376 14989 41123 | 56382 55061 74 | 63.224 % |
167.36/168.07 c | 319732 | 3376 14989 41123 | 56382 55194 74 | 63.224 % |
167.46/168.17 c | 319881 | 3376 14989 41123 | 56382 55343 74 | 63.224 % |
167.56/168.29 c | 320041 | 3376 14989 41123 | 55462 55503 74 | 63.224 % |
167.76/168.40 c | 320217 | 3376 14989 41123 | 55462 55679 74 | 63.224 % |
167.85/168.54 c | 320411 | 3376 14989 41123 | 55462 55873 74 | 63.224 % |
168.05/168.71 c | 320623 | 3376 14989 41123 | 55462 56085 74 | 63.225 % |
168.15/168.83 c | 320858 | 3376 14989 41123 | 55462 56320 74 | 63.225 % |
168.25/168.98 c | 321114 | 3376 14989 41123 | 55462 56576 74 | 63.224 % |
168.45/169.15 c | 321395 | 3376 14989 41123 | 55462 56857 74 | 63.224 % |
168.55/169.29 c | 321704 | 3376 14989 41123 | 55462 57166 73 | 63.225 % |
168.76/169.47 c | 322044 | 3376 14989 41123 | 55462 57506 74 | 63.224 % |
169.15/169.85 c | 322417 | 3376 14989 41123 | 55462 57879 74 | 63.224 % |
169.45/170.11 c | 322827 | 3376 14989 41123 | 55462 58289 74 | 63.225 % |
169.65/170.36 c | 323276 | 3376 14989 41123 | 55462 58738 74 | 63.225 % |
169.85/170.57 c | 323769 | 3376 14989 41123 | 55462 59231 74 | 63.225 % |
170.15/170.88 c | 324311 | 3376 14989 41123 | 55462 59773 74 | 63.224 % |
170.55/171.21 c | 324908 | 3374 14989 41123 | 55462 60369 75 | 63.301 % |
170.95/171.64 c | 325564 | 3374 14989 41123 | 55462 61025 76 | 63.301 % |
171.45/172.19 c | 326284 | 3374 14989 41123 | 55462 61745 75 | 63.301 % |
171.95/172.70 c | 327076 | 3374 14989 41123 | 55462 51309 73 | 63.301 % |
172.55/173.28 c | 327948 | 3374 14989 41123 | 55462 52181 74 | 63.301 % |
173.05/173.77 c | 328906 | 3374 14989 41123 | 55462 53139 74 | 63.301 % |
173.65/174.36 c | 329959 | 3374 14989 41123 | 55462 54192 74 | 63.301 % |
174.45/175.14 c | 331118 | 3373 14989 41123 | 54233 55350 74 | 63.312 % |
175.14/175.87 c | 332392 | 3373 14989 41123 | 54233 56624 76 | 63.312 % |
176.14/176.82 c | 333792 | 3373 14989 41123 | 54233 58024 75 | 63.312 % |
177.04/177.70 c | 335332 | 3373 14989 41123 | 54233 59564 78 | 63.312 % |
178.24/178.95 c | 337026 | 3373 14989 41123 | 54233 50584 69 | 63.312 % |
179.24/179.93 c | 338889 | 3373 14989 41123 | 54233 52447 70 | 63.312 % |
180.54/181.24 c | 340939 | 3373 14989 41123 | 53558 54497 74 | 63.312 % |
181.74/182.43 c | 343192 | 3359 14885 40824 | 53558 56743 78 | 63.432 % |
183.15/183.87 c | 345670 | 3358 14885 40824 | 53558 59220 79 | 63.617 % |
183.54/184.25 c ===============================================================================
183.54/184.25 c restarts : 740
183.54/184.25 c conflicts : 346119 (1895 /sec)
183.54/184.25 c decisions : 555935 (0.85 % random) (3043 /sec)
183.54/184.25 c propagations : 68377900 (374314 /sec)
183.54/184.25 c conflict literals : 27276062 (46.73 % deleted)
183.54/184.25 c Memory used : 29.14 MB
183.54/184.25 c CPU time : 182.675 s
183.54/184.25 c
183.54/184.25 s UNSATISFIABLE
183.54/184.25 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837278-1242867034/watcher-1837278-1242867034 -o /tmp/evaluation-result-1837278-1242867034/solver-1837278-1242867034 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837278-1242867034.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.85 0.97 0.90 3/64 22001
/proc/meminfo: memFree=1749040/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314736773 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22001/statm: 1339 237 197 169 0 50 0
[startup+0.105815 s]
/proc/loadavg: 0.85 0.97 0.90 3/64 22001
/proc/meminfo: memFree=1749040/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314736773 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22001/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.201833 s]
/proc/loadavg: 0.85 0.97 0.90 3/64 22001
/proc/meminfo: memFree=1749040/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314736773 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22001/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301853 s]
/proc/loadavg: 0.85 0.97 0.90 3/64 22001
/proc/meminfo: memFree=1749040/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314736773 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22001/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702931 s]
/proc/loadavg: 0.85 0.97 0.90 3/64 22001
/proc/meminfo: memFree=1749040/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314736773 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22001/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50109 s]
/proc/loadavg: 0.85 0.97 0.90 2/66 22007
/proc/meminfo: memFree=1742504/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0.83
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 336 3755 0 0 0 0 80 3 16 0 1 0 314736773 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22001/statm: 1339 239 197 169 0 50 0
[pid=22007] ppid=22001 vsize=4992 CPUtime=0.64
/proc/22007/stat : 22007 (minisat_static) R 22001 22001 21964 0 -1 4194304 1030 0 0 0 64 0 0 0 23 0 1 0 314736858 5111808 1016 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/22007/statm: 1248 1016 77 171 0 1075 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10348
[startup+3.1014 s]
/proc/loadavg: 0.85 0.97 0.90 2/66 22007
/proc/meminfo: memFree=1741544/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0.83
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 336 3755 0 0 0 0 80 3 16 0 1 0 314736773 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22001/statm: 1339 239 197 169 0 50 0
[pid=22007] ppid=22001 vsize=6484 CPUtime=2.24
/proc/22007/stat : 22007 (minisat_static) R 22001 22001 21964 0 -1 4194304 1383 0 0 0 224 0 0 0 25 0 1 0 314736858 6639616 1369 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/22007/statm: 1621 1369 77 171 0 1448 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11840
[startup+6.30102 s]
/proc/loadavg: 0.86 0.97 0.90 2/66 22007
/proc/meminfo: memFree=1738792/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0.83
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 336 3755 0 0 0 0 80 3 16 0 1 0 314736773 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22001/statm: 1339 239 197 169 0 50 0
[pid=22007] ppid=22001 vsize=8488 CPUtime=5.01
/proc/22007/stat : 22007 (minisat_static) R 22001 22001 21964 0 -1 4194304 1888 0 0 0 499 2 0 0 25 0 1 0 314736858 8691712 1874 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/22007/statm: 2122 1874 77 171 0 1949 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 13844
[startup+12.7013 s]
/proc/loadavg: 0.87 0.97 0.90 2/66 22007
/proc/meminfo: memFree=1732720/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0.83
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 336 3755 0 0 0 0 80 3 16 0 1 0 314736773 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22001/statm: 1339 239 197 169 0 50 0
[pid=22007] ppid=22001 vsize=14936 CPUtime=11.36
/proc/22007/stat : 22007 (minisat_static) R 22001 22001 21964 0 -1 4194304 3496 0 0 0 1132 4 0 0 25 0 1 0 314736858 15294464 3482 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/22007/statm: 3734 3482 77 171 0 3561 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 20292
[startup+25.5018 s]
/proc/loadavg: 0.90 0.97 0.91 2/66 22007
/proc/meminfo: memFree=1721840/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0.83
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 336 3755 0 0 0 0 80 3 16 0 1 0 314736773 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22001/statm: 1339 239 197 169 0 50 0
[pid=22007] ppid=22001 vsize=25352 CPUtime=24.14
/proc/22007/stat : 22007 (minisat_static) R 22001 22001 21964 0 -1 4194304 6093 0 0 0 2407 7 0 0 25 0 1 0 314736858 25960448 6079 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22007/statm: 6338 6079 77 171 0 6165 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 30708
[startup+51.1028 s]
/proc/loadavg: 0.93 0.97 0.91 2/66 22007
/proc/meminfo: memFree=1717168/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0.83
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 336 3755 0 0 0 0 80 3 16 0 1 0 314736773 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22001/statm: 1339 239 197 169 0 50 0
[pid=22007] ppid=22001 vsize=29840 CPUtime=49.71
/proc/22007/stat : 22007 (minisat_static) R 22001 22001 21964 0 -1 4194304 7216 0 0 0 4962 9 0 0 25 0 1 0 314736858 30556160 7202 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/22007/statm: 7460 7202 77 171 0 7287 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 35196
[startup+102.303 s]
/proc/loadavg: 0.97 0.97 0.91 2/66 22007
/proc/meminfo: memFree=1717168/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0.83
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 336 3755 0 0 0 0 80 3 16 0 1 0 314736773 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22001/statm: 1339 239 197 169 0 50 0
[pid=22007] ppid=22001 vsize=29840 CPUtime=100.88
/proc/22007/stat : 22007 (minisat_static) R 22001 22001 21964 0 -1 4194304 7216 0 0 0 10079 9 0 0 25 0 1 0 314736858 30556160 7202 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/22007/statm: 7460 7202 77 171 0 7287 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 35196
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 22007
/proc/meminfo: memFree=1717104/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0.83
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 336 3755 0 0 0 0 80 3 16 0 1 0 314736773 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22001/statm: 1339 239 197 169 0 50 0
[pid=22007] ppid=22001 vsize=29840 CPUtime=160.83
/proc/22007/stat : 22007 (minisat_static) R 22001 22001 21964 0 -1 4194304 7216 0 0 0 16074 9 0 0 25 0 1 0 314736858 30556160 7202 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22007/statm: 7460 7202 77 171 0 7287 0
Current children cumulated CPU time (s) 161.66
Current children cumulated vsize (KiB) 35196
Solver just ended. Dumping a history of the last processes samples
[startup+166.402 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 22007
/proc/meminfo: memFree=1717104/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0.83
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 336 3755 0 0 0 0 80 3 16 0 1 0 314736773 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22001/statm: 1339 239 197 169 0 50 0
[pid=22007] ppid=22001 vsize=29840 CPUtime=164.92
/proc/22007/stat : 22007 (minisat_static) R 22001 22001 21964 0 -1 4194304 7216 0 0 0 16483 9 0 0 25 0 1 0 314736858 30556160 7202 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22007/statm: 7460 7202 77 171 0 7287 0
Current children cumulated CPU time (s) 165.75
Current children cumulated vsize (KiB) 35196
[startup+172.806 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 22007
/proc/meminfo: memFree=1717040/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0.83
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 336 3755 0 0 0 0 80 3 16 0 1 0 314736773 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22001/statm: 1339 239 197 169 0 50 0
[pid=22007] ppid=22001 vsize=29840 CPUtime=171.32
/proc/22007/stat : 22007 (minisat_static) R 22001 22001 21964 0 -1 4194304 7216 0 0 0 17123 9 0 0 25 0 1 0 314736858 30556160 7202 1992294400 134512640 135215339 4294956240 18446744073709551615 134525406 0 0 4096 3 0 0 0 17 1 0 0
/proc/22007/statm: 7460 7202 77 171 0 7287 0
Current children cumulated CPU time (s) 172.15
Current children cumulated vsize (KiB) 35196
[startup+179.201 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 22007
/proc/meminfo: memFree=1717040/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0.83
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 336 3755 0 0 0 0 80 3 16 0 1 0 314736773 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22001/statm: 1339 239 197 169 0 50 0
[pid=22007] ppid=22001 vsize=29840 CPUtime=177.71
/proc/22007/stat : 22007 (minisat_static) R 22001 22001 21964 0 -1 4194304 7216 0 0 0 17762 9 0 0 25 0 1 0 314736858 30556160 7202 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22007/statm: 7460 7202 77 171 0 7287 0
Current children cumulated CPU time (s) 178.54
Current children cumulated vsize (KiB) 35196
[startup+182.402 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 22007
/proc/meminfo: memFree=1717040/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0.83
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 336 3755 0 0 0 0 80 3 16 0 1 0 314736773 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22001/statm: 1339 239 197 169 0 50 0
[pid=22007] ppid=22001 vsize=29840 CPUtime=180.91
/proc/22007/stat : 22007 (minisat_static) R 22001 22001 21964 0 -1 4194304 7216 0 0 0 18082 9 0 0 25 0 1 0 314736858 30556160 7202 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22007/statm: 7460 7202 77 171 0 7287 0
Current children cumulated CPU time (s) 181.74
Current children cumulated vsize (KiB) 35196
[startup+183.203 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 22007
/proc/meminfo: memFree=1717040/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0.83
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 336 3755 0 0 0 0 80 3 16 0 1 0 314736773 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22001/statm: 1339 239 197 169 0 50 0
[pid=22007] ppid=22001 vsize=29840 CPUtime=181.71
/proc/22007/stat : 22007 (minisat_static) R 22001 22001 21964 0 -1 4194304 7216 0 0 0 18162 9 0 0 25 0 1 0 314736858 30556160 7202 1992294400 134512640 135215339 4294956240 18446744073709551615 134532724 0 0 4096 3 0 0 0 17 1 0 0
/proc/22007/statm: 7460 7202 77 171 0 7287 0
Current children cumulated CPU time (s) 182.54
Current children cumulated vsize (KiB) 35196
[startup+184.001 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 22007
/proc/meminfo: memFree=1717040/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0.83
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 336 3755 0 0 0 0 80 3 16 0 1 0 314736773 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22001/statm: 1339 239 197 169 0 50 0
[pid=22007] ppid=22001 vsize=29840 CPUtime=182.51
/proc/22007/stat : 22007 (minisat_static) R 22001 22001 21964 0 -1 4194304 7216 0 0 0 18242 9 0 0 25 0 1 0 314736858 30556160 7202 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22007/statm: 7460 7202 77 171 0 7287 0
Current children cumulated CPU time (s) 183.34
Current children cumulated vsize (KiB) 35196
[startup+184.201 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 22007
/proc/meminfo: memFree=1717040/2055920 swapFree=4095188/4192956
[pid=22001] ppid=21999 vsize=5356 CPUtime=0.83
/proc/22001/stat : 22001 (SatELiteGTI) S 21999 22001 21964 0 -1 4194304 336 3755 0 0 0 0 80 3 16 0 1 0 314736773 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22001/statm: 1339 239 197 169 0 50 0
[pid=22007] ppid=22001 vsize=29840 CPUtime=182.71
/proc/22007/stat : 22007 (minisat_static) R 22001 22001 21964 0 -1 4194304 7216 0 0 0 18262 9 0 0 25 0 1 0 314736858 30556160 7202 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22007/statm: 7460 7202 77 171 0 7287 0
Current children cumulated CPU time (s) 183.54
Current children cumulated vsize (KiB) 35196
Child status: 20
Real time (s): 184.263
CPU time (s): 183.629
CPU user time (s): 183.485
CPU system time (s): 0.143978
CPU usage (%): 99.6557
Max. virtual memory (cumulated for all children) (KiB): 35196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 183.485
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11469
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= 45
involuntary context switches= 1478
runsolver used 0.250961 second user time and 0.666898 second system time
The end
Begin job on node28 at 2009-05-21 02:50:35
IDJOB=1837278
IDBENCH=70800
IDSOLVER=674
FILE ID=node28/1837278-1242867034
PBS_JOBID= 9328546
Free space on /tmp= 66216 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner064.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837278-1242867034/watcher-1837278-1242867034 -o /tmp/evaluation-result-1837278-1242867034/solver-1837278-1242867034 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837278-1242867034.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1a0b22841159d2c84fdcb857229ffa08
RANDOM SEED=439545662
node28.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1749584 kB
Buffers: 38488 kB
Cached: 141232 kB
SwapCached: 91260 kB
Active: 128692 kB
Inactive: 143624 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1749584 kB
SwapTotal: 4192956 kB
SwapFree: 4095188 kB
Dirty: 3008 kB
Writeback: 0 kB
Mapped: 14028 kB
Slab: 19928 kB
Committed_AS: 1089272 kB
PageTables: 1424 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66216 MiB
End job on node28 at 2009-05-21 02:53:39