0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 11900 83300 | 3569 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 140 #clauses: 11900 #literals: 83300
0.00/0.02 c CPU time: 0.015997 s
0.00/0.02 c ==============================================================================
0.00/0.04 c This is MiniSat 2.0 beta
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Number of variables: 140 |
0.00/0.05 c | Number of clauses: 11900 |
0.04/0.06 c | Parsing time: 0.01 s |
0.04/0.06 c ============================[ Search Statistics ]==============================
0.04/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.04/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.04/0.06 c ===============================================================================
0.04/0.06 c | 0 | 140 11900 83300 | 3966 0 nan | 0.000 % |
0.04/0.07 c | 100 | 140 11900 83300 | 3966 100 44 | 0.005 % |
0.04/0.07 c | 200 | 140 11900 83300 | 3966 200 45 | 0.005 % |
0.04/0.08 c | 300 | 140 11900 83300 | 3966 300 44 | 0.005 % |
0.04/0.09 c | 412 | 140 11900 83300 | 3966 412 44 | 0.005 % |
0.04/0.10 c | 513 | 140 11900 83300 | 3966 513 44 | 0.005 % |
0.04/0.10 c | 623 | 140 11900 83300 | 3966 623 44 | 0.005 % |
0.04/0.11 c | 745 | 140 11900 83300 | 3966 745 44 | 0.005 % |
0.04/0.12 c | 846 | 140 11900 83300 | 3966 846 44 | 0.005 % |
0.04/0.12 c | 957 | 140 11900 83300 | 3966 957 45 | 0.005 % |
0.04/0.13 c | 1078 | 140 11900 83300 | 3966 1078 44 | 0.005 % |
0.04/0.14 c | 1211 | 140 11900 83300 | 3966 1211 44 | 0.005 % |
0.04/0.15 c | 1311 | 140 11900 83300 | 3966 1311 44 | 0.005 % |
0.04/0.15 c | 1423 | 140 11900 83300 | 3966 1423 44 | 0.005 % |
0.04/0.16 c | 1545 | 140 11900 83300 | 3966 1545 44 | 0.005 % |
0.04/0.17 c | 1680 | 140 11900 83300 | 3966 1680 44 | 0.005 % |
0.04/0.18 c | 1827 | 140 11900 83300 | 3966 1827 44 | 0.005 % |
0.04/0.19 c | 1928 | 140 11900 83300 | 3966 1928 44 | 0.005 % |
0.04/0.20 c | 2039 | 140 11900 83300 | 3966 2039 44 | 0.005 % |
0.04/0.21 c | 2160 | 140 11900 83300 | 3966 2160 44 | 0.005 % |
0.04/0.22 c | 2294 | 140 11900 83300 | 3966 2294 43 | 0.005 % |
0.04/0.23 c | 2441 | 140 11900 83300 | 3966 2441 44 | 0.005 % |
0.04/0.24 c | 2602 | 140 11900 83300 | 3966 2602 43 | 0.005 % |
0.04/0.25 c | 2703 | 140 11900 83300 | 3966 2703 43 | 0.005 % |
0.04/0.26 c | 2813 | 140 11900 83300 | 3966 2813 43 | 0.005 % |
0.04/0.27 c | 2935 | 140 11900 83300 | 3966 2935 43 | 0.005 % |
0.04/0.28 c | 3069 | 140 11900 83300 | 3966 3069 43 | 0.005 % |
0.04/0.29 c | 3217 | 140 11900 83300 | 3966 3217 43 | 0.005 % |
0.04/0.30 c | 3378 | 140 11900 83300 | 3966 3378 43 | 0.005 % |
0.04/0.32 c | 3555 | 140 11900 83300 | 3966 3555 43 | 0.005 % |
0.04/0.33 c | 3656 | 140 11900 83300 | 3966 3656 43 | 0.005 % |
0.04/0.33 c | 3767 | 140 11900 83300 | 3966 3767 43 | 0.005 % |
0.04/0.34 c | 3890 | 140 11900 83300 | 3966 3890 43 | 0.005 % |
0.04/0.36 c | 4023 | 140 11900 83300 | 3966 4023 43 | 0.005 % |
0.04/0.37 c | 4170 | 140 11900 83300 | 3966 3768 43 | 0.005 % |
0.04/0.38 c | 4330 | 140 11900 83300 | 3966 3928 43 | 0.005 % |
0.04/0.40 c | 4507 | 140 11900 83300 | 3966 3702 42 | 0.005 % |
0.04/0.41 c | 4700 | 140 11900 83300 | 3966 3895 43 | 0.005 % |
0.04/0.42 c | 4800 | 140 11900 83300 | 3966 3995 43 | 0.005 % |
0.04/0.43 c | 4910 | 140 11900 83300 | 3966 3706 42 | 0.005 % |
0.04/0.44 c | 5031 | 140 11900 83300 | 3966 3827 42 | 0.005 % |
0.04/0.45 c | 5164 | 140 11900 83300 | 3966 3960 42 | 0.005 % |
0.04/0.47 c | 5310 | 140 11900 83300 | 3966 3703 42 | 0.005 % |
0.04/0.48 c | 5472 | 140 11900 83300 | 3966 3865 42 | 0.005 % |
0.04/0.49 c | 5649 | 140 11900 83300 | 3966 3640 42 | 0.005 % |
0.04/0.51 c | 5842 | 140 11900 83300 | 3966 3833 42 | 0.005 % |
0.04/0.53 c | 6055 | 140 11900 83300 | 3966 3643 43 | 0.005 % |
0.04/0.54 c | 6156 | 140 11900 83300 | 3966 3744 43 | 0.005 % |
0.04/0.55 c | 6266 | 140 11900 83300 | 3966 3854 43 | 0.005 % |
0.04/0.56 c | 6388 | 140 11900 83300 | 3966 3976 43 | 0.005 % |
0.04/0.57 c | 6521 | 140 11900 83300 | 3966 3712 43 | 0.005 % |
0.04/0.58 c | 6667 | 140 11900 83300 | 3966 3858 43 | 0.005 % |
0.04/0.59 c | 6828 | 140 11900 83300 | 3966 4019 43 | 0.005 % |
0.04/0.61 c | 7004 | 140 11900 83300 | 3966 3794 42 | 0.005 % |
0.04/0.63 c | 7199 | 140 11900 83300 | 3966 3989 43 | 0.005 % |
0.04/0.64 c | 7411 | 140 11900 83300 | 3966 3803 43 | 0.005 % |
0.04/0.66 c | 7644 | 140 11900 83300 | 3966 3633 43 | 0.005 % |
0.04/0.67 c | 7744 | 140 11900 83300 | 3966 3733 43 | 0.005 % |
0.04/0.68 c | 7855 | 140 11900 83300 | 3966 3844 43 | 0.005 % |
0.04/0.69 c | 7977 | 140 11900 83300 | 3966 3966 43 | 0.005 % |
0.04/0.70 c | 8110 | 140 11900 83300 | 3966 3703 43 | 0.005 % |
0.04/0.72 c | 8257 | 140 11900 83300 | 3966 3850 43 | 0.005 % |
0.04/0.73 c | 8418 | 140 11900 83300 | 3966 4011 43 | 0.005 % |
0.04/0.75 c | 8594 | 140 11900 83300 | 3966 3786 43 | 0.005 % |
0.04/0.76 c | 8790 | 140 11900 83300 | 3966 3982 43 | 0.005 % |
0.04/0.78 c | 9003 | 140 11900 83300 | 3966 3797 43 | 0.005 % |
0.04/0.80 c | 9236 | 140 11900 83300 | 3966 4030 43 | 0.005 % |
0.04/0.82 c | 9492 | 140 11900 83300 | 3966 3883 43 | 0.005 % |
0.04/0.83 c | 9592 | 140 11900 83300 | 3966 3983 43 | 0.005 % |
0.04/0.84 c | 9702 | 140 11900 83300 | 3966 3695 42 | 0.005 % |
0.04/0.85 c | 9825 | 140 11900 83300 | 3966 3818 42 | 0.005 % |
0.04/0.86 c | 9958 | 140 11900 83300 | 3966 3951 42 | 0.005 % |
0.04/0.87 c | 10104 | 140 11900 83300 | 2147483647 4097 42 | 0.005 % |
0.04/0.89 c | 10265 | 140 11900 83300 | 2147483647 4258 42 | 0.005 % |
0.04/0.90 c | 10441 | 140 11900 83300 | 2147483647 4434 43 | 0.005 % |
0.04/0.92 c | 10634 | 140 11900 83300 | 2147483647 4627 43 | 0.005 % |
0.04/0.94 c | 10848 | 140 11900 83300 | 2147483647 4841 43 | 0.005 % |
0.04/0.96 c | 11081 | 140 11900 83300 | 2147483647 5074 43 | 0.005 % |
0.04/0.98 c | 11338 | 140 11900 83300 | 2147483647 5331 43 | 0.005 % |
0.97/1.01 c | 11620 | 140 11900 83300 | 2147483647 5613 43 | 0.005 % |
0.97/1.02 c | 11721 | 140 11900 83300 | 2147483647 5714 43 | 0.005 % |
0.97/1.03 c | 11832 | 140 11900 83300 | 2147483647 5825 43 | 0.005 % |
0.97/1.04 c | 11953 | 140 11900 83300 | 2147483647 5946 43 | 0.005 % |
0.97/1.05 c | 12086 | 140 11900 83300 | 2147483647 6079 43 | 0.005 % |
0.97/1.07 c | 12232 | 140 11900 83300 | 2147483647 6225 43 | 0.005 % |
0.97/1.08 c | 12394 | 140 11900 83300 | 2147483647 6387 43 | 0.005 % |
0.97/1.10 c | 12570 | 140 11900 83300 | 2147483647 6563 43 | 0.005 % |
1.07/1.12 c | 12763 | 140 11900 83300 | 2147483647 6756 43 | 0.005 % |
1.07/1.14 c | 12977 | 140 11900 83300 | 2147483647 6970 43 | 0.005 % |
1.07/1.16 c | 13210 | 140 11900 83300 | 2147483647 7203 43 | 0.005 % |
1.07/1.19 c | 13466 | 140 11900 83300 | 2147483647 7459 43 | 0.005 % |
1.17/1.22 c | 13747 | 140 11900 83300 | 2147483647 7740 43 | 0.005 % |
1.17/1.25 c | 14056 | 140 11900 83300 | 2147483647 8049 43 | 0.005 % |
1.17/1.27 c | 14156 | 140 11900 83300 | 2147483647 8149 43 | 0.005 % |
1.17/1.28 c | 14267 | 140 11900 83300 | 2147483647 8260 43 | 0.005 % |
1.17/1.29 c | 14389 | 140 11900 83300 | 2147483647 8382 43 | 0.005 % |
1.27/1.31 c | 14522 | 140 11900 83300 | 2147483647 8515 43 | 0.005 % |
1.27/1.32 c | 14668 | 140 11900 83300 | 2147483647 8661 43 | 0.005 % |
1.27/1.34 c | 14830 | 140 11900 83300 | 2147483647 8823 43 | 0.005 % |
1.27/1.36 c | 15006 | 140 11900 83300 | 2147483647 8999 43 | 0.005 % |
1.27/1.39 c | 15199 | 140 11900 83300 | 2147483647 9192 43 | 0.005 % |
1.37/1.41 c | 15412 | 140 11900 83300 | 2147483647 9405 43 | 0.005 % |
1.37/1.44 c | 15645 | 140 11900 83300 | 2147483647 9638 43 | 0.005 % |
1.37/1.47 c | 15905 | 140 11900 83300 | 2147483647 9898 43 | 0.005 % |
1.47/1.51 c | 16186 | 140 11900 83300 | 2147483647 10179 43 | 0.005 % |
1.47/1.55 c | 16496 | 140 11900 83300 | 2147483647 10489 43 | 0.005 % |
1.47/1.59 c | 16835 | 140 11900 83300 | 2147483647 10828 43 | 0.005 % |
1.57/1.60 c | 16936 | 140 11900 83300 | 2147483647 10929 43 | 0.005 % |
1.57/1.62 c | 17046 | 140 11900 83300 | 2147483647 11039 43 | 0.005 % |
1.57/1.64 c | 17168 | 140 11900 83300 | 2147483647 11161 43 | 0.005 % |
1.57/1.66 c | 17303 | 140 11900 83300 | 2147483647 11296 43 | 0.005 % |
1.57/1.68 c | 17449 | 140 11900 83300 | 2147483647 11442 43 | 0.005 % |
1.67/1.70 c | 17609 | 140 11900 83300 | 2147483647 11602 43 | 0.005 % |
1.67/1.73 c | 17786 | 140 11900 83300 | 2147483647 11779 43 | 0.005 % |
1.67/1.76 c | 17981 | 140 11900 83300 | 2147483647 11974 43 | 0.005 % |
1.67/1.79 c | 18193 | 140 11900 83300 | 2147483647 12186 43 | 0.005 % |
1.77/1.82 c | 18428 | 140 11900 83300 | 2147483647 12421 43 | 0.005 % |
1.77/1.86 c | 18689 | 140 11900 83300 | 2147483647 12682 43 | 0.005 % |
1.86/1.90 c | 18970 | 140 11900 83300 | 2147483647 12963 43 | 0.005 % |
1.86/1.95 c | 19280 | 140 11900 83300 | 2147483647 13273 43 | 0.005 % |
1.86/1.99 c | 19620 | 140 11900 83300 | 2147483647 13613 43 | 0.005 % |
1.96/2.05 c | 19992 | 140 11900 83300 | 2147483647 13985 43 | 0.005 % |
1.96/2.07 c | 20092 | 140 11900 83300 | 2147483647 14085 43 | 0.005 % |
1.96/2.09 c | 20202 | 140 11900 83300 | 2147483647 14195 43 | 0.005 % |
2.08/2.11 c | 20324 | 140 11900 83300 | 2147483647 14317 43 | 0.005 % |
2.08/2.13 c | 20459 | 140 11900 83300 | 2147483647 14452 43 | 0.005 % |
2.08/2.16 c | 20605 | 140 11900 83300 | 2147483647 14598 43 | 0.005 % |
2.08/2.18 c | 20765 | 140 11900 83300 | 2147483647 14758 43 | 0.005 % |
2.18/2.21 c | 20941 | 140 11900 83300 | 2147483647 14934 43 | 0.005 % |
2.18/2.24 c | 21135 | 140 11900 83300 | 2147483647 15128 43 | 0.005 % |
2.18/2.27 c | 21347 | 140 11900 83300 | 2147483647 15340 43 | 0.005 % |
2.27/2.32 c | 21580 | 140 11900 83300 | 2147483647 15573 43 | 0.005 % |
2.27/2.37 c | 21837 | 140 11900 83300 | 2147483647 15830 43 | 0.005 % |
2.37/2.42 c | 22118 | 140 11900 83300 | 2147483647 16111 43 | 0.005 % |
2.37/2.48 c | 22428 | 140 11900 83300 | 2147483647 16421 43 | 0.005 % |
2.47/2.54 c | 22767 | 140 11900 83300 | 2147483647 16760 43 | 0.005 % |
2.57/2.61 c | 23139 | 140 11900 83300 | 2147483647 17132 43 | 0.005 % |
2.57/2.69 c | 23550 | 140 11900 83300 | 2147483647 17543 43 | 0.005 % |
2.67/2.72 c | 23652 | 140 11900 83300 | 2147483647 17645 43 | 0.005 % |
2.67/2.75 c | 23763 | 140 11900 83300 | 2147483647 17756 43 | 0.005 % |
2.67/2.77 c | 23885 | 140 11900 83300 | 2147483647 17878 43 | 0.005 % |
2.77/2.80 c | 24018 | 140 11900 83300 | 2147483647 18011 43 | 0.005 % |
2.77/2.84 c | 24165 | 140 11900 83300 | 2147483647 18158 43 | 0.005 % |
2.77/2.87 c | 24326 | 140 11900 83300 | 2147483647 18319 43 | 0.005 % |
2.87/2.91 c | 24502 | 140 11900 83300 | 2147483647 18495 43 | 0.005 % |
2.87/2.96 c | 24697 | 140 11900 83300 | 2147483647 18690 43 | 0.005 % |
2.97/3.01 c | 24909 | 140 11900 83300 | 2147483647 18902 43 | 0.005 % |
2.97/3.06 c | 25142 | 140 11900 83300 | 2147483647 19135 43 | 0.005 % |
3.07/3.11 c | 25399 | 140 11900 83300 | 2147483647 19392 43 | 0.005 % |
3.07/3.17 c | 25680 | 140 11900 83300 | 2147483647 19673 43 | 0.005 % |
3.17/3.23 c | 25990 | 140 11900 83300 | 2147483647 19983 43 | 0.005 % |
3.17/3.30 c | 26329 | 140 11900 83300 | 2147483647 20322 43 | 0.005 % |
3.27/3.38 c | 26702 | 140 11900 83300 | 2147483647 20695 43 | 0.005 % |
3.37/3.47 c | 27113 | 140 11900 83300 | 2147483647 21106 43 | 0.005 % |
3.47/3.58 c | 27563 | 140 11900 83300 | 2147483647 21556 43 | 0.005 % |
3.57/3.61 c | 27665 | 140 11900 83300 | 2147483647 21658 43 | 0.005 % |
3.57/3.64 c | 27776 | 140 11900 83300 | 2147483647 21769 43 | 0.005 % |
3.57/3.67 c | 27897 | 140 11900 83300 | 2147483647 21890 43 | 0.005 % |
3.66/3.71 c | 28031 | 140 11900 83300 | 2147483647 22024 43 | 0.005 % |
3.66/3.75 c | 28177 | 140 11900 83300 | 2147483647 22170 43 | 0.005 % |
3.66/3.79 c | 28339 | 140 11900 83300 | 2147483647 22332 43 | 0.005 % |
3.76/3.83 c | 28515 | 140 11900 83300 | 2147483647 22508 43 | 0.005 % |
3.76/3.88 c | 28709 | 140 11900 83300 | 2147483647 22702 43 | 0.005 % |
3.86/3.94 c | 28921 | 140 11900 83300 | 2147483647 22914 43 | 0.005 % |
3.86/3.99 c | 29154 | 140 11900 83300 | 2147483647 23147 43 | 0.005 % |
3.96/4.05 c | 29411 | 140 11900 83300 | 2147483647 23404 43 | 0.005 % |
4.06/4.12 c | 29692 | 140 11900 83300 | 2147483647 23685 43 | 0.005 % |
4.06/4.20 c | 30002 | 140 11900 83300 | 2147483647 23995 43 | 0.005 % |
4.27/4.31 c | 30342 | 140 11900 83300 | 2147483647 24335 43 | 0.005 % |
4.37/4.41 c | 30717 | 140 11900 83300 | 2147483647 24710 43 | 0.005 % |
4.46/4.52 c | 31128 | 140 11900 83300 | 2147483647 25121 43 | 0.005 % |
4.56/4.65 c | 31577 | 140 11900 83300 | 2147483647 25570 43 | 0.005 % |
4.76/4.81 c | 32070 | 140 11900 83300 | 2147483647 26063 43 | 0.005 % |
4.76/4.85 c | 32171 | 140 11900 83300 | 2147483647 26164 43 | 0.005 % |
4.76/4.88 c | 32283 | 140 11900 83300 | 2147483647 26276 43 | 0.005 % |
4.86/4.92 c | 32404 | 140 11900 83300 | 2147483647 26397 43 | 0.005 % |
4.86/4.96 c | 32538 | 140 11900 83300 | 2147483647 26531 43 | 0.005 % |
4.96/5.02 c | 32684 | 140 11900 83300 | 2147483647 26677 43 | 0.005 % |
4.96/5.07 c | 32844 | 140 11900 83300 | 2147483647 26837 43 | 0.005 % |
5.06/5.13 c | 33021 | 140 11900 83300 | 2147483647 27014 43 | 0.005 % |
5.06/5.20 c | 33214 | 140 11900 83300 | 2147483647 27207 43 | 0.005 % |
5.16/5.27 c | 33427 | 140 11900 83300 | 2147483647 27420 43 | 0.005 % |
5.26/5.35 c | 33664 | 140 11900 83300 | 2147483647 27657 43 | 0.005 % |
5.36/5.43 c | 33920 | 140 11900 83300 | 2147483647 27913 43 | 0.005 % |
5.46/5.53 c | 34205 | 140 11900 83300 | 2147483647 28198 43 | 0.005 % |
5.56/5.62 c | 34514 | 140 11900 83300 | 2147483647 28507 43 | 0.005 % |
5.66/5.74 c | 34854 | 140 11900 83300 | 2147483647 28847 43 | 0.005 % |
5.76/5.86 c | 35228 | 140 11900 83300 | 2147483647 29221 43 | 0.005 % |
5.96/6.01 c | 35637 | 140 11900 83300 | 2147483647 29630 43 | 0.005 % |
6.06/6.14 c | 36086 | 140 11900 83300 | 2147483647 30079 43 | 0.005 % |
6.26/6.31 c | 36579 | 140 11900 83300 | 2147483647 30572 43 | 0.005 % |
6.46/6.52 c | 37121 | 140 11900 83300 | 2147483647 31114 43 | 0.005 % |
6.46/6.56 c | 37222 | 140 11900 83300 | 2147483647 31215 43 | 0.005 % |
6.46/6.59 c | 37332 | 140 11900 83300 | 2147483647 31325 43 | 0.005 % |
6.57/6.64 c | 37453 | 140 11900 83300 | 2147483647 31446 43 | 0.005 % |
6.57/6.69 c | 37587 | 140 11900 83300 | 2147483647 31580 43 | 0.005 % |
6.66/6.76 c | 37733 | 140 11900 83300 | 2147483647 31726 43 | 0.005 % |
6.76/6.81 c | 37893 | 140 11900 83300 | 2147483647 31886 43 | 0.005 % |
6.76/6.87 c | 38070 | 140 11900 83300 | 2147483647 32063 43 | 0.005 % |
6.86/6.97 c | 38263 | 140 11900 83300 | 2147483647 32256 43 | 0.005 % |
6.96/7.05 c | 38478 | 140 11900 83300 | 2147483647 32471 43 | 0.005 % |
7.06/7.15 c | 38711 | 140 11900 83300 | 2147483647 32704 43 | 0.005 % |
7.16/7.25 c | 38967 | 140 11900 83300 | 2147483647 32960 43 | 0.005 % |
7.26/7.36 c | 39249 | 140 11900 83300 | 2147483647 33242 43 | 0.005 % |
7.36/7.48 c | 39560 | 140 11900 83300 | 2147483647 33553 43 | 0.005 % |
7.57/7.62 c | 39900 | 140 11900 83300 | 2147483647 33893 43 | 0.005 % |
7.67/7.76 c | 40272 | 140 11900 83300 | 2147483647 34265 43 | 0.005 % |
7.86/7.92 c | 40681 | 140 11900 83300 | 2147483647 34674 43 | 0.005 % |
8.06/8.10 c | 41130 | 140 11900 83300 | 2147483647 35123 43 | 0.005 % |
8.26/8.30 c | 41623 | 140 11900 83300 | 2147483647 35616 43 | 0.005 % |
8.36/8.49 c | 42166 | 140 11900 83300 | 2147483647 36159 43 | 0.005 % |
8.66/8.70 c | 42763 | 140 11900 83300 | 2147483647 36756 43 | 0.005 % |
8.66/8.74 c | 42864 | 140 11900 83300 | 2147483647 36857 43 | 0.005 % |
8.66/8.79 c | 42974 | 140 11900 83300 | 2147483647 36967 43 | 0.005 % |
8.76/8.84 c | 43095 | 140 11900 83300 | 2147483647 37088 43 | 0.005 % |
8.86/8.91 c | 43230 | 140 11900 83300 | 2147483647 37223 43 | 0.005 % |
8.86/8.99 c | 43377 | 140 11900 83300 | 2147483647 37370 43 | 0.005 % |
8.96/9.08 c | 43537 | 140 11900 83300 | 2147483647 37530 43 | 0.005 % |
9.05/9.16 c | 43713 | 140 11900 83300 | 2147483647 37706 43 | 0.005 % |
9.15/9.25 c | 43907 | 140 11900 83300 | 2147483647 37900 43 | 0.005 % |
9.25/9.35 c | 44120 | 140 11900 83300 | 2147483647 38113 43 | 0.005 % |
9.35/9.46 c | 44353 | 140 11900 83300 | 2147483647 38346 43 | 0.005 % |
9.46/9.56 c | 44609 | 140 11900 83300 | 2147483647 38602 43 | 0.005 % |
9.66/9.70 c | 44891 | 140 11900 83300 | 2147483647 38884 43 | 0.005 % |
9.76/9.83 c | 45201 | 140 11900 83300 | 2147483647 39194 43 | 0.005 % |
9.86/9.98 c | 45540 | 140 11900 83300 | 2147483647 39533 43 | 0.005 % |
10.06/10.17 c | 45912 | 140 11900 83300 | 2147483647 39905 43 | 0.005 % |
10.26/10.36 c | 46321 | 140 11900 83300 | 2147483647 40314 43 | 0.005 % |
10.46/10.55 c | 46770 | 140 11900 83300 | 2147483647 40763 43 | 0.005 % |
10.66/10.77 c | 47263 | 140 11900 83300 | 2147483647 41256 43 | 0.005 % |
10.86/10.99 c | 47808 | 140 11900 83300 | 2147483647 41801 43 | 0.005 % |
11.16/11.27 c | 48405 | 140 11900 83300 | 2147483647 42398 43 | 0.005 % |
11.45/11.54 c | 49060 | 140 11900 83300 | 2147483647 43053 43 | 0.005 % |
11.55/11.62 c | 49160 | 140 11900 83300 | 2147483647 43153 43 | 0.005 % |
11.55/11.68 c | 49270 | 140 11900 83300 | 2147483647 43263 43 | 0.005 % |
11.65/11.75 c | 49392 | 140 11900 83300 | 2147483647 43385 43 | 0.005 % |
11.75/11.82 c | 49526 | 140 11900 83300 | 2147483647 43519 43 | 0.005 % |
11.85/11.91 c | 49673 | 140 11900 83300 | 2147483647 43666 43 | 0.005 % |
11.85/11.98 c | 49834 | 140 11900 83300 | 2147483647 43827 43 | 0.005 % |
11.96/12.08 c | 50011 | 140 11900 83300 | 2147483647 44004 43 | 0.005 % |
12.15/12.22 c | 50204 | 140 11900 83300 | 2147483647 44197 43 | 0.005 % |
12.25/12.33 c | 50417 | 140 11900 83300 | 2147483647 44410 43 | 0.005 % |
12.35/12.46 c | 50651 | 140 11900 83300 | 2147483647 44644 43 | 0.005 % |
12.55/12.61 c | 50908 | 140 11900 83300 | 2147483647 44901 43 | 0.005 % |
12.65/12.77 c | 51193 | 140 11900 83300 | 2147483647 45186 43 | 0.005 % |
12.86/12.93 c | 51502 | 140 11900 83300 | 2147483647 45495 43 | 0.005 % |
13.06/13.15 c | 51843 | 140 11900 83300 | 2147483647 45836 43 | 0.005 % |
13.25/13.38 c | 52215 | 140 11900 83300 | 2147483647 46208 43 | 0.005 % |
13.55/13.60 c | 52625 | 140 11900 83300 | 2147483647 46618 43 | 0.005 % |
13.75/13.84 c | 53075 | 140 11900 83300 | 2147483647 47068 43 | 0.005 % |
14.05/14.16 c | 53568 | 140 11900 83300 | 2147483647 47561 43 | 0.005 % |
14.35/14.49 c | 54111 | 140 11900 83300 | 2147483647 48104 43 | 0.005 % |
14.75/14.83 c | 54708 | 140 11900 83300 | 2147483647 48701 43 | 0.005 % |
15.15/15.20 c | 55364 | 140 11900 83300 | 2147483647 49357 43 | 0.005 % |
15.45/15.58 c | 56084 | 140 11900 83300 | 2147483647 50077 43 | 0.005 % |
15.55/15.65 c | 56184 | 140 11900 83300 | 2147483647 50177 43 | 0.005 % |
15.65/15.72 c | 56297 | 140 11900 83300 | 2147483647 50290 43 | 0.005 % |
15.65/15.79 c | 56419 | 140 11900 83300 | 2147483647 50412 43 | 0.005 % |
15.75/15.88 c | 56553 | 140 11900 83300 | 2147483647 50546 43 | 0.005 % |
15.85/15.97 c | 56699 | 140 11900 83300 | 2147483647 50692 43 | 0.005 % |
15.95/16.07 c | 56861 | 140 11900 83300 | 2147483647 50854 43 | 0.005 % |
16.05/16.18 c | 57037 | 140 11900 83300 | 2147483647 51030 43 | 0.005 % |
16.25/16.31 c | 57232 | 140 11900 83300 | 2147483647 51225 43 | 0.005 % |
16.35/16.46 c | 57445 | 140 11900 83300 | 2147483647 51438 43 | 0.005 % |
16.55/16.61 c | 57679 | 140 11900 83300 | 2147483647 51672 43 | 0.005 % |
16.65/16.76 c | 57935 | 140 11900 83300 | 2147483647 51928 43 | 0.005 % |
16.85/16.92 c | 58218 | 140 11900 83300 | 2147483647 52211 43 | 0.005 % |
16.95/17.09 c | 58530 | 140 11900 83300 | 2147483647 52523 43 | 0.005 % |
17.25/17.35 c | 58870 | 140 11900 83300 | 2147483647 52863 43 | 0.005 % |
17.55/17.60 c | 59243 | 140 11900 83300 | 2147483647 53236 43 | 0.005 % |
17.75/17.85 c | 59653 | 140 11900 83300 | 2147483647 53646 43 | 0.005 % |
18.05/18.13 c | 60102 | 140 11900 83300 | 2147483647 54095 43 | 0.005 % |
18.35/18.42 c | 60598 | 140 11900 83300 | 2147483647 54591 43 | 0.005 % |
18.75/18.82 c | 61144 | 140 11900 83300 | 2147483647 55137 43 | 0.005 % |
19.04/19.18 c | 61740 | 140 11900 83300 | 2147483647 55733 43 | 0.005 % |
19.44/19.55 c | 62396 | 140 11900 83300 | 2147483647 56389 43 | 0.005 % |
19.84/19.98 c | 63116 | 140 11900 83300 | 2147483647 57109 43 | 0.005 % |
20.34/20.43 c | 63908 | 140 11900 83300 | 2147483647 57901 43 | 0.005 % |
20.34/20.48 c | 64008 | 140 11900 83300 | 2147483647 58001 43 | 0.005 % |
20.44/20.59 c | 64118 | 140 11900 83300 | 2147483647 58111 43 | 0.005 % |
20.54/20.68 c | 64239 | 140 11900 83300 | 2147483647 58232 43 | 0.005 % |
20.64/20.77 c | 64372 | 140 11900 83300 | 2147483647 58365 43 | 0.005 % |
20.74/20.87 c | 64519 | 140 11900 83300 | 2147483647 58512 43 | 0.005 % |
20.94/21.03 c | 64681 | 140 11900 83300 | 2147483647 58674 43 | 0.005 % |
21.04/21.15 c | 64857 | 140 11900 83300 | 2147483647 58850 43 | 0.005 % |
21.14/21.29 c | 65050 | 140 11900 83300 | 2147483647 59043 43 | 0.005 % |
21.34/21.46 c | 65263 | 140 11900 83300 | 2147483647 59256 43 | 0.005 % |
21.54/21.62 c | 65496 | 140 11900 83300 | 2147483647 59489 43 | 0.005 % |
21.74/21.80 c | 65752 | 140 11900 83300 | 2147483647 59745 43 | 0.005 % |
21.84/22.00 c | 66033 | 140 11900 83300 | 2147483647 60026 43 | 0.005 % |
22.14/22.24 c | 66342 | 140 11900 83300 | 2147483647 60335 43 | 0.005 % |
22.34/22.49 c | 66682 | 140 11900 83300 | 2147483647 60675 43 | 0.005 % |
22.64/22.75 c | 67054 | 140 11900 83300 | 2147483647 61047 43 | 0.005 % |
22.95/23.08 c | 67463 | 140 11900 83300 | 2147483647 61456 43 | 0.005 % |
23.35/23.42 c | 67913 | 140 11900 83300 | 2147483647 61906 43 | 0.005 % |
23.65/23.74 c | 68409 | 140 11900 83300 | 2147483647 62402 43 | 0.005 % |
24.05/24.10 c | 68951 | 140 11900 83300 | 2147483647 62944 43 | 0.005 % |
24.45/24.51 c | 69550 | 140 11900 83300 | 2147483647 63543 43 | 0.005 % |
24.95/25.09 c | 70206 | 140 11900 83300 | 63993 54240 43 | 0.005 % |
25.45/25.56 c | 70926 | 140 11900 83300 | 63993 54960 43 | 0.005 % |
25.94/26.02 c | 71719 | 140 11900 83300 | 63993 55753 43 | 0.005 % |
26.44/26.59 c | 72591 | 140 11900 83300 | 63993 56625 43 | 0.005 % |
26.54/26.67 c | 72691 | 140 11900 83300 | 63993 56725 43 | 0.005 % |
26.64/26.75 c | 72802 | 140 11900 83300 | 63993 56836 43 | 0.005 % |
26.74/26.84 c | 72923 | 140 11900 83300 | 63993 56957 43 | 0.005 % |
26.84/26.93 c | 73057 | 140 11900 83300 | 63993 57091 43 | 0.005 % |
26.94/27.06 c | 73205 | 140 11900 83300 | 63993 57239 43 | 0.005 % |
27.04/27.18 c | 73365 | 140 11900 83300 | 63993 57399 43 | 0.005 % |
27.24/27.31 c | 73541 | 140 11900 83300 | 63993 57575 43 | 0.005 % |
27.35/27.46 c | 73734 | 140 11900 83300 | 63993 57768 43 | 0.005 % |
27.54/27.62 c | 73946 | 140 11900 83300 | 63993 57980 43 | 0.005 % |
27.64/27.79 c | 74180 | 140 11900 83300 | 63993 58214 43 | 0.005 % |
27.84/27.95 c | 74437 | 140 11900 83300 | 63993 58471 44 | 0.005 % |
28.04/28.13 c | 74718 | 140 11900 83300 | 63993 58752 44 | 0.005 % |
28.24/28.31 c | 75027 | 140 11900 83300 | 63993 59061 44 | 0.005 % |
28.45/28.58 c | 75366 | 140 11900 83300 | 63993 59400 44 | 0.005 % |
28.74/28.88 c | 75738 | 140 11900 83300 | 63993 59772 44 | 0.005 % |
29.04/29.19 c | 76148 | 140 11900 83300 | 63993 60182 44 | 0.005 % |
29.34/29.49 c | 76597 | 140 11900 83300 | 63993 60631 44 | 0.005 % |
29.74/29.89 c | 77090 | 140 11900 83300 | 63993 61124 44 | 0.005 % |
30.14/30.26 c | 77632 | 140 11900 83300 | 63993 61666 44 | 0.005 % |
30.54/30.68 c | 78231 | 140 11900 83300 | 63993 62265 44 | 0.005 % |
31.04/31.13 c | 78888 | 140 11900 83300 | 63993 62922 44 | 0.005 % |
31.54/31.63 c | 79608 | 140 11900 83300 | 63993 63642 44 | 0.005 % |
32.04/32.19 c | 80400 | 140 11900 83300 | 64036 53786 44 | 0.005 % |
32.54/32.67 c | 81272 | 140 11900 83300 | 64036 54658 44 | 0.005 % |
33.04/33.16 c | 82231 | 140 11900 83300 | 64036 55617 43 | 0.005 % |
33.14/33.22 c | 82331 | 140 11900 83300 | 64036 55717 43 | 0.005 % |
33.14/33.29 c | 82442 | 140 11900 83300 | 64036 55828 43 | 0.005 % |
33.24/33.38 c | 82564 | 140 11900 83300 | 64036 55950 43 | 0.005 % |
33.44/33.52 c | 82697 | 140 11900 83300 | 64036 56083 43 | 0.005 % |
33.54/33.63 c | 82844 | 140 11900 83300 | 64036 56230 43 | 0.005 % |
33.64/33.73 c | 83006 | 140 11900 83300 | 64036 56392 43 | 0.005 % |
33.74/33.85 c | 83182 | 140 11900 83300 | 64036 56568 43 | 0.005 % |
33.94/34.01 c | 83375 | 140 11900 83300 | 64036 56761 43 | 0.005 % |
34.04/34.16 c | 83587 | 140 11900 83300 | 64036 56973 43 | 0.005 % |
34.24/34.36 c | 83821 | 140 11900 83300 | 64036 57207 43 | 0.005 % |
34.44/34.56 c | 84077 | 140 11900 83300 | 64036 57463 43 | 0.005 % |
34.64/34.78 c | 84358 | 140 11900 83300 | 64036 57744 43 | 0.005 % |
34.94/35.02 c | 84669 | 140 11900 83300 | 64036 58055 43 | 0.005 % |
35.14/35.27 c | 85008 | 140 11900 83300 | 64036 58394 43 | 0.005 % |
35.44/35.58 c | 85380 | 140 11900 83300 | 64036 58766 43 | 0.005 % |
35.74/35.87 c | 85792 | 140 11900 83300 | 64036 59178 43 | 0.005 % |
36.04/36.17 c | 86242 | 140 11900 83300 | 64036 59628 43 | 0.005 % |
36.34/36.47 c | 86735 | 140 11900 83300 | 64036 60121 43 | 0.005 % |
36.74/36.84 c | 87278 | 140 11900 83300 | 64036 60664 43 | 0.005 % |
37.14/37.21 c | 87875 | 140 11900 83300 | 64036 61261 43 | 0.005 % |
37.54/37.63 c | 88530 | 140 11900 83300 | 64036 61916 43 | 0.005 % |
38.14/38.21 c | 89250 | 140 11900 83300 | 64036 62636 43 | 0.005 % |
38.74/38.82 c | 90042 | 140 11900 83300 | 63390 63428 43 | 0.005 % |
39.24/39.37 c | 90913 | 140 11900 83300 | 63390 53564 43 | 0.005 % |
39.83/39.97 c | 91871 | 140 11900 83300 | 63390 54522 43 | 0.005 % |
40.43/40.56 c | 92925 | 140 11900 83300 | 63390 55576 43 | 0.005 % |
40.54/40.62 c | 93026 | 140 11900 83300 | 63390 55677 43 | 0.005 % |
40.64/40.71 c | 93136 | 140 11900 83300 | 63390 55787 43 | 0.005 % |
40.73/40.80 c | 93259 | 140 11900 83300 | 63390 55910 43 | 0.005 % |
40.83/40.90 c | 93395 | 140 11900 83300 | 63390 56046 43 | 0.005 % |
40.93/41.01 c | 93541 | 140 11900 83300 | 63390 56192 43 | 0.005 % |
41.03/41.15 c | 93702 | 140 11900 83300 | 63390 56353 43 | 0.005 % |
41.23/41.30 c | 93879 | 140 11900 83300 | 63390 56530 43 | 0.005 % |
41.33/41.44 c | 94073 | 140 11900 83300 | 63390 56724 43 | 0.005 % |
41.53/41.61 c | 94286 | 140 11900 83300 | 63390 56937 43 | 0.005 % |
41.64/41.78 c | 94520 | 140 11900 83300 | 63390 57171 43 | 0.005 % |
41.83/41.99 c | 94779 | 140 11900 83300 | 63390 57430 43 | 0.005 % |
42.03/42.19 c | 95060 | 140 11900 83300 | 63390 57711 43 | 0.005 % |
42.33/42.44 c | 95370 | 140 11900 83300 | 63390 58021 43 | 0.005 % |
42.63/42.72 c | 95709 | 140 11900 83300 | 63390 58360 43 | 0.005 % |
42.84/42.94 c | 96082 | 140 11900 83300 | 63390 58733 43 | 0.005 % |
43.13/43.23 c | 96491 | 140 11900 83300 | 63390 59142 43 | 0.005 % |
43.43/43.52 c | 96940 | 140 11900 83300 | 63390 59591 43 | 0.005 % |
43.73/43.87 c | 97434 | 140 11900 83300 | 63390 60085 43 | 0.005 % |
44.13/44.21 c | 97977 | 140 11900 83300 | 63390 60628 43 | 0.005 % |
44.43/44.58 c | 98573 | 140 11900 83300 | 63390 61224 43 | 0.005 % |
44.94/45.08 c | 99229 | 140 11900 83300 | 63390 61880 43 | 0.005 % |
45.53/45.65 c | 99949 | 140 11900 83300 | 63390 62600 43 | 0.005 % |
46.04/46.15 c | 100742 | 140 11900 83300 | 62651 52694 43 | 0.005 % |
46.53/46.67 c | 101614 | 140 11900 83300 | 62651 53566 43 | 0.005 % |
47.03/47.20 c | 102572 | 140 11900 83300 | 62651 54524 43 | 0.005 % |
47.73/47.88 c | 103626 | 140 11900 83300 | 62651 55578 43 | 0.005 % |
48.43/48.59 c | 104785 | 140 11900 83300 | 62651 56737 43 | 0.005 % |
48.53/48.66 c | 104885 | 140 11900 83300 | 62651 56837 43 | 0.005 % |
48.63/48.73 c | 104996 | 140 11900 83300 | 62651 56948 43 | 0.005 % |
48.73/48.81 c | 105117 | 140 11900 83300 | 62651 57069 43 | 0.005 % |
48.73/48.89 c | 105250 | 140 11900 83300 | 62651 57202 43 | 0.005 % |
48.83/48.98 c | 105396 | 140 11900 83300 | 62651 57348 43 | 0.005 % |
48.93/49.08 c | 105556 | 140 11900 83300 | 62651 57508 43 | 0.005 % |
49.13/49.23 c | 105734 | 140 11900 83300 | 62651 57686 43 | 0.005 % |
49.23/49.36 c | 105927 | 140 11900 83300 | 62651 57879 43 | 0.005 % |
49.43/49.54 c | 106141 | 140 11900 83300 | 62651 58093 43 | 0.005 % |
49.53/49.69 c | 106375 | 140 11900 83300 | 62651 58327 43 | 0.005 % |
49.73/49.88 c | 106632 | 140 11900 83300 | 62651 58584 43 | 0.005 % |
49.93/50.06 c | 106913 | 140 11900 83300 | 62651 58865 43 | 0.005 % |
50.13/50.26 c | 107222 | 140 11900 83300 | 62651 59174 43 | 0.005 % |
50.33/50.49 c | 107562 | 140 11900 83300 | 62651 59514 43 | 0.005 % |
50.73/50.82 c | 107934 | 140 11900 83300 | 62651 59886 43 | 0.005 % |
51.03/51.15 c | 108344 | 140 11900 83300 | 62651 60296 43 | 0.005 % |
51.33/51.47 c | 108793 | 140 11900 83300 | 62651 60745 43 | 0.005 % |
51.63/51.79 c | 109286 | 140 11900 83300 | 62651 61238 43 | 0.005 % |
52.03/52.16 c | 109829 | 140 11900 83300 | 62651 61781 43 | 0.005 % |
52.43/52.54 c | 110425 | 140 11900 83300 | 61952 52616 43 | 0.005 % |
52.83/52.91 c | 111080 | 140 11900 83300 | 61952 53271 43 | 0.005 % |
53.33/53.45 c | 111802 | 140 11900 83300 | 61952 53993 43 | 0.005 % |
53.83/53.91 c | 112594 | 140 11900 83300 | 61952 54785 43 | 0.005 % |
54.42/54.52 c | 113465 | 140 11900 83300 | 61952 55656 43 | 0.005 % |
55.02/55.10 c | 114423 | 140 11900 83300 | 61952 56614 43 | 0.005 % |
55.63/55.75 c | 115476 | 140 11900 83300 | 61952 57667 43 | 0.005 % |
56.33/56.50 c | 116635 | 140 11900 83300 | 61952 58826 43 | 0.005 % |
57.13/57.26 c | 117908 | 140 11900 83300 | 61952 60099 43 | 0.005 % |
57.22/57.32 c | 118009 | 140 11900 83300 | 61952 60200 43 | 0.005 % |
57.32/57.44 c | 118120 | 140 11900 83300 | 61952 60311 43 | 0.005 % |
57.42/57.55 c | 118241 | 140 11900 83300 | 61952 60432 43 | 0.005 % |
57.52/57.65 c | 118376 | 140 11900 83300 | 61952 60567 43 | 0.005 % |
57.62/57.76 c | 118522 | 140 11900 83300 | 61952 60713 43 | 0.005 % |
57.82/57.91 c | 118685 | 140 11900 83300 | 61952 60876 43 | 0.005 % |
57.92/58.04 c | 118861 | 140 11900 83300 | 61952 61052 43 | 0.005 % |
58.02/58.17 c | 119054 | 140 11900 83300 | 61952 61245 43 | 0.005 % |
58.22/58.38 c | 119267 | 140 11900 83300 | 61952 61458 43 | 0.005 % |
58.42/58.55 c | 119502 | 140 11900 83300 | 61952 61693 43 | 0.005 % |
58.62/58.77 c | 119760 | 140 11900 83300 | 61952 61951 43 | 0.005 % |
58.92/59.02 c | 120041 | 140 11900 83300 | 52553 52593 43 | 0.005 % |
59.12/59.23 c | 120350 | 140 11900 83300 | 52553 44773 43 | 0.005 % |
59.32/59.42 c | 120689 | 140 11900 83300 | 52553 45112 43 | 0.005 % |
59.52/59.62 c | 121061 | 140 11900 83300 | 52553 45484 43 | 0.005 % |
59.72/59.90 c | 121471 | 140 11900 83300 | 52553 45894 43 | 0.005 % |
60.02/60.14 c | 121920 | 140 11900 83300 | 52553 46343 43 | 0.005 % |
60.22/60.39 c | 122413 | 140 11900 83300 | 52553 46836 43 | 0.005 % |
60.52/60.67 c | 122957 | 140 11900 83300 | 52553 47380 43 | 0.005 % |
60.82/60.96 c | 123553 | 140 11900 83300 | 52553 47976 43 | 0.005 % |
61.22/61.34 c | 124208 | 140 11900 83300 | 52553 48631 43 | 0.005 % |
61.62/61.75 c | 124929 | 140 11900 83300 | 52553 49352 43 | 0.005 % |
62.02/62.19 c | 125723 | 140 11900 83300 | 52553 50146 43 | 0.005 % |
62.52/62.64 c | 126594 | 140 11900 83300 | 52553 51017 43 | 0.005 % |
63.21/63.34 c | 127554 | 140 11900 83300 | 52553 51977 43 | 0.005 % |
63.92/64.03 c | 128608 | 140 11900 83300 | 52553 46683 43 | 0.005 % |
64.42/64.56 c | 129767 | 140 11900 83300 | 52553 47842 43 | 0.005 % |
65.02/65.19 c | 131041 | 140 11900 83300 | 48075 43590 43 | 0.005 % |
65.82/65.93 c | 132441 | 140 11900 83300 | 48075 44990 43 | 0.005 % |
65.82/65.98 c | 132541 | 140 11900 83300 | 48075 45090 43 | 0.005 % |
65.92/66.06 c | 132652 | 140 11900 83300 | 48075 45201 43 | 0.005 % |
66.01/66.12 c | 132773 | 140 11900 83300 | 48075 45322 43 | 0.005 % |
66.01/66.19 c | 132906 | 140 11900 83300 | 48075 45455 43 | 0.005 % |
66.11/66.28 c | 133052 | 140 11900 83300 | 48075 45601 43 | 0.005 % |
66.21/66.37 c | 133212 | 140 11900 83300 | 48075 45761 43 | 0.005 % |
66.31/66.47 c | 133389 | 140 11900 83300 | 48075 45938 43 | 0.005 % |
66.41/66.58 c | 133584 | 140 11900 83300 | 48075 46133 43 | 0.005 % |
66.61/66.71 c | 133796 | 140 11900 83300 | 48075 46345 43 | 0.005 % |
66.71/66.84 c | 134031 | 140 11900 83300 | 48075 46580 43 | 0.005 % |
66.92/67.01 c | 134287 | 140 11900 83300 | 48075 46836 43 | 0.005 % |
67.02/67.17 c | 134568 | 140 11900 83300 | 48075 47117 43 | 0.005 % |
67.21/67.38 c | 134877 | 140 11900 83300 | 48075 47426 43 | 0.005 % |
67.41/67.59 c | 135216 | 140 11900 83300 | 48075 47765 43 | 0.005 % |
67.71/67.83 c | 135588 | 140 11900 83300 | 48075 43324 43 | 0.005 % |
67.91/68.05 c | 135997 | 140 11900 83300 | 48075 43733 43 | 0.005 % |
68.12/68.27 c | 136449 | 140 11900 83300 | 48075 44185 43 | 0.005 % |
68.41/68.50 c | 136942 | 140 11900 83300 | 48075 44678 43 | 0.005 % |
68.61/68.76 c | 137485 | 140 11900 83300 | 48075 45221 43 | 0.005 % |
68.91/69.05 c | 138083 | 140 11900 83300 | 48075 45819 43 | 0.005 % |
69.31/69.45 c | 138739 | 140 11900 83300 | 48075 46475 43 | 0.005 % |
69.71/69.84 c | 139459 | 140 11900 83300 | 48075 47195 44 | 0.005 % |
70.11/70.25 c | 140252 | 140 11900 83300 | 2147483647 47988 44 | 0.005 % |
70.51/70.68 c | 141123 | 140 11900 83300 | 2147483647 48859 44 | 0.005 % |
71.01/71.17 c | 142082 | 140 11900 83300 | 2147483647 49818 44 | 0.005 % |
71.71/71.83 c | 143135 | 140 11900 83300 | 2147483647 50871 44 | 0.005 % |
72.41/72.56 c | 144294 | 140 11900 83300 | 2147483647 52030 44 | 0.005 % |
73.21/73.36 c | 145568 | 140 11900 83300 | 2147483647 53304 44 | 0.005 % |
74.01/74.19 c | 146968 | 140 11900 83300 | 2147483647 54704 44 | 0.005 % |
74.91/75.07 c | 148508 | 140 11900 83300 | 2147483647 56244 44 | 0.005 % |
75.01/75.14 c | 148609 | 140 11900 83300 | 2147483647 56345 44 | 0.005 % |
75.11/75.22 c | 148719 | 140 11900 83300 | 2147483647 56455 44 | 0.005 % |
75.21/75.31 c | 148841 | 140 11900 83300 | 2147483647 56577 44 | 0.005 % |
75.31/75.40 c | 148975 | 140 11900 83300 | 2147483647 56711 44 | 0.005 % |
75.41/75.50 c | 149121 | 140 11900 83300 | 2147483647 56857 44 | 0.005 % |
75.51/75.61 c | 149283 | 140 11900 83300 | 2147483647 57019 44 | 0.005 % |
75.61/75.75 c | 149460 | 140 11900 83300 | 2147483647 57196 44 | 0.005 % |
75.71/75.89 c | 149653 | 140 11900 83300 | 2147483647 57389 44 | 0.005 % |
75.91/76.02 c | 149865 | 140 11900 83300 | 2147483647 57601 44 | 0.005 % |
76.11/76.22 c | 150099 | 140 11900 83300 | 57737 50975 44 | 0.005 % |
76.31/76.43 c | 150355 | 140 11900 83300 | 57737 51231 44 | 0.005 % |
76.51/76.61 c | 150637 | 140 11900 83300 | 57737 51513 44 | 0.005 % |
76.61/76.78 c | 150948 | 140 11900 83300 | 57737 51824 44 | 0.005 % |
76.81/76.96 c | 151287 | 140 11900 83300 | 57737 52163 44 | 0.005 % |
77.01/77.17 c | 151660 | 140 11900 83300 | 57737 52536 44 | 0.005 % |
77.31/77.40 c | 152071 | 140 11900 83300 | 57737 52947 44 | 0.005 % |
77.61/77.71 c | 152521 | 140 11900 83300 | 57737 53397 44 | 0.005 % |
77.91/78.07 c | 153014 | 140 11900 83300 | 57737 53890 44 | 0.005 % |
78.31/78.42 c | 153556 | 140 11900 83300 | 57737 54432 44 | 0.005 % |
78.71/78.89 c | 154153 | 140 11900 83300 | 57737 55029 44 | 0.005 % |
79.11/79.28 c | 154808 | 140 11900 83300 | 57737 55684 44 | 0.005 % |
79.50/79.69 c | 155528 | 140 11900 83300 | 57737 56404 44 | 0.005 % |
80.11/80.25 c | 156323 | 140 11900 83300 | 57737 57199 44 | 0.005 % |
80.70/80.85 c | 157194 | 140 11900 83300 | 57737 50171 44 | 0.005 % |
81.31/81.42 c | 158152 | 140 11900 83300 | 57737 51129 44 | 0.005 % |
81.80/81.99 c | 159206 | 140 11900 83300 | 57737 52183 44 | 0.005 % |
82.50/82.64 c | 160364 | 140 11900 83300 | 52977 46417 44 | 0.005 % |
83.20/83.32 c | 161638 | 140 11900 83300 | 52977 47691 44 | 0.005 % |
83.90/84.05 c | 163039 | 140 11900 83300 | 52977 49092 43 | 0.005 % |
84.80/84.96 c | 164580 | 140 11900 83300 | 52977 50633 44 | 0.005 % |
85.80/85.98 c | 166275 | 140 11900 83300 | 52977 52328 44 | 0.005 % |
85.90/86.04 c | 166375 | 140 11900 83300 | 52977 52428 44 | 0.005 % |
86.00/86.11 c | 166485 | 140 11900 83300 | 52977 52538 44 | 0.005 % |
86.00/86.19 c | 166606 | 140 11900 83300 | 52977 52659 44 | 0.005 % |
86.10/86.27 c | 166740 | 140 11900 83300 | 52977 52793 44 | 0.005 % |
86.20/86.37 c | 166887 | 140 11900 83300 | 52977 52940 44 | 0.005 % |
86.40/86.51 c | 167048 | 140 11900 83300 | 52977 46947 44 | 0.005 % |
86.50/86.64 c | 167224 | 140 11900 83300 | 52977 47123 44 | 0.005 % |
86.60/86.75 c | 167417 | 140 11900 83300 | 52977 47316 44 | 0.005 % |
86.70/86.90 c | 167629 | 140 11900 83300 | 52977 47528 44 | 0.005 % |
86.90/87.04 c | 167862 | 140 11900 83300 | 52977 47761 44 | 0.005 % |
87.10/87.20 c | 168122 | 140 11900 83300 | 52977 48021 44 | 0.005 % |
87.20/87.35 c | 168403 | 140 11900 83300 | 52977 48302 44 | 0.005 % |
87.40/87.50 c | 168712 | 140 11900 83300 | 52977 48611 44 | 0.005 % |
87.50/87.67 c | 169052 | 140 11900 83300 | 52977 48951 44 | 0.005 % |
87.80/87.93 c | 169425 | 140 11900 83300 | 52977 49324 44 | 0.005 % |
88.00/88.18 c | 169835 | 140 11900 83300 | 52977 49734 44 | 0.005 % |
88.40/88.51 c | 170284 | 140 11900 83300 | 49900 44379 44 | 0.005 % |
88.60/88.75 c | 170777 | 140 11900 83300 | 49900 44872 44 | 0.005 % |
88.90/89.02 c | 171319 | 140 11900 83300 | 49900 45414 44 | 0.005 % |
89.20/89.32 c | 171916 | 140 11900 83300 | 49900 46011 44 | 0.005 % |
89.50/89.61 c | 172572 | 140 11900 83300 | 49900 46667 44 | 0.005 % |
89.90/90.05 c | 173294 | 140 11900 83300 | 49900 47389 44 | 0.005 % |
90.30/90.45 c | 174086 | 140 11900 83300 | 49900 48181 44 | 0.005 % |
90.80/90.98 c | 174957 | 140 11900 83300 | 49900 49052 44 | 0.005 % |
91.40/91.56 c | 175915 | 140 11900 83300 | 49900 45013 44 | 0.005 % |
91.90/92.09 c | 176969 | 140 11900 83300 | 49900 46067 43 | 0.005 % |
92.60/92.71 c | 178129 | 140 11900 83300 | 49900 47227 43 | 0.005 % |
93.20/93.32 c | 179402 | 140 11900 83300 | 49900 48500 43 | 0.005 % |
93.90/94.03 c | 180804 | 140 11900 83300 | 2147483647 49902 43 | 0.005 % |
94.80/94.90 c | 182346 | 140 11900 83300 | 2147483647 51444 43 | 0.005 % |
95.70/95.80 c | 184041 | 140 11900 83300 | 2147483647 53139 43 | 0.005 % |
96.80/96.96 c | 185904 | 140 11900 83300 | 2147483647 55002 44 | 0.005 % |
96.90/97.03 c | 186004 | 140 11900 83300 | 2147483647 55102 44 | 0.005 % |
97.00/97.11 c | 186114 | 140 11900 83300 | 2147483647 55212 44 | 0.005 % |
97.09/97.20 c | 186235 | 140 11900 83300 | 2147483647 55333 44 | 0.005 % |
97.09/97.29 c | 186370 | 140 11900 83300 | 2147483647 55468 44 | 0.005 % |
97.19/97.39 c | 186516 | 140 11900 83300 | 2147483647 55614 44 | 0.005 % |
97.39/97.51 c | 186676 | 140 11900 83300 | 2147483647 55774 44 | 0.005 % |
97.49/97.63 c | 186852 | 140 11900 83300 | 2147483647 55950 44 | 0.005 % |
97.59/97.75 c | 187047 | 140 11900 83300 | 2147483647 56145 44 | 0.005 % |
97.80/97.95 c | 187260 | 140 11900 83300 | 2147483647 56358 44 | 0.005 % |
97.99/98.13 c | 187495 | 140 11900 83300 | 2147483647 56593 44 | 0.005 % |
98.19/98.32 c | 187751 | 140 11900 83300 | 2147483647 56849 44 | 0.005 % |
98.39/98.50 c | 188032 | 140 11900 83300 | 2147483647 57130 44 | 0.005 % |
98.59/98.73 c | 188341 | 140 11900 83300 | 2147483647 57439 44 | 0.005 % |
98.80/98.97 c | 188680 | 140 11900 83300 | 2147483647 57778 44 | 0.005 % |
99.09/99.25 c | 189053 | 140 11900 83300 | 2147483647 58151 44 | 0.005 % |
99.39/99.54 c | 189462 | 140 11900 83300 | 2147483647 58560 44 | 0.005 % |
99.69/99.87 c | 189913 | 140 11900 83300 | 2147483647 59011 44 | 0.005 % |
100.00/100.20 c | 190407 | 140 11900 83300 | 59098 51880 44 | 0.005 % |
100.39/100.52 c | 190950 | 140 11900 83300 | 59098 52423 43 | 0.005 % |
100.69/100.89 c | 191546 | 140 11900 83300 | 59098 53019 43 | 0.005 % |
101.19/101.34 c | 192201 | 140 11900 83300 | 59098 53674 43 | 0.005 % |
101.59/101.73 c | 192921 | 140 11900 83300 | 59098 54394 43 | 0.005 % |
102.00/102.18 c | 193713 | 140 11900 83300 | 59098 55186 44 | 0.005 % |
102.60/102.71 c | 194585 | 140 11900 83300 | 59098 56058 44 | 0.005 % |
103.30/103.44 c | 195544 | 140 11900 83300 | 59098 57017 44 | 0.005 % |
103.99/104.18 c | 196597 | 140 11900 83300 | 59098 58070 44 | 0.005 % |
104.89/105.04 c | 197755 | 140 11900 83300 | 59098 50882 43 | 0.005 % |
105.59/105.73 c | 199030 | 140 11900 83300 | 59098 52157 43 | 0.005 % |
106.60/106.76 c | 200431 | 140 11900 83300 | 53128 46121 43 | 0.005 % |
107.39/107.57 c | 201971 | 140 11900 83300 | 53128 47661 43 | 0.005 % |
108.29/108.45 c | 203666 | 140 11900 83300 | 53128 49356 44 | 0.005 % |
109.29/109.45 c | 205530 | 140 11900 83300 | 53128 51220 44 | 0.005 % |
110.59/110.73 c | 207579 | 140 11900 83300 | 53128 47236 44 | 0.005 % |
110.69/110.80 c | 207680 | 140 11900 83300 | 53128 47337 44 | 0.005 % |
110.69/110.87 c | 207791 | 140 11900 83300 | 53128 47448 44 | 0.005 % |
110.79/110.94 c | 207913 | 140 11900 83300 | 53128 47570 44 | 0.005 % |
110.90/111.02 c | 208047 | 140 11900 83300 | 53128 47704 44 | 0.005 % |
111.00/111.12 c | 208194 | 140 11900 83300 | 53128 47851 44 | 0.005 % |
111.09/111.23 c | 208354 | 140 11900 83300 | 53128 48011 44 | 0.005 % |
111.19/111.33 c | 208532 | 140 11900 83300 | 53128 48189 44 | 0.005 % |
111.29/111.48 c | 208725 | 140 11900 83300 | 53128 48382 44 | 0.005 % |
111.49/111.62 c | 208937 | 140 11900 83300 | 53128 48594 44 | 0.005 % |
111.59/111.74 c | 209172 | 140 11900 83300 | 53128 48829 44 | 0.005 % |
111.69/111.86 c | 209429 | 140 11900 83300 | 53128 49086 44 | 0.005 % |
111.89/112.03 c | 209712 | 140 11900 83300 | 53128 49369 44 | 0.005 % |
112.00/112.19 c | 210022 | 140 11900 83300 | 49657 49679 44 | 0.005 % |
112.29/112.40 c | 210362 | 140 11900 83300 | 49657 44356 44 | 0.005 % |
112.39/112.58 c | 210736 | 140 11900 83300 | 49657 44730 44 | 0.005 % |
112.59/112.77 c | 211145 | 140 11900 83300 | 49657 45139 44 | 0.005 % |
112.89/113.00 c | 211596 | 140 11900 83300 | 49657 45590 44 | 0.005 % |
113.20/113.31 c | 212091 | 140 11900 83300 | 49657 46085 44 | 0.005 % |
113.49/113.63 c | 212633 | 140 11900 83300 | 49657 46627 44 | 0.005 % |
113.79/113.96 c | 213229 | 140 11900 83300 | 49657 47223 44 | 0.005 % |
114.20/114.31 c | 213885 | 140 11900 83300 | 49657 47879 44 | 0.005 % |
114.49/114.65 c | 214605 | 140 11900 83300 | 49657 48599 44 | 0.005 % |
114.89/115.05 c | 215398 | 140 11900 83300 | 49657 49392 44 | 0.005 % |
115.40/115.51 c | 216269 | 140 11900 83300 | 49657 45291 44 | 0.005 % |
115.79/115.95 c | 217229 | 140 11900 83300 | 49657 46251 44 | 0.005 % |
116.29/116.46 c | 218283 | 140 11900 83300 | 49657 47305 44 | 0.005 % |
116.89/117.05 c | 219442 | 140 11900 83300 | 49657 48464 44 | 0.005 % |
117.49/117.64 c | 220715 | 140 11900 83300 | 2147483647 49737 44 | 0.005 % |
118.29/118.43 c | 222115 | 140 11900 83300 | 2147483647 51137 44 | 0.005 % |
119.09/119.20 c | 223658 | 140 11900 83300 | 2147483647 52680 44 | 0.005 % |
119.89/120.08 c | 225353 | 140 11900 83300 | 2147483647 54375 44 | 0.005 % |
120.89/121.06 c | 227216 | 140 11900 83300 | 2147483647 56238 44 | 0.005 % |
122.09/122.24 c | 229265 | 140 11900 83300 | 2147483647 58287 44 | 0.005 % |
123.29/123.46 c | 231518 | 140 11900 83300 | 59022 54342 44 | 0.005 % |
123.39/123.55 c | 231618 | 140 11900 83300 | 59022 54442 44 | 0.005 % |
123.49/123.63 c | 231728 | 140 11900 83300 | 59022 54552 44 | 0.005 % |
123.59/123.72 c | 231849 | 140 11900 83300 | 59022 54673 44 | 0.005 % |
123.69/123.82 c | 231982 | 140 11900 83300 | 59022 54806 44 | 0.005 % |
123.79/123.92 c | 232128 | 140 11900 83300 | 59022 54952 44 | 0.005 % |
123.89/124.01 c | 232288 | 140 11900 83300 | 59022 55112 44 | 0.005 % |
123.99/124.11 c | 232466 | 140 11900 83300 | 59022 55290 44 | 0.005 % |
124.09/124.24 c | 232659 | 140 11900 83300 | 59022 55483 44 | 0.005 % |
124.19/124.38 c | 232871 | 140 11900 83300 | 59022 55695 44 | 0.005 % |
124.38/124.54 c | 233104 | 140 11900 83300 | 59022 55928 44 | 0.005 % |
124.58/124.71 c | 233360 | 140 11900 83300 | 59022 56184 44 | 0.005 % |
124.68/124.87 c | 233643 | 140 11900 83300 | 59022 56467 44 | 0.005 % |
124.88/125.05 c | 233952 | 140 11900 83300 | 59022 56776 44 | 0.005 % |
125.08/125.25 c | 234293 | 140 11900 83300 | 59022 57117 44 | 0.005 % |
125.29/125.49 c | 234665 | 140 11900 83300 | 59022 57489 44 | 0.005 % |
125.58/125.78 c | 235076 | 140 11900 83300 | 59022 57900 44 | 0.005 % |
125.98/126.13 c | 235525 | 140 11900 83300 | 59022 58349 44 | 0.005 % |
126.39/126.51 c | 236018 | 140 11900 83300 | 59022 58842 44 | 0.005 % |
126.78/126.91 c | 236560 | 140 11900 83300 | 59022 51407 44 | 0.005 % |
127.08/127.29 c | 237157 | 140 11900 83300 | 59022 52004 44 | 0.005 % |
127.48/127.66 c | 237813 | 140 11900 83300 | 59022 52660 44 | 0.005 % |
127.88/128.09 c | 238535 | 140 11900 83300 | 59022 53382 44 | 0.005 % |
128.48/128.62 c | 239329 | 140 11900 83300 | 59022 54176 44 | 0.005 % |
128.98/129.17 c | 240201 | 140 11900 83300 | 54848 47783 44 | 0.005 % |
129.48/129.62 c | 241159 | 140 11900 83300 | 54848 48741 44 | 0.005 % |
129.98/130.16 c | 242212 | 140 11900 83300 | 54848 49794 44 | 0.005 % |
130.68/130.81 c | 243370 | 140 11900 83300 | 54848 50952 44 | 0.005 % |
131.28/131.48 c | 244643 | 140 11900 83300 | 54848 52225 44 | 0.005 % |
132.08/132.27 c | 246043 | 140 11900 83300 | 54848 53625 44 | 0.005 % |
133.18/133.36 c | 247584 | 140 11900 83300 | 54848 48857 44 | 0.005 % |
134.18/134.37 c | 249279 | 140 11900 83300 | 54848 50552 44 | 0.005 % |
135.18/135.38 c | 251145 | 140 11900 83300 | 51273 46494 44 | 0.005 % |
136.18/136.38 c | 253194 | 140 11900 83300 | 51273 48543 44 | 0.005 % |
137.38/137.54 c | 255447 | 140 11900 83300 | 51273 50796 44 | 0.005 % |
138.58/138.77 c | 257925 | 140 11900 83300 | 51273 48140 44 | 0.005 % |
138.68/138.82 c | 258025 | 140 11900 83300 | 51273 48240 44 | 0.005 % |
138.78/138.91 c | 258136 | 140 11900 83300 | 51273 48351 44 | 0.005 % |
138.78/138.98 c | 258257 | 140 11900 83300 | 51273 48472 44 | 0.005 % |
138.88/139.07 c | 258392 | 140 11900 83300 | 51273 48607 44 | 0.005 % |
138.98/139.16 c | 258540 | 140 11900 83300 | 51273 48755 44 | 0.005 % |
139.08/139.24 c | 258700 | 140 11900 83300 | 51273 48915 44 | 0.005 % |
139.18/139.34 c | 258877 | 140 11900 83300 | 51273 49092 44 | 0.005 % |
139.28/139.45 c | 259070 | 140 11900 83300 | 51273 49285 44 | 0.005 % |
139.38/139.58 c | 259282 | 140 11900 83300 | 51273 49497 44 | 0.005 % |
139.58/139.71 c | 259515 | 140 11900 83300 | 51273 49730 44 | 0.005 % |
139.68/139.88 c | 259771 | 140 11900 83300 | 51273 49986 44 | 0.005 % |
139.88/140.05 c | 260052 | 140 11900 83300 | 2147483647 50267 44 | 0.005 % |
140.08/140.27 c | 260361 | 140 11900 83300 | 2147483647 50576 44 | 0.005 % |
140.28/140.46 c | 260701 | 140 11900 83300 | 2147483647 50916 44 | 0.005 % |
140.48/140.66 c | 261073 | 140 11900 83300 | 2147483647 51288 44 | 0.005 % |
140.78/140.91 c | 261482 | 140 11900 83300 | 2147483647 51697 44 | 0.005 % |
140.98/141.17 c | 261932 | 140 11900 83300 | 2147483647 52147 44 | 0.005 % |
141.28/141.46 c | 262425 | 140 11900 83300 | 2147483647 52640 44 | 0.005 % |
141.58/141.79 c | 262968 | 140 11900 83300 | 2147483647 53183 44 | 0.005 % |
141.97/142.13 c | 263564 | 140 11900 83300 | 2147483647 53779 44 | 0.005 % |
142.37/142.53 c | 264220 | 140 11900 83300 | 2147483647 54435 44 | 0.005 % |
142.78/142.97 c | 264942 | 140 11900 83300 | 2147483647 55157 44 | 0.005 % |
143.27/143.48 c | 265734 | 140 11900 83300 | 2147483647 55949 44 | 0.005 % |
143.88/144.06 c | 266607 | 140 11900 83300 | 2147483647 56822 44 | 0.005 % |
144.47/144.60 c | 267567 | 140 11900 83300 | 2147483647 57782 44 | 0.005 % |
145.17/145.35 c | 268621 | 140 11900 83300 | 2147483647 58836 44 | 0.005 % |
145.97/146.11 c | 269781 | 140 11900 83300 | 2147483647 59996 44 | 0.005 % |
146.77/146.94 c | 271054 | 140 11900 83300 | 60216 53339 44 | 0.005 % |
147.67/147.85 c | 272454 | 140 11900 83300 | 60216 54739 44 | 0.005 % |
148.57/148.79 c | 273994 | 140 11900 83300 | 60216 56279 44 | 0.005 % |
149.67/149.86 c | 275689 | 140 11900 83300 | 60216 57974 44 | 0.005 % |
150.87/151.03 c | 277552 | 140 11900 83300 | 60216 59837 44 | 0.005 % |
152.17/152.35 c | 279601 | 140 11900 83300 | 60216 53378 44 | 0.005 % |
153.47/153.68 c | 281854 | 140 11900 83300 | 53777 48122 44 | 0.005 % |
154.87/155.05 c | 284332 | 140 11900 83300 | 53777 50600 44 | 0.005 % |
156.27/156.49 c | 287058 | 140 11900 83300 | 53777 53326 44 | 0.005 % |
156.37/156.56 c | 287160 | 140 11900 83300 | 53777 53428 44 | 0.005 % |
156.47/156.65 c | 287270 | 140 11900 83300 | 53777 53538 44 | 0.005 % |
156.57/156.74 c | 287391 | 140 11900 83300 | 53777 53659 44 | 0.005 % |
156.67/156.83 c | 287525 | 140 11900 83300 | 53777 53793 44 | 0.005 % |
156.77/156.97 c | 287671 | 140 11900 83300 | 53777 47765 44 | 0.005 % |
156.87/157.09 c | 287831 | 140 11900 83300 | 53777 47925 44 | 0.005 % |
157.07/157.20 c | 288007 | 140 11900 83300 | 53777 48101 44 | 0.005 % |
157.17/157.34 c | 288201 | 140 11900 83300 | 53777 48295 44 | 0.005 % |
157.27/157.48 c | 288413 | 140 11900 83300 | 53777 48507 44 | 0.005 % |
157.47/157.61 c | 288646 | 140 11900 83300 | 53777 48740 44 | 0.005 % |
157.56/157.76 c | 288902 | 140 11900 83300 | 53777 48996 44 | 0.005 % |
157.76/157.90 c | 289183 | 140 11900 83300 | 53777 49277 44 | 0.005 % |
157.86/158.06 c | 289492 | 140 11900 83300 | 53777 49586 44 | 0.005 % |
158.06/158.24 c | 289832 | 140 11900 83300 | 53777 49926 44 | 0.005 % |
158.27/158.45 c | 290204 | 140 11900 83300 | 50094 44652 44 | 0.005 % |
158.46/158.64 c | 290613 | 140 11900 83300 | 50094 45061 44 | 0.005 % |
158.66/158.83 c | 291062 | 140 11900 83300 | 50094 45510 44 | 0.005 % |
158.96/159.15 c | 291556 | 140 11900 83300 | 50094 46004 44 | 0.005 % |
159.27/159.47 c | 292099 | 140 11900 83300 | 50094 46547 44 | 0.005 % |
159.66/159.84 c | 292697 | 140 11900 83300 | 50094 47145 44 | 0.005 % |
160.06/160.20 c | 293352 | 140 11900 83300 | 50094 47800 44 | 0.005 % |
160.36/160.57 c | 294073 | 140 11900 83300 | 50094 48521 44 | 0.005 % |
160.76/160.99 c | 294865 | 140 11900 83300 | 50094 49313 44 | 0.005 % |
161.26/161.49 c | 295737 | 140 11900 83300 | 50094 45170 44 | 0.005 % |
161.76/161.94 c | 296695 | 140 11900 83300 | 50094 46128 44 | 0.005 % |
162.26/162.46 c | 297749 | 140 11900 83300 | 50094 47182 44 | 0.005 % |
162.86/163.03 c | 298908 | 140 11900 83300 | 50094 48341 44 | 0.005 % |
163.46/163.62 c | 300181 | 140 11900 83300 | 2147483647 49614 44 | 0.005 % |
164.16/164.37 c | 301581 | 140 11900 83300 | 2147483647 51014 44 | 0.005 % |
165.16/165.33 c | 303122 | 140 11900 83300 | 2147483647 52555 44 | 0.005 % |
166.06/166.22 c | 304818 | 140 11900 83300 | 2147483647 54251 44 | 0.005 % |
167.06/167.27 c | 306681 | 140 11900 83300 | 2147483647 56114 44 | 0.005 % |
168.36/168.53 c | 308731 | 140 11900 83300 | 2147483647 58164 44 | 0.005 % |
169.66/169.89 c | 310985 | 140 11900 83300 | 59436 52979 44 | 0.005 % |
170.96/171.16 c | 313463 | 140 11900 83300 | 59436 55457 44 | 0.005 % |
172.46/172.68 c | 316188 | 140 11900 83300 | 59436 58182 44 | 0.005 % |
174.26/174.46 c | 319185 | 140 11900 83300 | 59436 53303 44 | 0.005 % |
174.36/174.53 c | 319286 | 140 11900 83300 | 59436 53404 44 | 0.005 % |
174.36/174.59 c | 319397 | 140 11900 83300 | 59436 53515 44 | 0.005 % |
174.46/174.66 c | 319519 | 140 11900 83300 | 59436 53637 44 | 0.005 % |
174.56/174.78 c | 319653 | 140 11900 83300 | 59436 53771 44 | 0.005 % |
174.66/174.89 c | 319800 | 140 11900 83300 | 59436 53918 44 | 0.005 % |
174.76/174.99 c | 319960 | 140 11900 83300 | 59436 54078 44 | 0.005 % |
174.96/175.14 c | 320137 | 140 11900 83300 | 54118 47160 44 | 0.005 % |
175.06/175.24 c | 320330 | 140 11900 83300 | 54118 47353 44 | 0.005 % |
175.16/175.38 c | 320544 | 140 11900 83300 | 54118 47567 44 | 0.005 % |
175.36/175.54 c | 320778 | 140 11900 83300 | 54118 47801 44 | 0.005 % |
175.46/175.69 c | 321035 | 140 11900 83300 | 54118 48058 44 | 0.005 % |
175.66/175.85 c | 321318 | 140 11900 83300 | 54118 48341 44 | 0.005 % |
175.86/176.02 c | 321627 | 140 11900 83300 | 54118 48650 44 | 0.005 % |
176.06/176.21 c | 321968 | 140 11900 83300 | 54118 48991 44 | 0.005 % |
176.26/176.41 c | 322340 | 140 11900 83300 | 54118 49363 44 | 0.005 % |
176.46/176.64 c | 322750 | 140 11900 83300 | 54118 49773 44 | 0.005 % |
176.65/176.86 c | 323199 | 140 11900 83300 | 54118 50222 44 | 0.005 % |
176.96/177.11 c | 323693 | 140 11900 83300 | 54118 50716 44 | 0.005 % |
177.15/177.37 c | 324235 | 140 11900 83300 | 54118 51258 44 | 0.005 % |
177.45/177.68 c | 324831 | 140 11900 83300 | 54118 51854 44 | 0.005 % |
177.85/178.03 c | 325487 | 140 11900 83300 | 54118 52510 44 | 0.005 % |
178.25/178.43 c | 326211 | 140 11900 83300 | 54118 53234 44 | 0.005 % |
178.75/178.91 c | 327003 | 140 11900 83300 | 54118 54026 44 | 0.005 % |
179.25/179.45 c | 327875 | 140 11900 83300 | 54118 48689 44 | 0.005 % |
179.75/179.93 c | 328833 | 140 11900 83300 | 54118 49647 44 | 0.005 % |
180.26/180.46 c | 329886 | 140 11900 83300 | 54118 50700 44 | 0.005 % |
180.85/181.06 c | 331046 | 140 11900 83300 | 50815 46201 44 | 0.005 % |
181.55/181.73 c | 332322 | 140 11900 83300 | 50815 47477 44 | 0.005 % |
182.36/182.52 c | 333723 | 140 11900 83300 | 50815 48878 44 | 0.005 % |
183.15/183.39 c | 335264 | 140 11900 83300 | 50815 50419 44 | 0.005 % |
184.05/184.25 c | 336958 | 140 11900 83300 | 50815 47025 44 | 0.005 % |
184.85/185.10 c | 338822 | 140 11900 83300 | 50815 48889 44 | 0.005 % |
185.85/186.08 c | 340871 | 140 11900 83300 | 2147483647 50938 44 | 0.005 % |
187.05/187.23 c | 343126 | 140 11900 83300 | 2147483647 53193 44 | 0.005 % |
188.45/188.60 c | 345605 | 140 11900 83300 | 2147483647 55672 44 | 0.005 % |
189.95/190.20 c | 348332 | 140 11900 83300 | 2147483647 58399 44 | 0.005 % |
191.85/192.02 c | 351330 | 140 11900 83300 | 60068 54652 44 | 0.005 % |
193.74/193.97 c | 354626 | 140 11900 83300 | 60068 57948 44 | 0.005 % |
193.84/194.04 c | 354727 | 140 11900 83300 | 60068 58049 44 | 0.005 % |
193.94/194.11 c | 354838 | 140 11900 83300 | 60068 58160 44 | 0.005 % |
193.94/194.19 c | 354960 | 140 11900 83300 | 60068 58282 44 | 0.005 % |
194.04/194.27 c | 355094 | 140 11900 83300 | 60068 58416 44 | 0.005 % |
194.14/194.38 c | 355241 | 140 11900 83300 | 60068 58563 44 | 0.005 % |
194.34/194.50 c | 355401 | 140 11900 83300 | 60068 58723 44 | 0.005 % |
194.44/194.63 c | 355577 | 140 11900 83300 | 60068 58899 44 | 0.005 % |
194.54/194.77 c | 355771 | 140 11900 83300 | 60068 59093 44 | 0.005 % |
194.74/194.92 c | 355984 | 140 11900 83300 | 60068 59306 44 | 0.005 % |
194.84/195.07 c | 356218 | 140 11900 83300 | 60068 59540 44 | 0.005 % |
195.04/195.22 c | 356474 | 140 11900 83300 | 60068 59796 44 | 0.005 % |
195.24/195.42 c | 356758 | 140 11900 83300 | 60068 60080 44 | 0.005 % |
195.44/195.67 c | 357067 | 140 11900 83300 | 60068 52534 44 | 0.005 % |
195.64/195.89 c | 357406 | 140 11900 83300 | 60068 52873 44 | 0.005 % |
195.94/196.13 c | 357780 | 140 11900 83300 | 60068 53247 44 | 0.005 % |
196.14/196.38 c | 358189 | 140 11900 83300 | 60068 53656 44 | 0.005 % |
196.44/196.68 c | 358638 | 140 11900 83300 | 60068 54105 44 | 0.005 % |
196.74/196.96 c | 359131 | 140 11900 83300 | 60068 54598 44 | 0.005 % |
197.14/197.31 c | 359676 | 140 11900 83300 | 60068 55143 44 | 0.005 % |
197.54/197.73 c | 360273 | 140 11900 83300 | 55468 48369 44 | 0.005 % |
197.94/198.10 c | 360929 | 140 11900 83300 | 55468 49025 44 | 0.005 % |
198.24/198.47 c | 361649 | 140 11900 83300 | 55468 49745 44 | 0.005 % |
198.64/198.84 c | 362441 | 140 11900 83300 | 55468 50537 44 | 0.005 % |
199.14/199.32 c | 363313 | 140 11900 83300 | 55468 51409 44 | 0.005 % |
199.64/199.88 c | 364271 | 140 11900 83300 | 55468 52367 44 | 0.005 % |
200.24/200.47 c | 365325 | 140 11900 83300 | 55468 53421 44 | 0.005 % |
200.94/201.17 c | 366483 | 140 11900 83300 | 55468 54579 44 | 0.005 % |
201.74/201.92 c | 367758 | 140 11900 83300 | 55468 49514 44 | 0.005 % |
202.44/202.60 c | 369158 | 140 11900 83300 | 55468 50914 44 | 0.005 % |
203.24/203.42 c | 370698 | 140 11900 83300 | 51756 46895 44 | 0.005 % |
204.04/204.24 c | 372392 | 140 11900 83300 | 51756 48589 44 | 0.005 % |
204.94/205.15 c | 374256 | 140 11900 83300 | 51756 50453 44 | 0.005 % |
206.04/206.20 c | 376305 | 140 11900 83300 | 51756 47320 44 | 0.005 % |
207.04/207.27 c | 378559 | 140 11900 83300 | 51756 49574 44 | 0.005 % |
208.34/208.55 c | 381038 | 140 11900 83300 | 2147483647 52053 44 | 0.005 % |
209.84/210.06 c | 383765 | 140 11900 83300 | 2147483647 54780 44 | 0.005 % |
211.53/211.73 c | 386762 | 140 11900 83300 | 2147483647 57777 44 | 0.005 % |
213.43/213.61 c | 390058 | 140 11900 83300 | 61021 61073 44 | 0.005 % |
215.53/215.74 c | 393684 | 140 11900 83300 | 61021 57042 44 | 0.005 % |
215.63/215.80 c | 393786 | 140 11900 83300 | 61021 57144 44 | 0.005 % |
215.63/215.87 c | 393897 | 140 11900 83300 | 61021 57255 44 | 0.005 % |
215.73/215.95 c | 394019 | 140 11900 83300 | 61021 57377 44 | 0.005 % |
215.83/216.07 c | 394152 | 140 11900 83300 | 61021 57510 44 | 0.005 % |
215.93/216.18 c | 394298 | 140 11900 83300 | 61021 57656 44 | 0.005 % |
216.03/216.30 c | 394458 | 140 11900 83300 | 61021 57816 44 | 0.005 % |
216.23/216.43 c | 394634 | 140 11900 83300 | 61021 57992 44 | 0.005 % |
216.33/216.59 c | 394828 | 140 11900 83300 | 61021 58186 44 | 0.005 % |
216.54/216.74 c | 395040 | 140 11900 83300 | 61021 58398 44 | 0.005 % |
216.73/216.91 c | 395276 | 140 11900 83300 | 61021 58634 44 | 0.005 % |
216.83/217.07 c | 395532 | 140 11900 83300 | 61021 58890 44 | 0.005 % |
217.03/217.27 c | 395813 | 140 11900 83300 | 61021 59171 44 | 0.005 % |
217.23/217.49 c | 396123 | 140 11900 83300 | 61021 59481 44 | 0.005 % |
217.53/217.73 c | 396463 | 140 11900 83300 | 61021 59821 44 | 0.005 % |
217.73/217.99 c | 396835 | 140 11900 83300 | 61021 60193 44 | 0.005 % |
218.03/218.28 c | 397245 | 140 11900 83300 | 61021 60603 44 | 0.005 % |
218.33/218.56 c | 397694 | 140 11900 83300 | 61021 61052 44 | 0.005 % |
218.64/218.89 c | 398188 | 140 11900 83300 | 61021 52472 44 | 0.005 % |
218.93/219.17 c | 398730 | 140 11900 83300 | 61021 53014 44 | 0.005 % |
219.23/219.48 c | 399326 | 140 11900 83300 | 61021 53610 44 | 0.005 % |
219.63/219.86 c | 399981 | 140 11900 83300 | 61021 54265 44 | 0.005 % |
220.03/220.29 c | 400703 | 140 11900 83300 | 54285 47271 44 | 0.005 % |
220.53/220.72 c | 401496 | 140 11900 83300 | 54285 48064 44 | 0.005 % |
221.03/221.20 c | 402367 | 140 11900 83300 | 54285 48935 44 | 0.005 % |
221.53/221.73 c | 403326 | 140 11900 83300 | 54285 49894 44 | 0.005 % |
222.03/222.27 c | 404379 | 140 11900 83300 | 54285 50947 44 | 0.005 % |
222.63/222.83 c | 405537 | 140 11900 83300 | 54285 52105 44 | 0.005 % |
223.43/223.64 c | 406811 | 140 11900 83300 | 54285 53379 44 | 0.005 % |
224.33/224.51 c | 408211 | 140 11900 83300 | 54285 48451 44 | 0.005 % |
225.03/225.30 c | 409752 | 140 11900 83300 | 54285 49992 44 | 0.005 % |
226.03/226.24 c | 411448 | 140 11900 83300 | 50242 46022 44 | 0.005 % |
226.93/227.16 c | 413311 | 140 11900 83300 | 50242 47885 44 | 0.005 % |
227.93/228.18 c | 415362 | 140 11900 83300 | 50242 49936 44 | 0.005 % |
229.13/229.37 c | 417615 | 140 11900 83300 | 50242 47158 44 | 0.005 % |
230.32/230.53 c | 420094 | 140 11900 83300 | 2147483647 49637 44 | 0.005 % |
231.93/232.10 c | 422820 | 140 11900 83300 | 2147483647 52363 44 | 0.005 % |
233.52/233.71 c | 425817 | 140 11900 83300 | 2147483647 55360 44 | 0.005 % |
235.42/235.70 c | 429116 | 140 11900 83300 | 2147483647 58659 44 | 0.005 % |
237.62/237.81 c | 432741 | 140 11900 83300 | 59544 55165 44 | 0.005 % |
239.82/240.03 c | 436729 | 140 11900 83300 | 59544 59153 44 | 0.005 % |
239.82/240.08 c | 436830 | 140 11900 83300 | 59544 59254 44 | 0.005 % |
239.92/240.15 c | 436940 | 140 11900 83300 | 59544 59364 44 | 0.005 % |
240.02/240.24 c | 437063 | 140 11900 83300 | 59544 59487 44 | 0.005 % |
240.22/240.41 c | 437198 | 140 11900 83300 | 59544 52288 44 | 0.005 % |
240.32/240.51 c | 437344 | 140 11900 83300 | 59544 52434 44 | 0.005 % |
240.42/240.61 c | 437504 | 140 11900 83300 | 59544 52594 44 | 0.005 % |
240.52/240.77 c | 437681 | 140 11900 83300 | 59544 52771 44 | 0.005 % |
240.72/240.91 c | 437874 | 140 11900 83300 | 59544 52964 44 | 0.005 % |
240.82/241.06 c | 438089 | 140 11900 83300 | 59544 53179 44 | 0.005 % |
241.02/241.21 c | 438323 | 140 11900 83300 | 59544 53413 44 | 0.005 % |
241.12/241.37 c | 438582 | 140 11900 83300 | 59544 53672 44 | 0.005 % |
241.32/241.57 c | 438863 | 140 11900 83300 | 59544 53953 44 | 0.005 % |
241.51/241.78 c | 439174 | 140 11900 83300 | 59544 54264 44 | 0.005 % |
241.82/242.01 c | 439515 | 140 11900 83300 | 59544 54605 44 | 0.005 % |
242.01/242.27 c | 439887 | 140 11900 83300 | 59544 54977 44 | 0.005 % |
242.31/242.54 c | 440296 | 140 11900 83300 | 55090 48173 44 | 0.005 % |
242.51/242.77 c | 440745 | 140 11900 83300 | 55090 48622 44 | 0.005 % |
242.82/243.03 c | 441238 | 140 11900 83300 | 55090 49115 44 | 0.005 % |
243.11/243.33 c | 441780 | 140 11900 83300 | 55090 49657 44 | 0.005 % |
243.41/243.64 c | 442376 | 140 11900 83300 | 55090 50253 44 | 0.005 % |
243.71/243.99 c | 443031 | 140 11900 83300 | 55090 50908 44 | 0.005 % |
244.21/244.43 c | 443751 | 140 11900 83300 | 55090 51628 44 | 0.005 % |
244.71/244.91 c | 444543 | 140 11900 83300 | 55090 52420 44 | 0.005 % |
245.21/245.45 c | 445417 | 140 11900 83300 | 55090 53294 44 | 0.005 % |
245.81/246.02 c | 446378 | 140 11900 83300 | 55090 54255 44 | 0.005 % |
246.41/246.64 c | 447431 | 140 11900 83300 | 55090 48630 44 | 0.005 % |
247.01/247.27 c | 448589 | 140 11900 83300 | 55090 49788 44 | 0.005 % |
247.91/248.11 c | 449864 | 140 11900 83300 | 55090 51063 44 | 0.005 % |
248.71/248.90 c | 451264 | 140 11900 83300 | 51199 46348 44 | 0.005 % |
249.42/249.68 c | 452804 | 140 11900 83300 | 51199 47888 44 | 0.005 % |
250.31/250.53 c | 454498 | 140 11900 83300 | 51199 49582 44 | 0.005 % |
251.21/251.49 c | 456363 | 140 11900 83300 | 51199 46321 44 | 0.005 % |
252.21/252.44 c | 458412 | 140 11900 83300 | 51199 48370 44 | 0.005 % |
253.21/253.49 c | 460667 | 140 11900 83300 | 2147483647 50625 44 | 0.005 % |
254.51/254.73 c | 463146 | 140 11900 83300 | 2147483647 53104 44 | 0.005 % |
255.91/256.14 c | 465871 | 140 11900 83300 | 2147483647 55829 44 | 0.005 % |
257.61/257.89 c | 468868 | 140 11900 83300 | 2147483647 58826 44 | 0.005 % |
259.61/259.83 c | 472165 | 140 11900 83300 | 59961 55445 44 | 0.005 % |
261.61/261.84 c | 475792 | 140 11900 83300 | 59961 59072 44 | 0.005 % |
263.81/264.08 c | 479779 | 140 11900 83300 | 59961 55777 44 | 0.005 % |
266.21/266.45 c | 484164 | 140 11900 83300 | 55999 53535 44 | 0.005 % |
266.31/266.51 c | 484264 | 140 11900 83300 | 55999 53635 44 | 0.005 % |
266.31/266.59 c | 484374 | 140 11900 83300 | 55999 53745 44 | 0.005 % |
266.40/266.67 c | 484497 | 140 11900 83300 | 55999 53868 44 | 0.005 % |
266.50/266.78 c | 484630 | 140 11900 83300 | 55999 54001 44 | 0.005 % |
266.60/266.88 c | 484778 | 140 11900 83300 | 55999 54149 44 | 0.005 % |
266.70/266.98 c | 484939 | 140 11900 83300 | 55999 54310 44 | 0.005 % |
266.80/267.10 c | 485116 | 140 11900 83300 | 55999 54487 44 | 0.005 % |
267.01/267.21 c | 485309 | 140 11900 83300 | 55999 54680 44 | 0.005 % |
267.11/267.33 c | 485522 | 140 11900 83300 | 55999 54893 44 | 0.005 % |
267.30/267.50 c | 485755 | 140 11900 83300 | 55999 55126 44 | 0.005 % |
267.40/267.67 c | 486012 | 140 11900 83300 | 55999 55383 44 | 0.005 % |
267.60/267.87 c | 486293 | 140 11900 83300 | 55999 55664 44 | 0.005 % |
267.80/268.08 c | 486604 | 140 11900 83300 | 55999 55975 44 | 0.005 % |
268.11/268.30 c | 486943 | 140 11900 83300 | 55999 49724 44 | 0.005 % |
268.30/268.52 c | 487315 | 140 11900 83300 | 55999 50096 44 | 0.005 % |
268.50/268.73 c | 487724 | 140 11900 83300 | 55999 50505 44 | 0.005 % |
268.80/269.01 c | 488173 | 140 11900 83300 | 55999 50954 44 | 0.005 % |
269.10/269.32 c | 488667 | 140 11900 83300 | 55999 51448 44 | 0.005 % |
269.40/269.60 c | 489210 | 140 11900 83300 | 55999 51991 44 | 0.005 % |
269.70/269.90 c | 489807 | 140 11900 83300 | 55999 52588 44 | 0.005 % |
270.00/270.28 c | 490463 | 140 11900 83300 | 52782 47214 44 | 0.005 % |
270.41/270.60 c | 491183 | 140 11900 83300 | 52782 47934 44 | 0.005 % |
270.70/270.97 c | 491975 | 140 11900 83300 | 52782 48726 44 | 0.005 % |
271.10/271.39 c | 492846 | 140 11900 83300 | 52782 49597 44 | 0.005 % |
271.60/271.88 c | 493806 | 140 11900 83300 | 52782 50557 44 | 0.005 % |
272.20/272.46 c | 494860 | 140 11900 83300 | 52782 51611 44 | 0.005 % |
272.80/273.08 c | 496018 | 140 11900 83300 | 52782 52769 44 | 0.005 % |
273.60/273.82 c | 497292 | 140 11900 83300 | 52782 48759 44 | 0.005 % |
274.30/274.55 c | 498692 | 140 11900 83300 | 52782 50159 44 | 0.005 % |
275.10/275.34 c | 500234 | 140 11900 83300 | 2147483647 51701 44 | 0.005 % |
276.10/276.32 c | 501929 | 140 11900 83300 | 2147483647 53396 44 | 0.005 % |
277.10/277.35 c | 503793 | 140 11900 83300 | 2147483647 55260 44 | 0.005 % |
278.30/278.54 c | 505844 | 140 11900 83300 | 2147483647 57311 44 | 0.005 % |
279.60/279.89 c | 508097 | 140 11900 83300 | 2147483647 59564 44 | 0.005 % |
281.20/281.49 c | 510577 | 140 11900 83300 | 61470 54401 44 | 0.005 % |
282.80/283.01 c | 513304 | 140 11900 83300 | 61470 57128 44 | 0.005 % |
284.59/284.82 c | 516301 | 140 11900 83300 | 61470 60125 44 | 0.005 % |
286.48/286.75 c | 519597 | 140 11900 83300 | 61470 54925 44 | 0.005 % |
288.28/288.58 c | 523226 | 140 11900 83300 | 55328 51049 44 | 0.005 % |
290.48/290.76 c | 527214 | 140 11900 83300 | 55328 55037 44 | 0.005 % |
292.68/292.99 c | 531600 | 140 11900 83300 | 51271 47102 44 | 0.005 % |
294.98/295.26 c | 536425 | 140 11900 83300 | 51271 46794 44 | 0.005 % |
295.08/295.31 c | 536525 | 140 11900 83300 | 51271 46894 44 | 0.005 % |
295.08/295.39 c | 536636 | 140 11900 83300 | 51271 47005 44 | 0.005 % |
295.18/295.45 c | 536758 | 140 11900 83300 | 51271 47127 44 | 0.005 % |
295.28/295.52 c | 536891 | 140 11900 83300 | 51271 47260 44 | 0.005 % |
295.38/295.60 c | 537038 | 140 11900 83300 | 51271 47407 44 | 0.005 % |
295.48/295.73 c | 537199 | 140 11900 83300 | 51271 47568 44 | 0.005 % |
295.58/295.83 c | 537376 | 140 11900 83300 | 51271 47745 44 | 0.005 % |
295.68/295.94 c | 537569 | 140 11900 83300 | 51271 47938 44 | 0.005 % |
295.78/296.07 c | 537782 | 140 11900 83300 | 51271 48151 44 | 0.005 % |
295.98/296.21 c | 538017 | 140 11900 83300 | 51271 48386 44 | 0.005 % |
296.08/296.37 c | 538274 | 140 11900 83300 | 51271 48643 44 | 0.005 % |
296.27/296.54 c | 538556 | 140 11900 83300 | 51271 48925 44 | 0.005 % |
296.47/296.71 c | 538866 | 140 11900 83300 | 51271 49235 44 | 0.005 % |
296.57/296.88 c | 539205 | 140 11900 83300 | 51271 49574 44 | 0.005 % |
296.78/297.09 c | 539577 | 140 11900 83300 | 51271 49946 44 | 0.005 % |
297.07/297.36 c | 539987 | 140 11900 83300 | 51271 50356 44 | 0.005 % |
297.37/297.64 c | 540436 | 140 11900 83300 | 2147483647 50805 44 | 0.005 % |
297.67/297.93 c | 540930 | 140 11900 83300 | 2147483647 51299 44 | 0.005 % |
297.97/298.21 c | 541472 | 140 11900 83300 | 2147483647 51841 44 | 0.005 % |
298.27/298.52 c | 542069 | 140 11900 83300 | 2147483647 52438 44 | 0.005 % |
298.67/298.93 c | 542724 | 140 11900 83300 | 2147483647 53093 44 | 0.005 % |
299.07/299.35 c | 543446 | 140 11900 83300 | 2147483647 53815 44 | 0.005 % |
299.47/299.76 c | 544238 | 140 11900 83300 | 2147483647 54607 44 | 0.005 % |
299.98/300.22 c | 545109 | 140 11900 83300 | 2147483647 55478 44 | 0.005 % |
300.57/300.81 c | 546067 | 140 11900 83300 | 2147483647 56436 44 | 0.005 % |
301.27/301.50 c | 547120 | 140 11900 83300 | 2147483647 57489 44 | 0.005 % |
301.97/302.23 c | 548278 | 140 11900 83300 | 2147483647 58647 44 | 0.005 % |
302.77/303.02 c | 549552 | 140 11900 83300 | 2147483647 59921 44 | 0.005 % |
303.67/303.98 c | 550952 | 140 11900 83300 | 60370 53655 44 | 0.005 % |
304.67/304.92 c | 552495 | 140 11900 83300 | 60370 55198 44 | 0.005 % |
305.67/305.98 c | 554189 | 140 11900 83300 | 60370 56892 44 | 0.005 % |
306.87/307.12 c | 556052 | 140 11900 83300 | 60370 58755 44 | 0.005 % |
308.08/308.36 c | 558103 | 140 11900 83300 | 60370 52724 44 | 0.005 % |
309.28/309.55 c | 560356 | 140 11900 83300 | 54621 47820 44 | 0.005 % |
310.48/310.79 c | 562835 | 140 11900 83300 | 54621 50299 44 | 0.005 % |
311.98/312.28 c | 565561 | 140 11900 83300 | 54621 53025 44 | 0.005 % |
313.88/314.12 c | 568558 | 140 11900 83300 | 54621 49998 44 | 0.005 % |
315.68/315.92 c | 571857 | 140 11900 83300 | 51441 47670 44 | 0.005 % |
317.58/317.82 c | 575483 | 140 11900 83300 | 51441 51296 44 | 0.005 % |
319.47/319.77 c | 579470 | 140 11900 83300 | 51441 50133 44 | 0.005 % |
321.77/322.02 c | 583857 | 140 11900 83300 | 2147483647 54520 44 | 0.005 % |
324.67/324.93 c | 588680 | 140 11900 83300 | 2147483647 59343 44 | 0.005 % |
327.86/328.14 c | 593986 | 140 11900 83300 | 60665 57425 44 | 0.005 % |
327.97/328.20 c | 594086 | 140 11900 83300 | 60665 57525 44 | 0.005 % |
328.06/328.30 c | 594196 | 140 11900 83300 | 60665 57635 44 | 0.005 % |
328.06/328.39 c | 594317 | 140 11900 83300 | 60665 57756 44 | 0.005 % |
328.26/328.50 c | 594450 | 140 11900 83300 | 60665 57889 44 | 0.005 % |
328.36/328.62 c | 594600 | 140 11900 83300 | 60665 58039 44 | 0.005 % |
328.46/328.73 c | 594762 | 140 11900 83300 | 60665 58201 44 | 0.005 % |
328.56/328.86 c | 594938 | 140 11900 83300 | 60665 58377 44 | 0.005 % |
328.76/329.00 c | 595133 | 140 11900 83300 | 60665 58572 44 | 0.005 % |
328.86/329.14 c | 595345 | 140 11900 83300 | 60665 58784 44 | 0.005 % |
329.06/329.31 c | 595580 | 140 11900 83300 | 60665 59019 44 | 0.005 % |
329.26/329.52 c | 595836 | 140 11900 83300 | 60665 59275 44 | 0.005 % |
329.46/329.71 c | 596117 | 140 11900 83300 | 60665 59556 44 | 0.005 % |
329.66/329.93 c | 596427 | 140 11900 83300 | 60665 59866 44 | 0.005 % |
329.86/330.13 c | 596766 | 140 11900 83300 | 60665 60205 44 | 0.005 % |
330.16/330.40 c | 597140 | 140 11900 83300 | 60665 60579 44 | 0.005 % |
330.46/330.73 c | 597549 | 140 11900 83300 | 60665 52462 44 | 0.005 % |
330.76/331.03 c | 597998 | 140 11900 83300 | 60665 52911 44 | 0.005 % |
331.06/331.32 c | 598492 | 140 11900 83300 | 60665 53405 44 | 0.005 % |
331.36/331.67 c | 599036 | 140 11900 83300 | 60665 53949 44 | 0.005 % |
331.76/332.07 c | 599632 | 140 11900 83300 | 60665 54545 44 | 0.005 % |
332.26/332.50 c | 600287 | 140 11900 83300 | 54915 47427 44 | 0.005 % |
332.56/332.88 c | 601008 | 140 11900 83300 | 54915 48148 44 | 0.005 % |
333.06/333.34 c | 601801 | 140 11900 83300 | 54915 48941 44 | 0.005 % |
333.56/333.81 c | 602673 | 140 11900 83300 | 54915 49813 44 | 0.005 % |
334.06/334.33 c | 603632 | 140 11900 83300 | 54915 50772 44 | 0.005 % |
334.66/334.93 c | 604685 | 140 11900 83300 | 54915 51825 44 | 0.005 % |
335.26/335.55 c | 605844 | 140 11900 83300 | 54915 52984 44 | 0.005 % |
335.95/336.20 c | 607118 | 140 11900 83300 | 54915 54258 44 | 0.005 % |
336.65/336.94 c | 608519 | 140 11900 83300 | 54915 49580 44 | 0.005 % |
337.46/337.79 c | 610059 | 140 11900 83300 | 51061 51120 44 | 0.005 % |
338.46/338.76 c | 611753 | 140 11900 83300 | 51061 47208 44 | 0.005 % |
339.45/339.73 c | 613616 | 140 11900 83300 | 51061 49071 44 | 0.005 % |
340.55/340.81 c | 615665 | 140 11900 83300 | 51061 51120 44 | 0.005 % |
341.65/341.91 c | 617919 | 140 11900 83300 | 51061 48262 44 | 0.005 % |
342.95/343.26 c | 620397 | 140 11900 83300 | 2147483647 50740 44 | 0.005 % |
344.55/344.81 c | 623122 | 140 11900 83300 | 2147483647 53465 44 | 0.005 % |
346.15/346.50 c | 626119 | 140 11900 83300 | 2147483647 56462 44 | 0.005 % |
348.35/348.62 c | 629415 | 140 11900 83300 | 2147483647 59758 44 | 0.005 % |
350.45/350.78 c | 633041 | 140 11900 83300 | 60343 56048 44 | 0.005 % |
353.05/353.31 c | 637028 | 140 11900 83300 | 60343 60035 44 | 0.005 % |
355.65/355.96 c | 641413 | 140 11900 83300 | 54773 48665 44 | 0.005 % |
358.15/358.49 c | 646236 | 140 11900 83300 | 54773 53488 44 | 0.005 % |
360.85/361.14 c | 651541 | 140 11900 83300 | 51064 47245 44 | 0.005 % |
363.64/364.00 c | 657376 | 140 11900 83300 | 51064 47967 44 | 0.005 % |
363.75/364.05 c | 657479 | 140 11900 83300 | 51064 48070 44 | 0.005 % |
363.85/364.12 c | 657590 | 140 11900 83300 | 51064 48181 44 | 0.005 % |
363.85/364.19 c | 657713 | 140 11900 83300 | 51064 48304 44 | 0.005 % |
363.94/364.28 c | 657849 | 140 11900 83300 | 51064 48440 44 | 0.005 % |
364.04/364.37 c | 657995 | 140 11900 83300 | 51064 48586 44 | 0.005 % |
364.14/364.46 c | 658155 | 140 11900 83300 | 51064 48746 44 | 0.005 % |
364.24/364.56 c | 658332 | 140 11900 83300 | 51064 48923 44 | 0.005 % |
364.34/364.67 c | 658526 | 140 11900 83300 | 51064 49117 44 | 0.005 % |
364.54/364.81 c | 658739 | 140 11900 83300 | 51064 49330 44 | 0.005 % |
364.64/364.93 c | 658973 | 140 11900 83300 | 51064 49564 44 | 0.005 % |
364.74/365.08 c | 659231 | 140 11900 83300 | 51064 49822 44 | 0.005 % |
364.95/365.23 c | 659512 | 140 11900 83300 | 51064 50103 44 | 0.005 % |
365.14/365.45 c | 659822 | 140 11900 83300 | 51064 50413 44 | 0.005 % |
365.34/365.67 c | 660162 | 140 11900 83300 | 2147483647 50753 44 | 0.005 % |
365.54/365.89 c | 660535 | 140 11900 83300 | 2147483647 51126 44 | 0.005 % |
365.84/366.17 c | 660944 | 140 11900 83300 | 2147483647 51535 44 | 0.005 % |
366.14/366.41 c | 661393 | 140 11900 83300 | 2147483647 51984 44 | 0.005 % |
366.34/366.68 c | 661887 | 140 11900 83300 | 2147483647 52478 44 | 0.005 % |
366.64/366.95 c | 662429 | 140 11900 83300 | 2147483647 53020 44 | 0.005 % |
366.94/367.24 c | 663025 | 140 11900 83300 | 2147483647 53616 44 | 0.005 % |
367.34/367.68 c | 663680 | 140 11900 83300 | 2147483647 54271 44 | 0.005 % |
367.74/368.07 c | 664400 | 140 11900 83300 | 2147483647 54991 44 | 0.005 % |
368.25/368.54 c | 665193 | 140 11900 83300 | 2147483647 55784 44 | 0.005 % |
368.74/369.10 c | 666065 | 140 11900 83300 | 2147483647 56656 44 | 0.005 % |
369.44/369.73 c | 667024 | 140 11900 83300 | 2147483647 57615 44 | 0.005 % |
370.14/370.49 c | 668077 | 140 11900 83300 | 2147483647 58668 44 | 0.005 % |
371.04/371.32 c | 669235 | 140 11900 83300 | 2147483647 59826 44 | 0.005 % |
371.94/372.21 c | 670510 | 140 11900 83300 | 60593 53112 44 | 0.005 % |
372.84/373.13 c | 671911 | 140 11900 83300 | 60593 54513 44 | 0.005 % |
373.74/374.04 c | 673452 | 140 11900 83300 | 60593 56054 44 | 0.005 % |
374.63/374.97 c | 675149 | 140 11900 83300 | 60593 57751 44 | 0.005 % |
375.84/376.13 c | 677012 | 140 11900 83300 | 60593 59614 44 | 0.005 % |
377.33/377.64 c | 679061 | 140 11900 83300 | 60593 52655 44 | 0.005 % |
378.83/379.12 c | 681314 | 140 11900 83300 | 53597 46899 44 | 0.005 % |
380.13/380.42 c | 683794 | 140 11900 83300 | 53597 49379 44 | 0.005 % |
381.53/381.86 c | 686521 | 140 11900 83300 | 53597 52106 44 | 0.005 % |
383.33/383.65 c | 689520 | 140 11900 83300 | 53597 48939 44 | 0.005 % |
384.93/385.29 c | 692817 | 140 11900 83300 | 49420 46797 44 | 0.005 % |
386.73/387.05 c | 696443 | 140 11900 83300 | 49420 45474 44 | 0.005 % |
388.63/388.94 c | 700430 | 140 11900 83300 | 2147483647 49461 44 | 0.005 % |
391.03/391.32 c | 704815 | 140 11900 83300 | 2147483647 53846 44 | 0.005 % |
393.83/394.15 c | 709644 | 140 11900 83300 | 2147483647 58675 44 | 0.005 % |
397.03/397.35 c | 714952 | 140 11900 83300 | 2147483647 63983 44 | 0.005 % |
400.83/401.19 c | 720788 | 140 11900 83300 | 69033 59179 44 | 0.005 % |
404.63/404.92 c | 727207 | 140 11900 83300 | 69033 65598 44 | 0.005 % |
404.63/404.99 c | 727308 | 140 11900 83300 | 69033 65699 44 | 0.005 % |
404.73/405.06 c | 727418 | 140 11900 83300 | 69033 65809 44 | 0.005 % |
404.83/405.17 c | 727539 | 140 11900 83300 | 69033 65930 44 | 0.005 % |
405.03/405.32 c | 727675 | 140 11900 83300 | 69033 66066 44 | 0.005 % |
405.13/405.46 c | 727823 | 140 11900 83300 | 69033 66214 44 | 0.005 % |
405.33/405.60 c | 727984 | 140 11900 83300 | 69033 66375 44 | 0.005 % |
405.43/405.74 c | 728160 | 140 11900 83300 | 69033 66551 44 | 0.005 % |
405.63/405.91 c | 728354 | 140 11900 83300 | 69033 66745 44 | 0.005 % |
405.73/406.08 c | 728566 | 140 11900 83300 | 69033 66957 44 | 0.005 % |
405.93/406.29 c | 728799 | 140 11900 83300 | 69033 67190 44 | 0.005 % |
406.13/406.47 c | 729055 | 140 11900 83300 | 69033 67446 44 | 0.005 % |
406.43/406.71 c | 729336 | 140 11900 83300 | 69033 67727 44 | 0.005 % |
406.63/406.97 c | 729648 | 140 11900 83300 | 69033 68039 44 | 0.005 % |
406.93/407.22 c | 729988 | 140 11900 83300 | 69033 68379 44 | 0.005 % |
407.23/407.55 c | 730363 | 140 11900 83300 | 68392 56776 44 | 0.005 % |
407.53/407.84 c | 730774 | 140 11900 83300 | 68392 57187 44 | 0.005 % |
407.83/408.13 c | 731223 | 140 11900 83300 | 68392 57636 44 | 0.005 % |
408.12/408.46 c | 731718 | 140 11900 83300 | 68392 58131 44 | 0.005 % |
408.52/408.84 c | 732260 | 140 11900 83300 | 68392 58673 44 | 0.005 % |
408.93/409.26 c | 732857 | 140 11900 83300 | 68392 59270 44 | 0.005 % |
409.32/409.67 c | 733514 | 140 11900 83300 | 68392 59927 44 | 0.005 % |
409.82/410.19 c | 734234 | 140 11900 83300 | 68392 60647 44 | 0.005 % |
410.42/410.76 c | 735028 | 140 11900 83300 | 68392 61441 44 | 0.005 % |
411.13/411.42 c | 735900 | 140 11900 83300 | 68392 62313 44 | 0.005 % |
411.72/412.08 c | 736858 | 140 11900 83300 | 68392 63271 44 | 0.005 % |
412.52/412.84 c | 737912 | 140 11900 83300 | 68392 64325 44 | 0.005 % |
413.23/413.59 c | 739072 | 140 11900 83300 | 68392 65485 44 | 0.005 % |
414.33/414.63 c | 740345 | 140 11900 83300 | 66413 54767 44 | 0.005 % |
415.32/415.68 c | 741745 | 140 11900 83300 | 66413 56167 44 | 0.005 % |
416.42/416.75 c | 743285 | 140 11900 83300 | 66413 57707 44 | 0.005 % |
417.52/417.83 c | 744981 | 140 11900 83300 | 66413 59403 44 | 0.005 % |
418.62/418.99 c | 746844 | 140 11900 83300 | 66413 61266 44 | 0.005 % |
420.02/420.36 c | 748896 | 140 11900 83300 | 66413 63318 44 | 0.005 % |
421.52/421.88 c | 751149 | 140 11900 83300 | 64422 54738 44 | 0.005 % |
423.01/423.33 c | 753627 | 140 11900 83300 | 64422 57216 44 | 0.005 % |
424.61/424.95 c | 756353 | 140 11900 83300 | 64422 59942 44 | 0.005 % |
426.31/426.64 c | 759350 | 140 11900 83300 | 64422 62939 44 | 0.005 % |
428.21/428.59 c | 762647 | 140 11900 83300 | 63589 56667 44 | 0.005 % |
430.41/430.70 c | 766274 | 140 11900 83300 | 63589 60294 44 | 0.005 % |
432.91/433.22 c | 770261 | 140 11900 83300 | 54974 47513 44 | 0.005 % |
435.21/435.56 c | 774647 | 140 11900 83300 | 54974 51899 44 | 0.005 % |
437.91/438.24 c | 779470 | 140 11900 83300 | 54974 50800 44 | 0.005 % |
440.41/440.73 c | 784776 | 140 11900 83300 | 51331 50831 44 | 0.005 % |
443.21/443.51 c | 790611 | 140 11900 83300 | 2147483647 51526 43 | 0.005 % |
446.61/446.94 c | 797030 | 140 11900 83300 | 2147483647 57945 43 | 0.005 % |
450.40/450.76 c | 804091 | 140 11900 83300 | 60916 58063 44 | 0.005 % |
450.50/450.84 c | 804191 | 140 11900 83300 | 60916 58163 44 | 0.005 % |
450.61/450.92 c | 804301 | 140 11900 83300 | 60916 58273 44 | 0.005 % |
450.71/451.01 c | 804423 | 140 11900 83300 | 60916 58395 44 | 0.005 % |
450.80/451.10 c | 804556 | 140 11900 83300 | 60916 58528 44 | 0.005 % |
450.90/451.21 c | 804702 | 140 11900 83300 | 60916 58674 44 | 0.005 % |
451.00/451.30 c | 804862 | 140 11900 83300 | 60916 58834 44 | 0.005 % |
451.10/451.43 c | 805038 | 140 11900 83300 | 60916 59010 44 | 0.005 % |
451.20/451.58 c | 805231 | 140 11900 83300 | 60916 59203 44 | 0.005 % |
451.40/451.72 c | 805443 | 140 11900 83300 | 60916 59415 44 | 0.005 % |
451.60/451.91 c | 805676 | 140 11900 83300 | 60916 59648 44 | 0.005 % |
451.71/452.09 c | 805932 | 140 11900 83300 | 60916 59904 44 | 0.005 % |
451.90/452.29 c | 806213 | 140 11900 83300 | 60916 60185 44 | 0.005 % |
452.20/452.51 c | 806522 | 140 11900 83300 | 60916 60494 44 | 0.005 % |
452.40/452.74 c | 806861 | 140 11900 83300 | 60916 60833 44 | 0.005 % |
452.70/453.04 c | 807234 | 140 11900 83300 | 60916 52597 44 | 0.005 % |
452.91/453.25 c | 807644 | 140 11900 83300 | 60916 53007 44 | 0.005 % |
453.20/453.50 c | 808094 | 140 11900 83300 | 60916 53457 44 | 0.005 % |
453.50/453.82 c | 808587 | 140 11900 83300 | 60916 53950 44 | 0.005 % |
453.80/454.16 c | 809129 | 140 11900 83300 | 60916 54492 44 | 0.005 % |
454.20/454.52 c | 809725 | 140 11900 83300 | 60916 55088 44 | 0.005 % |
454.60/454.96 c | 810380 | 140 11900 83300 | 55363 48017 44 | 0.005 % |
455.00/455.36 c | 811100 | 140 11900 83300 | 55363 48737 44 | 0.005 % |
455.40/455.77 c | 811892 | 140 11900 83300 | 55363 49529 44 | 0.005 % |
455.90/456.25 c | 812765 | 140 11900 83300 | 55363 50402 44 | 0.005 % |
456.40/456.73 c | 813725 | 140 11900 83300 | 55363 51362 44 | 0.005 % |
456.90/457.29 c | 814778 | 140 11900 83300 | 55363 52415 44 | 0.005 % |
457.50/457.89 c | 815936 | 140 11900 83300 | 55363 53573 44 | 0.005 % |
458.20/458.58 c | 817210 | 140 11900 83300 | 55363 54847 44 | 0.005 % |
459.00/459.35 c | 818614 | 140 11900 83300 | 55363 50056 44 | 0.005 % |
459.80/460.15 c | 820155 | 140 11900 83300 | 51444 46177 44 | 0.005 % |
460.60/460.94 c | 821849 | 140 11900 83300 | 51444 47871 44 | 0.005 % |
461.50/461.87 c | 823712 | 140 11900 83300 | 51444 49734 44 | 0.005 % |
462.69/463.01 c | 825761 | 140 11900 83300 | 51444 46633 44 | 0.005 % |
463.79/464.19 c | 828015 | 140 11900 83300 | 51444 48887 44 | 0.005 % |
464.99/465.37 c | 830493 | 140 11900 83300 | 2147483647 51365 44 | 0.005 % |
466.49/466.81 c | 833219 | 140 11900 83300 | 2147483647 54091 44 | 0.005 % |
468.09/468.43 c | 836218 | 140 11900 83300 | 2147483647 57090 44 | 0.005 % |
469.89/470.28 c | 839514 | 140 11900 83300 | 2147483647 60386 44 | 0.005 % |
472.09/472.44 c | 843140 | 140 11900 83300 | 60873 56827 44 | 0.005 % |
474.49/474.86 c | 847127 | 140 11900 83300 | 60873 60814 44 | 0.005 % |
476.78/477.16 c | 851512 | 140 11900 83300 | 55148 49173 44 | 0.005 % |
479.29/479.67 c | 856337 | 140 11900 83300 | 55148 53998 44 | 0.005 % |
481.78/482.18 c | 861642 | 140 11900 83300 | 51407 47671 44 | 0.005 % |
484.79/485.11 c | 867478 | 140 11900 83300 | 51407 48361 44 | 0.005 % |
488.09/488.46 c | 873897 | 140 11900 83300 | 2147483647 54780 44 | 0.005 % |
492.08/492.46 c | 880956 | 140 11900 83300 | 60885 55479 44 | 0.005 % |
496.58/496.95 c | 888721 | 140 11900 83300 | 60885 55998 44 | 0.005 % |
496.68/497.01 c | 888822 | 140 11900 83300 | 60885 56099 44 | 0.005 % |
496.68/497.08 c | 888932 | 140 11900 83300 | 60885 56209 44 | 0.005 % |
496.78/497.16 c | 889053 | 140 11900 83300 | 60885 56330 44 | 0.005 % |
496.88/497.28 c | 889189 | 140 11900 83300 | 60885 56466 44 | 0.005 % |
496.98/497.39 c | 889336 | 140 11900 83300 | 60885 56613 44 | 0.005 % |
497.08/497.49 c | 889497 | 140 11900 83300 | 60885 56774 44 | 0.005 % |
497.28/497.62 c | 889674 | 140 11900 83300 | 60885 56951 44 | 0.005 % |
497.37/497.73 c | 889867 | 140 11900 83300 | 60885 57144 44 | 0.005 % |
497.57/497.91 c | 890081 | 140 11900 83300 | 57277 50303 44 | 0.005 % |
497.67/498.08 c | 890315 | 140 11900 83300 | 57277 50537 44 | 0.005 % |
497.88/498.27 c | 890572 | 140 11900 83300 | 57277 50794 44 | 0.005 % |
498.07/498.47 c | 890855 | 140 11900 83300 | 57277 51077 44 | 0.005 % |
498.37/498.71 c | 891164 | 140 11900 83300 | 57277 51386 44 | 0.005 % |
498.57/498.93 c | 891503 | 140 11900 83300 | 57277 51725 44 | 0.005 % |
498.77/499.17 c | 891876 | 140 11900 83300 | 57277 52098 44 | 0.005 % |
498.98/499.40 c | 892285 | 140 11900 83300 | 57277 52507 44 | 0.005 % |
499.27/499.66 c | 892734 | 140 11900 83300 | 57277 52956 44 | 0.005 % |
499.57/499.94 c | 893227 | 140 11900 83300 | 57277 53449 44 | 0.005 % |
499.87/500.24 c | 893769 | 140 11900 83300 | 57277 53991 44 | 0.005 % |
500.18/500.53 c | 894368 | 140 11900 83300 | 57277 54590 44 | 0.005 % |
500.47/500.87 c | 895023 | 140 11900 83300 | 57277 55245 44 | 0.005 % |
501.07/501.44 c | 895743 | 140 11900 83300 | 57277 55965 44 | 0.005 % |
501.57/501.95 c | 896537 | 140 11900 83300 | 57277 56759 44 | 0.005 % |
502.17/502.57 c | 897408 | 140 11900 83300 | 57277 49469 44 | 0.005 % |
502.67/503.04 c | 898366 | 140 11900 83300 | 57277 50427 44 | 0.005 % |
503.27/503.63 c | 899421 | 140 11900 83300 | 57277 51482 44 | 0.005 % |
503.97/504.36 c | 900580 | 140 11900 83300 | 52063 45622 44 | 0.005 % |
504.77/505.17 c | 901853 | 140 11900 83300 | 52063 46895 44 | 0.005 % |
505.57/505.97 c | 903253 | 140 11900 83300 | 52063 48295 44 | 0.005 % |
506.47/506.84 c | 904793 | 140 11900 83300 | 52063 49835 44 | 0.005 % |
507.37/507.71 c | 906488 | 140 11900 83300 | 52063 51530 44 | 0.005 % |
508.26/508.68 c | 908353 | 140 11900 83300 | 52063 47647 44 | 0.005 % |
509.26/509.69 c | 910402 | 140 11900 83300 | 2147483647 49696 44 | 0.005 % |
510.36/510.73 c | 912656 | 140 11900 83300 | 2147483647 51950 44 | 0.005 % |
511.56/511.99 c | 915134 | 140 11900 83300 | 2147483647 54428 44 | 0.005 % |
513.06/513.46 c | 917861 | 140 11900 83300 | 2147483647 57155 44 | 0.005 % |
514.76/515.18 c | 920858 | 140 11900 83300 | 59295 54106 44 | 0.005 % |
516.66/517.01 c | 924157 | 140 11900 83300 | 59295 57405 44 | 0.005 % |
518.76/519.12 c | 927783 | 140 11900 83300 | 59295 54547 44 | 0.005 % |
521.06/521.43 c | 931771 | 140 11900 83300 | 56766 52222 44 | 0.005 % |
523.45/523.88 c | 936156 | 140 11900 83300 | 56766 56607 44 | 0.005 % |
526.05/526.40 c | 940980 | 140 11900 83300 | 54088 49328 44 | 0.005 % |
528.75/529.10 c | 946286 | 140 11900 83300 | 54088 49219 44 | 0.005 % |
531.75/532.17 c | 952121 | 140 11900 83300 | 2147483647 55054 44 | 0.005 % |
535.35/535.77 c | 958539 | 140 11900 83300 | 2147483647 61472 44 | 0.005 % |
539.55/539.91 c | 965598 | 140 11900 83300 | 62933 60876 44 | 0.005 % |
543.65/544.09 c | 973362 | 140 11900 83300 | 56192 51493 44 | 0.005 % |
548.14/548.53 c | 981903 | 140 11900 83300 | 51343 47318 44 | 0.005 % |
548.14/548.58 c | 982003 | 140 11900 83300 | 51343 47418 44 | 0.005 % |
548.24/548.66 c | 982114 | 140 11900 83300 | 51343 47529 44 | 0.005 % |
548.34/548.73 c | 982235 | 140 11900 83300 | 51343 47650 44 | 0.005 % |
548.45/548.80 c | 982368 | 140 11900 83300 | 51343 47783 44 | 0.005 % |
548.45/548.88 c | 982515 | 140 11900 83300 | 51343 47930 44 | 0.005 % |
548.55/548.99 c | 982675 | 140 11900 83300 | 51343 48090 44 | 0.005 % |
548.64/549.09 c | 982852 | 140 11900 83300 | 51343 48267 44 | 0.005 % |
548.84/549.21 c | 983045 | 140 11900 83300 | 51343 48460 44 | 0.005 % |
548.94/549.36 c | 983257 | 140 11900 83300 | 51343 48672 44 | 0.005 % |
549.14/549.50 c | 983491 | 140 11900 83300 | 51343 48906 44 | 0.005 % |
549.25/549.64 c | 983747 | 140 11900 83300 | 51343 49162 44 | 0.005 % |
549.35/549.79 c | 984029 | 140 11900 83300 | 51343 49444 44 | 0.005 % |
549.66/550.01 c | 984338 | 140 11900 83300 | 51343 49753 44 | 0.005 % |
549.85/550.20 c | 984677 | 140 11900 83300 | 51343 50092 44 | 0.005 % |
550.05/550.41 c | 985052 | 140 11900 83300 | 51343 50467 44 | 0.005 % |
550.25/550.67 c | 985461 | 140 11900 83300 | 51343 50876 44 | 0.005 % |
550.55/550.94 c | 985910 | 140 11900 83300 | 51343 51325 44 | 0.005 % |
550.85/551.28 c | 986403 | 140 11900 83300 | 51343 46372 44 | 0.005 % |
551.15/551.57 c | 986945 | 140 11900 83300 | 51343 46914 44 | 0.005 % |
551.45/551.89 c | 987542 | 140 11900 83300 | 51343 47511 44 | 0.005 % |
551.86/552.25 c | 988199 | 140 11900 83300 | 51343 48168 44 | 0.005 % |
552.25/552.61 c | 988919 | 140 11900 83300 | 51343 48888 44 | 0.005 % |
552.65/553.00 c | 989712 | 140 11900 83300 | 51343 49681 44 | 0.005 % |
553.04/553.46 c | 990584 | 140 11900 83300 | 2147483647 50553 44 | 0.005 % |
553.74/554.16 c | 991543 | 140 11900 83300 | 2147483647 51512 44 | 0.005 % |
554.54/554.90 c | 992597 | 140 11900 83300 | 2147483647 52566 44 | 0.005 % |
555.24/555.68 c | 993755 | 140 11900 83300 | 2147483647 53724 44 | 0.005 % |
556.04/556.45 c | 995028 | 140 11900 83300 | 2147483647 54997 44 | 0.005 % |
556.93/557.34 c | 996430 | 140 11900 83300 | 2147483647 56399 44 | 0.005 % |
557.83/558.28 c | 997971 | 140 11900 83300 | 2147483647 57940 44 | 0.005 % |
559.12/559.51 c | 999665 | 140 11900 83300 | 2147483647 59634 44 | 0.005 % |
560.12/560.59 c | 1001528 | 140 11900 83300 | 59969 53445 44 | 0.005 % |
561.52/561.93 c | 1003577 | 140 11900 83300 | 59969 55494 44 | 0.005 % |
562.92/563.37 c | 1005833 | 140 11900 83300 | 59969 57750 44 | 0.005 % |
564.52/564.97 c | 1008311 | 140 11900 83300 | 59969 51619 44 | 0.005 % |
566.02/566.41 c | 1011036 | 140 11900 83300 | 53308 47104 44 | 0.005 % |
567.82/568.22 c | 1014035 | 140 11900 83300 | 53308 50103 44 | 0.005 % |
569.92/570.30 c | 1017331 | 140 11900 83300 | 53308 46713 44 | 0.005 % |
571.62/572.06 c | 1020957 | 140 11900 83300 | 49384 44800 44 | 0.005 % |
573.41/573.86 c | 1024946 | 140 11900 83300 | 49384 48789 44 | 0.005 % |
575.61/576.00 c | 1029331 | 140 11900 83300 | 49384 48229 44 | 0.005 % |
578.22/578.61 c | 1034155 | 140 11900 83300 | 2147483647 53053 44 | 0.005 % |
581.01/581.45 c | 1039463 | 140 11900 83300 | 2147483647 58361 44 | 0.005 % |
584.31/584.73 c | 1045298 | 140 11900 83300 | 2147483647 64196 44 | 0.005 % |
588.41/588.84 c | 1051718 | 140 11900 83300 | 68898 60520 44 | 0.005 % |
592.91/593.32 c | 1058778 | 140 11900 83300 | 68898 67580 44 | 0.005 % |
597.50/597.97 c | 1066544 | 140 11900 83300 | 68803 63865 44 | 0.005 % |
602.70/603.15 c | 1075085 | 140 11900 83300 | 67321 61003 45 | 0.005 % |
609.00/609.47 c | 1084479 | 140 11900 83300 | 65918 58891 45 | 0.005 % |
609.10/609.54 c | 1084579 | 140 11900 83300 | 65918 58991 45 | 0.005 % |
609.20/609.62 c | 1084689 | 140 11900 83300 | 65918 59101 44 | 0.005 % |
609.30/609.71 c | 1084812 | 140 11900 83300 | 65918 59224 44 | 0.005 % |
609.30/609.80 c | 1084946 | 140 11900 83300 | 65918 59358 45 | 0.005 % |
609.50/609.91 c | 1085092 | 140 11900 83300 | 65918 59504 45 | 0.005 % |
609.60/610.05 c | 1085253 | 140 11900 83300 | 65918 59665 45 | 0.005 % |
609.80/610.20 c | 1085429 | 140 11900 83300 | 65918 59841 44 | 0.005 % |
609.90/610.36 c | 1085623 | 140 11900 83300 | 65918 60035 44 | 0.005 % |
610.00/610.50 c | 1085837 | 140 11900 83300 | 65918 60249 44 | 0.005 % |
610.20/610.66 c | 1086071 | 140 11900 83300 | 65918 60483 44 | 0.005 % |
610.40/610.88 c | 1086327 | 140 11900 83300 | 65918 60739 44 | 0.005 % |
610.70/611.11 c | 1086610 | 140 11900 83300 | 65918 61022 44 | 0.005 % |
610.90/611.34 c | 1086919 | 140 11900 83300 | 65918 61331 44 | 0.005 % |
611.10/611.56 c | 1087259 | 140 11900 83300 | 65918 61671 44 | 0.005 % |
611.40/611.81 c | 1087632 | 140 11900 83300 | 65918 62044 44 | 0.005 % |
611.60/612.09 c | 1088042 | 140 11900 83300 | 65918 62454 44 | 0.005 % |
612.10/612.51 c | 1088491 | 140 11900 83300 | 65918 62903 44 | 0.005 % |
612.49/612.96 c | 1088984 | 140 11900 83300 | 65918 63396 44 | 0.005 % |
612.99/613.40 c | 1089526 | 140 11900 83300 | 65918 63938 44 | 0.005 % |
613.49/613.94 c | 1090123 | 140 11900 83300 | 64413 53338 44 | 0.005 % |
613.89/614.34 c | 1090779 | 140 11900 83300 | 64413 53994 44 | 0.005 % |
614.40/614.83 c | 1091499 | 140 11900 83300 | 64413 54714 44 | 0.005 % |
614.99/615.41 c | 1092292 | 140 11900 83300 | 64413 55507 44 | 0.005 % |
615.50/615.95 c | 1093165 | 140 11900 83300 | 64413 56380 44 | 0.005 % |
616.19/616.69 c | 1094123 | 140 11900 83300 | 64413 57338 44 | 0.005 % |
616.99/617.49 c | 1095177 | 140 11900 83300 | 64413 58392 44 | 0.005 % |
617.79/618.25 c | 1096337 | 140 11900 83300 | 64413 59552 44 | 0.005 % |
618.59/619.10 c | 1097611 | 140 11900 83300 | 64413 60826 44 | 0.005 % |
619.59/620.01 c | 1099011 | 140 11900 83300 | 64413 62226 44 | 0.005 % |
620.69/621.13 c | 1100551 | 140 11900 83300 | 63216 53092 44 | 0.005 % |
621.79/622.25 c | 1102245 | 140 11900 83300 | 63216 54786 44 | 0.005 % |
623.09/623.55 c | 1104108 | 140 11900 83300 | 63216 56649 44 | 0.005 % |
624.29/624.72 c | 1106157 | 140 11900 83300 | 63216 58698 44 | 0.005 % |
625.59/626.04 c | 1108411 | 140 11900 83300 | 63216 60952 44 | 0.005 % |
626.99/627.47 c | 1110889 | 140 11900 83300 | 62541 54321 44 | 0.005 % |
628.49/628.90 c | 1113616 | 140 11900 83300 | 62541 57048 44 | 0.005 % |
630.19/630.62 c | 1116614 | 140 11900 83300 | 62541 60046 44 | 0.005 % |
632.18/632.68 c | 1119912 | 140 11900 83300 | 62541 54742 44 | 0.005 % |
634.08/634.55 c | 1123538 | 140 11900 83300 | 54830 50978 44 | 0.005 % |
636.58/637.08 c | 1127525 | 140 11900 83300 | 54830 48412 44 | 0.005 % |
638.78/639.24 c | 1131910 | 140 11900 83300 | 50887 46926 44 | 0.005 % |
641.18/641.65 c | 1136733 | 140 11900 83300 | 50887 46654 44 | 0.005 % |
643.78/644.25 c | 1142039 | 140 11900 83300 | 2147483647 51960 44 | 0.005 % |
647.28/647.72 c | 1147875 | 140 11900 83300 | 2147483647 57796 44 | 0.005 % |
650.68/651.17 c | 1154294 | 140 11900 83300 | 59921 57075 44 | 0.005 % |
654.37/654.87 c | 1161353 | 140 11900 83300 | 55444 50288 45 | 0.005 % |
658.27/658.79 c | 1169117 | 140 11900 83300 | 55444 52501 45 | 0.005 % |
662.57/663.07 c | 1177658 | 140 11900 83300 | 2147483647 61042 45 | 0.005 % |
667.67/668.13 c | 1187057 | 140 11900 83300 | 63384 62639 45 | 0.005 % |
673.07/673.58 c | 1197392 | 140 11900 83300 | 56761 56209 45 | 0.005 % |
673.17/673.64 c | 1197493 | 140 11900 83300 | 56761 56310 45 | 0.005 % |
673.27/673.73 c | 1197605 | 140 11900 83300 | 56761 56422 45 | 0.005 % |
673.37/673.81 c | 1197727 | 140 11900 83300 | 56761 56544 45 | 0.005 % |
673.37/673.90 c | 1197861 | 140 11900 83300 | 56761 56678 45 | 0.005 % |
673.57/674.00 c | 1198007 | 140 11900 83300 | 56761 56824 45 | 0.005 % |
673.67/674.16 c | 1198169 | 140 11900 83300 | 56761 50315 45 | 0.005 % |
673.77/674.27 c | 1198346 | 140 11900 83300 | 56761 50492 45 | 0.005 % |
673.87/674.38 c | 1198540 | 140 11900 83300 | 56761 50686 45 | 0.005 % |
674.07/674.52 c | 1198753 | 140 11900 83300 | 56761 50899 45 | 0.005 % |
674.17/674.67 c | 1198989 | 140 11900 83300 | 56761 51135 45 | 0.005 % |
674.37/674.84 c | 1199245 | 140 11900 83300 | 56761 51391 45 | 0.005 % |
674.47/674.99 c | 1199527 | 140 11900 83300 | 56761 51673 45 | 0.005 % |
674.67/675.18 c | 1199836 | 140 11900 83300 | 56761 51982 45 | 0.005 % |
674.97/675.43 c | 1200175 | 140 11900 83300 | 52152 46071 44 | 0.005 % |
675.17/675.60 c | 1200548 | 140 11900 83300 | 52152 46444 44 | 0.005 % |
675.37/675.83 c | 1200960 | 140 11900 83300 | 52152 46856 44 | 0.005 % |
675.57/676.06 c | 1201409 | 140 11900 83300 | 52152 47305 44 | 0.005 % |
675.87/676.31 c | 1201902 | 140 11900 83300 | 52152 47798 44 | 0.005 % |
676.07/676.59 c | 1202445 | 140 11900 83300 | 52152 48341 44 | 0.005 % |
676.47/676.92 c | 1203042 | 140 11900 83300 | 52152 48938 44 | 0.005 % |
676.87/677.33 c | 1203697 | 140 11900 83300 | 52152 49593 44 | 0.005 % |
677.27/677.73 c | 1204418 | 140 11900 83300 | 52152 50314 44 | 0.005 % |
677.76/678.20 c | 1205210 | 140 11900 83300 | 52152 51106 44 | 0.005 % |
678.17/678.67 c | 1206081 | 140 11900 83300 | 52152 51977 44 | 0.005 % |
678.76/679.25 c | 1207039 | 140 11900 83300 | 52152 47491 44 | 0.005 % |
679.27/679.77 c | 1208093 | 140 11900 83300 | 52152 48545 44 | 0.005 % |
679.96/680.43 c | 1209252 | 140 11900 83300 | 52152 49704 44 | 0.005 % |
680.66/681.17 c | 1210526 | 140 11900 83300 | 50453 45756 44 | 0.005 % |
681.36/681.84 c | 1211926 | 140 11900 83300 | 50453 47156 44 | 0.005 % |
682.16/682.66 c | 1213466 | 140 11900 83300 | 50453 48696 44 | 0.005 % |
683.06/683.51 c | 1215161 | 140 11900 83300 | 50453 50391 44 | 0.005 % |
684.06/684.50 c | 1217025 | 140 11900 83300 | 50453 47204 44 | 0.005 % |
685.16/685.66 c | 1219075 | 140 11900 83300 | 50453 49254 44 | 0.005 % |
686.46/686.92 c | 1221328 | 140 11900 83300 | 2147483647 51507 44 | 0.005 % |
687.76/688.27 c | 1223807 | 140 11900 83300 | 2147483647 53986 44 | 0.005 % |
689.45/689.95 c | 1226534 | 140 11900 83300 | 2147483647 56713 44 | 0.005 % |
691.46/691.99 c | 1229534 | 140 11900 83300 | 2147483647 59713 44 | 0.005 % |
693.56/694.10 c | 1232830 | 140 11900 83300 | 60179 55520 44 | 0.005 % |
695.86/696.37 c | 1236456 | 140 11900 83300 | 60179 59146 44 | 0.005 % |
698.25/698.80 c | 1240443 | 140 11900 83300 | 54116 47160 44 | 0.005 % |
700.45/700.95 c | 1244828 | 140 11900 83300 | 54116 51545 44 | 0.005 % |
702.95/703.48 c | 1249652 | 140 11900 83300 | 54116 50951 44 | 0.005 % |
705.95/706.45 c | 1254959 | 140 11900 83300 | 2147483647 56258 44 | 0.005 % |
709.75/710.21 c | 1260795 | 140 11900 83300 | 61300 54220 44 | 0.005 % |
713.65/714.18 c | 1267214 | 140 11900 83300 | 61300 60639 44 | 0.005 % |
717.64/718.13 c | 1274273 | 140 11900 83300 | 54977 51846 44 | 0.005 % |
721.54/722.08 c | 1282037 | 140 11900 83300 | 51648 48499 44 | 0.005 % |
725.45/725.96 c | 1290578 | 140 11900 83300 | 2147483647 51868 44 | 0.005 % |
730.94/731.47 c | 1299973 | 140 11900 83300 | 2147483647 61263 44 | 0.005 % |
737.14/737.62 c | 1310307 | 140 11900 83300 | 55800 49178 44 | 0.005 % |
742.83/743.37 c | 1321674 | 140 11900 83300 | 2147483647 54959 44 | 0.005 % |
742.93/743.42 c | 1321774 | 140 11900 83300 | 2147483647 55059 44 | 0.005 % |
742.93/743.49 c | 1321884 | 140 11900 83300 | 2147483647 55169 44 | 0.005 % |
743.04/743.57 c | 1322008 | 140 11900 83300 | 2147483647 55293 44 | 0.005 % |
743.14/743.66 c | 1322142 | 140 11900 83300 | 2147483647 55427 44 | 0.005 % |
743.23/743.74 c | 1322288 | 140 11900 83300 | 2147483647 55573 44 | 0.005 % |
743.33/743.84 c | 1322448 | 140 11900 83300 | 2147483647 55733 44 | 0.005 % |
743.43/743.94 c | 1322624 | 140 11900 83300 | 2147483647 55909 44 | 0.005 % |
743.53/744.05 c | 1322818 | 140 11900 83300 | 2147483647 56103 44 | 0.005 % |
743.73/744.20 c | 1323030 | 140 11900 83300 | 2147483647 56315 44 | 0.005 % |
743.83/744.38 c | 1323263 | 140 11900 83300 | 2147483647 56548 44 | 0.005 % |
744.03/744.55 c | 1323519 | 140 11900 83300 | 2147483647 56804 44 | 0.005 % |
744.23/744.75 c | 1323800 | 140 11900 83300 | 2147483647 57085 44 | 0.005 % |
744.43/744.96 c | 1324111 | 140 11900 83300 | 2147483647 57396 44 | 0.005 % |
744.63/745.17 c | 1324450 | 140 11900 83300 | 2147483647 57735 44 | 0.005 % |
744.93/745.41 c | 1324823 | 140 11900 83300 | 2147483647 58108 44 | 0.005 % |
745.13/745.67 c | 1325235 | 140 11900 83300 | 2147483647 58520 44 | 0.005 % |
745.43/745.97 c | 1325684 | 140 11900 83300 | 2147483647 58969 44 | 0.005 % |
745.83/746.32 c | 1326178 | 140 11900 83300 | 2147483647 59463 44 | 0.005 % |
746.13/746.66 c | 1326721 | 140 11900 83300 | 2147483647 60006 44 | 0.005 % |
746.53/747.07 c | 1327318 | 140 11900 83300 | 2147483647 60603 44 | 0.005 % |
747.03/747.51 c | 1327973 | 140 11900 83300 | 2147483647 61258 44 | 0.005 % |
747.43/747.97 c | 1328695 | 140 11900 83300 | 2147483647 61980 44 | 0.005 % |
748.03/748.54 c | 1329488 | 140 11900 83300 | 2147483647 62773 44 | 0.005 % |
748.63/749.16 c | 1330361 | 140 11900 83300 | 63285 54444 44 | 0.005 % |
749.13/749.69 c | 1331319 | 140 11900 83300 | 63285 55402 44 | 0.005 % |
749.83/750.31 c | 1332375 | 140 11900 83300 | 63285 56458 44 | 0.005 % |
750.33/750.88 c | 1333533 | 140 11900 83300 | 63285 57616 44 | 0.005 % |
751.23/751.76 c | 1334806 | 140 11900 83300 | 63285 58889 44 | 0.005 % |
752.23/752.74 c | 1336206 | 140 11900 83300 | 63285 60289 44 | 0.005 % |
753.23/753.79 c | 1337748 | 140 11900 83300 | 63285 61831 44 | 0.005 % |
754.43/754.94 c | 1339442 | 140 11900 83300 | 63285 53837 44 | 0.005 % |
755.53/756.02 c | 1341305 | 140 11900 83300 | 54396 47428 44 | 0.005 % |
756.53/757.01 c | 1343357 | 140 11900 83300 | 54396 49480 44 | 0.005 % |
757.63/758.16 c | 1345610 | 140 11900 83300 | 54396 51733 44 | 0.005 % |
758.93/759.49 c | 1348088 | 140 11900 83300 | 54396 54211 44 | 0.005 % |
760.33/760.87 c | 1350814 | 140 11900 83300 | 50013 45407 44 | 0.005 % |
761.83/762.35 c | 1353813 | 140 11900 83300 | 50013 48406 44 | 0.005 % |
763.42/763.97 c | 1357110 | 140 11900 83300 | 50013 46695 44 | 0.005 % |
765.22/765.79 c | 1360737 | 140 11900 83300 | 2147483647 50322 44 | 0.005 % |
767.53/768.02 c | 1364724 | 140 11900 83300 | 2147483647 54309 44 | 0.005 % |
770.03/770.58 c | 1369110 | 140 11900 83300 | 2147483647 58695 44 | 0.005 % |
772.83/773.32 c | 1373934 | 140 11900 83300 | 59586 56885 44 | 0.005 % |
775.73/776.28 c | 1379240 | 140 11900 83300 | 59586 54993 44 | 0.005 % |
778.42/778.97 c | 1385075 | 140 11900 83300 | 55753 54359 44 | 0.005 % |
781.62/782.19 c | 1391493 | 140 11900 83300 | 53645 49592 44 | 0.005 % |
784.82/785.38 c | 1398552 | 140 11900 83300 | 53645 51281 44 | 0.005 % |
789.41/789.90 c | 1406318 | 140 11900 83300 | 2147483647 59047 45 | 0.005 % |
794.31/794.80 c | 1414858 | 140 11900 83300 | 62730 59250 44 | 0.005 % |
799.51/800.03 c | 1424254 | 140 11900 83300 | 55950 52781 45 | 0.005 % |
804.61/805.19 c | 1434587 | 140 11900 83300 | 52483 51520 45 | 0.005 % |
810.61/811.19 c | 1445954 | 140 11900 83300 | 2147483647 57633 45 | 0.005 % |
818.71/819.26 c | 1458458 | 140 11900 83300 | 61681 52732 45 | 0.005 % |
818.80/819.32 c | 1458558 | 140 11900 83300 | 61681 52832 45 | 0.005 % |
818.91/819.40 c | 1458671 | 140 11900 83300 | 61681 52945 45 | 0.005 % |
818.91/819.50 c | 1458794 | 140 11900 83300 | 61681 53068 45 | 0.005 % |
819.01/819.59 c | 1458927 | 140 11900 83300 | 61681 53201 45 | 0.005 % |
819.10/819.68 c | 1459073 | 140 11900 83300 | 61681 53347 45 | 0.005 % |
819.20/819.79 c | 1459233 | 140 11900 83300 | 61681 53507 45 | 0.005 % |
819.30/819.89 c | 1459409 | 140 11900 83300 | 61681 53683 45 | 0.005 % |
819.50/820.01 c | 1459603 | 140 11900 83300 | 61681 53877 45 | 0.005 % |
819.60/820.15 c | 1459815 | 140 11900 83300 | 61681 54089 45 | 0.005 % |
819.70/820.28 c | 1460050 | 140 11900 83300 | 54274 54324 45 | 0.005 % |
819.90/820.50 c | 1460307 | 140 11900 83300 | 54274 46562 45 | 0.005 % |
820.11/820.66 c | 1460588 | 140 11900 83300 | 54274 46843 45 | 0.005 % |
820.30/820.84 c | 1460899 | 140 11900 83300 | 54274 47154 45 | 0.005 % |
820.50/821.00 c | 1461238 | 140 11900 83300 | 54274 47493 45 | 0.005 % |
820.60/821.19 c | 1461612 | 140 11900 83300 | 54274 47867 45 | 0.005 % |
820.90/821.41 c | 1462024 | 140 11900 83300 | 54274 48279 45 | 0.005 % |
821.11/821.70 c | 1462476 | 140 11900 83300 | 54274 48731 45 | 0.005 % |
821.40/822.00 c | 1462971 | 140 11900 83300 | 54274 49226 45 | 0.005 % |
821.80/822.30 c | 1463513 | 140 11900 83300 | 54274 49768 45 | 0.005 % |
822.10/822.65 c | 1464110 | 140 11900 83300 | 54274 50365 45 | 0.005 % |
822.50/823.01 c | 1464766 | 140 11900 83300 | 54274 51021 45 | 0.005 % |
822.90/823.43 c | 1465487 | 140 11900 83300 | 54274 51742 45 | 0.005 % |
823.40/823.93 c | 1466279 | 140 11900 83300 | 54274 52534 45 | 0.005 % |
823.89/824.48 c | 1467151 | 140 11900 83300 | 54274 53406 44 | 0.005 % |
824.50/825.09 c | 1468109 | 140 11900 83300 | 54274 47530 44 | 0.005 % |
824.99/825.57 c | 1469162 | 140 11900 83300 | 54274 48583 44 | 0.005 % |
825.69/826.30 c | 1470323 | 140 11900 83300 | 49421 43795 44 | 0.005 % |
826.39/826.94 c | 1471596 | 140 11900 83300 | 49421 45068 44 | 0.005 % |
827.29/827.83 c | 1472998 | 140 11900 83300 | 49421 46470 44 | 0.005 % |
828.09/828.67 c | 1474539 | 140 11900 83300 | 49421 48011 44 | 0.005 % |
829.09/829.69 c | 1476233 | 140 11900 83300 | 49421 44747 44 | 0.005 % |
830.09/830.69 c | 1478097 | 140 11900 83300 | 49421 46611 44 | 0.005 % |
831.29/831.86 c | 1480147 | 140 11900 83300 | 2147483647 48661 44 | 0.005 % |
832.49/833.08 c | 1482400 | 140 11900 83300 | 2147483647 50914 44 | 0.005 % |
833.89/834.42 c | 1484879 | 140 11900 83300 | 2147483647 53393 44 | 0.005 % |
835.29/835.83 c | 1487604 | 140 11900 83300 | 2147483647 56118 44 | 0.005 % |
836.99/837.51 c | 1490602 | 140 11900 83300 | 58514 52505 44 | 0.005 % |
838.59/839.18 c | 1493898 | 140 11900 83300 | 58514 55801 44 | 0.005 % |
840.69/841.22 c | 1497524 | 140 11900 83300 | 58514 52652 44 | 0.005 % |
842.99/843.59 c | 1501513 | 140 11900 83300 | 55130 50018 44 | 0.005 % |
845.59/846.20 c | 1505899 | 140 11900 83300 | 55130 54404 44 | 0.005 % |
848.19/848.77 c | 1510723 | 140 11900 83300 | 51443 45947 44 | 0.005 % |
850.79/851.31 c | 1516029 | 140 11900 83300 | 51443 51253 44 | 0.005 % |
853.88/854.40 c | 1521864 | 140 11900 83300 | 2147483647 51937 44 | 0.005 % |
857.78/858.31 c | 1528282 | 140 11900 83300 | 2147483647 58355 44 | 0.005 % |
861.58/862.17 c | 1535344 | 140 11900 83300 | 60074 58402 44 | 0.005 % |
866.08/866.64 c | 1543109 | 140 11900 83300 | 55908 52375 44 | 0.005 % |
870.68/871.24 c | 1551650 | 140 11900 83300 | 2147483647 55213 44 | 0.005 % |
876.18/876.79 c | 1561044 | 140 11900 83300 | 63563 56235 44 | 0.005 % |
882.27/882.88 c | 1571377 | 140 11900 83300 | 55121 47817 44 | 0.005 % |
888.07/888.68 c | 1582743 | 140 11900 83300 | 50078 47211 44 | 0.005 % |
894.47/895.05 c | 1595245 | 140 11900 83300 | 2147483647 54699 44 | 0.005 % |
902.57/903.14 c | 1608997 | 140 11900 83300 | 59457 54396 45 | 0.005 % |
902.67/903.22 c | 1609097 | 140 11900 83300 | 59457 54496 45 | 0.005 % |
902.77/903.31 c | 1609207 | 140 11900 83300 | 59457 54606 45 | 0.005 % |
902.77/903.39 c | 1609328 | 140 11900 83300 | 59457 54727 45 | 0.005 % |
902.87/903.49 c | 1609463 | 140 11900 83300 | 59457 54862 45 | 0.005 % |
903.07/903.60 c | 1609611 | 140 11900 83300 | 59457 55010 45 | 0.005 % |
903.17/903.72 c | 1609772 | 140 11900 83300 | 59457 55171 45 | 0.005 % |
903.26/903.86 c | 1609951 | 140 11900 83300 | 59457 55350 45 | 0.005 % |
903.46/904.06 c | 1610146 | 140 11900 83300 | 55400 48278 45 | 0.005 % |
903.57/904.19 c | 1610358 | 140 11900 83300 | 55400 48490 45 | 0.005 % |
903.76/904.31 c | 1610593 | 140 11900 83300 | 55400 48725 45 | 0.005 % |
903.86/904.49 c | 1610849 | 140 11900 83300 | 55400 48981 45 | 0.005 % |
904.06/904.67 c | 1611130 | 140 11900 83300 | 55400 49262 45 | 0.005 % |
904.36/904.91 c | 1611439 | 140 11900 83300 | 55400 49571 45 | 0.005 % |
904.56/905.14 c | 1611778 | 140 11900 83300 | 55400 49910 45 | 0.005 % |
904.77/905.34 c | 1612150 | 140 11900 83300 | 55400 50282 45 | 0.005 % |
904.96/905.57 c | 1612560 | 140 11900 83300 | 55400 50692 45 | 0.005 % |
905.36/905.90 c | 1613011 | 140 11900 83300 | 55400 51143 45 | 0.005 % |
905.66/906.25 c | 1613504 | 140 11900 83300 | 55400 51636 45 | 0.005 % |
906.06/906.62 c | 1614046 | 140 11900 83300 | 55400 52178 45 | 0.005 % |
906.46/907.03 c | 1614642 | 140 11900 83300 | 55400 52774 45 | 0.005 % |
906.87/907.40 c | 1615297 | 140 11900 83300 | 55400 53429 45 | 0.005 % |
907.26/907.81 c | 1616017 | 140 11900 83300 | 55400 54149 45 | 0.005 % |
907.76/908.34 c | 1616811 | 140 11900 83300 | 55400 54943 45 | 0.005 % |
908.36/908.92 c | 1617682 | 140 11900 83300 | 55400 48411 44 | 0.005 % |
908.86/909.43 c | 1618641 | 140 11900 83300 | 55400 49370 44 | 0.005 % |
909.36/909.99 c | 1619694 | 140 11900 83300 | 55400 50423 44 | 0.005 % |
910.06/910.63 c | 1620852 | 140 11900 83300 | 50729 45255 44 | 0.005 % |
910.66/911.28 c | 1622125 | 140 11900 83300 | 50729 46528 44 | 0.005 % |
911.37/911.95 c | 1623525 | 140 11900 83300 | 50729 47928 44 | 0.005 % |
912.26/912.87 c | 1625068 | 140 11900 83300 | 50729 49471 44 | 0.005 % |
913.26/913.86 c | 1626762 | 140 11900 83300 | 50729 46085 44 | 0.005 % |
914.16/914.78 c | 1628626 | 140 11900 83300 | 50729 47949 44 | 0.005 % |
915.16/915.79 c | 1630678 | 140 11900 83300 | 2147483647 50001 44 | 0.005 % |
916.46/917.07 c | 1632933 | 140 11900 83300 | 2147483647 52256 44 | 0.005 % |
917.76/918.31 c | 1635414 | 140 11900 83300 | 2147483647 54737 44 | 0.005 % |
919.16/919.70 c | 1638141 | 140 11900 83300 | 2147483647 57464 44 | 0.005 % |
920.86/921.41 c | 1641138 | 140 11900 83300 | 59324 54352 44 | 0.005 % |
922.55/923.15 c | 1644435 | 140 11900 83300 | 59324 57649 44 | 0.005 % |
924.56/925.12 c | 1648062 | 140 11900 83300 | 59324 54463 44 | 0.005 % |
926.95/927.57 c | 1652050 | 140 11900 83300 | 56401 51622 44 | 0.005 % |
929.55/930.16 c | 1656435 | 140 11900 83300 | 56401 56007 44 | 0.005 % |
932.26/932.87 c | 1661258 | 140 11900 83300 | 52367 47158 44 | 0.005 % |
935.15/935.76 c | 1666563 | 140 11900 83300 | 52367 47221 44 | 0.005 % |
938.15/938.78 c | 1672400 | 140 11900 83300 | 2147483647 53058 44 | 0.005 % |
941.65/942.23 c | 1678821 | 140 11900 83300 | 2147483647 59479 44 | 0.005 % |
945.65/946.25 c | 1685881 | 140 11900 83300 | 60659 59428 45 | 0.005 % |
949.75/950.33 c | 1693647 | 140 11900 83300 | 56245 53447 44 | 0.005 % |
954.05/954.60 c | 1702188 | 140 11900 83300 | 2147483647 56359 44 | 0.005 % |
959.64/960.28 c | 1711583 | 140 11900 83300 | 64172 57526 44 | 0.005 % |
965.84/966.41 c | 1721917 | 140 11900 83300 | 56270 49893 45 | 0.005 % |
971.33/971.95 c | 1733284 | 140 11900 83300 | 52196 50204 44 | 0.005 % |
977.53/978.11 c | 1745786 | 140 11900 83300 | 2147483647 57481 44 | 0.005 % |
985.93/986.59 c | 1759538 | 140 11900 83300 | 61695 54771 44 | 0.005 % |
994.03/994.69 c | 1774667 | 140 11900 83300 | 50170 48758 44 | 0.005 % |
994.13/994.74 c | 1774767 | 140 11900 83300 | 50170 48858 44 | 0.005 % |
994.13/994.80 c | 1774879 | 140 11900 83300 | 50170 48970 44 | 0.005 % |
994.23/994.87 c | 1775001 | 140 11900 83300 | 50170 49092 44 | 0.005 % |
994.33/994.96 c | 1775134 | 140 11900 83300 | 50170 49225 44 | 0.005 % |
994.43/995.04 c | 1775280 | 140 11900 83300 | 50170 49371 44 | 0.005 % |
994.53/995.15 c | 1775440 | 140 11900 83300 | 50170 49531 44 | 0.005 % |
994.63/995.25 c | 1775617 | 140 11900 83300 | 50170 49708 44 | 0.005 % |
994.73/995.38 c | 1775810 | 140 11900 83300 | 50170 49901 44 | 0.005 % |
994.83/995.49 c | 1776022 | 140 11900 83300 | 50170 50113 44 | 0.005 % |
995.12/995.71 c | 1776256 | 140 11900 83300 | 50170 45324 44 | 0.005 % |
995.22/995.82 c | 1776513 | 140 11900 83300 | 50170 45581 44 | 0.005 % |
995.32/995.99 c | 1776795 | 140 11900 83300 | 50170 45863 44 | 0.005 % |
995.52/996.17 c | 1777106 | 140 11900 83300 | 50170 46174 44 | 0.005 % |
995.72/996.33 c | 1777446 | 140 11900 83300 | 50170 46514 44 | 0.005 % |
995.93/996.50 c | 1777818 | 140 11900 83300 | 50170 46886 44 | 0.005 % |
996.03/996.68 c | 1778228 | 140 11900 83300 | 50170 47296 44 | 0.005 % |
996.22/996.87 c | 1778677 | 140 11900 83300 | 50170 47745 44 | 0.005 % |
996.52/997.12 c | 1779171 | 140 11900 83300 | 50170 48239 44 | 0.005 % |
996.82/997.41 c | 1779714 | 140 11900 83300 | 50170 48782 44 | 0.005 % |
997.13/997.73 c | 1780310 | 140 11900 83300 | 2147483647 49378 44 | 0.005 % |
997.42/998.07 c | 1780965 | 140 11900 83300 | 2147483647 50033 44 | 0.005 % |
997.82/998.45 c | 1781686 | 140 11900 83300 | 2147483647 50754 44 | 0.005 % |
998.23/998.87 c | 1782478 | 140 11900 83300 | 2147483647 51546 44 | 0.005 % |
998.72/999.34 c | 1783349 | 140 11900 83300 | 2147483647 52417 44 | 0.005 % |
999.23/999.87 c | 1784308 | 140 11900 83300 | 2147483647 53376 44 | 0.005 % |
999.82/1000.45 c | 1785362 | 140 11900 83300 | 2147483647 54430 44 | 0.005 % |
1000.52/1001.14 c | 1786521 | 140 11900 83300 | 2147483647 55589 44 | 0.005 % |
1001.53/1002.14 c | 1787794 | 140 11900 83300 | 2147483647 56862 44 | 0.005 % |
1002.52/1003.12 c | 1789199 | 140 11900 83300 | 2147483647 58267 44 | 0.005 % |
1003.42/1004.09 c | 1790739 | 140 11900 83300 | 59070 52492 44 | 0.005 % |
1004.51/1005.13 c | 1792434 | 140 11900 83300 | 59070 54187 44 | 0.005 % |
1005.71/1006.35 c | 1794300 | 140 11900 83300 | 59070 56053 44 | 0.005 % |
1007.21/1007.83 c | 1796351 | 140 11900 83300 | 59070 58104 44 | 0.005 % |
1008.61/1009.28 c | 1798606 | 140 11900 83300 | 59070 51749 44 | 0.005 % |
1009.91/1010.59 c | 1801086 | 140 11900 83300 | 53145 46731 44 | 0.005 % |
1011.41/1012.05 c | 1803815 | 140 11900 83300 | 53145 49460 44 | 0.005 % |
1013.01/1013.61 c | 1806813 | 140 11900 83300 | 53145 52458 44 | 0.005 % |
1014.71/1015.39 c | 1810110 | 140 11900 83300 | 49268 43879 44 | 0.005 % |
1016.41/1017.08 c | 1813735 | 140 11900 83300 | 49268 47504 44 | 0.005 % |
1018.41/1019.08 c | 1817724 | 140 11900 83300 | 49268 46560 44 | 0.005 % |
1020.70/1021.39 c | 1822110 | 140 11900 83300 | 2147483647 50946 44 | 0.005 % |
1023.51/1024.11 c | 1826935 | 140 11900 83300 | 2147483647 55771 44 | 0.005 % |
1026.60/1027.26 c | 1832240 | 140 11900 83300 | 58838 54956 44 | 0.005 % |
1029.90/1030.53 c | 1838076 | 140 11900 83300 | 58838 54260 44 | 0.005 % |
1033.10/1033.75 c | 1844494 | 140 11900 83300 | 56184 54345 44 | 0.005 % |
1036.80/1037.49 c | 1851554 | 140 11900 83300 | 53573 49095 44 | 0.005 % |
1040.50/1041.10 c | 1859319 | 140 11900 83300 | 53573 51497 44 | 0.005 % |
1045.20/1045.84 c | 1867859 | 140 11900 83300 | 2147483647 60037 44 | 0.005 % |
1050.99/1051.62 c | 1877253 | 140 11900 83300 | 62179 61727 44 | 0.005 % |
1056.89/1057.58 c | 1887586 | 140 11900 83300 | 56097 56071 44 | 0.005 % |
1062.48/1063.17 c | 1898952 | 140 11900 83300 | 52028 49837 44 | 0.005 % |
1069.58/1070.22 c | 1911455 | 140 11900 83300 | 60887 54869 44 | 0.005 % |
1077.38/1078.07 c | 1925208 | 140 11900 83300 | 55462 53606 44 | 0.005 % |
1085.67/1086.38 c | 1940335 | 140 11900 83300 | 62547 55668 44 | 0.005 % |
1095.77/1096.44 c | 1956975 | 140 11900 83300 | 56683 56107 44 | 0.005 % |
1095.87/1096.53 c | 1957076 | 140 11900 83300 | 56683 56208 44 | 0.005 % |
1095.97/1096.62 c | 1957188 | 140 11900 83300 | 56683 56320 44 | 0.005 % |
1096.07/1096.71 c | 1957309 | 140 11900 83300 | 56683 56441 44 | 0.005 % |
1096.17/1096.80 c | 1957443 | 140 11900 83300 | 56683 56575 44 | 0.005 % |
1096.17/1096.89 c | 1957589 | 140 11900 83300 | 56683 56721 44 | 0.005 % |
1096.37/1097.04 c | 1957751 | 140 11900 83300 | 56683 50295 44 | 0.005 % |
1096.47/1097.12 c | 1957929 | 140 11900 83300 | 56683 50473 44 | 0.005 % |
1096.57/1097.24 c | 1958122 | 140 11900 83300 | 56683 50666 44 | 0.005 % |
1096.67/1097.34 c | 1958334 | 140 11900 83300 | 56683 50878 44 | 0.005 % |
1096.77/1097.46 c | 1958568 | 140 11900 83300 | 56683 51112 44 | 0.005 % |
1096.97/1097.66 c | 1958826 | 140 11900 83300 | 56683 51370 44 | 0.005 % |
1097.17/1097.83 c | 1959107 | 140 11900 83300 | 56683 51651 44 | 0.005 % |
1097.37/1098.00 c | 1959416 | 140 11900 83300 | 56683 51960 44 | 0.005 % |
1097.57/1098.22 c | 1959756 | 140 11900 83300 | 56683 52300 44 | 0.005 % |
1097.77/1098.49 c | 1960129 | 140 11900 83300 | 52546 46369 44 | 0.005 % |
1098.07/1098.70 c | 1960538 | 140 11900 83300 | 52546 46778 44 | 0.005 % |
1098.27/1098.97 c | 1960987 | 140 11900 83300 | 52546 47227 44 | 0.005 % |
1098.57/1099.25 c | 1961481 | 140 11900 83300 | 52546 47721 44 | 0.005 % |
1098.87/1099.55 c | 1962024 | 140 11900 83300 | 52546 48264 44 | 0.005 % |
1099.17/1099.88 c | 1962620 | 140 11900 83300 | 52546 48860 44 | 0.005 % |
1099.47/1100.19 c | 1963275 | 140 11900 83300 | 52546 49515 44 | 0.005 % |
1099.97/1100.62 c | 1963995 | 140 11900 83300 | 52546 50235 44 | 0.005 % |
1100.27/1101.00 c | 1964788 | 140 11900 83300 | 52546 51028 44 | 0.005 % |
1100.77/1101.43 c | 1965659 | 140 11900 83300 | 52546 51899 44 | 0.005 % |
1101.27/1101.95 c | 1966618 | 140 11900 83300 | 52546 47489 44 | 0.005 % |
1101.77/1102.49 c | 1967672 | 140 11900 83300 | 52546 48543 44 | 0.005 % |
1102.47/1103.12 c | 1968831 | 140 11900 83300 | 52546 49702 44 | 0.005 % |
1103.07/1103.74 c | 1970104 | 140 11900 83300 | 2147483647 50975 44 | 0.005 % |
1103.77/1104.48 c | 1971505 | 140 11900 83300 | 2147483647 52376 44 | 0.005 % |
1104.67/1105.36 c | 1973045 | 140 11900 83300 | 2147483647 53916 44 | 0.005 % |
1105.66/1106.39 c | 1974739 | 140 11900 83300 | 2147483647 55610 44 | 0.005 % |
1106.76/1107.49 c | 1976602 | 140 11900 83300 | 2147483647 57473 44 | 0.005 % |
1108.07/1108.73 c | 1978653 | 140 11900 83300 | 2147483647 59524 44 | 0.005 % |
1109.36/1110.06 c | 1980906 | 140 11900 83300 | 60872 53044 44 | 0.005 % |
1110.76/1111.48 c | 1983385 | 140 11900 83300 | 60872 55523 44 | 0.005 % |
1112.47/1113.14 c | 1986111 | 140 11900 83300 | 60872 58249 44 | 0.005 % |
1114.36/1115.06 c | 1989108 | 140 11900 83300 | 60872 52623 44 | 0.005 % |
1116.16/1116.82 c | 1992404 | 140 11900 83300 | 53518 48440 44 | 0.005 % |
1118.16/1118.83 c | 1996029 | 140 11900 83300 | 53518 52065 44 | 0.005 % |
1120.26/1120.93 c | 2000016 | 140 11900 83300 | 49923 49938 44 | 0.005 % |
1122.36/1123.06 c | 2004402 | 140 11900 83300 | 49923 48598 44 | 0.005 % |
1124.56/1125.22 c | 2009225 | 140 11900 83300 | 49923 48422 44 | 0.005 % |
1127.25/1127.95 c | 2014531 | 140 11900 83300 | 2147483647 53728 44 | 0.005 % |
1130.65/1131.37 c | 2020366 | 140 11900 83300 | 59198 52469 44 | 0.005 % |
1134.25/1134.97 c | 2026784 | 140 11900 83300 | 59198 58887 44 | 0.005 % |
1137.94/1138.65 c | 2033843 | 140 11900 83300 | 54420 51567 44 | 0.005 % |
1141.74/1142.42 c | 2041608 | 140 11900 83300 | 2147483647 53870 44 | 0.005 % |
1146.34/1147.04 c | 2050148 | 140 11900 83300 | 62262 55293 45 | 0.005 % |
1151.74/1152.48 c | 2059543 | 140 11900 83300 | 62262 56406 44 | 0.005 % |
1157.04/1157.72 c | 2069876 | 140 11900 83300 | 56864 52008 44 | 0.005 % |
1162.34/1163.02 c | 2081245 | 140 11900 83300 | 2147483647 51767 45 | 0.005 % |
1169.04/1169.74 c | 2093748 | 140 11900 83300 | 60523 57081 45 | 0.005 % |
1176.93/1177.60 c | 2107502 | 140 11900 83300 | 55974 50642 45 | 0.005 % |
1184.13/1184.88 c | 2122629 | 140 11900 83300 | 51590 48787 44 | 0.005 % |
1193.43/1194.18 c | 2139268 | 140 11900 83300 | 2147483647 60262 44 | 0.005 % |
1200.03/1200.70 HOME/SatELiteGTI: line 36: 8736 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832639-1242785666/watcher-1832639-1242785666 -o /tmp/evaluation-result-1832639-1242785666/solver-1832639-1242785666 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832639-1242785666.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.92 0.98 0.99 3/64 8730
/proc/meminfo: memFree=1841808/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 306600105 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8730/statm: 1339 237 197 169 0 50 0
[startup+0.0539689 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8730
/proc/meminfo: memFree=1841808/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.101969 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8730
/proc/meminfo: memFree=1841808/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301991 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8730
/proc/meminfo: memFree=1841808/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701037 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8730
/proc/meminfo: memFree=1841808/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50113 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1838784/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=4664 CPUtime=1.43
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 903 0 0 0 143 0 0 0 25 0 1 0 306600110 4775936 889 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 1166 889 76 171 0 993 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10020
[startup+3.10131 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1836864/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=6720 CPUtime=3.03
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 1389 0 0 0 302 1 0 0 25 0 1 0 306600110 6881280 1375 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 1680 1375 76 171 0 1507 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12076
[startup+6.30167 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1833856/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=9132 CPUtime=6.22
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 1986 0 0 0 621 1 0 0 25 0 1 0 306600110 9351168 1972 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 2283 1972 76 171 0 2110 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14488
[startup+12.7024 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1830400/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=12260 CPUtime=12.61
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 2770 0 0 0 1258 3 0 0 25 0 1 0 306600110 12554240 2756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8736/statm: 3065 2756 76 171 0 2892 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 17616
[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1826112/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=16360 CPUtime=25.41
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 3785 0 0 0 2536 5 0 0 25 0 1 0 306600110 16752640 3771 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4090 3771 76 171 0 3917 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 21716
[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1825920/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=16492 CPUtime=50.99
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 3816 0 0 0 5094 5 0 0 25 0 1 0 306600110 16887808 3802 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4123 3802 76 171 0 3950 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 21848
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1825664/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=16476 CPUtime=102.16
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 3816 0 0 0 10210 6 0 0 25 0 1 0 306600110 16871424 3802 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4119 3802 76 171 0 3946 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 21832
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1825536/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=16476 CPUtime=162.12
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 3818 0 0 0 16206 6 0 0 25 0 1 0 306600110 16871424 3804 1992294400 134512640 135215339 4294956240 18446744073709551615 134538382 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4119 3804 76 171 0 3946 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 21832
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1824960/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=17024 CPUtime=222.09
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 3956 0 0 0 22203 6 0 0 25 0 1 0 306600110 17432576 3942 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4256 3942 76 171 0 4083 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 22380
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1824704/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=17156 CPUtime=282.06
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 3996 0 0 0 28200 6 0 0 25 0 1 0 306600110 17567744 3982 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4289 3982 76 171 0 4116 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 22512
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1824512/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=17304 CPUtime=342.01
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 4021 0 0 0 34194 7 0 0 25 0 1 0 306600110 17719296 4007 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4326 4007 76 171 0 4153 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 22660
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1822848/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=18900 CPUtime=401.99
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 4415 0 0 0 40191 8 0 0 25 0 1 0 306600110 19353600 4401 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4725 4401 76 171 0 4552 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 24256
[startup+462.301 s]
################
# More data... #
################
[pid=8736] ppid=8730 vsize=19040 CPUtime=521.91
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 4449 0 0 0 52183 8 0 0 25 0 1 0 306600110 19496960 4435 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4760 4435 76 171 0 4587 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 24396
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1822400/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=19040 CPUtime=581.87
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 4449 0 0 0 58178 9 0 0 25 0 1 0 306600110 19496960 4435 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4760 4435 76 171 0 4587 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 24396
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1821568/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=19724 CPUtime=641.84
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 4615 0 0 0 64175 9 0 0 25 0 1 0 306600110 20197376 4601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4931 4601 76 171 0 4758 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 25080
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1821440/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=19724 CPUtime=701.81
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 4615 0 0 0 70172 9 0 0 25 0 1 0 306600110 20197376 4601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4931 4601 76 171 0 4758 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 25080
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1821376/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=19724 CPUtime=761.79
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 4615 0 0 0 76170 9 0 0 25 0 1 0 306600110 20197376 4601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4931 4601 76 171 0 4758 0
Current children cumulated CPU time (s) 761.83
Current children cumulated vsize (KiB) 25080
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1821312/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=19724 CPUtime=821.76
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 4616 0 0 0 82166 10 0 0 25 0 1 0 306600110 20197376 4602 1992294400 134512640 135215339 4294956240 18446744073709551615 134528726 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4931 4602 76 171 0 4758 0
Current children cumulated CPU time (s) 821.8
Current children cumulated vsize (KiB) 25080
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1821184/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=19724 CPUtime=881.73
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 4616 0 0 0 88163 10 0 0 25 0 1 0 306600110 20197376 4602 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4931 4602 76 171 0 4758 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 25080
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1821056/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=19724 CPUtime=941.71
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 4616 0 0 0 94161 10 0 0 25 0 1 0 306600110 20197376 4602 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4931 4602 76 171 0 4758 0
Current children cumulated CPU time (s) 941.75
Current children cumulated vsize (KiB) 25080
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1820992/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=19724 CPUtime=1001.68
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 4617 0 0 0 100158 10 0 0 25 0 1 0 306600110 20197376 4603 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4931 4603 76 171 0 4758 0
Current children cumulated CPU time (s) 1001.72
Current children cumulated vsize (KiB) 25080
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1820864/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=19724 CPUtime=1061.64
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 4617 0 0 0 106154 10 0 0 25 0 1 0 306600110 20197376 4603 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4931 4603 76 171 0 4758 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 25080
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8736
/proc/meminfo: memFree=1820736/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=19724 CPUtime=1121.62
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 4617 0 0 0 112152 10 0 0 25 0 1 0 306600110 20197376 4603 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4931 4603 76 171 0 4758 0
Current children cumulated CPU time (s) 1121.66
Current children cumulated vsize (KiB) 25080
[startup+1182.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/66 8736
/proc/meminfo: memFree=1820672/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=19724 CPUtime=1181.59
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 4617 0 0 0 118149 10 0 0 25 0 1 0 306600110 20197376 4603 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4931 4603 76 171 0 4758 0
Current children cumulated CPU time (s) 1181.63
Current children cumulated vsize (KiB) 25080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.04 1.00 1.00 2/66 8736
/proc/meminfo: memFree=1820608/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=19724 CPUtime=1199.99
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 4617 0 0 0 119989 10 0 0 25 0 1 0 306600110 20197376 4603 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4931 4603 76 171 0 4758 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 25080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.04 1.00 1.00 2/66 8736
/proc/meminfo: memFree=1820608/2055920 swapFree=4180064/4192956
[pid=8730] ppid=8728 vsize=5356 CPUtime=0.04
/proc/8730/stat : 8730 (SatELiteGTI) S 8728 8730 8120 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306600105 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8730/statm: 1339 239 197 169 0 50 0
[pid=8736] ppid=8730 vsize=19724 CPUtime=1199.99
/proc/8736/stat : 8736 (minisat_static) R 8730 8730 8120 0 -1 4194304 4617 0 0 0 119989 10 0 0 25 0 1 0 306600110 20197376 4603 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8736/statm: 4931 4603 76 171 0 4758 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 25080
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.05
CPU user time (s): 1199.93
CPU system time (s): 0.116982
CPU usage (%): 99.9449
Max. virtual memory (cumulated for all children) (KiB): 25080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.93
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5614
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= 31
involuntary context switches= 6665
runsolver used 1.02884 second user time and 3.49447 second system time
The end
Begin job on node23 at 2009-05-20 04:14:26
IDJOB=1832639
IDBENCH=70283
IDSOLVER=671
FILE ID=node23/1832639-1242785666
PBS_JOBID= 9322315
Free space on /tmp= 66452 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/140/unif-k7-r85-v140-c11900-S1085378176-050.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832639-1242785666/watcher-1832639-1242785666 -o /tmp/evaluation-result-1832639-1242785666/solver-1832639-1242785666 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832639-1242785666.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 948d32b8ee8265dc795865cb56b9a64b
RANDOM SEED=1847126488
node23.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.238
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.238
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: 1842232 kB
Buffers: 31456 kB
Cached: 114416 kB
SwapCached: 7128 kB
Active: 38192 kB
Inactive: 116424 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1842232 kB
SwapTotal: 4192956 kB
SwapFree: 4180064 kB
Dirty: 1916 kB
Writeback: 0 kB
Mapped: 14064 kB
Slab: 45092 kB
Committed_AS: 1019556 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= 66448 MiB
End job on node23 at 2009-05-20 04:34:29