0.00/0.00 c Parsing...
0.00/0.17 c ==============================================================================
0.00/0.17 c | | ORIGINAL | LEARNT | |
0.00/0.17 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.17 c ==============================================================================
0.00/0.17 c | 0 | 175759 411162 | 52727 0 0 nan | 0.000 % |
0.00/0.79 c | 0 | 108135 256288 | -- 0 -- -- | -- | -3465/4153
0.00/0.79 c ==============================================================================
0.00/0.79 c Result : #vars: 5617 #clauses: 108135 #literals: 256288
0.00/0.79 c CPU time: 0.753885 s
0.00/0.79 c ==============================================================================
0.00/0.88 c This is MiniSat 2.0 beta
0.00/0.88 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.88 c ============================[ Problem Statistics ]=============================
0.00/0.88 c | |
0.00/0.88 c | Number of variables: 5617 |
0.00/0.88 c | Number of clauses: 108135 |
0.87/0.94 c | Parsing time: 0.06 s |
0.87/0.95 c ============================[ Search Statistics ]==============================
0.87/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.87/0.95 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.87/0.95 c ===============================================================================
0.87/0.95 c | 0 | 5617 108135 256288 | 36045 0 nan | 0.000 % |
0.87/0.98 c | 100 | 5617 108135 256288 | 36045 100 33 | 0.000 % |
0.87/0.99 c | 200 | 5617 108135 256288 | 36045 200 54 | 0.000 % |
0.98/1.01 c | 300 | 5617 108135 256288 | 36045 300 62 | 0.000 % |
0.98/1.02 c | 410 | 5617 108135 256288 | 36045 410 70 | 0.000 % |
0.98/1.03 c | 513 | 5617 108135 256288 | 36045 513 76 | 0.000 % |
0.98/1.05 c | 623 | 5617 108135 256288 | 36045 623 71 | 0.000 % |
0.98/1.06 c | 744 | 5617 108135 256288 | 36045 744 60 | 0.000 % |
0.98/1.07 c | 844 | 5617 108135 256288 | 36045 844 59 | 0.000 % |
0.98/1.09 c | 956 | 5617 108135 256288 | 36045 956 58 | 0.000 % |
1.08/1.11 c | 1077 | 5617 108135 256288 | 36045 1077 69 | 0.000 % |
1.08/1.12 c | 1210 | 5617 108135 256288 | 36045 1210 69 | 0.000 % |
1.08/1.14 c | 1310 | 5617 108135 256288 | 36045 1310 67 | 0.000 % |
1.08/1.17 c | 1421 | 5617 108135 256288 | 36045 1421 66 | 0.000 % |
1.08/1.19 c | 1542 | 5617 108135 256288 | 36045 1542 66 | 0.000 % |
1.18/1.22 c | 1675 | 5617 108135 256288 | 36045 1675 65 | 0.000 % |
1.18/1.24 c | 1822 | 5617 108135 256288 | 36045 1822 66 | 0.000 % |
1.18/1.25 c | 1922 | 5617 108135 256288 | 36045 1922 66 | 0.000 % |
1.18/1.28 c | 2032 | 5617 108135 256288 | 36045 2032 66 | 0.000 % |
1.28/1.31 c | 2153 | 5617 108135 256288 | 36045 2153 65 | 0.000 % |
1.28/1.34 c | 2286 | 5617 108135 256288 | 36045 2286 65 | 0.000 % |
1.28/1.39 c | 2434 | 5617 108135 256288 | 36045 2434 67 | 0.000 % |
1.37/1.44 c | 2595 | 5617 108135 256288 | 36045 2595 67 | 0.000 % |
1.37/1.47 c | 2696 | 5617 108135 256288 | 36045 2696 68 | 0.000 % |
1.37/1.48 c | 2806 | 5617 108135 256288 | 36045 2806 68 | 0.000 % |
1.47/1.51 c | 2927 | 5617 108135 256288 | 36045 2927 69 | 0.000 % |
1.47/1.55 c | 3060 | 5617 108135 256288 | 36045 3060 70 | 0.000 % |
1.57/1.61 c | 3206 | 5617 108135 256288 | 36045 3206 71 | 0.000 % |
1.57/1.68 c | 3366 | 5617 108135 256288 | 36045 3366 73 | 0.000 % |
1.67/1.71 c | 3542 | 5617 108135 256288 | 36045 3542 73 | 0.000 % |
1.67/1.76 c | 3644 | 5617 108135 256288 | 36045 3644 74 | 0.000 % |
1.67/1.77 c | 3754 | 5617 108135 256288 | 36045 3754 73 | 0.000 % |
1.67/1.79 c | 3876 | 5617 108135 256288 | 36045 3876 73 | 0.000 % |
1.77/1.84 c | 4010 | 5617 108135 256288 | 36045 4010 74 | 0.000 % |
1.77/1.86 c | 4157 | 5617 108135 256288 | 36045 4157 74 | 0.000 % |
1.87/1.92 c | 4317 | 5617 108135 256288 | 36045 4317 74 | 0.000 % |
1.97/2.00 c | 4493 | 5617 108135 256288 | 36045 4493 75 | 0.000 % |
1.97/2.04 c | 4687 | 5617 108135 256288 | 36045 4687 75 | 0.000 % |
1.97/2.09 c | 4787 | 5617 108135 256288 | 36045 4787 76 | 0.000 % |
2.08/2.13 c | 4898 | 5617 108135 256288 | 36045 4898 77 | 0.000 % |
2.08/2.19 c | 5019 | 5617 108135 256288 | 36045 5019 77 | 0.000 % |
2.18/2.26 c | 5152 | 5617 108135 256288 | 36045 5152 77 | 0.000 % |
2.27/2.32 c | 5298 | 5617 108135 256288 | 36045 5298 78 | 0.000 % |
2.27/2.34 c | 5458 | 5617 108135 256288 | 36045 5458 78 | 0.000 % |
2.36/2.42 c | 5636 | 5617 108135 256288 | 36045 5636 77 | 0.000 % |
2.36/2.47 c | 5829 | 5617 108135 256288 | 36045 5829 78 | 0.000 % |
2.47/2.54 c | 6042 | 5617 108135 256288 | 36045 6042 77 | 0.000 % |
2.47/2.56 c | 6142 | 5617 108135 256288 | 36045 6142 77 | 0.000 % |
2.47/2.58 c | 6253 | 5617 108135 256288 | 36045 6253 76 | 0.000 % |
2.57/2.62 c | 6375 | 5617 108135 256288 | 36045 6375 76 | 0.000 % |
2.57/2.65 c | 6508 | 5617 108135 256288 | 36045 6508 75 | 0.000 % |
2.57/2.70 c | 6656 | 5617 108135 256288 | 36045 6656 76 | 0.000 % |
2.67/2.73 c | 6816 | 5617 108135 256288 | 36045 6816 74 | 0.000 % |
2.67/2.78 c | 6995 | 5617 108135 256288 | 36045 6995 75 | 0.000 % |
2.77/2.80 c | 7188 | 5617 108135 256288 | 36045 7188 75 | 0.000 % |
2.77/2.84 c | 7401 | 5617 108135 256288 | 36045 7401 74 | 0.000 % |
2.87/2.91 c | 7634 | 5617 108135 256288 | 36045 7634 75 | 0.000 % |
2.87/2.93 c | 7734 | 5617 108135 256288 | 36045 7734 74 | 0.000 % |
2.87/2.97 c | 7844 | 5617 108135 256288 | 36045 7844 75 | 0.000 % |
2.87/3.00 c | 7965 | 5617 108135 256288 | 36045 7965 74 | 0.000 % |
2.97/3.03 c | 8099 | 5617 108135 256288 | 36045 8099 74 | 0.000 % |
2.97/3.06 c | 8246 | 5617 108135 256288 | 36045 8246 73 | 0.000 % |
3.07/3.10 c | 8408 | 5617 108135 256288 | 36045 8408 73 | 0.000 % |
3.07/3.11 c | 8585 | 5617 108135 256288 | 36045 8585 73 | 0.000 % |
3.07/3.16 c | 8780 | 5617 108135 256288 | 36045 8780 72 | 0.000 % |
3.17/3.22 c | 8994 | 5617 108135 256288 | 36045 8994 73 | 0.000 % |
3.17/3.27 c | 9227 | 5617 108135 256288 | 36045 9227 73 | 0.000 % |
3.27/3.35 c | 9483 | 5617 108135 256288 | 36045 9483 74 | 0.000 % |
3.37/3.41 c | 9584 | 5617 108135 256288 | 36045 9584 75 | 0.000 % |
3.37/3.46 c | 9695 | 5617 108135 256288 | 36045 9695 75 | 0.000 % |
3.47/3.51 c | 9820 | 5617 108135 256288 | 36045 9820 75 | 0.000 % |
3.47/3.54 c | 9955 | 5617 108135 256288 | 36045 9955 75 | 0.000 % |
3.47/3.56 c | 10102 | 5617 108135 256288 | 2147483647 10102 75 | 0.000 % |
3.57/3.63 c | 10264 | 5617 108135 256288 | 2147483647 10264 76 | 0.000 % |
3.67/3.72 c | 10441 | 5617 108135 256288 | 2147483647 10441 76 | 0.000 % |
3.77/3.81 c | 10635 | 5617 108135 256288 | 2147483647 10635 76 | 0.000 % |
3.87/3.92 c | 10847 | 5617 108135 256288 | 2147483647 10847 77 | 0.000 % |
3.97/4.04 c | 11080 | 5617 108135 256288 | 2147483647 11080 77 | 0.000 % |
4.07/4.10 c | 11336 | 5617 108135 256288 | 2147483647 11336 77 | 0.000 % |
4.17/4.20 c | 11617 | 5617 108135 256288 | 2147483647 11617 78 | 0.000 % |
4.17/4.26 c | 11719 | 5617 108135 256288 | 2147483647 11719 79 | 0.000 % |
4.17/4.29 c | 11831 | 5617 108135 256288 | 2147483647 11831 79 | 0.000 % |
4.27/4.37 c | 11952 | 5617 108135 256288 | 2147483647 11952 79 | 0.000 % |
4.37/4.42 c | 12086 | 5617 108135 256288 | 2147483647 12086 79 | 0.000 % |
4.47/4.50 c | 12232 | 5617 108135 256288 | 2147483647 12232 80 | 0.000 % |
4.47/4.59 c | 12393 | 5617 108135 256288 | 2147483647 12393 80 | 0.000 % |
4.57/4.63 c | 12569 | 5617 108135 256288 | 2147483647 12569 81 | 0.000 % |
4.57/4.70 c | 12764 | 5617 108135 256288 | 2147483647 12764 81 | 0.000 % |
4.67/4.74 c | 12976 | 5617 108135 256288 | 2147483647 12976 82 | 0.000 % |
4.77/4.85 c | 13210 | 5617 108135 256288 | 2147483647 13210 81 | 0.000 % |
4.87/4.96 c | 13467 | 5617 108135 256288 | 2147483647 13467 81 | 0.000 % |
4.97/5.03 c | 13749 | 5617 108135 256288 | 2147483647 13749 81 | 0.000 % |
5.07/5.18 c | 14058 | 5617 108135 256288 | 2147483647 14058 82 | 0.000 % |
5.17/5.25 c | 14159 | 5617 108135 256288 | 2147483647 14159 82 | 0.000 % |
5.27/5.33 c | 14270 | 5617 108135 256288 | 2147483647 14270 82 | 0.000 % |
5.27/5.36 c | 14392 | 5617 108135 256288 | 2147483647 14392 82 | 0.000 % |
5.27/5.38 c | 14525 | 5617 108135 256288 | 2147483647 14525 82 | 0.000 % |
5.37/5.43 c | 14673 | 5617 108135 256288 | 2147483647 14673 82 | 0.000 % |
5.37/5.47 c | 14835 | 5617 108135 256288 | 2147483647 14835 82 | 0.000 % |
5.47/5.54 c | 15011 | 5617 108135 256288 | 2147483647 15011 82 | 0.000 % |
5.47/5.58 c | 15205 | 5617 108135 256288 | 2147483647 15205 82 | 0.000 % |
5.56/5.66 c | 15419 | 5617 108135 256288 | 2147483647 15419 82 | 0.000 % |
5.66/5.72 c | 15654 | 5617 108135 256288 | 2147483647 15654 81 | 0.000 % |
5.76/5.82 c | 15910 | 5617 108135 256288 | 2147483647 15910 82 | 0.000 % |
5.76/5.85 c | 16191 | 5617 108135 256288 | 2147483647 16191 82 | 0.000 % |
5.86/5.92 c | 16500 | 5617 108135 256288 | 2147483647 16500 81 | 0.000 % |
5.96/6.04 c | 16840 | 5617 108135 256288 | 2147483647 16840 81 | 0.000 % |
5.96/6.06 c | 16940 | 5617 108135 256288 | 2147483647 16940 81 | 0.000 % |
6.06/6.10 c | 17052 | 5617 108135 256288 | 2147483647 17052 81 | 0.000 % |
6.06/6.13 c | 17173 | 5617 108135 256288 | 2147483647 17173 80 | 0.000 % |
6.06/6.14 c | 17308 | 5617 108135 256288 | 2147483647 17308 80 | 0.000 % |
6.16/6.20 c | 17459 | 5617 108135 256288 | 2147483647 17459 80 | 0.000 % |
6.16/6.26 c | 17619 | 5617 108135 256288 | 2147483647 17619 80 | 0.000 % |
6.36/6.40 c | 17796 | 5617 108135 256288 | 2147483647 17796 80 | 0.000 % |
6.47/6.52 c | 17989 | 5617 108135 256288 | 2147483647 17989 80 | 0.000 % |
6.47/6.60 c | 18201 | 5617 108135 256288 | 2147483647 18201 80 | 0.000 % |
6.66/6.70 c | 18434 | 5617 108135 256288 | 2147483647 18434 80 | 0.000 % |
6.66/6.74 c | 18691 | 5617 108135 256288 | 2147483647 18691 80 | 0.000 % |
6.76/6.82 c | 18972 | 5617 108135 256288 | 2147483647 18972 79 | 0.000 % |
6.86/6.95 c | 19283 | 5617 108135 256288 | 2147483647 19283 79 | 0.000 % |
6.96/7.05 c | 19622 | 5617 108135 256288 | 2147483647 19622 78 | 0.000 % |
7.16/7.20 c | 19997 | 5617 108135 256288 | 2147483647 19997 78 | 0.000 % |
7.16/7.24 c | 20098 | 5617 108135 256288 | 2147483647 20098 78 | 0.000 % |
7.16/7.29 c | 20211 | 5617 108135 256288 | 2147483647 20211 79 | 0.000 % |
7.26/7.38 c | 20332 | 5617 108135 256288 | 2147483647 20332 79 | 0.000 % |
7.36/7.45 c | 20465 | 5617 108135 256288 | 2147483647 20465 79 | 0.000 % |
7.46/7.54 c | 20611 | 5617 108135 256288 | 2147483647 20611 79 | 0.000 % |
7.56/7.66 c | 20773 | 5617 108135 256288 | 2147483647 20773 79 | 0.000 % |
7.66/7.77 c | 20950 | 5617 108135 256288 | 2147483647 20950 80 | 0.000 % |
7.66/7.80 c | 21145 | 5617 108135 256288 | 2147483647 21145 80 | 0.000 % |
7.86/7.91 c | 21360 | 5617 108135 256288 | 2147483647 21360 80 | 0.000 % |
7.96/8.08 c | 21593 | 5617 108135 256288 | 2147483647 21593 80 | 0.000 % |
8.16/8.23 c | 21851 | 5617 108135 256288 | 2147483647 21851 80 | 0.000 % |
8.26/8.30 c | 22133 | 5617 108135 256288 | 2147483647 22133 80 | 0.000 % |
8.26/8.34 c | 22443 | 5617 108135 256288 | 2147483647 22443 80 | 0.000 % |
8.36/8.40 c | 22783 | 5617 108135 256288 | 2147483647 22783 79 | 0.000 % |
8.36/8.44 c | 23157 | 5617 108135 256288 | 2147483647 23157 80 | 0.000 % |
8.46/8.56 c | 23566 | 5617 108135 256288 | 2147483647 23566 80 | 0.000 % |
8.46/8.57 c | 23666 | 5617 108135 256288 | 2147483647 23666 80 | 0.000 % |
8.46/8.59 c | 23777 | 5617 108135 256288 | 2147483647 23777 80 | 0.000 % |
8.56/8.61 c | 23899 | 5617 108135 256288 | 2147483647 23899 80 | 0.000 % |
8.56/8.64 c | 24032 | 5617 108135 256288 | 2147483647 24032 80 | 0.000 % |
8.66/8.72 c | 24178 | 5617 108135 256288 | 2147483647 24178 81 | 0.000 % |
8.66/8.76 c | 24340 | 5617 108135 256288 | 2147483647 24340 81 | 0.000 % |
8.76/8.89 c | 24518 | 5617 108135 256288 | 2147483647 24518 81 | 0.000 % |
8.86/8.98 c | 24712 | 5617 108135 256288 | 2147483647 24712 81 | 0.000 % |
8.96/9.05 c | 24924 | 5617 108135 256288 | 2147483647 24924 81 | 0.000 % |
8.96/9.09 c | 25157 | 5617 108135 256288 | 2147483647 25157 81 | 0.000 % |
9.16/9.25 c | 25413 | 5617 108135 256288 | 2147483647 25413 81 | 0.000 % |
9.26/9.35 c | 25694 | 5617 108135 256288 | 2147483647 25694 81 | 0.000 % |
9.35/9.46 c | 26003 | 5617 108135 256288 | 2147483647 26003 81 | 0.000 % |
9.45/9.53 c | 26345 | 5617 108135 256288 | 2147483647 26345 81 | 0.000 % |
9.45/9.57 c | 26718 | 5617 108135 256288 | 2147483647 26718 81 | 0.000 % |
9.65/9.79 c | 27127 | 5617 108135 256288 | 2147483647 27127 82 | 0.000 % |
9.76/9.84 c | 27577 | 5617 108135 256288 | 2147483647 27577 82 | 0.000 % |
9.76/9.86 c | 27677 | 5617 108135 256288 | 2147483647 27677 82 | 0.000 % |
9.86/9.91 c | 27788 | 5617 108135 256288 | 2147483647 27788 82 | 0.000 % |
9.86/9.93 c | 27909 | 5617 108135 256288 | 2147483647 27909 82 | 0.000 % |
9.86/9.96 c | 28043 | 5617 108135 256288 | 2147483647 28043 82 | 0.000 % |
9.95/10.06 c | 28194 | 5617 108135 256288 | 2147483647 28194 83 | 0.000 % |
10.05/10.12 c | 28355 | 5617 108135 256288 | 2147483647 28355 83 | 0.000 % |
10.05/10.18 c | 28532 | 5617 108135 256288 | 2147483647 28532 83 | 0.000 % |
10.15/10.27 c | 28726 | 5617 108135 256288 | 2147483647 28726 82 | 0.000 % |
10.25/10.36 c | 28938 | 5617 108135 256288 | 2147483647 28938 82 | 0.000 % |
10.35/10.46 c | 29171 | 5617 108135 256288 | 2147483647 29171 82 | 0.000 % |
10.55/10.60 c | 29427 | 5617 108135 256288 | 2147483647 29427 82 | 0.000 % |
10.65/10.70 c | 29708 | 5617 108135 256288 | 2147483647 29708 81 | 0.000 % |
10.65/10.75 c | 30017 | 5617 108135 256288 | 2147483647 30017 81 | 0.000 % |
10.75/10.86 c | 30357 | 5617 108135 256288 | 2147483647 30357 81 | 0.000 % |
10.96/11.04 c | 30730 | 5617 108135 256288 | 2147483647 30730 81 | 0.000 % |
11.06/11.16 c | 31139 | 5617 108135 256288 | 2147483647 31139 81 | 0.000 % |
11.36/11.40 c | 31589 | 5617 108135 256288 | 2147483647 31589 81 | 0.000 % |
11.46/11.56 c | 32082 | 5617 108135 256288 | 2147483647 32082 81 | 0.000 % |
11.56/11.60 c | 32183 | 5617 108135 256288 | 2147483647 32183 80 | 0.000 % |
11.56/11.64 c | 32296 | 5617 108135 256288 | 2147483647 32296 80 | 0.000 % |
11.66/11.70 c | 32417 | 5617 108135 256288 | 2147483647 32417 80 | 0.000 % |
11.66/11.78 c | 32552 | 5617 108135 256288 | 2147483647 32552 80 | 0.000 % |
11.75/11.85 c | 32698 | 5617 108135 256288 | 2147483647 32698 80 | 0.000 % |
11.85/11.92 c | 32860 | 5617 108135 256288 | 2147483647 32860 80 | 0.000 % |
11.96/12.01 c | 33038 | 5617 108135 256288 | 2147483647 33038 80 | 0.000 % |
12.06/12.14 c | 33234 | 5617 108135 256288 | 2147483647 33234 80 | 0.000 % |
12.15/12.23 c | 33446 | 5617 108135 256288 | 2147483647 33446 80 | 0.000 % |
12.25/12.38 c | 33679 | 5617 108135 256288 | 2147483647 33679 80 | 0.000 % |
12.45/12.52 c | 33936 | 5617 108135 256288 | 2147483647 33936 80 | 0.000 % |
12.65/12.79 c | 34217 | 5617 108135 256288 | 2147483647 34217 81 | 0.000 % |
12.95/13.01 c | 34526 | 5617 108135 256288 | 2147483647 34526 81 | 0.000 % |
13.06/13.16 c | 34865 | 5617 108135 256288 | 2147483647 34865 81 | 0.000 % |
13.25/13.36 c | 35238 | 5617 108135 256288 | 2147483647 35238 81 | 0.000 % |
13.35/13.47 c | 35649 | 5617 108135 256288 | 2147483647 35649 81 | 0.000 % |
13.75/13.84 c | 36098 | 5617 108135 256288 | 2147483647 36098 82 | 0.000 % |
13.95/14.01 c | 36591 | 5617 108135 256288 | 2147483647 36591 82 | 0.000 % |
14.26/14.35 c | 37135 | 5617 108135 256288 | 2147483647 37135 83 | 0.000 % |
14.35/14.42 c | 37236 | 5617 108135 256288 | 2147483647 37236 83 | 0.000 % |
14.35/14.45 c | 37346 | 5617 108135 256288 | 2147483647 37346 83 | 0.000 % |
14.35/14.48 c | 37467 | 5617 108135 256288 | 2147483647 37467 83 | 0.000 % |
14.55/14.62 c | 37600 | 5617 108135 256288 | 2147483647 37600 83 | 0.000 % |
14.65/14.73 c | 37748 | 5617 108135 256288 | 2147483647 37748 83 | 0.000 % |
14.75/14.89 c | 37909 | 5617 108135 256288 | 2147483647 37909 83 | 0.000 % |
14.95/15.00 c | 38085 | 5617 108135 256288 | 2147483647 38085 83 | 0.000 % |
14.95/15.09 c | 38278 | 5617 108135 256288 | 2147483647 38278 83 | 0.000 % |
15.15/15.23 c | 38492 | 5617 108135 256288 | 2147483647 38492 83 | 0.000 % |
15.25/15.38 c | 38726 | 5617 108135 256288 | 2147483647 38726 83 | 0.000 % |
15.35/15.49 c | 38983 | 5617 108135 256288 | 2147483647 38983 83 | 0.000 % |
15.55/15.64 c | 39264 | 5617 108135 256288 | 2147483647 39264 83 | 0.000 % |
15.65/15.79 c | 39573 | 5617 108135 256288 | 2147483647 39573 82 | 0.000 % |
15.85/15.99 c | 39912 | 5617 108135 256288 | 2147483647 39912 82 | 0.000 % |
15.95/16.04 c | 40284 | 5617 108135 256288 | 2147483647 40284 83 | 0.000 % |
16.25/16.33 c | 40696 | 5617 108135 256288 | 2147483647 40696 82 | 0.000 % |
16.35/16.43 c | 41145 | 5617 108135 256288 | 2147483647 41145 83 | 0.000 % |
16.45/16.52 c | 41639 | 5617 108135 256288 | 2147483647 41639 82 | 0.000 % |
16.65/16.71 c | 42182 | 5617 108135 256288 | 2147483647 42182 82 | 0.000 % |
16.75/16.87 c | 42778 | 5617 108135 256288 | 2147483647 42778 81 | 0.000 % |
16.85/16.95 c | 42878 | 5617 108135 256288 | 2147483647 42878 81 | 0.000 % |
16.85/16.97 c | 42990 | 5617 108135 256288 | 2147483647 42990 81 | 0.000 % |
16.95/17.01 c | 43115 | 5617 108135 256288 | 2147483647 43115 81 | 0.000 % |
17.04/17.13 c | 43249 | 5617 108135 256288 | 2147483647 43249 81 | 0.000 % |
17.04/17.17 c | 43396 | 5617 108135 256288 | 2147483647 43396 81 | 0.000 % |
17.14/17.27 c | 43557 | 5617 108135 256288 | 2147483647 43557 81 | 0.000 % |
17.35/17.42 c | 43734 | 5617 108135 256288 | 2147483647 43734 81 | 0.000 % |
17.46/17.53 c | 43927 | 5617 108135 256288 | 2147483647 43927 81 | 0.000 % |
17.46/17.59 c | 44140 | 5617 108135 256288 | 2147483647 44140 81 | 0.000 % |
17.65/17.76 c | 44373 | 5617 108135 256288 | 2147483647 44373 81 | 0.000 % |
17.85/17.92 c | 44630 | 5617 108135 256288 | 2147483647 44630 81 | 0.000 % |
17.95/18.05 c | 44912 | 5617 108135 256288 | 2147483647 44912 81 | 0.000 % |
18.15/18.29 c | 45221 | 5617 108135 256288 | 2147483647 45221 82 | 0.000 % |
18.45/18.58 c | 45561 | 5617 108135 256288 | 2147483647 45561 82 | 0.000 % |
18.85/18.99 c | 45933 | 5617 108135 256288 | 2147483647 45933 82 | 0.000 % |
19.15/19.21 c | 46342 | 5617 108135 256288 | 2147483647 46342 82 | 0.000 % |
19.35/19.48 c | 46792 | 5617 108135 256288 | 2147483647 46792 82 | 0.000 % |
19.75/19.81 c | 47285 | 5617 108135 256288 | 2147483647 47285 82 | 0.000 % |
19.95/20.09 c | 47827 | 5617 108135 256288 | 2147483647 47827 82 | 0.000 % |
20.35/20.40 c | 48426 | 5617 108135 256288 | 2147483647 48426 83 | 0.000 % |
20.94/21.07 c | 49081 | 5617 108135 256288 | 2147483647 49081 83 | 0.000 % |
21.04/21.16 c | 49181 | 5617 108135 256288 | 2147483647 49181 83 | 0.000 % |
21.14/21.23 c | 49292 | 5617 108135 256288 | 2147483647 49292 83 | 0.000 % |
21.14/21.26 c | 49413 | 5617 108135 256288 | 2147483647 49413 83 | 0.000 % |
21.24/21.36 c | 49546 | 5617 108135 256288 | 2147483647 49546 83 | 0.000 % |
21.44/21.50 c | 49692 | 5617 108135 256288 | 2147483647 49692 83 | 0.000 % |
21.44/21.56 c | 49854 | 5617 108135 256288 | 2147483647 49854 83 | 0.000 % |
21.64/21.71 c | 50030 | 5617 108135 256288 | 2147483647 50030 84 | 0.000 % |
21.74/21.83 c | 50224 | 5617 108135 256288 | 2147483647 50224 84 | 0.000 % |
21.94/22.09 c | 50436 | 5617 108135 256288 | 2147483647 50436 84 | 0.000 % |
22.24/22.40 c | 50669 | 5617 108135 256288 | 2147483647 50669 84 | 0.000 % |
22.34/22.49 c | 50925 | 5617 108135 256288 | 2147483647 50925 84 | 0.000 % |
22.74/22.83 c | 51207 | 5617 108135 256288 | 2147483647 51207 84 | 0.000 % |
22.94/23.05 c | 51516 | 5617 108135 256288 | 2147483647 51516 85 | 0.000 % |
23.34/23.42 c | 51856 | 5617 108135 256288 | 2147483647 51856 85 | 0.000 % |
23.74/23.83 c | 52228 | 5617 108135 256288 | 2147483647 52228 85 | 0.000 % |
23.94/24.02 c | 52639 | 5617 108135 256288 | 2147483647 52639 85 | 0.000 % |
24.24/24.39 c | 53089 | 5617 108135 256288 | 2147483647 53089 86 | 0.000 % |
24.64/24.78 c | 53582 | 5617 108135 256288 | 2147483647 53582 86 | 0.000 % |
25.05/25.18 c | 54124 | 5617 108135 256288 | 2147483647 54124 85 | 0.000 % |
25.45/25.52 c | 54720 | 5617 108135 256288 | 2147483647 54720 86 | 0.000 % |
26.14/26.24 c | 55377 | 5617 108135 256288 | 2147483647 55377 85 | 0.000 % |
26.94/27.05 c | 56097 | 5617 108135 256288 | 2147483647 56097 86 | 0.000 % |
27.14/27.22 c | 56199 | 5617 108135 256288 | 2147483647 56199 86 | 0.000 % |
27.24/27.39 c | 56309 | 5617 108135 256288 | 2147483647 56309 86 | 0.000 % |
27.45/27.58 c | 56430 | 5617 108135 256288 | 2147483647 56430 86 | 0.000 % |
27.54/27.62 c | 56564 | 5617 108135 256288 | 2147483647 56564 86 | 0.000 % |
27.64/27.79 c | 56711 | 5617 108135 256288 | 2147483647 56711 86 | 0.000 % |
27.94/28.01 c | 56871 | 5617 108135 256288 | 2147483647 56871 86 | 0.000 % |
28.04/28.17 c | 57048 | 5617 108135 256288 | 2147483647 57048 86 | 0.000 % |
28.24/28.39 c | 57244 | 5617 108135 256288 | 2147483647 57244 86 | 0.000 % |
28.54/28.62 c | 57456 | 5617 108135 256288 | 2147483647 57456 86 | 0.000 % |
28.54/28.69 c | 57690 | 5617 108135 256288 | 2147483647 57690 86 | 0.000 % |
28.84/28.95 c | 57946 | 5617 108135 256288 | 2147483647 57946 86 | 0.000 % |
28.94/29.01 c | 58227 | 5617 108135 256288 | 2147483647 58227 87 | 0.000 % |
29.04/29.18 c | 58536 | 5617 108135 256288 | 2147483647 58536 87 | 0.000 % |
29.34/29.42 c | 58875 | 5617 108135 256288 | 2147483647 58875 86 | 0.000 % |
29.54/29.69 c | 59247 | 5617 108135 256288 | 2147483647 59247 86 | 0.000 % |
29.74/29.85 c | 59656 | 5617 108135 256288 | 2147483647 59656 86 | 0.000 % |
30.04/30.11 c | 60108 | 5617 108135 256288 | 2147483647 60108 87 | 0.000 % |
30.34/30.40 c | 60601 | 5617 108135 256288 | 2147483647 60601 86 | 0.000 % |
30.64/30.71 c | 61143 | 5617 108135 256288 | 2147483647 61143 86 | 0.000 % |
30.94/31.05 c | 61739 | 5617 108135 256288 | 2147483647 61739 85 | 0.000 % |
31.34/31.47 c | 62395 | 5617 108135 256288 | 2147483647 62395 85 | 0.000 % |
31.53/31.68 c | 63115 | 5617 108135 256288 | 2147483647 63115 86 | 0.000 % |
32.03/32.15 c | 63907 | 5617 108135 256288 | 2147483647 63907 85 | 0.000 % |
32.13/32.22 c | 64009 | 5617 108135 256288 | 2147483647 64009 85 | 0.000 % |
32.13/32.26 c | 64119 | 5617 108135 256288 | 2147483647 64119 85 | 0.000 % |
32.33/32.41 c | 64240 | 5617 108135 256288 | 2147483647 64240 85 | 0.000 % |
32.33/32.49 c | 64373 | 5617 108135 256288 | 2147483647 64373 85 | 0.000 % |
32.53/32.62 c | 64520 | 5617 108135 256288 | 2147483647 64520 85 | 0.000 % |
32.74/32.83 c | 64683 | 5617 108135 256288 | 2147483647 64683 85 | 0.000 % |
32.84/32.98 c | 64859 | 5617 108135 256288 | 2147483647 64859 85 | 0.000 % |
33.04/33.10 c | 65053 | 5617 108135 256288 | 2147483647 65053 85 | 0.000 % |
33.34/33.43 c | 65266 | 5617 108135 256288 | 2147483647 65266 85 | 0.000 % |
33.44/33.59 c | 65500 | 5617 108135 256288 | 2147483647 65500 85 | 0.000 % |
33.64/33.79 c | 65758 | 5617 108135 256288 | 2147483647 65758 85 | 0.000 % |
33.74/33.87 c | 66040 | 5617 108135 256288 | 2147483647 66040 85 | 0.000 % |
34.03/34.13 c | 66350 | 5617 108135 256288 | 2147483647 66350 85 | 0.000 % |
34.43/34.51 c | 66689 | 5617 108135 256288 | 2147483647 66689 85 | 0.000 % |
34.93/35.01 c | 67061 | 5617 108135 256288 | 2147483647 67061 85 | 0.000 % |
35.33/35.42 c | 67472 | 5617 108135 256288 | 2147483647 67472 85 | 0.000 % |
35.53/35.69 c | 67921 | 5617 108135 256288 | 2147483647 67921 85 | 0.000 % |
35.83/35.98 c | 68415 | 5617 108135 256288 | 2147483647 68415 85 | 0.000 % |
36.23/36.32 c | 68959 | 5617 108135 256288 | 2147483647 68959 86 | 0.000 % |
36.73/36.80 c | 69559 | 5617 108135 256288 | 2147483647 69559 86 | 0.000 % |
37.23/37.33 c | 70214 | 5617 108135 256288 | 2147483647 70214 86 | 0.000 % |
37.72/37.81 c | 70934 | 5617 108135 256288 | 2147483647 70934 86 | 0.000 % |
38.43/38.55 c | 71726 | 5617 108135 256288 | 2147483647 71726 86 | 0.000 % |
39.12/39.22 c | 72597 | 5617 108135 256288 | 2147483647 72597 86 | 0.000 % |
39.22/39.39 c | 72699 | 5617 108135 256288 | 2147483647 72699 86 | 0.000 % |
39.43/39.51 c | 72809 | 5617 108135 256288 | 2147483647 72809 86 | 0.000 % |
39.43/39.55 c | 72930 | 5617 108135 256288 | 2147483647 72930 86 | 0.000 % |
39.53/39.69 c | 73064 | 5617 108135 256288 | 2147483647 73064 86 | 0.000 % |
39.62/39.77 c | 73210 | 5617 108135 256288 | 2147483647 73210 86 | 0.000 % |
39.82/39.90 c | 73371 | 5617 108135 256288 | 2147483647 73371 86 | 0.000 % |
39.92/40.09 c | 73551 | 5617 108135 256288 | 2147483647 73551 86 | 0.000 % |
40.12/40.28 c | 73744 | 5617 108135 256288 | 2147483647 73744 86 | 0.000 % |
40.22/40.38 c | 73958 | 5617 108135 256288 | 2147483647 73958 86 | 0.000 % |
40.32/40.46 c | 74191 | 5617 108135 256288 | 2147483647 74191 86 | 0.000 % |
40.42/40.50 c | 74448 | 5617 108135 256288 | 2147483647 74448 86 | 0.000 % |
40.62/40.71 c | 74730 | 5617 108135 256288 | 2147483647 74730 86 | 0.000 % |
40.82/40.93 c | 75039 | 5617 108135 256288 | 2147483647 75039 86 | 0.000 % |
41.02/41.14 c | 75379 | 5617 108135 256288 | 2147483647 75379 86 | 0.000 % |
41.43/41.54 c | 75752 | 5617 108135 256288 | 2147483647 75752 86 | 0.000 % |
41.63/41.79 c | 76161 | 5617 108135 256288 | 2147483647 76161 86 | 0.000 % |
41.83/41.97 c | 76611 | 5617 108135 256288 | 2147483647 76611 86 | 0.000 % |
42.23/42.38 c | 77106 | 5617 108135 256288 | 2147483647 77106 86 | 0.000 % |
42.43/42.51 c | 77649 | 5617 108135 256288 | 2147483647 77649 86 | 0.000 % |
42.83/42.91 c | 78245 | 5617 108135 256288 | 2147483647 78245 85 | 0.000 % |
43.72/43.86 c | 78901 | 5617 108135 256288 | 2147483647 78901 85 | 0.000 % |
44.72/44.85 c | 79622 | 5617 108135 256288 | 2147483647 79622 86 | 0.000 % |
45.92/46.00 c | 80415 | 5617 108135 256288 | 2147483647 80415 86 | 0.000 % |
47.02/47.10 c | 81289 | 5617 108135 256288 | 2147483647 81289 86 | 0.000 % |
48.12/48.26 c | 82247 | 5617 108135 256288 | 2147483647 82247 87 | 0.000 % |
48.22/48.34 c | 82348 | 5617 108135 256288 | 2147483647 82348 87 | 0.000 % |
48.42/48.54 c | 82458 | 5617 108135 256288 | 2147483647 82458 87 | 0.000 % |
48.62/48.72 c | 82579 | 5617 108135 256288 | 2147483647 82579 87 | 0.000 % |
48.82/48.93 c | 82714 | 5617 108135 256288 | 2147483647 82714 87 | 0.000 % |
49.02/49.17 c | 82864 | 5617 108135 256288 | 2147483647 82864 87 | 0.000 % |
49.12/49.29 c | 83024 | 5617 108135 256288 | 2147483647 83024 87 | 0.000 % |
49.42/49.56 c | 83203 | 5617 108135 256288 | 2147483647 83203 87 | 0.000 % |
49.62/49.73 c | 83397 | 5617 108135 256288 | 2147483647 83397 87 | 0.000 % |
49.82/49.95 c | 83609 | 5617 108135 256288 | 2147483647 83609 87 | 0.000 % |
49.91/50.06 c | 83843 | 5617 108135 256288 | 2147483647 83843 87 | 0.000 % |
50.01/50.10 c | 84101 | 5617 108135 256288 | 2147483647 84101 87 | 0.000 % |
50.31/50.45 c | 84383 | 5617 108135 256288 | 2147483647 84383 87 | 0.000 % |
50.42/50.52 c | 84693 | 5617 108135 256288 | 2147483647 84693 87 | 0.000 % |
50.82/50.99 c | 85032 | 5617 108135 256288 | 2147483647 85032 87 | 0.000 % |
51.22/51.32 c | 85404 | 5617 108135 256288 | 2147483647 85404 87 | 0.000 % |
51.42/51.59 c | 85815 | 5617 108135 256288 | 2147483647 85815 87 | 0.000 % |
51.63/51.73 c | 86264 | 5617 108135 256288 | 2147483647 86264 87 | 0.000 % |
51.72/51.82 c | 86758 | 5617 108135 256288 | 2147483647 86758 87 | 0.000 % |
52.22/52.39 c | 87300 | 5617 108135 256288 | 2147483647 87300 86 | 0.000 % |
52.92/53.08 c | 87896 | 5617 108135 256288 | 2147483647 87896 87 | 0.000 % |
53.32/53.40 c | 88552 | 5617 108135 256288 | 2147483647 88552 87 | 0.000 % |
53.52/53.64 c | 89273 | 5617 108135 256288 | 2147483647 89273 87 | 0.000 % |
53.72/53.87 c | 90065 | 5617 108135 256288 | 2147483647 90065 87 | 0.000 % |
54.12/54.22 c | 90943 | 5617 108135 256288 | 2147483647 90943 87 | 0.000 % |
54.32/54.49 c | 91902 | 5617 108135 256288 | 2147483647 91902 87 | 0.000 % |
55.12/55.25 c | 92956 | 5617 108135 256288 | 2147483647 92956 88 | 0.000 % |
55.22/55.30 c | 93057 | 5617 108135 256288 | 2147483647 93057 88 | 0.000 % |
55.22/55.40 c | 93168 | 5617 108135 256288 | 2147483647 93168 88 | 0.000 % |
55.32/55.44 c | 93290 | 5617 108135 256288 | 2147483647 93290 88 | 0.000 % |
55.42/55.59 c | 93423 | 5617 108135 256288 | 2147483647 93423 88 | 0.000 % |
55.72/55.89 c | 93569 | 5617 108135 256288 | 2147483647 93569 88 | 0.000 % |
56.02/56.15 c | 93729 | 5617 108135 256288 | 2147483647 93729 88 | 0.000 % |
56.21/56.38 c | 93905 | 5617 108135 256288 | 2147483647 93905 88 | 0.000 % |
56.41/56.55 c | 94098 | 5617 108135 256288 | 2147483647 94098 88 | 0.000 % |
56.51/56.63 c | 94310 | 5617 108135 256288 | 2147483647 94310 88 | 0.000 % |
56.61/56.79 c | 94544 | 5617 108135 256288 | 2147483647 94544 88 | 0.000 % |
57.12/57.20 c | 94802 | 5617 108135 256288 | 2147483647 94802 88 | 0.000 % |
57.41/57.57 c | 95083 | 5617 108135 256288 | 2147483647 95083 88 | 0.000 % |
57.61/57.73 c | 95392 | 5617 108135 256288 | 2147483647 95392 88 | 0.000 % |
57.91/58.02 c | 95732 | 5617 108135 256288 | 2147483647 95732 88 | 0.000 % |
58.52/58.66 c | 96109 | 5617 108135 256288 | 2147483647 96109 89 | 0.000 % |
58.72/58.83 c | 96518 | 5617 108135 256288 | 2147483647 96518 89 | 0.000 % |
59.12/59.26 c | 96968 | 5617 108135 256288 | 2147483647 96968 89 | 0.000 % |
59.42/59.54 c | 97461 | 5617 108135 256288 | 2147483647 97461 88 | 0.000 % |
59.92/60.02 c | 98005 | 5617 108135 256288 | 2147483647 98005 88 | 0.000 % |
60.72/60.87 c | 98602 | 5617 108135 256288 | 2147483647 98602 89 | 0.000 % |
61.42/61.54 c | 99258 | 5617 108135 256288 | 2147483647 99258 89 | 0.000 % |
61.92/62.01 c | 99978 | 5617 108135 256288 | 2147483647 99978 89 | 0.000 % |
62.52/62.69 c | 100770 | 5617 108135 256288 | 2147483647 100770 89 | 0.000 % |
63.21/63.31 c | 101641 | 5617 108135 256288 | 2147483647 101641 89 | 0.000 % |
64.41/64.56 c | 102599 | 5617 108135 256288 | 2147483647 102599 88 | 0.000 % |
65.81/65.92 c | 103652 | 5617 108135 256288 | 2147483647 103652 89 | 0.000 % |
66.11/66.29 c | 104812 | 5617 108135 256288 | 2147483647 104812 89 | 0.000 % |
66.21/66.31 c | 104913 | 5617 108135 256288 | 2147483647 104913 89 | 0.000 % |
66.31/66.42 c | 105023 | 5617 108135 256288 | 2147483647 105023 89 | 0.000 % |
66.51/66.64 c | 105145 | 5617 108135 256288 | 2147483647 105145 89 | 0.000 % |
66.72/66.84 c | 105282 | 5617 108135 256288 | 2147483647 105282 89 | 0.000 % |
66.92/67.10 c | 105430 | 5617 108135 256288 | 2147483647 105430 89 | 0.000 % |
67.22/67.39 c | 105590 | 5617 108135 256288 | 2147483647 105590 89 | 0.000 % |
67.41/67.56 c | 105767 | 5617 108135 256288 | 2147483647 105767 89 | 0.000 % |
67.71/67.89 c | 105960 | 5617 108135 256288 | 2147483647 105960 89 | 0.000 % |
67.91/68.10 c | 106172 | 5617 108135 256288 | 2147483647 106172 90 | 0.000 % |
68.31/68.48 c | 106406 | 5617 108135 256288 | 2147483647 106406 90 | 0.000 % |
68.71/68.82 c | 106662 | 5617 108135 256288 | 2147483647 106662 90 | 0.000 % |
68.91/69.03 c | 106943 | 5617 108135 256288 | 2147483647 106943 89 | 0.000 % |
69.41/69.51 c | 107253 | 5617 108135 256288 | 2147483647 107253 90 | 0.000 % |
69.41/69.57 c | 107593 | 5617 108135 256288 | 2147483647 107593 90 | 0.000 % |
69.81/69.94 c | 107965 | 5617 108135 256288 | 2147483647 107965 89 | 0.000 % |
69.91/70.06 c | 108376 | 5617 108135 256288 | 2147483647 108376 89 | 0.000 % |
70.51/70.61 c | 108825 | 5617 108135 256288 | 2147483647 108825 89 | 0.000 % |
70.51/70.68 c | 109322 | 5617 108135 256288 | 2147483647 109322 89 | 0.000 % |
71.01/71.12 c | 109864 | 5617 108135 256288 | 2147483647 109864 89 | 0.000 % |
71.61/71.70 c | 110460 | 5617 108135 256288 | 2147483647 110460 89 | 0.000 % |
72.81/72.95 c | 111116 | 5617 108135 256288 | 2147483647 111116 89 | 0.000 % |
73.31/73.46 c | 111836 | 5617 108135 256288 | 2147483647 111836 89 | 0.000 % |
73.70/73.90 c | 112628 | 5617 108135 256288 | 2147483647 112628 90 | 0.000 % |
74.99/75.13 c | 113500 | 5617 108135 256288 | 2147483647 113500 90 | 0.000 % |
76.49/76.69 c | 114458 | 5617 108135 256288 | 2147483647 114458 90 | 0.000 % |
77.88/78.07 c | 115511 | 5617 108135 256288 | 2147483647 115511 91 | 0.000 % |
78.68/78.90 c | 116669 | 5617 108135 256288 | 2147483647 116669 91 | 0.000 % |
80.18/80.38 c | 117943 | 5617 108135 256288 | 2147483647 117943 91 | 0.000 % |
80.28/80.42 c | 118044 | 5617 108135 256288 | 2147483647 118044 91 | 0.000 % |
80.38/80.56 c | 118154 | 5617 108135 256288 | 2147483647 118154 91 | 0.000 % |
80.58/80.75 c | 118278 | 5617 108135 256288 | 2147483647 118278 91 | 0.000 % |
80.78/80.94 c | 118411 | 5617 108135 256288 | 2147483647 118411 91 | 0.000 % |
80.98/81.16 c | 118557 | 5617 108135 256288 | 2147483647 118557 91 | 0.000 % |
81.18/81.36 c | 118717 | 5617 108135 256288 | 2147483647 118717 91 | 0.000 % |
81.38/81.53 c | 118893 | 5617 108135 256288 | 2147483647 118893 91 | 0.000 % |
81.68/81.86 c | 119087 | 5617 108135 256288 | 2147483647 119087 91 | 0.000 % |
82.08/82.21 c | 119300 | 5617 108135 256288 | 2147483647 119300 91 | 0.000 % |
82.28/82.49 c | 119534 | 5617 108135 256288 | 2147483647 119534 91 | 0.000 % |
82.67/82.82 c | 119790 | 5617 108135 256288 | 2147483647 119790 91 | 0.000 % |
82.77/82.90 c | 120071 | 5617 108135 256288 | 2147483647 120071 91 | 0.000 % |
82.87/83.04 c | 120381 | 5617 108135 256288 | 2147483647 120381 91 | 0.000 % |
82.87/83.10 c | 120720 | 5617 108135 256288 | 2147483647 120720 91 | 0.000 % |
83.17/83.39 c | 121093 | 5617 108135 256288 | 2147483647 121093 91 | 0.000 % |
83.38/83.54 c | 121503 | 5617 108135 256288 | 2147483647 121503 91 | 0.000 % |
83.77/83.90 c | 121953 | 5617 108135 256288 | 2147483647 121953 92 | 0.000 % |
83.97/84.10 c | 122446 | 5617 108135 256288 | 2147483647 122446 92 | 0.000 % |
84.17/84.32 c | 122988 | 5617 108135 256288 | 2147483647 122988 92 | 0.000 % |
84.37/84.54 c | 123584 | 5617 108135 256288 | 2147483647 123584 92 | 0.000 % |
85.07/85.23 c | 124240 | 5617 108135 256288 | 2147483647 124240 92 | 0.000 % |
85.27/85.46 c | 124960 | 5617 108135 256288 | 2147483647 124960 92 | 0.000 % |
85.88/86.09 c | 125754 | 5617 108135 256288 | 2147483647 125754 92 | 0.000 % |
86.28/86.42 c | 126625 | 5617 108135 256288 | 2147483647 126625 92 | 0.000 % |
87.28/87.46 c | 127583 | 5617 108135 256288 | 2147483647 127583 93 | 0.000 % |
87.67/87.86 c | 128636 | 5617 108135 256288 | 2147483647 128636 93 | 0.000 % |
88.77/88.93 c | 129795 | 5617 108135 256288 | 2147483647 129795 93 | 0.000 % |
89.17/89.34 c | 131068 | 5617 108135 256288 | 2147483647 131068 93 | 0.000 % |
90.77/90.93 c | 132468 | 5617 108135 256288 | 2147483647 132468 93 | 0.000 % |
90.77/90.98 c | 132569 | 5617 108135 256288 | 2147483647 132569 93 | 0.000 % |
90.97/91.11 c | 132680 | 5617 108135 256288 | 2147483647 132680 93 | 0.000 % |
91.07/91.22 c | 132802 | 5617 108135 256288 | 2147483647 132802 93 | 0.000 % |
91.17/91.38 c | 132937 | 5617 108135 256288 | 2147483647 132937 93 | 0.000 % |
91.37/91.60 c | 133083 | 5617 108135 256288 | 2147483647 133083 93 | 0.000 % |
91.57/91.79 c | 133244 | 5617 108135 256288 | 2147483647 133244 93 | 0.000 % |
91.77/91.98 c | 133421 | 5617 108135 256288 | 2147483647 133421 93 | 0.000 % |
92.07/92.22 c | 133616 | 5617 108135 256288 | 2147483647 133616 93 | 0.000 % |
92.17/92.34 c | 133828 | 5617 108135 256288 | 2147483647 133828 93 | 0.000 % |
92.37/92.54 c | 134062 | 5617 108135 256288 | 2147483647 134062 94 | 0.000 % |
92.77/92.95 c | 134318 | 5617 108135 256288 | 2147483647 134318 94 | 0.000 % |
93.06/93.27 c | 134599 | 5617 108135 256288 | 2147483647 134599 94 | 0.000 % |
93.46/93.65 c | 134908 | 5617 108135 256288 | 2147483647 134908 94 | 0.000 % |
93.86/94.06 c | 135248 | 5617 108135 256288 | 2147483647 135248 94 | 0.000 % |
94.16/94.34 c | 135620 | 5617 108135 256288 | 2147483647 135620 94 | 0.000 % |
94.47/94.65 c | 136029 | 5617 108135 256288 | 2147483647 136029 94 | 0.000 % |
94.76/94.91 c | 136478 | 5617 108135 256288 | 2147483647 136478 94 | 0.000 % |
95.27/95.42 c | 136971 | 5617 108135 256288 | 2147483647 136971 94 | 0.000 % |
95.37/95.59 c | 137515 | 5617 108135 256288 | 2147483647 137515 94 | 0.000 % |
96.17/96.31 c | 138111 | 5617 108135 256288 | 2147483647 138111 94 | 0.000 % |
96.47/96.60 c | 138766 | 5617 108135 256288 | 2147483647 138766 94 | 0.000 % |
97.37/97.53 c | 139486 | 5617 108135 256288 | 2147483647 139486 94 | 0.000 % |
97.77/97.97 c | 140280 | 5617 108135 256288 | 2147483647 140280 94 | 0.000 % |
98.57/98.78 c | 141151 | 5617 108135 256288 | 2147483647 141151 94 | 0.000 % |
99.66/99.82 c | 142109 | 5617 108135 256288 | 2147483647 142109 94 | 0.000 % |
100.76/100.99 c | 143162 | 5617 108135 256288 | 2147483647 143162 94 | 0.000 % |
102.76/102.96 c | 144322 | 5617 108135 256288 | 2147483647 144322 94 | 0.000 % |
104.46/104.68 c | 145595 | 5617 108135 256288 | 2147483647 145595 94 | 0.000 % |
106.47/106.61 c | 146995 | 5617 108135 256288 | 2147483647 146995 95 | 0.000 % |
108.36/108.51 c | 148537 | 5617 108135 256288 | 2147483647 148537 95 | 0.000 % |
108.56/108.76 c | 148639 | 5617 108135 256288 | 2147483647 148639 95 | 0.000 % |
108.66/108.80 c | 148749 | 5617 108135 256288 | 2147483647 148749 95 | 0.000 % |
108.66/108.89 c | 148870 | 5617 108135 256288 | 2147483647 148870 95 | 0.000 % |
108.86/109.00 c | 149004 | 5617 108135 256288 | 2147483647 149004 95 | 0.000 % |
109.26/109.42 c | 149152 | 5617 108135 256288 | 2147483647 149152 95 | 0.000 % |
109.56/109.70 c | 149312 | 5617 108135 256288 | 2147483647 149312 95 | 0.000 % |
109.96/110.10 c | 149488 | 5617 108135 256288 | 2147483647 149488 95 | 0.000 % |
110.16/110.30 c | 149681 | 5617 108135 256288 | 2147483647 149681 95 | 0.000 % |
110.46/110.67 c | 149893 | 5617 108135 256288 | 2147483647 149893 95 | 0.000 % |
110.66/110.87 c | 150127 | 5617 108135 256288 | 150003 150127 95 | 0.000 % |
111.16/111.39 c | 150384 | 5617 108135 256288 | 150003 132143 96 | 0.000 % |
111.36/111.52 c | 150666 | 5617 108135 256288 | 150003 132425 96 | 0.000 % |
111.56/111.77 c | 150979 | 5617 108135 256288 | 150003 132738 96 | 0.000 % |
111.86/112.05 c | 151320 | 5617 108135 256288 | 150003 133079 96 | 0.000 % |
112.06/112.29 c | 151694 | 5617 108135 256288 | 150003 133453 96 | 0.000 % |
112.46/112.65 c | 152103 | 5617 108135 256288 | 150003 133862 96 | 0.000 % |
112.66/112.81 c | 152552 | 5617 108135 256288 | 150003 134311 96 | 0.000 % |
112.96/113.10 c | 153045 | 5617 108135 256288 | 150003 134804 96 | 0.000 % |
113.66/113.80 c | 153587 | 5617 108135 256288 | 150003 135346 97 | 0.000 % |
114.26/114.40 c | 154183 | 5617 108135 256288 | 150003 135942 97 | 0.000 % |
114.85/115.08 c | 154838 | 5617 108135 256288 | 150003 136597 97 | 0.000 % |
115.15/115.34 c | 155558 | 5617 108135 256288 | 150003 137317 97 | 0.000 % |
116.25/116.42 c | 156350 | 5617 108135 256288 | 150003 138109 97 | 0.000 % |
117.15/117.36 c | 157222 | 5617 108135 256288 | 150003 138981 97 | 0.000 % |
117.95/118.16 c | 158182 | 5617 108135 256288 | 150003 139941 97 | 0.000 % |
118.95/119.12 c | 159237 | 5617 108135 256288 | 150003 140996 97 | 0.000 % |
119.95/120.14 c | 160395 | 5617 108135 256288 | 141761 142154 98 | 0.000 % |
121.05/121.28 c | 161668 | 5617 108135 256288 | 141761 125713 98 | 0.000 % |
122.35/122.56 c | 163068 | 5617 108135 256288 | 141761 127113 98 | 0.000 % |
123.65/123.85 c | 164610 | 5617 108135 256288 | 141761 128655 99 | 0.000 % |
125.05/125.25 c | 166305 | 5617 108135 256288 | 141761 130350 98 | 0.000 % |
125.15/125.32 c | 166406 | 5617 108135 256288 | 141761 130451 98 | 0.000 % |
125.34/125.56 c | 166516 | 5617 108135 256288 | 141761 130561 98 | 0.000 % |
125.64/125.89 c | 166637 | 5617 108135 256288 | 141761 130682 98 | 0.000 % |
125.94/126.14 c | 166770 | 5617 108135 256288 | 141761 130815 98 | 0.000 % |
126.04/126.24 c | 166918 | 5617 108135 256288 | 141761 130963 98 | 0.000 % |
126.35/126.51 c | 167078 | 5617 108135 256288 | 141761 131123 98 | 0.000 % |
126.54/126.71 c | 167254 | 5617 108135 256288 | 141761 131299 98 | 0.000 % |
126.74/126.90 c | 167451 | 5617 108135 256288 | 141761 131496 98 | 0.000 % |
126.84/127.00 c | 167663 | 5617 108135 256288 | 141761 131708 98 | 0.000 % |
127.24/127.49 c | 167896 | 5617 108135 256288 | 141761 131941 98 | 0.000 % |
127.74/127.97 c | 168153 | 5617 108135 256288 | 141761 132198 98 | 0.000 % |
127.94/128.14 c | 168435 | 5617 108135 256288 | 141761 132480 98 | 0.000 % |
128.14/128.40 c | 168746 | 5617 108135 256288 | 141761 132791 98 | 0.000 % |
128.34/128.54 c | 169086 | 5617 108135 256288 | 141761 133131 98 | 0.000 % |
128.74/128.99 c | 169459 | 5617 108135 256288 | 141761 133504 98 | 0.000 % |
129.34/129.51 c | 169868 | 5617 108135 256288 | 141761 133913 98 | 0.000 % |
129.55/129.77 c | 170320 | 5617 108135 256288 | 134045 134365 98 | 0.000 % |
130.34/130.53 c | 170815 | 5617 108135 256288 | 134045 121424 98 | 0.000 % |
130.84/131.09 c | 171358 | 5617 108135 256288 | 134045 121967 98 | 0.000 % |
131.94/132.11 c | 171954 | 5617 108135 256288 | 134045 122563 98 | 0.000 % |
132.04/132.23 c | 172609 | 5617 108135 256288 | 134045 123218 98 | 0.000 % |
132.64/132.80 c | 173329 | 5617 108135 256288 | 134045 123938 97 | 0.000 % |
133.24/133.46 c | 174122 | 5617 108135 256288 | 134045 124731 97 | 0.000 % |
134.24/134.47 c | 174993 | 5617 108135 256288 | 134045 125602 97 | 0.000 % |
135.34/135.54 c | 175951 | 5617 108135 256288 | 134045 126560 97 | 0.000 % |
135.94/136.12 c | 177004 | 5617 108135 256288 | 134045 127613 97 | 0.000 % |
137.44/137.67 c | 178162 | 5617 108135 256288 | 134045 128771 97 | 0.000 % |
139.44/139.66 c | 179435 | 5617 108135 256288 | 134045 130044 97 | 0.000 % |
141.44/141.64 c | 180835 | 5617 108135 256288 | 2147483647 131444 96 | 0.000 % |
142.34/142.58 c | 182376 | 5617 108135 256288 | 2147483647 132985 96 | 0.000 % |
144.34/144.56 c | 184070 | 5617 108135 256288 | 2147483647 134679 95 | 0.000 % |
146.74/146.97 c | 185941 | 5617 108135 256288 | 2147483647 136550 96 | 0.000 % |
146.94/147.14 c | 186041 | 5617 108135 256288 | 2147483647 136650 96 | 0.000 % |
147.04/147.27 c | 186151 | 5617 108135 256288 | 2147483647 136760 96 | 0.000 % |
147.24/147.43 c | 186274 | 5617 108135 256288 | 2147483647 136883 96 | 0.000 % |
147.34/147.53 c | 186407 | 5617 108135 256288 | 2147483647 137016 96 | 0.000 % |
147.44/147.65 c | 186554 | 5617 108135 256288 | 2147483647 137163 96 | 0.000 % |
147.54/147.73 c | 186714 | 5617 108135 256288 | 2147483647 137323 96 | 0.000 % |
147.64/147.81 c | 186891 | 5617 108135 256288 | 2147483647 137500 96 | 0.000 % |
147.84/148.01 c | 187084 | 5617 108135 256288 | 2147483647 137693 96 | 0.000 % |
148.04/148.24 c | 187296 | 5617 108135 256288 | 2147483647 137905 96 | 0.000 % |
148.44/148.60 c | 187529 | 5617 108135 256288 | 2147483647 138138 96 | 0.000 % |
148.84/149.06 c | 187785 | 5617 108135 256288 | 2147483647 138394 96 | 0.000 % |
149.14/149.33 c | 188066 | 5617 108135 256288 | 2147483647 138675 96 | 0.000 % |
149.24/149.41 c | 188376 | 5617 108135 256288 | 2147483647 138985 96 | 0.000 % |
149.34/149.60 c | 188715 | 5617 108135 256288 | 2147483647 139324 96 | 0.000 % |
149.73/149.93 c | 189087 | 5617 108135 256288 | 2147483647 139696 96 | 0.000 % |
149.93/150.14 c | 189496 | 5617 108135 256288 | 2147483647 140105 96 | 0.000 % |
150.33/150.58 c | 189945 | 5617 108135 256288 | 2147483647 140554 96 | 0.000 % |
151.03/151.25 c | 190439 | 5617 108135 256288 | 2147483647 141048 96 | 0.000 % |
151.73/151.93 c | 190983 | 5617 108135 256288 | 2147483647 141592 96 | 0.000 % |
151.83/152.07 c | 191581 | 5617 108135 256288 | 2147483647 142190 96 | 0.000 % |
152.33/152.51 c | 192237 | 5617 108135 256288 | 2147483647 142846 96 | 0.001 % |
153.13/153.33 c | 192957 | 5617 108135 256288 | 2147483647 143566 96 | 0.000 % |
154.03/154.28 c | 193749 | 5617 108135 256288 | 2147483647 144358 96 | 0.000 % |
154.23/154.45 c | 194620 | 5617 108135 256288 | 2147483647 145229 96 | 0.000 % |
155.83/156.03 c | 195578 | 5617 108135 256288 | 2147483647 146187 96 | 0.000 % |
156.43/156.66 c | 196632 | 5617 108135 256288 | 2147483647 147241 96 | 0.000 % |
158.03/158.25 c | 197790 | 5617 108135 256288 | 2147483647 148399 96 | 0.000 % |
160.03/160.25 c | 199064 | 5617 108135 256288 | 2147483647 149673 96 | 0.000 % |
162.33/162.55 c | 200464 | 5617 108135 256288 | 150609 151073 97 | 0.000 % |
164.22/164.41 c | 202004 | 5617 108135 256288 | 150609 132080 98 | 0.000 % |
165.32/165.54 c | 203699 | 5617 108135 256288 | 150609 133775 99 | 0.000 % |
168.32/168.53 c | 205562 | 5617 108135 256288 | 150609 135638 99 | 0.000 % |
171.32/171.55 c | 207615 | 5617 108135 256288 | 150609 137691 99 | 0.000 % |
171.32/171.58 c | 207715 | 5617 108135 256288 | 150609 137791 99 | 0.000 % |
171.62/171.84 c | 207825 | 5617 108135 256288 | 150609 137901 99 | 0.000 % |
171.72/171.95 c | 207948 | 5617 108135 256288 | 150609 138024 99 | 0.000 % |
172.02/172.20 c | 208082 | 5617 108135 256288 | 150609 138158 99 | 0.000 % |
172.21/172.41 c | 208231 | 5617 108135 256288 | 150609 138307 99 | 0.000 % |
172.52/172.73 c | 208393 | 5617 108135 256288 | 150609 138469 99 | 0.000 % |
172.82/173.04 c | 208570 | 5617 108135 256288 | 150609 138646 99 | 0.000 % |
173.21/173.48 c | 208763 | 5617 108135 256288 | 150609 138839 99 | 0.000 % |
173.52/173.77 c | 208976 | 5617 108135 256288 | 150609 139052 99 | 0.000 % |
174.01/174.26 c | 209211 | 5617 108135 256288 | 150609 139287 99 | 0.000 % |
174.31/174.56 c | 209467 | 5617 108135 256288 | 150609 139543 99 | 0.000 % |
174.72/174.93 c | 209749 | 5617 108135 256288 | 150609 139825 99 | 0.000 % |
175.01/175.29 c | 210058 | 5617 108135 256288 | 2147483647 140134 99 | 0.000 % |
175.41/175.62 c | 210397 | 5617 108135 256288 | 2147483647 140473 99 | 0.000 % |
176.11/176.34 c | 210770 | 5617 108135 256288 | 2147483647 140846 99 | 0.000 % |
176.82/177.01 c | 211183 | 5617 108135 256288 | 2147483647 141259 99 | 0.000 % |
176.92/177.18 c | 211632 | 5617 108135 256288 | 2147483647 141708 99 | 0.000 % |
178.02/178.23 c | 212127 | 5617 108135 256288 | 2147483647 142203 99 | 0.000 % |
178.71/178.92 c | 212670 | 5617 108135 256288 | 2147483647 142746 99 | 0.000 % |
179.51/179.72 c | 213268 | 5617 108135 256288 | 2147483647 143344 99 | 0.000 % |
180.22/180.43 c | 213923 | 5617 108135 256288 | 2147483647 143999 99 | 0.000 % |
181.32/181.53 c | 214643 | 5617 108135 256288 | 2147483647 144719 99 | 0.000 % |
181.61/181.86 c | 215436 | 5617 108135 256288 | 2147483647 145512 99 | 0.000 % |
182.61/182.82 c | 216307 | 5617 108135 256288 | 2147483647 146383 99 | 0.000 % |
183.61/183.88 c | 217266 | 5617 108135 256288 | 2147483647 147342 99 | 0.000 % |
185.41/185.69 c | 218320 | 5617 108135 256288 | 2147483647 148396 99 | 0.000 % |
186.01/186.24 c | 219478 | 5617 108135 256288 | 2147483647 149554 99 | 0.000 % |
187.91/188.19 c | 220751 | 5617 108135 256288 | 150077 150827 99 | 0.000 % |
190.81/191.05 c | 222152 | 5617 108135 256288 | 150077 130033 98 | 0.000 % |
192.70/192.93 c | 223695 | 5617 108135 256288 | 150077 131576 98 | 0.000 % |
194.80/195.05 c | 225391 | 5617 108135 256288 | 150077 133272 99 | 0.000 % |
196.10/196.39 c | 227257 | 5617 108135 256288 | 150077 135138 99 | 0.000 % |
197.71/197.97 c | 229306 | 5617 108135 256288 | 150077 137187 99 | 0.000 % |
202.11/202.31 c | 231559 | 5617 108135 256288 | 2147483647 139440 99 | 0.000 % |
202.31/202.57 c | 231659 | 5617 108135 256288 | 2147483647 139540 99 | 0.000 % |
202.51/202.71 c | 231770 | 5617 108135 256288 | 2147483647 139651 99 | 0.000 % |
202.61/202.89 c | 231895 | 5617 108135 256288 | 2147483647 139776 99 | 0.000 % |
202.81/203.07 c | 232028 | 5617 108135 256288 | 2147483647 139909 99 | 0.000 % |
203.11/203.38 c | 232175 | 5617 108135 256288 | 2147483647 140056 99 | 0.000 % |
203.21/203.45 c | 232335 | 5617 108135 256288 | 2147483647 140216 99 | 0.000 % |
203.41/203.63 c | 232513 | 5617 108135 256288 | 2147483647 140394 99 | 0.000 % |
203.51/203.71 c | 232706 | 5617 108135 256288 | 2147483647 140587 99 | 0.000 % |
203.51/203.76 c | 232918 | 5617 108135 256288 | 2147483647 140799 99 | 0.000 % |
204.01/204.28 c | 233153 | 5617 108135 256288 | 2147483647 141034 99 | 0.000 % |
204.11/204.36 c | 233410 | 5617 108135 256288 | 2147483647 141291 99 | 0.000 % |
204.51/204.75 c | 233691 | 5617 108135 256288 | 2147483647 141572 99 | 0.000 % |
205.01/205.25 c | 234001 | 5617 108135 256288 | 2147483647 141882 99 | 0.000 % |
205.41/205.61 c | 234340 | 5617 108135 256288 | 2147483647 142221 99 | 0.000 % |
206.01/206.23 c | 234712 | 5617 108135 256288 | 2147483647 142593 99 | 0.000 % |
206.61/206.81 c | 235122 | 5617 108135 256288 | 2147483647 143003 99 | 0.000 % |
207.31/207.53 c | 235572 | 5617 108135 256288 | 2147483647 143453 99 | 0.000 % |
207.71/207.95 c | 236066 | 5617 108135 256288 | 2147483647 143947 98 | 0.000 % |
208.80/209.04 c | 236608 | 5617 108135 256288 | 2147483647 144489 98 | 0.000 % |
209.30/209.52 c | 237205 | 5617 108135 256288 | 2147483647 145086 98 | 0.000 % |
209.90/210.17 c | 237860 | 5617 108135 256288 | 2147483647 145741 98 | 0.000 % |
211.30/211.50 c | 238581 | 5617 108135 256288 | 2147483647 146462 98 | 0.000 % |
212.30/212.55 c | 239373 | 5617 108135 256288 | 2147483647 147254 98 | 0.000 % |
213.40/213.69 c | 240245 | 5617 108135 256288 | 2147483647 148126 98 | 0.000 % |
215.20/215.43 c | 241203 | 5617 108135 256288 | 2147483647 149084 98 | 0.000 % |
216.60/216.80 c | 242256 | 5617 108135 256288 | 2147483647 150137 98 | 0.000 % |
218.49/218.74 c | 243414 | 5617 108135 256288 | 2147483647 151295 98 | 0.000 % |
220.29/220.58 c | 244687 | 5617 108135 256288 | 2147483647 152568 98 | 0.000 % |
222.69/222.97 c | 246090 | 5617 108135 256288 | 2147483647 153971 99 | 0.000 % |
224.89/225.15 c | 247631 | 5617 108135 256288 | 2147483647 155512 98 | 0.000 % |
226.19/226.48 c | 249326 | 5617 108135 256288 | 2147483647 157207 98 | 0.000 % |
228.69/228.94 c | 251189 | 5617 108135 256288 | 157881 159070 98 | 0.000 % |
230.69/230.93 c | 253239 | 5617 108135 256288 | 157881 136211 96 | 0.000 % |
233.89/234.13 c | 255492 | 5617 108135 256288 | 157881 138464 97 | 0.000 % |
235.19/235.48 c | 257972 | 5617 108135 256288 | 157881 140944 97 | 0.000 % |
235.29/235.56 c | 258072 | 5617 108135 256288 | 157881 141044 97 | 0.000 % |
235.39/235.61 c | 258183 | 5617 108135 256288 | 157881 141155 97 | 0.000 % |
235.59/235.80 c | 258305 | 5617 108135 256288 | 157881 141277 97 | 0.000 % |
235.59/235.83 c | 258438 | 5617 108135 256288 | 157881 141410 97 | 0.000 % |
235.59/235.85 c | 258584 | 5617 108135 256288 | 157881 141556 97 | 0.000 % |
235.89/236.17 c | 258745 | 5617 108135 256288 | 157881 141717 97 | 0.000 % |
235.99/236.25 c | 258922 | 5617 108135 256288 | 157881 141894 97 | 0.000 % |
235.99/236.30 c | 259115 | 5617 108135 256288 | 157881 142087 97 | 0.000 % |
236.39/236.65 c | 259327 | 5617 108135 256288 | 157881 142299 97 | 0.000 % |
236.79/237.07 c | 259560 | 5617 108135 256288 | 157881 142532 97 | 0.000 % |
237.09/237.36 c | 259817 | 5617 108135 256288 | 157881 142789 97 | 0.000 % |
237.19/237.44 c | 260098 | 5617 108135 256288 | 142972 143070 97 | 0.000 % |
237.79/238.06 c | 260408 | 5617 108135 256288 | 142972 124143 95 | 0.000 % |
237.99/238.25 c | 260747 | 5617 108135 256288 | 142972 124482 95 | 0.000 % |
238.59/238.88 c | 261120 | 5617 108135 256288 | 142972 124855 95 | 0.000 % |
238.69/238.97 c | 261529 | 5617 108135 256288 | 142972 125264 95 | 0.000 % |
239.09/239.38 c | 261979 | 5617 108135 256288 | 142972 125714 94 | 0.000 % |
240.09/240.36 c | 262477 | 5617 108135 256288 | 142972 126212 95 | 0.000 % |
240.79/241.06 c | 263019 | 5617 108135 256288 | 142972 126754 95 | 0.000 % |
241.19/241.46 c | 263616 | 5617 108135 256288 | 142972 127351 95 | 0.000 % |
241.89/242.19 c | 264272 | 5617 108135 256288 | 142972 128007 95 | 0.000 % |
242.69/242.90 c | 264998 | 5617 108135 256288 | 142972 128733 95 | 0.000 % |
243.09/243.38 c | 265791 | 5617 108135 256288 | 142972 129526 95 | 0.000 % |
244.09/244.38 c | 266662 | 5617 108135 256288 | 142972 130397 95 | 0.000 % |
244.48/244.73 c | 267620 | 5617 108135 256288 | 142972 131355 95 | 0.000 % |
245.88/246.13 c | 268677 | 5617 108135 256288 | 142972 132412 95 | 0.000 % |
246.78/247.00 c | 269835 | 5617 108135 256288 | 142972 133570 96 | 0.000 % |
247.78/248.04 c | 271108 | 5617 108135 256288 | 133736 134843 95 | 0.000 % |
248.48/248.74 c | 272508 | 5617 108135 256288 | 133736 118014 93 | 0.000 % |
250.28/250.58 c | 274048 | 5617 108135 256288 | 133736 119554 93 | 0.000 % |
251.08/251.34 c | 275742 | 5617 108135 256288 | 133736 121248 93 | 0.000 % |
253.18/253.41 c | 277606 | 5617 108135 256288 | 133736 123112 94 | 0.000 % |
255.07/255.30 c | 279656 | 5617 108135 256288 | 133736 125162 93 | 0.000 % |
258.66/258.99 c | 281910 | 5617 108135 256288 | 2147483647 127416 95 | 0.000 % |
260.95/261.28 c | 284388 | 5617 108135 256288 | 2147483647 129894 93 | 0.000 % |
262.75/263.07 c | 287113 | 5617 108135 256288 | 2147483647 132619 94 | 0.000 % |
262.85/263.10 c | 287214 | 5617 108135 256288 | 2147483647 132720 94 | 0.000 % |
262.95/263.26 c | 287324 | 5617 108135 256288 | 2147483647 132830 94 | 0.000 % |
263.05/263.31 c | 287445 | 5617 108135 256288 | 2147483647 132951 94 | 0.000 % |
263.05/263.39 c | 287578 | 5617 108135 256288 | 2147483647 133084 94 | 0.000 % |
263.25/263.58 c | 287724 | 5617 108135 256288 | 2147483647 133230 94 | 0.000 % |
263.35/263.62 c | 287885 | 5617 108135 256288 | 2147483647 133391 94 | 0.000 % |
263.45/263.76 c | 288061 | 5617 108135 256288 | 2147483647 133567 94 | 0.000 % |
263.55/263.80 c | 288254 | 5617 108135 256288 | 2147483647 133760 94 | 0.000 % |
263.55/263.84 c | 288466 | 5617 108135 256288 | 2147483647 133972 94 | 0.000 % |
263.85/264.12 c | 288702 | 5617 108135 256288 | 2147483647 134208 94 | 0.000 % |
263.95/264.29 c | 288960 | 5617 108135 256288 | 2147483647 134466 94 | 0.000 % |
264.35/264.61 c | 289242 | 5617 108135 256288 | 2147483647 134748 94 | 0.000 % |
264.45/264.77 c | 289552 | 5617 108135 256288 | 2147483647 135058 94 | 0.000 % |
264.95/265.20 c | 289891 | 5617 108135 256288 | 2147483647 135397 94 | 0.000 % |
265.05/265.34 c | 290263 | 5617 108135 256288 | 2147483647 135769 94 | 0.000 % |
265.45/265.72 c | 290673 | 5617 108135 256288 | 2147483647 136179 94 | 0.000 % |
265.75/266.00 c | 291122 | 5617 108135 256288 | 2147483647 136628 94 | 0.000 % |
266.25/266.51 c | 291615 | 5617 108135 256288 | 2147483647 137121 94 | 0.000 % |
266.45/266.72 c | 292160 | 5617 108135 256288 | 2147483647 137666 94 | 0.000 % |
267.15/267.40 c | 292759 | 5617 108135 256288 | 2147483647 138265 94 | 0.000 % |
267.25/267.55 c | 293414 | 5617 108135 256288 | 2147483647 138920 95 | 0.000 % |
268.55/268.84 c | 294134 | 5617 108135 256288 | 2147483647 139640 95 | 0.000 % |
268.75/269.06 c | 294927 | 5617 108135 256288 | 2147483647 140433 95 | 0.000 % |
269.15/269.48 c | 295798 | 5617 108135 256288 | 2147483647 141304 95 | 0.000 % |
270.05/270.36 c | 296756 | 5617 108135 256288 | 2147483647 142262 95 | 0.000 % |
270.55/270.84 c | 297809 | 5617 108135 256288 | 2147483647 143315 95 | 0.000 % |
272.05/272.30 c | 298968 | 5617 108135 256288 | 2147483647 144474 95 | 0.000 % |
273.05/273.32 c | 300242 | 5617 108135 256288 | 145506 145748 95 | 0.000 % |
274.35/274.69 c | 301644 | 5617 108135 256288 | 145506 132267 97 | 0.000 % |
275.25/275.53 c | 303185 | 5617 108135 256288 | 145506 133808 97 | 0.000 % |
277.24/277.60 c | 304879 | 5617 108135 256288 | 145506 135502 97 | 0.000 % |
278.14/278.46 c | 306742 | 5617 108135 256288 | 145506 137365 97 | 0.000 % |
281.04/281.39 c | 308791 | 5617 108135 256288 | 145506 139414 98 | 0.000 % |
283.94/284.28 c | 311044 | 5617 108135 256288 | 140623 141667 98 | 0.000 % |
286.54/286.88 c | 313525 | 5617 108135 256288 | 140623 129982 99 | 0.000 % |
291.34/291.67 c | 316250 | 5617 108135 256288 | 140623 132707 99 | 0.000 % |
296.74/297.09 c | 319248 | 5617 108135 256288 | 140623 135705 99 | 0.000 % |
296.94/297.21 c | 319348 | 5617 108135 256288 | 140623 135805 99 | 0.000 % |
297.14/297.43 c | 319458 | 5617 108135 256288 | 140623 135915 99 | 0.000 % |
297.34/297.62 c | 319579 | 5617 108135 256288 | 140623 136036 99 | 0.000 % |
297.54/297.84 c | 319714 | 5617 108135 256288 | 140623 136171 99 | 0.000 % |
297.74/298.02 c | 319860 | 5617 108135 256288 | 140623 136317 99 | 0.000 % |
297.74/298.08 c | 320020 | 5617 108135 256288 | 2147483647 136477 99 | 0.000 % |
297.94/298.21 c | 320196 | 5617 108135 256288 | 2147483647 136653 99 | 0.000 % |
298.14/298.50 c | 320393 | 5617 108135 256288 | 2147483647 136850 99 | 0.000 % |
298.53/298.80 c | 320605 | 5617 108135 256288 | 2147483647 137062 99 | 0.000 % |
298.83/299.19 c | 320842 | 5617 108135 256288 | 2147483647 137299 99 | 0.000 % |
299.23/299.52 c | 321098 | 5617 108135 256288 | 2147483647 137555 99 | 0.000 % |
299.53/299.80 c | 321379 | 5617 108135 256288 | 2147483647 137836 99 | 0.000 % |
300.13/300.41 c | 321689 | 5617 108135 256288 | 2147483647 138146 99 | 0.000 % |
300.23/300.51 c | 322029 | 5617 108135 256288 | 2147483647 138486 99 | 0.000 % |
300.63/300.99 c | 322403 | 5617 108135 256288 | 2147483647 138860 99 | 0.000 % |
300.83/301.10 c | 322812 | 5617 108135 256288 | 2147483647 139269 99 | 0.000 % |
301.23/301.55 c | 323261 | 5617 108135 256288 | 2147483647 139718 99 | 0.000 % |
302.03/302.34 c | 323754 | 5617 108135 256288 | 2147483647 140211 99 | 0.000 % |
302.33/302.65 c | 324296 | 5617 108135 256288 | 2147483647 140753 99 | 0.000 % |
302.53/302.83 c | 324893 | 5617 108135 256288 | 2147483647 141350 99 | 0.000 % |
302.83/303.17 c | 325549 | 5617 108135 256288 | 2147483647 142006 99 | 0.000 % |
303.82/304.16 c | 326271 | 5617 108135 256288 | 2147483647 142728 99 | 0.000 % |
304.33/304.65 c | 327063 | 5617 108135 256288 | 2147483647 143520 99 | 0.000 % |
305.53/305.84 c | 327936 | 5617 108135 256288 | 2147483647 144393 99 | 0.000 % |
306.02/306.36 c | 328897 | 5617 108135 256288 | 2147483647 145354 100 | 0.000 % |
306.72/307.05 c | 329951 | 5617 108135 256288 | 2147483647 146408 100 | 0.000 % |
307.52/307.81 c | 331110 | 5617 108135 256288 | 146458 147567 100 | 0.000 % |
309.32/309.64 c | 332386 | 5617 108135 256288 | 146458 131958 99 | 0.000 % |
310.82/311.14 c | 333786 | 5617 108135 256288 | 146458 133358 99 | 0.000 % |
311.92/312.29 c | 335326 | 5617 108135 256288 | 146458 134898 98 | 0.000 % |
314.52/314.86 c | 337022 | 5617 108135 256288 | 146458 136594 99 | 0.000 % |
318.22/318.55 c | 338885 | 5617 108135 256288 | 146458 138457 99 | 0.000 % |
319.82/320.19 c | 340934 | 5617 108135 256288 | 139572 140506 99 | 0.000 % |
323.12/323.40 c | 343191 | 5617 108135 256288 | 139572 128333 97 | 0.000 % |
324.32/324.66 c | 345674 | 5617 108135 256288 | 139572 130816 98 | 0.000 % |
327.92/328.23 c | 348399 | 5617 108135 256288 | 139572 133541 98 | 0.000 % |
330.12/330.40 c | 351396 | 5617 108135 256288 | 135145 136538 97 | 0.000 % |
334.52/334.84 c | 354692 | 5617 108135 256288 | 135145 126181 98 | 0.000 % |
334.62/334.99 c | 354793 | 5617 108135 256288 | 135145 126282 98 | 0.000 % |
334.92/335.24 c | 354904 | 5617 108135 256288 | 135145 126393 98 | 0.000 % |
335.12/335.42 c | 355025 | 5617 108135 256288 | 135145 126514 98 | 0.000 % |
335.42/335.75 c | 355159 | 5617 108135 256288 | 135145 126648 98 | 0.000 % |
335.42/335.79 c | 355306 | 5617 108135 256288 | 135145 126795 98 | 0.000 % |
335.52/335.82 c | 355466 | 5617 108135 256288 | 135145 126955 98 | 0.000 % |
335.62/335.98 c | 355643 | 5617 108135 256288 | 135145 127132 98 | 0.000 % |
335.72/336.02 c | 355836 | 5617 108135 256288 | 135145 127325 98 | 0.000 % |
336.02/336.37 c | 356048 | 5617 108135 256288 | 135145 127537 98 | 0.000 % |
336.22/336.50 c | 356282 | 5617 108135 256288 | 135145 127771 98 | 0.000 % |
336.72/337.05 c | 356538 | 5617 108135 256288 | 135145 128027 98 | 0.000 % |
336.92/337.28 c | 356819 | 5617 108135 256288 | 135145 128308 98 | 0.000 % |
337.61/337.91 c | 357128 | 5617 108135 256288 | 135145 128617 98 | 0.000 % |
337.61/337.98 c | 357467 | 5617 108135 256288 | 135145 128956 98 | 0.000 % |
337.91/338.29 c | 357839 | 5617 108135 256288 | 135145 129328 98 | 0.000 % |
338.61/338.98 c | 358248 | 5617 108135 256288 | 135145 129737 99 | 0.000 % |
339.51/339.86 c | 358699 | 5617 108135 256288 | 135145 130188 99 | 0.000 % |
340.31/340.62 c | 359192 | 5617 108135 256288 | 135145 130681 99 | 0.000 % |
341.01/341.31 c | 359735 | 5617 108135 256288 | 135145 131224 99 | 0.000 % |
341.81/342.15 c | 360331 | 5617 108135 256288 | 131490 131820 99 | 0.000 % |
342.31/342.64 c | 360986 | 5617 108135 256288 | 131490 115161 98 | 0.000 % |
343.41/343.72 c | 361706 | 5617 108135 256288 | 131490 115881 98 | 0.000 % |
343.91/344.24 c | 362498 | 5617 108135 256288 | 131490 116673 98 | 0.000 % |
345.30/345.64 c | 363369 | 5617 108135 256288 | 131490 117544 98 | 0.000 % |
346.21/346.51 c | 364331 | 5617 108135 256288 | 131490 118506 98 | 0.000 % |
347.70/348.09 c | 365384 | 5617 108135 256288 | 131490 119559 98 | 0.000 % |
348.90/349.21 c | 366542 | 5617 108135 256288 | 131490 120717 98 | 0.000 % |
350.60/350.99 c | 367817 | 5617 108135 256288 | 131490 121992 98 | 0.000 % |
351.20/351.51 c | 369217 | 5617 108135 256288 | 131490 123392 99 | 0.000 % |
353.00/353.32 c | 370757 | 5617 108135 256288 | 2147483647 124932 98 | 0.000 % |
354.30/354.62 c | 372451 | 5617 108135 256288 | 2147483647 126626 98 | 0.000 % |
356.40/356.74 c | 374317 | 5617 108135 256288 | 2147483647 128492 99 | 0.000 % |
358.10/358.48 c | 376368 | 5617 108135 256288 | 2147483647 130543 98 | 0.000 % |
362.00/362.36 c | 378621 | 5617 108135 256288 | 2147483647 132796 99 | 0.000 % |
364.70/365.08 c | 381099 | 5617 108135 256288 | 134176 119496 98 | 0.000 % |
366.20/366.58 c | 383826 | 5617 108135 256288 | 134176 122223 97 | 0.000 % |
368.30/368.66 c | 386824 | 5617 108135 256288 | 134176 125221 98 | 0.000 % |
372.79/373.16 c | 390120 | 5617 108135 256288 | 2147483647 128517 97 | 0.000 % |
375.80/376.16 c | 393747 | 5617 108135 256288 | 2147483647 132144 98 | 0.000 % |
375.80/376.19 c | 393847 | 5617 108135 256288 | 2147483647 132244 98 | 0.000 % |
375.90/376.22 c | 393957 | 5617 108135 256288 | 2147483647 132354 98 | 0.000 % |
375.99/376.32 c | 394078 | 5617 108135 256288 | 2147483647 132475 98 | 0.000 % |
376.09/376.46 c | 394211 | 5617 108135 256288 | 2147483647 132608 98 | 0.000 % |
376.29/376.70 c | 394358 | 5617 108135 256288 | 2147483647 132755 98 | 0.000 % |
376.49/376.86 c | 394521 | 5617 108135 256288 | 2147483647 132918 98 | 0.000 % |
376.59/376.93 c | 394697 | 5617 108135 256288 | 2147483647 133094 98 | 0.000 % |
376.79/377.12 c | 394890 | 5617 108135 256288 | 2147483647 133287 98 | 0.000 % |
376.79/377.20 c | 395102 | 5617 108135 256288 | 2147483647 133499 98 | 0.000 % |
376.89/377.23 c | 395336 | 5617 108135 256288 | 2147483647 133733 98 | 0.000 % |
377.29/377.62 c | 395593 | 5617 108135 256288 | 2147483647 133990 98 | 0.000 % |
377.79/378.19 c | 395876 | 5617 108135 256288 | 2147483647 134273 98 | 0.000 % |
378.59/378.96 c | 396186 | 5617 108135 256288 | 2147483647 134583 98 | 0.000 % |
379.19/379.51 c | 396525 | 5617 108135 256288 | 2147483647 134922 98 | 0.000 % |
379.59/379.97 c | 396897 | 5617 108135 256288 | 2147483647 135294 98 | 0.000 % |
380.29/380.68 c | 397306 | 5617 108135 256288 | 2147483647 135703 98 | 0.000 % |
380.49/380.81 c | 397757 | 5617 108135 256288 | 2147483647 136154 98 | 0.000 % |
380.89/381.24 c | 398252 | 5617 108135 256288 | 2147483647 136649 98 | 0.000 % |
381.79/382.11 c | 398794 | 5617 108135 256288 | 2147483647 137191 98 | 0.000 % |
382.09/382.47 c | 399391 | 5617 108135 256288 | 2147483647 137788 98 | 0.000 % |
382.89/383.25 c | 400048 | 5617 108135 256288 | 138398 138445 98 | 0.000 % |
383.49/383.83 c | 400769 | 5617 108135 256288 | 138398 124513 98 | 0.000 % |
384.29/384.63 c | 401563 | 5617 108135 256288 | 138398 125307 98 | 0.000 % |
384.89/385.27 c | 402434 | 5617 108135 256288 | 138398 126178 98 | 0.000 % |
386.39/386.79 c | 403393 | 5617 108135 256288 | 138398 127137 98 | 0.000 % |
387.09/387.47 c | 404446 | 5617 108135 256288 | 138398 128190 98 | 0.000 % |
388.19/388.59 c | 405604 | 5617 108135 256288 | 138398 129348 98 | 0.000 % |
389.28/389.63 c | 406879 | 5617 108135 256288 | 138398 130623 98 | 0.000 % |
390.09/390.42 c | 408281 | 5617 108135 256288 | 138398 132025 98 | 0.000 % |
391.78/392.15 c | 409821 | 5617 108135 256288 | 138398 133565 99 | 0.000 % |
394.49/394.85 c | 411515 | 5617 108135 256288 | 2147483647 135259 99 | 0.000 % |
395.69/396.01 c | 413378 | 5617 108135 256288 | 2147483647 137122 99 | 0.000 % |
398.99/399.32 c | 415430 | 5617 108135 256288 | 2147483647 139174 99 | 0.000 % |
403.49/403.80 c | 417684 | 5617 108135 256288 | 2147483647 141428 100 | 0.000 % |
405.89/406.25 c | 420162 | 5617 108135 256288 | 143744 143906 100 | 0.000 % |
409.68/410.09 c | 422888 | 5617 108135 256288 | 143744 130224 97 | 0.000 % |
412.79/413.11 c | 425887 | 5617 108135 256288 | 143744 133223 97 | 0.000 % |
416.49/416.86 c | 429183 | 5617 108135 256288 | 143744 136519 97 | 0.000 % |
421.68/422.05 c | 432808 | 5617 108135 256288 | 2147483647 140144 97 | 0.000 % |
423.68/424.08 c | 436795 | 5617 108135 256288 | 2147483647 144131 98 | 0.000 % |
423.78/424.18 c | 436897 | 5617 108135 256288 | 2147483647 144233 98 | 0.000 % |
423.98/424.37 c | 437008 | 5617 108135 256288 | 2147483647 144344 98 | 0.000 % |
424.19/424.50 c | 437131 | 5617 108135 256288 | 2147483647 144467 98 | 0.000 % |
424.38/424.74 c | 437264 | 5617 108135 256288 | 2147483647 144600 98 | 0.000 % |
424.58/424.96 c | 437412 | 5617 108135 256288 | 2147483647 144748 97 | 0.000 % |
424.78/425.16 c | 437572 | 5617 108135 256288 | 2147483647 144908 98 | 0.000 % |
425.29/425.62 c | 437748 | 5617 108135 256288 | 2147483647 145084 98 | 0.000 % |
425.39/425.72 c | 437943 | 5617 108135 256288 | 2147483647 145279 97 | 0.000 % |
425.78/426.16 c | 438155 | 5617 108135 256288 | 2147483647 145491 98 | 0.000 % |
425.88/426.25 c | 438388 | 5617 108135 256288 | 2147483647 145724 98 | 0.000 % |
426.39/426.71 c | 438644 | 5617 108135 256288 | 2147483647 145980 97 | 0.000 % |
426.49/426.84 c | 438925 | 5617 108135 256288 | 2147483647 146261 97 | 0.000 % |
426.88/427.24 c | 439237 | 5617 108135 256288 | 2147483647 146573 97 | 0.000 % |
427.68/428.00 c | 439576 | 5617 108135 256288 | 2147483647 146912 97 | 0.000 % |
428.38/428.78 c | 439948 | 5617 108135 256288 | 2147483647 147284 97 | 0.000 % |
428.78/429.11 c | 440357 | 5617 108135 256288 | 2147483647 147693 97 | 0.000 % |
429.38/429.71 c | 440809 | 5617 108135 256288 | 2147483647 148145 98 | 0.000 % |
430.48/430.81 c | 441306 | 5617 108135 256288 | 2147483647 148642 98 | 0.000 % |
430.78/431.19 c | 441848 | 5617 108135 256288 | 2147483647 149184 98 | 0.000 % |
431.58/431.98 c | 442445 | 5617 108135 256288 | 2147483647 149781 98 | 0.000 % |
433.08/433.48 c | 443101 | 5617 108135 256288 | 2147483647 150437 98 | 0.000 % |
434.08/434.43 c | 443821 | 5617 108135 256288 | 2147483647 151157 98 | 0.000 % |
434.27/434.66 c | 444613 | 5617 108135 256288 | 2147483647 151949 98 | 0.000 % |
435.28/435.64 c | 445484 | 5617 108135 256288 | 2147483647 152820 98 | 0.000 % |
436.47/436.88 c | 446443 | 5617 108135 256288 | 2147483647 153779 98 | 0.000 % |
437.47/437.86 c | 447496 | 5617 108135 256288 | 2147483647 154832 98 | 0.000 % |
438.67/439.09 c | 448655 | 5617 108135 256288 | 2147483647 155991 98 | 0.000 % |
440.57/440.90 c | 449928 | 5617 108135 256288 | 2147483647 157264 98 | 0.000 % |
441.47/441.81 c | 451334 | 5617 108135 256288 | 157336 158670 98 | 0.000 % |
443.07/443.49 c | 452874 | 5617 108135 256288 | 157336 142384 96 | 0.000 % |
445.97/446.36 c | 454568 | 5617 108135 256288 | 157336 144078 96 | 0.000 % |
449.57/449.91 c | 456433 | 5617 108135 256288 | 157336 145943 97 | 0.000 % |
453.06/453.47 c | 458482 | 5617 108135 256288 | 157336 147992 96 | 0.000 % |
454.97/455.34 c | 460735 | 5617 108135 256288 | 2147483647 150245 96 | 0.000 % |
458.66/459.04 c | 463218 | 5617 108135 256288 | 2147483647 152728 96 | 0.000 % |
463.06/463.49 c | 465943 | 5617 108135 256288 | 2147483647 155453 96 | 0.000 % |
464.76/465.19 c | 468945 | 5617 108135 256288 | 2147483647 158455 97 | 0.000 % |
467.95/468.39 c | 472243 | 5617 108135 256288 | 159511 161753 97 | 0.000 % |
470.75/471.14 c | 475868 | 5617 108135 256288 | 159511 149203 98 | 0.000 % |
477.35/477.76 c | 479855 | 5617 108135 256288 | 159511 153190 97 | 0.000 % |
483.65/484.06 c | 484240 | 5617 108135 256288 | 153335 136962 96 | 0.000 % |
483.84/484.29 c | 484340 | 5617 108135 256288 | 153335 137062 97 | 0.000 % |
484.14/484.50 c | 484451 | 5617 108135 256288 | 153335 137173 96 | 0.000 % |
484.14/484.59 c | 484573 | 5617 108135 256288 | 153335 137295 96 | 0.000 % |
484.24/484.68 c | 484706 | 5617 108135 256288 | 153335 137428 96 | 0.000 % |
484.44/484.89 c | 484852 | 5617 108135 256288 | 153335 137574 96 | 0.000 % |
484.65/485.10 c | 485012 | 5617 108135 256288 | 153335 137734 96 | 0.000 % |
484.94/485.32 c | 485190 | 5617 108135 256288 | 153335 137912 96 | 0.000 % |
485.24/485.60 c | 485384 | 5617 108135 256288 | 153335 138106 96 | 0.000 % |
485.24/485.68 c | 485597 | 5617 108135 256288 | 153335 138319 96 | 0.000 % |
485.64/486.08 c | 485832 | 5617 108135 256288 | 153335 138554 96 | 0.000 % |
486.04/486.47 c | 486088 | 5617 108135 256288 | 153335 138810 96 | 0.000 % |
486.74/487.15 c | 486370 | 5617 108135 256288 | 153335 139092 97 | 0.000 % |
486.94/487.33 c | 486680 | 5617 108135 256288 | 153335 139402 97 | 0.000 % |
487.24/487.66 c | 487021 | 5617 108135 256288 | 153335 139743 97 | 0.000 % |
487.84/488.29 c | 487393 | 5617 108135 256288 | 153335 140115 97 | 0.000 % |
488.64/489.07 c | 487802 | 5617 108135 256288 | 153335 140524 97 | 0.000 % |
489.04/489.47 c | 488252 | 5617 108135 256288 | 153335 140974 97 | 0.000 % |
490.34/490.76 c | 488747 | 5617 108135 256288 | 153335 141469 97 | 0.000 % |
491.04/491.42 c | 489291 | 5617 108135 256288 | 153335 142013 97 | 0.000 % |
491.54/491.96 c | 489887 | 5617 108135 256288 | 153335 142609 97 | 0.000 % |
492.14/492.52 c | 490547 | 5617 108135 256288 | 142723 143269 97 | 0.000 % |
492.74/493.17 c | 491267 | 5617 108135 256288 | 142723 125089 95 | 0.000 % |
493.24/493.68 c | 492059 | 5617 108135 256288 | 142723 125881 96 | 0.000 % |
494.04/494.45 c | 492931 | 5617 108135 256288 | 142723 126753 96 | 0.000 % |
494.54/494.93 c | 493890 | 5617 108135 256288 | 142723 127712 96 | 0.000 % |
495.64/496.06 c | 494944 | 5617 108135 256288 | 142723 128766 95 | 0.000 % |
497.63/498.05 c | 496106 | 5617 108135 256288 | 142723 129928 96 | 0.000 % |
499.04/499.49 c | 497379 | 5617 108135 256288 | 142723 131201 96 | 0.000 % |
500.23/500.69 c | 498779 | 5617 108135 256288 | 142723 132601 97 | 0.000 % |
502.73/503.16 c | 500319 | 5617 108135 256288 | 133822 134141 97 | 0.000 % |
504.54/504.98 c | 502013 | 5617 108135 256288 | 133822 118118 96 | 0.000 % |
505.73/506.18 c | 503877 | 5617 108135 256288 | 133822 119982 96 | 0.000 % |
507.33/507.75 c | 505927 | 5617 108135 256288 | 133822 122032 96 | 0.000 % |
508.93/509.40 c | 508182 | 5617 108135 256288 | 133822 124287 96 | 0.000 % |
511.33/511.75 c | 510664 | 5617 108135 256288 | 2147483647 126769 98 | 0.000 % |
513.43/513.86 c | 513389 | 5617 108135 256288 | 2147483647 129494 99 | 0.000 % |
517.24/517.63 c | 516386 | 5617 108135 256288 | 2147483647 132491 99 | 0.000 % |
519.54/519.93 c | 519683 | 5617 108135 256288 | 2147483647 135788 99 | 0.000 % |
522.14/522.53 c | 523310 | 5617 108135 256288 | 2147483647 139415 99 | 0.000 % |
526.13/526.55 c | 527297 | 5617 108135 256288 | 2147483647 143402 99 | 0.000 % |
532.93/533.31 c | 531682 | 5617 108135 256288 | 2147483647 147787 99 | 0.000 % |
537.33/537.77 c | 536505 | 5617 108135 256288 | 2147483647 152610 99 | 0.000 % |
537.43/537.84 c | 536606 | 5617 108135 256288 | 2147483647 152711 99 | 0.000 % |
537.73/538.10 c | 536717 | 5617 108135 256288 | 2147483647 152822 99 | 0.000 % |
537.83/538.25 c | 536838 | 5617 108135 256288 | 2147483647 152943 99 | 0.000 % |
538.13/538.52 c | 536971 | 5617 108135 256288 | 2147483647 153076 99 | 0.000 % |
538.13/538.57 c | 537117 | 5617 108135 256288 | 2147483647 153222 99 | 0.000 % |
538.23/538.63 c | 537278 | 5617 108135 256288 | 2147483647 153383 99 | 0.000 % |
538.43/538.86 c | 537455 | 5617 108135 256288 | 2147483647 153560 99 | 0.000 % |
538.63/539.07 c | 537648 | 5617 108135 256288 | 2147483647 153753 99 | 0.000 % |
538.73/539.12 c | 537860 | 5617 108135 256288 | 2147483647 153965 99 | 0.000 % |
538.93/539.36 c | 538094 | 5617 108135 256288 | 2147483647 154199 99 | 0.000 % |
539.63/540.09 c | 538350 | 5617 108135 256288 | 2147483647 154455 99 | 0.000 % |
540.03/540.48 c | 538631 | 5617 108135 256288 | 2147483647 154736 99 | 0.000 % |
540.43/540.87 c | 538940 | 5617 108135 256288 | 2147483647 155045 99 | 0.000 % |
540.63/541.07 c | 539279 | 5617 108135 256288 | 2147483647 155384 99 | 0.000 % |
541.03/541.44 c | 539651 | 5617 108135 256288 | 2147483647 155756 100 | 0.000 % |
541.33/541.73 c | 540060 | 5617 108135 256288 | 156106 156165 100 | 0.000 % |
542.62/543.02 c | 540509 | 5617 108135 256288 | 156106 138158 98 | 0.000 % |
543.32/543.78 c | 541003 | 5617 108135 256288 | 156106 138652 98 | 0.000 % |
544.03/544.47 c | 541545 | 5617 108135 256288 | 156106 139194 98 | 0.001 % |
544.32/544.72 c | 542143 | 5617 108135 256288 | 156106 139792 98 | 0.000 % |
544.92/545.37 c | 542798 | 5617 108135 256288 | 156106 140447 98 | 0.000 % |
545.32/545.74 c | 543518 | 5617 108135 256288 | 156106 141167 98 | 0.000 % |
545.92/546.36 c | 544311 | 5617 108135 256288 | 156106 141960 98 | 0.000 % |
546.23/546.66 c | 545182 | 5617 108135 256288 | 156106 142831 98 | 0.000 % |
547.12/547.59 c | 546143 | 5617 108135 256288 | 156106 143792 98 | 0.000 % |
548.02/548.47 c | 547197 | 5617 108135 256288 | 156106 144846 99 | 0.000 % |
548.43/548.89 c | 548355 | 5617 108135 256288 | 156106 146004 99 | 0.000 % |
549.32/549.71 c | 549628 | 5617 108135 256288 | 156106 147277 100 | 0.000 % |
550.52/550.93 c | 551028 | 5617 108135 256288 | 147649 148677 100 | 0.000 % |
552.12/552.52 c | 552568 | 5617 108135 256288 | 147649 125709 100 | 0.000 % |
552.93/553.38 c | 554262 | 5617 108135 256288 | 147649 127403 100 | 0.000 % |
555.22/555.62 c | 556127 | 5617 108135 256288 | 147649 129268 99 | 0.000 % |
558.82/559.29 c | 558176 | 5617 108135 256288 | 147649 131317 99 | 0.000 % |
561.22/561.68 c | 560429 | 5617 108135 256288 | 2147483647 133570 99 | 0.000 % |
564.22/564.64 c | 562907 | 5617 108135 256288 | 2147483647 136048 99 | 0.000 % |
567.12/567.54 c | 565636 | 5617 108135 256288 | 2147483647 138777 99 | 0.000 % |
571.21/571.69 c | 568635 | 5617 108135 256288 | 2147483647 141776 99 | 0.000 % |
575.91/576.31 c | 571932 | 5617 108135 256288 | 2147483647 145073 100 | 0.000 % |
578.41/578.89 c | 575559 | 5617 108135 256288 | 2147483647 148700 99 | 0.000 % |
581.61/582.01 c | 579546 | 5617 108135 256288 | 2147483647 152687 100 | 0.000 % |
586.71/587.15 c | 583931 | 5617 108135 256288 | 153142 139998 99 | 0.000 % |
592.41/592.87 c | 588754 | 5617 108135 256288 | 153142 144821 99 | 0.000 % |
598.01/598.44 c | 594060 | 5617 108135 256288 | 146067 129007 98 | 0.000 % |
598.10/598.58 c | 594161 | 5617 108135 256288 | 146067 129108 98 | 0.000 % |
598.40/598.80 c | 594272 | 5617 108135 256288 | 146067 129219 98 | 0.000 % |
598.60/599.08 c | 594393 | 5617 108135 256288 | 146067 129340 98 | 0.000 % |
598.80/599.22 c | 594527 | 5617 108135 256288 | 146067 129474 98 | 0.000 % |
599.01/599.47 c | 594674 | 5617 108135 256288 | 146067 129621 98 | 0.000 % |
599.30/599.75 c | 594836 | 5617 108135 256288 | 146067 129783 98 | 0.000 % |
599.40/599.83 c | 595012 | 5617 108135 256288 | 146067 129959 98 | 0.000 % |
599.80/600.27 c | 595205 | 5617 108135 256288 | 146067 130152 98 | 0.000 % |
599.90/600.35 c | 595418 | 5617 108135 256288 | 146067 130365 98 | 0.000 % |
600.21/600.70 c | 595651 | 5617 108135 256288 | 146067 130598 98 | 0.000 % |
600.60/601.08 c | 595908 | 5617 108135 256288 | 146067 130855 98 | 0.000 % |
601.00/601.48 c | 596189 | 5617 108135 256288 | 146067 131136 98 | 0.000 % |
601.10/601.57 c | 596500 | 5617 108135 256288 | 146067 131447 98 | 0.000 % |
601.60/602.10 c | 596841 | 5617 108135 256288 | 146067 131788 98 | 0.000 % |
601.90/602.32 c | 597214 | 5617 108135 256288 | 146067 132161 98 | 0.000 % |
602.60/603.07 c | 597623 | 5617 108135 256288 | 146067 132570 99 | 0.000 % |
603.10/603.55 c | 598073 | 5617 108135 256288 | 146067 133020 99 | 0.000 % |
603.90/604.37 c | 598566 | 5617 108135 256288 | 146067 133513 99 | 0.000 % |
604.70/605.13 c | 599108 | 5617 108135 256288 | 146067 134055 99 | 0.000 % |
605.20/605.64 c | 599705 | 5617 108135 256288 | 146067 134652 99 | 0.000 % |
605.50/605.92 c | 600360 | 5617 108135 256288 | 134948 135307 99 | 0.000 % |
606.10/606.50 c | 601080 | 5617 108135 256288 | 134948 115323 97 | 0.000 % |
606.80/607.25 c | 601877 | 5617 108135 256288 | 134948 116120 97 | 0.000 % |
607.50/607.94 c | 602749 | 5617 108135 256288 | 134948 116992 97 | 0.000 % |
608.40/608.88 c | 603708 | 5617 108135 256288 | 134948 117951 97 | 0.000 % |
609.70/610.16 c | 604761 | 5617 108135 256288 | 134948 119004 97 | 0.000 % |
609.90/610.35 c | 605919 | 5617 108135 256288 | 134948 120162 97 | 0.000 % |
612.00/612.41 c | 607192 | 5617 108135 256288 | 134948 121435 97 | 0.000 % |
613.10/613.57 c | 608594 | 5617 108135 256288 | 134948 122837 97 | 0.000 % |
614.79/615.22 c | 610135 | 5617 108135 256288 | 2147483647 124378 97 | 0.000 % |
617.28/617.76 c | 611830 | 5617 108135 256288 | 2147483647 126073 98 | 0.000 % |
619.77/620.26 c | 613695 | 5617 108135 256288 | 2147483647 127938 98 | 0.000 % |
622.07/622.58 c | 615744 | 5617 108135 256288 | 2147483647 129987 98 | 0.000 % |
624.87/625.37 c | 618002 | 5617 108135 256288 | 2147483647 132245 98 | 0.000 % |
627.67/628.19 c | 620482 | 5617 108135 256288 | 2147483647 134725 98 | 0.000 % |
630.87/631.39 c | 623208 | 5617 108135 256288 | 2147483647 137451 99 | 0.000 % |
634.47/634.99 c | 626206 | 5617 108135 256288 | 2147483647 140449 97 | 0.000 % |
639.06/639.59 c | 629503 | 5617 108135 256288 | 2147483647 143746 98 | 0.000 % |
646.46/646.97 c | 633128 | 5617 108135 256288 | 144244 132779 95 | 0.000 % |
651.06/651.50 c | 637116 | 5617 108135 256288 | 144244 136767 97 | 0.000 % |
654.16/654.67 c | 641501 | 5617 108135 256288 | 2147483647 141152 98 | 0.000 % |
661.25/661.70 c | 646329 | 5617 108135 256288 | 2147483647 145980 98 | 0.000 % |
666.45/666.92 c | 651635 | 5617 108135 256288 | 149652 151286 99 | 0.000 % |
677.55/678.08 c | 657473 | 5617 108135 256288 | 149652 135305 101 | 0.000 % |
677.85/678.30 c | 657573 | 5617 108135 256288 | 149652 135405 101 | 0.000 % |
678.05/678.53 c | 657683 | 5617 108135 256288 | 149652 135515 101 | 0.000 % |
678.15/678.69 c | 657804 | 5617 108135 256288 | 149652 135636 101 | 0.000 % |
678.25/678.78 c | 657937 | 5617 108135 256288 | 149652 135769 101 | 0.000 % |
678.45/678.90 c | 658083 | 5617 108135 256288 | 149652 135915 101 | 0.000 % |
678.65/679.17 c | 658243 | 5617 108135 256288 | 149652 136075 101 | 0.000 % |
678.75/679.25 c | 658420 | 5617 108135 256288 | 149652 136252 101 | 0.000 % |
679.05/679.58 c | 658614 | 5617 108135 256288 | 149652 136446 101 | 0.000 % |
679.15/679.67 c | 658827 | 5617 108135 256288 | 149652 136659 101 | 0.000 % |
679.45/679.94 c | 659060 | 5617 108135 256288 | 149652 136892 101 | 0.000 % |
679.75/680.26 c | 659316 | 5617 108135 256288 | 149652 137148 101 | 0.000 % |
679.94/680.46 c | 659597 | 5617 108135 256288 | 149652 137429 101 | 0.000 % |
680.24/680.70 c | 659906 | 5617 108135 256288 | 149652 137738 101 | 0.000 % |
680.54/681.07 c | 660246 | 5617 108135 256288 | 137832 138078 101 | 0.000 % |
680.84/681.39 c | 660619 | 5617 108135 256288 | 137832 120676 99 | 0.000 % |
681.24/681.75 c | 661029 | 5617 108135 256288 | 137832 121086 99 | 0.000 % |
681.74/682.22 c | 661479 | 5617 108135 256288 | 137832 121536 99 | 0.000 % |
681.84/682.33 c | 661972 | 5617 108135 256288 | 137832 122029 99 | 0.000 % |
682.04/682.59 c | 662514 | 5617 108135 256288 | 137832 122571 99 | 0.000 % |
682.55/683.04 c | 663110 | 5617 108135 256288 | 137832 123167 99 | 0.000 % |
682.94/683.47 c | 663769 | 5617 108135 256288 | 137832 123826 99 | 0.000 % |
683.04/683.59 c | 664490 | 5617 108135 256288 | 137832 124547 99 | 0.000 % |
683.94/684.44 c | 665283 | 5617 108135 256288 | 137832 125340 100 | 0.000 % |
684.34/684.80 c | 666155 | 5617 108135 256288 | 137832 126212 100 | 0.000 % |
686.24/686.74 c | 667114 | 5617 108135 256288 | 137832 127171 100 | 0.000 % |
687.74/688.26 c | 668168 | 5617 108135 256288 | 137832 128225 100 | 0.000 % |
690.54/691.03 c | 669326 | 5617 108135 256288 | 137832 129383 100 | 0.000 % |
691.74/692.28 c | 670599 | 5617 108135 256288 | 130057 113661 100 | 0.000 % |
693.14/693.60 c | 672000 | 5617 108135 256288 | 130057 115062 100 | 0.000 % |
694.44/694.97 c | 673540 | 5617 108135 256288 | 130057 116602 100 | 0.000 % |
696.04/696.53 c | 675234 | 5617 108135 256288 | 130057 118296 99 | 0.000 % |
697.84/698.30 c | 677097 | 5617 108135 256288 | 130057 120159 99 | 0.000 % |
701.84/702.30 c | 679146 | 5617 108135 256288 | 130057 122208 99 | 0.000 % |
703.04/703.57 c | 681399 | 5617 108135 256288 | 2147483647 124461 99 | 0.000 % |
706.52/707.07 c | 683879 | 5617 108135 256288 | 2147483647 126941 99 | 0.000 % |
712.02/712.56 c | 686604 | 5617 108135 256288 | 2147483647 129666 100 | 0.000 % |
717.42/717.93 c | 689601 | 5617 108135 256288 | 2147483647 132663 100 | 0.000 % |
722.02/722.52 c | 692897 | 5617 108135 256288 | 2147483647 135959 100 | 0.000 % |
726.02/726.52 c | 696522 | 5617 108135 256288 | 2147483647 139584 100 | 0.000 % |
730.82/731.34 c | 700512 | 5617 108135 256288 | 143063 143574 99 | 0.000 % |
734.12/734.66 c | 704898 | 5617 108135 256288 | 143063 132279 100 | 0.000 % |
742.11/742.65 c | 709723 | 5617 108135 256288 | 143063 137104 100 | 0.000 % |
747.91/748.43 c | 715029 | 5617 108135 256288 | 137381 120799 99 | 0.000 % |
753.80/754.32 c | 720864 | 5617 108135 256288 | 125771 126634 102 | 0.000 % |
761.60/762.15 c | 727284 | 5617 108135 256288 | 125771 116617 103 | 0.000 % |
761.71/762.29 c | 727389 | 5617 108135 256288 | 125771 116722 103 | 0.000 % |
761.81/762.31 c | 727500 | 5617 108135 256288 | 125771 116833 103 | 0.000 % |
761.81/762.35 c | 727621 | 5617 108135 256288 | 125771 116954 103 | 0.000 % |
762.00/762.58 c | 727754 | 5617 108135 256288 | 125771 117087 103 | 0.000 % |
762.10/762.62 c | 727902 | 5617 108135 256288 | 125771 117235 103 | 0.000 % |
762.10/762.65 c | 728063 | 5617 108135 256288 | 125771 117396 103 | 0.000 % |
762.40/762.96 c | 728240 | 5617 108135 256288 | 125771 117573 103 | 0.000 % |
762.40/762.99 c | 728433 | 5617 108135 256288 | 125771 117766 103 | 0.000 % |
762.50/763.02 c | 728645 | 5617 108135 256288 | 125771 117978 103 | 0.000 % |
762.91/763.45 c | 728880 | 5617 108135 256288 | 125771 118213 103 | 0.000 % |
763.30/763.82 c | 729136 | 5617 108135 256288 | 125771 118469 103 | 0.000 % |
763.30/763.88 c | 729417 | 5617 108135 256288 | 125771 118750 103 | 0.000 % |
763.80/764.34 c | 729726 | 5617 108135 256288 | 125771 119059 103 | 0.000 % |
764.01/764.59 c | 730065 | 5617 108135 256288 | 2147483647 119398 103 | 0.000 % |
764.50/765.03 c | 730437 | 5617 108135 256288 | 2147483647 119770 103 | 0.000 % |
765.20/765.71 c | 730846 | 5617 108135 256288 | 2147483647 120179 103 | 0.000 % |
765.90/766.41 c | 731295 | 5617 108135 256288 | 2147483647 120628 103 | 0.000 % |
766.70/767.27 c | 731788 | 5617 108135 256288 | 2147483647 121121 103 | 0.000 % |
767.20/767.75 c | 732330 | 5617 108135 256288 | 2147483647 121663 103 | 0.000 % |
768.30/768.84 c | 732926 | 5617 108135 256288 | 2147483647 122259 103 | 0.000 % |
769.20/769.73 c | 733581 | 5617 108135 256288 | 2147483647 122914 103 | 0.000 % |
770.00/770.57 c | 734301 | 5617 108135 256288 | 2147483647 123634 103 | 0.000 % |
770.40/770.96 c | 735093 | 5617 108135 256288 | 2147483647 124426 103 | 0.000 % |
771.30/771.85 c | 735966 | 5617 108135 256288 | 2147483647 125299 103 | 0.000 % |
771.80/772.35 c | 736924 | 5617 108135 256288 | 2147483647 126257 104 | 0.000 % |
772.80/773.36 c | 737980 | 5617 108135 256288 | 2147483647 127313 104 | 0.000 % |
773.40/773.91 c | 739139 | 5617 108135 256288 | 2147483647 128472 104 | 0.000 % |
774.40/774.99 c | 740412 | 5617 108135 256288 | 129333 129745 104 | 0.000 % |
775.40/775.91 c | 741812 | 5617 108135 256288 | 129333 114643 101 | 0.000 % |
777.20/777.76 c | 743353 | 5617 108135 256288 | 129333 116184 100 | 0.000 % |
779.41/779.96 c | 745048 | 5617 108135 256288 | 129333 117879 100 | 0.000 % |
781.40/781.98 c | 746911 | 5617 108135 256288 | 129333 119742 100 | 0.000 % |
784.30/784.87 c | 748961 | 5617 108135 256288 | 129333 121792 100 | 0.000 % |
786.60/787.12 c | 751214 | 5617 108135 256288 | 2147483647 124045 99 | 0.000 % |
788.50/789.10 c | 753692 | 5617 108135 256288 | 2147483647 126523 99 | 0.000 % |
790.60/791.11 c | 756419 | 5617 108135 256288 | 2147483647 129250 99 | 0.000 % |
792.70/793.21 c | 759417 | 5617 108135 256288 | 2147483647 132248 99 | 0.000 % |
797.09/797.65 c | 762714 | 5617 108135 256288 | 2147483647 135545 100 | 0.000 % |
799.59/800.12 c | 766340 | 5617 108135 256288 | 2147483647 139171 100 | 0.000 % |
804.59/805.12 c | 770327 | 5617 108135 256288 | 142832 143158 101 | 0.000 % |
808.69/809.29 c | 774712 | 5617 108135 256288 | 142832 125931 99 | 0.000 % |
814.69/815.29 c | 779537 | 5617 108135 256288 | 142832 130756 100 | 0.000 % |
820.78/821.30 c | 784843 | 5617 108135 256288 | 131220 115735 99 | 0.000 % |
828.28/828.81 c | 790680 | 5617 108135 256288 | 2147483647 121572 97 | 0.000 % |
833.38/833.95 c | 797098 | 5617 108135 256288 | 2147483647 127990 97 | 0.000 % |
845.47/846.10 c | 804157 | 5617 108135 256288 | 2147483647 135049 97 | 0.000 % |
845.67/846.28 c | 804257 | 5617 108135 256288 | 2147483647 135149 97 | 0.000 % |
845.97/846.51 c | 804368 | 5617 108135 256288 | 2147483647 135260 97 | 0.000 % |
846.17/846.73 c | 804490 | 5617 108135 256288 | 2147483647 135382 97 | 0.000 % |
846.48/847.02 c | 804623 | 5617 108135 256288 | 2147483647 135515 97 | 0.000 % |
846.77/847.35 c | 804769 | 5617 108135 256288 | 2147483647 135661 97 | 0.000 % |
846.87/847.40 c | 804929 | 5617 108135 256288 | 2147483647 135821 97 | 0.000 % |
847.17/847.78 c | 805105 | 5617 108135 256288 | 2147483647 135997 97 | 0.000 % |
847.47/848.09 c | 805299 | 5617 108135 256288 | 2147483647 136191 97 | 0.000 % |
847.58/848.14 c | 805512 | 5617 108135 256288 | 2147483647 136404 97 | 0.000 % |
847.87/848.45 c | 805747 | 5617 108135 256288 | 2147483647 136639 97 | 0.000 % |
847.97/848.51 c | 806003 | 5617 108135 256288 | 2147483647 136895 97 | 0.000 % |
848.37/848.99 c | 806285 | 5617 108135 256288 | 2147483647 137177 97 | 0.000 % |
848.47/849.07 c | 806594 | 5617 108135 256288 | 2147483647 137486 97 | 0.000 % |
849.17/849.72 c | 806933 | 5617 108135 256288 | 2147483647 137825 97 | 0.000 % |
849.67/850.29 c | 807306 | 5617 108135 256288 | 2147483647 138198 97 | 0.000 % |
850.47/851.03 c | 807715 | 5617 108135 256288 | 2147483647 138607 97 | 0.000 % |
851.37/851.92 c | 808164 | 5617 108135 256288 | 2147483647 139056 97 | 0.000 % |
852.27/852.87 c | 808658 | 5617 108135 256288 | 2147483647 139550 97 | 0.000 % |
853.27/853.86 c | 809200 | 5617 108135 256288 | 2147483647 140092 97 | 0.000 % |
853.77/854.36 c | 809798 | 5617 108135 256288 | 2147483647 140690 97 | 0.000 % |
854.27/854.86 c | 810455 | 5617 108135 256288 | 140892 141347 97 | 0.000 % |
855.07/855.61 c | 811177 | 5617 108135 256288 | 140892 120599 96 | 0.000 % |
855.47/856.00 c | 811969 | 5617 108135 256288 | 140892 121391 97 | 0.000 % |
856.86/857.49 c | 812840 | 5617 108135 256288 | 140892 122262 96 | 0.000 % |
858.26/858.81 c | 813799 | 5617 108135 256288 | 140892 123221 97 | 0.000 % |
859.46/860.06 c | 814852 | 5617 108135 256288 | 140892 124274 97 | 0.000 % |
859.76/860.32 c | 816012 | 5617 108135 256288 | 140892 125434 97 | 0.000 % |
861.66/862.28 c | 817285 | 5617 108135 256288 | 140892 126707 97 | 0.000 % |
862.06/862.66 c | 818685 | 5617 108135 256288 | 140892 128107 98 | 0.000 % |
863.06/863.65 c | 820227 | 5617 108135 256288 | 129422 129649 98 | 0.000 % |
865.96/866.56 c | 821923 | 5617 108135 256288 | 129422 113274 91 | 0.000 % |
868.37/868.92 c | 823786 | 5617 108135 256288 | 129422 115137 91 | 0.000 % |
869.96/870.55 c | 825837 | 5617 108135 256288 | 129422 117188 91 | 0.000 % |
872.46/873.08 c | 828091 | 5617 108135 256288 | 129422 119442 91 | 0.000 % |
874.06/874.64 c | 830570 | 5617 108135 256288 | 121351 121921 92 | 0.000 % |
877.06/877.67 c | 833295 | 5617 108135 256288 | 121351 112174 90 | 0.000 % |
877.66/878.24 c | 836293 | 5617 108135 256288 | 121351 115172 91 | 0.000 % |
880.96/881.55 c | 839591 | 5617 108135 256288 | 121351 118470 91 | 0.000 % |
883.66/884.25 c | 843217 | 5617 108135 256288 | 2147483647 122096 92 | 0.000 % |
887.85/888.42 c | 847205 | 5617 108135 256288 | 2147483647 126084 93 | 0.000 % |
892.85/893.49 c | 851591 | 5617 108135 256288 | 128881 130470 93 | 0.000 % |
905.75/906.33 c | 856414 | 5617 108135 256288 | 128881 118047 94 | 0.000 % |
910.84/911.50 c | 861720 | 5617 108135 256288 | 2147483647 123353 96 | 0.000 % |
920.05/920.64 c | 867555 | 5617 108135 256288 | 2147483647 129188 98 | 0.000 % |
931.83/932.44 c | 873975 | 5617 108135 256288 | 2147483647 135608 100 | 0.000 % |
935.13/935.79 c | 881034 | 5617 108135 256288 | 141634 142667 100 | 0.000 % |
942.83/943.48 c | 888798 | 5617 108135 256288 | 141634 126022 95 | 0.000 % |
942.93/943.55 c | 888901 | 5617 108135 256288 | 141634 126125 95 | 0.000 % |
943.13/943.71 c | 889011 | 5617 108135 256288 | 141634 126235 95 | 0.000 % |
943.23/943.90 c | 889134 | 5617 108135 256288 | 141634 126358 95 | 0.000 % |
943.43/944.03 c | 889267 | 5617 108135 256288 | 141634 126491 95 | 0.000 % |
943.63/944.24 c | 889417 | 5617 108135 256288 | 141634 126641 95 | 0.000 % |
943.83/944.45 c | 889577 | 5617 108135 256288 | 141634 126801 95 | 0.000 % |
944.03/944.67 c | 889755 | 5617 108135 256288 | 141634 126979 95 | 0.000 % |
944.23/944.88 c | 889950 | 5617 108135 256288 | 141634 127174 95 | 0.000 % |
944.33/944.97 c | 890162 | 5617 108135 256288 | 127224 127386 95 | 0.000 % |
944.92/945.56 c | 890395 | 5617 108135 256288 | 127224 105862 96 | 0.000 % |
945.33/945.96 c | 890651 | 5617 108135 256288 | 127224 106118 96 | 0.000 % |
945.82/946.48 c | 890932 | 5617 108135 256288 | 127224 106399 96 | 0.000 % |
946.32/946.92 c | 891243 | 5617 108135 256288 | 127224 106710 96 | 0.000 % |
946.82/947.46 c | 891584 | 5617 108135 256288 | 127224 107051 96 | 0.000 % |
947.32/948.00 c | 891956 | 5617 108135 256288 | 127224 107423 97 | 0.000 % |
948.12/948.71 c | 892366 | 5617 108135 256288 | 127224 107833 97 | 0.000 % |
948.82/949.44 c | 892817 | 5617 108135 256288 | 127224 108284 97 | 0.000 % |
949.22/949.82 c | 893310 | 5617 108135 256288 | 127224 108777 97 | 0.000 % |
949.42/950.04 c | 893853 | 5617 108135 256288 | 127224 109320 97 | 0.000 % |
949.73/950.39 c | 894449 | 5617 108135 256288 | 127224 109916 97 | 0.000 % |
950.93/951.51 c | 895104 | 5617 108135 256288 | 127224 110571 97 | 0.000 % |
951.62/952.29 c | 895825 | 5617 108135 256288 | 127224 111292 97 | 0.000 % |
952.12/952.74 c | 896617 | 5617 108135 256288 | 127224 112084 97 | 0.000 % |
952.32/952.97 c | 897492 | 5617 108135 256288 | 127224 112959 97 | 0.000 % |
953.82/954.41 c | 898450 | 5617 108135 256288 | 127224 113917 98 | 0.000 % |
954.82/955.45 c | 899503 | 5617 108135 256288 | 127224 114970 97 | 0.000 % |
955.52/956.11 c | 900661 | 5617 108135 256288 | 115467 116128 97 | 0.000 % |
956.02/956.65 c | 901934 | 5617 108135 256288 | 115467 103351 96 | 0.000 % |
957.92/958.58 c | 903334 | 5617 108135 256288 | 115467 104751 96 | 0.000 % |
959.63/960.29 c | 904878 | 5617 108135 256288 | 115467 106295 96 | 0.000 % |
961.42/962.05 c | 906573 | 5617 108135 256288 | 115467 107990 97 | 0.000 % |
962.82/963.42 c | 908436 | 5617 108135 256288 | 115467 109853 97 | 0.000 % |
964.72/965.34 c | 910485 | 5617 108135 256288 | 2147483647 111902 96 | 0.000 % |
967.52/968.14 c | 912742 | 5617 108135 256288 | 2147483647 114159 96 | 0.000 % |
968.81/969.44 c | 915220 | 5617 108135 256288 | 2147483647 116637 96 | 0.000 % |
972.92/973.52 c | 917945 | 5617 108135 256288 | 2147483647 119362 95 | 0.000 % |
976.00/976.68 c | 920942 | 5617 108135 256288 | 2147483647 122359 95 | 0.000 % |
976.50/977.14 c | 924239 | 5617 108135 256288 | 2147483647 125656 96 | 0.000 % |
980.80/981.48 c | 927865 | 5617 108135 256288 | 2147483647 129282 96 | 0.000 % |
984.91/985.52 c | 931852 | 5617 108135 256288 | 2147483647 133269 95 | 0.000 % |
991.50/992.16 c | 936239 | 5617 108135 256288 | 2147483647 137656 95 | 0.000 % |
997.70/998.35 c | 941064 | 5617 108135 256288 | 141419 142481 94 | 0.000 % |
1005.00/1005.68 c | 946370 | 5617 108135 256288 | 141419 133539 93 | 0.000 % |
1010.70/1011.34 c | 952206 | 5617 108135 256288 | 137169 139375 94 | 0.000 % |
1019.69/1020.37 c | 958625 | 5617 108135 256288 | 137169 121593 92 | 0.000 % |
1024.59/1025.21 c | 965686 | 5617 108135 256288 | 122971 113162 89 | 0.000 % |
1032.69/1033.34 c | 973450 | 5617 108135 256288 | 117476 98370 85 | 0.000 % |
1043.68/1044.34 c | 981992 | 5617 108135 256288 | 2147483647 106912 83 | 0.000 % |
1043.78/1044.47 c | 982092 | 5617 108135 256288 | 2147483647 107012 83 | 0.000 % |
1043.98/1044.68 c | 982203 | 5617 108135 256288 | 2147483647 107123 83 | 0.000 % |
1044.08/1044.74 c | 982325 | 5617 108135 256288 | 2147483647 107245 83 | 0.000 % |
1044.29/1044.92 c | 982460 | 5617 108135 256288 | 2147483647 107380 83 | 0.000 % |
1044.48/1045.16 c | 982607 | 5617 108135 256288 | 2147483647 107527 83 | 0.000 % |
1044.58/1045.30 c | 982770 | 5617 108135 256288 | 2147483647 107690 83 | 0.000 % |
1044.88/1045.56 c | 982946 | 5617 108135 256288 | 2147483647 107866 83 | 0.000 % |
1045.18/1045.83 c | 983139 | 5617 108135 256288 | 2147483647 108059 83 | 0.000 % |
1045.28/1045.96 c | 983353 | 5617 108135 256288 | 2147483647 108273 83 | 0.000 % |
1045.68/1046.38 c | 983590 | 5617 108135 256288 | 2147483647 108510 83 | 0.000 % |
1045.78/1046.46 c | 983847 | 5617 108135 256288 | 2147483647 108767 83 | 0.000 % |
1046.28/1046.95 c | 984128 | 5617 108135 256288 | 2147483647 109048 83 | 0.000 % |
1046.68/1047.39 c | 984437 | 5617 108135 256288 | 2147483647 109357 83 | 0.000 % |
1046.88/1047.51 c | 984779 | 5617 108135 256288 | 2147483647 109699 83 | 0.000 % |
1047.28/1047.97 c | 985152 | 5617 108135 256288 | 2147483647 110072 83 | 0.000 % |
1047.68/1048.35 c | 985563 | 5617 108135 256288 | 2147483647 110483 83 | 0.000 % |
1048.48/1049.14 c | 986012 | 5617 108135 256288 | 2147483647 110932 83 | 0.000 % |
1049.18/1049.80 c | 986505 | 5617 108135 256288 | 2147483647 111425 84 | 0.000 % |
1049.48/1050.18 c | 987047 | 5617 108135 256288 | 2147483647 111967 84 | 0.000 % |
1049.88/1050.59 c | 987645 | 5617 108135 256288 | 2147483647 112565 84 | 0.000 % |
1049.98/1050.67 c | 988301 | 5617 108135 256288 | 2147483647 113221 84 | 0.000 % |
1051.18/1051.82 c | 989021 | 5617 108135 256288 | 2147483647 113941 84 | 0.000 % |
1051.98/1052.63 c | 989814 | 5617 108135 256288 | 2147483647 114734 84 | 0.000 % |
1052.88/1053.57 c | 990685 | 5617 108135 256288 | 2147483647 115605 84 | 0.000 % |
1053.98/1054.65 c | 991644 | 5617 108135 256288 | 2147483647 116564 84 | 0.000 % |
1054.38/1055.06 c | 992699 | 5617 108135 256288 | 2147483647 117619 85 | 0.000 % |
1056.28/1056.93 c | 993857 | 5617 108135 256288 | 2147483647 118777 85 | 0.000 % |
1057.88/1058.51 c | 995131 | 5617 108135 256288 | 2147483647 120051 85 | 0.000 % |
1058.68/1059.39 c | 996532 | 5617 108135 256288 | 2147483647 121452 85 | 0.000 % |
1060.78/1061.49 c | 998074 | 5617 108135 256288 | 2147483647 122994 85 | 0.000 % |
1061.78/1062.41 c | 999769 | 5617 108135 256288 | 2147483647 124689 86 | 0.000 % |
1064.57/1065.21 c | 1001632 | 5617 108135 256288 | 2147483647 126552 87 | 0.000 % |
1068.97/1069.64 c | 1003684 | 5617 108135 256288 | 2147483647 128604 86 | 0.000 % |
1071.37/1072.02 c | 1005938 | 5617 108135 256288 | 2147483647 130858 87 | 0.000 % |
1073.77/1074.40 c | 1008417 | 5617 108135 256288 | 2147483647 133337 87 | 0.000 % |
1076.96/1077.69 c | 1011143 | 5617 108135 256288 | 134920 136063 88 | 0.000 % |
1080.67/1081.35 c | 1014141 | 5617 108135 256288 | 134920 116748 85 | 0.000 % |
1082.16/1082.84 c | 1017437 | 5617 108135 256288 | 134920 120044 85 | 0.000 % |
1084.36/1085.02 c | 1021062 | 5617 108135 256288 | 122607 123669 86 | 0.000 % |
1086.46/1087.15 c | 1025049 | 5617 108135 256288 | 122607 112221 85 | 0.000 % |
1091.36/1092.09 c | 1029434 | 5617 108135 256288 | 122607 116606 84 | 0.000 % |
1098.36/1099.06 c | 1034259 | 5617 108135 256288 | 2147483647 121431 84 | 0.000 % |
1101.16/1101.80 c | 1039565 | 5617 108135 256288 | 2147483647 126737 85 | 0.000 % |
1108.95/1109.60 c | 1045400 | 5617 108135 256288 | 2147483647 132572 85 | 0.000 % |
1114.65/1115.35 c | 1051819 | 5617 108135 256288 | 2147483647 138991 83 | 0.000 % |
1118.35/1119.00 c | 1058878 | 5617 108135 256288 | 2147483647 146050 85 | 0.000 % |
1123.34/1124.07 c | 1066644 | 5617 108135 256288 | 147172 128721 86 | 0.000 % |
1136.14/1136.85 c | 1075184 | 5617 108135 256288 | 132079 114044 84 | 0.000 % |
1146.24/1146.95 c | 1084579 | 5617 108135 256288 | 118860 111377 88 | 0.000 % |
1146.34/1147.09 c | 1084680 | 5617 108135 256288 | 118860 111478 88 | 0.000 % |
1146.54/1147.23 c | 1084790 | 5617 108135 256288 | 118860 111588 88 | 0.000 % |
1146.64/1147.35 c | 1084913 | 5617 108135 256288 | 118860 111711 88 | 0.000 % |
1146.74/1147.47 c | 1085046 | 5617 108135 256288 | 118860 111844 88 | 0.000 % |
1147.04/1147.71 c | 1085192 | 5617 108135 256288 | 118860 111990 88 | 0.000 % |
1147.04/1147.73 c | 1085353 | 5617 108135 256288 | 118860 112151 88 | 0.000 % |
1147.34/1148.05 c | 1085531 | 5617 108135 256288 | 118860 112329 88 | 0.000 % |
1147.54/1148.29 c | 1085724 | 5617 108135 256288 | 118860 112522 88 | 0.000 % |
1147.64/1148.35 c | 1085937 | 5617 108135 256288 | 118860 112735 88 | 0.000 % |
1147.74/1148.40 c | 1086172 | 5617 108135 256288 | 118860 112970 88 | 0.000 % |
1148.04/1148.77 c | 1086428 | 5617 108135 256288 | 118860 113226 88 | 0.000 % |
1148.34/1149.02 c | 1086710 | 5617 108135 256288 | 118860 113508 88 | 0.000 % |
1148.44/1149.12 c | 1087021 | 5617 108135 256288 | 118860 113819 88 | 0.000 % |
1148.84/1149.54 c | 1087361 | 5617 108135 256288 | 118860 114159 88 | 0.000 % |
1149.33/1150.09 c | 1087737 | 5617 108135 256288 | 118860 114535 88 | 0.000 % |
1149.94/1150.69 c | 1088148 | 5617 108135 256288 | 118860 114946 88 | 0.000 % |
1150.33/1151.04 c | 1088597 | 5617 108135 256288 | 118860 115395 88 | 0.000 % |
1150.73/1151.41 c | 1089091 | 5617 108135 256288 | 118860 115889 88 | 0.000 % |
1151.23/1151.93 c | 1089633 | 5617 108135 256288 | 118860 116431 88 | 0.000 % |
1151.93/1152.61 c | 1090229 | 5617 108135 256288 | 2147483647 117027 88 | 0.000 % |
1152.73/1153.41 c | 1090884 | 5617 108135 256288 | 2147483647 117682 88 | 0.000 % |
1153.23/1153.95 c | 1091604 | 5617 108135 256288 | 2147483647 118402 88 | 0.000 % |
1154.13/1154.81 c | 1092396 | 5617 108135 256288 | 2147483647 119194 88 | 0.000 % |
1154.82/1155.52 c | 1093268 | 5617 108135 256288 | 2147483647 120066 88 | 0.000 % |
1156.02/1156.79 c | 1094226 | 5617 108135 256288 | 2147483647 121024 88 | 0.000 % |
1156.92/1157.60 c | 1095281 | 5617 108135 256288 | 2147483647 122079 87 | 0.000 % |
1157.82/1158.51 c | 1096439 | 5617 108135 256288 | 2147483647 123237 88 | 0.000 % |
1159.62/1160.35 c | 1097712 | 5617 108135 256288 | 2147483647 124510 88 | 0.000 % |
1161.12/1161.87 c | 1099113 | 5617 108135 256288 | 2147483647 125911 88 | 0.000 % |
1161.82/1162.52 c | 1100653 | 5617 108135 256288 | 2147483647 127451 88 | 0.000 % |
1165.52/1166.28 c | 1102350 | 5617 108135 256288 | 2147483647 129148 88 | 0.000 % |
1168.02/1168.77 c | 1104214 | 5617 108135 256288 | 2147483647 131012 88 | 0.000 % |
1170.02/1170.76 c | 1106265 | 5617 108135 256288 | 2147483647 133063 88 | 0.000 % |
1173.32/1174.05 c | 1108519 | 5617 108135 256288 | 2147483647 135317 88 | 0.000 % |
1174.62/1175.33 c | 1110997 | 5617 108135 256288 | 136799 137795 88 | 0.000 % |
1177.52/1178.23 c | 1113723 | 5617 108135 256288 | 136799 123257 86 | 0.000 % |
1180.11/1180.81 c | 1116720 | 5617 108135 256288 | 136799 126254 86 | 0.000 % |
1182.71/1183.47 c | 1120017 | 5617 108135 256288 | 129537 129551 86 | 0.000 % |
1186.41/1187.10 c | 1123642 | 5617 108135 256288 | 129537 120152 86 | 0.000 % |
1192.01/1192.78 c | 1127630 | 5617 108135 256288 | 129537 124140 85 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832351-1242772558/watcher-1832351-1242772558 -o /tmp/evaluation-result-1832351-1242772558/solver-1832351-1242772558 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832351-1242772558.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.02 0.97 3/64 13498
/proc/meminfo: memFree=1850272/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305283382 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 237 197 169 0 50 0
[startup+0.0158131 s]
/proc/loadavg: 1.00 1.02 0.97 3/64 13498
/proc/meminfo: memFree=1850272/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305283382 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101818 s]
/proc/loadavg: 1.00 1.02 0.97 3/64 13498
/proc/meminfo: memFree=1850272/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305283382 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30183 s]
/proc/loadavg: 1.00 1.02 0.97 3/64 13498
/proc/meminfo: memFree=1850272/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305283382 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701858 s]
/proc/loadavg: 1.00 1.02 0.97 3/64 13498
/proc/meminfo: memFree=1850272/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305283382 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50191 s]
/proc/loadavg: 1.00 1.02 0.97 2/66 13504
/proc/meminfo: memFree=1842128/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=7680 CPUtime=0.6
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 1775 0 0 0 59 1 0 0 23 0 1 0 305283470 7864320 1761 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 1920 1761 77 171 0 1747 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13036
[startup+3.10202 s]
/proc/loadavg: 1.00 1.02 0.97 2/66 13504
/proc/meminfo: memFree=1840272/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=9680 CPUtime=2.2
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 2265 0 0 0 218 2 0 0 25 0 1 0 305283470 9912320 2251 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 2420 2251 77 171 0 2247 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15036
[startup+6.30123 s]
/proc/loadavg: 1.08 1.03 0.98 2/66 13504
/proc/meminfo: memFree=1836440/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=13308 CPUtime=5.39
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 3173 0 0 0 537 2 0 0 25 0 1 0 305283470 13627392 3159 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 3327 3159 77 171 0 3154 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 18664
[startup+12.7017 s]
/proc/loadavg: 1.07 1.03 0.98 2/66 13504
/proc/meminfo: memFree=1829592/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=19480 CPUtime=11.78
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 4724 0 0 0 1175 3 0 0 25 0 1 0 305283470 19947520 4710 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 4870 4710 77 171 0 4697 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 24836
[startup+25.5015 s]
/proc/loadavg: 1.06 1.03 0.98 2/66 13504
/proc/meminfo: memFree=1820760/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=28272 CPUtime=24.58
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 6910 0 0 0 2453 5 0 0 25 0 1 0 305283470 28950528 6896 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 7068 6896 77 171 0 6895 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 33628
[startup+51.1012 s]
/proc/loadavg: 1.04 1.03 0.98 2/66 13504
/proc/meminfo: memFree=1808472/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=40404 CPUtime=50.15
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 9965 0 0 0 5007 8 0 0 25 0 1 0 305283470 41373696 9951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 10101 9951 77 171 0 9928 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 45760
[startup+102.307 s]
/proc/loadavg: 1.01 1.02 0.98 2/66 13504
/proc/meminfo: memFree=1781016/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=67780 CPUtime=101.3
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 16734 0 0 0 10117 13 0 0 25 0 1 0 305283470 69406720 16720 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 16945 16720 77 171 0 16772 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 73136
[startup+162.302 s]
/proc/loadavg: 1.00 1.02 0.98 2/66 13504
/proc/meminfo: memFree=1775192/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=73720 CPUtime=161.26
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 18231 0 0 0 16111 15 0 0 25 0 1 0 305283470 75489280 18217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 18430 18217 77 171 0 18257 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 79076
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 0.98 2/66 13504
/proc/meminfo: memFree=1772248/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=76360 CPUtime=221.22
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 18889 0 0 0 22106 16 0 0 25 0 1 0 305283470 78192640 18875 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 19090 18875 77 171 0 18917 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 81716
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 13504
/proc/meminfo: memFree=1769944/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=78476 CPUtime=281.17
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 19422 0 0 0 28101 16 0 0 25 0 1 0 305283470 80359424 19408 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 19619 19408 77 171 0 19446 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 83832
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 13506
/proc/meminfo: memFree=1769688/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=78476 CPUtime=341.14
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 19422 0 0 0 34098 16 0 0 25 0 1 0 305283470 80359424 19408 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 19619 19408 77 171 0 19446 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 83832
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 13506
/proc/meminfo: memFree=1769560/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=78476 CPUtime=401.12
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 19422 0 0 0 40095 17 0 0 25 0 1 0 305283470 80359424 19408 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 19619 19408 77 171 0 19446 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 83832
[startup+462.302 s]
################
# More data... #
################
/proc/13504/statm: 20378 20169 77 171 0 20205 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 86868
[startup+582.302 s]
/proc/loadavg: 1.03 1.03 1.00 2/66 13506
/proc/meminfo: memFree=1766296/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=81512 CPUtime=581.04
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 20183 0 0 0 58086 18 0 0 25 0 1 0 305283470 83468288 20169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 20378 20169 77 171 0 20205 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 86868
[startup+642.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 13506
/proc/meminfo: memFree=1766232/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=81512 CPUtime=641
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 20183 0 0 0 64082 18 0 0 25 0 1 0 305283470 83468288 20169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 20378 20169 77 171 0 20205 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 86868
[startup+702.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 13506
/proc/meminfo: memFree=1766104/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=81512 CPUtime=700.97
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 20183 0 0 0 70079 18 0 0 25 0 1 0 305283470 83468288 20169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 20378 20169 77 171 0 20205 0
Current children cumulated CPU time (s) 701.84
Current children cumulated vsize (KiB) 86868
[startup+762.307 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 13506
/proc/meminfo: memFree=1765976/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=81512 CPUtime=760.94
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 20183 0 0 0 76076 18 0 0 25 0 1 0 305283470 83468288 20169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 20378 20169 77 171 0 20205 0
Current children cumulated CPU time (s) 761.81
Current children cumulated vsize (KiB) 86868
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13506
/proc/meminfo: memFree=1765848/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=81512 CPUtime=820.91
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 20183 0 0 0 82072 19 0 0 25 0 1 0 305283470 83468288 20169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 20378 20169 77 171 0 20205 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 86868
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13506
/proc/meminfo: memFree=1765784/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=81512 CPUtime=880.89
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 20183 0 0 0 88070 19 0 0 25 0 1 0 305283470 83468288 20169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 20378 20169 77 171 0 20205 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 86868
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13506
/proc/meminfo: memFree=1765656/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=81512 CPUtime=940.86
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 20183 0 0 0 94067 19 0 0 25 0 1 0 305283470 83468288 20169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 20378 20169 77 171 0 20205 0
Current children cumulated CPU time (s) 941.73
Current children cumulated vsize (KiB) 86868
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13506
/proc/meminfo: memFree=1765592/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=81512 CPUtime=1000.83
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 20183 0 0 0 100064 19 0 0 25 0 1 0 305283470 83468288 20169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 20378 20169 77 171 0 20205 0
Current children cumulated CPU time (s) 1001.7
Current children cumulated vsize (KiB) 86868
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13506
/proc/meminfo: memFree=1765528/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=81496 CPUtime=1060.8
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 20183 0 0 0 106061 19 0 0 25 0 1 0 305283470 83451904 20169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 20374 20169 77 171 0 20201 0
Current children cumulated CPU time (s) 1061.67
Current children cumulated vsize (KiB) 86852
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13506
/proc/meminfo: memFree=1765400/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=81496 CPUtime=1120.77
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 20183 0 0 0 112058 19 0 0 25 0 1 0 305283470 83451904 20169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 20374 20169 77 171 0 20201 0
Current children cumulated CPU time (s) 1121.64
Current children cumulated vsize (KiB) 86852
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13506
/proc/meminfo: memFree=1765272/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=81496 CPUtime=1180.75
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 20183 0 0 0 118056 19 0 0 25 0 1 0 305283470 83451904 20169 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 20374 20169 77 171 0 20201 0
Current children cumulated CPU time (s) 1181.62
Current children cumulated vsize (KiB) 86852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13506
/proc/meminfo: memFree=1765272/2055920 swapFree=4180404/4192956
[pid=13498] ppid=13496 vsize=5356 CPUtime=0.87
/proc/13498/stat : 13498 (SatELiteGTI) S 13496 13498 12911 0 -1 4194304 336 4879 0 0 0 0 83 4 16 0 1 0 305283382 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13498/statm: 1339 239 197 169 0 50 0
[pid=13504] ppid=13498 vsize=81496 CPUtime=1199.24
/proc/13504/stat : 13504 (minisat_static) R 13498 13498 12911 0 -1 4194304 20183 0 0 0 119905 19 0 0 25 0 1 0 305283470 83451904 20169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/13504/statm: 20374 20169 77 171 0 20201 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 86852
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 13498 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=838872
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=42993
# CPU time returned by wait4() is 0.881865
# while last known CPU time is 1200.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.11
CPU user time (s): 1199.88
CPU system time (s): 0.23
CPU usage (%): 99.9416
Max. virtual memory (cumulated for all children) (KiB): 86868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.838872
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5215
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= 13
involuntary context switches= 22
runsolver used 1.05784 second user time and 3.43448 second system time
The end
Begin job on node52 at 2009-05-20 00:35:59
IDJOB=1832351
IDBENCH=24736
IDSOLVER=671
FILE ID=node52/1832351-1242772558
PBS_JOBID= 9322249
Free space on /tmp= 66140 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Difficult/contest05/others/sgp_5-5-6.sat05-2675.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832351-1242772558/watcher-1832351-1242772558 -o /tmp/evaluation-result-1832351-1242772558/solver-1832351-1242772558 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832351-1242772558.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 531549e214a293ad3adf6ddff17eb882
RANDOM SEED=991442703
node52.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.214
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.214
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: 1850816 kB
Buffers: 16620 kB
Cached: 151156 kB
SwapCached: 7052 kB
Active: 26520 kB
Inactive: 150964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1850816 kB
SwapTotal: 4192956 kB
SwapFree: 4180404 kB
Dirty: 4648 kB
Writeback: 0 kB
Mapped: 13484 kB
Slab: 13592 kB
Committed_AS: 1137288 kB
PageTables: 1480 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= 66136 MiB
End job on node52 at 2009-05-20 00:56:02