0.00/0.00 c Parsing...
0.00/0.16 c ==============================================================================
0.00/0.16 c | | ORIGINAL | LEARNT | |
0.00/0.16 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.16 c ==============================================================================
0.00/0.16 c | 0 | 305320 613120 | 91595 0 0 nan | 0.000 % |
2.08/2.12 c | 0 | 302045 1020095 | -- 0 -- -- | -- | -3275/406975
2.08/2.12 c ==============================================================================
2.08/2.12 c Result : #vars: 2560 #clauses: 302045 #literals: 1020095
2.08/2.12 c CPU time: 2.07668 s
2.08/2.12 c ==============================================================================
2.38/2.42 c This is MiniSat 2.0 beta
2.38/2.42 c WARNING: for repeatability, setting FPU to use double precision
2.38/2.42 c ============================[ Problem Statistics ]=============================
2.38/2.42 c | |
2.38/2.42 c | Number of variables: 2560 |
2.38/2.42 c | Number of clauses: 302045 |
2.41/2.59 c | Parsing time: 0.14 s |
2.41/2.60 c ============================[ Search Statistics ]==============================
2.41/2.60 c | Conflicts | ORIGINAL | LEARNT | Progress |
2.41/2.60 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.41/2.60 c ===============================================================================
2.41/2.60 c | 0 | 2560 302045 1020095 | 100681 0 nan | 0.000 % |
2.41/2.66 c | 101 | 2560 302045 1020095 | 100681 101 213 | 0.000 % |
2.41/2.71 c | 203 | 2560 302045 1020095 | 100681 203 177 | 0.000 % |
2.41/2.74 c | 303 | 2560 302045 1020095 | 100681 303 152 | 0.000 % |
2.41/2.78 c | 413 | 2560 302045 1020095 | 100681 413 140 | 0.005 % |
2.41/2.81 c | 514 | 2560 302045 1020095 | 100681 514 131 | 0.005 % |
2.41/2.85 c | 625 | 2560 302045 1020095 | 100681 625 138 | 0.000 % |
2.41/2.90 c | 747 | 2560 302045 1020095 | 100681 747 140 | 0.005 % |
2.41/2.93 c | 847 | 2560 302045 1020095 | 100681 847 136 | 0.005 % |
2.41/2.97 c | 957 | 2560 302045 1020095 | 100681 957 132 | 0.005 % |
2.41/3.00 c | 1079 | 2560 302045 1020095 | 100681 1079 133 | 0.000 % |
2.41/3.05 c | 1214 | 2560 302045 1020095 | 100681 1214 138 | 0.000 % |
2.41/3.08 c | 1315 | 2560 302045 1020095 | 100681 1315 140 | 0.004 % |
2.41/3.11 c | 1426 | 2560 302045 1020095 | 100681 1426 137 | 0.004 % |
2.41/3.15 c | 1547 | 2560 302045 1020095 | 100681 1547 136 | 0.004 % |
2.41/3.19 c | 1680 | 2560 302045 1020095 | 100681 1680 142 | 0.000 % |
3.18/3.23 c | 1828 | 2560 302045 1020095 | 100681 1828 142 | 0.000 % |
3.18/3.26 c | 1928 | 2560 302045 1020095 | 100681 1928 141 | 0.004 % |
3.18/3.30 c | 2038 | 2560 302045 1020095 | 100681 2038 143 | 0.004 % |
3.27/3.33 c | 2159 | 2560 302045 1020095 | 100681 2159 145 | 0.000 % |
3.27/3.37 c | 2292 | 2560 302045 1020095 | 100681 2292 147 | 0.000 % |
3.37/3.41 c | 2439 | 2560 302045 1020095 | 100681 2439 146 | 0.000 % |
3.37/3.46 c | 2600 | 2560 302045 1020095 | 100681 2600 145 | 0.000 % |
3.37/3.50 c | 2700 | 2560 302045 1020095 | 100681 2700 145 | 0.000 % |
3.48/3.53 c | 2811 | 2560 302045 1020095 | 100681 2811 144 | 0.003 % |
3.48/3.57 c | 2934 | 2560 302045 1020095 | 100681 2934 142 | 0.000 % |
3.57/3.60 c | 3067 | 2560 302045 1020095 | 100681 3067 140 | 0.003 % |
3.57/3.65 c | 3213 | 2560 302045 1020095 | 100681 3213 142 | 0.000 % |
3.67/3.71 c | 3373 | 2560 302045 1020095 | 100681 3373 141 | 0.000 % |
3.67/3.76 c | 3549 | 2560 302045 1020095 | 100681 3549 139 | 0.004 % |
3.77/3.80 c | 3649 | 2560 302045 1020095 | 100681 3649 140 | 0.000 % |
3.77/3.84 c | 3760 | 2560 302045 1020095 | 100681 3760 139 | 0.000 % |
3.77/3.87 c | 3882 | 2560 302045 1020095 | 100681 3882 139 | 0.004 % |
3.87/3.92 c | 4015 | 2560 302045 1020095 | 100681 4015 138 | 0.000 % |
3.87/3.99 c | 4162 | 2560 302045 1020095 | 100681 4162 139 | 0.000 % |
3.97/4.04 c | 4323 | 2560 302045 1020095 | 100681 4323 138 | 0.000 % |
4.07/4.10 c | 4502 | 2560 302045 1020095 | 100681 4502 138 | 0.003 % |
4.07/4.16 c | 4697 | 2560 302045 1020095 | 100681 4697 139 | 0.000 % |
4.17/4.20 c | 4798 | 2560 302045 1020095 | 100681 4798 138 | 0.005 % |
4.17/4.24 c | 4909 | 2560 302045 1020095 | 100681 4909 138 | 0.004 % |
4.17/4.28 c | 5030 | 2560 302045 1020095 | 100681 5030 138 | 0.000 % |
4.28/4.33 c | 5165 | 2560 302045 1020095 | 100681 5165 137 | 0.000 % |
4.28/4.37 c | 5313 | 2560 302045 1020095 | 100681 5313 137 | 0.000 % |
4.38/4.42 c | 5473 | 2560 302045 1020095 | 100681 5473 137 | 0.004 % |
4.38/4.49 c | 5651 | 2560 302045 1020095 | 100681 5651 137 | 0.000 % |
4.47/4.55 c | 5846 | 2560 302045 1020095 | 100681 5846 136 | 0.004 % |
4.57/4.61 c | 6060 | 2560 302045 1020095 | 100681 6060 135 | 0.000 % |
4.57/4.65 c | 6160 | 2560 302045 1020095 | 100681 6160 136 | 0.000 % |
4.57/4.68 c | 6271 | 2560 302045 1020095 | 100681 6271 136 | 0.000 % |
4.67/4.73 c | 6392 | 2560 302045 1020095 | 100681 6392 139 | 0.000 % |
4.67/4.78 c | 6527 | 2560 302045 1020095 | 100681 6527 139 | 0.000 % |
4.77/4.83 c | 6673 | 2560 302045 1020095 | 100681 6673 141 | 0.000 % |
4.77/4.89 c | 6835 | 2560 302045 1020095 | 100681 6835 141 | 0.000 % |
4.87/4.95 c | 7011 | 2560 302045 1020095 | 100681 7011 141 | 0.000 % |
4.97/5.02 c | 7204 | 2560 302045 1020095 | 100681 7204 142 | 0.000 % |
4.97/5.09 c | 7417 | 2560 302045 1020095 | 100681 7417 142 | 0.000 % |
5.07/5.17 c | 7652 | 2560 302045 1020095 | 100681 7652 143 | 0.000 % |
5.17/5.21 c | 7752 | 2560 302045 1020095 | 100681 7752 144 | 0.000 % |
5.17/5.25 c | 7863 | 2560 302045 1020095 | 100681 7863 143 | 0.004 % |
5.27/5.30 c | 7986 | 2560 302045 1020095 | 100681 7986 143 | 0.000 % |
5.27/5.35 c | 8121 | 2560 302045 1020095 | 100681 8121 143 | 0.003 % |
5.27/5.40 c | 8268 | 2560 302045 1020095 | 100681 8268 142 | 0.000 % |
5.37/5.46 c | 8428 | 2560 302045 1020095 | 100681 8428 141 | 0.004 % |
5.47/5.52 c | 8605 | 2560 302045 1020095 | 100681 8605 141 | 0.004 % |
5.47/5.59 c | 8798 | 2560 302045 1020095 | 100681 8798 140 | 0.004 % |
5.57/5.66 c | 9012 | 2560 302045 1020095 | 100681 9012 139 | 0.004 % |
5.67/5.75 c | 9245 | 2560 302045 1020095 | 100681 9245 140 | 0.000 % |
5.77/5.83 c | 9502 | 2560 302045 1020095 | 100681 9502 139 | 0.000 % |
5.77/5.87 c | 9603 | 2560 302045 1020095 | 100681 9603 140 | 0.000 % |
5.87/5.91 c | 9713 | 2560 302045 1020095 | 100681 9713 139 | 0.004 % |
5.87/5.96 c | 9835 | 2560 302045 1020095 | 100681 9835 139 | 0.000 % |
5.97/6.00 c | 9968 | 2560 302045 1020095 | 100681 9968 139 | 0.000 % |
5.97/6.05 c | 10114 | 2560 302045 1020095 | 2147483647 10114 139 | 0.004 % |
6.07/6.11 c | 10274 | 2560 302045 1020095 | 2147483647 10274 138 | 0.003 % |
6.07/6.17 c | 10450 | 2560 302045 1020095 | 2147483647 10450 138 | 0.003 % |
6.17/6.24 c | 10643 | 2560 302045 1020095 | 2147483647 10643 138 | 0.000 % |
6.27/6.31 c | 10857 | 2560 302045 1020095 | 2147483647 10857 138 | 0.000 % |
6.37/6.41 c | 11091 | 2560 302045 1020095 | 2147483647 11091 138 | 0.003 % |
6.47/6.53 c | 11347 | 2560 302045 1020095 | 2147483647 11347 140 | 0.000 % |
6.57/6.64 c | 11628 | 2560 302045 1020095 | 2147483647 11628 141 | 0.000 % |
6.57/6.68 c | 11729 | 2560 302045 1020095 | 2147483647 11729 141 | 0.000 % |
6.67/6.73 c | 11840 | 2560 302045 1020095 | 2147483647 11840 141 | 0.003 % |
6.67/6.78 c | 11961 | 2560 302045 1020095 | 2147483647 11961 141 | 0.004 % |
6.76/6.83 c | 12095 | 2560 302045 1020095 | 2147483647 12095 141 | 0.000 % |
6.76/6.89 c | 12241 | 2560 302045 1020095 | 2147483647 12241 141 | 0.000 % |
6.86/6.96 c | 12402 | 2560 302045 1020095 | 2147483647 12402 141 | 0.005 % |
6.96/7.03 c | 12578 | 2560 302045 1020095 | 2147483647 12578 141 | 0.000 % |
7.06/7.11 c | 12771 | 2560 302045 1020095 | 2147483647 12771 142 | 0.000 % |
7.16/7.20 c | 12984 | 2560 302045 1020095 | 2147483647 12984 142 | 0.000 % |
7.16/7.28 c | 13217 | 2560 302045 1020095 | 2147483647 13217 142 | 0.000 % |
7.26/7.38 c | 13474 | 2560 302045 1020095 | 2147483647 13474 142 | 0.004 % |
7.46/7.51 c | 13755 | 2560 302045 1020095 | 2147483647 13755 141 | 0.004 % |
7.57/7.64 c | 14064 | 2560 302045 1020095 | 2147483647 14064 140 | 0.000 % |
7.57/7.68 c | 14164 | 2560 302045 1020095 | 2147483647 14164 141 | 0.000 % |
7.67/7.71 c | 14275 | 2560 302045 1020095 | 2147483647 14275 141 | 0.000 % |
7.67/7.76 c | 14396 | 2560 302045 1020095 | 2147483647 14396 141 | 0.000 % |
7.76/7.82 c | 14529 | 2560 302045 1020095 | 2147483647 14529 141 | 0.000 % |
7.76/7.89 c | 14675 | 2560 302045 1020095 | 2147483647 14675 142 | 0.000 % |
7.86/7.95 c | 14835 | 2560 302045 1020095 | 2147483647 14835 142 | 0.000 % |
7.96/8.02 c | 15011 | 2560 302045 1020095 | 2147483647 15011 142 | 0.000 % |
8.06/8.11 c | 15204 | 2560 302045 1020095 | 2147483647 15204 142 | 0.000 % |
8.06/8.19 c | 15418 | 2560 302045 1020095 | 2147483647 15418 142 | 0.005 % |
8.16/8.29 c | 15652 | 2560 302045 1020095 | 2147483647 15652 141 | 0.004 % |
8.26/8.39 c | 15909 | 2560 302045 1020095 | 2147483647 15909 141 | 0.004 % |
8.37/8.49 c | 16190 | 2560 302045 1020095 | 2147483647 16190 140 | 0.000 % |
8.57/8.61 c | 16500 | 2560 302045 1020095 | 2147483647 16500 140 | 0.004 % |
8.67/8.76 c | 16840 | 2560 302045 1020095 | 2147483647 16840 141 | 0.000 % |
8.77/8.80 c | 16940 | 2560 302045 1020095 | 2147483647 16940 141 | 0.005 % |
8.77/8.84 c | 17052 | 2560 302045 1020095 | 2147483647 17052 140 | 0.004 % |
8.77/8.89 c | 17173 | 2560 302045 1020095 | 2147483647 17173 140 | 0.000 % |
8.87/8.95 c | 17306 | 2560 302045 1020095 | 2147483647 17306 140 | 0.004 % |
8.97/9.00 c | 17452 | 2560 302045 1020095 | 2147483647 17452 140 | 0.000 % |
8.97/9.07 c | 17612 | 2560 302045 1020095 | 2147483647 17612 140 | 0.004 % |
9.07/9.15 c | 17788 | 2560 302045 1020095 | 2147483647 17788 140 | 0.000 % |
9.16/9.21 c | 17981 | 2560 302045 1020095 | 2147483647 17981 140 | 0.000 % |
9.16/9.30 c | 18194 | 2560 302045 1020095 | 2147483647 18194 140 | 0.000 % |
9.26/9.38 c | 18428 | 2560 302045 1020095 | 2147483647 18428 139 | 0.005 % |
9.36/9.49 c | 18685 | 2560 302045 1020095 | 2147483647 18685 139 | 0.004 % |
9.56/9.61 c | 18967 | 2560 302045 1020095 | 2147483647 18967 138 | 0.005 % |
9.66/9.73 c | 19276 | 2560 302045 1020095 | 2147483647 19276 138 | 0.004 % |
9.77/9.84 c | 19617 | 2560 302045 1020095 | 2147483647 19617 138 | 0.000 % |
9.87/9.98 c | 19991 | 2560 302045 1020095 | 2147483647 19991 138 | 0.004 % |
9.96/10.02 c | 20091 | 2560 302045 1020095 | 2147483647 20091 138 | 0.005 % |
9.96/10.07 c | 20202 | 2560 302045 1020095 | 2147483647 20202 138 | 0.000 % |
10.06/10.12 c | 20324 | 2560 302045 1020095 | 2147483647 20324 138 | 0.000 % |
10.06/10.17 c | 20457 | 2560 302045 1020095 | 2147483647 20457 138 | 0.000 % |
10.16/10.24 c | 20603 | 2560 302045 1020095 | 2147483647 20603 138 | 0.000 % |
10.26/10.30 c | 20763 | 2560 302045 1020095 | 2147483647 20763 138 | 0.004 % |
10.26/10.37 c | 20939 | 2560 302045 1020095 | 2147483647 20939 137 | 0.000 % |
10.36/10.45 c | 21132 | 2560 302045 1020095 | 2147483647 21132 137 | 0.004 % |
10.46/10.53 c | 21344 | 2560 302045 1020095 | 2147483647 21344 137 | 0.000 % |
10.56/10.63 c | 21577 | 2560 302045 1020095 | 2147483647 21577 137 | 0.004 % |
10.66/10.75 c | 21834 | 2560 302045 1020095 | 2147483647 21834 138 | 0.000 % |
10.76/10.88 c | 22115 | 2560 302045 1020095 | 2147483647 22115 138 | 0.000 % |
10.96/11.01 c | 22426 | 2560 302045 1020095 | 2147483647 22426 138 | 0.004 % |
11.06/11.14 c | 22765 | 2560 302045 1020095 | 2147483647 22765 138 | 0.004 % |
11.26/11.30 c | 23138 | 2560 302045 1020095 | 2147483647 23138 138 | 0.000 % |
11.36/11.48 c | 23548 | 2560 302045 1020095 | 2147483647 23548 138 | 0.000 % |
11.46/11.54 c | 23649 | 2560 302045 1020095 | 2147483647 23649 138 | 0.000 % |
11.46/11.59 c | 23760 | 2560 302045 1020095 | 2147483647 23760 138 | 0.004 % |
11.56/11.65 c | 23883 | 2560 302045 1020095 | 2147483647 23883 138 | 0.003 % |
11.66/11.72 c | 24017 | 2560 302045 1020095 | 2147483647 24017 138 | 0.004 % |
11.76/11.80 c | 24164 | 2560 302045 1020095 | 2147483647 24164 139 | 0.000 % |
11.76/11.89 c | 24327 | 2560 302045 1020095 | 2147483647 24327 139 | 0.000 % |
11.86/11.96 c | 24508 | 2560 302045 1020095 | 2147483647 24508 139 | 0.004 % |
11.96/12.04 c | 24702 | 2560 302045 1020095 | 2147483647 24702 139 | 0.000 % |
12.06/12.13 c | 24914 | 2560 302045 1020095 | 2147483647 24914 140 | 0.000 % |
12.16/12.23 c | 25147 | 2560 302045 1020095 | 2147483647 25147 140 | 0.000 % |
12.26/12.34 c | 25403 | 2560 302045 1020095 | 2147483647 25403 140 | 0.000 % |
12.36/12.46 c | 25685 | 2560 302045 1020095 | 2147483647 25685 139 | 0.004 % |
12.56/12.60 c | 25994 | 2560 302045 1020095 | 2147483647 25994 140 | 0.004 % |
12.66/12.77 c | 26333 | 2560 302045 1020095 | 2147483647 26333 139 | 0.004 % |
12.86/12.93 c | 26707 | 2560 302045 1020095 | 2147483647 26707 139 | 0.004 % |
12.96/13.09 c | 27116 | 2560 302045 1020095 | 2147483647 27116 140 | 0.000 % |
13.26/13.30 c | 27565 | 2560 302045 1020095 | 2147483647 27565 140 | 0.004 % |
13.26/13.35 c | 27665 | 2560 302045 1020095 | 2147483647 27665 140 | 0.000 % |
13.36/13.41 c | 27775 | 2560 302045 1020095 | 2147483647 27775 140 | 0.000 % |
13.36/13.47 c | 27896 | 2560 302045 1020095 | 2147483647 27896 140 | 0.000 % |
13.46/13.53 c | 28030 | 2560 302045 1020095 | 2147483647 28030 140 | 0.000 % |
13.56/13.60 c | 28177 | 2560 302045 1020095 | 2147483647 28177 140 | 0.000 % |
13.56/13.67 c | 28338 | 2560 302045 1020095 | 2147483647 28338 140 | 0.005 % |
13.66/13.75 c | 28515 | 2560 302045 1020095 | 2147483647 28515 140 | 0.003 % |
13.76/13.84 c | 28709 | 2560 302045 1020095 | 2147483647 28709 141 | 0.000 % |
13.86/13.94 c | 28921 | 2560 302045 1020095 | 2147483647 28921 141 | 0.000 % |
13.96/14.06 c | 29154 | 2560 302045 1020095 | 2147483647 29154 141 | 0.000 % |
14.06/14.19 c | 29413 | 2560 302045 1020095 | 2147483647 29413 141 | 0.003 % |
14.26/14.32 c | 29695 | 2560 302045 1020095 | 2147483647 29695 141 | 0.000 % |
14.36/14.46 c | 30004 | 2560 302045 1020095 | 2147483647 30004 141 | 0.005 % |
14.56/14.63 c | 30343 | 2560 302045 1020095 | 2147483647 30343 141 | 0.000 % |
14.66/14.79 c | 30715 | 2560 302045 1020095 | 2147483647 30715 141 | 0.000 % |
14.86/14.98 c | 31124 | 2560 302045 1020095 | 2147483647 31124 141 | 0.005 % |
15.06/15.18 c | 31574 | 2560 302045 1020095 | 2147483647 31574 141 | 0.005 % |
15.36/15.42 c | 32067 | 2560 302045 1020095 | 2147483647 32067 142 | 0.000 % |
15.36/15.46 c | 32167 | 2560 302045 1020095 | 2147483647 32167 142 | 0.000 % |
15.46/15.51 c | 32278 | 2560 302045 1020095 | 2147483647 32278 142 | 0.000 % |
15.46/15.56 c | 32399 | 2560 302045 1020095 | 2147483647 32399 142 | 0.000 % |
15.55/15.64 c | 32533 | 2560 302045 1020095 | 2147483647 32533 142 | 0.000 % |
15.65/15.73 c | 32679 | 2560 302045 1020095 | 2147483647 32679 143 | 0.000 % |
15.75/15.80 c | 32840 | 2560 302045 1020095 | 2147483647 32840 143 | 0.000 % |
15.75/15.87 c | 33016 | 2560 302045 1020095 | 2147483647 33016 143 | 0.000 % |
15.95/16.00 c | 33209 | 2560 302045 1020095 | 2147483647 33209 144 | 0.000 % |
16.05/16.11 c | 33421 | 2560 302045 1020095 | 2147483647 33421 144 | 0.000 % |
16.15/16.22 c | 33654 | 2560 302045 1020095 | 2147483647 33654 144 | 0.000 % |
16.25/16.33 c | 33910 | 2560 302045 1020095 | 2147483647 33910 144 | 0.000 % |
16.35/16.47 c | 34193 | 2560 302045 1020095 | 2147483647 34193 144 | 0.000 % |
16.56/16.63 c | 34503 | 2560 302045 1020095 | 2147483647 34503 144 | 0.000 % |
16.76/16.81 c | 34842 | 2560 302045 1020095 | 2147483647 34842 144 | 0.000 % |
16.86/16.99 c | 35216 | 2560 302045 1020095 | 2147483647 35216 145 | 0.003 % |
17.06/17.19 c | 35626 | 2560 302045 1020095 | 2147483647 35626 144 | 0.004 % |
17.36/17.41 c | 36076 | 2560 302045 1020095 | 2147483647 36076 144 | 0.004 % |
17.66/17.76 c | 36572 | 2560 302045 1020095 | 2147483647 36572 145 | 0.000 % |
18.05/18.12 c | 37114 | 2560 302045 1020095 | 2147483647 37114 147 | 0.000 % |
18.05/18.18 c | 37214 | 2560 302045 1020095 | 2147483647 37214 147 | 0.000 % |
18.15/18.24 c | 37324 | 2560 302045 1020095 | 2147483647 37324 148 | 0.004 % |
18.15/18.29 c | 37446 | 2560 302045 1020095 | 2147483647 37446 147 | 0.004 % |
18.25/18.35 c | 37579 | 2560 302045 1020095 | 2147483647 37579 147 | 0.005 % |
18.35/18.44 c | 37727 | 2560 302045 1020095 | 2147483647 37727 147 | 0.000 % |
18.45/18.52 c | 37888 | 2560 302045 1020095 | 2147483647 37888 147 | 0.000 % |
18.56/18.61 c | 38064 | 2560 302045 1020095 | 2147483647 38064 147 | 0.000 % |
18.66/18.73 c | 38257 | 2560 302045 1020095 | 2147483647 38257 147 | 0.000 % |
18.75/18.83 c | 38469 | 2560 302045 1020095 | 2147483647 38469 148 | 0.004 % |
18.85/18.96 c | 38704 | 2560 302045 1020095 | 2147483647 38704 148 | 0.000 % |
18.95/19.08 c | 38963 | 2560 302045 1020095 | 2147483647 38963 148 | 0.000 % |
19.15/19.25 c | 39245 | 2560 302045 1020095 | 2147483647 39245 148 | 0.000 % |
19.35/19.43 c | 39554 | 2560 302045 1020095 | 2147483647 39554 149 | 0.000 % |
19.55/19.64 c | 39894 | 2560 302045 1020095 | 2147483647 39894 150 | 0.000 % |
19.75/19.87 c | 40268 | 2560 302045 1020095 | 2147483647 40268 150 | 0.000 % |
20.06/20.17 c | 40679 | 2560 302045 1020095 | 2147483647 40679 150 | 0.005 % |
20.36/20.43 c | 41130 | 2560 302045 1020095 | 2147483647 41130 150 | 0.005 % |
20.56/20.70 c | 41626 | 2560 302045 1020095 | 2147483647 41626 150 | 0.000 % |
20.95/21.01 c | 42169 | 2560 302045 1020095 | 2147483647 42169 150 | 0.000 % |
21.25/21.38 c | 42765 | 2560 302045 1020095 | 2147483647 42765 149 | 0.005 % |
21.35/21.44 c | 42865 | 2560 302045 1020095 | 2147483647 42865 149 | 0.000 % |
21.45/21.51 c | 42976 | 2560 302045 1020095 | 2147483647 42976 149 | 0.004 % |
21.45/21.58 c | 43097 | 2560 302045 1020095 | 2147483647 43097 149 | 0.000 % |
21.55/21.65 c | 43231 | 2560 302045 1020095 | 2147483647 43231 150 | 0.000 % |
21.65/21.75 c | 43378 | 2560 302045 1020095 | 2147483647 43378 150 | 0.000 % |
21.75/21.83 c | 43538 | 2560 302045 1020095 | 2147483647 43538 150 | 0.000 % |
21.86/21.96 c | 43718 | 2560 302045 1020095 | 2147483647 43718 150 | 0.000 % |
21.96/22.08 c | 43911 | 2560 302045 1020095 | 2147483647 43911 150 | 0.000 % |
22.15/22.21 c | 44123 | 2560 302045 1020095 | 2147483647 44123 150 | 0.000 % |
22.25/22.36 c | 44357 | 2560 302045 1020095 | 2147483647 44357 150 | 0.004 % |
22.45/22.50 c | 44614 | 2560 302045 1020095 | 2147483647 44614 150 | 0.004 % |
22.56/22.64 c | 44895 | 2560 302045 1020095 | 2147483647 44895 149 | 0.004 % |
22.76/22.84 c | 45204 | 2560 302045 1020095 | 2147483647 45204 149 | 0.000 % |
22.96/23.04 c | 45544 | 2560 302045 1020095 | 2147483647 45544 149 | 0.003 % |
23.15/23.28 c | 45917 | 2560 302045 1020095 | 2147483647 45917 149 | 0.000 % |
23.45/23.55 c | 46326 | 2560 302045 1020095 | 2147483647 46326 149 | 0.000 % |
23.75/23.82 c | 46775 | 2560 302045 1020095 | 2147483647 46775 149 | 0.000 % |
23.95/24.10 c | 47269 | 2560 302045 1020095 | 2147483647 47269 149 | 0.003 % |
24.25/24.39 c | 47811 | 2560 302045 1020095 | 2147483647 47811 149 | 0.000 % |
24.65/24.75 c | 48410 | 2560 302045 1020095 | 2147483647 48410 148 | 0.004 % |
25.05/25.17 c | 49066 | 2560 302045 1020095 | 2147483647 49066 148 | 0.004 % |
25.16/25.25 c | 49166 | 2560 302045 1020095 | 2147483647 49166 148 | 0.000 % |
25.26/25.31 c | 49276 | 2560 302045 1020095 | 2147483647 49276 148 | 0.003 % |
25.26/25.39 c | 49398 | 2560 302045 1020095 | 2147483647 49398 148 | 0.000 % |
25.35/25.48 c | 49531 | 2560 302045 1020095 | 2147483647 49531 148 | 0.003 % |
25.45/25.58 c | 49677 | 2560 302045 1020095 | 2147483647 49677 148 | 0.000 % |
25.65/25.71 c | 49838 | 2560 302045 1020095 | 2147483647 49838 148 | 0.000 % |
25.75/25.80 c | 50014 | 2560 302045 1020095 | 2147483647 50014 148 | 0.000 % |
25.85/25.93 c | 50207 | 2560 302045 1020095 | 2147483647 50207 148 | 0.000 % |
25.95/26.06 c | 50419 | 2560 302045 1020095 | 2147483647 50419 148 | 0.000 % |
26.15/26.22 c | 50654 | 2560 302045 1020095 | 2147483647 50654 148 | 0.004 % |
26.26/26.38 c | 50913 | 2560 302045 1020095 | 2147483647 50913 148 | 0.004 % |
26.45/26.56 c | 51194 | 2560 302045 1020095 | 2147483647 51194 148 | 0.000 % |
26.65/26.76 c | 51503 | 2560 302045 1020095 | 2147483647 51503 148 | 0.005 % |
26.95/27.00 c | 51842 | 2560 302045 1020095 | 2147483647 51842 148 | 0.000 % |
27.15/27.23 c | 52214 | 2560 302045 1020095 | 2147483647 52214 148 | 0.003 % |
27.46/27.53 c | 52624 | 2560 302045 1020095 | 2147483647 52624 149 | 0.000 % |
27.75/27.86 c | 53073 | 2560 302045 1020095 | 2147483647 53073 149 | 0.000 % |
28.15/28.26 c | 53566 | 2560 302045 1020095 | 2147483647 53566 150 | 0.000 % |
28.45/28.60 c | 54111 | 2560 302045 1020095 | 2147483647 54111 151 | 0.000 % |
28.84/28.95 c | 54708 | 2560 302045 1020095 | 2147483647 54708 150 | 0.000 % |
29.14/29.29 c | 55366 | 2560 302045 1020095 | 2147483647 55366 150 | 0.003 % |
29.65/29.72 c | 56086 | 2560 302045 1020095 | 2147483647 56086 150 | 0.000 % |
29.65/29.79 c | 56186 | 2560 302045 1020095 | 2147483647 56186 150 | 0.000 % |
29.75/29.86 c | 56296 | 2560 302045 1020095 | 2147483647 56296 150 | 0.003 % |
29.85/29.94 c | 56418 | 2560 302045 1020095 | 2147483647 56418 150 | 0.004 % |
29.95/30.05 c | 56553 | 2560 302045 1020095 | 2147483647 56553 150 | 0.000 % |
30.05/30.14 c | 56701 | 2560 302045 1020095 | 2147483647 56701 150 | 0.000 % |
30.15/30.25 c | 56861 | 2560 302045 1020095 | 2147483647 56861 150 | 0.000 % |
30.25/30.35 c | 57037 | 2560 302045 1020095 | 2147483647 57037 150 | 0.000 % |
30.35/30.47 c | 57230 | 2560 302045 1020095 | 2147483647 57230 150 | 0.000 % |
30.55/30.60 c | 57443 | 2560 302045 1020095 | 2147483647 57443 150 | 0.000 % |
30.65/30.77 c | 57679 | 2560 302045 1020095 | 2147483647 57679 150 | 0.000 % |
30.85/30.93 c | 57935 | 2560 302045 1020095 | 2147483647 57935 150 | 0.003 % |
30.95/31.09 c | 58217 | 2560 302045 1020095 | 2147483647 58217 150 | 0.000 % |
31.15/31.25 c | 58527 | 2560 302045 1020095 | 2147483647 58527 150 | 0.004 % |
31.45/31.51 c | 58866 | 2560 302045 1020095 | 2147483647 58866 150 | 0.000 % |
31.65/31.78 c | 59238 | 2560 302045 1020095 | 2147483647 59238 150 | 0.000 % |
31.94/32.01 c | 59649 | 2560 302045 1020095 | 2147483647 59649 150 | 0.004 % |
32.24/32.32 c | 60099 | 2560 302045 1020095 | 2147483647 60099 150 | 0.000 % |
32.54/32.68 c | 60592 | 2560 302045 1020095 | 2147483647 60592 150 | 0.000 % |
33.04/33.10 c | 61135 | 2560 302045 1020095 | 2147483647 61135 151 | 0.000 % |
33.45/33.57 c | 61731 | 2560 302045 1020095 | 2147483647 61731 151 | 0.000 % |
33.85/33.97 c | 62386 | 2560 302045 1020095 | 2147483647 62386 151 | 0.000 % |
34.35/34.43 c | 63107 | 2560 302045 1020095 | 2147483647 63107 150 | 0.003 % |
34.95/35.00 c | 63899 | 2560 302045 1020095 | 2147483647 63899 150 | 0.005 % |
34.95/35.07 c | 63999 | 2560 302045 1020095 | 2147483647 63999 150 | 0.004 % |
35.05/35.15 c | 64109 | 2560 302045 1020095 | 2147483647 64109 150 | 0.004 % |
35.15/35.23 c | 64230 | 2560 302045 1020095 | 2147483647 64230 150 | 0.004 % |
35.25/35.34 c | 64363 | 2560 302045 1020095 | 2147483647 64363 149 | 0.000 % |
35.35/35.44 c | 64509 | 2560 302045 1020095 | 2147483647 64509 149 | 0.004 % |
35.44/35.57 c | 64671 | 2560 302045 1020095 | 2147483647 64671 149 | 0.000 % |
35.54/35.67 c | 64847 | 2560 302045 1020095 | 2147483647 64847 149 | 0.003 % |
35.74/35.81 c | 65041 | 2560 302045 1020095 | 2147483647 65041 149 | 0.004 % |
35.84/35.97 c | 65254 | 2560 302045 1020095 | 2147483647 65254 150 | 0.000 % |
36.04/36.15 c | 65487 | 2560 302045 1020095 | 2147483647 65487 150 | 0.000 % |
36.25/36.32 c | 65745 | 2560 302045 1020095 | 2147483647 65745 150 | 0.000 % |
36.44/36.54 c | 66026 | 2560 302045 1020095 | 2147483647 66026 149 | 0.000 % |
36.75/36.81 c | 66335 | 2560 302045 1020095 | 2147483647 66335 150 | 0.000 % |
36.95/37.05 c | 66674 | 2560 302045 1020095 | 2147483647 66674 150 | 0.000 % |
37.25/37.32 c | 67047 | 2560 302045 1020095 | 2147483647 67047 150 | 0.000 % |
37.55/37.68 c | 67456 | 2560 302045 1020095 | 2147483647 67456 151 | 0.000 % |
37.95/38.04 c | 67905 | 2560 302045 1020095 | 2147483647 67905 151 | 0.000 % |
38.35/38.44 c | 68399 | 2560 302045 1020095 | 2147483647 68399 150 | 0.000 % |
38.74/38.85 c | 68942 | 2560 302045 1020095 | 2147483647 68942 150 | 0.004 % |
39.24/39.36 c | 69540 | 2560 302045 1020095 | 2147483647 69540 150 | 0.004 % |
39.74/39.88 c | 70195 | 2560 302045 1020095 | 2147483647 70195 150 | 0.000 % |
40.34/40.43 c | 70915 | 2560 302045 1020095 | 2147483647 70915 150 | 0.000 % |
41.04/41.11 c | 71707 | 2560 302045 1020095 | 2147483647 71707 150 | 0.000 % |
41.74/41.80 c | 72580 | 2560 302045 1020095 | 2147483647 72580 150 | 0.000 % |
41.74/41.90 c | 72680 | 2560 302045 1020095 | 2147483647 72680 150 | 0.000 % |
41.94/42.02 c | 72791 | 2560 302045 1020095 | 2147483647 72791 150 | 0.000 % |
42.04/42.11 c | 72913 | 2560 302045 1020095 | 2147483647 72913 150 | 0.000 % |
42.04/42.19 c | 73046 | 2560 302045 1020095 | 2147483647 73046 150 | 0.004 % |
42.23/42.33 c | 73192 | 2560 302045 1020095 | 2147483647 73192 150 | 0.000 % |
42.34/42.45 c | 73352 | 2560 302045 1020095 | 2147483647 73352 150 | 0.000 % |
42.44/42.59 c | 73528 | 2560 302045 1020095 | 2147483647 73528 150 | 0.004 % |
42.75/42.80 c | 73721 | 2560 302045 1020095 | 2147483647 73721 150 | 0.000 % |
42.85/42.99 c | 73934 | 2560 302045 1020095 | 2147483647 73934 150 | 0.000 % |
43.04/43.16 c | 74167 | 2560 302045 1020095 | 2147483647 74167 150 | 0.000 % |
43.24/43.36 c | 74424 | 2560 302045 1020095 | 2147483647 74424 150 | 0.004 % |
43.44/43.55 c | 74705 | 2560 302045 1020095 | 2147483647 74705 150 | 0.005 % |
43.64/43.76 c | 75015 | 2560 302045 1020095 | 2147483647 75015 150 | 0.000 % |
43.94/44.04 c | 75354 | 2560 302045 1020095 | 2147483647 75354 150 | 0.000 % |
44.24/44.36 c | 75728 | 2560 302045 1020095 | 2147483647 75728 150 | 0.000 % |
44.54/44.66 c | 76137 | 2560 302045 1020095 | 2147483647 76137 150 | 0.004 % |
44.94/45.04 c | 76587 | 2560 302045 1020095 | 2147483647 76587 150 | 0.004 % |
45.34/45.47 c | 77080 | 2560 302045 1020095 | 2147483647 77080 150 | 0.000 % |
45.73/45.88 c | 77624 | 2560 302045 1020095 | 2147483647 77624 150 | 0.000 % |
46.33/46.44 c | 78220 | 2560 302045 1020095 | 2147483647 78220 150 | 0.000 % |
46.73/46.88 c | 78876 | 2560 302045 1020095 | 2147483647 78876 150 | 0.000 % |
47.33/47.44 c | 79598 | 2560 302045 1020095 | 2147483647 79598 150 | 0.004 % |
48.03/48.15 c | 80390 | 2560 302045 1020095 | 2147483647 80390 150 | 0.000 % |
48.83/48.90 c | 81261 | 2560 302045 1020095 | 2147483647 81261 151 | 0.000 % |
49.64/49.74 c | 82221 | 2560 302045 1020095 | 2147483647 82221 150 | 0.004 % |
49.74/49.83 c | 82322 | 2560 302045 1020095 | 2147483647 82322 150 | 0.004 % |
49.84/49.93 c | 82432 | 2560 302045 1020095 | 2147483647 82432 150 | 0.004 % |
49.94/50.02 c | 82554 | 2560 302045 1020095 | 2147483647 82554 150 | 0.004 % |
50.04/50.14 c | 82690 | 2560 302045 1020095 | 2147483647 82690 150 | 0.000 % |
50.24/50.31 c | 82836 | 2560 302045 1020095 | 2147483647 82836 150 | 0.004 % |
50.34/50.45 c | 82996 | 2560 302045 1020095 | 2147483647 82996 150 | 0.004 % |
50.54/50.61 c | 83172 | 2560 302045 1020095 | 2147483647 83172 150 | 0.000 % |
50.64/50.76 c | 83365 | 2560 302045 1020095 | 2147483647 83365 150 | 0.000 % |
50.83/50.96 c | 83577 | 2560 302045 1020095 | 2147483647 83577 150 | 0.005 % |
51.13/51.21 c | 83815 | 2560 302045 1020095 | 2147483647 83815 150 | 0.000 % |
51.43/51.51 c | 84073 | 2560 302045 1020095 | 2147483647 84073 150 | 0.000 % |
51.64/51.77 c | 84356 | 2560 302045 1020095 | 2147483647 84356 150 | 0.000 % |
51.93/52.01 c | 84667 | 2560 302045 1020095 | 2147483647 84667 150 | 0.004 % |
52.13/52.29 c | 85006 | 2560 302045 1020095 | 2147483647 85006 150 | 0.004 % |
52.53/52.68 c | 85383 | 2560 302045 1020095 | 2147483647 85383 150 | 0.000 % |
52.93/53.00 c | 85793 | 2560 302045 1020095 | 2147483647 85793 151 | 0.000 % |
53.24/53.30 c | 86242 | 2560 302045 1020095 | 2147483647 86242 150 | 0.005 % |
53.54/53.69 c | 86736 | 2560 302045 1020095 | 2147483647 86736 151 | 0.000 % |
54.13/54.22 c | 87279 | 2560 302045 1020095 | 2147483647 87279 150 | 0.003 % |
54.53/54.66 c | 87875 | 2560 302045 1020095 | 2147483647 87875 150 | 0.004 % |
55.03/55.18 c | 88530 | 2560 302045 1020095 | 2147483647 88530 150 | 0.000 % |
55.83/55.92 c | 89250 | 2560 302045 1020095 | 2147483647 89250 150 | 0.000 % |
56.53/56.61 c | 90042 | 2560 302045 1020095 | 2147483647 90042 151 | 0.000 % |
57.53/57.65 c | 90913 | 2560 302045 1020095 | 2147483647 90913 152 | 0.000 % |
58.53/58.61 c | 91871 | 2560 302045 1020095 | 2147483647 91871 152 | 0.000 % |
59.43/59.50 c | 92926 | 2560 302045 1020095 | 2147483647 92926 152 | 0.003 % |
59.53/59.61 c | 93026 | 2560 302045 1020095 | 2147483647 93026 152 | 0.000 % |
59.63/59.73 c | 93136 | 2560 302045 1020095 | 2147483647 93136 152 | 0.000 % |
59.73/59.84 c | 93258 | 2560 302045 1020095 | 2147483647 93258 152 | 0.000 % |
59.83/59.98 c | 93393 | 2560 302045 1020095 | 2147483647 93393 152 | 0.000 % |
59.93/60.09 c | 93539 | 2560 302045 1020095 | 2147483647 93539 152 | 0.000 % |
60.13/60.26 c | 93701 | 2560 302045 1020095 | 2147483647 93701 152 | 0.000 % |
60.33/60.45 c | 93878 | 2560 302045 1020095 | 2147483647 93878 152 | 0.000 % |
60.53/60.62 c | 94073 | 2560 302045 1020095 | 2147483647 94073 152 | 0.005 % |
60.83/60.93 c | 94288 | 2560 302045 1020095 | 2147483647 94288 152 | 0.000 % |
61.03/61.15 c | 94521 | 2560 302045 1020095 | 2147483647 94521 152 | 0.003 % |
61.33/61.47 c | 94779 | 2560 302045 1020095 | 2147483647 94779 153 | 0.000 % |
61.63/61.78 c | 95061 | 2560 302045 1020095 | 2147483647 95061 153 | 0.000 % |
61.92/62.08 c | 95371 | 2560 302045 1020095 | 2147483647 95371 153 | 0.000 % |
62.33/62.42 c | 95710 | 2560 302045 1020095 | 2147483647 95710 153 | 0.000 % |
62.63/62.75 c | 96083 | 2560 302045 1020095 | 2147483647 96083 153 | 0.000 % |
63.03/63.19 c | 96493 | 2560 302045 1020095 | 2147483647 96493 153 | 0.000 % |
63.43/63.58 c | 96942 | 2560 302045 1020095 | 2147483647 96942 153 | 0.000 % |
64.03/64.10 c | 97435 | 2560 302045 1020095 | 2147483647 97435 153 | 0.005 % |
64.43/64.59 c | 97977 | 2560 302045 1020095 | 2147483647 97977 153 | 0.003 % |
65.03/65.17 c | 98574 | 2560 302045 1020095 | 2147483647 98574 153 | 0.000 % |
65.83/65.95 c | 99230 | 2560 302045 1020095 | 2147483647 99230 154 | 0.000 % |
66.42/66.59 c | 99950 | 2560 302045 1020095 | 2147483647 99950 154 | 0.004 % |
67.22/67.30 c | 100742 | 2560 302045 1020095 | 2147483647 100742 153 | 0.004 % |
67.92/68.05 c | 101614 | 2560 302045 1020095 | 2147483647 101614 153 | 0.004 % |
68.72/68.90 c | 102573 | 2560 302045 1020095 | 2147483647 102573 153 | 0.000 % |
70.02/70.11 c | 103626 | 2560 302045 1020095 | 2147483647 103626 154 | 0.000 % |
71.32/71.41 c | 104786 | 2560 302045 1020095 | 2147483647 104786 154 | 0.000 % |
71.42/71.53 c | 104886 | 2560 302045 1020095 | 2147483647 104886 154 | 0.005 % |
71.52/71.65 c | 104997 | 2560 302045 1020095 | 2147483647 104997 154 | 0.000 % |
71.62/71.78 c | 105119 | 2560 302045 1020095 | 2147483647 105119 154 | 0.000 % |
71.82/71.93 c | 105254 | 2560 302045 1020095 | 2147483647 105254 154 | 0.005 % |
71.92/72.08 c | 105400 | 2560 302045 1020095 | 2147483647 105400 154 | 0.000 % |
72.12/72.21 c | 105560 | 2560 302045 1020095 | 2147483647 105560 154 | 0.005 % |
72.32/72.43 c | 105736 | 2560 302045 1020095 | 2147483647 105736 154 | 0.000 % |
72.52/72.63 c | 105929 | 2560 302045 1020095 | 2147483647 105929 154 | 0.000 % |
72.72/72.83 c | 106141 | 2560 302045 1020095 | 2147483647 106141 154 | 0.005 % |
72.92/73.03 c | 106375 | 2560 302045 1020095 | 2147483647 106375 154 | 0.004 % |
73.12/73.28 c | 106632 | 2560 302045 1020095 | 2147483647 106632 154 | 0.003 % |
73.42/73.57 c | 106915 | 2560 302045 1020095 | 2147483647 106915 154 | 0.000 % |
73.72/73.86 c | 107224 | 2560 302045 1020095 | 2147483647 107224 154 | 0.004 % |
74.02/74.19 c | 107564 | 2560 302045 1020095 | 2147483647 107564 153 | 0.000 % |
74.42/74.57 c | 107938 | 2560 302045 1020095 | 2147483647 107938 154 | 0.000 % |
74.82/74.96 c | 108349 | 2560 302045 1020095 | 2147483647 108349 154 | 0.004 % |
75.22/75.34 c | 108798 | 2560 302045 1020095 | 2147483647 108798 154 | 0.004 % |
75.62/75.76 c | 109293 | 2560 302045 1020095 | 2147483647 109293 153 | 0.000 % |
76.12/76.29 c | 109836 | 2560 302045 1020095 | 2147483647 109836 153 | 0.000 % |
76.72/76.84 c | 110432 | 2560 302045 1020095 | 2147483647 110432 153 | 0.000 % |
77.41/77.52 c | 111087 | 2560 302045 1020095 | 2147483647 111087 153 | 0.003 % |
78.32/78.41 c | 111809 | 2560 302045 1020095 | 2147483647 111809 153 | 0.000 % |
79.02/79.18 c | 112602 | 2560 302045 1020095 | 2147483647 112602 154 | 0.000 % |
80.02/80.10 c | 113473 | 2560 302045 1020095 | 2147483647 113473 154 | 0.000 % |
80.92/81.02 c | 114431 | 2560 302045 1020095 | 2147483647 114431 154 | 0.000 % |
81.91/82.05 c | 115484 | 2560 302045 1020095 | 2147483647 115484 154 | 0.004 % |
83.22/83.31 c | 116642 | 2560 302045 1020095 | 2147483647 116642 154 | 0.000 % |
84.41/84.51 c | 117915 | 2560 302045 1020095 | 2147483647 117915 154 | 0.000 % |
84.41/84.59 c | 118015 | 2560 302045 1020095 | 2147483647 118015 154 | 0.004 % |
84.62/84.77 c | 118125 | 2560 302045 1020095 | 2147483647 118125 154 | 0.000 % |
84.81/84.93 c | 118249 | 2560 302045 1020095 | 2147483647 118249 154 | 0.000 % |
84.91/85.09 c | 118382 | 2560 302045 1020095 | 2147483647 118382 154 | 0.000 % |
85.11/85.25 c | 118529 | 2560 302045 1020095 | 2147483647 118529 154 | 0.004 % |
85.31/85.44 c | 118690 | 2560 302045 1020095 | 2147483647 118690 154 | 0.000 % |
85.51/85.61 c | 118866 | 2560 302045 1020095 | 2147483647 118866 154 | 0.000 % |
85.71/85.83 c | 119059 | 2560 302045 1020095 | 2147483647 119059 154 | 0.000 % |
85.91/86.07 c | 119271 | 2560 302045 1020095 | 2147483647 119271 154 | 0.000 % |
86.21/86.34 c | 119504 | 2560 302045 1020095 | 2147483647 119504 154 | 0.000 % |
86.51/86.68 c | 119761 | 2560 302045 1020095 | 2147483647 119761 154 | 0.000 % |
86.91/87.01 c | 120043 | 2560 302045 1020095 | 2147483647 120043 154 | 0.000 % |
87.21/87.35 c | 120352 | 2560 302045 1020095 | 2147483647 120352 154 | 0.000 % |
87.61/87.74 c | 120693 | 2560 302045 1020095 | 2147483647 120693 154 | 0.000 % |
88.01/88.10 c | 121068 | 2560 302045 1020095 | 2147483647 121068 154 | 0.004 % |
88.52/88.64 c | 121477 | 2560 302045 1020095 | 2147483647 121477 154 | 0.000 % |
89.02/89.11 c | 121926 | 2560 302045 1020095 | 2147483647 121926 154 | 0.000 % |
89.51/89.62 c | 122422 | 2560 302045 1020095 | 2147483647 122422 154 | 0.000 % |
90.02/90.20 c | 122964 | 2560 302045 1020095 | 2147483647 122964 154 | 0.004 % |
90.61/90.74 c | 123562 | 2560 302045 1020095 | 2147483647 123562 154 | 0.004 % |
91.61/91.70 c | 124217 | 2560 302045 1020095 | 2147483647 124217 154 | 0.000 % |
92.51/92.61 c | 124937 | 2560 302045 1020095 | 2147483647 124937 155 | 0.000 % |
93.50/93.67 c | 125729 | 2560 302045 1020095 | 2147483647 125729 155 | 0.000 % |
94.51/94.60 c | 126600 | 2560 302045 1020095 | 2147483647 126600 155 | 0.000 % |
95.52/95.63 c | 127559 | 2560 302045 1020095 | 2147483647 127559 155 | 0.000 % |
96.91/97.06 c | 128612 | 2560 302045 1020095 | 2147483647 128612 155 | 0.000 % |
98.31/98.48 c | 129772 | 2560 302045 1020095 | 2147483647 129772 156 | 0.000 % |
99.80/99.91 c | 131046 | 2560 302045 1020095 | 2147483647 131046 156 | 0.000 % |
101.40/101.56 c | 132446 | 2560 302045 1020095 | 2147483647 132446 157 | 0.000 % |
101.60/101.71 c | 132548 | 2560 302045 1020095 | 2147483647 132548 157 | 0.000 % |
101.80/101.92 c | 132658 | 2560 302045 1020095 | 2147483647 132658 157 | 0.000 % |
102.00/102.11 c | 132779 | 2560 302045 1020095 | 2147483647 132779 157 | 0.000 % |
102.11/102.28 c | 132912 | 2560 302045 1020095 | 2147483647 132912 157 | 0.004 % |
102.30/102.46 c | 133060 | 2560 302045 1020095 | 2147483647 133060 157 | 0.000 % |
102.60/102.71 c | 133220 | 2560 302045 1020095 | 2147483647 133220 157 | 0.000 % |
102.70/102.89 c | 133396 | 2560 302045 1020095 | 2147483647 133396 157 | 0.000 % |
103.00/103.13 c | 133589 | 2560 302045 1020095 | 2147483647 133589 157 | 0.004 % |
103.31/103.48 c | 133801 | 2560 302045 1020095 | 2147483647 133801 158 | 0.000 % |
103.61/103.76 c | 134034 | 2560 302045 1020095 | 2147483647 134034 158 | 0.000 % |
104.01/104.14 c | 134290 | 2560 302045 1020095 | 2147483647 134290 158 | 0.000 % |
104.31/104.44 c | 134571 | 2560 302045 1020095 | 2147483647 134571 158 | 0.000 % |
104.81/104.91 c | 134882 | 2560 302045 1020095 | 2147483647 134882 158 | 0.000 % |
105.11/105.29 c | 135221 | 2560 302045 1020095 | 2147483647 135221 158 | 0.005 % |
105.51/105.68 c | 135593 | 2560 302045 1020095 | 2147483647 135593 158 | 0.004 % |
106.20/106.34 c | 136002 | 2560 302045 1020095 | 2147483647 136002 158 | 0.000 % |
106.90/107.05 c | 136451 | 2560 302045 1020095 | 2147483647 136451 158 | 0.000 % |
107.71/107.81 c | 136945 | 2560 302045 1020095 | 2147483647 136945 158 | 0.000 % |
108.30/108.47 c | 137487 | 2560 302045 1020095 | 2147483647 137487 158 | 0.000 % |
109.10/109.23 c | 138083 | 2560 302045 1020095 | 2147483647 138083 158 | 0.004 % |
110.00/110.18 c | 138738 | 2560 302045 1020095 | 2147483647 138738 158 | 0.000 % |
110.90/111.05 c | 139458 | 2560 302045 1020095 | 2147483647 139458 158 | 0.000 % |
111.90/112.00 c | 140250 | 2560 302045 1020095 | 2147483647 140250 158 | 0.003 % |
113.10/113.27 c | 141121 | 2560 302045 1020095 | 2147483647 141121 158 | 0.003 % |
114.30/114.41 c | 142079 | 2560 302045 1020095 | 2147483647 142079 158 | 0.004 % |
115.80/115.98 c | 143132 | 2560 302045 1020095 | 2147483647 143132 158 | 0.000 % |
117.30/117.40 c | 144292 | 2560 302045 1020095 | 2147483647 144292 158 | 0.000 % |
118.89/119.02 c | 145566 | 2560 302045 1020095 | 2147483647 145566 158 | 0.000 % |
121.00/121.13 c | 146968 | 2560 302045 1020095 | 2147483647 146968 159 | 0.000 % |
123.30/123.48 c | 148508 | 2560 302045 1020095 | 2147483647 148508 160 | 0.000 % |
123.50/123.65 c | 148608 | 2560 302045 1020095 | 2147483647 148608 160 | 0.000 % |
123.70/123.82 c | 148718 | 2560 302045 1020095 | 2147483647 148718 160 | 0.004 % |
123.90/124.01 c | 148839 | 2560 302045 1020095 | 2147483647 148839 160 | 0.000 % |
124.10/124.22 c | 148973 | 2560 302045 1020095 | 2147483647 148973 160 | 0.000 % |
124.30/124.48 c | 149121 | 2560 302045 1020095 | 2147483647 149121 160 | 0.000 % |
124.59/124.73 c | 149282 | 2560 302045 1020095 | 2147483647 149282 160 | 0.003 % |
124.79/124.99 c | 149458 | 2560 302045 1020095 | 2147483647 149458 160 | 0.000 % |
125.09/125.22 c | 149651 | 2560 302045 1020095 | 2147483647 149651 160 | 0.003 % |
125.39/125.51 c | 149866 | 2560 302045 1020095 | 2147483647 149866 160 | 0.003 % |
125.59/125.77 c | 150100 | 2560 302045 1020095 | 2147483647 150100 160 | 0.000 % |
125.99/126.13 c | 150359 | 2560 302045 1020095 | 2147483647 150359 160 | 0.000 % |
126.39/126.52 c | 150640 | 2560 302045 1020095 | 2147483647 150640 160 | 0.004 % |
126.69/126.88 c | 150950 | 2560 302045 1020095 | 2147483647 150950 160 | 0.000 % |
127.19/127.30 c | 151289 | 2560 302045 1020095 | 2147483647 151289 160 | 0.003 % |
127.60/127.70 c | 151661 | 2560 302045 1020095 | 2147483647 151661 160 | 0.000 % |
128.10/128.25 c | 152070 | 2560 302045 1020095 | 2147483647 152070 160 | 0.004 % |
128.60/128.79 c | 152519 | 2560 302045 1020095 | 2147483647 152519 160 | 0.000 % |
129.39/129.53 c | 153014 | 2560 302045 1020095 | 2147483647 153014 160 | 0.000 % |
130.19/130.37 c | 153558 | 2560 302045 1020095 | 2147483647 153558 160 | 0.000 % |
131.19/131.38 c | 154154 | 2560 302045 1020095 | 2147483647 154154 161 | 0.000 % |
132.19/132.37 c | 154809 | 2560 302045 1020095 | 2147483647 154809 161 | 0.000 % |
133.19/133.34 c | 155529 | 2560 302045 1020095 | 2147483647 155529 161 | 0.000 % |
134.39/134.55 c | 156321 | 2560 302045 1020095 | 2147483647 156321 161 | 0.000 % |
135.49/135.68 c | 157192 | 2560 302045 1020095 | 2147483647 157192 161 | 0.004 % |
136.69/136.83 c | 158151 | 2560 302045 1020095 | 2147483647 158151 161 | 0.004 % |
137.99/138.18 c | 159204 | 2560 302045 1020095 | 2147483647 159204 161 | 0.004 % |
139.59/139.76 c | 160365 | 2560 302045 1020095 | 2147483647 160365 160 | 0.005 % |
141.28/141.43 c | 161638 | 2560 302045 1020095 | 2147483647 161638 160 | 0.005 % |
142.89/143.02 c | 163040 | 2560 302045 1020095 | 2147483647 163040 160 | 0.004 % |
145.59/145.72 c | 164580 | 2560 302045 1020095 | 2147483647 164580 160 | 0.000 % |
148.39/148.53 c | 166275 | 2560 302045 1020095 | 2147483647 166275 162 | 0.000 % |
148.48/148.67 c | 166375 | 2560 302045 1020095 | 2147483647 166375 162 | 0.000 % |
148.68/148.87 c | 166485 | 2560 302045 1020095 | 2147483647 166485 162 | 0.000 % |
148.88/149.04 c | 166606 | 2560 302045 1020095 | 2147483647 166606 162 | 0.000 % |
149.08/149.24 c | 166739 | 2560 302045 1020095 | 2147483647 166739 162 | 0.003 % |
149.28/149.42 c | 166886 | 2560 302045 1020095 | 2147483647 166886 162 | 0.000 % |
149.49/149.65 c | 167046 | 2560 302045 1020095 | 2147483647 167046 162 | 0.000 % |
149.78/149.96 c | 167222 | 2560 302045 1020095 | 2147483647 167222 162 | 0.000 % |
150.08/150.28 c | 167415 | 2560 302045 1020095 | 2147483647 167415 162 | 0.000 % |
150.49/150.65 c | 167628 | 2560 302045 1020095 | 2147483647 167628 162 | 0.000 % |
150.78/150.99 c | 167861 | 2560 302045 1020095 | 2147483647 167861 162 | 0.000 % |
151.18/151.40 c | 168117 | 2560 302045 1020095 | 2147483647 168117 162 | 0.000 % |
151.58/151.76 c | 168399 | 2560 302045 1020095 | 2147483647 168399 162 | 0.000 % |
152.08/152.20 c | 168708 | 2560 302045 1020095 | 2147483647 168708 162 | 0.000 % |
152.48/152.69 c | 169047 | 2560 302045 1020095 | 2147483647 169047 162 | 0.000 % |
153.08/153.27 c | 169419 | 2560 302045 1020095 | 2147483647 169419 162 | 0.000 % |
153.79/153.91 c | 169829 | 2560 302045 1020095 | 2147483647 169829 162 | 0.000 % |
154.48/154.61 c | 170278 | 2560 302045 1020095 | 2147483647 170278 162 | 0.000 % |
155.18/155.36 c | 170772 | 2560 302045 1020095 | 2147483647 170772 162 | 0.003 % |
156.09/156.23 c | 171316 | 2560 302045 1020095 | 2147483647 171316 162 | 0.000 % |
156.88/157.10 c | 171913 | 2560 302045 1020095 | 2147483647 171913 162 | 0.004 % |
158.08/158.24 c | 172568 | 2560 302045 1020095 | 2147483647 172568 162 | 0.004 % |
159.28/159.48 c | 173290 | 2560 302045 1020095 | 2147483647 173290 162 | 0.000 % |
160.67/160.88 c | 174086 | 2560 302045 1020095 | 2147483647 174086 162 | 0.000 % |
161.97/162.19 c | 174957 | 2560 302045 1020095 | 2147483647 174957 162 | 0.000 % |
163.37/163.56 c | 175915 | 2560 302045 1020095 | 2147483647 175915 162 | 0.000 % |
164.68/164.89 c | 176968 | 2560 302045 1020095 | 2147483647 176968 162 | 0.000 % |
166.17/166.37 c | 178126 | 2560 302045 1020095 | 2147483647 178126 162 | 0.000 % |
167.77/167.92 c | 179400 | 2560 302045 1020095 | 2147483647 179400 161 | 0.000 % |
169.57/169.76 c | 180801 | 2560 302045 1020095 | 2147483647 180801 161 | 0.004 % |
171.68/171.90 c | 182342 | 2560 302045 1020095 | 2147483647 182342 161 | 0.004 % |
174.07/174.26 c | 184037 | 2560 302045 1020095 | 2147483647 184037 161 | 0.000 % |
177.27/177.43 c | 185902 | 2560 302045 1020095 | 2147483647 185902 161 | 0.000 % |
177.47/177.62 c | 186004 | 2560 302045 1020095 | 2147483647 186004 161 | 0.000 % |
177.77/177.91 c | 186114 | 2560 302045 1020095 | 2147483647 186114 161 | 0.000 % |
177.97/178.17 c | 186237 | 2560 302045 1020095 | 2147483647 186237 161 | 0.000 % |
178.27/178.40 c | 186371 | 2560 302045 1020095 | 2147483647 186371 161 | 0.000 % |
178.46/178.60 c | 186517 | 2560 302045 1020095 | 2147483647 186517 161 | 0.000 % |
178.76/178.95 c | 186677 | 2560 302045 1020095 | 2147483647 186677 161 | 0.000 % |
179.07/179.24 c | 186853 | 2560 302045 1020095 | 2147483647 186853 161 | 0.000 % |
179.37/179.56 c | 187047 | 2560 302045 1020095 | 2147483647 187047 161 | 0.000 % |
179.77/179.94 c | 187260 | 2560 302045 1020095 | 2147483647 187260 161 | 0.000 % |
180.07/180.29 c | 187493 | 2560 302045 1020095 | 2147483647 187493 161 | 0.000 % |
180.57/180.74 c | 187749 | 2560 302045 1020095 | 2147483647 187749 161 | 0.000 % |
180.97/181.16 c | 188030 | 2560 302045 1020095 | 2147483647 188030 161 | 0.000 % |
181.56/181.71 c | 188339 | 2560 302045 1020095 | 2147483647 188339 162 | 0.000 % |
182.06/182.24 c | 188680 | 2560 302045 1020095 | 2147483647 188680 162 | 0.000 % |
182.66/182.88 c | 189052 | 2560 302045 1020095 | 2147483647 189052 162 | 0.000 % |
183.57/183.79 c | 189461 | 2560 302045 1020095 | 2147483647 189461 162 | 0.000 % |
184.47/184.64 c | 189910 | 2560 302045 1020095 | 2147483647 189910 162 | 0.000 % |
185.37/185.51 c | 190403 | 2560 302045 1020095 | 2147483647 190403 162 | 0.000 % |
186.27/186.41 c | 190946 | 2560 302045 1020095 | 2147483647 190946 162 | 0.000 % |
187.26/187.45 c | 191542 | 2560 302045 1020095 | 2147483647 191542 162 | 0.004 % |
188.36/188.58 c | 192198 | 2560 302045 1020095 | 2147483647 192198 162 | 0.000 % |
189.46/189.65 c | 192921 | 2560 302045 1020095 | 2147483647 192921 162 | 0.000 % |
190.67/190.84 c | 193713 | 2560 302045 1020095 | 2147483647 193713 162 | 0.000 % |
192.06/192.29 c | 194584 | 2560 302045 1020095 | 2147483647 194584 162 | 0.000 % |
193.96/194.16 c | 195543 | 2560 302045 1020095 | 2147483647 195543 162 | 0.000 % |
196.16/196.32 c | 196597 | 2560 302045 1020095 | 2147483647 196597 163 | 0.000 % |
197.96/198.14 c | 197756 | 2560 302045 1020095 | 2147483647 197756 163 | 0.000 % |
200.56/200.75 c | 199030 | 2560 302045 1020095 | 2147483647 199030 163 | 0.000 % |
203.36/203.55 c | 200431 | 2560 302045 1020095 | 2147483647 200431 164 | 0.000 % |
205.85/206.08 c | 201972 | 2560 302045 1020095 | 2147483647 201972 164 | 0.000 % |
209.16/209.32 c | 203667 | 2560 302045 1020095 | 2147483647 203667 164 | 0.000 % |
211.65/211.80 c | 205530 | 2560 302045 1020095 | 2147483647 205530 164 | 0.000 % |
216.35/216.52 c | 207579 | 2560 302045 1020095 | 2147483647 207579 165 | 0.000 % |
216.56/216.75 c | 207679 | 2560 302045 1020095 | 2147483647 207679 165 | 0.000 % |
216.75/216.96 c | 207790 | 2560 302045 1020095 | 2147483647 207790 165 | 0.000 % |
217.05/217.21 c | 207912 | 2560 302045 1020095 | 2147483647 207912 165 | 0.004 % |
217.25/217.46 c | 208045 | 2560 302045 1020095 | 2147483647 208045 165 | 0.000 % |
217.56/217.74 c | 208193 | 2560 302045 1020095 | 2147483647 208193 165 | 0.000 % |
217.85/218.07 c | 208353 | 2560 302045 1020095 | 2147483647 208353 165 | 0.000 % |
218.25/218.42 c | 208529 | 2560 302045 1020095 | 2147483647 208529 165 | 0.000 % |
218.65/218.89 c | 208722 | 2560 302045 1020095 | 2147483647 208722 165 | 0.000 % |
219.05/219.23 c | 208934 | 2560 302045 1020095 | 2147483647 208934 165 | 0.004 % |
219.45/219.62 c | 209167 | 2560 302045 1020095 | 2147483647 209167 165 | 0.004 % |
219.95/220.12 c | 209423 | 2560 302045 1020095 | 2147483647 209423 165 | 0.000 % |
220.45/220.60 c | 209704 | 2560 302045 1020095 | 2147483647 209704 165 | 0.000 % |
220.95/221.12 c | 210016 | 2560 302045 1020095 | 2147483647 210016 165 | 0.000 % |
221.54/221.70 c | 210356 | 2560 302045 1020095 | 2147483647 210356 165 | 0.000 % |
222.05/222.28 c | 210729 | 2560 302045 1020095 | 2147483647 210729 165 | 0.005 % |
222.85/223.02 c | 211140 | 2560 302045 1020095 | 2147483647 211140 165 | 0.003 % |
223.55/223.73 c | 211589 | 2560 302045 1020095 | 2147483647 211589 165 | 0.000 % |
224.35/224.59 c | 212082 | 2560 302045 1020095 | 2147483647 212082 165 | 0.000 % |
225.75/225.97 c | 212624 | 2560 302045 1020095 | 2147483647 212624 165 | 0.000 % |
226.84/227.08 c | 213222 | 2560 302045 1020095 | 2147483647 213222 165 | 0.000 % |
227.84/228.09 c | 213877 | 2560 302045 1020095 | 2147483647 213877 165 | 0.000 % |
229.04/229.28 c | 214599 | 2560 302045 1020095 | 2147483647 214599 165 | 0.000 % |
231.04/231.24 c | 215391 | 2560 302045 1020095 | 2147483647 215391 165 | 0.000 % |
232.74/232.98 c | 216262 | 2560 302045 1020095 | 2147483647 216262 165 | 0.003 % |
234.44/234.63 c | 217221 | 2560 302045 1020095 | 2147483647 217221 165 | 0.000 % |
236.14/236.39 c | 218278 | 2560 302045 1020095 | 2147483647 218278 165 | 0.004 % |
238.44/238.63 c | 219437 | 2560 302045 1020095 | 2147483647 219437 165 | 0.004 % |
240.74/240.95 c | 220711 | 2560 302045 1020095 | 2147483647 220711 165 | 0.000 % |
243.34/243.59 c | 222116 | 2560 302045 1020095 | 2147483647 222116 164 | 0.004 % |
246.03/246.24 c | 223656 | 2560 302045 1020095 | 2147483647 223656 164 | 0.004 % |
249.23/249.44 c | 225354 | 2560 302045 1020095 | 2147483647 225354 164 | 0.003 % |
252.64/252.80 c | 227218 | 2560 302045 1020095 | 2147483647 227218 164 | 0.005 % |
256.43/256.67 c | 229270 | 2560 302045 1020095 | 2147483647 229270 163 | 0.000 % |
260.54/260.73 c | 231525 | 2560 302045 1020095 | 230000 231525 163 | 0.004 % |
261.13/261.32 c | 231627 | 2560 302045 1020095 | 230000 207874 161 | 0.000 % |
261.33/261.55 c | 231737 | 2560 302045 1020095 | 230000 207984 161 | 0.000 % |
261.54/261.75 c | 231858 | 2560 302045 1020095 | 230000 208105 161 | 0.000 % |
261.84/262.00 c | 231993 | 2560 302045 1020095 | 230000 208240 161 | 0.000 % |
262.03/262.23 c | 232140 | 2560 302045 1020095 | 230000 208387 161 | 0.000 % |
262.23/262.48 c | 232300 | 2560 302045 1020095 | 230000 208547 161 | 0.004 % |
262.64/262.82 c | 232477 | 2560 302045 1020095 | 230000 208724 161 | 0.000 % |
262.93/263.17 c | 232670 | 2560 302045 1020095 | 230000 208917 161 | 0.004 % |
263.33/263.53 c | 232883 | 2560 302045 1020095 | 230000 209130 161 | 0.004 % |
263.63/263.88 c | 233119 | 2560 302045 1020095 | 230000 209366 161 | 0.005 % |
264.13/264.34 c | 233376 | 2560 302045 1020095 | 230000 209623 161 | 0.000 % |
264.63/264.86 c | 233657 | 2560 302045 1020095 | 230000 209904 161 | 0.005 % |
265.13/265.39 c | 233966 | 2560 302045 1020095 | 230000 210213 161 | 0.005 % |
265.83/266.07 c | 234308 | 2560 302045 1020095 | 230000 210555 161 | 0.004 % |
266.43/266.63 c | 234681 | 2560 302045 1020095 | 230000 210928 161 | 0.004 % |
267.03/267.21 c | 235091 | 2560 302045 1020095 | 230000 211338 160 | 0.004 % |
267.93/268.17 c | 235544 | 2560 302045 1020095 | 230000 211791 161 | 0.000 % |
269.03/269.28 c | 236039 | 2560 302045 1020095 | 230000 212286 161 | 0.000 % |
270.13/270.35 c | 236581 | 2560 302045 1020095 | 230000 212828 161 | 0.000 % |
271.23/271.48 c | 237178 | 2560 302045 1020095 | 230000 213425 161 | 0.000 % |
272.43/272.61 c | 237833 | 2560 302045 1020095 | 230000 214080 161 | 0.000 % |
273.53/273.73 c | 238553 | 2560 302045 1020095 | 230000 214800 161 | 0.000 % |
275.23/275.47 c | 239345 | 2560 302045 1020095 | 230000 215592 161 | 0.000 % |
276.93/277.11 c | 240219 | 2560 302045 1020095 | 2147483647 216466 161 | 0.000 % |
278.43/278.66 c | 241178 | 2560 302045 1020095 | 2147483647 217425 161 | 0.004 % |
280.52/280.80 c | 242234 | 2560 302045 1020095 | 2147483647 218481 161 | 0.000 % |
282.72/282.99 c | 243392 | 2560 302045 1020095 | 2147483647 219639 161 | 0.000 % |
285.12/285.31 c | 244665 | 2560 302045 1020095 | 2147483647 220912 161 | 0.003 % |
287.72/287.90 c | 246065 | 2560 302045 1020095 | 2147483647 222312 161 | 0.000 % |
291.22/291.48 c | 247605 | 2560 302045 1020095 | 2147483647 223852 161 | 0.000 % |
295.22/295.41 c | 249300 | 2560 302045 1020095 | 2147483647 225547 161 | 0.000 % |
299.52/299.71 c | 251163 | 2560 302045 1020095 | 226247 227410 161 | 0.000 % |
304.11/304.33 c | 253212 | 2560 302045 1020095 | 226247 204120 159 | 0.000 % |
308.31/308.52 c | 255465 | 2560 302045 1020095 | 226247 206373 159 | 0.004 % |
313.21/313.44 c | 257943 | 2560 302045 1020095 | 226247 208851 159 | 0.000 % |
313.41/313.61 c | 258043 | 2560 302045 1020095 | 226247 208951 159 | 0.005 % |
313.71/313.97 c | 258153 | 2560 302045 1020095 | 226247 209061 159 | 0.000 % |
314.01/314.21 c | 258275 | 2560 302045 1020095 | 226247 209183 159 | 0.000 % |
314.21/314.47 c | 258409 | 2560 302045 1020095 | 226247 209317 159 | 0.000 % |
314.51/314.74 c | 258556 | 2560 302045 1020095 | 226247 209464 159 | 0.000 % |
314.91/315.13 c | 258717 | 2560 302045 1020095 | 226247 209625 159 | 0.000 % |
315.11/315.37 c | 258893 | 2560 302045 1020095 | 226247 209801 159 | 0.000 % |
315.51/315.75 c | 259086 | 2560 302045 1020095 | 226247 209994 159 | 0.000 % |
316.01/316.29 c | 259299 | 2560 302045 1020095 | 226247 210207 159 | 0.000 % |
316.51/316.77 c | 259533 | 2560 302045 1020095 | 226247 210441 159 | 0.000 % |
317.21/317.40 c | 259789 | 2560 302045 1020095 | 226247 210697 159 | 0.000 % |
317.71/317.96 c | 260070 | 2560 302045 1020095 | 2147483647 210978 159 | 0.000 % |
318.51/318.70 c | 260379 | 2560 302045 1020095 | 2147483647 211287 159 | 0.000 % |
319.01/319.23 c | 260718 | 2560 302045 1020095 | 2147483647 211626 159 | 0.000 % |
319.71/319.95 c | 261092 | 2560 302045 1020095 | 2147483647 212000 159 | 0.000 % |
320.51/320.79 c | 261503 | 2560 302045 1020095 | 2147483647 212411 160 | 0.000 % |
321.30/321.58 c | 261952 | 2560 302045 1020095 | 2147483647 212860 160 | 0.000 % |
322.51/322.70 c | 262445 | 2560 302045 1020095 | 2147483647 213353 160 | 0.000 % |
323.50/323.74 c | 262987 | 2560 302045 1020095 | 2147483647 213895 160 | 0.000 % |
324.80/325.00 c | 263585 | 2560 302045 1020095 | 2147483647 214493 160 | 0.000 % |
326.00/326.27 c | 264240 | 2560 302045 1020095 | 2147483647 215148 161 | 0.000 % |
327.40/327.61 c | 264960 | 2560 302045 1020095 | 2147483647 215868 161 | 0.000 % |
328.90/329.16 c | 265752 | 2560 302045 1020095 | 2147483647 216660 161 | 0.000 % |
330.50/330.72 c | 266623 | 2560 302045 1020095 | 2147483647 217531 161 | 0.000 % |
332.10/332.37 c | 267582 | 2560 302045 1020095 | 2147483647 218490 161 | 0.000 % |
334.39/334.63 c | 268637 | 2560 302045 1020095 | 2147483647 219545 162 | 0.000 % |
336.79/337.04 c | 269795 | 2560 302045 1020095 | 2147483647 220703 162 | 0.000 % |
339.49/339.71 c | 271068 | 2560 302045 1020095 | 220908 221976 162 | 0.000 % |
342.09/342.37 c | 272468 | 2560 302045 1020095 | 220908 193522 161 | 0.000 % |
345.39/345.62 c | 274008 | 2560 302045 1020095 | 220908 195062 161 | 0.000 % |
349.09/349.35 c | 275703 | 2560 302045 1020095 | 220908 196757 162 | 0.000 % |
352.29/352.59 c | 277567 | 2560 302045 1020095 | 220908 198621 162 | 0.005 % |
356.48/356.77 c | 279617 | 2560 302045 1020095 | 220908 200671 163 | 0.000 % |
361.69/361.91 c | 281874 | 2560 302045 1020095 | 201055 180852 160 | 0.000 % |
366.48/366.79 c | 284353 | 2560 302045 1020095 | 201055 183331 160 | 0.000 % |
371.38/371.60 c | 287079 | 2560 302045 1020095 | 201055 186057 160 | 0.000 % |
371.58/371.86 c | 287179 | 2560 302045 1020095 | 201055 186157 160 | 0.000 % |
371.88/372.12 c | 287292 | 2560 302045 1020095 | 201055 186270 160 | 0.000 % |
372.08/372.32 c | 287413 | 2560 302045 1020095 | 201055 186391 160 | 0.000 % |
372.28/372.57 c | 287546 | 2560 302045 1020095 | 201055 186524 160 | 0.000 % |
372.68/372.96 c | 287692 | 2560 302045 1020095 | 201055 186670 160 | 0.000 % |
372.98/373.25 c | 287853 | 2560 302045 1020095 | 201055 186831 160 | 0.000 % |
373.28/373.59 c | 288029 | 2560 302045 1020095 | 201055 187007 160 | 0.000 % |
373.78/374.02 c | 288222 | 2560 302045 1020095 | 201055 187200 160 | 0.000 % |
374.08/374.39 c | 288434 | 2560 302045 1020095 | 201055 187412 160 | 0.000 % |
374.58/374.83 c | 288667 | 2560 302045 1020095 | 201055 187645 160 | 0.000 % |
375.08/375.35 c | 288926 | 2560 302045 1020095 | 201055 187904 160 | 0.003 % |
375.58/375.86 c | 289207 | 2560 302045 1020095 | 201055 188185 160 | 0.000 % |
376.08/376.39 c | 289516 | 2560 302045 1020095 | 201055 188494 160 | 0.000 % |
376.78/377.09 c | 289855 | 2560 302045 1020095 | 201055 188833 161 | 0.000 % |
377.58/377.85 c | 290227 | 2560 302045 1020095 | 188978 189205 161 | 0.000 % |
378.58/378.81 c | 290636 | 2560 302045 1020095 | 188978 168440 156 | 0.000 % |
379.28/379.58 c | 291085 | 2560 302045 1020095 | 188978 168889 156 | 0.000 % |
380.47/380.78 c | 291578 | 2560 302045 1020095 | 188978 169382 157 | 0.000 % |
381.57/381.87 c | 292123 | 2560 302045 1020095 | 188978 169927 157 | 0.000 % |
382.58/382.85 c | 292719 | 2560 302045 1020095 | 188978 170523 157 | 0.000 % |
383.58/383.81 c | 293374 | 2560 302045 1020095 | 188978 171178 157 | 0.000 % |
384.68/384.95 c | 294094 | 2560 302045 1020095 | 188978 171898 157 | 0.004 % |
386.17/386.43 c | 294886 | 2560 302045 1020095 | 188978 172690 157 | 0.000 % |
387.77/388.03 c | 295757 | 2560 302045 1020095 | 188978 173561 157 | 0.000 % |
389.77/390.07 c | 296715 | 2560 302045 1020095 | 188978 174519 158 | 0.000 % |
391.47/391.79 c | 297768 | 2560 302045 1020095 | 188978 175572 158 | 0.000 % |
393.27/393.57 c | 298927 | 2560 302045 1020095 | 188978 176731 158 | 0.000 % |
395.37/395.67 c | 300201 | 2560 302045 1020095 | 2147483647 178005 158 | 0.000 % |
397.67/397.90 c | 301604 | 2560 302045 1020095 | 2147483647 179408 157 | 0.000 % |
399.97/400.26 c | 303144 | 2560 302045 1020095 | 2147483647 180948 157 | 0.000 % |
403.07/403.32 c | 304839 | 2560 302045 1020095 | 2147483647 182643 157 | 0.000 % |
405.67/405.98 c | 306703 | 2560 302045 1020095 | 2147483647 184507 157 | 0.004 % |
409.67/409.90 c | 308753 | 2560 302045 1020095 | 2147483647 186557 157 | 0.004 % |
413.57/413.87 c | 311009 | 2560 302045 1020095 | 2147483647 188813 156 | 0.003 % |
418.87/419.10 c | 313487 | 2560 302045 1020095 | 2147483647 191291 157 | 0.000 % |
424.67/424.96 c | 316214 | 2560 302045 1020095 | 2147483647 194018 158 | 0.000 % |
431.07/431.35 c | 319211 | 2560 302045 1020095 | 2147483647 197015 157 | 0.003 % |
431.27/431.53 c | 319312 | 2560 302045 1020095 | 2147483647 197116 157 | 0.000 % |
431.47/431.75 c | 319422 | 2560 302045 1020095 | 2147483647 197226 157 | 0.000 % |
431.77/432.01 c | 319545 | 2560 302045 1020095 | 2147483647 197349 157 | 0.000 % |
431.97/432.28 c | 319678 | 2560 302045 1020095 | 2147483647 197482 157 | 0.000 % |
432.26/432.57 c | 319824 | 2560 302045 1020095 | 2147483647 197628 157 | 0.000 % |
432.56/432.87 c | 319984 | 2560 302045 1020095 | 2147483647 197788 157 | 0.000 % |
432.96/433.25 c | 320161 | 2560 302045 1020095 | 197804 197965 157 | 0.004 % |
433.66/433.92 c | 320357 | 2560 302045 1020095 | 197804 175754 153 | 0.000 % |
433.97/434.27 c | 320569 | 2560 302045 1020095 | 197804 175966 153 | 0.000 % |
434.37/434.60 c | 320802 | 2560 302045 1020095 | 197804 176199 153 | 0.000 % |
434.76/435.05 c | 321059 | 2560 302045 1020095 | 197804 176456 153 | 0.004 % |
435.27/435.59 c | 321340 | 2560 302045 1020095 | 197804 176737 153 | 0.000 % |
435.86/436.17 c | 321649 | 2560 302045 1020095 | 197804 177046 153 | 0.000 % |
436.56/436.81 c | 321988 | 2560 302045 1020095 | 197804 177385 153 | 0.000 % |
437.16/437.42 c | 322361 | 2560 302045 1020095 | 197804 177758 153 | 0.000 % |
437.76/438.01 c | 322772 | 2560 302045 1020095 | 197804 178169 153 | 0.003 % |
438.46/438.79 c | 323221 | 2560 302045 1020095 | 197804 178618 153 | 0.000 % |
439.36/439.62 c | 323714 | 2560 302045 1020095 | 197804 179111 153 | 0.000 % |
440.36/440.61 c | 324256 | 2560 302045 1020095 | 197804 179653 153 | 0.000 % |
441.36/441.68 c | 324853 | 2560 302045 1020095 | 197804 180250 153 | 0.004 % |
442.36/442.69 c | 325509 | 2560 302045 1020095 | 197804 180906 153 | 0.004 % |
444.36/444.61 c | 326231 | 2560 302045 1020095 | 197804 181628 154 | 0.000 % |
445.96/446.22 c | 327024 | 2560 302045 1020095 | 197804 182421 154 | 0.004 % |
447.76/448.01 c | 327895 | 2560 302045 1020095 | 197804 183292 154 | 0.000 % |
449.36/449.64 c | 328853 | 2560 302045 1020095 | 197804 184250 154 | 0.000 % |
451.36/451.65 c | 329906 | 2560 302045 1020095 | 197804 185303 154 | 0.000 % |
453.36/453.68 c | 331064 | 2560 302045 1020095 | 2147483647 186461 154 | 0.004 % |
456.26/456.57 c | 332337 | 2560 302045 1020095 | 2147483647 187734 155 | 0.000 % |
458.95/459.29 c | 333738 | 2560 302045 1020095 | 2147483647 189135 156 | 0.000 % |
461.55/461.85 c | 335280 | 2560 302045 1020095 | 2147483647 190677 156 | 0.000 % |
464.85/465.20 c | 336974 | 2560 302045 1020095 | 2147483647 192371 156 | 0.000 % |
468.35/468.67 c | 338837 | 2560 302045 1020095 | 2147483647 194234 156 | 0.000 % |
471.65/471.93 c | 340887 | 2560 302045 1020095 | 2147483647 196284 156 | 0.005 % |
475.95/476.21 c | 343141 | 2560 302045 1020095 | 2147483647 198538 156 | 0.005 % |
480.84/481.15 c | 345621 | 2560 302045 1020095 | 2147483647 201018 156 | 0.000 % |
485.95/486.21 c | 348346 | 2560 302045 1020095 | 2147483647 203743 156 | 0.004 % |
491.35/491.64 c | 351343 | 2560 302045 1020095 | 2147483647 206740 156 | 0.003 % |
496.94/497.25 c | 354640 | 2560 302045 1020095 | 2147483647 210037 156 | 0.005 % |
497.14/497.47 c | 354742 | 2560 302045 1020095 | 2147483647 210139 156 | 0.004 % |
497.34/497.68 c | 354853 | 2560 302045 1020095 | 2147483647 210250 156 | 0.004 % |
497.54/497.88 c | 354976 | 2560 302045 1020095 | 2147483647 210373 156 | 0.000 % |
497.84/498.15 c | 355110 | 2560 302045 1020095 | 2147483647 210507 156 | 0.005 % |
498.14/498.47 c | 355256 | 2560 302045 1020095 | 2147483647 210653 156 | 0.000 % |
498.64/498.91 c | 355416 | 2560 302045 1020095 | 2147483647 210813 156 | 0.004 % |
499.14/499.42 c | 355594 | 2560 302045 1020095 | 2147483647 210991 156 | 0.003 % |
499.54/499.89 c | 355787 | 2560 302045 1020095 | 2147483647 211184 156 | 0.000 % |
499.94/500.28 c | 355999 | 2560 302045 1020095 | 2147483647 211396 156 | 0.000 % |
500.54/500.87 c | 356232 | 2560 302045 1020095 | 2147483647 211629 156 | 0.000 % |
501.04/501.37 c | 356490 | 2560 302045 1020095 | 2147483647 211887 156 | 0.000 % |
501.64/501.95 c | 356771 | 2560 302045 1020095 | 2147483647 212168 156 | 0.000 % |
502.24/502.57 c | 357081 | 2560 302045 1020095 | 2147483647 212478 156 | 0.000 % |
503.24/503.53 c | 357425 | 2560 302045 1020095 | 2147483647 212822 156 | 0.000 % |
504.03/504.34 c | 357797 | 2560 302045 1020095 | 2147483647 213194 156 | 0.000 % |
504.73/505.07 c | 358206 | 2560 302045 1020095 | 2147483647 213603 156 | 0.000 % |
505.53/505.87 c | 358655 | 2560 302045 1020095 | 2147483647 214052 156 | 0.000 % |
506.53/506.84 c | 359148 | 2560 302045 1020095 | 2147483647 214545 156 | 0.000 % |
507.53/507.89 c | 359691 | 2560 302045 1020095 | 2147483647 215088 156 | 0.000 % |
508.83/509.14 c | 360287 | 2560 302045 1020095 | 215398 215684 155 | 0.003 % |
510.33/510.65 c | 360944 | 2560 302045 1020095 | 215398 188432 153 | 0.004 % |
511.53/511.86 c | 361665 | 2560 302045 1020095 | 215398 189153 153 | 0.004 % |
513.33/513.65 c | 362459 | 2560 302045 1020095 | 215398 189947 153 | 0.000 % |
515.13/515.40 c | 363330 | 2560 302045 1020095 | 215398 190818 153 | 0.000 % |
516.63/516.93 c | 364289 | 2560 302045 1020095 | 215398 191777 153 | 0.000 % |
518.43/518.75 c | 365344 | 2560 302045 1020095 | 215398 192832 153 | 0.000 % |
520.53/520.83 c | 366503 | 2560 302045 1020095 | 215398 193991 153 | 0.000 % |
522.72/523.00 c | 367776 | 2560 302045 1020095 | 215398 195264 154 | 0.000 % |
525.22/525.54 c | 369176 | 2560 302045 1020095 | 215398 196664 154 | 0.000 % |
528.73/529.05 c | 370718 | 2560 302045 1020095 | 197488 198206 155 | 0.000 % |
531.52/531.85 c | 372412 | 2560 302045 1020095 | 197488 177635 153 | 0.000 % |
534.92/535.22 c | 374277 | 2560 302045 1020095 | 197488 179500 153 | 0.004 % |
539.02/539.32 c | 376327 | 2560 302045 1020095 | 197488 181550 152 | 0.000 % |
543.22/543.58 c | 378581 | 2560 302045 1020095 | 197488 183804 152 | 0.000 % |
548.82/549.20 c | 381059 | 2560 302045 1020095 | 185224 186282 154 | 0.000 % |
554.41/554.79 c | 383786 | 2560 302045 1020095 | 185224 168660 157 | 0.000 % |
559.81/560.11 c | 386783 | 2560 302045 1020095 | 185224 171657 158 | 0.000 % |
566.01/566.30 c | 390079 | 2560 302045 1020095 | 174876 174953 160 | 0.000 % |
573.91/574.20 c | 393705 | 2560 302045 1020095 | 174876 159203 160 | 0.000 % |
574.11/574.46 c | 393805 | 2560 302045 1020095 | 174876 159303 160 | 0.000 % |
574.31/574.67 c | 393916 | 2560 302045 1020095 | 174876 159414 160 | 0.000 % |
574.61/574.91 c | 394037 | 2560 302045 1020095 | 174876 159535 160 | 0.000 % |
574.91/575.22 c | 394173 | 2560 302045 1020095 | 174876 159671 160 | 0.000 % |
575.21/575.51 c | 394320 | 2560 302045 1020095 | 174876 159818 160 | 0.000 % |
575.61/575.90 c | 394481 | 2560 302045 1020095 | 174876 159979 160 | 0.000 % |
575.91/576.29 c | 394657 | 2560 302045 1020095 | 174876 160155 160 | 0.000 % |
576.41/576.71 c | 394852 | 2560 302045 1020095 | 174876 160350 160 | 0.000 % |
577.01/577.30 c | 395064 | 2560 302045 1020095 | 174876 160562 160 | 0.000 % |
577.61/577.94 c | 395297 | 2560 302045 1020095 | 174876 160795 160 | 0.000 % |
578.11/578.44 c | 395553 | 2560 302045 1020095 | 174876 161051 160 | 0.000 % |
578.71/579.02 c | 395834 | 2560 302045 1020095 | 174876 161332 161 | 0.000 % |
579.31/579.63 c | 396143 | 2560 302045 1020095 | 174876 161641 161 | 0.000 % |
579.91/580.28 c | 396482 | 2560 302045 1020095 | 174876 161980 161 | 0.000 % |
580.61/580.98 c | 396855 | 2560 302045 1020095 | 174876 162353 161 | 0.000 % |
581.41/581.73 c | 397264 | 2560 302045 1020095 | 174876 162762 161 | 0.004 % |
582.20/582.51 c | 397713 | 2560 302045 1020095 | 174876 163211 161 | 0.000 % |
583.10/583.40 c | 398206 | 2560 302045 1020095 | 174876 163704 161 | 0.005 % |
584.00/584.33 c | 398748 | 2560 302045 1020095 | 174876 164246 161 | 0.000 % |
585.10/585.42 c | 399345 | 2560 302045 1020095 | 174876 164843 161 | 0.000 % |
586.10/586.44 c | 400001 | 2560 302045 1020095 | 174876 165499 161 | 0.004 % |
587.80/588.12 c | 400722 | 2560 302045 1020095 | 165499 148665 153 | 0.000 % |
589.00/589.35 c | 401515 | 2560 302045 1020095 | 165499 149458 153 | 0.000 % |
590.70/591.09 c | 402386 | 2560 302045 1020095 | 165499 150329 154 | 0.000 % |
592.20/592.59 c | 403345 | 2560 302045 1020095 | 165499 151288 154 | 0.004 % |
594.00/594.34 c | 404398 | 2560 302045 1020095 | 165499 152341 153 | 0.003 % |
595.80/596.12 c | 405560 | 2560 302045 1020095 | 165499 153503 153 | 0.005 % |
598.19/598.52 c | 406833 | 2560 302045 1020095 | 165499 154776 154 | 0.000 % |
600.39/600.79 c | 408233 | 2560 302045 1020095 | 165499 156176 154 | 0.000 % |
603.89/604.22 c | 409773 | 2560 302045 1020095 | 165499 157716 155 | 0.000 % |
606.59/606.94 c | 411469 | 2560 302045 1020095 | 2147483647 159412 155 | 0.000 % |
609.79/610.17 c | 413332 | 2560 302045 1020095 | 2147483647 161275 154 | 0.004 % |
612.89/613.28 c | 415382 | 2560 302045 1020095 | 2147483647 163325 154 | 0.000 % |
616.69/617.04 c | 417635 | 2560 302045 1020095 | 2147483647 165578 153 | 0.000 % |
620.79/621.19 c | 420114 | 2560 302045 1020095 | 2147483647 168057 153 | 0.005 % |
625.18/625.52 c | 422839 | 2560 302045 1020095 | 2147483647 170782 152 | 0.004 % |
630.48/630.87 c | 425837 | 2560 302045 1020095 | 2147483647 173780 151 | 0.004 % |
635.98/636.36 c | 429134 | 2560 302045 1020095 | 2147483647 177077 150 | 0.005 % |
643.58/643.93 c | 432760 | 2560 302045 1020095 | 2147483647 180703 149 | 0.004 % |
651.99/652.34 c | 436748 | 2560 302045 1020095 | 2147483647 184691 149 | 0.005 % |
652.18/652.57 c | 436849 | 2560 302045 1020095 | 2147483647 184792 149 | 0.004 % |
652.38/652.78 c | 436960 | 2560 302045 1020095 | 2147483647 184903 149 | 0.004 % |
652.68/653.00 c | 437081 | 2560 302045 1020095 | 2147483647 185024 148 | 0.005 % |
652.99/653.36 c | 437214 | 2560 302045 1020095 | 2147483647 185157 149 | 0.000 % |
653.28/653.64 c | 437361 | 2560 302045 1020095 | 2147483647 185304 149 | 0.000 % |
653.58/653.99 c | 437522 | 2560 302045 1020095 | 2147483647 185465 149 | 0.000 % |
654.09/654.45 c | 437699 | 2560 302045 1020095 | 2147483647 185642 149 | 0.000 % |
654.48/654.82 c | 437892 | 2560 302045 1020095 | 2147483647 185835 149 | 0.000 % |
654.88/655.23 c | 438104 | 2560 302045 1020095 | 2147483647 186047 149 | 0.000 % |
655.28/655.64 c | 438338 | 2560 302045 1020095 | 2147483647 186281 149 | 0.000 % |
655.88/656.21 c | 438594 | 2560 302045 1020095 | 2147483647 186537 149 | 0.004 % |
656.58/656.92 c | 438875 | 2560 302045 1020095 | 2147483647 186818 149 | 0.000 % |
657.18/657.52 c | 439184 | 2560 302045 1020095 | 2147483647 187127 149 | 0.000 % |
657.68/658.06 c | 439524 | 2560 302045 1020095 | 2147483647 187467 149 | 0.005 % |
658.48/658.82 c | 439897 | 2560 302045 1020095 | 2147483647 187840 149 | 0.000 % |
659.18/659.54 c | 440306 | 2560 302045 1020095 | 187943 188249 149 | 0.000 % |
660.38/660.71 c | 440755 | 2560 302045 1020095 | 187943 163868 146 | 0.000 % |
661.08/661.48 c | 441249 | 2560 302045 1020095 | 187943 164362 146 | 0.000 % |
661.98/662.39 c | 441793 | 2560 302045 1020095 | 187943 164906 146 | 0.005 % |
663.28/663.69 c | 442390 | 2560 302045 1020095 | 187943 165503 146 | 0.000 % |
664.37/664.78 c | 443046 | 2560 302045 1020095 | 187943 166159 146 | 0.000 % |
666.07/666.42 c | 443767 | 2560 302045 1020095 | 187943 166880 147 | 0.000 % |
667.17/667.59 c | 444561 | 2560 302045 1020095 | 187943 167674 147 | 0.000 % |
668.97/669.36 c | 445432 | 2560 302045 1020095 | 187943 168545 147 | 0.000 % |
670.68/671.04 c | 446390 | 2560 302045 1020095 | 187943 169503 148 | 0.000 % |
672.37/672.71 c | 447443 | 2560 302045 1020095 | 187943 170556 148 | 0.004 % |
674.07/674.44 c | 448602 | 2560 302045 1020095 | 187943 171715 148 | 0.004 % |
676.57/676.96 c | 449878 | 2560 302045 1020095 | 187943 172991 148 | 0.004 % |
679.07/679.43 c | 451279 | 2560 302045 1020095 | 2147483647 174392 149 | 0.000 % |
681.67/682.08 c | 452821 | 2560 302045 1020095 | 2147483647 175934 149 | 0.005 % |
685.17/685.58 c | 454516 | 2560 302045 1020095 | 2147483647 177629 149 | 0.000 % |
689.27/689.61 c | 456379 | 2560 302045 1020095 | 2147483647 179492 151 | 0.000 % |
693.86/694.21 c | 458428 | 2560 302045 1020095 | 2147483647 181541 152 | 0.000 % |
698.46/698.85 c | 460681 | 2560 302045 1020095 | 183114 183794 152 | 0.000 % |
703.56/703.97 c | 463160 | 2560 302045 1020095 | 183114 167201 151 | 0.000 % |
708.86/709.27 c | 465886 | 2560 302045 1020095 | 183114 169927 151 | 0.000 % |
715.76/716.13 c | 468883 | 2560 302045 1020095 | 183114 172924 151 | 0.000 % |
722.45/722.89 c | 472183 | 2560 302045 1020095 | 174041 154678 148 | 0.000 % |
729.35/729.71 c | 475810 | 2560 302045 1020095 | 174041 158305 148 | 0.000 % |
737.75/738.19 c | 479798 | 2560 302045 1020095 | 174041 162293 149 | 0.004 % |
745.35/745.75 c | 484184 | 2560 302045 1020095 | 162496 148614 148 | 0.000 % |
745.54/745.97 c | 484284 | 2560 302045 1020095 | 162496 148714 148 | 0.000 % |
745.84/746.21 c | 484395 | 2560 302045 1020095 | 162496 148825 148 | 0.000 % |
746.04/746.46 c | 484518 | 2560 302045 1020095 | 162496 148948 149 | 0.000 % |
746.34/746.78 c | 484653 | 2560 302045 1020095 | 162496 149083 149 | 0.000 % |
746.55/746.99 c | 484803 | 2560 302045 1020095 | 162496 149233 149 | 0.005 % |
746.84/747.29 c | 484965 | 2560 302045 1020095 | 162496 149395 149 | 0.004 % |
747.24/747.61 c | 485141 | 2560 302045 1020095 | 162496 149571 149 | 0.000 % |
747.54/747.95 c | 485334 | 2560 302045 1020095 | 162496 149764 149 | 0.000 % |
747.94/748.38 c | 485549 | 2560 302045 1020095 | 162496 149979 149 | 0.000 % |
748.54/748.93 c | 485783 | 2560 302045 1020095 | 162496 150213 149 | 0.000 % |
748.94/749.36 c | 486039 | 2560 302045 1020095 | 162496 150469 149 | 0.000 % |
749.54/749.96 c | 486320 | 2560 302045 1020095 | 162496 150750 149 | 0.000 % |
750.24/750.62 c | 486630 | 2560 302045 1020095 | 162496 151060 149 | 0.000 % |
750.84/751.25 c | 486969 | 2560 302045 1020095 | 162496 151399 149 | 0.000 % |
751.44/751.84 c | 487342 | 2560 302045 1020095 | 162496 151772 149 | 0.000 % |
752.14/752.59 c | 487751 | 2560 302045 1020095 | 162496 152181 149 | 0.000 % |
752.84/753.26 c | 488200 | 2560 302045 1020095 | 162496 152630 149 | 0.000 % |
753.64/754.02 c | 488693 | 2560 302045 1020095 | 162496 153123 149 | 0.003 % |
754.44/754.81 c | 489238 | 2560 302045 1020095 | 162496 153668 149 | 0.000 % |
755.24/755.64 c | 489834 | 2560 302045 1020095 | 162496 154264 149 | 0.004 % |
756.23/756.69 c | 490489 | 2560 302045 1020095 | 2147483647 154919 149 | 0.004 % |
757.54/757.96 c | 491209 | 2560 302045 1020095 | 2147483647 155639 149 | 0.000 % |
758.93/759.35 c | 492001 | 2560 302045 1020095 | 2147483647 156431 149 | 0.005 % |
760.74/761.18 c | 492872 | 2560 302045 1020095 | 2147483647 157302 150 | 0.000 % |
762.23/762.66 c | 493832 | 2560 302045 1020095 | 2147483647 158262 150 | 0.000 % |
764.04/764.47 c | 494885 | 2560 302045 1020095 | 2147483647 159315 150 | 0.004 % |
766.34/766.79 c | 496043 | 2560 302045 1020095 | 2147483647 160473 150 | 0.000 % |
769.13/769.56 c | 497316 | 2560 302045 1020095 | 2147483647 161746 151 | 0.000 % |
771.93/772.36 c | 498716 | 2560 302045 1020095 | 2147483647 163146 151 | 0.004 % |
774.93/775.37 c | 500256 | 2560 302045 1020095 | 2147483647 164686 152 | 0.000 % |
777.93/778.36 c | 501951 | 2560 302045 1020095 | 2147483647 166381 152 | 0.000 % |
781.73/782.11 c | 503815 | 2560 302045 1020095 | 2147483647 168245 153 | 0.000 % |
785.62/786.00 c | 505864 | 2560 302045 1020095 | 2147483647 170294 153 | 0.000 % |
789.82/790.27 c | 508118 | 2560 302045 1020095 | 2147483647 172548 153 | 0.000 % |
794.42/794.82 c | 510596 | 2560 302045 1020095 | 2147483647 175026 153 | 0.000 % |
800.82/801.21 c | 513321 | 2560 302045 1020095 | 2147483647 177751 155 | 0.000 % |
807.32/807.71 c | 516319 | 2560 302045 1020095 | 2147483647 180749 156 | 0.000 % |
814.72/815.20 c | 519615 | 2560 302045 1020095 | 2147483647 184045 157 | 0.000 % |
822.41/822.85 c | 523242 | 2560 302045 1020095 | 184430 164027 149 | 0.004 % |
830.31/830.78 c | 527229 | 2560 302045 1020095 | 184430 168014 149 | 0.000 % |
838.60/839.05 c | 531614 | 2560 302045 1020095 | 170787 172399 150 | 0.000 % |
848.60/849.09 c | 536438 | 2560 302045 1020095 | 170787 153432 143 | 0.000 % |
848.81/849.25 c | 536538 | 2560 302045 1020095 | 170787 153532 143 | 0.000 % |
849.10/849.54 c | 536648 | 2560 302045 1020095 | 170787 153642 143 | 0.000 % |
849.30/849.76 c | 536769 | 2560 302045 1020095 | 170787 153763 143 | 0.000 % |
849.60/850.01 c | 536903 | 2560 302045 1020095 | 170787 153897 143 | 0.000 % |
849.91/850.35 c | 537050 | 2560 302045 1020095 | 170787 154044 143 | 0.000 % |
850.30/850.76 c | 537210 | 2560 302045 1020095 | 170787 154204 143 | 0.000 % |
850.60/851.07 c | 537388 | 2560 302045 1020095 | 170787 154382 143 | 0.000 % |
851.00/851.47 c | 537581 | 2560 302045 1020095 | 170787 154575 143 | 0.000 % |
851.50/851.95 c | 537793 | 2560 302045 1020095 | 170787 154787 143 | 0.000 % |
852.00/852.41 c | 538026 | 2560 302045 1020095 | 170787 155020 143 | 0.000 % |
852.50/852.94 c | 538283 | 2560 302045 1020095 | 170787 155277 144 | 0.000 % |
853.00/853.47 c | 538565 | 2560 302045 1020095 | 170787 155559 144 | 0.000 % |
853.70/854.11 c | 538876 | 2560 302045 1020095 | 170787 155870 144 | 0.000 % |
854.20/854.67 c | 539215 | 2560 302045 1020095 | 170787 156209 144 | 0.000 % |
854.80/855.29 c | 539588 | 2560 302045 1020095 | 170787 156582 144 | 0.000 % |
855.70/856.15 c | 539999 | 2560 302045 1020095 | 170787 156993 144 | 0.000 % |
856.59/857.08 c | 540449 | 2560 302045 1020095 | 156996 157443 145 | 0.000 % |
857.69/858.12 c | 540942 | 2560 302045 1020095 | 156996 140270 149 | 0.004 % |
858.70/859.14 c | 541484 | 2560 302045 1020095 | 156996 140812 149 | 0.000 % |
859.70/860.19 c | 542080 | 2560 302045 1020095 | 156996 141408 149 | 0.000 % |
861.19/861.66 c | 542735 | 2560 302045 1020095 | 156996 142063 150 | 0.000 % |
862.40/862.82 c | 543455 | 2560 302045 1020095 | 156996 142783 150 | 0.000 % |
863.60/864.09 c | 544247 | 2560 302045 1020095 | 156996 143575 150 | 0.000 % |
864.80/865.25 c | 545118 | 2560 302045 1020095 | 156996 144446 150 | 0.000 % |
866.40/866.84 c | 546078 | 2560 302045 1020095 | 156996 145406 150 | 0.000 % |
868.20/868.64 c | 547131 | 2560 302045 1020095 | 156996 146459 151 | 0.000 % |
870.10/870.57 c | 548289 | 2560 302045 1020095 | 156996 147617 151 | 0.000 % |
872.10/872.54 c | 549564 | 2560 302045 1020095 | 156996 148892 151 | 0.000 % |
874.50/874.95 c | 550965 | 2560 302045 1020095 | 2147483647 150293 152 | 0.000 % |
877.00/877.49 c | 552505 | 2560 302045 1020095 | 2147483647 151833 152 | 0.000 % |
880.39/880.86 c | 554199 | 2560 302045 1020095 | 2147483647 153527 153 | 0.000 % |
884.09/884.57 c | 556062 | 2560 302045 1020095 | 2147483647 155390 154 | 0.000 % |
887.99/888.43 c | 558114 | 2560 302045 1020095 | 2147483647 157442 156 | 0.000 % |
892.09/892.51 c | 560367 | 2560 302045 1020095 | 2147483647 159695 157 | 0.000 % |
896.89/897.39 c | 562845 | 2560 302045 1020095 | 2147483647 162173 158 | 0.004 % |
901.19/901.68 c | 565570 | 2560 302045 1020095 | 2147483647 164898 158 | 0.004 % |
907.49/907.98 c | 568567 | 2560 302045 1020095 | 2147483647 167895 160 | 0.000 % |
916.08/916.56 c | 571863 | 2560 302045 1020095 | 2147483647 171191 162 | 0.000 % |
923.88/924.36 c | 575488 | 2560 302045 1020095 | 2147483647 174816 164 | 0.000 % |
932.58/933.07 c | 579475 | 2560 302045 1020095 | 2147483647 178803 165 | 0.000 % |
942.77/943.22 c | 583861 | 2560 302045 1020095 | 179328 162015 167 | 0.000 % |
953.07/953.52 c | 588686 | 2560 302045 1020095 | 179328 166840 168 | 0.000 % |
964.27/964.77 c | 593993 | 2560 302045 1020095 | 168156 147426 165 | 0.000 % |
964.56/965.07 c | 594096 | 2560 302045 1020095 | 168156 147529 165 | 0.000 % |
964.96/965.41 c | 594210 | 2560 302045 1020095 | 168156 147643 165 | 0.000 % |
965.16/965.67 c | 594331 | 2560 302045 1020095 | 168156 147764 165 | 0.000 % |
965.46/965.93 c | 594466 | 2560 302045 1020095 | 168156 147899 165 | 0.000 % |
965.76/966.26 c | 594617 | 2560 302045 1020095 | 168156 148050 165 | 0.000 % |
966.16/966.60 c | 594777 | 2560 302045 1020095 | 168156 148210 165 | 0.000 % |
966.47/966.91 c | 594954 | 2560 302045 1020095 | 168156 148387 165 | 0.000 % |
966.86/967.39 c | 595149 | 2560 302045 1020095 | 168156 148582 165 | 0.000 % |
967.27/967.74 c | 595364 | 2560 302045 1020095 | 168156 148797 165 | 0.004 % |
967.76/968.29 c | 595598 | 2560 302045 1020095 | 168156 149031 165 | 0.004 % |
968.46/968.95 c | 595854 | 2560 302045 1020095 | 168156 149287 165 | 0.000 % |
969.16/969.60 c | 596135 | 2560 302045 1020095 | 168156 149568 165 | 0.005 % |
969.56/970.10 c | 596448 | 2560 302045 1020095 | 168156 149881 165 | 0.000 % |
970.36/970.84 c | 596787 | 2560 302045 1020095 | 168156 150220 165 | 0.000 % |
970.96/971.46 c | 597159 | 2560 302045 1020095 | 168156 150592 165 | 0.000 % |
971.87/972.34 c | 597568 | 2560 302045 1020095 | 168156 151001 165 | 0.000 % |
972.76/973.29 c | 598021 | 2560 302045 1020095 | 168156 151454 166 | 0.000 % |
973.96/974.47 c | 598514 | 2560 302045 1020095 | 168156 151947 166 | 0.000 % |
975.26/975.77 c | 599056 | 2560 302045 1020095 | 168156 152489 166 | 0.000 % |
976.66/977.12 c | 599652 | 2560 302045 1020095 | 168156 153085 166 | 0.000 % |
978.26/978.71 c | 600307 | 2560 302045 1020095 | 153433 153740 167 | 0.000 % |
979.96/980.48 c | 601029 | 2560 302045 1020095 | 153433 133989 166 | 0.000 % |
981.76/982.23 c | 601821 | 2560 302045 1020095 | 153433 134781 167 | 0.000 % |
983.56/984.01 c | 602692 | 2560 302045 1020095 | 153433 135652 167 | 0.000 % |
985.46/985.99 c | 603650 | 2560 302045 1020095 | 153433 136610 167 | 0.000 % |
987.76/988.27 c | 604704 | 2560 302045 1020095 | 153433 137664 168 | 0.000 % |
990.05/990.51 c | 605862 | 2560 302045 1020095 | 153433 138822 168 | 0.000 % |
992.35/992.89 c | 607135 | 2560 302045 1020095 | 153433 140095 168 | 0.000 % |
994.85/995.34 c | 608535 | 2560 302045 1020095 | 153433 141495 168 | 0.000 % |
998.26/998.80 c | 610075 | 2560 302045 1020095 | 142960 143035 170 | 0.000 % |
1002.35/1002.85 c | 611774 | 2560 302045 1020095 | 142960 127599 168 | 0.000 % |
1005.65/1006.16 c | 613639 | 2560 302045 1020095 | 142960 129464 169 | 0.000 % |
1010.25/1010.75 c | 615689 | 2560 302045 1020095 | 142960 131514 169 | 0.000 % |
1014.94/1015.45 c | 617942 | 2560 302045 1020095 | 142960 133767 170 | 0.000 % |
1020.35/1020.88 c | 620420 | 2560 302045 1020095 | 135825 136245 171 | 0.004 % |
1025.74/1026.30 c | 623149 | 2560 302045 1020095 | 135825 123471 171 | 0.000 % |
1031.14/1031.62 c | 626146 | 2560 302045 1020095 | 135825 126468 172 | 0.000 % |
1036.94/1037.40 c | 629444 | 2560 302045 1020095 | 135825 129766 172 | 0.000 % |
1043.64/1044.18 c | 633069 | 2560 302045 1020095 | 130322 118870 172 | 0.000 % |
1052.53/1053.03 c | 637056 | 2560 302045 1020095 | 130322 122857 175 | 0.000 % |
1062.73/1063.24 c | 641442 | 2560 302045 1020095 | 2147483647 127243 179 | 0.000 % |
1071.43/1071.94 c | 646266 | 2560 302045 1020095 | 2147483647 132067 180 | 0.000 % |
1081.52/1082.01 c | 651574 | 2560 302045 1020095 | 2147483647 137375 180 | 0.000 % |
1094.22/1094.75 c | 657409 | 2560 302045 1020095 | 2147483647 143210 183 | 0.000 % |
1094.42/1095.00 c | 657509 | 2560 302045 1020095 | 2147483647 143310 183 | 0.004 % |
1094.72/1095.28 c | 657619 | 2560 302045 1020095 | 2147483647 143420 183 | 0.000 % |
1095.02/1095.51 c | 657740 | 2560 302045 1020095 | 2147483647 143541 183 | 0.000 % |
1095.32/1095.84 c | 657875 | 2560 302045 1020095 | 2147483647 143676 183 | 0.004 % |
1095.62/1096.14 c | 658022 | 2560 302045 1020095 | 2147483647 143823 183 | 0.000 % |
1096.02/1096.51 c | 658182 | 2560 302045 1020095 | 2147483647 143983 183 | 0.000 % |
1096.32/1096.88 c | 658358 | 2560 302045 1020095 | 2147483647 144159 183 | 0.004 % |
1096.72/1097.28 c | 658551 | 2560 302045 1020095 | 2147483647 144352 183 | 0.003 % |
1097.42/1097.91 c | 658764 | 2560 302045 1020095 | 2147483647 144565 183 | 0.000 % |
1097.92/1098.46 c | 658998 | 2560 302045 1020095 | 2147483647 144799 183 | 0.000 % |
1098.42/1098.93 c | 659254 | 2560 302045 1020095 | 2147483647 145055 183 | 0.000 % |
1098.81/1099.38 c | 659535 | 2560 302045 1020095 | 2147483647 145336 183 | 0.004 % |
1099.72/1100.20 c | 659844 | 2560 302045 1020095 | 2147483647 145645 183 | 0.000 % |
1100.41/1100.95 c | 660183 | 2560 302045 1020095 | 145801 145984 183 | 0.000 % |
1101.41/1101.93 c | 660558 | 2560 302045 1020095 | 145801 131392 179 | 0.000 % |
1102.21/1102.73 c | 660969 | 2560 302045 1020095 | 145801 131803 180 | 0.000 % |
1103.01/1103.56 c | 661418 | 2560 302045 1020095 | 145801 132252 180 | 0.000 % |
1103.82/1104.37 c | 661911 | 2560 302045 1020095 | 145801 132745 180 | 0.004 % |
1104.92/1105.43 c | 662453 | 2560 302045 1020095 | 145801 133287 179 | 0.004 % |
1106.02/1106.52 c | 663051 | 2560 302045 1020095 | 145801 133885 179 | 0.000 % |
1107.21/1107.73 c | 663706 | 2560 302045 1020095 | 145801 134540 179 | 0.000 % |
1108.21/1108.80 c | 664426 | 2560 302045 1020095 | 145801 135260 179 | 0.004 % |
1109.41/1109.99 c | 665219 | 2560 302045 1020095 | 145801 136053 179 | 0.005 % |
1110.91/1111.42 c | 666090 | 2560 302045 1020095 | 145801 136924 179 | 0.004 % |
1113.51/1114.02 c | 667049 | 2560 302045 1020095 | 145801 137883 179 | 0.000 % |
1116.01/1116.59 c | 668103 | 2560 302045 1020095 | 145801 138937 180 | 0.000 % |
1118.51/1119.00 c | 669261 | 2560 302045 1020095 | 145801 140095 181 | 0.000 % |
1121.30/1121.89 c | 670535 | 2560 302045 1020095 | 2147483647 141369 181 | 0.000 % |
1124.50/1125.02 c | 671935 | 2560 302045 1020095 | 2147483647 142769 182 | 0.000 % |
1127.70/1128.20 c | 673476 | 2560 302045 1020095 | 2147483647 144310 182 | 0.000 % |
1131.10/1131.66 c | 675170 | 2560 302045 1020095 | 2147483647 146004 182 | 0.000 % |
1135.20/1135.79 c | 677033 | 2560 302045 1020095 | 2147483647 147867 182 | 0.000 % |
1140.40/1140.93 c | 679082 | 2560 302045 1020095 | 2147483647 149916 183 | 0.000 % |
1146.19/1146.76 c | 681341 | 2560 302045 1020095 | 150834 152175 185 | 0.000 % |
1152.20/1152.72 c | 683820 | 2560 302045 1020095 | 150834 132565 177 | 0.000 % |
1158.89/1159.41 c | 686545 | 2560 302045 1020095 | 150834 135290 179 | 0.000 % |
1166.29/1166.86 c | 689542 | 2560 302045 1020095 | 150834 138287 181 | 0.000 % |
1174.48/1175.09 c | 692838 | 2560 302045 1020095 | 138746 124353 181 | 0.000 % |
1181.19/1181.78 c | 696463 | 2560 302045 1020095 | 138746 127978 183 | 0.000 % |
1189.09/1189.66 c | 700450 | 2560 302045 1020095 | 2147483647 131965 183 | 0.000 % |
1198.68/1199.22 c | 704836 | 2560 302045 1020095 | 2147483647 136351 184 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834091-1242827728/watcher-1834091-1242827728 -o /tmp/evaluation-result-1834091-1242827728/solver-1834091-1242827728 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834091-1242827728.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 17450
/proc/meminfo: memFree=1868360/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=0
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310800082 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 218076250194 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/17450/statm: 1339 235 195 169 0 50 0
[pid=17451] ppid=17450 vsize=5356 CPUtime=0
/proc/17451/stat : 17451 (SatELiteGTI) S 17450 17450 17176 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310800083 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/17451/statm: 1339 238 198 169 0 50 0
[pid=17453] ppid=17451 vsize=5356 CPUtime=0
/proc/17453/stat : 17453 (SatELiteGTI) R 17451 17450 17176 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 310800083 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076081447 0 0 4096 0 0 0 0 17 1 0 0
/proc/17453/statm: 1339 239 199 169 0 50 0
[startup+0.053697 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 17450
/proc/meminfo: memFree=1868360/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=0
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310800082 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17450/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101702 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 17450
/proc/meminfo: memFree=1868360/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=0
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310800082 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17450/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301735 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 17450
/proc/meminfo: memFree=1868360/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=0
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310800082 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17450/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701802 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 17450
/proc/meminfo: memFree=1868360/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=0
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310800082 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17450/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50193 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 17455
/proc/meminfo: memFree=1843384/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=0
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310800082 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17450/statm: 1339 237 197 169 0 50 0
[pid=17455] ppid=17450 vsize=28788 CPUtime=1.48
/proc/17455/stat : 17455 (SatELite_releas) R 17450 17450 17176 0 -1 4194304 6186 0 0 0 145 3 0 0 25 0 1 0 310800083 29478912 6172 1992294400 134512640 135223648 4294956128 18446744073709551615 134585487 0 0 4096 3 0 0 0 17 1 0 0
/proc/17455/statm: 7197 6172 76 173 0 7022 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 34144
[startup+3.1012 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 17455
/proc/meminfo: memFree=1843256/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 5356
heavy processes:
[startup+6.30174 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 17456
/proc/meminfo: memFree=1841464/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=22248 CPUtime=3.86
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 5456 0 0 0 382 4 0 0 25 0 1 0 310800325 22781952 5442 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 5562 5442 77 171 0 5389 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 27604
[startup+12.7028 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 17456
/proc/meminfo: memFree=1831864/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=31408 CPUtime=10.25
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 7751 0 0 0 1019 6 0 0 25 0 1 0 310800325 32161792 7737 1992294400 134512640 135215339 4294956240 18446744073709551615 134538040 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 7852 7737 77 171 0 7679 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 36764
[startup+25.502 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 17456
/proc/meminfo: memFree=1815864/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=46832 CPUtime=23.04
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 11601 0 0 0 2294 10 0 0 25 0 1 0 310800325 47955968 11587 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 11708 11587 77 171 0 11535 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 52188
[startup+51.1012 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 17456
/proc/meminfo: memFree=1793784/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=69128 CPUtime=48.62
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 17148 0 0 0 4847 15 0 0 25 0 1 0 310800325 70787072 17134 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 17282 17134 77 171 0 17109 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 74484
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17456
/proc/meminfo: memFree=1758264/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=104160 CPUtime=99.8
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 25920 0 0 0 9954 26 0 0 25 0 1 0 310800325 106659840 25906 1992294400 134512640 135215339 4294956240 18446744073709551615 134528676 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 26040 25906 77 171 0 25867 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 109516
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17456
/proc/meminfo: memFree=1726968/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=135732 CPUtime=159.76
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 33782 0 0 0 15939 37 0 0 25 0 1 0 310800325 138989568 33768 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 33933 33768 77 171 0 33760 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 141088
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17456
/proc/meminfo: memFree=1699832/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=162676 CPUtime=219.73
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 40449 0 0 0 21928 45 0 0 25 0 1 0 310800325 166580224 40435 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 40669 40435 77 171 0 40496 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 168032
[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17456
/proc/meminfo: memFree=1687352/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=174824 CPUtime=279.72
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 43515 0 0 0 27923 49 0 0 25 0 1 0 310800325 179019776 43501 1992294400 134512640 135215339 4294956240 18446744073709551615 134525112 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 43706 43501 77 171 0 43533 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 180180
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17462
/proc/meminfo: memFree=1687096/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=174824 CPUtime=339.68
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 43515 0 0 0 33919 49 0 0 25 0 1 0 310800325 179019776 43501 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 43706 43501 77 171 0 43533 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 180180
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17462
/proc/meminfo: memFree=1687032/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=174824 CPUtime=399.66
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 43515 0 0 0 39917 49 0 0 25 0 1 0 310800325 179019776 43501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 43706 43501 77 171 0 43533 0
################
# More data... #
################
/proc/17456/statm: 43706 43501 77 171 0 43533 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 180180
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17462
/proc/meminfo: memFree=1686840/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=174824 CPUtime=579.59
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 43515 0 0 0 57909 50 0 0 25 0 1 0 310800325 179019776 43501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 43706 43501 77 171 0 43533 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 180180
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17462
/proc/meminfo: memFree=1686776/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=174824 CPUtime=639.57
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 43515 0 0 0 63907 50 0 0 25 0 1 0 310800325 179019776 43501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 43706 43501 77 171 0 43533 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 180180
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17462
/proc/meminfo: memFree=1686712/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=174824 CPUtime=699.55
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 43515 0 0 0 69904 51 0 0 25 0 1 0 310800325 179019776 43501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 43706 43501 77 171 0 43533 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 180180
[startup+762.305 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 17462
/proc/meminfo: memFree=1686584/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=174824 CPUtime=759.53
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 43515 0 0 0 75902 51 0 0 25 0 1 0 310800325 179019776 43501 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 43706 43501 77 171 0 43533 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 180180
[startup+822.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 17462
/proc/meminfo: memFree=1686520/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=174824 CPUtime=819.5
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 43515 0 0 0 81899 51 0 0 25 0 1 0 310800325 179019776 43501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 43706 43501 77 171 0 43533 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 180180
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17462
/proc/meminfo: memFree=1686392/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=174824 CPUtime=879.48
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 43515 0 0 0 87896 52 0 0 25 0 1 0 310800325 179019776 43501 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 43706 43501 77 171 0 43533 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 180180
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17462
/proc/meminfo: memFree=1686328/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=174824 CPUtime=939.47
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 43515 0 0 0 93895 52 0 0 25 0 1 0 310800325 179019776 43501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 43706 43501 77 171 0 43533 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 180180
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17462
/proc/meminfo: memFree=1686264/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=174824 CPUtime=999.44
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 43515 0 0 0 99892 52 0 0 25 0 1 0 310800325 179019776 43501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 43706 43501 77 171 0 43533 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 180180
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17462
/proc/meminfo: memFree=1686200/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=174824 CPUtime=1059.42
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 43515 0 0 0 105890 52 0 0 25 0 1 0 310800325 179019776 43501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 43706 43501 77 171 0 43533 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 180180
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17462
/proc/meminfo: memFree=1686136/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=174824 CPUtime=1119.39
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 43515 0 0 0 111887 52 0 0 25 0 1 0 310800325 179019776 43501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 43706 43501 77 171 0 43533 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 180180
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17462
/proc/meminfo: memFree=1686072/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=174824 CPUtime=1179.38
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 43515 0 0 0 117885 53 0 0 25 0 1 0 310800325 179019776 43501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528724 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 43706 43501 77 171 0 43533 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 180180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17462
/proc/meminfo: memFree=1686072/2055920 swapFree=4180356/4192956
[pid=17450] ppid=17448 vsize=5356 CPUtime=2.41
/proc/17450/stat : 17450 (SatELiteGTI) S 17448 17450 17176 0 -1 4194304 336 6439 0 0 0 0 235 6 16 0 1 0 310800082 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17450/statm: 1339 239 197 169 0 50 0
[pid=17456] ppid=17450 vsize=174824 CPUtime=1197.68
/proc/17456/stat : 17456 (minisat_static) R 17450 17450 17176 0 -1 4194304 43515 0 0 0 119715 53 0 0 25 0 1 0 310800325 179019776 43501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 43706 43501 77 171 0 43533 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 180180
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 17450 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=352642
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=68989
# CPU time returned by wait4() is 2.42163
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.09
CPU user time (s): 1199.5
CPU system time (s): 0.59
CPU usage (%): 99.9565
Max. virtual memory (cumulated for all children) (KiB): 180180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.35264
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6775
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 11
runsolver used 1.49577 second user time and 2.97955 second system time
The end
Begin job on node57 at 2009-05-20 15:55:28
IDJOB=1834091
IDBENCH=71311
IDSOLVER=671
FILE ID=node57/1834091-1242827728
PBS_JOBID= 9322470
Free space on /tmp= 65988 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2640c305320g2.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834091-1242827728/watcher-1834091-1242827728 -o /tmp/evaluation-result-1834091-1242827728/solver-1834091-1242827728 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834091-1242827728.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a751c1722336404421531c8b945f61ee
RANDOM SEED=1555408009
node57.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.256
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.256
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: 1868840 kB
Buffers: 26700 kB
Cached: 90992 kB
SwapCached: 6340 kB
Active: 43060 kB
Inactive: 82480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1868840 kB
SwapTotal: 4192956 kB
SwapFree: 4180356 kB
Dirty: 5524 kB
Writeback: 0 kB
Mapped: 13544 kB
Slab: 47700 kB
Committed_AS: 896088 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65980 MiB
End job on node57 at 2009-05-20 16:15:31