0.00/0.00 c Parsing...
0.42/0.45 c ==============================================================================
0.42/0.45 c | | ORIGINAL | LEARNT | |
0.42/0.45 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.42/0.45 c ==============================================================================
0.42/0.45 c | 0 | 473595 1105055 | 142078 0 0 nan | 0.000 % |
2.92/2.98 c | 0 | 206201 803155 | -- 0 -- -- | -- | -267392/-301895
2.92/2.98 c ==============================================================================
2.92/2.98 c Result : #vars: 26986 #clauses: 206201 #literals: 803155
2.92/2.98 c CPU time: 2.77 s
2.92/2.98 c ==============================================================================
3.22/3.26 c This is MiniSat 2.0 beta
3.22/3.26 c WARNING: for repeatability, setting FPU to use double precision
3.22/3.26 c ============================[ Problem Statistics ]=============================
3.22/3.26 c | |
3.22/3.27 c | Number of variables: 26986 |
3.22/3.27 c | Number of clauses: 206201 |
3.27/3.42 c | Parsing time: 0.14 s |
3.27/3.44 c ============================[ Search Statistics ]==============================
3.27/3.44 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.27/3.44 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.27/3.44 c ===============================================================================
3.27/3.44 c | 0 | 26986 206201 803155 | 68733 0 nan | 0.000 % |
3.27/3.55 c | 513 | 26984 206201 803155 | 68733 512 25 | 0.011 % |
3.27/3.63 c | 1025 | 26957 206201 803155 | 68733 1022 26 | 0.208 % |
3.27/3.91 c | 1538 | 26935 206201 803155 | 68733 1533 27 | 0.230 % |
3.27/4.12 c | 2562 | 26932 206201 803155 | 68733 2556 25 | 0.245 % |
3.27/4.23 c | 3074 | 26920 204655 797586 | 68733 3067 26 | 0.245 % |
4.43/4.42 c | 3586 | 26919 204655 797586 | 68733 3578 25 | 0.256 % |
4.52/4.51 c | 4610 | 26780 204655 797586 | 68733 4599 23 | 1.204 % |
4.72/4.73 c | 6658 | 26751 204655 797586 | 68733 6647 30 | 1.204 % |
4.72/4.80 c | 7170 | 26661 199824 778566 | 68733 6701 30 | 1.204 % |
4.82/4.90 c | 7686 | 26660 199824 778566 | 68733 7216 30 | 1.227 % |
4.92/4.99 c | 8710 | 26658 199824 778566 | 68733 8239 31 | 1.278 % |
5.02/5.09 c | 9222 | 26636 199824 778566 | 68733 8750 31 | 1.386 % |
5.12/5.15 c | 9736 | 26636 199824 778566 | 68733 9264 31 | 1.386 % |
5.22/5.27 c | 10763 | 26636 199824 778566 | 2147483647 10291 32 | 1.386 % |
5.53/5.56 c | 12811 | 26627 199824 778566 | 2147483647 12337 33 | 1.427 % |
5.92/5.94 c | 16907 | 26597 199256 776169 | 2147483647 15953 33 | 1.445 % |
5.92/6.01 c | 17420 | 26594 199256 776169 | 2147483647 16464 33 | 1.464 % |
6.02/6.09 c | 17932 | 26593 199256 776169 | 2147483647 16976 33 | 1.464 % |
6.22/6.22 c | 18958 | 26593 199256 776169 | 2147483647 18002 34 | 1.464 % |
6.22/6.30 c | 19471 | 26580 199256 776169 | 2147483647 18511 34 | 1.738 % |
6.32/6.39 c | 19985 | 26579 199256 776169 | 2147483647 19025 33 | 1.738 % |
6.63/6.68 c | 21009 | 26515 197204 769152 | 2147483647 20031 33 | 1.745 % |
6.92/6.97 c | 23059 | 26515 197204 769152 | 2147483647 22081 32 | 1.745 % |
7.02/7.08 c | 23585 | 26515 197204 769152 | 2147483647 22607 32 | 1.745 % |
7.12/7.19 c | 24097 | 26515 197204 769152 | 2147483647 23119 32 | 1.745 % |
7.32/7.32 c | 25126 | 26515 197204 769152 | 2147483647 24148 33 | 1.745 % |
7.52/7.54 c | 25640 | 26515 197204 769152 | 2147483647 24662 34 | 1.745 % |
7.62/7.67 c | 26154 | 26512 197182 769091 | 2147483647 25174 33 | 1.768 % |
7.82/7.84 c | 27180 | 26512 197182 769091 | 2147483647 26200 33 | 1.768 % |
7.92/8.00 c | 29228 | 26512 197182 769091 | 2147483647 28248 34 | 1.768 % |
8.52/8.57 c | 33324 | 26511 197182 769091 | 2147483647 32343 34 | 1.771 % |
9.62/9.64 c | 41519 | 26510 197182 769091 | 2147483647 40537 38 | 1.779 % |
9.82/9.90 c | 42034 | 26506 196918 768352 | 2147483647 41045 37 | 1.779 % |
9.93/9.96 c | 42547 | 26506 196918 768352 | 2147483647 41558 37 | 1.779 % |
10.02/10.03 c | 43575 | 26506 196918 768352 | 2147483647 42586 37 | 1.779 % |
10.12/10.15 c | 44093 | 26503 196918 768352 | 2147483647 43103 38 | 1.790 % |
10.22/10.25 c | 44605 | 26498 196918 768352 | 2147483647 43611 37 | 1.816 % |
10.32/10.36 c | 45629 | 26471 196918 768352 | 2147483647 44634 38 | 1.920 % |
10.52/10.57 c | 47679 | 26471 196918 768352 | 2147483647 46684 37 | 1.920 % |
10.62/10.65 c | 48194 | 26471 196918 768352 | 2147483647 47199 37 | 1.920 % |
10.72/10.73 c | 48706 | 26471 196918 768352 | 2147483647 47711 37 | 1.920 % |
10.92/10.91 c | 49730 | 26470 196918 768352 | 2147483647 48734 38 | 1.923 % |
11.03/11.03 c | 50244 | 26470 196918 768352 | 2147483647 49248 38 | 1.923 % |
11.12/11.11 c | 50756 | 26470 196918 768352 | 2147483647 49760 38 | 1.923 % |
11.22/11.26 c | 51780 | 26470 196918 768352 | 2147483647 50784 38 | 1.923 % |
11.52/11.54 c | 53828 | 26470 196918 768352 | 2147483647 52832 38 | 1.923 % |
12.22/12.30 c | 57925 | 26460 196143 765755 | 2147483647 56902 40 | 1.949 % |
12.42/12.41 c | 58437 | 26441 196143 765755 | 2147483647 57411 40 | 2.253 % |
12.42/12.51 c | 58949 | 26421 196143 765755 | 2147483647 57922 40 | 2.394 % |
12.62/12.68 c | 59973 | 26421 196143 765755 | 2147483647 58946 40 | 2.394 % |
12.72/12.76 c | 60487 | 26421 196143 765755 | 2147483647 59460 40 | 2.394 % |
12.82/12.81 c | 61001 | 26421 196143 765755 | 2147483647 59974 40 | 2.394 % |
13.02/13.01 c | 62025 | 26420 196143 765755 | 2147483647 60997 40 | 2.398 % |
13.32/13.37 c | 64075 | 26418 196143 765755 | 2147483647 63046 40 | 2.405 % |
13.42/13.47 c | 64587 | 26417 196143 765755 | 2147483647 63557 40 | 2.409 % |
13.52/13.57 c | 65099 | 26417 196143 765755 | 2147483647 64069 41 | 2.409 % |
13.72/13.78 c | 66125 | 26417 196143 765755 | 2147483647 65095 40 | 2.409 % |
13.82/13.90 c | 66642 | 26417 196143 765755 | 2147483647 65612 40 | 2.409 % |
14.02/14.04 c | 67156 | 26400 196143 765755 | 2147483647 66121 40 | 2.553 % |
14.22/14.22 c | 68184 | 26395 196143 765755 | 2147483647 67146 41 | 2.579 % |
14.52/14.51 c | 70232 | 26390 196143 765755 | 2147483647 69192 40 | 2.601 % |
14.92/14.98 c | 74328 | 26389 196143 765755 | 2147483647 73288 40 | 2.601 % |
16.32/16.37 c | 82527 | 26283 193454 755997 | 78918 81441 41 | 2.609 % |
20.62/20.63 c | 98918 | 26280 193454 755997 | 2147483647 85255 45 | 2.624 % |
20.72/20.76 c | 99431 | 26278 193332 755615 | 2147483647 85766 45 | 2.624 % |
20.82/20.89 c | 99943 | 26278 193332 755615 | 2147483647 86278 45 | 2.624 % |
21.12/21.11 c | 100969 | 26271 193332 755615 | 86336 87302 45 | 2.661 % |
21.32/21.34 c | 101481 | 26271 193332 755615 | 86336 67414 45 | 2.661 % |
21.42/21.42 c | 101996 | 26271 193332 755615 | 86336 67929 45 | 2.661 % |
21.62/21.70 c | 103029 | 26271 193332 755615 | 86336 68962 45 | 2.661 % |
21.92/21.93 c | 105081 | 26269 193332 755615 | 86336 71012 45 | 2.672 % |
22.12/22.19 c | 105595 | 26266 193332 755615 | 86336 71524 45 | 2.687 % |
22.32/22.33 c | 106108 | 26266 193332 755615 | 86336 72037 45 | 2.687 % |
22.52/22.56 c | 107136 | 26265 193332 755615 | 86336 73064 45 | 2.690 % |
22.62/22.64 c | 107649 | 26265 193332 755615 | 86336 73577 45 | 2.690 % |
22.73/22.78 c | 108169 | 26265 193332 755615 | 86336 74097 45 | 2.690 % |
22.93/22.94 c | 109195 | 26261 193332 755615 | 86336 75122 45 | 2.713 % |
23.43/23.43 c | 111243 | 26261 193332 755615 | 75932 77170 45 | 2.713 % |
24.03/24.02 c | 115339 | 26261 193332 755615 | 75932 65022 44 | 2.713 % |
24.13/24.12 c | 115851 | 26261 193332 755615 | 75932 65534 44 | 2.713 % |
24.23/24.24 c | 116363 | 26261 193332 755615 | 75932 66046 44 | 2.713 % |
24.43/24.46 c | 117389 | 26261 193332 755615 | 75932 67072 44 | 2.713 % |
24.53/24.57 c | 117906 | 26261 193332 755615 | 75932 67589 44 | 2.713 % |
24.63/24.68 c | 118418 | 26261 193332 755615 | 75932 68101 45 | 2.713 % |
24.83/24.90 c | 119446 | 26261 193332 755615 | 75932 69129 45 | 2.713 % |
25.13/25.19 c | 121494 | 26261 193332 755615 | 69685 71177 45 | 2.713 % |
25.33/25.40 c | 122006 | 26261 193332 755615 | 69685 55545 46 | 2.713 % |
25.43/25.49 c | 122518 | 26261 193332 755615 | 69685 56057 46 | 2.713 % |
25.73/25.81 c | 123543 | 26255 193332 755615 | 69685 57080 46 | 2.894 % |
25.83/25.91 c | 124055 | 26253 193332 755615 | 69685 57590 46 | 2.902 % |
26.03/26.06 c | 124572 | 26253 193332 755615 | 69685 58107 46 | 2.902 % |
26.13/26.19 c | 125597 | 26253 193332 755615 | 69685 59132 46 | 2.902 % |
26.63/26.70 c | 127645 | 26253 193332 755615 | 69685 61180 46 | 2.902 % |
27.43/27.45 c | 131741 | 26248 193332 755615 | 63535 65275 47 | 2.920 % |
29.23/29.22 c | 139933 | 26198 191720 749588 | 63535 59139 50 | 2.920 % |
29.33/29.32 c | 140445 | 26198 191720 749588 | 59207 59651 50 | 2.920 % |
29.43/29.42 c | 140965 | 26198 191720 749588 | 59207 60171 50 | 2.920 % |
29.63/29.69 c | 141992 | 26198 191720 749588 | 59207 44136 47 | 2.920 % |
29.83/29.87 c | 142507 | 26198 191720 749588 | 59207 44651 47 | 2.920 % |
29.93/29.97 c | 143025 | 26198 191720 749588 | 59207 45169 47 | 2.920 % |
30.13/30.17 c | 144052 | 26198 191720 749588 | 59207 46196 47 | 2.920 % |
30.73/30.73 c | 146100 | 26198 191720 749588 | 59207 48244 49 | 2.920 % |
31.03/31.08 c | 146612 | 26198 191720 749588 | 59207 48756 49 | 2.920 % |
31.13/31.17 c | 147124 | 26198 191720 749588 | 59207 49268 49 | 2.920 % |
31.33/31.33 c | 148148 | 26198 191720 749588 | 59207 50292 49 | 2.920 % |
31.43/31.44 c | 148667 | 26198 191720 749588 | 59207 50811 49 | 2.920 % |
31.53/31.52 c | 149180 | 26198 191720 749588 | 59207 51324 49 | 2.920 % |
31.73/31.75 c | 150205 | 26198 191720 749588 | 52144 52349 49 | 2.920 % |
32.03/32.07 c | 152253 | 26191 191720 749588 | 52144 54395 49 | 2.953 % |
32.83/32.84 c | 156349 | 26191 191720 749588 | 52144 49729 50 | 2.953 % |
32.93/32.94 c | 156861 | 26191 191720 749588 | 52144 50241 50 | 2.953 % |
33.03/33.10 c | 157375 | 26191 191720 749588 | 52144 50755 50 | 2.953 % |
33.23/33.23 c | 158400 | 26191 191720 749588 | 52144 51780 50 | 2.953 % |
33.33/33.37 c | 158918 | 26189 191625 749221 | 52144 52295 50 | 2.953 % |
33.43/33.46 c | 159430 | 26189 191625 749221 | 52144 52807 50 | 2.953 % |
33.63/33.65 c | 160454 | 26189 191625 749221 | 53377 53831 50 | 2.953 % |
34.13/34.12 c | 162502 | 26187 191625 749221 | 53377 55878 50 | 2.968 % |
34.23/34.30 c | 163015 | 26183 191625 749221 | 53377 44427 51 | 3.013 % |
34.33/34.39 c | 163529 | 26183 191625 749221 | 53377 44941 51 | 3.013 % |
34.53/34.57 c | 164557 | 26183 191625 749221 | 53377 45969 50 | 3.013 % |
34.63/34.68 c | 165071 | 26183 191625 749221 | 53377 46483 50 | 3.013 % |
34.73/34.79 c | 165583 | 26181 191625 749221 | 53377 46994 50 | 3.020 % |
34.93/34.95 c | 166607 | 26181 191625 749221 | 53377 48018 50 | 3.020 % |
35.13/35.17 c | 168655 | 26181 191625 749221 | 53377 50066 50 | 3.020 % |
35.73/35.72 c | 172754 | 26181 191625 749221 | 51415 54165 49 | 3.020 % |
36.63/36.68 c | 180946 | 26179 191625 749221 | 49690 50633 46 | 3.035 % |
39.63/39.65 c | 197334 | 26158 191231 747405 | 44118 41594 43 | 3.072 % |
45.53/45.61 c | 230110 | 26158 191231 747405 | 50441 50550 43 | 3.072 % |
45.73/45.79 c | 230622 | 26157 191160 747171 | 50441 51060 43 | 3.072 % |
45.93/45.94 c | 231137 | 26156 191160 747171 | 50441 51574 43 | 3.076 % |
46.03/46.09 c | 232164 | 26156 191160 747171 | 50441 45072 43 | 3.076 % |
46.13/46.19 c | 232680 | 26156 191160 747171 | 50441 45588 44 | 3.076 % |
46.23/46.28 c | 233193 | 26156 191160 747171 | 50441 46101 44 | 3.076 % |
46.33/46.38 c | 234217 | 26156 191160 747171 | 50441 47125 44 | 3.076 % |
46.63/46.71 c | 236265 | 26156 191160 747171 | 50441 49173 44 | 3.076 % |
46.73/46.80 c | 236778 | 26156 191160 747171 | 50441 49686 44 | 3.076 % |
46.83/46.91 c | 237290 | 26156 191160 747171 | 50441 50198 44 | 3.076 % |
47.03/47.04 c | 238314 | 26154 191160 747171 | 50441 51221 44 | 3.090 % |
47.13/47.14 c | 238827 | 26154 191160 747171 | 50441 51734 44 | 3.090 % |
47.23/47.26 c | 239339 | 26154 191160 747171 | 50441 45911 45 | 3.090 % |
47.43/47.47 c | 240367 | 26154 191160 747171 | 46573 46939 45 | 3.090 % |
47.73/47.77 c | 242415 | 26139 191160 747171 | 46573 48986 45 | 3.205 % |
48.13/48.20 c | 246512 | 26139 191160 747171 | 46573 47659 45 | 3.205 % |
48.33/48.35 c | 247028 | 26139 191160 747171 | 46573 43410 44 | 3.205 % |
48.43/48.45 c | 247542 | 26139 191160 747171 | 46573 43924 44 | 3.205 % |
48.63/48.64 c | 248568 | 26139 191160 747171 | 46573 44950 45 | 3.205 % |
48.73/48.73 c | 249081 | 26138 191160 747171 | 46573 45462 44 | 3.209 % |
48.83/48.85 c | 249598 | 26128 191160 747171 | 46573 45978 45 | 3.302 % |
48.93/48.97 c | 250622 | 26126 191160 747171 | 46379 47001 44 | 3.361 % |
49.43/49.51 c | 252671 | 26109 191160 747171 | 46379 44308 44 | 3.361 % |
49.63/49.64 c | 253183 | 26079 190103 743228 | 46379 44798 44 | 3.361 % |
49.73/49.75 c | 253695 | 26079 190103 743228 | 46379 45310 44 | 3.361 % |
49.93/49.97 c | 254720 | 26079 190103 743228 | 46379 46335 44 | 3.361 % |
50.03/50.08 c | 255232 | 26079 190103 743228 | 46379 46847 44 | 3.361 % |
50.13/50.20 c | 255744 | 26079 190103 743228 | 46379 47359 44 | 3.361 % |
50.33/50.37 c | 256768 | 26079 190103 743228 | 46379 43648 44 | 3.361 % |
50.73/50.72 c | 258826 | 26075 190103 743228 | 46379 45705 44 | 3.428 % |
51.33/51.40 c | 262922 | 26072 190103 743228 | 2147483647 49801 44 | 3.428 % |
52.93/52.97 c | 271116 | 26072 190103 743228 | 56879 57995 47 | 3.428 % |
53.13/53.19 c | 271628 | 26050 190103 743228 | 56879 42083 46 | 3.698 % |
53.33/53.34 c | 272140 | 26048 190103 743228 | 56879 42593 46 | 3.717 % |
53.53/53.53 c | 273164 | 26046 190103 743228 | 56879 43617 46 | 3.717 % |
53.63/53.62 c | 273678 | 26046 190103 743228 | 56879 44131 46 | 3.717 % |
53.63/53.70 c | 274192 | 26046 190103 743228 | 56879 44645 46 | 3.717 % |
53.93/53.92 c | 275216 | 26046 190103 743228 | 56879 45669 46 | 3.717 % |
54.13/54.18 c | 277265 | 25983 188724 738126 | 56879 47651 46 | 3.717 % |
54.23/54.30 c | 277777 | 25983 188724 738126 | 56879 48163 46 | 3.717 % |
54.33/54.40 c | 278289 | 25983 188724 738126 | 56879 48675 46 | 3.717 % |
54.53/54.61 c | 279313 | 25983 188724 738126 | 56879 49699 46 | 3.717 % |
54.73/54.76 c | 279827 | 25983 188724 738126 | 56879 50213 46 | 3.717 % |
54.83/54.89 c | 280339 | 25983 188724 738126 | 50386 50725 45 | 3.717 % |
55.13/55.11 c | 281363 | 25977 188724 738126 | 50386 51746 45 | 3.750 % |
55.53/55.61 c | 283415 | 25934 188724 738126 | 50386 45498 45 | 3.958 % |
56.23/56.25 c | 287513 | 25933 188724 738126 | 50386 49595 46 | 3.961 % |
56.33/56.36 c | 288027 | 25931 188724 738126 | 50386 50108 46 | 3.976 % |
56.43/56.47 c | 288541 | 25931 188724 738126 | 50386 50622 46 | 3.976 % |
56.63/56.68 c | 289565 | 25931 188724 738126 | 50386 51646 45 | 3.976 % |
56.83/56.83 c | 290089 | 25931 188724 738126 | 43463 43552 45 | 3.976 % |
56.93/56.92 c | 290601 | 25931 188724 738126 | 43463 44064 45 | 3.976 % |
57.03/57.06 c | 291625 | 25931 188724 738126 | 43463 45088 46 | 3.976 % |
57.23/57.31 c | 293673 | 25931 188724 738126 | 43463 39686 45 | 3.976 % |
57.33/57.41 c | 294187 | 25931 188724 738126 | 43463 40200 45 | 3.976 % |
57.43/57.48 c | 294700 | 25931 188724 738126 | 43463 40713 45 | 3.976 % |
57.63/57.67 c | 295736 | 25927 188724 738126 | 43463 41748 45 | 3.991 % |
57.73/57.76 c | 296250 | 25924 188724 738126 | 43463 42261 45 | 4.009 % |
57.83/57.89 c | 296762 | 25924 188724 738126 | 43463 42773 45 | 4.009 % |
58.03/58.02 c | 297787 | 25904 187587 733950 | 43463 43747 45 | 4.009 % |
58.33/58.34 c | 299835 | 25903 187587 733950 | 43463 45794 46 | 4.013 % |
58.83/58.89 c | 303931 | 25903 187587 733950 | 39305 43236 43 | 4.013 % |
60.03/60.08 c | 312127 | 25903 187587 733950 | 40742 42869 44 | 4.013 % |
63.23/63.30 c | 328511 | 25903 187587 733950 | 41582 43388 43 | 4.013 % |
63.43/63.51 c | 329023 | 25903 187558 733846 | 41582 38556 42 | 4.013 % |
63.53/63.60 c | 329535 | 25903 187558 733846 | 41582 39068 42 | 4.013 % |
63.73/63.81 c | 330560 | 25901 187558 733846 | 39531 40091 42 | 4.021 % |
63.83/63.90 c | 331074 | 25901 187558 733846 | 39531 40605 43 | 4.021 % |
64.03/64.05 c | 331588 | 25901 187558 733846 | 39531 41119 42 | 4.021 % |
64.23/64.24 c | 332616 | 25901 187558 733846 | 39531 36294 42 | 4.021 % |
64.53/64.54 c | 334664 | 25901 187558 733846 | 39531 38342 42 | 4.021 % |
64.63/64.62 c | 335176 | 25898 187558 733846 | 39531 38853 42 | 4.032 % |
64.93/64.94 c | 335689 | 25881 187558 733846 | 39531 39362 42 | 4.113 % |
65.13/65.16 c | 336713 | 25881 187558 733846 | 39531 40386 41 | 4.113 % |
65.23/65.27 c | 337225 | 25876 187558 733846 | 39531 40897 41 | 4.136 % |
65.43/65.44 c | 337738 | 25872 187558 733846 | 39531 37320 40 | 4.150 % |
65.53/65.57 c | 338764 | 25871 187558 733846 | 39531 38345 40 | 4.154 % |
65.93/66.01 c | 340815 | 25871 187558 733846 | 2147483647 40396 41 | 4.154 % |
66.43/66.45 c | 344911 | 25866 187558 733846 | 2147483647 44490 42 | 4.176 % |
66.53/66.58 c | 345423 | 25864 187558 733846 | 2147483647 45001 42 | 4.191 % |
66.63/66.68 c | 345935 | 25864 187558 733846 | 2147483647 45513 42 | 4.191 % |
66.93/66.95 c | 346960 | 25855 186861 731327 | 2147483647 46499 43 | 4.191 % |
67.03/67.04 c | 347472 | 25855 186861 731327 | 2147483647 47011 43 | 4.191 % |
67.13/67.16 c | 347984 | 25855 186861 731327 | 2147483647 47523 43 | 4.191 % |
67.33/67.35 c | 349008 | 25855 186861 731327 | 2147483647 48547 43 | 4.191 % |
67.73/67.77 c | 351057 | 25855 186861 731327 | 49540 50596 43 | 4.191 % |
67.83/67.85 c | 351573 | 25855 186861 731327 | 49540 51112 43 | 4.191 % |
68.03/68.06 c | 352087 | 25854 186861 731327 | 49540 40640 41 | 4.206 % |
68.13/68.20 c | 353112 | 25853 186861 731327 | 49540 41665 41 | 4.206 % |
68.23/68.31 c | 353629 | 25853 186861 731327 | 49540 42182 41 | 4.206 % |
68.43/68.43 c | 354145 | 25853 186861 731327 | 49540 42698 41 | 4.206 % |
68.63/68.62 c | 355169 | 25851 186861 731327 | 49540 43721 42 | 4.221 % |
68.83/68.88 c | 357217 | 25851 186861 731327 | 49540 45769 42 | 4.221 % |
69.73/69.77 c | 361313 | 25851 186861 731327 | 48553 49865 42 | 4.221 % |
71.23/71.30 c | 369506 | 25851 186861 731327 | 48553 44857 44 | 4.221 % |
71.53/71.57 c | 370019 | 25847 186779 731052 | 45349 45368 44 | 4.221 % |
71.73/71.71 c | 370531 | 25844 186779 731052 | 45349 45879 44 | 4.399 % |
71.83/71.91 c | 371561 | 25840 186779 731052 | 45349 46908 44 | 4.413 % |
72.03/72.09 c | 372073 | 25839 186779 731052 | 45349 39004 42 | 4.421 % |
72.33/72.40 c | 372585 | 25792 186779 731052 | 45349 39515 42 | 4.432 % |
72.63/72.65 c | 373609 | 25792 186779 731052 | 45349 40539 42 | 4.432 % |
72.93/72.91 c | 375657 | 25792 186779 731052 | 45349 42587 43 | 4.432 % |
73.03/73.03 c | 376176 | 25792 186779 731052 | 45349 43106 43 | 4.432 % |
73.13/73.14 c | 376689 | 25792 186779 731052 | 45349 43619 43 | 4.432 % |
73.43/73.42 c | 377714 | 25792 186779 731052 | 45349 44644 43 | 4.432 % |
73.53/73.55 c | 378227 | 25792 186779 731052 | 45349 45157 43 | 4.432 % |
73.63/73.66 c | 378739 | 25792 186779 731052 | 45349 45669 43 | 4.432 % |
73.83/73.82 c | 379763 | 25792 186779 731052 | 45349 46693 43 | 4.432 % |
74.33/74.38 c | 381811 | 25792 186779 731052 | 39523 41334 42 | 4.432 % |
74.93/74.93 c | 385907 | 25792 186779 731052 | 39523 38000 43 | 4.432 % |
75.04/75.05 c | 386421 | 25790 186779 731052 | 39523 38513 43 | 4.447 % |
75.14/75.14 c | 386933 | 25790 186779 731052 | 39523 39025 43 | 4.447 % |
75.34/75.38 c | 387957 | 25786 186091 728498 | 39523 39995 42 | 4.447 % |
75.44/75.47 c | 388469 | 25786 186091 728498 | 39523 40507 43 | 4.447 % |
75.54/75.57 c | 388982 | 25785 186091 728498 | 39523 41019 42 | 4.450 % |
75.74/75.75 c | 390009 | 25785 186091 728498 | 36444 36450 42 | 4.450 % |
76.14/76.15 c | 392057 | 25785 186091 728498 | 36444 38498 42 | 4.450 % |
76.24/76.25 c | 392571 | 25785 186091 728498 | 36444 31954 40 | 4.450 % |
76.34/76.33 c | 393084 | 25785 186091 728498 | 36444 32467 40 | 4.450 % |
76.54/76.55 c | 394108 | 25774 186091 728498 | 36444 33489 40 | 4.528 % |
76.54/76.62 c | 394622 | 25774 186091 728498 | 36444 34003 40 | 4.528 % |
76.74/76.74 c | 395134 | 25774 186091 728498 | 36444 34515 41 | 4.528 % |
76.84/76.87 c | 396164 | 25774 186091 728498 | 36444 35545 41 | 4.528 % |
77.14/77.16 c | 398212 | 25773 186091 728498 | 36444 37592 40 | 4.532 % |
77.84/77.91 c | 402310 | 25773 186091 728498 | 39380 41690 42 | 4.532 % |
79.04/79.04 c | 410517 | 25768 186091 728498 | 41688 42205 43 | 4.554 % |
81.84/81.84 c | 426901 | 25752 185535 726451 | 38534 45433 42 | 4.602 % |
87.23/87.30 c | 459671 | 25704 184999 724614 | 49349 45249 42 | 4.906 % |
101.03/101.03 c | 525207 | 25699 184999 724614 | 28184 33391 51 | 4.906 % |
101.23/101.25 c | 525721 | 25662 184255 721986 | 28184 22194 49 | 4.906 % |
101.33/101.37 c | 526234 | 25662 184255 721986 | 28184 22707 49 | 4.906 % |
101.43/101.45 c | 527259 | 25658 184255 721986 | 28184 23730 49 | 4.928 % |
101.53/101.56 c | 527771 | 25658 184255 721986 | 28184 24242 49 | 4.928 % |
101.63/101.64 c | 528284 | 25658 184255 721986 | 28184 24755 49 | 4.928 % |
101.73/101.71 c | 529308 | 25658 184255 721986 | 28184 25779 50 | 4.928 % |
101.93/101.97 c | 531357 | 25658 184255 721986 | 26472 27828 49 | 4.928 % |
102.03/102.08 c | 531869 | 25658 184255 721986 | 26472 24251 48 | 4.928 % |
102.13/102.14 c | 532381 | 25658 184255 721986 | 26472 24763 48 | 4.928 % |
102.23/102.29 c | 533405 | 25658 184255 721986 | 26472 25787 48 | 4.928 % |
102.34/102.34 c | 533917 | 25658 184255 721986 | 26472 26299 48 | 4.928 % |
102.43/102.44 c | 534429 | 25658 184255 721986 | 26472 26811 48 | 4.928 % |
102.53/102.55 c | 535453 | 25658 184255 721986 | 26472 27835 48 | 4.928 % |
102.83/102.88 c | 537504 | 25658 184255 721986 | 26472 27103 47 | 4.928 % |
103.33/103.38 c | 541600 | 25658 184255 721986 | 2147483647 31199 48 | 4.928 % |
103.44/103.49 c | 542113 | 25658 184255 721986 | 2147483647 31712 48 | 4.928 % |
103.53/103.58 c | 542627 | 25656 184168 721659 | 2147483647 32224 48 | 4.928 % |
103.73/103.79 c | 543651 | 25656 184168 721659 | 2147483647 33248 48 | 4.928 % |
103.83/103.84 c | 544163 | 25654 184168 721659 | 2147483647 33758 48 | 4.936 % |
103.93/103.94 c | 544675 | 25649 184168 721659 | 2147483647 34269 48 | 4.999 % |
104.03/104.09 c | 545700 | 25649 184168 721659 | 2147483647 35294 48 | 4.999 % |
104.43/104.41 c | 547748 | 25649 184168 721659 | 2147483647 37342 48 | 4.999 % |
104.43/104.48 c | 548260 | 25649 184168 721659 | 2147483647 37854 48 | 4.999 % |
104.54/104.57 c | 548772 | 25649 184168 721659 | 2147483647 38366 48 | 4.999 % |
104.83/104.90 c | 549797 | 25645 184168 721659 | 2147483647 39391 49 | 4.999 % |
104.93/105.00 c | 550309 | 25645 184168 721659 | 2147483647 39903 48 | 4.999 % |
105.13/105.14 c | 550823 | 25645 184168 721659 | 2147483647 40417 49 | 4.999 % |
105.23/105.28 c | 551850 | 25645 184168 721659 | 2147483647 41444 48 | 4.999 % |
105.43/105.50 c | 553899 | 25645 184168 721659 | 2147483647 43493 48 | 4.999 % |
106.23/106.25 c | 557995 | 25645 184168 721659 | 2147483647 47589 48 | 4.999 % |
107.13/107.12 c | 566189 | 25643 184168 721659 | 49597 55782 47 | 5.014 % |
107.33/107.32 c | 566701 | 25633 183679 719929 | 49597 47524 45 | 5.014 % |
107.43/107.44 c | 567213 | 25633 183679 719929 | 49597 48036 45 | 5.014 % |
107.63/107.64 c | 568247 | 25620 183679 719929 | 49597 49069 45 | 5.151 % |
107.73/107.73 c | 568759 | 25618 183679 719929 | 49597 49580 45 | 5.158 % |
107.84/107.84 c | 569271 | 25618 183679 719929 | 49597 50092 45 | 5.158 % |
108.03/108.01 c | 570296 | 25618 183679 719929 | 50825 51117 45 | 5.158 % |
108.33/108.38 c | 572344 | 25618 183679 719929 | 50825 53165 46 | 5.158 % |
108.53/108.52 c | 572858 | 25618 183679 719929 | 50825 42841 44 | 5.158 % |
108.63/108.65 c | 573370 | 25618 183679 719929 | 50825 43353 44 | 5.158 % |
108.73/108.80 c | 574394 | 25618 183679 719929 | 50825 44377 44 | 5.158 % |
108.94/108.94 c | 574907 | 25618 183679 719929 | 50825 44890 44 | 5.158 % |
109.03/109.02 c | 575419 | 25618 183679 719929 | 50825 45402 44 | 5.158 % |
109.23/109.22 c | 576447 | 25618 183679 719929 | 50825 46430 44 | 5.158 % |
109.43/109.44 c | 578495 | 25618 183679 719929 | 50825 48478 44 | 5.158 % |
110.04/110.06 c | 582594 | 25618 183679 719929 | 49984 52577 44 | 5.158 % |
110.23/110.23 c | 583106 | 25618 183679 719929 | 49984 42591 42 | 5.158 % |
110.33/110.35 c | 583618 | 25616 183679 719929 | 49984 43103 42 | 5.158 % |
110.53/110.54 c | 584643 | 25616 183679 719929 | 49984 44128 42 | 5.158 % |
110.63/110.65 c | 585155 | 25614 183679 719929 | 49984 44639 42 | 5.214 % |
110.73/110.76 c | 585667 | 25614 183679 719929 | 49984 45151 42 | 5.214 % |
110.83/110.90 c | 586701 | 25614 183679 719929 | 49984 46185 42 | 5.214 % |
111.14/111.20 c | 588751 | 25614 183679 719929 | 49984 48235 42 | 5.214 % |
111.33/111.31 c | 589263 | 25614 183679 719929 | 49984 48747 42 | 5.214 % |
111.33/111.40 c | 589781 | 25614 183679 719929 | 49984 49265 42 | 5.214 % |
111.53/111.59 c | 590805 | 25614 183679 719929 | 49486 50289 42 | 5.214 % |
111.63/111.68 c | 591321 | 25614 183679 719929 | 49486 50805 42 | 5.214 % |
111.73/111.80 c | 591835 | 25614 183679 719929 | 49486 51319 42 | 5.214 % |
111.93/112.01 c | 592859 | 25614 183679 719929 | 49486 41992 40 | 5.214 % |
112.43/112.49 c | 594909 | 25579 182978 717190 | 49486 44027 40 | 5.214 % |
112.93/112.94 c | 599008 | 25579 182978 717190 | 49486 48126 41 | 5.214 % |
114.13/114.12 c | 607200 | 25579 182978 717190 | 49118 43147 37 | 5.214 % |
116.93/116.96 c | 623587 | 25579 182978 717190 | 43312 46892 43 | 5.214 % |
117.03/117.10 c | 624101 | 25579 182978 717190 | 43312 34401 43 | 5.214 % |
117.33/117.31 c | 624613 | 25579 182978 717190 | 43312 34913 42 | 5.214 % |
117.43/117.47 c | 625639 | 25579 182978 717190 | 43312 35939 42 | 5.214 % |
117.53/117.55 c | 626151 | 25579 182978 717190 | 43312 36451 42 | 5.214 % |
117.63/117.65 c | 626665 | 25579 182978 717190 | 43312 36965 42 | 5.214 % |
117.74/117.78 c | 627691 | 25579 182978 717190 | 43312 37991 42 | 5.214 % |
118.13/118.13 c | 629744 | 25579 182978 717190 | 43312 40044 43 | 5.214 % |
118.23/118.31 c | 630256 | 25579 182978 717190 | 40300 40556 42 | 5.214 % |
118.33/118.38 c | 630770 | 25579 182978 717190 | 40300 41070 43 | 5.214 % |
118.63/118.61 c | 631794 | 25579 182978 717190 | 40300 42094 43 | 5.214 % |
118.73/118.75 c | 632306 | 25577 182973 717168 | 40300 37557 43 | 5.221 % |
118.84/118.88 c | 632818 | 25577 182973 717168 | 40300 38069 43 | 5.221 % |
118.93/118.98 c | 633842 | 25577 182973 717168 | 40300 39093 43 | 5.221 % |
119.33/119.32 c | 635890 | 25577 182973 717168 | 40300 41141 43 | 5.221 % |
119.73/119.76 c | 639988 | 25577 182973 717168 | 40300 45239 42 | 5.221 % |
119.94/119.92 c | 640503 | 25577 182973 717168 | 39662 40165 44 | 5.221 % |
120.03/120.02 c | 641017 | 25577 182973 717168 | 39662 40679 44 | 5.221 % |
120.13/120.15 c | 642041 | 25577 182973 717168 | 39662 37267 44 | 5.221 % |
120.23/120.27 c | 642556 | 25577 182973 717168 | 39662 37782 44 | 5.221 % |
120.33/120.34 c | 643072 | 25577 182973 717168 | 39662 38298 44 | 5.221 % |
120.43/120.48 c | 644098 | 25577 182973 717168 | 39662 39324 44 | 5.221 % |
120.83/120.82 c | 646147 | 25577 182973 717168 | 39662 41373 44 | 5.221 % |
120.93/120.95 c | 646659 | 25574 182973 717168 | 39662 36643 42 | 5.236 % |
121.04/121.05 c | 647173 | 25574 182973 717168 | 39662 37157 42 | 5.236 % |
121.13/121.16 c | 648197 | 25574 182973 717168 | 39662 38181 42 | 5.236 % |
121.23/121.25 c | 648709 | 25574 182973 717168 | 39662 38693 42 | 5.236 % |
121.33/121.32 c | 649221 | 25574 182973 717168 | 39662 39205 42 | 5.236 % |
121.43/121.50 c | 650251 | 25574 182973 717168 | 39986 40235 43 | 5.236 % |
121.73/121.77 c | 652300 | 25574 182973 717168 | 39986 42284 43 | 5.236 % |
122.33/122.36 c | 656396 | 25572 182919 716938 | 39986 40415 39 | 5.240 % |
123.33/123.40 c | 664592 | 25572 182919 716938 | 44019 48611 38 | 5.240 % |
123.53/123.54 c | 665112 | 25572 182919 716938 | 44019 37045 35 | 5.240 % |
123.63/123.63 c | 665624 | 25572 182919 716938 | 44019 37557 35 | 5.240 % |
123.73/123.78 c | 666648 | 25572 182919 716938 | 44019 38581 35 | 5.240 % |
123.83/123.86 c | 667160 | 25572 182919 716938 | 44019 39093 35 | 5.240 % |
123.93/123.95 c | 667677 | 25572 182919 716938 | 44019 39610 36 | 5.240 % |
124.03/124.10 c | 668705 | 25572 182919 716938 | 44019 40638 36 | 5.240 % |
124.43/124.41 c | 670753 | 25572 182919 716938 | 41933 42686 36 | 5.240 % |
124.53/124.52 c | 671265 | 25572 182919 716938 | 41933 43198 36 | 5.240 % |
124.53/124.61 c | 671777 | 25572 182919 716938 | 41933 43710 36 | 5.240 % |
124.83/124.83 c | 672801 | 25572 182919 716938 | 41933 36205 34 | 5.240 % |
124.83/124.90 c | 673313 | 25569 182919 716938 | 41933 36716 34 | 5.251 % |
124.93/124.99 c | 673825 | 25569 182919 716938 | 41933 37228 34 | 5.251 % |
125.13/125.15 c | 674849 | 25569 182919 716938 | 41933 38252 35 | 5.251 % |
125.44/125.48 c | 676897 | 25569 182919 716938 | 41933 40300 35 | 5.251 % |
126.03/126.04 c | 680993 | 25569 182919 716938 | 43403 44396 36 | 5.251 % |
126.13/126.17 c | 681509 | 25569 182818 716559 | 43403 44903 36 | 5.251 % |
126.33/126.31 c | 682024 | 25569 182818 716559 | 43403 36544 34 | 5.251 % |
126.54/126.54 c | 683050 | 25569 182818 716559 | 43403 37570 35 | 5.251 % |
126.63/126.62 c | 683564 | 25569 182818 716559 | 43403 38084 35 | 5.251 % |
126.73/126.73 c | 684078 | 25569 182818 716559 | 43403 38598 35 | 5.251 % |
126.83/126.86 c | 685103 | 25569 182818 716559 | 43403 39623 35 | 5.251 % |
127.23/127.27 c | 687152 | 25569 182818 716559 | 43403 41672 35 | 5.251 % |
127.33/127.36 c | 687664 | 25569 182818 716559 | 43403 42184 35 | 5.251 % |
127.43/127.44 c | 688176 | 25569 182818 716559 | 43403 42696 35 | 5.251 % |
127.53/127.61 c | 689200 | 25569 182818 716559 | 43403 43720 35 | 5.251 % |
127.73/127.76 c | 689713 | 25569 182818 716559 | 43403 44233 35 | 5.251 % |
127.93/127.92 c | 690234 | 25569 182818 716559 | 44520 44754 35 | 5.251 % |
128.23/128.22 c | 691259 | 25569 182818 716559 | 44520 45779 35 | 5.251 % |
128.53/128.53 c | 693307 | 25569 182818 716559 | 44520 47827 36 | 5.251 % |
129.53/129.56 c | 697403 | 25569 182818 716559 | 44520 45174 36 | 5.251 % |
130.73/130.75 c | 705595 | 25569 182818 716559 | 47771 53366 38 | 5.251 % |
133.73/133.73 c | 721979 | 25569 182818 716559 | 46617 48596 35 | 5.251 % |
138.73/138.79 c | 754748 | 25569 182818 716559 | 37751 42499 45 | 5.251 % |
138.93/138.97 c | 755262 | 25569 182818 716559 | 37751 27083 49 | 5.251 % |
139.03/139.09 c | 755774 | 25569 182818 716559 | 37751 27595 49 | 5.251 % |
139.43/139.42 c | 756801 | 25567 182810 716532 | 37751 28618 48 | 5.258 % |
139.53/139.51 c | 757316 | 25567 182810 716532 | 37751 29133 48 | 5.258 % |
139.63/139.63 c | 757828 | 25561 182810 716532 | 37751 29643 48 | 5.288 % |
139.74/139.72 c | 758852 | 25561 182810 716532 | 37751 30667 48 | 5.288 % |
140.03/140.08 c | 760910 | 25561 182810 716532 | 31815 32725 48 | 5.288 % |
140.13/140.18 c | 761427 | 25560 182810 716532 | 31815 33241 48 | 5.292 % |
140.33/140.31 c | 761939 | 25560 182810 716532 | 31815 33753 48 | 5.292 % |
140.53/140.59 c | 762964 | 25560 182810 716532 | 31815 29607 46 | 5.292 % |
140.63/140.68 c | 763476 | 25560 182810 716532 | 31815 30119 46 | 5.292 % |
140.73/140.73 c | 763989 | 25560 182810 716532 | 31815 30632 46 | 5.292 % |
140.84/140.82 c | 765013 | 25560 182810 716532 | 31815 31656 45 | 5.292 % |
141.13/141.18 c | 767063 | 25560 182810 716532 | 31815 33706 45 | 5.292 % |
141.53/141.56 c | 771159 | 25560 182810 716532 | 2147483647 34432 43 | 5.292 % |
141.63/141.66 c | 771674 | 25560 182810 716532 | 2147483647 34947 43 | 5.292 % |
141.63/141.70 c | 772186 | 25560 182810 716532 | 2147483647 35459 43 | 5.292 % |
141.83/141.86 c | 773210 | 25558 182721 716195 | 2147483647 36481 42 | 5.292 % |
141.94/141.94 c | 773722 | 25558 182721 716195 | 2147483647 36993 42 | 5.292 % |
142.03/142.05 c | 774238 | 25558 182721 716195 | 2147483647 37509 42 | 5.292 % |
142.13/142.16 c | 775262 | 25554 182721 716195 | 2147483647 38532 42 | 5.332 % |
142.53/142.51 c | 777310 | 25554 182721 716195 | 2147483647 40580 42 | 5.332 % |
142.53/142.57 c | 777822 | 25554 182721 716195 | 2147483647 41092 42 | 5.332 % |
142.63/142.69 c | 778334 | 25554 182721 716195 | 2147483647 41604 42 | 5.332 % |
142.93/142.91 c | 779359 | 25554 182721 716195 | 2147483647 42629 43 | 5.332 % |
142.93/142.97 c | 779873 | 25554 182721 716195 | 2147483647 43143 43 | 5.332 % |
143.04/143.05 c | 780385 | 25554 182721 716195 | 43272 43655 43 | 5.332 % |
143.23/143.25 c | 781409 | 25554 182721 716195 | 43272 44679 43 | 5.332 % |
143.43/143.42 c | 783458 | 25554 182721 716195 | 43272 46728 43 | 5.332 % |
144.23/144.24 c | 787555 | 25554 182721 716195 | 43272 43754 42 | 5.332 % |
145.13/145.17 c | 795747 | 25554 182721 716195 | 46204 51946 41 | 5.332 % |
145.33/145.32 c | 796259 | 25547 182559 715600 | 46204 43185 39 | 5.332 % |
145.33/145.40 c | 796772 | 25547 182559 715600 | 46204 43698 39 | 5.332 % |
145.53/145.59 c | 797799 | 25547 182559 715600 | 46204 44725 39 | 5.332 % |
145.63/145.67 c | 798311 | 25547 182559 715600 | 46204 45237 39 | 5.332 % |
145.73/145.75 c | 798825 | 25539 182559 715600 | 46204 45749 39 | 5.362 % |
145.93/145.94 c | 799849 | 25539 182559 715600 | 46204 46773 39 | 5.362 % |
146.34/146.34 c | 801899 | 25539 182559 715600 | 46924 48823 39 | 5.362 % |
146.43/146.49 c | 802411 | 25539 182559 715600 | 46924 37044 37 | 5.362 % |
146.53/146.58 c | 802923 | 25539 182559 715600 | 46924 37556 37 | 5.362 % |
146.73/146.72 c | 803956 | 25539 182559 715600 | 46924 38589 38 | 5.362 % |
146.83/146.88 c | 804468 | 25539 182559 715600 | 46924 39101 38 | 5.362 % |
146.93/146.93 c | 804980 | 25539 182559 715600 | 46924 39613 37 | 5.362 % |
147.03/147.07 c | 806017 | 25539 182559 715600 | 46924 40650 38 | 5.362 % |
147.23/147.31 c | 808067 | 25539 182559 715600 | 46924 42700 37 | 5.362 % |
147.93/147.97 c | 812163 | 25539 182559 715600 | 44638 46796 39 | 5.362 % |
148.13/148.13 c | 812675 | 25539 182559 715600 | 44638 38922 36 | 5.362 % |
148.23/148.23 c | 813189 | 25539 182559 715600 | 44638 39436 36 | 5.362 % |
148.33/148.38 c | 814213 | 25539 182559 715600 | 44638 40460 36 | 5.362 % |
148.43/148.49 c | 814729 | 25539 182559 715600 | 44638 40976 37 | 5.362 % |
148.63/148.69 c | 815241 | 25539 182559 715600 | 44638 41488 36 | 5.362 % |
148.83/148.82 c | 816265 | 25539 182559 715600 | 44638 42512 37 | 5.362 % |
149.23/149.21 c | 818313 | 25539 182559 715600 | 44638 44560 37 | 5.362 % |
149.33/149.31 c | 818826 | 25539 182559 715600 | 44638 45073 37 | 5.362 % |
149.53/149.51 c | 819338 | 25539 182469 715239 | 44638 45583 37 | 5.362 % |
149.73/149.73 c | 820362 | 25539 182469 715239 | 46245 46607 37 | 5.362 % |
149.83/149.84 c | 820874 | 25539 182469 715239 | 46245 47119 37 | 5.362 % |
149.93/149.93 c | 821389 | 25539 182469 715239 | 46245 47634 37 | 5.362 % |
150.13/150.13 c | 822414 | 25539 182469 715239 | 46245 48659 37 | 5.362 % |
150.43/150.47 c | 824464 | 25539 182469 715239 | 46245 41683 35 | 5.362 % |
151.13/151.15 c | 828561 | 25539 182469 715239 | 46245 45780 35 | 5.362 % |
152.53/152.53 c | 836753 | 25538 182469 715239 | 47218 53971 36 | 5.377 % |
155.84/155.82 c | 853137 | 25530 182341 714768 | 46128 49258 35 | 5.395 % |
155.94/155.97 c | 853649 | 25530 182341 714768 | 46128 41694 34 | 5.395 % |
156.04/156.06 c | 854161 | 25529 182341 714768 | 46128 42205 34 | 5.399 % |
156.14/156.17 c | 855187 | 25529 182341 714768 | 46128 43231 34 | 5.399 % |
156.24/156.29 c | 855699 | 25529 182341 714768 | 46128 43743 34 | 5.399 % |
156.34/156.39 c | 856212 | 25529 182341 714768 | 46128 44256 34 | 5.399 % |
156.54/156.55 c | 857239 | 25529 182341 714768 | 46128 45283 35 | 5.399 % |
156.84/156.82 c | 859288 | 25529 182341 714768 | 46128 47332 34 | 5.399 % |
156.94/156.92 c | 859801 | 25529 182341 714768 | 46128 47845 34 | 5.399 % |
157.04/157.05 c | 860313 | 25529 182341 714768 | 40589 40902 34 | 5.399 % |
157.14/157.20 c | 861341 | 25529 182341 714768 | 40589 41930 34 | 5.399 % |
157.54/157.53 c | 861853 | 25529 182341 714768 | 40589 42442 34 | 5.399 % |
157.64/157.66 c | 862365 | 25529 182278 714553 | 40589 38709 32 | 5.399 % |
157.84/157.83 c | 863389 | 25529 182278 714553 | 40589 39733 32 | 5.399 % |
158.14/158.14 c | 865437 | 25529 182278 714553 | 40589 41781 33 | 5.399 % |
159.04/159.02 c | 869534 | 25483 182278 714553 | 40589 41492 31 | 5.740 % |
159.24/159.23 c | 870047 | 25483 182278 714553 | 2147483647 42005 31 | 5.740 % |
159.34/159.32 c | 870559 | 25483 182278 714553 | 2147483647 42517 31 | 5.740 % |
159.44/159.48 c | 871588 | 25482 182278 714553 | 2147483647 43545 31 | 5.755 % |
159.54/159.59 c | 872102 | 25482 182278 714553 | 2147483647 44059 31 | 5.755 % |
159.64/159.67 c | 872614 | 25482 182278 714553 | 2147483647 44571 31 | 5.755 % |
159.84/159.87 c | 873638 | 25482 182278 714553 | 2147483647 45595 31 | 5.755 % |
160.24/160.29 c | 875686 | 25433 181298 710585 | 2147483647 31480 33 | 5.755 % |
160.34/160.38 c | 876198 | 25433 181298 710585 | 2147483647 31992 33 | 5.755 % |
160.44/160.47 c | 876711 | 25433 181298 710585 | 2147483647 32505 33 | 5.755 % |
160.64/160.66 c | 877735 | 25431 181298 710585 | 2147483647 33528 32 | 5.762 % |
160.74/160.74 c | 878247 | 25431 181298 710585 | 2147483647 34040 32 | 5.762 % |
160.84/160.83 c | 878760 | 25431 181298 710585 | 2147483647 34553 32 | 5.762 % |
160.94/161.01 c | 879784 | 25431 181298 710585 | 2147483647 35577 32 | 5.762 % |
161.34/161.37 c | 881832 | 25431 181298 710585 | 2147483647 37625 31 | 5.762 % |
162.14/162.12 c | 885928 | 25431 181298 710585 | 2147483647 41721 31 | 5.762 % |
163.84/163.86 c | 894120 | 25431 181288 710537 | 45774 40948 28 | 5.762 % |
163.94/163.97 c | 894636 | 25431 181288 710537 | 45774 41464 28 | 5.762 % |
164.04/164.08 c | 895149 | 25431 181288 710537 | 45774 41977 28 | 5.762 % |
164.24/164.28 c | 896177 | 25431 181288 710537 | 45774 43004 28 | 5.770 % |
164.34/164.37 c | 896689 | 25431 181288 710537 | 45774 43516 28 | 5.770 % |
164.44/164.47 c | 897209 | 25431 181288 710537 | 45774 44036 28 | 5.770 % |
164.64/164.68 c | 898233 | 25431 181288 710537 | 45774 45060 28 | 5.770 % |
165.14/165.12 c | 900285 | 25431 181288 710537 | 46827 47112 27 | 5.770 % |
165.24/165.26 c | 900799 | 25429 181278 710508 | 46827 47625 27 | 5.770 % |
165.34/165.37 c | 901313 | 25429 181278 710508 | 46827 48139 27 | 5.770 % |
165.64/165.67 c | 902337 | 25429 181278 710508 | 46827 38378 23 | 5.773 % |
165.74/165.76 c | 902850 | 25429 181278 710508 | 46827 38891 23 | 5.773 % |
165.84/165.86 c | 903363 | 25429 181278 710508 | 46827 39404 23 | 5.773 % |
166.04/166.05 c | 904389 | 25429 181278 710508 | 46827 40430 23 | 5.773 % |
166.44/166.44 c | 906438 | 25429 181278 710508 | 46827 42479 23 | 5.773 % |
167.24/167.27 c | 910534 | 25429 181278 710508 | 46042 46575 23 | 5.773 % |
167.34/167.39 c | 911048 | 25429 181278 710508 | 46042 47089 23 | 5.773 % |
167.44/167.51 c | 911562 | 25429 181278 710508 | 46042 47603 23 | 5.773 % |
167.74/167.78 c | 912586 | 25429 181278 710508 | 46042 36678 22 | 5.777 % |
167.84/167.87 c | 913103 | 25429 181278 710508 | 46042 37195 22 | 5.777 % |
167.94/167.97 c | 913617 | 25429 181278 710508 | 46042 37709 22 | 5.777 % |
168.14/168.16 c | 914641 | 25429 181278 710508 | 46042 38733 22 | 5.777 % |
168.54/168.54 c | 916689 | 25429 181278 710508 | 46042 40781 22 | 5.777 % |
168.64/168.67 c | 917202 | 25427 181268 710460 | 46042 41288 22 | 5.777 % |
168.74/168.78 c | 917715 | 25427 181268 710460 | 46042 41801 22 | 5.777 % |
168.94/169.00 c | 918739 | 25427 181268 710460 | 46042 42825 22 | 5.777 % |
169.04/169.11 c | 919251 | 25426 181268 710460 | 46042 43336 22 | 5.796 % |
169.24/169.22 c | 919769 | 25426 181268 710460 | 46042 43854 22 | 5.796 % |
169.44/169.44 c | 920797 | 25426 181268 710460 | 44086 44882 22 | 5.796 % |
169.94/169.99 c | 922849 | 25426 181268 710460 | 44086 33773 22 | 5.796 % |
170.74/170.74 c | 926945 | 25426 181268 710460 | 44086 37869 22 | 5.796 % |
172.44/172.44 c | 935138 | 25426 181268 710460 | 40924 34253 21 | 5.796 % |
175.54/175.53 c | 951522 | 25421 181171 710145 | 37515 39037 20 | 5.833 % |
181.74/181.75 c | 984291 | 25411 181038 709323 | 37055 31013 20 | 5.836 % |
193.74/193.76 c | 1049830 | 25407 181035 709311 | 35220 34558 18 | 5.862 % |
217.54/217.52 c | 1180902 | 25390 180838 708494 | 44521 45422 19 | 6.014 % |
217.64/217.66 c | 1181416 | 25363 180519 707122 | 44521 45931 19 | 6.014 % |
217.84/217.86 c | 1181928 | 25363 180519 707122 | 44521 33356 19 | 6.014 % |
218.04/218.06 c | 1182952 | 25363 180519 707122 | 44521 34380 19 | 6.014 % |
218.14/218.16 c | 1183464 | 25363 180519 707122 | 44521 34892 19 | 6.014 % |
218.24/218.26 c | 1183976 | 25363 180519 707122 | 44521 35404 19 | 6.014 % |
218.44/218.48 c | 1185000 | 25361 180519 707122 | 44521 36427 19 | 6.029 % |
218.84/218.88 c | 1187049 | 25361 180519 707122 | 44521 38476 19 | 6.029 % |
218.94/218.99 c | 1187561 | 25360 180519 707122 | 44521 38987 19 | 6.033 % |
219.04/219.10 c | 1188073 | 25360 180519 707122 | 44521 39499 19 | 6.033 % |
219.34/219.32 c | 1189100 | 25360 180519 707122 | 44521 40526 19 | 6.033 % |
219.44/219.42 c | 1189612 | 25360 180519 707122 | 44521 41038 19 | 6.033 % |
219.54/219.54 c | 1190124 | 25360 180519 707122 | 41427 41550 19 | 6.033 % |
219.74/219.76 c | 1191149 | 25360 180519 707122 | 41427 42575 19 | 6.033 % |
220.54/220.53 c | 1193197 | 25360 180519 707122 | 41427 32275 19 | 6.033 % |
221.34/221.33 c | 1197293 | 25360 180519 707122 | 41427 36371 19 | 6.033 % |
221.44/221.46 c | 1197806 | 25358 180479 706985 | 41427 36883 19 | 6.033 % |
221.54/221.57 c | 1198319 | 25358 180479 706985 | 41427 37396 19 | 6.033 % |
221.74/221.79 c | 1199344 | 25358 180479 706985 | 41427 38421 19 | 6.033 % |
221.84/221.90 c | 1199857 | 25358 180479 706985 | 41427 38934 19 | 6.033 % |
221.94/222.00 c | 1200369 | 25358 180479 706985 | 39078 39446 19 | 6.033 % |
222.24/222.22 c | 1201393 | 25358 180479 706985 | 39078 40470 19 | 6.033 % |
222.84/222.85 c | 1203446 | 25358 180479 706985 | 39078 31789 19 | 6.033 % |
222.94/222.94 c | 1203961 | 25358 180479 706985 | 39078 32304 19 | 6.033 % |
223.04/223.03 c | 1204473 | 25358 180479 706985 | 39078 32816 20 | 6.033 % |
223.24/223.22 c | 1205497 | 25358 180479 706985 | 39078 33840 20 | 6.033 % |
223.34/223.32 c | 1206021 | 25358 180479 706985 | 39078 34364 20 | 6.033 % |
223.44/223.43 c | 1206536 | 25358 180479 706985 | 39078 34879 20 | 6.033 % |
223.64/223.63 c | 1207565 | 25358 180479 706985 | 39078 35908 20 | 6.033 % |
224.04/224.10 c | 1209613 | 25357 180474 706968 | 39078 37955 20 | 6.036 % |
225.04/225.09 c | 1213712 | 25357 180474 706968 | 38342 31338 20 | 6.036 % |
226.94/226.98 c | 1221905 | 25357 180474 706968 | 37626 29945 20 | 6.036 % |
227.04/227.07 c | 1222417 | 25357 180474 706968 | 37626 30457 21 | 6.036 % |
227.14/227.16 c | 1222929 | 25357 180474 706968 | 37626 30969 21 | 6.036 % |
227.34/227.35 c | 1223954 | 25357 180474 706968 | 37626 31994 21 | 6.036 % |
227.44/227.45 c | 1224467 | 25357 180474 706968 | 37626 32507 21 | 6.036 % |
227.54/227.55 c | 1224979 | 25357 180474 706968 | 37626 33019 21 | 6.036 % |
227.74/227.74 c | 1226004 | 25357 180474 706968 | 37626 34044 21 | 6.036 % |
228.14/228.14 c | 1228052 | 25357 180474 706968 | 37626 36092 21 | 6.036 % |
228.24/228.23 c | 1228565 | 25357 180474 706968 | 37626 36605 21 | 6.036 % |
228.34/228.32 c | 1229079 | 25357 180474 706968 | 37626 37119 21 | 6.036 % |
228.54/228.51 c | 1230109 | 25357 180474 706968 | 38040 38149 21 | 6.036 % |
228.64/228.62 c | 1230621 | 25357 180474 706968 | 38040 38661 21 | 6.036 % |
228.74/228.72 c | 1231134 | 25357 180474 706968 | 38040 39174 21 | 6.036 % |
229.04/229.03 c | 1232159 | 25357 180474 706968 | 38040 30223 21 | 6.036 % |
229.34/229.38 c | 1234207 | 25357 180474 706968 | 38040 32271 21 | 6.036 % |
230.04/230.08 c | 1238307 | 25357 180474 706968 | 38040 36371 21 | 6.036 % |
230.14/230.18 c | 1238819 | 25357 180474 706968 | 38040 36883 21 | 6.036 % |
230.24/230.28 c | 1239335 | 25357 180474 706968 | 38040 37399 21 | 6.036 % |
230.44/230.48 c | 1240359 | 25357 180474 706968 | 38065 38423 21 | 6.036 % |
230.54/230.59 c | 1240871 | 25357 180474 706968 | 38065 38935 21 | 6.036 % |
230.64/230.71 c | 1241383 | 25357 180474 706968 | 38065 39447 21 | 6.036 % |
231.04/231.06 c | 1242407 | 25354 180457 706913 | 38065 29251 21 | 6.048 % |
231.44/231.41 c | 1244455 | 25354 180457 706913 | 38065 31299 21 | 6.048 % |
231.44/231.50 c | 1244970 | 25354 180457 706913 | 38065 31814 21 | 6.048 % |
231.54/231.59 c | 1245482 | 25354 180457 706913 | 38065 32326 21 | 6.048 % |
231.74/231.77 c | 1246506 | 25354 180457 706913 | 38065 33350 21 | 6.048 % |
231.84/231.86 c | 1247020 | 25354 180457 706913 | 38065 33864 21 | 6.048 % |
231.94/231.95 c | 1247532 | 25354 180457 706913 | 38065 34376 21 | 6.048 % |
232.14/232.13 c | 1248557 | 25354 180457 706913 | 38065 35401 21 | 6.048 % |
232.54/232.53 c | 1250607 | 25354 180457 706913 | 36844 37451 21 | 6.048 % |
233.34/233.38 c | 1254703 | 25354 180457 706913 | 36844 31309 20 | 6.048 % |
234.94/234.95 c | 1262895 | 25354 180457 706913 | 36609 28526 19 | 6.048 % |
238.04/238.03 c | 1279279 | 25354 180446 706879 | 35631 35283 19 | 6.048 % |
238.14/238.12 c | 1279792 | 25354 180446 706879 | 35631 35796 19 | 6.048 % |
238.24/238.24 c | 1280305 | 25354 180446 706879 | 36004 36309 19 | 6.048 % |
238.44/238.43 c | 1281329 | 25354 180446 706879 | 36004 37333 19 | 6.048 % |
238.54/238.52 c | 1281841 | 25354 180446 706879 | 36004 37845 19 | 6.048 % |
238.64/238.72 c | 1282355 | 25354 180446 706879 | 36004 28443 19 | 6.048 % |
238.84/238.89 c | 1283379 | 25354 180446 706879 | 36004 29467 19 | 6.048 % |
239.24/239.24 c | 1285427 | 25354 180446 706879 | 36004 31515 19 | 6.048 % |
239.34/239.33 c | 1285940 | 25354 180446 706879 | 36004 32028 19 | 6.048 % |
239.44/239.42 c | 1286452 | 25354 180446 706879 | 36004 32540 19 | 6.048 % |
239.54/239.60 c | 1287478 | 25354 180446 706879 | 36004 33566 19 | 6.048 % |
239.64/239.69 c | 1287999 | 25354 180446 706879 | 36004 34087 19 | 6.048 % |
239.74/239.78 c | 1288512 | 25354 180446 706879 | 36004 34600 19 | 6.048 % |
240.04/240.01 c | 1289540 | 25353 180440 706859 | 36004 35627 19 | 6.051 % |
240.44/240.42 c | 1291589 | 25353 180440 706859 | 36088 37676 20 | 6.051 % |
241.34/241.34 c | 1295691 | 25353 180440 706859 | 36088 33190 20 | 6.051 % |
241.44/241.42 c | 1296203 | 25353 180440 706859 | 36088 33702 20 | 6.051 % |
241.54/241.51 c | 1296715 | 25353 180440 706859 | 36088 34214 20 | 6.051 % |
241.64/241.70 c | 1297746 | 25353 180440 706859 | 36088 35245 20 | 6.051 % |
241.74/241.79 c | 1298258 | 25353 180440 706859 | 36088 35757 20 | 6.051 % |
241.84/241.90 c | 1298771 | 25353 180440 706859 | 36088 36270 20 | 6.051 % |
242.14/242.13 c | 1299795 | 25353 180440 706859 | 36088 37294 20 | 6.051 % |
242.54/242.58 c | 1301843 | 25353 180440 706859 | 37499 39342 20 | 6.051 % |
242.84/242.88 c | 1302356 | 25353 180440 706859 | 37499 29598 20 | 6.051 % |
242.94/242.98 c | 1302869 | 25353 180440 706859 | 37499 30111 20 | 6.051 % |
243.15/243.18 c | 1303894 | 25353 180440 706859 | 37499 31136 20 | 6.051 % |
243.24/243.29 c | 1304407 | 25353 180440 706859 | 37499 31649 20 | 6.051 % |
243.34/243.39 c | 1304921 | 25353 180440 706859 | 37499 32163 20 | 6.051 % |
243.54/243.58 c | 1305945 | 25353 180440 706859 | 37499 33187 20 | 6.051 % |
243.94/243.95 c | 1308001 | 25353 180440 706859 | 37499 35243 20 | 6.051 % |
244.94/244.93 c | 1312099 | 25353 180440 706859 | 37242 29691 20 | 6.051 % |
246.34/246.40 c | 1320291 | 25353 180440 706859 | 37596 37883 20 | 6.051 % |
246.45/246.51 c | 1320804 | 25353 180440 706859 | 37596 38396 20 | 6.051 % |
246.54/246.60 c | 1321317 | 25353 180440 706859 | 37596 38909 20 | 6.051 % |
246.94/246.98 c | 1322341 | 25353 180440 706859 | 37596 30620 20 | 6.051 % |
247.04/247.07 c | 1322853 | 25353 180440 706859 | 37596 31132 20 | 6.051 % |
247.14/247.15 c | 1323367 | 25353 180440 706859 | 37596 31646 20 | 6.051 % |
247.34/247.33 c | 1324391 | 25353 180440 706859 | 37596 32670 20 | 6.051 % |
247.64/247.69 c | 1326439 | 25353 180440 706859 | 37596 34718 20 | 6.051 % |
247.74/247.80 c | 1326951 | 25353 180440 706859 | 37596 35230 20 | 6.051 % |
247.84/247.90 c | 1327463 | 25353 180440 706859 | 37596 35742 20 | 6.051 % |
248.04/248.09 c | 1328487 | 25353 180440 706859 | 37596 36766 20 | 6.051 % |
248.14/248.19 c | 1329002 | 25353 180440 706859 | 37596 37281 20 | 6.051 % |
248.24/248.30 c | 1329516 | 25353 180440 706859 | 37596 37795 20 | 6.051 % |
248.44/248.51 c | 1330540 | 25353 180440 706859 | 38280 38819 20 | 6.051 % |
249.04/249.09 c | 1332591 | 25353 180440 706859 | 38280 30772 20 | 6.051 % |
249.75/249.76 c | 1336687 | 25353 180440 706859 | 38280 34868 20 | 6.051 % |
249.84/249.84 c | 1337201 | 25353 180440 706859 | 38280 35382 20 | 6.051 % |
249.94/249.94 c | 1337713 | 25353 180440 706859 | 38280 35894 20 | 6.051 % |
250.14/250.14 c | 1338737 | 25353 180440 706859 | 38280 36918 20 | 6.051 % |
250.24/250.24 c | 1339250 | 25353 180440 706859 | 38280 37431 20 | 6.051 % |
250.34/250.34 c | 1339762 | 25353 180440 706859 | 38280 37943 20 | 6.051 % |
250.54/250.55 c | 1340786 | 25353 180440 706859 | 38182 38967 20 | 6.051 % |
251.14/251.16 c | 1342836 | 25353 180440 706859 | 38182 30566 19 | 6.051 % |
251.24/251.24 c | 1343350 | 25353 180440 706859 | 38182 31080 19 | 6.051 % |
251.34/251.32 c | 1343865 | 25353 180440 706859 | 38182 31595 19 | 6.051 % |
251.44/251.49 c | 1344890 | 25353 180440 706859 | 38182 32620 19 | 6.051 % |
251.54/251.58 c | 1345404 | 25353 180440 706859 | 38182 33134 19 | 6.051 % |
251.64/251.67 c | 1345916 | 25353 180440 706859 | 38182 33646 19 | 6.051 % |
251.84/251.85 c | 1346949 | 25353 180440 706859 | 38182 34679 19 | 6.051 % |
252.24/252.21 c | 1348997 | 25353 180440 706859 | 38182 36727 19 | 6.051 % |
253.05/253.06 c | 1353100 | 25353 180440 706859 | 37732 30949 19 | 6.051 % |
254.44/254.48 c | 1361292 | 25353 180440 706859 | 37849 39141 20 | 6.051 % |
257.64/257.69 c | 1377680 | 25353 180440 706859 | 37489 35651 19 | 6.051 % |
264.14/264.19 c | 1410448 | 25350 180412 706757 | 37380 37827 19 | 6.062 % |
264.24/264.30 c | 1410961 | 25350 180412 706757 | 37380 38340 19 | 6.062 % |
264.34/264.40 c | 1411474 | 25350 180412 706757 | 37380 38853 19 | 6.062 % |
264.94/264.94 c | 1412499 | 25350 180412 706757 | 37380 30647 18 | 6.062 % |
265.04/265.03 c | 1413011 | 25350 180412 706757 | 37380 31159 18 | 6.062 % |
265.15/265.13 c | 1413523 | 25350 180412 706757 | 37380 31671 19 | 6.062 % |
265.24/265.30 c | 1414548 | 25350 180412 706757 | 37380 32696 19 | 6.062 % |
265.64/265.64 c | 1416596 | 25350 180412 706757 | 37380 34744 19 | 6.062 % |
265.74/265.72 c | 1417110 | 25350 180412 706757 | 37380 35258 19 | 6.062 % |
265.84/265.81 c | 1417622 | 25350 180412 706757 | 37380 35770 19 | 6.062 % |
265.94/266.00 c | 1418646 | 25350 180412 706757 | 37380 36794 19 | 6.062 % |
266.04/266.09 c | 1419159 | 25350 180412 706757 | 37380 37307 19 | 6.062 % |
266.14/266.18 c | 1419674 | 25350 180412 706757 | 37380 37822 19 | 6.062 % |
266.34/266.38 c | 1420699 | 25350 180412 706757 | 38153 38847 19 | 6.062 % |
266.94/266.91 c | 1422747 | 25350 180412 706757 | 38153 33232 20 | 6.062 % |
267.54/267.55 c | 1426844 | 25350 180412 706757 | 38153 37329 20 | 6.062 % |
267.64/267.67 c | 1427358 | 25347 180386 706668 | 38153 37840 20 | 6.074 % |
267.74/267.76 c | 1427870 | 25347 180386 706668 | 38153 38352 20 | 6.074 % |
267.94/267.95 c | 1428894 | 25347 180386 706668 | 38153 39376 20 | 6.074 % |
268.04/268.05 c | 1429406 | 25347 180386 706668 | 38153 39888 20 | 6.074 % |
268.34/268.35 c | 1429918 | 25347 180386 706668 | 38153 32835 20 | 6.074 % |
268.54/268.52 c | 1430950 | 25347 180386 706668 | 32917 33867 20 | 6.074 % |
268.94/268.95 c | 1433002 | 25347 180386 706668 | 32917 29203 21 | 6.074 % |
269.04/269.04 c | 1433514 | 25347 180386 706668 | 32917 29715 21 | 6.074 % |
269.14/269.11 c | 1434029 | 25347 180386 706668 | 32917 30230 21 | 6.074 % |
269.24/269.28 c | 1435053 | 25347 180386 706668 | 32917 31254 21 | 6.074 % |
269.34/269.37 c | 1435569 | 25347 180386 706668 | 32917 31770 21 | 6.074 % |
269.44/269.46 c | 1436093 | 25347 180386 706668 | 32917 32294 21 | 6.074 % |
269.64/269.62 c | 1437117 | 25347 180386 706668 | 32917 33318 21 | 6.074 % |
270.04/270.03 c | 1439166 | 25347 180386 706668 | 32917 28290 21 | 6.074 % |
270.65/270.68 c | 1443262 | 25347 180386 706668 | 29129 25701 20 | 6.074 % |
271.94/271.94 c | 1451454 | 25347 180386 706668 | 26177 27631 19 | 6.074 % |
272.04/272.04 c | 1451966 | 25347 180386 706668 | 26177 22580 19 | 6.074 % |
272.14/272.11 c | 1452480 | 25347 180386 706668 | 26177 23094 19 | 6.074 % |
272.24/272.24 c | 1453504 | 25347 180386 706668 | 26177 24118 19 | 6.074 % |
272.34/272.31 c | 1454023 | 25347 180386 706668 | 26177 24637 19 | 6.074 % |
272.34/272.38 c | 1454536 | 25347 180386 706668 | 26177 25150 19 | 6.074 % |
272.54/272.53 c | 1455560 | 25347 180386 706668 | 26177 26174 19 | 6.074 % |
272.94/272.91 c | 1457609 | 25347 180386 706668 | 26177 23591 19 | 6.074 % |
272.94/272.97 c | 1458124 | 25347 180386 706668 | 26177 24106 19 | 6.074 % |
273.04/273.03 c | 1458637 | 25347 180386 706668 | 26177 24619 19 | 6.074 % |
273.14/273.17 c | 1459661 | 25347 180386 706668 | 26177 25643 19 | 6.074 % |
273.24/273.24 c | 1460186 | 25347 180386 706668 | 25984 26168 19 | 6.074 % |
273.34/273.40 c | 1460698 | 25347 180386 706668 | 25984 26680 19 | 6.074 % |
273.54/273.55 c | 1461722 | 25347 180386 706668 | 25984 27704 19 | 6.074 % |
273.84/273.91 c | 1463770 | 25347 180386 706668 | 25984 26706 19 | 6.074 % |
274.54/274.55 c | 1467867 | 25347 180386 706668 | 25984 27319 19 | 6.074 % |
274.64/274.62 c | 1468379 | 25347 180386 706668 | 25984 27831 19 | 6.074 % |
274.74/274.76 c | 1468891 | 25347 180386 706668 | 25984 24410 20 | 6.074 % |
274.84/274.90 c | 1469915 | 25347 180386 706668 | 25984 25434 20 | 6.074 % |
274.94/274.97 c | 1470427 | 25347 180386 706668 | 25519 25946 20 | 6.074 % |
275.05/275.05 c | 1470942 | 25347 180386 706668 | 25519 26461 20 | 6.074 % |
275.24/275.27 c | 1471966 | 25347 180386 706668 | 25519 23425 20 | 6.074 % |
275.54/275.54 c | 1474016 | 25347 180386 706668 | 25519 25475 20 | 6.074 % |
275.64/275.63 c | 1474530 | 25347 180386 706668 | 25519 25989 20 | 6.074 % |
275.74/275.71 c | 1475046 | 25347 180386 706668 | 25519 26505 20 | 6.074 % |
275.94/275.92 c | 1476077 | 25347 180386 706668 | 25519 23130 20 | 6.074 % |
275.94/275.98 c | 1476590 | 25347 180386 706668 | 25519 23643 20 | 6.074 % |
276.04/276.05 c | 1477102 | 25347 180386 706668 | 25519 24155 20 | 6.074 % |
276.15/276.19 c | 1478126 | 25347 180386 706668 | 25519 25179 20 | 6.074 % |
276.44/276.47 c | 1480174 | 25347 180386 706668 | 27053 27227 20 | 6.074 % |
277.04/277.07 c | 1484270 | 25347 180386 706668 | 27053 26486 19 | 6.074 % |
278.35/278.36 c | 1492465 | 25347 180386 706668 | 27464 24789 19 | 6.074 % |
280.74/280.80 c | 1508853 | 25347 180386 706668 | 26948 24318 18 | 6.074 % |
280.84/280.87 c | 1509366 | 25347 180386 706668 | 26948 24831 18 | 6.074 % |
280.94/280.94 c | 1509879 | 25347 180386 706668 | 26948 25344 18 | 6.074 % |
281.04/281.08 c | 1510903 | 25347 180386 706668 | 25466 26368 18 | 6.074 % |
281.14/281.15 c | 1511417 | 25347 180386 706668 | 25466 26882 18 | 6.074 % |
281.34/281.33 c | 1511934 | 25347 180386 706668 | 25466 22249 18 | 6.074 % |
281.44/281.46 c | 1512958 | 25347 180386 706668 | 25466 23273 18 | 6.074 % |
281.74/281.73 c | 1515011 | 25347 180386 706668 | 25466 25326 19 | 6.074 % |
281.74/281.80 c | 1515523 | 25347 180386 706668 | 25466 25838 19 | 6.074 % |
281.84/281.87 c | 1516038 | 25347 180386 706668 | 25466 26353 19 | 6.074 % |
282.04/282.09 c | 1517066 | 25347 180386 706668 | 25466 22605 19 | 6.074 % |
282.14/282.17 c | 1517578 | 25347 180386 706668 | 25466 23117 19 | 6.074 % |
282.24/282.24 c | 1518090 | 25347 180386 706668 | 25466 23629 19 | 6.074 % |
282.34/282.37 c | 1519118 | 25347 180386 706668 | 25466 24657 19 | 6.074 % |
282.64/282.65 c | 1521166 | 25347 180386 706668 | 25540 26705 19 | 6.074 % |
283.24/283.27 c | 1525262 | 25347 180386 706668 | 25540 26535 19 | 6.074 % |
283.34/283.34 c | 1525777 | 25347 180386 706668 | 25540 27050 19 | 6.074 % |
283.44/283.50 c | 1526289 | 25347 180386 706668 | 25540 23265 19 | 6.074 % |
283.64/283.62 c | 1527316 | 25347 180386 706668 | 25540 24292 19 | 6.074 % |
283.64/283.68 c | 1527828 | 25347 180386 706668 | 25540 24804 19 | 6.074 % |
283.74/283.75 c | 1528341 | 25347 180386 706668 | 25540 25317 19 | 6.074 % |
283.85/283.89 c | 1529366 | 25347 180386 706668 | 25540 26342 19 | 6.074 % |
284.14/284.18 c | 1531419 | 25347 180386 706668 | 26979 28395 19 | 6.074 % |
284.34/284.35 c | 1531933 | 25347 180386 706668 | 26979 23978 19 | 6.074 % |
284.45/284.42 c | 1532446 | 25347 180386 706668 | 26979 24491 19 | 6.074 % |
284.55/284.57 c | 1533477 | 25347 180386 706668 | 26979 25522 19 | 6.074 % |
284.65/284.64 c | 1533990 | 25347 180386 706668 | 26979 26035 19 | 6.074 % |
284.65/284.71 c | 1534506 | 25347 180386 706668 | 26979 26551 19 | 6.074 % |
284.85/284.87 c | 1535539 | 25347 180386 706668 | 26979 27584 19 | 6.074 % |
285.25/285.24 c | 1537587 | 25347 180386 706668 | 26979 24708 19 | 6.074 % |
285.85/285.83 c | 1541683 | 25347 180386 706668 | 27123 28804 18 | 6.074 % |
287.05/287.08 c | 1549876 | 25347 180386 706668 | 27123 25872 18 | 6.074 % |
287.15/287.16 c | 1550388 | 25347 180386 706668 | 26003 26384 18 | 6.074 % |
287.25/287.23 c | 1550901 | 25347 180386 706668 | 26003 26897 18 | 6.074 % |
287.45/287.45 c | 1551926 | 25347 180386 706668 | 26003 22484 18 | 6.074 % |
287.45/287.51 c | 1552439 | 25347 180386 706668 | 26003 22997 18 | 6.074 % |
287.55/287.58 c | 1552961 | 25347 180386 706668 | 26003 23519 18 | 6.074 % |
287.65/287.71 c | 1553985 | 25347 180386 706668 | 26003 24543 18 | 6.074 % |
288.05/288.02 c | 1556035 | 25347 180386 706668 | 26003 26593 18 | 6.074 % |
288.05/288.10 c | 1556548 | 25347 180386 706668 | 26003 27106 18 | 6.074 % |
288.15/288.18 c | 1557062 | 25347 180386 706668 | 26003 27620 18 | 6.074 % |
288.35/288.38 c | 1558087 | 25347 180386 706668 | 26003 23800 18 | 6.074 % |
288.45/288.46 c | 1558600 | 25347 180386 706668 | 26003 24313 18 | 6.074 % |
288.55/288.53 c | 1559114 | 25347 180386 706668 | 26003 24827 18 | 6.074 % |
288.65/288.67 c | 1560139 | 25347 180386 706668 | 25716 25852 18 | 6.074 % |
289.05/289.03 c | 1562187 | 25347 180386 706668 | 25716 23276 18 | 6.074 % |
289.55/289.60 c | 1566283 | 25347 180386 706668 | 25716 27372 18 | 6.074 % |
289.75/289.72 c | 1566795 | 25347 180386 706668 | 25716 23523 18 | 6.074 % |
289.75/289.78 c | 1567307 | 25347 180386 706668 | 25716 24035 18 | 6.074 % |
289.95/289.92 c | 1568331 | 25347 180386 706668 | 25716 25059 18 | 6.074 % |
289.95/289.99 c | 1568850 | 25347 180386 706668 | 25716 25578 18 | 6.074 % |
290.05/290.06 c | 1569362 | 25347 180386 706668 | 25716 26090 18 | 6.074 % |
290.15/290.20 c | 1570386 | 25347 180386 706668 | 26728 27114 18 | 6.074 % |
290.55/290.56 c | 1572441 | 25347 180386 706668 | 26728 24106 17 | 6.074 % |
290.65/290.62 c | 1572953 | 25347 180386 706668 | 26728 24618 18 | 6.074 % |
290.65/290.68 c | 1573465 | 25347 180386 706668 | 26728 25130 18 | 6.074 % |
290.85/290.82 c | 1574489 | 25347 180386 706668 | 26728 26154 18 | 6.074 % |
290.85/290.88 c | 1575007 | 25347 180386 706668 | 26728 26672 18 | 6.074 % |
290.95/290.95 c | 1575519 | 25347 180386 706668 | 26728 27184 18 | 6.074 % |
291.05/291.10 c | 1576543 | 25347 180386 706668 | 26728 28208 18 | 6.074 % |
291.45/291.50 c | 1578591 | 25347 180386 706668 | 26728 24835 17 | 6.074 % |
292.15/292.13 c | 1582691 | 25347 180386 706668 | 26245 24126 17 | 6.074 % |
293.25/293.28 c | 1590883 | 25347 180386 706668 | 26454 27337 17 | 6.074 % |
295.65/295.66 c | 1607267 | 25316 180047 705199 | 25521 8519 15 | 6.188 % |
296.15/296.21 c ===============================================================================
296.15/296.21 c restarts : 766
296.15/296.21 c conflicts : 1613874 (5510 /sec)
296.15/296.21 c decisions : 4427038 (1.72 % random) (15115 /sec)
296.15/296.21 c propagations : 198520481 (677799 /sec)
296.15/296.21 c conflict literals : 54189856 (25.89 % deleted)
296.15/296.21 c Memory used : 32.94 MB
296.15/296.21 c CPU time : 292.89 s
296.15/296.21 c
296.15/296.21 s UNSATISFIABLE
296.15/296.21 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821899-1242577865/watcher-1821899-1242577865 -o /tmp/evaluation-result-1821899-1242577865/solver-1821899-1242577865 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821899-1242577865.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 1541
/proc/meminfo: memFree=804576/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2412 CPUtime=0.01
/proc/1541/stat : 1541 (SatELiteGTI) R 1539 1541 15108 0 -1 4194304 354 642 0 0 1 0 0 0 18 0 1 0 1022284683 2469888 276 4294967295 134512640 135169312 3217409968 3217408444 3085522804 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/1541/statm: 603 276 235 161 0 42 0
[pid=1545] ppid=1541 vsize=0 CPUtime=0
/proc/1545/stat : 1545 (SatELiteGTI) R 1541 1541 15108 0 -1 4194368 66 0 0 0 0 0 0 0 20 0 1 0 1022284684 0 0 4294967295 0 0 0 3217408596 3085523434 0 0 0 0 0 0 0 17 2 0 0 0
/proc/1545/statm: 0 0 0 0 0 0 0
[startup+0.091605 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 1541
/proc/meminfo: memFree=804576/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2412 CPUtime=0.01
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 368 642 0 0 1 0 0 0 18 0 1 0 1022284683 2469888 276 4294967295 134512640 135169312 3217409968 3217408504 3085520622 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1541/statm: 603 276 235 161 0 42 0
[pid=1545] ppid=1541 vsize=15736 CPUtime=0.09
/proc/1545/stat : 1545 (SatELite_releas) R 1541 1541 15108 0 -1 4202496 3276 0 0 0 8 1 0 0 20 0 1 0 1022284684 16113664 3211 4294967295 134512640 135223648 3218999584 3218998168 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1545/statm: 3934 3211 46 174 0 3759 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18148
[startup+0.111603 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 1541
/proc/meminfo: memFree=804576/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2412 CPUtime=0.01
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 368 642 0 0 1 0 0 0 18 0 1 0 1022284683 2469888 276 4294967295 134512640 135169312 3217409968 3217408504 3085520622 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1541/statm: 603 276 235 161 0 42 0
[pid=1545] ppid=1541 vsize=18228 CPUtime=0.11
/proc/1545/stat : 1545 (SatELite_releas) R 1541 1541 15108 0 -1 4202496 3951 0 0 0 8 3 0 0 20 0 1 0 1022284684 18665472 3886 4294967295 134512640 135223648 3218999584 3218998536 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1545/statm: 4557 3887 46 174 0 4382 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20640
[startup+0.311588 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 1541
/proc/meminfo: memFree=804576/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2412 CPUtime=0.01
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 368 642 0 0 1 0 0 0 18 0 1 0 1022284683 2469888 276 4294967295 134512640 135169312 3217409968 3217408504 3085520622 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1541/statm: 603 276 235 161 0 42 0
[pid=1545] ppid=1541 vsize=43680 CPUtime=0.31
/proc/1545/stat : 1545 (SatELite_releas) R 1541 1541 15108 0 -1 4202496 10620 0 0 0 22 9 0 0 21 0 1 0 1022284684 44728320 10555 4294967295 134512640 135223648 3218999584 3218998536 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1545/statm: 10920 10555 46 174 0 10745 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 46092
[startup+0.711557 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 1541
/proc/meminfo: memFree=804576/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2412 CPUtime=0.01
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 368 642 0 0 1 0 0 0 18 0 1 0 1022284683 2469888 276 4294967295 134512640 135169312 3217409968 3217408504 3085520622 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1541/statm: 603 276 235 161 0 42 0
[pid=1545] ppid=1541 vsize=77456 CPUtime=0.71
/proc/1545/stat : 1545 (SatELite_releas) R 1541 1541 15108 0 -1 4202496 17631 0 0 0 59 12 0 0 22 0 1 0 1022284684 79314944 16250 4294967295 134512640 135223648 3218999584 3218997600 134587054 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1545/statm: 19364 16250 73 174 0 19189 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 79868
[startup+1.5115 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1546
/proc/meminfo: memFree=734600/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2412 CPUtime=0.01
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 368 642 0 0 1 0 0 0 18 0 1 0 1022284683 2469888 276 4294967295 134512640 135169312 3217409968 3217408504 3085520622 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1541/statm: 603 276 235 161 0 42 0
[pid=1545] ppid=1541 vsize=81820 CPUtime=1.51
/proc/1545/stat : 1545 (SatELite_releas) R 1541 1541 15108 0 -1 4202496 18606 0 0 0 135 16 0 0 25 0 1 0 1022284684 83783680 17225 4294967295 134512640 135223648 3218999584 3218997584 134549098 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1545/statm: 20455 17225 73 174 0 20280 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 84232
[startup+3.11137 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1546
/proc/meminfo: memFree=721084/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2412 CPUtime=0.01
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 368 642 0 0 1 0 0 0 18 0 1 0 1022284683 2469888 276 4294967295 134512640 135169312 3217409968 3217408504 3085520622 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1541/statm: 603 276 235 161 0 42 0
[pid=1545] ppid=1541 vsize=85080 CPUtime=3.11
/proc/1545/stat : 1545 (SatELite_releas) R 1541 1541 15108 0 -1 4202496 21049 0 0 0 290 21 0 0 25 0 1 0 1022284684 87121920 17953 4294967295 134512640 135223648 3218999584 3218997936 134608385 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1545/statm: 21270 17953 73 174 0 21095 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 87492
[startup+6.31113 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1547
/proc/meminfo: memFree=770684/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2416 CPUtime=3.27
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 386 21693 0 0 1 0 304 22 18 0 1 0 1022284683 2473984 277 4294967295 134512640 135169312 3217409968 3217406184 3085520622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1541/statm: 604 277 235 161 0 43 0
[pid=1547] ppid=1541 vsize=17496 CPUtime=3.05
/proc/1547/stat : 1547 (minisat_static) R 1541 1541 15108 0 -1 4202496 4273 0 0 0 303 2 0 0 25 0 1 0 1022285010 17915904 4208 4294967295 134512640 135216591 3219003776 3219001968 134528860 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1547/statm: 4374 4208 75 172 0 4201 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 19912
[startup+12.7106 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1549
/proc/meminfo: memFree=761828/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2416 CPUtime=3.27
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 386 21693 0 0 1 0 304 22 18 0 1 0 1022284683 2473984 277 4294967295 134512640 135169312 3217409968 3217406184 3085520622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1541/statm: 604 277 235 161 0 43 0
[pid=1547] ppid=1541 vsize=25792 CPUtime=9.45
/proc/1547/stat : 1547 (minisat_static) R 1541 1541 15108 0 -1 4202496 6352 0 0 0 940 5 0 0 25 0 1 0 1022285010 26411008 6287 4294967295 134512640 135216591 3219003776 3219001968 134529068 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1547/statm: 6448 6287 75 172 0 6275 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 28208
[startup+25.5197 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1551
/proc/meminfo: memFree=753708/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2416 CPUtime=3.27
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 386 21693 0 0 1 0 304 22 18 0 1 0 1022284683 2473984 277 4294967295 134512640 135169312 3217409968 3217406184 3085520622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1541/statm: 604 277 235 161 0 43 0
[pid=1547] ppid=1541 vsize=33072 CPUtime=22.26
/proc/1547/stat : 1547 (minisat_static) R 1541 1541 15108 0 -1 4202496 8168 0 0 0 2219 7 0 0 25 0 1 0 1022285010 33865728 8103 4294967295 134512640 135216591 3219003776 3219001968 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1547/statm: 8268 8103 75 172 0 8095 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 35488
[startup+51.1177 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1735
/proc/meminfo: memFree=753256/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2416 CPUtime=3.27
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 386 21693 0 0 1 0 304 22 18 0 1 0 1022284683 2473984 277 4294967295 134512640 135169312 3217409968 3217406184 3085520622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1541/statm: 604 277 235 161 0 43 0
[pid=1547] ppid=1541 vsize=33072 CPUtime=47.86
/proc/1547/stat : 1547 (minisat_static) R 1541 1541 15108 0 -1 4202496 8168 0 0 0 4779 7 0 0 25 0 1 0 1022285010 33865728 8103 4294967295 134512640 135216591 3219003776 3219001680 134533116 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1547/statm: 8268 8103 75 172 0 8095 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 35488
[startup+102.324 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1740
/proc/meminfo: memFree=753416/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2416 CPUtime=3.27
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 386 21693 0 0 1 0 304 22 18 0 1 0 1022284683 2473984 277 4294967295 134512640 135169312 3217409968 3217406184 3085520622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1541/statm: 604 277 235 161 0 43 0
[pid=1547] ppid=1541 vsize=33072 CPUtime=99.07
/proc/1547/stat : 1547 (minisat_static) R 1541 1541 15108 0 -1 4202496 8168 0 0 0 9899 8 0 0 25 0 1 0 1022285010 33865728 8103 4294967295 134512640 135216591 3219003776 3219001744 134539444 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1547/statm: 8268 8103 75 172 0 8095 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 35488
[startup+162.319 s]
/proc/loadavg: 1.04 1.01 1.00 3/93 1927
/proc/meminfo: memFree=753152/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2416 CPUtime=3.27
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 386 21693 0 0 1 0 304 22 18 0 1 0 1022284683 2473984 277 4294967295 134512640 135169312 3217409968 3217406184 3085520622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1541/statm: 604 277 235 161 0 43 0
[pid=1547] ppid=1541 vsize=33072 CPUtime=159.07
/proc/1547/stat : 1547 (minisat_static) R 1541 1541 15108 0 -1 4202496 8168 0 0 0 15899 8 0 0 25 0 1 0 1022285010 33865728 8103 4294967295 134512640 135216591 3219003776 3219001968 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1547/statm: 8268 8103 75 172 0 8095 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 35488
[startup+222.315 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 2114
/proc/meminfo: memFree=752920/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2416 CPUtime=3.27
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 386 21693 0 0 1 0 304 22 18 0 1 0 1022284683 2473984 277 4294967295 134512640 135169312 3217409968 3217406184 3085520622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1541/statm: 604 277 235 161 0 43 0
[pid=1547] ppid=1541 vsize=33228 CPUtime=219.07
/proc/1547/stat : 1547 (minisat_static) R 1541 1541 15108 0 -1 4202496 8222 0 0 0 21899 8 0 0 25 0 1 0 1022285010 34025472 8157 4294967295 134512640 135216591 3219003776 3219001968 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1547/statm: 8307 8157 75 172 0 8134 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 35644
[startup+282.31 s]
/proc/loadavg: 1.04 1.02 1.00 2/93 2307
/proc/meminfo: memFree=752424/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2416 CPUtime=3.27
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 386 21693 0 0 1 0 304 22 18 0 1 0 1022284683 2473984 277 4294967295 134512640 135169312 3217409968 3217406184 3085520622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1541/statm: 604 277 235 161 0 43 0
[pid=1547] ppid=1541 vsize=33728 CPUtime=279.07
/proc/1547/stat : 1547 (minisat_static) R 1541 1541 15108 0 -1 4202496 8335 0 0 0 27899 8 0 0 25 0 1 0 1022285010 34537472 8270 4294967295 134512640 135216591 3219003776 3219001968 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1547/statm: 8432 8270 75 172 0 8259 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 36144
Solver just ended. Dumping a history of the last processes samples
[startup+287.92 s]
/proc/loadavg: 1.04 1.02 1.00 2/93 2497
/proc/meminfo: memFree=752020/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2416 CPUtime=3.27
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 386 21693 0 0 1 0 304 22 18 0 1 0 1022284683 2473984 277 4294967295 134512640 135169312 3217409968 3217406184 3085520622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1541/statm: 604 277 235 161 0 43 0
[pid=1547] ppid=1541 vsize=33728 CPUtime=284.68
/proc/1547/stat : 1547 (minisat_static) R 1541 1541 15108 0 -1 4202496 8335 0 0 0 28460 8 0 0 25 0 1 0 1022285010 34537472 8270 4294967295 134512640 135216591 3219003776 3219001968 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1547/statm: 8432 8270 75 172 0 8259 0
Current children cumulated CPU time (s) 287.95
Current children cumulated vsize (KiB) 36144
[startup+291.119 s]
/proc/loadavg: 1.04 1.02 1.00 2/93 2497
/proc/meminfo: memFree=752272/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2416 CPUtime=3.27
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 386 21693 0 0 1 0 304 22 18 0 1 0 1022284683 2473984 277 4294967295 134512640 135169312 3217409968 3217406184 3085520622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1541/statm: 604 277 235 161 0 43 0
[pid=1547] ppid=1541 vsize=33728 CPUtime=287.88
/proc/1547/stat : 1547 (minisat_static) R 1541 1541 15108 0 -1 4202496 8335 0 0 0 28780 8 0 0 25 0 1 0 1022285010 34537472 8270 4294967295 134512640 135216591 3219003776 3219001968 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1547/statm: 8432 8270 75 172 0 8259 0
Current children cumulated CPU time (s) 291.15
Current children cumulated vsize (KiB) 36144
[startup+294.319 s]
/proc/loadavg: 1.03 1.02 1.00 2/93 2497
/proc/meminfo: memFree=752280/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2416 CPUtime=3.27
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 386 21693 0 0 1 0 304 22 18 0 1 0 1022284683 2473984 277 4294967295 134512640 135169312 3217409968 3217406184 3085520622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1541/statm: 604 277 235 161 0 43 0
[pid=1547] ppid=1541 vsize=33728 CPUtime=291.08
/proc/1547/stat : 1547 (minisat_static) R 1541 1541 15108 0 -1 4202496 8335 0 0 0 29100 8 0 0 25 0 1 0 1022285010 34537472 8270 4294967295 134512640 135216591 3219003776 3219001968 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1547/statm: 8432 8270 75 172 0 8259 0
Current children cumulated CPU time (s) 294.35
Current children cumulated vsize (KiB) 36144
[startup+295.119 s]
/proc/loadavg: 1.03 1.02 1.00 2/93 2497
/proc/meminfo: memFree=752328/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2416 CPUtime=3.27
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 386 21693 0 0 1 0 304 22 18 0 1 0 1022284683 2473984 277 4294967295 134512640 135169312 3217409968 3217406184 3085520622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1541/statm: 604 277 235 161 0 43 0
[pid=1547] ppid=1541 vsize=33728 CPUtime=291.88
/proc/1547/stat : 1547 (minisat_static) R 1541 1541 15108 0 -1 4202496 8335 0 0 0 29180 8 0 0 25 0 1 0 1022285010 34537472 8270 4294967295 134512640 135216591 3219003776 3219001968 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1547/statm: 8432 8270 75 172 0 8259 0
Current children cumulated CPU time (s) 295.15
Current children cumulated vsize (KiB) 36144
[startup+295.919 s]
/proc/loadavg: 1.03 1.02 1.00 3/93 2497
/proc/meminfo: memFree=752328/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2416 CPUtime=3.27
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 386 21693 0 0 1 0 304 22 18 0 1 0 1022284683 2473984 277 4294967295 134512640 135169312 3217409968 3217406184 3085520622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1541/statm: 604 277 235 161 0 43 0
[pid=1547] ppid=1541 vsize=33728 CPUtime=292.68
/proc/1547/stat : 1547 (minisat_static) R 1541 1541 15108 0 -1 4202496 8335 0 0 0 29260 8 0 0 25 0 1 0 1022285010 34537472 8270 4294967295 134512640 135216591 3219003776 3219001968 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1547/statm: 8432 8270 75 172 0 8259 0
Current children cumulated CPU time (s) 295.95
Current children cumulated vsize (KiB) 36144
[startup+296.119 s]
/proc/loadavg: 1.03 1.02 1.00 3/93 2497
/proc/meminfo: memFree=752328/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2416 CPUtime=3.27
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 386 21693 0 0 1 0 304 22 18 0 1 0 1022284683 2473984 277 4294967295 134512640 135169312 3217409968 3217406184 3085520622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1541/statm: 604 277 235 161 0 43 0
[pid=1547] ppid=1541 vsize=33728 CPUtime=292.88
/proc/1547/stat : 1547 (minisat_static) R 1541 1541 15108 0 -1 4202496 8335 0 0 0 29280 8 0 0 25 0 1 0 1022285010 34537472 8270 4294967295 134512640 135216591 3219003776 3219001968 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1547/statm: 8432 8270 75 172 0 8259 0
Current children cumulated CPU time (s) 296.15
Current children cumulated vsize (KiB) 36144
[startup+296.219 s]
/proc/loadavg: 1.03 1.02 1.00 3/93 2497
/proc/meminfo: memFree=752328/2074464 swapFree=1952056/1959888
[pid=1541] ppid=1539 vsize=2932 CPUtime=296.24
/proc/1541/stat : 1541 (SatELiteGTI) S 1539 1541 15108 0 -1 4194304 475 30040 0 0 1 0 29593 30 20 0 1 0 1022284683 3002368 345 4294967295 134512640 135169312 3217409968 3217405352 3085520622 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/1541/statm: 733 345 237 161 0 172 0
Current children cumulated CPU time (s) 296.24
Current children cumulated vsize (KiB) 2932
Child status: 20
Real time (s): 296.228
CPU time (s): 296.25
CPU user time (s): 295.94
CPU system time (s): 0.31
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 88744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 295.94
system time used= 0.31
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30700
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 188
runsolver used 0 second user time and 0.02 second system time
The end
Begin job on tipi24 at 2009-05-17 18:31:05
IDJOB=1821899
IDBENCH=71717
IDSOLVER=658
FILE ID=tipi24/1821899-1242577865
PBS_JOBID=
Free space on /tmp= 9608 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT_RACE06/manol-pipe-g10id.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821899-1242577865/watcher-1821899-1242577865 -o /tmp/evaluation-result-1821899-1242577865/solver-1821899-1242577865 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821899-1242577865.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 79b8866c5f4be7f699958174c5be63e9
RANDOM SEED= 1427132004
Linux tipi24 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.461
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.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
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.75
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
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.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 804832 kB
Buffers: 55224 kB
Cached: 1096844 kB
SwapCached: 3828 kB
Active: 330496 kB
Inactive: 831156 kB
HighTotal: 1178688 kB
HighFree: 162364 kB
LowTotal: 895776 kB
LowFree: 642468 kB
SwapTotal: 1959888 kB
SwapFree: 1952056 kB
Dirty: 9852 kB
Writeback: 0 kB
AnonPages: 8752 kB
Mapped: 3112 kB
Slab: 99476 kB
PageTables: 488 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87800 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9608 MiB
End job on tipi24 at 2009-05-17 18:36:02