0.00/0.00 c Parsing...
0.28/0.34 c ==============================================================================
0.28/0.34 c | | ORIGINAL | LEARNT | |
0.28/0.34 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.28/0.34 c ==============================================================================
0.28/0.34 c | 0 | 372325 2182771 | 111697 0 0 nan | 0.000 % |
15.08/15.11 c | 0 | 220957 1347241 | -- 0 -- -- | -- | -16968/86070
15.08/15.11 c ==============================================================================
15.08/15.11 c Result : #vars: 699 #clauses: 220957 #literals: 1347241
15.08/15.11 c CPU time: 15.0487 s
15.08/15.11 c ==============================================================================
15.38/15.49 c This is MiniSat 2.0 beta
15.38/15.49 c WARNING: for repeatability, setting FPU to use double precision
15.38/15.49 c ============================[ Problem Statistics ]=============================
15.38/15.49 c | |
15.38/15.49 c | Number of variables: 699 |
15.38/15.49 c | Number of clauses: 220957 |
15.46/15.65 c | Parsing time: 0.14 s |
15.46/15.66 c ============================[ Search Statistics ]==============================
15.46/15.66 c | Conflicts | ORIGINAL | LEARNT | Progress |
15.46/15.66 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
15.46/15.66 c ===============================================================================
15.46/15.66 c | 0 | 699 220957 1347241 | 73652 0 nan | 0.000 % |
15.46/15.68 c | 103 | 696 220957 1347241 | 73652 100 18 | 0.429 % |
15.46/15.69 c | 203 | 696 220957 1347241 | 73652 200 19 | 0.429 % |
15.46/15.70 c | 308 | 696 220957 1347241 | 73652 305 20 | 0.429 % |
15.46/15.72 c | 419 | 696 220957 1347241 | 73652 416 19 | 0.429 % |
15.46/15.73 c | 522 | 696 220957 1347241 | 73652 519 20 | 0.433 % |
15.46/15.74 c | 643 | 696 220957 1347241 | 73652 640 20 | 0.429 % |
15.46/15.76 c | 765 | 696 220957 1347241 | 73652 762 19 | 0.429 % |
15.46/15.77 c | 865 | 696 220957 1347241 | 73652 862 21 | 0.429 % |
15.46/15.78 c | 975 | 696 220957 1347241 | 73652 972 20 | 0.429 % |
15.46/15.80 c | 1096 | 695 220957 1347241 | 73652 1092 22 | 0.572 % |
15.46/15.81 c | 1231 | 695 220957 1347241 | 73652 1227 23 | 0.572 % |
15.46/15.82 c | 1331 | 695 220957 1347241 | 73652 1327 23 | 0.572 % |
15.46/15.83 c | 1441 | 695 220957 1347241 | 73652 1437 24 | 0.572 % |
15.46/15.85 c | 1562 | 694 220957 1347241 | 73652 1557 23 | 0.716 % |
15.46/15.86 c | 1695 | 694 220957 1347241 | 73652 1690 23 | 0.716 % |
15.46/15.87 c | 1842 | 694 220957 1347241 | 73652 1837 22 | 0.716 % |
15.46/15.88 c | 1942 | 694 220957 1347241 | 73652 1937 22 | 0.717 % |
15.46/15.89 c | 2054 | 694 220957 1347241 | 73652 2049 21 | 0.716 % |
15.46/15.91 c | 2176 | 694 220957 1347241 | 73652 2171 22 | 0.716 % |
15.46/15.92 c | 2309 | 693 220957 1347241 | 73652 2303 21 | 0.859 % |
15.46/15.94 c | 2455 | 693 220957 1347241 | 73652 2449 22 | 0.859 % |
15.46/15.96 c | 2615 | 693 220957 1347241 | 73652 2609 22 | 0.859 % |
15.46/15.97 c | 2715 | 693 220957 1347241 | 73652 2709 22 | 0.859 % |
15.46/15.99 c | 2827 | 693 220957 1347241 | 73652 2821 23 | 0.859 % |
15.46/16.00 c | 2949 | 693 220957 1347241 | 73652 2943 22 | 0.859 % |
15.46/16.02 c | 3082 | 693 220957 1347241 | 73652 3076 22 | 0.859 % |
15.46/16.05 c | 3229 | 693 220957 1347241 | 73652 3223 22 | 0.859 % |
15.46/16.07 c | 3389 | 693 220957 1347241 | 73652 3383 23 | 0.859 % |
15.46/16.09 c | 3565 | 693 220957 1347241 | 73652 3559 22 | 0.859 % |
15.46/16.10 c | 3668 | 693 220957 1347241 | 73652 3662 22 | 0.859 % |
15.46/16.10 c | 3779 | 693 220957 1347241 | 73652 3773 22 | 0.859 % |
15.46/16.12 c | 3900 | 693 220957 1347241 | 73652 3894 22 | 0.860 % |
15.46/16.14 c | 4033 | 693 220957 1347241 | 73652 4027 22 | 0.859 % |
15.46/16.16 c | 4179 | 693 220957 1347241 | 73652 4173 22 | 0.859 % |
15.46/16.19 c | 4340 | 693 220957 1347241 | 73652 4334 22 | 0.859 % |
15.46/16.20 c | 4517 | 693 220957 1347241 | 73652 4511 22 | 0.862 % |
15.46/16.24 c | 4711 | 693 220957 1347241 | 73652 4705 22 | 0.859 % |
15.46/16.24 c | 4811 | 693 220957 1347241 | 73652 4805 22 | 0.859 % |
15.46/16.26 c | 4922 | 693 220957 1347241 | 73652 4916 22 | 0.859 % |
15.46/16.28 c | 5043 | 693 220957 1347241 | 73652 5037 22 | 0.859 % |
15.46/16.29 c | 5179 | 693 220957 1347241 | 73652 5173 22 | 0.859 % |
15.46/16.31 c | 5332 | 693 220957 1347241 | 73652 5326 23 | 0.859 % |
15.46/16.33 c | 5492 | 693 220957 1347241 | 73652 5486 22 | 0.859 % |
15.46/16.35 c | 5668 | 693 220957 1347241 | 73652 5662 23 | 0.859 % |
15.46/16.38 c | 5861 | 693 220957 1347241 | 73652 5855 23 | 0.861 % |
16.36/16.41 c | 6075 | 693 220957 1347241 | 73652 6069 23 | 0.859 % |
16.55/16.62 c | 6175 | 693 220957 1347241 | 73652 6169 23 | 0.859 % |
16.55/16.62 c | 6285 | 693 220957 1347241 | 73652 6279 22 | 0.861 % |
16.55/16.62 c | 6406 | 693 220957 1347241 | 73652 6400 23 | 0.862 % |
16.55/16.62 c | 6539 | 693 220957 1347241 | 73652 6533 23 | 0.859 % |
16.55/16.62 c | 6685 | 693 220957 1347241 | 73652 6679 23 | 0.859 % |
16.55/16.62 c | 6845 | 693 220957 1347241 | 73652 6839 24 | 0.859 % |
16.55/16.62 c | 7023 | 693 220957 1347241 | 73652 7017 23 | 0.859 % |
16.55/16.62 c | 7216 | 693 220957 1347241 | 73652 7210 24 | 0.859 % |
16.55/16.62 c | 7429 | 693 220957 1347241 | 73652 7423 24 | 0.862 % |
16.55/16.63 c | 7662 | 693 220957 1347241 | 73652 7656 24 | 0.859 % |
16.55/16.65 c | 7766 | 693 220957 1347241 | 73652 7760 24 | 0.859 % |
16.55/16.66 c | 7876 | 693 220957 1347241 | 73652 7870 24 | 0.859 % |
16.55/16.68 c | 8003 | 693 220957 1347241 | 73652 7997 24 | 0.859 % |
16.65/16.71 c | 8136 | 693 220957 1347241 | 73652 8130 24 | 0.859 % |
16.65/16.72 c | 8283 | 693 220957 1347241 | 73652 8277 23 | 0.861 % |
16.65/16.75 c | 8443 | 692 220957 1347241 | 73652 8436 23 | 1.002 % |
16.65/16.78 c | 8620 | 692 220957 1347241 | 73652 8613 23 | 1.004 % |
16.75/16.81 c | 8813 | 691 220957 1347241 | 73652 8805 23 | 1.147 % |
16.75/16.82 c | 9026 | 691 220957 1347241 | 73652 9018 23 | 1.145 % |
16.75/16.86 c | 9259 | 691 220957 1347241 | 73652 9251 23 | 1.145 % |
16.75/16.89 c | 9516 | 691 220957 1347241 | 73652 9508 24 | 1.148 % |
16.85/16.91 c | 9619 | 690 220957 1347241 | 73652 9610 24 | 1.288 % |
16.85/16.93 c | 9729 | 690 220957 1347241 | 73652 9720 24 | 1.288 % |
16.85/16.95 c | 9850 | 690 220957 1347241 | 73652 9841 24 | 1.289 % |
16.85/16.96 c | 9983 | 690 220957 1347241 | 73652 9974 24 | 1.289 % |
16.85/16.99 c | 10131 | 690 220957 1347241 | 2147483647 10122 24 | 1.289 % |
16.95/17.01 c | 10293 | 690 220957 1347241 | 2147483647 10284 24 | 1.288 % |
16.95/17.03 c | 10469 | 690 220957 1347241 | 2147483647 10460 25 | 1.290 % |
16.95/17.05 c | 10663 | 690 220957 1347241 | 2147483647 10654 25 | 1.288 % |
16.95/17.09 c | 10878 | 690 220957 1347241 | 2147483647 10869 25 | 1.288 % |
17.05/17.11 c | 11111 | 690 220957 1347241 | 2147483647 11102 25 | 1.289 % |
17.05/17.15 c | 11368 | 690 220957 1347241 | 2147483647 11359 25 | 1.288 % |
17.05/17.18 c | 11650 | 690 220957 1347241 | 2147483647 11641 25 | 1.288 % |
17.15/17.20 c | 11757 | 690 220957 1347241 | 2147483647 11748 25 | 1.288 % |
17.15/17.22 c | 11869 | 690 220957 1347241 | 2147483647 11860 25 | 1.288 % |
17.15/17.25 c | 11992 | 690 220957 1347241 | 2147483647 11983 25 | 1.291 % |
17.15/17.27 c | 12129 | 690 220957 1347241 | 2147483647 12120 25 | 1.290 % |
17.15/17.29 c | 12275 | 690 220957 1347241 | 2147483647 12266 25 | 1.288 % |
17.25/17.31 c | 12435 | 690 220957 1347241 | 2147483647 12426 25 | 1.288 % |
17.25/17.33 c | 12612 | 690 220957 1347241 | 2147483647 12603 25 | 1.289 % |
17.25/17.38 c | 12805 | 690 220957 1347241 | 2147483647 12796 25 | 1.288 % |
17.35/17.40 c | 13020 | 690 220957 1347241 | 2147483647 13011 25 | 1.291 % |
17.35/17.47 c | 13253 | 690 220957 1347241 | 2147483647 13244 25 | 1.288 % |
17.46/17.52 c | 13509 | 690 220957 1347241 | 2147483647 13500 25 | 1.288 % |
17.46/17.57 c | 13790 | 690 220957 1347241 | 2147483647 13781 25 | 1.288 % |
17.56/17.62 c | 14101 | 690 220957 1347241 | 2147483647 14092 25 | 1.288 % |
17.56/17.64 c | 14203 | 690 220957 1347241 | 2147483647 14194 25 | 1.288 % |
17.56/17.65 c | 14313 | 690 220957 1347241 | 2147483647 14304 26 | 1.288 % |
17.56/17.67 c | 14434 | 690 220957 1347241 | 2147483647 14425 26 | 1.288 % |
17.65/17.71 c | 14567 | 690 220957 1347241 | 2147483647 14558 26 | 1.288 % |
17.65/17.73 c | 14715 | 689 220957 1347241 | 2147483647 14705 25 | 1.431 % |
17.65/17.75 c | 14875 | 689 220957 1347241 | 2147483647 14865 26 | 1.431 % |
17.65/17.77 c | 15051 | 689 220957 1347241 | 2147483647 15041 26 | 1.431 % |
17.75/17.81 c | 15244 | 689 220957 1347241 | 2147483647 15234 26 | 1.431 % |
17.75/17.84 c | 15456 | 689 220957 1347241 | 2147483647 15446 26 | 1.431 % |
17.75/17.88 c | 15691 | 689 220957 1347241 | 2147483647 15681 26 | 1.431 % |
17.75/17.89 c | 15947 | 689 220957 1347241 | 2147483647 15937 26 | 1.434 % |
17.85/17.95 c | 16231 | 689 220957 1347241 | 2147483647 16221 26 | 1.432 % |
17.95/18.00 c | 16540 | 689 220957 1347241 | 2147483647 16530 26 | 1.431 % |
17.95/18.04 c | 16879 | 688 220957 1347241 | 2147483647 16868 26 | 1.574 % |
17.95/18.06 c | 16981 | 688 220957 1347241 | 2147483647 16970 26 | 1.574 % |
17.95/18.09 c | 17099 | 688 220957 1347241 | 2147483647 17088 26 | 1.574 % |
18.05/18.11 c | 17222 | 688 220957 1347241 | 2147483647 17211 26 | 1.574 % |
18.05/18.13 c | 17355 | 688 220957 1347241 | 2147483647 17344 26 | 1.577 % |
18.05/18.15 c | 17501 | 688 220957 1347241 | 2147483647 17490 26 | 1.574 % |
18.05/18.19 c | 17661 | 688 220957 1347241 | 2147483647 17650 26 | 1.574 % |
18.15/18.21 c | 17837 | 688 220957 1347241 | 2147483647 17826 26 | 1.574 % |
18.15/18.24 c | 18032 | 688 220957 1347241 | 2147483647 18021 26 | 1.575 % |
18.15/18.28 c | 18244 | 688 220957 1347241 | 2147483647 18233 26 | 1.574 % |
18.25/18.31 c | 18482 | 688 220957 1347241 | 2147483647 18471 26 | 1.574 % |
18.25/18.36 c | 18738 | 688 220957 1347241 | 2147483647 18727 27 | 1.574 % |
18.35/18.43 c | 19020 | 688 220957 1347241 | 2147483647 19009 27 | 1.574 % |
18.35/18.48 c | 19330 | 686 220957 1347241 | 2147483647 19317 26 | 1.860 % |
18.45/18.59 c | 19671 | 686 220957 1347241 | 2147483647 19658 27 | 1.862 % |
18.56/18.62 c | 20043 | 686 220957 1347241 | 2147483647 20030 27 | 1.863 % |
18.56/18.64 c | 20143 | 686 220957 1347241 | 2147483647 20130 27 | 1.860 % |
18.56/18.65 c | 20257 | 686 220957 1347241 | 2147483647 20244 27 | 1.860 % |
18.56/18.68 c | 20378 | 686 220957 1347241 | 2147483647 20365 27 | 1.860 % |
18.66/18.71 c | 20514 | 686 220957 1347241 | 2147483647 20501 27 | 1.860 % |
18.66/18.73 c | 20662 | 686 220957 1347241 | 2147483647 20649 27 | 1.860 % |
18.66/18.76 c | 20823 | 686 220957 1347241 | 2147483647 20810 27 | 1.862 % |
18.66/18.78 c | 20999 | 686 220957 1347241 | 2147483647 20986 27 | 1.860 % |
18.75/18.82 c | 21192 | 686 220957 1347241 | 2147483647 21179 27 | 1.860 % |
18.75/18.84 c | 21404 | 686 220957 1347241 | 2147483647 21391 27 | 1.860 % |
18.85/18.90 c | 21638 | 686 220957 1347241 | 2147483647 21625 27 | 1.860 % |
18.85/18.98 c | 21894 | 686 220957 1347241 | 2147483647 21881 27 | 1.860 % |
18.95/19.02 c | 22176 | 686 220957 1347241 | 2147483647 22163 27 | 1.862 % |
18.95/19.06 c | 22487 | 686 220957 1347241 | 2147483647 22474 27 | 1.862 % |
19.05/19.15 c | 22826 | 686 220957 1347241 | 2147483647 22813 27 | 1.862 % |
19.15/19.24 c | 23201 | 686 220957 1347241 | 2147483647 23188 27 | 1.864 % |
19.25/19.31 c | 23610 | 686 220957 1347241 | 2147483647 23597 27 | 1.860 % |
19.25/19.33 c | 23711 | 686 220957 1347241 | 2147483647 23698 27 | 1.862 % |
19.25/19.34 c | 23821 | 686 220957 1347241 | 2147483647 23808 27 | 1.860 % |
19.25/19.35 c | 23942 | 686 220957 1347241 | 2147483647 23929 27 | 1.860 % |
19.35/19.40 c | 24077 | 686 220957 1347241 | 2147483647 24064 27 | 1.862 % |
19.35/19.43 c | 24224 | 686 220957 1347241 | 2147483647 24211 27 | 1.860 % |
19.35/19.46 c | 24385 | 686 220957 1347241 | 2147483647 24372 27 | 1.862 % |
19.35/19.49 c | 24562 | 686 220957 1347241 | 2147483647 24549 27 | 1.864 % |
19.45/19.52 c | 24759 | 686 220957 1347241 | 2147483647 24746 27 | 1.860 % |
19.45/19.57 c | 24973 | 686 220957 1347241 | 2147483647 24960 27 | 1.860 % |
19.55/19.62 c | 25206 | 686 220957 1347241 | 2147483647 25193 27 | 1.863 % |
19.55/19.66 c | 25462 | 686 220957 1347241 | 2147483647 25449 27 | 1.860 % |
19.65/19.77 c | 25745 | 686 220957 1347241 | 2147483647 25732 27 | 1.860 % |
19.75/19.81 c | 26055 | 686 220957 1347241 | 2147483647 26042 27 | 1.860 % |
19.75/19.89 c | 26394 | 686 220957 1347241 | 2147483647 26381 27 | 1.860 % |
19.85/19.99 c | 26766 | 686 220957 1347241 | 2147483647 26753 27 | 1.860 % |
19.95/20.05 c | 27176 | 686 220957 1347241 | 2147483647 27163 27 | 1.860 % |
20.06/20.13 c | 27625 | 686 220957 1347241 | 2147483647 27612 28 | 1.860 % |
20.06/20.16 c | 27725 | 686 220957 1347241 | 2147483647 27712 28 | 1.860 % |
20.06/20.18 c | 27837 | 686 220957 1347241 | 2147483647 27824 28 | 1.860 % |
20.16/20.20 c | 27958 | 686 220957 1347241 | 2147483647 27945 28 | 1.860 % |
20.16/20.23 c | 28091 | 686 220957 1347241 | 2147483647 28078 28 | 1.860 % |
20.16/20.25 c | 28237 | 686 220957 1347241 | 2147483647 28224 28 | 1.860 % |
20.16/20.28 c | 28397 | 686 220957 1347241 | 2147483647 28384 28 | 1.860 % |
20.26/20.31 c | 28575 | 686 220957 1347241 | 2147483647 28562 28 | 1.860 % |
20.26/20.34 c | 28769 | 686 220957 1347241 | 2147483647 28756 28 | 1.860 % |
20.26/20.38 c | 28981 | 686 220957 1347241 | 2147483647 28968 28 | 1.860 % |
20.35/20.40 c | 29214 | 686 220957 1347241 | 2147483647 29201 28 | 1.864 % |
20.35/20.43 c | 29471 | 686 220957 1347241 | 2147483647 29458 28 | 1.860 % |
20.35/20.49 c | 29752 | 686 220957 1347241 | 2147483647 29739 28 | 1.860 % |
20.45/20.55 c | 30061 | 686 220957 1347241 | 2147483647 30048 28 | 1.861 % |
20.45/20.59 c | 30400 | 686 220957 1347241 | 2147483647 30387 28 | 1.861 % |
20.56/20.64 c | 30773 | 686 220957 1347241 | 2147483647 30760 28 | 1.860 % |
20.66/20.70 c | 31183 | 686 220957 1347241 | 2147483647 31170 28 | 1.860 % |
20.66/20.77 c | 31635 | 686 220957 1347241 | 2147483647 31622 28 | 1.862 % |
20.76/20.84 c | 32128 | 686 220957 1347241 | 2147483647 32115 28 | 1.860 % |
20.76/20.86 c | 32228 | 686 220957 1347241 | 2147483647 32215 28 | 1.860 % |
20.76/20.88 c | 32338 | 686 220957 1347241 | 2147483647 32325 28 | 1.860 % |
20.76/20.89 c | 32460 | 686 220957 1347241 | 2147483647 32447 28 | 1.860 % |
20.86/20.91 c | 32593 | 686 220957 1347241 | 2147483647 32580 28 | 1.860 % |
20.86/20.95 c | 32739 | 686 220957 1347241 | 2147483647 32726 28 | 1.860 % |
20.86/20.96 c | 32899 | 686 220957 1347241 | 2147483647 32886 28 | 1.860 % |
20.95/21.00 c | 33075 | 686 220957 1347241 | 2147483647 33062 28 | 1.860 % |
20.95/21.03 c | 33270 | 686 220957 1347241 | 2147483647 33257 28 | 1.860 % |
20.95/21.08 c | 33483 | 686 220957 1347241 | 2147483647 33470 28 | 1.860 % |
21.05/21.13 c | 33716 | 686 220957 1347241 | 2147483647 33703 28 | 1.860 % |
21.05/21.19 c | 33972 | 686 220957 1347241 | 2147483647 33959 28 | 1.860 % |
21.15/21.26 c | 34254 | 686 220957 1347241 | 2147483647 34241 28 | 1.862 % |
21.25/21.32 c | 34566 | 686 220957 1347241 | 2147483647 34553 28 | 1.860 % |
21.25/21.39 c | 34905 | 686 220957 1347241 | 2147483647 34892 28 | 1.861 % |
21.35/21.45 c | 35279 | 686 220957 1347241 | 2147483647 35266 28 | 1.860 % |
21.45/21.50 c | 35690 | 686 220957 1347241 | 2147483647 35677 28 | 1.860 % |
21.55/21.62 c | 36141 | 685 220957 1347241 | 2147483647 36127 28 | 2.003 % |
21.55/21.70 c | 36634 | 685 220957 1347241 | 2147483647 36620 28 | 2.004 % |
21.65/21.75 c | 37179 | 685 220957 1347241 | 2147483647 37165 28 | 2.003 % |
21.65/21.77 c | 37281 | 685 220957 1347241 | 2147483647 37267 28 | 2.003 % |
21.65/21.79 c | 37392 | 685 220957 1347241 | 2147483647 37378 28 | 2.004 % |
21.75/21.81 c | 37513 | 685 220957 1347241 | 2147483647 37499 28 | 2.003 % |
21.75/21.85 c | 37646 | 685 220957 1347241 | 2147483647 37632 28 | 2.003 % |
21.75/21.88 c | 37792 | 685 220957 1347241 | 2147483647 37778 28 | 2.003 % |
21.86/21.91 c | 37952 | 685 220957 1347241 | 2147483647 37938 28 | 2.003 % |
21.86/21.94 c | 38128 | 685 220957 1347241 | 2147483647 38114 28 | 2.003 % |
21.86/21.96 c | 38324 | 685 220957 1347241 | 2147483647 38310 28 | 2.003 % |
21.96/22.02 c | 38537 | 685 220957 1347241 | 2147483647 38523 28 | 2.003 % |
21.96/22.07 c | 38770 | 685 220957 1347241 | 2147483647 38756 28 | 2.003 % |
22.05/22.12 c | 39030 | 685 220957 1347241 | 2147483647 39016 28 | 2.003 % |
22.05/22.19 c | 39311 | 685 220957 1347241 | 2147483647 39297 28 | 2.003 % |
22.15/22.27 c | 39621 | 685 220957 1347241 | 2147483647 39607 28 | 2.003 % |
22.25/22.35 c | 39961 | 685 220957 1347241 | 2147483647 39947 29 | 2.006 % |
22.35/22.48 c | 40333 | 685 220957 1347241 | 2147483647 40319 28 | 2.006 % |
22.45/22.54 c | 40742 | 685 220957 1347241 | 2147483647 40728 28 | 2.003 % |
22.55/22.65 c | 41191 | 684 220957 1347241 | 2147483647 41176 28 | 2.146 % |
22.65/22.75 c | 41684 | 684 220957 1347241 | 2147483647 41669 29 | 2.146 % |
22.75/22.87 c | 42227 | 684 220957 1347241 | 2147483647 42212 28 | 2.146 % |
22.85/22.97 c | 42823 | 684 220957 1347241 | 2147483647 42808 28 | 2.148 % |
22.96/23.00 c | 42927 | 684 220957 1347241 | 2147483647 42912 28 | 2.146 % |
22.96/23.06 c | 43037 | 684 220957 1347241 | 2147483647 43022 28 | 2.147 % |
22.96/23.09 c | 43159 | 684 220957 1347241 | 2147483647 43144 28 | 2.146 % |
23.06/23.13 c | 43293 | 684 220957 1347241 | 2147483647 43278 28 | 2.146 % |
23.06/23.15 c | 43439 | 684 220957 1347241 | 2147483647 43424 28 | 2.146 % |
23.06/23.18 c | 43601 | 684 220957 1347241 | 2147483647 43586 29 | 2.148 % |
23.15/23.21 c | 43779 | 684 220957 1347241 | 2147483647 43764 29 | 2.146 % |
23.15/23.26 c | 43974 | 684 220957 1347241 | 2147483647 43959 28 | 2.146 % |
23.15/23.29 c | 44186 | 684 220957 1347241 | 2147483647 44171 28 | 2.146 % |
23.25/23.34 c | 44421 | 684 220957 1347241 | 2147483647 44406 29 | 2.146 % |
23.25/23.38 c | 44678 | 684 220957 1347241 | 2147483647 44663 29 | 2.146 % |
23.35/23.43 c | 44960 | 684 220957 1347241 | 2147483647 44945 29 | 2.146 % |
23.45/23.53 c | 45272 | 684 220957 1347241 | 2147483647 45257 29 | 2.146 % |
23.55/23.62 c | 45616 | 684 220957 1347241 | 2147483647 45601 29 | 2.151 % |
23.65/23.70 c | 45988 | 684 220957 1347241 | 2147483647 45973 29 | 2.146 % |
23.65/23.77 c | 46398 | 684 220957 1347241 | 2147483647 46383 29 | 2.149 % |
23.75/23.87 c | 46847 | 684 220957 1347241 | 2147483647 46832 29 | 2.146 % |
23.85/23.95 c | 47340 | 684 220957 1347241 | 2147483647 47325 29 | 2.149 % |
24.06/24.18 c | 47885 | 684 220957 1347241 | 2147483647 47870 29 | 2.146 % |
24.35/24.44 c | 48482 | 684 220957 1347241 | 2147483647 48467 29 | 2.148 % |
24.45/24.58 c | 49137 | 684 220957 1347241 | 2147483647 49122 29 | 2.146 % |
24.55/24.63 c | 49237 | 684 220957 1347241 | 2147483647 49222 29 | 2.146 % |
24.55/24.65 c | 49352 | 684 220957 1347241 | 2147483647 49337 29 | 2.146 % |
24.55/24.69 c | 49473 | 684 220957 1347241 | 2147483647 49458 29 | 2.146 % |
24.65/24.73 c | 49606 | 684 220957 1347241 | 2147483647 49591 29 | 2.146 % |
24.65/24.77 c | 49755 | 684 220957 1347241 | 2147483647 49740 29 | 2.150 % |
24.75/24.84 c | 49915 | 684 220957 1347241 | 2147483647 49900 29 | 2.146 % |
24.85/24.91 c | 50093 | 684 220957 1347241 | 2147483647 50078 29 | 2.147 % |
24.85/24.95 c | 50286 | 684 220957 1347241 | 2147483647 50271 29 | 2.146 % |
24.85/24.98 c | 50498 | 684 220957 1347241 | 2147483647 50483 29 | 2.147 % |
24.95/25.04 c | 50731 | 684 220957 1347241 | 2147483647 50716 29 | 2.146 % |
24.95/25.07 c | 50987 | 684 220957 1347241 | 2147483647 50972 29 | 2.149 % |
25.05/25.16 c | 51268 | 684 220957 1347241 | 2147483647 51253 29 | 2.146 % |
25.15/25.24 c | 51581 | 684 220957 1347241 | 2147483647 51566 29 | 2.146 % |
25.25/25.34 c | 51921 | 683 220957 1347241 | 2147483647 51905 29 | 2.289 % |
25.35/25.44 c | 52293 | 683 220957 1347241 | 2147483647 52277 29 | 2.289 % |
25.45/25.57 c | 52703 | 683 220957 1347241 | 2147483647 52687 29 | 2.292 % |
25.65/25.71 c | 53155 | 683 220957 1347241 | 2147483647 53139 29 | 2.291 % |
25.65/25.80 c | 53649 | 683 220957 1347241 | 2147483647 53633 29 | 2.295 % |
25.85/25.93 c | 54191 | 683 220957 1347241 | 2147483647 54175 29 | 2.289 % |
25.95/26.08 c | 54787 | 683 220957 1347241 | 2147483647 54771 29 | 2.289 % |
26.15/26.26 c | 55442 | 683 220957 1347241 | 2147483647 55426 29 | 2.292 % |
26.25/26.39 c | 56163 | 683 220957 1347241 | 2147483647 56147 29 | 2.292 % |
26.35/26.43 c | 56265 | 683 220957 1347241 | 2147483647 56249 29 | 2.289 % |
26.35/26.48 c | 56375 | 683 220957 1347241 | 2147483647 56359 29 | 2.289 % |
26.35/26.50 c | 56496 | 683 220957 1347241 | 2147483647 56480 29 | 2.289 % |
26.45/26.53 c | 56629 | 683 220957 1347241 | 2147483647 56613 29 | 2.289 % |
26.45/26.56 c | 56775 | 683 220957 1347241 | 2147483647 56759 29 | 2.289 % |
26.45/26.60 c | 56935 | 683 220957 1347241 | 2147483647 56919 29 | 2.289 % |
26.55/26.64 c | 57111 | 683 220957 1347241 | 2147483647 57095 29 | 2.289 % |
26.55/26.67 c | 57305 | 683 220957 1347241 | 2147483647 57289 29 | 2.289 % |
26.65/26.74 c | 57519 | 683 220957 1347241 | 2147483647 57503 29 | 2.289 % |
26.75/26.82 c | 57753 | 683 220957 1347241 | 2147483647 57737 29 | 2.289 % |
26.75/26.86 c | 58009 | 683 220957 1347241 | 2147483647 57993 29 | 2.292 % |
26.85/26.93 c | 58293 | 683 220957 1347241 | 2147483647 58277 29 | 2.289 % |
26.85/26.99 c | 58603 | 683 220957 1347241 | 2147483647 58587 29 | 2.289 % |
26.95/27.06 c | 58942 | 683 220957 1347241 | 2147483647 58926 29 | 2.289 % |
27.05/27.14 c | 59316 | 683 220957 1347241 | 2147483647 59300 29 | 2.291 % |
27.15/27.22 c | 59726 | 683 220957 1347241 | 2147483647 59710 29 | 2.293 % |
27.25/27.34 c | 60175 | 683 220957 1347241 | 2147483647 60159 29 | 2.291 % |
27.35/27.44 c | 60668 | 683 220957 1347241 | 2147483647 60652 29 | 2.289 % |
27.45/27.52 c | 61213 | 683 220957 1347241 | 2147483647 61197 29 | 2.289 % |
27.55/27.67 c | 61810 | 683 220957 1347241 | 2147483647 61794 29 | 2.289 % |
27.75/27.86 c | 62465 | 683 220957 1347241 | 2147483647 62449 29 | 2.289 % |
28.05/28.15 c | 63186 | 683 220957 1347241 | 2147483647 63170 29 | 2.289 % |
28.25/28.34 c | 63981 | 683 220957 1347241 | 2147483647 63965 29 | 2.294 % |
28.46/28.54 c | 64084 | 683 201045 1232677 | 2147483647 64035 29 | 2.289 % |
28.46/28.57 c | 64195 | 683 201045 1232677 | 2147483647 64146 29 | 2.289 % |
28.46/28.60 c | 64316 | 683 201045 1232677 | 2147483647 64267 29 | 2.292 % |
28.56/28.63 c | 64450 | 683 201045 1232677 | 2147483647 64401 29 | 2.290 % |
28.56/28.67 c | 64598 | 683 201045 1232677 | 2147483647 64549 29 | 2.289 % |
28.65/28.72 c | 64758 | 683 201045 1232677 | 2147483647 64709 29 | 2.289 % |
28.65/28.78 c | 64934 | 683 201045 1232677 | 2147483647 64885 29 | 2.289 % |
28.75/28.85 c | 65130 | 683 201045 1232677 | 2147483647 65081 29 | 2.289 % |
28.85/28.92 c | 65342 | 683 201045 1232677 | 2147483647 65293 29 | 2.289 % |
28.95/29.02 c | 65576 | 683 201045 1232677 | 2147483647 65527 29 | 2.289 % |
28.95/29.08 c | 65834 | 683 201045 1232677 | 2147483647 65785 29 | 2.289 % |
29.05/29.13 c | 66115 | 683 201045 1232677 | 2147483647 66066 29 | 2.289 % |
29.05/29.19 c | 66424 | 683 201045 1232677 | 2147483647 66375 29 | 2.291 % |
29.25/29.30 c | 66763 | 683 201045 1232677 | 2147483647 66714 29 | 2.289 % |
29.25/29.36 c | 67136 | 683 201045 1232677 | 2147483647 67087 29 | 2.292 % |
29.35/29.47 c | 67545 | 683 201045 1232677 | 2147483647 67496 29 | 2.292 % |
29.56/29.62 c | 67995 | 683 201045 1232677 | 2147483647 67946 29 | 2.289 % |
29.66/29.72 c | 68489 | 683 201045 1232677 | 2147483647 68440 29 | 2.289 % |
29.85/29.95 c | 69033 | 683 201045 1232677 | 2147483647 68984 29 | 2.292 % |
29.95/30.08 c | 69629 | 683 201045 1232677 | 2147483647 69580 29 | 2.289 % |
30.15/30.24 c | 70286 | 683 201045 1232677 | 2147483647 70237 29 | 2.289 % |
30.35/30.48 c | 71006 | 683 201045 1232677 | 2147483647 70957 29 | 2.289 % |
30.55/30.64 c | 71800 | 683 201045 1232677 | 2147483647 71751 29 | 2.289 % |
30.66/30.79 c | 72671 | 683 201045 1232677 | 2147483647 72622 29 | 2.289 % |
30.76/30.83 c | 72772 | 683 201045 1232677 | 2147483647 72723 29 | 2.292 % |
30.76/30.89 c | 72882 | 683 201045 1232677 | 2147483647 72833 29 | 2.289 % |
30.85/30.92 c | 73003 | 683 201045 1232677 | 2147483647 72954 29 | 2.292 % |
30.85/30.95 c | 73137 | 683 201045 1232677 | 2147483647 73088 29 | 2.289 % |
30.85/30.99 c | 73283 | 683 201045 1232677 | 2147483647 73234 29 | 2.289 % |
30.95/31.04 c | 73443 | 683 201045 1232677 | 2147483647 73394 29 | 2.292 % |
30.95/31.09 c | 73619 | 683 201045 1232677 | 2147483647 73570 29 | 2.292 % |
31.05/31.16 c | 73812 | 683 201045 1232677 | 2147483647 73763 29 | 2.289 % |
31.15/31.21 c | 74025 | 683 201045 1232677 | 2147483647 73976 29 | 2.289 % |
31.15/31.28 c | 74259 | 683 201045 1232677 | 2147483647 74210 29 | 2.289 % |
31.25/31.32 c | 74515 | 683 201045 1232677 | 2147483647 74466 29 | 2.289 % |
31.35/31.40 c | 74796 | 683 201045 1232677 | 2147483647 74747 30 | 2.289 % |
31.35/31.49 c | 75106 | 683 201045 1232677 | 2147483647 75057 30 | 2.292 % |
31.45/31.59 c | 75446 | 683 201045 1232677 | 2147483647 75397 30 | 2.289 % |
31.55/31.66 c | 75818 | 683 201045 1232677 | 2147483647 75769 30 | 2.289 % |
31.65/31.74 c | 76228 | 683 201045 1232677 | 2147483647 76179 30 | 2.291 % |
31.75/31.87 c | 76679 | 683 201045 1232677 | 2147483647 76630 30 | 2.289 % |
31.85/31.99 c | 77172 | 683 201045 1232677 | 2147483647 77123 30 | 2.293 % |
31.95/32.09 c | 77715 | 683 201045 1232677 | 2147483647 77666 30 | 2.290 % |
32.15/32.20 c | 78313 | 683 201045 1232677 | 2147483647 78264 30 | 2.293 % |
32.35/32.44 c | 78968 | 683 201045 1232677 | 2147483647 78919 30 | 2.289 % |
32.65/32.73 c | 79688 | 683 201045 1232677 | 2147483647 79639 30 | 2.291 % |
32.85/32.99 c | 80480 | 683 201045 1232677 | 2147483647 80431 30 | 2.289 % |
33.14/33.26 c | 81352 | 683 201045 1232677 | 2147483647 81303 30 | 2.291 % |
33.54/33.61 c | 82310 | 683 201045 1232677 | 2147483647 82261 30 | 2.290 % |
33.54/33.66 c | 82410 | 683 201045 1232677 | 2147483647 82361 30 | 2.289 % |
33.64/33.71 c | 82520 | 683 201045 1232677 | 2147483647 82471 30 | 2.292 % |
33.64/33.79 c | 82641 | 683 201045 1232677 | 2147483647 82592 30 | 2.289 % |
33.74/33.85 c | 82774 | 683 201045 1232677 | 2147483647 82725 30 | 2.289 % |
33.84/33.91 c | 82920 | 683 201045 1232677 | 2147483647 82871 30 | 2.289 % |
33.84/33.94 c | 83080 | 683 201045 1232677 | 2147483647 83031 30 | 2.291 % |
33.95/34.03 c | 83257 | 683 201045 1232677 | 2147483647 83208 30 | 2.289 % |
33.95/34.07 c | 83451 | 683 201045 1232677 | 2147483647 83402 30 | 2.289 % |
34.05/34.12 c | 83670 | 683 201045 1232677 | 2147483647 83621 30 | 2.289 % |
34.05/34.18 c | 83904 | 683 201045 1232677 | 2147483647 83855 30 | 2.289 % |
34.14/34.24 c | 84161 | 683 201045 1232677 | 2147483647 84112 30 | 2.292 % |
34.24/34.31 c | 84442 | 683 201045 1232677 | 2147483647 84393 30 | 2.290 % |
34.24/34.36 c | 84752 | 683 201045 1232677 | 2147483647 84703 30 | 2.291 % |
34.44/34.50 c | 85095 | 683 201045 1232677 | 2147483647 85046 30 | 2.291 % |
34.54/34.69 c | 85468 | 683 201045 1232677 | 2147483647 85419 30 | 2.289 % |
34.64/34.78 c | 85877 | 683 201045 1232677 | 2147483647 85828 30 | 2.289 % |
34.74/34.88 c | 86329 | 683 201045 1232677 | 2147483647 86280 30 | 2.290 % |
34.94/35.04 c | 86822 | 683 201045 1232677 | 2147483647 86773 30 | 2.289 % |
35.05/35.16 c | 87364 | 683 201045 1232677 | 2147483647 87315 30 | 2.289 % |
35.25/35.30 c | 87960 | 683 201045 1232677 | 2147483647 87911 30 | 2.292 % |
35.45/35.59 c | 88615 | 683 201045 1232677 | 2147483647 88566 30 | 2.292 % |
35.85/35.95 c | 89336 | 683 201045 1232677 | 2147483647 89287 30 | 2.289 % |
36.45/36.59 c | 90130 | 683 201045 1232677 | 2147483647 90081 30 | 2.290 % |
36.94/37.06 c | 91002 | 683 201045 1232677 | 2147483647 90953 30 | 2.293 % |
37.14/37.28 c | 91960 | 683 201045 1232677 | 2147483647 91911 30 | 2.289 % |
37.65/37.76 c | 93014 | 683 201045 1232677 | 2147483647 92965 30 | 2.292 % |
37.75/37.83 c | 93114 | 683 201045 1232677 | 2147483647 93065 30 | 2.289 % |
37.75/37.85 c | 93224 | 683 201045 1232677 | 2147483647 93175 30 | 2.290 % |
37.75/37.89 c | 93346 | 683 201045 1232677 | 2147483647 93297 30 | 2.290 % |
37.85/37.93 c | 93479 | 683 201045 1232677 | 2147483647 93430 30 | 2.290 % |
37.85/37.96 c | 93627 | 683 201045 1232677 | 2147483647 93578 30 | 2.292 % |
37.85/37.99 c | 93790 | 683 201045 1232677 | 2147483647 93741 30 | 2.289 % |
37.94/38.06 c | 93966 | 683 201045 1232677 | 2147483647 93917 30 | 2.291 % |
38.04/38.14 c | 94159 | 683 201045 1232677 | 2147483647 94110 30 | 2.290 % |
38.14/38.22 c | 94371 | 683 201045 1232677 | 2147483647 94322 30 | 2.289 % |
38.14/38.30 c | 94604 | 683 201045 1232677 | 2147483647 94555 30 | 2.292 % |
38.24/38.37 c | 94860 | 683 201045 1232677 | 2147483647 94811 30 | 2.289 % |
38.35/38.46 c | 95142 | 683 201045 1232677 | 2147483647 95093 30 | 2.292 % |
38.45/38.57 c | 95453 | 683 201045 1232677 | 2147483647 95404 30 | 2.289 % |
38.54/38.66 c | 95793 | 683 201045 1232677 | 2147483647 95744 30 | 2.289 % |
38.74/38.84 c | 96170 | 683 201045 1232677 | 2147483647 96121 30 | 2.291 % |
38.84/38.95 c | 96579 | 683 201045 1232677 | 2147483647 96530 30 | 2.289 % |
39.04/39.10 c | 97029 | 683 201045 1232677 | 2147483647 96980 30 | 2.289 % |
39.14/39.27 c | 97522 | 683 201045 1232677 | 2147483647 97473 30 | 2.290 % |
39.34/39.48 c | 98065 | 683 201045 1232677 | 2147483647 98016 30 | 2.289 % |
39.54/39.65 c | 98664 | 683 201045 1232677 | 2147483647 98615 30 | 2.289 % |
39.74/39.82 c | 99319 | 683 201045 1232677 | 2147483647 99270 30 | 2.289 % |
39.94/40.01 c | 100039 | 683 201045 1232677 | 2147483647 99990 30 | 2.289 % |
40.14/40.26 c | 100831 | 683 201045 1232677 | 2147483647 100782 30 | 2.290 % |
40.44/40.58 c | 101702 | 683 201045 1232677 | 2147483647 101653 30 | 2.289 % |
40.85/40.99 c | 102660 | 683 201045 1232677 | 2147483647 102611 30 | 2.290 % |
41.24/41.31 c | 103716 | 683 201045 1232677 | 2147483647 103667 30 | 2.291 % |
41.54/41.64 c | 104876 | 683 201045 1232677 | 2147483647 104827 30 | 2.290 % |
41.54/41.69 c | 104976 | 683 201045 1232677 | 2147483647 104927 30 | 2.292 % |
41.65/41.74 c | 105086 | 683 201045 1232677 | 2147483647 105037 30 | 2.289 % |
41.75/41.80 c | 105207 | 683 201045 1232677 | 2147483647 105158 30 | 2.289 % |
41.75/41.85 c | 105342 | 683 201045 1232677 | 2147483647 105293 30 | 2.289 % |
41.84/41.90 c | 105489 | 683 201045 1232677 | 2147483647 105440 30 | 2.293 % |
41.84/41.95 c | 105649 | 683 201045 1232677 | 2147483647 105600 30 | 2.289 % |
41.94/42.01 c | 105834 | 683 201045 1232677 | 2147483647 105785 30 | 2.289 % |
41.94/42.05 c | 106031 | 683 201045 1232677 | 2147483647 105982 31 | 2.289 % |
42.04/42.13 c | 106244 | 683 201045 1232677 | 2147483647 106195 31 | 2.289 % |
42.04/42.18 c | 106477 | 683 201045 1232677 | 2147483647 106428 31 | 2.290 % |
42.14/42.26 c | 106733 | 683 201045 1232677 | 2147483647 106684 31 | 2.291 % |
42.24/42.34 c | 107018 | 683 201045 1232677 | 2147483647 106969 31 | 2.292 % |
42.34/42.45 c | 107327 | 683 201045 1232677 | 2147483647 107278 31 | 2.289 % |
42.44/42.57 c | 107666 | 683 201045 1232677 | 2147483647 107617 31 | 2.289 % |
42.54/42.69 c | 108038 | 683 201045 1232677 | 2147483647 107989 31 | 2.289 % |
42.75/42.84 c | 108452 | 683 201045 1232677 | 2147483647 108403 31 | 2.289 % |
42.94/43.05 c | 108901 | 683 201045 1232677 | 2147483647 108852 31 | 2.290 % |
43.04/43.18 c | 109394 | 683 201045 1232677 | 2147483647 109345 31 | 2.290 % |
43.34/43.42 c | 109936 | 683 201045 1232677 | 2147483647 109887 31 | 2.289 % |
43.74/43.86 c | 110533 | 683 201045 1232677 | 2147483647 110484 31 | 2.292 % |
44.04/44.14 c | 111191 | 683 201045 1232677 | 2147483647 111142 31 | 2.289 % |
44.34/44.40 c | 111912 | 683 201045 1232677 | 2147483647 111863 31 | 2.289 % |
44.54/44.67 c | 112704 | 683 201045 1232677 | 2147483647 112655 31 | 2.289 % |
44.84/44.99 c | 113577 | 683 201045 1232677 | 2147483647 113528 31 | 2.289 % |
45.14/45.25 c | 114536 | 683 201045 1232677 | 2147483647 114487 31 | 2.289 % |
45.54/45.69 c | 115589 | 683 201045 1232677 | 2147483647 115540 31 | 2.289 % |
46.04/46.20 c | 116752 | 683 201045 1232677 | 2147483647 116703 31 | 2.290 % |
46.64/46.77 c | 118026 | 683 201045 1232677 | 2147483647 117977 31 | 2.290 % |
46.74/46.81 c | 118135 | 683 201045 1232677 | 2147483647 118086 31 | 2.289 % |
46.74/46.84 c | 118245 | 683 201045 1232677 | 2147483647 118196 31 | 2.290 % |
46.74/46.88 c | 118366 | 683 201045 1232677 | 2147483647 118317 31 | 2.289 % |
46.84/46.94 c | 118499 | 683 201045 1232677 | 2147483647 118450 31 | 2.289 % |
46.84/46.99 c | 118645 | 683 201045 1232677 | 2147483647 118596 31 | 2.290 % |
46.94/47.06 c | 118805 | 683 201045 1232677 | 2147483647 118756 31 | 2.289 % |
47.04/47.12 c | 118983 | 683 201045 1232677 | 2147483647 118934 31 | 2.292 % |
47.04/47.17 c | 119176 | 683 201045 1232677 | 2147483647 119127 31 | 2.289 % |
47.14/47.24 c | 119388 | 683 201045 1232677 | 2147483647 119339 31 | 2.289 % |
47.24/47.38 c | 119621 | 683 201045 1232677 | 2147483647 119572 31 | 2.289 % |
47.33/47.49 c | 119878 | 683 201045 1232677 | 2147483647 119829 31 | 2.290 % |
47.43/47.56 c | 120159 | 683 201045 1232677 | 2147483647 120110 31 | 2.290 % |
47.63/47.72 c | 120469 | 683 201045 1232677 | 2147483647 120420 31 | 2.289 % |
47.73/47.86 c | 120809 | 683 201045 1232677 | 2147483647 120760 31 | 2.289 % |
47.93/48.03 c | 121181 | 683 201045 1232677 | 2147483647 121132 31 | 2.290 % |
48.03/48.17 c | 121592 | 683 201045 1232677 | 2147483647 121543 31 | 2.289 % |
48.23/48.38 c | 122041 | 683 201045 1232677 | 2147483647 121992 31 | 2.289 % |
48.53/48.63 c | 122534 | 683 201045 1232677 | 2147483647 122485 31 | 2.289 % |
48.73/48.87 c | 123082 | 683 201045 1232677 | 2147483647 123033 31 | 2.289 % |
49.03/49.15 c | 123678 | 683 201045 1232677 | 2147483647 123629 31 | 2.289 % |
49.23/49.38 c | 124334 | 683 201045 1232677 | 2147483647 124285 31 | 2.289 % |
49.53/49.67 c | 125054 | 683 201045 1232677 | 2147483647 125005 31 | 2.291 % |
49.83/49.98 c | 125846 | 683 201045 1232677 | 2147483647 125797 31 | 2.289 % |
50.23/50.39 c | 126717 | 683 201045 1232677 | 2147483647 126668 31 | 2.289 % |
50.73/50.80 c | 127675 | 683 201045 1232677 | 2147483647 127626 31 | 2.289 % |
51.33/51.46 c | 128728 | 683 201045 1232677 | 2147483647 128679 31 | 2.292 % |
51.73/51.84 c | 129886 | 683 201045 1232677 | 2147483647 129837 31 | 2.294 % |
52.23/52.35 c | 131159 | 683 201045 1232677 | 2147483647 131110 31 | 2.290 % |
53.43/53.50 c | 132560 | 683 201045 1232677 | 2147483647 132511 31 | 2.291 % |
53.43/53.55 c | 132660 | 683 201045 1232677 | 2147483647 132611 31 | 2.289 % |
53.43/53.59 c | 132770 | 683 201045 1232677 | 2147483647 132721 31 | 2.289 % |
53.53/53.62 c | 132892 | 683 201045 1232677 | 2147483647 132843 31 | 2.289 % |
53.53/53.66 c | 133026 | 683 201045 1232677 | 2147483647 132977 31 | 2.289 % |
53.63/53.73 c | 133173 | 683 201045 1232677 | 2147483647 133124 31 | 2.289 % |
53.63/53.77 c | 133333 | 683 201045 1232677 | 2147483647 133284 31 | 2.289 % |
53.73/53.82 c | 133511 | 683 201045 1232677 | 2147483647 133462 31 | 2.289 % |
53.83/53.91 c | 133704 | 683 201045 1232677 | 2147483647 133655 31 | 2.289 % |
53.83/53.98 c | 133917 | 683 201045 1232677 | 2147483647 133868 31 | 2.289 % |
53.93/54.05 c | 134150 | 683 201045 1232677 | 2147483647 134101 31 | 2.289 % |
54.03/54.17 c | 134407 | 683 201045 1232677 | 2147483647 134358 31 | 2.289 % |
54.23/54.32 c | 134689 | 683 201045 1232677 | 2147483647 134640 31 | 2.290 % |
54.33/54.42 c | 134998 | 683 201045 1232677 | 2147483647 134949 31 | 2.289 % |
54.53/54.60 c | 135337 | 683 201045 1232677 | 2147483647 135288 31 | 2.289 % |
54.63/54.74 c | 135709 | 683 201045 1232677 | 2147483647 135660 31 | 2.291 % |
54.73/54.87 c | 136119 | 683 201045 1232677 | 2147483647 136070 31 | 2.289 % |
54.93/55.04 c | 136571 | 683 201045 1232677 | 2147483647 136522 31 | 2.289 % |
55.13/55.27 c | 137065 | 683 201045 1232677 | 2147483647 137016 31 | 2.289 % |
55.53/55.66 c | 137608 | 683 201045 1232677 | 2147483647 137559 31 | 2.290 % |
55.73/55.85 c | 138204 | 683 201045 1232677 | 2147483647 138155 32 | 2.292 % |
55.93/56.06 c | 138860 | 683 201045 1232677 | 2147483647 138811 32 | 2.290 % |
56.43/56.56 c | 139582 | 683 201045 1232677 | 2147483647 139533 32 | 2.289 % |
56.83/56.96 c | 140374 | 683 201045 1232677 | 2147483647 140325 32 | 2.289 % |
57.13/57.23 c | 141245 | 683 201045 1232677 | 2147483647 141196 32 | 2.290 % |
57.52/57.61 c | 142203 | 683 201045 1232677 | 2147483647 142154 32 | 2.289 % |
57.93/58.00 c | 143258 | 683 201045 1232677 | 2147483647 143209 32 | 2.289 % |
58.53/58.63 c | 144419 | 683 201045 1232677 | 2147483647 144370 32 | 2.290 % |
59.43/59.56 c | 145693 | 683 201045 1232677 | 2147483647 145644 32 | 2.289 % |
60.63/60.71 c | 147093 | 683 201045 1232677 | 2147483647 147044 32 | 2.292 % |
61.23/61.32 c | 148633 | 683 201045 1232677 | 2147483647 148584 32 | 2.289 % |
61.23/61.36 c | 148734 | 683 201045 1232677 | 2147483647 148685 32 | 2.289 % |
61.33/61.40 c | 148846 | 683 201045 1232677 | 2147483647 148797 32 | 2.290 % |
61.33/61.45 c | 148969 | 683 201045 1232677 | 2147483647 148920 32 | 2.290 % |
61.33/61.50 c | 149102 | 683 201045 1232677 | 2147483647 149053 32 | 2.289 % |
61.43/61.55 c | 149250 | 683 201045 1232677 | 2147483647 149201 32 | 2.289 % |
61.53/61.65 c | 149413 | 683 201045 1232677 | 2147483647 149364 32 | 2.289 % |
61.63/61.73 c | 149589 | 683 201045 1232677 | 2147483647 149540 32 | 2.289 % |
61.73/61.87 c | 149782 | 683 201045 1232677 | 2147483647 149733 32 | 2.289 % |
61.83/61.96 c | 149995 | 683 201045 1232677 | 2147483647 149946 32 | 2.290 % |
61.93/62.09 c | 150229 | 683 201045 1232677 | 2147483647 150180 32 | 2.289 % |
62.13/62.27 c | 150489 | 683 201045 1232677 | 2147483647 150440 32 | 2.289 % |
62.33/62.43 c | 150772 | 683 201045 1232677 | 2147483647 150723 32 | 2.289 % |
62.43/62.54 c | 151082 | 683 201045 1232677 | 2147483647 151033 32 | 2.292 % |
62.63/62.79 c | 151422 | 683 201045 1232677 | 2147483647 151373 32 | 2.289 % |
62.83/62.90 c | 151794 | 683 201045 1232677 | 2147483647 151745 32 | 2.294 % |
62.93/63.07 c | 152203 | 683 201045 1232677 | 2147483647 152154 32 | 2.289 % |
63.13/63.25 c | 152654 | 683 201045 1232677 | 2147483647 152605 32 | 2.290 % |
63.53/63.60 c | 153147 | 683 201045 1232677 | 2147483647 153098 32 | 2.289 % |
63.93/64.00 c | 153691 | 683 201045 1232677 | 2147483647 153642 32 | 2.292 % |
64.23/64.38 c | 154287 | 683 201045 1232677 | 2147483647 154238 32 | 2.289 % |
64.63/64.78 c | 154944 | 683 201045 1232677 | 2147483647 154895 32 | 2.289 % |
64.92/65.07 c | 155664 | 683 201045 1232677 | 2147483647 155615 32 | 2.295 % |
65.22/65.35 c | 156456 | 683 201045 1232677 | 2147483647 156407 32 | 2.289 % |
65.62/65.70 c | 157328 | 683 201045 1232677 | 2147483647 157279 32 | 2.289 % |
65.93/66.07 c | 158286 | 683 201045 1232677 | 2147483647 158237 32 | 2.289 % |
66.42/66.50 c | 159343 | 683 201045 1232677 | 2147483647 159294 32 | 2.289 % |
66.82/66.93 c | 160505 | 683 201045 1232677 | 2147483647 160456 32 | 2.292 % |
67.42/67.54 c | 161780 | 683 201045 1232677 | 2147483647 161731 32 | 2.289 % |
68.32/68.41 c | 163182 | 683 201045 1232677 | 2147483647 163133 32 | 2.290 % |
69.42/69.54 c | 164724 | 683 201045 1232677 | 2147483647 164675 32 | 2.289 % |
70.32/70.40 c | 166419 | 683 201045 1232677 | 2147483647 166370 32 | 2.291 % |
70.32/70.46 c | 166520 | 683 201045 1232677 | 2147483647 166471 32 | 2.293 % |
70.42/70.53 c | 166635 | 683 201045 1232677 | 2147483647 166586 32 | 2.289 % |
70.52/70.62 c | 166756 | 683 201045 1232677 | 2147483647 166707 32 | 2.289 % |
70.52/70.69 c | 166891 | 683 201045 1232677 | 2147483647 166842 32 | 2.293 % |
70.62/70.76 c | 167040 | 683 201045 1232677 | 2147483647 166991 32 | 2.291 % |
70.72/70.89 c | 167200 | 683 201045 1232677 | 2147483647 167151 32 | 2.289 % |
70.82/70.96 c | 167378 | 683 201045 1232677 | 2147483647 167329 32 | 2.289 % |
70.92/71.05 c | 167572 | 683 201045 1232677 | 2147483647 167523 32 | 2.289 % |
71.12/71.28 c | 167785 | 683 201045 1232677 | 2147483647 167736 33 | 2.289 % |
71.32/71.40 c | 168021 | 683 201045 1232677 | 2147483647 167972 32 | 2.289 % |
71.42/71.52 c | 168279 | 683 201045 1232677 | 2147483647 168230 33 | 2.290 % |
71.53/71.64 c | 168564 | 683 201045 1232677 | 2147483647 168515 33 | 2.289 % |
71.73/71.83 c | 168874 | 683 201045 1232677 | 2147483647 168825 33 | 2.290 % |
71.83/71.98 c | 169214 | 683 201045 1232677 | 2147483647 169165 33 | 2.289 % |
72.03/72.15 c | 169587 | 683 201045 1232677 | 2147483647 169538 33 | 2.291 % |
72.23/72.36 c | 169997 | 683 201045 1232677 | 2147483647 169948 33 | 2.290 % |
72.43/72.56 c | 170448 | 683 201045 1232677 | 2147483647 170399 33 | 2.290 % |
72.73/72.83 c | 170941 | 683 201045 1232677 | 2147483647 170892 33 | 2.289 % |
72.92/73.05 c | 171484 | 683 201045 1232677 | 2147483647 171435 33 | 2.290 % |
73.22/73.37 c | 172081 | 683 201045 1232677 | 2147483647 172032 33 | 2.290 % |
73.63/73.75 c | 172737 | 683 201045 1232677 | 2147483647 172688 33 | 2.289 % |
74.02/74.10 c | 173457 | 683 201045 1232677 | 2147483647 173408 33 | 2.289 % |
74.42/74.52 c | 174249 | 683 201045 1232677 | 2147483647 174200 33 | 2.289 % |
74.72/74.89 c | 175121 | 683 201045 1232677 | 2147483647 175072 33 | 2.290 % |
75.32/75.45 c | 176080 | 683 201045 1232677 | 2147483647 176031 33 | 2.289 % |
75.82/75.97 c | 177133 | 683 201045 1232677 | 2147483647 177084 33 | 2.289 % |
76.52/76.69 c | 178292 | 683 201045 1232677 | 2147483647 178243 33 | 2.290 % |
77.32/77.44 c | 179566 | 683 201045 1232677 | 2147483647 179517 33 | 2.289 % |
78.22/78.36 c | 180966 | 683 201045 1232677 | 2147483647 180917 33 | 2.289 % |
79.52/79.61 c | 182508 | 683 201045 1232677 | 2147483647 182459 33 | 2.289 % |
80.52/80.68 c | 184204 | 683 201045 1232677 | 2147483647 184155 33 | 2.289 % |
81.72/81.80 c | 186069 | 683 201045 1232677 | 2147483647 186020 33 | 2.289 % |
81.72/81.89 c | 186169 | 683 201045 1232677 | 2147483647 186120 33 | 2.289 % |
81.82/81.95 c | 186280 | 683 201045 1232677 | 2147483647 186231 33 | 2.289 % |
81.92/82.01 c | 186401 | 683 201045 1232677 | 2147483647 186352 33 | 2.290 % |
82.02/82.13 c | 186534 | 683 201045 1232677 | 2147483647 186485 33 | 2.289 % |
82.12/82.22 c | 186681 | 683 201045 1232677 | 2147483647 186632 33 | 2.289 % |
82.22/82.31 c | 186841 | 683 201045 1232677 | 2147483647 186792 33 | 2.291 % |
82.22/82.39 c | 187017 | 683 201045 1232677 | 2147483647 186968 33 | 2.289 % |
82.42/82.51 c | 187212 | 683 201045 1232677 | 2147483647 187163 33 | 2.289 % |
82.52/82.63 c | 187428 | 683 201045 1232677 | 2147483647 187379 33 | 2.289 % |
82.62/82.71 c | 187661 | 683 201045 1232677 | 2147483647 187612 33 | 2.289 % |
82.82/82.93 c | 187919 | 683 201045 1232677 | 2147483647 187870 33 | 2.289 % |
82.92/83.09 c | 188200 | 683 201045 1232677 | 2147483647 188151 33 | 2.293 % |
83.12/83.25 c | 188509 | 683 201045 1232677 | 2147483647 188460 33 | 2.289 % |
83.22/83.38 c | 188850 | 683 201045 1232677 | 2147483647 188801 33 | 2.290 % |
83.52/83.62 c | 189222 | 683 201045 1232677 | 2147483647 189173 33 | 2.289 % |
83.72/83.88 c | 189632 | 683 201045 1232677 | 2147483647 189583 33 | 2.289 % |
83.92/84.09 c | 190082 | 683 201045 1232677 | 2147483647 190033 33 | 2.291 % |
84.42/84.53 c | 190575 | 683 201045 1232677 | 2147483647 190526 33 | 2.290 % |
84.82/84.90 c | 191117 | 683 201045 1232677 | 2147483647 191068 33 | 2.289 % |
85.32/85.41 c | 191713 | 683 201045 1232677 | 2147483647 191664 33 | 2.289 % |
85.82/85.98 c | 192368 | 683 201045 1232677 | 2147483647 192319 33 | 2.292 % |
86.22/86.40 c | 193089 | 683 201045 1232677 | 2147483647 193040 33 | 2.290 % |
86.82/86.94 c | 193881 | 683 201045 1232677 | 2147483647 193832 33 | 2.289 % |
87.32/87.48 c | 194756 | 683 201045 1232677 | 2147483647 194707 33 | 2.289 % |
88.01/88.18 c | 195714 | 683 201045 1232677 | 2147483647 195665 33 | 2.289 % |
88.61/88.76 c | 196768 | 683 201045 1232677 | 2147483647 196719 34 | 2.290 % |
89.81/89.95 c | 197927 | 683 201045 1232677 | 2147483647 197878 34 | 2.290 % |
91.12/91.29 c | 199201 | 683 201045 1232677 | 2147483647 199152 34 | 2.290 % |
92.51/92.69 c | 200602 | 683 201045 1232677 | 2147483647 200553 34 | 2.289 % |
94.01/94.12 c | 202144 | 683 201045 1232677 | 2147483647 202095 34 | 2.292 % |
96.12/96.26 c | 203838 | 683 201045 1232677 | 2147483647 203789 34 | 2.289 % |
98.32/98.43 c | 205702 | 683 201045 1232677 | 2147483647 205653 34 | 2.289 % |
100.12/100.24 c | 207751 | 683 201045 1232677 | 2147483647 207702 34 | 2.289 % |
100.22/100.34 c | 207852 | 683 201045 1232677 | 2147483647 207803 34 | 2.289 % |
100.32/100.42 c | 207963 | 683 201045 1232677 | 2147483647 207914 34 | 2.289 % |
100.42/100.52 c | 208084 | 683 201045 1232677 | 2147483647 208035 34 | 2.292 % |
100.52/100.65 c | 208223 | 683 201045 1232677 | 2147483647 208174 34 | 2.289 % |
100.62/100.72 c | 208372 | 683 201045 1232677 | 2147483647 208323 34 | 2.289 % |
100.72/100.81 c | 208532 | 683 201045 1232677 | 2147483647 208483 34 | 2.289 % |
100.72/100.89 c | 208708 | 683 201045 1232677 | 2147483647 208659 34 | 2.289 % |
100.82/100.99 c | 208907 | 683 201045 1232677 | 2147483647 208858 34 | 2.289 % |
101.02/101.17 c | 209119 | 683 201045 1232677 | 2147483647 209070 34 | 2.289 % |
101.21/101.31 c | 209352 | 683 201045 1232677 | 2147483647 209303 34 | 2.290 % |
101.41/101.51 c | 209608 | 683 201045 1232677 | 2147483647 209559 34 | 2.289 % |
101.51/101.64 c | 209890 | 683 201045 1232677 | 2147483647 209841 34 | 2.289 % |
101.71/101.82 c | 210199 | 683 201045 1232677 | 2147483647 210150 34 | 2.289 % |
101.91/102.04 c | 210539 | 683 201045 1232677 | 2147483647 210490 34 | 2.290 % |
102.12/102.30 c | 210915 | 683 201045 1232677 | 2147483647 210866 34 | 2.289 % |
102.51/102.60 c | 211327 | 683 201045 1232677 | 2147483647 211278 34 | 2.289 % |
102.71/102.90 c | 211776 | 683 201045 1232677 | 2147483647 211727 34 | 2.290 % |
103.01/103.13 c | 212269 | 683 201045 1232677 | 2147483647 212220 34 | 2.290 % |
103.32/103.40 c | 212811 | 683 201045 1232677 | 2147483647 212762 34 | 2.290 % |
103.71/103.85 c | 213407 | 683 201045 1232677 | 2147483647 213358 34 | 2.289 % |
104.21/104.31 c | 214062 | 683 201045 1232677 | 2147483647 214013 34 | 2.289 % |
104.61/104.77 c | 214782 | 683 201045 1232677 | 2147483647 214733 34 | 2.290 % |
105.11/105.25 c | 215574 | 683 201045 1232677 | 2147483647 215525 34 | 2.292 % |
105.81/105.92 c | 216446 | 683 201045 1232677 | 2147483647 216397 34 | 2.290 % |
106.62/106.74 c | 217404 | 683 201045 1232677 | 2147483647 217355 34 | 2.289 % |
107.31/107.48 c | 218457 | 683 201045 1232677 | 2147483647 218408 34 | 2.289 % |
108.31/108.43 c | 219617 | 683 201045 1232677 | 2147483647 219568 34 | 2.289 % |
109.11/109.24 c | 220890 | 683 201045 1232677 | 2147483647 220841 34 | 2.289 % |
110.01/110.13 c | 222291 | 683 201045 1232677 | 2147483647 222242 34 | 2.290 % |
111.32/111.48 c | 223831 | 683 201045 1232677 | 2147483647 223782 34 | 2.290 % |
112.52/112.69 c | 225527 | 683 201045 1232677 | 2147483647 225478 34 | 2.289 % |
113.92/114.01 c | 227392 | 683 201045 1232677 | 2147483647 227343 34 | 2.289 % |
115.51/115.64 c | 229441 | 683 201045 1232677 | 2147483647 229392 34 | 2.290 % |
117.11/117.27 c | 231694 | 683 201045 1232677 | 2147483647 231645 35 | 2.289 % |
117.21/117.34 c | 231794 | 683 201045 1232677 | 2147483647 231745 35 | 2.290 % |
117.31/117.44 c | 231908 | 683 201045 1232677 | 2147483647 231859 35 | 2.289 % |
117.41/117.55 c | 232029 | 683 201045 1232677 | 2147483647 231980 35 | 2.289 % |
117.62/117.71 c | 232163 | 683 201045 1232677 | 2147483647 232114 35 | 2.289 % |
117.71/117.84 c | 232309 | 683 201045 1232677 | 2147483647 232260 35 | 2.289 % |
117.81/117.98 c | 232469 | 683 201045 1232677 | 2147483647 232420 35 | 2.291 % |
118.01/118.13 c | 232645 | 683 201045 1232677 | 2147483647 232596 35 | 2.290 % |
118.11/118.26 c | 232838 | 683 201045 1232677 | 2147483647 232789 35 | 2.292 % |
118.21/118.37 c | 233052 | 683 201045 1232677 | 2147483647 233003 35 | 2.289 % |
118.41/118.55 c | 233286 | 683 201045 1232677 | 2147483647 233237 35 | 2.289 % |
118.61/118.76 c | 233544 | 683 201045 1232677 | 2147483647 233495 35 | 2.289 % |
118.81/118.96 c | 233827 | 683 201045 1232677 | 2147483647 233778 35 | 2.289 % |
119.01/119.18 c | 234136 | 683 201045 1232677 | 2147483647 234087 35 | 2.289 % |
119.31/119.40 c | 234476 | 683 201045 1232677 | 2147483647 234427 35 | 2.292 % |
119.61/119.71 c | 234850 | 683 201045 1232677 | 2147483647 234801 35 | 2.290 % |
120.01/120.12 c | 235261 | 683 201045 1232677 | 2147483647 235212 35 | 2.291 % |
120.31/120.46 c | 235710 | 683 201045 1232677 | 2147483647 235661 35 | 2.289 % |
120.51/120.68 c | 236204 | 683 201045 1232677 | 2147483647 236155 35 | 2.290 % |
120.91/121.01 c | 236746 | 683 201045 1232677 | 2147483647 236697 35 | 2.289 % |
121.31/121.40 c | 237344 | 683 201045 1232677 | 2147483647 237295 35 | 2.294 % |
121.61/121.73 c | 238000 | 683 201045 1232677 | 2147483647 237951 35 | 2.290 % |
122.11/122.29 c | 238721 | 683 201045 1232677 | 2147483647 238672 35 | 2.289 % |
122.61/122.74 c | 239513 | 683 201045 1232677 | 2147483647 239464 35 | 2.290 % |
123.21/123.35 c | 240384 | 683 201045 1232677 | 2147483647 240335 35 | 2.289 % |
123.80/123.99 c | 241342 | 683 201045 1232677 | 2147483647 241293 35 | 2.289 % |
124.60/124.73 c | 242395 | 683 201045 1232677 | 2147483647 242346 35 | 2.289 % |
125.60/125.79 c | 243555 | 683 201045 1232677 | 2147483647 243506 35 | 2.293 % |
126.91/127.03 c | 244828 | 683 201045 1232677 | 2147483647 244779 35 | 2.290 % |
128.31/128.41 c | 246229 | 683 201045 1232677 | 2147483647 246180 35 | 2.290 % |
129.71/129.83 c | 247771 | 683 201045 1232677 | 2147483647 247722 35 | 2.290 % |
131.31/131.46 c | 249467 | 683 201045 1232677 | 2147483647 249418 35 | 2.292 % |
132.41/132.54 c | 251333 | 683 201045 1232677 | 2147483647 251284 35 | 2.289 % |
134.20/134.33 c | 253382 | 683 201045 1232677 | 2147483647 253333 35 | 2.289 % |
135.60/135.74 c | 255635 | 683 201045 1232677 | 2147483647 255586 35 | 2.289 % |
137.60/137.74 c | 258118 | 683 201045 1232677 | 2147483647 258069 35 | 2.290 % |
137.70/137.83 c | 258219 | 683 201045 1232677 | 2147483647 258170 35 | 2.289 % |
137.80/137.96 c | 258329 | 683 201045 1232677 | 2147483647 258280 35 | 2.289 % |
138.00/138.11 c | 258451 | 683 201045 1232677 | 2147483647 258402 35 | 2.290 % |
138.10/138.22 c | 258584 | 683 201045 1232677 | 2147483647 258535 35 | 2.289 % |
138.30/138.42 c | 258731 | 683 201045 1232677 | 2147483647 258682 35 | 2.290 % |
138.40/138.60 c | 258891 | 683 201045 1232677 | 2147483647 258842 35 | 2.289 % |
138.60/138.71 c | 259068 | 683 201045 1232677 | 2147483647 259019 35 | 2.289 % |
138.80/138.94 c | 259262 | 683 201045 1232677 | 2147483647 259213 35 | 2.289 % |
139.00/139.14 c | 259475 | 683 201045 1232677 | 2147483647 259426 35 | 2.289 % |
139.30/139.43 c | 259709 | 683 201045 1232677 | 2147483647 259660 35 | 2.289 % |
139.50/139.64 c | 259966 | 683 201045 1232677 | 2147483647 259917 35 | 2.289 % |
139.80/139.90 c | 260248 | 683 201045 1232677 | 2147483647 260199 35 | 2.290 % |
140.10/140.28 c | 260557 | 683 201045 1232677 | 2147483647 260508 35 | 2.289 % |
140.40/140.53 c | 260897 | 683 201045 1232677 | 2147483647 260848 35 | 2.290 % |
140.80/140.98 c | 261270 | 683 201045 1232677 | 2147483647 261221 35 | 2.292 % |
141.30/141.46 c | 261680 | 683 201045 1232677 | 2147483647 261631 35 | 2.289 % |
141.80/141.97 c | 262129 | 683 201045 1232677 | 2147483647 262080 35 | 2.289 % |
142.30/142.43 c | 262627 | 683 201045 1232677 | 2147483647 262578 35 | 2.289 % |
142.70/142.84 c | 263171 | 683 201045 1232677 | 2147483647 263122 35 | 2.289 % |
143.30/143.49 c | 263767 | 683 201045 1232677 | 2147483647 263718 35 | 2.289 % |
144.01/144.19 c | 264423 | 683 201045 1232677 | 2147483647 264374 35 | 2.289 % |
144.50/144.67 c | 265146 | 683 201045 1232677 | 2147483647 265097 35 | 2.291 % |
145.01/145.18 c | 265938 | 683 201045 1232677 | 2147483647 265889 35 | 2.291 % |
145.60/145.77 c | 266811 | 683 201045 1232677 | 2147483647 266762 35 | 2.294 % |
146.30/146.47 c | 267770 | 683 201045 1232677 | 2147483647 267721 35 | 2.289 % |
146.90/147.09 c | 268825 | 683 201045 1232677 | 2147483647 268776 35 | 2.289 % |
147.80/147.93 c | 269983 | 683 201045 1232677 | 2147483647 269934 35 | 2.289 % |
148.90/149.00 c | 271256 | 683 201045 1232677 | 2147483647 271207 35 | 2.289 % |
149.90/150.10 c | 272656 | 683 201045 1232677 | 2147483647 272607 35 | 2.289 % |
151.00/151.18 c | 274197 | 683 201045 1232677 | 2147483647 274148 35 | 2.290 % |
153.00/153.16 c | 275892 | 683 201045 1232677 | 2147483647 275843 35 | 2.291 % |
155.10/155.26 c | 277756 | 683 201045 1232677 | 2147483647 277707 35 | 2.289 % |
157.00/157.20 c | 279806 | 683 201045 1232677 | 2147483647 279757 35 | 2.291 % |
159.99/160.11 c | 282059 | 683 201045 1232677 | 2147483647 282010 35 | 2.289 % |
162.49/162.63 c | 284537 | 683 201045 1232677 | 2147483647 284488 35 | 2.290 % |
165.69/165.88 c | 287264 | 683 201045 1232677 | 2147483647 287215 36 | 2.289 % |
165.80/165.99 c | 287364 | 683 201045 1232677 | 2147483647 287315 36 | 2.289 % |
165.90/166.08 c | 287481 | 683 201045 1232677 | 2147483647 287432 36 | 2.289 % |
166.10/166.21 c | 287605 | 683 201045 1232677 | 2147483647 287556 36 | 2.289 % |
166.10/166.29 c | 287745 | 683 201045 1232677 | 2147483647 287696 36 | 2.289 % |
166.30/166.40 c | 287891 | 683 201045 1232677 | 2147483647 287842 36 | 2.289 % |
166.40/166.56 c | 288052 | 683 201045 1232677 | 2147483647 288003 36 | 2.289 % |
166.60/166.76 c | 288229 | 683 201045 1232677 | 2147483647 288180 36 | 2.289 % |
166.90/167.08 c | 288425 | 683 201045 1232677 | 2147483647 288376 36 | 2.292 % |
167.10/167.23 c | 288639 | 683 201045 1232677 | 2147483647 288590 36 | 2.289 % |
167.40/167.52 c | 288872 | 683 201045 1232677 | 2147483647 288823 36 | 2.291 % |
167.50/167.66 c | 289131 | 683 201045 1232677 | 2147483647 289082 36 | 2.289 % |
167.80/167.90 c | 289413 | 683 201045 1232677 | 2147483647 289364 36 | 2.290 % |
168.10/168.21 c | 289724 | 683 201045 1232677 | 2147483647 289675 36 | 2.290 % |
168.50/168.64 c | 290063 | 683 201045 1232677 | 2147483647 290014 36 | 2.289 % |
168.80/168.97 c | 290440 | 683 201045 1232677 | 2147483647 290391 36 | 2.289 % |
169.10/169.23 c | 290849 | 683 201045 1232677 | 2147483647 290800 36 | 2.290 % |
169.30/169.47 c | 291300 | 683 201045 1232677 | 2147483647 291251 36 | 2.289 % |
169.70/169.89 c | 291793 | 683 201045 1232677 | 2147483647 291744 36 | 2.290 % |
170.10/170.24 c | 292335 | 683 201045 1232677 | 2147483647 292286 36 | 2.289 % |
170.59/170.73 c | 292932 | 683 201045 1232677 | 2147483647 292883 36 | 2.289 % |
171.09/171.24 c | 293588 | 683 201045 1232677 | 2147483647 293539 36 | 2.289 % |
171.59/171.73 c | 294309 | 683 201045 1232677 | 2147483647 294260 36 | 2.289 % |
172.39/172.57 c | 295107 | 683 201045 1232677 | 2147483647 295058 36 | 2.289 % |
173.29/173.40 c | 295980 | 683 201045 1232677 | 2147483647 295931 36 | 2.289 % |
174.39/174.57 c | 296939 | 683 201045 1232677 | 2147483647 296890 36 | 2.293 % |
175.49/175.64 c | 297992 | 683 201045 1232677 | 2147483647 297943 36 | 2.289 % |
176.69/176.86 c | 299151 | 683 201045 1232677 | 2147483647 299102 36 | 2.295 % |
177.99/178.19 c | 300427 | 683 201045 1232677 | 2147483647 300378 36 | 2.290 % |
179.69/179.82 c | 301828 | 683 201045 1232677 | 2147483647 301779 36 | 2.289 % |
182.49/182.66 c | 303368 | 683 201045 1232677 | 2147483647 303319 36 | 2.289 % |
183.99/184.18 c | 305062 | 683 201045 1232677 | 2147483647 305013 36 | 2.290 % |
186.38/186.60 c | 306925 | 683 201045 1232677 | 2147483647 306876 36 | 2.289 % |
188.48/188.65 c | 308976 | 682 199602 1224769 | 2147483647 308918 36 | 2.432 % |
191.18/191.40 c | 311230 | 682 199602 1224769 | 2147483647 311172 36 | 2.433 % |
193.58/193.78 c | 313709 | 682 199602 1224769 | 2147483647 313651 36 | 2.433 % |
196.09/196.20 c | 316435 | 682 199602 1224769 | 2147483647 316377 36 | 2.435 % |
199.78/199.92 c | 319432 | 682 199602 1224769 | 2147483647 319374 36 | 2.432 % |
199.88/200.08 c | 319533 | 682 199602 1224769 | 2147483647 319475 36 | 2.432 % |
200.09/200.25 c | 319645 | 682 199602 1224769 | 2147483647 319587 36 | 2.433 % |
200.18/200.38 c | 319768 | 682 199602 1224769 | 2147483647 319710 36 | 2.432 % |
200.38/200.54 c | 319905 | 682 199602 1224769 | 2147483647 319847 36 | 2.434 % |
200.48/200.68 c | 320052 | 682 199602 1224769 | 2147483647 319994 36 | 2.432 % |
200.68/200.90 c | 320212 | 682 199602 1224769 | 2147483647 320154 36 | 2.433 % |
200.88/201.05 c | 320388 | 682 199602 1224769 | 2147483647 320330 36 | 2.432 % |
201.09/201.26 c | 320583 | 682 199602 1224769 | 2147483647 320525 36 | 2.432 % |
201.48/201.60 c | 320797 | 682 199602 1224769 | 2147483647 320739 36 | 2.433 % |
201.78/201.92 c | 321031 | 682 199602 1224769 | 2147483647 320973 36 | 2.432 % |
202.19/202.34 c | 321289 | 682 199602 1224769 | 2147483647 321231 36 | 2.432 % |
202.38/202.59 c | 321570 | 682 199602 1224769 | 2147483647 321512 36 | 2.433 % |
202.88/203.01 c | 321880 | 682 199602 1224769 | 2147483647 321822 36 | 2.432 % |
203.18/203.37 c | 322219 | 682 199602 1224769 | 2147483647 322161 36 | 2.432 % |
203.78/203.99 c | 322593 | 682 199602 1224769 | 2147483647 322535 36 | 2.432 % |
204.38/204.52 c | 323002 | 682 199602 1224769 | 2147483647 322944 36 | 2.433 % |
204.98/205.15 c | 323452 | 682 199602 1224769 | 2147483647 323394 36 | 2.432 % |
205.77/205.93 c | 323946 | 682 199602 1224769 | 2147483647 323888 36 | 2.432 % |
206.37/206.53 c | 324490 | 682 199602 1224769 | 2147483647 324432 36 | 2.432 % |
207.07/207.23 c | 325087 | 682 199602 1224769 | 2147483647 325029 36 | 2.433 % |
207.87/208.02 c | 325742 | 682 199602 1224769 | 2147483647 325684 36 | 2.432 % |
208.47/208.63 c | 326463 | 682 199602 1224769 | 2147483647 326405 36 | 2.432 % |
209.37/209.50 c | 327255 | 682 199602 1224769 | 2147483647 327197 36 | 2.433 % |
210.27/210.43 c | 328132 | 682 199602 1224769 | 2147483647 328074 36 | 2.432 % |
210.87/211.07 c | 329090 | 682 199602 1224769 | 2147483647 329032 36 | 2.432 % |
211.97/212.20 c | 330145 | 682 199602 1224769 | 2147483647 330087 36 | 2.433 % |
213.18/213.32 c | 331303 | 682 199602 1224769 | 2147483647 331245 36 | 2.433 % |
214.68/214.87 c | 332576 | 682 199602 1224769 | 2147483647 332518 36 | 2.432 % |
216.38/216.59 c | 333976 | 682 199602 1224769 | 2147483647 333918 36 | 2.432 % |
217.78/217.98 c | 335519 | 682 199602 1224769 | 2147483647 335461 36 | 2.433 % |
219.37/219.51 c | 337213 | 682 199602 1224769 | 2147483647 337155 36 | 2.433 % |
221.57/221.73 c | 339076 | 682 199602 1224769 | 2147483647 339018 36 | 2.432 % |
224.07/224.21 c | 341126 | 682 199602 1224769 | 2147483647 341068 37 | 2.432 % |
226.37/226.57 c | 343380 | 682 199602 1224769 | 2147483647 343322 37 | 2.435 % |
229.26/229.45 c | 345859 | 682 199602 1224769 | 2147483647 345801 37 | 2.432 % |
231.87/232.06 c | 348585 | 682 199602 1224769 | 2147483647 348527 37 | 2.433 % |
235.27/235.46 c | 351583 | 682 199602 1224769 | 2147483647 351525 37 | 2.433 % |
239.16/239.31 c | 354880 | 682 199602 1224769 | 2147483647 354822 37 | 2.432 % |
239.26/239.43 c | 354980 | 682 199602 1224769 | 2147483647 354922 37 | 2.432 % |
239.36/239.55 c | 355091 | 682 199602 1224769 | 2147483647 355033 37 | 2.432 % |
239.56/239.74 c | 355212 | 682 199602 1224769 | 2147483647 355154 37 | 2.432 % |
239.76/239.93 c | 355345 | 682 199602 1224769 | 2147483647 355287 37 | 2.432 % |
239.96/240.10 c | 355491 | 682 199602 1224769 | 2147483647 355433 37 | 2.432 % |
240.16/240.30 c | 355652 | 682 199602 1224769 | 2147483647 355594 37 | 2.433 % |
240.36/240.55 c | 355828 | 682 199602 1224769 | 2147483647 355770 37 | 2.432 % |
240.66/240.80 c | 356022 | 682 199602 1224769 | 2147483647 355964 37 | 2.432 % |
240.86/241.04 c | 356235 | 682 199602 1224769 | 2147483647 356177 37 | 2.436 % |
241.06/241.27 c | 356469 | 682 199602 1224769 | 2147483647 356411 37 | 2.432 % |
241.26/241.48 c | 356725 | 682 199602 1224769 | 2147483647 356667 37 | 2.435 % |
241.56/241.75 c | 357010 | 682 199602 1224769 | 2147483647 356952 37 | 2.432 % |
241.76/241.94 c | 357319 | 682 199602 1224769 | 2147483647 357261 37 | 2.432 % |
242.26/242.48 c | 357659 | 682 199602 1224769 | 2147483647 357601 37 | 2.432 % |
242.86/243.09 c | 358035 | 682 199602 1224769 | 2147483647 357977 37 | 2.432 % |
243.46/243.60 c | 358444 | 682 199602 1224769 | 2147483647 358386 37 | 2.433 % |
243.96/244.17 c | 358893 | 682 199602 1224769 | 2147483647 358835 37 | 2.432 % |
244.55/244.75 c | 359386 | 682 199602 1224769 | 2147483647 359328 37 | 2.432 % |
245.06/245.25 c | 359928 | 682 199602 1224769 | 2147483647 359870 37 | 2.432 % |
245.75/245.90 c | 360530 | 682 199602 1224769 | 2147483647 360472 37 | 2.432 % |
246.65/246.85 c | 361185 | 682 199602 1224769 | 2147483647 361127 37 | 2.432 % |
247.75/247.97 c | 361908 | 682 199602 1224769 | 2147483647 361850 37 | 2.432 % |
248.75/248.92 c | 362701 | 682 199602 1224769 | 2147483647 362643 37 | 2.432 % |
250.25/250.40 c | 363573 | 682 199602 1224769 | 2147483647 363515 37 | 2.432 % |
251.56/251.71 c | 364531 | 682 199602 1224769 | 2147483647 364473 37 | 2.432 % |
252.86/253.09 c | 365587 | 682 199602 1224769 | 2147483647 365529 37 | 2.432 % |
254.76/254.98 c | 366745 | 682 199602 1224769 | 2147483647 366687 37 | 2.432 % |
256.36/256.57 c | 368018 | 682 199602 1224769 | 2147483647 367960 37 | 2.432 % |
258.36/258.57 c | 369418 | 682 199602 1224769 | 2147483647 369360 37 | 2.432 % |
260.35/260.52 c | 370958 | 682 199602 1224769 | 2147483647 370900 37 | 2.432 % |
262.85/263.02 c | 372652 | 682 199602 1224769 | 2147483647 372594 37 | 2.433 % |
266.05/266.28 c | 374515 | 682 199602 1224769 | 2147483647 374457 37 | 2.432 % |
268.85/269.07 c | 376564 | 682 199602 1224769 | 2147483647 376506 37 | 2.432 % |
272.24/272.47 c | 378819 | 682 199602 1224769 | 2147483647 378761 37 | 2.433 % |
276.05/276.29 c | 381297 | 682 199602 1224769 | 2147483647 381239 37 | 2.432 % |
280.85/281.00 c | 384022 | 682 199602 1224769 | 2147483647 383964 37 | 2.432 % |
285.95/286.13 c | 387022 | 682 199602 1224769 | 2147483647 386964 37 | 2.432 % |
291.25/291.43 c | 390318 | 682 199602 1224769 | 2147483647 390260 38 | 2.432 % |
298.04/298.27 c | 393946 | 682 199602 1224769 | 2147483647 393888 38 | 2.432 % |
298.24/298.45 c | 394046 | 682 199602 1224769 | 2147483647 393988 38 | 2.432 % |
298.44/298.66 c | 394157 | 682 199602 1224769 | 2147483647 394099 38 | 2.433 % |
298.64/298.84 c | 394278 | 682 199602 1224769 | 2147483647 394220 38 | 2.433 % |
298.84/299.04 c | 394411 | 682 199602 1224769 | 2147483647 394353 38 | 2.433 % |
299.04/299.27 c | 394557 | 682 199602 1224769 | 2147483647 394499 38 | 2.433 % |
299.34/299.59 c | 394717 | 682 199602 1224769 | 2147483647 394659 38 | 2.432 % |
299.64/299.81 c | 394893 | 682 199602 1224769 | 2147483647 394835 38 | 2.432 % |
299.94/300.10 c | 395089 | 682 199602 1224769 | 2147483647 395031 38 | 2.432 % |
300.24/300.48 c | 395301 | 682 199602 1224769 | 2147483647 395243 38 | 2.433 % |
300.64/300.87 c | 395534 | 682 199602 1224769 | 2147483647 395476 38 | 2.432 % |
300.94/301.14 c | 395791 | 682 199602 1224769 | 2147483647 395733 38 | 2.433 % |
301.44/301.60 c | 396072 | 682 199602 1224769 | 2147483647 396014 38 | 2.433 % |
301.94/302.19 c | 396381 | 682 199602 1224769 | 2147483647 396323 38 | 2.432 % |
302.74/302.94 c | 396720 | 682 199602 1224769 | 2147483647 396662 38 | 2.432 % |
303.04/303.23 c | 397092 | 682 199602 1224769 | 2147483647 397034 38 | 2.432 % |
303.64/303.87 c | 397501 | 682 199602 1224769 | 2147483647 397443 38 | 2.433 % |
304.23/304.44 c | 397950 | 682 199602 1224769 | 2147483647 397892 38 | 2.432 % |
304.93/305.11 c | 398445 | 682 199602 1224769 | 2147483647 398387 38 | 2.433 % |
305.64/305.83 c | 398988 | 682 199602 1224769 | 2147483647 398930 38 | 2.432 % |
306.24/306.42 c | 399584 | 682 199602 1224769 | 2147483647 399526 38 | 2.432 % |
307.14/307.36 c | 400239 | 682 199602 1224769 | 2147483647 400181 38 | 2.432 % |
308.44/308.62 c | 400959 | 682 199602 1224769 | 2147483647 400901 38 | 2.435 % |
309.64/309.80 c | 401751 | 682 199602 1224769 | 2147483647 401693 38 | 2.432 % |
310.44/310.66 c | 402623 | 682 199602 1224769 | 2147483647 402565 38 | 2.433 % |
311.24/311.43 c | 403582 | 682 199602 1224769 | 2147483647 403524 38 | 2.433 % |
312.34/312.53 c | 404635 | 682 199602 1224769 | 2147483647 404577 38 | 2.433 % |
313.34/313.56 c | 405793 | 682 199602 1224769 | 2147483647 405735 38 | 2.433 % |
315.24/315.43 c | 407067 | 682 199602 1224769 | 2147483647 407009 38 | 2.432 % |
317.54/317.75 c | 408467 | 682 199602 1224769 | 2147483647 408409 38 | 2.432 % |
320.33/320.55 c | 410007 | 682 199602 1224769 | 2147483647 409949 38 | 2.432 % |
322.73/322.93 c | 411701 | 682 199602 1224769 | 2147483647 411643 38 | 2.433 % |
325.33/325.52 c | 413565 | 682 199602 1224769 | 2147483647 413507 38 | 2.432 % |
328.33/328.51 c | 415616 | 682 199602 1224769 | 2147483647 415558 38 | 2.432 % |
331.93/332.16 c | 417869 | 682 199602 1224769 | 2147483647 417811 38 | 2.432 % |
336.73/336.95 c | 420351 | 682 199602 1224769 | 2147483647 420293 38 | 2.433 % |
340.33/340.58 c | 423076 | 682 199602 1224769 | 2147483647 423018 38 | 2.432 % |
346.43/346.62 c | 426074 | 681 199602 1224769 | 2147483647 426015 38 | 2.575 % |
352.43/352.60 c | 429370 | 681 199602 1224769 | 2147483647 429311 38 | 2.575 % |
357.62/357.85 c | 432996 | 681 199602 1224769 | 2147483647 432937 38 | 2.577 % |
365.41/365.61 c | 436985 | 681 199602 1224769 | 2147483647 436926 38 | 2.576 % |
365.61/365.81 c | 437085 | 681 199602 1224769 | 2147483647 437026 38 | 2.575 % |
365.81/366.10 c | 437196 | 681 199602 1224769 | 2147483647 437137 38 | 2.575 % |
366.12/366.35 c | 437319 | 681 199602 1224769 | 2147483647 437260 38 | 2.575 % |
366.51/366.71 c | 437452 | 681 199602 1224769 | 2147483647 437393 38 | 2.575 % |
366.81/367.06 c | 437601 | 681 199602 1224769 | 2147483647 437542 38 | 2.575 % |
367.01/367.29 c | 437763 | 681 199602 1224769 | 2147483647 437704 38 | 2.575 % |
367.41/367.62 c | 437944 | 681 199602 1224769 | 2147483647 437885 38 | 2.575 % |
367.81/368.09 c | 438137 | 681 199602 1224769 | 2147483647 438078 38 | 2.575 % |
368.22/368.49 c | 438350 | 681 199602 1224769 | 2147483647 438291 38 | 2.575 % |
368.52/368.73 c | 438584 | 681 199602 1224769 | 2147483647 438525 38 | 2.575 % |
369.02/369.28 c | 438840 | 681 199602 1224769 | 2147483647 438781 38 | 2.575 % |
369.33/369.56 c | 439121 | 681 199602 1224769 | 2147483647 439062 38 | 2.575 % |
369.92/370.13 c | 439432 | 681 199602 1224769 | 2147483647 439373 38 | 2.575 % |
370.43/370.70 c | 439771 | 681 199602 1224769 | 2147483647 439712 38 | 2.576 % |
371.02/371.20 c | 440143 | 681 199602 1224769 | 2147483647 440084 38 | 2.575 % |
371.82/372.08 c | 440553 | 681 199602 1224769 | 2147483647 440494 38 | 2.576 % |
372.82/373.04 c | 441002 | 681 199602 1224769 | 2147483647 440943 38 | 2.575 % |
373.92/374.15 c | 441495 | 681 199602 1224769 | 2147483647 441436 38 | 2.575 % |
375.12/375.30 c | 442037 | 681 199602 1224769 | 2147483647 441978 38 | 2.575 % |
376.32/376.55 c | 442633 | 681 199602 1224769 | 2147483647 442574 38 | 2.576 % |
377.31/377.58 c | 443289 | 681 199602 1224769 | 2147483647 443230 38 | 2.575 % |
378.51/378.79 c | 444009 | 681 199602 1224769 | 2147483647 443950 38 | 2.576 % |
380.42/380.62 c | 444804 | 681 199602 1224769 | 2147483647 444745 38 | 2.576 % |
381.42/381.65 c | 445675 | 681 199602 1224769 | 2147483647 445616 38 | 2.575 % |
383.51/383.76 c | 446633 | 681 199602 1224769 | 2147483647 446574 38 | 2.576 % |
384.91/385.13 c | 447686 | 681 199602 1224769 | 2147483647 447627 39 | 2.575 % |
387.01/387.28 c | 448844 | 681 199602 1224769 | 2147483647 448785 39 | 2.575 % |
389.41/389.68 c | 450117 | 681 199602 1224769 | 2147483647 450058 39 | 2.575 % |
391.51/391.76 c | 451517 | 681 199602 1224769 | 2147483647 451458 39 | 2.575 % |
394.91/395.16 c | 453059 | 681 199602 1224769 | 2147483647 453000 39 | 2.575 % |
398.20/398.46 c | 454753 | 681 199602 1224769 | 2147483647 454694 39 | 2.575 % |
402.60/402.84 c | 456616 | 681 199602 1224769 | 2147483647 456557 39 | 2.575 % |
407.50/407.77 c | 458667 | 681 199602 1224769 | 2147483647 458608 39 | 2.575 % |
412.00/412.24 c | 460921 | 681 199602 1224769 | 2147483647 460862 39 | 2.575 % |
417.29/417.60 c | 463401 | 681 199602 1224769 | 2147483647 463342 39 | 2.575 % |
422.21/422.45 c | 466127 | 681 199602 1224769 | 2147483647 466068 39 | 2.576 % |
427.80/428.05 c | 469125 | 681 199602 1224769 | 2147483647 469066 39 | 2.575 % |
434.09/434.39 c | 472422 | 681 199602 1224769 | 2147483647 472363 39 | 2.575 % |
441.29/441.53 c | 476047 | 681 199602 1224769 | 2147483647 475988 39 | 2.576 % |
451.69/451.90 c | 480036 | 681 199602 1224769 | 2147483647 479977 39 | 2.575 % |
465.88/466.18 c | 484422 | 681 199602 1224769 | 2147483647 484363 39 | 2.575 % |
466.28/466.50 c | 484523 | 681 199602 1224769 | 2147483647 484464 39 | 2.575 % |
466.58/466.85 c | 484633 | 681 199602 1224769 | 2147483647 484574 39 | 2.575 % |
466.98/467.23 c | 484755 | 681 199602 1224769 | 2147483647 484696 39 | 2.575 % |
467.29/467.52 c | 484888 | 681 199602 1224769 | 2147483647 484829 39 | 2.576 % |
467.58/467.80 c | 485035 | 681 199602 1224769 | 2147483647 484976 39 | 2.576 % |
467.88/468.14 c | 485195 | 681 199602 1224769 | 2147483647 485136 39 | 2.575 % |
468.08/468.31 c | 485375 | 681 199602 1224769 | 2147483647 485316 39 | 2.575 % |
468.38/468.64 c | 485570 | 681 199602 1224769 | 2147483647 485511 39 | 2.575 % |
468.88/469.10 c | 485787 | 681 199602 1224769 | 2147483647 485728 39 | 2.575 % |
469.38/469.66 c | 486020 | 680 199602 1224769 | 2147483647 485960 39 | 2.718 % |
470.08/470.38 c | 486276 | 680 199602 1224769 | 2147483647 486216 39 | 2.718 % |
470.78/471.01 c | 486557 | 680 199602 1224769 | 2147483647 486497 39 | 2.718 % |
471.78/472.08 c | 486869 | 680 199602 1224769 | 2147483647 486809 39 | 2.718 % |
473.28/473.51 c | 487208 | 680 199602 1224769 | 2147483647 487148 39 | 2.718 % |
473.98/474.28 c | 487581 | 680 199602 1224769 | 2147483647 487521 39 | 2.718 % |
474.88/475.16 c | 487992 | 680 199602 1224769 | 2147483647 487932 39 | 2.718 % |
476.08/476.40 c | 488441 | 680 199602 1224769 | 2147483647 488381 39 | 2.718 % |
477.08/477.39 c | 488936 | 680 199602 1224769 | 2147483647 488876 39 | 2.719 % |
478.38/478.62 c | 489478 | 680 199602 1224769 | 2147483647 489418 39 | 2.719 % |
479.68/479.92 c | 490074 | 680 199602 1224769 | 489940 490014 39 | 2.718 % |
482.28/482.55 c | 490731 | 680 199602 1224769 | 489940 441670 39 | 2.718 % |
483.48/483.79 c | 491451 | 680 199602 1224769 | 489940 442390 39 | 2.718 % |
485.88/486.15 c | 492243 | 680 199602 1224769 | 489940 443182 39 | 2.718 % |
488.08/488.38 c | 493114 | 680 199602 1224769 | 489940 444053 39 | 2.718 % |
490.47/490.72 c | 494074 | 680 199602 1224769 | 489940 445013 39 | 2.719 % |
493.27/493.56 c | 495129 | 680 199602 1224769 | 489940 446068 39 | 2.718 % |
494.87/495.19 c | 496288 | 680 199602 1224769 | 489940 447227 39 | 2.718 % |
497.17/497.44 c | 497561 | 680 199602 1224769 | 489940 448500 39 | 2.723 % |
499.17/499.47 c | 498963 | 680 199602 1224769 | 489940 449902 39 | 2.719 % |
501.77/502.03 c | 500506 | 680 199602 1224769 | 2147483647 451445 39 | 2.719 % |
505.27/505.52 c | 502200 | 680 199602 1224769 | 2147483647 453139 39 | 2.718 % |
510.07/510.36 c | 504063 | 680 199602 1224769 | 2147483647 455002 39 | 2.718 % |
515.37/515.67 c | 506112 | 680 199602 1224769 | 2147483647 457051 39 | 2.718 % |
522.36/522.62 c | 508368 | 680 199602 1224769 | 2147483647 459307 39 | 2.719 % |
528.36/528.68 c | 510847 | 680 199602 1224769 | 2147483647 461786 39 | 2.718 % |
535.06/535.32 c | 513573 | 680 199602 1224769 | 2147483647 464512 39 | 2.719 % |
541.86/542.16 c | 516572 | 680 199602 1224769 | 2147483647 467511 39 | 2.718 % |
548.85/549.13 c | 519868 | 680 199602 1224769 | 2147483647 470807 39 | 2.718 % |
557.05/557.32 c | 523493 | 680 199602 1224769 | 2147483647 474432 39 | 2.718 % |
566.96/567.26 c | 527480 | 680 199602 1224769 | 2147483647 478419 39 | 2.718 % |
574.96/575.21 c | 531867 | 680 199602 1224769 | 2147483647 482806 39 | 2.718 % |
587.35/587.67 c | 536691 | 680 199602 1224769 | 2147483647 487630 40 | 2.718 % |
587.75/588.01 c | 536791 | 680 199602 1224769 | 2147483647 487730 40 | 2.719 % |
588.05/588.31 c | 536904 | 680 199602 1224769 | 2147483647 487843 40 | 2.718 % |
588.25/588.59 c | 537027 | 680 199602 1224769 | 2147483647 487966 40 | 2.719 % |
588.75/589.09 c | 537160 | 680 199602 1224769 | 2147483647 488099 40 | 2.719 % |
589.15/589.45 c | 537306 | 680 199602 1224769 | 2147483647 488245 40 | 2.718 % |
589.45/589.74 c | 537466 | 680 199602 1224769 | 2147483647 488405 40 | 2.718 % |
589.95/590.24 c | 537643 | 680 199602 1224769 | 2147483647 488582 40 | 2.718 % |
590.35/590.62 c | 537837 | 680 199602 1224769 | 2147483647 488776 40 | 2.718 % |
590.85/591.10 c | 538051 | 680 199602 1224769 | 2147483647 488990 40 | 2.718 % |
591.45/591.76 c | 538284 | 680 199602 1224769 | 2147483647 489223 40 | 2.719 % |
592.15/592.49 c | 538540 | 680 199602 1224769 | 2147483647 489479 40 | 2.718 % |
593.05/593.37 c | 538821 | 680 199602 1224769 | 2147483647 489760 40 | 2.718 % |
593.55/593.88 c | 539132 | 680 199602 1224769 | 2147483647 490071 40 | 2.718 % |
594.45/594.76 c | 539471 | 680 199602 1224769 | 2147483647 490410 40 | 2.718 % |
595.45/595.76 c | 539848 | 680 199602 1224769 | 2147483647 490787 40 | 2.718 % |
596.15/596.49 c | 540259 | 680 199602 1224769 | 2147483647 491198 40 | 2.718 % |
597.45/597.74 c | 540710 | 680 199602 1224769 | 2147483647 491649 40 | 2.718 % |
598.55/598.80 c | 541203 | 680 199602 1224769 | 2147483647 492142 40 | 2.719 % |
599.75/600.03 c | 541745 | 680 199602 1224769 | 2147483647 492684 40 | 2.718 % |
601.05/601.36 c | 542344 | 680 199602 1224769 | 2147483647 493283 40 | 2.718 % |
602.55/602.86 c | 543002 | 680 199602 1224769 | 2147483647 493941 40 | 2.718 % |
604.44/604.73 c | 543723 | 680 199602 1224769 | 2147483647 494662 40 | 2.718 % |
606.04/606.30 c | 544516 | 680 199602 1224769 | 2147483647 495455 40 | 2.718 % |
608.74/609.04 c | 545388 | 680 199602 1224769 | 2147483647 496327 40 | 2.718 % |
611.44/611.76 c | 546348 | 680 199602 1224769 | 2147483647 497287 40 | 2.719 % |
614.44/614.73 c | 547401 | 680 199602 1224769 | 2147483647 498340 40 | 2.718 % |
617.54/617.80 c | 548561 | 680 199602 1224769 | 2147483647 499500 40 | 2.718 % |
620.64/620.92 c | 549834 | 680 199602 1224769 | 2147483647 500773 40 | 2.719 % |
625.64/625.93 c | 551236 | 680 199602 1224769 | 500939 439532 40 | 2.718 % |
628.84/629.18 c | 552781 | 680 199602 1224769 | 500939 441077 40 | 2.718 % |
632.53/632.87 c | 554478 | 680 199602 1224769 | 500939 442774 40 | 2.719 % |
636.63/636.97 c | 556341 | 680 199602 1224769 | 500939 444637 40 | 2.718 % |
640.83/641.14 c | 558390 | 680 199602 1224769 | 500939 446686 40 | 2.718 % |
646.73/647.06 c | 560644 | 680 199602 1224769 | 2147483647 448940 40 | 2.718 % |
651.12/651.44 c | 563122 | 680 199602 1224769 | 2147483647 451418 40 | 2.718 % |
657.12/657.45 c | 565847 | 680 199602 1224769 | 2147483647 454143 40 | 2.718 % |
664.72/665.01 c | 568845 | 680 199602 1224769 | 2147483647 457141 40 | 2.718 % |
670.62/670.92 c | 572142 | 680 199602 1224769 | 2147483647 460438 40 | 2.719 % |
679.42/679.71 c | 575769 | 680 199602 1224769 | 2147483647 464065 41 | 2.718 % |
686.51/686.85 c | 579756 | 680 199602 1224769 | 2147483647 468052 41 | 2.718 % |
699.21/699.52 c | 584142 | 680 199602 1224769 | 468297 425584 40 | 2.719 % |
706.10/706.47 c | 588965 | 680 199602 1224769 | 468297 430407 40 | 2.718 % |
715.10/715.43 c | 594271 | 680 199602 1224769 | 2147483647 435713 41 | 2.718 % |
715.30/715.64 c | 594371 | 680 199602 1224769 | 2147483647 435813 41 | 2.719 % |
715.60/715.93 c | 594482 | 680 199602 1224769 | 2147483647 435924 41 | 2.718 % |
716.00/716.32 c | 594605 | 680 199602 1224769 | 2147483647 436047 41 | 2.718 % |
716.40/716.72 c | 594738 | 680 199602 1224769 | 2147483647 436180 41 | 2.718 % |
716.80/717.16 c | 594886 | 680 199602 1224769 | 2147483647 436328 41 | 2.719 % |
717.10/717.44 c | 595047 | 680 199602 1224769 | 2147483647 436489 41 | 2.718 % |
717.60/717.99 c | 595223 | 680 199602 1224769 | 2147483647 436665 41 | 2.718 % |
718.00/718.34 c | 595416 | 680 199602 1224769 | 2147483647 436858 41 | 2.718 % |
718.50/718.86 c | 595628 | 680 199602 1224769 | 2147483647 437070 41 | 2.718 % |
718.90/719.25 c | 595861 | 680 199602 1224769 | 2147483647 437303 41 | 2.718 % |
719.50/719.81 c | 596117 | 680 199602 1224769 | 2147483647 437559 41 | 2.719 % |
720.00/720.36 c | 596399 | 680 199602 1224769 | 2147483647 437841 41 | 2.718 % |
720.40/720.74 c | 596708 | 680 199602 1224769 | 2147483647 438150 41 | 2.718 % |
721.00/721.31 c | 597047 | 680 199602 1224769 | 2147483647 438489 41 | 2.718 % |
721.70/722.09 c | 597420 | 680 199602 1224769 | 2147483647 438862 41 | 2.718 % |
722.30/722.66 c | 597831 | 680 199602 1224769 | 2147483647 439273 41 | 2.718 % |
723.20/723.58 c | 598280 | 680 199602 1224769 | 2147483647 439722 41 | 2.718 % |
724.29/724.65 c | 598773 | 680 199602 1224769 | 2147483647 440215 41 | 2.719 % |
725.39/725.77 c | 599316 | 680 199602 1224769 | 2147483647 440758 41 | 2.718 % |
726.89/727.25 c | 599915 | 680 199602 1224769 | 2147483647 441357 41 | 2.718 % |
727.99/728.38 c | 600572 | 680 199602 1224769 | 2147483647 442014 41 | 2.719 % |
728.89/729.29 c | 601292 | 680 199602 1224769 | 2147483647 442734 41 | 2.719 % |
730.09/730.48 c | 602087 | 680 199602 1224769 | 2147483647 443529 41 | 2.718 % |
731.59/731.92 c | 602958 | 680 199602 1224769 | 2147483647 444400 41 | 2.719 % |
733.79/734.11 c | 603917 | 680 199602 1224769 | 2147483647 445359 41 | 2.718 % |
736.09/736.41 c | 604970 | 680 199602 1224769 | 2147483647 446412 41 | 2.718 % |
737.99/738.36 c | 606128 | 680 199602 1224769 | 2147483647 447570 41 | 2.718 % |
740.19/740.56 c | 607403 | 680 199602 1224769 | 2147483647 448845 41 | 2.718 % |
742.89/743.21 c | 608805 | 680 199602 1224769 | 2147483647 450247 41 | 2.718 % |
744.79/745.10 c | 610345 | 680 199602 1224769 | 2147483647 451787 41 | 2.718 % |
747.59/747.95 c | 612040 | 680 199602 1224769 | 2147483647 453482 41 | 2.718 % |
751.88/752.25 c | 613906 | 680 199602 1224769 | 2147483647 455348 41 | 2.719 % |
753.58/753.97 c | 615957 | 680 199602 1224769 | 2147483647 457399 41 | 2.719 % |
758.38/758.79 c | 618210 | 680 199602 1224769 | 2147483647 459652 41 | 2.719 % |
764.08/764.46 c | 620691 | 680 199602 1224769 | 461443 400248 40 | 2.719 % |
768.38/768.78 c | 623416 | 680 199602 1224769 | 461443 402973 40 | 2.718 % |
772.88/773.25 c | 626415 | 680 199602 1224769 | 461443 405972 40 | 2.718 % |
776.18/776.57 c | 629712 | 680 199602 1224769 | 461443 409269 40 | 2.719 % |
781.17/781.53 c | 633338 | 680 197745 1215097 | 2147483647 412889 40 | 2.719 % |
785.37/785.75 c | 637325 | 680 197745 1215097 | 2147483647 416876 40 | 2.718 % |
793.37/793.71 c | 641710 | 680 197745 1215097 | 2147483647 421261 40 | 2.718 % |
802.07/802.45 c | 646533 | 680 197745 1215097 | 2147483647 426084 40 | 2.718 % |
815.66/816.08 c | 651838 | 680 197745 1215097 | 429551 382809 40 | 2.718 % |
825.56/825.92 c | 657673 | 680 197745 1215097 | 429551 388644 40 | 2.718 % |
825.67/826.09 c | 657773 | 680 197745 1215097 | 429551 388744 40 | 2.718 % |
825.87/826.29 c | 657886 | 680 197745 1215097 | 429551 388857 40 | 2.719 % |
826.07/826.44 c | 658010 | 680 197745 1215097 | 429551 388981 40 | 2.718 % |
826.77/827.10 c | 658144 | 680 197745 1215097 | 429551 389115 40 | 2.718 % |
827.07/827.46 c | 658292 | 680 197745 1215097 | 429551 389263 40 | 2.718 % |
827.37/827.78 c | 658453 | 680 197745 1215097 | 429551 389424 40 | 2.718 % |
827.87/828.22 c | 658629 | 680 197745 1215097 | 429551 389600 40 | 2.718 % |
828.27/828.64 c | 658822 | 680 197745 1215097 | 429551 389793 40 | 2.718 % |
828.57/828.95 c | 659034 | 680 197745 1215097 | 429551 390005 40 | 2.719 % |
828.97/829.33 c | 659267 | 680 197745 1215097 | 429551 390238 40 | 2.718 % |
829.37/829.76 c | 659524 | 680 197745 1215097 | 429551 390495 40 | 2.718 % |
829.97/830.35 c | 659811 | 680 197745 1215097 | 429551 390782 40 | 2.718 % |
830.46/830.88 c | 660123 | 680 197745 1215097 | 2147483647 391094 40 | 2.719 % |
830.86/831.21 c | 660463 | 680 197745 1215097 | 2147483647 391434 40 | 2.721 % |
831.56/831.97 c | 660835 | 680 197745 1215097 | 2147483647 391806 40 | 2.720 % |
832.27/832.60 c | 661245 | 680 197745 1215097 | 2147483647 392216 40 | 2.718 % |
833.06/833.46 c | 661696 | 680 197745 1215097 | 2147483647 392667 40 | 2.719 % |
833.76/834.14 c | 662189 | 680 197745 1215097 | 2147483647 393160 40 | 2.718 % |
834.76/835.16 c | 662731 | 680 197745 1215097 | 2147483647 393702 40 | 2.718 % |
835.36/835.78 c | 663327 | 680 197745 1215097 | 2147483647 394298 40 | 2.718 % |
836.67/837.09 c | 663984 | 680 197745 1215097 | 2147483647 394955 40 | 2.718 % |
837.56/837.94 c | 664706 | 680 197745 1215097 | 2147483647 395677 40 | 2.718 % |
839.36/839.79 c | 665498 | 680 197745 1215097 | 2147483647 396469 40 | 2.718 % |
840.86/841.26 c | 666370 | 680 197745 1215097 | 2147483647 397341 40 | 2.718 % |
842.86/843.26 c | 667328 | 680 197745 1215097 | 2147483647 398299 40 | 2.718 % |
845.66/846.01 c | 668382 | 680 197745 1215097 | 2147483647 399353 40 | 2.718 % |
848.66/849.05 c | 669541 | 680 197745 1215097 | 2147483647 400512 41 | 2.718 % |
851.36/851.77 c | 670815 | 680 197745 1215097 | 2147483647 401786 41 | 2.718 % |
853.96/854.32 c | 672215 | 680 197745 1215097 | 2147483647 403186 41 | 2.718 % |
858.05/858.40 c | 673755 | 680 197745 1215097 | 2147483647 404726 41 | 2.718 % |
861.45/861.83 c | 675449 | 680 197745 1215097 | 2147483647 406420 41 | 2.718 % |
865.36/865.78 c | 677312 | 680 197745 1215097 | 2147483647 408283 41 | 2.719 % |
870.65/871.04 c | 679361 | 680 197745 1215097 | 2147483647 410332 41 | 2.719 % |
875.25/875.69 c | 681614 | 680 197745 1215097 | 2147483647 412585 41 | 2.719 % |
879.55/879.91 c | 684092 | 680 197745 1215097 | 2147483647 415063 41 | 2.718 % |
886.45/886.81 c | 686817 | 680 197745 1215097 | 2147483647 417788 41 | 2.719 % |
892.54/892.94 c | 689814 | 680 197745 1215097 | 2147483647 420785 41 | 2.718 % |
899.54/899.91 c | 693111 | 680 197745 1215097 | 2147483647 424082 41 | 2.719 % |
907.64/908.02 c | 696736 | 680 197745 1215097 | 2147483647 427707 41 | 2.719 % |
915.84/916.22 c | 700724 | 680 197745 1215097 | 2147483647 431695 41 | 2.718 % |
923.13/923.59 c | 705109 | 680 197745 1215097 | 2147483647 436080 41 | 2.718 % |
931.53/931.93 c | 709932 | 680 197745 1215097 | 2147483647 440903 41 | 2.719 % |
945.42/945.83 c | 715239 | 680 197745 1215097 | 2147483647 446210 42 | 2.719 % |
961.12/961.56 c | 721077 | 680 197745 1215097 | 2147483647 452048 42 | 2.718 % |
975.42/975.88 c | 727496 | 680 197745 1215097 | 2147483647 458467 42 | 2.718 % |
975.62/976.02 c | 727597 | 680 197745 1215097 | 2147483647 458568 42 | 2.719 % |
976.02/976.40 c | 727707 | 680 197745 1215097 | 2147483647 458678 42 | 2.718 % |
976.21/976.68 c | 727828 | 680 197745 1215097 | 2147483647 458799 42 | 2.719 % |
976.61/977.06 c | 727961 | 680 197745 1215097 | 2147483647 458932 42 | 2.718 % |
977.01/977.49 c | 728107 | 680 197745 1215097 | 2147483647 459078 42 | 2.718 % |
977.52/977.94 c | 728270 | 680 197745 1215097 | 2147483647 459241 42 | 2.718 % |
978.01/978.46 c | 728447 | 680 197745 1215097 | 2147483647 459418 42 | 2.718 % |
978.41/978.90 c | 728640 | 680 197745 1215097 | 2147483647 459611 42 | 2.718 % |
979.11/979.55 c | 728856 | 680 197745 1215097 | 2147483647 459827 42 | 2.718 % |
979.72/980.18 c | 729089 | 680 197745 1215097 | 2147483647 460060 42 | 2.718 % |
980.41/980.86 c | 729348 | 680 197745 1215097 | 2147483647 460319 42 | 2.718 % |
981.01/981.49 c | 729630 | 680 197745 1215097 | 2147483647 460601 42 | 2.718 % |
981.51/981.94 c | 729941 | 680 197745 1215097 | 2147483647 460912 42 | 2.718 % |
981.82/982.30 c | 730282 | 680 197745 1215097 | 2147483647 461253 42 | 2.718 % |
982.81/983.25 c | 730655 | 680 197745 1215097 | 2147483647 461626 42 | 2.719 % |
983.51/983.99 c | 731064 | 680 197745 1215097 | 2147483647 462035 42 | 2.719 % |
985.12/985.53 c | 731513 | 680 197745 1215097 | 2147483647 462484 42 | 2.718 % |
986.81/987.25 c | 732008 | 680 197745 1215097 | 2147483647 462979 42 | 2.719 % |
988.61/989.03 c | 732550 | 680 197745 1215097 | 2147483647 463521 42 | 2.718 % |
990.21/990.62 c | 733146 | 680 197745 1215097 | 2147483647 464117 42 | 2.718 % |
991.41/991.82 c | 733801 | 680 197745 1215097 | 2147483647 464772 42 | 2.718 % |
993.31/993.71 c | 734521 | 680 197745 1215097 | 2147483647 465492 42 | 2.718 % |
995.31/995.70 c | 735317 | 680 197745 1215097 | 2147483647 466288 42 | 2.718 % |
997.21/997.64 c | 736188 | 680 197745 1215097 | 2147483647 467159 42 | 2.718 % |
999.61/1000.02 c | 737149 | 680 197745 1215097 | 2147483647 468120 42 | 2.718 % |
1003.20/1003.65 c | 738202 | 680 197745 1215097 | 2147483647 469173 42 | 2.718 % |
1005.90/1006.39 c | 739360 | 680 197745 1215097 | 2147483647 470331 42 | 2.718 % |
1010.50/1010.98 c | 740633 | 680 197745 1215097 | 470971 419568 42 | 2.718 % |
1012.60/1013.08 c | 742036 | 680 197745 1215097 | 470971 420971 42 | 2.719 % |
1015.40/1015.87 c | 743580 | 680 197745 1215097 | 470971 422515 42 | 2.718 % |
1020.00/1020.40 c | 745274 | 680 197745 1215097 | 470971 424209 42 | 2.719 % |
1023.60/1024.08 c | 747137 | 680 197745 1215097 | 470971 426072 42 | 2.718 % |
1028.79/1029.26 c | 749186 | 680 197745 1215097 | 470971 428121 42 | 2.718 % |
1034.09/1034.53 c | 751439 | 680 197745 1215097 | 428936 385971 42 | 2.718 % |
1039.49/1039.91 c | 753918 | 680 197745 1215097 | 428936 388450 42 | 2.721 % |
1045.09/1045.56 c | 756644 | 680 197745 1215097 | 428936 391176 42 | 2.718 % |
1050.98/1051.46 c | 759643 | 680 197745 1215097 | 428936 394175 42 | 2.718 % |
1058.08/1058.59 c | 762943 | 680 197745 1215097 | 2147483647 397475 42 | 2.719 % |
1068.98/1069.42 c | 766568 | 680 197745 1215097 | 2147483647 401100 42 | 2.719 % |
1079.08/1079.54 c | 770556 | 680 197745 1215097 | 2147483647 405088 42 | 2.719 % |
1087.67/1088.14 c | 774942 | 680 197745 1215097 | 2147483647 409474 42 | 2.718 % |
1098.07/1098.56 c | 779767 | 680 197745 1215097 | 2147483647 414299 42 | 2.718 % |
1110.37/1110.86 c | 785072 | 680 197745 1215097 | 2147483647 419604 42 | 2.718 % |
1125.46/1125.96 c | 790909 | 680 197745 1215097 | 2147483647 425441 43 | 2.718 % |
1138.06/1138.53 c | 797327 | 680 197745 1215097 | 2147483647 431859 43 | 2.719 % |
1157.96/1158.40 c | 804388 | 680 197745 1215097 | 2147483647 438920 43 | 2.718 % |
1158.16/1158.69 c | 804490 | 680 197745 1215097 | 2147483647 439022 43 | 2.719 % |
1158.56/1159.03 c | 804603 | 680 197745 1215097 | 2147483647 439135 43 | 2.718 % |
1158.86/1159.38 c | 804728 | 680 197745 1215097 | 2147483647 439260 43 | 2.718 % |
1159.45/1159.95 c | 804862 | 680 197745 1215097 | 2147483647 439394 43 | 2.718 % |
1159.96/1160.43 c | 805009 | 680 197745 1215097 | 2147483647 439541 43 | 2.718 % |
1160.55/1161.09 c | 805170 | 680 197745 1215097 | 2147483647 439702 43 | 2.718 % |
1160.95/1161.48 c | 805346 | 680 197745 1215097 | 2147483647 439878 43 | 2.719 % |
1161.65/1162.16 c | 805539 | 680 197745 1215097 | 2147483647 440071 43 | 2.718 % |
1162.65/1163.17 c | 805753 | 680 197745 1215097 | 2147483647 440285 43 | 2.718 % |
1163.26/1163.76 c | 805987 | 680 197745 1215097 | 2147483647 440519 43 | 2.719 % |
1163.75/1164.28 c | 806244 | 680 197745 1215097 | 2147483647 440776 43 | 2.718 % |
1164.75/1165.23 c | 806525 | 680 197745 1215097 | 2147483647 441057 43 | 2.718 % |
1165.56/1166.09 c | 806835 | 680 197745 1215097 | 2147483647 441367 43 | 2.718 % |
1166.65/1167.11 c | 807176 | 680 197745 1215097 | 2147483647 441708 43 | 2.719 % |
1167.95/1168.49 c | 807548 | 680 197745 1215097 | 2147483647 442080 43 | 2.718 % |
1169.45/1169.92 c | 807958 | 680 197745 1215097 | 2147483647 442490 43 | 2.718 % |
1170.55/1171.04 c | 808407 | 680 197745 1215097 | 2147483647 442939 43 | 2.718 % |
1171.75/1172.27 c | 808902 | 680 197745 1215097 | 2147483647 443434 43 | 2.718 % |
1173.15/1173.62 c | 809445 | 680 197745 1215097 | 2147483647 443977 43 | 2.718 % |
1174.55/1175.01 c | 810043 | 680 197745 1215097 | 2147483647 444575 43 | 2.718 % |
1176.65/1177.15 c | 810698 | 680 197745 1215097 | 2147483647 445230 43 | 2.718 % |
1178.65/1179.11 c | 811418 | 680 197745 1215097 | 2147483647 445950 43 | 2.718 % |
1181.65/1182.13 c | 812212 | 680 197745 1215097 | 2147483647 446744 43 | 2.719 % |
1184.55/1185.08 c | 813084 | 680 197745 1215097 | 2147483647 447616 43 | 2.719 % |
1187.34/1187.80 c | 814042 | 680 197745 1215097 | 2147483647 448574 43 | 2.719 % |
1189.84/1190.39 c | 815096 | 680 197745 1215097 | 2147483647 449628 43 | 2.719 % |
1193.44/1193.99 c | 816259 | 680 197745 1215097 | 2147483647 450791 43 | 2.718 % |
1197.24/1197.73 c | 817534 | 680 197745 1215097 | 2147483647 452066 43 | 2.718 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834033-1242827377/watcher-1834033-1242827377 -o /tmp/evaluation-result-1834033-1242827377/solver-1834033-1242827377 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834033-1242827377.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: 0.99 0.98 1.00 3/64 6034
/proc/meminfo: memFree=1739920/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=0
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310763954 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6034/statm: 1339 237 197 169 0 50 0
[pid=6038] ppid=6034 vsize=872 CPUtime=0
/proc/6038/stat : 6038 (SatELite_releas) R 6034 6034 5788 0 -1 4194304 71 0 0 0 0 0 0 0 19 0 1 0 310763955 892928 57 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/6038/statm: 218 60 49 173 0 43 0
[startup+0.0831041 s]
/proc/loadavg: 0.99 0.98 1.00 3/64 6034
/proc/meminfo: memFree=1739920/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=0
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310763954 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6034/statm: 1339 237 197 169 0 50 0
[pid=6038] ppid=6034 vsize=7264 CPUtime=0.06
/proc/6038/stat : 6038 (SatELite_releas) R 6034 6034 5788 0 -1 4194304 1637 0 0 0 6 0 0 0 19 0 1 0 310763955 7438336 1623 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/6038/statm: 1816 1624 49 173 0 1641 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12620
[startup+0.101105 s]
/proc/loadavg: 0.99 0.98 1.00 3/64 6034
/proc/meminfo: memFree=1739920/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=0
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310763954 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6034/statm: 1339 237 197 169 0 50 0
[pid=6038] ppid=6034 vsize=8612 CPUtime=0.09
/proc/6038/stat : 6038 (SatELite_releas) R 6034 6034 5788 0 -1 4194304 1999 0 0 0 8 1 0 0 19 0 1 0 310763955 8818688 1985 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/6038/statm: 2153 1986 49 173 0 1978 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13968
[startup+0.301127 s]
/proc/loadavg: 0.99 0.98 1.00 3/64 6034
/proc/meminfo: memFree=1739920/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=0
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310763954 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6034/statm: 1339 237 197 169 0 50 0
[pid=6038] ppid=6034 vsize=32332 CPUtime=0.28
/proc/6038/stat : 6038 (SatELite_releas) R 6034 6034 5788 0 -1 4194304 7131 0 0 0 25 3 0 0 21 0 1 0 310763955 33107968 7117 1992294400 134512640 135223648 4294956128 18446744073709551615 134547589 0 0 4096 3 0 0 0 17 1 0 0
/proc/6038/statm: 8083 7117 50 173 0 7908 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 37688
[startup+0.701172 s]
/proc/loadavg: 0.99 0.98 1.00 3/64 6034
/proc/meminfo: memFree=1739920/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=0
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310763954 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6034/statm: 1339 237 197 169 0 50 0
[pid=6038] ppid=6034 vsize=33952 CPUtime=0.68
/proc/6038/stat : 6038 (SatELite_releas) R 6034 6034 5788 0 -1 4194304 8142 0 0 0 65 3 0 0 25 0 1 0 310763955 34766848 8123 1992294400 134512640 135223648 4294956128 18446744073709551615 134585461 0 0 4096 3 0 0 0 17 1 0 0
/proc/6038/statm: 8488 8123 70 173 0 8313 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 39308
[startup+1.50126 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6039
/proc/meminfo: memFree=1707328/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=0
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310763954 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6034/statm: 1339 237 197 169 0 50 0
[pid=6038] ppid=6034 vsize=34116 CPUtime=1.48
/proc/6038/stat : 6038 (SatELite_releas) R 6034 6034 5788 0 -1 4194304 8187 0 0 0 145 3 0 0 25 0 1 0 310763955 34934784 8168 1992294400 134512640 135223648 4294956128 18446744073709551615 134548563 0 0 4096 3 0 0 0 17 1 0 0
/proc/6038/statm: 8529 8168 70 173 0 8354 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 39472
[startup+3.10144 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6039
/proc/meminfo: memFree=1706880/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=0
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310763954 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6034/statm: 1339 237 197 169 0 50 0
[pid=6038] ppid=6034 vsize=34628 CPUtime=3.08
/proc/6038/stat : 6038 (SatELite_releas) R 6034 6034 5788 0 -1 4194304 8287 0 0 0 304 4 0 0 25 0 1 0 310763955 35459072 8268 1992294400 134512640 135223648 4294956128 18446744073709551615 134548345 0 0 4096 3 0 0 0 17 1 0 0
/proc/6038/statm: 8657 8268 70 173 0 8482 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 39984
[startup+6.30181 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6039
/proc/meminfo: memFree=1706176/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=0
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310763954 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6034/statm: 1339 237 197 169 0 50 0
[pid=6038] ppid=6034 vsize=34972 CPUtime=6.28
/proc/6038/stat : 6038 (SatELite_releas) R 6034 6034 5788 0 -1 4194304 8478 0 0 0 624 4 0 0 25 0 1 0 310763955 35811328 8353 1992294400 134512640 135223648 4294956128 18446744073709551615 134548206 0 0 4096 3 0 0 0 17 1 0 0
/proc/6038/statm: 8743 8353 70 173 0 8568 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 40328
[startup+12.7025 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6039
/proc/meminfo: memFree=1703616/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=0
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310763954 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6034/statm: 1339 237 197 169 0 50 0
[pid=6038] ppid=6034 vsize=43820 CPUtime=12.68
/proc/6038/stat : 6038 (SatELite_releas) R 6034 6034 5788 0 -1 4194304 10893 0 0 0 1263 5 0 0 25 0 1 0 310763955 44871680 9709 1992294400 134512640 135223648 4294956128 18446744073709551615 134585468 0 0 4096 3 0 0 0 17 1 0 0
/proc/6038/statm: 10955 9709 76 173 0 10780 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49176
[startup+25.502 s]
/proc/loadavg: 1.14 1.02 1.01 2/66 6040
/proc/meminfo: memFree=1710464/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=23012 CPUtime=9.99
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 5556 0 0 0 996 3 0 0 25 0 1 0 310765504 23564288 5542 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 5753 5542 77 171 0 5580 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 28368
[startup+51.1019 s]
/proc/loadavg: 1.09 1.01 1.01 2/66 6040
/proc/meminfo: memFree=1698752/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=34836 CPUtime=35.57
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 8523 0 0 0 3550 7 0 0 25 0 1 0 310765504 35672064 8509 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 8709 8509 77 171 0 8536 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 40192
[startup+102.306 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 6040
/proc/meminfo: memFree=1682624/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=51192 CPUtime=86.76
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 12481 0 0 0 8665 11 0 0 25 0 1 0 310765504 52420608 12467 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 12798 12467 77 171 0 12625 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 56548
[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 6040
/proc/meminfo: memFree=1668352/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=65396 CPUtime=146.73
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 16074 0 0 0 14659 14 0 0 25 0 1 0 310765504 66965504 16060 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 16349 16060 77 171 0 16176 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 70752
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6040
/proc/meminfo: memFree=1656896/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=77152 CPUtime=206.71
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 18882 0 0 0 20654 17 0 0 25 0 1 0 310765504 79003648 18868 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 19288 18868 77 171 0 19115 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 82508
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6040
/proc/meminfo: memFree=1647360/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=86632 CPUtime=266.69
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 21253 0 0 0 26649 20 0 0 25 0 1 0 310765504 88711168 21239 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 21658 21239 77 171 0 21485 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 91988
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6040
/proc/meminfo: memFree=1638720/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=95188 CPUtime=326.67
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 23390 0 0 0 32645 22 0 0 25 0 1 0 310765504 97472512 23376 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 23797 23376 77 171 0 23624 0
Current children cumulated CPU time (s) 342.13
################
# More data... #
################
/proc/6040/statm: 28112 27423 77 171 0 27939 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 117804
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6040
/proc/meminfo: memFree=1619392/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=115216 CPUtime=626.57
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 28124 0 0 0 62632 25 0 0 25 0 1 0 310765504 117981184 28110 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 28804 28110 77 171 0 28631 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 120572
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6046
/proc/meminfo: memFree=1618624/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=115808 CPUtime=686.54
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 28266 0 0 0 68629 25 0 0 25 0 1 0 310765504 118587392 28252 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 28952 28252 77 171 0 28779 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 121164
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6046
/proc/meminfo: memFree=1617216/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=117456 CPUtime=746.52
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 28646 0 0 0 74627 25 0 0 25 0 1 0 310765504 120274944 28624 1992294400 134512640 135215339 4294956240 18446744073709551615 134534193 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 29364 28624 77 171 0 29191 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 122812
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6046
/proc/meminfo: memFree=1616448/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=118228 CPUtime=806.5
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 28820 0 0 0 80625 25 0 0 25 0 1 0 310765504 121065472 28798 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 29557 28798 77 171 0 29384 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 123584
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6046
/proc/meminfo: memFree=1616000/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=118636 CPUtime=866.49
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 28923 0 0 0 86623 26 0 0 25 0 1 0 310765504 121483264 28901 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 29659 28901 77 171 0 29486 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 123992
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6046
/proc/meminfo: memFree=1615808/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=118716 CPUtime=926.47
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 28953 0 0 0 92621 26 0 0 25 0 1 0 310765504 121565184 28931 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 29679 28931 77 171 0 29506 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 124072
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6046
/proc/meminfo: memFree=1615680/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=118716 CPUtime=986.45
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 28982 0 0 0 98619 26 0 0 25 0 1 0 310765504 121565184 28960 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 29679 28960 77 171 0 29506 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 124072
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6046
/proc/meminfo: memFree=1615488/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=118880 CPUtime=1046.42
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 29020 0 0 0 104616 26 0 0 25 0 1 0 310765504 121733120 28998 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 29720 28998 77 171 0 29547 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 124236
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6046
/proc/meminfo: memFree=1615424/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=118880 CPUtime=1106.4
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 29022 0 0 0 110614 26 0 0 25 0 1 0 310765504 121733120 29000 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 29720 29000 77 171 0 29547 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 124236
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6046
/proc/meminfo: memFree=1615232/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=119044 CPUtime=1166.39
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 29054 0 0 0 116613 26 0 0 25 0 1 0 310765504 121901056 29032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 29761 29032 77 171 0 29588 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 124400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6046
/proc/meminfo: memFree=1615232/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=119044 CPUtime=1184.58
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 29055 0 0 0 118432 26 0 0 25 0 1 0 310765504 121901056 29033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 29761 29033 77 171 0 29588 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 124400
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 6046
/proc/meminfo: memFree=1615232/2055920 swapFree=4178604/4192956
[pid=6034] ppid=6032 vsize=5356 CPUtime=15.46
/proc/6034/stat : 6034 (SatELiteGTI) S 6032 6034 5788 0 -1 4194304 336 11156 0 0 0 0 1539 7 16 0 1 0 310763954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6034/statm: 1339 239 197 169 0 50 0
[pid=6040] ppid=6034 vsize=119044 CPUtime=1184.58
/proc/6040/stat : 6040 (minisat_static) R 6034 6034 5788 0 -1 4194304 29055 0 0 0 118432 26 0 0 25 0 1 0 310765504 121901056 29033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6040/statm: 29761 29033 77 171 0 29588 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 124400
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6034 and gives
# childrusage.ru_utime.tv_sec=15
# childrusage.ru_utime.tv_usec=399658
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=81987
# CPU time returned by wait4() is 15.4816
# while last known CPU time is 1200.04
#
# 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.04
CPU user time (s): 1199.71
CPU system time (s): 0.33
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (KiB): 124400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.3997
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11492
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= 13
involuntary context switches= 42
runsolver used 1.37379 second user time and 3.07953 second system time
The end
Begin job on node63 at 2009-05-20 15:49:38
IDJOB=1834033
IDBENCH=71140
IDSOLVER=671
FILE ID=node63/1834033-1242827377
PBS_JOBID= 9322535
Free space on /tmp= 66220 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/modcircuits/mod5block_2vars_12gates.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834033-1242827377/watcher-1834033-1242827377 -o /tmp/evaluation-result-1834033-1242827377/solver-1834033-1242827377 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834033-1242827377.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 97b074a6a073bb165e8c5c9ac040a066
RANDOM SEED=83548794
node63.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.236
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.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1740400 kB
Buffers: 49100 kB
Cached: 216016 kB
SwapCached: 7836 kB
Active: 84336 kB
Inactive: 190440 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1740400 kB
SwapTotal: 4192956 kB
SwapFree: 4178604 kB
Dirty: 12116 kB
Writeback: 0 kB
Mapped: 14864 kB
Slab: 26596 kB
Committed_AS: 1130016 kB
PageTables: 1456 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66212 MiB
End job on node63 at 2009-05-20 16:09:40