0.00/0.00 c Parsing...
0.06/0.06 c ==============================================================================
0.06/0.06 c | | ORIGINAL | LEARNT | |
0.06/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.06/0.06 c ==============================================================================
0.06/0.06 c | 0 | 73149 170681 | 21944 0 0 nan | 0.000 % |
0.70/0.73 c | 0 | 42312 121394 | -- 0 -- -- | -- | -30835/-49282
0.70/0.73 c ==============================================================================
0.70/0.73 c Result : #vars: 9180 #clauses: 42312 #literals: 121394
0.70/0.73 c CPU time: 0.67 s
0.70/0.73 c ==============================================================================
0.70/0.77 c This is MiniSat 2.0 beta
0.70/0.77 c WARNING: for repeatability, setting FPU to use double precision
0.70/0.77 c ============================[ Problem Statistics ]=============================
0.70/0.77 c | |
0.70/0.77 c | Number of variables: 9180 |
0.70/0.77 c | Number of clauses: 42312 |
0.70/0.80 c | Parsing time: 0.03 s |
0.70/0.80 c ============================[ Search Statistics ]==============================
0.70/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.70/0.80 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.70/0.80 c ===============================================================================
0.70/0.80 c | 0 | 9180 42312 121394 | 14104 0 nan | 0.000 % |
0.75/0.92 c | 515 | 9069 41653 119443 | 14104 509 43 | 2.212 % |
1.20/1.22 c | 1027 | 8878 40742 116639 | 14104 1010 41 | 5.196 % |
1.30/1.33 c | 1540 | 8653 39683 113464 | 14104 1515 37 | 5.741 % |
1.40/1.49 c | 2564 | 6702 32605 92373 | 14104 2182 36 | 29.782 % |
1.50/1.58 c | 3082 | 5698 25814 72058 | 14104 2435 39 | 37.930 % |
1.60/1.69 c | 3595 | 5640 25814 72058 | 14104 2922 40 | 39.564 % |
1.80/1.85 c | 4621 | 5531 25020 69685 | 14104 3890 37 | 39.749 % |
2.10/2.21 c | 6669 | 5525 25020 69685 | 14104 5935 44 | 39.815 % |
2.21/2.27 c | 7184 | 5525 24995 69607 | 14104 6441 43 | 39.837 % |
2.30/2.38 c | 7697 | 5523 24995 69607 | 14104 6954 44 | 39.837 % |
2.40/2.49 c | 8721 | 5520 24995 69607 | 14104 7977 43 | 39.869 % |
2.50/2.54 c | 9235 | 5512 24938 69435 | 14104 8474 42 | 39.956 % |
2.60/2.68 c | 9749 | 5512 24938 69435 | 14104 8988 44 | 39.956 % |
2.90/2.95 c | 10774 | 5491 24938 69435 | 2147483647 10009 47 | 40.458 % |
3.00/3.09 c | 12822 | 5491 24938 69435 | 2147483647 12057 44 | 40.458 % |
4.60/4.70 c | 16918 | 5466 24732 68812 | 2147483647 16112 61 | 40.458 % |
4.70/4.78 c | 17431 | 5423 24558 68283 | 2147483647 16611 60 | 40.991 % |
4.90/4.93 c | 17944 | 5423 24558 68283 | 2147483647 17124 61 | 40.991 % |
4.90/5.01 c | 18969 | 5423 24558 68283 | 2147483647 18149 59 | 40.991 % |
5.10/5.19 c | 19481 | 5423 24558 68283 | 2147483647 18661 61 | 40.991 % |
5.20/5.24 c | 19993 | 5423 24558 68283 | 2147483647 19173 60 | 40.991 % |
5.51/5.60 c | 21018 | 5423 24558 68283 | 2147483647 20198 61 | 40.991 % |
5.90/5.99 c | 23066 | 5388 24558 68283 | 2147483647 22240 59 | 42.200 % |
6.00/6.10 c | 23578 | 5338 24558 68283 | 2147483647 22748 59 | 44.183 % |
6.20/6.27 c | 24090 | 5124 23203 64227 | 2147483647 23162 59 | 44.183 % |
6.61/6.63 c | 25114 | 5070 23203 64227 | 2147483647 24173 60 | 46.220 % |
6.61/6.68 c | 25629 | 4978 23203 64227 | 2147483647 24688 59 | 46.220 % |
6.80/6.86 c | 26142 | 4978 23203 64227 | 2147483647 25201 60 | 46.220 % |
7.30/7.37 c | 27166 | 4978 23203 64227 | 2147483647 26225 63 | 46.220 % |
7.60/7.63 c | 29214 | 4978 23203 64227 | 2147483647 28273 60 | 46.220 % |
8.10/8.20 c | 33311 | 4931 23203 64227 | 2147483647 32357 55 | 49.086 % |
12.80/12.89 c | 41503 | 4674 21065 57875 | 38851 40354 81 | 49.085 % |
13.00/13.11 c | 42015 | 4674 21065 57875 | 38851 40863 80 | 49.336 % |
13.30/13.37 c | 42528 | 4674 21065 57875 | 38851 41376 80 | 49.336 % |
13.60/13.65 c | 43556 | 4478 21065 57875 | 38851 42384 79 | 53.061 % |
13.80/13.84 c | 44068 | 4241 19371 52663 | 38851 42440 80 | 54.041 % |
13.90/13.96 c | 44580 | 4241 19371 52663 | 38851 42949 79 | 54.150 % |
14.40/14.42 c | 45604 | 4240 19371 52663 | 38851 43972 79 | 54.161 % |
14.70/14.72 c | 47654 | 4240 19371 52663 | 38851 36860 80 | 54.161 % |
14.90/14.96 c | 48166 | 4240 19371 52663 | 38851 37372 81 | 54.161 % |
15.00/15.03 c | 48678 | 4240 19371 52663 | 38851 37884 80 | 54.161 % |
15.50/15.58 c | 49702 | 4240 19371 52663 | 38851 38908 82 | 54.161 % |
15.60/15.65 c | 50216 | 4240 19371 52663 | 39207 39422 81 | 54.161 % |
15.80/15.83 c | 50729 | 4240 19371 52663 | 39207 39935 81 | 54.161 % |
15.90/15.97 c | 51753 | 4240 19371 52663 | 39207 40959 80 | 54.161 % |
16.80/16.83 c | 53801 | 4240 19371 52663 | 39207 43007 81 | 54.162 % |
17.70/17.72 c | 57897 | 4240 19371 52663 | 39207 34298 76 | 54.162 % |
17.90/17.91 c | 58409 | 4240 19371 52663 | 39207 34810 76 | 54.161 % |
18.00/18.04 c | 58921 | 4240 19371 52663 | 39207 35322 75 | 54.161 % |
18.40/18.46 c | 59945 | 4240 19371 52663 | 39207 36346 78 | 54.161 % |
18.50/18.55 c | 60459 | 4240 19371 52663 | 36403 36860 77 | 54.161 % |
18.71/18.78 c | 60973 | 4240 19371 52663 | 36403 37374 78 | 54.161 % |
18.90/19.00 c | 61997 | 4240 19371 52663 | 36403 38398 77 | 54.161 % |
20.00/20.11 c | 64047 | 4240 19371 52663 | 36403 40448 81 | 54.162 % |
20.20/20.21 c | 64560 | 4215 19371 52663 | 36403 40952 81 | 54.749 % |
20.50/20.52 c | 65072 | 4215 19371 52663 | 36403 41464 81 | 54.749 % |
20.70/20.76 c | 66098 | 4120 18739 50770 | 36403 42355 80 | 55.501 % |
20.91/21.00 c | 66611 | 4117 18739 50770 | 36403 30487 61 | 55.599 % |
21.10/21.14 c | 67123 | 4117 18739 50770 | 36403 30999 63 | 55.599 % |
21.20/21.27 c | 68147 | 4117 18739 50770 | 36403 32023 62 | 55.599 % |
22.10/22.15 c | 70195 | 4117 18739 50770 | 33876 34071 65 | 55.599 % |
23.00/23.07 c | 74292 | 4117 18739 50770 | 33876 38168 61 | 55.599 % |
27.00/27.01 c | 82484 | 4116 18739 50770 | 31412 33895 83 | 55.643 % |
30.40/30.44 c | 98869 | 4116 18739 50770 | 30376 30086 63 | 55.643 % |
30.50/30.60 c | 99381 | 4072 18414 49790 | 30376 30565 62 | 55.643 % |
30.70/30.82 c | 99893 | 4072 18414 49790 | 30376 31077 63 | 55.643 % |
31.00/31.07 c | 100917 | 4070 18414 49790 | 31185 32100 63 | 55.664 % |
31.10/31.17 c | 101432 | 4070 18414 49790 | 31185 32615 62 | 55.665 % |
31.20/31.25 c | 101945 | 4070 18414 49790 | 31185 33128 62 | 55.664 % |
31.40/31.48 c | 102970 | 4070 18414 49790 | 31185 34153 61 | 55.665 % |
32.40/32.50 c | 105018 | 4070 18414 49790 | 31185 36201 66 | 55.664 % |
32.50/32.59 c | 105531 | 4070 18414 49790 | 31185 36714 66 | 55.665 % |
32.70/32.78 c | 106044 | 4070 18414 49790 | 31185 27712 50 | 55.665 % |
32.90/32.97 c | 107071 | 4031 18414 49790 | 31185 28719 49 | 56.471 % |
33.10/33.14 c | 107583 | 4031 18414 49790 | 31185 29231 51 | 56.471 % |
33.30/33.33 c | 108095 | 4030 18414 49790 | 31185 29741 51 | 56.525 % |
33.60/33.63 c | 109119 | 4030 18414 49790 | 31185 30765 51 | 56.525 % |
34.00/34.02 c | 111167 | 4030 18414 49790 | 31646 32813 49 | 56.526 % |
35.01/35.03 c | 115263 | 3987 18024 48632 | 31646 36839 50 | 56.645 % |
35.11/35.15 c | 115777 | 3987 18024 48632 | 31646 37353 50 | 56.645 % |
35.21/35.27 c | 116290 | 3987 18024 48632 | 31646 32648 50 | 56.645 % |
35.41/35.47 c | 117315 | 3984 18024 48632 | 31646 33672 49 | 56.678 % |
35.51/35.58 c | 117827 | 3984 18024 48632 | 31646 34184 48 | 56.678 % |
35.61/35.70 c | 118341 | 3984 18024 48632 | 31646 34698 48 | 56.678 % |
35.91/35.97 c | 119370 | 3984 18024 48632 | 31646 35727 49 | 56.678 % |
36.41/36.46 c | 121418 | 3977 17963 48452 | 36334 37752 48 | 56.678 % |
36.51/36.61 c | 121930 | 3977 17963 48452 | 36334 38264 48 | 56.678 % |
36.61/36.72 c | 122443 | 3977 17963 48452 | 36334 38777 48 | 56.678 % |
37.11/37.18 c | 123469 | 3977 17963 48452 | 36334 39803 51 | 56.678 % |
37.21/37.27 c | 123981 | 3977 17963 48452 | 36334 40315 51 | 56.678 % |
37.41/37.49 c | 124493 | 3977 17963 48452 | 36334 40827 52 | 56.678 % |
37.71/37.77 c | 125519 | 3977 17963 48452 | 36334 41853 52 | 56.678 % |
38.51/38.53 c | 127568 | 3977 17963 48452 | 36334 33943 55 | 56.678 % |
39.91/39.96 c | 131667 | 3973 17963 48452 | 36375 38039 53 | 56.743 % |
42.60/42.65 c | 139859 | 3969 17924 48340 | 36375 35928 48 | 56.765 % |
42.80/42.85 c | 140371 | 3969 17924 48340 | 36070 36440 48 | 56.765 % |
42.90/42.94 c | 140883 | 3969 17924 48340 | 36070 36952 48 | 56.765 % |
43.20/43.30 c | 141907 | 3969 17924 48340 | 36070 37976 49 | 56.765 % |
43.30/43.37 c | 142421 | 3969 17924 48340 | 36070 38490 48 | 56.765 % |
43.50/43.60 c | 142934 | 3969 17924 48340 | 36070 39003 49 | 56.765 % |
43.90/43.92 c | 143958 | 3969 17914 48312 | 36070 40024 48 | 56.765 % |
44.80/44.87 c | 146006 | 3969 17914 48312 | 36070 42072 49 | 56.765 % |
45.00/45.06 c | 146518 | 3969 17914 48312 | 36070 31287 46 | 56.765 % |
45.20/45.22 c | 147030 | 3969 17914 48312 | 36070 31798 45 | 56.852 % |
45.60/45.62 c | 148056 | 3968 17914 48312 | 36070 32823 46 | 56.863 % |
45.70/45.77 c | 148569 | 3968 17914 48312 | 36070 33336 46 | 56.864 % |
45.90/45.97 c | 149082 | 3968 17914 48312 | 36070 33849 46 | 56.863 % |
46.20/46.29 c | 150106 | 3968 17914 48312 | 34768 34873 46 | 56.863 % |
47.10/47.16 c | 152154 | 3968 17914 48312 | 34768 36921 45 | 56.863 % |
48.90/48.93 c | 156253 | 3960 17853 48138 | 34768 32974 43 | 56.863 % |
49.10/49.11 c | 156765 | 3960 17853 48138 | 34768 33486 43 | 56.863 % |
49.20/49.21 c | 157278 | 3960 17853 48138 | 34768 33999 43 | 56.863 % |
49.50/49.59 c | 158304 | 3960 17853 48138 | 34768 35025 43 | 56.864 % |
49.70/49.78 c | 158817 | 3960 17853 48138 | 34768 35538 43 | 56.863 % |
49.90/49.98 c | 159330 | 3960 17853 48138 | 34768 36051 44 | 56.863 % |
50.20/50.28 c | 160355 | 3960 17853 48138 | 36721 37076 43 | 56.863 % |
51.20/51.21 c | 162403 | 3960 17853 48138 | 36721 39124 47 | 56.863 % |
51.20/51.30 c | 162916 | 3960 17853 48138 | 36721 39637 47 | 56.863 % |
51.40/51.49 c | 163430 | 3960 17853 48138 | 36721 40151 48 | 56.863 % |
51.60/51.66 c | 164454 | 3960 17853 48138 | 36721 41175 47 | 56.863 % |
51.80/51.88 c | 164968 | 3960 17853 48138 | 36721 41689 48 | 56.863 % |
52.00/52.06 c | 165481 | 3960 17853 48138 | 36721 42202 49 | 56.863 % |
52.10/52.17 c | 166505 | 3960 17853 48138 | 36721 32296 46 | 56.863 % |
52.80/52.91 c | 168554 | 3960 17853 48138 | 36721 34345 52 | 56.863 % |
54.40/54.48 c | 172654 | 3960 17853 48138 | 35794 38445 51 | 56.863 % |
58.10/58.13 c | 180846 | 3960 17853 48138 | 33074 33919 59 | 56.863 % |
63.40/63.42 c | 197230 | 3960 17853 48138 | 32349 39579 46 | 56.863 % |
72.40/72.42 c | 230000 | 3957 17840 48101 | 32668 34389 52 | 56.895 % |
72.50/72.51 c | 230514 | 3957 17840 48101 | 34389 34903 52 | 56.895 % |
72.60/72.68 c | 231029 | 3957 17840 48101 | 34389 35418 52 | 56.895 % |
72.90/73.00 c | 232053 | 3957 17840 48101 | 34389 36442 53 | 56.895 % |
73.20/73.26 c | 232566 | 3957 17840 48101 | 34389 36955 53 | 56.895 % |
73.30/73.40 c | 233078 | 3957 17840 48101 | 34389 37467 52 | 56.895 % |
73.60/73.68 c | 234102 | 3926 17720 47741 | 34389 38473 51 | 57.266 % |
74.30/74.35 c | 236150 | 3923 17720 47741 | 34389 40521 51 | 57.266 % |
74.40/74.43 c | 236663 | 3923 17720 47741 | 34389 31865 54 | 57.266 % |
74.60/74.63 c | 237177 | 3923 17720 47741 | 34389 32379 55 | 57.266 % |
74.80/74.85 c | 238202 | 3923 17720 47741 | 34389 33404 54 | 57.266 % |
74.90/74.94 c | 238714 | 3923 17720 47741 | 34389 33916 54 | 57.266 % |
75.10/75.12 c | 239226 | 3923 17720 47741 | 34389 34428 54 | 57.266 % |
75.30/75.35 c | 240253 | 3923 17720 47741 | 35202 35455 53 | 57.266 % |
75.90/75.92 c | 242302 | 3923 17720 47741 | 35202 37504 54 | 57.266 % |
76.50/76.56 c | 246398 | 3923 17720 47741 | 35202 41600 52 | 57.266 % |
76.70/76.71 c | 246911 | 3923 17696 47670 | 35202 30930 49 | 57.266 % |
76.70/76.80 c | 247423 | 3923 17696 47670 | 35202 31442 49 | 57.266 % |
77.10/77.18 c | 248447 | 3923 17696 47670 | 35202 32466 53 | 57.266 % |
77.20/77.27 c | 248960 | 3923 17696 47670 | 35202 32979 52 | 57.266 % |
77.30/77.38 c | 249473 | 3923 17696 47670 | 35202 33492 52 | 57.266 % |
77.50/77.60 c | 250499 | 3923 17696 47670 | 34020 34518 51 | 57.266 % |
78.20/78.24 c | 252547 | 3923 17696 47670 | 34020 36566 55 | 57.266 % |
78.30/78.40 c | 253059 | 3923 17696 47670 | 34020 37078 55 | 57.266 % |
78.50/78.58 c | 253572 | 3923 17696 47670 | 34020 37591 55 | 57.266 % |
78.70/78.75 c | 254596 | 3923 17696 47670 | 34020 38615 55 | 57.266 % |
78.90/78.91 c | 255109 | 3923 17696 47670 | 34020 39128 55 | 57.266 % |
79.00/79.05 c | 255621 | 3923 17696 47670 | 34020 29557 47 | 57.266 % |
79.10/79.16 c | 256646 | 3923 17696 47670 | 34020 30582 47 | 57.266 % |
79.60/79.63 c | 258695 | 3923 17696 47670 | 34020 32631 53 | 57.266 % |
80.70/80.80 c | 262792 | 3922 17696 47670 | 33935 36727 59 | 57.288 % |
83.30/83.36 c | 270985 | 3921 17689 47648 | 33148 34131 69 | 57.288 % |
83.50/83.59 c | 271497 | 3921 17689 47648 | 33148 34643 69 | 57.288 % |
83.70/83.77 c | 272012 | 3921 17689 47648 | 33148 35158 69 | 57.288 % |
84.00/84.08 c | 273036 | 3921 17689 47648 | 33148 36182 69 | 57.288 % |
84.20/84.25 c | 273550 | 3921 17689 47648 | 33148 36696 68 | 57.288 % |
84.40/84.45 c | 274062 | 3921 17689 47648 | 33148 37208 67 | 57.288 % |
84.60/84.72 c | 275086 | 3921 17689 47648 | 33148 38232 67 | 57.288 % |
85.50/85.51 c | 277134 | 3917 17669 47587 | 33148 40277 70 | 57.331 % |
85.50/85.60 c | 277646 | 3917 17669 47587 | 33148 31890 70 | 57.331 % |
85.70/85.74 c | 278158 | 3917 17669 47587 | 33148 32402 71 | 57.331 % |
86.00/86.05 c | 279183 | 3917 17669 47587 | 33148 33427 73 | 57.331 % |
86.20/86.28 c | 279695 | 3917 17669 47587 | 33148 33939 73 | 57.331 % |
86.30/86.39 c | 280209 | 3917 17669 47587 | 34247 34453 73 | 57.331 % |
86.60/86.69 c | 281235 | 3917 17669 47587 | 34247 35479 73 | 57.331 % |
87.10/87.20 c | 283284 | 3917 17669 47587 | 34247 37528 71 | 57.332 % |
88.80/88.84 c | 287380 | 3917 17669 47587 | 34247 41624 74 | 57.331 % |
89.00/89.03 c | 287893 | 3917 17669 47587 | 34247 32292 68 | 57.331 % |
89.20/89.22 c | 288405 | 3917 17669 47587 | 34247 32804 67 | 57.331 % |
89.50/89.53 c | 289430 | 3917 17669 47587 | 34247 33829 66 | 57.331 % |
89.60/89.62 c | 289943 | 3917 17669 47587 | 34247 34342 66 | 57.332 % |
89.70/89.80 c | 290457 | 3917 17669 47587 | 34400 34856 66 | 57.331 % |
90.00/90.08 c | 291481 | 3917 17669 47587 | 34400 35880 66 | 57.331 % |
90.80/90.88 c | 293529 | 3917 17669 47587 | 34400 37928 69 | 57.332 % |
90.90/90.97 c | 294044 | 3917 17669 47587 | 34400 38443 68 | 57.331 % |
91.00/91.05 c | 294556 | 3917 17669 47587 | 34400 38955 68 | 57.331 % |
91.40/91.43 c | 295581 | 3917 17669 47587 | 34400 39980 72 | 57.331 % |
91.70/91.75 c | 296094 | 3917 17669 47587 | 34400 30677 71 | 57.331 % |
91.80/91.87 c | 296607 | 3917 17669 47587 | 34400 31190 70 | 57.331 % |
92.10/92.18 c | 297631 | 3917 17669 47587 | 34400 32214 69 | 57.331 % |
92.70/92.78 c | 299680 | 3917 17669 47587 | 34400 34263 67 | 57.331 % |
94.10/94.17 c | 303776 | 3917 17669 47587 | 34583 38359 63 | 57.331 % |
96.50/96.55 c | 311969 | 3917 17669 47587 | 35244 37211 49 | 57.332 % |
102.20/102.24 c | 328353 | 3917 17669 47587 | 34777 31548 62 | 57.331 % |
102.40/102.44 c | 328866 | 3917 17669 47587 | 34777 32061 63 | 57.331 % |
102.60/102.61 c | 329378 | 3916 17663 47569 | 34777 32571 63 | 57.342 % |
102.90/103.00 c | 330402 | 3916 17663 47569 | 33193 33595 63 | 57.342 % |
103.10/103.17 c | 330914 | 3916 17663 47569 | 33193 34107 62 | 57.342 % |
103.30/103.35 c | 331426 | 3916 17663 47569 | 33193 34619 62 | 57.342 % |
103.70/103.72 c | 332450 | 3916 17663 47569 | 33193 35643 61 | 57.342 % |
104.40/104.50 c | 334498 | 3916 17663 47569 | 33193 37691 60 | 57.342 % |
104.60/104.67 c | 335012 | 3916 17663 47569 | 33193 38205 60 | 57.342 % |
104.80/104.87 c | 335524 | 3916 17663 47569 | 33193 38717 61 | 57.342 % |
105.10/105.17 c | 336550 | 3916 17663 47569 | 33193 30025 70 | 57.342 % |
105.30/105.36 c | 337064 | 3914 17663 47569 | 33193 30538 69 | 57.365 % |
105.50/105.56 c | 337577 | 3914 17663 47569 | 33193 31051 68 | 57.364 % |
105.90/105.92 c | 338601 | 3914 17656 47547 | 33193 32074 67 | 57.364 % |
106.50/106.53 c | 340652 | 3914 17656 47547 | 33473 34125 64 | 57.364 % |
107.40/107.43 c | 344748 | 3914 17656 47547 | 33473 38221 65 | 57.364 % |
107.40/107.47 c | 345260 | 3914 17656 47547 | 33473 38733 64 | 57.364 % |
107.70/107.73 c | 345776 | 3914 17656 47547 | 33473 39249 66 | 57.364 % |
107.81/107.88 c | 346800 | 3914 17656 47547 | 33473 32066 55 | 57.364 % |
108.00/108.10 c | 347314 | 3914 17656 47547 | 33473 32580 59 | 57.364 % |
108.10/108.15 c | 347828 | 3914 17656 47547 | 33473 33094 58 | 57.364 % |
108.40/108.41 c | 348855 | 3914 17656 47547 | 33473 34121 59 | 57.364 % |
108.60/108.64 c | 350905 | 3914 17656 47547 | 35271 36171 57 | 57.364 % |
108.80/108.84 c | 351417 | 3914 17656 47547 | 35271 36683 59 | 57.365 % |
108.91/108.94 c | 351929 | 3914 17656 47547 | 35271 37195 59 | 57.364 % |
109.10/109.12 c | 352954 | 3914 17656 47547 | 35271 38220 59 | 57.364 % |
109.30/109.35 c | 353466 | 3914 17656 47547 | 35271 38732 59 | 57.365 % |
109.50/109.50 c | 353978 | 3914 17656 47547 | 35271 39244 59 | 57.364 % |
109.70/109.73 c | 355003 | 3914 17656 47547 | 35271 40269 59 | 57.364 % |
110.50/110.57 c | 357051 | 3914 17656 47547 | 35271 42317 61 | 57.364 % |
111.60/111.64 c | 361147 | 3914 17656 47547 | 34248 35395 56 | 57.364 % |
114.41/114.46 c | 369340 | 3914 17656 47547 | 34248 35242 56 | 57.364 % |
114.60/114.65 c | 369852 | 3914 17656 47547 | 34248 35754 55 | 57.364 % |
114.80/114.84 c | 370364 | 3914 17656 47547 | 35902 36266 56 | 57.364 % |
115.10/115.11 c | 371388 | 3914 17656 47547 | 35902 37290 55 | 57.364 % |
115.20/115.27 c | 371900 | 3914 17656 47547 | 35902 37802 55 | 57.364 % |
115.30/115.37 c | 372412 | 3914 17656 47547 | 35902 38314 55 | 57.364 % |
115.60/115.67 c | 373436 | 3914 17656 47547 | 35902 39338 56 | 57.364 % |
116.00/116.03 c | 375484 | 3914 17656 47547 | 35902 41386 54 | 57.364 % |
116.20/116.22 c | 375997 | 3914 17656 47547 | 35902 32143 47 | 57.364 % |
116.20/116.30 c | 376510 | 3914 17656 47547 | 35902 32656 47 | 57.364 % |
116.61/116.65 c | 377534 | 3914 17656 47547 | 35902 33680 50 | 57.364 % |
116.81/116.85 c | 378046 | 3914 17656 47547 | 35902 34192 50 | 57.364 % |
117.01/117.03 c | 378558 | 3914 17656 47547 | 35902 34704 50 | 57.364 % |
117.31/117.39 c | 379583 | 3914 17656 47547 | 35902 35729 50 | 57.364 % |
118.01/118.11 c | 381631 | 3914 17656 47547 | 36146 37777 51 | 57.364 % |
119.31/119.33 c | 385728 | 3914 17656 47547 | 36146 41874 62 | 57.365 % |
119.41/119.51 c | 386240 | 3914 17656 47547 | 36146 33012 61 | 57.364 % |
119.71/119.75 c | 386758 | 3914 17656 47547 | 36146 33530 63 | 57.364 % |
119.81/119.90 c | 387782 | 3914 17656 47547 | 36146 34554 62 | 57.364 % |
120.11/120.11 c | 388294 | 3914 17656 47547 | 36146 35066 63 | 57.364 % |
120.11/120.21 c | 388806 | 3914 17656 47547 | 36146 35578 62 | 57.364 % |
120.51/120.60 c | 389830 | 3914 17656 47547 | 36146 36602 65 | 57.364 % |
121.11/121.21 c | 391879 | 3914 17656 47547 | 36773 38651 66 | 57.364 % |
121.41/121.44 c | 392391 | 3914 17656 47547 | 36773 39163 68 | 57.364 % |
121.51/121.56 c | 392903 | 3914 17656 47547 | 36773 39675 67 | 57.364 % |
121.91/121.95 c | 393927 | 3914 17656 47547 | 36773 40699 70 | 57.364 % |
122.01/122.02 c | 394439 | 3914 17656 47547 | 36773 41211 70 | 57.364 % |
122.21/122.26 c | 394951 | 3914 17656 47547 | 36773 41723 71 | 57.364 % |
122.41/122.43 c | 395976 | 3914 17656 47547 | 36773 42748 69 | 57.365 % |
123.21/123.25 c | 398024 | 3914 17656 47547 | 36773 33405 77 | 57.364 % |
125.11/125.17 c | 402120 | 3914 17656 47547 | 35384 37501 73 | 57.364 % |
128.41/128.47 c | 410312 | 3899 17608 47391 | 35610 35922 75 | 57.527 % |
132.31/132.41 c | 426696 | 3890 17608 47391 | 32121 25567 45 | 57.625 % |
140.91/140.93 c | 459465 | 3890 17608 47391 | 33033 34856 42 | 57.625 % |
164.01/164.07 c | 525002 | 3890 17566 47271 | 32356 37358 47 | 57.625 % |
164.21/164.23 c | 525514 | 3890 17566 47271 | 32356 37870 47 | 57.626 % |
164.41/164.41 c | 526026 | 3890 17566 47271 | 32356 28795 47 | 57.625 % |
164.81/164.85 c | 527050 | 3868 17487 47024 | 32356 29809 47 | 57.865 % |
164.91/165.00 c | 527563 | 3868 17487 47024 | 32356 30322 47 | 57.865 % |
165.11/165.15 c | 528075 | 3864 17487 47024 | 32356 30830 46 | 57.985 % |
165.51/165.52 c | 529100 | 3857 17487 47024 | 32356 31855 46 | 57.985 % |
165.81/165.90 c | 531148 | 3857 17487 47024 | 32757 33903 45 | 57.985 % |
166.01/166.01 c | 531661 | 3857 17487 47024 | 32757 34416 45 | 57.985 % |
166.01/166.11 c | 532174 | 3857 17415 46820 | 32757 34915 45 | 57.985 % |
166.31/166.38 c | 533202 | 3857 17415 46820 | 32757 35943 45 | 57.986 % |
166.41/166.48 c | 533716 | 3857 17415 46820 | 32757 36457 44 | 57.985 % |
166.61/166.62 c | 534230 | 3855 17415 46820 | 32757 36970 44 | 58.007 % |
166.91/166.97 c | 535255 | 3855 17415 46820 | 32757 37995 45 | 58.007 % |
167.51/167.56 c | 537303 | 3855 17415 46820 | 32757 31965 47 | 58.007 % |
168.21/168.32 c | 541401 | 3855 17415 46820 | 34663 36063 45 | 58.007 % |
168.41/168.49 c | 541913 | 3855 17405 46792 | 34663 36572 45 | 58.007 % |
168.61/168.62 c | 542425 | 3855 17405 46792 | 34663 37084 45 | 58.007 % |
168.81/168.81 c | 543451 | 3855 17405 46792 | 34663 38110 45 | 58.007 % |
168.91/168.98 c | 543964 | 3855 17405 46792 | 34663 38623 46 | 58.007 % |
169.01/169.05 c | 544476 | 3855 17405 46792 | 34663 39135 46 | 58.007 % |
169.31/169.34 c | 545500 | 3855 17405 46792 | 34663 40159 47 | 58.007 % |
170.11/170.18 c | 547550 | 3852 17405 46792 | 34663 33293 43 | 58.388 % |
170.31/170.37 c | 548064 | 3852 17405 46792 | 34663 33807 43 | 58.388 % |
170.41/170.45 c | 548576 | 3852 17405 46792 | 34663 34319 43 | 58.388 % |
170.81/170.84 c | 549601 | 3820 17243 46304 | 34663 35301 45 | 58.388 % |
170.81/170.90 c | 550115 | 3820 17243 46304 | 35700 35815 45 | 58.388 % |
170.91/170.99 c | 550627 | 3820 17243 46304 | 35700 36327 45 | 58.388 % |
171.11/171.19 c | 551655 | 3820 17243 46304 | 35700 37355 44 | 58.388 % |
171.71/171.75 c | 553703 | 3819 17243 46304 | 35700 39402 46 | 58.399 % |
173.21/173.30 c | 557801 | 3819 17243 46304 | 35700 33229 48 | 58.399 % |
175.01/175.03 c | 565993 | 3819 17238 46290 | 35429 41421 48 | 58.399 % |
175.11/175.17 c | 566505 | 3819 17238 46290 | 35429 32000 49 | 58.399 % |
175.31/175.36 c | 567018 | 3819 17238 46290 | 35429 32513 50 | 58.399 % |
175.81/175.90 c | 568043 | 3818 17238 46290 | 35429 33537 53 | 58.420 % |
176.02/176.06 c | 568555 | 3817 17230 46264 | 35429 34046 53 | 58.421 % |
176.21/176.25 c | 569071 | 3817 17230 46264 | 35429 34562 55 | 58.421 % |
176.41/176.45 c | 570096 | 3817 17230 46264 | 35491 35587 54 | 58.420 % |
177.31/177.37 c | 572144 | 3817 17230 46264 | 35491 37635 57 | 58.421 % |
177.51/177.54 c | 572657 | 3817 17230 46264 | 35491 38148 57 | 58.421 % |
177.61/177.66 c | 573169 | 3817 17230 46264 | 35491 38660 57 | 58.421 % |
178.01/178.10 c | 574194 | 3817 17230 46264 | 35491 39685 60 | 58.421 % |
178.22/178.26 c | 574706 | 3817 17230 46264 | 35491 40197 60 | 58.420 % |
178.41/178.47 c | 575219 | 3817 17230 46264 | 35491 40710 60 | 58.421 % |
178.81/178.88 c | 576243 | 3817 17230 46264 | 35491 41734 62 | 58.420 % |
179.32/179.34 c | 578292 | 3817 17230 46264 | 35491 32200 61 | 58.420 % |
180.42/180.42 c | 582388 | 3817 17230 46264 | 33909 36296 62 | 58.421 % |
180.51/180.58 c | 582900 | 3817 17230 46264 | 33909 36808 62 | 58.420 % |
180.71/180.78 c | 583412 | 3817 17230 46264 | 33909 37320 62 | 58.421 % |
180.91/181.00 c | 584437 | 3817 17230 46264 | 33909 38345 61 | 58.420 % |
181.21/181.23 c | 584950 | 3817 17230 46264 | 33909 38858 63 | 58.421 % |
181.31/181.31 c | 585462 | 3817 17230 46264 | 33909 39370 62 | 58.420 % |
181.71/181.77 c | 586487 | 3817 17230 46264 | 33909 31123 67 | 58.420 % |
182.11/182.12 c | 588536 | 3817 17230 46264 | 33909 33172 64 | 58.421 % |
182.31/182.32 c | 589048 | 3817 17230 46264 | 33909 33684 65 | 58.420 % |
182.41/182.45 c | 589562 | 3817 17230 46264 | 33909 34198 65 | 58.420 % |
182.71/182.73 c | 590586 | 3815 17223 46241 | 34635 35220 64 | 58.442 % |
182.91/182.91 c | 591098 | 3815 17223 46241 | 34635 35732 64 | 58.442 % |
183.01/183.08 c | 591610 | 3815 17223 46241 | 34635 36244 66 | 58.442 % |
183.21/183.26 c | 592634 | 3815 17223 46241 | 34635 37268 65 | 58.442 % |
183.91/183.91 c | 594683 | 3815 17223 46241 | 34635 39317 71 | 58.442 % |
184.71/184.78 c | 598781 | 3815 17223 46241 | 34635 31769 56 | 58.442 % |
187.61/187.64 c | 606973 | 3815 17223 46241 | 32989 39961 73 | 58.442 % |
191.91/191.91 c | 623358 | 3813 17213 46213 | 31014 34372 60 | 58.464 % |
191.91/191.96 c | 623871 | 3813 17213 46213 | 31014 34885 59 | 58.464 % |
192.01/192.06 c | 624384 | 3813 17213 46213 | 31014 35398 59 | 58.465 % |
192.41/192.43 c | 625408 | 3813 17213 46213 | 31014 36422 61 | 58.464 % |
192.52/192.52 c | 625920 | 3813 17213 46213 | 31014 29276 56 | 58.464 % |
192.61/192.67 c | 626432 | 3813 17213 46213 | 31014 29788 58 | 58.464 % |
192.71/192.79 c | 627456 | 3813 17213 46213 | 31014 30812 56 | 58.464 % |
193.51/193.58 c | 629504 | 3813 17213 46213 | 31014 32860 64 | 58.464 % |
193.71/193.71 c | 630019 | 3813 17213 46213 | 33357 33375 63 | 58.464 % |
193.91/193.93 c | 630531 | 3813 17213 46213 | 33357 33887 66 | 58.464 % |
194.11/194.20 c | 631556 | 3813 17213 46213 | 33357 34912 64 | 58.464 % |
194.31/194.36 c | 632068 | 3813 17213 46213 | 33357 35424 65 | 58.464 % |
194.41/194.49 c | 632581 | 3813 17213 46213 | 33357 35937 64 | 58.464 % |
194.81/194.83 c | 633607 | 3813 17213 46213 | 33357 36963 67 | 58.464 % |
195.01/195.06 c | 635656 | 3813 17213 46213 | 33357 39012 65 | 58.465 % |
196.31/196.40 c | 639752 | 3813 17213 46213 | 33357 34587 58 | 58.464 % |
196.51/196.54 c | 640265 | 3813 17213 46213 | 34835 35100 57 | 58.464 % |
196.61/196.62 c | 640777 | 3813 17213 46213 | 34835 35612 57 | 58.464 % |
197.01/197.02 c | 641801 | 3813 17213 46213 | 34835 36636 62 | 58.464 % |
197.11/197.14 c | 642314 | 3813 17213 46213 | 34835 37149 61 | 58.464 % |
197.31/197.33 c | 642826 | 3813 17213 46213 | 34835 37661 62 | 58.464 % |
197.51/197.51 c | 643850 | 3813 17213 46213 | 34835 38685 61 | 58.464 % |
198.11/198.14 c | 645900 | 3813 17213 46213 | 34835 40735 62 | 58.464 % |
198.22/198.29 c | 646412 | 3813 17213 46213 | 34835 31593 67 | 58.464 % |
198.41/198.43 c | 646924 | 3813 17213 46213 | 34835 32105 67 | 58.465 % |
198.62/198.63 c | 647948 | 3813 17213 46213 | 34835 33129 66 | 58.464 % |
198.82/198.82 c | 648462 | 3813 17213 46213 | 34835 33643 67 | 58.465 % |
198.92/198.92 c | 648975 | 3813 17213 46213 | 34835 34156 66 | 58.464 % |
199.12/199.18 c | 649999 | 3813 17213 46213 | 34835 35180 66 | 58.464 % |
199.82/199.89 c | 652050 | 3808 17179 46117 | 35181 37217 64 | 58.519 % |
201.52/201.60 c | 656146 | 3808 17179 46117 | 35181 41313 73 | 58.519 % |
204.32/204.40 c | 664339 | 3808 17179 46117 | 35111 39448 67 | 58.519 % |
204.52/204.59 c | 664851 | 3808 17179 46117 | 35111 39960 67 | 58.519 % |
204.72/204.78 c | 665364 | 3808 17179 46117 | 35111 40473 67 | 58.519 % |
205.02/205.11 c | 666388 | 3808 17179 46117 | 35111 41497 66 | 58.519 % |
205.22/205.31 c | 666900 | 3808 17179 46117 | 35111 32393 64 | 58.519 % |
205.52/205.52 c | 667414 | 3808 17179 46117 | 35111 32907 64 | 58.519 % |
205.82/205.87 c | 668438 | 3808 17179 46117 | 35111 33931 63 | 58.519 % |
206.42/206.44 c | 670488 | 3808 17179 46117 | 35493 35981 61 | 58.519 % |
206.52/206.61 c | 671001 | 3808 17179 46117 | 35493 36494 61 | 58.519 % |
206.72/206.78 c | 671514 | 3808 17179 46117 | 35493 37007 60 | 58.519 % |
206.92/206.95 c | 672540 | 3808 17179 46117 | 35493 38033 60 | 58.519 % |
207.02/207.02 c | 673053 | 3808 17179 46117 | 35493 38546 60 | 58.519 % |
207.12/207.15 c | 673566 | 3808 17179 46117 | 35493 39059 60 | 58.519 % |
207.42/207.44 c | 674590 | 3808 17179 46117 | 35493 40083 63 | 58.519 % |
208.42/208.46 c | 676638 | 3808 17179 46117 | 35493 31089 51 | 58.519 % |
209.82/209.91 c | 680735 | 3807 17174 46104 | 34451 35185 67 | 58.529 % |
209.92/210.00 c | 681249 | 3807 17174 46104 | 34451 35699 66 | 58.530 % |
210.12/210.20 c | 681761 | 3807 17174 46104 | 34451 36211 67 | 58.529 % |
210.42/210.47 c | 682786 | 3807 17174 46104 | 34451 37236 67 | 58.529 % |
210.52/210.61 c | 683299 | 3807 17174 46104 | 34451 37749 67 | 58.529 % |
210.72/210.74 c | 683813 | 3807 17174 46104 | 34451 38263 66 | 58.530 % |
211.12/211.15 c | 684839 | 3807 17174 46104 | 34451 39289 67 | 58.529 % |
211.52/211.53 c | 686887 | 3807 17174 46104 | 34451 41337 65 | 58.529 % |
211.72/211.74 c | 687400 | 3807 17174 46104 | 34451 31612 61 | 58.529 % |
211.92/211.94 c | 687912 | 3807 17174 46104 | 34451 32124 61 | 58.529 % |
212.22/212.22 c | 688936 | 3807 17174 46104 | 34451 33148 62 | 58.529 % |
212.42/212.42 c | 689450 | 3807 17174 46104 | 34451 33662 62 | 58.529 % |
212.62/212.64 c | 689963 | 3807 17174 46104 | 34451 34175 61 | 58.529 % |
213.02/213.08 c | 690988 | 3807 17174 46104 | 34213 35200 62 | 58.529 % |
213.92/213.91 c | 693036 | 3807 17174 46104 | 34213 37248 72 | 58.529 % |
215.52/215.59 c | 697135 | 3807 17174 46104 | 34213 32215 76 | 58.529 % |
219.12/219.11 c | 705327 | 3802 17152 46040 | 35080 40375 78 | 58.584 % |
225.42/225.42 c | 721712 | 3795 17130 45974 | 38123 39835 65 | 58.660 % |
237.52/237.55 c | 754480 | 3795 17130 45974 | 30421 34901 102 | 58.660 % |
237.72/237.72 c | 754993 | 3795 17130 45974 | 30421 35414 103 | 58.660 % |
237.72/237.77 c | 755505 | 3795 17130 45974 | 30421 35926 101 | 58.660 % |
238.02/238.10 c | 756529 | 3795 17130 45974 | 30421 29246 119 | 58.660 % |
238.12/238.20 c | 757042 | 3795 17130 45974 | 30421 29759 117 | 58.660 % |
238.32/238.35 c | 757555 | 3795 17130 45974 | 30421 30272 117 | 58.660 % |
238.72/238.78 c | 758579 | 3795 17130 45974 | 30421 31296 114 | 58.661 % |
239.32/239.40 c | 760627 | 3795 17130 45974 | 32718 33344 112 | 58.660 % |
239.42/239.47 c | 761140 | 3795 17130 45974 | 32718 33857 111 | 58.661 % |
239.62/239.63 c | 761652 | 3795 17130 45974 | 32718 34369 111 | 58.660 % |
239.72/239.75 c | 762678 | 3795 17130 45974 | 32718 35395 108 | 58.660 % |
239.92/239.92 c | 763193 | 3795 17130 45974 | 32718 35910 108 | 58.660 % |
239.92/240.01 c | 763705 | 3795 17130 45974 | 32718 36422 107 | 58.661 % |
240.42/240.48 c | 764730 | 3795 17130 45974 | 32718 37447 108 | 58.660 % |
240.82/240.83 c | 766782 | 3795 17130 45974 | 32718 39499 104 | 58.660 % |
242.32/242.34 c | 770878 | 3795 17130 45974 | 34032 34910 77 | 58.660 % |
242.42/242.45 c | 771390 | 3795 17130 45974 | 34032 35422 76 | 58.660 % |
242.52/242.59 c | 771902 | 3795 17130 45974 | 34032 35934 76 | 58.660 % |
242.82/242.86 c | 772926 | 3795 17130 45974 | 34032 36958 74 | 58.660 % |
243.02/243.07 c | 773438 | 3795 17130 45974 | 34032 37470 74 | 58.660 % |
243.22/243.27 c | 773950 | 3795 17130 45974 | 34032 37982 73 | 58.660 % |
243.52/243.53 c | 774975 | 3795 17130 45974 | 34032 39007 73 | 58.660 % |
244.22/244.25 c | 777025 | 3795 17130 45974 | 34032 41057 70 | 58.660 % |
244.42/244.48 c | 777537 | 3795 17130 45974 | 34032 32795 62 | 58.660 % |
244.62/244.64 c | 778051 | 3795 17130 45974 | 34032 33309 62 | 58.660 % |
245.02/245.09 c | 779076 | 3795 17130 45974 | 34032 34334 64 | 58.660 % |
245.22/245.25 c | 779590 | 3795 17130 45974 | 34032 34848 64 | 58.660 % |
245.52/245.53 c | 780102 | 3795 17130 45974 | 35258 35360 65 | 58.660 % |
245.62/245.68 c | 781126 | 3795 17130 45974 | 35258 36384 64 | 58.660 % |
246.52/246.61 c | 783176 | 3795 17130 45974 | 35258 38434 67 | 58.661 % |
247.92/248.00 c | 787272 | 3795 17130 45974 | 35258 32117 58 | 58.660 % |
251.62/251.62 c | 795466 | 3795 17130 45974 | 34847 40311 73 | 58.660 % |
251.72/251.74 c | 795979 | 3795 17130 45974 | 34847 29930 69 | 58.660 % |
252.02/252.04 c | 796493 | 3795 17130 45974 | 34847 30444 71 | 58.660 % |
252.12/252.12 c | 797524 | 3795 17130 45974 | 34847 31475 69 | 58.660 % |
252.22/252.25 c | 798036 | 3795 17130 45974 | 34847 31987 70 | 58.660 % |
252.42/252.46 c | 798550 | 3791 17106 45906 | 34847 32494 70 | 58.704 % |
252.72/252.78 c | 799574 | 3791 17106 45906 | 34847 33518 68 | 58.704 % |
253.62/253.66 c | 801622 | 3791 17106 45906 | 33946 35566 66 | 58.704 % |
253.82/253.83 c | 802135 | 3791 17106 45906 | 33946 36079 66 | 58.704 % |
254.02/254.02 c | 802649 | 3791 17106 45906 | 33946 36593 65 | 58.704 % |
254.32/254.34 c | 803675 | 3791 17106 45906 | 33946 37619 65 | 58.705 % |
254.52/254.58 c | 804188 | 3791 17106 45906 | 33946 38132 64 | 58.704 % |
254.72/254.78 c | 804702 | 3791 17106 45906 | 33946 38646 64 | 58.704 % |
255.32/255.37 c | 805728 | 3791 17106 45906 | 33946 39672 63 | 58.705 % |
256.02/256.09 c | 807777 | 3791 17106 45906 | 33946 31818 62 | 58.704 % |
257.52/257.60 c | 811873 | 3791 17106 45906 | 34042 35914 59 | 58.704 % |
257.62/257.70 c | 812385 | 3791 17106 45906 | 34042 36426 59 | 58.704 % |
257.92/257.93 c | 812898 | 3791 17106 45906 | 34042 36939 59 | 58.704 % |
258.12/258.14 c | 813924 | 3791 17106 45906 | 34042 37965 58 | 58.704 % |
258.32/258.31 c | 814437 | 3791 17106 45906 | 34042 38478 59 | 58.704 % |
258.32/258.36 c | 814949 | 3791 17106 45906 | 34042 38990 59 | 58.704 % |
258.62/258.70 c | 815977 | 3791 17106 45906 | 34042 40018 61 | 58.704 % |
258.92/258.91 c | 818026 | 3791 17106 45906 | 34042 32180 41 | 58.704 % |
259.02/259.08 c | 818538 | 3791 17106 45906 | 34042 32692 43 | 58.704 % |
259.22/259.26 c | 819050 | 3791 17106 45906 | 34042 33204 43 | 58.704 % |
259.52/259.56 c | 820074 | 3791 17106 45906 | 34157 34228 45 | 58.704 % |
259.72/259.75 c | 820587 | 3791 17106 45906 | 34157 34741 45 | 58.705 % |
259.92/259.91 c | 821101 | 3791 17106 45906 | 34157 35255 45 | 58.704 % |
260.22/260.21 c | 822126 | 3791 17106 45906 | 34157 36280 45 | 58.704 % |
261.02/261.01 c | 824175 | 3791 17106 45906 | 34157 38329 49 | 58.704 % |
262.42/262.41 c | 828271 | 3791 17106 45906 | 34157 33896 54 | 58.704 % |
264.22/264.30 c | 836464 | 3791 17106 45906 | 35625 42089 55 | 58.704 % |
271.32/271.38 c | 852849 | 3791 17106 45906 | 32756 35605 130 | 58.704 % |
271.42/271.45 c | 853362 | 3791 17106 45906 | 32756 36118 129 | 58.704 % |
271.82/271.82 c | 853877 | 3791 17106 45906 | 32756 36633 131 | 58.704 % |
272.12/272.12 c | 854901 | 3791 17106 45906 | 32756 37657 130 | 58.704 % |
272.32/272.41 c | 855415 | 3791 17106 45906 | 32756 38171 132 | 58.704 % |
272.52/272.56 c | 855927 | 3791 17106 45906 | 32756 27095 159 | 58.704 % |
272.62/272.65 c | 856952 | 3791 17106 45906 | 32756 28120 154 | 58.704 % |
273.02/273.03 c | 859000 | 3791 17106 45906 | 32756 30168 145 | 58.704 % |
273.32/273.32 c | 859512 | 3791 17106 45906 | 32756 30680 148 | 58.704 % |
273.42/273.49 c | 860024 | 3791 17106 45906 | 31168 31192 146 | 58.704 % |
273.72/273.81 c | 861048 | 3791 17106 45906 | 31168 32216 143 | 58.704 % |
273.93/273.99 c | 861560 | 3791 17106 45906 | 31168 32728 141 | 58.704 % |
274.12/274.11 c | 862072 | 3791 17106 45906 | 31168 33240 139 | 58.704 % |
274.32/274.40 c | 863098 | 3791 17106 45906 | 31168 34266 136 | 58.704 % |
275.03/275.04 c | 865146 | 3791 17106 45906 | 31168 36314 130 | 58.705 % |
276.42/276.46 c | 869243 | 3791 17106 45906 | 31168 31826 103 | 58.704 % |
276.52/276.54 c | 869755 | 3791 17106 45906 | 31168 32338 102 | 58.704 % |
276.72/276.77 c | 870267 | 3791 17106 45906 | 32583 32850 103 | 58.704 % |
276.92/276.94 c | 871293 | 3791 17106 45906 | 32583 33876 101 | 58.704 % |
277.12/277.17 c | 871807 | 3791 17106 45906 | 32583 34390 101 | 58.704 % |
277.23/277.23 c | 872320 | 3791 17106 45906 | 32583 34903 100 | 58.704 % |
277.62/277.61 c | 873344 | 3791 17106 45906 | 32583 35927 101 | 58.704 % |
278.02/278.04 c | 875392 | 3791 17106 45906 | 32583 37975 97 | 58.704 % |
278.22/278.24 c | 875904 | 3791 17106 45906 | 32583 30040 65 | 58.704 % |
278.33/278.34 c | 876416 | 3791 17106 45906 | 32583 30552 64 | 58.704 % |
278.62/278.69 c | 877441 | 3791 17106 45906 | 32583 31577 66 | 58.704 % |
278.82/278.82 c | 877954 | 3791 17106 45906 | 32583 32090 65 | 58.704 % |
278.92/278.96 c | 878466 | 3791 17106 45906 | 32583 32602 65 | 58.704 % |
279.22/279.29 c | 879491 | 3790 17100 45890 | 32583 33625 67 | 58.715 % |
280.02/280.08 c | 881539 | 3790 17100 45890 | 34134 35673 71 | 58.715 % |
281.23/281.22 c | 885635 | 3789 17100 45890 | 34134 39768 78 | 58.726 % |
282.73/282.78 c | 893828 | 3789 17100 45890 | 33902 37729 70 | 58.726 % |
282.93/282.96 c | 894341 | 3789 17095 45876 | 33902 38242 71 | 58.726 % |
283.03/283.04 c | 894853 | 3789 17095 45876 | 33902 38754 71 | 58.725 % |
283.33/283.33 c | 895877 | 3789 17095 45876 | 33902 39778 73 | 58.726 % |
283.43/283.45 c | 896390 | 3789 17095 45876 | 33902 29837 70 | 58.726 % |
283.53/283.59 c | 896902 | 3789 17095 45876 | 33902 30349 72 | 58.726 % |
283.83/283.82 c | 897926 | 3789 17095 45876 | 33902 31373 70 | 58.726 % |
284.13/284.16 c | 899975 | 3789 17095 45876 | 33902 33422 68 | 58.726 % |
284.33/284.35 c | 900489 | 3789 17095 45876 | 33447 33936 68 | 58.726 % |
284.43/284.50 c | 901002 | 3789 17095 45876 | 33447 34449 67 | 58.726 % |
284.83/284.89 c | 902026 | 3789 17095 45876 | 33447 35473 68 | 58.726 % |
285.03/285.07 c | 902541 | 3789 17095 45876 | 33447 35988 68 | 58.726 % |
285.23/285.26 c | 903054 | 3789 17095 45876 | 33447 36501 68 | 58.726 % |
285.53/285.54 c | 904079 | 3789 17095 45876 | 33447 37526 67 | 58.726 % |
286.23/286.25 c | 906127 | 3789 17095 45876 | 33447 39574 67 | 58.726 % |
287.43/287.45 c | 910223 | 3787 17087 45850 | 34665 34888 58 | 58.747 % |
287.53/287.57 c | 910735 | 3787 17087 45850 | 34665 35400 58 | 58.748 % |
287.73/287.73 c | 911247 | 3787 17087 45850 | 34665 35912 59 | 58.747 % |
287.93/287.98 c | 912272 | 3787 17087 45850 | 34665 36937 58 | 58.747 % |
288.13/288.20 c | 912786 | 3787 17087 45850 | 34665 37451 59 | 58.747 % |
288.23/288.31 c | 913298 | 3787 17087 45850 | 34665 37963 58 | 58.747 % |
288.63/288.68 c | 914325 | 3787 17087 45850 | 34665 38990 61 | 58.747 % |
289.03/289.05 c | 916377 | 3787 17087 45850 | 34665 41042 59 | 58.747 % |
289.23/289.26 c | 916889 | 3787 17087 45850 | 34665 31086 52 | 58.747 % |
289.33/289.37 c | 917401 | 3787 17087 45850 | 34665 31598 52 | 58.748 % |
289.73/289.76 c | 918426 | 3787 17087 45850 | 34665 32623 55 | 58.747 % |
289.83/289.87 c | 918939 | 3787 17087 45850 | 34665 33136 55 | 58.747 % |
290.03/290.02 c | 919452 | 3787 17087 45850 | 34665 33649 55 | 58.747 % |
290.33/290.38 c | 920477 | 3787 17087 45850 | 34198 34674 54 | 58.747 % |
290.93/291.01 c | 922525 | 3787 17087 45850 | 34198 36722 54 | 58.747 % |
293.03/293.04 c | 926623 | 3787 17087 45850 | 34198 40820 52 | 58.747 % |
296.23/296.31 c | 934816 | 3787 17087 45850 | 34367 39180 53 | 58.747 % |
302.43/302.47 c | 951201 | 3787 17087 45850 | 34442 35642 57 | 58.747 % |
317.63/317.66 c | 983969 | 3787 17087 45850 | 31171 35138 111 | 58.747 % |
340.33/340.33 c | 1049505 | 3783 17063 45782 | 27523 28241 59 | 58.791 % |
388.94/388.99 c | 1180580 | 3783 17063 45782 | 39867 40447 29 | 58.791 % |
389.04/389.10 c | 1181092 | 3783 17063 45782 | 39867 40959 30 | 58.791 % |
389.34/389.32 c | 1181604 | 3783 17063 45782 | 39867 41471 30 | 58.791 % |
389.54/389.53 c | 1182629 | 3783 17063 45782 | 39867 42496 31 | 58.791 % |
389.64/389.70 c | 1183142 | 3783 17063 45782 | 39867 43009 31 | 58.791 % |
389.84/389.87 c | 1183656 | 3783 17063 45782 | 39867 43523 31 | 58.791 % |
390.24/390.27 c | 1184681 | 3783 17063 45782 | 39867 44548 32 | 58.791 % |
391.04/391.11 c | 1186731 | 3783 17063 45782 | 39867 46598 36 | 58.791 % |
391.34/391.33 c | 1187243 | 3783 17063 45782 | 39867 35589 38 | 58.791 % |
391.44/391.50 c | 1187756 | 3783 17063 45782 | 39867 36102 38 | 58.791 % |
391.74/391.77 c | 1188780 | 3783 17063 45782 | 39867 37126 39 | 58.791 % |
391.94/391.95 c | 1189292 | 3783 17063 45782 | 39867 37638 39 | 58.791 % |
392.04/392.08 c | 1189804 | 3783 17063 45782 | 39867 38150 40 | 58.791 % |
392.34/392.41 c | 1190830 | 3783 17063 45782 | 38346 39176 39 | 58.791 % |
393.04/393.04 c | 1192878 | 3783 17063 45782 | 38346 41224 42 | 58.791 % |
395.04/395.05 c | 1196975 | 3783 17063 45782 | 38346 33192 43 | 58.791 % |
395.24/395.25 c | 1197487 | 3783 17063 45782 | 38346 33704 43 | 58.791 % |
395.44/395.43 c | 1198000 | 3783 17063 45782 | 38346 34217 44 | 58.791 % |
395.84/395.85 c | 1199025 | 3783 17063 45782 | 38346 35242 43 | 58.791 % |
396.04/396.03 c | 1199537 | 3783 17063 45782 | 38346 35754 43 | 58.791 % |
396.24/396.24 c | 1200049 | 3781 17056 45762 | 36213 36260 43 | 58.813 % |
396.54/396.61 c | 1201073 | 3781 17056 45762 | 36213 37284 44 | 58.813 % |
397.54/397.56 c | 1203121 | 3781 17056 45762 | 36213 39332 42 | 58.813 % |
397.84/397.83 c | 1203634 | 3781 17056 45762 | 36213 39845 42 | 58.813 % |
397.94/398.01 c | 1204146 | 3781 17056 45762 | 36213 40357 42 | 58.813 % |
398.34/398.39 c | 1205170 | 3781 17056 45762 | 36213 41381 42 | 58.813 % |
398.54/398.55 c | 1205683 | 3781 17056 45762 | 36213 41894 42 | 58.814 % |
398.84/398.84 c | 1206195 | 3781 17051 45748 | 36213 31857 42 | 58.813 % |
399.24/399.22 c | 1207221 | 3781 17051 45748 | 36213 32883 42 | 58.813 % |
399.43/399.41 c | 1209269 | 3781 17051 45748 | 36213 34931 41 | 58.813 % |
401.03/401.07 c | 1213367 | 3781 17051 45748 | 35662 39029 51 | 58.813 % |
403.73/403.78 c | 1221559 | 3781 17051 45748 | 34486 36045 61 | 58.813 % |
404.03/404.07 c | 1222071 | 3781 17051 45748 | 34486 36557 61 | 58.813 % |
404.23/404.27 c | 1222584 | 3781 17051 45748 | 34486 37070 62 | 58.813 % |
404.63/404.64 c | 1223608 | 3781 17051 45748 | 34486 38094 61 | 58.813 % |
404.73/404.73 c | 1224123 | 3781 17051 45748 | 34486 38609 61 | 58.813 % |
404.73/404.80 c | 1224639 | 3781 17051 45748 | 34486 39125 60 | 58.813 % |
405.03/405.09 c | 1225664 | 3781 17051 45748 | 34486 40150 63 | 58.813 % |
405.33/405.33 c | 1227714 | 3781 17051 45748 | 34486 31970 69 | 58.813 % |
405.43/405.48 c | 1228226 | 3781 17051 45748 | 34486 32482 70 | 58.813 % |
405.53/405.58 c | 1228740 | 3781 17051 45748 | 34486 32996 69 | 58.813 % |
405.93/405.95 c | 1229764 | 3781 17051 45748 | 34486 34020 71 | 58.813 % |
406.13/406.15 c | 1230276 | 3781 17051 45748 | 34257 34532 71 | 58.813 % |
406.33/406.35 c | 1230788 | 3781 17051 45748 | 34257 35044 71 | 58.813 % |
406.43/406.50 c | 1231813 | 3781 17051 45748 | 34257 36069 70 | 58.813 % |
407.33/407.31 c | 1233861 | 3781 17051 45748 | 34257 38117 75 | 58.813 % |
408.13/408.14 c | 1237957 | 3781 17051 45748 | 34257 31827 71 | 58.813 % |
408.23/408.25 c | 1238472 | 3781 17051 45748 | 34257 32342 70 | 58.813 % |
408.43/408.43 c | 1238985 | 3781 17051 45748 | 34257 32855 72 | 58.813 % |
408.63/408.61 c | 1240012 | 3781 17051 45748 | 33870 33882 71 | 58.813 % |
408.73/408.76 c | 1240524 | 3781 17051 45748 | 33870 34394 73 | 58.813 % |
409.03/409.02 c | 1241036 | 3781 17051 45748 | 33870 34906 72 | 58.813 % |
409.33/409.39 c | 1242060 | 3781 17051 45748 | 33870 35930 74 | 58.813 % |
410.53/410.51 c | 1244108 | 3781 17051 45748 | 33870 37978 74 | 58.813 % |
410.73/410.71 c | 1244622 | 3781 17051 45748 | 33870 38492 74 | 58.813 % |
410.93/410.96 c | 1245136 | 3781 17051 45748 | 33870 39006 73 | 58.813 % |
411.23/411.27 c | 1246160 | 3781 17051 45748 | 33870 40030 73 | 58.813 % |
411.43/411.48 c | 1246674 | 3781 17051 45748 | 33870 32426 60 | 58.813 % |
411.63/411.66 c | 1247186 | 3781 17051 45748 | 33870 32938 60 | 58.813 % |
411.93/411.98 c | 1248211 | 3781 17051 45748 | 33870 33963 58 | 58.813 % |
412.63/412.68 c | 1250259 | 3781 17051 45748 | 35754 36011 59 | 58.813 % |
414.23/414.21 c | 1254360 | 3781 17051 45748 | 35754 40112 57 | 58.813 % |
416.94/416.94 c | 1262552 | 3781 17051 45748 | 36532 39083 52 | 58.813 % |
422.63/422.70 c | 1278938 | 3781 17051 45748 | 36964 37709 59 | 58.813 % |
422.93/422.99 c | 1279453 | 3781 17051 45748 | 36964 38224 59 | 58.813 % |
423.13/423.14 c | 1279966 | 3781 17051 45748 | 36964 38737 59 | 58.813 % |
423.43/423.45 c | 1280990 | 3781 17051 45748 | 38771 39761 61 | 58.813 % |
423.54/423.55 c | 1281502 | 3781 17051 45748 | 38771 40273 61 | 58.813 % |
423.73/423.73 c | 1282014 | 3781 17051 45748 | 38771 40785 62 | 58.813 % |
424.33/424.35 c | 1283038 | 3781 17051 45748 | 38771 41809 61 | 58.813 % |
425.03/425.02 c | 1285087 | 3781 17051 45748 | 38771 43858 60 | 58.813 % |
425.23/425.30 c | 1285601 | 3781 17051 45748 | 38771 44372 60 | 58.813 % |
425.43/425.44 c | 1286116 | 3781 17051 45748 | 38771 34584 62 | 58.813 % |
425.74/425.77 c | 1287141 | 3781 17051 45748 | 38771 35609 63 | 58.813 % |
425.93/425.95 c | 1287655 | 3781 17051 45748 | 38771 36123 63 | 58.813 % |
426.13/426.13 c | 1288169 | 3781 17051 45748 | 38771 36637 63 | 58.813 % |
426.23/426.28 c | 1289193 | 3781 17051 45748 | 38771 37661 62 | 58.813 % |
427.13/427.16 c | 1291241 | 3781 17051 45748 | 38468 39709 65 | 58.813 % |
428.33/428.36 c | 1295338 | 3780 17046 45734 | 38468 43804 62 | 58.824 % |
428.53/428.58 c | 1295850 | 3780 17046 45734 | 38468 44316 62 | 58.824 % |
428.83/428.83 c | 1296362 | 3780 17046 45734 | 38468 34658 51 | 58.824 % |
429.13/429.10 c | 1297386 | 3780 17046 45734 | 38468 35682 51 | 58.824 % |
429.23/429.30 c | 1297898 | 3780 17046 45734 | 38468 36194 52 | 58.824 % |
429.43/429.46 c | 1298411 | 3780 17046 45734 | 38468 36707 52 | 58.824 % |
429.83/429.85 c | 1299436 | 3780 17046 45734 | 38468 37732 52 | 58.824 % |
430.63/430.68 c | 1301484 | 3780 17046 45734 | 38297 39780 51 | 58.824 % |
430.93/430.94 c | 1301996 | 3780 17046 45734 | 38297 40292 51 | 58.824 % |
431.13/431.15 c | 1302508 | 3780 17046 45734 | 38297 40804 51 | 58.824 % |
431.73/431.73 c | 1303533 | 3780 17046 45734 | 38297 41829 51 | 58.824 % |
431.93/431.96 c | 1304045 | 3780 17046 45734 | 38297 42341 50 | 58.824 % |
432.13/432.16 c | 1304560 | 3780 17046 45734 | 38297 42856 51 | 58.824 % |
432.63/432.63 c | 1305585 | 3780 17046 45734 | 38297 43881 52 | 58.824 % |
432.93/432.98 c | 1307633 | 3780 17046 45734 | 38297 35009 45 | 58.824 % |
434.33/434.36 c | 1311730 | 3780 17046 45734 | 37376 39106 60 | 58.824 % |
435.64/435.69 c | 1319922 | 3780 17046 45734 | 37376 34875 53 | 58.824 % |
435.83/435.88 c | 1320435 | 3780 17046 45734 | 34955 35388 54 | 58.824 % |
436.03/436.02 c | 1320948 | 3780 17046 45734 | 34955 35901 54 | 58.824 % |
436.33/436.40 c | 1321974 | 3780 17046 45734 | 34955 36927 53 | 58.824 % |
436.53/436.59 c | 1322487 | 3780 17046 45734 | 34955 37440 55 | 58.824 % |
436.74/436.73 c | 1323000 | 3780 17046 45734 | 34955 37953 55 | 58.824 % |
437.13/437.20 c | 1324025 | 3780 17046 45734 | 34955 38978 59 | 58.824 % |
437.53/437.57 c | 1326073 | 3780 17046 45734 | 34955 41026 57 | 58.824 % |
437.73/437.72 c | 1326585 | 3780 17046 45734 | 34955 30886 59 | 58.824 % |
437.93/437.96 c | 1327097 | 3780 17046 45734 | 34955 31398 59 | 58.824 % |
438.43/438.45 c | 1328123 | 3780 17046 45734 | 34955 32424 60 | 58.824 % |
438.53/438.58 c | 1328635 | 3780 17046 45734 | 34955 32936 59 | 58.824 % |
438.73/438.72 c | 1329150 | 3780 17046 45734 | 34955 33451 60 | 58.824 % |
438.94/438.94 c | 1330175 | 3780 17046 45734 | 34302 34476 59 | 58.824 % |
439.53/439.56 c | 1332224 | 3780 17046 45734 | 34302 36525 57 | 58.824 % |
441.23/441.23 c | 1336320 | 3780 17046 45734 | 34302 40621 67 | 58.824 % |
441.33/441.34 c | 1336834 | 3780 17046 45734 | 34302 31452 57 | 58.824 % |
441.53/441.57 c | 1337347 | 3780 17046 45734 | 34302 31965 60 | 58.824 % |
441.73/441.71 c | 1338371 | 3780 17046 45734 | 34302 32989 59 | 58.824 % |
441.93/441.96 c | 1338884 | 3780 17046 45734 | 34302 33502 61 | 58.824 % |
442.03/442.09 c | 1339396 | 3780 17046 45734 | 34302 34014 60 | 58.824 % |
442.43/442.42 c | 1340422 | 3780 17046 45734 | 34618 35040 62 | 58.824 % |
442.93/442.95 c | 1342471 | 3780 17046 45734 | 34618 37089 61 | 58.824 % |
443.13/443.12 c | 1342983 | 3780 17046 45734 | 34618 37601 63 | 58.824 % |
443.23/443.30 c | 1343495 | 3780 17046 45734 | 34618 38113 62 | 58.824 % |
443.53/443.55 c | 1344519 | 3780 17046 45734 | 34618 39137 62 | 58.824 % |
443.63/443.63 c | 1345031 | 3780 17046 45734 | 34618 39649 62 | 58.824 % |
443.73/443.77 c | 1345543 | 3780 17046 45734 | 34618 40161 64 | 58.824 % |
444.13/444.19 c | 1346567 | 3780 17046 45734 | 34618 32120 64 | 58.824 % |
444.84/444.90 c | 1348615 | 3780 17046 45734 | 34618 34168 68 | 58.824 % |
445.74/445.80 c | 1352711 | 3780 17046 45734 | 35554 38264 65 | 58.824 % |
449.74/449.75 c | 1360903 | 3780 17046 45734 | 33573 34476 100 | 58.824 % |
455.14/455.12 c | 1377289 | 3780 17046 45734 | 33643 32453 80 | 58.824 % |
465.94/465.92 c | 1410058 | 3780 17046 45734 | 32314 32372 99 | 58.824 % |
465.94/465.97 c | 1410571 | 3780 17046 45734 | 32314 32885 98 | 58.824 % |
466.24/466.29 c | 1411083 | 3780 17046 45734 | 32314 33397 102 | 58.824 % |
466.64/466.65 c | 1412107 | 3780 17046 45734 | 32314 34421 100 | 58.824 % |
466.84/466.84 c | 1412622 | 3780 17046 45734 | 32314 34936 99 | 58.824 % |
466.84/466.90 c | 1413134 | 3780 17046 45734 | 32314 35448 98 | 58.824 % |
467.24/467.28 c | 1414159 | 3780 17046 45734 | 32314 36473 98 | 58.824 % |
467.54/467.56 c | 1416207 | 3780 17046 45734 | 32314 38521 94 | 58.824 % |
467.74/467.73 c | 1416719 | 3780 17046 45734 | 32314 30711 78 | 58.824 % |
467.84/467.82 c | 1417232 | 3780 17046 45734 | 32314 31224 77 | 58.824 % |
468.04/468.10 c | 1418256 | 3780 17046 45734 | 32314 32248 77 | 58.824 % |
468.24/468.21 c | 1418769 | 3780 17046 45734 | 32314 32761 76 | 58.824 % |
468.34/468.39 c | 1419282 | 3780 17046 45734 | 32314 33274 77 | 58.824 % |
468.54/468.56 c | 1420308 | 3780 17046 45734 | 33992 34300 76 | 58.824 % |
469.34/469.36 c | 1422357 | 3780 17046 45734 | 33992 36349 78 | 58.824 % |
470.64/470.62 c | 1426454 | 3780 17046 45734 | 33992 40446 74 | 58.824 % |
470.84/470.83 c | 1426967 | 3780 17046 45734 | 33992 32217 54 | 58.824 % |
471.04/471.03 c | 1427479 | 3780 17046 45734 | 33992 32729 55 | 58.824 % |
471.14/471.19 c | 1428503 | 3780 17046 45734 | 33992 33753 54 | 58.824 % |
471.34/471.41 c | 1429015 | 3780 17046 45734 | 33992 34265 55 | 58.824 % |
471.54/471.57 c | 1429527 | 3780 17046 45734 | 33992 34777 55 | 58.824 % |
471.74/471.73 c | 1430552 | 3780 17046 45734 | 35251 35802 55 | 58.824 % |
472.54/472.55 c | 1432600 | 3780 17046 45734 | 35251 37850 58 | 58.824 % |
472.74/472.77 c | 1433112 | 3780 17046 45734 | 35251 38362 57 | 58.824 % |
472.94/473.00 c | 1433626 | 3780 17046 45734 | 35251 38876 57 | 58.824 % |
473.24/473.29 c | 1434650 | 3780 17046 45734 | 35251 39900 57 | 58.824 % |
473.44/473.45 c | 1435164 | 3780 17046 45734 | 35251 40414 57 | 58.824 % |
473.64/473.63 c | 1435676 | 3780 17046 45734 | 35251 40926 56 | 58.824 % |
474.14/474.16 c | 1436700 | 3780 17046 45734 | 35251 31800 51 | 58.824 % |
474.84/474.81 c | 1438749 | 3780 17046 45734 | 35251 33849 50 | 58.824 % |
476.14/476.15 c | 1442847 | 3780 17046 45734 | 35100 37947 54 | 58.824 % |
477.34/477.38 c | 1451040 | 3780 17046 45734 | 34504 35542 44 | 58.824 % |
477.54/477.51 c | 1451555 | 3780 17046 45734 | 34504 36057 45 | 58.824 % |
477.74/477.77 c | 1452068 | 3780 17046 45734 | 34504 36570 44 | 58.824 % |
478.04/478.05 c | 1453093 | 3780 17046 45734 | 34504 37595 44 | 58.824 % |
478.14/478.19 c | 1453605 | 3780 17046 45734 | 34504 38107 45 | 58.824 % |
478.24/478.29 c | 1454117 | 3780 17046 45734 | 34504 38619 45 | 58.824 % |
478.54/478.59 c | 1455141 | 3780 17046 45734 | 34504 39643 46 | 58.824 % |
479.14/479.14 c | 1457190 | 3780 17046 45734 | 34504 30001 40 | 58.824 % |
479.24/479.28 c | 1457707 | 3780 17046 45734 | 34504 30518 40 | 58.824 % |
479.34/479.40 c | 1458221 | 3780 17046 45734 | 34504 31032 41 | 58.824 % |
479.64/479.64 c | 1459245 | 3780 17046 45734 | 34504 32056 41 | 58.824 % |
479.74/479.80 c | 1459759 | 3780 17046 45734 | 34504 32570 42 | 58.824 % |
479.94/479.93 c | 1460271 | 3780 17046 45734 | 32813 33082 42 | 58.824 % |
480.24/480.30 c | 1461295 | 3780 17046 45734 | 32813 34106 46 | 58.824 % |
480.94/480.94 c | 1463343 | 3780 17046 45734 | 32813 36154 45 | 58.824 % |
482.34/482.40 c | 1467439 | 3780 17046 45734 | 32813 40250 52 | 58.824 % |
482.54/482.56 c | 1467951 | 3780 17046 45734 | 32813 31202 49 | 58.824 % |
482.64/482.70 c | 1468464 | 3780 17046 45734 | 32813 31715 50 | 58.824 % |
482.94/482.95 c | 1469490 | 3780 17046 45734 | 32813 32741 49 | 58.824 % |
483.14/483.12 c | 1470002 | 3780 17046 45734 | 33252 33253 50 | 58.824 % |
483.34/483.32 c | 1470514 | 3779 17044 45726 | 33252 33750 50 | 58.834 % |
483.54/483.54 c | 1471539 | 3779 17044 45726 | 33252 34775 50 | 58.834 % |
484.14/484.20 c | 1473588 | 3779 17044 45726 | 33252 36824 49 | 58.834 % |
484.34/484.32 c | 1474100 | 3779 17044 45726 | 33252 37336 50 | 58.835 % |
484.34/484.40 c | 1474612 | 3779 17044 45726 | 33252 37848 49 | 58.835 % |
484.54/484.60 c | 1475636 | 3779 17044 45726 | 33252 38872 49 | 58.835 % |
484.74/484.72 c | 1476148 | 3779 17044 45726 | 33252 31055 51 | 58.835 % |
484.84/484.85 c | 1476660 | 3779 17044 45726 | 33252 31567 53 | 58.835 % |
485.04/485.02 c | 1477685 | 3779 17044 45726 | 33252 32592 52 | 58.834 % |
485.84/485.88 c | 1479736 | 3779 17044 45726 | 33252 34643 57 | 58.835 % |
487.04/487.02 c | 1483834 | 3779 17044 45726 | 34907 38741 59 | 58.834 % |
490.84/490.82 c | 1492026 | 3779 17044 45726 | 34706 36732 66 | 58.835 % |
497.54/497.53 c | 1508410 | 3779 17044 45726 | 33657 29485 97 | 58.834 % |
497.54/497.56 c | 1508922 | 3779 17044 45726 | 33657 29997 95 | 58.834 % |
497.84/497.89 c | 1509434 | 3779 17044 45726 | 33657 30509 98 | 58.835 % |
497.94/497.95 c | 1510459 | 3779 17044 45726 | 31075 31534 95 | 58.834 % |
498.24/498.24 c | 1510971 | 3779 17044 45726 | 31075 32046 97 | 58.834 % |
498.24/498.29 c | 1511484 | 3779 17044 45726 | 31075 32559 96 | 58.835 % |
498.74/498.73 c | 1512511 | 3779 17044 45726 | 31075 33586 97 | 58.834 % |
498.94/498.95 c | 1514560 | 3779 17044 45726 | 31075 35635 93 | 58.835 % |
499.14/499.15 c | 1515073 | 3779 17044 45726 | 31075 36148 93 | 58.834 % |
499.34/499.36 c | 1515585 | 3779 17044 45726 | 31075 36660 92 | 58.834 % |
499.54/499.53 c | 1516610 | 3779 17044 45726 | 31075 28692 84 | 58.835 % |
499.64/499.66 c | 1517125 | 3779 17044 45726 | 31075 29207 84 | 58.834 % |
499.74/499.72 c | 1517637 | 3779 17044 45726 | 31075 29719 83 | 58.834 % |
500.04/500.04 c | 1518662 | 3779 17044 45726 | 31075 30744 84 | 58.835 % |
500.34/500.31 c | 1520710 | 3779 17044 45726 | 32082 32792 80 | 58.835 % |
501.04/501.03 c | 1524806 | 3779 17044 45726 | 32082 36888 75 | 58.835 % |
501.14/501.19 c | 1525319 | 3779 17044 45726 | 32082 37401 75 | 58.835 % |
501.34/501.33 c | 1525831 | 3779 17044 45726 | 32082 37913 74 | 58.834 % |
501.65/501.64 c | 1526855 | 3779 17044 45726 | 32082 32210 60 | 58.835 % |
501.74/501.72 c | 1527367 | 3779 17044 45726 | 32082 32722 60 | 58.834 % |
501.94/501.93 c | 1527879 | 3779 17044 45726 | 32082 33234 62 | 58.834 % |
502.04/502.10 c | 1528904 | 3779 17044 45726 | 32082 34259 60 | 58.834 % |
503.04/503.08 c | 1530954 | 3779 17044 45726 | 35355 36309 70 | 58.834 % |
503.24/503.24 c | 1531468 | 3779 17044 45726 | 35355 36823 70 | 58.834 % |
503.44/503.41 c | 1531981 | 3779 17044 45726 | 35355 37336 70 | 58.834 % |
503.74/503.73 c | 1533005 | 3779 17044 45726 | 35355 38360 71 | 58.834 % |
503.85/503.86 c | 1533518 | 3779 17044 45726 | 35355 38873 70 | 58.834 % |
504.04/504.06 c | 1534030 | 3779 17044 45726 | 35355 39385 72 | 58.834 % |
504.44/504.47 c | 1535054 | 3779 17044 45726 | 35355 40409 71 | 58.834 % |
505.24/505.29 c | 1537102 | 3779 17044 45726 | 35355 42457 74 | 58.835 % |
506.64/506.61 c | 1541198 | 3779 17044 45726 | 35425 36622 69 | 58.835 % |
509.24/509.31 c | 1549394 | 3779 17044 45726 | 35425 36167 67 | 58.834 % |
509.54/509.51 c | 1549906 | 3779 17044 45726 | 35425 36679 67 | 58.835 % |
509.64/509.67 c | 1550421 | 3779 17044 45726 | 36773 37194 67 | 58.834 % |
509.94/509.94 c | 1551446 | 3779 17044 45726 | 36773 38219 66 | 58.834 % |
510.14/510.15 c | 1551960 | 3779 17044 45726 | 36773 38733 67 | 58.834 % |
510.24/510.27 c | 1552472 | 3779 17044 45726 | 36773 39245 66 | 58.834 % |
510.74/510.72 c | 1553496 | 3779 17044 45726 | 36773 40269 67 | 58.834 % |
511.34/511.39 c | 1555548 | 3779 17044 45726 | 36773 42321 65 | 58.834 % |
511.64/511.61 c | 1556061 | 3779 17044 45726 | 36773 33566 56 | 58.834 % |
511.74/511.75 c | 1556574 | 3779 17044 45726 | 36773 34079 55 | 58.834 % |
512.14/512.11 c | 1557598 | 3779 17044 45726 | 36773 35103 59 | 58.835 % |
512.24/512.27 c | 1558110 | 3779 17044 45726 | 36773 35615 59 | 58.834 % |
512.44/512.48 c | 1558625 | 3779 17044 45726 | 36773 36130 61 | 58.835 % |
512.74/512.75 c | 1559651 | 3779 17044 45726 | 36773 37156 62 | 58.835 % |
513.34/513.31 c | 1561700 | 3779 17044 45726 | 37505 39205 63 | 58.834 % |
514.94/514.96 c | 1565796 | 3779 17044 45726 | 37505 43301 62 | 58.835 % |
515.14/515.16 c | 1566308 | 3779 17044 45726 | 37505 33115 52 | 58.834 % |
515.24/515.24 c | 1566821 | 3779 17044 45726 | 37505 33628 52 | 58.834 % |
515.54/515.56 c | 1567845 | 3779 17044 45726 | 37505 34652 55 | 58.835 % |
515.64/515.69 c | 1568359 | 3779 17044 45726 | 37505 35166 55 | 58.834 % |
515.84/515.90 c | 1568872 | 3779 17044 45726 | 37505 35679 57 | 58.834 % |
516.04/516.07 c | 1569897 | 3779 17044 45726 | 37505 36704 57 | 58.834 % |
516.94/516.93 c | 1571945 | 3779 17044 45726 | 36807 38752 63 | 58.834 % |
517.05/517.01 c | 1572457 | 3779 17044 45726 | 36807 39264 63 | 58.834 % |
517.24/517.26 c | 1572970 | 3779 17044 45726 | 36807 39777 65 | 58.834 % |
517.34/517.39 c | 1573995 | 3779 17044 45726 | 36807 40802 64 | 58.834 % |
517.54/517.54 c | 1574509 | 3779 17044 45726 | 36807 41316 65 | 58.835 % |
517.84/517.83 c | 1575022 | 3779 17044 45726 | 36807 41829 65 | 58.834 % |
518.24/518.27 c | 1576046 | 3779 17044 45726 | 36807 42853 65 | 58.834 % |
518.94/518.91 c | 1578095 | 3779 17044 45726 | 36807 33706 70 | 58.834 % |
520.94/520.91 c | 1582195 | 3778 17038 45710 | 35612 37804 69 | 58.845 % |
524.04/524.05 c | 1590387 | 3778 17038 45710 | 34266 34653 88 | 58.845 % |
530.25/530.24 c | 1606772 | 3778 17038 45710 | 35280 31872 91 | 58.845 % |
545.85/545.86 c | 1639540 | 3778 17038 45710 | 39172 38743 55 | 58.845 % |
571.15/571.21 c | 1705080 | 3777 17033 45696 | 40073 45153 56 | 58.856 % |
571.35/571.37 c | 1705592 | 3777 17033 45696 | 40073 45665 58 | 58.857 % |
571.65/571.65 c | 1706104 | 3777 17033 45696 | 40073 37330 49 | 58.856 % |
571.85/571.84 c | 1707130 | 3777 17033 45696 | 40073 38356 49 | 58.856 % |
571.95/571.98 c | 1707643 | 3777 17033 45696 | 40073 38869 49 | 58.856 % |
572.15/572.13 c | 1708155 | 3777 17033 45696 | 40073 39381 49 | 58.856 % |
572.35/572.40 c | 1709179 | 3777 17033 45696 | 40073 40405 50 | 58.856 % |
573.05/573.10 c | 1711228 | 3777 17033 45696 | 41226 42454 48 | 58.856 % |
573.25/573.28 c | 1711740 | 3777 17033 45696 | 41226 42966 48 | 58.856 % |
573.35/573.39 c | 1712253 | 3777 17033 45696 | 41226 43479 48 | 58.856 % |
573.65/573.67 c | 1713278 | 3777 17033 45696 | 41226 44504 49 | 58.856 % |
573.75/573.79 c | 1713792 | 3777 17033 45696 | 41226 45018 49 | 58.856 % |
573.95/573.94 c | 1714305 | 3777 17033 45696 | 41226 45531 51 | 58.856 % |
574.15/574.18 c | 1715330 | 3777 17033 45696 | 41226 46556 50 | 58.856 % |
574.85/574.90 c | 1717381 | 3777 17033 45696 | 41226 48607 54 | 58.856 % |
576.05/576.10 c | 1721478 | 3777 17033 45696 | 39873 41351 50 | 58.856 % |
576.25/576.28 c | 1721992 | 3777 17033 45696 | 39873 41865 51 | 58.856 % |
576.46/576.47 c | 1722504 | 3777 17033 45696 | 39873 42377 51 | 58.856 % |
576.85/576.90 c | 1723528 | 3777 17033 45696 | 39873 43401 51 | 58.856 % |
577.05/577.03 c | 1724040 | 3777 17033 45696 | 39873 43913 50 | 58.856 % |
577.15/577.20 c | 1724552 | 3777 17033 45696 | 39873 44425 51 | 58.856 % |
577.65/577.64 c | 1725580 | 3777 17033 45696 | 39873 45453 50 | 58.856 % |
578.15/578.18 c | 1727630 | 3777 17033 45696 | 39873 35551 52 | 58.856 % |
578.35/578.36 c | 1728142 | 3777 17033 45696 | 39873 36063 54 | 58.856 % |
578.45/578.43 c | 1728654 | 3777 17033 45696 | 39873 36575 54 | 58.856 % |
578.66/578.70 c | 1729679 | 3777 17033 45696 | 39873 37600 56 | 58.856 % |
578.75/578.78 c | 1730191 | 3777 17033 45696 | 37922 38112 56 | 58.856 % |
578.95/578.93 c | 1730703 | 3777 17033 45696 | 37922 38624 57 | 58.856 % |
579.15/579.15 c | 1731728 | 3777 17033 45696 | 37922 39649 57 | 58.856 % |
579.95/580.01 c | 1733777 | 3777 17033 45696 | 37922 41698 65 | 58.856 % |
581.65/581.65 c | 1737874 | 3777 17033 45696 | 37922 33858 63 | 58.856 % |
584.95/584.94 c | 1746069 | 3777 17033 45696 | 35984 42053 64 | 58.856 % |
585.15/585.13 c | 1746581 | 3777 17033 45696 | 35984 33087 61 | 58.856 % |
585.26/585.24 c | 1747093 | 3777 17033 45696 | 35984 33599 62 | 58.856 % |
585.65/585.69 c | 1748118 | 3777 17033 45696 | 35984 34624 61 | 58.856 % |
585.85/585.82 c | 1748630 | 3777 17033 45696 | 35984 35136 61 | 58.856 % |
585.95/585.97 c | 1749142 | 3777 17033 45696 | 35984 35648 61 | 58.856 % |
586.25/586.29 c | 1750167 | 3777 17033 45696 | 36507 36673 60 | 58.856 % |
587.25/587.28 c | 1752215 | 3777 17033 45696 | 36507 38721 69 | 58.856 % |
587.46/587.44 c | 1752727 | 3777 17033 45696 | 36507 39233 70 | 58.856 % |
587.65/587.68 c | 1753241 | 3777 17033 45696 | 36507 39747 70 | 58.856 % |
588.15/588.16 c | 1754268 | 3777 17033 45696 | 36507 40774 71 | 58.856 % |
588.25/588.29 c | 1754780 | 3777 17033 45696 | 36507 41286 70 | 58.856 % |
588.56/588.52 c | 1755292 | 3777 17033 45696 | 36507 41798 70 | 58.856 % |
589.15/589.12 c | 1756316 | 3777 17033 45696 | 36507 31662 60 | 58.856 % |
589.95/589.93 c | 1758364 | 3777 17033 45696 | 36507 33710 61 | 58.856 % |
591.15/591.19 c | 1762460 | 3777 17033 45696 | 35347 37806 60 | 58.856 % |
591.45/591.41 c | 1762972 | 3777 17033 45696 | 35347 38318 60 | 58.856 % |
591.55/591.58 c | 1763485 | 3777 17033 45696 | 35347 38831 59 | 58.856 % |
592.05/592.01 c | 1764510 | 3777 17033 45696 | 35347 39856 61 | 58.856 % |
592.15/592.20 c | 1765022 | 3777 17033 45696 | 35347 40368 60 | 58.856 % |
592.35/592.38 c | 1765535 | 3777 17033 45696 | 35347 40881 63 | 58.856 % |
592.85/592.81 c | 1766560 | 3777 17033 45696 | 35347 31369 63 | 58.856 % |
593.05/593.06 c | 1768610 | 3777 17033 45696 | 35347 33419 62 | 58.856 % |
593.25/593.25 c | 1769122 | 3777 17033 45696 | 35347 33931 64 | 58.856 % |
593.35/593.31 c | 1769634 | 3777 17033 45696 | 35347 34443 64 | 58.856 % |
593.65/593.64 c | 1770658 | 3777 17033 45696 | 34809 35467 67 | 58.856 % |
593.65/593.68 c | 1771173 | 3777 17033 45696 | 34809 35982 67 | 58.856 % |
593.95/593.92 c | 1771685 | 3777 17033 45696 | 34809 36494 70 | 58.856 % |
594.15/594.14 c | 1772709 | 3777 17033 45696 | 34809 37518 69 | 58.856 % |
594.95/594.97 c | 1774760 | 3777 17033 45696 | 34809 39569 70 | 58.856 % |
596.55/596.56 c | 1778857 | 3777 17033 45696 | 34809 34074 65 | 58.856 % |
600.75/600.71 c | 1787050 | 3777 17033 45696 | 35217 42267 100 | 58.856 % |
605.65/605.70 c | 1803434 | 3776 17026 45676 | 33681 37115 87 | 58.867 % |
605.75/605.77 c | 1803946 | 3776 17026 45676 | 33681 37627 86 | 58.867 % |
605.95/605.93 c | 1804458 | 3776 17026 45676 | 33681 38139 86 | 58.867 % |
606.25/606.27 c | 1805484 | 3776 17026 45676 | 33681 39165 85 | 58.867 % |
606.45/606.43 c | 1805996 | 3776 17026 45676 | 33681 32156 60 | 58.867 % |
606.55/606.57 c | 1806509 | 3776 17026 45676 | 33681 32669 61 | 58.867 % |
606.95/606.98 c | 1807533 | 3776 17026 45676 | 33681 33693 60 | 58.867 % |
607.35/607.39 c | 1809581 | 3776 17026 45676 | 33681 35741 62 | 58.867 % |
607.55/607.57 c | 1810094 | 3776 17026 45676 | 36162 36254 65 | 58.867 % |
607.75/607.75 c | 1810607 | 3776 17026 45676 | 36162 36767 65 | 58.867 % |
608.15/608.12 c | 1811632 | 3776 17026 45676 | 36162 37792 64 | 58.867 % |
608.25/608.24 c | 1812145 | 3776 17026 45676 | 36162 38305 63 | 58.869 % |
608.46/608.42 c | 1812657 | 3776 17026 45676 | 36162 38817 63 | 58.867 % |
608.66/608.71 c | 1813681 | 3776 17026 45676 | 36162 39841 64 | 58.867 % |
609.36/609.36 c | 1815729 | 3776 17026 45676 | 36162 41889 62 | 58.867 % |
610.56/610.54 c | 1819825 | 3776 17026 45676 | 36162 37413 44 | 58.867 % |
610.76/610.75 c | 1820338 | 3776 17026 45676 | 37588 37926 44 | 58.867 % |
610.96/610.93 c | 1820852 | 3776 17026 45676 | 37588 38440 44 | 58.867 % |
611.26/611.27 c | 1821876 | 3776 17026 45676 | 37588 39464 44 | 58.867 % |
611.46/611.42 c | 1822388 | 3776 17026 45676 | 37588 39976 44 | 58.867 % |
611.56/611.55 c | 1822900 | 3776 17026 45676 | 37588 40488 44 | 58.867 % |
611.96/611.95 c | 1823924 | 3776 17026 45676 | 37588 41512 44 | 58.868 % |
612.56/612.52 c | 1825972 | 3776 17026 45676 | 37588 43560 44 | 58.867 % |
612.66/612.66 c | 1826488 | 3776 17026 45676 | 37588 34497 43 | 58.867 % |
612.86/612.84 c | 1827000 | 3776 17026 45676 | 37588 35009 45 | 58.867 % |
613.26/613.31 c | 1828024 | 3776 17026 45676 | 37588 36033 45 | 58.867 % |
613.46/613.47 c | 1828537 | 3776 17026 45676 | 37588 36546 45 | 58.867 % |
613.66/613.62 c | 1829051 | 3776 17026 45676 | 37588 37060 48 | 58.867 % |
613.96/613.99 c | 1830076 | 3776 17026 45676 | 38009 38085 47 | 58.867 % |
614.86/614.86 c | 1832124 | 3776 17026 45676 | 38009 40133 51 | 58.867 % |
616.46/616.45 c | 1836220 | 3776 17026 45676 | 38009 44229 52 | 58.867 % |
620.16/620.15 c | 1844412 | 3776 17026 45676 | 37562 41971 52 | 58.867 % |
620.36/620.39 c | 1844924 | 3776 17026 45676 | 37562 42483 52 | 58.867 % |
620.66/620.71 c | 1845436 | 3776 17026 45676 | 37562 42995 53 | 58.867 % |
621.16/621.12 c | 1846461 | 3776 17026 45676 | 37562 33092 61 | 58.867 % |
621.16/621.19 c | 1846973 | 3776 17026 45676 | 37562 33604 60 | 58.867 % |
621.36/621.39 c | 1847486 | 3776 17026 45676 | 37562 34117 63 | 58.867 % |
621.56/621.61 c | 1848512 | 3776 17026 45676 | 37562 35143 62 | 58.867 % |
622.46/622.51 c | 1850561 | 3776 17026 45676 | 36631 37192 65 | 58.867 % |
622.66/622.70 c | 1851073 | 3776 17026 45676 | 36631 37704 65 | 58.867 % |
622.96/622.93 c | 1851586 | 3776 17026 45676 | 36631 38217 67 | 58.867 % |
623.16/623.18 c | 1852611 | 3776 17026 45676 | 36631 39242 66 | 58.867 % |
623.46/623.48 c | 1853123 | 3776 17026 45676 | 36631 39754 68 | 58.867 % |
623.66/623.67 c | 1853635 | 3776 17026 45676 | 36631 40266 68 | 58.867 % |
624.06/624.10 c | 1854659 | 3776 17026 45676 | 36631 41290 73 | 58.867 % |
624.66/624.63 c | 1856709 | 3776 17026 45676 | 36631 43340 72 | 58.867 % |
626.66/626.63 c | 1860805 | 3776 17026 45676 | 34633 35438 80 | 58.867 % |
626.76/626.80 c | 1861317 | 3776 17026 45676 | 34633 35950 80 | 58.867 % |
627.06/627.01 c | 1861829 | 3776 17026 45676 | 34633 36462 81 | 58.867 % |
627.56/627.53 c | 1862855 | 3776 17026 45676 | 34633 37488 81 | 58.867 % |
627.76/627.81 c | 1863368 | 3776 17026 45676 | 34633 38001 81 | 58.867 % |
628.06/628.02 c | 1863881 | 3776 17026 45676 | 34633 38514 81 | 58.867 % |
628.56/628.54 c | 1864905 | 3776 17026 45676 | 34633 39538 80 | 58.867 % |
629.36/629.34 c | 1866954 | 3776 17026 45676 | 34633 41587 78 | 58.868 % |
629.66/629.62 c | 1867466 | 3776 17026 45676 | 34633 31316 80 | 58.867 % |
629.76/629.79 c | 1867978 | 3776 17026 45676 | 34633 31828 79 | 58.867 % |
630.06/630.10 c | 1869002 | 3776 17026 45676 | 34633 32852 80 | 58.867 % |
630.26/630.30 c | 1869514 | 3776 17026 45676 | 34633 33364 79 | 58.867 % |
630.46/630.45 c | 1870028 | 3776 17026 45676 | 33851 33878 78 | 58.867 % |
630.76/630.76 c | 1871052 | 3776 17026 45676 | 33851 34902 78 | 58.867 % |
631.16/631.18 c | 1873101 | 3776 17026 45676 | 33851 36951 76 | 58.867 % |
632.46/632.47 c | 1877198 | 3776 17026 45676 | 33851 31775 62 | 58.867 % |
634.86/634.88 c | 1885390 | 3776 17026 45676 | 34577 39967 57 | 58.867 % |
640.66/640.64 c | 1901775 | 3776 17026 45676 | 37179 38954 56 | 58.867 % |
656.77/656.72 c | 1934543 | 3776 17026 45676 | 36983 41526 85 | 58.867 % |
657.06/657.03 c | 1935055 | 3775 17021 45662 | 36983 42036 85 | 58.878 % |
657.26/657.21 c | 1935567 | 3775 17021 45662 | 36983 42548 84 | 58.878 % |
657.36/657.37 c | 1936591 | 3775 17021 45662 | 36983 34317 80 | 58.878 % |
657.66/657.67 c | 1937104 | 3775 17021 45662 | 36983 34830 82 | 58.878 % |
657.76/657.74 c | 1937616 | 3775 17021 45662 | 36983 35342 82 | 58.878 % |
658.26/658.30 c | 1938641 | 3775 17021 45662 | 36983 36367 83 | 58.878 % |
658.56/658.54 c | 1940689 | 3775 17021 45662 | 37730 38415 80 | 58.878 % |
658.66/658.66 c | 1941201 | 3775 17021 45662 | 37730 38927 80 | 58.878 % |
658.76/658.72 c | 1941716 | 3775 17021 45662 | 37730 39442 79 | 58.878 % |
659.26/659.25 c | 1942741 | 3775 17021 45662 | 37730 40467 80 | 58.878 % |
659.36/659.34 c | 1943253 | 3775 17021 45662 | 37730 40979 80 | 58.878 % |
659.66/659.69 c | 1943770 | 3775 17021 45662 | 37730 41496 82 | 58.878 % |
659.86/659.86 c | 1944794 | 3775 17021 45662 | 37730 42520 80 | 58.878 % |
661.06/661.05 c | 1946842 | 3775 17021 45662 | 37730 44568 86 | 58.878 % |
661.66/661.70 c | 1950938 | 3775 17021 45662 | 36361 37297 70 | 58.878 % |
661.76/661.78 c | 1951451 | 3775 17021 45662 | 36361 37810 69 | 58.878 % |
661.96/661.95 c | 1951963 | 3775 17021 45662 | 36361 38322 70 | 58.878 % |
662.06/662.07 c | 1952988 | 3775 17021 45662 | 36361 39347 69 | 58.878 % |
662.27/662.22 c | 1953500 | 3775 17021 45662 | 36361 39859 71 | 58.878 % |
662.36/662.37 c | 1954013 | 3775 17021 45662 | 36361 40372 70 | 58.878 % |
662.66/662.70 c | 1955037 | 3775 17021 45662 | 36361 41396 69 | 58.878 % |
663.66/663.65 c | 1957087 | 3775 17021 45662 | 36361 43446 73 | 58.878 % |
663.86/663.83 c | 1957600 | 3775 17021 45662 | 36361 32346 70 | 58.878 % |
663.96/663.97 c | 1958112 | 3775 17021 45662 | 36361 32858 70 | 58.878 % |
664.26/664.24 c | 1959136 | 3775 17021 45662 | 36361 33882 69 | 58.878 % |
664.36/664.38 c | 1959648 | 3775 17021 45662 | 36361 34394 69 | 58.878 % |
664.56/664.57 c | 1960160 | 3775 17021 45662 | 34746 34906 70 | 58.878 % |
664.76/664.76 c | 1961184 | 3775 17021 45662 | 34746 35930 68 | 58.879 % |
665.57/665.55 c | 1963232 | 3775 17021 45662 | 34746 37978 70 | 58.878 % |
666.76/666.76 c | 1967329 | 3775 17021 45662 | 34746 32454 60 | 58.878 % |
670.16/670.13 c | 1975521 | 3775 17021 45662 | 35127 40646 83 | 58.878 % |
670.36/670.36 c | 1976033 | 3775 17021 45662 | 35127 31023 83 | 58.878 % |
670.56/670.59 c | 1976545 | 3775 17021 45662 | 35127 31535 83 | 58.878 % |
670.66/670.65 c | 1977569 | 3775 17021 45662 | 35127 32559 81 | 58.878 % |
670.86/670.86 c | 1978082 | 3775 17021 45662 | 35127 33072 83 | 58.878 % |
671.16/671.15 c | 1978595 | 3775 17021 45662 | 35127 33585 82 | 58.878 % |
671.36/671.34 c | 1979620 | 3775 17021 45662 | 35127 34610 81 | 58.878 % |
672.17/672.18 c | 1981670 | 3775 17021 45662 | 34990 36660 80 | 58.878 % |
672.26/672.24 c | 1982182 | 3775 17021 45662 | 34990 37172 79 | 58.878 % |
672.46/672.43 c | 1982695 | 3775 17021 45662 | 34990 37685 81 | 58.878 % |
672.66/672.63 c | 1983719 | 3775 17021 45662 | 34990 38709 80 | 58.878 % |
672.86/672.84 c | 1984231 | 3775 17021 45662 | 34990 39221 81 | 58.878 % |
672.86/672.88 c | 1984744 | 3775 17021 45662 | 34990 39734 80 | 58.878 % |
673.46/673.46 c | 1985769 | 3775 17021 45662 | 34990 40759 85 | 58.878 % |
673.86/673.82 c | 1987818 | 3775 17021 45662 | 34990 32292 89 | 58.878 % |
675.66/675.62 c | 1991915 | 3775 17021 45662 | 34476 36389 94 | 58.878 % |
675.76/675.74 c | 1992428 | 3775 17021 45662 | 34476 36902 93 | 58.878 % |
676.06/676.04 c | 1992941 | 3775 17021 45662 | 34476 37415 95 | 58.878 % |
676.26/676.23 c | 1993965 | 3775 17021 45662 | 34476 38439 94 | 58.878 % |
676.46/676.47 c | 1994478 | 3775 17021 45662 | 34476 38952 96 | 58.878 % |
676.57/676.59 c | 1994991 | 3775 17021 45662 | 34476 39465 95 | 58.878 % |
677.06/677.04 c | 1996019 | 3775 17021 45662 | 34476 40493 95 | 58.878 % |
677.67/677.62 c | 1998067 | 3775 17021 45662 | 34476 32503 76 | 58.879 % |
677.76/677.78 c | 1998579 | 3775 17021 45662 | 34476 33015 76 | 58.878 % |
677.86/677.89 c | 1999093 | 3775 17021 45662 | 34476 33529 77 | 58.878 % |
678.16/678.15 c | 2000117 | 3775 17021 45662 | 34437 34553 76 | 58.878 % |
678.36/678.31 c | 2000630 | 3775 17021 45662 | 34437 35066 75 | 58.878 % |
678.56/678.52 c | 2001142 | 3775 17021 45662 | 34437 35578 75 | 58.878 % |
678.96/678.92 c | 2002167 | 3775 17021 45662 | 34437 36603 75 | 58.878 % |
679.76/679.77 c | 2004215 | 3775 17021 45662 | 34437 38651 81 | 58.878 % |
680.56/680.60 c | 2008314 | 3775 17021 45662 | 34437 42750 76 | 58.878 % |
683.86/683.86 c | 2016506 | 3775 17021 45662 | 32810 30816 63 | 58.878 % |
690.57/690.58 c | 2032891 | 3775 17021 45662 | 34561 37450 89 | 58.878 % |
690.87/690.84 c | 2033403 | 3775 17021 45662 | 34561 37962 89 | 58.878 % |
691.07/691.09 c | 2033915 | 3775 17021 45662 | 34561 38474 91 | 58.878 % |
691.37/691.41 c | 2034939 | 3775 17021 45662 | 34561 39498 91 | 58.878 % |
691.67/691.68 c | 2035452 | 3775 17021 45662 | 34561 40011 91 | 58.878 % |
691.97/692.02 c | 2035964 | 3775 17021 45662 | 34561 30699 96 | 58.878 % |
692.17/692.17 c | 2036989 | 3775 17021 45662 | 34561 31724 94 | 58.878 % |
692.87/692.83 c | 2039037 | 3775 17021 45662 | 34561 33772 94 | 58.878 % |
693.07/693.06 c | 2039549 | 3775 17021 45662 | 34561 34284 95 | 58.878 % |
693.17/693.19 c | 2040061 | 3775 17021 45662 | 34735 34796 94 | 58.878 % |
693.37/693.39 c | 2041085 | 3775 17021 45662 | 34735 35820 93 | 58.878 % |
693.57/693.55 c | 2041599 | 3775 17021 45662 | 34735 36334 92 | 58.878 % |
693.77/693.79 c | 2042111 | 3775 17021 45662 | 34735 36846 94 | 58.878 % |
693.87/693.91 c | 2043136 | 3775 17021 45662 | 34735 37871 92 | 58.878 % |
695.07/695.06 c | 2045185 | 3775 17021 45662 | 34735 39920 98 | 58.878 % |
695.97/695.94 c | 2049286 | 3775 17021 45662 | 34735 33888 79 | 58.878 % |
696.07/696.10 c | 2049799 | 3775 17021 45662 | 34735 34401 78 | 58.878 % |
696.27/696.29 c | 2050312 | 3775 17021 45662 | 34603 34914 79 | 58.878 % |
696.67/696.66 c | 2051336 | 3775 17021 45662 | 34603 35938 77 | 58.878 % |
696.77/696.80 c | 2051848 | 3775 17021 45662 | 34603 36450 76 | 58.878 % |
696.97/696.96 c | 2052361 | 3775 17021 45662 | 34603 36963 76 | 58.878 % |
697.57/697.53 c | 2053385 | 3775 17021 45662 | 34603 37987 78 | 58.878 % |
698.07/698.08 c | 2055434 | 3775 17021 45662 | 34603 40036 76 | 58.878 % |
698.27/698.26 c | 2055947 | 3775 17021 45662 | 34603 32324 66 | 58.878 % |
698.37/698.40 c | 2056462 | 3775 17021 45662 | 34603 32839 67 | 58.878 % |
698.77/698.79 c | 2057486 | 3775 17021 45662 | 34603 33863 68 | 58.878 % |
698.97/698.92 c | 2057999 | 3775 17021 45662 | 34603 34376 68 | 58.878 % |
699.17/699.14 c | 2058512 | 3775 17021 45662 | 34603 34889 68 | 58.878 % |
699.47/699.45 c | 2059536 | 3775 17021 45662 | 34603 35913 68 | 58.878 % |
700.27/700.31 c | 2061585 | 3775 17021 45662 | 36377 37962 67 | 58.878 % |
702.17/702.12 c | 2065681 | 3775 17021 45662 | 36377 42058 69 | 58.878 % |
705.17/705.13 c | 2073874 | 3775 17021 45662 | 37519 41393 70 | 58.878 % |
705.27/705.28 c | 2074386 | 3775 17021 45662 | 37519 41905 69 | 58.878 % |
705.47/705.49 c | 2074900 | 3775 17021 45662 | 37519 42419 71 | 58.878 % |
705.87/705.82 c | 2075925 | 3775 17021 45662 | 37519 43444 72 | 58.878 % |
705.97/706.01 c | 2076439 | 3775 17021 45662 | 37519 33336 70 | 58.878 % |
706.17/706.20 c | 2076951 | 3775 17021 45662 | 37519 33848 73 | 58.878 % |
706.57/706.57 c | 2077975 | 3775 17021 45662 | 37519 34872 74 | 58.878 % |
707.17/707.21 c | 2080023 | 3775 17021 45662 | 36899 36920 73 | 58.878 % |
707.47/707.48 c | 2080536 | 3775 17021 45662 | 36899 37433 76 | 58.878 % |
707.77/707.79 c | 2081048 | 3775 17021 45662 | 36899 37945 76 | 58.878 % |
708.27/708.31 c | 2082072 | 3775 17021 45662 | 36899 38969 75 | 58.879 % |
708.57/708.57 c | 2082585 | 3775 17021 45662 | 36899 39482 76 | 58.878 % |
709.07/709.03 c | 2083097 | 3775 17021 45662 | 36899 39994 76 | 58.878 % |
709.47/709.51 c | 2084122 | 3775 17021 45662 | 36899 41019 78 | 58.879 % |
710.67/710.69 c | 2086170 | 3775 17021 45662 | 36899 32111 80 | 58.878 % |
712.77/712.72 c | 2090271 | 3775 17021 45662 | 35941 36212 80 | 58.878 % |
713.07/713.05 c | 2090783 | 3775 17021 45662 | 35941 36724 80 | 58.878 % |
713.27/713.27 c | 2091296 | 3775 17021 45662 | 35941 37237 80 | 58.878 % |
713.97/713.98 c | 2092323 | 3775 17021 45662 | 35941 38264 80 | 58.878 % |
714.27/714.23 c | 2092836 | 3775 17021 45662 | 35941 38777 80 | 58.878 % |
714.37/714.36 c | 2093348 | 3775 17021 45662 | 35941 39289 80 | 58.878 % |
714.77/714.74 c | 2094372 | 3775 17021 45662 | 35941 40313 79 | 58.878 % |
716.47/716.43 c | 2096420 | 3775 17021 45662 | 35941 34074 71 | 58.878 % |
716.67/716.71 c | 2096934 | 3775 17021 45662 | 35941 34588 72 | 58.878 % |
716.87/716.82 c | 2097449 | 3775 17021 45662 | 35941 35103 71 | 58.878 % |
717.37/717.38 c | 2098475 | 3775 17021 45662 | 35941 36129 74 | 58.878 % |
717.57/717.59 c | 2098989 | 3775 17021 45662 | 35941 36643 74 | 58.878 % |
717.87/717.90 c | 2099501 | 3775 17021 45662 | 35941 37155 75 | 58.878 % |
717.97/717.98 c | 2100525 | 3775 17021 45662 | 37656 38179 73 | 58.878 % |
719.07/719.06 c | 2102573 | 3775 17021 45662 | 37656 40227 77 | 58.878 % |
720.87/720.90 c | 2106671 | 3775 17021 45662 | 37656 33711 67 | 58.879 % |
726.87/726.86 c | 2114865 | 3775 17021 45662 | 37041 41905 82 | 58.878 % |
732.87/732.84 c | 2131249 | 3763 16939 45444 | 39554 40803 66 | 59.009 % |
736.37/736.37 c ===============================================================================
736.37/736.37 c restarts : 1021
736.37/736.37 c conflicts : 2140221 (2910 /sec)
736.37/736.37 c decisions : 3212593 (0.98 % random) (4367 /sec)
736.37/736.37 c propagations : 458998060 (624003 /sec)
736.37/736.37 c conflict literals : 160594679 (42.31 % deleted)
736.37/736.37 c Memory used : 29.98 MB
736.37/736.37 c CPU time : 735.57 s
736.37/736.37 c
736.37/736.37 s UNSATISFIABLE
736.37/736.37 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820999-1242495803/watcher-1820999-1242495803 -o /tmp/evaluation-result-1820999-1242495803/solver-1820999-1242495803 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820999-1242495803.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.98 1.02 1.00 2/93 2321
/proc/meminfo: memFree=972128/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2416 CPUtime=0
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1014081378 2473984 277 4294967295 134512640 135169312 3213622288 3213620824 3085410030 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2321/statm: 604 277 235 161 0 43 0
[pid=2325] ppid=2321 vsize=952 CPUtime=0
/proc/2325/stat : 2325 (SatELite_releas) R 2321 2321 20977 0 -1 4202496 124 0 0 0 0 0 0 0 25 0 1 0 1014081379 974848 60 4294967295 134512640 135223648 3215662576 3215661532 134563184 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2325/statm: 238 61 46 174 0 63 0
[startup+0.0592 s]
/proc/loadavg: 0.98 1.02 1.00 2/93 2321
/proc/meminfo: memFree=972128/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2416 CPUtime=0
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1014081378 2473984 277 4294967295 134512640 135169312 3213622288 3213620824 3085410030 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2321/statm: 604 277 235 161 0 43 0
[pid=2325] ppid=2321 vsize=9612 CPUtime=0.06
/proc/2325/stat : 2325 (SatELite_releas) R 2321 2321 20977 0 -1 4202496 2075 0 0 0 4 2 0 0 25 0 1 0 1014081379 9842688 2011 4294967295 134512640 135223648 3215662576 3215661160 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2325/statm: 2403 2012 46 174 0 2228 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12028
[startup+0.119195 s]
/proc/loadavg: 0.98 1.02 1.00 2/93 2321
/proc/meminfo: memFree=972128/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2416 CPUtime=0
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1014081378 2473984 277 4294967295 134512640 135169312 3213622288 3213620824 3085410030 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2321/statm: 604 277 235 161 0 43 0
[pid=2325] ppid=2321 vsize=12232 CPUtime=0.1
/proc/2325/stat : 2325 (SatELite_releas) R 2321 2321 20977 0 -1 4202496 2812 0 0 0 7 3 0 0 25 0 1 0 1014081379 12525568 2604 4294967295 134512640 135223648 3215662576 3215660592 134586647 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2325/statm: 3058 2604 73 174 0 2883 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14648
[startup+0.319188 s]
/proc/loadavg: 0.98 1.02 1.00 2/93 2321
/proc/meminfo: memFree=972128/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2416 CPUtime=0
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1014081378 2473984 277 4294967295 134512640 135169312 3213622288 3213620824 3085410030 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2321/statm: 604 277 235 161 0 43 0
[pid=2325] ppid=2321 vsize=13348 CPUtime=0.3
/proc/2325/stat : 2325 (SatELite_releas) R 2321 2321 20977 0 -1 4202496 3124 0 0 0 26 4 0 0 25 0 1 0 1014081379 13668352 2916 4294967295 134512640 135223648 3215662576 3215660244 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2325/statm: 3337 2916 73 174 0 3162 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 15764
[startup+0.719143 s]
/proc/loadavg: 0.98 1.02 1.00 2/93 2321
/proc/meminfo: memFree=972128/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2416 CPUtime=0
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1014081378 2473984 277 4294967295 134512640 135169312 3213622288 3213620824 3085410030 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2321/statm: 604 277 235 161 0 43 0
[pid=2325] ppid=2321 vsize=15376 CPUtime=0.7
/proc/2325/stat : 2325 (SatELite_releas) R 2321 2321 20977 0 -1 4202496 3547 0 0 0 66 4 0 0 25 0 1 0 1014081379 15745024 3267 4294967295 134512640 135223648 3215662576 3215660928 134601863 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2325/statm: 3844 3267 73 174 0 3669 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 17792
[startup+1.51906 s]
/proc/loadavg: 0.98 1.02 1.00 2/95 2327
/proc/meminfo: memFree=966136/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=5012 CPUtime=0.75
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 1070 0 0 0 75 0 0 0 18 0 1 0 1014081456 5132288 1005 4294967295 134512640 135216591 3212891056 3212889248 134528969 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 1253 1005 75 172 0 1080 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 7432
[startup+3.1189 s]
/proc/loadavg: 0.98 1.02 1.00 2/95 2327
/proc/meminfo: memFree=965516/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=6860 CPUtime=2.35
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 1528 0 0 0 234 1 0 0 22 0 1 0 1014081456 7024640 1463 4294967295 134512640 135216591 3212891056 3212889248 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 1715 1463 75 172 0 1542 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 9280
[startup+6.31858 s]
/proc/loadavg: 0.98 1.02 1.00 2/95 2327
/proc/meminfo: memFree=961300/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=10528 CPUtime=5.55
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 2460 0 0 0 550 5 0 0 25 0 1 0 1014081456 10780672 2395 4294967295 134512640 135216591 3212891056 3212889248 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 2632 2395 75 172 0 2459 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 12948
[startup+12.718 s]
/proc/loadavg: 0.98 1.02 1.00 2/95 2329
/proc/meminfo: memFree=953552/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=18348 CPUtime=11.95
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 4402 0 0 0 1187 8 0 0 25 0 1 0 1014081456 18788352 4337 4294967295 134512640 135216591 3212891056 3212889248 134529009 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 4587 4337 75 172 0 4414 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 20768
[startup+25.5167 s]
/proc/loadavg: 0.99 1.01 1.00 2/95 2519
/proc/meminfo: memFree=950408/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=20144 CPUtime=24.75
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 4824 0 0 0 2467 8 0 0 25 0 1 0 1014081456 20627456 4759 4294967295 134512640 135216591 3212891056 3212889248 134528953 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 5036 4759 75 172 0 4863 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 22564
[startup+51.1142 s]
/proc/loadavg: 0.99 1.01 1.00 4/95 2522
/proc/meminfo: memFree=950632/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=20144 CPUtime=50.35
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 4824 0 0 0 5027 8 0 0 25 0 1 0 1014081456 20627456 4759 4294967295 134512640 135216591 3212891056 3212889248 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 5036 4759 75 172 0 4863 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 22564
[startup+102.319 s]
/proc/loadavg: 1.18 1.05 1.01 3/95 2716
/proc/meminfo: memFree=950384/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=20144 CPUtime=101.56
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 4824 0 0 0 10148 8 0 0 25 0 1 0 1014081456 20627456 4759 4294967295 134512640 135216591 3212891056 3212889248 134528902 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 5036 4759 75 172 0 4863 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 22564
[startup+162.313 s]
/proc/loadavg: 1.12 1.06 1.01 3/95 2906
/proc/meminfo: memFree=950492/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=20144 CPUtime=161.56
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 4824 0 0 0 16148 8 0 0 25 0 1 0 1014081456 20627456 4759 4294967295 134512640 135216591 3212891056 3212889248 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 5036 4759 75 172 0 4863 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 22564
[startup+222.317 s]
/proc/loadavg: 1.11 1.06 1.01 3/95 3098
/proc/meminfo: memFree=948656/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=21836 CPUtime=221.57
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 5250 0 0 0 22149 8 0 0 25 0 1 0 1014081456 22360064 5185 4294967295 134512640 135216591 3212891056 3212889248 134529023 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 5459 5185 75 172 0 5286 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 24256
[startup+282.321 s]
/proc/loadavg: 1.22 1.10 1.02 2/95 3289
/proc/meminfo: memFree=939796/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=30692 CPUtime=281.58
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 7474 0 0 0 28148 10 0 0 25 0 1 0 1014081456 31428608 7409 4294967295 134512640 135216591 3212891056 3212889248 134529243 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 7673 7409 75 172 0 7500 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 33112
[startup+342.315 s]
/proc/loadavg: 1.14 1.09 1.02 2/95 3496
/proc/meminfo: memFree=939744/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=30692 CPUtime=341.58
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 7474 0 0 0 34148 10 0 0 25 0 1 0 1014081456 31428608 7409 4294967295 134512640 135216591 3212891056 3212889248 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 7673 7409 75 172 0 7500 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 33112
[startup+402.31 s]
/proc/loadavg: 1.17 1.10 1.03 2/95 3691
/proc/meminfo: memFree=939688/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=30692 CPUtime=401.58
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 7474 0 0 0 40148 10 0 0 25 0 1 0 1014081456 31428608 7409 4294967295 134512640 135216591 3212891056 3212889248 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 7673 7409 75 172 0 7500 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 33112
[startup+462.314 s]
/proc/loadavg: 1.12 1.10 1.03 2/95 3880
/proc/meminfo: memFree=939796/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=30692 CPUtime=461.59
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 7475 0 0 0 46149 10 0 0 25 0 1 0 1014081456 31428608 7410 4294967295 134512640 135216591 3212891056 3212888960 134532944 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 7673 7410 75 172 0 7500 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 33112
[startup+522.308 s]
/proc/loadavg: 1.11 1.09 1.03 2/95 4067
/proc/meminfo: memFree=939712/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=30692 CPUtime=521.59
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 7475 0 0 0 52149 10 0 0 25 0 1 0 1014081456 31428608 7410 4294967295 134512640 135216591 3212891056 3212888960 134533058 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 7673 7410 75 172 0 7500 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 33112
[startup+582.312 s]
/proc/loadavg: 1.10 1.09 1.03 3/95 4260
/proc/meminfo: memFree=939828/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=30692 CPUtime=581.6
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 7477 0 0 0 58150 10 0 0 25 0 1 0 1014081456 31428608 7412 4294967295 134512640 135216591 3212891056 3212889248 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 7673 7412 75 172 0 7500 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 33112
[startup+642.316 s]
/proc/loadavg: 1.09 1.08 1.02 3/95 4447
/proc/meminfo: memFree=939844/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=30692 CPUtime=641.61
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 7477 0 0 0 64151 10 0 0 25 0 1 0 1014081456 31428608 7412 4294967295 134512640 135216591 3212891056 3212889168 134534716 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 7673 7412 75 172 0 7500 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 33112
[startup+702.32 s]
/proc/loadavg: 1.10 1.08 1.02 3/95 4634
/proc/meminfo: memFree=940116/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=30692 CPUtime=701.62
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 7477 0 0 0 70152 10 0 0 25 0 1 0 1014081456 31428608 7412 4294967295 134512640 135216591 3212891056 3212889024 134538409 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 7673 7412 75 172 0 7500 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 33112
Solver just ended. Dumping a history of the last processes samples
[startup+716.719 s]
/proc/loadavg: 1.07 1.08 1.02 3/95 4636
/proc/meminfo: memFree=940132/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=30692 CPUtime=716.02
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 7477 0 0 0 71592 10 0 0 25 0 1 0 1014081456 31428608 7412 4294967295 134512640 135216591 3212891056 3212889248 134528969 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 7673 7412 75 172 0 7500 0
Current children cumulated CPU time (s) 716.77
Current children cumulated vsize (KiB) 33112
[startup+729.517 s]
/proc/loadavg: 1.06 1.08 1.02 3/95 4638
/proc/meminfo: memFree=940124/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=30692 CPUtime=728.82
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 7477 0 0 0 72872 10 0 0 25 0 1 0 1014081456 31428608 7412 4294967295 134512640 135216591 3212891056 3212889024 134538249 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 7673 7412 75 172 0 7500 0
Current children cumulated CPU time (s) 729.57
Current children cumulated vsize (KiB) 33112
[startup+732.717 s]
/proc/loadavg: 1.05 1.07 1.02 3/95 4638
/proc/meminfo: memFree=940124/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=30692 CPUtime=732.02
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 7477 0 0 0 73192 10 0 0 25 0 1 0 1014081456 31428608 7412 4294967295 134512640 135216591 3212891056 3212889248 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 7673 7412 75 172 0 7500 0
Current children cumulated CPU time (s) 732.77
Current children cumulated vsize (KiB) 33112
[startup+734.317 s]
/proc/loadavg: 1.05 1.07 1.02 3/95 4638
/proc/meminfo: memFree=940124/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=30692 CPUtime=733.62
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 7477 0 0 0 73352 10 0 0 25 0 1 0 1014081456 31428608 7412 4294967295 134512640 135216591 3212891056 3212889248 134528966 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 7673 7412 75 172 0 7500 0
Current children cumulated CPU time (s) 734.37
Current children cumulated vsize (KiB) 33112
[startup+735.117 s]
/proc/loadavg: 1.05 1.07 1.02 3/95 4638
/proc/meminfo: memFree=940124/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=30692 CPUtime=734.42
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 7477 0 0 0 73432 10 0 0 25 0 1 0 1014081456 31428608 7412 4294967295 134512640 135216591 3212891056 3212888960 134533087 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 7673 7412 75 172 0 7500 0
Current children cumulated CPU time (s) 735.17
Current children cumulated vsize (KiB) 33112
[startup+735.917 s]
/proc/loadavg: 1.05 1.07 1.02 3/95 4638
/proc/meminfo: memFree=940124/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=30692 CPUtime=735.22
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 7477 0 0 0 73512 10 0 0 25 0 1 0 1014081456 31428608 7412 4294967295 134512640 135216591 3212891056 3212888960 134532756 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 7673 7412 75 172 0 7500 0
Current children cumulated CPU time (s) 735.97
Current children cumulated vsize (KiB) 33112
[startup+736.317 s]
/proc/loadavg: 1.05 1.07 1.02 3/95 4638
/proc/meminfo: memFree=940124/2074464 swapFree=1951864/1959888
[pid=2321] ppid=2319 vsize=2420 CPUtime=0.75
/proc/2321/stat : 2321 (SatELiteGTI) S 2319 2321 20977 0 -1 4194304 386 4201 0 0 0 0 71 4 20 0 1 0 1014081378 2478080 278 4294967295 134512640 135169312 3213622288 3213618504 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2321/statm: 605 278 235 161 0 44 0
[pid=2327] ppid=2321 vsize=30692 CPUtime=735.62
/proc/2327/stat : 2327 (minisat_static) R 2321 2321 20977 0 -1 4202496 7477 0 0 0 73552 10 0 0 25 0 1 0 1014081456 31428608 7412 4294967295 134512640 135216591 3212891056 3212889024 134538522 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2327/statm: 7673 7412 75 172 0 7500 0
Current children cumulated CPU time (s) 736.37
Current children cumulated vsize (KiB) 33112
Child status: 20
Real time (s): 736.377
CPU time (s): 736.43
CPU user time (s): 736.28
CPU system time (s): 0.15
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 33112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 736.28
system time used= 0.15
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12350
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= 22
involuntary context switches= 488
runsolver used 0.01 second user time and 0.03 second system time
The end
Begin job on tipi10 at 2009-05-16 19:43:23
IDJOB=1820999
IDBENCH=70800
IDSOLVER=658
FILE ID=tipi10/1820999-1242495803
PBS_JOBID=
Free space on /tmp= 4174 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner064.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820999-1242495803/watcher-1820999-1242495803 -o /tmp/evaluation-result-1820999-1242495803/solver-1820999-1242495803 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820999-1242495803.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1a0b22841159d2c84fdcb857229ffa08
RANDOM SEED= 1428870920
Linux tipi10 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.367
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.367
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.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
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.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
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.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 972152 kB
Buffers: 23088 kB
Cached: 965820 kB
SwapCached: 2732 kB
Active: 457916 kB
Inactive: 540832 kB
HighTotal: 1178688 kB
HighFree: 357876 kB
LowTotal: 895776 kB
LowFree: 614276 kB
SwapTotal: 1959888 kB
SwapFree: 1951864 kB
Dirty: 2868 kB
Writeback: 0 kB
AnonPages: 9244 kB
Mapped: 3224 kB
Slab: 93452 kB
PageTables: 580 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90596 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 4173 MiB
End job on tipi10 at 2009-05-16 19:55:40