0.00/0.00 c Parsing...
0.00/0.07 c ==============================================================================
0.00/0.07 c | | ORIGINAL | LEARNT | |
0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.07 c ==============================================================================
0.00/0.07 c | 0 | 77941 262272 | 23382 0 0 nan | 0.000 % |
0.00/0.60 c | 0 | 76060 260188 | -- 0 -- -- | -- | -1881/-2084
0.00/0.60 c ==============================================================================
0.00/0.60 c Result : #vars: 12369 #clauses: 76060 #literals: 260188
0.00/0.60 c CPU time: 0.581911 s
0.00/0.60 c ==============================================================================
0.00/0.69 c This is MiniSat 2.0 beta
0.00/0.69 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.69 c ============================[ Problem Statistics ]=============================
0.00/0.69 c | |
0.00/0.69 c | Number of variables: 12369 |
0.00/0.69 c | Number of clauses: 76060 |
0.67/0.73 c | Parsing time: 0.04 s |
0.67/0.74 c ============================[ Search Statistics ]==============================
0.67/0.74 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.67/0.74 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.67/0.74 c ===============================================================================
0.67/0.74 c | 0 | 12369 76060 260188 | 25353 0 nan | 0.000 % |
0.67/0.75 c | 100 | 12354 76060 260188 | 25353 88 3 | 0.146 % |
0.67/0.80 c | 200 | 12350 76060 260188 | 25353 184 3 | 0.202 % |
0.67/0.84 c | 302 | 12349 76060 260188 | 25353 286 4 | 0.202 % |
0.67/0.87 c | 412 | 12343 75668 258857 | 25353 378 5 | 0.210 % |
0.67/0.89 c | 513 | 12342 75668 258857 | 25353 478 6 | 0.218 % |
0.67/0.92 c | 625 | 12334 75668 258857 | 25353 582 5 | 0.283 % |
0.67/0.97 c | 746 | 12331 75335 257686 | 25353 685 5 | 0.307 % |
0.67/0.99 c | 847 | 12331 75335 257686 | 25353 786 6 | 0.307 % |
0.97/1.05 c | 957 | 12328 75335 257686 | 25353 893 9 | 0.331 % |
0.97/1.09 c | 1079 | 12320 75244 257352 | 25353 996 8 | 0.396 % |
1.08/1.12 c | 1213 | 12318 75244 257352 | 25353 1128 8 | 0.412 % |
1.08/1.18 c | 1313 | 12318 75244 257352 | 25353 1228 8 | 0.412 % |
1.17/1.25 c | 1423 | 12316 75115 256910 | 25353 1325 8 | 0.428 % |
1.17/1.28 c | 1544 | 12315 75115 256910 | 25353 1445 8 | 0.437 % |
1.27/1.33 c | 1678 | 12312 75115 256910 | 25353 1576 8 | 0.461 % |
1.27/1.37 c | 1824 | 12311 75047 256681 | 25353 1712 7 | 0.469 % |
1.27/1.37 c | 1927 | 12311 75047 256681 | 25353 1815 7 | 0.469 % |
1.37/1.41 c | 2037 | 12307 75047 256681 | 25353 1923 7 | 0.501 % |
1.37/1.45 c | 2159 | 12303 75047 256681 | 25353 2041 7 | 0.534 % |
1.47/1.53 c | 2292 | 12303 75047 256681 | 25353 2174 7 | 0.534 % |
1.57/1.65 c | 2438 | 12301 74956 256377 | 25353 2314 7 | 0.550 % |
1.57/1.69 c | 2598 | 12297 74935 256308 | 25353 2468 7 | 0.615 % |
1.67/1.72 c | 2698 | 12295 74935 256308 | 25353 2568 7 | 0.614 % |
1.67/1.74 c | 2810 | 12295 74935 256308 | 25353 2680 7 | 0.614 % |
1.67/1.77 c | 2932 | 12292 74935 256308 | 25353 2799 7 | 0.647 % |
1.67/1.78 c | 3066 | 12292 74935 256308 | 25353 2933 8 | 0.647 % |
1.77/1.85 c | 3214 | 12280 74935 256308 | 25353 3078 8 | 0.720 % |
1.97/2.00 c | 3374 | 12278 74625 255236 | 25353 3211 8 | 0.736 % |
1.97/2.04 c | 3551 | 12278 74625 255236 | 25353 3388 8 | 0.736 % |
1.97/2.06 c | 3651 | 12277 74603 255160 | 25353 3481 8 | 0.744 % |
1.97/2.09 c | 3761 | 12276 74603 255160 | 25353 3590 8 | 0.752 % |
2.07/2.19 c | 3883 | 12273 74603 255160 | 25353 3709 8 | 0.776 % |
2.17/2.21 c | 4016 | 12272 74575 255070 | 25353 3807 8 | 0.784 % |
2.17/2.24 c | 4162 | 12268 74575 255070 | 25353 3949 8 | 0.817 % |
2.17/2.27 c | 4322 | 12268 74575 255070 | 25353 4109 8 | 0.817 % |
2.37/2.41 c | 4498 | 12265 74474 254726 | 25353 4272 8 | 0.841 % |
2.37/2.46 c | 4693 | 12259 74474 254726 | 25353 4461 8 | 0.889 % |
2.37/2.49 c | 4793 | 12257 74474 254726 | 25353 4559 8 | 1.083 % |
2.47/2.52 c | 4904 | 12244 74474 254726 | 25353 4670 8 | 1.083 % |
2.47/2.57 c | 5025 | 12234 74092 253436 | 25353 4775 8 | 1.091 % |
2.57/2.62 c | 5158 | 12229 74092 253436 | 25353 4903 8 | 1.132 % |
2.57/2.66 c | 5306 | 12229 74092 253436 | 25353 5051 8 | 1.132 % |
2.67/2.71 c | 5466 | 12228 74051 253304 | 25353 5188 8 | 1.140 % |
2.67/2.78 c | 5642 | 12216 74051 253304 | 25353 5360 8 | 1.383 % |
2.87/2.92 c | 5836 | 12207 74051 253304 | 25353 5552 8 | 1.399 % |
2.87/2.99 c | 6048 | 12196 73715 252168 | 25353 5756 8 | 1.399 % |
2.97/3.04 c | 6148 | 12193 73715 252168 | 25353 5854 8 | 1.423 % |
2.97/3.05 c | 6260 | 12193 73715 252168 | 25353 5966 8 | 1.423 % |
2.97/3.06 c | 6383 | 12193 73715 252168 | 25353 6089 8 | 1.423 % |
3.07/3.11 c | 6516 | 12192 73676 252041 | 25353 6220 8 | 1.431 % |
3.07/3.19 c | 6663 | 12189 73676 252041 | 25353 6364 8 | 1.455 % |
3.17/3.28 c | 6825 | 12185 73676 252041 | 25353 6522 8 | 1.488 % |
3.27/3.30 c | 7001 | 12185 73639 251928 | 25353 6656 8 | 1.488 % |
3.27/3.35 c | 7194 | 12182 73639 251928 | 25353 6846 8 | 1.512 % |
3.27/3.37 c | 7406 | 12182 73639 251928 | 25353 7058 8 | 1.512 % |
3.36/3.49 c | 7640 | 12176 73479 251359 | 25353 7275 8 | 1.560 % |
3.46/3.52 c | 7740 | 12175 73479 251359 | 25353 7374 8 | 1.568 % |
3.46/3.57 c | 7850 | 12172 73479 251359 | 25353 7481 8 | 1.593 % |
3.56/3.67 c | 7973 | 12169 73406 251106 | 25353 7508 8 | 1.617 % |
3.66/3.71 c | 8107 | 12167 73406 251106 | 25353 7640 8 | 1.633 % |
3.66/3.79 c | 8253 | 12164 73406 251106 | 25353 7783 8 | 1.657 % |
3.76/3.82 c | 8413 | 12164 73406 251106 | 25353 7943 8 | 1.657 % |
3.76/3.87 c | 8589 | 12156 73334 250868 | 25353 8085 9 | 1.746 % |
3.86/3.93 c | 8782 | 12153 73334 250868 | 25353 8276 9 | 1.762 % |
3.86/3.97 c | 8994 | 12153 73334 250868 | 25353 8488 9 | 1.762 % |
3.96/4.05 c | 9227 | 12145 73089 250019 | 25353 8675 9 | 1.811 % |
4.06/4.14 c | 9483 | 12145 73089 250019 | 25353 8931 9 | 1.811 % |
4.06/4.17 c | 9583 | 12140 73089 250019 | 25353 9026 9 | 1.859 % |
4.16/4.22 c | 9694 | 12138 73044 249880 | 25353 9116 9 | 1.868 % |
4.16/4.27 c | 9816 | 12138 73044 249880 | 25353 9238 9 | 1.868 % |
4.27/4.31 c | 9949 | 12138 73044 249880 | 25353 9371 9 | 1.868 % |
4.27/4.37 c | 10095 | 12136 73044 249880 | 2147483647 9515 9 | 1.884 % |
4.37/4.42 c | 10255 | 12135 73032 249844 | 2147483647 9658 9 | 1.892 % |
4.46/4.52 c | 10431 | 12133 73032 249844 | 2147483647 9832 9 | 1.908 % |
4.46/4.58 c | 10624 | 12132 73032 249844 | 2147483647 10024 9 | 1.916 % |
4.76/4.81 c | 10836 | 12128 73011 249782 | 2147483647 10222 9 | 1.948 % |
4.76/4.86 c | 11069 | 12128 73011 249782 | 2147483647 10455 9 | 1.948 % |
4.86/4.93 c | 11325 | 12127 73009 249776 | 2147483647 10701 9 | 1.957 % |
4.96/5.02 c | 11606 | 12127 73009 249776 | 2147483647 10982 9 | 1.957 % |
4.96/5.04 c | 11706 | 12127 73009 249776 | 2147483647 11082 9 | 1.957 % |
4.96/5.06 c | 11816 | 12127 73009 249776 | 2147483647 11192 9 | 1.957 % |
5.06/5.10 c | 11938 | 12127 73009 249776 | 2147483647 11314 9 | 1.957 % |
5.06/5.18 c | 12071 | 12116 73001 249752 | 2147483647 11438 9 | 2.046 % |
5.16/5.24 c | 12217 | 12113 73001 249752 | 2147483647 11581 9 | 2.070 % |
5.16/5.29 c | 12377 | 12105 73001 249752 | 2147483647 11735 9 | 2.142 % |
5.26/5.33 c | 12553 | 12102 73001 249752 | 2147483647 11910 9 | 2.167 % |
5.26/5.39 c | 12746 | 12100 72777 249010 | 2147483647 12030 9 | 2.175 % |
5.36/5.49 c | 12958 | 12097 72777 249010 | 2147483647 12240 9 | 2.199 % |
5.46/5.57 c | 13192 | 12095 72756 248945 | 2147483647 12453 10 | 2.215 % |
5.56/5.65 c | 13448 | 12088 72756 248945 | 2147483647 12704 10 | 2.272 % |
5.76/5.81 c | 13731 | 12084 72756 248945 | 2147483647 12983 10 | 2.304 % |
5.86/5.90 c | 14040 | 12080 72655 248607 | 2147483647 13229 10 | 2.336 % |
5.86/5.95 c | 14140 | 12076 72655 248607 | 2147483647 13326 10 | 2.369 % |
5.86/5.98 c | 14250 | 12076 72655 248607 | 2147483647 13436 10 | 2.369 % |
5.96/6.00 c | 14371 | 12076 72655 248607 | 2147483647 13557 10 | 2.369 % |
5.96/6.07 c | 14504 | 12075 72655 248607 | 2147483647 13689 10 | 2.377 % |
6.06/6.14 c | 14651 | 12073 72608 248457 | 2147483647 13717 10 | 2.393 % |
6.06/6.16 c | 14812 | 12073 72608 248457 | 2147483647 13878 10 | 2.393 % |
6.06/6.18 c | 14993 | 12073 72608 248457 | 2147483647 14059 10 | 2.393 % |
6.16/6.21 c | 15186 | 12073 72608 248457 | 2147483647 14252 10 | 2.393 % |
6.16/6.29 c | 15399 | 12070 72608 248457 | 2147483647 14462 10 | 2.417 % |
6.26/6.38 c | 15632 | 12060 72584 248385 | 2147483647 14646 10 | 2.563 % |
6.36/6.49 c | 15889 | 12057 72584 248385 | 2147483647 14903 10 | 2.563 % |
6.56/6.63 c | 16172 | 12045 72429 247878 | 2147483647 15149 10 | 2.619 % |
6.56/6.68 c | 16481 | 12045 72429 247878 | 2147483647 15458 10 | 2.619 % |
6.76/6.82 c | 16822 | 12040 72429 247878 | 2147483647 15794 10 | 2.660 % |
6.76/6.87 c | 16922 | 12040 72367 247684 | 2147483647 15843 10 | 2.660 % |
6.85/6.93 c | 17033 | 12039 72367 247684 | 2147483647 15953 10 | 2.668 % |
6.95/7.02 c | 17154 | 12036 72367 247684 | 2147483647 16071 10 | 2.692 % |
6.95/7.08 c | 17287 | 12035 72367 247684 | 2147483647 16203 10 | 2.700 % |
7.05/7.11 c | 17435 | 12033 72340 247593 | 2147483647 16319 10 | 2.716 % |
7.05/7.15 c | 17595 | 12030 72340 247593 | 2147483647 16475 10 | 2.749 % |
7.25/7.32 c | 17772 | 12023 72340 247593 | 2147483647 16648 10 | 2.797 % |
7.35/7.42 c | 17965 | 12023 72340 247593 | 2147483647 16841 10 | 2.797 % |
7.45/7.54 c | 18177 | 12019 72282 247416 | 2147483647 16984 10 | 2.830 % |
7.45/7.58 c | 18410 | 12019 72282 247416 | 2147483647 17217 10 | 2.830 % |
7.56/7.61 c | 18666 | 12019 72282 247416 | 2147483647 17473 10 | 2.830 % |
7.66/7.73 c | 18947 | 12018 72282 247416 | 2147483647 17752 11 | 2.854 % |
7.76/7.86 c | 19256 | 12014 72212 247182 | 2147483647 18037 11 | 2.870 % |
7.86/7.95 c | 19595 | 12011 72212 247182 | 2147483647 18373 10 | 2.894 % |
7.96/8.10 c | 19968 | 12009 72161 247006 | 2147483647 18720 11 | 2.911 % |
8.06/8.17 c | 20068 | 11998 72161 247006 | 2147483647 18812 11 | 3.072 % |
8.16/8.22 c | 20179 | 11998 72161 247006 | 2147483647 18923 11 | 3.072 % |
8.16/8.26 c | 20301 | 11993 72161 247006 | 2147483647 19043 11 | 3.105 % |
8.26/8.33 c | 20434 | 11982 71914 246170 | 2147483647 19086 11 | 3.129 % |
8.36/8.43 c | 20581 | 11981 71914 246170 | 2147483647 19232 11 | 3.137 % |
8.36/8.47 c | 20741 | 11979 71914 246170 | 2147483647 19390 11 | 3.153 % |
8.46/8.55 c | 20918 | 11977 71914 246170 | 2147483647 19565 11 | 3.169 % |
8.46/8.58 c | 21111 | 11977 71914 246170 | 2147483647 19758 11 | 3.169 % |
8.56/8.64 c | 21323 | 11973 71882 246072 | 2147483647 19922 11 | 3.202 % |
8.66/8.72 c | 21556 | 11973 71882 246072 | 2147483647 20155 11 | 3.202 % |
8.76/8.85 c | 21813 | 11970 71882 246072 | 2147483647 20410 11 | 3.226 % |
8.86/8.91 c | 22095 | 11970 71882 246072 | 2147483647 20692 11 | 3.226 % |
8.86/8.99 c | 22404 | 11970 71882 246072 | 2147483647 21001 11 | 3.226 % |
8.96/9.08 c | 22743 | 11970 71838 245932 | 2147483647 21323 11 | 3.226 % |
9.16/9.24 c | 23115 | 11967 71838 245932 | 2147483647 21692 11 | 3.250 % |
9.36/9.41 c | 23527 | 11967 71838 245932 | 2147483647 22104 11 | 3.250 % |
9.36/9.47 c | 23627 | 11966 71817 245863 | 2147483647 22179 11 | 3.259 % |
9.46/9.52 c | 23737 | 11966 71817 245863 | 2147483647 22289 11 | 3.258 % |
9.46/9.57 c | 23858 | 11966 71817 245863 | 2147483647 22410 11 | 3.258 % |
9.56/9.68 c | 23991 | 11964 71817 245863 | 2147483647 22541 11 | 3.274 % |
9.66/9.74 c | 24137 | 11963 71817 245863 | 2147483647 22686 11 | 3.283 % |
9.76/9.81 c | 24297 | 11963 71817 245863 | 2147483647 22846 11 | 3.282 % |
9.76/9.90 c | 24473 | 11963 71794 245793 | 2147483647 23009 12 | 3.282 % |
9.86/9.96 c | 24666 | 11962 71794 245793 | 2147483647 23201 12 | 3.290 % |
9.96/10.00 c | 24879 | 11962 71794 245793 | 2147483647 23414 12 | 3.290 % |
9.96/10.06 c | 25113 | 11958 71794 245793 | 2147483647 23646 12 | 3.339 % |
10.06/10.12 c | 25370 | 11958 71794 245793 | 2147483647 23903 12 | 3.339 % |
10.16/10.21 c | 25653 | 11953 71730 245584 | 2147483647 24180 12 | 3.363 % |
10.26/10.34 c | 25964 | 11953 71730 245584 | 2147483647 24491 12 | 3.363 % |
10.36/10.44 c | 26304 | 11952 71730 245584 | 2147483647 24830 12 | 3.371 % |
10.45/10.57 c | 26677 | 11951 71699 245488 | 2147483647 25202 13 | 3.379 % |
10.55/10.64 c | 27086 | 11951 71699 245488 | 2147483647 25611 13 | 3.379 % |
10.75/10.88 c | 27535 | 11951 71699 245488 | 2147483647 26060 13 | 3.379 % |
10.86/10.93 c | 27635 | 11945 71691 245464 | 2147483647 26155 13 | 3.428 % |
10.86/10.98 c | 27745 | 11940 71691 245464 | 2147483647 26263 13 | 3.476 % |
10.96/11.02 c | 27866 | 11939 71691 245464 | 2147483647 26384 13 | 3.476 % |
10.96/11.05 c | 28000 | 11939 71691 245464 | 2147483647 26518 13 | 3.476 % |
11.05/11.14 c | 28147 | 11937 71691 245464 | 2147483647 26663 13 | 3.493 % |
11.05/11.17 c | 28309 | 11937 71691 245464 | 2147483647 26825 13 | 3.493 % |
11.15/11.21 c | 28485 | 11937 71691 245464 | 2147483647 27001 13 | 3.493 % |
11.15/11.30 c | 28678 | 11933 71691 245464 | 2147483647 27190 13 | 3.525 % |
11.35/11.44 c | 28892 | 11930 71517 244882 | 2147483647 27083 13 | 3.549 % |
11.45/11.53 c | 29127 | 11928 71517 244882 | 2147483647 27316 14 | 3.565 % |
11.55/11.65 c | 29383 | 11926 71517 244882 | 2147483647 27571 14 | 3.590 % |
11.65/11.78 c | 29664 | 11923 71517 244882 | 2147483647 27851 14 | 3.614 % |
11.75/11.89 c | 29975 | 11921 71455 244686 | 2147483647 28109 14 | 3.622 % |
11.96/12.07 c | 30314 | 11917 71455 244686 | 2147483647 28445 14 | 3.654 % |
12.06/12.19 c | 30686 | 11916 71455 244686 | 2147483647 28816 14 | 3.662 % |
12.35/12.42 c | 31095 | 11915 71401 244512 | 2147483647 29215 14 | 3.670 % |
12.55/12.60 c | 31544 | 11915 71401 244512 | 2147483647 29664 14 | 3.670 % |
12.75/12.85 c | 32037 | 11910 71391 244482 | 2147483647 30141 14 | 3.711 % |
12.75/12.89 c | 32138 | 11910 71391 244482 | 2147483647 30242 14 | 3.711 % |
12.85/12.95 c | 32248 | 11910 71391 244482 | 2147483647 30351 14 | 3.727 % |
12.95/13.00 c | 32369 | 11908 71391 244482 | 2147483647 30472 14 | 3.727 % |
12.95/13.06 c | 32503 | 11908 71391 244482 | 2147483647 30606 14 | 3.727 % |
13.05/13.16 c | 32649 | 11907 71391 244482 | 2147483647 30751 14 | 3.735 % |
13.15/13.22 c | 32809 | 11907 71391 244482 | 2147483647 30911 14 | 3.735 % |
13.15/13.27 c | 32985 | 11907 71391 244482 | 2147483647 31087 14 | 3.735 % |
13.25/13.37 c | 33178 | 11906 71343 244333 | 2147483647 31263 14 | 3.743 % |
13.35/13.44 c | 33390 | 11906 71343 244333 | 2147483647 31475 14 | 3.743 % |
13.35/13.48 c | 33623 | 11906 71343 244333 | 2147483647 31708 14 | 3.743 % |
13.55/13.62 c | 33881 | 11906 71343 244333 | 2147483647 31966 14 | 3.743 % |
13.55/13.67 c | 34166 | 11906 71343 244333 | 2147483647 32251 14 | 3.743 % |
13.65/13.75 c | 34475 | 11906 71343 244333 | 2147483647 32560 15 | 3.743 % |
13.74/13.82 c | 34816 | 11906 71343 244333 | 2147483647 32901 15 | 3.743 % |
13.84/13.99 c | 35189 | 11906 71334 244303 | 2147483647 33273 15 | 3.743 % |
14.04/14.15 c | 35600 | 11905 71334 244303 | 2147483647 33683 15 | 3.751 % |
14.25/14.30 c | 36049 | 11904 71334 244303 | 2147483647 34131 15 | 3.759 % |
14.34/14.44 c | 36542 | 11901 71308 244222 | 2147483647 34598 15 | 3.784 % |
14.54/14.68 c | 37084 | 11899 71308 244222 | 2147483647 35138 15 | 3.800 % |
14.64/14.72 c | 37184 | 11896 71308 244222 | 2147483647 35235 15 | 3.824 % |
14.64/14.74 c | 37294 | 11896 71308 244222 | 2147483647 35345 15 | 3.824 % |
14.64/14.76 c | 37416 | 11896 71308 244222 | 2147483647 35467 15 | 3.824 % |
14.74/14.81 c | 37551 | 11896 71308 244222 | 2147483647 35602 15 | 3.824 % |
14.74/14.88 c | 37697 | 11895 71308 244222 | 2147483647 35747 15 | 3.832 % |
14.84/14.91 c | 37857 | 11893 71308 244222 | 2147483647 35906 15 | 3.848 % |
14.94/15.05 c | 38034 | 11892 71189 242127 | 2147483647 36066 15 | 3.856 % |
15.04/15.17 c | 38229 | 11891 71189 242127 | 2147483647 36260 16 | 3.865 % |
15.24/15.32 c | 38444 | 11891 71189 242127 | 2147483647 36475 16 | 3.865 % |
15.34/15.47 c | 38677 | 11890 71189 242127 | 2147483647 36707 16 | 3.873 % |
15.53/15.62 c | 38933 | 11890 71189 242127 | 2147483647 36963 16 | 3.873 % |
15.73/15.80 c | 39214 | 11888 71189 242127 | 2147483647 37242 16 | 3.889 % |
15.83/15.90 c | 39524 | 11887 71151 242000 | 2147483647 37546 16 | 3.897 % |
16.03/16.11 c | 39863 | 11886 71151 242000 | 2147483647 37884 16 | 3.905 % |
16.13/16.24 c | 40237 | 11886 71151 242000 | 2147483647 38258 16 | 3.905 % |
16.33/16.41 c | 40646 | 11886 71151 242000 | 2147483647 38667 16 | 3.905 % |
16.44/16.58 c | 41095 | 11884 71151 242000 | 2147483647 39114 16 | 3.929 % |
16.73/16.83 c | 41588 | 11882 71103 241849 | 2147483647 39601 17 | 3.937 % |
16.93/17.09 c | 42130 | 11879 71103 241849 | 2147483647 40138 17 | 3.978 % |
17.24/17.35 c | 42726 | 11862 71103 241849 | 2147483647 40731 17 | 4.115 % |
17.24/17.38 c | 42827 | 11860 70840 240952 | 2147483647 40796 17 | 4.115 % |
17.34/17.43 c | 42939 | 11860 70840 240952 | 2147483647 40908 17 | 4.115 % |
17.34/17.45 c | 43060 | 11860 70840 240952 | 2147483647 41029 17 | 4.115 % |
17.44/17.53 c | 43194 | 11857 70840 240952 | 2147483647 41161 17 | 4.139 % |
17.44/17.59 c | 43341 | 11857 70840 240952 | 2147483647 41308 17 | 4.139 % |
17.54/17.65 c | 43501 | 11854 70840 240952 | 2147483647 41465 17 | 4.164 % |
17.64/17.76 c | 43679 | 11853 70840 240952 | 2147483647 41642 17 | 4.172 % |
17.74/17.81 c | 43873 | 11853 70840 240952 | 2147483647 41836 17 | 4.172 % |
17.84/17.92 c | 44085 | 11852 70840 240952 | 2147483647 42047 17 | 4.180 % |
17.94/18.03 c | 44318 | 11852 70840 240952 | 2147483647 42280 17 | 4.180 % |
18.04/18.14 c | 44575 | 11852 70840 240952 | 2147483647 42537 17 | 4.180 % |
18.14/18.24 c | 44856 | 11852 70782 240770 | 2147483647 42807 17 | 4.180 % |
18.24/18.40 c | 45165 | 11850 70782 240770 | 2147483647 43114 18 | 4.196 % |
18.34/18.50 c | 45506 | 11850 70782 240770 | 2147483647 43455 18 | 4.196 % |
18.54/18.67 c | 45880 | 11845 70782 240770 | 2147483647 43827 18 | 4.236 % |
18.74/18.82 c | 46291 | 11845 70782 240770 | 2147483647 44238 18 | 4.236 % |
18.84/18.93 c | 46741 | 11845 70782 240770 | 2147483647 44688 18 | 4.236 % |
19.04/19.17 c | 47234 | 11843 70782 240770 | 2147483647 45179 18 | 4.253 % |
19.24/19.34 c | 47778 | 11843 70710 240524 | 2147483647 45702 18 | 4.253 % |
19.44/19.56 c | 48375 | 11842 70710 240524 | 2147483647 46297 18 | 4.325 % |
19.74/19.81 c | 49032 | 11841 70710 240524 | 2147483647 46954 18 | 4.325 % |
19.74/19.89 c | 49133 | 11840 70710 240524 | 2147483647 47054 18 | 4.333 % |
19.84/19.92 c | 49243 | 11835 70710 240524 | 2147483647 47161 18 | 4.374 % |
19.84/19.99 c | 49364 | 11832 70710 240524 | 2147483647 47282 18 | 4.374 % |
19.94/20.04 c | 49497 | 11832 70710 240524 | 2147483647 47415 18 | 4.374 % |
20.04/20.13 c | 49644 | 11828 70572 240066 | 2147483647 47541 18 | 4.374 % |
20.14/20.20 c | 49804 | 11828 70572 240066 | 2147483647 47701 18 | 4.374 % |
20.14/20.30 c | 49983 | 11828 70572 240066 | 2147483647 47880 18 | 4.374 % |
20.24/20.39 c | 50176 | 11825 70572 240066 | 2147483647 48071 18 | 4.398 % |
20.34/20.48 c | 50388 | 11825 70572 240066 | 2147483647 48283 18 | 4.398 % |
20.44/20.60 c | 50623 | 11825 70572 240066 | 2147483647 48518 18 | 4.398 % |
20.64/20.71 c | 50882 | 11825 70572 240066 | 2147483647 48777 19 | 4.398 % |
20.74/20.87 c | 51163 | 11823 70572 240066 | 2147483647 49056 19 | 4.414 % |
20.94/21.08 c | 51472 | 11823 70572 240066 | 2147483647 49365 19 | 4.414 % |
21.14/21.25 c | 51812 | 11823 70514 239869 | 2147483647 49693 19 | 4.414 % |
21.33/21.42 c | 52184 | 11823 70514 239869 | 2147483647 50065 19 | 4.414 % |
21.53/21.64 c | 52594 | 11823 70514 239869 | 2147483647 50475 19 | 4.414 % |
21.73/21.86 c | 53044 | 11823 70514 239869 | 2147483647 50925 19 | 4.414 % |
22.03/22.11 c | 53538 | 11822 70514 239869 | 2147483647 51418 20 | 4.422 % |
22.33/22.40 c | 54081 | 11821 70497 239815 | 2147483647 51957 20 | 4.447 % |
22.53/22.66 c | 54677 | 11816 70497 239815 | 2147483647 52550 20 | 4.471 % |
22.83/22.95 c | 55332 | 11815 70497 239815 | 2147483647 53204 20 | 4.487 % |
23.13/23.21 c | 56052 | 11814 70497 239815 | 2147483647 53923 20 | 4.495 % |
23.13/23.25 c | 56153 | 11814 70497 239815 | 2147483647 54024 20 | 4.495 % |
23.13/23.30 c | 56263 | 11814 70497 239815 | 2147483647 54134 20 | 4.495 % |
23.23/23.33 c | 56384 | 11814 70497 239815 | 2147483647 54255 20 | 4.495 % |
23.23/23.39 c | 56519 | 11814 70497 239815 | 2147483647 54390 20 | 4.495 % |
23.43/23.53 c | 56666 | 11812 70426 239584 | 2147483647 54523 20 | 4.503 % |
23.53/23.61 c | 56826 | 11812 70426 239584 | 2147483647 54683 20 | 4.503 % |
23.53/23.68 c | 57002 | 11812 70426 239584 | 2147483647 54859 21 | 4.503 % |
23.63/23.77 c | 57196 | 11811 70426 239584 | 2147483647 55052 21 | 4.511 % |
23.73/23.85 c | 57408 | 11808 70426 239584 | 2147483647 55263 21 | 4.560 % |
23.93/24.01 c | 57641 | 11808 70426 239584 | 2147483647 55496 21 | 4.560 % |
23.93/24.10 c | 57897 | 11807 70426 239584 | 2147483647 55751 21 | 4.568 % |
24.03/24.20 c | 58180 | 11807 70426 239584 | 2147483647 56034 21 | 4.568 % |
24.23/24.37 c | 58489 | 11807 70426 239584 | 2147483647 56343 21 | 4.568 % |
24.43/24.52 c | 58830 | 11806 70426 239584 | 2147483647 56683 21 | 4.576 % |
24.53/24.66 c | 59202 | 11806 70426 239584 | 2147483647 57055 21 | 4.576 % |
24.73/24.83 c | 59612 | 11806 70426 239584 | 2147483647 57465 21 | 4.576 % |
24.93/25.06 c | 60061 | 11803 70364 239374 | 2147483647 57734 21 | 4.576 % |
25.23/25.39 c | 60554 | 11801 70364 239374 | 2147483647 58225 22 | 4.600 % |
25.53/25.64 c | 61096 | 11801 70364 239374 | 2147483647 58767 22 | 4.600 % |
25.83/25.93 c | 61694 | 11799 70364 239374 | 2147483647 59364 22 | 4.608 % |
26.03/26.17 c | 62349 | 11799 70364 239374 | 2147483647 60019 22 | 4.608 % |
26.33/26.41 c | 63070 | 11799 70364 239374 | 2147483647 60740 23 | 4.608 % |
26.72/26.87 c | 63863 | 11796 70329 239267 | 2147483647 61520 23 | 4.641 % |
26.82/26.94 c | 63963 | 11792 70329 239267 | 2147483647 61617 23 | 4.673 % |
26.92/27.01 c | 64074 | 11792 70329 239267 | 2147483647 61728 23 | 4.673 % |
26.92/27.07 c | 64195 | 11792 70329 239267 | 2147483647 61849 23 | 4.673 % |
27.02/27.12 c | 64328 | 11792 70329 239267 | 2147483647 61982 23 | 4.673 % |
27.02/27.18 c | 64474 | 11792 70329 239267 | 2147483647 62128 23 | 4.673 % |
27.22/27.31 c | 64636 | 11791 70329 239267 | 2147483647 62290 23 | 4.673 % |
27.22/27.39 c | 64814 | 11791 70329 239267 | 2147483647 62468 23 | 4.673 % |
27.43/27.52 c | 65007 | 11790 70329 239267 | 2147483647 62660 23 | 4.681 % |
27.52/27.67 c | 65219 | 11790 70329 239267 | 2147483647 62872 24 | 4.681 % |
27.72/27.81 c | 65455 | 11790 70329 239267 | 2147483647 63108 24 | 4.681 % |
27.72/27.88 c | 65711 | 11790 70329 239267 | 2147483647 63364 24 | 4.681 % |
27.93/28.03 c | 65992 | 11790 70329 239267 | 2147483647 63645 24 | 4.681 % |
28.13/28.20 c | 66301 | 11789 70092 238457 | 2147483647 63929 24 | 4.689 % |
28.23/28.35 c | 66643 | 11789 70092 238457 | 2147483647 64270 24 | 4.697 % |
28.43/28.53 c | 67015 | 11789 70092 238457 | 2147483647 64642 25 | 4.697 % |
28.73/28.80 c | 67424 | 11785 70092 238457 | 2147483647 65049 25 | 4.722 % |
28.93/29.05 c | 67873 | 11785 70092 238457 | 2147483647 65498 25 | 4.722 % |
29.12/29.20 c | 68366 | 11785 70092 238457 | 2147483647 65991 25 | 4.721 % |
29.32/29.44 c | 68909 | 11785 70092 238457 | 2147483647 66534 25 | 4.721 % |
29.63/29.76 c | 69505 | 11783 70092 238457 | 2147483647 67128 25 | 4.738 % |
30.02/30.13 c | 70161 | 11780 70040 238296 | 2147483647 67762 26 | 4.762 % |
30.42/30.57 c | 70881 | 11775 70040 238296 | 2147483647 68479 26 | 4.851 % |
30.82/30.94 c | 71674 | 11773 70040 238296 | 2147483647 69272 26 | 4.851 % |
31.33/31.49 c | 72545 | 11772 70040 238296 | 2147483647 70142 26 | 4.859 % |
31.43/31.54 c | 72646 | 11772 70040 238296 | 2147483647 70243 26 | 4.859 % |
31.43/31.59 c | 72757 | 11772 70040 238296 | 2147483647 70354 26 | 4.859 % |
31.53/31.64 c | 72879 | 11772 70040 238296 | 2147483647 70476 26 | 4.859 % |
31.63/31.73 c | 73012 | 11772 70040 238296 | 2147483647 70609 26 | 4.859 % |
31.63/31.78 c | 73158 | 11772 70040 238296 | 2147483647 70755 26 | 4.859 % |
31.73/31.87 c | 73318 | 11772 70040 238296 | 2147483647 70915 26 | 4.859 % |
31.83/31.98 c | 73495 | 11772 70040 238296 | 2147483647 71092 26 | 4.859 % |
31.92/32.08 c | 73688 | 11771 70040 238296 | 2147483647 71284 26 | 4.867 % |
32.12/32.20 c | 73902 | 11771 70040 238296 | 2147483647 71498 26 | 4.867 % |
32.22/32.30 c | 74135 | 11771 70040 238296 | 2147483647 71731 26 | 4.867 % |
32.32/32.47 c | 74391 | 11765 69922 237919 | 2147483647 71976 26 | 4.883 % |
32.42/32.59 c | 74672 | 11765 69922 237919 | 2147483647 72257 27 | 4.883 % |
32.52/32.68 c | 74981 | 11765 69922 237919 | 2147483647 72566 27 | 4.883 % |
32.72/32.82 c | 75320 | 11765 69922 237919 | 2147483647 72905 26 | 4.883 % |
32.83/32.97 c | 75692 | 11765 69922 237919 | 2147483647 73277 27 | 4.883 % |
33.22/33.30 c | 76101 | 11764 69922 237919 | 2147483647 73685 27 | 4.916 % |
33.32/33.49 c | 76550 | 11764 69922 237919 | 2147483647 74134 27 | 4.916 % |
33.62/33.75 c | 77043 | 11761 69922 237919 | 2147483647 74625 27 | 4.940 % |
33.92/34.03 c | 77586 | 11760 69922 237919 | 2147483647 75167 27 | 4.948 % |
34.32/34.40 c | 78185 | 11760 69922 237919 | 2147483647 75766 27 | 4.948 % |
34.62/34.75 c | 78842 | 11760 69922 237919 | 2147483647 76423 28 | 4.948 % |
34.92/35.04 c | 79562 | 11757 69824 237594 | 2147483647 77131 28 | 4.948 % |
35.22/35.37 c | 80354 | 11756 69824 237594 | 2147483647 77922 28 | 4.956 % |
35.61/35.78 c | 81225 | 11755 69824 237594 | 2147483647 78792 29 | 4.964 % |
36.31/36.40 c | 82183 | 11755 69824 237594 | 2147483647 79750 29 | 4.964 % |
36.31/36.45 c | 82285 | 11755 69824 237594 | 2147483647 79852 29 | 4.964 % |
36.41/36.54 c | 82395 | 11755 69824 237594 | 2147483647 79962 29 | 4.964 % |
36.51/36.60 c | 82516 | 11755 69824 237594 | 2147483647 80083 29 | 4.964 % |
36.61/36.71 c | 82650 | 11755 69824 237594 | 2147483647 80217 29 | 4.964 % |
36.61/36.80 c | 82796 | 11755 69824 237594 | 2147483647 80363 29 | 4.964 % |
36.71/36.88 c | 82956 | 11755 69824 237594 | 2147483647 80523 29 | 4.964 % |
36.81/36.98 c | 83132 | 11754 69824 237594 | 2147483647 80698 29 | 4.972 % |
36.91/37.08 c | 83326 | 11754 69824 237594 | 2147483647 80892 29 | 4.972 % |
37.11/37.20 c | 83539 | 11753 69824 237594 | 2147483647 81104 29 | 4.980 % |
37.22/37.36 c | 83773 | 11753 69824 237594 | 2147483647 81338 29 | 4.980 % |
37.41/37.52 c | 84030 | 11753 69824 237594 | 2147483647 81595 29 | 4.980 % |
37.51/37.69 c | 84311 | 11752 69786 237467 | 2147483647 81867 29 | 4.988 % |
37.71/37.80 c | 84623 | 11752 69786 237467 | 2147483647 82179 29 | 4.988 % |
37.91/38.03 c | 84963 | 11752 69786 237467 | 2147483647 82519 29 | 4.988 % |
38.11/38.22 c | 85335 | 11752 69786 237467 | 2147483647 82891 29 | 4.988 % |
38.31/38.50 c | 85745 | 11752 69786 237467 | 2147483647 83301 30 | 4.988 % |
38.71/38.81 c | 86196 | 11752 69786 237467 | 2147483647 83752 30 | 4.988 % |
38.91/39.06 c | 86690 | 11752 69786 237467 | 2147483647 84246 30 | 4.988 % |
39.21/39.30 c | 87232 | 11752 69786 237467 | 2147483647 84788 30 | 4.988 % |
39.51/39.65 c | 87830 | 11750 69786 237467 | 2147483647 85384 30 | 5.005 % |
39.91/40.05 c | 88489 | 11749 69786 237467 | 2147483647 86042 30 | 5.013 % |
40.21/40.37 c | 89209 | 11749 69786 237467 | 2147483647 86762 30 | 5.013 % |
40.61/40.71 c | 90001 | 11749 69786 237467 | 2147483647 87554 30 | 5.013 % |
41.01/41.16 c | 90872 | 11749 69746 237348 | 2147483647 88419 30 | 5.013 % |
41.61/41.73 c | 91831 | 11747 69746 237348 | 2147483647 89376 30 | 5.029 % |
42.21/42.34 c | 92884 | 11745 69746 237348 | 2147483647 90427 31 | 5.045 % |
42.31/42.41 c | 92984 | 11745 69746 237348 | 2147483647 90527 31 | 5.045 % |
42.31/42.49 c | 93095 | 11744 69746 237348 | 2147483647 90637 31 | 5.053 % |
42.41/42.59 c | 93218 | 11744 69746 237348 | 2147483647 90760 31 | 5.053 % |
42.51/42.67 c | 93352 | 11744 69746 237348 | 2147483647 90894 31 | 5.053 % |
42.61/42.74 c | 93498 | 11744 69746 237348 | 2147483647 91040 31 | 5.053 % |
42.71/42.89 c | 93658 | 11743 69746 237348 | 2147483647 91199 31 | 5.061 % |
42.91/43.00 c | 93835 | 11743 69746 237348 | 2147483647 91376 31 | 5.061 % |
43.01/43.13 c | 94029 | 11743 69746 237348 | 2147483647 91570 31 | 5.061 % |
43.10/43.27 c | 94241 | 11743 69746 237348 | 2147483647 91782 31 | 5.061 % |
43.30/43.43 c | 94474 | 11743 69746 237348 | 2147483647 92015 31 | 5.061 % |
43.50/43.61 c | 94733 | 11742 69746 237348 | 2147483647 92273 31 | 5.069 % |
43.60/43.76 c | 95014 | 11742 69746 237348 | 2147483647 92554 31 | 5.069 % |
43.81/43.99 c | 95324 | 11742 69746 237348 | 2147483647 92864 31 | 5.069 % |
44.00/44.13 c | 95663 | 11742 69746 237348 | 2147483647 93203 31 | 5.069 % |
44.31/44.41 c | 96035 | 11742 69746 237348 | 2147483647 93575 31 | 5.069 % |
44.51/44.67 c | 96446 | 11742 69746 237348 | 2147483647 93986 31 | 5.069 % |
44.91/45.08 c | 96895 | 11740 69671 237097 | 2147483647 94425 31 | 5.085 % |
45.31/45.45 c | 97390 | 11740 69671 237097 | 2147483647 94920 32 | 5.085 % |
45.61/45.70 c | 97933 | 11740 69671 237097 | 2147483647 95463 31 | 5.085 % |
46.11/46.20 c | 98531 | 11740 69671 237097 | 2147483647 96061 32 | 5.085 % |
46.31/46.49 c | 99186 | 11740 69671 237097 | 2147483647 96716 32 | 5.085 % |
46.90/47.06 c | 99906 | 11737 69671 237097 | 2147483647 97434 32 | 5.110 % |
47.30/47.49 c | 100699 | 11736 69671 237097 | 2147483647 98226 32 | 5.118 % |
48.00/48.15 c | 101570 | 11736 69671 237097 | 2147483647 99097 33 | 5.118 % |
48.60/48.71 c | 102528 | 11735 69671 237097 | 2147483647 100054 33 | 5.126 % |
49.31/49.41 c | 103581 | 11735 69671 237097 | 2147483647 101107 33 | 5.126 % |
50.00/50.13 c | 104739 | 11731 69614 236919 | 2147483647 102238 34 | 5.158 % |
50.00/50.18 c | 104839 | 11731 69614 236919 | 2147483647 102338 34 | 5.158 % |
50.10/50.26 c | 104949 | 11731 69614 236919 | 2147483647 102448 34 | 5.158 % |
50.20/50.34 c | 105070 | 11731 69614 236919 | 2147483647 102569 34 | 5.158 % |
50.30/50.45 c | 105205 | 11731 69614 236919 | 2147483647 102704 34 | 5.158 % |
50.41/50.50 c | 105351 | 11731 69614 236919 | 2147483647 102850 34 | 5.158 % |
50.41/50.55 c | 105511 | 11731 69614 236919 | 2147483647 103010 34 | 5.158 % |
50.50/50.65 c | 105687 | 11731 69614 236919 | 2147483647 103186 34 | 5.158 % |
50.70/50.80 c | 105883 | 11731 69614 236919 | 2147483647 103382 34 | 5.158 % |
50.90/51.00 c | 106096 | 11730 69614 236919 | 2147483647 103594 34 | 5.166 % |
51.00/51.15 c | 106330 | 11730 69614 236919 | 2147483647 103828 34 | 5.166 % |
51.20/51.31 c | 106586 | 11730 69614 236919 | 2147483647 104084 34 | 5.166 % |
51.40/51.54 c | 106868 | 11730 69614 236919 | 2147483647 104366 34 | 5.166 % |
51.50/51.67 c | 107177 | 11730 69614 236919 | 2147483647 104675 34 | 5.166 % |
51.70/51.85 c | 107516 | 11730 69614 236919 | 2147483647 105014 34 | 5.166 % |
52.00/52.13 c | 107888 | 11729 69614 236919 | 2147483647 105385 34 | 5.174 % |
52.31/52.43 c | 108297 | 11727 69614 236919 | 2147483647 105792 35 | 5.190 % |
52.61/52.72 c | 108749 | 11727 69614 236919 | 2147483647 106244 35 | 5.190 % |
52.90/53.01 c | 109243 | 11727 69614 236919 | 2147483647 106738 35 | 5.190 % |
53.20/53.35 c | 109786 | 11727 69614 236919 | 2147483647 107281 35 | 5.190 % |
53.60/53.71 c | 110382 | 11727 69614 236919 | 2147483647 107877 35 | 5.190 % |
54.00/54.13 c | 111037 | 11726 69614 236919 | 2147483647 108531 35 | 5.198 % |
54.40/54.58 c | 111757 | 11726 69614 236919 | 2147483647 109251 35 | 5.198 % |
55.00/55.15 c | 112549 | 11726 69614 236919 | 2147483647 110043 35 | 5.198 % |
55.50/55.69 c | 113420 | 11726 69524 236628 | 2147483647 110895 36 | 5.199 % |
56.40/56.51 c | 114378 | 11726 69524 236628 | 2147483647 111853 36 | 5.198 % |
57.10/57.24 c | 115433 | 11726 69524 236628 | 2147483647 112908 37 | 5.199 % |
57.80/57.99 c | 116591 | 11721 69524 236628 | 2147483647 114062 37 | 5.255 % |
58.80/58.96 c | 117865 | 11717 69524 236628 | 2147483647 115335 38 | 5.271 % |
58.90/59.05 c | 117965 | 11717 69524 236628 | 2147483647 115435 38 | 5.271 % |
59.00/59.12 c | 118075 | 11717 69524 236628 | 2147483647 115545 38 | 5.271 % |
59.10/59.20 c | 118196 | 11717 69524 236628 | 2147483647 115666 38 | 5.271 % |
59.20/59.31 c | 118331 | 11717 69524 236628 | 2147483647 115801 38 | 5.271 % |
59.30/59.40 c | 118477 | 11717 69524 236628 | 2147483647 115947 38 | 5.271 % |
59.39/59.51 c | 118640 | 11717 69524 236628 | 2147483647 116110 38 | 5.271 % |
59.49/59.63 c | 118819 | 11717 69524 236628 | 2147483647 116289 38 | 5.271 % |
59.69/59.82 c | 119012 | 11717 69524 236628 | 2147483647 116482 38 | 5.271 % |
59.79/59.97 c | 119226 | 11715 69524 236628 | 2147483647 116695 38 | 5.287 % |
59.99/60.13 c | 119459 | 11715 69524 236628 | 2147483647 116928 38 | 5.287 % |
60.09/60.29 c | 119716 | 11715 69524 236628 | 2147483647 117185 38 | 5.287 % |
60.29/60.41 c | 119998 | 11715 69524 236628 | 2147483647 117467 38 | 5.287 % |
60.39/60.55 c | 120307 | 11715 69524 236628 | 2147483647 117776 38 | 5.287 % |
60.59/60.75 c | 120647 | 11715 69524 236628 | 2147483647 118116 38 | 5.287 % |
60.79/60.95 c | 121021 | 11715 69524 236628 | 2147483647 118490 38 | 5.287 % |
61.09/61.28 c | 121431 | 11712 69524 236628 | 2147483647 118899 38 | 5.312 % |
61.49/61.61 c | 121880 | 11710 69524 236628 | 2147483647 119346 38 | 5.328 % |
61.79/61.91 c | 122373 | 11710 69424 236314 | 2147483647 119777 38 | 5.328 % |
62.20/62.38 c | 122915 | 11709 69424 236314 | 2147483647 120318 39 | 5.336 % |
62.69/62.84 c | 123512 | 11708 69424 236314 | 2147483647 120914 39 | 5.344 % |
63.09/63.28 c | 124167 | 11708 69424 236314 | 2147483647 121569 39 | 5.344 % |
63.60/63.78 c | 124887 | 11708 69424 236314 | 2147483647 122289 39 | 5.344 % |
64.09/64.28 c | 125680 | 11708 69424 236314 | 2147483647 123082 39 | 5.344 % |
64.69/64.87 c | 126551 | 11708 69424 236314 | 2147483647 123953 39 | 5.344 % |
65.39/65.55 c | 127509 | 11708 69424 236314 | 2147483647 124911 39 | 5.344 % |
66.29/66.42 c | 128563 | 11703 69424 236314 | 2147483647 125961 40 | 5.385 % |
67.09/67.24 c | 129723 | 11703 69424 236314 | 2147483647 127121 40 | 5.384 % |
67.99/68.11 c | 130997 | 11703 69424 236314 | 2147483647 128395 40 | 5.385 % |
68.99/69.12 c | 132397 | 11701 69424 236314 | 2147483647 129794 40 | 5.401 % |
69.10/69.26 c | 132497 | 11701 69424 236314 | 2147483647 129894 40 | 5.401 % |
69.20/69.36 c | 132607 | 11701 69424 236314 | 2147483647 130004 40 | 5.401 % |
69.29/69.48 c | 132728 | 11701 69424 236314 | 2147483647 130125 41 | 5.401 % |
69.39/69.57 c | 132861 | 11701 69424 236314 | 2147483647 130258 40 | 5.401 % |
69.49/69.64 c | 133007 | 11700 69424 236314 | 2147483647 130402 40 | 5.417 % |
69.59/69.75 c | 133167 | 11698 69424 236314 | 2147483647 130561 41 | 5.425 % |
69.69/69.83 c | 133345 | 11698 69424 236314 | 2147483647 130739 41 | 5.425 % |
69.89/70.00 c | 133538 | 11698 69345 236074 | 2147483647 130896 40 | 5.425 % |
69.99/70.20 c | 133751 | 11697 69345 236074 | 2147483647 131107 41 | 5.441 % |
70.19/70.34 c | 133985 | 11697 69345 236074 | 2147483647 131341 41 | 5.441 % |
70.39/70.59 c | 134241 | 11694 69345 236074 | 2147483647 131596 41 | 5.457 % |
70.59/70.79 c | 134523 | 11694 69345 236074 | 2147483647 131878 41 | 5.457 % |
70.89/71.09 c | 134832 | 11693 69345 236074 | 2147483647 132186 41 | 5.473 % |
71.19/71.38 c | 135173 | 11693 69345 236074 | 2147483647 132527 41 | 5.473 % |
71.59/71.72 c | 135545 | 11693 69345 236074 | 2147483647 132899 41 | 5.473 % |
71.88/72.03 c | 135954 | 11692 69345 236074 | 2147483647 133308 41 | 5.473 % |
72.08/72.29 c | 136403 | 11692 69345 236074 | 2147483647 133757 41 | 5.473 % |
72.49/72.70 c | 136896 | 11685 69345 236074 | 2147483647 134248 41 | 5.562 % |
72.98/73.14 c | 137440 | 11682 69345 236074 | 2147483647 134790 41 | 5.587 % |
73.68/73.87 c | 138036 | 11682 69345 236074 | 2147483647 135386 41 | 5.587 % |
74.38/74.54 c | 138691 | 11678 69345 236074 | 2147483647 136039 41 | 5.619 % |
74.88/75.05 c | 139411 | 11677 69345 236074 | 2147483647 136758 41 | 5.627 % |
75.38/75.58 c | 140203 | 11677 69345 236074 | 2147483647 137550 41 | 5.627 % |
75.98/76.15 c | 141075 | 11676 69345 236074 | 2147483647 138421 41 | 5.635 % |
76.68/76.83 c | 142033 | 11676 69345 236074 | 2147483647 139379 42 | 5.635 % |
77.48/77.68 c | 143086 | 11676 69345 236074 | 2147483647 140432 42 | 5.635 % |
78.28/78.40 c | 144244 | 11676 69345 236074 | 2147483647 141590 42 | 5.635 % |
79.28/79.41 c | 145518 | 11676 69345 236074 | 2147483647 142864 42 | 5.635 % |
80.09/80.28 c | 146919 | 11676 69345 236074 | 2147483647 144265 42 | 5.635 % |
81.29/81.43 c | 148462 | 11672 69162 235492 | 2147483647 145744 43 | 5.643 % |
81.38/81.55 c | 148562 | 11671 69162 235492 | 2147483647 145844 43 | 5.643 % |
81.48/81.68 c | 148673 | 11671 69162 235492 | 2147483647 145955 43 | 5.643 % |
81.68/81.82 c | 148795 | 11671 69162 235492 | 2147483647 146077 43 | 5.643 % |
81.78/81.90 c | 148928 | 11671 69162 235492 | 2147483647 146210 43 | 5.643 % |
81.88/82.02 c | 149074 | 11671 69162 235492 | 2147483647 146356 43 | 5.643 % |
81.98/82.18 c | 149236 | 11671 69162 235492 | 2147483647 146518 43 | 5.643 % |
82.18/82.37 c | 149413 | 11671 69162 235492 | 2147483647 146695 43 | 5.643 % |
82.39/82.58 c | 149606 | 11671 69162 235492 | 2147483647 146888 43 | 5.643 % |
82.58/82.78 c | 149819 | 11671 69162 235492 | 2147483647 147101 43 | 5.643 % |
82.88/83.00 c | 150052 | 11671 69162 235492 | 2147483647 147334 43 | 5.643 % |
82.98/83.16 c | 150310 | 11671 69162 235492 | 2147483647 147592 43 | 5.643 % |
83.28/83.47 c | 150591 | 11671 69162 235492 | 2147483647 147873 43 | 5.643 % |
83.49/83.68 c | 150900 | 11671 69162 235492 | 2147483647 148182 43 | 5.643 % |
83.78/83.93 c | 151241 | 11671 69162 235492 | 2147483647 148523 43 | 5.643 % |
83.98/84.13 c | 151616 | 11671 69162 235492 | 2147483647 148898 43 | 5.643 % |
84.38/84.60 c | 152025 | 11671 69162 235492 | 2147483647 149307 43 | 5.643 % |
84.78/84.95 c | 152474 | 11671 69162 235492 | 2147483647 149756 43 | 5.643 % |
85.28/85.42 c | 152967 | 11670 69162 235492 | 2147483647 150248 43 | 5.651 % |
85.77/85.98 c | 153510 | 11669 69162 235492 | 2147483647 150790 43 | 5.659 % |
86.28/86.47 c | 154107 | 11663 69162 235492 | 2147483647 151379 43 | 5.732 % |
86.88/87.03 c | 154762 | 11659 69162 235492 | 2147483647 152033 44 | 5.740 % |
87.48/87.66 c | 155482 | 11659 69162 235492 | 2147483647 152753 43 | 5.740 % |
88.08/88.23 c | 156275 | 11659 69162 235492 | 2147483647 153545 44 | 5.748 % |
88.78/88.91 c | 157147 | 11659 69162 235492 | 2147483647 154416 44 | 5.756 % |
89.58/89.74 c | 158105 | 11655 69162 235492 | 2147483647 155370 44 | 5.797 % |
90.47/90.65 c | 159159 | 11655 69162 235492 | 2147483647 156424 44 | 5.797 % |
91.47/91.61 c | 160317 | 11655 69162 235492 | 2147483647 157582 44 | 5.797 % |
92.28/92.45 c | 161591 | 11655 69162 235492 | 2147483647 158856 45 | 5.797 % |
93.48/93.63 c | 162992 | 11655 69162 235492 | 2147483647 160257 45 | 5.797 % |
94.97/95.15 c | 164532 | 11652 68998 234970 | 2147483647 161701 45 | 5.797 % |
96.17/96.33 c | 166226 | 11651 68998 234970 | 2147483647 163393 46 | 5.821 % |
96.27/96.41 c | 166326 | 11651 68998 234970 | 2147483647 163493 46 | 5.821 % |
96.37/96.58 c | 166436 | 11651 68998 234970 | 2147483647 163603 46 | 5.821 % |
96.47/96.67 c | 166557 | 11651 68998 234970 | 2147483647 163724 46 | 5.821 % |
96.58/96.79 c | 166690 | 11651 68998 234970 | 2147483647 163857 46 | 5.821 % |
96.77/96.90 c | 166837 | 11651 68998 234970 | 2147483647 164004 46 | 5.821 % |
96.87/97.08 c | 166997 | 11651 68998 234970 | 2147483647 164164 46 | 5.821 % |
97.07/97.27 c | 167174 | 11651 68998 234970 | 2147483647 164341 46 | 5.821 % |
97.27/97.49 c | 167369 | 11650 68998 234970 | 2147483647 164535 46 | 5.829 % |
97.57/97.78 c | 167581 | 11650 68998 234970 | 2147483647 164747 46 | 5.829 % |
97.87/98.00 c | 167815 | 11650 68998 234970 | 2147483647 164981 46 | 5.829 % |
98.17/98.34 c | 168072 | 11650 68998 234970 | 2147483647 165238 46 | 5.829 % |
98.37/98.53 c | 168354 | 11650 68998 234970 | 2147483647 165520 46 | 5.829 % |
98.77/98.95 c | 168663 | 11650 68998 234970 | 2147483647 165829 46 | 5.829 % |
99.07/99.28 c | 169004 | 11650 68998 234970 | 2147483647 166170 46 | 5.829 % |
99.38/99.57 c | 169376 | 11650 68998 234970 | 2147483647 166542 46 | 5.829 % |
99.68/99.87 c | 169785 | 11650 68998 234970 | 2147483647 166951 46 | 5.829 % |
100.07/100.23 c | 170234 | 11650 68998 234970 | 2147483647 167400 46 | 5.829 % |
100.47/100.65 c | 170728 | 11650 68998 234970 | 2147483647 167894 46 | 5.829 % |
100.98/101.11 c | 171271 | 11650 68998 234970 | 2147483647 168437 46 | 5.829 % |
101.47/101.64 c | 171869 | 11650 68998 234970 | 2147483647 169035 46 | 5.829 % |
102.27/102.45 c | 172524 | 11650 68998 234970 | 2147483647 169690 46 | 5.829 % |
102.77/102.98 c | 173245 | 11650 68998 234970 | 2147483647 170411 47 | 5.829 % |
103.47/103.62 c | 174037 | 11647 68998 234970 | 2147483647 171202 47 | 5.853 % |
104.06/104.29 c | 174910 | 11646 68998 234970 | 2147483647 172074 47 | 5.861 % |
105.17/105.36 c | 175868 | 11646 68998 234970 | 2147483647 173032 47 | 5.861 % |
106.16/106.33 c | 176921 | 11645 68998 234970 | 2147483647 174084 47 | 5.878 % |
107.36/107.51 c | 178079 | 11644 68998 234970 | 2147483647 175241 47 | 5.886 % |
108.26/108.44 c | 179354 | 11643 68998 234970 | 2147483647 176515 48 | 5.894 % |
109.26/109.46 c | 180755 | 11643 68998 234970 | 2147483647 177916 48 | 5.894 % |
110.86/111.08 c | 182295 | 11643 68998 234970 | 2147483647 179456 48 | 5.894 % |
112.36/112.54 c | 183990 | 11641 68998 234970 | 2147483647 181149 49 | 5.910 % |
114.36/114.50 c | 185853 | 11637 68889 234613 | 2147483647 182996 49 | 5.918 % |
114.46/114.67 c | 185953 | 11637 68889 234613 | 2147483647 183096 49 | 5.918 % |
114.56/114.76 c | 186064 | 11637 68889 234613 | 2147483647 183207 49 | 5.918 % |
114.76/114.93 c | 186187 | 11637 68889 234613 | 2147483647 183330 49 | 5.918 % |
114.86/115.00 c | 186320 | 11637 68889 234613 | 2147483647 183463 49 | 5.918 % |
115.06/115.20 c | 186466 | 11636 68889 234613 | 2147483647 183608 49 | 5.926 % |
115.26/115.43 c | 186628 | 11636 68889 234613 | 2147483647 183770 49 | 5.926 % |
115.36/115.59 c | 186805 | 11636 68889 234613 | 2147483647 183947 49 | 5.926 % |
115.66/115.84 c | 186998 | 11636 68889 234613 | 2147483647 184140 49 | 5.926 % |
115.96/116.14 c | 187210 | 11634 68889 234613 | 2147483647 184351 49 | 5.942 % |
116.16/116.34 c | 187443 | 11634 68889 234613 | 2147483647 184584 49 | 5.942 % |
116.36/116.57 c | 187699 | 11634 68889 234613 | 2147483647 184840 49 | 5.942 % |
116.66/116.86 c | 187981 | 11634 68889 234613 | 2147483647 185122 50 | 5.942 % |
117.06/117.26 c | 188292 | 11633 68889 234613 | 2147483647 185432 50 | 5.950 % |
117.46/117.63 c | 188631 | 11633 68889 234613 | 2147483647 185771 50 | 5.950 % |
117.86/118.03 c | 189003 | 11633 68889 234613 | 2147483647 186143 50 | 5.950 % |
118.16/118.38 c | 189412 | 11633 68889 234613 | 2147483647 186552 50 | 5.950 % |
118.66/118.81 c | 189861 | 11633 68889 234613 | 2147483647 187001 50 | 5.950 % |
119.15/119.38 c | 190354 | 11633 68889 234613 | 2147483647 187493 50 | 5.959 % |
119.76/119.96 c | 190897 | 11633 68889 234613 | 2147483647 188036 50 | 5.958 % |
120.36/120.59 c | 191493 | 11633 68889 234613 | 2147483647 188632 50 | 5.959 % |
121.16/121.35 c | 192149 | 11633 68889 234613 | 2147483647 189288 50 | 5.958 % |
121.76/121.92 c | 192869 | 11633 68889 234613 | 2147483647 190008 50 | 5.958 % |
122.56/122.78 c | 193661 | 11631 68889 234613 | 2147483647 190799 50 | 5.975 % |
123.35/123.52 c | 194533 | 11631 68889 234613 | 2147483647 191671 50 | 5.975 % |
124.16/124.36 c | 195491 | 11631 68889 234613 | 2147483647 192629 51 | 5.975 % |
125.15/125.30 c | 196544 | 11631 68889 234613 | 2147483647 193682 50 | 5.975 % |
126.25/126.45 c | 197702 | 11631 68889 234613 | 2147483647 194840 51 | 5.975 % |
127.36/127.52 c | 198979 | 11630 68889 234613 | 2147483647 196116 51 | 5.983 % |
128.56/128.74 c | 200379 | 11630 68889 234613 | 2147483647 197516 51 | 5.983 % |
130.35/130.55 c | 201919 | 11629 68889 234613 | 2147483647 199055 51 | 5.991 % |
131.75/132.00 c | 203613 | 11629 68889 234613 | 2147483647 200749 52 | 5.991 % |
133.95/134.15 c | 205478 | 11628 68889 234613 | 2147483647 202613 52 | 5.999 % |
135.65/135.82 c | 207527 | 11628 68889 234613 | 2147483647 204662 52 | 5.999 % |
135.75/135.99 c | 207627 | 11628 68889 234613 | 2147483647 204762 52 | 5.999 % |
136.05/136.24 c | 207738 | 11627 68810 234356 | 2147483647 204818 52 | 5.999 % |
136.25/136.40 c | 207862 | 11627 68810 234356 | 2147483647 204942 52 | 5.999 % |
136.35/136.59 c | 207996 | 11627 68810 234356 | 2147483647 205076 52 | 5.999 % |
136.54/136.74 c | 208142 | 11627 68810 234356 | 2147483647 205222 52 | 5.999 % |
136.74/136.93 c | 208302 | 11627 68810 234356 | 2147483647 205382 52 | 5.999 % |
136.94/137.12 c | 208478 | 11627 68810 234356 | 2147483647 205558 52 | 5.999 % |
137.14/137.35 c | 208672 | 11627 68810 234356 | 2147483647 205752 52 | 5.999 % |
137.35/137.58 c | 208886 | 11627 68810 234356 | 2147483647 205966 52 | 5.999 % |
137.64/137.83 c | 209119 | 11627 68810 234356 | 2147483647 206199 52 | 5.999 % |
137.94/138.13 c | 209376 | 11627 68810 234356 | 2147483647 206456 52 | 5.999 % |
138.24/138.49 c | 209658 | 11626 68810 234356 | 2147483647 206737 52 | 6.007 % |
138.54/138.73 c | 209967 | 11626 68810 234356 | 2147483647 207046 52 | 6.007 % |
139.04/139.22 c | 210306 | 11626 68810 234356 | 2147483647 207385 52 | 6.007 % |
139.44/139.64 c | 210678 | 11626 68810 234356 | 2147483647 207757 52 | 6.007 % |
139.94/140.17 c | 211087 | 11626 68810 234356 | 2147483647 208166 52 | 6.007 % |
140.55/140.71 c | 211536 | 11625 68810 234356 | 2147483647 208614 52 | 6.015 % |
141.05/141.30 c | 212030 | 11625 68810 234356 | 2147483647 209108 52 | 6.015 % |
141.75/141.94 c | 212573 | 11625 68810 234356 | 2147483647 209651 52 | 6.015 % |
142.34/142.54 c | 213169 | 11625 68810 234356 | 2147483647 210247 52 | 6.015 % |
143.04/143.22 c | 213825 | 11625 68810 234356 | 2147483647 210903 52 | 6.015 % |
143.95/144.15 c | 214545 | 11625 68810 234356 | 2147483647 211622 53 | 6.023 % |
144.74/144.91 c | 215337 | 11625 68810 234356 | 2147483647 212413 53 | 6.031 % |
145.74/145.97 c | 216208 | 11625 68810 234356 | 2147483647 213284 53 | 6.031 % |
146.54/146.78 c | 217169 | 11625 68810 234356 | 2147483647 214245 53 | 6.031 % |
147.74/147.92 c | 218222 | 11625 68810 234356 | 2147483647 215298 53 | 6.031 % |
148.84/149.06 c | 219381 | 11625 68810 234356 | 2147483647 216457 53 | 6.031 % |
150.24/150.40 c | 220656 | 11624 68810 234356 | 2147483647 217731 53 | 6.039 % |
151.84/152.01 c | 222056 | 11624 68810 234356 | 2147483647 219131 54 | 6.039 % |
153.44/153.63 c | 223597 | 11624 68810 234356 | 2147483647 220672 54 | 6.039 % |
155.13/155.30 c | 225291 | 11624 68810 234356 | 2147483647 222366 54 | 6.039 % |
157.03/157.29 c | 227154 | 11623 68810 234356 | 2147483647 224227 54 | 6.056 % |
159.43/159.67 c | 229204 | 11621 68810 234356 | 2147483647 226275 55 | 6.072 % |
161.83/162.01 c | 231457 | 11620 68810 234356 | 227070 228527 55 | 6.080 % |
162.43/162.67 c | 231557 | 11620 68810 234356 | 227070 194756 54 | 6.080 % |
162.64/162.87 c | 231667 | 11620 68810 234356 | 227070 194866 54 | 6.080 % |
162.83/163.06 c | 231791 | 11620 68810 234356 | 227070 194990 54 | 6.080 % |
163.03/163.20 c | 231925 | 11620 68810 234356 | 227070 195124 54 | 6.080 % |
163.23/163.42 c | 232071 | 11620 68810 234356 | 227070 195270 54 | 6.080 % |
163.43/163.63 c | 232231 | 11620 68810 234356 | 227070 195430 54 | 6.080 % |
163.64/163.81 c | 232408 | 11620 68810 234356 | 227070 195607 54 | 6.080 % |
163.93/164.13 c | 232602 | 11619 68810 234356 | 227070 195800 54 | 6.088 % |
164.13/164.33 c | 232814 | 11619 68810 234356 | 227070 196012 54 | 6.088 % |
164.33/164.56 c | 233048 | 11619 68810 234356 | 227070 196246 54 | 6.088 % |
164.63/164.80 c | 233306 | 11619 68810 234356 | 227070 196504 54 | 6.088 % |
165.03/165.23 c | 233587 | 11619 68810 234356 | 227070 196785 54 | 6.088 % |
165.33/165.59 c | 233899 | 11619 68810 234356 | 227070 197097 54 | 6.088 % |
165.83/166.04 c | 234238 | 11619 68810 234356 | 227070 197436 54 | 6.088 % |
166.13/166.39 c | 234610 | 11619 68810 234356 | 227070 197808 54 | 6.088 % |
166.63/166.83 c | 235020 | 11619 68810 234356 | 227070 198218 54 | 6.088 % |
167.23/167.48 c | 235469 | 11619 68810 234356 | 227070 198666 54 | 6.096 % |
167.73/167.96 c | 235962 | 11619 68810 234356 | 227070 199159 54 | 6.096 % |
168.33/168.60 c | 236504 | 11619 68810 234356 | 227070 199701 54 | 6.096 % |
169.03/169.26 c | 237100 | 11619 68810 234356 | 227070 200296 54 | 6.112 % |
169.93/170.15 c | 237756 | 11612 68680 233942 | 227070 200910 54 | 6.120 % |
170.73/170.90 c | 238476 | 11612 68680 233942 | 227070 201630 54 | 6.120 % |
171.83/172.08 c | 239269 | 11612 68680 233942 | 227070 202421 54 | 6.152 % |
172.63/172.89 c | 240140 | 11609 68680 233942 | 2147483647 203292 55 | 6.152 % |
173.73/173.96 c | 241098 | 11609 68680 233942 | 2147483647 204250 55 | 6.153 % |
175.03/175.25 c | 242151 | 11609 68680 233942 | 2147483647 205303 55 | 6.153 % |
176.03/176.23 c | 243310 | 11609 68680 233942 | 2147483647 206462 55 | 6.153 % |
177.12/177.39 c | 244584 | 11609 68680 233942 | 2147483647 207736 55 | 6.153 % |
178.72/178.98 c | 245985 | 11609 68680 233942 | 2147483647 209136 55 | 6.161 % |
179.92/180.13 c | 247525 | 11609 68680 233942 | 2147483647 210676 55 | 6.161 % |
181.62/181.89 c | 249219 | 11609 68680 233942 | 2147483647 212369 55 | 6.177 % |
183.72/183.92 c | 251082 | 11609 68680 233942 | 2147483647 214231 56 | 6.185 % |
185.82/186.07 c | 253131 | 11609 68680 233942 | 2147483647 216280 56 | 6.185 % |
188.42/188.60 c | 255384 | 11609 68680 233942 | 2147483647 218533 56 | 6.185 % |
191.32/191.51 c | 257863 | 11602 68680 233942 | 2147483647 221009 57 | 6.209 % |
191.42/191.63 c | 257963 | 11602 68680 233942 | 2147483647 221109 57 | 6.209 % |
191.52/191.80 c | 258073 | 11602 68680 233942 | 2147483647 221219 57 | 6.209 % |
191.72/191.93 c | 258195 | 11602 68680 233942 | 2147483647 221341 57 | 6.209 % |
191.92/192.14 c | 258329 | 11602 68680 233942 | 2147483647 221475 57 | 6.209 % |
192.12/192.32 c | 258475 | 11602 68680 233942 | 2147483647 221621 57 | 6.209 % |
192.32/192.54 c | 258635 | 11602 68680 233942 | 2147483647 221781 57 | 6.209 % |
192.52/192.73 c | 258811 | 11601 68680 233942 | 2147483647 221956 57 | 6.217 % |
192.82/193.01 c | 259004 | 11601 68680 233942 | 2147483647 222149 57 | 6.217 % |
193.02/193.28 c | 259217 | 11600 68680 233942 | 2147483647 222361 57 | 6.225 % |
193.32/193.54 c | 259450 | 11599 68680 233942 | 2147483647 222593 57 | 6.233 % |
193.61/193.88 c | 259706 | 11599 68680 233942 | 2147483647 222849 57 | 6.233 % |
193.91/194.15 c | 259988 | 11599 68680 233942 | 2147483647 223131 57 | 6.233 % |
194.21/194.44 c | 260297 | 11599 68680 233942 | 223144 223440 57 | 6.233 % |
194.71/194.93 c | 260636 | 11598 68680 233942 | 223144 223778 57 | 6.241 % |
195.21/195.41 c | 261010 | 11598 68680 233942 | 223144 224152 57 | 6.242 % |
196.01/196.24 c | 261420 | 11598 68680 233942 | 223144 201904 61 | 6.242 % |
196.31/196.51 c | 261869 | 11598 68680 233942 | 223144 202353 60 | 6.241 % |
196.61/196.85 c | 262362 | 11598 68680 233942 | 223144 202846 60 | 6.241 % |
197.21/197.49 c | 262906 | 11598 68680 233942 | 223144 203390 60 | 6.242 % |
197.91/198.17 c | 263503 | 11598 68680 233942 | 223144 203987 60 | 6.242 % |
198.60/198.86 c | 264158 | 11598 68680 233942 | 223144 204642 60 | 6.242 % |
199.40/199.66 c | 264878 | 11595 68680 233942 | 223144 205360 61 | 6.266 % |
200.30/200.51 c | 265670 | 11595 68680 233942 | 223144 206152 61 | 6.266 % |
201.30/201.59 c | 266541 | 11593 68680 233942 | 223144 207021 61 | 6.282 % |
202.50/202.78 c | 267501 | 11593 68680 233942 | 223144 207981 61 | 6.282 % |
203.80/204.09 c | 268554 | 11592 68680 233942 | 223144 209033 61 | 6.290 % |
205.40/205.65 c | 269712 | 11591 68532 233482 | 223144 210124 61 | 6.290 % |
206.90/207.14 c | 270985 | 11591 68532 233482 | 2147483647 211397 61 | 6.290 % |
208.20/208.40 c | 272385 | 11591 68532 233482 | 2147483647 212797 61 | 6.290 % |
209.49/209.72 c | 273925 | 11591 68532 233482 | 2147483647 214337 61 | 6.290 % |
211.49/211.73 c | 275621 | 11591 68532 233482 | 2147483647 216032 61 | 6.298 % |
213.39/213.66 c | 277484 | 11590 68532 233482 | 2147483647 217895 61 | 6.298 % |
215.60/215.85 c | 279535 | 11590 68532 233482 | 2147483647 219946 62 | 6.298 % |
218.49/218.77 c | 281789 | 11590 68532 233482 | 220411 222200 62 | 6.298 % |
221.79/222.04 c | 284268 | 11590 68532 233482 | 220411 202459 61 | 6.298 % |
224.89/225.13 c | 286994 | 11590 68532 233482 | 220411 205185 62 | 6.298 % |
224.99/225.25 c | 287094 | 11590 68532 233482 | 220411 205285 62 | 6.298 % |
225.09/225.40 c | 287205 | 11590 68532 233482 | 220411 205396 62 | 6.298 % |
225.30/225.55 c | 287326 | 11590 68532 233482 | 220411 205517 62 | 6.298 % |
225.49/225.72 c | 287459 | 11590 68532 233482 | 220411 205650 62 | 6.298 % |
225.79/226.01 c | 287605 | 11585 68532 233482 | 220411 205793 62 | 6.339 % |
225.99/226.21 c | 287766 | 11585 68532 233482 | 220411 205954 62 | 6.338 % |
226.09/226.36 c | 287944 | 11585 68532 233482 | 220411 206132 62 | 6.339 % |
226.40/226.68 c | 288138 | 11585 68532 233482 | 220411 206326 62 | 6.338 % |
226.79/227.01 c | 288351 | 11585 68532 233482 | 220411 206539 62 | 6.339 % |
227.09/227.32 c | 288585 | 11585 68532 233482 | 220411 206773 62 | 6.339 % |
227.39/227.62 c | 288842 | 11585 68532 233482 | 220411 207030 62 | 6.338 % |
227.59/227.87 c | 289123 | 11585 68532 233482 | 220411 207311 62 | 6.339 % |
227.99/228.24 c | 289433 | 11585 68532 233482 | 220411 207621 62 | 6.338 % |
228.39/228.70 c | 289773 | 11585 68532 233482 | 220411 207961 62 | 6.339 % |
228.99/229.20 c | 290145 | 11584 68532 233482 | 2147483647 208332 62 | 6.347 % |
229.49/229.72 c | 290554 | 11584 68532 233482 | 2147483647 208741 62 | 6.347 % |
230.09/230.32 c | 291003 | 11584 68532 233482 | 2147483647 209190 62 | 6.347 % |
230.59/230.80 c | 291497 | 11584 68532 233482 | 2147483647 209684 62 | 6.347 % |
231.39/231.66 c | 292042 | 11584 68532 233482 | 2147483647 210229 62 | 6.347 % |
232.09/232.39 c | 292638 | 11584 68532 233482 | 2147483647 210825 62 | 6.347 % |
232.99/233.29 c | 293293 | 11584 68532 233482 | 2147483647 211479 62 | 6.355 % |
233.99/234.28 c | 294013 | 11584 68532 233482 | 2147483647 212199 62 | 6.355 % |
235.09/235.33 c | 294807 | 11584 68532 233482 | 2147483647 212993 62 | 6.355 % |
236.29/236.53 c | 295679 | 11584 68532 233482 | 2147483647 213865 62 | 6.355 % |
237.59/237.80 c | 296638 | 11581 68532 233482 | 2147483647 214821 62 | 6.395 % |
239.38/239.60 c | 297691 | 11581 68532 233482 | 2147483647 215874 62 | 6.395 % |
240.78/241.01 c | 298849 | 11581 68532 233482 | 2147483647 217032 62 | 6.395 % |
242.38/242.60 c | 300122 | 11581 68532 233482 | 2147483647 218305 63 | 6.395 % |
243.99/244.26 c | 301522 | 11581 68532 233482 | 2147483647 219705 63 | 6.395 % |
245.67/245.94 c | 303062 | 11581 68532 233482 | 2147483647 221245 63 | 6.395 % |
248.28/248.50 c | 304757 | 11578 68441 233191 | 2147483647 222914 63 | 6.395 % |
250.48/250.76 c | 306621 | 11578 68441 233191 | 2147483647 224778 63 | 6.395 % |
253.27/253.52 c | 308670 | 11578 68441 233191 | 2147483647 226827 64 | 6.395 % |
256.47/256.72 c | 310923 | 11578 68441 233191 | 228157 229080 64 | 6.395 % |
259.77/260.09 c | 313401 | 11578 68441 233191 | 228157 199719 64 | 6.403 % |
263.07/263.32 c | 316131 | 11577 68441 233191 | 228157 202447 64 | 6.419 % |
266.67/266.91 c | 319130 | 11576 68441 233191 | 228157 205445 64 | 6.427 % |
266.77/267.01 c | 319230 | 11576 68441 233191 | 228157 205545 64 | 6.427 % |
266.87/267.16 c | 319341 | 11576 68441 233191 | 228157 205656 64 | 6.427 % |
266.97/267.30 c | 319462 | 11576 68441 233191 | 228157 205777 64 | 6.427 % |
267.27/267.52 c | 319595 | 11576 68441 233191 | 228157 205910 64 | 6.427 % |
267.47/267.76 c | 319741 | 11574 68441 233191 | 228157 206056 64 | 6.427 % |
267.77/268.00 c | 319902 | 11574 68441 233191 | 228157 206217 64 | 6.427 % |
267.97/268.21 c | 320078 | 11573 68441 233191 | 206316 206392 64 | 6.435 % |
268.27/268.55 c | 320271 | 11573 68441 233191 | 206316 206585 64 | 6.436 % |
268.57/268.84 c | 320486 | 11573 68441 233191 | 206316 206800 64 | 6.435 % |
268.87/269.15 c | 320719 | 11573 68441 233191 | 206316 207033 64 | 6.436 % |
269.17/269.46 c | 320976 | 11573 68441 233191 | 206316 207290 64 | 6.436 % |
270.07/270.30 c | 321257 | 11573 68441 233191 | 206316 175716 63 | 6.436 % |
270.37/270.61 c | 321566 | 11573 68441 233191 | 206316 176025 63 | 6.435 % |
270.77/271.00 c | 321907 | 11573 68441 233191 | 206316 176366 63 | 6.436 % |
271.17/271.42 c | 322280 | 11573 68441 233191 | 206316 176739 63 | 6.436 % |
271.47/271.73 c | 322690 | 11573 68441 233191 | 206316 177149 63 | 6.436 % |
271.97/272.25 c | 323139 | 11573 68441 233191 | 206316 177598 63 | 6.436 % |
272.67/272.97 c | 323634 | 11573 68441 233191 | 206316 178093 63 | 6.435 % |
273.57/273.81 c | 324177 | 11573 68441 233191 | 206316 178636 63 | 6.435 % |
274.37/274.67 c | 324773 | 11573 68441 233191 | 206316 179231 63 | 6.444 % |
275.27/275.52 c | 325428 | 11573 68441 233191 | 206316 179886 63 | 6.444 % |
276.06/276.31 c | 326150 | 11573 68441 233191 | 206316 180608 63 | 6.444 % |
277.06/277.30 c | 326942 | 11573 68441 233191 | 206316 181399 63 | 6.452 % |
278.26/278.53 c | 327813 | 11573 68441 233191 | 206316 182270 63 | 6.452 % |
279.36/279.62 c | 328772 | 11573 68441 233191 | 206316 183228 63 | 6.460 % |
280.27/280.58 c | 329826 | 11573 68441 233191 | 206316 184282 63 | 6.460 % |
281.46/281.72 c | 330985 | 11573 68441 233191 | 2147483647 185441 64 | 6.460 % |
283.06/283.35 c | 332259 | 11573 68441 233191 | 2147483647 186714 64 | 6.468 % |
284.85/285.16 c | 333659 | 11573 68441 233191 | 2147483647 188114 63 | 6.468 % |
286.45/286.72 c | 335200 | 11573 68441 233191 | 2147483647 189655 64 | 6.468 % |
288.25/288.59 c | 336894 | 11573 68441 233191 | 2147483647 191349 64 | 6.468 % |
289.75/290.04 c | 338757 | 11573 68441 233191 | 2147483647 193212 63 | 6.468 % |
291.85/292.16 c | 340813 | 11572 68441 233191 | 2147483647 195268 63 | 6.468 % |
294.45/294.73 c | 343066 | 11569 68377 232981 | 2147483647 197512 64 | 6.468 % |
297.35/297.62 c | 345545 | 11566 68377 232981 | 2147483647 199987 64 | 6.500 % |
300.95/301.21 c | 348271 | 11566 68377 232981 | 2147483647 202713 64 | 6.500 % |
304.45/304.78 c | 351268 | 11566 68377 232981 | 204443 205709 64 | 6.508 % |
307.85/308.12 c | 354565 | 11566 68377 232981 | 204443 183144 63 | 6.508 % |
307.95/308.28 c | 354667 | 11566 68377 232981 | 204443 183246 63 | 6.508 % |
308.14/308.44 c | 354777 | 11564 68377 232981 | 204443 183356 63 | 6.508 % |
308.34/308.63 c | 354899 | 11564 68377 232981 | 204443 183478 63 | 6.508 % |
308.54/308.80 c | 355033 | 11564 68377 232981 | 204443 183612 63 | 6.508 % |
308.64/309.00 c | 355179 | 11564 68377 232981 | 204443 183758 63 | 6.508 % |
308.85/309.19 c | 355340 | 11564 68377 232981 | 204443 183919 63 | 6.508 % |
309.04/309.31 c | 355516 | 11564 68377 232981 | 204443 184095 63 | 6.508 % |
309.34/309.63 c | 355711 | 11564 68377 232981 | 204443 184290 63 | 6.508 % |
309.54/309.84 c | 355923 | 11564 68377 232981 | 204443 184502 63 | 6.508 % |
309.85/310.10 c | 356157 | 11564 68377 232981 | 204443 184736 63 | 6.508 % |
310.14/310.43 c | 356414 | 11564 68377 232981 | 204443 184993 63 | 6.508 % |
310.44/310.78 c | 356695 | 11564 68377 232981 | 204443 185274 63 | 6.508 % |
310.84/311.12 c | 357004 | 11564 68377 232981 | 204443 185583 63 | 6.508 % |
311.34/311.63 c | 357343 | 11563 68377 232981 | 204443 185921 63 | 6.516 % |
311.74/312.00 c | 357716 | 11563 68377 232981 | 204443 186294 63 | 6.516 % |
312.24/312.56 c | 358131 | 11563 68377 232981 | 204443 186709 63 | 6.516 % |
312.84/313.15 c | 358581 | 11563 68377 232981 | 204443 187159 63 | 6.516 % |
313.34/313.68 c | 359076 | 11563 68377 232981 | 204443 187654 63 | 6.516 % |
314.14/314.42 c | 359618 | 11563 68377 232981 | 204443 188195 63 | 6.549 % |
314.74/315.09 c | 360216 | 11563 68377 232981 | 188577 188793 63 | 6.549 % |
315.64/315.97 c | 360871 | 11562 68377 232981 | 188577 189447 63 | 6.557 % |
316.83/317.14 c | 361591 | 11562 68377 232981 | 188577 164776 61 | 6.557 % |
317.74/318.08 c | 362383 | 11562 68377 232981 | 188577 165567 61 | 6.597 % |
318.64/318.95 c | 363254 | 11562 68377 232981 | 188577 166438 61 | 6.597 % |
319.74/320.05 c | 364212 | 11562 68377 232981 | 188577 167396 61 | 6.597 % |
320.84/321.13 c | 365266 | 11562 68377 232981 | 188577 168450 61 | 6.597 % |
321.94/322.29 c | 366426 | 11562 68377 232981 | 188577 169610 61 | 6.597 % |
323.53/323.88 c | 367699 | 11562 68377 232981 | 188577 170883 61 | 6.597 % |
325.03/325.35 c | 369100 | 11553 68377 232981 | 188577 172284 61 | 6.597 % |
326.63/326.95 c | 370642 | 11553 68377 232981 | 2147483647 173826 61 | 6.597 % |
328.83/329.15 c | 372338 | 11553 68377 232981 | 2147483647 175522 61 | 6.597 % |
331.02/331.40 c | 374203 | 11553 68377 232981 | 2147483647 177386 61 | 6.605 % |
333.32/333.68 c | 376253 | 11553 68377 232981 | 2147483647 179436 61 | 6.605 % |
336.02/336.35 c | 378507 | 11553 68377 232981 | 2147483647 181690 62 | 6.605 % |
338.92/339.29 c | 380987 | 11552 68224 232485 | 183167 184152 62 | 6.638 % |
342.32/342.69 c | 383712 | 11548 68224 232485 | 183167 165324 61 | 6.638 % |
345.62/345.99 c | 386709 | 11548 68224 232485 | 183167 168321 61 | 6.638 % |
349.12/349.43 c | 390005 | 11548 68224 232485 | 2147483647 171617 61 | 6.638 % |
353.21/353.51 c | 393630 | 11548 68224 232485 | 2147483647 175242 61 | 6.638 % |
353.31/353.62 c | 393730 | 11548 68224 232485 | 2147483647 175342 61 | 6.638 % |
353.51/353.82 c | 393840 | 11548 68224 232485 | 2147483647 175452 61 | 6.638 % |
353.71/354.00 c | 393962 | 11548 68224 232485 | 2147483647 175574 61 | 6.638 % |
353.92/354.23 c | 394097 | 11548 68224 232485 | 2147483647 175709 61 | 6.638 % |
354.11/354.49 c | 394244 | 11548 68224 232485 | 2147483647 175856 61 | 6.638 % |
354.41/354.71 c | 394404 | 11548 68224 232485 | 2147483647 176016 61 | 6.638 % |
354.61/354.92 c | 394583 | 11548 68224 232485 | 2147483647 176195 61 | 6.638 % |
354.81/355.15 c | 394776 | 11548 68224 232485 | 2147483647 176388 61 | 6.638 % |
355.02/355.36 c | 394988 | 11548 68224 232485 | 2147483647 176600 61 | 6.638 % |
355.21/355.58 c | 395222 | 11548 68224 232485 | 2147483647 176834 61 | 6.638 % |
355.51/355.85 c | 395479 | 11548 68224 232485 | 2147483647 177091 61 | 6.638 % |
355.91/356.22 c | 395760 | 11548 68224 232485 | 2147483647 177372 61 | 6.638 % |
356.21/356.57 c | 396069 | 11548 68224 232485 | 2147483647 177681 61 | 6.638 % |
356.91/357.22 c | 396408 | 11548 68224 232485 | 2147483647 178020 61 | 6.638 % |
357.41/357.73 c | 396781 | 11548 68224 232485 | 2147483647 178393 61 | 6.638 % |
357.91/358.24 c | 397190 | 11548 68224 232485 | 2147483647 178802 61 | 6.638 % |
358.51/358.80 c | 397640 | 11548 68224 232485 | 2147483647 179252 61 | 6.638 % |
359.11/359.41 c | 398134 | 11548 68224 232485 | 2147483647 179746 61 | 6.638 % |
359.61/359.99 c | 398678 | 11548 68224 232485 | 2147483647 180290 61 | 6.638 % |
360.31/360.61 c | 399274 | 11548 68224 232485 | 2147483647 180886 62 | 6.638 % |
361.21/361.51 c | 399929 | 11548 68224 232485 | 2147483647 181540 62 | 6.646 % |
361.91/362.27 c | 400649 | 11548 68224 232485 | 2147483647 182260 62 | 6.646 % |
362.81/363.17 c | 401441 | 11548 68224 232485 | 2147483647 183052 62 | 6.646 % |
364.21/364.59 c | 402313 | 11547 68224 232485 | 2147483647 183923 62 | 6.654 % |
365.51/365.85 c | 403271 | 11546 68224 232485 | 2147483647 184879 62 | 6.670 % |
366.71/367.09 c | 404324 | 11544 68224 232485 | 2147483647 185932 62 | 6.670 % |
368.31/368.65 c | 405482 | 11544 68224 232485 | 2147483647 187088 62 | 6.702 % |
370.01/370.35 c | 406755 | 11538 68224 232485 | 2147483647 188359 62 | 6.727 % |
371.80/372.13 c | 408156 | 11538 68224 232485 | 2147483647 189760 62 | 6.727 % |
374.00/374.38 c | 409696 | 11537 68117 232152 | 2147483647 191276 62 | 6.727 % |
375.80/376.15 c | 411391 | 11533 68117 232152 | 191580 192968 62 | 6.759 % |
379.00/379.31 c | 413254 | 11533 68117 232152 | 191580 175107 61 | 6.767 % |
381.30/381.67 c | 415303 | 11533 68117 232152 | 191580 177156 61 | 6.767 % |
384.09/384.50 c | 417557 | 11532 68117 232152 | 191580 179410 61 | 6.767 % |
386.19/386.53 c | 420036 | 11532 68117 232152 | 181854 181889 61 | 6.767 % |
389.89/390.27 c | 422761 | 11532 68117 232152 | 181854 184614 61 | 6.767 % |
393.89/394.24 c | 425761 | 11532 68117 232152 | 181854 167393 59 | 6.767 % |
397.99/398.34 c | 429057 | 11532 68117 232152 | 181854 170688 59 | 6.775 % |
402.59/402.99 c | 432682 | 11531 68117 232152 | 171632 156976 58 | 6.783 % |
406.98/407.38 c | 436670 | 11530 68117 232152 | 171632 160964 59 | 6.783 % |
407.08/407.48 c | 436770 | 11530 68117 232152 | 171632 161064 59 | 6.783 % |
407.28/407.62 c | 436880 | 11530 68117 232152 | 171632 161174 59 | 6.783 % |
407.48/407.83 c | 437001 | 11530 68117 232152 | 171632 161295 59 | 6.783 % |
407.69/408.07 c | 437134 | 11530 68117 232152 | 171632 161428 59 | 6.783 % |
407.88/408.26 c | 437280 | 11530 68117 232152 | 171632 161574 59 | 6.783 % |
408.08/408.42 c | 437441 | 11530 68117 232152 | 171632 161735 59 | 6.783 % |
408.28/408.69 c | 437619 | 11530 68117 232152 | 171632 161913 59 | 6.783 % |
408.58/408.92 c | 437814 | 11530 68117 232152 | 171632 162108 59 | 6.783 % |
408.79/409.16 c | 438026 | 11530 68117 232152 | 171632 162320 59 | 6.783 % |
409.18/409.56 c | 438260 | 11530 68117 232152 | 171632 162554 59 | 6.783 % |
409.48/409.88 c | 438516 | 11530 68117 232152 | 171632 162810 59 | 6.783 % |
409.88/410.26 c | 438798 | 11530 68117 232152 | 171632 163092 59 | 6.783 % |
410.38/410.70 c | 439108 | 11530 68117 232152 | 171632 163402 59 | 6.783 % |
410.78/411.16 c | 439448 | 11530 68069 231998 | 171632 163741 59 | 6.783 % |
411.18/411.53 c | 439820 | 11530 68069 231998 | 171632 164113 59 | 6.783 % |
411.78/412.12 c | 440231 | 11529 68069 231998 | 2147483647 164523 59 | 6.791 % |
412.18/412.56 c | 440680 | 11529 68069 231998 | 2147483647 164972 59 | 6.791 % |
412.68/413.05 c | 441173 | 11529 68069 231998 | 2147483647 165465 59 | 6.791 % |
413.48/413.87 c | 441715 | 11529 68069 231998 | 2147483647 166007 59 | 6.791 % |
414.18/414.52 c | 442312 | 11529 68069 231998 | 2147483647 166604 59 | 6.791 % |
414.78/415.18 c | 442969 | 11529 68069 231998 | 2147483647 167261 59 | 6.791 % |
415.78/416.11 c | 443689 | 11529 68069 231998 | 2147483647 167981 59 | 6.791 % |
416.68/417.08 c | 444482 | 11528 68069 231998 | 2147483647 168773 59 | 6.799 % |
417.48/417.87 c | 445353 | 11528 68069 231998 | 2147483647 169644 59 | 6.799 % |
418.58/418.99 c | 446311 | 11528 68069 231998 | 2147483647 170602 59 | 6.799 % |
419.78/420.19 c | 447364 | 11528 68069 231998 | 2147483647 171655 59 | 6.799 % |
421.27/421.67 c | 448522 | 11528 68069 231998 | 2147483647 172812 59 | 6.807 % |
422.87/423.26 c | 449795 | 11528 68069 231998 | 2147483647 174085 59 | 6.807 % |
424.57/424.98 c | 451196 | 11528 68069 231998 | 2147483647 175486 59 | 6.807 % |
426.57/426.96 c | 452736 | 11526 68069 231998 | 2147483647 177025 59 | 6.816 % |
428.87/429.22 c | 454430 | 11526 68069 231998 | 2147483647 178719 60 | 6.815 % |
431.27/431.63 c | 456293 | 11526 68069 231998 | 2147483647 180581 60 | 6.824 % |
433.87/434.24 c | 458345 | 11524 68069 231998 | 2147483647 182632 60 | 6.832 % |
436.17/436.56 c | 460598 | 11524 68069 231998 | 2147483647 184885 60 | 6.832 % |
439.37/439.71 c | 463077 | 11524 68069 231998 | 2147483647 187364 60 | 6.832 % |
443.36/443.79 c | 465803 | 11523 68012 231815 | 2147483647 190083 61 | 6.840 % |
447.56/447.99 c | 468801 | 11523 68012 231815 | 2147483647 193080 61 | 6.848 % |
451.86/452.21 c | 472097 | 11523 68012 231815 | 194282 196376 61 | 6.848 % |
457.26/457.69 c | 475722 | 11523 68012 231815 | 194282 176998 59 | 6.856 % |
462.45/462.83 c | 479712 | 11523 68012 231815 | 194282 180988 58 | 6.856 % |
467.95/468.37 c | 484099 | 11523 68012 231815 | 181277 166945 57 | 6.864 % |
468.15/468.58 c | 484201 | 11523 68012 231815 | 181277 167047 57 | 6.864 % |
468.35/468.75 c | 484312 | 11523 68012 231815 | 181277 167158 57 | 6.864 % |
468.55/468.91 c | 484433 | 11523 68012 231815 | 181277 167279 57 | 6.864 % |
468.75/469.10 c | 484566 | 11522 68012 231815 | 181277 167412 57 | 6.864 % |
468.95/469.32 c | 484712 | 11522 68012 231815 | 181277 167558 57 | 6.864 % |
469.15/469.52 c | 484872 | 11522 68012 231815 | 181277 167718 57 | 6.864 % |
469.25/469.70 c | 485048 | 11522 68012 231815 | 181277 167894 57 | 6.864 % |
469.54/469.97 c | 485242 | 11522 68012 231815 | 181277 168088 57 | 6.864 % |
469.85/470.23 c | 485455 | 11522 68012 231815 | 181277 168301 57 | 6.864 % |
470.05/470.40 c | 485690 | 11522 68012 231815 | 181277 168536 57 | 6.864 % |
470.25/470.68 c | 485946 | 11522 68012 231815 | 181277 168792 57 | 6.864 % |
470.64/471.03 c | 486227 | 11522 68012 231815 | 181277 169073 57 | 6.864 % |
470.94/471.39 c | 486537 | 11522 68012 231815 | 181277 169383 57 | 6.864 % |
471.55/471.96 c | 486877 | 11522 68012 231815 | 181277 169723 57 | 6.864 % |
472.04/472.42 c | 487250 | 11522 68012 231815 | 181277 170096 57 | 6.864 % |
472.44/472.82 c | 487660 | 11522 68012 231815 | 181277 170505 57 | 6.872 % |
473.24/473.61 c | 488109 | 11521 68012 231815 | 181277 170954 57 | 6.872 % |
473.84/474.28 c | 488604 | 11521 68012 231815 | 181277 171449 57 | 6.872 % |
474.64/475.08 c | 489146 | 11521 68012 231815 | 181277 171991 58 | 6.872 % |
475.44/475.83 c | 489742 | 11521 68012 231815 | 181277 172587 58 | 6.872 % |
476.14/476.51 c | 490398 | 11520 68012 231815 | 2147483647 173243 58 | 6.872 % |
477.05/477.41 c | 491120 | 11520 68012 231815 | 2147483647 173965 58 | 6.872 % |
477.84/478.26 c | 491913 | 11520 68012 231815 | 2147483647 174758 58 | 6.872 % |
479.04/479.46 c | 492785 | 11520 68012 231815 | 2147483647 175630 58 | 6.872 % |
479.94/480.36 c | 493744 | 11520 68012 231815 | 2147483647 176589 58 | 6.872 % |
481.14/481.60 c | 494799 | 11519 67978 231704 | 2147483647 177641 58 | 6.872 % |
482.34/482.80 c | 495957 | 11519 67978 231704 | 2147483647 178799 58 | 6.872 % |
483.94/484.34 c | 497231 | 11518 67978 231704 | 2147483647 180072 58 | 6.880 % |
485.74/486.11 c | 498631 | 11518 67978 231704 | 2147483647 181471 58 | 6.888 % |
487.73/488.17 c | 500173 | 11518 67978 231704 | 2147483647 183012 59 | 6.896 % |
489.73/490.17 c | 501867 | 11518 67978 231704 | 2147483647 184706 59 | 6.896 % |
492.03/492.44 c | 503733 | 11518 67978 231704 | 2147483647 186572 59 | 6.896 % |
494.64/495.00 c | 505783 | 11518 67978 231704 | 2147483647 188622 59 | 6.896 % |
497.53/497.90 c | 508036 | 11518 67978 231704 | 2147483647 190874 59 | 6.904 % |
500.63/501.06 c | 510516 | 11515 67978 231704 | 192841 193354 60 | 6.904 % |
505.03/505.45 c | 513242 | 11514 67978 231704 | 192841 167719 58 | 6.913 % |
508.93/509.31 c | 516240 | 11514 67978 231704 | 192841 170717 58 | 6.913 % |
512.82/513.25 c | 519536 | 11514 67978 231704 | 192841 174013 59 | 6.912 % |
517.62/518.00 c | 523162 | 11513 67933 231567 | 174477 157550 57 | 6.921 % |
522.82/523.23 c | 527150 | 11513 67933 231567 | 174477 161538 58 | 6.921 % |
529.21/529.66 c | 531538 | 11513 67933 231567 | 2147483647 165926 58 | 6.921 % |
535.81/536.21 c | 536361 | 11513 67933 231567 | 2147483647 170749 58 | 6.921 % |
535.91/536.36 c | 536461 | 11513 67933 231567 | 2147483647 170849 58 | 6.921 % |
536.01/536.46 c | 536572 | 11513 67933 231567 | 2147483647 170960 58 | 6.921 % |
536.21/536.65 c | 536693 | 11513 67933 231567 | 2147483647 171081 58 | 6.921 % |
536.31/536.80 c | 536827 | 11513 67933 231567 | 2147483647 171215 58 | 6.921 % |
536.51/536.97 c | 536973 | 11513 67933 231567 | 2147483647 171361 58 | 6.921 % |
536.71/537.17 c | 537133 | 11513 67933 231567 | 2147483647 171521 58 | 6.921 % |
536.91/537.34 c | 537309 | 11513 67933 231567 | 2147483647 171697 58 | 6.921 % |
537.21/537.65 c | 537504 | 11513 67933 231567 | 2147483647 171892 58 | 6.921 % |
537.61/538.00 c | 537716 | 11513 67933 231567 | 2147483647 172103 58 | 6.929 % |
537.91/538.37 c | 537950 | 11513 67933 231567 | 2147483647 172337 58 | 6.929 % |
538.31/538.74 c | 538206 | 11513 67933 231567 | 2147483647 172593 58 | 6.929 % |
538.71/539.16 c | 538488 | 11513 67933 231567 | 2147483647 172875 58 | 6.929 % |
539.41/539.81 c | 538798 | 11513 67933 231567 | 2147483647 173185 58 | 6.929 % |
539.81/540.22 c | 539138 | 11513 67933 231567 | 2147483647 173525 58 | 6.929 % |
540.41/540.84 c | 539511 | 11513 67933 231567 | 2147483647 173898 58 | 6.929 % |
541.21/541.63 c | 539922 | 11513 67933 231567 | 2147483647 174309 58 | 6.929 % |
541.81/542.25 c | 540372 | 11513 67933 231567 | 2147483647 174759 58 | 6.929 % |
542.41/542.82 c | 540866 | 11513 67933 231567 | 2147483647 175253 58 | 6.929 % |
543.01/543.42 c | 541408 | 11513 67933 231567 | 2147483647 175795 58 | 6.929 % |
543.91/544.34 c | 542005 | 11513 67933 231567 | 2147483647 176392 58 | 6.929 % |
544.61/545.05 c | 542660 | 11512 67933 231567 | 2147483647 177047 58 | 6.929 % |
545.61/546.00 c | 543380 | 11512 67933 231567 | 2147483647 177767 58 | 6.929 % |
547.10/547.50 c | 544172 | 11512 67924 231537 | 2147483647 178558 58 | 6.929 % |
548.20/548.63 c | 545044 | 11512 67924 231537 | 2147483647 179430 58 | 6.929 % |
549.61/550.06 c | 546002 | 11511 67924 231537 | 2147483647 180387 59 | 6.937 % |
551.10/551.51 c | 547055 | 11511 67924 231537 | 2147483647 181439 59 | 6.945 % |
552.70/553.17 c | 548214 | 11511 67924 231537 | 2147483647 182598 59 | 6.945 % |
554.60/555.01 c | 549487 | 11511 67924 231537 | 2147483647 183871 59 | 6.945 % |
556.50/556.92 c | 550887 | 11511 67924 231537 | 2147483647 185271 59 | 6.945 % |
557.99/558.50 c | 552427 | 11511 67924 231537 | 2147483647 186811 59 | 6.945 % |
560.19/560.67 c | 554121 | 11511 67924 231537 | 2147483647 188505 59 | 6.945 % |
562.99/563.43 c | 555986 | 11511 67924 231537 | 2147483647 190370 59 | 6.945 % |
565.69/566.12 c | 558035 | 11511 67924 231537 | 2147483647 192419 59 | 6.945 % |
568.89/569.34 c | 560289 | 11511 67924 231537 | 194385 194673 59 | 6.945 % |
573.09/573.58 c | 562767 | 11511 67924 231537 | 194385 173426 57 | 6.953 % |
576.89/577.32 c | 565494 | 11511 67924 231537 | 194385 176153 57 | 6.953 % |
580.98/581.48 c | 568491 | 11511 67924 231537 | 194385 179150 57 | 6.953 % |
586.58/587.07 c | 571789 | 11507 67886 231407 | 2147483647 182440 57 | 6.977 % |
590.58/591.06 c | 575414 | 11506 67886 231407 | 2147483647 186065 57 | 6.977 % |
595.98/596.43 c | 579402 | 11506 67886 231407 | 2147483647 190053 58 | 6.977 % |
603.57/604.05 c | 583789 | 11505 67886 231407 | 190651 171941 56 | 6.993 % |
610.77/611.20 c | 588612 | 11505 67886 231407 | 190651 176763 56 | 7.001 % |
617.37/617.85 c | 593919 | 11505 67886 231407 | 178151 182070 56 | 7.001 % |
618.57/619.08 c | 594019 | 11503 67842 231272 | 178151 157885 55 | 7.001 % |
618.87/619.31 c | 594129 | 11503 67842 231272 | 178151 157995 55 | 7.001 % |
618.97/619.42 c | 594250 | 11503 67842 231272 | 178151 158116 55 | 7.001 % |
619.07/619.54 c | 594383 | 11502 67842 231272 | 178151 158248 55 | 7.009 % |
619.37/619.80 c | 594530 | 11502 67842 231272 | 178151 158394 55 | 7.018 % |
619.67/620.12 c | 594692 | 11502 67842 231272 | 178151 158556 55 | 7.018 % |
619.87/620.39 c | 594869 | 11502 67842 231272 | 178151 158733 55 | 7.018 % |
620.17/620.60 c | 595062 | 11502 67842 231272 | 178151 158926 55 | 7.018 % |
620.47/620.91 c | 595274 | 11501 67842 231272 | 178151 159138 55 | 7.018 % |
620.67/621.19 c | 595507 | 11501 67842 231272 | 178151 159371 55 | 7.018 % |
621.17/621.68 c | 595763 | 11501 67842 231272 | 178151 159627 55 | 7.018 % |
621.57/622.04 c | 596044 | 11501 67842 231272 | 178151 159908 55 | 7.018 % |
622.07/622.59 c | 596353 | 11501 67842 231272 | 178151 160217 55 | 7.018 % |
622.87/623.32 c | 596692 | 11501 67842 231272 | 178151 160556 55 | 7.018 % |
623.37/623.88 c | 597064 | 11501 67842 231272 | 178151 160928 55 | 7.018 % |
623.67/624.14 c | 597473 | 11501 67842 231272 | 178151 161337 55 | 7.018 % |
624.37/624.82 c | 597924 | 11500 67842 231272 | 178151 161787 55 | 7.026 % |
624.77/625.28 c | 598417 | 11500 67842 231272 | 178151 162280 55 | 7.026 % |
625.57/626.00 c | 598959 | 11500 67842 231272 | 178151 162821 55 | 7.034 % |
626.57/627.00 c | 599555 | 11500 67842 231272 | 178151 163417 55 | 7.034 % |
627.47/627.93 c | 600210 | 11499 67842 231272 | 2147483647 164072 55 | 7.034 % |
628.46/628.98 c | 600932 | 11499 67842 231272 | 2147483647 164794 55 | 7.034 % |
629.66/630.13 c | 601725 | 11499 67842 231272 | 2147483647 165587 55 | 7.034 % |
630.87/631.36 c | 602596 | 11499 67842 231272 | 2147483647 166458 55 | 7.034 % |
631.97/632.43 c | 603555 | 11499 67842 231272 | 2147483647 167417 55 | 7.034 % |
633.46/633.90 c | 604608 | 11499 67842 231272 | 2147483647 168470 55 | 7.034 % |
634.96/635.44 c | 605766 | 11499 67842 231272 | 2147483647 169628 55 | 7.034 % |
636.86/637.33 c | 607039 | 11499 67842 231272 | 2147483647 170901 55 | 7.034 % |
638.76/639.26 c | 608440 | 11499 67842 231272 | 2147483647 172302 55 | 7.034 % |
640.96/641.44 c | 609984 | 11499 67842 231272 | 2147483647 173846 55 | 7.034 % |
643.36/643.82 c | 611678 | 11499 67842 231272 | 2147483647 175539 55 | 7.042 % |
645.55/646.00 c | 613542 | 11498 67842 231272 | 2147483647 177403 56 | 7.042 % |
648.25/648.71 c | 615591 | 11498 67842 231272 | 2147483647 179452 56 | 7.042 % |
651.55/652.03 c | 617844 | 11498 67842 231272 | 2147483647 181705 56 | 7.042 % |
655.25/655.78 c | 620322 | 11498 67810 231176 | 183849 184169 56 | 7.042 % |
659.95/660.45 c | 623047 | 11498 67810 231176 | 183849 163734 54 | 7.042 % |
663.95/664.41 c | 626045 | 11498 67810 231176 | 183849 166731 54 | 7.050 % |
669.14/669.63 c | 629341 | 11498 67810 231176 | 183849 170027 54 | 7.050 % |
674.54/675.02 c | 632966 | 11497 67810 231176 | 2147483647 173651 54 | 7.058 % |
680.04/680.51 c | 636954 | 11495 67810 231176 | 2147483647 177637 54 | 7.074 % |
685.64/686.17 c | 641340 | 11495 67810 231176 | 2147483647 182022 55 | 7.082 % |
691.43/691.99 c | 646163 | 11493 67773 231059 | 2147483647 186845 55 | 7.082 % |
697.33/697.89 c | 651468 | 11493 67773 231059 | 2147483647 192150 55 | 7.082 % |
703.02/703.57 c | 657304 | 11488 67773 231059 | 2147483647 197982 55 | 7.123 % |
703.12/703.66 c | 657405 | 11488 67773 231059 | 2147483647 198083 55 | 7.123 % |
703.22/703.77 c | 657515 | 11488 67773 231059 | 2147483647 198193 55 | 7.123 % |
703.53/704.00 c | 657637 | 11486 67773 231059 | 2147483647 198313 55 | 7.139 % |
703.53/704.07 c | 657772 | 11486 67773 231059 | 2147483647 198448 55 | 7.139 % |
703.62/704.18 c | 657922 | 11486 67773 231059 | 2147483647 198598 55 | 7.139 % |
703.92/704.42 c | 658083 | 11486 67773 231059 | 2147483647 198759 55 | 7.139 % |
704.22/704.71 c | 658260 | 11486 67773 231059 | 2147483647 198936 55 | 7.139 % |
704.42/704.98 c | 658454 | 11486 67773 231059 | 2147483647 199130 55 | 7.139 % |
704.63/705.11 c | 658666 | 11486 67773 231059 | 2147483647 199342 55 | 7.139 % |
704.82/705.34 c | 658899 | 11486 67773 231059 | 2147483647 199575 54 | 7.139 % |
705.02/705.59 c | 659156 | 11486 67773 231059 | 2147483647 199832 54 | 7.139 % |
705.32/705.89 c | 659438 | 11486 67773 231059 | 2147483647 200114 54 | 7.139 % |
705.62/706.13 c | 659748 | 11486 67773 231059 | 2147483647 200424 54 | 7.139 % |
705.82/706.32 c | 660089 | 11486 67773 231059 | 2147483647 200765 54 | 7.139 % |
706.32/706.87 c | 660465 | 11486 67773 231059 | 2147483647 201141 55 | 7.139 % |
707.02/707.59 c | 660874 | 11486 67773 231059 | 2147483647 201550 55 | 7.139 % |
707.62/708.18 c | 661323 | 11486 67773 231059 | 2147483647 201999 55 | 7.139 % |
708.22/708.78 c | 661817 | 11486 67773 231059 | 2147483647 202493 55 | 7.139 % |
708.72/709.29 c | 662359 | 11486 67773 231059 | 2147483647 203035 55 | 7.139 % |
709.72/710.24 c | 662956 | 11486 67773 231059 | 2147483647 203632 55 | 7.139 % |
710.62/711.16 c | 663612 | 11486 67773 231059 | 2147483647 204288 55 | 7.139 % |
711.52/712.03 c | 664332 | 11486 67773 231059 | 2147483647 205008 55 | 7.139 % |
712.62/713.13 c | 665124 | 11486 67694 230806 | 2147483647 205791 55 | 7.139 % |
713.82/714.33 c | 665995 | 11486 67694 230806 | 2147483647 206662 55 | 7.139 % |
715.12/715.65 c | 666953 | 11485 67694 230806 | 2147483647 207619 55 | 7.147 % |
716.51/717.02 c | 668007 | 11485 67694 230806 | 2147483647 208673 55 | 7.147 % |
718.11/718.70 c | 669165 | 11485 67694 230806 | 2147483647 209830 55 | 7.163 % |
720.02/720.58 c | 670440 | 11485 67694 230806 | 2147483647 211105 55 | 7.163 % |
722.01/722.59 c | 671840 | 11485 67694 230806 | 2147483647 212505 55 | 7.163 % |
724.32/724.87 c | 673380 | 11485 67694 230806 | 2147483647 214044 55 | 7.171 % |
726.61/727.18 c | 675074 | 11485 67694 230806 | 2147483647 215738 55 | 7.171 % |
729.11/729.60 c | 676937 | 11485 67694 230806 | 2147483647 217601 55 | 7.171 % |
731.91/732.45 c | 678986 | 11484 67694 230806 | 2147483647 219649 55 | 7.179 % |
735.10/735.69 c | 681239 | 11484 67694 230806 | 220664 221902 55 | 7.179 % |
739.90/740.49 c | 683718 | 11484 67694 230806 | 220664 199326 53 | 7.179 % |
744.79/745.33 c | 686443 | 11484 67694 230806 | 220664 202051 52 | 7.179 % |
749.29/749.83 c | 689442 | 11484 67694 230806 | 220664 205050 52 | 7.179 % |
754.29/754.89 c | 692738 | 11481 67650 230669 | 2147483647 208340 53 | 7.187 % |
760.29/760.83 c | 696363 | 11481 67650 230669 | 2147483647 211965 53 | 7.187 % |
767.88/768.45 c | 700350 | 11481 67650 230669 | 215602 215952 52 | 7.187 % |
775.08/775.64 c | 704736 | 11481 67650 230669 | 215602 192676 51 | 7.196 % |
782.38/783.00 c | 709559 | 11481 67650 230669 | 215602 197499 51 | 7.196 % |
791.77/792.34 c | 714867 | 11478 67621 230573 | 197942 177162 49 | 7.204 % |
798.77/799.40 c | 720704 | 11478 67621 230573 | 2147483647 182998 50 | 7.212 % |
810.17/810.75 c | 727122 | 11478 67621 230573 | 2147483647 189415 49 | 7.220 % |
810.36/810.93 c | 727222 | 11478 67621 230573 | 2147483647 189515 49 | 7.220 % |
810.56/811.18 c | 727332 | 11478 67621 230573 | 2147483647 189625 49 | 7.220 % |
810.86/811.49 c | 727453 | 11478 67621 230573 | 2147483647 189746 49 | 7.220 % |
811.27/811.83 c | 727586 | 11478 67621 230573 | 2147483647 189879 49 | 7.220 % |
811.46/812.03 c | 727733 | 11478 67621 230573 | 2147483647 190026 49 | 7.220 % |
811.76/812.33 c | 727895 | 11478 67621 230573 | 2147483647 190188 49 | 7.220 % |
812.06/812.60 c | 728071 | 11478 67621 230573 | 2147483647 190364 49 | 7.220 % |
812.27/812.87 c | 728267 | 11478 67621 230573 | 2147483647 190560 49 | 7.220 % |
812.56/813.15 c | 728479 | 11478 67621 230573 | 2147483647 190772 49 | 7.220 % |
812.96/813.52 c | 728713 | 11478 67621 230573 | 2147483647 191006 50 | 7.220 % |
813.37/813.90 c | 728970 | 11478 67621 230573 | 2147483647 191263 50 | 7.220 % |
813.86/814.44 c | 729252 | 11478 67621 230573 | 2147483647 191545 49 | 7.220 % |
814.47/815.03 c | 729561 | 11478 67621 230573 | 2147483647 191854 49 | 7.220 % |
814.96/815.54 c | 729900 | 11478 67621 230573 | 2147483647 192193 49 | 7.220 % |
815.46/816.01 c | 730272 | 11478 67621 230573 | 2147483647 192565 49 | 7.220 % |
815.96/816.55 c | 730682 | 11478 67621 230573 | 2147483647 192975 49 | 7.220 % |
816.56/817.11 c | 731132 | 11478 67621 230573 | 2147483647 193425 49 | 7.220 % |
817.06/817.69 c | 731626 | 11478 67621 230573 | 2147483647 193919 50 | 7.220 % |
817.76/818.32 c | 732169 | 11478 67621 230573 | 2147483647 194462 50 | 7.220 % |
818.46/819.03 c | 732765 | 11478 67621 230573 | 2147483647 195058 50 | 7.220 % |
819.56/820.19 c | 733420 | 11476 67604 230516 | 2147483647 195710 49 | 7.220 % |
820.76/821.30 c | 734140 | 11476 67604 230516 | 2147483647 196430 50 | 7.220 % |
821.56/822.15 c | 734933 | 11476 67604 230516 | 2147483647 197223 49 | 7.220 % |
822.66/823.22 c | 735805 | 11476 67604 230516 | 2147483647 198094 50 | 7.228 % |
823.86/824.40 c | 736764 | 11476 67604 230516 | 2147483647 199053 50 | 7.228 % |
825.25/825.83 c | 737817 | 11476 67604 230516 | 2147483647 200106 50 | 7.228 % |
826.66/827.20 c | 738976 | 11476 67604 230516 | 2147483647 201265 50 | 7.228 % |
828.25/828.84 c | 740249 | 11476 67604 230516 | 2147483647 202538 50 | 7.228 % |
830.25/830.84 c | 741650 | 11475 67604 230516 | 2147483647 203937 50 | 7.244 % |
832.85/833.40 c | 743190 | 11475 67604 230516 | 2147483647 205477 50 | 7.244 % |
835.05/835.60 c | 744885 | 11475 67604 230516 | 2147483647 207172 50 | 7.244 % |
837.55/838.14 c | 746748 | 11475 67604 230516 | 2147483647 209035 50 | 7.244 % |
840.25/840.82 c | 748797 | 11475 67604 230516 | 2147483647 211083 50 | 7.252 % |
843.05/843.64 c | 751051 | 11475 67604 230516 | 212287 213337 50 | 7.252 % |
847.84/848.41 c | 753531 | 11475 67604 230516 | 212287 192415 49 | 7.252 % |
851.95/852.57 c | 756256 | 11475 67604 230516 | 212287 195140 49 | 7.253 % |
856.34/856.94 c | 759255 | 11472 67574 230422 | 212287 198139 49 | 7.253 % |
860.74/861.31 c | 762551 | 11472 67574 230422 | 2147483647 201435 49 | 7.253 % |
865.43/866.01 c | 766178 | 11411 67574 230422 | 2147483647 205061 49 | 7.842 % |
869.03/869.66 c | 770165 | 11400 67574 230422 | 2147483647 209045 49 | 7.866 % |
872.22/872.87 c | 774551 | 11400 67574 230422 | 2147483647 213431 49 | 7.866 % |
877.02/877.62 c | 779375 | 11400 67574 230422 | 2147483647 218255 50 | 7.867 % |
892.31/892.93 c | 784682 | 11395 66182 225540 | 2147483647 64990 44 | 7.875 % |
895.82/896.40 c | 790517 | 11376 66182 225540 | 2147483647 70813 46 | 8.028 % |
899.91/900.51 c | 796936 | 11376 66182 225540 | 2147483647 77232 51 | 8.028 % |
904.11/904.76 c | 803996 | 11368 66058 225143 | 2147483647 84184 53 | 8.101 % |
904.21/904.87 c | 804096 | 11368 66058 225143 | 2147483647 84284 53 | 8.101 % |
904.31/904.93 c | 804206 | 11368 66058 225143 | 2147483647 84394 53 | 8.101 % |
904.41/905.06 c | 804327 | 11368 66058 225143 | 2147483647 84515 53 | 8.101 % |
904.51/905.14 c | 804460 | 11368 66058 225143 | 2147483647 84648 53 | 8.101 % |
904.61/905.26 c | 804606 | 11368 66058 225143 | 2147483647 84794 53 | 8.101 % |
904.71/905.39 c | 804766 | 11368 66058 225143 | 2147483647 84954 53 | 8.101 % |
904.91/905.52 c | 804943 | 11368 66058 225143 | 2147483647 85131 53 | 8.101 % |
905.01/905.67 c | 805136 | 11368 66058 225143 | 2147483647 85324 53 | 8.101 % |
905.11/905.77 c | 805348 | 11368 66058 225143 | 2147483647 85536 53 | 8.101 % |
905.31/905.95 c | 805583 | 11366 66058 225143 | 2147483647 85769 53 | 8.118 % |
905.51/906.14 c | 805841 | 11366 66058 225143 | 2147483647 86027 53 | 8.117 % |
905.71/906.38 c | 806123 | 11366 66058 225143 | 2147483647 86309 53 | 8.117 % |
905.91/906.53 c | 806435 | 11364 66058 225143 | 2147483647 86620 53 | 8.174 % |
906.21/906.83 c | 806775 | 11364 66058 225143 | 2147483647 86960 54 | 8.174 % |
906.51/907.17 c | 807148 | 11364 66058 225143 | 2147483647 87333 54 | 8.174 % |
906.81/907.48 c | 807558 | 11358 65908 224650 | 2147483647 87690 54 | 8.174 % |
907.11/907.76 c | 808008 | 11353 65908 224650 | 2147483647 88137 54 | 8.214 % |
907.52/908.15 c | 808505 | 11353 65908 224650 | 2147483647 88634 54 | 8.214 % |
907.82/908.47 c | 809048 | 11353 65908 224650 | 2147483647 89177 54 | 8.214 % |
908.32/908.99 c | 809646 | 11352 65908 224650 | 2147483647 89774 55 | 8.222 % |
908.72/909.32 c | 810304 | 11351 65908 224650 | 2147483647 90431 54 | 8.231 % |
909.12/909.74 c | 811025 | 11350 65908 224650 | 2147483647 91151 55 | 8.239 % |
909.82/910.46 c | 811818 | 11347 65908 224650 | 2147483647 91940 55 | 8.271 % |
910.42/911.08 c | 812689 | 11346 65908 224650 | 2147483647 92810 55 | 8.279 % |
910.82/911.49 c | 813647 | 11345 65908 224650 | 2147483647 93768 56 | 8.279 % |
911.72/912.36 c | 814700 | 11345 65908 224650 | 2147483647 94821 56 | 8.279 % |
912.71/913.33 c | 815858 | 11341 65908 224650 | 2147483647 95975 56 | 8.312 % |
913.71/914.37 c | 817133 | 11341 65908 224650 | 2147483647 97249 56 | 8.320 % |
914.71/915.39 c | 818533 | 11335 65908 224650 | 2147483647 98645 56 | 8.416 % |
915.91/916.57 c | 820073 | 11328 65701 223982 | 2147483647 99850 56 | 8.416 % |
917.21/917.80 c | 821768 | 11325 65701 223982 | 2147483647 101542 55 | 8.441 % |
918.51/919.18 c | 823631 | 11325 65701 223982 | 2147483647 103405 56 | 8.440 % |
920.11/920.75 c | 825682 | 11325 65701 223982 | 2147483647 105456 56 | 8.441 % |
921.81/922.49 c | 827936 | 11318 65701 223982 | 2147483647 107707 56 | 8.505 % |
923.90/924.56 c | 830414 | 11317 65701 223982 | 2147483647 110184 56 | 8.513 % |
926.20/926.80 c | 833139 | 11316 65701 223982 | 2147483647 112908 57 | 8.521 % |
928.70/929.35 c | 836136 | 11301 65545 223473 | 2147483647 115841 58 | 8.659 % |
931.20/931.80 c | 839433 | 11295 65545 223473 | 2147483647 119134 58 | 8.691 % |
933.80/934.40 c | 843059 | 11293 65545 223473 | 2147483647 122758 59 | 8.707 % |
937.00/937.64 c | 847048 | 11292 65545 223473 | 2147483647 126746 60 | 8.715 % |
940.50/941.12 c | 851435 | 11289 65545 223473 | 2147483647 131129 62 | 8.748 % |
944.99/945.69 c | 856259 | 11284 65362 222898 | 2147483647 135742 62 | 8.773 % |
949.80/950.41 c | 861564 | 11284 65362 222898 | 2147483647 141046 64 | 8.780 % |
954.79/955.48 c | 867400 | 11283 65362 222898 | 2147483647 146881 65 | 8.788 % |
960.58/961.20 c | 873818 | 11271 65362 222898 | 2147483647 153292 65 | 8.942 % |
968.58/969.30 c | 880879 | 11271 65362 222898 | 2147483647 160352 65 | 8.958 % |
977.07/977.72 c | 888643 | 11261 65188 222335 | 2147483647 167973 64 | 8.958 % |
977.18/977.87 c | 888743 | 11261 65188 222335 | 2147483647 168073 64 | 8.958 % |
977.37/978.07 c | 888853 | 11261 65188 222335 | 2147483647 168183 64 | 8.958 % |
977.57/978.25 c | 888974 | 11261 65188 222335 | 2147483647 168304 64 | 8.958 % |
977.77/978.44 c | 889108 | 11261 65188 222335 | 2147483647 168438 64 | 8.958 % |
977.97/978.65 c | 889257 | 11261 65188 222335 | 2147483647 168587 64 | 8.958 % |
978.17/978.89 c | 889419 | 11259 65188 222335 | 2147483647 168748 64 | 8.974 % |
978.47/979.16 c | 889596 | 11259 65188 222335 | 2147483647 168925 64 | 8.974 % |
978.77/979.42 c | 889790 | 11259 65188 222335 | 2147483647 169119 64 | 8.974 % |
978.97/979.65 c | 890002 | 11259 65188 222335 | 2147483647 169331 64 | 8.974 % |
979.27/979.93 c | 890236 | 11259 65188 222335 | 2147483647 169565 64 | 8.974 % |
979.67/980.34 c | 890492 | 11259 65188 222335 | 2147483647 169821 64 | 8.974 % |
979.97/980.67 c | 890774 | 11259 65188 222335 | 2147483647 170103 64 | 8.974 % |
980.48/981.12 c | 891083 | 11259 65188 222335 | 2147483647 170412 64 | 8.974 % |
980.77/981.46 c | 891423 | 11259 65188 222335 | 2147483647 170752 64 | 8.974 % |
981.27/981.96 c | 891796 | 11258 65188 222335 | 2147483647 171124 64 | 8.982 % |
981.87/982.51 c | 892205 | 11254 65188 222335 | 2147483647 171529 64 | 9.015 % |
982.57/983.22 c | 892655 | 11254 65188 222335 | 2147483647 171979 64 | 9.015 % |
983.07/983.77 c | 893150 | 11254 65188 222335 | 2147483647 172474 64 | 9.015 % |
983.67/984.40 c | 893692 | 11254 65188 222335 | 2147483647 173016 64 | 9.015 % |
984.27/984.92 c | 894288 | 11254 65188 222335 | 2147483647 173612 64 | 9.015 % |
984.87/985.54 c | 894945 | 11254 65188 222335 | 2147483647 174269 64 | 9.015 % |
985.57/986.28 c | 895665 | 11254 65188 222335 | 2147483647 174989 64 | 9.014 % |
986.67/987.37 c | 896459 | 11254 65188 222335 | 2147483647 175783 64 | 9.014 % |
987.77/988.43 c | 897332 | 11254 65188 222335 | 2147483647 176655 64 | 9.031 % |
988.87/989.50 c | 898290 | 11254 65188 222335 | 2147483647 177613 64 | 9.031 % |
989.77/990.42 c | 899344 | 11254 65188 222335 | 2147483647 178667 64 | 9.031 % |
990.97/991.65 c | 900502 | 11254 65188 222335 | 2147483647 179825 64 | 9.031 % |
991.87/992.58 c | 901776 | 11254 65188 222335 | 2147483647 181099 64 | 9.031 % |
993.27/993.92 c | 903177 | 11254 65188 222335 | 2147483647 182500 65 | 9.031 % |
994.07/994.78 c | 904720 | 11254 65188 222335 | 2147483647 184043 64 | 9.031 % |
995.66/996.40 c | 906416 | 11254 65188 222335 | 2147483647 185738 65 | 9.039 % |
997.46/998.15 c | 908279 | 11254 65188 222335 | 2147483647 187601 65 | 9.039 % |
999.36/1000.06 c | 910329 | 11254 65188 222335 | 2147483647 189651 65 | 9.039 % |
1001.76/1002.43 c | 912583 | 11250 65134 222169 | 2147483647 191506 65 | 9.047 % |
1004.85/1005.60 c | 915061 | 11250 65134 222169 | 2147483647 193983 65 | 9.055 % |
1008.55/1009.20 c | 917786 | 11250 65134 222169 | 2147483647 196708 66 | 9.055 % |
1012.35/1013.02 c | 920784 | 11249 65134 222169 | 198919 199703 66 | 9.079 % |
1016.45/1017.10 c | 924080 | 11246 65134 222169 | 198919 178897 64 | 9.088 % |
1020.05/1020.76 c | 927705 | 11245 65134 222169 | 198919 182522 64 | 9.087 % |
1023.85/1024.54 c | 931692 | 11245 65134 222169 | 184817 186509 64 | 9.087 % |
1028.55/1029.28 c | 936078 | 11245 65134 222169 | 184817 172245 63 | 9.087 % |
1033.64/1034.34 c | 940901 | 11245 65134 222169 | 2147483647 177068 63 | 9.087 % |
1039.74/1040.43 c | 946207 | 11245 65134 222169 | 2147483647 182374 63 | 9.087 % |
1047.14/1047.82 c | 952042 | 11245 65086 222020 | 2147483647 188206 64 | 9.087 % |
1054.92/1055.67 c | 958461 | 11245 65086 222020 | 2147483647 194624 65 | 9.095 % |
1062.82/1063.54 c | 965521 | 11243 65086 222020 | 196162 175164 60 | 9.104 % |
1070.92/1071.62 c | 973286 | 11242 65086 222020 | 179643 164666 60 | 9.112 % |
1080.11/1080.81 c | 981827 | 11242 65086 222020 | 2147483647 173206 61 | 9.120 % |
1080.31/1081.04 c | 981927 | 11241 65056 221924 | 2147483647 173306 61 | 9.120 % |
1080.52/1081.20 c | 982038 | 11241 65056 221924 | 2147483647 173417 61 | 9.120 % |
1080.62/1081.35 c | 982162 | 11240 65056 221924 | 2147483647 173540 61 | 9.128 % |
1080.81/1081.53 c | 982295 | 11240 65056 221924 | 2147483647 173673 61 | 9.128 % |
1081.01/1081.73 c | 982442 | 11240 65056 221924 | 2147483647 173820 61 | 9.128 % |
1081.21/1081.96 c | 982602 | 11240 65056 221924 | 2147483647 173980 61 | 9.128 % |
1081.41/1082.13 c | 982778 | 11240 65056 221924 | 2147483647 174156 61 | 9.128 % |
1081.62/1082.32 c | 982971 | 11240 65056 221924 | 2147483647 174349 61 | 9.128 % |
1081.72/1082.47 c | 983183 | 11240 65056 221924 | 2147483647 174561 61 | 9.128 % |
1082.01/1082.72 c | 983416 | 11240 65056 221924 | 2147483647 174794 61 | 9.128 % |
1082.31/1083.07 c | 983673 | 11240 65056 221924 | 2147483647 175051 61 | 9.128 % |
1082.71/1083.46 c | 983954 | 11240 65056 221924 | 2147483647 175332 61 | 9.128 % |
1083.11/1083.86 c | 984263 | 11238 65056 221924 | 2147483647 175640 61 | 9.144 % |
1083.51/1084.29 c | 984603 | 11238 65056 221924 | 2147483647 175980 61 | 9.144 % |
1083.92/1084.68 c | 984975 | 11238 65056 221924 | 2147483647 176352 61 | 9.144 % |
1084.61/1085.30 c | 985385 | 11238 65056 221924 | 2147483647 176762 61 | 9.144 % |
1085.11/1085.82 c | 985834 | 11238 65056 221924 | 2147483647 177211 61 | 9.144 % |
1085.71/1086.41 c | 986328 | 11238 65056 221924 | 2147483647 177704 61 | 9.152 % |
1086.21/1086.98 c | 986870 | 11238 65056 221924 | 2147483647 178246 61 | 9.152 % |
1086.91/1087.68 c | 987466 | 11237 65056 221924 | 2147483647 178842 61 | 9.152 % |
1087.51/1088.22 c | 988121 | 11237 65056 221924 | 2147483647 179497 61 | 9.152 % |
1088.31/1089.06 c | 988842 | 11237 65056 221924 | 2147483647 180218 62 | 9.152 % |
1089.11/1089.85 c | 989634 | 11237 65056 221924 | 2147483647 181010 62 | 9.152 % |
1090.11/1090.84 c | 990507 | 11236 65056 221924 | 2147483647 181882 62 | 9.160 % |
1091.21/1091.94 c | 991465 | 11236 65056 221924 | 2147483647 182840 62 | 9.160 % |
1092.61/1093.34 c | 992519 | 11236 65056 221924 | 2147483647 183893 62 | 9.168 % |
1093.81/1094.59 c | 993679 | 11236 65056 221924 | 2147483647 185053 62 | 9.168 % |
1095.00/1095.75 c | 994952 | 11236 65056 221924 | 2147483647 186326 62 | 9.168 % |
1096.50/1097.28 c | 996352 | 11236 65056 221924 | 2147483647 187726 62 | 9.168 % |
1098.00/1098.76 c | 997894 | 11236 65056 221924 | 2147483647 189268 62 | 9.168 % |
1100.00/1100.73 c | 999588 | 11235 65056 221924 | 2147483647 190961 62 | 9.176 % |
1102.50/1103.23 c | 1001451 | 11233 65056 221924 | 191374 192823 63 | 9.185 % |
1105.69/1106.45 c | 1003500 | 11233 65056 221924 | 191374 167351 62 | 9.184 % |
1107.89/1108.60 c | 1005753 | 11233 65056 221924 | 191374 169604 62 | 9.184 % |
1110.49/1111.20 c | 1008231 | 11233 65056 221924 | 191374 172082 63 | 9.184 % |
1113.19/1113.92 c | 1010957 | 11233 65056 221924 | 2147483647 174808 63 | 9.184 % |
1117.39/1118.14 c | 1013954 | 11233 65018 221809 | 2147483647 177700 63 | 9.192 % |
1120.39/1121.18 c | 1017251 | 11232 65018 221809 | 2147483647 180997 63 | 9.192 % |
1124.49/1125.21 c | 1020876 | 11232 65018 221809 | 2147483647 184622 64 | 9.192 % |
1128.08/1128.88 c | 1024863 | 11232 65018 221809 | 2147483647 188609 64 | 9.192 % |
1133.88/1134.67 c | 1029249 | 11231 65018 221809 | 2147483647 192994 63 | 9.200 % |
1139.37/1140.15 c | 1034072 | 11231 65018 221809 | 2147483647 197817 63 | 9.200 % |
1146.87/1147.63 c | 1039379 | 11231 65018 221809 | 2147483647 203124 63 | 9.201 % |
1155.06/1155.82 c | 1045216 | 11229 64997 221746 | 203747 180307 61 | 9.217 % |
1162.56/1163.39 c | 1051634 | 11229 64997 221746 | 2147483647 186724 61 | 9.225 % |
1171.56/1172.36 c | 1058693 | 11228 64997 221746 | 2147483647 193783 62 | 9.225 % |
1181.85/1182.65 c | 1066457 | 11226 64997 221746 | 195091 177561 60 | 9.249 % |
1192.25/1193.00 c | 1075000 | 11225 64997 221746 | 181105 163035 58 | 9.249 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834195-1242828610/watcher-1834195-1242828610 -o /tmp/evaluation-result-1834195-1242828610/solver-1834195-1242828610 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834195-1242828610.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28846
/proc/meminfo: memFree=1830880/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310895118 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 206381482066 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/28846/statm: 1339 235 195 169 0 50 0
[pid=28847] ppid=28846 vsize=5356 CPUtime=0
/proc/28847/stat : 28847 (SatELiteGTI) S 28846 28846 28394 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310895119 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/28847/statm: 1339 238 198 169 0 50 0
[pid=28849] ppid=28847 vsize=192 CPUtime=0
/proc/28849/stat : 28849 (sed) R 28847 28846 28394 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 310895119 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 206378693909 0 0 4096 0 0 0 0 17 0 0 0
/proc/28849/statm: 48 23 16 11 0 11 0
[startup+0.0941709 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28846
/proc/meminfo: memFree=1830880/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310895118 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28846/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101164 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28846
/proc/meminfo: memFree=1830880/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310895118 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28846/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301209 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28846
/proc/meminfo: memFree=1830880/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310895118 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28846/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701278 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28846
/proc/meminfo: memFree=1830880/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5356
[startup+1.50142 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1823376/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=6512 CPUtime=0.8
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 1476 0 0 0 80 0 0 0 25 0 1 0 310895187 6668288 1462 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 1628 1462 77 171 0 1455 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11868
[startup+3.10271 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1823056/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=6776 CPUtime=2.4
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 1546 0 0 0 240 0 0 0 25 0 1 0 310895187 6938624 1532 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 1694 1532 77 171 0 1521 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12132
[startup+6.3013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1822416/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=7452 CPUtime=5.59
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 1710 0 0 0 559 0 0 0 25 0 1 0 310895187 7630848 1696 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 1863 1696 77 171 0 1690 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 12808
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1820688/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=9200 CPUtime=11.98
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 2136 0 0 0 1197 1 0 0 25 0 1 0 310895187 9420800 2122 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 2300 2122 77 171 0 2127 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 14556
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1816400/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=13636 CPUtime=24.76
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 3244 0 0 0 2474 2 0 0 25 0 1 0 310895187 13963264 3230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 3409 3230 77 171 0 3236 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 18992
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1805840/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=24512 CPUtime=50.33
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 5941 0 0 0 5028 5 0 0 25 0 1 0 310895187 25100288 5927 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 6128 5927 77 171 0 5955 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 29868
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1785744/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=44104 CPUtime=101.5
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 10843 0 0 0 10138 12 0 0 25 0 1 0 310895187 45162496 10829 1992294400 134512640 135215339 4294956240 18446744073709551615 134528930 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 11026 10829 77 171 0 10853 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 49460
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1764624/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=65548 CPUtime=161.46
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 16125 0 0 0 16127 19 0 0 25 0 1 0 310895187 67121152 16111 1992294400 134512640 135215339 4294956240 18446744073709551615 134545553 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 16387 16111 77 171 0 16214 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 70904
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1759440/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=70656 CPUtime=221.42
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 17381 0 0 0 22122 20 0 0 25 0 1 0 310895187 72351744 17367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 17664 17367 77 171 0 17491 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 76012
[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1755280/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=74640 CPUtime=281.39
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 18394 0 0 0 28117 22 0 0 25 0 1 0 310895187 76431360 18380 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 18660 18380 77 171 0 18487 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 79996
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1754960/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=75004 CPUtime=341.35
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 18473 0 0 0 34113 22 0 0 25 0 1 0 310895187 76804096 18459 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 18751 18459 77 171 0 18578 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 80360
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1754832/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=75180 CPUtime=401.32
################
# More data... #
################
/proc/28852/statm: 18902 18591 77 171 0 18729 0
Current children cumulated CPU time (s) 521.92
Current children cumulated vsize (KiB) 80964
[startup+582.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1753936/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=75936 CPUtime=581.21
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 18675 0 0 0 58099 22 0 0 25 0 1 0 310895187 77758464 18661 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 18984 18661 77 171 0 18811 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 81292
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1753808/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=75936 CPUtime=641.19
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 18688 0 0 0 64096 23 0 0 25 0 1 0 310895187 77758464 18674 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 18984 18674 77 171 0 18811 0
Current children cumulated CPU time (s) 641.86
Current children cumulated vsize (KiB) 81292
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1753616/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=76136 CPUtime=701.15
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 18711 0 0 0 70092 23 0 0 25 0 1 0 310895187 77963264 18697 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 19034 18697 77 171 0 18861 0
Current children cumulated CPU time (s) 701.82
Current children cumulated vsize (KiB) 81492
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1753488/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=76216 CPUtime=761.12
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 18734 0 0 0 76089 23 0 0 25 0 1 0 310895187 78045184 18720 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 19054 18720 77 171 0 18881 0
Current children cumulated CPU time (s) 761.79
Current children cumulated vsize (KiB) 81572
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1753488/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=76216 CPUtime=821.09
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 18735 0 0 0 82086 23 0 0 25 0 1 0 310895187 78045184 18721 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 19054 18721 77 171 0 18881 0
Current children cumulated CPU time (s) 821.76
Current children cumulated vsize (KiB) 81572
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1753296/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=76540 CPUtime=881.05
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 18786 0 0 0 88082 23 0 0 25 0 1 0 310895187 78376960 18772 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 19135 18772 77 171 0 18962 0
Current children cumulated CPU time (s) 881.72
Current children cumulated vsize (KiB) 81896
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1753232/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=76540 CPUtime=941.02
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 18786 0 0 0 94078 24 0 0 25 0 1 0 310895187 78376960 18772 1992294400 134512640 135215339 4294956240 18446744073709551615 134532956 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 19135 18772 77 171 0 18962 0
Current children cumulated CPU time (s) 941.69
Current children cumulated vsize (KiB) 81896
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1753232/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=76540 CPUtime=1000.99
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 18787 0 0 0 100075 24 0 0 25 0 1 0 310895187 78376960 18773 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 19135 18773 77 171 0 18962 0
Current children cumulated CPU time (s) 1001.66
Current children cumulated vsize (KiB) 81896
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1753168/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=76540 CPUtime=1060.95
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 18807 0 0 0 106071 24 0 0 25 0 1 0 310895187 78376960 18793 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 19135 18793 77 171 0 18962 0
Current children cumulated CPU time (s) 1061.62
Current children cumulated vsize (KiB) 81896
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1753040/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=76540 CPUtime=1120.92
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 18808 0 0 0 112068 24 0 0 25 0 1 0 310895187 78376960 18794 1992294400 134512640 135215339 4294956240 18446744073709551615 134538463 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 19135 18794 77 171 0 18962 0
Current children cumulated CPU time (s) 1121.59
Current children cumulated vsize (KiB) 81896
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1752976/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=76716 CPUtime=1180.88
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 18824 0 0 0 118064 24 0 0 25 0 1 0 310895187 78557184 18810 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 19179 18810 77 171 0 19006 0
Current children cumulated CPU time (s) 1181.55
Current children cumulated vsize (KiB) 82072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28852
/proc/meminfo: memFree=1752976/2055920 swapFree=4180416/4192956
[pid=28846] ppid=28844 vsize=5356 CPUtime=0.67
/proc/28846/stat : 28846 (SatELiteGTI) S 28844 28846 28394 0 -1 4194304 336 2554 0 0 0 0 66 1 16 0 1 0 310895118 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28846/statm: 1339 239 197 169 0 50 0
[pid=28852] ppid=28846 vsize=76716 CPUtime=1199.38
/proc/28852/stat : 28852 (minisat_static) R 28846 28846 28394 0 -1 4194304 18824 0 0 0 119914 24 0 0 25 0 1 0 310895187 78557184 18810 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28852/statm: 19179 18810 77 171 0 19006 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 82072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28846 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=665898
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=21996
# CPU time returned by wait4() is 0.687894
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.05
CPU user time (s): 1199.8
CPU system time (s): 0.25
CPU usage (%): 99.9365
Max. virtual memory (cumulated for all children) (KiB): 82072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.665898
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2890
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= 14
involuntary context switches= 14
runsolver used 1.01585 second user time and 3.46747 second system time
The end
Begin job on node2 at 2009-05-20 16:10:10
IDJOB=1834195
IDBENCH=71699
IDSOLVER=671
FILE ID=node2/1834195-1242828610
PBS_JOBID= 9322534
Free space on /tmp= 66412 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/goldb-heqc-i10mul.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834195-1242828610/watcher-1834195-1242828610 -o /tmp/evaluation-result-1834195-1242828610/solver-1834195-1242828610 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834195-1242828610.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 80e15f28c8e2d72627ec75fe75757317
RANDOM SEED=1496864001
node2.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1831360 kB
Buffers: 49232 kB
Cached: 126908 kB
SwapCached: 6780 kB
Active: 58708 kB
Inactive: 126348 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1831360 kB
SwapTotal: 4192956 kB
SwapFree: 4180416 kB
Dirty: 3360 kB
Writeback: 0 kB
Mapped: 14052 kB
Slab: 25500 kB
Committed_AS: 1309524 kB
PageTables: 1480 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66408 MiB
End job on node2 at 2009-05-20 16:30:13