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 | 33600 100800 | 10079 0 0 nan | 0.000 % |
0.00/0.11 c | 0 | 33418 101476 | -- 0 -- -- | -- | -182/676
0.00/0.11 c ==============================================================================
0.00/0.11 c Result : #vars: 7809 #clauses: 33418 #literals: 101476
0.00/0.11 c CPU time: 0.096985 s
0.00/0.11 c ==============================================================================
0.00/0.14 c This is MiniSat 2.0 beta
0.00/0.14 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.14 c ============================[ Problem Statistics ]=============================
0.00/0.14 c | |
0.00/0.14 c | Number of variables: 7809 |
0.00/0.14 c | Number of clauses: 33418 |
0.00/0.16 c | Parsing time: 0.02 s |
0.00/0.17 c ============================[ Search Statistics ]==============================
0.00/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.17 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.17 c ===============================================================================
0.00/0.17 c | 0 | 7809 33418 101476 | 11139 0 nan | 0.000 % |
0.00/0.19 c | 100 | 7809 33418 101476 | 11139 100 169 | 0.000 % |
0.13/0.21 c | 201 | 7809 33418 101476 | 11139 201 146 | 0.000 % |
0.13/0.23 c | 301 | 7809 33418 101476 | 11139 301 142 | 0.000 % |
0.13/0.26 c | 412 | 7809 33418 101476 | 11139 412 138 | 0.000 % |
0.13/0.28 c | 512 | 7809 33418 101476 | 11139 512 134 | 0.000 % |
0.13/0.30 c | 623 | 7809 33418 101476 | 11139 623 126 | 0.000 % |
0.13/0.33 c | 747 | 7809 33418 101476 | 11139 747 124 | 0.000 % |
0.13/0.35 c | 847 | 7809 33418 101476 | 11139 847 124 | 0.000 % |
0.13/0.38 c | 958 | 7809 33418 101476 | 11139 958 125 | 0.000 % |
0.13/0.41 c | 1085 | 7809 33418 101476 | 11139 1085 127 | 0.000 % |
0.13/0.44 c | 1218 | 7809 33418 101476 | 11139 1218 128 | 0.000 % |
0.13/0.46 c | 1318 | 7809 33418 101476 | 11139 1318 128 | 0.000 % |
0.13/0.48 c | 1430 | 7809 33418 101476 | 11139 1430 127 | 0.000 % |
0.13/0.51 c | 1553 | 7809 33418 101476 | 11139 1553 125 | 0.000 % |
0.13/0.54 c | 1686 | 7809 33418 101476 | 11139 1686 127 | 0.000 % |
0.13/0.58 c | 1833 | 7809 33418 101476 | 11139 1833 127 | 0.000 % |
0.13/0.60 c | 1933 | 7809 33418 101476 | 11139 1933 130 | 0.000 % |
0.13/0.63 c | 2044 | 7809 33418 101476 | 11139 2044 129 | 0.000 % |
0.13/0.66 c | 2165 | 7809 33418 101476 | 11139 2165 131 | 0.000 % |
0.13/0.69 c | 2301 | 7809 33418 101476 | 11139 2301 131 | 0.000 % |
0.13/0.72 c | 2448 | 7809 33418 101476 | 11139 2448 133 | 0.000 % |
0.13/0.76 c | 2608 | 7809 33418 101476 | 11139 2608 134 | 0.000 % |
0.13/0.78 c | 2708 | 7809 33418 101476 | 11139 2708 134 | 0.000 % |
0.13/0.81 c | 2819 | 7809 33418 101476 | 11139 2819 133 | 0.000 % |
0.13/0.84 c | 2941 | 7809 33418 101476 | 11139 2941 133 | 0.000 % |
0.13/0.87 c | 3074 | 7809 33418 101476 | 11139 3074 134 | 0.000 % |
0.13/0.91 c | 3221 | 7809 33418 101476 | 11139 3221 133 | 0.000 % |
0.13/0.94 c | 3382 | 7809 33418 101476 | 11139 3382 133 | 0.000 % |
0.13/0.99 c | 3558 | 7809 33418 101476 | 11139 3558 134 | 0.000 % |
0.98/1.01 c | 3661 | 7809 33418 101476 | 11139 3661 134 | 0.000 % |
0.98/1.04 c | 3773 | 7809 33418 101476 | 11139 3773 134 | 0.000 % |
0.98/1.07 c | 3896 | 7809 33418 101476 | 11139 3896 134 | 0.000 % |
1.08/1.11 c | 4030 | 7809 33418 101476 | 11139 4030 136 | 0.000 % |
1.08/1.14 c | 4176 | 7809 33418 101476 | 11139 4176 137 | 0.000 % |
1.08/1.18 c | 4336 | 7809 33418 101476 | 11139 4336 136 | 0.000 % |
1.17/1.23 c | 4513 | 7809 33418 101476 | 11139 4513 138 | 0.000 % |
1.17/1.28 c | 4708 | 7809 33418 101476 | 11139 4708 138 | 0.000 % |
1.27/1.30 c | 4808 | 7809 33418 101476 | 11139 4808 138 | 0.000 % |
1.27/1.33 c | 4918 | 7809 33418 101476 | 11139 4918 138 | 0.000 % |
1.27/1.36 c | 5039 | 7809 33418 101476 | 11139 5039 139 | 0.000 % |
1.27/1.39 c | 5174 | 7809 33418 101476 | 11139 5174 139 | 0.000 % |
1.37/1.44 c | 5320 | 7809 33418 101476 | 11139 5320 139 | 0.000 % |
1.37/1.48 c | 5482 | 7809 33418 101476 | 11139 5482 139 | 0.000 % |
1.47/1.52 c | 5660 | 7809 33418 101476 | 11139 5660 139 | 0.000 % |
1.47/1.57 c | 5853 | 7809 33418 101476 | 11139 5853 141 | 0.000 % |
1.57/1.62 c | 6065 | 7809 33418 101476 | 11139 6065 141 | 0.000 % |
1.57/1.66 c | 6165 | 7809 33418 101476 | 11139 6165 141 | 0.000 % |
1.57/1.69 c | 6276 | 7809 33418 101476 | 11139 6276 141 | 0.000 % |
1.67/1.72 c | 6397 | 7809 33418 101476 | 11139 6397 141 | 0.000 % |
1.67/1.75 c | 6530 | 7809 33418 101476 | 11139 6530 141 | 0.000 % |
1.67/1.79 c | 6676 | 7809 33418 101476 | 11139 6676 140 | 0.000 % |
1.77/1.83 c | 6836 | 7809 33418 101476 | 11139 6836 140 | 0.000 % |
1.77/1.88 c | 7012 | 7809 33418 101476 | 11139 7012 139 | 0.000 % |
1.87/1.93 c | 7205 | 7809 33418 101476 | 11139 7205 140 | 0.000 % |
1.87/1.99 c | 7417 | 7809 33418 101476 | 11139 7417 139 | 0.000 % |
1.98/2.05 c | 7651 | 7809 33418 101476 | 11139 7651 140 | 0.000 % |
1.98/2.08 c | 7751 | 7809 33418 101476 | 11139 7751 140 | 0.000 % |
2.08/2.12 c | 7861 | 7809 33418 101476 | 11139 7861 139 | 0.000 % |
2.08/2.15 c | 7985 | 7809 33418 101476 | 11139 7985 139 | 0.000 % |
2.08/2.19 c | 8118 | 7809 33418 101476 | 11139 8118 139 | 0.000 % |
2.18/2.23 c | 8264 | 7809 33418 101476 | 11139 8264 139 | 0.000 % |
2.18/2.28 c | 8426 | 7809 33418 101476 | 11139 8426 139 | 0.000 % |
2.28/2.33 c | 8602 | 7809 33418 101476 | 11139 8602 140 | 0.000 % |
2.28/2.38 c | 8795 | 7809 33418 101476 | 11139 8795 139 | 0.000 % |
2.38/2.44 c | 9008 | 7809 33418 101476 | 11139 9008 140 | 0.000 % |
2.48/2.51 c | 9244 | 7809 33418 101476 | 11139 9244 141 | 0.000 % |
2.48/2.59 c | 9500 | 7809 33418 101476 | 11139 9500 143 | 0.000 % |
2.58/2.62 c | 9600 | 7809 33418 101476 | 11139 9600 143 | 0.000 % |
2.58/2.65 c | 9710 | 7809 33418 101476 | 11139 9710 143 | 0.000 % |
2.58/2.69 c | 9831 | 7809 33418 101476 | 11139 9831 143 | 0.000 % |
2.67/2.73 c | 9964 | 7809 33418 101476 | 11139 9964 143 | 0.000 % |
2.67/2.77 c | 10110 | 7809 33418 101476 | 2147483647 10110 143 | 0.000 % |
2.77/2.82 c | 10272 | 7809 33418 101476 | 2147483647 10272 143 | 0.000 % |
2.77/2.87 c | 10448 | 7809 33418 101476 | 2147483647 10448 143 | 0.000 % |
2.87/2.93 c | 10641 | 7809 33418 101476 | 2147483647 10641 143 | 0.000 % |
2.87/2.99 c | 10853 | 7809 33418 101476 | 2147483647 10853 143 | 0.000 % |
2.97/3.06 c | 11087 | 7809 33418 101476 | 2147483647 11087 144 | 0.000 % |
3.07/3.14 c | 11344 | 7809 33418 101476 | 2147483647 11344 144 | 0.000 % |
3.18/3.22 c | 11625 | 7809 33418 101476 | 2147483647 11625 145 | 0.000 % |
3.18/3.25 c | 11725 | 7809 33418 101476 | 2147483647 11725 145 | 0.000 % |
3.18/3.29 c | 11835 | 7809 33418 101476 | 2147483647 11835 145 | 0.000 % |
3.28/3.33 c | 11957 | 7809 33418 101476 | 2147483647 11957 144 | 0.000 % |
3.28/3.37 c | 12091 | 7809 33418 101476 | 2147483647 12091 144 | 0.000 % |
3.37/3.41 c | 12237 | 7809 33418 101476 | 2147483647 12237 144 | 0.000 % |
3.37/3.46 c | 12400 | 7809 33418 101476 | 2147483647 12400 144 | 0.000 % |
3.47/3.51 c | 12576 | 7809 33418 101476 | 2147483647 12576 144 | 0.000 % |
3.47/3.58 c | 12769 | 7809 33418 101476 | 2147483647 12769 144 | 0.000 % |
3.57/3.65 c | 12984 | 7809 33418 101476 | 2147483647 12984 144 | 0.000 % |
3.67/3.72 c | 13217 | 7809 33418 101476 | 2147483647 13217 144 | 0.000 % |
3.77/3.80 c | 13475 | 7809 33418 101476 | 2147483647 13475 144 | 0.000 % |
3.77/3.89 c | 13756 | 7809 33418 101476 | 2147483647 13756 144 | 0.000 % |
3.87/3.98 c | 14065 | 7809 33418 101476 | 2147483647 14065 144 | 0.000 % |
3.97/4.02 c | 14166 | 7809 33418 101476 | 2147483647 14166 144 | 0.000 % |
3.97/4.06 c | 14277 | 7809 33418 101476 | 2147483647 14277 144 | 0.000 % |
4.07/4.10 c | 14400 | 7809 33418 101476 | 2147483647 14400 144 | 0.000 % |
4.07/4.14 c | 14533 | 7809 33418 101476 | 2147483647 14533 144 | 0.000 % |
4.07/4.19 c | 14680 | 7809 33418 101476 | 2147483647 14680 143 | 0.000 % |
4.17/4.25 c | 14841 | 7809 33418 101476 | 2147483647 14841 144 | 0.000 % |
4.27/4.31 c | 15017 | 7809 33418 101476 | 2147483647 15017 144 | 0.000 % |
4.27/4.37 c | 15210 | 7809 33418 101476 | 2147483647 15210 144 | 0.000 % |
4.37/4.44 c | 15422 | 7809 33418 101476 | 2147483647 15422 144 | 0.000 % |
4.46/4.51 c | 15656 | 7809 33418 101476 | 2147483647 15656 144 | 0.000 % |
4.46/4.59 c | 15914 | 7809 33418 101476 | 2147483647 15914 144 | 0.000 % |
4.56/4.68 c | 16195 | 7809 33418 101476 | 2147483647 16195 144 | 0.000 % |
4.66/4.78 c | 16506 | 7809 33418 101476 | 2147483647 16506 144 | 0.000 % |
4.86/4.90 c | 16845 | 7809 33418 101476 | 2147483647 16845 144 | 0.000 % |
4.86/4.94 c | 16947 | 7809 33418 101476 | 2147483647 16947 144 | 0.000 % |
4.86/4.98 c | 17057 | 7809 33418 101476 | 2147483647 17057 144 | 0.000 % |
4.96/5.02 c | 17179 | 7809 33418 101476 | 2147483647 17179 144 | 0.000 % |
4.96/5.07 c | 17313 | 7809 33418 101476 | 2147483647 17313 144 | 0.000 % |
5.06/5.12 c | 17459 | 7809 33418 101476 | 2147483647 17459 144 | 0.000 % |
5.06/5.17 c | 17619 | 7809 33418 101476 | 2147483647 17619 144 | 0.000 % |
5.16/5.24 c | 17795 | 7809 33418 101476 | 2147483647 17795 144 | 0.000 % |
5.26/5.30 c | 17988 | 7809 33418 101476 | 2147483647 17988 144 | 0.000 % |
5.26/5.37 c | 18200 | 7809 33418 101476 | 2147483647 18200 144 | 0.000 % |
5.37/5.45 c | 18434 | 7809 33418 101476 | 2147483647 18434 144 | 0.000 % |
5.48/5.54 c | 18691 | 7809 33418 101476 | 2147483647 18691 144 | 0.000 % |
5.57/5.63 c | 18972 | 7809 33418 101476 | 2147483647 18972 144 | 0.000 % |
5.67/5.74 c | 19285 | 7809 33418 101476 | 2147483647 19285 144 | 0.000 % |
5.77/5.86 c | 19624 | 7809 33418 101476 | 2147483647 19624 144 | 0.000 % |
5.87/5.99 c | 19998 | 7809 33418 101476 | 2147483647 19998 144 | 0.000 % |
5.97/6.03 c | 20098 | 7809 33418 101476 | 2147483647 20098 143 | 0.000 % |
5.97/6.07 c | 20208 | 7809 33418 101476 | 2147483647 20208 144 | 0.000 % |
6.07/6.12 c | 20331 | 7809 33418 101476 | 2147483647 20331 143 | 0.000 % |
6.07/6.18 c | 20466 | 7809 33418 101476 | 2147483647 20466 144 | 0.000 % |
6.17/6.24 c | 20613 | 7809 33418 101476 | 2147483647 20613 143 | 0.000 % |
6.27/6.30 c | 20774 | 7809 33418 101476 | 2147483647 20774 144 | 0.000 % |
6.27/6.36 c | 20951 | 7809 33418 101476 | 2147483647 20951 143 | 0.000 % |
6.37/6.43 c | 21144 | 7809 33418 101476 | 2147483647 21144 143 | 0.000 % |
6.47/6.51 c | 21357 | 7809 33418 101476 | 2147483647 21357 144 | 0.000 % |
6.47/6.60 c | 21592 | 7809 33418 101476 | 2147483647 21592 143 | 0.000 % |
6.57/6.69 c | 21848 | 7809 33418 101476 | 2147483647 21848 143 | 0.000 % |
6.66/6.79 c | 22129 | 7809 33418 101476 | 2147483647 22129 143 | 0.000 % |
6.86/6.92 c | 22440 | 7809 33418 101476 | 2147483647 22440 144 | 0.000 % |
6.96/7.05 c | 22779 | 7809 33418 101476 | 2147483647 22779 144 | 0.000 % |
7.06/7.18 c | 23151 | 7809 33418 101476 | 2147483647 23151 144 | 0.000 % |
7.27/7.33 c | 23560 | 7809 33418 101476 | 2147483647 23560 144 | 0.000 % |
7.27/7.38 c | 23661 | 7809 33418 101476 | 2147483647 23661 144 | 0.000 % |
7.37/7.42 c | 23771 | 7809 33418 101476 | 2147483647 23771 144 | 0.000 % |
7.37/7.47 c | 23892 | 7809 33418 101476 | 2147483647 23892 144 | 0.000 % |
7.47/7.53 c | 24025 | 7809 33418 101476 | 2147483647 24025 143 | 0.000 % |
7.47/7.58 c | 24173 | 7809 33418 101476 | 2147483647 24173 143 | 0.000 % |
7.57/7.65 c | 24334 | 7809 33418 101476 | 2147483647 24334 143 | 0.000 % |
7.67/7.72 c | 24511 | 7809 33418 101476 | 2147483647 24511 143 | 0.000 % |
7.67/7.79 c | 24704 | 7809 33418 101476 | 2147483647 24704 143 | 0.000 % |
7.77/7.87 c | 24916 | 7809 33418 101476 | 2147483647 24916 143 | 0.000 % |
7.87/7.97 c | 25150 | 7809 33418 101476 | 2147483647 25150 144 | 0.000 % |
7.97/8.07 c | 25406 | 7809 33418 101476 | 2147483647 25406 144 | 0.000 % |
8.07/8.18 c | 25689 | 7809 33418 101476 | 2147483647 25689 144 | 0.000 % |
8.27/8.30 c | 25998 | 7809 33418 101476 | 2147483647 25998 145 | 0.000 % |
8.37/8.45 c | 26337 | 7809 33418 101476 | 2147483647 26337 145 | 0.000 % |
8.47/8.59 c | 26711 | 7809 33418 101476 | 2147483647 26711 146 | 0.000 % |
8.67/8.75 c | 27121 | 7809 33418 101476 | 2147483647 27121 146 | 0.000 % |
8.87/8.93 c | 27570 | 7809 33418 101476 | 2147483647 27570 146 | 0.000 % |
8.87/8.98 c | 27671 | 7809 33418 101476 | 2147483647 27671 146 | 0.000 % |
8.97/9.03 c | 27781 | 7809 33418 101476 | 2147483647 27781 146 | 0.000 % |
8.97/9.08 c | 27903 | 7809 33418 101476 | 2147483647 27903 146 | 0.000 % |
9.07/9.14 c | 28038 | 7809 33418 101476 | 2147483647 28038 146 | 0.000 % |
9.17/9.20 c | 28184 | 7809 33418 101476 | 2147483647 28184 146 | 0.000 % |
9.17/9.26 c | 28344 | 7809 33418 101476 | 2147483647 28344 146 | 0.000 % |
9.26/9.33 c | 28520 | 7809 33418 101476 | 2147483647 28520 146 | 0.000 % |
9.36/9.41 c | 28713 | 7809 33418 101476 | 2147483647 28713 146 | 0.000 % |
9.46/9.50 c | 28925 | 7809 33418 101476 | 2147483647 28925 146 | 0.000 % |
9.56/9.60 c | 29158 | 7809 33418 101476 | 2147483647 29158 146 | 0.000 % |
9.66/9.70 c | 29415 | 7809 33418 101476 | 2147483647 29415 146 | 0.000 % |
9.77/9.83 c | 29698 | 7809 33418 101476 | 2147483647 29698 146 | 0.000 % |
9.87/9.96 c | 30008 | 7809 33418 101476 | 2147483647 30008 146 | 0.000 % |
10.06/10.10 c | 30350 | 7809 33418 101476 | 2147483647 30350 146 | 0.000 % |
10.16/10.26 c | 30722 | 7809 33418 101476 | 2147483647 30722 146 | 0.000 % |
10.37/10.44 c | 31131 | 7809 33418 101476 | 2147483647 31131 146 | 0.000 % |
10.57/10.63 c | 31581 | 7809 33418 101476 | 2147483647 31581 146 | 0.000 % |
10.77/10.84 c | 32074 | 7809 33418 101476 | 2147483647 32074 146 | 0.000 % |
10.77/10.90 c | 32174 | 7809 33418 101476 | 2147483647 32174 146 | 0.000 % |
10.87/10.95 c | 32284 | 7809 33418 101476 | 2147483647 32284 146 | 0.000 % |
10.97/11.01 c | 32407 | 7809 33418 101476 | 2147483647 32407 146 | 0.000 % |
10.97/11.07 c | 32540 | 7809 33418 101476 | 2147483647 32540 146 | 0.000 % |
11.07/11.14 c | 32686 | 7809 33418 101476 | 2147483647 32686 146 | 0.000 % |
11.17/11.21 c | 32848 | 7809 33418 101476 | 2147483647 32848 146 | 0.000 % |
11.17/11.29 c | 33025 | 7809 33418 101476 | 2147483647 33025 146 | 0.000 % |
11.27/11.38 c | 33218 | 7809 33418 101476 | 2147483647 33218 146 | 0.000 % |
11.37/11.48 c | 33432 | 7809 33418 101476 | 2147483647 33432 146 | 0.000 % |
11.46/11.59 c | 33665 | 7809 33418 101476 | 2147483647 33665 145 | 0.000 % |
11.56/11.69 c | 33922 | 7809 33418 101476 | 2147483647 33922 145 | 0.000 % |
11.76/11.83 c | 34204 | 7809 33418 101476 | 2147483647 34204 145 | 0.000 % |
11.86/11.96 c | 34514 | 7809 33418 101476 | 2147483647 34514 145 | 0.000 % |
12.07/12.11 c | 34855 | 7809 33418 101476 | 2147483647 34855 146 | 0.000 % |
12.16/12.28 c | 35229 | 7809 33418 101476 | 2147483647 35229 146 | 0.000 % |
12.36/12.46 c | 35642 | 7809 33418 101476 | 2147483647 35642 146 | 0.000 % |
12.56/12.67 c | 36091 | 7809 33418 101476 | 2147483647 36091 145 | 0.000 % |
12.86/12.90 c | 36586 | 7809 33418 101476 | 2147483647 36586 146 | 0.000 % |
13.06/13.14 c | 37128 | 7809 33418 101476 | 2147483647 37128 146 | 0.000 % |
13.06/13.20 c | 37231 | 7809 33418 101476 | 2147483647 37231 146 | 0.000 % |
13.16/13.25 c | 37341 | 7809 33418 101476 | 2147483647 37341 146 | 0.000 % |
13.26/13.31 c | 37462 | 7809 33418 101476 | 2147483647 37462 146 | 0.000 % |
13.26/13.37 c | 37597 | 7809 33418 101476 | 2147483647 37597 146 | 0.000 % |
13.36/13.44 c | 37743 | 7809 33418 101476 | 2147483647 37743 146 | 0.000 % |
13.46/13.52 c | 37904 | 7809 33418 101476 | 2147483647 37904 146 | 0.000 % |
13.56/13.61 c | 38080 | 7809 33418 101476 | 2147483647 38080 146 | 0.000 % |
13.66/13.70 c | 38274 | 7809 33418 101476 | 2147483647 38274 146 | 0.000 % |
13.66/13.79 c | 38486 | 7809 33418 101476 | 2147483647 38486 146 | 0.000 % |
13.86/13.93 c | 38719 | 7809 33418 101476 | 2147483647 38719 146 | 0.000 % |
13.96/14.04 c | 38975 | 7809 33418 101476 | 2147483647 38975 146 | 0.000 % |
14.06/14.18 c | 39256 | 7809 33418 101476 | 2147483647 39256 146 | 0.000 % |
14.27/14.33 c | 39565 | 7809 33418 101476 | 2147483647 39565 146 | 0.000 % |
14.37/14.49 c | 39904 | 7809 33418 101476 | 2147483647 39904 146 | 0.000 % |
14.56/14.66 c | 40278 | 7809 33418 101476 | 2147483647 40278 146 | 0.000 % |
14.76/14.85 c | 40688 | 7809 33418 101476 | 2147483647 40688 146 | 0.000 % |
14.96/15.05 c | 41138 | 7809 33418 101476 | 2147483647 41138 146 | 0.000 % |
15.16/15.28 c | 41632 | 7809 33418 101476 | 2147483647 41632 146 | 0.000 % |
15.46/15.53 c | 42174 | 7809 33418 101476 | 2147483647 42174 146 | 0.000 % |
15.76/15.83 c | 42772 | 7809 33418 101476 | 2147483647 42772 147 | 0.000 % |
15.76/15.88 c | 42872 | 7809 33418 101476 | 2147483647 42872 147 | 0.000 % |
15.86/15.95 c | 42983 | 7809 33418 101476 | 2147483647 42983 147 | 0.000 % |
15.96/16.02 c | 43104 | 7809 33418 101476 | 2147483647 43104 147 | 0.000 % |
15.96/16.09 c | 43240 | 7809 33418 101476 | 2147483647 43240 147 | 0.000 % |
16.06/16.18 c | 43386 | 7809 33418 101476 | 2147483647 43386 147 | 0.000 % |
16.16/16.28 c | 43550 | 7809 33418 101476 | 2147483647 43550 147 | 0.000 % |
16.27/16.37 c | 43726 | 7809 33418 101476 | 2147483647 43726 147 | 0.000 % |
16.37/16.48 c | 43919 | 7809 33418 101476 | 2147483647 43919 147 | 0.000 % |
16.47/16.59 c | 44131 | 7809 33418 101476 | 2147483647 44131 147 | 0.000 % |
16.67/16.72 c | 44364 | 7809 33418 101476 | 2147483647 44364 147 | 0.000 % |
16.76/16.84 c | 44621 | 7809 33418 101476 | 2147483647 44621 147 | 0.000 % |
16.86/16.98 c | 44902 | 7809 33418 101476 | 2147483647 44902 147 | 0.000 % |
17.06/17.12 c | 45212 | 7809 33418 101476 | 2147483647 45212 147 | 0.000 % |
17.16/17.29 c | 45551 | 7809 33418 101476 | 2147483647 45551 147 | 0.000 % |
17.46/17.50 c | 45923 | 7809 33418 101476 | 2147483647 45923 147 | 0.000 % |
17.66/17.71 c | 46332 | 7809 33418 101476 | 2147483647 46332 147 | 0.000 % |
17.86/17.94 c | 46782 | 7809 33418 101476 | 2147483647 46782 147 | 0.000 % |
18.06/18.19 c | 47275 | 7809 33418 101476 | 2147483647 47275 148 | 0.000 % |
18.36/18.45 c | 47818 | 7809 33418 101476 | 2147483647 47818 148 | 0.000 % |
18.67/18.73 c | 48415 | 7809 33418 101476 | 2147483647 48415 148 | 0.000 % |
18.96/19.07 c | 49070 | 7809 33418 101476 | 2147483647 49070 148 | 0.000 % |
19.06/19.13 c | 49172 | 7809 33418 101476 | 2147483647 49172 148 | 0.000 % |
19.16/19.20 c | 49282 | 7809 33418 101476 | 2147483647 49282 148 | 0.000 % |
19.16/19.27 c | 49406 | 7809 33418 101476 | 2147483647 49406 148 | 0.000 % |
19.26/19.34 c | 49539 | 7809 33418 101476 | 2147483647 49539 148 | 0.000 % |
19.36/19.44 c | 49685 | 7809 33418 101476 | 2147483647 49685 148 | 0.000 % |
19.46/19.53 c | 49847 | 7809 33418 101476 | 2147483647 49847 148 | 0.000 % |
19.56/19.62 c | 50023 | 7809 33418 101476 | 2147483647 50023 148 | 0.000 % |
19.67/19.74 c | 50217 | 7809 33418 101476 | 2147483647 50217 148 | 0.000 % |
19.77/19.86 c | 50429 | 7809 33418 101476 | 2147483647 50429 148 | 0.000 % |
19.86/19.98 c | 50662 | 7809 33418 101476 | 2147483647 50662 148 | 0.000 % |
20.06/20.12 c | 50919 | 7809 33418 101476 | 2147483647 50919 148 | 0.000 % |
20.16/20.28 c | 51200 | 7809 33418 101476 | 2147483647 51200 148 | 0.000 % |
20.36/20.46 c | 51509 | 7809 33418 101476 | 2147483647 51509 148 | 0.000 % |
20.56/20.66 c | 51849 | 7809 33418 101476 | 2147483647 51849 148 | 0.000 % |
20.76/20.87 c | 52221 | 7809 33418 101476 | 2147483647 52221 148 | 0.000 % |
20.96/21.09 c | 52630 | 7809 33418 101476 | 2147483647 52630 148 | 0.000 % |
21.26/21.32 c | 53080 | 7809 33418 101476 | 2147483647 53080 148 | 0.000 % |
21.56/21.61 c | 53573 | 7809 33418 101476 | 2147483647 53573 148 | 0.000 % |
21.86/21.90 c | 54118 | 7809 33418 101476 | 2147483647 54118 148 | 0.000 % |
22.16/22.25 c | 54718 | 7809 33418 101476 | 2147483647 54718 149 | 0.000 % |
22.56/22.62 c | 55375 | 7809 33418 101476 | 2147483647 55375 149 | 0.000 % |
22.97/23.04 c | 56096 | 7809 33418 101476 | 2147483647 56096 150 | 0.000 % |
23.07/23.11 c | 56196 | 7809 33418 101476 | 2147483647 56196 150 | 0.000 % |
23.07/23.17 c | 56308 | 7809 33418 101476 | 2147483647 56308 149 | 0.000 % |
23.16/23.25 c | 56431 | 7809 33418 101476 | 2147483647 56431 150 | 0.000 % |
23.26/23.33 c | 56565 | 7809 33418 101476 | 2147483647 56565 150 | 0.000 % |
23.36/23.42 c | 56711 | 7809 33418 101476 | 2147483647 56711 149 | 0.000 % |
23.46/23.51 c | 56871 | 7809 33418 101476 | 2147483647 56871 149 | 0.000 % |
23.56/23.62 c | 57048 | 7809 33418 101476 | 2147483647 57048 149 | 0.000 % |
23.66/23.74 c | 57241 | 7809 33418 101476 | 2147483647 57241 150 | 0.000 % |
23.76/23.87 c | 57453 | 7809 33418 101476 | 2147483647 57453 149 | 0.000 % |
23.96/24.02 c | 57687 | 7809 33418 101476 | 2147483647 57687 149 | 0.000 % |
24.07/24.16 c | 57944 | 7809 33418 101476 | 2147483647 57944 149 | 0.000 % |
24.26/24.33 c | 58225 | 7809 33418 101476 | 2147483647 58225 149 | 0.000 % |
24.46/24.53 c | 58534 | 7809 33418 101476 | 2147483647 58534 149 | 0.000 % |
24.66/24.73 c | 58874 | 7809 33418 101476 | 2147483647 58874 149 | 0.000 % |
24.86/24.99 c | 59246 | 7809 33418 101476 | 2147483647 59246 149 | 0.000 % |
25.17/25.25 c | 59655 | 7809 33418 101476 | 2147483647 59655 149 | 0.000 % |
25.46/25.50 c | 60106 | 7809 33418 101476 | 2147483647 60106 149 | 0.000 % |
25.66/25.77 c | 60600 | 7809 33418 101476 | 2147483647 60600 150 | 0.000 % |
25.96/26.09 c | 61143 | 7809 33418 101476 | 2147483647 61143 150 | 0.000 % |
26.36/26.44 c | 61739 | 7809 33418 101476 | 2147483647 61739 150 | 0.000 % |
26.75/26.83 c | 62394 | 7809 33418 101476 | 2147483647 62394 151 | 0.000 % |
27.15/27.25 c | 63114 | 7809 33418 101476 | 2147483647 63114 151 | 0.000 % |
27.65/27.70 c | 63907 | 7809 33418 101476 | 2147483647 63907 151 | 0.000 % |
27.65/27.76 c | 64009 | 7809 33418 101476 | 2147483647 64009 151 | 0.000 % |
27.75/27.84 c | 64119 | 7809 33418 101476 | 2147483647 64119 151 | 0.000 % |
27.85/27.93 c | 64240 | 7809 33418 101476 | 2147483647 64240 151 | 0.000 % |
27.95/28.02 c | 64374 | 7809 33418 101476 | 2147483647 64374 151 | 0.000 % |
28.05/28.12 c | 64520 | 7809 33418 101476 | 2147483647 64520 151 | 0.000 % |
28.15/28.24 c | 64680 | 7809 33418 101476 | 2147483647 64680 151 | 0.000 % |
28.25/28.37 c | 64856 | 7809 33418 101476 | 2147483647 64856 151 | 0.000 % |
28.36/28.49 c | 65049 | 7809 33418 101476 | 2147483647 65049 151 | 0.000 % |
28.56/28.65 c | 65265 | 7809 33418 101476 | 2147483647 65265 151 | 0.000 % |
28.76/28.81 c | 65505 | 7809 33418 101476 | 2147483647 65505 151 | 0.000 % |
28.86/28.98 c | 65761 | 7809 33418 101476 | 2147483647 65761 151 | 0.000 % |
29.06/29.16 c | 66044 | 7809 33418 101476 | 2147483647 66044 151 | 0.000 % |
29.26/29.37 c | 66354 | 7809 33418 101476 | 2147483647 66354 151 | 0.000 % |
29.46/29.58 c | 66694 | 7809 33418 101476 | 2147483647 66694 151 | 0.000 % |
29.66/29.80 c | 67066 | 7809 33418 101476 | 2147483647 67066 151 | 0.000 % |
29.95/30.07 c | 67475 | 7809 33418 101476 | 2147483647 67475 151 | 0.000 % |
30.25/30.36 c | 67926 | 7809 33418 101476 | 2147483647 67926 151 | 0.000 % |
30.55/30.67 c | 68422 | 7809 33418 101476 | 2147483647 68422 151 | 0.000 % |
30.96/31.02 c | 68967 | 7809 33418 101476 | 2147483647 68967 151 | 0.000 % |
31.26/31.36 c | 69563 | 7809 33418 101476 | 2147483647 69563 151 | 0.000 % |
31.76/31.80 c | 70218 | 7809 33418 101476 | 2147483647 70218 152 | 0.000 % |
32.16/32.26 c | 70940 | 7809 33418 101476 | 2147483647 70940 152 | 0.000 % |
32.66/32.76 c | 71734 | 7809 33418 101476 | 2147483647 71734 152 | 0.000 % |
33.25/33.32 c | 72605 | 7809 33418 101476 | 2147483647 72605 152 | 0.000 % |
33.35/33.41 c | 72705 | 7809 33418 101476 | 2147483647 72705 152 | 0.000 % |
33.35/33.49 c | 72816 | 7809 33418 101476 | 2147483647 72816 152 | 0.000 % |
33.45/33.58 c | 72938 | 7809 33418 101476 | 2147483647 72938 152 | 0.000 % |
33.55/33.67 c | 73071 | 7809 33418 101476 | 2147483647 73071 152 | 0.000 % |
33.65/33.77 c | 73218 | 7809 33418 101476 | 2147483647 73218 152 | 0.000 % |
33.75/33.89 c | 73379 | 7809 33418 101476 | 2147483647 73379 152 | 0.000 % |
33.96/34.02 c | 73555 | 7809 33418 101476 | 2147483647 73555 152 | 0.000 % |
34.06/34.15 c | 73748 | 7809 33418 101476 | 2147483647 73748 152 | 0.000 % |
34.25/34.32 c | 73960 | 7809 33418 101476 | 2147483647 73960 152 | 0.000 % |
34.35/34.48 c | 74193 | 7809 33418 101476 | 2147483647 74193 152 | 0.000 % |
34.56/34.65 c | 74449 | 7809 33418 101476 | 2147483647 74449 152 | 0.000 % |
34.76/34.86 c | 74730 | 7809 33418 101476 | 2147483647 74730 152 | 0.000 % |
34.96/35.07 c | 75039 | 7809 33418 101476 | 2147483647 75039 152 | 0.000 % |
35.26/35.34 c | 75378 | 7809 33418 101476 | 2147483647 75378 152 | 0.000 % |
35.46/35.58 c | 75750 | 7809 33418 101476 | 2147483647 75750 152 | 0.000 % |
35.76/35.86 c | 76159 | 7809 33418 101476 | 2147483647 76159 152 | 0.000 % |
36.06/36.16 c | 76608 | 7809 33418 101476 | 2147483647 76608 152 | 0.000 % |
36.45/36.51 c | 77101 | 7809 33418 101476 | 2147483647 77101 152 | 0.000 % |
36.75/36.86 c | 77643 | 7809 33418 101476 | 2147483647 77643 152 | 0.000 % |
37.15/37.28 c | 78239 | 7809 33418 101476 | 2147483647 78239 152 | 0.000 % |
37.65/37.75 c | 78895 | 7809 33418 101476 | 2147483647 78895 152 | 0.000 % |
38.15/38.23 c | 79615 | 7809 33418 101476 | 2147483647 79615 152 | 0.000 % |
38.65/38.78 c | 80409 | 7809 33418 101476 | 2147483647 80409 152 | 0.000 % |
39.26/39.38 c | 81280 | 7809 33418 101476 | 2147483647 81280 152 | 0.000 % |
39.96/40.05 c | 82240 | 7809 33418 101476 | 2147483647 82240 152 | 0.000 % |
40.05/40.13 c | 82340 | 7809 33418 101476 | 2147483647 82340 152 | 0.000 % |
40.15/40.22 c | 82450 | 7809 33418 101476 | 2147483647 82450 152 | 0.000 % |
40.25/40.32 c | 82572 | 7809 33418 101476 | 2147483647 82572 152 | 0.000 % |
40.35/40.44 c | 82705 | 7809 33418 101476 | 2147483647 82705 152 | 0.000 % |
40.45/40.58 c | 82851 | 7809 33418 101476 | 2147483647 82851 152 | 0.000 % |
40.66/40.70 c | 83011 | 7809 33418 101476 | 2147483647 83011 152 | 0.000 % |
40.75/40.85 c | 83190 | 7809 33418 101476 | 2147483647 83190 152 | 0.000 % |
40.85/40.99 c | 83386 | 7809 33418 101476 | 2147483647 83386 152 | 0.000 % |
41.05/41.16 c | 83601 | 7809 33418 101476 | 2147483647 83601 152 | 0.000 % |
41.25/41.34 c | 83835 | 7809 33418 101476 | 2147483647 83835 152 | 0.000 % |
41.45/41.53 c | 84094 | 7809 33418 101476 | 2147483647 84094 152 | 0.000 % |
41.65/41.76 c | 84375 | 7809 33418 101476 | 2147483647 84375 152 | 0.000 % |
41.86/41.99 c | 84687 | 7809 33418 101476 | 2147483647 84687 152 | 0.000 % |
42.16/42.24 c | 85026 | 7809 33418 101476 | 2147483647 85026 152 | 0.000 % |
42.46/42.54 c | 85398 | 7809 33418 101476 | 2147483647 85398 152 | 0.000 % |
42.76/42.83 c | 85809 | 7809 33418 101476 | 2147483647 85809 152 | 0.000 % |
43.05/43.16 c | 86258 | 7809 33418 101476 | 2147483647 86258 152 | 0.000 % |
43.45/43.53 c | 86755 | 7809 33418 101476 | 2147483647 86755 152 | 0.000 % |
43.75/43.89 c | 87297 | 7809 33418 101476 | 2147483647 87297 152 | 0.000 % |
44.25/44.36 c | 87893 | 7809 33418 101476 | 2147483647 87893 153 | 0.000 % |
44.75/44.82 c | 88549 | 7809 33418 101476 | 2147483647 88549 153 | 0.000 % |
45.25/45.35 c | 89270 | 7809 33418 101476 | 2147483647 89270 153 | 0.000 % |
45.75/45.89 c | 90062 | 7809 33418 101476 | 2147483647 90062 153 | 0.000 % |
46.45/46.52 c | 90933 | 7809 33418 101476 | 2147483647 90933 153 | 0.000 % |
47.15/47.23 c | 91891 | 7809 33418 101476 | 2147483647 91891 154 | 0.000 % |
47.95/48.03 c | 92944 | 7809 33418 101476 | 2147483647 92944 154 | 0.000 % |
48.05/48.11 c | 93045 | 7809 33418 101476 | 2147483647 93045 154 | 0.000 % |
48.15/48.22 c | 93155 | 7809 33418 101476 | 2147483647 93155 154 | 0.000 % |
48.25/48.33 c | 93276 | 7809 33418 101476 | 2147483647 93276 154 | 0.000 % |
48.36/48.45 c | 93409 | 7809 33418 101476 | 2147483647 93409 153 | 0.000 % |
48.45/48.59 c | 93558 | 7809 33418 101476 | 2147483647 93558 154 | 0.000 % |
48.65/48.75 c | 93718 | 7809 33418 101476 | 2147483647 93718 153 | 0.000 % |
48.85/48.90 c | 93894 | 7809 33418 101476 | 2147483647 93894 153 | 0.000 % |
48.95/49.09 c | 94091 | 7809 33418 101476 | 2147483647 94091 153 | 0.000 % |
49.15/49.30 c | 94305 | 7809 33418 101476 | 2147483647 94305 153 | 0.000 % |
49.35/49.47 c | 94538 | 7809 33418 101476 | 2147483647 94538 153 | 0.000 % |
49.55/49.69 c | 94795 | 7809 33418 101476 | 2147483647 94795 153 | 0.000 % |
49.84/49.92 c | 95077 | 7809 33418 101476 | 2147483647 95077 154 | 0.000 % |
50.04/50.18 c | 95387 | 7809 33418 101476 | 2147483647 95387 154 | 0.000 % |
50.34/50.48 c | 95727 | 7809 33418 101476 | 2147483647 95727 154 | 0.000 % |
50.64/50.78 c | 96100 | 7809 33418 101476 | 2147483647 96100 154 | 0.000 % |
51.04/51.10 c | 96511 | 7809 33418 101476 | 2147483647 96511 153 | 0.000 % |
51.35/51.48 c | 96961 | 7809 33418 101476 | 2147483647 96961 153 | 0.000 % |
51.75/51.86 c | 97455 | 7809 33418 101476 | 2147483647 97455 153 | 0.000 % |
52.15/52.28 c | 97997 | 7809 33418 101476 | 2147483647 97997 153 | 0.000 % |
52.65/52.74 c | 98593 | 7809 33418 101476 | 2147483647 98593 153 | 0.000 % |
53.24/53.33 c | 99248 | 7809 33418 101476 | 2147483647 99248 153 | 0.000 % |
53.84/53.92 c | 99968 | 7809 33418 101476 | 2147483647 99968 154 | 0.000 % |
54.44/54.51 c | 100761 | 7809 33418 101476 | 2147483647 100761 154 | 0.000 % |
55.15/55.20 c | 101632 | 7809 33418 101476 | 2147483647 101632 154 | 0.000 % |
55.85/55.98 c | 102590 | 7809 33418 101476 | 2147483647 102590 154 | 0.000 % |
56.84/56.90 c | 103645 | 7809 33418 101476 | 2147483647 103645 154 | 0.000 % |
57.75/57.85 c | 104804 | 7809 33418 101476 | 2147483647 104804 155 | 0.000 % |
57.85/57.95 c | 104906 | 7809 33418 101476 | 2147483647 104906 155 | 0.000 % |
57.95/58.07 c | 105017 | 7809 33418 101476 | 2147483647 105017 155 | 0.000 % |
58.05/58.20 c | 105141 | 7809 33418 101476 | 2147483647 105141 155 | 0.000 % |
58.25/58.31 c | 105274 | 7809 33418 101476 | 2147483647 105274 155 | 0.000 % |
58.34/58.44 c | 105422 | 7809 33418 101476 | 2147483647 105422 155 | 0.000 % |
58.54/58.60 c | 105585 | 7809 33418 101476 | 2147483647 105585 155 | 0.000 % |
58.64/58.78 c | 105761 | 7809 33418 101476 | 2147483647 105761 155 | 0.000 % |
58.84/58.95 c | 105955 | 7809 33418 101476 | 2147483647 105955 155 | 0.000 % |
59.04/59.16 c | 106168 | 7809 33418 101476 | 2147483647 106168 155 | 0.000 % |
59.25/59.36 c | 106402 | 7809 33418 101476 | 2147483647 106402 155 | 0.000 % |
59.44/59.59 c | 106661 | 7809 33418 101476 | 2147483647 106661 155 | 0.000 % |
59.74/59.85 c | 106942 | 7809 33418 101476 | 2147483647 106942 155 | 0.000 % |
60.04/60.13 c | 107251 | 7809 33418 101476 | 2147483647 107251 155 | 0.000 % |
60.34/60.46 c | 107590 | 7809 33418 101476 | 2147483647 107590 155 | 0.000 % |
60.74/60.83 c | 107967 | 7809 33418 101476 | 2147483647 107967 155 | 0.000 % |
61.04/61.17 c | 108378 | 7809 33418 101476 | 2147483647 108378 155 | 0.000 % |
61.44/61.57 c | 108827 | 7809 33418 101476 | 2147483647 108827 155 | 0.000 % |
61.93/62.00 c | 109320 | 7809 33418 101476 | 2147483647 109320 155 | 0.000 % |
62.33/62.48 c | 109864 | 7809 33418 101476 | 2147483647 109864 155 | 0.000 % |
62.83/62.97 c | 110462 | 7809 33418 101476 | 2147483647 110462 155 | 0.000 % |
63.44/63.55 c | 111118 | 7809 33418 101476 | 2147483647 111118 155 | 0.000 % |
64.04/64.16 c | 111839 | 7809 33418 101476 | 2147483647 111839 155 | 0.000 % |
64.74/64.84 c | 112631 | 7809 33418 101476 | 2147483647 112631 155 | 0.000 % |
65.44/65.58 c | 113502 | 7809 33418 101476 | 2147483647 113502 155 | 0.000 % |
66.33/66.46 c | 114461 | 7809 33418 101476 | 2147483647 114461 155 | 0.000 % |
67.23/67.40 c | 115514 | 7809 33418 101476 | 2147483647 115514 155 | 0.000 % |
68.34/68.50 c | 116672 | 7809 33418 101476 | 2147483647 116672 155 | 0.000 % |
69.53/69.64 c | 117945 | 7809 33418 101476 | 2147483647 117945 155 | 0.000 % |
69.63/69.74 c | 118045 | 7809 33418 101476 | 2147483647 118045 155 | 0.000 % |
69.73/69.87 c | 118155 | 7809 33418 101476 | 2147483647 118155 155 | 0.000 % |
69.93/70.01 c | 118277 | 7809 33418 101476 | 2147483647 118277 155 | 0.000 % |
70.03/70.15 c | 118414 | 7809 33418 101476 | 2147483647 118414 155 | 0.000 % |
70.13/70.30 c | 118560 | 7809 33418 101476 | 2147483647 118560 155 | 0.000 % |
70.34/70.47 c | 118720 | 7809 33418 101476 | 2147483647 118720 155 | 0.000 % |
70.53/70.66 c | 118897 | 7809 33418 101476 | 2147483647 118897 155 | 0.000 % |
70.73/70.86 c | 119090 | 7809 33418 101476 | 2147483647 119090 155 | 0.000 % |
70.93/71.10 c | 119302 | 7809 33418 101476 | 2147483647 119302 155 | 0.000 % |
71.23/71.33 c | 119536 | 7809 33418 101476 | 2147483647 119536 155 | 0.000 % |
71.43/71.57 c | 119793 | 7809 33418 101476 | 2147483647 119793 155 | 0.000 % |
71.73/71.85 c | 120074 | 7809 33418 101476 | 2147483647 120074 155 | 0.000 % |
72.03/72.17 c | 120383 | 7809 33418 101476 | 2147483647 120383 155 | 0.000 % |
72.44/72.53 c | 120724 | 7809 33418 101476 | 2147483647 120724 155 | 0.000 % |
72.84/72.91 c | 121097 | 7809 33418 101476 | 2147483647 121097 155 | 0.000 % |
73.24/73.34 c | 121508 | 7809 33418 101476 | 2147483647 121508 155 | 0.000 % |
73.64/73.78 c | 121957 | 7809 33418 101476 | 2147483647 121957 155 | 0.000 % |
74.13/74.26 c | 122450 | 7809 33418 101476 | 2147483647 122450 155 | 0.000 % |
74.64/74.73 c | 122997 | 7809 33418 101476 | 2147483647 122997 155 | 0.000 % |
75.23/75.30 c | 123594 | 7809 33418 101476 | 2147483647 123594 155 | 0.000 % |
75.73/75.89 c | 124250 | 7809 33418 101476 | 2147483647 124250 155 | 0.000 % |
76.43/76.59 c | 124971 | 7809 33418 101476 | 2147483647 124971 155 | 0.000 % |
77.23/77.33 c | 125765 | 7809 33418 101476 | 2147483647 125765 155 | 0.000 % |
78.04/78.16 c | 126636 | 7809 33418 101476 | 2147483647 126636 155 | 0.000 % |
78.93/79.00 c | 127595 | 7809 33418 101476 | 2147483647 127595 155 | 0.000 % |
79.93/80.02 c | 128650 | 7809 33418 101476 | 2147483647 128650 155 | 0.000 % |
81.03/81.14 c | 129808 | 7809 33418 101476 | 2147483647 129808 155 | 0.000 % |
82.22/82.33 c | 131081 | 7809 33418 101476 | 2147483647 131081 156 | 0.000 % |
83.63/83.73 c | 132484 | 7809 33418 101476 | 2147483647 132484 156 | 0.000 % |
83.73/83.83 c | 132585 | 7809 33418 101476 | 2147483647 132585 156 | 0.000 % |
83.83/83.98 c | 132695 | 7809 33418 101476 | 2147483647 132695 156 | 0.000 % |
84.03/84.12 c | 132818 | 7809 33418 101476 | 2147483647 132818 156 | 0.000 % |
84.13/84.25 c | 132952 | 7809 33418 101476 | 2147483647 132952 156 | 0.000 % |
84.33/84.41 c | 133098 | 7809 33418 101476 | 2147483647 133098 156 | 0.000 % |
84.53/84.60 c | 133259 | 7809 33418 101476 | 2147483647 133259 156 | 0.000 % |
84.72/84.80 c | 133436 | 7809 33418 101476 | 2147483647 133436 156 | 0.000 % |
84.92/85.01 c | 133630 | 7809 33418 101476 | 2147483647 133630 156 | 0.000 % |
85.12/85.23 c | 133843 | 7809 33418 101476 | 2147483647 133843 156 | 0.000 % |
85.32/85.48 c | 134076 | 7809 33418 101476 | 2147483647 134076 156 | 0.000 % |
85.63/85.76 c | 134332 | 7809 33418 101476 | 2147483647 134332 156 | 0.000 % |
85.92/86.06 c | 134614 | 7809 33418 101476 | 2147483647 134614 156 | 0.000 % |
86.33/86.42 c | 134923 | 7809 33418 101476 | 2147483647 134923 156 | 0.000 % |
86.63/86.79 c | 135265 | 7809 33418 101476 | 2147483647 135265 155 | 0.000 % |
87.03/87.18 c | 135638 | 7809 33418 101476 | 2147483647 135638 155 | 0.000 % |
87.52/87.60 c | 136048 | 7809 33418 101476 | 2147483647 136048 155 | 0.000 % |
87.93/88.06 c | 136498 | 7809 33418 101476 | 2147483647 136498 155 | 0.000 % |
88.42/88.57 c | 136993 | 7809 33418 101476 | 2147483647 136993 155 | 0.000 % |
89.02/89.11 c | 137535 | 7809 33418 101476 | 2147483647 137535 156 | 0.000 % |
89.62/89.75 c | 138133 | 7809 33418 101476 | 2147483647 138133 156 | 0.000 % |
90.33/90.43 c | 138788 | 7809 33418 101476 | 2147483647 138788 156 | 0.000 % |
91.03/91.16 c | 139511 | 7809 33418 101476 | 2147483647 139511 156 | 0.000 % |
91.83/91.97 c | 140303 | 7809 33418 101476 | 2147483647 140303 156 | 0.000 % |
92.72/92.82 c | 141178 | 7809 33418 101476 | 2147483647 141178 156 | 0.000 % |
93.72/93.82 c | 142139 | 7809 33418 101476 | 2147483647 142139 156 | 0.000 % |
94.71/94.87 c | 143192 | 7809 33418 101476 | 2147483647 143192 157 | 0.000 % |
95.92/96.07 c | 144351 | 7809 33418 101476 | 2147483647 144351 157 | 0.000 % |
97.22/97.38 c | 145624 | 7809 33418 101476 | 2147483647 145624 157 | 0.000 % |
98.61/98.78 c | 147025 | 7809 33418 101476 | 2147483647 147025 157 | 0.000 % |
100.21/100.37 c | 148568 | 7809 33418 101476 | 2147483647 148568 158 | 0.000 % |
100.41/100.51 c | 148669 | 7809 33418 101476 | 2147483647 148669 158 | 0.000 % |
100.51/100.64 c | 148780 | 7809 33418 101476 | 2147483647 148780 158 | 0.000 % |
100.72/100.80 c | 148902 | 7809 33418 101476 | 2147483647 148902 158 | 0.000 % |
100.82/100.97 c | 149035 | 7809 33418 101476 | 2147483647 149035 158 | 0.000 % |
101.02/101.16 c | 149182 | 7809 33418 101476 | 2147483647 149182 157 | 0.000 % |
101.22/101.36 c | 149343 | 7809 33418 101476 | 2147483647 149343 157 | 0.000 % |
101.42/101.59 c | 149520 | 7809 33418 101476 | 2147483647 149520 157 | 0.000 % |
101.72/101.82 c | 149713 | 7809 33418 101476 | 2147483647 149713 157 | 0.000 % |
101.91/102.09 c | 149927 | 7809 33418 101476 | 2147483647 149927 157 | 0.000 % |
102.22/102.37 c | 150161 | 7809 33418 101476 | 2147483647 150161 157 | 0.000 % |
102.51/102.69 c | 150418 | 7809 33418 101476 | 2147483647 150418 157 | 0.000 % |
102.91/103.04 c | 150702 | 7809 33418 101476 | 2147483647 150702 157 | 0.000 % |
103.21/103.37 c | 151011 | 7809 33418 101476 | 2147483647 151011 157 | 0.000 % |
103.61/103.79 c | 151351 | 7809 33418 101476 | 2147483647 151351 157 | 0.000 % |
104.11/104.22 c | 151724 | 7809 33418 101476 | 2147483647 151724 157 | 0.000 % |
104.51/104.68 c | 152133 | 7809 33418 101476 | 2147483647 152133 157 | 0.000 % |
105.01/105.16 c | 152582 | 7809 33418 101476 | 2147483647 152582 157 | 0.000 % |
105.61/105.74 c | 153075 | 7809 33418 101476 | 2147483647 153075 157 | 0.000 % |
106.21/106.36 c | 153617 | 7809 33418 101476 | 2147483647 153617 157 | 0.000 % |
106.91/107.01 c | 154219 | 7809 33418 101476 | 2147483647 154219 157 | 0.000 % |
107.61/107.73 c | 154876 | 7809 33418 101476 | 2147483647 154876 158 | 0.000 % |
108.30/108.49 c | 155596 | 7809 33418 101476 | 2147483647 155596 158 | 0.000 % |
109.20/109.37 c | 156390 | 7809 33418 101476 | 2147483647 156390 158 | 0.000 % |
110.31/110.45 c | 157264 | 7809 33418 101476 | 2147483647 157264 158 | 0.000 % |
111.31/111.48 c | 158223 | 7809 33418 101476 | 2147483647 158223 158 | 0.000 % |
112.50/112.65 c | 159277 | 7809 33418 101476 | 2147483647 159277 158 | 0.000 % |
113.90/114.01 c | 160436 | 7809 33418 101476 | 2147483647 160436 158 | 0.000 % |
115.21/115.36 c | 161709 | 7809 33418 101476 | 2147483647 161709 159 | 0.000 % |
116.81/116.93 c | 163111 | 7809 33418 101476 | 2147483647 163111 159 | 0.000 % |
118.50/118.62 c | 164654 | 7809 33418 101476 | 2147483647 164654 159 | 0.000 % |
120.41/120.52 c | 166351 | 7809 33418 101476 | 2147483647 166351 160 | 0.000 % |
120.51/120.65 c | 166452 | 7809 33418 101476 | 2147483647 166452 160 | 0.000 % |
120.71/120.82 c | 166562 | 7809 33418 101476 | 2147483647 166562 160 | 0.000 % |
120.91/121.03 c | 166683 | 7809 33418 101476 | 2147483647 166683 160 | 0.000 % |
121.11/121.21 c | 166818 | 7809 33418 101476 | 2147483647 166818 160 | 0.000 % |
121.31/121.42 c | 166964 | 7809 33418 101476 | 2147483647 166964 160 | 0.000 % |
121.51/121.65 c | 167125 | 7809 33418 101476 | 2147483647 167125 160 | 0.000 % |
121.71/121.86 c | 167301 | 7809 33418 101476 | 2147483647 167301 160 | 0.000 % |
121.91/122.09 c | 167494 | 7809 33418 101476 | 2147483647 167494 160 | 0.000 % |
122.21/122.36 c | 167706 | 7809 33418 101476 | 2147483647 167706 160 | 0.000 % |
122.51/122.66 c | 167939 | 7809 33418 101476 | 2147483647 167939 160 | 0.000 % |
122.90/123.00 c | 168195 | 7809 33418 101476 | 2147483647 168195 160 | 0.000 % |
123.20/123.32 c | 168476 | 7809 33418 101476 | 2147483647 168476 160 | 0.000 % |
123.60/123.74 c | 168787 | 7809 33418 101476 | 2147483647 168787 160 | 0.000 % |
124.00/124.17 c | 169127 | 7809 33418 101476 | 2147483647 169127 160 | 0.000 % |
124.40/124.59 c | 169500 | 7809 33418 101476 | 2147483647 169500 160 | 0.000 % |
125.00/125.16 c | 169911 | 7809 33418 101476 | 2147483647 169911 160 | 0.000 % |
125.60/125.73 c | 170362 | 7809 33418 101476 | 2147483647 170362 160 | 0.000 % |
126.20/126.36 c | 170856 | 7809 33418 101476 | 2147483647 170856 160 | 0.000 % |
126.90/127.03 c | 171399 | 7809 33418 101476 | 2147483647 171399 160 | 0.000 % |
127.60/127.76 c | 171995 | 7809 33418 101476 | 2147483647 171995 160 | 0.000 % |
128.39/128.53 c | 172650 | 7809 33418 101476 | 2147483647 172650 160 | 0.000 % |
129.29/129.41 c | 173371 | 7809 33418 101476 | 2147483647 173371 160 | 0.000 % |
130.20/130.30 c | 174164 | 7809 33418 101476 | 2147483647 174164 160 | 0.000 % |
131.20/131.39 c | 175037 | 7809 33418 101476 | 2147483647 175037 160 | 0.000 % |
132.49/132.61 c | 175996 | 7809 33418 101476 | 2147483647 175996 160 | 0.000 % |
133.69/133.84 c | 177051 | 7809 33418 101476 | 2147483647 177051 160 | 0.000 % |
135.08/135.22 c | 178210 | 7809 33418 101476 | 2147483647 178210 160 | 0.000 % |
136.59/136.71 c | 179484 | 7809 33418 101476 | 2147483647 179484 160 | 0.000 % |
138.28/138.46 c | 180885 | 7809 33418 101476 | 2147483647 180885 160 | 0.000 % |
140.07/140.24 c | 182425 | 7809 33418 101476 | 2147483647 182425 160 | 0.000 % |
142.17/142.33 c | 184119 | 7809 33418 101476 | 2147483647 184119 161 | 0.000 % |
144.26/144.46 c | 185983 | 7809 33418 101476 | 2147483647 185983 161 | 0.000 % |
144.36/144.59 c | 186083 | 7809 33418 101476 | 2147483647 186083 161 | 0.000 % |
144.56/144.77 c | 186198 | 7809 33418 101476 | 2147483647 186198 161 | 0.000 % |
144.76/144.93 c | 186321 | 7809 33418 101476 | 2147483647 186321 161 | 0.000 % |
144.97/145.15 c | 186456 | 7809 33418 101476 | 2147483647 186456 161 | 0.000 % |
145.16/145.39 c | 186602 | 7809 33418 101476 | 2147483647 186602 161 | 0.000 % |
145.46/145.60 c | 186767 | 7809 33418 101476 | 2147483647 186767 161 | 0.000 % |
145.66/145.84 c | 186943 | 7809 33418 101476 | 2147483647 186943 161 | 0.000 % |
145.97/146.11 c | 187136 | 7809 33418 101476 | 2147483647 187136 161 | 0.000 % |
146.27/146.44 c | 187351 | 7809 33418 101476 | 2147483647 187351 161 | 0.000 % |
146.57/146.78 c | 187584 | 7809 33418 101476 | 2147483647 187584 161 | 0.000 % |
146.97/147.14 c | 187840 | 7809 33418 101476 | 2147483647 187840 161 | 0.000 % |
147.37/147.59 c | 188121 | 7809 33418 101476 | 2147483647 188121 161 | 0.000 % |
147.86/148.01 c | 188431 | 7809 33418 101476 | 2147483647 188431 161 | 0.000 % |
148.27/148.48 c | 188770 | 7809 33418 101476 | 2147483647 188770 161 | 0.000 % |
148.76/148.92 c | 189142 | 7809 33418 101476 | 2147483647 189142 161 | 0.000 % |
149.27/149.47 c | 189551 | 7809 33418 101476 | 2147483647 189551 161 | 0.000 % |
149.96/150.12 c | 190001 | 7809 33418 101476 | 2147483647 190001 161 | 0.000 % |
150.66/150.80 c | 190494 | 7809 33418 101476 | 2147483647 190494 161 | 0.000 % |
151.36/151.54 c | 191037 | 7809 33418 101476 | 2147483647 191037 160 | 0.000 % |
152.16/152.39 c | 191635 | 7809 33418 101476 | 2147483647 191635 161 | 0.000 % |
153.06/153.22 c | 192294 | 7809 33418 101476 | 2147483647 192294 161 | 0.000 % |
153.96/154.19 c | 193014 | 7809 33418 101476 | 2147483647 193014 161 | 0.000 % |
155.16/155.31 c | 193808 | 7809 33418 101476 | 2147483647 193808 161 | 0.000 % |
156.16/156.39 c | 194679 | 7809 33418 101476 | 2147483647 194679 161 | 0.000 % |
157.36/157.52 c | 195637 | 7809 33418 101476 | 2147483647 195637 161 | 0.000 % |
158.76/158.91 c | 196691 | 7809 33418 101476 | 2147483647 196691 161 | 0.000 % |
160.15/160.37 c | 197850 | 7809 33418 101476 | 2147483647 197850 161 | 0.000 % |
161.75/161.97 c | 199127 | 7809 33418 101476 | 2147483647 199127 161 | 0.000 % |
163.46/163.64 c | 200527 | 7809 33418 101476 | 2147483647 200527 162 | 0.000 % |
165.45/165.66 c | 202069 | 7809 33418 101476 | 2147483647 202069 162 | 0.000 % |
167.75/167.99 c | 203764 | 7809 33418 101476 | 2147483647 203764 162 | 0.000 % |
170.26/170.47 c | 205628 | 7809 33418 101476 | 2147483647 205628 162 | 0.000 % |
173.15/173.32 c | 207679 | 7809 33418 101476 | 2147483647 207679 162 | 0.000 % |
173.25/173.47 c | 207779 | 7809 33418 101476 | 2147483647 207779 162 | 0.000 % |
173.45/173.66 c | 207895 | 7809 33418 101476 | 2147483647 207895 162 | 0.000 % |
173.66/173.84 c | 208016 | 7809 33418 101476 | 2147483647 208016 162 | 0.000 % |
173.85/174.07 c | 208150 | 7809 33418 101476 | 2147483647 208150 162 | 0.000 % |
174.15/174.35 c | 208297 | 7809 33418 101476 | 2147483647 208297 162 | 0.000 % |
174.45/174.60 c | 208458 | 7809 33418 101476 | 2147483647 208458 162 | 0.000 % |
174.66/174.89 c | 208638 | 7809 33418 101476 | 2147483647 208638 162 | 0.000 % |
174.95/175.16 c | 208831 | 7809 33418 101476 | 2147483647 208831 162 | 0.000 % |
175.35/175.50 c | 209043 | 7809 33418 101476 | 2147483647 209043 162 | 0.000 % |
175.65/175.90 c | 209277 | 7809 33418 101476 | 2147483647 209277 162 | 0.000 % |
176.15/176.32 c | 209535 | 7809 33418 101476 | 2147483647 209535 162 | 0.000 % |
176.65/176.81 c | 209816 | 7809 33418 101476 | 2147483647 209816 162 | 0.000 % |
177.15/177.32 c | 210126 | 7809 33418 101476 | 2147483647 210126 162 | 0.000 % |
177.65/177.84 c | 210466 | 7809 33418 101476 | 2147483647 210466 162 | 0.000 % |
178.15/178.39 c | 210839 | 7809 33418 101476 | 2147483647 210839 162 | 0.000 % |
178.75/178.97 c | 211248 | 7809 33418 101476 | 2147483647 211248 162 | 0.000 % |
179.35/179.57 c | 211698 | 7809 33418 101476 | 2147483647 211698 162 | 0.000 % |
180.05/180.25 c | 212195 | 7809 33418 101476 | 2147483647 212195 162 | 0.000 % |
180.75/180.99 c | 212740 | 7809 33418 101476 | 2147483647 212740 162 | 0.000 % |
181.55/181.76 c | 213336 | 7809 33418 101476 | 2147483647 213336 162 | 0.000 % |
182.45/182.68 c | 213993 | 7809 33418 101476 | 2147483647 213993 162 | 0.000 % |
183.45/183.60 c | 214714 | 7809 33418 101476 | 2147483647 214714 162 | 0.000 % |
184.54/184.73 c | 215507 | 7809 33418 101476 | 2147483647 215507 162 | 0.000 % |
185.84/186.03 c | 216378 | 7809 33418 101476 | 2147483647 216378 162 | 0.000 % |
187.24/187.44 c | 217337 | 7809 33418 101476 | 2147483647 217337 162 | 0.000 % |
188.73/188.97 c | 218390 | 7809 33418 101476 | 2147483647 218390 162 | 0.000 % |
190.42/190.62 c | 219550 | 7809 33418 101476 | 2147483647 219550 162 | 0.000 % |
192.23/192.49 c | 220823 | 7809 33418 101476 | 2147483647 220823 162 | 0.000 % |
194.22/194.44 c | 222223 | 7809 33418 101476 | 2147483647 222223 162 | 0.000 % |
196.32/196.51 c | 223763 | 7809 33418 101476 | 2147483647 223763 162 | 0.000 % |
198.62/198.84 c | 225458 | 7809 33418 101476 | 2147483647 225458 163 | 0.000 % |
201.22/201.50 c | 227321 | 7809 33418 101476 | 2147483647 227321 163 | 0.000 % |
204.32/204.55 c | 229372 | 7809 33418 101476 | 2147483647 229372 163 | 0.000 % |
207.52/207.74 c | 231625 | 7809 33418 101476 | 2147483647 231625 163 | 0.000 % |
207.72/207.92 c | 231725 | 7809 33418 101476 | 2147483647 231725 163 | 0.000 % |
207.92/208.15 c | 231835 | 7809 33418 101476 | 2147483647 231835 163 | 0.000 % |
208.12/208.39 c | 231957 | 7809 33418 101476 | 2147483647 231957 163 | 0.000 % |
208.42/208.63 c | 232090 | 7809 33418 101476 | 2147483647 232090 163 | 0.000 % |
208.72/208.92 c | 232236 | 7809 33418 101476 | 2147483647 232236 163 | 0.000 % |
209.02/209.23 c | 232396 | 7809 33418 101476 | 2147483647 232396 163 | 0.000 % |
209.32/209.56 c | 232574 | 7809 33418 101476 | 2147483647 232574 163 | 0.000 % |
209.72/209.94 c | 232768 | 7809 33418 101476 | 2147483647 232768 163 | 0.000 % |
210.02/210.30 c | 232980 | 7809 33418 101476 | 2147483647 232980 163 | 0.000 % |
210.42/210.68 c | 233215 | 7809 33418 101476 | 2147483647 233215 163 | 0.000 % |
210.82/211.09 c | 233471 | 7809 33418 101476 | 2147483647 233471 163 | 0.000 % |
211.31/211.57 c | 233754 | 7809 33418 101476 | 2147483647 233754 163 | 0.000 % |
211.81/212.07 c | 234064 | 7809 33418 101476 | 2147483647 234064 163 | 0.000 % |
212.51/212.70 c | 234405 | 7809 33418 101476 | 2147483647 234405 163 | 0.000 % |
213.12/213.32 c | 234777 | 7809 33418 101476 | 2147483647 234777 163 | 0.000 % |
213.71/213.98 c | 235187 | 7809 33418 101476 | 2147483647 235187 163 | 0.000 % |
214.41/214.66 c | 235636 | 7809 33418 101476 | 2147483647 235636 163 | 0.000 % |
215.22/215.41 c | 236132 | 7809 33418 101476 | 2147483647 236132 163 | 0.000 % |
216.02/216.24 c | 236678 | 7809 33418 101476 | 2147483647 236678 163 | 0.000 % |
216.91/217.17 c | 237276 | 7809 33418 101476 | 2147483647 237276 163 | 0.000 % |
217.91/218.19 c | 237931 | 7809 33418 101476 | 2147483647 237931 163 | 0.000 % |
219.01/219.25 c | 238651 | 7809 33418 101476 | 2147483647 238651 163 | 0.000 % |
220.21/220.46 c | 239444 | 7809 33418 101476 | 2147483647 239444 163 | 0.000 % |
221.51/221.70 c | 240315 | 7809 33418 101476 | 2147483647 240315 163 | 0.000 % |
222.91/223.12 c | 241274 | 7809 33418 101476 | 2147483647 241274 163 | 0.000 % |
224.51/224.73 c | 242327 | 7809 33418 101476 | 2147483647 242327 163 | 0.000 % |
226.11/226.32 c | 243485 | 7809 33418 101476 | 2147483647 243485 164 | 0.000 % |
227.81/228.00 c | 244760 | 7809 33418 101476 | 2147483647 244760 164 | 0.000 % |
229.80/230.05 c | 246161 | 7809 33418 101476 | 2147483647 246161 164 | 0.000 % |
232.19/232.46 c | 247701 | 7809 33418 101476 | 2147483647 247701 164 | 0.000 % |
234.80/235.04 c | 249396 | 7809 33418 101476 | 2147483647 249396 164 | 0.000 % |
237.69/237.93 c | 251259 | 7809 33418 101476 | 2147483647 251259 165 | 0.000 % |
240.60/240.85 c | 253309 | 7809 33418 101476 | 2147483647 253309 165 | 0.000 % |
244.00/244.25 c | 255562 | 7809 33418 101476 | 2147483647 255562 165 | 0.000 % |
247.79/248.03 c | 258042 | 7809 33418 101476 | 2147483647 258042 165 | 0.000 % |
247.99/248.25 c | 258142 | 7809 33418 101476 | 2147483647 258142 165 | 0.000 % |
248.19/248.45 c | 258252 | 7809 33418 101476 | 2147483647 258252 165 | 0.000 % |
248.49/248.71 c | 258374 | 7809 33418 101476 | 2147483647 258374 165 | 0.000 % |
248.79/249.00 c | 258507 | 7809 33418 101476 | 2147483647 258507 165 | 0.000 % |
249.09/249.32 c | 258653 | 7809 33418 101476 | 2147483647 258653 165 | 0.000 % |
249.39/249.61 c | 258813 | 7809 33418 101476 | 2147483647 258813 165 | 0.000 % |
249.69/249.95 c | 258989 | 7809 33418 101476 | 2147483647 258989 165 | 0.000 % |
250.00/250.30 c | 259182 | 7809 33418 101476 | 2147483647 259182 165 | 0.000 % |
250.39/250.69 c | 259395 | 7809 33418 101476 | 2147483647 259395 165 | 0.000 % |
250.89/251.15 c | 259628 | 7809 33418 101476 | 2147483647 259628 165 | 0.000 % |
251.39/251.63 c | 259884 | 7809 33418 101476 | 2147483647 259884 165 | 0.000 % |
251.89/252.13 c | 260168 | 7809 33418 101476 | 2147483647 260168 165 | 0.000 % |
252.49/252.71 c | 260477 | 7809 33418 101476 | 2147483647 260477 165 | 0.000 % |
252.99/253.29 c | 260817 | 7809 33418 101476 | 2147483647 260817 165 | 0.000 % |
253.69/253.93 c | 261189 | 7809 33418 101476 | 2147483647 261189 165 | 0.000 % |
254.39/254.64 c | 261599 | 7809 33418 101476 | 2147483647 261599 165 | 0.000 % |
255.29/255.51 c | 262049 | 7809 33418 101476 | 2147483647 262049 165 | 0.000 % |
256.19/256.44 c | 262543 | 7809 33418 101476 | 2147483647 262543 165 | 0.000 % |
257.19/257.46 c | 263086 | 7809 33418 101476 | 2147483647 263086 165 | 0.000 % |
258.29/258.58 c | 263683 | 7809 33418 101476 | 2147483647 263683 165 | 0.000 % |
259.39/259.63 c | 264338 | 7809 33418 101476 | 2147483647 264338 165 | 0.000 % |
260.58/260.82 c | 265058 | 7809 33418 101476 | 2147483647 265058 165 | 0.000 % |
261.99/262.25 c | 265850 | 7809 33418 101476 | 2147483647 265850 165 | 0.000 % |
263.49/263.71 c | 266723 | 7809 33418 101476 | 2147483647 266723 165 | 0.000 % |
265.08/265.33 c | 267681 | 7809 33418 101476 | 2147483647 267681 165 | 0.000 % |
266.88/267.15 c | 268734 | 7809 33418 101476 | 2147483647 268734 165 | 0.000 % |
268.89/269.10 c | 269893 | 7809 33418 101476 | 2147483647 269893 165 | 0.000 % |
271.08/271.31 c | 271170 | 7809 33418 101476 | 2147483647 271170 165 | 0.000 % |
273.28/273.58 c | 272570 | 7809 33418 101476 | 2147483647 272570 165 | 0.000 % |
275.98/276.27 c | 274110 | 7809 33418 101476 | 2147483647 274110 165 | 0.000 % |
278.67/278.99 c | 275806 | 7809 33418 101476 | 2147483647 275806 165 | 0.000 % |
281.88/282.18 c | 277670 | 7809 33418 101476 | 2147483647 277670 166 | 0.000 % |
285.37/285.61 c | 279719 | 7809 33418 101476 | 2147483647 279719 166 | 0.000 % |
289.18/289.47 c | 281973 | 7809 33418 101476 | 2147483647 281973 166 | 0.000 % |
293.37/293.66 c | 284451 | 7809 33418 101476 | 2147483647 284451 167 | 0.000 % |
297.67/297.93 c | 287177 | 7809 33418 101476 | 2147483647 287177 167 | 0.000 % |
297.87/298.18 c | 287277 | 7809 33418 101476 | 2147483647 287277 167 | 0.000 % |
298.17/298.42 c | 287387 | 7809 33418 101476 | 2147483647 287387 167 | 0.000 % |
298.47/298.71 c | 287508 | 7809 33418 101476 | 2147483647 287508 167 | 0.000 % |
298.77/299.08 c | 287641 | 7809 33418 101476 | 2147483647 287641 167 | 0.000 % |
299.16/299.41 c | 287788 | 7809 33418 101476 | 2147483647 287788 167 | 0.000 % |
299.46/299.71 c | 287948 | 7809 33418 101476 | 2147483647 287948 167 | 0.000 % |
299.86/300.12 c | 288125 | 7809 33418 101476 | 2147483647 288125 167 | 0.000 % |
300.27/300.56 c | 288319 | 7809 33418 101476 | 2147483647 288319 167 | 0.000 % |
300.77/301.03 c | 288531 | 7809 33418 101476 | 2147483647 288531 167 | 0.000 % |
301.27/301.55 c | 288764 | 7809 33418 101476 | 2147483647 288764 167 | 0.000 % |
301.77/302.05 c | 289020 | 7809 33418 101476 | 2147483647 289020 167 | 0.000 % |
302.47/302.70 c | 289302 | 7809 33418 101476 | 2147483647 289302 167 | 0.000 % |
302.97/303.29 c | 289611 | 7809 33418 101476 | 2147483647 289611 167 | 0.000 % |
303.67/304.00 c | 289950 | 7809 33418 101476 | 2147483647 289950 167 | 0.000 % |
304.47/304.75 c | 290322 | 7809 33418 101476 | 2147483647 290322 167 | 0.000 % |
305.27/305.55 c | 290733 | 7809 33418 101476 | 2147483647 290733 167 | 0.000 % |
306.16/306.40 c | 291185 | 7809 33418 101476 | 2147483647 291185 166 | 0.000 % |
306.97/307.27 c | 291680 | 7809 33418 101476 | 2147483647 291680 166 | 0.000 % |
307.97/308.28 c | 292226 | 7809 33418 101476 | 2147483647 292226 166 | 0.000 % |
309.07/309.33 c | 292825 | 7809 33418 101476 | 2147483647 292825 167 | 0.000 % |
310.26/310.53 c | 293482 | 7809 33418 101476 | 2147483647 293482 166 | 0.000 % |
311.56/311.84 c | 294204 | 7809 33418 101476 | 2147483647 294204 167 | 0.000 % |
312.86/313.16 c | 294997 | 7809 33418 101476 | 2147483647 294997 167 | 0.000 % |
314.46/314.71 c | 295869 | 7809 33418 101476 | 2147483647 295869 167 | 0.000 % |
316.16/316.42 c | 296827 | 7809 33418 101476 | 2147483647 296827 167 | 0.000 % |
318.16/318.42 c | 297880 | 7809 33418 101476 | 2147483647 297880 167 | 0.000 % |
320.25/320.58 c | 299040 | 7809 33418 101476 | 2147483647 299040 167 | 0.000 % |
322.66/322.93 c | 300314 | 7809 33418 101476 | 2147483647 300314 167 | 0.000 % |
325.26/325.59 c | 301717 | 7809 33418 101476 | 2147483647 301717 167 | 0.000 % |
328.35/328.60 c | 303259 | 7809 33418 101476 | 2147483647 303259 167 | 0.000 % |
331.24/331.52 c | 304957 | 7809 33418 101476 | 2147483647 304957 167 | 0.000 % |
334.75/335.00 c | 306820 | 7809 33418 101476 | 2147483647 306820 167 | 0.000 % |
338.45/338.74 c | 308870 | 7809 33418 101476 | 2147483647 308870 167 | 0.000 % |
342.34/342.61 c | 311124 | 7809 33418 101476 | 2147483647 311124 167 | 0.000 % |
346.74/347.02 c | 313603 | 7809 33418 101476 | 2147483647 313603 167 | 0.000 % |
351.54/351.84 c | 316328 | 7809 33418 101476 | 2147483647 316328 168 | 0.000 % |
356.84/357.20 c | 319327 | 7809 33418 101476 | 2147483647 319327 168 | 0.000 % |
357.14/357.43 c | 319428 | 7809 33418 101476 | 2147483647 319428 168 | 0.000 % |
357.34/357.68 c | 319539 | 7809 33418 101476 | 2147483647 319539 168 | 0.000 % |
357.74/358.00 c | 319661 | 7809 33418 101476 | 2147483647 319661 168 | 0.000 % |
358.03/358.36 c | 319795 | 7809 33418 101476 | 2147483647 319795 168 | 0.000 % |
358.43/358.70 c | 319941 | 7809 33418 101476 | 2147483647 319941 168 | 0.000 % |
358.73/359.09 c | 320102 | 7809 33418 101476 | 2147483647 320102 168 | 0.000 % |
359.13/359.48 c | 320278 | 7809 33418 101476 | 2147483647 320278 168 | 0.000 % |
359.53/359.87 c | 320471 | 7809 33418 101476 | 2147483647 320471 168 | 0.000 % |
360.03/360.40 c | 320684 | 7809 33418 101476 | 2147483647 320684 168 | 0.000 % |
360.73/361.01 c | 320918 | 7809 33418 101476 | 2147483647 320918 168 | 0.000 % |
361.24/361.54 c | 321174 | 7809 33418 101476 | 2147483647 321174 168 | 0.000 % |
361.84/362.14 c | 321456 | 7809 33418 101476 | 2147483647 321456 168 | 0.000 % |
362.44/362.74 c | 321767 | 7809 33418 101476 | 2147483647 321767 168 | 0.000 % |
363.14/363.47 c | 322106 | 7809 33418 101476 | 2147483647 322106 168 | 0.000 % |
363.93/364.25 c | 322478 | 7809 33418 101476 | 2147483647 322478 168 | 0.000 % |
364.73/365.08 c | 322888 | 7809 33418 101476 | 2147483647 322888 168 | 0.000 % |
365.63/365.97 c | 323337 | 7809 33418 101476 | 2147483647 323337 168 | 0.000 % |
366.62/366.90 c | 323830 | 7809 33418 101476 | 2147483647 323830 168 | 0.000 % |
367.72/368.06 c | 324372 | 7809 33418 101476 | 2147483647 324372 168 | 0.000 % |
369.02/369.32 c | 324969 | 7809 33418 101476 | 2147483647 324969 168 | 0.000 % |
370.33/370.63 c | 325624 | 7809 33418 101476 | 2147483647 325624 168 | 0.000 % |
371.82/372.11 c | 326345 | 7809 33418 101476 | 2147483647 326345 168 | 0.000 % |
373.32/373.68 c | 327137 | 7809 33418 101476 | 2147483647 327137 168 | 0.000 % |
375.12/375.40 c | 328009 | 7809 33418 101476 | 2147483647 328009 168 | 0.000 % |
377.02/377.36 c | 328967 | 7809 33418 101476 | 2147483647 328967 168 | 0.000 % |
379.12/379.48 c | 330020 | 7809 33418 101476 | 2147483647 330020 168 | 0.000 % |
381.52/381.89 c | 331180 | 7809 33418 101476 | 2147483647 331180 168 | 0.000 % |
384.01/384.35 c | 332455 | 7809 33418 101476 | 2147483647 332455 168 | 0.000 % |
386.72/387.02 c | 333855 | 7809 33418 101476 | 2147483647 333855 168 | 0.000 % |
389.62/389.93 c | 335398 | 7809 33418 101476 | 2147483647 335398 168 | 0.000 % |
392.91/393.22 c | 337092 | 7809 33418 101476 | 2147483647 337092 168 | 0.000 % |
396.71/397.05 c | 338955 | 7809 33418 101476 | 2147483647 338955 168 | 0.000 % |
400.61/400.93 c | 341004 | 7809 33418 101476 | 2147483647 341004 168 | 0.000 % |
405.21/405.59 c | 343258 | 7809 33418 101476 | 2147483647 343258 169 | 0.000 % |
410.20/410.57 c | 345736 | 7809 33418 101476 | 2147483647 345736 169 | 0.000 % |
415.70/416.08 c | 348461 | 7809 33418 101476 | 2147483647 348461 169 | 0.000 % |
421.90/422.22 c | 351461 | 7809 33418 101476 | 2147483647 351461 169 | 0.000 % |
428.79/429.15 c | 354758 | 7809 33418 101476 | 2147483647 354758 169 | 0.000 % |
428.99/429.40 c | 354858 | 7809 33418 101476 | 2147483647 354858 169 | 0.000 % |
429.29/429.65 c | 354968 | 7809 33418 101476 | 2147483647 354968 169 | 0.000 % |
429.59/429.97 c | 355091 | 7809 33418 101476 | 2147483647 355091 169 | 0.000 % |
429.99/430.37 c | 355225 | 7809 33418 101476 | 2147483647 355225 169 | 0.000 % |
430.40/430.71 c | 355372 | 7809 33418 101476 | 2147483647 355372 169 | 0.000 % |
430.80/431.16 c | 355532 | 7809 33418 101476 | 2147483647 355532 169 | 0.000 % |
431.29/431.64 c | 355710 | 7809 33418 101476 | 2147483647 355710 169 | 0.000 % |
431.80/432.12 c | 355904 | 7809 33418 101476 | 2147483647 355904 169 | 0.000 % |
432.29/432.68 c | 356117 | 7809 33418 101476 | 2147483647 356117 169 | 0.000 % |
432.89/433.30 c | 356351 | 7809 33418 101476 | 2147483647 356351 169 | 0.000 % |
433.59/433.92 c | 356607 | 7809 33418 101476 | 2147483647 356607 169 | 0.000 % |
434.20/434.52 c | 356890 | 7809 33418 101476 | 2147483647 356890 169 | 0.000 % |
434.99/435.32 c | 357199 | 7809 33418 101476 | 2147483647 357199 169 | 0.000 % |
435.79/436.11 c | 357540 | 7809 33418 101476 | 2147483647 357540 169 | 0.000 % |
436.79/437.12 c | 357913 | 7809 33418 101476 | 2147483647 357913 169 | 0.000 % |
437.69/438.04 c | 358323 | 7809 33418 101476 | 2147483647 358323 169 | 0.000 % |
438.78/439.13 c | 358773 | 7809 33418 101476 | 2147483647 358773 169 | 0.000 % |
439.89/440.22 c | 359267 | 7809 33418 101476 | 2147483647 359267 169 | 0.000 % |
441.19/441.54 c | 359810 | 7809 33418 101476 | 2147483647 359810 169 | 0.000 % |
442.59/442.91 c | 360406 | 7809 33418 101476 | 2147483647 360406 169 | 0.000 % |
443.89/444.26 c | 361062 | 7809 33418 101476 | 2147483647 361062 169 | 0.000 % |
445.49/445.80 c | 361784 | 7809 33418 101476 | 2147483647 361784 169 | 0.000 % |
447.29/447.67 c | 362576 | 7809 33418 101476 | 2147483647 362576 169 | 0.000 % |
449.48/449.81 c | 363447 | 7809 33418 101476 | 2147483647 363447 169 | 0.000 % |
451.48/451.83 c | 364405 | 7809 33418 101476 | 2147483647 364405 169 | 0.000 % |
453.77/454.13 c | 365458 | 7809 33418 101476 | 2147483647 365458 169 | 0.000 % |
456.38/456.74 c | 366616 | 7809 33418 101476 | 2147483647 366616 169 | 0.000 % |
459.07/459.47 c | 367891 | 7809 33418 101476 | 2147483647 367891 169 | 0.000 % |
461.97/462.31 c | 369293 | 7809 33418 101476 | 2147483647 369293 169 | 0.000 % |
465.07/465.49 c | 370834 | 7809 33418 101476 | 2147483647 370834 169 | 0.000 % |
468.87/469.27 c | 372529 | 7809 33418 101476 | 2147483647 372529 169 | 0.000 % |
473.16/473.50 c | 374393 | 7809 33418 101476 | 2147483647 374393 169 | 0.000 % |
477.36/477.75 c | 376442 | 7809 33418 101476 | 2147483647 376442 170 | 0.000 % |
482.07/482.49 c | 378695 | 7809 33418 101476 | 2147483647 378695 170 | 0.000 % |
487.07/487.42 c | 381174 | 7809 33418 101476 | 2147483647 381174 170 | 0.000 % |
493.05/493.40 c | 383899 | 7809 33418 101476 | 2147483647 383899 170 | 0.000 % |
499.25/499.64 c | 386899 | 7809 33418 101476 | 2147483647 386899 171 | 0.000 % |
506.24/506.64 c | 390195 | 7809 33418 101476 | 2147483647 390195 171 | 0.000 % |
514.54/514.96 c | 393824 | 7809 33418 101476 | 2147483647 393824 171 | 0.000 % |
514.84/515.26 c | 393925 | 7809 33418 101476 | 2147483647 393925 171 | 0.000 % |
515.24/515.60 c | 394036 | 7809 33418 101476 | 2147483647 394036 171 | 0.000 % |
515.64/516.05 c | 394158 | 7809 33418 101476 | 2147483647 394158 171 | 0.000 % |
516.04/516.45 c | 394294 | 7809 33418 101476 | 2147483647 394294 171 | 0.000 % |
516.44/516.87 c | 394440 | 7809 33418 101476 | 2147483647 394440 171 | 0.000 % |
516.94/517.35 c | 394603 | 7809 33418 101476 | 2147483647 394603 171 | 0.000 % |
517.44/517.82 c | 394779 | 7809 33418 101476 | 2147483647 394779 171 | 0.000 % |
517.94/518.35 c | 394972 | 7809 33418 101476 | 2147483647 394972 171 | 0.000 % |
518.44/518.89 c | 395184 | 7809 33418 101476 | 2147483647 395184 171 | 0.000 % |
519.14/519.54 c | 395418 | 7809 33418 101476 | 2147483647 395418 171 | 0.000 % |
519.85/520.29 c | 395675 | 7809 33418 101476 | 2147483647 395675 171 | 0.000 % |
520.65/521.01 c | 395956 | 7809 33418 101476 | 2147483647 395956 171 | 0.000 % |
521.45/521.89 c | 396268 | 7809 33418 101476 | 2147483647 396268 171 | 0.000 % |
522.44/522.87 c | 396607 | 7809 33418 101476 | 2147483647 396607 171 | 0.000 % |
523.44/523.83 c | 396979 | 7809 33418 101476 | 2147483647 396979 171 | 0.000 % |
524.44/524.85 c | 397389 | 7809 33418 101476 | 2147483647 397389 171 | 0.000 % |
525.64/526.02 c | 397838 | 7809 33418 101476 | 2147483647 397838 171 | 0.000 % |
526.74/527.18 c | 398331 | 7809 33418 101476 | 2147483647 398331 171 | 0.000 % |
528.15/528.50 c | 398873 | 7809 33418 101476 | 2147483647 398873 171 | 0.000 % |
529.44/529.83 c | 399469 | 7809 33418 101476 | 2147483647 399469 171 | 0.000 % |
531.04/531.42 c | 400124 | 7809 33418 101476 | 2147483647 400124 171 | 0.000 % |
532.54/532.99 c | 400845 | 7809 33418 101476 | 2147483647 400845 171 | 0.000 % |
534.44/534.84 c | 401637 | 7809 33418 101476 | 2147483647 401637 171 | 0.000 % |
536.53/536.96 c | 402509 | 7809 33418 101476 | 2147483647 402509 171 | 0.000 % |
538.84/539.25 c | 403468 | 7809 33418 101476 | 2147483647 403468 171 | 0.000 % |
541.34/541.75 c | 404521 | 7809 33418 101476 | 2147483647 404521 171 | 0.000 % |
544.13/544.52 c | 405680 | 7809 33418 101476 | 2147483647 405680 171 | 0.000 % |
547.23/547.67 c | 406956 | 7809 33418 101476 | 2147483647 406956 171 | 0.000 % |
550.42/550.84 c | 408357 | 7809 33418 101476 | 2147483647 408357 171 | 0.000 % |
554.02/554.48 c | 409897 | 7809 33418 101476 | 2147483647 409897 171 | 0.000 % |
557.92/558.33 c | 411591 | 7809 33418 101476 | 2147483647 411591 171 | 0.000 % |
562.22/562.66 c | 413454 | 7809 33418 101476 | 2147483647 413454 171 | 0.000 % |
567.22/567.65 c | 415504 | 7809 33418 101476 | 2147483647 415504 171 | 0.000 % |
572.31/572.76 c | 417757 | 7809 33418 101476 | 2147483647 417757 172 | 0.000 % |
577.92/578.30 c | 420238 | 7809 33418 101476 | 2147483647 420238 172 | 0.000 % |
584.41/584.87 c | 422964 | 7809 33418 101476 | 2147483647 422964 172 | 0.000 % |
591.50/591.93 c | 425961 | 7809 33418 101476 | 2147483647 425961 172 | 0.000 % |
599.49/599.99 c | 429257 | 7809 33418 101476 | 2147483647 429257 172 | 0.000 % |
608.49/608.97 c | 432883 | 7809 33418 101476 | 2147483647 432883 172 | 0.000 % |
618.29/618.71 c | 436872 | 7809 33418 101476 | 2147483647 436872 173 | 0.000 % |
618.49/618.97 c | 436972 | 7809 33418 101476 | 2147483647 436972 173 | 0.000 % |
618.90/619.32 c | 437083 | 7809 33418 101476 | 2147483647 437083 173 | 0.000 % |
619.29/619.74 c | 437205 | 7809 33418 101476 | 2147483647 437205 173 | 0.000 % |
619.79/620.21 c | 437338 | 7809 33418 101476 | 2147483647 437338 173 | 0.000 % |
620.19/620.66 c | 437485 | 7809 33418 101476 | 2147483647 437485 173 | 0.000 % |
620.79/621.21 c | 437646 | 7809 33418 101476 | 2147483647 437646 173 | 0.000 % |
621.29/621.76 c | 437822 | 7809 33418 101476 | 2147483647 437822 172 | 0.000 % |
621.89/622.34 c | 438015 | 7809 33418 101476 | 2147483647 438015 172 | 0.000 % |
622.59/623.08 c | 438227 | 7809 33418 101476 | 2147483647 438227 172 | 0.000 % |
623.29/623.77 c | 438460 | 7809 33418 101476 | 2147483647 438460 172 | 0.000 % |
624.09/624.56 c | 438719 | 7809 33418 101476 | 2147483647 438719 172 | 0.000 % |
624.99/625.40 c | 439001 | 7809 33418 101476 | 2147483647 439001 172 | 0.000 % |
625.89/626.37 c | 439311 | 7809 33418 101476 | 2147483647 439311 172 | 0.000 % |
626.89/627.34 c | 439651 | 7809 33418 101476 | 2147483647 439651 172 | 0.000 % |
627.89/628.39 c | 440023 | 7809 33418 101476 | 2147483647 440023 172 | 0.000 % |
629.19/629.65 c | 440433 | 7809 33418 101476 | 2147483647 440433 172 | 0.000 % |
630.39/630.89 c | 440882 | 7809 33418 101476 | 2147483647 440882 172 | 0.000 % |
631.79/632.28 c | 441375 | 7809 33418 101476 | 2147483647 441375 172 | 0.000 % |
633.29/633.77 c | 441918 | 7809 33418 101476 | 2147483647 441918 172 | 0.000 % |
634.88/635.30 c | 442514 | 7809 33418 101476 | 2147483647 442514 172 | 0.000 % |
636.68/637.11 c | 443169 | 7809 33418 101476 | 2147483647 443169 172 | 0.000 % |
638.58/639.03 c | 443890 | 7809 33418 101476 | 2147483647 443890 172 | 0.000 % |
640.67/641.14 c | 444682 | 7809 33418 101476 | 2147483647 444682 172 | 0.000 % |
643.07/643.53 c | 445553 | 7809 33418 101476 | 2147483647 445553 172 | 0.000 % |
645.68/646.14 c | 446513 | 7809 33418 101476 | 2147483647 446513 172 | 0.000 % |
648.48/649.00 c | 447567 | 7809 33418 101476 | 2147483647 447567 172 | 0.000 % |
651.87/652.36 c | 448725 | 7809 33418 101476 | 2147483647 448725 172 | 0.000 % |
655.07/655.60 c | 449998 | 7809 33418 101476 | 2147483647 449998 172 | 0.000 % |
659.26/659.76 c | 451400 | 7809 33418 101476 | 450000 401082 172 | 0.000 % |
662.96/663.45 c | 452941 | 7809 33418 101476 | 450000 402623 172 | 0.000 % |
667.16/667.69 c | 454635 | 7809 33418 101476 | 450000 404317 172 | 0.000 % |
671.76/672.29 c | 456498 | 7809 33418 101476 | 450000 406180 172 | 0.000 % |
676.66/677.11 c | 458548 | 7809 33418 101476 | 450000 408230 172 | 0.000 % |
681.85/682.31 c | 460803 | 7809 33418 101476 | 2147483647 410485 172 | 0.000 % |
687.85/688.34 c | 463284 | 7809 33418 101476 | 2147483647 412966 172 | 0.000 % |
694.24/694.76 c | 466009 | 7809 33418 101476 | 2147483647 415691 173 | 0.000 % |
701.94/702.48 c | 469007 | 7809 33418 101476 | 2147483647 418689 173 | 0.000 % |
710.04/710.55 c | 472303 | 7809 33418 101476 | 2147483647 421985 173 | 0.000 % |
719.24/719.75 c | 475930 | 7809 33418 101476 | 2147483647 425612 173 | 0.000 % |
728.53/729.03 c | 479917 | 7809 33418 101476 | 2147483647 429599 173 | 0.000 % |
738.42/738.96 c | 484302 | 7809 33418 101476 | 2147483647 433984 173 | 0.000 % |
738.73/739.26 c | 484403 | 7809 33418 101476 | 2147483647 434085 173 | 0.000 % |
739.12/739.65 c | 484514 | 7809 33418 101476 | 2147483647 434196 173 | 0.000 % |
739.62/740.11 c | 484635 | 7809 33418 101476 | 2147483647 434317 173 | 0.000 % |
739.92/740.49 c | 484768 | 7809 33418 101476 | 2147483647 434450 173 | 0.000 % |
740.42/740.97 c | 484914 | 7809 33418 101476 | 2147483647 434596 173 | 0.000 % |
741.02/741.52 c | 485075 | 7809 33418 101476 | 2147483647 434757 173 | 0.000 % |
741.52/742.06 c | 485252 | 7809 33418 101476 | 2147483647 434934 173 | 0.000 % |
742.22/742.71 c | 485447 | 7809 33418 101476 | 2147483647 435129 173 | 0.000 % |
742.82/743.37 c | 485660 | 7809 33418 101476 | 2147483647 435342 173 | 0.000 % |
743.52/744.06 c | 485895 | 7809 33418 101476 | 2147483647 435577 173 | 0.000 % |
744.23/744.77 c | 486151 | 7809 33418 101476 | 2147483647 435833 173 | 0.000 % |
745.02/745.55 c | 486433 | 7809 33418 101476 | 2147483647 436115 173 | 0.000 % |
745.92/746.44 c | 486744 | 7809 33418 101476 | 2147483647 436426 173 | 0.000 % |
746.82/747.39 c | 487084 | 7809 33418 101476 | 2147483647 436766 173 | 0.000 % |
748.02/748.56 c | 487457 | 7809 33418 101476 | 2147483647 437139 173 | 0.000 % |
749.22/749.75 c | 487868 | 7809 33418 101476 | 2147483647 437550 173 | 0.000 % |
750.42/750.91 c | 488317 | 7809 33418 101476 | 2147483647 437999 173 | 0.000 % |
751.62/752.19 c | 488812 | 7809 33418 101476 | 2147483647 438494 172 | 0.000 % |
753.12/753.69 c | 489354 | 7809 33418 101476 | 2147483647 439036 173 | 0.000 % |
754.82/755.30 c | 489950 | 7809 33418 101476 | 2147483647 439632 173 | 0.000 % |
756.72/757.20 c | 490605 | 7809 33418 101476 | 2147483647 440287 173 | 0.000 % |
758.52/759.03 c | 491326 | 7809 33418 101476 | 2147483647 441008 173 | 0.000 % |
760.62/761.16 c | 492118 | 7809 33418 101476 | 2147483647 441800 173 | 0.000 % |
762.91/763.40 c | 492989 | 7809 33418 101476 | 2147483647 442671 172 | 0.000 % |
765.31/765.86 c | 493948 | 7809 33418 101476 | 2147483647 443630 173 | 0.000 % |
768.21/768.80 c | 495005 | 7809 33418 101476 | 2147483647 444687 173 | 0.000 % |
771.50/772.09 c | 496166 | 7809 33418 101476 | 2147483647 445848 173 | 0.000 % |
774.80/775.33 c | 497440 | 7809 33418 101476 | 2147483647 447122 173 | 0.000 % |
778.50/779.02 c | 498847 | 7809 33418 101476 | 2147483647 448529 173 | 0.000 % |
782.40/782.94 c | 500388 | 7809 33418 101476 | 449682 450070 173 | 0.000 % |
787.01/787.53 c | 502083 | 7809 33418 101476 | 449682 406758 174 | 0.000 % |
791.80/792.33 c | 503946 | 7809 33418 101476 | 449682 408621 174 | 0.000 % |
796.80/797.35 c | 505998 | 7809 33418 101476 | 449682 410673 174 | 0.000 % |
802.40/802.95 c | 508252 | 7809 33418 101476 | 449682 412927 174 | 0.000 % |
808.40/808.92 c | 510730 | 7809 33418 101476 | 2147483647 415405 174 | 0.000 % |
814.89/815.45 c | 513455 | 7809 33418 101476 | 2147483647 418130 174 | 0.000 % |
821.78/822.36 c | 516453 | 7809 33418 101476 | 2147483647 421128 174 | 0.000 % |
829.58/830.10 c | 519749 | 7809 33418 101476 | 2147483647 424424 174 | 0.000 % |
838.28/838.80 c | 523374 | 7809 33418 101476 | 2147483647 428049 174 | 0.000 % |
847.58/848.15 c | 527361 | 7809 33418 101476 | 2147483647 432036 174 | 0.000 % |
858.17/858.71 c | 531746 | 7809 33418 101476 | 2147483647 436421 175 | 0.000 % |
869.46/870.01 c | 536571 | 7809 33418 101476 | 2147483647 441246 175 | 0.000 % |
869.86/870.42 c | 536671 | 7809 33418 101476 | 2147483647 441346 175 | 0.000 % |
870.16/870.75 c | 536783 | 7809 33418 101476 | 2147483647 441458 175 | 0.000 % |
870.56/871.18 c | 536906 | 7809 33418 101476 | 2147483647 441581 175 | 0.000 % |
871.06/871.67 c | 537039 | 7809 33418 101476 | 2147483647 441714 175 | 0.000 % |
871.66/872.21 c | 537185 | 7809 33418 101476 | 2147483647 441860 175 | 0.000 % |
872.16/872.71 c | 537345 | 7809 33418 101476 | 2147483647 442020 175 | 0.000 % |
872.66/873.24 c | 537521 | 7809 33418 101476 | 2147483647 442196 175 | 0.000 % |
873.26/873.88 c | 537716 | 7809 33418 101476 | 2147483647 442391 175 | 0.000 % |
873.96/874.56 c | 537928 | 7809 33418 101476 | 2147483647 442603 175 | 0.000 % |
874.76/875.34 c | 538161 | 7809 33418 101476 | 2147483647 442836 175 | 0.000 % |
875.56/876.13 c | 538418 | 7809 33418 101476 | 2147483647 443093 175 | 0.000 % |
876.36/876.96 c | 538701 | 7809 33418 101476 | 2147483647 443376 175 | 0.000 % |
877.16/877.80 c | 539010 | 7809 33418 101476 | 2147483647 443685 175 | 0.000 % |
878.26/878.85 c | 539349 | 7809 33418 101476 | 2147483647 444024 175 | 0.000 % |
879.36/879.95 c | 539721 | 7809 33418 101476 | 2147483647 444396 175 | 0.000 % |
880.56/881.18 c | 540130 | 7809 33418 101476 | 2147483647 444805 175 | 0.000 % |
882.05/882.60 c | 540580 | 7809 33418 101476 | 2147483647 445255 175 | 0.000 % |
883.45/884.04 c | 541073 | 7809 33418 101476 | 2147483647 445748 175 | 0.000 % |
884.95/885.58 c | 541615 | 7809 33418 101476 | 2147483647 446290 175 | 0.000 % |
886.64/887.25 c | 542213 | 7809 33418 101476 | 2147483647 446888 175 | 0.000 % |
888.44/889.08 c | 542871 | 7809 33418 101476 | 2147483647 447546 175 | 0.000 % |
890.45/891.01 c | 543591 | 7809 33418 101476 | 2147483647 448266 175 | 0.000 % |
892.65/893.25 c | 544385 | 7809 33418 101476 | 2147483647 449060 175 | 0.000 % |
894.94/895.54 c | 545256 | 7809 33418 101476 | 2147483647 449931 175 | 0.000 % |
897.54/898.14 c | 546215 | 7809 33418 101476 | 2147483647 450890 175 | 0.000 % |
900.44/901.09 c | 547268 | 7809 33418 101476 | 2147483647 451943 175 | 0.000 % |
903.54/904.12 c | 548426 | 7809 33418 101476 | 2147483647 453101 175 | 0.000 % |
906.93/907.58 c | 549699 | 7809 33418 101476 | 2147483647 454374 175 | 0.000 % |
910.43/911.08 c | 551099 | 7809 33418 101476 | 454677 455774 175 | 0.000 % |
914.83/915.41 c | 552639 | 7809 33418 101476 | 454677 404987 176 | 0.000 % |
918.72/919.35 c | 554333 | 7809 33418 101476 | 454677 406681 176 | 0.000 % |
923.33/923.94 c | 556200 | 7809 33418 101476 | 454677 408548 176 | 0.000 % |
928.12/928.75 c | 558249 | 7809 33418 101476 | 454677 410597 176 | 0.000 % |
933.32/933.93 c | 560506 | 7809 33418 101476 | 2147483647 412854 176 | 0.000 % |
939.12/939.75 c | 562985 | 7809 33418 101476 | 2147483647 415333 176 | 0.000 % |
945.81/946.44 c | 565710 | 7809 33418 101476 | 2147483647 418058 176 | 0.000 % |
952.69/953.39 c | 568707 | 7809 33418 101476 | 2147483647 421055 177 | 0.000 % |
960.28/960.96 c | 572004 | 7809 33418 101476 | 2147483647 424352 177 | 0.000 % |
969.28/969.99 c | 575629 | 7809 33418 101476 | 2147483647 427977 177 | 0.000 % |
979.17/979.87 c | 579616 | 7809 33418 101476 | 2147483647 431964 177 | 0.000 % |
989.17/989.80 c | 584001 | 7809 33418 101476 | 2147483647 436349 177 | 0.000 % |
1001.47/1002.15 c | 588824 | 7809 33418 101476 | 2147483647 441172 178 | 0.000 % |
1013.57/1014.27 c | 594131 | 7809 33418 101476 | 2147483647 446479 178 | 0.000 % |
1013.96/1014.60 c | 594231 | 7809 33418 101476 | 2147483647 446579 178 | 0.000 % |
1014.26/1015.00 c | 594341 | 7809 33418 101476 | 2147483647 446689 178 | 0.000 % |
1014.76/1015.40 c | 594462 | 7809 33418 101476 | 2147483647 446810 178 | 0.000 % |
1015.16/1015.87 c | 594595 | 7809 33418 101476 | 2147483647 446943 178 | 0.000 % |
1015.77/1016.42 c | 594741 | 7809 33418 101476 | 2147483647 447089 178 | 0.000 % |
1016.26/1016.96 c | 594903 | 7809 33418 101476 | 2147483647 447251 178 | 0.000 % |
1016.86/1017.57 c | 595079 | 7809 33418 101476 | 2147483647 447427 178 | 0.000 % |
1017.56/1018.27 c | 595274 | 7809 33418 101476 | 2147483647 447622 178 | 0.000 % |
1018.16/1018.84 c | 595486 | 7809 33418 101476 | 2147483647 447834 178 | 0.000 % |
1018.86/1019.58 c | 595720 | 7809 33418 101476 | 2147483647 448068 178 | 0.000 % |
1019.66/1020.38 c | 595976 | 7809 33418 101476 | 2147483647 448324 178 | 0.000 % |
1020.46/1021.20 c | 596258 | 7809 33418 101476 | 2147483647 448606 178 | 0.000 % |
1021.45/1022.14 c | 596567 | 7809 33418 101476 | 2147483647 448915 178 | 0.000 % |
1022.45/1023.19 c | 596907 | 7809 33418 101476 | 2147483647 449255 178 | 0.000 % |
1023.66/1024.34 c | 597279 | 7809 33418 101476 | 2147483647 449627 178 | 0.000 % |
1024.86/1025.53 c | 597692 | 7809 33418 101476 | 2147483647 450040 178 | 0.000 % |
1026.26/1026.92 c | 598142 | 7809 33418 101476 | 2147483647 450490 178 | 0.000 % |
1027.66/1028.34 c | 598636 | 7809 33418 101476 | 2147483647 450984 178 | 0.000 % |
1029.15/1029.85 c | 599179 | 7809 33418 101476 | 2147483647 451527 178 | 0.000 % |
1030.85/1031.50 c | 599775 | 7809 33418 101476 | 2147483647 452123 178 | 0.000 % |
1032.56/1033.27 c | 600430 | 7809 33418 101476 | 452349 452778 178 | 0.000 % |
1034.95/1035.67 c | 601151 | 7809 33418 101476 | 452349 407949 179 | 0.000 % |
1036.85/1037.57 c | 601943 | 7809 33418 101476 | 452349 408741 179 | 0.000 % |
1039.05/1039.74 c | 602814 | 7809 33418 101476 | 452349 409612 179 | 0.000 % |
1041.44/1042.10 c | 603774 | 7809 33418 101476 | 452349 410572 178 | 0.000 % |
1043.94/1044.63 c | 604827 | 7809 33418 101476 | 452349 411625 178 | 0.000 % |
1046.64/1047.30 c | 605986 | 7809 33418 101476 | 452349 412784 178 | 0.000 % |
1049.75/1050.43 c | 607260 | 7809 33418 101476 | 452349 414058 178 | 0.000 % |
1053.04/1053.73 c | 608660 | 7809 33418 101476 | 452349 415458 179 | 0.000 % |
1056.84/1057.55 c | 610200 | 7809 33418 101476 | 2147483647 416998 179 | 0.000 % |
1061.14/1061.83 c | 611894 | 7809 33418 101476 | 2147483647 418692 179 | 0.000 % |
1065.84/1066.59 c | 613758 | 7809 33418 101476 | 2147483647 420556 178 | 0.000 % |
1071.03/1071.70 c | 615807 | 7809 33418 101476 | 2147483647 422605 178 | 0.000 % |
1076.43/1077.16 c | 618061 | 7809 33418 101476 | 2147483647 424859 178 | 0.000 % |
1082.73/1083.46 c | 620539 | 7809 33418 101476 | 2147483647 427337 178 | 0.000 % |
1089.52/1090.25 c | 623266 | 7809 33418 101476 | 2147483647 430064 178 | 0.000 % |
1096.92/1097.67 c | 626265 | 7809 33418 101476 | 2147483647 433063 178 | 0.000 % |
1104.91/1105.69 c | 629563 | 7809 33418 101476 | 2147483647 436361 179 | 0.000 % |
1113.91/1114.65 c | 633189 | 7809 33418 101476 | 2147483647 439987 179 | 0.000 % |
1123.41/1124.19 c | 637176 | 7809 33418 101476 | 2147483647 443974 179 | 0.000 % |
1133.80/1134.50 c | 641562 | 7809 33418 101476 | 2147483647 448360 179 | 0.000 % |
1146.09/1146.88 c | 646386 | 7809 33418 101476 | 2147483647 453184 179 | 0.000 % |
1159.38/1160.10 c | 651694 | 7809 33418 101476 | 2147483647 458492 179 | 0.000 % |
1173.58/1174.35 c | 657529 | 7809 33418 101476 | 2147483647 464327 180 | 0.000 % |
1174.08/1174.81 c | 657631 | 7809 33418 101476 | 2147483647 464429 180 | 0.000 % |
1174.48/1175.23 c | 657741 | 7809 33418 101476 | 2147483647 464539 180 | 0.000 % |
1174.88/1175.68 c | 657863 | 7809 33418 101476 | 2147483647 464661 180 | 0.000 % |
1175.38/1176.17 c | 657996 | 7809 33418 101476 | 2147483647 464794 180 | 0.000 % |
1175.87/1176.68 c | 658143 | 7809 33418 101476 | 2147483647 464941 180 | 0.000 % |
1176.37/1177.17 c | 658305 | 7809 33418 101476 | 2147483647 465103 180 | 0.000 % |
1176.97/1177.72 c | 658481 | 7809 33418 101476 | 2147483647 465279 180 | 0.000 % |
1177.67/1178.43 c | 658675 | 7809 33418 101476 | 2147483647 465473 180 | 0.000 % |
1178.27/1179.09 c | 658887 | 7809 33418 101476 | 2147483647 465685 180 | 0.000 % |
1179.07/1179.86 c | 659121 | 7809 33418 101476 | 2147483647 465919 180 | 0.000 % |
1179.77/1180.56 c | 659377 | 7809 33418 101476 | 2147483647 466175 180 | 0.000 % |
1180.67/1181.45 c | 659660 | 7809 33418 101476 | 2147483647 466458 180 | 0.000 % |
1181.57/1182.30 c | 659972 | 7809 33418 101476 | 2147483647 466770 180 | 0.000 % |
1182.57/1183.37 c | 660311 | 7809 33418 101476 | 2147483647 467109 180 | 0.000 % |
1183.77/1184.50 c | 660683 | 7809 33418 101476 | 2147483647 467481 180 | 0.000 % |
1184.97/1185.79 c | 661095 | 7809 33418 101476 | 2147483647 467893 180 | 0.000 % |
1186.46/1187.25 c | 661544 | 7809 33418 101476 | 2147483647 468342 180 | 0.000 % |
1188.16/1188.91 c | 662038 | 7809 33418 101476 | 2147483647 468836 180 | 0.000 % |
1189.76/1190.57 c | 662581 | 7809 33418 101476 | 2147483647 469379 180 | 0.000 % |
1191.67/1192.44 c | 663179 | 7809 33418 101476 | 2147483647 469977 180 | 0.000 % |
1193.67/1194.45 c | 663838 | 7809 33418 101476 | 2147483647 470636 180 | 0.000 % |
1195.76/1196.52 c | 664558 | 7809 33418 101476 | 2147483647 471356 180 | 0.000 % |
1198.17/1198.93 c | 665350 | 7809 33418 101476 | 2147483647 472148 180 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832681-1242786243/watcher-1832681-1242786243 -o /tmp/evaluation-result-1832681-1242786243/solver-1832681-1242786243 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832681-1242786243.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.09 1.04 1.00 3/65 16894
/proc/meminfo: memFree=1740800/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306653291 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 226687156306 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/16894/statm: 1339 235 195 169 0 50 0
[pid=16895] ppid=16894 vsize=5356 CPUtime=0
/proc/16895/stat : 16895 (SatELiteGTI) S 16894 16894 16296 0 -1 4194368 51 25 0 0 0 0 0 0 19 0 1 0 306653291 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/16895/statm: 1339 238 198 169 0 50 0
[pid=16897] ppid=16895 vsize=192 CPUtime=0
/proc/16897/stat : 16897 (sed) R 16895 16894 16296 0 -1 4194304 42 0 0 0 0 0 0 0 22 0 1 0 306653291 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 226684368265 0 0 4096 0 0 0 0 17 0 0 0
/proc/16897/statm: 48 23 16 11 0 11 0
[startup+0.0949751 s]
/proc/loadavg: 1.09 1.04 1.00 3/65 16894
/proc/meminfo: memFree=1740800/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306653291 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16894/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102972 s]
/proc/loadavg: 1.09 1.04 1.00 3/65 16894
/proc/meminfo: memFree=1740800/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306653291 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16894/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.303008 s]
/proc/loadavg: 1.09 1.04 1.00 3/65 16894
/proc/meminfo: memFree=1740800/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356
[startup+0.701088 s]
/proc/loadavg: 1.09 1.04 1.00 3/65 16894
/proc/meminfo: memFree=1740800/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356
[startup+1.50125 s]
/proc/loadavg: 1.08 1.04 1.00 2/67 16900
/proc/meminfo: memFree=1735088/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=7244 CPUtime=1.34
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 1587 0 0 0 134 0 0 0 25 0 1 0 306653305 7417856 1573 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 1811 1573 77 171 0 1638 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12600
[startup+3.10158 s]
/proc/loadavg: 1.08 1.04 1.00 2/67 16900
/proc/meminfo: memFree=1732336/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=10704 CPUtime=2.94
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 2470 0 0 0 293 1 0 0 25 0 1 0 306653305 10960896 2456 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 2676 2456 77 171 0 2503 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16060
[startup+6.30123 s]
/proc/loadavg: 1.08 1.04 1.00 2/67 16900
/proc/meminfo: memFree=1725680/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=16628 CPUtime=6.14
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 3915 0 0 0 612 2 0 0 25 0 1 0 306653305 17027072 3901 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 4157 3901 77 171 0 3984 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 21984
[startup+12.7015 s]
/proc/loadavg: 1.07 1.03 1.00 2/67 16900
/proc/meminfo: memFree=1715696/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=26032 CPUtime=12.53
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 6290 0 0 0 1249 4 0 0 25 0 1 0 306653305 26656768 6276 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 6508 6276 77 171 0 6335 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 31388
[startup+25.5021 s]
/proc/loadavg: 1.06 1.03 1.00 2/67 16900
/proc/meminfo: memFree=1699696/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=41556 CPUtime=25.33
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 10168 0 0 0 2525 8 0 0 25 0 1 0 306653305 42553344 10154 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 10389 10154 77 171 0 10216 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 46912
[startup+51.1023 s]
/proc/loadavg: 1.04 1.03 1.00 2/67 16900
/proc/meminfo: memFree=1675504/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=66012 CPUtime=50.91
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 16228 0 0 0 5077 14 0 0 25 0 1 0 306653305 67596288 16214 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 16503 16214 77 171 0 16330 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 71368
[startup+102.306 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 16900
/proc/meminfo: memFree=1638192/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=102580 CPUtime=102.09
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 25381 0 0 0 10183 26 0 0 25 0 1 0 306653305 105041920 25367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 25645 25367 77 171 0 25472 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 107936
[startup+162.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 16900
/proc/meminfo: memFree=1603248/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=137692 CPUtime=162.03
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 34190 0 0 0 16164 39 0 0 25 0 1 0 306653305 140996608 34176 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 34423 34176 77 171 0 34250 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 143048
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 16900
/proc/meminfo: memFree=1573040/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=167400 CPUtime=221.98
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 41577 0 0 0 22151 47 0 0 25 0 1 0 306653305 171417600 41563 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 41850 41563 77 171 0 41677 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 172756
[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 16900
/proc/meminfo: memFree=1545392/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=195252 CPUtime=281.94
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 48558 0 0 0 28138 56 0 0 25 0 1 0 306653305 199938048 48544 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 48813 48544 77 171 0 48640 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 200608
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16900
/proc/meminfo: memFree=1520304/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=219808 CPUtime=341.91
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 54739 0 0 0 34127 64 0 0 25 0 1 0 306653305 225083392 54725 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 54952 54725 77 171 0 54779 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 225164
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16900
/proc/meminfo: memFree=1497520/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=243120 CPUtime=401.88
################
# More data... #
################
/proc/16900/statm: 71274 70971 77 171 0 71101 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 290452
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16900
/proc/meminfo: memFree=1435248/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=304500 CPUtime=581.78
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 75863 0 0 0 58087 91 0 0 25 0 1 0 306653305 311808000 75849 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 76125 75849 77 171 0 75952 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 309856
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16900
/proc/meminfo: memFree=1417840/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=321528 CPUtime=641.74
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 80150 0 0 0 64079 95 0 0 25 0 1 0 306653305 329244672 80136 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 80382 80136 77 171 0 80209 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 326884
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16900
/proc/meminfo: memFree=1412848/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=326280 CPUtime=701.71
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 81346 0 0 0 70075 96 0 0 25 0 1 0 306653305 334110720 81332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 81570 81332 77 171 0 81397 0
Current children cumulated CPU time (s) 701.84
Current children cumulated vsize (KiB) 331636
[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16900
/proc/meminfo: memFree=1412784/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=326280 CPUtime=761.69
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 81346 0 0 0 76073 96 0 0 25 0 1 0 306653305 334110720 81332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 81570 81332 77 171 0 81397 0
Current children cumulated CPU time (s) 761.82
Current children cumulated vsize (KiB) 331636
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16900
/proc/meminfo: memFree=1412592/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=326412 CPUtime=821.65
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 81376 0 0 0 82068 97 0 0 25 0 1 0 306653305 334245888 81362 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 81603 81362 77 171 0 81430 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 331768
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16900
/proc/meminfo: memFree=1411696/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=327336 CPUtime=881.62
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 81593 0 0 0 88065 97 0 0 25 0 1 0 306653305 335192064 81579 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 81834 81579 77 171 0 81661 0
Current children cumulated CPU time (s) 881.75
Current children cumulated vsize (KiB) 332692
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16900
/proc/meminfo: memFree=1404272/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=334596 CPUtime=941.59
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 83406 0 0 0 94060 99 0 0 25 0 1 0 306653305 342626304 83392 1992294400 134512640 135215339 4294956240 18446744073709551615 134528679 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 83649 83392 77 171 0 83476 0
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (KiB) 339952
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16900
/proc/meminfo: memFree=1404208/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=334596 CPUtime=1001.54
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 83406 0 0 0 100054 100 0 0 25 0 1 0 306653305 342626304 83392 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 83649 83392 77 171 0 83476 0
Current children cumulated CPU time (s) 1001.67
Current children cumulated vsize (KiB) 339952
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16900
/proc/meminfo: memFree=1399728/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=338952 CPUtime=1061.51
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 84498 0 0 0 106049 102 0 0 25 0 1 0 306653305 347086848 84484 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 84738 84484 77 171 0 84565 0
Current children cumulated CPU time (s) 1061.64
Current children cumulated vsize (KiB) 344308
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16900
/proc/meminfo: memFree=1399664/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=338952 CPUtime=1121.48
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 84498 0 0 0 112046 102 0 0 25 0 1 0 306653305 347086848 84484 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 84738 84484 77 171 0 84565 0
Current children cumulated CPU time (s) 1121.61
Current children cumulated vsize (KiB) 344308
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16900
/proc/meminfo: memFree=1386352/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=353196 CPUtime=1181.44
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 87861 0 0 0 118039 105 0 0 25 0 1 0 306653305 361672704 87847 1992294400 134512640 135215339 4294956240 18446744073709551615 134528740 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 88299 87847 77 171 0 88126 0
Current children cumulated CPU time (s) 1181.57
Current children cumulated vsize (KiB) 358552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16900
/proc/meminfo: memFree=1382000/2055920 swapFree=4180512/4192956
[pid=16894] ppid=16892 vsize=5356 CPUtime=0.13
/proc/16894/stat : 16894 (SatELiteGTI) S 16892 16894 16296 0 -1 4194304 336 1326 0 0 0 0 12 1 15 0 1 0 306653291 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16894/statm: 1339 239 197 169 0 50 0
[pid=16900] ppid=16894 vsize=357288 CPUtime=1199.93
/proc/16900/stat : 16900 (minisat_static) R 16894 16894 16296 0 -1 4194304 88879 0 0 0 119887 106 0 0 25 0 1 0 306653305 365862912 88865 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/16900/statm: 89322 88865 77 171 0 89149 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 362644
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16894 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=127980
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=14997
# CPU time returned by wait4() is 0.142977
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.06
CPU user time (s): 1198.99
CPU system time (s): 1.07
CPU usage (%): 99.9373
Max. virtual memory (cumulated for all children) (KiB): 362644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.12798
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1662
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= 14
involuntary context switches= 21
runsolver used 1.21981 second user time and 3.22751 second system time
The end
Begin job on node80 at 2009-05-20 04:24:03
IDJOB=1832681
IDBENCH=70304
IDSOLVER=671
FILE ID=node80/1832681-1242786243
PBS_JOBID= 9322346
Free space on /tmp= 66192 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/8000/unif-k3-r4.2-v8000-c33600-S195213520-027.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832681-1242786243/watcher-1832681-1242786243 -o /tmp/evaluation-result-1832681-1242786243/solver-1832681-1242786243 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832681-1242786243.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9441297e33213208348519454e6efb92
RANDOM SEED=2119065929
node80.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.270
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.270
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1741344 kB
Buffers: 29160 kB
Cached: 236224 kB
SwapCached: 7160 kB
Active: 96208 kB
Inactive: 177968 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1741344 kB
SwapTotal: 4192956 kB
SwapFree: 4180512 kB
Dirty: 2172 kB
Writeback: 0 kB
Mapped: 13500 kB
Slab: 26392 kB
Committed_AS: 1107200 kB
PageTables: 1388 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= 66192 MiB
End job on node80 at 2009-05-20 04:44:06