0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 108080 283220 | 32423 0 0 nan | 0.000 % |
0.00/0.06 c ==============================================================================
0.00/0.06 c Result : #vars: 784 #clauses: 108080 #literals: 283220
0.00/0.06 c CPU time: 0.055991 s
0.00/0.06 c ==============================================================================
0.00/0.15 c This is MiniSat 2.0 beta
0.00/0.15 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.15 c ============================[ Problem Statistics ]=============================
0.00/0.15 c | |
0.00/0.15 c | Number of variables: 784 |
0.00/0.15 c | Number of clauses: 108080 |
0.14/0.20 c | Parsing time: 0.05 s |
0.14/0.20 c ============================[ Search Statistics ]==============================
0.14/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.14/0.20 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.14/0.20 c ===============================================================================
0.14/0.20 c | 0 | 784 108080 283220 | 36026 0 nan | 0.000 % |
0.14/0.23 c | 102 | 784 108080 283220 | 36026 102 46 | 0.000 % |
0.14/0.24 c | 202 | 784 108080 283220 | 36026 202 39 | 0.010 % |
0.14/0.26 c | 302 | 784 108080 283220 | 36026 302 32 | 0.011 % |
0.14/0.27 c | 412 | 784 108080 283220 | 36026 412 30 | 0.011 % |
0.14/0.28 c | 516 | 784 108080 283220 | 36026 516 28 | 0.010 % |
0.14/0.30 c | 631 | 784 108080 283220 | 36026 631 35 | 0.000 % |
0.14/0.31 c | 754 | 784 108080 283220 | 36026 754 35 | 0.011 % |
0.14/0.32 c | 854 | 784 108080 283220 | 36026 854 34 | 0.011 % |
0.14/0.33 c | 964 | 784 108080 283220 | 36026 964 33 | 0.011 % |
0.14/0.35 c | 1086 | 784 108080 283220 | 36026 1086 33 | 0.011 % |
0.14/0.36 c | 1220 | 784 108080 283220 | 36026 1220 37 | 0.000 % |
0.14/0.38 c | 1323 | 784 108080 283220 | 36026 1323 37 | 0.011 % |
0.14/0.39 c | 1436 | 784 108080 283220 | 36026 1436 36 | 0.011 % |
0.14/0.41 c | 1558 | 784 108080 283220 | 36026 1558 35 | 0.011 % |
0.14/0.42 c | 1691 | 784 108080 283220 | 36026 1691 38 | 0.000 % |
0.14/0.44 c | 1837 | 784 108080 283220 | 36026 1837 37 | 0.011 % |
0.14/0.45 c | 1938 | 784 108080 283220 | 36026 1938 36 | 0.011 % |
0.14/0.46 c | 2048 | 784 108080 283220 | 36026 2048 35 | 0.011 % |
0.14/0.48 c | 2170 | 784 108080 283220 | 36026 2170 37 | 0.000 % |
0.14/0.49 c | 2306 | 784 108080 283220 | 36026 2306 37 | 0.000 % |
0.14/0.51 c | 2452 | 784 108080 283220 | 36026 2452 36 | 0.011 % |
0.14/0.53 c | 2612 | 784 108080 283220 | 36026 2612 36 | 0.011 % |
0.14/0.54 c | 2712 | 784 108080 283220 | 36026 2712 37 | 0.010 % |
0.14/0.55 c | 2822 | 784 108080 283220 | 36026 2822 37 | 0.011 % |
0.14/0.57 c | 2946 | 784 108080 283220 | 36026 2946 36 | 0.011 % |
0.14/0.58 c | 3079 | 784 108080 283220 | 36026 3079 36 | 0.010 % |
0.14/0.60 c | 3225 | 784 108080 283220 | 36026 3225 38 | 0.000 % |
0.14/0.62 c | 3385 | 784 108080 283220 | 36026 3385 38 | 0.011 % |
0.14/0.64 c | 3561 | 784 108080 283220 | 36026 3561 37 | 0.011 % |
0.14/0.65 c | 3661 | 784 108080 283220 | 36026 3661 39 | 0.000 % |
0.14/0.67 c | 3771 | 784 108080 283220 | 36026 3771 39 | 0.011 % |
0.14/0.69 c | 3893 | 784 108080 283220 | 36026 3893 38 | 0.011 % |
0.14/0.70 c | 4026 | 784 108080 283220 | 36026 4026 38 | 0.011 % |
0.14/0.72 c | 4172 | 784 108080 283220 | 36026 4172 40 | 0.000 % |
0.14/0.74 c | 4333 | 784 108080 283220 | 36026 4333 40 | 0.011 % |
0.14/0.76 c | 4509 | 784 108080 283220 | 36026 4509 40 | 0.011 % |
0.14/0.78 c | 4702 | 784 108080 283220 | 36026 4702 42 | 0.000 % |
0.14/0.80 c | 4803 | 784 108080 283220 | 36026 4803 42 | 0.010 % |
0.14/0.81 c | 4914 | 784 108080 283220 | 36026 4914 41 | 0.011 % |
0.14/0.83 c | 5036 | 784 108080 283220 | 36026 5036 41 | 0.010 % |
0.14/0.84 c | 5173 | 784 108080 283220 | 36026 5173 42 | 0.000 % |
0.14/0.86 c | 5319 | 784 108080 283220 | 36026 5319 41 | 0.011 % |
0.14/0.88 c | 5480 | 784 108080 283220 | 36026 5480 41 | 0.011 % |
0.14/0.91 c | 5657 | 784 108080 283220 | 36026 5657 41 | 0.012 % |
0.14/0.93 c | 5850 | 784 108080 283220 | 36026 5850 40 | 0.011 % |
0.14/0.96 c | 6063 | 784 108080 283220 | 36026 6063 40 | 0.011 % |
0.14/0.97 c | 6164 | 784 108080 283220 | 36026 6164 40 | 0.000 % |
0.14/0.99 c | 6274 | 784 108080 283220 | 36026 6274 40 | 0.000 % |
0.98/1.00 c | 6397 | 784 108080 283220 | 36026 6397 41 | 0.011 % |
0.98/1.02 c | 6531 | 784 108080 283220 | 36026 6531 41 | 0.011 % |
0.98/1.04 c | 6678 | 784 108080 283220 | 36026 6678 41 | 0.000 % |
0.98/1.06 c | 6838 | 784 108080 283220 | 36026 6838 41 | 0.011 % |
0.98/1.09 c | 7014 | 784 108080 283220 | 36026 7014 41 | 0.011 % |
1.08/1.11 c | 7209 | 784 108080 283220 | 36026 7209 43 | 0.000 % |
1.08/1.14 c | 7422 | 784 108080 283220 | 36026 7422 43 | 0.000 % |
1.08/1.17 c | 7659 | 784 108080 283220 | 36026 7659 42 | 0.011 % |
1.08/1.19 c | 7761 | 784 108080 283220 | 36026 7761 42 | 0.011 % |
1.17/1.21 c | 7872 | 784 108080 283220 | 36026 7872 42 | 0.011 % |
1.17/1.23 c | 7994 | 784 108080 283220 | 36026 7994 42 | 0.011 % |
1.17/1.25 c | 8127 | 784 108080 283220 | 36026 8127 41 | 0.011 % |
1.17/1.27 c | 8275 | 784 108080 283220 | 36026 8275 41 | 0.011 % |
1.17/1.30 c | 8435 | 784 108080 283220 | 36026 8435 41 | 0.011 % |
1.27/1.32 c | 8611 | 784 108080 283220 | 36026 8611 40 | 0.011 % |
1.27/1.35 c | 8807 | 784 108080 283220 | 36026 8807 40 | 0.011 % |
1.27/1.39 c | 9020 | 784 108080 283220 | 36026 9020 40 | 0.011 % |
1.37/1.42 c | 9254 | 784 108080 283220 | 36026 9254 41 | 0.000 % |
1.37/1.46 c | 9513 | 784 108080 283220 | 36026 9513 40 | 0.000 % |
1.37/1.48 c | 9613 | 784 108080 283220 | 36026 9613 41 | 0.000 % |
1.37/1.49 c | 9726 | 784 108080 283220 | 36026 9726 41 | 0.011 % |
1.47/1.51 c | 9848 | 784 108080 283220 | 36026 9848 41 | 0.011 % |
1.47/1.54 c | 9981 | 784 108080 283220 | 36026 9981 41 | 0.011 % |
1.47/1.57 c | 10128 | 784 108080 283220 | 2147483647 10128 41 | 0.011 % |
1.47/1.59 c | 10288 | 784 108080 283220 | 2147483647 10288 41 | 0.011 % |
1.57/1.62 c | 10464 | 784 108080 283220 | 2147483647 10464 41 | 0.011 % |
1.57/1.66 c | 10658 | 784 108080 283220 | 2147483647 10658 41 | 0.011 % |
1.57/1.69 c | 10871 | 784 108080 283220 | 2147483647 10871 40 | 0.011 % |
1.67/1.73 c | 11105 | 784 108080 283220 | 2147483647 11105 40 | 0.011 % |
1.67/1.77 c | 11361 | 784 108080 283220 | 2147483647 11361 40 | 0.011 % |
1.78/1.82 c | 11643 | 784 108080 283220 | 2147483647 11643 40 | 0.000 % |
1.78/1.84 c | 11743 | 784 108080 283220 | 2147483647 11743 40 | 0.011 % |
1.78/1.86 c | 11854 | 784 108080 283220 | 2147483647 11854 40 | 0.011 % |
1.78/1.88 c | 11977 | 784 108080 283220 | 2147483647 11977 40 | 0.011 % |
1.88/1.91 c | 12110 | 784 108080 283220 | 2147483647 12110 40 | 0.011 % |
1.88/1.93 c | 12259 | 784 108080 283220 | 2147483647 12259 39 | 0.011 % |
1.88/1.96 c | 12419 | 784 108080 283220 | 2147483647 12419 39 | 0.011 % |
1.88/1.99 c | 12595 | 784 108080 283220 | 2147483647 12595 39 | 0.011 % |
1.98/2.02 c | 12788 | 784 108080 283220 | 2147483647 12788 40 | 0.000 % |
1.98/2.06 c | 13000 | 784 108080 283220 | 2147483647 13000 40 | 0.011 % |
2.08/2.10 c | 13234 | 784 108080 283220 | 2147483647 13234 40 | 0.000 % |
2.08/2.15 c | 13490 | 784 108080 283220 | 2147483647 13490 40 | 0.011 % |
2.08/2.20 c | 13771 | 784 108080 283220 | 2147483647 13771 40 | 0.011 % |
2.18/2.25 c | 14081 | 784 108080 283220 | 2147483647 14081 40 | 0.011 % |
2.18/2.27 c | 14181 | 784 108080 283220 | 2147483647 14181 40 | 0.000 % |
2.18/2.28 c | 14293 | 784 108080 283220 | 2147483647 14293 40 | 0.011 % |
2.27/2.30 c | 14416 | 784 108080 283220 | 2147483647 14416 40 | 0.011 % |
2.27/2.32 c | 14550 | 784 108080 283220 | 2147483647 14550 40 | 0.011 % |
2.27/2.35 c | 14697 | 784 108080 283220 | 2147483647 14697 40 | 0.000 % |
2.27/2.37 c | 14858 | 784 108080 283220 | 2147483647 14858 41 | 0.000 % |
2.37/2.40 c | 15037 | 784 108080 283220 | 2147483647 15037 41 | 0.011 % |
2.37/2.43 c | 15233 | 784 108080 283220 | 2147483647 15233 41 | 0.000 % |
2.37/2.47 c | 15453 | 784 108080 283220 | 2147483647 15453 41 | 0.011 % |
2.47/2.51 c | 15689 | 784 108080 283220 | 2147483647 15689 41 | 0.011 % |
2.47/2.55 c | 15945 | 784 108080 283220 | 2147483647 15945 41 | 0.011 % |
2.57/2.61 c | 16227 | 784 108080 283220 | 2147483647 16227 40 | 0.011 % |
2.57/2.66 c | 16538 | 784 108080 283220 | 2147483647 16538 40 | 0.011 % |
2.67/2.72 c | 16877 | 784 108080 283220 | 2147483647 16877 41 | 0.000 % |
2.67/2.74 c | 16977 | 784 108080 283220 | 2147483647 16977 41 | 0.011 % |
2.67/2.76 c | 17088 | 784 108080 283220 | 2147483647 17088 41 | 0.011 % |
2.67/2.79 c | 17209 | 784 108080 283220 | 2147483647 17209 41 | 0.000 % |
2.77/2.81 c | 17342 | 784 108080 283220 | 2147483647 17342 41 | 0.000 % |
2.77/2.83 c | 17488 | 784 108080 283220 | 2147483647 17488 41 | 0.011 % |
2.77/2.87 c | 17648 | 784 108080 283220 | 2147483647 17648 41 | 0.011 % |
2.87/2.90 c | 17828 | 784 108080 283220 | 2147483647 17828 41 | 0.011 % |
2.87/2.94 c | 18022 | 784 108080 283220 | 2147483647 18022 41 | 0.011 % |
2.87/2.98 c | 18234 | 784 108080 283220 | 2147483647 18234 41 | 0.000 % |
2.97/3.01 c | 18468 | 784 108080 283220 | 2147483647 18468 41 | 0.020 % |
2.97/3.06 c | 18725 | 784 108080 283220 | 2147483647 18725 41 | 0.010 % |
3.07/3.12 c | 19006 | 784 108080 283220 | 2147483647 19006 41 | 0.011 % |
3.07/3.17 c | 19315 | 784 108080 283220 | 2147483647 19315 42 | 0.000 % |
3.17/3.24 c | 19660 | 784 108080 283220 | 2147483647 19660 42 | 0.011 % |
3.27/3.31 c | 20033 | 784 108080 283220 | 2147483647 20033 41 | 0.000 % |
3.27/3.33 c | 20134 | 784 108080 283220 | 2147483647 20134 42 | 0.000 % |
3.27/3.35 c | 20244 | 784 108080 283220 | 2147483647 20244 42 | 0.011 % |
3.27/3.38 c | 20366 | 784 108080 283220 | 2147483647 20366 41 | 0.011 % |
3.36/3.41 c | 20500 | 784 108080 283220 | 2147483647 20500 41 | 0.011 % |
3.36/3.44 c | 20646 | 784 108080 283220 | 2147483647 20646 42 | 0.000 % |
3.36/3.47 c | 20806 | 784 108080 283220 | 2147483647 20806 42 | 0.000 % |
3.46/3.50 c | 20982 | 784 108080 283220 | 2147483647 20982 42 | 0.011 % |
3.46/3.54 c | 21177 | 784 108080 283220 | 2147483647 21177 42 | 0.011 % |
3.46/3.58 c | 21392 | 784 108080 283220 | 2147483647 21392 41 | 0.011 % |
3.56/3.62 c | 21626 | 784 108080 283220 | 2147483647 21626 41 | 0.011 % |
3.56/3.68 c | 21883 | 784 108080 283220 | 2147483647 21883 41 | 0.011 % |
3.66/3.73 c | 22167 | 784 108080 283220 | 2147483647 22167 41 | 0.011 % |
3.66/3.80 c | 22476 | 784 108080 283220 | 2147483647 22476 41 | 0.011 % |
3.76/3.87 c | 22818 | 784 108080 283220 | 2147483647 22818 41 | 0.011 % |
3.86/3.96 c | 23191 | 784 108080 283220 | 2147483647 23191 41 | 0.011 % |
3.96/4.06 c | 23600 | 784 108080 283220 | 2147483647 23600 40 | 0.011 % |
3.96/4.09 c | 23702 | 784 108080 283220 | 2147483647 23702 40 | 0.011 % |
4.06/4.12 c | 23814 | 784 108080 283220 | 2147483647 23814 40 | 0.011 % |
4.06/4.14 c | 23935 | 784 108080 283220 | 2147483647 23935 40 | 0.011 % |
4.06/4.18 c | 24068 | 784 108080 283220 | 2147483647 24068 40 | 0.011 % |
4.16/4.20 c | 24215 | 784 108080 283220 | 2147483647 24215 41 | 0.000 % |
4.16/4.24 c | 24375 | 784 108080 283220 | 2147483647 24375 40 | 0.000 % |
4.16/4.28 c | 24555 | 784 108080 283220 | 2147483647 24555 40 | 0.011 % |
4.26/4.32 c | 24749 | 784 108080 283220 | 2147483647 24749 41 | 0.000 % |
4.26/4.37 c | 24961 | 784 108080 283220 | 2147483647 24961 41 | 0.000 % |
4.37/4.42 c | 25194 | 784 108080 283220 | 2147483647 25194 41 | 0.011 % |
4.37/4.48 c | 25452 | 784 108080 283220 | 2147483647 25452 40 | 0.011 % |
4.47/4.54 c | 25734 | 784 108080 283220 | 2147483647 25734 40 | 0.011 % |
4.57/4.60 c | 26045 | 784 108080 283220 | 2147483647 26045 40 | 0.011 % |
4.57/4.67 c | 26385 | 784 108080 283220 | 2147483647 26385 41 | 0.000 % |
4.67/4.75 c | 26757 | 784 108080 283220 | 2147483647 26757 41 | 0.011 % |
4.77/4.85 c | 27170 | 784 108080 283220 | 2147483647 27170 40 | 0.011 % |
4.87/4.96 c | 27619 | 784 108080 283220 | 2147483647 27619 40 | 0.011 % |
4.87/4.98 c | 27719 | 784 108080 283220 | 2147483647 27719 40 | 0.011 % |
4.97/5.01 c | 27829 | 784 108080 283220 | 2147483647 27829 40 | 0.011 % |
4.97/5.04 c | 27953 | 784 108080 283220 | 2147483647 27953 40 | 0.011 % |
4.97/5.07 c | 28087 | 784 108080 283220 | 2147483647 28087 40 | 0.011 % |
5.07/5.11 c | 28234 | 784 108080 283220 | 2147483647 28234 40 | 0.000 % |
5.07/5.15 c | 28394 | 784 108080 283220 | 2147483647 28394 40 | 0.011 % |
5.07/5.19 c | 28570 | 784 108080 283220 | 2147483647 28570 40 | 0.011 % |
5.17/5.24 c | 28763 | 784 108080 283220 | 2147483647 28763 40 | 0.000 % |
5.17/5.29 c | 28975 | 784 108080 283220 | 2147483647 28975 40 | 0.000 % |
5.27/5.34 c | 29208 | 784 108080 283220 | 2147483647 29208 40 | 0.011 % |
5.37/5.42 c | 29464 | 784 108080 283220 | 2147483647 29464 40 | 0.010 % |
5.37/5.48 c | 29747 | 784 108080 283220 | 2147483647 29747 40 | 0.010 % |
5.47/5.57 c | 30058 | 784 108080 283220 | 2147483647 30058 40 | 0.011 % |
5.57/5.65 c | 30397 | 784 108080 283220 | 2147483647 30397 40 | 0.000 % |
5.67/5.74 c | 30770 | 784 108080 283220 | 2147483647 30770 40 | 0.011 % |
5.77/5.85 c | 31180 | 784 108080 283220 | 2147483647 31180 40 | 0.011 % |
5.87/5.96 c | 31631 | 784 108080 283220 | 2147483647 31631 40 | 0.011 % |
5.97/6.09 c | 32127 | 784 108080 283220 | 2147483647 32127 40 | 0.011 % |
6.07/6.12 c | 32227 | 784 108080 283220 | 2147483647 32227 40 | 0.011 % |
6.07/6.16 c | 32338 | 784 108080 283220 | 2147483647 32338 40 | 0.011 % |
6.07/6.19 c | 32460 | 784 108080 283220 | 2147483647 32460 40 | 0.011 % |
6.17/6.22 c | 32594 | 784 108080 283220 | 2147483647 32594 40 | 0.011 % |
6.17/6.26 c | 32741 | 784 108080 283220 | 2147483647 32741 40 | 0.000 % |
6.17/6.30 c | 32901 | 784 108080 283220 | 2147483647 32901 40 | 0.011 % |
6.26/6.34 c | 33079 | 784 108080 283220 | 2147483647 33079 40 | 0.011 % |
6.26/6.39 c | 33273 | 784 108080 283220 | 2147483647 33273 40 | 0.000 % |
6.36/6.44 c | 33489 | 784 108080 283220 | 2147483647 33489 40 | 0.011 % |
6.47/6.51 c | 33724 | 784 108080 283220 | 2147483647 33724 40 | 0.011 % |
6.47/6.57 c | 33980 | 784 108080 283220 | 2147483647 33980 40 | 0.011 % |
6.57/6.64 c | 34262 | 784 108080 283220 | 2147483647 34262 40 | 0.011 % |
6.66/6.73 c | 34571 | 784 108080 283220 | 2147483647 34571 40 | 0.011 % |
6.76/6.81 c | 34910 | 784 108080 283220 | 2147483647 34910 40 | 0.000 % |
6.76/6.89 c | 35282 | 784 108080 283220 | 2147483647 35282 41 | 0.000 % |
6.96/7.00 c | 35691 | 784 108080 283220 | 2147483647 35691 41 | 0.011 % |
7.06/7.12 c | 36140 | 784 108080 283220 | 2147483647 36140 40 | 0.011 % |
7.16/7.25 c | 36634 | 784 108080 283220 | 2147483647 36634 40 | 0.011 % |
7.36/7.41 c | 37176 | 784 108080 283220 | 2147483647 37176 40 | 0.011 % |
7.36/7.44 c | 37276 | 784 108080 283220 | 2147483647 37276 40 | 0.011 % |
7.36/7.48 c | 37386 | 784 108080 283220 | 2147483647 37386 40 | 0.011 % |
7.46/7.51 c | 37509 | 784 108080 283220 | 2147483647 37509 40 | 0.011 % |
7.46/7.55 c | 37642 | 784 108080 283220 | 2147483647 37642 40 | 0.000 % |
7.46/7.59 c | 37790 | 784 108080 283220 | 2147483647 37790 40 | 0.011 % |
7.56/7.64 c | 37950 | 784 108080 283220 | 2147483647 37950 40 | 0.011 % |
7.56/7.69 c | 38126 | 784 108080 283220 | 2147483647 38126 40 | 0.011 % |
7.66/7.73 c | 38319 | 784 108080 283220 | 2147483647 38319 40 | 0.011 % |
7.76/7.80 c | 38532 | 784 108080 283220 | 2147483647 38532 40 | 0.011 % |
7.76/7.85 c | 38766 | 784 108080 283220 | 2147483647 38766 40 | 0.000 % |
7.86/7.91 c | 39022 | 784 108080 283220 | 2147483647 39022 40 | 0.000 % |
7.96/8.00 c | 39304 | 784 108080 283220 | 2147483647 39304 41 | 0.000 % |
7.96/8.08 c | 39613 | 784 108080 283220 | 2147483647 39613 41 | 0.000 % |
8.06/8.17 c | 39952 | 784 108080 283220 | 2147483647 39952 41 | 0.011 % |
8.16/8.28 c | 40327 | 784 108080 283220 | 2147483647 40327 40 | 0.011 % |
8.26/8.38 c | 40738 | 784 108080 283220 | 2147483647 40738 40 | 0.011 % |
8.36/8.49 c | 41188 | 784 108080 283220 | 2147483647 41188 40 | 0.011 % |
8.56/8.62 c | 41682 | 784 108080 283220 | 2147483647 41682 40 | 0.011 % |
8.66/8.78 c | 42226 | 784 108080 283220 | 2147483647 42226 40 | 0.011 % |
8.86/8.97 c | 42822 | 784 108080 283220 | 2147483647 42822 40 | 0.000 % |
8.96/9.00 c | 42925 | 784 108080 283220 | 2147483647 42925 40 | 0.011 % |
8.96/9.04 c | 43038 | 784 108080 283220 | 2147483647 43038 40 | 0.011 % |
8.96/9.07 c | 43159 | 784 108080 283220 | 2147483647 43159 40 | 0.000 % |
9.06/9.11 c | 43295 | 784 108080 283220 | 2147483647 43295 40 | 0.011 % |
9.06/9.15 c | 43441 | 784 108080 283220 | 2147483647 43441 40 | 0.011 % |
9.06/9.19 c | 43601 | 784 108080 283220 | 2147483647 43601 40 | 0.011 % |
9.16/9.25 c | 43778 | 784 108080 283220 | 2147483647 43778 40 | 0.011 % |
9.26/9.31 c | 43971 | 784 108080 283220 | 2147483647 43971 40 | 0.011 % |
9.26/9.36 c | 44186 | 784 108080 283220 | 2147483647 44186 40 | 0.011 % |
9.36/9.43 c | 44419 | 784 108080 283220 | 2147483647 44419 40 | 0.011 % |
9.46/9.51 c | 44678 | 784 108080 283220 | 2147483647 44678 40 | 0.000 % |
9.46/9.59 c | 44960 | 784 108080 283220 | 2147483647 44960 40 | 0.011 % |
9.56/9.69 c | 45271 | 784 108080 283220 | 2147483647 45271 40 | 0.000 % |
9.66/9.78 c | 45610 | 784 108080 283220 | 2147483647 45610 40 | 0.011 % |
9.87/9.91 c | 45984 | 784 108080 283220 | 2147483647 45984 40 | 0.011 % |
9.96/10.06 c | 46393 | 784 108080 283220 | 2147483647 46393 40 | 0.011 % |
10.16/10.22 c | 46842 | 784 108080 283220 | 2147483647 46842 40 | 0.011 % |
10.26/10.38 c | 47336 | 784 108080 283220 | 2147483647 47336 39 | 0.011 % |
10.46/10.55 c | 47878 | 784 108080 283220 | 2147483647 47878 39 | 0.011 % |
10.66/10.75 c | 48475 | 784 108080 283220 | 2147483647 48475 39 | 0.011 % |
10.86/10.95 c | 49132 | 784 108080 283220 | 2147483647 49132 39 | 0.011 % |
10.86/10.99 c | 49233 | 784 108080 283220 | 2147483647 49233 39 | 0.011 % |
10.96/11.03 c | 49343 | 784 108080 283220 | 2147483647 49343 39 | 0.011 % |
10.96/11.08 c | 49465 | 784 108080 283220 | 2147483647 49465 39 | 0.011 % |
11.06/11.13 c | 49601 | 784 108080 283220 | 2147483647 49601 39 | 0.011 % |
11.06/11.18 c | 49748 | 784 108080 283220 | 2147483647 49748 39 | 0.011 % |
11.16/11.24 c | 49908 | 784 108080 283220 | 2147483647 49908 39 | 0.011 % |
11.16/11.29 c | 50084 | 784 108080 283220 | 2147483647 50084 39 | 0.011 % |
11.26/11.35 c | 50278 | 784 108080 283220 | 2147483647 50278 39 | 0.000 % |
11.36/11.43 c | 50493 | 784 108080 283220 | 2147483647 50493 39 | 0.000 % |
11.46/11.51 c | 50728 | 784 108080 283220 | 2147483647 50728 39 | 0.011 % |
11.46/11.59 c | 50984 | 784 108080 283220 | 2147483647 50984 39 | 0.010 % |
11.56/11.69 c | 51272 | 784 108080 283220 | 2147483647 51272 39 | 0.010 % |
11.66/11.78 c | 51581 | 784 108080 283220 | 2147483647 51581 39 | 0.011 % |
11.86/11.90 c | 51920 | 784 108080 283220 | 2147483647 51920 39 | 0.000 % |
11.96/12.03 c | 52293 | 784 108080 283220 | 2147483647 52293 39 | 0.000 % |
12.06/12.15 c | 52703 | 784 108080 283220 | 2147483647 52703 39 | 0.011 % |
12.15/12.29 c | 53154 | 784 108080 283220 | 2147483647 53154 39 | 0.011 % |
12.35/12.46 c | 53648 | 784 108080 283220 | 2147483647 53648 39 | 0.011 % |
12.55/12.64 c | 54190 | 784 108080 283220 | 2147483647 54190 39 | 0.011 % |
12.75/12.85 c | 54787 | 784 108080 283220 | 2147483647 54787 39 | 0.011 % |
12.95/13.05 c | 55442 | 784 108080 283220 | 2147483647 55442 39 | 0.011 % |
13.25/13.30 c | 56164 | 784 108080 283220 | 2147483647 56164 39 | 0.011 % |
13.25/13.34 c | 56265 | 784 108080 283220 | 2147483647 56265 39 | 0.011 % |
13.25/13.37 c | 56376 | 784 108080 283220 | 2147483647 56376 39 | 0.011 % |
13.35/13.41 c | 56497 | 784 108080 283220 | 2147483647 56497 39 | 0.011 % |
13.35/13.46 c | 56632 | 784 108080 283220 | 2147483647 56632 39 | 0.011 % |
13.45/13.51 c | 56778 | 784 108080 283220 | 2147483647 56778 39 | 0.011 % |
13.45/13.56 c | 56940 | 784 108080 283220 | 2147483647 56940 39 | 0.011 % |
13.55/13.62 c | 57116 | 784 108080 283220 | 2147483647 57116 39 | 0.011 % |
13.55/13.68 c | 57310 | 784 108080 283220 | 2147483647 57310 39 | 0.011 % |
13.65/13.76 c | 57523 | 784 108080 283220 | 2147483647 57523 39 | 0.011 % |
13.75/13.84 c | 57757 | 784 108080 283220 | 2147483647 57757 39 | 0.000 % |
13.85/13.92 c | 58014 | 784 108080 283220 | 2147483647 58014 39 | 0.011 % |
13.95/14.02 c | 58295 | 784 108080 283220 | 2147483647 58295 39 | 0.000 % |
14.05/14.11 c | 58605 | 784 108080 283220 | 2147483647 58605 39 | 0.000 % |
14.15/14.23 c | 58945 | 784 108080 283220 | 2147483647 58945 39 | 0.011 % |
14.25/14.36 c | 59317 | 784 108080 283220 | 2147483647 59317 39 | 0.011 % |
14.44/14.51 c | 59726 | 784 108080 283220 | 2147483647 59726 39 | 0.011 % |
14.54/14.67 c | 60177 | 784 108080 283220 | 2147483647 60177 39 | 0.011 % |
14.74/14.84 c | 60671 | 784 108080 283220 | 2147483647 60671 39 | 0.011 % |
14.94/15.05 c | 61214 | 784 108080 283220 | 2147483647 61214 39 | 0.011 % |
15.14/15.27 c | 61812 | 784 108080 283220 | 2147483647 61812 39 | 0.011 % |
15.44/15.52 c | 62468 | 784 108080 283220 | 2147483647 62468 39 | 0.011 % |
15.75/15.80 c | 63188 | 784 108080 283220 | 2147483647 63188 39 | 0.011 % |
15.95/16.06 c | 63980 | 784 108080 283220 | 2147483647 63980 39 | 0.011 % |
16.05/16.10 c | 64081 | 784 108080 283220 | 2147483647 64081 39 | 0.011 % |
16.05/16.13 c | 64191 | 784 108080 283220 | 2147483647 64191 39 | 0.000 % |
16.05/16.18 c | 64312 | 784 108080 283220 | 2147483647 64312 39 | 0.000 % |
16.15/16.23 c | 64445 | 784 108080 283220 | 2147483647 64445 39 | 0.011 % |
16.15/16.28 c | 64595 | 784 108080 283220 | 2147483647 64595 39 | 0.011 % |
16.25/16.33 c | 64755 | 784 108080 283220 | 2147483647 64755 39 | 0.000 % |
16.25/16.39 c | 64934 | 784 108080 283220 | 2147483647 64934 39 | 0.000 % |
16.35/16.46 c | 65129 | 784 108080 283220 | 2147483647 65129 39 | 0.000 % |
16.45/16.54 c | 65344 | 784 108080 283220 | 2147483647 65344 39 | 0.000 % |
16.55/16.65 c | 65578 | 784 108080 283220 | 2147483647 65578 39 | 0.011 % |
16.65/16.75 c | 65834 | 784 108080 283220 | 2147483647 65834 39 | 0.000 % |
16.75/16.83 c | 66115 | 784 108080 283220 | 2147483647 66115 39 | 0.000 % |
16.85/16.93 c | 66426 | 784 108080 283220 | 2147483647 66426 39 | 0.011 % |
16.95/17.06 c | 66768 | 784 108080 283220 | 2147483647 66768 39 | 0.011 % |
17.15/17.21 c | 67140 | 784 108080 283220 | 2147483647 67140 39 | 0.011 % |
17.25/17.38 c | 67549 | 784 108080 283220 | 2147483647 67549 39 | 0.011 % |
17.45/17.54 c | 67998 | 784 108080 283220 | 2147483647 67998 39 | 0.000 % |
17.65/17.73 c | 68493 | 784 108080 283220 | 2147483647 68493 39 | 0.010 % |
17.85/17.99 c | 69035 | 784 108080 283220 | 2147483647 69035 39 | 0.011 % |
18.15/18.24 c | 69632 | 784 108080 283220 | 2147483647 69632 39 | 0.000 % |
18.35/18.49 c | 70287 | 784 108080 283220 | 2147483647 70287 39 | 0.011 % |
18.65/18.79 c | 71007 | 784 108080 283220 | 2147483647 71007 39 | 0.011 % |
19.05/19.12 c | 71799 | 784 108080 283220 | 2147483647 71799 40 | 0.000 % |
19.34/19.45 c | 72674 | 784 108080 283220 | 2147483647 72674 40 | 0.000 % |
19.34/19.49 c | 72775 | 784 108080 283220 | 2147483647 72775 40 | 0.011 % |
19.44/19.54 c | 72890 | 784 108080 283220 | 2147483647 72890 40 | 0.011 % |
19.54/19.60 c | 73012 | 784 108080 283220 | 2147483647 73012 40 | 0.011 % |
19.54/19.67 c | 73146 | 784 108080 283220 | 2147483647 73146 40 | 0.000 % |
19.64/19.75 c | 73292 | 784 108080 283220 | 2147483647 73292 40 | 0.011 % |
19.74/19.83 c | 73452 | 784 108080 283220 | 2147483647 73452 40 | 0.011 % |
19.84/19.92 c | 73635 | 784 108080 283220 | 2147483647 73635 40 | 0.011 % |
19.94/20.01 c | 73831 | 784 108080 283220 | 2147483647 73831 40 | 0.011 % |
20.04/20.12 c | 74043 | 784 108080 283220 | 2147483647 74043 40 | 0.011 % |
20.14/20.22 c | 74277 | 784 108080 283220 | 2147483647 74277 40 | 0.000 % |
20.24/20.32 c | 74533 | 784 108080 283220 | 2147483647 74533 40 | 0.000 % |
20.34/20.46 c | 74814 | 784 108080 283220 | 2147483647 74814 40 | 0.000 % |
20.54/20.61 c | 75125 | 784 108080 283220 | 2147483647 75125 40 | 0.011 % |
20.64/20.77 c | 75465 | 784 108080 283220 | 2147483647 75465 40 | 0.011 % |
20.85/20.94 c | 75837 | 784 108080 283220 | 2147483647 75837 40 | 0.011 % |
21.04/21.13 c | 76249 | 784 108080 283220 | 2147483647 76249 40 | 0.011 % |
21.24/21.33 c | 76698 | 784 108080 283220 | 2147483647 76698 40 | 0.011 % |
21.44/21.58 c | 77191 | 784 108080 283220 | 2147483647 77191 40 | 0.011 % |
21.74/21.86 c | 77737 | 784 108080 283220 | 2147483647 77737 40 | 0.011 % |
22.04/22.10 c | 78333 | 784 108080 283220 | 2147483647 78333 40 | 0.011 % |
22.34/22.43 c | 78989 | 784 108080 283220 | 2147483647 78989 40 | 0.011 % |
22.64/22.80 c | 79709 | 784 108080 283220 | 2147483647 79709 40 | 0.011 % |
23.05/23.16 c | 80503 | 784 108080 283220 | 2147483647 80503 40 | 0.011 % |
23.44/23.55 c | 81374 | 784 108080 283220 | 2147483647 81374 40 | 0.000 % |
23.94/24.05 c | 82332 | 784 108080 283220 | 2147483647 82332 40 | 0.011 % |
23.94/24.10 c | 82433 | 784 108080 283220 | 2147483647 82433 40 | 0.011 % |
24.04/24.16 c | 82543 | 784 108080 283220 | 2147483647 82543 40 | 0.011 % |
24.14/24.23 c | 82665 | 784 108080 283220 | 2147483647 82665 40 | 0.000 % |
24.14/24.29 c | 82805 | 784 108080 283220 | 2147483647 82805 40 | 0.011 % |
24.24/24.35 c | 82951 | 784 108080 283220 | 2147483647 82951 40 | 0.011 % |
24.34/24.45 c | 83114 | 784 108080 283220 | 2147483647 83114 40 | 0.001 % |
24.44/24.56 c | 83290 | 784 108080 283220 | 2147483647 83290 40 | 0.011 % |
24.54/24.67 c | 83485 | 784 108080 283220 | 2147483647 83485 40 | 0.011 % |
24.64/24.78 c | 83698 | 784 108080 283220 | 2147483647 83698 40 | 0.011 % |
24.74/24.88 c | 83931 | 784 108080 283220 | 2147483647 83931 40 | 0.011 % |
24.94/25.01 c | 84187 | 784 108080 283220 | 2147483647 84187 40 | 0.011 % |
25.04/25.15 c | 84470 | 784 108080 283220 | 2147483647 84470 40 | 0.011 % |
25.14/25.29 c | 84779 | 784 108080 283220 | 2147483647 84779 40 | 0.011 % |
25.34/25.45 c | 85119 | 784 108080 283220 | 2147483647 85119 40 | 0.011 % |
25.54/25.64 c | 85492 | 784 108080 283220 | 2147483647 85492 40 | 0.011 % |
25.74/25.82 c | 85902 | 784 108080 283220 | 2147483647 85902 40 | 0.011 % |
25.94/26.04 c | 86352 | 784 108080 283220 | 2147483647 86352 40 | 0.011 % |
26.14/26.28 c | 86849 | 784 108080 283220 | 2147483647 86849 40 | 0.011 % |
26.44/26.55 c | 87391 | 784 108080 283220 | 2147483647 87391 40 | 0.011 % |
26.74/26.87 c | 87988 | 784 108080 283220 | 2147483647 87988 40 | 0.011 % |
27.04/27.19 c | 88643 | 784 108080 283220 | 2147483647 88643 40 | 0.011 % |
27.44/27.55 c | 89364 | 784 108080 283220 | 2147483647 89364 40 | 0.011 % |
27.94/28.02 c | 90156 | 784 108080 283220 | 2147483647 90156 39 | 0.012 % |
28.44/28.53 c | 91030 | 784 108080 283220 | 2147483647 91030 39 | 0.011 % |
28.83/28.98 c | 91993 | 784 108080 283220 | 2147483647 91993 40 | 0.000 % |
29.43/29.59 c | 93052 | 784 108080 283220 | 2147483647 93052 40 | 0.000 % |
29.54/29.65 c | 93152 | 784 108080 283220 | 2147483647 93152 40 | 0.000 % |
29.64/29.71 c | 93263 | 784 108080 283220 | 2147483647 93263 40 | 0.011 % |
29.64/29.77 c | 93384 | 784 108080 283220 | 2147483647 93384 40 | 0.011 % |
29.73/29.85 c | 93517 | 784 108080 283220 | 2147483647 93517 40 | 0.011 % |
29.83/29.93 c | 93667 | 784 108080 283220 | 2147483647 93667 40 | 0.000 % |
29.93/30.03 c | 93832 | 784 108080 283220 | 2147483647 93832 40 | 0.011 % |
30.03/30.13 c | 94008 | 784 108080 283220 | 2147483647 94008 40 | 0.011 % |
30.13/30.23 c | 94203 | 784 108080 283220 | 2147483647 94203 40 | 0.000 % |
30.23/30.35 c | 94419 | 784 108080 283220 | 2147483647 94419 40 | 0.011 % |
30.34/30.49 c | 94654 | 784 108080 283220 | 2147483647 94654 40 | 0.011 % |
30.54/30.65 c | 94911 | 784 108080 283220 | 2147483647 94911 40 | 0.011 % |
30.74/30.81 c | 95193 | 784 108080 283220 | 2147483647 95193 40 | 0.011 % |
30.84/30.98 c | 95502 | 784 108080 283220 | 2147483647 95502 40 | 0.011 % |
31.04/31.18 c | 95844 | 784 108080 283220 | 2147483647 95844 40 | 0.000 % |
31.24/31.38 c | 96216 | 784 108080 283220 | 2147483647 96216 40 | 0.000 % |
31.54/31.61 c | 96625 | 784 108080 283220 | 2147483647 96625 40 | 0.011 % |
31.74/31.87 c | 97074 | 784 108080 283220 | 2147483647 97074 40 | 0.000 % |
32.04/32.13 c | 97568 | 784 108080 283220 | 2147483647 97568 41 | 0.000 % |
32.33/32.43 c | 98110 | 784 108080 283220 | 2147483647 98110 41 | 0.000 % |
32.63/32.78 c | 98707 | 784 108080 283220 | 2147483647 98707 41 | 0.011 % |
33.03/33.18 c | 99363 | 784 108080 283220 | 2147483647 99363 41 | 0.011 % |
33.43/33.58 c | 100089 | 784 108080 283220 | 2147483647 100089 41 | 0.011 % |
33.83/33.99 c | 100881 | 784 108080 283220 | 2147483647 100881 41 | 0.000 % |
34.33/34.47 c | 101752 | 784 108080 283220 | 2147483647 101752 41 | 0.000 % |
34.93/35.08 c | 102712 | 784 108080 283220 | 2147483647 102712 41 | 0.011 % |
35.64/35.75 c | 103768 | 784 108080 283220 | 2147483647 103768 41 | 0.011 % |
36.34/36.44 c | 104926 | 784 108080 283220 | 2147483647 104926 41 | 0.011 % |
36.44/36.50 c | 105028 | 784 108080 283220 | 2147483647 105028 41 | 0.000 % |
36.44/36.57 c | 105138 | 784 108080 283220 | 2147483647 105138 41 | 0.000 % |
36.54/36.65 c | 105259 | 784 108080 283220 | 2147483647 105259 41 | 0.011 % |
36.64/36.73 c | 105394 | 784 108080 283220 | 2147483647 105394 41 | 0.011 % |
36.74/36.81 c | 105540 | 784 108080 283220 | 2147483647 105540 41 | 0.011 % |
36.74/36.89 c | 105700 | 784 108080 283220 | 2147483647 105700 41 | 0.000 % |
36.94/37.00 c | 105877 | 784 108080 283220 | 2147483647 105877 41 | 0.000 % |
37.04/37.12 c | 106072 | 784 108080 283220 | 2147483647 106072 41 | 0.011 % |
37.14/37.25 c | 106285 | 784 108080 283220 | 2147483647 106285 41 | 0.000 % |
37.24/37.39 c | 106518 | 784 108080 283220 | 2147483647 106518 41 | 0.011 % |
37.43/37.53 c | 106775 | 784 108080 283220 | 2147483647 106775 41 | 0.000 % |
37.63/37.71 c | 107058 | 784 108080 283220 | 2147483647 107058 41 | 0.000 % |
37.83/37.92 c | 107367 | 784 108080 283220 | 2147483647 107367 42 | 0.000 % |
38.03/38.13 c | 107707 | 784 108080 283220 | 2147483647 107707 42 | 0.000 % |
38.23/38.35 c | 108080 | 784 108080 283220 | 2147483647 108080 42 | 0.011 % |
38.53/38.62 c | 108489 | 784 108080 283220 | 2147483647 108489 42 | 0.000 % |
38.83/38.92 c | 108943 | 784 108080 283220 | 2147483647 108943 42 | 0.010 % |
39.13/39.26 c | 109436 | 784 108080 283220 | 2147483647 109436 42 | 0.011 % |
39.53/39.65 c | 109979 | 784 108080 283220 | 2147483647 109979 41 | 0.010 % |
39.93/40.07 c | 110575 | 784 108080 283220 | 2147483647 110575 41 | 0.011 % |
40.43/40.50 c | 111231 | 784 108080 283220 | 2147483647 111231 42 | 0.000 % |
40.82/40.99 c | 111952 | 784 108080 283220 | 2147483647 111952 42 | 0.011 % |
41.42/41.53 c | 112745 | 784 108080 283220 | 2147483647 112745 42 | 0.011 % |
42.02/42.18 c | 113616 | 784 108080 283220 | 2147483647 113616 42 | 0.011 % |
42.73/42.86 c | 114576 | 784 108080 283220 | 2147483647 114576 41 | 0.011 % |
43.42/43.56 c | 115629 | 784 108080 283220 | 2147483647 115629 42 | 0.000 % |
44.22/44.39 c | 116788 | 784 108080 283220 | 2147483647 116788 42 | 0.000 % |
45.12/45.29 c | 118061 | 784 108080 283220 | 2147483647 118061 42 | 0.011 % |
45.22/45.36 c | 118161 | 784 108080 283220 | 2147483647 118161 42 | 0.000 % |
45.32/45.47 c | 118273 | 784 108080 283220 | 2147483647 118273 42 | 0.011 % |
45.42/45.54 c | 118395 | 784 108080 283220 | 2147483647 118395 42 | 0.011 % |
45.52/45.63 c | 118532 | 784 108080 283220 | 2147483647 118532 42 | 0.000 % |
45.62/45.74 c | 118679 | 784 108080 283220 | 2147483647 118679 42 | 0.000 % |
45.72/45.86 c | 118840 | 784 108080 283220 | 2147483647 118840 42 | 0.011 % |
45.82/45.99 c | 119016 | 784 108080 283220 | 2147483647 119016 42 | 0.011 % |
46.02/46.12 c | 119210 | 784 108080 283220 | 2147483647 119210 42 | 0.000 % |
46.12/46.24 c | 119423 | 784 108080 283220 | 2147483647 119423 42 | 0.011 % |
46.22/46.40 c | 119656 | 784 108080 283220 | 2147483647 119656 42 | 0.010 % |
46.42/46.55 c | 119912 | 784 108080 283220 | 2147483647 119912 42 | 0.011 % |
46.62/46.73 c | 120194 | 784 108080 283220 | 2147483647 120194 42 | 0.011 % |
46.82/46.95 c | 120505 | 784 108080 283220 | 2147483647 120505 42 | 0.010 % |
47.12/47.23 c | 120844 | 784 108080 283220 | 2147483647 120844 42 | 0.000 % |
47.42/47.55 c | 121216 | 784 108080 283220 | 2147483647 121216 42 | 0.011 % |
47.82/47.91 c | 121627 | 784 108080 283220 | 2147483647 121627 42 | 0.011 % |
48.22/48.34 c | 122078 | 784 108080 283220 | 2147483647 122078 42 | 0.011 % |
48.63/48.70 c | 122572 | 784 108080 283220 | 2147483647 122572 43 | 0.000 % |
49.02/49.16 c | 123116 | 784 108080 283220 | 2147483647 123116 43 | 0.000 % |
49.52/49.63 c | 123713 | 784 108080 283220 | 2147483647 123713 43 | 0.011 % |
50.02/50.14 c | 124368 | 784 108080 283220 | 2147483647 124368 43 | 0.010 % |
50.62/50.78 c | 125088 | 784 108080 283220 | 2147483647 125088 43 | 0.010 % |
51.22/51.37 c | 125883 | 784 108080 283220 | 2147483647 125883 43 | 0.000 % |
51.92/52.04 c | 126758 | 784 108080 283220 | 2147483647 126758 43 | 0.000 % |
52.72/52.83 c | 127721 | 784 108080 283220 | 2147483647 127721 43 | 0.011 % |
53.62/53.73 c | 128778 | 784 108080 283220 | 2147483647 128778 43 | 0.011 % |
54.42/54.54 c | 129936 | 784 108080 283220 | 2147483647 129936 43 | 0.011 % |
55.72/55.82 c | 131211 | 784 108080 283220 | 2147483647 131211 43 | 0.011 % |
56.92/57.01 c | 132611 | 784 108080 283220 | 2147483647 132611 43 | 0.011 % |
56.92/57.09 c | 132712 | 784 108080 283220 | 2147483647 132712 43 | 0.011 % |
57.02/57.18 c | 132823 | 784 108080 283220 | 2147483647 132823 43 | 0.011 % |
57.12/57.27 c | 132946 | 784 108080 283220 | 2147483647 132946 43 | 0.011 % |
57.22/57.38 c | 133081 | 784 108080 283220 | 2147483647 133081 43 | 0.011 % |
57.42/57.51 c | 133229 | 784 108080 283220 | 2147483647 133229 43 | 0.000 % |
57.52/57.62 c | 133389 | 784 108080 283220 | 2147483647 133389 43 | 0.000 % |
57.62/57.73 c | 133565 | 784 108080 283220 | 2147483647 133565 43 | 0.011 % |
57.71/57.87 c | 133759 | 784 108080 283220 | 2147483647 133759 43 | 0.000 % |
57.91/58.03 c | 133971 | 784 108080 283220 | 2147483647 133971 43 | 0.000 % |
58.12/58.24 c | 134204 | 784 108080 283220 | 2147483647 134204 43 | 0.011 % |
58.31/58.49 c | 134463 | 784 108080 283220 | 2147483647 134463 43 | 0.011 % |
58.61/58.72 c | 134745 | 784 108080 283220 | 2147483647 134745 43 | 0.011 % |
58.81/58.98 c | 135055 | 784 108080 283220 | 2147483647 135055 43 | 0.011 % |
59.12/59.25 c | 135398 | 784 108080 283220 | 2147483647 135398 43 | 0.000 % |
59.42/59.57 c | 135771 | 784 108080 283220 | 2147483647 135771 43 | 0.011 % |
59.82/59.95 c | 136183 | 784 108080 283220 | 2147483647 136183 43 | 0.011 % |
60.22/60.35 c | 136632 | 784 108080 283220 | 2147483647 136632 43 | 0.010 % |
60.62/60.77 c | 137128 | 784 108080 283220 | 2147483647 137128 43 | 0.010 % |
61.12/61.25 c | 137670 | 784 108080 283220 | 2147483647 137670 43 | 0.011 % |
61.62/61.72 c | 138267 | 784 108080 283220 | 2147483647 138267 43 | 0.011 % |
62.22/62.31 c | 138926 | 784 108080 283220 | 2147483647 138926 43 | 0.011 % |
62.92/63.06 c | 139646 | 784 108080 283220 | 2147483647 139646 43 | 0.011 % |
63.62/63.74 c | 140438 | 784 108080 283220 | 2147483647 140438 43 | 0.011 % |
64.31/64.48 c | 141309 | 784 108080 283220 | 2147483647 141309 43 | 0.011 % |
65.11/65.23 c | 142267 | 784 108080 283220 | 2147483647 142267 43 | 0.011 % |
66.01/66.13 c | 143320 | 784 108080 283220 | 2147483647 143320 43 | 0.012 % |
67.01/67.15 c | 144482 | 784 108080 283220 | 2147483647 144482 43 | 0.000 % |
68.31/68.40 c | 145758 | 784 108080 283220 | 2147483647 145758 43 | 0.011 % |
69.61/69.74 c | 147160 | 784 108080 283220 | 2147483647 147160 43 | 0.012 % |
71.21/71.32 c | 148701 | 784 108080 283220 | 2147483647 148701 43 | 0.012 % |
71.31/71.41 c | 148801 | 784 108080 283220 | 2147483647 148801 43 | 0.011 % |
71.41/71.54 c | 148911 | 784 108080 283220 | 2147483647 148911 43 | 0.011 % |
71.50/71.67 c | 149033 | 784 108080 283220 | 2147483647 149033 42 | 0.012 % |
71.70/71.83 c | 149166 | 784 108080 283220 | 2147483647 149166 43 | 0.000 % |
71.80/71.94 c | 149313 | 784 108080 283220 | 2147483647 149313 43 | 0.000 % |
71.90/72.10 c | 149477 | 784 108080 283220 | 2147483647 149477 43 | 0.010 % |
72.10/72.27 c | 149654 | 784 108080 283220 | 2147483647 149654 43 | 0.010 % |
72.30/72.47 c | 149848 | 784 108080 283220 | 2147483647 149848 42 | 0.010 % |
72.51/72.64 c | 150062 | 784 108080 283220 | 150000 150062 42 | 0.010 % |
72.90/73.04 c | 150302 | 784 108080 283220 | 150000 133093 43 | 0.000 % |
73.10/73.23 c | 150561 | 784 108080 283220 | 150000 133352 43 | 0.011 % |
73.30/73.48 c | 150843 | 784 108080 283220 | 150000 133634 43 | 0.000 % |
73.61/73.75 c | 151152 | 784 108080 283220 | 150000 133943 43 | 0.011 % |
73.90/74.05 c | 151492 | 784 108080 283220 | 150000 134283 43 | 0.011 % |
74.20/74.38 c | 151865 | 784 108080 283220 | 150000 134656 43 | 0.011 % |
74.61/74.75 c | 152276 | 784 108080 283220 | 150000 135067 43 | 0.010 % |
75.00/75.13 c | 152729 | 784 108080 283220 | 150000 135520 43 | 0.011 % |
75.40/75.55 c | 153222 | 784 108080 283220 | 150000 136013 43 | 0.011 % |
75.90/76.01 c | 153764 | 784 108080 283220 | 150000 136555 43 | 0.011 % |
76.40/76.52 c | 154364 | 784 108080 283220 | 150000 137155 42 | 0.011 % |
77.00/77.11 c | 155021 | 784 108080 283220 | 150000 137812 42 | 0.000 % |
77.60/77.73 c | 155743 | 784 108080 283220 | 150000 138534 43 | 0.000 % |
78.40/78.51 c | 156537 | 784 108080 283220 | 150000 139328 43 | 0.000 % |
79.20/79.31 c | 157410 | 784 108080 283220 | 150000 140201 43 | 0.000 % |
80.00/80.14 c | 158369 | 784 108080 283220 | 150000 141160 43 | 0.011 % |
81.00/81.14 c | 159422 | 784 108080 283220 | 150000 142213 43 | 0.011 % |
82.10/82.26 c | 160580 | 784 108080 283220 | 142793 127444 43 | 0.000 % |
83.10/83.28 c | 161853 | 784 108080 283220 | 142793 128717 43 | 0.000 % |
84.20/84.35 c | 163253 | 784 108080 283220 | 142793 130117 43 | 0.011 % |
85.50/85.63 c | 164794 | 784 108080 283220 | 142793 131658 43 | 0.000 % |
86.80/86.97 c | 166488 | 784 108080 283220 | 142793 133352 43 | 0.011 % |
86.90/87.06 c | 166590 | 784 108080 283220 | 142793 133454 43 | 0.011 % |
87.00/87.18 c | 166700 | 784 108080 283220 | 142793 133564 43 | 0.000 % |
87.10/87.29 c | 166821 | 784 108080 283220 | 142793 133685 43 | 0.000 % |
87.30/87.43 c | 166954 | 784 108080 283220 | 142793 133818 43 | 0.011 % |
87.40/87.59 c | 167100 | 784 108080 283220 | 142793 133964 43 | 0.011 % |
87.59/87.74 c | 167260 | 784 108080 283220 | 142793 134124 43 | 0.011 % |
87.80/87.94 c | 167443 | 784 108080 283220 | 142793 134307 43 | 0.011 % |
87.99/88.14 c | 167636 | 784 108080 283220 | 142793 134500 43 | 0.010 % |
88.19/88.36 c | 167854 | 784 108080 283220 | 142793 134718 43 | 0.000 % |
88.39/88.58 c | 168087 | 784 108080 283220 | 142793 134951 43 | 0.011 % |
88.69/88.83 c | 168346 | 784 108080 283220 | 142793 135210 43 | 0.000 % |
88.90/89.09 c | 168627 | 784 108080 283220 | 142793 135491 43 | 0.011 % |
89.29/89.40 c | 168939 | 784 108080 283220 | 142793 135803 43 | 0.011 % |
89.59/89.76 c | 169281 | 784 108080 283220 | 142793 136145 43 | 0.011 % |
89.89/90.07 c | 169653 | 784 108080 283220 | 142793 136517 43 | 0.011 % |
90.29/90.46 c | 170062 | 784 108080 283220 | 136867 136926 43 | 0.011 % |
90.89/91.03 c | 170511 | 784 108080 283220 | 136867 122447 44 | 0.000 % |
91.29/91.47 c | 171007 | 784 108080 283220 | 136867 122943 44 | 0.000 % |
91.79/91.91 c | 171550 | 784 108080 283220 | 136867 123486 44 | 0.000 % |
92.30/92.49 c | 172147 | 784 108080 283220 | 136867 124083 44 | 0.000 % |
92.89/93.04 c | 172803 | 784 108080 283220 | 136867 124739 44 | 0.011 % |
93.49/93.69 c | 173525 | 784 108080 283220 | 136867 125461 44 | 0.011 % |
94.19/94.31 c | 174322 | 784 108080 283220 | 136867 126258 44 | 0.000 % |
94.89/95.05 c | 175193 | 784 108080 283220 | 136867 127129 44 | 0.000 % |
95.69/95.82 c | 176152 | 784 108080 283220 | 136867 128088 45 | 0.011 % |
96.60/96.77 c | 177205 | 784 108080 283220 | 136867 129141 44 | 0.011 % |
97.70/97.82 c | 178365 | 784 108080 283220 | 136867 130301 44 | 0.011 % |
98.69/98.89 c | 179638 | 784 108080 283220 | 136867 131574 44 | 0.011 % |
100.19/100.30 c | 181038 | 784 108080 283220 | 131936 117437 44 | 0.011 % |
101.39/101.53 c | 182580 | 784 108080 283220 | 131936 118979 45 | 0.000 % |
102.89/103.05 c | 184275 | 784 108080 283220 | 131936 120674 46 | 0.000 % |
104.59/104.73 c | 186138 | 784 108080 283220 | 131936 122537 46 | 0.020 % |
104.69/104.81 c | 186239 | 784 108080 283220 | 131936 122638 46 | 0.000 % |
104.79/104.92 c | 186349 | 784 108080 283220 | 131936 122748 46 | 0.000 % |
104.89/105.02 c | 186471 | 784 108080 283220 | 131936 122870 46 | 0.010 % |
104.99/105.13 c | 186605 | 784 108080 283220 | 131936 123004 46 | 0.010 % |
105.09/105.28 c | 186751 | 784 108080 283220 | 131936 123150 46 | 0.010 % |
105.29/105.43 c | 186914 | 784 108080 283220 | 131936 123313 46 | 0.010 % |
105.39/105.59 c | 187092 | 784 108080 283220 | 131936 123491 46 | 0.010 % |
105.59/105.76 c | 187287 | 784 108080 283220 | 131936 123686 46 | 0.000 % |
105.79/105.98 c | 187499 | 784 108080 283220 | 131936 123898 46 | 0.011 % |
106.09/106.23 c | 187734 | 784 108080 283220 | 131936 124133 46 | 0.011 % |
106.29/106.47 c | 187990 | 784 108080 283220 | 131936 124389 46 | 0.011 % |
106.59/106.77 c | 188271 | 784 108080 283220 | 131936 124670 46 | 0.011 % |
106.89/107.09 c | 188580 | 784 108080 283220 | 131936 124979 46 | 0.011 % |
107.19/107.34 c | 188919 | 784 108080 283220 | 131936 125318 46 | 0.000 % |
107.59/107.75 c | 189293 | 784 108080 283220 | 131936 125692 46 | 0.000 % |
108.09/108.21 c | 189703 | 784 108080 283220 | 131936 126102 46 | 0.011 % |
108.49/108.67 c | 190155 | 784 108080 283220 | 126399 126554 46 | 0.011 % |
109.18/109.31 c | 190652 | 784 108080 283220 | 126399 111109 46 | 0.011 % |
109.79/109.91 c | 191197 | 784 108080 283220 | 126399 111654 46 | 0.011 % |
110.48/110.60 c | 191793 | 784 108080 283220 | 126399 112250 46 | 0.011 % |
111.08/111.28 c | 192448 | 784 108080 283220 | 126399 112905 46 | 0.011 % |
111.78/111.94 c | 193170 | 784 108080 283220 | 126399 113627 46 | 0.011 % |
112.48/112.61 c | 193962 | 784 108080 283220 | 126399 114419 46 | 0.011 % |
113.28/113.48 c | 194833 | 784 108080 283220 | 126399 115290 46 | 0.011 % |
114.18/114.33 c | 195793 | 784 108080 283220 | 126399 116250 46 | 0.011 % |
115.08/115.26 c | 196846 | 784 108080 283220 | 126399 117303 46 | 0.010 % |
116.18/116.30 c | 198004 | 784 108080 283220 | 126399 118461 46 | 0.010 % |
117.28/117.45 c | 199277 | 784 108080 283220 | 126399 119734 46 | 0.000 % |
118.48/118.69 c | 200679 | 784 108080 283220 | 120457 105380 45 | 0.012 % |
119.68/119.88 c | 202220 | 784 108080 283220 | 120457 106921 45 | 0.011 % |
121.18/121.37 c | 203914 | 784 108080 283220 | 120457 108615 45 | 0.011 % |
122.98/123.16 c | 205778 | 784 108080 283220 | 120457 110479 45 | 0.011 % |
125.08/125.26 c | 207829 | 784 108080 283220 | 120457 112530 45 | 0.011 % |
125.18/125.35 c | 207932 | 784 108080 283220 | 120457 112633 45 | 0.011 % |
125.28/125.47 c | 208043 | 784 108080 283220 | 120457 112744 45 | 0.011 % |
125.47/125.62 c | 208164 | 784 108080 283220 | 120457 112865 45 | 0.000 % |
125.57/125.76 c | 208299 | 784 108080 283220 | 120457 113000 45 | 0.011 % |
125.67/125.88 c | 208446 | 784 108080 283220 | 120457 113147 45 | 0.011 % |
125.87/126.05 c | 208607 | 784 108080 283220 | 120457 113308 45 | 0.011 % |
126.07/126.25 c | 208783 | 784 108080 283220 | 120457 113484 45 | 0.012 % |
126.28/126.45 c | 208978 | 784 108080 283220 | 120457 113679 45 | 0.012 % |
126.47/126.70 c | 209191 | 784 108080 283220 | 120457 113892 45 | 0.011 % |
126.77/126.92 c | 209424 | 784 108080 283220 | 120457 114125 45 | 0.011 % |
126.97/127.16 c | 209686 | 784 108080 283220 | 120457 114387 45 | 0.011 % |
127.17/127.38 c | 209967 | 784 108080 283220 | 120457 114668 45 | 0.000 % |
127.48/127.65 c | 210279 | 784 108080 283220 | 114703 114980 45 | 0.011 % |
127.88/128.03 c | 210619 | 784 108080 283220 | 114703 100727 44 | 0.011 % |
128.18/128.33 c | 210991 | 784 108080 283220 | 114703 101099 44 | 0.000 % |
128.49/128.67 c | 211400 | 784 108080 283220 | 114703 101508 44 | 0.011 % |
128.78/128.98 c | 211849 | 784 108080 283220 | 114703 101957 44 | 0.011 % |
129.28/129.42 c | 212347 | 784 108080 283220 | 114703 102455 44 | 0.011 % |
129.69/129.89 c | 212889 | 784 108080 283220 | 114703 102997 44 | 0.011 % |
130.28/130.44 c | 213485 | 784 108080 283220 | 114703 103593 44 | 0.011 % |
130.79/130.94 c | 214141 | 784 108080 283220 | 114703 104249 44 | 0.011 % |
131.38/131.56 c | 214861 | 784 108080 283220 | 114703 104969 43 | 0.010 % |
131.98/132.11 c | 215655 | 784 108080 283220 | 114703 105763 43 | 0.010 % |
132.58/132.73 c | 216530 | 784 108080 283220 | 114703 106638 43 | 0.010 % |
133.28/133.45 c | 217488 | 784 108080 283220 | 114703 107596 44 | 0.000 % |
134.18/134.38 c | 218541 | 784 108080 283220 | 114703 108649 44 | 0.011 % |
135.18/135.34 c | 219699 | 784 108080 283220 | 114703 109807 45 | 0.000 % |
136.28/136.47 c | 220972 | 784 108080 283220 | 2147483647 111080 45 | 0.011 % |
137.68/137.86 c | 222376 | 784 108080 283220 | 2147483647 112484 45 | 0.011 % |
139.18/139.32 c | 223916 | 784 108080 283220 | 2147483647 114024 44 | 0.011 % |
140.68/140.81 c | 225611 | 784 108080 283220 | 2147483647 115719 44 | 0.011 % |
142.38/142.59 c | 227474 | 784 108080 283220 | 2147483647 117582 44 | 0.011 % |
144.38/144.59 c | 229524 | 784 108080 283220 | 2147483647 119632 44 | 0.011 % |
146.48/146.69 c | 231777 | 784 108080 283220 | 120109 107281 44 | 0.000 % |
146.58/146.77 c | 231877 | 784 108080 283220 | 120109 107381 44 | 0.000 % |
146.68/146.89 c | 231988 | 784 108080 283220 | 120109 107492 44 | 0.011 % |
146.88/147.04 c | 232109 | 784 108080 283220 | 120109 107613 44 | 0.011 % |
147.07/147.20 c | 232242 | 784 108080 283220 | 120109 107746 44 | 0.011 % |
147.18/147.31 c | 232388 | 784 108080 283220 | 120109 107892 44 | 0.011 % |
147.28/147.43 c | 232550 | 784 108080 283220 | 120109 108054 44 | 0.011 % |
147.47/147.60 c | 232726 | 784 108080 283220 | 120109 108230 44 | 0.000 % |
147.57/147.73 c | 232922 | 784 108080 283220 | 120109 108426 44 | 0.000 % |
147.77/147.95 c | 233140 | 784 108080 283220 | 120109 108644 44 | 0.010 % |
147.97/148.15 c | 233373 | 784 108080 283220 | 120109 108877 44 | 0.000 % |
148.17/148.39 c | 233631 | 784 108080 283220 | 120109 109135 44 | 0.010 % |
148.47/148.66 c | 233913 | 784 108080 283220 | 120109 109417 44 | 0.010 % |
148.77/148.95 c | 234223 | 784 108080 283220 | 120109 109727 44 | 0.011 % |
149.17/149.30 c | 234562 | 784 108080 283220 | 120109 110066 44 | 0.011 % |
149.48/149.63 c | 234938 | 784 108080 283220 | 120109 110442 44 | 0.000 % |
149.77/149.98 c | 235351 | 784 108080 283220 | 120109 110855 44 | 0.011 % |
150.17/150.34 c | 235800 | 784 108080 283220 | 120109 111304 44 | 0.011 % |
150.58/150.80 c | 236293 | 784 108080 283220 | 120109 111797 44 | 0.011 % |
151.07/151.23 c | 236835 | 784 108080 283220 | 120109 112339 44 | 0.011 % |
151.58/151.75 c | 237433 | 784 108080 283220 | 120109 112937 44 | 0.011 % |
152.17/152.32 c | 238088 | 784 108080 283220 | 120109 113592 44 | 0.011 % |
152.78/152.90 c | 238810 | 784 108080 283220 | 120109 114314 44 | 0.000 % |
153.37/153.59 c | 239602 | 784 108080 283220 | 120109 115106 44 | 0.011 % |
154.27/154.43 c | 240473 | 784 108080 283220 | 115505 101741 45 | 0.011 % |
154.97/155.16 c | 241432 | 784 108080 283220 | 115505 102700 45 | 0.011 % |
155.87/156.09 c | 242485 | 784 108080 283220 | 115505 103753 45 | 0.011 % |
157.07/157.24 c | 243645 | 784 108080 283220 | 115505 104913 45 | 0.011 % |
158.36/158.54 c | 244919 | 784 108080 283220 | 115505 106187 45 | 0.011 % |
159.86/160.03 c | 246319 | 784 108080 283220 | 115505 107587 45 | 0.011 % |
161.26/161.45 c | 247862 | 784 108080 283220 | 115505 109130 45 | 0.012 % |
162.96/163.14 c | 249560 | 784 108080 283220 | 115505 110828 44 | 0.012 % |
164.56/164.76 c | 251424 | 784 108080 283220 | 111270 98343 45 | 0.000 % |
166.56/166.72 c | 253473 | 784 108080 283220 | 111270 100392 45 | 0.011 % |
168.76/168.91 c | 255726 | 784 108080 283220 | 111270 102645 45 | 0.012 % |
170.96/171.19 c | 258204 | 784 108080 283220 | 111270 105123 45 | 0.000 % |
171.06/171.29 c | 258305 | 784 108080 283220 | 111270 105224 45 | 0.012 % |
171.16/171.39 c | 258416 | 784 108080 283220 | 111270 105335 45 | 0.010 % |
171.36/171.54 c | 258537 | 784 108080 283220 | 111270 105456 45 | 0.010 % |
171.46/171.64 c | 258672 | 784 108080 283220 | 111270 105591 45 | 0.000 % |
171.56/171.77 c | 258821 | 784 108080 283220 | 111270 105740 45 | 0.011 % |
171.76/171.90 c | 258983 | 784 108080 283220 | 111270 105902 45 | 0.011 % |
171.86/172.10 c | 259160 | 784 108080 283220 | 111270 106079 45 | 0.011 % |
172.06/172.27 c | 259358 | 784 108080 283220 | 111270 106277 45 | 0.011 % |
172.26/172.44 c | 259571 | 784 108080 283220 | 111270 106490 45 | 0.011 % |
172.46/172.67 c | 259808 | 784 108080 283220 | 111270 106727 45 | 0.000 % |
172.76/172.95 c | 260069 | 784 108080 283220 | 106919 106988 45 | 0.011 % |
173.06/173.26 c | 260351 | 784 108080 283220 | 106919 93638 45 | 0.000 % |
173.36/173.51 c | 260662 | 784 108080 283220 | 106919 93949 45 | 0.000 % |
173.66/173.81 c | 261004 | 784 108080 283220 | 106919 94291 45 | 0.000 % |
173.96/174.18 c | 261378 | 784 108080 283220 | 106919 94665 45 | 0.000 % |
174.36/174.59 c | 261787 | 784 108080 283220 | 106919 95074 45 | 0.011 % |
174.76/174.98 c | 262237 | 784 108080 283220 | 106919 95524 45 | 0.011 % |
175.16/175.34 c | 262733 | 784 108080 283220 | 106919 96020 45 | 0.011 % |
175.66/175.81 c | 263275 | 784 108080 283220 | 106919 96562 45 | 0.011 % |
176.06/176.28 c | 263872 | 784 108080 283220 | 106919 97159 45 | 0.011 % |
176.66/176.85 c | 264527 | 784 108080 283220 | 106919 97814 45 | 0.011 % |
177.36/177.53 c | 265248 | 784 108080 283220 | 106919 98535 45 | 0.000 % |
178.15/178.30 c | 266040 | 784 108080 283220 | 106919 99327 45 | 0.000 % |
178.95/179.12 c | 266914 | 784 108080 283220 | 106919 100201 46 | 0.000 % |
179.85/180.07 c | 267873 | 784 108080 283220 | 106919 101160 46 | 0.000 % |
180.95/181.14 c | 268926 | 784 108080 283220 | 106919 102213 46 | 0.011 % |
182.15/182.37 c | 270086 | 784 108080 283220 | 103288 103373 45 | 0.011 % |
183.35/183.51 c | 271360 | 784 108080 283220 | 103288 92723 45 | 0.000 % |
184.66/184.85 c | 272762 | 784 108080 283220 | 103288 94125 45 | 0.000 % |
186.15/186.30 c | 274302 | 784 108080 283220 | 103288 95665 44 | 0.011 % |
187.65/187.90 c | 275998 | 784 108080 283220 | 103288 97361 44 | 0.011 % |
189.45/189.67 c | 277861 | 784 108080 283220 | 103288 99224 44 | 0.011 % |
191.25/191.42 c | 279911 | 784 108080 283220 | 103288 101274 44 | 0.011 % |
193.35/193.50 c | 282167 | 784 108080 283220 | 101365 91631 44 | 0.011 % |
195.65/195.87 c | 284645 | 784 108080 283220 | 101365 94109 44 | 0.000 % |
198.25/198.50 c | 287371 | 784 108080 283220 | 101365 96835 44 | 0.011 % |
198.35/198.58 c | 287472 | 784 108080 283220 | 101365 96936 44 | 0.000 % |
198.55/198.70 c | 287583 | 784 108080 283220 | 101365 97047 44 | 0.011 % |
198.65/198.84 c | 287705 | 784 108080 283220 | 101365 97169 44 | 0.000 % |
198.75/198.94 c | 287838 | 784 108080 283220 | 101365 97302 44 | 0.011 % |
198.85/199.08 c | 287985 | 784 108080 283220 | 101365 97449 44 | 0.011 % |
199.05/199.23 c | 288148 | 784 108080 283220 | 101365 97612 44 | 0.001 % |
199.15/199.37 c | 288326 | 784 108080 283220 | 101365 97790 44 | 0.011 % |
199.35/199.55 c | 288519 | 784 108080 283220 | 101365 97983 44 | 0.012 % |
199.55/199.77 c | 288733 | 784 108080 283220 | 101365 98197 44 | 0.000 % |
199.75/199.97 c | 288967 | 784 108080 283220 | 101365 98431 44 | 0.000 % |
200.05/200.21 c | 289223 | 784 108080 283220 | 101365 98687 44 | 0.011 % |
200.24/200.47 c | 289510 | 784 108080 283220 | 101365 98974 44 | 0.011 % |
200.54/200.76 c | 289819 | 784 108080 283220 | 101365 99283 44 | 0.000 % |
200.84/201.04 c | 290158 | 784 108080 283220 | 99465 99622 44 | 0.012 % |
201.24/201.46 c | 290531 | 784 108080 283220 | 99465 86413 44 | 0.000 % |
201.64/201.80 c | 290943 | 784 108080 283220 | 99465 86825 44 | 0.000 % |
201.94/202.12 c | 291392 | 784 108080 283220 | 99465 87274 44 | 0.000 % |
202.34/202.51 c | 291885 | 784 108080 283220 | 99465 87767 44 | 0.010 % |
202.74/202.96 c | 292428 | 784 108080 283220 | 99465 88310 44 | 0.011 % |
203.24/203.48 c | 293024 | 784 108080 283220 | 99465 88906 44 | 0.010 % |
203.84/204.02 c | 293679 | 784 108080 283220 | 99465 89561 45 | 0.000 % |
204.44/204.64 c | 294399 | 784 108080 283220 | 99465 90281 45 | 0.000 % |
205.24/205.42 c | 295193 | 784 108080 283220 | 99465 91075 45 | 0.011 % |
205.84/206.08 c | 296069 | 784 108080 283220 | 99465 91951 45 | 0.011 % |
206.54/206.76 c | 297028 | 784 108080 283220 | 99465 92910 46 | 0.000 % |
207.54/207.73 c | 298082 | 784 108080 283220 | 99465 93964 46 | 0.000 % |
208.44/208.67 c | 299240 | 784 108080 283220 | 99465 95122 47 | 0.000 % |
209.64/209.87 c | 300513 | 784 108080 283220 | 95882 84817 47 | 0.000 % |
211.04/211.23 c | 301914 | 784 108080 283220 | 95882 86218 48 | 0.000 % |
212.73/212.96 c | 303454 | 784 108080 283220 | 95882 87758 48 | 0.012 % |
214.73/214.98 c | 305150 | 784 108080 283220 | 95882 89454 48 | 0.012 % |
216.83/217.06 c | 307015 | 784 108080 283220 | 95882 91319 47 | 0.011 % |
218.74/218.93 c | 309066 | 784 108080 283220 | 95882 93370 48 | 0.000 % |
221.03/221.25 c | 311319 | 784 108080 283220 | 94305 81846 49 | 0.000 % |
223.43/223.60 c | 313797 | 784 108080 283220 | 94305 84324 49 | 0.000 % |
226.03/226.20 c | 316523 | 784 108080 283220 | 94305 87050 49 | 0.011 % |
228.93/229.11 c | 319522 | 784 108080 283220 | 94305 90049 50 | 0.000 % |
229.03/229.22 c | 319625 | 784 108080 283220 | 94305 90152 50 | 0.000 % |
229.13/229.31 c | 319736 | 784 108080 283220 | 94305 90263 50 | 0.011 % |
229.23/229.43 c | 319857 | 784 108080 283220 | 94305 90384 50 | 0.011 % |
229.33/229.58 c | 319991 | 784 108080 283220 | 94305 90518 50 | 0.011 % |
229.53/229.75 c | 320137 | 784 108080 283220 | 90527 90664 50 | 0.012 % |
229.83/230.06 c | 320297 | 784 108080 283220 | 90527 78211 51 | 0.012 % |
230.03/230.25 c | 320473 | 784 108080 283220 | 90527 78387 51 | 0.012 % |
230.23/230.42 c | 320668 | 784 108080 283220 | 90527 78582 51 | 0.000 % |
230.43/230.67 c | 320883 | 784 108080 283220 | 90527 78797 51 | 0.011 % |
230.63/230.88 c | 321119 | 784 108080 283220 | 90527 79033 50 | 0.012 % |
230.93/231.13 c | 321377 | 784 108080 283220 | 90527 79291 50 | 0.012 % |
231.23/231.43 c | 321658 | 784 108080 283220 | 90527 79572 50 | 0.012 % |
231.53/231.72 c | 321968 | 784 108080 283220 | 90527 79882 50 | 0.011 % |
231.93/232.13 c | 322307 | 784 108080 283220 | 90527 80221 50 | 0.011 % |
232.32/232.57 c | 322681 | 784 108080 283220 | 90527 80595 50 | 0.011 % |
232.82/233.02 c | 323092 | 784 108080 283220 | 90527 81006 50 | 0.011 % |
233.22/233.46 c | 323545 | 784 108080 283220 | 90527 81459 50 | 0.000 % |
233.62/233.87 c | 324038 | 784 108080 283220 | 90527 81952 51 | 0.000 % |
234.13/234.37 c | 324582 | 784 108080 283220 | 90527 82496 51 | 0.000 % |
234.72/234.95 c | 325178 | 784 108080 283220 | 90527 83092 51 | 0.000 % |
235.42/235.61 c | 325834 | 784 108080 283220 | 90527 83748 51 | 0.000 % |
236.12/236.32 c | 326554 | 784 108080 283220 | 90527 84468 51 | 0.011 % |
236.92/237.20 c | 327347 | 784 108080 283220 | 90527 85261 52 | 0.000 % |
237.82/238.09 c | 328219 | 784 108080 283220 | 90527 86133 52 | 0.011 % |
238.82/239.06 c | 329177 | 784 108080 283220 | 90527 87091 51 | 0.011 % |
239.82/240.07 c | 330230 | 784 108080 283220 | 87914 88144 51 | 0.011 % |
240.92/241.19 c | 331396 | 784 108080 283220 | 87914 76343 51 | 0.011 % |
242.12/242.38 c | 332669 | 784 108080 283220 | 87914 77616 50 | 0.012 % |
243.42/243.61 c | 334071 | 784 108080 283220 | 87914 79018 50 | 0.011 % |
244.92/245.10 c | 335611 | 784 108080 283220 | 87914 80558 51 | 0.000 % |
246.62/246.82 c | 337308 | 784 108080 283220 | 87914 82255 51 | 0.000 % |
248.42/248.66 c | 339171 | 784 108080 283220 | 87914 84118 51 | 0.011 % |
250.71/250.96 c | 341220 | 784 108080 283220 | 84948 73715 52 | 0.011 % |
252.91/253.11 c | 343473 | 784 108080 283220 | 84948 75968 52 | 0.011 % |
255.71/255.95 c | 345954 | 784 108080 283220 | 84948 78449 52 | 0.000 % |
258.51/258.71 c | 348682 | 784 108080 283220 | 84948 81177 51 | 0.011 % |
261.62/261.83 c | 351681 | 784 108080 283220 | 82495 70095 52 | 0.011 % |
264.81/265.10 c | 354977 | 784 108080 283220 | 82495 73391 51 | 0.011 % |
265.01/265.24 c | 355077 | 784 108080 283220 | 82495 73491 51 | 0.011 % |
265.11/265.36 c | 355187 | 784 108080 283220 | 82495 73601 51 | 0.000 % |
265.21/265.47 c | 355308 | 784 108080 283220 | 82495 73722 51 | 0.011 % |
265.31/265.60 c | 355441 | 784 108080 283220 | 82495 73855 51 | 0.011 % |
265.41/265.70 c | 355588 | 784 108080 283220 | 82495 74002 51 | 0.000 % |
265.61/265.84 c | 355749 | 784 108080 283220 | 82495 74163 52 | 0.000 % |
265.81/266.00 c | 355926 | 784 108080 283220 | 82495 74340 52 | 0.000 % |
265.91/266.19 c | 356121 | 784 108080 283220 | 82495 74535 52 | 0.011 % |
266.21/266.42 c | 356338 | 784 108080 283220 | 82495 74752 51 | 0.012 % |
266.41/266.67 c | 356572 | 784 108080 283220 | 82495 74986 51 | 0.011 % |
266.71/266.95 c | 356829 | 784 108080 283220 | 82495 75243 51 | 0.000 % |
267.01/267.20 c | 357110 | 784 108080 283220 | 82495 75524 51 | 0.011 % |
267.21/267.46 c | 357421 | 784 108080 283220 | 82495 75835 51 | 0.011 % |
267.51/267.77 c | 357761 | 784 108080 283220 | 82495 76175 51 | 0.011 % |
267.81/268.08 c | 358139 | 784 108080 283220 | 82495 76553 51 | 0.011 % |
268.21/268.47 c | 358548 | 784 108080 283220 | 82495 76962 51 | 0.011 % |
268.71/268.93 c | 359000 | 784 108080 283220 | 82495 77414 51 | 0.000 % |
269.11/269.36 c | 359494 | 784 108080 283220 | 82495 77908 52 | 0.000 % |
269.71/269.92 c | 360040 | 784 108080 283220 | 78417 78454 52 | 0.011 % |
270.31/270.55 c | 360637 | 784 108080 283220 | 78417 67117 49 | 0.000 % |
270.91/271.13 c | 361293 | 784 108080 283220 | 78417 67773 49 | 0.011 % |
271.51/271.78 c | 362014 | 784 108080 283220 | 78417 68494 49 | 0.011 % |
272.21/272.41 c | 362808 | 784 108080 283220 | 78417 69288 50 | 0.000 % |
272.91/273.15 c | 363681 | 784 108080 283220 | 78417 70161 50 | 0.000 % |
273.81/274.02 c | 364640 | 784 108080 283220 | 78417 71120 50 | 0.011 % |
274.61/274.88 c | 365694 | 784 108080 283220 | 78417 72174 50 | 0.011 % |
275.71/275.92 c | 366853 | 784 108080 283220 | 78417 73333 50 | 0.011 % |
276.60/276.86 c | 368127 | 784 108080 283220 | 78417 74607 50 | 0.010 % |
277.90/278.14 c | 369527 | 784 108080 283220 | 78417 76007 50 | 0.011 % |
279.40/279.63 c | 371069 | 784 108080 283220 | 76481 67782 48 | 0.000 % |
280.60/280.86 c | 372767 | 784 108080 283220 | 76481 69480 49 | 0.000 % |
282.10/282.33 c | 374633 | 784 108080 283220 | 76481 71346 49 | 0.011 % |
283.90/284.14 c | 376682 | 784 108080 283220 | 76481 73395 49 | 0.000 % |
286.00/286.23 c | 378936 | 784 108080 283220 | 76481 75649 48 | 0.011 % |
288.30/288.50 c | 381417 | 784 108080 283220 | 76715 68030 46 | 0.011 % |
290.40/290.63 c | 384142 | 784 108080 283220 | 76715 70755 46 | 0.000 % |
293.00/293.23 c | 387141 | 784 108080 283220 | 76715 73754 46 | 0.011 % |
296.09/296.32 c | 390441 | 784 108080 283220 | 76613 77054 45 | 0.011 % |
299.19/299.42 c | 394066 | 784 108080 283220 | 76613 70474 44 | 0.011 % |
299.29/299.50 c | 394168 | 784 108080 283220 | 76613 70576 44 | 0.000 % |
299.39/299.61 c | 394280 | 784 108080 283220 | 76613 70688 44 | 0.011 % |
299.49/299.72 c | 394401 | 784 108080 283220 | 76613 70809 44 | 0.011 % |
299.59/299.85 c | 394535 | 784 108080 283220 | 76613 70943 44 | 0.011 % |
299.69/299.98 c | 394681 | 784 108080 283220 | 76613 71089 45 | 0.000 % |
299.89/300.15 c | 394842 | 784 108080 283220 | 76613 71250 45 | 0.000 % |
299.99/300.29 c | 395020 | 784 108080 283220 | 76613 71428 45 | 0.011 % |
300.19/300.45 c | 395213 | 784 108080 283220 | 76613 71621 45 | 0.000 % |
300.39/300.62 c | 395425 | 784 108080 283220 | 76613 71833 45 | 0.011 % |
300.59/300.82 c | 395659 | 784 108080 283220 | 76613 72067 45 | 0.011 % |
300.79/301.02 c | 395917 | 784 108080 283220 | 76613 72325 45 | 0.011 % |
300.99/301.23 c | 396199 | 784 108080 283220 | 76613 72607 45 | 0.011 % |
301.19/301.47 c | 396509 | 784 108080 283220 | 76613 72917 44 | 0.011 % |
301.49/301.74 c | 396850 | 784 108080 283220 | 76613 73258 45 | 0.000 % |
301.89/302.16 c | 397222 | 784 108080 283220 | 76613 73630 45 | 0.000 % |
302.29/302.56 c | 397631 | 784 108080 283220 | 76613 74039 45 | 0.011 % |
302.69/302.97 c | 398081 | 784 108080 283220 | 76613 74489 45 | 0.011 % |
303.09/303.32 c | 398575 | 784 108080 283220 | 76613 74983 45 | 0.000 % |
303.59/303.81 c | 399119 | 784 108080 283220 | 76613 75527 46 | 0.000 % |
304.29/304.51 c | 399716 | 784 108080 283220 | 76613 76124 45 | 0.011 % |
304.99/305.22 c | 400371 | 784 108080 283220 | 76409 67228 45 | 0.011 % |
305.59/305.81 c | 401092 | 784 108080 283220 | 76409 67949 45 | 0.011 % |
306.29/306.55 c | 401886 | 784 108080 283220 | 76409 68743 46 | 0.000 % |
307.09/307.35 c | 402757 | 784 108080 283220 | 76409 69614 46 | 0.000 % |
308.09/308.33 c | 403716 | 784 108080 283220 | 76409 70573 46 | 0.011 % |
308.99/309.26 c | 404774 | 784 108080 283220 | 76409 71631 46 | 0.011 % |
310.09/310.34 c | 405934 | 784 108080 283220 | 76409 72791 46 | 0.011 % |
311.39/311.61 c | 407207 | 784 108080 283220 | 76409 74064 46 | 0.011 % |
312.69/312.91 c | 408612 | 784 108080 283220 | 76409 75469 46 | 0.011 % |
314.09/314.32 c | 410153 | 784 108080 283220 | 67809 67961 46 | 0.011 % |
315.49/315.79 c | 411850 | 784 108080 283220 | 67809 61541 44 | 0.011 % |
317.18/317.41 c | 413714 | 784 108080 283220 | 67809 63405 44 | 0.011 % |
319.08/319.30 c | 415766 | 784 108080 283220 | 67809 65457 43 | 0.011 % |
321.08/321.31 c | 418020 | 784 108080 283220 | 67809 67711 43 | 0.011 % |
322.88/323.19 c | 420501 | 784 108080 283220 | 61337 54627 42 | 0.000 % |
325.08/325.35 c | 423226 | 784 108080 283220 | 61337 57352 45 | 0.000 % |
327.38/327.65 c | 426223 | 784 108080 283220 | 61337 60349 45 | 0.011 % |
330.28/330.55 c | 429520 | 784 108080 283220 | 61337 57483 46 | 0.000 % |
333.08/333.33 c | 433146 | 784 108080 283220 | 2147483647 61109 48 | 0.000 % |
336.37/336.62 c | 437134 | 784 108080 283220 | 2147483647 65097 48 | 0.000 % |
336.37/336.69 c | 437237 | 784 108080 283220 | 2147483647 65200 48 | 0.011 % |
336.47/336.79 c | 437350 | 784 108080 283220 | 2147483647 65313 48 | 0.011 % |
336.67/336.93 c | 437472 | 784 108080 283220 | 2147483647 65435 48 | 0.011 % |
336.77/337.04 c | 437605 | 784 108080 283220 | 2147483647 65568 48 | 0.011 % |
336.87/337.19 c | 437755 | 784 108080 283220 | 2147483647 65718 48 | 0.011 % |
337.07/337.34 c | 437915 | 784 108080 283220 | 2147483647 65878 48 | 0.011 % |
337.27/337.54 c | 438093 | 784 108080 283220 | 2147483647 66056 48 | 0.011 % |
337.47/337.73 c | 438286 | 784 108080 283220 | 2147483647 66249 48 | 0.000 % |
337.57/337.90 c | 438498 | 784 108080 283220 | 2147483647 66461 48 | 0.012 % |
337.77/338.07 c | 438731 | 784 108080 283220 | 2147483647 66694 48 | 0.012 % |
337.97/338.29 c | 438988 | 784 108080 283220 | 2147483647 66951 48 | 0.012 % |
338.27/338.51 c | 439269 | 784 108080 283220 | 2147483647 67232 48 | 0.011 % |
338.57/338.81 c | 439578 | 784 108080 283220 | 2147483647 67541 48 | 0.012 % |
338.87/339.12 c | 439920 | 784 108080 283220 | 2147483647 67883 48 | 0.000 % |
339.27/339.54 c | 440292 | 784 108080 283220 | 67964 60733 49 | 0.000 % |
339.67/339.95 c | 440701 | 784 108080 283220 | 67964 61142 49 | 0.011 % |
340.17/340.45 c | 441151 | 784 108080 283220 | 67964 61592 49 | 0.011 % |
340.67/340.97 c | 441644 | 784 108080 283220 | 67964 62085 48 | 0.011 % |
341.17/341.47 c | 442186 | 784 108080 283220 | 67964 62627 48 | 0.011 % |
341.67/342.00 c | 442785 | 784 108080 283220 | 67964 63226 48 | 0.011 % |
342.27/342.59 c | 443440 | 784 108080 283220 | 67964 63881 48 | 0.011 % |
342.97/343.23 c | 444161 | 784 108080 283220 | 67964 64602 48 | 0.011 % |
343.66/343.98 c | 444953 | 784 108080 283220 | 67964 65394 48 | 0.011 % |
344.46/344.73 c | 445824 | 784 108080 283220 | 67964 66265 48 | 0.011 % |
345.26/345.56 c | 446783 | 784 108080 283220 | 67964 67224 48 | 0.011 % |
346.27/346.60 c | 447840 | 784 108080 283220 | 67964 68281 48 | 0.000 % |
347.57/347.80 c | 448998 | 784 108080 283220 | 67964 61695 46 | 0.011 % |
348.76/349.00 c | 450271 | 784 108080 283220 | 62700 62968 46 | 0.011 % |
349.96/350.25 c | 451675 | 784 108080 283220 | 62700 57267 46 | 0.011 % |
351.26/351.57 c | 453219 | 784 108080 283220 | 62700 58811 46 | 0.011 % |
352.87/353.11 c | 454914 | 784 108080 283220 | 62700 60506 46 | 0.011 % |
354.76/355.08 c | 456780 | 784 108080 283220 | 62700 62372 45 | 0.011 % |
356.46/356.74 c | 458829 | 784 108080 283220 | 62700 57397 46 | 0.011 % |
358.46/358.70 c | 461082 | 784 108080 283220 | 58568 53389 41 | 0.011 % |
360.36/360.61 c | 463563 | 784 108080 283220 | 58568 55870 43 | 0.000 % |
362.36/362.65 c | 466289 | 784 108080 283220 | 58568 58596 45 | 0.000 % |
364.56/364.88 c | 469289 | 784 108080 283220 | 58568 55737 44 | 0.012 % |
367.06/367.36 c | 472587 | 784 108080 283220 | 2147483647 59035 44 | 0.012 % |
370.16/370.42 c | 476213 | 784 108080 283220 | 2147483647 62661 48 | 0.000 % |
373.66/373.92 c | 480200 | 784 108080 283220 | 2147483647 66648 48 | 0.011 % |
378.16/378.46 c | 484585 | 784 108080 283220 | 2147483647 71033 48 | 0.012 % |
378.25/378.57 c | 484685 | 784 108080 283220 | 2147483647 71133 48 | 0.000 % |
378.35/378.68 c | 484797 | 784 108080 283220 | 2147483647 71245 48 | 0.000 % |
378.45/378.80 c | 484921 | 784 108080 283220 | 2147483647 71369 48 | 0.012 % |
378.65/378.92 c | 485054 | 784 108080 283220 | 2147483647 71502 48 | 0.012 % |
378.75/379.04 c | 485202 | 784 108080 283220 | 2147483647 71650 48 | 0.000 % |
378.85/379.20 c | 485370 | 784 108080 283220 | 2147483647 71818 48 | 0.000 % |
379.15/379.42 c | 485547 | 784 108080 283220 | 2147483647 71995 48 | 0.011 % |
379.25/379.59 c | 485742 | 784 108080 283220 | 2147483647 72190 48 | 0.000 % |
379.45/379.79 c | 485958 | 784 108080 283220 | 2147483647 72406 48 | 0.000 % |
379.75/380.01 c | 486192 | 784 108080 283220 | 2147483647 72640 48 | 0.011 % |
380.05/380.31 c | 486448 | 784 108080 283220 | 2147483647 72896 48 | 0.011 % |
380.35/380.62 c | 486731 | 784 108080 283220 | 2147483647 73179 48 | 0.011 % |
380.55/380.88 c | 487040 | 784 108080 283220 | 2147483647 73488 48 | 0.011 % |
380.85/381.18 c | 487379 | 784 108080 283220 | 2147483647 73827 48 | 0.000 % |
381.25/381.56 c | 487754 | 784 108080 283220 | 2147483647 74202 48 | 0.000 % |
381.65/381.99 c | 488167 | 784 108080 283220 | 2147483647 74615 48 | 0.011 % |
382.15/382.45 c | 488618 | 784 108080 283220 | 2147483647 75066 48 | 0.011 % |
382.65/382.99 c | 489112 | 784 108080 283220 | 2147483647 75560 48 | 0.000 % |
383.24/383.54 c | 489654 | 784 108080 283220 | 2147483647 76102 48 | 0.011 % |
383.84/384.13 c | 490250 | 784 108080 283220 | 76449 76698 48 | 0.011 % |
384.44/384.76 c | 490905 | 784 108080 283220 | 76449 67108 45 | 0.011 % |
385.04/385.37 c | 491626 | 784 108080 283220 | 76449 67829 45 | 0.011 % |
385.85/386.11 c | 492422 | 784 108080 283220 | 76449 68625 45 | 0.011 % |
386.54/386.87 c | 493293 | 784 108080 283220 | 76449 69496 45 | 0.011 % |
387.44/387.78 c | 494253 | 784 108080 283220 | 76449 70456 45 | 0.011 % |
388.54/388.80 c | 495308 | 784 108080 283220 | 76449 71511 45 | 0.011 % |
389.44/389.77 c | 496467 | 784 108080 283220 | 76449 72670 45 | 0.011 % |
390.74/391.02 c | 497744 | 784 108080 283220 | 76449 73947 45 | 0.011 % |
392.24/392.53 c | 499145 | 784 108080 283220 | 76449 75348 45 | 0.011 % |
393.94/394.24 c | 500685 | 784 108080 283220 | 76204 66250 45 | 0.011 % |
395.24/395.52 c | 502383 | 784 108080 283220 | 76204 67948 45 | 0.011 % |
396.84/397.14 c | 504246 | 784 108080 283220 | 76204 69811 45 | 0.011 % |
398.44/398.76 c | 506298 | 784 108080 283220 | 76204 71863 45 | 0.000 % |
400.74/401.08 c | 508551 | 784 108080 283220 | 76204 74116 45 | 0.012 % |
403.24/403.59 c | 511032 | 784 108080 283220 | 75567 66170 48 | 0.000 % |
406.04/406.39 c | 513758 | 784 108080 283220 | 75567 68896 50 | 0.000 % |
408.73/409.10 c | 516755 | 784 108080 283220 | 75567 71893 50 | 0.000 % |
412.53/412.80 c | 520051 | 784 108080 283220 | 75139 75189 50 | 0.011 % |
415.83/416.10 c | 523677 | 784 108080 283220 | 75139 67185 51 | 0.000 % |
419.83/420.18 c | 527666 | 784 108080 283220 | 75139 71174 51 | 0.000 % |
424.43/424.74 c | 532057 | 784 108080 283220 | 73513 63883 48 | 0.012 % |
428.42/428.80 c | 536886 | 784 108080 283220 | 73513 68712 51 | 0.000 % |
428.52/428.89 c | 536988 | 784 108080 283220 | 73513 68814 51 | 0.011 % |
428.73/429.00 c | 537101 | 784 108080 283220 | 73513 68927 51 | 0.011 % |
428.82/429.12 c | 537224 | 784 108080 283220 | 73513 69050 51 | 0.011 % |
428.92/429.25 c | 537357 | 784 108080 283220 | 73513 69183 51 | 0.011 % |
429.12/429.40 c | 537503 | 784 108080 283220 | 73513 69329 51 | 0.011 % |
429.22/429.55 c | 537666 | 784 108080 283220 | 73513 69492 51 | 0.000 % |
429.32/429.68 c | 537842 | 784 108080 283220 | 73513 69668 51 | 0.011 % |
429.62/429.92 c | 538038 | 784 108080 283220 | 73513 69864 51 | 0.011 % |
429.83/430.13 c | 538251 | 784 108080 283220 | 73513 70077 51 | 0.000 % |
430.02/430.34 c | 538484 | 784 108080 283220 | 73513 70310 51 | 0.011 % |
430.22/430.58 c | 538741 | 784 108080 283220 | 73513 70567 51 | 0.011 % |
430.52/430.89 c | 539023 | 784 108080 283220 | 73513 70849 51 | 0.011 % |
430.83/431.17 c | 539333 | 784 108080 283220 | 73513 71159 51 | 0.000 % |
431.12/431.49 c | 539674 | 784 108080 283220 | 73513 71500 51 | 0.011 % |
431.52/431.86 c | 540047 | 784 108080 283220 | 71830 71873 51 | 0.000 % |
432.02/432.30 c | 540457 | 784 108080 283220 | 71830 61722 52 | 0.000 % |
432.32/432.68 c | 540906 | 784 108080 283220 | 71830 62171 52 | 0.011 % |
432.92/433.22 c | 541399 | 784 108080 283220 | 71830 62664 52 | 0.011 % |
433.42/433.74 c | 541944 | 784 108080 283220 | 71830 63209 52 | 0.011 % |
434.02/434.34 c | 542541 | 784 108080 283220 | 71830 63806 52 | 0.011 % |
434.62/435.00 c | 543197 | 784 108080 283220 | 71830 64462 52 | 0.000 % |
435.42/435.77 c | 543922 | 784 108080 283220 | 71830 65187 53 | 0.011 % |
436.32/436.65 c | 544715 | 784 108080 283220 | 71830 65980 52 | 0.011 % |
437.32/437.63 c | 545587 | 784 108080 283220 | 71830 66852 52 | 0.011 % |
438.12/438.49 c | 546546 | 784 108080 283220 | 71830 67811 53 | 0.000 % |
439.12/439.43 c | 547603 | 784 108080 283220 | 71830 68868 54 | 0.000 % |
440.02/440.37 c | 548761 | 784 108080 283220 | 71830 70026 54 | 0.000 % |
441.22/441.51 c | 550036 | 784 108080 283220 | 71266 71301 54 | 0.000 % |
442.42/442.79 c | 551437 | 784 108080 283220 | 71266 62045 57 | 0.000 % |
443.82/444.13 c | 552977 | 784 108080 283220 | 71266 63585 57 | 0.000 % |
445.42/445.76 c | 554672 | 784 108080 283220 | 71266 65280 56 | 0.011 % |
447.32/447.65 c | 556535 | 784 108080 283220 | 71266 67143 56 | 0.011 % |
449.52/449.88 c | 558585 | 784 108080 283220 | 71266 69193 57 | 0.000 % |
452.42/452.72 c | 560838 | 784 108080 283220 | 70609 59899 56 | 0.000 % |
454.91/455.30 c | 563317 | 784 108080 283220 | 70609 62378 55 | 0.011 % |
457.91/458.27 c | 566042 | 784 108080 283220 | 70609 65103 54 | 0.011 % |
460.91/461.23 c | 569041 | 784 108080 283220 | 70609 68102 55 | 0.000 % |
464.31/464.64 c | 572337 | 784 108080 283220 | 69062 60600 54 | 0.000 % |
467.81/468.15 c | 575963 | 784 108080 283220 | 69062 64226 55 | 0.011 % |
471.90/472.23 c | 579950 | 784 108080 283220 | 69062 68213 54 | 0.011 % |
475.80/476.18 c | 584335 | 784 108080 283220 | 68266 61503 51 | 0.000 % |
480.50/480.89 c | 589158 | 784 108080 283220 | 68266 66326 51 | 0.000 % |
485.80/486.14 c | 594466 | 784 108080 283220 | 67168 60855 48 | 0.011 % |
485.90/486.27 c | 594566 | 784 108080 283220 | 67168 60955 48 | 0.011 % |
486.00/486.37 c | 594676 | 784 108080 283220 | 67168 61065 49 | 0.000 % |
486.10/486.47 c | 594798 | 784 108080 283220 | 67168 61187 49 | 0.000 % |
486.20/486.59 c | 594935 | 784 108080 283220 | 67168 61324 49 | 0.000 % |
486.40/486.74 c | 595083 | 784 108080 283220 | 67168 61472 48 | 0.000 % |
486.50/486.87 c | 595244 | 784 108080 283220 | 67168 61633 49 | 0.000 % |
486.70/487.04 c | 595421 | 784 108080 283220 | 67168 61810 49 | 0.000 % |
486.90/487.22 c | 595614 | 784 108080 283220 | 67168 62003 49 | 0.011 % |
487.10/487.43 c | 595828 | 784 108080 283220 | 67168 62217 49 | 0.011 % |
487.30/487.68 c | 596061 | 784 108080 283220 | 67168 62450 48 | 0.012 % |
487.60/487.90 c | 596319 | 784 108080 283220 | 67168 62708 49 | 0.000 % |
487.80/488.11 c | 596600 | 784 108080 283220 | 67168 62989 49 | 0.011 % |
488.00/488.37 c | 596909 | 784 108080 283220 | 67168 63298 49 | 0.011 % |
488.30/488.69 c | 597250 | 784 108080 283220 | 67168 63639 48 | 0.012 % |
488.70/489.01 c | 597622 | 784 108080 283220 | 67168 64011 48 | 0.000 % |
489.10/489.40 c | 598031 | 784 108080 283220 | 67168 64420 48 | 0.011 % |
489.40/489.79 c | 598480 | 784 108080 283220 | 67168 64869 49 | 0.000 % |
489.80/490.19 c | 598973 | 784 108080 283220 | 67168 65362 49 | 0.000 % |
490.40/490.76 c | 599519 | 784 108080 283220 | 67168 65908 49 | 0.012 % |
490.90/491.21 c | 600116 | 784 108080 283220 | 66389 66505 49 | 0.000 % |
491.40/491.77 c | 600774 | 784 108080 283220 | 66389 57086 46 | 0.000 % |
492.00/492.36 c | 601494 | 784 108080 283220 | 66389 57806 46 | 0.000 % |
492.70/493.08 c | 602288 | 784 108080 283220 | 66389 58600 46 | 0.011 % |
493.40/493.76 c | 603160 | 784 108080 283220 | 66389 59472 46 | 0.011 % |
494.30/494.66 c | 604120 | 784 108080 283220 | 66389 60432 46 | 0.011 % |
495.30/495.64 c | 605173 | 784 108080 283220 | 66389 61485 46 | 0.011 % |
496.19/496.53 c | 606331 | 784 108080 283220 | 66389 62643 46 | 0.000 % |
497.19/497.58 c | 607604 | 784 108080 283220 | 66389 63916 46 | 0.010 % |
498.39/498.71 c | 609006 | 784 108080 283220 | 66389 65318 46 | 0.010 % |
499.49/499.84 c | 610546 | 784 108080 283220 | 66313 58858 48 | 0.000 % |
500.79/501.14 c | 612243 | 784 108080 283220 | 66313 60555 49 | 0.000 % |
502.30/502.66 c | 614107 | 784 108080 283220 | 66313 62419 49 | 0.010 % |
504.19/504.51 c | 616158 | 784 108080 283220 | 66313 64470 48 | 0.010 % |
506.39/506.71 c | 618412 | 784 108080 283220 | 66313 58343 44 | 0.012 % |
508.79/509.11 c | 620891 | 784 108080 283220 | 59932 53418 44 | 0.012 % |
511.39/511.73 c | 623616 | 784 108080 283220 | 59932 56143 43 | 0.011 % |
513.69/514.04 c | 626614 | 784 108080 283220 | 59932 59141 44 | 0.000 % |
516.59/516.98 c | 629911 | 784 108080 283220 | 59932 55571 43 | 0.011 % |
519.68/520.00 c | 633537 | 784 108080 283220 | 55660 52860 42 | 0.012 % |
522.58/522.93 c | 637525 | 784 108080 283220 | 55660 50982 47 | 0.000 % |
526.58/526.99 c | 641910 | 784 108080 283220 | 53458 49994 53 | 0.000 % |
530.48/530.82 c | 646733 | 784 108080 283220 | 53458 49433 49 | 0.000 % |
534.88/535.23 c | 652038 | 784 108080 283220 | 2147483647 54738 50 | 0.011 % |
540.28/540.62 c | 657873 | 784 108080 283220 | 2147483647 60573 53 | 0.000 % |
540.38/540.73 c | 657973 | 784 108080 283220 | 2147483647 60673 53 | 0.011 % |
540.48/540.86 c | 658083 | 784 108080 283220 | 2147483647 60783 53 | 0.011 % |
540.68/541.01 c | 658204 | 784 108080 283220 | 2147483647 60904 53 | 0.000 % |
540.79/541.15 c | 658341 | 784 108080 283220 | 2147483647 61041 53 | 0.011 % |
540.98/541.31 c | 658487 | 784 108080 283220 | 2147483647 61187 53 | 0.011 % |
541.08/541.49 c | 658648 | 784 108080 283220 | 2147483647 61348 53 | 0.011 % |
541.28/541.69 c | 658826 | 784 108080 283220 | 2147483647 61526 53 | 0.011 % |
541.58/541.92 c | 659021 | 784 108080 283220 | 2147483647 61721 53 | 0.011 % |
541.78/542.11 c | 659234 | 784 108080 283220 | 2147483647 61934 53 | 0.000 % |
541.99/542.30 c | 659473 | 784 108080 283220 | 2147483647 62173 53 | 0.011 % |
542.18/542.54 c | 659734 | 784 108080 283220 | 2147483647 62434 53 | 0.011 % |
542.38/542.79 c | 660017 | 784 108080 283220 | 62700 62717 53 | 0.011 % |
542.78/543.14 c | 660326 | 784 108080 283220 | 62700 55946 55 | 0.000 % |
543.09/543.44 c | 660665 | 784 108080 283220 | 62700 56285 55 | 0.000 % |
543.38/543.76 c | 661037 | 784 108080 283220 | 62700 56657 55 | 0.011 % |
543.78/544.15 c | 661446 | 784 108080 283220 | 62700 57066 55 | 0.000 % |
544.19/544.56 c | 661895 | 784 108080 283220 | 62700 57515 55 | 0.011 % |
544.58/544.96 c | 662389 | 784 108080 283220 | 62700 58009 55 | 0.000 % |
544.98/545.39 c | 662934 | 784 108080 283220 | 62700 58554 55 | 0.011 % |
545.58/545.92 c | 663530 | 784 108080 283220 | 62700 59150 55 | 0.012 % |
546.18/546.54 c | 664185 | 784 108080 283220 | 62700 59805 55 | 0.000 % |
547.08/547.42 c | 664905 | 784 108080 283220 | 62700 60525 55 | 0.000 % |
547.78/548.15 c | 665701 | 784 108080 283220 | 62700 61321 55 | 0.012 % |
548.68/549.04 c | 666573 | 784 108080 283220 | 62700 62193 55 | 0.012 % |
549.69/550.06 c | 667531 | 784 108080 283220 | 62700 54777 58 | 0.000 % |
550.79/551.17 c | 668585 | 784 108080 283220 | 62700 55831 58 | 0.000 % |
551.98/552.32 c | 669745 | 784 108080 283220 | 62700 56991 59 | 0.000 % |
552.98/553.35 c | 671021 | 784 108080 283220 | 57248 50555 59 | 0.011 % |
554.18/554.56 c | 672422 | 784 108080 283220 | 57248 51956 60 | 0.000 % |
555.68/556.05 c | 673963 | 784 108080 283220 | 57248 53497 60 | 0.011 % |
557.48/557.84 c | 675657 | 784 108080 283220 | 57248 55191 59 | 0.011 % |
559.48/559.81 c | 677523 | 784 108080 283220 | 57248 57057 59 | 0.011 % |
561.37/561.73 c | 679572 | 784 108080 283220 | 57248 51172 54 | 0.000 % |
563.37/563.79 c | 681826 | 784 108080 283220 | 51604 46549 56 | 0.000 % |
565.47/565.85 c | 684305 | 784 108080 283220 | 51604 49028 55 | 0.011 % |
567.87/568.24 c | 687031 | 784 108080 283220 | 51604 51754 54 | 0.011 % |
570.07/570.47 c | 690031 | 784 108080 283220 | 48788 48818 55 | 0.000 % |
572.77/573.19 c | 693328 | 784 108080 283220 | 48788 46941 58 | 0.000 % |
575.87/576.27 c | 696953 | 784 108080 283220 | 48788 45661 60 | 0.000 % |
579.47/579.85 c | 700940 | 784 108080 283220 | 2147483647 49648 58 | 0.000 % |
584.27/584.66 c | 705327 | 784 108080 283220 | 2147483647 54035 58 | 0.012 % |
589.36/589.75 c | 710151 | 784 108080 283220 | 58712 58859 57 | 0.000 % |
594.56/594.92 c | 715458 | 784 108080 283220 | 58712 55750 52 | 0.011 % |
600.06/600.42 c | 721293 | 784 108080 283220 | 51677 45502 46 | 0.011 % |
605.15/605.58 c | 727714 | 784 108080 283220 | 51677 51923 45 | 0.011 % |
605.35/605.70 c | 727814 | 784 108080 283220 | 51677 46520 38 | 0.011 % |
605.35/605.79 c | 727927 | 784 108080 283220 | 51677 46633 38 | 0.011 % |
605.45/605.89 c | 728049 | 784 108080 283220 | 51677 46755 38 | 0.011 % |
605.55/605.99 c | 728183 | 784 108080 283220 | 51677 46889 39 | 0.000 % |
605.66/606.08 c | 728330 | 784 108080 283220 | 51677 47036 39 | 0.000 % |
605.85/606.21 c | 728490 | 784 108080 283220 | 51677 47196 39 | 0.011 % |
605.95/606.32 c | 728669 | 784 108080 283220 | 51677 47375 39 | 0.011 % |
606.05/606.46 c | 728865 | 784 108080 283220 | 51677 47571 38 | 0.011 % |
606.25/606.61 c | 729077 | 784 108080 283220 | 51677 47783 38 | 0.011 % |
606.35/606.74 c | 729312 | 784 108080 283220 | 51677 48018 39 | 0.000 % |
606.55/606.91 c | 729569 | 784 108080 283220 | 51677 48275 39 | 0.000 % |
606.65/607.09 c | 729851 | 784 108080 283220 | 51677 48557 39 | 0.000 % |
606.86/607.28 c | 730163 | 784 108080 283220 | 2147483647 48869 39 | 0.012 % |
607.15/607.54 c | 730503 | 784 108080 283220 | 2147483647 49209 40 | 0.000 % |
607.45/607.85 c | 730877 | 784 108080 283220 | 2147483647 49583 40 | 0.000 % |
607.75/608.10 c | 731287 | 784 108080 283220 | 2147483647 49993 40 | 0.000 % |
608.05/608.44 c | 731737 | 784 108080 283220 | 2147483647 50443 40 | 0.011 % |
608.45/608.85 c | 732230 | 784 108080 283220 | 2147483647 50936 40 | 0.011 % |
608.85/609.30 c | 732773 | 784 108080 283220 | 2147483647 51479 40 | 0.011 % |
609.35/609.73 c | 733371 | 784 108080 283220 | 2147483647 52077 40 | 0.011 % |
609.85/610.24 c | 734028 | 784 108080 283220 | 2147483647 52734 40 | 0.000 % |
610.25/610.67 c | 734750 | 784 108080 283220 | 2147483647 53456 41 | 0.000 % |
610.85/611.21 c | 735542 | 784 108080 283220 | 2147483647 54248 41 | 0.011 % |
611.45/611.81 c | 736415 | 784 108080 283220 | 2147483647 55121 42 | 0.000 % |
612.26/612.64 c | 737373 | 784 108080 283220 | 2147483647 56079 42 | 0.000 % |
613.05/613.45 c | 738429 | 784 108080 283220 | 2147483647 57135 42 | 0.011 % |
613.75/614.16 c | 739588 | 784 108080 283220 | 2147483647 58294 42 | 0.011 % |
614.65/615.08 c | 740863 | 784 108080 283220 | 2147483647 59569 43 | 0.000 % |
615.66/616.09 c | 742265 | 784 108080 283220 | 2147483647 60971 43 | 0.000 % |
616.95/617.35 c | 743807 | 784 108080 283220 | 2147483647 62513 43 | 0.011 % |
618.45/618.80 c | 745503 | 784 108080 283220 | 2147483647 64209 43 | 0.011 % |
619.65/620.09 c | 747366 | 784 108080 283220 | 2147483647 66072 45 | 0.000 % |
621.45/621.87 c | 749415 | 784 108080 283220 | 2147483647 68121 45 | 0.011 % |
623.25/623.65 c | 751668 | 784 108080 283220 | 2147483647 70374 45 | 0.011 % |
625.15/625.56 c | 754147 | 784 108080 283220 | 2147483647 72853 44 | 0.012 % |
627.55/627.92 c | 756872 | 784 108080 283220 | 2147483647 75578 45 | 0.011 % |
630.35/630.80 c | 759870 | 784 108080 283220 | 2147483647 78576 45 | 0.011 % |
633.44/633.82 c | 763166 | 784 108080 283220 | 78708 73098 43 | 0.011 % |
637.34/637.72 c | 766793 | 784 108080 283220 | 78708 76725 43 | 0.011 % |
641.24/641.65 c | 770782 | 784 108080 283220 | 69513 61120 43 | 0.011 % |
645.14/645.54 c | 775167 | 784 108080 283220 | 69513 65505 43 | 0.011 % |
649.54/649.90 c | 779991 | 784 108080 283220 | 69513 62112 43 | 0.011 % |
653.73/654.19 c | 785300 | 784 108080 283220 | 62123 60264 40 | 0.011 % |
658.43/658.80 c | 791136 | 784 108080 283220 | 2147483647 59854 37 | 0.011 % |
663.93/664.38 c | 797556 | 784 108080 283220 | 2147483647 66274 38 | 0.012 % |
669.53/669.99 c | 804619 | 784 108080 283220 | 68719 65742 41 | 0.000 % |
669.63/670.09 c | 804723 | 784 108080 283220 | 68719 65846 41 | 0.011 % |
669.73/670.16 c | 804833 | 784 108080 283220 | 68719 65956 41 | 0.011 % |
669.83/670.24 c | 804955 | 784 108080 283220 | 68719 66078 41 | 0.011 % |
669.93/670.34 c | 805089 | 784 108080 283220 | 68719 66212 41 | 0.011 % |
670.02/670.45 c | 805235 | 784 108080 283220 | 68719 66358 41 | 0.000 % |
670.12/670.57 c | 805396 | 784 108080 283220 | 68719 66519 41 | 0.000 % |
670.32/670.71 c | 805573 | 784 108080 283220 | 68719 66696 41 | 0.011 % |
670.42/670.88 c | 805768 | 784 108080 283220 | 68719 66891 42 | 0.000 % |
670.63/671.07 c | 805981 | 784 108080 283220 | 68719 67104 42 | 0.000 % |
670.82/671.25 c | 806217 | 784 108080 283220 | 68719 67340 42 | 0.012 % |
671.02/671.47 c | 806473 | 784 108080 283220 | 68719 67596 42 | 0.011 % |
671.32/671.72 c | 806754 | 784 108080 283220 | 68719 67877 42 | 0.011 % |
671.52/671.99 c | 807064 | 784 108080 283220 | 68719 68187 41 | 0.012 % |
671.82/672.22 c | 807404 | 784 108080 283220 | 68719 68527 42 | 0.000 % |
672.12/672.50 c | 807776 | 784 108080 283220 | 68719 68899 42 | 0.000 % |
672.52/672.92 c | 808191 | 784 108080 283220 | 68719 61821 42 | 0.011 % |
672.83/673.27 c | 808641 | 784 108080 283220 | 68719 62271 41 | 0.011 % |
673.22/673.62 c | 809135 | 784 108080 283220 | 68719 62765 41 | 0.011 % |
673.62/674.04 c | 809677 | 784 108080 283220 | 68719 63307 41 | 0.011 % |
674.12/674.53 c | 810273 | 784 108080 283220 | 63633 63903 41 | 0.011 % |
674.72/675.12 c | 810928 | 784 108080 283220 | 63633 58168 42 | 0.011 % |
675.22/675.62 c | 811648 | 784 108080 283220 | 63633 58888 42 | 0.011 % |
675.82/676.23 c | 812440 | 784 108080 283220 | 63633 59680 42 | 0.011 % |
676.42/676.88 c | 813314 | 784 108080 283220 | 63633 60554 41 | 0.011 % |
677.22/677.65 c | 814272 | 784 108080 283220 | 63633 61512 41 | 0.012 % |
677.82/678.28 c | 815325 | 784 108080 283220 | 63633 62565 42 | 0.012 % |
678.82/679.27 c | 816483 | 784 108080 283220 | 63633 63723 42 | 0.012 % |
679.92/680.39 c | 817756 | 784 108080 283220 | 63633 58624 41 | 0.011 % |
681.12/681.50 c | 819158 | 784 108080 283220 | 63633 60026 41 | 0.011 % |
682.22/682.68 c | 820702 | 784 108080 283220 | 2147483647 61570 41 | 0.012 % |
683.42/683.88 c | 822396 | 784 108080 283220 | 2147483647 63264 41 | 0.000 % |
684.92/685.34 c | 824259 | 784 108080 283220 | 2147483647 65127 42 | 0.010 % |
686.52/686.96 c | 826311 | 784 108080 283220 | 2147483647 67179 42 | 0.010 % |
688.32/688.78 c | 828568 | 784 108080 283220 | 2147483647 69436 42 | 0.010 % |
690.52/690.94 c | 831046 | 784 108080 283220 | 70868 64400 45 | 0.000 % |
692.81/693.24 c | 833771 | 784 108080 283220 | 70868 67125 47 | 0.000 % |
695.41/695.89 c | 836769 | 784 108080 283220 | 70868 70123 47 | 0.011 % |
698.51/698.91 c | 840065 | 784 108080 283220 | 64375 64440 48 | 0.011 % |
701.60/702.06 c | 843691 | 784 108080 283220 | 64375 59813 51 | 0.000 % |
705.30/705.76 c | 847678 | 784 108080 283220 | 64375 63800 51 | 0.011 % |
709.01/709.44 c | 852067 | 784 108080 283220 | 58147 52984 50 | 0.011 % |
713.10/713.53 c | 856890 | 784 108080 283220 | 58147 57807 55 | 0.000 % |
717.80/718.28 c | 862197 | 784 108080 283220 | 54166 49936 56 | 0.011 % |
722.50/722.99 c | 868032 | 784 108080 283220 | 54166 49549 51 | 0.011 % |
727.70/728.19 c | 874455 | 784 108080 283220 | 51517 49932 54 | 0.000 % |
733.80/734.20 c | 881515 | 784 108080 283220 | 49722 45721 49 | 0.011 % |
740.29/740.71 c | 889279 | 784 108080 283220 | 49722 48481 52 | 0.000 % |
740.29/740.79 c | 889380 | 784 108080 283220 | 49722 48582 52 | 0.000 % |
740.39/740.89 c | 889490 | 784 108080 283220 | 49722 48692 52 | 0.011 % |
740.59/741.01 c | 889615 | 784 108080 283220 | 49722 48817 52 | 0.011 % |
740.69/741.11 c | 889751 | 784 108080 283220 | 49722 48953 52 | 0.011 % |
740.69/741.19 c | 889898 | 784 108080 283220 | 49722 49100 52 | 0.011 % |
740.89/741.33 c | 890060 | 784 108080 283220 | 2147483647 49262 51 | 0.011 % |
740.99/741.48 c | 890237 | 784 108080 283220 | 2147483647 49439 52 | 0.000 % |
741.19/741.61 c | 890433 | 784 108080 283220 | 2147483647 49635 52 | 0.000 % |
741.29/741.79 c | 890645 | 784 108080 283220 | 2147483647 49847 52 | 0.011 % |
741.49/741.96 c | 890878 | 784 108080 283220 | 2147483647 50080 52 | 0.011 % |
741.69/742.15 c | 891134 | 784 108080 283220 | 2147483647 50336 52 | 0.000 % |
741.89/742.39 c | 891416 | 784 108080 283220 | 2147483647 50618 52 | 0.011 % |
742.19/742.66 c | 891725 | 784 108080 283220 | 2147483647 50927 52 | 0.011 % |
742.39/742.88 c | 892064 | 784 108080 283220 | 2147483647 51266 52 | 0.011 % |
742.69/743.19 c | 892438 | 784 108080 283220 | 2147483647 51640 52 | 0.000 % |
742.99/743.49 c | 892849 | 784 108080 283220 | 2147483647 52051 52 | 0.012 % |
743.39/743.90 c | 893298 | 784 108080 283220 | 2147483647 52500 52 | 0.011 % |
743.78/744.26 c | 893791 | 784 108080 283220 | 2147483647 52993 52 | 0.011 % |
744.29/744.73 c | 894333 | 784 108080 283220 | 2147483647 53535 52 | 0.000 % |
744.88/745.32 c | 894929 | 784 108080 283220 | 2147483647 54131 51 | 0.011 % |
745.48/745.98 c | 895586 | 784 108080 283220 | 2147483647 54788 51 | 0.011 % |
745.98/746.49 c | 896306 | 784 108080 283220 | 2147483647 55508 52 | 0.000 % |
746.78/747.26 c | 897099 | 784 108080 283220 | 2147483647 56301 52 | 0.011 % |
747.49/747.93 c | 897972 | 784 108080 283220 | 2147483647 57174 53 | 0.000 % |
748.28/748.71 c | 898930 | 784 108080 283220 | 2147483647 58132 52 | 0.011 % |
749.28/749.72 c | 899983 | 784 108080 283220 | 2147483647 59185 52 | 0.011 % |
750.28/750.77 c | 901141 | 784 108080 283220 | 2147483647 60343 52 | 0.011 % |
751.58/752.05 c | 902416 | 784 108080 283220 | 2147483647 61618 52 | 0.011 % |
752.88/753.31 c | 903816 | 784 108080 283220 | 2147483647 63018 51 | 0.011 % |
754.28/754.74 c | 905356 | 784 108080 283220 | 2147483647 64558 51 | 0.011 % |
756.18/756.61 c | 907051 | 784 108080 283220 | 2147483647 66253 51 | 0.011 % |
758.08/758.52 c | 908915 | 784 108080 283220 | 2147483647 68117 52 | 0.000 % |
760.18/760.61 c | 910966 | 784 108080 283220 | 69202 60983 50 | 0.011 % |
761.88/762.35 c | 913224 | 784 108080 283220 | 69202 63241 50 | 0.011 % |
764.08/764.57 c | 915703 | 784 108080 283220 | 69202 65720 50 | 0.012 % |
766.87/767.30 c | 918428 | 784 108080 283220 | 69202 68445 49 | 0.012 % |
769.87/770.36 c | 921426 | 784 108080 283220 | 61570 55479 47 | 0.012 % |
772.88/773.33 c | 924726 | 784 108080 283220 | 61570 58779 48 | 0.011 % |
776.57/777.08 c | 928352 | 784 108080 283220 | 61570 54723 43 | 0.011 % |
780.47/781.00 c | 932341 | 784 108080 283220 | 56373 51828 42 | 0.011 % |
784.76/785.21 c | 936728 | 784 108080 283220 | 56373 56215 44 | 0.011 % |
789.96/790.47 c | 941552 | 784 108080 283220 | 52770 47555 44 | 0.012 % |
793.86/794.38 c | 946857 | 784 108080 283220 | 52770 52860 48 | 0.000 % |
798.36/798.86 c | 952692 | 784 108080 283220 | 49859 47017 49 | 0.011 % |
803.15/803.61 c | 959110 | 784 108080 283220 | 49859 48432 48 | 0.011 % |
809.35/809.82 c | 966170 | 784 108080 283220 | 2147483647 55492 47 | 0.011 % |
816.25/816.80 c | 973934 | 784 108080 283220 | 59323 55774 45 | 0.011 % |
822.75/823.24 c | 982474 | 784 108080 283220 | 54732 50953 38 | 0.011 % |
822.85/823.30 c | 982576 | 784 108080 283220 | 54732 51055 38 | 0.011 % |
822.85/823.38 c | 982686 | 784 108080 283220 | 54732 51165 39 | 0.000 % |
822.95/823.46 c | 982812 | 784 108080 283220 | 54732 51291 39 | 0.011 % |
823.05/823.56 c | 982945 | 784 108080 283220 | 54732 51424 39 | 0.011 % |
823.15/823.66 c | 983091 | 784 108080 283220 | 54732 51570 39 | 0.011 % |
823.25/823.76 c | 983253 | 784 108080 283220 | 54732 51732 39 | 0.000 % |
823.35/823.89 c | 983429 | 784 108080 283220 | 54732 51908 39 | 0.000 % |
823.55/824.02 c | 983623 | 784 108080 283220 | 54732 52102 39 | 0.011 % |
823.65/824.17 c | 983835 | 784 108080 283220 | 54732 52314 39 | 0.011 % |
823.85/824.31 c | 984069 | 784 108080 283220 | 54732 52548 39 | 0.011 % |
823.95/824.44 c | 984326 | 784 108080 283220 | 54732 52805 39 | 0.000 % |
824.15/824.64 c | 984607 | 784 108080 283220 | 54732 53086 39 | 0.000 % |
824.35/824.83 c | 984916 | 784 108080 283220 | 54732 53395 39 | 0.011 % |
824.55/825.03 c | 985255 | 784 108080 283220 | 54732 53734 39 | 0.011 % |
824.75/825.29 c | 985627 | 784 108080 283220 | 54732 54106 39 | 0.011 % |
825.05/825.57 c | 986042 | 784 108080 283220 | 54732 54521 39 | 0.011 % |
825.35/825.84 c | 986491 | 784 108080 283220 | 54732 54970 40 | 0.000 % |
825.75/826.25 c | 986986 | 784 108080 283220 | 54732 49968 37 | 0.011 % |
826.15/826.60 c | 987529 | 784 108080 283220 | 54732 50511 37 | 0.011 % |
826.45/826.94 c | 988128 | 784 108080 283220 | 54732 51110 38 | 0.000 % |
826.85/827.39 c | 988783 | 784 108080 283220 | 54732 51765 38 | 0.000 % |
827.45/827.95 c | 989503 | 784 108080 283220 | 54732 52485 38 | 0.011 % |
827.95/828.45 c | 990299 | 784 108080 283220 | 2147483647 53281 39 | 0.000 % |
828.55/829.03 c | 991172 | 784 108080 283220 | 2147483647 54154 39 | 0.000 % |
829.24/829.71 c | 992132 | 784 108080 283220 | 2147483647 55114 39 | 0.011 % |
830.04/830.51 c | 993185 | 784 108080 283220 | 2147483647 56167 39 | 0.011 % |
830.94/831.41 c | 994344 | 784 108080 283220 | 2147483647 57326 39 | 0.011 % |
831.84/832.32 c | 995618 | 784 108080 283220 | 2147483647 58600 39 | 0.011 % |
832.84/833.37 c | 997018 | 784 108080 283220 | 2147483647 60000 39 | 0.011 % |
833.84/834.36 c | 998561 | 784 108080 283220 | 2147483647 61543 40 | 0.000 % |
835.04/835.59 c | 1000255 | 784 108080 283220 | 2147483647 63237 41 | 0.000 % |
836.54/837.09 c | 1002118 | 784 108080 283220 | 2147483647 65100 42 | 0.011 % |
838.43/838.94 c | 1004167 | 784 108080 283220 | 2147483647 67149 42 | 0.011 % |
840.33/840.89 c | 1006420 | 784 108080 283220 | 2147483647 69402 42 | 0.011 % |
842.53/843.06 c | 1008899 | 784 108080 283220 | 2147483647 71881 42 | 0.011 % |
844.93/845.41 c | 1011624 | 784 108080 283220 | 2147483647 74606 42 | 0.011 % |
847.73/848.27 c | 1014621 | 784 108080 283220 | 2147483647 77603 42 | 0.000 % |
850.43/850.98 c | 1017917 | 784 108080 283220 | 2147483647 80899 42 | 0.011 % |
853.53/854.02 c | 1021542 | 784 108080 283220 | 82987 75625 42 | 0.011 % |
856.83/857.32 c | 1025531 | 784 108080 283220 | 82987 79614 44 | 0.000 % |
861.33/861.90 c | 1029916 | 784 108080 283220 | 82987 73078 47 | 0.000 % |
866.13/866.61 c | 1034742 | 784 108080 283220 | 73162 68320 49 | 0.000 % |
871.32/871.83 c | 1040048 | 784 108080 283220 | 63778 63826 48 | 0.001 % |
876.22/876.78 c | 1045886 | 784 108080 283220 | 63778 61160 53 | 0.000 % |
881.82/882.31 c | 1052306 | 784 108080 283220 | 56208 51014 52 | 0.011 % |
887.72/888.23 c | 1059368 | 784 108080 283220 | 56208 51631 51 | 0.013 % |
894.41/894.91 c | 1067134 | 784 108080 283220 | 52263 47747 43 | 0.013 % |
901.71/902.24 c | 1075677 | 784 108080 283220 | 50616 50734 43 | 0.013 % |
908.11/908.65 c | 1085071 | 784 108080 283220 | 2147483647 54825 40 | 0.011 % |
908.21/908.73 c | 1085171 | 784 108080 283220 | 2147483647 54925 41 | 0.000 % |
908.21/908.78 c | 1085281 | 784 108080 283220 | 2147483647 55035 41 | 0.000 % |
908.31/908.85 c | 1085402 | 784 108080 283220 | 2147483647 55156 41 | 0.011 % |
908.41/908.97 c | 1085542 | 784 108080 283220 | 2147483647 55296 41 | 0.011 % |
908.51/909.06 c | 1085689 | 784 108080 283220 | 2147483647 55443 41 | 0.000 % |
908.61/909.16 c | 1085852 | 784 108080 283220 | 2147483647 55606 41 | 0.000 % |
908.71/909.26 c | 1086029 | 784 108080 283220 | 2147483647 55783 41 | 0.011 % |
908.91/909.40 c | 1086222 | 784 108080 283220 | 2147483647 55976 41 | 0.000 % |
909.01/909.57 c | 1086435 | 784 108080 283220 | 2147483647 56189 41 | 0.000 % |
909.11/909.68 c | 1086669 | 784 108080 283220 | 2147483647 56423 41 | 0.011 % |
909.31/909.85 c | 1086925 | 784 108080 283220 | 2147483647 56679 41 | 0.011 % |
909.51/910.06 c | 1087207 | 784 108080 283220 | 2147483647 56961 41 | 0.011 % |
909.71/910.28 c | 1087517 | 784 108080 283220 | 2147483647 57271 41 | 0.011 % |
910.01/910.50 c | 1087856 | 784 108080 283220 | 2147483647 57610 41 | 0.000 % |
910.21/910.74 c | 1088228 | 784 108080 283220 | 2147483647 57982 42 | 0.000 % |
910.51/911.00 c | 1088638 | 784 108080 283220 | 2147483647 58392 41 | 0.012 % |
910.81/911.34 c | 1089087 | 784 108080 283220 | 2147483647 58841 41 | 0.011 % |
911.11/911.64 c | 1089581 | 784 108080 283220 | 2147483647 59335 42 | 0.000 % |
911.41/911.99 c | 1090123 | 784 108080 283220 | 2147483647 59877 43 | 0.000 % |
911.91/912.41 c | 1090719 | 784 108080 283220 | 2147483647 60473 43 | 0.000 % |
912.31/912.88 c | 1091376 | 784 108080 283220 | 2147483647 61130 43 | 0.011 % |
912.91/913.44 c | 1092099 | 784 108080 283220 | 2147483647 61853 42 | 0.011 % |
913.41/913.97 c | 1092892 | 784 108080 283220 | 2147483647 62646 43 | 0.000 % |
914.10/914.62 c | 1093764 | 784 108080 283220 | 2147483647 63518 43 | 0.011 % |
914.80/915.36 c | 1094723 | 784 108080 283220 | 2147483647 64477 43 | 0.000 % |
915.60/916.17 c | 1095777 | 784 108080 283220 | 2147483647 65531 43 | 0.011 % |
916.50/917.07 c | 1096936 | 784 108080 283220 | 2147483647 66690 43 | 0.011 % |
917.40/917.94 c | 1098209 | 784 108080 283220 | 2147483647 67963 42 | 0.010 % |
918.40/918.98 c | 1099609 | 784 108080 283220 | 2147483647 69363 42 | 0.010 % |
919.50/920.02 c | 1101153 | 784 108080 283220 | 2147483647 70907 42 | 0.011 % |
920.70/921.24 c | 1102847 | 784 108080 283220 | 2147483647 72601 42 | 0.011 % |
921.99/922.50 c | 1104711 | 784 108080 283220 | 2147483647 74465 42 | 0.000 % |
923.59/924.19 c | 1106760 | 784 108080 283220 | 2147483647 76514 42 | 0.011 % |
925.70/926.27 c | 1109013 | 784 108080 283220 | 2147483647 78767 42 | 0.011 % |
927.49/928.05 c | 1111491 | 784 108080 283220 | 2147483647 81245 44 | 0.000 % |
929.89/930.48 c | 1114216 | 784 108080 283220 | 2147483647 83970 44 | 0.011 % |
932.69/933.28 c | 1117214 | 784 108080 283220 | 2147483647 86968 43 | 0.011 % |
935.69/936.21 c | 1120511 | 784 108080 283220 | 89754 80763 42 | 0.000 % |
938.79/939.37 c | 1124137 | 784 108080 283220 | 89754 84389 44 | 0.000 % |
942.39/942.90 c | 1128124 | 784 108080 283220 | 89754 88376 43 | 0.011 % |
946.69/947.24 c | 1132509 | 784 108080 283220 | 78660 70977 44 | 0.011 % |
950.68/951.26 c | 1137333 | 784 108080 283220 | 78660 75801 46 | 0.000 % |
955.29/955.81 c | 1142638 | 784 108080 283220 | 78468 70905 46 | 0.011 % |
960.88/961.44 c | 1148475 | 784 108080 283220 | 78468 76742 45 | 0.011 % |
966.67/967.23 c | 1154894 | 784 108080 283220 | 78270 72724 45 | 0.011 % |
973.27/973.81 c | 1161953 | 784 108080 283220 | 77836 69570 46 | 0.000 % |
980.87/981.41 c | 1169723 | 784 108080 283220 | 77836 77340 48 | 0.000 % |
988.57/989.15 c | 1178264 | 784 108080 283220 | 77621 73853 47 | 0.000 % |
997.26/997.84 c | 1187661 | 784 108080 283220 | 75594 71729 44 | 0.011 % |
1006.86/1007.42 c | 1197994 | 784 108080 283220 | 74068 71156 42 | 0.011 % |
1006.97/1007.52 c | 1198098 | 784 108080 283220 | 74068 71260 42 | 0.000 % |
1007.06/1007.65 c | 1198210 | 784 108080 283220 | 74068 71372 42 | 0.000 % |
1007.16/1007.78 c | 1198331 | 784 108080 283220 | 74068 71493 42 | 0.000 % |
1007.36/1007.91 c | 1198468 | 784 108080 283220 | 74068 71630 42 | 0.000 % |
1007.46/1008.07 c | 1198616 | 784 108080 283220 | 74068 71778 42 | 0.011 % |
1007.66/1008.20 c | 1198776 | 784 108080 283220 | 74068 71938 42 | 0.011 % |
1007.76/1008.36 c | 1198952 | 784 108080 283220 | 74068 72114 42 | 0.012 % |
1007.96/1008.52 c | 1199145 | 784 108080 283220 | 74068 72307 42 | 0.011 % |
1008.06/1008.69 c | 1199358 | 784 108080 283220 | 74068 72520 42 | 0.000 % |
1008.36/1008.92 c | 1199593 | 784 108080 283220 | 74068 72755 42 | 0.011 % |
1008.56/1009.13 c | 1199849 | 784 108080 283220 | 74068 73011 43 | 0.000 % |
1008.76/1009.30 c | 1200131 | 784 108080 283220 | 73162 73293 43 | 0.000 % |
1009.06/1009.64 c | 1200443 | 784 108080 283220 | 73162 63300 43 | 0.000 % |
1009.26/1009.85 c | 1200784 | 784 108080 283220 | 73162 63641 43 | 0.011 % |
1009.65/1010.20 c | 1201157 | 784 108080 283220 | 73162 64014 43 | 0.011 % |
1009.95/1010.53 c | 1201566 | 784 108080 283220 | 73162 64423 43 | 0.011 % |
1010.36/1010.94 c | 1202015 | 784 108080 283220 | 73162 64872 44 | 0.000 % |
1010.85/1011.44 c | 1202508 | 784 108080 283220 | 73162 65365 44 | 0.000 % |
1011.35/1011.95 c | 1203050 | 784 108080 283220 | 73162 65907 44 | 0.000 % |
1011.85/1012.42 c | 1203647 | 784 108080 283220 | 73162 66504 45 | 0.000 % |
1012.35/1012.93 c | 1204306 | 784 108080 283220 | 73162 67163 45 | 0.011 % |
1012.95/1013.57 c | 1205026 | 784 108080 283220 | 73162 67883 45 | 0.000 % |
1013.65/1014.25 c | 1205818 | 784 108080 283220 | 73162 68675 45 | 0.000 % |
1014.45/1015.02 c | 1206690 | 784 108080 283220 | 73162 69547 45 | 0.000 % |
1015.35/1015.91 c | 1207648 | 784 108080 283220 | 73162 70505 45 | 0.012 % |
1015.95/1016.56 c | 1208701 | 784 108080 283220 | 73162 71558 45 | 0.012 % |
1017.05/1017.66 c | 1209863 | 784 108080 283220 | 73162 72720 45 | 0.011 % |
1018.45/1019.05 c | 1211137 | 784 108080 283220 | 72858 65489 44 | 0.011 % |
1019.75/1020.31 c | 1212538 | 784 108080 283220 | 72858 66890 44 | 0.011 % |
1021.05/1021.65 c | 1214080 | 784 108080 283220 | 72858 68432 45 | 0.000 % |
1022.65/1023.21 c | 1215775 | 784 108080 283220 | 72858 70127 46 | 0.000 % |
1024.15/1024.78 c | 1217638 | 784 108080 283220 | 72858 71990 46 | 0.000 % |
1025.65/1026.29 c | 1219687 | 784 108080 283220 | 72858 65325 44 | 0.000 % |
1027.74/1028.37 c | 1221940 | 784 108080 283220 | 65638 59895 44 | 0.000 % |
1029.94/1030.56 c | 1224420 | 784 108080 283220 | 65638 62375 43 | 0.011 % |
1032.44/1033.08 c | 1227147 | 784 108080 283220 | 65638 65102 43 | 0.011 % |
1035.04/1035.66 c | 1230144 | 784 108080 283220 | 61351 61495 43 | 0.011 % |
1037.94/1038.55 c | 1233445 | 784 108080 283220 | 61351 58513 43 | 0.012 % |
1040.84/1041.42 c | 1237070 | 784 108080 283220 | 61351 55555 43 | 0.011 % |
1044.44/1045.01 c | 1241057 | 784 108080 283220 | 58485 53485 44 | 0.000 % |
1048.04/1048.66 c | 1245442 | 784 108080 283220 | 58485 57870 48 | 0.000 % |
1052.24/1052.80 c | 1250267 | 784 108080 283220 | 2147483647 56813 47 | 0.011 % |
1056.83/1057.44 c | 1255572 | 784 108080 283220 | 2147483647 62118 46 | 0.000 % |
1062.93/1063.52 c | 1261411 | 784 108080 283220 | 66550 60133 50 | 0.000 % |
1068.42/1069.01 c | 1267829 | 784 108080 283220 | 66550 66551 51 | 0.000 % |
1075.23/1075.82 c | 1274889 | 784 108080 283220 | 60082 57041 53 | 0.011 % |
1082.42/1083.03 c | 1282655 | 784 108080 283220 | 53822 49003 49 | 0.011 % |
1090.22/1090.82 c | 1291196 | 784 108080 283220 | 49028 43381 44 | 0.011 % |
1098.62/1099.21 c | 1300591 | 784 108080 283220 | 46063 41167 41 | 0.011 % |
1105.51/1106.18 c | 1310926 | 784 108080 283220 | 2147483647 46860 52 | 0.000 % |
1114.31/1114.99 c | 1322294 | 784 108080 283220 | 2147483647 58228 53 | 0.000 % |
1114.41/1115.07 c | 1322395 | 784 108080 283220 | 2147483647 58329 52 | 0.011 % |
1114.51/1115.15 c | 1322509 | 784 108080 283220 | 2147483647 58443 52 | 0.011 % |
1114.61/1115.28 c | 1322632 | 784 108080 283220 | 2147483647 58566 53 | 0.000 % |
1114.71/1115.36 c | 1322765 | 784 108080 283220 | 2147483647 58699 53 | 0.011 % |
1114.91/1115.50 c | 1322911 | 784 108080 283220 | 2147483647 58845 53 | 0.000 % |
1115.01/1115.65 c | 1323071 | 784 108080 283220 | 2147483647 59005 52 | 0.011 % |
1115.11/1115.79 c | 1323248 | 784 108080 283220 | 2147483647 59182 53 | 0.000 % |
1115.31/1115.97 c | 1323442 | 784 108080 283220 | 2147483647 59376 53 | 0.011 % |
1115.51/1116.17 c | 1323654 | 784 108080 283220 | 2147483647 59588 53 | 0.011 % |
1115.71/1116.38 c | 1323887 | 784 108080 283220 | 2147483647 59821 53 | 0.011 % |
1115.91/1116.58 c | 1324145 | 784 108080 283220 | 2147483647 60079 52 | 0.011 % |
1116.10/1116.78 c | 1324427 | 784 108080 283220 | 2147483647 60361 52 | 0.011 % |
1116.40/1117.04 c | 1324737 | 784 108080 283220 | 2147483647 60671 52 | 0.011 % |
1116.60/1117.26 c | 1325077 | 784 108080 283220 | 2147483647 61011 52 | 0.011 % |
1116.91/1117.59 c | 1325450 | 784 108080 283220 | 2147483647 61384 52 | 0.000 % |
1117.20/1117.89 c | 1325859 | 784 108080 283220 | 2147483647 61793 52 | 0.000 % |
1117.60/1118.24 c | 1326308 | 784 108080 283220 | 2147483647 62242 52 | 0.012 % |
1118.01/1118.62 c | 1326801 | 784 108080 283220 | 2147483647 62735 52 | 0.012 % |
1118.50/1119.10 c | 1327344 | 784 108080 283220 | 2147483647 63278 52 | 0.012 % |
1118.90/1119.60 c | 1327940 | 784 108080 283220 | 2147483647 63874 52 | 0.012 % |
1119.50/1120.18 c | 1328596 | 784 108080 283220 | 2147483647 64530 52 | 0.011 % |
1120.10/1120.79 c | 1329318 | 784 108080 283220 | 2147483647 65252 52 | 0.000 % |
1120.90/1121.52 c | 1330110 | 784 108080 283220 | 2147483647 66044 53 | 0.000 % |
1121.40/1122.09 c | 1330981 | 784 108080 283220 | 2147483647 66915 52 | 0.011 % |
1122.10/1122.72 c | 1331940 | 784 108080 283220 | 2147483647 67874 52 | 0.011 % |
1122.80/1123.48 c | 1332995 | 784 108080 283220 | 2147483647 68929 52 | 0.000 % |
1123.90/1124.54 c | 1334154 | 784 108080 283220 | 2147483647 70088 52 | 0.011 % |
1125.00/1125.64 c | 1335431 | 784 108080 283220 | 2147483647 71365 52 | 0.012 % |
1126.10/1126.79 c | 1336831 | 784 108080 283220 | 2147483647 72765 52 | 0.000 % |
1127.50/1128.13 c | 1338371 | 784 108080 283220 | 2147483647 74305 52 | 0.012 % |
1129.10/1129.75 c | 1340066 | 784 108080 283220 | 2147483647 76000 51 | 0.000 % |
1130.90/1131.56 c | 1341933 | 784 108080 283220 | 2147483647 77867 52 | 0.000 % |
1132.90/1133.50 c | 1343982 | 784 108080 283220 | 2147483647 79916 52 | 0.011 % |
1135.10/1135.76 c | 1346236 | 784 108080 283220 | 2147483647 82170 51 | 0.011 % |
1137.59/1138.22 c | 1348714 | 784 108080 283220 | 2147483647 84648 51 | 0.000 % |
1140.69/1141.39 c | 1351441 | 784 108080 283220 | 85939 74790 51 | 0.011 % |
1143.69/1144.36 c | 1354438 | 784 108080 283220 | 85939 77787 51 | 0.011 % |
1147.38/1148.02 c | 1357734 | 784 108080 283220 | 85939 81083 50 | 0.000 % |
1150.99/1151.61 c | 1361361 | 784 108080 283220 | 83349 71310 49 | 0.012 % |
1154.88/1155.51 c | 1365349 | 784 108080 283220 | 83349 75298 48 | 0.012 % |
1158.88/1159.50 c | 1369736 | 784 108080 283220 | 83349 79685 47 | 0.013 % |
1162.98/1163.61 c | 1374559 | 784 108080 283220 | 79952 72102 41 | 0.011 % |
1167.58/1168.24 c | 1379865 | 784 108080 283220 | 79952 77408 45 | 0.000 % |
1173.17/1173.83 c | 1385702 | 784 108080 283220 | 77545 72797 45 | 0.011 % |
1179.27/1179.92 c | 1392123 | 784 108080 283220 | 77095 68535 44 | 0.011 % |
1185.47/1186.14 c | 1399185 | 784 108080 283220 | 77095 75597 44 | 0.011 % |
1191.86/1192.54 c | 1406950 | 784 108080 283220 | 76412 73069 44 | 0.011 % |
1199.86/1200.56 c | 1415490 | 784 108080 283220 | 76120 71328 44 | 0.011 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832111-1242769184/watcher-1832111-1242769184 -o /tmp/evaluation-result-1832111-1242769184/solver-1832111-1242769184 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832111-1242769184.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 18822
/proc/meminfo: memFree=1906144/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 304948439 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 234046062674 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/18822/statm: 1339 235 195 169 0 50 0
[pid=18823] ppid=18822 vsize=5356 CPUtime=0
/proc/18823/stat : 18823 (SatELiteGTI) S 18822 18822 18627 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 304948439 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/18823/statm: 1339 238 198 169 0 50 0
[startup+0.0820719 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 18822
/proc/meminfo: memFree=1906144/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304948439 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18822/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101069 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 18822
/proc/meminfo: memFree=1906144/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304948439 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18822/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301087 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 18822
/proc/meminfo: memFree=1906144/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 5356
[startup+0.701128 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 18822
/proc/meminfo: memFree=1906144/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 5356
[startup+1.50121 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 18828
/proc/meminfo: memFree=1897680/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=8152 CPUtime=1.33
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 1896 0 0 0 133 0 0 0 25 0 1 0 304948454 8347648 1882 1992294400 134512640 135215339 4294956240 18446744073709551615 134532684 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 2038 1882 77 171 0 1865 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13508
[startup+3.10138 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 18828
/proc/meminfo: memFree=1896144/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=9932 CPUtime=2.93
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 2346 0 0 0 292 1 0 0 25 0 1 0 304948454 10170368 2332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 2483 2332 77 171 0 2310 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15288
[startup+6.30271 s]
/proc/loadavg: 1.16 1.03 0.96 2/67 18828
/proc/meminfo: memFree=1892944/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=12736 CPUtime=6.12
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 3030 0 0 0 610 2 0 0 25 0 1 0 304948454 13041664 3016 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 3184 3016 77 171 0 3011 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 18092
[startup+12.7014 s]
/proc/loadavg: 1.15 1.03 0.96 2/67 18828
/proc/meminfo: memFree=1888656/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=16644 CPUtime=12.51
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 4023 0 0 0 1248 3 0 0 25 0 1 0 304948454 17043456 4009 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 4161 4009 77 171 0 3988 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 22000
[startup+25.5017 s]
/proc/loadavg: 1.11 1.03 0.96 2/67 18828
/proc/meminfo: memFree=1882320/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=22708 CPUtime=25.3
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 5554 0 0 0 2525 5 0 0 25 0 1 0 304948454 23252992 5540 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 5677 5540 77 171 0 5504 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 28064
[startup+51.1014 s]
/proc/loadavg: 1.07 1.03 0.96 2/67 18828
/proc/meminfo: memFree=1872912/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=32284 CPUtime=50.88
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 7932 0 0 0 5080 8 0 0 25 0 1 0 304948454 33058816 7918 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 8071 7918 77 171 0 7898 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 37640
[startup+102.306 s]
/proc/loadavg: 1.03 1.02 0.96 2/67 18828
/proc/meminfo: memFree=1867536/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=37456 CPUtime=102.05
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9169 0 0 0 10196 9 0 0 25 0 1 0 304948454 38354944 9155 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9364 9155 77 171 0 9191 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 42812
[startup+162.301 s]
/proc/loadavg: 1.01 1.02 0.96 2/67 18828
/proc/meminfo: memFree=1867280/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=37588 CPUtime=162.02
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9200 0 0 0 16192 10 0 0 25 0 1 0 304948454 38490112 9186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9397 9186 77 171 0 9224 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 42944
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 0.96 2/67 18828
/proc/meminfo: memFree=1867088/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=37588 CPUtime=221.99
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9215 0 0 0 22189 10 0 0 25 0 1 0 304948454 38490112 9201 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9397 9201 77 171 0 9224 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 42944
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 18830
/proc/meminfo: memFree=1866832/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=37588 CPUtime=281.96
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9215 0 0 0 28186 10 0 0 25 0 1 0 304948454 38490112 9201 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9397 9201 77 171 0 9224 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 42944
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 18830
/proc/meminfo: memFree=1866704/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=37728 CPUtime=341.93
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9250 0 0 0 34183 10 0 0 25 0 1 0 304948454 38633472 9236 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9432 9236 77 171 0 9259 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 43084
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 18830
/proc/meminfo: memFree=1866576/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=37888 CPUtime=401.9
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9272 0 0 0 40180 10 0 0 25 0 1 0 304948454 38797312 9258 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9472 9258 77 171 0 9299 0
Current children cumulated CPU time (s) 402.04
################
# More data... #
################
[pid=18828] ppid=18822 vsize=38060 CPUtime=521.84
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9299 0 0 0 52174 10 0 0 25 0 1 0 304948454 38973440 9285 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9515 9285 77 171 0 9342 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 43416
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 18830
/proc/meminfo: memFree=1866192/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=38060 CPUtime=581.83
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9299 0 0 0 58172 11 0 0 25 0 1 0 304948454 38973440 9285 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9515 9285 77 171 0 9342 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 43416
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 18830
/proc/meminfo: memFree=1866000/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=38060 CPUtime=641.81
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9311 0 0 0 64170 11 0 0 25 0 1 0 304948454 38973440 9297 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9515 9297 77 171 0 9342 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 43416
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 18830
/proc/meminfo: memFree=1865936/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=38060 CPUtime=701.76
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9311 0 0 0 70165 11 0 0 25 0 1 0 304948454 38973440 9297 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9515 9297 77 171 0 9342 0
Current children cumulated CPU time (s) 701.9
Current children cumulated vsize (KiB) 43416
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 18830
/proc/meminfo: memFree=1865808/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=38060 CPUtime=761.74
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9311 0 0 0 76163 11 0 0 25 0 1 0 304948454 38973440 9297 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9515 9297 77 171 0 9342 0
Current children cumulated CPU time (s) 761.88
Current children cumulated vsize (KiB) 43416
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 18830
/proc/meminfo: memFree=1865808/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=38204 CPUtime=821.71
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9334 0 0 0 82160 11 0 0 25 0 1 0 304948454 39120896 9320 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9551 9320 77 171 0 9378 0
Current children cumulated CPU time (s) 821.85
Current children cumulated vsize (KiB) 43560
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 18830
/proc/meminfo: memFree=1865552/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=38204 CPUtime=881.68
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9358 0 0 0 88157 11 0 0 25 0 1 0 304948454 39120896 9344 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9551 9344 77 171 0 9378 0
Current children cumulated CPU time (s) 881.82
Current children cumulated vsize (KiB) 43560
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 18830
/proc/meminfo: memFree=1865360/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=38368 CPUtime=941.65
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9376 0 0 0 94154 11 0 0 25 0 1 0 304948454 39288832 9362 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9592 9362 77 171 0 9419 0
Current children cumulated CPU time (s) 941.79
Current children cumulated vsize (KiB) 43724
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 18830
/proc/meminfo: memFree=1865232/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=38368 CPUtime=1001.62
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9376 0 0 0 100151 11 0 0 25 0 1 0 304948454 39288832 9362 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9592 9362 77 171 0 9419 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 43724
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 18830
/proc/meminfo: memFree=1865104/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=38512 CPUtime=1061.59
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9403 0 0 0 106148 11 0 0 25 0 1 0 304948454 39436288 9389 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9628 9389 77 171 0 9455 0
Current children cumulated CPU time (s) 1061.73
Current children cumulated vsize (KiB) 43868
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 18830
/proc/meminfo: memFree=1865040/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=38512 CPUtime=1121.56
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9415 0 0 0 112145 11 0 0 25 0 1 0 304948454 39436288 9401 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9628 9401 77 171 0 9455 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 43868
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 18830
/proc/meminfo: memFree=1864784/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=38512 CPUtime=1181.53
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9415 0 0 0 118142 11 0 0 25 0 1 0 304948454 39436288 9401 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9628 9401 77 171 0 9455 0
Current children cumulated CPU time (s) 1181.67
Current children cumulated vsize (KiB) 43868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 18830
/proc/meminfo: memFree=1864784/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=38512 CPUtime=1199.92
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9424 0 0 0 119981 11 0 0 25 0 1 0 304948454 39436288 9410 1992294400 134512640 135215339 4294956240 18446744073709551615 134528664 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9628 9410 77 171 0 9455 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 43868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 18830
/proc/meminfo: memFree=1864784/2055920 swapFree=4178328/4192956
[pid=18822] ppid=18820 vsize=5356 CPUtime=0.14
/proc/18822/stat : 18822 (SatELiteGTI) S 18820 18822 18627 0 -1 4194304 336 1822 0 0 0 0 13 1 15 0 1 0 304948439 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18822/statm: 1339 239 197 169 0 50 0
[pid=18828] ppid=18822 vsize=38512 CPUtime=1199.92
/proc/18828/stat : 18828 (minisat_static) R 18822 18822 18627 0 -1 4194304 9424 0 0 0 119981 11 0 0 25 0 1 0 304948454 39436288 9410 1992294400 134512640 135215339 4294956240 18446744073709551615 134528664 0 0 4096 3 0 0 0 17 0 0 0
/proc/18828/statm: 9628 9410 77 171 0 9455 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 43868
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.09
CPU user time (s): 1199.95
CPU system time (s): 0.141978
CPU usage (%): 99.9486
Max. virtual memory (cumulated for all children) (KiB): 43868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.95
system time used= 0.141978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11582
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= 17
involuntary context switches= 7241
runsolver used 1.13783 second user time and 3.36649 second system time
The end
Begin job on node79 at 2009-05-19 23:39:44
IDJOB=1832111
IDBENCH=20492
IDSOLVER=671
FILE ID=node79/1832111-1242769184
PBS_JOBID= 9322224
Free space on /tmp= 66376 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_28.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832111-1242769184/watcher-1832111-1242769184 -o /tmp/evaluation-result-1832111-1242769184/solver-1832111-1242769184 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832111-1242769184.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2679ca6fb11bcf9f950de09652ce7147
RANDOM SEED=710630803
node79.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1906624 kB
Buffers: 10600 kB
Cached: 101460 kB
SwapCached: 9184 kB
Active: 33092 kB
Inactive: 90228 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1906624 kB
SwapTotal: 4192956 kB
SwapFree: 4178328 kB
Dirty: 3064 kB
Writeback: 0 kB
Mapped: 15468 kB
Slab: 11980 kB
Committed_AS: 1025800 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66372 MiB
End job on node79 at 2009-05-19 23:59:47