0.00/0.00 c Parsing...
0.00/0.12 c ==============================================================================
0.00/0.12 c | | ORIGINAL | LEARNT | |
0.00/0.12 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.12 c ==============================================================================
0.00/0.12 c | 0 | 123445 724044 | 37033 0 0 nan | 0.000 % |
3.39/3.48 c | 0 | 81855 514764 | -- 0 -- -- | -- | -5750/36480
3.39/3.48 c ==============================================================================
3.39/3.48 c Result : #vars: 382 #clauses: 81855 #literals: 514764
3.39/3.48 c CPU time: 3.45447 s
3.39/3.48 c ==============================================================================
3.58/3.63 c This is MiniSat 2.0 beta
3.58/3.63 c WARNING: for repeatability, setting FPU to use double precision
3.58/3.63 c ============================[ Problem Statistics ]=============================
3.58/3.63 c | |
3.58/3.63 c | Number of variables: 382 |
3.58/3.63 c | Number of clauses: 81855 |
3.58/3.69 c | Parsing time: 0.05 s |
3.58/3.69 c ============================[ Search Statistics ]==============================
3.58/3.69 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.58/3.69 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.58/3.69 c ===============================================================================
3.58/3.69 c | 0 | 382 81855 514764 | 27285 0 nan | 0.000 % |
3.62/3.71 c | 101 | 381 81855 514764 | 27285 100 13 | 0.262 % |
3.62/3.71 c | 202 | 381 81855 514764 | 27285 201 12 | 0.262 % |
3.62/3.71 c | 302 | 381 81855 514764 | 27285 301 13 | 0.262 % |
3.62/3.72 c | 414 | 381 81855 514764 | 27285 413 13 | 0.262 % |
3.62/3.72 c | 514 | 381 81855 514764 | 27285 513 13 | 0.262 % |
3.62/3.73 c | 624 | 381 81855 514764 | 27285 623 13 | 0.262 % |
3.62/3.73 c | 747 | 381 81855 514764 | 27285 746 15 | 0.263 % |
3.62/3.74 c | 848 | 381 81855 514764 | 27285 847 16 | 0.262 % |
3.62/3.75 c | 959 | 381 81855 514764 | 27285 958 16 | 0.262 % |
3.62/3.75 c | 1082 | 381 81855 514764 | 27285 1081 15 | 0.262 % |
3.62/3.76 c | 1215 | 381 81855 514764 | 27285 1214 16 | 0.262 % |
3.62/3.77 c | 1315 | 381 81855 514764 | 27285 1314 16 | 0.262 % |
3.62/3.77 c | 1426 | 381 81855 514764 | 27285 1425 16 | 0.268 % |
3.62/3.78 c | 1547 | 381 81855 514764 | 27285 1546 16 | 0.262 % |
3.62/3.79 c | 1680 | 381 81855 514764 | 27285 1679 16 | 0.262 % |
3.62/3.79 c | 1826 | 381 81855 514764 | 27285 1825 16 | 0.267 % |
3.62/3.80 c | 1926 | 381 81855 514764 | 27285 1925 15 | 0.262 % |
3.62/3.80 c | 2036 | 381 81855 514764 | 27285 2035 15 | 0.268 % |
3.62/3.81 c | 2157 | 381 81855 514764 | 27285 2156 15 | 0.262 % |
3.62/3.81 c | 2290 | 381 81855 514764 | 27285 2289 15 | 0.268 % |
3.62/3.82 c | 2441 | 381 81855 514764 | 27285 2440 16 | 0.264 % |
3.62/3.83 c | 2602 | 381 81855 514764 | 27285 2601 16 | 0.262 % |
3.62/3.83 c | 2704 | 381 81855 514764 | 27285 2703 16 | 0.263 % |
3.62/3.84 c | 2815 | 381 81855 514764 | 27285 2814 16 | 0.262 % |
3.62/3.84 c | 2936 | 381 81855 514764 | 27285 2935 16 | 0.262 % |
3.62/3.85 c | 3070 | 381 81855 514764 | 27285 3069 16 | 0.268 % |
3.62/3.85 c | 3216 | 381 81855 514764 | 27285 3215 16 | 0.262 % |
3.62/3.86 c | 3378 | 381 81855 514764 | 27285 3377 16 | 0.262 % |
3.62/3.88 c | 3554 | 381 81855 514764 | 27285 3553 16 | 0.262 % |
3.62/3.88 c | 3656 | 381 81855 514764 | 27285 3655 16 | 0.262 % |
3.62/3.89 c | 3766 | 381 81855 514764 | 27285 3765 16 | 0.262 % |
3.62/3.90 c | 3888 | 381 81855 514764 | 27285 3887 16 | 0.268 % |
3.62/3.90 c | 4021 | 381 81855 514764 | 27285 4020 15 | 0.268 % |
3.62/3.91 c | 4167 | 381 81855 514764 | 27285 4166 16 | 0.262 % |
3.62/3.92 c | 4327 | 381 81855 514764 | 27285 4326 16 | 0.262 % |
3.62/3.94 c | 4503 | 381 81855 514764 | 27285 4502 16 | 0.262 % |
3.62/3.95 c | 4697 | 381 81855 514764 | 27285 4696 16 | 0.262 % |
3.62/3.95 c | 4797 | 381 81855 514764 | 27285 4796 16 | 0.263 % |
3.62/3.96 c | 4907 | 381 81855 514764 | 27285 4906 16 | 0.262 % |
3.62/3.96 c | 5029 | 381 81855 514764 | 27285 5028 16 | 0.262 % |
3.62/3.97 c | 5163 | 381 81855 514764 | 27285 5162 16 | 0.262 % |
3.62/3.98 c | 5309 | 381 81855 514764 | 27285 5308 16 | 0.262 % |
3.62/3.99 c | 5470 | 381 81855 514764 | 27285 5469 16 | 0.262 % |
3.62/4.00 c | 5646 | 381 81855 514764 | 27285 5645 17 | 0.274 % |
3.62/4.02 c | 5839 | 381 81855 514764 | 27285 5838 17 | 0.262 % |
3.62/4.03 c | 6051 | 381 81855 514764 | 27285 6050 17 | 0.268 % |
3.62/4.04 c | 6154 | 381 81855 514764 | 27285 6153 17 | 0.262 % |
3.62/4.05 c | 6264 | 381 81855 514764 | 27285 6263 17 | 0.262 % |
3.62/4.05 c | 6388 | 381 81855 514764 | 27285 6387 17 | 0.262 % |
3.62/4.06 c | 6521 | 381 81855 514764 | 27285 6520 17 | 0.262 % |
3.62/4.07 c | 6668 | 381 81855 514764 | 27285 6667 18 | 0.262 % |
3.62/4.08 c | 6829 | 381 81855 514764 | 27285 6828 18 | 0.262 % |
3.62/4.09 c | 7009 | 381 81855 514764 | 27285 7008 18 | 0.262 % |
3.62/4.11 c | 7202 | 381 81855 514764 | 27285 7201 18 | 0.262 % |
3.62/4.12 c | 7418 | 381 81855 514764 | 27285 7417 18 | 0.265 % |
3.62/4.13 c | 7651 | 381 81855 514764 | 27285 7650 18 | 0.262 % |
3.62/4.14 c | 7753 | 381 81855 514764 | 27285 7752 18 | 0.268 % |
3.62/4.14 c | 7866 | 381 81855 514764 | 27285 7865 18 | 0.262 % |
3.62/4.15 c | 7991 | 381 81855 514764 | 27285 7990 18 | 0.262 % |
3.62/4.16 c | 8126 | 381 81855 514764 | 27285 8125 18 | 0.262 % |
3.62/4.17 c | 8274 | 381 81855 514764 | 27285 8273 18 | 0.262 % |
3.62/4.18 c | 8434 | 381 81855 514764 | 27285 8433 18 | 0.262 % |
3.62/4.19 c | 8610 | 381 81855 514764 | 27285 8609 18 | 0.269 % |
3.62/4.20 c | 8803 | 381 81855 514764 | 27285 8802 18 | 0.268 % |
3.62/4.21 c | 9018 | 381 81855 514764 | 27285 9017 18 | 0.262 % |
3.62/4.23 c | 9252 | 381 81855 514764 | 27285 9251 19 | 0.262 % |
3.62/4.25 c | 9508 | 381 81855 514764 | 27285 9507 19 | 0.262 % |
3.62/4.26 c | 9608 | 381 81855 514764 | 27285 9607 19 | 0.262 % |
3.62/4.27 c | 9721 | 381 81855 514764 | 27285 9720 19 | 0.262 % |
3.62/4.28 c | 9844 | 381 81855 514764 | 27285 9843 19 | 0.262 % |
3.62/4.29 c | 9977 | 381 81855 514764 | 27285 9976 19 | 0.270 % |
3.62/4.29 c | 10127 | 381 81855 514764 | 2147483647 10126 19 | 0.267 % |
4.28/4.31 c | 10287 | 381 81855 514764 | 2147483647 10286 19 | 0.262 % |
4.28/4.33 c | 10467 | 381 81855 514764 | 2147483647 10466 19 | 0.262 % |
4.28/4.34 c | 10662 | 381 81855 514764 | 2147483647 10661 19 | 0.262 % |
4.28/4.36 c | 10874 | 381 81855 514764 | 2147483647 10873 19 | 0.262 % |
4.28/4.37 c | 11109 | 381 81855 514764 | 2147483647 11108 19 | 0.262 % |
4.28/4.38 c | 11365 | 381 81855 514764 | 2147483647 11364 20 | 0.262 % |
4.38/4.41 c | 11646 | 381 81855 514764 | 2147483647 11645 20 | 0.271 % |
4.38/4.42 c | 11746 | 381 81855 514764 | 2147483647 11745 20 | 0.262 % |
4.38/4.42 c | 11859 | 381 81855 514764 | 2147483647 11858 20 | 0.271 % |
4.38/4.44 c | 11980 | 381 81855 514764 | 2147483647 11979 20 | 0.262 % |
4.38/4.45 c | 12115 | 381 81855 514764 | 2147483647 12114 20 | 0.265 % |
4.38/4.46 c | 12264 | 381 81855 514764 | 2147483647 12263 20 | 0.262 % |
4.38/4.47 c | 12424 | 381 81855 514764 | 2147483647 12423 20 | 0.262 % |
4.38/4.48 c | 12600 | 380 81855 514764 | 2147483647 12598 20 | 0.524 % |
4.38/4.49 c | 12797 | 380 81855 514764 | 2147483647 12795 20 | 0.524 % |
4.47/4.51 c | 13015 | 380 81855 514764 | 2147483647 13013 20 | 0.524 % |
4.47/4.53 c | 13248 | 380 81855 514764 | 2147483647 13246 20 | 0.524 % |
4.47/4.55 c | 13504 | 380 81855 514764 | 2147483647 13502 20 | 0.524 % |
4.47/4.57 c | 13785 | 380 81855 514764 | 2147483647 13783 20 | 0.524 % |
4.47/4.59 c | 14095 | 380 81855 514764 | 2147483647 14093 20 | 0.524 % |
4.57/4.60 c | 14195 | 380 81855 514764 | 2147483647 14193 20 | 0.525 % |
4.57/4.61 c | 14307 | 380 81855 514764 | 2147483647 14305 20 | 0.524 % |
4.57/4.62 c | 14429 | 380 81855 514764 | 2147483647 14427 20 | 0.524 % |
4.57/4.64 c | 14562 | 380 81855 514764 | 2147483647 14560 20 | 0.524 % |
4.57/4.65 c | 14709 | 380 81855 514764 | 2147483647 14707 20 | 0.524 % |
4.57/4.66 c | 14870 | 380 81855 514764 | 2147483647 14868 20 | 0.524 % |
4.57/4.67 c | 15046 | 380 81855 514764 | 2147483647 15044 20 | 0.530 % |
4.57/4.69 c | 15240 | 380 81855 514764 | 2147483647 15238 20 | 0.524 % |
4.67/4.71 c | 15453 | 380 81855 514764 | 2147483647 15451 20 | 0.524 % |
4.67/4.72 c | 15689 | 380 81855 514764 | 2147483647 15687 20 | 0.528 % |
4.67/4.75 c | 15945 | 380 81855 514764 | 2147483647 15943 20 | 0.525 % |
4.67/4.77 c | 16226 | 380 81855 514764 | 2147483647 16224 20 | 0.525 % |
4.67/4.80 c | 16535 | 380 81855 514764 | 2147483647 16533 20 | 0.524 % |
4.77/4.82 c | 16874 | 380 81855 514764 | 2147483647 16872 20 | 0.524 % |
4.77/4.83 c | 16978 | 380 81855 514764 | 2147483647 16976 20 | 0.524 % |
4.77/4.84 c | 17088 | 380 81855 514764 | 2147483647 17086 20 | 0.524 % |
4.77/4.86 c | 17210 | 380 81855 514764 | 2147483647 17208 20 | 0.524 % |
4.77/4.87 c | 17343 | 380 81855 514764 | 2147483647 17341 20 | 0.524 % |
4.77/4.88 c | 17489 | 380 81855 514764 | 2147483647 17487 20 | 0.524 % |
4.87/4.90 c | 17651 | 380 81855 514764 | 2147483647 17649 20 | 0.524 % |
4.87/4.91 c | 17832 | 380 81855 514764 | 2147483647 17830 20 | 0.524 % |
4.87/4.93 c | 18025 | 380 81855 514764 | 2147483647 18023 20 | 0.525 % |
4.87/4.95 c | 18237 | 380 81855 514764 | 2147483647 18235 20 | 0.524 % |
4.87/4.97 c | 18470 | 380 81855 514764 | 2147483647 18468 20 | 0.525 % |
4.87/4.99 c | 18726 | 380 81855 514764 | 2147483647 18724 20 | 0.524 % |
4.97/5.01 c | 19009 | 380 81855 514764 | 2147483647 19007 20 | 0.524 % |
4.97/5.04 c | 19318 | 380 81855 514764 | 2147483647 19316 21 | 0.524 % |
4.97/5.06 c | 19657 | 380 81855 514764 | 2147483647 19655 21 | 0.524 % |
4.97/5.09 c | 20031 | 380 81855 514764 | 2147483647 20029 21 | 0.524 % |
5.07/5.10 c | 20131 | 380 81855 514764 | 2147483647 20129 21 | 0.524 % |
5.07/5.11 c | 20241 | 380 81855 514764 | 2147483647 20239 21 | 0.524 % |
5.07/5.12 c | 20362 | 380 81855 514764 | 2147483647 20360 21 | 0.525 % |
5.07/5.14 c | 20495 | 380 81855 514764 | 2147483647 20493 21 | 0.524 % |
5.07/5.16 c | 20644 | 380 81855 514764 | 2147483647 20642 21 | 0.524 % |
5.07/5.17 c | 20805 | 380 81855 514764 | 2147483647 20803 21 | 0.524 % |
5.07/5.18 c | 20981 | 380 81855 514764 | 2147483647 20979 21 | 0.524 % |
5.17/5.20 c | 21174 | 380 81855 514764 | 2147483647 21172 21 | 0.528 % |
5.17/5.22 c | 21386 | 380 81855 514764 | 2147483647 21384 21 | 0.525 % |
5.17/5.25 c | 21619 | 380 81855 514764 | 2147483647 21617 21 | 0.524 % |
5.17/5.27 c | 21876 | 380 81855 514764 | 2147483647 21874 21 | 0.528 % |
5.17/5.29 c | 22160 | 380 81855 514764 | 2147483647 22158 21 | 0.525 % |
5.27/5.31 c | 22469 | 380 81855 514764 | 2147483647 22467 21 | 0.530 % |
5.27/5.34 c | 22808 | 380 81855 514764 | 2147483647 22806 21 | 0.532 % |
5.27/5.36 c | 23181 | 380 81855 514764 | 2147483647 23179 21 | 0.524 % |
5.37/5.42 c | 23590 | 380 81855 514764 | 2147483647 23588 21 | 0.524 % |
5.37/5.43 c | 23691 | 380 81855 514764 | 2147483647 23689 21 | 0.524 % |
5.37/5.44 c | 23803 | 380 81855 514764 | 2147483647 23801 21 | 0.524 % |
5.37/5.46 c | 23925 | 380 81855 514764 | 2147483647 23923 21 | 0.531 % |
5.37/5.47 c | 24059 | 380 81855 514764 | 2147483647 24057 21 | 0.525 % |
5.37/5.49 c | 24205 | 380 81855 514764 | 2147483647 24203 21 | 0.524 % |
5.47/5.51 c | 24365 | 380 81855 514764 | 2147483647 24363 21 | 0.528 % |
5.47/5.53 c | 24541 | 379 81855 514764 | 2147483647 24538 21 | 0.786 % |
5.47/5.55 c | 24734 | 379 81855 514764 | 2147483647 24731 21 | 0.786 % |
5.47/5.57 c | 24948 | 379 81855 514764 | 2147483647 24945 21 | 0.786 % |
5.47/5.58 c | 25181 | 379 81855 514764 | 2147483647 25178 21 | 0.786 % |
5.57/5.61 c | 25438 | 379 81855 514764 | 2147483647 25435 21 | 0.786 % |
5.57/5.63 c | 25722 | 379 81855 514764 | 2147483647 25719 21 | 0.790 % |
5.57/5.67 c | 26032 | 379 81855 514764 | 2147483647 26029 21 | 0.786 % |
5.57/5.69 c | 26371 | 379 81855 514764 | 2147483647 26368 21 | 0.786 % |
5.67/5.72 c | 26745 | 379 81855 514764 | 2147483647 26742 22 | 0.786 % |
5.67/5.76 c | 27154 | 379 81855 514764 | 2147483647 27151 22 | 0.786 % |
5.67/5.79 c | 27603 | 379 81855 514764 | 2147483647 27600 22 | 0.786 % |
5.77/5.80 c | 27704 | 379 81855 514764 | 2147483647 27701 22 | 0.792 % |
5.77/5.81 c | 27814 | 379 81855 514764 | 2147483647 27811 22 | 0.786 % |
5.77/5.82 c | 27936 | 379 81855 514764 | 2147483647 27933 22 | 0.786 % |
5.77/5.83 c | 28069 | 379 81855 514764 | 2147483647 28066 22 | 0.786 % |
5.77/5.86 c | 28216 | 379 81855 514764 | 2147483647 28213 22 | 0.786 % |
5.77/5.87 c | 28380 | 379 81855 514764 | 2147483647 28377 22 | 0.786 % |
5.77/5.89 c | 28556 | 379 81855 514764 | 2147483647 28553 22 | 0.792 % |
5.86/5.91 c | 28750 | 379 81855 514764 | 2147483647 28747 22 | 0.786 % |
5.86/5.92 c | 28963 | 379 81855 514764 | 2147483647 28960 22 | 0.786 % |
5.86/5.94 c | 29196 | 379 81855 514764 | 2147483647 29193 22 | 0.786 % |
5.86/5.96 c | 29452 | 379 81855 514764 | 2147483647 29449 22 | 0.792 % |
5.86/5.99 c | 29733 | 379 81855 514764 | 2147483647 29730 22 | 0.786 % |
5.96/6.03 c | 30042 | 379 81855 514764 | 2147483647 30039 22 | 0.794 % |
5.96/6.06 c | 30381 | 379 81855 514764 | 2147483647 30378 22 | 0.786 % |
5.96/6.10 c | 30753 | 379 81855 514764 | 2147483647 30750 22 | 0.792 % |
6.06/6.14 c | 31162 | 379 81855 514764 | 2147483647 31159 22 | 0.786 % |
6.06/6.17 c | 31616 | 379 81855 514764 | 2147483647 31613 22 | 0.786 % |
6.16/6.23 c | 32110 | 379 81855 514764 | 2147483647 32107 22 | 0.786 % |
6.16/6.25 c | 32210 | 379 81855 514764 | 2147483647 32207 22 | 0.792 % |
6.16/6.26 c | 32326 | 379 81855 514764 | 2147483647 32323 22 | 0.787 % |
6.16/6.27 c | 32448 | 379 81855 514764 | 2147483647 32445 22 | 0.787 % |
6.16/6.29 c | 32581 | 379 81855 514764 | 2147483647 32578 22 | 0.793 % |
6.26/6.31 c | 32728 | 379 81855 514764 | 2147483647 32725 22 | 0.786 % |
6.26/6.32 c | 32890 | 379 81855 514764 | 2147483647 32887 22 | 0.796 % |
6.26/6.34 c | 33066 | 379 81855 514764 | 2147483647 33063 22 | 0.786 % |
6.26/6.36 c | 33260 | 379 81855 514764 | 2147483647 33257 22 | 0.786 % |
6.26/6.38 c | 33473 | 379 81855 514764 | 2147483647 33470 22 | 0.790 % |
6.36/6.41 c | 33708 | 379 81855 514764 | 2147483647 33705 22 | 0.786 % |
6.36/6.44 c | 33964 | 379 81855 514764 | 2147483647 33961 22 | 0.786 % |
6.36/6.46 c | 34246 | 379 81855 514764 | 2147483647 34243 22 | 0.786 % |
6.47/6.51 c | 34556 | 379 81855 514764 | 2147483647 34553 22 | 0.786 % |
6.47/6.54 c | 34896 | 379 81855 514764 | 2147483647 34893 22 | 0.786 % |
6.47/6.57 c | 35268 | 379 81855 514764 | 2147483647 35265 22 | 0.786 % |
6.57/6.62 c | 35679 | 379 81855 514764 | 2147483647 35676 22 | 0.786 % |
6.57/6.66 c | 36128 | 379 81855 514764 | 2147483647 36125 22 | 0.786 % |
6.57/6.69 c | 36621 | 379 81855 514764 | 2147483647 36618 22 | 0.786 % |
6.66/6.76 c | 37164 | 379 81855 514764 | 2147483647 37161 22 | 0.786 % |
6.66/6.77 c | 37264 | 379 81855 514764 | 2147483647 37261 22 | 0.786 % |
6.66/6.79 c | 37374 | 379 81855 514764 | 2147483647 37371 22 | 0.786 % |
6.76/6.80 c | 37497 | 379 81855 514764 | 2147483647 37494 22 | 0.786 % |
6.76/6.81 c | 37632 | 379 81855 514764 | 2147483647 37629 22 | 0.786 % |
6.76/6.83 c | 37780 | 379 81855 514764 | 2147483647 37777 22 | 0.786 % |
6.76/6.84 c | 37940 | 379 81855 514764 | 2147483647 37937 22 | 0.786 % |
6.76/6.86 c | 38117 | 379 81855 514764 | 2147483647 38114 22 | 0.787 % |
6.76/6.88 c | 38311 | 379 81855 514764 | 2147483647 38308 22 | 0.786 % |
6.86/6.90 c | 38523 | 379 81855 514764 | 2147483647 38520 22 | 0.792 % |
6.86/6.93 c | 38756 | 379 81855 514764 | 2147483647 38753 22 | 0.786 % |
6.86/6.96 c | 39014 | 379 81855 514764 | 2147483647 39011 22 | 0.786 % |
6.96/7.01 c | 39295 | 379 81855 514764 | 2147483647 39292 22 | 0.787 % |
6.96/7.04 c | 39604 | 379 81855 514764 | 2147483647 39601 22 | 0.792 % |
6.96/7.07 c | 39944 | 379 81855 514764 | 2147483647 39941 22 | 0.786 % |
7.06/7.10 c | 40317 | 379 81855 514764 | 2147483647 40314 22 | 0.787 % |
7.06/7.14 c | 40726 | 379 81855 514764 | 2147483647 40723 22 | 0.789 % |
7.06/7.18 c | 41175 | 379 81855 514764 | 2147483647 41172 22 | 0.786 % |
7.16/7.24 c | 41669 | 379 81855 514764 | 2147483647 41666 22 | 0.786 % |
7.26/7.31 c | 42212 | 378 81855 514764 | 2147483647 42208 23 | 1.048 % |
7.26/7.35 c | 42809 | 378 81855 514764 | 2147483647 42805 23 | 1.048 % |
7.26/7.36 c | 42910 | 378 81855 514764 | 2147483647 42906 23 | 1.048 % |
7.26/7.38 c | 43031 | 378 81855 514764 | 2147483647 43027 23 | 1.048 % |
7.37/7.40 c | 43152 | 378 81855 514764 | 2147483647 43148 23 | 1.048 % |
7.37/7.42 c | 43286 | 378 81855 514764 | 2147483647 43282 23 | 1.048 % |
7.37/7.44 c | 43432 | 378 81855 514764 | 2147483647 43428 23 | 1.048 % |
7.37/7.46 c | 43593 | 378 81855 514764 | 2147483647 43589 23 | 1.048 % |
7.37/7.49 c | 43770 | 378 81855 514764 | 2147483647 43766 23 | 1.048 % |
7.47/7.52 c | 43964 | 378 81855 514764 | 2147483647 43960 23 | 1.048 % |
7.47/7.56 c | 44176 | 378 81855 514764 | 2147483647 44172 23 | 1.048 % |
7.47/7.57 c | 44412 | 378 81855 514764 | 2147483647 44408 23 | 1.048 % |
7.57/7.61 c | 44670 | 378 81855 514764 | 2147483647 44666 23 | 1.048 % |
7.57/7.64 c | 44951 | 378 81855 514764 | 2147483647 44947 23 | 1.052 % |
7.57/7.69 c | 45260 | 378 81855 514764 | 2147483647 45256 23 | 1.048 % |
7.67/7.74 c | 45602 | 378 81855 514764 | 2147483647 45598 23 | 1.048 % |
7.67/7.76 c | 45976 | 378 81855 514764 | 2147483647 45972 23 | 1.054 % |
7.77/7.81 c | 46385 | 378 81855 514764 | 2147483647 46381 23 | 1.048 % |
7.77/7.84 c | 46837 | 378 81855 514764 | 2147483647 46833 23 | 1.048 % |
7.87/7.91 c | 47331 | 378 81855 514764 | 2147483647 47327 23 | 1.048 % |
7.87/7.99 c | 47874 | 378 79785 504073 | 2147483647 47862 23 | 1.048 % |
7.97/8.06 c | 48472 | 378 79785 504073 | 2147483647 48460 23 | 1.048 % |
8.07/8.16 c | 49128 | 378 79785 504073 | 2147483647 49116 23 | 1.056 % |
8.07/8.18 c | 49228 | 378 79785 504073 | 2147483647 49216 23 | 1.048 % |
8.07/8.19 c | 49339 | 378 79785 504073 | 2147483647 49327 23 | 1.048 % |
8.17/8.21 c | 49460 | 378 79785 504073 | 2147483647 49448 23 | 1.048 % |
8.17/8.23 c | 49595 | 378 79785 504073 | 2147483647 49583 23 | 1.048 % |
8.17/8.26 c | 49741 | 378 79785 504073 | 2147483647 49729 23 | 1.048 % |
8.17/8.29 c | 49901 | 378 79785 504073 | 2147483647 49889 23 | 1.053 % |
8.27/8.31 c | 50078 | 378 79785 504073 | 2147483647 50066 23 | 1.053 % |
8.27/8.34 c | 50271 | 378 79785 504073 | 2147483647 50259 23 | 1.048 % |
8.27/8.37 c | 50485 | 378 79785 504073 | 2147483647 50473 23 | 1.048 % |
8.37/8.42 c | 50718 | 378 79785 504073 | 2147483647 50706 23 | 1.048 % |
8.37/8.46 c | 50974 | 378 79785 504073 | 2147483647 50962 23 | 1.048 % |
8.47/8.51 c | 51256 | 378 79785 504073 | 2147483647 51244 23 | 1.055 % |
8.47/8.55 c | 51565 | 378 79785 504073 | 2147483647 51553 23 | 1.052 % |
8.57/8.61 c | 51905 | 378 79785 504073 | 2147483647 51893 23 | 1.048 % |
8.57/8.68 c | 52278 | 378 79785 504073 | 2147483647 52266 23 | 1.048 % |
8.67/8.75 c | 52688 | 378 79785 504073 | 2147483647 52676 23 | 1.048 % |
8.77/8.81 c | 53137 | 378 79785 504073 | 2147483647 53125 23 | 1.048 % |
8.77/8.87 c | 53631 | 378 79785 504073 | 2147483647 53619 23 | 1.048 % |
8.87/8.95 c | 54173 | 378 79785 504073 | 2147483647 54161 23 | 1.048 % |
8.97/9.02 c | 54770 | 378 79785 504073 | 2147483647 54758 23 | 1.055 % |
9.07/9.10 c | 55427 | 378 79785 504073 | 2147483647 55415 23 | 1.048 % |
9.07/9.19 c | 56149 | 378 79785 504073 | 2147483647 56137 23 | 1.054 % |
9.17/9.21 c | 56250 | 378 79785 504073 | 2147483647 56238 23 | 1.048 % |
9.17/9.23 c | 56362 | 378 79785 504073 | 2147483647 56350 23 | 1.048 % |
9.17/9.25 c | 56483 | 378 79785 504073 | 2147483647 56471 23 | 1.052 % |
9.17/9.27 c | 56616 | 378 79785 504073 | 2147483647 56604 23 | 1.053 % |
9.17/9.29 c | 56762 | 378 79785 504073 | 2147483647 56750 23 | 1.048 % |
9.27/9.31 c | 56924 | 378 79785 504073 | 2147483647 56912 23 | 1.048 % |
9.27/9.34 c | 57104 | 378 79785 504073 | 2147483647 57092 23 | 1.048 % |
9.27/9.38 c | 57297 | 378 79785 504073 | 2147483647 57285 23 | 1.048 % |
9.36/9.41 c | 57510 | 378 79785 504073 | 2147483647 57498 23 | 1.048 % |
9.36/9.45 c | 57743 | 378 79785 504073 | 2147483647 57731 23 | 1.048 % |
9.36/9.49 c | 58000 | 378 79785 504073 | 2147483647 57988 23 | 1.048 % |
9.46/9.53 c | 58281 | 378 79785 504073 | 2147483647 58269 23 | 1.048 % |
9.46/9.57 c | 58590 | 378 79785 504073 | 2147483647 58578 23 | 1.048 % |
9.56/9.62 c | 58930 | 378 79785 504073 | 2147483647 58918 23 | 1.048 % |
9.56/9.67 c | 59303 | 378 79785 504073 | 2147483647 59291 23 | 1.048 % |
9.66/9.73 c | 59712 | 377 79785 504073 | 2147483647 59699 23 | 1.311 % |
9.77/9.80 c | 60161 | 377 79785 504073 | 2147483647 60148 23 | 1.310 % |
9.77/9.86 c | 60655 | 377 79785 504073 | 2147483647 60642 23 | 1.315 % |
9.87/9.94 c | 61197 | 377 79785 504073 | 2147483647 61184 23 | 1.310 % |
9.96/10.00 c | 61794 | 377 79785 504073 | 2147483647 61781 23 | 1.310 % |
10.06/10.11 c | 62450 | 377 79785 504073 | 2147483647 62437 23 | 1.310 % |
10.16/10.22 c | 63170 | 377 79785 504073 | 2147483647 63157 23 | 1.310 % |
10.26/10.35 c | 63964 | 377 79785 504073 | 2147483647 63951 23 | 1.310 % |
10.26/10.37 c | 64065 | 377 79785 504073 | 2147483647 64052 23 | 1.317 % |
10.26/10.39 c | 64175 | 377 79785 504073 | 2147483647 64162 23 | 1.310 % |
10.37/10.41 c | 64296 | 377 79785 504073 | 2147483647 64283 23 | 1.310 % |
10.37/10.43 c | 64429 | 377 79785 504073 | 2147483647 64416 23 | 1.310 % |
10.37/10.46 c | 64576 | 377 79785 504073 | 2147483647 64563 23 | 1.314 % |
10.47/10.51 c | 64737 | 377 79785 504073 | 2147483647 64724 23 | 1.310 % |
10.47/10.55 c | 64914 | 377 79785 504073 | 2147483647 64901 23 | 1.316 % |
10.47/10.58 c | 65110 | 377 79785 504073 | 2147483647 65097 23 | 1.310 % |
10.57/10.60 c | 65323 | 377 79785 504073 | 2147483647 65310 23 | 1.310 % |
10.57/10.62 c | 65556 | 377 79785 504073 | 2147483647 65543 23 | 1.310 % |
10.57/10.67 c | 65812 | 377 79785 504073 | 2147483647 65799 23 | 1.310 % |
10.67/10.71 c | 66093 | 377 79785 504073 | 2147483647 66080 23 | 1.310 % |
10.67/10.75 c | 66402 | 377 79785 504073 | 2147483647 66389 23 | 1.310 % |
10.77/10.81 c | 66742 | 377 79785 504073 | 2147483647 66729 23 | 1.310 % |
10.77/10.84 c | 67115 | 377 79785 504073 | 2147483647 67102 23 | 1.310 % |
10.77/10.89 c | 67527 | 377 79785 504073 | 2147483647 67514 23 | 1.310 % |
10.87/10.96 c | 67978 | 377 79785 504073 | 2147483647 67965 23 | 1.310 % |
10.97/11.04 c | 68472 | 377 79785 504073 | 2147483647 68459 23 | 1.310 % |
11.06/11.12 c | 69014 | 377 79785 504073 | 2147483647 69001 23 | 1.310 % |
11.16/11.23 c | 69611 | 376 79785 504073 | 2147483647 69597 23 | 1.571 % |
11.26/11.32 c | 70268 | 376 79785 504073 | 2147483647 70254 23 | 1.573 % |
11.36/11.43 c | 70992 | 376 79785 504073 | 2147483647 70978 24 | 1.571 % |
11.46/11.58 c | 71784 | 376 79785 504073 | 2147483647 71770 23 | 1.571 % |
11.56/11.69 c | 72655 | 376 79785 504073 | 2147483647 72641 24 | 1.571 % |
11.66/11.72 c | 72759 | 376 79785 504073 | 2147483647 72745 24 | 1.571 % |
11.66/11.74 c | 72869 | 376 79785 504073 | 2147483647 72855 24 | 1.571 % |
11.66/11.77 c | 72990 | 376 79785 504073 | 2147483647 72976 24 | 1.571 % |
11.76/11.81 c | 73124 | 376 79785 504073 | 2147483647 73110 24 | 1.571 % |
11.76/11.85 c | 73270 | 376 79785 504073 | 2147483647 73256 24 | 1.571 % |
11.86/11.90 c | 73431 | 376 79785 504073 | 2147483647 73417 24 | 1.571 % |
11.86/11.93 c | 73608 | 376 79785 504073 | 2147483647 73594 24 | 1.571 % |
11.86/11.95 c | 73802 | 376 79785 504073 | 2147483647 73788 24 | 1.576 % |
11.86/11.99 c | 74015 | 376 79785 504073 | 2147483647 74001 24 | 1.571 % |
11.97/12.04 c | 74248 | 376 79785 504073 | 2147483647 74234 24 | 1.571 % |
11.97/12.08 c | 74504 | 376 79785 504073 | 2147483647 74490 24 | 1.571 % |
12.06/12.16 c | 74785 | 376 79785 504073 | 2147483647 74771 24 | 1.571 % |
12.16/12.24 c | 75096 | 376 79785 504073 | 2147483647 75082 24 | 1.571 % |
12.26/12.30 c | 75435 | 376 79785 504073 | 2147483647 75421 24 | 1.571 % |
12.26/12.37 c | 75807 | 376 79785 504073 | 2147483647 75793 24 | 1.571 % |
12.36/12.44 c | 76216 | 376 79785 504073 | 2147483647 76202 24 | 1.575 % |
12.46/12.52 c | 76665 | 376 79785 504073 | 2147483647 76651 24 | 1.571 % |
12.56/12.62 c | 77158 | 376 79785 504073 | 2147483647 77144 24 | 1.571 % |
12.66/12.71 c | 77701 | 376 79785 504073 | 2147483647 77687 24 | 1.578 % |
12.76/12.84 c | 78297 | 376 79785 504073 | 2147483647 78283 24 | 1.571 % |
12.86/12.96 c | 78954 | 376 79785 504073 | 2147483647 78940 24 | 1.571 % |
12.96/13.06 c | 79674 | 376 79785 504073 | 2147483647 79660 24 | 1.572 % |
13.16/13.28 c | 80469 | 376 79785 504073 | 2147483647 80455 24 | 1.571 % |
13.36/13.40 c | 81340 | 376 79785 504073 | 2147483647 81326 24 | 1.571 % |
13.56/13.60 c | 82298 | 376 79785 504073 | 2147483647 82284 24 | 1.571 % |
13.56/13.62 c | 82398 | 376 79785 504073 | 2147483647 82384 24 | 1.571 % |
13.56/13.65 c | 82508 | 376 79785 504073 | 2147483647 82494 24 | 1.572 % |
13.56/13.69 c | 82630 | 376 79785 504073 | 2147483647 82616 24 | 1.571 % |
13.66/13.71 c | 82767 | 376 79785 504073 | 2147483647 82753 24 | 1.571 % |
13.66/13.73 c | 82914 | 376 79785 504073 | 2147483647 82900 24 | 1.572 % |
13.66/13.76 c | 83076 | 376 79785 504073 | 2147483647 83062 24 | 1.571 % |
13.76/13.82 c | 83253 | 376 79785 504073 | 2147483647 83239 24 | 1.571 % |
13.76/13.86 c | 83446 | 376 79785 504073 | 2147483647 83432 24 | 1.576 % |
13.87/13.92 c | 83662 | 376 79785 504073 | 2147483647 83648 24 | 1.572 % |
13.87/13.97 c | 83897 | 376 79785 504073 | 2147483647 83883 24 | 1.571 % |
13.97/14.03 c | 84154 | 376 79785 504073 | 2147483647 84140 24 | 1.577 % |
13.97/14.08 c | 84438 | 376 79785 504073 | 2147483647 84424 24 | 1.578 % |
14.07/14.14 c | 84749 | 376 79785 504073 | 2147483647 84735 24 | 1.571 % |
14.17/14.22 c | 85088 | 376 79785 504073 | 2147483647 85074 24 | 1.571 % |
14.27/14.31 c | 85462 | 376 79785 504073 | 2147483647 85448 24 | 1.572 % |
14.27/14.39 c | 85874 | 376 79785 504073 | 2147483647 85860 24 | 1.571 % |
14.37/14.48 c | 86323 | 376 79785 504073 | 2147483647 86309 24 | 1.575 % |
14.47/14.60 c | 86816 | 376 79785 504073 | 2147483647 86802 24 | 1.571 % |
14.67/14.72 c | 87360 | 376 79785 504073 | 2147483647 87346 24 | 1.571 % |
14.76/14.85 c | 87957 | 376 79785 504073 | 2147483647 87943 24 | 1.571 % |
14.86/14.96 c | 88612 | 376 79785 504073 | 2147483647 88598 24 | 1.571 % |
14.96/15.10 c | 89335 | 376 79785 504073 | 2147483647 89321 24 | 1.575 % |
15.16/15.24 c | 90130 | 376 79785 504073 | 2147483647 90116 24 | 1.571 % |
15.27/15.39 c | 91002 | 376 79785 504073 | 2147483647 90988 24 | 1.571 % |
15.56/15.66 c | 91960 | 376 79785 504073 | 2147483647 91946 24 | 1.571 % |
15.86/15.92 c | 93015 | 376 79785 504073 | 2147483647 93001 24 | 1.571 % |
15.86/15.95 c | 93116 | 376 79785 504073 | 2147483647 93102 24 | 1.571 % |
15.86/15.98 c | 93226 | 376 79785 504073 | 2147483647 93212 24 | 1.571 % |
15.96/16.01 c | 93349 | 376 79785 504073 | 2147483647 93335 24 | 1.571 % |
15.96/16.04 c | 93484 | 376 79785 504073 | 2147483647 93470 24 | 1.575 % |
15.96/16.08 c | 93635 | 376 79785 504073 | 2147483647 93621 24 | 1.571 % |
16.06/16.14 c | 93795 | 376 79785 504073 | 2147483647 93781 24 | 1.571 % |
16.06/16.19 c | 93971 | 376 79785 504073 | 2147483647 93957 24 | 1.571 % |
16.16/16.24 c | 94165 | 376 79785 504073 | 2147483647 94151 24 | 1.575 % |
16.16/16.29 c | 94377 | 376 79785 504073 | 2147483647 94363 24 | 1.571 % |
16.26/16.32 c | 94610 | 376 79785 504073 | 2147483647 94596 24 | 1.576 % |
16.26/16.39 c | 94867 | 376 79785 504073 | 2147483647 94853 24 | 1.578 % |
16.37/16.45 c | 95148 | 376 79785 504073 | 2147483647 95134 24 | 1.571 % |
16.37/16.49 c | 95457 | 376 79785 504073 | 2147483647 95443 24 | 1.571 % |
16.47/16.57 c | 95796 | 376 79785 504073 | 2147483647 95782 24 | 1.578 % |
16.56/16.68 c | 96168 | 376 79785 504073 | 2147483647 96154 24 | 1.575 % |
16.66/16.79 c | 96582 | 376 79785 504073 | 2147483647 96568 24 | 1.571 % |
16.86/16.92 c | 97036 | 376 79785 504073 | 2147483647 97022 24 | 1.571 % |
16.96/17.05 c | 97534 | 376 79785 504073 | 2147483647 97520 24 | 1.571 % |
17.16/17.20 c | 98076 | 376 79785 504073 | 2147483647 98062 24 | 1.571 % |
17.36/17.42 c | 98673 | 376 79785 504073 | 2147483647 98659 24 | 1.571 % |
17.46/17.55 c | 99329 | 376 79785 504073 | 2147483647 99315 25 | 1.571 % |
17.67/17.75 c | 100050 | 376 79785 504073 | 2147483647 100036 25 | 1.571 % |
17.87/17.99 c | 100843 | 376 79785 504073 | 2147483647 100829 25 | 1.571 % |
18.17/18.26 c | 101715 | 376 79785 504073 | 2147483647 101701 25 | 1.578 % |
18.47/18.58 c | 102673 | 376 79785 504073 | 2147483647 102659 25 | 1.571 % |
18.67/18.75 c | 103726 | 376 79785 504073 | 2147483647 103712 25 | 1.571 % |
18.97/19.07 c | 104884 | 376 79785 504073 | 2147483647 104870 25 | 1.571 % |
19.07/19.10 c | 104989 | 376 79785 504073 | 2147483647 104975 25 | 1.571 % |
19.07/19.13 c | 105100 | 376 79785 504073 | 2147483647 105086 25 | 1.571 % |
19.07/19.18 c | 105227 | 376 79785 504073 | 2147483647 105213 25 | 1.571 % |
19.17/19.21 c | 105362 | 376 79785 504073 | 2147483647 105348 25 | 1.571 % |
19.17/19.25 c | 105510 | 376 79785 504073 | 2147483647 105496 25 | 1.571 % |
19.27/19.32 c | 105671 | 376 79785 504073 | 2147483647 105657 25 | 1.571 % |
19.27/19.37 c | 105847 | 376 79785 504073 | 2147483647 105833 25 | 1.571 % |
19.37/19.43 c | 106041 | 376 79785 504073 | 2147483647 106027 25 | 1.571 % |
19.47/19.52 c | 106254 | 376 79785 504073 | 2147483647 106240 25 | 1.571 % |
19.47/19.57 c | 106488 | 376 79785 504073 | 2147483647 106474 25 | 1.571 % |
19.56/19.63 c | 106744 | 376 79785 504073 | 2147483647 106730 25 | 1.578 % |
19.67/19.72 c | 107026 | 376 79785 504073 | 2147483647 107012 25 | 1.572 % |
19.77/19.81 c | 107337 | 376 79785 504073 | 2147483647 107323 25 | 1.571 % |
19.77/19.88 c | 107676 | 376 79785 504073 | 2147483647 107661 25 | 1.832 % |
19.86/19.95 c | 108048 | 375 79785 504073 | 2147483647 108033 25 | 1.833 % |
19.96/20.08 c | 108457 | 375 79785 504073 | 2147483647 108442 25 | 1.833 % |
20.06/20.19 c | 108906 | 375 79785 504073 | 2147483647 108891 25 | 1.833 % |
20.16/20.28 c | 109399 | 375 79785 504073 | 2147483647 109384 25 | 1.833 % |
20.36/20.44 c | 109941 | 375 79785 504073 | 2147483647 109926 25 | 1.833 % |
20.56/20.60 c | 110538 | 375 79785 504073 | 2147483647 110523 25 | 1.833 % |
20.77/20.82 c | 111196 | 375 79785 504073 | 2147483647 111181 25 | 1.833 % |
20.86/20.96 c | 111916 | 375 79785 504073 | 2147483647 111901 25 | 1.833 % |
21.06/21.17 c | 112708 | 375 79785 504073 | 2147483647 112693 25 | 1.833 % |
21.26/21.39 c | 113579 | 374 79785 504073 | 2147483647 113563 25 | 2.095 % |
21.56/21.64 c | 114537 | 374 79785 504073 | 2147483647 114521 25 | 2.095 % |
21.96/22.00 c | 115592 | 374 79785 504073 | 2147483647 115576 25 | 2.095 % |
22.26/22.30 c | 116750 | 374 79785 504073 | 2147483647 116734 25 | 2.095 % |
22.56/22.63 c | 118023 | 374 79785 504073 | 2147483647 118007 25 | 2.095 % |
22.56/22.67 c | 118123 | 374 79785 504073 | 2147483647 118107 25 | 2.095 % |
22.66/22.72 c | 118234 | 374 79785 504073 | 2147483647 118218 25 | 2.095 % |
22.66/22.76 c | 118355 | 374 79785 504073 | 2147483647 118339 25 | 2.095 % |
22.76/22.81 c | 118489 | 374 79785 504073 | 2147483647 118473 25 | 2.095 % |
22.76/22.87 c | 118635 | 374 79785 504073 | 2147483647 118619 25 | 2.095 % |
22.86/22.91 c | 118795 | 374 79785 504073 | 2147483647 118779 25 | 2.095 % |
22.86/22.96 c | 118973 | 374 79785 504073 | 2147483647 118957 25 | 2.095 % |
22.96/23.03 c | 119167 | 374 79785 504073 | 2147483647 119151 25 | 2.095 % |
23.06/23.10 c | 119380 | 374 79785 504073 | 2147483647 119364 25 | 2.095 % |
23.16/23.22 c | 119613 | 374 79785 504073 | 2147483647 119597 25 | 2.095 % |
23.26/23.31 c | 119870 | 374 79785 504073 | 2147483647 119854 25 | 2.095 % |
23.26/23.38 c | 120152 | 374 79785 504073 | 2147483647 120136 25 | 2.095 % |
23.36/23.47 c | 120464 | 374 79785 504073 | 2147483647 120448 25 | 2.095 % |
23.46/23.56 c | 120803 | 374 79785 504073 | 2147483647 120787 25 | 2.095 % |
23.57/23.65 c | 121177 | 374 79785 504073 | 2147483647 121161 25 | 2.095 % |
23.67/23.74 c | 121588 | 374 79785 504073 | 2147483647 121572 25 | 2.095 % |
23.87/23.99 c | 122039 | 374 79785 504073 | 2147483647 122023 25 | 2.095 % |
24.07/24.13 c | 122533 | 374 79785 504073 | 2147483647 122517 25 | 2.095 % |
24.36/24.40 c | 123077 | 374 79785 504073 | 2147483647 123061 25 | 2.095 % |
24.46/24.58 c | 123675 | 374 79785 504073 | 2147483647 123659 25 | 2.095 % |
24.76/24.81 c | 124332 | 374 79785 504073 | 2147483647 124316 25 | 2.095 % |
24.96/25.04 c | 125054 | 374 79785 504073 | 2147483647 125038 25 | 2.103 % |
25.27/25.31 c | 125849 | 374 79785 504073 | 2147483647 125833 25 | 2.095 % |
25.46/25.56 c | 126720 | 374 79785 504073 | 2147483647 126704 26 | 2.095 % |
25.76/25.89 c | 127678 | 374 79785 504073 | 2147483647 127662 26 | 2.095 % |
26.06/26.19 c | 128732 | 374 79785 504073 | 2147483647 128716 26 | 2.095 % |
26.56/26.63 c | 129893 | 374 79785 504073 | 2147483647 129877 26 | 2.095 % |
26.96/27.06 c | 131168 | 374 79785 504073 | 2147483647 131152 26 | 2.095 % |
27.37/27.41 c | 132569 | 374 79785 504073 | 2147483647 132553 26 | 2.095 % |
27.37/27.46 c | 132669 | 374 79785 504073 | 2147483647 132653 26 | 2.095 % |
27.47/27.51 c | 132784 | 374 79785 504073 | 2147483647 132768 26 | 2.099 % |
27.47/27.57 c | 132908 | 374 79785 504073 | 2147483647 132892 26 | 2.102 % |
27.56/27.62 c | 133044 | 374 79785 504073 | 2147483647 133028 26 | 2.095 % |
27.56/27.69 c | 133191 | 374 79785 504073 | 2147483647 133175 26 | 2.095 % |
27.66/27.75 c | 133351 | 374 79785 504073 | 2147483647 133335 26 | 2.095 % |
27.76/27.81 c | 133528 | 374 79785 504073 | 2147483647 133512 26 | 2.095 % |
27.86/27.90 c | 133721 | 374 79785 504073 | 2147483647 133705 26 | 2.095 % |
27.86/27.97 c | 133934 | 374 79785 504073 | 2147483647 133918 26 | 2.095 % |
27.96/28.04 c | 134167 | 374 79785 504073 | 2147483647 134151 26 | 2.102 % |
27.96/28.09 c | 134423 | 374 79785 504073 | 2147483647 134407 26 | 2.095 % |
28.06/28.19 c | 134705 | 374 79785 504073 | 2147483647 134689 26 | 2.095 % |
28.16/28.29 c | 135014 | 374 79785 504073 | 2147483647 134998 26 | 2.095 % |
28.36/28.43 c | 135357 | 374 79785 504073 | 2147483647 135341 26 | 2.095 % |
28.47/28.55 c | 135729 | 374 79785 504073 | 2147483647 135713 26 | 2.095 % |
28.57/28.68 c | 136139 | 374 79785 504073 | 2147483647 136123 26 | 2.102 % |
28.66/28.76 c | 136588 | 374 79785 504073 | 2147483647 136572 26 | 2.095 % |
28.86/28.99 c | 137082 | 374 79785 504073 | 2147483647 137066 26 | 2.095 % |
29.06/29.15 c | 137624 | 374 79785 504073 | 2147483647 137608 26 | 2.095 % |
29.26/29.32 c | 138220 | 374 79785 504073 | 2147483647 138204 26 | 2.095 % |
29.46/29.51 c | 138883 | 374 79785 504073 | 2147483647 138867 26 | 2.095 % |
29.67/29.71 c | 139603 | 374 79785 504073 | 2147483647 139587 26 | 2.099 % |
29.86/29.94 c | 140395 | 374 79785 504073 | 2147483647 140379 26 | 2.095 % |
29.96/30.08 c | 141267 | 374 79785 504073 | 2147483647 141251 26 | 2.095 % |
30.26/30.36 c | 142226 | 374 79785 504073 | 2147483647 142210 26 | 2.096 % |
30.66/30.75 c | 143279 | 374 79785 504073 | 2147483647 143263 26 | 2.099 % |
30.96/31.04 c | 144437 | 374 79785 504073 | 2147483647 144421 26 | 2.095 % |
31.46/31.57 c | 145710 | 374 79785 504073 | 2147483647 145694 26 | 2.095 % |
32.06/32.18 c | 147112 | 374 79785 504073 | 2147483647 147096 26 | 2.095 % |
32.66/32.76 c | 148652 | 374 79785 504073 | 2147483647 148636 26 | 2.095 % |
32.76/32.81 c | 148753 | 374 79785 504073 | 2147483647 148737 26 | 2.095 % |
32.76/32.84 c | 148863 | 374 79785 504073 | 2147483647 148847 26 | 2.095 % |
32.76/32.89 c | 148984 | 374 79785 504073 | 2147483647 148968 26 | 2.096 % |
32.86/32.97 c | 149117 | 374 79785 504073 | 2147483647 149101 26 | 2.099 % |
32.96/33.03 c | 149263 | 374 79785 504073 | 2147483647 149247 26 | 2.096 % |
32.96/33.08 c | 149423 | 374 79785 504073 | 2147483647 149407 26 | 2.095 % |
33.06/33.14 c | 149601 | 374 79785 504073 | 2147483647 149585 26 | 2.095 % |
33.06/33.19 c | 149795 | 374 79785 504073 | 2147483647 149779 26 | 2.095 % |
33.16/33.27 c | 150008 | 374 79785 504073 | 2147483647 149992 26 | 2.095 % |
33.36/33.47 c | 150242 | 374 79785 504073 | 2147483647 150226 26 | 2.095 % |
33.46/33.57 c | 150499 | 374 79785 504073 | 2147483647 150483 26 | 2.095 % |
33.56/33.67 c | 150780 | 374 79785 504073 | 2147483647 150764 26 | 2.095 % |
33.66/33.78 c | 151089 | 374 79785 504073 | 2147483647 151073 26 | 2.095 % |
33.85/33.91 c | 151430 | 374 79785 504073 | 2147483647 151414 26 | 2.095 % |
33.96/34.06 c | 151804 | 374 79785 504073 | 2147483647 151788 26 | 2.095 % |
34.06/34.18 c | 152213 | 374 79785 504073 | 2147483647 152197 26 | 2.096 % |
34.35/34.42 c | 152662 | 374 79785 504073 | 2147483647 152646 26 | 2.095 % |
34.45/34.60 c | 153158 | 374 79785 504073 | 2147483647 153142 26 | 2.095 % |
34.65/34.75 c | 153700 | 374 79785 504073 | 2147483647 153684 26 | 2.099 % |
34.85/34.92 c | 154297 | 374 79785 504073 | 2147483647 154281 26 | 2.095 % |
35.06/35.15 c | 154953 | 374 79785 504073 | 2147483647 154937 26 | 2.096 % |
35.35/35.49 c | 155674 | 374 79785 504073 | 2147483647 155658 26 | 2.103 % |
35.75/35.86 c | 156468 | 374 79785 504073 | 2147483647 156452 26 | 2.100 % |
36.05/36.12 c | 157341 | 374 79785 504073 | 2147483647 157325 26 | 2.095 % |
36.26/36.39 c | 158299 | 374 79785 504073 | 2147483647 158283 26 | 2.095 % |
36.75/36.82 c | 159352 | 374 79785 504073 | 2147483647 159336 26 | 2.102 % |
37.15/37.23 c | 160510 | 374 79785 504073 | 2147483647 160494 27 | 2.095 % |
37.45/37.58 c | 161783 | 374 79785 504073 | 2147483647 161767 27 | 2.095 % |
37.85/37.96 c | 163184 | 374 79785 504073 | 2147483647 163168 27 | 2.095 % |
38.46/38.52 c | 164724 | 374 79785 504073 | 2147483647 164708 27 | 2.095 % |
39.16/39.21 c | 166420 | 374 79785 504073 | 2147483647 166404 27 | 2.095 % |
39.16/39.27 c | 166522 | 374 79785 504073 | 2147483647 166506 27 | 2.095 % |
39.26/39.36 c | 166633 | 374 79785 504073 | 2147483647 166617 27 | 2.095 % |
39.36/39.42 c | 166754 | 374 79785 504073 | 2147483647 166738 27 | 2.095 % |
39.46/39.51 c | 166887 | 374 79785 504073 | 2147483647 166871 27 | 2.095 % |
39.46/39.58 c | 167033 | 374 79785 504073 | 2147483647 167017 27 | 2.095 % |
39.56/39.70 c | 167194 | 374 79785 504073 | 2147483647 167178 27 | 2.095 % |
39.66/39.78 c | 167372 | 374 79785 504073 | 2147483647 167356 27 | 2.095 % |
39.86/39.90 c | 167566 | 374 79785 504073 | 2147483647 167550 27 | 2.095 % |
39.96/40.04 c | 167778 | 374 79785 504073 | 2147483647 167762 27 | 2.095 % |
40.06/40.15 c | 168013 | 374 79785 504073 | 2147483647 167997 27 | 2.095 % |
40.26/40.31 c | 168271 | 374 79785 504073 | 2147483647 168255 27 | 2.095 % |
40.46/40.51 c | 168552 | 374 76956 488586 | 2147483647 168518 27 | 2.095 % |
40.66/40.73 c | 168861 | 374 76956 488586 | 2147483647 168827 27 | 2.095 % |
40.86/40.91 c | 169203 | 374 76956 488586 | 2147483647 169169 27 | 2.095 % |
41.06/41.11 c | 169576 | 374 76956 488586 | 2147483647 169542 27 | 2.095 % |
41.26/41.33 c | 169985 | 374 76956 488586 | 2147483647 169951 27 | 2.095 % |
41.45/41.52 c | 170434 | 374 76956 488586 | 2147483647 170400 27 | 2.095 % |
41.76/41.81 c | 170928 | 374 76956 488586 | 2147483647 170894 27 | 2.095 % |
42.05/42.17 c | 171470 | 374 76956 488586 | 2147483647 171436 27 | 2.095 % |
42.45/42.54 c | 172066 | 374 76956 488586 | 2147483647 172032 27 | 2.095 % |
42.76/42.85 c | 172723 | 374 76956 488586 | 2147483647 172689 27 | 2.095 % |
43.05/43.16 c | 173443 | 374 76956 488586 | 2147483647 173409 27 | 2.095 % |
43.55/43.63 c | 174235 | 374 76956 488586 | 2147483647 174201 27 | 2.095 % |
44.05/44.11 c | 175108 | 374 76956 488586 | 2147483647 175074 27 | 2.095 % |
44.35/44.49 c | 176067 | 374 76956 488586 | 2147483647 176033 27 | 2.095 % |
45.05/45.11 c | 177120 | 374 76956 488586 | 2147483647 177086 27 | 2.095 % |
45.55/45.66 c | 178278 | 374 76956 488586 | 2147483647 178244 27 | 2.095 % |
46.25/46.36 c | 179552 | 374 76956 488586 | 2147483647 179518 27 | 2.095 % |
47.06/47.18 c | 180953 | 374 76956 488586 | 2147483647 180919 27 | 2.095 % |
48.06/48.13 c | 182494 | 374 76956 488586 | 2147483647 182460 27 | 2.095 % |
48.85/48.92 c | 184188 | 374 76956 488586 | 2147483647 184154 27 | 2.095 % |
49.75/49.83 c | 186051 | 374 76956 488586 | 2147483647 186017 27 | 2.095 % |
49.85/49.92 c | 186151 | 374 76956 488586 | 2147483647 186117 27 | 2.095 % |
49.85/49.99 c | 186261 | 374 76956 488586 | 2147483647 186227 27 | 2.095 % |
49.95/50.06 c | 186384 | 374 76956 488586 | 2147483647 186350 27 | 2.095 % |
50.05/50.17 c | 186518 | 374 76956 488586 | 2147483647 186484 27 | 2.095 % |
50.15/50.27 c | 186665 | 374 76956 488586 | 2147483647 186631 27 | 2.095 % |
50.25/50.36 c | 186827 | 374 76956 488586 | 2147483647 186793 27 | 2.095 % |
50.35/50.48 c | 187003 | 374 76956 488586 | 2147483647 186969 27 | 2.095 % |
50.55/50.65 c | 187196 | 374 76956 488586 | 2147483647 187162 27 | 2.095 % |
50.65/50.76 c | 187411 | 374 76956 488586 | 2147483647 187377 27 | 2.095 % |
50.85/50.92 c | 187644 | 374 76956 488586 | 2147483647 187610 27 | 2.095 % |
50.95/51.09 c | 187901 | 374 76956 488586 | 2147483647 187867 27 | 2.095 % |
51.15/51.22 c | 188182 | 374 76956 488586 | 2147483647 188148 27 | 2.095 % |
51.25/51.35 c | 188491 | 374 76956 488586 | 2147483647 188457 27 | 2.095 % |
51.45/51.58 c | 188831 | 374 76956 488586 | 2147483647 188797 27 | 2.099 % |
51.65/51.75 c | 189207 | 374 76956 488586 | 2147483647 189173 27 | 2.095 % |
51.85/51.92 c | 189617 | 374 76956 488586 | 2147483647 189583 27 | 2.095 % |
52.15/52.20 c | 190066 | 374 76956 488586 | 2147483647 190032 27 | 2.095 % |
52.55/52.70 c | 190562 | 374 76956 488586 | 2147483647 190528 27 | 2.096 % |
52.95/53.02 c | 191104 | 374 76956 488586 | 2147483647 191070 27 | 2.095 % |
53.15/53.27 c | 191700 | 374 76956 488586 | 2147483647 191666 27 | 2.095 % |
53.45/53.57 c | 192355 | 374 76956 488586 | 2147483647 192321 27 | 2.101 % |
53.95/54.05 c | 193075 | 374 76956 488586 | 2147483647 193041 27 | 2.095 % |
54.35/54.48 c | 193867 | 374 76956 488586 | 2147483647 193833 28 | 2.095 % |
54.86/54.94 c | 194739 | 374 76956 488586 | 2147483647 194705 28 | 2.095 % |
55.26/55.35 c | 195697 | 374 76956 488586 | 2147483647 195663 28 | 2.095 % |
55.85/55.96 c | 196750 | 374 76956 488586 | 2147483647 196716 28 | 2.095 % |
56.45/56.58 c | 197909 | 374 76956 488586 | 2147483647 197875 28 | 2.095 % |
56.95/57.07 c | 199184 | 374 76956 488586 | 2147483647 199150 28 | 2.095 % |
57.45/57.59 c | 200587 | 374 76956 488586 | 2147483647 200553 28 | 2.095 % |
58.35/58.44 c | 202127 | 374 76956 488586 | 2147483647 202093 28 | 2.095 % |
59.05/59.13 c | 203824 | 374 76956 488586 | 2147483647 203790 28 | 2.095 % |
60.25/60.31 c | 205687 | 374 76956 488586 | 2147483647 205653 28 | 2.095 % |
61.25/61.39 c | 207736 | 374 76956 488586 | 2147483647 207702 28 | 2.095 % |
61.35/61.43 c | 207840 | 374 76956 488586 | 2147483647 207806 28 | 2.095 % |
61.35/61.49 c | 207951 | 374 76956 488586 | 2147483647 207917 28 | 2.095 % |
61.45/61.55 c | 208077 | 374 76956 488586 | 2147483647 208043 28 | 2.095 % |
61.55/61.69 c | 208210 | 374 76956 488586 | 2147483647 208176 28 | 2.095 % |
61.65/61.78 c | 208356 | 374 76956 488586 | 2147483647 208322 28 | 2.095 % |
61.75/61.87 c | 208517 | 374 76956 488586 | 2147483647 208483 28 | 2.095 % |
62.05/62.11 c | 208693 | 374 76956 488586 | 2147483647 208659 28 | 2.095 % |
62.14/62.25 c | 208887 | 374 76956 488586 | 2147483647 208853 28 | 2.095 % |
62.35/62.41 c | 209101 | 374 76956 488586 | 2147483647 209067 28 | 2.095 % |
62.45/62.56 c | 209334 | 374 76956 488586 | 2147483647 209300 28 | 2.095 % |
62.66/62.74 c | 209590 | 374 76956 488586 | 2147483647 209556 28 | 2.095 % |
63.05/63.15 c | 209872 | 374 76956 488586 | 2147483647 209838 28 | 2.095 % |
63.35/63.44 c | 210181 | 374 76956 488586 | 2147483647 210147 28 | 2.095 % |
63.55/63.69 c | 210521 | 374 76956 488586 | 2147483647 210487 28 | 2.095 % |
63.95/64.02 c | 210895 | 374 76956 488586 | 2147483647 210861 28 | 2.095 % |
64.15/64.27 c | 211307 | 374 76956 488586 | 2147483647 211273 28 | 2.095 % |
64.55/64.60 c | 211760 | 374 76956 488586 | 2147483647 211726 28 | 2.101 % |
64.76/64.82 c | 212253 | 374 76956 488586 | 2147483647 212219 28 | 2.095 % |
64.95/65.09 c | 212796 | 374 76956 488586 | 2147483647 212762 28 | 2.095 % |
65.25/65.39 c | 213394 | 374 76956 488586 | 2147483647 213360 28 | 2.101 % |
65.75/65.83 c | 214050 | 374 76956 488586 | 2147483647 214016 28 | 2.096 % |
66.35/66.46 c | 214771 | 374 76956 488586 | 2147483647 214737 28 | 2.095 % |
66.85/66.99 c | 215566 | 374 76956 488586 | 2147483647 215532 28 | 2.095 % |
67.45/67.59 c | 216438 | 374 76956 488586 | 2147483647 216404 28 | 2.095 % |
68.25/68.35 c | 217396 | 374 76956 488586 | 2147483647 217362 28 | 2.095 % |
69.15/69.29 c | 218450 | 374 76956 488586 | 2147483647 218416 28 | 2.095 % |
69.85/69.96 c | 219611 | 374 76956 488586 | 2147483647 219577 28 | 2.095 % |
70.85/70.91 c | 220884 | 374 76956 488586 | 2147483647 220850 28 | 2.095 % |
71.95/72.03 c | 222287 | 374 76956 488586 | 2147483647 222253 28 | 2.095 % |
72.84/72.93 c | 223827 | 374 76956 488586 | 2147483647 223793 28 | 2.095 % |
73.94/74.00 c | 225522 | 374 76956 488586 | 2147483647 225488 28 | 2.095 % |
75.44/75.59 c | 227385 | 374 76956 488586 | 2147483647 227351 28 | 2.095 % |
76.35/76.41 c | 229435 | 374 76956 488586 | 2147483647 229401 28 | 2.095 % |
78.45/78.54 c | 231689 | 374 76956 488586 | 2147483647 231655 28 | 2.095 % |
78.55/78.67 c | 231789 | 374 76956 488586 | 2147483647 231755 28 | 2.095 % |
78.65/78.77 c | 231900 | 374 76956 488586 | 2147483647 231866 28 | 2.095 % |
78.75/78.87 c | 232024 | 374 76956 488586 | 2147483647 231990 28 | 2.095 % |
78.95/79.01 c | 232158 | 374 76956 488586 | 2147483647 232124 28 | 2.095 % |
78.95/79.09 c | 232306 | 374 76956 488586 | 2147483647 232272 28 | 2.095 % |
79.15/79.21 c | 232469 | 374 76956 488586 | 2147483647 232435 28 | 2.095 % |
79.25/79.35 c | 232646 | 374 76956 488586 | 2147483647 232612 28 | 2.095 % |
79.45/79.54 c | 232840 | 374 76956 488586 | 2147483647 232806 28 | 2.095 % |
79.55/79.68 c | 233052 | 374 76956 488586 | 2147483647 233018 28 | 2.095 % |
79.85/79.95 c | 233285 | 374 76956 488586 | 2147483647 233251 28 | 2.095 % |
80.15/80.21 c | 233541 | 374 76956 488586 | 2147483647 233507 28 | 2.095 % |
80.35/80.42 c | 233823 | 374 76956 488586 | 2147483647 233789 28 | 2.095 % |
80.55/80.64 c | 234134 | 374 76956 488586 | 2147483647 234100 28 | 2.095 % |
80.75/80.89 c | 234474 | 374 76956 488586 | 2147483647 234440 28 | 2.095 % |
81.05/81.12 c | 234846 | 374 76956 488586 | 2147483647 234812 28 | 2.095 % |
81.25/81.39 c | 235259 | 374 76956 488586 | 2147483647 235225 28 | 2.099 % |
81.65/81.70 c | 235709 | 374 76956 488586 | 2147483647 235675 28 | 2.095 % |
81.85/81.96 c | 236207 | 374 76956 488586 | 2147483647 236173 28 | 2.095 % |
82.14/82.26 c | 236749 | 374 76956 488586 | 2147483647 236715 28 | 2.095 % |
82.45/82.55 c | 237351 | 374 76956 488586 | 2147483647 237317 29 | 2.095 % |
82.94/83.02 c | 238006 | 374 76956 488586 | 2147483647 237972 28 | 2.095 % |
83.74/83.80 c | 238728 | 374 76956 488586 | 2147483647 238694 29 | 2.095 % |
84.34/84.44 c | 239524 | 374 76956 488586 | 2147483647 239490 29 | 2.095 % |
85.54/85.62 c | 240395 | 374 76956 488586 | 2147483647 240361 29 | 2.095 % |
86.34/86.42 c | 241354 | 374 76956 488586 | 2147483647 241320 29 | 2.095 % |
87.14/87.21 c | 242408 | 374 76956 488586 | 2147483647 242374 29 | 2.095 % |
87.94/88.01 c | 243567 | 374 76956 488586 | 2147483647 243533 29 | 2.095 % |
89.34/89.45 c | 244840 | 374 76956 488586 | 2147483647 244806 29 | 2.095 % |
90.44/90.58 c | 246240 | 374 76956 488586 | 2147483647 246206 29 | 2.095 % |
91.64/91.78 c | 247780 | 374 76956 488586 | 2147483647 247746 29 | 2.095 % |
93.24/93.39 c | 249474 | 374 76956 488586 | 2147483647 249440 29 | 2.095 % |
94.44/94.60 c | 251337 | 374 76956 488586 | 2147483647 251303 29 | 2.095 % |
95.84/95.95 c | 253386 | 374 76956 488586 | 2147483647 253352 29 | 2.095 % |
97.14/97.27 c | 255639 | 374 76956 488586 | 2147483647 255605 29 | 2.095 % |
98.74/98.81 c | 258117 | 374 76956 488586 | 2147483647 258083 29 | 2.095 % |
98.74/98.89 c | 258221 | 374 76956 488586 | 2147483647 258187 29 | 2.095 % |
98.84/98.97 c | 258332 | 374 76956 488586 | 2147483647 258298 29 | 2.095 % |
98.94/99.04 c | 258453 | 374 76956 488586 | 2147483647 258419 29 | 2.096 % |
99.04/99.14 c | 258587 | 374 76956 488586 | 2147483647 258553 29 | 2.095 % |
99.24/99.36 c | 258733 | 374 76956 488586 | 2147483647 258699 29 | 2.095 % |
99.44/99.53 c | 258893 | 374 76956 488586 | 2147483647 258859 29 | 2.095 % |
99.64/99.72 c | 259073 | 374 76956 488586 | 2147483647 259039 29 | 2.095 % |
99.84/99.95 c | 259267 | 374 76956 488586 | 2147483647 259233 29 | 2.095 % |
100.14/100.23 c | 259480 | 374 76956 488586 | 2147483647 259446 29 | 2.095 % |
100.34/100.48 c | 259713 | 374 76956 488586 | 2147483647 259679 29 | 2.095 % |
100.64/100.70 c | 259969 | 374 76956 488586 | 2147483647 259935 29 | 2.099 % |
100.84/100.96 c | 260250 | 374 76956 488586 | 2147483647 260216 29 | 2.095 % |
101.04/101.17 c | 260559 | 374 76956 488586 | 2147483647 260525 29 | 2.095 % |
101.44/101.52 c | 260898 | 374 76956 488586 | 2147483647 260864 29 | 2.095 % |
101.64/101.77 c | 261270 | 374 76956 488586 | 2147483647 261236 29 | 2.100 % |
101.94/102.02 c | 261682 | 374 76956 488586 | 2147483647 261648 29 | 2.095 % |
102.44/102.53 c | 262134 | 374 76956 488586 | 2147483647 262100 29 | 2.095 % |
102.84/102.92 c | 262630 | 374 76956 488586 | 2147483647 262596 29 | 2.095 % |
103.34/103.48 c | 263172 | 374 76956 488586 | 2147483647 263138 29 | 2.095 % |
103.84/103.94 c | 263768 | 374 76956 488586 | 2147483647 263734 29 | 2.095 % |
104.34/104.45 c | 264423 | 374 76956 488586 | 2147483647 264389 29 | 2.095 % |
104.94/105.03 c | 265143 | 374 76956 488586 | 2147483647 265109 29 | 2.104 % |
105.54/105.69 c | 265935 | 374 76956 488586 | 2147483647 265901 29 | 2.099 % |
106.54/106.69 c | 266807 | 374 76956 488586 | 2147483647 266773 29 | 2.095 % |
107.33/107.43 c | 267767 | 374 76956 488586 | 2147483647 267733 29 | 2.095 % |
108.23/108.31 c | 268820 | 374 76956 488586 | 2147483647 268786 29 | 2.095 % |
109.13/109.26 c | 269979 | 374 76956 488586 | 2147483647 269945 29 | 2.095 % |
110.74/110.83 c | 271253 | 374 76956 488586 | 269966 240126 29 | 2.095 % |
111.74/111.89 c | 272653 | 374 76956 488586 | 269966 241526 29 | 2.095 % |
112.94/113.06 c | 274193 | 374 76956 488586 | 269966 243066 29 | 2.095 % |
114.34/114.49 c | 275888 | 374 76956 488586 | 269966 244761 29 | 2.095 % |
115.84/115.95 c | 277753 | 374 76956 488586 | 269966 246626 29 | 2.095 % |
117.54/117.69 c | 279802 | 374 76956 488586 | 269966 248675 29 | 2.095 % |
119.74/119.81 c | 282055 | 374 76956 488586 | 2147483647 250928 29 | 2.095 % |
122.63/122.74 c | 284533 | 374 76956 488586 | 2147483647 253406 29 | 2.095 % |
126.13/126.20 c | 287258 | 374 76956 488586 | 2147483647 256131 29 | 2.095 % |
126.23/126.30 c | 287358 | 374 76956 488586 | 2147483647 256231 29 | 2.095 % |
126.34/126.44 c | 287468 | 374 76956 488586 | 2147483647 256341 29 | 2.095 % |
126.44/126.57 c | 287592 | 374 76956 488586 | 2147483647 256465 29 | 2.095 % |
126.63/126.70 c | 287726 | 374 76956 488586 | 2147483647 256599 29 | 2.095 % |
126.73/126.82 c | 287873 | 374 76956 488586 | 2147483647 256746 29 | 2.095 % |
126.83/126.97 c | 288033 | 374 76956 488586 | 2147483647 256906 29 | 2.095 % |
127.13/127.30 c | 288209 | 374 76956 488586 | 2147483647 257082 29 | 2.095 % |
127.33/127.47 c | 288402 | 374 76956 488586 | 2147483647 257275 29 | 2.095 % |
127.63/127.73 c | 288614 | 374 76956 488586 | 2147483647 257487 29 | 2.095 % |
127.83/127.98 c | 288849 | 374 76956 488586 | 2147483647 257722 29 | 2.095 % |
128.13/128.20 c | 289105 | 374 76956 488586 | 2147483647 257978 29 | 2.105 % |
128.23/128.39 c | 289386 | 374 76956 488586 | 2147483647 258259 29 | 2.101 % |
128.43/128.60 c | 289695 | 374 76956 488586 | 2147483647 258568 29 | 2.095 % |
128.64/128.76 c | 290034 | 374 76956 488586 | 258874 258907 29 | 2.095 % |
129.64/129.76 c | 290406 | 374 76956 488586 | 258874 227724 29 | 2.095 % |
129.93/130.04 c | 290817 | 374 76956 488586 | 258874 228135 29 | 2.095 % |
130.43/130.50 c | 291267 | 374 76956 488586 | 258874 228585 29 | 2.095 % |
130.84/130.91 c | 291761 | 374 76956 488586 | 258874 229079 29 | 2.095 % |
131.13/131.23 c | 292303 | 374 76956 488586 | 258874 229621 29 | 2.095 % |
131.63/131.75 c | 292899 | 374 76956 488586 | 258874 230217 29 | 2.095 % |
132.13/132.23 c | 293554 | 374 76956 488586 | 258874 230872 29 | 2.095 % |
132.83/132.99 c | 294276 | 374 76956 488586 | 258874 231594 29 | 2.095 % |
133.43/133.60 c | 295068 | 374 76956 488586 | 258874 232386 29 | 2.095 % |
134.53/134.68 c | 295941 | 374 76956 488586 | 258874 233259 29 | 2.095 % |
135.43/135.50 c | 296900 | 374 76956 488586 | 258874 234218 29 | 2.095 % |
136.23/136.38 c | 297953 | 374 76956 488586 | 258874 235271 29 | 2.099 % |
137.13/137.22 c | 299112 | 374 76956 488586 | 258874 236430 29 | 2.095 % |
138.73/138.82 c | 300390 | 374 76956 488586 | 237321 212575 29 | 2.095 % |
139.63/139.79 c | 301790 | 374 76956 488586 | 237321 213975 29 | 2.100 % |
140.73/140.87 c | 303330 | 373 76956 488586 | 237321 215514 29 | 2.357 % |
142.02/142.12 c | 305026 | 373 76956 488586 | 237321 217210 29 | 2.357 % |
143.93/144.03 c | 306890 | 373 76956 488586 | 237321 219074 29 | 2.357 % |
145.72/145.82 c | 308940 | 373 76956 488586 | 237321 221124 29 | 2.357 % |
147.82/147.96 c | 311193 | 373 76956 488586 | 2147483647 223377 29 | 2.358 % |
150.22/150.36 c | 313671 | 373 76956 488586 | 2147483647 225855 29 | 2.369 % |
152.92/153.03 c | 316398 | 373 76956 488586 | 2147483647 228582 29 | 2.357 % |
155.92/156.03 c | 319395 | 373 76956 488586 | 2147483647 231579 29 | 2.357 % |
155.92/156.08 c | 319497 | 373 76956 488586 | 2147483647 231681 29 | 2.357 % |
156.02/156.12 c | 319607 | 373 76956 488586 | 2147483647 231791 29 | 2.357 % |
156.02/156.18 c | 319728 | 373 76956 488586 | 2147483647 231912 29 | 2.357 % |
156.12/156.27 c | 319862 | 373 76956 488586 | 2147483647 232046 29 | 2.357 % |
156.22/156.36 c | 320009 | 373 76956 488586 | 2147483647 232193 29 | 2.357 % |
156.52/156.63 c | 320170 | 373 76956 488586 | 2147483647 232354 29 | 2.358 % |
156.62/156.79 c | 320348 | 373 76956 488586 | 2147483647 232532 29 | 2.357 % |
156.92/157.01 c | 320542 | 373 76956 488586 | 2147483647 232726 29 | 2.361 % |
157.22/157.31 c | 320754 | 373 76956 488586 | 2147483647 232938 29 | 2.357 % |
157.42/157.57 c | 320987 | 373 76956 488586 | 2147483647 233171 29 | 2.357 % |
157.62/157.79 c | 321243 | 373 76956 488586 | 2147483647 233427 29 | 2.357 % |
157.92/158.01 c | 321525 | 373 76956 488586 | 2147483647 233709 29 | 2.357 % |
158.22/158.35 c | 321834 | 373 76956 488586 | 2147483647 234018 29 | 2.357 % |
158.52/158.66 c | 322175 | 373 76956 488586 | 2147483647 234359 29 | 2.357 % |
158.92/159.09 c | 322549 | 373 76956 488586 | 2147483647 234733 29 | 2.357 % |
159.32/159.50 c | 322958 | 373 76956 488586 | 2147483647 235142 29 | 2.357 % |
159.62/159.79 c | 323408 | 373 76956 488586 | 2147483647 235592 29 | 2.357 % |
160.12/160.23 c | 323904 | 373 76956 488586 | 2147483647 236088 29 | 2.357 % |
160.62/160.72 c | 324446 | 373 76956 488586 | 2147483647 236630 29 | 2.357 % |
161.12/161.27 c | 325042 | 373 76956 488586 | 2147483647 237226 29 | 2.357 % |
161.71/161.87 c | 325697 | 373 76956 488586 | 2147483647 237881 29 | 2.357 % |
162.11/162.29 c | 326417 | 373 76956 488586 | 2147483647 238601 29 | 2.357 % |
162.81/162.96 c | 327209 | 373 76956 488586 | 2147483647 239393 29 | 2.357 % |
163.61/163.74 c | 328081 | 373 76956 488586 | 2147483647 240265 29 | 2.357 % |
164.51/164.65 c | 329045 | 372 76956 488586 | 2147483647 241228 29 | 2.618 % |
165.31/165.47 c | 330098 | 372 76956 488586 | 2147483647 242281 29 | 2.618 % |
166.51/166.68 c | 331258 | 372 76956 488586 | 2147483647 243441 29 | 2.618 % |
167.71/167.80 c | 332532 | 372 76956 488586 | 2147483647 244715 29 | 2.618 % |
168.91/169.05 c | 333932 | 372 76956 488586 | 2147483647 246115 29 | 2.618 % |
169.51/169.69 c | 335472 | 372 76956 488586 | 2147483647 247655 30 | 2.618 % |
171.61/171.78 c | 337167 | 372 76956 488586 | 2147483647 249350 30 | 2.618 % |
173.91/174.07 c | 339031 | 372 76956 488586 | 2147483647 251214 30 | 2.618 % |
176.51/176.61 c | 341080 | 372 76956 488586 | 252183 226189 29 | 2.618 % |
178.31/178.44 c | 343334 | 372 76956 488586 | 252183 228443 29 | 2.618 % |
179.71/179.87 c | 345814 | 372 76956 488586 | 252183 230923 29 | 2.618 % |
182.01/182.17 c | 348539 | 372 76956 488586 | 252183 233648 29 | 2.618 % |
185.01/185.18 c | 351539 | 372 76956 488586 | 2147483647 236648 29 | 2.618 % |
188.91/189.08 c | 354836 | 372 76956 488586 | 2147483647 239945 29 | 2.618 % |
189.01/189.19 c | 354937 | 372 76956 488586 | 2147483647 240046 29 | 2.619 % |
189.11/189.29 c | 355047 | 372 76956 488586 | 2147483647 240156 29 | 2.618 % |
189.31/189.49 c | 355171 | 372 76956 488586 | 2147483647 240280 29 | 2.618 % |
189.51/189.60 c | 355305 | 372 76956 488586 | 2147483647 240414 29 | 2.618 % |
189.61/189.70 c | 355452 | 372 76956 488586 | 2147483647 240561 29 | 2.618 % |
189.71/189.88 c | 355613 | 372 76956 488586 | 2147483647 240722 29 | 2.618 % |
189.91/190.08 c | 355789 | 372 76956 488586 | 2147483647 240898 29 | 2.618 % |
190.11/190.22 c | 355982 | 372 76956 488586 | 2147483647 241091 29 | 2.618 % |
190.30/190.46 c | 356195 | 372 76956 488586 | 2147483647 241304 29 | 2.620 % |
190.60/190.70 c | 356429 | 372 76956 488586 | 2147483647 241538 29 | 2.618 % |
190.80/190.93 c | 356685 | 372 76956 488586 | 2147483647 241794 29 | 2.618 % |
191.10/191.26 c | 356967 | 372 76956 488586 | 2147483647 242076 29 | 2.618 % |
191.40/191.53 c | 357276 | 372 76956 488586 | 2147483647 242385 29 | 2.618 % |
191.80/191.91 c | 357615 | 372 76956 488586 | 2147483647 242724 29 | 2.618 % |
192.20/192.32 c | 357989 | 372 76956 488586 | 2147483647 243098 29 | 2.625 % |
192.70/192.82 c | 358399 | 372 76956 488586 | 2147483647 243508 29 | 2.618 % |
193.10/193.24 c | 358848 | 372 76956 488586 | 2147483647 243957 29 | 2.618 % |
193.60/193.72 c | 359341 | 372 76956 488586 | 2147483647 244450 29 | 2.618 % |
193.90/194.06 c | 359884 | 372 76956 488586 | 2147483647 244993 29 | 2.618 % |
194.30/194.45 c | 360484 | 372 76956 488586 | 2147483647 245593 29 | 2.618 % |
194.80/194.95 c | 361140 | 372 76956 488586 | 2147483647 246249 29 | 2.618 % |
195.30/195.41 c | 361860 | 372 76956 488586 | 2147483647 246969 29 | 2.625 % |
195.61/195.76 c | 362652 | 372 76956 488586 | 2147483647 247761 29 | 2.618 % |
196.10/196.27 c | 363524 | 372 76956 488586 | 2147483647 248633 29 | 2.618 % |
197.40/197.57 c | 364483 | 372 76956 488586 | 2147483647 249592 29 | 2.618 % |
198.91/199.02 c | 365539 | 372 76956 488586 | 2147483647 250648 29 | 2.618 % |
200.10/200.27 c | 366697 | 372 76956 488586 | 2147483647 251806 29 | 2.618 % |
201.30/201.43 c | 367970 | 372 76956 488586 | 2147483647 253079 29 | 2.618 % |
202.70/202.89 c | 369371 | 372 76956 488586 | 2147483647 254480 30 | 2.618 % |
204.60/204.76 c | 370913 | 372 76956 488586 | 255109 227353 29 | 2.618 % |
206.70/206.82 c | 372607 | 372 76956 488586 | 255109 229047 29 | 2.618 % |
208.30/208.40 c | 374470 | 372 76956 488586 | 255109 230910 29 | 2.618 % |
209.40/209.51 c | 376521 | 372 76956 488586 | 255109 232961 30 | 2.618 % |
211.10/211.21 c | 378776 | 372 76956 488586 | 255109 235216 30 | 2.618 % |
212.80/212.98 c | 381255 | 372 76956 488586 | 2147483647 237695 30 | 2.618 % |
215.10/215.23 c | 383982 | 372 76956 488586 | 2147483647 240422 30 | 2.618 % |
217.50/217.67 c | 386979 | 372 76956 488586 | 2147483647 243419 30 | 2.618 % |
219.20/219.36 c | 390276 | 372 76956 488586 | 2147483647 246716 30 | 2.618 % |
221.80/221.96 c | 393901 | 372 76956 488586 | 2147483647 250341 30 | 2.618 % |
221.90/222.03 c | 394001 | 372 76956 488586 | 2147483647 250441 30 | 2.618 % |
222.10/222.21 c | 394114 | 372 76956 488586 | 2147483647 250554 30 | 2.618 % |
222.20/222.35 c | 394236 | 372 76956 488586 | 2147483647 250676 30 | 2.618 % |
222.30/222.47 c | 394369 | 372 76956 488586 | 2147483647 250809 30 | 2.618 % |
222.50/222.61 c | 394515 | 372 76956 488586 | 2147483647 250955 30 | 2.619 % |
222.70/222.86 c | 394677 | 372 76956 488586 | 2147483647 251117 30 | 2.618 % |
222.90/223.09 c | 394856 | 372 76956 488586 | 2147483647 251296 30 | 2.618 % |
223.10/223.28 c | 395050 | 372 76956 488586 | 2147483647 251490 30 | 2.618 % |
223.50/223.66 c | 395262 | 372 76956 488586 | 2147483647 251702 30 | 2.618 % |
223.80/223.95 c | 395495 | 372 76956 488586 | 2147483647 251935 30 | 2.618 % |
224.10/224.23 c | 395752 | 372 76956 488586 | 2147483647 252192 30 | 2.618 % |
224.40/224.59 c | 396033 | 372 76956 488586 | 2147483647 252473 30 | 2.618 % |
225.00/225.10 c | 396342 | 372 76956 488586 | 2147483647 252782 30 | 2.618 % |
225.30/225.49 c | 396682 | 372 76956 488586 | 2147483647 253122 30 | 2.618 % |
225.70/225.84 c | 397054 | 372 76956 488586 | 2147483647 253494 30 | 2.618 % |
226.10/226.22 c | 397463 | 372 76956 488586 | 2147483647 253903 30 | 2.618 % |
226.50/226.64 c | 397913 | 372 76956 488586 | 2147483647 254353 30 | 2.618 % |
226.89/227.09 c | 398406 | 372 76956 488586 | 2147483647 254846 30 | 2.620 % |
227.60/227.74 c | 398948 | 372 76956 488586 | 2147483647 255388 30 | 2.618 % |
228.19/228.35 c | 399547 | 372 76956 488586 | 2147483647 255987 30 | 2.618 % |
228.70/228.87 c | 400204 | 372 76956 488586 | 2147483647 256644 30 | 2.618 % |
229.49/229.69 c | 400925 | 372 76956 488586 | 2147483647 257365 30 | 2.618 % |
230.39/230.55 c | 401718 | 372 76956 488586 | 2147483647 258158 30 | 2.618 % |
230.90/231.07 c | 402590 | 372 76956 488586 | 2147483647 259030 30 | 2.619 % |
231.90/232.04 c | 403549 | 372 76956 488586 | 2147483647 259989 30 | 2.618 % |
233.59/233.73 c | 404602 | 372 76956 488586 | 2147483647 261042 30 | 2.618 % |
234.29/234.45 c | 405761 | 372 76956 488586 | 2147483647 262201 30 | 2.619 % |
235.39/235.55 c | 407034 | 372 76956 488586 | 2147483647 263474 30 | 2.618 % |
236.79/236.95 c | 408436 | 372 76956 488586 | 2147483647 264876 30 | 2.618 % |
238.29/238.42 c | 409976 | 372 76956 488586 | 2147483647 266416 30 | 2.618 % |
240.69/240.84 c | 411671 | 372 76956 488586 | 266441 239119 30 | 2.618 % |
241.89/242.00 c | 413536 | 372 76956 488586 | 266441 240984 30 | 2.618 % |
243.99/244.15 c | 415586 | 372 76956 488586 | 266441 243034 30 | 2.618 % |
246.59/246.70 c | 417842 | 372 76956 488586 | 266441 245290 30 | 2.618 % |
248.89/249.07 c | 420320 | 372 76956 488586 | 2147483647 247768 30 | 2.618 % |
250.99/251.11 c | 423047 | 372 76956 488586 | 2147483647 250495 30 | 2.618 % |
253.78/253.96 c | 426044 | 372 76956 488586 | 2147483647 253492 30 | 2.618 % |
257.98/258.12 c | 429341 | 372 76956 488586 | 2147483647 256789 31 | 2.618 % |
261.88/262.09 c | 432967 | 372 76956 488586 | 257448 225046 30 | 2.618 % |
265.18/265.36 c | 436954 | 372 75260 479479 | 257448 229030 30 | 2.618 % |
265.28/265.49 c | 437054 | 372 75260 479479 | 257448 229130 30 | 2.618 % |
265.48/265.64 c | 437164 | 372 75260 479479 | 257448 229240 30 | 2.618 % |
265.58/265.72 c | 437286 | 372 75260 479479 | 257448 229362 30 | 2.618 % |
265.68/265.84 c | 437420 | 372 75260 479479 | 257448 229496 30 | 2.618 % |
265.78/265.92 c | 437566 | 372 75260 479479 | 257448 229642 30 | 2.618 % |
265.98/266.20 c | 437727 | 372 75260 479479 | 257448 229803 30 | 2.618 % |
266.28/266.42 c | 437904 | 372 75260 479479 | 257448 229980 30 | 2.618 % |
266.48/266.60 c | 438098 | 372 75260 479479 | 257448 230174 30 | 2.618 % |
266.58/266.78 c | 438313 | 372 75260 479479 | 257448 230389 30 | 2.618 % |
266.78/266.90 c | 438547 | 372 75260 479479 | 257448 230623 30 | 2.618 % |
266.98/267.20 c | 438804 | 372 75260 479479 | 257448 230880 30 | 2.618 % |
267.38/267.55 c | 439085 | 372 75260 479479 | 257448 231161 30 | 2.618 % |
267.68/267.85 c | 439396 | 372 75260 479479 | 257448 231472 30 | 2.618 % |
267.88/268.09 c | 439737 | 372 75260 479479 | 257448 231813 30 | 2.618 % |
268.28/268.47 c | 440112 | 372 75260 479479 | 2147483647 232188 30 | 2.618 % |
268.68/268.85 c | 440524 | 372 75260 479479 | 2147483647 232600 30 | 2.618 % |
269.28/269.49 c | 440975 | 372 75260 479479 | 2147483647 233051 30 | 2.618 % |
269.88/270.02 c | 441468 | 372 75260 479479 | 2147483647 233544 30 | 2.618 % |
270.68/270.81 c | 442010 | 372 75260 479479 | 2147483647 234086 30 | 2.618 % |
271.28/271.41 c | 442609 | 372 75260 479479 | 2147483647 234685 30 | 2.618 % |
271.98/272.19 c | 443267 | 372 75260 479479 | 2147483647 235343 30 | 2.618 % |
272.78/272.94 c | 443988 | 372 75260 479479 | 2147483647 236064 30 | 2.618 % |
273.78/273.99 c | 444780 | 372 75260 479479 | 2147483647 236856 30 | 2.618 % |
274.68/274.89 c | 445651 | 372 75260 479479 | 2147483647 237727 30 | 2.618 % |
276.18/276.30 c | 446610 | 372 75260 479479 | 2147483647 238686 30 | 2.618 % |
277.18/277.35 c | 447664 | 372 75260 479479 | 2147483647 239740 30 | 2.625 % |
278.18/278.34 c | 448822 | 372 75260 479479 | 2147483647 240898 30 | 2.618 % |
279.58/279.73 c | 450095 | 372 75260 479479 | 242078 242171 30 | 2.618 % |
281.77/281.99 c | 451496 | 372 75260 479479 | 242078 209355 30 | 2.618 % |
283.17/283.39 c | 453038 | 372 75260 479479 | 242078 210897 30 | 2.618 % |
284.78/284.92 c | 454733 | 372 75260 479479 | 242078 212592 30 | 2.618 % |
286.37/286.57 c | 456598 | 372 75260 479479 | 242078 214457 30 | 2.618 % |
288.47/288.68 c | 458648 | 372 75260 479479 | 242078 216507 30 | 2.618 % |
290.18/290.34 c | 460901 | 372 75260 479479 | 2147483647 218760 30 | 2.618 % |
292.07/292.27 c | 463380 | 372 75260 479479 | 2147483647 221239 30 | 2.618 % |
294.58/294.71 c | 466107 | 372 75260 479479 | 2147483647 223966 30 | 2.618 % |
296.57/296.77 c | 469104 | 372 75260 479479 | 2147483647 226963 30 | 2.618 % |
300.07/300.26 c | 472400 | 372 75260 479479 | 2147483647 230259 30 | 2.618 % |
304.37/304.57 c | 476025 | 372 75260 479479 | 2147483647 233884 30 | 2.618 % |
309.27/309.43 c | 480012 | 372 75260 479479 | 2147483647 237871 30 | 2.618 % |
313.87/314.10 c | 484397 | 372 75260 479479 | 2147483647 242256 30 | 2.618 % |
314.07/314.27 c | 484497 | 372 75260 479479 | 2147483647 242356 30 | 2.618 % |
314.17/314.38 c | 484608 | 372 75260 479479 | 2147483647 242467 30 | 2.618 % |
314.37/314.55 c | 484731 | 372 75260 479479 | 2147483647 242590 30 | 2.618 % |
314.47/314.70 c | 484866 | 372 75260 479479 | 2147483647 242725 30 | 2.620 % |
314.66/314.86 c | 485012 | 372 75260 479479 | 2147483647 242871 30 | 2.618 % |
314.96/315.17 c | 485172 | 372 75260 479479 | 2147483647 243031 30 | 2.618 % |
315.16/315.33 c | 485348 | 372 75260 479479 | 2147483647 243207 30 | 2.618 % |
315.36/315.52 c | 485542 | 372 75260 479479 | 2147483647 243401 30 | 2.618 % |
315.76/315.97 c | 485754 | 372 75260 479479 | 2147483647 243613 30 | 2.618 % |
316.06/316.27 c | 485987 | 372 75260 479479 | 2147483647 243846 30 | 2.618 % |
316.36/316.57 c | 486243 | 372 75260 479479 | 2147483647 244102 30 | 2.618 % |
316.76/316.95 c | 486524 | 372 75260 479479 | 2147483647 244383 30 | 2.618 % |
317.16/317.32 c | 486833 | 372 75260 479479 | 2147483647 244692 30 | 2.618 % |
317.46/317.69 c | 487173 | 372 75260 479479 | 2147483647 245032 30 | 2.618 % |
317.86/318.00 c | 487545 | 372 75260 479479 | 2147483647 245404 30 | 2.620 % |
318.26/318.49 c | 487954 | 372 75260 479479 | 2147483647 245813 30 | 2.618 % |
318.87/319.05 c | 488407 | 372 75260 479479 | 2147483647 246266 30 | 2.618 % |
319.26/319.41 c | 488900 | 372 75260 479479 | 2147483647 246759 31 | 2.618 % |
320.06/320.21 c | 489443 | 372 75260 479479 | 2147483647 247302 31 | 2.618 % |
320.76/320.95 c | 490040 | 372 75260 479479 | 247859 247899 31 | 2.618 % |
322.26/322.45 c | 490695 | 372 75260 479479 | 247859 223400 30 | 2.620 % |
322.96/323.16 c | 491415 | 372 75260 479479 | 247859 224120 30 | 2.618 % |
323.66/323.90 c | 492210 | 372 75260 479479 | 247859 224915 30 | 2.618 % |
324.26/324.48 c | 493082 | 372 75260 479479 | 247859 225787 30 | 2.618 % |
325.36/325.52 c | 494042 | 372 75260 479479 | 247859 226747 30 | 2.618 % |
326.85/327.07 c | 495095 | 372 75260 479479 | 247859 227800 30 | 2.618 % |
328.26/328.48 c | 496254 | 372 75260 479479 | 247859 228959 30 | 2.618 % |
329.45/329.63 c | 497528 | 372 75260 479479 | 247859 230233 30 | 2.618 % |
331.35/331.50 c | 498928 | 372 75260 479479 | 247859 231633 30 | 2.618 % |
333.85/334.05 c | 500468 | 372 75260 479479 | 232705 208295 30 | 2.618 % |
335.45/335.65 c | 502162 | 372 75260 479479 | 232705 209989 30 | 2.618 % |
337.85/338.08 c | 504025 | 372 75260 479479 | 232705 211852 30 | 2.626 % |
339.95/340.14 c | 506074 | 372 75260 479479 | 232705 213901 30 | 2.618 % |
342.85/343.00 c | 508327 | 372 75260 479479 | 232705 216154 30 | 2.618 % |
345.15/345.33 c | 510805 | 372 75260 479479 | 2147483647 218632 30 | 2.618 % |
347.45/347.61 c | 513531 | 372 75260 479479 | 2147483647 221358 30 | 2.618 % |
350.85/351.05 c | 516529 | 372 75260 479479 | 2147483647 224356 31 | 2.618 % |
353.65/353.87 c | 519825 | 372 75260 479479 | 2147483647 227652 31 | 2.618 % |
356.95/357.17 c | 523451 | 372 75260 479479 | 2147483647 231278 31 | 2.618 % |
360.34/360.50 c | 527438 | 372 75260 479479 | 2147483647 235265 31 | 2.618 % |
364.34/364.51 c | 531824 | 372 75260 479479 | 2147483647 239651 31 | 2.618 % |
370.56/370.70 c | 536647 | 372 75260 479479 | 2147483647 244474 31 | 2.618 % |
370.65/370.87 c | 536747 | 372 75260 479479 | 2147483647 244574 31 | 2.618 % |
370.75/370.98 c | 536859 | 372 75260 479479 | 2147483647 244686 31 | 2.618 % |
370.95/371.14 c | 536980 | 372 75260 479479 | 2147483647 244807 31 | 2.618 % |
371.05/371.28 c | 537115 | 372 75260 479479 | 2147483647 244942 31 | 2.618 % |
371.25/371.43 c | 537261 | 372 75260 479479 | 2147483647 245088 31 | 2.618 % |
371.45/371.60 c | 537421 | 372 75260 479479 | 2147483647 245248 31 | 2.618 % |
371.56/371.77 c | 537597 | 372 75260 479479 | 2147483647 245424 31 | 2.618 % |
372.05/372.21 c | 537791 | 372 75260 479479 | 2147483647 245618 31 | 2.618 % |
372.35/372.52 c | 538003 | 372 75260 479479 | 2147483647 245830 31 | 2.619 % |
372.75/372.92 c | 538237 | 372 75260 479479 | 2147483647 246064 31 | 2.618 % |
372.95/373.18 c | 538493 | 372 75260 479479 | 2147483647 246320 31 | 2.618 % |
373.35/373.50 c | 538774 | 372 75260 479479 | 2147483647 246601 31 | 2.618 % |
373.65/373.85 c | 539085 | 372 75260 479479 | 2147483647 246912 31 | 2.618 % |
374.15/374.36 c | 539424 | 372 75260 479479 | 2147483647 247251 31 | 2.618 % |
374.55/374.79 c | 539797 | 372 75260 479479 | 2147483647 247624 31 | 2.618 % |
374.95/375.15 c | 540208 | 372 75260 479479 | 2147483647 248035 31 | 2.618 % |
375.55/375.73 c | 540658 | 372 75260 479479 | 2147483647 248485 31 | 2.618 % |
376.05/376.28 c | 541151 | 372 75260 479479 | 2147483647 248978 31 | 2.618 % |
376.65/376.87 c | 541693 | 372 75260 479479 | 2147483647 249520 31 | 2.618 % |
377.15/377.38 c | 542289 | 372 75260 479479 | 2147483647 250116 31 | 2.618 % |
377.95/378.16 c | 542944 | 372 75260 479479 | 2147483647 250771 31 | 2.618 % |
378.85/379.01 c | 543664 | 372 75260 479479 | 2147483647 251491 31 | 2.618 % |
379.65/379.84 c | 544456 | 372 75260 479479 | 2147483647 252283 31 | 2.618 % |
380.35/380.54 c | 545328 | 372 75260 479479 | 2147483647 253155 31 | 2.618 % |
381.04/381.25 c | 546286 | 372 75260 479479 | 2147483647 254113 31 | 2.618 % |
381.74/381.93 c | 547340 | 372 75260 479479 | 2147483647 255167 31 | 2.619 % |
382.44/382.64 c | 548498 | 372 75260 479479 | 2147483647 256325 31 | 2.618 % |
383.44/383.65 c | 549772 | 372 75260 479479 | 2147483647 257599 31 | 2.618 % |
385.95/386.18 c | 551172 | 372 75260 479479 | 257827 232988 31 | 2.618 % |
387.24/387.41 c | 552712 | 372 75260 479479 | 257827 234528 31 | 2.618 % |
388.44/388.66 c | 554406 | 372 75260 479479 | 257827 236222 31 | 2.618 % |
389.94/390.10 c | 556270 | 372 75260 479479 | 257827 238086 31 | 2.618 % |
391.04/391.21 c | 558320 | 372 75260 479479 | 257827 240136 31 | 2.618 % |
392.54/392.73 c | 560576 | 372 75260 479479 | 2147483647 242392 31 | 2.618 % |
396.74/396.91 c | 563055 | 372 75260 479479 | 2147483647 244871 31 | 2.618 % |
398.84/399.03 c | 565781 | 372 75260 479479 | 2147483647 247597 31 | 2.618 % |
401.54/401.73 c | 568779 | 372 75260 479479 | 2147483647 250595 31 | 2.618 % |
405.74/405.91 c | 572076 | 372 75260 479479 | 251817 225940 31 | 2.618 % |
409.43/409.70 c | 575703 | 372 75260 479479 | 251817 229567 31 | 2.618 % |
412.53/412.76 c | 579690 | 372 75260 479479 | 251817 233554 31 | 2.618 % |
416.53/416.75 c | 584075 | 372 75260 479479 | 2147483647 237939 31 | 2.618 % |
422.53/422.72 c | 588898 | 372 75260 479479 | 2147483647 242762 31 | 2.618 % |
428.63/428.81 c | 594203 | 372 75260 479479 | 2147483647 248066 31 | 3.142 % |
428.73/428.91 c | 594303 | 372 75260 479479 | 2147483647 248166 31 | 3.142 % |
428.83/429.09 c | 594413 | 372 75260 479479 | 2147483647 248276 31 | 3.142 % |
429.13/429.34 c | 594535 | 372 75260 479479 | 2147483647 248398 31 | 3.142 % |
429.43/429.65 c | 594668 | 372 75260 479479 | 2147483647 248531 31 | 3.142 % |
429.63/429.86 c | 594814 | 372 75260 479479 | 2147483647 248677 31 | 3.142 % |
429.83/430.01 c | 594974 | 372 75260 479479 | 2147483647 248837 31 | 3.142 % |
429.93/430.13 c | 595150 | 372 75260 479479 | 2147483647 249013 31 | 3.142 % |
430.03/430.28 c | 595344 | 372 75260 479479 | 2147483647 249207 31 | 3.142 % |
430.33/430.54 c | 595557 | 372 75260 479479 | 2147483647 249420 31 | 3.142 % |
430.73/430.91 c | 595790 | 372 75260 479479 | 2147483647 249653 31 | 3.142 % |
431.03/431.24 c | 596046 | 372 75260 479479 | 2147483647 249909 31 | 3.142 % |
431.43/431.61 c | 596330 | 372 75260 479479 | 2147483647 250193 31 | 3.142 % |
431.63/431.87 c | 596641 | 372 75260 479479 | 2147483647 250504 31 | 3.142 % |
432.03/432.20 c | 596981 | 372 75260 479479 | 2147483647 250844 31 | 3.142 % |
432.33/432.56 c | 597354 | 372 75260 479479 | 2147483647 251217 31 | 3.142 % |
433.02/433.22 c | 597764 | 372 75260 479479 | 2147483647 251627 31 | 3.142 % |
433.32/433.56 c | 598213 | 372 75260 479479 | 2147483647 252076 31 | 3.142 % |
433.82/434.01 c | 598706 | 372 75260 479479 | 2147483647 252569 31 | 3.142 % |
434.33/434.54 c | 599252 | 372 75260 479479 | 2147483647 253115 31 | 3.143 % |
435.02/435.21 c | 599850 | 372 75260 479479 | 2147483647 253713 31 | 3.142 % |
436.72/436.91 c | 600509 | 372 75260 479479 | 253863 225584 31 | 3.142 % |
437.42/437.65 c | 601230 | 372 75260 479479 | 253863 226305 31 | 3.142 % |
438.02/438.26 c | 602023 | 372 75260 479479 | 253863 227098 31 | 3.142 % |
439.42/439.60 c | 602896 | 372 75260 479479 | 253863 227971 31 | 3.142 % |
440.52/440.76 c | 603854 | 372 75260 479479 | 253863 228929 31 | 3.142 % |
441.92/442.15 c | 604908 | 372 75260 479479 | 253863 229983 31 | 3.142 % |
443.02/443.28 c | 606066 | 372 75260 479479 | 253863 231141 31 | 3.142 % |
444.62/444.81 c | 607340 | 372 75260 479479 | 253863 232415 31 | 3.142 % |
446.02/446.22 c | 608740 | 372 75260 479479 | 253863 233815 31 | 3.142 % |
447.42/447.64 c | 610281 | 372 75260 479479 | 2147483647 235356 31 | 3.142 % |
448.72/448.95 c | 611978 | 372 75260 479479 | 2147483647 237053 31 | 3.142 % |
450.12/450.33 c | 613841 | 372 75260 479479 | 2147483647 238916 31 | 3.142 % |
452.21/452.44 c | 615891 | 372 75260 479479 | 2147483647 240966 31 | 3.142 % |
453.71/453.90 c | 618144 | 372 75260 479479 | 2147483647 243219 31 | 3.142 % |
456.01/456.24 c | 620622 | 372 75260 479479 | 2147483647 245697 31 | 3.142 % |
459.31/459.60 c | 623347 | 372 75260 479479 | 2147483647 248422 32 | 3.142 % |
463.51/463.72 c | 626345 | 372 75260 479479 | 2147483647 251420 32 | 3.142 % |
467.21/467.48 c | 629641 | 372 75260 479479 | 2147483647 254716 32 | 3.142 % |
471.41/471.66 c | 633266 | 372 75260 479479 | 255077 222321 31 | 3.142 % |
474.41/474.61 c | 637256 | 372 75260 479479 | 255077 226311 31 | 3.142 % |
478.31/478.51 c | 641642 | 372 75260 479479 | 2147483647 230697 31 | 3.142 % |
484.00/484.27 c | 646465 | 372 75260 479479 | 2147483647 235520 31 | 3.142 % |
489.60/489.87 c | 651772 | 372 75260 479479 | 2147483647 240827 31 | 3.142 % |
495.81/496.03 c | 657607 | 372 75260 479479 | 2147483647 246662 31 | 3.142 % |
495.91/496.10 c | 657707 | 372 75260 479479 | 2147483647 246762 31 | 3.142 % |
496.00/496.21 c | 657818 | 372 75260 479479 | 2147483647 246873 31 | 3.142 % |
496.10/496.35 c | 657941 | 372 75260 479479 | 2147483647 246996 31 | 3.142 % |
496.30/496.53 c | 658074 | 372 75260 479479 | 2147483647 247129 31 | 3.142 % |
496.60/496.87 c | 658220 | 372 75260 479479 | 2147483647 247275 31 | 3.142 % |
496.80/497.09 c | 658381 | 372 75260 479479 | 2147483647 247436 31 | 3.142 % |
497.10/497.34 c | 658560 | 372 75260 479479 | 2147483647 247615 31 | 3.142 % |
497.50/497.71 c | 658755 | 372 75260 479479 | 2147483647 247810 31 | 3.142 % |
497.70/497.99 c | 658967 | 372 75260 479479 | 2147483647 248022 31 | 3.142 % |
498.10/498.33 c | 659200 | 372 75260 479479 | 2147483647 248255 31 | 3.142 % |
498.40/498.62 c | 659460 | 372 75260 479479 | 2147483647 248515 31 | 3.142 % |
498.70/498.92 c | 659741 | 372 75260 479479 | 2147483647 248796 31 | 3.142 % |
499.10/499.37 c | 660052 | 372 75260 479479 | 249056 249107 31 | 3.142 % |
500.60/500.85 c | 660392 | 372 75260 479479 | 249056 216821 31 | 3.142 % |
501.00/501.22 c | 660764 | 372 75260 479479 | 249056 217193 31 | 3.142 % |
501.30/501.59 c | 661173 | 372 75260 479479 | 249056 217602 31 | 3.142 % |
501.80/502.05 c | 661622 | 372 75260 479479 | 249056 218051 31 | 3.142 % |
502.20/502.46 c | 662119 | 372 75260 479479 | 249056 218548 31 | 3.142 % |
502.80/503.03 c | 662662 | 372 75260 479479 | 249056 219091 31 | 3.142 % |
503.10/503.31 c | 663258 | 372 75260 479479 | 249056 219687 31 | 3.142 % |
503.60/503.80 c | 663914 | 372 75260 479479 | 249056 220343 31 | 3.142 % |
504.10/504.34 c | 664634 | 372 75260 479479 | 249056 221063 31 | 3.142 % |
504.70/504.91 c | 665426 | 372 75260 479479 | 249056 221855 31 | 3.142 % |
505.29/505.55 c | 666297 | 372 75260 479479 | 249056 222726 31 | 3.150 % |
505.80/506.04 c | 667255 | 372 75260 479479 | 249056 223684 31 | 3.142 % |
506.49/506.77 c | 668308 | 372 75260 479479 | 249056 224737 31 | 3.142 % |
507.19/507.45 c | 669466 | 372 75260 479479 | 249056 225895 31 | 3.142 % |
508.09/508.37 c | 670739 | 372 75260 479479 | 2147483647 227168 31 | 3.142 % |
509.59/509.82 c | 672143 | 372 75260 479479 | 2147483647 228572 31 | 3.142 % |
511.19/511.40 c | 673684 | 372 75260 479479 | 2147483647 230113 31 | 3.149 % |
512.79/513.02 c | 675379 | 372 75260 479479 | 2147483647 231808 31 | 3.142 % |
514.89/515.12 c | 677243 | 372 75260 479479 | 2147483647 233672 31 | 3.142 % |
517.09/517.39 c | 679292 | 372 75260 479479 | 2147483647 235721 31 | 3.142 % |
519.89/520.20 c | 681545 | 372 75260 479479 | 236430 211586 31 | 3.142 % |
522.39/522.62 c | 684023 | 372 75260 479479 | 236430 214064 31 | 3.142 % |
524.99/525.30 c | 686750 | 372 75260 479479 | 236430 216791 31 | 3.142 % |
527.59/527.87 c | 689749 | 372 75260 479479 | 236430 219790 31 | 3.146 % |
531.48/531.77 c | 693045 | 372 75260 479479 | 2147483647 223086 31 | 3.142 % |
534.18/534.42 c | 696671 | 372 75260 479479 | 2147483647 226712 31 | 3.142 % |
537.78/538.09 c | 700658 | 372 75260 479479 | 2147483647 230699 31 | 3.142 % |
541.88/542.17 c | 705045 | 372 75260 479479 | 2147483647 235086 31 | 3.146 % |
547.98/548.21 c | 709870 | 372 75260 479479 | 2147483647 239911 31 | 3.142 % |
554.48/554.77 c | 715177 | 372 75260 479479 | 240042 218850 31 | 3.142 % |
559.58/559.86 c | 721013 | 372 75260 479479 | 2147483647 224686 31 | 3.142 % |
566.97/567.25 c | 727434 | 372 75260 479479 | 2147483647 231107 31 | 3.142 % |
567.07/567.39 c | 727535 | 372 75260 479479 | 2147483647 231208 31 | 3.142 % |
567.38/567.63 c | 727647 | 372 75260 479479 | 2147483647 231320 31 | 3.142 % |
567.47/567.75 c | 727768 | 372 75260 479479 | 2147483647 231441 31 | 3.142 % |
567.67/567.90 c | 727902 | 372 75260 479479 | 2147483647 231575 31 | 3.142 % |
567.77/568.09 c | 728051 | 372 75260 479479 | 2147483647 231724 31 | 3.142 % |
568.08/568.33 c | 728211 | 372 75260 479479 | 2147483647 231884 32 | 3.142 % |
568.28/568.55 c | 728389 | 372 75260 479479 | 2147483647 232062 32 | 3.142 % |
568.58/568.82 c | 728583 | 372 75260 479479 | 2147483647 232256 32 | 3.142 % |
568.88/569.14 c | 728797 | 372 75260 479479 | 2147483647 232470 32 | 3.142 % |
569.18/569.47 c | 729030 | 372 75260 479479 | 2147483647 232703 32 | 3.142 % |
569.58/569.86 c | 729286 | 372 75260 479479 | 2147483647 232959 32 | 3.142 % |
569.88/570.18 c | 729567 | 372 75260 479479 | 2147483647 233240 32 | 3.142 % |
570.18/570.43 c | 729876 | 372 75260 479479 | 2147483647 233549 32 | 3.142 % |
570.58/570.82 c | 730215 | 372 75260 479479 | 2147483647 233888 32 | 3.142 % |
570.98/571.26 c | 730588 | 372 75260 479479 | 2147483647 234261 32 | 3.142 % |
571.58/571.89 c | 730998 | 372 75260 479479 | 2147483647 234671 32 | 3.142 % |
572.18/572.42 c | 731448 | 372 75260 479479 | 2147483647 235121 32 | 3.142 % |
572.48/572.75 c | 731941 | 372 75260 479479 | 2147483647 235614 32 | 3.142 % |
572.88/573.13 c | 732484 | 372 75260 479479 | 2147483647 236157 32 | 3.142 % |
573.28/573.53 c | 733081 | 372 75260 479479 | 2147483647 236754 32 | 3.142 % |
574.18/574.46 c | 733736 | 372 75260 479479 | 2147483647 237409 32 | 3.142 % |
574.88/575.18 c | 734456 | 372 75260 479479 | 2147483647 238129 32 | 3.142 % |
575.58/575.86 c | 735250 | 372 75260 479479 | 2147483647 238923 32 | 3.142 % |
576.58/576.82 c | 736121 | 372 75260 479479 | 2147483647 239794 32 | 3.142 % |
577.48/577.79 c | 737079 | 372 75260 479479 | 2147483647 240752 32 | 3.142 % |
578.48/578.77 c | 738133 | 372 75260 479479 | 2147483647 241806 32 | 3.142 % |
579.58/579.87 c | 739291 | 372 75260 479479 | 2147483647 242964 32 | 3.142 % |
581.38/581.68 c | 740565 | 372 75260 479479 | 243674 219042 31 | 3.142 % |
582.87/583.14 c | 741966 | 372 75260 479479 | 243674 220443 31 | 3.142 % |
584.67/584.99 c | 743506 | 372 75260 479479 | 243674 221983 32 | 3.142 % |
586.47/586.70 c | 745200 | 372 75260 479479 | 243674 223677 32 | 3.142 % |
588.07/588.37 c | 747063 | 372 75260 479479 | 243674 225540 32 | 3.142 % |
590.77/591.10 c | 749114 | 372 75260 479479 | 243674 227591 32 | 3.142 % |
593.17/593.41 c | 751367 | 372 75260 479479 | 2147483647 229844 32 | 3.142 % |
595.47/595.73 c | 753845 | 372 75260 479479 | 2147483647 232321 32 | 3.404 % |
597.37/597.60 c | 756571 | 372 75260 479479 | 2147483647 235047 32 | 3.404 % |
600.27/600.52 c | 759569 | 372 75260 479479 | 2147483647 238045 32 | 3.404 % |
603.97/604.22 c | 762865 | 372 75260 479479 | 2147483647 241341 32 | 3.404 % |
607.86/608.18 c | 766490 | 372 75260 479479 | 2147483647 244966 32 | 3.404 % |
614.26/614.55 c | 770479 | 369 73799 471616 | 248470 222724 31 | 3.404 % |
618.45/618.79 c | 774864 | 369 73799 471616 | 248470 227109 31 | 3.404 % |
622.85/623.15 c | 779687 | 369 73799 471616 | 248470 231932 31 | 3.404 % |
628.45/628.74 c | 784992 | 369 73799 471616 | 2147483647 237237 31 | 3.404 % |
636.05/636.38 c | 790828 | 369 73799 471616 | 242246 207942 31 | 3.404 % |
642.15/642.44 c | 797246 | 369 73799 471616 | 242246 214360 31 | 3.404 % |
648.34/648.65 c | 804305 | 369 73799 471616 | 217115 199690 31 | 3.404 % |
648.44/648.75 c | 804407 | 369 73799 471616 | 217115 199792 31 | 3.404 % |
648.54/648.83 c | 804517 | 369 73799 471616 | 217115 199902 31 | 3.404 % |
648.74/649.01 c | 804640 | 369 73799 471616 | 217115 200025 31 | 3.404 % |
648.74/649.09 c | 804773 | 369 73799 471616 | 217115 200158 31 | 3.404 % |
648.94/649.23 c | 804919 | 369 73799 471616 | 217115 200304 31 | 3.404 % |
649.04/649.35 c | 805079 | 369 73799 471616 | 217115 200464 31 | 3.404 % |
649.34/649.61 c | 805257 | 369 73799 471616 | 217115 200642 31 | 3.404 % |
649.64/649.90 c | 805450 | 369 73799 471616 | 217115 200835 31 | 3.404 % |
649.94/650.21 c | 805664 | 369 73799 471616 | 217115 201049 31 | 3.404 % |
650.14/650.40 c | 805897 | 369 73799 471616 | 217115 201282 31 | 3.404 % |
650.34/650.63 c | 806154 | 369 73799 471616 | 217115 201539 31 | 3.404 % |
650.44/650.77 c | 806435 | 369 73799 471616 | 217115 201820 31 | 3.404 % |
650.64/650.98 c | 806745 | 369 73799 471616 | 217115 202130 31 | 3.404 % |
650.84/651.11 c | 807085 | 369 73799 471616 | 217115 202470 31 | 3.404 % |
651.14/651.45 c | 807458 | 369 73799 471616 | 217115 202843 31 | 3.404 % |
651.44/651.72 c | 807868 | 369 73799 471616 | 217115 203253 31 | 3.404 % |
651.84/652.14 c | 808318 | 369 73799 471616 | 217115 203703 31 | 3.404 % |
652.34/652.66 c | 808812 | 369 73799 471616 | 217115 204197 31 | 3.404 % |
652.94/653.29 c | 809355 | 369 73799 471616 | 217115 204740 31 | 3.404 % |
653.64/653.92 c | 809953 | 369 73799 471616 | 217115 205338 31 | 3.404 % |
654.14/654.46 c | 810609 | 369 73799 471616 | 2147483647 205994 31 | 3.404 % |
654.94/655.21 c | 811331 | 369 73799 471616 | 2147483647 206716 31 | 3.404 % |
655.74/656.00 c | 812125 | 369 73799 471616 | 2147483647 207510 31 | 3.404 % |
656.54/656.87 c | 812997 | 369 73799 471616 | 2147483647 208382 31 | 3.404 % |
657.54/657.84 c | 813955 | 369 73799 471616 | 2147483647 209340 31 | 3.404 % |
658.84/659.12 c | 815009 | 369 73799 471616 | 2147483647 210394 31 | 3.404 % |
660.34/660.66 c | 816170 | 369 73799 471616 | 2147483647 211555 31 | 3.404 % |
661.64/661.91 c | 817443 | 369 73799 471616 | 2147483647 212828 31 | 3.404 % |
662.74/663.04 c | 818843 | 369 73799 471616 | 2147483647 214228 31 | 3.411 % |
664.14/664.41 c | 820384 | 369 73799 471616 | 2147483647 215769 31 | 3.404 % |
665.34/665.63 c | 822079 | 369 73799 471616 | 2147483647 217464 31 | 3.404 % |
667.24/667.53 c | 823942 | 369 73799 471616 | 2147483647 219327 31 | 3.404 % |
668.83/669.19 c | 825993 | 369 73799 471616 | 2147483647 221378 31 | 3.404 % |
670.43/670.71 c | 828246 | 369 73799 471616 | 2147483647 223631 31 | 3.404 % |
672.13/672.44 c | 830726 | 369 73799 471616 | 2147483647 226111 31 | 3.404 % |
674.13/674.47 c | 833452 | 369 73799 471616 | 2147483647 228837 31 | 3.404 % |
676.63/676.94 c | 836450 | 369 73799 471616 | 2147483647 231835 31 | 3.404 % |
679.44/679.71 c | 839746 | 369 73799 471616 | 2147483647 235131 31 | 3.404 % |
682.53/682.87 c | 843372 | 369 73799 471616 | 2147483647 238757 31 | 3.404 % |
685.83/686.17 c | 847359 | 369 73799 471616 | 2147483647 242744 31 | 3.404 % |
691.23/691.54 c | 851746 | 369 73799 471616 | 2147483647 247131 32 | 3.404 % |
695.73/696.08 c | 856569 | 369 73799 471616 | 2147483647 251954 32 | 3.404 % |
702.22/702.50 c | 861874 | 369 73799 471616 | 2147483647 257259 32 | 3.404 % |
710.12/710.41 c | 867710 | 369 73799 471616 | 2147483647 263095 32 | 3.404 % |
721.03/721.34 c | 874129 | 369 73799 471616 | 265386 239598 32 | 3.404 % |
730.53/730.82 c | 881188 | 369 73799 471616 | 245469 214955 31 | 3.404 % |
736.92/737.23 c | 888952 | 369 73799 471616 | 245469 222719 32 | 3.404 % |
737.02/737.34 c | 889052 | 369 73799 471616 | 245469 222819 32 | 3.404 % |
737.22/737.54 c | 889165 | 369 73799 471616 | 245469 222932 32 | 3.404 % |
737.42/737.71 c | 889287 | 369 73799 471616 | 245469 223054 32 | 3.404 % |
737.52/737.85 c | 889420 | 369 73799 471616 | 245469 223187 32 | 3.404 % |
737.73/738.03 c | 889567 | 369 73799 471616 | 245469 223334 32 | 3.404 % |
737.92/738.29 c | 889728 | 369 73799 471616 | 245469 223495 32 | 3.404 % |
738.22/738.55 c | 889905 | 369 73799 471616 | 245469 223672 32 | 3.404 % |
738.42/738.79 c | 890098 | 369 73799 471616 | 2147483647 223865 32 | 3.404 % |
738.83/739.12 c | 890312 | 369 73799 471616 | 2147483647 224079 32 | 3.404 % |
739.02/739.38 c | 890547 | 369 73799 471616 | 2147483647 224314 32 | 3.404 % |
739.52/739.80 c | 890804 | 369 73799 471616 | 2147483647 224571 32 | 3.404 % |
739.82/740.14 c | 891086 | 369 73799 471616 | 2147483647 224853 32 | 3.404 % |
740.22/740.58 c | 891395 | 369 73799 471616 | 2147483647 225162 32 | 3.404 % |
740.62/740.97 c | 891735 | 369 73799 471616 | 2147483647 225502 32 | 3.404 % |
741.12/741.48 c | 892109 | 369 73799 471616 | 2147483647 225876 32 | 3.404 % |
741.62/741.99 c | 892519 | 369 73799 471616 | 2147483647 226286 32 | 3.404 % |
742.12/742.44 c | 892968 | 369 73799 471616 | 2147483647 226735 32 | 3.404 % |
742.62/742.95 c | 893461 | 369 73799 471616 | 2147483647 227228 32 | 3.404 % |
743.32/743.61 c | 894003 | 369 73799 471616 | 2147483647 227770 32 | 3.404 % |
743.82/744.18 c | 894603 | 369 73799 471616 | 2147483647 228370 32 | 3.404 % |
744.32/744.68 c | 895258 | 369 73799 471616 | 2147483647 229025 32 | 3.404 % |
744.92/745.25 c | 895979 | 369 73799 471616 | 2147483647 229746 32 | 3.411 % |
745.52/745.85 c | 896774 | 369 73799 471616 | 2147483647 230541 32 | 3.404 % |
745.92/746.21 c | 897645 | 369 73799 471616 | 2147483647 231412 32 | 3.404 % |
746.12/746.48 c | 898604 | 369 73799 471616 | 2147483647 232371 32 | 3.404 % |
746.72/747.08 c | 899657 | 369 73799 471616 | 2147483647 233424 32 | 3.404 % |
747.32/747.66 c | 900816 | 369 73799 471616 | 2147483647 234583 32 | 3.408 % |
747.92/748.27 c | 902089 | 369 73799 471616 | 2147483647 235856 32 | 3.404 % |
749.42/749.76 c | 903491 | 369 73799 471616 | 2147483647 237258 32 | 3.404 % |
750.62/750.98 c | 905032 | 369 73799 471616 | 2147483647 238799 32 | 3.404 % |
752.51/752.81 c | 906726 | 369 73799 471616 | 2147483647 240493 32 | 3.404 % |
753.91/754.24 c | 908589 | 369 73799 471616 | 2147483647 242356 32 | 3.404 % |
756.31/756.67 c | 910638 | 369 73799 471616 | 2147483647 244405 32 | 3.404 % |
758.51/758.89 c | 912894 | 369 73799 471616 | 2147483647 246661 32 | 3.404 % |
760.82/761.15 c | 915372 | 368 73799 471616 | 2147483647 249138 32 | 3.666 % |
764.12/764.48 c | 918100 | 368 73799 471616 | 2147483647 251866 32 | 3.666 % |
768.41/768.79 c | 921099 | 368 73799 471616 | 253766 227964 32 | 3.666 % |
773.21/773.51 c | 924395 | 368 73799 471616 | 253766 231260 32 | 3.666 % |
776.81/777.19 c | 928025 | 368 73799 471616 | 253766 234890 32 | 3.666 % |
781.21/781.55 c | 932012 | 368 73799 471616 | 2147483647 238877 32 | 3.666 % |
786.11/786.41 c | 936397 | 368 73799 471616 | 2147483647 243262 32 | 3.666 % |
790.51/790.90 c | 941220 | 368 73799 471616 | 2147483647 248085 32 | 3.666 % |
795.90/796.24 c | 946525 | 368 73799 471616 | 2147483647 253390 32 | 3.666 % |
802.30/802.64 c | 952361 | 368 73799 471616 | 2147483647 259226 32 | 3.666 % |
808.40/808.74 c | 958780 | 368 73799 471616 | 2147483647 265645 32 | 3.666 % |
814.19/814.54 c | 965840 | 368 73799 471616 | 2147483647 272705 32 | 3.666 % |
824.00/824.39 c | 973606 | 368 73799 471616 | 276865 249158 32 | 3.666 % |
831.90/832.24 c | 982147 | 368 73799 471616 | 2147483647 257699 32 | 3.666 % |
831.99/832.36 c | 982251 | 368 73799 471616 | 2147483647 257803 32 | 3.666 % |
832.19/832.50 c | 982361 | 368 73799 471616 | 2147483647 257913 32 | 3.666 % |
832.30/832.68 c | 982482 | 368 73799 471616 | 2147483647 258034 32 | 3.666 % |
832.49/832.85 c | 982615 | 368 73799 471616 | 2147483647 258167 32 | 3.666 % |
832.69/833.04 c | 982761 | 368 73799 471616 | 2147483647 258313 32 | 3.666 % |
832.79/833.19 c | 982921 | 368 73799 471616 | 2147483647 258473 32 | 3.666 % |
832.99/833.34 c | 983097 | 368 73799 471616 | 2147483647 258649 32 | 3.666 % |
833.29/833.60 c | 983290 | 368 73799 471616 | 2147483647 258842 32 | 3.666 % |
833.59/833.93 c | 983504 | 368 73799 471616 | 2147483647 259056 32 | 3.666 % |
833.79/834.17 c | 983737 | 368 73799 471616 | 2147483647 259289 32 | 3.666 % |
834.09/834.47 c | 983995 | 368 73799 471616 | 2147483647 259547 32 | 3.666 % |
834.29/834.65 c | 984276 | 368 73799 471616 | 2147483647 259828 32 | 3.666 % |
834.50/834.82 c | 984587 | 368 73799 471616 | 2147483647 260139 32 | 3.666 % |
835.19/835.53 c | 984926 | 368 73799 471616 | 2147483647 260478 32 | 3.666 % |
835.69/836.04 c | 985299 | 368 73799 471616 | 2147483647 260851 32 | 3.666 % |
836.19/836.51 c | 985708 | 368 73799 471616 | 2147483647 261260 32 | 3.666 % |
836.69/837.05 c | 986158 | 368 73799 471616 | 2147483647 261710 32 | 3.666 % |
837.09/837.46 c | 986654 | 368 73799 471616 | 2147483647 262206 32 | 3.666 % |
837.69/838.03 c | 987196 | 368 73799 471616 | 2147483647 262748 32 | 3.666 % |
838.29/838.68 c | 987792 | 368 73799 471616 | 2147483647 263344 32 | 3.666 % |
838.89/839.22 c | 988447 | 368 73799 471616 | 2147483647 263999 32 | 3.666 % |
839.59/839.91 c | 989167 | 368 73799 471616 | 2147483647 264719 32 | 3.666 % |
840.59/840.98 c | 989960 | 368 73799 471616 | 2147483647 265512 32 | 3.666 % |
842.89/843.22 c | 990832 | 368 73799 471616 | 265554 230449 32 | 3.666 % |
843.99/844.39 c | 991790 | 368 73799 471616 | 265554 231407 32 | 3.666 % |
845.19/845.56 c | 992843 | 368 73799 471616 | 265554 232460 32 | 3.666 % |
846.18/846.55 c | 994001 | 368 73799 471616 | 265554 233618 32 | 3.666 % |
847.79/848.15 c | 995274 | 368 73799 471616 | 265554 234891 32 | 3.666 % |
849.18/849.51 c | 996674 | 368 73799 471616 | 265554 236291 32 | 3.666 % |
851.09/851.40 c | 998214 | 368 73799 471616 | 265554 237831 32 | 3.666 % |
852.58/852.90 c | 999911 | 368 73799 471616 | 265554 239528 32 | 3.666 % |
854.88/855.27 c | 1001775 | 368 73799 471616 | 239619 207332 31 | 3.666 % |
857.18/857.59 c | 1003824 | 368 73799 471616 | 239619 209381 31 | 3.666 % |
859.48/859.82 c | 1006077 | 368 73799 471616 | 239619 211634 31 | 3.666 % |
861.68/862.00 c | 1008558 | 368 73799 471616 | 239619 214115 31 | 3.666 % |
863.58/863.97 c | 1011284 | 368 73799 471616 | 2147483647 216841 31 | 3.666 % |
866.08/866.43 c | 1014281 | 368 73799 471616 | 2147483647 219838 31 | 3.666 % |
869.18/869.51 c | 1017578 | 368 73799 471616 | 2147483647 223135 31 | 3.666 % |
873.38/873.72 c | 1021205 | 368 73799 471616 | 2147483647 226762 31 | 3.666 % |
877.68/878.04 c | 1025192 | 368 73799 471616 | 2147483647 230749 31 | 3.666 % |
881.47/881.83 c | 1029577 | 368 73799 471616 | 2147483647 235134 31 | 3.666 % |
888.57/888.99 c | 1034402 | 368 73799 471616 | 2147483647 239959 31 | 3.666 % |
894.07/894.46 c | 1039708 | 368 73799 471616 | 2147483647 245265 31 | 3.666 % |
900.17/900.50 c | 1045545 | 368 73799 471616 | 2147483647 251102 31 | 3.666 % |
908.47/908.83 c | 1051963 | 368 73799 471616 | 255558 226919 31 | 3.666 % |
916.76/917.10 c | 1059022 | 368 73799 471616 | 255558 233978 31 | 3.666 % |
926.36/926.73 c | 1066790 | 368 73799 471616 | 2147483647 241746 31 | 3.666 % |
935.56/935.97 c | 1075331 | 368 73799 471616 | 2147483647 250287 32 | 3.666 % |
948.46/948.81 c | 1084725 | 368 73799 471616 | 254957 225613 31 | 3.666 % |
948.56/948.92 c | 1084826 | 368 73799 471616 | 254957 225714 31 | 3.666 % |
948.66/949.04 c | 1084936 | 368 73799 471616 | 254957 225824 31 | 3.666 % |
948.75/949.16 c | 1085058 | 368 73799 471616 | 254957 225946 31 | 3.666 % |
948.96/949.39 c | 1085192 | 368 73799 471616 | 254957 226080 31 | 3.666 % |
949.15/949.57 c | 1085339 | 368 73799 471616 | 254957 226227 31 | 3.666 % |
949.35/949.70 c | 1085499 | 368 73799 471616 | 254957 226387 31 | 3.666 % |
949.45/949.83 c | 1085676 | 368 73799 471616 | 254957 226564 31 | 3.666 % |
949.55/949.98 c | 1085873 | 368 73799 471616 | 254957 226761 31 | 3.666 % |
949.75/950.15 c | 1086085 | 368 73799 471616 | 254957 226973 31 | 3.666 % |
950.15/950.52 c | 1086318 | 368 73799 471616 | 254957 227206 31 | 3.666 % |
950.45/950.86 c | 1086574 | 368 73799 471616 | 254957 227462 31 | 3.666 % |
950.85/951.25 c | 1086855 | 368 73799 471616 | 254957 227743 31 | 3.666 % |
951.25/951.64 c | 1087167 | 368 73799 471616 | 254957 228055 31 | 3.666 % |
951.45/951.88 c | 1087506 | 368 73799 471616 | 254957 228394 31 | 3.666 % |
951.95/952.37 c | 1087879 | 368 73799 471616 | 254957 228767 31 | 3.666 % |
952.45/952.81 c | 1088289 | 368 73799 471616 | 254957 229177 31 | 3.666 % |
952.85/953.25 c | 1088741 | 368 73799 471616 | 254957 229629 31 | 3.666 % |
953.45/953.82 c | 1089234 | 368 73799 471616 | 254957 230122 31 | 3.666 % |
953.85/954.22 c | 1089776 | 368 73799 471616 | 254957 230664 31 | 3.666 % |
955.25/955.62 c | 1090374 | 368 73799 471616 | 230890 207039 30 | 3.666 % |
955.75/956.20 c | 1091029 | 368 73799 471616 | 230890 207694 30 | 3.666 % |
957.15/957.56 c | 1091749 | 368 73799 471616 | 230890 208414 31 | 3.666 % |
957.85/958.25 c | 1092541 | 368 73799 471616 | 230890 209206 31 | 3.666 % |
958.55/958.96 c | 1093412 | 368 73799 471616 | 230890 210077 31 | 3.666 % |
959.25/959.64 c | 1094370 | 368 73799 471616 | 230890 211035 31 | 3.666 % |
960.35/960.70 c | 1095427 | 368 73799 471616 | 230890 212092 31 | 3.666 % |
961.35/961.78 c | 1096585 | 368 73799 471616 | 230890 213250 31 | 3.666 % |
962.95/963.35 c | 1097861 | 368 73799 471616 | 230890 214526 31 | 3.666 % |
964.55/964.92 c | 1099261 | 368 73799 471616 | 230890 215926 31 | 3.666 % |
966.15/966.50 c | 1100801 | 368 73799 471616 | 2147483647 217466 31 | 3.666 % |
967.85/968.28 c | 1102495 | 368 73799 471616 | 2147483647 219160 31 | 3.666 % |
969.35/969.70 c | 1104358 | 368 73799 471616 | 2147483647 221023 31 | 3.666 % |
971.15/971.50 c | 1106407 | 368 73799 471616 | 2147483647 223072 31 | 3.666 % |
973.55/973.92 c | 1108660 | 368 73799 471616 | 2147483647 225325 31 | 3.666 % |
976.35/976.77 c | 1111138 | 368 73799 471616 | 2147483647 227803 31 | 3.666 % |
979.84/980.29 c | 1113865 | 368 73799 471616 | 2147483647 230530 31 | 3.666 % |
983.05/983.45 c | 1116865 | 368 73799 471616 | 2147483647 233530 31 | 3.666 % |
986.44/986.81 c | 1120161 | 368 73799 471616 | 2147483647 236826 31 | 3.666 % |
990.14/990.56 c | 1123786 | 368 73799 471616 | 2147483647 240451 31 | 3.666 % |
994.44/994.85 c | 1127773 | 368 73799 471616 | 2147483647 244438 31 | 3.666 % |
1000.44/1000.84 c | 1132158 | 368 73799 471616 | 2147483647 248823 31 | 3.666 % |
1006.74/1007.13 c | 1136981 | 368 73493 470231 | 2147483647 253643 31 | 3.666 % |
1014.73/1015.10 c | 1142286 | 368 73493 470231 | 256662 226325 31 | 3.666 % |
1019.53/1019.91 c | 1148121 | 368 73493 470231 | 256662 232160 31 | 3.666 % |
1027.13/1027.57 c | 1154539 | 368 73493 470231 | 234041 211342 31 | 3.666 % |
1034.13/1034.58 c | 1161599 | 368 73493 470231 | 2147483647 218402 31 | 3.666 % |
1042.52/1042.99 c | 1169363 | 368 73493 470231 | 2147483647 226166 31 | 3.666 % |
1049.82/1050.22 c | 1177903 | 368 73493 470231 | 2147483647 234706 32 | 3.666 % |
1059.12/1059.59 c | 1187297 | 368 73493 470231 | 2147483647 244100 32 | 3.666 % |
1069.12/1069.55 c | 1197633 | 368 73493 470231 | 2147483647 254436 32 | 3.666 % |
1069.32/1069.70 c | 1197738 | 368 73493 470231 | 2147483647 254541 32 | 3.666 % |
1069.32/1069.78 c | 1197848 | 368 73493 470231 | 2147483647 254651 32 | 3.666 % |
1069.52/1069.94 c | 1197969 | 368 73493 470231 | 2147483647 254772 32 | 3.666 % |
1069.72/1070.12 c | 1198103 | 368 73493 470231 | 2147483647 254906 32 | 3.666 % |
1069.82/1070.30 c | 1198249 | 368 73493 470231 | 2147483647 255052 32 | 3.666 % |
1070.02/1070.48 c | 1198410 | 368 73493 470231 | 2147483647 255213 32 | 3.666 % |
1070.12/1070.57 c | 1198586 | 368 73493 470231 | 2147483647 255389 32 | 3.666 % |
1070.52/1070.91 c | 1198782 | 368 73493 470231 | 2147483647 255585 32 | 3.666 % |
1070.71/1071.19 c | 1198996 | 368 73493 470231 | 2147483647 255799 32 | 3.666 % |
1071.02/1071.47 c | 1199229 | 368 73493 470231 | 2147483647 256032 32 | 3.666 % |
1071.21/1071.64 c | 1199485 | 368 73493 470231 | 2147483647 256288 32 | 3.666 % |
1071.51/1071.98 c | 1199766 | 368 73493 470231 | 2147483647 256569 32 | 3.666 % |
1071.81/1072.29 c | 1200077 | 368 73493 470231 | 2147483647 256880 32 | 3.666 % |
1072.31/1072.71 c | 1200416 | 368 73493 470231 | 2147483647 257219 32 | 3.666 % |
1072.72/1073.17 c | 1200788 | 368 73493 470231 | 2147483647 257591 32 | 3.666 % |
1073.12/1073.57 c | 1201199 | 368 73493 470231 | 2147483647 258002 32 | 3.666 % |
1073.51/1073.91 c | 1201648 | 368 73493 470231 | 2147483647 258451 32 | 3.666 % |
1074.11/1074.55 c | 1202141 | 368 73493 470231 | 2147483647 258944 32 | 3.666 % |
1074.61/1075.07 c | 1202686 | 368 73493 470231 | 2147483647 259489 32 | 3.666 % |
1075.71/1076.18 c | 1203282 | 368 73493 470231 | 2147483647 260085 32 | 3.666 % |
1076.52/1076.97 c | 1203937 | 368 73493 470231 | 2147483647 260740 32 | 3.666 % |
1077.62/1078.01 c | 1204657 | 368 73493 470231 | 2147483647 261460 32 | 3.666 % |
1078.81/1079.24 c | 1205450 | 368 73493 470231 | 2147483647 262253 32 | 3.666 % |
1079.61/1080.05 c | 1206321 | 368 73493 470231 | 2147483647 263124 32 | 3.666 % |
1080.82/1081.22 c | 1207279 | 368 73493 470231 | 2147483647 264082 32 | 3.666 % |
1081.92/1082.39 c | 1208332 | 368 73493 470231 | 2147483647 265135 32 | 3.666 % |
1083.11/1083.52 c | 1209492 | 368 73493 470231 | 2147483647 266295 32 | 3.666 % |
1085.71/1086.13 c | 1210765 | 368 73493 470231 | 266803 235688 32 | 3.666 % |
1086.81/1087.21 c | 1212165 | 368 73493 470231 | 266803 237088 32 | 3.666 % |
1087.81/1088.29 c | 1213706 | 368 73493 470231 | 266803 238629 32 | 3.666 % |
1089.51/1089.90 c | 1215401 | 368 73493 470231 | 266803 240324 32 | 3.666 % |
1091.21/1091.67 c | 1217264 | 368 73493 470231 | 266803 242187 32 | 3.666 % |
1093.01/1093.42 c | 1219313 | 368 73493 470231 | 266803 244236 32 | 3.666 % |
1095.41/1095.84 c | 1221567 | 367 73493 470231 | 2147483647 246489 32 | 3.927 % |
1098.31/1098.77 c | 1224049 | 367 73493 470231 | 2147483647 248971 32 | 3.928 % |
1101.21/1101.65 c | 1226774 | 367 73493 470231 | 2147483647 251696 32 | 3.927 % |
1104.60/1105.09 c | 1229772 | 367 73493 470231 | 2147483647 254694 32 | 3.927 % |
1109.30/1109.73 c | 1233070 | 367 73493 470231 | 254926 231674 32 | 3.927 % |
1113.50/1113.98 c | 1236696 | 367 73493 470231 | 254926 235300 32 | 3.927 % |
1118.00/1118.50 c | 1240685 | 367 73493 470231 | 2147483647 239289 32 | 3.927 % |
1123.60/1124.09 c | 1245070 | 367 73493 470231 | 2147483647 243674 32 | 3.927 % |
1129.30/1129.76 c | 1249893 | 367 73493 470231 | 2147483647 248497 32 | 3.927 % |
1136.79/1137.28 c | 1255199 | 367 73493 470231 | 248605 227516 32 | 3.927 % |
1144.39/1144.81 c | 1261034 | 367 73493 470231 | 232317 208996 31 | 3.927 % |
1150.99/1151.44 c | 1267452 | 367 73493 470231 | 232317 215414 31 | 3.927 % |
1156.89/1157.36 c | 1274511 | 367 73493 470231 | 2147483647 222473 32 | 3.927 % |
1165.59/1166.10 c | 1282275 | 367 73493 470231 | 2147483647 230237 32 | 3.927 % |
1174.58/1175.01 c | 1290815 | 367 73493 470231 | 2147483647 238777 32 | 3.927 % |
1184.38/1184.82 c | 1300209 | 367 73493 470231 | 2147483647 248171 32 | 3.927 % |
1195.28/1195.70 c | 1310542 | 367 73493 470231 | 257964 231963 32 | 3.927 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834041-1242827453/watcher-1834041-1242827453 -o /tmp/evaluation-result-1834041-1242827453/solver-1834041-1242827453 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834041-1242827453.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 14632
/proc/meminfo: memFree=1842520/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=0
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310773465 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14632/statm: 1339 237 197 169 0 50 0
[startup+0.0669739 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14632
/proc/meminfo: memFree=1842520/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=0
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310773465 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14632/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101977 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14632
/proc/meminfo: memFree=1842520/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=0
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310773465 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14632/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301999 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14632
/proc/meminfo: memFree=1842520/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=0
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310773465 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14632/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701043 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14632
/proc/meminfo: memFree=1842520/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=0
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310773465 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14632/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50113 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14637
/proc/meminfo: memFree=1831048/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=0
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310773465 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14632/statm: 1339 237 197 169 0 50 0
[pid=14636] ppid=14632 vsize=14288 CPUtime=1.48
/proc/14636/stat : 14636 (SatELite_releas) R 14632 14632 14419 0 -1 4194304 3230 0 0 0 147 1 0 0 25 0 1 0 310773466 14630912 3171 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 1 0 0
/proc/14636/statm: 3572 3171 74 173 0 3397 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 19644
[startup+3.10131 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14637
/proc/meminfo: memFree=1830088/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=0
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310773465 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14632/statm: 1339 237 197 169 0 50 0
[pid=14636] ppid=14632 vsize=15332 CPUtime=3.09
/proc/14636/stat : 14636 (SatELite_releas) R 14632 14632 14419 0 -1 4194304 3690 0 0 0 307 2 0 0 25 0 1 0 310773466 15699968 3377 1992294400 134512640 135223648 4294956128 18446744073709551615 134585468 0 0 4096 3 0 0 0 17 1 0 0
/proc/14636/statm: 3833 3377 76 173 0 3658 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20688
[startup+6.30166 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14638
/proc/meminfo: memFree=1830344/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=10992 CPUtime=2.64
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 2622 0 0 0 263 1 0 0 25 0 1 0 310773829 11255808 2608 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 2748 2608 77 171 0 2575 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 16348
[startup+12.7024 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14638
/proc/meminfo: memFree=1823376/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=17048 CPUtime=9.04
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 4130 0 0 0 901 3 0 0 25 0 1 0 310773829 17457152 4116 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 4262 4116 77 171 0 4089 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 22404
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14638
/proc/meminfo: memFree=1815696/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=24416 CPUtime=21.84
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 5964 0 0 0 2178 6 0 0 25 0 1 0 310773829 25001984 5950 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 6104 5950 77 171 0 5931 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 29772
[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14638
/proc/meminfo: memFree=1805968/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=34344 CPUtime=47.43
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 8432 0 0 0 4735 8 0 0 25 0 1 0 310773829 35168256 8418 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 8586 8418 77 171 0 8413 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 39700
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14638
/proc/meminfo: memFree=1793296/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=47212 CPUtime=98.62
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 11541 0 0 0 9850 12 0 0 25 0 1 0 310773829 48345088 11527 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 11803 11527 77 171 0 11630 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 52568
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14638
/proc/meminfo: memFree=1790672/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=49776 CPUtime=158.59
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 12170 0 0 0 15846 13 0 0 25 0 1 0 310773829 50970624 12156 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 12444 12156 77 171 0 12271 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 55132
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14638
/proc/meminfo: memFree=1789200/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=51192 CPUtime=218.58
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 12504 0 0 0 21844 14 0 0 25 0 1 0 310773829 52420608 12490 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 12798 12490 77 171 0 12625 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 56548
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14638
/proc/meminfo: memFree=1788944/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=51356 CPUtime=278.55
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 12573 0 0 0 27841 14 0 0 25 0 1 0 310773829 52588544 12559 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 12839 12559 77 171 0 12666 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 56712
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14638
/proc/meminfo: memFree=1788368/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=52048 CPUtime=338.53
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 12712 0 0 0 33839 14 0 0 25 0 1 0 310773829 53297152 12698 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 13012 12698 77 171 0 12839 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 57404
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14638
/proc/meminfo: memFree=1787792/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=52428 CPUtime=398.52
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 12847 0 0 0 39837 15 0 0 25 0 1 0 310773829 53686272 12833 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 13107 12833 77 171 0 12934 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 57784
[startup+462.301 s]
################
# More data... #
################
/proc/14638/statm: 13405 13081 77 171 0 13232 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 58976
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14644
/proc/meminfo: memFree=1786248/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=53944 CPUtime=638.43
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 13158 0 0 0 63827 16 0 0 25 0 1 0 310773829 55238656 13144 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 13486 13144 77 171 0 13313 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 59300
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14644
/proc/meminfo: memFree=1785736/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=54596 CPUtime=698.4
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 13271 0 0 0 69824 16 0 0 25 0 1 0 310773829 55906304 13257 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 13649 13257 77 171 0 13476 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 59952
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14644
/proc/meminfo: memFree=1784264/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=55976 CPUtime=758.4
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 13615 0 0 0 75823 17 0 0 25 0 1 0 310773829 57319424 13601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 13994 13601 77 171 0 13821 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 61332
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14644
/proc/meminfo: memFree=1782536/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=57648 CPUtime=818.38
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 14042 0 0 0 81820 18 0 0 25 0 1 0 310773829 59031552 14028 1992294400 134512640 135215339 4294956240 18446744073709551615 134537913 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 14412 14028 77 171 0 14239 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 63004
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14644
/proc/meminfo: memFree=1782280/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=58000 CPUtime=878.35
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 14099 0 0 0 87817 18 0 0 25 0 1 0 310773829 59392000 14085 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 14500 14085 77 171 0 14327 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 63356
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14644
/proc/meminfo: memFree=1782160/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=58000 CPUtime=938.34
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 14120 0 0 0 93816 18 0 0 25 0 1 0 310773829 59392000 14106 1992294400 134512640 135215339 4294956240 18446744073709551615 134545713 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 14500 14106 77 171 0 14327 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 63356
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14644
/proc/meminfo: memFree=1782032/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=58272 CPUtime=998.32
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 14154 0 0 0 99814 18 0 0 25 0 1 0 310773829 59670528 14140 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 14568 14140 77 171 0 14395 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 63628
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14644
/proc/meminfo: memFree=1782032/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=58272 CPUtime=1058.3
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 14157 0 0 0 105812 18 0 0 25 0 1 0 310773829 59670528 14143 1992294400 134512640 135215339 4294956240 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 14568 14143 77 171 0 14395 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 63628
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14644
/proc/meminfo: memFree=1781648/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=58448 CPUtime=1118.28
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 14218 0 0 0 111810 18 0 0 25 0 1 0 310773829 59850752 14204 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 14612 14204 77 171 0 14439 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 63804
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14644
/proc/meminfo: memFree=1781648/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=58448 CPUtime=1178.26
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 14218 0 0 0 117808 18 0 0 25 0 1 0 310773829 59850752 14204 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 14612 14204 77 171 0 14439 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 63804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14644
/proc/meminfo: memFree=1781392/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=58692 CPUtime=1196.46
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 14262 0 0 0 119628 18 0 0 25 0 1 0 310773829 60100608 14248 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 14673 14248 77 171 0 14500 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 64048
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14644
/proc/meminfo: memFree=1781392/2055920 swapFree=4178740/4192956
[pid=14632] ppid=14630 vsize=5356 CPUtime=3.62
/proc/14632/stat : 14632 (SatELiteGTI) S 14630 14632 14419 0 -1 4194304 336 3945 0 0 0 0 358 4 16 0 1 0 310773465 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14632/statm: 1339 239 197 169 0 50 0
[pid=14638] ppid=14632 vsize=58692 CPUtime=1196.46
/proc/14638/stat : 14638 (minisat_static) R 14632 14632 14419 0 -1 4194304 14262 0 0 0 119628 18 0 0 25 0 1 0 310773829 60100608 14248 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14638/statm: 14673 14248 77 171 0 14500 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 64048
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14632 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=585454
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=46992
# CPU time returned by wait4() is 3.63245
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.08
CPU user time (s): 1199.86
CPU system time (s): 0.22
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 64048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.58545
system time used= 0.046992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4281
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= 15
involuntary context switches= 16
runsolver used 1.43178 second user time and 3.03354 second system time
The end
Begin job on node42 at 2009-05-20 15:50:53
IDJOB=1834041
IDBENCH=71144
IDSOLVER=671
FILE ID=node42/1834041-1242827453
PBS_JOBID= 9322521
Free space on /tmp= 66360 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/modcircuits/mod4block_2vars_10gates_u2_autoenc.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834041-1242827453/watcher-1834041-1242827453 -o /tmp/evaluation-result-1834041-1242827453/solver-1834041-1242827453 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834041-1242827453.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a4aa05bad2a3138b013cb1793208898f
RANDOM SEED=1670232844
node42.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: 1843000 kB
Buffers: 51836 kB
Cached: 111148 kB
SwapCached: 8852 kB
Active: 58984 kB
Inactive: 114632 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1843000 kB
SwapTotal: 4192956 kB
SwapFree: 4178740 kB
Dirty: 5032 kB
Writeback: 0 kB
Mapped: 14580 kB
Slab: 25344 kB
Committed_AS: 1133160 kB
PageTables: 1396 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= 66356 MiB
End job on node42 at 2009-05-20 16:10:55