0.00/0.00 c Parsing...
0.00/0.00 c ==============================================================================
0.00/0.00 c | | ORIGINAL | LEARNT | |
0.00/0.00 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.00 c ==============================================================================
0.00/0.00 c | 0 | 1615 4845 | 484 0 0 nan | 0.000 % |
0.00/0.01 c | 0 | 1609 4859 | -- 0 -- -- | -- | -6/14
0.00/0.01 c ==============================================================================
0.00/0.01 c Result : #vars: 374 #clauses: 1609 #literals: 4859
0.00/0.01 c CPU time: 0.003999 s
0.00/0.01 c ==============================================================================
0.00/0.01 c This is MiniSat 2.0 beta
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c ============================[ Problem Statistics ]=============================
0.00/0.01 c | |
0.00/0.01 c | Number of variables: 374 |
0.00/0.01 c | Number of clauses: 1609 |
0.00/0.01 c | Parsing time: 0.00 s |
0.00/0.01 c ============================[ Search Statistics ]==============================
0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.01 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.01 c ===============================================================================
0.00/0.01 c | 0 | 374 1609 4859 | 536 0 nan | 0.000 % |
0.00/0.01 c | 101 | 374 1609 4859 | 536 101 21 | 0.001 % |
0.00/0.02 c | 202 | 374 1609 4859 | 536 202 19 | 0.001 % |
0.00/0.02 c | 302 | 374 1609 4859 | 536 302 19 | 0.001 % |
0.00/0.02 c | 414 | 374 1609 4859 | 536 414 18 | 0.001 % |
0.00/0.03 c | 515 | 374 1609 4859 | 536 515 18 | 0.001 % |
0.00/0.03 c | 626 | 374 1609 4859 | 536 570 18 | 0.001 % |
0.00/0.03 c | 748 | 374 1609 4859 | 536 526 17 | 0.001 % |
0.00/0.04 c | 850 | 374 1609 4859 | 536 572 17 | 0.001 % |
0.00/0.04 c | 962 | 374 1609 4859 | 536 572 16 | 0.001 % |
0.00/0.04 c | 1084 | 374 1609 4859 | 536 526 16 | 0.001 % |
0.00/0.05 c | 1217 | 374 1609 4859 | 536 548 17 | 0.001 % |
0.00/0.05 c | 1317 | 374 1609 4859 | 536 540 17 | 0.001 % |
0.00/0.05 c | 1427 | 374 1609 4859 | 536 540 17 | 0.001 % |
0.00/0.06 c | 1549 | 374 1609 4859 | 536 552 17 | 0.001 % |
0.00/0.06 c | 1684 | 374 1609 4859 | 536 523 16 | 0.001 % |
0.00/0.07 c | 1831 | 374 1609 4859 | 536 559 16 | 0.001 % |
0.00/0.07 c | 1932 | 374 1609 4859 | 536 549 16 | 0.001 % |
0.00/0.07 c | 2042 | 374 1609 4859 | 536 552 16 | 0.001 % |
0.00/0.08 c | 2165 | 374 1609 4859 | 536 565 16 | 0.001 % |
0.00/0.08 c | 2298 | 374 1609 4859 | 536 531 16 | 0.001 % |
0.00/0.09 c | 2444 | 374 1609 4859 | 536 567 16 | 0.001 % |
0.00/0.09 c | 2605 | 374 1609 4859 | 536 560 16 | 0.001 % |
0.00/0.09 c | 2706 | 374 1609 4859 | 536 547 16 | 0.001 % |
0.00/0.10 c | 2817 | 374 1609 4859 | 536 549 15 | 0.001 % |
0.00/0.10 c | 2938 | 374 1609 4859 | 536 558 16 | 0.001 % |
0.00/0.11 c | 3071 | 374 1609 4859 | 536 583 16 | 0.001 % |
0.00/0.11 c | 3217 | 374 1609 4859 | 536 556 16 | 0.001 % |
0.00/0.12 c | 3378 | 374 1609 4859 | 536 554 16 | 0.001 % |
0.00/0.12 c | 3554 | 374 1609 4859 | 536 562 16 | 0.001 % |
0.00/0.13 c | 3654 | 374 1609 4859 | 536 553 16 | 0.001 % |
0.00/0.13 c | 3764 | 374 1609 4859 | 536 553 16 | 0.001 % |
0.00/0.13 c | 3888 | 374 1609 4859 | 536 565 16 | 0.001 % |
0.00/0.14 c | 4021 | 374 1609 4859 | 536 532 15 | 0.001 % |
0.00/0.14 c | 4167 | 374 1609 4859 | 536 567 15 | 0.001 % |
0.00/0.15 c | 4329 | 374 1609 4859 | 536 565 15 | 0.001 % |
0.00/0.15 c | 4505 | 374 1609 4859 | 536 575 15 | 0.001 % |
0.00/0.16 c | 4699 | 374 1609 4859 | 536 545 15 | 0.001 % |
0.00/0.16 c | 4800 | 374 1609 4859 | 536 536 16 | 0.001 % |
0.00/0.16 c | 4910 | 374 1609 4859 | 536 537 15 | 0.001 % |
0.00/0.17 c | 5031 | 374 1609 4859 | 536 549 15 | 0.001 % |
0.00/0.17 c | 5167 | 374 1609 4859 | 536 574 15 | 0.001 % |
0.00/0.18 c | 5313 | 374 1609 4859 | 536 554 15 | 0.001 % |
0.00/0.18 c | 5473 | 374 1609 4859 | 536 549 15 | 0.001 % |
0.00/0.19 c | 5650 | 374 1609 4859 | 536 564 14 | 0.001 % |
0.00/0.19 c | 5843 | 374 1609 4859 | 536 538 15 | 0.001 % |
0.00/0.20 c | 6057 | 374 1609 4859 | 536 534 14 | 0.001 % |
0.00/0.20 c | 6157 | 374 1609 4859 | 536 523 14 | 0.001 % |
0.00/0.21 c | 6267 | 374 1609 4859 | 536 576 14 | 0.001 % |
0.00/0.21 c | 6388 | 374 1609 4859 | 536 530 14 | 0.001 % |
0.00/0.21 c | 6521 | 374 1609 4859 | 536 550 14 | 0.001 % |
0.00/0.22 c | 6667 | 374 1609 4859 | 536 585 14 | 0.001 % |
0.00/0.22 c | 6829 | 374 1609 4859 | 536 581 14 | 0.001 % |
0.00/0.23 c | 7005 | 374 1609 4859 | 536 587 15 | 0.001 % |
0.00/0.24 c | 7201 | 374 1609 4859 | 536 561 15 | 0.001 % |
0.00/0.24 c | 7414 | 374 1609 4859 | 536 554 15 | 0.001 % |
0.00/0.25 c | 7648 | 374 1609 4859 | 536 564 14 | 0.001 % |
0.00/0.25 c | 7748 | 374 1609 4859 | 536 552 14 | 0.001 % |
0.00/0.26 c | 7858 | 374 1609 4859 | 536 552 14 | 0.001 % |
0.00/0.26 c | 7980 | 374 1609 4859 | 536 562 14 | 0.001 % |
0.00/0.27 c | 8115 | 374 1609 4859 | 536 532 14 | 0.001 % |
0.00/0.27 c | 8262 | 374 1609 4859 | 536 566 15 | 0.001 % |
0.00/0.27 c | 8423 | 374 1609 4859 | 536 560 14 | 0.001 % |
0.00/0.28 c | 8599 | 374 1609 4859 | 536 571 14 | 0.001 % |
0.00/0.29 c | 8792 | 374 1609 4859 | 536 542 13 | 0.001 % |
0.00/0.29 c | 9004 | 374 1609 4859 | 536 534 13 | 0.001 % |
0.00/0.30 c | 9238 | 374 1609 4859 | 536 553 13 | 0.001 % |
0.00/0.31 c | 9495 | 374 1609 4859 | 536 538 13 | 0.001 % |
0.00/0.31 c | 9595 | 374 1609 4859 | 536 585 13 | 0.001 % |
0.00/0.32 c | 9706 | 374 1609 4859 | 536 527 13 | 0.001 % |
0.00/0.32 c | 9829 | 374 1609 4859 | 536 541 13 | 0.001 % |
0.00/0.32 c | 9963 | 374 1609 4859 | 536 565 14 | 0.001 % |
0.00/0.33 c | 10110 | 374 1609 4859 | 2147483647 656 15 | 0.001 % |
0.00/0.33 c | 10270 | 374 1609 4859 | 2147483647 816 16 | 0.001 % |
0.00/0.34 c | 10446 | 374 1609 4859 | 2147483647 992 16 | 0.001 % |
0.00/0.35 c | 10639 | 374 1609 4859 | 2147483647 1185 16 | 0.001 % |
0.00/0.35 c | 10851 | 374 1609 4859 | 2147483647 1397 17 | 0.001 % |
0.00/0.36 c | 11084 | 374 1609 4859 | 2147483647 1630 17 | 0.001 % |
0.00/0.37 c | 11340 | 374 1609 4859 | 2147483647 1886 17 | 0.001 % |
0.00/0.38 c | 11621 | 374 1609 4859 | 2147483647 2167 17 | 0.001 % |
0.00/0.39 c | 11722 | 374 1609 4859 | 2147483647 2268 17 | 0.001 % |
0.00/0.39 c | 11834 | 374 1609 4859 | 2147483647 2380 17 | 0.001 % |
0.00/0.40 c | 11956 | 374 1609 4859 | 2147483647 2502 17 | 0.001 % |
0.00/0.40 c | 12090 | 374 1609 4859 | 2147483647 2636 17 | 0.001 % |
0.00/0.41 c | 12236 | 374 1609 4859 | 2147483647 2782 17 | 0.001 % |
0.00/0.41 c | 12397 | 374 1609 4859 | 2147483647 2943 17 | 0.001 % |
0.00/0.42 c | 12573 | 374 1609 4859 | 2147483647 3119 18 | 0.001 % |
0.00/0.43 c | 12767 | 374 1609 4859 | 2147483647 3313 17 | 0.001 % |
0.00/0.44 c | 12981 | 374 1609 4859 | 2147483647 3527 17 | 0.001 % |
0.00/0.46 c | 13214 | 374 1609 4859 | 2147483647 3760 17 | 0.001 % |
0.00/0.47 c | 13470 | 374 1609 4859 | 2147483647 4016 18 | 0.001 % |
0.00/0.48 c | 13752 | 374 1609 4859 | 2147483647 4298 18 | 0.001 % |
0.00/0.50 c | 14061 | 374 1609 4859 | 2147483647 4607 18 | 0.001 % |
0.00/0.51 c | 14161 | 374 1609 4859 | 2147483647 4707 18 | 0.001 % |
0.00/0.51 c | 14271 | 374 1609 4859 | 2147483647 4817 18 | 0.001 % |
0.00/0.52 c | 14392 | 374 1609 4859 | 2147483647 4938 18 | 0.001 % |
0.00/0.53 c | 14526 | 374 1609 4859 | 2147483647 5072 18 | 0.001 % |
0.00/0.54 c | 14673 | 374 1609 4859 | 2147483647 5219 18 | 0.001 % |
0.00/0.54 c | 14834 | 374 1609 4859 | 2147483647 5380 18 | 0.001 % |
0.00/0.56 c | 15012 | 374 1609 4859 | 2147483647 5558 18 | 0.001 % |
0.00/0.57 c | 15208 | 374 1609 4859 | 2147483647 5754 18 | 0.001 % |
0.00/0.58 c | 15420 | 374 1609 4859 | 2147483647 5966 18 | 0.001 % |
0.00/0.60 c | 15653 | 374 1609 4859 | 2147483647 6199 18 | 0.001 % |
0.00/0.61 c | 15912 | 374 1609 4859 | 2147483647 6458 18 | 0.001 % |
0.00/0.63 c | 16195 | 374 1609 4859 | 2147483647 6741 18 | 0.001 % |
0.00/0.65 c | 16505 | 374 1609 4859 | 2147483647 7051 18 | 0.001 % |
0.00/0.68 c | 16845 | 374 1609 4859 | 2147483647 7391 18 | 0.001 % |
0.00/0.68 c | 16945 | 374 1609 4859 | 2147483647 7491 18 | 0.001 % |
0.00/0.69 c | 17056 | 374 1609 4859 | 2147483647 7602 18 | 0.001 % |
0.00/0.70 c | 17177 | 374 1609 4859 | 2147483647 7723 18 | 0.001 % |
0.00/0.71 c | 17310 | 374 1609 4859 | 2147483647 7856 18 | 0.001 % |
0.00/0.72 c | 17456 | 374 1609 4859 | 2147483647 8002 18 | 0.001 % |
0.00/0.74 c | 17617 | 374 1609 4859 | 2147483647 8163 18 | 0.001 % |
0.00/0.75 c | 17793 | 374 1609 4859 | 2147483647 8339 18 | 0.001 % |
0.00/0.76 c | 17986 | 374 1609 4859 | 2147483647 8532 18 | 0.001 % |
0.00/0.78 c | 18198 | 374 1609 4859 | 2147483647 8744 18 | 0.001 % |
0.00/0.80 c | 18436 | 374 1609 4859 | 2147483647 8982 18 | 0.001 % |
0.00/0.82 c | 18694 | 374 1609 4859 | 2147483647 9240 18 | 0.001 % |
0.00/0.84 c | 18975 | 374 1609 4859 | 2147483647 9521 18 | 0.001 % |
0.00/0.87 c | 19286 | 374 1609 4859 | 2147483647 9832 18 | 0.001 % |
0.00/0.90 c | 19625 | 374 1609 4859 | 2147483647 10171 18 | 0.001 % |
0.00/0.93 c | 19997 | 374 1609 4859 | 2147483647 10543 18 | 0.001 % |
0.00/0.94 c | 20097 | 374 1609 4859 | 2147483647 10643 18 | 0.001 % |
0.00/0.95 c | 20207 | 374 1609 4859 | 2147483647 10753 18 | 0.001 % |
0.00/0.96 c | 20330 | 374 1609 4859 | 2147483647 10876 18 | 0.001 % |
0.00/0.97 c | 20463 | 374 1609 4859 | 2147483647 11009 18 | 0.001 % |
0.00/0.99 c | 20609 | 374 1609 4859 | 2147483647 11155 18 | 0.001 % |
0.97/1.00 c | 20771 | 374 1609 4859 | 2147483647 11317 18 | 0.001 % |
0.97/1.02 c | 20947 | 374 1609 4859 | 2147483647 11493 18 | 0.001 % |
0.97/1.03 c | 21140 | 374 1609 4859 | 2147483647 11686 18 | 0.001 % |
0.97/1.06 c | 21352 | 374 1609 4859 | 2147483647 11898 18 | 0.001 % |
0.97/1.08 c | 21587 | 374 1609 4859 | 2147483647 12133 18 | 0.001 % |
1.07/1.11 c | 21843 | 374 1609 4859 | 2147483647 12389 18 | 0.001 % |
1.07/1.14 c | 22125 | 374 1609 4859 | 2147483647 12671 18 | 0.001 % |
1.07/1.17 c | 22436 | 374 1609 4859 | 2147483647 12982 18 | 0.001 % |
1.17/1.20 c | 22775 | 374 1609 4859 | 2147483647 13321 18 | 0.001 % |
1.17/1.24 c | 23149 | 374 1609 4859 | 2147483647 13695 18 | 0.001 % |
1.17/1.28 c | 23559 | 374 1609 4859 | 2147483647 14105 19 | 0.001 % |
1.27/1.30 c | 23661 | 374 1609 4859 | 2147483647 14207 19 | 0.001 % |
1.27/1.31 c | 23772 | 374 1609 4859 | 2147483647 14318 19 | 0.001 % |
1.27/1.33 c | 23893 | 374 1609 4859 | 2147483647 14439 19 | 0.001 % |
1.27/1.34 c | 24027 | 374 1609 4859 | 2147483647 14573 19 | 0.001 % |
1.27/1.36 c | 24175 | 374 1609 4859 | 2147483647 14721 19 | 0.001 % |
1.27/1.39 c | 24337 | 374 1609 4859 | 2147483647 14883 19 | 0.001 % |
1.37/1.40 c | 24513 | 374 1609 4859 | 2147483647 15059 19 | 0.001 % |
1.37/1.43 c | 24706 | 374 1609 4859 | 2147483647 15252 19 | 0.001 % |
1.37/1.45 c | 24918 | 374 1609 4859 | 2147483647 15464 19 | 0.001 % |
1.37/1.49 c | 25152 | 374 1609 4859 | 2147483647 15698 19 | 0.001 % |
1.47/1.52 c | 25409 | 374 1609 4859 | 2147483647 15955 19 | 0.001 % |
1.47/1.56 c | 25691 | 374 1609 4859 | 2147483647 16237 19 | 0.001 % |
1.57/1.60 c | 26002 | 374 1609 4859 | 2147483647 16548 19 | 0.001 % |
1.57/1.65 c | 26341 | 374 1609 4859 | 2147483647 16887 19 | 0.001 % |
1.67/1.70 c | 26713 | 374 1609 4859 | 2147483647 17259 19 | 0.001 % |
1.67/1.76 c | 27125 | 374 1609 4859 | 2147483647 17671 19 | 0.001 % |
1.77/1.83 c | 27576 | 374 1609 4859 | 2147483647 18122 19 | 0.001 % |
1.77/1.85 c | 27677 | 374 1609 4859 | 2147483647 18223 19 | 0.001 % |
1.77/1.87 c | 27787 | 374 1609 4859 | 2147483647 18333 19 | 0.001 % |
1.77/1.89 c | 27908 | 374 1609 4859 | 2147483647 18454 19 | 0.001 % |
1.87/1.91 c | 28043 | 374 1609 4859 | 2147483647 18589 19 | 0.001 % |
1.87/1.94 c | 28190 | 374 1609 4859 | 2147483647 18736 19 | 0.001 % |
1.87/1.96 c | 28350 | 374 1609 4859 | 2147483647 18896 19 | 0.001 % |
1.87/1.99 c | 28526 | 374 1609 4859 | 2147483647 19072 19 | 0.001 % |
1.97/2.02 c | 28722 | 374 1609 4859 | 2147483647 19268 19 | 0.001 % |
1.97/2.05 c | 28934 | 374 1609 4859 | 2147483647 19480 19 | 0.001 % |
1.97/2.08 c | 29167 | 374 1609 4859 | 2147483647 19713 19 | 0.001 % |
2.07/2.12 c | 29423 | 374 1609 4859 | 2147483647 19969 19 | 0.001 % |
2.07/2.16 c | 29704 | 374 1609 4859 | 2147483647 20250 19 | 0.001 % |
2.17/2.21 c | 30013 | 374 1609 4859 | 20548 20559 19 | 0.001 % |
2.17/2.28 c | 30352 | 374 1609 4859 | 20548 18807 19 | 0.001 % |
2.27/2.33 c | 30724 | 374 1609 4859 | 20548 19179 19 | 0.001 % |
2.37/2.41 c | 31133 | 374 1609 4859 | 20548 19588 18 | 0.001 % |
2.37/2.49 c | 31582 | 374 1609 4859 | 20548 20037 18 | 0.001 % |
2.47/2.58 c | 32077 | 374 1609 4859 | 20548 20532 18 | 0.001 % |
2.57/2.61 c | 32179 | 374 1609 4859 | 20548 16714 18 | 0.001 % |
2.57/2.63 c | 32293 | 374 1609 4859 | 20548 16828 18 | 0.001 % |
2.57/2.64 c | 32414 | 374 1609 4859 | 20548 16949 18 | 0.001 % |
2.57/2.66 c | 32547 | 374 1609 4859 | 20548 17082 18 | 0.001 % |
2.57/2.69 c | 32693 | 374 1609 4859 | 20548 17228 18 | 0.001 % |
2.67/2.71 c | 32854 | 374 1609 4859 | 20548 17389 18 | 0.001 % |
2.67/2.73 c | 33032 | 374 1609 4859 | 20548 17567 18 | 0.001 % |
2.67/2.77 c | 33225 | 374 1609 4859 | 20548 17760 18 | 0.001 % |
2.77/2.80 c | 33438 | 374 1609 4859 | 20548 17973 18 | 0.001 % |
2.77/2.83 c | 33672 | 374 1609 4859 | 20548 18207 18 | 0.001 % |
2.77/2.87 c | 33928 | 374 1609 4859 | 20548 18463 18 | 0.001 % |
2.86/2.91 c | 34209 | 374 1609 4859 | 20548 18744 18 | 0.001 % |
2.86/2.96 c | 34518 | 374 1609 4859 | 20548 19053 18 | 0.001 % |
2.96/3.02 c | 34857 | 374 1609 4859 | 20548 19392 18 | 0.001 % |
2.96/3.07 c | 35229 | 374 1609 4859 | 20548 19764 18 | 0.001 % |
3.06/3.15 c | 35641 | 374 1609 4859 | 20548 20176 18 | 0.001 % |
3.17/3.23 c | 36091 | 374 1609 4859 | 20548 16140 18 | 0.001 % |
3.17/3.30 c | 36584 | 374 1609 4859 | 20548 16633 18 | 0.001 % |
3.27/3.37 c | 37126 | 374 1609 4859 | 20548 17175 18 | 0.001 % |
3.27/3.39 c | 37226 | 374 1609 4859 | 20548 17275 18 | 0.001 % |
3.36/3.40 c | 37336 | 374 1609 4859 | 20548 17385 18 | 0.001 % |
3.36/3.42 c | 37458 | 374 1609 4859 | 20548 17507 18 | 0.001 % |
3.36/3.44 c | 37591 | 374 1609 4859 | 20548 17640 18 | 0.001 % |
3.36/3.47 c | 37738 | 374 1609 4859 | 20548 17787 18 | 0.001 % |
3.36/3.49 c | 37899 | 374 1609 4859 | 20548 17948 18 | 0.001 % |
3.46/3.52 c | 38076 | 374 1609 4859 | 20548 18125 18 | 0.001 % |
3.46/3.55 c | 38269 | 374 1609 4859 | 20548 18318 18 | 0.001 % |
3.46/3.58 c | 38482 | 374 1609 4859 | 20548 18531 18 | 0.001 % |
3.56/3.63 c | 38715 | 374 1609 4859 | 20548 18764 18 | 0.001 % |
3.56/3.67 c | 38972 | 374 1609 4859 | 20548 19021 18 | 0.001 % |
3.66/3.71 c | 39253 | 374 1609 4859 | 20548 19302 18 | 0.001 % |
3.66/3.76 c | 39562 | 374 1609 4859 | 20548 19611 18 | 0.001 % |
3.76/3.82 c | 39903 | 374 1609 4859 | 20548 19952 18 | 0.001 % |
3.76/3.88 c | 40275 | 374 1609 4859 | 20050 15756 18 | 0.001 % |
3.86/3.94 c | 40684 | 374 1609 4859 | 20050 16165 18 | 0.001 % |
3.86/4.00 c | 41133 | 374 1609 4859 | 20050 16614 18 | 0.001 % |
3.96/4.06 c | 41626 | 374 1609 4859 | 20050 17107 18 | 0.001 % |
4.06/4.13 c | 42169 | 374 1609 4859 | 20050 17650 18 | 0.001 % |
4.16/4.22 c | 42768 | 374 1609 4859 | 20050 18249 18 | 0.001 % |
4.16/4.24 c | 42868 | 374 1609 4859 | 20050 18349 18 | 0.001 % |
4.16/4.25 c | 42978 | 374 1609 4859 | 20050 18459 18 | 0.001 % |
4.16/4.27 c | 43099 | 374 1609 4859 | 20050 18580 18 | 0.001 % |
4.16/4.29 c | 43233 | 374 1609 4859 | 20050 18714 18 | 0.001 % |
4.26/4.32 c | 43381 | 374 1609 4859 | 20050 18862 18 | 0.001 % |
4.26/4.35 c | 43541 | 374 1609 4859 | 20050 19022 18 | 0.001 % |
4.26/4.38 c | 43718 | 374 1609 4859 | 20050 19199 18 | 0.001 % |
4.36/4.41 c | 43914 | 374 1609 4859 | 20050 19395 18 | 0.001 % |
4.36/4.45 c | 44127 | 374 1609 4859 | 20050 19608 18 | 0.001 % |
4.36/4.49 c | 44362 | 374 1609 4859 | 20050 19843 18 | 0.001 % |
4.46/4.54 c | 44619 | 374 1609 4859 | 20050 15469 18 | 0.001 % |
4.46/4.57 c | 44900 | 374 1609 4859 | 20050 15750 18 | 0.001 % |
4.56/4.61 c | 45209 | 374 1609 4859 | 20050 16059 18 | 0.001 % |
4.56/4.65 c | 45549 | 374 1609 4859 | 20050 16399 18 | 0.001 % |
4.66/4.70 c | 45921 | 374 1609 4859 | 20050 16771 18 | 0.001 % |
4.66/4.76 c | 46330 | 374 1609 4859 | 20050 17180 18 | 0.001 % |
4.76/4.82 c | 46780 | 374 1609 4859 | 20050 17630 18 | 0.001 % |
4.76/4.88 c | 47274 | 374 1609 4859 | 20050 18124 18 | 0.001 % |
4.86/4.95 c | 47817 | 374 1609 4859 | 20050 18667 18 | 0.001 % |
4.96/5.03 c | 48413 | 374 1609 4859 | 20050 19263 18 | 0.001 % |
5.06/5.12 c | 49069 | 374 1609 4859 | 20050 19919 18 | 0.001 % |
5.06/5.14 c | 49170 | 374 1609 4859 | 20050 20020 18 | 0.001 % |
5.06/5.17 c | 49280 | 374 1609 4859 | 20050 15733 18 | 0.001 % |
5.06/5.19 c | 49404 | 374 1609 4859 | 20050 15857 18 | 0.001 % |
5.16/5.21 c | 49537 | 374 1609 4859 | 20050 15990 18 | 0.001 % |
5.16/5.23 c | 49683 | 374 1609 4859 | 20050 16136 18 | 0.001 % |
5.16/5.26 c | 49843 | 374 1609 4859 | 20050 16296 18 | 0.001 % |
5.16/5.28 c | 50021 | 374 1609 4859 | 16454 16474 18 | 0.001 % |
5.26/5.32 c | 50216 | 374 1609 4859 | 16454 13080 18 | 0.001 % |
5.26/5.34 c | 50429 | 374 1609 4859 | 16454 13293 18 | 0.001 % |
5.26/5.37 c | 50662 | 374 1609 4859 | 16454 13526 18 | 0.001 % |
5.36/5.40 c | 50919 | 374 1609 4859 | 16454 13783 18 | 0.001 % |
5.36/5.44 c | 51201 | 374 1609 4859 | 16454 14065 18 | 0.001 % |
5.36/5.47 c | 51511 | 374 1609 4859 | 16454 14375 18 | 0.001 % |
5.46/5.52 c | 51850 | 374 1609 4859 | 16454 14714 18 | 0.001 % |
5.46/5.56 c | 52224 | 374 1609 4859 | 16454 15088 18 | 0.001 % |
5.56/5.61 c | 52635 | 374 1609 4859 | 16454 15499 18 | 0.001 % |
5.56/5.67 c | 53086 | 374 1609 4859 | 16454 15950 18 | 0.001 % |
5.66/5.74 c | 53580 | 374 1609 4859 | 16454 16444 18 | 0.001 % |
5.76/5.81 c | 54124 | 374 1609 4859 | 16454 13719 17 | 0.001 % |
5.76/5.88 c | 54720 | 374 1609 4859 | 16454 14315 17 | 0.001 % |
5.85/5.96 c | 55376 | 374 1609 4859 | 16454 14971 17 | 0.001 % |
5.95/6.04 c | 56096 | 374 1609 4859 | 16454 15691 17 | 0.001 % |
5.95/6.06 c | 56196 | 374 1609 4859 | 16454 15791 17 | 0.001 % |
5.95/6.07 c | 56306 | 374 1609 4859 | 16454 15901 17 | 0.001 % |
5.95/6.09 c | 56427 | 374 1609 4859 | 16454 16022 17 | 0.001 % |
6.05/6.11 c | 56560 | 374 1609 4859 | 16454 16155 17 | 0.001 % |
6.05/6.13 c | 56706 | 374 1609 4859 | 16454 16301 17 | 0.001 % |
6.05/6.15 c | 56867 | 374 1609 4859 | 16454 16462 18 | 0.001 % |
6.05/6.18 c | 57043 | 374 1609 4859 | 16454 13540 17 | 0.001 % |
6.15/6.20 c | 57237 | 374 1609 4859 | 16454 13734 17 | 0.001 % |
6.15/6.23 c | 57451 | 374 1609 4859 | 16454 13948 17 | 0.001 % |
6.15/6.26 c | 57684 | 374 1609 4859 | 16454 14181 17 | 0.001 % |
6.15/6.29 c | 57940 | 374 1609 4859 | 16454 14437 17 | 0.001 % |
6.25/6.32 c | 58221 | 374 1609 4859 | 16454 14718 17 | 0.001 % |
6.25/6.35 c | 58533 | 374 1609 4859 | 16454 15030 17 | 0.001 % |
6.25/6.40 c | 58873 | 374 1609 4859 | 16454 15370 17 | 0.001 % |
6.35/6.44 c | 59246 | 374 1609 4859 | 16454 15743 17 | 0.001 % |
6.35/6.49 c | 59656 | 374 1609 4859 | 16454 16153 17 | 0.001 % |
6.46/6.56 c | 60107 | 374 1609 4859 | 16498 13578 17 | 0.001 % |
6.56/6.62 c | 60600 | 374 1609 4859 | 16498 14071 17 | 0.001 % |
6.56/6.68 c | 61142 | 374 1609 4859 | 16498 14613 17 | 0.001 % |
6.65/6.76 c | 61738 | 374 1609 4859 | 16498 15209 17 | 0.001 % |
6.75/6.84 c | 62393 | 374 1609 4859 | 16498 15864 18 | 0.001 % |
6.85/6.93 c | 63115 | 374 1609 4859 | 16498 13833 17 | 0.001 % |
6.95/7.03 c | 63909 | 374 1609 4859 | 16498 14627 17 | 0.001 % |
6.95/7.04 c | 64009 | 374 1609 4859 | 16498 14727 17 | 0.001 % |
6.95/7.06 c | 64119 | 374 1609 4859 | 16498 14837 17 | 0.001 % |
6.95/7.07 c | 64240 | 374 1609 4859 | 16498 14958 17 | 0.001 % |
6.95/7.09 c | 64373 | 374 1609 4859 | 16498 15091 17 | 0.001 % |
7.05/7.11 c | 64520 | 374 1609 4859 | 16498 15238 17 | 0.001 % |
7.05/7.14 c | 64680 | 374 1609 4859 | 16498 15398 17 | 0.001 % |
7.05/7.16 c | 64858 | 374 1609 4859 | 16498 15576 17 | 0.001 % |
7.05/7.19 c | 65051 | 374 1609 4859 | 16498 15769 17 | 0.001 % |
7.15/7.22 c | 65266 | 374 1609 4859 | 16498 15984 17 | 0.001 % |
7.15/7.25 c | 65502 | 374 1609 4859 | 16498 16220 17 | 0.001 % |
7.15/7.29 c | 65758 | 374 1609 4859 | 16498 16476 18 | 0.001 % |
7.25/7.33 c | 66040 | 374 1609 4859 | 16498 13870 17 | 0.001 % |
7.25/7.37 c | 66350 | 374 1609 4859 | 16498 14180 17 | 0.001 % |
7.35/7.41 c | 66691 | 374 1609 4859 | 16498 14521 17 | 0.001 % |
7.35/7.46 c | 67063 | 374 1609 4859 | 16498 14893 17 | 0.001 % |
7.45/7.51 c | 67474 | 374 1609 4859 | 16498 15304 17 | 0.001 % |
7.45/7.57 c | 67923 | 374 1609 4859 | 16498 15753 18 | 0.001 % |
7.56/7.64 c | 68416 | 374 1609 4859 | 16498 16246 18 | 0.001 % |
7.66/7.72 c | 68958 | 374 1609 4859 | 16498 13831 17 | 0.001 % |
7.75/7.81 c | 69554 | 374 1609 4859 | 16498 14427 17 | 0.001 % |
7.75/7.90 c | 70209 | 374 1609 4859 | 14873 12413 17 | 0.001 % |
7.85/7.98 c | 70930 | 374 1609 4859 | 14873 13134 17 | 0.001 % |
7.95/8.06 c | 71722 | 374 1609 4859 | 14873 13926 17 | 0.001 % |
8.05/8.16 c | 72594 | 374 1609 4859 | 14873 14798 18 | 0.001 % |
8.05/8.18 c | 72694 | 374 1609 4859 | 14873 14898 18 | 0.001 % |
8.15/8.20 c | 72804 | 374 1609 4859 | 14873 12659 17 | 0.001 % |
8.15/8.21 c | 72926 | 374 1609 4859 | 14873 12781 17 | 0.001 % |
8.15/8.22 c | 73060 | 374 1609 4859 | 14873 12915 17 | 0.001 % |
8.15/8.24 c | 73209 | 374 1609 4859 | 14873 13064 17 | 0.001 % |
8.15/8.26 c | 73369 | 374 1609 4859 | 14873 13224 17 | 0.001 % |
8.15/8.28 c | 73545 | 374 1609 4859 | 14873 13400 17 | 0.001 % |
8.25/8.30 c | 73739 | 374 1609 4859 | 14873 13594 17 | 0.001 % |
8.25/8.32 c | 73952 | 374 1609 4859 | 14873 13807 17 | 0.001 % |
8.25/8.35 c | 74185 | 374 1609 4859 | 14873 14040 17 | 0.001 % |
8.25/8.38 c | 74442 | 374 1609 4859 | 14873 14297 17 | 0.001 % |
8.35/8.42 c | 74725 | 374 1609 4859 | 14873 14580 17 | 0.001 % |
8.35/8.45 c | 75034 | 374 1609 4859 | 14873 14889 17 | 0.001 % |
8.45/8.50 c | 75373 | 374 1609 4859 | 14873 12980 17 | 0.001 % |
8.45/8.54 c | 75745 | 374 1609 4859 | 14873 13352 17 | 0.001 % |
8.45/8.59 c | 76155 | 374 1609 4859 | 14873 13762 17 | 0.001 % |
8.55/8.64 c | 76604 | 374 1609 4859 | 14873 14211 17 | 0.001 % |
8.55/8.69 c | 77098 | 374 1609 4859 | 14873 14705 18 | 0.001 % |
8.65/8.76 c | 77640 | 374 1609 4859 | 14873 13074 18 | 0.001 % |
8.75/8.82 c | 78237 | 374 1609 4859 | 14873 13671 18 | 0.001 % |
8.75/8.89 c | 78894 | 374 1609 4859 | 14873 14328 18 | 0.001 % |
8.85/8.98 c | 79614 | 374 1609 4859 | 14873 12975 18 | 0.001 % |
8.95/9.06 c | 80406 | 374 1609 4859 | 13362 11933 18 | 0.001 % |
9.05/9.15 c | 81277 | 374 1609 4859 | 13362 12804 18 | 0.001 % |
9.15/9.25 c | 82235 | 374 1609 4859 | 13362 12319 18 | 0.001 % |
9.15/9.26 c | 82336 | 374 1609 4859 | 13362 12420 18 | 0.001 % |
9.15/9.27 c | 82447 | 374 1609 4859 | 13362 12531 18 | 0.001 % |
9.15/9.29 c | 82568 | 374 1609 4859 | 13362 12652 18 | 0.001 % |
9.25/9.30 c | 82703 | 374 1609 4859 | 13362 12787 18 | 0.001 % |
9.25/9.32 c | 82849 | 374 1609 4859 | 13362 12933 18 | 0.001 % |
9.25/9.33 c | 83010 | 374 1609 4859 | 13362 13094 18 | 0.001 % |
9.25/9.36 c | 83186 | 374 1609 4859 | 13362 13270 18 | 0.001 % |
9.25/9.38 c | 83380 | 374 1609 4859 | 13362 12016 18 | 0.001 % |
9.35/9.41 c | 83595 | 374 1609 4859 | 13362 12231 18 | 0.001 % |
9.35/9.44 c | 83828 | 374 1609 4859 | 13362 12464 18 | 0.001 % |
9.35/9.47 c | 84086 | 374 1609 4859 | 13362 12722 18 | 0.001 % |
9.45/9.50 c | 84368 | 374 1609 4859 | 13362 13004 18 | 0.001 % |
9.45/9.53 c | 84677 | 374 1609 4859 | 13362 13313 18 | 0.001 % |
9.45/9.58 c | 85016 | 374 1609 4859 | 13362 12169 18 | 0.001 % |
9.55/9.62 c | 85389 | 374 1609 4859 | 13362 12542 18 | 0.001 % |
9.55/9.67 c | 85799 | 374 1609 4859 | 13362 12952 18 | 0.001 % |
9.65/9.71 c | 86249 | 374 1609 4859 | 13362 13402 18 | 0.001 % |
9.65/9.77 c | 86745 | 374 1609 4859 | 13362 12431 18 | 0.001 % |
9.75/9.82 c | 87291 | 374 1609 4859 | 13362 12977 18 | 0.001 % |
9.75/9.89 c | 87887 | 374 1609 4859 | 13362 12192 18 | 0.001 % |
9.85/9.96 c | 88542 | 374 1609 4859 | 13362 12847 18 | 0.001 % |
9.95/10.04 c | 89262 | 374 1609 4859 | 13362 12217 17 | 0.001 % |
10.04/10.12 c | 90055 | 374 1609 4859 | 2147483647 13010 18 | 0.001 % |
10.14/10.22 c | 90927 | 374 1609 4859 | 2147483647 13882 18 | 0.001 % |
10.24/10.33 c | 91885 | 374 1609 4859 | 2147483647 14840 18 | 0.001 % |
10.34/10.44 c | 92938 | 374 1609 4859 | 2147483647 15893 18 | 0.001 % |
10.34/10.46 c | 93039 | 374 1609 4859 | 2147483647 15994 18 | 0.001 % |
10.34/10.47 c | 93153 | 374 1609 4859 | 2147483647 16108 18 | 0.001 % |
10.34/10.49 c | 93274 | 374 1609 4859 | 2147483647 16229 18 | 0.001 % |
10.44/10.50 c | 93409 | 374 1609 4859 | 2147483647 16364 18 | 0.001 % |
10.44/10.52 c | 93556 | 374 1609 4859 | 2147483647 16511 18 | 0.001 % |
10.44/10.55 c | 93717 | 374 1609 4859 | 2147483647 16672 18 | 0.001 % |
10.44/10.57 c | 93893 | 374 1609 4859 | 2147483647 16848 18 | 0.001 % |
10.44/10.60 c | 94087 | 374 1609 4859 | 2147483647 17042 18 | 0.001 % |
10.54/10.62 c | 94299 | 374 1609 4859 | 2147483647 17254 18 | 0.001 % |
10.54/10.66 c | 94532 | 374 1609 4859 | 2147483647 17487 18 | 0.001 % |
10.64/10.70 c | 94790 | 374 1609 4859 | 2147483647 17745 18 | 0.001 % |
10.64/10.74 c | 95071 | 374 1609 4859 | 2147483647 18026 18 | 0.001 % |
10.64/10.78 c | 95380 | 374 1609 4859 | 2147483647 18335 18 | 0.001 % |
10.74/10.83 c | 95719 | 374 1609 4859 | 2147483647 18674 18 | 0.001 % |
10.74/10.89 c | 96093 | 374 1609 4859 | 2147483647 19048 18 | 0.001 % |
10.85/10.95 c | 96502 | 374 1609 4859 | 2147483647 19457 18 | 0.001 % |
10.95/11.01 c | 96951 | 374 1609 4859 | 2147483647 19906 18 | 0.001 % |
10.95/11.09 c | 97444 | 374 1609 4859 | 2147483647 20399 18 | 0.001 % |
11.04/11.19 c | 97987 | 374 1609 4859 | 2147483647 20942 18 | 0.001 % |
11.24/11.31 c | 98584 | 374 1609 4859 | 2147483647 21539 18 | 0.001 % |
11.34/11.42 c | 99241 | 374 1609 4859 | 2147483647 22196 18 | 0.001 % |
11.44/11.55 c | 99963 | 374 1609 4859 | 2147483647 22918 18 | 0.001 % |
11.54/11.69 c | 100755 | 374 1609 4859 | 22958 18960 18 | 0.001 % |
11.74/11.83 c | 101627 | 374 1609 4859 | 22958 19832 18 | 0.001 % |
11.84/11.96 c | 102585 | 374 1609 4859 | 22958 20790 18 | 0.001 % |
12.05/12.14 c | 103638 | 374 1609 4859 | 22958 21843 18 | 0.001 % |
12.24/12.34 c | 104797 | 374 1609 4859 | 22958 23002 18 | 0.001 % |
12.24/12.37 c | 104897 | 374 1609 4859 | 22958 17550 18 | 0.001 % |
12.24/12.39 c | 105009 | 374 1609 4859 | 22958 17662 18 | 0.001 % |
12.34/12.42 c | 105130 | 374 1609 4859 | 22958 17783 18 | 0.001 % |
12.34/12.44 c | 105265 | 374 1609 4859 | 22958 17918 18 | 0.001 % |
12.34/12.47 c | 105412 | 374 1609 4859 | 22958 18065 18 | 0.001 % |
12.34/12.49 c | 105572 | 374 1609 4859 | 22958 18225 18 | 0.001 % |
12.44/12.52 c | 105749 | 374 1609 4859 | 22958 18402 18 | 0.001 % |
12.44/12.55 c | 105943 | 374 1609 4859 | 22958 18596 18 | 0.001 % |
12.44/12.58 c | 106156 | 374 1609 4859 | 22958 18809 18 | 0.001 % |
12.54/12.61 c | 106391 | 374 1609 4859 | 22958 19044 18 | 0.001 % |
12.54/12.65 c | 106648 | 374 1609 4859 | 22958 19301 18 | 0.001 % |
12.54/12.70 c | 106930 | 374 1609 4859 | 22958 19583 18 | 0.001 % |
12.64/12.74 c | 107241 | 374 1609 4859 | 22958 19894 18 | 0.001 % |
12.74/12.81 c | 107583 | 374 1609 4859 | 22958 20236 18 | 0.001 % |
12.74/12.87 c | 107955 | 374 1609 4859 | 22958 20608 18 | 0.001 % |
12.84/12.94 c | 108367 | 374 1609 4859 | 22958 21020 18 | 0.001 % |
12.94/13.03 c | 108817 | 374 1609 4859 | 22958 21470 18 | 0.001 % |
13.05/13.11 c | 109312 | 374 1609 4859 | 22958 21965 18 | 0.001 % |
13.05/13.19 c | 109855 | 374 1609 4859 | 22958 22508 18 | 0.001 % |
13.24/13.31 c | 110451 | 374 1609 4859 | 22655 17359 18 | 0.001 % |
13.34/13.41 c | 111107 | 374 1609 4859 | 22655 18015 18 | 0.001 % |
13.44/13.53 c | 111828 | 374 1609 4859 | 22655 18736 18 | 0.001 % |
13.54/13.64 c | 112620 | 374 1609 4859 | 22655 19528 18 | 0.001 % |
13.64/13.76 c | 113491 | 374 1609 4859 | 22655 20399 18 | 0.001 % |
13.84/13.90 c | 114449 | 374 1609 4859 | 22655 21357 18 | 0.001 % |
13.94/14.06 c | 115503 | 374 1609 4859 | 22655 22411 18 | 0.001 % |
14.14/14.24 c | 116664 | 374 1609 4859 | 22655 17939 18 | 0.001 % |
14.34/14.44 c | 117938 | 374 1609 4859 | 22655 19213 18 | 0.001 % |
14.34/14.46 c | 118039 | 374 1609 4859 | 22655 19314 18 | 0.001 % |
14.34/14.48 c | 118150 | 374 1609 4859 | 22655 19425 18 | 0.001 % |
14.34/14.50 c | 118273 | 374 1609 4859 | 22655 19548 18 | 0.001 % |
14.44/14.52 c | 118406 | 374 1609 4859 | 22655 19681 18 | 0.001 % |
14.44/14.54 c | 118552 | 374 1609 4859 | 22655 19827 18 | 0.001 % |
14.44/14.57 c | 118713 | 374 1609 4859 | 22655 19988 18 | 0.001 % |
14.54/14.60 c | 118889 | 374 1609 4859 | 22655 20164 18 | 0.001 % |
14.54/14.64 c | 119083 | 374 1609 4859 | 22655 20358 18 | 0.001 % |
14.54/14.67 c | 119298 | 374 1609 4859 | 22655 20573 18 | 0.001 % |
14.64/14.71 c | 119531 | 374 1609 4859 | 22655 20806 18 | 0.001 % |
14.64/14.75 c | 119787 | 374 1609 4859 | 22655 21062 18 | 0.001 % |
14.74/14.82 c | 120069 | 374 1609 4859 | 21275 16123 18 | 0.001 % |
14.74/14.86 c | 120379 | 374 1609 4859 | 21275 16433 18 | 0.001 % |
14.84/14.91 c | 120718 | 374 1609 4859 | 21275 16772 18 | 0.001 % |
14.84/14.97 c | 121090 | 374 1609 4859 | 21275 17144 18 | 0.001 % |
14.94/15.04 c | 121500 | 374 1609 4859 | 21275 17554 18 | 0.001 % |
15.04/15.12 c | 121950 | 374 1609 4859 | 21275 18004 18 | 0.001 % |
15.04/15.19 c | 122443 | 374 1609 4859 | 21275 18497 18 | 0.001 % |
15.14/15.27 c | 122985 | 374 1609 4859 | 21275 19039 18 | 0.001 % |
15.24/15.38 c | 123583 | 374 1609 4859 | 21275 19637 18 | 0.001 % |
15.34/15.48 c | 124238 | 374 1609 4859 | 21275 20292 18 | 0.001 % |
15.55/15.60 c | 124958 | 374 1609 4859 | 21275 21012 18 | 0.001 % |
15.65/15.73 c | 125751 | 374 1609 4859 | 21275 16498 18 | 0.001 % |
15.75/15.83 c | 126624 | 374 1609 4859 | 21275 17371 18 | 0.001 % |
15.85/15.96 c | 127582 | 374 1609 4859 | 21275 18329 18 | 0.001 % |
16.05/16.10 c | 128637 | 374 1609 4859 | 21275 19384 18 | 0.001 % |
16.25/16.31 c | 129795 | 374 1609 4859 | 21275 20542 18 | 0.001 % |
16.35/16.50 c | 131069 | 374 1609 4859 | 20747 16800 18 | 0.001 % |
16.55/16.69 c | 132470 | 374 1609 4859 | 20747 18201 18 | 0.001 % |
16.65/16.70 c | 132570 | 374 1609 4859 | 20747 18301 18 | 0.001 % |
16.65/16.72 c | 132680 | 374 1609 4859 | 20747 18411 18 | 0.001 % |
16.65/16.74 c | 132801 | 374 1609 4859 | 20747 18532 18 | 0.001 % |
16.65/16.76 c | 132934 | 374 1609 4859 | 20747 18665 18 | 0.001 % |
16.65/16.79 c | 133080 | 374 1609 4859 | 20747 18811 18 | 0.001 % |
16.75/16.81 c | 133240 | 374 1609 4859 | 20747 18971 18 | 0.001 % |
16.75/16.84 c | 133416 | 374 1609 4859 | 20747 19147 18 | 0.001 % |
16.75/16.87 c | 133609 | 374 1609 4859 | 20747 19340 18 | 0.001 % |
16.85/16.91 c | 133821 | 374 1609 4859 | 20747 19552 18 | 0.001 % |
16.85/16.95 c | 134055 | 374 1609 4859 | 20747 19786 18 | 0.001 % |
16.85/16.99 c | 134313 | 374 1609 4859 | 20747 20044 18 | 0.001 % |
16.94/17.04 c | 134594 | 374 1609 4859 | 20747 20325 18 | 0.001 % |
16.94/17.09 c | 134905 | 374 1609 4859 | 20747 20636 18 | 0.001 % |
17.04/17.16 c | 135244 | 374 1609 4859 | 20747 15948 18 | 0.001 % |
17.14/17.21 c | 135616 | 374 1609 4859 | 20747 16320 18 | 0.001 % |
17.14/17.26 c | 136025 | 374 1609 4859 | 20747 16729 18 | 0.001 % |
17.24/17.32 c | 136474 | 374 1609 4859 | 20747 17178 18 | 0.001 % |
17.24/17.39 c | 136968 | 374 1609 4859 | 20747 17672 18 | 0.001 % |
17.34/17.47 c | 137510 | 374 1609 4859 | 20747 18214 18 | 0.001 % |
17.45/17.56 c | 138107 | 374 1609 4859 | 20747 18811 18 | 0.001 % |
17.55/17.66 c | 138764 | 374 1609 4859 | 20747 19468 18 | 0.001 % |
17.64/17.78 c | 139486 | 374 1609 4859 | 20747 20190 18 | 0.001 % |
17.84/17.91 c | 140279 | 374 1609 4859 | 20704 16005 18 | 0.001 % |
17.94/18.03 c | 141151 | 374 1609 4859 | 20704 16877 18 | 0.001 % |
18.04/18.15 c | 142109 | 374 1609 4859 | 20704 17835 18 | 0.001 % |
18.14/18.29 c | 143163 | 374 1609 4859 | 20704 18889 18 | 0.001 % |
18.34/18.47 c | 144323 | 374 1609 4859 | 20704 20049 18 | 0.001 % |
18.55/18.69 c | 145596 | 374 1609 4859 | 20704 16605 18 | 0.001 % |
18.74/18.89 c | 146997 | 374 1609 4859 | 20704 18006 18 | 0.001 % |
19.04/19.13 c | 148538 | 374 1609 4859 | 20704 19547 18 | 0.001 % |
19.04/19.14 c | 148641 | 374 1609 4859 | 20704 19650 18 | 0.001 % |
19.04/19.17 c | 148751 | 374 1609 4859 | 20704 19760 18 | 0.001 % |
19.04/19.19 c | 148872 | 374 1609 4859 | 20704 19881 18 | 0.001 % |
19.14/19.21 c | 149006 | 374 1609 4859 | 20704 20015 18 | 0.001 % |
19.14/19.24 c | 149152 | 374 1609 4859 | 20704 20161 18 | 0.001 % |
19.14/19.27 c | 149313 | 374 1609 4859 | 20704 20322 18 | 0.001 % |
19.24/19.30 c | 149489 | 374 1609 4859 | 20704 20498 18 | 0.001 % |
19.24/19.33 c | 149682 | 374 1609 4859 | 20704 20691 18 | 0.001 % |
19.24/19.38 c | 149894 | 374 1609 4859 | 20704 16064 18 | 0.001 % |
19.34/19.42 c | 150130 | 374 1609 4859 | 16170 12532 17 | 0.001 % |
19.34/19.44 c | 150386 | 374 1609 4859 | 16170 12788 17 | 0.001 % |
19.34/19.47 c | 150668 | 374 1609 4859 | 16170 13070 17 | 0.001 % |
19.44/19.51 c | 150977 | 374 1609 4859 | 16170 13379 17 | 0.001 % |
19.44/19.54 c | 151317 | 374 1609 4859 | 16170 13719 17 | 0.001 % |
19.44/19.58 c | 151691 | 374 1609 4859 | 16170 14093 18 | 0.001 % |
19.54/19.63 c | 152101 | 374 1609 4859 | 16170 14503 18 | 0.001 % |
19.54/19.68 c | 152551 | 374 1609 4859 | 16170 14953 18 | 0.001 % |
19.64/19.74 c | 153045 | 374 1609 4859 | 16170 15447 18 | 0.001 % |
19.74/19.82 c | 153589 | 374 1609 4859 | 16170 15991 18 | 0.001 % |
19.74/19.89 c | 154185 | 374 1609 4859 | 16170 13524 17 | 0.001 % |
19.84/19.96 c | 154840 | 374 1609 4859 | 16170 14179 17 | 0.001 % |
19.94/20.04 c | 155563 | 374 1609 4859 | 16170 14902 17 | 0.001 % |
20.04/20.14 c | 156355 | 374 1609 4859 | 16170 15694 18 | 0.001 % |
20.14/20.23 c | 157226 | 374 1609 4859 | 16170 13811 18 | 0.001 % |
20.24/20.34 c | 158184 | 374 1609 4859 | 16170 14769 18 | 0.001 % |
20.34/20.47 c | 159237 | 374 1609 4859 | 16170 15822 18 | 0.001 % |
20.54/20.62 c | 160396 | 374 1609 4859 | 13882 11981 17 | 0.001 % |
20.64/20.77 c | 161669 | 374 1609 4859 | 13882 13254 17 | 0.001 % |
20.84/20.92 c | 163069 | 374 1609 4859 | 13882 12507 17 | 0.001 % |
20.94/21.09 c | 164609 | 374 1609 4859 | 13882 12004 17 | 0.001 % |
21.14/21.26 c | 166304 | 374 1609 4859 | 13882 13699 18 | 0.001 % |
21.14/21.28 c | 166404 | 374 1609 4859 | 13882 13799 18 | 0.001 % |
21.14/21.29 c | 166514 | 374 1609 4859 | 13882 13909 18 | 0.001 % |
21.24/21.31 c | 166635 | 374 1609 4859 | 13882 12106 17 | 0.001 % |
21.24/21.33 c | 166770 | 374 1609 4859 | 13882 12241 17 | 0.001 % |
21.24/21.35 c | 166917 | 374 1609 4859 | 13882 12388 17 | 0.001 % |
21.24/21.36 c | 167077 | 374 1609 4859 | 13882 12548 17 | 0.001 % |
21.24/21.38 c | 167253 | 374 1609 4859 | 13882 12724 17 | 0.001 % |
21.34/21.41 c | 167446 | 374 1609 4859 | 13882 12917 17 | 0.001 % |
21.34/21.43 c | 167658 | 374 1609 4859 | 13882 13129 17 | 0.001 % |
21.34/21.45 c | 167891 | 374 1609 4859 | 13882 13362 17 | 0.001 % |
21.34/21.47 c | 168148 | 374 1609 4859 | 13882 13619 18 | 0.001 % |
21.44/21.50 c | 168431 | 374 1609 4859 | 13882 13902 18 | 0.001 % |
21.44/21.54 c | 168741 | 374 1609 4859 | 13882 12352 17 | 0.001 % |
21.44/21.58 c | 169080 | 374 1609 4859 | 13882 12691 17 | 0.001 % |
21.54/21.62 c | 169452 | 374 1609 4859 | 13882 13063 17 | 0.001 % |
21.54/21.67 c | 169861 | 374 1609 4859 | 13882 13472 17 | 0.001 % |
21.64/21.71 c | 170310 | 374 1609 4859 | 13612 12150 17 | 0.001 % |
21.64/21.75 c | 170803 | 374 1609 4859 | 13612 12643 17 | 0.001 % |
21.74/21.81 c | 171345 | 374 1609 4859 | 13612 13185 18 | 0.001 % |
21.74/21.88 c | 171942 | 374 1609 4859 | 13612 12360 18 | 0.001 % |
21.84/21.95 c | 172597 | 374 1609 4859 | 13612 13015 18 | 0.001 % |
21.94/22.03 c | 173319 | 374 1609 4859 | 13612 12255 18 | 0.001 % |
22.04/22.11 c | 174111 | 374 1609 4859 | 13612 13047 18 | 0.001 % |
22.14/22.22 c | 174982 | 374 1609 4859 | 13612 12426 18 | 0.001 % |
22.24/22.32 c | 175942 | 374 1609 4859 | 13612 13386 18 | 0.001 % |
22.34/22.46 c | 176995 | 374 1609 4859 | 13612 12892 17 | 0.001 % |
22.44/22.58 c | 178154 | 374 1609 4859 | 13612 12458 17 | 0.001 % |
22.64/22.74 c | 179433 | 374 1609 4859 | 13612 12131 17 | 0.001 % |
22.74/22.89 c | 180833 | 374 1609 4859 | 12699 12013 17 | 0.001 % |
22.94/23.05 c | 182373 | 374 1609 4859 | 12699 12175 17 | 0.001 % |
23.14/23.24 c | 184067 | 374 1609 4859 | 12699 12520 17 | 0.001 % |
23.34/23.44 c | 185930 | 374 1609 4859 | 12699 11712 17 | 0.001 % |
23.34/23.46 c | 186030 | 374 1609 4859 | 12699 11812 17 | 0.001 % |
23.34/23.47 c | 186141 | 374 1609 4859 | 12699 11923 17 | 0.001 % |
23.34/23.49 c | 186265 | 374 1609 4859 | 12699 12047 17 | 0.001 % |
23.43/23.50 c | 186398 | 374 1609 4859 | 12699 12180 17 | 0.001 % |
23.43/23.52 c | 186544 | 374 1609 4859 | 12699 12326 17 | 0.001 % |
23.43/23.54 c | 186704 | 374 1609 4859 | 12699 12486 17 | 0.001 % |
23.43/23.56 c | 186880 | 374 1609 4859 | 12699 12662 17 | 0.001 % |
23.43/23.59 c | 187074 | 374 1609 4859 | 12699 11483 17 | 0.001 % |
23.53/23.61 c | 187289 | 374 1609 4859 | 12699 11698 17 | 0.001 % |
23.53/23.64 c | 187524 | 374 1609 4859 | 12699 11933 17 | 0.001 % |
23.53/23.67 c | 187781 | 374 1609 4859 | 12699 12190 17 | 0.001 % |
23.63/23.70 c | 188062 | 374 1609 4859 | 12699 12471 17 | 0.001 % |
23.63/23.74 c | 188372 | 374 1609 4859 | 12699 11405 17 | 0.001 % |
23.63/23.77 c | 188714 | 374 1609 4859 | 12699 11747 17 | 0.001 % |
23.73/23.82 c | 189088 | 374 1609 4859 | 12699 12121 17 | 0.001 % |
23.73/23.86 c | 189498 | 374 1609 4859 | 12699 12531 17 | 0.001 % |
23.83/23.91 c | 189947 | 374 1609 4859 | 12699 11590 17 | 0.001 % |
23.83/23.96 c | 190442 | 374 1609 4859 | 11644 10835 17 | 0.001 % |
23.93/24.02 c | 190988 | 374 1609 4859 | 11644 11381 17 | 0.001 % |
23.93/24.08 c | 191586 | 374 1609 4859 | 11644 10810 17 | 0.001 % |
24.04/24.14 c | 192243 | 374 1609 4859 | 11644 11467 17 | 0.001 % |
24.14/24.21 c | 192965 | 374 1609 4859 | 11644 11021 17 | 0.001 % |
24.23/24.30 c | 193758 | 374 1609 4859 | 11644 10644 17 | 0.001 % |
24.23/24.39 c | 194632 | 374 1609 4859 | 11644 11518 17 | 0.001 % |
24.33/24.50 c | 195590 | 374 1609 4859 | 11644 11309 17 | 0.001 % |
24.53/24.60 c | 196645 | 374 1609 4859 | 11644 11195 17 | 0.001 % |
24.63/24.71 c | 197803 | 374 1609 4859 | 11644 11186 17 | 0.001 % |
24.73/24.84 c | 199076 | 374 1609 4859 | 11644 11292 17 | 0.001 % |
24.83/24.98 c | 200477 | 374 1609 4859 | 2147483647 11524 17 | 0.001 % |
25.03/25.14 c | 202018 | 374 1609 4859 | 2147483647 13065 17 | 0.001 % |
25.23/25.33 c | 203713 | 374 1609 4859 | 2147483647 14760 17 | 0.001 % |
25.43/25.56 c | 205576 | 374 1609 4859 | 2147483647 16623 17 | 0.001 % |
25.73/25.84 c | 207625 | 374 1609 4859 | 2147483647 18672 18 | 0.001 % |
25.73/25.86 c | 207725 | 374 1609 4859 | 2147483647 18772 18 | 0.001 % |
25.73/25.87 c | 207835 | 374 1609 4859 | 2147483647 18882 18 | 0.001 % |
25.73/25.89 c | 207957 | 374 1609 4859 | 2147483647 19004 18 | 0.001 % |
25.83/25.91 c | 208091 | 374 1609 4859 | 2147483647 19138 18 | 0.001 % |
25.83/25.94 c | 208238 | 374 1609 4859 | 2147483647 19285 18 | 0.001 % |
25.83/25.96 c | 208398 | 374 1609 4859 | 2147483647 19445 18 | 0.001 % |
25.83/25.99 c | 208574 | 374 1609 4859 | 2147483647 19621 18 | 0.001 % |
25.93/26.03 c | 208767 | 374 1609 4859 | 2147483647 19814 18 | 0.001 % |
25.93/26.07 c | 208980 | 374 1609 4859 | 2147483647 20027 18 | 0.001 % |
26.03/26.11 c | 209213 | 374 1609 4859 | 2147483647 20260 18 | 0.001 % |
26.03/26.16 c | 209469 | 374 1609 4859 | 2147483647 20516 18 | 0.001 % |
26.13/26.21 c | 209750 | 374 1609 4859 | 2147483647 20797 18 | 0.001 % |
26.13/26.28 c | 210061 | 374 1609 4859 | 21048 17371 17 | 0.001 % |
26.23/26.33 c | 210401 | 374 1609 4859 | 21048 17711 17 | 0.001 % |
26.23/26.38 c | 210773 | 374 1609 4859 | 21048 18083 17 | 0.001 % |
26.33/26.46 c | 211182 | 374 1609 4859 | 21048 18492 17 | 0.001 % |
26.42/26.54 c | 211631 | 374 1609 4859 | 21048 18941 17 | 0.001 % |
26.52/26.62 c | 212128 | 374 1609 4859 | 21048 19438 18 | 0.001 % |
26.62/26.71 c | 212672 | 374 1609 4859 | 21048 19982 18 | 0.001 % |
26.72/26.83 c | 213275 | 374 1609 4859 | 21048 20585 18 | 0.001 % |
26.82/26.97 c | 213930 | 374 1609 4859 | 21048 16097 17 | 0.001 % |
26.92/27.08 c | 214650 | 374 1609 4859 | 21048 16817 17 | 0.001 % |
27.02/27.19 c | 215444 | 374 1609 4859 | 21048 17611 17 | 0.001 % |
27.12/27.28 c | 216315 | 374 1609 4859 | 21048 18482 17 | 0.001 % |
27.33/27.42 c | 217275 | 374 1609 4859 | 21048 19442 17 | 0.001 % |
27.43/27.58 c | 218328 | 374 1609 4859 | 21048 20495 18 | 0.001 % |
27.62/27.75 c | 219486 | 374 1609 4859 | 21048 16688 18 | 0.001 % |
27.82/27.90 c | 220759 | 374 1609 4859 | 17203 13990 17 | 0.001 % |
27.92/28.04 c | 222159 | 374 1609 4859 | 17203 15390 18 | 0.001 % |
28.12/28.23 c | 223699 | 374 1609 4859 | 17203 16930 18 | 0.001 % |
28.32/28.43 c | 225395 | 374 1609 4859 | 17203 15188 18 | 0.001 % |
28.53/28.65 c | 227260 | 374 1609 4859 | 17203 17053 18 | 0.001 % |
28.72/28.89 c | 229310 | 374 1609 4859 | 17203 15835 18 | 0.001 % |
29.02/29.16 c | 231563 | 374 1609 4859 | 16527 15059 18 | 0.001 % |
29.02/29.18 c | 231664 | 374 1609 4859 | 16527 15160 18 | 0.001 % |
29.02/29.19 c | 231774 | 374 1609 4859 | 16527 15270 18 | 0.001 % |
29.12/29.21 c | 231897 | 374 1609 4859 | 16527 15393 18 | 0.001 % |
29.12/29.22 c | 232030 | 374 1609 4859 | 16527 15526 18 | 0.001 % |
29.12/29.24 c | 232179 | 374 1609 4859 | 16527 15675 18 | 0.001 % |
29.12/29.26 c | 232340 | 374 1609 4859 | 16527 15836 18 | 0.001 % |
29.12/29.29 c | 232517 | 374 1609 4859 | 16527 16013 18 | 0.001 % |
29.22/29.32 c | 232711 | 374 1609 4859 | 16527 16207 18 | 0.001 % |
29.22/29.35 c | 232923 | 374 1609 4859 | 16527 16419 18 | 0.001 % |
29.22/29.39 c | 233156 | 374 1609 4859 | 16527 13699 18 | 0.001 % |
29.32/29.41 c | 233412 | 374 1609 4859 | 16527 13955 18 | 0.001 % |
29.32/29.44 c | 233693 | 374 1609 4859 | 16527 14236 18 | 0.001 % |
29.32/29.47 c | 234004 | 374 1609 4859 | 16527 14547 18 | 0.001 % |
29.42/29.52 c | 234343 | 374 1609 4859 | 16527 14886 18 | 0.001 % |
29.42/29.57 c | 234715 | 374 1609 4859 | 16527 15258 18 | 0.001 % |
29.52/29.62 c | 235125 | 374 1609 4859 | 16527 15668 18 | 0.001 % |
29.52/29.67 c | 235575 | 374 1609 4859 | 16527 16118 18 | 0.001 % |
29.62/29.74 c | 236069 | 374 1609 4859 | 16527 13837 18 | 0.001 % |
29.72/29.80 c | 236611 | 374 1609 4859 | 16527 14379 18 | 0.001 % |
29.72/29.87 c | 237207 | 374 1609 4859 | 16527 14975 18 | 0.001 % |
29.82/29.96 c | 237862 | 374 1609 4859 | 16527 15630 18 | 0.001 % |
29.92/30.06 c | 238583 | 374 1609 4859 | 16527 16351 18 | 0.001 % |
30.02/30.16 c | 239377 | 374 1609 4859 | 16527 14395 18 | 0.001 % |
30.12/30.26 c | 240249 | 374 1609 4859 | 15019 12822 18 | 0.001 % |
30.22/30.36 c | 241207 | 374 1609 4859 | 15019 13780 18 | 0.001 % |
30.32/30.48 c | 242260 | 374 1609 4859 | 15019 14833 18 | 0.001 % |
30.52/30.61 c | 243419 | 374 1609 4859 | 15019 13763 18 | 0.001 % |
30.62/30.75 c | 244693 | 374 1609 4859 | 15019 15037 18 | 0.001 % |
30.82/30.92 c | 246093 | 374 1609 4859 | 15019 14299 18 | 0.001 % |
31.02/31.10 c | 247633 | 374 1609 4859 | 15019 13638 18 | 0.001 % |
31.12/31.29 c | 249327 | 374 1609 4859 | 15019 13187 18 | 0.001 % |
31.42/31.50 c | 251190 | 374 1609 4859 | 13860 13092 18 | 0.001 % |
31.62/31.73 c | 253240 | 374 1609 4859 | 13860 13362 17 | 0.001 % |
31.82/31.97 c | 255494 | 374 1609 4859 | 13860 13901 18 | 0.001 % |
32.12/32.26 c | 257972 | 374 1609 4859 | 13860 13003 18 | 0.001 % |
32.12/32.27 c | 258075 | 374 1609 4859 | 13860 13106 18 | 0.001 % |
32.12/32.28 c | 258188 | 374 1609 4859 | 13860 13219 18 | 0.001 % |
32.12/32.30 c | 258309 | 374 1609 4859 | 13860 13340 18 | 0.001 % |
32.22/32.31 c | 258442 | 374 1609 4859 | 13860 13473 18 | 0.001 % |
32.22/32.33 c | 258588 | 374 1609 4859 | 13860 13619 18 | 0.001 % |
32.22/32.35 c | 258748 | 374 1609 4859 | 13860 13779 18 | 0.001 % |
32.22/32.38 c | 258924 | 374 1609 4859 | 13860 12227 18 | 0.001 % |
32.32/32.40 c | 259117 | 374 1609 4859 | 13860 12420 18 | 0.001 % |
32.32/32.42 c | 259329 | 374 1609 4859 | 13860 12632 18 | 0.001 % |
32.32/32.45 c | 259562 | 374 1609 4859 | 13860 12865 18 | 0.001 % |
32.32/32.48 c | 259818 | 374 1609 4859 | 13860 13121 18 | 0.001 % |
32.42/32.51 c | 260099 | 374 1609 4859 | 13305 11742 18 | 0.001 % |
32.42/32.54 c | 260408 | 374 1609 4859 | 13305 12051 18 | 0.001 % |
32.42/32.58 c | 260747 | 374 1609 4859 | 13305 12390 18 | 0.001 % |
32.52/32.62 c | 261119 | 374 1609 4859 | 13305 12762 18 | 0.001 % |
32.52/32.66 c | 261528 | 374 1609 4859 | 13305 13171 18 | 0.001 % |
32.62/32.71 c | 261977 | 374 1609 4859 | 13305 12125 18 | 0.001 % |
32.62/32.76 c | 262470 | 374 1609 4859 | 13305 12618 18 | 0.001 % |
32.71/32.81 c | 263013 | 374 1609 4859 | 13305 13161 18 | 0.001 % |
32.71/32.88 c | 263609 | 374 1609 4859 | 13305 12341 18 | 0.001 % |
32.82/32.94 c | 264264 | 374 1609 4859 | 13305 12996 18 | 0.001 % |
32.92/33.02 c | 264985 | 374 1609 4859 | 13305 12365 18 | 0.001 % |
32.92/33.09 c | 265777 | 374 1609 4859 | 13305 13157 18 | 0.001 % |
33.01/33.19 c | 266650 | 374 1609 4859 | 13305 12696 18 | 0.001 % |
33.11/33.30 c | 267610 | 374 1609 4859 | 13305 12323 18 | 0.001 % |
33.31/33.41 c | 268663 | 374 1609 4859 | 13305 12042 18 | 0.001 % |
33.41/33.53 c | 269821 | 374 1609 4859 | 13305 13200 18 | 0.001 % |
33.51/33.68 c | 271094 | 374 1609 4859 | 2147483647 13141 18 | 0.001 % |
33.71/33.83 c | 272494 | 374 1609 4859 | 2147483647 14541 18 | 0.001 % |
33.91/34.01 c | 274034 | 374 1609 4859 | 2147483647 16081 18 | 0.001 % |
34.11/34.26 c | 275728 | 374 1609 4859 | 2147483647 17775 18 | 0.001 % |
34.41/34.57 c | 277591 | 374 1609 4859 | 2147483647 19638 18 | 0.001 % |
34.71/34.88 c | 279640 | 374 1609 4859 | 2147483647 21687 18 | 0.001 % |
35.11/35.23 c | 281894 | 374 1609 4859 | 22047 19756 18 | 0.001 % |
35.51/35.68 c | 284374 | 374 1609 4859 | 22047 17259 18 | 0.001 % |
36.01/36.11 c | 287099 | 374 1609 4859 | 22047 19984 18 | 0.001 % |
36.01/36.13 c | 287199 | 374 1609 4859 | 22047 20084 18 | 0.001 % |
36.01/36.15 c | 287309 | 374 1609 4859 | 22047 20194 18 | 0.001 % |
36.01/36.17 c | 287431 | 374 1609 4859 | 22047 20316 18 | 0.001 % |
36.11/36.20 c | 287564 | 374 1609 4859 | 22047 20449 18 | 0.001 % |
36.11/36.23 c | 287710 | 374 1609 4859 | 22047 20595 18 | 0.001 % |
36.11/36.25 c | 287871 | 374 1609 4859 | 22047 20756 18 | 0.001 % |
36.11/36.29 c | 288047 | 374 1609 4859 | 22047 20932 18 | 0.001 % |
36.21/36.33 c | 288241 | 374 1609 4859 | 22047 21126 18 | 0.001 % |
36.21/36.37 c | 288453 | 374 1609 4859 | 22047 21338 18 | 0.001 % |
36.31/36.42 c | 288687 | 374 1609 4859 | 22047 21572 18 | 0.001 % |
36.31/36.47 c | 288943 | 374 1609 4859 | 22047 21828 18 | 0.001 % |
36.41/36.55 c | 289224 | 374 1609 4859 | 22047 16675 18 | 0.001 % |
36.51/36.60 c | 289533 | 374 1609 4859 | 22047 16984 18 | 0.001 % |
36.51/36.65 c | 289873 | 374 1609 4859 | 22047 17324 18 | 0.001 % |
36.61/36.71 c | 290245 | 374 1609 4859 | 17452 13395 18 | 0.001 % |
36.61/36.76 c | 290659 | 374 1609 4859 | 17452 13809 18 | 0.001 % |
36.71/36.82 c | 291108 | 374 1609 4859 | 17452 14258 18 | 0.001 % |
36.71/36.88 c | 291601 | 374 1609 4859 | 17452 14751 18 | 0.001 % |
36.81/36.96 c | 292143 | 374 1609 4859 | 17452 15293 19 | 0.001 % |
36.91/37.03 c | 292739 | 374 1609 4859 | 17452 15889 19 | 0.001 % |
37.00/37.13 c | 293396 | 374 1609 4859 | 17452 16546 19 | 0.001 % |
37.10/37.23 c | 294116 | 374 1609 4859 | 17452 17266 19 | 0.001 % |
37.21/37.34 c | 294908 | 374 1609 4859 | 17452 14362 18 | 0.001 % |
37.31/37.44 c | 295780 | 374 1609 4859 | 17452 15234 18 | 0.001 % |
37.40/37.58 c | 296738 | 374 1609 4859 | 17452 16192 18 | 0.001 % |
37.60/37.73 c | 297792 | 374 1609 4859 | 17452 17246 18 | 0.001 % |
37.80/37.91 c | 298950 | 374 1609 4859 | 17452 14785 18 | 0.001 % |
37.90/38.09 c | 300224 | 374 1609 4859 | 15835 12832 17 | 0.001 % |
38.10/38.23 c | 301624 | 374 1609 4859 | 15835 14232 17 | 0.001 % |
38.31/38.44 c | 303164 | 374 1609 4859 | 15835 15772 18 | 0.001 % |
38.50/38.68 c | 304859 | 374 1609 4859 | 15835 14662 17 | 0.001 % |
38.80/38.90 c | 306722 | 374 1609 4859 | 15835 13726 17 | 0.001 % |
39.00/39.15 c | 308772 | 374 1609 4859 | 15835 15776 17 | 0.001 % |
39.30/39.42 c | 311025 | 374 1609 4859 | 14380 13070 17 | 0.001 % |
39.59/39.72 c | 313503 | 374 1609 4859 | 14380 13376 17 | 0.001 % |
39.89/40.04 c | 316228 | 374 1609 4859 | 14380 13906 16 | 0.001 % |
40.19/40.37 c | 319228 | 374 1609 4859 | 14380 12744 17 | 0.001 % |
40.19/40.38 c | 319331 | 374 1609 4859 | 14380 12847 17 | 0.001 % |
40.19/40.40 c | 319441 | 374 1609 4859 | 14380 12957 17 | 0.001 % |
40.30/40.41 c | 319562 | 374 1609 4859 | 14380 13078 17 | 0.001 % |
40.30/40.43 c | 319696 | 374 1609 4859 | 14380 13212 17 | 0.001 % |
40.30/40.44 c | 319842 | 374 1609 4859 | 14380 13358 17 | 0.001 % |
40.30/40.46 c | 320003 | 374 1609 4859 | 14380 13519 17 | 0.001 % |
40.30/40.48 c | 320179 | 374 1609 4859 | 13519 11825 17 | 0.001 % |
40.40/40.50 c | 320372 | 374 1609 4859 | 13519 12018 17 | 0.001 % |
40.40/40.53 c | 320584 | 374 1609 4859 | 13519 12230 17 | 0.001 % |
40.40/40.55 c | 320818 | 374 1609 4859 | 13519 12464 17 | 0.001 % |
40.40/40.59 c | 321074 | 374 1609 4859 | 13519 12720 17 | 0.001 % |
40.51/40.61 c | 321356 | 374 1609 4859 | 13519 13002 17 | 0.001 % |
40.51/40.65 c | 321665 | 374 1609 4859 | 13519 13311 17 | 0.001 % |
40.51/40.69 c | 322005 | 374 1609 4859 | 13519 11834 17 | 0.001 % |
40.61/40.73 c | 322378 | 374 1609 4859 | 13519 12207 17 | 0.001 % |
40.61/40.78 c | 322787 | 374 1609 4859 | 13519 12616 17 | 0.001 % |
40.70/40.83 c | 323236 | 374 1609 4859 | 13519 13065 17 | 0.001 % |
40.70/40.88 c | 323729 | 374 1609 4859 | 13519 13558 17 | 0.001 % |
40.80/40.95 c | 324271 | 374 1609 4859 | 13519 12331 17 | 0.001 % |
40.90/41.01 c | 324868 | 374 1609 4859 | 13519 12928 17 | 0.001 % |
41.00/41.10 c | 325524 | 374 1609 4859 | 13519 11802 17 | 0.001 % |
41.00/41.17 c | 326245 | 374 1609 4859 | 13519 12523 17 | 0.001 % |
41.10/41.25 c | 327039 | 374 1609 4859 | 13519 13317 17 | 0.001 % |
41.20/41.34 c | 327910 | 374 1609 4859 | 13519 12526 17 | 0.001 % |
41.30/41.46 c | 328871 | 374 1609 4859 | 13519 13487 18 | 0.001 % |
41.40/41.59 c | 329924 | 374 1609 4859 | 13519 12885 17 | 0.001 % |
41.61/41.74 c | 331082 | 374 1609 4859 | 12961 12436 17 | 0.001 % |
41.71/41.88 c | 332355 | 374 1609 4859 | 12961 12078 17 | 0.001 % |
41.90/42.03 c | 333755 | 374 1609 4859 | 12961 11954 18 | 0.001 % |
42.00/42.20 c | 335295 | 374 1609 4859 | 12961 12017 18 | 0.001 % |
42.20/42.39 c | 336989 | 374 1609 4859 | 12961 12220 18 | 0.001 % |
42.40/42.59 c | 338852 | 374 1609 4859 | 12961 12632 18 | 0.001 % |
42.71/42.83 c | 340901 | 374 1609 4859 | 12341 11853 18 | 0.001 % |
42.90/43.06 c | 343154 | 374 1609 4859 | 12341 11569 18 | 0.001 % |
43.20/43.31 c | 345634 | 374 1609 4859 | 12341 11573 18 | 0.001 % |
43.50/43.62 c | 348360 | 374 1609 4859 | 12341 11824 17 | 0.001 % |
43.80/43.94 c | 351357 | 374 1609 4859 | 2147483647 13582 18 | 0.001 % |
44.20/44.34 c | 354656 | 374 1609 4859 | 2147483647 16881 18 | 0.001 % |
44.20/44.35 c | 354756 | 374 1609 4859 | 2147483647 16981 18 | 0.001 % |
44.20/44.36 c | 354866 | 374 1609 4859 | 2147483647 17091 18 | 0.001 % |
44.20/44.38 c | 354988 | 374 1609 4859 | 2147483647 17213 18 | 0.001 % |
44.20/44.39 c | 355121 | 374 1609 4859 | 2147483647 17346 18 | 0.001 % |
44.30/44.41 c | 355271 | 374 1609 4859 | 2147483647 17496 18 | 0.001 % |
44.30/44.43 c | 355432 | 374 1609 4859 | 2147483647 17657 18 | 0.001 % |
44.30/44.45 c | 355608 | 374 1609 4859 | 2147483647 17833 18 | 0.001 % |
44.30/44.48 c | 355801 | 374 1609 4859 | 2147483647 18026 18 | 0.001 % |
44.40/44.50 c | 356015 | 374 1609 4859 | 2147483647 18240 18 | 0.001 % |
44.40/44.54 c | 356248 | 374 1609 4859 | 2147483647 18473 18 | 0.001 % |
44.40/44.58 c | 356505 | 374 1609 4859 | 2147483647 18730 18 | 0.001 % |
44.50/44.65 c | 356787 | 374 1609 4859 | 2147483647 19012 18 | 0.001 % |
44.50/44.69 c | 357099 | 374 1609 4859 | 2147483647 19324 18 | 0.001 % |
44.60/44.75 c | 357439 | 374 1609 4859 | 2147483647 19664 18 | 0.001 % |
44.70/44.80 c | 357811 | 374 1609 4859 | 2147483647 20036 18 | 0.001 % |
44.70/44.86 c | 358221 | 374 1609 4859 | 2147483647 20446 18 | 0.001 % |
44.80/44.93 c | 358670 | 374 1609 4859 | 2147483647 20895 18 | 0.001 % |
44.90/45.01 c | 359167 | 374 1609 4859 | 2147483647 21392 18 | 0.001 % |
45.00/45.12 c | 359709 | 374 1609 4859 | 2147483647 21934 18 | 0.001 % |
45.09/45.25 c | 360305 | 374 1609 4859 | 22225 18219 18 | 0.001 % |
45.19/45.36 c | 360960 | 374 1609 4859 | 22225 18874 18 | 0.001 % |
45.29/45.50 c | 361680 | 374 1609 4859 | 22225 19594 18 | 0.001 % |
45.49/45.65 c | 362472 | 374 1609 4859 | 22225 20386 18 | 0.001 % |
45.69/45.83 c | 363346 | 374 1609 4859 | 22225 21260 18 | 0.001 % |
45.89/46.00 c | 364306 | 374 1609 4859 | 22225 22220 18 | 0.001 % |
46.00/46.16 c | 365359 | 374 1609 4859 | 22225 17761 18 | 0.001 % |
46.19/46.35 c | 366517 | 374 1609 4859 | 22225 18919 18 | 0.001 % |
46.39/46.52 c | 367791 | 374 1609 4859 | 22225 20193 18 | 0.001 % |
46.59/46.74 c | 369194 | 374 1609 4859 | 22225 21596 18 | 0.001 % |
46.79/46.95 c | 370734 | 374 1609 4859 | 17082 13743 18 | 0.001 % |
46.99/47.15 c | 372428 | 374 1609 4859 | 17082 15437 19 | 0.001 % |
47.29/47.40 c | 374291 | 374 1609 4859 | 17082 14012 19 | 0.001 % |
47.49/47.64 c | 376340 | 374 1609 4859 | 17082 16061 19 | 0.001 % |
47.79/47.96 c | 378594 | 374 1609 4859 | 17082 15087 19 | 0.001 % |
48.09/48.26 c | 381072 | 374 1609 4859 | 16493 14445 19 | 0.001 % |
48.49/48.60 c | 383797 | 374 1609 4859 | 16493 14269 18 | 0.001 % |
48.79/48.94 c | 386795 | 374 1609 4859 | 16493 14430 18 | 0.001 % |
49.19/49.35 c | 390092 | 374 1609 4859 | 14843 12430 18 | 0.001 % |
49.59/49.74 c | 393717 | 374 1609 4859 | 14843 13655 18 | 0.001 % |
49.59/49.76 c | 393819 | 374 1609 4859 | 14843 13757 18 | 0.001 % |
49.59/49.77 c | 393929 | 374 1609 4859 | 14843 13867 18 | 0.001 % |
49.59/49.79 c | 394052 | 374 1609 4859 | 14843 13990 18 | 0.001 % |
49.69/49.81 c | 394187 | 374 1609 4859 | 14843 14125 18 | 0.001 % |
49.69/49.82 c | 394335 | 374 1609 4859 | 14843 14273 18 | 0.001 % |
49.69/49.84 c | 394496 | 374 1609 4859 | 14843 14434 18 | 0.001 % |
49.69/49.86 c | 394673 | 374 1609 4859 | 14843 14611 18 | 0.001 % |
49.69/49.89 c | 394866 | 374 1609 4859 | 14843 14804 18 | 0.001 % |
49.79/49.92 c | 395078 | 374 1609 4859 | 14843 12605 18 | 0.001 % |
49.79/49.95 c | 395311 | 374 1609 4859 | 14843 12838 18 | 0.001 % |
49.79/49.98 c | 395567 | 374 1609 4859 | 14843 13094 18 | 0.001 % |
49.89/50.01 c | 395848 | 374 1609 4859 | 14843 13375 18 | 0.001 % |
49.89/50.05 c | 396158 | 374 1609 4859 | 14843 13685 18 | 0.001 % |
49.89/50.09 c | 396498 | 374 1609 4859 | 14843 14025 18 | 0.001 % |
49.99/50.14 c | 396871 | 374 1609 4859 | 14843 14398 18 | 0.001 % |
49.99/50.19 c | 397280 | 374 1609 4859 | 14843 14807 18 | 0.001 % |
50.09/50.25 c | 397730 | 374 1609 4859 | 14843 12854 18 | 0.001 % |
50.19/50.31 c | 398226 | 374 1609 4859 | 14843 13350 18 | 0.001 % |
50.19/50.37 c | 398769 | 374 1609 4859 | 14843 13893 18 | 0.001 % |
50.29/50.44 c | 399365 | 374 1609 4859 | 14843 14489 18 | 0.001 % |
50.40/50.52 c | 400020 | 374 1609 4859 | 12746 12766 18 | 0.001 % |
50.50/50.61 c | 400743 | 374 1609 4859 | 12746 11464 17 | 0.001 % |
50.50/50.70 c | 401535 | 374 1609 4859 | 12746 12256 17 | 0.001 % |
50.59/50.79 c | 402406 | 374 1609 4859 | 12746 11379 17 | 0.001 % |
50.69/50.88 c | 403364 | 374 1609 4859 | 12746 12337 17 | 0.001 % |
50.79/50.99 c | 404421 | 374 1609 4859 | 12746 11865 18 | 0.001 % |
50.99/51.12 c | 405580 | 374 1609 4859 | 12746 11579 18 | 0.001 % |
51.09/51.27 c | 406853 | 374 1609 4859 | 12746 11393 18 | 0.001 % |
51.29/51.42 c | 408254 | 374 1609 4859 | 12746 11335 18 | 0.001 % |
51.39/51.59 c | 409795 | 374 1609 4859 | 12746 11452 18 | 0.001 % |
51.60/51.77 c | 411489 | 374 1609 4859 | 11657 10669 18 | 0.001 % |
51.79/51.96 c | 413352 | 374 1609 4859 | 11657 11364 17 | 0.001 % |
51.99/52.17 c | 415403 | 374 1609 4859 | 11657 11078 17 | 0.001 % |
52.29/52.40 c | 417657 | 374 1609 4859 | 11657 10996 17 | 0.001 % |
52.49/52.68 c | 420136 | 374 1609 4859 | 2147483647 11136 17 | 0.001 % |
52.79/52.98 c | 422861 | 374 1609 4859 | 2147483647 13861 17 | 0.001 % |
53.29/53.41 c | 425858 | 374 1609 4859 | 2147483647 16858 18 | 0.001 % |
53.89/54.02 c | 429155 | 374 1609 4859 | 2147483647 20155 18 | 0.001 % |
54.39/54.58 c | 432780 | 374 1609 4859 | 21000 19376 18 | 0.001 % |
55.09/55.22 c | 436771 | 374 1609 4859 | 21000 18495 18 | 0.001 % |
55.09/55.23 c | 436871 | 374 1609 4859 | 21000 18595 18 | 0.001 % |
55.09/55.25 c | 436981 | 374 1609 4859 | 21000 18705 18 | 0.001 % |
55.09/55.26 c | 437104 | 374 1609 4859 | 21000 18828 18 | 0.001 % |
55.09/55.28 c | 437238 | 374 1609 4859 | 21000 18962 18 | 0.001 % |
55.19/55.31 c | 437384 | 374 1609 4859 | 21000 19108 18 | 0.001 % |
55.19/55.34 c | 437544 | 374 1609 4859 | 21000 19268 18 | 0.001 % |
55.19/55.37 c | 437721 | 374 1609 4859 | 21000 19445 18 | 0.001 % |
55.19/55.39 c | 437915 | 374 1609 4859 | 21000 19639 18 | 0.001 % |
55.29/55.42 c | 438128 | 374 1609 4859 | 21000 19852 18 | 0.001 % |
55.29/55.45 c | 438362 | 374 1609 4859 | 21000 20086 18 | 0.001 % |
55.29/55.49 c | 438618 | 374 1609 4859 | 21000 20342 18 | 0.001 % |
55.39/55.55 c | 438900 | 374 1609 4859 | 21000 20624 18 | 0.001 % |
55.39/55.60 c | 439209 | 374 1609 4859 | 21000 20933 18 | 0.001 % |
55.49/55.67 c | 439550 | 374 1609 4859 | 21000 16229 17 | 0.001 % |
55.59/55.71 c | 439923 | 374 1609 4859 | 21000 16602 17 | 0.001 % |
55.59/55.77 c | 440334 | 374 1609 4859 | 16679 13055 17 | 0.001 % |
55.69/55.83 c | 440784 | 374 1609 4859 | 16679 13505 17 | 0.001 % |
55.69/55.88 c | 441279 | 374 1609 4859 | 16679 14000 17 | 0.001 % |
55.79/55.94 c | 441821 | 374 1609 4859 | 16679 14542 17 | 0.001 % |
55.89/56.01 c | 442417 | 374 1609 4859 | 16679 15138 17 | 0.001 % |
55.89/56.09 c | 443072 | 374 1609 4859 | 16679 15793 17 | 0.001 % |
55.99/56.19 c | 443792 | 374 1609 4859 | 16679 16513 18 | 0.001 % |
56.19/56.30 c | 444586 | 374 1609 4859 | 16679 14011 17 | 0.001 % |
56.29/56.41 c | 445457 | 374 1609 4859 | 16679 14882 18 | 0.001 % |
56.39/56.53 c | 446416 | 374 1609 4859 | 16679 15841 18 | 0.001 % |
56.49/56.67 c | 447469 | 374 1609 4859 | 16679 13761 18 | 0.001 % |
56.59/56.79 c | 448627 | 374 1609 4859 | 16679 14919 18 | 0.001 % |
56.78/56.96 c | 449901 | 374 1609 4859 | 16679 16193 18 | 0.001 % |
56.99/57.12 c | 451302 | 374 1609 4859 | 16292 14668 18 | 0.001 % |
57.18/57.33 c | 452842 | 374 1609 4859 | 16292 16208 18 | 0.001 % |
57.38/57.51 c | 454536 | 374 1609 4859 | 16292 15211 18 | 0.001 % |
57.58/57.74 c | 456400 | 374 1609 4859 | 16292 14476 18 | 0.001 % |
57.78/57.99 c | 458450 | 374 1609 4859 | 16292 13937 17 | 0.001 % |
58.09/58.25 c | 460703 | 374 1609 4859 | 15487 13767 17 | 0.001 % |
58.39/58.58 c | 463182 | 374 1609 4859 | 15487 13714 17 | 0.001 % |
58.79/58.92 c | 465911 | 374 1609 4859 | 15487 13819 17 | 0.001 % |
59.08/59.28 c | 468909 | 374 1609 4859 | 15487 14203 18 | 0.001 % |
59.48/59.69 c | 472207 | 374 1609 4859 | 15295 14878 18 | 0.001 % |
59.98/60.11 c | 475833 | 374 1609 4859 | 15295 13517 19 | 0.001 % |
60.39/60.56 c | 479820 | 374 1609 4859 | 15295 15086 19 | 0.001 % |
60.98/61.10 c | 484205 | 374 1609 4859 | 15266 14999 19 | 0.001 % |
60.98/61.11 c | 484305 | 374 1609 4859 | 15266 15099 19 | 0.001 % |
60.98/61.12 c | 484416 | 374 1609 4859 | 15266 15210 19 | 0.001 % |
60.98/61.15 c | 484538 | 374 1609 4859 | 15266 13091 19 | 0.001 % |
60.98/61.17 c | 484673 | 374 1609 4859 | 15266 13226 19 | 0.001 % |
60.98/61.19 c | 484819 | 374 1609 4859 | 15266 13372 19 | 0.001 % |
61.08/61.21 c | 484980 | 374 1609 4859 | 15266 13533 19 | 0.001 % |
61.08/61.23 c | 485156 | 374 1609 4859 | 15266 13709 19 | 0.001 % |
61.08/61.26 c | 485349 | 374 1609 4859 | 15266 13902 19 | 0.001 % |
61.08/61.28 c | 485562 | 374 1609 4859 | 15266 14115 19 | 0.001 % |
61.18/61.32 c | 485796 | 374 1609 4859 | 15266 14349 19 | 0.001 % |
61.18/61.34 c | 486052 | 374 1609 4859 | 15266 14605 19 | 0.001 % |
61.18/61.38 c | 486334 | 374 1609 4859 | 15266 14887 19 | 0.001 % |
61.28/61.42 c | 486643 | 374 1609 4859 | 15266 15196 19 | 0.001 % |
61.28/61.47 c | 486984 | 374 1609 4859 | 15266 13242 18 | 0.001 % |
61.38/61.52 c | 487358 | 374 1609 4859 | 15266 13616 19 | 0.001 % |
61.38/61.57 c | 487768 | 374 1609 4859 | 15266 14026 19 | 0.001 % |
61.48/61.62 c | 488217 | 374 1609 4859 | 15266 14475 19 | 0.001 % |
61.48/61.68 c | 488711 | 374 1609 4859 | 15266 14969 19 | 0.001 % |
61.58/61.75 c | 489253 | 374 1609 4859 | 15266 13170 18 | 0.001 % |
61.68/61.83 c | 489850 | 374 1609 4859 | 15266 13767 18 | 0.001 % |
61.78/61.90 c | 490507 | 374 1609 4859 | 13919 12323 18 | 0.001 % |
61.78/61.98 c | 491227 | 374 1609 4859 | 13919 13043 18 | 0.001 % |
61.88/62.08 c | 492021 | 374 1609 4859 | 13919 13837 18 | 0.001 % |
61.98/62.18 c | 492894 | 374 1609 4859 | 13919 12762 18 | 0.001 % |
62.18/62.30 c | 493857 | 374 1609 4859 | 13919 13725 18 | 0.001 % |
62.28/62.42 c | 494912 | 374 1609 4859 | 13919 12852 18 | 0.001 % |
62.38/62.56 c | 496071 | 374 1609 4859 | 13919 12180 18 | 0.001 % |
62.58/62.70 c | 497344 | 374 1609 4859 | 13919 13453 18 | 0.001 % |
62.68/62.85 c | 498744 | 374 1609 4859 | 13919 13052 18 | 0.001 % |
62.88/63.03 c | 500284 | 374 1609 4859 | 12563 11303 18 | 0.001 % |
63.08/63.20 c | 501979 | 374 1609 4859 | 12563 11739 18 | 0.001 % |
63.18/63.38 c | 503842 | 374 1609 4859 | 12563 12343 18 | 0.001 % |
63.38/63.59 c | 505891 | 374 1609 4859 | 12563 11872 18 | 0.001 % |
63.68/63.83 c | 508145 | 374 1609 4859 | 12563 11606 18 | 0.001 % |
63.98/64.10 c | 510625 | 374 1609 4859 | 2147483647 12827 18 | 0.001 % |
64.28/64.42 c | 513352 | 374 1609 4859 | 2147483647 15554 18 | 0.001 % |
64.68/64.81 c | 516349 | 374 1609 4859 | 2147483647 18551 18 | 0.001 % |
65.18/65.32 c | 519645 | 374 1609 4859 | 2147483647 21847 18 | 0.001 % |
65.78/65.93 c | 523270 | 374 1609 4859 | 22202 20786 18 | 0.001 % |
66.38/66.53 c | 527259 | 374 1609 4859 | 22202 19045 17 | 0.001 % |
66.98/67.17 c | 531644 | 374 1609 4859 | 21786 17944 17 | 0.001 % |
67.68/67.80 c | 536468 | 374 1609 4859 | 21786 17864 17 | 0.001 % |
67.68/67.81 c | 536570 | 374 1609 4859 | 21786 17966 17 | 0.001 % |
67.68/67.83 c | 536683 | 374 1609 4859 | 21786 18079 17 | 0.001 % |
67.68/67.84 c | 536806 | 374 1609 4859 | 21786 18202 17 | 0.001 % |
67.68/67.86 c | 536939 | 374 1609 4859 | 21786 18335 17 | 0.001 % |
67.68/67.88 c | 537085 | 374 1609 4859 | 21786 18481 17 | 0.001 % |
67.78/67.90 c | 537246 | 374 1609 4859 | 21786 18642 17 | 0.001 % |
67.78/67.94 c | 537424 | 374 1609 4859 | 21786 18820 17 | 0.001 % |
67.78/67.96 c | 537618 | 374 1609 4859 | 21786 19014 17 | 0.001 % |
67.88/68.00 c | 537832 | 374 1609 4859 | 21786 19228 17 | 0.001 % |
67.88/68.04 c | 538065 | 374 1609 4859 | 21786 19461 17 | 0.001 % |
67.88/68.08 c | 538321 | 374 1609 4859 | 21786 19717 17 | 0.001 % |
67.98/68.13 c | 538602 | 374 1609 4859 | 21786 19998 17 | 0.001 % |
67.98/68.17 c | 538911 | 374 1609 4859 | 21786 20307 17 | 0.001 % |
68.08/68.23 c | 539252 | 374 1609 4859 | 21786 20648 17 | 0.001 % |
68.08/68.29 c | 539625 | 374 1609 4859 | 21786 21021 17 | 0.001 % |
68.18/68.39 c | 540035 | 374 1609 4859 | 21397 16377 17 | 0.001 % |
68.28/68.43 c | 540485 | 374 1609 4859 | 21397 16827 17 | 0.001 % |
68.28/68.49 c | 540978 | 374 1609 4859 | 21397 17320 17 | 0.001 % |
68.38/68.57 c | 541520 | 374 1609 4859 | 21397 17862 17 | 0.001 % |
68.48/68.67 c | 542116 | 374 1609 4859 | 21397 18458 17 | 0.001 % |
68.58/68.78 c | 542772 | 374 1609 4859 | 21397 19114 17 | 0.001 % |
68.68/68.87 c | 543493 | 374 1609 4859 | 21397 19835 17 | 0.001 % |
68.77/68.98 c | 544286 | 374 1609 4859 | 21397 20628 17 | 0.001 % |
68.97/69.15 c | 545158 | 374 1609 4859 | 21397 16333 17 | 0.001 % |
69.08/69.27 c | 546116 | 374 1609 4859 | 21397 17291 17 | 0.001 % |
69.27/69.43 c | 547172 | 374 1609 4859 | 21397 18347 17 | 0.001 % |
69.37/69.59 c | 548330 | 374 1609 4859 | 21397 19505 18 | 0.001 % |
69.57/69.77 c | 549605 | 374 1609 4859 | 21397 20780 18 | 0.001 % |
69.77/69.97 c | 551005 | 374 1609 4859 | 21179 17132 18 | 0.001 % |
70.07/70.20 c | 552546 | 374 1609 4859 | 21179 18673 18 | 0.001 % |
70.28/70.47 c | 554240 | 374 1609 4859 | 21179 20367 18 | 0.001 % |
70.57/70.77 c | 556106 | 374 1609 4859 | 21179 17161 18 | 0.001 % |
70.87/71.08 c | 558156 | 374 1609 4859 | 21179 19211 18 | 0.001 % |
71.28/71.47 c | 560410 | 374 1609 4859 | 21056 16433 18 | 0.001 % |
71.67/71.85 c | 562888 | 374 1609 4859 | 21056 18911 18 | 0.001 % |
72.07/72.28 c | 565615 | 374 1609 4859 | 21056 16761 18 | 0.001 % |
72.57/72.72 c | 568612 | 374 1609 4859 | 21056 19758 18 | 0.001 % |
72.97/73.15 c | 571908 | 374 1609 4859 | 16181 14293 18 | 0.001 % |
73.48/73.61 c | 575533 | 374 1609 4859 | 16181 14852 18 | 0.001 % |
73.87/74.04 c | 579520 | 374 1609 4859 | 16181 15844 18 | 0.001 % |
74.27/74.49 c | 583906 | 374 1609 4859 | 13387 13038 17 | 0.001 % |
74.77/74.98 c | 588729 | 374 1609 4859 | 13387 12901 17 | 0.001 % |
75.27/75.49 c | 594035 | 374 1609 4859 | 12578 12627 18 | 0.001 % |
75.37/75.51 c | 594135 | 374 1609 4859 | 12578 11465 18 | 0.001 % |
75.37/75.52 c | 594245 | 374 1609 4859 | 12578 11575 18 | 0.001 % |
75.37/75.53 c | 594368 | 374 1609 4859 | 12578 11698 18 | 0.001 % |
75.37/75.54 c | 594502 | 374 1609 4859 | 12578 11832 18 | 0.001 % |
75.37/75.56 c | 594648 | 374 1609 4859 | 12578 11978 18 | 0.001 % |
75.37/75.58 c | 594808 | 374 1609 4859 | 12578 12138 18 | 0.001 % |
75.37/75.60 c | 594984 | 374 1609 4859 | 12578 12314 18 | 0.001 % |
75.47/75.62 c | 595178 | 374 1609 4859 | 12578 12508 18 | 0.001 % |
75.47/75.64 c | 595390 | 374 1609 4859 | 12578 11457 18 | 0.001 % |
75.47/75.66 c | 595624 | 374 1609 4859 | 12578 11691 18 | 0.001 % |
75.47/75.70 c | 595880 | 374 1609 4859 | 12578 11947 18 | 0.001 % |
75.57/75.73 c | 596163 | 374 1609 4859 | 12578 12230 18 | 0.001 % |
75.57/75.76 c | 596473 | 374 1609 4859 | 12578 12540 18 | 0.001 % |
75.67/75.81 c | 596813 | 374 1609 4859 | 12578 11618 18 | 0.001 % |
75.67/75.85 c | 597186 | 374 1609 4859 | 12578 11991 18 | 0.001 % |
75.67/75.89 c | 597595 | 374 1609 4859 | 12578 12400 18 | 0.001 % |
75.77/75.95 c | 598044 | 374 1609 4859 | 12578 11587 18 | 0.001 % |
75.77/75.99 c | 598537 | 374 1609 4859 | 12578 12080 18 | 0.001 % |
75.87/76.06 c | 599079 | 374 1609 4859 | 12578 11361 18 | 0.001 % |
75.97/76.12 c | 599677 | 374 1609 4859 | 12578 11959 18 | 0.001 % |
75.97/76.17 c | 600333 | 374 1609 4859 | 2147483647 12615 18 | 0.001 % |
76.07/76.24 c | 601053 | 374 1609 4859 | 2147483647 13335 18 | 0.001 % |
76.17/76.32 c | 601845 | 374 1609 4859 | 2147483647 14127 18 | 0.001 % |
76.27/76.40 c | 602716 | 374 1609 4859 | 2147483647 14998 18 | 0.001 % |
76.37/76.51 c | 603682 | 374 1609 4859 | 2147483647 15964 18 | 0.001 % |
76.47/76.63 c | 604735 | 374 1609 4859 | 2147483647 17017 18 | 0.001 % |
76.57/76.79 c | 605896 | 374 1609 4859 | 2147483647 18178 18 | 0.001 % |
76.77/76.96 c | 607170 | 374 1609 4859 | 2147483647 19452 18 | 0.001 % |
76.97/77.19 c | 608570 | 374 1609 4859 | 2147483647 20852 18 | 0.001 % |
77.27/77.45 c | 610110 | 374 1609 4859 | 22282 18581 18 | 0.001 % |
77.57/77.73 c | 611804 | 374 1609 4859 | 22282 20275 19 | 0.001 % |
77.87/78.06 c | 613667 | 374 1609 4859 | 22282 22138 19 | 0.001 % |
78.17/78.37 c | 615716 | 374 1609 4859 | 22282 19163 19 | 0.001 % |
78.57/78.75 c | 617970 | 374 1609 4859 | 22282 21417 19 | 0.001 % |
78.97/79.16 c | 620448 | 374 1609 4859 | 18194 14398 18 | 0.001 % |
79.36/79.51 c | 623175 | 374 1609 4859 | 18194 17125 19 | 0.001 % |
79.76/79.95 c | 626173 | 374 1609 4859 | 18194 16473 19 | 0.001 % |
80.26/80.44 c | 629469 | 374 1609 4859 | 18194 16107 19 | 0.001 % |
80.76/80.92 c | 633094 | 374 1609 4859 | 16640 16366 19 | 0.001 % |
81.27/81.40 c | 637081 | 374 1609 4859 | 16640 14063 19 | 0.001 % |
81.76/81.95 c | 641467 | 374 1609 4859 | 13928 12858 18 | 0.001 % |
82.27/82.44 c | 646290 | 374 1609 4859 | 13928 12498 19 | 0.001 % |
82.86/83.03 c | 651595 | 374 1609 4859 | 13343 12230 19 | 0.001 % |
83.37/83.60 c | 657430 | 374 1609 4859 | 13343 12712 18 | 0.001 % |
83.47/83.61 c | 657530 | 374 1609 4859 | 13343 12812 18 | 0.001 % |
83.47/83.62 c | 657640 | 374 1609 4859 | 13343 12922 18 | 0.001 % |
83.47/83.64 c | 657761 | 374 1609 4859 | 13343 13043 18 | 0.001 % |
83.47/83.65 c | 657898 | 374 1609 4859 | 13343 13180 18 | 0.001 % |
83.47/83.67 c | 658044 | 374 1609 4859 | 13343 13326 18 | 0.001 % |
83.56/83.70 c | 658205 | 374 1609 4859 | 13343 12148 18 | 0.001 % |
83.56/83.72 c | 658382 | 374 1609 4859 | 13343 12325 18 | 0.001 % |
83.56/83.75 c | 658575 | 374 1609 4859 | 13343 12518 18 | 0.001 % |
83.56/83.77 c | 658788 | 374 1609 4859 | 13343 12731 18 | 0.001 % |
83.66/83.80 c | 659023 | 374 1609 4859 | 13343 12966 18 | 0.001 % |
83.66/83.84 c | 659279 | 374 1609 4859 | 13343 13222 18 | 0.001 % |
83.66/83.87 c | 659560 | 374 1609 4859 | 13343 12086 18 | 0.001 % |
83.76/83.91 c | 659870 | 374 1609 4859 | 13343 12396 18 | 0.001 % |
83.76/83.95 c | 660209 | 374 1609 4859 | 12526 11416 18 | 0.001 % |
83.76/83.99 c | 660581 | 374 1609 4859 | 12526 11788 18 | 0.001 % |
83.86/84.03 c | 660991 | 374 1609 4859 | 12526 12198 18 | 0.001 % |
83.86/84.08 c | 661440 | 374 1609 4859 | 12526 11389 18 | 0.001 % |
83.96/84.13 c | 661933 | 374 1609 4859 | 12526 11882 17 | 0.001 % |
83.96/84.18 c | 662475 | 374 1609 4859 | 12526 12424 17 | 0.001 % |
84.06/84.25 c | 663071 | 374 1609 4859 | 12526 11765 17 | 0.001 % |
84.16/84.33 c | 663726 | 374 1609 4859 | 12526 12420 17 | 0.001 % |
84.26/84.42 c | 664446 | 374 1609 4859 | 12526 11885 17 | 0.001 % |
84.36/84.51 c | 665238 | 374 1609 4859 | 12526 11418 17 | 0.001 % |
84.46/84.60 c | 666109 | 374 1609 4859 | 12526 12289 18 | 0.001 % |
84.56/84.70 c | 667067 | 374 1609 4859 | 12526 11990 18 | 0.001 % |
84.66/84.82 c | 668120 | 374 1609 4859 | 12526 11787 18 | 0.001 % |
84.76/84.95 c | 669278 | 374 1609 4859 | 12526 11688 18 | 0.001 % |
84.96/85.11 c | 670552 | 374 1609 4859 | 2147483647 12962 18 | 0.001 % |
85.05/85.27 c | 671952 | 374 1609 4859 | 2147483647 14362 18 | 0.001 % |
85.35/85.51 c | 673495 | 374 1609 4859 | 2147483647 15905 18 | 0.001 % |
85.56/85.73 c | 675189 | 374 1609 4859 | 2147483647 17599 18 | 0.001 % |
85.85/86.03 c | 677052 | 374 1609 4859 | 2147483647 19462 18 | 0.001 % |
86.25/86.40 c | 679101 | 374 1609 4859 | 2147483647 21511 18 | 0.001 % |
86.55/86.76 c | 681354 | 374 1609 4859 | 22413 19068 18 | 0.001 % |
86.95/87.11 c | 683833 | 374 1609 4859 | 22413 21547 18 | 0.001 % |
87.35/87.53 c | 686558 | 374 1609 4859 | 22413 19055 18 | 0.001 % |
87.85/88.06 c | 689555 | 374 1609 4859 | 22413 22052 18 | 0.001 % |
88.25/88.45 c | 692851 | 374 1609 4859 | 16975 15658 18 | 0.001 % |
88.65/88.88 c | 696476 | 374 1609 4859 | 16975 16219 18 | 0.001 % |
89.25/89.41 c | 700463 | 374 1609 4859 | 16768 14235 18 | 0.001 % |
89.65/89.89 c | 704848 | 374 1609 4859 | 16768 15859 18 | 0.001 % |
90.35/90.50 c | 709673 | 374 1609 4859 | 16768 15142 19 | 0.001 % |
90.95/91.14 c | 714979 | 374 1609 4859 | 15469 13300 19 | 0.001 % |
91.65/91.81 c | 720816 | 374 1609 4859 | 13690 12478 19 | 0.001 % |
92.25/92.48 c | 727234 | 374 1609 4859 | 13690 12503 19 | 0.001 % |
92.25/92.49 c | 727334 | 374 1609 4859 | 13690 12603 19 | 0.001 % |
92.35/92.50 c | 727444 | 374 1609 4859 | 13690 12713 19 | 0.001 % |
92.35/92.52 c | 727565 | 374 1609 4859 | 13690 12834 19 | 0.001 % |
92.35/92.53 c | 727698 | 374 1609 4859 | 13690 12967 19 | 0.001 % |
92.35/92.54 c | 727844 | 374 1609 4859 | 13690 13113 19 | 0.001 % |
92.35/92.56 c | 728006 | 374 1609 4859 | 13690 13275 19 | 0.001 % |
92.35/92.58 c | 728183 | 374 1609 4859 | 13690 13452 19 | 0.001 % |
92.45/92.60 c | 728376 | 374 1609 4859 | 13690 13645 19 | 0.001 % |
92.45/92.63 c | 728588 | 374 1609 4859 | 13690 12302 18 | 0.001 % |
92.45/92.66 c | 728821 | 374 1609 4859 | 13690 12535 18 | 0.001 % |
92.45/92.69 c | 729078 | 374 1609 4859 | 13690 12792 18 | 0.001 % |
92.55/92.72 c | 729360 | 374 1609 4859 | 13690 13074 18 | 0.001 % |
92.55/92.76 c | 729671 | 374 1609 4859 | 13690 13385 18 | 0.001 % |
92.65/92.80 c | 730011 | 374 1609 4859 | 13714 13725 18 | 0.001 % |
92.65/92.84 c | 730385 | 374 1609 4859 | 13714 12522 18 | 0.001 % |
92.65/92.89 c | 730794 | 374 1609 4859 | 13714 12931 18 | 0.001 % |
92.75/92.94 c | 731244 | 374 1609 4859 | 13714 13381 18 | 0.001 % |
92.85/93.00 c | 731738 | 374 1609 4859 | 13714 12216 18 | 0.001 % |
92.85/93.06 c | 732281 | 374 1609 4859 | 13714 12759 18 | 0.001 % |
92.95/93.12 c | 732878 | 374 1609 4859 | 13714 13356 18 | 0.001 % |
93.05/93.21 c | 733533 | 374 1609 4859 | 13714 12409 18 | 0.001 % |
93.05/93.29 c | 734253 | 374 1609 4859 | 13714 13129 18 | 0.001 % |
93.15/93.40 c | 735046 | 374 1609 4859 | 13714 12261 18 | 0.001 % |
93.35/93.51 c | 735917 | 374 1609 4859 | 13714 13132 18 | 0.001 % |
93.45/93.62 c | 736876 | 374 1609 4859 | 13714 12346 18 | 0.001 % |
93.55/93.73 c | 737929 | 374 1609 4859 | 13714 13399 18 | 0.001 % |
93.65/93.88 c | 739089 | 374 1609 4859 | 13714 12882 18 | 0.001 % |
93.85/94.03 c | 740362 | 374 1609 4859 | 12074 10914 18 | 0.001 % |
93.95/94.18 c | 741762 | 374 1609 4859 | 12074 11007 18 | 0.001 % |
94.15/94.36 c | 743302 | 374 1609 4859 | 12074 11257 18 | 0.001 % |
94.35/94.54 c | 744996 | 374 1609 4859 | 12074 11741 17 | 0.001 % |
94.55/94.75 c | 746861 | 374 1609 4859 | 12074 11185 18 | 0.001 % |
94.75/94.95 c | 748910 | 374 1609 4859 | 12074 12023 18 | 0.001 % |
95.05/95.21 c | 751164 | 374 1609 4859 | 2147483647 13066 18 | 0.001 % |
95.35/95.55 c | 753643 | 374 1609 4859 | 2147483647 15545 18 | 0.001 % |
95.75/95.96 c | 756368 | 374 1609 4859 | 2147483647 18270 18 | 0.001 % |
96.15/96.37 c | 759365 | 374 1609 4859 | 2147483647 21267 18 | 0.001 % |
96.75/96.90 c | 762661 | 374 1609 4859 | 21903 20332 18 | 0.001 % |
97.25/97.47 c | 766287 | 374 1609 4859 | 21903 18772 18 | 0.001 % |
97.85/98.05 c | 770274 | 374 1609 4859 | 17313 13542 18 | 0.001 % |
98.35/98.55 c | 774661 | 374 1609 4859 | 17313 14788 18 | 0.001 % |
99.04/99.20 c | 779484 | 374 1609 4859 | 17313 16548 18 | 0.001 % |
99.74/99.98 c | 784790 | 374 1609 4859 | 17064 15586 18 | 0.001 % |
100.54/100.71 c | 790626 | 374 1609 4859 | 14770 12818 18 | 0.001 % |
101.25/101.43 c | 797044 | 374 1609 4859 | 14770 14645 18 | 0.001 % |
101.85/102.09 c | 804106 | 374 1609 4859 | 13320 12515 19 | 0.001 % |
101.95/102.10 c | 804207 | 374 1609 4859 | 13320 12616 19 | 0.001 % |
101.95/102.11 c | 804317 | 374 1609 4859 | 13320 12726 19 | 0.001 % |
101.95/102.12 c | 804439 | 374 1609 4859 | 13320 12848 19 | 0.001 % |
101.95/102.14 c | 804572 | 374 1609 4859 | 13320 12981 19 | 0.001 % |
101.95/102.16 c | 804719 | 374 1609 4859 | 13320 13128 18 | 0.001 % |
101.95/102.17 c | 804879 | 374 1609 4859 | 13320 13288 19 | 0.001 % |
101.95/102.20 c | 805057 | 374 1609 4859 | 13320 11981 19 | 0.001 % |
102.05/102.22 c | 805252 | 374 1609 4859 | 13320 12176 19 | 0.001 % |
102.05/102.24 c | 805465 | 374 1609 4859 | 13320 12389 19 | 0.001 % |
102.05/102.27 c | 805698 | 374 1609 4859 | 13320 12622 19 | 0.001 % |
102.05/102.30 c | 805956 | 374 1609 4859 | 13320 12880 19 | 0.001 % |
102.15/102.33 c | 806237 | 374 1609 4859 | 13320 13161 19 | 0.001 % |
102.15/102.37 c | 806547 | 374 1609 4859 | 13320 11969 19 | 0.001 % |
102.24/102.41 c | 806886 | 374 1609 4859 | 13320 12308 19 | 0.001 % |
102.24/102.44 c | 807258 | 374 1609 4859 | 13320 12680 19 | 0.001 % |
102.24/102.49 c | 807668 | 374 1609 4859 | 13320 13090 19 | 0.001 % |
102.34/102.54 c | 808117 | 374 1609 4859 | 13320 12029 19 | 0.001 % |
102.34/102.59 c | 808610 | 374 1609 4859 | 13320 12522 19 | 0.001 % |
102.44/102.65 c | 809153 | 374 1609 4859 | 13320 13065 19 | 0.001 % |
102.54/102.72 c | 809751 | 374 1609 4859 | 13320 12156 19 | 0.001 % |
102.54/102.80 c | 810406 | 374 1609 4859 | 12406 11403 18 | 0.001 % |
102.64/102.87 c | 811129 | 374 1609 4859 | 12406 12126 19 | 0.001 % |
102.74/102.95 c | 811922 | 374 1609 4859 | 12406 11648 18 | 0.001 % |
102.84/103.05 c | 812794 | 374 1609 4859 | 12406 11275 18 | 0.001 % |
102.94/103.14 c | 813752 | 374 1609 4859 | 12406 12233 18 | 0.001 % |
103.04/103.25 c | 814805 | 374 1609 4859 | 12406 12041 18 | 0.001 % |
103.15/103.38 c | 815964 | 374 1609 4859 | 12406 11954 18 | 0.001 % |
103.34/103.50 c | 817237 | 374 1609 4859 | 12406 11983 17 | 0.001 % |
103.44/103.65 c | 818639 | 374 1609 4859 | 12406 12140 17 | 0.001 % |
103.64/103.82 c | 820180 | 374 1609 4859 | 2147483647 12437 17 | 0.001 % |
103.74/103.99 c | 821875 | 374 1609 4859 | 2147483647 14132 18 | 0.001 % |
103.94/104.19 c | 823740 | 374 1609 4859 | 2147483647 15997 18 | 0.001 % |
104.25/104.48 c | 825790 | 374 1609 4859 | 2147483647 18047 18 | 0.001 % |
104.54/104.76 c | 828043 | 374 1609 4859 | 2147483647 20300 18 | 0.001 % |
104.94/105.14 c | 830522 | 374 1609 4859 | 22259 18831 18 | 0.001 % |
105.34/105.60 c | 833248 | 374 1609 4859 | 22259 21557 18 | 0.001 % |
105.94/106.12 c | 836245 | 374 1609 4859 | 22259 19242 18 | 0.001 % |
106.44/106.69 c | 839542 | 374 1609 4859 | 22259 16965 18 | 0.001 % |
106.94/107.10 c | 843167 | 374 1609 4859 | 17423 16251 17 | 0.001 % |
107.44/107.62 c | 847154 | 374 1609 4859 | 17423 16692 17 | 0.001 % |
107.94/108.14 c | 851539 | 374 1609 4859 | 16089 14559 17 | 0.001 % |
108.44/108.63 c | 856362 | 374 1609 4859 | 16089 14385 18 | 0.001 % |
109.04/109.25 c | 861668 | 374 1609 4859 | 15547 14828 19 | 0.001 % |
109.74/110.00 c | 867503 | 374 1609 4859 | 15547 13301 19 | 0.001 % |
110.44/110.64 c | 873922 | 374 1609 4859 | 13337 13346 19 | 0.001 % |
111.23/111.40 c | 880982 | 374 1609 4859 | 12749 12144 19 | 0.001 % |
112.04/112.22 c | 888749 | 374 1609 4859 | 12749 12561 18 | 0.001 % |
112.04/112.24 c | 888850 | 374 1609 4859 | 12749 12662 18 | 0.001 % |
112.04/112.25 c | 888960 | 374 1609 4859 | 12749 12772 18 | 0.001 % |
112.04/112.27 c | 889082 | 374 1609 4859 | 12749 11518 18 | 0.001 % |
112.04/112.28 c | 889216 | 374 1609 4859 | 12749 11652 18 | 0.001 % |
112.13/112.30 c | 889364 | 374 1609 4859 | 12749 11800 18 | 0.001 % |
112.13/112.32 c | 889524 | 374 1609 4859 | 12749 11960 18 | 0.001 % |
112.13/112.33 c | 889701 | 374 1609 4859 | 12749 12137 18 | 0.001 % |
112.13/112.35 c | 889894 | 374 1609 4859 | 12749 12330 18 | 0.001 % |
112.13/112.38 c | 890107 | 374 1609 4859 | 12436 11216 18 | 0.001 % |
112.23/112.40 c | 890341 | 374 1609 4859 | 12436 11450 18 | 0.001 % |
112.23/112.43 c | 890597 | 374 1609 4859 | 12436 11706 18 | 0.001 % |
112.23/112.45 c | 890879 | 374 1609 4859 | 12436 11988 18 | 0.001 % |
112.23/112.48 c | 891188 | 374 1609 4859 | 12436 12297 18 | 0.001 % |
112.33/112.51 c | 891528 | 374 1609 4859 | 12436 11390 18 | 0.001 % |
112.33/112.55 c | 891901 | 374 1609 4859 | 12436 11763 18 | 0.001 % |
112.33/112.59 c | 892311 | 374 1609 4859 | 12436 12173 18 | 0.001 % |
112.43/112.64 c | 892763 | 374 1609 4859 | 12436 11379 17 | 0.001 % |
112.43/112.69 c | 893256 | 374 1609 4859 | 12436 11872 18 | 0.001 % |
112.53/112.76 c | 893800 | 374 1609 4859 | 12436 12416 18 | 0.001 % |
112.63/112.82 c | 894399 | 374 1609 4859 | 12436 11767 18 | 0.001 % |
112.63/112.90 c | 895054 | 374 1609 4859 | 12436 12422 18 | 0.001 % |
112.73/112.98 c | 895774 | 374 1609 4859 | 12436 11895 18 | 0.001 % |
112.83/113.07 c | 896567 | 374 1609 4859 | 12436 11440 18 | 0.001 % |
112.93/113.16 c | 897438 | 374 1609 4859 | 12436 12311 18 | 0.001 % |
113.04/113.25 c | 898396 | 374 1609 4859 | 12436 12021 18 | 0.001 % |
113.14/113.36 c | 899449 | 374 1609 4859 | 12436 11824 18 | 0.001 % |
113.23/113.48 c | 900609 | 374 1609 4859 | 2147483647 12984 18 | 0.001 % |
113.43/113.64 c | 901883 | 374 1609 4859 | 2147483647 14258 18 | 0.001 % |
113.63/113.83 c | 903283 | 374 1609 4859 | 2147483647 15658 18 | 0.001 % |
113.83/114.05 c | 904825 | 374 1609 4859 | 2147483647 17200 18 | 0.001 % |
114.14/114.30 c | 906521 | 374 1609 4859 | 2147483647 18896 18 | 0.001 % |
114.43/114.60 c | 908385 | 374 1609 4859 | 2147483647 20760 18 | 0.001 % |
114.73/114.98 c | 910434 | 374 1609 4859 | 22375 18394 18 | 0.001 % |
115.13/115.33 c | 912687 | 374 1609 4859 | 22375 20647 18 | 0.001 % |
115.53/115.71 c | 915165 | 374 1609 4859 | 22375 17921 18 | 0.001 % |
115.93/116.19 c | 917894 | 374 1609 4859 | 22375 20650 18 | 0.001 % |
116.43/116.66 c | 920891 | 374 1609 4859 | 17218 13866 18 | 0.001 % |
116.83/117.06 c | 924190 | 374 1609 4859 | 17218 17165 17 | 0.001 % |
117.33/117.55 c | 927815 | 374 1609 4859 | 17218 17253 17 | 0.001 % |
117.83/118.04 c | 931802 | 374 1609 4859 | 16078 14784 17 | 0.001 % |
118.33/118.57 c | 936188 | 374 1609 4859 | 16078 13300 17 | 0.001 % |
119.03/119.22 c | 941011 | 374 1609 4859 | 14134 12515 18 | 0.001 % |
119.53/119.72 c | 946316 | 374 1609 4859 | 14134 13691 19 | 0.001 % |
120.13/120.36 c | 952151 | 374 1609 4859 | 13550 12237 18 | 0.001 % |
120.93/121.13 c | 958571 | 374 1609 4859 | 13550 12100 17 | 0.001 % |
121.53/121.79 c | 965630 | 374 1609 4859 | 13529 13426 18 | 0.001 % |
122.43/122.67 c | 973394 | 374 1609 4859 | 13416 12349 18 | 0.001 % |
123.43/123.66 c | 981935 | 374 1609 4859 | 12647 11449 18 | 0.001 % |
123.43/123.67 c | 982036 | 374 1609 4859 | 12647 11550 18 | 0.001 % |
123.43/123.68 c | 982146 | 374 1609 4859 | 12647 11660 18 | 0.001 % |
123.43/123.70 c | 982268 | 374 1609 4859 | 12647 11782 18 | 0.001 % |
123.53/123.71 c | 982402 | 374 1609 4859 | 12647 11916 18 | 0.001 % |
123.53/123.73 c | 982549 | 374 1609 4859 | 12647 12063 18 | 0.001 % |
123.53/123.74 c | 982709 | 374 1609 4859 | 12647 12223 18 | 0.001 % |
123.53/123.76 c | 982886 | 374 1609 4859 | 12647 12400 18 | 0.001 % |
123.53/123.78 c | 983080 | 374 1609 4859 | 12647 12594 18 | 0.001 % |
123.63/123.80 c | 983295 | 374 1609 4859 | 12647 11367 18 | 0.001 % |
123.63/123.83 c | 983529 | 374 1609 4859 | 12647 11601 18 | 0.001 % |
123.63/123.85 c | 983785 | 374 1609 4859 | 12647 11857 18 | 0.001 % |
123.63/123.88 c | 984067 | 374 1609 4859 | 12647 12139 18 | 0.001 % |
123.73/123.91 c | 984376 | 374 1609 4859 | 12647 12448 18 | 0.001 % |
123.73/123.95 c | 984717 | 374 1609 4859 | 12647 11421 18 | 0.001 % |
123.73/123.99 c | 985090 | 374 1609 4859 | 12647 11794 18 | 0.001 % |
123.83/124.03 c | 985500 | 374 1609 4859 | 12647 12204 18 | 0.001 % |
123.83/124.08 c | 985950 | 374 1609 4859 | 12647 12654 18 | 0.001 % |
123.93/124.13 c | 986443 | 374 1609 4859 | 12647 11812 18 | 0.001 % |
123.93/124.19 c | 986986 | 374 1609 4859 | 12647 12355 18 | 0.001 % |
124.03/124.26 c | 987585 | 374 1609 4859 | 12647 11653 18 | 0.001 % |
124.13/124.32 c | 988240 | 374 1609 4859 | 12647 12308 18 | 0.001 % |
124.23/124.40 c | 988961 | 374 1609 4859 | 12647 11758 18 | 0.001 % |
124.23/124.49 c | 989754 | 374 1609 4859 | 12647 12551 18 | 0.001 % |
124.33/124.59 c | 990629 | 374 1609 4859 | 2147483647 12158 18 | 0.001 % |
124.43/124.69 c | 991587 | 374 1609 4859 | 2147483647 13116 18 | 0.001 % |
124.63/124.81 c | 992641 | 374 1609 4859 | 2147483647 14170 18 | 0.001 % |
124.73/124.96 c | 993800 | 374 1609 4859 | 2147483647 15329 18 | 0.001 % |
124.93/125.12 c | 995074 | 374 1609 4859 | 2147483647 16603 18 | 0.001 % |
125.13/125.33 c | 996474 | 374 1609 4859 | 2147483647 18003 18 | 0.001 % |
125.33/125.59 c | 998014 | 374 1609 4859 | 2147483647 19543 18 | 0.001 % |
125.63/125.87 c | 999709 | 374 1609 4859 | 2147483647 21238 18 | 0.001 % |
125.93/126.19 c | 1001572 | 374 1609 4859 | 21531 19072 18 | 0.001 % |
126.33/126.56 c | 1003622 | 374 1609 4859 | 21531 21122 19 | 0.001 % |
126.73/126.93 c | 1005875 | 374 1609 4859 | 21531 18317 18 | 0.001 % |
127.03/127.29 c | 1008353 | 374 1609 4859 | 21531 20795 18 | 0.001 % |
127.43/127.62 c | 1011079 | 374 1609 4859 | 17425 14540 18 | 0.001 % |
127.83/128.00 c | 1014076 | 374 1609 4859 | 17425 13998 18 | 0.001 % |
128.23/128.46 c | 1017372 | 374 1609 4859 | 17425 17294 18 | 0.001 % |
128.73/128.93 c | 1020997 | 374 1609 4859 | 16418 14141 19 | 0.001 % |
129.22/129.42 c | 1024986 | 374 1609 4859 | 16418 15249 19 | 0.001 % |
129.72/129.96 c | 1029372 | 374 1609 4859 | 16418 14406 18 | 0.001 % |
130.43/130.62 c | 1034195 | 374 1609 4859 | 15036 14391 19 | 0.001 % |
131.03/131.20 c | 1039501 | 374 1609 4859 | 15036 12963 19 | 0.001 % |
131.53/131.77 c | 1045337 | 374 1609 4859 | 13463 12532 19 | 0.001 % |
132.32/132.55 c | 1051756 | 374 1609 4859 | 12291 11115 18 | 0.001 % |
133.12/133.30 c | 1058816 | 374 1609 4859 | 12291 11934 19 | 0.001 % |
134.03/134.25 c | 1066581 | 374 1609 4859 | 2147483647 18467 19 | 0.001 % |
135.22/135.41 c | 1075122 | 374 1609 4859 | 21886 18458 18 | 0.001 % |
136.62/136.84 c | 1084518 | 374 1609 4859 | 18421 14350 18 | 0.001 % |
136.62/136.86 c | 1084619 | 374 1609 4859 | 18421 14451 18 | 0.001 % |
136.62/136.87 c | 1084732 | 374 1609 4859 | 18421 14564 18 | 0.001 % |
136.62/136.89 c | 1084853 | 374 1609 4859 | 18421 14685 18 | 0.001 % |
136.72/136.91 c | 1084987 | 374 1609 4859 | 18421 14819 18 | 0.001 % |
136.72/136.93 c | 1085133 | 374 1609 4859 | 18421 14965 18 | 0.001 % |
136.72/136.95 c | 1085294 | 374 1609 4859 | 18421 15126 18 | 0.001 % |
136.72/136.97 c | 1085470 | 374 1609 4859 | 18421 15302 18 | 0.001 % |
136.72/136.99 c | 1085664 | 374 1609 4859 | 18421 15496 18 | 0.001 % |
136.82/137.02 c | 1085876 | 374 1609 4859 | 18421 15708 18 | 0.001 % |
136.82/137.05 c | 1086110 | 374 1609 4859 | 18421 15942 18 | 0.001 % |
136.82/137.08 c | 1086366 | 374 1609 4859 | 18421 16198 18 | 0.001 % |
136.92/137.12 c | 1086647 | 374 1609 4859 | 18421 16479 18 | 0.001 % |
136.92/137.16 c | 1086956 | 374 1609 4859 | 18421 16788 18 | 0.001 % |
137.02/137.21 c | 1087295 | 374 1609 4859 | 18421 17127 18 | 0.001 % |
137.02/137.26 c | 1087667 | 374 1609 4859 | 18421 17499 18 | 0.001 % |
137.12/137.32 c | 1088077 | 374 1609 4859 | 18421 17909 18 | 0.001 % |
137.12/137.39 c | 1088526 | 374 1609 4859 | 18421 18358 18 | 0.001 % |
137.22/137.48 c | 1089020 | 374 1609 4859 | 18421 14675 18 | 0.001 % |
137.32/137.55 c | 1089563 | 374 1609 4859 | 18421 15218 18 | 0.001 % |
137.42/137.63 c | 1090160 | 374 1609 4859 | 15655 12352 17 | 0.001 % |
137.52/137.71 c | 1090817 | 374 1609 4859 | 15655 13009 17 | 0.001 % |
137.52/137.79 c | 1091538 | 374 1609 4859 | 15655 13730 17 | 0.001 % |
137.62/137.89 c | 1092331 | 374 1609 4859 | 15655 14523 17 | 0.001 % |
137.82/138.01 c | 1093202 | 374 1609 4859 | 15655 15394 17 | 0.001 % |
137.92/138.14 c | 1094160 | 374 1609 4859 | 15655 13426 17 | 0.001 % |
138.02/138.28 c | 1095213 | 374 1609 4859 | 15655 14479 17 | 0.001 % |
138.22/138.44 c | 1096371 | 374 1609 4859 | 15655 15637 17 | 0.001 % |
138.42/138.61 c | 1097644 | 374 1609 4859 | 15655 14127 17 | 0.001 % |
138.62/138.81 c | 1099047 | 374 1609 4859 | 15655 15530 17 | 0.001 % |
138.82/139.00 c | 1100588 | 374 1609 4859 | 13672 11830 17 | 0.001 % |
138.92/139.17 c | 1102282 | 374 1609 4859 | 13672 13524 17 | 0.001 % |
139.12/139.37 c | 1104145 | 374 1609 4859 | 13672 13481 17 | 0.001 % |
139.32/139.57 c | 1106196 | 374 1609 4859 | 13672 12305 17 | 0.001 % |
139.62/139.82 c | 1108449 | 374 1609 4859 | 13672 13051 17 | 0.001 % |
139.82/140.08 c | 1110929 | 374 1609 4859 | 13102 12598 17 | 0.001 % |
140.12/140.35 c | 1113654 | 374 1609 4859 | 13102 12580 16 | 0.001 % |
140.42/140.67 c | 1116652 | 374 1609 4859 | 13102 12952 17 | 0.001 % |
140.82/141.07 c | 1119948 | 374 1609 4859 | 13102 12154 17 | 0.001 % |
141.22/141.43 c | 1123573 | 374 1609 4859 | 12207 11926 17 | 0.001 % |
141.51/141.75 c | 1127560 | 374 1609 4859 | 12207 12229 18 | 0.001 % |
141.91/142.18 c | 1131945 | 374 1609 4859 | 2147483647 14166 18 | 0.001 % |
142.51/142.78 c | 1136769 | 374 1609 4859 | 2147483647 18990 18 | 0.001 % |
143.31/143.57 c | 1142077 | 374 1609 4859 | 22221 20367 19 | 0.001 % |
144.21/144.46 c | 1147913 | 374 1609 4859 | 22221 20937 19 | 0.001 % |
145.11/145.39 c | 1154331 | 374 1609 4859 | 17558 17580 18 | 0.001 % |
146.01/146.27 c | 1161390 | 374 1609 4859 | 15887 14128 18 | 0.001 % |
147.21/147.42 c | 1169156 | 374 1609 4859 | 15887 15538 18 | 0.001 % |
148.11/148.38 c | 1177696 | 374 1609 4859 | 13114 11944 16 | 0.001 % |
149.11/149.39 c | 1187092 | 374 1609 4859 | 12314 10997 16 | 0.001 % |
150.11/150.35 c | 1197426 | 374 1609 4859 | 11065 10592 18 | 0.001 % |
150.11/150.36 c | 1197526 | 374 1609 4859 | 11065 10692 18 | 0.001 % |
150.11/150.38 c | 1197636 | 374 1609 4859 | 11065 10802 18 | 0.001 % |
150.11/150.39 c | 1197757 | 374 1609 4859 | 11065 10923 18 | 0.001 % |
150.21/150.41 c | 1197890 | 374 1609 4859 | 11065 11056 18 | 0.001 % |
150.21/150.43 c | 1198036 | 374 1609 4859 | 11065 10090 18 | 0.001 % |
150.21/150.44 c | 1198198 | 374 1609 4859 | 11065 10252 18 | 0.001 % |
150.21/150.46 c | 1198375 | 374 1609 4859 | 11065 10429 18 | 0.001 % |
150.21/150.48 c | 1198570 | 374 1609 4859 | 11065 10624 18 | 0.001 % |
150.31/150.50 c | 1198782 | 374 1609 4859 | 11065 10836 18 | 0.001 % |
150.31/150.52 c | 1199015 | 374 1609 4859 | 11065 11069 18 | 0.001 % |
150.31/150.55 c | 1199271 | 374 1609 4859 | 11065 10219 18 | 0.001 % |
150.31/150.58 c | 1199553 | 374 1609 4859 | 11065 10501 18 | 0.001 % |
150.41/150.61 c | 1199865 | 374 1609 4859 | 11065 10813 18 | 0.001 % |
150.41/150.63 c | 1200205 | 374 1609 4859 | 2147483647 11153 18 | 0.001 % |
150.41/150.67 c | 1200577 | 374 1609 4859 | 2147483647 11525 18 | 0.001 % |
150.51/150.71 c | 1200986 | 374 1609 4859 | 2147483647 11934 18 | 0.001 % |
150.51/150.75 c | 1201435 | 374 1609 4859 | 2147483647 12383 18 | 0.001 % |
150.51/150.80 c | 1201928 | 374 1609 4859 | 2147483647 12876 18 | 0.001 % |
150.61/150.86 c | 1202472 | 374 1609 4859 | 2147483647 13420 18 | 0.001 % |
150.71/150.92 c | 1203068 | 374 1609 4859 | 2147483647 14016 18 | 0.001 % |
150.81/151.00 c | 1203723 | 374 1609 4859 | 2147483647 14671 18 | 0.001 % |
150.81/151.07 c | 1204443 | 374 1609 4859 | 2147483647 15391 18 | 0.001 % |
150.91/151.15 c | 1205235 | 374 1609 4859 | 2147483647 16183 18 | 0.001 % |
151.01/151.26 c | 1206106 | 374 1609 4859 | 2147483647 17054 18 | 0.001 % |
151.11/151.39 c | 1207064 | 374 1609 4859 | 2147483647 18012 18 | 0.001 % |
151.31/151.55 c | 1208118 | 374 1609 4859 | 2147483647 19066 18 | 0.001 % |
151.51/151.72 c | 1209276 | 374 1609 4859 | 2147483647 20224 18 | 0.001 % |
151.71/151.93 c | 1210549 | 374 1609 4859 | 20948 18085 18 | 0.001 % |
151.90/152.15 c | 1211952 | 374 1609 4859 | 20948 19488 18 | 0.001 % |
152.20/152.41 c | 1213493 | 374 1609 4859 | 20948 16446 18 | 0.001 % |
152.41/152.65 c | 1215188 | 374 1609 4859 | 20948 18141 18 | 0.001 % |
152.71/152.93 c | 1217051 | 374 1609 4859 | 20948 20004 18 | 0.001 % |
153.00/153.22 c | 1219100 | 374 1609 4859 | 20948 17391 18 | 0.001 % |
153.30/153.51 c | 1221355 | 374 1609 4859 | 18291 15657 18 | 0.001 % |
153.60/153.86 c | 1223833 | 374 1609 4859 | 18291 18135 18 | 0.001 % |
154.00/154.25 c | 1226558 | 374 1609 4859 | 18291 17181 18 | 0.001 % |
154.50/154.71 c | 1229556 | 374 1609 4859 | 18291 16309 18 | 0.001 % |
154.81/155.08 c | 1232853 | 374 1609 4859 | 16754 16016 18 | 0.001 % |
155.30/155.52 c | 1236479 | 374 1609 4859 | 16754 16491 18 | 0.001 % |
155.80/156.08 c | 1240469 | 374 1609 4859 | 13779 11665 18 | 0.001 % |
156.30/156.57 c | 1244855 | 374 1609 4859 | 13779 13776 19 | 0.001 % |
156.90/157.13 c | 1249679 | 374 1609 4859 | 13779 12386 19 | 0.001 % |
157.40/157.69 c | 1254984 | 374 1609 4859 | 12707 11884 20 | 0.001 % |
158.10/158.30 c | 1260821 | 374 1609 4859 | 2147483647 12557 19 | 0.001 % |
158.90/159.13 c | 1267239 | 374 1609 4859 | 2147483647 18975 20 | 0.001 % |
160.10/160.38 c | 1274299 | 374 1609 4859 | 21736 16790 19 | 0.001 % |
161.30/161.56 c | 1282065 | 374 1609 4859 | 17157 15036 19 | 0.001 % |
162.30/162.53 c | 1290605 | 374 1609 4859 | 16165 13744 19 | 0.001 % |
163.50/163.71 c | 1300000 | 374 1609 4859 | 16165 14169 18 | 0.001 % |
164.50/164.74 c | 1310335 | 374 1609 4859 | 12818 11571 18 | 0.001 % |
165.80/166.02 c | 1321701 | 374 1609 4859 | 12680 12706 17 | 0.001 % |
165.80/166.04 c | 1321803 | 374 1609 4859 | 12680 11214 17 | 0.001 % |
165.80/166.05 c | 1321914 | 374 1609 4859 | 12680 11325 17 | 0.001 % |
165.80/166.06 c | 1322036 | 374 1609 4859 | 12680 11447 17 | 0.001 % |
165.80/166.07 c | 1322169 | 374 1609 4859 | 12680 11580 17 | 0.001 % |
165.80/166.09 c | 1322315 | 374 1609 4859 | 12680 11726 17 | 0.001 % |
165.90/166.10 c | 1322475 | 374 1609 4859 | 12680 11886 17 | 0.001 % |
165.90/166.13 c | 1322651 | 374 1609 4859 | 12680 12062 17 | 0.001 % |
165.90/166.15 c | 1322847 | 374 1609 4859 | 12680 12258 17 | 0.001 % |
165.90/166.17 c | 1323059 | 374 1609 4859 | 12680 12470 17 | 0.001 % |
165.90/166.20 c | 1323293 | 374 1609 4859 | 12680 12704 17 | 0.001 % |
166.00/166.23 c | 1323549 | 374 1609 4859 | 12680 11478 17 | 0.001 % |
166.00/166.26 c | 1323830 | 374 1609 4859 | 12680 11759 17 | 0.001 % |
166.00/166.29 c | 1324144 | 374 1609 4859 | 12680 12073 17 | 0.001 % |
166.10/166.32 c | 1324485 | 374 1609 4859 | 12680 12414 17 | 0.001 % |
166.10/166.37 c | 1324857 | 374 1609 4859 | 12680 11433 17 | 0.001 % |
166.20/166.41 c | 1325266 | 374 1609 4859 | 12680 11842 17 | 0.001 % |
166.20/166.46 c | 1325716 | 374 1609 4859 | 12680 12292 17 | 0.001 % |
166.30/166.53 c | 1326210 | 374 1609 4859 | 12680 11419 17 | 0.001 % |
166.30/166.58 c | 1326752 | 374 1609 4859 | 12680 11961 17 | 0.001 % |
166.40/166.64 c | 1327348 | 374 1609 4859 | 12680 12557 17 | 0.001 % |
166.50/166.72 c | 1328003 | 374 1609 4859 | 12680 11875 17 | 0.001 % |
166.50/166.79 c | 1328725 | 374 1609 4859 | 12680 12597 18 | 0.001 % |
166.60/166.88 c | 1329518 | 374 1609 4859 | 12680 12045 18 | 0.001 % |
166.70/166.97 c | 1330389 | 374 1609 4859 | 12527 11602 18 | 0.001 % |
166.80/167.08 c | 1331347 | 374 1609 4859 | 12527 12560 18 | 0.001 % |
166.90/167.19 c | 1332400 | 374 1609 4859 | 12527 12357 18 | 0.001 % |
167.10/167.31 c | 1333559 | 374 1609 4859 | 12527 12259 18 | 0.001 % |
167.20/167.45 c | 1334832 | 374 1609 4859 | 12527 12273 18 | 0.001 % |
167.40/167.61 c | 1336234 | 374 1609 4859 | 12527 12420 18 | 0.001 % |
167.50/167.77 c | 1337774 | 374 1609 4859 | 12527 11444 17 | 0.001 % |
167.70/167.94 c | 1339468 | 374 1609 4859 | 12527 11881 17 | 0.001 % |
167.90/168.13 c | 1341331 | 374 1609 4859 | 2147483647 13744 18 | 0.001 % |
168.10/168.36 c | 1343381 | 374 1609 4859 | 2147483647 15794 18 | 0.001 % |
168.39/168.64 c | 1345635 | 374 1609 4859 | 2147483647 18048 18 | 0.001 % |
168.79/169.02 c | 1348113 | 374 1609 4859 | 2147483647 20526 18 | 0.001 % |
169.20/169.46 c | 1350838 | 374 1609 4859 | 22415 18889 18 | 0.001 % |
169.69/169.91 c | 1353836 | 374 1609 4859 | 22415 21887 19 | 0.001 % |
170.09/170.39 c | 1357132 | 374 1609 4859 | 22415 20016 19 | 0.001 % |
170.69/170.92 c | 1360759 | 374 1609 4859 | 17660 14331 19 | 0.001 % |
171.19/171.45 c | 1364749 | 374 1609 4859 | 17660 14523 19 | 0.001 % |
171.69/171.98 c | 1369134 | 374 1609 4859 | 17660 15348 18 | 0.001 % |
172.29/172.59 c | 1373958 | 374 1609 4859 | 16215 13745 17 | 0.001 % |
172.99/173.28 c | 1379263 | 374 1609 4859 | 16215 15950 17 | 0.001 % |
173.69/173.92 c | 1385100 | 374 1609 4859 | 13548 11767 16 | 0.001 % |
174.39/174.62 c | 1391519 | 374 1609 4859 | 13159 13069 16 | 0.001 % |
174.99/175.27 c | 1398578 | 374 1609 4859 | 13159 12011 17 | 0.001 % |
175.99/176.22 c | 1406345 | 374 1609 4859 | 2147483647 18458 17 | 0.001 % |
177.29/177.54 c | 1414886 | 374 1609 4859 | 22113 16917 18 | 0.001 % |
178.68/178.93 c | 1424282 | 374 1609 4859 | 22031 20800 19 | 0.001 % |
180.28/180.59 c | 1434619 | 374 1609 4859 | 21288 20641 19 | 0.001 % |
182.18/182.48 c | 1445985 | 374 1609 4859 | 20742 16314 19 | 0.001 % |
184.08/184.31 c | 1458487 | 374 1609 4859 | 20330 18836 18 | 0.001 % |
184.08/184.33 c | 1458588 | 374 1609 4859 | 20330 18937 18 | 0.001 % |
184.08/184.35 c | 1458698 | 374 1609 4859 | 20330 19047 18 | 0.001 % |
184.08/184.37 c | 1458819 | 374 1609 4859 | 20330 19168 18 | 0.001 % |
184.08/184.39 c | 1458953 | 374 1609 4859 | 20330 19302 18 | 0.001 % |
184.18/184.41 c | 1459099 | 374 1609 4859 | 20330 19448 18 | 0.001 % |
184.18/184.45 c | 1459259 | 374 1609 4859 | 20330 19608 18 | 0.001 % |
184.18/184.48 c | 1459435 | 374 1609 4859 | 20330 19784 18 | 0.001 % |
184.28/184.51 c | 1459629 | 374 1609 4859 | 20330 19978 18 | 0.001 % |
184.28/184.55 c | 1459842 | 374 1609 4859 | 20330 20191 18 | 0.001 % |
184.38/184.61 c | 1460075 | 374 1609 4859 | 20351 15330 18 | 0.001 % |
184.38/184.64 c | 1460331 | 374 1609 4859 | 20351 15586 18 | 0.001 % |
184.38/184.68 c | 1460612 | 374 1609 4859 | 20351 15867 18 | 0.001 % |
184.49/184.73 c | 1460921 | 374 1609 4859 | 20351 16176 18 | 0.001 % |
184.49/184.77 c | 1461260 | 374 1609 4859 | 20351 16515 18 | 0.001 % |
184.59/184.82 c | 1461632 | 374 1609 4859 | 20351 16887 18 | 0.001 % |
184.59/184.86 c | 1462041 | 374 1609 4859 | 20351 17296 18 | 0.001 % |
184.68/184.92 c | 1462492 | 374 1609 4859 | 20351 17747 18 | 0.001 % |
184.78/185.00 c | 1462985 | 374 1609 4859 | 20351 18240 18 | 0.001 % |
184.78/185.07 c | 1463527 | 374 1609 4859 | 20351 18782 18 | 0.001 % |
184.88/185.15 c | 1464126 | 374 1609 4859 | 20351 19381 18 | 0.001 % |
184.98/185.25 c | 1464782 | 374 1609 4859 | 20351 20037 18 | 0.001 % |
185.08/185.36 c | 1465502 | 374 1609 4859 | 20351 16065 17 | 0.001 % |
185.18/185.45 c | 1466294 | 374 1609 4859 | 20351 16857 18 | 0.001 % |
185.28/185.59 c | 1467165 | 374 1609 4859 | 20351 17728 18 | 0.001 % |
185.48/185.71 c | 1468124 | 374 1609 4859 | 20351 18687 18 | 0.001 % |
185.58/185.89 c | 1469177 | 374 1609 4859 | 20351 19740 18 | 0.001 % |
185.78/186.09 c | 1470335 | 374 1609 4859 | 15792 12439 17 | 0.001 % |
185.98/186.24 c | 1471611 | 374 1609 4859 | 15792 13715 17 | 0.001 % |
186.18/186.41 c | 1473012 | 374 1609 4859 | 15792 15116 17 | 0.001 % |
186.38/186.61 c | 1474553 | 374 1609 4859 | 15792 13570 17 | 0.001 % |
186.58/186.81 c | 1476249 | 374 1609 4859 | 15792 15266 17 | 0.001 % |
186.78/187.02 c | 1478112 | 374 1609 4859 | 15792 14232 18 | 0.001 % |
186.98/187.27 c | 1480161 | 374 1609 4859 | 13495 11445 18 | 0.001 % |
187.28/187.52 c | 1482414 | 374 1609 4859 | 13495 11846 18 | 0.001 % |
187.58/187.81 c | 1484895 | 374 1609 4859 | 13495 12619 18 | 0.001 % |
187.88/188.13 c | 1487620 | 374 1609 4859 | 13495 12060 19 | 0.001 % |
188.18/188.44 c | 1490617 | 374 1609 4859 | 12894 12072 18 | 0.001 % |
188.47/188.79 c | 1493914 | 374 1609 4859 | 12894 12758 18 | 0.001 % |
188.98/189.22 c | 1497539 | 374 1609 4859 | 12894 12503 18 | 0.001 % |
189.37/189.61 c | 1501527 | 374 1609 4859 | 2147483647 13905 18 | 0.001 % |
189.87/190.14 c | 1505915 | 374 1609 4859 | 2147483647 18293 18 | 0.001 % |
190.67/190.91 c | 1510739 | 374 1609 4859 | 22378 18761 19 | 0.001 % |
191.47/191.76 c | 1516046 | 374 1609 4859 | 22378 18816 19 | 0.001 % |
192.28/192.55 c | 1521881 | 374 1609 4859 | 17402 15108 18 | 0.001 % |
193.07/193.37 c | 1528300 | 374 1609 4859 | 17402 14437 18 | 0.001 % |
193.97/194.29 c | 1535359 | 374 1609 4859 | 16137 15240 19 | 0.001 % |
194.97/195.24 c | 1543123 | 374 1609 4859 | 13822 11982 18 | 0.001 % |
195.87/196.19 c | 1551665 | 374 1609 4859 | 12239 12001 18 | 0.001 % |
197.07/197.32 c | 1561061 | 374 1609 4859 | 11030 10735 19 | 0.001 % |
197.97/198.25 c | 1571399 | 374 1609 4859 | 2147483647 12173 20 | 0.001 % |
199.47/199.79 c | 1582765 | 374 1609 4859 | 20774 19801 19 | 0.001 % |
201.37/201.62 c | 1595269 | 374 1609 4859 | 16868 14086 17 | 0.001 % |
202.97/203.27 c | 1609022 | 374 1609 4859 | 15082 13366 19 | 0.001 % |
202.97/203.28 c | 1609123 | 374 1609 4859 | 15082 13467 19 | 0.001 % |
202.97/203.29 c | 1609233 | 374 1609 4859 | 15082 13577 19 | 0.001 % |
203.07/203.30 c | 1609355 | 374 1609 4859 | 15082 13699 19 | 0.001 % |
203.07/203.32 c | 1609488 | 374 1609 4859 | 15082 13832 19 | 0.001 % |
203.07/203.35 c | 1609636 | 374 1609 4859 | 15082 13980 19 | 0.001 % |
203.07/203.37 c | 1609799 | 374 1609 4859 | 15082 14143 19 | 0.001 % |
203.07/203.39 c | 1609975 | 374 1609 4859 | 15082 14319 19 | 0.001 % |
203.17/203.41 c | 1610169 | 374 1609 4859 | 14347 12225 19 | 0.001 % |
203.17/203.44 c | 1610381 | 374 1609 4859 | 14347 12437 19 | 0.001 % |
203.17/203.46 c | 1610615 | 374 1609 4859 | 14347 12671 19 | 0.001 % |
203.17/203.49 c | 1610872 | 374 1609 4859 | 14347 12928 19 | 0.001 % |
203.27/203.52 c | 1611154 | 374 1609 4859 | 14347 13210 19 | 0.001 % |
203.27/203.55 c | 1611463 | 374 1609 4859 | 14347 13519 19 | 0.001 % |
203.27/203.59 c | 1611802 | 374 1609 4859 | 14347 13858 19 | 0.001 % |
203.37/203.63 c | 1612174 | 374 1609 4859 | 14347 14230 19 | 0.001 % |
203.37/203.68 c | 1612583 | 374 1609 4859 | 14347 12576 18 | 0.001 % |
203.47/203.73 c | 1613032 | 374 1609 4859 | 14347 13025 18 | 0.001 % |
203.47/203.79 c | 1613525 | 374 1609 4859 | 14347 13518 18 | 0.001 % |
203.57/203.85 c | 1614067 | 374 1609 4859 | 14347 14060 18 | 0.001 % |
203.67/203.93 c | 1614663 | 374 1609 4859 | 14347 12669 18 | 0.001 % |
203.67/203.99 c | 1615319 | 374 1609 4859 | 14347 13325 18 | 0.001 % |
203.77/204.07 c | 1616040 | 374 1609 4859 | 14347 14046 18 | 0.001 % |
203.87/204.17 c | 1616832 | 374 1609 4859 | 14347 12863 18 | 0.001 % |
203.96/204.27 c | 1617704 | 374 1609 4859 | 14347 13735 18 | 0.001 % |
204.06/204.37 c | 1618663 | 374 1609 4859 | 14347 12789 18 | 0.001 % |
204.16/204.49 c | 1619716 | 374 1609 4859 | 14347 13842 18 | 0.001 % |
204.37/204.63 c | 1620874 | 374 1609 4859 | 14126 13166 18 | 0.001 % |
204.46/204.78 c | 1622147 | 374 1609 4859 | 14126 12671 18 | 0.001 % |
204.66/204.93 c | 1623547 | 374 1609 4859 | 14126 14071 18 | 0.001 % |
204.76/205.08 c | 1625087 | 374 1609 4859 | 14126 13945 18 | 0.001 % |
204.96/205.26 c | 1626781 | 374 1609 4859 | 14126 14009 18 | 0.001 % |
205.16/205.45 c | 1628644 | 374 1609 4859 | 14126 12610 18 | 0.001 % |
205.36/205.66 c | 1630694 | 374 1609 4859 | 13966 13079 19 | 0.001 % |
205.66/205.94 c | 1632947 | 374 1609 4859 | 13966 13650 19 | 0.001 % |
205.96/206.26 c | 1635426 | 374 1609 4859 | 13966 12492 20 | 0.001 % |
206.26/206.56 c | 1638152 | 374 1609 4859 | 13966 13450 20 | 0.001 % |
206.56/206.88 c | 1641150 | 374 1609 4859 | 13551 13078 19 | 0.001 % |
206.96/207.25 c | 1644448 | 374 1609 4859 | 13551 13525 19 | 0.001 % |
207.36/207.63 c | 1648073 | 374 1609 4859 | 13551 12836 19 | 0.001 % |
207.76/208.04 c | 1652062 | 374 1609 4859 | 2147483647 15467 19 | 0.001 % |
208.36/208.62 c | 1656448 | 374 1609 4859 | 2147483647 19853 19 | 0.001 % |
209.06/209.39 c | 1661274 | 374 1609 4859 | 23405 20039 18 | 0.001 % |
209.86/210.19 c | 1666579 | 374 1609 4859 | 23405 19698 19 | 0.001 % |
210.86/211.16 c | 1672414 | 374 1609 4859 | 23119 19701 18 | 0.001 % |
211.86/212.16 c | 1678833 | 374 1609 4859 | 23119 20184 18 | 0.001 % |
212.96/213.21 c | 1685892 | 374 1609 4859 | 21353 16325 17 | 0.001 % |
214.16/214.45 c | 1693659 | 374 1609 4859 | 20433 18880 17 | 0.001 % |
215.36/215.67 c | 1702199 | 374 1609 4859 | 19671 16810 17 | 0.001 % |
216.76/217.00 c | 1711593 | 374 1609 4859 | 15712 13756 17 | 0.001 % |
217.76/218.04 c | 1721927 | 374 1609 4859 | 14468 14203 18 | 0.001 % |
219.05/219.38 c | 1733294 | 374 1609 4859 | 13528 12762 18 | 0.001 % |
220.55/220.80 c | 1745796 | 374 1609 4859 | 11903 10770 18 | 0.001 % |
221.95/222.24 c | 1759549 | 374 1609 4859 | 11225 10570 19 | 0.001 % |
223.85/224.10 c | 1774676 | 374 1609 4859 | 21021 18287 20 | 0.001 % |
223.85/224.12 c | 1774777 | 374 1609 4859 | 21021 18388 20 | 0.001 % |
223.85/224.14 c | 1774887 | 374 1609 4859 | 21021 18498 20 | 0.001 % |
223.85/224.16 c | 1775011 | 374 1609 4859 | 21021 18622 20 | 0.001 % |
223.85/224.19 c | 1775147 | 374 1609 4859 | 21021 18758 20 | 0.001 % |
223.95/224.22 c | 1775293 | 374 1609 4859 | 21021 18904 20 | 0.001 % |
223.95/224.24 c | 1775453 | 374 1609 4859 | 21021 19064 20 | 0.001 % |
223.95/224.27 c | 1775632 | 374 1609 4859 | 21021 19243 20 | 0.001 % |
224.05/224.31 c | 1775825 | 374 1609 4859 | 21021 19436 20 | 0.001 % |
224.05/224.35 c | 1776038 | 374 1609 4859 | 21021 19649 20 | 0.001 % |
224.05/224.39 c | 1776274 | 374 1609 4859 | 21021 19885 20 | 0.001 % |
224.15/224.44 c | 1776530 | 374 1609 4859 | 21021 20141 20 | 0.001 % |
224.15/224.49 c | 1776811 | 374 1609 4859 | 21021 20422 20 | 0.001 % |
224.24/224.56 c | 1777120 | 374 1609 4859 | 21021 20731 20 | 0.001 % |
224.34/224.63 c | 1777460 | 374 1609 4859 | 21021 16203 20 | 0.001 % |
224.34/224.67 c | 1777835 | 374 1609 4859 | 21021 16578 20 | 0.001 % |
224.44/224.73 c | 1778244 | 374 1609 4859 | 21021 16987 20 | 0.001 % |
224.44/224.80 c | 1778695 | 374 1609 4859 | 21021 17438 20 | 0.001 % |
224.54/224.87 c | 1779188 | 374 1609 4859 | 21021 17931 20 | 0.001 % |
224.64/224.94 c | 1779730 | 374 1609 4859 | 21021 18473 20 | 0.001 % |
224.74/225.04 c | 1780326 | 374 1609 4859 | 18743 14853 19 | 0.001 % |
224.84/225.13 c | 1780981 | 374 1609 4859 | 18743 15508 19 | 0.001 % |
224.94/225.22 c | 1781702 | 374 1609 4859 | 18743 16229 19 | 0.001 % |
225.04/225.32 c | 1782495 | 374 1609 4859 | 18743 17022 19 | 0.001 % |
225.15/225.43 c | 1783366 | 374 1609 4859 | 18743 17893 19 | 0.001 % |
225.25/225.58 c | 1784325 | 374 1609 4859 | 18743 15032 19 | 0.001 % |
225.44/225.72 c | 1785378 | 374 1609 4859 | 18743 16085 19 | 0.001 % |
225.64/225.90 c | 1786538 | 374 1609 4859 | 18743 17245 19 | 0.001 % |
225.74/226.08 c | 1787812 | 374 1609 4859 | 18743 18519 19 | 0.001 % |
225.94/226.26 c | 1789212 | 374 1609 4859 | 18743 16015 18 | 0.001 % |
226.14/226.46 c | 1790754 | 374 1609 4859 | 16804 14125 18 | 0.001 % |
226.35/226.68 c | 1792451 | 374 1609 4859 | 16804 15822 18 | 0.001 % |
226.64/226.92 c | 1794314 | 374 1609 4859 | 16804 14447 18 | 0.001 % |
226.84/227.16 c | 1796366 | 374 1609 4859 | 16804 16499 18 | 0.001 % |
227.14/227.45 c | 1798620 | 374 1609 4859 | 16804 15728 18 | 0.001 % |
227.45/227.71 c | 1801099 | 374 1609 4859 | 14207 12882 18 | 0.001 % |
227.74/228.00 c | 1803824 | 374 1609 4859 | 14207 13626 18 | 0.001 % |
228.04/228.35 c | 1806822 | 374 1609 4859 | 14207 12729 18 | 0.001 % |
228.45/228.71 c | 1810118 | 374 1609 4859 | 14070 12381 17 | 0.001 % |
228.84/229.10 c | 1813743 | 374 1609 4859 | 14070 14109 17 | 0.001 % |
229.24/229.52 c | 1817731 | 374 1609 4859 | 14070 12835 17 | 0.001 % |
229.65/229.97 c | 1822120 | 374 1609 4859 | 13443 12684 17 | 0.001 % |
230.14/230.44 c | 1826944 | 374 1609 4859 | 13443 13461 17 | 0.001 % |
230.65/230.99 c | 1832250 | 374 1609 4859 | 2147483647 14725 17 | 0.001 % |
231.44/231.79 c | 1838085 | 374 1609 4859 | 2147483647 20560 17 | 0.001 % |
232.24/232.59 c | 1844503 | 374 1609 4859 | 22476 17760 18 | 0.001 % |
233.14/233.49 c | 1851562 | 374 1609 4859 | 18266 15774 18 | 0.001 % |
234.14/234.45 c | 1859331 | 374 1609 4859 | 18266 16480 18 | 0.001 % |
235.24/235.51 c | 1867871 | 374 1609 4859 | 17149 15584 18 | 0.001 % |
236.34/236.67 c | 1877268 | 374 1609 4859 | 14608 14571 18 | 0.001 % |
237.44/237.73 c | 1887602 | 374 1609 4859 | 12608 11683 18 | 0.001 % |
238.64/238.90 c | 1898969 | 374 1609 4859 | 11515 11220 18 | 0.001 % |
240.14/240.42 c | 1911471 | 374 1609 4859 | 21096 19133 19 | 0.001 % |
242.04/242.38 c | 1925223 | 374 1609 4859 | 18227 15604 17 | 0.001 % |
244.04/244.30 c | 1940350 | 374 1609 4859 | 13437 11186 17 | 0.001 % |
245.84/246.10 c | 1956989 | 374 1609 4859 | 12930 12841 17 | 0.001 % |
245.84/246.12 c | 1957089 | 374 1609 4859 | 12930 12941 17 | 0.001 % |
245.84/246.14 c | 1957200 | 374 1609 4859 | 12930 11264 17 | 0.001 % |
245.84/246.15 c | 1957321 | 374 1609 4859 | 12930 11385 17 | 0.001 % |
245.84/246.17 c | 1957457 | 374 1609 4859 | 12930 11521 17 | 0.001 % |
245.84/246.18 c | 1957606 | 374 1609 4859 | 12930 11670 17 | 0.001 % |
245.94/246.20 c | 1957766 | 374 1609 4859 | 12930 11830 17 | 0.001 % |
245.94/246.22 c | 1957942 | 374 1609 4859 | 12930 12006 17 | 0.001 % |
245.94/246.23 c | 1958136 | 374 1609 4859 | 12930 12200 17 | 0.001 % |
245.94/246.26 c | 1958350 | 374 1609 4859 | 12930 12414 17 | 0.001 % |
245.94/246.28 c | 1958584 | 374 1609 4859 | 12930 12648 17 | 0.001 % |
246.04/246.31 c | 1958840 | 374 1609 4859 | 12930 12904 17 | 0.001 % |
246.04/246.35 c | 1959121 | 374 1609 4859 | 12930 11434 17 | 0.001 % |
246.04/246.38 c | 1959430 | 374 1609 4859 | 12930 11743 17 | 0.001 % |
246.14/246.41 c | 1959771 | 374 1609 4859 | 12930 12084 17 | 0.001 % |
246.14/246.45 c | 1960143 | 374 1609 4859 | 12314 10884 17 | 0.001 % |
246.14/246.49 c | 1960552 | 374 1609 4859 | 12314 11293 17 | 0.001 % |
246.23/246.54 c | 1961001 | 374 1609 4859 | 12314 11742 17 | 0.001 % |
246.23/246.58 c | 1961497 | 374 1609 4859 | 12314 12238 17 | 0.001 % |
246.33/246.63 c | 1962041 | 374 1609 4859 | 12314 11530 17 | 0.001 % |
246.33/246.68 c | 1962639 | 374 1609 4859 | 12314 12128 17 | 0.001 % |
246.43/246.74 c | 1963294 | 374 1609 4859 | 12314 11545 17 | 0.001 % |
246.53/246.81 c | 1964015 | 374 1609 4859 | 12314 12266 17 | 0.001 % |
246.53/246.89 c | 1964807 | 374 1609 4859 | 12314 11823 17 | 0.001 % |
246.63/246.97 c | 1965679 | 374 1609 4859 | 12314 11460 17 | 0.001 % |
246.73/247.07 c | 1966639 | 374 1609 4859 | 12314 11184 18 | 0.001 % |
246.83/247.17 c | 1967693 | 374 1609 4859 | 12314 12238 18 | 0.001 % |
247.03/247.30 c | 1968851 | 374 1609 4859 | 12314 12162 18 | 0.001 % |
247.14/247.45 c | 1970125 | 374 1609 4859 | 2147483647 12201 18 | 0.001 % |
247.24/247.60 c | 1971525 | 374 1609 4859 | 2147483647 13601 18 | 0.001 % |
247.43/247.78 c | 1973065 | 374 1609 4859 | 2147483647 15141 18 | 0.001 % |
247.63/247.98 c | 1974759 | 374 1609 4859 | 2147483647 16835 18 | 0.001 % |
247.93/248.25 c | 1976624 | 374 1609 4859 | 2147483647 18700 18 | 0.001 % |
248.24/248.54 c | 1978673 | 374 1609 4859 | 2147483647 20749 18 | 0.001 % |
248.63/248.92 c | 1980926 | 374 1609 4859 | 22077 19119 18 | 0.001 % |
249.03/249.32 c | 1983404 | 374 1609 4859 | 22077 21597 18 | 0.001 % |
249.53/249.80 c | 1986129 | 374 1609 4859 | 22077 19548 18 | 0.001 % |
250.03/250.31 c | 1989127 | 374 1609 4859 | 22077 17359 18 | 0.001 % |
250.43/250.75 c | 1992423 | 374 1609 4859 | 18232 16351 18 | 0.001 % |
250.83/251.20 c | 1996050 | 374 1609 4859 | 18232 15982 18 | 0.001 % |
251.33/251.63 c | 2000038 | 374 1609 4859 | 16219 16256 18 | 0.001 % |
251.83/252.17 c | 2004424 | 374 1609 4859 | 16219 14627 18 | 0.001 % |
252.43/252.73 c | 2009247 | 374 1609 4859 | 16219 14044 18 | 0.001 % |
253.03/253.38 c | 2014552 | 374 1609 4859 | 14798 14430 17 | 0.001 % |
253.63/253.99 c | 2020387 | 374 1609 4859 | 12768 11168 18 | 0.001 % |
254.33/254.64 c | 2026808 | 374 1609 4859 | 12768 12125 19 | 0.001 % |
255.13/255.48 c | 2033868 | 374 1609 4859 | 2147483647 16622 19 | 0.001 % |
256.54/256.80 c | 2041633 | 374 1609 4859 | 22755 19276 18 | 0.001 % |
257.84/258.18 c | 2050175 | 374 1609 4859 | 21844 16624 18 | 0.001 % |
259.34/259.69 c | 2059570 | 374 1609 4859 | 21844 20439 19 | 0.001 % |
260.64/260.95 c | 2069904 | 374 1609 4859 | 20870 20731 19 | 0.001 % |
262.14/262.46 c | 2081270 | 374 1609 4859 | 17203 14804 18 | 0.001 % |
263.74/264.09 c | 2093773 | 374 1609 4859 | 16836 14107 18 | 0.001 % |
265.53/265.84 c | 2107527 | 374 1609 4859 | 13466 11768 18 | 0.001 % |
267.13/267.41 c | 2122655 | 374 1609 4859 | 12013 10972 17 | 0.001 % |
269.03/269.32 c | 2139296 | 374 1609 4859 | 2147483647 20382 18 | 0.001 % |
271.83/272.10 c | 2157600 | 374 1609 4859 | 16359 16013 18 | 0.001 % |
271.83/272.11 c | 2157701 | 374 1609 4859 | 16359 16114 18 | 0.001 % |
271.83/272.13 c | 2157812 | 374 1609 4859 | 16359 16225 18 | 0.001 % |
271.83/272.15 c | 2157934 | 374 1609 4859 | 16359 16347 18 | 0.001 % |
271.83/272.19 c | 2158067 | 374 1609 4859 | 16359 12862 18 | 0.001 % |
271.93/272.20 c | 2158213 | 374 1609 4859 | 16359 13008 18 | 0.001 % |
271.93/272.21 c | 2158373 | 374 1609 4859 | 16359 13168 18 | 0.001 % |
271.93/272.23 c | 2158549 | 374 1609 4859 | 16359 13344 18 | 0.001 % |
271.93/272.25 c | 2158742 | 374 1609 4859 | 16359 13537 18 | 0.001 % |
271.93/272.27 c | 2158954 | 374 1609 4859 | 16359 13749 18 | 0.001 % |
272.03/272.30 c | 2159188 | 374 1609 4859 | 16359 13983 18 | 0.001 % |
272.03/272.33 c | 2159446 | 374 1609 4859 | 16359 14241 18 | 0.001 % |
272.03/272.37 c | 2159728 | 374 1609 4859 | 16359 14523 18 | 0.001 % |
272.13/272.42 c | 2160038 | 374 1609 4859 | 14795 11704 18 | 0.001 % |
272.13/272.45 c | 2160377 | 374 1609 4859 | 14795 12043 17 | 0.001 % |
272.13/272.49 c | 2160749 | 374 1609 4859 | 14795 12415 18 | 0.001 % |
272.23/272.54 c | 2161159 | 374 1609 4859 | 14795 12825 18 | 0.001 % |
272.23/272.59 c | 2161608 | 374 1609 4859 | 14795 13274 18 | 0.001 % |
272.33/272.64 c | 2162101 | 374 1609 4859 | 14795 13767 18 | 0.001 % |
272.33/272.70 c | 2162643 | 374 1609 4859 | 14795 14309 18 | 0.001 % |
272.43/272.77 c | 2163242 | 374 1609 4859 | 14795 12309 18 | 0.001 % |
272.53/272.83 c | 2163898 | 374 1609 4859 | 14795 12965 18 | 0.001 % |
272.63/272.92 c | 2164620 | 374 1609 4859 | 14795 13687 18 | 0.001 % |
272.63/273.00 c | 2165414 | 374 1609 4859 | 14795 14481 18 | 0.001 % |
272.83/273.10 c | 2166286 | 374 1609 4859 | 14795 13010 18 | 0.001 % |
272.93/273.20 c | 2167249 | 374 1609 4859 | 14795 13973 18 | 0.001 % |
273.03/273.33 c | 2168306 | 374 1609 4859 | 14795 12763 18 | 0.001 % |
273.13/273.48 c | 2169464 | 374 1609 4859 | 14795 13921 18 | 0.001 % |
273.22/273.55 c ===============================================================================
273.22/273.55 c restarts : 1625
273.22/273.55 c conflicts : 2169949 (7942 /sec)
273.22/273.55 c decisions : 2617053 (1.81 % random) (9578 /sec)
273.22/273.55 c propagations : 124642524 (456169 /sec)
273.22/273.55 c conflict literals : 41280946 (21.07 % deleted)
273.22/273.55 c Memory used : 7.51 MB
273.22/273.55 c CPU time : 273.237 s
273.22/273.55 c
273.22/273.55 s SATISFIABLE
273.22/273.55 s SATISFIABLE
273.22/273.55 v -1 -2 -3 4 -5 6 7 8 -9 10 -11 12 -13 14 -15 -16 17 -18 19 -20 21 22 -23 24 -25 -26 27 28 29 30 -31 -32 33 -34 -35 36 -37 38 39 40 41 42 43 44 -45 46 47 -48 -49 -50 51 -52 -53 54 -55 -56 -57 -58 -59 -60 -61 -62 63 64 -65 66 -67 68 -69 70 -71 -72 -73 74 75 -76 -77 78 -79 80 81 -82 83 84 -85 -86 -87 -88 89 90 -91 -92 93 94 95 -96 97 98 -99 -100 -101 -102 103 104 105 106 107 108 109 -110 -111 -112 113 -114 -115 116 117 118 -119 -120 121 122 123 124 125 -126 127 -128 -129 -130 131 132 133 134 135 136 137 -138 139 140 141 -142 143 144 -145 146 147 148 149 -150 -151 152 -153 154 155 156 -157 -158 159 -160 161 162 -163 164 -165 166 -167 -168 169 -170 171 -172 -173 174 -175 -176 -177 178 179 -180 181 -182 183 184 185 186 -187 -188 -189 190 191 -192 -193 -194 195 -196 197 -198 -199 -200 201 202 203 -204 205 206 207 208 209 210 211 212 213 214 215 216 -217 -218 -219 -220 -221 222 -223 -224 -225 -226 -227 -228 229 -230 -231 -232 233 234 235 -236 237 -238 239 -240 241 -242 -243 -244 245 -246 -247 -248 -249 250 -251 252 253 254 -255 256 257 258 259 260 261 -262 -263 264 265 -266 -267 268 269 -270 271 -272 -273 274 275 276 277 278 -279 280 281 -282 -283 -284 285 286 -287 -288 289 -290 291 292 293 -294 -295 296 297 298 299 300 -301 302 -303 -304 -305 -306 -307 308 309 310 -311 312 -313 -314 315 -316 317 -318 -319 -320 -321 -322 -323 324 325 326 327 328 329 -330 -331 -332 333 -334 335 336 -337 -338 -339 340 341 -342 343 344 345 -346 -347 -348 349 350 351 352 -353 -354 355 -356 -357 -358 359 360 361 362 -363 -364 365 366 -367 368 -369 370 371 -372 -373 374 -375 376 -377 -378 -379 -380 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833555-1242823279/watcher-1833555-1242823279 -o /tmp/evaluation-result-1833555-1242823279/solver-1833555-1242823279 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833555-1242823279.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 1.00 1.14 3/64 8421
/proc/meminfo: memFree=1877360/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310361680 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 215419158610 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/8421/statm: 1339 235 195 169 0 50 0
[pid=8422] ppid=8421 vsize=5356 CPUtime=0
/proc/8422/stat : 8422 (SatELiteGTI) R 8421 8421 8350 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310361680 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/8422/statm: 1339 238 198 169 0 50 0
[pid=8424] ppid=8422 vsize=0 CPUtime=0
/proc/8424/stat : 8424 (sed) Z 8422 8421 8350 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310361680 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/8424/statm: 0 0 0 0 0 0 0
[startup+0.032247 s]
/proc/loadavg: 0.99 1.00 1.14 3/64 8421
/proc/meminfo: memFree=1877360/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101252 s]
/proc/loadavg: 0.99 1.00 1.14 3/64 8421
/proc/meminfo: memFree=1877360/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301274 s]
/proc/loadavg: 0.99 1.00 1.14 3/64 8421
/proc/meminfo: memFree=1877360/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701319 s]
/proc/loadavg: 0.99 1.00 1.14 3/64 8421
/proc/meminfo: memFree=1877360/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50141 s]
/proc/loadavg: 0.99 1.00 1.14 2/66 8427
/proc/meminfo: memFree=1875552/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
[pid=8427] ppid=8421 vsize=3744 CPUtime=1.47
/proc/8427/stat : 8427 (minisat_static) R 8421 8421 8350 0 -1 4194304 582 0 0 0 147 0 0 0 25 0 1 0 310361681 3833856 568 1992294400 134512640 135215339 4294956256 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/8427/statm: 936 568 76 171 0 763 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9100
[startup+3.10159 s]
/proc/loadavg: 0.99 1.00 1.14 2/66 8427
/proc/meminfo: memFree=1874400/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
[pid=8427] ppid=8421 vsize=4308 CPUtime=3.06
/proc/8427/stat : 8427 (minisat_static) R 8421 8421 8350 0 -1 4194304 733 0 0 0 306 0 0 0 25 0 1 0 310361681 4411392 719 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8427/statm: 1077 719 76 171 0 904 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 9664
[startup+6.30194 s]
/proc/loadavg: 0.99 1.00 1.14 2/66 8427
/proc/meminfo: memFree=1874144/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
[pid=8427] ppid=8421 vsize=4448 CPUtime=6.25
/proc/8427/stat : 8427 (minisat_static) R 8421 8421 8350 0 -1 4194304 742 0 0 0 625 0 0 0 25 0 1 0 310361681 4554752 728 1992294400 134512640 135215339 4294956256 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/8427/statm: 1112 728 76 171 0 939 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 9804
[startup+12.7017 s]
/proc/loadavg: 0.99 1.00 1.14 2/66 8427
/proc/meminfo: memFree=1873632/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
[pid=8427] ppid=8421 vsize=4844 CPUtime=12.64
/proc/8427/stat : 8427 (minisat_static) R 8421 8421 8350 0 -1 4194304 851 0 0 0 1264 0 0 0 25 0 1 0 310361681 4960256 837 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8427/statm: 1211 837 76 171 0 1038 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 10200
[startup+25.5011 s]
/proc/loadavg: 0.99 1.00 1.13 2/66 8427
/proc/meminfo: memFree=1873568/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
[pid=8427] ppid=8421 vsize=4844 CPUtime=25.43
/proc/8427/stat : 8427 (minisat_static) R 8421 8421 8350 0 -1 4194304 872 0 0 0 2542 1 0 0 25 0 1 0 310361681 4960256 858 1992294400 134512640 135215339 4294956256 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/8427/statm: 1211 858 76 171 0 1038 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 10200
[startup+51.1019 s]
/proc/loadavg: 0.99 1.00 1.13 2/66 8427
/proc/meminfo: memFree=1873120/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
[pid=8427] ppid=8421 vsize=5388 CPUtime=50.99
/proc/8427/stat : 8427 (minisat_static) R 8421 8421 8350 0 -1 4194304 988 0 0 0 5097 2 0 0 25 0 1 0 310361681 5517312 974 1992294400 134512640 135215339 4294956256 18446744073709551615 134534193 0 0 4096 3 0 0 0 17 0 0 0
/proc/8427/statm: 1347 974 76 171 0 1174 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 10744
[startup+102.307 s]
/proc/loadavg: 0.99 1.00 1.12 2/66 8427
/proc/meminfo: memFree=1872288/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
[pid=8427] ppid=8421 vsize=6064 CPUtime=102.15
/proc/8427/stat : 8427 (minisat_static) R 8421 8421 8350 0 -1 4194304 1152 0 0 0 10213 2 0 0 25 0 1 0 310361681 6209536 1138 1992294400 134512640 135215339 4294956256 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/8427/statm: 1516 1138 76 171 0 1343 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 11420
[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.11 2/66 8429
/proc/meminfo: memFree=1871648/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
[pid=8427] ppid=8421 vsize=6604 CPUtime=162.1
/proc/8427/stat : 8427 (minisat_static) R 8421 8421 8350 0 -1 4194304 1300 0 0 0 16207 3 0 0 25 0 1 0 310361681 6762496 1286 1992294400 134512640 135215339 4294956256 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/8427/statm: 1651 1286 76 171 0 1478 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 11960
[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.10 2/66 8429
/proc/meminfo: memFree=1870944/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
[pid=8427] ppid=8421 vsize=7268 CPUtime=222.05
/proc/8427/stat : 8427 (minisat_static) R 8421 8421 8350 0 -1 4194304 1459 0 0 0 22202 3 0 0 25 0 1 0 310361681 7442432 1445 1992294400 134512640 135215339 4294956256 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 0 0 0
/proc/8427/statm: 1817 1445 76 171 0 1644 0
Current children cumulated CPU time (s) 222.05
Current children cumulated vsize (KiB) 12624
Solver just ended. Dumping a history of the last processes samples
[startup+230.303 s]
/proc/loadavg: 0.99 1.00 1.09 2/66 8429
/proc/meminfo: memFree=1870880/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
[pid=8427] ppid=8421 vsize=7268 CPUtime=230.04
/proc/8427/stat : 8427 (minisat_static) R 8421 8421 8350 0 -1 4194304 1471 0 0 0 23001 3 0 0 25 0 1 0 310361681 7442432 1457 1992294400 134512640 135215339 4294956256 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/8427/statm: 1817 1457 76 171 0 1644 0
Current children cumulated CPU time (s) 230.04
Current children cumulated vsize (KiB) 12624
[startup+255.903 s]
/proc/loadavg: 0.99 1.00 1.09 2/66 8429
/proc/meminfo: memFree=1870688/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
[pid=8427] ppid=8421 vsize=7544 CPUtime=255.63
/proc/8427/stat : 8427 (minisat_static) R 8421 8421 8350 0 -1 4194304 1529 0 0 0 25560 3 0 0 25 0 1 0 310361681 7725056 1515 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8427/statm: 1886 1515 76 171 0 1713 0
Current children cumulated CPU time (s) 255.63
Current children cumulated vsize (KiB) 12900
[startup+262.301 s]
/proc/loadavg: 0.99 1.00 1.09 2/66 8429
/proc/meminfo: memFree=1870624/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
[pid=8427] ppid=8421 vsize=7544 CPUtime=262.04
/proc/8427/stat : 8427 (minisat_static) R 8421 8421 8350 0 -1 4194304 1535 0 0 0 26200 4 0 0 25 0 1 0 310361681 7725056 1521 1992294400 134512640 135215339 4294956256 18446744073709551615 134534506 0 0 4096 3 0 0 0 17 0 0 0
/proc/8427/statm: 1886 1521 76 171 0 1713 0
Current children cumulated CPU time (s) 262.04
Current children cumulated vsize (KiB) 12900
[startup+268.701 s]
/proc/loadavg: 0.99 1.00 1.09 2/66 8429
/proc/meminfo: memFree=1870560/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
[pid=8427] ppid=8421 vsize=7684 CPUtime=268.43
/proc/8427/stat : 8427 (minisat_static) R 8421 8421 8350 0 -1 4194304 1549 0 0 0 26839 4 0 0 25 0 1 0 310361681 7868416 1535 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8427/statm: 1921 1535 76 171 0 1748 0
Current children cumulated CPU time (s) 268.43
Current children cumulated vsize (KiB) 13040
[startup+271.902 s]
/proc/loadavg: 0.99 1.00 1.09 2/66 8429
/proc/meminfo: memFree=1870560/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
[pid=8427] ppid=8421 vsize=7684 CPUtime=271.63
/proc/8427/stat : 8427 (minisat_static) R 8421 8421 8350 0 -1 4194304 1561 0 0 0 27159 4 0 0 25 0 1 0 310361681 7868416 1547 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8427/statm: 1921 1547 76 171 0 1748 0
Current children cumulated CPU time (s) 271.63
Current children cumulated vsize (KiB) 13040
[startup+272.703 s]
/proc/loadavg: 0.99 1.00 1.09 2/66 8429
/proc/meminfo: memFree=1870560/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
[pid=8427] ppid=8421 vsize=7684 CPUtime=272.43
/proc/8427/stat : 8427 (minisat_static) R 8421 8421 8350 0 -1 4194304 1561 0 0 0 27239 4 0 0 25 0 1 0 310361681 7868416 1547 1992294400 134512640 135215339 4294956256 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/8427/statm: 1921 1547 76 171 0 1748 0
Current children cumulated CPU time (s) 272.43
Current children cumulated vsize (KiB) 13040
[startup+273.103 s]
/proc/loadavg: 0.99 1.00 1.09 2/66 8429
/proc/meminfo: memFree=1870560/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
[pid=8427] ppid=8421 vsize=7684 CPUtime=272.83
/proc/8427/stat : 8427 (minisat_static) R 8421 8421 8350 0 -1 4194304 1561 0 0 0 27279 4 0 0 25 0 1 0 310361681 7868416 1547 1992294400 134512640 135215339 4294956256 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/8427/statm: 1921 1547 76 171 0 1748 0
Current children cumulated CPU time (s) 272.83
Current children cumulated vsize (KiB) 13040
[startup+273.502 s]
/proc/loadavg: 0.99 1.00 1.09 2/66 8429
/proc/meminfo: memFree=1870560/2055920 swapFree=4179712/4192956
[pid=8421] ppid=8419 vsize=5356 CPUtime=0
/proc/8421/stat : 8421 (SatELiteGTI) S 8419 8421 8350 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310361680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8421/statm: 1339 239 197 169 0 50 0
[pid=8427] ppid=8421 vsize=7684 CPUtime=273.22
/proc/8427/stat : 8427 (minisat_static) R 8421 8421 8350 0 -1 4194304 1561 0 0 0 27318 4 0 0 25 0 1 0 310361681 7868416 1547 1992294400 134512640 135215339 4294956256 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/8427/statm: 1921 1547 76 171 0 1748 0
Current children cumulated CPU time (s) 273.22
Current children cumulated vsize (KiB) 13040
Child status: 10
Real time (s): 273.559
CPU time (s): 273.3
CPU user time (s): 273.248
CPU system time (s): 0.051992
CPU usage (%): 99.9055
Max. virtual memory (cumulated for all children) (KiB): 13040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 273.248
system time used= 0.051992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2595
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= 50
involuntary context switches= 3989
runsolver used 0.25796 second user time and 0.878866 second system time
The end
Begin job on node9 at 2009-05-20 14:41:19
IDJOB=1833555
IDBENCH=70741
IDSOLVER=671
FILE ID=node9/1833555-1242823279
PBS_JOBID= 9322551
Free space on /tmp= 66508 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/380/unif-k3-r4.25-v380-c1615-S1912687159-077.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833555-1242823279/watcher-1833555-1242823279 -o /tmp/evaluation-result-1833555-1242823279/solver-1833555-1242823279 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833555-1242823279.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f099d7c4c7a591bc2b090785989ddd19
RANDOM SEED=315314214
node9.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.240
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.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1877840 kB
Buffers: 46564 kB
Cached: 83988 kB
SwapCached: 7828 kB
Active: 45468 kB
Inactive: 94292 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1877840 kB
SwapTotal: 4192956 kB
SwapFree: 4179712 kB
Dirty: 1616 kB
Writeback: 0 kB
Mapped: 14064 kB
Slab: 24452 kB
Committed_AS: 963876 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66504 MiB
End job on node9 at 2009-05-20 14:45:53