0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 61409 123673 | 18422 0 0 nan | 0.000 % |
0.00/0.22 c | 0 | 60163 194355 | -- 0 -- -- | -- | -1246/70682
0.00/0.22 c ==============================================================================
0.00/0.22 c Result : #vars: 900 #clauses: 60163 #literals: 194355
0.00/0.22 c CPU time: 0.214967 s
0.00/0.22 c ==============================================================================
0.00/0.28 c This is MiniSat 2.0 beta
0.00/0.28 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.28 c ============================[ Problem Statistics ]=============================
0.00/0.28 c | |
0.00/0.28 c | Number of variables: 900 |
0.00/0.28 c | Number of clauses: 60163 |
0.27/0.31 c | Parsing time: 0.02 s |
0.27/0.31 c ============================[ Search Statistics ]==============================
0.27/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.27/0.31 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.27/0.31 c ===============================================================================
0.27/0.31 c | 0 | 900 60163 194355 | 20054 0 nan | 0.000 % |
0.27/0.32 c | 100 | 900 60163 194355 | 20054 100 86 | 0.000 % |
0.27/0.33 c | 201 | 900 60163 194355 | 20054 201 76 | 0.000 % |
0.27/0.34 c | 302 | 900 60163 194355 | 20054 302 66 | 0.000 % |
0.27/0.35 c | 413 | 900 60163 194355 | 20054 413 63 | 0.000 % |
0.27/0.36 c | 513 | 900 60163 194355 | 20054 513 61 | 0.014 % |
0.27/0.37 c | 623 | 900 60163 194355 | 20054 623 68 | 0.000 % |
0.27/0.39 c | 746 | 900 60163 194355 | 20054 746 66 | 0.000 % |
0.27/0.39 c | 848 | 900 60163 194355 | 20054 848 64 | 0.019 % |
0.27/0.41 c | 958 | 900 60163 194355 | 20054 958 62 | 0.019 % |
0.27/0.42 c | 1079 | 900 60163 194355 | 20054 1079 61 | 0.019 % |
0.27/0.43 c | 1212 | 900 60163 194355 | 20054 1212 65 | 0.000 % |
0.27/0.44 c | 1312 | 900 60163 194355 | 20054 1312 66 | 0.000 % |
0.27/0.45 c | 1423 | 900 60163 194355 | 20054 1423 65 | 0.017 % |
0.27/0.46 c | 1547 | 900 60163 194355 | 20054 1547 64 | 0.000 % |
0.27/0.48 c | 1680 | 900 60163 194355 | 20054 1680 67 | 0.000 % |
0.27/0.49 c | 1827 | 900 60163 194355 | 20054 1827 68 | 0.000 % |
0.27/0.50 c | 1927 | 900 60163 194355 | 20054 1927 67 | 0.000 % |
0.27/0.51 c | 2037 | 900 60163 194355 | 20054 2037 67 | 0.000 % |
0.27/0.53 c | 2159 | 900 60163 194355 | 20054 2159 68 | 0.000 % |
0.27/0.54 c | 2294 | 900 60163 194355 | 20054 2294 67 | 0.000 % |
0.27/0.55 c | 2441 | 900 60163 194355 | 20054 2441 67 | 0.000 % |
0.27/0.57 c | 2601 | 900 60163 194355 | 20054 2601 66 | 0.000 % |
0.27/0.58 c | 2701 | 900 60163 194355 | 20054 2701 65 | 0.000 % |
0.27/0.59 c | 2811 | 900 60163 194355 | 20054 2811 65 | 0.000 % |
0.27/0.60 c | 2933 | 900 60163 194355 | 20054 2933 65 | 0.000 % |
0.27/0.62 c | 3066 | 900 60163 194355 | 20054 3066 65 | 0.000 % |
0.27/0.63 c | 3213 | 900 60163 194355 | 20054 3213 65 | 0.000 % |
0.27/0.65 c | 3374 | 900 60163 194355 | 20054 3374 66 | 0.000 % |
0.27/0.67 c | 3551 | 900 60163 194355 | 20054 3551 66 | 0.000 % |
0.27/0.68 c | 3652 | 900 60163 194355 | 20054 3652 66 | 0.000 % |
0.27/0.70 c | 3762 | 900 60163 194355 | 20054 3762 66 | 0.017 % |
0.27/0.72 c | 3886 | 900 60163 194355 | 20054 3886 65 | 0.016 % |
0.27/0.73 c | 4019 | 900 60163 194355 | 20054 4019 64 | 0.000 % |
0.27/0.75 c | 4165 | 900 60163 194355 | 20054 4165 66 | 0.000 % |
0.27/0.77 c | 4325 | 900 60163 194355 | 20054 4325 65 | 0.000 % |
0.27/0.79 c | 4503 | 900 60163 194355 | 20054 4503 65 | 0.000 % |
0.27/0.82 c | 4696 | 900 60163 194355 | 20054 4696 66 | 0.000 % |
0.27/0.83 c | 4797 | 900 60163 194355 | 20054 4797 66 | 0.000 % |
0.27/0.84 c | 4907 | 900 60163 194355 | 20054 4907 66 | 0.016 % |
0.27/0.85 c | 5029 | 900 60163 194355 | 20054 5029 65 | 0.000 % |
0.27/0.87 c | 5162 | 900 60163 194355 | 20054 5162 66 | 0.000 % |
0.27/0.89 c | 5310 | 900 60163 194355 | 20054 5310 66 | 0.000 % |
0.27/0.92 c | 5471 | 900 60163 194355 | 20054 5471 65 | 0.000 % |
0.27/0.94 c | 5647 | 900 60163 194355 | 20054 5647 65 | 0.018 % |
0.27/0.97 c | 5844 | 900 60163 194355 | 20054 5844 64 | 0.000 % |
0.96/1.01 c | 6056 | 900 60163 194355 | 20054 6056 64 | 0.018 % |
0.96/1.03 c | 6156 | 900 60163 194355 | 20054 6156 64 | 0.000 % |
0.96/1.04 c | 6266 | 900 60163 194355 | 20054 6266 65 | 0.000 % |
0.96/1.06 c | 6387 | 900 60163 194355 | 20054 6387 65 | 0.018 % |
0.96/1.08 c | 6521 | 900 60163 194355 | 20054 6521 64 | 0.016 % |
0.96/1.10 c | 6667 | 900 60163 194355 | 20054 6667 64 | 0.000 % |
1.06/1.12 c | 6827 | 900 60163 194355 | 20054 6827 64 | 0.020 % |
1.06/1.14 c | 7005 | 900 60163 194355 | 20054 7005 64 | 0.000 % |
1.06/1.17 c | 7200 | 900 60163 194355 | 20054 7200 64 | 0.000 % |
1.16/1.20 c | 7412 | 900 60163 194355 | 20054 7412 63 | 0.015 % |
1.16/1.23 c | 7647 | 900 60163 194355 | 20054 7647 63 | 0.017 % |
1.16/1.24 c | 7747 | 900 60163 194355 | 20054 7747 62 | 0.017 % |
1.16/1.26 c | 7859 | 900 60163 194355 | 20054 7859 62 | 0.015 % |
1.16/1.29 c | 7982 | 900 60163 194355 | 20054 7982 62 | 0.015 % |
1.27/1.31 c | 8116 | 900 60163 194355 | 20054 8116 61 | 0.017 % |
1.27/1.33 c | 8263 | 900 60163 194355 | 20054 8263 61 | 0.017 % |
1.27/1.35 c | 8425 | 900 60163 194355 | 20054 8425 61 | 0.017 % |
1.27/1.38 c | 8602 | 900 60163 194355 | 20054 8602 61 | 0.000 % |
1.37/1.41 c | 8798 | 900 60163 194355 | 20054 8798 60 | 0.015 % |
1.37/1.44 c | 9010 | 900 60163 194355 | 20054 9010 60 | 0.015 % |
1.37/1.48 c | 9243 | 900 60163 194355 | 20054 9243 60 | 0.000 % |
1.47/1.53 c | 9499 | 900 60163 194355 | 20054 9499 61 | 0.000 % |
1.47/1.54 c | 9600 | 900 60163 194355 | 20054 9600 61 | 0.000 % |
1.47/1.56 c | 9710 | 900 60163 194355 | 20054 9710 61 | 0.000 % |
1.47/1.58 c | 9831 | 900 60163 194355 | 20054 9831 61 | 0.020 % |
1.47/1.59 c | 9965 | 900 60163 194355 | 20054 9965 60 | 0.000 % |
1.57/1.61 c | 10111 | 900 60163 194355 | 2147483647 10111 60 | 0.000 % |
1.57/1.64 c | 10271 | 900 60163 194355 | 2147483647 10271 60 | 0.000 % |
1.57/1.67 c | 10447 | 900 60163 194355 | 2147483647 10447 60 | 0.000 % |
1.57/1.70 c | 10640 | 900 60163 194355 | 2147483647 10640 59 | 0.000 % |
1.67/1.73 c | 10854 | 900 60163 194355 | 2147483647 10854 59 | 0.000 % |
1.67/1.77 c | 11087 | 900 60163 194355 | 2147483647 11087 58 | 0.000 % |
1.77/1.82 c | 11344 | 900 60163 194355 | 2147483647 11344 59 | 0.000 % |
1.77/1.88 c | 11628 | 900 60163 194355 | 2147483647 11628 60 | 0.000 % |
1.77/1.90 c | 11731 | 900 60163 194355 | 2147483647 11731 60 | 0.000 % |
1.87/1.91 c | 11841 | 900 60163 194355 | 2147483647 11841 60 | 0.000 % |
1.87/1.93 c | 11962 | 900 60163 194355 | 2147483647 11962 60 | 0.017 % |
1.87/1.96 c | 12097 | 900 60163 194355 | 2147483647 12097 60 | 0.000 % |
1.87/1.99 c | 12244 | 900 60163 194355 | 2147483647 12244 61 | 0.000 % |
1.97/2.01 c | 12405 | 900 60163 194355 | 2147483647 12405 61 | 0.000 % |
1.97/2.05 c | 12581 | 900 60163 194355 | 2147483647 12581 61 | 0.000 % |
2.07/2.10 c | 12774 | 900 60163 194355 | 2147483647 12774 62 | 0.000 % |
2.07/2.16 c | 12986 | 900 60163 194355 | 2147483647 12986 63 | 0.000 % |
2.17/2.20 c | 13221 | 900 60163 194355 | 2147483647 13221 63 | 0.000 % |
2.17/2.25 c | 13477 | 900 60163 194355 | 2147483647 13477 63 | 0.015 % |
2.27/2.31 c | 13758 | 900 60163 194355 | 2147483647 13758 62 | 0.000 % |
2.27/2.37 c | 14067 | 900 60163 194355 | 2147483647 14067 62 | 0.021 % |
2.27/2.39 c | 14168 | 900 60163 194355 | 2147483647 14168 62 | 0.000 % |
2.37/2.41 c | 14282 | 900 60163 194355 | 2147483647 14282 62 | 0.000 % |
2.37/2.43 c | 14403 | 900 60163 194355 | 2147483647 14403 62 | 0.000 % |
2.37/2.46 c | 14536 | 900 60163 194355 | 2147483647 14536 62 | 0.015 % |
2.47/2.51 c | 14682 | 900 60163 194355 | 2147483647 14682 62 | 0.000 % |
2.47/2.54 c | 14844 | 900 60163 194355 | 2147483647 14844 63 | 0.000 % |
2.47/2.58 c | 15021 | 900 60163 194355 | 2147483647 15021 62 | 0.000 % |
2.57/2.63 c | 15214 | 900 60163 194355 | 2147483647 15214 63 | 0.000 % |
2.57/2.67 c | 15426 | 900 60163 194355 | 2147483647 15426 63 | 0.000 % |
2.66/2.73 c | 15660 | 900 60163 194355 | 2147483647 15660 64 | 0.000 % |
2.66/2.79 c | 15916 | 900 60163 194355 | 2147483647 15916 64 | 0.000 % |
2.76/2.86 c | 16199 | 900 60163 194355 | 2147483647 16199 64 | 0.000 % |
2.87/2.93 c | 16511 | 900 60163 194355 | 2147483647 16511 64 | 0.019 % |
2.97/3.02 c | 16850 | 900 60163 194355 | 2147483647 16850 64 | 0.000 % |
2.97/3.04 c | 16950 | 900 60163 194355 | 2147483647 16950 65 | 0.000 % |
2.97/3.07 c | 17061 | 900 60163 194355 | 2147483647 17061 65 | 0.000 % |
3.06/3.10 c | 17182 | 900 60163 194355 | 2147483647 17182 65 | 0.000 % |
3.06/3.13 c | 17316 | 900 60163 194355 | 2147483647 17316 65 | 0.014 % |
3.06/3.17 c | 17462 | 900 60163 194355 | 2147483647 17462 65 | 0.000 % |
3.17/3.22 c | 17622 | 900 60163 194355 | 2147483647 17622 65 | 0.016 % |
3.17/3.26 c | 17801 | 900 60163 194355 | 2147483647 17801 65 | 0.000 % |
3.27/3.31 c | 17994 | 900 60163 194355 | 2147483647 17994 65 | 0.000 % |
3.27/3.37 c | 18207 | 900 60163 194355 | 2147483647 18207 64 | 0.000 % |
3.36/3.42 c | 18441 | 900 60163 194355 | 2147483647 18441 64 | 0.014 % |
3.36/3.47 c | 18700 | 900 60163 194355 | 2147483647 18700 64 | 0.014 % |
3.46/3.53 c | 18982 | 900 60163 194355 | 2147483647 18982 64 | 0.017 % |
3.56/3.61 c | 19293 | 900 60163 194355 | 2147483647 19293 63 | 0.014 % |
3.66/3.71 c | 19632 | 900 60163 194355 | 2147483647 19632 63 | 0.017 % |
3.66/3.80 c | 20006 | 900 60163 194355 | 2147483647 20006 62 | 0.014 % |
3.76/3.84 c | 20107 | 900 60163 194355 | 2147483647 20107 63 | 0.000 % |
3.76/3.87 c | 20217 | 900 60163 194355 | 2147483647 20217 63 | 0.000 % |
3.76/3.89 c | 20338 | 900 60163 194355 | 2147483647 20338 63 | 0.000 % |
3.86/3.92 c | 20471 | 900 60163 194355 | 2147483647 20471 63 | 0.000 % |
3.86/3.96 c | 20617 | 900 60163 194355 | 2147483647 20617 63 | 0.000 % |
3.96/4.00 c | 20778 | 900 60163 194355 | 2147483647 20778 63 | 0.000 % |
3.96/4.04 c | 20954 | 900 60163 194355 | 2147483647 20954 63 | 0.020 % |
3.96/4.08 c | 21147 | 900 60163 194355 | 2147483647 21147 63 | 0.000 % |
4.06/4.12 c | 21360 | 900 60163 194355 | 2147483647 21360 63 | 0.016 % |
4.06/4.17 c | 21593 | 900 60163 194355 | 2147483647 21593 62 | 0.000 % |
4.16/4.27 c | 21849 | 900 60163 194355 | 2147483647 21849 63 | 0.000 % |
4.26/4.36 c | 22131 | 900 60163 194355 | 2147483647 22131 63 | 0.000 % |
4.36/4.45 c | 22441 | 900 60163 194355 | 2147483647 22441 63 | 0.000 % |
4.46/4.51 c | 22780 | 900 60163 194355 | 2147483647 22780 63 | 0.000 % |
4.56/4.64 c | 23154 | 900 60163 194355 | 2147483647 23154 63 | 0.000 % |
4.66/4.76 c | 23563 | 900 60163 194355 | 2147483647 23563 63 | 0.016 % |
4.76/4.80 c | 23664 | 900 60163 194355 | 2147483647 23664 63 | 0.000 % |
4.76/4.84 c | 23776 | 900 60163 194355 | 2147483647 23776 63 | 0.000 % |
4.76/4.87 c | 23897 | 900 60163 194355 | 2147483647 23897 63 | 0.000 % |
4.87/4.90 c | 24030 | 900 60163 194355 | 2147483647 24030 63 | 0.000 % |
4.87/4.95 c | 24178 | 900 60163 194355 | 2147483647 24178 63 | 0.000 % |
4.97/5.01 c | 24339 | 900 60163 194355 | 2147483647 24339 63 | 0.000 % |
4.97/5.07 c | 24515 | 900 60163 194355 | 2147483647 24515 63 | 0.014 % |
5.06/5.14 c | 24709 | 900 60163 194355 | 2147483647 24709 63 | 0.000 % |
5.16/5.22 c | 24922 | 900 60163 194355 | 2147483647 24922 63 | 0.000 % |
5.16/5.30 c | 25157 | 900 60163 194355 | 2147483647 25157 63 | 0.020 % |
5.26/5.37 c | 25413 | 900 60163 194355 | 2147483647 25413 63 | 0.018 % |
5.37/5.45 c | 25694 | 900 60163 194355 | 2147483647 25694 63 | 0.000 % |
5.47/5.53 c | 26003 | 900 60163 194355 | 2147483647 26003 63 | 0.018 % |
5.56/5.63 c | 26343 | 900 60163 194355 | 2147483647 26343 64 | 0.000 % |
5.66/5.76 c | 26716 | 900 60163 194355 | 2147483647 26716 64 | 0.000 % |
5.76/5.89 c | 27125 | 900 60163 194355 | 2147483647 27125 64 | 0.000 % |
5.96/6.06 c | 27574 | 900 60163 194355 | 2147483647 27574 64 | 0.000 % |
5.96/6.10 c | 27675 | 900 60163 194355 | 2147483647 27675 64 | 0.000 % |
6.06/6.12 c | 27785 | 900 60163 194355 | 2147483647 27785 64 | 0.000 % |
6.06/6.16 c | 27907 | 900 60163 194355 | 2147483647 27907 64 | 0.000 % |
6.16/6.21 c | 28041 | 900 60163 194355 | 2147483647 28041 64 | 0.000 % |
6.16/6.27 c | 28187 | 900 60163 194355 | 2147483647 28187 65 | 0.000 % |
6.26/6.32 c | 28349 | 900 60163 194355 | 2147483647 28349 65 | 0.000 % |
6.26/6.38 c | 28526 | 900 60163 194355 | 2147483647 28526 65 | 0.000 % |
6.36/6.48 c | 28720 | 900 60163 194355 | 2147483647 28720 65 | 0.000 % |
6.46/6.56 c | 28933 | 900 60163 194355 | 2147483647 28933 65 | 0.000 % |
6.56/6.62 c | 29168 | 900 60163 194355 | 2147483647 29168 65 | 0.000 % |
6.56/6.69 c | 29424 | 900 60163 194355 | 2147483647 29424 65 | 0.000 % |
6.66/6.78 c | 29707 | 900 60163 194355 | 2147483647 29707 65 | 0.000 % |
6.76/6.89 c | 30016 | 900 60163 194355 | 2147483647 30016 65 | 0.016 % |
6.96/7.04 c | 30355 | 900 60163 194355 | 2147483647 30355 65 | 0.000 % |
7.06/7.17 c | 30727 | 900 60163 194355 | 2147483647 30727 65 | 0.000 % |
7.26/7.34 c | 31139 | 900 60163 194355 | 2147483647 31139 65 | 0.000 % |
7.36/7.46 c | 31589 | 900 60163 194355 | 2147483647 31589 65 | 0.000 % |
7.67/7.73 c | 32082 | 900 60163 194355 | 2147483647 32082 65 | 0.000 % |
7.67/7.78 c | 32183 | 900 60163 194355 | 2147483647 32183 66 | 0.000 % |
7.76/7.83 c | 32293 | 900 60163 194355 | 2147483647 32293 66 | 0.000 % |
7.76/7.88 c | 32416 | 900 60163 194355 | 2147483647 32416 66 | 0.000 % |
7.86/7.92 c | 32549 | 900 60163 194355 | 2147483647 32549 66 | 0.000 % |
7.86/7.99 c | 32696 | 900 60163 194355 | 2147483647 32696 66 | 0.000 % |
7.96/8.05 c | 32856 | 900 60163 194355 | 2147483647 32856 66 | 0.000 % |
8.06/8.12 c | 33035 | 900 60163 194355 | 2147483647 33035 66 | 0.000 % |
8.16/8.22 c | 33234 | 900 60163 194355 | 2147483647 33234 66 | 0.000 % |
8.26/8.30 c | 33448 | 900 60163 194355 | 2147483647 33448 66 | 0.000 % |
8.26/8.37 c | 33682 | 900 60163 194355 | 2147483647 33682 66 | 0.000 % |
8.36/8.46 c | 33941 | 900 60163 194355 | 2147483647 33941 66 | 0.000 % |
8.46/8.55 c | 34222 | 900 60163 194355 | 2147483647 34222 66 | 0.020 % |
8.56/8.67 c | 34536 | 900 60163 194355 | 2147483647 34536 66 | 0.000 % |
8.76/8.81 c | 34875 | 900 60163 194355 | 2147483647 34875 67 | 0.000 % |
8.86/8.95 c | 35247 | 900 60163 194355 | 2147483647 35247 67 | 0.000 % |
9.06/9.11 c | 35656 | 900 60163 194355 | 2147483647 35656 67 | 0.019 % |
9.16/9.24 c | 36105 | 900 60163 194355 | 2147483647 36105 67 | 0.000 % |
9.36/9.43 c | 36598 | 900 60163 194355 | 2147483647 36598 67 | 0.000 % |
9.57/9.68 c | 37140 | 900 60163 194355 | 2147483647 37140 67 | 0.000 % |
9.67/9.72 c | 37240 | 900 60163 194355 | 2147483647 37240 67 | 0.000 % |
9.67/9.76 c | 37351 | 900 60163 194355 | 2147483647 37351 67 | 0.020 % |
9.77/9.80 c | 37473 | 900 60163 194355 | 2147483647 37473 67 | 0.019 % |
9.77/9.87 c | 37607 | 900 60163 194355 | 2147483647 37607 67 | 0.000 % |
9.87/9.94 c | 37760 | 900 60163 194355 | 2147483647 37760 67 | 0.000 % |
9.97/10.02 c | 37921 | 900 60163 194355 | 2147483647 37921 67 | 0.020 % |
10.07/10.10 c | 38097 | 900 60163 194355 | 2147483647 38097 67 | 0.000 % |
10.17/10.20 c | 38292 | 900 60163 194355 | 2147483647 38292 67 | 0.000 % |
10.17/10.29 c | 38504 | 900 60163 194355 | 2147483647 38504 67 | 0.000 % |
10.36/10.44 c | 38737 | 900 60163 194355 | 2147483647 38737 68 | 0.000 % |
10.46/10.57 c | 38995 | 900 60163 194355 | 2147483647 38995 68 | 0.000 % |
10.66/10.78 c | 39279 | 900 60163 194355 | 2147483647 39279 68 | 0.000 % |
10.87/10.94 c | 39589 | 900 60163 194355 | 2147483647 39589 68 | 0.000 % |
11.06/11.10 c | 39929 | 900 60163 194355 | 2147483647 39929 68 | 0.000 % |
11.26/11.31 c | 40301 | 900 60163 194355 | 2147483647 40301 68 | 0.017 % |
11.46/11.54 c | 40713 | 900 60163 194355 | 2147483647 40713 68 | 0.000 % |
11.66/11.75 c | 41162 | 900 60163 194355 | 2147483647 41162 68 | 0.000 % |
11.96/12.01 c | 41655 | 900 60163 194355 | 2147483647 41655 68 | 0.020 % |
12.26/12.35 c | 42197 | 900 60163 194355 | 2147483647 42197 68 | 0.000 % |
12.56/12.62 c | 42796 | 900 60163 194355 | 2147483647 42796 68 | 0.000 % |
12.56/12.66 c | 42897 | 900 60163 194355 | 2147483647 42897 68 | 0.000 % |
12.66/12.72 c | 43007 | 900 60163 194355 | 2147483647 43007 68 | 0.017 % |
12.76/12.80 c | 43129 | 900 60163 194355 | 2147483647 43129 68 | 0.000 % |
12.76/12.88 c | 43265 | 900 60163 194355 | 2147483647 43265 68 | 0.000 % |
12.86/12.95 c | 43411 | 900 60163 194355 | 2147483647 43411 68 | 0.000 % |
12.96/13.04 c | 43572 | 900 60163 194355 | 2147483647 43572 68 | 0.000 % |
13.06/13.18 c | 43748 | 900 60163 194355 | 2147483647 43748 68 | 0.000 % |
13.17/13.29 c | 43941 | 900 60163 194355 | 2147483647 43941 68 | 0.000 % |
13.37/13.41 c | 44153 | 900 60163 194355 | 2147483647 44153 68 | 0.018 % |
13.47/13.54 c | 44386 | 900 60163 194355 | 2147483647 44386 68 | 0.000 % |
13.56/13.68 c | 44642 | 900 60163 194355 | 2147483647 44642 68 | 0.018 % |
13.66/13.79 c | 44923 | 900 60163 194355 | 2147483647 44923 68 | 0.000 % |
13.86/13.91 c | 45233 | 900 60163 194355 | 2147483647 45233 67 | 0.020 % |
13.96/14.07 c | 45573 | 900 60163 194355 | 2147483647 45573 67 | 0.017 % |
14.17/14.30 c | 45945 | 900 60163 194355 | 2147483647 45945 67 | 0.000 % |
14.46/14.56 c | 46355 | 900 60163 194355 | 2147483647 46355 67 | 0.000 % |
14.66/14.79 c | 46805 | 900 60163 194355 | 2147483647 46805 67 | 0.000 % |
14.96/15.02 c | 47298 | 900 60163 194355 | 2147483647 47298 67 | 0.000 % |
15.26/15.31 c | 47841 | 900 60163 194355 | 2147483647 47841 67 | 0.000 % |
15.56/15.61 c | 48437 | 900 60163 194355 | 2147483647 48437 67 | 0.000 % |
15.86/15.92 c | 49092 | 900 60163 194355 | 2147483647 49092 67 | 0.000 % |
15.96/16.01 c | 49195 | 900 60163 194355 | 2147483647 49195 67 | 0.000 % |
15.96/16.05 c | 49305 | 900 60163 194355 | 2147483647 49305 67 | 0.000 % |
16.06/16.12 c | 49426 | 900 60163 194355 | 2147483647 49426 67 | 0.000 % |
16.16/16.22 c | 49559 | 900 60163 194355 | 2147483647 49559 67 | 0.015 % |
16.26/16.34 c | 49709 | 900 60163 194355 | 2147483647 49709 67 | 0.000 % |
16.37/16.44 c | 49870 | 900 60163 194355 | 2147483647 49870 68 | 0.000 % |
16.47/16.54 c | 50048 | 900 60163 194355 | 2147483647 50048 68 | 0.000 % |
16.56/16.64 c | 50241 | 900 60163 194355 | 2147483647 50241 68 | 0.000 % |
16.66/16.77 c | 50454 | 900 60163 194355 | 2147483647 50454 68 | 0.000 % |
16.86/16.91 c | 50687 | 900 60163 194355 | 2147483647 50687 68 | 0.000 % |
16.96/17.07 c | 50943 | 900 60163 194355 | 2147483647 50943 68 | 0.017 % |
17.16/17.25 c | 51224 | 900 60163 194355 | 2147483647 51224 68 | 0.000 % |
17.36/17.41 c | 51533 | 900 60163 194355 | 2147483647 51533 68 | 0.000 % |
17.56/17.62 c | 51872 | 900 60163 194355 | 2147483647 51872 68 | 0.000 % |
17.76/17.88 c | 52245 | 900 60163 194355 | 2147483647 52245 68 | 0.000 % |
18.06/18.13 c | 52655 | 900 60163 194355 | 2147483647 52655 68 | 0.000 % |
18.26/18.37 c | 53105 | 900 60163 194355 | 2147483647 53105 68 | 0.000 % |
18.56/18.64 c | 53600 | 900 60163 194355 | 2147483647 53600 69 | 0.000 % |
18.96/19.02 c | 54142 | 900 60163 194355 | 2147483647 54142 69 | 0.000 % |
19.26/19.38 c | 54738 | 900 60163 194355 | 2147483647 54738 69 | 0.000 % |
19.76/19.80 c | 55395 | 900 60163 194355 | 2147483647 55395 69 | 0.000 % |
20.16/20.22 c | 56118 | 900 60163 194355 | 2147483647 56118 69 | 0.000 % |
20.16/20.29 c | 56219 | 900 60163 194355 | 2147483647 56219 69 | 0.000 % |
20.26/20.36 c | 56329 | 900 60163 194355 | 2147483647 56329 69 | 0.017 % |
20.36/20.43 c | 56450 | 900 60163 194355 | 2147483647 56450 69 | 0.000 % |
20.46/20.53 c | 56583 | 900 60163 194355 | 2147483647 56583 69 | 0.000 % |
20.56/20.64 c | 56729 | 900 60163 194355 | 2147483647 56729 69 | 0.000 % |
20.66/20.74 c | 56889 | 900 60163 194355 | 2147483647 56889 69 | 0.000 % |
20.76/20.84 c | 57072 | 900 60163 194355 | 2147483647 57072 69 | 0.000 % |
20.86/20.95 c | 57265 | 900 60163 194355 | 2147483647 57265 69 | 0.000 % |
20.96/21.08 c | 57479 | 900 60163 194355 | 2147483647 57479 69 | 0.000 % |
21.15/21.23 c | 57712 | 900 60163 194355 | 2147483647 57712 69 | 0.000 % |
21.25/21.37 c | 57969 | 900 60163 194355 | 2147483647 57969 69 | 0.000 % |
21.45/21.53 c | 58252 | 900 60163 194355 | 2147483647 58252 69 | 0.000 % |
21.65/21.76 c | 58561 | 900 60163 194355 | 2147483647 58561 69 | 0.000 % |
21.87/21.95 c | 58900 | 900 60163 194355 | 2147483647 58900 69 | 0.000 % |
22.16/22.20 c | 59274 | 900 60163 194355 | 2147483647 59274 69 | 0.018 % |
22.36/22.40 c | 59684 | 900 60163 194355 | 2147483647 59684 70 | 0.000 % |
22.56/22.64 c | 60133 | 900 60163 194355 | 2147483647 60133 70 | 0.000 % |
22.97/23.07 c | 60630 | 900 60163 194355 | 2147483647 60630 70 | 0.000 % |
23.46/23.51 c | 61172 | 900 60163 194355 | 2147483647 61172 70 | 0.000 % |
23.96/24.05 c | 61769 | 900 60163 194355 | 2147483647 61769 70 | 0.000 % |
24.36/24.46 c | 62425 | 900 60163 194355 | 2147483647 62425 70 | 0.000 % |
24.76/24.89 c | 63145 | 900 60163 194355 | 2147483647 63145 70 | 0.000 % |
25.36/25.46 c | 63937 | 900 60163 194355 | 2147483647 63937 70 | 0.000 % |
25.46/25.54 c | 64038 | 900 60163 194355 | 2147483647 64038 70 | 0.018 % |
25.56/25.64 c | 64148 | 900 60163 194355 | 2147483647 64148 70 | 0.000 % |
25.66/25.72 c | 64269 | 900 60163 194355 | 2147483647 64269 70 | 0.000 % |
25.76/25.83 c | 64402 | 900 60163 194355 | 2147483647 64402 70 | 0.000 % |
25.86/25.90 c | 64550 | 900 60163 194355 | 2147483647 64550 70 | 0.000 % |
26.06/26.11 c | 64710 | 900 60163 194355 | 2147483647 64710 70 | 0.000 % |
26.16/26.24 c | 64892 | 900 60163 194355 | 2147483647 64892 70 | 0.000 % |
26.36/26.43 c | 65085 | 900 60163 194355 | 2147483647 65085 70 | 0.000 % |
26.46/26.57 c | 65298 | 900 60163 194355 | 2147483647 65298 70 | 0.000 % |
26.65/26.71 c | 65532 | 900 60163 194355 | 2147483647 65532 70 | 0.000 % |
26.85/26.94 c | 65791 | 900 60163 194355 | 2147483647 65791 70 | 0.000 % |
27.05/27.20 c | 66073 | 900 60163 194355 | 2147483647 66073 70 | 0.000 % |
27.46/27.51 c | 66382 | 900 60163 194355 | 2147483647 66382 70 | 0.000 % |
27.65/27.76 c | 66721 | 900 60163 194355 | 2147483647 66721 70 | 0.000 % |
27.95/28.03 c | 67093 | 900 60163 194355 | 2147483647 67093 71 | 0.000 % |
28.35/28.49 c | 67503 | 900 60163 194355 | 2147483647 67503 71 | 0.000 % |
28.76/28.87 c | 67954 | 900 60163 194355 | 2147483647 67954 71 | 0.000 % |
29.26/29.34 c | 68447 | 900 60163 194355 | 2147483647 68447 71 | 0.000 % |
29.66/29.77 c | 68989 | 900 60163 194355 | 2147483647 68989 71 | 0.000 % |
30.16/30.24 c | 69588 | 900 60163 194355 | 2147483647 69588 71 | 0.000 % |
30.66/30.78 c | 70243 | 900 60163 194355 | 70001 70243 71 | 0.000 % |
31.25/31.31 c | 70963 | 900 60163 194355 | 70001 60175 71 | 0.000 % |
31.86/31.94 c | 71755 | 900 60163 194355 | 70001 60967 71 | 0.000 % |
32.55/32.62 c | 72628 | 900 60163 194355 | 70001 61840 71 | 0.000 % |
32.55/32.68 c | 72728 | 900 60163 194355 | 70001 61940 71 | 0.000 % |
32.65/32.79 c | 72841 | 900 60163 194355 | 70001 62053 71 | 0.020 % |
32.75/32.89 c | 72962 | 900 60163 194355 | 70001 62174 71 | 0.000 % |
32.96/33.04 c | 73098 | 900 60163 194355 | 70001 62310 71 | 0.000 % |
33.05/33.16 c | 73244 | 900 60163 194355 | 70001 62456 71 | 0.000 % |
33.25/33.31 c | 73404 | 900 60163 194355 | 70001 62616 71 | 0.000 % |
33.35/33.45 c | 73583 | 900 60163 194355 | 70001 62795 71 | 0.000 % |
33.55/33.65 c | 73776 | 900 60163 194355 | 70001 62988 71 | 0.000 % |
33.75/33.84 c | 73989 | 900 60163 194355 | 70001 63201 71 | 0.000 % |
33.85/33.99 c | 74225 | 900 60163 194355 | 70001 63437 71 | 0.000 % |
34.06/34.16 c | 74481 | 900 60163 194355 | 70001 63693 71 | 0.000 % |
34.25/34.33 c | 74762 | 900 60163 194355 | 70001 63974 71 | 0.000 % |
34.45/34.54 c | 75072 | 900 60163 194355 | 70001 64284 71 | 0.000 % |
34.75/34.81 c | 75411 | 900 60163 194355 | 70001 64623 71 | 0.000 % |
35.06/35.11 c | 75783 | 900 60163 194355 | 70001 64995 71 | 0.000 % |
35.35/35.44 c | 76192 | 900 60163 194355 | 70001 65404 71 | 0.020 % |
35.65/35.78 c | 76641 | 900 60163 194355 | 70001 65853 71 | 0.000 % |
36.05/36.11 c | 77136 | 900 60163 194355 | 70001 66348 71 | 0.000 % |
36.45/36.50 c | 77678 | 900 60163 194355 | 70001 66890 71 | 0.000 % |
36.85/36.99 c | 78275 | 900 60163 194355 | 70001 67487 71 | 0.000 % |
37.36/37.43 c | 78930 | 900 60163 194355 | 70001 68142 71 | 0.000 % |
37.85/37.95 c | 79651 | 900 60163 194355 | 70001 68863 71 | 0.021 % |
38.65/38.75 c | 80444 | 900 60163 194355 | 69214 58262 69 | 0.014 % |
39.35/39.40 c | 81315 | 900 60163 194355 | 69214 59133 69 | 0.016 % |
40.05/40.12 c | 82273 | 900 60163 194355 | 69214 60091 69 | 0.016 % |
40.15/40.21 c | 82374 | 900 60163 194355 | 69214 60192 68 | 0.000 % |
40.25/40.30 c | 82484 | 900 60163 194355 | 69214 60302 68 | 0.014 % |
40.25/40.39 c | 82607 | 900 60163 194355 | 69214 60425 68 | 0.018 % |
40.35/40.49 c | 82740 | 900 60163 194355 | 69214 60558 68 | 0.016 % |
40.45/40.59 c | 82886 | 900 60163 194355 | 69214 60704 68 | 0.017 % |
40.55/40.68 c | 83046 | 900 60163 194355 | 69214 60864 68 | 0.017 % |
40.75/40.84 c | 83226 | 900 60163 194355 | 69214 61044 68 | 0.000 % |
40.85/40.98 c | 83419 | 900 60163 194355 | 69214 61237 68 | 0.000 % |
41.05/41.12 c | 83631 | 900 60163 194355 | 69214 61449 69 | 0.000 % |
41.15/41.27 c | 83864 | 900 60163 194355 | 69214 61682 69 | 0.000 % |
41.45/41.54 c | 84121 | 900 60163 194355 | 69214 61939 69 | 0.000 % |
41.65/41.78 c | 84403 | 900 60163 194355 | 69214 62221 69 | 0.000 % |
41.95/42.00 c | 84713 | 900 60163 194355 | 69214 62531 69 | 0.000 % |
42.15/42.29 c | 85052 | 900 60163 194355 | 69214 62870 69 | 0.018 % |
42.75/42.82 c | 85426 | 900 60163 194355 | 69214 63244 69 | 0.000 % |
43.15/43.21 c | 85835 | 900 60163 194355 | 69214 63653 69 | 0.000 % |
43.55/43.60 c | 86286 | 900 60163 194355 | 69214 64104 69 | 0.000 % |
43.85/43.95 c | 86780 | 900 60163 194355 | 69214 64598 69 | 0.000 % |
44.25/44.40 c | 87322 | 900 60163 194355 | 69214 65140 69 | 0.000 % |
44.65/44.77 c | 87918 | 900 60163 194355 | 69214 65736 69 | 0.017 % |
45.35/45.41 c | 88576 | 900 60163 194355 | 69214 66394 69 | 0.000 % |
45.85/45.98 c | 89296 | 900 60163 194355 | 69214 67114 70 | 0.000 % |
46.45/46.53 c | 90089 | 900 60163 194355 | 67820 67907 70 | 0.017 % |
47.45/47.50 c | 90960 | 900 60163 194355 | 67820 57572 68 | 0.000 % |
48.15/48.26 c | 91919 | 900 60163 194355 | 67820 58531 67 | 0.000 % |
48.85/48.94 c | 92975 | 900 60163 194355 | 67820 59587 67 | 0.000 % |
48.95/49.03 c | 93081 | 900 60163 194355 | 67820 59693 67 | 0.000 % |
49.05/49.14 c | 93194 | 900 60163 194355 | 67820 59806 67 | 0.000 % |
49.15/49.26 c | 93316 | 900 60163 194355 | 67820 59928 67 | 0.000 % |
49.25/49.39 c | 93450 | 900 60163 194355 | 67820 60062 67 | 0.000 % |
49.45/49.51 c | 93599 | 900 60163 194355 | 67820 60211 67 | 0.000 % |
49.55/49.65 c | 93759 | 900 60163 194355 | 67820 60371 68 | 0.000 % |
49.65/49.79 c | 93938 | 900 60163 194355 | 67820 60550 68 | 0.000 % |
49.85/49.97 c | 94135 | 900 60163 194355 | 67820 60747 68 | 0.000 % |
50.05/50.16 c | 94351 | 900 60163 194355 | 67820 60963 68 | 0.000 % |
50.25/50.34 c | 94584 | 900 60163 194355 | 67820 61196 68 | 0.000 % |
50.45/50.58 c | 94841 | 900 60163 194355 | 67820 61453 68 | 0.000 % |
50.65/50.76 c | 95122 | 900 60163 194355 | 67820 61734 68 | 0.000 % |
50.85/50.97 c | 95431 | 900 60163 194355 | 67820 62043 68 | 0.019 % |
51.15/51.21 c | 95771 | 900 60163 194355 | 67820 62383 68 | 0.019 % |
51.35/51.46 c | 96145 | 900 60163 194355 | 67820 62757 68 | 0.000 % |
51.65/51.74 c | 96554 | 900 60163 194355 | 67820 63166 68 | 0.000 % |
51.95/52.05 c | 97003 | 900 60163 194355 | 67820 63615 68 | 0.000 % |
52.55/52.60 c | 97496 | 900 60163 194355 | 67820 64108 68 | 0.000 % |
53.14/53.21 c | 98038 | 900 60163 194355 | 67820 64650 69 | 0.000 % |
53.64/53.78 c | 98636 | 900 60163 194355 | 67820 65248 69 | 0.000 % |
54.15/54.25 c | 99292 | 900 60163 194355 | 67820 65904 69 | 0.000 % |
54.65/54.77 c | 100013 | 900 60163 194355 | 66612 66625 70 | 0.000 % |
55.24/55.39 c | 100806 | 900 60163 194355 | 66612 56264 68 | 0.000 % |
56.14/56.20 c | 101679 | 900 60163 194355 | 66612 57137 68 | 0.000 % |
56.84/56.91 c | 102637 | 900 60163 194355 | 66612 58095 68 | 0.000 % |
57.64/57.71 c | 103690 | 900 60163 194355 | 66612 59148 69 | 0.000 % |
58.54/58.66 c | 104848 | 900 60163 194355 | 66612 60306 69 | 0.000 % |
58.64/58.74 c | 104948 | 900 60163 194355 | 66612 60406 69 | 0.000 % |
58.74/58.89 c | 105059 | 900 60163 194355 | 66612 60517 69 | 0.000 % |
58.94/59.00 c | 105181 | 900 60163 194355 | 66612 60639 69 | 0.000 % |
59.04/59.16 c | 105315 | 900 60163 194355 | 66612 60773 69 | 0.000 % |
59.14/59.29 c | 105461 | 900 60163 194355 | 66612 60919 69 | 0.000 % |
59.35/59.45 c | 105621 | 900 60163 194355 | 66612 61079 69 | 0.018 % |
59.44/59.56 c | 105799 | 900 60163 194355 | 66612 61257 69 | 0.000 % |
59.64/59.71 c | 105993 | 900 60163 194355 | 66612 61451 69 | 0.016 % |
59.74/59.84 c | 106207 | 900 60163 194355 | 66612 61665 69 | 0.018 % |
59.94/60.00 c | 106443 | 900 60163 194355 | 66612 61901 69 | 0.019 % |
60.14/60.23 c | 106700 | 900 60163 194355 | 66612 62158 69 | 0.017 % |
60.35/60.44 c | 106981 | 900 60163 194355 | 66612 62439 69 | 0.018 % |
60.54/60.65 c | 107291 | 900 60163 194355 | 66612 62749 69 | 0.015 % |
60.84/60.91 c | 107630 | 900 60163 194355 | 66612 63088 69 | 0.015 % |
61.04/61.11 c | 108006 | 900 60163 194355 | 66612 63464 69 | 0.000 % |
61.64/61.77 c | 108416 | 900 60163 194355 | 66612 63874 69 | 0.000 % |
62.24/62.34 c | 108866 | 900 60163 194355 | 66612 64324 69 | 0.000 % |
62.74/62.88 c | 109359 | 900 60163 194355 | 66612 64817 70 | 0.000 % |
63.24/63.39 c | 109902 | 900 60163 194355 | 66612 65360 70 | 0.000 % |
63.75/63.84 c | 110499 | 900 60163 194355 | 65460 54037 66 | 0.000 % |
64.14/64.30 c | 111154 | 900 60163 194355 | 65460 54692 66 | 0.000 % |
64.75/64.86 c | 111874 | 900 60163 194355 | 65460 55412 66 | 0.000 % |
65.34/65.43 c | 112667 | 900 60163 194355 | 65460 56205 67 | 0.000 % |
66.04/66.14 c | 113539 | 900 60163 194355 | 65460 57077 67 | 0.000 % |
66.94/67.07 c | 114499 | 900 60163 194355 | 65460 58037 68 | 0.000 % |
68.04/68.19 c | 115553 | 900 60163 194355 | 65460 59091 68 | 0.000 % |
69.24/69.36 c | 116711 | 900 60163 194355 | 65460 60249 69 | 0.000 % |
70.44/70.58 c | 117984 | 900 60163 194355 | 65460 61522 69 | 0.000 % |
70.54/70.68 c | 118085 | 900 60163 194355 | 65460 61623 69 | 0.000 % |
70.74/70.83 c | 118196 | 900 60163 194355 | 65460 61734 69 | 0.000 % |
70.84/70.94 c | 118317 | 900 60163 194355 | 65460 61855 69 | 0.000 % |
70.94/71.06 c | 118450 | 900 60163 194355 | 65460 61988 69 | 0.000 % |
71.14/71.22 c | 118597 | 900 60163 194355 | 65460 62135 69 | 0.018 % |
71.34/71.41 c | 118757 | 900 60163 194355 | 65460 62295 69 | 0.000 % |
71.44/71.54 c | 118938 | 900 60163 194355 | 65460 62476 69 | 0.000 % |
71.64/71.71 c | 119131 | 900 60163 194355 | 65460 62669 70 | 0.000 % |
71.84/71.94 c | 119345 | 900 60163 194355 | 65460 62883 70 | 0.000 % |
72.04/72.13 c | 119580 | 900 60163 194355 | 65460 63118 70 | 0.000 % |
72.34/72.49 c | 119839 | 900 60163 194355 | 65460 63377 70 | 0.000 % |
72.64/72.76 c | 120121 | 900 60163 194355 | 63539 63659 70 | 0.000 % |
72.94/73.08 c | 120430 | 900 60163 194355 | 63539 51773 70 | 0.000 % |
73.34/73.41 c | 120770 | 900 60163 194355 | 63539 52113 70 | 0.000 % |
73.64/73.71 c | 121142 | 900 60163 194355 | 63539 52485 70 | 0.000 % |
73.94/74.01 c | 121551 | 900 60163 194355 | 63539 52894 70 | 0.000 % |
74.34/74.42 c | 122000 | 900 60163 194355 | 63539 53343 70 | 0.000 % |
74.84/74.96 c | 122493 | 900 60163 194355 | 63539 53836 70 | 0.000 % |
75.24/75.38 c | 123037 | 900 60163 194355 | 63539 54380 70 | 0.000 % |
75.94/76.06 c | 123633 | 900 60163 194355 | 63539 54976 71 | 0.000 % |
76.64/76.76 c | 124288 | 900 60163 194355 | 63539 55631 71 | 0.000 % |
77.44/77.54 c | 125009 | 900 60163 194355 | 63539 56352 71 | 0.000 % |
78.44/78.56 c | 125801 | 900 60163 194355 | 63539 57144 72 | 0.000 % |
79.14/79.27 c | 126674 | 900 60163 194355 | 63539 58017 72 | 0.000 % |
80.14/80.25 c | 127637 | 900 60163 194355 | 63539 58980 72 | 0.000 % |
81.04/81.17 c | 128690 | 900 60163 194355 | 63539 60033 72 | 0.000 % |
81.94/82.03 c | 129848 | 900 60163 194355 | 63539 61191 72 | 0.000 % |
83.34/83.40 c | 131121 | 900 60163 194355 | 61344 50062 70 | 0.000 % |
84.34/84.40 c | 132521 | 900 60163 194355 | 61344 51462 70 | 0.016 % |
84.44/84.58 c | 132621 | 900 60163 194355 | 61344 51562 70 | 0.000 % |
84.64/84.73 c | 132733 | 900 60163 194355 | 61344 51674 70 | 0.000 % |
84.73/84.85 c | 132855 | 900 60163 194355 | 61344 51796 70 | 0.000 % |
84.93/85.00 c | 132988 | 900 60163 194355 | 61344 51929 70 | 0.000 % |
85.03/85.10 c | 133134 | 900 60163 194355 | 61344 52075 70 | 0.000 % |
85.14/85.24 c | 133298 | 900 60163 194355 | 61344 52239 70 | 0.017 % |
85.24/85.36 c | 133474 | 900 60163 194355 | 61344 52415 70 | 0.000 % |
85.44/85.54 c | 133668 | 900 60163 194355 | 61344 52609 70 | 0.000 % |
85.65/85.74 c | 133880 | 900 60163 194355 | 61344 52821 70 | 0.000 % |
85.84/85.99 c | 134113 | 900 60163 194355 | 61344 53054 70 | 0.000 % |
86.14/86.21 c | 134370 | 900 60163 194355 | 61344 53311 70 | 0.000 % |
86.34/86.47 c | 134654 | 900 60163 194355 | 61344 53595 70 | 0.000 % |
86.64/86.75 c | 134964 | 900 60163 194355 | 61344 53905 70 | 0.000 % |
86.85/86.98 c | 135304 | 900 60163 194355 | 61344 54245 70 | 0.000 % |
87.14/87.26 c | 135678 | 900 60163 194355 | 61344 54619 70 | 0.018 % |
87.54/87.62 c | 136088 | 900 60163 194355 | 61344 55029 70 | 0.000 % |
87.95/88.01 c | 136537 | 900 60163 194355 | 61344 55478 70 | 0.000 % |
88.54/88.64 c | 137031 | 900 60163 194355 | 61344 55972 71 | 0.000 % |
89.14/89.29 c | 137573 | 900 60163 194355 | 61344 56514 71 | 0.000 % |
89.94/90.00 c | 138169 | 900 60163 194355 | 61344 57110 71 | 0.000 % |
90.44/90.52 c | 138824 | 900 60163 194355 | 61344 57765 71 | 0.000 % |
91.04/91.16 c | 139545 | 900 60163 194355 | 61344 58486 72 | 0.000 % |
91.94/92.01 c | 140338 | 900 60163 194355 | 58941 48220 69 | 0.000 % |
92.64/92.78 c | 141210 | 900 60163 194355 | 58941 49092 69 | 0.000 % |
93.54/93.68 c | 142168 | 900 60163 194355 | 58941 50050 70 | 0.000 % |
94.64/94.76 c | 143222 | 900 60163 194355 | 58941 51104 70 | 0.000 % |
95.44/95.54 c | 144380 | 900 60163 194355 | 58941 52262 71 | 0.000 % |
96.64/96.79 c | 145655 | 900 60163 194355 | 58941 53537 72 | 0.000 % |
97.74/97.87 c | 147060 | 900 60163 194355 | 58941 54942 72 | 0.015 % |
99.34/99.47 c | 148603 | 900 60163 194355 | 58941 56485 73 | 0.000 % |
99.44/99.55 c | 148703 | 900 60163 194355 | 58941 56585 73 | 0.000 % |
99.54/99.67 c | 148814 | 900 60163 194355 | 58941 56696 73 | 0.000 % |
99.74/99.85 c | 148935 | 900 60163 194355 | 58941 56817 73 | 0.000 % |
99.94/100.06 c | 149072 | 900 60163 194355 | 58941 56954 73 | 0.000 % |
100.14/100.23 c | 149218 | 900 60163 194355 | 58941 57100 73 | 0.000 % |
100.34/100.44 c | 149379 | 900 60163 194355 | 58941 57261 73 | 0.000 % |
100.54/100.62 c | 149556 | 900 60163 194355 | 58941 57438 73 | 0.000 % |
100.74/100.82 c | 149749 | 900 60163 194355 | 58941 57631 73 | 0.000 % |
100.94/101.01 c | 149962 | 900 60163 194355 | 58941 57844 73 | 0.000 % |
101.04/101.19 c | 150196 | 900 60163 194355 | 57882 58078 74 | 0.000 % |
101.34/101.45 c | 150458 | 900 60163 194355 | 57882 46635 70 | 0.000 % |
101.54/101.61 c | 150740 | 900 60163 194355 | 57882 46917 70 | 0.000 % |
101.74/101.88 c | 151051 | 900 60163 194355 | 57882 47228 70 | 0.000 % |
102.24/102.30 c | 151390 | 900 60163 194355 | 57882 47567 70 | 0.000 % |
102.54/102.61 c | 151764 | 900 60163 194355 | 57882 47941 70 | 0.000 % |
102.84/102.92 c | 152174 | 900 60163 194355 | 57882 48351 70 | 0.000 % |
103.24/103.33 c | 152626 | 900 60163 194355 | 57882 48803 70 | 0.000 % |
103.64/103.79 c | 153121 | 900 60163 194355 | 57882 49298 71 | 0.000 % |
104.24/104.33 c | 153664 | 900 60163 194355 | 57882 49841 70 | 0.000 % |
104.64/104.77 c | 154260 | 900 60163 194355 | 57882 50437 71 | 0.000 % |
105.24/105.30 c | 154915 | 900 60163 194355 | 57882 51092 71 | 0.000 % |
105.84/105.96 c | 155636 | 900 60163 194355 | 57882 51813 71 | 0.000 % |
106.74/106.85 c | 156430 | 900 60163 194355 | 57882 52607 71 | 0.000 % |
107.54/107.69 c | 157301 | 900 60163 194355 | 57882 53478 71 | 0.000 % |
108.33/108.49 c | 158260 | 900 60163 194355 | 57882 54437 71 | 0.000 % |
109.23/109.36 c | 159316 | 900 60163 194355 | 57882 55493 71 | 0.000 % |
110.03/110.10 c | 160476 | 900 60163 194355 | 56177 56653 71 | 0.000 % |
110.83/110.94 c | 161749 | 900 60163 194355 | 56177 47200 67 | 0.000 % |
111.53/111.69 c | 163149 | 900 60163 194355 | 56177 48600 66 | 0.018 % |
112.83/112.99 c | 164689 | 900 60163 194355 | 56177 50140 65 | 0.016 % |
114.24/114.37 c | 166383 | 900 60163 194355 | 56177 51834 65 | 0.019 % |
114.34/114.44 c | 166487 | 900 60163 194355 | 56177 51938 65 | 0.018 % |
114.43/114.57 c | 166597 | 900 60163 194355 | 56177 52048 65 | 0.018 % |
114.63/114.74 c | 166718 | 900 60163 194355 | 56177 52169 65 | 0.000 % |
114.73/114.86 c | 166852 | 900 60163 194355 | 56177 52303 65 | 0.000 % |
114.83/114.98 c | 166999 | 900 60163 194355 | 56177 52450 65 | 0.000 % |
115.03/115.17 c | 167160 | 900 60163 194355 | 56177 52611 65 | 0.000 % |
115.23/115.33 c | 167336 | 900 60163 194355 | 56177 52787 65 | 0.000 % |
115.44/115.51 c | 167529 | 900 60163 194355 | 56177 52980 65 | 0.018 % |
115.53/115.68 c | 167741 | 900 60163 194355 | 56177 53192 65 | 0.000 % |
115.73/115.84 c | 167974 | 900 60163 194355 | 56177 53425 65 | 0.000 % |
115.93/116.00 c | 168234 | 900 60163 194355 | 56177 53685 65 | 0.020 % |
116.03/116.16 c | 168517 | 900 60163 194355 | 56177 53968 65 | 0.000 % |
116.54/116.61 c | 168830 | 900 60163 194355 | 56177 54281 65 | 0.000 % |
116.83/116.98 c | 169169 | 900 60163 194355 | 56177 54620 66 | 0.000 % |
117.13/117.30 c | 169544 | 900 60163 194355 | 56177 54995 66 | 0.000 % |
117.64/117.72 c | 169953 | 900 60163 194355 | 56177 55404 66 | 0.000 % |
117.83/117.97 c | 170404 | 900 60163 194355 | 55454 55855 66 | 0.000 % |
118.33/118.42 c | 170899 | 900 60163 194355 | 55454 46481 64 | 0.000 % |
118.74/118.87 c | 171442 | 900 60163 194355 | 55454 47024 65 | 0.000 % |
119.03/119.16 c | 172040 | 900 60163 194355 | 55454 47622 65 | 0.000 % |
119.53/119.64 c | 172695 | 900 60163 194355 | 55454 48277 65 | 0.000 % |
120.03/120.14 c | 173416 | 900 60163 194355 | 55454 48998 66 | 0.000 % |
120.53/120.68 c | 174211 | 900 60163 194355 | 55454 49793 66 | 0.014 % |
121.13/121.23 c | 175084 | 900 60163 194355 | 55454 50666 65 | 0.019 % |
122.23/122.30 c | 176043 | 900 60163 194355 | 55454 51625 66 | 0.000 % |
123.13/123.28 c | 177099 | 900 60163 194355 | 55454 52681 67 | 0.000 % |
124.23/124.34 c | 178259 | 900 60163 194355 | 55454 53841 68 | 0.000 % |
125.43/125.51 c | 179532 | 900 60163 194355 | 55454 55114 69 | 0.000 % |
126.83/126.97 c | 180934 | 900 60163 194355 | 55582 47808 66 | 0.000 % |
128.13/128.29 c | 182476 | 900 60163 194355 | 55582 49350 67 | 0.000 % |
129.63/129.76 c | 184170 | 900 60163 194355 | 55582 51044 68 | 0.000 % |
131.33/131.49 c | 186033 | 900 60163 194355 | 55582 52907 69 | 0.000 % |
131.53/131.65 c | 186134 | 900 60163 194355 | 55582 53008 69 | 0.000 % |
131.63/131.77 c | 186244 | 900 60163 194355 | 55582 53118 69 | 0.000 % |
131.73/131.88 c | 186366 | 900 60163 194355 | 55582 53240 69 | 0.000 % |
131.83/131.99 c | 186506 | 900 60163 194355 | 55582 53380 69 | 0.000 % |
132.13/132.23 c | 186652 | 900 60163 194355 | 55582 53526 69 | 0.000 % |
132.23/132.37 c | 186813 | 900 60163 194355 | 55582 53687 69 | 0.000 % |
132.43/132.57 c | 186991 | 900 60163 194355 | 55582 53865 69 | 0.000 % |
132.73/132.81 c | 187187 | 900 60163 194355 | 55582 54061 70 | 0.000 % |
132.93/133.02 c | 187399 | 900 60163 194355 | 55582 54273 70 | 0.000 % |
133.13/133.23 c | 187634 | 900 60163 194355 | 55582 54508 70 | 0.000 % |
133.23/133.37 c | 187891 | 900 60163 194355 | 55582 54765 69 | 0.000 % |
133.43/133.60 c | 188172 | 900 60163 194355 | 55582 55046 69 | 0.000 % |
133.73/133.84 c | 188481 | 900 60163 194355 | 55582 55355 69 | 0.000 % |
134.03/134.15 c | 188824 | 900 60163 194355 | 55582 55698 69 | 0.000 % |
134.43/134.51 c | 189197 | 900 60163 194355 | 55582 46471 67 | 0.000 % |
134.83/134.91 c | 189608 | 900 60163 194355 | 55582 46882 67 | 0.000 % |
135.13/135.24 c | 190059 | 900 60163 194355 | 47275 47333 67 | 0.000 % |
135.63/135.73 c | 190552 | 900 60163 194355 | 47275 39751 69 | 0.000 % |
136.03/136.13 c | 191096 | 900 60163 194355 | 47275 40295 70 | 0.000 % |
136.72/136.88 c | 191694 | 900 60163 194355 | 47275 40893 71 | 0.000 % |
137.22/137.33 c | 192349 | 900 60163 194355 | 47275 41548 71 | 0.000 % |
137.82/137.95 c | 193069 | 900 60163 194355 | 47275 42268 71 | 0.000 % |
138.92/139.04 c | 193861 | 900 60163 194355 | 47275 43060 72 | 0.000 % |
139.72/139.88 c | 194732 | 900 60163 194355 | 47275 43931 72 | 0.000 % |
140.73/140.83 c | 195693 | 900 60163 194355 | 47275 44892 72 | 0.000 % |
141.62/141.75 c | 196746 | 900 60163 194355 | 47275 45945 72 | 0.014 % |
142.62/142.72 c | 197904 | 900 60163 194355 | 47275 47103 72 | 0.000 % |
144.03/144.15 c | 199177 | 900 60163 194355 | 47275 40374 72 | 0.000 % |
145.22/145.32 c | 200577 | 900 60163 194355 | 41200 35005 68 | 0.000 % |
146.42/146.52 c | 202119 | 900 60163 194355 | 41200 36547 70 | 0.000 % |
147.42/147.59 c | 203814 | 900 60163 194355 | 41200 38242 71 | 0.000 % |
148.62/148.73 c | 205680 | 900 60163 194355 | 41200 40108 71 | 0.000 % |
150.42/150.53 c | 207730 | 900 60163 194355 | 41200 36560 68 | 0.000 % |
150.52/150.61 c | 207830 | 900 60163 194355 | 41200 36660 68 | 0.000 % |
150.52/150.67 c | 207940 | 900 60163 194355 | 41200 36770 68 | 0.000 % |
150.62/150.75 c | 208061 | 900 60163 194355 | 41200 36891 68 | 0.000 % |
150.82/150.91 c | 208194 | 900 60163 194355 | 41200 37024 68 | 0.000 % |
150.92/151.06 c | 208342 | 900 60163 194355 | 41200 37172 68 | 0.000 % |
151.12/151.21 c | 208504 | 900 60163 194355 | 41200 37334 68 | 0.000 % |
151.32/151.43 c | 208680 | 900 60163 194355 | 41200 37510 69 | 0.000 % |
151.52/151.61 c | 208877 | 900 60163 194355 | 41200 37707 69 | 0.000 % |
151.72/151.84 c | 209095 | 900 60163 194355 | 41200 37925 69 | 0.000 % |
152.02/152.12 c | 209328 | 900 60163 194355 | 41200 38158 69 | 0.000 % |
152.22/152.31 c | 209584 | 900 60163 194355 | 41200 38414 69 | 0.000 % |
152.52/152.60 c | 209865 | 900 60163 194355 | 41200 38695 69 | 0.000 % |
152.72/152.87 c | 210174 | 900 60163 194355 | 38830 39004 69 | 0.000 % |
153.02/153.14 c | 210513 | 900 60163 194355 | 38830 33962 68 | 0.000 % |
153.42/153.50 c | 210885 | 900 60163 194355 | 38830 34334 68 | 0.000 % |
153.62/153.73 c | 211295 | 900 60163 194355 | 38830 34744 68 | 0.000 % |
153.92/154.03 c | 211744 | 900 60163 194355 | 38830 35193 68 | 0.000 % |
154.32/154.45 c | 212238 | 900 60163 194355 | 38830 35687 68 | 0.000 % |
154.72/154.87 c | 212780 | 900 60163 194355 | 38830 36229 69 | 0.000 % |
155.12/155.29 c | 213376 | 900 60163 194355 | 38830 36825 69 | 0.000 % |
155.62/155.74 c | 214031 | 900 60163 194355 | 38830 37480 69 | 0.000 % |
156.32/156.47 c | 214751 | 900 60163 194355 | 38830 38200 70 | 0.000 % |
157.02/157.12 c | 215543 | 900 60163 194355 | 38830 38992 70 | 0.000 % |
157.62/157.72 c | 216415 | 900 60163 194355 | 38830 34926 67 | 0.000 % |
158.22/158.35 c | 217373 | 900 60163 194355 | 38830 35884 67 | 0.000 % |
158.92/159.09 c | 218426 | 900 60163 194355 | 38830 36937 68 | 0.000 % |
159.92/160.05 c | 219584 | 900 60163 194355 | 38830 38095 68 | 0.000 % |
161.02/161.17 c | 220857 | 900 60163 194355 | 38512 34511 69 | 0.000 % |
161.82/161.99 c | 222257 | 900 60163 194355 | 38512 35911 70 | 0.000 % |
162.82/162.98 c | 223799 | 900 60163 194355 | 38512 37453 71 | 0.000 % |
163.72/163.85 c | 225493 | 900 60163 194355 | 38512 34912 70 | 0.000 % |
165.22/165.31 c | 227356 | 900 60163 194355 | 38512 36775 71 | 0.000 % |
166.72/166.86 c | 229405 | 900 60163 194355 | 38512 38824 72 | 0.000 % |
168.02/168.17 c | 231658 | 900 60163 194355 | 35201 33082 69 | 0.000 % |
168.12/168.24 c | 231759 | 900 60163 194355 | 35201 33183 69 | 0.000 % |
168.22/168.31 c | 231872 | 900 60163 194355 | 35201 33296 69 | 0.000 % |
168.22/168.38 c | 231994 | 900 60163 194355 | 35201 33418 69 | 0.000 % |
168.32/168.46 c | 232128 | 900 60163 194355 | 35201 33552 69 | 0.000 % |
168.42/168.56 c | 232275 | 900 60163 194355 | 35201 33699 69 | 0.015 % |
168.52/168.66 c | 232438 | 900 60163 194355 | 35201 33862 69 | 0.000 % |
168.62/168.77 c | 232616 | 900 60163 194355 | 35201 34040 69 | 0.000 % |
168.72/168.89 c | 232809 | 900 60163 194355 | 35201 34233 69 | 0.000 % |
168.82/168.99 c | 233022 | 900 60163 194355 | 35201 34446 69 | 0.000 % |
169.02/169.18 c | 233256 | 900 60163 194355 | 35201 34680 70 | 0.000 % |
169.22/169.31 c | 233515 | 900 60163 194355 | 35201 34939 70 | 0.000 % |
169.42/169.54 c | 233797 | 900 60163 194355 | 35201 35221 70 | 0.000 % |
169.62/169.74 c | 234107 | 900 60163 194355 | 35201 32009 69 | 0.000 % |
169.72/169.90 c | 234448 | 900 60163 194355 | 35201 32350 69 | 0.000 % |
169.92/170.06 c | 234821 | 900 60163 194355 | 35201 32723 69 | 0.000 % |
170.12/170.30 c | 235233 | 900 60163 194355 | 35201 33135 69 | 0.000 % |
170.42/170.58 c | 235682 | 900 60163 194355 | 35201 33584 69 | 0.000 % |
170.81/170.90 c | 236177 | 900 60163 194355 | 35201 34079 69 | 0.018 % |
171.01/171.19 c | 236719 | 900 60163 194355 | 35201 34621 68 | 0.018 % |
171.31/171.49 c | 237316 | 900 60163 194355 | 35201 35218 68 | 0.018 % |
171.71/171.82 c | 237971 | 900 60163 194355 | 35201 32352 66 | 0.018 % |
172.11/172.21 c | 238691 | 900 60163 194355 | 35201 33072 66 | 0.000 % |
172.41/172.55 c | 239483 | 900 60163 194355 | 35201 33864 66 | 0.019 % |
172.91/173.01 c | 240354 | 900 60163 194355 | 2147483647 34735 66 | 0.000 % |
173.31/173.49 c | 241312 | 900 60163 194355 | 2147483647 35693 66 | 0.000 % |
173.81/173.97 c | 242365 | 900 60163 194355 | 2147483647 36746 65 | 0.000 % |
174.51/174.62 c | 243526 | 900 60163 194355 | 2147483647 37907 65 | 0.018 % |
175.51/175.62 c | 244801 | 900 60163 194355 | 2147483647 39182 67 | 0.000 % |
176.51/176.64 c | 246203 | 900 60163 194355 | 2147483647 40584 68 | 0.000 % |
177.41/177.53 c | 247743 | 900 60163 194355 | 2147483647 42124 68 | 0.000 % |
178.61/178.77 c | 249439 | 900 60163 194355 | 2147483647 43820 67 | 0.000 % |
179.81/179.96 c | 251302 | 900 60163 194355 | 2147483647 45683 68 | 0.000 % |
181.11/181.20 c | 253351 | 900 60163 194355 | 2147483647 47732 68 | 0.000 % |
182.91/183.05 c | 255604 | 900 60163 194355 | 2147483647 49985 69 | 0.000 % |
185.11/185.28 c | 258082 | 900 60163 194355 | 2147483647 52463 68 | 0.015 % |
185.21/185.36 c | 258182 | 900 60163 194355 | 2147483647 52563 68 | 0.000 % |
185.31/185.43 c | 258293 | 900 60163 194355 | 2147483647 52674 68 | 0.000 % |
185.41/185.56 c | 258415 | 900 60163 194355 | 2147483647 52796 68 | 0.000 % |
185.51/185.66 c | 258549 | 900 60163 194355 | 2147483647 52930 68 | 0.000 % |
185.71/185.85 c | 258696 | 900 60163 194355 | 2147483647 53077 68 | 0.000 % |
185.81/185.94 c | 258857 | 900 60163 194355 | 2147483647 53238 68 | 0.000 % |
186.01/186.10 c | 259034 | 900 60163 194355 | 2147483647 53415 69 | 0.000 % |
186.21/186.30 c | 259227 | 900 60163 194355 | 2147483647 53608 69 | 0.000 % |
186.41/186.51 c | 259439 | 900 60163 194355 | 2147483647 53820 69 | 0.000 % |
186.51/186.65 c | 259672 | 900 60163 194355 | 2147483647 54053 69 | 0.000 % |
186.81/186.91 c | 259928 | 900 60163 194355 | 2147483647 54309 69 | 0.000 % |
187.01/187.16 c | 260209 | 900 60163 194355 | 54381 54590 69 | 0.000 % |
187.31/187.42 c | 260518 | 900 60163 194355 | 54381 47593 66 | 0.000 % |
187.61/187.75 c | 260859 | 900 60163 194355 | 54381 47934 66 | 0.000 % |
187.81/187.97 c | 261231 | 900 60163 194355 | 54381 48306 66 | 0.000 % |
188.21/188.38 c | 261642 | 900 60163 194355 | 54381 48717 67 | 0.000 % |
188.61/188.76 c | 262092 | 900 60163 194355 | 54381 49167 67 | 0.000 % |
189.11/189.27 c | 262589 | 900 60163 194355 | 54381 49664 67 | 0.000 % |
189.71/189.82 c | 263131 | 900 60163 194355 | 54381 50206 68 | 0.000 % |
190.31/190.44 c | 263730 | 900 60163 194355 | 54381 50805 68 | 0.000 % |
190.91/191.01 c | 264386 | 900 60163 194355 | 54381 51461 68 | 0.000 % |
191.51/191.67 c | 265107 | 900 60163 194355 | 54381 52182 69 | 0.000 % |
192.41/192.60 c | 265903 | 900 60163 194355 | 54381 52978 69 | 0.000 % |
193.11/193.25 c | 266776 | 900 60163 194355 | 54381 53851 70 | 0.000 % |
193.81/193.91 c | 267736 | 900 60163 194355 | 54381 54811 70 | 0.000 % |
194.41/194.60 c | 268790 | 900 60163 194355 | 54381 47551 67 | 0.000 % |
195.21/195.34 c | 269950 | 900 60163 194355 | 54381 48711 67 | 0.000 % |
196.21/196.37 c | 271224 | 900 60163 194355 | 48761 42364 67 | 0.000 % |
197.11/197.28 c | 272627 | 900 60163 194355 | 48761 43767 69 | 0.000 % |
198.31/198.44 c | 274170 | 900 60163 194355 | 48761 45310 69 | 0.000 % |
199.61/199.75 c | 275865 | 900 60163 194355 | 48761 47005 70 | 0.000 % |
200.91/201.06 c | 277728 | 900 60163 194355 | 48761 48868 70 | 0.000 % |
202.41/202.54 c | 279777 | 900 60163 194355 | 48761 43326 68 | 0.000 % |
204.11/204.20 c | 282030 | 900 60163 194355 | 43551 39103 67 | 0.000 % |
206.71/206.83 c | 284509 | 900 60163 194355 | 43551 41582 71 | 0.000 % |
209.91/210.03 c | 287235 | 900 60163 194355 | 43551 37934 74 | 0.000 % |
210.01/210.11 c | 287336 | 900 60163 194355 | 43551 38035 74 | 0.000 % |
210.01/210.18 c | 287447 | 900 60163 194355 | 43551 38146 74 | 0.000 % |
210.11/210.27 c | 287569 | 900 60163 194355 | 43551 38268 74 | 0.000 % |
210.31/210.45 c | 287704 | 900 60163 194355 | 43551 38403 74 | 0.000 % |
210.41/210.57 c | 287851 | 900 60163 194355 | 43551 38550 74 | 0.000 % |
210.61/210.71 c | 288012 | 900 60163 194355 | 43551 38711 74 | 0.000 % |
210.71/210.90 c | 288189 | 900 60163 194355 | 43551 38888 74 | 0.000 % |
210.91/211.09 c | 288382 | 900 60163 194355 | 43551 39081 74 | 0.000 % |
211.11/211.29 c | 288594 | 900 60163 194355 | 43551 39293 74 | 0.000 % |
211.41/211.58 c | 288827 | 900 60163 194355 | 43551 39526 74 | 0.000 % |
211.71/211.81 c | 289086 | 900 60163 194355 | 43551 39785 75 | 0.000 % |
212.01/212.12 c | 289368 | 900 60163 194355 | 43551 40067 75 | 0.000 % |
212.31/212.47 c | 289677 | 900 60163 194355 | 43551 40376 75 | 0.000 % |
212.61/212.73 c | 290017 | 900 60163 194355 | 40699 40716 75 | 0.000 % |
213.01/213.14 c | 290389 | 900 60163 194355 | 40699 35052 72 | 0.000 % |
213.41/213.53 c | 290798 | 900 60163 194355 | 40699 35461 73 | 0.000 % |
213.81/213.93 c | 291247 | 900 60163 194355 | 40699 35910 73 | 0.000 % |
214.21/214.34 c | 291740 | 900 60163 194355 | 40699 36403 73 | 0.000 % |
214.71/214.88 c | 292282 | 900 60163 194355 | 40699 36945 74 | 0.000 % |
215.21/215.32 c | 292878 | 900 60163 194355 | 40699 37541 74 | 0.000 % |
215.71/215.85 c | 293533 | 900 60163 194355 | 40699 38196 75 | 0.000 % |
216.41/216.54 c | 294254 | 900 60163 194355 | 40699 38917 75 | 0.000 % |
217.01/217.11 c | 295047 | 900 60163 194355 | 40699 39710 75 | 0.000 % |
218.00/218.18 c | 295920 | 900 60163 194355 | 40699 40583 76 | 0.000 % |
219.10/219.26 c | 296880 | 900 60163 194355 | 40699 35046 75 | 0.000 % |
219.81/219.98 c | 297935 | 900 60163 194355 | 40699 36101 75 | 0.000 % |
220.91/221.08 c | 299095 | 900 60163 194355 | 40699 37261 76 | 0.000 % |
222.11/222.22 c | 300368 | 900 60163 194355 | 38167 38534 77 | 0.000 % |
223.11/223.27 c | 301769 | 900 60163 194355 | 38167 34000 78 | 0.000 % |
224.31/224.41 c | 303313 | 900 60163 194355 | 38167 35544 78 | 0.000 % |
225.60/225.77 c | 305007 | 900 60163 194355 | 38167 37238 79 | 0.000 % |
227.50/227.70 c | 306872 | 900 60163 194355 | 38167 33573 77 | 0.000 % |
229.00/229.15 c | 308922 | 900 60163 194355 | 38167 35623 78 | 0.000 % |
230.70/230.87 c | 311175 | 900 60163 194355 | 36704 32438 74 | 0.000 % |
233.00/233.10 c | 313656 | 900 60163 194355 | 36704 34919 74 | 0.000 % |
234.40/234.57 c | 316385 | 900 60163 194355 | 36704 33398 71 | 0.000 % |
236.10/236.29 c | 319382 | 900 60163 194355 | 36704 36395 71 | 0.000 % |
236.20/236.34 c | 319482 | 900 60163 194355 | 36704 36495 71 | 0.017 % |
236.30/236.43 c | 319592 | 900 60163 194355 | 36704 36605 71 | 0.000 % |
236.40/236.55 c | 319713 | 900 60163 194355 | 36704 36726 71 | 0.000 % |
236.50/236.64 c | 319847 | 900 60163 194355 | 36704 32834 69 | 0.000 % |
236.60/236.73 c | 319993 | 900 60163 194355 | 36704 32980 69 | 0.018 % |
236.70/236.84 c | 320153 | 900 60163 194355 | 32987 33140 69 | 0.000 % |
236.90/237.00 c | 320332 | 900 60163 194355 | 32987 29720 67 | 0.000 % |
237.00/237.11 c | 320526 | 900 60163 194355 | 32987 29914 67 | 0.000 % |
237.20/237.30 c | 320739 | 900 60163 194355 | 32987 30127 67 | 0.000 % |
237.30/237.46 c | 320972 | 900 60163 194355 | 32987 30360 67 | 0.000 % |
237.50/237.63 c | 321228 | 900 60163 194355 | 32987 30616 68 | 0.000 % |
237.60/237.78 c | 321509 | 900 60163 194355 | 32987 30897 68 | 0.000 % |
238.00/238.10 c | 321819 | 900 60163 194355 | 32987 31207 68 | 0.000 % |
238.10/238.29 c | 322158 | 900 60163 194355 | 32987 31546 68 | 0.000 % |
238.30/238.49 c | 322530 | 900 60163 194355 | 32987 31918 69 | 0.000 % |
238.70/238.85 c | 322939 | 900 60163 194355 | 32987 32327 69 | 0.000 % |
239.00/239.19 c | 323389 | 900 60163 194355 | 32987 32777 70 | 0.000 % |
239.40/239.54 c | 323884 | 900 60163 194355 | 32987 33272 70 | 0.000 % |
239.70/239.86 c | 324429 | 900 60163 194355 | 32987 30490 69 | 0.000 % |
240.10/240.22 c | 325030 | 900 60163 194355 | 32987 31091 69 | 0.000 % |
240.60/240.76 c | 325686 | 900 60163 194355 | 32987 31747 70 | 0.000 % |
241.10/241.25 c | 326406 | 900 60163 194355 | 32987 32467 70 | 0.000 % |
241.80/241.96 c | 327201 | 900 60163 194355 | 32987 33262 71 | 0.000 % |
242.40/242.57 c | 328078 | 900 60163 194355 | 32987 30813 68 | 0.000 % |
243.20/243.34 c | 329037 | 900 60163 194355 | 32987 31772 70 | 0.000 % |
244.00/244.12 c | 330091 | 900 60163 194355 | 2147483647 32826 71 | 0.000 % |
244.89/245.09 c | 331251 | 900 60163 194355 | 2147483647 33986 72 | 0.000 % |
245.89/246.04 c | 332524 | 900 60163 194355 | 2147483647 35259 73 | 0.000 % |
246.99/247.18 c | 333924 | 900 60163 194355 | 2147483647 36659 74 | 0.000 % |
248.79/248.96 c | 335468 | 900 60163 194355 | 2147483647 38203 75 | 0.000 % |
249.69/249.89 c | 337163 | 900 60163 194355 | 2147483647 39898 75 | 0.000 % |
250.99/251.15 c | 339026 | 900 60163 194355 | 2147483647 41761 75 | 0.000 % |
252.99/253.12 c | 341076 | 900 60163 194355 | 42737 38941 75 | 0.000 % |
255.79/255.90 c | 343329 | 900 60163 194355 | 42737 41194 77 | 0.000 % |
258.99/259.11 c | 345808 | 900 60163 194355 | 42737 36733 80 | 0.000 % |
261.09/261.29 c | 348533 | 900 60163 194355 | 42737 39458 81 | 0.000 % |
263.99/264.17 c | 351530 | 900 60163 194355 | 40926 36047 81 | 0.000 % |
267.79/267.90 c | 354826 | 900 60163 194355 | 40926 39343 84 | 0.000 % |
267.89/268.04 c | 354929 | 900 60163 194355 | 40926 39446 84 | 0.000 % |
267.99/268.11 c | 355042 | 900 60163 194355 | 40926 39559 84 | 0.000 % |
268.09/268.29 c | 355163 | 900 60163 194355 | 40926 39680 84 | 0.000 % |
268.39/268.53 c | 355296 | 900 60163 194355 | 40926 39813 84 | 0.000 % |
268.49/268.66 c | 355444 | 900 60163 194355 | 40926 39961 84 | 0.000 % |
268.79/268.90 c | 355604 | 900 60163 194355 | 40926 40121 84 | 0.000 % |
268.89/269.01 c | 355783 | 900 60163 194355 | 40926 40300 84 | 0.000 % |
269.09/269.26 c | 355978 | 900 60163 194355 | 40926 40495 84 | 0.000 % |
269.39/269.51 c | 356191 | 900 60163 194355 | 40926 40708 84 | 0.000 % |
269.59/269.77 c | 356424 | 900 60163 194355 | 40926 40941 84 | 0.000 % |
269.79/269.99 c | 356680 | 900 60163 194355 | 40926 34584 81 | 0.000 % |
270.09/270.23 c | 356961 | 900 60163 194355 | 40926 34865 81 | 0.000 % |
270.29/270.43 c | 357271 | 900 60163 194355 | 40926 35175 81 | 0.000 % |
270.49/270.68 c | 357611 | 900 60163 194355 | 40926 35515 81 | 0.000 % |
270.79/270.97 c | 357983 | 900 60163 194355 | 40926 35887 81 | 0.000 % |
271.09/271.22 c | 358393 | 900 60163 194355 | 40926 36297 81 | 0.000 % |
271.49/271.62 c | 358842 | 900 60163 194355 | 40926 36746 81 | 0.000 % |
271.79/271.93 c | 359335 | 900 60163 194355 | 40926 37239 81 | 0.016 % |
272.09/272.26 c | 359877 | 900 60163 194355 | 40926 37781 81 | 0.020 % |
272.59/272.79 c | 360474 | 900 60163 194355 | 37904 32579 80 | 0.020 % |
272.98/273.17 c | 361129 | 900 60163 194355 | 37904 33234 79 | 0.020 % |
273.48/273.60 c | 361849 | 900 60163 194355 | 37904 33954 78 | 0.018 % |
273.88/274.03 c | 362641 | 900 60163 194355 | 37904 34746 78 | 0.000 % |
274.28/274.41 c | 363512 | 900 60163 194355 | 37904 35617 77 | 0.017 % |
275.18/275.33 c | 364472 | 900 60163 194355 | 37904 36577 78 | 0.000 % |
276.18/276.37 c | 365531 | 900 60163 194355 | 37904 37636 79 | 0.000 % |
277.58/277.74 c | 366691 | 900 60163 194355 | 37904 33847 75 | 0.000 % |
279.08/279.22 c | 367965 | 900 60163 194355 | 37904 35121 75 | 0.000 % |
280.58/280.75 c | 369367 | 900 60163 194355 | 37904 36523 76 | 0.000 % |
281.78/281.98 c | 370908 | 900 60163 194355 | 37157 33132 73 | 0.000 % |
282.98/283.16 c | 372604 | 900 60163 194355 | 37157 34828 74 | 0.000 % |
284.38/284.56 c | 374469 | 900 60163 194355 | 37157 36693 75 | 0.000 % |
286.18/286.30 c | 376522 | 900 60163 194355 | 37157 34312 69 | 0.000 % |
288.38/288.52 c | 378775 | 900 60163 194355 | 37157 36565 72 | 0.000 % |
290.48/290.62 c | 381253 | 900 60163 194355 | 33368 30603 72 | 0.000 % |
292.48/292.66 c | 383980 | 900 60163 194355 | 33368 33330 75 | 0.000 % |
294.78/294.98 c | 386977 | 900 60163 194355 | 33368 32321 75 | 0.000 % |
297.48/297.61 c | 390274 | 900 60163 194355 | 31444 31715 73 | 0.000 % |
299.88/300.09 c | 393902 | 900 60163 194355 | 31444 31747 74 | 0.000 % |
299.98/300.20 c | 394005 | 900 60163 194355 | 31444 28643 73 | 0.000 % |
300.08/300.27 c | 394115 | 900 60163 194355 | 31444 28753 73 | 0.000 % |
300.18/300.35 c | 394236 | 900 60163 194355 | 31444 28874 73 | 0.000 % |
300.28/300.46 c | 394370 | 900 60163 194355 | 31444 29008 73 | 0.000 % |
300.38/300.57 c | 394516 | 900 60163 194355 | 31444 29154 73 | 0.000 % |
300.58/300.73 c | 394677 | 900 60163 194355 | 31444 29315 73 | 0.000 % |
300.68/300.85 c | 394856 | 900 60163 194355 | 31444 29494 74 | 0.000 % |
300.88/301.02 c | 395049 | 900 60163 194355 | 31444 29687 74 | 0.000 % |
301.08/301.25 c | 395262 | 900 60163 194355 | 31444 29900 74 | 0.000 % |
301.28/301.46 c | 395495 | 900 60163 194355 | 31444 30133 74 | 0.000 % |
301.58/301.73 c | 395752 | 900 60163 194355 | 31444 30390 74 | 0.000 % |
301.78/301.91 c | 396034 | 900 60163 194355 | 31444 30672 75 | 0.000 % |
302.08/302.21 c | 396343 | 900 60163 194355 | 31444 30981 75 | 0.000 % |
302.38/302.60 c | 396682 | 900 60163 194355 | 31444 31320 75 | 0.000 % |
302.78/302.96 c | 397054 | 900 60163 194355 | 31444 31692 76 | 0.000 % |
303.18/303.31 c | 397464 | 900 60163 194355 | 31444 28910 75 | 0.000 % |
303.57/303.73 c | 397913 | 900 60163 194355 | 31444 29359 75 | 0.000 % |
303.97/304.13 c | 398407 | 900 60163 194355 | 31444 29853 75 | 0.000 % |
304.48/304.68 c | 398950 | 900 60163 194355 | 31444 30396 76 | 0.000 % |
304.87/305.09 c | 399546 | 900 60163 194355 | 31444 30992 76 | 0.000 % |
305.58/305.74 c | 400201 | 900 60163 194355 | 2147483647 31647 77 | 0.000 % |
306.07/306.29 c | 400921 | 900 60163 194355 | 2147483647 32367 77 | 0.000 % |
306.97/307.11 c | 401714 | 900 60163 194355 | 2147483647 33160 77 | 0.000 % |
307.37/307.58 c | 402586 | 900 60163 194355 | 2147483647 34032 78 | 0.000 % |
308.77/308.97 c | 403547 | 900 60163 194355 | 2147483647 34993 79 | 0.000 % |
310.08/310.22 c | 404600 | 900 60163 194355 | 2147483647 36046 80 | 0.000 % |
311.08/311.26 c | 405759 | 900 60163 194355 | 2147483647 37205 80 | 0.000 % |
312.28/312.40 c | 407032 | 900 60163 194355 | 2147483647 38478 81 | 0.000 % |
313.87/314.02 c | 408432 | 900 60163 194355 | 2147483647 39878 82 | 0.000 % |
315.17/315.40 c | 409972 | 900 60163 194355 | 2147483647 41418 82 | 0.000 % |
316.67/316.82 c | 411667 | 900 60163 194355 | 41447 37198 79 | 0.000 % |
317.77/317.94 c | 413531 | 900 60163 194355 | 41447 39062 80 | 0.000 % |
319.77/319.98 c | 415580 | 900 60163 194355 | 41447 41111 82 | 0.000 % |
322.37/322.57 c | 417833 | 900 60163 194355 | 41447 37665 83 | 0.000 % |
325.47/325.62 c | 420311 | 900 60163 194355 | 39833 40143 85 | 0.000 % |
328.77/328.93 c | 423036 | 900 60163 194355 | 39833 37016 86 | 0.000 % |
332.96/333.13 c | 426036 | 900 60163 194355 | 39833 40016 88 | 0.000 % |
337.06/337.26 c | 429332 | 900 60163 194355 | 39833 37096 88 | 0.000 % |
341.26/341.40 c | 432961 | 900 60163 194355 | 37764 34522 87 | 0.000 % |
345.46/345.65 c | 436948 | 900 60163 194355 | 37764 32555 85 | 0.000 % |
345.56/345.76 c | 437048 | 900 60163 194355 | 37764 32655 85 | 0.000 % |
345.76/345.94 c | 437160 | 900 60163 194355 | 37764 32767 86 | 0.000 % |
345.86/346.04 c | 437281 | 900 60163 194355 | 37764 32888 85 | 0.016 % |
345.96/346.15 c | 437414 | 900 60163 194355 | 37764 33021 86 | 0.000 % |
346.06/346.28 c | 437561 | 900 60163 194355 | 37764 33168 86 | 0.000 % |
346.36/346.52 c | 437721 | 900 60163 194355 | 37764 33328 86 | 0.000 % |
346.56/346.71 c | 437898 | 900 60163 194355 | 37764 33505 86 | 0.000 % |
346.76/346.99 c | 438095 | 900 60163 194355 | 37764 33702 86 | 0.000 % |
347.16/347.35 c | 438308 | 900 60163 194355 | 37764 33915 86 | 0.000 % |
347.46/347.62 c | 438543 | 900 60163 194355 | 37764 34150 86 | 0.000 % |
347.86/348.08 c | 438801 | 900 60163 194355 | 37764 34408 86 | 0.000 % |
348.16/348.38 c | 439083 | 900 60163 194355 | 37764 34690 87 | 0.000 % |
348.76/348.92 c | 439393 | 900 60163 194355 | 37764 35000 87 | 0.000 % |
349.26/349.42 c | 439733 | 900 60163 194355 | 37764 35340 87 | 0.000 % |
349.66/349.89 c | 440107 | 900 60163 194355 | 35608 35714 87 | 0.000 % |
350.06/350.23 c | 440516 | 900 60163 194355 | 35608 30286 81 | 0.000 % |
350.76/350.91 c | 440965 | 900 60163 194355 | 35608 30735 81 | 0.000 % |
351.16/351.36 c | 441459 | 900 60163 194355 | 35608 31229 82 | 0.000 % |
351.76/351.91 c | 442003 | 900 60163 194355 | 35608 31773 82 | 0.000 % |
352.77/352.98 c | 442599 | 900 60163 194355 | 35608 32369 82 | 0.000 % |
353.77/353.92 c | 443256 | 900 60163 194355 | 35608 33026 82 | 0.000 % |
354.67/354.81 c | 443976 | 900 60163 194355 | 35608 33746 83 | 0.000 % |
355.57/355.72 c | 444769 | 900 60163 194355 | 35608 34539 83 | 0.000 % |
356.17/356.36 c | 445640 | 900 60163 194355 | 35608 35410 83 | 0.000 % |
357.16/357.31 c | 446598 | 900 60163 194355 | 35608 30389 78 | 0.000 % |
358.47/358.67 c | 447652 | 900 60163 194355 | 35608 31443 79 | 0.000 % |
359.96/360.19 c | 448810 | 900 60163 194355 | 35608 32601 79 | 0.000 % |
361.36/361.55 c | 450086 | 900 60163 194355 | 33794 33877 80 | 0.000 % |
362.96/363.14 c | 451486 | 900 60163 194355 | 33794 29566 77 | 0.000 % |
364.46/364.60 c | 453027 | 900 60163 194355 | 33794 31107 77 | 0.000 % |
366.66/366.87 c | 454722 | 900 60163 194355 | 33794 32802 78 | 0.000 % |
368.46/368.61 c | 456587 | 900 60163 194355 | 33794 29651 76 | 0.000 % |
370.96/371.11 c | 458636 | 900 60163 194355 | 33794 31700 77 | 0.000 % |
373.56/373.71 c | 460889 | 900 60163 194355 | 33064 29009 75 | 0.000 % |
375.66/375.82 c | 463369 | 900 60163 194355 | 33064 31489 77 | 0.000 % |
377.36/377.53 c | 466096 | 900 60163 194355 | 33064 30209 74 | 0.000 % |
379.76/379.98 c | 469093 | 900 60163 194355 | 33064 33206 78 | 0.000 % |
382.26/382.43 c | 472389 | 900 60163 194355 | 2147483647 33182 79 | 0.000 % |
383.85/384.05 c | 476014 | 900 60163 194355 | 2147483647 36807 79 | 0.000 % |
387.55/387.78 c | 480001 | 900 60163 194355 | 2147483647 40794 83 | 0.000 % |
392.46/392.69 c | 484386 | 900 60163 194355 | 2147483647 45179 87 | 0.000 % |
392.65/392.80 c | 484486 | 900 60163 194355 | 2147483647 45279 87 | 0.000 % |
392.75/392.94 c | 484596 | 900 60163 194355 | 2147483647 45389 87 | 0.000 % |
392.95/393.10 c | 484720 | 900 60163 194355 | 2147483647 45513 87 | 0.000 % |
393.05/393.28 c | 484859 | 900 60163 194355 | 2147483647 45652 87 | 0.000 % |
393.25/393.47 c | 485006 | 900 60163 194355 | 2147483647 45799 87 | 0.000 % |
393.55/393.73 c | 485167 | 900 60163 194355 | 2147483647 45960 87 | 0.000 % |
393.65/393.87 c | 485345 | 900 60163 194355 | 2147483647 46138 87 | 0.000 % |
393.95/394.14 c | 485538 | 900 60163 194355 | 2147483647 46331 87 | 0.000 % |
394.35/394.56 c | 485752 | 900 60163 194355 | 2147483647 46545 87 | 0.000 % |
394.75/394.91 c | 485987 | 900 60163 194355 | 2147483647 46780 87 | 0.000 % |
395.05/395.22 c | 486243 | 900 60163 194355 | 2147483647 47036 87 | 0.000 % |
395.25/395.43 c | 486526 | 900 60163 194355 | 2147483647 47319 87 | 0.000 % |
395.65/395.87 c | 486836 | 900 60163 194355 | 2147483647 47629 87 | 0.000 % |
395.95/396.14 c | 487177 | 900 60163 194355 | 2147483647 47970 87 | 0.000 % |
396.45/396.60 c | 487549 | 900 60163 194355 | 2147483647 48342 87 | 0.000 % |
396.95/397.12 c | 487961 | 900 60163 194355 | 2147483647 48754 87 | 0.000 % |
397.35/397.54 c | 488415 | 900 60163 194355 | 2147483647 49208 87 | 0.000 % |
397.85/398.09 c | 488909 | 900 60163 194355 | 2147483647 49702 87 | 0.000 % |
398.25/398.46 c | 489451 | 900 60163 194355 | 2147483647 50244 87 | 0.000 % |
399.05/399.27 c | 490047 | 900 60163 194355 | 50794 50840 87 | 0.000 % |
399.75/399.94 c | 490703 | 900 60163 194355 | 50794 41978 86 | 0.000 % |
400.55/400.71 c | 491426 | 900 60163 194355 | 50794 42701 87 | 0.000 % |
401.25/401.43 c | 492218 | 900 60163 194355 | 50794 43493 87 | 0.000 % |
401.85/402.02 c | 493091 | 900 60163 194355 | 50794 44366 87 | 0.000 % |
403.15/403.40 c | 494050 | 900 60163 194355 | 50794 45325 88 | 0.000 % |
404.55/404.75 c | 495106 | 900 60163 194355 | 50794 46381 88 | 0.000 % |
406.35/406.57 c | 496266 | 900 60163 194355 | 50794 47541 88 | 0.000 % |
407.35/407.59 c | 497539 | 900 60163 194355 | 50794 48814 88 | 0.000 % |
409.25/409.46 c | 498941 | 900 60163 194355 | 50794 50216 89 | 0.000 % |
411.34/411.55 c | 500484 | 900 60163 194355 | 40633 32603 81 | 0.000 % |
412.94/413.13 c | 502178 | 900 60163 194355 | 40633 34297 82 | 0.000 % |
415.04/415.29 c | 504041 | 900 60163 194355 | 40633 36160 83 | 0.000 % |
417.14/417.33 c | 506090 | 900 60163 194355 | 40633 38209 83 | 0.000 % |
419.44/419.67 c | 508343 | 900 60163 194355 | 40633 40462 84 | 0.000 % |
422.14/422.36 c | 510823 | 900 60163 194355 | 35445 30672 77 | 0.000 % |
424.34/424.53 c | 513548 | 900 60163 194355 | 35445 33397 78 | 0.000 % |
428.14/428.36 c | 516546 | 900 60163 194355 | 35445 31212 76 | 0.000 % |
431.44/431.69 c | 519844 | 900 60163 194355 | 35445 34510 77 | 0.000 % |
434.74/434.95 c | 523469 | 900 60163 194355 | 34666 33243 75 | 0.000 % |
437.23/437.47 c | 527457 | 900 60163 194355 | 34666 33003 73 | 0.000 % |
439.54/439.74 c | 531847 | 900 60163 194355 | 2147483647 33883 69 | 0.000 % |
443.43/443.62 c | 536670 | 900 60163 194355 | 2147483647 38706 67 | 0.014 % |
443.53/443.70 c | 536771 | 900 60163 194355 | 2147483647 38807 67 | 0.014 % |
443.53/443.78 c | 536881 | 900 60163 194355 | 2147483647 38917 67 | 0.000 % |
443.63/443.88 c | 537002 | 900 60163 194355 | 2147483647 39038 67 | 0.000 % |
443.83/444.05 c | 537136 | 900 60163 194355 | 2147483647 39172 67 | 0.000 % |
444.03/444.20 c | 537282 | 900 60163 194355 | 2147483647 39318 68 | 0.000 % |
444.14/444.35 c | 537442 | 900 60163 194355 | 2147483647 39478 68 | 0.000 % |
444.33/444.57 c | 537619 | 900 60163 194355 | 2147483647 39655 68 | 0.000 % |
444.53/444.76 c | 537816 | 900 60163 194355 | 2147483647 39852 68 | 0.000 % |
444.73/444.94 c | 538028 | 900 60163 194355 | 2147483647 40064 68 | 0.000 % |
444.93/445.19 c | 538263 | 900 60163 194355 | 2147483647 40299 68 | 0.000 % |
445.24/445.45 c | 538523 | 900 60163 194355 | 2147483647 40559 69 | 0.000 % |
445.53/445.71 c | 538806 | 900 60163 194355 | 2147483647 40842 69 | 0.000 % |
445.83/446.01 c | 539117 | 900 60163 194355 | 2147483647 41153 69 | 0.000 % |
446.13/446.31 c | 539457 | 900 60163 194355 | 2147483647 41493 69 | 0.000 % |
446.44/446.60 c | 539829 | 900 60163 194355 | 2147483647 41865 70 | 0.000 % |
446.73/446.99 c | 540241 | 900 60163 194355 | 2147483647 42277 70 | 0.000 % |
447.23/447.43 c | 540692 | 900 60163 194355 | 2147483647 42728 70 | 0.000 % |
447.63/447.86 c | 541186 | 900 60163 194355 | 2147483647 43222 70 | 0.000 % |
448.33/448.57 c | 541730 | 900 60163 194355 | 2147483647 43766 70 | 0.000 % |
449.13/449.31 c | 542326 | 900 60163 194355 | 2147483647 44362 70 | 0.000 % |
449.43/449.70 c | 542984 | 900 60163 194355 | 2147483647 45020 71 | 0.000 % |
450.23/450.40 c | 543704 | 900 60163 194355 | 2147483647 45740 71 | 0.000 % |
450.83/451.09 c | 544496 | 900 60163 194355 | 2147483647 46532 71 | 0.000 % |
451.73/451.92 c | 545368 | 900 60163 194355 | 2147483647 47404 71 | 0.000 % |
452.53/452.76 c | 546326 | 900 60163 194355 | 2147483647 48362 71 | 0.000 % |
453.33/453.60 c | 547379 | 900 60163 194355 | 2147483647 49415 72 | 0.000 % |
454.54/454.80 c | 548537 | 900 60163 194355 | 2147483647 50573 72 | 0.000 % |
456.04/456.28 c | 549810 | 900 60163 194355 | 2147483647 51846 73 | 0.000 % |
457.34/457.53 c | 551212 | 900 60163 194355 | 52036 44678 68 | 0.000 % |
458.54/458.73 c | 552753 | 900 60163 194355 | 52036 46219 69 | 0.000 % |
460.04/460.23 c | 554449 | 900 60163 194355 | 52036 47915 69 | 0.000 % |
461.44/461.63 c | 556313 | 900 60163 194355 | 52036 49779 69 | 0.000 % |
463.14/463.37 c | 558363 | 900 60163 194355 | 52036 51829 71 | 0.000 % |
465.24/465.47 c | 560616 | 900 60163 194355 | 44880 38570 71 | 0.000 % |
467.34/467.51 c | 563096 | 900 60163 194355 | 44880 41050 72 | 0.000 % |
470.73/470.95 c | 565824 | 900 60163 194355 | 44880 43778 74 | 0.000 % |
473.33/473.58 c | 568821 | 900 60163 194355 | 44880 39779 75 | 0.000 % |
476.33/476.57 c | 572119 | 900 60163 194355 | 40958 36858 74 | 0.000 % |
479.23/479.48 c | 575744 | 900 60163 194355 | 40958 40483 76 | 0.000 % |
482.53/482.73 c | 579731 | 900 60163 194355 | 40958 38569 77 | 0.000 % |
486.13/486.30 c | 584116 | 900 60163 194355 | 38839 37550 78 | 0.000 % |
490.73/491.00 c | 588939 | 900 60163 194355 | 38839 37981 78 | 0.000 % |
495.33/495.57 c | 594244 | 900 60163 194355 | 39044 37940 79 | 0.000 % |
495.53/495.75 c | 594344 | 900 60163 194355 | 39044 38040 79 | 0.000 % |
495.73/495.93 c | 594454 | 900 60163 194355 | 39044 38150 79 | 0.000 % |
495.93/496.15 c | 594577 | 900 60163 194355 | 39044 38273 79 | 0.000 % |
496.13/496.30 c | 594710 | 900 60163 194355 | 39044 38406 79 | 0.000 % |
496.23/496.42 c | 594856 | 900 60163 194355 | 39044 38552 79 | 0.000 % |
496.33/496.59 c | 595018 | 900 60163 194355 | 39044 38714 79 | 0.000 % |
496.53/496.78 c | 595195 | 900 60163 194355 | 39044 38891 80 | 0.000 % |
496.83/497.00 c | 595389 | 900 60163 194355 | 39044 39085 80 | 0.000 % |
497.03/497.28 c | 595601 | 900 60163 194355 | 39044 33999 79 | 0.000 % |
497.23/497.47 c | 595835 | 900 60163 194355 | 39044 34233 79 | 0.000 % |
497.63/497.84 c | 596092 | 900 60163 194355 | 39044 34490 79 | 0.000 % |
497.92/498.14 c | 596373 | 900 60163 194355 | 39044 34771 79 | 0.000 % |
498.22/498.44 c | 596682 | 900 60163 194355 | 39044 35080 79 | 0.000 % |
498.52/498.73 c | 597026 | 900 60163 194355 | 39044 35424 79 | 0.000 % |
498.92/499.13 c | 597400 | 900 60163 194355 | 39044 35798 79 | 0.000 % |
499.23/499.49 c | 597811 | 900 60163 194355 | 39044 36209 79 | 0.000 % |
499.63/499.84 c | 598261 | 900 60163 194355 | 39044 36659 79 | 0.000 % |
499.93/500.19 c | 598754 | 900 60163 194355 | 39044 37152 79 | 0.000 % |
500.42/500.62 c | 599298 | 900 60163 194355 | 39044 37696 79 | 0.000 % |
500.92/501.13 c | 599897 | 900 60163 194355 | 39044 38295 79 | 0.000 % |
501.52/501.70 c | 600552 | 900 60163 194355 | 38399 34174 76 | 0.000 % |
502.22/502.44 c | 601274 | 900 60163 194355 | 38399 34896 77 | 0.000 % |
502.92/503.20 c | 602066 | 900 60163 194355 | 38399 35688 77 | 0.000 % |
503.82/504.10 c | 602937 | 900 60163 194355 | 38399 36559 78 | 0.000 % |
504.73/504.92 c | 603895 | 900 60163 194355 | 38399 37517 79 | 0.000 % |
505.73/506.00 c | 604948 | 900 60163 194355 | 38399 38570 79 | 0.000 % |
506.72/506.99 c | 606108 | 900 60163 194355 | 38399 34857 76 | 0.000 % |
507.93/508.19 c | 607381 | 900 60163 194355 | 38399 36130 77 | 0.000 % |
509.42/509.67 c | 608781 | 900 60163 194355 | 38399 37530 77 | 0.000 % |
510.62/510.84 c | 610323 | 900 60163 194355 | 38749 39072 77 | 0.000 % |
512.12/512.33 c | 612017 | 900 60163 194355 | 38749 35993 74 | 0.000 % |
513.92/514.12 c | 613880 | 900 60163 194355 | 38749 37856 77 | 0.000 % |
515.12/515.39 c | 615930 | 900 60163 194355 | 38749 34279 74 | 0.000 % |
516.82/517.01 c | 618183 | 900 60163 194355 | 38749 36532 75 | 0.000 % |
518.32/518.58 c | 620662 | 900 60163 194355 | 38350 34181 76 | 0.000 % |
520.82/521.00 c | 623389 | 900 60163 194355 | 38350 36908 77 | 0.000 % |
523.12/523.30 c | 626386 | 900 60163 194355 | 38350 34651 76 | 0.000 % |
525.42/525.62 c | 629683 | 900 60163 194355 | 38350 37948 75 | 0.000 % |
528.01/528.25 c | 633309 | 900 60163 194355 | 38266 37623 73 | 0.000 % |
531.71/531.92 c | 637297 | 900 60163 194355 | 38266 37749 71 | 0.000 % |
535.21/535.47 c | 641684 | 900 60163 194355 | 36401 34398 66 | 0.000 % |
538.61/538.85 c | 646507 | 900 60163 194355 | 36401 35539 68 | 0.000 % |
542.21/542.40 c | 651812 | 900 60163 194355 | 2147483647 37169 71 | 0.000 % |
546.11/546.35 c | 657647 | 900 60163 194355 | 2147483647 43004 73 | 0.000 % |
546.21/546.43 c | 657748 | 900 60163 194355 | 2147483647 43105 73 | 0.000 % |
546.31/546.54 c | 657858 | 900 60163 194355 | 2147483647 43215 73 | 0.000 % |
546.41/546.67 c | 657979 | 900 60163 194355 | 2147483647 43336 73 | 0.000 % |
546.61/546.80 c | 658115 | 900 60163 194355 | 2147483647 43472 73 | 0.000 % |
546.71/546.92 c | 658263 | 900 60163 194355 | 2147483647 43620 74 | 0.000 % |
546.91/547.11 c | 658424 | 900 60163 194355 | 2147483647 43781 74 | 0.000 % |
547.01/547.29 c | 658602 | 900 60163 194355 | 2147483647 43959 74 | 0.000 % |
547.21/547.49 c | 658798 | 900 60163 194355 | 2147483647 44155 74 | 0.000 % |
547.41/547.64 c | 659011 | 900 60163 194355 | 2147483647 44368 74 | 0.000 % |
547.71/547.92 c | 659248 | 900 60163 194355 | 2147483647 44605 74 | 0.000 % |
548.01/548.20 c | 659506 | 900 60163 194355 | 2147483647 44863 74 | 0.000 % |
548.41/548.63 c | 659790 | 900 60163 194355 | 2147483647 45147 74 | 0.000 % |
548.71/548.90 c | 660103 | 900 60163 194355 | 2147483647 45460 74 | 0.000 % |
548.91/549.16 c | 660443 | 900 60163 194355 | 2147483647 45800 74 | 0.000 % |
549.21/549.40 c | 660815 | 900 60163 194355 | 2147483647 46172 74 | 0.000 % |
549.51/549.71 c | 661224 | 900 60163 194355 | 2147483647 46581 74 | 0.000 % |
549.91/550.12 c | 661673 | 900 60163 194355 | 2147483647 47030 74 | 0.000 % |
550.31/550.51 c | 662170 | 900 60163 194355 | 2147483647 47527 75 | 0.000 % |
550.71/550.94 c | 662712 | 900 60163 194355 | 2147483647 48069 75 | 0.000 % |
551.11/551.36 c | 663309 | 900 60163 194355 | 2147483647 48666 75 | 0.000 % |
551.70/551.91 c | 663974 | 900 60163 194355 | 2147483647 49331 75 | 0.000 % |
552.30/552.56 c | 664694 | 900 60163 194355 | 2147483647 50051 75 | 0.000 % |
552.90/553.18 c | 665486 | 900 60163 194355 | 2147483647 50843 76 | 0.000 % |
553.70/553.97 c | 666357 | 900 60163 194355 | 2147483647 51714 76 | 0.000 % |
554.80/555.04 c | 667317 | 900 60163 194355 | 2147483647 52674 75 | 0.000 % |
555.80/556.09 c | 668371 | 900 60163 194355 | 2147483647 53728 75 | 0.000 % |
557.00/557.21 c | 669531 | 900 60163 194355 | 2147483647 54888 76 | 0.000 % |
558.40/558.64 c | 670806 | 900 60163 194355 | 55357 47784 77 | 0.000 % |
560.00/560.26 c | 672208 | 900 60163 194355 | 55357 49186 78 | 0.000 % |
561.70/561.91 c | 673748 | 900 60163 194355 | 55357 50726 78 | 0.000 % |
563.10/563.34 c | 675443 | 900 60163 194355 | 55357 52421 78 | 0.000 % |
564.90/565.14 c | 677308 | 900 60163 194355 | 55357 54286 78 | 0.000 % |
566.60/566.81 c | 679358 | 900 60163 194355 | 55357 46891 79 | 0.000 % |
568.41/568.67 c | 681613 | 900 60163 194355 | 47533 41380 73 | 0.000 % |
570.31/570.50 c | 684093 | 900 60163 194355 | 47533 43860 74 | 0.000 % |
573.51/573.76 c | 686821 | 900 60163 194355 | 47533 46588 76 | 0.000 % |
576.21/576.49 c | 689819 | 900 60163 194355 | 47533 42149 75 | 0.000 % |
579.60/579.89 c | 693115 | 900 60163 194355 | 42330 38793 76 | 0.000 % |
583.10/583.36 c | 696742 | 900 60163 194355 | 42330 42420 80 | 0.000 % |
586.40/586.64 c | 700729 | 900 60163 194355 | 39328 34295 79 | 0.000 % |
590.20/590.46 c | 705114 | 900 60163 194355 | 39328 38680 80 | 0.000 % |
593.20/593.45 c | 709940 | 900 60163 194355 | 39328 37502 76 | 0.000 % |
597.50/597.75 c | 715246 | 900 60163 194355 | 37562 37156 72 | 0.000 % |
600.80/601.01 c | 721081 | 900 60163 194355 | 36426 33219 65 | 0.000 % |
605.10/605.39 c | 727499 | 900 60163 194355 | 36426 35954 69 | 0.000 % |
605.20/605.45 c | 727599 | 900 60163 194355 | 36426 36054 69 | 0.000 % |
605.30/605.55 c | 727712 | 900 60163 194355 | 36426 36167 69 | 0.000 % |
605.40/605.64 c | 727834 | 900 60163 194355 | 36426 36289 70 | 0.000 % |
605.50/605.74 c | 727967 | 900 60163 194355 | 36426 36422 70 | 0.000 % |
605.60/605.86 c | 728113 | 900 60163 194355 | 36426 36568 70 | 0.000 % |
605.80/606.00 c | 728273 | 900 60163 194355 | 36426 33072 68 | 0.000 % |
605.90/606.12 c | 728451 | 900 60163 194355 | 36426 33250 68 | 0.000 % |
606.00/606.28 c | 728644 | 900 60163 194355 | 36426 33443 69 | 0.000 % |
606.20/606.43 c | 728856 | 900 60163 194355 | 36426 33655 69 | 0.000 % |
606.40/606.62 c | 729089 | 900 60163 194355 | 36426 33888 69 | 0.000 % |
606.50/606.79 c | 729348 | 900 60163 194355 | 36426 34147 70 | 0.000 % |
606.69/606.98 c | 729630 | 900 60163 194355 | 36426 34429 70 | 0.000 % |
607.00/607.28 c | 729939 | 900 60163 194355 | 36426 34738 70 | 0.000 % |
607.29/607.53 c | 730279 | 900 60163 194355 | 2147483647 35078 71 | 0.000 % |
607.59/607.84 c | 730651 | 900 60163 194355 | 2147483647 35450 71 | 0.000 % |
608.00/608.25 c | 731061 | 900 60163 194355 | 2147483647 35860 71 | 0.000 % |
608.39/608.60 c | 731510 | 900 60163 194355 | 2147483647 36309 72 | 0.000 % |
608.79/609.03 c | 732003 | 900 60163 194355 | 2147483647 36802 72 | 0.000 % |
609.29/609.56 c | 732546 | 900 60163 194355 | 2147483647 37345 73 | 0.000 % |
609.99/610.24 c | 733145 | 900 60163 194355 | 2147483647 37944 74 | 0.000 % |
610.40/610.63 c | 733800 | 900 60163 194355 | 2147483647 38599 74 | 0.000 % |
611.30/611.56 c | 734525 | 900 60163 194355 | 2147483647 39324 75 | 0.000 % |
612.09/612.32 c | 735317 | 900 60163 194355 | 2147483647 40116 75 | 0.000 % |
612.59/612.87 c | 736190 | 900 60163 194355 | 2147483647 40989 76 | 0.000 % |
613.50/613.76 c | 737149 | 900 60163 194355 | 2147483647 41948 76 | 0.000 % |
614.49/614.74 c | 738203 | 900 60163 194355 | 2147483647 43002 76 | 0.000 % |
615.59/615.87 c | 739363 | 900 60163 194355 | 2147483647 44162 76 | 0.000 % |
616.79/617.07 c | 740638 | 900 60163 194355 | 44799 39759 78 | 0.000 % |
618.19/618.42 c | 742039 | 900 60163 194355 | 44799 41160 78 | 0.000 % |
619.59/619.86 c | 743580 | 900 60163 194355 | 44799 42701 79 | 0.000 % |
621.59/621.85 c | 745275 | 900 60163 194355 | 44799 44396 80 | 0.000 % |
623.69/623.92 c | 747140 | 900 60163 194355 | 44799 39238 83 | 0.000 % |
625.39/625.68 c | 749189 | 900 60163 194355 | 44799 41287 82 | 0.000 % |
627.39/627.60 c | 751442 | 900 60163 194355 | 42099 37316 81 | 0.000 % |
629.29/629.50 c | 753923 | 900 60163 194355 | 42099 39797 80 | 0.000 % |
631.99/632.26 c | 756648 | 900 60163 194355 | 42099 36563 74 | 0.000 % |
634.79/635.08 c | 759646 | 900 60163 194355 | 42099 39561 74 | 0.000 % |
637.99/638.25 c | 762943 | 900 60163 194355 | 39915 37090 69 | 0.000 % |
640.08/640.39 c | 766568 | 900 60163 194355 | 39915 36453 68 | 0.000 % |
643.78/644.08 c | 770558 | 900 60163 194355 | 39886 36341 70 | 0.000 % |
647.08/647.33 c | 774944 | 900 60163 194355 | 39886 36707 73 | 0.000 % |
650.88/651.14 c | 779767 | 900 60163 194355 | 39886 37484 75 | 0.000 % |
653.88/654.13 c | 785073 | 900 60163 194355 | 37718 35124 78 | 0.000 % |
659.18/659.40 c | 790909 | 900 60163 194355 | 2147483647 37156 83 | 0.000 % |
666.28/666.51 c | 797327 | 900 60163 194355 | 2147483647 43574 86 | 0.000 % |
671.57/671.81 c | 804386 | 900 60163 194355 | 46247 43914 83 | 0.000 % |
671.57/671.89 c | 804488 | 900 60163 194355 | 46247 44016 82 | 0.000 % |
671.78/672.02 c | 804598 | 900 60163 194355 | 46247 44126 82 | 0.000 % |
671.97/672.20 c | 804719 | 900 60163 194355 | 46247 44247 83 | 0.000 % |
672.07/672.39 c | 804853 | 900 60163 194355 | 46247 44381 82 | 0.000 % |
672.27/672.57 c | 805004 | 900 60163 194355 | 46247 44532 82 | 0.000 % |
672.47/672.78 c | 805165 | 900 60163 194355 | 46247 44693 83 | 0.000 % |
672.77/673.00 c | 805345 | 900 60163 194355 | 46247 44873 83 | 0.000 % |
672.88/673.15 c | 805541 | 900 60163 194355 | 46247 45069 83 | 0.000 % |
673.27/673.51 c | 805753 | 900 60163 194355 | 46247 45281 83 | 0.000 % |
673.57/673.85 c | 805989 | 900 60163 194355 | 46247 45517 83 | 0.000 % |
673.87/674.15 c | 806245 | 900 60163 194355 | 46247 45773 83 | 0.000 % |
674.27/674.54 c | 806528 | 900 60163 194355 | 46247 46056 83 | 0.000 % |
674.77/675.01 c | 806840 | 900 60163 194355 | 46247 46368 83 | 0.000 % |
675.07/675.39 c | 807180 | 900 60163 194355 | 46247 39745 79 | 0.000 % |
675.47/675.79 c | 807554 | 900 60163 194355 | 46247 40119 79 | 0.000 % |
676.08/676.38 c | 807964 | 900 60163 194355 | 46247 40529 79 | 0.000 % |
676.68/676.94 c | 808414 | 900 60163 194355 | 46247 40979 80 | 0.000 % |
676.98/677.30 c | 808909 | 900 60163 194355 | 46247 41474 80 | 0.000 % |
677.58/677.86 c | 809451 | 900 60163 194355 | 46247 42016 80 | 0.000 % |
678.28/678.50 c | 810049 | 900 60163 194355 | 42565 42614 80 | 0.000 % |
679.08/679.32 c | 810704 | 900 60163 194355 | 42565 36807 79 | 0.000 % |
679.68/679.94 c | 811427 | 900 60163 194355 | 42565 37530 79 | 0.000 % |
680.48/680.71 c | 812219 | 900 60163 194355 | 42565 38322 80 | 0.000 % |
681.28/681.52 c | 813091 | 900 60163 194355 | 42565 39194 80 | 0.000 % |
682.18/682.44 c | 814049 | 900 60163 194355 | 42565 40152 80 | 0.000 % |
683.48/683.72 c | 815103 | 900 60163 194355 | 42565 41206 80 | 0.000 % |
684.38/684.62 c | 816261 | 900 60163 194355 | 42565 42364 81 | 0.000 % |
685.47/685.77 c | 817534 | 900 60163 194355 | 42565 37375 77 | 0.000 % |
687.07/687.33 c | 818935 | 900 60163 194355 | 42565 38776 79 | 0.000 % |
688.38/688.65 c | 820475 | 900 60163 194355 | 39841 34514 74 | 0.000 % |
689.48/689.74 c | 822169 | 900 60163 194355 | 39841 36208 74 | 0.000 % |
690.67/690.93 c | 824032 | 900 60163 194355 | 39841 38071 74 | 0.000 % |
693.37/693.63 c | 826083 | 900 60163 194355 | 39841 40122 76 | 0.000 % |
695.47/695.73 c | 828337 | 900 60163 194355 | 39841 37192 76 | 0.000 % |
697.37/697.66 c | 830815 | 900 60163 194355 | 38855 34423 76 | 0.000 % |
700.17/700.45 c | 833542 | 900 60163 194355 | 38855 37150 79 | 0.000 % |
703.07/703.34 c | 836543 | 900 60163 194355 | 38855 34793 79 | 0.000 % |
706.57/706.86 c | 839839 | 900 60163 194355 | 38855 38089 82 | 0.000 % |
710.37/710.62 c | 843466 | 900 60163 194355 | 38251 36511 82 | 0.000 % |
714.37/714.61 c | 847455 | 900 60163 194355 | 38251 34626 83 | 0.000 % |
719.26/719.53 c | 851843 | 900 60163 194355 | 37171 32929 81 | 0.000 % |
722.16/722.46 c ===============================================================================
722.16/722.47 c restarts : 1124
722.16/722.47 c conflicts : 855627 (1185 /sec)
722.16/722.47 c decisions : 1312434 (1.10 % random) (1818 /sec)
722.16/722.47 c propagations : 86176439 (119387 /sec)
722.16/722.47 c conflict literals : 75603340 (39.99 % deleted)
722.16/722.47 c Memory used : 29.55 MB
722.16/722.47 c CPU time : 721.827 s
722.16/722.47 c
722.16/722.47 s SATISFIABLE
722.16/722.47 s SATISFIABLE
722.16/722.47 v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 230 -231 -232 -233 -234 -235 -236 -237 238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 311 -312 -313 -314 -315 -316 -317 -318 -319 -320 321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 439 -440 -441 -442 -443 444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 665 -666 -667 -668 -669 -670 -671 -672 673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 835 -836 -837 -838 -839 -840 -841 842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 901 -902 -903 -904 -905 -906 -907 -908 -909 -910 911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834113-1242828099/watcher-1834113-1242828099 -o /tmp/evaluation-result-1834113-1242828099/solver-1834113-1242828099 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834113-1242828099.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10544
/proc/meminfo: memFree=1777336/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310843382 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 238487830610 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/10544/statm: 1339 235 195 169 0 50 0
[pid=10545] ppid=10544 vsize=5356 CPUtime=0
/proc/10545/stat : 10545 (SatELiteGTI) S 10544 10544 10257 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310843383 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/10545/statm: 1339 238 198 169 0 50 0
[pid=10547] ppid=10545 vsize=5356 CPUtime=0
/proc/10547/stat : 10547 (SatELiteGTI) R 10545 10544 10257 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 310843383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487661863 0 0 4096 0 0 0 0 17 1 0 0
/proc/10547/statm: 1339 239 199 169 0 50 0
[startup+0.0284071 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10544
/proc/meminfo: memFree=1777336/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310843382 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10544/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101412 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10544
/proc/meminfo: memFree=1777336/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310843382 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10544/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301443 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10544
/proc/meminfo: memFree=1777336/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5356
[startup+0.70149 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10544
/proc/meminfo: memFree=1777336/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5356
[startup+1.50157 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1770280/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=7320 CPUtime=1.2
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 1700 0 0 0 119 1 0 0 25 0 1 0 310843411 7495680 1686 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 1830 1686 77 171 0 1657 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12676
[startup+3.10275 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1768232/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=9828 CPUtime=2.79
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 2334 0 0 0 278 1 0 0 25 0 1 0 310843411 10063872 2320 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 2457 2320 77 171 0 2284 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15184
[startup+6.30112 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1764264/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=13180 CPUtime=5.99
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 3167 0 0 0 597 2 0 0 25 0 1 0 310843411 13496320 3153 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 3295 3153 77 171 0 3122 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 18536
[startup+12.7018 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1758640/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=18144 CPUtime=12.39
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 4417 0 0 0 1235 4 0 0 25 0 1 0 310843411 18579456 4403 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 4536 4403 77 171 0 4363 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 23500
[startup+25.5013 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1751280/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=25272 CPUtime=25.19
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 6187 0 0 0 2512 7 0 0 25 0 1 0 310843411 25878528 6173 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 6318 6173 77 171 0 6145 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 30628
[startup+51.1012 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1748144/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=28372 CPUtime=50.78
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 6942 0 0 0 5070 8 0 0 25 0 1 0 310843411 29052928 6928 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7093 6928 77 171 0 6920 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 33728
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1747760/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=28636 CPUtime=101.97
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7025 0 0 0 10188 9 0 0 25 0 1 0 310843411 29323264 7011 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7159 7011 77 171 0 6986 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 33992
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1747504/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=28908 CPUtime=161.95
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7089 0 0 0 16186 9 0 0 25 0 1 0 310843411 29601792 7075 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7227 7075 77 171 0 7054 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 34264
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1747376/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=29052 CPUtime=221.93
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7102 0 0 0 22183 10 0 0 25 0 1 0 310843411 29749248 7088 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7263 7088 77 171 0 7090 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 34408
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1747248/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=29052 CPUtime=281.91
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7124 0 0 0 28181 10 0 0 25 0 1 0 310843411 29749248 7110 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7263 7110 77 171 0 7090 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 34408
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1747056/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=29368 CPUtime=341.89
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7173 0 0 0 34179 10 0 0 25 0 1 0 310843411 30072832 7159 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7342 7159 77 171 0 7169 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 34724
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1746544/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=29924 CPUtime=401.88
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7300 0 0 0 40177 11 0 0 25 0 1 0 310843411 30642176 7286 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7481 7286 77 171 0 7308 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 35280
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1746416/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=29924 CPUtime=461.87
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7330 0 0 0 46175 12 0 0 25 0 1 0 310843411 30642176 7316 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7481 7316 77 171 0 7308 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 35280
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1746352/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=30100 CPUtime=521.85
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7340 0 0 0 52173 12 0 0 25 0 1 0 310843411 30822400 7326 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7525 7326 77 171 0 7352 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 35456
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1746224/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=30100 CPUtime=581.83
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7353 0 0 0 58170 13 0 0 25 0 1 0 310843411 30822400 7339 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7525 7339 77 171 0 7352 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 35456
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1746096/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=30256 CPUtime=641.82
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7378 0 0 0 64169 13 0 0 25 0 1 0 310843411 30982144 7364 1992294400 134512640 135215339 4294956240 18446744073709551615 134532956 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7564 7364 77 171 0 7391 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 35612
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1745968/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=30256 CPUtime=701.8
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7378 0 0 0 70166 14 0 0 25 0 1 0 310843411 30982144 7364 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7564 7364 77 171 0 7391 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 35612
Solver just ended. Dumping a history of the last processes samples
[startup+703.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1745968/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=30256 CPUtime=703.4
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7378 0 0 0 70326 14 0 0 25 0 1 0 310843411 30982144 7364 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7564 7364 77 171 0 7391 0
Current children cumulated CPU time (s) 703.67
Current children cumulated vsize (KiB) 35612
[startup+710.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1745968/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=30256 CPUtime=709.8
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7378 0 0 0 70966 14 0 0 25 0 1 0 310843411 30982144 7364 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7564 7364 77 171 0 7391 0
Current children cumulated CPU time (s) 710.07
Current children cumulated vsize (KiB) 35612
[startup+716.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1745904/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=30256 CPUtime=716.2
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7378 0 0 0 71606 14 0 0 25 0 1 0 310843411 30982144 7364 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7564 7364 77 171 0 7391 0
Current children cumulated CPU time (s) 716.47
Current children cumulated vsize (KiB) 35612
[startup+719.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1745904/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=30256 CPUtime=719.39
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7378 0 0 0 71925 14 0 0 25 0 1 0 310843411 30982144 7364 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7564 7364 77 171 0 7391 0
Current children cumulated CPU time (s) 719.66
Current children cumulated vsize (KiB) 35612
[startup+721.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1745904/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=30256 CPUtime=721
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7378 0 0 0 72086 14 0 0 25 0 1 0 310843411 30982144 7364 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7564 7364 77 171 0 7391 0
Current children cumulated CPU time (s) 721.27
Current children cumulated vsize (KiB) 35612
[startup+721.903 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1745904/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=30256 CPUtime=721.39
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7378 0 0 0 72125 14 0 0 25 0 1 0 310843411 30982144 7364 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7564 7364 77 171 0 7391 0
Current children cumulated CPU time (s) 721.66
Current children cumulated vsize (KiB) 35612
[startup+722.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1745904/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=30256 CPUtime=721.79
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7378 0 0 0 72165 14 0 0 25 0 1 0 310843411 30982144 7364 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7564 7364 77 171 0 7391 0
Current children cumulated CPU time (s) 722.06
Current children cumulated vsize (KiB) 35612
[startup+722.403 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10550
/proc/meminfo: memFree=1745904/2055920 swapFree=4180072/4192956
[pid=10544] ppid=10542 vsize=5356 CPUtime=0.27
/proc/10544/stat : 10544 (SatELiteGTI) S 10542 10544 10257 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310843382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10544/statm: 1339 239 197 169 0 50 0
[pid=10550] ppid=10544 vsize=30256 CPUtime=721.89
/proc/10550/stat : 10550 (minisat_static) R 10544 10544 10257 0 -1 4194304 7378 0 0 0 72175 14 0 0 25 0 1 0 310843411 30982144 7364 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/10550/statm: 7564 7364 77 171 0 7391 0
Current children cumulated CPU time (s) 722.16
Current children cumulated vsize (KiB) 35612
Child status: 10
Real time (s): 722.487
CPU time (s): 722.269
CPU user time (s): 722.102
CPU system time (s): 0.166974
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 35612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 722.102
system time used= 0.166974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9666
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50
involuntary context switches= 2020
runsolver used 0.812876 second user time and 1.87971 second system time
The end
Begin job on node23 at 2009-05-20 16:01:39
IDJOB=1834113
IDBENCH=71418
IDSOLVER=671
FILE ID=node23/1834113-1242828099
PBS_JOBID= 9322539
Free space on /tmp= 66432 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v945c61409gyes9.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834113-1242828099/watcher-1834113-1242828099 -o /tmp/evaluation-result-1834113-1242828099/solver-1834113-1242828099 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834113-1242828099.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5b3cb365e0da247dad8c75295d40c6a5
RANDOM SEED=401913779
node23.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1777816 kB
Buffers: 56240 kB
Cached: 151792 kB
SwapCached: 7120 kB
Active: 67412 kB
Inactive: 149500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1777816 kB
SwapTotal: 4192956 kB
SwapFree: 4180072 kB
Dirty: 2292 kB
Writeback: 0 kB
Mapped: 14064 kB
Slab: 47252 kB
Committed_AS: 1037352 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= 66428 MiB
End job on node23 at 2009-05-20 16:13:41