0.00/0.00 c Parsing...
0.04/0.07 c ==============================================================================
0.04/0.07 c | | ORIGINAL | LEARNT | |
0.04/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.04/0.07 c ==============================================================================
0.04/0.07 c | 0 | 77941 262272 | 23382 0 0 nan | 0.000 % |
0.62/0.62 c | 0 | 76060 260188 | -- 0 -- -- | -- | -1881/-2084
0.62/0.62 c ==============================================================================
0.62/0.62 c Result : #vars: 12369 #clauses: 76060 #literals: 260188
0.62/0.62 c CPU time: 0.62 s
0.62/0.62 c ==============================================================================
0.72/0.71 c This is MiniSat 2.0 beta
0.72/0.71 c WARNING: for repeatability, setting FPU to use double precision
0.72/0.71 c ============================[ Problem Statistics ]=============================
0.72/0.71 c | |
0.72/0.71 c | Number of variables: 12369 |
0.72/0.71 c | Number of clauses: 76060 |
0.72/0.76 c | Parsing time: 0.05 s |
0.72/0.77 c ============================[ Search Statistics ]==============================
0.72/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.72/0.77 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.72/0.77 c ===============================================================================
0.72/0.77 c | 0 | 12369 76060 260188 | 25353 0 nan | 0.000 % |
0.72/0.78 c | 100 | 12354 76060 260188 | 25353 88 3 | 0.146 % |
0.72/0.85 c | 200 | 12350 76060 260188 | 25353 184 3 | 0.202 % |
0.72/0.89 c | 302 | 12349 76060 260188 | 25353 286 4 | 0.202 % |
0.72/0.92 c | 412 | 12343 75668 258857 | 25353 378 5 | 0.210 % |
0.72/0.95 c | 513 | 12342 75668 258857 | 25353 478 6 | 0.218 % |
0.72/0.98 c | 625 | 12334 75668 258857 | 25353 582 5 | 0.283 % |
1.02/1.04 c | 746 | 12331 75335 257686 | 25353 685 5 | 0.307 % |
1.02/1.06 c | 847 | 12331 75335 257686 | 25353 786 6 | 0.307 % |
1.13/1.13 c | 957 | 12328 75335 257686 | 25353 893 9 | 0.331 % |
1.13/1.17 c | 1079 | 12320 75244 257352 | 25353 996 8 | 0.396 % |
1.13/1.20 c | 1213 | 12318 75244 257352 | 25353 1128 8 | 0.412 % |
1.22/1.27 c | 1313 | 12318 75244 257352 | 25353 1228 8 | 0.412 % |
1.32/1.35 c | 1423 | 12316 75115 256910 | 25353 1325 8 | 0.428 % |
1.32/1.38 c | 1544 | 12315 75115 256910 | 25353 1445 8 | 0.437 % |
1.42/1.44 c | 1678 | 12312 75115 256910 | 25353 1576 8 | 0.461 % |
1.42/1.48 c | 1824 | 12311 75047 256681 | 25353 1712 7 | 0.469 % |
1.42/1.49 c | 1927 | 12311 75047 256681 | 25353 1815 7 | 0.469 % |
1.52/1.53 c | 2037 | 12307 75047 256681 | 25353 1923 7 | 0.501 % |
1.52/1.58 c | 2159 | 12303 75047 256681 | 25353 2041 7 | 0.534 % |
1.62/1.66 c | 2292 | 12303 75047 256681 | 25353 2174 7 | 0.534 % |
1.72/1.79 c | 2438 | 12301 74956 256377 | 25353 2314 7 | 0.550 % |
1.82/1.84 c | 2598 | 12297 74935 256308 | 25353 2468 7 | 0.615 % |
1.82/1.87 c | 2698 | 12295 74935 256308 | 25353 2568 7 | 0.614 % |
1.82/1.90 c | 2810 | 12295 74935 256308 | 25353 2680 7 | 0.614 % |
1.92/1.92 c | 2932 | 12292 74935 256308 | 25353 2799 7 | 0.647 % |
1.92/1.94 c | 3066 | 12292 74935 256308 | 25353 2933 8 | 0.647 % |
2.02/2.02 c | 3214 | 12280 74935 256308 | 25353 3078 8 | 0.720 % |
2.12/2.19 c | 3374 | 12278 74625 255236 | 25353 3211 8 | 0.736 % |
2.23/2.23 c | 3551 | 12278 74625 255236 | 25353 3388 8 | 0.736 % |
2.23/2.25 c | 3651 | 12277 74603 255160 | 25353 3481 8 | 0.744 % |
2.23/2.28 c | 3761 | 12276 74603 255160 | 25353 3590 8 | 0.752 % |
2.32/2.39 c | 3883 | 12273 74603 255160 | 25353 3709 8 | 0.776 % |
2.32/2.41 c | 4016 | 12272 74575 255070 | 25353 3807 8 | 0.784 % |
2.42/2.45 c | 4162 | 12268 74575 255070 | 25353 3949 8 | 0.817 % |
2.42/2.48 c | 4322 | 12268 74575 255070 | 25353 4109 8 | 0.817 % |
2.62/2.64 c | 4498 | 12265 74474 254726 | 25353 4272 8 | 0.841 % |
2.62/2.69 c | 4693 | 12259 74474 254726 | 25353 4461 8 | 0.889 % |
2.72/2.71 c | 4793 | 12257 74474 254726 | 25353 4559 8 | 1.083 % |
2.72/2.74 c | 4904 | 12244 74474 254726 | 25353 4670 8 | 1.083 % |
2.72/2.80 c | 5025 | 12234 74092 253436 | 25353 4775 8 | 1.091 % |
2.82/2.86 c | 5158 | 12229 74092 253436 | 25353 4903 8 | 1.132 % |
2.82/2.90 c | 5306 | 12229 74092 253436 | 25353 5051 8 | 1.132 % |
2.92/2.96 c | 5466 | 12228 74051 253304 | 25353 5188 8 | 1.140 % |
3.02/3.04 c | 5642 | 12216 74051 253304 | 25353 5360 8 | 1.383 % |
3.12/3.19 c | 5836 | 12207 74051 253304 | 25353 5552 8 | 1.399 % |
3.22/3.27 c | 6048 | 12196 73715 252168 | 25353 5756 8 | 1.399 % |
3.33/3.32 c | 6148 | 12193 73715 252168 | 25353 5854 8 | 1.423 % |
3.33/3.33 c | 6260 | 12193 73715 252168 | 25353 5966 8 | 1.423 % |
3.33/3.34 c | 6383 | 12193 73715 252168 | 25353 6089 8 | 1.423 % |
3.33/3.40 c | 6516 | 12192 73676 252041 | 25353 6220 8 | 1.431 % |
3.42/3.49 c | 6663 | 12189 73676 252041 | 25353 6364 8 | 1.455 % |
3.52/3.59 c | 6825 | 12185 73676 252041 | 25353 6522 8 | 1.488 % |
3.62/3.61 c | 7001 | 12185 73639 251928 | 25353 6656 8 | 1.488 % |
3.62/3.66 c | 7194 | 12182 73639 251928 | 25353 6846 8 | 1.512 % |
3.62/3.68 c | 7406 | 12182 73639 251928 | 25353 7058 8 | 1.512 % |
3.82/3.81 c | 7640 | 12176 73479 251359 | 25353 7275 8 | 1.560 % |
3.82/3.85 c | 7740 | 12175 73479 251359 | 25353 7374 8 | 1.568 % |
3.82/3.90 c | 7850 | 12172 73479 251359 | 25353 7481 8 | 1.593 % |
4.02/4.01 c | 7973 | 12169 73406 251106 | 25353 7508 8 | 1.617 % |
4.02/4.06 c | 8107 | 12167 73406 251106 | 25353 7640 8 | 1.633 % |
4.12/4.15 c | 8253 | 12164 73406 251106 | 25353 7783 8 | 1.657 % |
4.12/4.17 c | 8413 | 12164 73406 251106 | 25353 7943 8 | 1.657 % |
4.22/4.23 c | 8589 | 12156 73334 250868 | 25353 8085 9 | 1.746 % |
4.22/4.30 c | 8782 | 12153 73334 250868 | 25353 8276 9 | 1.762 % |
4.32/4.34 c | 8994 | 12153 73334 250868 | 25353 8488 9 | 1.762 % |
4.43/4.42 c | 9227 | 12145 73089 250019 | 25353 8675 9 | 1.811 % |
4.52/4.52 c | 9483 | 12145 73089 250019 | 25353 8931 9 | 1.811 % |
4.52/4.55 c | 9583 | 12140 73089 250019 | 25353 9026 9 | 1.859 % |
4.52/4.61 c | 9694 | 12138 73044 249880 | 25353 9116 9 | 1.868 % |
4.62/4.66 c | 9816 | 12138 73044 249880 | 25353 9238 9 | 1.868 % |
4.62/4.70 c | 9949 | 12138 73044 249880 | 25353 9371 9 | 1.868 % |
4.72/4.77 c | 10095 | 12136 73044 249880 | 2147483647 9515 9 | 1.884 % |
4.82/4.82 c | 10255 | 12135 73032 249844 | 2147483647 9658 9 | 1.892 % |
4.92/4.94 c | 10431 | 12133 73032 249844 | 2147483647 9832 9 | 1.908 % |
4.92/4.99 c | 10624 | 12132 73032 249844 | 2147483647 10024 9 | 1.916 % |
5.22/5.24 c | 10836 | 12128 73011 249782 | 2147483647 10222 9 | 1.948 % |
5.22/5.30 c | 11069 | 12128 73011 249782 | 2147483647 10455 9 | 1.948 % |
5.32/5.39 c | 11325 | 12127 73009 249776 | 2147483647 10701 9 | 1.957 % |
5.43/5.48 c | 11606 | 12127 73009 249776 | 2147483647 10982 9 | 1.957 % |
5.43/5.50 c | 11706 | 12127 73009 249776 | 2147483647 11082 9 | 1.957 % |
5.43/5.51 c | 11816 | 12127 73009 249776 | 2147483647 11192 9 | 1.957 % |
5.53/5.56 c | 11938 | 12127 73009 249776 | 2147483647 11314 9 | 1.957 % |
5.63/5.65 c | 12071 | 12116 73001 249752 | 2147483647 11438 9 | 2.046 % |
5.63/5.71 c | 12217 | 12113 73001 249752 | 2147483647 11581 9 | 2.070 % |
5.73/5.77 c | 12377 | 12105 73001 249752 | 2147483647 11735 9 | 2.142 % |
5.73/5.81 c | 12553 | 12102 73001 249752 | 2147483647 11910 9 | 2.167 % |
5.83/5.87 c | 12746 | 12100 72777 249010 | 2147483647 12030 9 | 2.175 % |
5.93/5.99 c | 12958 | 12097 72777 249010 | 2147483647 12240 9 | 2.199 % |
6.03/6.07 c | 13192 | 12095 72756 248945 | 2147483647 12453 10 | 2.215 % |
6.13/6.15 c | 13448 | 12088 72756 248945 | 2147483647 12704 10 | 2.272 % |
6.33/6.33 c | 13731 | 12084 72756 248945 | 2147483647 12983 10 | 2.304 % |
6.43/6.42 c | 14040 | 12080 72655 248607 | 2147483647 13229 10 | 2.336 % |
6.43/6.48 c | 14140 | 12076 72655 248607 | 2147483647 13326 10 | 2.369 % |
6.43/6.51 c | 14250 | 12076 72655 248607 | 2147483647 13436 10 | 2.369 % |
6.53/6.53 c | 14371 | 12076 72655 248607 | 2147483647 13557 10 | 2.369 % |
6.53/6.61 c | 14504 | 12075 72655 248607 | 2147483647 13689 10 | 2.377 % |
6.63/6.68 c | 14651 | 12073 72608 248457 | 2147483647 13717 10 | 2.393 % |
6.63/6.70 c | 14812 | 12073 72608 248457 | 2147483647 13878 10 | 2.393 % |
6.73/6.73 c | 14993 | 12073 72608 248457 | 2147483647 14059 10 | 2.393 % |
6.73/6.75 c | 15186 | 12073 72608 248457 | 2147483647 14252 10 | 2.393 % |
6.83/6.83 c | 15399 | 12070 72608 248457 | 2147483647 14462 10 | 2.417 % |
6.93/6.93 c | 15632 | 12060 72584 248385 | 2147483647 14646 10 | 2.563 % |
7.03/7.06 c | 15889 | 12057 72584 248385 | 2147483647 14903 10 | 2.563 % |
7.13/7.21 c | 16172 | 12045 72429 247878 | 2147483647 15149 10 | 2.619 % |
7.23/7.26 c | 16481 | 12045 72429 247878 | 2147483647 15458 10 | 2.619 % |
7.33/7.41 c | 16822 | 12040 72429 247878 | 2147483647 15794 10 | 2.660 % |
7.43/7.47 c | 16922 | 12040 72367 247684 | 2147483647 15843 10 | 2.660 % |
7.53/7.52 c | 17033 | 12039 72367 247684 | 2147483647 15953 10 | 2.668 % |
7.63/7.62 c | 17154 | 12036 72367 247684 | 2147483647 16071 10 | 2.692 % |
7.63/7.69 c | 17287 | 12035 72367 247684 | 2147483647 16203 10 | 2.700 % |
7.63/7.72 c | 17435 | 12033 72340 247593 | 2147483647 16319 10 | 2.716 % |
7.73/7.76 c | 17595 | 12030 72340 247593 | 2147483647 16475 10 | 2.749 % |
7.93/7.94 c | 17772 | 12023 72340 247593 | 2147483647 16648 10 | 2.797 % |
8.03/8.05 c | 17965 | 12023 72340 247593 | 2147483647 16841 10 | 2.797 % |
8.13/8.18 c | 18177 | 12019 72282 247416 | 2147483647 16984 10 | 2.830 % |
8.23/8.22 c | 18410 | 12019 72282 247416 | 2147483647 17217 10 | 2.830 % |
8.23/8.26 c | 18666 | 12019 72282 247416 | 2147483647 17473 10 | 2.830 % |
8.33/8.38 c | 18947 | 12018 72282 247416 | 2147483647 17752 11 | 2.854 % |
8.53/8.52 c | 19256 | 12014 72212 247182 | 2147483647 18037 11 | 2.870 % |
8.53/8.62 c | 19595 | 12011 72212 247182 | 2147483647 18373 10 | 2.894 % |
8.73/8.77 c | 19968 | 12009 72161 247006 | 2147483647 18720 11 | 2.911 % |
8.83/8.85 c | 20068 | 11998 72161 247006 | 2147483647 18812 11 | 3.072 % |
8.83/8.90 c | 20179 | 11998 72161 247006 | 2147483647 18923 11 | 3.072 % |
8.93/8.94 c | 20301 | 11993 72161 247006 | 2147483647 19043 11 | 3.105 % |
8.93/9.02 c | 20434 | 11982 71914 246170 | 2147483647 19086 11 | 3.129 % |
9.13/9.12 c | 20581 | 11981 71914 246170 | 2147483647 19232 11 | 3.137 % |
9.13/9.17 c | 20741 | 11979 71914 246170 | 2147483647 19390 11 | 3.153 % |
9.23/9.25 c | 20918 | 11977 71914 246170 | 2147483647 19565 11 | 3.169 % |
9.23/9.28 c | 21111 | 11977 71914 246170 | 2147483647 19758 11 | 3.169 % |
9.33/9.35 c | 21323 | 11973 71882 246072 | 2147483647 19922 11 | 3.202 % |
9.43/9.43 c | 21556 | 11973 71882 246072 | 2147483647 20155 11 | 3.202 % |
9.53/9.57 c | 21813 | 11970 71882 246072 | 2147483647 20410 11 | 3.226 % |
9.63/9.63 c | 22095 | 11970 71882 246072 | 2147483647 20692 11 | 3.226 % |
9.73/9.72 c | 22404 | 11970 71882 246072 | 2147483647 21001 11 | 3.226 % |
9.73/9.81 c | 22743 | 11970 71838 245932 | 2147483647 21323 11 | 3.226 % |
9.93/9.99 c | 23115 | 11967 71838 245932 | 2147483647 21692 11 | 3.250 % |
10.13/10.16 c | 23527 | 11967 71838 245932 | 2147483647 22104 11 | 3.250 % |
10.23/10.23 c | 23627 | 11966 71817 245863 | 2147483647 22179 11 | 3.259 % |
10.23/10.28 c | 23737 | 11966 71817 245863 | 2147483647 22289 11 | 3.258 % |
10.33/10.34 c | 23858 | 11966 71817 245863 | 2147483647 22410 11 | 3.258 % |
10.43/10.44 c | 23991 | 11964 71817 245863 | 2147483647 22541 11 | 3.274 % |
10.43/10.52 c | 24137 | 11963 71817 245863 | 2147483647 22686 11 | 3.283 % |
10.53/10.59 c | 24297 | 11963 71817 245863 | 2147483647 22846 11 | 3.282 % |
10.63/10.69 c | 24473 | 11963 71794 245793 | 2147483647 23009 12 | 3.282 % |
10.73/10.74 c | 24666 | 11962 71794 245793 | 2147483647 23201 12 | 3.290 % |
10.73/10.79 c | 24879 | 11962 71794 245793 | 2147483647 23414 12 | 3.290 % |
10.83/10.85 c | 25113 | 11958 71794 245793 | 2147483647 23646 12 | 3.339 % |
10.83/10.91 c | 25370 | 11958 71794 245793 | 2147483647 23903 12 | 3.339 % |
10.93/11.01 c | 25653 | 11953 71730 245584 | 2147483647 24180 12 | 3.363 % |
11.13/11.14 c | 25964 | 11953 71730 245584 | 2147483647 24491 12 | 3.363 % |
11.23/11.26 c | 26304 | 11952 71730 245584 | 2147483647 24830 12 | 3.371 % |
11.33/11.38 c | 26677 | 11951 71699 245488 | 2147483647 25202 13 | 3.379 % |
11.43/11.46 c | 27086 | 11951 71699 245488 | 2147483647 25611 13 | 3.379 % |
11.63/11.71 c | 27535 | 11951 71699 245488 | 2147483647 26060 13 | 3.379 % |
11.73/11.77 c | 27635 | 11945 71691 245464 | 2147483647 26155 13 | 3.428 % |
11.73/11.81 c | 27745 | 11940 71691 245464 | 2147483647 26263 13 | 3.476 % |
11.83/11.86 c | 27866 | 11939 71691 245464 | 2147483647 26384 13 | 3.476 % |
11.83/11.89 c | 28000 | 11939 71691 245464 | 2147483647 26518 13 | 3.476 % |
11.93/11.98 c | 28147 | 11937 71691 245464 | 2147483647 26663 13 | 3.493 % |
12.03/12.02 c | 28309 | 11937 71691 245464 | 2147483647 26825 13 | 3.493 % |
12.03/12.06 c | 28485 | 11937 71691 245464 | 2147483647 27001 13 | 3.493 % |
12.13/12.14 c | 28678 | 11933 71691 245464 | 2147483647 27190 13 | 3.525 % |
12.23/12.29 c | 28892 | 11930 71517 244882 | 2147483647 27083 13 | 3.549 % |
12.33/12.38 c | 29127 | 11928 71517 244882 | 2147483647 27316 14 | 3.565 % |
12.43/12.51 c | 29383 | 11926 71517 244882 | 2147483647 27571 14 | 3.590 % |
12.63/12.65 c | 29664 | 11923 71517 244882 | 2147483647 27851 14 | 3.614 % |
12.73/12.76 c | 29975 | 11921 71455 244686 | 2147483647 28109 14 | 3.622 % |
12.93/12.95 c | 30314 | 11917 71455 244686 | 2147483647 28445 14 | 3.654 % |
13.03/13.08 c | 30686 | 11916 71455 244686 | 2147483647 28816 14 | 3.662 % |
13.33/13.32 c | 31095 | 11915 71401 244512 | 2147483647 29215 14 | 3.670 % |
13.43/13.50 c | 31544 | 11915 71401 244512 | 2147483647 29664 14 | 3.670 % |
13.73/13.77 c | 32037 | 11910 71391 244482 | 2147483647 30141 14 | 3.711 % |
13.73/13.81 c | 32138 | 11910 71391 244482 | 2147483647 30242 14 | 3.711 % |
13.83/13.87 c | 32248 | 11910 71391 244482 | 2147483647 30351 14 | 3.727 % |
13.93/13.93 c | 32369 | 11908 71391 244482 | 2147483647 30472 14 | 3.727 % |
13.93/13.99 c | 32503 | 11908 71391 244482 | 2147483647 30606 14 | 3.727 % |
14.03/14.09 c | 32649 | 11907 71391 244482 | 2147483647 30751 14 | 3.735 % |
14.13/14.16 c | 32809 | 11907 71391 244482 | 2147483647 30911 14 | 3.735 % |
14.13/14.21 c | 32985 | 11907 71391 244482 | 2147483647 31087 14 | 3.735 % |
14.23/14.31 c | 33178 | 11906 71343 244333 | 2147483647 31263 14 | 3.743 % |
14.33/14.38 c | 33390 | 11906 71343 244333 | 2147483647 31475 14 | 3.743 % |
14.43/14.43 c | 33623 | 11906 71343 244333 | 2147483647 31708 14 | 3.743 % |
14.53/14.57 c | 33881 | 11906 71343 244333 | 2147483647 31966 14 | 3.743 % |
14.63/14.62 c | 34166 | 11906 71343 244333 | 2147483647 32251 14 | 3.743 % |
14.63/14.70 c | 34475 | 11906 71343 244333 | 2147483647 32560 15 | 3.743 % |
14.73/14.78 c | 34816 | 11906 71343 244333 | 2147483647 32901 15 | 3.743 % |
14.93/14.95 c | 35189 | 11906 71334 244303 | 2147483647 33273 15 | 3.743 % |
15.13/15.12 c | 35600 | 11905 71334 244303 | 2147483647 33683 15 | 3.751 % |
15.23/15.28 c | 36049 | 11904 71334 244303 | 2147483647 34131 15 | 3.759 % |
15.43/15.42 c | 36542 | 11901 71308 244222 | 2147483647 34598 15 | 3.784 % |
15.63/15.65 c | 37084 | 11899 71308 244222 | 2147483647 35138 15 | 3.800 % |
15.63/15.69 c | 37184 | 11896 71308 244222 | 2147483647 35235 15 | 3.824 % |
15.63/15.71 c | 37294 | 11896 71308 244222 | 2147483647 35345 15 | 3.824 % |
15.73/15.73 c | 37416 | 11896 71308 244222 | 2147483647 35467 15 | 3.824 % |
15.73/15.78 c | 37551 | 11896 71308 244222 | 2147483647 35602 15 | 3.824 % |
15.83/15.84 c | 37697 | 11895 71308 244222 | 2147483647 35747 15 | 3.832 % |
15.83/15.87 c | 37857 | 11893 71308 244222 | 2147483647 35906 15 | 3.848 % |
15.93/16.01 c | 38034 | 11892 71189 242127 | 2147483647 36066 15 | 3.856 % |
16.13/16.13 c | 38229 | 11891 71189 242127 | 2147483647 36260 16 | 3.865 % |
16.23/16.27 c | 38444 | 11891 71189 242127 | 2147483647 36475 16 | 3.865 % |
16.43/16.42 c | 38677 | 11890 71189 242127 | 2147483647 36707 16 | 3.873 % |
16.53/16.56 c | 38933 | 11890 71189 242127 | 2147483647 36963 16 | 3.873 % |
16.73/16.74 c | 39214 | 11888 71189 242127 | 2147483647 37242 16 | 3.889 % |
16.83/16.84 c | 39524 | 11887 71151 242000 | 2147483647 37546 16 | 3.897 % |
17.03/17.05 c | 39863 | 11886 71151 242000 | 2147483647 37884 16 | 3.905 % |
17.13/17.17 c | 40237 | 11886 71151 242000 | 2147483647 38258 16 | 3.905 % |
17.33/17.34 c | 40646 | 11886 71151 242000 | 2147483647 38667 16 | 3.905 % |
17.43/17.51 c | 41095 | 11884 71151 242000 | 2147483647 39114 16 | 3.929 % |
17.73/17.76 c | 41588 | 11882 71103 241849 | 2147483647 39601 17 | 3.937 % |
18.03/18.04 c | 42130 | 11879 71103 241849 | 2147483647 40138 17 | 3.978 % |
18.23/18.30 c | 42726 | 11862 71103 241849 | 2147483647 40731 17 | 4.115 % |
18.33/18.33 c | 42827 | 11860 70840 240952 | 2147483647 40796 17 | 4.115 % |
18.33/18.38 c | 42939 | 11860 70840 240952 | 2147483647 40908 17 | 4.115 % |
18.33/18.40 c | 43060 | 11860 70840 240952 | 2147483647 41029 17 | 4.115 % |
18.43/18.48 c | 43194 | 11857 70840 240952 | 2147483647 41161 17 | 4.139 % |
18.53/18.54 c | 43341 | 11857 70840 240952 | 2147483647 41308 17 | 4.139 % |
18.53/18.60 c | 43501 | 11854 70840 240952 | 2147483647 41465 17 | 4.164 % |
18.73/18.72 c | 43679 | 11853 70840 240952 | 2147483647 41642 17 | 4.172 % |
18.73/18.76 c | 43873 | 11853 70840 240952 | 2147483647 41836 17 | 4.172 % |
18.83/18.87 c | 44085 | 11852 70840 240952 | 2147483647 42047 17 | 4.180 % |
18.93/18.99 c | 44318 | 11852 70840 240952 | 2147483647 42280 17 | 4.180 % |
19.03/19.10 c | 44575 | 11852 70840 240952 | 2147483647 42537 17 | 4.180 % |
19.13/19.21 c | 44856 | 11852 70782 240770 | 2147483647 42807 17 | 4.180 % |
19.33/19.36 c | 45165 | 11850 70782 240770 | 2147483647 43114 18 | 4.196 % |
19.43/19.46 c | 45506 | 11850 70782 240770 | 2147483647 43455 18 | 4.196 % |
19.63/19.64 c | 45880 | 11845 70782 240770 | 2147483647 43827 18 | 4.236 % |
19.73/19.79 c | 46291 | 11845 70782 240770 | 2147483647 44238 18 | 4.236 % |
19.83/19.90 c | 46741 | 11845 70782 240770 | 2147483647 44688 18 | 4.236 % |
20.13/20.15 c | 47234 | 11843 70782 240770 | 2147483647 45179 18 | 4.253 % |
20.23/20.31 c | 47778 | 11843 70710 240524 | 2147483647 45702 18 | 4.253 % |
20.53/20.54 c | 48375 | 11842 70710 240524 | 2147483647 46297 18 | 4.325 % |
20.73/20.80 c | 49032 | 11841 70710 240524 | 2147483647 46954 18 | 4.325 % |
20.83/20.87 c | 49133 | 11840 70710 240524 | 2147483647 47054 18 | 4.333 % |
20.83/20.91 c | 49243 | 11835 70710 240524 | 2147483647 47161 18 | 4.374 % |
20.93/20.98 c | 49364 | 11832 70710 240524 | 2147483647 47282 18 | 4.374 % |
21.03/21.03 c | 49497 | 11832 70710 240524 | 2147483647 47415 18 | 4.374 % |
21.13/21.12 c | 49644 | 11828 70572 240066 | 2147483647 47541 18 | 4.374 % |
21.13/21.19 c | 49804 | 11828 70572 240066 | 2147483647 47701 18 | 4.374 % |
21.23/21.29 c | 49983 | 11828 70572 240066 | 2147483647 47880 18 | 4.374 % |
21.33/21.38 c | 50176 | 11825 70572 240066 | 2147483647 48071 18 | 4.398 % |
21.43/21.47 c | 50388 | 11825 70572 240066 | 2147483647 48283 18 | 4.398 % |
21.53/21.59 c | 50623 | 11825 70572 240066 | 2147483647 48518 18 | 4.398 % |
21.63/21.70 c | 50882 | 11825 70572 240066 | 2147483647 48777 19 | 4.398 % |
21.83/21.87 c | 51163 | 11823 70572 240066 | 2147483647 49056 19 | 4.414 % |
22.03/22.08 c | 51472 | 11823 70572 240066 | 2147483647 49365 19 | 4.414 % |
22.23/22.26 c | 51812 | 11823 70514 239869 | 2147483647 49693 19 | 4.414 % |
22.43/22.43 c | 52184 | 11823 70514 239869 | 2147483647 50065 19 | 4.414 % |
22.63/22.65 c | 52594 | 11823 70514 239869 | 2147483647 50475 19 | 4.414 % |
22.83/22.88 c | 53044 | 11823 70514 239869 | 2147483647 50925 19 | 4.414 % |
23.13/23.14 c | 53538 | 11822 70514 239869 | 2147483647 51418 20 | 4.422 % |
23.43/23.43 c | 54081 | 11821 70497 239815 | 2147483647 51957 20 | 4.447 % |
23.63/23.70 c | 54677 | 11816 70497 239815 | 2147483647 52550 20 | 4.471 % |
23.93/23.99 c | 55332 | 11815 70497 239815 | 2147483647 53204 20 | 4.487 % |
24.23/24.25 c | 56052 | 11814 70497 239815 | 2147483647 53923 20 | 4.495 % |
24.23/24.30 c | 56153 | 11814 70497 239815 | 2147483647 54024 20 | 4.495 % |
24.33/24.34 c | 56263 | 11814 70497 239815 | 2147483647 54134 20 | 4.495 % |
24.33/24.37 c | 56384 | 11814 70497 239815 | 2147483647 54255 20 | 4.495 % |
24.43/24.43 c | 56519 | 11814 70497 239815 | 2147483647 54390 20 | 4.495 % |
24.53/24.58 c | 56666 | 11812 70426 239584 | 2147483647 54523 20 | 4.503 % |
24.63/24.65 c | 56826 | 11812 70426 239584 | 2147483647 54683 20 | 4.503 % |
24.73/24.73 c | 57002 | 11812 70426 239584 | 2147483647 54859 21 | 4.503 % |
24.73/24.81 c | 57196 | 11811 70426 239584 | 2147483647 55052 21 | 4.511 % |
24.83/24.89 c | 57408 | 11808 70426 239584 | 2147483647 55263 21 | 4.560 % |
25.03/25.05 c | 57641 | 11808 70426 239584 | 2147483647 55496 21 | 4.560 % |
25.13/25.15 c | 57897 | 11807 70426 239584 | 2147483647 55751 21 | 4.568 % |
25.23/25.24 c | 58180 | 11807 70426 239584 | 2147483647 56034 21 | 4.568 % |
25.33/25.41 c | 58489 | 11807 70426 239584 | 2147483647 56343 21 | 4.568 % |
25.53/25.57 c | 58830 | 11806 70426 239584 | 2147483647 56683 21 | 4.576 % |
25.63/25.70 c | 59202 | 11806 70426 239584 | 2147483647 57055 21 | 4.576 % |
25.83/25.88 c | 59612 | 11806 70426 239584 | 2147483647 57465 21 | 4.576 % |
26.13/26.12 c | 60061 | 11803 70364 239374 | 2147483647 57734 21 | 4.576 % |
26.43/26.46 c | 60554 | 11801 70364 239374 | 2147483647 58225 22 | 4.600 % |
26.63/26.71 c | 61096 | 11801 70364 239374 | 2147483647 58767 22 | 4.600 % |
26.93/27.01 c | 61694 | 11799 70364 239374 | 2147483647 59364 22 | 4.608 % |
27.23/27.24 c | 62349 | 11799 70364 239374 | 2147483647 60019 22 | 4.608 % |
27.43/27.49 c | 63070 | 11799 70364 239374 | 2147483647 60740 23 | 4.608 % |
27.93/27.96 c | 63863 | 11796 70329 239267 | 2147483647 61520 23 | 4.641 % |
28.03/28.03 c | 63963 | 11792 70329 239267 | 2147483647 61617 23 | 4.673 % |
28.03/28.10 c | 64074 | 11792 70329 239267 | 2147483647 61728 23 | 4.673 % |
28.13/28.16 c | 64195 | 11792 70329 239267 | 2147483647 61849 23 | 4.673 % |
28.13/28.22 c | 64328 | 11792 70329 239267 | 2147483647 61982 23 | 4.673 % |
28.23/28.26 c | 64474 | 11792 70329 239267 | 2147483647 62128 23 | 4.673 % |
28.33/28.41 c | 64636 | 11791 70329 239267 | 2147483647 62290 23 | 4.673 % |
28.43/28.49 c | 64814 | 11791 70329 239267 | 2147483647 62468 23 | 4.673 % |
28.53/28.62 c | 65007 | 11790 70329 239267 | 2147483647 62660 23 | 4.681 % |
28.73/28.77 c | 65219 | 11790 70329 239267 | 2147483647 62872 24 | 4.681 % |
28.83/28.90 c | 65455 | 11790 70329 239267 | 2147483647 63108 24 | 4.681 % |
28.93/28.98 c | 65711 | 11790 70329 239267 | 2147483647 63364 24 | 4.681 % |
29.13/29.13 c | 65992 | 11790 70329 239267 | 2147483647 63645 24 | 4.681 % |
29.23/29.29 c | 66301 | 11789 70092 238457 | 2147483647 63929 24 | 4.689 % |
29.43/29.45 c | 66643 | 11789 70092 238457 | 2147483647 64270 24 | 4.697 % |
29.63/29.64 c | 67015 | 11789 70092 238457 | 2147483647 64642 25 | 4.697 % |
29.93/29.92 c | 67424 | 11785 70092 238457 | 2147483647 65049 25 | 4.722 % |
30.13/30.16 c | 67873 | 11785 70092 238457 | 2147483647 65498 25 | 4.722 % |
30.33/30.33 c | 68366 | 11785 70092 238457 | 2147483647 65991 25 | 4.721 % |
30.53/30.57 c | 68909 | 11785 70092 238457 | 2147483647 66534 25 | 4.721 % |
30.83/30.89 c | 69505 | 11783 70092 238457 | 2147483647 67128 25 | 4.738 % |
31.23/31.27 c | 70161 | 11780 70040 238296 | 2147483647 67762 26 | 4.762 % |
31.63/31.71 c | 70881 | 11775 70040 238296 | 2147483647 68479 26 | 4.851 % |
32.03/32.07 c | 71674 | 11773 70040 238296 | 2147483647 69272 26 | 4.851 % |
32.63/32.65 c | 72545 | 11772 70040 238296 | 2147483647 70142 26 | 4.859 % |
32.63/32.69 c | 72646 | 11772 70040 238296 | 2147483647 70243 26 | 4.859 % |
32.73/32.75 c | 72757 | 11772 70040 238296 | 2147483647 70354 26 | 4.859 % |
32.73/32.80 c | 72879 | 11772 70040 238296 | 2147483647 70476 26 | 4.859 % |
32.83/32.88 c | 73012 | 11772 70040 238296 | 2147483647 70609 26 | 4.859 % |
32.93/32.94 c | 73158 | 11772 70040 238296 | 2147483647 70755 26 | 4.859 % |
33.03/33.02 c | 73318 | 11772 70040 238296 | 2147483647 70915 26 | 4.859 % |
33.13/33.14 c | 73495 | 11772 70040 238296 | 2147483647 71092 26 | 4.859 % |
33.23/33.23 c | 73688 | 11771 70040 238296 | 2147483647 71284 26 | 4.867 % |
33.33/33.36 c | 73902 | 11771 70040 238296 | 2147483647 71498 26 | 4.867 % |
33.43/33.46 c | 74135 | 11771 70040 238296 | 2147483647 71731 26 | 4.867 % |
33.63/33.63 c | 74391 | 11765 69922 237919 | 2147483647 71976 26 | 4.883 % |
33.73/33.75 c | 74672 | 11765 69922 237919 | 2147483647 72257 27 | 4.883 % |
33.83/33.84 c | 74981 | 11765 69922 237919 | 2147483647 72566 27 | 4.883 % |
33.93/33.97 c | 75320 | 11765 69922 237919 | 2147483647 72905 26 | 4.883 % |
34.13/34.14 c | 75692 | 11765 69922 237919 | 2147483647 73277 27 | 4.883 % |
34.43/34.47 c | 76101 | 11764 69922 237919 | 2147483647 73685 27 | 4.916 % |
34.63/34.66 c | 76550 | 11764 69922 237919 | 2147483647 74134 27 | 4.916 % |
34.93/34.93 c | 77043 | 11761 69922 237919 | 2147483647 74625 27 | 4.940 % |
35.13/35.22 c | 77586 | 11760 69922 237919 | 2147483647 75167 27 | 4.948 % |
35.53/35.60 c | 78185 | 11760 69922 237919 | 2147483647 75766 27 | 4.948 % |
35.93/35.96 c | 78842 | 11760 69922 237919 | 2147483647 76423 28 | 4.948 % |
36.23/36.26 c | 79562 | 11757 69824 237594 | 2147483647 77131 28 | 4.948 % |
36.53/36.60 c | 80354 | 11756 69824 237594 | 2147483647 77922 28 | 4.956 % |
37.03/37.03 c | 81225 | 11755 69824 237594 | 2147483647 78792 29 | 4.964 % |
37.63/37.64 c | 82183 | 11755 69824 237594 | 2147483647 79750 29 | 4.964 % |
37.63/37.69 c | 82285 | 11755 69824 237594 | 2147483647 79852 29 | 4.964 % |
37.73/37.77 c | 82395 | 11755 69824 237594 | 2147483647 79962 29 | 4.964 % |
37.83/37.84 c | 82516 | 11755 69824 237594 | 2147483647 80083 29 | 4.964 % |
37.93/37.95 c | 82650 | 11755 69824 237594 | 2147483647 80217 29 | 4.964 % |
38.03/38.03 c | 82796 | 11755 69824 237594 | 2147483647 80363 29 | 4.964 % |
38.03/38.12 c | 82956 | 11755 69824 237594 | 2147483647 80523 29 | 4.964 % |
38.13/38.21 c | 83132 | 11754 69824 237594 | 2147483647 80698 29 | 4.972 % |
38.23/38.31 c | 83326 | 11754 69824 237594 | 2147483647 80892 29 | 4.972 % |
38.43/38.43 c | 83539 | 11753 69824 237594 | 2147483647 81104 29 | 4.980 % |
38.53/38.59 c | 83773 | 11753 69824 237594 | 2147483647 81338 29 | 4.980 % |
38.73/38.75 c | 84030 | 11753 69824 237594 | 2147483647 81595 29 | 4.980 % |
38.93/38.92 c | 84311 | 11752 69786 237467 | 2147483647 81867 29 | 4.988 % |
39.03/39.03 c | 84623 | 11752 69786 237467 | 2147483647 82179 29 | 4.988 % |
39.23/39.26 c | 84963 | 11752 69786 237467 | 2147483647 82519 29 | 4.988 % |
39.43/39.45 c | 85335 | 11752 69786 237467 | 2147483647 82891 29 | 4.988 % |
39.73/39.74 c | 85745 | 11752 69786 237467 | 2147483647 83301 30 | 4.988 % |
40.03/40.04 c | 86196 | 11752 69786 237467 | 2147483647 83752 30 | 4.988 % |
40.23/40.29 c | 86690 | 11752 69786 237467 | 2147483647 84246 30 | 4.988 % |
40.43/40.52 c | 87232 | 11752 69786 237467 | 2147483647 84788 30 | 4.988 % |
40.83/40.86 c | 87830 | 11750 69786 237467 | 2147483647 85384 30 | 5.005 % |
41.23/41.26 c | 88489 | 11749 69786 237467 | 2147483647 86042 30 | 5.013 % |
41.53/41.59 c | 89209 | 11749 69786 237467 | 2147483647 86762 30 | 5.013 % |
41.93/41.92 c | 90001 | 11749 69786 237467 | 2147483647 87554 30 | 5.013 % |
42.33/42.38 c | 90872 | 11749 69746 237348 | 2147483647 88419 30 | 5.013 % |
42.93/42.94 c | 91831 | 11747 69746 237348 | 2147483647 89376 30 | 5.029 % |
43.53/43.56 c | 92884 | 11745 69746 237348 | 2147483647 90427 31 | 5.045 % |
43.63/43.63 c | 92984 | 11745 69746 237348 | 2147483647 90527 31 | 5.045 % |
43.63/43.70 c | 93095 | 11744 69746 237348 | 2147483647 90637 31 | 5.053 % |
43.73/43.81 c | 93218 | 11744 69746 237348 | 2147483647 90760 31 | 5.053 % |
43.83/43.88 c | 93352 | 11744 69746 237348 | 2147483647 90894 31 | 5.053 % |
43.93/43.95 c | 93498 | 11744 69746 237348 | 2147483647 91040 31 | 5.053 % |
44.03/44.09 c | 93658 | 11743 69746 237348 | 2147483647 91199 31 | 5.061 % |
44.13/44.20 c | 93835 | 11743 69746 237348 | 2147483647 91376 31 | 5.061 % |
44.33/44.33 c | 94029 | 11743 69746 237348 | 2147483647 91570 31 | 5.061 % |
44.43/44.47 c | 94241 | 11743 69746 237348 | 2147483647 91782 31 | 5.061 % |
44.63/44.63 c | 94474 | 11743 69746 237348 | 2147483647 92015 31 | 5.061 % |
44.73/44.80 c | 94733 | 11742 69746 237348 | 2147483647 92273 31 | 5.069 % |
44.93/44.96 c | 95014 | 11742 69746 237348 | 2147483647 92554 31 | 5.069 % |
45.13/45.19 c | 95324 | 11742 69746 237348 | 2147483647 92864 31 | 5.069 % |
45.33/45.32 c | 95663 | 11742 69746 237348 | 2147483647 93203 31 | 5.069 % |
45.53/45.61 c | 96035 | 11742 69746 237348 | 2147483647 93575 31 | 5.069 % |
45.83/45.88 c | 96446 | 11742 69746 237348 | 2147483647 93986 31 | 5.069 % |
46.23/46.29 c | 96895 | 11740 69671 237097 | 2147483647 94425 31 | 5.085 % |
46.63/46.67 c | 97390 | 11740 69671 237097 | 2147483647 94920 32 | 5.085 % |
46.83/46.91 c | 97933 | 11740 69671 237097 | 2147483647 95463 31 | 5.085 % |
47.43/47.42 c | 98531 | 11740 69671 237097 | 2147483647 96061 32 | 5.085 % |
47.73/47.72 c | 99186 | 11740 69671 237097 | 2147483647 96716 32 | 5.085 % |
48.23/48.29 c | 99906 | 11737 69671 237097 | 2147483647 97434 32 | 5.110 % |
48.73/48.73 c | 100699 | 11736 69671 237097 | 2147483647 98226 32 | 5.118 % |
49.33/49.41 c | 101570 | 11736 69671 237097 | 2147483647 99097 33 | 5.118 % |
49.93/49.99 c | 102528 | 11735 69671 237097 | 2147483647 100054 33 | 5.126 % |
50.63/50.70 c | 103581 | 11735 69671 237097 | 2147483647 101107 33 | 5.126 % |
51.43/51.43 c | 104739 | 11731 69614 236919 | 2147483647 102238 34 | 5.158 % |
51.43/51.48 c | 104839 | 11731 69614 236919 | 2147483647 102338 34 | 5.158 % |
51.53/51.57 c | 104949 | 11731 69614 236919 | 2147483647 102448 34 | 5.158 % |
51.63/51.64 c | 105070 | 11731 69614 236919 | 2147483647 102569 34 | 5.158 % |
51.73/51.75 c | 105205 | 11731 69614 236919 | 2147483647 102704 34 | 5.158 % |
51.73/51.80 c | 105351 | 11731 69614 236919 | 2147483647 102850 34 | 5.158 % |
51.83/51.84 c | 105511 | 11731 69614 236919 | 2147483647 103010 34 | 5.158 % |
51.93/51.94 c | 105687 | 11731 69614 236919 | 2147483647 103186 34 | 5.158 % |
52.03/52.09 c | 105883 | 11731 69614 236919 | 2147483647 103382 34 | 5.158 % |
52.23/52.29 c | 106096 | 11730 69614 236919 | 2147483647 103594 34 | 5.166 % |
52.43/52.44 c | 106330 | 11730 69614 236919 | 2147483647 103828 34 | 5.166 % |
52.53/52.61 c | 106586 | 11730 69614 236919 | 2147483647 104084 34 | 5.166 % |
52.83/52.84 c | 106868 | 11730 69614 236919 | 2147483647 104366 34 | 5.166 % |
52.93/52.98 c | 107177 | 11730 69614 236919 | 2147483647 104675 34 | 5.166 % |
53.13/53.15 c | 107516 | 11730 69614 236919 | 2147483647 105014 34 | 5.166 % |
53.43/53.44 c | 107888 | 11729 69614 236919 | 2147483647 105385 34 | 5.174 % |
53.73/53.74 c | 108297 | 11727 69614 236919 | 2147483647 105792 35 | 5.190 % |
54.03/54.03 c | 108749 | 11727 69614 236919 | 2147483647 106244 35 | 5.190 % |
54.33/54.32 c | 109243 | 11727 69614 236919 | 2147483647 106738 35 | 5.190 % |
54.63/54.65 c | 109786 | 11727 69614 236919 | 2147483647 107281 35 | 5.190 % |
54.93/55.00 c | 110382 | 11727 69614 236919 | 2147483647 107877 35 | 5.190 % |
55.43/55.44 c | 111037 | 11726 69614 236919 | 2147483647 108531 35 | 5.198 % |
55.83/55.90 c | 111757 | 11726 69614 236919 | 2147483647 109251 35 | 5.198 % |
56.43/56.49 c | 112549 | 11726 69614 236919 | 2147483647 110043 35 | 5.198 % |
57.03/57.05 c | 113420 | 11726 69524 236628 | 2147483647 110895 36 | 5.199 % |
57.83/57.88 c | 114378 | 11726 69524 236628 | 2147483647 111853 36 | 5.198 % |
58.63/58.63 c | 115433 | 11726 69524 236628 | 2147483647 112908 37 | 5.199 % |
59.33/59.38 c | 116591 | 11721 69524 236628 | 2147483647 114062 37 | 5.255 % |
60.33/60.36 c | 117865 | 11717 69524 236628 | 2147483647 115335 38 | 5.271 % |
60.43/60.45 c | 117965 | 11717 69524 236628 | 2147483647 115435 38 | 5.271 % |
60.43/60.52 c | 118075 | 11717 69524 236628 | 2147483647 115545 38 | 5.271 % |
60.53/60.59 c | 118196 | 11717 69524 236628 | 2147483647 115666 38 | 5.271 % |
60.63/60.69 c | 118331 | 11717 69524 236628 | 2147483647 115801 38 | 5.271 % |
60.73/60.79 c | 118477 | 11717 69524 236628 | 2147483647 115947 38 | 5.271 % |
60.83/60.89 c | 118640 | 11717 69524 236628 | 2147483647 116110 38 | 5.271 % |
60.93/61.00 c | 118819 | 11717 69524 236628 | 2147483647 116289 38 | 5.271 % |
61.13/61.20 c | 119012 | 11717 69524 236628 | 2147483647 116482 38 | 5.271 % |
61.33/61.35 c | 119226 | 11715 69524 236628 | 2147483647 116695 38 | 5.287 % |
61.43/61.51 c | 119459 | 11715 69524 236628 | 2147483647 116928 38 | 5.287 % |
61.63/61.67 c | 119716 | 11715 69524 236628 | 2147483647 117185 38 | 5.287 % |
61.73/61.79 c | 119998 | 11715 69524 236628 | 2147483647 117467 38 | 5.287 % |
61.93/61.93 c | 120307 | 11715 69524 236628 | 2147483647 117776 38 | 5.287 % |
62.13/62.12 c | 120647 | 11715 69524 236628 | 2147483647 118116 38 | 5.287 % |
62.23/62.31 c | 121021 | 11715 69524 236628 | 2147483647 118490 38 | 5.287 % |
62.63/62.66 c | 121431 | 11712 69524 236628 | 2147483647 118899 38 | 5.312 % |
62.93/63.00 c | 121880 | 11710 69524 236628 | 2147483647 119346 38 | 5.328 % |
63.23/63.31 c | 122373 | 11710 69424 236314 | 2147483647 119777 38 | 5.328 % |
63.73/63.77 c | 122915 | 11709 69424 236314 | 2147483647 120318 39 | 5.336 % |
64.23/64.24 c | 123512 | 11708 69424 236314 | 2147483647 120914 39 | 5.344 % |
64.63/64.70 c | 124167 | 11708 69424 236314 | 2147483647 121569 39 | 5.344 % |
65.13/65.20 c | 124887 | 11708 69424 236314 | 2147483647 122289 39 | 5.344 % |
65.63/65.69 c | 125680 | 11708 69424 236314 | 2147483647 123082 39 | 5.344 % |
66.23/66.24 c | 126551 | 11708 69424 236314 | 2147483647 123953 39 | 5.344 % |
66.93/66.93 c | 127509 | 11708 69424 236314 | 2147483647 124911 39 | 5.344 % |
67.73/67.80 c | 128563 | 11703 69424 236314 | 2147483647 125961 40 | 5.385 % |
68.63/68.65 c | 129723 | 11703 69424 236314 | 2147483647 127121 40 | 5.384 % |
69.53/69.56 c | 130997 | 11703 69424 236314 | 2147483647 128395 40 | 5.385 % |
70.53/70.59 c | 132397 | 11701 69424 236314 | 2147483647 129794 40 | 5.401 % |
70.63/70.71 c | 132497 | 11701 69424 236314 | 2147483647 129894 40 | 5.401 % |
70.83/70.82 c | 132607 | 11701 69424 236314 | 2147483647 130004 40 | 5.401 % |
70.93/70.94 c | 132728 | 11701 69424 236314 | 2147483647 130125 41 | 5.401 % |
71.03/71.02 c | 132861 | 11701 69424 236314 | 2147483647 130258 40 | 5.401 % |
71.03/71.08 c | 133007 | 11700 69424 236314 | 2147483647 130402 40 | 5.417 % |
71.13/71.20 c | 133167 | 11698 69424 236314 | 2147483647 130561 41 | 5.425 % |
71.23/71.27 c | 133345 | 11698 69424 236314 | 2147483647 130739 41 | 5.425 % |
71.43/71.45 c | 133538 | 11698 69345 236074 | 2147483647 130896 40 | 5.425 % |
71.63/71.64 c | 133751 | 11697 69345 236074 | 2147483647 131107 41 | 5.441 % |
71.73/71.77 c | 133985 | 11697 69345 236074 | 2147483647 131341 41 | 5.441 % |
72.03/72.02 c | 134241 | 11694 69345 236074 | 2147483647 131596 41 | 5.457 % |
72.23/72.22 c | 134523 | 11694 69345 236074 | 2147483647 131878 41 | 5.457 % |
72.53/72.53 c | 134832 | 11693 69345 236074 | 2147483647 132186 41 | 5.473 % |
72.83/72.83 c | 135173 | 11693 69345 236074 | 2147483647 132527 41 | 5.473 % |
73.13/73.15 c | 135545 | 11693 69345 236074 | 2147483647 132899 41 | 5.473 % |
73.43/73.47 c | 135954 | 11692 69345 236074 | 2147483647 133308 41 | 5.473 % |
73.74/73.74 c | 136403 | 11692 69345 236074 | 2147483647 133757 41 | 5.473 % |
74.13/74.15 c | 136896 | 11685 69345 236074 | 2147483647 134248 41 | 5.562 % |
74.53/74.59 c | 137440 | 11682 69345 236074 | 2147483647 134790 41 | 5.587 % |
75.23/75.27 c | 138036 | 11682 69345 236074 | 2147483647 135386 41 | 5.587 % |
75.94/75.94 c | 138691 | 11678 69345 236074 | 2147483647 136039 41 | 5.619 % |
76.43/76.44 c | 139411 | 11677 69345 236074 | 2147483647 136758 41 | 5.627 % |
76.93/76.99 c | 140203 | 11677 69345 236074 | 2147483647 137550 41 | 5.627 % |
77.53/77.57 c | 141075 | 11676 69345 236074 | 2147483647 138421 41 | 5.635 % |
78.23/78.26 c | 142033 | 11676 69345 236074 | 2147483647 139379 42 | 5.635 % |
79.03/79.11 c | 143086 | 11676 69345 236074 | 2147483647 140432 42 | 5.635 % |
79.83/79.85 c | 144244 | 11676 69345 236074 | 2147483647 141590 42 | 5.635 % |
80.73/80.80 c | 145518 | 11676 69345 236074 | 2147483647 142864 42 | 5.635 % |
81.63/81.70 c | 146919 | 11676 69345 236074 | 2147483647 144265 42 | 5.635 % |
82.83/82.90 c | 148462 | 11672 69162 235492 | 2147483647 145744 43 | 5.643 % |
82.93/83.01 c | 148562 | 11671 69162 235492 | 2147483647 145844 43 | 5.643 % |
83.13/83.14 c | 148673 | 11671 69162 235492 | 2147483647 145955 43 | 5.643 % |
83.23/83.28 c | 148795 | 11671 69162 235492 | 2147483647 146077 43 | 5.643 % |
83.33/83.36 c | 148928 | 11671 69162 235492 | 2147483647 146210 43 | 5.643 % |
83.43/83.46 c | 149074 | 11671 69162 235492 | 2147483647 146356 43 | 5.643 % |
83.64/83.62 c | 149236 | 11671 69162 235492 | 2147483647 146518 43 | 5.643 % |
83.73/83.80 c | 149413 | 11671 69162 235492 | 2147483647 146695 43 | 5.643 % |
83.93/84.01 c | 149606 | 11671 69162 235492 | 2147483647 146888 43 | 5.643 % |
84.13/84.20 c | 149819 | 11671 69162 235492 | 2147483647 147101 43 | 5.643 % |
84.43/84.42 c | 150052 | 11671 69162 235492 | 2147483647 147334 43 | 5.643 % |
84.53/84.58 c | 150310 | 11671 69162 235492 | 2147483647 147592 43 | 5.643 % |
84.83/84.89 c | 150591 | 11671 69162 235492 | 2147483647 147873 43 | 5.643 % |
85.03/85.10 c | 150900 | 11671 69162 235492 | 2147483647 148182 43 | 5.643 % |
85.33/85.35 c | 151241 | 11671 69162 235492 | 2147483647 148523 43 | 5.643 % |
85.53/85.55 c | 151616 | 11671 69162 235492 | 2147483647 148898 43 | 5.643 % |
85.93/85.97 c | 152025 | 11671 69162 235492 | 2147483647 149307 43 | 5.643 % |
86.33/86.33 c | 152474 | 11671 69162 235492 | 2147483647 149756 43 | 5.643 % |
86.73/86.78 c | 152967 | 11670 69162 235492 | 2147483647 150248 43 | 5.651 % |
87.33/87.33 c | 153510 | 11669 69162 235492 | 2147483647 150790 43 | 5.659 % |
87.73/87.80 c | 154107 | 11663 69162 235492 | 2147483647 151379 43 | 5.732 % |
88.33/88.35 c | 154762 | 11659 69162 235492 | 2147483647 152033 44 | 5.740 % |
88.93/88.96 c | 155482 | 11659 69162 235492 | 2147483647 152753 43 | 5.740 % |
89.53/89.53 c | 156275 | 11659 69162 235492 | 2147483647 153545 44 | 5.748 % |
90.13/90.22 c | 157147 | 11659 69162 235492 | 2147483647 154416 44 | 5.756 % |
91.03/91.04 c | 158105 | 11655 69162 235492 | 2147483647 155370 44 | 5.797 % |
91.93/91.97 c | 159159 | 11655 69162 235492 | 2147483647 156424 44 | 5.797 % |
92.93/92.95 c | 160317 | 11655 69162 235492 | 2147483647 157582 44 | 5.797 % |
93.83/93.82 c | 161591 | 11655 69162 235492 | 2147483647 158856 45 | 5.797 % |
95.03/95.04 c | 162992 | 11655 69162 235492 | 2147483647 160257 45 | 5.797 % |
96.53/96.61 c | 164532 | 11652 68998 234970 | 2147483647 161701 45 | 5.797 % |
97.73/97.80 c | 166226 | 11651 68998 234970 | 2147483647 163393 46 | 5.821 % |
97.83/97.89 c | 166326 | 11651 68998 234970 | 2147483647 163493 46 | 5.821 % |
98.03/98.06 c | 166436 | 11651 68998 234970 | 2147483647 163603 46 | 5.821 % |
98.13/98.15 c | 166557 | 11651 68998 234970 | 2147483647 163724 46 | 5.821 % |
98.23/98.26 c | 166690 | 11651 68998 234970 | 2147483647 163857 46 | 5.821 % |
98.33/98.38 c | 166837 | 11651 68998 234970 | 2147483647 164004 46 | 5.821 % |
98.53/98.55 c | 166997 | 11651 68998 234970 | 2147483647 164164 46 | 5.821 % |
98.73/98.73 c | 167174 | 11651 68998 234970 | 2147483647 164341 46 | 5.821 % |
98.93/98.94 c | 167369 | 11650 68998 234970 | 2147483647 164535 46 | 5.829 % |
99.13/99.20 c | 167581 | 11650 68998 234970 | 2147483647 164747 46 | 5.829 % |
99.43/99.43 c | 167815 | 11650 68998 234970 | 2147483647 164981 46 | 5.829 % |
99.73/99.73 c | 168072 | 11650 68998 234970 | 2147483647 165238 46 | 5.829 % |
99.93/99.92 c | 168354 | 11650 68998 234970 | 2147483647 165520 46 | 5.829 % |
100.33/100.34 c | 168663 | 11650 68998 234970 | 2147483647 165829 46 | 5.829 % |
100.63/100.67 c | 169004 | 11650 68998 234970 | 2147483647 166170 46 | 5.829 % |
100.93/100.97 c | 169376 | 11650 68998 234970 | 2147483647 166542 46 | 5.829 % |
101.24/101.26 c | 169785 | 11650 68998 234970 | 2147483647 166951 46 | 5.829 % |
101.63/101.62 c | 170234 | 11650 68998 234970 | 2147483647 167400 46 | 5.829 % |
102.03/102.05 c | 170728 | 11650 68998 234970 | 2147483647 167894 46 | 5.829 % |
102.53/102.52 c | 171271 | 11650 68998 234970 | 2147483647 168437 46 | 5.829 % |
103.03/103.03 c | 171869 | 11650 68998 234970 | 2147483647 169035 46 | 5.829 % |
103.73/103.77 c | 172524 | 11650 68998 234970 | 2147483647 169690 46 | 5.829 % |
104.23/104.30 c | 173245 | 11650 68998 234970 | 2147483647 170411 47 | 5.829 % |
104.93/104.96 c | 174037 | 11647 68998 234970 | 2147483647 171202 47 | 5.853 % |
105.64/105.63 c | 174910 | 11646 68998 234970 | 2147483647 172074 47 | 5.861 % |
106.53/106.58 c | 175868 | 11646 68998 234970 | 2147483647 173032 47 | 5.861 % |
107.53/107.55 c | 176921 | 11645 68998 234970 | 2147483647 174084 47 | 5.878 % |
108.73/108.73 c | 178079 | 11644 68998 234970 | 2147483647 175241 47 | 5.886 % |
109.63/109.69 c | 179354 | 11643 68998 234970 | 2147483647 176515 48 | 5.894 % |
110.73/110.74 c | 180755 | 11643 68998 234970 | 2147483647 177916 48 | 5.894 % |
112.33/112.39 c | 182295 | 11643 68998 234970 | 2147483647 179456 48 | 5.894 % |
113.83/113.89 c | 183990 | 11641 68998 234970 | 2147483647 181149 49 | 5.910 % |
115.83/115.91 c | 185853 | 11637 68889 234613 | 2147483647 182996 49 | 5.918 % |
116.03/116.06 c | 185953 | 11637 68889 234613 | 2147483647 183096 49 | 5.918 % |
116.13/116.15 c | 186064 | 11637 68889 234613 | 2147483647 183207 49 | 5.918 % |
116.33/116.32 c | 186187 | 11637 68889 234613 | 2147483647 183330 49 | 5.918 % |
116.33/116.38 c | 186320 | 11637 68889 234613 | 2147483647 183463 49 | 5.918 % |
116.53/116.57 c | 186466 | 11636 68889 234613 | 2147483647 183608 49 | 5.926 % |
116.73/116.78 c | 186628 | 11636 68889 234613 | 2147483647 183770 49 | 5.926 % |
116.93/116.94 c | 186805 | 11636 68889 234613 | 2147483647 183947 49 | 5.926 % |
117.13/117.19 c | 186998 | 11636 68889 234613 | 2147483647 184140 49 | 5.926 % |
117.43/117.48 c | 187210 | 11634 68889 234613 | 2147483647 184351 49 | 5.942 % |
117.63/117.68 c | 187443 | 11634 68889 234613 | 2147483647 184584 49 | 5.942 % |
117.93/117.91 c | 187699 | 11634 68889 234613 | 2147483647 184840 49 | 5.942 % |
118.23/118.21 c | 187981 | 11634 68889 234613 | 2147483647 185122 50 | 5.942 % |
118.53/118.60 c | 188292 | 11633 68889 234613 | 2147483647 185432 50 | 5.950 % |
118.93/118.97 c | 188631 | 11633 68889 234613 | 2147483647 185771 50 | 5.950 % |
119.33/119.36 c | 189003 | 11633 68889 234613 | 2147483647 186143 50 | 5.950 % |
119.73/119.72 c | 189412 | 11633 68889 234613 | 2147483647 186552 50 | 5.950 % |
120.14/120.15 c | 189861 | 11633 68889 234613 | 2147483647 187001 50 | 5.950 % |
120.74/120.73 c | 190354 | 11633 68889 234613 | 2147483647 187493 50 | 5.959 % |
121.34/121.33 c | 190897 | 11633 68889 234613 | 2147483647 188036 50 | 5.958 % |
121.94/121.96 c | 191493 | 11633 68889 234613 | 2147483647 188632 50 | 5.959 % |
122.64/122.65 c | 192149 | 11633 68889 234613 | 2147483647 189288 50 | 5.958 % |
123.24/123.23 c | 192869 | 11633 68889 234613 | 2147483647 190008 50 | 5.958 % |
124.04/124.09 c | 193661 | 11631 68889 234613 | 2147483647 190799 50 | 5.975 % |
124.74/124.80 c | 194533 | 11631 68889 234613 | 2147483647 191671 50 | 5.975 % |
125.64/125.65 c | 195491 | 11631 68889 234613 | 2147483647 192629 51 | 5.975 % |
126.44/126.52 c | 196544 | 11631 68889 234613 | 2147483647 193682 50 | 5.975 % |
127.64/127.70 c | 197702 | 11631 68889 234613 | 2147483647 194840 51 | 5.975 % |
128.74/128.79 c | 198979 | 11630 68889 234613 | 2147483647 196116 51 | 5.983 % |
130.04/130.04 c | 200379 | 11630 68889 234613 | 2147483647 197516 51 | 5.983 % |
131.84/131.88 c | 201919 | 11629 68889 234613 | 2147483647 199055 51 | 5.991 % |
133.34/133.37 c | 203613 | 11629 68889 234613 | 2147483647 200749 52 | 5.991 % |
135.34/135.41 c | 205478 | 11628 68889 234613 | 2147483647 202613 52 | 5.999 % |
137.14/137.14 c | 207527 | 11628 68889 234613 | 2147483647 204662 52 | 5.999 % |
137.24/137.31 c | 207627 | 11628 68889 234613 | 2147483647 204762 52 | 5.999 % |
137.54/137.56 c | 207738 | 11627 68810 234356 | 2147483647 204818 52 | 5.999 % |
137.64/137.71 c | 207862 | 11627 68810 234356 | 2147483647 204942 52 | 5.999 % |
137.84/137.88 c | 207996 | 11627 68810 234356 | 2147483647 205076 52 | 5.999 % |
138.04/138.03 c | 208142 | 11627 68810 234356 | 2147483647 205222 52 | 5.999 % |
138.14/138.20 c | 208302 | 11627 68810 234356 | 2147483647 205382 52 | 5.999 % |
138.34/138.39 c | 208478 | 11627 68810 234356 | 2147483647 205558 52 | 5.999 % |
138.54/138.61 c | 208672 | 11627 68810 234356 | 2147483647 205752 52 | 5.999 % |
138.74/138.82 c | 208886 | 11627 68810 234356 | 2147483647 205966 52 | 5.999 % |
139.04/139.07 c | 209119 | 11627 68810 234356 | 2147483647 206199 52 | 5.999 % |
139.34/139.36 c | 209376 | 11627 68810 234356 | 2147483647 206456 52 | 5.999 % |
139.64/139.69 c | 209658 | 11626 68810 234356 | 2147483647 206737 52 | 6.007 % |
139.94/139.93 c | 209967 | 11626 68810 234356 | 2147483647 207046 52 | 6.007 % |
140.34/140.37 c | 210306 | 11626 68810 234356 | 2147483647 207385 52 | 6.007 % |
140.74/140.80 c | 210678 | 11626 68810 234356 | 2147483647 207757 52 | 6.007 % |
141.24/141.29 c | 211087 | 11626 68810 234356 | 2147483647 208166 52 | 6.007 % |
141.84/141.83 c | 211536 | 11625 68810 234356 | 2147483647 208614 52 | 6.015 % |
142.34/142.40 c | 212030 | 11625 68810 234356 | 2147483647 209108 52 | 6.015 % |
143.04/143.05 c | 212573 | 11625 68810 234356 | 2147483647 209651 52 | 6.015 % |
143.64/143.66 c | 213169 | 11625 68810 234356 | 2147483647 210247 52 | 6.015 % |
144.34/144.34 c | 213825 | 11625 68810 234356 | 2147483647 210903 52 | 6.015 % |
145.24/145.25 c | 214545 | 11625 68810 234356 | 2147483647 211622 53 | 6.023 % |
145.94/146.02 c | 215337 | 11625 68810 234356 | 2147483647 212413 53 | 6.031 % |
147.04/147.07 c | 216208 | 11625 68810 234356 | 2147483647 213284 53 | 6.031 % |
147.84/147.89 c | 217169 | 11625 68810 234356 | 2147483647 214245 53 | 6.031 % |
149.04/149.05 c | 218222 | 11625 68810 234356 | 2147483647 215298 53 | 6.031 % |
150.14/150.21 c | 219381 | 11625 68810 234356 | 2147483647 216457 53 | 6.031 % |
151.44/151.45 c | 220656 | 11624 68810 234356 | 2147483647 217731 53 | 6.039 % |
153.04/153.06 c | 222056 | 11624 68810 234356 | 2147483647 219131 54 | 6.039 % |
154.74/154.73 c | 223597 | 11624 68810 234356 | 2147483647 220672 54 | 6.039 % |
156.44/156.44 c | 225291 | 11624 68810 234356 | 2147483647 222366 54 | 6.039 % |
158.44/158.44 c | 227154 | 11623 68810 234356 | 2147483647 224227 54 | 6.056 % |
160.74/160.80 c | 229204 | 11621 68810 234356 | 2147483647 226275 55 | 6.072 % |
163.14/163.20 c | 231457 | 11620 68810 234356 | 227070 228527 55 | 6.080 % |
163.84/163.83 c | 231557 | 11620 68810 234356 | 227070 194756 54 | 6.080 % |
164.04/164.02 c | 231667 | 11620 68810 234356 | 227070 194866 54 | 6.080 % |
164.14/164.19 c | 231791 | 11620 68810 234356 | 227070 194990 54 | 6.080 % |
164.34/164.34 c | 231925 | 11620 68810 234356 | 227070 195124 54 | 6.080 % |
164.54/164.55 c | 232071 | 11620 68810 234356 | 227070 195270 54 | 6.080 % |
164.74/164.75 c | 232231 | 11620 68810 234356 | 227070 195430 54 | 6.080 % |
164.94/164.93 c | 232408 | 11620 68810 234356 | 227070 195607 54 | 6.080 % |
165.24/165.24 c | 232602 | 11619 68810 234356 | 227070 195800 54 | 6.088 % |
165.44/165.43 c | 232814 | 11619 68810 234356 | 227070 196012 54 | 6.088 % |
165.64/165.65 c | 233048 | 11619 68810 234356 | 227070 196246 54 | 6.088 % |
165.84/165.89 c | 233306 | 11619 68810 234356 | 227070 196504 54 | 6.088 % |
166.24/166.28 c | 233587 | 11619 68810 234356 | 227070 196785 54 | 6.088 % |
166.64/166.63 c | 233899 | 11619 68810 234356 | 227070 197097 54 | 6.088 % |
167.04/167.09 c | 234238 | 11619 68810 234356 | 227070 197436 54 | 6.088 % |
167.34/167.41 c | 234610 | 11619 68810 234356 | 227070 197808 54 | 6.088 % |
167.84/167.86 c | 235020 | 11619 68810 234356 | 227070 198218 54 | 6.088 % |
168.44/168.48 c | 235469 | 11619 68810 234356 | 227070 198666 54 | 6.096 % |
168.93/168.97 c | 235962 | 11619 68810 234356 | 227070 199159 54 | 6.096 % |
169.53/169.61 c | 236504 | 11619 68810 234356 | 227070 199701 54 | 6.096 % |
170.23/170.27 c | 237100 | 11619 68810 234356 | 227070 200296 54 | 6.112 % |
171.13/171.16 c | 237756 | 11612 68680 233942 | 227070 200910 54 | 6.120 % |
171.83/171.90 c | 238476 | 11612 68680 233942 | 227070 201630 54 | 6.120 % |
173.03/173.02 c | 239269 | 11612 68680 233942 | 227070 202421 54 | 6.152 % |
173.83/173.84 c | 240140 | 11609 68680 233942 | 2147483647 203292 55 | 6.152 % |
174.93/174.92 c | 241098 | 11609 68680 233942 | 2147483647 204250 55 | 6.153 % |
176.13/176.20 c | 242151 | 11609 68680 233942 | 2147483647 205303 55 | 6.153 % |
177.03/177.09 c | 243310 | 11609 68680 233942 | 2147483647 206462 55 | 6.153 % |
178.23/178.25 c | 244584 | 11609 68680 233942 | 2147483647 207736 55 | 6.153 % |
179.73/179.81 c | 245985 | 11609 68680 233942 | 2147483647 209136 55 | 6.161 % |
180.83/180.85 c | 247525 | 11609 68680 233942 | 2147483647 210676 55 | 6.161 % |
182.63/182.65 c | 249219 | 11609 68680 233942 | 2147483647 212369 55 | 6.177 % |
184.62/184.66 c | 251082 | 11609 68680 233942 | 2147483647 214231 56 | 6.185 % |
186.82/186.83 c | 253131 | 11609 68680 233942 | 2147483647 216280 56 | 6.185 % |
189.32/189.39 c | 255384 | 11609 68680 233942 | 2147483647 218533 56 | 6.185 % |
192.32/192.32 c | 257863 | 11602 68680 233942 | 2147483647 221009 57 | 6.209 % |
192.42/192.44 c | 257963 | 11602 68680 233942 | 2147483647 221109 57 | 6.209 % |
192.62/192.61 c | 258073 | 11602 68680 233942 | 2147483647 221219 57 | 6.209 % |
192.72/192.74 c | 258195 | 11602 68680 233942 | 2147483647 221341 57 | 6.209 % |
192.92/192.94 c | 258329 | 11602 68680 233942 | 2147483647 221475 57 | 6.209 % |
193.12/193.12 c | 258475 | 11602 68680 233942 | 2147483647 221621 57 | 6.209 % |
193.32/193.33 c | 258635 | 11602 68680 233942 | 2147483647 221781 57 | 6.209 % |
193.52/193.51 c | 258811 | 11601 68680 233942 | 2147483647 221956 57 | 6.217 % |
193.72/193.79 c | 259004 | 11601 68680 233942 | 2147483647 222149 57 | 6.217 % |
194.02/194.06 c | 259217 | 11600 68680 233942 | 2147483647 222361 57 | 6.225 % |
194.32/194.31 c | 259450 | 11599 68680 233942 | 2147483647 222593 57 | 6.233 % |
194.62/194.67 c | 259706 | 11599 68680 233942 | 2147483647 222849 57 | 6.233 % |
194.92/194.94 c | 259988 | 11599 68680 233942 | 2147483647 223131 57 | 6.233 % |
195.22/195.23 c | 260297 | 11599 68680 233942 | 223144 223440 57 | 6.233 % |
195.62/195.69 c | 260636 | 11598 68680 233942 | 223144 223778 57 | 6.241 % |
196.12/196.17 c | 261010 | 11598 68680 233942 | 223144 224152 57 | 6.242 % |
196.93/196.98 c | 261420 | 11598 68680 233942 | 223144 201904 61 | 6.242 % |
197.22/197.22 c | 261869 | 11598 68680 233942 | 223144 202353 60 | 6.241 % |
197.52/197.51 c | 262362 | 11598 68680 233942 | 223144 202846 60 | 6.241 % |
198.12/198.15 c | 262906 | 11598 68680 233942 | 223144 203390 60 | 6.242 % |
198.82/198.82 c | 263503 | 11598 68680 233942 | 223144 203987 60 | 6.242 % |
199.52/199.52 c | 264158 | 11598 68680 233942 | 223144 204642 60 | 6.242 % |
200.32/200.32 c | 264878 | 11595 68680 233942 | 223144 205360 61 | 6.266 % |
201.12/201.15 c | 265670 | 11595 68680 233942 | 223144 206152 61 | 6.266 % |
202.12/202.14 c | 266541 | 11593 68680 233942 | 223144 207021 61 | 6.282 % |
203.32/203.36 c | 267501 | 11593 68680 233942 | 223144 207981 61 | 6.282 % |
204.63/204.65 c | 268554 | 11592 68680 233942 | 223144 209033 61 | 6.290 % |
206.12/206.14 c | 269712 | 11591 68532 233482 | 223144 210124 61 | 6.290 % |
207.62/207.64 c | 270985 | 11591 68532 233482 | 2147483647 211397 61 | 6.290 % |
208.92/208.94 c | 272385 | 11591 68532 233482 | 2147483647 212797 61 | 6.290 % |
210.22/210.26 c | 273925 | 11591 68532 233482 | 2147483647 214337 61 | 6.290 % |
212.22/212.29 c | 275621 | 11591 68532 233482 | 2147483647 216032 61 | 6.298 % |
214.22/214.28 c | 277484 | 11590 68532 233482 | 2147483647 217895 61 | 6.298 % |
216.52/216.55 c | 279535 | 11590 68532 233482 | 2147483647 219946 62 | 6.298 % |
219.52/219.53 c | 281789 | 11590 68532 233482 | 220411 222200 62 | 6.298 % |
222.72/222.78 c | 284268 | 11590 68532 233482 | 220411 202459 61 | 6.298 % |
225.82/225.89 c | 286994 | 11590 68532 233482 | 220411 205185 62 | 6.298 % |
226.02/226.01 c | 287094 | 11590 68532 233482 | 220411 205285 62 | 6.298 % |
226.12/226.15 c | 287205 | 11590 68532 233482 | 220411 205396 62 | 6.298 % |
226.22/226.29 c | 287326 | 11590 68532 233482 | 220411 205517 62 | 6.298 % |
226.42/226.46 c | 287459 | 11590 68532 233482 | 220411 205650 62 | 6.298 % |
226.72/226.71 c | 287605 | 11585 68532 233482 | 220411 205793 62 | 6.339 % |
226.92/226.91 c | 287766 | 11585 68532 233482 | 220411 205954 62 | 6.338 % |
227.02/227.05 c | 287944 | 11585 68532 233482 | 220411 206132 62 | 6.339 % |
227.32/227.35 c | 288138 | 11585 68532 233482 | 220411 206326 62 | 6.338 % |
227.62/227.65 c | 288351 | 11585 68532 233482 | 220411 206539 62 | 6.339 % |
227.92/227.93 c | 288585 | 11585 68532 233482 | 220411 206773 62 | 6.339 % |
228.22/228.23 c | 288842 | 11585 68532 233482 | 220411 207030 62 | 6.338 % |
228.42/228.49 c | 289123 | 11585 68532 233482 | 220411 207311 62 | 6.339 % |
228.83/228.83 c | 289433 | 11585 68532 233482 | 220411 207621 62 | 6.338 % |
229.22/229.28 c | 289773 | 11585 68532 233482 | 220411 207961 62 | 6.339 % |
229.72/229.78 c | 290145 | 11584 68532 233482 | 2147483647 208332 62 | 6.347 % |
230.32/230.30 c | 290554 | 11584 68532 233482 | 2147483647 208741 62 | 6.347 % |
230.92/230.90 c | 291003 | 11584 68532 233482 | 2147483647 209190 62 | 6.347 % |
231.32/231.38 c | 291497 | 11584 68532 233482 | 2147483647 209684 62 | 6.347 % |
232.13/232.15 c | 292042 | 11584 68532 233482 | 2147483647 210229 62 | 6.347 % |
232.92/232.91 c | 292638 | 11584 68532 233482 | 2147483647 210825 62 | 6.347 % |
233.82/233.81 c | 293293 | 11584 68532 233482 | 2147483647 211479 62 | 6.355 % |
234.73/234.77 c | 294013 | 11584 68532 233482 | 2147483647 212199 62 | 6.355 % |
235.83/235.82 c | 294807 | 11584 68532 233482 | 2147483647 212993 62 | 6.355 % |
236.93/236.96 c | 295679 | 11584 68532 233482 | 2147483647 213865 62 | 6.355 % |
238.13/238.17 c | 296638 | 11581 68532 233482 | 2147483647 214821 62 | 6.395 % |
239.83/239.91 c | 297691 | 11581 68532 233482 | 2147483647 215874 62 | 6.395 % |
241.23/241.31 c | 298849 | 11581 68532 233482 | 2147483647 217032 62 | 6.395 % |
242.93/242.94 c | 300122 | 11581 68532 233482 | 2147483647 218305 63 | 6.395 % |
244.53/244.60 c | 301522 | 11581 68532 233482 | 2147483647 219705 63 | 6.395 % |
246.33/246.31 c | 303062 | 11581 68532 233482 | 2147483647 221245 63 | 6.395 % |
248.83/248.89 c | 304757 | 11578 68441 233191 | 2147483647 222914 63 | 6.395 % |
251.13/251.12 c | 306621 | 11578 68441 233191 | 2147483647 224778 63 | 6.395 % |
253.83/253.89 c | 308670 | 11578 68441 233191 | 2147483647 226827 64 | 6.395 % |
257.13/257.15 c | 310923 | 11578 68441 233191 | 228157 229080 64 | 6.395 % |
260.53/260.52 c | 313401 | 11578 68441 233191 | 228157 199719 64 | 6.403 % |
263.73/263.73 c | 316131 | 11577 68441 233191 | 228157 202447 64 | 6.419 % |
267.33/267.31 c | 319130 | 11576 68441 233191 | 228157 205445 64 | 6.427 % |
267.43/267.42 c | 319230 | 11576 68441 233191 | 228157 205545 64 | 6.427 % |
267.53/267.56 c | 319341 | 11576 68441 233191 | 228157 205656 64 | 6.427 % |
267.63/267.70 c | 319462 | 11576 68441 233191 | 228157 205777 64 | 6.427 % |
267.83/267.90 c | 319595 | 11576 68441 233191 | 228157 205910 64 | 6.427 % |
268.13/268.14 c | 319741 | 11574 68441 233191 | 228157 206056 64 | 6.427 % |
268.33/268.37 c | 319902 | 11574 68441 233191 | 228157 206217 64 | 6.427 % |
268.53/268.56 c | 320078 | 11573 68441 233191 | 206316 206392 64 | 6.435 % |
268.83/268.90 c | 320271 | 11573 68441 233191 | 206316 206585 64 | 6.436 % |
269.13/269.19 c | 320486 | 11573 68441 233191 | 206316 206800 64 | 6.435 % |
269.43/269.49 c | 320719 | 11573 68441 233191 | 206316 207033 64 | 6.436 % |
269.83/269.81 c | 320976 | 11573 68441 233191 | 206316 207290 64 | 6.436 % |
270.63/270.63 c | 321257 | 11573 68441 233191 | 206316 175716 63 | 6.436 % |
270.93/270.94 c | 321566 | 11573 68441 233191 | 206316 176025 63 | 6.435 % |
271.33/271.32 c | 321907 | 11573 68441 233191 | 206316 176366 63 | 6.436 % |
271.73/271.74 c | 322280 | 11573 68441 233191 | 206316 176739 63 | 6.436 % |
272.03/272.06 c | 322690 | 11573 68441 233191 | 206316 177149 63 | 6.436 % |
272.53/272.58 c | 323139 | 11573 68441 233191 | 206316 177598 63 | 6.436 % |
273.23/273.22 c | 323634 | 11573 68441 233191 | 206316 178093 63 | 6.435 % |
273.93/273.99 c | 324177 | 11573 68441 233191 | 206316 178636 63 | 6.435 % |
274.83/274.85 c | 324773 | 11573 68441 233191 | 206316 179231 63 | 6.444 % |
275.63/275.66 c | 325428 | 11573 68441 233191 | 206316 179886 63 | 6.444 % |
276.43/276.46 c | 326150 | 11573 68441 233191 | 206316 180608 63 | 6.444 % |
277.43/277.44 c | 326942 | 11573 68441 233191 | 206316 181399 63 | 6.452 % |
278.63/278.62 c | 327813 | 11573 68441 233191 | 206316 182270 63 | 6.452 % |
279.63/279.69 c | 328772 | 11573 68441 233191 | 206316 183228 63 | 6.460 % |
280.63/280.66 c | 329826 | 11573 68441 233191 | 206316 184282 63 | 6.460 % |
281.73/281.80 c | 330985 | 11573 68441 233191 | 2147483647 185441 64 | 6.460 % |
283.33/283.40 c | 332259 | 11573 68441 233191 | 2147483647 186714 64 | 6.468 % |
285.03/285.01 c | 333659 | 11573 68441 233191 | 2147483647 188114 63 | 6.468 % |
286.63/286.61 c | 335200 | 11573 68441 233191 | 2147483647 189655 64 | 6.468 % |
288.43/288.47 c | 336894 | 11573 68441 233191 | 2147483647 191349 64 | 6.468 % |
289.73/289.78 c | 338757 | 11573 68441 233191 | 2147483647 193212 63 | 6.468 % |
291.83/291.84 c | 340813 | 11572 68441 233191 | 2147483647 195268 63 | 6.468 % |
294.43/294.45 c | 343066 | 11569 68377 232981 | 2147483647 197512 64 | 6.468 % |
297.33/297.33 c | 345545 | 11566 68377 232981 | 2147483647 199987 64 | 6.500 % |
301.03/301.04 c | 348271 | 11566 68377 232981 | 2147483647 202713 64 | 6.500 % |
304.63/304.63 c | 351268 | 11566 68377 232981 | 204443 205709 64 | 6.508 % |
308.04/308.03 c | 354565 | 11566 68377 232981 | 204443 183144 63 | 6.508 % |
308.13/308.17 c | 354667 | 11566 68377 232981 | 204443 183246 63 | 6.508 % |
308.33/308.33 c | 354777 | 11564 68377 232981 | 204443 183356 63 | 6.508 % |
308.53/308.53 c | 354899 | 11564 68377 232981 | 204443 183478 63 | 6.508 % |
308.63/308.69 c | 355033 | 11564 68377 232981 | 204443 183612 63 | 6.508 % |
308.83/308.88 c | 355179 | 11564 68377 232981 | 204443 183758 63 | 6.508 % |
309.03/309.08 c | 355340 | 11564 68377 232981 | 204443 183919 63 | 6.508 % |
309.14/309.18 c | 355516 | 11564 68377 232981 | 204443 184095 63 | 6.508 % |
309.43/309.49 c | 355711 | 11564 68377 232981 | 204443 184290 63 | 6.508 % |
309.73/309.71 c | 355923 | 11564 68377 232981 | 204443 184502 63 | 6.508 % |
309.93/309.97 c | 356157 | 11564 68377 232981 | 204443 184736 63 | 6.508 % |
310.24/310.29 c | 356414 | 11564 68377 232981 | 204443 184993 63 | 6.508 % |
310.63/310.62 c | 356695 | 11564 68377 232981 | 204443 185274 63 | 6.508 % |
310.93/310.96 c | 357004 | 11564 68377 232981 | 204443 185583 63 | 6.508 % |
311.43/311.45 c | 357343 | 11563 68377 232981 | 204443 185921 63 | 6.516 % |
311.73/311.76 c | 357716 | 11563 68377 232981 | 204443 186294 63 | 6.516 % |
312.33/312.33 c | 358131 | 11563 68377 232981 | 204443 186709 63 | 6.516 % |
312.83/312.87 c | 358581 | 11563 68377 232981 | 204443 187159 63 | 6.516 % |
313.43/313.41 c | 359076 | 11563 68377 232981 | 204443 187654 63 | 6.516 % |
314.13/314.12 c | 359618 | 11563 68377 232981 | 204443 188195 63 | 6.549 % |
314.73/314.80 c | 360216 | 11563 68377 232981 | 188577 188793 63 | 6.549 % |
315.63/315.69 c | 360871 | 11562 68377 232981 | 188577 189447 63 | 6.557 % |
316.84/316.85 c | 361591 | 11562 68377 232981 | 188577 164776 61 | 6.557 % |
317.73/317.77 c | 362383 | 11562 68377 232981 | 188577 165567 61 | 6.597 % |
318.63/318.65 c | 363254 | 11562 68377 232981 | 188577 166438 61 | 6.597 % |
319.73/319.75 c | 364212 | 11562 68377 232981 | 188577 167396 61 | 6.597 % |
320.83/320.81 c | 365266 | 11562 68377 232981 | 188577 168450 61 | 6.597 % |
321.93/321.98 c | 366426 | 11562 68377 232981 | 188577 169610 61 | 6.597 % |
323.53/323.56 c | 367699 | 11562 68377 232981 | 188577 170883 61 | 6.597 % |
325.03/325.03 c | 369100 | 11553 68377 232981 | 188577 172284 61 | 6.597 % |
326.63/326.63 c | 370642 | 11553 68377 232981 | 2147483647 173826 61 | 6.597 % |
328.83/328.82 c | 372338 | 11553 68377 232981 | 2147483647 175522 61 | 6.597 % |
331.03/331.07 c | 374203 | 11553 68377 232981 | 2147483647 177386 61 | 6.605 % |
333.34/333.40 c | 376253 | 11553 68377 232981 | 2147483647 179436 61 | 6.605 % |
336.13/336.11 c | 378507 | 11553 68377 232981 | 2147483647 181690 62 | 6.605 % |
339.03/339.04 c | 380987 | 11552 68224 232485 | 183167 184152 62 | 6.638 % |
342.43/342.43 c | 383712 | 11548 68224 232485 | 183167 165324 61 | 6.638 % |
345.73/345.75 c | 386709 | 11548 68224 232485 | 183167 168321 61 | 6.638 % |
349.23/349.24 c | 390005 | 11548 68224 232485 | 2147483647 171617 61 | 6.638 % |
353.34/353.38 c | 393630 | 11548 68224 232485 | 2147483647 175242 61 | 6.638 % |
353.44/353.49 c | 393730 | 11548 68224 232485 | 2147483647 175342 61 | 6.638 % |
353.64/353.66 c | 393840 | 11548 68224 232485 | 2147483647 175452 61 | 6.638 % |
353.84/353.84 c | 393962 | 11548 68224 232485 | 2147483647 175574 61 | 6.638 % |
354.04/354.06 c | 394097 | 11548 68224 232485 | 2147483647 175709 61 | 6.638 % |
354.34/354.32 c | 394244 | 11548 68224 232485 | 2147483647 175856 61 | 6.638 % |
354.54/354.52 c | 394404 | 11548 68224 232485 | 2147483647 176016 61 | 6.638 % |
354.74/354.73 c | 394583 | 11548 68224 232485 | 2147483647 176195 61 | 6.638 % |
354.94/354.96 c | 394776 | 11548 68224 232485 | 2147483647 176388 61 | 6.638 % |
355.14/355.14 c | 394988 | 11548 68224 232485 | 2147483647 176600 61 | 6.638 % |
355.34/355.33 c | 395222 | 11548 68224 232485 | 2147483647 176834 61 | 6.638 % |
355.54/355.59 c | 395479 | 11548 68224 232485 | 2147483647 177091 61 | 6.638 % |
355.94/355.94 c | 395760 | 11548 68224 232485 | 2147483647 177372 61 | 6.638 % |
356.24/356.30 c | 396069 | 11548 68224 232485 | 2147483647 177681 61 | 6.638 % |
356.94/356.93 c | 396408 | 11548 68224 232485 | 2147483647 178020 61 | 6.638 % |
357.34/357.35 c | 396781 | 11548 68224 232485 | 2147483647 178393 61 | 6.638 % |
357.84/357.86 c | 397190 | 11548 68224 232485 | 2147483647 178802 61 | 6.638 % |
358.44/358.41 c | 397640 | 11548 68224 232485 | 2147483647 179252 61 | 6.638 % |
359.04/359.02 c | 398134 | 11548 68224 232485 | 2147483647 179746 61 | 6.638 % |
359.54/359.60 c | 398678 | 11548 68224 232485 | 2147483647 180290 61 | 6.638 % |
360.24/360.23 c | 399274 | 11548 68224 232485 | 2147483647 180886 62 | 6.638 % |
361.14/361.12 c | 399929 | 11548 68224 232485 | 2147483647 181540 62 | 6.646 % |
361.84/361.86 c | 400649 | 11548 68224 232485 | 2147483647 182260 62 | 6.646 % |
362.74/362.76 c | 401441 | 11548 68224 232485 | 2147483647 183052 62 | 6.646 % |
364.14/364.15 c | 402313 | 11547 68224 232485 | 2147483647 183923 62 | 6.654 % |
365.34/365.39 c | 403271 | 11546 68224 232485 | 2147483647 184879 62 | 6.670 % |
366.64/366.64 c | 404324 | 11544 68224 232485 | 2147483647 185932 62 | 6.670 % |
368.14/368.21 c | 405482 | 11544 68224 232485 | 2147483647 187088 62 | 6.702 % |
369.84/369.90 c | 406755 | 11538 68224 232485 | 2147483647 188359 62 | 6.727 % |
371.64/371.70 c | 408156 | 11538 68224 232485 | 2147483647 189760 62 | 6.727 % |
373.94/373.97 c | 409696 | 11537 68117 232152 | 2147483647 191276 62 | 6.727 % |
375.74/375.73 c | 411391 | 11533 68117 232152 | 191580 192968 62 | 6.759 % |
378.94/378.93 c | 413254 | 11533 68117 232152 | 191580 175107 61 | 6.767 % |
381.24/381.29 c | 415303 | 11533 68117 232152 | 191580 177156 61 | 6.767 % |
384.04/384.11 c | 417557 | 11532 68117 232152 | 191580 179410 61 | 6.767 % |
386.14/386.18 c | 420036 | 11532 68117 232152 | 181854 181889 61 | 6.767 % |
389.94/389.92 c | 422761 | 11532 68117 232152 | 181854 184614 61 | 6.767 % |
393.84/393.85 c | 425761 | 11532 68117 232152 | 181854 167393 59 | 6.767 % |
397.94/397.97 c | 429057 | 11532 68117 232152 | 181854 170688 59 | 6.775 % |
402.64/402.61 c | 432682 | 11531 68117 232152 | 171632 156976 58 | 6.783 % |
407.04/407.02 c | 436670 | 11530 68117 232152 | 171632 160964 59 | 6.783 % |
407.04/407.10 c | 436770 | 11530 68117 232152 | 171632 161064 59 | 6.783 % |
407.24/407.24 c | 436880 | 11530 68117 232152 | 171632 161174 59 | 6.783 % |
407.44/407.45 c | 437001 | 11530 68117 232152 | 171632 161295 59 | 6.783 % |
407.64/407.68 c | 437134 | 11530 68117 232152 | 171632 161428 59 | 6.783 % |
407.84/407.86 c | 437280 | 11530 68117 232152 | 171632 161574 59 | 6.783 % |
408.04/408.03 c | 437441 | 11530 68117 232152 | 171632 161735 59 | 6.783 % |
408.24/408.29 c | 437619 | 11530 68117 232152 | 171632 161913 59 | 6.783 % |
408.54/408.52 c | 437814 | 11530 68117 232152 | 171632 162108 59 | 6.783 % |
408.74/408.75 c | 438026 | 11530 68117 232152 | 171632 162320 59 | 6.783 % |
409.14/409.14 c | 438260 | 11530 68117 232152 | 171632 162554 59 | 6.783 % |
409.44/409.47 c | 438516 | 11530 68117 232152 | 171632 162810 59 | 6.783 % |
409.84/409.85 c | 438798 | 11530 68117 232152 | 171632 163092 59 | 6.783 % |
410.24/410.23 c | 439108 | 11530 68117 232152 | 171632 163402 59 | 6.783 % |
410.64/410.66 c | 439448 | 11530 68069 231998 | 171632 163741 59 | 6.783 % |
410.94/411.01 c | 439820 | 11530 68069 231998 | 171632 164113 59 | 6.783 % |
411.54/411.58 c | 440231 | 11529 68069 231998 | 2147483647 164523 59 | 6.791 % |
412.04/412.02 c | 440680 | 11529 68069 231998 | 2147483647 164972 59 | 6.791 % |
412.54/412.52 c | 441173 | 11529 68069 231998 | 2147483647 165465 59 | 6.791 % |
413.34/413.32 c | 441715 | 11529 68069 231998 | 2147483647 166007 59 | 6.791 % |
413.94/413.98 c | 442312 | 11529 68069 231998 | 2147483647 166604 59 | 6.791 % |
414.64/414.64 c | 442969 | 11529 68069 231998 | 2147483647 167261 59 | 6.791 % |
415.54/415.56 c | 443689 | 11529 68069 231998 | 2147483647 167981 59 | 6.791 % |
416.54/416.53 c | 444482 | 11528 68069 231998 | 2147483647 168773 59 | 6.799 % |
417.34/417.31 c | 445353 | 11528 68069 231998 | 2147483647 169644 59 | 6.799 % |
418.44/418.44 c | 446311 | 11528 68069 231998 | 2147483647 170602 59 | 6.799 % |
419.64/419.65 c | 447364 | 11528 68069 231998 | 2147483647 171655 59 | 6.799 % |
421.14/421.13 c | 448522 | 11528 68069 231998 | 2147483647 172812 59 | 6.807 % |
422.64/422.70 c | 449795 | 11528 68069 231998 | 2147483647 174085 59 | 6.807 % |
424.44/424.41 c | 451196 | 11528 68069 231998 | 2147483647 175486 59 | 6.807 % |
426.34/426.39 c | 452736 | 11526 68069 231998 | 2147483647 177025 59 | 6.816 % |
428.64/428.65 c | 454430 | 11526 68069 231998 | 2147483647 178719 60 | 6.815 % |
431.04/431.11 c | 456293 | 11526 68069 231998 | 2147483647 180581 60 | 6.824 % |
433.74/433.74 c | 458345 | 11524 68069 231998 | 2147483647 182632 60 | 6.832 % |
436.04/436.09 c | 460598 | 11524 68069 231998 | 2147483647 184885 60 | 6.832 % |
439.24/439.23 c | 463077 | 11524 68069 231998 | 2147483647 187364 60 | 6.832 % |
443.24/443.32 c | 465803 | 11523 68012 231815 | 2147483647 190083 61 | 6.840 % |
447.54/447.51 c | 468801 | 11523 68012 231815 | 2147483647 193080 61 | 6.848 % |
451.74/451.80 c | 472097 | 11523 68012 231815 | 194282 196376 61 | 6.848 % |
457.14/457.20 c | 475722 | 11523 68012 231815 | 194282 176998 59 | 6.856 % |
462.34/462.36 c | 479712 | 11523 68012 231815 | 194282 180988 58 | 6.856 % |
467.85/467.88 c | 484099 | 11523 68012 231815 | 181277 166945 57 | 6.864 % |
468.05/468.08 c | 484201 | 11523 68012 231815 | 181277 167047 57 | 6.864 % |
468.25/468.26 c | 484312 | 11523 68012 231815 | 181277 167158 57 | 6.864 % |
468.45/468.42 c | 484433 | 11523 68012 231815 | 181277 167279 57 | 6.864 % |
468.55/468.59 c | 484566 | 11522 68012 231815 | 181277 167412 57 | 6.864 % |
468.75/468.80 c | 484712 | 11522 68012 231815 | 181277 167558 57 | 6.864 % |
468.95/469.00 c | 484872 | 11522 68012 231815 | 181277 167718 57 | 6.864 % |
469.15/469.18 c | 485048 | 11522 68012 231815 | 181277 167894 57 | 6.864 % |
469.45/469.44 c | 485242 | 11522 68012 231815 | 181277 168088 57 | 6.864 % |
469.65/469.69 c | 485455 | 11522 68012 231815 | 181277 168301 57 | 6.864 % |
469.85/469.85 c | 485690 | 11522 68012 231815 | 181277 168536 57 | 6.864 % |
470.15/470.12 c | 485946 | 11522 68012 231815 | 181277 168792 57 | 6.864 % |
470.45/470.46 c | 486227 | 11522 68012 231815 | 181277 169073 57 | 6.864 % |
470.75/470.81 c | 486537 | 11522 68012 231815 | 181277 169383 57 | 6.864 % |
471.35/471.37 c | 486877 | 11522 68012 231815 | 181277 169723 57 | 6.864 % |
471.75/471.81 c | 487250 | 11522 68012 231815 | 181277 170096 57 | 6.864 % |
472.15/472.21 c | 487660 | 11522 68012 231815 | 181277 170505 57 | 6.872 % |
472.95/472.96 c | 488109 | 11521 68012 231815 | 181277 170954 57 | 6.872 % |
473.65/473.64 c | 488604 | 11521 68012 231815 | 181277 171449 57 | 6.872 % |
474.45/474.43 c | 489146 | 11521 68012 231815 | 181277 171991 58 | 6.872 % |
475.15/475.18 c | 489742 | 11521 68012 231815 | 181277 172587 58 | 6.872 % |
475.85/475.88 c | 490398 | 11520 68012 231815 | 2147483647 173243 58 | 6.872 % |
476.75/476.74 c | 491120 | 11520 68012 231815 | 2147483647 173965 58 | 6.872 % |
477.55/477.60 c | 491913 | 11520 68012 231815 | 2147483647 174758 58 | 6.872 % |
478.75/478.80 c | 492785 | 11520 68012 231815 | 2147483647 175630 58 | 6.872 % |
479.65/479.70 c | 493744 | 11520 68012 231815 | 2147483647 176589 58 | 6.872 % |
480.95/480.95 c | 494799 | 11519 67978 231704 | 2147483647 177641 58 | 6.872 % |
482.15/482.18 c | 495957 | 11519 67978 231704 | 2147483647 178799 58 | 6.872 % |
483.65/483.68 c | 497231 | 11518 67978 231704 | 2147483647 180072 58 | 6.880 % |
485.45/485.46 c | 498631 | 11518 67978 231704 | 2147483647 181471 58 | 6.888 % |
487.55/487.55 c | 500173 | 11518 67978 231704 | 2147483647 183012 59 | 6.896 % |
489.55/489.56 c | 501867 | 11518 67978 231704 | 2147483647 184706 59 | 6.896 % |
491.85/491.88 c | 503733 | 11518 67978 231704 | 2147483647 186572 59 | 6.896 % |
494.55/494.54 c | 505783 | 11518 67978 231704 | 2147483647 188622 59 | 6.896 % |
497.45/497.42 c | 508036 | 11518 67978 231704 | 2147483647 190874 59 | 6.904 % |
500.55/500.59 c | 510516 | 11515 67978 231704 | 192841 193354 60 | 6.904 % |
504.95/504.95 c | 513242 | 11514 67978 231704 | 192841 167719 58 | 6.913 % |
508.85/508.89 c | 516240 | 11514 67978 231704 | 192841 170717 58 | 6.913 % |
512.95/512.94 c | 519536 | 11514 67978 231704 | 192841 174013 59 | 6.912 % |
517.65/517.71 c | 523162 | 11513 67933 231567 | 174477 157550 57 | 6.921 % |
522.95/523.00 c | 527150 | 11513 67933 231567 | 174477 161538 58 | 6.921 % |
529.45/529.47 c | 531538 | 11513 67933 231567 | 2147483647 165926 58 | 6.921 % |
536.05/536.03 c | 536361 | 11513 67933 231567 | 2147483647 170749 58 | 6.921 % |
536.15/536.16 c | 536461 | 11513 67933 231567 | 2147483647 170849 58 | 6.921 % |
536.25/536.25 c | 536572 | 11513 67933 231567 | 2147483647 170960 58 | 6.921 % |
536.45/536.43 c | 536693 | 11513 67933 231567 | 2147483647 171081 58 | 6.921 % |
536.55/536.58 c | 536827 | 11513 67933 231567 | 2147483647 171215 58 | 6.921 % |
536.75/536.74 c | 536973 | 11513 67933 231567 | 2147483647 171361 58 | 6.921 % |
536.95/536.94 c | 537133 | 11513 67933 231567 | 2147483647 171521 58 | 6.921 % |
537.05/537.08 c | 537309 | 11513 67933 231567 | 2147483647 171697 58 | 6.921 % |
537.35/537.38 c | 537504 | 11513 67933 231567 | 2147483647 171892 58 | 6.921 % |
537.65/537.71 c | 537716 | 11513 67933 231567 | 2147483647 172103 58 | 6.929 % |
538.05/538.08 c | 537950 | 11513 67933 231567 | 2147483647 172337 58 | 6.929 % |
538.45/538.43 c | 538206 | 11513 67933 231567 | 2147483647 172593 58 | 6.929 % |
538.85/538.83 c | 538488 | 11513 67933 231567 | 2147483647 172875 58 | 6.929 % |
539.45/539.42 c | 538798 | 11513 67933 231567 | 2147483647 173185 58 | 6.929 % |
539.85/539.82 c | 539138 | 11513 67933 231567 | 2147483647 173525 58 | 6.929 % |
540.35/540.38 c | 539511 | 11513 67933 231567 | 2147483647 173898 58 | 6.929 % |
541.14/541.16 c | 539922 | 11513 67933 231567 | 2147483647 174309 58 | 6.929 % |
541.74/541.77 c | 540372 | 11513 67933 231567 | 2147483647 174759 58 | 6.929 % |
542.35/542.33 c | 540866 | 11513 67933 231567 | 2147483647 175253 58 | 6.929 % |
542.94/542.93 c | 541408 | 11513 67933 231567 | 2147483647 175795 58 | 6.929 % |
543.84/543.85 c | 542005 | 11513 67933 231567 | 2147483647 176392 58 | 6.929 % |
544.55/544.55 c | 542660 | 11512 67933 231567 | 2147483647 177047 58 | 6.929 % |
545.54/545.52 c | 543380 | 11512 67933 231567 | 2147483647 177767 58 | 6.929 % |
547.04/547.02 c | 544172 | 11512 67924 231537 | 2147483647 178558 58 | 6.929 % |
548.14/548.16 c | 545044 | 11512 67924 231537 | 2147483647 179430 58 | 6.929 % |
549.54/549.59 c | 546002 | 11511 67924 231537 | 2147483647 180387 59 | 6.937 % |
551.04/551.02 c | 547055 | 11511 67924 231537 | 2147483647 181439 59 | 6.945 % |
552.64/552.67 c | 548214 | 11511 67924 231537 | 2147483647 182598 59 | 6.945 % |
554.54/554.53 c | 549487 | 11511 67924 231537 | 2147483647 183871 59 | 6.945 % |
556.44/556.47 c | 550887 | 11511 67924 231537 | 2147483647 185271 59 | 6.945 % |
558.04/558.10 c | 552427 | 11511 67924 231537 | 2147483647 186811 59 | 6.945 % |
560.34/560.32 c | 554121 | 11511 67924 231537 | 2147483647 188505 59 | 6.945 % |
562.94/563.00 c | 555986 | 11511 67924 231537 | 2147483647 190370 59 | 6.945 % |
565.74/565.72 c | 558035 | 11511 67924 231537 | 2147483647 192419 59 | 6.945 % |
568.94/568.99 c | 560289 | 11511 67924 231537 | 194385 194673 59 | 6.945 % |
573.34/573.31 c | 562767 | 11511 67924 231537 | 194385 173426 57 | 6.953 % |
577.04/577.04 c | 565494 | 11511 67924 231537 | 194385 176153 57 | 6.953 % |
581.25/581.27 c | 568491 | 11511 67924 231537 | 194385 179150 57 | 6.953 % |
586.55/586.52 c | 571789 | 11507 67886 231407 | 2147483647 182440 57 | 6.977 % |
590.55/590.59 c | 575414 | 11506 67886 231407 | 2147483647 186065 57 | 6.977 % |
595.95/595.99 c | 579402 | 11506 67886 231407 | 2147483647 190053 58 | 6.977 % |
603.55/603.58 c | 583789 | 11505 67886 231407 | 190651 171941 56 | 6.993 % |
610.85/610.82 c | 588612 | 11505 67886 231407 | 190651 176763 56 | 7.001 % |
617.65/617.69 c | 593919 | 11505 67886 231407 | 178151 182070 56 | 7.001 % |
619.05/619.05 c | 594019 | 11503 67842 231272 | 178151 157885 55 | 7.001 % |
619.25/619.27 c | 594129 | 11503 67842 231272 | 178151 157995 55 | 7.001 % |
619.35/619.37 c | 594250 | 11503 67842 231272 | 178151 158116 55 | 7.001 % |
619.45/619.50 c | 594383 | 11502 67842 231272 | 178151 158248 55 | 7.009 % |
619.75/619.76 c | 594530 | 11502 67842 231272 | 178151 158394 55 | 7.018 % |
620.05/620.05 c | 594692 | 11502 67842 231272 | 178151 158556 55 | 7.018 % |
620.35/620.32 c | 594869 | 11502 67842 231272 | 178151 158733 55 | 7.018 % |
620.55/620.53 c | 595062 | 11502 67842 231272 | 178151 158926 55 | 7.018 % |
620.85/620.83 c | 595274 | 11501 67842 231272 | 178151 159138 55 | 7.018 % |
621.15/621.11 c | 595507 | 11501 67842 231272 | 178151 159371 55 | 7.018 % |
621.55/621.58 c | 595763 | 11501 67842 231272 | 178151 159627 55 | 7.018 % |
621.95/621.92 c | 596044 | 11501 67842 231272 | 178151 159908 55 | 7.018 % |
622.45/622.46 c | 596353 | 11501 67842 231272 | 178151 160217 55 | 7.018 % |
623.15/623.17 c | 596692 | 11501 67842 231272 | 178151 160556 55 | 7.018 % |
623.75/623.73 c | 597064 | 11501 67842 231272 | 178151 160928 55 | 7.018 % |
623.95/623.98 c | 597473 | 11501 67842 231272 | 178151 161337 55 | 7.018 % |
624.65/624.66 c | 597924 | 11500 67842 231272 | 178151 161787 55 | 7.026 % |
625.05/625.10 c | 598417 | 11500 67842 231272 | 178151 162280 55 | 7.026 % |
625.75/625.80 c | 598959 | 11500 67842 231272 | 178151 162821 55 | 7.034 % |
626.75/626.77 c | 599555 | 11500 67842 231272 | 178151 163417 55 | 7.034 % |
627.65/627.69 c | 600210 | 11499 67842 231272 | 2147483647 164072 55 | 7.034 % |
628.65/628.70 c | 600932 | 11499 67842 231272 | 2147483647 164794 55 | 7.034 % |
629.85/629.89 c | 601725 | 11499 67842 231272 | 2147483647 165587 55 | 7.034 % |
631.15/631.12 c | 602596 | 11499 67842 231272 | 2147483647 166458 55 | 7.034 % |
632.15/632.19 c | 603555 | 11499 67842 231272 | 2147483647 167417 55 | 7.034 % |
633.65/633.66 c | 604608 | 11499 67842 231272 | 2147483647 168470 55 | 7.034 % |
635.25/635.23 c | 605766 | 11499 67842 231272 | 2147483647 169628 55 | 7.034 % |
637.05/637.11 c | 607039 | 11499 67842 231272 | 2147483647 170901 55 | 7.034 % |
639.05/639.05 c | 608440 | 11499 67842 231272 | 2147483647 172302 55 | 7.034 % |
641.15/641.20 c | 609984 | 11499 67842 231272 | 2147483647 173846 55 | 7.034 % |
643.55/643.59 c | 611678 | 11499 67842 231272 | 2147483647 175539 55 | 7.042 % |
645.75/645.80 c | 613542 | 11498 67842 231272 | 2147483647 177403 56 | 7.042 % |
648.55/648.55 c | 615591 | 11498 67842 231272 | 2147483647 179452 56 | 7.042 % |
651.95/651.93 c | 617844 | 11498 67842 231272 | 2147483647 181705 56 | 7.042 % |
655.66/655.69 c | 620322 | 11498 67810 231176 | 183849 184169 56 | 7.042 % |
660.35/660.39 c | 623047 | 11498 67810 231176 | 183849 163734 54 | 7.042 % |
664.25/664.30 c | 626045 | 11498 67810 231176 | 183849 166731 54 | 7.050 % |
669.55/669.53 c | 629341 | 11498 67810 231176 | 183849 170027 54 | 7.050 % |
674.85/674.88 c | 632966 | 11497 67810 231176 | 2147483647 173651 54 | 7.058 % |
680.45/680.42 c | 636954 | 11495 67810 231176 | 2147483647 177637 54 | 7.074 % |
686.15/686.20 c | 641340 | 11495 67810 231176 | 2147483647 182022 55 | 7.082 % |
692.15/692.14 c | 646163 | 11493 67773 231059 | 2147483647 186845 55 | 7.082 % |
698.26/698.23 c | 651468 | 11493 67773 231059 | 2147483647 192150 55 | 7.082 % |
703.96/703.99 c | 657304 | 11488 67773 231059 | 2147483647 197982 55 | 7.123 % |
704.06/704.07 c | 657405 | 11488 67773 231059 | 2147483647 198083 55 | 7.123 % |
704.16/704.18 c | 657515 | 11488 67773 231059 | 2147483647 198193 55 | 7.123 % |
704.36/704.41 c | 657637 | 11486 67773 231059 | 2147483647 198313 55 | 7.139 % |
704.46/704.47 c | 657772 | 11486 67773 231059 | 2147483647 198448 55 | 7.139 % |
704.56/704.56 c | 657922 | 11486 67773 231059 | 2147483647 198598 55 | 7.139 % |
704.76/704.79 c | 658083 | 11486 67773 231059 | 2147483647 198759 55 | 7.139 % |
705.06/705.08 c | 658260 | 11486 67773 231059 | 2147483647 198936 55 | 7.139 % |
705.36/705.33 c | 658454 | 11486 67773 231059 | 2147483647 199130 55 | 7.139 % |
705.46/705.45 c | 658666 | 11486 67773 231059 | 2147483647 199342 55 | 7.139 % |
705.66/705.69 c | 658899 | 11486 67773 231059 | 2147483647 199575 54 | 7.139 % |
705.86/705.91 c | 659156 | 11486 67773 231059 | 2147483647 199832 54 | 7.139 % |
706.26/706.22 c | 659438 | 11486 67773 231059 | 2147483647 200114 54 | 7.139 % |
706.46/706.43 c | 659748 | 11486 67773 231059 | 2147483647 200424 54 | 7.139 % |
706.56/706.61 c | 660089 | 11486 67773 231059 | 2147483647 200765 54 | 7.139 % |
707.16/707.16 c | 660465 | 11486 67773 231059 | 2147483647 201141 55 | 7.139 % |
707.86/707.90 c | 660874 | 11486 67773 231059 | 2147483647 201550 55 | 7.139 % |
708.46/708.50 c | 661323 | 11486 67773 231059 | 2147483647 201999 55 | 7.139 % |
709.16/709.13 c | 661817 | 11486 67773 231059 | 2147483647 202493 55 | 7.139 % |
709.66/709.65 c | 662359 | 11486 67773 231059 | 2147483647 203035 55 | 7.139 % |
710.56/710.61 c | 662956 | 11486 67773 231059 | 2147483647 203632 55 | 7.139 % |
711.56/711.54 c | 663612 | 11486 67773 231059 | 2147483647 204288 55 | 7.139 % |
712.46/712.43 c | 664332 | 11486 67773 231059 | 2147483647 205008 55 | 7.139 % |
713.56/713.56 c | 665124 | 11486 67694 230806 | 2147483647 205791 55 | 7.139 % |
714.76/714.78 c | 665995 | 11486 67694 230806 | 2147483647 206662 55 | 7.139 % |
716.16/716.17 c | 666953 | 11485 67694 230806 | 2147483647 207619 55 | 7.147 % |
717.56/717.56 c | 668007 | 11485 67694 230806 | 2147483647 208673 55 | 7.147 % |
719.26/719.26 c | 669165 | 11485 67694 230806 | 2147483647 209830 55 | 7.163 % |
721.16/721.14 c | 670440 | 11485 67694 230806 | 2147483647 211105 55 | 7.163 % |
723.16/723.19 c | 671840 | 11485 67694 230806 | 2147483647 212505 55 | 7.163 % |
725.56/725.52 c | 673380 | 11485 67694 230806 | 2147483647 214044 55 | 7.171 % |
727.86/727.87 c | 675074 | 11485 67694 230806 | 2147483647 215738 55 | 7.171 % |
730.36/730.41 c | 676937 | 11485 67694 230806 | 2147483647 217601 55 | 7.171 % |
733.26/733.31 c | 678986 | 11484 67694 230806 | 2147483647 219649 55 | 7.179 % |
736.66/736.62 c | 681239 | 11484 67694 230806 | 220664 221902 55 | 7.179 % |
741.66/741.66 c | 683718 | 11484 67694 230806 | 220664 199326 53 | 7.179 % |
746.26/746.24 c | 686443 | 11484 67694 230806 | 220664 202051 52 | 7.179 % |
750.86/750.85 c | 689442 | 11484 67694 230806 | 220664 205050 52 | 7.179 % |
756.06/756.05 c | 692738 | 11481 67650 230669 | 2147483647 208340 53 | 7.187 % |
762.06/762.06 c | 696363 | 11481 67650 230669 | 2147483647 211965 53 | 7.187 % |
769.76/769.77 c | 700350 | 11481 67650 230669 | 215602 215952 52 | 7.187 % |
777.16/777.21 c | 704736 | 11481 67650 230669 | 215602 192676 51 | 7.196 % |
784.56/784.55 c | 709559 | 11481 67650 230669 | 215602 197499 51 | 7.196 % |
794.16/794.12 c | 714867 | 11478 67621 230573 | 197942 177162 49 | 7.204 % |
801.26/801.24 c | 720704 | 11478 67621 230573 | 2147483647 182998 50 | 7.212 % |
812.47/812.44 c | 727122 | 11478 67621 230573 | 2147483647 189415 49 | 7.220 % |
812.67/812.63 c | 727222 | 11478 67621 230573 | 2147483647 189515 49 | 7.220 % |
812.87/812.87 c | 727332 | 11478 67621 230573 | 2147483647 189625 49 | 7.220 % |
813.17/813.17 c | 727453 | 11478 67621 230573 | 2147483647 189746 49 | 7.220 % |
813.47/813.50 c | 727586 | 11478 67621 230573 | 2147483647 189879 49 | 7.220 % |
813.67/813.70 c | 727733 | 11478 67621 230573 | 2147483647 190026 49 | 7.220 % |
813.97/814.00 c | 727895 | 11478 67621 230573 | 2147483647 190188 49 | 7.220 % |
814.27/814.28 c | 728071 | 11478 67621 230573 | 2147483647 190364 49 | 7.220 % |
814.57/814.55 c | 728267 | 11478 67621 230573 | 2147483647 190560 49 | 7.220 % |
814.87/814.83 c | 728479 | 11478 67621 230573 | 2147483647 190772 49 | 7.220 % |
815.17/815.20 c | 728713 | 11478 67621 230573 | 2147483647 191006 50 | 7.220 % |
815.57/815.58 c | 728970 | 11478 67621 230573 | 2147483647 191263 50 | 7.220 % |
816.07/816.11 c | 729252 | 11478 67621 230573 | 2147483647 191545 49 | 7.220 % |
816.67/816.68 c | 729561 | 11478 67621 230573 | 2147483647 191854 49 | 7.220 % |
817.17/817.21 c | 729900 | 11478 67621 230573 | 2147483647 192193 49 | 7.220 % |
817.67/817.69 c | 730272 | 11478 67621 230573 | 2147483647 192565 49 | 7.220 % |
818.27/818.24 c | 730682 | 11478 67621 230573 | 2147483647 192975 49 | 7.220 % |
818.87/818.82 c | 731132 | 11478 67621 230573 | 2147483647 193425 49 | 7.220 % |
819.47/819.42 c | 731626 | 11478 67621 230573 | 2147483647 193919 50 | 7.220 % |
820.07/820.08 c | 732169 | 11478 67621 230573 | 2147483647 194462 50 | 7.220 % |
820.77/820.79 c | 732765 | 11478 67621 230573 | 2147483647 195058 50 | 7.220 % |
821.87/821.89 c | 733420 | 11476 67604 230516 | 2147483647 195710 49 | 7.220 % |
822.97/823.00 c | 734140 | 11476 67604 230516 | 2147483647 196430 50 | 7.220 % |
823.87/823.85 c | 734933 | 11476 67604 230516 | 2147483647 197223 49 | 7.220 % |
824.97/824.94 c | 735805 | 11476 67604 230516 | 2147483647 198094 50 | 7.228 % |
826.17/826.16 c | 736764 | 11476 67604 230516 | 2147483647 199053 50 | 7.228 % |
827.57/827.58 c | 737817 | 11476 67604 230516 | 2147483647 200106 50 | 7.228 % |
828.97/829.00 c | 738976 | 11476 67604 230516 | 2147483647 201265 50 | 7.228 % |
830.67/830.71 c | 740249 | 11476 67604 230516 | 2147483647 202538 50 | 7.228 % |
832.77/832.77 c | 741650 | 11475 67604 230516 | 2147483647 203937 50 | 7.244 % |
835.27/835.30 c | 743190 | 11475 67604 230516 | 2147483647 205477 50 | 7.244 % |
837.57/837.54 c | 744885 | 11475 67604 230516 | 2147483647 207172 50 | 7.244 % |
840.07/840.09 c | 746748 | 11475 67604 230516 | 2147483647 209035 50 | 7.244 % |
842.77/842.78 c | 748797 | 11475 67604 230516 | 2147483647 211083 50 | 7.252 % |
845.67/845.65 c | 751051 | 11475 67604 230516 | 212287 213337 50 | 7.252 % |
850.67/850.69 c | 753531 | 11475 67604 230516 | 212287 192415 49 | 7.252 % |
854.87/854.89 c | 756256 | 11475 67604 230516 | 212287 195140 49 | 7.253 % |
859.27/859.25 c | 759255 | 11472 67574 230422 | 212287 198139 49 | 7.253 % |
863.67/863.65 c | 762551 | 11472 67574 230422 | 2147483647 201435 49 | 7.253 % |
868.37/868.34 c | 766178 | 11411 67574 230422 | 2147483647 205061 49 | 7.842 % |
872.07/872.08 c | 770165 | 11400 67574 230422 | 2147483647 209045 49 | 7.866 % |
875.37/875.40 c | 774551 | 11400 67574 230422 | 2147483647 213431 49 | 7.866 % |
880.37/880.34 c | 779375 | 11400 67574 230422 | 2147483647 218255 50 | 7.867 % |
898.47/898.47 c | 784682 | 11395 66182 225540 | 2147483647 64990 44 | 7.875 % |
901.86/901.87 c | 790517 | 11376 66182 225540 | 2147483647 70813 46 | 8.028 % |
905.86/905.90 c | 796936 | 11376 66182 225540 | 2147483647 77232 51 | 8.028 % |
909.96/909.93 c | 803996 | 11368 66058 225143 | 2147483647 84184 53 | 8.101 % |
910.06/910.04 c | 804096 | 11368 66058 225143 | 2147483647 84284 53 | 8.101 % |
910.06/910.10 c | 804206 | 11368 66058 225143 | 2147483647 84394 53 | 8.101 % |
910.26/910.22 c | 804327 | 11368 66058 225143 | 2147483647 84515 53 | 8.101 % |
910.26/910.29 c | 804460 | 11368 66058 225143 | 2147483647 84648 53 | 8.101 % |
910.46/910.41 c | 804606 | 11368 66058 225143 | 2147483647 84794 53 | 8.101 % |
910.56/910.53 c | 804766 | 11368 66058 225143 | 2147483647 84954 53 | 8.101 % |
910.66/910.65 c | 804943 | 11368 66058 225143 | 2147483647 85131 53 | 8.101 % |
910.76/910.79 c | 805136 | 11368 66058 225143 | 2147483647 85324 53 | 8.101 % |
910.87/910.90 c | 805348 | 11368 66058 225143 | 2147483647 85536 53 | 8.101 % |
911.06/911.06 c | 805583 | 11366 66058 225143 | 2147483647 85769 53 | 8.118 % |
911.26/911.25 c | 805841 | 11366 66058 225143 | 2147483647 86027 53 | 8.117 % |
911.46/911.48 c | 806123 | 11366 66058 225143 | 2147483647 86309 53 | 8.117 % |
911.66/911.63 c | 806435 | 11364 66058 225143 | 2147483647 86620 53 | 8.174 % |
911.86/911.91 c | 806775 | 11364 66058 225143 | 2147483647 86960 54 | 8.174 % |
912.26/912.24 c | 807148 | 11364 66058 225143 | 2147483647 87333 54 | 8.174 % |
912.56/912.54 c | 807558 | 11358 65908 224650 | 2147483647 87690 54 | 8.174 % |
912.86/912.82 c | 808008 | 11353 65908 224650 | 2147483647 88137 54 | 8.214 % |
913.16/913.19 c | 808505 | 11353 65908 224650 | 2147483647 88634 54 | 8.214 % |
913.46/913.50 c | 809048 | 11353 65908 224650 | 2147483647 89177 54 | 8.214 % |
914.06/914.01 c | 809646 | 11352 65908 224650 | 2147483647 89774 55 | 8.222 % |
914.36/914.32 c | 810304 | 11351 65908 224650 | 2147483647 90431 54 | 8.231 % |
914.76/914.72 c | 811025 | 11350 65908 224650 | 2147483647 91151 55 | 8.239 % |
915.46/915.41 c | 811818 | 11347 65908 224650 | 2147483647 91940 55 | 8.271 % |
916.06/916.02 c | 812689 | 11346 65908 224650 | 2147483647 92810 55 | 8.279 % |
916.46/916.42 c | 813647 | 11345 65908 224650 | 2147483647 93768 56 | 8.279 % |
917.26/917.26 c | 814700 | 11345 65908 224650 | 2147483647 94821 56 | 8.279 % |
918.16/918.18 c | 815858 | 11341 65908 224650 | 2147483647 95975 56 | 8.312 % |
919.16/919.18 c | 817133 | 11341 65908 224650 | 2147483647 97249 56 | 8.320 % |
920.06/920.10 c | 818533 | 11335 65908 224650 | 2147483647 98645 56 | 8.416 % |
921.26/921.27 c | 820073 | 11328 65701 223982 | 2147483647 99850 56 | 8.416 % |
922.47/922.42 c | 821768 | 11325 65701 223982 | 2147483647 101542 55 | 8.441 % |
923.77/923.76 c | 823631 | 11325 65701 223982 | 2147483647 103405 56 | 8.440 % |
925.27/925.25 c | 825682 | 11325 65701 223982 | 2147483647 105456 56 | 8.441 % |
926.97/926.95 c | 827936 | 11318 65701 223982 | 2147483647 107707 56 | 8.505 % |
928.87/928.88 c | 830414 | 11317 65701 223982 | 2147483647 110184 56 | 8.513 % |
931.07/931.07 c | 833139 | 11316 65701 223982 | 2147483647 112908 57 | 8.521 % |
933.57/933.56 c | 836136 | 11301 65545 223473 | 2147483647 115841 58 | 8.659 % |
935.97/935.97 c | 839433 | 11295 65545 223473 | 2147483647 119134 58 | 8.691 % |
938.57/938.53 c | 843059 | 11293 65545 223473 | 2147483647 122758 59 | 8.707 % |
941.77/941.75 c | 847048 | 11292 65545 223473 | 2147483647 126746 60 | 8.715 % |
945.17/945.12 c | 851435 | 11289 65545 223473 | 2147483647 131129 62 | 8.748 % |
949.57/949.60 c | 856259 | 11284 65362 222898 | 2147483647 135742 62 | 8.773 % |
954.37/954.32 c | 861564 | 11284 65362 222898 | 2147483647 141046 64 | 8.780 % |
959.37/959.40 c | 867400 | 11283 65362 222898 | 2147483647 146881 65 | 8.788 % |
965.07/965.06 c | 873818 | 11271 65362 222898 | 2147483647 153292 65 | 8.942 % |
972.87/972.91 c | 880879 | 11271 65362 222898 | 2147483647 160352 65 | 8.958 % |
981.37/981.39 c | 888643 | 11261 65188 222335 | 2147483647 167973 64 | 8.958 % |
981.57/981.52 c | 888743 | 11261 65188 222335 | 2147483647 168073 64 | 8.958 % |
981.67/981.70 c | 888853 | 11261 65188 222335 | 2147483647 168183 64 | 8.958 % |
981.87/981.86 c | 888974 | 11261 65188 222335 | 2147483647 168304 64 | 8.958 % |
982.07/982.03 c | 889108 | 11261 65188 222335 | 2147483647 168438 64 | 8.958 % |
982.27/982.24 c | 889257 | 11261 65188 222335 | 2147483647 168587 64 | 8.958 % |
982.47/982.45 c | 889419 | 11259 65188 222335 | 2147483647 168748 64 | 8.974 % |
982.67/982.69 c | 889596 | 11259 65188 222335 | 2147483647 168925 64 | 8.974 % |
982.97/982.95 c | 889790 | 11259 65188 222335 | 2147483647 169119 64 | 8.974 % |
983.17/983.19 c | 890002 | 11259 65188 222335 | 2147483647 169331 64 | 8.974 % |
983.47/983.46 c | 890236 | 11259 65188 222335 | 2147483647 169565 64 | 8.974 % |
983.87/983.87 c | 890492 | 11259 65188 222335 | 2147483647 169821 64 | 8.974 % |
984.17/984.19 c | 890774 | 11259 65188 222335 | 2147483647 170103 64 | 8.974 % |
984.67/984.63 c | 891083 | 11259 65188 222335 | 2147483647 170412 64 | 8.974 % |
984.97/984.97 c | 891423 | 11259 65188 222335 | 2147483647 170752 64 | 8.974 % |
985.47/985.44 c | 891796 | 11258 65188 222335 | 2147483647 171124 64 | 8.982 % |
985.97/985.95 c | 892205 | 11254 65188 222335 | 2147483647 171529 64 | 9.015 % |
986.67/986.64 c | 892655 | 11254 65188 222335 | 2147483647 171979 64 | 9.015 % |
987.17/987.18 c | 893150 | 11254 65188 222335 | 2147483647 172474 64 | 9.015 % |
987.77/987.77 c | 893692 | 11254 65188 222335 | 2147483647 173016 64 | 9.015 % |
988.27/988.24 c | 894288 | 11254 65188 222335 | 2147483647 173612 64 | 9.015 % |
988.87/988.87 c | 894945 | 11254 65188 222335 | 2147483647 174269 64 | 9.015 % |
989.57/989.59 c | 895665 | 11254 65188 222335 | 2147483647 174989 64 | 9.014 % |
990.57/990.54 c | 896459 | 11254 65188 222335 | 2147483647 175783 64 | 9.014 % |
991.57/991.59 c | 897332 | 11254 65188 222335 | 2147483647 176655 64 | 9.031 % |
992.67/992.67 c | 898290 | 11254 65188 222335 | 2147483647 177613 64 | 9.031 % |
993.57/993.55 c | 899344 | 11254 65188 222335 | 2147483647 178667 64 | 9.031 % |
994.77/994.77 c | 900502 | 11254 65188 222335 | 2147483647 179825 64 | 9.031 % |
995.67/995.68 c | 901776 | 11254 65188 222335 | 2147483647 181099 64 | 9.031 % |
996.97/996.99 c | 903177 | 11254 65188 222335 | 2147483647 182500 65 | 9.031 % |
997.87/997.84 c | 904720 | 11254 65188 222335 | 2147483647 184043 64 | 9.031 % |
999.47/999.46 c | 906416 | 11254 65188 222335 | 2147483647 185738 65 | 9.039 % |
1001.17/1001.19 c | 908279 | 11254 65188 222335 | 2147483647 187601 65 | 9.039 % |
1003.07/1003.10 c | 910329 | 11254 65188 222335 | 2147483647 189651 65 | 9.039 % |
1005.48/1005.49 c | 912583 | 11250 65134 222169 | 2147483647 191506 65 | 9.047 % |
1008.67/1008.63 c | 915061 | 11250 65134 222169 | 2147483647 193983 65 | 9.055 % |
1012.17/1012.18 c | 917786 | 11250 65134 222169 | 2147483647 196708 66 | 9.055 % |
1016.07/1016.03 c | 920784 | 11249 65134 222169 | 198919 199703 66 | 9.079 % |
1020.07/1020.08 c | 924080 | 11246 65134 222169 | 198919 178897 64 | 9.088 % |
1023.77/1023.72 c | 927705 | 11245 65134 222169 | 198919 182522 64 | 9.087 % |
1027.57/1027.56 c | 931692 | 11245 65134 222169 | 184817 186509 64 | 9.087 % |
1032.37/1032.35 c | 936078 | 11245 65134 222169 | 184817 172245 63 | 9.087 % |
1037.38/1037.38 c | 940901 | 11245 65134 222169 | 2147483647 177068 63 | 9.087 % |
1043.47/1043.48 c | 946207 | 11245 65134 222169 | 2147483647 182374 63 | 9.087 % |
1050.87/1050.90 c | 952042 | 11245 65086 222020 | 2147483647 188206 64 | 9.087 % |
1058.77/1058.72 c | 958461 | 11245 65086 222020 | 2147483647 194624 65 | 9.095 % |
1066.57/1066.57 c | 965521 | 11243 65086 222020 | 196162 175164 60 | 9.104 % |
1074.67/1074.64 c | 973286 | 11242 65086 222020 | 179643 164666 60 | 9.112 % |
1083.87/1083.84 c | 981827 | 11242 65086 222020 | 2147483647 173206 61 | 9.120 % |
1084.07/1084.06 c | 981927 | 11241 65056 221924 | 2147483647 173306 61 | 9.120 % |
1084.27/1084.22 c | 982038 | 11241 65056 221924 | 2147483647 173417 61 | 9.120 % |
1084.37/1084.36 c | 982162 | 11240 65056 221924 | 2147483647 173540 61 | 9.128 % |
1084.57/1084.54 c | 982295 | 11240 65056 221924 | 2147483647 173673 61 | 9.128 % |
1084.77/1084.72 c | 982442 | 11240 65056 221924 | 2147483647 173820 61 | 9.128 % |
1084.97/1084.95 c | 982602 | 11240 65056 221924 | 2147483647 173980 61 | 9.128 % |
1085.17/1085.12 c | 982778 | 11240 65056 221924 | 2147483647 174156 61 | 9.128 % |
1085.27/1085.31 c | 982971 | 11240 65056 221924 | 2147483647 174349 61 | 9.128 % |
1085.47/1085.46 c | 983183 | 11240 65056 221924 | 2147483647 174561 61 | 9.128 % |
1085.67/1085.70 c | 983416 | 11240 65056 221924 | 2147483647 174794 61 | 9.128 % |
1086.07/1086.05 c | 983673 | 11240 65056 221924 | 2147483647 175051 61 | 9.128 % |
1086.47/1086.42 c | 983954 | 11240 65056 221924 | 2147483647 175332 61 | 9.128 % |
1086.87/1086.81 c | 984263 | 11238 65056 221924 | 2147483647 175640 61 | 9.144 % |
1087.27/1087.23 c | 984603 | 11238 65056 221924 | 2147483647 175980 61 | 9.144 % |
1087.67/1087.62 c | 984975 | 11238 65056 221924 | 2147483647 176352 61 | 9.144 % |
1088.17/1088.19 c | 985385 | 11238 65056 221924 | 2147483647 176762 61 | 9.144 % |
1088.67/1088.70 c | 985834 | 11238 65056 221924 | 2147483647 177211 61 | 9.144 % |
1089.27/1089.29 c | 986328 | 11238 65056 221924 | 2147483647 177704 61 | 9.152 % |
1089.87/1089.86 c | 986870 | 11238 65056 221924 | 2147483647 178246 61 | 9.152 % |
1090.57/1090.56 c | 987466 | 11237 65056 221924 | 2147483647 178842 61 | 9.152 % |
1091.17/1091.11 c | 988121 | 11237 65056 221924 | 2147483647 179497 61 | 9.152 % |
1091.97/1091.96 c | 988842 | 11237 65056 221924 | 2147483647 180218 62 | 9.152 % |
1092.77/1092.74 c | 989634 | 11237 65056 221924 | 2147483647 181010 62 | 9.152 % |
1093.77/1093.74 c | 990507 | 11236 65056 221924 | 2147483647 181882 62 | 9.160 % |
1094.87/1094.85 c | 991465 | 11236 65056 221924 | 2147483647 182840 62 | 9.160 % |
1096.27/1096.25 c | 992519 | 11236 65056 221924 | 2147483647 183893 62 | 9.168 % |
1097.47/1097.50 c | 993679 | 11236 65056 221924 | 2147483647 185053 62 | 9.168 % |
1098.67/1098.62 c | 994952 | 11236 65056 221924 | 2147483647 186326 62 | 9.168 % |
1100.17/1100.17 c | 996352 | 11236 65056 221924 | 2147483647 187726 62 | 9.168 % |
1101.67/1101.64 c | 997894 | 11236 65056 221924 | 2147483647 189268 62 | 9.168 % |
1103.57/1103.61 c | 999588 | 11235 65056 221924 | 2147483647 190961 62 | 9.176 % |
1106.07/1106.08 c | 1001451 | 11233 65056 221924 | 191374 192823 63 | 9.185 % |
1109.07/1109.09 c | 1003500 | 11233 65056 221924 | 191374 167351 62 | 9.184 % |
1111.27/1111.24 c | 1005753 | 11233 65056 221924 | 191374 169604 62 | 9.184 % |
1113.87/1113.84 c | 1008231 | 11233 65056 221924 | 191374 172082 63 | 9.184 % |
1116.58/1116.59 c | 1010957 | 11233 65056 221924 | 2147483647 174808 63 | 9.184 % |
1120.87/1120.82 c | 1013954 | 11233 65018 221809 | 2147483647 177700 63 | 9.192 % |
1123.87/1123.88 c | 1017251 | 11232 65018 221809 | 2147483647 180997 63 | 9.192 % |
1127.87/1127.84 c | 1020876 | 11232 65018 221809 | 2147483647 184622 64 | 9.192 % |
1131.57/1131.56 c | 1024863 | 11232 65018 221809 | 2147483647 188609 64 | 9.192 % |
1136.77/1136.79 c | 1029249 | 11231 65018 221809 | 2147483647 192994 63 | 9.200 % |
1142.27/1142.27 c | 1034072 | 11231 65018 221809 | 2147483647 197817 63 | 9.200 % |
1149.87/1149.86 c | 1039379 | 11231 65018 221809 | 2147483647 203124 63 | 9.201 % |
1157.88/1157.90 c | 1045216 | 11229 64997 221746 | 203747 180307 61 | 9.217 % |
1165.48/1165.43 c | 1051634 | 11229 64997 221746 | 2147483647 186724 61 | 9.225 % |
1174.58/1174.53 c | 1058693 | 11228 64997 221746 | 2147483647 193783 62 | 9.225 % |
1184.78/1184.80 c | 1066457 | 11226 64997 221746 | 195091 177561 60 | 9.249 % |
1195.28/1195.29 c | 1075000 | 11225 64997 221746 | 181105 163035 58 | 9.249 % |
1200.08/1200.03 HOME/SatELiteGTI: line 36: 23949 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821886-1242576554/watcher-1821886-1242576554 -o /tmp/evaluation-result-1821886-1242576554/solver-1821886-1242576554 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821886-1242576554.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.97 1.00 1.00 2/91 23943
/proc/meminfo: memFree=979892/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2412 CPUtime=0.01
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1022155794 2469888 277 4294967295 134512640 135169312 3214953808 3214952344 3085184750 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23943/statm: 603 277 235 161 0 42 0
[pid=23947] ppid=23943 vsize=812 CPUtime=0
/proc/23947/stat : 23947 (SatELite_releas) R 23943 23943 9090 0 -1 4194304 66 0 0 0 0 0 0 0 20 0 1 0 1022155795 831488 2 4294967295 0 0 3216727138 3214952436 3085187562 0 0 0 0 0 0 0 17 2 0 0 0
/proc/23947/statm: 204 13 8 174 0 29 0
[startup+0.033532 s]
/proc/loadavg: 0.97 1.00 1.00 2/91 23943
/proc/meminfo: memFree=979892/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2412 CPUtime=0.01
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1022155794 2469888 277 4294967295 134512640 135169312 3214953808 3214952344 3085184750 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23943/statm: 603 277 235 161 0 42 0
[pid=23947] ppid=23943 vsize=4100 CPUtime=0.03
/proc/23947/stat : 23947 (SatELite_releas) R 23943 23943 9090 0 -1 4202496 876 0 0 0 3 0 0 0 20 0 1 0 1022155795 4198400 812 4294967295 134512640 135223648 3216719600 3216718168 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23947/statm: 1025 813 46 174 0 850 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6512
[startup+0.113529 s]
/proc/loadavg: 0.97 1.00 1.00 2/91 23943
/proc/meminfo: memFree=979892/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2412 CPUtime=0.01
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1022155794 2469888 277 4294967295 134512640 135169312 3214953808 3214952344 3085184750 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23943/statm: 603 277 235 161 0 42 0
[pid=23947] ppid=23943 vsize=9240 CPUtime=0.11
/proc/23947/stat : 23947 (SatELite_releas) R 23943 23943 9090 0 -1 4202496 2060 0 0 0 11 0 0 0 21 0 1 0 1022155795 9461760 1996 4294967295 134512640 135223648 3216719600 3216717616 134586669 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23947/statm: 2310 1996 73 174 0 2135 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 11652
[startup+0.313518 s]
/proc/loadavg: 0.97 1.00 1.00 2/91 23943
/proc/meminfo: memFree=979892/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2412 CPUtime=0.01
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1022155794 2469888 277 4294967295 134512640 135169312 3214953808 3214952344 3085184750 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23943/statm: 603 277 235 161 0 42 0
[pid=23947] ppid=23943 vsize=10016 CPUtime=0.31
/proc/23947/stat : 23947 (SatELite_releas) R 23943 23943 9090 0 -1 4202496 2194 0 0 0 31 0 0 0 21 0 1 0 1022155795 10256384 2130 4294967295 134512640 135223648 3216719600 3216717696 134595756 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23947/statm: 2504 2130 73 174 0 2329 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 12428
[startup+0.713498 s]
/proc/loadavg: 0.97 1.00 1.00 2/91 23943
/proc/meminfo: memFree=979892/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2412 CPUtime=0.01
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1022155794 2469888 277 4294967295 134512640 135169312 3214953808 3214952344 3085184750 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23943/statm: 603 277 235 161 0 42 0
[pid=23947] ppid=23943 vsize=10020 CPUtime=0.71
/proc/23947/stat : 23947 (SatELite_releas) R 23943 23943 9090 0 -1 4202496 2352 0 0 0 71 0 0 0 22 0 1 0 1022155795 10260480 2133 4294967295 134512640 135223648 3216719600 3216716404 134818474 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23947/statm: 2505 2133 74 174 0 2330 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 12432
[startup+1.51346 s]
/proc/loadavg: 0.98 1.00 1.00 2/93 23949
/proc/meminfo: memFree=972312/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=6520 CPUtime=0.8
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 1521 0 0 0 80 0 0 0 20 0 1 0 1022155866 6676480 1456 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 1630 1456 73 172 0 1457 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 8936
[startup+3.11338 s]
/proc/loadavg: 0.98 1.00 1.00 2/93 23949
/proc/meminfo: memFree=971940/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=6784 CPUtime=2.4
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 1586 0 0 0 239 1 0 0 25 0 1 0 1022155866 6946816 1521 4294967295 134512640 135215339 3220611856 3220610144 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 1696 1521 73 172 0 1523 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 9200
[startup+6.32323 s]
/proc/loadavg: 0.98 1.00 1.00 2/93 23951
/proc/meminfo: memFree=971328/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=7332 CPUtime=5.61
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 1729 0 0 0 560 1 0 0 25 0 1 0 1022155866 7507968 1664 4294967295 134512640 135215339 3220611856 3220610144 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 1833 1664 73 172 0 1660 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 9748
[startup+12.7229 s]
/proc/loadavg: 0.98 1.00 1.00 2/93 23951
/proc/meminfo: memFree=969744/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=9080 CPUtime=12.01
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 2138 0 0 0 1199 2 0 0 25 0 1 0 1022155866 9297920 2073 4294967295 134512640 135215339 3220611856 3220610144 134529195 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 2270 2073 73 172 0 2097 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 11496
[startup+25.5223 s]
/proc/loadavg: 0.98 1.00 1.00 3/93 24134
/proc/meminfo: memFree=965544/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=13252 CPUtime=24.81
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 3195 0 0 0 2475 6 0 0 25 0 1 0 1022155866 13570048 3130 4294967295 134512640 135215339 3220611856 3220610144 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 3313 3130 73 172 0 3140 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 15668
[startup+51.1211 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 24136
/proc/meminfo: memFree=955208/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=23864 CPUtime=50.41
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 5834 0 0 0 5033 8 0 0 25 0 1 0 1022155866 24436736 5769 4294967295 134512640 135215339 3220611856 3220610144 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 5966 5769 73 172 0 5793 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 26280
[startup+102.329 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 24325
/proc/meminfo: memFree=934880/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=43852 CPUtime=101.62
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 10820 0 0 0 10151 11 0 0 25 0 1 0 1022155866 44904448 10755 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 10963 10755 73 172 0 10790 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 46268
[startup+162.326 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 24514
/proc/meminfo: memFree=914148/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=65296 CPUtime=161.62
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 16103 0 0 0 16147 15 0 0 25 0 1 0 1022155866 66863104 16038 4294967295 134512640 135215339 3220611856 3220610144 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 16324 16038 73 172 0 16151 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 67712
[startup+222.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/93 24701
/proc/meminfo: memFree=908676/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=70664 CPUtime=221.6
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 17425 0 0 0 22141 19 0 0 25 0 1 0 1022155866 72359936 17360 4294967295 134512640 135215339 3220611856 3220610144 134529091 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 17666 17360 73 172 0 17493 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 73080
[startup+282.31 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 24889
/proc/meminfo: memFree=904716/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=74652 CPUtime=281.61
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18439 0 0 0 28138 23 0 0 25 0 1 0 1022155866 76443648 18374 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 18663 18374 73 172 0 18490 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 77068
[startup+342.307 s]
/proc/loadavg: 0.99 1.00 1.00 2/93 25080
/proc/meminfo: memFree=904616/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=75192 CPUtime=341.61
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18537 0 0 0 34138 23 0 0 25 0 1 0 1022155866 76996608 18472 4294967295 134512640 135215339 3220611856 3220609920 134539252 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 18798 18472 73 172 0 18625 0
Current children cumulated CPU time (s) 342.33
################
# More data... #
################
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=75404 CPUtime=461.62
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18619 0 0 0 46139 23 0 0 25 0 1 0 1022155866 77213696 18554 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 18851 18554 73 172 0 18678 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 77820
[startup+522.319 s]
/proc/loadavg: 0.99 1.00 1.00 2/93 25647
/proc/meminfo: memFree=904336/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=75620 CPUtime=521.63
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18651 0 0 0 52140 23 0 0 25 0 1 0 1022155866 77434880 18586 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 18905 18586 73 172 0 18732 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 78036
[startup+582.316 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 25835
/proc/meminfo: memFree=904088/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=75948 CPUtime=581.63
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18723 0 0 0 58140 23 0 0 25 0 1 0 1022155866 77770752 18658 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 18987 18658 73 172 0 18814 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 78364
[startup+642.313 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 26022
/proc/meminfo: memFree=904128/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=75948 CPUtime=641.63
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18736 0 0 0 64140 23 0 0 25 0 1 0 1022155866 77770752 18671 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 18987 18671 73 172 0 18814 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 78364
[startup+702.32 s]
/proc/loadavg: 0.99 1.00 1.00 2/93 26214
/proc/meminfo: memFree=903880/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76148 CPUtime=701.64
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18777 0 0 0 70141 23 0 0 25 0 1 0 1022155866 77975552 18712 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19037 18712 73 172 0 18864 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 78564
[startup+762.327 s]
/proc/loadavg: 1.09 1.03 1.01 2/93 26403
/proc/meminfo: memFree=903840/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76228 CPUtime=761.65
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18801 0 0 0 76137 28 0 0 25 0 1 0 1022155866 78057472 18736 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19057 18736 73 172 0 18884 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 78644
[startup+822.324 s]
/proc/loadavg: 1.12 1.05 1.01 2/93 26590
/proc/meminfo: memFree=903468/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76228 CPUtime=821.65
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18802 0 0 0 82137 28 0 0 25 0 1 0 1022155866 78057472 18737 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19057 18737 73 172 0 18884 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 78644
[startup+882.321 s]
/proc/loadavg: 1.04 1.04 1.00 2/93 26778
/proc/meminfo: memFree=903344/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76404 CPUtime=881.65
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18847 0 0 0 88136 29 0 0 25 0 1 0 1022155866 78237696 18782 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19101 18782 73 172 0 18928 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 78820
[startup+942.318 s]
/proc/loadavg: 1.01 1.03 1.00 3/93 26965
/proc/meminfo: memFree=903376/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76584 CPUtime=941.65
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18853 0 0 0 94136 29 0 0 25 0 1 0 1022155866 78422016 18788 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19146 18788 73 172 0 18973 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 79000
[startup+1002.32 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 27153
/proc/meminfo: memFree=903384/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76584 CPUtime=1001.65
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18853 0 0 0 100136 29 0 0 25 0 1 0 1022155866 78422016 18788 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19146 18788 73 172 0 18973 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 79000
[startup+1062.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 27346
/proc/meminfo: memFree=903344/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76584 CPUtime=1061.65
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18853 0 0 0 106135 30 0 0 25 0 1 0 1022155866 78422016 18788 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19146 18788 73 172 0 18973 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 79000
[startup+1122.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 27533
/proc/meminfo: memFree=903360/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76584 CPUtime=1121.65
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18853 0 0 0 112135 30 0 0 25 0 1 0 1022155866 78422016 18788 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19146 18788 73 172 0 18973 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 79000
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 27721
/proc/meminfo: memFree=903196/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76728 CPUtime=1181.66
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18882 0 0 0 118136 30 0 0 25 0 1 0 1022155866 78569472 18817 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19182 18817 73 172 0 19009 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 79144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 27722
/proc/meminfo: memFree=903136/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76728 CPUtime=1199.36
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18882 0 0 0 119906 30 0 0 25 0 1 0 1022155866 78569472 18817 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19182 18817 73 172 0 19009 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 79144
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.09
CPU user time (s): 1199.77
CPU system time (s): 0.32
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 79144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.77
system time used= 0.32
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22545
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= 23
involuntary context switches= 759
runsolver used 0.03 second user time and 0.03 second system time
The end
Begin job on tipi19 at 2009-05-17 18:09:14
IDJOB=1821886
IDBENCH=71699
IDSOLVER=657
FILE ID=tipi19/1821886-1242576554
PBS_JOBID=
Free space on /tmp= 8803 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/goldb-heqc-i10mul.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821886-1242576554/watcher-1821886-1242576554 -o /tmp/evaluation-result-1821886-1242576554/solver-1821886-1242576554 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821886-1242576554.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 80e15f28c8e2d72627ec75fe75757317
RANDOM SEED= 89410048
Linux tipi19 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.426
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.39
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
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.426
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.426
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: 979892 kB
Buffers: 48844 kB
Cached: 927668 kB
SwapCached: 2904 kB
Active: 193324 kB
Inactive: 792580 kB
HighTotal: 1178688 kB
HighFree: 357508 kB
LowTotal: 895776 kB
LowFree: 622384 kB
SwapTotal: 1959888 kB
SwapFree: 1953004 kB
Dirty: 3644 kB
Writeback: 0 kB
AnonPages: 8752 kB
Mapped: 3192 kB
Slab: 99576 kB
PageTables: 468 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87776 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8803 MiB
End job on tipi19 at 2009-05-17 18:29:15