0.00/0.00 c Parsing...
0.63/0.63 c ==============================================================================
0.63/0.63 c | | ORIGINAL | LEARNT | |
0.63/0.63 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.63/0.63 c ==============================================================================
0.63/0.63 c | 0 | 646227 1507863 | 193868 0 0 nan | 0.000 % |
4.12/4.18 c | 0 | 276775 1085434 | -- 0 -- -- | -- | -369450/-422424
4.12/4.18 c ==============================================================================
4.12/4.18 c Result : #vars: 35740 #clauses: 276775 #literals: 1085434
4.12/4.18 c CPU time: 3.97 s
4.12/4.18 c ==============================================================================
4.52/4.57 c This is MiniSat 2.0 beta
4.52/4.57 c WARNING: for repeatability, setting FPU to use double precision
4.52/4.57 c ============================[ Problem Statistics ]=============================
4.52/4.57 c | |
4.52/4.57 c | Number of variables: 35740 |
4.52/4.57 c | Number of clauses: 276775 |
4.56/4.78 c | Parsing time: 0.20 s |
4.56/4.80 c ============================[ Search Statistics ]==============================
4.56/4.80 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.56/4.80 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.56/4.80 c ===============================================================================
4.56/4.80 c | 0 | 35740 276775 1085434 | 92258 0 nan | 0.000 % |
4.56/4.85 c | 100 | 35722 276775 1085434 | 92258 96 7 | 0.171 % |
4.56/4.88 c | 202 | 35719 276775 1085434 | 92258 198 9 | 0.171 % |
4.56/4.93 c | 303 | 35719 276775 1085434 | 92258 299 9 | 0.171 % |
4.56/4.96 c | 415 | 35710 276775 1085434 | 92258 411 10 | 0.171 % |
4.56/5.00 c | 515 | 35709 276775 1085434 | 92258 510 11 | 0.173 % |
4.56/5.06 c | 625 | 35709 276775 1085434 | 92258 620 12 | 0.173 % |
4.56/5.08 c | 746 | 35708 276775 1085434 | 92258 741 12 | 0.173 % |
4.56/5.19 c | 846 | 35702 276775 1085434 | 92258 841 13 | 0.173 % |
4.56/5.23 c | 957 | 35698 276775 1085434 | 92258 952 15 | 0.173 % |
4.56/5.28 c | 1079 | 35698 276775 1085434 | 92258 1074 16 | 0.173 % |
4.56/5.37 c | 1212 | 35696 276775 1085434 | 92258 1206 16 | 0.185 % |
5.42/5.49 c | 1312 | 35692 276775 1085434 | 92258 1306 17 | 0.185 % |
5.52/5.58 c | 1422 | 35686 276775 1085434 | 92258 1416 17 | 0.185 % |
5.62/5.65 c | 1545 | 35686 276775 1085434 | 92258 1539 18 | 0.185 % |
5.62/5.69 c | 1679 | 35661 275228 1079817 | 92258 1666 17 | 0.271 % |
5.72/5.77 c | 1825 | 35656 275228 1079817 | 92258 1812 17 | 0.271 % |
5.72/5.80 c | 1925 | 35656 275228 1079817 | 92258 1912 18 | 0.271 % |
5.82/5.83 c | 2035 | 35654 275228 1079817 | 92258 2021 17 | 0.277 % |
5.82/5.91 c | 2158 | 35654 275228 1079817 | 92258 2144 17 | 0.277 % |
6.02/6.10 c | 2292 | 35641 275228 1079817 | 92258 2278 18 | 0.277 % |
6.12/6.15 c | 2438 | 35641 275228 1079817 | 92258 2424 20 | 0.277 % |
6.12/6.21 c | 2598 | 35641 275228 1079817 | 92258 2584 20 | 0.277 % |
6.22/6.27 c | 2698 | 35641 275228 1079817 | 92258 2684 19 | 0.277 % |
6.32/6.33 c | 2808 | 35641 275228 1079817 | 92258 2794 20 | 0.277 % |
6.32/6.39 c | 2931 | 35641 275228 1079817 | 92258 2917 20 | 0.277 % |
6.42/6.44 c | 3064 | 35641 275228 1079817 | 92258 3050 19 | 0.277 % |
6.42/6.46 c | 3211 | 35626 275228 1079817 | 92258 3192 19 | 0.327 % |
6.52/6.56 c | 3373 | 35623 274288 1076295 | 92258 3330 19 | 0.327 % |
6.52/6.58 c | 3549 | 35615 274288 1076295 | 92258 3504 19 | 0.358 % |
6.62/6.65 c | 3650 | 35612 274288 1076295 | 92258 3605 19 | 0.358 % |
6.62/6.71 c | 3761 | 35612 274288 1076295 | 92258 3716 19 | 0.358 % |
6.72/6.81 c | 3882 | 35612 274288 1076295 | 92258 3837 19 | 0.358 % |
6.82/6.85 c | 4015 | 35612 274288 1076295 | 92258 3970 19 | 0.358 % |
6.82/6.91 c | 4162 | 35612 274288 1076295 | 92258 4117 19 | 0.358 % |
7.02/7.04 c | 4322 | 35612 274288 1076295 | 92258 4277 19 | 0.358 % |
7.12/7.15 c | 4498 | 35609 274288 1076295 | 92258 4452 19 | 0.375 % |
7.12/7.19 c | 4691 | 35609 274288 1076295 | 92258 4645 19 | 0.375 % |
7.22/7.22 c | 4792 | 35587 274288 1076295 | 92258 4744 19 | 0.529 % |
7.22/7.27 c | 4903 | 35567 274288 1076295 | 92258 4854 19 | 0.680 % |
7.22/7.32 c | 5025 | 35566 274288 1076295 | 92258 4975 19 | 0.686 % |
7.42/7.44 c | 5158 | 35495 271314 1064898 | 92258 5063 19 | 0.686 % |
7.42/7.44 c | 5304 | 35495 271314 1064898 | 92258 5209 19 | 0.686 % |
7.52/7.55 c | 5464 | 35470 271314 1064898 | 92258 5368 18 | 0.828 % |
7.52/7.59 c | 5641 | 35470 271314 1064898 | 92258 5545 18 | 0.828 % |
7.62/7.65 c | 5835 | 35467 271314 1064898 | 92258 5737 18 | 0.873 % |
7.62/7.69 c | 6047 | 35463 271314 1064898 | 92258 5947 17 | 0.884 % |
7.62/7.72 c | 6148 | 35455 271314 1064898 | 92258 6045 17 | 0.932 % |
7.72/7.75 c | 6259 | 35388 271314 1064898 | 92258 6155 17 | 1.153 % |
7.72/7.79 c | 6381 | 35388 271314 1064898 | 92258 6277 17 | 1.153 % |
7.82/7.84 c | 6515 | 35388 271314 1064898 | 92258 6411 17 | 1.153 % |
7.82/7.88 c | 6662 | 35374 271314 1064898 | 92258 6555 17 | 1.172 % |
7.92/7.92 c | 6822 | 35374 271314 1064898 | 92258 6715 17 | 1.172 % |
7.92/7.96 c | 6999 | 35360 271314 1064898 | 92258 6887 17 | 1.226 % |
7.92/7.99 c | 7192 | 35360 271314 1064898 | 92258 7080 17 | 1.226 % |
8.02/8.06 c | 7406 | 35360 271314 1064898 | 92258 7294 17 | 1.226 % |
8.02/8.11 c | 7639 | 35359 271314 1064898 | 92258 7527 18 | 1.226 % |
8.12/8.15 c | 7740 | 35302 266760 1047220 | 92258 6830 18 | 1.226 % |
8.12/8.19 c | 7850 | 35302 266760 1047220 | 92258 6940 18 | 1.226 % |
8.12/8.22 c | 7971 | 35302 266760 1047220 | 92258 7061 18 | 1.226 % |
8.22/8.27 c | 8105 | 35302 266760 1047220 | 92258 7195 18 | 1.226 % |
8.32/8.35 c | 8253 | 35302 266760 1047220 | 92258 7343 19 | 1.226 % |
8.32/8.39 c | 8413 | 35301 266760 1047220 | 92258 7502 19 | 1.234 % |
8.42/8.44 c | 8590 | 35300 266760 1047220 | 92258 7678 18 | 1.315 % |
8.42/8.48 c | 8783 | 35297 266760 1047220 | 92258 7871 19 | 1.315 % |
8.52/8.54 c | 8995 | 35297 266760 1047220 | 92258 8083 19 | 1.315 % |
8.52/8.59 c | 9228 | 35297 266760 1047220 | 92258 8316 19 | 1.315 % |
8.62/8.71 c | 9485 | 35286 266760 1047220 | 92258 8571 19 | 1.399 % |
8.72/8.74 c | 9587 | 35285 266760 1047220 | 92258 8672 19 | 1.402 % |
8.72/8.77 c | 9697 | 35277 266760 1047220 | 92258 8779 19 | 1.438 % |
8.72/8.78 c | 9818 | 35277 266760 1047220 | 92258 8900 19 | 1.438 % |
8.72/8.81 c | 9953 | 35277 266760 1047220 | 92258 9035 19 | 1.438 % |
8.82/8.82 c | 10099 | 35277 266760 1047220 | 2147483647 9181 19 | 1.438 % |
8.82/8.87 c | 10260 | 35277 266760 1047220 | 2147483647 9342 19 | 1.438 % |
8.92/8.94 c | 10437 | 35267 266760 1047220 | 2147483647 9518 19 | 1.452 % |
9.02/9.05 c | 10632 | 35221 265716 1043298 | 2147483647 9624 20 | 1.452 % |
9.02/9.10 c | 10845 | 35216 265716 1043298 | 2147483647 9836 20 | 1.533 % |
9.12/9.18 c | 11079 | 35216 265716 1043298 | 2147483647 10070 20 | 1.533 % |
9.22/9.23 c | 11337 | 35216 265716 1043298 | 2147483647 10328 20 | 1.533 % |
9.22/9.29 c | 11618 | 35214 265716 1043298 | 2147483647 10609 21 | 1.533 % |
9.22/9.31 c | 11720 | 35196 265716 1043298 | 2147483647 10708 21 | 1.634 % |
9.32/9.39 c | 11830 | 35192 265716 1043298 | 2147483647 10817 21 | 1.659 % |
9.42/9.42 c | 11951 | 35192 265716 1043298 | 2147483647 10938 21 | 1.659 % |
9.42/9.42 c | 12085 | 35192 265716 1043298 | 2147483647 11072 21 | 1.659 % |
9.42/9.48 c | 12231 | 35189 265716 1043298 | 2147483647 11217 21 | 1.670 % |
9.52/9.52 c | 12391 | 35189 265716 1043298 | 2147483647 11377 21 | 1.670 % |
9.52/9.58 c | 12568 | 35186 265716 1043298 | 2147483647 11551 21 | 1.679 % |
9.62/9.64 c | 12762 | 35186 265716 1043298 | 2147483647 11745 20 | 1.679 % |
9.62/9.68 c | 12974 | 35186 265716 1043298 | 2147483647 11957 20 | 1.679 % |
9.72/9.75 c | 13207 | 35176 265716 1043298 | 2147483647 12190 20 | 1.679 % |
9.72/9.82 c | 13464 | 35174 265716 1043298 | 2147483647 12446 20 | 1.729 % |
9.82/9.88 c | 13745 | 35122 264121 1037500 | 2147483647 12707 20 | 1.729 % |
9.92/9.97 c | 14055 | 35122 264121 1037500 | 2147483647 13017 21 | 1.729 % |
9.92/9.99 c | 14155 | 35122 264121 1037500 | 2147483647 13117 21 | 1.729 % |
10.02/10.02 c | 14266 | 35122 264121 1037500 | 2147483647 13228 21 | 1.729 % |
10.02/10.08 c | 14387 | 35122 264121 1037500 | 2147483647 13349 21 | 1.729 % |
10.02/10.10 c | 14521 | 35117 264121 1037500 | 2147483647 13480 21 | 1.766 % |
10.02/10.12 c | 14668 | 35117 264121 1037500 | 2147483647 13627 21 | 1.766 % |
10.12/10.14 c | 14828 | 35116 264121 1037500 | 2147483647 13787 21 | 1.766 % |
10.12/10.18 c | 15005 | 35115 264121 1037500 | 2147483647 13963 21 | 1.782 % |
10.22/10.22 c | 15198 | 35112 264121 1037500 | 2147483647 14156 21 | 1.782 % |
10.22/10.31 c | 15410 | 35112 264121 1037500 | 2147483647 14368 21 | 1.782 % |
10.32/10.38 c | 15643 | 35112 264121 1037500 | 2147483647 14601 21 | 1.782 % |
10.42/10.49 c | 15902 | 35112 264121 1037500 | 2147483647 14860 21 | 1.782 % |
10.52/10.58 c | 16184 | 35104 264121 1037500 | 2147483647 15139 21 | 1.810 % |
10.62/10.66 c | 16493 | 35104 264121 1037500 | 2147483647 15448 21 | 1.810 % |
10.72/10.75 c | 16835 | 35104 264121 1037500 | 2147483647 15790 22 | 1.810 % |
10.72/10.79 c | 16937 | 35093 263517 1035373 | 2147483647 15875 21 | 1.810 % |
10.72/10.80 c | 17048 | 35093 263517 1035373 | 2147483647 15986 22 | 1.810 % |
10.82/10.84 c | 17170 | 35093 263517 1035373 | 2147483647 16108 22 | 1.810 % |
10.82/10.86 c | 17305 | 35093 263517 1035373 | 2147483647 16243 21 | 1.810 % |
10.82/10.89 c | 17451 | 35093 263517 1035373 | 2147483647 16389 21 | 1.810 % |
10.92/10.92 c | 17615 | 35093 263517 1035373 | 2147483647 16553 21 | 1.810 % |
10.92/10.97 c | 17792 | 35093 263517 1035373 | 2147483647 16730 21 | 1.810 % |
11.02/11.02 c | 17987 | 35093 263517 1035373 | 2147483647 16925 22 | 1.810 % |
11.02/11.07 c | 18199 | 35089 263517 1035373 | 2147483647 17136 22 | 1.886 % |
11.12/11.15 c | 18432 | 35089 263517 1035373 | 2147483647 17369 22 | 1.886 % |
11.22/11.29 c | 18688 | 35087 263517 1035373 | 2147483647 17624 22 | 1.889 % |
11.32/11.35 c | 18969 | 35086 263517 1035373 | 2147483647 17904 21 | 1.891 % |
11.42/11.43 c | 19278 | 35086 263517 1035373 | 2147483647 18213 22 | 1.891 % |
11.52/11.54 c | 19617 | 35086 263517 1035373 | 2147483647 18552 22 | 1.891 % |
11.52/11.61 c | 19989 | 35086 263517 1035373 | 2147483647 18924 22 | 1.891 % |
11.62/11.64 c | 20090 | 35070 263517 1035373 | 2147483647 19023 22 | 2.015 % |
11.62/11.66 c | 20201 | 35069 263517 1035373 | 2147483647 19133 22 | 2.020 % |
11.62/11.70 c | 20322 | 35068 263517 1035373 | 2147483647 19254 22 | 2.020 % |
11.72/11.78 c | 20457 | 35068 263517 1035373 | 2147483647 19389 22 | 2.020 % |
11.82/11.83 c | 20603 | 35015 261920 1029244 | 2147483647 19521 22 | 2.031 % |
11.82/11.86 c | 20763 | 35015 261920 1029244 | 2147483647 19681 22 | 2.031 % |
11.82/11.90 c | 20941 | 35015 261920 1029244 | 2147483647 19859 22 | 2.031 % |
11.92/11.99 c | 21134 | 35015 261920 1029244 | 2147483647 20052 22 | 2.031 % |
12.02/12.10 c | 21346 | 35008 261920 1029244 | 2147483647 20261 21 | 2.241 % |
12.12/12.16 c | 21579 | 34998 261920 1029244 | 2147483647 20494 21 | 2.241 % |
12.22/12.22 c | 21837 | 34998 261920 1029244 | 2147483647 20752 21 | 2.241 % |
12.32/12.38 c | 22118 | 34995 261920 1029244 | 2147483647 21032 21 | 2.250 % |
12.42/12.47 c | 22428 | 34990 261920 1029244 | 2147483647 21342 21 | 2.250 % |
12.52/12.57 c | 22768 | 34990 261920 1029244 | 2147483647 21682 21 | 2.250 % |
12.62/12.67 c | 23144 | 34980 261920 1029244 | 2147483647 22058 22 | 2.250 % |
12.82/12.86 c | 23554 | 34968 261920 1029244 | 2147483647 22467 22 | 2.264 % |
12.92/12.93 c | 23655 | 34945 261920 1029244 | 2147483647 22565 22 | 2.406 % |
13.02/13.03 c | 23765 | 34880 258077 1015535 | 2147483647 22610 22 | 2.406 % |
13.02/13.05 c | 23886 | 34880 258077 1015535 | 2147483647 22731 22 | 2.406 % |
13.02/13.08 c | 24019 | 34880 258077 1015535 | 2147483647 22864 22 | 2.406 % |
13.02/13.12 c | 24165 | 34880 258077 1015535 | 2147483647 23010 22 | 2.406 % |
13.12/13.20 c | 24327 | 34880 258077 1015535 | 2147483647 23172 22 | 2.406 % |
13.22/13.31 c | 24504 | 34880 258077 1015535 | 2147483647 23349 22 | 2.406 % |
13.32/13.36 c | 24697 | 34880 258077 1015535 | 2147483647 23542 22 | 2.406 % |
13.32/13.37 c | 24910 | 34880 258077 1015535 | 2147483647 23755 22 | 2.406 % |
13.42/13.47 c | 25144 | 34880 258077 1015535 | 2147483647 23989 22 | 2.406 % |
13.52/13.56 c | 25400 | 34880 258077 1015535 | 2147483647 24245 22 | 2.406 % |
13.62/13.66 c | 25681 | 34880 258077 1015535 | 2147483647 24526 22 | 2.406 % |
13.72/13.75 c | 25990 | 34880 258077 1015535 | 2147483647 24835 22 | 2.406 % |
13.82/13.88 c | 26329 | 34880 258077 1015535 | 2147483647 25174 22 | 2.406 % |
13.82/13.92 c | 26703 | 34880 258077 1015535 | 2147483647 25548 22 | 2.406 % |
13.92/13.94 c | 27112 | 34880 258077 1015535 | 2147483647 25957 22 | 2.406 % |
13.92/14.00 c | 27564 | 34880 258077 1015535 | 2147483647 26409 23 | 2.406 % |
14.02/14.04 c | 27664 | 34856 258077 1015535 | 2147483647 26508 23 | 2.532 % |
14.02/14.10 c | 27776 | 34856 258077 1015535 | 2147483647 26620 23 | 2.532 % |
14.12/14.16 c | 27897 | 34835 257110 1011877 | 2147483647 26682 23 | 2.532 % |
14.12/14.21 c | 28031 | 34835 257110 1011877 | 2147483647 26816 23 | 2.532 % |
14.22/14.26 c | 28182 | 34829 257110 1011877 | 2147483647 26963 23 | 2.555 % |
14.22/14.29 c | 28343 | 34829 257110 1011877 | 2147483647 27124 23 | 2.555 % |
14.32/14.34 c | 28519 | 34829 257110 1011877 | 2147483647 27300 23 | 2.555 % |
14.32/14.40 c | 28713 | 34822 257110 1011877 | 2147483647 27493 23 | 2.574 % |
14.42/14.49 c | 28926 | 34822 257110 1011877 | 2147483647 27706 23 | 2.574 % |
14.42/14.51 c | 29159 | 34822 257110 1011877 | 2147483647 27939 23 | 2.574 % |
14.62/14.66 c | 29416 | 34822 257110 1011877 | 2147483647 28196 23 | 2.574 % |
14.72/14.77 c | 29699 | 34822 257110 1011877 | 2147483647 28479 23 | 2.574 % |
14.82/14.84 c | 30008 | 34822 257110 1011877 | 2147483647 28788 23 | 2.574 % |
14.92/14.94 c | 30349 | 34820 257110 1011877 | 2147483647 29128 23 | 2.585 % |
14.92/15.01 c | 30721 | 34820 257110 1011877 | 2147483647 29500 23 | 2.585 % |
15.02/15.11 c | 31130 | 34820 257110 1011877 | 2147483647 29909 23 | 2.585 % |
15.12/15.21 c | 31579 | 34820 257110 1011877 | 2147483647 30358 23 | 2.585 % |
15.22/15.29 c | 32072 | 34820 257110 1011877 | 2147483647 30851 23 | 2.585 % |
15.32/15.34 c | 32172 | 34818 257110 1011877 | 2147483647 30950 23 | 2.591 % |
15.42/15.42 c | 32282 | 34814 256828 1010895 | 2147483647 31046 23 | 2.591 % |
15.42/15.43 c | 32403 | 34814 256828 1010895 | 2147483647 31167 23 | 2.591 % |
15.42/15.50 c | 32536 | 34814 256828 1010895 | 2147483647 31300 23 | 2.591 % |
15.52/15.59 c | 32688 | 34814 256828 1010895 | 2147483647 31452 23 | 2.591 % |
15.62/15.64 c | 32849 | 34813 256828 1010895 | 2147483647 31612 23 | 2.697 % |
15.62/15.71 c | 33026 | 34811 256828 1010895 | 2147483647 31789 23 | 2.697 % |
15.72/15.79 c | 33220 | 34802 256828 1010895 | 2147483647 31983 23 | 2.697 % |
15.82/15.86 c | 33433 | 34802 256828 1010895 | 2147483647 32196 23 | 2.697 % |
15.92/15.96 c | 33667 | 34802 256828 1010895 | 2147483647 32430 23 | 2.697 % |
16.02/16.04 c | 33926 | 34802 256828 1010895 | 2147483647 32689 23 | 2.697 % |
16.02/16.10 c | 34209 | 34802 256828 1010895 | 2147483647 32972 23 | 2.697 % |
16.12/16.20 c | 34521 | 34802 256828 1010895 | 2147483647 33284 23 | 2.697 % |
16.22/16.29 c | 34860 | 34802 256828 1010895 | 2147483647 33623 23 | 2.697 % |
16.32/16.32 c | 35232 | 34802 256828 1010895 | 2147483647 33995 23 | 2.697 % |
16.32/16.41 c | 35641 | 34802 256828 1010895 | 2147483647 34404 23 | 2.697 % |
16.42/16.49 c | 36090 | 34800 256828 1010895 | 2147483647 34852 23 | 2.706 % |
16.62/16.63 c | 36584 | 34800 256828 1010895 | 2147483647 35346 23 | 2.706 % |
16.72/16.73 c | 37126 | 34772 256828 1010895 | 2147483647 35885 24 | 2.809 % |
16.72/16.80 c | 37226 | 34736 255233 1004770 | 2147483647 35827 24 | 2.809 % |
16.82/16.85 c | 37339 | 34736 255233 1004770 | 2147483647 35940 24 | 2.809 % |
16.82/16.89 c | 37461 | 34736 255233 1004770 | 2147483647 36062 24 | 2.809 % |
16.92/16.95 c | 37596 | 34736 255233 1004770 | 2147483647 36197 24 | 2.809 % |
16.92/17.01 c | 37743 | 34735 255233 1004770 | 2147483647 36343 24 | 2.815 % |
17.02/17.12 c | 37903 | 34735 255233 1004770 | 2147483647 36503 24 | 2.815 % |
17.12/17.17 c | 38079 | 34735 255233 1004770 | 2147483647 36679 24 | 2.815 % |
17.22/17.25 c | 38272 | 34735 255233 1004770 | 2147483647 36872 24 | 2.815 % |
17.22/17.31 c | 38486 | 34735 255233 1004770 | 2147483647 37086 24 | 2.815 % |
17.32/17.37 c | 38721 | 34735 255233 1004770 | 2147483647 37321 24 | 2.815 % |
17.32/17.40 c | 38977 | 34733 255233 1004770 | 2147483647 37576 24 | 2.826 % |
17.42/17.50 c | 39258 | 34733 255233 1004770 | 2147483647 37857 24 | 2.826 % |
17.52/17.58 c | 39567 | 34733 255233 1004770 | 2147483647 38166 24 | 2.826 % |
17.62/17.64 c | 39906 | 34733 255233 1004770 | 2147483647 38505 24 | 2.826 % |
17.62/17.69 c | 40280 | 34733 255233 1004770 | 2147483647 38879 24 | 2.826 % |
17.62/17.71 c | 40689 | 34733 255233 1004770 | 2147483647 39288 24 | 2.826 % |
17.82/17.86 c | 41139 | 34733 255233 1004770 | 2147483647 39738 24 | 2.826 % |
17.92/17.98 c | 41632 | 34733 255233 1004770 | 2147483647 40231 24 | 2.826 % |
18.02/18.08 c | 42176 | 34733 255233 1004770 | 2147483647 40775 24 | 2.826 % |
18.12/18.20 c | 42772 | 34733 255233 1004770 | 2147483647 41371 24 | 2.826 % |
18.22/18.24 c | 42872 | 34733 255233 1004770 | 2147483647 41471 24 | 2.826 % |
18.22/18.26 c | 42983 | 34733 255233 1004770 | 2147483647 41582 24 | 2.826 % |
18.22/18.31 c | 43105 | 34733 255233 1004770 | 2147483647 41704 24 | 2.826 % |
18.32/18.39 c | 43238 | 34730 255156 1004473 | 2147483647 41814 24 | 2.826 % |
18.42/18.45 c | 43388 | 34730 255156 1004473 | 2147483647 41964 24 | 2.826 % |
18.52/18.52 c | 43548 | 34730 255156 1004473 | 2147483647 42124 24 | 2.826 % |
18.52/18.57 c | 43724 | 34730 255156 1004473 | 2147483647 42300 24 | 2.826 % |
18.62/18.66 c | 43917 | 34730 255156 1004473 | 2147483647 42493 24 | 2.826 % |
18.73/18.73 c | 44129 | 34730 255156 1004473 | 2147483647 42705 24 | 2.826 % |
18.73/18.79 c | 44363 | 34730 255156 1004473 | 2147483647 42939 24 | 2.826 % |
18.82/18.86 c | 44627 | 34730 255156 1004473 | 2147483647 43203 24 | 2.826 % |
18.92/18.98 c | 44909 | 34730 255156 1004473 | 2147483647 43485 24 | 2.826 % |
19.02/19.09 c | 45218 | 34730 255156 1004473 | 2147483647 43794 24 | 2.826 % |
19.12/19.20 c | 45557 | 34730 255156 1004473 | 2147483647 44133 24 | 2.826 % |
19.22/19.27 c | 45929 | 34730 255156 1004473 | 2147483647 44505 24 | 2.826 % |
19.32/19.40 c | 46338 | 34730 255156 1004473 | 2147483647 44914 24 | 2.826 % |
19.52/19.57 c | 46787 | 34730 255156 1004473 | 2147483647 45363 24 | 2.826 % |
19.62/19.71 c | 47281 | 34729 255156 1004473 | 2147483647 45856 24 | 2.829 % |
19.83/19.89 c | 47823 | 34729 255156 1004473 | 2147483647 46397 25 | 2.843 % |
19.92/19.99 c | 48420 | 34724 255156 1004473 | 2147483647 46993 24 | 2.851 % |
20.12/20.17 c | 49075 | 34724 255156 1004473 | 2147483647 47648 24 | 2.851 % |
20.22/20.23 c | 49176 | 34718 255020 1003965 | 2147483647 47745 24 | 2.860 % |
20.22/20.26 c | 49288 | 34718 255020 1003965 | 2147483647 47857 24 | 2.860 % |
20.22/20.31 c | 49409 | 34715 255020 1003965 | 2147483647 47977 24 | 2.868 % |
20.32/20.35 c | 49542 | 34715 255020 1003965 | 2147483647 48110 24 | 2.868 % |
20.32/20.39 c | 49689 | 34715 255020 1003965 | 2147483647 48257 24 | 2.868 % |
20.42/20.47 c | 49850 | 34714 255020 1003965 | 2147483647 48417 24 | 2.871 % |
20.52/20.52 c | 50027 | 34714 255020 1003965 | 2147483647 48594 24 | 2.871 % |
20.52/20.57 c | 50220 | 34714 255020 1003965 | 2147483647 48787 24 | 2.871 % |
20.62/20.66 c | 50432 | 34714 255020 1003965 | 2147483647 48999 24 | 2.871 % |
20.62/20.71 c | 50665 | 34714 255020 1003965 | 2147483647 49232 24 | 2.871 % |
20.72/20.76 c | 50921 | 34697 255020 1003965 | 2147483647 49486 24 | 3.075 % |
20.72/20.80 c | 51202 | 34697 255020 1003965 | 2147483647 49767 24 | 3.075 % |
20.82/20.86 c | 51511 | 34695 255020 1003965 | 2147483647 50076 24 | 3.075 % |
20.93/20.94 c | 51852 | 34695 255020 1003965 | 2147483647 50417 25 | 3.075 % |
21.02/21.02 c | 52224 | 34692 255020 1003965 | 2147483647 50788 25 | 3.083 % |
21.12/21.12 c | 52635 | 34692 255020 1003965 | 2147483647 51199 25 | 3.083 % |
21.12/21.21 c | 53085 | 34692 255020 1003965 | 2147483647 51649 25 | 3.083 % |
21.22/21.28 c | 53579 | 34692 255020 1003965 | 2147483647 52143 25 | 3.083 % |
21.32/21.35 c | 54126 | 34692 255020 1003965 | 2147483647 52690 25 | 3.083 % |
21.42/21.44 c | 54722 | 34692 255020 1003965 | 2147483647 53286 25 | 3.083 % |
21.62/21.64 c | 55377 | 34692 255020 1003965 | 2147483647 53941 26 | 3.083 % |
21.72/21.73 c | 56097 | 34692 255020 1003965 | 2147483647 54661 26 | 3.083 % |
21.72/21.78 c | 56198 | 34689 255020 1003965 | 2147483647 54761 26 | 3.092 % |
21.82/21.84 c | 56308 | 34689 255020 1003965 | 2147483647 54871 26 | 3.092 % |
21.82/21.87 c | 56430 | 34689 255020 1003965 | 2147483647 54993 26 | 3.092 % |
21.92/21.95 c | 56563 | 34689 255020 1003965 | 2147483647 55126 26 | 3.092 % |
21.92/22.03 c | 56710 | 34689 255020 1003965 | 2147483647 55273 26 | 3.092 % |
22.03/22.11 c | 56871 | 34689 255020 1003965 | 2147483647 55434 26 | 3.092 % |
22.12/22.19 c | 57048 | 34689 255020 1003965 | 2147483647 55611 26 | 3.092 % |
22.22/22.30 c | 57241 | 34635 253814 999244 | 2147483647 55611 26 | 3.092 % |
22.32/22.35 c | 57454 | 34635 253814 999244 | 2147483647 55824 26 | 3.092 % |
22.42/22.42 c | 57687 | 34635 253814 999244 | 2147483647 56057 26 | 3.092 % |
22.42/22.50 c | 57943 | 34635 253814 999244 | 2147483647 56313 26 | 3.092 % |
22.52/22.60 c | 58224 | 34635 253814 999244 | 2147483647 56594 26 | 3.092 % |
22.62/22.65 c | 58533 | 34635 253814 999244 | 2147483647 56903 26 | 3.092 % |
22.72/22.75 c | 58874 | 34633 253814 999244 | 2147483647 57243 26 | 3.106 % |
22.82/22.88 c | 59248 | 34633 253814 999244 | 2147483647 57617 26 | 3.106 % |
22.92/23.00 c | 59657 | 34633 253814 999244 | 2147483647 58026 26 | 3.106 % |
23.13/23.16 c | 60107 | 34626 253814 999244 | 2147483647 58473 26 | 3.131 % |
23.22/23.28 c | 60601 | 34625 253814 999244 | 2147483647 58967 26 | 3.131 % |
23.42/23.45 c | 61144 | 34625 253814 999244 | 2147483647 59510 26 | 3.131 % |
23.62/23.65 c | 61743 | 34624 253814 999244 | 2147483647 60109 26 | 3.131 % |
23.92/23.92 c | 62398 | 34624 253814 999244 | 2147483647 60764 26 | 3.131 % |
24.02/24.07 c | 63118 | 34624 253814 999244 | 2147483647 61484 26 | 3.131 % |
24.23/24.25 c | 63910 | 34624 253814 999244 | 2147483647 62276 26 | 3.131 % |
24.23/24.28 c | 64010 | 34619 253814 999244 | 2147483647 62374 26 | 3.148 % |
24.32/24.34 c | 64121 | 34619 253814 999244 | 2147483647 62485 26 | 3.148 % |
24.32/24.40 c | 64242 | 34619 253814 999244 | 2147483647 62606 26 | 3.148 % |
24.42/24.50 c | 64375 | 34619 253814 999244 | 2147483647 62739 26 | 3.148 % |
24.52/24.56 c | 64525 | 34615 253642 998597 | 2147483647 62884 26 | 3.148 % |
24.52/24.61 c | 64685 | 34615 253642 998597 | 2147483647 63044 26 | 3.148 % |
24.62/24.66 c | 64861 | 34615 253642 998597 | 2147483647 63220 26 | 3.148 % |
24.62/24.67 c | 65054 | 34612 253642 998597 | 2147483647 63411 26 | 3.165 % |
24.72/24.75 c | 65267 | 34612 253642 998597 | 2147483647 63624 26 | 3.165 % |
24.72/24.79 c | 65501 | 34609 253642 998597 | 2147483647 63857 26 | 3.173 % |
24.82/24.91 c | 65757 | 34607 253642 998597 | 2147483647 64112 26 | 3.179 % |
24.92/24.99 c | 66038 | 34607 253642 998597 | 2147483647 64393 26 | 3.179 % |
25.02/25.07 c | 66348 | 34601 253642 998597 | 2147483647 64701 26 | 3.198 % |
25.12/25.20 c | 66689 | 34601 253642 998597 | 2147483647 65042 26 | 3.198 % |
25.33/25.34 c | 67062 | 34600 253642 998597 | 2147483647 65414 26 | 3.201 % |
25.42/25.45 c | 67471 | 34600 253642 998597 | 2147483647 65823 26 | 3.201 % |
25.52/25.57 c | 67922 | 34600 253642 998597 | 2147483647 66274 26 | 3.201 % |
25.62/25.66 c | 68415 | 34600 253642 998597 | 2147483647 66767 26 | 3.201 % |
25.82/25.90 c | 68958 | 34600 253642 998597 | 2147483647 67310 26 | 3.201 % |
26.02/26.03 c | 69555 | 34600 253642 998597 | 2147483647 67907 26 | 3.201 % |
26.12/26.15 c | 70210 | 34600 253642 998597 | 2147483647 68562 26 | 3.201 % |
26.22/26.24 c | 70933 | 34600 253642 998597 | 2147483647 69285 27 | 3.201 % |
26.43/26.47 c | 71725 | 34600 253642 998597 | 2147483647 70077 27 | 3.201 % |
26.52/26.59 c | 72599 | 34600 253642 998597 | 2147483647 70951 27 | 3.201 % |
26.62/26.63 c | 72701 | 34600 253642 998597 | 2147483647 71053 27 | 3.201 % |
26.62/26.68 c | 72812 | 34600 253642 998597 | 2147483647 71164 27 | 3.201 % |
26.62/26.69 c | 72933 | 34600 253642 998597 | 2147483647 71285 27 | 3.201 % |
26.62/26.71 c | 73067 | 34600 253642 998597 | 2147483647 71419 27 | 3.201 % |
26.72/26.76 c | 73213 | 34600 253642 998597 | 2147483647 71565 27 | 3.201 % |
26.72/26.81 c | 73374 | 34600 253642 998597 | 2147483647 71726 27 | 3.201 % |
26.82/26.88 c | 73550 | 34600 253642 998597 | 2147483647 71902 27 | 3.201 % |
26.92/27.00 c | 73743 | 34600 253642 998597 | 2147483647 72095 27 | 3.201 % |
27.02/27.08 c | 73963 | 34600 253642 998597 | 2147483647 72315 27 | 3.201 % |
27.02/27.12 c | 74196 | 34600 253642 998597 | 2147483647 72548 27 | 3.201 % |
27.12/27.20 c | 74452 | 34593 253363 997614 | 2147483647 72797 27 | 3.209 % |
27.22/27.30 c | 74734 | 34593 253363 997614 | 2147483647 73079 27 | 3.209 % |
27.32/27.39 c | 75043 | 34593 253363 997614 | 2147483647 73388 27 | 3.209 % |
27.42/27.45 c | 75382 | 34593 253363 997614 | 2147483647 73727 27 | 3.209 % |
27.53/27.56 c | 75754 | 34593 253363 997614 | 2147483647 74099 27 | 3.209 % |
27.62/27.65 c | 76163 | 34593 253363 997614 | 2147483647 74508 27 | 3.209 % |
27.82/27.82 c | 76615 | 34593 253363 997614 | 2147483647 74960 27 | 3.209 % |
27.92/27.98 c | 77108 | 34593 253363 997614 | 2147483647 75453 27 | 3.209 % |
28.02/28.11 c | 77650 | 34593 253363 997614 | 2147483647 75995 27 | 3.209 % |
28.22/28.27 c | 78246 | 34593 253363 997614 | 2147483647 76591 27 | 3.209 % |
28.52/28.53 c | 78901 | 34593 253363 997614 | 2147483647 77246 27 | 3.209 % |
28.72/28.81 c | 79621 | 34593 253363 997614 | 2147483647 77966 28 | 3.209 % |
28.92/29.00 c | 80413 | 34593 253363 997614 | 2147483647 78758 28 | 3.209 % |
29.12/29.12 c | 81285 | 34593 253363 997614 | 2147483647 79630 28 | 3.209 % |
29.32/29.36 c | 82244 | 34593 253363 997614 | 2147483647 80589 28 | 3.209 % |
29.42/29.42 c | 82346 | 34592 253363 997614 | 2147483647 80690 28 | 3.215 % |
29.42/29.44 c | 82458 | 34587 253363 997614 | 2147483647 80800 28 | 3.243 % |
29.42/29.47 c | 82582 | 34587 253363 997614 | 2147483647 80924 28 | 3.243 % |
29.52/29.53 c | 82715 | 34587 253363 997614 | 2147483647 81057 28 | 3.243 % |
29.52/29.55 c | 82861 | 34587 253363 997614 | 2147483647 81203 28 | 3.243 % |
29.52/29.59 c | 83021 | 34587 253363 997614 | 2147483647 81363 28 | 3.243 % |
29.62/29.70 c | 83198 | 34587 253363 997614 | 2147483647 81540 28 | 3.243 % |
29.73/29.76 c | 83397 | 34587 253363 997614 | 2147483647 81739 28 | 3.243 % |
29.82/29.82 c | 83610 | 34587 253363 997614 | 2147483647 81952 28 | 3.243 % |
29.82/29.89 c | 83844 | 34587 253363 997614 | 2147483647 82186 28 | 3.243 % |
30.02/30.05 c | 84100 | 34587 253363 997614 | 2147483647 82442 28 | 3.243 % |
30.12/30.13 c | 84386 | 34587 253363 997614 | 2147483647 82728 28 | 3.243 % |
30.22/30.23 c | 84697 | 34587 253363 997614 | 2147483647 83039 28 | 3.243 % |
30.32/30.34 c | 85039 | 34581 253048 996494 | 2147483647 83340 28 | 3.243 % |
30.42/30.45 c | 85413 | 34581 253048 996494 | 2147483647 83714 29 | 3.243 % |
30.42/30.48 c | 85824 | 34581 253048 996494 | 2147483647 84125 29 | 3.243 % |
30.52/30.58 c | 86273 | 34581 253048 996494 | 2147483647 84574 29 | 3.243 % |
30.62/30.65 c | 86767 | 34581 253048 996494 | 2147483647 85068 29 | 3.243 % |
30.92/30.93 c | 87309 | 34581 253048 996494 | 2147483647 85610 29 | 3.243 % |
31.12/31.18 c | 87906 | 34581 253048 996494 | 2147483647 86207 29 | 3.243 % |
31.32/31.39 c | 88561 | 34581 253048 996494 | 2147483647 86862 29 | 3.243 % |
31.62/31.68 c | 89282 | 34574 253048 996494 | 2147483647 87581 29 | 3.262 % |
31.82/31.84 c | 90075 | 34574 253048 996494 | 2147483647 88374 29 | 3.262 % |
32.02/32.02 c | 90946 | 34571 253048 996494 | 2147483647 89243 29 | 3.279 % |
32.12/32.19 c | 91905 | 34571 253048 996494 | 2147483647 90202 29 | 3.279 % |
32.62/32.62 c | 92959 | 34571 253048 996494 | 2147483647 91256 29 | 3.279 % |
32.62/32.66 c | 93061 | 34571 253048 996494 | 2147483647 91358 29 | 3.279 % |
32.62/32.71 c | 93172 | 34571 253048 996494 | 2147483647 91469 29 | 3.279 % |
32.72/32.74 c | 93294 | 34571 253048 996494 | 2147483647 91591 29 | 3.279 % |
32.72/32.78 c | 93428 | 34571 253048 996494 | 2147483647 91725 29 | 3.279 % |
32.82/32.84 c | 93575 | 34571 253048 996494 | 2147483647 91872 29 | 3.279 % |
32.82/32.89 c | 93735 | 34571 253048 996494 | 2147483647 92032 29 | 3.279 % |
32.92/32.93 c | 93914 | 34571 253048 996494 | 2147483647 92211 29 | 3.279 % |
32.92/33.03 c | 94107 | 34571 253048 996494 | 2147483647 92404 29 | 3.279 % |
33.12/33.12 c | 94319 | 34571 253048 996494 | 2147483647 92616 29 | 3.279 % |
33.12/33.19 c | 94555 | 34571 253048 996494 | 2147483647 92852 29 | 3.279 % |
33.22/33.28 c | 94815 | 34571 253048 996494 | 2147483647 93112 29 | 3.279 % |
33.32/33.41 c | 95096 | 34571 253048 996494 | 2147483647 93393 29 | 3.279 % |
33.42/33.51 c | 95405 | 34571 253048 996494 | 2147483647 93702 29 | 3.279 % |
33.52/33.60 c | 95752 | 34571 253048 996494 | 2147483647 94049 29 | 3.279 % |
33.62/33.68 c | 96124 | 34571 253048 996494 | 2147483647 94421 30 | 3.279 % |
33.72/33.79 c | 96533 | 34571 253048 996494 | 2147483647 94830 30 | 3.279 % |
33.92/33.92 c | 96990 | 34571 253048 996494 | 2147483647 95287 30 | 3.279 % |
34.13/34.15 c | 97484 | 34571 253048 996494 | 2147483647 95781 30 | 3.279 % |
34.32/34.41 c | 98026 | 34568 252868 995875 | 2147483647 96276 30 | 3.279 % |
34.62/34.70 c | 98622 | 34567 252868 995875 | 2147483647 96871 30 | 3.282 % |
34.72/34.80 c | 99277 | 34567 252868 995875 | 2147483647 97526 30 | 3.282 % |
34.82/34.90 c | 99998 | 34567 252868 995875 | 2147483647 98247 30 | 3.282 % |
35.02/35.07 c | 100792 | 34567 252868 995875 | 2147483647 99041 30 | 3.282 % |
35.23/35.25 c | 101663 | 34567 252868 995875 | 2147483647 99912 30 | 3.282 % |
35.42/35.46 c | 102621 | 34567 252868 995875 | 2147483647 100870 30 | 3.282 % |
35.52/35.60 c | 103676 | 34567 252868 995875 | 2147483647 101925 30 | 3.282 % |
35.82/35.84 c | 104834 | 34567 252868 995875 | 2147483647 103083 31 | 3.282 % |
35.82/35.86 c | 104934 | 34567 252868 995875 | 2147483647 103183 31 | 3.282 % |
35.82/35.91 c | 105046 | 34567 252868 995875 | 2147483647 103295 31 | 3.282 % |
35.92/35.96 c | 105168 | 34567 252868 995875 | 2147483647 103417 31 | 3.282 % |
35.92/36.01 c | 105301 | 34567 252868 995875 | 2147483647 103550 31 | 3.282 % |
36.02/36.10 c | 105447 | 34567 252868 995875 | 2147483647 103696 31 | 3.282 % |
36.12/36.18 c | 105607 | 34567 252868 995875 | 2147483647 103856 31 | 3.282 % |
36.22/36.26 c | 105783 | 34567 252868 995875 | 2147483647 104032 31 | 3.282 % |
36.33/36.36 c | 105976 | 34567 252868 995875 | 2147483647 104225 31 | 3.282 % |
36.42/36.44 c | 106191 | 34567 252868 995875 | 2147483647 104440 31 | 3.282 % |
36.52/36.54 c | 106424 | 34567 252868 995875 | 2147483647 104673 31 | 3.282 % |
36.62/36.69 c | 106680 | 34567 252868 995875 | 2147483647 104929 31 | 3.282 % |
36.72/36.81 c | 106962 | 34567 252868 995875 | 2147483647 105211 31 | 3.282 % |
36.92/36.96 c | 107275 | 34567 252868 995875 | 2147483647 105524 31 | 3.282 % |
37.02/37.10 c | 107616 | 34567 252868 995875 | 2147483647 105865 31 | 3.282 % |
37.12/37.18 c | 107989 | 34567 252868 995875 | 2147483647 106238 31 | 3.282 % |
37.22/37.30 c | 108398 | 34567 252868 995875 | 2147483647 106647 31 | 3.282 % |
37.43/37.43 c | 108847 | 34567 252868 995875 | 2147483647 107096 31 | 3.282 % |
37.52/37.52 c | 109341 | 34567 252868 995875 | 2147483647 107590 31 | 3.282 % |
37.52/37.60 c | 109884 | 34567 252868 995875 | 2147483647 108133 31 | 3.282 % |
37.72/37.72 c | 110480 | 34567 252868 995875 | 2147483647 108729 31 | 3.282 % |
37.92/37.99 c | 111136 | 34553 252868 995875 | 2147483647 109383 31 | 3.369 % |
38.02/38.08 c | 111856 | 34553 252868 995875 | 2147483647 110103 31 | 3.369 % |
38.22/38.24 c | 112648 | 34553 252868 995875 | 2147483647 110895 31 | 3.369 % |
38.32/38.39 c | 113525 | 34553 252868 995875 | 2147483647 111772 31 | 3.369 % |
38.62/38.65 c | 114484 | 34553 252868 995875 | 2147483647 112731 32 | 3.369 % |
38.82/38.90 c | 115542 | 34536 252395 994035 | 2147483647 113749 32 | 3.369 % |
39.12/39.15 c | 116700 | 34536 252395 994035 | 2147483647 114907 32 | 3.369 % |
39.42/39.46 c | 117977 | 34536 252395 994035 | 2147483647 116184 32 | 3.369 % |
39.42/39.50 c | 118078 | 34536 252395 994035 | 2147483647 116285 32 | 3.369 % |
39.52/39.59 c | 118189 | 34536 252395 994035 | 2147483647 116396 32 | 3.369 % |
39.63/39.68 c | 118310 | 34536 252395 994035 | 2147483647 116517 32 | 3.369 % |
39.72/39.79 c | 118443 | 34533 252395 994035 | 2147483647 116649 32 | 3.377 % |
39.82/39.85 c | 118589 | 34533 252395 994035 | 2147483647 116795 32 | 3.377 % |
39.92/39.94 c | 118749 | 34533 252395 994035 | 2147483647 116955 32 | 3.377 % |
39.92/40.01 c | 118925 | 34533 252395 994035 | 2147483647 117131 32 | 3.377 % |
40.02/40.10 c | 119120 | 34533 252395 994035 | 2147483647 117326 32 | 3.377 % |
40.12/40.19 c | 119332 | 34533 252395 994035 | 2147483647 117538 32 | 3.377 % |
40.22/40.26 c | 119565 | 34533 252395 994035 | 2147483647 117771 32 | 3.377 % |
40.42/40.44 c | 119822 | 34533 252395 994035 | 2147483647 118028 32 | 3.377 % |
40.52/40.54 c | 120103 | 34533 252395 994035 | 2147483647 118309 32 | 3.377 % |
40.52/40.61 c | 120413 | 34533 252395 994035 | 2147483647 118619 32 | 3.377 % |
40.62/40.72 c | 120752 | 34533 252395 994035 | 2147483647 118958 32 | 3.377 % |
40.92/40.96 c | 121124 | 34533 252395 994035 | 2147483647 119330 32 | 3.377 % |
41.12/41.14 c | 121534 | 34533 252395 994035 | 2147483647 119740 32 | 3.377 % |
41.22/41.24 c | 121989 | 34533 252395 994035 | 2147483647 120195 32 | 3.377 % |
41.42/41.51 c | 122483 | 34529 252395 994035 | 2147483647 120688 32 | 3.481 % |
41.83/41.83 c | 123026 | 34514 252395 994035 | 2147483647 121231 32 | 3.481 % |
41.92/41.92 c | 123622 | 34513 252395 994035 | 2147483647 121826 32 | 3.576 % |
42.02/42.11 c | 124277 | 34513 252395 994035 | 2147483647 122481 32 | 3.576 % |
42.22/42.23 c | 124997 | 34513 252395 994035 | 2147483647 123201 32 | 3.576 % |
42.32/42.39 c | 125798 | 34513 252395 994035 | 2147483647 124002 32 | 3.576 % |
42.62/42.64 c | 126669 | 34513 252395 994035 | 2147483647 124873 32 | 3.576 % |
42.82/42.83 c | 127631 | 34513 252395 994035 | 2147483647 125835 32 | 3.576 % |
42.93/42.98 c | 128684 | 34513 252395 994035 | 2147483647 126888 32 | 3.576 % |
43.22/43.24 c | 129846 | 34513 252395 994035 | 2147483647 128050 32 | 3.576 % |
43.42/43.47 c | 131119 | 34513 252395 994035 | 2147483647 129323 32 | 3.576 % |
43.82/43.89 c | 132519 | 34503 252395 994035 | 2147483647 130719 32 | 3.612 % |
43.92/43.98 c | 132622 | 34503 252395 994035 | 2147483647 130822 32 | 3.612 % |
43.92/44.01 c | 132733 | 34503 252395 994035 | 2147483647 130933 32 | 3.612 % |
44.03/44.08 c | 132856 | 34503 252395 994035 | 2147483647 131056 32 | 3.612 % |
44.12/44.14 c | 132989 | 34503 252395 994035 | 2147483647 131189 32 | 3.612 % |
44.12/44.16 c | 133137 | 34503 252395 994035 | 2147483647 131337 32 | 3.612 % |
44.22/44.23 c | 133297 | 34503 252395 994035 | 2147483647 131497 32 | 3.612 % |
44.22/44.29 c | 133474 | 34503 252395 994035 | 2147483647 131674 33 | 3.612 % |
44.42/44.43 c | 133668 | 34503 252395 994035 | 2147483647 131868 32 | 3.612 % |
44.52/44.57 c | 133883 | 34502 252395 994035 | 2147483647 132083 32 | 3.612 % |
44.62/44.65 c | 134117 | 34502 252395 994035 | 2147483647 132317 33 | 3.612 % |
44.72/44.77 c | 134374 | 34449 250192 985821 | 2147483647 132485 33 | 3.612 % |
44.82/44.91 c | 134657 | 34449 250192 985821 | 2147483647 132768 33 | 3.612 % |
44.92/44.97 c | 134966 | 34449 250192 985821 | 2147483647 133077 33 | 3.612 % |
45.02/45.11 c | 135305 | 34449 250192 985821 | 2147483647 133416 33 | 3.612 % |
45.22/45.23 c | 135680 | 34449 250192 985821 | 2147483647 133791 33 | 3.612 % |
45.32/45.34 c | 136089 | 34449 250192 985821 | 2147483647 134200 33 | 3.612 % |
45.52/45.61 c | 136538 | 34449 250192 985821 | 2147483647 134649 32 | 3.612 % |
45.72/45.74 c | 137033 | 34449 250192 985821 | 2147483647 135144 32 | 3.612 % |
45.92/45.98 c | 137575 | 34449 250192 985821 | 2147483647 135686 32 | 3.612 % |
46.12/46.21 c | 138175 | 34449 250192 985821 | 2147483647 136286 32 | 3.612 % |
46.32/46.35 c | 138830 | 34449 250192 985821 | 2147483647 136941 32 | 3.612 % |
46.52/46.53 c | 139552 | 34448 250192 985821 | 2147483647 137662 33 | 3.618 % |
46.62/46.71 c | 140347 | 34448 250192 985821 | 2147483647 138457 33 | 3.618 % |
46.92/46.95 c | 141218 | 34442 250192 985821 | 2147483647 139326 33 | 3.635 % |
47.22/47.29 c | 142176 | 34442 250192 985821 | 2147483647 140284 33 | 3.635 % |
47.52/47.53 c | 143229 | 34442 250192 985821 | 2147483647 141337 33 | 3.635 % |
47.72/47.77 c | 144389 | 34442 250192 985821 | 2147483647 142497 33 | 3.635 % |
48.02/48.04 c | 145664 | 34442 250192 985821 | 2147483647 143772 33 | 3.635 % |
48.32/48.38 c | 147065 | 34442 250192 985821 | 2147483647 145173 33 | 3.635 % |
49.22/49.26 c | 148607 | 34442 250192 985821 | 2147483647 146715 33 | 3.635 % |
49.32/49.33 c | 148707 | 34442 250192 985821 | 2147483647 146815 33 | 3.635 % |
49.32/49.37 c | 148818 | 34442 250192 985821 | 2147483647 146926 33 | 3.635 % |
49.42/49.42 c | 148940 | 34442 250192 985821 | 2147483647 147048 33 | 3.635 % |
49.42/49.52 c | 149076 | 34442 250192 985821 | 2147483647 147184 33 | 3.635 % |
49.62/49.64 c | 149223 | 34442 250192 985821 | 2147483647 147331 33 | 3.635 % |
49.62/49.69 c | 149383 | 34442 250192 985821 | 2147483647 147491 33 | 3.635 % |
49.72/49.77 c | 149559 | 34442 250192 985821 | 2147483647 147667 33 | 3.635 % |
49.82/49.84 c | 149752 | 34442 250192 985821 | 2147483647 147860 33 | 3.635 % |
49.92/49.94 c | 149964 | 34442 250192 985821 | 2147483647 148072 33 | 3.635 % |
50.02/50.02 c | 150198 | 34442 250192 985821 | 2147483647 148306 33 | 3.635 % |
50.02/50.10 c | 150454 | 34442 250192 985821 | 2147483647 148562 33 | 3.635 % |
50.12/50.18 c | 150738 | 34442 250192 985821 | 2147483647 148846 33 | 3.635 % |
50.22/50.27 c | 151049 | 34442 250192 985821 | 2147483647 149157 33 | 3.635 % |
50.32/50.36 c | 151388 | 34442 250192 985821 | 2147483647 149495 33 | 3.643 % |
50.42/50.45 c | 151760 | 34439 250192 985821 | 2147483647 149867 33 | 3.643 % |
50.52/50.57 c | 152171 | 34439 250192 985821 | 2147483647 150278 33 | 3.643 % |
50.72/50.73 c | 152621 | 34439 250192 985821 | 2147483647 150728 33 | 3.643 % |
50.82/50.87 c | 153114 | 34439 250192 985821 | 2147483647 151221 34 | 3.643 % |
51.02/51.03 c | 153656 | 34439 250192 985821 | 2147483647 151763 34 | 3.643 % |
51.22/51.25 c | 154253 | 34439 250192 985821 | 2147483647 152360 34 | 3.643 % |
51.42/51.48 c | 154909 | 34436 250192 985821 | 2147483647 153015 34 | 3.651 % |
51.82/51.84 c | 155631 | 34436 250192 985821 | 2147483647 153737 34 | 3.651 % |
52.02/52.07 c | 156423 | 34436 250192 985821 | 2147483647 154529 34 | 3.651 % |
52.23/52.31 c | 157295 | 34436 250192 985821 | 2147483647 155401 34 | 3.651 % |
52.53/52.54 c | 158254 | 34436 250192 985821 | 2147483647 156360 34 | 3.651 % |
53.13/53.21 c | 159307 | 34436 250192 985821 | 2147483647 157413 34 | 3.651 % |
53.63/53.65 c | 160467 | 34435 250055 985308 | 2147483647 158554 34 | 3.651 % |
53.93/54.00 c | 161740 | 34435 250055 985308 | 2147483647 159827 34 | 3.651 % |
54.43/54.44 c | 163142 | 34435 250055 985308 | 2147483647 161229 34 | 3.651 % |
55.03/55.09 c | 164682 | 34435 250055 985308 | 2147483647 162769 34 | 3.651 % |
55.33/55.40 c | 166377 | 34435 250055 985308 | 2147483647 164464 34 | 3.651 % |
55.43/55.46 c | 166477 | 34435 250055 985308 | 2147483647 164564 34 | 3.651 % |
55.43/55.48 c | 166587 | 34435 250055 985308 | 2147483647 164674 34 | 3.651 % |
55.53/55.57 c | 166708 | 34435 250055 985308 | 2147483647 164795 34 | 3.651 % |
55.63/55.64 c | 166842 | 34435 250055 985308 | 2147483647 164929 34 | 3.651 % |
55.63/55.72 c | 166988 | 34435 250055 985308 | 2147483647 165075 34 | 3.651 % |
55.73/55.81 c | 167148 | 34435 250055 985308 | 2147483647 165235 34 | 3.651 % |
55.83/55.89 c | 167324 | 34435 250055 985308 | 2147483647 165411 34 | 3.651 % |
55.93/55.95 c | 167518 | 34435 250055 985308 | 2147483647 165605 34 | 3.651 % |
56.03/56.04 c | 167730 | 34435 250055 985308 | 2147483647 165817 34 | 3.651 % |
56.13/56.14 c | 167964 | 34435 250055 985308 | 2147483647 166051 34 | 3.651 % |
56.23/56.30 c | 168220 | 34435 250055 985308 | 2147483647 166307 34 | 3.651 % |
56.43/56.48 c | 168501 | 34435 250055 985308 | 2147483647 166588 34 | 3.651 % |
56.63/56.69 c | 168810 | 34435 250055 985308 | 2147483647 166897 34 | 3.651 % |
56.83/56.91 c | 169149 | 34435 250055 985308 | 2147483647 167236 34 | 3.651 % |
57.03/57.10 c | 169521 | 34435 250055 985308 | 2147483647 167608 34 | 3.651 % |
57.13/57.18 c | 169930 | 34435 250055 985308 | 2147483647 168017 34 | 3.651 % |
57.33/57.35 c | 170380 | 34435 250055 985308 | 2147483647 168467 34 | 3.651 % |
57.43/57.47 c | 170873 | 34435 250055 985308 | 2147483647 168960 34 | 3.651 % |
57.63/57.70 c | 171425 | 34435 250055 985308 | 2147483647 169512 34 | 3.651 % |
57.83/57.89 c | 172022 | 34435 250055 985308 | 2147483647 170109 34 | 3.651 % |
58.13/58.15 c | 172678 | 34435 250055 985308 | 2147483647 170765 34 | 3.651 % |
58.33/58.36 c | 173399 | 34435 250055 985308 | 2147483647 171486 34 | 3.651 % |
58.53/58.59 c | 174191 | 34435 250055 985308 | 2147483647 172278 35 | 3.651 % |
58.83/58.88 c | 175063 | 34435 250055 985308 | 2147483647 173150 35 | 3.651 % |
59.12/59.15 c | 176022 | 34435 250055 985308 | 2147483647 174109 35 | 3.651 % |
59.42/59.48 c | 177077 | 34435 250055 985308 | 2147483647 175164 35 | 3.651 % |
59.72/59.78 c | 178236 | 34435 250055 985308 | 2147483647 176323 35 | 3.651 % |
60.12/60.15 c | 179510 | 34435 250055 985308 | 2147483647 177597 35 | 3.651 % |
60.52/60.58 c | 180917 | 34435 250055 985308 | 2147483647 179004 35 | 3.651 % |
61.42/61.44 c | 182458 | 34435 250055 985308 | 2147483647 180545 35 | 3.651 % |
61.82/61.90 c | 184152 | 34435 250055 985308 | 2147483647 182239 35 | 3.651 % |
62.42/62.42 c | 186015 | 34435 250055 985308 | 2147483647 184102 35 | 3.651 % |
62.42/62.50 c | 186115 | 34435 250055 985308 | 2147483647 184202 35 | 3.651 % |
62.52/62.59 c | 186225 | 34435 250055 985308 | 2147483647 184312 35 | 3.651 % |
62.62/62.62 c | 186346 | 34435 250055 985308 | 2147483647 184433 35 | 3.651 % |
62.62/62.70 c | 186479 | 34435 250055 985308 | 2147483647 184566 35 | 3.651 % |
62.72/62.74 c | 186629 | 34435 250055 985308 | 2147483647 184716 35 | 3.651 % |
62.82/62.81 c | 186789 | 34435 250055 985308 | 2147483647 184876 35 | 3.651 % |
62.82/62.89 c | 186966 | 34435 250055 985308 | 2147483647 185053 35 | 3.651 % |
63.02/63.05 c | 187160 | 34435 250055 985308 | 2147483647 185247 35 | 3.651 % |
63.12/63.13 c | 187374 | 34435 250055 985308 | 2147483647 185461 35 | 3.651 % |
63.22/63.22 c | 187607 | 34435 250055 985308 | 2147483647 185694 35 | 3.651 % |
63.22/63.27 c | 187865 | 34435 250055 985308 | 2147483647 185952 35 | 3.651 % |
63.42/63.43 c | 188150 | 34435 250055 985308 | 2147483647 186237 35 | 3.651 % |
63.42/63.48 c | 188463 | 34435 250055 985308 | 2147483647 186550 35 | 3.651 % |
63.52/63.58 c | 188802 | 34435 250055 985308 | 2147483647 186889 35 | 3.651 % |
63.62/63.71 c | 189175 | 34435 250055 985308 | 2147483647 187262 35 | 3.651 % |
63.82/63.87 c | 189584 | 34435 250055 985308 | 2147483647 187671 35 | 3.651 % |
64.02/64.11 c | 190033 | 34435 250055 985308 | 2147483647 188120 35 | 3.651 % |
64.22/64.30 c | 190528 | 34435 250055 985308 | 2147483647 188615 35 | 3.651 % |
64.52/64.61 c | 191073 | 34435 250055 985308 | 2147483647 189160 35 | 3.651 % |
64.82/64.88 c | 191669 | 34435 250055 985308 | 2147483647 189756 35 | 3.651 % |
65.02/65.08 c | 192325 | 34435 250055 985308 | 2147483647 190412 35 | 3.651 % |
65.32/65.35 c | 193047 | 34435 250055 985308 | 2147483647 191134 35 | 3.651 % |
65.82/65.83 c | 193839 | 34435 250055 985308 | 2147483647 191926 35 | 3.651 % |
66.12/66.16 c | 194711 | 34435 250055 985308 | 2147483647 192798 35 | 3.651 % |
66.42/66.49 c | 195669 | 34435 250055 985308 | 2147483647 193756 35 | 3.651 % |
66.72/66.78 c | 196724 | 34435 250055 985308 | 2147483647 194811 35 | 3.651 % |
67.22/67.25 c | 197884 | 34435 250055 985308 | 2147483647 195971 35 | 3.651 % |
67.52/67.58 c | 199158 | 34435 250055 985308 | 2147483647 197245 35 | 3.651 % |
67.92/67.96 c | 200558 | 34435 250055 985308 | 2147483647 198645 36 | 3.651 % |
68.52/68.53 c | 202098 | 34435 250055 985308 | 2147483647 200185 36 | 3.651 % |
69.22/69.26 c | 203793 | 34435 250055 985308 | 2147483647 201880 36 | 3.651 % |
69.52/69.57 c | 205659 | 34435 250055 985308 | 2147483647 203746 35 | 3.651 % |
70.02/70.09 c | 207708 | 34435 250055 985308 | 2147483647 205795 35 | 3.651 % |
70.12/70.14 c | 207808 | 34435 250055 985308 | 2147483647 205895 35 | 3.651 % |
70.12/70.21 c | 207918 | 34435 250055 985308 | 2147483647 206005 35 | 3.651 % |
70.22/70.27 c | 208039 | 34435 250055 985308 | 2147483647 206126 35 | 3.651 % |
70.32/70.34 c | 208172 | 34435 250055 985308 | 2147483647 206259 35 | 3.651 % |
70.42/70.47 c | 208319 | 34435 250055 985308 | 2147483647 206406 35 | 3.651 % |
70.52/70.55 c | 208479 | 34435 250055 985308 | 2147483647 206566 35 | 3.651 % |
70.62/70.69 c | 208656 | 34435 250055 985308 | 2147483647 206743 36 | 3.651 % |
70.72/70.75 c | 208849 | 34435 250055 985308 | 2147483647 206936 36 | 3.651 % |
70.92/70.93 c | 209061 | 34435 250055 985308 | 2147483647 207148 36 | 3.651 % |
71.12/71.20 c | 209294 | 34433 250046 985247 | 2147483647 207378 36 | 3.657 % |
71.32/71.38 c | 209553 | 34433 250046 985247 | 2147483647 207637 36 | 3.657 % |
71.52/71.56 c | 209834 | 34433 250046 985247 | 2147483647 207918 36 | 3.657 % |
71.62/71.66 c | 210143 | 34433 250046 985247 | 2147483647 208227 36 | 3.657 % |
71.92/71.97 c | 210482 | 34433 250046 985247 | 2147483647 208566 36 | 3.657 % |
72.12/72.15 c | 210854 | 34433 250046 985247 | 2147483647 208938 36 | 3.657 % |
72.22/72.26 c | 211263 | 34433 250046 985247 | 2147483647 209347 36 | 3.657 % |
72.52/72.54 c | 211712 | 34433 250046 985247 | 2147483647 209796 36 | 3.657 % |
72.82/72.90 c | 212205 | 34433 250046 985247 | 2147483647 210289 36 | 3.657 % |
73.12/73.18 c | 212747 | 34433 250046 985247 | 2147483647 210831 36 | 3.657 % |
73.42/73.50 c | 213343 | 34433 250046 985247 | 2147483647 211427 36 | 3.657 % |
73.82/73.85 c | 214000 | 34433 250046 985247 | 2147483647 212084 36 | 3.657 % |
74.02/74.08 c | 214721 | 34433 250046 985247 | 2147483647 212805 36 | 3.657 % |
74.22/74.27 c | 215514 | 34433 250046 985247 | 2147483647 213598 36 | 3.657 % |
74.52/74.54 c | 216393 | 34433 250046 985247 | 2147483647 214477 36 | 3.657 % |
74.82/74.87 c | 217357 | 34433 250046 985247 | 2147483647 215441 36 | 3.657 % |
75.12/75.19 c | 218410 | 34433 250046 985247 | 2147483647 216494 36 | 3.657 % |
75.82/75.83 c | 219568 | 34433 250046 985247 | 2147483647 217652 36 | 3.657 % |
76.32/76.39 c | 220842 | 34427 250046 985247 | 2147483647 218925 36 | 3.674 % |
76.92/76.93 c | 222242 | 34427 250046 985247 | 2147483647 220325 36 | 3.674 % |
77.22/77.25 c | 223782 | 34427 250046 985247 | 2147483647 221865 36 | 3.674 % |
78.22/78.25 c | 225477 | 34427 250046 985247 | 2147483647 223560 36 | 3.674 % |
78.82/78.86 c | 227340 | 34427 250046 985247 | 2147483647 225423 36 | 3.674 % |
79.42/79.41 c | 229389 | 34427 250046 985247 | 2147483647 227472 36 | 3.674 % |
79.92/80.01 c | 231647 | 34427 250046 985247 | 228084 229730 36 | 3.674 % |
80.42/80.48 c | 231749 | 34427 250046 985247 | 228084 187456 35 | 3.674 % |
80.52/80.53 c | 231860 | 34427 250046 985247 | 228084 187567 35 | 3.674 % |
80.52/80.60 c | 231982 | 34427 250046 985247 | 228084 187689 35 | 3.674 % |
80.62/80.69 c | 232115 | 34427 250046 985247 | 228084 187822 35 | 3.674 % |
80.72/80.75 c | 232262 | 34427 250046 985247 | 228084 187969 35 | 3.674 % |
80.82/80.85 c | 232423 | 34427 250046 985247 | 228084 188130 35 | 3.674 % |
80.92/80.93 c | 232602 | 34427 250046 985247 | 228084 188309 35 | 3.674 % |
80.92/81.01 c | 232796 | 34427 250046 985247 | 228084 188503 35 | 3.674 % |
81.12/81.13 c | 233009 | 34427 250046 985247 | 228084 188716 35 | 3.674 % |
81.12/81.20 c | 233244 | 34427 250046 985247 | 228084 188951 35 | 3.674 % |
81.22/81.31 c | 233500 | 34427 250046 985247 | 228084 189207 35 | 3.674 % |
81.52/81.55 c | 233781 | 34427 250046 985247 | 228084 189488 35 | 3.674 % |
81.62/81.65 c | 234096 | 34427 250046 985247 | 228084 189803 35 | 3.674 % |
81.92/81.97 c | 234435 | 34427 250046 985247 | 228084 190142 35 | 3.674 % |
82.02/82.10 c | 234807 | 34427 250046 985247 | 228084 190514 35 | 3.674 % |
82.32/82.31 c | 235216 | 34427 250046 985247 | 228084 190923 35 | 3.674 % |
82.42/82.47 c | 235665 | 34427 250046 985247 | 228084 191372 35 | 3.674 % |
82.52/82.61 c | 236164 | 34427 250046 985247 | 228084 191871 35 | 3.674 % |
82.62/82.71 c | 236706 | 34427 250046 985247 | 228084 192413 35 | 3.674 % |
83.02/83.03 c | 237302 | 34427 250046 985247 | 228084 193009 35 | 3.674 % |
83.22/83.22 c | 237957 | 34427 250046 985247 | 228084 193664 35 | 3.674 % |
83.62/83.69 c | 238677 | 34427 250046 985247 | 228084 194384 35 | 3.674 % |
84.02/84.02 c | 239470 | 34427 250046 985247 | 228084 195177 35 | 3.674 % |
84.32/84.34 c | 240347 | 34427 250046 985247 | 195707 196054 36 | 3.674 % |
84.62/84.62 c | 241305 | 34427 250046 985247 | 195707 197012 36 | 3.674 % |
84.82/84.85 c | 242359 | 34427 250046 985247 | 195707 198066 36 | 3.674 % |
85.32/85.39 c | 243524 | 34427 250046 985247 | 195707 172539 37 | 3.674 % |
85.82/85.87 c | 244799 | 34427 250046 985247 | 195707 173814 37 | 3.674 % |
86.12/86.13 c | 246201 | 34427 250046 985247 | 195707 175216 37 | 3.674 % |
86.82/86.82 c | 247741 | 34427 250046 985247 | 195707 176756 37 | 3.674 % |
87.62/87.66 c | 249435 | 34427 250046 985247 | 195707 178450 37 | 3.674 % |
88.32/88.40 c | 251298 | 34425 250046 985247 | 2147483647 180312 37 | 3.679 % |
88.82/88.89 c | 253347 | 34425 250046 985247 | 2147483647 182361 37 | 3.679 % |
90.02/90.04 c | 255603 | 34425 250046 985247 | 2147483647 184617 37 | 3.679 % |
90.62/90.63 c | 258081 | 34425 250046 985247 | 2147483647 187095 37 | 3.679 % |
90.72/90.76 c | 258187 | 34425 250046 985247 | 2147483647 187201 37 | 3.679 % |
90.72/90.80 c | 258297 | 34425 250046 985247 | 2147483647 187311 37 | 3.679 % |
90.82/90.84 c | 258420 | 34425 250046 985247 | 2147483647 187434 37 | 3.679 % |
90.82/90.91 c | 258553 | 34425 250046 985247 | 2147483647 187567 37 | 3.679 % |
91.02/91.03 c | 258701 | 34425 250046 985247 | 2147483647 187715 37 | 3.679 % |
91.02/91.10 c | 258861 | 34425 250046 985247 | 2147483647 187875 37 | 3.679 % |
91.12/91.20 c | 259037 | 34425 250046 985247 | 2147483647 188051 37 | 3.679 % |
91.22/91.28 c | 259234 | 34425 250046 985247 | 2147483647 188248 37 | 3.679 % |
91.32/91.39 c | 259449 | 34425 250046 985247 | 2147483647 188463 37 | 3.679 % |
91.42/91.47 c | 259682 | 34425 250046 985247 | 2147483647 188696 37 | 3.679 % |
91.62/91.69 c | 259942 | 34425 250046 985247 | 2147483647 188956 37 | 3.679 % |
91.82/91.84 c | 260225 | 34425 250046 985247 | 189014 189239 37 | 3.679 % |
91.92/91.94 c | 260535 | 34425 250046 985247 | 189014 189549 37 | 3.679 % |
92.12/92.14 c | 260874 | 34425 250046 985247 | 189014 189888 37 | 3.679 % |
92.32/92.35 c | 261246 | 34425 249939 984800 | 189014 187972 37 | 3.679 % |
92.62/92.62 c | 261655 | 34425 249939 984800 | 189014 188381 37 | 3.679 % |
92.72/92.79 c | 262112 | 34425 249939 984800 | 189014 188838 37 | 3.679 % |
92.92/92.93 c | 262606 | 34425 249939 984800 | 189014 189332 37 | 3.679 % |
93.02/93.08 c | 263148 | 34425 249939 984800 | 189014 189874 37 | 3.679 % |
93.22/93.26 c | 263745 | 34425 249939 984800 | 189014 190471 37 | 3.679 % |
93.52/93.60 c | 264405 | 34425 249939 984800 | 189014 172084 38 | 3.679 % |
93.82/93.88 c | 265125 | 34425 249939 984800 | 189014 172804 38 | 3.679 % |
94.02/94.06 c | 265918 | 34425 249939 984800 | 189014 173597 38 | 3.679 % |
94.62/94.64 c | 266791 | 34425 249939 984800 | 189014 174470 38 | 3.679 % |
94.92/94.92 c | 267749 | 34425 249939 984800 | 189014 175428 38 | 3.679 % |
95.42/95.43 c | 268802 | 34425 249939 984800 | 189014 176481 38 | 3.679 % |
95.82/95.84 c | 269964 | 34425 249939 984800 | 189014 177643 38 | 3.679 % |
96.52/96.55 c | 271237 | 34425 249939 984800 | 2147483647 178916 38 | 3.679 % |
97.22/97.27 c | 272637 | 34425 249939 984800 | 2147483647 180316 38 | 3.679 % |
97.82/97.88 c | 274177 | 34425 249939 984800 | 2147483647 181856 38 | 3.679 % |
98.12/98.19 c | 275872 | 34425 249939 984800 | 2147483647 183551 38 | 3.679 % |
98.82/98.84 c | 277738 | 34425 249939 984800 | 2147483647 185417 38 | 3.679 % |
99.22/99.30 c | 279790 | 34425 249939 984800 | 2147483647 187469 38 | 3.679 % |
100.62/100.65 c | 282043 | 34425 249939 984800 | 187680 189722 38 | 3.679 % |
101.62/101.62 c | 284522 | 34425 249939 984800 | 187680 173229 37 | 3.679 % |
102.72/102.71 c | 287247 | 34425 249939 984800 | 187680 175954 37 | 3.679 % |
102.72/102.74 c | 287347 | 34425 249939 984800 | 187680 176054 37 | 3.679 % |
102.82/102.82 c | 287458 | 34425 249939 984800 | 187680 176165 37 | 3.679 % |
102.82/102.88 c | 287584 | 34425 249939 984800 | 187680 176291 37 | 3.679 % |
102.92/102.95 c | 287718 | 34425 249939 984800 | 187680 176425 37 | 3.679 % |
103.02/103.02 c | 287867 | 34425 249939 984800 | 187680 176574 37 | 3.679 % |
103.12/103.15 c | 288027 | 34425 249939 984800 | 187680 176734 37 | 3.679 % |
103.22/103.23 c | 288203 | 34425 249939 984800 | 187680 176910 37 | 3.679 % |
103.32/103.33 c | 288396 | 34425 249939 984800 | 187680 177103 37 | 3.679 % |
103.43/103.43 c | 288608 | 34425 249939 984800 | 187680 177315 37 | 3.679 % |
103.52/103.53 c | 288845 | 34425 249939 984800 | 187680 177552 37 | 3.679 % |
103.62/103.66 c | 289101 | 34425 249939 984800 | 187680 177808 37 | 3.679 % |
103.72/103.78 c | 289382 | 34425 249939 984800 | 187680 178089 37 | 3.679 % |
103.92/103.95 c | 289694 | 34425 249939 984800 | 187680 178401 37 | 3.679 % |
104.12/104.17 c | 290034 | 34425 249939 984800 | 2147483647 178741 37 | 3.679 % |
104.32/104.35 c | 290410 | 34425 249939 984800 | 2147483647 179117 37 | 3.679 % |
104.42/104.50 c | 290827 | 34425 249939 984800 | 2147483647 179534 37 | 3.679 % |
104.62/104.69 c | 291276 | 34425 249939 984800 | 2147483647 179983 37 | 3.679 % |
104.92/104.99 c | 291769 | 34425 249939 984800 | 2147483647 180476 37 | 3.679 % |
105.32/105.37 c | 292313 | 34423 249939 984800 | 2147483647 181019 37 | 3.685 % |
105.52/105.53 c | 292911 | 34423 249939 984800 | 2147483647 181617 37 | 3.685 % |
105.72/105.78 c | 293569 | 34423 249939 984800 | 2147483647 182275 37 | 3.685 % |
106.02/106.04 c | 294290 | 34423 249939 984800 | 2147483647 182996 37 | 3.685 % |
106.22/106.28 c | 295088 | 34423 249939 984800 | 2147483647 183794 37 | 3.685 % |
106.52/106.55 c | 295959 | 34423 249939 984800 | 2147483647 184665 37 | 3.685 % |
106.82/106.86 c | 296920 | 34423 249939 984800 | 2147483647 185626 37 | 3.685 % |
107.12/107.20 c | 297974 | 34423 249939 984800 | 2147483647 186680 37 | 3.685 % |
107.52/107.57 c | 299135 | 34423 249939 984800 | 2147483647 187841 37 | 3.685 % |
108.12/108.20 c | 300408 | 34423 249939 984800 | 188706 189114 37 | 3.685 % |
108.52/108.55 c | 301808 | 34423 249939 984800 | 188706 190514 37 | 3.685 % |
109.42/109.46 c | 303350 | 34423 249939 984800 | 188706 173005 38 | 3.685 % |
109.62/109.69 c | 305047 | 34423 249939 984800 | 188706 174702 38 | 3.685 % |
110.42/110.44 c | 306912 | 34423 249939 984800 | 188706 176567 38 | 3.685 % |
111.02/111.06 c | 308961 | 34423 249939 984800 | 188706 178616 38 | 3.685 % |
111.62/111.62 c | 311214 | 34423 249939 984800 | 179655 180869 38 | 3.685 % |
113.02/113.08 c | 313697 | 34423 249939 984800 | 179655 183352 38 | 3.685 % |
114.32/114.35 c | 316424 | 34423 249785 984276 | 179655 167742 38 | 3.685 % |
115.32/115.37 c | 319421 | 34423 249785 984276 | 179655 170739 38 | 3.685 % |
115.42/115.43 c | 319522 | 34423 249785 984276 | 179655 170840 38 | 3.685 % |
115.42/115.52 c | 319634 | 34423 249785 984276 | 179655 170952 38 | 3.685 % |
115.62/115.61 c | 319755 | 34422 249785 984276 | 179655 171072 38 | 3.688 % |
115.62/115.69 c | 319888 | 34422 249785 984276 | 179655 171205 38 | 3.688 % |
115.72/115.78 c | 320035 | 34422 249785 984276 | 171317 171352 38 | 3.688 % |
115.82/115.87 c | 320197 | 34422 249785 984276 | 171317 171514 38 | 3.688 % |
116.02/116.01 c | 320373 | 34422 249785 984276 | 171317 171690 38 | 3.688 % |
116.12/116.12 c | 320566 | 34422 249785 984276 | 171317 171883 38 | 3.688 % |
116.22/116.28 c | 320782 | 34422 249785 984276 | 171317 172099 38 | 3.688 % |
116.42/116.42 c | 321015 | 34422 249785 984276 | 171317 172332 38 | 3.688 % |
116.52/116.59 c | 321271 | 34422 249785 984276 | 171317 172588 38 | 3.688 % |
116.72/116.76 c | 321552 | 34422 249785 984276 | 171317 172869 38 | 3.688 % |
117.22/117.30 c | 321862 | 34422 249785 984276 | 171317 155893 37 | 3.688 % |
117.42/117.44 c | 322203 | 34422 249785 984276 | 171317 156234 37 | 3.688 % |
117.62/117.64 c | 322578 | 34422 249785 984276 | 171317 156609 37 | 3.688 % |
117.82/117.83 c | 322989 | 34422 249785 984276 | 171317 157020 37 | 3.688 % |
118.02/118.02 c | 323438 | 34422 249785 984276 | 171317 157469 37 | 3.688 % |
118.32/118.36 c | 323931 | 34422 249785 984276 | 171317 157962 37 | 3.688 % |
118.52/118.61 c | 324473 | 34422 249785 984276 | 171317 158504 37 | 3.688 % |
119.02/119.07 c | 325069 | 34422 249785 984276 | 171317 159100 37 | 3.688 % |
119.32/119.33 c | 325726 | 34422 249785 984276 | 171317 159757 37 | 3.688 % |
119.62/119.65 c | 326446 | 34422 249785 984276 | 171317 160477 37 | 3.688 % |
120.12/120.15 c | 327239 | 34422 249785 984276 | 171317 161270 37 | 3.688 % |
120.22/120.30 c | 328114 | 34422 249785 984276 | 171317 162145 37 | 3.688 % |
120.72/120.75 c | 329073 | 34422 249785 984276 | 171317 163104 37 | 3.688 % |
121.03/121.06 c | 330126 | 34422 249785 984276 | 2147483647 164157 37 | 3.688 % |
121.52/121.56 c | 331284 | 34422 249785 984276 | 2147483647 165315 37 | 3.688 % |
122.02/122.09 c | 332562 | 34422 249785 984276 | 2147483647 166593 37 | 3.688 % |
122.62/122.66 c | 333963 | 34422 249785 984276 | 2147483647 167994 37 | 3.688 % |
123.32/123.37 c | 335503 | 34404 249785 984276 | 2147483647 169532 37 | 3.744 % |
124.22/124.31 c | 337198 | 34404 249785 984276 | 2147483647 171227 37 | 3.744 % |
124.92/124.93 c | 339061 | 34402 249785 984276 | 2147483647 173090 37 | 3.744 % |
126.12/126.12 c | 341111 | 34401 249785 984276 | 2147483647 175139 37 | 3.747 % |
127.22/127.27 c | 343364 | 34401 249785 984276 | 2147483647 177392 37 | 3.747 % |
127.72/127.77 c | 345844 | 34401 249785 984276 | 2147483647 179872 37 | 3.747 % |
129.02/129.10 c | 348573 | 34401 249785 984276 | 2147483647 182601 38 | 3.747 % |
130.02/130.03 c | 351570 | 34401 249785 984276 | 2147483647 185598 38 | 3.747 % |
131.82/131.89 c | 354867 | 34401 249785 984276 | 2147483647 188895 38 | 3.747 % |
132.03/132.04 c | 354968 | 34401 249434 983051 | 2147483647 188973 38 | 3.747 % |
132.12/132.14 c | 355080 | 34401 249434 983051 | 2147483647 189085 38 | 3.747 % |
132.22/132.23 c | 355202 | 34401 249434 983051 | 2147483647 189207 38 | 3.747 % |
132.32/132.36 c | 355337 | 34401 249434 983051 | 2147483647 189342 38 | 3.747 % |
132.42/132.48 c | 355483 | 34401 249434 983051 | 2147483647 189488 38 | 3.747 % |
132.52/132.56 c | 355644 | 34401 249434 983051 | 2147483647 189649 38 | 3.747 % |
132.72/132.75 c | 355820 | 34401 249434 983051 | 2147483647 189825 38 | 3.747 % |
133.02/133.01 c | 356015 | 34401 249434 983051 | 2147483647 190020 38 | 3.747 % |
133.13/133.16 c | 356227 | 34401 249434 983051 | 2147483647 190232 38 | 3.747 % |
133.32/133.31 c | 356460 | 34401 249434 983051 | 2147483647 190465 38 | 3.747 % |
133.42/133.46 c | 356717 | 34401 249434 983051 | 2147483647 190722 38 | 3.747 % |
133.62/133.68 c | 356998 | 34401 249434 983051 | 2147483647 191003 38 | 3.747 % |
133.82/133.91 c | 357308 | 34401 249434 983051 | 2147483647 191313 38 | 3.747 % |
134.02/134.09 c | 357649 | 34401 249434 983051 | 2147483647 191654 38 | 3.747 % |
134.32/134.40 c | 358021 | 34401 249434 983051 | 2147483647 192026 38 | 3.747 % |
134.63/134.65 c | 358431 | 34401 249434 983051 | 2147483647 192436 38 | 3.747 % |
134.93/135.01 c | 358881 | 34401 249434 983051 | 2147483647 192886 38 | 3.747 % |
135.23/135.24 c | 359374 | 34397 249434 983051 | 2147483647 193378 38 | 3.758 % |
135.43/135.47 c | 359919 | 34397 249434 983051 | 2147483647 193923 38 | 3.758 % |
135.93/135.99 c | 360516 | 34397 249434 983051 | 2147483647 194520 38 | 3.758 % |
136.33/136.37 c | 361172 | 34397 249434 983051 | 2147483647 195176 38 | 3.758 % |
136.73/136.74 c | 361893 | 34397 249434 983051 | 2147483647 195897 38 | 3.758 % |
137.03/137.12 c | 362685 | 34397 249434 983051 | 2147483647 196689 38 | 3.758 % |
137.63/137.65 c | 363556 | 34397 249434 983051 | 2147483647 197560 37 | 3.758 % |
138.23/138.26 c | 364514 | 34397 249434 983051 | 2147483647 198518 38 | 3.758 % |
138.93/138.98 c | 365567 | 34397 249434 983051 | 2147483647 199571 37 | 3.758 % |
139.83/139.89 c | 366725 | 34397 249434 983051 | 2147483647 200729 38 | 3.758 % |
140.43/140.45 c | 367999 | 34397 249434 983051 | 2147483647 202003 37 | 3.758 % |
141.23/141.26 c | 369400 | 34397 249434 983051 | 2147483647 203404 37 | 3.758 % |
142.33/142.35 c | 370940 | 34397 249434 983051 | 2147483647 204944 37 | 3.758 % |
143.33/143.35 c | 372635 | 34397 249434 983051 | 2147483647 206639 37 | 3.758 % |
144.13/144.18 c | 374499 | 34397 249434 983051 | 2147483647 208503 37 | 3.758 % |
146.13/146.19 c | 376548 | 34396 249434 983051 | 2147483647 210551 37 | 3.772 % |
147.73/147.81 c | 378801 | 34393 249434 983051 | 2147483647 212804 37 | 3.772 % |
149.33/149.33 c | 381280 | 34392 249434 983051 | 2147483647 215283 37 | 3.772 % |
151.83/151.82 c | 384005 | 34392 249382 982801 | 2147483647 204181 37 | 3.772 % |
154.23/154.25 c | 387002 | 34392 249382 982801 | 2147483647 207178 37 | 3.772 % |
156.93/156.99 c | 390298 | 34392 249382 982801 | 2147483647 210474 37 | 3.772 % |
161.63/161.62 c | 393924 | 34390 249382 982801 | 2147483647 214099 36 | 3.777 % |
161.73/161.72 c | 394025 | 34390 249382 982801 | 2147483647 214200 36 | 3.777 % |
161.83/161.84 c | 394135 | 34390 249382 982801 | 2147483647 214310 36 | 3.777 % |
161.93/161.95 c | 394257 | 34390 249382 982801 | 2147483647 214432 36 | 3.777 % |
162.03/162.07 c | 394391 | 34390 249382 982801 | 2147483647 214566 36 | 3.777 % |
162.13/162.18 c | 394537 | 34390 249382 982801 | 2147483647 214712 36 | 3.777 % |
162.43/162.46 c | 394697 | 34390 249382 982801 | 2147483647 214872 36 | 3.777 % |
162.63/162.62 c | 394874 | 34390 249382 982801 | 2147483647 215049 36 | 3.777 % |
162.83/162.86 c | 395068 | 34389 249382 982801 | 2147483647 215242 36 | 3.780 % |
163.03/163.09 c | 395280 | 34389 249382 982801 | 2147483647 215454 36 | 3.780 % |
163.23/163.31 c | 395514 | 34389 249382 982801 | 2147483647 215688 36 | 3.780 % |
163.53/163.52 c | 395773 | 34389 249382 982801 | 2147483647 215947 36 | 3.780 % |
163.73/163.74 c | 396055 | 34389 249382 982801 | 2147483647 216229 36 | 3.780 % |
163.93/164.00 c | 396365 | 34389 249382 982801 | 2147483647 216539 36 | 3.780 % |
164.23/164.23 c | 396705 | 34389 249382 982801 | 2147483647 216879 36 | 3.780 % |
164.43/164.49 c | 397078 | 34389 249382 982801 | 2147483647 217252 36 | 3.780 % |
164.83/164.82 c | 397489 | 34389 249382 982801 | 2147483647 217663 36 | 3.780 % |
165.13/165.16 c | 397938 | 34389 249382 982801 | 2147483647 218112 36 | 3.780 % |
165.43/165.49 c | 398431 | 34389 249382 982801 | 2147483647 218605 36 | 3.780 % |
165.93/165.92 c | 398973 | 34374 249382 982801 | 2147483647 219145 36 | 3.872 % |
166.03/166.06 c ===============================================================================
166.03/166.06 c restarts : 801
166.03/166.06 c conflicts : 399141 (2474 /sec)
166.03/166.06 c decisions : 2028954 (1.63 % random) (12574 /sec)
166.03/166.06 c propagations : 96313242 (596884 /sec)
166.03/166.06 c conflict literals : 14480629 (22.70 % deleted)
166.03/166.06 c Memory used : 62.64 MB
166.03/166.06 c CPU time : 161.36 s
166.03/166.06 c
166.03/166.06 s UNSATISFIABLE
166.03/166.06 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820788-1242476815/watcher-1820788-1242476815 -o /tmp/evaluation-result-1820788-1242476815/solver-1820788-1242476815 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820788-1242476815.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.11 1.01 1.00 3/93 5730
/proc/meminfo: memFree=1163420/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2412 CPUtime=0
/proc/5730/stat : 5730 (SatELiteGTI) R 5728 5730 20977 0 -1 4194304 353 648 0 0 0 0 0 0 18 0 1 0 1012182661 2469888 276 4294967295 134512640 135169312 3217096544 3217095020 3085530996 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/5730/statm: 603 276 235 161 0 42 0
[pid=5734] ppid=5730 vsize=2412 CPUtime=0
/proc/5734/stat : 5734 (SatELiteGTI) R 5730 5730 20977 0 -1 4194368 65 0 0 0 0 0 0 0 20 0 1 0 1012182662 2469888 94 4294967295 134512640 135169312 3217096544 3217095172 3085531626 0 0 0 0 0 0 0 17 2 0 0 0
/proc/5734/statm: 0 0 0 0 0 0 0
[startup+0.084726 s]
/proc/loadavg: 1.11 1.01 1.00 3/93 5730
/proc/meminfo: memFree=1163420/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2412 CPUtime=0
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 366 648 0 0 0 0 0 0 18 0 1 0 1012182661 2469888 276 4294967295 134512640 135169312 3217096544 3217095080 3085528814 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5730/statm: 603 276 235 161 0 42 0
[pid=5734] ppid=5730 vsize=15052 CPUtime=0.09
/proc/5734/stat : 5734 (SatELite_releas) R 5730 5730 20977 0 -1 4202496 3013 0 0 0 5 4 0 0 20 0 1 0 1012182662 15413248 2949 4294967295 134512640 135223648 3216930592 3216929544 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5734/statm: 3763 2952 46 174 0 3588 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17464
[startup+0.124721 s]
/proc/loadavg: 1.11 1.01 1.00 3/93 5730
/proc/meminfo: memFree=1163420/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2412 CPUtime=0
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 366 648 0 0 0 0 0 0 18 0 1 0 1012182661 2469888 276 4294967295 134512640 135169312 3217096544 3217095080 3085528814 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5730/statm: 603 276 235 161 0 42 0
[pid=5734] ppid=5730 vsize=19392 CPUtime=0.13
/proc/5734/stat : 5734 (SatELite_releas) R 5730 5730 20977 0 -1 4202496 4382 0 0 0 9 4 0 0 21 0 1 0 1012182662 19857408 4318 4294967295 134512640 135223648 3216930592 3216929176 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5734/statm: 4848 4319 46 174 0 4673 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 21804
[startup+0.324702 s]
/proc/loadavg: 1.11 1.01 1.00 3/93 5730
/proc/meminfo: memFree=1163420/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2412 CPUtime=0
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 366 648 0 0 0 0 0 0 18 0 1 0 1012182661 2469888 276 4294967295 134512640 135169312 3217096544 3217095080 3085528814 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5730/statm: 603 276 235 161 0 42 0
[pid=5734] ppid=5730 vsize=56728 CPUtime=0.33
/proc/5734/stat : 5734 (SatELite_releas) R 5730 5730 20977 0 -1 4202496 10980 0 0 0 21 12 0 0 21 0 1 0 1012182662 58089472 10916 4294967295 134512640 135223648 3216930592 3216929544 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5734/statm: 14182 10916 46 174 0 14007 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 59140
[startup+0.724662 s]
/proc/loadavg: 1.11 1.01 1.00 3/93 5730
/proc/meminfo: memFree=1163420/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2412 CPUtime=0
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 366 648 0 0 0 0 0 0 18 0 1 0 1012182661 2469888 276 4294967295 134512640 135169312 3217096544 3217095080 3085528814 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5730/statm: 603 276 235 161 0 42 0
[pid=5734] ppid=5730 vsize=95764 CPUtime=0.73
/proc/5734/stat : 5734 (SatELite_releas) R 5730 5730 20977 0 -1 4202496 23587 0 0 0 57 16 0 0 22 0 1 0 1012182662 98062336 21726 4294967295 134512640 135223648 3216930592 3216928260 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5734/statm: 23941 21727 73 174 0 23766 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 98176
[startup+1.52458 s]
/proc/loadavg: 1.11 1.01 1.00 2/95 5735
/proc/meminfo: memFree=1073388/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2412 CPUtime=0
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 366 648 0 0 0 0 0 0 18 0 1 0 1012182661 2469888 276 4294967295 134512640 135169312 3217096544 3217095080 3085528814 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5730/statm: 603 276 235 161 0 42 0
[pid=5734] ppid=5730 vsize=100104 CPUtime=1.53
/proc/5734/stat : 5734 (SatELite_releas) R 5730 5730 20977 0 -1 4202496 24626 0 0 0 135 18 0 0 25 0 1 0 1012182662 102506496 22765 4294967295 134512640 135223648 3216930592 3216928544 134564043 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5734/statm: 25026 22765 73 174 0 24851 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 102516
[startup+3.12443 s]
/proc/loadavg: 1.10 1.01 1.00 2/95 5735
/proc/meminfo: memFree=1059872/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2412 CPUtime=0
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 366 648 0 0 0 0 0 0 18 0 1 0 1012182661 2469888 276 4294967295 134512640 135169312 3217096544 3217095080 3085528814 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5730/statm: 603 276 235 161 0 42 0
[pid=5734] ppid=5730 vsize=107300 CPUtime=3.12
/proc/5734/stat : 5734 (SatELite_releas) R 5730 5730 20977 0 -1 4202496 26323 0 0 0 292 20 0 0 25 0 1 0 1012182662 109875200 24462 4294967295 134512640 135223648 3216930592 3216928360 134737406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5734/statm: 26825 24462 73 174 0 26650 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 109712
[startup+6.32411 s]
/proc/loadavg: 1.10 1.01 1.00 4/95 5736
/proc/meminfo: memFree=1120532/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=19244 CPUtime=1.76
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 4643 0 0 0 174 2 0 0 20 0 1 0 1012183119 19705856 4577 4294967295 134512640 135215339 3219669536 3219667600 134538506 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 4811 4577 73 172 0 4638 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 21660
[startup+12.7235 s]
/proc/loadavg: 1.08 1.01 1.00 2/95 5919
/proc/meminfo: memFree=1117748/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=21540 CPUtime=8.16
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 5212 0 0 0 814 2 0 0 25 0 1 0 1012183119 22056960 5146 4294967295 134512640 135215339 3219669536 3219667824 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 5385 5146 73 172 0 5212 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 23956
[startup+25.5222 s]
/proc/loadavg: 1.07 1.01 1.00 2/95 5921
/proc/meminfo: memFree=1111460/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=27976 CPUtime=20.96
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 6773 0 0 0 2094 2 0 0 25 0 1 0 1012183119 28647424 6707 4294967295 134512640 135215339 3219669536 3219667824 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 6994 6707 73 172 0 6821 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 30392
[startup+51.1197 s]
/proc/loadavg: 1.05 1.01 1.00 2/95 5923
/proc/meminfo: memFree=1095264/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=44564 CPUtime=46.56
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 10920 0 0 0 4647 9 0 0 25 0 1 0 1012183119 45633536 10854 4294967295 134512640 135215339 3219669536 3219667824 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 11141 10854 73 172 0 10968 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 46980
[startup+102.325 s]
/proc/loadavg: 1.02 1.00 1.00 2/95 6110
/proc/meminfo: memFree=1077696/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=61864 CPUtime=97.77
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 15144 0 0 0 9764 13 0 0 25 0 1 0 1012183119 63348736 15078 4294967295 134512640 135215339 3219669536 3219667824 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 15466 15078 73 172 0 15293 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 64280
[startup+162.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 6299
/proc/meminfo: memFree=1075432/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=63996 CPUtime=157.77
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 15642 0 0 0 15762 15 0 0 25 0 1 0 1012183119 65531904 15576 4294967295 134512640 135215339 3219669536 3219667824 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 15999 15576 73 172 0 15826 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 66412
Solver just ended. Dumping a history of the last processes samples
[startup+163.119 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 6299
/proc/meminfo: memFree=1075432/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=63996 CPUtime=158.57
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 15644 0 0 0 15842 15 0 0 25 0 1 0 1012183119 65531904 15578 4294967295 134512640 135215339 3219669536 3219667824 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 15999 15578 73 172 0 15826 0
Current children cumulated CPU time (s) 163.13
Current children cumulated vsize (KiB) 66412
[startup+164.719 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 6299
/proc/meminfo: memFree=1075432/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=64140 CPUtime=160.17
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 15660 0 0 0 16002 15 0 0 25 0 1 0 1012183119 65679360 15594 4294967295 134512640 135215339 3219669536 3219667824 134529085 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 16035 15594 73 172 0 15862 0
Current children cumulated CPU time (s) 164.73
Current children cumulated vsize (KiB) 66556
[startup+165.519 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 6301
/proc/meminfo: memFree=1075424/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=64140 CPUtime=160.97
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 15663 0 0 0 16082 15 0 0 25 0 1 0 1012183119 65679360 15597 4294967295 134512640 135215339 3219669536 3219667824 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 16035 15597 73 172 0 15862 0
Current children cumulated CPU time (s) 165.53
Current children cumulated vsize (KiB) 66556
[startup+165.918 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 6301
/proc/meminfo: memFree=1075424/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=64140 CPUtime=161.37
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 15663 0 0 0 16122 15 0 0 25 0 1 0 1012183119 65679360 15597 4294967295 134512640 135215339 3219669536 3219667824 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 16035 15597 73 172 0 15862 0
Current children cumulated CPU time (s) 165.93
Current children cumulated vsize (KiB) 66556
[startup+166.018 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 6301
/proc/meminfo: memFree=1075424/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=64140 CPUtime=161.47
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 15663 0 0 0 16132 15 0 0 25 0 1 0 1012183119 65679360 15597 4294967295 134512640 135215339 3219669536 3219667600 134538999 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 16035 15597 73 172 0 15862 0
Current children cumulated CPU time (s) 166.03
Current children cumulated vsize (KiB) 66556
Child status: 20
Real time (s): 166.084
CPU time (s): 166.09
CPU user time (s): 165.7
CPU system time (s): 0.39
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 111640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 165.7
system time used= 0.39
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46738
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= 620
runsolver used 0.02 second user time and 0.02 second system time
The end
Begin job on tipi10 at 2009-05-16 14:26:55
IDJOB=1820788
IDBENCH=69595
IDSOLVER=657
FILE ID=tipi10/1820788-1242476815
PBS_JOBID=
Free space on /tmp= 4327 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/manol-pipe-g10nid.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820788-1242476815/watcher-1820788-1242476815 -o /tmp/evaluation-result-1820788-1242476815/solver-1820788-1242476815 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820788-1242476815.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d46e452956bc993f202d3b06fd3e858e
RANDOM SEED= 1437284824
Linux tipi10 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1163452 kB
Buffers: 18660 kB
Cached: 786380 kB
SwapCached: 2724 kB
Active: 434944 kB
Inactive: 379840 kB
HighTotal: 1178688 kB
HighFree: 537436 kB
LowTotal: 895776 kB
LowFree: 626016 kB
SwapTotal: 1959888 kB
SwapFree: 1951864 kB
Dirty: 13376 kB
Writeback: 0 kB
AnonPages: 9236 kB
Mapped: 3128 kB
Slab: 86856 kB
PageTables: 644 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90592 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 4327 MiB
End job on tipi10 at 2009-05-16 14:29:42