0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 16800 50400 | 5039 0 0 nan | 0.000 % |
0.00/0.05 c | 0 | 16693 50723 | -- 0 -- -- | -- | -107/323
0.00/0.05 c ==============================================================================
0.00/0.05 c Result : #vars: 3902 #clauses: 16693 #literals: 50723
0.00/0.05 c CPU time: 0.050992 s
0.00/0.05 c ==============================================================================
0.00/0.07 c This is MiniSat 2.0 beta
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c ============================[ Problem Statistics ]=============================
0.00/0.07 c | |
0.00/0.07 c | Number of variables: 3902 |
0.00/0.07 c | Number of clauses: 16693 |
0.06/0.08 c | Parsing time: 0.01 s |
0.06/0.09 c ============================[ Search Statistics ]==============================
0.06/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.06/0.09 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.06/0.09 c ===============================================================================
0.06/0.09 c | 0 | 3902 16693 50723 | 5564 0 nan | 0.000 % |
0.06/0.10 c | 101 | 3902 16693 50723 | 5564 101 71 | 0.000 % |
0.06/0.11 c | 201 | 3902 16693 50723 | 5564 201 74 | 0.000 % |
0.06/0.12 c | 301 | 3902 16693 50723 | 5564 301 75 | 0.000 % |
0.06/0.13 c | 412 | 3902 16693 50723 | 5564 412 77 | 0.000 % |
0.06/0.15 c | 512 | 3902 16693 50723 | 5564 512 78 | 0.000 % |
0.06/0.16 c | 622 | 3902 16693 50723 | 5564 622 81 | 0.000 % |
0.06/0.17 c | 743 | 3902 16693 50723 | 5564 743 82 | 0.000 % |
0.06/0.18 c | 843 | 3902 16693 50723 | 5564 843 80 | 0.000 % |
0.06/0.20 c | 956 | 3902 16693 50723 | 5564 956 81 | 0.000 % |
0.06/0.21 c | 1077 | 3902 16693 50723 | 5564 1077 82 | 0.000 % |
0.06/0.23 c | 1210 | 3902 16693 50723 | 5564 1210 82 | 0.000 % |
0.06/0.24 c | 1312 | 3902 16693 50723 | 5564 1312 82 | 0.000 % |
0.06/0.25 c | 1423 | 3902 16693 50723 | 5564 1423 83 | 0.000 % |
0.06/0.27 c | 1544 | 3902 16693 50723 | 5564 1544 83 | 0.000 % |
0.06/0.29 c | 1677 | 3902 16693 50723 | 5564 1677 84 | 0.000 % |
0.06/0.30 c | 1824 | 3902 16693 50723 | 5564 1824 84 | 0.000 % |
0.06/0.32 c | 1924 | 3902 16693 50723 | 5564 1924 85 | 0.000 % |
0.06/0.33 c | 2034 | 3902 16693 50723 | 5564 2034 85 | 0.000 % |
0.06/0.35 c | 2157 | 3902 16693 50723 | 5564 2157 86 | 0.000 % |
0.06/0.36 c | 2291 | 3902 16693 50723 | 5564 2291 87 | 0.000 % |
0.06/0.38 c | 2437 | 3902 16693 50723 | 5564 2437 88 | 0.000 % |
0.06/0.40 c | 2597 | 3902 16693 50723 | 5564 2597 88 | 0.000 % |
0.06/0.42 c | 2699 | 3902 16693 50723 | 5564 2699 88 | 0.000 % |
0.06/0.43 c | 2809 | 3902 16693 50723 | 5564 2809 88 | 0.000 % |
0.06/0.45 c | 2931 | 3902 16693 50723 | 5564 2931 89 | 0.000 % |
0.06/0.47 c | 3066 | 3902 16693 50723 | 5564 3066 89 | 0.000 % |
0.06/0.49 c | 3213 | 3902 16693 50723 | 5564 3213 89 | 0.000 % |
0.06/0.51 c | 3374 | 3902 16693 50723 | 5564 3374 90 | 0.000 % |
0.06/0.54 c | 3551 | 3902 16693 50723 | 5564 3551 90 | 0.000 % |
0.06/0.55 c | 3652 | 3902 16693 50723 | 5564 3652 90 | 0.000 % |
0.06/0.56 c | 3763 | 3902 16693 50723 | 5564 3763 89 | 0.000 % |
0.06/0.58 c | 3884 | 3902 16693 50723 | 5564 3884 89 | 0.000 % |
0.06/0.60 c | 4017 | 3902 16693 50723 | 5564 4017 90 | 0.000 % |
0.06/0.62 c | 4163 | 3902 16693 50723 | 5564 4163 90 | 0.000 % |
0.06/0.64 c | 4325 | 3902 16693 50723 | 5564 4325 90 | 0.000 % |
0.06/0.67 c | 4504 | 3902 16693 50723 | 5564 4504 90 | 0.000 % |
0.06/0.69 c | 4699 | 3902 16693 50723 | 5564 4699 91 | 0.000 % |
0.06/0.71 c | 4799 | 3902 16693 50723 | 5564 4799 91 | 0.000 % |
0.06/0.72 c | 4910 | 3902 16693 50723 | 5564 4910 91 | 0.000 % |
0.06/0.74 c | 5031 | 3902 16693 50723 | 5564 5031 91 | 0.000 % |
0.06/0.76 c | 5165 | 3902 16693 50723 | 5564 5165 91 | 0.000 % |
0.06/0.78 c | 5311 | 3902 16693 50723 | 5564 5311 91 | 0.000 % |
0.06/0.81 c | 5472 | 3902 16693 50723 | 5564 5472 91 | 0.000 % |
0.06/0.83 c | 5650 | 3902 16693 50723 | 5564 5650 91 | 0.000 % |
0.06/0.86 c | 5845 | 3902 16693 50723 | 5564 5280 92 | 0.000 % |
0.06/0.89 c | 6057 | 3902 16693 50723 | 5564 5492 93 | 0.000 % |
0.06/0.91 c | 6157 | 3902 16693 50723 | 5564 5592 93 | 0.000 % |
0.06/0.92 c | 6267 | 3902 16693 50723 | 5564 5143 93 | 0.000 % |
0.06/0.94 c | 6388 | 3902 16693 50723 | 5564 5264 93 | 0.000 % |
0.06/0.96 c | 6521 | 3902 16693 50723 | 5564 5397 93 | 0.000 % |
0.06/0.98 c | 6669 | 3902 16693 50723 | 5564 5545 93 | 0.000 % |
0.97/1.00 c | 6829 | 3902 16693 50723 | 5564 5705 93 | 0.000 % |
0.97/1.03 c | 7006 | 3902 16693 50723 | 5564 5312 93 | 0.000 % |
0.97/1.05 c | 7200 | 3902 16693 50723 | 5564 5506 93 | 0.000 % |
0.97/1.09 c | 7412 | 3902 16693 50723 | 5564 5718 93 | 0.000 % |
1.08/1.12 c | 7645 | 3902 16693 50723 | 5564 5380 92 | 0.000 % |
1.08/1.13 c | 7745 | 3902 16693 50723 | 5564 5480 92 | 0.000 % |
1.08/1.15 c | 7856 | 3902 16693 50723 | 5564 5591 92 | 0.000 % |
1.08/1.17 c | 7980 | 3902 16693 50723 | 5564 5156 92 | 0.000 % |
1.08/1.19 c | 8113 | 3902 16693 50723 | 5564 5289 92 | 0.000 % |
1.17/1.21 c | 8259 | 3902 16693 50723 | 5564 5435 92 | 0.000 % |
1.17/1.23 c | 8423 | 3902 16693 50723 | 5564 5599 92 | 0.000 % |
1.17/1.26 c | 8599 | 3902 16693 50723 | 5564 5216 91 | 0.000 % |
1.17/1.29 c | 8792 | 3902 16693 50723 | 5564 5409 91 | 0.000 % |
1.27/1.32 c | 9006 | 3902 16693 50723 | 5564 5623 92 | 0.000 % |
1.27/1.36 c | 9239 | 3902 16693 50723 | 5564 5294 93 | 0.000 % |
1.27/1.39 c | 9495 | 3902 16693 50723 | 5564 5550 92 | 0.000 % |
1.37/1.41 c | 9595 | 3902 16693 50723 | 5564 5650 93 | 0.000 % |
1.37/1.43 c | 9706 | 3902 16693 50723 | 5564 5196 92 | 0.000 % |
1.37/1.45 c | 9827 | 3902 16693 50723 | 5564 5317 92 | 0.000 % |
1.37/1.46 c | 9960 | 3902 16693 50723 | 5564 5450 92 | 0.000 % |
1.37/1.49 c | 10106 | 3902 16693 50723 | 2147483647 5596 92 | 0.000 % |
1.47/1.51 c | 10270 | 3902 16693 50723 | 2147483647 5760 92 | 0.000 % |
1.47/1.54 c | 10446 | 3902 16693 50723 | 2147483647 5936 92 | 0.000 % |
1.47/1.56 c | 10639 | 3902 16693 50723 | 2147483647 6129 92 | 0.000 % |
1.57/1.60 c | 10852 | 3902 16693 50723 | 2147483647 6342 93 | 0.000 % |
1.57/1.63 c | 11085 | 3902 16693 50723 | 2147483647 6575 93 | 0.000 % |
1.57/1.67 c | 11341 | 3902 16693 50723 | 2147483647 6831 93 | 0.000 % |
1.67/1.71 c | 11624 | 3902 16693 50723 | 2147483647 7114 93 | 0.000 % |
1.67/1.73 c | 11725 | 3902 16693 50723 | 2147483647 7215 93 | 0.000 % |
1.67/1.74 c | 11835 | 3902 16693 50723 | 2147483647 7325 93 | 0.000 % |
1.67/1.76 c | 11958 | 3902 16693 50723 | 2147483647 7448 93 | 0.000 % |
1.67/1.79 c | 12092 | 3902 16693 50723 | 2147483647 7582 93 | 0.000 % |
1.77/1.81 c | 12239 | 3902 16693 50723 | 2147483647 7729 93 | 0.000 % |
1.77/1.84 c | 12399 | 3902 16693 50723 | 2147483647 7889 93 | 0.000 % |
1.77/1.87 c | 12575 | 3902 16693 50723 | 2147483647 8065 93 | 0.000 % |
1.87/1.90 c | 12768 | 3902 16693 50723 | 2147483647 8258 93 | 0.000 % |
1.87/1.93 c | 12981 | 3902 16693 50723 | 2147483647 8471 93 | 0.000 % |
1.87/1.97 c | 13214 | 3902 16693 50723 | 2147483647 8704 93 | 0.000 % |
1.97/2.01 c | 13470 | 3902 16693 50723 | 2147483647 8960 93 | 0.000 % |
1.97/2.06 c | 13752 | 3902 16693 50723 | 2147483647 9242 94 | 0.000 % |
2.07/2.11 c | 14061 | 3902 16693 50723 | 2147483647 9551 94 | 0.000 % |
2.07/2.13 c | 14161 | 3902 16693 50723 | 2147483647 9651 94 | 0.000 % |
2.07/2.15 c | 14271 | 3902 16693 50723 | 2147483647 9761 94 | 0.000 % |
2.07/2.17 c | 14392 | 3902 16693 50723 | 2147483647 9882 94 | 0.000 % |
2.07/2.20 c | 14529 | 3902 16693 50723 | 2147483647 10019 94 | 0.000 % |
2.17/2.22 c | 14677 | 3902 16693 50723 | 2147483647 10167 94 | 0.000 % |
2.17/2.25 c | 14839 | 3902 16693 50723 | 2147483647 10329 94 | 0.000 % |
2.17/2.28 c | 15015 | 3902 16693 50723 | 2147483647 10505 94 | 0.000 % |
2.26/2.32 c | 15209 | 3902 16693 50723 | 2147483647 10699 94 | 0.000 % |
2.26/2.36 c | 15421 | 3902 16693 50723 | 2147483647 10911 94 | 0.000 % |
2.36/2.40 c | 15656 | 3902 16693 50723 | 2147483647 11146 95 | 0.000 % |
2.36/2.45 c | 15912 | 3902 16693 50723 | 2147483647 11402 95 | 0.000 % |
2.47/2.50 c | 16193 | 3902 16693 50723 | 2147483647 11683 96 | 0.000 % |
2.47/2.56 c | 16502 | 3902 16693 50723 | 2147483647 11992 96 | 0.000 % |
2.57/2.62 c | 16841 | 3902 16693 50723 | 2147483647 12331 96 | 0.000 % |
2.57/2.64 c | 16943 | 3902 16693 50723 | 2147483647 12433 96 | 0.000 % |
2.57/2.66 c | 17054 | 3902 16693 50723 | 2147483647 12544 96 | 0.000 % |
2.57/2.68 c | 17175 | 3902 16693 50723 | 2147483647 12665 96 | 0.000 % |
2.66/2.71 c | 17309 | 3902 16693 50723 | 2147483647 12799 96 | 0.000 % |
2.66/2.74 c | 17455 | 3902 16693 50723 | 2147483647 12945 96 | 0.000 % |
2.66/2.77 c | 17616 | 3902 16693 50723 | 2147483647 13106 96 | 0.000 % |
2.76/2.80 c | 17792 | 3902 16693 50723 | 2147483647 13282 96 | 0.000 % |
2.76/2.84 c | 17986 | 3902 16693 50723 | 2147483647 13476 96 | 0.000 % |
2.76/2.88 c | 18198 | 3902 16693 50723 | 2147483647 13688 96 | 0.000 % |
2.86/2.93 c | 18432 | 3902 16693 50723 | 2147483647 13922 96 | 0.000 % |
2.86/2.98 c | 18689 | 3902 16693 50723 | 2147483647 14179 96 | 0.000 % |
2.96/3.04 c | 18972 | 3902 16693 50723 | 2147483647 14462 96 | 0.000 % |
3.07/3.10 c | 19282 | 3902 16693 50723 | 2147483647 14772 97 | 0.000 % |
3.07/3.18 c | 19624 | 3902 16693 50723 | 2147483647 15114 97 | 0.000 % |
3.17/3.25 c | 19996 | 3902 16693 50723 | 2147483647 15486 97 | 0.000 % |
3.17/3.27 c | 20096 | 3902 16693 50723 | 2147483647 15586 97 | 0.000 % |
3.17/3.30 c | 20206 | 3902 16693 50723 | 2147483647 15696 97 | 0.000 % |
3.27/3.32 c | 20327 | 3902 16693 50723 | 2147483647 15817 96 | 0.000 % |
3.27/3.35 c | 20461 | 3902 16693 50723 | 2147483647 15951 97 | 0.000 % |
3.27/3.39 c | 20609 | 3902 16693 50723 | 2147483647 16099 97 | 0.000 % |
3.36/3.42 c | 20769 | 3902 16693 50723 | 2147483647 16259 97 | 0.000 % |
3.36/3.46 c | 20945 | 3902 16693 50723 | 2147483647 16435 96 | 0.000 % |
3.46/3.50 c | 21139 | 3902 16693 50723 | 2147483647 16629 96 | 0.000 % |
3.46/3.55 c | 21352 | 3902 16693 50723 | 2147483647 16842 96 | 0.000 % |
3.46/3.59 c | 21587 | 3902 16693 50723 | 2147483647 17077 96 | 0.000 % |
3.56/3.65 c | 21843 | 3902 16693 50723 | 2147483647 17333 96 | 0.000 % |
3.66/3.71 c | 22126 | 3902 16693 50723 | 2147483647 17616 96 | 0.000 % |
3.66/3.77 c | 22436 | 3902 16693 50723 | 2147483647 17926 96 | 0.000 % |
3.76/3.85 c | 22776 | 3902 16693 50723 | 2147483647 18266 96 | 0.000 % |
3.86/3.93 c | 23149 | 3902 16693 50723 | 2147483647 18639 97 | 0.000 % |
3.96/4.02 c | 23558 | 3902 16693 50723 | 2147483647 19048 97 | 0.000 % |
3.96/4.04 c | 23660 | 3902 16693 50723 | 2147483647 19150 97 | 0.000 % |
3.96/4.06 c | 23770 | 3902 16693 50723 | 2147483647 19260 97 | 0.000 % |
3.96/4.09 c | 23891 | 3902 16693 50723 | 2147483647 19381 96 | 0.000 % |
4.06/4.12 c | 24024 | 3902 16693 50723 | 2147483647 19514 96 | 0.000 % |
4.06/4.16 c | 24170 | 3902 16693 50723 | 2147483647 19660 96 | 0.000 % |
4.16/4.20 c | 24330 | 3902 16693 50723 | 2147483647 19820 96 | 0.000 % |
4.16/4.25 c | 24507 | 3902 16693 50723 | 2147483647 19997 96 | 0.000 % |
4.16/4.30 c | 24700 | 3902 16693 50723 | 2147483647 20190 96 | 0.000 % |
4.27/4.35 c | 24912 | 3902 16693 50723 | 2147483647 20402 96 | 0.000 % |
4.27/4.40 c | 25146 | 3902 16693 50723 | 2147483647 20636 96 | 0.000 % |
4.37/4.46 c | 25403 | 3902 16693 50723 | 2147483647 20893 96 | 0.000 % |
4.46/4.52 c | 25687 | 3902 16693 50723 | 2147483647 21177 97 | 0.000 % |
4.46/4.59 c | 25996 | 3902 16693 50723 | 2147483647 21486 97 | 0.000 % |
4.56/4.68 c | 26336 | 3902 16693 50723 | 2147483647 21826 97 | 0.000 % |
4.66/4.77 c | 26710 | 3902 16693 50723 | 2147483647 22200 97 | 0.000 % |
4.76/4.86 c | 27119 | 3902 16693 50723 | 2147483647 22609 97 | 0.000 % |
4.86/4.98 c | 27568 | 3902 16693 50723 | 2147483647 23058 97 | 0.000 % |
4.96/5.01 c | 27669 | 3902 16693 50723 | 2147483647 23159 97 | 0.000 % |
4.96/5.04 c | 27781 | 3902 16693 50723 | 2147483647 23271 97 | 0.000 % |
4.96/5.07 c | 27903 | 3902 16693 50723 | 2147483647 23393 97 | 0.000 % |
5.06/5.11 c | 28037 | 3902 16693 50723 | 2147483647 23527 97 | 0.000 % |
5.06/5.15 c | 28183 | 3902 16693 50723 | 2147483647 23673 97 | 0.000 % |
5.06/5.19 c | 28344 | 3902 16693 50723 | 2147483647 23834 97 | 0.000 % |
5.16/5.24 c | 28520 | 3902 16693 50723 | 2147483647 24010 97 | 0.000 % |
5.16/5.30 c | 28713 | 3902 16693 50723 | 2147483647 24203 97 | 0.000 % |
5.26/5.35 c | 28926 | 3902 16693 50723 | 2147483647 24416 97 | 0.000 % |
5.36/5.40 c | 29160 | 3902 16693 50723 | 2147483647 24650 97 | 0.000 % |
5.36/5.47 c | 29417 | 3902 16693 50723 | 2147483647 24907 97 | 0.000 % |
5.46/5.54 c | 29700 | 3902 16693 50723 | 2147483647 25190 97 | 0.000 % |
5.55/5.63 c | 30010 | 3902 16693 50723 | 2147483647 25500 97 | 0.000 % |
5.65/5.73 c | 30351 | 3902 16693 50723 | 2147483647 25841 97 | 0.000 % |
5.75/5.83 c | 30725 | 3902 16693 50723 | 2147483647 26215 97 | 0.000 % |
5.85/5.95 c | 31139 | 3902 16693 50723 | 2147483647 26629 97 | 0.000 % |
5.96/6.07 c | 31589 | 3902 16693 50723 | 2147483647 27079 97 | 0.000 % |
6.16/6.20 c | 32083 | 3902 16693 50723 | 2147483647 27573 97 | 0.000 % |
6.16/6.24 c | 32183 | 3902 16693 50723 | 2147483647 27673 97 | 0.000 % |
6.16/6.27 c | 32295 | 3902 16693 50723 | 2147483647 27785 97 | 0.000 % |
6.26/6.31 c | 32417 | 3902 16693 50723 | 2147483647 27907 97 | 0.000 % |
6.26/6.34 c | 32550 | 3902 16693 50723 | 2147483647 28040 97 | 0.000 % |
6.26/6.39 c | 32700 | 3902 16693 50723 | 2147483647 28190 97 | 0.000 % |
6.36/6.44 c | 32860 | 3902 16693 50723 | 2147483647 28350 97 | 0.000 % |
6.36/6.49 c | 33038 | 3902 16693 50723 | 2147483647 28528 97 | 0.000 % |
6.47/6.56 c | 33234 | 3902 16693 50723 | 2147483647 28724 97 | 0.000 % |
6.57/6.62 c | 33447 | 3902 16693 50723 | 2147483647 28937 97 | 0.000 % |
6.57/6.69 c | 33682 | 3902 16693 50723 | 2147483647 29172 97 | 0.000 % |
6.66/6.76 c | 33938 | 3902 16693 50723 | 2147483647 29428 97 | 0.000 % |
6.76/6.84 c | 34219 | 3902 16693 50723 | 2147483647 29709 97 | 0.000 % |
6.86/6.93 c | 34530 | 3902 16693 50723 | 2147483647 30020 98 | 0.000 % |
6.96/7.04 c | 34870 | 3902 16693 50723 | 2147483647 30360 98 | 0.000 % |
7.06/7.15 c | 35242 | 3902 16693 50723 | 2147483647 30732 98 | 0.000 % |
7.16/7.27 c | 35652 | 3902 16693 50723 | 2147483647 31142 98 | 0.000 % |
7.36/7.41 c | 36104 | 3902 16693 50723 | 2147483647 31594 98 | 0.000 % |
7.46/7.56 c | 36597 | 3902 16693 50723 | 2147483647 32087 98 | 0.000 % |
7.66/7.74 c | 37139 | 3902 16693 50723 | 2147483647 32629 98 | 0.000 % |
7.66/7.77 c | 37239 | 3902 16693 50723 | 2147483647 32729 98 | 0.000 % |
7.75/7.81 c | 37352 | 3902 16693 50723 | 2147483647 32842 98 | 0.000 % |
7.75/7.85 c | 37473 | 3902 16693 50723 | 2147483647 32963 98 | 0.000 % |
7.85/7.90 c | 37606 | 3902 16693 50723 | 2147483647 33096 98 | 0.000 % |
7.85/7.95 c | 37754 | 3902 16693 50723 | 2147483647 33244 98 | 0.000 % |
7.85/7.99 c | 37915 | 3902 16693 50723 | 2147483647 33405 98 | 0.000 % |
7.95/8.06 c | 38091 | 3902 16693 50723 | 2147483647 33581 98 | 0.000 % |
8.05/8.12 c | 38286 | 3902 16693 50723 | 2147483647 33776 98 | 0.000 % |
8.05/8.19 c | 38498 | 3902 16693 50723 | 2147483647 33988 98 | 0.000 % |
8.15/8.27 c | 38731 | 3902 16693 50723 | 2147483647 34221 98 | 0.000 % |
8.25/8.35 c | 38989 | 3902 16693 50723 | 2147483647 34479 98 | 0.000 % |
8.35/8.44 c | 39270 | 3902 16693 50723 | 2147483647 34760 98 | 0.000 % |
8.45/8.53 c | 39580 | 3902 16693 50723 | 2147483647 35070 98 | 0.000 % |
8.55/8.63 c | 39920 | 3902 16693 50723 | 2147483647 35410 98 | 0.000 % |
8.65/8.75 c | 40294 | 3902 16693 50723 | 2147483647 35784 98 | 0.000 % |
8.76/8.88 c | 40703 | 3902 16693 50723 | 2147483647 36193 98 | 0.000 % |
8.96/9.03 c | 41152 | 3902 16693 50723 | 2147483647 36642 99 | 0.000 % |
9.06/9.19 c | 41646 | 3902 16693 50723 | 2147483647 37136 99 | 0.000 % |
9.26/9.37 c | 42189 | 3902 16693 50723 | 2147483647 37679 99 | 0.000 % |
9.46/9.57 c | 42786 | 3902 16693 50723 | 2147483647 38276 99 | 0.000 % |
9.56/9.60 c | 42886 | 3902 16693 50723 | 2147483647 38376 99 | 0.000 % |
9.56/9.65 c | 42996 | 3902 16693 50723 | 2147483647 38486 99 | 0.000 % |
9.56/9.69 c | 43119 | 3902 16693 50723 | 2147483647 38609 99 | 0.000 % |
9.66/9.74 c | 43253 | 3902 16693 50723 | 2147483647 38743 99 | 0.000 % |
9.66/9.80 c | 43400 | 3902 16693 50723 | 2147483647 38890 99 | 0.000 % |
9.76/9.86 c | 43560 | 3902 16693 50723 | 2147483647 39050 98 | 0.000 % |
9.86/9.93 c | 43736 | 3902 16693 50723 | 2147483647 39226 99 | 0.000 % |
9.96/10.00 c | 43929 | 3902 16693 50723 | 2147483647 39419 99 | 0.000 % |
9.96/10.08 c | 44142 | 3902 16693 50723 | 2147483647 39632 99 | 0.000 % |
10.06/10.17 c | 44375 | 3902 16693 50723 | 2147483647 39865 99 | 0.000 % |
10.16/10.26 c | 44631 | 3902 16693 50723 | 2147483647 40121 99 | 0.000 % |
10.26/10.37 c | 44912 | 3902 16693 50723 | 2147483647 40402 99 | 0.000 % |
10.35/10.49 c | 45221 | 3902 16693 50723 | 2147483647 40711 99 | 0.000 % |
10.55/10.62 c | 45560 | 3902 16693 50723 | 2147483647 41050 99 | 0.000 % |
10.65/10.75 c | 45933 | 3902 16693 50723 | 2147483647 41423 99 | 0.000 % |
10.86/10.92 c | 46342 | 3902 16693 50723 | 2147483647 41832 99 | 0.000 % |
10.96/11.09 c | 46793 | 3902 16693 50723 | 2147483647 42283 99 | 0.000 % |
11.15/11.26 c | 47287 | 3902 16693 50723 | 2147483647 42777 99 | 0.000 % |
11.35/11.45 c | 47829 | 3902 16693 50723 | 2147483647 43319 99 | 0.000 % |
11.55/11.67 c | 48426 | 3902 16693 50723 | 2147483647 43916 99 | 0.000 % |
11.85/11.90 c | 49082 | 3902 16693 50723 | 2147483647 44572 99 | 0.000 % |
11.85/11.95 c | 49182 | 3902 16693 50723 | 2147483647 44672 99 | 0.000 % |
11.85/11.99 c | 49292 | 3902 16693 50723 | 2147483647 44782 99 | 0.000 % |
11.95/12.04 c | 49414 | 3902 16693 50723 | 2147483647 44904 99 | 0.000 % |
11.95/12.10 c | 49549 | 3902 16693 50723 | 2147483647 45039 99 | 0.000 % |
12.05/12.17 c | 49696 | 3902 16693 50723 | 2147483647 45186 99 | 0.000 % |
12.15/12.24 c | 49856 | 3902 16693 50723 | 2147483647 45346 99 | 0.000 % |
12.25/12.32 c | 50034 | 3902 16693 50723 | 2147483647 45524 99 | 0.000 % |
12.25/12.40 c | 50229 | 3902 16693 50723 | 2147483647 45719 99 | 0.000 % |
12.35/12.48 c | 50443 | 3902 16693 50723 | 2147483647 45933 99 | 0.000 % |
12.45/12.58 c | 50676 | 3902 16693 50723 | 2147483647 46166 99 | 0.000 % |
12.55/12.69 c | 50934 | 3902 16693 50723 | 2147483647 46424 99 | 0.000 % |
12.75/12.81 c | 51215 | 3902 16693 50723 | 2147483647 46705 99 | 0.000 % |
12.85/12.94 c | 51524 | 3902 16693 50723 | 2147483647 47014 99 | 0.000 % |
12.95/13.09 c | 51865 | 3902 16693 50723 | 2147483647 47355 99 | 0.000 % |
13.15/13.25 c | 52237 | 3902 16693 50723 | 2147483647 47727 99 | 0.000 % |
13.35/13.41 c | 52646 | 3902 16693 50723 | 2147483647 48136 99 | 0.000 % |
13.55/13.60 c | 53096 | 3902 16693 50723 | 2147483647 48586 99 | 0.000 % |
13.75/13.83 c | 53589 | 3902 16693 50723 | 2147483647 49079 99 | 0.000 % |
13.95/14.07 c | 54132 | 3902 16693 50723 | 2147483647 49622 99 | 0.000 % |
14.25/14.32 c | 54731 | 3902 16693 50723 | 2147483647 50221 100 | 0.000 % |
14.55/14.60 c | 55386 | 3902 16693 50723 | 2147483647 50876 100 | 0.000 % |
14.85/14.90 c | 56106 | 3902 16693 50723 | 2147483647 51596 100 | 0.000 % |
14.85/14.95 c | 56207 | 3902 16693 50723 | 2147483647 51697 100 | 0.000 % |
14.95/15.00 c | 56317 | 3902 16693 50723 | 2147483647 51807 100 | 0.000 % |
14.95/15.05 c | 56438 | 3902 16693 50723 | 2147483647 51928 100 | 0.000 % |
15.05/15.11 c | 56572 | 3902 16693 50723 | 2147483647 52062 100 | 0.000 % |
15.15/15.20 c | 56718 | 3902 16693 50723 | 2147483647 52208 100 | 0.000 % |
15.15/15.27 c | 56879 | 3902 16693 50723 | 2147483647 52369 100 | 0.000 % |
15.25/15.36 c | 57055 | 3902 16693 50723 | 2147483647 52545 100 | 0.000 % |
15.35/15.46 c | 57250 | 3902 16693 50723 | 2147483647 52740 100 | 0.000 % |
15.45/15.56 c | 57464 | 3902 16693 50723 | 2147483647 52954 100 | 0.000 % |
15.55/15.67 c | 57698 | 3902 16693 50723 | 2147483647 53188 100 | 0.000 % |
15.65/15.79 c | 57954 | 3902 16693 50723 | 2147483647 53444 100 | 0.000 % |
15.85/15.93 c | 58235 | 3902 16693 50723 | 2147483647 53725 100 | 0.000 % |
15.95/16.07 c | 58547 | 3902 16693 50723 | 2147483647 54037 100 | 0.000 % |
16.14/16.25 c | 58887 | 3902 16693 50723 | 2147483647 54377 100 | 0.000 % |
16.34/16.44 c | 59260 | 3902 16693 50723 | 2147483647 54750 100 | 0.000 % |
16.54/16.62 c | 59669 | 3902 16693 50723 | 2147483647 55159 100 | 0.000 % |
16.74/16.82 c | 60120 | 3902 16693 50723 | 2147483647 55610 100 | 0.000 % |
16.94/17.04 c | 60613 | 3902 16693 50723 | 2147483647 56103 100 | 0.000 % |
17.15/17.28 c | 61155 | 3902 16693 50723 | 2147483647 56645 100 | 0.000 % |
17.45/17.55 c | 61752 | 3902 16693 50723 | 2147483647 57242 100 | 0.000 % |
17.75/17.87 c | 62407 | 3902 16693 50723 | 2147483647 57897 100 | 0.000 % |
18.05/18.19 c | 63129 | 3902 16693 50723 | 2147483647 58619 100 | 0.000 % |
18.45/18.59 c | 63922 | 3902 16693 50723 | 2147483647 59412 100 | 0.000 % |
18.55/18.64 c | 64023 | 3902 16693 50723 | 2147483647 59513 100 | 0.000 % |
18.65/18.72 c | 64136 | 3902 16693 50723 | 2147483647 59626 100 | 0.000 % |
18.65/18.78 c | 64259 | 3902 16693 50723 | 2147483647 59749 100 | 0.000 % |
18.75/18.85 c | 64393 | 3902 16693 50723 | 2147483647 59883 100 | 0.000 % |
18.85/18.93 c | 64539 | 3902 16693 50723 | 2147483647 60029 100 | 0.000 % |
18.95/19.02 c | 64701 | 3902 16693 50723 | 2147483647 60191 100 | 0.000 % |
19.05/19.12 c | 64881 | 3902 16693 50723 | 2147483647 60371 100 | 0.000 % |
19.14/19.22 c | 65074 | 3902 16693 50723 | 2147483647 60564 100 | 0.000 % |
19.24/19.33 c | 65286 | 3902 16693 50723 | 2147483647 60776 100 | 0.000 % |
19.34/19.45 c | 65519 | 3902 16693 50723 | 2147483647 61009 100 | 0.000 % |
19.44/19.59 c | 65776 | 3902 16693 50723 | 2147483647 61266 100 | 0.000 % |
19.65/19.73 c | 66058 | 3902 16693 50723 | 2147483647 61548 100 | 0.000 % |
19.84/19.91 c | 66367 | 3902 16693 50723 | 2147483647 61857 100 | 0.000 % |
19.94/20.09 c | 66707 | 3902 16693 50723 | 2147483647 62197 100 | 0.000 % |
20.14/20.26 c | 67079 | 3902 16693 50723 | 2147483647 62569 100 | 0.000 % |
20.34/20.47 c | 67488 | 3902 16693 50723 | 2147483647 62978 100 | 0.000 % |
20.54/20.68 c | 67937 | 3902 16693 50723 | 2147483647 63427 100 | 0.000 % |
20.84/20.93 c | 68430 | 3902 16693 50723 | 2147483647 63920 100 | 0.000 % |
21.04/21.19 c | 68972 | 3902 16693 50723 | 2147483647 64462 100 | 0.000 % |
21.34/21.50 c | 69568 | 3902 16693 50723 | 2147483647 65058 100 | 0.000 % |
21.74/21.84 c | 70224 | 3902 16693 50723 | 2147483647 65714 101 | 0.000 % |
22.14/22.21 c | 70944 | 3902 16693 50723 | 2147483647 66434 101 | 0.000 % |
22.54/22.60 c | 71736 | 3902 16693 50723 | 2147483647 67226 101 | 0.000 % |
22.94/23.06 c | 72607 | 3902 16693 50723 | 2147483647 68097 101 | 0.000 % |
23.04/23.13 c | 72708 | 3902 16693 50723 | 2147483647 68198 101 | 0.000 % |
23.14/23.20 c | 72818 | 3902 16693 50723 | 2147483647 68308 101 | 0.000 % |
23.14/23.27 c | 72941 | 3902 16693 50723 | 2147483647 68431 101 | 0.000 % |
23.24/23.36 c | 73074 | 3902 16693 50723 | 2147483647 68564 101 | 0.000 % |
23.34/23.46 c | 73221 | 3902 16693 50723 | 2147483647 68711 101 | 0.000 % |
23.43/23.54 c | 73382 | 3902 16693 50723 | 2147483647 68872 101 | 0.000 % |
23.53/23.65 c | 73559 | 3902 16693 50723 | 2147483647 69049 101 | 0.000 % |
23.63/23.76 c | 73753 | 3902 16693 50723 | 2147483647 69243 101 | 0.000 % |
23.73/23.89 c | 73966 | 3902 16693 50723 | 2147483647 69456 101 | 0.000 % |
23.93/24.03 c | 74199 | 3902 16693 50723 | 2147483647 69689 101 | 0.000 % |
24.03/24.16 c | 74456 | 3902 16693 50723 | 2147483647 69946 101 | 0.000 % |
24.24/24.33 c | 74738 | 3902 16693 50723 | 2147483647 70228 101 | 0.000 % |
24.44/24.50 c | 75047 | 3902 16693 50723 | 2147483647 70537 101 | 0.000 % |
24.64/24.70 c | 75386 | 3902 16693 50723 | 2147483647 70876 101 | 0.000 % |
24.74/24.89 c | 75761 | 3902 16693 50723 | 2147483647 71251 101 | 0.000 % |
25.04/25.11 c | 76172 | 3902 16693 50723 | 2147483647 71662 101 | 0.000 % |
25.24/25.37 c | 76621 | 3902 16693 50723 | 2147483647 72111 101 | 0.000 % |
25.53/25.64 c | 77115 | 3902 16693 50723 | 2147483647 72605 101 | 0.000 % |
25.83/25.92 c | 77657 | 3902 16693 50723 | 2147483647 73147 101 | 0.000 % |
26.13/26.22 c | 78253 | 3902 16693 50723 | 2147483647 73743 101 | 0.000 % |
26.43/26.57 c | 78909 | 3902 16693 50723 | 2147483647 74399 101 | 0.000 % |
26.84/26.95 c | 79629 | 3902 16693 50723 | 2147483647 75119 101 | 0.000 % |
27.34/27.41 c | 80423 | 3902 16693 50723 | 2147483647 75913 101 | 0.000 % |
27.83/27.90 c | 81294 | 3902 16693 50723 | 2147483647 76784 101 | 0.000 % |
28.33/28.44 c | 82252 | 3902 16693 50723 | 2147483647 77742 101 | 0.000 % |
28.44/28.51 c | 82353 | 3902 16693 50723 | 2147483647 77843 101 | 0.000 % |
28.44/28.58 c | 82464 | 3902 16693 50723 | 2147483647 77954 101 | 0.000 % |
28.54/28.66 c | 82587 | 3902 16693 50723 | 2147483647 78077 101 | 0.000 % |
28.63/28.77 c | 82721 | 3902 16693 50723 | 2147483647 78211 101 | 0.000 % |
28.73/28.85 c | 82868 | 3902 16693 50723 | 2147483647 78358 101 | 0.000 % |
28.83/28.95 c | 83028 | 3902 16693 50723 | 2147483647 78518 101 | 0.000 % |
28.93/29.08 c | 83205 | 3902 16693 50723 | 2147483647 78695 101 | 0.000 % |
29.13/29.21 c | 83399 | 3902 16693 50723 | 2147483647 78889 101 | 0.000 % |
29.23/29.35 c | 83613 | 3902 16693 50723 | 2147483647 79103 101 | 0.000 % |
29.33/29.49 c | 83847 | 3902 16693 50723 | 2147483647 79337 101 | 0.000 % |
29.53/29.66 c | 84103 | 3902 16693 50723 | 2147483647 79593 101 | 0.000 % |
29.73/29.83 c | 84384 | 3902 16693 50723 | 2147483647 79874 101 | 0.000 % |
29.93/30.04 c | 84694 | 3902 16693 50723 | 2147483647 80184 101 | 0.000 % |
30.13/30.27 c | 85034 | 3902 16693 50723 | 2147483647 80524 101 | 0.000 % |
30.44/30.50 c | 85407 | 3902 16693 50723 | 2147483647 80897 101 | 0.000 % |
30.64/30.77 c | 85819 | 3902 16693 50723 | 2147483647 81309 101 | 0.000 % |
30.94/31.06 c | 86268 | 3902 16693 50723 | 2147483647 81758 101 | 0.000 % |
31.24/31.37 c | 86761 | 3902 16693 50723 | 2147483647 82251 101 | 0.000 % |
31.63/31.70 c | 87305 | 3902 16693 50723 | 2147483647 82795 101 | 0.000 % |
31.93/32.04 c | 87901 | 3902 16693 50723 | 2147483647 83391 101 | 0.000 % |
32.33/32.48 c | 88556 | 3902 16693 50723 | 2147483647 84046 101 | 0.000 % |
32.83/32.95 c | 89276 | 3902 16693 50723 | 2147483647 84766 101 | 0.000 % |
33.33/33.45 c | 90068 | 3902 16693 50723 | 2147483647 85558 101 | 0.000 % |
33.94/34.04 c | 90941 | 3902 16693 50723 | 2147483647 86431 102 | 0.000 % |
34.43/34.59 c | 91900 | 3902 16693 50723 | 2147483647 87390 102 | 0.000 % |
35.14/35.25 c | 92955 | 3902 16693 50723 | 2147483647 88445 102 | 0.000 % |
35.23/35.34 c | 93056 | 3902 16693 50723 | 2147483647 88546 102 | 0.000 % |
35.33/35.45 c | 93169 | 3902 16693 50723 | 2147483647 88659 102 | 0.000 % |
35.43/35.55 c | 93292 | 3902 16693 50723 | 2147483647 88782 102 | 0.000 % |
35.53/35.64 c | 93425 | 3902 16693 50723 | 2147483647 88915 102 | 0.000 % |
35.63/35.76 c | 93571 | 3902 16693 50723 | 2147483647 89061 102 | 0.000 % |
35.73/35.88 c | 93732 | 3902 16693 50723 | 2147483647 89222 102 | 0.000 % |
35.93/36.02 c | 93908 | 3902 16693 50723 | 2147483647 89398 102 | 0.000 % |
36.03/36.14 c | 94101 | 3902 16693 50723 | 2147483647 89591 102 | 0.000 % |
36.13/36.29 c | 94313 | 3902 16693 50723 | 2147483647 89803 102 | 0.000 % |
36.33/36.47 c | 94546 | 3902 16693 50723 | 2147483647 90036 102 | 0.000 % |
36.53/36.66 c | 94802 | 3902 16693 50723 | 2147483647 90292 102 | 0.000 % |
36.73/36.85 c | 95083 | 3902 16693 50723 | 2147483647 90573 102 | 0.000 % |
36.93/37.09 c | 95392 | 3902 16693 50723 | 2147483647 90882 102 | 0.000 % |
37.23/37.36 c | 95733 | 3902 16693 50723 | 2147483647 91223 102 | 0.000 % |
37.53/37.61 c | 96105 | 3902 16693 50723 | 2147483647 91595 102 | 0.000 % |
37.83/37.92 c | 96514 | 3902 16693 50723 | 2147483647 92004 102 | 0.000 % |
38.13/38.26 c | 96963 | 3902 16693 50723 | 2147483647 92453 102 | 0.000 % |
38.53/38.60 c | 97456 | 3902 16693 50723 | 2147483647 92946 102 | 0.000 % |
38.93/39.00 c | 97999 | 3902 16693 50723 | 2147483647 93489 102 | 0.000 % |
39.33/39.41 c | 98595 | 3902 16693 50723 | 2147483647 94085 102 | 0.000 % |
39.72/39.87 c | 99254 | 3902 16693 50723 | 2147483647 94744 102 | 0.000 % |
40.22/40.36 c | 99977 | 3902 16693 50723 | 2147483647 95467 102 | 0.000 % |
40.72/40.85 c | 100770 | 3902 16693 50723 | 2147483647 96260 102 | 0.000 % |
41.33/41.43 c | 101643 | 3902 16693 50723 | 2147483647 97133 102 | 0.000 % |
41.93/42.09 c | 102601 | 3902 16693 50723 | 2147483647 98091 102 | 0.000 % |
42.62/42.80 c | 103654 | 3902 16693 50723 | 2147483647 99144 102 | 0.000 % |
43.52/43.63 c | 104813 | 3902 16693 50723 | 2147483647 100303 103 | 0.000 % |
43.62/43.71 c | 104913 | 3902 16693 50723 | 2147483647 100403 103 | 0.000 % |
43.72/43.80 c | 105023 | 3902 16693 50723 | 2147483647 100513 103 | 0.000 % |
43.82/43.92 c | 105144 | 3902 16693 50723 | 2147483647 100634 103 | 0.000 % |
43.92/44.05 c | 105277 | 3902 16693 50723 | 2147483647 100767 103 | 0.000 % |
44.02/44.16 c | 105425 | 3902 16693 50723 | 2147483647 100915 103 | 0.000 % |
44.12/44.29 c | 105590 | 3902 16693 50723 | 2147483647 101080 103 | 0.000 % |
44.32/44.44 c | 105766 | 3902 16693 50723 | 2147483647 101256 102 | 0.000 % |
44.42/44.58 c | 105961 | 3902 16693 50723 | 2147483647 101451 103 | 0.000 % |
44.62/44.75 c | 106173 | 3902 16693 50723 | 2147483647 101663 102 | 0.000 % |
44.82/44.91 c | 106406 | 3902 16693 50723 | 2147483647 101896 102 | 0.000 % |
45.02/45.10 c | 106662 | 3902 16693 50723 | 2147483647 102152 102 | 0.000 % |
45.22/45.32 c | 106943 | 3902 16693 50723 | 2147483647 102433 102 | 0.000 % |
45.42/45.58 c | 107254 | 3902 16693 50723 | 2147483647 102744 102 | 0.000 % |
45.72/45.84 c | 107594 | 3902 16693 50723 | 2147483647 103084 102 | 0.000 % |
46.02/46.13 c | 107966 | 3902 16693 50723 | 2147483647 103456 102 | 0.000 % |
46.32/46.45 c | 108376 | 3902 16693 50723 | 2147483647 103866 102 | 0.000 % |
46.62/46.80 c | 108827 | 3902 16693 50723 | 2147483647 104317 102 | 0.000 % |
47.02/47.16 c | 109320 | 3902 16693 50723 | 2147483647 104810 102 | 0.000 % |
47.42/47.57 c | 109865 | 3902 16693 50723 | 2147483647 105355 102 | 0.000 % |
47.92/48.04 c | 110462 | 3902 16693 50723 | 2147483647 105952 102 | 0.000 % |
48.42/48.53 c | 111117 | 3902 16693 50723 | 2147483647 106607 102 | 0.000 % |
48.92/49.06 c | 111837 | 3902 16693 50723 | 2147483647 107327 102 | 0.000 % |
49.52/49.64 c | 112630 | 3902 16693 50723 | 2147483647 108120 103 | 0.000 % |
50.12/50.29 c | 113501 | 3902 16693 50723 | 2147483647 108991 103 | 0.000 % |
50.92/51.04 c | 114459 | 3902 16693 50723 | 2147483647 109949 103 | 0.000 % |
51.72/51.82 c | 115513 | 3902 16693 50723 | 2147483647 111003 103 | 0.000 % |
52.62/52.71 c | 116671 | 3902 16693 50723 | 2147483647 112161 103 | 0.000 % |
53.61/53.72 c | 117946 | 3902 16693 50723 | 2147483647 113436 103 | 0.000 % |
53.61/53.80 c | 118047 | 3902 16693 50723 | 2147483647 113537 103 | 0.000 % |
53.82/53.92 c | 118157 | 3902 16693 50723 | 2147483647 113647 103 | 0.000 % |
53.91/54.03 c | 118278 | 3902 16693 50723 | 2147483647 113768 103 | 0.000 % |
54.01/54.18 c | 118411 | 3902 16693 50723 | 2147483647 113901 103 | 0.000 % |
54.21/54.33 c | 118557 | 3902 16693 50723 | 2147483647 114047 103 | 0.000 % |
54.31/54.49 c | 118717 | 3902 16693 50723 | 2147483647 114207 103 | 0.000 % |
54.51/54.64 c | 118894 | 3902 16693 50723 | 2147483647 114384 103 | 0.000 % |
54.72/54.84 c | 119087 | 3902 16693 50723 | 2147483647 114577 103 | 0.000 % |
54.93/55.04 c | 119301 | 3902 16693 50723 | 2147483647 114791 103 | 0.000 % |
55.12/55.27 c | 119536 | 3902 16693 50723 | 2147483647 115026 103 | 0.000 % |
55.42/55.51 c | 119793 | 3902 16693 50723 | 2147483647 115283 103 | 0.000 % |
55.62/55.76 c | 120075 | 3902 16693 50723 | 2147483647 115565 103 | 0.000 % |
55.93/56.04 c | 120385 | 3902 16693 50723 | 2147483647 115875 103 | 0.000 % |
56.22/56.34 c | 120724 | 3902 16693 50723 | 2147483647 116214 103 | 0.000 % |
56.52/56.68 c | 121096 | 3902 16693 50723 | 2147483647 116586 103 | 0.000 % |
56.92/57.02 c | 121505 | 3902 16693 50723 | 2147483647 116995 103 | 0.000 % |
57.32/57.44 c | 121954 | 3902 16693 50723 | 2147483647 117444 103 | 0.000 % |
57.72/57.87 c | 122447 | 3902 16693 50723 | 2147483647 117937 103 | 0.000 % |
58.22/58.33 c | 122991 | 3902 16693 50723 | 2147483647 118481 103 | 0.000 % |
58.72/58.84 c | 123587 | 3902 16693 50723 | 2147483647 119077 103 | 0.000 % |
59.32/59.42 c | 124244 | 3902 16693 50723 | 2147483647 119734 103 | 0.000 % |
59.91/60.01 c | 124967 | 3902 16693 50723 | 2147483647 120457 103 | 0.000 % |
60.51/60.64 c | 125760 | 3902 16693 50723 | 2147483647 121250 103 | 0.000 % |
61.21/61.34 c | 126631 | 3902 16693 50723 | 2147483647 122121 103 | 0.000 % |
62.01/62.11 c | 127591 | 3902 16693 50723 | 2147483647 123081 103 | 0.000 % |
62.91/63.05 c | 128645 | 3902 16693 50723 | 2147483647 124135 103 | 0.000 % |
63.91/64.00 c | 129804 | 3902 16693 50723 | 2147483647 125294 104 | 0.000 % |
64.91/65.05 c | 131081 | 3902 16693 50723 | 2147483647 126571 104 | 0.000 % |
66.10/66.27 c | 132481 | 3902 16693 50723 | 2147483647 127971 104 | 0.000 % |
66.21/66.38 c | 132582 | 3902 16693 50723 | 2147483647 128072 104 | 0.000 % |
66.41/66.50 c | 132692 | 3902 16693 50723 | 2147483647 128182 104 | 0.000 % |
66.51/66.63 c | 132814 | 3902 16693 50723 | 2147483647 128304 104 | 0.000 % |
66.61/66.78 c | 132947 | 3902 16693 50723 | 2147483647 128437 104 | 0.000 % |
66.81/66.94 c | 133093 | 3902 16693 50723 | 2147483647 128583 104 | 0.000 % |
67.02/67.13 c | 133254 | 3902 16693 50723 | 2147483647 128744 104 | 0.000 % |
67.21/67.31 c | 133430 | 3902 16693 50723 | 2147483647 128920 104 | 0.000 % |
67.41/67.50 c | 133623 | 3902 16693 50723 | 2147483647 129113 104 | 0.000 % |
67.61/67.72 c | 133835 | 3902 16693 50723 | 2147483647 129325 104 | 0.000 % |
67.81/67.96 c | 134068 | 3902 16693 50723 | 2147483647 129558 104 | 0.000 % |
68.12/68.24 c | 134328 | 3902 16693 50723 | 2147483647 129818 104 | 0.000 % |
68.41/68.54 c | 134609 | 3902 16693 50723 | 2147483647 130099 104 | 0.000 % |
68.71/68.81 c | 134918 | 3902 16693 50723 | 2147483647 130408 104 | 0.000 % |
69.01/69.14 c | 135257 | 3902 16693 50723 | 2147483647 130747 104 | 0.000 % |
69.31/69.50 c | 135630 | 3902 16693 50723 | 2147483647 131120 104 | 0.000 % |
69.71/69.88 c | 136040 | 3902 16693 50723 | 2147483647 131530 104 | 0.000 % |
70.21/70.31 c | 136489 | 3902 16693 50723 | 2147483647 131979 104 | 0.000 % |
70.61/70.77 c | 136982 | 3902 16693 50723 | 2147483647 132472 104 | 0.000 % |
71.11/71.27 c | 137524 | 3902 16693 50723 | 2147483647 133014 104 | 0.000 % |
71.70/71.87 c | 138122 | 3902 16693 50723 | 2147483647 133612 104 | 0.000 % |
72.30/72.48 c | 138777 | 3902 16693 50723 | 2147483647 134267 104 | 0.000 % |
73.01/73.18 c | 139497 | 3902 16693 50723 | 2147483647 134987 104 | 0.000 % |
73.81/73.98 c | 140290 | 3902 16693 50723 | 2147483647 135780 104 | 0.000 % |
74.61/74.77 c | 141161 | 3902 16693 50723 | 2147483647 136651 104 | 0.000 % |
75.50/75.68 c | 142120 | 3902 16693 50723 | 2147483647 137610 104 | 0.000 % |
76.50/76.68 c | 143174 | 3902 16693 50723 | 2147483647 138664 104 | 0.000 % |
77.70/77.80 c | 144332 | 3902 16693 50723 | 2147483647 139822 104 | 0.000 % |
78.91/79.01 c | 145606 | 3902 16693 50723 | 2147483647 141096 104 | 0.000 % |
80.21/80.35 c | 147010 | 3902 16693 50723 | 2147483647 142500 104 | 0.000 % |
81.70/81.84 c | 148550 | 3902 16693 50723 | 2147483647 144040 105 | 0.000 % |
81.80/81.97 c | 148651 | 3902 16693 50723 | 2147483647 144141 105 | 0.000 % |
81.90/82.08 c | 148761 | 3902 16693 50723 | 2147483647 144251 105 | 0.000 % |
82.10/82.22 c | 148882 | 3902 16693 50723 | 2147483647 144372 105 | 0.000 % |
82.20/82.34 c | 149015 | 3902 16693 50723 | 2147483647 144505 105 | 0.000 % |
82.40/82.54 c | 149161 | 3902 16693 50723 | 2147483647 144651 105 | 0.000 % |
82.60/82.73 c | 149321 | 3902 16693 50723 | 2147483647 144811 105 | 0.000 % |
82.80/82.93 c | 149500 | 3902 16693 50723 | 2147483647 144990 105 | 0.000 % |
83.00/83.20 c | 149695 | 3902 16693 50723 | 2147483647 145185 105 | 0.000 % |
83.30/83.43 c | 149907 | 3902 16693 50723 | 2147483647 145397 105 | 0.000 % |
83.50/83.67 c | 150141 | 3902 16693 50723 | 2147483647 145631 105 | 0.000 % |
83.80/83.93 c | 150397 | 3902 16693 50723 | 2147483647 145887 105 | 0.000 % |
84.10/84.25 c | 150679 | 3902 16693 50723 | 2147483647 146169 105 | 0.000 % |
84.40/84.58 c | 150989 | 3902 16693 50723 | 2147483647 146479 105 | 0.000 % |
84.80/84.94 c | 151331 | 3902 16693 50723 | 2147483647 146821 105 | 0.000 % |
85.20/85.37 c | 151704 | 3902 16693 50723 | 2147483647 147194 105 | 0.000 % |
85.60/85.79 c | 152113 | 3902 16693 50723 | 2147483647 147603 105 | 0.000 % |
86.09/86.29 c | 152562 | 3902 16693 50723 | 2147483647 148052 105 | 0.000 % |
86.70/86.84 c | 153056 | 3902 16693 50723 | 2147483647 148546 105 | 0.000 % |
87.29/87.47 c | 153598 | 3902 16693 50723 | 2147483647 149088 105 | 0.000 % |
87.90/88.08 c | 154194 | 3902 16693 50723 | 2147483647 149684 105 | 0.000 % |
88.60/88.78 c | 154849 | 3902 16693 50723 | 2147483647 150339 105 | 0.000 % |
89.40/89.52 c | 155569 | 3902 16693 50723 | 2147483647 151059 105 | 0.000 % |
90.20/90.31 c | 156361 | 3902 16693 50723 | 2147483647 151851 105 | 0.000 % |
91.00/91.20 c | 157232 | 3902 16693 50723 | 2147483647 152722 105 | 0.000 % |
92.09/92.27 c | 158190 | 3902 16693 50723 | 2147483647 153680 105 | 0.000 % |
93.19/93.38 c | 159243 | 3902 16693 50723 | 2147483647 154733 105 | 0.000 % |
94.40/94.53 c | 160402 | 3902 16693 50723 | 2147483647 155892 105 | 0.000 % |
95.69/95.85 c | 161676 | 3902 16693 50723 | 2147483647 157166 105 | 0.000 % |
97.19/97.34 c | 163076 | 3902 16693 50723 | 2147483647 158566 105 | 0.000 % |
98.80/98.99 c | 164617 | 3902 16693 50723 | 2147483647 160107 105 | 0.000 % |
100.59/100.78 c | 166312 | 3902 16693 50723 | 2147483647 161802 105 | 0.000 % |
100.79/100.92 c | 166412 | 3902 16693 50723 | 2147483647 161902 105 | 0.000 % |
100.89/101.05 c | 166522 | 3902 16693 50723 | 2147483647 162012 105 | 0.000 % |
101.09/101.23 c | 166643 | 3902 16693 50723 | 2147483647 162133 105 | 0.000 % |
101.19/101.39 c | 166776 | 3902 16693 50723 | 2147483647 162266 105 | 0.000 % |
101.39/101.57 c | 166923 | 3902 16693 50723 | 2147483647 162413 105 | 0.000 % |
101.59/101.79 c | 167083 | 3902 16693 50723 | 2147483647 162573 105 | 0.000 % |
101.89/102.04 c | 167259 | 3902 16693 50723 | 2147483647 162749 105 | 0.000 % |
102.19/102.30 c | 167455 | 3902 16693 50723 | 2147483647 162945 105 | 0.000 % |
102.39/102.56 c | 167667 | 3902 16693 50723 | 2147483647 163157 105 | 0.000 % |
102.69/102.82 c | 167900 | 3902 16693 50723 | 2147483647 163390 105 | 0.000 % |
102.99/103.11 c | 168157 | 3902 16693 50723 | 2147483647 163647 105 | 0.000 % |
103.30/103.42 c | 168440 | 3902 16693 50723 | 2147483647 163930 105 | 0.000 % |
103.69/103.83 c | 168750 | 3902 16693 50723 | 2147483647 164240 105 | 0.000 % |
104.09/104.23 c | 169089 | 3902 16693 50723 | 2147483647 164579 105 | 0.000 % |
104.59/104.71 c | 169461 | 3902 16693 50723 | 2147483647 164951 105 | 0.000 % |
104.99/105.18 c | 169870 | 3902 16693 50723 | 2147483647 165360 105 | 0.000 % |
105.59/105.74 c | 170320 | 3902 16693 50723 | 2147483647 165810 105 | 0.000 % |
106.19/106.31 c | 170815 | 3902 16693 50723 | 2147483647 166305 105 | 0.000 % |
106.78/106.95 c | 171359 | 3902 16693 50723 | 2147483647 166849 105 | 0.000 % |
107.39/107.60 c | 171956 | 3902 16693 50723 | 2147483647 167446 105 | 0.000 % |
108.18/108.34 c | 172612 | 3902 16693 50723 | 2147483647 168102 105 | 0.000 % |
108.99/109.18 c | 173332 | 3902 16693 50723 | 2147483647 168822 105 | 0.000 % |
109.98/110.16 c | 174124 | 3902 16693 50723 | 2147483647 169614 105 | 0.000 % |
110.99/111.19 c | 174995 | 3902 16693 50723 | 2147483647 170485 105 | 0.000 % |
112.09/112.28 c | 175954 | 3902 16693 50723 | 2147483647 171444 106 | 0.000 % |
113.28/113.45 c | 177007 | 3902 16693 50723 | 2147483647 172497 106 | 0.000 % |
114.77/114.94 c | 178165 | 3902 16693 50723 | 2147483647 173655 106 | 0.000 % |
116.17/116.36 c | 179440 | 3902 16693 50723 | 2147483647 174930 106 | 0.000 % |
117.88/118.04 c | 180840 | 3902 16693 50723 | 2147483647 176330 106 | 0.000 % |
119.58/119.78 c | 182382 | 3902 16693 50723 | 2147483647 177872 106 | 0.000 % |
121.48/121.68 c | 184076 | 3902 16693 50723 | 2147483647 179566 106 | 0.000 % |
123.57/123.75 c | 185939 | 3902 16693 50723 | 2147483647 181429 106 | 0.000 % |
123.67/123.89 c | 186039 | 3902 16693 50723 | 2147483647 181529 106 | 0.000 % |
123.87/124.07 c | 186151 | 3902 16693 50723 | 2147483647 181641 106 | 0.000 % |
124.07/124.25 c | 186274 | 3902 16693 50723 | 2147483647 181764 106 | 0.000 % |
124.27/124.45 c | 186407 | 3902 16693 50723 | 2147483647 181897 106 | 0.000 % |
124.47/124.66 c | 186554 | 3902 16693 50723 | 2147483647 182044 106 | 0.000 % |
124.67/124.89 c | 186714 | 3902 16693 50723 | 2147483647 182204 106 | 0.000 % |
124.97/125.11 c | 186890 | 3902 16693 50723 | 2147483647 182380 106 | 0.000 % |
125.17/125.38 c | 187083 | 3902 16693 50723 | 2147483647 182573 106 | 0.000 % |
125.58/125.71 c | 187295 | 3902 16693 50723 | 2147483647 182785 106 | 0.000 % |
125.88/126.03 c | 187530 | 3902 16693 50723 | 2147483647 183020 106 | 0.000 % |
126.17/126.39 c | 187787 | 3902 16693 50723 | 2147483647 183277 106 | 0.000 % |
126.57/126.76 c | 188068 | 3902 16693 50723 | 2147483647 183558 106 | 0.000 % |
126.97/127.18 c | 188378 | 3902 16693 50723 | 2147483647 183868 106 | 0.000 % |
127.48/127.60 c | 188717 | 3902 16693 50723 | 2147483647 184207 106 | 0.000 % |
127.97/128.17 c | 189089 | 3902 16693 50723 | 2147483647 184579 106 | 0.000 % |
128.58/128.75 c | 189500 | 3902 16693 50723 | 2147483647 184990 106 | 0.000 % |
129.17/129.32 c | 189950 | 3902 16693 50723 | 2147483647 185440 106 | 0.000 % |
129.77/129.94 c | 190443 | 3902 16693 50723 | 2147483647 185933 106 | 0.000 % |
130.47/130.64 c | 190985 | 3902 16693 50723 | 2147483647 186475 106 | 0.000 % |
131.17/131.33 c | 191582 | 3902 16693 50723 | 2147483647 187072 106 | 0.000 % |
132.17/132.30 c | 192238 | 3902 16693 50723 | 2147483647 187728 106 | 0.000 % |
132.97/133.19 c | 192958 | 3902 16693 50723 | 2147483647 188448 106 | 0.000 % |
134.07/134.21 c | 193750 | 3902 16693 50723 | 2147483647 189240 106 | 0.000 % |
135.26/135.40 c | 194623 | 3902 16693 50723 | 2147483647 190113 106 | 0.000 % |
136.37/136.54 c | 195582 | 3902 16693 50723 | 2147483647 191072 106 | 0.000 % |
137.77/137.98 c | 196637 | 3902 16693 50723 | 2147483647 192127 106 | 0.000 % |
139.17/139.36 c | 197796 | 3902 16693 50723 | 2147483647 193286 106 | 0.000 % |
140.86/141.01 c | 199070 | 3902 16693 50723 | 2147483647 194560 107 | 0.000 % |
142.66/142.81 c | 200470 | 3902 16693 50723 | 2147483647 195960 106 | 0.000 % |
144.67/144.85 c | 202011 | 3902 16693 50723 | 2147483647 197501 107 | 0.000 % |
146.86/147.01 c | 203706 | 3902 16693 50723 | 2147483647 199196 107 | 0.000 % |
149.16/149.31 c | 205569 | 3902 16693 50723 | 2147483647 201059 107 | 0.000 % |
151.86/152.05 c | 207618 | 3902 16693 50723 | 2147483647 203108 107 | 0.000 % |
152.06/152.21 c | 207719 | 3902 16693 50723 | 2147483647 203209 107 | 0.000 % |
152.16/152.38 c | 207832 | 3902 16693 50723 | 2147483647 203322 107 | 0.000 % |
152.46/152.60 c | 207953 | 3902 16693 50723 | 2147483647 203443 107 | 0.000 % |
152.66/152.84 c | 208086 | 3902 16693 50723 | 2147483647 203576 107 | 0.000 % |
152.96/153.11 c | 208232 | 3902 16693 50723 | 2147483647 203722 107 | 0.000 % |
153.16/153.33 c | 208392 | 3902 16693 50723 | 2147483647 203882 107 | 0.000 % |
153.46/153.61 c | 208569 | 3902 16693 50723 | 2147483647 204059 107 | 0.000 % |
153.77/153.91 c | 208763 | 3902 16693 50723 | 2147483647 204253 107 | 0.000 % |
154.06/154.24 c | 208975 | 3902 16693 50723 | 2147483647 204465 107 | 0.000 % |
154.36/154.59 c | 209210 | 3902 16693 50723 | 2147483647 204700 107 | 0.000 % |
154.86/155.01 c | 209466 | 3902 16693 50723 | 2147483647 204956 107 | 0.000 % |
155.26/155.46 c | 209748 | 3902 16693 50723 | 2147483647 205238 107 | 0.000 % |
155.76/155.90 c | 210059 | 3902 16693 50723 | 205493 205549 107 | 0.000 % |
156.36/156.57 c | 210401 | 3902 16693 50723 | 205493 183386 107 | 0.000 % |
156.86/157.05 c | 210774 | 3902 16693 50723 | 205493 183759 107 | 0.000 % |
157.36/157.57 c | 211183 | 3902 16693 50723 | 205493 184168 107 | 0.000 % |
157.96/158.19 c | 211632 | 3902 16693 50723 | 205493 184617 107 | 0.000 % |
158.65/158.84 c | 212127 | 3902 16693 50723 | 205493 185112 107 | 0.000 % |
159.36/159.52 c | 212670 | 3902 16693 50723 | 205493 185655 107 | 0.000 % |
160.05/160.27 c | 213266 | 3902 16693 50723 | 205493 186251 107 | 0.000 % |
160.95/161.13 c | 213921 | 3902 16693 50723 | 205493 186906 107 | 0.000 % |
161.85/162.08 c | 214643 | 3902 16693 50723 | 205493 187628 107 | 0.000 % |
162.85/163.06 c | 215435 | 3902 16693 50723 | 205493 188420 107 | 0.000 % |
163.95/164.14 c | 216308 | 3902 16693 50723 | 205493 189293 107 | 0.000 % |
165.15/165.35 c | 217268 | 3902 16693 50723 | 205493 190253 107 | 0.000 % |
166.45/166.64 c | 218321 | 3902 16693 50723 | 205493 191306 107 | 0.000 % |
167.85/168.03 c | 219479 | 3902 16693 50723 | 205493 192464 107 | 0.000 % |
169.35/169.55 c | 220753 | 3902 16693 50723 | 2147483647 193738 107 | 0.000 % |
171.05/171.26 c | 222153 | 3902 16693 50723 | 2147483647 195138 107 | 0.000 % |
172.95/173.17 c | 223693 | 3902 16693 50723 | 2147483647 196678 107 | 0.000 % |
175.05/175.29 c | 225388 | 3902 16693 50723 | 2147483647 198373 107 | 0.000 % |
177.45/177.69 c | 227252 | 3902 16693 50723 | 2147483647 200237 108 | 0.000 % |
180.05/180.25 c | 229301 | 3902 16693 50723 | 2147483647 202286 108 | 0.000 % |
182.84/183.08 c | 231554 | 3902 16693 50723 | 2147483647 204539 108 | 0.000 % |
183.04/183.28 c | 231655 | 3902 16693 50723 | 2147483647 204640 108 | 0.000 % |
183.24/183.46 c | 231768 | 3902 16693 50723 | 2147483647 204753 108 | 0.000 % |
183.45/183.62 c | 231890 | 3902 16693 50723 | 2147483647 204875 108 | 0.000 % |
183.64/183.87 c | 232025 | 3902 16693 50723 | 2147483647 205010 108 | 0.000 % |
183.94/184.15 c | 232172 | 3902 16693 50723 | 2147483647 205157 108 | 0.000 % |
184.24/184.43 c | 232332 | 3902 16693 50723 | 2147483647 205317 108 | 0.000 % |
184.55/184.70 c | 232509 | 3902 16693 50723 | 2147483647 205494 108 | 0.000 % |
184.84/185.03 c | 232702 | 3902 16693 50723 | 2147483647 205687 108 | 0.000 % |
185.24/185.40 c | 232916 | 3902 16693 50723 | 2147483647 205901 108 | 0.000 % |
185.54/185.75 c | 233150 | 3902 16693 50723 | 2147483647 206135 108 | 0.000 % |
185.94/186.16 c | 233407 | 3902 16693 50723 | 2147483647 206392 108 | 0.000 % |
186.35/186.58 c | 233688 | 3902 16693 50723 | 2147483647 206673 108 | 0.000 % |
186.85/187.05 c | 233998 | 3902 16693 50723 | 2147483647 206983 108 | 0.000 % |
187.35/187.52 c | 234337 | 3902 16693 50723 | 2147483647 207322 108 | 0.000 % |
187.85/188.05 c | 234710 | 3902 16693 50723 | 2147483647 207695 108 | 0.000 % |
188.45/188.65 c | 235119 | 3902 16693 50723 | 2147483647 208104 108 | 0.000 % |
189.15/189.31 c | 235568 | 3902 16693 50723 | 2147483647 208553 108 | 0.000 % |
189.95/190.13 c | 236061 | 3902 16693 50723 | 2147483647 209046 108 | 0.000 % |
190.74/190.94 c | 236604 | 3902 16693 50723 | 2147483647 209589 108 | 0.000 % |
191.54/191.72 c | 237200 | 3902 16693 50723 | 2147483647 210185 108 | 0.000 % |
192.44/192.61 c | 237856 | 3902 16693 50723 | 2147483647 210841 108 | 0.000 % |
193.44/193.68 c | 238576 | 3902 16693 50723 | 2147483647 211561 108 | 0.000 % |
194.64/194.87 c | 239368 | 3902 16693 50723 | 2147483647 212353 108 | 0.000 % |
195.84/196.07 c | 240240 | 3902 16693 50723 | 212985 213225 108 | 0.000 % |
197.44/197.63 c | 241200 | 3902 16693 50723 | 212985 187841 108 | 0.000 % |
198.74/198.96 c | 242253 | 3902 16693 50723 | 212985 188894 108 | 0.000 % |
200.24/200.40 c | 243412 | 3902 16693 50723 | 212985 190053 108 | 0.000 % |
201.84/202.03 c | 244688 | 3902 16693 50723 | 212985 191329 108 | 0.000 % |
203.64/203.81 c | 246089 | 3902 16693 50723 | 212985 192730 108 | 0.000 % |
205.63/205.82 c | 247631 | 3902 16693 50723 | 212985 194272 108 | 0.000 % |
207.83/208.03 c | 249325 | 3902 16693 50723 | 212985 195966 108 | 0.000 % |
210.23/210.41 c | 251189 | 3902 16693 50723 | 2147483647 197830 108 | 0.000 % |
212.73/212.99 c | 253239 | 3902 16693 50723 | 2147483647 199880 108 | 0.000 % |
215.73/215.95 c | 255492 | 3902 16693 50723 | 2147483647 202133 109 | 0.000 % |
218.74/218.96 c | 257972 | 3902 16693 50723 | 2147483647 204613 109 | 0.000 % |
218.93/219.13 c | 258073 | 3902 16693 50723 | 2147483647 204714 109 | 0.000 % |
219.13/219.36 c | 258183 | 3902 16693 50723 | 2147483647 204824 109 | 0.000 % |
219.33/219.55 c | 258305 | 3902 16693 50723 | 2147483647 204946 109 | 0.000 % |
219.53/219.76 c | 258440 | 3902 16693 50723 | 2147483647 205081 109 | 0.000 % |
219.73/219.99 c | 258586 | 3902 16693 50723 | 2147483647 205227 109 | 0.000 % |
220.03/220.27 c | 258748 | 3902 16693 50723 | 2147483647 205389 109 | 0.000 % |
220.33/220.56 c | 258925 | 3902 16693 50723 | 2147483647 205566 109 | 0.000 % |
220.63/220.85 c | 259118 | 3902 16693 50723 | 2147483647 205759 109 | 0.000 % |
220.93/221.20 c | 259331 | 3902 16693 50723 | 2147483647 205972 109 | 0.000 % |
221.33/221.55 c | 259564 | 3902 16693 50723 | 2147483647 206205 109 | 0.000 % |
221.73/221.96 c | 259822 | 3902 16693 50723 | 2147483647 206463 109 | 0.000 % |
222.23/222.43 c | 260104 | 3902 16693 50723 | 206641 206745 109 | 0.000 % |
222.83/223.06 c | 260414 | 3902 16693 50723 | 206641 185176 109 | 0.000 % |
223.33/223.53 c | 260755 | 3902 16693 50723 | 206641 185517 109 | 0.000 % |
223.73/223.99 c | 261127 | 3902 16693 50723 | 206641 185889 109 | 0.000 % |
224.33/224.55 c | 261536 | 3902 16693 50723 | 206641 186298 109 | 0.000 % |
224.93/225.18 c | 261988 | 3902 16693 50723 | 206641 186750 109 | 0.000 % |
225.63/225.82 c | 262483 | 3902 16693 50723 | 206641 187245 109 | 0.000 % |
226.33/226.53 c | 263026 | 3902 16693 50723 | 206641 187788 109 | 0.000 % |
227.13/227.37 c | 263622 | 3902 16693 50723 | 206641 188384 109 | 0.000 % |
228.03/228.22 c | 264278 | 3902 16693 50723 | 206641 189040 109 | 0.000 % |
228.93/229.18 c | 264998 | 3902 16693 50723 | 206641 189760 109 | 0.000 % |
230.03/230.22 c | 265791 | 3902 16693 50723 | 206641 190553 109 | 0.000 % |
231.13/231.34 c | 266662 | 3902 16693 50723 | 206641 191424 109 | 0.000 % |
232.43/232.61 c | 267621 | 3902 16693 50723 | 206641 192383 109 | 0.000 % |
233.63/233.84 c | 268675 | 3902 16693 50723 | 206641 193437 109 | 0.000 % |
235.13/235.39 c | 269833 | 3902 16693 50723 | 206641 194595 109 | 0.000 % |
236.73/236.97 c | 271106 | 3902 16693 50723 | 2147483647 195868 109 | 0.000 % |
238.53/238.78 c | 272507 | 3902 16693 50723 | 2147483647 197269 109 | 0.000 % |
240.52/240.79 c | 274047 | 3902 16693 50723 | 2147483647 198809 109 | 0.000 % |
242.72/242.97 c | 275742 | 3902 16693 50723 | 2147483647 200504 109 | 0.000 % |
245.02/245.29 c | 277605 | 3902 16693 50723 | 2147483647 202367 109 | 0.000 % |
247.72/247.93 c | 279654 | 3902 16693 50723 | 2147483647 204416 109 | 0.000 % |
250.62/250.83 c | 281907 | 3902 16693 50723 | 2147483647 206669 109 | 0.000 % |
253.92/254.14 c | 284388 | 3902 16693 50723 | 2147483647 209150 109 | 0.000 % |
257.31/257.52 c | 287113 | 3902 16693 50723 | 2147483647 211875 109 | 0.000 % |
257.41/257.68 c | 287215 | 3902 16693 50723 | 2147483647 211977 109 | 0.000 % |
257.61/257.85 c | 287325 | 3902 16693 50723 | 2147483647 212087 109 | 0.000 % |
257.81/258.02 c | 287447 | 3902 16693 50723 | 2147483647 212209 109 | 0.000 % |
258.01/258.24 c | 287580 | 3902 16693 50723 | 2147483647 212342 109 | 0.000 % |
258.31/258.52 c | 287727 | 3902 16693 50723 | 2147483647 212489 109 | 0.000 % |
258.51/258.79 c | 287887 | 3902 16693 50723 | 2147483647 212649 109 | 0.000 % |
258.81/259.07 c | 288063 | 3902 16693 50723 | 2147483647 212825 109 | 0.000 % |
259.21/259.47 c | 288256 | 3902 16693 50723 | 2147483647 213018 109 | 0.000 % |
259.61/259.85 c | 288469 | 3902 16693 50723 | 2147483647 213231 109 | 0.000 % |
260.01/260.22 c | 288704 | 3902 16693 50723 | 2147483647 213466 109 | 0.000 % |
260.42/260.62 c | 288961 | 3902 16693 50723 | 2147483647 213723 109 | 0.000 % |
260.81/261.07 c | 289242 | 3902 16693 50723 | 2147483647 214004 109 | 0.000 % |
261.21/261.49 c | 289552 | 3902 16693 50723 | 2147483647 214314 109 | 0.000 % |
261.81/262.02 c | 289891 | 3902 16693 50723 | 2147483647 214653 109 | 0.000 % |
262.41/262.60 c | 290263 | 3902 16693 50723 | 214763 215025 109 | 0.000 % |
263.11/263.39 c | 290672 | 3902 16693 50723 | 214763 191933 109 | 0.000 % |
263.81/264.06 c | 291121 | 3902 16693 50723 | 214763 192382 109 | 0.000 % |
264.41/264.67 c | 291614 | 3902 16693 50723 | 214763 192875 109 | 0.000 % |
265.11/265.35 c | 292157 | 3902 16693 50723 | 214763 193418 109 | 0.000 % |
265.91/266.15 c | 292753 | 3902 16693 50723 | 214763 194014 109 | 0.000 % |
266.81/267.03 c | 293410 | 3902 16693 50723 | 214763 194671 109 | 0.000 % |
267.71/267.96 c | 294131 | 3902 16693 50723 | 214763 195392 109 | 0.000 % |
268.61/268.88 c | 294923 | 3902 16693 50723 | 214763 196184 109 | 0.000 % |
269.81/270.02 c | 295795 | 3902 16693 50723 | 214763 197056 109 | 0.000 % |
271.11/271.34 c | 296755 | 3902 16693 50723 | 214763 198016 109 | 0.000 % |
272.51/272.71 c | 297809 | 3902 16693 50723 | 214763 199070 109 | 0.000 % |
273.91/274.17 c | 298967 | 3902 16693 50723 | 214763 200228 109 | 0.000 % |
275.50/275.75 c | 300240 | 3902 16693 50723 | 2147483647 201501 109 | 0.000 % |
277.30/277.53 c | 301640 | 3902 16693 50723 | 2147483647 202901 109 | 0.000 % |
279.30/279.55 c | 303181 | 3902 16693 50723 | 2147483647 204442 109 | 0.000 % |
281.41/281.64 c | 304875 | 3902 16693 50723 | 2147483647 206136 109 | 0.000 % |
283.70/283.99 c | 306739 | 3902 16693 50723 | 2147483647 208000 109 | 0.000 % |
286.30/286.57 c | 308788 | 3902 16693 50723 | 2147483647 210049 109 | 0.000 % |
289.40/289.62 c | 311042 | 3902 16693 50723 | 2147483647 212303 109 | 0.000 % |
293.09/293.31 c | 313520 | 3902 16693 50723 | 2147483647 214781 109 | 0.000 % |
296.70/297.00 c | 316245 | 3902 16693 50723 | 2147483647 217506 110 | 0.000 % |
300.79/301.06 c | 319242 | 3902 16693 50723 | 2147483647 220503 110 | 0.000 % |
300.89/301.19 c | 319343 | 3902 16693 50723 | 2147483647 220604 110 | 0.000 % |
301.09/301.34 c | 319453 | 3902 16693 50723 | 2147483647 220714 110 | 0.000 % |
301.30/301.55 c | 319575 | 3902 16693 50723 | 2147483647 220836 110 | 0.000 % |
301.50/301.79 c | 319710 | 3902 16693 50723 | 2147483647 220971 110 | 0.000 % |
301.80/302.05 c | 319857 | 3902 16693 50723 | 2147483647 221118 110 | 0.000 % |
302.10/302.32 c | 320017 | 3902 16693 50723 | 221262 221278 110 | 0.000 % |
302.60/302.85 c | 320194 | 3902 16693 50723 | 221262 194460 110 | 0.000 % |
302.90/303.13 c | 320388 | 3902 16693 50723 | 221262 194654 110 | 0.000 % |
303.20/303.45 c | 320600 | 3902 16693 50723 | 221262 194866 110 | 0.000 % |
303.50/303.78 c | 320833 | 3902 16693 50723 | 221262 195099 110 | 0.000 % |
303.90/304.11 c | 321089 | 3902 16693 50723 | 221262 195355 110 | 0.000 % |
304.20/304.50 c | 321370 | 3902 16693 50723 | 221262 195636 110 | 0.000 % |
304.70/304.94 c | 321680 | 3902 16693 50723 | 221262 195946 110 | 0.000 % |
305.20/305.44 c | 322021 | 3902 16693 50723 | 221262 196287 109 | 0.000 % |
305.70/306.00 c | 322394 | 3902 16693 50723 | 221262 196660 110 | 0.000 % |
306.30/306.56 c | 322803 | 3902 16693 50723 | 221262 197069 110 | 0.000 % |
306.90/307.17 c | 323253 | 3902 16693 50723 | 221262 197519 109 | 0.000 % |
307.60/307.85 c | 323748 | 3902 16693 50723 | 221262 198014 109 | 0.000 % |
308.40/308.67 c | 324292 | 3902 16693 50723 | 221262 198558 109 | 0.000 % |
309.29/309.50 c | 324889 | 3902 16693 50723 | 221262 199155 109 | 0.000 % |
310.09/310.37 c | 325544 | 3902 16693 50723 | 221262 199810 110 | 0.000 % |
311.10/311.35 c | 326267 | 3902 16693 50723 | 221262 200533 110 | 0.000 % |
312.10/312.34 c | 327061 | 3902 16693 50723 | 221262 201327 110 | 0.000 % |
313.30/313.55 c | 327933 | 3902 16693 50723 | 221262 202199 110 | 0.000 % |
314.39/314.68 c | 328892 | 3902 16693 50723 | 221262 203158 110 | 0.000 % |
315.89/316.10 c | 329945 | 3902 16693 50723 | 221262 204211 110 | 0.000 % |
317.59/317.81 c | 331105 | 3902 16693 50723 | 204266 182190 110 | 0.000 % |
318.99/319.29 c | 332382 | 3902 16693 50723 | 204266 183467 110 | 0.000 % |
320.69/320.93 c | 333782 | 3902 16693 50723 | 204266 184867 110 | 0.000 % |
322.49/322.77 c | 335322 | 3902 16693 50723 | 204266 186407 110 | 0.000 % |
324.49/324.74 c | 337017 | 3902 16693 50723 | 204266 188102 110 | 0.000 % |
326.89/327.13 c | 338880 | 3902 16693 50723 | 204266 189965 110 | 0.000 % |
329.29/329.57 c | 340929 | 3902 16693 50723 | 2147483647 192014 110 | 0.000 % |
331.99/332.22 c | 343182 | 3902 16693 50723 | 2147483647 194267 110 | 0.000 % |
334.98/335.27 c | 345661 | 3902 16693 50723 | 2147483647 196746 110 | 0.000 % |
338.38/338.63 c | 348386 | 3902 16693 50723 | 2147483647 199471 111 | 0.000 % |
342.28/342.52 c | 351383 | 3902 16693 50723 | 2147483647 202468 111 | 0.000 % |
346.37/346.65 c | 354679 | 3902 16693 50723 | 2147483647 205764 111 | 0.000 % |
346.57/346.82 c | 354780 | 3902 16693 50723 | 2147483647 205865 111 | 0.000 % |
346.77/347.00 c | 354892 | 3902 16693 50723 | 2147483647 205977 111 | 0.000 % |
346.87/347.19 c | 355014 | 3902 16693 50723 | 2147483647 206099 111 | 0.000 % |
347.17/347.45 c | 355147 | 3902 16693 50723 | 2147483647 206232 111 | 0.000 % |
347.38/347.69 c | 355294 | 3902 16693 50723 | 2147483647 206379 111 | 0.000 % |
347.67/347.95 c | 355456 | 3902 16693 50723 | 2147483647 206541 111 | 0.000 % |
347.97/348.25 c | 355632 | 3902 16693 50723 | 2147483647 206717 111 | 0.000 % |
348.27/348.56 c | 355826 | 3902 16693 50723 | 2147483647 206911 111 | 0.000 % |
348.67/348.91 c | 356039 | 3902 16693 50723 | 2147483647 207124 111 | 0.000 % |
348.97/349.30 c | 356275 | 3902 16693 50723 | 2147483647 207360 111 | 0.000 % |
349.48/349.71 c | 356531 | 3902 16693 50723 | 2147483647 207616 111 | 0.000 % |
349.97/350.21 c | 356815 | 3902 16693 50723 | 2147483647 207900 111 | 0.000 % |
350.47/350.73 c | 357124 | 3902 16693 50723 | 2147483647 208209 111 | 0.000 % |
350.97/351.26 c | 357463 | 3902 16693 50723 | 2147483647 208548 111 | 0.000 % |
351.57/351.84 c | 357837 | 3902 16693 50723 | 2147483647 208922 111 | 0.000 % |
352.17/352.49 c | 358246 | 3902 16693 50723 | 2147483647 209331 111 | 0.000 % |
352.88/353.13 c | 358696 | 3902 16693 50723 | 2147483647 209781 111 | 0.000 % |
353.57/353.89 c | 359190 | 3902 16693 50723 | 2147483647 210275 111 | 0.000 % |
354.47/354.73 c | 359733 | 3902 16693 50723 | 2147483647 210818 111 | 0.000 % |
355.37/355.62 c | 360330 | 3902 16693 50723 | 211087 211415 111 | 0.000 % |
356.37/356.68 c | 360987 | 3902 16693 50723 | 211087 188421 111 | 0.000 % |
357.37/357.61 c | 361707 | 3902 16693 50723 | 211087 189141 111 | 0.000 % |
358.37/358.69 c | 362500 | 3902 16693 50723 | 211087 189934 111 | 0.000 % |
359.57/359.87 c | 363372 | 3902 16693 50723 | 211087 190806 111 | 0.000 % |
360.87/361.19 c | 364330 | 3902 16693 50723 | 211087 191764 111 | 0.000 % |
362.27/362.53 c | 365384 | 3902 16693 50723 | 211087 192818 111 | 0.000 % |
363.87/364.13 c | 366543 | 3902 16693 50723 | 211087 193977 111 | 0.000 % |
365.67/365.98 c | 367816 | 3902 16693 50723 | 211087 195250 111 | 0.000 % |
367.47/367.77 c | 369217 | 3902 16693 50723 | 211087 196651 111 | 0.000 % |
369.47/369.71 c | 370759 | 3902 16693 50723 | 2147483647 198193 111 | 0.000 % |
371.67/371.94 c | 372453 | 3902 16693 50723 | 2147483647 199887 111 | 0.000 % |
374.17/374.43 c | 374316 | 3902 16693 50723 | 2147483647 201750 111 | 0.000 % |
376.66/376.95 c | 376367 | 3902 16693 50723 | 2147483647 203801 111 | 0.000 % |
379.46/379.79 c | 378621 | 3902 16693 50723 | 2147483647 206055 111 | 0.000 % |
382.86/383.16 c | 381100 | 3902 16693 50723 | 2147483647 208534 111 | 0.000 % |
386.36/386.61 c | 383825 | 3902 16693 50723 | 2147483647 211259 111 | 0.000 % |
390.46/390.70 c | 386824 | 3902 16693 50723 | 2147483647 214258 111 | 0.000 % |
394.75/395.00 c | 390120 | 3902 16693 50723 | 2147483647 217554 111 | 0.000 % |
399.56/399.87 c | 393745 | 3902 16693 50723 | 2147483647 221179 111 | 0.000 % |
399.76/400.06 c | 393845 | 3902 16693 50723 | 2147483647 221279 111 | 0.000 % |
399.96/400.29 c | 393961 | 3902 16693 50723 | 2147483647 221395 111 | 0.000 % |
400.16/400.50 c | 394084 | 3902 16693 50723 | 2147483647 221518 111 | 0.000 % |
400.46/400.75 c | 394217 | 3902 16693 50723 | 2147483647 221651 111 | 0.000 % |
400.65/401.00 c | 394363 | 3902 16693 50723 | 2147483647 221797 111 | 0.000 % |
400.95/401.30 c | 394523 | 3902 16693 50723 | 2147483647 221957 111 | 0.000 % |
401.35/401.65 c | 394699 | 3902 16693 50723 | 2147483647 222133 111 | 0.000 % |
401.65/401.96 c | 394894 | 3902 16693 50723 | 2147483647 222328 111 | 0.000 % |
402.05/402.30 c | 395106 | 3902 16693 50723 | 2147483647 222540 111 | 0.000 % |
402.36/402.62 c | 395339 | 3902 16693 50723 | 2147483647 222773 111 | 0.000 % |
402.65/402.99 c | 395597 | 3902 16693 50723 | 2147483647 223031 111 | 0.000 % |
403.25/403.50 c | 395878 | 3902 16693 50723 | 2147483647 223312 111 | 0.000 % |
403.65/403.99 c | 396188 | 3902 16693 50723 | 2147483647 223622 111 | 0.000 % |
404.15/404.49 c | 396531 | 3902 16693 50723 | 2147483647 223965 111 | 0.000 % |
404.85/405.13 c | 396904 | 3902 16693 50723 | 2147483647 224338 111 | 0.000 % |
405.45/405.79 c | 397313 | 3902 16693 50723 | 2147483647 224747 111 | 0.000 % |
406.15/406.48 c | 397762 | 3902 16693 50723 | 2147483647 225196 111 | 0.000 % |
406.96/407.22 c | 398256 | 3902 16693 50723 | 2147483647 225690 111 | 0.000 % |
407.76/408.01 c | 398798 | 3902 16693 50723 | 2147483647 226232 111 | 0.000 % |
408.65/408.90 c | 399396 | 3902 16693 50723 | 2147483647 226830 111 | 0.000 % |
409.55/409.86 c | 400055 | 3902 16693 50723 | 227436 227489 111 | 0.000 % |
410.85/411.16 c | 400778 | 3902 16693 50723 | 227436 197454 110 | 0.000 % |
411.95/412.21 c | 401572 | 3902 16693 50723 | 227436 198248 110 | 0.000 % |
413.05/413.35 c | 402443 | 3902 16693 50723 | 227436 199119 111 | 0.000 % |
414.25/414.55 c | 403403 | 3902 16693 50723 | 227436 200079 111 | 0.000 % |
415.65/415.91 c | 404457 | 3902 16693 50723 | 227436 201133 111 | 0.000 % |
417.15/417.41 c | 405615 | 3902 16693 50723 | 227436 202291 111 | 0.000 % |
418.76/419.07 c | 406889 | 3902 16693 50723 | 227436 203565 111 | 0.000 % |
420.75/421.03 c | 408291 | 3902 16693 50723 | 227436 204967 111 | 0.000 % |
422.75/423.04 c | 409834 | 3902 16693 50723 | 227436 206510 111 | 0.000 % |
425.25/425.50 c | 411528 | 3902 16693 50723 | 206676 185005 110 | 0.000 % |
427.44/427.78 c | 413393 | 3902 16693 50723 | 206676 186870 110 | 0.000 % |
430.04/430.39 c | 415442 | 3902 16693 50723 | 206676 188919 111 | 0.000 % |
432.94/433.24 c | 417695 | 3902 16693 50723 | 206676 191172 111 | 0.000 % |
436.04/436.36 c | 420175 | 3902 16693 50723 | 2147483647 193652 111 | 0.000 % |
439.54/439.80 c | 422900 | 3902 16693 50723 | 2147483647 196377 111 | 0.000 % |
443.14/443.40 c | 425897 | 3902 16693 50723 | 2147483647 199374 111 | 0.000 % |
447.24/447.52 c | 429195 | 3902 16693 50723 | 2147483647 202672 111 | 0.000 % |
451.74/452.10 c | 432820 | 3902 16693 50723 | 2147483647 206297 111 | 0.000 % |
456.63/456.93 c | 436808 | 3902 16693 50723 | 2147483647 210285 112 | 0.000 % |
456.73/457.08 c | 436908 | 3902 16693 50723 | 2147483647 210385 112 | 0.000 % |
456.93/457.29 c | 437018 | 3902 16693 50723 | 2147483647 210495 112 | 0.000 % |
457.24/457.55 c | 437139 | 3902 16693 50723 | 2147483647 210616 112 | 0.000 % |
457.43/457.76 c | 437273 | 3902 16693 50723 | 2147483647 210750 112 | 0.000 % |
457.73/458.01 c | 437420 | 3902 16693 50723 | 2147483647 210897 112 | 0.000 % |
457.93/458.22 c | 437580 | 3902 16693 50723 | 2147483647 211057 112 | 0.000 % |
458.23/458.53 c | 437756 | 3902 16693 50723 | 2147483647 211233 111 | 0.000 % |
458.53/458.84 c | 437950 | 3902 16693 50723 | 2147483647 211427 111 | 0.000 % |
458.83/459.18 c | 438162 | 3902 16693 50723 | 2147483647 211639 111 | 0.000 % |
459.23/459.51 c | 438397 | 3902 16693 50723 | 2147483647 211874 111 | 0.000 % |
459.63/459.94 c | 438655 | 3902 16693 50723 | 2147483647 212132 111 | 0.000 % |
460.03/460.36 c | 438937 | 3902 16693 50723 | 2147483647 212414 111 | 0.000 % |
460.54/460.86 c | 439246 | 3902 16693 50723 | 2147483647 212723 111 | 0.000 % |
461.03/461.35 c | 439585 | 3902 16693 50723 | 2147483647 213062 111 | 0.000 % |
461.63/461.94 c | 439957 | 3902 16693 50723 | 2147483647 213434 111 | 0.000 % |
462.23/462.54 c | 440366 | 3902 16693 50723 | 2147483647 213843 111 | 0.000 % |
462.83/463.18 c | 440815 | 3902 16693 50723 | 2147483647 214292 111 | 0.000 % |
463.63/463.91 c | 441308 | 3902 16693 50723 | 2147483647 214785 111 | 0.000 % |
464.33/464.65 c | 441850 | 3902 16693 50723 | 2147483647 215327 111 | 0.000 % |
465.13/465.49 c | 442446 | 3902 16693 50723 | 2147483647 215923 111 | 0.000 % |
466.13/466.48 c | 443101 | 3902 16693 50723 | 2147483647 216578 111 | 0.000 % |
467.23/467.56 c | 443822 | 3902 16693 50723 | 2147483647 217299 111 | 0.000 % |
468.43/468.72 c | 444614 | 3902 16693 50723 | 2147483647 218091 111 | 0.000 % |
469.63/469.92 c | 445485 | 3902 16693 50723 | 2147483647 218962 111 | 0.000 % |
471.02/471.31 c | 446443 | 3902 16693 50723 | 2147483647 219920 111 | 0.000 % |
472.52/472.82 c | 447496 | 3902 16693 50723 | 2147483647 220973 111 | 0.000 % |
474.22/474.50 c | 448655 | 3902 16693 50723 | 2147483647 222132 111 | 0.000 % |
475.92/476.21 c | 449928 | 3902 16693 50723 | 2147483647 223405 111 | 0.000 % |
478.02/478.33 c | 451328 | 3902 16693 50723 | 223478 196248 112 | 0.000 % |
480.02/480.38 c | 452872 | 3902 16693 50723 | 223478 197792 112 | 0.000 % |
482.22/482.59 c | 454568 | 3902 16693 50723 | 223478 199488 112 | 0.000 % |
484.82/485.13 c | 456431 | 3902 16693 50723 | 223478 201351 112 | 0.000 % |
487.52/487.84 c | 458481 | 3902 16693 50723 | 223478 203401 112 | 0.000 % |
490.72/491.03 c | 460734 | 3902 16693 50723 | 204920 184446 112 | 0.000 % |
493.81/494.18 c | 463213 | 3902 16693 50723 | 204920 186925 112 | 0.000 % |
497.11/497.42 c | 465940 | 3902 16693 50723 | 204920 189652 112 | 0.000 % |
500.71/501.09 c | 468938 | 3902 16693 50723 | 204920 192650 112 | 0.000 % |
504.71/505.01 c | 472234 | 3902 16693 50723 | 2147483647 195946 112 | 0.000 % |
509.02/509.36 c | 475859 | 3902 16693 50723 | 2147483647 199571 112 | 0.000 % |
514.11/514.48 c | 479846 | 3902 16693 50723 | 2147483647 203558 113 | 0.000 % |
519.70/520.03 c | 484231 | 3902 16693 50723 | 2147483647 207943 113 | 0.000 % |
519.80/520.18 c | 484331 | 3902 16693 50723 | 2147483647 208043 113 | 0.000 % |
520.01/520.35 c | 484442 | 3902 16693 50723 | 2147483647 208154 113 | 0.000 % |
520.20/520.56 c | 484563 | 3902 16693 50723 | 2147483647 208275 113 | 0.000 % |
520.40/520.78 c | 484696 | 3902 16693 50723 | 2147483647 208408 113 | 0.000 % |
520.70/521.03 c | 484843 | 3902 16693 50723 | 2147483647 208555 113 | 0.000 % |
520.90/521.24 c | 485003 | 3902 16693 50723 | 2147483647 208715 113 | 0.000 % |
521.20/521.55 c | 485179 | 3902 16693 50723 | 2147483647 208891 113 | 0.000 % |
521.50/521.82 c | 485372 | 3902 16693 50723 | 2147483647 209084 113 | 0.000 % |
521.80/522.15 c | 485584 | 3902 16693 50723 | 2147483647 209296 113 | 0.000 % |
522.20/522.52 c | 485817 | 3902 16693 50723 | 2147483647 209529 113 | 0.000 % |
522.60/522.95 c | 486075 | 3902 16693 50723 | 2147483647 209787 113 | 0.000 % |
523.10/523.42 c | 486356 | 3902 16693 50723 | 2147483647 210068 113 | 0.000 % |
523.50/523.89 c | 486669 | 3902 16693 50723 | 2147483647 210381 113 | 0.000 % |
524.10/524.44 c | 487009 | 3902 16693 50723 | 2147483647 210721 113 | 0.000 % |
524.70/525.04 c | 487382 | 3902 16693 50723 | 2147483647 211094 113 | 0.000 % |
525.30/525.63 c | 487791 | 3902 16693 50723 | 2147483647 211503 113 | 0.000 % |
526.00/526.33 c | 488242 | 3902 16693 50723 | 2147483647 211954 113 | 0.000 % |
526.80/527.11 c | 488737 | 3902 16693 50723 | 2147483647 212449 113 | 0.000 % |
527.50/527.88 c | 489280 | 3902 16693 50723 | 2147483647 212992 113 | 0.000 % |
528.30/528.66 c | 489878 | 3902 16693 50723 | 2147483647 213590 113 | 0.000 % |
529.20/529.60 c | 490533 | 3902 16693 50723 | 213713 214245 113 | 0.000 % |
530.50/530.87 c | 491253 | 3902 16693 50723 | 213713 189448 113 | 0.000 % |
531.70/532.02 c | 492045 | 3902 16693 50723 | 213713 190240 113 | 0.000 % |
532.90/533.20 c | 492918 | 3902 16693 50723 | 213713 191113 113 | 0.000 % |
534.10/534.44 c | 493876 | 3902 16693 50723 | 213713 192071 113 | 0.000 % |
535.40/535.71 c | 494929 | 3902 16693 50723 | 213713 193124 113 | 0.000 % |
536.90/537.28 c | 496088 | 3902 16693 50723 | 213713 194283 113 | 0.000 % |
538.70/539.08 c | 497362 | 3902 16693 50723 | 213713 195557 113 | 0.000 % |
540.49/540.90 c | 498763 | 3902 16693 50723 | 213713 196958 113 | 0.000 % |
542.49/542.89 c | 500303 | 3902 16693 50723 | 198195 198498 113 | 0.000 % |
544.79/545.11 c | 501997 | 3902 16693 50723 | 198195 179702 113 | 0.000 % |
546.79/547.14 c | 503860 | 3902 16693 50723 | 198195 181565 113 | 0.000 % |
549.09/549.46 c | 505913 | 3902 16693 50723 | 198195 183618 113 | 0.000 % |
551.99/552.32 c | 508169 | 3902 16693 50723 | 198195 185874 113 | 0.000 % |
555.09/555.43 c | 510647 | 3902 16693 50723 | 2147483647 188352 113 | 0.000 % |
558.29/558.61 c | 513373 | 3902 16693 50723 | 2147483647 191078 113 | 0.000 % |
561.88/562.20 c | 516370 | 3902 16693 50723 | 2147483647 194075 113 | 0.000 % |
565.78/566.15 c | 519666 | 3902 16693 50723 | 2147483647 197371 113 | 0.000 % |
570.18/570.50 c | 523295 | 3902 16693 50723 | 2147483647 201000 113 | 0.000 % |
575.28/575.67 c | 527282 | 3902 16693 50723 | 2147483647 204987 113 | 0.000 % |
581.08/581.46 c | 531667 | 3902 16693 50723 | 2147483647 209372 114 | 0.000 % |
587.18/587.59 c | 536491 | 3902 16693 50723 | 2147483647 214196 114 | 0.000 % |
587.38/587.76 c | 536595 | 3902 16693 50723 | 2147483647 214300 114 | 0.000 % |
587.58/587.95 c | 536705 | 3902 16693 50723 | 2147483647 214410 114 | 0.000 % |
587.78/588.17 c | 536828 | 3902 16693 50723 | 2147483647 214533 114 | 0.000 % |
587.98/588.39 c | 536961 | 3902 16693 50723 | 2147483647 214666 114 | 0.000 % |
588.28/588.62 c | 537108 | 3902 16693 50723 | 2147483647 214813 114 | 0.000 % |
588.48/588.88 c | 537268 | 3902 16693 50723 | 2147483647 214973 114 | 0.000 % |
588.78/589.17 c | 537444 | 3902 16693 50723 | 2147483647 215149 114 | 0.000 % |
589.08/589.48 c | 537638 | 3902 16693 50723 | 2147483647 215343 114 | 0.000 % |
589.48/589.84 c | 537851 | 3902 16693 50723 | 2147483647 215556 114 | 0.000 % |
589.88/590.23 c | 538085 | 3902 16693 50723 | 2147483647 215790 114 | 0.000 % |
590.28/590.67 c | 538341 | 3902 16693 50723 | 2147483647 216046 114 | 0.000 % |
590.78/591.11 c | 538622 | 3902 16693 50723 | 2147483647 216327 114 | 0.000 % |
591.18/591.58 c | 538931 | 3902 16693 50723 | 2147483647 216636 114 | 0.000 % |
591.68/592.08 c | 539271 | 3902 16693 50723 | 2147483647 216976 114 | 0.000 % |
592.28/592.65 c | 539643 | 3902 16693 50723 | 2147483647 217348 114 | 0.000 % |
592.87/593.24 c | 540053 | 3902 16693 50723 | 217707 217758 114 | 0.000 % |
593.77/594.13 c | 540502 | 3902 16693 50723 | 217707 193565 114 | 0.000 % |
594.47/594.87 c | 540997 | 3902 16693 50723 | 217707 194060 114 | 0.000 % |
595.27/595.61 c | 541539 | 3902 16693 50723 | 217707 194602 114 | 0.000 % |
596.07/596.44 c | 542135 | 3902 16693 50723 | 217707 195198 114 | 0.000 % |
596.98/597.32 c | 542790 | 3902 16693 50723 | 217707 195853 114 | 0.000 % |
597.98/598.32 c | 543510 | 3902 16693 50723 | 217707 196573 114 | 0.000 % |
599.08/599.45 c | 544302 | 3902 16693 50723 | 217707 197365 114 | 0.000 % |
600.18/600.55 c | 545173 | 3902 16693 50723 | 217707 198236 114 | 0.000 % |
601.47/601.80 c | 546131 | 3902 16693 50723 | 217707 199194 114 | 0.000 % |
602.77/603.15 c | 547184 | 3902 16693 50723 | 217707 200247 114 | 0.000 % |
604.27/604.60 c | 548343 | 3902 16693 50723 | 217707 201406 114 | 0.000 % |
606.06/606.42 c | 549617 | 3902 16693 50723 | 217707 202680 114 | 0.000 % |
608.06/608.48 c | 551017 | 3902 16693 50723 | 203064 182355 113 | 0.000 % |
609.96/610.40 c | 552561 | 3902 16693 50723 | 203064 183899 113 | 0.000 % |
612.16/612.54 c | 554257 | 3902 16693 50723 | 203064 185595 113 | 0.000 % |
614.47/614.86 c | 556120 | 3902 16693 50723 | 203064 187458 113 | 0.000 % |
616.96/617.31 c | 558173 | 3902 16693 50723 | 203064 189511 113 | 0.000 % |
619.76/620.11 c | 560427 | 3902 16693 50723 | 2147483647 191765 114 | 0.000 % |
622.66/623.10 c | 562906 | 3902 16693 50723 | 2147483647 194244 114 | 0.000 % |
626.16/626.57 c | 565632 | 3902 16693 50723 | 2147483647 196970 114 | 0.000 % |
629.86/630.29 c | 568629 | 3902 16693 50723 | 2147483647 199967 114 | 0.000 % |
634.36/634.74 c | 571926 | 3902 16693 50723 | 2147483647 203264 114 | 0.000 % |
639.15/639.57 c | 575551 | 3902 16693 50723 | 2147483647 206889 114 | 0.000 % |
644.26/644.65 c | 579538 | 3902 16693 50723 | 2147483647 210876 114 | 0.000 % |
649.84/650.25 c | 583924 | 3902 16693 50723 | 2147483647 215262 114 | 0.000 % |
656.04/656.40 c | 588749 | 3902 16693 50723 | 2147483647 220087 115 | 0.000 % |
662.85/663.28 c | 594054 | 3902 16693 50723 | 221338 202254 115 | 0.000 % |
663.05/663.44 c | 594155 | 3902 16693 50723 | 221338 202355 115 | 0.000 % |
663.25/663.64 c | 594267 | 3902 16693 50723 | 221338 202467 115 | 0.000 % |
663.44/663.83 c | 594388 | 3902 16693 50723 | 221338 202588 115 | 0.000 % |
663.64/664.05 c | 594522 | 3902 16693 50723 | 221338 202722 115 | 0.000 % |
663.95/664.33 c | 594668 | 3902 16693 50723 | 221338 202868 115 | 0.000 % |
664.14/664.58 c | 594828 | 3902 16693 50723 | 221338 203028 115 | 0.000 % |
664.44/664.85 c | 595004 | 3902 16693 50723 | 221338 203204 115 | 0.000 % |
664.74/665.18 c | 595197 | 3902 16693 50723 | 221338 203397 115 | 0.000 % |
665.15/665.51 c | 595409 | 3902 16693 50723 | 221338 203609 115 | 0.000 % |
665.44/665.85 c | 595642 | 3902 16693 50723 | 221338 203842 115 | 0.000 % |
665.84/666.27 c | 595899 | 3902 16693 50723 | 221338 204099 115 | 0.000 % |
666.34/666.74 c | 596182 | 3902 16693 50723 | 221338 204382 115 | 0.000 % |
666.74/667.19 c | 596493 | 3902 16693 50723 | 221338 204693 115 | 0.000 % |
667.25/667.69 c | 596832 | 3902 16693 50723 | 221338 205032 115 | 0.000 % |
667.84/668.23 c | 597204 | 3902 16693 50723 | 221338 205404 115 | 0.000 % |
668.44/668.81 c | 597613 | 3902 16693 50723 | 221338 205813 115 | 0.000 % |
669.14/669.55 c | 598064 | 3902 16693 50723 | 221338 206264 115 | 0.000 % |
669.84/670.28 c | 598557 | 3902 16693 50723 | 221338 206757 115 | 0.000 % |
670.74/671.10 c | 599099 | 3902 16693 50723 | 221338 207299 115 | 0.000 % |
671.64/672.06 c | 599695 | 3902 16693 50723 | 221338 207895 115 | 0.000 % |
672.64/673.02 c | 600352 | 3902 16693 50723 | 208200 208552 115 | 0.000 % |
673.74/674.20 c | 601072 | 3902 16693 50723 | 208200 183584 115 | 0.000 % |
674.94/675.31 c | 601867 | 3902 16693 50723 | 208200 184379 115 | 0.000 % |
675.93/676.32 c | 602739 | 3902 16693 50723 | 208200 185251 115 | 0.000 % |
677.14/677.54 c | 603697 | 3902 16693 50723 | 208200 186209 115 | 0.000 % |
678.53/678.90 c | 604750 | 3902 16693 50723 | 208200 187262 115 | 0.000 % |
679.93/680.35 c | 605910 | 3902 16693 50723 | 208200 188422 115 | 0.000 % |
681.43/681.90 c | 607183 | 3902 16693 50723 | 208200 189695 115 | 0.000 % |
683.33/683.71 c | 608584 | 3902 16693 50723 | 208200 191096 115 | 0.000 % |
685.33/685.74 c | 610124 | 3902 16693 50723 | 2147483647 192636 115 | 0.000 % |
687.33/687.72 c | 611818 | 3902 16693 50723 | 2147483647 194330 115 | 0.000 % |
689.83/690.24 c | 613682 | 3902 16693 50723 | 2147483647 196194 115 | 0.000 % |
692.33/692.78 c | 615731 | 3902 16693 50723 | 2147483647 198243 115 | 0.000 % |
695.22/695.63 c | 617985 | 3902 16693 50723 | 2147483647 200497 115 | 0.000 % |
698.42/698.87 c | 620463 | 3902 16693 50723 | 2147483647 202975 115 | 0.000 % |
701.92/702.39 c | 623193 | 3902 16693 50723 | 2147483647 205705 115 | 0.000 % |
705.82/706.22 c | 626191 | 3902 16693 50723 | 2147483647 208703 115 | 0.000 % |
710.02/710.44 c | 629487 | 3902 16693 50723 | 2147483647 211999 115 | 0.000 % |
714.72/715.12 c | 633112 | 3902 16693 50723 | 2147483647 215624 116 | 0.000 % |
720.12/720.58 c | 637099 | 3902 16693 50723 | 2147483647 219611 116 | 0.000 % |
726.51/726.94 c | 641486 | 3902 16693 50723 | 222512 198636 116 | 0.000 % |
732.61/733.10 c | 646309 | 3902 16693 50723 | 222512 203459 116 | 0.000 % |
739.70/740.13 c | 651616 | 3902 16693 50723 | 207150 187654 116 | 0.000 % |
746.80/747.27 c | 657452 | 3902 16693 50723 | 207150 193490 117 | 0.000 % |
747.00/747.40 c | 657553 | 3902 16693 50723 | 207150 193591 117 | 0.000 % |
747.20/747.63 c | 657666 | 3902 16693 50723 | 207150 193704 117 | 0.000 % |
747.40/747.81 c | 657787 | 3902 16693 50723 | 207150 193825 117 | 0.000 % |
747.60/748.03 c | 657920 | 3902 16693 50723 | 207150 193958 117 | 0.000 % |
747.80/748.26 c | 658067 | 3902 16693 50723 | 207150 194105 117 | 0.000 % |
748.10/748.52 c | 658228 | 3902 16693 50723 | 207150 194266 117 | 0.000 % |
748.40/748.82 c | 658405 | 3902 16693 50723 | 207150 194443 117 | 0.000 % |
748.60/749.09 c | 658598 | 3902 16693 50723 | 207150 194636 117 | 0.000 % |
748.90/749.39 c | 658812 | 3902 16693 50723 | 207150 194850 117 | 0.000 % |
749.30/749.74 c | 659045 | 3902 16693 50723 | 207150 195083 117 | 0.000 % |
749.60/750.10 c | 659301 | 3902 16693 50723 | 207150 195339 117 | 0.000 % |
750.10/750.51 c | 659582 | 3902 16693 50723 | 207150 195620 117 | 0.000 % |
750.60/751.01 c | 659891 | 3902 16693 50723 | 207150 195929 116 | 0.000 % |
751.10/751.53 c | 660230 | 3902 16693 50723 | 2147483647 196268 116 | 0.000 % |
751.60/752.08 c | 660602 | 3902 16693 50723 | 2147483647 196640 116 | 0.000 % |
752.20/752.68 c | 661011 | 3902 16693 50723 | 2147483647 197049 116 | 0.000 % |
752.90/753.33 c | 661461 | 3902 16693 50723 | 2147483647 197499 116 | 0.000 % |
753.59/754.07 c | 661954 | 3902 16693 50723 | 2147483647 197992 116 | 0.000 % |
754.39/754.83 c | 662497 | 3902 16693 50723 | 2147483647 198535 116 | 0.000 % |
755.09/755.57 c | 663093 | 3902 16693 50723 | 2147483647 199131 116 | 0.000 % |
755.99/756.48 c | 663748 | 3902 16693 50723 | 2147483647 199786 116 | 0.000 % |
756.99/757.45 c | 664468 | 3902 16693 50723 | 2147483647 200506 116 | 0.000 % |
757.99/758.46 c | 665261 | 3902 16693 50723 | 2147483647 201299 116 | 0.000 % |
759.09/759.57 c | 666133 | 3902 16693 50723 | 2147483647 202171 116 | 0.000 % |
760.39/760.82 c | 667091 | 3902 16693 50723 | 2147483647 203129 116 | 0.000 % |
761.69/762.19 c | 668145 | 3902 16693 50723 | 2147483647 204183 116 | 0.000 % |
763.29/763.76 c | 669304 | 3902 16693 50723 | 2147483647 205342 116 | 0.000 % |
764.99/765.40 c | 670578 | 3902 16693 50723 | 206038 206616 117 | 0.000 % |
767.10/767.52 c | 671978 | 3902 16693 50723 | 206038 187355 116 | 0.000 % |
768.90/769.40 c | 673519 | 3902 16693 50723 | 206038 188896 116 | 0.000 % |
771.10/771.56 c | 675213 | 3902 16693 50723 | 206038 190590 116 | 0.000 % |
773.60/774.03 c | 677076 | 3902 16693 50723 | 206038 192453 116 | 0.000 % |
776.20/776.62 c | 679128 | 3902 16693 50723 | 206038 194505 116 | 0.000 % |
778.89/779.36 c | 681381 | 3902 16693 50723 | 2147483647 196758 116 | 0.000 % |
781.89/782.36 c | 683859 | 3902 16693 50723 | 2147483647 199236 116 | 0.000 % |
785.49/785.94 c | 686584 | 3902 16693 50723 | 2147483647 201961 116 | 0.000 % |
789.49/789.97 c | 689582 | 3902 16693 50723 | 2147483647 204959 116 | 0.000 % |
793.88/794.38 c | 692879 | 3902 16693 50723 | 2147483647 208256 116 | 0.000 % |
798.58/799.00 c | 696505 | 3902 16693 50723 | 2147483647 211882 116 | 0.000 % |
803.88/804.33 c | 700493 | 3902 16693 50723 | 215378 215870 116 | 0.000 % |
809.48/809.96 c | 704879 | 3902 16693 50723 | 215378 196745 117 | 0.000 % |
815.58/816.00 c | 709703 | 3902 16693 50723 | 215378 201569 117 | 0.000 % |
822.17/822.62 c | 715008 | 3902 16693 50723 | 2147483647 206874 117 | 0.000 % |
830.37/830.83 c | 720843 | 3902 16693 50723 | 211868 189770 117 | 0.000 % |
838.36/838.88 c | 727261 | 3902 16693 50723 | 211868 196188 117 | 0.000 % |
838.56/839.02 c | 727361 | 3902 16693 50723 | 211868 196288 117 | 0.000 % |
838.77/839.20 c | 727471 | 3902 16693 50723 | 211868 196398 117 | 0.000 % |
838.96/839.41 c | 727592 | 3902 16693 50723 | 211868 196519 117 | 0.000 % |
839.16/839.64 c | 727725 | 3902 16693 50723 | 211868 196652 117 | 0.000 % |
839.36/839.89 c | 727875 | 3902 16693 50723 | 211868 196802 117 | 0.000 % |
839.66/840.16 c | 728036 | 3902 16693 50723 | 211868 196963 117 | 0.000 % |
839.97/840.44 c | 728214 | 3902 16693 50723 | 211868 197141 117 | 0.000 % |
840.26/840.72 c | 728408 | 3902 16693 50723 | 211868 197335 117 | 0.000 % |
840.56/841.07 c | 728621 | 3902 16693 50723 | 211868 197548 117 | 0.000 % |
840.97/841.42 c | 728854 | 3902 16693 50723 | 211868 197781 117 | 0.000 % |
841.36/841.83 c | 729110 | 3902 16693 50723 | 211868 198037 117 | 0.000 % |
841.76/842.27 c | 729391 | 3902 16693 50723 | 211868 198318 117 | 0.000 % |
842.26/842.73 c | 729700 | 3902 16693 50723 | 211868 198627 117 | 0.000 % |
842.76/843.25 c | 730040 | 3902 16693 50723 | 198928 198967 117 | 0.000 % |
843.56/844.00 c | 730413 | 3902 16693 50723 | 198928 177840 116 | 0.000 % |
844.06/844.56 c | 730822 | 3902 16693 50723 | 198928 178249 116 | 0.000 % |
844.66/845.15 c | 731273 | 3902 16693 50723 | 198928 178700 116 | 0.000 % |
845.26/845.77 c | 731768 | 3902 16693 50723 | 198928 179195 116 | 0.000 % |
845.96/846.44 c | 732310 | 3902 16693 50723 | 198928 179737 116 | 0.000 % |
846.66/847.17 c | 732906 | 3902 16693 50723 | 198928 180333 116 | 0.000 % |
847.56/848.03 c | 733562 | 3902 16693 50723 | 198928 180989 116 | 0.000 % |
848.46/848.98 c | 734282 | 3902 16693 50723 | 198928 181709 116 | 0.000 % |
849.46/849.94 c | 735074 | 3902 16693 50723 | 198928 182501 116 | 0.000 % |
850.66/851.10 c | 735945 | 3902 16693 50723 | 198928 183372 116 | 0.000 % |
851.96/852.43 c | 736904 | 3902 16693 50723 | 198928 184331 116 | 0.000 % |
853.26/853.77 c | 737957 | 3902 16693 50723 | 198928 185384 116 | 0.000 % |
854.66/855.14 c | 739115 | 3902 16693 50723 | 198928 186542 116 | 0.000 % |
856.25/856.70 c | 740388 | 3902 16693 50723 | 2147483647 187815 116 | 0.000 % |
858.05/858.53 c | 741790 | 3902 16693 50723 | 2147483647 189217 116 | 0.000 % |
860.05/860.59 c | 743330 | 3902 16693 50723 | 2147483647 190757 116 | 0.000 % |
862.15/862.69 c | 745024 | 3902 16693 50723 | 2147483647 192451 116 | 0.000 % |
864.45/865.00 c | 746888 | 3902 16693 50723 | 2147483647 194315 116 | 0.000 % |
867.05/867.54 c | 748937 | 3902 16693 50723 | 2147483647 196364 116 | 0.000 % |
869.75/870.28 c | 751191 | 3902 16693 50723 | 2147483647 198618 116 | 0.000 % |
872.55/873.09 c | 753669 | 3902 16693 50723 | 2147483647 201096 116 | 0.000 % |
876.04/876.53 c | 756394 | 3902 16693 50723 | 2147483647 203821 116 | 0.000 % |
879.94/880.47 c | 759391 | 3902 16693 50723 | 2147483647 206818 116 | 0.000 % |
884.34/884.84 c | 762687 | 3902 16693 50723 | 2147483647 210114 116 | 0.000 % |
889.24/889.78 c | 766315 | 3902 16693 50723 | 2147483647 213742 117 | 0.000 % |
894.84/895.34 c | 770303 | 3902 16693 50723 | 217427 217730 117 | 0.000 % |
900.63/901.18 c | 774688 | 3902 16693 50723 | 217427 197855 118 | 0.000 % |
906.83/907.36 c | 779511 | 3902 16693 50723 | 217427 202678 118 | 0.000 % |
914.03/914.58 c | 784816 | 3902 16693 50723 | 2147483647 207983 118 | 0.000 % |
922.12/922.61 c | 790653 | 3902 16693 50723 | 213167 187757 118 | 0.000 % |
930.02/930.53 c | 797072 | 3902 16693 50723 | 213167 194176 118 | 0.000 % |
939.01/939.50 c | 804131 | 3902 16693 50723 | 2147483647 201235 119 | 0.000 % |
939.11/939.66 c | 804233 | 3902 16693 50723 | 2147483647 201337 119 | 0.000 % |
939.31/939.85 c | 804345 | 3902 16693 50723 | 2147483647 201449 119 | 0.000 % |
939.51/940.05 c | 804466 | 3902 16693 50723 | 2147483647 201570 119 | 0.000 % |
939.71/940.24 c | 804599 | 3902 16693 50723 | 2147483647 201703 119 | 0.000 % |
940.02/940.51 c | 804745 | 3902 16693 50723 | 2147483647 201849 119 | 0.000 % |
940.21/940.79 c | 804907 | 3902 16693 50723 | 2147483647 202011 119 | 0.000 % |
940.61/941.10 c | 805084 | 3902 16693 50723 | 2147483647 202188 119 | 0.000 % |
940.91/941.44 c | 805277 | 3902 16693 50723 | 2147483647 202381 118 | 0.000 % |
941.21/941.76 c | 805489 | 3902 16693 50723 | 2147483647 202593 118 | 0.000 % |
941.61/942.15 c | 805724 | 3902 16693 50723 | 2147483647 202828 118 | 0.000 % |
942.01/942.54 c | 805982 | 3902 16693 50723 | 2147483647 203086 118 | 0.000 % |
942.51/943.03 c | 806264 | 3902 16693 50723 | 2147483647 203368 118 | 0.000 % |
943.01/943.50 c | 806573 | 3902 16693 50723 | 2147483647 203677 118 | 0.000 % |
943.51/944.06 c | 806914 | 3902 16693 50723 | 2147483647 204018 118 | 0.000 % |
944.11/944.61 c | 807286 | 3902 16693 50723 | 2147483647 204390 118 | 0.000 % |
944.71/945.22 c | 807696 | 3902 16693 50723 | 2147483647 204800 118 | 0.000 % |
945.21/945.79 c | 808147 | 3902 16693 50723 | 2147483647 205251 118 | 0.000 % |
945.91/946.49 c | 808641 | 3902 16693 50723 | 2147483647 205745 118 | 0.000 % |
946.61/947.18 c | 809183 | 3902 16693 50723 | 2147483647 206287 118 | 0.000 % |
947.51/948.00 c | 809779 | 3902 16693 50723 | 2147483647 206883 118 | 0.000 % |
948.41/948.92 c | 810436 | 3902 16693 50723 | 207104 207540 118 | 0.000 % |
949.51/950.06 c | 811157 | 3902 16693 50723 | 207104 182493 117 | 0.000 % |
950.61/951.14 c | 811949 | 3902 16693 50723 | 207104 183285 117 | 0.000 % |
951.71/952.26 c | 812820 | 3902 16693 50723 | 207104 184156 117 | 0.000 % |
953.01/953.56 c | 813778 | 3902 16693 50723 | 207104 185114 117 | 0.000 % |
954.31/954.85 c | 814831 | 3902 16693 50723 | 207104 186167 117 | 0.000 % |
955.81/956.32 c | 815990 | 3902 16693 50723 | 207104 187326 117 | 0.000 % |
957.40/957.92 c | 817266 | 3902 16693 50723 | 207104 188602 117 | 0.000 % |
959.20/959.79 c | 818666 | 3902 16693 50723 | 207104 190002 117 | 0.000 % |
961.20/961.77 c | 820206 | 3902 16693 50723 | 2147483647 191542 117 | 0.000 % |
963.40/963.93 c | 821904 | 3902 16693 50723 | 2147483647 193240 117 | 0.000 % |
965.60/966.19 c | 823768 | 3902 16693 50723 | 2147483647 195104 117 | 0.000 % |
968.29/968.88 c | 825817 | 3902 16693 50723 | 2147483647 197153 117 | 0.000 % |
971.20/971.79 c | 828071 | 3902 16693 50723 | 2147483647 199407 117 | 0.000 % |
974.59/975.15 c | 830549 | 3902 16693 50723 | 2147483647 201885 117 | 0.000 % |
978.29/978.82 c | 833274 | 3902 16693 50723 | 2147483647 204610 117 | 0.000 % |
981.99/982.59 c | 836272 | 3902 16693 50723 | 2147483647 207608 117 | 0.000 % |
986.49/987.08 c | 839568 | 3902 16693 50723 | 2147483647 210904 117 | 0.000 % |
991.49/992.02 c | 843194 | 3902 16693 50723 | 211336 191081 117 | 0.000 % |
996.19/996.76 c | 847183 | 3902 16693 50723 | 211336 195070 117 | 0.000 % |
1001.50/1002.08 c | 851569 | 3902 16693 50723 | 2147483647 199456 117 | 0.000 % |
1007.69/1008.23 c | 856392 | 3902 16693 50723 | 2147483647 204279 117 | 0.000 % |
1014.69/1015.27 c | 861697 | 3902 16693 50723 | 2147483647 209584 117 | 0.000 % |
1022.18/1022.75 c | 867532 | 3902 16693 50723 | 2147483647 215419 117 | 0.000 % |
1031.08/1031.62 c | 873952 | 3902 16693 50723 | 217887 195848 118 | 0.000 % |
1040.08/1040.66 c | 881013 | 3902 16693 50723 | 2147483647 202909 118 | 0.000 % |
1050.17/1050.74 c | 888778 | 3902 16693 50723 | 2147483647 210674 118 | 0.000 % |
1050.37/1050.91 c | 888880 | 3902 16693 50723 | 2147483647 210776 118 | 0.000 % |
1050.47/1051.08 c | 888990 | 3902 16693 50723 | 2147483647 210886 118 | 0.000 % |
1050.77/1051.31 c | 889111 | 3902 16693 50723 | 2147483647 211007 118 | 0.000 % |
1050.98/1051.56 c | 889245 | 3902 16693 50723 | 2147483647 211141 118 | 0.000 % |
1051.27/1051.84 c | 889392 | 3902 16693 50723 | 2147483647 211288 118 | 0.000 % |
1051.57/1052.11 c | 889552 | 3902 16693 50723 | 2147483647 211448 118 | 0.000 % |
1051.87/1052.44 c | 889730 | 3902 16693 50723 | 2147483647 211626 118 | 0.000 % |
1052.17/1052.73 c | 889923 | 3902 16693 50723 | 2147483647 211819 118 | 0.000 % |
1052.47/1053.04 c | 890136 | 3902 16693 50723 | 211896 212032 118 | 0.000 % |
1053.17/1053.73 c | 890371 | 3902 16693 50723 | 211896 186772 118 | 0.000 % |
1053.47/1054.08 c | 890628 | 3902 16693 50723 | 211896 187029 118 | 0.000 % |
1053.87/1054.47 c | 890910 | 3902 16693 50723 | 211896 187311 118 | 0.000 % |
1054.37/1054.94 c | 891219 | 3902 16693 50723 | 211896 187620 118 | 0.000 % |
1054.77/1055.39 c | 891558 | 3902 16693 50723 | 211896 187959 118 | 0.000 % |
1055.37/1055.92 c | 891930 | 3902 16693 50723 | 211896 188331 118 | 0.000 % |
1055.87/1056.49 c | 892339 | 3902 16693 50723 | 211896 188740 118 | 0.000 % |
1056.57/1057.12 c | 892788 | 3902 16693 50723 | 211896 189189 118 | 0.000 % |
1057.16/1057.75 c | 893281 | 3902 16693 50723 | 211896 189682 118 | 0.000 % |
1057.76/1058.37 c | 893823 | 3902 16693 50723 | 211896 190224 118 | 0.000 % |
1058.56/1059.15 c | 894420 | 3902 16693 50723 | 211896 190821 118 | 0.000 % |
1059.46/1060.02 c | 895075 | 3902 16693 50723 | 211896 191476 118 | 0.000 % |
1060.46/1061.04 c | 895795 | 3902 16693 50723 | 211896 192196 118 | 0.000 % |
1061.46/1062.10 c | 896589 | 3902 16693 50723 | 211896 192990 117 | 0.000 % |
1062.76/1063.35 c | 897462 | 3902 16693 50723 | 211896 193863 117 | 0.000 % |
1063.96/1064.58 c | 898422 | 3902 16693 50723 | 211896 194823 117 | 0.000 % |
1065.27/1065.88 c | 899475 | 3902 16693 50723 | 211896 195876 117 | 0.000 % |
1066.66/1067.28 c | 900634 | 3902 16693 50723 | 196401 197035 117 | 0.000 % |
1068.46/1069.05 c | 901907 | 3902 16693 50723 | 196401 178605 117 | 0.000 % |
1070.06/1070.69 c | 903309 | 3902 16693 50723 | 196401 180007 117 | 0.000 % |
1071.86/1072.41 c | 904849 | 3902 16693 50723 | 196401 181547 117 | 0.000 % |
1073.86/1074.41 c | 906545 | 3902 16693 50723 | 196401 183243 117 | 0.000 % |
1076.26/1076.89 c | 908408 | 3902 16693 50723 | 196401 185106 117 | 0.000 % |
1078.95/1079.57 c | 910457 | 3902 16693 50723 | 2147483647 187155 117 | 0.000 % |
1081.65/1082.23 c | 912710 | 3902 16693 50723 | 2147483647 189408 117 | 0.000 % |
1084.65/1085.22 c | 915188 | 3902 16693 50723 | 2147483647 191886 117 | 0.000 % |
1087.85/1088.43 c | 917915 | 3902 16693 50723 | 2147483647 194613 117 | 0.000 % |
1091.65/1092.23 c | 920913 | 3902 16693 50723 | 2147483647 197611 117 | 0.000 % |
1095.75/1096.32 c | 924210 | 3902 16693 50723 | 2147483647 200908 117 | 0.000 % |
1100.14/1100.78 c | 927835 | 3902 16693 50723 | 2147483647 204533 117 | 0.000 % |
1105.34/1105.92 c | 931822 | 3902 16693 50723 | 2147483647 208520 117 | 0.000 % |
1111.14/1111.72 c | 936209 | 3902 16693 50723 | 2147483647 212907 117 | 0.000 % |
1118.04/1118.65 c | 941033 | 3902 16693 50723 | 216698 193916 116 | 0.000 % |
1124.83/1125.45 c | 946339 | 3902 16693 50723 | 216698 199222 116 | 0.000 % |
1132.63/1133.21 c | 952175 | 3902 16693 50723 | 202883 183502 116 | 0.000 % |
1140.33/1140.91 c | 958593 | 3902 16693 50723 | 202883 189920 117 | 0.000 % |
1149.32/1149.93 c | 965652 | 3902 16693 50723 | 2147483647 196979 117 | 0.000 % |
1159.31/1159.95 c | 973416 | 3902 16693 50723 | 2147483647 204743 118 | 0.000 % |
1170.81/1171.43 c | 981956 | 3902 16693 50723 | 211327 191072 119 | 0.000 % |
1170.91/1171.57 c | 982056 | 3902 16693 50723 | 211327 191172 119 | 0.000 % |
1171.11/1171.80 c | 982166 | 3902 16693 50723 | 211327 191282 119 | 0.000 % |
1171.31/1171.98 c | 982289 | 3902 16693 50723 | 211327 191405 119 | 0.000 % |
1171.51/1172.18 c | 982422 | 3902 16693 50723 | 211327 191538 119 | 0.000 % |
1171.71/1172.38 c | 982569 | 3902 16693 50723 | 211327 191685 119 | 0.000 % |
1172.01/1172.63 c | 982730 | 3902 16693 50723 | 211327 191846 119 | 0.000 % |
1172.31/1172.90 c | 982906 | 3902 16693 50723 | 211327 192022 119 | 0.000 % |
1172.51/1173.18 c | 983099 | 3902 16693 50723 | 211327 192215 119 | 0.000 % |
1172.91/1173.51 c | 983311 | 3902 16693 50723 | 211327 192427 119 | 0.000 % |
1173.21/1173.87 c | 983544 | 3902 16693 50723 | 211327 192660 119 | 0.000 % |
1173.61/1174.26 c | 983800 | 3902 16693 50723 | 211327 192916 119 | 0.000 % |
1174.01/1174.70 c | 984081 | 3902 16693 50723 | 211327 193197 119 | 0.000 % |
1174.51/1175.18 c | 984390 | 3902 16693 50723 | 211327 193506 119 | 0.000 % |
1175.01/1175.68 c | 984730 | 3902 16693 50723 | 211327 193846 119 | 0.000 % |
1175.51/1176.19 c | 985104 | 3902 16693 50723 | 211327 194220 119 | 0.000 % |
1176.21/1176.83 c | 985513 | 3902 16693 50723 | 211327 194629 119 | 0.000 % |
1176.91/1177.51 c | 985962 | 3902 16693 50723 | 211327 195078 119 | 0.000 % |
1177.61/1178.23 c | 986455 | 3902 16693 50723 | 211327 195571 119 | 0.000 % |
1178.40/1179.04 c | 986997 | 3902 16693 50723 | 211327 196113 119 | 0.000 % |
1179.30/1179.93 c | 987594 | 3902 16693 50723 | 211327 196710 119 | 0.000 % |
1180.30/1180.92 c | 988249 | 3902 16693 50723 | 211327 197365 119 | 0.000 % |
1181.20/1181.87 c | 988969 | 3902 16693 50723 | 211327 198085 119 | 0.000 % |
1182.30/1182.92 c | 989761 | 3902 16693 50723 | 211327 198877 119 | 0.000 % |
1183.70/1184.35 c | 990632 | 3902 16693 50723 | 199117 176810 119 | 0.000 % |
1184.90/1185.58 c | 991594 | 3902 16693 50723 | 199117 177772 119 | 0.000 % |
1186.31/1186.95 c | 992647 | 3902 16693 50723 | 199117 178825 119 | 0.000 % |
1187.70/1188.34 c | 993805 | 3902 16693 50723 | 199117 179983 118 | 0.000 % |
1189.10/1189.77 c | 995079 | 3902 16693 50723 | 199117 181257 119 | 0.000 % |
1190.89/1191.59 c | 996479 | 3902 16693 50723 | 199117 182657 118 | 0.000 % |
1192.90/1193.57 c | 998019 | 3902 16693 50723 | 199117 184197 118 | 0.000 % |
1195.10/1195.73 c | 999713 | 3902 16693 50723 | 199117 185891 118 | 0.000 % |
1197.49/1198.14 c | 1001577 | 3902 16693 50723 | 2147483647 187755 118 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832747-1242787275/watcher-1832747-1242787275 -o /tmp/evaluation-result-1832747-1242787275/solver-1832747-1242787275 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832747-1242787275.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 13014
/proc/meminfo: memFree=1724800/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306756050 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 240907944018 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13014/statm: 1339 235 195 169 0 50 0
[pid=13015] ppid=13014 vsize=5356 CPUtime=0
/proc/13015/stat : 13015 (SatELiteGTI) S 13014 13014 12371 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306756050 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/13015/statm: 1339 238 198 169 0 50 0
[pid=13017] ppid=13015 vsize=192 CPUtime=0
/proc/13017/stat : 13017 (sed) R 13015 13014 12371 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 306756050 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 240905156652 0 0 4096 0 0 0 0 17 0 0 0
/proc/13017/statm: 623 30 23 11 0 11 0
[startup+0.080919 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13014
/proc/meminfo: memFree=1724800/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.101916 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13014
/proc/meminfo: memFree=1724800/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.301934 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13014
/proc/meminfo: memFree=1724800/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.701974 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13014
/proc/meminfo: memFree=1724800/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+1.50105 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13020
/proc/meminfo: memFree=1720360/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=5300 CPUtime=1.41
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 1041 0 0 0 140 1 0 0 25 0 1 0 306756057 5427200 1027 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 1325 1027 77 171 0 1152 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10656
[startup+3.10121 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13020
/proc/meminfo: memFree=1718696/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=9080 CPUtime=3.01
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 1998 0 0 0 298 3 0 0 25 0 1 0 306756057 9297920 1984 1992294400 134512640 135215339 4294956240 18446744073709551615 134529096 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 2270 1984 77 171 0 2097 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14436
[startup+6.30153 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13020
/proc/meminfo: memFree=1712104/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=14712 CPUtime=6.2
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 3381 0 0 0 616 4 0 0 25 0 1 0 306756057 15065088 3367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 3678 3367 77 171 0 3505 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20068
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 3/66 13020
/proc/meminfo: memFree=1703216/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=22844 CPUtime=12.59
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 5423 0 0 0 1254 5 0 0 25 0 1 0 306756057 23392256 5409 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 5711 5409 77 171 0 5538 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 28200
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13020
/proc/meminfo: memFree=1691312/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=34316 CPUtime=25.37
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 8285 0 0 0 2528 9 0 0 25 0 1 0 306756057 35139584 8271 1992294400 134512640 135215339 4294956240 18446744073709551615 134538294 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 8579 8271 77 171 0 8406 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 39672
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13020
/proc/meminfo: memFree=1674160/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=51656 CPUtime=50.96
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 12595 0 0 0 5082 14 0 0 25 0 1 0 306756057 52895744 12581 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 12914 12581 77 171 0 12741 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 57012
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13020
/proc/meminfo: memFree=1648560/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=76740 CPUtime=102.13
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 18864 0 0 0 10193 20 0 0 25 0 1 0 306756057 78581760 18850 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 19185 18850 77 171 0 19012 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 82096
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13022
/proc/meminfo: memFree=1628016/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=96936 CPUtime=162.09
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 23939 0 0 0 16182 27 0 0 25 0 1 0 306756057 99262464 23925 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 24234 23925 77 171 0 24061 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 102292
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13022
/proc/meminfo: memFree=1623280/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=101828 CPUtime=222.07
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 25089 0 0 0 22178 29 0 0 25 0 1 0 306756057 104271872 25075 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 25457 25075 77 171 0 25284 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 107184
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13022
/proc/meminfo: memFree=1620848/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=104336 CPUtime=282.04
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 25702 0 0 0 28174 30 0 0 25 0 1 0 306756057 106840064 25688 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 26084 25688 77 171 0 25911 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 109692
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13022
/proc/meminfo: memFree=1617328/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=107636 CPUtime=342.02
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 26553 0 0 0 34170 32 0 0 25 0 1 0 306756057 110219264 26539 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 26909 26539 77 171 0 26736 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 112992
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13022
/proc/meminfo: memFree=1615280/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=109880 CPUtime=401.99
################
# More data... #
################
/proc/13020/statm: 27998 27634 77 171 0 27825 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 117348
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13022
/proc/meminfo: memFree=1612400/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=111992 CPUtime=641.9
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 27648 0 0 0 64156 34 0 0 25 0 1 0 306756057 114679808 27634 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 27998 27634 77 171 0 27825 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 117348
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13022
/proc/meminfo: memFree=1610288/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=113972 CPUtime=701.86
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 28133 0 0 0 70151 35 0 0 25 0 1 0 306756057 116707328 28119 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 28493 28119 77 171 0 28320 0
Current children cumulated CPU time (s) 701.92
Current children cumulated vsize (KiB) 119328
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13022
/proc/meminfo: memFree=1608752/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=115424 CPUtime=761.84
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 28495 0 0 0 76149 35 0 0 25 0 1 0 306756057 118194176 28481 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 28856 28481 77 171 0 28683 0
Current children cumulated CPU time (s) 761.9
Current children cumulated vsize (KiB) 120780
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13022
/proc/meminfo: memFree=1608688/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=115424 CPUtime=821.81
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 28495 0 0 0 82145 36 0 0 25 0 1 0 306756057 118194176 28481 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 28856 28481 77 171 0 28683 0
Current children cumulated CPU time (s) 821.87
Current children cumulated vsize (KiB) 120780
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13022
/proc/meminfo: memFree=1608624/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=115424 CPUtime=881.78
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 28495 0 0 0 88142 36 0 0 25 0 1 0 306756057 118194176 28481 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 28856 28481 77 171 0 28683 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 120780
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13022
/proc/meminfo: memFree=1608496/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=115424 CPUtime=941.75
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 28495 0 0 0 94139 36 0 0 25 0 1 0 306756057 118194176 28481 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 28856 28481 77 171 0 28683 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 120780
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13022
/proc/meminfo: memFree=1608432/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=115424 CPUtime=1001.73
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 28495 0 0 0 100136 37 0 0 25 0 1 0 306756057 118194176 28481 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 28856 28481 77 171 0 28683 0
Current children cumulated CPU time (s) 1001.79
Current children cumulated vsize (KiB) 120780
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13022
/proc/meminfo: memFree=1608176/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=115688 CPUtime=1061.7
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 28552 0 0 0 106133 37 0 0 25 0 1 0 306756057 118464512 28538 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 28922 28538 77 171 0 28749 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 121044
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13022
/proc/meminfo: memFree=1608048/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=115688 CPUtime=1121.67
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 28552 0 0 0 112130 37 0 0 25 0 1 0 306756057 118464512 28538 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 28922 28538 77 171 0 28749 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 121044
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13022
/proc/meminfo: memFree=1607984/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=115688 CPUtime=1181.64
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 28552 0 0 0 118127 37 0 0 25 0 1 0 306756057 118464512 28538 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 28922 28538 77 171 0 28749 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 121044
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13028
/proc/meminfo: memFree=1607656/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=115688 CPUtime=1200.03
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 28552 0 0 0 119966 37 0 0 25 0 1 0 306756057 118464512 28538 1992294400 134512640 135215339 4294956240 18446744073709551615 134538574 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 28922 28538 77 171 0 28749 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 121044
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13028
/proc/meminfo: memFree=1607656/2055920 swapFree=4180544/4192956
[pid=13014] ppid=13012 vsize=5356 CPUtime=0.06
/proc/13014/stat : 13014 (SatELiteGTI) S 13012 13014 12371 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13014/statm: 1339 239 197 169 0 50 0
[pid=13020] ppid=13014 vsize=115688 CPUtime=1200.03
/proc/13020/stat : 13020 (minisat_static) R 13014 13014 12371 0 -1 4194304 28552 0 0 0 119966 37 0 0 25 0 1 0 306756057 118464512 28538 1992294400 134512640 135215339 4294956240 18446744073709551615 134538574 0 0 4096 3 0 0 0 17 0 0 0
/proc/13020/statm: 28922 28538 77 171 0 28749 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 121044
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13014 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=65989
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=9998
# CPU time returned by wait4() is 0.075987
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.09
CPU user time (s): 1199.72
CPU system time (s): 0.37
CPU usage (%): 99.9482
Max. virtual memory (cumulated for all children) (KiB): 121044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.065989
system time used= 0.009998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1211
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= 6
runsolver used 1.24381 second user time and 3.24351 second system time
The end
Begin job on node36 at 2009-05-20 04:41:15
IDJOB=1832747
IDBENCH=70337
IDSOLVER=671
FILE ID=node36/1832747-1242787275
PBS_JOBID= 9322333
Free space on /tmp= 66316 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/4000/unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832747-1242787275/watcher-1832747-1242787275 -o /tmp/evaluation-result-1832747-1242787275/solver-1832747-1242787275 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832747-1242787275.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 526915dc72c013b3ed33744e623b5ae9
RANDOM SEED=64974851
node36.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.232
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.232
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: 1725280 kB
Buffers: 32708 kB
Cached: 227404 kB
SwapCached: 6584 kB
Active: 118956 kB
Inactive: 149992 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1725280 kB
SwapTotal: 4192956 kB
SwapFree: 4180544 kB
Dirty: 1872 kB
Writeback: 0 kB
Mapped: 14056 kB
Slab: 47772 kB
Committed_AS: 1050752 kB
PageTables: 1360 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= 66312 MiB
End job on node36 at 2009-05-20 05:01:17