0.00/0.00 c Parsing...
0.00/0.84 c ==============================================================================
0.00/0.84 c | | ORIGINAL | LEARNT | |
0.00/0.84 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.84 c ==============================================================================
0.00/0.84 c | 0 | 861366 1745389 | 258409 0 0 nan | 0.000 % |
4.38/4.45 c | 0 | 813835 2298271 | -- 0 -- -- | -- | -47531/552882
4.38/4.45 c ==============================================================================
4.38/4.45 c Result : #vars: 25516 #clauses: 813835 #literals: 2298271
4.38/4.45 c CPU time: 4.30734 s
4.38/4.45 c ==============================================================================
5.18/5.21 c This is MiniSat 2.0 beta
5.18/5.21 c WARNING: for repeatability, setting FPU to use double precision
5.18/5.21 c ============================[ Problem Statistics ]=============================
5.18/5.21 c | |
5.18/5.21 c | Number of variables: 25516 |
5.18/5.21 c | Number of clauses: 813835 |
5.77/5.89 c | Parsing time: 0.62 s |
5.86/5.95 c ============================[ Search Statistics ]==============================
5.86/5.95 c | Conflicts | ORIGINAL | LEARNT | Progress |
5.86/5.95 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.86/5.95 c ===============================================================================
5.86/5.95 c | 0 | 25516 813835 2298271 | 271278 0 nan | 0.000 % |
5.96/6.00 c | 100 | 25491 813835 2298271 | 271278 75 7 | 0.098 % |
6.06/6.18 c | 200 | 25465 813835 2298271 | 271278 149 7 | 0.200 % |
6.16/6.26 c | 300 | 25461 813835 2298271 | 271278 244 8 | 0.219 % |
6.26/6.34 c | 410 | 25453 813835 2298271 | 271278 347 8 | 0.247 % |
6.26/6.37 c | 511 | 25448 813835 2298271 | 271278 443 9 | 0.267 % |
6.26/6.39 c | 622 | 25440 813835 2298271 | 271278 546 9 | 0.298 % |
6.36/6.42 c | 743 | 25434 813835 2298271 | 271278 661 9 | 0.321 % |
6.36/6.45 c | 843 | 25425 813835 2298271 | 271278 752 9 | 0.357 % |
6.47/6.53 c | 953 | 25418 813835 2298271 | 271278 855 10 | 0.384 % |
6.57/6.62 c | 1074 | 25409 813835 2298271 | 271278 967 9 | 0.419 % |
6.57/6.69 c | 1207 | 25404 813835 2298271 | 271278 1095 9 | 0.439 % |
6.77/6.83 c | 1308 | 25401 813835 2298271 | 271278 1193 9 | 0.451 % |
6.77/6.87 c | 1418 | 25397 813835 2298271 | 271278 1299 10 | 0.466 % |
6.87/6.92 c | 1539 | 25393 813835 2298271 | 271278 1414 10 | 0.490 % |
6.87/6.96 c | 1672 | 25381 813835 2298271 | 271278 1537 10 | 0.529 % |
6.87/6.99 c | 1818 | 25378 813835 2298271 | 271278 1680 10 | 0.541 % |
6.97/7.02 c | 1918 | 25371 813835 2298271 | 271278 1774 10 | 0.568 % |
6.97/7.06 c | 2028 | 25368 813835 2298271 | 271278 1880 10 | 0.584 % |
6.97/7.08 c | 2149 | 25364 813835 2298271 | 271278 1998 10 | 0.596 % |
7.07/7.12 c | 2282 | 25359 813835 2298271 | 271278 2125 10 | 0.619 % |
7.07/7.15 c | 2428 | 25358 813835 2298271 | 271278 2271 10 | 0.619 % |
7.17/7.20 c | 2589 | 25334 813835 2298271 | 271278 2409 10 | 0.713 % |
7.17/7.23 c | 2689 | 25330 813835 2298271 | 271278 2505 10 | 0.733 % |
7.17/7.28 c | 2799 | 25328 813835 2298271 | 271278 2612 10 | 0.745 % |
7.27/7.31 c | 2922 | 25321 813835 2298271 | 271278 2729 10 | 0.768 % |
7.27/7.33 c | 3055 | 25316 813835 2298271 | 271278 2858 10 | 0.788 % |
7.27/7.38 c | 3201 | 25309 813835 2298271 | 271278 2997 10 | 0.815 % |
7.37/7.43 c | 3362 | 25304 813835 2298271 | 271278 3153 10 | 0.835 % |
7.37/7.48 c | 3538 | 25303 813835 2298271 | 271278 3328 10 | 0.839 % |
7.47/7.53 c | 3638 | 25287 813835 2298271 | 271278 3413 10 | 0.901 % |
7.47/7.57 c | 3749 | 25286 813835 2298271 | 271278 3523 10 | 0.905 % |
7.57/7.61 c | 3870 | 25278 813835 2298271 | 271278 3637 10 | 0.937 % |
7.57/7.65 c | 4003 | 25274 813835 2298271 | 271278 3765 10 | 0.956 % |
7.57/7.69 c | 4149 | 25262 813835 2298271 | 271278 3899 10 | 1.003 % |
7.67/7.75 c | 4309 | 25248 813835 2298271 | 271278 4047 10 | 1.054 % |
7.87/7.91 c | 4485 | 25241 794761 2252040 | 271278 4074 10 | 1.078 % |
7.87/7.97 c | 4678 | 25231 794761 2252040 | 271278 4257 10 | 1.117 % |
7.97/8.03 c | 4778 | 25227 794761 2252040 | 271278 4354 10 | 1.133 % |
7.97/8.07 c | 4888 | 25223 794761 2252040 | 271278 4460 10 | 1.148 % |
8.07/8.10 c | 5009 | 25217 794761 2252040 | 271278 4575 10 | 1.172 % |
8.07/8.14 c | 5143 | 25206 794761 2252040 | 271278 4699 10 | 1.215 % |
8.07/8.19 c | 5289 | 25202 794761 2252040 | 271278 4841 10 | 1.231 % |
8.17/8.23 c | 5449 | 25198 794761 2252040 | 271278 4997 10 | 1.246 % |
8.17/8.28 c | 5626 | 25189 794761 2252040 | 271278 5164 10 | 1.285 % |
8.27/8.35 c | 5819 | 25185 794761 2252040 | 271278 5354 10 | 1.297 % |
8.37/8.44 c | 6033 | 25178 794761 2252040 | 271278 5561 10 | 1.325 % |
8.37/8.47 c | 6133 | 25173 794761 2252040 | 271278 5656 10 | 1.344 % |
8.47/8.50 c | 6244 | 25170 794761 2252040 | 271278 5764 11 | 1.356 % |
8.47/8.53 c | 6367 | 25168 794761 2252040 | 271278 5884 11 | 1.368 % |
8.47/8.59 c | 6500 | 25160 794761 2252040 | 271278 6011 11 | 1.395 % |
8.57/8.63 c | 6646 | 25151 794761 2252040 | 271278 6148 11 | 1.431 % |
8.57/8.67 c | 6806 | 25150 794761 2252040 | 271278 6307 11 | 1.434 % |
8.67/8.74 c | 6983 | 25143 794761 2252040 | 271278 6476 11 | 1.466 % |
8.67/8.80 c | 7176 | 25137 794761 2252040 | 271278 6664 11 | 1.486 % |
8.77/8.86 c | 7388 | 25132 794761 2252040 | 271278 6872 11 | 1.505 % |
8.87/8.95 c | 7621 | 25121 794761 2252040 | 271278 7094 11 | 1.548 % |
8.87/8.99 c | 7721 | 25120 794761 2252040 | 271278 7193 11 | 1.552 % |
8.97/9.02 c | 7831 | 25110 794761 2252040 | 271278 7293 11 | 1.595 % |
8.97/9.07 c | 7952 | 25110 794761 2252040 | 271278 7414 11 | 1.595 % |
9.07/9.13 c | 8086 | 25097 794761 2252040 | 271278 7537 11 | 1.646 % |
9.17/9.21 c | 8232 | 25092 794761 2252040 | 271278 7678 11 | 1.666 % |
9.17/9.27 c | 8392 | 25086 794761 2252040 | 271278 7832 11 | 1.689 % |
9.27/9.33 c | 8568 | 25084 794761 2252040 | 271278 8006 11 | 1.697 % |
9.37/9.42 c | 8762 | 25078 794761 2252040 | 271278 8194 11 | 1.720 % |
9.47/9.52 c | 8974 | 25073 794761 2252040 | 271278 8401 11 | 1.740 % |
9.57/9.63 c | 9207 | 25059 794761 2252040 | 271278 8620 11 | 1.795 % |
9.67/9.75 c | 9464 | 25055 794761 2252040 | 271278 8873 11 | 1.811 % |
9.67/9.79 c | 9564 | 25047 794761 2252040 | 271278 8966 11 | 1.842 % |
9.77/9.83 c | 9674 | 25039 794761 2252040 | 271278 9068 11 | 1.873 % |
9.77/9.87 c | 9795 | 25033 794761 2252040 | 271278 9183 11 | 1.897 % |
9.87/9.91 c | 9930 | 25032 794761 2252040 | 271278 9317 11 | 1.901 % |
9.87/9.95 c | 10076 | 25027 794761 2252040 | 2147483647 9456 11 | 1.928 % |
9.97/10.05 c | 10236 | 25018 794761 2252040 | 2147483647 9609 11 | 1.956 % |
10.07/10.19 c | 10413 | 25013 780365 2216996 | 2147483647 9473 11 | 1.971 % |
10.17/10.26 c | 10607 | 25008 780365 2216996 | 2147483647 9662 11 | 1.991 % |
10.27/10.33 c | 10819 | 25006 780365 2216996 | 2147483647 9872 11 | 1.999 % |
10.27/10.39 c | 11052 | 24996 780365 2216996 | 2147483647 10094 11 | 2.042 % |
10.37/10.46 c | 11308 | 24988 780365 2216996 | 2147483647 10343 11 | 2.069 % |
10.47/10.52 c | 11589 | 24974 780365 2216996 | 2147483647 10608 11 | 2.132 % |
10.47/10.54 c | 11689 | 24967 780365 2216996 | 2147483647 10702 11 | 2.156 % |
10.57/10.60 c | 11799 | 24964 780365 2216996 | 2147483647 10810 11 | 2.163 % |
10.57/10.64 c | 11920 | 24960 780365 2216996 | 2147483647 10927 11 | 2.179 % |
10.57/10.68 c | 12053 | 24952 780365 2216996 | 2147483647 11052 11 | 2.210 % |
10.67/10.74 c | 12199 | 24946 780365 2216996 | 2147483647 11192 11 | 2.234 % |
10.67/10.78 c | 12359 | 24939 780365 2216996 | 2147483647 11345 11 | 2.261 % |
10.77/10.85 c | 12535 | 24932 780365 2216996 | 2147483647 11514 11 | 2.289 % |
10.77/10.89 c | 12729 | 24922 780365 2216996 | 2147483647 11698 11 | 2.328 % |
10.87/11.00 c | 12941 | 24912 780365 2216996 | 2147483647 11900 11 | 2.367 % |
11.07/11.13 c | 13174 | 24894 780365 2216996 | 2147483647 12115 11 | 2.438 % |
11.17/11.24 c | 13430 | 24889 780365 2216996 | 2147483647 12366 11 | 2.457 % |
11.27/11.37 c | 13711 | 24875 780365 2216996 | 2147483647 12637 11 | 2.512 % |
11.47/11.55 c | 14020 | 24865 780365 2216996 | 2147483647 12936 12 | 2.555 % |
11.47/11.58 c | 14123 | 24858 780365 2216996 | 2147483647 13033 12 | 2.583 % |
11.57/11.63 c | 14234 | 24855 780365 2216996 | 2147483647 13141 11 | 2.594 % |
11.67/11.71 c | 14355 | 24854 780365 2216996 | 2147483647 13261 12 | 2.598 % |
11.67/11.78 c | 14488 | 24848 780365 2216996 | 2147483647 13388 12 | 2.622 % |
11.77/11.84 c | 14634 | 24830 780365 2216996 | 2147483647 13518 12 | 2.700 % |
11.77/11.89 c | 14794 | 24824 780365 2216996 | 2147483647 13672 12 | 2.724 % |
11.86/11.93 c | 14970 | 24821 780365 2216996 | 2147483647 13845 12 | 2.736 % |
11.97/12.00 c | 15163 | 24813 780365 2216996 | 2147483647 14030 12 | 2.767 % |
11.97/12.05 c | 15375 | 24809 780365 2216996 | 2147483647 14241 12 | 2.794 % |
12.07/12.17 c | 15609 | 24796 780365 2216996 | 2147483647 14467 12 | 2.826 % |
12.16/12.29 c | 15865 | 24790 780365 2216996 | 2147483647 14717 12 | 2.849 % |
12.36/12.41 c | 16147 | 24780 780365 2216996 | 2147483647 14991 12 | 2.896 % |
12.56/12.70 c | 16456 | 24771 765023 2179263 | 2147483647 14899 12 | 2.920 % |
12.76/12.85 c | 16795 | 24763 765023 2179263 | 2147483647 15230 12 | 2.951 % |
12.86/12.90 c | 16896 | 24759 765023 2179263 | 2147483647 15327 12 | 2.967 % |
12.86/12.95 c | 17006 | 24756 765023 2179263 | 2147483647 15434 12 | 2.982 % |
12.86/12.99 c | 17127 | 24750 765023 2179263 | 2147483647 15550 12 | 3.002 % |
12.96/13.03 c | 17260 | 24745 765023 2179263 | 2147483647 15678 12 | 3.022 % |
13.06/13.15 c | 17406 | 24744 765023 2179263 | 2147483647 15823 12 | 3.026 % |
13.16/13.21 c | 17566 | 24733 765023 2179263 | 2147483647 15972 12 | 3.069 % |
13.16/13.27 c | 17743 | 24730 765023 2179263 | 2147483647 16146 12 | 3.080 % |
13.26/13.36 c | 17936 | 24727 765023 2179263 | 2147483647 16336 12 | 3.092 % |
13.36/13.49 c | 18148 | 24719 765023 2179263 | 2147483647 16540 13 | 3.124 % |
13.46/13.59 c | 18383 | 24717 765023 2179263 | 2147483647 16773 13 | 3.131 % |
13.66/13.72 c | 18641 | 24703 765023 2179263 | 2147483647 17017 13 | 3.186 % |
13.76/13.83 c | 18922 | 24693 765023 2179263 | 2147483647 17287 13 | 3.229 % |
13.86/13.96 c | 19232 | 24686 765023 2179263 | 2147483647 17591 13 | 3.257 % |
13.96/14.06 c | 19571 | 24678 765023 2179263 | 2147483647 17922 13 | 3.288 % |
14.26/14.31 c | 19943 | 24658 765023 2179263 | 2147483647 18275 13 | 3.363 % |
14.26/14.34 c | 20043 | 24649 765023 2179263 | 2147483647 18365 13 | 3.402 % |
14.26/14.39 c | 20153 | 24637 765023 2179263 | 2147483647 18465 13 | 3.445 % |
14.36/14.43 c | 20274 | 24635 765023 2179263 | 2147483647 18584 13 | 3.453 % |
14.36/14.50 c | 20409 | 24633 765023 2179263 | 2147483647 18717 13 | 3.461 % |
14.46/14.58 c | 20555 | 24631 765023 2179263 | 2147483647 18860 13 | 3.472 % |
14.66/14.75 c | 20715 | 24621 765023 2179263 | 2147483647 19011 13 | 3.508 % |
14.76/14.89 c | 20893 | 24616 765023 2179263 | 2147483647 19184 13 | 3.527 % |
14.86/14.95 c | 21086 | 24608 765023 2179263 | 2147483647 19367 13 | 3.566 % |
14.96/15.03 c | 21298 | 24598 765023 2179263 | 2147483647 19572 13 | 3.598 % |
15.06/15.14 c | 21531 | 24596 765023 2179263 | 2147483647 19803 13 | 3.606 % |
15.26/15.34 c | 21789 | 24595 754257 2152535 | 2147483647 19740 13 | 3.610 % |
15.36/15.46 c | 22070 | 24591 754257 2152535 | 2147483647 20017 13 | 3.625 % |
15.46/15.59 c | 22382 | 24586 754257 2152535 | 2147483647 20325 13 | 3.645 % |
15.66/15.75 c | 22721 | 24574 754257 2152535 | 2147483647 20652 13 | 3.700 % |
15.96/16.09 c | 23093 | 24542 754257 2152535 | 2147483647 20999 13 | 3.825 % |
16.06/16.19 c | 23502 | 24533 754257 2152535 | 2147483647 21399 13 | 3.860 % |
16.16/16.22 c | 23602 | 24510 754257 2152535 | 2147483647 21481 13 | 3.947 % |
16.16/16.26 c | 23712 | 24509 754257 2152535 | 2147483647 21590 13 | 3.950 % |
16.26/16.36 c | 23833 | 24507 754257 2152535 | 2147483647 21709 13 | 3.958 % |
16.26/16.39 c | 23966 | 24500 754257 2152535 | 2147483647 21835 13 | 3.986 % |
16.36/16.44 c | 24112 | 24484 754257 2152535 | 2147483647 21966 13 | 4.048 % |
16.36/16.49 c | 24272 | 24479 754257 2152535 | 2147483647 22121 13 | 4.068 % |
16.46/16.53 c | 24449 | 24471 754257 2152535 | 2147483647 22290 13 | 4.099 % |
16.46/16.55 c | 24642 | 24464 754257 2152535 | 2147483647 22476 13 | 4.127 % |
16.46/16.59 c | 24854 | 24451 754257 2152535 | 2147483647 22675 13 | 4.178 % |
16.55/16.66 c | 25087 | 24439 754257 2152535 | 2147483647 22896 13 | 4.225 % |
16.65/16.72 c | 25343 | 24433 754257 2152535 | 2147483647 23146 13 | 4.248 % |
16.65/16.78 c | 25624 | 24426 754257 2152535 | 2147483647 23420 13 | 4.276 % |
16.75/16.82 c | 25933 | 24424 754257 2152535 | 2147483647 23727 13 | 4.284 % |
16.75/16.88 c | 26272 | 24416 754257 2152535 | 2147483647 24058 13 | 4.315 % |
16.85/16.96 c | 26645 | 24399 754257 2152535 | 2147483647 24415 13 | 4.385 % |
16.95/17.08 c | 27054 | 24375 754257 2152535 | 2147483647 24802 13 | 4.483 % |
17.15/17.21 c | 27503 | 24359 754257 2152535 | 2147483647 25238 13 | 4.538 % |
17.15/17.24 c | 27603 | 24353 754257 2152535 | 2147483647 25332 13 | 4.566 % |
17.15/17.27 c | 27713 | 24348 754257 2152535 | 2147483647 25438 13 | 4.589 % |
17.25/17.30 c | 27835 | 24345 754257 2152535 | 2147483647 25557 13 | 4.601 % |
17.25/17.35 c | 27968 | 24339 754257 2152535 | 2147483647 25685 13 | 4.621 % |
17.35/17.40 c | 28114 | 24331 754257 2152535 | 2147483647 25823 13 | 4.652 % |
17.35/17.47 c | 28274 | 24325 754257 2152535 | 2147483647 25978 13 | 4.672 % |
17.46/17.51 c | 28454 | 24323 754257 2152535 | 2147483647 26156 13 | 4.679 % |
17.46/17.56 c | 28648 | 24305 754257 2152535 | 2147483647 26332 13 | 4.750 % |
17.56/17.62 c | 28860 | 24296 754257 2152535 | 2147483647 26535 13 | 4.785 % |
17.65/17.77 c | 29093 | 24284 736233 2108423 | 2147483647 26209 13 | 4.836 % |
17.75/17.87 c | 29350 | 24281 736233 2108423 | 2147483647 26465 13 | 4.840 % |
17.85/17.95 c | 29631 | 24277 736233 2108423 | 2147483647 26742 13 | 4.856 % |
17.95/18.04 c | 29940 | 24274 736233 2108423 | 2147483647 27048 13 | 4.868 % |
18.05/18.15 c | 30280 | 24262 736233 2108423 | 2147483647 27377 13 | 4.915 % |
18.15/18.27 c | 30652 | 24250 736233 2108423 | 2147483647 27737 13 | 4.962 % |
18.36/18.42 c | 31061 | 24245 736233 2108423 | 2147483647 28141 13 | 4.981 % |
18.45/18.58 c | 31510 | 24240 736233 2108423 | 2147483647 28585 13 | 5.001 % |
18.66/18.75 c | 32003 | 24232 736233 2108423 | 2147483647 29069 13 | 5.036 % |
18.75/18.80 c | 32105 | 24223 736233 2108423 | 2147483647 29162 13 | 5.071 % |
18.75/18.84 c | 32215 | 24221 736233 2108423 | 2147483647 29270 13 | 5.079 % |
18.75/18.89 c | 32336 | 24218 736233 2108423 | 2147483647 29388 13 | 5.091 % |
18.85/18.94 c | 32469 | 24216 736233 2108423 | 2147483647 29519 13 | 5.099 % |
18.85/18.99 c | 32616 | 24210 736233 2108423 | 2147483647 29660 13 | 5.122 % |
18.95/19.03 c | 32776 | 24210 736233 2108423 | 2147483647 29820 13 | 5.122 % |
19.05/19.12 c | 32952 | 24207 736233 2108423 | 2147483647 29993 13 | 5.134 % |
19.15/19.22 c | 33145 | 24201 736233 2108423 | 2147483647 30180 13 | 5.161 % |
19.15/19.28 c | 33358 | 24192 736233 2108423 | 2147483647 30384 13 | 5.197 % |
19.25/19.37 c | 33591 | 24183 736233 2108423 | 2147483647 30609 13 | 5.232 % |
19.35/19.49 c | 33847 | 24175 736233 2108423 | 2147483647 30859 14 | 5.263 % |
19.55/19.61 c | 34128 | 24167 736233 2108423 | 2147483647 31132 14 | 5.295 % |
19.66/19.72 c | 34438 | 24166 736233 2108423 | 2147483647 31441 14 | 5.299 % |
19.76/19.87 c | 34778 | 24165 736233 2108423 | 2147483647 31780 14 | 5.303 % |
19.95/20.04 c | 35153 | 24150 736233 2108423 | 2147483647 32141 14 | 5.362 % |
20.15/20.22 c | 35562 | 24139 736233 2108423 | 2147483647 32540 14 | 5.408 % |
20.25/20.39 c | 36013 | 24134 736233 2108423 | 2147483647 32986 14 | 5.428 % |
20.55/20.61 c | 36506 | 24120 736233 2108423 | 2147483647 33467 14 | 5.483 % |
20.95/21.02 c | 37049 | 24106 725074 2081366 | 2147483647 33575 14 | 5.526 % |
20.95/21.06 c | 37149 | 24105 725074 2081366 | 2147483647 33674 14 | 5.530 % |
21.05/21.11 c | 37261 | 24105 725074 2081366 | 2147483647 33786 14 | 5.530 % |
21.05/21.14 c | 37382 | 24105 725074 2081366 | 2147483647 33907 14 | 5.530 % |
21.15/21.22 c | 37515 | 24101 725074 2081366 | 2147483647 34036 14 | 5.546 % |
21.15/21.29 c | 37663 | 24098 725074 2081366 | 2147483647 34182 14 | 5.561 % |
21.25/21.38 c | 37823 | 24093 725074 2081366 | 2147483647 34337 14 | 5.581 % |
21.35/21.44 c | 37999 | 24088 725074 2081366 | 2147483647 34508 14 | 5.600 % |
21.45/21.54 c | 38194 | 24078 725074 2081366 | 2147483647 34694 14 | 5.640 % |
21.55/21.65 c | 38406 | 24074 725074 2081366 | 2147483647 34902 14 | 5.655 % |
21.75/21.81 c | 38640 | 24062 725074 2081366 | 2147483647 35123 14 | 5.706 % |
21.86/21.96 c | 38896 | 24055 725074 2081366 | 2147483647 35373 14 | 5.730 % |
22.05/22.11 c | 39177 | 24050 725074 2081366 | 2147483647 35649 14 | 5.749 % |
22.25/22.32 c | 39486 | 24045 725074 2081366 | 2147483647 35953 14 | 5.769 % |
22.35/22.47 c | 39825 | 24038 725074 2081366 | 2147483647 36286 14 | 5.796 % |
22.55/22.67 c | 40197 | 24021 725074 2081366 | 2147483647 36643 14 | 5.867 % |
22.85/22.91 c | 40606 | 24018 725074 2081366 | 2147483647 37048 15 | 5.883 % |
23.05/23.18 c | 41055 | 24008 725074 2081366 | 2147483647 37488 15 | 5.926 % |
23.45/23.55 c | 41551 | 24002 725074 2081366 | 2147483647 37978 15 | 5.949 % |
23.65/23.79 c | 42093 | 23979 725074 2081366 | 2147483647 38501 15 | 6.032 % |
24.05/24.17 c | 42689 | 23954 715413 2057830 | 2147483647 38648 15 | 6.122 % |
24.15/24.21 c | 42791 | 23948 715413 2057830 | 2147483647 38744 15 | 6.145 % |
24.15/24.24 c | 42902 | 23945 715413 2057830 | 2147483647 38852 15 | 6.157 % |
24.15/24.29 c | 43023 | 23945 715413 2057830 | 2147483647 38973 15 | 6.157 % |
24.25/24.36 c | 43156 | 23939 715413 2057830 | 2147483647 39101 15 | 6.180 % |
24.35/24.44 c | 43302 | 23938 715413 2057830 | 2147483647 39246 15 | 6.184 % |
24.45/24.52 c | 43462 | 23935 715413 2057830 | 2147483647 39403 15 | 6.196 % |
24.55/24.63 c | 43638 | 23931 715413 2057830 | 2147483647 39574 15 | 6.216 % |
24.65/24.75 c | 43835 | 23929 715413 2057830 | 2147483647 39769 15 | 6.224 % |
24.76/24.85 c | 44047 | 23926 715413 2057830 | 2147483647 39978 15 | 6.235 % |
24.96/25.02 c | 44281 | 23919 715413 2057830 | 2147483647 40206 15 | 6.259 % |
25.05/25.18 c | 44537 | 23918 715413 2057830 | 2147483647 40461 15 | 6.263 % |
25.35/25.42 c | 44818 | 23910 715413 2057830 | 2147483647 40734 15 | 6.294 % |
25.55/25.61 c | 45127 | 23906 715413 2057830 | 2147483647 41039 15 | 6.310 % |
25.65/25.78 c | 45466 | 23903 715413 2057830 | 2147483647 41375 15 | 6.322 % |
25.85/25.99 c | 45839 | 23898 715413 2057830 | 2147483647 41744 15 | 6.341 % |
25.95/26.08 c | 46248 | 23882 715413 2057830 | 2147483647 42140 15 | 6.408 % |
26.26/26.34 c | 46697 | 23871 715413 2057830 | 2147483647 42578 15 | 6.451 % |
26.65/26.70 c | 47191 | 23859 715413 2057830 | 2147483647 43060 15 | 6.498 % |
26.85/26.93 c | 47733 | 23841 715413 2057830 | 2147483647 43585 15 | 6.568 % |
27.15/27.25 c | 48330 | 23835 715413 2057830 | 2147483647 44176 15 | 6.592 % |
27.75/27.86 c | 48985 | 23824 707883 2039337 | 2147483647 44524 15 | 6.635 % |
27.85/27.92 c | 49085 | 23822 707883 2039337 | 2147483647 44621 15 | 6.647 % |
27.95/28.06 c | 49195 | 23819 707883 2039337 | 2147483647 44730 15 | 6.651 % |
28.05/28.15 c | 49316 | 23816 707883 2039337 | 2147483647 44848 15 | 6.662 % |
28.15/28.25 c | 49450 | 23815 707883 2039337 | 2147483647 44981 15 | 6.666 % |
28.25/28.34 c | 49596 | 23813 707883 2039337 | 2147483647 45125 15 | 6.674 % |
28.35/28.48 c | 49756 | 23812 707883 2039337 | 2147483647 45284 15 | 6.678 % |
28.46/28.58 c | 49932 | 23811 707883 2039337 | 2147483647 45458 15 | 6.686 % |
28.65/28.74 c | 50125 | 23802 707883 2039337 | 2147483647 45643 15 | 6.717 % |
28.75/28.89 c | 50338 | 23801 707883 2039337 | 2147483647 45855 16 | 6.721 % |
28.95/29.05 c | 50571 | 23799 707883 2039337 | 2147483647 46085 16 | 6.733 % |
29.05/29.20 c | 50828 | 23792 707883 2039337 | 2147483647 46335 16 | 6.760 % |
29.25/29.37 c | 51109 | 23788 707883 2039337 | 2147483647 46613 16 | 6.772 % |
29.45/29.52 c | 51419 | 23777 707883 2039337 | 2147483647 46914 16 | 6.819 % |
29.65/29.78 c | 51758 | 23769 707883 2039337 | 2147483647 47248 16 | 6.855 % |
29.85/29.94 c | 52130 | 23754 707883 2039337 | 2147483647 47607 16 | 6.906 % |
30.15/30.28 c | 52539 | 23747 707883 2039337 | 2147483647 48008 16 | 6.937 % |
30.45/30.51 c | 52988 | 23725 707883 2039337 | 2147483647 48435 16 | 7.023 % |
30.65/30.78 c | 53482 | 23709 707883 2039337 | 2147483647 48914 16 | 7.090 % |
31.05/31.16 c | 54024 | 23706 707883 2039337 | 2147483647 49453 16 | 7.101 % |
31.45/31.57 c | 54621 | 23697 707883 2039337 | 2147483647 50042 16 | 7.137 % |
32.05/32.12 c | 55276 | 23687 699847 2019503 | 2147483647 50439 16 | 7.168 % |
32.65/32.72 c | 55997 | 23675 699847 2019503 | 2147483647 51148 16 | 7.215 % |
32.75/32.81 c | 56097 | 23674 699847 2019503 | 2147483647 51246 16 | 7.223 % |
32.85/32.93 c | 56207 | 23671 699847 2019503 | 2147483647 51354 16 | 7.231 % |
32.95/33.01 c | 56328 | 23669 699847 2019503 | 2147483647 51473 16 | 7.239 % |
33.05/33.19 c | 56462 | 23666 699847 2019503 | 2147483647 51604 16 | 7.250 % |
33.25/33.32 c | 56608 | 23663 699847 2019503 | 2147483647 51747 16 | 7.278 % |
33.35/33.45 c | 56768 | 23656 699847 2019503 | 2147483647 51904 16 | 7.293 % |
33.45/33.52 c | 56945 | 23652 699847 2019503 | 2147483647 52077 16 | 7.309 % |
33.45/33.59 c | 57138 | 23635 699847 2019503 | 2147483647 52253 16 | 7.376 % |
33.55/33.69 c | 57351 | 23634 699847 2019503 | 2147483647 52465 16 | 7.380 % |
33.75/33.80 c | 57584 | 23628 699847 2019503 | 2147483647 52692 16 | 7.403 % |
33.95/34.07 c | 57840 | 23627 699847 2019503 | 2147483647 52947 17 | 7.407 % |
34.15/34.22 c | 58121 | 23615 699847 2019503 | 2147483647 53217 16 | 7.458 % |
34.25/34.31 c | 58430 | 23609 699847 2019503 | 2147483647 53521 16 | 7.478 % |
34.35/34.45 c | 58769 | 23586 699847 2019503 | 2147483647 53839 16 | 7.568 % |
34.65/34.75 c | 59144 | 23583 699847 2019503 | 2147483647 54211 17 | 7.580 % |
34.95/35.00 c | 59553 | 23580 699847 2019503 | 2147483647 54617 17 | 7.591 % |
35.25/35.39 c | 60002 | 23570 699847 2019503 | 2147483647 55056 17 | 7.631 % |
35.75/35.85 c | 60495 | 23562 699847 2019503 | 2147483647 55541 17 | 7.662 % |
36.25/36.33 c | 61037 | 23557 691585 1999454 | 2147483647 55819 17 | 7.678 % |
36.55/36.62 c | 61633 | 23538 691585 1999454 | 2147483647 56396 17 | 7.752 % |
36.95/37.09 c | 62288 | 23527 691585 1999454 | 2147483647 57042 17 | 7.795 % |
37.44/37.50 c | 63008 | 23519 691585 1999454 | 2147483647 57754 17 | 7.826 % |
38.04/38.11 c | 63800 | 23495 691585 1999454 | 2147483647 58523 17 | 7.921 % |
38.04/38.14 c | 63901 | 23489 691585 1999454 | 2147483647 58619 17 | 7.944 % |
38.04/38.17 c | 64011 | 23486 691585 1999454 | 2147483647 58726 17 | 7.956 % |
38.14/38.22 c | 64134 | 23475 691585 1999454 | 2147483647 58838 17 | 7.999 % |
38.24/38.35 c | 64268 | 23475 691585 1999454 | 2147483647 58972 17 | 7.999 % |
38.35/38.49 c | 64415 | 23475 691585 1999454 | 2147483647 59119 17 | 7.999 % |
38.45/38.60 c | 64575 | 23469 691585 1999454 | 2147483647 59271 17 | 8.030 % |
38.64/38.77 c | 64753 | 23466 691585 1999454 | 2147483647 59448 17 | 8.034 % |
38.94/39.01 c | 64946 | 23461 691585 1999454 | 2147483647 59636 17 | 8.054 % |
39.04/39.13 c | 65158 | 23452 691585 1999454 | 2147483647 59839 17 | 8.089 % |
39.14/39.24 c | 65391 | 23448 691585 1999454 | 2147483647 60067 17 | 8.109 % |
39.24/39.37 c | 65647 | 23442 691585 1999454 | 2147483647 60318 17 | 8.132 % |
39.34/39.48 c | 65928 | 23430 691585 1999454 | 2147483647 60587 17 | 8.179 % |
39.55/39.69 c | 66237 | 23413 691585 1999454 | 2147483647 60879 17 | 8.246 % |
39.74/39.83 c | 66576 | 23406 691585 1999454 | 2147483647 61210 17 | 8.277 % |
39.84/39.98 c | 66949 | 23388 691585 1999454 | 2147483647 61566 17 | 8.348 % |
40.05/40.16 c | 67358 | 23379 691585 1999454 | 2147483647 61966 17 | 8.383 % |
40.35/40.48 c | 67807 | 23362 678252 1966643 | 2147483647 62066 17 | 8.442 % |
40.55/40.68 c | 68301 | 23352 678252 1966643 | 2147483647 62550 17 | 8.481 % |
40.75/40.85 c | 68843 | 23333 678252 1966643 | 2147483647 63074 17 | 8.555 % |
40.95/41.06 c | 69439 | 23324 678252 1966643 | 2147483647 63661 17 | 8.591 % |
41.25/41.31 c | 70094 | 23306 678252 1966643 | 2147483647 64296 17 | 8.673 % |
41.55/41.67 c | 70814 | 23282 678252 1966643 | 2147483647 64996 17 | 8.759 % |
41.95/42.03 c | 71606 | 23252 678252 1966643 | 2147483647 65760 17 | 8.881 % |
42.35/42.47 c | 72478 | 23232 678252 1966643 | 2147483647 66612 17 | 8.963 % |
42.45/42.51 c | 72578 | 23230 678252 1966643 | 2147483647 66710 17 | 8.975 % |
42.45/42.58 c | 72690 | 23226 678252 1966643 | 2147483647 66819 17 | 8.987 % |
42.55/42.63 c | 72811 | 23225 678252 1966643 | 2147483647 66939 17 | 8.990 % |
42.65/42.73 c | 72944 | 23224 678252 1966643 | 2147483647 67071 17 | 8.994 % |
42.75/42.82 c | 73091 | 23219 678252 1966643 | 2147483647 67213 17 | 9.014 % |
42.85/42.90 c | 73251 | 23218 678252 1966643 | 2147483647 67372 17 | 9.018 % |
42.95/43.04 c | 73427 | 23217 678252 1966643 | 2147483647 67547 17 | 9.022 % |
43.05/43.13 c | 73620 | 23207 678252 1966643 | 2147483647 67730 17 | 9.061 % |
43.15/43.22 c | 73832 | 23205 678252 1966643 | 2147483647 67940 17 | 9.069 % |
43.25/43.35 c | 74065 | 23202 678252 1966643 | 2147483647 68170 17 | 9.081 % |
43.45/43.57 c | 74321 | 23197 678252 1966643 | 2147483647 68420 17 | 9.108 % |
43.75/43.90 c | 74602 | 23189 678252 1966643 | 2147483647 68698 17 | 9.120 % |
44.15/44.21 c | 74911 | 23184 678252 1966643 | 2147483647 69003 17 | 9.139 % |
44.45/44.53 c | 75250 | 23180 668534 1942729 | 2147483647 69039 17 | 9.155 % |
44.65/44.77 c | 75622 | 23163 668534 1942729 | 2147483647 69394 17 | 9.222 % |
44.85/45.00 c | 76031 | 23157 668534 1942729 | 2147483647 69797 17 | 9.245 % |
45.15/45.26 c | 76480 | 23142 668534 1942729 | 2147483647 70230 17 | 9.312 % |
45.35/45.49 c | 76975 | 23126 668534 1942729 | 2147483647 70709 17 | 9.375 % |
45.65/45.76 c | 77517 | 23111 668534 1942729 | 2147483647 71236 17 | 9.437 % |
45.94/46.07 c | 78113 | 23096 668534 1942729 | 2147483647 71818 17 | 9.492 % |
46.24/46.38 c | 78768 | 23070 668534 1942729 | 2147483647 72447 17 | 9.598 % |
46.64/46.77 c | 79488 | 23055 668534 1942729 | 2147483647 73154 17 | 9.653 % |
47.04/47.20 c | 80280 | 23038 668534 1942729 | 2147483647 73930 17 | 9.719 % |
47.74/47.83 c | 81151 | 23022 668534 1942729 | 2147483647 74786 17 | 9.782 % |
48.74/48.84 c | 82109 | 23018 668534 1942729 | 2147483647 75740 18 | 9.798 % |
48.84/48.91 c | 82209 | 23018 668534 1942729 | 2147483647 75840 18 | 9.798 % |
48.84/48.99 c | 82319 | 23018 668534 1942729 | 2147483647 75950 18 | 9.798 % |
49.04/49.17 c | 82442 | 23018 668534 1942729 | 2147483647 76073 18 | 9.798 % |
49.34/49.42 c | 82575 | 23014 659133 1919494 | 2147483647 75698 18 | 9.806 % |
49.54/49.62 c | 82721 | 23013 659133 1919494 | 2147483647 75842 18 | 9.813 % |
49.64/49.78 c | 82882 | 23008 659133 1919494 | 2147483647 75999 18 | 9.829 % |
49.74/49.89 c | 83058 | 23006 659133 1919494 | 2147483647 76173 18 | 9.837 % |
49.94/50.06 c | 83252 | 22999 659133 1919494 | 2147483647 76361 18 | 9.876 % |
50.14/50.23 c | 83464 | 22996 659133 1919494 | 2147483647 76571 18 | 9.888 % |
50.24/50.39 c | 83697 | 22992 659133 1919494 | 2147483647 76800 18 | 9.904 % |
50.55/50.62 c | 83954 | 22988 659133 1919494 | 2147483647 77053 18 | 9.923 % |
50.74/50.87 c | 84236 | 22976 659133 1919494 | 2147483647 77326 18 | 9.966 % |
51.14/51.25 c | 84545 | 22974 659133 1919494 | 2147483647 77633 18 | 9.974 % |
51.44/51.55 c | 84888 | 22971 659133 1919494 | 2147483647 77973 18 | 9.986 % |
51.84/51.90 c | 85260 | 22965 659133 1919494 | 2147483647 78338 18 | 10.013 % |
52.04/52.15 c | 85673 | 22961 659133 1919494 | 2147483647 78748 18 | 10.025 % |
52.44/52.51 c | 86122 | 22954 659133 1919494 | 2147483647 79190 18 | 10.072 % |
52.84/52.93 c | 86615 | 22944 659133 1919494 | 2147483647 79679 18 | 10.096 % |
53.14/53.29 c | 87157 | 22941 659133 1919494 | 2147483647 80218 18 | 10.107 % |
53.75/53.89 c | 87753 | 22936 659133 1919494 | 2147483647 80809 18 | 10.127 % |
54.44/54.56 c | 88409 | 22929 659133 1919494 | 2147483647 81458 18 | 10.154 % |
55.24/55.37 c | 89132 | 22909 653065 1904284 | 2147483647 81810 19 | 10.217 % |
56.05/56.14 c | 89924 | 22902 653065 1904284 | 2147483647 82596 19 | 10.245 % |
56.84/56.91 c | 90795 | 22892 653065 1904284 | 2147483647 83458 19 | 10.284 % |
57.73/57.87 c | 91754 | 22880 653065 1904284 | 2147483647 84405 19 | 10.331 % |
58.93/59.09 c | 92808 | 22861 653065 1904284 | 2147483647 85441 19 | 10.409 % |
59.03/59.19 c | 92908 | 22860 653065 1904284 | 2147483647 85540 19 | 10.413 % |
59.13/59.24 c | 93018 | 22860 653065 1904284 | 2147483647 85650 19 | 10.413 % |
59.13/59.30 c | 93139 | 22856 653065 1904284 | 2147483647 85765 19 | 10.437 % |
59.24/59.37 c | 93273 | 22848 653065 1904284 | 2147483647 85895 19 | 10.460 % |
59.43/59.52 c | 93422 | 22845 653065 1904284 | 2147483647 86041 19 | 10.476 % |
59.53/59.67 c | 93582 | 22843 653065 1904284 | 2147483647 86198 20 | 10.488 % |
59.73/59.84 c | 93759 | 22842 653065 1904284 | 2147483647 86375 20 | 10.488 % |
60.03/60.10 c | 93953 | 22842 653065 1904284 | 2147483647 86568 20 | 10.491 % |
60.23/60.37 c | 94165 | 22837 653065 1904284 | 2147483647 86773 20 | 10.519 % |
60.43/60.52 c | 94398 | 22834 653065 1904284 | 2147483647 87006 20 | 10.519 % |
60.53/60.64 c | 94654 | 22828 653065 1904284 | 2147483647 87257 20 | 10.542 % |
60.83/60.92 c | 94936 | 22824 653065 1904284 | 2147483647 87537 20 | 10.558 % |
61.13/61.26 c | 95245 | 22820 653065 1904284 | 2147483647 87842 20 | 10.574 % |
61.43/61.57 c | 95584 | 22817 653065 1904284 | 2147483647 88177 20 | 10.589 % |
61.83/61.97 c | 95958 | 22810 647216 1889711 | 2147483647 88219 20 | 10.605 % |
62.33/62.40 c | 96367 | 22802 647216 1889711 | 2147483647 88620 20 | 10.636 % |
62.73/62.83 c | 96818 | 22799 647216 1889711 | 2147483647 89068 20 | 10.648 % |
63.33/63.40 c | 97311 | 22790 647216 1889711 | 2147483647 89552 20 | 10.687 % |
63.63/63.75 c | 97854 | 22789 647216 1889711 | 2147483647 90094 20 | 10.691 % |
64.42/64.59 c | 98450 | 22788 647216 1889711 | 2147483647 90688 20 | 10.699 % |
64.83/65.00 c | 99105 | 22774 647216 1889711 | 2147483647 91330 20 | 10.762 % |
65.63/65.76 c | 99826 | 22767 647216 1889711 | 2147483647 92046 21 | 10.785 % |
66.53/66.61 c | 100620 | 22744 647216 1889711 | 2147483647 92819 21 | 10.883 % |
67.53/67.68 c | 101491 | 22733 647216 1889711 | 2147483647 93680 21 | 10.930 % |
68.23/68.38 c | 102449 | 22717 647216 1889711 | 2147483647 94622 21 | 11.013 % |
69.33/69.44 c | 103502 | 22693 641464 1875407 | 2147483647 95257 21 | 11.064 % |
70.24/70.36 c | 104661 | 22679 641464 1875407 | 2147483647 96402 21 | 11.122 % |
70.43/70.51 c | 104761 | 22674 641464 1875407 | 2147483647 96497 21 | 11.142 % |
70.63/70.70 c | 104873 | 22669 641464 1875407 | 2147483647 96604 21 | 11.162 % |
70.73/70.86 c | 104994 | 22669 641464 1875407 | 2147483647 96725 21 | 11.162 % |
70.83/70.95 c | 105128 | 22666 641464 1875407 | 2147483647 96856 21 | 11.173 % |
70.93/71.03 c | 105274 | 22660 641464 1875407 | 2147483647 96997 21 | 11.197 % |
71.03/71.14 c | 105434 | 22657 641464 1875407 | 2147483647 97154 21 | 11.209 % |
71.13/71.24 c | 105612 | 22653 641464 1875407 | 2147483647 97326 21 | 11.236 % |
71.23/71.32 c | 105806 | 22642 641464 1875407 | 2147483647 97512 21 | 11.275 % |
71.33/71.43 c | 106021 | 22640 641464 1875407 | 2147483647 97725 21 | 11.283 % |
71.43/71.55 c | 106254 | 22626 641464 1875407 | 2147483647 97948 21 | 11.330 % |
71.63/71.74 c | 106510 | 22623 641464 1875407 | 2147483647 98201 21 | 11.342 % |
71.83/71.90 c | 106794 | 22608 641464 1875407 | 2147483647 98470 21 | 11.401 % |
72.03/72.11 c | 107103 | 22601 641464 1875407 | 2147483647 98772 21 | 11.428 % |
72.33/72.41 c | 107442 | 22594 641464 1875407 | 2147483647 99104 21 | 11.456 % |
72.53/72.65 c | 107814 | 22591 641464 1875407 | 2147483647 99473 21 | 11.467 % |
72.93/73.00 c | 108223 | 22578 641464 1875407 | 2147483647 99869 21 | 11.526 % |
73.13/73.24 c | 108673 | 22567 641464 1875407 | 2147483647 100308 21 | 11.569 % |
73.73/73.88 c | 109166 | 22559 641464 1875407 | 2147483647 100795 21 | 11.593 % |
74.23/74.33 c | 109710 | 22558 641464 1875407 | 2147483647 101338 21 | 11.597 % |
74.92/75.08 c | 110306 | 22555 641464 1875407 | 2147483647 101929 21 | 11.616 % |
75.83/75.90 c | 110962 | 22551 641464 1875407 | 2147483647 102582 22 | 11.640 % |
76.72/76.85 c | 111682 | 22542 632640 1853456 | 2147483647 102995 22 | 11.655 % |
77.72/77.83 c | 112474 | 22541 632640 1853456 | 2147483647 103786 22 | 11.659 % |
78.82/78.98 c | 113347 | 22535 632640 1853456 | 2147483647 104653 22 | 11.683 % |
79.92/80.06 c | 114305 | 22519 632640 1853456 | 2147483647 105596 22 | 11.746 % |
81.42/81.52 c | 115360 | 22516 632640 1853456 | 2147483647 106648 22 | 11.757 % |
82.62/82.77 c | 116518 | 22505 632640 1853456 | 2147483647 107796 23 | 11.800 % |
84.22/84.31 c | 117792 | 22500 632640 1853456 | 2147483647 109065 23 | 11.824 % |
84.32/84.42 c | 117892 | 22498 632640 1853456 | 2147483647 109163 23 | 11.836 % |
84.32/84.48 c | 118005 | 22498 632640 1853456 | 2147483647 109276 23 | 11.836 % |
84.42/84.58 c | 118126 | 22494 632640 1853456 | 2147483647 109393 23 | 11.851 % |
84.62/84.79 c | 118260 | 22494 632640 1853456 | 2147483647 109527 23 | 11.851 % |
84.82/84.98 c | 118406 | 22492 632640 1853456 | 2147483647 109671 23 | 11.859 % |
85.12/85.21 c | 118567 | 22489 629126 1844736 | 2147483647 109611 23 | 11.863 % |
85.22/85.37 c | 118743 | 22485 629126 1844736 | 2147483647 109783 23 | 11.887 % |
85.52/85.60 c | 118939 | 22482 629126 1844736 | 2147483647 109977 23 | 11.894 % |
85.72/85.82 c | 119151 | 22480 629126 1844736 | 2147483647 110187 23 | 11.902 % |
86.02/86.12 c | 119384 | 22479 629126 1844736 | 2147483647 110419 23 | 11.906 % |
86.12/86.28 c | 119640 | 22477 629126 1844736 | 2147483647 110673 23 | 11.914 % |
86.62/86.72 c | 119921 | 22477 629126 1844736 | 2147483647 110954 23 | 11.914 % |
87.02/87.19 c | 120230 | 22474 629126 1844736 | 2147483647 111260 23 | 11.926 % |
87.42/87.52 c | 120570 | 22472 629126 1844736 | 2147483647 111597 23 | 11.938 % |
87.82/87.95 c | 120943 | 22470 629126 1844736 | 2147483647 111969 24 | 11.942 % |
88.31/88.42 c | 121352 | 22465 629126 1844736 | 2147483647 112373 24 | 11.961 % |
88.92/89.08 c | 121801 | 22459 629126 1844736 | 2147483647 112817 24 | 11.985 % |
89.51/89.66 c | 122294 | 22455 629126 1844736 | 2147483647 113306 24 | 12.000 % |
90.31/90.40 c | 122836 | 22453 629126 1844736 | 2147483647 113846 24 | 12.012 % |
91.01/91.14 c | 123432 | 22447 629126 1844736 | 2147483647 114436 24 | 12.036 % |
91.51/91.70 c | 124087 | 22438 629126 1844736 | 2147483647 115083 24 | 12.067 % |
92.31/92.43 c | 124808 | 22420 629126 1844736 | 2147483647 115787 24 | 12.142 % |
93.51/93.63 c | 125601 | 22412 629126 1844736 | 2147483647 116572 24 | 12.173 % |
94.62/94.75 c | 126472 | 22398 629126 1844736 | 2147483647 117429 24 | 12.228 % |
95.42/95.58 c | 127430 | 22368 624503 1833079 | 2147483647 118128 24 | 12.349 % |
96.61/96.75 c | 128483 | 22344 624503 1833079 | 2147483647 119158 24 | 12.439 % |
98.00/98.19 c | 129647 | 22336 624503 1833079 | 2147483647 120314 24 | 12.475 % |
99.30/99.45 c | 130922 | 22325 624503 1833079 | 2147483647 121578 25 | 12.526 % |
101.40/101.50 c | 132322 | 22314 624503 1833079 | 2147483647 122969 25 | 12.573 % |
101.50/101.61 c | 132422 | 22314 624503 1833079 | 2147483647 123069 25 | 12.573 % |
101.60/101.75 c | 132532 | 22314 624503 1833079 | 2147483647 123178 25 | 12.576 % |
101.80/101.92 c | 132653 | 22313 624503 1833079 | 2147483647 123299 25 | 12.576 % |
102.00/102.13 c | 132786 | 22313 624503 1833079 | 2147483647 123432 25 | 12.576 % |
102.20/102.31 c | 132932 | 22312 624503 1833079 | 2147483647 123576 25 | 12.584 % |
102.40/102.50 c | 133092 | 22311 624503 1833079 | 2147483647 123736 25 | 12.584 % |
102.60/102.71 c | 133268 | 22309 624503 1833079 | 2147483647 123910 25 | 12.592 % |
102.80/102.92 c | 133461 | 22308 624503 1833079 | 2147483647 124102 25 | 12.596 % |
103.00/103.13 c | 133675 | 22303 624503 1833079 | 2147483647 124311 25 | 12.616 % |
103.30/103.44 c | 133909 | 22303 624503 1833079 | 2147483647 124545 25 | 12.616 % |
103.70/103.85 c | 134165 | 22301 624503 1833079 | 2147483647 124799 25 | 12.623 % |
103.99/104.10 c | 134446 | 22300 624503 1833079 | 2147483647 125079 25 | 12.627 % |
104.29/104.42 c | 134760 | 22280 624503 1833079 | 2147483647 125376 25 | 12.706 % |
104.69/104.86 c | 135101 | 22280 624503 1833079 | 2147483647 125717 25 | 12.706 % |
105.29/105.41 c | 135473 | 22280 624503 1833079 | 2147483647 126089 25 | 12.706 % |
105.89/106.09 c | 135884 | 22270 618332 1817534 | 2147483647 126076 25 | 12.721 % |
106.59/106.75 c | 136333 | 22261 618332 1817534 | 2147483647 126517 25 | 12.757 % |
107.29/107.41 c | 136827 | 22256 618332 1817534 | 2147483647 127006 25 | 12.776 % |
107.99/108.14 c | 137372 | 22255 618332 1817534 | 2147483647 127550 26 | 12.780 % |
108.39/108.55 c | 137969 | 22253 618332 1817534 | 2147483647 128145 26 | 12.788 % |
109.09/109.20 c | 138624 | 22244 618332 1817534 | 2147483647 128789 26 | 12.831 % |
110.30/110.46 c | 139344 | 22233 618332 1817534 | 2147483647 129503 26 | 12.866 % |
111.39/111.56 c | 140138 | 22222 618332 1817534 | 2147483647 130286 26 | 12.910 % |
112.59/112.76 c | 141009 | 22216 618332 1817534 | 2147483647 131151 26 | 12.933 % |
113.69/113.87 c | 141969 | 22201 618332 1817534 | 2147483647 132097 26 | 13.023 % |
115.39/115.52 c | 143023 | 22194 618332 1817534 | 2147483647 133144 26 | 13.055 % |
116.89/117.01 c | 144181 | 22172 613311 1804793 | 2147483647 134021 26 | 13.106 % |
118.09/118.22 c | 145456 | 22167 613311 1804793 | 2147483647 135291 26 | 13.125 % |
119.89/120.06 c | 146857 | 22153 613311 1804793 | 2147483647 136680 27 | 13.180 % |
121.99/122.12 c | 148397 | 22142 613311 1804793 | 2147483647 138209 27 | 13.227 % |
122.19/122.30 c | 148499 | 22141 613311 1804793 | 2147483647 138310 27 | 13.231 % |
122.29/122.46 c | 148610 | 22136 613311 1804793 | 2147483647 138417 27 | 13.251 % |
122.49/122.60 c | 148732 | 22135 613311 1804793 | 2147483647 138538 27 | 13.254 % |
122.59/122.74 c | 148865 | 22132 613311 1804793 | 2147483647 138669 27 | 13.341 % |
122.78/122.95 c | 149013 | 22131 613311 1804793 | 2147483647 138816 27 | 13.345 % |
123.09/123.23 c | 149174 | 22129 613311 1804793 | 2147483647 138975 27 | 13.352 % |
123.38/123.52 c | 149350 | 22127 613311 1804793 | 2147483647 139149 27 | 13.360 % |
123.58/123.70 c | 149543 | 22127 613311 1804793 | 2147483647 139342 27 | 13.360 % |
123.68/123.86 c | 149756 | 22125 613311 1804793 | 2147483647 139553 27 | 13.368 % |
124.09/124.23 c | 149993 | 22123 613311 1804793 | 2147483647 139788 27 | 13.376 % |
124.58/124.71 c | 150249 | 22121 613311 1804793 | 2147483647 140042 27 | 13.384 % |
124.78/124.95 c | 150530 | 22120 613311 1804793 | 2147483647 140322 27 | 13.388 % |
125.19/125.37 c | 150841 | 22110 613311 1804793 | 2147483647 140625 27 | 13.427 % |
125.68/125.87 c | 151182 | 22107 613311 1804793 | 2147483647 140963 27 | 13.439 % |
126.18/126.39 c | 151555 | 22102 613311 1804793 | 2147483647 141332 27 | 13.458 % |
126.68/126.83 c | 151964 | 22095 613311 1804793 | 2147483647 141734 27 | 13.486 % |
127.28/127.49 c | 152413 | 22092 613311 1804793 | 2147483647 142180 27 | 13.505 % |
127.88/128.04 c | 152906 | 22087 613311 1804793 | 2147483647 142667 27 | 13.529 % |
128.78/128.98 c | 153448 | 22084 613311 1804793 | 2147483647 143207 27 | 13.541 % |
129.48/129.70 c | 154044 | 22081 613311 1804793 | 2147483647 143800 27 | 13.552 % |
130.88/131.02 c | 154699 | 22056 607713 1790695 | 2147483647 144057 27 | 13.560 % |
132.48/132.63 c | 155419 | 22056 607713 1790695 | 2147483647 144777 28 | 13.560 % |
133.58/133.77 c | 156213 | 22052 607713 1790695 | 2147483647 145568 28 | 13.576 % |
134.98/135.11 c | 157084 | 22052 607713 1790695 | 2147483647 146439 28 | 13.576 % |
136.28/136.42 c | 158042 | 22031 607713 1790695 | 2147483647 147379 28 | 13.670 % |
137.68/137.81 c | 159096 | 22025 607713 1790695 | 2147483647 148427 28 | 13.701 % |
139.88/140.08 c | 160254 | 22023 607713 1790695 | 2147483647 149583 28 | 13.709 % |
141.69/141.87 c | 161529 | 22008 607713 1790695 | 2147483647 150845 28 | 13.838 % |
144.08/144.25 c | 162931 | 22005 607713 1790695 | 2147483647 152244 29 | 13.850 % |
146.58/146.78 c | 164471 | 21970 604043 1781215 | 2147483647 153546 29 | 13.897 % |
149.47/149.62 c | 166165 | 21966 604043 1781215 | 2147483647 155236 30 | 13.913 % |
149.67/149.80 c | 166266 | 21962 604043 1781215 | 2147483647 155333 30 | 13.929 % |
149.77/149.93 c | 166376 | 21962 604043 1781215 | 2147483647 155443 30 | 13.929 % |
149.96/150.10 c | 166497 | 21961 604043 1781215 | 2147483647 155563 30 | 13.932 % |
150.16/150.36 c | 166630 | 21956 604043 1781215 | 2147483647 155693 30 | 13.952 % |
150.36/150.51 c | 166778 | 21956 604043 1781215 | 2147483647 155841 30 | 13.952 % |
150.66/150.87 c | 166939 | 21956 604043 1781215 | 2147483647 156002 30 | 13.952 % |
150.96/151.10 c | 167115 | 21956 604043 1781215 | 2147483647 156178 30 | 13.952 % |
151.26/151.41 c | 167309 | 21955 604043 1781215 | 2147483647 156371 30 | 13.956 % |
151.46/151.67 c | 167521 | 21955 604043 1781215 | 2147483647 156583 30 | 13.956 % |
151.96/152.10 c | 167755 | 21951 604043 1781215 | 2147483647 156813 30 | 13.972 % |
152.26/152.45 c | 168014 | 21951 604043 1781215 | 2147483647 157072 30 | 13.972 % |
152.78/152.92 c | 168300 | 21951 604043 1781215 | 2147483647 157358 30 | 13.972 % |
153.17/153.32 c | 168609 | 21949 604043 1781215 | 2147483647 157665 30 | 13.979 % |
153.67/153.81 c | 168948 | 21948 604043 1781215 | 2147483647 158003 30 | 13.983 % |
154.07/154.24 c | 169320 | 21947 604043 1781215 | 2147483647 158374 30 | 13.987 % |
154.57/154.77 c | 169730 | 21945 604043 1781215 | 2147483647 158782 30 | 13.995 % |
155.27/155.46 c | 170179 | 21935 604043 1781215 | 2147483647 159222 30 | 14.038 % |
155.97/156.19 c | 170673 | 21934 604043 1781215 | 2147483647 159715 30 | 14.042 % |
156.77/156.94 c | 171215 | 21926 604043 1781215 | 2147483647 160249 30 | 14.077 % |
157.87/158.09 c | 171813 | 21925 604043 1781215 | 2147483647 160846 30 | 14.081 % |
159.07/159.20 c | 172468 | 21923 604043 1781215 | 2147483647 161499 30 | 14.089 % |
160.37/160.60 c | 173189 | 21904 604043 1781215 | 2147483647 162204 30 | 14.175 % |
161.66/161.87 c | 173981 | 21894 600206 1771549 | 2147483647 162750 30 | 14.195 % |
163.06/163.20 c | 174853 | 21886 600206 1771549 | 2147483647 163615 30 | 14.226 % |
164.56/164.70 c | 175812 | 21882 600206 1771549 | 2147483647 164570 31 | 14.242 % |
165.96/166.18 c | 176865 | 21878 600206 1771549 | 2147483647 165619 31 | 14.258 % |
167.66/167.86 c | 178023 | 21873 600206 1771549 | 2147483647 166772 31 | 14.277 % |
169.96/170.12 c | 179303 | 21866 600206 1771549 | 2147483647 168044 31 | 14.309 % |
172.57/172.80 c | 180707 | 21863 600206 1771549 | 2147483647 169445 31 | 14.320 % |
175.26/175.40 c | 182249 | 21856 600206 1771549 | 2147483647 170979 31 | 14.352 % |
177.66/177.90 c | 183943 | 21839 600206 1771549 | 2147483647 172659 32 | 14.434 % |
180.86/181.01 c | 185808 | 21822 597178 1763799 | 2147483647 174256 32 | 14.477 % |
180.96/181.20 c | 185908 | 21822 597178 1763799 | 2147483647 174356 32 | 14.477 % |
181.26/181.41 c | 186018 | 21822 597178 1763799 | 2147483647 174465 32 | 14.481 % |
181.46/181.62 c | 186139 | 21819 597178 1763799 | 2147483647 174584 32 | 14.489 % |
181.76/181.93 c | 186272 | 21819 597178 1763799 | 2147483647 174717 32 | 14.489 % |
181.95/182.16 c | 186418 | 21819 597178 1763799 | 2147483647 174863 32 | 14.489 % |
182.36/182.53 c | 186578 | 21819 597178 1763799 | 2147483647 175023 32 | 14.489 % |
182.65/182.86 c | 186755 | 21817 597178 1763799 | 2147483647 175198 32 | 14.497 % |
182.85/183.08 c | 186948 | 21817 597178 1763799 | 2147483647 175391 32 | 14.497 % |
183.35/183.51 c | 187160 | 21817 597178 1763799 | 2147483647 175603 32 | 14.497 % |
183.55/183.79 c | 187393 | 21817 597178 1763799 | 2147483647 175836 32 | 14.497 % |
184.16/184.32 c | 187649 | 21816 597178 1763799 | 2147483647 176091 32 | 14.501 % |
184.46/184.68 c | 187930 | 21816 597178 1763799 | 2147483647 176372 32 | 14.501 % |
184.96/185.16 c | 188242 | 21814 597178 1763799 | 2147483647 176681 32 | 14.512 % |
185.36/185.54 c | 188582 | 21810 597178 1763799 | 2147483647 177020 32 | 14.528 % |
185.95/186.18 c | 188956 | 21810 597178 1763799 | 2147483647 177394 32 | 14.528 % |
186.76/186.97 c | 189368 | 21808 597178 1763799 | 2147483647 177804 32 | 14.536 % |
187.35/187.54 c | 189818 | 21808 597178 1763799 | 2147483647 178254 32 | 14.536 % |
188.35/188.53 c | 190311 | 21806 597178 1763799 | 2147483647 178745 32 | 14.544 % |
189.35/189.58 c | 190853 | 21801 597178 1763799 | 2147483647 179283 32 | 14.563 % |
190.35/190.52 c | 191450 | 21799 597178 1763799 | 2147483647 179878 32 | 14.571 % |
191.95/192.11 c | 192105 | 21798 597178 1763799 | 2147483647 180532 32 | 14.575 % |
192.85/193.03 c | 192826 | 21797 597178 1763799 | 2147483647 181251 32 | 14.583 % |
194.55/194.74 c | 193619 | 21795 597178 1763799 | 2147483647 182041 33 | 14.595 % |
195.95/196.19 c | 194490 | 21790 597178 1763799 | 2147483647 182909 33 | 14.607 % |
197.75/198.00 c | 195450 | 21781 597178 1763799 | 2147483647 183859 33 | 14.646 % |
199.54/199.74 c | 196504 | 21773 597178 1763799 | 2147483647 184905 33 | 14.677 % |
202.24/202.43 c | 197663 | 21767 593828 1755565 | 2147483647 185799 33 | 14.693 % |
204.35/204.50 c | 198936 | 21760 593828 1755565 | 2147483647 187066 33 | 14.736 % |
207.74/207.99 c | 200336 | 21760 593828 1755565 | 2147483647 188466 34 | 14.736 % |
210.83/211.07 c | 201876 | 21750 593828 1755565 | 2147483647 189996 34 | 14.779 % |
213.83/214.09 c | 203570 | 21745 593828 1755565 | 2147483647 191683 34 | 14.806 % |
217.74/217.96 c | 205433 | 21733 593828 1755565 | 2147483647 193535 34 | 14.853 % |
221.73/221.94 c | 207482 | 21731 593828 1755565 | 2147483647 195582 35 | 14.861 % |
221.83/222.09 c | 207582 | 21730 593828 1755565 | 2147483647 195680 35 | 14.869 % |
222.23/222.49 c | 207692 | 21728 593828 1755565 | 2147483647 195789 35 | 14.873 % |
222.53/222.73 c | 207815 | 21728 593828 1755565 | 2147483647 195912 35 | 14.873 % |
222.73/222.98 c | 207950 | 21728 593828 1755565 | 2147483647 196047 35 | 14.873 % |
223.04/223.28 c | 208097 | 21728 593828 1755565 | 2147483647 196194 35 | 14.873 % |
223.33/223.55 c | 208257 | 21728 593828 1755565 | 2147483647 196354 35 | 14.873 % |
223.63/223.81 c | 208434 | 21728 593828 1755565 | 2147483647 196531 35 | 14.873 % |
224.03/224.28 c | 208627 | 21727 593828 1755565 | 2147483647 196722 35 | 14.881 % |
224.43/224.62 c | 208839 | 21726 593828 1755565 | 2147483647 196933 35 | 14.885 % |
224.93/225.18 c | 209072 | 21720 593828 1755565 | 2147483647 197163 35 | 14.908 % |
225.53/225.75 c | 209328 | 21709 590633 1747522 | 2147483647 197019 35 | 14.920 % |
226.03/226.29 c | 209609 | 21704 590633 1747522 | 2147483647 197297 35 | 14.944 % |
226.73/226.93 c | 209918 | 21704 590633 1747522 | 2147483647 197606 35 | 14.944 % |
227.13/227.39 c | 210259 | 21703 590633 1747522 | 2147483647 197946 35 | 14.947 % |
228.23/228.49 c | 210633 | 21703 590633 1747522 | 2147483647 198320 35 | 14.947 % |
228.93/229.11 c | 211042 | 21703 590633 1747522 | 2147483647 198729 35 | 14.948 % |
229.42/229.68 c | 211493 | 21703 590633 1747522 | 2147483647 199179 35 | 14.951 % |
230.23/230.41 c | 211986 | 21699 590633 1747522 | 2147483647 199669 35 | 14.963 % |
231.33/231.59 c | 212528 | 21695 590633 1747522 | 2147483647 200207 35 | 14.979 % |
232.94/233.18 c | 213124 | 21692 590633 1747522 | 2147483647 200800 35 | 14.991 % |
234.13/234.31 c | 213780 | 21691 590633 1747522 | 2147483647 201455 35 | 14.995 % |
235.53/235.75 c | 214500 | 21685 590633 1747522 | 2147483647 202171 35 | 15.022 % |
237.52/237.70 c | 215293 | 21681 590633 1747522 | 2147483647 202961 35 | 15.042 % |
239.42/239.66 c | 216166 | 21679 590633 1747522 | 2147483647 203831 35 | 15.053 % |
241.31/241.50 c | 217125 | 21676 590633 1747522 | 2147483647 204786 35 | 15.069 % |
243.50/243.73 c | 218178 | 21676 590633 1747522 | 2147483647 205839 36 | 15.069 % |
245.80/246.04 c | 219336 | 21674 590633 1747522 | 2147483647 206995 36 | 15.077 % |
247.80/248.01 c | 220609 | 21672 590633 1747522 | 2147483647 208262 36 | 15.100 % |
250.50/250.75 c | 222011 | 21666 590633 1747522 | 2147483647 209659 36 | 15.120 % |
254.41/254.63 c | 223551 | 21651 587519 1739669 | 2147483647 210783 36 | 15.147 % |
258.01/258.23 c | 225246 | 21641 587519 1739669 | 2147483647 212468 37 | 15.187 % |
262.00/262.21 c | 227109 | 21638 587519 1739669 | 2147483647 214328 37 | 15.202 % |
266.50/266.79 c | 229161 | 21634 587519 1739669 | 2147483647 216376 37 | 15.218 % |
271.60/271.86 c | 231414 | 21633 587519 1739669 | 2147483647 218628 37 | 15.222 % |
271.80/272.04 c | 231514 | 21633 587519 1739669 | 2147483647 218728 37 | 15.222 % |
272.10/272.35 c | 231625 | 21631 587519 1739669 | 2147483647 218837 37 | 15.230 % |
272.51/272.70 c | 231746 | 21631 587519 1739669 | 2147483647 218958 37 | 15.230 % |
272.80/273.00 c | 231879 | 21631 587519 1739669 | 2147483647 219091 37 | 15.230 % |
273.20/273.40 c | 232025 | 21631 587519 1739669 | 2147483647 219237 37 | 15.230 % |
273.50/273.72 c | 232186 | 21631 587519 1739669 | 2147483647 219397 37 | 15.234 % |
273.90/274.12 c | 232362 | 21630 587519 1739669 | 2147483647 219572 37 | 15.238 % |
274.20/274.41 c | 232555 | 21630 587519 1739669 | 2147483647 219765 37 | 15.237 % |
274.80/275.07 c | 232767 | 21630 587519 1739669 | 2147483647 219977 38 | 15.238 % |
275.20/275.49 c | 233001 | 21630 587519 1739669 | 2147483647 220211 38 | 15.238 % |
275.80/276.10 c | 233258 | 21629 587519 1739669 | 2147483647 220467 38 | 15.245 % |
276.40/276.66 c | 233539 | 21628 587519 1739669 | 2147483647 220746 38 | 15.253 % |
277.00/277.26 c | 233848 | 21622 587519 1739669 | 2147483647 221050 38 | 15.273 % |
277.80/278.04 c | 234187 | 21622 587519 1739669 | 2147483647 221388 38 | 15.277 % |
278.29/278.55 c | 234560 | 21622 587519 1739669 | 2147483647 221761 38 | 15.277 % |
279.29/279.50 c | 234969 | 21621 587519 1739669 | 2147483647 222169 38 | 15.281 % |
280.20/280.48 c | 235421 | 21619 587519 1739669 | 2147483647 222618 38 | 15.292 % |
281.40/281.63 c | 235914 | 21615 587519 1739669 | 2147483647 223104 38 | 15.324 % |
282.59/282.87 c | 236457 | 21614 587519 1739669 | 2147483647 223646 38 | 15.328 % |
283.88/284.17 c | 237058 | 21605 584773 1732734 | 2147483647 224092 38 | 15.328 % |
285.38/285.67 c | 237713 | 21602 584773 1732734 | 2147483647 224745 38 | 15.339 % |
286.98/287.24 c | 238433 | 21602 584773 1732734 | 2147483647 225464 38 | 15.343 % |
288.98/289.28 c | 239229 | 21602 584773 1732734 | 2147483647 226260 38 | 15.343 % |
290.68/290.94 c | 240101 | 21602 584773 1732734 | 2147483647 227131 38 | 15.347 % |
292.78/293.08 c | 241059 | 21600 584773 1732734 | 2147483647 228087 38 | 15.355 % |
295.27/295.50 c | 242112 | 21594 584773 1732734 | 2147483647 229134 38 | 15.386 % |
297.97/298.24 c | 243270 | 21581 584773 1732734 | 2147483647 230287 38 | 15.437 % |
300.87/301.13 c | 244544 | 21577 584773 1732734 | 2147483647 231555 39 | 15.461 % |
304.48/304.78 c | 245944 | 21576 584773 1732734 | 2147483647 232953 39 | 15.469 % |
308.18/308.41 c | 247484 | 21573 584773 1732734 | 2147483647 234489 39 | 15.484 % |
311.77/312.09 c | 249178 | 21564 584773 1732734 | 2147483647 236175 39 | 15.520 % |
316.17/316.42 c | 251041 | 21552 582252 1726335 | 2147483647 229630 38 | 15.535 % |
321.07/321.39 c | 253090 | 21550 582252 1726335 | 2147483647 231674 39 | 15.559 % |
326.27/326.56 c | 255344 | 21545 582252 1726335 | 2147483647 233925 39 | 15.571 % |
332.06/332.37 c | 257823 | 21539 582252 1726335 | 2147483647 236398 39 | 15.598 % |
332.36/332.63 c | 257926 | 21539 582252 1726335 | 2147483647 236501 39 | 15.598 % |
332.56/332.88 c | 258036 | 21539 582252 1726335 | 2147483647 236611 39 | 15.598 % |
332.86/333.14 c | 258157 | 21537 582252 1726335 | 2147483647 236730 39 | 15.606 % |
333.16/333.49 c | 258290 | 21537 582252 1726335 | 2147483647 236863 39 | 15.606 % |
333.56/333.85 c | 258437 | 21537 582252 1726335 | 2147483647 237010 39 | 15.606 % |
333.96/334.29 c | 258597 | 21536 582252 1726335 | 2147483647 237168 39 | 15.614 % |
334.56/334.84 c | 258774 | 21536 582252 1726335 | 2147483647 237345 39 | 15.614 % |
334.96/335.28 c | 258970 | 21536 582252 1726335 | 2147483647 237541 39 | 15.614 % |
335.46/335.77 c | 259182 | 21536 582252 1726335 | 2147483647 237752 39 | 15.618 % |
336.05/336.31 c | 259415 | 21536 582252 1726335 | 2147483647 237985 39 | 15.618 % |
336.55/336.89 c | 259674 | 21536 582252 1726335 | 2147483647 238244 39 | 15.618 % |
337.25/337.52 c | 259956 | 21535 582252 1726335 | 2147483647 238525 39 | 15.622 % |
338.25/338.55 c | 260267 | 21535 582252 1726335 | 2147483647 238836 39 | 15.622 % |
338.75/339.01 c | 260606 | 21535 582252 1726335 | 2147483647 239174 39 | 15.625 % |
339.76/340.02 c | 260979 | 21534 582252 1726335 | 2147483647 239546 39 | 15.629 % |
340.76/341.02 c | 261388 | 21534 582252 1726335 | 2147483647 239955 39 | 15.629 % |
341.96/342.25 c | 261837 | 21534 582252 1726335 | 2147483647 240404 40 | 15.629 % |
343.06/343.37 c | 262332 | 21534 582252 1726335 | 2147483647 240899 40 | 15.629 % |
344.76/345.02 c | 262874 | 21534 582252 1726335 | 2147483647 241441 40 | 15.629 % |
346.16/346.46 c | 263472 | 21534 582252 1726335 | 2147483647 242039 40 | 15.629 % |
348.25/348.59 c | 264128 | 21534 582252 1726335 | 2147483647 242693 40 | 15.637 % |
350.05/350.34 c | 264848 | 21533 582252 1726335 | 2147483647 243411 40 | 15.645 % |
352.35/352.61 c | 265640 | 21533 582252 1726335 | 2147483647 244203 40 | 15.645 % |
355.05/355.30 c | 266513 | 21524 580574 1722057 | 2147483647 244939 40 | 15.645 % |
357.75/358.03 c | 267471 | 21523 580574 1722057 | 2147483647 245896 40 | 15.649 % |
360.45/360.80 c | 268525 | 21523 580574 1722057 | 2147483647 246949 40 | 15.653 % |
363.34/363.63 c | 269685 | 21523 580574 1722057 | 2147483647 248109 40 | 15.653 % |
366.34/366.68 c | 270959 | 21522 580574 1722057 | 2147483647 249382 41 | 15.657 % |
370.15/370.41 c | 272359 | 21522 580574 1722057 | 2147483647 250778 41 | 15.673 % |
373.44/373.78 c | 273901 | 21521 580574 1722057 | 2147483647 252317 41 | 15.684 % |
377.84/378.16 c | 275596 | 21521 580574 1722057 | 2147483647 254010 41 | 15.692 % |
383.74/384.03 c | 277463 | 21519 580574 1722057 | 2147483647 255874 41 | 15.704 % |
389.14/389.45 c | 279512 | 21516 580574 1722057 | 2147483647 257919 42 | 15.720 % |
396.33/396.62 c | 281765 | 21505 579579 1719556 | 2147483647 260130 42 | 15.723 % |
402.33/402.65 c | 284244 | 21504 579579 1719556 | 2147483647 262607 42 | 15.731 % |
411.23/411.50 c | 286970 | 21503 579579 1719556 | 2147483647 265332 42 | 15.735 % |
411.43/411.78 c | 287070 | 21502 579579 1719556 | 2147483647 265431 42 | 15.739 % |
411.83/412.14 c | 287181 | 21502 579579 1719556 | 2147483647 265542 42 | 15.739 % |
412.13/412.44 c | 287302 | 21502 579579 1719556 | 2147483647 265663 42 | 15.739 % |
412.53/412.85 c | 287436 | 21502 579579 1719556 | 2147483647 265797 43 | 15.739 % |
412.83/413.18 c | 287582 | 21502 579579 1719556 | 2147483647 265943 43 | 15.739 % |
413.33/413.62 c | 287746 | 21502 579579 1719556 | 2147483647 266107 43 | 15.739 % |
413.82/414.16 c | 287924 | 21502 579579 1719556 | 2147483647 266285 43 | 15.739 % |
414.33/414.61 c | 288118 | 21502 579579 1719556 | 2147483647 266479 43 | 15.739 % |
414.92/415.24 c | 288331 | 21502 579579 1719556 | 2147483647 266692 43 | 15.739 % |
415.62/415.95 c | 288564 | 21502 579579 1719556 | 2147483647 266925 43 | 15.739 % |
416.32/416.64 c | 288822 | 21501 579579 1719556 | 2147483647 267179 43 | 15.755 % |
417.22/417.52 c | 289103 | 21501 579579 1719556 | 2147483647 267460 43 | 15.755 % |
418.12/418.42 c | 289416 | 21501 579579 1719556 | 2147483647 267773 43 | 15.755 % |
419.02/419.36 c | 289755 | 21501 579579 1719556 | 2147483647 268111 43 | 15.759 % |
420.22/420.57 c | 290127 | 21501 579579 1719556 | 2147483647 268483 43 | 15.759 % |
421.02/421.36 c | 290536 | 21501 579579 1719556 | 2147483647 268892 43 | 15.759 % |
422.31/422.67 c | 290986 | 21501 579579 1719556 | 2147483647 269342 43 | 15.759 % |
423.31/423.62 c | 291481 | 21501 579579 1719556 | 2147483647 269837 43 | 15.759 % |
425.02/425.35 c | 292023 | 21499 579579 1719556 | 2147483647 270377 43 | 15.767 % |
426.92/427.22 c | 292619 | 21498 579579 1719556 | 2147483647 270972 43 | 15.770 % |
428.62/428.93 c | 293274 | 21495 579579 1719556 | 2147483647 271624 43 | 15.782 % |
430.82/431.12 c | 293994 | 21485 578812 1717577 | 2147483647 272300 43 | 15.798 % |
432.92/433.23 c | 294786 | 21485 578812 1717577 | 2147483647 273092 43 | 15.798 % |
435.11/435.47 c | 295657 | 21485 578812 1717577 | 2147483647 273962 43 | 15.802 % |
437.71/438.09 c | 296615 | 21483 578812 1717577 | 2147483647 274918 43 | 15.810 % |
440.91/441.29 c | 297668 | 21482 578812 1717577 | 2147483647 275968 44 | 15.821 % |
444.92/445.21 c | 298826 | 21481 578812 1717577 | 2147483647 277125 44 | 15.825 % |
448.42/448.74 c | 300099 | 21480 578812 1717577 | 2147483647 278394 44 | 15.841 % |
452.71/453.07 c | 301501 | 21477 578812 1717577 | 2147483647 279792 44 | 15.857 % |
457.50/457.86 c | 303044 | 21476 578812 1717577 | 2147483647 281333 44 | 15.865 % |
463.10/463.43 c | 304738 | 21476 578812 1717577 | 2147483647 283027 44 | 15.865 % |
469.40/469.76 c | 306603 | 21476 578812 1717577 | 2147483647 284891 44 | 15.868 % |
475.90/476.27 c | 308653 | 21474 578812 1717577 | 2147483647 286938 44 | 15.880 % |
483.99/484.32 c | 310906 | 21463 577686 1714665 | 2147483647 289141 45 | 15.888 % |
492.79/493.17 c | 313388 | 21463 577686 1714665 | 2147483647 291619 45 | 15.908 % |
501.69/502.01 c | 316115 | 21462 577686 1714665 | 2147483647 294342 45 | 15.927 % |
513.68/514.06 c | 319112 | 21461 577686 1714665 | 2147483647 297337 45 | 15.935 % |
513.98/514.39 c | 319214 | 21461 577686 1714665 | 2147483647 297438 45 | 15.939 % |
514.39/514.74 c | 319325 | 21461 577686 1714665 | 2147483647 297549 45 | 15.939 % |
514.98/515.31 c | 319448 | 21461 577686 1714665 | 2147483647 297672 45 | 15.939 % |
515.38/515.79 c | 319585 | 21461 577686 1714665 | 2147483647 297809 45 | 15.939 % |
515.88/516.29 c | 319731 | 21461 577686 1714665 | 2147483647 297955 45 | 15.939 % |
516.48/516.90 c | 319892 | 21461 577686 1714665 | 2147483647 298116 45 | 15.939 % |
517.28/517.66 c | 320070 | 21461 577686 1714665 | 2147483647 298294 45 | 15.939 % |
517.98/518.37 c | 320263 | 21461 577686 1714665 | 2147483647 298487 45 | 15.939 % |
518.88/519.23 c | 320476 | 21461 577686 1714665 | 2147483647 298699 45 | 15.943 % |
519.78/520.14 c | 320709 | 21461 577686 1714665 | 2147483647 298932 45 | 15.943 % |
520.88/521.27 c | 320968 | 21461 577686 1714665 | 2147483647 299191 45 | 15.943 % |
521.88/522.21 c | 321249 | 21461 577686 1714665 | 2147483647 299472 45 | 15.943 % |
523.18/523.58 c | 321558 | 21461 577686 1714665 | 2147483647 299781 45 | 15.943 % |
524.48/524.84 c | 321897 | 21461 577686 1714665 | 2147483647 300120 45 | 15.943 % |
525.88/526.26 c | 322269 | 21461 577686 1714665 | 2147483647 300492 45 | 15.943 % |
527.38/527.77 c | 322681 | 21461 577686 1714665 | 2147483647 300904 45 | 15.943 % |
528.98/529.34 c | 323132 | 21461 577686 1714665 | 2147483647 301354 45 | 15.947 % |
530.57/530.94 c | 323626 | 21461 577686 1714665 | 2147483647 301847 45 | 15.951 % |
532.37/532.79 c | 324171 | 21461 577686 1714665 | 2147483647 302391 45 | 15.955 % |
534.87/535.29 c | 324770 | 21445 576776 1712397 | 2147483647 302889 45 | 15.955 % |
536.97/537.35 c | 325428 | 21445 576776 1712397 | 2147483647 303547 45 | 15.955 % |
539.67/540.02 c | 326154 | 21445 576776 1712397 | 2147483647 304272 45 | 15.959 % |
542.67/543.03 c | 326947 | 21444 576776 1712397 | 2147483647 305064 45 | 15.963 % |
546.16/546.51 c | 327819 | 21444 576776 1712397 | 2147483647 305933 45 | 15.974 % |
549.96/550.34 c | 328777 | 21444 576776 1712397 | 2147483647 306891 45 | 15.974 % |
554.15/554.54 c | 329830 | 21444 576776 1712397 | 2147483647 307944 45 | 15.974 % |
558.85/559.24 c | 330989 | 21444 576776 1712397 | 2147483647 309102 45 | 15.978 % |
564.15/564.52 c | 332262 | 21444 576776 1712397 | 2147483647 310373 45 | 15.986 % |
569.55/569.93 c | 333662 | 21444 576776 1712397 | 2147483647 311772 45 | 15.990 % |
575.75/576.20 c | 335202 | 21444 576776 1712397 | 2147483647 313312 45 | 15.990 % |
581.74/582.17 c | 336896 | 21444 576776 1712397 | 2147483647 315006 46 | 15.990 % |
587.44/587.85 c ===============================================================================
587.44/587.85 c restarts : 736
587.44/587.85 c conflicts : 338440 (582 /sec)
587.44/587.85 c decisions : 1624178 (1.67 % random) (2791 /sec)
587.44/587.85 c propagations : 214809773 (369084 /sec)
587.44/587.85 c conflict literals : 15004081 (44.63 % deleted)
587.44/587.85 c Memory used : 104.13 MB
587.44/587.85 c CPU time : 582.009 s
587.44/587.85 c
587.44/587.85 s UNSATISFIABLE
587.44/587.87 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832219-1242770362/watcher-1832219-1242770362 -o /tmp/evaluation-result-1832219-1242770362/solver-1832219-1242770362 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832219-1242770362.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: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 6981
/proc/meminfo: memFree=1846680/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=0
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 276 0 0 0 0 0 0 0 20 0 1 0 305064447 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269930430546 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/6981/statm: 1339 235 195 169 0 50 0
[pid=6982] ppid=6981 vsize=5356 CPUtime=0
/proc/6982/stat : 6982 (SatELiteGTI) S 6981 6981 6825 0 -1 4194368 51 25 0 0 0 0 0 0 21 0 1 0 305064447 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/6982/statm: 1339 238 198 169 0 50 0
[pid=6984] ppid=6982 vsize=192 CPUtime=0
/proc/6984/stat : 6984 (sed) R 6982 6981 6825 0 -1 4194304 42 0 0 0 0 0 0 0 24 0 1 0 305064447 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 269927642505 0 0 4096 0 0 0 0 17 1 0 0
/proc/6984/statm: 48 23 16 11 0 11 0
[startup+0.033635 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 6981
/proc/meminfo: memFree=1846680/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=0
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 305064447 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6981/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101641 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 6981
/proc/meminfo: memFree=1846680/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=0
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 305064447 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6981/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301663 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 6981
/proc/meminfo: memFree=1846680/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=0
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 305064447 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6981/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70171 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 6981
/proc/meminfo: memFree=1846680/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=0
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 305064447 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6981/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50281 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6986
/proc/meminfo: memFree=1794632/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=0
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 305064447 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6981/statm: 1339 237 197 169 0 50 0
[pid=6986] ppid=6981 vsize=64628 CPUtime=1.49
/proc/6986/stat : 6986 (SatELite_releas) R 6981 6981 6825 0 -1 4194304 14964 0 0 0 140 9 0 0 25 0 1 0 305064448 66179072 14892 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/6986/statm: 16157 14892 76 173 0 15982 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69984
[startup+3.10199 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6986
/proc/meminfo: memFree=1775368/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=0
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 305064447 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6981/statm: 1339 237 197 169 0 50 0
[pid=6986] ppid=6981 vsize=87916 CPUtime=3.09
/proc/6986/stat : 6986 (SatELite_releas) R 6981 6981 6825 0 -1 4194304 18251 0 0 0 299 10 0 0 25 0 1 0 305064448 90025984 18179 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 0 0 0
/proc/6986/statm: 21979 18179 76 173 0 21804 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93272
[startup+6.30137 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6987
/proc/meminfo: memFree=1816520/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=38772 CPUtime=1.07
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 9313 0 0 0 101 6 0 0 25 0 1 0 305064968 39702528 9299 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6987/statm: 9693 9299 77 171 0 9520 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 44128
[startup+12.7011 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6987
/proc/meminfo: memFree=1789960/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=40692 CPUtime=7.47
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 9797 0 0 0 740 7 0 0 25 0 1 0 305064968 41668608 9783 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/6987/statm: 10173 9783 77 171 0 10000 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 46048
[startup+25.5016 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6987
/proc/meminfo: memFree=1787592/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=43108 CPUtime=20.26
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 10401 0 0 0 2018 8 0 0 25 0 1 0 305064968 44142592 10387 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/6987/statm: 10777 10387 77 171 0 10604 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 48464
[startup+51.1016 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6987
/proc/meminfo: memFree=1783624/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=46960 CPUtime=45.85
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 11369 0 0 0 4575 10 0 0 25 0 1 0 305064968 48087040 11355 1992294400 134512640 135215339 4294956240 18446744073709551615 134528583 0 0 4096 3 0 0 0 17 0 0 0
/proc/6987/statm: 11740 11355 77 171 0 11567 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 52316
[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6993
/proc/meminfo: memFree=1775368/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=54928 CPUtime=97.01
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 13333 0 0 0 9689 12 0 0 25 0 1 0 305064968 56246272 13319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/6987/statm: 13732 13319 77 171 0 13559 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 60284
[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6993
/proc/meminfo: memFree=1766920/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=63512 CPUtime=156.97
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 15474 0 0 0 15682 15 0 0 25 0 1 0 305064968 65036288 15460 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/6987/statm: 15878 15460 77 171 0 15705 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 68868
[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6993
/proc/meminfo: memFree=1758536/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=71736 CPUtime=216.94
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 17538 0 0 0 21675 19 0 0 25 0 1 0 305064968 73457664 17524 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/6987/statm: 17934 17524 77 171 0 17761 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 77092
[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6993
/proc/meminfo: memFree=1750984/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=79552 CPUtime=276.9
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 19418 0 0 0 27668 22 0 0 25 0 1 0 305064968 81461248 19404 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6987/statm: 19888 19404 77 171 0 19715 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 84908
[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6993
/proc/meminfo: memFree=1745928/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=84324 CPUtime=336.87
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 20638 0 0 0 33663 24 0 0 25 0 1 0 305064968 86347776 20624 1992294400 134512640 135215339 4294956240 18446744073709551615 134532653 0 0 4096 3 0 0 0 17 0 0 0
/proc/6987/statm: 21081 20624 77 171 0 20908 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 89680
[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6993
/proc/meminfo: memFree=1739016/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=91092 CPUtime=396.83
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 22354 0 0 0 39658 25 0 0 25 0 1 0 305064968 93278208 22340 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6987/statm: 22773 22340 77 171 0 22600 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 96448
[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6993
/proc/meminfo: memFree=1732808/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=97172 CPUtime=456.82
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 23886 0 0 0 45653 29 0 0 25 0 1 0 305064968 99504128 23872 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6987/statm: 24293 23872 77 171 0 24120 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 102528
[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6993
/proc/meminfo: memFree=1727880/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=101956 CPUtime=516.79
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 25093 0 0 0 51649 30 0 0 25 0 1 0 305064968 104402944 25079 1992294400 134512640 135215339 4294956240 18446744073709551615 134538435 0 0 4096 3 0 0 0 17 0 0 0
/proc/6987/statm: 25489 25079 77 171 0 25316 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 107312
[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6993
/proc/meminfo: memFree=1723848/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=106360 CPUtime=576.75
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 26067 0 0 0 57645 30 0 0 25 0 1 0 305064968 108912640 26053 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/6987/statm: 26590 26053 77 171 0 26417 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 111716
Solver just ended. Dumping a history of the last processes samples
[startup+585.501 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6993
/proc/meminfo: memFree=1723592/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=106624 CPUtime=579.95
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 26110 0 0 0 57965 30 0 0 25 0 1 0 305064968 109182976 26096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6987/statm: 26656 26096 77 171 0 26483 0
Current children cumulated CPU time (s) 585.14
Current children cumulated vsize (KiB) 111980
[startup+587.101 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6993
/proc/meminfo: memFree=1723528/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=106624 CPUtime=581.55
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 26130 0 0 0 58125 30 0 0 25 0 1 0 305064968 109182976 26116 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/6987/statm: 26656 26116 77 171 0 26483 0
Current children cumulated CPU time (s) 586.74
Current children cumulated vsize (KiB) 111980
[startup+587.502 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6993
/proc/meminfo: memFree=1723528/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=106624 CPUtime=581.95
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 26134 0 0 0 58165 30 0 0 25 0 1 0 305064968 109182976 26120 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/6987/statm: 26656 26120 77 171 0 26483 0
Current children cumulated CPU time (s) 587.14
Current children cumulated vsize (KiB) 111980
[startup+587.702 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6993
/proc/meminfo: memFree=1723528/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=106624 CPUtime=582.15
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 26135 0 0 0 58185 30 0 0 25 0 1 0 305064968 109182976 26121 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6987/statm: 26656 26121 77 171 0 26483 0
Current children cumulated CPU time (s) 587.34
Current children cumulated vsize (KiB) 111980
[startup+587.802 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 6993
/proc/meminfo: memFree=1723528/2055920 swapFree=4179528/4192956
[pid=6981] ppid=6979 vsize=5356 CPUtime=5.19
/proc/6981/stat : 6981 (SatELiteGTI) S 6979 6981 6825 0 -1 4194304 336 26970 0 0 0 0 500 19 16 0 1 0 305064447 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6981/statm: 1339 239 197 169 0 50 0
[pid=6987] ppid=6981 vsize=106624 CPUtime=582.25
/proc/6987/stat : 6987 (minisat_static) R 6981 6981 6825 0 -1 4194304 26136 0 0 0 58195 30 0 0 25 0 1 0 305064968 109182976 26122 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6987/statm: 26656 26122 77 171 0 26483 0
Current children cumulated CPU time (s) 587.44
Current children cumulated vsize (KiB) 111980
Child status: 20
Real time (s): 587.884
CPU time (s): 587.549
CPU user time (s): 587.011
CPU system time (s): 0.537918
CPU usage (%): 99.943
Max. virtual memory (cumulated for all children) (KiB): 111980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 587.011
system time used= 0.537918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53602
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= 48
involuntary context switches= 2365
runsolver used 0.671897 second user time and 1.41378 second system time
The end
Begin job on node53 at 2009-05-19 23:59:24
IDJOB=1832219
IDBENCH=24634
IDSOLVER=671
FILE ID=node53/1832219-1242770362
PBS_JOBID= 9322248
Free space on /tmp= 66044 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832219-1242770362/watcher-1832219-1242770362 -o /tmp/evaluation-result-1832219-1242770362/solver-1832219-1242770362 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832219-1242770362.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c7db94a671d9411eb90a6ffa8f8c530f
RANDOM SEED=1960364712
node53.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.245
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.245
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1847160 kB
Buffers: 12908 kB
Cached: 158840 kB
SwapCached: 7568 kB
Active: 35440 kB
Inactive: 145904 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1847160 kB
SwapTotal: 4192956 kB
SwapFree: 4179528 kB
Dirty: 13688 kB
Writeback: 0 kB
Mapped: 13460 kB
Slab: 13464 kB
Committed_AS: 914624 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66040 MiB
End job on node53 at 2009-05-20 00:09:12