0.00/0.00 c Parsing...
0.00/0.15 c ==============================================================================
0.00/0.15 c | | ORIGINAL | LEARNT | |
0.00/0.15 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.15 c ==============================================================================
0.00/0.15 c | 0 | 305320 613120 | 91595 0 0 nan | 0.000 % |
1.88/1.98 c | 0 | 301927 1018662 | -- 0 -- -- | -- | -3393/405542
1.88/1.98 c ==============================================================================
1.88/1.98 c Result : #vars: 2560 #clauses: 301927 #literals: 1018662
1.88/1.98 c CPU time: 1.9457 s
1.88/1.98 c ==============================================================================
2.18/2.28 c This is MiniSat 2.0 beta
2.18/2.28 c WARNING: for repeatability, setting FPU to use double precision
2.18/2.28 c ============================[ Problem Statistics ]=============================
2.18/2.28 c | |
2.18/2.28 c | Number of variables: 2560 |
2.18/2.28 c | Number of clauses: 301927 |
2.26/2.43 c | Parsing time: 0.14 s |
2.26/2.44 c ============================[ Search Statistics ]==============================
2.26/2.44 c | Conflicts | ORIGINAL | LEARNT | Progress |
2.26/2.44 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.26/2.44 c ===============================================================================
2.26/2.44 c | 0 | 2560 301927 1018662 | 100642 0 nan | 0.000 % |
2.26/2.49 c | 103 | 2560 301927 1018662 | 100642 103 267 | 0.000 % |
2.26/2.55 c | 203 | 2560 301927 1018662 | 100642 203 237 | 0.000 % |
2.26/2.59 c | 303 | 2560 301927 1018662 | 100642 303 207 | 0.000 % |
2.26/2.63 c | 413 | 2560 301927 1018662 | 100642 413 192 | 0.000 % |
2.26/2.66 c | 513 | 2560 301927 1018662 | 100642 513 183 | 0.003 % |
2.26/2.70 c | 625 | 2560 301927 1018662 | 100642 625 177 | 0.000 % |
2.26/2.73 c | 746 | 2560 301927 1018662 | 100642 746 174 | 0.003 % |
2.26/2.76 c | 847 | 2560 301927 1018662 | 100642 847 165 | 0.004 % |
2.26/2.80 c | 957 | 2560 301927 1018662 | 100642 957 160 | 0.004 % |
2.26/2.84 c | 1079 | 2560 301927 1018662 | 100642 1079 155 | 0.004 % |
2.26/2.88 c | 1212 | 2560 301927 1018662 | 100642 1212 153 | 0.000 % |
2.26/2.91 c | 1313 | 2560 301927 1018662 | 100642 1313 150 | 0.000 % |
2.26/2.94 c | 1425 | 2560 301927 1018662 | 100642 1425 148 | 0.003 % |
2.26/2.99 c | 1547 | 2560 301927 1018662 | 100642 1547 146 | 0.004 % |
2.26/3.02 c | 1681 | 2560 301927 1018662 | 100642 1681 148 | 0.000 % |
2.26/3.06 c | 1828 | 2560 301927 1018662 | 100642 1828 146 | 0.000 % |
2.26/3.09 c | 1930 | 2560 301927 1018662 | 100642 1930 144 | 0.004 % |
2.26/3.12 c | 2042 | 2560 301927 1018662 | 100642 2042 141 | 0.003 % |
2.26/3.17 c | 2166 | 2560 301927 1018662 | 100642 2166 144 | 0.000 % |
2.26/3.21 c | 2299 | 2560 301927 1018662 | 100642 2299 143 | 0.003 % |
3.18/3.25 c | 2445 | 2560 301927 1018662 | 100642 2445 142 | 0.000 % |
3.18/3.29 c | 2605 | 2560 301927 1018662 | 100642 2605 141 | 0.004 % |
3.27/3.32 c | 2707 | 2560 301927 1018662 | 100642 2707 141 | 0.000 % |
3.27/3.35 c | 2818 | 2560 301927 1018662 | 100642 2818 141 | 0.000 % |
3.27/3.39 c | 2939 | 2560 301927 1018662 | 100642 2939 141 | 0.005 % |
3.37/3.43 c | 3072 | 2560 301927 1018662 | 100642 3072 141 | 0.000 % |
3.37/3.48 c | 3220 | 2560 301927 1018662 | 100642 3220 141 | 0.000 % |
3.47/3.53 c | 3381 | 2560 301927 1018662 | 100642 3381 142 | 0.004 % |
3.47/3.59 c | 3557 | 2560 301927 1018662 | 100642 3557 140 | 0.004 % |
3.57/3.62 c | 3657 | 2560 301927 1018662 | 100642 3657 142 | 0.000 % |
3.57/3.66 c | 3767 | 2560 301927 1018662 | 100642 3767 143 | 0.000 % |
3.67/3.70 c | 3892 | 2560 301927 1018662 | 100642 3892 143 | 0.004 % |
3.67/3.75 c | 4025 | 2560 301927 1018662 | 100642 4025 141 | 0.004 % |
3.76/3.80 c | 4172 | 2560 301927 1018662 | 100642 4172 143 | 0.000 % |
3.76/3.85 c | 4332 | 2560 301927 1018662 | 100642 4332 142 | 0.004 % |
3.86/3.90 c | 4508 | 2560 301927 1018662 | 100642 4508 142 | 0.000 % |
3.86/3.96 c | 4702 | 2560 301927 1018662 | 100642 4702 143 | 0.000 % |
3.86/3.99 c | 4802 | 2560 301927 1018662 | 100642 4802 142 | 0.000 % |
3.96/4.04 c | 4914 | 2560 301927 1018662 | 100642 4914 142 | 0.004 % |
3.96/4.07 c | 5036 | 2560 301927 1018662 | 100642 5036 141 | 0.004 % |
4.06/4.12 c | 5169 | 2560 301927 1018662 | 100642 5169 143 | 0.000 % |
4.06/4.16 c | 5316 | 2560 301927 1018662 | 100642 5316 143 | 0.004 % |
4.16/4.21 c | 5477 | 2560 301927 1018662 | 100642 5477 142 | 0.000 % |
4.16/4.26 c | 5653 | 2560 301927 1018662 | 100642 5653 142 | 0.003 % |
4.26/4.32 c | 5846 | 2560 301927 1018662 | 100642 5846 141 | 0.000 % |
4.26/4.38 c | 6058 | 2560 301927 1018662 | 100642 6058 140 | 0.004 % |
4.36/4.42 c | 6158 | 2560 301927 1018662 | 100642 6158 140 | 0.000 % |
4.36/4.46 c | 6269 | 2560 301927 1018662 | 100642 6269 140 | 0.000 % |
4.36/4.49 c | 6391 | 2560 301927 1018662 | 100642 6391 139 | 0.000 % |
4.45/4.54 c | 6526 | 2560 301927 1018662 | 100642 6526 138 | 0.005 % |
4.45/4.59 c | 6673 | 2560 301927 1018662 | 100642 6673 139 | 0.000 % |
4.55/4.65 c | 6834 | 2560 301927 1018662 | 100642 6834 139 | 0.000 % |
4.66/4.70 c | 7012 | 2560 301927 1018662 | 100642 7012 138 | 0.000 % |
4.66/4.76 c | 7206 | 2560 301927 1018662 | 100642 7206 139 | 0.000 % |
4.76/4.83 c | 7419 | 2560 301927 1018662 | 100642 7419 138 | 0.000 % |
4.86/4.90 c | 7652 | 2560 301927 1018662 | 100642 7652 138 | 0.004 % |
4.86/4.94 c | 7752 | 2560 301927 1018662 | 100642 7752 138 | 0.004 % |
4.86/4.97 c | 7862 | 2560 301927 1018662 | 100642 7862 137 | 0.004 % |
4.96/5.00 c | 7983 | 2560 301927 1018662 | 100642 7983 137 | 0.003 % |
4.96/5.05 c | 8116 | 2560 301927 1018662 | 100642 8116 136 | 0.000 % |
4.96/5.09 c | 8262 | 2560 301927 1018662 | 100642 8262 136 | 0.004 % |
5.06/5.14 c | 8423 | 2560 301927 1018662 | 100642 8423 136 | 0.005 % |
5.16/5.20 c | 8600 | 2560 301927 1018662 | 100642 8600 135 | 0.005 % |
5.16/5.26 c | 8793 | 2560 301927 1018662 | 100642 8793 136 | 0.000 % |
5.26/5.32 c | 9005 | 2560 301927 1018662 | 100642 9005 135 | 0.004 % |
5.26/5.39 c | 9239 | 2560 301927 1018662 | 100642 9239 137 | 0.000 % |
5.36/5.48 c | 9496 | 2560 301927 1018662 | 100642 9496 137 | 0.000 % |
5.46/5.52 c | 9597 | 2560 301927 1018662 | 100642 9597 137 | 0.004 % |
5.46/5.57 c | 9707 | 2560 301927 1018662 | 100642 9707 137 | 0.000 % |
5.55/5.60 c | 9829 | 2560 301927 1018662 | 100642 9829 137 | 0.000 % |
5.55/5.65 c | 9963 | 2560 301927 1018662 | 100642 9963 137 | 0.004 % |
5.65/5.71 c | 10109 | 2560 301927 1018662 | 2147483647 10109 137 | 0.000 % |
5.65/5.76 c | 10274 | 2560 301927 1018662 | 2147483647 10274 137 | 0.000 % |
5.75/5.83 c | 10450 | 2560 301927 1018662 | 2147483647 10450 136 | 0.004 % |
5.75/5.88 c | 10643 | 2560 301927 1018662 | 2147483647 10643 136 | 0.000 % |
5.85/5.95 c | 10855 | 2560 301927 1018662 | 2147483647 10855 136 | 0.000 % |
5.95/6.04 c | 11088 | 2560 301927 1018662 | 2147483647 11088 135 | 0.000 % |
6.05/6.14 c | 11348 | 2560 301927 1018662 | 2147483647 11348 136 | 0.000 % |
6.15/6.22 c | 11630 | 2560 301927 1018662 | 2147483647 11630 135 | 0.003 % |
6.15/6.25 c | 11730 | 2560 301927 1018662 | 2147483647 11730 135 | 0.003 % |
6.15/6.29 c | 11840 | 2560 301927 1018662 | 2147483647 11840 135 | 0.003 % |
6.25/6.33 c | 11963 | 2560 301927 1018662 | 2147483647 11963 135 | 0.003 % |
6.25/6.38 c | 12098 | 2560 301927 1018662 | 2147483647 12098 135 | 0.003 % |
6.35/6.43 c | 12246 | 2560 301927 1018662 | 2147483647 12246 134 | 0.000 % |
6.35/6.49 c | 12407 | 2560 301927 1018662 | 2147483647 12407 134 | 0.005 % |
6.45/6.55 c | 12583 | 2560 301927 1018662 | 2147483647 12583 134 | 0.003 % |
6.55/6.63 c | 12779 | 2560 301927 1018662 | 2147483647 12779 135 | 0.000 % |
6.64/6.70 c | 12992 | 2560 301927 1018662 | 2147483647 12992 135 | 0.003 % |
6.64/6.79 c | 13227 | 2560 301927 1018662 | 2147483647 13227 135 | 0.003 % |
6.74/6.87 c | 13483 | 2560 301927 1018662 | 2147483647 13483 135 | 0.000 % |
6.84/6.97 c | 13766 | 2560 301927 1018662 | 2147483647 13766 134 | 0.004 % |
6.94/7.06 c | 14075 | 2560 301927 1018662 | 2147483647 14075 134 | 0.003 % |
7.04/7.10 c | 14176 | 2560 301927 1018662 | 2147483647 14176 134 | 0.000 % |
7.04/7.14 c | 14286 | 2560 301927 1018662 | 2147483647 14286 134 | 0.000 % |
7.04/7.19 c | 14407 | 2560 301927 1018662 | 2147483647 14407 135 | 0.000 % |
7.14/7.23 c | 14542 | 2560 301927 1018662 | 2147483647 14542 135 | 0.000 % |
7.14/7.29 c | 14688 | 2560 301927 1018662 | 2147483647 14688 135 | 0.000 % |
7.24/7.36 c | 14849 | 2560 301927 1018662 | 2147483647 14849 136 | 0.000 % |
7.34/7.42 c | 15026 | 2560 301927 1018662 | 2147483647 15026 136 | 0.000 % |
7.34/7.49 c | 15219 | 2560 301927 1018662 | 2147483647 15219 137 | 0.000 % |
7.44/7.55 c | 15431 | 2560 301927 1018662 | 2147483647 15431 137 | 0.003 % |
7.54/7.65 c | 15665 | 2560 301927 1018662 | 2147483647 15665 137 | 0.000 % |
7.64/7.73 c | 15921 | 2560 301927 1018662 | 2147483647 15921 137 | 0.000 % |
7.74/7.83 c | 16202 | 2560 301927 1018662 | 2147483647 16202 137 | 0.004 % |
7.84/7.94 c | 16511 | 2560 301927 1018662 | 2147483647 16511 136 | 0.003 % |
8.04/8.12 c | 16850 | 2560 301927 1018662 | 2147483647 16850 138 | 0.000 % |
8.04/8.16 c | 16950 | 2560 301927 1018662 | 2147483647 16950 137 | 0.000 % |
8.14/8.21 c | 17062 | 2560 301927 1018662 | 2147483647 17062 137 | 0.000 % |
8.14/8.25 c | 17183 | 2560 301927 1018662 | 2147483647 17183 137 | 0.000 % |
8.24/8.31 c | 17316 | 2560 301927 1018662 | 2147483647 17316 137 | 0.000 % |
8.24/8.36 c | 17463 | 2560 301927 1018662 | 2147483647 17463 137 | 0.004 % |
8.34/8.42 c | 17624 | 2560 301927 1018662 | 2147483647 17624 137 | 0.004 % |
8.34/8.49 c | 17800 | 2560 301927 1018662 | 2147483647 17800 137 | 0.003 % |
8.45/8.58 c | 17993 | 2560 301927 1018662 | 2147483647 17993 138 | 0.000 % |
8.55/8.67 c | 18206 | 2560 301927 1018662 | 2147483647 18206 138 | 0.000 % |
8.65/8.76 c | 18439 | 2560 301927 1018662 | 2147483647 18439 138 | 0.004 % |
8.75/8.85 c | 18696 | 2560 301927 1018662 | 2147483647 18696 138 | 0.005 % |
8.84/8.95 c | 18978 | 2560 301927 1018662 | 2147483647 18978 137 | 0.004 % |
8.94/9.07 c | 19287 | 2560 301927 1018662 | 2147483647 19287 137 | 0.003 % |
9.14/9.20 c | 19628 | 2560 301927 1018662 | 2147483647 19628 137 | 0.004 % |
9.24/9.34 c | 20001 | 2560 301927 1018662 | 2147483647 20001 137 | 0.000 % |
9.24/9.38 c | 20101 | 2560 301927 1018662 | 2147483647 20101 137 | 0.000 % |
9.34/9.43 c | 20212 | 2560 301927 1018662 | 2147483647 20212 137 | 0.000 % |
9.34/9.48 c | 20333 | 2560 301927 1018662 | 2147483647 20333 137 | 0.000 % |
9.44/9.54 c | 20466 | 2560 301927 1018662 | 2147483647 20466 137 | 0.000 % |
9.54/9.60 c | 20614 | 2560 301927 1018662 | 2147483647 20614 137 | 0.000 % |
9.54/9.68 c | 20776 | 2560 301927 1018662 | 2147483647 20776 137 | 0.003 % |
9.64/9.75 c | 20953 | 2560 301927 1018662 | 2147483647 20953 137 | 0.000 % |
9.74/9.82 c | 21146 | 2560 301927 1018662 | 2147483647 21146 137 | 0.003 % |
9.74/9.90 c | 21359 | 2560 301927 1018662 | 2147483647 21359 137 | 0.004 % |
9.94/10.01 c | 21592 | 2560 301927 1018662 | 2147483647 21592 137 | 0.000 % |
10.04/10.10 c | 21848 | 2560 301927 1018662 | 2147483647 21848 137 | 0.000 % |
10.14/10.20 c | 22130 | 2560 301927 1018662 | 2147483647 22130 137 | 0.000 % |
10.24/10.31 c | 22439 | 2560 301927 1018662 | 2147483647 22439 137 | 0.000 % |
10.34/10.44 c | 22778 | 2560 301927 1018662 | 2147483647 22778 137 | 0.003 % |
10.44/10.58 c | 23152 | 2560 301927 1018662 | 2147483647 23152 138 | 0.000 % |
10.64/10.71 c | 23562 | 2560 301927 1018662 | 2147483647 23562 138 | 0.000 % |
10.64/10.76 c | 23664 | 2560 301927 1018662 | 2147483647 23664 138 | 0.000 % |
10.74/10.81 c | 23774 | 2560 301927 1018662 | 2147483647 23774 138 | 0.000 % |
10.74/10.86 c | 23895 | 2560 301927 1018662 | 2147483647 23895 138 | 0.004 % |
10.84/10.91 c | 24030 | 2560 301927 1018662 | 2147483647 24030 138 | 0.000 % |
10.84/10.99 c | 24176 | 2560 301927 1018662 | 2147483647 24176 138 | 0.000 % |
10.94/11.05 c | 24336 | 2560 301927 1018662 | 2147483647 24336 137 | 0.000 % |
11.03/11.12 c | 24514 | 2560 301927 1018662 | 2147483647 24514 137 | 0.003 % |
11.13/11.21 c | 24707 | 2560 301927 1018662 | 2147483647 24707 138 | 0.000 % |
11.23/11.31 c | 24919 | 2560 301927 1018662 | 2147483647 24919 138 | 0.000 % |
11.34/11.40 c | 25152 | 2560 301927 1018662 | 2147483647 25152 138 | 0.000 % |
11.44/11.52 c | 25408 | 2560 301927 1018662 | 2147483647 25408 138 | 0.003 % |
11.54/11.64 c | 25691 | 2560 301927 1018662 | 2147483647 25691 138 | 0.004 % |
11.64/11.76 c | 26001 | 2560 301927 1018662 | 2147483647 26001 137 | 0.000 % |
11.84/11.92 c | 26340 | 2560 301927 1018662 | 2147483647 26340 140 | 0.000 % |
12.04/12.10 c | 26712 | 2560 301927 1018662 | 2147483647 26712 140 | 0.000 % |
12.14/12.27 c | 27122 | 2560 301927 1018662 | 2147483647 27122 140 | 0.000 % |
12.34/12.47 c | 27571 | 2560 301927 1018662 | 2147483647 27571 140 | 0.000 % |
12.44/12.53 c | 27671 | 2560 301927 1018662 | 2147483647 27671 140 | 0.000 % |
12.44/12.59 c | 27782 | 2560 301927 1018662 | 2147483647 27782 140 | 0.004 % |
12.54/12.63 c | 27903 | 2560 301927 1018662 | 2147483647 27903 140 | 0.004 % |
12.54/12.70 c | 28036 | 2560 301927 1018662 | 2147483647 28036 140 | 0.000 % |
12.64/12.77 c | 28183 | 2560 301927 1018662 | 2147483647 28183 140 | 0.000 % |
12.74/12.83 c | 28344 | 2560 301927 1018662 | 2147483647 28344 141 | 0.000 % |
12.84/12.91 c | 28521 | 2560 301927 1018662 | 2147483647 28521 140 | 0.003 % |
12.84/13.00 c | 28714 | 2560 301927 1018662 | 2147483647 28714 141 | 0.000 % |
12.94/13.08 c | 28927 | 2560 301927 1018662 | 2147483647 28927 141 | 0.004 % |
13.04/13.19 c | 29160 | 2560 301927 1018662 | 2147483647 29160 141 | 0.000 % |
13.14/13.29 c | 29417 | 2560 301927 1018662 | 2147483647 29417 141 | 0.000 % |
13.34/13.40 c | 29700 | 2560 301927 1018662 | 2147483647 29700 141 | 0.000 % |
13.44/13.53 c | 30009 | 2560 301927 1018662 | 2147483647 30009 141 | 0.004 % |
13.63/13.75 c | 30349 | 2560 301927 1018662 | 2147483647 30349 142 | 0.000 % |
13.83/13.96 c | 30722 | 2560 301927 1018662 | 2147483647 30722 143 | 0.000 % |
14.04/14.12 c | 31132 | 2560 301927 1018662 | 2147483647 31132 144 | 0.004 % |
14.24/14.36 c | 31582 | 2560 301927 1018662 | 2147483647 31582 144 | 0.000 % |
14.54/14.61 c | 32075 | 2560 301927 1018662 | 2147483647 32075 145 | 0.000 % |
14.54/14.66 c | 32175 | 2560 301927 1018662 | 2147483647 32175 146 | 0.000 % |
14.64/14.73 c | 32288 | 2560 301927 1018662 | 2147483647 32288 146 | 0.000 % |
14.64/14.79 c | 32411 | 2560 301927 1018662 | 2147483647 32411 146 | 0.000 % |
14.74/14.84 c | 32546 | 2560 301927 1018662 | 2147483647 32546 146 | 0.000 % |
14.84/14.91 c | 32695 | 2560 301927 1018662 | 2147483647 32695 146 | 0.000 % |
14.94/15.00 c | 32856 | 2560 301927 1018662 | 2147483647 32856 146 | 0.000 % |
14.94/15.09 c | 33040 | 2560 301927 1018662 | 2147483647 33040 146 | 0.000 % |
15.13/15.22 c | 33233 | 2560 301927 1018662 | 2147483647 33233 147 | 0.000 % |
15.24/15.31 c | 33447 | 2560 301927 1018662 | 2147483647 33447 147 | 0.000 % |
15.34/15.42 c | 33682 | 2560 301927 1018662 | 2147483647 33682 147 | 0.003 % |
15.43/15.53 c | 33938 | 2560 301927 1018662 | 2147483647 33938 147 | 0.000 % |
15.53/15.66 c | 34220 | 2560 301927 1018662 | 2147483647 34220 147 | 0.000 % |
15.63/15.79 c | 34529 | 2560 301927 1018662 | 2147483647 34529 147 | 0.000 % |
15.83/15.95 c | 34869 | 2560 301927 1018662 | 2147483647 34869 147 | 0.000 % |
16.03/16.16 c | 35241 | 2560 301927 1018662 | 2147483647 35241 147 | 0.003 % |
16.23/16.37 c | 35652 | 2560 301927 1018662 | 2147483647 35652 147 | 0.000 % |
16.43/16.57 c | 36102 | 2560 301927 1018662 | 2147483647 36102 146 | 0.003 % |
16.73/16.81 c | 36597 | 2560 301927 1018662 | 2147483647 36597 146 | 0.004 % |
17.04/17.12 c | 37142 | 2560 301927 1018662 | 2147483647 37142 148 | 0.000 % |
17.04/17.19 c | 37242 | 2560 301927 1018662 | 2147483647 37242 148 | 0.000 % |
17.14/17.26 c | 37352 | 2560 301927 1018662 | 2147483647 37352 148 | 0.000 % |
17.24/17.33 c | 37473 | 2560 301927 1018662 | 2147483647 37473 148 | 0.003 % |
17.24/17.39 c | 37606 | 2560 301927 1018662 | 2147483647 37606 148 | 0.000 % |
17.34/17.44 c | 37753 | 2560 301927 1018662 | 2147483647 37753 148 | 0.004 % |
17.44/17.54 c | 37913 | 2560 301927 1018662 | 2147483647 37913 148 | 0.004 % |
17.54/17.62 c | 38089 | 2560 301927 1018662 | 2147483647 38089 147 | 0.000 % |
17.63/17.74 c | 38282 | 2560 301927 1018662 | 2147483647 38282 148 | 0.000 % |
17.73/17.82 c | 38494 | 2560 301927 1018662 | 2147483647 38494 148 | 0.000 % |
17.83/17.94 c | 38728 | 2560 301927 1018662 | 2147483647 38728 148 | 0.000 % |
17.93/18.07 c | 38984 | 2560 301927 1018662 | 2147483647 38984 148 | 0.003 % |
18.13/18.23 c | 39265 | 2560 301927 1018662 | 2147483647 39265 148 | 0.004 % |
18.33/18.40 c | 39574 | 2560 301927 1018662 | 2147483647 39574 148 | 0.000 % |
18.43/18.57 c | 39915 | 2560 301927 1018662 | 2147483647 39915 148 | 0.000 % |
18.63/18.76 c | 40288 | 2560 301927 1018662 | 2147483647 40288 148 | 0.000 % |
18.93/19.03 c | 40697 | 2560 301927 1018662 | 2147483647 40697 148 | 0.003 % |
19.13/19.27 c | 41146 | 2560 301927 1018662 | 2147483647 41146 148 | 0.004 % |
19.43/19.57 c | 41639 | 2560 301927 1018662 | 2147483647 41639 148 | 0.004 % |
19.73/19.85 c | 42181 | 2560 301927 1018662 | 2147483647 42181 147 | 0.004 % |
20.03/20.14 c | 42777 | 2560 301927 1018662 | 2147483647 42777 147 | 0.004 % |
20.13/20.20 c | 42878 | 2560 301927 1018662 | 2147483647 42878 147 | 0.004 % |
20.13/20.26 c | 42991 | 2560 301927 1018662 | 2147483647 42991 147 | 0.000 % |
20.23/20.33 c | 43116 | 2560 301927 1018662 | 2147483647 43116 147 | 0.005 % |
20.23/20.39 c | 43249 | 2560 301927 1018662 | 2147483647 43249 147 | 0.005 % |
20.33/20.47 c | 43395 | 2560 301927 1018662 | 2147483647 43395 146 | 0.005 % |
20.43/20.58 c | 43557 | 2560 301927 1018662 | 2147483647 43557 146 | 0.004 % |
20.53/20.67 c | 43733 | 2560 301927 1018662 | 2147483647 43733 146 | 0.000 % |
20.63/20.78 c | 43926 | 2560 301927 1018662 | 2147483647 43926 146 | 0.003 % |
20.84/20.92 c | 44141 | 2560 301927 1018662 | 2147483647 44141 146 | 0.000 % |
20.93/21.05 c | 44374 | 2560 301927 1018662 | 2147483647 44374 146 | 0.000 % |
21.03/21.19 c | 44632 | 2560 301927 1018662 | 2147483647 44632 146 | 0.004 % |
21.23/21.39 c | 44913 | 2560 301927 1018662 | 2147483647 44913 146 | 0.003 % |
21.43/21.58 c | 45223 | 2560 301927 1018662 | 2147483647 45223 146 | 0.000 % |
21.63/21.76 c | 45563 | 2560 301927 1018662 | 2147483647 45563 146 | 0.000 % |
21.83/21.96 c | 45935 | 2560 301927 1018662 | 2147483647 45935 146 | 0.000 % |
22.12/22.22 c | 46344 | 2560 301927 1018662 | 2147483647 46344 146 | 0.003 % |
22.42/22.51 c | 46793 | 2560 301927 1018662 | 2147483647 46793 146 | 0.004 % |
22.62/22.79 c | 47286 | 2560 301927 1018662 | 2147483647 47286 146 | 0.000 % |
22.93/23.07 c | 47828 | 2560 301927 1018662 | 2147483647 47828 146 | 0.000 % |
23.23/23.38 c | 48424 | 2560 301927 1018662 | 2147483647 48424 146 | 0.000 % |
23.63/23.74 c | 49080 | 2560 301927 1018662 | 2147483647 49080 146 | 0.004 % |
23.73/23.84 c | 49180 | 2560 301927 1018662 | 2147483647 49180 146 | 0.000 % |
23.83/23.92 c | 49290 | 2560 301927 1018662 | 2147483647 49290 146 | 0.000 % |
23.83/23.98 c | 49411 | 2560 301927 1018662 | 2147483647 49411 146 | 0.004 % |
23.93/24.06 c | 49544 | 2560 301927 1018662 | 2147483647 49544 146 | 0.000 % |
24.03/24.18 c | 49693 | 2560 301927 1018662 | 2147483647 49693 147 | 0.000 % |
24.13/24.29 c | 49854 | 2560 301927 1018662 | 2147483647 49854 146 | 0.000 % |
24.33/24.41 c | 50030 | 2560 301927 1018662 | 2147483647 50030 146 | 0.004 % |
24.43/24.53 c | 50223 | 2560 301927 1018662 | 2147483647 50223 147 | 0.000 % |
24.53/24.65 c | 50435 | 2560 301927 1018662 | 2147483647 50435 146 | 0.000 % |
24.63/24.75 c | 50668 | 2560 301927 1018662 | 2147483647 50668 146 | 0.005 % |
24.73/24.88 c | 50924 | 2560 301927 1018662 | 2147483647 50924 146 | 0.004 % |
24.93/25.03 c | 51205 | 2560 301927 1018662 | 2147483647 51205 146 | 0.003 % |
25.03/25.19 c | 51516 | 2560 301927 1018662 | 2147483647 51516 146 | 0.003 % |
25.32/25.43 c | 51855 | 2560 301927 1018662 | 2147483647 51855 147 | 0.000 % |
25.52/25.63 c | 52227 | 2560 301927 1018662 | 2147483647 52227 147 | 0.000 % |
25.72/25.84 c | 52636 | 2560 301927 1018662 | 2147483647 52636 147 | 0.000 % |
26.02/26.14 c | 53086 | 2560 301927 1018662 | 2147483647 53086 147 | 0.003 % |
26.42/26.50 c | 53580 | 2560 301927 1018662 | 2147483647 53580 147 | 0.000 % |
26.73/26.89 c | 54126 | 2560 301927 1018662 | 2147483647 54126 148 | 0.000 % |
27.13/27.22 c | 54722 | 2560 301927 1018662 | 2147483647 54722 149 | 0.004 % |
27.53/27.63 c | 55378 | 2560 301927 1018662 | 2147483647 55378 148 | 0.004 % |
28.02/28.12 c | 56100 | 2560 301927 1018662 | 2147483647 56100 148 | 0.000 % |
28.02/28.19 c | 56202 | 2560 301927 1018662 | 2147483647 56202 148 | 0.004 % |
28.12/28.27 c | 56314 | 2560 301927 1018662 | 2147483647 56314 148 | 0.000 % |
28.22/28.34 c | 56437 | 2560 301927 1018662 | 2147483647 56437 148 | 0.000 % |
28.32/28.43 c | 56574 | 2560 301927 1018662 | 2147483647 56574 148 | 0.000 % |
28.43/28.52 c | 56720 | 2560 301927 1018662 | 2147483647 56720 148 | 0.000 % |
28.53/28.61 c | 56880 | 2560 301927 1018662 | 2147483647 56880 148 | 0.004 % |
28.62/28.74 c | 57057 | 2560 301927 1018662 | 2147483647 57057 148 | 0.000 % |
28.72/28.88 c | 57250 | 2560 301927 1018662 | 2147483647 57250 148 | 0.000 % |
28.92/29.03 c | 57462 | 2560 301927 1018662 | 2147483647 57462 148 | 0.000 % |
29.02/29.15 c | 57698 | 2560 301927 1018662 | 2147483647 57698 148 | 0.000 % |
29.22/29.31 c | 57954 | 2560 301927 1018662 | 2147483647 57954 148 | 0.000 % |
29.32/29.49 c | 58236 | 2560 301927 1018662 | 2147483647 58236 148 | 0.003 % |
29.52/29.66 c | 58549 | 2560 301927 1018662 | 2147483647 58549 148 | 0.004 % |
29.82/29.90 c | 58888 | 2560 301927 1018662 | 2147483647 58888 149 | 0.000 % |
30.02/30.11 c | 59260 | 2560 301927 1018662 | 2147483647 59260 149 | 0.000 % |
30.22/30.39 c | 59670 | 2560 301927 1018662 | 2147483647 59670 149 | 0.003 % |
30.53/30.64 c | 60123 | 2560 301927 1018662 | 2147483647 60123 148 | 0.000 % |
30.83/30.97 c | 60617 | 2560 301927 1018662 | 2147483647 60617 148 | 0.004 % |
31.22/31.36 c | 61161 | 2560 301927 1018662 | 2147483647 61161 148 | 0.005 % |
31.62/31.78 c | 61757 | 2560 301927 1018662 | 2147483647 61757 148 | 0.003 % |
32.12/32.29 c | 62412 | 2560 301927 1018662 | 2147483647 62412 147 | 0.003 % |
32.72/32.81 c | 63134 | 2560 301927 1018662 | 2147483647 63134 147 | 0.004 % |
33.12/33.29 c | 63926 | 2560 301927 1018662 | 2147483647 63926 146 | 0.004 % |
33.22/33.35 c | 64026 | 2560 301927 1018662 | 2147483647 64026 146 | 0.004 % |
33.32/33.46 c | 64137 | 2560 301927 1018662 | 2147483647 64137 146 | 0.000 % |
33.42/33.54 c | 64260 | 2560 301927 1018662 | 2147483647 64260 146 | 0.004 % |
33.52/33.66 c | 64393 | 2560 301927 1018662 | 2147483647 64393 146 | 0.000 % |
33.62/33.76 c | 64540 | 2560 301927 1018662 | 2147483647 64540 146 | 0.000 % |
33.72/33.90 c | 64700 | 2560 301927 1018662 | 2147483647 64700 146 | 0.000 % |
33.92/34.02 c | 64877 | 2560 301927 1018662 | 2147483647 64877 146 | 0.000 % |
34.02/34.14 c | 65070 | 2560 301927 1018662 | 2147483647 65070 146 | 0.000 % |
34.22/34.34 c | 65282 | 2560 301927 1018662 | 2147483647 65282 146 | 0.000 % |
34.42/34.50 c | 65515 | 2560 301927 1018662 | 2147483647 65515 146 | 0.005 % |
34.52/34.69 c | 65771 | 2560 301927 1018662 | 2147483647 65771 147 | 0.000 % |
34.72/34.89 c | 66052 | 2560 301927 1018662 | 2147483647 66052 147 | 0.000 % |
35.02/35.14 c | 66362 | 2560 301927 1018662 | 2147483647 66362 147 | 0.000 % |
35.21/35.37 c | 66702 | 2560 301927 1018662 | 2147483647 66702 147 | 0.000 % |
35.52/35.64 c | 67075 | 2560 301927 1018662 | 2147483647 67075 147 | 0.003 % |
35.82/35.92 c | 67485 | 2560 301927 1018662 | 2147483647 67485 148 | 0.000 % |
36.02/36.19 c | 67934 | 2560 301927 1018662 | 2147483647 67934 148 | 0.000 % |
36.42/36.55 c | 68429 | 2560 301927 1018662 | 2147483647 68429 148 | 0.000 % |
36.82/36.96 c | 68971 | 2560 301927 1018662 | 2147483647 68971 149 | 0.003 % |
37.22/37.32 c | 69568 | 2560 301927 1018662 | 2147483647 69568 149 | 0.000 % |
37.72/37.88 c | 70223 | 2560 301927 1018662 | 2147483647 70223 149 | 0.000 % |
38.33/38.42 c | 70943 | 2560 301927 1018662 | 2147483647 70943 150 | 0.000 % |
38.82/38.94 c | 71735 | 2560 301927 1018662 | 2147483647 71735 150 | 0.000 % |
39.53/39.64 c | 72608 | 2560 301927 1018662 | 2147483647 72608 150 | 0.004 % |
39.62/39.72 c | 72708 | 2560 301927 1018662 | 2147483647 72708 150 | 0.000 % |
39.62/39.79 c | 72818 | 2560 301927 1018662 | 2147483647 72818 150 | 0.004 % |
39.72/39.89 c | 72942 | 2560 301927 1018662 | 2147483647 72942 150 | 0.000 % |
39.82/39.99 c | 73075 | 2560 301927 1018662 | 2147483647 73075 150 | 0.004 % |
40.02/40.12 c | 73221 | 2560 301927 1018662 | 2147483647 73221 150 | 0.000 % |
40.12/40.26 c | 73381 | 2560 301927 1018662 | 2147483647 73381 150 | 0.004 % |
40.22/40.37 c | 73557 | 2560 301927 1018662 | 2147483647 73557 150 | 0.000 % |
40.42/40.57 c | 73753 | 2560 301927 1018662 | 2147483647 73753 150 | 0.000 % |
40.62/40.71 c | 73966 | 2560 301927 1018662 | 2147483647 73966 150 | 0.000 % |
40.81/40.93 c | 74200 | 2560 301927 1018662 | 2147483647 74200 150 | 0.000 % |
41.01/41.13 c | 74457 | 2560 301927 1018662 | 2147483647 74457 150 | 0.003 % |
41.21/41.35 c | 74738 | 2560 301927 1018662 | 2147483647 74738 150 | 0.000 % |
41.41/41.57 c | 75047 | 2560 301927 1018662 | 2147483647 75047 150 | 0.000 % |
41.72/41.84 c | 75387 | 2560 301927 1018662 | 2147483647 75387 150 | 0.000 % |
42.02/42.14 c | 75759 | 2560 301927 1018662 | 2147483647 75759 150 | 0.004 % |
42.42/42.51 c | 76168 | 2560 301927 1018662 | 2147483647 76168 151 | 0.000 % |
42.72/42.83 c | 76617 | 2560 301927 1018662 | 2147483647 76617 151 | 0.000 % |
43.22/43.30 c | 77112 | 2560 301927 1018662 | 2147483647 77112 151 | 0.000 % |
43.62/43.76 c | 77655 | 2560 301927 1018662 | 2147483647 77655 151 | 0.000 % |
44.12/44.21 c | 78251 | 2560 301927 1018662 | 2147483647 78251 151 | 0.000 % |
44.61/44.75 c | 78910 | 2560 301927 1018662 | 2147483647 78910 151 | 0.000 % |
45.21/45.35 c | 79630 | 2560 301927 1018662 | 2147483647 79630 151 | 0.000 % |
45.91/46.00 c | 80423 | 2560 301927 1018662 | 2147483647 80423 151 | 0.000 % |
46.51/46.61 c | 81295 | 2560 301927 1018662 | 2147483647 81295 150 | 0.004 % |
47.21/47.34 c | 82253 | 2560 301927 1018662 | 2147483647 82253 150 | 0.004 % |
47.32/47.42 c | 82353 | 2560 301927 1018662 | 2147483647 82353 150 | 0.004 % |
47.42/47.52 c | 82463 | 2560 301927 1018662 | 2147483647 82463 150 | 0.004 % |
47.52/47.62 c | 82585 | 2560 301927 1018662 | 2147483647 82585 150 | 0.000 % |
47.62/47.78 c | 82718 | 2560 301927 1018662 | 2147483647 82718 150 | 0.000 % |
47.72/47.90 c | 82866 | 2560 301927 1018662 | 2147483647 82866 150 | 0.000 % |
47.92/48.01 c | 83027 | 2560 301927 1018662 | 2147483647 83027 150 | 0.000 % |
48.02/48.16 c | 83204 | 2560 301927 1018662 | 2147483647 83204 150 | 0.000 % |
48.22/48.31 c | 83397 | 2560 301927 1018662 | 2147483647 83397 149 | 0.000 % |
48.32/48.48 c | 83609 | 2560 301927 1018662 | 2147483647 83609 149 | 0.003 % |
48.52/48.66 c | 83843 | 2560 301927 1018662 | 2147483647 83843 149 | 0.004 % |
48.71/48.85 c | 84099 | 2560 301927 1018662 | 2147483647 84099 149 | 0.000 % |
49.01/49.13 c | 84380 | 2560 301927 1018662 | 2147483647 84380 149 | 0.000 % |
49.21/49.36 c | 84690 | 2560 301927 1018662 | 2147483647 84690 149 | 0.000 % |
49.51/49.66 c | 85029 | 2560 301927 1018662 | 2147483647 85029 149 | 0.000 % |
49.91/50.02 c | 85401 | 2560 301927 1018662 | 2147483647 85401 150 | 0.000 % |
50.21/50.36 c | 85810 | 2560 301927 1018662 | 2147483647 85810 150 | 0.004 % |
50.61/50.73 c | 86261 | 2560 301927 1018662 | 2147483647 86261 150 | 0.000 % |
51.00/51.15 c | 86754 | 2560 301927 1018662 | 2147483647 86754 150 | 0.003 % |
51.40/51.57 c | 87298 | 2560 301927 1018662 | 2147483647 87298 150 | 0.000 % |
51.90/52.07 c | 87896 | 2560 301927 1018662 | 2147483647 87896 150 | 0.004 % |
52.50/52.64 c | 88552 | 2560 301927 1018662 | 2147483647 88552 149 | 0.004 % |
53.21/53.36 c | 89272 | 2560 301927 1018662 | 2147483647 89272 150 | 0.000 % |
53.71/53.89 c | 90066 | 2560 301927 1018662 | 2147483647 90066 150 | 0.000 % |
54.60/54.74 c | 90938 | 2560 301927 1018662 | 2147483647 90938 151 | 0.000 % |
55.40/55.50 c | 91897 | 2560 301927 1018662 | 2147483647 91897 151 | 0.000 % |
56.20/56.31 c | 92952 | 2560 301927 1018662 | 2147483647 92952 151 | 0.000 % |
56.30/56.42 c | 93053 | 2560 301927 1018662 | 2147483647 93053 151 | 0.003 % |
56.40/56.54 c | 93167 | 2560 301927 1018662 | 2147483647 93167 151 | 0.000 % |
56.50/56.67 c | 93288 | 2560 301927 1018662 | 2147483647 93288 151 | 0.000 % |
56.60/56.79 c | 93424 | 2560 301927 1018662 | 2147483647 93424 151 | 0.000 % |
56.80/56.95 c | 93570 | 2560 301927 1018662 | 2147483647 93570 151 | 0.000 % |
56.90/57.10 c | 93732 | 2560 301927 1018662 | 2147483647 93732 151 | 0.000 % |
57.10/57.24 c | 93910 | 2560 301927 1018662 | 2147483647 93910 151 | 0.000 % |
57.30/57.42 c | 94105 | 2560 301927 1018662 | 2147483647 94105 151 | 0.000 % |
57.50/57.65 c | 94318 | 2560 301927 1018662 | 2147483647 94318 151 | 0.000 % |
57.70/57.86 c | 94551 | 2560 301927 1018662 | 2147483647 94551 151 | 0.000 % |
58.00/58.11 c | 94811 | 2560 301927 1018662 | 2147483647 94811 152 | 0.000 % |
58.20/58.35 c | 95092 | 2560 301927 1018662 | 2147483647 95092 151 | 0.000 % |
58.50/58.69 c | 95402 | 2560 301927 1018662 | 2147483647 95402 152 | 0.000 % |
58.90/59.00 c | 95745 | 2560 301927 1018662 | 2147483647 95745 152 | 0.000 % |
59.21/59.35 c | 96117 | 2560 301927 1018662 | 2147483647 96117 152 | 0.003 % |
59.61/59.75 c | 96527 | 2560 301927 1018662 | 2147483647 96527 152 | 0.000 % |
60.00/60.15 c | 96977 | 2560 301927 1018662 | 2147483647 96977 152 | 0.000 % |
60.41/60.57 c | 97471 | 2560 301927 1018662 | 2147483647 97471 152 | 0.004 % |
61.00/61.10 c | 98013 | 2560 301927 1018662 | 2147483647 98013 152 | 0.004 % |
61.60/61.74 c | 98610 | 2560 301927 1018662 | 2147483647 98610 152 | 0.000 % |
62.20/62.30 c | 99265 | 2560 301927 1018662 | 2147483647 99265 152 | 0.000 % |
62.79/62.93 c | 99986 | 2560 301927 1018662 | 2147483647 99986 152 | 0.004 % |
63.49/63.61 c | 100779 | 2560 301927 1018662 | 2147483647 100779 152 | 0.004 % |
64.10/64.29 c | 101650 | 2560 301927 1018662 | 2147483647 101650 152 | 0.000 % |
65.00/65.11 c | 102609 | 2560 301927 1018662 | 2147483647 102609 152 | 0.000 % |
65.80/65.95 c | 103664 | 2560 301927 1018662 | 2147483647 103664 152 | 0.004 % |
66.79/66.98 c | 104822 | 2560 301927 1018662 | 2147483647 104822 151 | 0.003 % |
66.90/67.07 c | 104923 | 2560 301927 1018662 | 2147483647 104923 151 | 0.003 % |
67.00/67.15 c | 105033 | 2560 301927 1018662 | 2147483647 105033 151 | 0.005 % |
67.20/67.32 c | 105154 | 2560 301927 1018662 | 2147483647 105154 151 | 0.000 % |
67.30/67.46 c | 105287 | 2560 301927 1018662 | 2147483647 105287 151 | 0.000 % |
67.40/67.59 c | 105433 | 2560 301927 1018662 | 2147483647 105433 151 | 0.000 % |
67.60/67.74 c | 105593 | 2560 301927 1018662 | 2147483647 105593 151 | 0.000 % |
67.80/67.94 c | 105769 | 2560 301927 1018662 | 2147483647 105769 151 | 0.000 % |
68.00/68.16 c | 105963 | 2560 301927 1018662 | 2147483647 105963 151 | 0.000 % |
68.20/68.38 c | 106178 | 2560 301927 1018662 | 2147483647 106178 151 | 0.004 % |
68.40/68.55 c | 106411 | 2560 301927 1018662 | 2147483647 106411 151 | 0.000 % |
68.70/68.81 c | 106668 | 2560 301927 1018662 | 2147483647 106668 151 | 0.004 % |
68.89/69.08 c | 106953 | 2560 301927 1018662 | 2147483647 106953 151 | 0.004 % |
69.20/69.36 c | 107264 | 2560 301927 1018662 | 2147483647 107264 151 | 0.000 % |
69.49/69.67 c | 107605 | 2560 301927 1018662 | 2147483647 107605 151 | 0.005 % |
69.89/70.02 c | 107977 | 2560 301927 1018662 | 2147483647 107977 151 | 0.005 % |
70.29/70.40 c | 108386 | 2560 301927 1018662 | 2147483647 108386 151 | 0.003 % |
70.69/70.85 c | 108836 | 2560 301927 1018662 | 2147483647 108836 151 | 0.000 % |
71.09/71.27 c | 109329 | 2560 301927 1018662 | 2147483647 109329 151 | 0.004 % |
71.59/71.71 c | 109874 | 2560 301927 1018662 | 2147483647 109874 151 | 0.004 % |
71.99/72.17 c | 110470 | 2560 301927 1018662 | 2147483647 110470 151 | 0.004 % |
72.50/72.70 c | 111125 | 2560 301927 1018662 | 2147483647 111125 151 | 0.000 % |
73.20/73.32 c | 111849 | 2560 301927 1018662 | 2147483647 111849 151 | 0.004 % |
73.90/74.05 c | 112641 | 2560 301927 1018662 | 2147483647 112641 151 | 0.000 % |
74.70/74.85 c | 113512 | 2560 301927 1018662 | 2147483647 113512 151 | 0.000 % |
75.80/75.93 c | 114470 | 2560 301927 1018662 | 2147483647 114470 151 | 0.000 % |
76.89/77.07 c | 115524 | 2560 301927 1018662 | 2147483647 115524 152 | 0.004 % |
78.29/78.47 c | 116685 | 2560 301927 1018662 | 2147483647 116685 153 | 0.000 % |
79.59/79.80 c | 117958 | 2560 301927 1018662 | 2147483647 117958 153 | 0.000 % |
79.79/79.92 c | 118058 | 2560 301927 1018662 | 2147483647 118058 153 | 0.000 % |
79.89/80.05 c | 118170 | 2560 301927 1018662 | 2147483647 118170 153 | 0.000 % |
79.99/80.18 c | 118293 | 2560 301927 1018662 | 2147483647 118293 153 | 0.000 % |
80.20/80.35 c | 118429 | 2560 301927 1018662 | 2147483647 118429 153 | 0.004 % |
80.39/80.51 c | 118575 | 2560 301927 1018662 | 2147483647 118575 153 | 0.000 % |
80.59/80.70 c | 118735 | 2560 301927 1018662 | 2147483647 118735 153 | 0.000 % |
80.79/80.92 c | 118911 | 2560 301927 1018662 | 2147483647 118911 153 | 0.000 % |
80.99/81.11 c | 119106 | 2560 301927 1018662 | 2147483647 119106 153 | 0.000 % |
81.19/81.33 c | 119318 | 2560 301927 1018662 | 2147483647 119318 153 | 0.000 % |
81.39/81.58 c | 119552 | 2560 301927 1018662 | 2147483647 119552 153 | 0.000 % |
81.78/81.91 c | 119809 | 2560 301927 1018662 | 2147483647 119809 153 | 0.000 % |
81.98/82.19 c | 120090 | 2560 301927 1018662 | 2147483647 120090 153 | 0.000 % |
82.39/82.55 c | 120400 | 2560 301927 1018662 | 2147483647 120400 153 | 0.000 % |
82.78/82.92 c | 120741 | 2560 301927 1018662 | 2147483647 120741 154 | 0.000 % |
83.08/83.29 c | 121114 | 2560 301927 1018662 | 2147483647 121114 154 | 0.000 % |
83.58/83.73 c | 121523 | 2560 301927 1018662 | 2147483647 121523 153 | 0.000 % |
84.08/84.29 c | 121975 | 2560 301927 1018662 | 2147483647 121975 154 | 0.000 % |
84.60/84.78 c | 122469 | 2560 301927 1018662 | 2147483647 122469 154 | 0.004 % |
85.29/85.41 c | 123014 | 2560 301927 1018662 | 2147483647 123014 154 | 0.004 % |
85.99/86.17 c | 123610 | 2560 301927 1018662 | 2147483647 123610 154 | 0.000 % |
86.69/86.88 c | 124266 | 2560 301927 1018662 | 2147483647 124266 154 | 0.000 % |
87.49/87.67 c | 124987 | 2560 301927 1018662 | 2147483647 124987 154 | 0.000 % |
88.28/88.46 c | 125779 | 2560 301927 1018662 | 2147483647 125779 154 | 0.004 % |
89.08/89.21 c | 126651 | 2560 301927 1018662 | 2147483647 126651 154 | 0.004 % |
89.88/90.08 c | 127610 | 2560 301927 1018662 | 2147483647 127610 154 | 0.004 % |
91.18/91.32 c | 128663 | 2560 301927 1018662 | 2147483647 128663 153 | 0.004 % |
92.49/92.61 c | 129821 | 2560 301927 1018662 | 2147483647 129821 153 | 0.004 % |
93.89/94.03 c | 131096 | 2560 301927 1018662 | 2147483647 131096 153 | 0.004 % |
95.98/96.14 c | 132498 | 2560 301927 1018662 | 2147483647 132498 154 | 0.000 % |
96.08/96.25 c | 132598 | 2560 301927 1018662 | 2147483647 132598 154 | 0.000 % |
96.18/96.39 c | 132708 | 2560 301927 1018662 | 2147483647 132708 154 | 0.000 % |
96.38/96.55 c | 132829 | 2560 301927 1018662 | 2147483647 132829 154 | 0.000 % |
96.48/96.69 c | 132962 | 2560 301927 1018662 | 2147483647 132962 154 | 0.003 % |
96.68/96.89 c | 133110 | 2560 301927 1018662 | 2147483647 133110 154 | 0.000 % |
96.88/97.09 c | 133273 | 2560 301927 1018662 | 2147483647 133273 154 | 0.000 % |
97.18/97.33 c | 133450 | 2560 301927 1018662 | 2147483647 133450 154 | 0.000 % |
97.37/97.52 c | 133647 | 2560 301927 1018662 | 2147483647 133647 154 | 0.000 % |
97.57/97.72 c | 133859 | 2560 301927 1018662 | 2147483647 133859 154 | 0.000 % |
97.78/97.94 c | 134092 | 2560 301927 1018662 | 2147483647 134092 154 | 0.005 % |
98.17/98.31 c | 134350 | 2560 301927 1018662 | 2147483647 134350 154 | 0.000 % |
98.47/98.64 c | 134632 | 2560 301927 1018662 | 2147483647 134632 154 | 0.000 % |
98.77/98.98 c | 134941 | 2560 301927 1018662 | 2147483647 134941 154 | 0.000 % |
99.17/99.32 c | 135281 | 2560 301927 1018662 | 2147483647 135281 154 | 0.004 % |
99.47/99.70 c | 135654 | 2560 301927 1018662 | 2147483647 135654 154 | 0.000 % |
99.97/100.11 c | 136065 | 2560 301927 1018662 | 2147483647 136065 154 | 0.004 % |
100.57/100.72 c | 136514 | 2560 301927 1018662 | 2147483647 136514 154 | 0.000 % |
101.17/101.32 c | 137008 | 2560 301927 1018662 | 2147483647 137008 154 | 0.000 % |
101.87/102.08 c | 137552 | 2560 301927 1018662 | 2147483647 137552 154 | 0.000 % |
102.67/102.83 c | 138148 | 2560 301927 1018662 | 2147483647 138148 155 | 0.000 % |
103.37/103.57 c | 138803 | 2560 301927 1018662 | 2147483647 138803 155 | 0.000 % |
104.27/104.43 c | 139525 | 2560 301927 1018662 | 2147483647 139525 155 | 0.003 % |
105.27/105.50 c | 140317 | 2560 301927 1018662 | 2147483647 140317 155 | 0.000 % |
106.17/106.37 c | 141188 | 2560 301927 1018662 | 2147483647 141188 155 | 0.000 % |
107.37/107.54 c | 142146 | 2560 301927 1018662 | 2147483647 142146 155 | 0.000 % |
108.87/109.04 c | 143199 | 2560 301927 1018662 | 2147483647 143199 155 | 0.004 % |
110.17/110.39 c | 144357 | 2560 301927 1018662 | 2147483647 144357 155 | 0.000 % |
111.57/111.73 c | 145630 | 2560 301927 1018662 | 2147483647 145630 155 | 0.000 % |
113.27/113.40 c | 147035 | 2560 301927 1018662 | 2147483647 147035 155 | 0.004 % |
115.16/115.38 c | 148577 | 2560 301927 1018662 | 2147483647 148577 156 | 0.000 % |
115.37/115.58 c | 148680 | 2560 301927 1018662 | 2147483647 148680 156 | 0.000 % |
115.46/115.68 c | 148792 | 2560 301927 1018662 | 2147483647 148792 156 | 0.000 % |
115.66/115.85 c | 148913 | 2560 301927 1018662 | 2147483647 148913 156 | 0.000 % |
115.86/116.02 c | 149046 | 2560 301927 1018662 | 2147483647 149046 156 | 0.000 % |
116.06/116.26 c | 149194 | 2560 301927 1018662 | 2147483647 149194 156 | 0.000 % |
116.26/116.47 c | 149355 | 2560 301927 1018662 | 2147483647 149355 156 | 0.000 % |
116.47/116.65 c | 149531 | 2560 301927 1018662 | 2147483647 149531 156 | 0.000 % |
116.76/116.93 c | 149724 | 2560 301927 1018662 | 2147483647 149724 156 | 0.000 % |
117.06/117.20 c | 149936 | 2560 301927 1018662 | 2147483647 149936 156 | 0.000 % |
117.26/117.47 c | 150172 | 2560 301927 1018662 | 2147483647 150172 156 | 0.004 % |
117.56/117.79 c | 150429 | 2560 301927 1018662 | 2147483647 150429 156 | 0.000 % |
117.96/118.11 c | 150712 | 2560 301927 1018662 | 2147483647 150712 156 | 0.003 % |
118.36/118.55 c | 151022 | 2560 301927 1018662 | 2147483647 151022 156 | 0.004 % |
118.86/119.09 c | 151361 | 2560 301927 1018662 | 2147483647 151361 156 | 0.000 % |
119.47/119.62 c | 151735 | 2560 301927 1018662 | 2147483647 151735 156 | 0.000 % |
119.97/120.11 c | 152146 | 2560 301927 1018662 | 2147483647 152146 156 | 0.000 % |
120.46/120.61 c | 152595 | 2560 301927 1018662 | 2147483647 152595 156 | 0.000 % |
121.16/121.38 c | 153088 | 2560 301927 1018662 | 2147483647 153088 156 | 0.000 % |
121.86/122.09 c | 153630 | 2560 301927 1018662 | 2147483647 153630 156 | 0.000 % |
122.46/122.65 c | 154228 | 2560 301927 1018662 | 2147483647 154228 156 | 0.000 % |
123.26/123.42 c | 154886 | 2560 301927 1018662 | 2147483647 154886 156 | 0.000 % |
124.27/124.40 c | 155606 | 2560 301927 1018662 | 2147483647 155606 156 | 0.000 % |
125.27/125.46 c | 156398 | 2560 301927 1018662 | 2147483647 156398 156 | 0.000 % |
126.46/126.60 c | 157269 | 2560 301927 1018662 | 2147483647 157269 156 | 0.004 % |
127.46/127.66 c | 158228 | 2560 301927 1018662 | 2147483647 158228 156 | 0.000 % |
128.86/129.05 c | 159281 | 2560 301927 1018662 | 2147483647 159281 156 | 0.004 % |
130.46/130.66 c | 160439 | 2560 301927 1018662 | 2147483647 160439 156 | 0.000 % |
131.96/132.15 c | 161713 | 2560 301927 1018662 | 2147483647 161713 156 | 0.004 % |
133.66/133.82 c | 163113 | 2560 301927 1018662 | 2147483647 163113 156 | 0.004 % |
135.46/135.68 c | 164653 | 2560 301927 1018662 | 2147483647 164653 156 | 0.004 % |
137.76/137.94 c | 166347 | 2560 301927 1018662 | 2147483647 166347 155 | 0.000 % |
137.86/138.08 c | 166447 | 2560 301927 1018662 | 2147483647 166447 155 | 0.005 % |
138.06/138.24 c | 166559 | 2560 301927 1018662 | 2147483647 166559 155 | 0.005 % |
138.36/138.52 c | 166680 | 2560 301927 1018662 | 2147483647 166680 155 | 0.000 % |
138.56/138.73 c | 166813 | 2560 301927 1018662 | 2147483647 166813 155 | 0.000 % |
138.76/138.97 c | 166960 | 2560 301927 1018662 | 2147483647 166960 156 | 0.000 % |
138.96/139.19 c | 167121 | 2560 301927 1018662 | 2147483647 167121 156 | 0.000 % |
139.26/139.42 c | 167297 | 2560 301927 1018662 | 2147483647 167297 156 | 0.000 % |
139.46/139.66 c | 167490 | 2560 301927 1018662 | 2147483647 167490 156 | 0.000 % |
139.76/139.98 c | 167702 | 2560 301927 1018662 | 2147483647 167702 156 | 0.003 % |
140.16/140.31 c | 167935 | 2560 301927 1018662 | 2147483647 167935 156 | 0.000 % |
140.56/140.75 c | 168192 | 2560 301927 1018662 | 2147483647 168192 156 | 0.000 % |
141.05/141.20 c | 168475 | 2560 301927 1018662 | 2147483647 168475 156 | 0.000 % |
141.35/141.58 c | 168787 | 2560 301927 1018662 | 2147483647 168787 155 | 0.003 % |
141.85/142.01 c | 169129 | 2560 301927 1018662 | 2147483647 169129 155 | 0.004 % |
142.35/142.56 c | 169501 | 2560 301927 1018662 | 2147483647 169501 155 | 0.000 % |
142.85/143.10 c | 169914 | 2560 301927 1018662 | 2147483647 169914 156 | 0.000 % |
143.55/143.72 c | 170363 | 2560 301927 1018662 | 2147483647 170363 156 | 0.000 % |
144.16/144.35 c | 170856 | 2560 301927 1018662 | 2147483647 170856 156 | 0.000 % |
144.85/145.04 c | 171400 | 2560 301927 1018662 | 2147483647 171400 156 | 0.000 % |
145.65/145.81 c | 171996 | 2560 301927 1018662 | 2147483647 171996 156 | 0.000 % |
146.45/146.65 c | 172651 | 2560 301927 1018662 | 2147483647 172651 156 | 0.000 % |
147.26/147.49 c | 173371 | 2560 301927 1018662 | 2147483647 173371 156 | 0.005 % |
148.35/148.56 c | 174163 | 2560 301927 1018662 | 2147483647 174163 156 | 0.005 % |
149.45/149.65 c | 175034 | 2560 301927 1018662 | 2147483647 175034 156 | 0.004 % |
150.75/150.98 c | 175993 | 2560 301927 1018662 | 2147483647 175993 156 | 0.000 % |
152.25/152.41 c | 177046 | 2560 301927 1018662 | 2147483647 177046 156 | 0.000 % |
153.85/154.03 c | 178204 | 2560 301927 1018662 | 2147483647 178204 156 | 0.000 % |
155.35/155.54 c | 179477 | 2560 301927 1018662 | 2147483647 179477 157 | 0.004 % |
157.25/157.48 c | 180880 | 2560 301927 1018662 | 2147483647 180880 156 | 0.000 % |
159.45/159.64 c | 182421 | 2560 301927 1018662 | 2147483647 182421 156 | 0.004 % |
162.05/162.28 c | 184116 | 2560 301927 1018662 | 2147483647 184116 156 | 0.004 % |
164.94/165.18 c | 185980 | 2560 301927 1018662 | 2147483647 185980 156 | 0.003 % |
165.14/165.30 c | 186080 | 2560 301927 1018662 | 2147483647 186080 156 | 0.004 % |
165.34/165.53 c | 186190 | 2560 301927 1018662 | 2147483647 186190 156 | 0.000 % |
165.44/165.68 c | 186311 | 2560 301927 1018662 | 2147483647 186311 156 | 0.000 % |
165.64/165.88 c | 186445 | 2560 301927 1018662 | 2147483647 186445 156 | 0.004 % |
165.95/166.14 c | 186591 | 2560 301927 1018662 | 2147483647 186591 156 | 0.000 % |
166.24/166.45 c | 186751 | 2560 301927 1018662 | 2147483647 186751 156 | 0.000 % |
166.54/166.73 c | 186927 | 2560 301927 1018662 | 2147483647 186927 156 | 0.000 % |
166.84/167.01 c | 187120 | 2560 301927 1018662 | 2147483647 187120 156 | 0.000 % |
167.14/167.31 c | 187333 | 2560 301927 1018662 | 2147483647 187333 156 | 0.000 % |
167.44/167.63 c | 187566 | 2560 301927 1018662 | 2147483647 187566 156 | 0.003 % |
167.94/168.16 c | 187822 | 2560 301927 1018662 | 2147483647 187822 156 | 0.000 % |
168.34/168.55 c | 188104 | 2560 301927 1018662 | 2147483647 188104 156 | 0.004 % |
168.74/169.00 c | 188414 | 2560 301927 1018662 | 2147483647 188414 156 | 0.000 % |
169.24/169.44 c | 188753 | 2560 301927 1018662 | 2147483647 188753 156 | 0.000 % |
169.65/169.89 c | 189125 | 2560 301927 1018662 | 2147483647 189125 156 | 0.004 % |
170.25/170.49 c | 189534 | 2560 301927 1018662 | 2147483647 189534 156 | 0.004 % |
170.94/171.14 c | 189983 | 2560 301927 1018662 | 2147483647 189983 156 | 0.000 % |
171.74/171.94 c | 190480 | 2560 301927 1018662 | 2147483647 190480 157 | 0.000 % |
172.45/172.69 c | 191022 | 2560 301927 1018662 | 2147483647 191022 157 | 0.000 % |
173.74/173.93 c | 191619 | 2560 301927 1018662 | 2147483647 191619 157 | 0.000 % |
174.84/175.02 c | 192274 | 2560 301927 1018662 | 2147483647 192274 157 | 0.000 % |
175.74/175.96 c | 192994 | 2560 301927 1018662 | 2147483647 192994 157 | 0.005 % |
176.74/176.99 c | 193787 | 2560 301927 1018662 | 2147483647 193787 157 | 0.000 % |
178.04/178.24 c | 194658 | 2560 301927 1018662 | 2147483647 194658 157 | 0.000 % |
179.54/179.73 c | 195618 | 2560 301927 1018662 | 2147483647 195618 157 | 0.000 % |
181.03/181.23 c | 196671 | 2560 301927 1018662 | 2147483647 196671 157 | 0.000 % |
182.64/182.83 c | 197829 | 2560 301927 1018662 | 2147483647 197829 157 | 0.000 % |
184.43/184.68 c | 199102 | 2560 301927 1018662 | 2147483647 199102 157 | 0.004 % |
186.42/186.62 c | 200502 | 2560 301927 1018662 | 2147483647 200502 157 | 0.000 % |
188.63/188.87 c | 202042 | 2560 301927 1018662 | 2147483647 202042 158 | 0.000 % |
191.82/192.04 c | 203736 | 2560 301927 1018662 | 2147483647 203736 158 | 0.000 % |
194.93/195.11 c | 205602 | 2560 301927 1018662 | 2147483647 205602 159 | 0.000 % |
198.02/198.26 c | 207651 | 2560 301927 1018662 | 2147483647 207651 159 | 0.004 % |
198.22/198.45 c | 207752 | 2560 301927 1018662 | 2147483647 207752 159 | 0.004 % |
198.42/198.64 c | 207867 | 2560 301927 1018662 | 2147483647 207867 159 | 0.000 % |
198.62/198.83 c | 207988 | 2560 301927 1018662 | 2147483647 207988 159 | 0.004 % |
198.82/199.04 c | 208121 | 2560 301927 1018662 | 2147483647 208121 159 | 0.000 % |
199.13/199.30 c | 208268 | 2560 301927 1018662 | 2147483647 208268 159 | 0.004 % |
199.33/199.53 c | 208429 | 2560 301927 1018662 | 2147483647 208429 158 | 0.004 % |
199.63/199.83 c | 208605 | 2560 301927 1018662 | 2147483647 208605 158 | 0.004 % |
200.03/200.21 c | 208799 | 2560 301927 1018662 | 2147483647 208799 158 | 0.004 % |
200.33/200.53 c | 209012 | 2560 301927 1018662 | 2147483647 209012 158 | 0.000 % |
200.83/201.03 c | 209245 | 2560 301927 1018662 | 2147483647 209245 159 | 0.000 % |
201.13/201.37 c | 209501 | 2560 301927 1018662 | 2147483647 209501 159 | 0.000 % |
201.82/202.07 c | 209783 | 2560 301927 1018662 | 2147483647 209783 159 | 0.000 % |
202.42/202.62 c | 210094 | 2560 301927 1018662 | 2147483647 210094 159 | 0.000 % |
203.02/203.27 c | 210433 | 2560 301927 1018662 | 2147483647 210433 159 | 0.000 % |
203.52/203.79 c | 210807 | 2560 301927 1018662 | 2147483647 210807 159 | 0.000 % |
204.22/204.44 c | 211216 | 2560 301927 1018662 | 2147483647 211216 159 | 0.003 % |
204.92/205.13 c | 211665 | 2560 301927 1018662 | 2147483647 211665 159 | 0.000 % |
205.62/205.85 c | 212158 | 2560 301927 1018662 | 2147483647 212158 159 | 0.000 % |
206.52/206.74 c | 212700 | 2560 301927 1018662 | 2147483647 212700 159 | 0.000 % |
207.32/207.56 c | 213298 | 2560 301927 1018662 | 2147483647 213298 159 | 0.003 % |
208.22/208.49 c | 213954 | 2560 301927 1018662 | 2147483647 213954 159 | 0.003 % |
209.32/209.59 c | 214674 | 2560 301927 1018662 | 2147483647 214674 159 | 0.000 % |
210.42/210.67 c | 215466 | 2560 301927 1018662 | 2147483647 215466 159 | 0.000 % |
211.92/212.15 c | 216339 | 2560 301927 1018662 | 2147483647 216339 159 | 0.000 % |
213.42/213.60 c | 217298 | 2560 301927 1018662 | 2147483647 217298 159 | 0.004 % |
214.81/215.03 c | 218351 | 2560 301927 1018662 | 2147483647 218351 159 | 0.000 % |
216.71/216.92 c | 219509 | 2560 301927 1018662 | 2147483647 219509 159 | 0.003 % |
218.72/218.94 c | 220783 | 2560 301927 1018662 | 2147483647 220783 160 | 0.000 % |
221.41/221.60 c | 222183 | 2560 301927 1018662 | 2147483647 222183 160 | 0.000 % |
224.11/224.33 c | 223723 | 2560 301927 1018662 | 2147483647 223723 160 | 0.000 % |
226.61/226.82 c | 225418 | 2560 301927 1018662 | 2147483647 225418 160 | 0.000 % |
229.80/230.01 c | 227281 | 2560 301927 1018662 | 2147483647 227281 160 | 0.004 % |
233.30/233.54 c | 229333 | 2560 301927 1018662 | 2147483647 229333 160 | 0.000 % |
236.70/236.90 c | 231586 | 2560 301927 1018662 | 2147483647 231586 160 | 0.004 % |
236.90/237.10 c | 231688 | 2560 301927 1018662 | 2147483647 231688 160 | 0.000 % |
237.10/237.33 c | 231799 | 2560 301927 1018662 | 2147483647 231799 160 | 0.000 % |
237.31/237.57 c | 231921 | 2560 301927 1018662 | 2147483647 231921 160 | 0.000 % |
237.50/237.74 c | 232054 | 2560 301927 1018662 | 2147483647 232054 160 | 0.000 % |
237.90/238.10 c | 232201 | 2560 301927 1018662 | 2147483647 232201 160 | 0.000 % |
238.20/238.44 c | 232362 | 2560 301927 1018662 | 2147483647 232362 160 | 0.000 % |
238.40/238.70 c | 232540 | 2560 301927 1018662 | 2147483647 232540 160 | 0.000 % |
238.90/239.14 c | 232733 | 2560 301927 1018662 | 2147483647 232733 160 | 0.000 % |
239.20/239.49 c | 232946 | 2560 301927 1018662 | 2147483647 232946 160 | 0.004 % |
239.60/239.86 c | 233181 | 2560 301927 1018662 | 2147483647 233181 160 | 0.004 % |
240.00/240.24 c | 233437 | 2560 301927 1018662 | 2147483647 233437 160 | 0.000 % |
240.50/240.77 c | 233721 | 2560 301927 1018662 | 2147483647 233721 160 | 0.000 % |
241.09/241.32 c | 234031 | 2560 301927 1018662 | 2147483647 234031 160 | 0.000 % |
241.81/242.01 c | 234370 | 2560 301927 1018662 | 2147483647 234370 160 | 0.000 % |
242.40/242.64 c | 234742 | 2560 301927 1018662 | 2147483647 234742 160 | 0.004 % |
243.00/243.21 c | 235151 | 2560 301927 1018662 | 2147483647 235151 160 | 0.003 % |
243.70/243.92 c | 235601 | 2560 301927 1018662 | 2147483647 235601 160 | 0.000 % |
244.50/244.76 c | 236094 | 2560 301927 1018662 | 2147483647 236094 160 | 0.000 % |
245.60/245.83 c | 236638 | 2560 301927 1018662 | 2147483647 236638 160 | 0.000 % |
246.60/246.85 c | 237234 | 2560 301927 1018662 | 2147483647 237234 160 | 0.000 % |
247.79/248.06 c | 237890 | 2560 301927 1018662 | 2147483647 237890 160 | 0.003 % |
248.99/249.28 c | 238611 | 2560 301927 1018662 | 2147483647 238611 160 | 0.000 % |
250.20/250.49 c | 239405 | 2560 301927 1018662 | 2147483647 239405 160 | 0.000 % |
251.90/252.14 c | 240278 | 2560 301927 1018662 | 2147483647 240278 160 | 0.000 % |
253.20/253.47 c | 241238 | 2560 301927 1018662 | 2147483647 241238 160 | 0.004 % |
254.90/255.18 c | 242295 | 2560 301927 1018662 | 2147483647 242295 160 | 0.004 % |
256.79/257.04 c | 243454 | 2560 301927 1018662 | 2147483647 243454 160 | 0.004 % |
258.99/259.21 c | 244730 | 2560 301927 1018662 | 2147483647 244730 160 | 0.000 % |
261.19/261.42 c | 246132 | 2560 301927 1018662 | 2147483647 246132 159 | 0.003 % |
263.99/264.26 c | 247673 | 2560 301927 1018662 | 2147483647 247673 159 | 0.004 % |
266.99/267.24 c | 249367 | 2560 301927 1018662 | 2147483647 249367 159 | 0.004 % |
269.99/270.28 c | 251230 | 2560 301927 1018662 | 250000 251230 159 | 0.004 % |
274.18/274.41 c | 253279 | 2560 301927 1018662 | 250000 224516 156 | 0.000 % |
277.78/278.02 c | 255536 | 2560 301927 1018662 | 250000 226773 155 | 0.000 % |
282.88/283.13 c | 258015 | 2560 301927 1018662 | 250000 229252 157 | 0.000 % |
283.08/283.33 c | 258115 | 2560 301927 1018662 | 250000 229352 157 | 0.000 % |
283.28/283.52 c | 258227 | 2560 301927 1018662 | 250000 229464 157 | 0.000 % |
283.48/283.76 c | 258348 | 2560 301927 1018662 | 250000 229585 157 | 0.000 % |
283.78/284.00 c | 258481 | 2560 301927 1018662 | 250000 229718 157 | 0.000 % |
283.98/284.21 c | 258627 | 2560 301927 1018662 | 250000 229864 157 | 0.004 % |
284.18/284.48 c | 258789 | 2560 301927 1018662 | 250000 230026 157 | 0.000 % |
284.48/284.74 c | 258967 | 2560 301927 1018662 | 250000 230204 157 | 0.000 % |
284.88/285.11 c | 259160 | 2560 301927 1018662 | 250000 230397 157 | 0.000 % |
285.28/285.54 c | 259373 | 2560 301927 1018662 | 250000 230610 157 | 0.000 % |
285.68/285.93 c | 259607 | 2560 301927 1018662 | 250000 230844 157 | 0.000 % |
286.08/286.38 c | 259863 | 2560 301927 1018662 | 250000 231100 157 | 0.000 % |
286.48/286.78 c | 260145 | 2560 301927 1018662 | 231237 231382 157 | 0.000 % |
287.48/287.75 c | 260455 | 2560 301927 1018662 | 231237 203799 154 | 0.004 % |
288.18/288.45 c | 260796 | 2560 301927 1018662 | 231237 204140 154 | 0.000 % |
288.78/289.01 c | 261168 | 2560 301927 1018662 | 231237 204512 154 | 0.000 % |
289.38/289.66 c | 261578 | 2560 301927 1018662 | 231237 204922 154 | 0.004 % |
290.08/290.40 c | 262027 | 2560 301927 1018662 | 231237 205371 155 | 0.000 % |
291.08/291.35 c | 262521 | 2560 301927 1018662 | 231237 205865 155 | 0.000 % |
291.98/292.28 c | 263063 | 2560 301927 1018662 | 231237 206407 155 | 0.000 % |
293.48/293.71 c | 263661 | 2560 301927 1018662 | 231237 207005 155 | 0.000 % |
294.38/294.70 c | 264316 | 2560 301927 1018662 | 231237 207660 155 | 0.000 % |
295.68/295.98 c | 265036 | 2560 301927 1018662 | 231237 208380 155 | 0.000 % |
297.17/297.48 c | 265829 | 2560 301927 1018662 | 231237 209173 156 | 0.000 % |
298.67/298.93 c | 266701 | 2560 301927 1018662 | 231237 210045 156 | 0.000 % |
300.27/300.52 c | 267659 | 2560 301927 1018662 | 231237 211003 156 | 0.000 % |
302.17/302.48 c | 268712 | 2560 301927 1018662 | 231237 212056 156 | 0.003 % |
304.07/304.35 c | 269871 | 2560 301927 1018662 | 231237 213215 156 | 0.000 % |
306.07/306.37 c | 271144 | 2560 301927 1018662 | 2147483647 214488 156 | 0.000 % |
308.67/308.93 c | 272548 | 2560 301927 1018662 | 2147483647 215892 156 | 0.000 % |
311.87/312.14 c | 274093 | 2560 301927 1018662 | 2147483647 217437 156 | 0.000 % |
314.97/315.27 c | 275788 | 2560 301927 1018662 | 2147483647 219132 157 | 0.000 % |
318.37/318.65 c | 277651 | 2560 301927 1018662 | 2147483647 220995 158 | 0.000 % |
322.16/322.48 c | 279700 | 2560 301927 1018662 | 2147483647 223044 158 | 0.000 % |
327.05/327.37 c | 281954 | 2560 301927 1018662 | 223344 197925 157 | 0.000 % |
331.55/331.83 c | 284432 | 2560 301927 1018662 | 223344 200403 157 | 0.000 % |
336.26/336.54 c | 287157 | 2560 301927 1018662 | 223344 203128 158 | 0.000 % |
336.45/336.75 c | 287257 | 2560 301927 1018662 | 223344 203228 158 | 0.000 % |
336.65/336.94 c | 287368 | 2560 301927 1018662 | 223344 203339 158 | 0.000 % |
336.85/337.17 c | 287489 | 2560 301927 1018662 | 223344 203460 158 | 0.000 % |
337.15/337.46 c | 287623 | 2560 301927 1018662 | 223344 203594 158 | 0.000 % |
337.46/337.75 c | 287770 | 2560 301927 1018662 | 223344 203741 158 | 0.000 % |
337.75/338.04 c | 287930 | 2560 301927 1018662 | 223344 203901 158 | 0.000 % |
338.05/338.39 c | 288107 | 2560 301927 1018662 | 223344 204078 158 | 0.004 % |
338.35/338.65 c | 288300 | 2560 301927 1018662 | 223344 204271 158 | 0.000 % |
338.75/339.06 c | 288513 | 2560 301927 1018662 | 223344 204484 158 | 0.000 % |
339.35/339.61 c | 288747 | 2560 301927 1018662 | 223344 204718 159 | 0.000 % |
339.75/340.08 c | 289004 | 2560 301927 1018662 | 223344 204975 159 | 0.000 % |
340.35/340.69 c | 289285 | 2560 301927 1018662 | 223344 205256 159 | 0.000 % |
341.05/341.32 c | 289594 | 2560 301927 1018662 | 223344 205565 159 | 0.000 % |
341.65/341.91 c | 289933 | 2560 301927 1018662 | 223344 205904 159 | 0.000 % |
342.35/342.66 c | 290306 | 2560 301927 1018662 | 205971 206277 159 | 0.000 % |
343.34/343.63 c | 290715 | 2560 301927 1018662 | 205971 180044 155 | 0.000 % |
344.14/344.44 c | 291164 | 2560 301927 1018662 | 205971 180493 155 | 0.000 % |
345.05/345.32 c | 291657 | 2560 301927 1018662 | 205971 180986 155 | 0.000 % |
345.64/345.95 c | 292199 | 2560 301927 1018662 | 205971 181528 155 | 0.000 % |
346.34/346.65 c | 292795 | 2560 301927 1018662 | 205971 182124 155 | 0.000 % |
347.35/347.63 c | 293450 | 2560 301927 1018662 | 205971 182779 155 | 0.003 % |
348.45/348.75 c | 294172 | 2560 301927 1018662 | 205971 183501 155 | 0.003 % |
349.64/349.91 c | 294964 | 2560 301927 1018662 | 205971 184293 155 | 0.000 % |
350.84/351.10 c | 295838 | 2560 301927 1018662 | 205971 185167 155 | 0.004 % |
352.44/352.79 c | 296798 | 2560 301927 1018662 | 205971 186127 155 | 0.000 % |
354.04/354.30 c | 297853 | 2560 301927 1018662 | 205971 187182 155 | 0.004 % |
356.05/356.34 c | 299011 | 2560 301927 1018662 | 205971 188340 155 | 0.004 % |
358.24/358.58 c | 300287 | 2560 301927 1018662 | 189329 189616 156 | 0.000 % |
360.64/360.96 c | 301691 | 2560 301927 1018662 | 189329 171743 154 | 0.000 % |
363.24/363.56 c | 303232 | 2560 301927 1018662 | 189329 173284 154 | 0.000 % |
366.03/366.32 c | 304926 | 2560 301927 1018662 | 189329 174978 154 | 0.000 % |
368.83/369.19 c | 306790 | 2560 301927 1018662 | 189329 176842 154 | 0.000 % |
372.32/372.60 c | 308841 | 2560 301927 1018662 | 189329 178893 154 | 0.000 % |
376.42/376.73 c | 311094 | 2560 301927 1018662 | 2147483647 181146 154 | 0.000 % |
381.02/381.32 c | 313574 | 2560 301927 1018662 | 2147483647 183626 155 | 0.000 % |
386.32/386.70 c | 316299 | 2560 301927 1018662 | 2147483647 186351 157 | 0.000 % |
391.61/391.98 c | 319299 | 2560 301927 1018662 | 2147483647 189351 157 | 0.000 % |
391.81/392.16 c | 319400 | 2560 301927 1018662 | 2147483647 189452 157 | 0.000 % |
392.11/392.40 c | 319511 | 2560 301927 1018662 | 2147483647 189563 157 | 0.000 % |
392.42/392.70 c | 319637 | 2560 301927 1018662 | 2147483647 189689 157 | 0.000 % |
392.61/393.00 c | 319771 | 2560 301927 1018662 | 2147483647 189823 157 | 0.000 % |
392.91/393.27 c | 319919 | 2560 301927 1018662 | 2147483647 189971 157 | 0.004 % |
393.21/393.56 c | 320079 | 2560 301927 1018662 | 2147483647 190131 157 | 0.000 % |
393.61/393.96 c | 320255 | 2560 301927 1018662 | 2147483647 190307 157 | 0.000 % |
394.11/394.48 c | 320448 | 2560 301927 1018662 | 2147483647 190500 157 | 0.000 % |
394.52/394.85 c | 320660 | 2560 301927 1018662 | 2147483647 190712 157 | 0.000 % |
394.91/395.22 c | 320893 | 2560 301927 1018662 | 2147483647 190945 157 | 0.000 % |
395.41/395.73 c | 321149 | 2560 301927 1018662 | 2147483647 191201 157 | 0.003 % |
395.81/396.17 c | 321433 | 2560 301927 1018662 | 2147483647 191485 157 | 0.000 % |
396.41/396.70 c | 321742 | 2560 301927 1018662 | 2147483647 191794 157 | 0.000 % |
396.91/397.22 c | 322081 | 2560 301927 1018662 | 2147483647 192133 157 | 0.003 % |
397.71/398.07 c | 322453 | 2560 301927 1018662 | 2147483647 192505 157 | 0.000 % |
398.51/398.82 c | 322862 | 2560 301927 1018662 | 2147483647 192914 157 | 0.000 % |
399.21/399.56 c | 323312 | 2560 301927 1018662 | 2147483647 193364 158 | 0.003 % |
400.31/400.66 c | 323806 | 2560 301927 1018662 | 2147483647 193858 157 | 0.000 % |
401.51/401.80 c | 324348 | 2560 301927 1018662 | 2147483647 194400 158 | 0.000 % |
402.61/402.90 c | 324944 | 2560 301927 1018662 | 2147483647 194996 157 | 0.004 % |
403.51/403.90 c | 325599 | 2560 301927 1018662 | 2147483647 195651 157 | 0.005 % |
405.01/405.31 c | 326319 | 2560 301927 1018662 | 2147483647 196371 158 | 0.000 % |
406.21/406.54 c | 327111 | 2560 301927 1018662 | 2147483647 197163 158 | 0.000 % |
407.51/407.89 c | 327983 | 2560 301927 1018662 | 2147483647 198035 158 | 0.000 % |
409.20/409.54 c | 328942 | 2560 301927 1018662 | 2147483647 198994 158 | 0.003 % |
410.60/410.96 c | 329998 | 2560 301927 1018662 | 2147483647 200050 158 | 0.004 % |
412.20/412.54 c | 331156 | 2560 301927 1018662 | 2147483647 201208 157 | 0.004 % |
414.20/414.58 c | 332432 | 2560 301927 1018662 | 2147483647 202484 157 | 0.004 % |
416.50/416.81 c | 333838 | 2560 301927 1018662 | 2147483647 203890 157 | 0.004 % |
419.20/419.56 c | 335380 | 2560 301927 1018662 | 2147483647 205432 158 | 0.000 % |
422.49/422.81 c | 337074 | 2560 301927 1018662 | 2147483647 207126 158 | 0.004 % |
427.19/427.57 c | 338939 | 2560 301927 1018662 | 2147483647 208991 159 | 0.000 % |
431.49/431.84 c | 340988 | 2560 301927 1018662 | 2147483647 211040 159 | 0.000 % |
435.69/436.02 c | 343241 | 2560 301927 1018662 | 2147483647 213293 159 | 0.000 % |
440.79/441.14 c | 345719 | 2560 301927 1018662 | 2147483647 215771 160 | 0.000 % |
446.38/446.73 c | 348444 | 2560 301927 1018662 | 2147483647 218496 160 | 0.003 % |
452.38/452.75 c | 351441 | 2560 301927 1018662 | 220052 221493 160 | 0.000 % |
459.48/459.84 c | 354738 | 2560 301927 1018662 | 220052 194336 157 | 0.000 % |
459.67/460.05 c | 354838 | 2560 301927 1018662 | 220052 194436 157 | 0.000 % |
459.97/460.31 c | 354948 | 2560 301927 1018662 | 220052 194546 157 | 0.000 % |
460.17/460.55 c | 355069 | 2560 301927 1018662 | 220052 194667 157 | 0.000 % |
460.47/460.83 c | 355202 | 2560 301927 1018662 | 220052 194800 157 | 0.000 % |
460.67/461.07 c | 355349 | 2560 301927 1018662 | 220052 194947 157 | 0.000 % |
460.97/461.38 c | 355509 | 2560 301927 1018662 | 220052 195107 157 | 0.000 % |
461.37/461.76 c | 355686 | 2560 301927 1018662 | 220052 195284 157 | 0.000 % |
461.77/462.16 c | 355879 | 2560 301927 1018662 | 220052 195477 157 | 0.000 % |
462.27/462.61 c | 356091 | 2560 301927 1018662 | 220052 195689 157 | 0.000 % |
462.67/463.01 c | 356327 | 2560 301927 1018662 | 220052 195925 157 | 0.000 % |
463.17/463.53 c | 356583 | 2560 301927 1018662 | 220052 196181 157 | 0.000 % |
463.67/464.06 c | 356865 | 2560 301927 1018662 | 220052 196463 157 | 0.000 % |
464.27/464.65 c | 357176 | 2560 301927 1018662 | 220052 196774 157 | 0.000 % |
464.97/465.31 c | 357515 | 2560 301927 1018662 | 220052 197113 157 | 0.000 % |
465.77/466.14 c | 357888 | 2560 301927 1018662 | 220052 197486 157 | 0.000 % |
466.47/466.86 c | 358299 | 2560 301927 1018662 | 220052 197897 158 | 0.000 % |
467.36/467.79 c | 358748 | 2560 301927 1018662 | 220052 198346 158 | 0.000 % |
468.17/468.57 c | 359243 | 2560 301927 1018662 | 220052 198841 158 | 0.000 % |
468.96/469.37 c | 359785 | 2560 301927 1018662 | 220052 199383 158 | 0.000 % |
469.96/470.35 c | 360382 | 2560 301927 1018662 | 199599 199980 158 | 0.000 % |
471.26/471.61 c | 361037 | 2560 301927 1018662 | 199599 177041 156 | 0.004 % |
472.67/473.09 c | 361757 | 2560 301927 1018662 | 199599 177761 156 | 0.000 % |
474.26/474.63 c | 362552 | 2560 301927 1018662 | 199599 178556 156 | 0.000 % |
475.87/476.29 c | 363424 | 2560 301927 1018662 | 199599 179428 157 | 0.000 % |
477.96/478.37 c | 364383 | 2560 301927 1018662 | 199599 180387 157 | 0.000 % |
479.76/480.13 c | 365436 | 2560 301927 1018662 | 199599 181440 157 | 0.000 % |
481.96/482.40 c | 366594 | 2560 301927 1018662 | 199599 182598 156 | 0.000 % |
484.46/484.82 c | 367868 | 2560 301927 1018662 | 199599 183872 157 | 0.000 % |
486.36/486.74 c | 369270 | 2560 301927 1018662 | 199599 185274 157 | 0.000 % |
488.36/488.75 c | 370812 | 2560 301927 1018662 | 186004 186816 157 | 0.000 % |
491.36/491.79 c | 372508 | 2560 301927 1018662 | 186004 168963 158 | 0.000 % |
496.46/496.89 c | 374372 | 2560 301927 1018662 | 186004 170827 159 | 0.000 % |
500.45/500.82 c | 376422 | 2560 301927 1018662 | 186004 172877 160 | 0.000 % |
504.15/504.51 c | 378678 | 2560 301927 1018662 | 186004 175133 160 | 0.000 % |
508.25/508.66 c | 381156 | 2560 301927 1018662 | 2147483647 177611 160 | 0.003 % |
512.75/513.11 c | 383881 | 2560 301927 1018662 | 2147483647 180336 159 | 0.003 % |
517.35/517.79 c | 386880 | 2560 301927 1018662 | 2147483647 183335 159 | 0.003 % |
524.05/524.42 c | 390178 | 2560 301927 1018662 | 2147483647 186633 159 | 0.003 % |
530.44/530.84 c | 393803 | 2560 301927 1018662 | 2147483647 190258 159 | 0.000 % |
530.64/531.01 c | 393903 | 2560 301927 1018662 | 2147483647 190358 159 | 0.004 % |
530.85/531.22 c | 394013 | 2560 301927 1018662 | 2147483647 190468 159 | 0.000 % |
531.25/531.60 c | 394134 | 2560 301927 1018662 | 2147483647 190589 159 | 0.000 % |
531.45/531.86 c | 394269 | 2560 301927 1018662 | 2147483647 190724 159 | 0.000 % |
531.75/532.15 c | 394418 | 2560 301927 1018662 | 2147483647 190873 159 | 0.000 % |
532.06/532.41 c | 394579 | 2560 301927 1018662 | 2147483647 191034 159 | 0.003 % |
532.45/532.87 c | 394757 | 2560 301927 1018662 | 2147483647 191212 159 | 0.000 % |
532.95/533.37 c | 394956 | 2560 301927 1018662 | 2147483647 191411 160 | 0.000 % |
533.45/533.81 c | 395170 | 2560 301927 1018662 | 2147483647 191625 160 | 0.000 % |
533.85/534.22 c | 395403 | 2560 301927 1018662 | 2147483647 191858 160 | 0.000 % |
534.26/534.65 c | 395660 | 2560 301927 1018662 | 2147483647 192115 160 | 0.000 % |
534.75/535.19 c | 395942 | 2560 301927 1018662 | 2147483647 192397 160 | 0.000 % |
535.36/535.77 c | 396251 | 2560 301927 1018662 | 2147483647 192706 160 | 0.005 % |
536.15/536.54 c | 396593 | 2560 301927 1018662 | 2147483647 193048 160 | 0.000 % |
536.95/537.32 c | 396967 | 2560 301927 1018662 | 2147483647 193422 160 | 0.000 % |
537.65/538.05 c | 397377 | 2560 301927 1018662 | 2147483647 193832 160 | 0.000 % |
538.75/539.10 c | 397829 | 2560 301927 1018662 | 2147483647 194284 160 | 0.000 % |
539.65/540.01 c | 398322 | 2560 301927 1018662 | 2147483647 194777 160 | 0.000 % |
540.55/540.95 c | 398864 | 2560 301927 1018662 | 2147483647 195319 160 | 0.000 % |
541.65/542.00 c | 399461 | 2560 301927 1018662 | 2147483647 195916 160 | 0.003 % |
543.25/543.62 c | 400116 | 2560 301927 1018662 | 2147483647 196571 160 | 0.000 % |
544.65/545.01 c | 400838 | 2560 301927 1018662 | 2147483647 197293 160 | 0.000 % |
546.05/546.44 c | 401630 | 2560 301927 1018662 | 2147483647 198085 160 | 0.000 % |
547.55/547.90 c | 402506 | 2560 301927 1018662 | 2147483647 198961 160 | 0.000 % |
549.95/550.35 c | 403464 | 2560 301927 1018662 | 2147483647 199919 161 | 0.000 % |
552.15/552.53 c | 404519 | 2560 301927 1018662 | 2147483647 200974 161 | 0.004 % |
554.95/555.30 c | 405680 | 2560 301927 1018662 | 2147483647 202135 162 | 0.000 % |
557.54/557.90 c | 406955 | 2560 301927 1018662 | 2147483647 203410 162 | 0.005 % |
560.24/560.69 c | 408355 | 2560 301927 1018662 | 2147483647 204810 162 | 0.000 % |
563.14/563.59 c | 409895 | 2560 301927 1018662 | 2147483647 206350 162 | 0.000 % |
566.44/566.88 c | 411589 | 2560 301927 1018662 | 206455 208044 162 | 0.004 % |
570.34/570.78 c | 413454 | 2560 301927 1018662 | 206455 183410 158 | 0.000 % |
574.34/574.77 c | 415504 | 2560 301927 1018662 | 206455 185460 158 | 0.004 % |
578.84/579.25 c | 417757 | 2560 301927 1018662 | 206455 187713 159 | 0.000 % |
583.23/583.70 c | 420236 | 2560 301927 1018662 | 189956 190192 160 | 0.000 % |
587.63/588.07 c | 422964 | 2560 301927 1018662 | 189956 171500 157 | 0.000 % |
593.13/593.57 c | 425961 | 2560 301927 1018662 | 189956 174497 157 | 0.000 % |
599.73/600.19 c | 429260 | 2560 301927 1018662 | 189956 177796 157 | 0.000 % |
607.62/608.08 c | 432885 | 2560 301927 1018662 | 178537 156191 153 | 0.000 % |
614.53/614.94 c | 436872 | 2560 301927 1018662 | 178537 160178 153 | 0.003 % |
614.72/615.15 c | 436972 | 2560 301927 1018662 | 178537 160278 153 | 0.004 % |
614.92/615.34 c | 437082 | 2560 301927 1018662 | 178537 160388 153 | 0.000 % |
615.12/615.59 c | 437204 | 2560 301927 1018662 | 178537 160510 153 | 0.000 % |
615.42/615.85 c | 437337 | 2560 301927 1018662 | 178537 160643 153 | 0.000 % |
615.72/616.15 c | 437483 | 2560 301927 1018662 | 178537 160789 153 | 0.004 % |
616.02/616.42 c | 437644 | 2560 301927 1018662 | 178537 160950 153 | 0.000 % |
616.32/616.77 c | 437820 | 2560 301927 1018662 | 178537 161126 153 | 0.000 % |
616.82/617.20 c | 438013 | 2560 301927 1018662 | 178537 161319 153 | 0.000 % |
617.32/617.71 c | 438225 | 2560 301927 1018662 | 178537 161531 153 | 0.000 % |
617.73/618.13 c | 438458 | 2560 301927 1018662 | 178537 161764 153 | 0.000 % |
618.12/618.59 c | 438714 | 2560 301927 1018662 | 178537 162020 153 | 0.000 % |
618.72/619.10 c | 438995 | 2560 301927 1018662 | 178537 162301 153 | 0.000 % |
619.42/619.81 c | 439304 | 2560 301927 1018662 | 178537 162610 153 | 0.000 % |
619.92/620.39 c | 439643 | 2560 301927 1018662 | 178537 162949 153 | 0.000 % |
620.62/621.07 c | 440015 | 2560 301927 1018662 | 163306 163321 153 | 0.003 % |
621.82/622.23 c | 440424 | 2560 301927 1018662 | 163306 143912 148 | 0.000 % |
622.52/622.95 c | 440873 | 2560 301927 1018662 | 163306 144361 148 | 0.000 % |
623.42/623.81 c | 441366 | 2560 301927 1018662 | 163306 144854 149 | 0.000 % |
624.32/624.79 c | 441910 | 2560 301927 1018662 | 163306 145398 149 | 0.000 % |
625.42/625.82 c | 442506 | 2560 301927 1018662 | 163306 145994 149 | 0.004 % |
626.72/627.16 c | 443162 | 2560 301927 1018662 | 163306 146650 149 | 0.000 % |
628.02/628.43 c | 443883 | 2560 301927 1018662 | 163306 147371 150 | 0.000 % |
629.61/630.02 c | 444675 | 2560 301927 1018662 | 163306 148163 150 | 0.000 % |
630.81/631.20 c | 445546 | 2560 301927 1018662 | 163306 149034 150 | 0.003 % |
632.81/633.20 c | 446505 | 2560 301927 1018662 | 163306 149993 151 | 0.000 % |
635.21/635.65 c | 447559 | 2560 301927 1018662 | 163306 151047 152 | 0.000 % |
637.71/638.14 c | 448717 | 2560 301927 1018662 | 163306 152205 153 | 0.000 % |
640.01/640.47 c | 449990 | 2560 301927 1018662 | 163306 153478 153 | 0.000 % |
642.71/643.14 c | 451390 | 2560 301927 1018662 | 2147483647 154878 154 | 0.000 % |
645.61/646.03 c | 452930 | 2560 301927 1018662 | 2147483647 156418 154 | 0.000 % |
648.91/649.35 c | 454627 | 2560 301927 1018662 | 2147483647 158115 154 | 0.004 % |
652.31/652.75 c | 456493 | 2560 301927 1018662 | 2147483647 159981 154 | 0.000 % |
655.81/656.29 c | 458543 | 2560 301927 1018662 | 2147483647 162031 154 | 0.004 % |
661.20/661.70 c | 460798 | 2560 301927 1018662 | 2147483647 164286 156 | 0.000 % |
666.00/666.47 c | 463277 | 2560 301927 1018662 | 2147483647 166765 157 | 0.000 % |
670.70/671.17 c | 466002 | 2560 301927 1018662 | 2147483647 169490 159 | 0.000 % |
678.00/678.46 c | 468999 | 2560 301927 1018662 | 2147483647 172487 161 | 0.000 % |
684.60/685.06 c | 472295 | 2560 301927 1018662 | 173489 150637 158 | 0.004 % |
691.20/691.62 c | 475921 | 2560 301927 1018662 | 173489 154263 159 | 0.000 % |
698.39/698.88 c | 479908 | 2560 301927 1018662 | 173489 158250 159 | 0.000 % |
706.08/706.56 c | 484294 | 2560 301927 1018662 | 158344 141529 154 | 0.004 % |
706.28/706.77 c | 484394 | 2560 301927 1018662 | 158344 141629 154 | 0.003 % |
706.48/706.97 c | 484505 | 2560 301927 1018662 | 158344 141740 154 | 0.000 % |
706.79/707.21 c | 484626 | 2560 301927 1018662 | 158344 141861 154 | 0.000 % |
706.98/707.47 c | 484759 | 2560 301927 1018662 | 158344 141994 154 | 0.000 % |
707.28/707.73 c | 484905 | 2560 301927 1018662 | 158344 142140 154 | 0.000 % |
707.48/707.98 c | 485068 | 2560 301927 1018662 | 158344 142303 154 | 0.000 % |
707.78/708.28 c | 485244 | 2560 301927 1018662 | 158344 142479 155 | 0.000 % |
708.18/708.67 c | 485437 | 2560 301927 1018662 | 158344 142672 155 | 0.004 % |
708.58/709.05 c | 485649 | 2560 301927 1018662 | 158344 142884 155 | 0.000 % |
708.99/709.45 c | 485883 | 2560 301927 1018662 | 158344 143118 155 | 0.004 % |
709.48/709.93 c | 486142 | 2560 301927 1018662 | 158344 143377 155 | 0.000 % |
709.98/710.45 c | 486423 | 2560 301927 1018662 | 158344 143658 155 | 0.000 % |
710.48/710.96 c | 486733 | 2560 301927 1018662 | 158344 143968 155 | 0.000 % |
711.08/711.57 c | 487075 | 2560 301927 1018662 | 158344 144310 155 | 0.000 % |
711.78/712.21 c | 487447 | 2560 301927 1018662 | 158344 144682 155 | 0.000 % |
712.58/713.00 c | 487856 | 2560 301927 1018662 | 158344 145091 155 | 0.000 % |
713.28/713.78 c | 488306 | 2560 301927 1018662 | 158344 145541 155 | 0.000 % |
714.48/714.91 c | 488800 | 2560 301927 1018662 | 158344 146035 155 | 0.004 % |
715.48/715.93 c | 489342 | 2560 301927 1018662 | 158344 146577 155 | 0.000 % |
716.38/716.90 c | 489938 | 2560 301927 1018662 | 158344 147173 156 | 0.000 % |
717.68/718.13 c | 490593 | 2560 301927 1018662 | 147238 147828 156 | 0.000 % |
719.18/719.64 c | 491315 | 2560 301927 1018662 | 147238 133459 157 | 0.000 % |
720.58/721.04 c | 492107 | 2560 301927 1018662 | 147238 134251 157 | 0.000 % |
721.98/722.40 c | 492978 | 2560 301927 1018662 | 147238 135122 157 | 0.000 % |
723.38/723.89 c | 493936 | 2560 301927 1018662 | 147238 136080 156 | 0.000 % |
725.07/725.52 c | 494989 | 2560 301927 1018662 | 147238 137133 156 | 0.003 % |
726.68/727.17 c | 496150 | 2560 301927 1018662 | 147238 138294 156 | 0.000 % |
728.78/729.27 c | 497424 | 2560 301927 1018662 | 147238 139568 156 | 0.000 % |
730.98/731.45 c | 498825 | 2560 301927 1018662 | 147238 140969 156 | 0.000 % |
733.18/733.65 c | 500365 | 2560 301927 1018662 | 2147483647 142509 156 | 0.000 % |
735.97/736.47 c | 502062 | 2560 301927 1018662 | 2147483647 144206 156 | 0.000 % |
739.67/740.14 c | 503926 | 2560 301927 1018662 | 2147483647 146070 158 | 0.000 % |
743.47/743.97 c | 505975 | 2560 301927 1018662 | 2147483647 148119 158 | 0.005 % |
747.37/747.89 c | 508230 | 2560 301927 1018662 | 2147483647 150374 158 | 0.000 % |
751.47/751.97 c | 510708 | 2560 301927 1018662 | 2147483647 152852 158 | 0.004 % |
756.46/756.99 c | 513434 | 2560 301927 1018662 | 2147483647 155578 158 | 0.000 % |
761.96/762.41 c | 516431 | 2560 301927 1018662 | 2147483647 158575 158 | 0.000 % |
767.96/768.48 c | 519727 | 2560 301927 1018662 | 2147483647 161871 159 | 0.000 % |
774.46/774.96 c | 523353 | 2560 301927 1018662 | 162144 147353 156 | 0.003 % |
782.05/782.56 c | 527340 | 2560 301927 1018662 | 162144 151340 156 | 0.000 % |
789.85/790.33 c | 531726 | 2560 301927 1018662 | 154002 138350 153 | 0.000 % |
799.05/799.56 c | 536551 | 2560 301927 1018662 | 154002 143175 153 | 0.000 % |
799.25/799.75 c | 536651 | 2560 301927 1018662 | 154002 143275 153 | 0.000 % |
799.45/799.91 c | 536761 | 2560 301927 1018662 | 154002 143385 153 | 0.005 % |
799.65/800.11 c | 536882 | 2560 301927 1018662 | 154002 143506 153 | 0.000 % |
799.85/800.37 c | 537015 | 2560 301927 1018662 | 154002 143639 153 | 0.003 % |
800.15/800.67 c | 537161 | 2560 301927 1018662 | 154002 143785 153 | 0.000 % |
800.45/800.95 c | 537321 | 2560 301927 1018662 | 154002 143945 153 | 0.000 % |
800.85/801.34 c | 537498 | 2560 301927 1018662 | 154002 144122 154 | 0.000 % |
801.25/801.76 c | 537692 | 2560 301927 1018662 | 154002 144316 154 | 0.000 % |
801.65/802.15 c | 537905 | 2560 301927 1018662 | 154002 144529 154 | 0.000 % |
802.15/802.60 c | 538139 | 2560 301927 1018662 | 154002 144763 154 | 0.000 % |
802.65/803.12 c | 538395 | 2560 301927 1018662 | 154002 145019 154 | 0.000 % |
803.05/803.57 c | 538677 | 2560 301927 1018662 | 154002 145301 154 | 0.000 % |
803.65/804.12 c | 538986 | 2560 301927 1018662 | 154002 145610 154 | 0.000 % |
804.25/804.70 c | 539330 | 2560 301927 1018662 | 154002 145954 154 | 0.000 % |
804.95/805.47 c | 539707 | 2560 301927 1018662 | 154002 146331 154 | 0.000 % |
805.55/806.07 c | 540117 | 2560 301927 1018662 | 2147483647 146741 154 | 0.000 % |
806.45/806.92 c | 540566 | 2560 301927 1018662 | 2147483647 147190 154 | 0.000 % |
807.45/807.92 c | 541059 | 2560 301927 1018662 | 2147483647 147683 154 | 0.000 % |
808.55/809.08 c | 541602 | 2560 301927 1018662 | 2147483647 148226 155 | 0.000 % |
809.85/810.35 c | 542201 | 2560 301927 1018662 | 2147483647 148825 155 | 0.000 % |
811.05/811.50 c | 542857 | 2560 301927 1018662 | 2147483647 149481 155 | 0.000 % |
812.45/812.92 c | 543577 | 2560 301927 1018662 | 2147483647 150201 156 | 0.000 % |
814.04/814.52 c | 544370 | 2560 301927 1018662 | 2147483647 150994 156 | 0.000 % |
815.65/816.19 c | 545241 | 2560 301927 1018662 | 2147483647 151865 156 | 0.000 % |
817.44/817.91 c | 546200 | 2560 301927 1018662 | 2147483647 152824 156 | 0.000 % |
819.24/819.76 c | 547253 | 2560 301927 1018662 | 2147483647 153877 156 | 0.000 % |
821.24/821.77 c | 548411 | 2560 301927 1018662 | 2147483647 155035 156 | 0.000 % |
823.44/823.94 c | 549685 | 2560 301927 1018662 | 2147483647 156309 157 | 0.000 % |
826.34/826.84 c | 551086 | 2560 301927 1018662 | 2147483647 157710 157 | 0.000 % |
829.84/830.36 c | 552626 | 2560 301927 1018662 | 2147483647 159250 158 | 0.000 % |
833.44/833.95 c | 554322 | 2560 301927 1018662 | 2147483647 160946 159 | 0.000 % |
836.73/837.29 c | 556186 | 2560 301927 1018662 | 2147483647 162810 159 | 0.000 % |
840.53/841.06 c | 558236 | 2560 301927 1018662 | 2147483647 164860 159 | 0.000 % |
844.13/844.67 c | 560489 | 2560 301927 1018662 | 166625 167113 159 | 0.000 % |
849.43/849.95 c | 562968 | 2560 301927 1018662 | 166625 150935 157 | 0.000 % |
854.33/854.85 c | 565693 | 2560 301927 1018662 | 166625 153660 157 | 0.004 % |
859.83/860.38 c | 568692 | 2560 301927 1018662 | 166625 156659 158 | 0.000 % |
866.72/867.26 c | 571990 | 2560 301927 1018662 | 2147483647 159957 159 | 0.000 % |
872.52/873.04 c | 575615 | 2560 301927 1018662 | 2147483647 163582 158 | 0.004 % |
879.73/880.24 c | 579603 | 2560 301927 1018662 | 2147483647 167570 158 | 0.004 % |
886.33/886.84 c | 583989 | 2560 301927 1018662 | 2147483647 171956 157 | 0.004 % |
895.13/895.64 c | 588812 | 2560 301927 1018662 | 2147483647 176779 157 | 0.004 % |
905.83/906.34 c | 594117 | 2560 301927 1018662 | 2147483647 182084 156 | 0.004 % |
905.93/906.49 c | 594218 | 2560 301927 1018662 | 2147483647 182185 156 | 0.004 % |
906.22/906.72 c | 594329 | 2560 301927 1018662 | 2147483647 182296 156 | 0.005 % |
906.42/906.96 c | 594450 | 2560 301927 1018662 | 2147483647 182417 156 | 0.000 % |
906.72/907.27 c | 594584 | 2560 301927 1018662 | 2147483647 182551 156 | 0.004 % |
907.12/907.63 c | 594731 | 2560 301927 1018662 | 2147483647 182698 156 | 0.000 % |
907.42/907.97 c | 594891 | 2560 301927 1018662 | 2147483647 182858 156 | 0.000 % |
907.92/908.41 c | 595068 | 2560 301927 1018662 | 2147483647 183035 156 | 0.000 % |
908.32/908.80 c | 595263 | 2560 301927 1018662 | 2147483647 183230 156 | 0.000 % |
908.72/909.23 c | 595480 | 2560 301927 1018662 | 2147483647 183447 156 | 0.000 % |
909.22/909.71 c | 595716 | 2560 301927 1018662 | 2147483647 183683 156 | 0.004 % |
909.62/910.19 c | 595973 | 2560 301927 1018662 | 2147483647 183940 156 | 0.000 % |
910.12/910.66 c | 596255 | 2560 301927 1018662 | 2147483647 184222 156 | 0.000 % |
910.72/911.27 c | 596564 | 2560 301927 1018662 | 2147483647 184531 156 | 0.000 % |
911.52/912.09 c | 596903 | 2560 301927 1018662 | 2147483647 184870 156 | 0.000 % |
912.32/912.88 c | 597276 | 2560 301927 1018662 | 2147483647 185243 156 | 0.004 % |
913.02/913.59 c | 597686 | 2560 301927 1018662 | 2147483647 185653 156 | 0.000 % |
914.12/914.62 c | 598137 | 2560 301927 1018662 | 2147483647 186104 156 | 0.000 % |
914.92/915.47 c | 598633 | 2560 301927 1018662 | 2147483647 186600 156 | 0.004 % |
915.82/916.35 c | 599176 | 2560 301927 1018662 | 2147483647 187143 156 | 0.000 % |
916.82/917.38 c | 599774 | 2560 301927 1018662 | 2147483647 187741 156 | 0.000 % |
917.71/918.26 c | 600430 | 2560 301927 1018662 | 187968 188397 156 | 0.000 % |
919.12/919.67 c | 601151 | 2560 301927 1018662 | 187968 168220 153 | 0.005 % |
920.31/920.82 c | 601943 | 2560 301927 1018662 | 187968 169012 153 | 0.005 % |
921.81/922.33 c | 602814 | 2560 301927 1018662 | 187968 169883 153 | 0.005 % |
923.31/923.88 c | 603772 | 2560 301927 1018662 | 187968 170841 152 | 0.000 % |
925.31/925.86 c | 604826 | 2560 301927 1018662 | 187968 171895 152 | 0.000 % |
927.31/927.84 c | 605984 | 2560 301927 1018662 | 187968 173053 152 | 0.000 % |
929.51/930.06 c | 607257 | 2560 301927 1018662 | 187968 174326 152 | 0.000 % |
932.01/932.52 c | 608659 | 2560 301927 1018662 | 187968 175728 152 | 0.005 % |
934.41/934.96 c | 610199 | 2560 301927 1018662 | 2147483647 177268 152 | 0.004 % |
937.61/938.16 c | 611895 | 2560 301927 1018662 | 2147483647 178964 152 | 0.000 % |
941.10/941.61 c | 613762 | 2560 301927 1018662 | 2147483647 180831 152 | 0.004 % |
944.98/945.58 c | 615811 | 2560 301927 1018662 | 2147483647 182880 152 | 0.000 % |
949.58/950.14 c | 618064 | 2560 301927 1018662 | 2147483647 185133 152 | 0.000 % |
954.18/954.73 c | 620543 | 2560 301927 1018662 | 187071 187612 153 | 0.000 % |
958.88/959.46 c | 623268 | 2560 301927 1018662 | 187071 167124 147 | 0.000 % |
964.78/965.36 c | 626266 | 2560 301927 1018662 | 187071 170122 147 | 0.000 % |
970.07/970.67 c | 629565 | 2560 301927 1018662 | 187071 173421 148 | 0.000 % |
976.87/977.45 c | 633190 | 2560 301927 1018662 | 2147483647 177046 151 | 0.000 % |
983.77/984.31 c | 637180 | 2560 301927 1018662 | 2147483647 181036 152 | 0.004 % |
990.87/991.48 c | 641566 | 2560 301927 1018662 | 2147483647 185422 152 | 0.000 % |
1000.86/1001.44 c | 646389 | 2560 301927 1018662 | 2147483647 190245 155 | 0.000 % |
1010.46/1011.07 c | 651694 | 2560 301927 1018662 | 193856 195550 157 | 0.000 % |
1022.06/1022.69 c | 657531 | 2560 301927 1018662 | 193856 177528 155 | 0.000 % |
1022.36/1022.97 c | 657631 | 2560 301927 1018662 | 193856 177628 155 | 0.000 % |
1022.66/1023.21 c | 657742 | 2560 301927 1018662 | 193856 177739 155 | 0.000 % |
1022.96/1023.51 c | 657863 | 2560 301927 1018662 | 193856 177860 155 | 0.000 % |
1023.26/1023.84 c | 657997 | 2560 301927 1018662 | 193856 177994 155 | 0.000 % |
1023.46/1024.09 c | 658143 | 2560 301927 1018662 | 193856 178140 155 | 0.003 % |
1023.86/1024.42 c | 658303 | 2560 301927 1018662 | 193856 178300 155 | 0.000 % |
1024.16/1024.72 c | 658482 | 2560 301927 1018662 | 193856 178479 155 | 0.000 % |
1024.56/1025.17 c | 658675 | 2560 301927 1018662 | 193856 178672 155 | 0.000 % |
1024.95/1025.56 c | 658887 | 2560 301927 1018662 | 193856 178884 155 | 0.000 % |
1025.35/1025.99 c | 659120 | 2560 301927 1018662 | 193856 179117 155 | 0.000 % |
1025.95/1026.50 c | 659376 | 2560 301927 1018662 | 193856 179373 155 | 0.004 % |
1026.45/1027.09 c | 659657 | 2560 301927 1018662 | 193856 179654 155 | 0.003 % |
1027.05/1027.60 c | 659966 | 2560 301927 1018662 | 193856 179963 155 | 0.000 % |
1027.75/1028.35 c | 660305 | 2560 301927 1018662 | 179997 180302 155 | 0.004 % |
1028.75/1029.31 c | 660678 | 2560 301927 1018662 | 179997 159670 153 | 0.000 % |
1029.55/1030.11 c | 661087 | 2560 301927 1018662 | 179997 160079 153 | 0.000 % |
1030.35/1030.99 c | 661536 | 2560 301927 1018662 | 179997 160528 153 | 0.000 % |
1031.35/1032.00 c | 662032 | 2560 301927 1018662 | 179997 161024 153 | 0.000 % |
1032.55/1033.11 c | 662575 | 2560 301927 1018662 | 179997 161567 154 | 0.000 % |
1033.75/1034.34 c | 663171 | 2560 301927 1018662 | 179997 162163 154 | 0.000 % |
1035.25/1035.80 c | 663826 | 2560 301927 1018662 | 179997 162818 154 | 0.000 % |
1036.66/1037.21 c | 664547 | 2560 301927 1018662 | 179997 163539 154 | 0.000 % |
1038.45/1039.04 c | 665339 | 2560 301927 1018662 | 179997 164331 155 | 0.000 % |
1040.45/1041.04 c | 666211 | 2560 301927 1018662 | 179997 165203 155 | 0.000 % |
1042.45/1043.02 c | 667169 | 2560 301927 1018662 | 179997 166161 155 | 0.000 % |
1044.45/1045.07 c | 668222 | 2560 301927 1018662 | 179997 167214 155 | 0.000 % |
1046.75/1047.31 c | 669380 | 2560 301927 1018662 | 179997 168372 156 | 0.000 % |
1049.25/1049.81 c | 670655 | 2560 301927 1018662 | 168992 169647 156 | 0.000 % |
1052.15/1052.77 c | 672058 | 2560 301927 1018662 | 168992 152295 153 | 0.000 % |
1055.55/1056.15 c | 673602 | 2560 301927 1018662 | 168992 153839 154 | 0.000 % |
1058.35/1058.91 c | 675296 | 2560 301927 1018662 | 168992 155533 154 | 0.000 % |
1061.64/1062.22 c | 677159 | 2560 301927 1018662 | 168992 157396 155 | 0.000 % |
1065.35/1065.94 c | 679208 | 2560 301927 1018662 | 168992 159445 156 | 0.000 % |
1070.14/1070.76 c | 681462 | 2560 301927 1018662 | 160238 144874 152 | 0.000 % |
1075.04/1075.63 c | 683940 | 2560 301927 1018662 | 160238 147352 153 | 0.000 % |
1080.74/1081.33 c | 686666 | 2560 301927 1018662 | 160238 150078 153 | 0.000 % |
1086.94/1087.59 c | 689666 | 2560 301927 1018662 | 160238 153078 154 | 0.000 % |
1094.24/1094.83 c | 692964 | 2560 301927 1018662 | 153412 137138 155 | 0.000 % |
1101.43/1102.06 c | 696590 | 2560 301927 1018662 | 153412 140764 156 | 0.000 % |
1109.93/1110.56 c | 700577 | 2560 301927 1018662 | 144174 144751 160 | 0.000 % |
1120.53/1121.16 c | 704964 | 2560 301927 1018662 | 144174 133389 165 | 0.000 % |
1130.52/1131.19 c | 709788 | 2560 301927 1018662 | 144174 138213 168 | 0.000 % |
1141.12/1141.78 c | 715093 | 2560 301927 1018662 | 2147483647 143518 169 | 0.000 % |
1157.32/1157.94 c | 720931 | 2560 301927 1018662 | 148428 149356 174 | 0.000 % |
1172.31/1172.92 c | 727349 | 2560 301927 1018662 | 148428 139975 180 | 0.000 % |
1172.51/1173.13 c | 727449 | 2560 301927 1018662 | 148428 140075 180 | 0.000 % |
1172.71/1173.36 c | 727559 | 2560 301927 1018662 | 148428 140185 180 | 0.000 % |
1173.11/1173.73 c | 727686 | 2560 301927 1018662 | 148428 140312 180 | 0.000 % |
1173.41/1174.04 c | 727819 | 2560 301927 1018662 | 148428 140445 180 | 0.000 % |
1173.71/1174.37 c | 727965 | 2560 301927 1018662 | 148428 140591 180 | 0.000 % |
1174.11/1174.74 c | 728125 | 2560 301927 1018662 | 148428 140751 180 | 0.000 % |
1174.41/1175.10 c | 728302 | 2560 301927 1018662 | 148428 140928 180 | 0.000 % |
1174.81/1175.47 c | 728496 | 2560 301927 1018662 | 148428 141122 180 | 0.004 % |
1175.31/1175.95 c | 728709 | 2560 301927 1018662 | 148428 141335 180 | 0.000 % |
1175.81/1176.46 c | 728942 | 2560 301927 1018662 | 148428 141568 181 | 0.000 % |
1176.41/1177.00 c | 729200 | 2560 301927 1018662 | 148428 141826 181 | 0.000 % |
1177.11/1177.72 c | 729481 | 2560 301927 1018662 | 148428 142107 181 | 0.000 % |
1177.91/1178.51 c | 729791 | 2560 301927 1018662 | 148428 142417 181 | 0.000 % |
1178.71/1179.35 c | 730132 | 2560 301927 1018662 | 142626 142758 181 | 0.000 % |
1179.71/1180.30 c | 730504 | 2560 301927 1018662 | 142626 124013 174 | 0.000 % |
1180.40/1181.07 c | 730913 | 2560 301927 1018662 | 142626 124422 175 | 0.000 % |
1181.40/1182.00 c | 731362 | 2560 301927 1018662 | 142626 124871 175 | 0.000 % |
1182.30/1182.97 c | 731855 | 2560 301927 1018662 | 142626 125364 175 | 0.004 % |
1183.30/1183.91 c | 732398 | 2560 301927 1018662 | 142626 125907 175 | 0.000 % |
1184.20/1184.86 c | 732994 | 2560 301927 1018662 | 142626 126503 175 | 0.000 % |
1185.30/1185.97 c | 733649 | 2560 301927 1018662 | 142626 127158 175 | 0.000 % |
1186.60/1187.23 c | 734369 | 2560 301927 1018662 | 142626 127878 175 | 0.005 % |
1187.90/1188.57 c | 735162 | 2560 301927 1018662 | 142626 128671 175 | 0.000 % |
1189.61/1190.24 c | 736034 | 2560 301927 1018662 | 142626 129543 175 | 0.000 % |
1191.50/1192.14 c | 736992 | 2560 301927 1018662 | 142626 130501 175 | 0.000 % |
1193.50/1194.13 c | 738047 | 2560 301927 1018662 | 142626 131556 175 | 0.000 % |
1195.90/1196.54 c | 739205 | 2560 301927 1018662 | 142626 132714 176 | 0.000 % |
1198.10/1198.71 c | 740479 | 2560 301927 1018662 | 2147483647 133988 177 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834085-1242827640/watcher-1834085-1242827640 -o /tmp/evaluation-result-1834085-1242827640/solver-1834085-1242827640 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834085-1242827640.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.00 1.00 3/65 31758
/proc/meminfo: memFree=1956888/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=0
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310794172 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 265674260562 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/31758/statm: 1339 235 195 169 0 50 0
[pid=31759] ppid=31758 vsize=5356 CPUtime=0
/proc/31759/stat : 31759 (SatELiteGTI) S 31758 31758 31543 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310794172 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/31759/statm: 1339 238 198 169 0 50 0
[pid=31761] ppid=31759 vsize=184 CPUtime=0
/proc/31761/stat : 31761 (sed) R 31759 31758 31543 0 -1 4194304 22 0 0 0 0 0 0 0 21 0 1 0 310794172 188416 4 1992294400 0 0 548682069787 18446744073709551615 265674091815 0 0 4096 0 0 0 0 17 0 0 0
/proc/31761/statm: 47 14 8 11 0 10 0
[startup+0.0640631 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31758
/proc/meminfo: memFree=1956888/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=0
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310794172 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101067 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31758
/proc/meminfo: memFree=1956888/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=0
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310794172 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301089 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31758
/proc/meminfo: memFree=1956888/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=0
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310794172 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701131 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31758
/proc/meminfo: memFree=1956888/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=0
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310794172 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50121 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31763
/proc/meminfo: memFree=1932040/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=0
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310794172 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 237 197 169 0 50 0
[pid=31763] ppid=31758 vsize=30208 CPUtime=1.48
/proc/31763/stat : 31763 (SatELite_releas) R 31758 31758 31543 0 -1 4194304 6173 0 0 0 145 3 0 0 25 0 1 0 310794173 30932992 6159 1992294400 134512640 135223648 4294956128 18446744073709551615 134585622 0 0 4096 3 0 0 0 17 0 0 0
/proc/31763/statm: 7552 6159 76 173 0 7377 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 35564
[startup+3.1024 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31763
/proc/meminfo: memFree=1931912/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 5356
heavy processes:
[startup+6.30176 s]
/proc/loadavg: 1.08 1.02 1.01 2/67 31764
/proc/meminfo: memFree=1929160/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=22728 CPUtime=3.99
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 5576 0 0 0 396 3 0 0 25 0 1 0 310794400 23273472 5562 1992294400 134512640 135215339 4294956240 18446744073709551615 134539287 0 0 4096 3 0 0 0 17 1 0 0
/proc/31764/statm: 5682 5562 77 171 0 5509 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 28084
[startup+12.7025 s]
/proc/loadavg: 1.07 1.02 1.00 2/67 31764
/proc/meminfo: memFree=1919112/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=32636 CPUtime=10.38
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 8047 0 0 0 1033 5 0 0 25 0 1 0 310794400 33419264 8033 1992294400 134512640 135215339 4294956240 18446744073709551615 134527406 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 8159 8033 77 171 0 7986 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 37992
[startup+25.5019 s]
/proc/loadavg: 1.06 1.02 1.00 2/67 31764
/proc/meminfo: memFree=1903048/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=48296 CPUtime=23.16
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 11960 0 0 0 2307 9 0 0 25 0 1 0 310794400 49455104 11946 1992294400 134512640 135215339 4294956240 18446744073709551615 134532952 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 12074 11946 77 171 0 11901 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 53652
[startup+51.1017 s]
/proc/loadavg: 1.04 1.01 1.00 2/67 31764
/proc/meminfo: memFree=1880520/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=70992 CPUtime=48.74
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 17633 0 0 0 4859 15 0 0 25 0 1 0 310794400 72695808 17619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 17748 17619 77 171 0 17575 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 76348
[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/67 31764
/proc/meminfo: memFree=1844936/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=105904 CPUtime=99.91
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 26362 0 0 0 9967 24 0 0 25 0 1 0 310794400 108445696 26348 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 26476 26348 77 171 0 26303 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 111260
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31764
/proc/meminfo: memFree=1813704/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=137232 CPUtime=159.89
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 34190 0 0 0 15956 33 0 0 25 0 1 0 310794400 140525568 34176 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 34308 34176 77 171 0 34135 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 142588
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31764
/proc/meminfo: memFree=1784136/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=166864 CPUtime=219.85
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 41503 0 0 0 21944 41 0 0 25 0 1 0 310794400 170868736 41489 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 41716 41489 77 171 0 41543 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 172220
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31764
/proc/meminfo: memFree=1765896/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=184836 CPUtime=279.82
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 46027 0 0 0 27934 48 0 0 25 0 1 0 310794400 189272064 46013 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 46209 46013 77 171 0 46036 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 190192
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31764
/proc/meminfo: memFree=1765768/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=184836 CPUtime=339.79
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 46027 0 0 0 33931 48 0 0 25 0 1 0 310794400 189272064 46013 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 46209 46013 77 171 0 46036 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 190192
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31764
/proc/meminfo: memFree=1765640/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=184836 CPUtime=399.75
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 46027 0 0 0 39927 48 0 0 25 0 1 0 310794400 189272064 46013 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 46209 46013 77 171 0 46036 0
################
# More data... #
################
/proc/31764/statm: 46209 46014 77 171 0 46036 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 190192
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31770
/proc/meminfo: memFree=1765192/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=184836 CPUtime=579.67
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 46028 0 0 0 57918 49 0 0 25 0 1 0 310794400 189272064 46014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 46209 46014 77 171 0 46036 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 190192
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31770
/proc/meminfo: memFree=1765064/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=184836 CPUtime=639.65
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 46028 0 0 0 63916 49 0 0 25 0 1 0 310794400 189272064 46014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 46209 46014 77 171 0 46036 0
Current children cumulated CPU time (s) 641.91
Current children cumulated vsize (KiB) 190192
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31770
/proc/meminfo: memFree=1764808/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=184836 CPUtime=699.62
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 46028 0 0 0 69913 49 0 0 25 0 1 0 310794400 189272064 46014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 46209 46014 77 171 0 46036 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 190192
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31770
/proc/meminfo: memFree=1764744/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=184836 CPUtime=759.61
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 46028 0 0 0 75912 49 0 0 25 0 1 0 310794400 189272064 46014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 46209 46014 77 171 0 46036 0
Current children cumulated CPU time (s) 761.87
Current children cumulated vsize (KiB) 190192
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31770
/proc/meminfo: memFree=1764680/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=184836 CPUtime=819.58
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 46028 0 0 0 81909 49 0 0 25 0 1 0 310794400 189272064 46014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 46209 46014 77 171 0 46036 0
Current children cumulated CPU time (s) 821.84
Current children cumulated vsize (KiB) 190192
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31770
/proc/meminfo: memFree=1764552/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=184836 CPUtime=879.57
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 46028 0 0 0 87907 50 0 0 25 0 1 0 310794400 189272064 46014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 46209 46014 77 171 0 46036 0
Current children cumulated CPU time (s) 881.83
Current children cumulated vsize (KiB) 190192
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31770
/proc/meminfo: memFree=1764488/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=184836 CPUtime=939.54
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 46028 0 0 0 93904 50 0 0 25 0 1 0 310794400 189272064 46014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/31764/statm: 46209 46014 77 171 0 46036 0
Current children cumulated CPU time (s) 941.8
Current children cumulated vsize (KiB) 190192
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31770
/proc/meminfo: memFree=1764360/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=184836 CPUtime=999.5
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 46028 0 0 0 99900 50 0 0 25 0 1 0 310794400 189272064 46014 1992294400 134512640 135215339 4294956240 18446744073709551615 134529096 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 46209 46014 77 171 0 46036 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 190192
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31770
/proc/meminfo: memFree=1764296/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=184836 CPUtime=1059.48
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 46028 0 0 0 105898 50 0 0 25 0 1 0 310794400 189272064 46014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 46209 46014 77 171 0 46036 0
Current children cumulated CPU time (s) 1061.74
Current children cumulated vsize (KiB) 190192
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31770
/proc/meminfo: memFree=1764232/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=184836 CPUtime=1119.47
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 46028 0 0 0 111897 50 0 0 25 0 1 0 310794400 189272064 46014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 46209 46014 77 171 0 46036 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 190192
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31770
/proc/meminfo: memFree=1764168/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=184836 CPUtime=1179.44
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 46028 0 0 0 117894 50 0 0 25 0 1 0 310794400 189272064 46014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 46209 46014 77 171 0 46036 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 190192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31770
/proc/meminfo: memFree=1764104/2055920 swapFree=4179924/4192956
[pid=31758] ppid=31756 vsize=5356 CPUtime=2.26
/proc/31758/stat : 31758 (SatELiteGTI) S 31756 31758 31543 0 -1 4194304 336 6425 0 0 0 0 221 5 16 0 1 0 310794172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31758/statm: 1339 239 197 169 0 50 0
[pid=31764] ppid=31758 vsize=184836 CPUtime=1197.74
/proc/31764/stat : 31764 (minisat_static) R 31758 31758 31543 0 -1 4194304 46028 0 0 0 119724 50 0 0 25 0 1 0 310794400 189272064 46014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31764/statm: 46209 46014 77 171 0 46036 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 190192
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 31758 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=219662
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=54991
# CPU time returned by wait4() is 2.27465
# while last known CPU time is 1200
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200
CPU user time (s): 1199.45
CPU system time (s): 0.55
CPU usage (%): 99.949
Max. virtual memory (cumulated for all children) (KiB): 190192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.21966
system time used= 0.054991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6761
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= 15
involuntary context switches= 29
runsolver used 1.07883 second user time and 3.40648 second system time
The end
Begin job on node76 at 2009-05-20 15:54:01
IDJOB=1834085
IDBENCH=71282
IDSOLVER=671
FILE ID=node76/1834085-1242827640
PBS_JOBID= 9322547
Free space on /tmp= 66164 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2640c305320g6.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834085-1242827640/watcher-1834085-1242827640 -o /tmp/evaluation-result-1834085-1242827640/solver-1834085-1242827640 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834085-1242827640.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b8aeb5269daff3f4e23b9dd675aa8076
RANDOM SEED=1423253083
node76.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.220
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.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1957432 kB
Buffers: 20684 kB
Cached: 40912 kB
SwapCached: 7356 kB
Active: 35720 kB
Inactive: 34732 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1957432 kB
SwapTotal: 4192956 kB
SwapFree: 4179924 kB
Dirty: 5516 kB
Writeback: 0 kB
Mapped: 13888 kB
Slab: 13964 kB
Committed_AS: 1025424 kB
PageTables: 1436 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= 66160 MiB
End job on node76 at 2009-05-20 16:14:03