0.00/0.00 c Parsing...
0.04/0.07 c ==============================================================================
0.04/0.07 c | | ORIGINAL | LEARNT | |
0.04/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.04/0.07 c ==============================================================================
0.04/0.07 c | 0 | 108080 283220 | 32423 0 0 nan | 0.000 % |
0.04/0.07 c ==============================================================================
0.04/0.07 c Result : #vars: 784 #clauses: 108080 #literals: 283220
0.04/0.07 c CPU time: 0.03 s
0.04/0.07 c ==============================================================================
0.12/0.18 c This is MiniSat 2.0 beta
0.12/0.18 c WARNING: for repeatability, setting FPU to use double precision
0.12/0.18 c ============================[ Problem Statistics ]=============================
0.12/0.18 c | |
0.12/0.18 c | Number of variables: 784 |
0.12/0.18 c | Number of clauses: 108080 |
0.12/0.21 c | Parsing time: 0.05 s |
0.12/0.22 c ============================[ Search Statistics ]==============================
0.12/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.12/0.22 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.12/0.22 c ===============================================================================
0.12/0.22 c | 0 | 784 108080 283220 | 36026 0 nan | 0.000 % |
0.17/0.25 c | 102 | 784 108080 283220 | 36026 102 46 | 0.000 % |
0.17/0.27 c | 202 | 784 108080 283220 | 36026 202 39 | 0.010 % |
0.17/0.28 c | 302 | 784 108080 283220 | 36026 302 32 | 0.011 % |
0.17/0.30 c | 412 | 784 108080 283220 | 36026 412 30 | 0.011 % |
0.17/0.31 c | 516 | 784 108080 283220 | 36026 516 28 | 0.010 % |
0.17/0.32 c | 631 | 784 108080 283220 | 36026 631 35 | 0.000 % |
0.17/0.34 c | 754 | 784 108080 283220 | 36026 754 35 | 0.011 % |
0.17/0.35 c | 854 | 784 108080 283220 | 36026 854 34 | 0.011 % |
0.17/0.36 c | 964 | 784 108080 283220 | 36026 964 33 | 0.011 % |
0.17/0.38 c | 1086 | 784 108080 283220 | 36026 1086 33 | 0.011 % |
0.17/0.39 c | 1220 | 784 108080 283220 | 36026 1220 37 | 0.000 % |
0.17/0.41 c | 1323 | 784 108080 283220 | 36026 1323 37 | 0.011 % |
0.17/0.42 c | 1436 | 784 108080 283220 | 36026 1436 36 | 0.011 % |
0.17/0.44 c | 1558 | 784 108080 283220 | 36026 1558 35 | 0.011 % |
0.17/0.46 c | 1691 | 784 108080 283220 | 36026 1691 38 | 0.000 % |
0.17/0.47 c | 1837 | 784 108080 283220 | 36026 1837 37 | 0.011 % |
0.17/0.49 c | 1938 | 784 108080 283220 | 36026 1938 36 | 0.011 % |
0.17/0.50 c | 2048 | 784 108080 283220 | 36026 2048 35 | 0.011 % |
0.17/0.52 c | 2170 | 784 108080 283220 | 36026 2170 37 | 0.000 % |
0.17/0.53 c | 2306 | 784 108080 283220 | 36026 2306 37 | 0.000 % |
0.17/0.55 c | 2452 | 784 108080 283220 | 36026 2452 36 | 0.011 % |
0.17/0.57 c | 2612 | 784 108080 283220 | 36026 2612 36 | 0.011 % |
0.17/0.58 c | 2712 | 784 108080 283220 | 36026 2712 37 | 0.010 % |
0.17/0.60 c | 2822 | 784 108080 283220 | 36026 2822 37 | 0.011 % |
0.17/0.61 c | 2946 | 784 108080 283220 | 36026 2946 36 | 0.011 % |
0.17/0.63 c | 3079 | 784 108080 283220 | 36026 3079 36 | 0.010 % |
0.17/0.65 c | 3225 | 784 108080 283220 | 36026 3225 38 | 0.000 % |
0.17/0.67 c | 3385 | 784 108080 283220 | 36026 3385 38 | 0.011 % |
0.17/0.69 c | 3561 | 784 108080 283220 | 36026 3561 37 | 0.011 % |
0.17/0.70 c | 3661 | 784 108080 283220 | 36026 3661 39 | 0.000 % |
0.17/0.72 c | 3771 | 784 108080 283220 | 36026 3771 39 | 0.011 % |
0.17/0.74 c | 3893 | 784 108080 283220 | 36026 3893 38 | 0.011 % |
0.17/0.76 c | 4026 | 784 108080 283220 | 36026 4026 38 | 0.011 % |
0.17/0.77 c | 4172 | 784 108080 283220 | 36026 4172 40 | 0.000 % |
0.17/0.79 c | 4333 | 784 108080 283220 | 36026 4333 40 | 0.011 % |
0.17/0.82 c | 4509 | 784 108080 283220 | 36026 4509 40 | 0.011 % |
0.17/0.84 c | 4702 | 784 108080 283220 | 36026 4702 42 | 0.000 % |
0.17/0.85 c | 4803 | 784 108080 283220 | 36026 4803 42 | 0.010 % |
0.17/0.87 c | 4914 | 784 108080 283220 | 36026 4914 41 | 0.011 % |
0.17/0.89 c | 5036 | 784 108080 283220 | 36026 5036 41 | 0.010 % |
0.17/0.91 c | 5173 | 784 108080 283220 | 36026 5173 42 | 0.000 % |
0.17/0.92 c | 5319 | 784 108080 283220 | 36026 5319 41 | 0.011 % |
0.17/0.95 c | 5480 | 784 108080 283220 | 36026 5480 41 | 0.011 % |
0.17/0.97 c | 5657 | 784 108080 283220 | 36026 5657 41 | 0.012 % |
0.17/1.00 c | 5850 | 784 108080 283220 | 36026 5850 40 | 0.011 % |
1.02/1.03 c | 6063 | 784 108080 283220 | 36026 6063 40 | 0.011 % |
1.02/1.04 c | 6164 | 784 108080 283220 | 36026 6164 40 | 0.000 % |
1.02/1.06 c | 6274 | 784 108080 283220 | 36026 6274 40 | 0.000 % |
1.02/1.07 c | 6397 | 784 108080 283220 | 36026 6397 41 | 0.011 % |
1.02/1.09 c | 6531 | 784 108080 283220 | 36026 6531 41 | 0.011 % |
1.02/1.12 c | 6678 | 784 108080 283220 | 36026 6678 41 | 0.000 % |
1.13/1.14 c | 6838 | 784 108080 283220 | 36026 6838 41 | 0.011 % |
1.13/1.16 c | 7014 | 784 108080 283220 | 36026 7014 41 | 0.011 % |
1.13/1.19 c | 7209 | 784 108080 283220 | 36026 7209 43 | 0.000 % |
1.22/1.22 c | 7422 | 784 108080 283220 | 36026 7422 43 | 0.000 % |
1.22/1.25 c | 7659 | 784 108080 283220 | 36026 7659 42 | 0.011 % |
1.22/1.27 c | 7761 | 784 108080 283220 | 36026 7761 42 | 0.011 % |
1.22/1.29 c | 7872 | 784 108080 283220 | 36026 7872 42 | 0.011 % |
1.32/1.31 c | 7994 | 784 108080 283220 | 36026 7994 42 | 0.011 % |
1.32/1.33 c | 8127 | 784 108080 283220 | 36026 8127 41 | 0.011 % |
1.32/1.36 c | 8275 | 784 108080 283220 | 36026 8275 41 | 0.011 % |
1.32/1.39 c | 8435 | 784 108080 283220 | 36026 8435 41 | 0.011 % |
1.42/1.41 c | 8611 | 784 108080 283220 | 36026 8611 40 | 0.011 % |
1.42/1.45 c | 8807 | 784 108080 283220 | 36026 8807 40 | 0.011 % |
1.42/1.48 c | 9020 | 784 108080 283220 | 36026 9020 40 | 0.011 % |
1.52/1.52 c | 9254 | 784 108080 283220 | 36026 9254 41 | 0.000 % |
1.52/1.56 c | 9513 | 784 108080 283220 | 36026 9513 40 | 0.000 % |
1.52/1.58 c | 9613 | 784 108080 283220 | 36026 9613 41 | 0.000 % |
1.52/1.59 c | 9726 | 784 108080 283220 | 36026 9726 41 | 0.011 % |
1.62/1.62 c | 9848 | 784 108080 283220 | 36026 9848 41 | 0.011 % |
1.62/1.64 c | 9981 | 784 108080 283220 | 36026 9981 41 | 0.011 % |
1.62/1.67 c | 10128 | 784 108080 283220 | 2147483647 10128 41 | 0.011 % |
1.62/1.70 c | 10288 | 784 108080 283220 | 2147483647 10288 41 | 0.011 % |
1.72/1.73 c | 10464 | 784 108080 283220 | 2147483647 10464 41 | 0.011 % |
1.72/1.77 c | 10658 | 784 108080 283220 | 2147483647 10658 41 | 0.011 % |
1.72/1.80 c | 10871 | 784 108080 283220 | 2147483647 10871 40 | 0.011 % |
1.82/1.84 c | 11105 | 784 108080 283220 | 2147483647 11105 40 | 0.011 % |
1.82/1.89 c | 11361 | 784 108080 283220 | 2147483647 11361 40 | 0.011 % |
1.92/1.94 c | 11643 | 784 108080 283220 | 2147483647 11643 40 | 0.000 % |
1.92/1.96 c | 11743 | 784 108080 283220 | 2147483647 11743 40 | 0.011 % |
1.92/1.98 c | 11854 | 784 108080 283220 | 2147483647 11854 40 | 0.011 % |
1.92/2.00 c | 11977 | 784 108080 283220 | 2147483647 11977 40 | 0.011 % |
2.02/2.03 c | 12110 | 784 108080 283220 | 2147483647 12110 40 | 0.011 % |
2.02/2.06 c | 12259 | 784 108080 283220 | 2147483647 12259 39 | 0.011 % |
2.02/2.09 c | 12419 | 784 108080 283220 | 2147483647 12419 39 | 0.011 % |
2.12/2.12 c | 12595 | 784 108080 283220 | 2147483647 12595 39 | 0.011 % |
2.12/2.15 c | 12788 | 784 108080 283220 | 2147483647 12788 40 | 0.000 % |
2.12/2.19 c | 13000 | 784 108080 283220 | 2147483647 13000 40 | 0.011 % |
2.23/2.24 c | 13234 | 784 108080 283220 | 2147483647 13234 40 | 0.000 % |
2.23/2.28 c | 13490 | 784 108080 283220 | 2147483647 13490 40 | 0.011 % |
2.32/2.34 c | 13771 | 784 108080 283220 | 2147483647 13771 40 | 0.011 % |
2.32/2.39 c | 14081 | 784 108080 283220 | 2147483647 14081 40 | 0.011 % |
2.32/2.41 c | 14181 | 784 108080 283220 | 2147483647 14181 40 | 0.000 % |
2.42/2.42 c | 14293 | 784 108080 283220 | 2147483647 14293 40 | 0.011 % |
2.42/2.44 c | 14416 | 784 108080 283220 | 2147483647 14416 40 | 0.011 % |
2.42/2.47 c | 14550 | 784 108080 283220 | 2147483647 14550 40 | 0.011 % |
2.42/2.49 c | 14697 | 784 108080 283220 | 2147483647 14697 40 | 0.000 % |
2.52/2.52 c | 14858 | 784 108080 283220 | 2147483647 14858 41 | 0.000 % |
2.52/2.55 c | 15037 | 784 108080 283220 | 2147483647 15037 41 | 0.011 % |
2.52/2.58 c | 15233 | 784 108080 283220 | 2147483647 15233 41 | 0.000 % |
2.62/2.62 c | 15453 | 784 108080 283220 | 2147483647 15453 41 | 0.011 % |
2.62/2.67 c | 15689 | 784 108080 283220 | 2147483647 15689 41 | 0.011 % |
2.72/2.71 c | 15945 | 784 108080 283220 | 2147483647 15945 41 | 0.011 % |
2.72/2.77 c | 16227 | 784 108080 283220 | 2147483647 16227 40 | 0.011 % |
2.82/2.83 c | 16538 | 784 108080 283220 | 2147483647 16538 40 | 0.011 % |
2.82/2.89 c | 16877 | 784 108080 283220 | 2147483647 16877 41 | 0.000 % |
2.92/2.91 c | 16977 | 784 108080 283220 | 2147483647 16977 41 | 0.011 % |
2.92/2.93 c | 17088 | 784 108080 283220 | 2147483647 17088 41 | 0.011 % |
2.92/2.96 c | 17209 | 784 108080 283220 | 2147483647 17209 41 | 0.000 % |
2.92/2.98 c | 17342 | 784 108080 283220 | 2147483647 17342 41 | 0.000 % |
3.02/3.01 c | 17488 | 784 108080 283220 | 2147483647 17488 41 | 0.011 % |
3.02/3.05 c | 17648 | 784 108080 283220 | 2147483647 17648 41 | 0.011 % |
3.02/3.08 c | 17828 | 784 108080 283220 | 2147483647 17828 41 | 0.011 % |
3.12/3.12 c | 18022 | 784 108080 283220 | 2147483647 18022 41 | 0.011 % |
3.12/3.16 c | 18234 | 784 108080 283220 | 2147483647 18234 41 | 0.000 % |
3.12/3.20 c | 18468 | 784 108080 283220 | 2147483647 18468 41 | 0.020 % |
3.22/3.25 c | 18725 | 784 108080 283220 | 2147483647 18725 41 | 0.010 % |
3.22/3.31 c | 19006 | 784 108080 283220 | 2147483647 19006 41 | 0.011 % |
3.33/3.36 c | 19315 | 784 108080 283220 | 2147483647 19315 42 | 0.000 % |
3.42/3.44 c | 19660 | 784 108080 283220 | 2147483647 19660 42 | 0.011 % |
3.42/3.51 c | 20033 | 784 108080 283220 | 2147483647 20033 41 | 0.000 % |
3.52/3.53 c | 20134 | 784 108080 283220 | 2147483647 20134 42 | 0.000 % |
3.52/3.56 c | 20244 | 784 108080 283220 | 2147483647 20244 42 | 0.011 % |
3.52/3.59 c | 20366 | 784 108080 283220 | 2147483647 20366 41 | 0.011 % |
3.62/3.62 c | 20500 | 784 108080 283220 | 2147483647 20500 41 | 0.011 % |
3.62/3.65 c | 20646 | 784 108080 283220 | 2147483647 20646 42 | 0.000 % |
3.62/3.68 c | 20806 | 784 108080 283220 | 2147483647 20806 42 | 0.000 % |
3.72/3.72 c | 20982 | 784 108080 283220 | 2147483647 20982 42 | 0.011 % |
3.72/3.75 c | 21177 | 784 108080 283220 | 2147483647 21177 42 | 0.011 % |
3.72/3.79 c | 21392 | 784 108080 283220 | 2147483647 21392 41 | 0.011 % |
3.82/3.84 c | 21626 | 784 108080 283220 | 2147483647 21626 41 | 0.011 % |
3.82/3.90 c | 21883 | 784 108080 283220 | 2147483647 21883 41 | 0.011 % |
3.92/3.96 c | 22167 | 784 108080 283220 | 2147483647 22167 41 | 0.011 % |
4.02/4.02 c | 22476 | 784 108080 283220 | 2147483647 22476 41 | 0.011 % |
4.02/4.10 c | 22818 | 784 108080 283220 | 2147483647 22818 41 | 0.011 % |
4.12/4.20 c | 23191 | 784 108080 283220 | 2147483647 23191 41 | 0.011 % |
4.22/4.30 c | 23600 | 784 108080 283220 | 2147483647 23600 40 | 0.011 % |
4.32/4.33 c | 23702 | 784 108080 283220 | 2147483647 23702 40 | 0.011 % |
4.32/4.36 c | 23814 | 784 108080 283220 | 2147483647 23814 40 | 0.011 % |
4.32/4.39 c | 23935 | 784 108080 283220 | 2147483647 23935 40 | 0.011 % |
4.43/4.43 c | 24068 | 784 108080 283220 | 2147483647 24068 40 | 0.011 % |
4.43/4.45 c | 24215 | 784 108080 283220 | 2147483647 24215 41 | 0.000 % |
4.43/4.49 c | 24375 | 784 108080 283220 | 2147483647 24375 40 | 0.000 % |
4.52/4.53 c | 24555 | 784 108080 283220 | 2147483647 24555 40 | 0.011 % |
4.52/4.58 c | 24749 | 784 108080 283220 | 2147483647 24749 41 | 0.000 % |
4.62/4.63 c | 24961 | 784 108080 283220 | 2147483647 24961 41 | 0.000 % |
4.62/4.69 c | 25194 | 784 108080 283220 | 2147483647 25194 41 | 0.011 % |
4.72/4.75 c | 25452 | 784 108080 283220 | 2147483647 25452 40 | 0.011 % |
4.82/4.82 c | 25734 | 784 108080 283220 | 2147483647 25734 40 | 0.011 % |
4.82/4.88 c | 26045 | 784 108080 283220 | 2147483647 26045 40 | 0.011 % |
4.92/4.95 c | 26385 | 784 108080 283220 | 2147483647 26385 41 | 0.000 % |
5.02/5.03 c | 26757 | 784 108080 283220 | 2147483647 26757 41 | 0.011 % |
5.12/5.14 c | 27170 | 784 108080 283220 | 2147483647 27170 40 | 0.011 % |
5.22/5.26 c | 27619 | 784 108080 283220 | 2147483647 27619 40 | 0.011 % |
5.22/5.28 c | 27719 | 784 108080 283220 | 2147483647 27719 40 | 0.011 % |
5.32/5.31 c | 27829 | 784 108080 283220 | 2147483647 27829 40 | 0.011 % |
5.32/5.34 c | 27953 | 784 108080 283220 | 2147483647 27953 40 | 0.011 % |
5.32/5.38 c | 28087 | 784 108080 283220 | 2147483647 28087 40 | 0.011 % |
5.42/5.42 c | 28234 | 784 108080 283220 | 2147483647 28234 40 | 0.000 % |
5.42/5.46 c | 28394 | 784 108080 283220 | 2147483647 28394 40 | 0.011 % |
5.42/5.50 c | 28570 | 784 108080 283220 | 2147483647 28570 40 | 0.011 % |
5.53/5.55 c | 28763 | 784 108080 283220 | 2147483647 28763 40 | 0.000 % |
5.53/5.60 c | 28975 | 784 108080 283220 | 2147483647 28975 40 | 0.000 % |
5.62/5.66 c | 29208 | 784 108080 283220 | 2147483647 29208 40 | 0.011 % |
5.72/5.74 c | 29464 | 784 108080 283220 | 2147483647 29464 40 | 0.010 % |
5.82/5.81 c | 29747 | 784 108080 283220 | 2147483647 29747 40 | 0.010 % |
5.82/5.91 c | 30058 | 784 108080 283220 | 2147483647 30058 40 | 0.011 % |
5.92/5.99 c | 30397 | 784 108080 283220 | 2147483647 30397 40 | 0.000 % |
6.02/6.08 c | 30770 | 784 108080 283220 | 2147483647 30770 40 | 0.011 % |
6.12/6.20 c | 31180 | 784 108080 283220 | 2147483647 31180 40 | 0.011 % |
6.32/6.32 c | 31631 | 784 108080 283220 | 2147483647 31631 40 | 0.011 % |
6.42/6.46 c | 32127 | 784 108080 283220 | 2147483647 32127 40 | 0.011 % |
6.42/6.49 c | 32227 | 784 108080 283220 | 2147483647 32227 40 | 0.011 % |
6.52/6.52 c | 32338 | 784 108080 283220 | 2147483647 32338 40 | 0.011 % |
6.52/6.56 c | 32460 | 784 108080 283220 | 2147483647 32460 40 | 0.011 % |
6.52/6.59 c | 32594 | 784 108080 283220 | 2147483647 32594 40 | 0.011 % |
6.63/6.63 c | 32741 | 784 108080 283220 | 2147483647 32741 40 | 0.000 % |
6.63/6.67 c | 32901 | 784 108080 283220 | 2147483647 32901 40 | 0.011 % |
6.72/6.72 c | 33079 | 784 108080 283220 | 2147483647 33079 40 | 0.011 % |
6.72/6.78 c | 33273 | 784 108080 283220 | 2147483647 33273 40 | 0.000 % |
6.82/6.83 c | 33489 | 784 108080 283220 | 2147483647 33489 40 | 0.011 % |
6.82/6.90 c | 33724 | 784 108080 283220 | 2147483647 33724 40 | 0.011 % |
6.92/6.96 c | 33980 | 784 108080 283220 | 2147483647 33980 40 | 0.011 % |
7.02/7.04 c | 34262 | 784 108080 283220 | 2147483647 34262 40 | 0.011 % |
7.12/7.13 c | 34571 | 784 108080 283220 | 2147483647 34571 40 | 0.011 % |
7.22/7.22 c | 34910 | 784 108080 283220 | 2147483647 34910 40 | 0.000 % |
7.22/7.31 c | 35282 | 784 108080 283220 | 2147483647 35282 41 | 0.000 % |
7.42/7.42 c | 35691 | 784 108080 283220 | 2147483647 35691 41 | 0.011 % |
7.52/7.55 c | 36140 | 784 108080 283220 | 2147483647 36140 40 | 0.011 % |
7.62/7.69 c | 36634 | 784 108080 283220 | 2147483647 36634 40 | 0.011 % |
7.82/7.85 c | 37176 | 784 108080 283220 | 2147483647 37176 40 | 0.011 % |
7.82/7.89 c | 37276 | 784 108080 283220 | 2147483647 37276 40 | 0.011 % |
7.92/7.93 c | 37386 | 784 108080 283220 | 2147483647 37386 40 | 0.011 % |
7.92/7.96 c | 37509 | 784 108080 283220 | 2147483647 37509 40 | 0.011 % |
7.92/8.00 c | 37642 | 784 108080 283220 | 2147483647 37642 40 | 0.000 % |
8.02/8.04 c | 37790 | 784 108080 283220 | 2147483647 37790 40 | 0.011 % |
8.02/8.09 c | 37950 | 784 108080 283220 | 2147483647 37950 40 | 0.011 % |
8.12/8.14 c | 38126 | 784 108080 283220 | 2147483647 38126 40 | 0.011 % |
8.12/8.19 c | 38319 | 784 108080 283220 | 2147483647 38319 40 | 0.011 % |
8.22/8.26 c | 38532 | 784 108080 283220 | 2147483647 38532 40 | 0.011 % |
8.32/8.32 c | 38766 | 784 108080 283220 | 2147483647 38766 40 | 0.000 % |
8.32/8.39 c | 39022 | 784 108080 283220 | 2147483647 39022 40 | 0.000 % |
8.42/8.48 c | 39304 | 784 108080 283220 | 2147483647 39304 41 | 0.000 % |
8.52/8.56 c | 39613 | 784 108080 283220 | 2147483647 39613 41 | 0.000 % |
8.62/8.66 c | 39952 | 784 108080 283220 | 2147483647 39952 41 | 0.011 % |
8.72/8.76 c | 40327 | 784 108080 283220 | 2147483647 40327 40 | 0.011 % |
8.83/8.88 c | 40738 | 784 108080 283220 | 2147483647 40738 40 | 0.011 % |
8.92/8.99 c | 41188 | 784 108080 283220 | 2147483647 41188 40 | 0.011 % |
9.12/9.13 c | 41682 | 784 108080 283220 | 2147483647 41682 40 | 0.011 % |
9.22/9.30 c | 42226 | 784 108080 283220 | 2147483647 42226 40 | 0.011 % |
9.42/9.51 c | 42822 | 784 108080 283220 | 2147483647 42822 40 | 0.000 % |
9.52/9.54 c | 42925 | 784 108080 283220 | 2147483647 42925 40 | 0.011 % |
9.52/9.57 c | 43038 | 784 108080 283220 | 2147483647 43038 40 | 0.011 % |
9.62/9.61 c | 43159 | 784 108080 283220 | 2147483647 43159 40 | 0.000 % |
9.62/9.65 c | 43295 | 784 108080 283220 | 2147483647 43295 40 | 0.011 % |
9.62/9.70 c | 43441 | 784 108080 283220 | 2147483647 43441 40 | 0.011 % |
9.72/9.74 c | 43601 | 784 108080 283220 | 2147483647 43601 40 | 0.011 % |
9.72/9.79 c | 43778 | 784 108080 283220 | 2147483647 43778 40 | 0.011 % |
9.82/9.86 c | 43971 | 784 108080 283220 | 2147483647 43971 40 | 0.011 % |
9.82/9.92 c | 44186 | 784 108080 283220 | 2147483647 44186 40 | 0.011 % |
9.93/9.99 c | 44419 | 784 108080 283220 | 2147483647 44419 40 | 0.011 % |
10.02/10.07 c | 44678 | 784 108080 283220 | 2147483647 44678 40 | 0.000 % |
10.12/10.16 c | 44960 | 784 108080 283220 | 2147483647 44960 40 | 0.011 % |
10.22/10.26 c | 45271 | 784 108080 283220 | 2147483647 45271 40 | 0.000 % |
10.32/10.36 c | 45610 | 784 108080 283220 | 2147483647 45610 40 | 0.011 % |
10.42/10.49 c | 45984 | 784 108080 283220 | 2147483647 45984 40 | 0.011 % |
10.62/10.65 c | 46393 | 784 108080 283220 | 2147483647 46393 40 | 0.011 % |
10.82/10.82 c | 46842 | 784 108080 283220 | 2147483647 46842 40 | 0.011 % |
10.92/10.98 c | 47336 | 784 108080 283220 | 2147483647 47336 39 | 0.011 % |
11.12/11.17 c | 47878 | 784 108080 283220 | 2147483647 47878 39 | 0.011 % |
11.32/11.37 c | 48475 | 784 108080 283220 | 2147483647 48475 39 | 0.011 % |
11.52/11.59 c | 49132 | 784 108080 283220 | 2147483647 49132 39 | 0.011 % |
11.62/11.63 c | 49233 | 784 108080 283220 | 2147483647 49233 39 | 0.011 % |
11.62/11.67 c | 49343 | 784 108080 283220 | 2147483647 49343 39 | 0.011 % |
11.72/11.73 c | 49465 | 784 108080 283220 | 2147483647 49465 39 | 0.011 % |
11.72/11.78 c | 49601 | 784 108080 283220 | 2147483647 49601 39 | 0.011 % |
11.82/11.83 c | 49748 | 784 108080 283220 | 2147483647 49748 39 | 0.011 % |
11.82/11.89 c | 49908 | 784 108080 283220 | 2147483647 49908 39 | 0.011 % |
11.92/11.95 c | 50084 | 784 108080 283220 | 2147483647 50084 39 | 0.011 % |
11.92/12.01 c | 50278 | 784 108080 283220 | 2147483647 50278 39 | 0.000 % |
12.02/12.09 c | 50493 | 784 108080 283220 | 2147483647 50493 39 | 0.000 % |
12.13/12.18 c | 50728 | 784 108080 283220 | 2147483647 50728 39 | 0.011 % |
12.22/12.26 c | 50984 | 784 108080 283220 | 2147483647 50984 39 | 0.010 % |
12.32/12.36 c | 51272 | 784 108080 283220 | 2147483647 51272 39 | 0.010 % |
12.42/12.46 c | 51581 | 784 108080 283220 | 2147483647 51581 39 | 0.011 % |
12.52/12.59 c | 51920 | 784 108080 283220 | 2147483647 51920 39 | 0.000 % |
12.72/12.73 c | 52293 | 784 108080 283220 | 2147483647 52293 39 | 0.000 % |
12.82/12.86 c | 52703 | 784 108080 283220 | 2147483647 52703 39 | 0.011 % |
12.92/13.01 c | 53154 | 784 108080 283220 | 2147483647 53154 39 | 0.011 % |
13.12/13.18 c | 53648 | 784 108080 283220 | 2147483647 53648 39 | 0.011 % |
13.32/13.38 c | 54190 | 784 108080 283220 | 2147483647 54190 39 | 0.011 % |
13.52/13.60 c | 54787 | 784 108080 283220 | 2147483647 54787 39 | 0.011 % |
13.82/13.81 c | 55442 | 784 108080 283220 | 2147483647 55442 39 | 0.011 % |
14.02/14.08 c | 56164 | 784 108080 283220 | 2147483647 56164 39 | 0.011 % |
14.12/14.11 c | 56265 | 784 108080 283220 | 2147483647 56265 39 | 0.011 % |
14.12/14.15 c | 56376 | 784 108080 283220 | 2147483647 56376 39 | 0.011 % |
14.12/14.20 c | 56497 | 784 108080 283220 | 2147483647 56497 39 | 0.011 % |
14.22/14.24 c | 56632 | 784 108080 283220 | 2147483647 56632 39 | 0.011 % |
14.22/14.29 c | 56778 | 784 108080 283220 | 2147483647 56778 39 | 0.011 % |
14.33/14.36 c | 56940 | 784 108080 283220 | 2147483647 56940 39 | 0.011 % |
14.42/14.41 c | 57116 | 784 108080 283220 | 2147483647 57116 39 | 0.011 % |
14.42/14.48 c | 57310 | 784 108080 283220 | 2147483647 57310 39 | 0.011 % |
14.52/14.56 c | 57523 | 784 108080 283220 | 2147483647 57523 39 | 0.011 % |
14.62/14.65 c | 57757 | 784 108080 283220 | 2147483647 57757 39 | 0.000 % |
14.72/14.73 c | 58014 | 784 108080 283220 | 2147483647 58014 39 | 0.011 % |
14.82/14.84 c | 58295 | 784 108080 283220 | 2147483647 58295 39 | 0.000 % |
14.92/14.93 c | 58605 | 784 108080 283220 | 2147483647 58605 39 | 0.000 % |
15.02/15.06 c | 58945 | 784 108080 283220 | 2147483647 58945 39 | 0.011 % |
15.12/15.20 c | 59317 | 784 108080 283220 | 2147483647 59317 39 | 0.011 % |
15.32/15.35 c | 59726 | 784 108080 283220 | 2147483647 59726 39 | 0.011 % |
15.52/15.52 c | 60177 | 784 108080 283220 | 2147483647 60177 39 | 0.011 % |
15.62/15.70 c | 60671 | 784 108080 283220 | 2147483647 60671 39 | 0.011 % |
15.92/15.92 c | 61214 | 784 108080 283220 | 2147483647 61214 39 | 0.011 % |
16.12/16.15 c | 61812 | 784 108080 283220 | 2147483647 61812 39 | 0.011 % |
16.42/16.42 c | 62468 | 784 108080 283220 | 2147483647 62468 39 | 0.011 % |
16.72/16.71 c | 63188 | 784 108080 283220 | 2147483647 63188 39 | 0.011 % |
16.92/17.00 c | 63980 | 784 108080 283220 | 2147483647 63980 39 | 0.011 % |
17.02/17.03 c | 64081 | 784 108080 283220 | 2147483647 64081 39 | 0.011 % |
17.02/17.07 c | 64191 | 784 108080 283220 | 2147483647 64191 39 | 0.000 % |
17.12/17.12 c | 64312 | 784 108080 283220 | 2147483647 64312 39 | 0.000 % |
17.12/17.17 c | 64445 | 784 108080 283220 | 2147483647 64445 39 | 0.011 % |
17.22/17.23 c | 64595 | 784 108080 283220 | 2147483647 64595 39 | 0.011 % |
17.22/17.28 c | 64755 | 784 108080 283220 | 2147483647 64755 39 | 0.000 % |
17.32/17.34 c | 64934 | 784 108080 283220 | 2147483647 64934 39 | 0.000 % |
17.42/17.42 c | 65129 | 784 108080 283220 | 2147483647 65129 39 | 0.000 % |
17.42/17.50 c | 65344 | 784 108080 283220 | 2147483647 65344 39 | 0.000 % |
17.52/17.61 c | 65578 | 784 108080 283220 | 2147483647 65578 39 | 0.011 % |
17.72/17.72 c | 65834 | 784 108080 283220 | 2147483647 65834 39 | 0.000 % |
17.82/17.81 c | 66115 | 784 108080 283220 | 2147483647 66115 39 | 0.000 % |
17.92/17.91 c | 66426 | 784 108080 283220 | 2147483647 66426 39 | 0.011 % |
18.02/18.05 c | 66768 | 784 108080 283220 | 2147483647 66768 39 | 0.011 % |
18.22/18.21 c | 67140 | 784 108080 283220 | 2147483647 67140 39 | 0.011 % |
18.32/18.39 c | 67549 | 784 108080 283220 | 2147483647 67549 39 | 0.011 % |
18.52/18.56 c | 67998 | 784 108080 283220 | 2147483647 67998 39 | 0.000 % |
18.73/18.77 c | 68493 | 784 108080 283220 | 2147483647 68493 39 | 0.010 % |
19.02/19.04 c | 69035 | 784 108080 283220 | 2147483647 69035 39 | 0.011 % |
19.22/19.31 c | 69632 | 784 108080 283220 | 2147483647 69632 39 | 0.000 % |
19.52/19.57 c | 70287 | 784 108080 283220 | 2147483647 70287 39 | 0.011 % |
19.83/19.87 c | 71007 | 784 108080 283220 | 2147483647 71007 39 | 0.011 % |
20.22/20.22 c | 71799 | 784 108080 283220 | 2147483647 71799 40 | 0.000 % |
20.52/20.56 c | 72674 | 784 108080 283220 | 2147483647 72674 40 | 0.000 % |
20.62/20.61 c | 72775 | 784 108080 283220 | 2147483647 72775 40 | 0.011 % |
20.62/20.66 c | 72890 | 784 108080 283220 | 2147483647 72890 40 | 0.011 % |
20.72/20.72 c | 73012 | 784 108080 283220 | 2147483647 73012 40 | 0.011 % |
20.72/20.79 c | 73146 | 784 108080 283220 | 2147483647 73146 40 | 0.000 % |
20.82/20.87 c | 73292 | 784 108080 283220 | 2147483647 73292 40 | 0.011 % |
20.93/20.95 c | 73452 | 784 108080 283220 | 2147483647 73452 40 | 0.011 % |
21.02/21.05 c | 73635 | 784 108080 283220 | 2147483647 73635 40 | 0.011 % |
21.12/21.14 c | 73831 | 784 108080 283220 | 2147483647 73831 40 | 0.011 % |
21.22/21.26 c | 74043 | 784 108080 283220 | 2147483647 74043 40 | 0.011 % |
21.32/21.36 c | 74277 | 784 108080 283220 | 2147483647 74277 40 | 0.000 % |
21.42/21.47 c | 74533 | 784 108080 283220 | 2147483647 74533 40 | 0.000 % |
21.62/21.61 c | 74814 | 784 108080 283220 | 2147483647 74814 40 | 0.000 % |
21.72/21.78 c | 75125 | 784 108080 283220 | 2147483647 75125 40 | 0.011 % |
21.92/21.93 c | 75465 | 784 108080 283220 | 2147483647 75465 40 | 0.011 % |
22.12/22.11 c | 75837 | 784 108080 283220 | 2147483647 75837 40 | 0.011 % |
22.32/22.32 c | 76249 | 784 108080 283220 | 2147483647 76249 40 | 0.011 % |
22.52/22.52 c | 76698 | 784 108080 283220 | 2147483647 76698 40 | 0.011 % |
22.72/22.78 c | 77191 | 784 108080 283220 | 2147483647 77191 40 | 0.011 % |
23.02/23.07 c | 77737 | 784 108080 283220 | 2147483647 77737 40 | 0.011 % |
23.32/23.32 c | 78333 | 784 108080 283220 | 2147483647 78333 40 | 0.011 % |
23.62/23.67 c | 78989 | 784 108080 283220 | 2147483647 78989 40 | 0.011 % |
24.02/24.05 c | 79709 | 784 108080 283220 | 2147483647 79709 40 | 0.011 % |
24.42/24.43 c | 80503 | 784 108080 283220 | 2147483647 80503 40 | 0.011 % |
24.82/24.84 c | 81374 | 784 108080 283220 | 2147483647 81374 40 | 0.000 % |
25.33/25.36 c | 82332 | 784 108080 283220 | 2147483647 82332 40 | 0.011 % |
25.42/25.41 c | 82433 | 784 108080 283220 | 2147483647 82433 40 | 0.011 % |
25.42/25.47 c | 82543 | 784 108080 283220 | 2147483647 82543 40 | 0.011 % |
25.52/25.55 c | 82665 | 784 108080 283220 | 2147483647 82665 40 | 0.000 % |
25.62/25.61 c | 82805 | 784 108080 283220 | 2147483647 82805 40 | 0.011 % |
25.62/25.68 c | 82951 | 784 108080 283220 | 2147483647 82951 40 | 0.011 % |
25.72/25.78 c | 83114 | 784 108080 283220 | 2147483647 83114 40 | 0.001 % |
25.82/25.88 c | 83290 | 784 108080 283220 | 2147483647 83290 40 | 0.011 % |
25.92/26.00 c | 83485 | 784 108080 283220 | 2147483647 83485 40 | 0.011 % |
26.12/26.11 c | 83698 | 784 108080 283220 | 2147483647 83698 40 | 0.011 % |
26.22/26.22 c | 83931 | 784 108080 283220 | 2147483647 83931 40 | 0.011 % |
26.32/26.35 c | 84187 | 784 108080 283220 | 2147483647 84187 40 | 0.011 % |
26.43/26.50 c | 84470 | 784 108080 283220 | 2147483647 84470 40 | 0.011 % |
26.62/26.65 c | 84779 | 784 108080 283220 | 2147483647 84779 40 | 0.011 % |
26.82/26.82 c | 85119 | 784 108080 283220 | 2147483647 85119 40 | 0.011 % |
27.02/27.02 c | 85492 | 784 108080 283220 | 2147483647 85492 40 | 0.011 % |
27.12/27.20 c | 85902 | 784 108080 283220 | 2147483647 85902 40 | 0.011 % |
27.42/27.43 c | 86352 | 784 108080 283220 | 2147483647 86352 40 | 0.011 % |
27.62/27.68 c | 86849 | 784 108080 283220 | 2147483647 86849 40 | 0.011 % |
27.92/27.97 c | 87391 | 784 108080 283220 | 2147483647 87391 40 | 0.011 % |
28.22/28.30 c | 87988 | 784 108080 283220 | 2147483647 87988 40 | 0.011 % |
28.63/28.63 c | 88643 | 784 108080 283220 | 2147483647 88643 40 | 0.011 % |
28.92/29.00 c | 89364 | 784 108080 283220 | 2147483647 89364 40 | 0.011 % |
29.42/29.49 c | 90156 | 784 108080 283220 | 2147483647 90156 39 | 0.012 % |
30.02/30.02 c | 91030 | 784 108080 283220 | 2147483647 91030 39 | 0.011 % |
30.42/30.50 c | 91993 | 784 108080 283220 | 2147483647 91993 40 | 0.000 % |
31.12/31.12 c | 93052 | 784 108080 283220 | 2147483647 93052 40 | 0.000 % |
31.12/31.18 c | 93152 | 784 108080 283220 | 2147483647 93152 40 | 0.000 % |
31.22/31.25 c | 93263 | 784 108080 283220 | 2147483647 93263 40 | 0.011 % |
31.32/31.31 c | 93384 | 784 108080 283220 | 2147483647 93384 40 | 0.011 % |
31.32/31.39 c | 93517 | 784 108080 283220 | 2147483647 93517 40 | 0.011 % |
31.42/31.48 c | 93667 | 784 108080 283220 | 2147483647 93667 40 | 0.000 % |
31.52/31.58 c | 93832 | 784 108080 283220 | 2147483647 93832 40 | 0.011 % |
31.62/31.68 c | 94008 | 784 108080 283220 | 2147483647 94008 40 | 0.011 % |
31.72/31.79 c | 94203 | 784 108080 283220 | 2147483647 94203 40 | 0.000 % |
31.93/31.92 c | 94419 | 784 108080 283220 | 2147483647 94419 40 | 0.011 % |
32.03/32.06 c | 94654 | 784 108080 283220 | 2147483647 94654 40 | 0.011 % |
32.23/32.23 c | 94911 | 784 108080 283220 | 2147483647 94911 40 | 0.011 % |
32.33/32.39 c | 95193 | 784 108080 283220 | 2147483647 95193 40 | 0.011 % |
32.53/32.56 c | 95502 | 784 108080 283220 | 2147483647 95502 40 | 0.011 % |
32.73/32.77 c | 95844 | 784 108080 283220 | 2147483647 95844 40 | 0.000 % |
32.93/32.98 c | 96216 | 784 108080 283220 | 2147483647 96216 40 | 0.000 % |
33.13/33.21 c | 96625 | 784 108080 283220 | 2147483647 96625 40 | 0.011 % |
33.43/33.49 c | 97074 | 784 108080 283220 | 2147483647 97074 40 | 0.000 % |
33.73/33.76 c | 97568 | 784 108080 283220 | 2147483647 97568 41 | 0.000 % |
34.03/34.07 c | 98110 | 784 108080 283220 | 2147483647 98110 41 | 0.000 % |
34.43/34.43 c | 98707 | 784 108080 283220 | 2147483647 98707 41 | 0.011 % |
34.83/34.84 c | 99363 | 784 108080 283220 | 2147483647 99363 41 | 0.011 % |
35.23/35.27 c | 100089 | 784 108080 283220 | 2147483647 100089 41 | 0.011 % |
35.63/35.69 c | 100881 | 784 108080 283220 | 2147483647 100881 41 | 0.000 % |
36.13/36.20 c | 101752 | 784 108080 283220 | 2147483647 101752 41 | 0.000 % |
36.83/36.84 c | 102712 | 784 108080 283220 | 2147483647 102712 41 | 0.011 % |
37.53/37.55 c | 103768 | 784 108080 283220 | 2147483647 103768 41 | 0.011 % |
38.23/38.28 c | 104926 | 784 108080 283220 | 2147483647 104926 41 | 0.011 % |
38.33/38.35 c | 105028 | 784 108080 283220 | 2147483647 105028 41 | 0.000 % |
38.43/38.42 c | 105138 | 784 108080 283220 | 2147483647 105138 41 | 0.000 % |
38.43/38.50 c | 105259 | 784 108080 283220 | 2147483647 105259 41 | 0.011 % |
38.53/38.59 c | 105394 | 784 108080 283220 | 2147483647 105394 41 | 0.011 % |
38.63/38.68 c | 105540 | 784 108080 283220 | 2147483647 105540 41 | 0.011 % |
38.73/38.76 c | 105700 | 784 108080 283220 | 2147483647 105700 41 | 0.000 % |
38.83/38.87 c | 105877 | 784 108080 283220 | 2147483647 105877 41 | 0.000 % |
38.93/39.00 c | 106072 | 784 108080 283220 | 2147483647 106072 41 | 0.011 % |
39.13/39.13 c | 106285 | 784 108080 283220 | 2147483647 106285 41 | 0.000 % |
39.23/39.29 c | 106518 | 784 108080 283220 | 2147483647 106518 41 | 0.011 % |
39.43/39.43 c | 106775 | 784 108080 283220 | 2147483647 106775 41 | 0.000 % |
39.53/39.61 c | 107058 | 784 108080 283220 | 2147483647 107058 41 | 0.000 % |
39.83/39.83 c | 107367 | 784 108080 283220 | 2147483647 107367 42 | 0.000 % |
40.03/40.05 c | 107707 | 784 108080 283220 | 2147483647 107707 42 | 0.000 % |
40.23/40.28 c | 108080 | 784 108080 283220 | 2147483647 108080 42 | 0.011 % |
40.53/40.56 c | 108489 | 784 108080 283220 | 2147483647 108489 42 | 0.000 % |
40.83/40.88 c | 108943 | 784 108080 283220 | 2147483647 108943 42 | 0.010 % |
41.23/41.22 c | 109436 | 784 108080 283220 | 2147483647 109436 42 | 0.011 % |
41.63/41.64 c | 109979 | 784 108080 283220 | 2147483647 109979 41 | 0.010 % |
42.03/42.07 c | 110575 | 784 108080 283220 | 2147483647 110575 41 | 0.011 % |
42.53/42.53 c | 111231 | 784 108080 283220 | 2147483647 111231 42 | 0.000 % |
43.03/43.03 c | 111952 | 784 108080 283220 | 2147483647 111952 42 | 0.011 % |
43.53/43.61 c | 112745 | 784 108080 283220 | 2147483647 112745 42 | 0.011 % |
44.23/44.28 c | 113616 | 784 108080 283220 | 2147483647 113616 42 | 0.011 % |
44.93/44.99 c | 114576 | 784 108080 283220 | 2147483647 114576 41 | 0.011 % |
45.73/45.72 c | 115629 | 784 108080 283220 | 2147483647 115629 42 | 0.000 % |
46.53/46.57 c | 116788 | 784 108080 283220 | 2147483647 116788 42 | 0.000 % |
47.43/47.50 c | 118061 | 784 108080 283220 | 2147483647 118061 42 | 0.011 % |
47.53/47.57 c | 118161 | 784 108080 283220 | 2147483647 118161 42 | 0.000 % |
47.63/47.68 c | 118273 | 784 108080 283220 | 2147483647 118273 42 | 0.011 % |
47.73/47.75 c | 118395 | 784 108080 283220 | 2147483647 118395 42 | 0.011 % |
47.83/47.85 c | 118532 | 784 108080 283220 | 2147483647 118532 42 | 0.000 % |
47.93/47.97 c | 118679 | 784 108080 283220 | 2147483647 118679 42 | 0.000 % |
48.03/48.09 c | 118840 | 784 108080 283220 | 2147483647 118840 42 | 0.011 % |
48.13/48.22 c | 119016 | 784 108080 283220 | 2147483647 119016 42 | 0.011 % |
48.33/48.35 c | 119210 | 784 108080 283220 | 2147483647 119210 42 | 0.000 % |
48.43/48.47 c | 119423 | 784 108080 283220 | 2147483647 119423 42 | 0.011 % |
48.63/48.64 c | 119656 | 784 108080 283220 | 2147483647 119656 42 | 0.010 % |
48.73/48.80 c | 119912 | 784 108080 283220 | 2147483647 119912 42 | 0.011 % |
48.93/48.98 c | 120194 | 784 108080 283220 | 2147483647 120194 42 | 0.011 % |
49.13/49.21 c | 120505 | 784 108080 283220 | 2147483647 120505 42 | 0.010 % |
49.43/49.50 c | 120844 | 784 108080 283220 | 2147483647 120844 42 | 0.000 % |
49.83/49.83 c | 121216 | 784 108080 283220 | 2147483647 121216 42 | 0.011 % |
50.13/50.19 c | 121627 | 784 108080 283220 | 2147483647 121627 42 | 0.011 % |
50.63/50.63 c | 122078 | 784 108080 283220 | 2147483647 122078 42 | 0.011 % |
50.93/50.99 c | 122572 | 784 108080 283220 | 2147483647 122572 43 | 0.000 % |
51.43/51.48 c | 123116 | 784 108080 283220 | 2147483647 123116 43 | 0.000 % |
51.93/51.96 c | 123713 | 784 108080 283220 | 2147483647 123713 43 | 0.011 % |
52.43/52.50 c | 124368 | 784 108080 283220 | 2147483647 124368 43 | 0.010 % |
53.13/53.14 c | 125088 | 784 108080 283220 | 2147483647 125088 43 | 0.010 % |
53.73/53.76 c | 125883 | 784 108080 283220 | 2147483647 125883 43 | 0.000 % |
54.43/54.45 c | 126758 | 784 108080 283220 | 2147483647 126758 43 | 0.000 % |
55.23/55.26 c | 127721 | 784 108080 283220 | 2147483647 127721 43 | 0.011 % |
56.23/56.22 c | 128778 | 784 108080 283220 | 2147483647 128778 43 | 0.011 % |
57.03/57.07 c | 129936 | 784 108080 283220 | 2147483647 129936 43 | 0.011 % |
58.33/58.39 c | 131211 | 784 108080 283220 | 2147483647 131211 43 | 0.011 % |
59.53/59.62 c | 132611 | 784 108080 283220 | 2147483647 132611 43 | 0.011 % |
59.63/59.71 c | 132712 | 784 108080 283220 | 2147483647 132712 43 | 0.011 % |
59.73/59.79 c | 132823 | 784 108080 283220 | 2147483647 132823 43 | 0.011 % |
59.83/59.88 c | 132946 | 784 108080 283220 | 2147483647 132946 43 | 0.011 % |
59.93/60.00 c | 133081 | 784 108080 283220 | 2147483647 133081 43 | 0.011 % |
60.13/60.13 c | 133229 | 784 108080 283220 | 2147483647 133229 43 | 0.000 % |
60.23/60.25 c | 133389 | 784 108080 283220 | 2147483647 133389 43 | 0.000 % |
60.33/60.36 c | 133565 | 784 108080 283220 | 2147483647 133565 43 | 0.011 % |
60.43/60.50 c | 133759 | 784 108080 283220 | 2147483647 133759 43 | 0.000 % |
60.63/60.67 c | 133971 | 784 108080 283220 | 2147483647 133971 43 | 0.000 % |
60.83/60.88 c | 134204 | 784 108080 283220 | 2147483647 134204 43 | 0.011 % |
61.13/61.15 c | 134463 | 784 108080 283220 | 2147483647 134463 43 | 0.011 % |
61.33/61.39 c | 134745 | 784 108080 283220 | 2147483647 134745 43 | 0.011 % |
61.63/61.65 c | 135055 | 784 108080 283220 | 2147483647 135055 43 | 0.011 % |
61.93/61.94 c | 135398 | 784 108080 283220 | 2147483647 135398 43 | 0.000 % |
62.23/62.27 c | 135771 | 784 108080 283220 | 2147483647 135771 43 | 0.011 % |
62.63/62.66 c | 136183 | 784 108080 283220 | 2147483647 136183 43 | 0.011 % |
63.03/63.07 c | 136632 | 784 108080 283220 | 2147483647 136632 43 | 0.010 % |
63.43/63.51 c | 137128 | 784 108080 283220 | 2147483647 137128 43 | 0.010 % |
64.03/64.02 c | 137670 | 784 108080 283220 | 2147483647 137670 43 | 0.011 % |
64.43/64.50 c | 138267 | 784 108080 283220 | 2147483647 138267 43 | 0.011 % |
65.13/65.12 c | 138926 | 784 108080 283220 | 2147483647 138926 43 | 0.011 % |
65.83/65.89 c | 139646 | 784 108080 283220 | 2147483647 139646 43 | 0.011 % |
66.53/66.57 c | 140438 | 784 108080 283220 | 2147483647 140438 43 | 0.011 % |
67.33/67.33 c | 141309 | 784 108080 283220 | 2147483647 141309 43 | 0.011 % |
68.03/68.11 c | 142267 | 784 108080 283220 | 2147483647 142267 43 | 0.011 % |
69.03/69.04 c | 143320 | 784 108080 283220 | 2147483647 143320 43 | 0.012 % |
70.03/70.07 c | 144482 | 784 108080 283220 | 2147483647 144482 43 | 0.000 % |
71.33/71.36 c | 145758 | 784 108080 283220 | 2147483647 145758 43 | 0.011 % |
72.63/72.69 c | 147160 | 784 108080 283220 | 2147483647 147160 43 | 0.012 % |
74.23/74.30 c | 148701 | 784 108080 283220 | 2147483647 148701 43 | 0.012 % |
74.33/74.39 c | 148801 | 784 108080 283220 | 2147483647 148801 43 | 0.011 % |
74.53/74.52 c | 148911 | 784 108080 283220 | 2147483647 148911 43 | 0.011 % |
74.63/74.66 c | 149033 | 784 108080 283220 | 2147483647 149033 42 | 0.012 % |
74.83/74.82 c | 149166 | 784 108080 283220 | 2147483647 149166 43 | 0.000 % |
74.93/74.93 c | 149313 | 784 108080 283220 | 2147483647 149313 43 | 0.000 % |
75.03/75.09 c | 149477 | 784 108080 283220 | 2147483647 149477 43 | 0.010 % |
75.23/75.26 c | 149654 | 784 108080 283220 | 2147483647 149654 43 | 0.010 % |
75.43/75.46 c | 149848 | 784 108080 283220 | 2147483647 149848 42 | 0.010 % |
75.63/75.64 c | 150062 | 784 108080 283220 | 150000 150062 42 | 0.010 % |
75.93/76.01 c | 150302 | 784 108080 283220 | 150000 133093 43 | 0.000 % |
76.13/76.21 c | 150561 | 784 108080 283220 | 150000 133352 43 | 0.011 % |
76.43/76.46 c | 150843 | 784 108080 283220 | 150000 133634 43 | 0.000 % |
76.73/76.74 c | 151152 | 784 108080 283220 | 150000 133943 43 | 0.011 % |
77.03/77.04 c | 151492 | 784 108080 283220 | 150000 134283 43 | 0.011 % |
77.33/77.38 c | 151865 | 784 108080 283220 | 150000 134656 43 | 0.011 % |
77.73/77.76 c | 152276 | 784 108080 283220 | 150000 135067 43 | 0.010 % |
78.13/78.16 c | 152729 | 784 108080 283220 | 150000 135520 43 | 0.011 % |
78.53/78.60 c | 153222 | 784 108080 283220 | 150000 136013 43 | 0.011 % |
79.03/79.07 c | 153764 | 784 108080 283220 | 150000 136555 43 | 0.011 % |
79.53/79.58 c | 154364 | 784 108080 283220 | 150000 137155 42 | 0.011 % |
80.13/80.20 c | 155021 | 784 108080 283220 | 150000 137812 42 | 0.000 % |
80.73/80.81 c | 155743 | 784 108080 283220 | 150000 138534 43 | 0.000 % |
81.53/81.60 c | 156537 | 784 108080 283220 | 150000 139328 43 | 0.000 % |
82.33/82.42 c | 157410 | 784 108080 283220 | 150000 140201 43 | 0.000 % |
83.23/83.27 c | 158369 | 784 108080 283220 | 150000 141160 43 | 0.011 % |
84.23/84.29 c | 159422 | 784 108080 283220 | 150000 142213 43 | 0.011 % |
85.43/85.42 c | 160580 | 784 108080 283220 | 142793 127444 43 | 0.000 % |
86.43/86.48 c | 161853 | 784 108080 283220 | 142793 128717 43 | 0.000 % |
87.53/87.59 c | 163253 | 784 108080 283220 | 142793 130117 43 | 0.011 % |
88.83/88.90 c | 164794 | 784 108080 283220 | 142793 131658 43 | 0.000 % |
90.23/90.28 c | 166488 | 784 108080 283220 | 142793 133352 43 | 0.011 % |
90.33/90.38 c | 166590 | 784 108080 283220 | 142793 133454 43 | 0.011 % |
90.43/90.50 c | 166700 | 784 108080 283220 | 142793 133564 43 | 0.000 % |
90.53/90.61 c | 166821 | 784 108080 283220 | 142793 133685 43 | 0.000 % |
90.73/90.75 c | 166954 | 784 108080 283220 | 142793 133818 43 | 0.011 % |
90.83/90.91 c | 167100 | 784 108080 283220 | 142793 133964 43 | 0.011 % |
91.03/91.07 c | 167260 | 784 108080 283220 | 142793 134124 43 | 0.011 % |
91.23/91.26 c | 167443 | 784 108080 283220 | 142793 134307 43 | 0.011 % |
91.43/91.47 c | 167636 | 784 108080 283220 | 142793 134500 43 | 0.010 % |
91.63/91.69 c | 167854 | 784 108080 283220 | 142793 134718 43 | 0.000 % |
91.83/91.91 c | 168087 | 784 108080 283220 | 142793 134951 43 | 0.011 % |
92.13/92.16 c | 168346 | 784 108080 283220 | 142793 135210 43 | 0.000 % |
92.43/92.42 c | 168627 | 784 108080 283220 | 142793 135491 43 | 0.011 % |
92.73/92.74 c | 168939 | 784 108080 283220 | 142793 135803 43 | 0.011 % |
93.03/93.10 c | 169281 | 784 108080 283220 | 142793 136145 43 | 0.011 % |
93.43/93.42 c | 169653 | 784 108080 283220 | 142793 136517 43 | 0.011 % |
93.83/93.82 c | 170062 | 784 108080 283220 | 136867 136926 43 | 0.011 % |
94.33/94.38 c | 170511 | 784 108080 283220 | 136867 122447 44 | 0.000 % |
94.83/94.84 c | 171007 | 784 108080 283220 | 136867 122943 44 | 0.000 % |
95.23/95.29 c | 171550 | 784 108080 283220 | 136867 123486 44 | 0.000 % |
95.83/95.86 c | 172147 | 784 108080 283220 | 136867 124083 44 | 0.000 % |
96.43/96.42 c | 172803 | 784 108080 283220 | 136867 124739 44 | 0.011 % |
97.03/97.09 c | 173525 | 784 108080 283220 | 136867 125461 44 | 0.011 % |
97.73/97.73 c | 174322 | 784 108080 283220 | 136867 126258 44 | 0.000 % |
98.43/98.48 c | 175193 | 784 108080 283220 | 136867 127129 44 | 0.000 % |
99.23/99.27 c | 176152 | 784 108080 283220 | 136867 128088 45 | 0.011 % |
100.23/100.25 c | 177205 | 784 108080 283220 | 136867 129141 44 | 0.011 % |
101.33/101.34 c | 178365 | 784 108080 283220 | 136867 130301 44 | 0.011 % |
102.43/102.45 c | 179638 | 784 108080 283220 | 136867 131574 44 | 0.011 % |
103.93/103.92 c | 181038 | 784 108080 283220 | 131936 117437 44 | 0.011 % |
105.13/105.19 c | 182580 | 784 108080 283220 | 131936 118979 45 | 0.000 % |
106.74/106.78 c | 184275 | 784 108080 283220 | 131936 120674 46 | 0.000 % |
108.43/108.51 c | 186138 | 784 108080 283220 | 131936 122537 46 | 0.020 % |
108.53/108.60 c | 186239 | 784 108080 283220 | 131936 122638 46 | 0.000 % |
108.63/108.71 c | 186349 | 784 108080 283220 | 131936 122748 46 | 0.000 % |
108.83/108.82 c | 186471 | 784 108080 283220 | 131936 122870 46 | 0.010 % |
108.94/108.93 c | 186605 | 784 108080 283220 | 131936 123004 46 | 0.010 % |
109.03/109.08 c | 186751 | 784 108080 283220 | 131936 123150 46 | 0.010 % |
109.23/109.23 c | 186914 | 784 108080 283220 | 131936 123313 46 | 0.010 % |
109.33/109.40 c | 187092 | 784 108080 283220 | 131936 123491 46 | 0.010 % |
109.53/109.57 c | 187287 | 784 108080 283220 | 131936 123686 46 | 0.000 % |
109.73/109.80 c | 187499 | 784 108080 283220 | 131936 123898 46 | 0.011 % |
110.04/110.05 c | 187734 | 784 108080 283220 | 131936 124133 46 | 0.011 % |
110.23/110.28 c | 187990 | 784 108080 283220 | 131936 124389 46 | 0.011 % |
110.53/110.58 c | 188271 | 784 108080 283220 | 131936 124670 46 | 0.011 % |
110.83/110.91 c | 188580 | 784 108080 283220 | 131936 124979 46 | 0.011 % |
111.14/111.16 c | 188919 | 784 108080 283220 | 131936 125318 46 | 0.000 % |
111.53/111.56 c | 189293 | 784 108080 283220 | 131936 125692 46 | 0.000 % |
112.03/112.02 c | 189703 | 784 108080 283220 | 131936 126102 46 | 0.011 % |
112.43/112.48 c | 190155 | 784 108080 283220 | 126399 126554 46 | 0.011 % |
113.03/113.10 c | 190652 | 784 108080 283220 | 126399 111109 46 | 0.011 % |
113.63/113.71 c | 191197 | 784 108080 283220 | 126399 111654 46 | 0.011 % |
114.33/114.39 c | 191793 | 784 108080 283220 | 126399 112250 46 | 0.011 % |
115.03/115.07 c | 192448 | 784 108080 283220 | 126399 112905 46 | 0.011 % |
115.73/115.74 c | 193170 | 784 108080 283220 | 126399 113627 46 | 0.011 % |
116.43/116.42 c | 193962 | 784 108080 283220 | 126399 114419 46 | 0.011 % |
117.23/117.31 c | 194833 | 784 108080 283220 | 126399 115290 46 | 0.011 % |
118.13/118.17 c | 195793 | 784 108080 283220 | 126399 116250 46 | 0.011 % |
119.13/119.14 c | 196846 | 784 108080 283220 | 126399 117303 46 | 0.010 % |
120.23/120.22 c | 198004 | 784 108080 283220 | 126399 118461 46 | 0.010 % |
121.33/121.40 c | 199277 | 784 108080 283220 | 126399 119734 46 | 0.000 % |
122.63/122.68 c | 200679 | 784 108080 283220 | 120457 105380 45 | 0.012 % |
123.83/123.90 c | 202220 | 784 108080 283220 | 120457 106921 45 | 0.011 % |
125.44/125.43 c | 203914 | 784 108080 283220 | 120457 108615 45 | 0.011 % |
127.23/127.27 c | 205778 | 784 108080 283220 | 120457 110479 45 | 0.011 % |
129.43/129.43 c | 207829 | 784 108080 283220 | 120457 112530 45 | 0.011 % |
129.53/129.52 c | 207932 | 784 108080 283220 | 120457 112633 45 | 0.011 % |
129.63/129.65 c | 208043 | 784 108080 283220 | 120457 112744 45 | 0.011 % |
129.73/129.79 c | 208164 | 784 108080 283220 | 120457 112865 45 | 0.000 % |
129.93/129.93 c | 208299 | 784 108080 283220 | 120457 113000 45 | 0.011 % |
130.03/130.05 c | 208446 | 784 108080 283220 | 120457 113147 45 | 0.011 % |
130.23/130.22 c | 208607 | 784 108080 283220 | 120457 113308 45 | 0.011 % |
130.43/130.42 c | 208783 | 784 108080 283220 | 120457 113484 45 | 0.012 % |
130.63/130.62 c | 208978 | 784 108080 283220 | 120457 113679 45 | 0.012 % |
130.83/130.87 c | 209191 | 784 108080 283220 | 120457 113892 45 | 0.011 % |
131.03/131.10 c | 209424 | 784 108080 283220 | 120457 114125 45 | 0.011 % |
131.33/131.34 c | 209686 | 784 108080 283220 | 120457 114387 45 | 0.011 % |
131.53/131.57 c | 209967 | 784 108080 283220 | 120457 114668 45 | 0.000 % |
131.83/131.85 c | 210279 | 784 108080 283220 | 114703 114980 45 | 0.011 % |
132.23/132.23 c | 210619 | 784 108080 283220 | 114703 100727 44 | 0.011 % |
132.53/132.53 c | 210991 | 784 108080 283220 | 114703 101099 44 | 0.000 % |
132.83/132.88 c | 211400 | 784 108080 283220 | 114703 101508 44 | 0.011 % |
133.14/133.19 c | 211849 | 784 108080 283220 | 114703 101957 44 | 0.011 % |
133.63/133.63 c | 212347 | 784 108080 283220 | 114703 102455 44 | 0.011 % |
134.03/134.11 c | 212889 | 784 108080 283220 | 114703 102997 44 | 0.011 % |
134.63/134.67 c | 213485 | 784 108080 283220 | 114703 103593 44 | 0.011 % |
135.13/135.17 c | 214141 | 784 108080 283220 | 114703 104249 44 | 0.011 % |
135.73/135.80 c | 214861 | 784 108080 283220 | 114703 104969 43 | 0.010 % |
136.33/136.37 c | 215655 | 784 108080 283220 | 114703 105763 43 | 0.010 % |
136.93/137.01 c | 216530 | 784 108080 283220 | 114703 106638 43 | 0.010 % |
137.73/137.74 c | 217488 | 784 108080 283220 | 114703 107596 44 | 0.000 % |
138.64/138.70 c | 218541 | 784 108080 283220 | 114703 108649 44 | 0.011 % |
139.63/139.67 c | 219699 | 784 108080 283220 | 114703 109807 45 | 0.000 % |
140.73/140.82 c | 220972 | 784 108080 283220 | 2147483647 111080 45 | 0.011 % |
142.23/142.24 c | 222376 | 784 108080 283220 | 2147483647 112484 45 | 0.011 % |
143.73/143.73 c | 223916 | 784 108080 283220 | 2147483647 114024 44 | 0.011 % |
145.24/145.28 c | 225611 | 784 108080 283220 | 2147483647 115719 44 | 0.011 % |
147.04/147.10 c | 227474 | 784 108080 283220 | 2147483647 117582 44 | 0.011 % |
149.14/149.14 c | 229524 | 784 108080 283220 | 2147483647 119632 44 | 0.011 % |
151.24/151.25 c | 231777 | 784 108080 283220 | 120109 107281 44 | 0.000 % |
151.34/151.33 c | 231877 | 784 108080 283220 | 120109 107381 44 | 0.000 % |
151.44/151.45 c | 231988 | 784 108080 283220 | 120109 107492 44 | 0.011 % |
151.54/151.60 c | 232109 | 784 108080 283220 | 120109 107613 44 | 0.011 % |
151.74/151.76 c | 232242 | 784 108080 283220 | 120109 107746 44 | 0.011 % |
151.84/151.87 c | 232388 | 784 108080 283220 | 120109 107892 44 | 0.011 % |
151.94/152.00 c | 232550 | 784 108080 283220 | 120109 108054 44 | 0.011 % |
152.14/152.17 c | 232726 | 784 108080 283220 | 120109 108230 44 | 0.000 % |
152.24/152.30 c | 232922 | 784 108080 283220 | 120109 108426 44 | 0.000 % |
152.54/152.52 c | 233140 | 784 108080 283220 | 120109 108644 44 | 0.010 % |
152.74/152.73 c | 233373 | 784 108080 283220 | 120109 108877 44 | 0.000 % |
152.94/152.97 c | 233631 | 784 108080 283220 | 120109 109135 44 | 0.010 % |
153.24/153.24 c | 233913 | 784 108080 283220 | 120109 109417 44 | 0.010 % |
153.54/153.53 c | 234223 | 784 108080 283220 | 120109 109727 44 | 0.011 % |
153.84/153.89 c | 234562 | 784 108080 283220 | 120109 110066 44 | 0.011 % |
154.14/154.22 c | 234938 | 784 108080 283220 | 120109 110442 44 | 0.000 % |
154.54/154.58 c | 235351 | 784 108080 283220 | 120109 110855 44 | 0.011 % |
154.94/154.95 c | 235800 | 784 108080 283220 | 120109 111304 44 | 0.011 % |
155.34/155.42 c | 236293 | 784 108080 283220 | 120109 111797 44 | 0.011 % |
155.84/155.87 c | 236835 | 784 108080 283220 | 120109 112339 44 | 0.011 % |
156.34/156.41 c | 237433 | 784 108080 283220 | 120109 112937 44 | 0.011 % |
156.94/156.98 c | 238088 | 784 108080 283220 | 120109 113592 44 | 0.011 % |
157.54/157.57 c | 238810 | 784 108080 283220 | 120109 114314 44 | 0.000 % |
158.24/158.27 c | 239602 | 784 108080 283220 | 120109 115106 44 | 0.011 % |
159.14/159.12 c | 240473 | 784 108080 283220 | 115505 101741 45 | 0.011 % |
159.84/159.87 c | 241432 | 784 108080 283220 | 115505 102700 45 | 0.011 % |
160.84/160.83 c | 242485 | 784 108080 283220 | 115505 103753 45 | 0.011 % |
161.94/162.01 c | 243645 | 784 108080 283220 | 115505 104913 45 | 0.011 % |
163.34/163.34 c | 244919 | 784 108080 283220 | 115505 106187 45 | 0.011 % |
164.84/164.85 c | 246319 | 784 108080 283220 | 115505 107587 45 | 0.011 % |
166.34/166.33 c | 247862 | 784 108080 283220 | 115505 109130 45 | 0.012 % |
168.04/168.09 c | 249560 | 784 108080 283220 | 115505 110828 44 | 0.012 % |
169.74/169.73 c | 251424 | 784 108080 283220 | 111270 98343 45 | 0.000 % |
171.74/171.73 c | 253473 | 784 108080 283220 | 111270 100392 45 | 0.011 % |
173.94/173.96 c | 255726 | 784 108080 283220 | 111270 102645 45 | 0.012 % |
176.24/176.29 c | 258204 | 784 108080 283220 | 111270 105123 45 | 0.000 % |
176.34/176.40 c | 258305 | 784 108080 283220 | 111270 105224 45 | 0.012 % |
176.44/176.50 c | 258416 | 784 108080 283220 | 111270 105335 45 | 0.010 % |
176.64/176.64 c | 258537 | 784 108080 283220 | 111270 105456 45 | 0.010 % |
176.74/176.74 c | 258672 | 784 108080 283220 | 111270 105591 45 | 0.000 % |
176.84/176.88 c | 258821 | 784 108080 283220 | 111270 105740 45 | 0.011 % |
176.94/177.02 c | 258983 | 784 108080 283220 | 111270 105902 45 | 0.011 % |
177.14/177.21 c | 259160 | 784 108080 283220 | 111270 106079 45 | 0.011 % |
177.34/177.39 c | 259358 | 784 108080 283220 | 111270 106277 45 | 0.011 % |
177.54/177.57 c | 259571 | 784 108080 283220 | 111270 106490 45 | 0.011 % |
177.74/177.79 c | 259808 | 784 108080 283220 | 111270 106727 45 | 0.000 % |
178.04/178.07 c | 260069 | 784 108080 283220 | 106919 106988 45 | 0.011 % |
178.34/178.39 c | 260351 | 784 108080 283220 | 106919 93638 45 | 0.000 % |
178.64/178.65 c | 260662 | 784 108080 283220 | 106919 93949 45 | 0.000 % |
178.94/178.95 c | 261004 | 784 108080 283220 | 106919 94291 45 | 0.000 % |
179.24/179.32 c | 261378 | 784 108080 283220 | 106919 94665 45 | 0.000 % |
179.74/179.73 c | 261787 | 784 108080 283220 | 106919 95074 45 | 0.011 % |
180.14/180.13 c | 262237 | 784 108080 283220 | 106919 95524 45 | 0.011 % |
180.44/180.51 c | 262733 | 784 108080 283220 | 106919 96020 45 | 0.011 % |
180.94/181.00 c | 263275 | 784 108080 283220 | 106919 96562 45 | 0.011 % |
181.44/181.48 c | 263872 | 784 108080 283220 | 106919 97159 45 | 0.011 % |
182.04/182.06 c | 264527 | 784 108080 283220 | 106919 97814 45 | 0.011 % |
182.74/182.75 c | 265248 | 784 108080 283220 | 106919 98535 45 | 0.000 % |
183.54/183.52 c | 266040 | 784 108080 283220 | 106919 99327 45 | 0.000 % |
184.34/184.35 c | 266914 | 784 108080 283220 | 106919 100201 46 | 0.000 % |
185.24/185.30 c | 267873 | 784 108080 283220 | 106919 101160 46 | 0.000 % |
186.43/186.41 c | 268926 | 784 108080 283220 | 106919 102213 46 | 0.011 % |
187.63/187.67 c | 270086 | 784 108080 283220 | 103288 103373 45 | 0.011 % |
188.83/188.84 c | 271360 | 784 108080 283220 | 103288 92723 45 | 0.000 % |
190.13/190.18 c | 272762 | 784 108080 283220 | 103288 94125 45 | 0.000 % |
191.63/191.65 c | 274302 | 784 108080 283220 | 103288 95665 44 | 0.011 % |
193.23/193.29 c | 275998 | 784 108080 283220 | 103288 97361 44 | 0.011 % |
195.03/195.11 c | 277861 | 784 108080 283220 | 103288 99224 44 | 0.011 % |
196.83/196.90 c | 279911 | 784 108080 283220 | 103288 101274 44 | 0.011 % |
199.03/199.06 c | 282167 | 784 108080 283220 | 101365 91631 44 | 0.011 % |
201.53/201.51 c | 284645 | 784 108080 283220 | 101365 94109 44 | 0.000 % |
204.13/204.21 c | 287371 | 784 108080 283220 | 101365 96835 44 | 0.011 % |
204.23/204.30 c | 287472 | 784 108080 283220 | 101365 96936 44 | 0.000 % |
204.43/204.42 c | 287583 | 784 108080 283220 | 101365 97047 44 | 0.011 % |
204.53/204.56 c | 287705 | 784 108080 283220 | 101365 97169 44 | 0.000 % |
204.63/204.67 c | 287838 | 784 108080 283220 | 101365 97302 44 | 0.011 % |
204.83/204.82 c | 287985 | 784 108080 283220 | 101365 97449 44 | 0.011 % |
204.93/204.97 c | 288148 | 784 108080 283220 | 101365 97612 44 | 0.001 % |
205.13/205.12 c | 288326 | 784 108080 283220 | 101365 97790 44 | 0.011 % |
205.23/205.30 c | 288519 | 784 108080 283220 | 101365 97983 44 | 0.012 % |
205.53/205.53 c | 288733 | 784 108080 283220 | 101365 98197 44 | 0.000 % |
205.73/205.73 c | 288967 | 784 108080 283220 | 101365 98431 44 | 0.000 % |
205.93/205.97 c | 289223 | 784 108080 283220 | 101365 98687 44 | 0.011 % |
206.23/206.24 c | 289510 | 784 108080 283220 | 101365 98974 44 | 0.011 % |
206.53/206.53 c | 289819 | 784 108080 283220 | 101365 99283 44 | 0.000 % |
206.83/206.82 c | 290158 | 784 108080 283220 | 99465 99622 44 | 0.012 % |
207.23/207.25 c | 290531 | 784 108080 283220 | 99465 86413 44 | 0.000 % |
207.53/207.60 c | 290943 | 784 108080 283220 | 99465 86825 44 | 0.000 % |
207.93/207.93 c | 291392 | 784 108080 283220 | 99465 87274 44 | 0.000 % |
208.33/208.33 c | 291885 | 784 108080 283220 | 99465 87767 44 | 0.010 % |
208.73/208.80 c | 292428 | 784 108080 283220 | 99465 88310 44 | 0.011 % |
209.33/209.33 c | 293024 | 784 108080 283220 | 99465 88906 44 | 0.010 % |
209.83/209.88 c | 293679 | 784 108080 283220 | 99465 89561 45 | 0.000 % |
210.43/210.51 c | 294399 | 784 108080 283220 | 99465 90281 45 | 0.000 % |
211.23/211.29 c | 295193 | 784 108080 283220 | 99465 91075 45 | 0.011 % |
211.93/211.97 c | 296069 | 784 108080 283220 | 99465 91951 45 | 0.011 % |
212.63/212.67 c | 297028 | 784 108080 283220 | 99465 92910 46 | 0.000 % |
213.63/213.63 c | 298082 | 784 108080 283220 | 99465 93964 46 | 0.000 % |
214.54/214.59 c | 299240 | 784 108080 283220 | 99465 95122 47 | 0.000 % |
215.83/215.82 c | 300513 | 784 108080 283220 | 95882 84817 47 | 0.000 % |
217.23/217.21 c | 301914 | 784 108080 283220 | 95882 86218 48 | 0.000 % |
218.94/218.98 c | 303454 | 784 108080 283220 | 95882 87758 48 | 0.012 % |
221.03/221.05 c | 305150 | 784 108080 283220 | 95882 89454 48 | 0.012 % |
223.13/223.18 c | 307015 | 784 108080 283220 | 95882 91319 47 | 0.011 % |
225.03/225.07 c | 309066 | 784 108080 283220 | 95882 93370 48 | 0.000 % |
227.43/227.45 c | 311319 | 784 108080 283220 | 94305 81846 49 | 0.000 % |
229.83/229.87 c | 313797 | 784 108080 283220 | 94305 84324 49 | 0.000 % |
232.53/232.53 c | 316523 | 784 108080 283220 | 94305 87050 49 | 0.011 % |
235.44/235.47 c | 319522 | 784 108080 283220 | 94305 90049 50 | 0.000 % |
235.53/235.59 c | 319625 | 784 108080 283220 | 94305 90152 50 | 0.000 % |
235.63/235.68 c | 319736 | 784 108080 283220 | 94305 90263 50 | 0.011 % |
235.73/235.80 c | 319857 | 784 108080 283220 | 94305 90384 50 | 0.011 % |
235.93/235.95 c | 319991 | 784 108080 283220 | 94305 90518 50 | 0.011 % |
236.13/236.13 c | 320137 | 784 108080 283220 | 90527 90664 50 | 0.012 % |
236.43/236.44 c | 320297 | 784 108080 283220 | 90527 78211 51 | 0.012 % |
236.63/236.62 c | 320473 | 784 108080 283220 | 90527 78387 51 | 0.012 % |
236.73/236.80 c | 320668 | 784 108080 283220 | 90527 78582 51 | 0.000 % |
237.03/237.05 c | 320883 | 784 108080 283220 | 90527 78797 51 | 0.011 % |
237.23/237.26 c | 321119 | 784 108080 283220 | 90527 79033 50 | 0.012 % |
237.53/237.51 c | 321377 | 784 108080 283220 | 90527 79291 50 | 0.012 % |
237.83/237.82 c | 321658 | 784 108080 283220 | 90527 79572 50 | 0.012 % |
238.13/238.12 c | 321968 | 784 108080 283220 | 90527 79882 50 | 0.011 % |
238.53/238.52 c | 322307 | 784 108080 283220 | 90527 80221 50 | 0.011 % |
238.93/238.96 c | 322681 | 784 108080 283220 | 90527 80595 50 | 0.011 % |
239.33/239.41 c | 323092 | 784 108080 283220 | 90527 81006 50 | 0.011 % |
239.84/239.86 c | 323545 | 784 108080 283220 | 90527 81459 50 | 0.000 % |
240.23/240.27 c | 324038 | 784 108080 283220 | 90527 81952 51 | 0.000 % |
240.73/240.78 c | 324582 | 784 108080 283220 | 90527 82496 51 | 0.000 % |
241.33/241.37 c | 325178 | 784 108080 283220 | 90527 83092 51 | 0.000 % |
242.04/242.06 c | 325834 | 784 108080 283220 | 90527 83748 51 | 0.000 % |
242.73/242.79 c | 326554 | 784 108080 283220 | 90527 84468 51 | 0.011 % |
243.63/243.66 c | 327347 | 784 108080 283220 | 90527 85261 52 | 0.000 % |
244.53/244.58 c | 328219 | 784 108080 283220 | 90527 86133 52 | 0.011 % |
245.53/245.58 c | 329177 | 784 108080 283220 | 90527 87091 51 | 0.011 % |
246.63/246.62 c | 330230 | 784 108080 283220 | 87914 88144 51 | 0.011 % |
247.73/247.78 c | 331396 | 784 108080 283220 | 87914 76343 51 | 0.011 % |
248.93/249.00 c | 332669 | 784 108080 283220 | 87914 77616 50 | 0.012 % |
250.23/250.27 c | 334071 | 784 108080 283220 | 87914 79018 50 | 0.011 % |
251.73/251.77 c | 335611 | 784 108080 283220 | 87914 80558 51 | 0.000 % |
253.53/253.52 c | 337308 | 784 108080 283220 | 87914 82255 51 | 0.000 % |
255.32/255.38 c | 339171 | 784 108080 283220 | 87914 84118 51 | 0.011 % |
257.72/257.71 c | 341220 | 784 108080 283220 | 84948 73715 52 | 0.011 % |
259.83/259.90 c | 343473 | 784 108080 283220 | 84948 75968 52 | 0.011 % |
262.73/262.79 c | 345954 | 784 108080 283220 | 84948 78449 52 | 0.000 % |
265.63/265.61 c | 348682 | 784 108080 283220 | 84948 81177 51 | 0.011 % |
268.83/268.83 c | 351681 | 784 108080 283220 | 82495 70095 52 | 0.011 % |
272.13/272.18 c | 354977 | 784 108080 283220 | 82495 73391 51 | 0.011 % |
272.33/272.32 c | 355077 | 784 108080 283220 | 82495 73491 51 | 0.011 % |
272.43/272.44 c | 355187 | 784 108080 283220 | 82495 73601 51 | 0.000 % |
272.53/272.56 c | 355308 | 784 108080 283220 | 82495 73722 51 | 0.011 % |
272.63/272.69 c | 355441 | 784 108080 283220 | 82495 73855 51 | 0.011 % |
272.73/272.79 c | 355588 | 784 108080 283220 | 82495 74002 51 | 0.000 % |
272.93/272.93 c | 355749 | 784 108080 283220 | 82495 74163 52 | 0.000 % |
273.03/273.10 c | 355926 | 784 108080 283220 | 82495 74340 52 | 0.000 % |
273.23/273.28 c | 356121 | 784 108080 283220 | 82495 74535 52 | 0.011 % |
273.53/273.52 c | 356338 | 784 108080 283220 | 82495 74752 51 | 0.012 % |
273.73/273.77 c | 356572 | 784 108080 283220 | 82495 74986 51 | 0.011 % |
274.03/274.05 c | 356829 | 784 108080 283220 | 82495 75243 51 | 0.000 % |
274.33/274.31 c | 357110 | 784 108080 283220 | 82495 75524 51 | 0.011 % |
274.53/274.57 c | 357421 | 784 108080 283220 | 82495 75835 51 | 0.011 % |
274.83/274.89 c | 357761 | 784 108080 283220 | 82495 76175 51 | 0.011 % |
275.13/275.20 c | 358139 | 784 108080 283220 | 82495 76553 51 | 0.011 % |
275.63/275.61 c | 358548 | 784 108080 283220 | 82495 76962 51 | 0.011 % |
276.03/276.07 c | 359000 | 784 108080 283220 | 82495 77414 51 | 0.000 % |
276.43/276.50 c | 359494 | 784 108080 283220 | 82495 77908 52 | 0.000 % |
277.03/277.07 c | 360040 | 784 108080 283220 | 78417 78454 52 | 0.011 % |
277.63/277.70 c | 360637 | 784 108080 283220 | 78417 67117 49 | 0.000 % |
278.23/278.29 c | 361293 | 784 108080 283220 | 78417 67773 49 | 0.011 % |
278.93/278.95 c | 362014 | 784 108080 283220 | 78417 68494 49 | 0.011 % |
279.53/279.60 c | 362808 | 784 108080 283220 | 78417 69288 50 | 0.000 % |
280.33/280.34 c | 363681 | 784 108080 283220 | 78417 70161 50 | 0.000 % |
281.23/281.23 c | 364640 | 784 108080 283220 | 78417 71120 50 | 0.011 % |
282.13/282.12 c | 365694 | 784 108080 283220 | 78417 72174 50 | 0.011 % |
283.13/283.18 c | 366853 | 784 108080 283220 | 78417 73333 50 | 0.011 % |
284.13/284.17 c | 368127 | 784 108080 283220 | 78417 74607 50 | 0.010 % |
285.43/285.49 c | 369527 | 784 108080 283220 | 78417 76007 50 | 0.011 % |
286.93/287.01 c | 371069 | 784 108080 283220 | 76481 67782 48 | 0.000 % |
288.23/288.28 c | 372767 | 784 108080 283220 | 76481 69480 49 | 0.000 % |
289.83/289.81 c | 374633 | 784 108080 283220 | 76481 71346 49 | 0.011 % |
291.63/291.69 c | 376682 | 784 108080 283220 | 76481 73395 49 | 0.000 % |
293.83/293.84 c | 378936 | 784 108080 283220 | 76481 75649 48 | 0.011 % |
296.13/296.18 c | 381417 | 784 108080 283220 | 76715 68030 46 | 0.011 % |
298.33/298.38 c | 384142 | 784 108080 283220 | 76715 70755 46 | 0.000 % |
301.03/301.05 c | 387141 | 784 108080 283220 | 76715 73754 46 | 0.011 % |
304.23/304.25 c | 390441 | 784 108080 283220 | 76613 77054 45 | 0.011 % |
307.43/307.48 c | 394066 | 784 108080 283220 | 76613 70474 44 | 0.011 % |
307.53/307.57 c | 394168 | 784 108080 283220 | 76613 70576 44 | 0.000 % |
307.63/307.68 c | 394280 | 784 108080 283220 | 76613 70688 44 | 0.011 % |
307.73/307.79 c | 394401 | 784 108080 283220 | 76613 70809 44 | 0.011 % |
307.93/307.92 c | 394535 | 784 108080 283220 | 76613 70943 44 | 0.011 % |
308.03/308.05 c | 394681 | 784 108080 283220 | 76613 71089 45 | 0.000 % |
308.23/308.23 c | 394842 | 784 108080 283220 | 76613 71250 45 | 0.000 % |
308.33/308.38 c | 395020 | 784 108080 283220 | 76613 71428 45 | 0.011 % |
308.53/308.54 c | 395213 | 784 108080 283220 | 76613 71621 45 | 0.000 % |
308.73/308.72 c | 395425 | 784 108080 283220 | 76613 71833 45 | 0.011 % |
308.93/308.93 c | 395659 | 784 108080 283220 | 76613 72067 45 | 0.011 % |
309.13/309.14 c | 395917 | 784 108080 283220 | 76613 72325 45 | 0.011 % |
309.33/309.35 c | 396199 | 784 108080 283220 | 76613 72607 45 | 0.011 % |
309.53/309.60 c | 396509 | 784 108080 283220 | 76613 72917 44 | 0.011 % |
309.83/309.88 c | 396850 | 784 108080 283220 | 76613 73258 45 | 0.000 % |
310.23/310.30 c | 397222 | 784 108080 283220 | 76613 73630 45 | 0.000 % |
310.73/310.71 c | 397631 | 784 108080 283220 | 76613 74039 45 | 0.011 % |
311.13/311.13 c | 398081 | 784 108080 283220 | 76613 74489 45 | 0.011 % |
311.43/311.48 c | 398575 | 784 108080 283220 | 76613 74983 45 | 0.000 % |
311.93/311.98 c | 399119 | 784 108080 283220 | 76613 75527 46 | 0.000 % |
312.63/312.67 c | 399716 | 784 108080 283220 | 76613 76124 45 | 0.011 % |
313.33/313.39 c | 400371 | 784 108080 283220 | 76409 67228 45 | 0.011 % |
313.93/313.99 c | 401092 | 784 108080 283220 | 76409 67949 45 | 0.011 % |
314.73/314.72 c | 401886 | 784 108080 283220 | 76409 68743 46 | 0.000 % |
315.53/315.52 c | 402757 | 784 108080 283220 | 76409 69614 46 | 0.000 % |
316.53/316.52 c | 403716 | 784 108080 283220 | 76409 70573 46 | 0.011 % |
317.43/317.45 c | 404774 | 784 108080 283220 | 76409 71631 46 | 0.011 % |
318.53/318.55 c | 405934 | 784 108080 283220 | 76409 72791 46 | 0.011 % |
319.83/319.84 c | 407207 | 784 108080 283220 | 76409 74064 46 | 0.011 % |
321.13/321.17 c | 408612 | 784 108080 283220 | 76409 75469 46 | 0.011 % |
322.63/322.61 c | 410153 | 784 108080 283220 | 67809 67961 46 | 0.011 % |
324.13/324.13 c | 411850 | 784 108080 283220 | 67809 61541 44 | 0.011 % |
325.83/325.82 c | 413714 | 784 108080 283220 | 67809 63405 44 | 0.011 % |
327.73/327.76 c | 415766 | 784 108080 283220 | 67809 65457 43 | 0.011 % |
329.83/329.84 c | 418020 | 784 108080 283220 | 67809 67711 43 | 0.011 % |
331.83/331.82 c | 420501 | 784 108080 283220 | 61337 54627 42 | 0.000 % |
334.03/334.01 c | 423226 | 784 108080 283220 | 61337 57352 45 | 0.000 % |
336.33/336.40 c | 426223 | 784 108080 283220 | 61337 60349 45 | 0.011 % |
339.33/339.38 c | 429520 | 784 108080 283220 | 61337 57483 46 | 0.000 % |
342.23/342.27 c | 433146 | 784 108080 283220 | 2147483647 61109 48 | 0.000 % |
345.63/345.68 c | 437134 | 784 108080 283220 | 2147483647 65097 48 | 0.000 % |
345.73/345.75 c | 437237 | 784 108080 283220 | 2147483647 65200 48 | 0.011 % |
345.83/345.86 c | 437350 | 784 108080 283220 | 2147483647 65313 48 | 0.011 % |
345.93/346.00 c | 437472 | 784 108080 283220 | 2147483647 65435 48 | 0.011 % |
346.13/346.12 c | 437605 | 784 108080 283220 | 2147483647 65568 48 | 0.011 % |
346.23/346.27 c | 437755 | 784 108080 283220 | 2147483647 65718 48 | 0.011 % |
346.43/346.43 c | 437915 | 784 108080 283220 | 2147483647 65878 48 | 0.011 % |
346.63/346.63 c | 438093 | 784 108080 283220 | 2147483647 66056 48 | 0.011 % |
346.83/346.83 c | 438286 | 784 108080 283220 | 2147483647 66249 48 | 0.000 % |
346.93/347.00 c | 438498 | 784 108080 283220 | 2147483647 66461 48 | 0.012 % |
347.13/347.18 c | 438731 | 784 108080 283220 | 2147483647 66694 48 | 0.012 % |
347.43/347.41 c | 438988 | 784 108080 283220 | 2147483647 66951 48 | 0.012 % |
347.64/347.64 c | 439269 | 784 108080 283220 | 2147483647 67232 48 | 0.011 % |
347.93/347.95 c | 439578 | 784 108080 283220 | 2147483647 67541 48 | 0.012 % |
348.23/348.27 c | 439920 | 784 108080 283220 | 2147483647 67883 48 | 0.000 % |
348.63/348.70 c | 440292 | 784 108080 283220 | 67964 60733 49 | 0.000 % |
349.13/349.12 c | 440701 | 784 108080 283220 | 67964 61142 49 | 0.011 % |
349.63/349.63 c | 441151 | 784 108080 283220 | 67964 61592 49 | 0.011 % |
350.13/350.16 c | 441644 | 784 108080 283220 | 67964 62085 48 | 0.011 % |
350.63/350.67 c | 442186 | 784 108080 283220 | 67964 62627 48 | 0.011 % |
351.23/351.22 c | 442785 | 784 108080 283220 | 67964 63226 48 | 0.011 % |
351.83/351.83 c | 443440 | 784 108080 283220 | 67964 63881 48 | 0.011 % |
352.43/352.49 c | 444161 | 784 108080 283220 | 67964 64602 48 | 0.011 % |
353.23/353.26 c | 444953 | 784 108080 283220 | 67964 65394 48 | 0.011 % |
354.03/354.03 c | 445824 | 784 108080 283220 | 67964 66265 48 | 0.011 % |
354.83/354.89 c | 446783 | 784 108080 283220 | 67964 67224 48 | 0.011 % |
355.93/355.94 c | 447840 | 784 108080 283220 | 67964 68281 48 | 0.000 % |
357.13/357.17 c | 448998 | 784 108080 283220 | 67964 61695 46 | 0.011 % |
358.33/358.38 c | 450271 | 784 108080 283220 | 62700 62968 46 | 0.011 % |
359.63/359.66 c | 451675 | 784 108080 283220 | 62700 57267 46 | 0.011 % |
361.03/361.02 c | 453219 | 784 108080 283220 | 62700 58811 46 | 0.011 % |
362.63/362.62 c | 454914 | 784 108080 283220 | 62700 60506 46 | 0.011 % |
364.63/364.65 c | 456780 | 784 108080 283220 | 62700 62372 45 | 0.011 % |
366.34/366.40 c | 458829 | 784 108080 283220 | 62700 57397 46 | 0.011 % |
368.43/368.43 c | 461082 | 784 108080 283220 | 58568 53389 41 | 0.011 % |
370.43/370.40 c | 463563 | 784 108080 283220 | 58568 55870 43 | 0.000 % |
372.54/372.55 c | 466289 | 784 108080 283220 | 58568 58596 45 | 0.000 % |
374.84/374.89 c | 469289 | 784 108080 283220 | 58568 55737 44 | 0.012 % |
377.44/377.46 c | 472587 | 784 108080 283220 | 2147483647 59035 44 | 0.012 % |
380.54/380.58 c | 476213 | 784 108080 283220 | 2147483647 62661 48 | 0.000 % |
384.14/384.15 c | 480200 | 784 108080 283220 | 2147483647 66648 48 | 0.011 % |
388.74/388.76 c | 484585 | 784 108080 283220 | 2147483647 71033 48 | 0.012 % |
388.84/388.87 c | 484685 | 784 108080 283220 | 2147483647 71133 48 | 0.000 % |
388.94/388.98 c | 484797 | 784 108080 283220 | 2147483647 71245 48 | 0.000 % |
389.14/389.11 c | 484921 | 784 108080 283220 | 2147483647 71369 48 | 0.012 % |
389.24/389.24 c | 485054 | 784 108080 283220 | 2147483647 71502 48 | 0.012 % |
389.34/389.36 c | 485202 | 784 108080 283220 | 2147483647 71650 48 | 0.000 % |
389.54/389.52 c | 485370 | 784 108080 283220 | 2147483647 71818 48 | 0.000 % |
389.74/389.74 c | 485547 | 784 108080 283220 | 2147483647 71995 48 | 0.011 % |
389.94/389.92 c | 485742 | 784 108080 283220 | 2147483647 72190 48 | 0.000 % |
390.14/390.13 c | 485958 | 784 108080 283220 | 2147483647 72406 48 | 0.000 % |
390.34/390.35 c | 486192 | 784 108080 283220 | 2147483647 72640 48 | 0.011 % |
390.64/390.66 c | 486448 | 784 108080 283220 | 2147483647 72896 48 | 0.011 % |
390.94/390.98 c | 486731 | 784 108080 283220 | 2147483647 73179 48 | 0.011 % |
391.24/391.25 c | 487040 | 784 108080 283220 | 2147483647 73488 48 | 0.011 % |
391.54/391.56 c | 487379 | 784 108080 283220 | 2147483647 73827 48 | 0.000 % |
391.94/391.95 c | 487754 | 784 108080 283220 | 2147483647 74202 48 | 0.000 % |
392.34/392.40 c | 488167 | 784 108080 283220 | 2147483647 74615 48 | 0.011 % |
392.84/392.86 c | 488618 | 784 108080 283220 | 2147483647 75066 48 | 0.011 % |
393.34/393.41 c | 489112 | 784 108080 283220 | 2147483647 75560 48 | 0.000 % |
393.94/393.97 c | 489654 | 784 108080 283220 | 2147483647 76102 48 | 0.011 % |
394.54/394.57 c | 490250 | 784 108080 283220 | 76449 76698 48 | 0.011 % |
395.24/395.21 c | 490905 | 784 108080 283220 | 76449 67108 45 | 0.011 % |
395.84/395.84 c | 491626 | 784 108080 283220 | 76449 67829 45 | 0.011 % |
396.54/396.59 c | 492422 | 784 108080 283220 | 76449 68625 45 | 0.011 % |
397.34/397.36 c | 493293 | 784 108080 283220 | 76449 69496 45 | 0.011 % |
398.24/398.29 c | 494253 | 784 108080 283220 | 76449 70456 45 | 0.011 % |
399.34/399.32 c | 495308 | 784 108080 283220 | 76449 71511 45 | 0.011 % |
400.24/400.31 c | 496467 | 784 108080 283220 | 76449 72670 45 | 0.011 % |
401.54/401.59 c | 497744 | 784 108080 283220 | 76449 73947 45 | 0.011 % |
403.14/403.12 c | 499145 | 784 108080 283220 | 76449 75348 45 | 0.011 % |
404.84/404.89 c | 500685 | 784 108080 283220 | 76204 66250 45 | 0.011 % |
406.24/406.24 c | 502383 | 784 108080 283220 | 76204 67948 45 | 0.011 % |
407.94/407.93 c | 504246 | 784 108080 283220 | 76204 69811 45 | 0.011 % |
409.64/409.63 c | 506298 | 784 108080 283220 | 76204 71863 45 | 0.000 % |
412.04/412.03 c | 508551 | 784 108080 283220 | 76204 74116 45 | 0.012 % |
414.54/414.60 c | 511032 | 784 108080 283220 | 75567 66170 48 | 0.000 % |
417.44/417.44 c | 513758 | 784 108080 283220 | 75567 68896 50 | 0.000 % |
420.24/420.24 c | 516755 | 784 108080 283220 | 75567 71893 50 | 0.000 % |
423.94/424.01 c | 520051 | 784 108080 283220 | 75139 75189 50 | 0.011 % |
427.44/427.41 c | 523677 | 784 108080 283220 | 75139 67185 51 | 0.000 % |
431.54/431.60 c | 527666 | 784 108080 283220 | 75139 71174 51 | 0.000 % |
436.24/436.28 c | 532057 | 784 108080 283220 | 73513 63883 48 | 0.012 % |
440.44/440.43 c | 536886 | 784 108080 283220 | 73513 68712 51 | 0.000 % |
440.54/440.52 c | 536988 | 784 108080 283220 | 73513 68814 51 | 0.011 % |
440.64/440.64 c | 537101 | 784 108080 283220 | 73513 68927 51 | 0.011 % |
440.74/440.76 c | 537224 | 784 108080 283220 | 73513 69050 51 | 0.011 % |
440.84/440.90 c | 537357 | 784 108080 283220 | 73513 69183 51 | 0.011 % |
441.04/441.05 c | 537503 | 784 108080 283220 | 73513 69329 51 | 0.011 % |
441.15/441.20 c | 537666 | 784 108080 283220 | 73513 69492 51 | 0.000 % |
441.34/441.33 c | 537842 | 784 108080 283220 | 73513 69668 51 | 0.011 % |
441.54/441.57 c | 538038 | 784 108080 283220 | 73513 69864 51 | 0.011 % |
441.74/441.77 c | 538251 | 784 108080 283220 | 73513 70077 51 | 0.000 % |
441.94/441.99 c | 538484 | 784 108080 283220 | 73513 70310 51 | 0.011 % |
442.25/442.23 c | 538741 | 784 108080 283220 | 73513 70567 51 | 0.011 % |
442.54/442.54 c | 539023 | 784 108080 283220 | 73513 70849 51 | 0.011 % |
442.84/442.84 c | 539333 | 784 108080 283220 | 73513 71159 51 | 0.000 % |
443.14/443.15 c | 539674 | 784 108080 283220 | 73513 71500 51 | 0.011 % |
443.54/443.54 c | 540047 | 784 108080 283220 | 71830 71873 51 | 0.000 % |
443.94/443.99 c | 540457 | 784 108080 283220 | 71830 61722 52 | 0.000 % |
444.34/444.37 c | 540906 | 784 108080 283220 | 71830 62171 52 | 0.011 % |
444.84/444.90 c | 541399 | 784 108080 283220 | 71830 62664 52 | 0.011 % |
445.44/445.44 c | 541944 | 784 108080 283220 | 71830 63209 52 | 0.011 % |
446.04/446.05 c | 542541 | 784 108080 283220 | 71830 63806 52 | 0.011 % |
446.74/446.71 c | 543197 | 784 108080 283220 | 71830 64462 52 | 0.000 % |
447.44/447.49 c | 543922 | 784 108080 283220 | 71830 65187 53 | 0.011 % |
448.34/448.37 c | 544715 | 784 108080 283220 | 71830 65980 52 | 0.011 % |
449.34/449.37 c | 545587 | 784 108080 283220 | 71830 66852 52 | 0.011 % |
450.24/450.25 c | 546546 | 784 108080 283220 | 71830 67811 53 | 0.000 % |
451.24/451.22 c | 547603 | 784 108080 283220 | 71830 68868 54 | 0.000 % |
452.15/452.19 c | 548761 | 784 108080 283220 | 71830 70026 54 | 0.000 % |
453.34/453.37 c | 550036 | 784 108080 283220 | 71266 71301 54 | 0.000 % |
454.64/454.69 c | 551437 | 784 108080 283220 | 71266 62045 57 | 0.000 % |
456.04/456.06 c | 552977 | 784 108080 283220 | 71266 63585 57 | 0.000 % |
457.74/457.72 c | 554672 | 784 108080 283220 | 71266 65280 56 | 0.011 % |
459.64/459.64 c | 556535 | 784 108080 283220 | 71266 67143 56 | 0.011 % |
461.84/461.87 c | 558585 | 784 108080 283220 | 71266 69193 57 | 0.000 % |
464.74/464.74 c | 560838 | 784 108080 283220 | 70609 59899 56 | 0.000 % |
467.34/467.37 c | 563317 | 784 108080 283220 | 70609 62378 55 | 0.011 % |
470.44/470.43 c | 566042 | 784 108080 283220 | 70609 65103 54 | 0.011 % |
473.44/473.49 c | 569041 | 784 108080 283220 | 70609 68102 55 | 0.000 % |
476.94/476.97 c | 572337 | 784 108080 283220 | 69062 60600 54 | 0.000 % |
480.54/480.58 c | 575963 | 784 108080 283220 | 69062 64226 55 | 0.011 % |
484.74/484.80 c | 579950 | 784 108080 283220 | 69062 68213 54 | 0.011 % |
488.85/488.87 c | 584335 | 784 108080 283220 | 68266 61503 51 | 0.000 % |
493.75/493.76 c | 589158 | 784 108080 283220 | 68266 66326 51 | 0.000 % |
499.15/499.17 c | 594466 | 784 108080 283220 | 67168 60855 48 | 0.011 % |
499.25/499.30 c | 594566 | 784 108080 283220 | 67168 60955 48 | 0.011 % |
499.35/499.40 c | 594676 | 784 108080 283220 | 67168 61065 49 | 0.000 % |
499.45/499.51 c | 594798 | 784 108080 283220 | 67168 61187 49 | 0.000 % |
499.65/499.63 c | 594935 | 784 108080 283220 | 67168 61324 49 | 0.000 % |
499.75/499.78 c | 595083 | 784 108080 283220 | 67168 61472 48 | 0.000 % |
499.85/499.91 c | 595244 | 784 108080 283220 | 67168 61633 49 | 0.000 % |
500.05/500.08 c | 595421 | 784 108080 283220 | 67168 61810 49 | 0.000 % |
500.25/500.26 c | 595614 | 784 108080 283220 | 67168 62003 49 | 0.011 % |
500.45/500.47 c | 595828 | 784 108080 283220 | 67168 62217 49 | 0.011 % |
500.75/500.73 c | 596061 | 784 108080 283220 | 67168 62450 48 | 0.012 % |
500.95/500.95 c | 596319 | 784 108080 283220 | 67168 62708 49 | 0.000 % |
501.15/501.17 c | 596600 | 784 108080 283220 | 67168 62989 49 | 0.011 % |
501.45/501.44 c | 596909 | 784 108080 283220 | 67168 63298 49 | 0.011 % |
501.75/501.77 c | 597250 | 784 108080 283220 | 67168 63639 48 | 0.012 % |
502.05/502.08 c | 597622 | 784 108080 283220 | 67168 64011 48 | 0.000 % |
502.45/502.49 c | 598031 | 784 108080 283220 | 67168 64420 48 | 0.011 % |
502.85/502.88 c | 598480 | 784 108080 283220 | 67168 64869 49 | 0.000 % |
503.25/503.29 c | 598973 | 784 108080 283220 | 67168 65362 49 | 0.000 % |
503.85/503.87 c | 599519 | 784 108080 283220 | 67168 65908 49 | 0.012 % |
504.35/504.33 c | 600116 | 784 108080 283220 | 66389 66505 49 | 0.000 % |
504.95/504.92 c | 600774 | 784 108080 283220 | 66389 57086 46 | 0.000 % |
505.45/505.50 c | 601494 | 784 108080 283220 | 66389 57806 46 | 0.000 % |
506.25/506.25 c | 602288 | 784 108080 283220 | 66389 58600 46 | 0.011 % |
506.95/506.94 c | 603160 | 784 108080 283220 | 66389 59472 46 | 0.011 % |
507.85/507.86 c | 604120 | 784 108080 283220 | 66389 60432 46 | 0.011 % |
508.85/508.87 c | 605173 | 784 108080 283220 | 66389 61485 46 | 0.011 % |
509.75/509.79 c | 606331 | 784 108080 283220 | 66389 62643 46 | 0.000 % |
510.85/510.88 c | 607604 | 784 108080 283220 | 66389 63916 46 | 0.010 % |
512.05/512.06 c | 609006 | 784 108080 283220 | 66389 65318 46 | 0.010 % |
513.25/513.22 c | 610546 | 784 108080 283220 | 66313 58858 48 | 0.000 % |
514.55/514.58 c | 612243 | 784 108080 283220 | 66313 60555 49 | 0.000 % |
516.15/516.14 c | 614107 | 784 108080 283220 | 66313 62419 49 | 0.010 % |
518.05/518.02 c | 616158 | 784 108080 283220 | 66313 64470 48 | 0.010 % |
520.25/520.27 c | 618412 | 784 108080 283220 | 66313 58343 44 | 0.012 % |
522.65/522.71 c | 620891 | 784 108080 283220 | 59932 53418 44 | 0.012 % |
525.35/525.37 c | 623616 | 784 108080 283220 | 59932 56143 43 | 0.011 % |
527.75/527.78 c | 626614 | 784 108080 283220 | 59932 59141 44 | 0.000 % |
530.75/530.78 c | 629911 | 784 108080 283220 | 59932 55571 43 | 0.011 % |
533.85/533.90 c | 633537 | 784 108080 283220 | 55660 52860 42 | 0.012 % |
536.95/536.95 c | 637525 | 784 108080 283220 | 55660 50982 47 | 0.000 % |
541.15/541.12 c | 641910 | 784 108080 283220 | 53458 49994 53 | 0.000 % |
545.05/545.10 c | 646733 | 784 108080 283220 | 53458 49433 49 | 0.000 % |
549.65/549.67 c | 652038 | 784 108080 283220 | 2147483647 54738 50 | 0.011 % |
555.25/555.25 c | 657873 | 784 108080 283220 | 2147483647 60573 53 | 0.000 % |
555.35/555.37 c | 657973 | 784 108080 283220 | 2147483647 60673 53 | 0.011 % |
555.45/555.51 c | 658083 | 784 108080 283220 | 2147483647 60783 53 | 0.011 % |
555.65/555.66 c | 658204 | 784 108080 283220 | 2147483647 60904 53 | 0.000 % |
555.75/555.81 c | 658341 | 784 108080 283220 | 2147483647 61041 53 | 0.011 % |
555.95/555.98 c | 658487 | 784 108080 283220 | 2147483647 61187 53 | 0.011 % |
556.15/556.16 c | 658648 | 784 108080 283220 | 2147483647 61348 53 | 0.011 % |
556.35/556.36 c | 658826 | 784 108080 283220 | 2147483647 61526 53 | 0.011 % |
556.55/556.61 c | 659021 | 784 108080 283220 | 2147483647 61721 53 | 0.011 % |
556.75/556.80 c | 659234 | 784 108080 283220 | 2147483647 61934 53 | 0.000 % |
556.95/557.01 c | 659473 | 784 108080 283220 | 2147483647 62173 53 | 0.011 % |
557.25/557.26 c | 659734 | 784 108080 283220 | 2147483647 62434 53 | 0.011 % |
557.55/557.52 c | 660017 | 784 108080 283220 | 62700 62717 53 | 0.011 % |
557.85/557.89 c | 660326 | 784 108080 283220 | 62700 55946 55 | 0.000 % |
558.15/558.20 c | 660665 | 784 108080 283220 | 62700 56285 55 | 0.000 % |
558.55/558.53 c | 661037 | 784 108080 283220 | 62700 56657 55 | 0.011 % |
558.95/558.94 c | 661446 | 784 108080 283220 | 62700 57066 55 | 0.000 % |
559.35/559.36 c | 661895 | 784 108080 283220 | 62700 57515 55 | 0.011 % |
559.75/559.79 c | 662389 | 784 108080 283220 | 62700 58009 55 | 0.000 % |
560.25/560.23 c | 662934 | 784 108080 283220 | 62700 58554 55 | 0.011 % |
560.75/560.78 c | 663530 | 784 108080 283220 | 62700 59150 55 | 0.012 % |
561.45/561.43 c | 664185 | 784 108080 283220 | 62700 59805 55 | 0.000 % |
562.35/562.34 c | 664905 | 784 108080 283220 | 62700 60525 55 | 0.000 % |
563.05/563.10 c | 665701 | 784 108080 283220 | 62700 61321 55 | 0.012 % |
564.05/564.02 c | 666573 | 784 108080 283220 | 62700 62193 55 | 0.012 % |
565.05/565.07 c | 667531 | 784 108080 283220 | 62700 54777 58 | 0.000 % |
566.25/566.21 c | 668585 | 784 108080 283220 | 62700 55831 58 | 0.000 % |
567.35/567.39 c | 669745 | 784 108080 283220 | 62700 56991 59 | 0.000 % |
568.45/568.47 c | 671021 | 784 108080 283220 | 57248 50555 59 | 0.011 % |
569.75/569.74 c | 672422 | 784 108080 283220 | 57248 51956 60 | 0.000 % |
571.25/571.31 c | 673963 | 784 108080 283220 | 57248 53497 60 | 0.011 % |
573.16/573.15 c | 675657 | 784 108080 283220 | 57248 55191 59 | 0.011 % |
575.15/575.18 c | 677523 | 784 108080 283220 | 57248 57057 59 | 0.011 % |
577.15/577.18 c | 679572 | 784 108080 283220 | 57248 51172 54 | 0.000 % |
579.35/579.35 c | 681826 | 784 108080 283220 | 51604 46549 56 | 0.000 % |
581.45/581.51 c | 684305 | 784 108080 283220 | 51604 49028 55 | 0.011 % |
583.95/583.98 c | 687031 | 784 108080 283220 | 51604 51754 54 | 0.011 % |
586.25/586.29 c | 690031 | 784 108080 283220 | 48788 48818 55 | 0.000 % |
589.05/589.10 c | 693328 | 784 108080 283220 | 48788 46941 58 | 0.000 % |
592.35/592.33 c | 696953 | 784 108080 283220 | 48788 45661 60 | 0.000 % |
596.05/596.05 c | 700940 | 784 108080 283220 | 2147483647 49648 58 | 0.000 % |
600.86/600.91 c | 705327 | 784 108080 283220 | 2147483647 54035 58 | 0.012 % |
606.06/606.08 c | 710151 | 784 108080 283220 | 58712 58859 57 | 0.000 % |
611.36/611.38 c | 715458 | 784 108080 283220 | 58712 55750 52 | 0.011 % |
616.95/617.01 c | 721293 | 784 108080 283220 | 51677 45502 46 | 0.011 % |
622.35/622.37 c | 727714 | 784 108080 283220 | 51677 51923 45 | 0.011 % |
622.45/622.50 c | 727814 | 784 108080 283220 | 51677 46520 38 | 0.011 % |
622.55/622.59 c | 727927 | 784 108080 283220 | 51677 46633 38 | 0.011 % |
622.65/622.70 c | 728049 | 784 108080 283220 | 51677 46755 38 | 0.011 % |
622.75/622.81 c | 728183 | 784 108080 283220 | 51677 46889 39 | 0.000 % |
622.85/622.90 c | 728330 | 784 108080 283220 | 51677 47036 39 | 0.000 % |
623.05/623.03 c | 728490 | 784 108080 283220 | 51677 47196 39 | 0.011 % |
623.15/623.13 c | 728669 | 784 108080 283220 | 51677 47375 39 | 0.011 % |
623.25/623.29 c | 728865 | 784 108080 283220 | 51677 47571 38 | 0.011 % |
623.45/623.44 c | 729077 | 784 108080 283220 | 51677 47783 38 | 0.011 % |
623.55/623.58 c | 729312 | 784 108080 283220 | 51677 48018 39 | 0.000 % |
623.75/623.75 c | 729569 | 784 108080 283220 | 51677 48275 39 | 0.000 % |
623.95/623.93 c | 729851 | 784 108080 283220 | 51677 48557 39 | 0.000 % |
624.15/624.13 c | 730163 | 784 108080 283220 | 2147483647 48869 39 | 0.012 % |
624.35/624.40 c | 730503 | 784 108080 283220 | 2147483647 49209 40 | 0.000 % |
624.65/624.70 c | 730877 | 784 108080 283220 | 2147483647 49583 40 | 0.000 % |
624.95/624.96 c | 731287 | 784 108080 283220 | 2147483647 49993 40 | 0.000 % |
625.25/625.31 c | 731737 | 784 108080 283220 | 2147483647 50443 40 | 0.011 % |
625.75/625.73 c | 732230 | 784 108080 283220 | 2147483647 50936 40 | 0.011 % |
626.15/626.17 c | 732773 | 784 108080 283220 | 2147483647 51479 40 | 0.011 % |
626.65/626.61 c | 733371 | 784 108080 283220 | 2147483647 52077 40 | 0.011 % |
627.15/627.13 c | 734028 | 784 108080 283220 | 2147483647 52734 40 | 0.000 % |
627.55/627.57 c | 734750 | 784 108080 283220 | 2147483647 53456 41 | 0.000 % |
628.15/628.12 c | 735542 | 784 108080 283220 | 2147483647 54248 41 | 0.011 % |
628.75/628.74 c | 736415 | 784 108080 283220 | 2147483647 55121 42 | 0.000 % |
629.55/629.58 c | 737373 | 784 108080 283220 | 2147483647 56079 42 | 0.000 % |
630.35/630.40 c | 738429 | 784 108080 283220 | 2147483647 57135 42 | 0.011 % |
631.15/631.14 c | 739588 | 784 108080 283220 | 2147483647 58294 42 | 0.011 % |
632.05/632.09 c | 740863 | 784 108080 283220 | 2147483647 59569 43 | 0.000 % |
633.15/633.13 c | 742265 | 784 108080 283220 | 2147483647 60971 43 | 0.000 % |
634.45/634.41 c | 743807 | 784 108080 283220 | 2147483647 62513 43 | 0.011 % |
635.85/635.89 c | 745503 | 784 108080 283220 | 2147483647 64209 43 | 0.011 % |
637.25/637.22 c | 747366 | 784 108080 283220 | 2147483647 66072 45 | 0.000 % |
639.05/639.02 c | 749415 | 784 108080 283220 | 2147483647 68121 45 | 0.011 % |
640.85/640.85 c | 751668 | 784 108080 283220 | 2147483647 70374 45 | 0.011 % |
642.75/642.81 c | 754147 | 784 108080 283220 | 2147483647 72853 44 | 0.012 % |
645.15/645.21 c | 756872 | 784 108080 283220 | 2147483647 75578 45 | 0.011 % |
648.15/648.13 c | 759870 | 784 108080 283220 | 2147483647 78576 45 | 0.011 % |
651.25/651.22 c | 763166 | 784 108080 283220 | 78708 73098 43 | 0.011 % |
655.25/655.24 c | 766793 | 784 108080 283220 | 78708 76725 43 | 0.011 % |
659.25/659.30 c | 770782 | 784 108080 283220 | 69513 61120 43 | 0.011 % |
663.25/663.30 c | 775167 | 784 108080 283220 | 69513 65505 43 | 0.011 % |
667.76/667.80 c | 779991 | 784 108080 283220 | 69513 62112 43 | 0.011 % |
672.25/672.21 c | 785300 | 784 108080 283220 | 62123 60264 40 | 0.011 % |
677.05/677.03 c | 791136 | 784 108080 283220 | 2147483647 59854 37 | 0.011 % |
682.85/682.83 c | 797556 | 784 108080 283220 | 2147483647 66274 38 | 0.012 % |
688.66/688.66 c | 804619 | 784 108080 283220 | 68719 65742 41 | 0.000 % |
688.75/688.76 c | 804723 | 784 108080 283220 | 68719 65846 41 | 0.011 % |
688.85/688.83 c | 804833 | 784 108080 283220 | 68719 65956 41 | 0.011 % |
688.95/688.92 c | 804955 | 784 108080 283220 | 68719 66078 41 | 0.011 % |
689.05/689.02 c | 805089 | 784 108080 283220 | 68719 66212 41 | 0.011 % |
689.15/689.13 c | 805235 | 784 108080 283220 | 68719 66358 41 | 0.000 % |
689.25/689.25 c | 805396 | 784 108080 283220 | 68719 66519 41 | 0.000 % |
689.35/689.40 c | 805573 | 784 108080 283220 | 68719 66696 41 | 0.011 % |
689.55/689.58 c | 805768 | 784 108080 283220 | 68719 66891 42 | 0.000 % |
689.76/689.77 c | 805981 | 784 108080 283220 | 68719 67104 42 | 0.000 % |
689.95/689.96 c | 806217 | 784 108080 283220 | 68719 67340 42 | 0.012 % |
690.15/690.18 c | 806473 | 784 108080 283220 | 68719 67596 42 | 0.011 % |
690.45/690.43 c | 806754 | 784 108080 283220 | 68719 67877 42 | 0.011 % |
690.75/690.71 c | 807064 | 784 108080 283220 | 68719 68187 41 | 0.012 % |
690.95/690.95 c | 807404 | 784 108080 283220 | 68719 68527 42 | 0.000 % |
691.25/691.25 c | 807776 | 784 108080 283220 | 68719 68899 42 | 0.000 % |
691.65/691.69 c | 808191 | 784 108080 283220 | 68719 61821 42 | 0.011 % |
692.05/692.06 c | 808641 | 784 108080 283220 | 68719 62271 41 | 0.011 % |
692.45/692.42 c | 809135 | 784 108080 283220 | 68719 62765 41 | 0.011 % |
692.85/692.86 c | 809677 | 784 108080 283220 | 68719 63307 41 | 0.011 % |
693.35/693.38 c | 810273 | 784 108080 283220 | 63633 63903 41 | 0.011 % |
693.95/693.99 c | 810928 | 784 108080 283220 | 63633 58168 42 | 0.011 % |
694.45/694.48 c | 811648 | 784 108080 283220 | 63633 58888 42 | 0.011 % |
695.15/695.12 c | 812440 | 784 108080 283220 | 63633 59680 42 | 0.011 % |
695.75/695.80 c | 813314 | 784 108080 283220 | 63633 60554 41 | 0.011 % |
696.55/696.60 c | 814272 | 784 108080 283220 | 63633 61512 41 | 0.012 % |
697.25/697.27 c | 815325 | 784 108080 283220 | 63633 62565 42 | 0.012 % |
698.25/698.30 c | 816483 | 784 108080 283220 | 63633 63723 42 | 0.012 % |
699.45/699.47 c | 817756 | 784 108080 283220 | 63633 58624 41 | 0.011 % |
700.65/700.64 c | 819158 | 784 108080 283220 | 63633 60026 41 | 0.011 % |
701.86/701.87 c | 820702 | 784 108080 283220 | 2147483647 61570 41 | 0.012 % |
703.15/703.12 c | 822396 | 784 108080 283220 | 2147483647 63264 41 | 0.000 % |
704.65/704.62 c | 824259 | 784 108080 283220 | 2147483647 65127 42 | 0.010 % |
706.26/706.28 c | 826311 | 784 108080 283220 | 2147483647 67179 42 | 0.010 % |
708.15/708.14 c | 828568 | 784 108080 283220 | 2147483647 69436 42 | 0.010 % |
710.35/710.33 c | 831046 | 784 108080 283220 | 70868 64400 45 | 0.000 % |
712.66/712.63 c | 833771 | 784 108080 283220 | 70868 67125 47 | 0.000 % |
715.36/715.34 c | 836769 | 784 108080 283220 | 70868 70123 47 | 0.011 % |
718.46/718.43 c | 840065 | 784 108080 283220 | 64375 64440 48 | 0.011 % |
721.66/721.66 c | 843691 | 784 108080 283220 | 64375 59813 51 | 0.000 % |
725.46/725.44 c | 847678 | 784 108080 283220 | 64375 63800 51 | 0.011 % |
729.26/729.23 c | 852067 | 784 108080 283220 | 58147 52984 50 | 0.011 % |
733.46/733.43 c | 856890 | 784 108080 283220 | 58147 57807 55 | 0.000 % |
738.36/738.33 c | 862197 | 784 108080 283220 | 54166 49936 56 | 0.011 % |
743.26/743.26 c | 868032 | 784 108080 283220 | 54166 49549 51 | 0.011 % |
748.66/748.64 c | 874455 | 784 108080 283220 | 51517 49932 54 | 0.000 % |
754.86/754.89 c | 881515 | 784 108080 283220 | 49722 45721 49 | 0.011 % |
761.66/761.65 c | 889279 | 784 108080 283220 | 49722 48481 52 | 0.000 % |
761.76/761.73 c | 889380 | 784 108080 283220 | 49722 48582 52 | 0.000 % |
761.86/761.84 c | 889490 | 784 108080 283220 | 49722 48692 52 | 0.011 % |
761.96/761.97 c | 889615 | 784 108080 283220 | 49722 48817 52 | 0.011 % |
762.06/762.06 c | 889751 | 784 108080 283220 | 49722 48953 52 | 0.011 % |
762.16/762.15 c | 889898 | 784 108080 283220 | 49722 49100 52 | 0.011 % |
762.26/762.29 c | 890060 | 784 108080 283220 | 2147483647 49262 51 | 0.011 % |
762.46/762.45 c | 890237 | 784 108080 283220 | 2147483647 49439 52 | 0.000 % |
762.56/762.59 c | 890433 | 784 108080 283220 | 2147483647 49635 52 | 0.000 % |
762.76/762.76 c | 890645 | 784 108080 283220 | 2147483647 49847 52 | 0.011 % |
762.96/762.94 c | 890878 | 784 108080 283220 | 2147483647 50080 52 | 0.011 % |
763.16/763.14 c | 891134 | 784 108080 283220 | 2147483647 50336 52 | 0.000 % |
763.36/763.38 c | 891416 | 784 108080 283220 | 2147483647 50618 52 | 0.011 % |
763.66/763.66 c | 891725 | 784 108080 283220 | 2147483647 50927 52 | 0.011 % |
763.86/763.89 c | 892064 | 784 108080 283220 | 2147483647 51266 52 | 0.011 % |
764.16/764.20 c | 892438 | 784 108080 283220 | 2147483647 51640 52 | 0.000 % |
764.46/764.51 c | 892849 | 784 108080 283220 | 2147483647 52051 52 | 0.012 % |
764.96/764.92 c | 893298 | 784 108080 283220 | 2147483647 52500 52 | 0.011 % |
765.26/765.29 c | 893791 | 784 108080 283220 | 2147483647 52993 52 | 0.011 % |
765.76/765.76 c | 894333 | 784 108080 283220 | 2147483647 53535 52 | 0.000 % |
766.36/766.35 c | 894929 | 784 108080 283220 | 2147483647 54131 51 | 0.011 % |
766.96/767.01 c | 895586 | 784 108080 283220 | 2147483647 54788 51 | 0.011 % |
767.56/767.53 c | 896306 | 784 108080 283220 | 2147483647 55508 52 | 0.000 % |
768.26/768.30 c | 897099 | 784 108080 283220 | 2147483647 56301 52 | 0.011 % |
768.96/768.99 c | 897972 | 784 108080 283220 | 2147483647 57174 53 | 0.000 % |
769.76/769.77 c | 898930 | 784 108080 283220 | 2147483647 58132 52 | 0.011 % |
770.76/770.80 c | 899983 | 784 108080 283220 | 2147483647 59185 52 | 0.011 % |
771.86/771.86 c | 901141 | 784 108080 283220 | 2147483647 60343 52 | 0.011 % |
773.16/773.16 c | 902416 | 784 108080 283220 | 2147483647 61618 52 | 0.011 % |
774.46/774.44 c | 903816 | 784 108080 283220 | 2147483647 63018 51 | 0.011 % |
775.96/775.93 c | 905356 | 784 108080 283220 | 2147483647 64558 51 | 0.011 % |
777.86/777.83 c | 907051 | 784 108080 283220 | 2147483647 66253 51 | 0.011 % |
779.76/779.77 c | 908915 | 784 108080 283220 | 2147483647 68117 52 | 0.000 % |
781.96/781.92 c | 910966 | 784 108080 283220 | 69202 60983 50 | 0.011 % |
783.76/783.73 c | 913224 | 784 108080 283220 | 69202 63241 50 | 0.011 % |
786.06/786.01 c | 915703 | 784 108080 283220 | 69202 65720 50 | 0.012 % |
788.77/788.79 c | 918428 | 784 108080 283220 | 69202 68445 49 | 0.012 % |
791.96/791.93 c | 921426 | 784 108080 283220 | 61570 55479 47 | 0.012 % |
794.96/794.99 c | 924726 | 784 108080 283220 | 61570 58779 48 | 0.011 % |
798.86/798.90 c | 928352 | 784 108080 283220 | 61570 54723 43 | 0.011 % |
802.96/803.02 c | 932341 | 784 108080 283220 | 56373 51828 42 | 0.011 % |
807.47/807.43 c | 936728 | 784 108080 283220 | 56373 56215 44 | 0.011 % |
812.86/812.88 c | 941552 | 784 108080 283220 | 52770 47555 44 | 0.012 % |
816.96/816.94 c | 946857 | 784 108080 283220 | 52770 52860 48 | 0.000 % |
821.66/821.67 c | 952692 | 784 108080 283220 | 49859 47017 49 | 0.011 % |
826.67/826.68 c | 959110 | 784 108080 283220 | 49859 48432 48 | 0.011 % |
833.07/833.06 c | 966170 | 784 108080 283220 | 2147483647 55492 47 | 0.011 % |
840.27/840.30 c | 973934 | 784 108080 283220 | 59323 55774 45 | 0.011 % |
847.07/847.05 c | 982474 | 784 108080 283220 | 54732 50953 38 | 0.011 % |
847.17/847.12 c | 982576 | 784 108080 283220 | 54732 51055 38 | 0.011 % |
847.17/847.20 c | 982686 | 784 108080 283220 | 54732 51165 39 | 0.000 % |
847.27/847.29 c | 982812 | 784 108080 283220 | 54732 51291 39 | 0.011 % |
847.37/847.38 c | 982945 | 784 108080 283220 | 54732 51424 39 | 0.011 % |
847.47/847.49 c | 983091 | 784 108080 283220 | 54732 51570 39 | 0.011 % |
847.57/847.59 c | 983253 | 784 108080 283220 | 54732 51732 39 | 0.000 % |
847.77/847.72 c | 983429 | 784 108080 283220 | 54732 51908 39 | 0.000 % |
847.87/847.85 c | 983623 | 784 108080 283220 | 54732 52102 39 | 0.011 % |
847.97/848.01 c | 983835 | 784 108080 283220 | 54732 52314 39 | 0.011 % |
848.17/848.15 c | 984069 | 784 108080 283220 | 54732 52548 39 | 0.011 % |
848.27/848.29 c | 984326 | 784 108080 283220 | 54732 52805 39 | 0.000 % |
848.47/848.49 c | 984607 | 784 108080 283220 | 54732 53086 39 | 0.000 % |
848.67/848.69 c | 984916 | 784 108080 283220 | 54732 53395 39 | 0.011 % |
848.87/848.90 c | 985255 | 784 108080 283220 | 54732 53734 39 | 0.011 % |
849.17/849.16 c | 985627 | 784 108080 283220 | 54732 54106 39 | 0.011 % |
849.47/849.44 c | 986042 | 784 108080 283220 | 54732 54521 39 | 0.011 % |
849.77/849.72 c | 986491 | 784 108080 283220 | 54732 54970 40 | 0.000 % |
850.17/850.14 c | 986986 | 784 108080 283220 | 54732 49968 37 | 0.011 % |
850.47/850.49 c | 987529 | 784 108080 283220 | 54732 50511 37 | 0.011 % |
850.87/850.84 c | 988128 | 784 108080 283220 | 54732 51110 38 | 0.000 % |
851.27/851.29 c | 988783 | 784 108080 283220 | 54732 51765 38 | 0.000 % |
851.87/851.86 c | 989503 | 784 108080 283220 | 54732 52485 38 | 0.011 % |
852.37/852.38 c | 990299 | 784 108080 283220 | 2147483647 53281 39 | 0.000 % |
852.97/852.97 c | 991172 | 784 108080 283220 | 2147483647 54154 39 | 0.000 % |
853.67/853.66 c | 992132 | 784 108080 283220 | 2147483647 55114 39 | 0.011 % |
854.47/854.49 c | 993185 | 784 108080 283220 | 2147483647 56167 39 | 0.011 % |
855.37/855.39 c | 994344 | 784 108080 283220 | 2147483647 57326 39 | 0.011 % |
856.37/856.33 c | 995618 | 784 108080 283220 | 2147483647 58600 39 | 0.011 % |
857.37/857.40 c | 997018 | 784 108080 283220 | 2147483647 60000 39 | 0.011 % |
858.47/858.43 c | 998561 | 784 108080 283220 | 2147483647 61543 40 | 0.000 % |
859.67/859.71 c | 1000255 | 784 108080 283220 | 2147483647 63237 41 | 0.000 % |
861.27/861.26 c | 1002118 | 784 108080 283220 | 2147483647 65100 42 | 0.011 % |
863.17/863.18 c | 1004167 | 784 108080 283220 | 2147483647 67149 42 | 0.011 % |
865.17/865.20 c | 1006420 | 784 108080 283220 | 2147483647 69402 42 | 0.011 % |
867.47/867.44 c | 1008899 | 784 108080 283220 | 2147483647 71881 42 | 0.011 % |
869.87/869.86 c | 1011624 | 784 108080 283220 | 2147483647 74606 42 | 0.011 % |
872.87/872.83 c | 1014621 | 784 108080 283220 | 2147483647 77603 42 | 0.000 % |
875.67/875.64 c | 1017917 | 784 108080 283220 | 2147483647 80899 42 | 0.011 % |
878.87/878.82 c | 1021542 | 784 108080 283220 | 82987 75625 42 | 0.011 % |
882.27/882.28 c | 1025531 | 784 108080 283220 | 82987 79614 44 | 0.000 % |
887.07/887.04 c | 1029916 | 784 108080 283220 | 82987 73078 47 | 0.000 % |
891.97/891.94 c | 1034742 | 784 108080 283220 | 73162 68320 49 | 0.000 % |
897.37/897.40 c | 1040048 | 784 108080 283220 | 63778 63826 48 | 0.001 % |
902.67/902.62 c | 1045886 | 784 108080 283220 | 63778 61160 53 | 0.000 % |
908.37/908.37 c | 1052306 | 784 108080 283220 | 56208 51014 52 | 0.011 % |
914.47/914.48 c | 1059368 | 784 108080 283220 | 56208 51631 51 | 0.013 % |
921.37/921.39 c | 1067134 | 784 108080 283220 | 52263 47747 43 | 0.013 % |
929.07/929.05 c | 1075677 | 784 108080 283220 | 50616 50734 43 | 0.013 % |
935.77/935.74 c | 1085071 | 784 108080 283220 | 2147483647 54825 40 | 0.011 % |
935.87/935.82 c | 1085171 | 784 108080 283220 | 2147483647 54925 41 | 0.000 % |
935.87/935.88 c | 1085281 | 784 108080 283220 | 2147483647 55035 41 | 0.000 % |
935.97/935.95 c | 1085402 | 784 108080 283220 | 2147483647 55156 41 | 0.011 % |
936.07/936.07 c | 1085542 | 784 108080 283220 | 2147483647 55296 41 | 0.011 % |
936.18/936.17 c | 1085689 | 784 108080 283220 | 2147483647 55443 41 | 0.000 % |
936.27/936.26 c | 1085852 | 784 108080 283220 | 2147483647 55606 41 | 0.000 % |
936.37/936.36 c | 1086029 | 784 108080 283220 | 2147483647 55783 41 | 0.011 % |
936.47/936.51 c | 1086222 | 784 108080 283220 | 2147483647 55976 41 | 0.000 % |
936.67/936.67 c | 1086435 | 784 108080 283220 | 2147483647 56189 41 | 0.000 % |
936.77/936.80 c | 1086669 | 784 108080 283220 | 2147483647 56423 41 | 0.011 % |
936.97/936.97 c | 1086925 | 784 108080 283220 | 2147483647 56679 41 | 0.011 % |
937.17/937.18 c | 1087207 | 784 108080 283220 | 2147483647 56961 41 | 0.011 % |
937.37/937.40 c | 1087517 | 784 108080 283220 | 2147483647 57271 41 | 0.011 % |
937.67/937.63 c | 1087856 | 784 108080 283220 | 2147483647 57610 41 | 0.000 % |
937.87/937.87 c | 1088228 | 784 108080 283220 | 2147483647 57982 42 | 0.000 % |
938.17/938.14 c | 1088638 | 784 108080 283220 | 2147483647 58392 41 | 0.012 % |
938.48/938.48 c | 1089087 | 784 108080 283220 | 2147483647 58841 41 | 0.011 % |
938.78/938.78 c | 1089581 | 784 108080 283220 | 2147483647 59335 42 | 0.000 % |
939.18/939.13 c | 1090123 | 784 108080 283220 | 2147483647 59877 43 | 0.000 % |
939.58/939.56 c | 1090719 | 784 108080 283220 | 2147483647 60473 43 | 0.000 % |
940.08/940.04 c | 1091376 | 784 108080 283220 | 2147483647 61130 43 | 0.011 % |
940.58/940.61 c | 1092099 | 784 108080 283220 | 2147483647 61853 42 | 0.011 % |
941.18/941.18 c | 1092892 | 784 108080 283220 | 2147483647 62646 43 | 0.000 % |
941.88/941.84 c | 1093764 | 784 108080 283220 | 2147483647 63518 43 | 0.011 % |
942.58/942.61 c | 1094723 | 784 108080 283220 | 2147483647 64477 43 | 0.000 % |
943.48/943.45 c | 1095777 | 784 108080 283220 | 2147483647 65531 43 | 0.011 % |
944.38/944.39 c | 1096936 | 784 108080 283220 | 2147483647 66690 43 | 0.011 % |
945.28/945.27 c | 1098209 | 784 108080 283220 | 2147483647 67963 42 | 0.010 % |
946.38/946.36 c | 1099609 | 784 108080 283220 | 2147483647 69363 42 | 0.010 % |
947.48/947.44 c | 1101153 | 784 108080 283220 | 2147483647 70907 42 | 0.011 % |
948.78/948.73 c | 1102847 | 784 108080 283220 | 2147483647 72601 42 | 0.011 % |
950.08/950.04 c | 1104711 | 784 108080 283220 | 2147483647 74465 42 | 0.000 % |
951.78/951.78 c | 1106760 | 784 108080 283220 | 2147483647 76514 42 | 0.011 % |
953.88/953.91 c | 1109013 | 784 108080 283220 | 2147483647 78767 42 | 0.011 % |
955.78/955.75 c | 1111491 | 784 108080 283220 | 2147483647 81245 44 | 0.000 % |
958.28/958.27 c | 1114216 | 784 108080 283220 | 2147483647 83970 44 | 0.011 % |
961.18/961.19 c | 1117214 | 784 108080 283220 | 2147483647 86968 43 | 0.011 % |
964.28/964.26 c | 1120511 | 784 108080 283220 | 89754 80763 42 | 0.000 % |
967.58/967.55 c | 1124137 | 784 108080 283220 | 89754 84389 44 | 0.000 % |
971.27/971.27 c | 1128124 | 784 108080 283220 | 89754 88376 43 | 0.011 % |
975.87/975.82 c | 1132509 | 784 108080 283220 | 78660 70977 44 | 0.011 % |
980.07/980.04 c | 1137333 | 784 108080 283220 | 78660 75801 46 | 0.000 % |
984.77/984.76 c | 1142638 | 784 108080 283220 | 78468 70905 46 | 0.011 % |
990.67/990.67 c | 1148475 | 784 108080 283220 | 78468 76742 45 | 0.011 % |
996.77/996.77 c | 1154894 | 784 108080 283220 | 78270 72724 45 | 0.011 % |
1003.67/1003.64 c | 1161953 | 784 108080 283220 | 77836 69570 46 | 0.000 % |
1011.67/1011.66 c | 1169723 | 784 108080 283220 | 77836 77340 48 | 0.000 % |
1019.87/1019.82 c | 1178264 | 784 108080 283220 | 77621 73853 47 | 0.000 % |
1028.97/1028.92 c | 1187661 | 784 108080 283220 | 75594 71729 44 | 0.011 % |
1038.97/1038.98 c | 1197994 | 784 108080 283220 | 74068 71156 42 | 0.011 % |
1039.07/1039.09 c | 1198098 | 784 108080 283220 | 74068 71260 42 | 0.000 % |
1039.27/1039.22 c | 1198210 | 784 108080 283220 | 74068 71372 42 | 0.000 % |
1039.37/1039.35 c | 1198331 | 784 108080 283220 | 74068 71493 42 | 0.000 % |
1039.47/1039.48 c | 1198468 | 784 108080 283220 | 74068 71630 42 | 0.000 % |
1039.67/1039.65 c | 1198616 | 784 108080 283220 | 74068 71778 42 | 0.011 % |
1039.77/1039.78 c | 1198776 | 784 108080 283220 | 74068 71938 42 | 0.011 % |
1039.97/1039.95 c | 1198952 | 784 108080 283220 | 74068 72114 42 | 0.012 % |
1040.17/1040.11 c | 1199145 | 784 108080 283220 | 74068 72307 42 | 0.011 % |
1040.27/1040.28 c | 1199358 | 784 108080 283220 | 74068 72520 42 | 0.000 % |
1040.57/1040.51 c | 1199593 | 784 108080 283220 | 74068 72755 42 | 0.011 % |
1040.77/1040.73 c | 1199849 | 784 108080 283220 | 74068 73011 43 | 0.000 % |
1040.97/1040.91 c | 1200131 | 784 108080 283220 | 73162 73293 43 | 0.000 % |
1041.27/1041.27 c | 1200443 | 784 108080 283220 | 73162 63300 43 | 0.000 % |
1041.47/1041.49 c | 1200784 | 784 108080 283220 | 73162 63641 43 | 0.011 % |
1041.87/1041.85 c | 1201157 | 784 108080 283220 | 73162 64014 43 | 0.011 % |
1042.17/1042.18 c | 1201566 | 784 108080 283220 | 73162 64423 43 | 0.011 % |
1042.57/1042.60 c | 1202015 | 784 108080 283220 | 73162 64872 44 | 0.000 % |
1043.07/1043.11 c | 1202508 | 784 108080 283220 | 73162 65365 44 | 0.000 % |
1043.67/1043.62 c | 1203050 | 784 108080 283220 | 73162 65907 44 | 0.000 % |
1044.17/1044.11 c | 1203647 | 784 108080 283220 | 73162 66504 45 | 0.000 % |
1044.67/1044.65 c | 1204306 | 784 108080 283220 | 73162 67163 45 | 0.011 % |
1045.37/1045.32 c | 1205026 | 784 108080 283220 | 73162 67883 45 | 0.000 % |
1046.07/1046.03 c | 1205818 | 784 108080 283220 | 73162 68675 45 | 0.000 % |
1046.87/1046.84 c | 1206690 | 784 108080 283220 | 73162 69547 45 | 0.000 % |
1047.77/1047.79 c | 1207648 | 784 108080 283220 | 73162 70505 45 | 0.012 % |
1048.47/1048.48 c | 1208701 | 784 108080 283220 | 73162 71558 45 | 0.012 % |
1049.57/1049.58 c | 1209863 | 784 108080 283220 | 73162 72720 45 | 0.011 % |
1050.97/1050.99 c | 1211137 | 784 108080 283220 | 72858 65489 44 | 0.011 % |
1052.28/1052.27 c | 1212538 | 784 108080 283220 | 72858 66890 44 | 0.011 % |
1053.68/1053.62 c | 1214080 | 784 108080 283220 | 72858 68432 45 | 0.000 % |
1055.17/1055.19 c | 1215775 | 784 108080 283220 | 72858 70127 46 | 0.000 % |
1056.87/1056.81 c | 1217638 | 784 108080 283220 | 72858 71990 46 | 0.000 % |
1058.37/1058.38 c | 1219687 | 784 108080 283220 | 72858 65325 44 | 0.000 % |
1060.57/1060.54 c | 1221940 | 784 108080 283220 | 65638 59895 44 | 0.000 % |
1062.77/1062.79 c | 1224420 | 784 108080 283220 | 65638 62375 43 | 0.011 % |
1065.37/1065.38 c | 1227147 | 784 108080 283220 | 65638 65102 43 | 0.011 % |
1068.07/1068.07 c | 1230144 | 784 108080 283220 | 61351 61495 43 | 0.011 % |
1071.07/1071.10 c | 1233445 | 784 108080 283220 | 61351 58513 43 | 0.012 % |
1074.17/1074.12 c | 1237070 | 784 108080 283220 | 61351 55555 43 | 0.011 % |
1077.87/1077.84 c | 1241057 | 784 108080 283220 | 58485 53485 44 | 0.000 % |
1081.57/1081.59 c | 1245442 | 784 108080 283220 | 58485 57870 48 | 0.000 % |
1085.87/1085.83 c | 1250267 | 784 108080 283220 | 2147483647 56813 47 | 0.011 % |
1090.67/1090.62 c | 1255572 | 784 108080 283220 | 2147483647 62118 46 | 0.000 % |
1096.97/1096.96 c | 1261411 | 784 108080 283220 | 66550 60133 50 | 0.000 % |
1102.67/1102.61 c | 1267829 | 784 108080 283220 | 66550 66551 51 | 0.000 % |
1109.67/1109.62 c | 1274889 | 784 108080 283220 | 60082 57041 53 | 0.011 % |
1117.07/1117.07 c | 1282655 | 784 108080 283220 | 53822 49003 49 | 0.011 % |
1125.07/1125.08 c | 1291196 | 784 108080 283220 | 49028 43381 44 | 0.011 % |
1133.77/1133.80 c | 1300591 | 784 108080 283220 | 46063 41167 41 | 0.011 % |
1141.17/1141.11 c | 1310926 | 784 108080 283220 | 2147483647 46860 52 | 0.000 % |
1150.37/1150.33 c | 1322294 | 784 108080 283220 | 2147483647 58228 53 | 0.000 % |
1150.47/1150.42 c | 1322395 | 784 108080 283220 | 2147483647 58329 52 | 0.011 % |
1150.57/1150.51 c | 1322509 | 784 108080 283220 | 2147483647 58443 52 | 0.011 % |
1150.68/1150.64 c | 1322632 | 784 108080 283220 | 2147483647 58566 53 | 0.000 % |
1150.77/1150.73 c | 1322765 | 784 108080 283220 | 2147483647 58699 53 | 0.011 % |
1150.87/1150.87 c | 1322911 | 784 108080 283220 | 2147483647 58845 53 | 0.000 % |
1151.07/1151.02 c | 1323071 | 784 108080 283220 | 2147483647 59005 52 | 0.011 % |
1151.17/1151.16 c | 1323248 | 784 108080 283220 | 2147483647 59182 53 | 0.000 % |
1151.37/1151.34 c | 1323442 | 784 108080 283220 | 2147483647 59376 53 | 0.011 % |
1151.57/1151.55 c | 1323654 | 784 108080 283220 | 2147483647 59588 53 | 0.011 % |
1151.78/1151.77 c | 1323887 | 784 108080 283220 | 2147483647 59821 53 | 0.011 % |
1151.97/1151.97 c | 1324145 | 784 108080 283220 | 2147483647 60079 52 | 0.011 % |
1152.17/1152.18 c | 1324427 | 784 108080 283220 | 2147483647 60361 52 | 0.011 % |
1152.47/1152.45 c | 1324737 | 784 108080 283220 | 2147483647 60671 52 | 0.011 % |
1152.67/1152.67 c | 1325077 | 784 108080 283220 | 2147483647 61011 52 | 0.011 % |
1153.07/1153.01 c | 1325450 | 784 108080 283220 | 2147483647 61384 52 | 0.000 % |
1153.37/1153.33 c | 1325859 | 784 108080 283220 | 2147483647 61793 52 | 0.000 % |
1153.67/1153.70 c | 1326308 | 784 108080 283220 | 2147483647 62242 52 | 0.012 % |
1154.07/1154.10 c | 1326801 | 784 108080 283220 | 2147483647 62735 52 | 0.012 % |
1154.67/1154.60 c | 1327344 | 784 108080 283220 | 2147483647 63278 52 | 0.012 % |
1155.17/1155.13 c | 1327940 | 784 108080 283220 | 2147483647 63874 52 | 0.012 % |
1155.77/1155.75 c | 1328596 | 784 108080 283220 | 2147483647 64530 52 | 0.011 % |
1156.37/1156.37 c | 1329318 | 784 108080 283220 | 2147483647 65252 52 | 0.000 % |
1157.17/1157.13 c | 1330110 | 784 108080 283220 | 2147483647 66044 53 | 0.000 % |
1157.77/1157.74 c | 1330981 | 784 108080 283220 | 2147483647 66915 52 | 0.011 % |
1158.47/1158.41 c | 1331940 | 784 108080 283220 | 2147483647 67874 52 | 0.011 % |
1159.27/1159.21 c | 1332995 | 784 108080 283220 | 2147483647 68929 52 | 0.000 % |
1160.37/1160.32 c | 1334154 | 784 108080 283220 | 2147483647 70088 52 | 0.011 % |
1161.47/1161.45 c | 1335431 | 784 108080 283220 | 2147483647 71365 52 | 0.012 % |
1162.67/1162.65 c | 1336831 | 784 108080 283220 | 2147483647 72765 52 | 0.000 % |
1164.07/1164.04 c | 1338371 | 784 108080 283220 | 2147483647 74305 52 | 0.012 % |
1165.78/1165.75 c | 1340066 | 784 108080 283220 | 2147483647 76000 51 | 0.000 % |
1167.68/1167.63 c | 1341933 | 784 108080 283220 | 2147483647 77867 52 | 0.000 % |
1169.68/1169.68 c | 1343982 | 784 108080 283220 | 2147483647 79916 52 | 0.011 % |
1172.08/1172.07 c | 1346236 | 784 108080 283220 | 2147483647 82170 51 | 0.011 % |
1174.68/1174.69 c | 1348714 | 784 108080 283220 | 2147483647 84648 51 | 0.000 % |
1177.98/1178.01 c | 1351441 | 784 108080 283220 | 85939 74790 51 | 0.011 % |
1181.18/1181.17 c | 1354438 | 784 108080 283220 | 85939 77787 51 | 0.011 % |
1184.98/1184.98 c | 1357734 | 784 108080 283220 | 85939 81083 50 | 0.000 % |
1188.78/1188.75 c | 1361361 | 784 108080 283220 | 83349 71310 49 | 0.012 % |
1192.88/1192.87 c | 1365349 | 784 108080 283220 | 83349 75298 48 | 0.012 % |
1197.18/1197.14 c | 1369736 | 784 108080 283220 | 83349 79685 47 | 0.013 % |
1200.08/1200.02 HOME/SatELiteGTI: line 36: 32604 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820608-1242458351/watcher-1820608-1242458351 -o /tmp/evaluation-result-1820608-1242458351/solver-1820608-1242458351 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820608-1242458351.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32598
/proc/meminfo: memFree=1189992/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2412 CPUtime=0.01
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 366 646 0 0 0 0 1 0 18 0 1 0 1010335940 2469888 276 4294967295 134512640 135169312 3220777696 3220776232 3085774574 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32598/statm: 603 276 235 161 0 42 0
[pid=32602] ppid=32598 vsize=952 CPUtime=0
/proc/32602/stat : 32602 (SatELite_releas) R 32598 32598 10114 0 -1 4202496 130 0 0 0 0 0 0 0 20 0 1 0 1010335940 974848 66 4294967295 134512640 135223648 3215400368 3215398964 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32602/statm: 238 71 46 174 0 63 0
[startup+0.033675 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32598
/proc/meminfo: memFree=1189992/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2412 CPUtime=0.01
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 366 646 0 0 0 0 1 0 18 0 1 0 1010335940 2469888 276 4294967295 134512640 135169312 3220777696 3220776232 3085774574 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32598/statm: 603 276 235 161 0 42 0
[pid=32602] ppid=32598 vsize=3240 CPUtime=0.03
/proc/32602/stat : 32602 (SatELite_releas) R 32598 32598 10114 0 -1 4202496 710 0 0 0 2 1 0 0 20 0 1 0 1010335940 3317760 646 4294967295 134512640 135223648 3215400368 3215398936 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32602/statm: 810 646 46 174 0 635 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5652
[startup+0.11367 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32598
/proc/meminfo: memFree=1189992/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2412 CPUtime=0.01
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 366 646 0 0 0 0 1 0 18 0 1 0 1010335940 2469888 276 4294967295 134512640 135169312 3220777696 3220776232 3085774574 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32598/statm: 603 276 235 161 0 42 0
[pid=32602] ppid=32598 vsize=6928 CPUtime=0.11
/proc/32602/stat : 32602 (SatELite_releas) R 32598 32598 10114 0 -1 4202496 1619 0 0 0 8 3 0 0 21 0 1 0 1010335940 7094272 1555 4294967295 134512640 135223648 3215400368 3215397172 134818569 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32602/statm: 1732 1555 72 174 0 1557 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9340
[startup+0.323659 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32598
/proc/meminfo: memFree=1189992/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 2416
[startup+0.713639 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32598
/proc/meminfo: memFree=1189992/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 2416
[startup+1.5136 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32604
/proc/meminfo: memFree=1181900/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=8036 CPUtime=1.35
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 1905 0 0 0 134 1 0 0 25 0 1 0 1010335956 8228864 1840 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 2009 1840 73 172 0 1836 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 10452
[startup+3.11352 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32604
/proc/meminfo: memFree=1180660/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=9752 CPUtime=2.95
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 2337 0 0 0 292 3 0 0 25 0 1 0 1010335956 9986048 2272 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 2438 2272 73 172 0 2265 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 12168
[startup+6.31336 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32604
/proc/meminfo: memFree=1177444/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=12356 CPUtime=6.15
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 3006 0 0 0 612 3 0 0 25 0 1 0 1010335956 12652544 2941 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 3089 2941 73 172 0 2916 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 14772
[startup+12.713 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 319
/proc/meminfo: memFree=1173064/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=16264 CPUtime=12.55
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 3979 0 0 0 1251 4 0 0 25 0 1 0 1010335956 16654336 3914 4294967295 134512640 135215339 3213978800 3213977088 134528679 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 4066 3914 73 172 0 3893 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 18680
[startup+25.5124 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 321
/proc/meminfo: memFree=1167016/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=22328 CPUtime=25.35
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 5501 0 0 0 2530 5 0 0 25 0 1 0 1010335956 22863872 5436 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 5582 5436 73 172 0 5409 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 24744
[startup+51.1212 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 323
/proc/meminfo: memFree=1158184/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=31640 CPUtime=50.96
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 7799 0 0 0 5089 7 0 0 25 0 1 0 1010335956 32399360 7734 4294967295 134512640 135215339 3213978800 3213977088 134528881 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 7910 7734 73 172 0 7737 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 34056
[startup+102.329 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 510
/proc/meminfo: memFree=1152108/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=37472 CPUtime=102.17
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9214 0 0 0 10208 9 0 0 25 0 1 0 1010335956 38371328 9149 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9368 9149 73 172 0 9195 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 39888
[startup+162.326 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 697
/proc/meminfo: memFree=1151868/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=37624 CPUtime=162.17
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9249 0 0 0 16207 10 0 0 25 0 1 0 1010335956 38526976 9184 4294967295 134512640 135215339 3213978800 3213977088 134528776 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9406 9184 73 172 0 9233 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 40040
[startup+222.313 s]
/proc/loadavg: 1.21 1.07 1.02 3/95 896
/proc/meminfo: memFree=1151744/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=37624 CPUtime=222.16
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9265 0 0 0 22202 14 0 0 25 0 1 0 1010335956 38526976 9200 4294967295 134512640 135215339 3213978800 3213977088 134529051 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9406 9200 73 172 0 9233 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 40040
[startup+282.31 s]
/proc/loadavg: 1.08 1.06 1.02 2/95 1092
/proc/meminfo: memFree=1151836/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=37624 CPUtime=282.16
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9265 0 0 0 28201 15 0 0 25 0 1 0 1010335956 38526976 9200 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9406 9200 73 172 0 9233 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 40040
[startup+342.307 s]
/proc/loadavg: 1.03 1.04 1.01 2/95 1279
/proc/meminfo: memFree=1151744/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=37776 CPUtime=342.16
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9298 0 0 0 34201 15 0 0 25 0 1 0 1010335956 38682624 9233 4294967295 134512640 135215339 3213978800 3213977088 134529085 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9444 9233 73 172 0 9271 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 40192
[startup+402.314 s]
/proc/loadavg: 1.01 1.03 1.01 3/95 1469
/proc/meminfo: memFree=1151744/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
################
# More data... #
################
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=37932 CPUtime=462.17
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9342 0 0 0 46202 15 0 0 25 0 1 0 1010335956 38842368 9277 4294967295 134512640 135215339 3213978800 3213977088 134529099 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9483 9277 73 172 0 9310 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 40348
[startup+522.318 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 1845
/proc/meminfo: memFree=1151496/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38108 CPUtime=522.18
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9354 0 0 0 52203 15 0 0 25 0 1 0 1010335956 39022592 9289 4294967295 134512640 135215339 3213978800 3213977088 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9527 9289 73 172 0 9354 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 40524
[startup+582.315 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 2037
/proc/meminfo: memFree=1151596/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38108 CPUtime=582.18
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9354 0 0 0 58201 17 0 0 25 0 1 0 1010335956 39022592 9289 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9527 9289 73 172 0 9354 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 40524
[startup+642.312 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 2224
/proc/meminfo: memFree=1151496/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38108 CPUtime=642.18
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9365 0 0 0 64201 17 0 0 25 0 1 0 1010335956 39022592 9300 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9527 9300 73 172 0 9354 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 40524
[startup+702.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2413
/proc/meminfo: memFree=1151372/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38108 CPUtime=702.18
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9384 0 0 0 70201 17 0 0 25 0 1 0 1010335956 39022592 9319 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9527 9319 73 172 0 9354 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 40524
[startup+762.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2608
/proc/meminfo: memFree=1151380/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38108 CPUtime=762.19
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9384 0 0 0 76202 17 0 0 25 0 1 0 1010335956 39022592 9319 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9527 9319 73 172 0 9354 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 40524
[startup+822.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2803
/proc/meminfo: memFree=1151232/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38280 CPUtime=822.19
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9395 0 0 0 82202 17 0 0 25 0 1 0 1010335956 39198720 9330 4294967295 134512640 135215339 3213978800 3213977088 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9570 9330 73 172 0 9397 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 40696
[startup+882.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2992
/proc/meminfo: memFree=1151248/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38280 CPUtime=882.2
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9421 0 0 0 88203 17 0 0 25 0 1 0 1010335956 39198720 9356 4294967295 134512640 135215339 3213978800 3213977088 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9570 9356 73 172 0 9397 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 40696
[startup+942.328 s]
/proc/loadavg: 1.05 1.01 1.00 3/95 3185
/proc/meminfo: memFree=1150860/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38448 CPUtime=942.21
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9448 0 0 0 94204 17 0 0 25 0 1 0 1010335956 39370752 9383 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9612 9383 73 172 0 9439 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 40864
[startup+1002.31 s]
/proc/loadavg: 1.02 1.01 1.00 2/95 3386
/proc/meminfo: memFree=1150752/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38448 CPUtime=1002.2
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9450 0 0 0 100203 17 0 0 25 0 1 0 1010335956 39370752 9385 4294967295 134512640 135215339 3213978800 3213977088 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9612 9385 73 172 0 9439 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 40864
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3587
/proc/meminfo: memFree=1150636/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38732 CPUtime=1062.2
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9498 0 0 0 106203 17 0 0 25 0 1 0 1010335956 39661568 9433 4294967295 134512640 135215339 3213978800 3213977088 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9683 9433 73 172 0 9510 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 41148
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 3776
/proc/meminfo: memFree=1150728/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38732 CPUtime=1122.2
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9498 0 0 0 112203 17 0 0 25 0 1 0 1010335956 39661568 9433 4294967295 134512640 135215339 3213978800 3213977088 134528779 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9683 9433 73 172 0 9510 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 41148
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3964
/proc/meminfo: memFree=1150620/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38732 CPUtime=1182.21
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9510 0 0 0 118204 17 0 0 25 0 1 0 1010335956 39661568 9445 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9683 9445 73 172 0 9510 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 41148
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3965
/proc/meminfo: memFree=1150636/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38732 CPUtime=1199.91
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9510 0 0 0 119974 17 0 0 25 0 1 0 1010335956 39661568 9445 4294967295 134512640 135215339 3213978800 3213977088 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9683 9445 73 172 0 9510 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 41148
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.09
CPU user time (s): 1199.87
CPU system time (s): 0.22
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 41148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.87
system time used= 0.22
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12438
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= 22
involuntary context switches= 4699
runsolver used 0.04 second user time and 0.02 second system time
The end
Begin job on tipi13 at 2009-05-16 09:19:11
IDJOB=1820608
IDBENCH=20492
IDSOLVER=657
FILE ID=tipi13/1820608-1242458351
PBS_JOBID=
Free space on /tmp= 8130 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_28.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820608-1242458351/watcher-1820608-1242458351 -o /tmp/evaluation-result-1820608-1242458351/solver-1820608-1242458351 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820608-1242458351.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2679ca6fb11bcf9f950de09652ce7147
RANDOM SEED= 204807283
Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1190396 kB
Buffers: 30792 kB
Cached: 757864 kB
SwapCached: 3608 kB
Active: 274800 kB
Inactive: 523512 kB
HighTotal: 1178688 kB
HighFree: 452768 kB
LowTotal: 895776 kB
LowFree: 737628 kB
SwapTotal: 1959888 kB
SwapFree: 1950876 kB
Dirty: 3056 kB
Writeback: 0 kB
AnonPages: 8812 kB
Mapped: 3116 kB
Slab: 76956 kB
PageTables: 632 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90592 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8130 MiB
End job on tipi13 at 2009-05-16 09:39:11