0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 50400 151200 | 15119 0 0 nan | 0.000 % |
0.00/0.17 c | 0 | 50131 151870 | -- 0 -- -- | -- | -269/670
0.00/0.17 c ==============================================================================
0.00/0.17 c Result : #vars: 11751 #clauses: 50131 #literals: 151870
0.00/0.17 c CPU time: 0.155976 s
0.00/0.17 c ==============================================================================
0.00/0.22 c This is MiniSat 2.0 beta
0.00/0.22 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.22 c ============================[ Problem Statistics ]=============================
0.00/0.22 c | |
0.00/0.22 c | Number of variables: 11751 |
0.00/0.22 c | Number of clauses: 50131 |
0.00/0.26 c | Parsing time: 0.03 s |
0.00/0.26 c ============================[ Search Statistics ]==============================
0.00/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.26 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.26 c ===============================================================================
0.00/0.26 c | 0 | 11751 50131 151870 | 16710 0 nan | 0.000 % |
0.00/0.30 c | 100 | 11751 50131 151870 | 16710 100 113 | 0.000 % |
0.21/0.33 c | 200 | 11751 50131 151870 | 16710 200 128 | 0.000 % |
0.21/0.37 c | 301 | 11751 50131 151870 | 16710 301 128 | 0.000 % |
0.21/0.41 c | 412 | 11751 50131 151870 | 16710 412 134 | 0.000 % |
0.21/0.45 c | 512 | 11751 50131 151870 | 16710 512 149 | 0.000 % |
0.21/0.49 c | 622 | 11751 50131 151870 | 16710 622 150 | 0.000 % |
0.21/0.53 c | 744 | 11751 50131 151870 | 16710 744 145 | 0.000 % |
0.21/0.57 c | 844 | 11751 50131 151870 | 16710 844 146 | 0.000 % |
0.21/0.61 c | 957 | 11751 50131 151870 | 16710 957 145 | 0.000 % |
0.21/0.65 c | 1078 | 11751 50131 151870 | 16710 1078 146 | 0.000 % |
0.21/0.70 c | 1211 | 11751 50131 151870 | 16710 1211 147 | 0.000 % |
0.21/0.74 c | 1314 | 11751 50131 151870 | 16710 1314 149 | 0.000 % |
0.21/0.78 c | 1424 | 11751 50131 151870 | 16710 1424 147 | 0.000 % |
0.21/0.83 c | 1545 | 11751 50131 151870 | 16710 1545 154 | 0.000 % |
0.21/0.88 c | 1678 | 11751 50131 151870 | 16710 1678 155 | 0.000 % |
0.21/0.94 c | 1826 | 11751 50131 151870 | 16710 1826 156 | 0.000 % |
0.21/0.98 c | 1926 | 11751 50131 151870 | 16710 1926 155 | 0.000 % |
0.97/1.03 c | 2036 | 11751 50131 151870 | 16710 2036 155 | 0.000 % |
0.97/1.09 c | 2158 | 11751 50131 151870 | 16710 2158 156 | 0.000 % |
1.07/1.14 c | 2293 | 11751 50131 151870 | 16710 2293 162 | 0.000 % |
1.17/1.20 c | 2440 | 11751 50131 151870 | 16710 2440 161 | 0.000 % |
1.17/1.26 c | 2600 | 11751 50131 151870 | 16710 2600 160 | 0.000 % |
1.27/1.31 c | 2700 | 11751 50131 151870 | 16710 2700 160 | 0.000 % |
1.27/1.35 c | 2811 | 11751 50131 151870 | 16710 2811 162 | 0.000 % |
1.37/1.40 c | 2932 | 11751 50131 151870 | 16710 2932 163 | 0.000 % |
1.37/1.46 c | 3065 | 11751 50131 151870 | 16710 3065 163 | 0.000 % |
1.47/1.51 c | 3211 | 11751 50131 151870 | 16710 3211 162 | 0.000 % |
1.47/1.58 c | 3372 | 11751 50131 151870 | 16710 3372 164 | 0.000 % |
1.57/1.65 c | 3548 | 11751 50131 151870 | 16710 3548 164 | 0.000 % |
1.57/1.69 c | 3650 | 11751 50131 151870 | 16710 3650 164 | 0.000 % |
1.67/1.74 c | 3760 | 11751 50131 151870 | 16710 3760 164 | 0.000 % |
1.67/1.79 c | 3881 | 11751 50131 151870 | 16710 3881 164 | 0.000 % |
1.77/1.85 c | 4014 | 11751 50131 151870 | 16710 4014 165 | 0.000 % |
1.87/1.91 c | 4162 | 11751 50131 151870 | 16710 4162 166 | 0.000 % |
1.87/1.97 c | 4322 | 11751 50131 151870 | 16710 4322 165 | 0.000 % |
1.97/2.06 c | 4499 | 11751 50131 151870 | 16710 4499 166 | 0.000 % |
2.08/2.14 c | 4692 | 11751 50131 151870 | 16710 4692 165 | 0.000 % |
2.08/2.18 c | 4792 | 11751 50131 151870 | 16710 4792 165 | 0.000 % |
2.18/2.23 c | 4902 | 11751 50131 151870 | 16710 4902 166 | 0.000 % |
2.18/2.27 c | 5023 | 11751 50131 151870 | 16710 5023 166 | 0.000 % |
2.27/2.33 c | 5157 | 11751 50131 151870 | 16710 5157 166 | 0.000 % |
2.27/2.40 c | 5303 | 11751 50131 151870 | 16710 5303 166 | 0.000 % |
2.37/2.46 c | 5463 | 11751 50131 151870 | 16710 5463 166 | 0.000 % |
2.47/2.53 c | 5640 | 11751 50131 151870 | 16710 5640 166 | 0.000 % |
2.57/2.61 c | 5834 | 11751 50131 151870 | 16710 5834 166 | 0.000 % |
2.67/2.70 c | 6048 | 11751 50131 151870 | 16710 6048 167 | 0.000 % |
2.67/2.75 c | 6148 | 11751 50131 151870 | 16710 6148 166 | 0.000 % |
2.67/2.80 c | 6260 | 11751 50131 151870 | 16710 6260 166 | 0.000 % |
2.77/2.85 c | 6382 | 11751 50131 151870 | 16710 6382 166 | 0.000 % |
2.87/2.90 c | 6515 | 11751 50131 151870 | 16710 6515 166 | 0.000 % |
2.87/2.97 c | 6661 | 11751 50131 151870 | 16710 6661 165 | 0.000 % |
2.97/3.03 c | 6821 | 11751 50131 151870 | 16710 6821 165 | 0.000 % |
3.07/3.11 c | 6998 | 11751 50131 151870 | 16710 6998 166 | 0.000 % |
3.07/3.20 c | 7192 | 11751 50131 151870 | 16710 7192 166 | 0.000 % |
3.18/3.29 c | 7405 | 11751 50131 151870 | 16710 7405 166 | 0.000 % |
3.28/3.39 c | 7641 | 11751 50131 151870 | 16710 7641 166 | 0.000 % |
3.37/3.44 c | 7741 | 11751 50131 151870 | 16710 7741 166 | 0.000 % |
3.37/3.48 c | 7852 | 11751 50131 151870 | 16710 7852 165 | 0.000 % |
3.47/3.54 c | 7974 | 11751 50131 151870 | 16710 7974 165 | 0.000 % |
3.47/3.60 c | 8108 | 11751 50131 151870 | 16710 8108 165 | 0.000 % |
3.57/3.66 c | 8254 | 11751 50131 151870 | 16710 8254 165 | 0.000 % |
3.67/3.74 c | 8414 | 11751 50131 151870 | 16710 8414 167 | 0.000 % |
3.77/3.82 c | 8592 | 11751 50131 151870 | 16710 8592 167 | 0.000 % |
3.87/3.91 c | 8785 | 11751 50131 151870 | 16710 8785 167 | 0.000 % |
3.97/4.01 c | 8997 | 11751 50131 151870 | 16710 8997 169 | 0.000 % |
4.07/4.12 c | 9231 | 11751 50131 151870 | 16710 9231 170 | 0.000 % |
4.17/4.24 c | 9488 | 11751 50131 151870 | 16710 9488 171 | 0.000 % |
4.17/4.29 c | 9588 | 11751 50131 151870 | 16710 9588 171 | 0.000 % |
4.27/4.34 c | 9699 | 11751 50131 151870 | 16710 9699 171 | 0.000 % |
4.27/4.40 c | 9820 | 11751 50131 151870 | 16710 9820 171 | 0.000 % |
4.37/4.46 c | 9954 | 11751 50131 151870 | 16710 9954 171 | 0.000 % |
4.47/4.52 c | 10102 | 11751 50131 151870 | 2147483647 10102 171 | 0.000 % |
4.47/4.60 c | 10263 | 11751 50131 151870 | 2147483647 10263 170 | 0.000 % |
4.57/4.68 c | 10441 | 11751 50131 151870 | 2147483647 10441 170 | 0.000 % |
4.67/4.77 c | 10635 | 11751 50131 151870 | 2147483647 10635 170 | 0.000 % |
4.77/4.87 c | 10847 | 11751 50131 151870 | 2147483647 10847 170 | 0.000 % |
4.87/4.98 c | 11082 | 11751 50131 151870 | 2147483647 11082 170 | 0.000 % |
4.97/5.09 c | 11339 | 11751 50131 151870 | 2147483647 11339 171 | 0.000 % |
5.18/5.22 c | 11621 | 11751 50131 151870 | 2147483647 11621 171 | 0.000 % |
5.18/5.27 c | 11724 | 11751 50131 151870 | 2147483647 11724 171 | 0.000 % |
5.28/5.33 c | 11834 | 11751 50131 151870 | 2147483647 11834 171 | 0.000 % |
5.28/5.39 c | 11956 | 11751 50131 151870 | 2147483647 11956 171 | 0.000 % |
5.38/5.46 c | 12089 | 11751 50131 151870 | 2147483647 12089 171 | 0.000 % |
5.48/5.53 c | 12235 | 11751 50131 151870 | 2147483647 12235 170 | 0.000 % |
5.58/5.61 c | 12396 | 11751 50131 151870 | 2147483647 12396 170 | 0.000 % |
5.58/5.70 c | 12572 | 11751 50131 151870 | 2147483647 12572 171 | 0.000 % |
5.67/5.79 c | 12765 | 11751 50131 151870 | 2147483647 12765 171 | 0.000 % |
5.77/5.89 c | 12977 | 11751 50131 151870 | 2147483647 12977 171 | 0.000 % |
5.97/6.01 c | 13210 | 11751 50131 151870 | 2147483647 13210 171 | 0.000 % |
6.07/6.13 c | 13466 | 11751 50131 151870 | 2147483647 13466 171 | 0.000 % |
6.17/6.27 c | 13747 | 11751 50131 151870 | 2147483647 13747 172 | 0.000 % |
6.37/6.41 c | 14056 | 11751 50131 151870 | 2147483647 14056 173 | 0.000 % |
6.37/6.47 c | 14156 | 11751 50131 151870 | 2147483647 14156 173 | 0.000 % |
6.47/6.52 c | 14267 | 11751 50131 151870 | 2147483647 14267 172 | 0.000 % |
6.47/6.59 c | 14388 | 11751 50131 151870 | 2147483647 14388 173 | 0.000 % |
6.57/6.66 c | 14522 | 11751 50131 151870 | 2147483647 14522 173 | 0.000 % |
6.67/6.74 c | 14669 | 11751 50131 151870 | 2147483647 14669 172 | 0.000 % |
6.77/6.82 c | 14830 | 11751 50131 151870 | 2147483647 14830 172 | 0.000 % |
6.87/6.91 c | 15006 | 11751 50131 151870 | 2147483647 15006 172 | 0.000 % |
6.97/7.01 c | 15199 | 11751 50131 151870 | 2147483647 15199 172 | 0.000 % |
7.07/7.11 c | 15412 | 11751 50131 151870 | 2147483647 15412 172 | 0.000 % |
7.18/7.23 c | 15645 | 11751 50131 151870 | 2147483647 15645 172 | 0.000 % |
7.28/7.35 c | 15901 | 11751 50131 151870 | 2147483647 15901 173 | 0.000 % |
7.38/7.49 c | 16182 | 11751 50131 151870 | 2147483647 16182 173 | 0.000 % |
7.58/7.64 c | 16491 | 11751 50131 151870 | 2147483647 16491 174 | 0.000 % |
7.77/7.82 c | 16831 | 11751 50131 151870 | 2147483647 16831 175 | 0.000 % |
7.77/7.87 c | 16933 | 11751 50131 151870 | 2147483647 16933 174 | 0.000 % |
7.87/7.93 c | 17047 | 11751 50131 151870 | 2147483647 17047 174 | 0.000 % |
7.87/8.00 c | 17168 | 11751 50131 151870 | 2147483647 17168 174 | 0.000 % |
7.97/8.07 c | 17303 | 11751 50131 151870 | 2147483647 17303 175 | 0.000 % |
8.07/8.14 c | 17452 | 11751 50131 151870 | 2147483647 17452 175 | 0.000 % |
8.17/8.22 c | 17612 | 11751 50131 151870 | 2147483647 17612 174 | 0.000 % |
8.27/8.31 c | 17789 | 11751 50131 151870 | 2147483647 17789 174 | 0.000 % |
8.37/8.41 c | 17982 | 11751 50131 151870 | 2147483647 17982 174 | 0.000 % |
8.47/8.52 c | 18194 | 11751 50131 151870 | 2147483647 18194 174 | 0.000 % |
8.57/8.63 c | 18431 | 11751 50131 151870 | 2147483647 18431 174 | 0.000 % |
8.67/8.75 c | 18689 | 11751 50131 151870 | 2147483647 18689 174 | 0.000 % |
8.77/8.89 c | 18970 | 11751 50131 151870 | 2147483647 18970 174 | 0.000 % |
8.97/9.05 c | 19280 | 11751 50131 151870 | 2147483647 19280 174 | 0.000 % |
9.18/9.22 c | 19619 | 11751 50131 151870 | 2147483647 19619 174 | 0.000 % |
9.38/9.41 c | 19994 | 11751 50131 151870 | 2147483647 19994 174 | 0.000 % |
9.38/9.47 c | 20095 | 11751 50131 151870 | 2147483647 20095 174 | 0.000 % |
9.48/9.53 c | 20206 | 11751 50131 151870 | 2147483647 20206 174 | 0.000 % |
9.48/9.59 c | 20328 | 11751 50131 151870 | 2147483647 20328 174 | 0.000 % |
9.57/9.67 c | 20463 | 11751 50131 151870 | 2147483647 20463 174 | 0.000 % |
9.67/9.75 c | 20609 | 11751 50131 151870 | 2147483647 20609 174 | 0.000 % |
9.78/9.83 c | 20769 | 11751 50131 151870 | 2147483647 20769 174 | 0.000 % |
9.88/9.93 c | 20947 | 11751 50131 151870 | 2147483647 20947 174 | 0.000 % |
9.97/10.03 c | 21140 | 11751 50131 151870 | 2147483647 21140 175 | 0.000 % |
10.07/10.15 c | 21353 | 11751 50131 151870 | 2147483647 21353 175 | 0.000 % |
10.17/10.27 c | 21586 | 11751 50131 151870 | 2147483647 21586 174 | 0.000 % |
10.37/10.41 c | 21843 | 11751 50131 151870 | 2147483647 21843 174 | 0.000 % |
10.47/10.56 c | 22124 | 11751 50131 151870 | 2147483647 22124 174 | 0.000 % |
10.67/10.71 c | 22433 | 11751 50131 151870 | 2147483647 22433 175 | 0.000 % |
10.77/10.88 c | 22772 | 11751 50131 151870 | 2147483647 22772 175 | 0.000 % |
10.97/11.09 c | 23144 | 11751 50131 151870 | 2147483647 23144 176 | 0.000 % |
11.27/11.30 c | 23554 | 11751 50131 151870 | 2147483647 23554 177 | 0.000 % |
11.27/11.36 c | 23654 | 11751 50131 151870 | 2147483647 23654 177 | 0.000 % |
11.37/11.44 c | 23764 | 11751 50131 151870 | 2147483647 23764 177 | 0.000 % |
11.47/11.51 c | 23885 | 11751 50131 151870 | 2147483647 23885 177 | 0.000 % |
11.47/11.58 c | 24019 | 11751 50131 151870 | 2147483647 24019 177 | 0.000 % |
11.57/11.67 c | 24165 | 11751 50131 151870 | 2147483647 24165 177 | 0.000 % |
11.67/11.75 c | 24327 | 11751 50131 151870 | 2147483647 24327 177 | 0.000 % |
11.77/11.84 c | 24504 | 11751 50131 151870 | 2147483647 24504 177 | 0.000 % |
11.87/11.95 c | 24697 | 11751 50131 151870 | 2147483647 24697 177 | 0.000 % |
11.97/12.07 c | 24909 | 11751 50131 151870 | 2147483647 24909 177 | 0.000 % |
12.07/12.19 c | 25143 | 11751 50131 151870 | 2147483647 25143 177 | 0.000 % |
12.27/12.33 c | 25399 | 11751 50131 151870 | 2147483647 25399 177 | 0.000 % |
12.47/12.50 c | 25680 | 11751 50131 151870 | 2147483647 25680 177 | 0.000 % |
12.58/12.65 c | 25990 | 11751 50131 151870 | 2147483647 25990 177 | 0.000 % |
12.78/12.84 c | 26329 | 11751 50131 151870 | 2147483647 26329 178 | 0.000 % |
12.98/13.06 c | 26701 | 11751 50131 151870 | 2147483647 26701 178 | 0.000 % |
13.18/13.27 c | 27112 | 11751 50131 151870 | 2147483647 27112 178 | 0.000 % |
13.47/13.53 c | 27561 | 11751 50131 151870 | 2147483647 27561 179 | 0.000 % |
13.47/13.59 c | 27662 | 11751 50131 151870 | 2147483647 27662 178 | 0.000 % |
13.57/13.66 c | 27772 | 11751 50131 151870 | 2147483647 27772 178 | 0.000 % |
13.67/13.73 c | 27893 | 11751 50131 151870 | 2147483647 27893 178 | 0.000 % |
13.77/13.81 c | 28028 | 11751 50131 151870 | 2147483647 28028 178 | 0.000 % |
13.87/13.90 c | 28178 | 11751 50131 151870 | 2147483647 28178 178 | 0.000 % |
13.87/14.00 c | 28339 | 11751 50131 151870 | 2147483647 28339 178 | 0.000 % |
14.07/14.11 c | 28517 | 11751 50131 151870 | 2147483647 28517 178 | 0.000 % |
14.18/14.23 c | 28710 | 11751 50131 151870 | 2147483647 28710 178 | 0.000 % |
14.28/14.34 c | 28923 | 11751 50131 151870 | 2147483647 28923 179 | 0.000 % |
14.37/14.48 c | 29156 | 11751 50131 151870 | 2147483647 29156 179 | 0.000 % |
14.57/14.63 c | 29414 | 11751 50131 151870 | 2147483647 29414 179 | 0.000 % |
14.67/14.79 c | 29697 | 11751 50131 151870 | 2147483647 29697 179 | 0.000 % |
14.87/14.97 c | 30007 | 11751 50131 151870 | 2147483647 30007 179 | 0.000 % |
15.07/15.18 c | 30348 | 11751 50131 151870 | 2147483647 30348 179 | 0.000 % |
15.38/15.40 c | 30721 | 11751 50131 151870 | 2147483647 30721 179 | 0.000 % |
15.58/15.65 c | 31130 | 11751 50131 151870 | 2147483647 31130 179 | 0.000 % |
15.88/15.91 c | 31581 | 11751 50131 151870 | 2147483647 31581 180 | 0.000 % |
16.07/16.17 c | 32075 | 11751 50131 151870 | 2147483647 32075 180 | 0.000 % |
16.17/16.24 c | 32177 | 11751 50131 151870 | 2147483647 32177 180 | 0.000 % |
16.27/16.31 c | 32288 | 11751 50131 151870 | 2147483647 32288 180 | 0.000 % |
16.27/16.38 c | 32411 | 11751 50131 151870 | 2147483647 32411 180 | 0.000 % |
16.38/16.45 c | 32547 | 11751 50131 151870 | 2147483647 32547 180 | 0.000 % |
16.48/16.54 c | 32694 | 11751 50131 151870 | 2147483647 32694 180 | 0.000 % |
16.57/16.64 c | 32854 | 11751 50131 151870 | 2147483647 32854 180 | 0.000 % |
16.67/16.75 c | 33030 | 11751 50131 151870 | 2147483647 33030 180 | 0.000 % |
16.77/16.87 c | 33223 | 11751 50131 151870 | 2147483647 33223 180 | 0.000 % |
16.97/17.01 c | 33436 | 11751 50131 151870 | 2147483647 33436 180 | 0.000 % |
17.07/17.15 c | 33672 | 11751 50131 151870 | 2147483647 33672 180 | 0.000 % |
17.27/17.30 c | 33928 | 11751 50131 151870 | 2147483647 33928 180 | 0.000 % |
17.37/17.47 c | 34210 | 11751 50131 151870 | 2147483647 34210 180 | 0.000 % |
17.58/17.67 c | 34521 | 11751 50131 151870 | 2147483647 34521 180 | 0.000 % |
17.77/17.88 c | 34861 | 11751 50131 151870 | 2147483647 34861 180 | 0.000 % |
18.07/18.11 c | 35235 | 11751 50131 151870 | 2147483647 35235 180 | 0.000 % |
18.27/18.37 c | 35644 | 11751 50131 151870 | 2147483647 35644 180 | 0.000 % |
18.57/18.65 c | 36094 | 11751 50131 151870 | 2147483647 36094 180 | 0.000 % |
18.87/18.96 c | 36589 | 11751 50131 151870 | 2147483647 36589 180 | 0.000 % |
19.28/19.30 c | 37131 | 11751 50131 151870 | 2147483647 37131 181 | 0.000 % |
19.28/19.37 c | 37231 | 11751 50131 151870 | 2147483647 37231 181 | 0.000 % |
19.38/19.44 c | 37341 | 11751 50131 151870 | 2147483647 37341 181 | 0.000 % |
19.48/19.51 c | 37462 | 11751 50131 151870 | 2147483647 37462 181 | 0.000 % |
19.58/19.60 c | 37595 | 11751 50131 151870 | 2147483647 37595 181 | 0.000 % |
19.68/19.71 c | 37742 | 11751 50131 151870 | 2147483647 37742 180 | 0.000 % |
19.78/19.80 c | 37903 | 11751 50131 151870 | 2147483647 37903 180 | 0.000 % |
19.87/19.93 c | 38082 | 11751 50131 151870 | 2147483647 38082 180 | 0.000 % |
19.97/20.05 c | 38275 | 11751 50131 151870 | 2147483647 38275 180 | 0.000 % |
20.07/20.19 c | 38488 | 11751 50131 151870 | 2147483647 38488 180 | 0.000 % |
20.27/20.33 c | 38723 | 11751 50131 151870 | 2147483647 38723 180 | 0.000 % |
20.37/20.49 c | 38980 | 11751 50131 151870 | 2147483647 38980 180 | 0.000 % |
20.58/20.66 c | 39262 | 11751 50131 151870 | 2147483647 39262 180 | 0.000 % |
20.78/20.88 c | 39572 | 11751 50131 151870 | 2147483647 39572 181 | 0.000 % |
20.97/21.08 c | 39911 | 11751 50131 151870 | 2147483647 39911 181 | 0.000 % |
21.27/21.31 c | 40284 | 11751 50131 151870 | 2147483647 40284 181 | 0.000 % |
21.47/21.58 c | 40693 | 11751 50131 151870 | 2147483647 40693 181 | 0.000 % |
21.77/21.88 c | 41143 | 11751 50131 151870 | 2147483647 41143 181 | 0.000 % |
22.17/22.21 c | 41637 | 11751 50131 151870 | 2147483647 41637 182 | 0.000 % |
22.47/22.55 c | 42180 | 11751 50131 151870 | 2147483647 42180 182 | 0.000 % |
22.87/22.96 c | 42776 | 11751 50131 151870 | 2147483647 42776 183 | 0.000 % |
22.97/23.04 c | 42878 | 11751 50131 151870 | 2147483647 42878 183 | 0.000 % |
23.07/23.12 c | 42991 | 11751 50131 151870 | 2147483647 42991 183 | 0.000 % |
23.17/23.21 c | 43117 | 11751 50131 151870 | 2147483647 43117 182 | 0.000 % |
23.28/23.30 c | 43252 | 11751 50131 151870 | 2147483647 43252 183 | 0.000 % |
23.38/23.41 c | 43398 | 11751 50131 151870 | 2147483647 43398 183 | 0.000 % |
23.48/23.53 c | 43558 | 11751 50131 151870 | 2147483647 43558 183 | 0.000 % |
23.58/23.66 c | 43734 | 11751 50131 151870 | 2147483647 43734 183 | 0.000 % |
23.68/23.78 c | 43928 | 11751 50131 151870 | 2147483647 43928 183 | 0.000 % |
23.88/23.94 c | 44140 | 11751 50131 151870 | 2147483647 44140 183 | 0.000 % |
23.98/24.09 c | 44374 | 11751 50131 151870 | 2147483647 44374 182 | 0.000 % |
24.18/24.26 c | 44632 | 11751 50131 151870 | 2147483647 44632 182 | 0.000 % |
24.38/24.43 c | 44913 | 11751 50131 151870 | 2147483647 44913 182 | 0.000 % |
24.58/24.65 c | 45222 | 11751 50131 151870 | 2147483647 45222 182 | 0.000 % |
24.88/24.90 c | 45561 | 11751 50131 151870 | 2147483647 45561 182 | 0.000 % |
25.08/25.15 c | 45933 | 11751 50131 151870 | 2147483647 45933 182 | 0.000 % |
25.38/25.41 c | 46342 | 11751 50131 151870 | 2147483647 46342 183 | 0.000 % |
25.68/25.72 c | 46792 | 11751 50131 151870 | 2147483647 46792 183 | 0.000 % |
25.97/26.06 c | 47285 | 11751 50131 151870 | 2147483647 47285 183 | 0.000 % |
26.38/26.43 c | 47827 | 11751 50131 151870 | 2147483647 47827 183 | 0.000 % |
26.77/26.84 c | 48424 | 11751 50131 151870 | 2147483647 48424 183 | 0.000 % |
27.18/27.28 c | 49079 | 11751 50131 151870 | 2147483647 49079 184 | 0.000 % |
27.28/27.36 c | 49179 | 11751 50131 151870 | 2147483647 49179 184 | 0.000 % |
27.38/27.45 c | 49290 | 11751 50131 151870 | 2147483647 49290 184 | 0.000 % |
27.48/27.55 c | 49411 | 11751 50131 151870 | 2147483647 49411 184 | 0.000 % |
27.58/27.66 c | 49547 | 11751 50131 151870 | 2147483647 49547 184 | 0.000 % |
27.68/27.77 c | 49695 | 11751 50131 151870 | 2147483647 49695 184 | 0.000 % |
27.78/27.89 c | 49857 | 11751 50131 151870 | 2147483647 49857 184 | 0.000 % |
27.98/28.01 c | 50034 | 11751 50131 151870 | 2147483647 50034 184 | 0.000 % |
28.08/28.16 c | 50228 | 11751 50131 151870 | 2147483647 50228 184 | 0.000 % |
28.28/28.31 c | 50441 | 11751 50131 151870 | 2147483647 50441 184 | 0.000 % |
28.38/28.48 c | 50675 | 11751 50131 151870 | 2147483647 50675 184 | 0.000 % |
28.58/28.66 c | 50931 | 11751 50131 151870 | 2147483647 50931 184 | 0.000 % |
28.78/28.85 c | 51213 | 11751 50131 151870 | 2147483647 51213 184 | 0.000 % |
28.98/29.09 c | 51523 | 11751 50131 151870 | 2147483647 51523 184 | 0.000 % |
29.28/29.33 c | 51862 | 11751 50131 151870 | 2147483647 51862 184 | 0.000 % |
29.58/29.61 c | 52236 | 11751 50131 151870 | 2147483647 52236 184 | 0.000 % |
29.87/29.90 c | 52645 | 11751 50131 151870 | 2147483647 52645 184 | 0.000 % |
30.17/30.23 c | 53094 | 11751 50131 151870 | 2147483647 53094 184 | 0.000 % |
30.48/30.56 c | 53588 | 11751 50131 151870 | 2147483647 53588 184 | 0.000 % |
30.88/30.96 c | 54134 | 11751 50131 151870 | 2147483647 54134 184 | 0.000 % |
31.28/31.37 c | 54730 | 11751 50131 151870 | 2147483647 54730 184 | 0.000 % |
31.78/31.86 c | 55386 | 11751 50131 151870 | 2147483647 55386 184 | 0.000 % |
32.27/32.35 c | 56108 | 11751 50131 151870 | 2147483647 56108 184 | 0.000 % |
32.37/32.44 c | 56211 | 11751 50131 151870 | 2147483647 56211 184 | 0.000 % |
32.47/32.52 c | 56324 | 11751 50131 151870 | 2147483647 56324 184 | 0.000 % |
32.57/32.62 c | 56446 | 11751 50131 151870 | 2147483647 56446 184 | 0.000 % |
32.67/32.71 c | 56580 | 11751 50131 151870 | 2147483647 56580 184 | 0.000 % |
32.77/32.84 c | 56728 | 11751 50131 151870 | 2147483647 56728 184 | 0.000 % |
32.88/32.97 c | 56889 | 11751 50131 151870 | 2147483647 56889 184 | 0.000 % |
33.07/33.12 c | 57065 | 11751 50131 151870 | 2147483647 57065 184 | 0.000 % |
33.17/33.28 c | 57259 | 11751 50131 151870 | 2147483647 57259 184 | 0.000 % |
33.37/33.45 c | 57471 | 11751 50131 151870 | 2147483647 57471 184 | 0.000 % |
33.57/33.63 c | 57705 | 11751 50131 151870 | 2147483647 57705 184 | 0.000 % |
33.77/33.82 c | 57961 | 11751 50131 151870 | 2147483647 57961 184 | 0.000 % |
33.97/34.05 c | 58242 | 11751 50131 151870 | 2147483647 58242 184 | 0.000 % |
34.17/34.27 c | 58553 | 11751 50131 151870 | 2147483647 58553 184 | 0.000 % |
34.47/34.54 c | 58892 | 11751 50131 151870 | 2147483647 58892 184 | 0.000 % |
34.77/34.83 c | 59265 | 11751 50131 151870 | 2147483647 59265 184 | 0.000 % |
35.07/35.13 c | 59674 | 11751 50131 151870 | 2147483647 59674 185 | 0.000 % |
35.37/35.46 c | 60123 | 11751 50131 151870 | 2147483647 60123 185 | 0.000 % |
35.77/35.86 c | 60616 | 11751 50131 151870 | 2147483647 60616 185 | 0.000 % |
36.18/36.25 c | 61158 | 11751 50131 151870 | 2147483647 61158 185 | 0.000 % |
36.57/36.69 c | 61756 | 11751 50131 151870 | 2147483647 61756 185 | 0.000 % |
37.07/37.17 c | 62412 | 11751 50131 151870 | 2147483647 62412 186 | 0.000 % |
37.67/37.72 c | 63132 | 11751 50131 151870 | 2147483647 63132 186 | 0.000 % |
38.27/38.33 c | 63924 | 11751 50131 151870 | 2147483647 63924 186 | 0.000 % |
38.37/38.42 c | 64024 | 11751 50131 151870 | 2147483647 64024 186 | 0.000 % |
38.47/38.52 c | 64134 | 11751 50131 151870 | 2147483647 64134 186 | 0.000 % |
38.57/38.62 c | 64255 | 11751 50131 151870 | 2147483647 64255 186 | 0.000 % |
38.67/38.73 c | 64390 | 11751 50131 151870 | 2147483647 64390 186 | 0.000 % |
38.78/38.84 c | 64537 | 11751 50131 151870 | 2147483647 64537 186 | 0.000 % |
38.88/38.97 c | 64697 | 11751 50131 151870 | 2147483647 64697 186 | 0.000 % |
39.08/39.12 c | 64873 | 11751 50131 151870 | 2147483647 64873 186 | 0.000 % |
39.18/39.26 c | 65066 | 11751 50131 151870 | 2147483647 65066 186 | 0.000 % |
39.38/39.44 c | 65278 | 11751 50131 151870 | 2147483647 65278 186 | 0.000 % |
39.58/39.64 c | 65513 | 11751 50131 151870 | 2147483647 65513 186 | 0.000 % |
39.78/39.85 c | 65769 | 11751 50131 151870 | 2147483647 65769 186 | 0.000 % |
39.97/40.07 c | 66053 | 11751 50131 151870 | 2147483647 66053 186 | 0.000 % |
40.27/40.31 c | 66362 | 11751 50131 151870 | 2147483647 66362 186 | 0.000 % |
40.47/40.59 c | 66703 | 11751 50131 151870 | 2147483647 66703 186 | 0.000 % |
40.77/40.87 c | 67075 | 11751 50131 151870 | 2147483647 67075 186 | 0.000 % |
41.17/41.22 c | 67485 | 11751 50131 151870 | 2147483647 67485 186 | 0.000 % |
41.47/41.58 c | 67934 | 11751 50131 151870 | 2147483647 67934 186 | 0.000 % |
41.87/41.96 c | 68428 | 11751 50131 151870 | 2147483647 68428 186 | 0.000 % |
42.27/42.40 c | 68970 | 11751 50131 151870 | 2147483647 68970 186 | 0.000 % |
42.77/42.88 c | 69566 | 11751 50131 151870 | 2147483647 69566 186 | 0.000 % |
43.37/43.40 c | 70222 | 11751 50131 151870 | 2147483647 70222 187 | 0.000 % |
43.87/43.99 c | 70942 | 11751 50131 151870 | 2147483647 70942 187 | 0.000 % |
44.58/44.62 c | 71734 | 11751 50131 151870 | 2147483647 71734 187 | 0.000 % |
45.28/45.35 c | 72605 | 11751 50131 151870 | 2147483647 72605 188 | 0.000 % |
45.38/45.45 c | 72705 | 11751 50131 151870 | 2147483647 72705 188 | 0.000 % |
45.47/45.55 c | 72815 | 11751 50131 151870 | 2147483647 72815 188 | 0.000 % |
45.57/45.66 c | 72937 | 11751 50131 151870 | 2147483647 72937 188 | 0.000 % |
45.67/45.79 c | 73070 | 11751 50131 151870 | 2147483647 73070 187 | 0.000 % |
45.87/45.94 c | 73216 | 11751 50131 151870 | 2147483647 73216 187 | 0.000 % |
45.97/46.08 c | 73376 | 11751 50131 151870 | 2147483647 73376 187 | 0.000 % |
46.18/46.23 c | 73553 | 11751 50131 151870 | 2147483647 73553 187 | 0.000 % |
46.38/46.41 c | 73746 | 11751 50131 151870 | 2147483647 73746 187 | 0.000 % |
46.57/46.60 c | 73961 | 11751 50131 151870 | 2147483647 73961 187 | 0.000 % |
46.77/46.82 c | 74195 | 11751 50131 151870 | 2147483647 74195 187 | 0.000 % |
46.97/47.02 c | 74452 | 11751 50131 151870 | 2147483647 74452 187 | 0.000 % |
47.18/47.29 c | 74735 | 11751 50131 151870 | 2147483647 74735 187 | 0.000 % |
47.47/47.54 c | 75044 | 11751 50131 151870 | 2147483647 75044 187 | 0.000 % |
47.77/47.83 c | 75383 | 11751 50131 151870 | 2147483647 75383 187 | 0.000 % |
48.07/48.15 c | 75757 | 11751 50131 151870 | 2147483647 75757 187 | 0.000 % |
48.47/48.50 c | 76167 | 11751 50131 151870 | 2147483647 76167 187 | 0.000 % |
48.77/48.88 c | 76617 | 11751 50131 151870 | 2147483647 76617 187 | 0.000 % |
49.17/49.29 c | 77111 | 11751 50131 151870 | 2147483647 77111 187 | 0.000 % |
49.67/49.77 c | 77654 | 11751 50131 151870 | 2147483647 77654 187 | 0.000 % |
50.18/50.26 c | 78253 | 11751 50131 151870 | 2147483647 78253 187 | 0.000 % |
50.77/50.80 c | 78908 | 11751 50131 151870 | 2147483647 78908 187 | 0.000 % |
51.37/51.40 c | 79631 | 11751 50131 151870 | 2147483647 79631 188 | 0.000 % |
51.97/52.03 c | 80424 | 11751 50131 151870 | 2147483647 80424 188 | 0.000 % |
52.68/52.78 c | 81296 | 11751 50131 151870 | 2147483647 81296 189 | 0.000 % |
53.57/53.61 c | 82254 | 11751 50131 151870 | 2147483647 82254 189 | 0.000 % |
53.67/53.70 c | 82355 | 11751 50131 151870 | 2147483647 82355 189 | 0.000 % |
53.67/53.80 c | 82465 | 11751 50131 151870 | 2147483647 82465 188 | 0.000 % |
53.87/53.93 c | 82587 | 11751 50131 151870 | 2147483647 82587 188 | 0.000 % |
53.97/54.07 c | 82721 | 11751 50131 151870 | 2147483647 82721 188 | 0.000 % |
54.18/54.22 c | 82867 | 11751 50131 151870 | 2147483647 82867 188 | 0.000 % |
54.28/54.38 c | 83028 | 11751 50131 151870 | 2147483647 83028 188 | 0.000 % |
54.48/54.55 c | 83206 | 11751 50131 151870 | 2147483647 83206 188 | 0.000 % |
54.68/54.74 c | 83400 | 11751 50131 151870 | 2147483647 83400 188 | 0.000 % |
54.88/54.96 c | 83613 | 11751 50131 151870 | 2147483647 83613 188 | 0.000 % |
55.08/55.18 c | 83846 | 11751 50131 151870 | 2147483647 83846 188 | 0.000 % |
55.38/55.42 c | 84102 | 11751 50131 151870 | 2147483647 84102 188 | 0.000 % |
55.58/55.67 c | 84383 | 11751 50131 151870 | 2147483647 84383 188 | 0.000 % |
55.87/55.94 c | 84692 | 11751 50131 151870 | 2147483647 84692 188 | 0.000 % |
56.17/56.22 c | 85031 | 11751 50131 151870 | 2147483647 85031 188 | 0.000 % |
56.47/56.58 c | 85403 | 11751 50131 151870 | 2147483647 85403 188 | 0.000 % |
56.87/56.96 c | 85814 | 11751 50131 151870 | 2147483647 85814 188 | 0.000 % |
57.28/57.37 c | 86264 | 11751 50131 151870 | 2147483647 86264 188 | 0.000 % |
57.68/57.79 c | 86757 | 11751 50131 151870 | 2147483647 86757 189 | 0.000 % |
58.18/58.28 c | 87299 | 11751 50131 151870 | 2147483647 87299 189 | 0.000 % |
58.67/58.79 c | 87895 | 11751 50131 151870 | 2147483647 87895 189 | 0.000 % |
59.28/59.34 c | 88550 | 11751 50131 151870 | 2147483647 88550 189 | 0.000 % |
59.97/60.00 c | 89270 | 11751 50131 151870 | 2147483647 89270 189 | 0.000 % |
60.67/60.72 c | 90064 | 11751 50131 151870 | 2147483647 90064 190 | 0.000 % |
61.48/61.51 c | 90935 | 11751 50131 151870 | 2147483647 90935 190 | 0.000 % |
62.28/62.33 c | 91894 | 11751 50131 151870 | 2147483647 91894 190 | 0.000 % |
63.27/63.30 c | 92947 | 11751 50131 151870 | 2147483647 92947 190 | 0.000 % |
63.37/63.41 c | 93047 | 11751 50131 151870 | 2147483647 93047 190 | 0.000 % |
63.47/63.53 c | 93158 | 11751 50131 151870 | 2147483647 93158 190 | 0.000 % |
63.57/63.66 c | 93279 | 11751 50131 151870 | 2147483647 93279 190 | 0.000 % |
63.78/63.80 c | 93412 | 11751 50131 151870 | 2147483647 93412 190 | 0.000 % |
63.87/63.96 c | 93558 | 11751 50131 151870 | 2147483647 93558 190 | 0.000 % |
64.07/64.11 c | 93722 | 11751 50131 151870 | 2147483647 93722 190 | 0.000 % |
64.18/64.29 c | 93900 | 11751 50131 151870 | 2147483647 93900 190 | 0.000 % |
64.38/64.48 c | 94093 | 11751 50131 151870 | 2147483647 94093 190 | 0.000 % |
64.68/64.73 c | 94307 | 11751 50131 151870 | 2147483647 94307 190 | 0.000 % |
64.88/64.96 c | 94543 | 11751 50131 151870 | 2147483647 94543 190 | 0.000 % |
65.18/65.22 c | 94799 | 11751 50131 151870 | 2147483647 94799 190 | 0.000 % |
65.48/65.51 c | 95081 | 11751 50131 151870 | 2147483647 95081 190 | 0.000 % |
65.78/65.81 c | 95391 | 11751 50131 151870 | 2147483647 95391 190 | 0.000 % |
66.08/66.14 c | 95730 | 11751 50131 151870 | 2147483647 95730 190 | 0.000 % |
66.48/66.51 c | 96102 | 11751 50131 151870 | 2147483647 96102 190 | 0.000 % |
66.78/66.88 c | 96511 | 11751 50131 151870 | 2147483647 96511 190 | 0.000 % |
67.28/67.33 c | 96961 | 11751 50131 151870 | 2147483647 96961 190 | 0.000 % |
67.77/67.81 c | 97456 | 11751 50131 151870 | 2147483647 97456 190 | 0.000 % |
68.18/68.29 c | 98000 | 11751 50131 151870 | 2147483647 98000 190 | 0.000 % |
68.77/68.87 c | 98598 | 11751 50131 151870 | 2147483647 98598 191 | 0.000 % |
69.38/69.46 c | 99254 | 11751 50131 151870 | 2147483647 99254 191 | 0.000 % |
70.08/70.16 c | 99974 | 11751 50131 151870 | 2147483647 99974 191 | 0.000 % |
70.77/70.88 c | 100766 | 11751 50131 151870 | 2147483647 100766 192 | 0.000 % |
71.68/71.75 c | 101637 | 11751 50131 151870 | 2147483647 101637 192 | 0.000 % |
72.58/72.65 c | 102595 | 11751 50131 151870 | 2147483647 102595 192 | 0.000 % |
73.68/73.74 c | 103649 | 11751 50131 151870 | 2147483647 103649 192 | 0.000 % |
74.78/74.85 c | 104808 | 11751 50131 151870 | 2147483647 104808 192 | 0.000 % |
74.88/74.97 c | 104909 | 11751 50131 151870 | 2147483647 104909 192 | 0.000 % |
74.98/75.09 c | 105019 | 11751 50131 151870 | 2147483647 105019 192 | 0.000 % |
75.18/75.24 c | 105140 | 11751 50131 151870 | 2147483647 105140 192 | 0.000 % |
75.28/75.39 c | 105273 | 11751 50131 151870 | 2147483647 105273 192 | 0.000 % |
75.48/75.54 c | 105419 | 11751 50131 151870 | 2147483647 105419 192 | 0.000 % |
75.67/75.74 c | 105580 | 11751 50131 151870 | 2147483647 105580 192 | 0.000 % |
75.88/75.97 c | 105758 | 11751 50131 151870 | 2147483647 105758 192 | 0.000 % |
76.07/76.19 c | 105953 | 11751 50131 151870 | 2147483647 105953 192 | 0.000 % |
76.37/76.41 c | 106166 | 11751 50131 151870 | 2147483647 106166 192 | 0.000 % |
76.57/76.66 c | 106401 | 11751 50131 151870 | 2147483647 106401 192 | 0.000 % |
76.77/76.88 c | 106660 | 11751 50131 151870 | 2147483647 106660 192 | 0.000 % |
77.07/77.17 c | 106941 | 11751 50131 151870 | 2147483647 106941 192 | 0.000 % |
77.37/77.48 c | 107250 | 11751 50131 151870 | 2147483647 107250 192 | 0.000 % |
77.77/77.82 c | 107590 | 11751 50131 151870 | 2147483647 107590 192 | 0.000 % |
78.17/78.21 c | 107963 | 11751 50131 151870 | 2147483647 107963 192 | 0.000 % |
78.57/78.66 c | 108372 | 11751 50131 151870 | 2147483647 108372 192 | 0.000 % |
79.08/79.14 c | 108821 | 11751 50131 151870 | 2147483647 108821 192 | 0.000 % |
79.57/79.66 c | 109318 | 11751 50131 151870 | 2147483647 109318 192 | 0.000 % |
80.08/80.18 c | 109861 | 11751 50131 151870 | 2147483647 109861 193 | 0.000 % |
80.78/80.83 c | 110457 | 11751 50131 151870 | 2147483647 110457 192 | 0.000 % |
81.48/81.52 c | 111112 | 11751 50131 151870 | 2147483647 111112 193 | 0.000 % |
82.17/82.24 c | 111832 | 11751 50131 151870 | 2147483647 111832 193 | 0.000 % |
82.98/83.06 c | 112624 | 11751 50131 151870 | 2147483647 112624 193 | 0.000 % |
83.88/83.99 c | 113497 | 11751 50131 151870 | 2147483647 113497 193 | 0.000 % |
84.88/84.98 c | 114457 | 11751 50131 151870 | 2147483647 114457 193 | 0.000 % |
85.97/86.07 c | 115510 | 11751 50131 151870 | 2147483647 115510 193 | 0.000 % |
87.28/87.30 c | 116669 | 11751 50131 151870 | 2147483647 116669 194 | 0.000 % |
88.58/88.66 c | 117942 | 11751 50131 151870 | 2147483647 117942 194 | 0.000 % |
88.68/88.78 c | 118042 | 11751 50131 151870 | 2147483647 118042 194 | 0.000 % |
88.88/88.94 c | 118152 | 11751 50131 151870 | 2147483647 118152 194 | 0.000 % |
89.08/89.12 c | 118275 | 11751 50131 151870 | 2147483647 118275 194 | 0.000 % |
89.28/89.31 c | 118410 | 11751 50131 151870 | 2147483647 118410 194 | 0.000 % |
89.38/89.48 c | 118557 | 11751 50131 151870 | 2147483647 118557 194 | 0.000 % |
89.58/89.68 c | 118717 | 11751 50131 151870 | 2147483647 118717 194 | 0.000 % |
89.78/89.89 c | 118895 | 11751 50131 151870 | 2147483647 118895 194 | 0.000 % |
90.08/90.13 c | 119090 | 11751 50131 151870 | 2147483647 119090 194 | 0.000 % |
90.28/90.37 c | 119302 | 11751 50131 151870 | 2147483647 119302 194 | 0.000 % |
90.58/90.64 c | 119536 | 11751 50131 151870 | 2147483647 119536 194 | 0.000 % |
90.88/90.93 c | 119792 | 11751 50131 151870 | 2147483647 119792 194 | 0.000 % |
91.18/91.26 c | 120073 | 11751 50131 151870 | 2147483647 120073 194 | 0.000 % |
91.58/91.63 c | 120382 | 11751 50131 151870 | 2147483647 120382 194 | 0.000 % |
91.98/92.01 c | 120721 | 11751 50131 151870 | 2147483647 120721 194 | 0.000 % |
92.39/92.41 c | 121096 | 11751 50131 151870 | 2147483647 121096 194 | 0.000 % |
92.78/92.88 c | 121505 | 11751 50131 151870 | 2147483647 121505 194 | 0.000 % |
93.38/93.41 c | 121956 | 11751 50131 151870 | 2147483647 121956 194 | 0.000 % |
93.88/93.96 c | 122451 | 11751 50131 151870 | 2147483647 122451 194 | 0.000 % |
94.49/94.57 c | 122993 | 11751 50131 151870 | 2147483647 122993 194 | 0.000 % |
95.18/95.22 c | 123589 | 11751 50131 151870 | 2147483647 123589 194 | 0.000 % |
95.88/95.95 c | 124244 | 11751 50131 151870 | 2147483647 124244 195 | 0.000 % |
96.68/96.74 c | 124964 | 11751 50131 151870 | 2147483647 124964 195 | 0.000 % |
97.48/97.57 c | 125757 | 11751 50131 151870 | 2147483647 125757 195 | 0.000 % |
98.38/98.49 c | 126629 | 11751 50131 151870 | 2147483647 126629 195 | 0.000 % |
99.48/99.57 c | 127587 | 11751 50131 151870 | 2147483647 127587 195 | 0.000 % |
100.68/100.75 c | 128640 | 11751 50131 151870 | 2147483647 128640 195 | 0.000 % |
101.98/102.05 c | 129798 | 11751 50131 151870 | 2147483647 129798 195 | 0.000 % |
103.39/103.46 c | 131071 | 11751 50131 151870 | 2147483647 131071 196 | 0.000 % |
104.98/105.08 c | 132473 | 11751 50131 151870 | 2147483647 132473 196 | 0.000 % |
105.18/105.21 c | 132573 | 11751 50131 151870 | 2147483647 132573 196 | 0.000 % |
105.28/105.39 c | 132683 | 11751 50131 151870 | 2147483647 132683 196 | 0.000 % |
105.48/105.56 c | 132804 | 11751 50131 151870 | 2147483647 132804 196 | 0.000 % |
105.68/105.74 c | 132938 | 11751 50131 151870 | 2147483647 132938 196 | 0.000 % |
105.88/105.91 c | 133085 | 11751 50131 151870 | 2147483647 133085 196 | 0.000 % |
106.08/106.13 c | 133245 | 11751 50131 151870 | 2147483647 133245 196 | 0.000 % |
106.28/106.34 c | 133421 | 11751 50131 151870 | 2147483647 133421 196 | 0.000 % |
106.48/106.58 c | 133614 | 11751 50131 151870 | 2147483647 133614 196 | 0.000 % |
106.78/106.86 c | 133826 | 11751 50131 151870 | 2147483647 133826 196 | 0.000 % |
107.08/107.13 c | 134062 | 11751 50131 151870 | 2147483647 134062 196 | 0.000 % |
107.38/107.47 c | 134319 | 11751 50131 151870 | 2147483647 134319 196 | 0.000 % |
107.78/107.83 c | 134600 | 11751 50131 151870 | 2147483647 134600 196 | 0.000 % |
108.08/108.18 c | 134909 | 11751 50131 151870 | 2147483647 134909 196 | 0.000 % |
108.48/108.57 c | 135248 | 11751 50131 151870 | 2147483647 135248 196 | 0.000 % |
108.89/108.97 c | 135622 | 11751 50131 151870 | 2147483647 135622 196 | 0.000 % |
109.38/109.44 c | 136031 | 11751 50131 151870 | 2147483647 136031 196 | 0.000 % |
109.98/110.00 c | 136481 | 11751 50131 151870 | 2147483647 136481 196 | 0.000 % |
110.48/110.58 c | 136976 | 11751 50131 151870 | 2147483647 136976 196 | 0.000 % |
111.18/111.22 c | 137519 | 11751 50131 151870 | 2147483647 137519 196 | 0.000 % |
111.88/111.94 c | 138115 | 11751 50131 151870 | 2147483647 138115 196 | 0.000 % |
112.58/112.66 c | 138770 | 11751 50131 151870 | 2147483647 138770 196 | 0.000 % |
113.49/113.52 c | 139491 | 11751 50131 151870 | 2147483647 139491 196 | 0.000 % |
114.29/114.40 c | 140285 | 11751 50131 151870 | 2147483647 140285 196 | 0.000 % |
115.39/115.44 c | 141157 | 11751 50131 151870 | 2147483647 141157 196 | 0.000 % |
116.48/116.59 c | 142115 | 11751 50131 151870 | 2147483647 142115 196 | 0.000 % |
117.78/117.87 c | 143172 | 11751 50131 151870 | 2147483647 143172 196 | 0.000 % |
119.18/119.20 c | 144330 | 11751 50131 151870 | 2147483647 144330 196 | 0.000 % |
120.68/120.75 c | 145603 | 11751 50131 151870 | 2147483647 145603 196 | 0.000 % |
122.39/122.43 c | 147003 | 11751 50131 151870 | 2147483647 147003 197 | 0.000 % |
124.29/124.35 c | 148543 | 11751 50131 151870 | 2147483647 148543 197 | 0.000 % |
124.48/124.52 c | 148643 | 11751 50131 151870 | 2147483647 148643 197 | 0.000 % |
124.58/124.68 c | 148753 | 11751 50131 151870 | 2147483647 148753 197 | 0.000 % |
124.78/124.84 c | 148874 | 11751 50131 151870 | 2147483647 148874 197 | 0.000 % |
124.98/125.01 c | 149009 | 11751 50131 151870 | 2147483647 149009 197 | 0.000 % |
125.18/125.23 c | 149155 | 11751 50131 151870 | 2147483647 149155 197 | 0.000 % |
125.39/125.47 c | 149316 | 11751 50131 151870 | 2147483647 149316 197 | 0.000 % |
125.58/125.69 c | 149492 | 11751 50131 151870 | 2147483647 149492 197 | 0.000 % |
125.88/125.94 c | 149685 | 11751 50131 151870 | 2147483647 149685 197 | 0.000 % |
126.18/126.23 c | 149897 | 11751 50131 151870 | 2147483647 149897 197 | 0.000 % |
126.48/126.54 c | 150131 | 11751 50131 151870 | 2147483647 150131 197 | 0.000 % |
126.78/126.89 c | 150388 | 11751 50131 151870 | 2147483647 150388 197 | 0.000 % |
127.18/127.21 c | 150669 | 11751 50131 151870 | 2147483647 150669 197 | 0.000 % |
127.58/127.62 c | 150978 | 11751 50131 151870 | 2147483647 150978 197 | 0.000 % |
127.99/128.07 c | 151317 | 11751 50131 151870 | 2147483647 151317 197 | 0.000 % |
128.49/128.54 c | 151689 | 11751 50131 151870 | 2147483647 151689 197 | 0.000 % |
128.99/129.04 c | 152099 | 11751 50131 151870 | 2147483647 152099 197 | 0.000 % |
129.59/129.62 c | 152548 | 11751 50131 151870 | 2147483647 152548 197 | 0.000 % |
130.29/130.33 c | 153041 | 11751 50131 151870 | 2147483647 153041 197 | 0.000 % |
130.98/131.01 c | 153586 | 11751 50131 151870 | 2147483647 153586 197 | 0.000 % |
131.68/131.75 c | 154185 | 11751 50131 151870 | 2147483647 154185 197 | 0.000 % |
132.58/132.61 c | 154842 | 11751 50131 151870 | 2147483647 154842 197 | 0.000 % |
133.39/133.46 c | 155563 | 11751 50131 151870 | 2147483647 155563 197 | 0.000 % |
134.38/134.47 c | 156361 | 11751 50131 151870 | 2147483647 156361 198 | 0.000 % |
135.48/135.55 c | 157233 | 11751 50131 151870 | 2147483647 157233 198 | 0.000 % |
136.69/136.73 c | 158192 | 11751 50131 151870 | 2147483647 158192 198 | 0.000 % |
138.09/138.10 c | 159245 | 11751 50131 151870 | 2147483647 159245 198 | 0.000 % |
139.48/139.55 c | 160403 | 11751 50131 151870 | 2147483647 160403 198 | 0.000 % |
141.08/141.18 c | 161676 | 11751 50131 151870 | 2147483647 161676 198 | 0.000 % |
142.99/143.01 c | 163079 | 11751 50131 151870 | 2147483647 163079 199 | 0.000 % |
144.98/145.04 c | 164620 | 11751 50131 151870 | 2147483647 164620 199 | 0.000 % |
147.09/147.20 c | 166314 | 11751 50131 151870 | 2147483647 166314 200 | 0.000 % |
147.29/147.35 c | 166414 | 11751 50131 151870 | 2147483647 166414 200 | 0.000 % |
147.49/147.51 c | 166524 | 11751 50131 151870 | 2147483647 166524 200 | 0.000 % |
147.69/147.72 c | 166647 | 11751 50131 151870 | 2147483647 166647 200 | 0.000 % |
147.89/147.92 c | 166782 | 11751 50131 151870 | 2147483647 166782 200 | 0.000 % |
148.09/148.14 c | 166929 | 11751 50131 151870 | 2147483647 166929 200 | 0.000 % |
148.29/148.36 c | 167090 | 11751 50131 151870 | 2147483647 167090 200 | 0.000 % |
148.58/148.64 c | 167266 | 11751 50131 151870 | 2147483647 167266 200 | 0.000 % |
148.89/148.91 c | 167459 | 11751 50131 151870 | 2147483647 167459 200 | 0.000 % |
149.19/149.23 c | 167672 | 11751 50131 151870 | 2147483647 167672 200 | 0.000 % |
149.49/149.58 c | 167905 | 11751 50131 151870 | 2147483647 167905 199 | 0.000 % |
149.89/149.95 c | 168161 | 11751 50131 151870 | 2147483647 168161 199 | 0.000 % |
150.28/150.35 c | 168442 | 11751 50131 151870 | 2147483647 168442 199 | 0.000 % |
150.69/150.78 c | 168751 | 11751 50131 151870 | 2147483647 168751 199 | 0.000 % |
151.18/151.27 c | 169090 | 11751 50131 151870 | 2147483647 169090 199 | 0.000 % |
151.69/151.79 c | 169463 | 11751 50131 151870 | 2147483647 169463 199 | 0.000 % |
152.28/152.38 c | 169872 | 11751 50131 151870 | 2147483647 169872 199 | 0.000 % |
152.99/153.00 c | 170321 | 11751 50131 151870 | 2147483647 170321 199 | 0.000 % |
153.69/153.74 c | 170815 | 11751 50131 151870 | 2147483647 170815 199 | 0.000 % |
154.39/154.48 c | 171357 | 11751 50131 151870 | 2147483647 171357 199 | 0.000 % |
155.19/155.25 c | 171953 | 11751 50131 151870 | 2147483647 171953 199 | 0.000 % |
156.19/156.20 c | 172613 | 11751 50131 151870 | 2147483647 172613 199 | 0.000 % |
157.08/157.19 c | 173333 | 11751 50131 151870 | 2147483647 173333 199 | 0.000 % |
158.19/158.27 c | 174126 | 11751 50131 151870 | 2147483647 174126 199 | 0.000 % |
159.28/159.37 c | 175000 | 11751 50131 151870 | 2147483647 175000 199 | 0.000 % |
160.69/160.74 c | 175958 | 11751 50131 151870 | 2147483647 175958 200 | 0.000 % |
162.09/162.14 c | 177012 | 11751 50131 151870 | 2147483647 177012 200 | 0.000 % |
163.68/163.74 c | 178170 | 11751 50131 151870 | 2147483647 178170 200 | 0.000 % |
165.39/165.44 c | 179445 | 11751 50131 151870 | 2147483647 179445 200 | 0.000 % |
167.28/167.31 c | 180846 | 11751 50131 151870 | 2147483647 180846 200 | 0.000 % |
169.29/169.39 c | 182388 | 11751 50131 151870 | 2147483647 182388 200 | 0.000 % |
171.59/171.69 c | 184082 | 11751 50131 151870 | 2147483647 184082 200 | 0.000 % |
174.19/174.25 c | 185945 | 11751 50131 151870 | 2147483647 185945 200 | 0.000 % |
174.39/174.43 c | 186046 | 11751 50131 151870 | 2147483647 186046 200 | 0.000 % |
174.59/174.63 c | 186156 | 11751 50131 151870 | 2147483647 186156 200 | 0.000 % |
174.80/174.85 c | 186277 | 11751 50131 151870 | 2147483647 186277 200 | 0.000 % |
174.99/175.06 c | 186410 | 11751 50131 151870 | 2147483647 186410 200 | 0.000 % |
175.29/175.31 c | 186556 | 11751 50131 151870 | 2147483647 186556 200 | 0.000 % |
175.49/175.58 c | 186718 | 11751 50131 151870 | 2147483647 186718 200 | 0.000 % |
175.79/175.86 c | 186894 | 11751 50131 151870 | 2147483647 186894 200 | 0.000 % |
176.09/176.20 c | 187088 | 11751 50131 151870 | 2147483647 187088 200 | 0.000 % |
176.49/176.55 c | 187302 | 11751 50131 151870 | 2147483647 187302 200 | 0.000 % |
176.89/176.93 c | 187536 | 11751 50131 151870 | 2147483647 187536 200 | 0.000 % |
177.29/177.33 c | 187792 | 11751 50131 151870 | 2147483647 187792 200 | 0.000 % |
177.79/177.81 c | 188073 | 11751 50131 151870 | 2147483647 188073 200 | 0.000 % |
178.29/178.33 c | 188382 | 11751 50131 151870 | 2147483647 188382 200 | 0.000 % |
178.78/178.83 c | 188721 | 11751 50131 151870 | 2147483647 188721 200 | 0.000 % |
179.30/179.39 c | 189094 | 11751 50131 151870 | 2147483647 189094 200 | 0.000 % |
179.99/180.00 c | 189503 | 11751 50131 151870 | 2147483647 189503 200 | 0.000 % |
180.69/180.73 c | 189952 | 11751 50131 151870 | 2147483647 189952 200 | 0.000 % |
181.39/181.43 c | 190446 | 11751 50131 151870 | 2147483647 190446 200 | 0.000 % |
182.19/182.22 c | 190989 | 11751 50131 151870 | 2147483647 190989 200 | 0.000 % |
183.09/183.18 c | 191586 | 11751 50131 151870 | 2147483647 191586 200 | 0.000 % |
184.09/184.17 c | 192241 | 11751 50131 151870 | 2147483647 192241 200 | 0.000 % |
185.19/185.24 c | 192964 | 11751 50131 151870 | 2147483647 192964 200 | 0.000 % |
186.29/186.36 c | 193757 | 11751 50131 151870 | 2147483647 193757 200 | 0.000 % |
187.49/187.59 c | 194631 | 11751 50131 151870 | 2147483647 194631 200 | 0.000 % |
188.89/188.93 c | 195590 | 11751 50131 151870 | 2147483647 195590 200 | 0.000 % |
190.49/190.54 c | 196644 | 11751 50131 151870 | 2147483647 196644 200 | 0.000 % |
192.09/192.16 c | 197802 | 11751 50131 151870 | 2147483647 197802 201 | 0.000 % |
193.89/194.00 c | 199076 | 11751 50131 151870 | 2147483647 199076 201 | 0.000 % |
195.99/196.08 c | 200476 | 11751 50131 151870 | 2147483647 200476 201 | 0.000 % |
198.29/198.30 c | 202016 | 11751 50131 151870 | 2147483647 202016 201 | 0.000 % |
200.79/200.83 c | 203710 | 11751 50131 151870 | 2147483647 203710 201 | 0.000 % |
203.40/203.43 c | 205575 | 11751 50131 151870 | 2147483647 205575 202 | 0.000 % |
206.49/206.56 c | 207624 | 11751 50131 151870 | 2147483647 207624 202 | 0.000 % |
206.69/206.72 c | 207724 | 11751 50131 151870 | 2147483647 207724 202 | 0.000 % |
206.89/206.92 c | 207834 | 11751 50131 151870 | 2147483647 207834 202 | 0.000 % |
207.09/207.14 c | 207955 | 11751 50131 151870 | 2147483647 207955 202 | 0.000 % |
207.29/207.38 c | 208088 | 11751 50131 151870 | 2147483647 208088 202 | 0.000 % |
207.59/207.67 c | 208234 | 11751 50131 151870 | 2147483647 208234 202 | 0.000 % |
207.89/207.94 c | 208394 | 11751 50131 151870 | 2147483647 208394 202 | 0.000 % |
208.19/208.27 c | 208570 | 11751 50131 151870 | 2147483647 208570 202 | 0.000 % |
208.60/208.60 c | 208764 | 11751 50131 151870 | 2147483647 208764 202 | 0.000 % |
208.90/208.97 c | 208976 | 11751 50131 151870 | 2147483647 208976 202 | 0.000 % |
209.40/209.41 c | 209209 | 11751 50131 151870 | 2147483647 209209 202 | 0.000 % |
209.80/209.82 c | 209467 | 11751 50131 151870 | 2147483647 209467 202 | 0.000 % |
210.29/210.32 c | 209749 | 11751 50131 151870 | 2147483647 209749 202 | 0.000 % |
210.79/210.87 c | 210059 | 11751 50131 151870 | 2147483647 210059 202 | 0.000 % |
211.39/211.46 c | 210399 | 11751 50131 151870 | 2147483647 210399 202 | 0.000 % |
211.99/212.03 c | 210771 | 11751 50131 151870 | 2147483647 210771 202 | 0.000 % |
212.59/212.68 c | 211180 | 11751 50131 151870 | 2147483647 211180 202 | 0.000 % |
213.39/213.44 c | 211629 | 11751 50131 151870 | 2147483647 211629 202 | 0.000 % |
214.20/214.21 c | 212122 | 11751 50131 151870 | 2147483647 212122 202 | 0.000 % |
215.00/215.07 c | 212666 | 11751 50131 151870 | 2147483647 212666 202 | 0.000 % |
215.99/216.02 c | 213263 | 11751 50131 151870 | 2147483647 213263 202 | 0.000 % |
216.99/217.08 c | 213922 | 11751 50131 151870 | 2147483647 213922 202 | 0.000 % |
218.09/218.18 c | 214643 | 11751 50131 151870 | 2147483647 214643 202 | 0.000 % |
219.50/219.51 c | 215437 | 11751 50131 151870 | 2147483647 215437 202 | 0.000 % |
220.80/220.86 c | 216308 | 11751 50131 151870 | 2147483647 216308 202 | 0.000 % |
222.30/222.37 c | 217267 | 11751 50131 151870 | 2147483647 217267 202 | 0.000 % |
223.89/223.98 c | 218320 | 11751 50131 151870 | 2147483647 218320 202 | 0.000 % |
225.60/225.68 c | 219478 | 11751 50131 151870 | 2147483647 219478 203 | 0.000 % |
227.49/227.58 c | 220755 | 11751 50131 151870 | 2147483647 220755 203 | 0.000 % |
229.70/229.78 c | 222157 | 11751 50131 151870 | 2147483647 222157 203 | 0.000 % |
232.10/232.18 c | 223697 | 11751 50131 151870 | 2147483647 223697 203 | 0.000 % |
234.60/234.62 c | 225391 | 11751 50131 151870 | 2147483647 225391 203 | 0.000 % |
237.39/237.47 c | 227254 | 11751 50131 151870 | 2147483647 227254 204 | 0.000 % |
240.59/240.63 c | 229303 | 11751 50131 151870 | 2147483647 229303 204 | 0.000 % |
244.09/244.16 c | 231556 | 11751 50131 151870 | 2147483647 231556 204 | 0.000 % |
244.39/244.43 c | 231656 | 11751 50131 151870 | 2147483647 231656 204 | 0.000 % |
244.59/244.66 c | 231768 | 11751 50131 151870 | 2147483647 231768 204 | 0.000 % |
244.89/244.92 c | 231891 | 11751 50131 151870 | 2147483647 231891 204 | 0.000 % |
245.09/245.19 c | 232024 | 11751 50131 151870 | 2147483647 232024 204 | 0.000 % |
245.49/245.53 c | 232172 | 11751 50131 151870 | 2147483647 232172 204 | 0.000 % |
245.79/245.86 c | 232334 | 11751 50131 151870 | 2147483647 232334 204 | 0.000 % |
246.08/246.20 c | 232510 | 11751 50131 151870 | 2147483647 232510 204 | 0.000 % |
246.48/246.55 c | 232704 | 11751 50131 151870 | 2147483647 232704 204 | 0.000 % |
246.88/246.97 c | 232918 | 11751 50131 151870 | 2147483647 232918 204 | 0.000 % |
247.39/247.41 c | 233151 | 11751 50131 151870 | 2147483647 233151 204 | 0.000 % |
247.88/247.90 c | 233407 | 11751 50131 151870 | 2147483647 233407 204 | 0.000 % |
248.38/248.45 c | 233688 | 11751 50131 151870 | 2147483647 233688 204 | 0.000 % |
248.99/249.00 c | 233997 | 11751 50131 151870 | 2147483647 233997 204 | 0.000 % |
249.60/249.61 c | 234337 | 11751 50131 151870 | 2147483647 234337 204 | 0.000 % |
250.29/250.32 c | 234709 | 11751 50131 151870 | 2147483647 234709 204 | 0.000 % |
250.99/251.05 c | 235121 | 11751 50131 151870 | 2147483647 235121 204 | 0.000 % |
251.79/251.82 c | 235571 | 11751 50131 151870 | 2147483647 235571 204 | 0.000 % |
252.69/252.71 c | 236064 | 11751 50131 151870 | 2147483647 236064 204 | 0.000 % |
253.69/253.71 c | 236606 | 11751 50131 151870 | 2147483647 236606 204 | 0.000 % |
254.69/254.78 c | 237204 | 11751 50131 151870 | 2147483647 237204 204 | 0.000 % |
255.89/255.90 c | 237859 | 11751 50131 151870 | 2147483647 237859 204 | 0.000 % |
257.09/257.17 c | 238580 | 11751 50131 151870 | 2147483647 238580 204 | 0.000 % |
258.39/258.49 c | 239372 | 11751 50131 151870 | 2147483647 239372 204 | 0.000 % |
259.99/260.02 c | 240244 | 11751 50131 151870 | 2147483647 240244 204 | 0.000 % |
261.49/261.50 c | 241203 | 11751 50131 151870 | 2147483647 241203 204 | 0.000 % |
263.19/263.25 c | 242256 | 11751 50131 151870 | 2147483647 242256 204 | 0.000 % |
265.19/265.20 c | 243416 | 11751 50131 151870 | 2147483647 243416 205 | 0.000 % |
267.29/267.34 c | 244690 | 11751 50131 151870 | 2147483647 244690 205 | 0.000 % |
269.70/269.77 c | 246091 | 11751 50131 151870 | 2147483647 246091 205 | 0.000 % |
272.39/272.43 c | 247631 | 11751 50131 151870 | 2147483647 247631 205 | 0.000 % |
275.09/275.17 c | 249326 | 11751 50131 151870 | 2147483647 249326 205 | 0.000 % |
278.29/278.34 c | 251190 | 11751 50131 151870 | 2147483647 251190 206 | 0.000 % |
281.69/281.79 c | 253239 | 11751 50131 151870 | 2147483647 253239 206 | 0.000 % |
285.59/285.60 c | 255492 | 11751 50131 151870 | 2147483647 255492 206 | 0.000 % |
289.49/289.59 c | 257971 | 11751 50131 151870 | 2147483647 257971 207 | 0.000 % |
289.79/289.81 c | 258071 | 11751 50131 151870 | 2147483647 258071 207 | 0.000 % |
289.99/290.07 c | 258181 | 11751 50131 151870 | 2147483647 258181 207 | 0.000 % |
290.29/290.36 c | 258302 | 11751 50131 151870 | 2147483647 258302 207 | 0.000 % |
290.59/290.65 c | 258436 | 11751 50131 151870 | 2147483647 258436 207 | 0.000 % |
290.89/290.96 c | 258583 | 11751 50131 151870 | 2147483647 258583 207 | 0.000 % |
291.29/291.33 c | 258744 | 11751 50131 151870 | 2147483647 258744 207 | 0.000 % |
291.69/291.71 c | 258920 | 11751 50131 151870 | 2147483647 258920 207 | 0.000 % |
292.09/292.10 c | 259114 | 11751 50131 151870 | 2147483647 259114 207 | 0.000 % |
292.49/292.54 c | 259326 | 11751 50131 151870 | 2147483647 259326 207 | 0.000 % |
292.99/293.01 c | 259559 | 11751 50131 151870 | 2147483647 259559 207 | 0.000 % |
293.49/293.55 c | 259816 | 11751 50131 151870 | 2147483647 259816 207 | 0.000 % |
294.10/294.13 c | 260098 | 11751 50131 151870 | 2147483647 260098 207 | 0.000 % |
294.70/294.80 c | 260407 | 11751 50131 151870 | 2147483647 260407 207 | 0.000 % |
295.40/295.47 c | 260746 | 11751 50131 151870 | 2147483647 260746 207 | 0.000 % |
296.19/296.20 c | 261123 | 11751 50131 151870 | 2147483647 261123 207 | 0.000 % |
296.79/296.90 c | 261532 | 11751 50131 151870 | 2147483647 261532 207 | 0.000 % |
297.80/297.84 c | 261981 | 11751 50131 151870 | 2147483647 261981 207 | 0.000 % |
298.70/298.75 c | 262475 | 11751 50131 151870 | 2147483647 262475 207 | 0.000 % |
299.69/299.79 c | 263017 | 11751 50131 151870 | 2147483647 263017 207 | 0.000 % |
300.99/301.02 c | 263614 | 11751 50131 151870 | 2147483647 263614 207 | 0.000 % |
302.19/302.27 c | 264269 | 11751 50131 151870 | 2147483647 264269 207 | 0.000 % |
303.59/303.60 c | 264989 | 11751 50131 151870 | 2147483647 264989 207 | 0.000 % |
305.00/305.07 c | 265782 | 11751 50131 151870 | 2147483647 265782 207 | 0.000 % |
306.70/306.74 c | 266656 | 11751 50131 151870 | 2147483647 266656 207 | 0.000 % |
308.49/308.53 c | 267617 | 11751 50131 151870 | 2147483647 267617 207 | 0.000 % |
310.39/310.49 c | 268670 | 11751 50131 151870 | 2147483647 268670 207 | 0.000 % |
312.40/312.49 c | 269828 | 11751 50131 151870 | 2147483647 269828 207 | 0.000 % |
314.80/314.85 c | 271103 | 11751 50131 151870 | 2147483647 271103 207 | 0.000 % |
317.29/317.38 c | 272504 | 11751 50131 151870 | 2147483647 272504 207 | 0.000 % |
320.30/320.38 c | 274046 | 11751 50131 151870 | 2147483647 274046 207 | 0.000 % |
323.50/323.51 c | 275741 | 11751 50131 151870 | 2147483647 275741 208 | 0.000 % |
326.79/326.80 c | 277604 | 11751 50131 151870 | 2147483647 277604 208 | 0.000 % |
330.70/330.73 c | 279653 | 11751 50131 151870 | 2147483647 279653 208 | 0.000 % |
334.90/334.99 c | 281906 | 11751 50131 151870 | 2147483647 281906 209 | 0.000 % |
339.50/339.55 c | 284384 | 11751 50131 151870 | 2147483647 284384 210 | 0.000 % |
344.20/344.27 c | 287109 | 11751 50131 151870 | 2147483647 287109 210 | 0.000 % |
344.50/344.50 c | 287209 | 11751 50131 151870 | 2147483647 287209 210 | 0.000 % |
344.70/344.78 c | 287320 | 11751 50131 151870 | 2147483647 287320 210 | 0.000 % |
345.00/345.05 c | 287441 | 11751 50131 151870 | 2147483647 287441 210 | 0.000 % |
345.30/345.39 c | 287575 | 11751 50131 151870 | 2147483647 287575 210 | 0.000 % |
345.70/345.78 c | 287721 | 11751 50131 151870 | 2147483647 287721 210 | 0.000 % |
346.10/346.13 c | 287881 | 11751 50131 151870 | 2147483647 287881 210 | 0.000 % |
346.50/346.54 c | 288058 | 11751 50131 151870 | 2147483647 288058 210 | 0.000 % |
346.90/346.98 c | 288252 | 11751 50131 151870 | 2147483647 288252 210 | 0.000 % |
347.40/347.42 c | 288465 | 11751 50131 151870 | 2147483647 288465 210 | 0.000 % |
347.90/347.93 c | 288700 | 11751 50131 151870 | 2147483647 288700 210 | 0.000 % |
348.50/348.51 c | 288957 | 11751 50131 151870 | 2147483647 288957 210 | 0.000 % |
349.00/349.04 c | 289240 | 11751 50131 151870 | 2147483647 289240 210 | 0.000 % |
349.71/349.72 c | 289550 | 11751 50131 151870 | 2147483647 289550 210 | 0.000 % |
350.50/350.51 c | 289890 | 11751 50131 151870 | 2147483647 289890 210 | 0.000 % |
351.30/351.32 c | 290262 | 11751 50131 151870 | 2147483647 290262 210 | 0.000 % |
352.10/352.19 c | 290671 | 11751 50131 151870 | 2147483647 290671 210 | 0.000 % |
353.10/353.11 c | 291121 | 11751 50131 151870 | 2147483647 291121 210 | 0.000 % |
354.10/354.17 c | 291614 | 11751 50131 151870 | 2147483647 291614 210 | 0.000 % |
355.21/355.27 c | 292156 | 11751 50131 151870 | 2147483647 292156 210 | 0.000 % |
356.50/356.57 c | 292753 | 11751 50131 151870 | 2147483647 292753 210 | 0.000 % |
357.80/357.87 c | 293410 | 11751 50131 151870 | 2147483647 293410 210 | 0.000 % |
359.20/359.27 c | 294131 | 11751 50131 151870 | 2147483647 294131 210 | 0.000 % |
360.81/360.89 c | 294930 | 11751 50131 151870 | 2147483647 294930 210 | 0.000 % |
362.50/362.55 c | 295801 | 11751 50131 151870 | 2147483647 295801 210 | 0.000 % |
364.30/364.38 c | 296759 | 11751 50131 151870 | 2147483647 296759 210 | 0.000 % |
366.20/366.27 c | 297812 | 11751 50131 151870 | 2147483647 297812 210 | 0.000 % |
368.50/368.58 c | 298970 | 11751 50131 151870 | 2147483647 298970 211 | 0.000 % |
370.90/370.91 c | 300248 | 11751 50131 151870 | 2147483647 300248 211 | 0.000 % |
373.60/373.65 c | 301648 | 11751 50131 151870 | 2147483647 301648 211 | 0.000 % |
376.50/376.54 c | 303188 | 11751 50131 151870 | 2147483647 303188 211 | 0.000 % |
379.80/379.88 c | 304882 | 11751 50131 151870 | 2147483647 304882 211 | 0.000 % |
383.40/383.46 c | 306747 | 11751 50131 151870 | 2147483647 306747 211 | 0.000 % |
387.50/387.56 c | 308798 | 11751 50131 151870 | 2147483647 308798 211 | 0.000 % |
392.01/392.02 c | 311052 | 11751 50131 151870 | 2147483647 311052 212 | 0.000 % |
397.00/397.09 c | 313530 | 11751 50131 151870 | 2147483647 313530 212 | 0.000 % |
402.61/402.70 c | 316255 | 11751 50131 151870 | 2147483647 316255 212 | 0.000 % |
408.50/408.57 c | 319253 | 11751 50131 151870 | 2147483647 319253 212 | 0.000 % |
408.80/408.81 c | 319354 | 11751 50131 151870 | 2147483647 319354 212 | 0.000 % |
409.00/409.07 c | 319465 | 11751 50131 151870 | 2147483647 319465 212 | 0.000 % |
409.30/409.35 c | 319586 | 11751 50131 151870 | 2147483647 319586 212 | 0.000 % |
409.70/409.75 c | 319721 | 11751 50131 151870 | 2147483647 319721 212 | 0.000 % |
410.10/410.13 c | 319868 | 11751 50131 151870 | 2147483647 319868 212 | 0.000 % |
410.50/410.52 c | 320029 | 11751 50131 151870 | 2147483647 320029 212 | 0.000 % |
410.90/410.97 c | 320205 | 11751 50131 151870 | 2147483647 320205 212 | 0.000 % |
411.41/411.47 c | 320398 | 11751 50131 151870 | 2147483647 320398 212 | 0.000 % |
411.90/411.99 c | 320610 | 11751 50131 151870 | 2147483647 320610 212 | 0.000 % |
412.51/412.58 c | 320843 | 11751 50131 151870 | 2147483647 320843 212 | 0.000 % |
413.11/413.17 c | 321102 | 11751 50131 151870 | 2147483647 321102 212 | 0.000 % |
413.71/413.78 c | 321383 | 11751 50131 151870 | 2147483647 321383 212 | 0.000 % |
414.40/414.50 c | 321692 | 11751 50131 151870 | 2147483647 321692 212 | 0.000 % |
415.20/415.29 c | 322031 | 11751 50131 151870 | 2147483647 322031 212 | 0.000 % |
416.10/416.19 c | 322405 | 11751 50131 151870 | 2147483647 322405 212 | 0.000 % |
417.10/417.11 c | 322815 | 11751 50131 151870 | 2147483647 322815 212 | 0.000 % |
418.10/418.13 c | 323264 | 11751 50131 151870 | 2147483647 323264 212 | 0.000 % |
419.21/419.20 c | 323757 | 11751 50131 151870 | 2147483647 323757 212 | 0.000 % |
420.51/420.53 c | 324299 | 11751 50131 151870 | 2147483647 324299 212 | 0.000 % |
421.81/421.84 c | 324895 | 11751 50131 151870 | 2147483647 324895 212 | 0.000 % |
423.21/423.28 c | 325552 | 11751 50131 151870 | 2147483647 325552 212 | 0.000 % |
424.81/424.89 c | 326273 | 11751 50131 151870 | 2147483647 326273 212 | 0.000 % |
426.50/426.57 c | 327066 | 11751 50131 151870 | 2147483647 327066 212 | 0.000 % |
428.50/428.53 c | 327939 | 11751 50131 151870 | 2147483647 327939 212 | 0.000 % |
430.61/430.65 c | 328899 | 11751 50131 151870 | 2147483647 328899 212 | 0.000 % |
432.81/432.85 c | 329952 | 11751 50131 151870 | 2147483647 329952 212 | 0.000 % |
435.21/435.26 c | 331111 | 11751 50131 151870 | 2147483647 331111 212 | 0.000 % |
438.00/438.00 c | 332384 | 11751 50131 151870 | 2147483647 332384 212 | 0.000 % |
440.71/440.78 c | 333784 | 11751 50131 151870 | 2147483647 333784 212 | 0.000 % |
444.00/444.00 c | 335325 | 11751 50131 151870 | 2147483647 335325 212 | 0.000 % |
447.41/447.43 c | 337021 | 11751 50131 151870 | 2147483647 337021 212 | 0.000 % |
451.51/451.52 c | 338884 | 11751 50131 151870 | 2147483647 338884 212 | 0.000 % |
455.71/455.73 c | 340933 | 11751 50131 151870 | 2147483647 340933 212 | 0.000 % |
460.51/460.54 c | 343186 | 11751 50131 151870 | 2147483647 343186 212 | 0.000 % |
465.61/465.65 c | 345665 | 11751 50131 151870 | 2147483647 345665 212 | 0.000 % |
471.51/471.55 c | 348390 | 11751 50131 151870 | 2147483647 348390 213 | 0.000 % |
477.91/477.92 c | 351388 | 11751 50131 151870 | 2147483647 351388 213 | 0.000 % |
485.12/485.17 c | 354684 | 11751 50131 151870 | 2147483647 354684 213 | 0.000 % |
485.41/485.42 c | 354785 | 11751 50131 151870 | 2147483647 354785 213 | 0.000 % |
485.71/485.72 c | 354896 | 11751 50131 151870 | 2147483647 354896 213 | 0.000 % |
486.01/486.07 c | 355018 | 11751 50131 151870 | 2147483647 355018 213 | 0.000 % |
486.51/486.51 c | 355152 | 11751 50131 151870 | 2147483647 355152 213 | 0.000 % |
486.91/486.97 c | 355299 | 11751 50131 151870 | 2147483647 355299 213 | 0.000 % |
487.41/487.42 c | 355459 | 11751 50131 151870 | 2147483647 355459 213 | 0.000 % |
487.91/487.90 c | 355635 | 11751 50131 151870 | 2147483647 355635 213 | 0.000 % |
488.31/488.38 c | 355831 | 11751 50131 151870 | 2147483647 355831 213 | 0.000 % |
488.91/488.96 c | 356044 | 11751 50131 151870 | 2147483647 356044 213 | 0.000 % |
489.62/489.61 c | 356278 | 11751 50131 151870 | 2147483647 356278 213 | 0.000 % |
490.31/490.34 c | 356535 | 11751 50131 151870 | 2147483647 356535 213 | 0.000 % |
491.12/491.15 c | 356819 | 11751 50131 151870 | 2147483647 356819 213 | 0.000 % |
492.01/492.00 c | 357128 | 11751 50131 151870 | 2147483647 357128 213 | 0.000 % |
492.82/492.81 c | 357467 | 11751 50131 151870 | 2147483647 357467 213 | 0.000 % |
493.71/493.79 c | 357839 | 11751 50131 151870 | 2147483647 357839 213 | 0.000 % |
494.91/494.91 c | 358249 | 11751 50131 151870 | 2147483647 358249 213 | 0.000 % |
496.01/496.04 c | 358700 | 11751 50131 151870 | 2147483647 358700 213 | 0.000 % |
497.21/497.25 c | 359194 | 11751 50131 151870 | 2147483647 359194 213 | 0.000 % |
498.52/498.53 c | 359739 | 11751 50131 151870 | 2147483647 359739 213 | 0.000 % |
499.92/499.98 c | 360335 | 11751 50131 151870 | 2147483647 360335 213 | 0.000 % |
501.42/501.50 c | 360991 | 11751 50131 151870 | 2147483647 360991 213 | 0.000 % |
503.11/503.11 c | 361712 | 11751 50131 151870 | 2147483647 361712 213 | 0.000 % |
505.01/505.00 c | 362504 | 11751 50131 151870 | 2147483647 362504 213 | 0.000 % |
507.12/507.18 c | 363376 | 11751 50131 151870 | 2147483647 363376 213 | 0.000 % |
509.22/509.27 c | 364334 | 11751 50131 151870 | 2147483647 364334 213 | 0.000 % |
511.71/511.76 c | 365387 | 11751 50131 151870 | 2147483647 365387 213 | 0.000 % |
514.41/514.42 c | 366545 | 11751 50131 151870 | 2147483647 366545 213 | 0.000 % |
517.51/517.54 c | 367818 | 11751 50131 151870 | 2147483647 367818 213 | 0.000 % |
520.61/520.69 c | 369219 | 11751 50131 151870 | 2147483647 369219 213 | 0.000 % |
524.51/524.54 c | 370760 | 11751 50131 151870 | 2147483647 370760 213 | 0.000 % |
528.22/528.24 c | 372455 | 11751 50131 151870 | 2147483647 372455 214 | 0.000 % |
532.51/532.53 c | 374321 | 11751 50131 151870 | 2147483647 374321 214 | 0.000 % |
537.11/537.16 c | 376372 | 11751 50131 151870 | 2147483647 376372 214 | 0.000 % |
542.32/542.34 c | 378625 | 11751 50131 151870 | 2147483647 378625 214 | 0.000 % |
548.02/548.09 c | 381104 | 11751 50131 151870 | 2147483647 381104 214 | 0.000 % |
554.12/554.18 c | 383830 | 11751 50131 151870 | 2147483647 383830 214 | 0.000 % |
560.93/560.92 c | 386828 | 11751 50131 151870 | 2147483647 386828 214 | 0.000 % |
568.62/568.64 c | 390124 | 11751 50131 151870 | 2147483647 390124 215 | 0.000 % |
576.92/576.97 c | 393752 | 11751 50131 151870 | 2147483647 393752 215 | 0.000 % |
577.22/577.26 c | 393853 | 11751 50131 151870 | 2147483647 393853 215 | 0.000 % |
577.62/577.62 c | 393963 | 11751 50131 151870 | 2147483647 393963 215 | 0.000 % |
577.91/577.98 c | 394085 | 11751 50131 151870 | 2147483647 394085 215 | 0.000 % |
578.41/578.48 c | 394219 | 11751 50131 151870 | 2147483647 394219 215 | 0.000 % |
578.91/578.96 c | 394366 | 11751 50131 151870 | 2147483647 394366 215 | 0.000 % |
579.41/579.42 c | 394526 | 11751 50131 151870 | 2147483647 394526 215 | 0.000 % |
579.91/579.99 c | 394702 | 11751 50131 151870 | 2147483647 394702 215 | 0.000 % |
580.51/580.58 c | 394895 | 11751 50131 151870 | 2147483647 394895 215 | 0.000 % |
581.21/581.28 c | 395108 | 11751 50131 151870 | 2147483647 395108 215 | 0.000 % |
582.02/582.05 c | 395342 | 11751 50131 151870 | 2147483647 395342 215 | 0.000 % |
582.72/582.77 c | 395598 | 11751 50131 151870 | 2147483647 395598 215 | 0.000 % |
583.52/583.57 c | 395880 | 11751 50131 151870 | 2147483647 395880 215 | 0.000 % |
584.42/584.44 c | 396189 | 11751 50131 151870 | 2147483647 396189 215 | 0.000 % |
585.42/585.41 c | 396528 | 11751 50131 151870 | 2147483647 396528 215 | 0.000 % |
586.52/586.53 c | 396901 | 11751 50131 151870 | 2147483647 396901 215 | 0.000 % |
587.61/587.62 c | 397310 | 11751 50131 151870 | 2147483647 397310 215 | 0.000 % |
588.92/588.90 c | 397759 | 11751 50131 151870 | 2147483647 397759 215 | 0.000 % |
590.12/590.13 c | 398253 | 11751 50131 151870 | 2147483647 398253 215 | 0.000 % |
591.62/591.67 c | 398796 | 11751 50131 151870 | 2147483647 398796 215 | 0.000 % |
593.12/593.17 c | 399392 | 11751 50131 151870 | 2147483647 399392 215 | 0.000 % |
594.92/594.91 c | 400047 | 11751 50131 151870 | 2147483647 400047 215 | 0.000 % |
596.81/596.80 c | 400769 | 11751 50131 151870 | 2147483647 400769 215 | 0.000 % |
598.81/598.85 c | 401561 | 11751 50131 151870 | 2147483647 401561 215 | 0.000 % |
601.12/601.16 c | 402432 | 11751 50131 151870 | 2147483647 402432 215 | 0.000 % |
603.62/603.64 c | 403393 | 11751 50131 151870 | 2147483647 403393 215 | 0.000 % |
606.32/606.34 c | 404446 | 11751 50131 151870 | 2147483647 404446 215 | 0.000 % |
609.01/609.09 c | 405604 | 11751 50131 151870 | 2147483647 405604 215 | 0.000 % |
612.21/612.26 c | 406880 | 11751 50131 151870 | 2147483647 406880 215 | 0.000 % |
615.72/615.79 c | 408280 | 11751 50131 151870 | 2147483647 408280 215 | 0.000 % |
619.71/619.72 c | 409823 | 11751 50131 151870 | 2147483647 409823 215 | 0.000 % |
623.52/623.51 c | 411517 | 11751 50131 151870 | 2147483647 411517 215 | 0.000 % |
628.32/628.36 c | 413380 | 11751 50131 151870 | 2147483647 413380 216 | 0.000 % |
633.72/633.73 c | 415429 | 11751 50131 151870 | 2147483647 415429 216 | 0.000 % |
639.12/639.18 c | 417682 | 11751 50131 151870 | 2147483647 417682 216 | 0.000 % |
644.92/644.99 c | 420160 | 11751 50131 151870 | 2147483647 420160 216 | 0.000 % |
651.62/651.68 c | 422885 | 11751 50131 151870 | 2147483647 422885 217 | 0.000 % |
658.92/658.93 c | 425883 | 11751 50131 151870 | 2147483647 425883 217 | 0.000 % |
667.12/667.11 c | 429180 | 11751 50131 151870 | 2147483647 429180 217 | 0.000 % |
675.73/675.76 c | 432807 | 11751 50131 151870 | 2147483647 432807 218 | 0.000 % |
686.33/686.38 c | 436794 | 11751 50131 151870 | 2147483647 436794 218 | 0.000 % |
686.73/686.71 c | 436894 | 11751 50131 151870 | 2147483647 436894 218 | 0.000 % |
687.03/687.08 c | 437007 | 11751 50131 151870 | 2147483647 437007 218 | 0.000 % |
687.53/687.57 c | 437129 | 11751 50131 151870 | 2147483647 437129 218 | 0.000 % |
688.03/688.08 c | 437263 | 11751 50131 151870 | 2147483647 437263 218 | 0.000 % |
688.53/688.53 c | 437409 | 11751 50131 151870 | 2147483647 437409 218 | 0.000 % |
689.03/689.03 c | 437569 | 11751 50131 151870 | 2147483647 437569 218 | 0.000 % |
689.63/689.62 c | 437745 | 11751 50131 151870 | 2147483647 437745 218 | 0.000 % |
690.22/690.24 c | 437938 | 11751 50131 151870 | 2147483647 437938 218 | 0.000 % |
690.92/690.93 c | 438152 | 11751 50131 151870 | 2147483647 438152 218 | 0.000 % |
691.62/691.63 c | 438387 | 11751 50131 151870 | 2147483647 438387 218 | 0.000 % |
692.42/692.40 c | 438643 | 11751 50131 151870 | 2147483647 438643 218 | 0.000 % |
693.22/693.25 c | 438925 | 11751 50131 151870 | 2147483647 438925 218 | 0.000 % |
694.12/694.14 c | 439235 | 11751 50131 151870 | 2147483647 439235 218 | 0.000 % |
695.22/695.21 c | 439576 | 11751 50131 151870 | 2147483647 439576 218 | 0.000 % |
696.42/696.40 c | 439949 | 11751 50131 151870 | 2147483647 439949 218 | 0.000 % |
697.62/697.60 c | 440359 | 11751 50131 151870 | 2147483647 440359 218 | 0.000 % |
698.83/698.85 c | 440808 | 11751 50131 151870 | 2147483647 440808 218 | 0.000 % |
700.33/700.31 c | 441301 | 11751 50131 151870 | 2147483647 441301 218 | 0.000 % |
701.93/701.96 c | 441845 | 11751 50131 151870 | 2147483647 441845 218 | 0.000 % |
703.73/703.72 c | 442441 | 11751 50131 151870 | 2147483647 442441 217 | 0.000 % |
705.42/705.46 c | 443098 | 11751 50131 151870 | 2147483647 443098 218 | 0.000 % |
707.62/707.66 c | 443818 | 11751 50131 151870 | 2147483647 443818 217 | 0.000 % |
709.63/709.64 c | 444612 | 11751 50131 151870 | 2147483647 444612 218 | 0.000 % |
712.12/712.13 c | 445483 | 11751 50131 151870 | 2147483647 445483 218 | 0.000 % |
714.93/714.97 c | 446442 | 11751 50131 151870 | 2147483647 446442 217 | 0.000 % |
717.73/717.77 c | 447495 | 11751 50131 151870 | 2147483647 447495 217 | 0.000 % |
720.92/720.93 c | 448654 | 11751 50131 151870 | 2147483647 448654 217 | 0.000 % |
724.52/724.51 c | 449928 | 11751 50131 151870 | 2147483647 449928 218 | 0.000 % |
728.33/728.35 c | 451330 | 11751 50131 151870 | 2147483647 451330 218 | 0.000 % |
732.42/732.48 c | 452870 | 11751 50131 151870 | 2147483647 452870 218 | 0.000 % |
736.93/736.95 c | 454564 | 11751 50131 151870 | 2147483647 454564 218 | 0.000 % |
742.23/742.24 c | 456427 | 11751 50131 151870 | 2147483647 456427 218 | 0.000 % |
747.62/747.66 c | 458477 | 11751 50131 151870 | 2147483647 458477 218 | 0.000 % |
754.03/754.04 c | 460730 | 11751 50131 151870 | 2147483647 460730 218 | 0.000 % |
760.73/760.71 c | 463209 | 11751 50131 151870 | 2147483647 463209 218 | 0.000 % |
767.73/767.79 c | 465934 | 11751 50131 151870 | 2147483647 465934 218 | 0.000 % |
775.83/775.82 c | 468931 | 11751 50131 151870 | 2147483647 468931 218 | 0.000 % |
783.93/783.99 c | 472228 | 11751 50131 151870 | 2147483647 472228 219 | 0.000 % |
793.63/793.68 c | 475853 | 11751 50131 151870 | 2147483647 475853 219 | 0.000 % |
803.94/803.99 c | 479840 | 11751 50131 151870 | 2147483647 479840 219 | 0.000 % |
815.44/815.47 c | 484225 | 11751 50131 151870 | 2147483647 484225 219 | 0.000 % |
815.83/815.84 c | 484326 | 11751 50131 151870 | 2147483647 484326 219 | 0.000 % |
816.24/816.25 c | 484436 | 11751 50131 151870 | 2147483647 484436 219 | 0.000 % |
816.63/816.67 c | 484557 | 11751 50131 151870 | 2147483647 484557 219 | 0.000 % |
817.24/817.22 c | 484690 | 11751 50131 151870 | 2147483647 484690 219 | 0.000 % |
817.73/817.78 c | 484838 | 11751 50131 151870 | 2147483647 484838 219 | 0.000 % |
818.34/818.35 c | 484999 | 11751 50131 151870 | 2147483647 484999 219 | 0.000 % |
819.13/819.11 c | 485175 | 11751 50131 151870 | 2147483647 485175 219 | 0.000 % |
819.83/819.84 c | 485370 | 11751 50131 151870 | 2147483647 485370 219 | 0.000 % |
820.54/820.57 c | 485582 | 11751 50131 151870 | 2147483647 485582 219 | 0.000 % |
821.43/821.48 c | 485815 | 11751 50131 151870 | 2147483647 485815 219 | 0.000 % |
822.43/822.41 c | 486072 | 11751 50131 151870 | 2147483647 486072 219 | 0.000 % |
823.43/823.40 c | 486353 | 11751 50131 151870 | 2147483647 486353 219 | 0.000 % |
824.43/824.43 c | 486662 | 11751 50131 151870 | 2147483647 486662 219 | 0.000 % |
825.43/825.49 c | 487001 | 11751 50131 151870 | 2147483647 487001 219 | 0.000 % |
826.83/826.83 c | 487373 | 11751 50131 151870 | 2147483647 487373 219 | 0.000 % |
828.14/828.12 c | 487782 | 11751 50131 151870 | 2147483647 487782 219 | 0.000 % |
829.53/829.54 c | 488232 | 11751 50131 151870 | 2147483647 488232 219 | 0.000 % |
831.23/831.24 c | 488726 | 11751 50131 151870 | 2147483647 488726 219 | 0.000 % |
832.93/832.93 c | 489268 | 11751 50131 151870 | 2147483647 489268 219 | 0.000 % |
834.63/834.69 c | 489865 | 11751 50131 151870 | 2147483647 489865 219 | 0.000 % |
836.73/836.78 c | 490520 | 11751 50131 151870 | 2147483647 490520 219 | 0.000 % |
839.23/839.26 c | 491242 | 11751 50131 151870 | 2147483647 491242 219 | 0.000 % |
841.73/841.75 c | 492034 | 11751 50131 151870 | 2147483647 492034 219 | 0.000 % |
844.74/844.76 c | 492905 | 11751 50131 151870 | 2147483647 492905 219 | 0.000 % |
847.83/847.82 c | 493863 | 11751 50131 151870 | 2147483647 493863 219 | 0.000 % |
851.03/851.03 c | 494916 | 11751 50131 151870 | 2147483647 494916 219 | 0.000 % |
854.43/854.45 c | 496074 | 11751 50131 151870 | 2147483647 496074 219 | 0.000 % |
858.54/858.51 c | 497348 | 11751 50131 151870 | 2147483647 497348 219 | 0.000 % |
863.04/863.02 c | 498749 | 11751 50131 151870 | 2147483647 498749 219 | 0.000 % |
867.43/867.46 c | 500289 | 11751 50131 151870 | 2147483647 500289 219 | 0.000 % |
872.44/872.45 c | 501983 | 11751 50131 151870 | 2147483647 501983 219 | 0.000 % |
878.04/878.09 c | 503846 | 11751 50131 151870 | 2147483647 503846 219 | 0.000 % |
883.93/883.96 c | 505895 | 11751 50131 151870 | 2147483647 505895 219 | 0.000 % |
890.33/890.38 c | 508148 | 11751 50131 151870 | 2147483647 508148 219 | 0.000 % |
897.84/897.81 c | 510626 | 11751 50131 151870 | 2147483647 510626 219 | 0.000 % |
905.93/905.99 c | 513353 | 11751 50131 151870 | 2147483647 513353 219 | 0.000 % |
914.84/914.85 c | 516351 | 11751 50131 151870 | 2147483647 516351 219 | 0.000 % |
924.54/924.55 c | 519650 | 11751 50131 151870 | 2147483647 519650 220 | 0.000 % |
934.74/934.77 c | 523275 | 11751 50131 151870 | 2147483647 523275 220 | 0.000 % |
946.24/946.21 c | 527264 | 11751 50131 151870 | 2147483647 527264 220 | 0.000 % |
958.64/958.69 c | 531650 | 11751 50131 151870 | 2147483647 531650 221 | 0.000 % |
972.64/972.69 c | 536473 | 11751 50131 151870 | 2147483647 536473 221 | 0.000 % |
973.04/973.00 c | 536573 | 11751 50131 151870 | 2147483647 536573 221 | 0.000 % |
973.55/973.58 c | 536683 | 11751 50131 151870 | 2147483647 536683 221 | 0.000 % |
974.14/974.11 c | 536804 | 11751 50131 151870 | 2147483647 536804 221 | 0.000 % |
974.65/974.64 c | 536937 | 11751 50131 151870 | 2147483647 536937 221 | 0.000 % |
975.24/975.25 c | 537083 | 11751 50131 151870 | 2147483647 537083 221 | 0.000 % |
976.04/976.02 c | 537247 | 11751 50131 151870 | 2147483647 537247 221 | 0.000 % |
976.74/976.73 c | 537423 | 11751 50131 151870 | 2147483647 537423 221 | 0.000 % |
977.54/977.52 c | 537616 | 11751 50131 151870 | 2147483647 537616 221 | 0.000 % |
978.34/978.32 c | 537829 | 11751 50131 151870 | 2147483647 537829 221 | 0.000 % |
979.24/979.24 c | 538062 | 11751 50131 151870 | 2147483647 538062 221 | 0.000 % |
980.34/980.32 c | 538319 | 11751 50131 151870 | 2147483647 538319 221 | 0.000 % |
981.35/981.38 c | 538600 | 11751 50131 151870 | 2147483647 538600 221 | 0.000 % |
982.55/982.55 c | 538909 | 11751 50131 151870 | 2147483647 538909 221 | 0.000 % |
983.85/983.85 c | 539250 | 11751 50131 151870 | 2147483647 539250 221 | 0.000 % |
985.14/985.19 c | 539622 | 11751 50131 151870 | 2147483647 539622 221 | 0.000 % |
986.65/986.66 c | 540031 | 11751 50131 151870 | 2147483647 540031 221 | 0.000 % |
988.25/988.27 c | 540481 | 11751 50131 151870 | 2147483647 540481 221 | 0.000 % |
990.05/990.05 c | 540974 | 11751 50131 151870 | 2147483647 540974 221 | 0.000 % |
991.94/991.97 c | 541516 | 11751 50131 151870 | 2147483647 541516 221 | 0.000 % |
994.14/994.17 c | 542112 | 11751 50131 151870 | 2147483647 542112 221 | 0.000 % |
996.44/996.44 c | 542767 | 11751 50131 151870 | 2147483647 542767 221 | 0.000 % |
998.94/998.92 c | 543491 | 11751 50131 151870 | 2147483647 543491 221 | 0.000 % |
1001.65/1001.62 c | 544284 | 11751 50131 151870 | 2147483647 544284 221 | 0.000 % |
1004.55/1004.55 c | 545156 | 11751 50131 151870 | 2147483647 545156 221 | 0.000 % |
1007.55/1007.59 c | 546116 | 11751 50131 151870 | 2147483647 546116 221 | 0.000 % |
1011.04/1011.04 c | 547172 | 11751 50131 151870 | 2147483647 547172 221 | 0.000 % |
1014.65/1014.69 c | 548330 | 11751 50131 151870 | 2147483647 548330 221 | 0.000 % |
1018.84/1018.86 c | 549604 | 11751 50131 151870 | 2147483647 549604 221 | 0.000 % |
1023.55/1023.50 c | 551004 | 11751 50131 151870 | 2147483647 551004 221 | 0.000 % |
1028.75/1028.70 c | 552544 | 11751 50131 151870 | 2147483647 552544 221 | 0.000 % |
1034.35/1034.32 c | 554238 | 11751 50131 151870 | 2147483647 554238 221 | 0.000 % |
1040.55/1040.51 c | 556101 | 11751 50131 151870 | 2147483647 556101 221 | 0.000 % |
1046.55/1046.51 c | 558150 | 11751 50131 151870 | 2147483647 558150 221 | 0.000 % |
1053.25/1053.28 c | 560404 | 11751 50131 151870 | 2147483647 560404 221 | 0.000 % |
1060.75/1060.77 c | 562883 | 11751 50131 151870 | 2147483647 562883 221 | 0.000 % |
1069.05/1069.08 c | 565609 | 11751 50131 151870 | 2147483647 565609 221 | 0.000 % |
1078.56/1078.57 c | 568606 | 11751 50131 151870 | 2147483647 568606 221 | 0.000 % |
1088.85/1088.84 c | 571902 | 11751 50131 151870 | 2147483647 571902 222 | 0.000 % |
1100.35/1100.32 c | 575527 | 11751 50131 151870 | 2147483647 575527 222 | 0.000 % |
1113.16/1113.17 c | 579514 | 11751 50131 151870 | 2147483647 579514 222 | 0.000 % |
1126.86/1126.80 c | 583899 | 11751 50131 151870 | 2147483647 583899 222 | 0.000 % |
1142.55/1142.50 c | 588724 | 11751 50131 151870 | 2147483647 588724 222 | 0.000 % |
1159.66/1159.61 c | 594030 | 11751 50131 151870 | 2147483647 594030 223 | 0.000 % |
1160.16/1160.16 c | 594132 | 11751 50131 151870 | 2147483647 594132 223 | 0.000 % |
1160.75/1160.71 c | 594242 | 11751 50131 151870 | 2147483647 594242 223 | 0.000 % |
1161.36/1161.34 c | 594363 | 11751 50131 151870 | 2147483647 594363 223 | 0.000 % |
1161.96/1161.96 c | 594496 | 11751 50131 151870 | 2147483647 594496 223 | 0.000 % |
1162.56/1162.57 c | 594642 | 11751 50131 151870 | 2147483647 594642 223 | 0.000 % |
1163.26/1163.29 c | 594804 | 11751 50131 151870 | 2147483647 594804 223 | 0.000 % |
1164.16/1164.10 c | 594980 | 11751 50131 151870 | 2147483647 594980 222 | 0.000 % |
1164.97/1164.91 c | 595174 | 11751 50131 151870 | 2147483647 595174 222 | 0.000 % |
1165.76/1165.74 c | 595389 | 11751 50131 151870 | 2147483647 595389 222 | 0.000 % |
1166.76/1166.71 c | 595622 | 11751 50131 151870 | 2147483647 595622 222 | 0.000 % |
1167.66/1167.70 c | 595878 | 11751 50131 151870 | 2147483647 595878 222 | 0.000 % |
1168.96/1168.98 c | 596159 | 11751 50131 151870 | 2147483647 596159 222 | 0.000 % |
1170.26/1170.24 c | 596468 | 11751 50131 151870 | 2147483647 596468 222 | 0.000 % |
1171.46/1171.48 c | 596808 | 11751 50131 151870 | 2147483647 596808 222 | 0.000 % |
1172.96/1172.97 c | 597181 | 11751 50131 151870 | 2147483647 597181 222 | 0.000 % |
1174.46/1174.44 c | 597590 | 11751 50131 151870 | 2147483647 597590 222 | 0.000 % |
1176.16/1176.17 c | 598039 | 11751 50131 151870 | 2147483647 598039 222 | 0.000 % |
1178.06/1178.09 c | 598532 | 11751 50131 151870 | 2147483647 598532 222 | 0.000 % |
1180.36/1180.34 c | 599076 | 11751 50131 151870 | 2147483647 599076 222 | 0.000 % |
1182.76/1182.79 c | 599672 | 11751 50131 151870 | 2147483647 599672 222 | 0.000 % |
1185.36/1185.35 c | 600327 | 11751 50131 151870 | 2147483647 600327 222 | 0.000 % |
1188.06/1188.01 c | 601048 | 11751 50131 151870 | 2147483647 601048 222 | 0.000 % |
1191.16/1191.14 c | 601840 | 11751 50131 151870 | 2147483647 601840 222 | 0.000 % |
1194.16/1194.19 c | 602711 | 11751 50131 151870 | 2147483647 602711 222 | 0.000 % |
1197.66/1197.65 c | 603670 | 11751 50131 151870 | 2147483647 603670 222 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832809-1242788220/watcher-1832809-1242788220 -o /tmp/evaluation-result-1832809-1242788220/solver-1832809-1242788220 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832809-1242788220.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 9733
/proc/meminfo: memFree=1797576/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0
/proc/9733/stat : 9733 (SatELiteGTI) R 9731 9733 8855 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306855367 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231961979379 0 0 4100 65536 0 0 0 17 0 0 0
/proc/9733/statm: 1339 237 197 169 0 50 0
[startup+0.088754 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 9733
/proc/meminfo: memFree=1797576/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306855367 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9733/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10175 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 9733
/proc/meminfo: memFree=1797576/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306855367 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9733/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.3017 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 9733
/proc/meminfo: memFree=1797576/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 5356
[startup+0.70159 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 9733
/proc/meminfo: memFree=1797576/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 5356
[startup+1.50135 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9739
/proc/meminfo: memFree=1790840/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=7192 CPUtime=1.26
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 1639 0 0 0 125 1 0 0 25 0 1 0 306855390 7364608 1625 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 1798 1625 77 171 0 1625 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12548
[startup+3.10189 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9739
/proc/meminfo: memFree=1788856/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=9836 CPUtime=2.86
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 2317 0 0 0 285 1 0 0 25 0 1 0 306855390 10072064 2303 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 2459 2303 77 171 0 2286 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15192
[startup+6.30199 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9739
/proc/meminfo: memFree=1783224/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=15004 CPUtime=6.06
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 3589 0 0 0 604 2 0 0 25 0 1 0 306855390 15364096 3575 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 3751 3575 77 171 0 3578 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20360
[startup+12.7022 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9739
/proc/meminfo: memFree=1773496/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=24244 CPUtime=12.47
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 5916 0 0 0 1242 5 0 0 25 0 1 0 306855390 24825856 5902 1992294400 134512640 135215339 4294956240 18446744073709551615 134528942 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 6061 5902 77 171 0 5888 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29600
[startup+25.5015 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9739
/proc/meminfo: memFree=1756920/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=40196 CPUtime=25.27
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 9899 0 0 0 2519 8 0 0 25 0 1 0 306855390 41160704 9885 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 10049 9885 77 171 0 9876 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45552
[startup+51.1012 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9739
/proc/meminfo: memFree=1730808/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=66452 CPUtime=50.86
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 16462 0 0 0 5072 14 0 0 25 0 1 0 306855390 68046848 16448 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 16613 16448 77 171 0 16440 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71808
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9739
/proc/meminfo: memFree=1687160/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=109540 CPUtime=102.08
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 27224 0 0 0 10182 26 0 0 25 0 1 0 306855390 112168960 27210 1992294400 134512640 135215339 4294956240 18446744073709551615 134532678 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 27385 27210 77 171 0 27212 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 114896
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9739
/proc/meminfo: memFree=1646392/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=150612 CPUtime=162.08
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 37467 0 0 0 16171 37 0 0 25 0 1 0 306855390 154226688 37453 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 37653 37453 77 171 0 37480 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 155968
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9739
/proc/meminfo: memFree=1610936/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=185744 CPUtime=222.09
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 46201 0 0 0 22159 50 0 0 25 0 1 0 306855390 190201856 46187 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 46436 46187 77 171 0 46263 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 191100
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9745
/proc/meminfo: memFree=1577272/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=219280 CPUtime=282.08
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 54619 0 0 0 28148 60 0 0 25 0 1 0 306855390 224542720 54605 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 54820 54605 77 171 0 54647 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 224636
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9745
/proc/meminfo: memFree=1544888/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=251356 CPUtime=342.09
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 62660 0 0 0 34139 70 0 0 25 0 1 0 306855390 257388544 62646 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 62839 62646 77 171 0 62666 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 256712
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9745
/proc/meminfo: memFree=1516536/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=280344 CPUtime=402.09
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 69786 0 0 0 40131 78 0 0 25 0 1 0 306855390 287072256 69772 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 70086 69772 77 171 0 69913 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 285700
[startup+462.301 s]
################
# More data... #
################
/proc/9739/statm: 82099 81857 77 171 0 81926 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 333752
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9745
/proc/meminfo: memFree=1442552/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=353084 CPUtime=582.11
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 88066 0 0 0 58109 102 0 0 25 0 1 0 306855390 361558016 88052 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 88271 88052 77 171 0 88098 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 358440
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9745
/proc/meminfo: memFree=1419192/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=376188 CPUtime=642.12
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 93857 0 0 0 64104 108 0 0 25 0 1 0 306855390 385216512 93843 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 94047 93843 77 171 0 93874 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 381544
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9745
/proc/meminfo: memFree=1396664/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=398628 CPUtime=702.12
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 99496 0 0 0 70098 114 0 0 25 0 1 0 306855390 408195072 99482 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 99657 99482 77 171 0 99484 0
Current children cumulated CPU time (s) 702.33
Current children cumulated vsize (KiB) 403984
[startup+762.306 s]
/proc/loadavg: 1.04 1.00 1.00 2/66 9745
/proc/meminfo: memFree=1375992/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=418956 CPUtime=762.12
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 104579 0 0 0 76092 120 0 0 25 0 1 0 306855390 429010944 104565 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 104739 104565 77 171 0 104566 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 424312
[startup+822.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 9745
/proc/meminfo: memFree=1354040/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=441648 CPUtime=822.12
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 110068 0 0 0 82086 126 0 0 25 0 1 0 306855390 452247552 110054 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 110412 110054 77 171 0 110239 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 447004
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9745
/proc/meminfo: memFree=1336824/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=458676 CPUtime=882.12
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 114328 0 0 0 88081 131 0 0 25 0 1 0 306855390 469684224 114314 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 114669 114314 77 171 0 114496 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 464032
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9745
/proc/meminfo: memFree=1316024/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=479532 CPUtime=942.13
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 119566 0 0 0 94075 138 0 0 25 0 1 0 306855390 491040768 119552 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 119883 119552 77 171 0 119710 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 484888
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9745
/proc/meminfo: memFree=1297656/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=497484 CPUtime=1002.14
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 124059 0 0 0 100070 144 0 0 25 0 1 0 306855390 509423616 124045 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 124371 124045 77 171 0 124198 0
Current children cumulated CPU time (s) 1002.35
Current children cumulated vsize (KiB) 502840
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9745
/proc/meminfo: memFree=1279928/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=515172 CPUtime=1062.14
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 128522 0 0 0 106064 150 0 0 25 0 1 0 306855390 527536128 128508 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 128793 128508 77 171 0 128620 0
Current children cumulated CPU time (s) 1062.35
Current children cumulated vsize (KiB) 520528
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9745
/proc/meminfo: memFree=1261368/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=533520 CPUtime=1122.14
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 133132 0 0 0 112059 155 0 0 25 0 1 0 306855390 546324480 133118 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 133380 133118 77 171 0 133207 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 538876
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9745
/proc/meminfo: memFree=1244152/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=550548 CPUtime=1182.15
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 137407 0 0 0 118055 160 0 0 25 0 1 0 306855390 563761152 137393 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 137637 137393 77 171 0 137464 0
Current children cumulated CPU time (s) 1182.36
Current children cumulated vsize (KiB) 555904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9745
/proc/meminfo: memFree=1239608/2055920 swapFree=4180240/4192956
[pid=9733] ppid=9731 vsize=5356 CPUtime=0.21
/proc/9733/stat : 9733 (SatELiteGTI) S 9731 9733 8855 0 -1 4194304 336 1833 0 0 0 0 20 1 16 0 1 0 306855367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9733/statm: 1339 239 197 169 0 50 0
[pid=9739] ppid=9733 vsize=554904 CPUtime=1199.86
/proc/9739/stat : 9739 (minisat_static) R 9733 9733 8855 0 -1 4194304 138477 0 0 0 119824 162 0 0 25 0 1 0 306855390 568221696 138463 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9739/statm: 138726 138463 77 171 0 138553 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 560260
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 9733 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=206968
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=16997
# CPU time returned by wait4() is 0.223965
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.02
CPU time (s): 1200.07
CPU user time (s): 1198.44
CPU system time (s): 1.63
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 560260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.206968
system time used= 0.016997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2169
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= 12
involuntary context switches= 7
runsolver used 1.42978 second user time and 3.02554 second system time
The end
Begin job on node16 at 2009-05-20 04:57:00
IDJOB=1832809
IDBENCH=70368
IDSOLVER=671
FILE ID=node16/1832809-1242788220
PBS_JOBID= 9322321
Free space on /tmp= 66360 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/12000/unif-k3-r4.2-v12000-c50400-S221596758-009.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832809-1242788220/watcher-1832809-1242788220 -o /tmp/evaluation-result-1832809-1242788220/solver-1832809-1242788220 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832809-1242788220.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4e7f5c25a1af5225c3ae5cd2b08760df
RANDOM SEED=158176924
node16.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.234
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.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1798056 kB
Buffers: 29636 kB
Cached: 180540 kB
SwapCached: 7016 kB
Active: 111324 kB
Inactive: 107324 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1798056 kB
SwapTotal: 4192956 kB
SwapFree: 4180240 kB
Dirty: 2512 kB
Writeback: 0 kB
Mapped: 13576 kB
Slab: 25336 kB
Committed_AS: 1079252 kB
PageTables: 1448 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= 66360 MiB
End job on node16 at 2009-05-20 05:17:02