0.00/0.00 c Parsing...
0.01/0.22 c ==============================================================================
0.01/0.22 c | | ORIGINAL | LEARNT | |
0.01/0.22 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.01/0.22 c ==============================================================================
0.01/0.22 c | 0 | 222378 518882 | 66713 0 0 nan | 0.000 % |
1.42/1.44 c | 0 | 95236 376800 | -- 0 -- -- | -- | -127140/-142077
1.42/1.44 c ==============================================================================
1.42/1.44 c Result : #vars: 12806 #clauses: 95236 #literals: 376800
1.42/1.44 c CPU time: 1.37 s
1.42/1.44 c ==============================================================================
1.52/1.58 c This is MiniSat 2.0 beta
1.52/1.58 c WARNING: for repeatability, setting FPU to use double precision
1.52/1.58 c ============================[ Problem Statistics ]=============================
1.52/1.58 c | |
1.52/1.58 c | Number of variables: 12806 |
1.52/1.58 c | Number of clauses: 95236 |
1.59/1.65 c | Parsing time: 0.07 s |
1.59/1.66 c ============================[ Search Statistics ]==============================
1.59/1.66 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.59/1.66 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.59/1.66 c ===============================================================================
1.59/1.66 c | 0 | 12806 95236 376800 | 31745 0 nan | 0.000 % |
1.59/1.75 c | 512 | 12776 95236 376800 | 31745 506 20 | 0.351 % |
1.59/1.89 c | 1024 | 12762 95236 376800 | 31745 1018 17 | 0.351 % |
1.59/1.96 c | 1536 | 12762 95236 376800 | 31745 1530 19 | 0.351 % |
1.59/2.02 c | 2560 | 12757 94274 373248 | 31745 2546 23 | 0.484 % |
1.59/2.06 c | 3073 | 12757 94274 373248 | 31745 3059 22 | 0.484 % |
1.59/2.09 c | 3586 | 12757 94274 373248 | 31745 3572 23 | 0.484 % |
2.12/2.19 c | 4613 | 12754 94274 373248 | 31745 4599 21 | 0.484 % |
2.23/2.29 c | 6661 | 12753 94274 373248 | 31745 6646 21 | 0.492 % |
2.32/2.35 c | 7173 | 12743 94105 372693 | 31745 7158 21 | 0.492 % |
2.42/2.47 c | 7686 | 12743 94105 372693 | 31745 7671 21 | 0.492 % |
2.52/2.57 c | 8710 | 12743 94105 372693 | 31745 8695 20 | 0.492 % |
2.52/2.60 c | 9222 | 12743 94105 372693 | 31745 9207 21 | 0.492 % |
2.62/2.65 c | 9736 | 12741 94105 372693 | 31745 9720 22 | 0.523 % |
2.72/2.76 c | 10760 | 12735 94015 372349 | 2147483647 10742 23 | 0.554 % |
2.82/2.89 c | 12814 | 12735 94015 372349 | 2147483647 12796 23 | 0.554 % |
3.22/3.30 c | 16911 | 12594 93306 369330 | 2147483647 16421 26 | 1.929 % |
3.33/3.33 c | 17423 | 12594 93306 369330 | 2147483647 16933 26 | 1.929 % |
3.33/3.40 c | 17935 | 12594 93306 369330 | 2147483647 17445 26 | 1.929 % |
3.52/3.53 c | 18960 | 12594 93306 369330 | 2147483647 18470 26 | 1.929 % |
3.52/3.60 c | 19472 | 12594 93306 369330 | 2147483647 18982 26 | 1.929 % |
3.62/3.62 c | 19984 | 12594 93306 369330 | 2147483647 19494 26 | 1.929 % |
3.62/3.70 c | 21010 | 12588 93306 369330 | 2147483647 20519 27 | 2.022 % |
3.82/3.84 c | 23058 | 12588 93306 369330 | 2147483647 22567 28 | 2.022 % |
3.82/3.88 c | 23570 | 12547 90788 360284 | 2147483647 22384 27 | 2.022 % |
3.92/4.00 c | 24083 | 12547 90788 360284 | 2147483647 22897 27 | 2.022 % |
4.02/4.07 c | 25117 | 12547 90788 360284 | 2147483647 23931 28 | 2.022 % |
4.02/4.10 c | 25629 | 12547 90788 360284 | 2147483647 24443 28 | 2.022 % |
4.12/4.15 c | 26144 | 12547 90788 360284 | 2147483647 24958 28 | 2.023 % |
4.22/4.23 c | 27168 | 12547 90788 360284 | 2147483647 25982 28 | 2.022 % |
4.32/4.36 c | 29216 | 12547 90788 360284 | 2147483647 28030 28 | 2.022 % |
4.62/4.70 c | 33313 | 12546 90788 360284 | 2147483647 32126 30 | 2.030 % |
5.41/5.41 c | 41505 | 12546 90723 360064 | 38813 36323 30 | 2.030 % |
5.41/5.48 c | 42017 | 12545 90723 360064 | 38813 36834 30 | 2.038 % |
5.52/5.53 c | 42529 | 12545 90723 360064 | 38813 37346 30 | 2.038 % |
5.61/5.63 c | 43554 | 12545 90723 360064 | 38813 38371 30 | 2.038 % |
5.71/5.71 c | 44066 | 12545 90723 360064 | 38813 38883 30 | 2.038 % |
5.71/5.76 c | 44580 | 12545 90723 360064 | 38813 39397 30 | 2.038 % |
5.81/5.89 c | 45604 | 12542 90723 360064 | 38813 36481 31 | 2.077 % |
6.01/6.10 c | 47652 | 12542 90723 360064 | 38813 38529 31 | 2.077 % |
6.11/6.16 c | 48169 | 12542 90723 360064 | 38813 39046 31 | 2.077 % |
6.11/6.20 c | 48681 | 12542 90723 360064 | 38813 39558 31 | 2.077 % |
6.31/6.32 c | 49706 | 12542 90723 360064 | 38813 35368 32 | 2.077 % |
6.31/6.41 c | 50223 | 12540 90590 359694 | 35657 35880 31 | 2.077 % |
6.41/6.45 c | 50735 | 12540 90590 359694 | 35657 36392 32 | 2.077 % |
6.51/6.58 c | 51761 | 12540 90590 359694 | 35657 32571 31 | 2.077 % |
6.71/6.80 c | 53809 | 12540 90590 359694 | 35657 34619 32 | 2.077 % |
7.10/7.11 c | 57905 | 12540 90590 359694 | 35657 38715 32 | 2.077 % |
7.19/7.25 c | 58418 | 12540 90590 359694 | 35657 33856 32 | 2.077 % |
7.29/7.32 c | 58930 | 12540 90590 359694 | 35657 34368 32 | 2.077 % |
7.39/7.45 c | 59956 | 12535 90590 359694 | 35657 35393 32 | 2.116 % |
7.39/7.50 c | 60469 | 12535 90590 359694 | 35441 35906 32 | 2.116 % |
7.49/7.59 c | 60982 | 12535 90590 359694 | 35441 31087 31 | 2.116 % |
7.59/7.69 c | 62008 | 12521 90590 359694 | 35441 32112 31 | 2.311 % |
7.79/7.84 c | 64064 | 12521 90590 359694 | 35441 34168 31 | 2.311 % |
7.89/7.92 c | 64585 | 12521 90590 359694 | 35441 34689 31 | 2.311 % |
7.89/7.97 c | 65098 | 12521 90590 359694 | 35441 35202 31 | 2.311 % |
7.99/8.07 c | 66125 | 12521 90590 359694 | 35441 36229 31 | 2.311 % |
8.09/8.17 c | 66637 | 12521 90590 359694 | 35441 30615 31 | 2.311 % |
8.19/8.23 c | 67149 | 12521 90590 359694 | 35441 31127 32 | 2.311 % |
8.29/8.36 c | 68173 | 12510 90085 357795 | 35441 32142 31 | 2.311 % |
8.49/8.57 c | 70221 | 12510 90085 357795 | 33973 34190 32 | 2.311 % |
9.09/9.17 c | 74318 | 12510 90085 357795 | 33973 29953 32 | 2.311 % |
10.09/10.14 c | 82511 | 12495 90085 357795 | 35636 27289 29 | 2.553 % |
11.99/12.04 c | 98898 | 12476 89448 355361 | 34774 36682 30 | 2.577 % |
12.10/12.12 c | 99415 | 12476 89448 355361 | 34774 32258 29 | 2.577 % |
12.10/12.18 c | 99927 | 12476 89448 355361 | 34774 32770 29 | 2.577 % |
12.19/12.25 c | 100956 | 12476 89448 355361 | 32845 33799 29 | 2.577 % |
12.29/12.34 c | 101468 | 12476 89448 355361 | 32845 30108 30 | 2.577 % |
12.29/12.39 c | 101980 | 12476 89448 355361 | 32845 30620 30 | 2.577 % |
12.39/12.48 c | 103004 | 12476 89448 355361 | 32845 31644 30 | 2.577 % |
12.69/12.71 c | 105054 | 12473 89443 355339 | 32845 33688 30 | 2.600 % |
12.79/12.83 c | 105578 | 12473 89443 355339 | 32845 27649 31 | 2.600 % |
12.79/12.87 c | 106092 | 12473 89443 355339 | 32845 28163 31 | 2.600 % |
12.99/13.01 c | 107117 | 12473 89443 355339 | 32845 29188 31 | 2.600 % |
12.99/13.08 c | 107631 | 12473 89443 355339 | 32845 29702 31 | 2.600 % |
13.09/13.13 c | 108144 | 12473 89443 355339 | 32845 30215 31 | 2.600 % |
13.20/13.24 c | 109174 | 12473 89443 355339 | 32845 31245 31 | 2.600 % |
13.29/13.39 c | 111222 | 12473 89443 355339 | 32071 33293 30 | 2.600 % |
13.69/13.75 c | 115318 | 12473 89443 355339 | 32071 31831 33 | 2.600 % |
13.79/13.81 c | 115831 | 12472 89443 355339 | 32071 32343 33 | 2.608 % |
13.79/13.90 c | 116343 | 12472 89443 355339 | 32071 32855 33 | 2.608 % |
13.99/14.02 c | 117367 | 12472 89443 355339 | 32071 27384 32 | 2.608 % |
13.99/14.08 c | 117880 | 12472 89443 355339 | 32071 27897 32 | 2.608 % |
14.09/14.14 c | 118392 | 12472 89443 355339 | 32071 28409 32 | 2.608 % |
14.19/14.22 c | 119417 | 12472 89443 355339 | 32071 29434 32 | 2.608 % |
14.49/14.53 c | 121466 | 12472 89420 355246 | 30008 31473 32 | 2.608 % |
14.59/14.61 c | 121978 | 12472 89420 355246 | 30008 25696 31 | 2.608 % |
14.59/14.67 c | 122490 | 12472 89420 355246 | 30008 26208 32 | 2.608 % |
14.69/14.75 c | 123518 | 12472 89420 355246 | 30008 27236 31 | 2.608 % |
14.79/14.82 c | 124033 | 12472 89420 355246 | 30008 27751 31 | 2.608 % |
14.79/14.86 c | 124546 | 12472 89420 355246 | 30008 28264 31 | 2.608 % |
14.89/14.96 c | 125573 | 12472 89420 355246 | 30008 29291 31 | 2.608 % |
15.09/15.12 c | 127621 | 12472 89420 355246 | 30008 26403 29 | 2.608 % |
15.49/15.51 c | 131724 | 12472 89420 355246 | 28782 30506 30 | 2.608 % |
16.29/16.38 c | 139919 | 12472 89420 355246 | 28782 23877 28 | 2.608 % |
16.39/16.43 c | 140432 | 12472 89420 355246 | 23960 24390 28 | 2.608 % |
16.50/16.52 c | 140944 | 12472 89420 355246 | 23960 18877 27 | 2.608 % |
16.50/16.60 c | 141968 | 12472 89420 355246 | 23960 19901 27 | 2.608 % |
16.69/16.71 c | 142481 | 12472 89420 355246 | 23960 20414 27 | 2.608 % |
16.69/16.77 c | 142995 | 12472 89420 355246 | 23960 20928 27 | 2.608 % |
16.79/16.86 c | 144029 | 12472 89420 355246 | 23960 21962 27 | 2.608 % |
16.99/17.03 c | 146083 | 12472 89420 355246 | 23960 24016 26 | 2.608 % |
16.99/17.10 c | 146596 | 12472 89420 355246 | 23960 24529 26 | 2.608 % |
17.09/17.17 c | 147110 | 12472 89420 355246 | 23960 22236 28 | 2.608 % |
17.29/17.32 c | 148134 | 12472 89420 355246 | 23960 23260 28 | 2.608 % |
17.29/17.37 c | 148655 | 12472 89420 355246 | 23960 23781 28 | 2.608 % |
17.39/17.46 c | 149172 | 12452 88902 353257 | 23960 24292 28 | 2.764 % |
17.49/17.54 c | 150196 | 12452 88902 353257 | 25121 25316 28 | 2.764 % |
17.60/17.69 c | 152244 | 12452 88902 353257 | 25121 27364 28 | 2.764 % |
17.89/17.97 c | 156345 | 12452 88902 353257 | 25121 26963 29 | 2.764 % |
17.99/18.03 c | 156857 | 12452 88902 353257 | 25121 23556 29 | 2.764 % |
17.99/18.10 c | 157369 | 12452 88902 353257 | 25121 24068 29 | 2.764 % |
18.09/18.20 c | 158393 | 12452 88902 353257 | 25121 25092 29 | 2.764 % |
18.19/18.27 c | 158910 | 12452 88902 353257 | 25121 25609 29 | 2.764 % |
18.29/18.33 c | 159423 | 12452 88902 353257 | 25121 22458 29 | 2.764 % |
18.39/18.46 c | 160447 | 12452 88902 353257 | 23041 23482 30 | 2.764 % |
18.59/18.66 c | 162496 | 12452 88902 353257 | 23041 22284 29 | 2.764 % |
18.70/18.74 c | 163008 | 12452 88886 353139 | 23041 22791 30 | 2.764 % |
18.70/18.80 c | 163522 | 12452 88886 353139 | 23041 23305 29 | 2.764 % |
18.79/18.89 c | 164550 | 12451 88886 353139 | 23041 24332 30 | 2.772 % |
18.89/18.96 c | 165062 | 12451 88886 353139 | 23041 20821 30 | 2.772 % |
18.99/19.01 c | 165576 | 12451 88886 353139 | 23041 21335 31 | 2.772 % |
18.99/19.09 c | 166600 | 12451 88886 353139 | 23041 22359 30 | 2.772 % |
19.19/19.28 c | 168648 | 12451 88886 353139 | 23041 24407 31 | 2.772 % |
19.59/19.63 c | 172745 | 12437 88886 353139 | 21691 19630 28 | 2.944 % |
20.29/20.38 c | 180937 | 12425 88886 353139 | 23118 24049 31 | 3.045 % |
21.79/21.82 c | 197323 | 12401 88386 351299 | 24283 26250 28 | 3.233 % |
25.09/25.15 c | 230108 | 12390 88049 349592 | 2147483647 33511 35 | 3.248 % |
25.19/25.25 c | 230620 | 12390 88041 349566 | 2147483647 34022 34 | 3.248 % |
25.30/25.33 c | 231133 | 12387 88041 349566 | 2147483647 34532 34 | 3.272 % |
25.39/25.46 c | 232158 | 12387 88041 349566 | 2147483647 35557 34 | 3.272 % |
25.49/25.56 c | 232673 | 12387 88041 349566 | 2147483647 36072 34 | 3.272 % |
25.59/25.66 c | 233186 | 12387 88041 349566 | 2147483647 36585 34 | 3.272 % |
25.79/25.85 c | 234210 | 12387 88041 349566 | 2147483647 37609 34 | 3.272 % |
26.19/26.21 c | 236259 | 12384 88041 349566 | 2147483647 39657 34 | 3.295 % |
26.19/26.30 c | 236771 | 12384 88041 349566 | 2147483647 40169 34 | 3.295 % |
26.40/26.42 c | 237283 | 12384 88041 349566 | 2147483647 40681 34 | 3.295 % |
26.59/26.61 c | 238308 | 12379 88041 349566 | 2147483647 41705 34 | 3.334 % |
26.69/26.73 c | 238820 | 12370 88041 349566 | 2147483647 42215 34 | 3.420 % |
26.79/26.85 c | 239332 | 12370 88041 349566 | 2147483647 42727 34 | 3.420 % |
26.99/27.05 c | 240360 | 12370 88041 349566 | 43395 43755 34 | 3.420 % |
27.50/27.53 c | 242408 | 12369 88041 349566 | 43395 39712 34 | 3.491 % |
28.39/28.45 c | 246506 | 12359 87606 347748 | 43395 42340 33 | 3.491 % |
28.49/28.60 c | 247020 | 12359 87606 347748 | 43395 42854 33 | 3.491 % |
28.69/28.72 c | 247536 | 12359 87606 347748 | 43395 43370 33 | 3.491 % |
28.99/29.02 c | 248560 | 12359 87606 347748 | 43395 35208 32 | 3.491 % |
29.09/29.13 c | 249073 | 12359 87606 347748 | 43395 35721 32 | 3.491 % |
29.19/29.27 c | 249586 | 12359 87606 347748 | 43395 36234 32 | 3.491 % |
29.49/29.58 c | 250612 | 12359 87606 347748 | 36653 28828 29 | 3.491 % |
29.99/30.01 c | 252660 | 12359 87606 347748 | 36653 30876 28 | 3.491 % |
30.09/30.13 c | 253173 | 12359 87606 347748 | 36653 31389 28 | 3.491 % |
30.19/30.25 c | 253685 | 12358 87606 347748 | 36653 31900 28 | 3.943 % |
30.39/30.50 c | 254711 | 12358 87606 347748 | 36653 32926 28 | 3.943 % |
30.59/30.62 c | 255223 | 12358 87606 347748 | 36653 33438 28 | 3.943 % |
30.69/30.77 c | 255736 | 12301 86944 345098 | 36653 33920 28 | 3.943 % |
30.99/31.02 c | 256761 | 12301 86944 345098 | 36653 34945 28 | 3.943 % |
31.49/31.52 c | 258809 | 12301 86944 345098 | 36653 36993 27 | 3.943 % |
32.40/32.43 c | 262906 | 12301 86944 345098 | 29280 24874 22 | 3.943 % |
34.10/34.18 c | 271101 | 12301 86944 345098 | 24839 19787 20 | 3.943 % |
34.20/34.26 c | 271614 | 12301 86944 345098 | 24839 20300 20 | 3.943 % |
34.30/34.35 c | 272127 | 12301 86944 345098 | 24839 20813 20 | 3.943 % |
34.50/34.52 c | 273151 | 12301 86944 345098 | 24839 21837 20 | 3.943 % |
34.50/34.61 c | 273669 | 12301 86944 345098 | 24839 22355 20 | 3.943 % |
34.60/34.71 c | 274186 | 12301 86944 345098 | 24839 22872 20 | 3.943 % |
34.80/34.91 c | 275215 | 12301 86944 345098 | 24839 23901 20 | 3.943 % |
35.30/35.39 c | 277264 | 12301 86944 345098 | 24839 20336 19 | 3.943 % |
35.40/35.48 c | 277779 | 12301 86944 345098 | 24839 20851 19 | 3.943 % |
35.50/35.57 c | 278291 | 12301 86944 345098 | 24839 21363 19 | 3.943 % |
35.70/35.75 c | 279315 | 12301 86944 345098 | 24839 22387 19 | 3.943 % |
35.80/35.85 c | 279827 | 12301 86944 345098 | 24839 22899 19 | 3.943 % |
35.90/35.95 c | 280339 | 12301 86944 345098 | 23075 23411 19 | 3.943 % |
36.10/36.21 c | 281365 | 12290 86779 344541 | 23075 19262 19 | 4.029 % |
36.50/36.55 c | 283413 | 12290 86779 344541 | 23075 21310 19 | 4.029 % |
37.30/37.33 c | 287514 | 12290 86779 344541 | 23075 20533 19 | 4.029 % |
37.30/37.41 c | 288027 | 12290 86779 344541 | 23075 21046 20 | 4.029 % |
37.40/37.50 c | 288541 | 12290 86779 344541 | 23075 21560 20 | 4.029 % |
37.60/37.67 c | 289566 | 12290 86779 344541 | 23075 22585 20 | 4.029 % |
37.70/37.77 c | 290080 | 12290 86779 344541 | 23019 23099 20 | 4.029 % |
37.80/37.86 c | 290603 | 12290 86779 344541 | 23019 23622 20 | 4.029 % |
38.10/38.15 c | 291627 | 12290 86779 344541 | 23019 19741 20 | 4.029 % |
38.40/38.50 c | 293680 | 12290 86779 344541 | 23019 21794 20 | 4.029 % |
38.50/38.60 c | 294192 | 12290 86779 344541 | 23019 22306 20 | 4.029 % |
38.60/38.69 c | 294704 | 12290 86779 344541 | 23019 22818 20 | 4.029 % |
38.90/38.91 c | 295728 | 12290 86779 344541 | 23019 19098 20 | 4.029 % |
38.90/38.99 c | 296240 | 12290 86779 344541 | 23019 19610 20 | 4.029 % |
39.00/39.07 c | 296752 | 12290 86779 344541 | 23019 20122 20 | 4.029 % |
39.20/39.25 c | 297786 | 12290 86779 344541 | 23019 21156 20 | 4.029 % |
39.50/39.61 c | 299834 | 12290 86779 344541 | 23019 23204 20 | 4.029 % |
40.30/40.34 c | 303930 | 12290 86779 344541 | 23370 22249 20 | 4.029 % |
41.70/41.79 c | 312123 | 12290 86779 344541 | 23241 20076 20 | 4.029 % |
44.50/44.59 c | 328511 | 12290 86779 344541 | 22644 20588 18 | 4.029 % |
44.60/44.69 c | 329024 | 12290 86779 344541 | 22644 21101 19 | 4.029 % |
44.70/44.77 c | 329537 | 12290 86779 344541 | 22644 21614 19 | 4.029 % |
44.90/44.94 c | 330564 | 12290 86779 344541 | 22078 22641 19 | 4.029 % |
45.00/45.10 c | 331077 | 12290 86779 344541 | 22078 18225 19 | 4.029 % |
45.10/45.18 c | 331593 | 12290 86779 344541 | 22078 18741 19 | 4.029 % |
45.30/45.33 c | 332639 | 12290 86779 344541 | 22078 19787 19 | 4.029 % |
45.60/45.65 c | 334687 | 12290 86779 344541 | 22078 21835 19 | 4.029 % |
45.70/45.73 c | 335199 | 12290 86779 344541 | 22078 22347 19 | 4.029 % |
45.80/45.86 c | 335711 | 12290 86779 344541 | 22078 18132 19 | 4.029 % |
46.00/46.02 c | 336736 | 12290 86779 344541 | 22078 19157 19 | 4.029 % |
46.00/46.10 c | 337248 | 12290 86779 344541 | 22078 19669 19 | 4.029 % |
46.10/46.18 c | 337762 | 12290 86779 344541 | 22078 20183 20 | 4.029 % |
46.30/46.36 c | 338786 | 12290 86779 344541 | 22078 21207 20 | 4.029 % |
46.70/46.75 c | 340834 | 12290 86779 344541 | 22422 18272 20 | 4.029 % |
47.30/47.41 c | 344931 | 12290 86779 344541 | 22422 22369 20 | 4.029 % |
47.40/47.49 c | 345443 | 12290 86779 344541 | 22422 22881 20 | 4.029 % |
47.60/47.63 c | 345955 | 12290 86779 344541 | 22422 18564 20 | 4.029 % |
47.70/47.78 c | 346980 | 12290 86779 344541 | 22422 19589 20 | 4.029 % |
47.80/47.86 c | 347496 | 12290 86779 344541 | 22422 20105 20 | 4.029 % |
47.90/47.94 c | 348014 | 12290 86779 344541 | 22422 20623 20 | 4.029 % |
48.00/48.11 c | 349038 | 12290 86779 344541 | 22422 21647 20 | 4.029 % |
48.40/48.48 c | 351086 | 12290 86779 344541 | 22610 18650 20 | 4.029 % |
48.50/48.56 c | 351605 | 12290 86779 344541 | 22610 19169 20 | 4.029 % |
48.60/48.63 c | 352120 | 12290 86779 344541 | 22610 19684 20 | 4.029 % |
48.70/48.79 c | 353155 | 12290 86779 344541 | 22610 20719 20 | 4.029 % |
48.80/48.88 c | 353669 | 12290 86779 344541 | 22610 21233 20 | 4.029 % |
48.90/48.96 c | 354187 | 12290 86779 344541 | 22610 21751 20 | 4.029 % |
49.10/49.13 c | 355212 | 12290 86779 344541 | 22610 22776 20 | 4.029 % |
49.40/49.49 c | 357261 | 12290 86779 344541 | 22610 19885 20 | 4.029 % |
50.20/50.24 c | 361358 | 12290 86779 344541 | 22624 18966 19 | 4.029 % |
51.50/51.58 c | 369550 | 12290 86779 344541 | 22624 22065 19 | 4.029 % |
51.60/51.68 c | 370066 | 12290 86779 344541 | 22518 22581 19 | 4.029 % |
51.70/51.77 c | 370581 | 12290 86779 344541 | 22518 23096 19 | 4.029 % |
51.90/51.96 c | 371606 | 12290 86779 344541 | 22518 18910 19 | 4.029 % |
52.00/52.03 c | 372121 | 12290 86779 344541 | 22518 19425 19 | 4.029 % |
52.00/52.11 c | 372633 | 12290 86779 344541 | 22518 19937 19 | 4.029 % |
52.20/52.26 c | 373658 | 12290 86779 344541 | 22518 20962 19 | 4.029 % |
52.50/52.59 c | 375708 | 12290 86779 344541 | 22518 23012 19 | 4.029 % |
52.70/52.74 c | 376220 | 12290 86779 344541 | 22518 18424 19 | 4.029 % |
52.80/52.82 c | 376735 | 12290 86779 344541 | 22518 18939 19 | 4.029 % |
52.90/52.98 c | 377761 | 12290 86779 344541 | 22518 19965 19 | 4.029 % |
53.00/53.06 c | 378278 | 12290 86779 344541 | 22518 20482 19 | 4.029 % |
53.10/53.14 c | 378791 | 12290 86779 344541 | 22518 20995 19 | 4.029 % |
53.30/53.32 c | 379815 | 12290 86779 344541 | 22518 22019 19 | 4.029 % |
53.60/53.69 c | 381863 | 12290 86779 344541 | 22204 18953 19 | 4.029 % |
54.30/54.39 c | 385960 | 12290 86779 344541 | 22204 18214 19 | 4.029 % |
54.40/54.47 c | 386472 | 12290 86779 344541 | 22204 18726 19 | 4.029 % |
54.50/54.55 c | 386987 | 12290 86779 344541 | 22204 19241 19 | 4.029 % |
54.70/54.72 c | 388012 | 12290 86779 344541 | 22204 20266 19 | 4.029 % |
54.70/54.81 c | 388525 | 12290 86779 344541 | 22204 20779 20 | 4.029 % |
54.80/54.89 c | 389038 | 12290 86779 344541 | 22204 21292 20 | 4.029 % |
55.00/55.06 c | 390064 | 12290 86779 344541 | 22254 22318 20 | 4.029 % |
55.40/55.41 c | 392118 | 12290 86779 344541 | 22254 19319 19 | 4.029 % |
55.40/55.50 c | 392631 | 12290 86779 344541 | 22254 19832 19 | 4.029 % |
55.50/55.57 c | 393143 | 12290 86779 344541 | 22254 20344 19 | 4.029 % |
55.70/55.74 c | 394171 | 12290 86779 344541 | 22254 21372 19 | 4.029 % |
55.80/55.82 c | 394687 | 12290 86779 344541 | 22254 21888 19 | 4.029 % |
55.80/55.90 c | 395199 | 12290 86779 344541 | 22254 22400 19 | 4.029 % |
56.10/56.12 c | 396223 | 12290 86779 344541 | 22254 18634 19 | 4.029 % |
56.40/56.45 c | 398271 | 12290 86779 344541 | 22254 20682 19 | 4.029 % |
57.10/57.14 c | 402367 | 12290 86779 344541 | 22411 19904 19 | 4.029 % |
58.40/58.49 c | 410560 | 12290 86779 344541 | 22666 23226 19 | 4.029 % |
61.10/61.19 c | 426944 | 12290 86779 344541 | 22546 18834 18 | 4.029 % |
66.10/66.18 c | 459713 | 12290 86779 344541 | 21117 20794 19 | 4.029 % |
75.00/75.02 c | 525249 | 12288 86773 344519 | 16948 15298 26 | 4.045 % |
75.00/75.11 c | 525762 | 12288 86773 344519 | 16948 15811 26 | 4.045 % |
75.10/75.20 c | 526274 | 12287 86766 344481 | 16948 16322 26 | 4.053 % |
75.20/75.29 c | 527298 | 12287 86766 344481 | 16948 17346 25 | 4.053 % |
75.30/75.36 c | 527812 | 12287 86766 344481 | 16948 17860 25 | 4.053 % |
75.40/75.46 c | 528329 | 12286 86766 344481 | 16948 16369 25 | 4.061 % |
75.50/75.61 c | 529358 | 12286 86766 344481 | 16948 17398 25 | 4.061 % |
75.90/75.95 c | 531406 | 12282 86766 344481 | 16199 15908 24 | 4.146 % |
76.00/76.04 c | 531918 | 12275 86613 343937 | 16199 16420 24 | 4.146 % |
76.10/76.13 c | 532436 | 12275 86613 343937 | 16199 15251 23 | 4.146 % |
76.20/76.28 c | 533460 | 12275 86613 343937 | 16199 16275 23 | 4.146 % |
76.30/76.36 c | 533973 | 12275 86613 343937 | 16199 16788 23 | 4.146 % |
76.40/76.45 c | 534487 | 12275 86613 343937 | 16199 15624 22 | 4.146 % |
76.50/76.60 c | 535514 | 12275 86613 343937 | 16199 16651 22 | 4.146 % |
76.90/76.92 c | 537563 | 12275 86613 343937 | 16199 15326 21 | 4.146 % |
77.40/77.48 c | 541659 | 12275 86613 343937 | 2147483647 17736 21 | 4.146 % |
77.50/77.55 c | 542171 | 12275 86613 343937 | 2147483647 18248 21 | 4.146 % |
77.60/77.63 c | 542683 | 12275 86613 343937 | 2147483647 18760 21 | 4.146 % |
77.70/77.79 c | 543708 | 12275 86613 343937 | 2147483647 19785 21 | 4.146 % |
77.80/77.87 c | 544220 | 12275 86613 343937 | 2147483647 20297 21 | 4.146 % |
77.90/77.97 c | 544733 | 12275 86613 343937 | 2147483647 20810 21 | 4.146 % |
78.10/78.15 c | 545757 | 12275 86613 343937 | 2147483647 21834 21 | 4.146 % |
78.40/78.51 c | 547810 | 12275 86613 343937 | 2147483647 23887 21 | 4.146 % |
78.50/78.61 c | 548322 | 12275 86613 343937 | 2147483647 24399 21 | 4.146 % |
78.70/78.71 c | 548834 | 12275 86613 343937 | 2147483647 24911 21 | 4.146 % |
78.80/78.91 c | 549860 | 12275 86613 343937 | 2147483647 25937 21 | 4.146 % |
78.90/79.01 c | 550372 | 12275 86613 343937 | 26077 26449 21 | 4.146 % |
79.10/79.14 c | 550884 | 12275 86613 343937 | 26077 22325 21 | 4.146 % |
79.20/79.31 c | 551912 | 12275 86613 343937 | 26077 23353 21 | 4.146 % |
79.60/79.67 c | 553960 | 12275 86613 343937 | 26077 25401 21 | 4.146 % |
80.40/80.45 c | 558056 | 12275 86613 343937 | 26077 23529 20 | 4.146 % |
81.80/81.91 c | 566248 | 12275 86613 343937 | 25473 25257 20 | 4.146 % |
82.00/82.01 c | 566760 | 12275 86613 343937 | 25473 25769 20 | 4.146 % |
82.10/82.19 c | 567275 | 12275 86613 343937 | 25473 19708 20 | 4.146 % |
82.30/82.36 c | 568299 | 12275 86613 343937 | 25473 20732 20 | 4.146 % |
82.40/82.44 c | 568811 | 12275 86613 343937 | 25473 21244 20 | 4.146 % |
82.50/82.53 c | 569325 | 12275 86613 343937 | 25473 21758 20 | 4.146 % |
82.60/82.71 c | 570353 | 12275 86613 343937 | 22433 22786 20 | 4.146 % |
83.00/83.08 c | 572405 | 12275 86613 343937 | 22433 19166 20 | 4.146 % |
83.10/83.16 c | 572917 | 12275 86613 343937 | 22433 19678 20 | 4.146 % |
83.20/83.24 c | 573430 | 12275 86613 343937 | 22433 20191 20 | 4.146 % |
83.40/83.42 c | 574454 | 12275 86613 343937 | 22433 21215 20 | 4.146 % |
83.40/83.51 c | 574966 | 12275 86613 343937 | 22433 21727 20 | 4.146 % |
83.50/83.60 c | 575478 | 12275 86613 343937 | 22433 22239 20 | 4.146 % |
83.80/83.84 c | 576511 | 12275 86613 343937 | 22433 18017 20 | 4.146 % |
84.10/84.15 c | 578559 | 12275 86613 343937 | 22433 20065 20 | 4.146 % |
84.80/84.86 c | 582655 | 12275 86613 343937 | 21506 19264 20 | 4.146 % |
84.90/84.94 c | 583168 | 12275 86613 343937 | 21506 19777 20 | 4.146 % |
85.00/85.02 c | 583683 | 12275 86613 343937 | 21506 20292 20 | 4.146 % |
85.10/85.19 c | 584707 | 12275 86613 343937 | 21506 21316 20 | 4.146 % |
85.20/85.28 c | 585220 | 12275 86613 343937 | 21506 21829 20 | 4.146 % |
85.30/85.41 c | 585734 | 12275 86613 343937 | 21506 17752 20 | 4.146 % |
85.50/85.56 c | 586762 | 12275 86613 343937 | 21506 18780 20 | 4.146 % |
85.80/85.86 c | 588812 | 12275 86613 343937 | 21506 20830 20 | 4.146 % |
85.90/85.95 c | 589324 | 12275 86613 343937 | 21506 21342 20 | 4.146 % |
86.00/86.04 c | 589836 | 12275 86613 343937 | 21506 21854 20 | 4.146 % |
86.20/86.26 c | 590860 | 12275 86613 343937 | 22018 17983 20 | 4.146 % |
86.30/86.34 c | 591376 | 12275 86613 343937 | 22018 18499 20 | 4.146 % |
86.40/86.42 c | 591888 | 12275 86613 343937 | 22018 19011 20 | 4.146 % |
86.50/86.57 c | 592912 | 12275 86613 343937 | 22018 20035 20 | 4.146 % |
86.80/86.89 c | 594964 | 12275 86613 343937 | 22018 22087 20 | 4.146 % |
87.50/87.59 c | 599060 | 12275 86613 343937 | 22018 21100 20 | 4.146 % |
88.90/88.91 c | 607252 | 12275 86613 343937 | 22040 19190 19 | 4.146 % |
91.50/91.53 c | 623636 | 12275 86613 343937 | 21828 20237 19 | 4.146 % |
91.60/91.61 c | 624150 | 12275 86613 343937 | 21828 20751 19 | 4.146 % |
91.60/91.70 c | 624664 | 12275 86613 343937 | 21828 21265 19 | 4.146 % |
91.80/91.88 c | 625688 | 12275 86613 343937 | 21828 22289 19 | 4.146 % |
92.00/92.07 c | 626207 | 12275 86613 343937 | 21828 17665 19 | 4.146 % |
92.10/92.15 c | 626720 | 12275 86613 343937 | 21828 18178 19 | 4.146 % |
92.30/92.32 c | 627744 | 12275 86613 343937 | 21828 19202 19 | 4.146 % |
92.60/92.64 c | 629792 | 12275 86613 343937 | 21828 21250 19 | 4.146 % |
92.70/92.73 c | 630304 | 12275 86613 343937 | 21458 21762 19 | 4.146 % |
92.80/92.88 c | 630817 | 12275 86613 343937 | 21458 17233 19 | 4.146 % |
93.00/93.02 c | 631841 | 12275 86613 343937 | 21458 18257 19 | 4.146 % |
93.00/93.09 c | 632357 | 12275 86613 343937 | 21458 18773 19 | 4.146 % |
93.10/93.18 c | 632869 | 12275 86613 343937 | 21458 19285 19 | 4.146 % |
93.30/93.33 c | 633895 | 12275 86613 343937 | 21458 20311 19 | 4.146 % |
93.70/93.72 c | 635944 | 12275 86613 343937 | 21458 17424 19 | 4.146 % |
94.30/94.33 c | 640040 | 12275 86613 343937 | 21485 21520 19 | 4.146 % |
94.40/94.42 c | 640552 | 12275 86613 343937 | 21485 22032 19 | 4.146 % |
94.50/94.52 c | 641066 | 12275 86613 343937 | 21485 17547 19 | 4.146 % |
94.60/94.68 c | 642090 | 12275 86613 343937 | 21485 18571 19 | 4.146 % |
94.70/94.76 c | 642603 | 12275 86613 343937 | 21485 19084 19 | 4.146 % |
94.80/94.83 c | 643115 | 12275 86613 343937 | 21485 19596 19 | 4.146 % |
94.90/94.98 c | 644139 | 12275 86613 343937 | 21485 20620 20 | 4.146 % |
95.30/95.33 c | 646187 | 12275 86613 343937 | 21485 17499 19 | 4.146 % |
95.30/95.39 c | 646701 | 12275 86613 343937 | 21485 18013 19 | 4.146 % |
95.40/95.47 c | 647214 | 12275 86613 343937 | 21485 18526 19 | 4.146 % |
95.60/95.62 c | 648238 | 12275 86613 343937 | 21485 19550 19 | 4.146 % |
95.60/95.70 c | 648750 | 12275 86613 343937 | 21485 20062 19 | 4.146 % |
95.70/95.78 c | 649263 | 12275 86613 343937 | 21485 20575 19 | 4.146 % |
95.90/95.94 c | 650287 | 12275 86613 343937 | 21317 21599 20 | 4.146 % |
96.20/96.29 c | 652335 | 12275 86613 343937 | 21317 18621 20 | 4.146 % |
96.90/96.93 c | 656432 | 12275 86613 343937 | 21317 17777 19 | 4.146 % |
98.10/98.19 c | 664624 | 12275 86613 343937 | 21348 20969 19 | 4.146 % |
98.20/98.27 c | 665140 | 12275 86613 343937 | 21348 21485 19 | 4.146 % |
98.30/98.36 c | 665652 | 12275 86613 343937 | 21348 21997 19 | 4.146 % |
98.50/98.53 c | 666680 | 12275 86613 343937 | 21348 18013 19 | 4.146 % |
98.50/98.60 c | 667192 | 12275 86613 343937 | 21348 18525 19 | 4.146 % |
98.60/98.67 c | 667704 | 12275 86613 343937 | 21348 19037 19 | 4.146 % |
98.80/98.84 c | 668728 | 12275 86613 343937 | 21348 20061 19 | 4.146 % |
99.10/99.20 c | 670777 | 12275 86613 343937 | 21337 17092 19 | 4.146 % |
99.20/99.27 c | 671291 | 12275 86613 343937 | 21337 17606 19 | 4.146 % |
99.30/99.35 c | 671805 | 12275 86613 343937 | 21337 18120 19 | 4.146 % |
99.40/99.49 c | 672829 | 12275 86613 343937 | 21337 19144 19 | 4.146 % |
99.50/99.57 c | 673342 | 12275 86613 343937 | 21337 19657 19 | 4.146 % |
99.60/99.66 c | 673854 | 12275 86613 343937 | 21337 20169 19 | 4.146 % |
99.80/99.82 c | 674879 | 12275 86613 343937 | 21337 21194 19 | 4.146 % |
100.11/100.18 c | 676927 | 12275 86613 343937 | 21337 18398 19 | 4.146 % |
100.80/100.84 c | 681027 | 12275 86613 343937 | 21471 17449 19 | 4.146 % |
100.80/100.91 c | 681540 | 12275 86613 343937 | 21471 17962 19 | 4.146 % |
100.90/100.98 c | 682052 | 12275 86613 343937 | 21471 18474 19 | 4.146 % |
101.10/101.12 c | 683081 | 12275 86613 343937 | 21471 19503 19 | 4.146 % |
101.10/101.19 c | 683599 | 12275 86613 343937 | 21471 20021 19 | 4.146 % |
101.21/101.27 c | 684111 | 12275 86613 343937 | 21471 20533 19 | 4.146 % |
101.40/101.43 c | 685137 | 12275 86613 343937 | 21471 21559 20 | 4.146 % |
101.70/101.77 c | 687195 | 12275 86613 343937 | 21471 18613 20 | 4.146 % |
101.80/101.84 c | 687707 | 12275 86613 343937 | 21471 19125 20 | 4.146 % |
101.90/101.92 c | 688222 | 12275 86613 343937 | 21471 19640 20 | 4.146 % |
102.00/102.06 c | 689248 | 12275 86613 343937 | 21471 20666 20 | 4.146 % |
102.10/102.14 c | 689760 | 12275 86613 343937 | 21471 21178 20 | 4.146 % |
102.20/102.22 c | 690272 | 12275 86613 343937 | 21418 21690 20 | 4.146 % |
102.40/102.42 c | 691296 | 12275 86613 343937 | 21418 17578 20 | 4.146 % |
102.60/102.71 c | 693345 | 12275 86613 343937 | 21418 19627 20 | 4.146 % |
103.30/103.33 c | 697441 | 12275 86613 343937 | 21418 18625 19 | 4.146 % |
104.70/104.72 c | 705633 | 12275 86613 343937 | 21185 17223 19 | 4.146 % |
107.30/107.35 c | 722027 | 12275 86613 343937 | 21405 18135 18 | 4.146 % |
112.21/112.28 c | 754806 | 12275 86613 343937 | 21332 21184 17 | 4.146 % |
112.30/112.37 c | 755320 | 12275 86613 343937 | 21332 21698 17 | 4.146 % |
112.40/112.49 c | 755832 | 12275 86613 343937 | 21332 17168 17 | 4.146 % |
112.60/112.64 c | 756856 | 12275 86613 343937 | 21332 18192 17 | 4.146 % |
112.70/112.71 c | 757368 | 12275 86613 343937 | 21332 18704 17 | 4.146 % |
112.70/112.78 c | 757880 | 12275 86613 343937 | 21332 19216 17 | 4.146 % |
112.90/112.92 c | 758904 | 12275 86613 343937 | 21332 20240 18 | 4.146 % |
113.20/113.26 c | 760953 | 12275 86613 343937 | 21338 17301 18 | 4.146 % |
113.31/113.33 c | 761467 | 12275 86613 343937 | 21338 17815 18 | 4.146 % |
113.31/113.39 c | 761979 | 12275 86613 343937 | 21338 18327 18 | 4.146 % |
113.50/113.52 c | 763016 | 12275 86613 343937 | 21338 19364 18 | 4.146 % |
113.50/113.60 c | 763530 | 12275 86613 343937 | 21338 19878 18 | 4.146 % |
113.60/113.69 c | 764042 | 12275 86613 343937 | 21338 20390 18 | 4.146 % |
113.80/113.86 c | 765068 | 12275 86613 343937 | 21338 21416 18 | 4.146 % |
114.20/114.24 c | 767116 | 12275 86613 343937 | 21338 18517 18 | 4.146 % |
114.80/114.89 c | 771212 | 12275 86613 343937 | 21401 17393 19 | 4.146 % |
114.90/114.96 c | 771724 | 12275 86613 343937 | 21401 17905 19 | 4.146 % |
115.00/115.03 c | 772236 | 12275 86613 343937 | 21401 18417 19 | 4.146 % |
115.10/115.17 c | 773260 | 12275 86613 343937 | 21401 19441 19 | 4.146 % |
115.20/115.25 c | 773773 | 12275 86613 343937 | 21401 19954 19 | 4.146 % |
115.30/115.33 c | 774288 | 12275 86613 343937 | 21401 20469 19 | 4.146 % |
115.40/115.49 c | 775315 | 12275 86613 343937 | 21401 21496 19 | 4.146 % |
115.80/115.82 c | 777364 | 12275 86613 343937 | 21401 18496 19 | 4.146 % |
115.80/115.89 c | 777878 | 12275 86613 343937 | 21401 19010 19 | 4.146 % |
115.90/115.96 c | 778390 | 12275 86613 343937 | 21401 19522 19 | 4.146 % |
116.10/116.11 c | 779414 | 12275 86613 343937 | 21401 20546 19 | 4.146 % |
116.10/116.19 c | 779926 | 12275 86613 343937 | 21401 21058 19 | 4.146 % |
116.20/116.27 c | 780438 | 12275 86613 343937 | 21136 21570 19 | 4.146 % |
116.40/116.45 c | 781462 | 12275 86613 343937 | 21136 17802 19 | 4.146 % |
116.70/116.75 c | 783511 | 12275 86613 343937 | 21136 19851 19 | 4.146 % |
117.30/117.38 c | 787613 | 12275 86613 343937 | 21136 19365 19 | 4.146 % |
118.60/118.63 c | 795810 | 12275 86613 343937 | 21752 17630 18 | 4.146 % |
118.60/118.69 c | 796324 | 12275 86613 343937 | 21752 18144 18 | 4.146 % |
118.70/118.77 c | 796836 | 12275 86613 343937 | 21752 18656 18 | 4.146 % |
118.90/118.91 c | 797864 | 12275 86613 343937 | 21752 19684 18 | 4.146 % |
118.90/118.99 c | 798377 | 12275 86613 343937 | 21752 20197 18 | 4.146 % |
119.00/119.07 c | 798889 | 12275 86613 343937 | 21752 20709 18 | 4.146 % |
119.20/119.22 c | 799913 | 12275 86613 343937 | 21752 21733 18 | 4.146 % |
119.50/119.55 c | 801962 | 12275 86613 343937 | 21820 18684 18 | 4.146 % |
119.60/119.63 c | 802474 | 12275 86613 343937 | 21820 19196 18 | 4.146 % |
119.60/119.71 c | 802992 | 12275 86613 343937 | 21820 19714 18 | 4.146 % |
119.80/119.86 c | 804016 | 12275 86613 343937 | 21820 20738 18 | 4.146 % |
119.91/119.95 c | 804529 | 12275 86613 343937 | 21820 21251 18 | 4.146 % |
120.00/120.03 c | 805041 | 12275 86613 343937 | 21820 21763 18 | 4.146 % |
120.20/120.22 c | 806065 | 12275 86613 343937 | 21820 17664 18 | 4.146 % |
120.40/120.50 c | 808114 | 12275 86613 343937 | 21820 19713 18 | 4.146 % |
121.10/121.13 c | 812210 | 12275 86613 343937 | 21601 18693 18 | 4.146 % |
121.10/121.20 c | 812722 | 12275 86613 343937 | 21601 19205 18 | 4.146 % |
121.20/121.27 c | 813234 | 12275 86613 343937 | 21601 19717 18 | 4.146 % |
121.40/121.42 c | 814259 | 12275 86613 343937 | 21601 20742 18 | 4.146 % |
121.40/121.49 c | 814771 | 12275 86613 343937 | 21601 21254 18 | 4.146 % |
121.50/121.57 c | 815283 | 12275 86613 343937 | 21601 21766 18 | 4.146 % |
121.70/121.77 c | 816321 | 12275 86613 343937 | 21601 17914 18 | 4.146 % |
122.00/122.06 c | 818369 | 12268 86578 343832 | 21601 19960 18 | 4.201 % |
122.11/122.13 c | 818881 | 12268 86578 343832 | 21601 20472 19 | 4.201 % |
122.20/122.22 c | 819393 | 12268 86578 343832 | 21601 20984 19 | 4.201 % |
122.30/122.37 c | 820417 | 12268 86578 343832 | 21592 22008 19 | 4.201 % |
122.40/122.48 c | 820931 | 12268 86578 343832 | 21592 17513 18 | 4.201 % |
122.50/122.55 c | 821443 | 12268 86578 343832 | 21592 18025 18 | 4.201 % |
122.60/122.69 c | 822469 | 12268 86578 343832 | 21592 19051 18 | 4.201 % |
122.90/122.97 c | 824519 | 12268 86578 343832 | 21592 21101 18 | 4.201 % |
123.50/123.59 c | 828615 | 12268 86578 343832 | 21592 20310 18 | 4.201 % |
124.90/124.92 c | 836811 | 12268 86578 343832 | 21696 19225 18 | 4.201 % |
127.00/127.05 c | 853195 | 12268 86578 343832 | 17251 17182 17 | 4.201 % |
127.10/127.11 c | 853709 | 12268 86578 343832 | 17251 17696 17 | 4.201 % |
127.20/127.21 c | 854221 | 12268 86578 343832 | 17251 14907 17 | 4.201 % |
127.30/127.33 c | 855247 | 12268 86578 343832 | 17251 15933 17 | 4.201 % |
127.30/127.39 c | 855759 | 12268 86578 343832 | 17251 16445 17 | 4.201 % |
127.40/127.46 c | 856271 | 12268 86578 343832 | 17251 16957 17 | 4.201 % |
127.61/127.63 c | 857295 | 12268 86578 343832 | 17251 14755 17 | 4.201 % |
127.80/127.88 c | 859343 | 12268 86578 343832 | 17251 16803 17 | 4.201 % |
127.90/127.95 c | 859857 | 12268 86578 343832 | 17251 17317 17 | 4.201 % |
128.00/128.01 c | 860369 | 12268 86578 343832 | 17460 17829 17 | 4.201 % |
128.10/128.16 c | 861394 | 12268 86578 343832 | 17460 15601 18 | 4.201 % |
128.20/128.22 c | 861906 | 12268 86578 343832 | 17460 16113 18 | 4.201 % |
128.20/128.28 c | 862418 | 12268 86578 343832 | 17460 16625 18 | 4.201 % |
128.30/128.40 c | 863453 | 12268 86578 343832 | 17460 17660 18 | 4.201 % |
128.60/128.67 c | 865501 | 12268 86578 343832 | 17460 16595 18 | 4.201 % |
129.20/129.21 c | 869597 | 12268 86578 343832 | 17460 17596 18 | 4.201 % |
129.20/129.28 c | 870110 | 12268 86578 343832 | 17999 18109 18 | 4.201 % |
129.30/129.34 c | 870628 | 12268 86578 343832 | 17999 18627 18 | 4.201 % |
129.40/129.49 c | 871653 | 12268 86578 343832 | 17999 16241 18 | 4.201 % |
129.50/129.56 c | 872165 | 12268 86578 343832 | 17999 16753 18 | 4.201 % |
129.60/129.61 c | 872683 | 12268 86578 343832 | 17999 17271 18 | 4.201 % |
129.70/129.74 c | 873709 | 12268 86578 343832 | 17999 18297 19 | 4.201 % |
129.90/130.00 c | 875757 | 12268 86578 343832 | 17999 17087 18 | 4.201 % |
130.00/130.06 c | 876269 | 12268 86578 343832 | 17999 17599 18 | 4.201 % |
130.10/130.13 c | 876781 | 12268 86578 343832 | 17999 18111 19 | 4.201 % |
130.20/130.27 c | 877805 | 12268 86578 343832 | 17999 15818 18 | 4.201 % |
130.30/130.34 c | 878318 | 12268 86578 343832 | 17999 16331 18 | 4.201 % |
130.40/130.41 c | 878833 | 12268 86578 343832 | 17999 16846 19 | 4.201 % |
130.50/130.55 c | 879857 | 12268 86578 343832 | 17999 17870 19 | 4.201 % |
130.80/130.84 c | 881911 | 12268 86578 343832 | 18013 16646 18 | 4.201 % |
131.40/131.44 c | 886008 | 12268 86578 343832 | 18013 17760 19 | 4.201 % |
132.40/132.44 c | 894201 | 12268 86578 343832 | 15524 14338 17 | 4.201 % |
132.40/132.50 c | 894714 | 12268 86578 343832 | 15524 14851 17 | 4.201 % |
132.50/132.56 c | 895226 | 12268 86578 343832 | 15524 15363 18 | 4.201 % |
132.60/132.69 c | 896251 | 12268 86578 343832 | 15524 13844 17 | 4.201 % |
132.70/132.74 c | 896764 | 12268 86578 343832 | 15524 14357 17 | 4.201 % |
132.70/132.80 c | 897276 | 12268 86578 343832 | 15524 14869 17 | 4.201 % |
132.80/132.91 c | 898300 | 12268 86578 343832 | 15524 15893 18 | 4.201 % |
133.11/133.15 c | 900348 | 12268 86578 343832 | 15127 15475 17 | 4.201 % |
133.20/133.22 c | 900860 | 12268 86578 343832 | 15127 13672 17 | 4.201 % |
133.20/133.28 c | 901372 | 12268 86578 343832 | 15127 14184 17 | 4.201 % |
133.30/133.39 c | 902398 | 12268 86578 343832 | 15127 15210 18 | 4.201 % |
133.40/133.45 c | 902910 | 12268 86578 343832 | 15127 15722 18 | 4.201 % |
133.50/133.52 c | 903422 | 12268 86578 343832 | 15127 14145 18 | 4.201 % |
133.60/133.63 c | 904448 | 12268 86578 343832 | 15127 15171 18 | 4.201 % |
133.80/133.88 c | 906496 | 12268 86578 343832 | 15127 15086 18 | 4.201 % |
134.30/134.36 c | 910601 | 12268 86578 343832 | 14388 14988 18 | 4.201 % |
134.40/134.43 c | 911116 | 12268 86578 343832 | 14388 13422 17 | 4.201 % |
134.40/134.48 c | 911628 | 12268 86578 343832 | 14388 13934 18 | 4.201 % |
134.50/134.59 c | 912652 | 12268 86578 343832 | 14388 14958 18 | 4.201 % |
134.60/134.66 c | 913168 | 12268 86578 343832 | 14388 13538 17 | 4.201 % |
134.70/134.72 c | 913680 | 12268 86578 343832 | 14388 14050 18 | 4.201 % |
134.80/134.85 c | 914711 | 12268 86578 343832 | 14388 13145 17 | 4.201 % |
135.00/135.08 c | 916759 | 12268 86578 343832 | 14388 13222 17 | 4.201 % |
135.10/135.14 c | 917271 | 12268 86578 343832 | 14388 13734 17 | 4.201 % |
135.10/135.20 c | 917785 | 12268 86578 343832 | 14388 14248 17 | 4.201 % |
135.31/135.34 c | 918812 | 12268 86578 343832 | 14388 13442 18 | 4.201 % |
135.31/135.39 c | 919324 | 12268 86578 343832 | 14388 13954 18 | 4.201 % |
135.40/135.45 c | 919836 | 12268 86578 343832 | 14388 14466 18 | 4.201 % |
135.50/135.58 c | 920869 | 12268 86578 343832 | 14630 13679 18 | 4.201 % |
135.80/135.85 c | 922921 | 12268 86578 343832 | 14630 14123 18 | 4.201 % |
136.30/136.33 c | 927017 | 12268 86578 343832 | 14630 14907 18 | 4.201 % |
137.20/137.26 c | 935209 | 12268 86578 343832 | 14420 14178 17 | 4.201 % |
139.10/139.17 c | 951595 | 12268 86578 343832 | 2147483647 14181 16 | 4.201 % |
144.00/144.04 c | 984365 | 12268 86578 343832 | 21543 20446 16 | 4.201 % |
153.01/153.10 c | 1049902 | 12268 86578 343832 | 16832 16626 15 | 4.201 % |
169.71/169.77 c | 1180974 | 12258 86446 343340 | 14221 12570 16 | 4.279 % |
169.81/169.83 c | 1181491 | 12258 86446 343340 | 14221 13087 16 | 4.279 % |
169.81/169.89 c | 1182003 | 12258 86446 343340 | 14221 13599 16 | 4.279 % |
169.91/170.01 c | 1183028 | 12258 86446 343340 | 14221 14624 17 | 4.279 % |
170.01/170.08 c | 1183542 | 12258 86446 343340 | 14221 13046 17 | 4.279 % |
170.11/170.14 c | 1184071 | 12258 86446 343340 | 14221 13575 17 | 4.279 % |
170.21/170.26 c | 1185097 | 12258 86446 343340 | 14221 14601 17 | 4.279 % |
170.41/170.51 c | 1187145 | 12258 86446 343340 | 14221 14633 17 | 4.279 % |
170.51/170.58 c | 1187662 | 12258 86446 343340 | 14221 13158 17 | 4.279 % |
170.61/170.63 c | 1188177 | 12258 86446 343340 | 14221 13673 17 | 4.279 % |
170.71/170.75 c | 1189201 | 12258 86446 343340 | 14221 14697 17 | 4.279 % |
170.81/170.83 c | 1189716 | 12258 86446 343340 | 14221 13200 17 | 4.279 % |
170.81/170.88 c | 1190230 | 12258 86446 343340 | 13484 13714 17 | 4.279 % |
170.91/171.00 c | 1191257 | 12258 86446 343340 | 13484 12750 18 | 4.279 % |
171.21/171.23 c | 1193305 | 12258 86446 343340 | 13484 12920 18 | 4.279 % |
171.61/171.69 c | 1197401 | 12258 86446 343340 | 13484 13396 18 | 4.279 % |
171.71/171.74 c | 1197913 | 12258 86446 343340 | 13484 13908 18 | 4.279 % |
171.71/171.81 c | 1198425 | 12258 86446 343340 | 13484 12598 18 | 4.279 % |
171.91/171.93 c | 1199449 | 12258 86446 343340 | 13484 13622 18 | 4.279 % |
171.91/171.99 c | 1199961 | 12258 86446 343340 | 13484 14134 18 | 4.279 % |
172.01/172.07 c | 1200478 | 12258 86446 343340 | 12498 12974 18 | 4.279 % |
172.11/172.19 c | 1201504 | 12258 86446 343340 | 12498 12547 18 | 4.279 % |
172.31/172.41 c | 1203553 | 12258 86446 343340 | 12498 11958 18 | 4.279 % |
172.41/172.47 c | 1204066 | 12258 86446 343340 | 12498 12471 18 | 4.279 % |
172.41/172.52 c | 1204580 | 12258 86446 343340 | 12498 12985 18 | 4.279 % |
172.61/172.62 c | 1205605 | 12258 86446 343340 | 12498 12663 18 | 4.279 % |
172.61/172.67 c | 1206117 | 12258 86446 343340 | 12498 13175 18 | 4.279 % |
172.71/172.74 c | 1206630 | 12258 86446 343340 | 12498 12332 18 | 4.279 % |
172.81/172.84 c | 1207660 | 12258 86446 343340 | 12498 12047 18 | 4.279 % |
173.01/173.04 c | 1209709 | 12258 86446 343340 | 12498 12738 18 | 4.279 % |
173.51/173.53 c | 1213807 | 12258 86446 343340 | 13033 12570 18 | 4.279 % |
174.31/174.39 c | 1221999 | 12258 86446 343340 | 2147483647 15267 17 | 4.279 % |
174.41/174.44 c | 1222517 | 12258 86446 343340 | 2147483647 15785 17 | 4.279 % |
174.41/174.50 c | 1223032 | 12258 86446 343340 | 2147483647 16300 17 | 4.279 % |
174.51/174.61 c | 1224056 | 12258 86446 343340 | 2147483647 17324 17 | 4.279 % |
174.61/174.67 c | 1224571 | 12258 86446 343340 | 2147483647 17839 17 | 4.279 % |
174.71/174.73 c | 1225085 | 12258 86446 343340 | 2147483647 18353 17 | 4.279 % |
174.81/174.86 c | 1226111 | 12258 86446 343340 | 2147483647 19379 18 | 4.279 % |
175.11/175.12 c | 1228164 | 12258 86446 343340 | 2147483647 21432 18 | 4.279 % |
175.11/175.19 c | 1228676 | 12258 86446 343340 | 2147483647 21944 18 | 4.279 % |
175.21/175.27 c | 1229188 | 12258 86446 343340 | 2147483647 22456 18 | 4.279 % |
175.31/175.42 c | 1230213 | 12258 86446 343340 | 23269 23481 18 | 4.279 % |
175.51/175.57 c | 1230726 | 12258 86446 343340 | 23269 18493 17 | 4.279 % |
175.61/175.64 c | 1231243 | 12258 86446 343340 | 23269 19010 17 | 4.279 % |
175.71/175.78 c | 1232267 | 12258 86446 343340 | 23269 20034 17 | 4.279 % |
176.01/176.08 c | 1234316 | 12258 86446 343340 | 23269 22083 17 | 4.279 % |
176.61/176.69 c | 1238415 | 12258 86446 343340 | 23269 20012 18 | 4.279 % |
176.71/176.77 c | 1238928 | 12258 86446 343340 | 23269 20525 18 | 4.279 % |
176.81/176.85 c | 1239443 | 12258 86446 343340 | 23269 21040 18 | 4.279 % |
176.91/176.99 c | 1240467 | 12258 86446 343340 | 21597 22064 18 | 4.279 % |
177.01/177.09 c | 1240979 | 12258 86446 343340 | 21597 16527 18 | 4.279 % |
177.11/177.14 c | 1241491 | 12258 86446 343340 | 21597 17039 18 | 4.279 % |
177.21/177.26 c | 1242523 | 12258 86446 343340 | 21597 18071 18 | 4.279 % |
177.41/177.52 c | 1244571 | 12258 86446 343340 | 21597 20119 18 | 4.279 % |
177.51/177.58 c | 1245084 | 12258 86446 343340 | 21597 20632 18 | 4.279 % |
177.61/177.65 c | 1245596 | 12258 86446 343340 | 21597 21144 18 | 4.279 % |
177.71/177.81 c | 1246620 | 12258 86446 343340 | 21597 22168 18 | 4.279 % |
177.91/177.93 c | 1247132 | 12258 86446 343340 | 21597 16293 17 | 4.279 % |
177.91/177.99 c | 1247644 | 12258 86446 343340 | 21597 16805 17 | 4.279 % |
178.11/178.13 c | 1248671 | 12258 86446 343340 | 21597 17832 18 | 4.279 % |
178.41/178.45 c | 1250720 | 12258 86446 343340 | 19161 14541 17 | 4.279 % |
178.91/178.93 c | 1254817 | 12258 86446 343340 | 19161 18638 18 | 4.279 % |
179.91/179.96 c | 1263009 | 12258 86446 343340 | 18803 16653 17 | 4.279 % |
182.11/182.13 c | 1279394 | 12258 86446 343340 | 18886 16059 17 | 4.279 % |
182.11/182.19 c | 1279906 | 12258 86446 343340 | 18886 16571 17 | 4.279 % |
182.21/182.25 c | 1280418 | 12258 86446 343340 | 16665 17083 17 | 4.279 % |
182.31/182.40 c | 1281442 | 12258 86446 343340 | 16665 14597 17 | 4.279 % |
182.41/182.46 c | 1281954 | 12258 86446 343340 | 16665 15109 17 | 4.279 % |
182.41/182.51 c | 1282466 | 12258 86446 343340 | 16665 15621 17 | 4.279 % |
182.61/182.64 c | 1283490 | 12258 86446 343340 | 16665 16645 17 | 4.279 % |
182.81/182.90 c | 1285542 | 12258 86446 343340 | 16665 15756 17 | 4.279 % |
182.91/182.97 c | 1286055 | 12258 86446 343340 | 16665 16269 17 | 4.279 % |
183.01/183.03 c | 1286574 | 12258 86446 343340 | 16665 16788 17 | 4.279 % |
183.11/183.17 c | 1287600 | 12258 86446 343340 | 16665 14840 17 | 4.279 % |
183.21/183.22 c | 1288113 | 12258 86446 343340 | 16665 15353 17 | 4.279 % |
183.21/183.28 c | 1288626 | 12258 86446 343340 | 16665 15866 17 | 4.279 % |
183.31/183.40 c | 1289659 | 12258 86446 343340 | 16665 16899 17 | 4.279 % |
183.61/183.67 c | 1291707 | 12258 86446 343340 | 17245 15670 17 | 4.279 % |
184.11/184.18 c | 1295812 | 12258 86446 343340 | 17245 16736 18 | 4.279 % |
184.21/184.25 c | 1296324 | 12258 86446 343340 | 17245 17248 18 | 4.279 % |
184.31/184.32 c | 1296838 | 12258 86446 343340 | 17245 17762 18 | 4.279 % |
184.41/184.48 c | 1297866 | 12258 86446 343340 | 17245 15754 18 | 4.279 % |
184.51/184.54 c | 1298387 | 12258 86446 343340 | 17245 16275 18 | 4.279 % |
184.51/184.60 c | 1298911 | 12258 86446 343340 | 17245 16799 18 | 4.279 % |
184.61/184.72 c | 1299939 | 12258 86446 343340 | 17245 17827 18 | 4.279 % |
184.91/184.96 c | 1301987 | 12258 86446 343340 | 14828 14100 18 | 4.279 % |
184.91/185.01 c | 1302500 | 12258 86446 343340 | 14828 14613 18 | 4.279 % |
185.01/185.07 c | 1303015 | 12258 86446 343340 | 14828 15128 18 | 4.279 % |
185.11/185.19 c | 1304040 | 12258 86446 343340 | 14828 13408 18 | 4.279 % |
185.21/185.24 c | 1304552 | 12258 86446 343340 | 14828 13920 18 | 4.279 % |
185.21/185.29 c | 1305065 | 12258 86446 343340 | 14828 14433 18 | 4.279 % |
185.31/185.39 c | 1306093 | 12258 86446 343340 | 14828 15461 18 | 4.279 % |
185.61/185.62 c | 1308154 | 12258 86446 343340 | 14828 14916 17 | 4.279 % |
186.01/186.06 c | 1312252 | 12258 86446 343340 | 14179 14004 16 | 4.279 % |
187.01/187.06 c | 1320444 | 12258 86446 343340 | 14007 14448 17 | 4.279 % |
187.11/187.12 c | 1320956 | 12258 86446 343340 | 14007 13280 17 | 4.279 % |
187.11/187.18 c | 1321468 | 12258 86446 343340 | 14007 13792 17 | 4.279 % |
187.21/187.31 c | 1322492 | 12258 86446 343340 | 14007 13176 17 | 4.279 % |
187.31/187.37 c | 1323008 | 12258 86446 343340 | 14007 13692 17 | 4.279 % |
187.41/187.43 c | 1323522 | 12258 86446 343340 | 14007 14206 17 | 4.279 % |
187.51/187.55 c | 1324546 | 12258 86446 343340 | 14007 13631 18 | 4.279 % |
187.71/187.73 c | 1326599 | 12258 86446 343340 | 14007 14054 17 | 4.279 % |
187.71/187.78 c | 1327111 | 12258 86446 343340 | 14007 14566 17 | 4.279 % |
187.81/187.83 c | 1327623 | 12258 86446 343340 | 14007 13485 17 | 4.279 % |
187.81/187.91 c | 1328649 | 12258 86446 343340 | 14007 14511 17 | 4.279 % |
187.91/187.97 c | 1329161 | 12258 86446 343340 | 14007 13420 17 | 4.279 % |
188.01/188.03 c | 1329675 | 12258 86446 343340 | 14007 13934 17 | 4.279 % |
188.01/188.12 c | 1330699 | 12258 86446 343340 | 14259 14958 17 | 4.279 % |
188.31/188.36 c | 1332749 | 12258 86446 343340 | 14259 13838 17 | 4.279 % |
188.71/188.81 c | 1336845 | 12258 86446 343340 | 14259 14794 17 | 4.279 % |
188.81/188.87 c | 1337357 | 12258 86446 343340 | 14259 13593 17 | 4.279 % |
188.91/188.93 c | 1337873 | 12258 86446 343340 | 14259 14109 17 | 4.279 % |
189.01/189.05 c | 1338897 | 12258 86446 343340 | 14259 13323 17 | 4.279 % |
189.01/189.11 c | 1339409 | 12258 86446 343340 | 14259 13835 17 | 4.279 % |
189.11/189.16 c | 1339921 | 12258 86446 343340 | 14259 14347 17 | 4.279 % |
189.21/189.28 c | 1340945 | 12258 86446 343340 | 14431 13437 17 | 4.279 % |
189.41/189.51 c | 1342993 | 12258 86446 343340 | 14431 13489 17 | 4.279 % |
189.51/189.57 c | 1343506 | 12258 86446 343340 | 14431 14002 17 | 4.279 % |
189.61/189.63 c | 1344021 | 12258 86446 343340 | 14431 14517 17 | 4.279 % |
189.71/189.74 c | 1345048 | 12258 86446 343340 | 14431 13380 17 | 4.279 % |
189.71/189.79 c | 1345569 | 12258 86446 343340 | 14431 13901 17 | 4.279 % |
189.81/189.84 c | 1346081 | 12258 86446 343340 | 14431 14413 17 | 4.279 % |
189.91/189.95 c | 1347117 | 12258 86446 343340 | 14431 13188 17 | 4.279 % |
190.11/190.18 c | 1349165 | 12258 86446 343340 | 14431 12917 17 | 4.279 % |
190.51/190.60 c | 1353262 | 12258 86446 343340 | 13753 12360 16 | 4.279 % |
191.31/191.41 c | 1361454 | 12258 86446 343340 | 12429 11917 15 | 4.279 % |
192.91/192.98 c | 1377840 | 12258 86446 343340 | 12057 13583 16 | 4.279 % |
198.01/198.04 c | 1410608 | 12258 86446 343340 | 18770 19377 33 | 4.279 % |
198.11/198.14 c | 1411120 | 12258 86446 343340 | 18770 11542 30 | 4.279 % |
198.11/198.18 c | 1411632 | 12258 86446 343340 | 18770 12054 29 | 4.279 % |
198.21/198.27 c | 1412664 | 12258 86446 343340 | 18770 13086 29 | 4.279 % |
198.31/198.33 c | 1413179 | 12258 86446 343340 | 18770 13601 29 | 4.279 % |
198.31/198.38 c | 1413692 | 12258 86446 343340 | 18770 14114 28 | 4.279 % |
198.41/198.49 c | 1414716 | 12258 86446 343340 | 18770 15138 28 | 4.279 % |
198.71/198.72 c | 1416765 | 12258 86446 343340 | 18770 17187 27 | 4.279 % |
198.71/198.78 c | 1417278 | 12258 86446 343340 | 18770 17700 26 | 4.279 % |
198.81/198.85 c | 1417790 | 12258 86446 343340 | 18770 18212 26 | 4.279 % |
198.91/198.97 c | 1418815 | 12258 86446 343340 | 18770 19237 26 | 4.279 % |
199.01/199.06 c | 1419327 | 12258 86446 343340 | 18770 15303 23 | 4.279 % |
199.01/199.10 c | 1419839 | 12258 86446 343340 | 18770 15815 22 | 4.279 % |
199.21/199.22 c | 1420870 | 12258 86446 343340 | 15977 13613 22 | 4.279 % |
199.41/199.45 c | 1422918 | 12258 86446 343340 | 15977 15661 21 | 4.279 % |
199.81/199.90 c | 1427019 | 12258 86446 343340 | 15977 14522 18 | 4.279 % |
199.91/199.97 c | 1427531 | 12258 86446 343340 | 15977 15034 18 | 4.279 % |
200.01/200.03 c | 1428044 | 12258 86446 343340 | 15977 15547 18 | 4.279 % |
200.11/200.16 c | 1429070 | 12258 86446 343340 | 15977 16573 18 | 4.279 % |
200.21/200.24 c | 1429582 | 12258 86446 343340 | 15977 14515 18 | 4.279 % |
200.21/200.31 c | 1430098 | 12258 86446 343340 | 14933 15031 18 | 4.279 % |
200.41/200.45 c | 1431122 | 12258 86446 343340 | 14933 13825 18 | 4.279 % |
200.61/200.67 c | 1433171 | 12258 86446 343340 | 14933 13763 18 | 4.279 % |
200.61/200.72 c | 1433683 | 12258 86446 343340 | 14933 14275 18 | 4.279 % |
200.71/200.77 c | 1434196 | 12258 86446 343340 | 14933 14788 18 | 4.279 % |
200.81/200.89 c | 1435227 | 12258 86446 343340 | 14933 13735 18 | 4.279 % |
200.91/200.94 c | 1435739 | 12258 86446 343340 | 14933 14247 18 | 4.279 % |
200.91/201.00 c | 1436252 | 12258 86446 343340 | 14933 14760 18 | 4.279 % |
201.11/201.12 c | 1437285 | 12258 86446 343340 | 14933 13732 18 | 4.279 % |
201.31/201.37 c | 1439333 | 12258 86446 343340 | 14933 13806 18 | 4.279 % |
201.71/201.80 c | 1443433 | 12258 86446 343340 | 14475 13834 18 | 4.279 % |
202.61/202.67 c | 1451627 | 12258 86446 343340 | 14030 13561 17 | 4.279 % |
202.71/202.72 c | 1452139 | 12258 86446 343340 | 14030 14073 17 | 4.279 % |
202.71/202.78 c | 1452654 | 12258 86446 343340 | 14030 14588 17 | 4.279 % |
202.81/202.89 c | 1453680 | 12258 86446 343340 | 14030 13600 17 | 4.279 % |
202.91/202.95 c | 1454192 | 12258 86446 343340 | 14030 14112 17 | 4.279 % |
202.91/203.01 c | 1454704 | 12258 86446 343340 | 14030 14624 17 | 4.279 % |
203.11/203.13 c | 1455729 | 12258 86446 343340 | 14030 13762 17 | 4.279 % |
203.31/203.35 c | 1457780 | 12258 86446 343340 | 14030 13944 17 | 4.279 % |
203.31/203.41 c | 1458299 | 12258 86446 343340 | 14030 14463 17 | 4.279 % |
203.41/203.49 c | 1458811 | 12258 86446 343340 | 14030 13125 17 | 4.279 % |
203.51/203.59 c | 1459836 | 12258 86446 343340 | 14030 14150 17 | 4.279 % |
203.61/203.64 c | 1460349 | 12258 86446 343340 | 14314 14663 17 | 4.279 % |
203.71/203.72 c | 1460870 | 12258 86446 343340 | 14314 13259 17 | 4.279 % |
203.81/203.83 c | 1461894 | 12258 86446 343340 | 14314 14283 17 | 4.279 % |
204.01/204.07 c | 1463942 | 12258 86446 343340 | 14314 14390 18 | 4.279 % |
204.41/204.51 c | 1468038 | 12258 86446 343340 | 14314 14885 18 | 4.279 % |
204.51/204.58 c | 1468552 | 12258 86446 343340 | 14314 13612 17 | 4.279 % |
204.61/204.63 c | 1469065 | 12258 86446 343340 | 14314 14125 17 | 4.279 % |
204.71/204.76 c | 1470098 | 12258 86446 343340 | 13272 13368 17 | 4.279 % |
204.71/204.81 c | 1470610 | 12258 86446 343340 | 13272 13880 17 | 4.279 % |
204.81/204.87 c | 1471124 | 12258 86446 343340 | 13272 12587 17 | 4.279 % |
204.91/204.97 c | 1472149 | 12258 86446 343340 | 13272 13612 17 | 4.279 % |
205.11/205.18 c | 1474197 | 12258 86446 343340 | 13272 12348 17 | 4.279 % |
205.21/205.23 c | 1474709 | 12258 86446 343340 | 13272 12860 17 | 4.279 % |
205.21/205.29 c | 1475228 | 12258 86446 343340 | 13272 13379 17 | 4.279 % |
205.31/205.39 c | 1476253 | 12258 86446 343340 | 13272 12810 17 | 4.279 % |
205.41/205.44 c | 1476768 | 12258 86446 343340 | 13272 13325 17 | 4.279 % |
205.41/205.49 c | 1477280 | 12258 86446 343340 | 13272 13837 17 | 4.279 % |
205.51/205.61 c | 1478304 | 12258 86446 343340 | 13272 13274 17 | 4.279 % |
205.71/205.82 c | 1480354 | 12258 86446 343340 | 13395 13749 17 | 4.279 % |
206.21/206.23 c | 1484460 | 12258 86446 343340 | 13395 13010 17 | 4.279 % |
207.01/207.11 c | 1492653 | 12258 86446 343340 | 13879 12991 17 | 4.279 % |
208.71/208.81 c | 1509040 | 12258 86446 343340 | 14422 14149 16 | 4.279 % |
208.81/208.91 c | 1509552 | 12252 86416 343206 | 14422 14658 16 | 4.334 % |
208.91/208.97 c | 1510066 | 12252 86416 343206 | 15106 15172 16 | 4.334 % |
209.01/209.10 c | 1511091 | 12252 86416 343206 | 15106 14019 16 | 4.334 % |
209.10/209.16 c | 1511606 | 12252 86416 343206 | 15106 14534 16 | 4.334 % |
209.20/209.22 c | 1512118 | 12252 86416 343206 | 15106 15046 16 | 4.334 % |
209.30/209.35 c | 1513143 | 12252 86416 343206 | 15106 13952 16 | 4.334 % |
209.50/209.60 c | 1515191 | 12252 86416 343206 | 15106 13884 17 | 4.334 % |
209.60/209.67 c | 1515703 | 12251 86384 343065 | 15106 14396 17 | 4.334 % |
209.70/209.73 c | 1516217 | 12251 86384 343065 | 15106 14910 17 | 4.334 % |
209.80/209.86 c | 1517244 | 12251 86384 343065 | 15106 13826 17 | 4.334 % |
209.90/209.91 c | 1517756 | 12251 86384 343065 | 15106 14338 17 | 4.334 % |
209.90/209.97 c | 1518269 | 12251 86384 343065 | 15106 14851 17 | 4.334 % |
210.00/210.10 c | 1519295 | 12251 86384 343065 | 15106 13696 17 | 4.334 % |
210.30/210.31 c | 1521344 | 12251 86384 343065 | 14401 13606 17 | 4.334 % |
210.70/210.74 c | 1525441 | 12251 86384 343065 | 14401 13432 17 | 4.334 % |
210.70/210.79 c | 1525953 | 12251 86384 343065 | 14401 13944 17 | 4.334 % |
210.80/210.84 c | 1526466 | 12251 86384 343065 | 14401 14457 17 | 4.334 % |
210.90/210.96 c | 1527494 | 12251 86384 343065 | 14401 13347 17 | 4.334 % |
210.90/211.00 c | 1528011 | 12251 86384 343065 | 14401 13864 17 | 4.334 % |
211.00/211.06 c | 1528525 | 12251 86384 343065 | 14401 14378 17 | 4.334 % |
211.10/211.18 c | 1529555 | 12251 86384 343065 | 14401 13308 17 | 4.334 % |
211.30/211.39 c | 1531608 | 12251 86384 343065 | 13753 13431 17 | 4.334 % |
211.40/211.44 c | 1532120 | 12251 86384 343065 | 13753 13943 17 | 4.334 % |
211.40/211.49 c | 1532632 | 12251 86384 343065 | 13753 14455 17 | 4.334 % |
211.60/211.61 c | 1533667 | 12251 86384 343065 | 13753 13600 17 | 4.334 % |
211.60/211.66 c | 1534179 | 12251 86384 343065 | 13753 14112 17 | 4.334 % |
211.70/211.73 c | 1534692 | 12251 86384 343065 | 13753 12765 17 | 4.334 % |
211.80/211.82 c | 1535716 | 12251 86384 343065 | 13753 13789 17 | 4.334 % |
212.00/212.05 c | 1537764 | 12251 86384 343065 | 13753 14046 16 | 4.334 % |
212.50/212.53 c | 1541860 | 12251 86384 343065 | 12993 13486 17 | 4.334 % |
213.30/213.35 c | 1550054 | 12251 86384 343065 | 2147483647 13471 17 | 4.334 % |
213.30/213.40 c | 1550569 | 12251 86384 343065 | 2147483647 13986 17 | 4.334 % |
213.41/213.45 c | 1551084 | 12251 86384 343065 | 2147483647 14501 17 | 4.334 % |
213.50/213.57 c | 1552112 | 12251 86384 343065 | 2147483647 15529 17 | 4.334 % |
213.60/213.63 c | 1552627 | 12251 86384 343065 | 2147483647 16044 17 | 4.334 % |
213.60/213.68 c | 1553144 | 12251 86384 343065 | 2147483647 16561 17 | 4.334 % |
213.70/213.80 c | 1554175 | 12251 86384 343065 | 2147483647 17592 17 | 4.334 % |
214.00/214.06 c | 1556223 | 12251 86384 343065 | 2147483647 19640 17 | 4.334 % |
214.10/214.13 c | 1556742 | 12251 86384 343065 | 2147483647 20159 17 | 4.334 % |
214.10/214.20 c | 1557255 | 12251 86384 343065 | 2147483647 20672 17 | 4.334 % |
214.30/214.34 c | 1558282 | 12251 86384 343065 | 2147483647 21699 17 | 4.334 % |
214.40/214.42 c | 1558806 | 12251 86384 343065 | 2147483647 22223 17 | 4.334 % |
214.40/214.50 c | 1559318 | 12251 86384 343065 | 2147483647 22735 17 | 4.334 % |
214.60/214.66 c | 1560343 | 12251 86384 343065 | 23420 23760 17 | 4.334 % |
215.00/215.02 c | 1562399 | 12251 86384 343065 | 23420 20741 17 | 4.334 % |
215.61/215.65 c | 1566497 | 12251 86384 343065 | 23420 18881 16 | 4.334 % |
215.70/215.71 c | 1567009 | 12251 86384 343065 | 23420 19393 17 | 4.334 % |
215.70/215.77 c | 1567523 | 12251 86384 343065 | 23420 19907 17 | 4.334 % |
215.90/215.92 c | 1568549 | 12251 86384 343065 | 23420 20933 17 | 4.334 % |
215.90/215.98 c | 1569064 | 12251 86384 343065 | 23420 21448 17 | 4.334 % |
216.00/216.07 c | 1569580 | 12251 86384 343065 | 23420 21964 17 | 4.334 % |
216.20/216.22 c | 1570606 | 12251 86384 343065 | 22384 22990 17 | 4.334 % |
216.50/216.51 c | 1572658 | 12251 86384 343065 | 22384 18981 16 | 4.334 % |
216.50/216.58 c | 1573171 | 12251 86384 343065 | 22384 19494 16 | 4.334 % |
216.60/216.65 c | 1573683 | 12251 86384 343065 | 22384 20006 16 | 4.334 % |
216.71/216.79 c | 1574707 | 12251 86384 343065 | 22384 21030 17 | 4.334 % |
216.80/216.86 c | 1575219 | 12251 86384 343065 | 22384 21542 17 | 4.334 % |
216.90/216.93 c | 1575734 | 12251 86384 343065 | 22384 22057 17 | 4.334 % |
217.10/217.15 c | 1576758 | 12251 86384 343065 | 22384 17092 16 | 4.334 % |
217.30/217.40 c | 1578806 | 12251 86384 343065 | 22384 19140 16 | 4.334 % |
217.90/217.92 c | 1582902 | 12251 86384 343065 | 20334 17829 17 | 4.334 % |
219.00/219.09 c | 1591108 | 12251 86384 343065 | 20042 16689 17 | 4.334 % |
220.90/220.99 c | 1607492 | 12250 86363 342790 | 16257 16755 15 | 4.342 % |
224.70/224.77 c | 1640261 | 12250 86363 342790 | 13537 13797 15 | 4.342 % |
231.01/231.07 c | 1705803 | 12250 86363 342790 | 11573 10788 13 | 4.342 % |
231.10/231.13 c | 1706322 | 12250 86363 342790 | 11573 11307 13 | 4.342 % |
231.10/231.18 c | 1706844 | 12250 86363 342790 | 11573 11829 13 | 4.342 % |
231.20/231.30 c | 1707868 | 12250 86363 342790 | 11573 11505 14 | 4.342 % |
231.30/231.34 c | 1708380 | 12250 86363 342790 | 11573 12017 14 | 4.342 % |
231.30/231.40 c | 1708893 | 12250 86363 342790 | 11573 11300 14 | 4.342 % |
231.50/231.51 c | 1709917 | 12250 86363 342790 | 11573 11098 15 | 4.342 % |
231.60/231.68 c | 1711965 | 12250 86363 342790 | 2147483647 13146 15 | 4.342 % |
231.70/231.74 c | 1712479 | 12250 86363 342790 | 2147483647 13660 15 | 4.342 % |
231.70/231.80 c | 1712992 | 12250 86363 342790 | 2147483647 14173 16 | 4.342 % |
231.90/231.92 c | 1714019 | 12250 86363 342790 | 2147483647 15200 16 | 4.342 % |
231.90/231.97 c | 1714533 | 12250 86363 342790 | 2147483647 15714 16 | 4.342 % |
232.00/232.02 c | 1715046 | 12250 86363 342790 | 2147483647 16227 16 | 4.342 % |
232.11/232.14 c | 1716070 | 12250 86363 342790 | 2147483647 17251 16 | 4.342 % |
232.30/232.41 c | 1718118 | 12250 86363 342790 | 2147483647 19299 16 | 4.342 % |
232.90/232.98 c | 1722214 | 12250 86363 342790 | 21184 19129 17 | 4.342 % |
233.00/233.05 c | 1722728 | 12250 86363 342790 | 21184 19643 17 | 4.342 % |
233.10/233.12 c | 1723240 | 12250 86363 342790 | 21184 20155 17 | 4.342 % |
233.21/233.27 c | 1724264 | 12250 86363 342790 | 21184 21179 18 | 4.342 % |
233.30/233.34 c | 1724776 | 12250 86363 342790 | 21184 21691 18 | 4.342 % |
233.40/233.47 c | 1725292 | 12250 86363 342790 | 21184 17241 18 | 4.342 % |
233.50/233.59 c | 1726319 | 12250 86363 342790 | 21184 18268 18 | 4.342 % |
233.80/233.85 c | 1728370 | 12250 86363 342790 | 21184 20319 18 | 4.342 % |
233.90/233.92 c | 1728882 | 12250 86363 342790 | 21184 20831 18 | 4.342 % |
233.90/233.99 c | 1729394 | 12250 86363 342790 | 21184 21343 18 | 4.342 % |
234.10/234.15 c | 1730418 | 12250 86363 342790 | 16640 17058 18 | 4.342 % |
234.20/234.25 c | 1730930 | 12250 86363 342790 | 16640 13445 18 | 4.342 % |
234.20/234.30 c | 1731442 | 12250 86363 342790 | 16640 13957 18 | 4.342 % |
234.31/234.40 c | 1732475 | 12250 86363 342790 | 16640 14990 18 | 4.342 % |
234.60/234.61 c | 1734523 | 12250 86363 342790 | 16640 17038 17 | 4.342 % |
235.00/235.03 c | 1738620 | 12250 86363 342790 | 16640 17275 17 | 4.342 % |
235.80/235.87 c | 1746812 | 12250 86363 342790 | 14773 12976 15 | 4.342 % |
235.90/235.92 c | 1747324 | 12250 86363 342790 | 14773 13488 15 | 4.342 % |
235.90/235.97 c | 1747839 | 12250 86363 342790 | 14773 14003 15 | 4.342 % |
236.00/236.07 c | 1748863 | 12250 86363 342790 | 14773 15027 16 | 4.342 % |
236.10/236.16 c | 1749375 | 12250 86363 342790 | 14773 12889 15 | 4.342 % |
236.20/236.21 c | 1749887 | 12250 86363 342790 | 14773 13401 16 | 4.342 % |
236.30/236.34 c | 1750914 | 12250 86363 342790 | 13516 11982 16 | 4.342 % |
236.51/236.52 c | 1752962 | 12250 86363 342790 | 13516 14030 16 | 4.342 % |
236.51/236.59 c | 1753474 | 12250 86363 342790 | 13516 12298 16 | 4.342 % |
236.60/236.63 c | 1753986 | 12250 86363 342790 | 13516 12810 16 | 4.342 % |
236.70/236.72 c | 1755016 | 12250 86363 342790 | 13516 13840 16 | 4.342 % |
236.70/236.79 c | 1755529 | 12250 86363 342790 | 13516 12230 16 | 4.342 % |
236.80/236.84 c | 1756041 | 12250 86363 342790 | 13516 12742 16 | 4.342 % |
236.90/236.93 c | 1757069 | 12250 86363 342790 | 13516 13770 16 | 4.342 % |
237.10/237.12 c | 1759128 | 12250 86363 342790 | 13516 13753 16 | 4.342 % |
237.50/237.54 c | 1763224 | 12250 86363 342790 | 12572 12288 16 | 4.342 % |
237.50/237.59 c | 1763736 | 12250 86363 342790 | 12572 12800 16 | 4.342 % |
237.61/237.65 c | 1764248 | 12250 86363 342790 | 12572 11697 16 | 4.342 % |
237.70/237.74 c | 1765277 | 12250 86363 342790 | 12572 12726 16 | 4.342 % |
237.70/237.79 c | 1765789 | 12250 86363 342790 | 12572 13238 16 | 4.342 % |
237.80/237.85 c | 1766308 | 12250 86363 342790 | 12572 12223 16 | 4.342 % |
237.90/237.94 c | 1767332 | 12250 86363 342790 | 12572 13247 16 | 4.342 % |
238.10/238.16 c | 1769390 | 12250 86363 342790 | 12572 12245 16 | 4.342 % |
238.10/238.20 c | 1769902 | 12250 86363 342790 | 12572 12757 16 | 4.342 % |
238.20/238.25 c | 1770418 | 12250 86363 342790 | 12856 13273 16 | 4.342 % |
238.30/238.35 c | 1771442 | 12250 86363 342790 | 12856 12673 16 | 4.342 % |
238.30/238.40 c | 1771954 | 12250 86363 342790 | 12856 13185 16 | 4.342 % |
238.40/238.47 c | 1772466 | 12250 86363 342790 | 12856 12044 17 | 4.342 % |
238.50/238.57 c | 1773492 | 12250 86363 342790 | 12856 13070 17 | 4.342 % |
238.71/238.80 c | 1775540 | 12250 86363 342790 | 12856 12148 17 | 4.342 % |
239.10/239.20 c | 1779636 | 12250 86363 342790 | 12856 13177 17 | 4.342 % |
239.90/240.00 c | 1787831 | 12250 86363 342790 | 12004 11485 15 | 4.342 % |
241.60/241.67 c | 1804215 | 12250 86363 342790 | 12275 11897 14 | 4.342 % |
241.70/241.73 c | 1804727 | 12250 86363 342790 | 12275 12409 15 | 4.342 % |
241.70/241.78 c | 1805239 | 12250 86363 342790 | 12275 12921 15 | 4.342 % |
241.80/241.89 c | 1806263 | 12250 86363 342790 | 12275 12600 15 | 4.342 % |
241.90/241.95 c | 1806776 | 12250 86363 342790 | 12275 11742 15 | 4.342 % |
241.90/242.00 c | 1807289 | 12250 86363 342790 | 12275 12255 15 | 4.342 % |
242.10/242.11 c | 1808318 | 12250 86363 342790 | 12275 11987 16 | 4.342 % |
242.30/242.31 c | 1810366 | 12250 86363 342790 | 2147483647 12736 16 | 4.342 % |
242.30/242.37 c | 1810881 | 12250 86363 342790 | 2147483647 13251 16 | 4.342 % |
242.40/242.42 c | 1811393 | 12250 86363 342790 | 2147483647 13763 16 | 4.342 % |
242.50/242.54 c | 1812417 | 12250 86363 342790 | 2147483647 14787 16 | 4.342 % |
242.50/242.60 c | 1812932 | 12250 86363 342790 | 2147483647 15302 16 | 4.342 % |
242.60/242.67 c | 1813444 | 12250 86363 342790 | 2147483647 15814 16 | 4.342 % |
242.70/242.80 c | 1814475 | 12250 86363 342790 | 2147483647 16845 16 | 4.342 % |
243.00/243.06 c | 1816526 | 12246 86328 342636 | 2147483647 18894 17 | 4.373 % |
243.60/243.65 c | 1820622 | 12246 86328 342636 | 22368 22990 17 | 4.373 % |
243.70/243.75 c | 1821134 | 12246 86328 342636 | 22368 18989 17 | 4.373 % |
243.80/243.82 c | 1821647 | 12246 86328 342636 | 22368 19502 17 | 4.373 % |
243.90/243.95 c | 1822671 | 12246 86328 342636 | 22368 20526 17 | 4.373 % |
244.00/244.02 c | 1823183 | 12246 86328 342636 | 22368 21038 17 | 4.373 % |
244.00/244.09 c | 1823695 | 12246 86328 342636 | 22368 21550 17 | 4.373 % |
244.21/244.24 c | 1824719 | 12246 86328 342636 | 22368 22574 18 | 4.373 % |
244.50/244.56 c | 1826775 | 12246 86328 342636 | 22368 19303 17 | 4.373 % |
244.60/244.63 c | 1827287 | 12246 86328 342636 | 22368 19815 17 | 4.373 % |
244.60/244.70 c | 1827799 | 12246 86328 342636 | 22368 20327 17 | 4.373 % |
244.80/244.84 c | 1828823 | 12246 86328 342636 | 22368 21351 17 | 4.373 % |
244.90/244.91 c | 1829335 | 12246 86328 342636 | 22368 21863 17 | 4.373 % |
244.90/244.99 c | 1829847 | 12246 86328 342636 | 22368 22375 17 | 4.373 % |
245.10/245.20 c | 1830872 | 12246 86328 342636 | 22528 17520 17 | 4.373 % |
245.40/245.45 c | 1832924 | 12246 86328 342636 | 22528 19572 17 | 4.373 % |
246.00/246.10 c | 1837023 | 12246 86328 342636 | 22528 17619 17 | 4.373 % |
247.10/247.18 c | 1845225 | 12246 86328 342636 | 20596 20172 16 | 4.373 % |
247.20/247.25 c | 1845737 | 12246 86328 342636 | 20596 20684 16 | 4.373 % |
247.30/247.32 c | 1846250 | 12246 86328 342636 | 20596 21197 16 | 4.373 % |
247.40/247.48 c | 1847274 | 12246 86328 342636 | 20596 16868 16 | 4.373 % |
247.51/247.54 c | 1847787 | 12246 86328 342636 | 20596 17381 16 | 4.373 % |
247.51/247.60 c | 1848302 | 12246 86328 342636 | 20596 17896 16 | 4.373 % |
247.70/247.74 c | 1849326 | 12246 86328 342636 | 20596 18920 16 | 4.373 % |
248.00/248.02 c | 1851375 | 12246 86328 342636 | 19595 15787 16 | 4.373 % |
248.00/248.08 c | 1851895 | 12246 86328 342636 | 19595 16307 16 | 4.373 % |
248.10/248.14 c | 1852407 | 12246 86328 342636 | 19595 16819 16 | 4.373 % |
248.20/248.26 c | 1853433 | 12246 86328 342636 | 19595 17845 16 | 4.373 % |
248.30/248.32 c | 1853946 | 12246 86328 342636 | 19595 18358 16 | 4.373 % |
248.30/248.38 c | 1854462 | 12246 86328 342636 | 19595 18874 16 | 4.373 % |
248.50/248.52 c | 1855487 | 12246 86328 342636 | 19595 19899 16 | 4.373 % |
248.80/248.81 c | 1857539 | 12246 86328 342636 | 19595 16850 16 | 4.373 % |
249.30/249.35 c | 1861635 | 12246 86328 342636 | 19311 15994 16 | 4.373 % |
249.40/249.41 c | 1862147 | 12246 86328 342636 | 19311 16506 16 | 4.373 % |
249.40/249.47 c | 1862659 | 12246 86328 342636 | 19311 17018 16 | 4.373 % |
249.50/249.59 c | 1863683 | 12246 86328 342636 | 19311 18042 16 | 4.373 % |
249.60/249.66 c | 1864195 | 12246 86328 342636 | 19311 18554 16 | 4.373 % |
249.71/249.72 c | 1864707 | 12246 86328 342636 | 19311 19066 16 | 4.373 % |
249.80/249.88 c | 1865735 | 12246 86328 342636 | 19311 15223 16 | 4.373 % |
250.10/250.11 c | 1867783 | 12246 86328 342636 | 19311 17271 16 | 4.373 % |
250.10/250.17 c | 1868295 | 12246 86328 342636 | 19311 17783 16 | 4.373 % |
250.20/250.23 c | 1868808 | 12246 86328 342636 | 19311 18296 16 | 4.373 % |
250.30/250.35 c | 1869832 | 12246 86328 342636 | 19311 19320 16 | 4.373 % |
250.40/250.42 c | 1870346 | 12246 86328 342636 | 19492 19834 16 | 4.373 % |
250.50/250.52 c | 1870858 | 12246 86328 342636 | 19492 15089 16 | 4.373 % |
250.60/250.62 c | 1871882 | 12246 86328 342636 | 19492 16113 16 | 4.373 % |
250.81/250.86 c | 1873930 | 12246 86328 342636 | 19492 18161 16 | 4.373 % |
251.30/251.37 c | 1878026 | 12246 86328 342636 | 19492 17006 16 | 4.373 % |
252.40/252.44 c | 1886218 | 12246 86328 342636 | 18980 15538 15 | 4.373 % |
254.40/254.41 c | 1902603 | 12246 86328 342636 | 19869 17190 15 | 4.373 % |
258.51/258.57 c | 1935371 | 12245 86323 342614 | 18179 18589 14 | 4.381 % |
258.61/258.67 c | 1935889 | 12245 86323 342614 | 18179 14765 14 | 4.381 % |
258.71/258.72 c | 1936401 | 12245 86323 342614 | 18179 15277 15 | 4.381 % |
258.81/258.83 c | 1937425 | 12245 86323 342614 | 18179 16301 15 | 4.381 % |
258.81/258.88 c | 1937937 | 12245 86323 342614 | 18179 16813 15 | 4.381 % |
258.91/258.94 c | 1938449 | 12245 86323 342614 | 18179 17325 15 | 4.381 % |
259.01/259.05 c | 1939475 | 12245 86323 342614 | 18179 18351 15 | 4.381 % |
259.31/259.35 c | 1941526 | 12245 86323 342614 | 14554 12739 16 | 4.381 % |
259.31/259.39 c | 1942038 | 12245 86323 342614 | 14554 13251 16 | 4.381 % |
259.41/259.44 c | 1942551 | 12245 86323 342614 | 14554 13764 16 | 4.381 % |
259.51/259.54 c | 1943578 | 12245 86323 342614 | 14554 14791 16 | 4.381 % |
259.51/259.61 c | 1944098 | 12245 86323 342614 | 14554 12357 16 | 4.381 % |
259.61/259.65 c | 1944610 | 12245 86323 342614 | 14554 12869 16 | 4.381 % |
259.71/259.75 c | 1945643 | 12245 86323 342614 | 14554 13902 16 | 4.381 % |
259.91/259.97 c | 1947691 | 12245 86323 342614 | 14554 13252 16 | 4.381 % |
260.31/260.38 c | 1951787 | 12245 86323 342614 | 13004 12453 16 | 4.381 % |
260.41/260.43 c | 1952301 | 12245 86323 342614 | 13004 12967 16 | 4.381 % |
260.41/260.48 c | 1952813 | 12245 86323 342614 | 13004 13479 16 | 4.381 % |
260.51/260.58 c | 1953838 | 12245 86323 342614 | 13004 12380 16 | 4.381 % |
260.61/260.62 c | 1954351 | 12245 86323 342614 | 13004 12893 16 | 4.381 % |
260.61/260.67 c | 1954863 | 12245 86323 342614 | 13004 13405 16 | 4.381 % |
260.71/260.78 c | 1955888 | 12245 86323 342614 | 13004 12318 16 | 4.381 % |
260.91/260.99 c | 1957939 | 12245 86323 342614 | 13004 12362 15 | 4.381 % |
261.01/261.03 c | 1958452 | 12245 86323 342614 | 13004 12875 15 | 4.381 % |
261.01/261.08 c | 1958966 | 12245 86323 342614 | 13004 13389 16 | 4.381 % |
261.11/261.19 c | 1959990 | 12245 86323 342614 | 13004 12406 15 | 4.381 % |
261.21/261.24 c | 1960502 | 12245 86323 342614 | 12419 12918 16 | 4.381 % |
261.21/261.31 c | 1961016 | 12245 86323 342614 | 12419 11547 16 | 4.381 % |
261.31/261.40 c | 1962043 | 12245 86323 342614 | 12419 12574 16 | 4.381 % |
261.51/261.59 c | 1964091 | 12245 86323 342614 | 12419 12796 16 | 4.381 % |
261.91/261.99 c | 1968188 | 12245 86323 342614 | 12419 11658 15 | 4.381 % |
262.71/262.73 c | 1976380 | 12245 86323 342614 | 11700 11384 14 | 4.381 % |
262.71/262.78 c | 1976892 | 12245 86323 342614 | 11700 11896 14 | 4.381 % |
262.81/262.83 c | 1977404 | 12245 86323 342614 | 11700 10855 14 | 4.381 % |
262.91/262.92 c | 1978428 | 12245 86323 342614 | 11700 11879 14 | 4.381 % |
262.91/262.97 c | 1978940 | 12245 86323 342614 | 11700 12391 15 | 4.381 % |
263.01/263.02 c | 1979452 | 12245 86323 342614 | 11700 11364 15 | 4.381 % |
263.01/263.11 c | 1980477 | 12245 86323 342614 | 11920 12389 15 | 4.381 % |
263.31/263.32 c | 1982525 | 12245 86323 342614 | 11920 11503 15 | 4.381 % |
263.31/263.37 c | 1983038 | 12245 86323 342614 | 11920 12016 15 | 4.381 % |
263.31/263.41 c | 1983556 | 12245 86323 342614 | 11920 12534 15 | 4.381 % |
263.41/263.50 c | 1984580 | 12245 86323 342614 | 11920 12119 15 | 4.381 % |
263.51/263.55 c | 1985095 | 12245 86323 342614 | 11920 11046 15 | 4.381 % |
263.51/263.59 c | 1985607 | 12245 86323 342614 | 11920 11558 15 | 4.381 % |
263.61/263.67 c | 1986632 | 12245 86323 342614 | 11920 12583 15 | 4.381 % |
263.81/263.85 c | 1988681 | 12245 86323 342614 | 11920 11190 14 | 4.381 % |
264.21/264.25 c | 1992787 | 12241 86287 342426 | 12509 11717 14 | 4.412 % |
264.21/264.29 c | 1993300 | 12241 86287 342426 | 12509 12230 14 | 4.412 % |
264.31/264.34 c | 1993819 | 12241 86287 342426 | 12509 12749 15 | 4.412 % |
264.41/264.46 c | 1994843 | 12241 86287 342426 | 12509 12053 15 | 4.412 % |
264.41/264.50 c | 1995355 | 12241 86287 342426 | 12509 12565 15 | 4.412 % |
264.51/264.55 c | 1995871 | 12241 86287 342426 | 12509 13081 15 | 4.412 % |
264.61/264.66 c | 1996896 | 12241 86287 342426 | 12509 12467 15 | 4.412 % |
264.81/264.88 c | 1998945 | 12241 86287 342426 | 12509 12951 15 | 4.412 % |
264.91/264.94 c | 1999457 | 12241 86287 342426 | 12509 11952 16 | 4.412 % |
264.91/264.99 c | 1999969 | 12241 86287 342426 | 12509 12464 16 | 4.412 % |
265.01/265.10 c | 2000993 | 12241 86287 342426 | 12495 12060 16 | 4.412 % |
265.11/265.15 c | 2001508 | 12241 86287 342426 | 12495 12575 16 | 4.412 % |
265.11/265.19 c | 2002022 | 12241 86287 342426 | 12495 13089 16 | 4.412 % |
265.21/265.29 c | 2003047 | 12241 86287 342426 | 12495 12694 16 | 4.412 % |
265.41/265.48 c | 2005102 | 12241 86287 342426 | 12495 11596 16 | 4.412 % |
265.81/265.85 c | 2009198 | 12241 86287 342426 | 12495 12514 15 | 4.412 % |
266.51/266.61 c | 2017391 | 12241 86287 342426 | 11714 12030 15 | 4.412 % |
268.01/268.08 c | 2033775 | 12241 86287 342426 | 11010 10255 14 | 4.412 % |
268.11/268.12 c | 2034287 | 12241 86287 342426 | 11010 10767 14 | 4.412 % |
268.11/268.16 c | 2034803 | 12241 86287 342426 | 11010 11283 14 | 4.412 % |
268.21/268.25 c | 2035828 | 12241 86287 342426 | 11010 10872 13 | 4.412 % |
268.21/268.29 c | 2036341 | 12241 86287 342426 | 11010 11385 13 | 4.412 % |
268.31/268.35 c | 2036855 | 12241 86287 342426 | 11010 10495 13 | 4.412 % |
268.41/268.44 c | 2037883 | 12241 86287 342426 | 11010 11523 14 | 4.412 % |
268.61/268.65 c | 2039936 | 12241 86287 342426 | 11010 10974 14 | 4.412 % |
268.61/268.69 c | 2040448 | 12241 86287 342426 | 11038 11486 14 | 4.412 % |
268.71/268.75 c | 2040961 | 12241 86287 342426 | 11038 10700 14 | 4.412 % |
268.81/268.84 c | 2041986 | 12241 86287 342426 | 11038 10553 15 | 4.412 % |
268.81/268.89 c | 2042498 | 12241 86287 342426 | 11038 11065 15 | 4.412 % |
268.91/268.93 c | 2043014 | 12241 86287 342426 | 11038 11581 15 | 4.412 % |
269.01/269.03 c | 2044042 | 12241 86287 342426 | 11038 11436 15 | 4.412 % |
269.11/269.21 c | 2046090 | 12241 86287 342426 | 11038 11140 15 | 4.412 % |
269.51/269.57 c | 2050187 | 12241 86287 342426 | 2147483647 11725 15 | 4.412 % |
269.51/269.61 c | 2050699 | 12241 86287 342426 | 2147483647 12237 15 | 4.412 % |
269.61/269.66 c | 2051216 | 12241 86287 342426 | 2147483647 12754 15 | 4.412 % |
269.71/269.77 c | 2052241 | 12241 86287 342426 | 2147483647 13779 15 | 4.412 % |
269.81/269.83 c | 2052760 | 12241 86287 342426 | 2147483647 14298 15 | 4.412 % |
269.81/269.88 c | 2053275 | 12241 86287 342426 | 2147483647 14813 15 | 4.412 % |
269.91/269.99 c | 2054305 | 12241 86287 342426 | 2147483647 15843 15 | 4.412 % |
270.21/270.22 c | 2056355 | 12241 86287 342426 | 2147483647 17893 15 | 4.412 % |
270.21/270.28 c | 2056869 | 12241 86287 342426 | 2147483647 18407 15 | 4.412 % |
270.31/270.35 c | 2057383 | 12241 86287 342426 | 2147483647 18921 15 | 4.412 % |
270.41/270.47 c | 2058407 | 12241 86287 342426 | 2147483647 19945 15 | 4.412 % |
270.51/270.55 c | 2058919 | 12241 86287 342426 | 2147483647 20457 15 | 4.412 % |
270.61/270.61 c | 2059432 | 12241 86287 342426 | 2147483647 20970 15 | 4.412 % |
270.71/270.75 c | 2060470 | 12241 86287 342426 | 21538 22008 15 | 4.412 % |
271.01/271.06 c | 2062519 | 12241 86287 342426 | 21538 19471 15 | 4.412 % |
271.61/271.67 c | 2066620 | 12241 86287 342426 | 21538 18107 15 | 4.412 % |
272.71/272.75 c | 2074812 | 12241 86287 342426 | 21487 20576 15 | 4.412 % |
272.81/272.82 c | 2075330 | 12241 86287 342426 | 21487 21094 15 | 4.412 % |
272.81/272.89 c | 2075842 | 12241 86287 342426 | 21487 21606 15 | 4.412 % |
273.01/273.08 c | 2076866 | 12241 86287 342426 | 21487 16725 15 | 4.412 % |
273.11/273.13 c | 2077378 | 12241 86287 342426 | 21487 17237 15 | 4.412 % |
273.11/273.19 c | 2077899 | 12241 86287 342426 | 21487 17758 15 | 4.412 % |
273.21/273.31 c | 2078923 | 12241 86287 342426 | 21487 18782 15 | 4.412 % |
273.61/273.63 c | 2080971 | 12241 86287 342426 | 19859 15501 15 | 4.412 % |
273.61/273.69 c | 2081483 | 12241 86287 342426 | 19859 16013 15 | 4.412 % |
273.71/273.75 c | 2081995 | 12241 86287 342426 | 19859 16525 15 | 4.412 % |
273.81/273.86 c | 2083022 | 12241 86287 342426 | 19859 17552 15 | 4.412 % |
273.91/273.93 c | 2083536 | 12241 86287 342426 | 19859 18066 16 | 4.412 % |
273.91/273.99 c | 2084050 | 12241 86287 342426 | 19859 18580 15 | 4.412 % |
274.11/274.12 c | 2085078 | 12241 86287 342426 | 19859 19608 15 | 4.412 % |
274.31/274.40 c | 2087128 | 12241 86287 342426 | 19859 16594 15 | 4.412 % |
274.91/274.92 c | 2091224 | 12241 86287 342426 | 19469 15718 15 | 4.412 % |
274.91/274.97 c | 2091739 | 12241 86287 342426 | 19469 16233 15 | 4.412 % |
275.01/275.03 c | 2092253 | 12241 86287 342426 | 19469 16747 15 | 4.412 % |
275.11/275.14 c | 2093280 | 12241 86287 342426 | 19469 17774 15 | 4.412 % |
275.11/275.20 c | 2093792 | 12241 86287 342426 | 19469 18286 15 | 4.412 % |
275.21/275.26 c | 2094305 | 12241 86287 342426 | 19469 18799 15 | 4.412 % |
275.31/275.39 c | 2095329 | 12241 86287 342426 | 19469 19823 15 | 4.412 % |
275.61/275.65 c | 2097377 | 12241 86287 342426 | 19469 16826 14 | 4.412 % |
275.61/275.70 c | 2097889 | 12241 86287 342426 | 19469 17338 15 | 4.412 % |
275.71/275.76 c | 2098403 | 12241 86287 342426 | 19469 17852 15 | 4.412 % |
275.81/275.88 c | 2099430 | 12241 86287 342426 | 19469 18879 15 | 4.412 % |
275.91/275.94 c | 2099942 | 12241 86287 342426 | 19469 19391 15 | 4.412 % |
275.91/276.01 c | 2100454 | 12241 86287 342426 | 19455 19903 15 | 4.412 % |
276.11/276.17 c | 2101478 | 12241 86287 342426 | 19455 15991 15 | 4.412 % |
276.31/276.39 c | 2103527 | 12241 86287 342426 | 19455 18040 15 | 4.412 % |
276.81/276.89 c | 2107624 | 12241 86287 342426 | 19455 17196 15 | 4.412 % |
277.81/277.87 c | 2115823 | 12241 86287 342426 | 19576 15285 14 | 4.412 % |
279.71/279.76 c | 2132207 | 12241 86287 342426 | 19179 16106 14 | 4.412 % |
283.61/283.69 c | 2164975 | 12241 86287 342426 | 19180 19102 13 | 4.412 % |
290.71/290.80 c | 2230514 | 12231 86119 341644 | 2147483647 16641 14 | 4.490 % |
294.21/294.29 c ===============================================================================
294.21/294.29 c restarts : 1023
294.21/294.29 c conflicts : 2266913 (7747 /sec)
294.21/294.29 c decisions : 7222180 (1.91 % random) (24680 /sec)
294.21/294.29 c propagations : 197735565 (675719 /sec)
294.21/294.29 c conflict literals : 43807155 (41.19 % deleted)
294.21/294.29 c Memory used : 17.46 MB
294.21/294.29 c CPU time : 292.63 s
294.21/294.29 c
294.21/294.29 s UNSATISFIABLE
294.21/294.29 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821989-1242586056/watcher-1821989-1242586056 -o /tmp/evaluation-result-1821989-1242586056/solver-1821989-1242586056 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821989-1242586056.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.04 0.99 0.99 4/96 19573
/proc/meminfo: memFree=928780/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2412 CPUtime=0.01
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 338 0 0 0 0 1 0 0 18 0 1 0 1023106451 2469888 272 4294967295 134512640 135169312 3213995104 3213992696 3085370286 0 0 4 65536 3222620697 0 0 17 3 0 0 0
/proc/19570/statm: 603 272 230 161 0 42 0
[pid=19571] ppid=19570 vsize=2412 CPUtime=0
/proc/19571/stat : 19571 (SatELiteGTI) R 19570 19570 10114 0 -1 4194368 103 0 0 0 0 0 0 0 20 0 1 0 1023106451 2469888 115 4294967295 134512640 135169312 3213995104 3213991324 3085178740 0 65538 0 65538 0 0 0 17 3 0 0 0
/proc/19571/statm: 603 115 72 161 0 42 0
[pid=19572] ppid=19571 vsize=0 CPUtime=0
/proc/19572/stat : 19572 (SatELiteGTI) Z 19571 19570 10114 0 -1 4194380 142 0 0 0 0 0 0 0 18 0 1 0 1023106451 0 0 4294967295 0 0 0 0 0 0 0 0 65538 3222378830 0 0 17 3 0 0 0
/proc/19572/statm: 0 0 0 0 0 0 0
[pid=19573] ppid=19571 vsize=2412 CPUtime=0
/proc/19573/stat : 19573 (SatELiteGTI) R 19571 19570 10114 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 1023106451 2469888 43 4294967295 134512640 135169312 3213995104 3213991324 3085178740 0 65538 0 65538 0 0 0 17 3 0 0 0
/proc/19573/statm: 603 43 0 161 0 42 0
[startup+0.041273 s]
/proc/loadavg: 1.04 0.99 0.99 4/96 19573
/proc/meminfo: memFree=928780/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2412 CPUtime=0.01
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 367 646 0 0 0 1 0 0 19 0 1 0 1023106451 2469888 277 4294967295 134512640 135169312 3213995104 3213993640 3085176558 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19570/statm: 603 277 235 161 0 42 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412
[startup+0.111266 s]
/proc/loadavg: 1.04 0.99 0.99 4/96 19573
/proc/meminfo: memFree=928780/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2412 CPUtime=0.01
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 367 646 0 0 0 1 0 0 19 0 1 0 1023106451 2469888 277 4294967295 134512640 135169312 3213995104 3213993640 3085176558 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19570/statm: 603 277 235 161 0 42 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412
[startup+0.311256 s]
/proc/loadavg: 1.04 0.99 0.99 4/96 19573
/proc/meminfo: memFree=928780/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2412 CPUtime=0.01
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 367 646 0 0 0 1 0 0 19 0 1 0 1023106451 2469888 277 4294967295 134512640 135169312 3213995104 3213993640 3085176558 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19570/statm: 603 277 235 161 0 42 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412
[startup+0.711236 s]
/proc/loadavg: 1.04 0.99 0.99 4/96 19573
/proc/meminfo: memFree=928780/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2412 CPUtime=0.01
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 367 646 0 0 0 1 0 0 19 0 1 0 1023106451 2469888 277 4294967295 134512640 135169312 3213995104 3213993640 3085176558 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19570/statm: 603 277 235 161 0 42 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412
[startup+1.5112 s]
/proc/loadavg: 1.04 0.99 0.99 2/95 19575
/proc/meminfo: memFree=889084/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2412 CPUtime=0.01
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 367 646 0 0 0 1 0 0 19 0 1 0 1023106451 2469888 277 4294967295 134512640 135169312 3213995104 3213993640 3085176558 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19570/statm: 603 277 235 161 0 42 0
[pid=19575] ppid=19570 vsize=40660 CPUtime=1.51
/proc/19575/stat : 19575 (SatELite_releas) R 19570 19570 10114 0 -1 4202496 10023 0 0 0 144 7 0 0 25 0 1 0 1023106452 41635840 8500 4294967295 134512640 135223648 3213355968 3213352772 134820654 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19575/statm: 10165 8500 84 174 0 9990 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 43072
[startup+3.11112 s]
/proc/loadavg: 1.04 0.99 0.99 2/95 19576
/proc/meminfo: memFree=912396/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2416 CPUtime=1.59
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 386 10671 0 0 0 1 151 7 20 0 1 0 1023106451 2473984 278 4294967295 134512640 135169312 3213995104 3213991320 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19570/statm: 604 278 235 161 0 43 0
[pid=19576] ppid=19570 vsize=10160 CPUtime=1.53
/proc/19576/stat : 19576 (minisat_static) R 19570 19570 10114 0 -1 4202496 2409 0 0 0 153 0 0 0 20 0 1 0 1023106610 10403840 2344 4294967295 134512640 135216591 3217578016 3217576208 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19576/statm: 2540 2344 75 172 0 2367 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 12576
[startup+6.31096 s]
/proc/loadavg: 1.04 0.99 0.99 2/95 19576
/proc/meminfo: memFree=907220/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2416 CPUtime=1.59
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 386 10671 0 0 0 1 151 7 20 0 1 0 1023106451 2473984 278 4294967295 134512640 135169312 3213995104 3213991320 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19570/statm: 604 278 235 161 0 43 0
[pid=19576] ppid=19570 vsize=14420 CPUtime=4.72
/proc/19576/stat : 19576 (minisat_static) R 19570 19570 10114 0 -1 4202496 3494 0 0 0 471 1 0 0 25 0 1 0 1023106610 14766080 3429 4294967295 134512640 135216591 3217578016 3217575920 134532775 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19576/statm: 3605 3429 75 172 0 3432 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 16836
[startup+12.7107 s]
/proc/loadavg: 1.04 0.99 0.99 2/95 19576
/proc/meminfo: memFree=906292/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2416 CPUtime=1.59
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 386 10671 0 0 0 1 151 7 20 0 1 0 1023106451 2473984 278 4294967295 134512640 135169312 3213995104 3213991320 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19570/statm: 604 278 235 161 0 43 0
[pid=19576] ppid=19570 vsize=14948 CPUtime=11.1
/proc/19576/stat : 19576 (minisat_static) R 19570 19570 10114 0 -1 4202496 3625 0 0 0 1108 2 0 0 25 0 1 0 1023106610 15306752 3560 4294967295 134512640 135216591 3217578016 3217576208 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19576/statm: 3737 3560 75 172 0 3564 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17364
[startup+25.51 s]
/proc/loadavg: 1.03 0.99 0.99 2/95 19760
/proc/meminfo: memFree=904968/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2416 CPUtime=1.59
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 386 10671 0 0 0 1 151 7 20 0 1 0 1023106451 2473984 278 4294967295 134512640 135169312 3213995104 3213991320 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19570/statm: 604 278 235 161 0 43 0
[pid=19576] ppid=19570 vsize=16004 CPUtime=23.9
/proc/19576/stat : 19576 (minisat_static) R 19570 19570 10114 0 -1 4202496 3860 0 0 0 2387 3 0 0 25 0 1 0 1023106610 16388096 3795 4294967295 134512640 135216591 3217578016 3217576208 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19576/statm: 4001 3795 75 172 0 3828 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18420
[startup+51.1188 s]
/proc/loadavg: 1.02 0.99 0.99 2/95 19763
/proc/meminfo: memFree=903620/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2416 CPUtime=1.59
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 386 10671 0 0 0 1 151 7 20 0 1 0 1023106451 2473984 278 4294967295 134512640 135169312 3213995104 3213991320 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19570/statm: 604 278 235 161 0 43 0
[pid=19576] ppid=19570 vsize=17548 CPUtime=49.51
/proc/19576/stat : 19576 (minisat_static) R 19570 19570 10114 0 -1 4202496 4240 0 0 0 4948 3 0 0 25 0 1 0 1023106610 17969152 4175 4294967295 134512640 135216591 3217578016 3217576208 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19576/statm: 4387 4175 75 172 0 4214 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 19964
[startup+102.326 s]
/proc/loadavg: 1.01 0.99 0.99 2/95 19950
/proc/meminfo: memFree=903472/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2416 CPUtime=1.59
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 386 10671 0 0 0 1 151 7 20 0 1 0 1023106451 2473984 278 4294967295 134512640 135169312 3213995104 3213991320 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19570/statm: 604 278 235 161 0 43 0
[pid=19576] ppid=19570 vsize=17548 CPUtime=100.72
/proc/19576/stat : 19576 (minisat_static) R 19570 19570 10114 0 -1 4202496 4242 0 0 0 10069 3 0 0 25 0 1 0 1023106610 17969152 4177 4294967295 134512640 135216591 3217578016 3217576128 134534657 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19576/statm: 4387 4177 75 172 0 4214 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 19964
[startup+162.323 s]
/proc/loadavg: 1.00 0.99 0.99 2/95 20137
/proc/meminfo: memFree=903124/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2416 CPUtime=1.59
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 386 10671 0 0 0 1 151 7 20 0 1 0 1023106451 2473984 278 4294967295 134512640 135169312 3213995104 3213991320 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19570/statm: 604 278 235 161 0 43 0
[pid=19576] ppid=19570 vsize=17712 CPUtime=160.72
/proc/19576/stat : 19576 (minisat_static) R 19570 19570 10114 0 -1 4202496 4286 0 0 0 16068 4 0 0 25 0 1 0 1023106610 18137088 4221 4294967295 134512640 135216591 3217578016 3217575984 134538978 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19576/statm: 4428 4221 75 172 0 4255 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 20128
[startup+222.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/95 20326
/proc/meminfo: memFree=903200/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2416 CPUtime=1.59
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 386 10671 0 0 0 1 151 7 20 0 1 0 1023106451 2473984 278 4294967295 134512640 135169312 3213995104 3213991320 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19570/statm: 604 278 235 161 0 43 0
[pid=19576] ppid=19570 vsize=17876 CPUtime=220.71
/proc/19576/stat : 19576 (minisat_static) R 19570 19570 10114 0 -1 4202496 4297 0 0 0 22066 5 0 0 25 0 1 0 1023106610 18305024 4232 4294967295 134512640 135216591 3217578016 3217576208 134529240 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19576/statm: 4469 4232 75 172 0 4296 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 20292
[startup+282.318 s]
/proc/loadavg: 1.00 0.99 0.99 3/95 20519
/proc/meminfo: memFree=903240/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2416 CPUtime=1.59
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 386 10671 0 0 0 1 151 7 20 0 1 0 1023106451 2473984 278 4294967295 134512640 135169312 3213995104 3213991320 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19570/statm: 604 278 235 161 0 43 0
[pid=19576] ppid=19570 vsize=17876 CPUtime=280.72
/proc/19576/stat : 19576 (minisat_static) R 19570 19570 10114 0 -1 4202496 4297 0 0 0 28066 6 0 0 25 0 1 0 1023106610 18305024 4232 4294967295 134512640 135216591 3217578016 3217576208 134528881 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19576/statm: 4469 4232 75 172 0 4296 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 20292
Solver just ended. Dumping a history of the last processes samples
[startup+287.917 s]
/proc/loadavg: 1.00 0.99 0.99 3/95 20519
/proc/meminfo: memFree=903272/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2416 CPUtime=1.59
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 386 10671 0 0 0 1 151 7 20 0 1 0 1023106451 2473984 278 4294967295 134512640 135169312 3213995104 3213991320 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19570/statm: 604 278 235 161 0 43 0
[pid=19576] ppid=19570 vsize=17876 CPUtime=286.32
/proc/19576/stat : 19576 (minisat_static) R 19570 19570 10114 0 -1 4202496 4297 0 0 0 28626 6 0 0 25 0 1 0 1023106610 18305024 4232 4294967295 134512640 135216591 3217578016 3217576208 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19576/statm: 4469 4232 75 172 0 4296 0
Current children cumulated CPU time (s) 287.91
Current children cumulated vsize (KiB) 20292
[startup+291.117 s]
/proc/loadavg: 1.00 0.99 0.99 3/95 20519
/proc/meminfo: memFree=903296/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2416 CPUtime=1.59
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 386 10671 0 0 0 1 151 7 20 0 1 0 1023106451 2473984 278 4294967295 134512640 135169312 3213995104 3213991320 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19570/statm: 604 278 235 161 0 43 0
[pid=19576] ppid=19570 vsize=17876 CPUtime=289.52
/proc/19576/stat : 19576 (minisat_static) R 19570 19570 10114 0 -1 4202496 4297 0 0 0 28946 6 0 0 25 0 1 0 1023106610 18305024 4232 4294967295 134512640 135216591 3217578016 3217576208 134529245 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19576/statm: 4469 4232 75 172 0 4296 0
Current children cumulated CPU time (s) 291.11
Current children cumulated vsize (KiB) 20292
[startup+292.717 s]
/proc/loadavg: 1.00 0.99 0.99 3/95 20521
/proc/meminfo: memFree=903288/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2416 CPUtime=1.59
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 386 10671 0 0 0 1 151 7 20 0 1 0 1023106451 2473984 278 4294967295 134512640 135169312 3213995104 3213991320 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19570/statm: 604 278 235 161 0 43 0
[pid=19576] ppid=19570 vsize=17876 CPUtime=291.12
/proc/19576/stat : 19576 (minisat_static) R 19570 19570 10114 0 -1 4202496 4297 0 0 0 29106 6 0 0 25 0 1 0 1023106610 18305024 4232 4294967295 134512640 135216591 3217578016 3217576016 134527399 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19576/statm: 4469 4232 75 172 0 4296 0
Current children cumulated CPU time (s) 292.71
Current children cumulated vsize (KiB) 20292
[startup+293.517 s]
/proc/loadavg: 1.00 0.99 0.99 3/95 20521
/proc/meminfo: memFree=903288/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2416 CPUtime=1.59
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 386 10671 0 0 0 1 151 7 20 0 1 0 1023106451 2473984 278 4294967295 134512640 135169312 3213995104 3213991320 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19570/statm: 604 278 235 161 0 43 0
[pid=19576] ppid=19570 vsize=17876 CPUtime=291.92
/proc/19576/stat : 19576 (minisat_static) R 19570 19570 10114 0 -1 4202496 4297 0 0 0 29186 6 0 0 25 0 1 0 1023106610 18305024 4232 4294967295 134512640 135216591 3217578016 3217576016 134527568 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19576/statm: 4469 4232 75 172 0 4296 0
Current children cumulated CPU time (s) 293.51
Current children cumulated vsize (KiB) 20292
[startup+293.917 s]
/proc/loadavg: 1.00 0.99 0.99 3/95 20521
/proc/meminfo: memFree=903288/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2416 CPUtime=1.59
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 386 10671 0 0 0 1 151 7 20 0 1 0 1023106451 2473984 278 4294967295 134512640 135169312 3213995104 3213991320 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19570/statm: 604 278 235 161 0 43 0
[pid=19576] ppid=19570 vsize=17876 CPUtime=292.32
/proc/19576/stat : 19576 (minisat_static) R 19570 19570 10114 0 -1 4202496 4297 0 0 0 29226 6 0 0 25 0 1 0 1023106610 18305024 4232 4294967295 134512640 135216591 3217578016 3217576208 134528860 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19576/statm: 4469 4232 75 172 0 4296 0
Current children cumulated CPU time (s) 293.91
Current children cumulated vsize (KiB) 20292
[startup+294.117 s]
/proc/loadavg: 1.00 0.99 0.99 3/95 20521
/proc/meminfo: memFree=903288/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2416 CPUtime=1.59
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 386 10671 0 0 0 1 151 7 20 0 1 0 1023106451 2473984 278 4294967295 134512640 135169312 3213995104 3213991320 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19570/statm: 604 278 235 161 0 43 0
[pid=19576] ppid=19570 vsize=17876 CPUtime=292.52
/proc/19576/stat : 19576 (minisat_static) R 19570 19570 10114 0 -1 4202496 4297 0 0 0 29246 6 0 0 25 0 1 0 1023106610 18305024 4232 4294967295 134512640 135216591 3217578016 3217576208 134528815 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19576/statm: 4469 4232 75 172 0 4296 0
Current children cumulated CPU time (s) 294.11
Current children cumulated vsize (KiB) 20292
[startup+294.217 s]
/proc/loadavg: 1.00 0.99 0.99 3/95 20521
/proc/meminfo: memFree=903288/2074464 swapFree=1950884/1959888
[pid=19570] ppid=19568 vsize=2416 CPUtime=1.59
/proc/19570/stat : 19570 (SatELiteGTI) S 19568 19570 10114 0 -1 4194304 386 10671 0 0 0 1 151 7 20 0 1 0 1023106451 2473984 278 4294967295 134512640 135169312 3213995104 3213991320 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19570/statm: 604 278 235 161 0 43 0
[pid=19576] ppid=19570 vsize=17876 CPUtime=292.62
/proc/19576/stat : 19576 (minisat_static) R 19570 19570 10114 0 -1 4202496 4297 0 0 0 29256 6 0 0 25 0 1 0 1023106610 18305024 4232 4294967295 134512640 135216591 3217578016 3217575920 134532796 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19576/statm: 4469 4232 75 172 0 4296 0
Current children cumulated CPU time (s) 294.21
Current children cumulated vsize (KiB) 20292
Child status: 20
Real time (s): 294.302
CPU time (s): 294.29
CPU user time (s): 294.15
CPU system time (s): 0.14
CPU usage (%): 99.996
Max. virtual memory (cumulated for all children) (KiB): 43800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 294.15
system time used= 0.14
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15639
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 838
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on tipi13 at 2009-05-17 20:47:36
IDJOB=1821989
IDBENCH=71767
IDSOLVER=658
FILE ID=tipi13/1821989-1242586056
PBS_JOBID=
Free space on /tmp= 6564 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT_RACE06/manol-pipe-g7nidw.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821989-1242586056/watcher-1821989-1242586056 -o /tmp/evaluation-result-1821989-1242586056/solver-1821989-1242586056 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821989-1242586056.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a0303c742e981cc0d4711ad3ac66f146
RANDOM SEED= 491514927
Linux tipi13 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.475
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.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
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.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 929324 kB
Buffers: 44236 kB
Cached: 985384 kB
SwapCached: 3428 kB
Active: 374152 kB
Inactive: 664824 kB
HighTotal: 1178688 kB
HighFree: 296136 kB
LowTotal: 895776 kB
LowFree: 633188 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 5404 kB
Writeback: 0 kB
AnonPages: 8756 kB
Mapped: 2940 kB
Slab: 97716 kB
PageTables: 336 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90600 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 6564 MiB
End job on tipi13 at 2009-05-17 20:52:31