0.00/0.00 c Parsing...
0.00/0.16 c ==============================================================================
0.00/0.16 c | | ORIGINAL | LEARNT | |
0.00/0.16 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.16 c ==============================================================================
0.00/0.16 c | 0 | 305320 613120 | 91595 0 0 nan | 0.000 % |
2.19/2.25 c | 0 | 302680 1034788 | -- 0 -- -- | -- | -2640/421668
2.19/2.25 c ==============================================================================
2.19/2.25 c Result : #vars: 2560 #clauses: 302680 #literals: 1034788
2.19/2.25 c CPU time: 2.20566 s
2.19/2.25 c ==============================================================================
2.48/2.57 c This is MiniSat 2.0 beta
2.48/2.57 c WARNING: for repeatability, setting FPU to use double precision
2.48/2.57 c ============================[ Problem Statistics ]=============================
2.48/2.57 c | |
2.48/2.57 c | Number of variables: 2560 |
2.48/2.57 c | Number of clauses: 302680 |
2.55/2.73 c | Parsing time: 0.13 s |
2.55/2.74 c ============================[ Search Statistics ]==============================
2.55/2.74 c | Conflicts | ORIGINAL | LEARNT | Progress |
2.55/2.74 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.55/2.74 c ===============================================================================
2.55/2.74 c | 0 | 2560 302680 1034788 | 100893 0 nan | 0.000 % |
2.55/2.79 c | 100 | 2560 302680 1034788 | 100893 100 174 | 0.000 % |
2.55/2.84 c | 201 | 2560 302680 1034788 | 100893 201 165 | 0.004 % |
2.55/2.88 c | 301 | 2560 302680 1034788 | 100893 301 170 | 0.000 % |
2.55/2.91 c | 413 | 2560 302680 1034788 | 100893 413 162 | 0.004 % |
2.55/2.96 c | 517 | 2560 302680 1034788 | 100893 517 160 | 0.000 % |
2.55/3.00 c | 627 | 2560 302680 1034788 | 100893 627 165 | 0.000 % |
2.55/3.04 c | 748 | 2560 302680 1034788 | 100893 748 167 | 0.000 % |
2.55/3.06 c | 848 | 2560 302680 1034788 | 100893 848 160 | 0.004 % |
2.55/3.10 c | 958 | 2560 302680 1034788 | 100893 958 158 | 0.004 % |
2.55/3.14 c | 1080 | 2560 302680 1034788 | 100893 1080 154 | 0.004 % |
2.55/3.19 c | 1213 | 2560 302680 1034788 | 100893 1213 160 | 0.000 % |
3.16/3.23 c | 1313 | 2560 302680 1034788 | 100893 1313 159 | 0.004 % |
3.16/3.26 c | 1423 | 2560 302680 1034788 | 100893 1423 159 | 0.004 % |
3.26/3.30 c | 1546 | 2560 302680 1034788 | 100893 1546 159 | 0.003 % |
3.26/3.35 c | 1679 | 2560 302680 1034788 | 100893 1679 162 | 0.000 % |
3.36/3.40 c | 1825 | 2560 302680 1034788 | 100893 1825 159 | 0.004 % |
3.36/3.43 c | 1926 | 2560 302680 1034788 | 100893 1926 157 | 0.000 % |
3.36/3.46 c | 2037 | 2560 302680 1034788 | 100893 2037 155 | 0.003 % |
3.46/3.51 c | 2159 | 2560 302680 1034788 | 100893 2159 158 | 0.000 % |
3.46/3.55 c | 2295 | 2560 302680 1034788 | 100893 2295 159 | 0.000 % |
3.46/3.59 c | 2443 | 2560 302680 1034788 | 100893 2443 158 | 0.000 % |
3.56/3.64 c | 2604 | 2560 302680 1034788 | 100893 2604 159 | 0.003 % |
3.56/3.68 c | 2704 | 2560 302680 1034788 | 100893 2704 159 | 0.000 % |
3.66/3.71 c | 2814 | 2560 302680 1034788 | 100893 2814 157 | 0.004 % |
3.66/3.75 c | 2935 | 2560 302680 1034788 | 100893 2935 156 | 0.003 % |
3.77/3.80 c | 3068 | 2560 302680 1034788 | 100893 3068 155 | 0.004 % |
3.77/3.85 c | 3216 | 2560 302680 1034788 | 100893 3216 159 | 0.000 % |
3.87/3.91 c | 3376 | 2560 302680 1034788 | 100893 3376 160 | 0.004 % |
3.87/3.96 c | 3552 | 2560 302680 1034788 | 100893 3552 160 | 0.003 % |
3.97/4.00 c | 3652 | 2560 302680 1034788 | 100893 3652 162 | 0.000 % |
3.97/4.04 c | 3762 | 2560 302680 1034788 | 100893 3762 162 | 0.000 % |
3.97/4.08 c | 3883 | 2560 302680 1034788 | 100893 3883 161 | 0.004 % |
4.07/4.12 c | 4016 | 2560 302680 1034788 | 100893 4016 161 | 0.004 % |
4.07/4.19 c | 4163 | 2560 302680 1034788 | 100893 4163 162 | 0.000 % |
4.16/4.24 c | 4324 | 2560 302680 1034788 | 100893 4324 162 | 0.000 % |
4.16/4.29 c | 4500 | 2560 302680 1034788 | 100893 4500 161 | 0.004 % |
4.27/4.37 c | 4696 | 2560 302680 1034788 | 100893 4696 163 | 0.000 % |
4.27/4.40 c | 4796 | 2560 302680 1034788 | 100893 4796 162 | 0.003 % |
4.37/4.43 c | 4906 | 2560 302680 1034788 | 100893 4906 162 | 0.000 % |
4.37/4.47 c | 5027 | 2560 302680 1034788 | 100893 5027 161 | 0.004 % |
4.46/4.53 c | 5161 | 2560 302680 1034788 | 100893 5161 162 | 0.000 % |
4.46/4.58 c | 5311 | 2560 302680 1034788 | 100893 5311 162 | 0.000 % |
4.56/4.64 c | 5471 | 2560 302680 1034788 | 100893 5471 162 | 0.000 % |
4.56/4.69 c | 5648 | 2560 302680 1034788 | 100893 5648 161 | 0.000 % |
4.66/4.76 c | 5843 | 2560 302680 1034788 | 100893 5843 160 | 0.000 % |
4.76/4.84 c | 6055 | 2560 302680 1034788 | 100893 6055 158 | 0.005 % |
4.76/4.88 c | 6155 | 2560 302680 1034788 | 100893 6155 159 | 0.000 % |
4.86/4.93 c | 6267 | 2560 302680 1034788 | 100893 6267 159 | 0.000 % |
4.86/4.97 c | 6388 | 2560 302680 1034788 | 100893 6388 159 | 0.004 % |
4.96/5.02 c | 6522 | 2560 302680 1034788 | 100893 6522 158 | 0.000 % |
4.96/5.08 c | 6668 | 2560 302680 1034788 | 100893 6668 159 | 0.000 % |
5.06/5.14 c | 6828 | 2560 302680 1034788 | 100893 6828 159 | 0.000 % |
5.16/5.21 c | 7006 | 2560 302680 1034788 | 100893 7006 159 | 0.000 % |
5.16/5.28 c | 7199 | 2560 302680 1034788 | 100893 7199 162 | 0.000 % |
5.26/5.35 c | 7414 | 2560 302680 1034788 | 100893 7414 162 | 0.000 % |
5.36/5.43 c | 7647 | 2560 302680 1034788 | 100893 7647 163 | 0.003 % |
5.36/5.47 c | 7747 | 2560 302680 1034788 | 100893 7747 163 | 0.000 % |
5.46/5.51 c | 7858 | 2560 302680 1034788 | 100893 7858 163 | 0.004 % |
5.46/5.55 c | 7980 | 2560 302680 1034788 | 100893 7980 162 | 0.000 % |
5.56/5.60 c | 8117 | 2560 302680 1034788 | 100893 8117 162 | 0.004 % |
5.56/5.65 c | 8264 | 2560 302680 1034788 | 100893 8264 162 | 0.000 % |
5.67/5.71 c | 8424 | 2560 302680 1034788 | 100893 8424 161 | 0.000 % |
5.67/5.78 c | 8601 | 2560 302680 1034788 | 100893 8601 159 | 0.003 % |
5.77/5.85 c | 8795 | 2560 302680 1034788 | 100893 8795 158 | 0.004 % |
5.86/5.93 c | 9008 | 2560 302680 1034788 | 100893 9008 157 | 0.004 % |
5.96/6.03 c | 9243 | 2560 302680 1034788 | 100893 9243 158 | 0.000 % |
6.06/6.11 c | 9501 | 2560 302680 1034788 | 100893 9501 159 | 0.000 % |
6.06/6.15 c | 9603 | 2560 302680 1034788 | 100893 9603 160 | 0.000 % |
6.06/6.20 c | 9714 | 2560 302680 1034788 | 100893 9714 160 | 0.000 % |
6.16/6.24 c | 9835 | 2560 302680 1034788 | 100893 9835 160 | 0.000 % |
6.16/6.29 c | 9969 | 2560 302680 1034788 | 100893 9969 159 | 0.005 % |
6.26/6.34 c | 10118 | 2560 302680 1034788 | 2147483647 10118 159 | 0.004 % |
6.36/6.40 c | 10278 | 2560 302680 1034788 | 2147483647 10278 159 | 0.000 % |
6.36/6.47 c | 10454 | 2560 302680 1034788 | 2147483647 10454 158 | 0.004 % |
6.47/6.55 c | 10647 | 2560 302680 1034788 | 2147483647 10647 157 | 0.000 % |
6.57/6.62 c | 10861 | 2560 302680 1034788 | 2147483647 10861 156 | 0.003 % |
6.66/6.71 c | 11094 | 2560 302680 1034788 | 2147483647 11094 155 | 0.004 % |
6.76/6.82 c | 11351 | 2560 302680 1034788 | 2147483647 11351 156 | 0.000 % |
6.86/6.92 c | 11635 | 2560 302680 1034788 | 2147483647 11635 157 | 0.004 % |
6.86/6.95 c | 11736 | 2560 302680 1034788 | 2147483647 11736 157 | 0.000 % |
6.96/7.00 c | 11846 | 2560 302680 1034788 | 2147483647 11846 156 | 0.004 % |
6.96/7.04 c | 11970 | 2560 302680 1034788 | 2147483647 11970 156 | 0.004 % |
7.06/7.10 c | 12104 | 2560 302680 1034788 | 2147483647 12104 155 | 0.005 % |
7.06/7.15 c | 12250 | 2560 302680 1034788 | 2147483647 12250 155 | 0.004 % |
7.16/7.22 c | 12411 | 2560 302680 1034788 | 2147483647 12411 154 | 0.000 % |
7.16/7.28 c | 12588 | 2560 302680 1034788 | 2147483647 12588 153 | 0.000 % |
7.26/7.35 c | 12783 | 2560 302680 1034788 | 2147483647 12783 154 | 0.000 % |
7.36/7.41 c | 12995 | 2560 302680 1034788 | 2147483647 12995 154 | 0.003 % |
7.36/7.49 c | 13228 | 2560 302680 1034788 | 2147483647 13228 154 | 0.000 % |
7.46/7.60 c | 13484 | 2560 302680 1034788 | 2147483647 13484 154 | 0.004 % |
7.67/7.71 c | 13765 | 2560 302680 1034788 | 2147483647 13765 154 | 0.004 % |
7.76/7.81 c | 14074 | 2560 302680 1034788 | 2147483647 14074 153 | 0.000 % |
7.76/7.86 c | 14174 | 2560 302680 1034788 | 2147483647 14174 154 | 0.000 % |
7.86/7.90 c | 14284 | 2560 302680 1034788 | 2147483647 14284 154 | 0.004 % |
7.86/7.95 c | 14406 | 2560 302680 1034788 | 2147483647 14406 154 | 0.004 % |
7.96/8.01 c | 14545 | 2560 302680 1034788 | 2147483647 14545 153 | 0.000 % |
7.96/8.08 c | 14691 | 2560 302680 1034788 | 2147483647 14691 154 | 0.000 % |
8.06/8.14 c | 14851 | 2560 302680 1034788 | 2147483647 14851 154 | 0.003 % |
8.16/8.21 c | 15028 | 2560 302680 1034788 | 2147483647 15028 154 | 0.000 % |
8.26/8.30 c | 15221 | 2560 302680 1034788 | 2147483647 15221 154 | 0.000 % |
8.26/8.38 c | 15434 | 2560 302680 1034788 | 2147483647 15434 154 | 0.000 % |
8.36/8.47 c | 15668 | 2560 302680 1034788 | 2147483647 15668 154 | 0.004 % |
8.46/8.59 c | 15924 | 2560 302680 1034788 | 2147483647 15924 154 | 0.004 % |
8.66/8.71 c | 16206 | 2560 302680 1034788 | 2147483647 16206 153 | 0.004 % |
8.76/8.84 c | 16515 | 2560 302680 1034788 | 2147483647 16515 152 | 0.004 % |
8.95/9.01 c | 16855 | 2560 302680 1034788 | 2147483647 16855 153 | 0.000 % |
8.95/9.06 c | 16955 | 2560 302680 1034788 | 2147483647 16955 154 | 0.004 % |
9.05/9.12 c | 17067 | 2560 302680 1034788 | 2147483647 17067 154 | 0.000 % |
9.05/9.18 c | 17190 | 2560 302680 1034788 | 2147483647 17190 155 | 0.000 % |
9.16/9.24 c | 17323 | 2560 302680 1034788 | 2147483647 17323 155 | 0.000 % |
9.16/9.30 c | 17469 | 2560 302680 1034788 | 2147483647 17469 154 | 0.004 % |
9.26/9.37 c | 17630 | 2560 302680 1034788 | 2147483647 17630 154 | 0.004 % |
9.36/9.44 c | 17808 | 2560 302680 1034788 | 2147483647 17808 154 | 0.004 % |
9.46/9.52 c | 18001 | 2560 302680 1034788 | 2147483647 18001 153 | 0.004 % |
9.56/9.63 c | 18215 | 2560 302680 1034788 | 2147483647 18215 154 | 0.000 % |
9.66/9.74 c | 18448 | 2560 302680 1034788 | 2147483647 18448 155 | 0.000 % |
9.76/9.86 c | 18704 | 2560 302680 1034788 | 2147483647 18704 155 | 0.000 % |
9.86/9.97 c | 18985 | 2560 302680 1034788 | 2147483647 18985 155 | 0.004 % |
10.06/10.10 c | 19294 | 2560 302680 1034788 | 2147483647 19294 155 | 0.004 % |
10.16/10.25 c | 19633 | 2560 302680 1034788 | 2147483647 19633 154 | 0.000 % |
10.25/10.40 c | 20007 | 2560 302680 1034788 | 2147483647 20007 154 | 0.000 % |
10.35/10.46 c | 20109 | 2560 302680 1034788 | 2147483647 20109 154 | 0.000 % |
10.45/10.52 c | 20220 | 2560 302680 1034788 | 2147483647 20220 154 | 0.000 % |
10.45/10.57 c | 20341 | 2560 302680 1034788 | 2147483647 20341 154 | 0.004 % |
10.55/10.62 c | 20475 | 2560 302680 1034788 | 2147483647 20475 154 | 0.005 % |
10.55/10.69 c | 20622 | 2560 302680 1034788 | 2147483647 20622 154 | 0.005 % |
10.65/10.76 c | 20782 | 2560 302680 1034788 | 2147483647 20782 153 | 0.005 % |
10.75/10.84 c | 20958 | 2560 302680 1034788 | 2147483647 20958 153 | 0.004 % |
10.85/10.92 c | 21151 | 2560 302680 1034788 | 2147483647 21151 153 | 0.004 % |
10.85/11.00 c | 21363 | 2560 302680 1034788 | 2147483647 21363 153 | 0.004 % |
11.05/11.11 c | 21598 | 2560 302680 1034788 | 2147483647 21598 153 | 0.000 % |
11.15/11.22 c | 21854 | 2560 302680 1034788 | 2147483647 21854 153 | 0.000 % |
11.25/11.35 c | 22135 | 2560 302680 1034788 | 2147483647 22135 154 | 0.004 % |
11.35/11.49 c | 22444 | 2560 302680 1034788 | 2147483647 22444 154 | 0.000 % |
11.56/11.62 c | 22784 | 2560 302680 1034788 | 2147483647 22784 154 | 0.000 % |
11.66/11.78 c | 23158 | 2560 302680 1034788 | 2147483647 23158 153 | 0.003 % |
11.86/11.95 c | 23568 | 2560 302680 1034788 | 2147483647 23568 153 | 0.003 % |
11.86/12.00 c | 23668 | 2560 302680 1034788 | 2147483647 23668 153 | 0.000 % |
11.96/12.06 c | 23778 | 2560 302680 1034788 | 2147483647 23778 153 | 0.004 % |
12.06/12.11 c | 23901 | 2560 302680 1034788 | 2147483647 23901 153 | 0.004 % |
12.06/12.17 c | 24034 | 2560 302680 1034788 | 2147483647 24034 153 | 0.000 % |
12.16/12.24 c | 24180 | 2560 302680 1034788 | 2147483647 24180 153 | 0.000 % |
12.26/12.32 c | 24340 | 2560 302680 1034788 | 2147483647 24340 153 | 0.004 % |
12.36/12.40 c | 24517 | 2560 302680 1034788 | 2147483647 24517 153 | 0.004 % |
12.46/12.51 c | 24710 | 2560 302680 1034788 | 2147483647 24710 154 | 0.000 % |
12.46/12.60 c | 24924 | 2560 302680 1034788 | 2147483647 24924 153 | 0.000 % |
12.66/12.70 c | 25159 | 2560 302680 1034788 | 2147483647 25159 153 | 0.004 % |
12.76/12.81 c | 25415 | 2560 302680 1034788 | 2147483647 25415 153 | 0.000 % |
12.85/12.94 c | 25701 | 2560 302680 1034788 | 2147483647 25701 154 | 0.000 % |
12.96/13.09 c | 26010 | 2560 302680 1034788 | 2147483647 26010 154 | 0.004 % |
13.25/13.30 c | 26350 | 2560 302680 1034788 | 2147483647 26350 155 | 0.000 % |
13.45/13.52 c | 26725 | 2560 302680 1034788 | 2147483647 26725 156 | 0.000 % |
13.65/13.72 c | 27135 | 2560 302680 1034788 | 2147483647 27135 158 | 0.000 % |
13.85/13.94 c | 27584 | 2560 302680 1034788 | 2147483647 27584 158 | 0.000 % |
13.85/13.99 c | 27685 | 2560 302680 1034788 | 2147483647 27685 158 | 0.000 % |
13.95/14.06 c | 27798 | 2560 302680 1034788 | 2147483647 27798 158 | 0.000 % |
14.05/14.12 c | 27919 | 2560 302680 1034788 | 2147483647 27919 158 | 0.004 % |
14.05/14.19 c | 28053 | 2560 302680 1034788 | 2147483647 28053 158 | 0.004 % |
14.15/14.27 c | 28199 | 2560 302680 1034788 | 2147483647 28199 158 | 0.000 % |
14.25/14.35 c | 28359 | 2560 302680 1034788 | 2147483647 28359 158 | 0.000 % |
14.35/14.43 c | 28535 | 2560 302680 1034788 | 2147483647 28535 158 | 0.004 % |
14.45/14.52 c | 28728 | 2560 302680 1034788 | 2147483647 28728 159 | 0.000 % |
14.55/14.62 c | 28941 | 2560 302680 1034788 | 2147483647 28941 159 | 0.004 % |
14.65/14.71 c | 29175 | 2560 302680 1034788 | 2147483647 29175 159 | 0.004 % |
14.75/14.85 c | 29432 | 2560 302680 1034788 | 2147483647 29432 159 | 0.004 % |
14.85/14.97 c | 29714 | 2560 302680 1034788 | 2147483647 29714 159 | 0.000 % |
15.05/15.10 c | 30023 | 2560 302680 1034788 | 2147483647 30023 158 | 0.004 % |
15.15/15.27 c | 30364 | 2560 302680 1034788 | 2147483647 30364 159 | 0.000 % |
15.36/15.44 c | 30736 | 2560 302680 1034788 | 2147483647 30736 159 | 0.003 % |
15.55/15.63 c | 31145 | 2560 302680 1034788 | 2147483647 31145 159 | 0.000 % |
15.75/15.85 c | 31596 | 2560 302680 1034788 | 2147483647 31596 159 | 0.000 % |
16.05/16.11 c | 32090 | 2560 302680 1034788 | 2147483647 32090 160 | 0.000 % |
16.05/16.16 c | 32192 | 2560 302680 1034788 | 2147483647 32192 160 | 0.000 % |
16.15/16.22 c | 32302 | 2560 302680 1034788 | 2147483647 32302 160 | 0.004 % |
16.15/16.27 c | 32423 | 2560 302680 1034788 | 2147483647 32423 160 | 0.004 % |
16.25/16.34 c | 32556 | 2560 302680 1034788 | 2147483647 32556 159 | 0.000 % |
16.35/16.42 c | 32702 | 2560 302680 1034788 | 2147483647 32702 160 | 0.000 % |
16.45/16.51 c | 32864 | 2560 302680 1034788 | 2147483647 32864 160 | 0.004 % |
16.45/16.59 c | 33040 | 2560 302680 1034788 | 2147483647 33040 160 | 0.004 % |
16.55/16.69 c | 33234 | 2560 302680 1034788 | 2147483647 33234 160 | 0.000 % |
16.74/16.80 c | 33446 | 2560 302680 1034788 | 2147483647 33446 160 | 0.000 % |
16.84/16.92 c | 33679 | 2560 302680 1034788 | 2147483647 33679 160 | 0.000 % |
16.94/17.06 c | 33935 | 2560 302680 1034788 | 2147483647 33935 160 | 0.003 % |
17.14/17.21 c | 34217 | 2560 302680 1034788 | 2147483647 34217 160 | 0.004 % |
17.24/17.36 c | 34528 | 2560 302680 1034788 | 2147483647 34528 160 | 0.003 % |
17.45/17.56 c | 34867 | 2560 302680 1034788 | 2147483647 34867 160 | 0.000 % |
17.64/17.75 c | 35240 | 2560 302680 1034788 | 2147483647 35240 161 | 0.003 % |
17.84/17.95 c | 35650 | 2560 302680 1034788 | 2147483647 35650 161 | 0.000 % |
18.04/18.15 c | 36099 | 2560 302680 1034788 | 2147483647 36099 161 | 0.000 % |
18.35/18.42 c | 36592 | 2560 302680 1034788 | 2147483647 36592 162 | 0.000 % |
18.65/18.74 c | 37134 | 2560 302680 1034788 | 2147483647 37134 162 | 0.000 % |
18.75/18.80 c | 37234 | 2560 302680 1034788 | 2147483647 37234 162 | 0.003 % |
18.75/18.86 c | 37345 | 2560 302680 1034788 | 2147483647 37345 162 | 0.000 % |
18.84/18.93 c | 37466 | 2560 302680 1034788 | 2147483647 37466 162 | 0.003 % |
18.94/19.01 c | 37599 | 2560 302680 1034788 | 2147483647 37599 162 | 0.004 % |
18.94/19.09 c | 37745 | 2560 302680 1034788 | 2147483647 37745 162 | 0.000 % |
19.04/19.17 c | 37907 | 2560 302680 1034788 | 2147483647 37907 162 | 0.005 % |
19.14/19.26 c | 38084 | 2560 302680 1034788 | 2147483647 38084 162 | 0.000 % |
19.24/19.36 c | 38279 | 2560 302680 1034788 | 2147483647 38279 163 | 0.000 % |
19.34/19.46 c | 38491 | 2560 302680 1034788 | 2147483647 38491 163 | 0.004 % |
19.44/19.59 c | 38725 | 2560 302680 1034788 | 2147483647 38725 163 | 0.000 % |
19.64/19.74 c | 38981 | 2560 302680 1034788 | 2147483647 38981 163 | 0.004 % |
19.74/19.89 c | 39262 | 2560 302680 1034788 | 2147483647 39262 162 | 0.005 % |
19.94/20.08 c | 39571 | 2560 302680 1034788 | 2147483647 39571 162 | 0.005 % |
20.24/20.30 c | 39910 | 2560 302680 1034788 | 2147483647 39910 163 | 0.000 % |
20.44/20.54 c | 40282 | 2560 302680 1034788 | 2147483647 40282 163 | 0.000 % |
20.64/20.74 c | 40692 | 2560 302680 1034788 | 2147483647 40692 162 | 0.000 % |
20.94/21.01 c | 41141 | 2560 302680 1034788 | 2147483647 41141 162 | 0.000 % |
21.14/21.27 c | 41634 | 2560 302680 1034788 | 2147483647 41634 162 | 0.004 % |
21.44/21.58 c | 42176 | 2560 302680 1034788 | 2147483647 42176 161 | 0.004 % |
21.74/21.89 c | 42772 | 2560 302680 1034788 | 2147483647 42772 161 | 0.004 % |
21.84/21.96 c | 42873 | 2560 302680 1034788 | 2147483647 42873 161 | 0.000 % |
21.94/22.02 c | 42984 | 2560 302680 1034788 | 2147483647 42984 161 | 0.000 % |
22.04/22.12 c | 43105 | 2560 302680 1034788 | 2147483647 43105 161 | 0.000 % |
22.04/22.19 c | 43238 | 2560 302680 1034788 | 2147483647 43238 161 | 0.004 % |
22.14/22.28 c | 43385 | 2560 302680 1034788 | 2147483647 43385 160 | 0.004 % |
22.24/22.36 c | 43546 | 2560 302680 1034788 | 2147483647 43546 160 | 0.000 % |
22.34/22.49 c | 43727 | 2560 302680 1034788 | 2147483647 43727 160 | 0.000 % |
22.54/22.61 c | 43920 | 2560 302680 1034788 | 2147483647 43920 160 | 0.000 % |
22.64/22.73 c | 44134 | 2560 302680 1034788 | 2147483647 44134 160 | 0.000 % |
22.74/22.85 c | 44368 | 2560 302680 1034788 | 2147483647 44368 160 | 0.000 % |
22.95/23.01 c | 44624 | 2560 302680 1034788 | 2147483647 44624 160 | 0.004 % |
23.05/23.16 c | 44905 | 2560 302680 1034788 | 2147483647 44905 160 | 0.004 % |
23.24/23.32 c | 45216 | 2560 302680 1034788 | 2147483647 45216 159 | 0.005 % |
23.44/23.52 c | 45556 | 2560 302680 1034788 | 2147483647 45556 159 | 0.000 % |
23.64/23.74 c | 45928 | 2560 302680 1034788 | 2147483647 45928 160 | 0.000 % |
23.94/24.02 c | 46337 | 2560 302680 1034788 | 2147483647 46337 160 | 0.000 % |
24.24/24.33 c | 46786 | 2560 302680 1034788 | 2147483647 46786 160 | 0.004 % |
24.54/24.63 c | 47280 | 2560 302680 1034788 | 2147483647 47280 160 | 0.000 % |
24.84/24.98 c | 47824 | 2560 302680 1034788 | 2147483647 47824 159 | 0.000 % |
25.34/25.43 c | 48420 | 2560 302680 1034788 | 2147483647 48420 159 | 0.000 % |
25.73/25.89 c | 49077 | 2560 302680 1034788 | 2147483647 49077 159 | 0.000 % |
25.83/25.98 c | 49177 | 2560 302680 1034788 | 2147483647 49177 159 | 0.000 % |
25.93/26.07 c | 49289 | 2560 302680 1034788 | 2147483647 49289 159 | 0.003 % |
26.03/26.14 c | 49411 | 2560 302680 1034788 | 2147483647 49411 159 | 0.000 % |
26.13/26.21 c | 49545 | 2560 302680 1034788 | 2147483647 49545 159 | 0.000 % |
26.24/26.34 c | 49694 | 2560 302680 1034788 | 2147483647 49694 159 | 0.000 % |
26.34/26.44 c | 49855 | 2560 302680 1034788 | 2147483647 49855 159 | 0.000 % |
26.43/26.56 c | 50031 | 2560 302680 1034788 | 2147483647 50031 159 | 0.004 % |
26.53/26.68 c | 50225 | 2560 302680 1034788 | 2147483647 50225 159 | 0.000 % |
26.73/26.81 c | 50439 | 2560 302680 1034788 | 2147483647 50439 159 | 0.000 % |
26.83/26.94 c | 50672 | 2560 302680 1034788 | 2147483647 50672 159 | 0.005 % |
26.93/27.08 c | 50928 | 2560 302680 1034788 | 2147483647 50928 159 | 0.004 % |
27.13/27.27 c | 51209 | 2560 302680 1034788 | 2147483647 51209 159 | 0.004 % |
27.34/27.45 c | 51518 | 2560 302680 1034788 | 2147483647 51518 159 | 0.000 % |
27.53/27.69 c | 51858 | 2560 302680 1034788 | 2147483647 51858 160 | 0.000 % |
27.84/27.95 c | 52231 | 2560 302680 1034788 | 2147483647 52231 160 | 0.000 % |
28.04/28.17 c | 52642 | 2560 302680 1034788 | 2147483647 52642 160 | 0.004 % |
28.34/28.44 c | 53091 | 2560 302680 1034788 | 2147483647 53091 160 | 0.004 % |
28.64/28.77 c | 53586 | 2560 302680 1034788 | 2147483647 53586 160 | 0.000 % |
29.03/29.10 c | 54128 | 2560 302680 1034788 | 2147483647 54128 161 | 0.000 % |
29.33/29.47 c | 54726 | 2560 302680 1034788 | 2147483647 54726 161 | 0.000 % |
29.73/29.88 c | 55381 | 2560 302680 1034788 | 2147483647 55381 161 | 0.004 % |
30.23/30.37 c | 56101 | 2560 302680 1034788 | 2147483647 56101 161 | 0.005 % |
30.33/30.44 c | 56202 | 2560 302680 1034788 | 2147483647 56202 161 | 0.004 % |
30.43/30.52 c | 56313 | 2560 302680 1034788 | 2147483647 56313 161 | 0.004 % |
30.53/30.60 c | 56435 | 2560 302680 1034788 | 2147483647 56435 161 | 0.000 % |
30.53/30.68 c | 56569 | 2560 302680 1034788 | 2147483647 56569 161 | 0.004 % |
30.73/30.80 c | 56716 | 2560 302680 1034788 | 2147483647 56716 161 | 0.000 % |
30.83/30.92 c | 56876 | 2560 302680 1034788 | 2147483647 56876 161 | 0.000 % |
30.93/31.04 c | 57054 | 2560 302680 1034788 | 2147483647 57054 161 | 0.004 % |
31.03/31.17 c | 57248 | 2560 302680 1034788 | 2147483647 57248 161 | 0.000 % |
31.23/31.33 c | 57460 | 2560 302680 1034788 | 2147483647 57460 161 | 0.000 % |
31.33/31.48 c | 57693 | 2560 302680 1034788 | 2147483647 57693 161 | 0.000 % |
31.54/31.64 c | 57951 | 2560 302680 1034788 | 2147483647 57951 161 | 0.000 % |
31.74/31.81 c | 58233 | 2560 302680 1034788 | 2147483647 58233 161 | 0.000 % |
31.94/32.05 c | 58542 | 2560 302680 1034788 | 2147483647 58542 161 | 0.000 % |
32.23/32.31 c | 58882 | 2560 302680 1034788 | 2147483647 58882 161 | 0.000 % |
32.43/32.54 c | 59254 | 2560 302680 1034788 | 2147483647 59254 161 | 0.000 % |
32.73/32.82 c | 59665 | 2560 302680 1034788 | 2147483647 59665 161 | 0.000 % |
33.03/33.10 c | 60115 | 2560 302680 1034788 | 2147483647 60115 161 | 0.000 % |
33.33/33.40 c | 60608 | 2560 302680 1034788 | 2147483647 60608 161 | 0.004 % |
33.63/33.74 c | 61150 | 2560 302680 1034788 | 2147483647 61150 160 | 0.004 % |
33.93/34.08 c | 61746 | 2560 302680 1034788 | 2147483647 61746 160 | 0.004 % |
34.44/34.52 c | 62402 | 2560 302680 1034788 | 2147483647 62402 159 | 0.003 % |
34.93/35.02 c | 63124 | 2560 302680 1034788 | 2147483647 63124 159 | 0.004 % |
35.43/35.52 c | 63916 | 2560 302680 1034788 | 2147483647 63916 158 | 0.003 % |
35.53/35.60 c | 64017 | 2560 302680 1034788 | 2147483647 64017 158 | 0.004 % |
35.53/35.69 c | 64129 | 2560 302680 1034788 | 2147483647 64129 158 | 0.000 % |
35.63/35.77 c | 64250 | 2560 302680 1034788 | 2147483647 64250 159 | 0.000 % |
35.73/35.87 c | 64387 | 2560 302680 1034788 | 2147483647 64387 159 | 0.000 % |
35.83/35.95 c | 64533 | 2560 302680 1034788 | 2147483647 64533 159 | 0.000 % |
35.93/36.09 c | 64695 | 2560 302680 1034788 | 2147483647 64695 159 | 0.000 % |
36.13/36.20 c | 64873 | 2560 302680 1034788 | 2147483647 64873 159 | 0.000 % |
36.23/36.37 c | 65066 | 2560 302680 1034788 | 2147483647 65066 159 | 0.000 % |
36.43/36.54 c | 65278 | 2560 302680 1034788 | 2147483647 65278 159 | 0.000 % |
36.62/36.70 c | 65511 | 2560 302680 1034788 | 2147483647 65511 159 | 0.005 % |
36.82/36.91 c | 65767 | 2560 302680 1034788 | 2147483647 65767 159 | 0.000 % |
36.93/37.08 c | 66048 | 2560 302680 1034788 | 2147483647 66048 159 | 0.000 % |
37.13/37.29 c | 66357 | 2560 302680 1034788 | 2147483647 66357 160 | 0.000 % |
37.43/37.53 c | 66696 | 2560 302680 1034788 | 2147483647 66696 160 | 0.000 % |
37.63/37.76 c | 67068 | 2560 302680 1034788 | 2147483647 67068 160 | 0.000 % |
37.93/38.07 c | 67477 | 2560 302680 1034788 | 2147483647 67477 161 | 0.000 % |
38.33/38.41 c | 67928 | 2560 302680 1034788 | 2147483647 67928 161 | 0.004 % |
38.63/38.75 c | 68421 | 2560 302680 1034788 | 2147483647 68421 161 | 0.000 % |
39.03/39.13 c | 68963 | 2560 302680 1034788 | 2147483647 68963 161 | 0.000 % |
39.43/39.57 c | 69559 | 2560 302680 1034788 | 2147483647 69559 161 | 0.000 % |
40.02/40.15 c | 70216 | 2560 302680 1034788 | 2147483647 70216 161 | 0.000 % |
40.53/40.69 c | 70936 | 2560 302680 1034788 | 2147483647 70936 161 | 0.000 % |
41.22/41.32 c | 71728 | 2560 302680 1034788 | 2147483647 71728 161 | 0.000 % |
41.72/41.88 c | 72599 | 2560 302680 1034788 | 2147483647 72599 161 | 0.000 % |
41.82/41.98 c | 72699 | 2560 302680 1034788 | 2147483647 72699 161 | 0.000 % |
41.92/42.06 c | 72811 | 2560 302680 1034788 | 2147483647 72811 161 | 0.000 % |
42.02/42.15 c | 72933 | 2560 302680 1034788 | 2147483647 72933 161 | 0.000 % |
42.12/42.26 c | 73069 | 2560 302680 1034788 | 2147483647 73069 161 | 0.004 % |
42.33/42.42 c | 73215 | 2560 302680 1034788 | 2147483647 73215 161 | 0.000 % |
42.43/42.52 c | 73375 | 2560 302680 1034788 | 2147483647 73375 161 | 0.004 % |
42.53/42.65 c | 73551 | 2560 302680 1034788 | 2147483647 73551 161 | 0.000 % |
42.63/42.79 c | 73744 | 2560 302680 1034788 | 2147483647 73744 161 | 0.000 % |
42.83/42.93 c | 73956 | 2560 302680 1034788 | 2147483647 73956 161 | 0.000 % |
43.03/43.14 c | 74191 | 2560 302680 1034788 | 2147483647 74191 161 | 0.004 % |
43.23/43.34 c | 74447 | 2560 302680 1034788 | 2147483647 74447 161 | 0.004 % |
43.42/43.59 c | 74728 | 2560 302680 1034788 | 2147483647 74728 161 | 0.004 % |
43.72/43.82 c | 75037 | 2560 302680 1034788 | 2147483647 75037 161 | 0.004 % |
44.02/44.13 c | 75376 | 2560 302680 1034788 | 2147483647 75376 161 | 0.000 % |
44.32/44.48 c | 75748 | 2560 302680 1034788 | 2147483647 75748 161 | 0.000 % |
44.72/44.80 c | 76159 | 2560 302680 1034788 | 2147483647 76159 161 | 0.000 % |
45.03/45.18 c | 76608 | 2560 302680 1034788 | 2147483647 76608 161 | 0.004 % |
45.42/45.58 c | 77101 | 2560 302680 1034788 | 2147483647 77101 161 | 0.000 % |
45.82/45.99 c | 77645 | 2560 302680 1034788 | 2147483647 77645 161 | 0.004 % |
46.32/46.45 c | 78242 | 2560 302680 1034788 | 2147483647 78242 161 | 0.000 % |
46.82/46.91 c | 78897 | 2560 302680 1034788 | 2147483647 78897 161 | 0.004 % |
47.31/47.41 c | 79617 | 2560 302680 1034788 | 2147483647 79617 160 | 0.004 % |
47.82/47.95 c | 80409 | 2560 302680 1034788 | 2147483647 80409 160 | 0.004 % |
48.52/48.60 c | 81280 | 2560 302680 1034788 | 2147483647 81280 160 | 0.004 % |
49.21/49.34 c | 82239 | 2560 302680 1034788 | 2147483647 82239 160 | 0.004 % |
49.32/49.44 c | 82341 | 2560 302680 1034788 | 2147483647 82341 160 | 0.004 % |
49.42/49.52 c | 82452 | 2560 302680 1034788 | 2147483647 82452 159 | 0.004 % |
49.51/49.62 c | 82574 | 2560 302680 1034788 | 2147483647 82574 159 | 0.004 % |
49.61/49.75 c | 82710 | 2560 302680 1034788 | 2147483647 82710 160 | 0.000 % |
49.71/49.87 c | 82856 | 2560 302680 1034788 | 2147483647 82856 160 | 0.000 % |
49.81/49.98 c | 83016 | 2560 302680 1034788 | 2147483647 83016 159 | 0.003 % |
50.01/50.14 c | 83192 | 2560 302680 1034788 | 2147483647 83192 160 | 0.000 % |
50.21/50.32 c | 83387 | 2560 302680 1034788 | 2147483647 83387 160 | 0.000 % |
50.31/50.48 c | 83599 | 2560 302680 1034788 | 2147483647 83599 160 | 0.000 % |
50.62/50.72 c | 83834 | 2560 302680 1034788 | 2147483647 83834 160 | 0.000 % |
50.82/50.94 c | 84090 | 2560 302680 1034788 | 2147483647 84090 160 | 0.004 % |
51.02/51.18 c | 84375 | 2560 302680 1034788 | 2147483647 84375 160 | 0.000 % |
51.32/51.46 c | 84685 | 2560 302680 1034788 | 2147483647 84685 160 | 0.000 % |
51.52/51.68 c | 85024 | 2560 302680 1034788 | 2147483647 85024 160 | 0.005 % |
51.92/52.03 c | 85397 | 2560 302680 1034788 | 2147483647 85397 160 | 0.000 % |
52.21/52.31 c | 85806 | 2560 302680 1034788 | 2147483647 85806 160 | 0.000 % |
52.62/52.72 c | 86255 | 2560 302680 1034788 | 2147483647 86255 161 | 0.005 % |
53.01/53.17 c | 86751 | 2560 302680 1034788 | 2147483647 86751 160 | 0.004 % |
53.41/53.57 c | 87293 | 2560 302680 1034788 | 2147483647 87293 160 | 0.003 % |
53.91/54.02 c | 87889 | 2560 302680 1034788 | 2147483647 87889 160 | 0.000 % |
54.41/54.54 c | 88544 | 2560 302680 1034788 | 2147483647 88544 160 | 0.005 % |
55.01/55.14 c | 89264 | 2560 302680 1034788 | 2147483647 89264 161 | 0.000 % |
55.81/55.91 c | 90056 | 2560 302680 1034788 | 2147483647 90056 161 | 0.000 % |
56.61/56.76 c | 90928 | 2560 302680 1034788 | 2147483647 90928 162 | 0.000 % |
57.31/57.45 c | 91889 | 2560 302680 1034788 | 2147483647 91889 162 | 0.000 % |
58.11/58.26 c | 92943 | 2560 302680 1034788 | 2147483647 92943 162 | 0.000 % |
58.21/58.37 c | 93045 | 2560 302680 1034788 | 2147483647 93045 162 | 0.004 % |
58.31/58.48 c | 93155 | 2560 302680 1034788 | 2147483647 93155 162 | 0.000 % |
58.51/58.60 c | 93276 | 2560 302680 1034788 | 2147483647 93276 162 | 0.000 % |
58.51/58.69 c | 93412 | 2560 302680 1034788 | 2147483647 93412 162 | 0.004 % |
58.71/58.81 c | 93559 | 2560 302680 1034788 | 2147483647 93559 162 | 0.000 % |
58.81/58.98 c | 93721 | 2560 302680 1034788 | 2147483647 93721 162 | 0.000 % |
59.01/59.12 c | 93897 | 2560 302680 1034788 | 2147483647 93897 162 | 0.000 % |
59.21/59.31 c | 94091 | 2560 302680 1034788 | 2147483647 94091 162 | 0.000 % |
59.41/59.51 c | 94306 | 2560 302680 1034788 | 2147483647 94306 163 | 0.000 % |
59.61/59.74 c | 94539 | 2560 302680 1034788 | 2147483647 94539 163 | 0.000 % |
59.81/59.95 c | 94797 | 2560 302680 1034788 | 2147483647 94797 163 | 0.000 % |
60.01/60.19 c | 95078 | 2560 302680 1034788 | 2147483647 95078 163 | 0.004 % |
60.32/60.50 c | 95388 | 2560 302680 1034788 | 2147483647 95388 163 | 0.000 % |
60.61/60.77 c | 95727 | 2560 302680 1034788 | 2147483647 95727 163 | 0.000 % |
60.91/61.06 c | 96101 | 2560 302680 1034788 | 2147483647 96101 163 | 0.000 % |
61.31/61.40 c | 96511 | 2560 302680 1034788 | 2147483647 96511 163 | 0.004 % |
61.91/62.02 c | 96961 | 2560 302680 1034788 | 2147483647 96961 164 | 0.000 % |
62.41/62.52 c | 97454 | 2560 302680 1034788 | 2147483647 97454 164 | 0.000 % |
62.81/62.97 c | 97996 | 2560 302680 1034788 | 2147483647 97996 164 | 0.000 % |
63.40/63.54 c | 98593 | 2560 302680 1034788 | 2147483647 98593 164 | 0.000 % |
64.20/64.36 c | 99249 | 2560 302680 1034788 | 2147483647 99249 164 | 0.000 % |
64.91/65.05 c | 99970 | 2560 302680 1034788 | 2147483647 99970 164 | 0.000 % |
65.61/65.74 c | 100763 | 2560 302680 1034788 | 2147483647 100763 164 | 0.000 % |
66.51/66.61 c | 101634 | 2560 302680 1034788 | 2147483647 101634 164 | 0.003 % |
67.41/67.59 c | 102592 | 2560 302680 1034788 | 2147483647 102592 164 | 0.000 % |
68.60/68.73 c | 103645 | 2560 302680 1034788 | 2147483647 103645 165 | 0.000 % |
69.71/69.81 c | 104804 | 2560 302680 1034788 | 2147483647 104804 165 | 0.000 % |
69.81/69.90 c | 104904 | 2560 302680 1034788 | 2147483647 104904 165 | 0.004 % |
69.91/70.02 c | 105015 | 2560 302680 1034788 | 2147483647 105015 165 | 0.000 % |
70.01/70.14 c | 105136 | 2560 302680 1034788 | 2147483647 105136 165 | 0.000 % |
70.11/70.29 c | 105269 | 2560 302680 1034788 | 2147483647 105269 165 | 0.000 % |
70.31/70.43 c | 105415 | 2560 302680 1034788 | 2147483647 105415 165 | 0.003 % |
70.40/70.58 c | 105575 | 2560 302680 1034788 | 2147483647 105575 165 | 0.000 % |
70.60/70.79 c | 105751 | 2560 302680 1034788 | 2147483647 105751 165 | 0.000 % |
70.90/71.03 c | 105948 | 2560 302680 1034788 | 2147483647 105948 165 | 0.000 % |
71.10/71.25 c | 106161 | 2560 302680 1034788 | 2147483647 106161 165 | 0.004 % |
71.31/71.47 c | 106396 | 2560 302680 1034788 | 2147483647 106396 165 | 0.004 % |
71.60/71.75 c | 106652 | 2560 302680 1034788 | 2147483647 106652 165 | 0.004 % |
71.80/71.98 c | 106933 | 2560 302680 1034788 | 2147483647 106933 165 | 0.004 % |
72.20/72.32 c | 107242 | 2560 302680 1034788 | 2147483647 107242 165 | 0.000 % |
72.50/72.68 c | 107582 | 2560 302680 1034788 | 2147483647 107582 165 | 0.000 % |
72.90/73.09 c | 107954 | 2560 302680 1034788 | 2147483647 107954 165 | 0.000 % |
73.40/73.51 c | 108363 | 2560 302680 1034788 | 2147483647 108363 165 | 0.000 % |
73.81/73.91 c | 108812 | 2560 302680 1034788 | 2147483647 108812 165 | 0.004 % |
74.31/74.41 c | 109306 | 2560 302680 1034788 | 2147483647 109306 165 | 0.000 % |
74.81/74.94 c | 109851 | 2560 302680 1034788 | 2147483647 109851 165 | 0.004 % |
75.30/75.43 c | 110447 | 2560 302680 1034788 | 2147483647 110447 165 | 0.000 % |
75.90/76.01 c | 111103 | 2560 302680 1034788 | 2147483647 111103 164 | 0.004 % |
76.60/76.70 c | 111823 | 2560 302680 1034788 | 2147483647 111823 164 | 0.004 % |
77.40/77.52 c | 112618 | 2560 302680 1034788 | 2147483647 112618 164 | 0.004 % |
78.20/78.37 c | 113489 | 2560 302680 1034788 | 2147483647 113489 163 | 0.004 % |
79.30/79.43 c | 114449 | 2560 302680 1034788 | 2147483647 114449 163 | 0.004 % |
80.31/80.41 c | 115502 | 2560 302680 1034788 | 2147483647 115502 163 | 0.003 % |
81.40/81.57 c | 116660 | 2560 302680 1034788 | 2147483647 116660 164 | 0.000 % |
82.70/82.80 c | 117933 | 2560 302680 1034788 | 2147483647 117933 164 | 0.005 % |
82.80/82.94 c | 118034 | 2560 302680 1034788 | 2147483647 118034 164 | 0.000 % |
83.00/83.10 c | 118147 | 2560 302680 1034788 | 2147483647 118147 164 | 0.000 % |
83.10/83.25 c | 118271 | 2560 302680 1034788 | 2147483647 118271 164 | 0.000 % |
83.30/83.41 c | 118405 | 2560 302680 1034788 | 2147483647 118405 164 | 0.000 % |
83.51/83.62 c | 118551 | 2560 302680 1034788 | 2147483647 118551 164 | 0.000 % |
83.70/83.80 c | 118712 | 2560 302680 1034788 | 2147483647 118712 164 | 0.000 % |
83.80/83.96 c | 118888 | 2560 302680 1034788 | 2147483647 118888 164 | 0.005 % |
84.00/84.17 c | 119083 | 2560 302680 1034788 | 2147483647 119083 164 | 0.004 % |
84.30/84.42 c | 119295 | 2560 302680 1034788 | 2147483647 119295 164 | 0.000 % |
84.60/84.73 c | 119529 | 2560 302680 1034788 | 2147483647 119529 164 | 0.000 % |
84.90/85.04 c | 119785 | 2560 302680 1034788 | 2147483647 119785 165 | 0.000 % |
85.30/85.42 c | 120069 | 2560 302680 1034788 | 2147483647 120069 165 | 0.000 % |
85.60/85.76 c | 120379 | 2560 302680 1034788 | 2147483647 120379 165 | 0.000 % |
85.90/86.08 c | 120718 | 2560 302680 1034788 | 2147483647 120718 165 | 0.004 % |
86.30/86.46 c | 121090 | 2560 302680 1034788 | 2147483647 121090 165 | 0.000 % |
86.80/86.94 c | 121500 | 2560 302680 1034788 | 2147483647 121500 165 | 0.000 % |
87.40/87.50 c | 121949 | 2560 302680 1034788 | 2147483647 121949 165 | 0.000 % |
87.90/88.02 c | 122442 | 2560 302680 1034788 | 2147483647 122442 165 | 0.000 % |
88.50/88.60 c | 122984 | 2560 302680 1034788 | 2147483647 122984 165 | 0.003 % |
89.20/89.36 c | 123583 | 2560 302680 1034788 | 2147483647 123583 165 | 0.000 % |
89.89/90.08 c | 124238 | 2560 302680 1034788 | 2147483647 124238 166 | 0.000 % |
90.69/90.86 c | 124958 | 2560 302680 1034788 | 2147483647 124958 166 | 0.000 % |
91.50/91.69 c | 125750 | 2560 302680 1034788 | 2147483647 125750 166 | 0.000 % |
92.40/92.55 c | 126622 | 2560 302680 1034788 | 2147483647 126622 166 | 0.004 % |
93.40/93.59 c | 127580 | 2560 302680 1034788 | 2147483647 127580 165 | 0.004 % |
94.79/94.94 c | 128633 | 2560 302680 1034788 | 2147483647 128633 166 | 0.000 % |
96.09/96.29 c | 129791 | 2560 302680 1034788 | 2147483647 129791 166 | 0.000 % |
97.59/97.70 c | 131065 | 2560 302680 1034788 | 2147483647 131065 166 | 0.000 % |
99.39/99.51 c | 132465 | 2560 302680 1034788 | 2147483647 132465 167 | 0.000 % |
99.49/99.62 c | 132565 | 2560 302680 1034788 | 2147483647 132565 167 | 0.000 % |
99.59/99.78 c | 132677 | 2560 302680 1034788 | 2147483647 132677 167 | 0.000 % |
99.78/99.93 c | 132798 | 2560 302680 1034788 | 2147483647 132798 167 | 0.000 % |
99.99/100.12 c | 132932 | 2560 302680 1034788 | 2147483647 132932 167 | 0.000 % |
100.18/100.30 c | 133079 | 2560 302680 1034788 | 2147483647 133079 167 | 0.000 % |
100.38/100.51 c | 133240 | 2560 302680 1034788 | 2147483647 133240 167 | 0.000 % |
100.48/100.68 c | 133416 | 2560 302680 1034788 | 2147483647 133416 167 | 0.004 % |
100.79/100.95 c | 133610 | 2560 302680 1034788 | 2147483647 133610 167 | 0.004 % |
101.00/101.19 c | 133822 | 2560 302680 1034788 | 2147483647 133822 167 | 0.000 % |
101.29/101.44 c | 134055 | 2560 302680 1034788 | 2147483647 134055 167 | 0.000 % |
101.59/101.76 c | 134311 | 2560 302680 1034788 | 2147483647 134311 167 | 0.000 % |
101.99/102.11 c | 134594 | 2560 302680 1034788 | 2147483647 134594 167 | 0.000 % |
102.29/102.41 c | 134905 | 2560 302680 1034788 | 2147483647 134905 167 | 0.000 % |
102.59/102.75 c | 135244 | 2560 302680 1034788 | 2147483647 135244 167 | 0.000 % |
103.09/103.20 c | 135617 | 2560 302680 1034788 | 2147483647 135617 167 | 0.000 % |
103.49/103.67 c | 136026 | 2560 302680 1034788 | 2147483647 136026 167 | 0.000 % |
104.08/104.27 c | 136476 | 2560 302680 1034788 | 2147483647 136476 167 | 0.000 % |
104.68/104.83 c | 136969 | 2560 302680 1034788 | 2147483647 136969 168 | 0.000 % |
105.28/105.45 c | 137511 | 2560 302680 1034788 | 2147483647 137511 168 | 0.000 % |
106.08/106.26 c | 138107 | 2560 302680 1034788 | 2147483647 138107 168 | 0.000 % |
106.88/107.06 c | 138762 | 2560 302680 1034788 | 2147483647 138762 168 | 0.003 % |
107.69/107.88 c | 139482 | 2560 302680 1034788 | 2147483647 139482 168 | 0.000 % |
108.69/108.83 c | 140274 | 2560 302680 1034788 | 2147483647 140274 168 | 0.000 % |
109.79/109.93 c | 141149 | 2560 302680 1034788 | 2147483647 141149 168 | 0.004 % |
110.89/111.03 c | 142107 | 2560 302680 1034788 | 2147483647 142107 168 | 0.004 % |
111.88/112.09 c | 143160 | 2560 302680 1034788 | 2147483647 143160 168 | 0.004 % |
113.18/113.31 c | 144318 | 2560 302680 1034788 | 2147483647 144318 167 | 0.000 % |
114.69/114.84 c | 145593 | 2560 302680 1034788 | 2147483647 145593 167 | 0.004 % |
116.39/116.59 c | 146993 | 2560 302680 1034788 | 2147483647 146993 167 | 0.000 % |
118.28/118.48 c | 148535 | 2560 302680 1034788 | 2147483647 148535 167 | 0.004 % |
118.48/118.62 c | 148635 | 2560 302680 1034788 | 2147483647 148635 167 | 0.000 % |
118.58/118.75 c | 148746 | 2560 302680 1034788 | 2147483647 148746 167 | 0.000 % |
118.78/118.91 c | 148867 | 2560 302680 1034788 | 2147483647 148867 167 | 0.004 % |
118.88/119.07 c | 149000 | 2560 302680 1034788 | 2147483647 149000 167 | 0.004 % |
119.18/119.32 c | 149147 | 2560 302680 1034788 | 2147483647 149147 167 | 0.000 % |
119.38/119.54 c | 149308 | 2560 302680 1034788 | 2147483647 149308 167 | 0.004 % |
119.58/119.73 c | 149485 | 2560 302680 1034788 | 2147483647 149485 167 | 0.004 % |
119.78/119.98 c | 149678 | 2560 302680 1034788 | 2147483647 149678 167 | 0.000 % |
120.08/120.25 c | 149890 | 2560 302680 1034788 | 2147483647 149890 167 | 0.003 % |
120.29/120.47 c | 150123 | 2560 302680 1034788 | 2147483647 150123 167 | 0.000 % |
120.59/120.76 c | 150379 | 2560 302680 1034788 | 2147483647 150379 167 | 0.004 % |
120.89/121.09 c | 150660 | 2560 302680 1034788 | 2147483647 150660 167 | 0.000 % |
121.28/121.44 c | 150969 | 2560 302680 1034788 | 2147483647 150969 167 | 0.004 % |
121.68/121.81 c | 151310 | 2560 302680 1034788 | 2147483647 151310 167 | 0.004 % |
122.08/122.27 c | 151682 | 2560 302680 1034788 | 2147483647 151682 167 | 0.004 % |
122.78/122.91 c | 152091 | 2560 302680 1034788 | 2147483647 152091 166 | 0.004 % |
123.28/123.44 c | 152541 | 2560 302680 1034788 | 2147483647 152541 167 | 0.000 % |
124.08/124.27 c | 153034 | 2560 302680 1034788 | 2147483647 153034 167 | 0.000 % |
124.78/124.99 c | 153576 | 2560 302680 1034788 | 2147483647 153576 167 | 0.000 % |
125.58/125.75 c | 154172 | 2560 302680 1034788 | 2147483647 154172 167 | 0.000 % |
126.29/126.49 c | 154827 | 2560 302680 1034788 | 2147483647 154827 167 | 0.000 % |
127.28/127.41 c | 155549 | 2560 302680 1034788 | 2147483647 155549 167 | 0.004 % |
128.48/128.63 c | 156342 | 2560 302680 1034788 | 2147483647 156342 168 | 0.000 % |
129.48/129.62 c | 157213 | 2560 302680 1034788 | 2147483647 157213 168 | 0.003 % |
130.48/130.60 c | 158172 | 2560 302680 1034788 | 2147483647 158172 168 | 0.004 % |
131.78/131.99 c | 159225 | 2560 302680 1034788 | 2147483647 159225 168 | 0.000 % |
133.28/133.47 c | 160383 | 2560 302680 1034788 | 2147483647 160383 168 | 0.000 % |
134.87/135.08 c | 161657 | 2560 302680 1034788 | 2147483647 161657 168 | 0.000 % |
136.57/136.75 c | 163057 | 2560 302680 1034788 | 2147483647 163057 168 | 0.004 % |
138.67/138.81 c | 164599 | 2560 302680 1034788 | 2147483647 164599 168 | 0.000 % |
140.97/141.18 c | 166294 | 2560 302680 1034788 | 2147483647 166294 169 | 0.000 % |
141.17/141.30 c | 166394 | 2560 302680 1034788 | 2147483647 166394 169 | 0.000 % |
141.27/141.42 c | 166504 | 2560 302680 1034788 | 2147483647 166504 169 | 0.000 % |
141.47/141.63 c | 166625 | 2560 302680 1034788 | 2147483647 166625 169 | 0.000 % |
141.57/141.79 c | 166758 | 2560 302680 1034788 | 2147483647 166758 169 | 0.000 % |
141.77/141.98 c | 166905 | 2560 302680 1034788 | 2147483647 166905 169 | 0.000 % |
142.07/142.22 c | 167067 | 2560 302680 1034788 | 2147483647 167067 169 | 0.003 % |
142.27/142.48 c | 167243 | 2560 302680 1034788 | 2147483647 167243 169 | 0.000 % |
142.57/142.72 c | 167438 | 2560 302680 1034788 | 2147483647 167438 170 | 0.000 % |
142.77/142.97 c | 167650 | 2560 302680 1034788 | 2147483647 167650 170 | 0.000 % |
143.07/143.29 c | 167885 | 2560 302680 1034788 | 2147483647 167885 169 | 0.004 % |
143.47/143.61 c | 168141 | 2560 302680 1034788 | 2147483647 168141 169 | 0.000 % |
143.77/143.96 c | 168422 | 2560 302680 1034788 | 2147483647 168422 169 | 0.000 % |
144.16/144.33 c | 168731 | 2560 302680 1034788 | 2147483647 168731 169 | 0.004 % |
144.66/144.81 c | 169070 | 2560 302680 1034788 | 2147483647 169070 169 | 0.004 % |
145.07/145.29 c | 169442 | 2560 302680 1034788 | 2147483647 169442 169 | 0.000 % |
145.56/145.74 c | 169853 | 2560 302680 1034788 | 2147483647 169853 169 | 0.000 % |
146.06/146.29 c | 170302 | 2560 302680 1034788 | 2147483647 170302 169 | 0.000 % |
146.87/147.01 c | 170799 | 2560 302680 1034788 | 2147483647 170799 169 | 0.000 % |
147.47/147.65 c | 171342 | 2560 302680 1034788 | 2147483647 171342 169 | 0.000 % |
148.27/148.45 c | 171938 | 2560 302680 1034788 | 2147483647 171938 169 | 0.000 % |
149.17/149.33 c | 172594 | 2560 302680 1034788 | 2147483647 172594 169 | 0.003 % |
150.16/150.32 c | 173314 | 2560 302680 1034788 | 2147483647 173314 169 | 0.000 % |
151.16/151.30 c | 174106 | 2560 302680 1034788 | 2147483647 174106 169 | 0.000 % |
152.16/152.40 c | 174978 | 2560 302680 1034788 | 2147483647 174978 169 | 0.004 % |
153.36/153.60 c | 175936 | 2560 302680 1034788 | 2147483647 175936 169 | 0.004 % |
154.66/154.82 c | 176990 | 2560 302680 1034788 | 2147483647 176990 168 | 0.004 % |
155.97/156.20 c | 178149 | 2560 302680 1034788 | 2147483647 178149 168 | 0.004 % |
157.66/157.83 c | 179422 | 2560 302680 1034788 | 2147483647 179422 168 | 0.005 % |
159.36/159.55 c | 180823 | 2560 302680 1034788 | 2147483647 180823 167 | 0.005 % |
161.56/161.71 c | 182365 | 2560 302680 1034788 | 2147483647 182365 166 | 0.005 % |
164.05/164.23 c | 184061 | 2560 302680 1034788 | 2147483647 184061 166 | 0.005 % |
166.97/167.10 c | 185925 | 2560 302680 1034788 | 2147483647 185925 167 | 0.000 % |
167.07/167.28 c | 186026 | 2560 302680 1034788 | 2147483647 186026 167 | 0.000 % |
167.36/167.52 c | 186136 | 2560 302680 1034788 | 2147483647 186136 167 | 0.000 % |
167.46/167.67 c | 186257 | 2560 302680 1034788 | 2147483647 186257 167 | 0.004 % |
167.66/167.87 c | 186390 | 2560 302680 1034788 | 2147483647 186390 167 | 0.000 % |
167.96/168.11 c | 186536 | 2560 302680 1034788 | 2147483647 186536 167 | 0.004 % |
168.26/168.45 c | 186697 | 2560 302680 1034788 | 2147483647 186697 167 | 0.000 % |
168.56/168.71 c | 186873 | 2560 302680 1034788 | 2147483647 186873 167 | 0.000 % |
168.86/169.02 c | 187068 | 2560 302680 1034788 | 2147483647 187068 167 | 0.000 % |
169.16/169.37 c | 187280 | 2560 302680 1034788 | 2147483647 187280 167 | 0.000 % |
169.56/169.73 c | 187513 | 2560 302680 1034788 | 2147483647 187513 167 | 0.000 % |
169.86/170.07 c | 187769 | 2560 302680 1034788 | 2147483647 187769 167 | 0.000 % |
170.26/170.41 c | 188050 | 2560 302680 1034788 | 2147483647 188050 167 | 0.000 % |
170.76/170.90 c | 188359 | 2560 302680 1034788 | 2147483647 188359 167 | 0.000 % |
171.26/171.43 c | 188698 | 2560 302680 1034788 | 2147483647 188698 167 | 0.000 % |
171.76/171.92 c | 189072 | 2560 302680 1034788 | 2147483647 189072 167 | 0.000 % |
172.25/172.46 c | 189481 | 2560 302680 1034788 | 2147483647 189481 167 | 0.000 % |
172.95/173.14 c | 189930 | 2560 302680 1034788 | 2147483647 189930 167 | 0.000 % |
173.66/173.81 c | 190424 | 2560 302680 1034788 | 2147483647 190424 167 | 0.000 % |
174.45/174.65 c | 190966 | 2560 302680 1034788 | 2147483647 190966 167 | 0.000 % |
175.35/175.53 c | 191562 | 2560 302680 1034788 | 2147483647 191562 167 | 0.000 % |
176.25/176.41 c | 192217 | 2560 302680 1034788 | 2147483647 192217 168 | 0.000 % |
177.25/177.45 c | 192941 | 2560 302680 1034788 | 2147483647 192941 168 | 0.000 % |
178.35/178.57 c | 193733 | 2560 302680 1034788 | 2147483647 193733 168 | 0.000 % |
179.55/179.78 c | 194605 | 2560 302680 1034788 | 2147483647 194605 168 | 0.000 % |
180.85/181.06 c | 195566 | 2560 302680 1034788 | 2147483647 195566 168 | 0.000 % |
182.85/183.09 c | 196620 | 2560 302680 1034788 | 2147483647 196620 168 | 0.000 % |
184.75/184.93 c | 197778 | 2560 302680 1034788 | 2147483647 197778 168 | 0.000 % |
186.35/186.57 c | 199051 | 2560 302680 1034788 | 2147483647 199051 168 | 0.000 % |
188.45/188.62 c | 200451 | 2560 302680 1034788 | 2147483647 200451 168 | 0.000 % |
190.54/190.79 c | 201993 | 2560 302680 1034788 | 2147483647 201993 168 | 0.000 % |
192.95/193.14 c | 203687 | 2560 302680 1034788 | 2147483647 203687 168 | 0.000 % |
195.34/195.55 c | 205551 | 2560 302680 1034788 | 2147483647 205551 168 | 0.000 % |
198.74/198.98 c | 207600 | 2560 302680 1034788 | 2147483647 207600 169 | 0.000 % |
198.94/199.19 c | 207704 | 2560 302680 1034788 | 2147483647 207704 169 | 0.000 % |
199.14/199.37 c | 207814 | 2560 302680 1034788 | 2147483647 207814 169 | 0.003 % |
199.34/199.56 c | 207935 | 2560 302680 1034788 | 2147483647 207935 169 | 0.004 % |
199.54/199.75 c | 208070 | 2560 302680 1034788 | 2147483647 208070 169 | 0.003 % |
199.84/200.04 c | 208217 | 2560 302680 1034788 | 2147483647 208217 169 | 0.000 % |
200.14/200.34 c | 208378 | 2560 302680 1034788 | 2147483647 208378 169 | 0.000 % |
200.44/200.68 c | 208554 | 2560 302680 1034788 | 2147483647 208554 169 | 0.004 % |
200.84/201.04 c | 208749 | 2560 302680 1034788 | 2147483647 208749 169 | 0.000 % |
201.15/201.39 c | 208962 | 2560 302680 1034788 | 2147483647 208962 169 | 0.003 % |
201.55/201.74 c | 209195 | 2560 302680 1034788 | 2147483647 209195 169 | 0.005 % |
201.95/202.13 c | 209451 | 2560 302680 1034788 | 2147483647 209451 169 | 0.000 % |
202.34/202.54 c | 209732 | 2560 302680 1034788 | 2147483647 209732 169 | 0.000 % |
202.84/203.02 c | 210041 | 2560 302680 1034788 | 2147483647 210041 169 | 0.000 % |
203.35/203.58 c | 210380 | 2560 302680 1034788 | 2147483647 210380 169 | 0.000 % |
203.94/204.10 c | 210753 | 2560 302680 1034788 | 2147483647 210753 169 | 0.000 % |
204.54/204.72 c | 211162 | 2560 302680 1034788 | 2147483647 211162 169 | 0.005 % |
205.14/205.39 c | 211613 | 2560 302680 1034788 | 2147483647 211613 169 | 0.000 % |
205.94/206.18 c | 212107 | 2560 302680 1034788 | 2147483647 212107 169 | 0.004 % |
206.84/207.08 c | 212649 | 2560 302680 1034788 | 2147483647 212649 169 | 0.004 % |
207.84/208.02 c | 213245 | 2560 302680 1034788 | 2147483647 213245 169 | 0.004 % |
208.84/209.04 c | 213900 | 2560 302680 1034788 | 2147483647 213900 169 | 0.004 % |
210.04/210.30 c | 214620 | 2560 302680 1034788 | 2147483647 214620 169 | 0.004 % |
211.43/211.69 c | 215417 | 2560 302680 1034788 | 2147483647 215417 168 | 0.000 % |
212.74/212.96 c | 216289 | 2560 302680 1034788 | 2147483647 216289 168 | 0.004 % |
214.24/214.41 c | 217248 | 2560 302680 1034788 | 2147483647 217248 168 | 0.000 % |
215.84/216.06 c | 218301 | 2560 302680 1034788 | 2147483647 218301 168 | 0.003 % |
217.43/217.69 c | 219460 | 2560 302680 1034788 | 2147483647 219460 168 | 0.004 % |
219.53/219.75 c | 220733 | 2560 302680 1034788 | 2147483647 220733 168 | 0.004 % |
221.83/222.08 c | 222133 | 2560 302680 1034788 | 2147483647 222133 167 | 0.004 % |
224.03/224.21 c | 223674 | 2560 302680 1034788 | 2147483647 223674 167 | 0.004 % |
226.44/226.68 c | 225369 | 2560 302680 1034788 | 2147483647 225369 167 | 0.000 % |
229.33/229.55 c | 227232 | 2560 302680 1034788 | 2147483647 227232 167 | 0.004 % |
232.43/232.69 c | 229281 | 2560 302680 1034788 | 2147483647 229281 166 | 0.000 % |
236.53/236.75 c | 231536 | 2560 302680 1034788 | 2147483647 231536 165 | 0.004 % |
236.83/237.03 c | 231636 | 2560 302680 1034788 | 2147483647 231636 165 | 0.000 % |
237.03/237.27 c | 231746 | 2560 302680 1034788 | 2147483647 231746 165 | 0.000 % |
237.33/237.51 c | 231867 | 2560 302680 1034788 | 2147483647 231867 165 | 0.000 % |
237.53/237.74 c | 232002 | 2560 302680 1034788 | 2147483647 232002 165 | 0.003 % |
237.83/238.02 c | 232151 | 2560 302680 1034788 | 2147483647 232151 165 | 0.000 % |
238.12/238.36 c | 232311 | 2560 302680 1034788 | 2147483647 232311 165 | 0.004 % |
238.43/238.64 c | 232489 | 2560 302680 1034788 | 2147483647 232489 165 | 0.004 % |
238.82/239.04 c | 232682 | 2560 302680 1034788 | 2147483647 232682 165 | 0.004 % |
239.12/239.37 c | 232894 | 2560 302680 1034788 | 2147483647 232894 165 | 0.000 % |
239.54/239.74 c | 233128 | 2560 302680 1034788 | 2147483647 233128 165 | 0.005 % |
239.93/240.17 c | 233388 | 2560 302680 1034788 | 2147483647 233388 165 | 0.004 % |
240.43/240.70 c | 233669 | 2560 302680 1034788 | 2147483647 233669 165 | 0.003 % |
241.03/241.22 c | 233978 | 2560 302680 1034788 | 2147483647 233978 165 | 0.000 % |
241.63/241.81 c | 234320 | 2560 302680 1034788 | 2147483647 234320 165 | 0.004 % |
242.23/242.48 c | 234692 | 2560 302680 1034788 | 2147483647 234692 165 | 0.004 % |
242.83/243.09 c | 235102 | 2560 302680 1034788 | 2147483647 235102 165 | 0.003 % |
243.63/243.86 c | 235551 | 2560 302680 1034788 | 2147483647 235551 165 | 0.000 % |
244.63/244.81 c | 236045 | 2560 302680 1034788 | 2147483647 236045 165 | 0.000 % |
245.72/245.95 c | 236587 | 2560 302680 1034788 | 2147483647 236587 165 | 0.000 % |
247.02/247.21 c | 237183 | 2560 302680 1034788 | 2147483647 237183 165 | 0.000 % |
248.23/248.42 c | 237838 | 2560 302680 1034788 | 2147483647 237838 165 | 0.000 % |
249.33/249.53 c | 238558 | 2560 302680 1034788 | 2147483647 238558 165 | 0.004 % |
251.02/251.25 c | 239350 | 2560 302680 1034788 | 2147483647 239350 166 | 0.000 % |
252.63/252.82 c | 240221 | 2560 302680 1034788 | 2147483647 240221 166 | 0.004 % |
254.22/254.40 c | 241179 | 2560 302680 1034788 | 2147483647 241179 165 | 0.005 % |
256.12/256.31 c | 242232 | 2560 302680 1034788 | 2147483647 242232 165 | 0.000 % |
258.02/258.25 c | 243392 | 2560 302680 1034788 | 2147483647 243392 165 | 0.000 % |
260.52/260.76 c | 244665 | 2560 302680 1034788 | 2147483647 244665 165 | 0.004 % |
263.42/263.61 c | 246065 | 2560 302680 1034788 | 2147483647 246065 165 | 0.004 % |
266.72/266.90 c | 247605 | 2560 302680 1034788 | 2147483647 247605 165 | 0.000 % |
269.33/269.55 c | 249299 | 2560 302680 1034788 | 2147483647 249299 165 | 0.004 % |
272.22/272.42 c | 251166 | 2560 302680 1034788 | 2147483647 251166 165 | 0.000 % |
275.62/275.87 c | 253215 | 2560 302680 1034788 | 2147483647 253215 165 | 0.004 % |
279.42/279.62 c | 255469 | 2560 302680 1034788 | 2147483647 255469 165 | 0.004 % |
283.62/283.85 c | 257950 | 2560 302680 1034788 | 2147483647 257950 165 | 0.000 % |
283.82/284.01 c | 258050 | 2560 302680 1034788 | 2147483647 258050 165 | 0.004 % |
284.02/284.28 c | 258160 | 2560 302680 1034788 | 2147483647 258160 165 | 0.000 % |
284.31/284.52 c | 258281 | 2560 302680 1034788 | 2147483647 258281 165 | 0.000 % |
284.62/284.80 c | 258415 | 2560 302680 1034788 | 2147483647 258415 165 | 0.004 % |
284.81/285.07 c | 258562 | 2560 302680 1034788 | 2147483647 258562 165 | 0.003 % |
285.21/285.44 c | 258722 | 2560 302680 1034788 | 2147483647 258722 165 | 0.000 % |
285.61/285.82 c | 258900 | 2560 302680 1034788 | 2147483647 258900 165 | 0.000 % |
286.01/286.21 c | 259095 | 2560 302680 1034788 | 2147483647 259095 165 | 0.005 % |
286.41/286.62 c | 259309 | 2560 302680 1034788 | 2147483647 259309 165 | 0.000 % |
286.81/287.07 c | 259542 | 2560 302680 1034788 | 2147483647 259542 165 | 0.000 % |
287.41/287.60 c | 259799 | 2560 302680 1034788 | 2147483647 259799 165 | 0.000 % |
287.82/288.03 c | 260081 | 2560 302680 1034788 | 2147483647 260081 165 | 0.000 % |
288.31/288.52 c | 260393 | 2560 302680 1034788 | 2147483647 260393 165 | 0.000 % |
288.91/289.11 c | 260735 | 2560 302680 1034788 | 2147483647 260735 165 | 0.000 % |
289.71/289.90 c | 261107 | 2560 302680 1034788 | 2147483647 261107 165 | 0.004 % |
290.51/290.73 c | 261517 | 2560 302680 1034788 | 2147483647 261517 165 | 0.004 % |
291.31/291.55 c | 261966 | 2560 302680 1034788 | 2147483647 261966 165 | 0.000 % |
292.21/292.40 c | 262459 | 2560 302680 1034788 | 2147483647 262459 165 | 0.000 % |
293.21/293.41 c | 263004 | 2560 302680 1034788 | 2147483647 263004 165 | 0.003 % |
294.21/294.48 c | 263600 | 2560 302680 1034788 | 2147483647 263600 165 | 0.000 % |
295.31/295.52 c | 264255 | 2560 302680 1034788 | 2147483647 264255 165 | 0.000 % |
296.51/296.72 c | 264975 | 2560 302680 1034788 | 2147483647 264975 165 | 0.000 % |
297.91/298.14 c | 265770 | 2560 302680 1034788 | 2147483647 265770 166 | 0.000 % |
299.31/299.53 c | 266644 | 2560 302680 1034788 | 2147483647 266644 166 | 0.000 % |
300.91/301.17 c | 267602 | 2560 302680 1034788 | 2147483647 267602 166 | 0.000 % |
302.50/302.76 c | 268655 | 2560 302680 1034788 | 2147483647 268655 166 | 0.000 % |
305.00/305.24 c | 269813 | 2560 302680 1034788 | 2147483647 269813 166 | 0.000 % |
307.20/307.45 c | 271087 | 2560 302680 1034788 | 2147483647 271087 165 | 0.004 % |
310.00/310.24 c | 272487 | 2560 302680 1034788 | 2147483647 272487 166 | 0.000 % |
312.90/313.12 c | 274029 | 2560 302680 1034788 | 2147483647 274029 166 | 0.000 % |
316.60/316.81 c | 275723 | 2560 302680 1034788 | 2147483647 275723 166 | 0.000 % |
320.00/320.25 c | 277587 | 2560 302680 1034788 | 2147483647 277587 166 | 0.004 % |
324.90/325.11 c | 279636 | 2560 302680 1034788 | 2147483647 279636 167 | 0.000 % |
329.09/329.33 c | 281889 | 2560 302680 1034788 | 2147483647 281889 167 | 0.000 % |
333.69/333.92 c | 284367 | 2560 302680 1034788 | 2147483647 284367 167 | 0.000 % |
338.60/338.89 c | 287092 | 2560 302680 1034788 | 2147483647 287092 167 | 0.004 % |
338.99/339.21 c | 287196 | 2560 302680 1034788 | 2147483647 287196 167 | 0.000 % |
339.19/339.49 c | 287307 | 2560 302680 1034788 | 2147483647 287307 167 | 0.003 % |
339.49/339.75 c | 287428 | 2560 302680 1034788 | 2147483647 287428 167 | 0.000 % |
339.79/340.01 c | 287563 | 2560 302680 1034788 | 2147483647 287563 167 | 0.000 % |
340.09/340.33 c | 287710 | 2560 302680 1034788 | 2147483647 287710 167 | 0.000 % |
340.49/340.72 c | 287870 | 2560 302680 1034788 | 2147483647 287870 167 | 0.000 % |
340.89/341.14 c | 288046 | 2560 302680 1034788 | 2147483647 288046 167 | 0.000 % |
341.29/341.54 c | 288240 | 2560 302680 1034788 | 2147483647 288240 167 | 0.000 % |
341.69/341.94 c | 288452 | 2560 302680 1034788 | 2147483647 288452 167 | 0.000 % |
342.09/342.37 c | 288687 | 2560 302680 1034788 | 2147483647 288687 167 | 0.004 % |
342.59/342.85 c | 288943 | 2560 302680 1034788 | 2147483647 288943 167 | 0.000 % |
343.19/343.40 c | 289224 | 2560 302680 1034788 | 2147483647 289224 167 | 0.000 % |
343.69/343.93 c | 289536 | 2560 302680 1034788 | 2147483647 289536 167 | 0.003 % |
344.69/344.95 c | 289876 | 2560 302680 1034788 | 2147483647 289876 167 | 0.000 % |
345.48/345.72 c | 290248 | 2560 302680 1034788 | 2147483647 290248 167 | 0.004 % |
346.29/346.57 c | 290657 | 2560 302680 1034788 | 2147483647 290657 167 | 0.000 % |
347.08/347.33 c | 291106 | 2560 302680 1034788 | 2147483647 291106 167 | 0.000 % |
347.98/348.29 c | 291600 | 2560 302680 1034788 | 2147483647 291600 167 | 0.004 % |
349.18/349.40 c | 292142 | 2560 302680 1034788 | 2147483647 292142 167 | 0.004 % |
350.18/350.48 c | 292738 | 2560 302680 1034788 | 2147483647 292738 167 | 0.004 % |
351.48/351.70 c | 293398 | 2560 302680 1034788 | 2147483647 293398 167 | 0.000 % |
352.89/353.19 c | 294118 | 2560 302680 1034788 | 2147483647 294118 167 | 0.000 % |
354.39/354.65 c | 294913 | 2560 302680 1034788 | 2147483647 294913 167 | 0.004 % |
356.09/356.32 c | 295784 | 2560 302680 1034788 | 2147483647 295784 167 | 0.004 % |
357.69/357.97 c | 296742 | 2560 302680 1034788 | 2147483647 296742 167 | 0.004 % |
359.88/360.19 c | 297795 | 2560 302680 1034788 | 2147483647 297795 167 | 0.000 % |
362.08/362.32 c | 298955 | 2560 302680 1034788 | 2147483647 298955 166 | 0.004 % |
364.78/365.01 c | 300228 | 2560 302680 1034788 | 300000 300228 166 | 0.004 % |
367.38/367.63 c | 301628 | 2560 302680 1034788 | 300000 269796 164 | 0.000 % |
369.98/370.24 c | 303169 | 2560 302680 1034788 | 300000 271337 163 | 0.005 % |
373.28/373.58 c | 304863 | 2560 302680 1034788 | 300000 273031 163 | 0.004 % |
376.98/377.28 c | 306726 | 2560 302680 1034788 | 300000 274894 163 | 0.004 % |
380.47/380.70 c | 308776 | 2560 302680 1034788 | 300000 276944 162 | 0.004 % |
384.57/384.87 c | 311030 | 2560 302680 1034788 | 278168 279198 162 | 0.004 % |
389.67/389.99 c | 313508 | 2560 302680 1034788 | 278168 244246 160 | 0.000 % |
395.37/395.61 c | 316233 | 2560 302680 1034788 | 278168 246971 161 | 0.000 % |
400.87/401.11 c | 319231 | 2560 302680 1034788 | 278168 249969 162 | 0.000 % |
400.97/401.27 c | 319331 | 2560 302680 1034788 | 278168 250069 162 | 0.000 % |
401.28/401.51 c | 319441 | 2560 302680 1034788 | 278168 250179 162 | 0.000 % |
401.47/401.75 c | 319562 | 2560 302680 1034788 | 278168 250300 162 | 0.004 % |
401.77/402.07 c | 319696 | 2560 302680 1034788 | 278168 250434 162 | 0.000 % |
402.17/402.42 c | 319842 | 2560 302680 1034788 | 278168 250580 162 | 0.000 % |
402.47/402.78 c | 320002 | 2560 302680 1034788 | 278168 250740 162 | 0.000 % |
402.87/403.10 c | 320178 | 2560 302680 1034788 | 2147483647 250916 162 | 0.000 % |
403.27/403.55 c | 320371 | 2560 302680 1034788 | 2147483647 251109 162 | 0.000 % |
403.67/403.95 c | 320583 | 2560 302680 1034788 | 2147483647 251321 162 | 0.004 % |
404.27/404.56 c | 320817 | 2560 302680 1034788 | 2147483647 251555 162 | 0.000 % |
404.87/405.11 c | 321073 | 2560 302680 1034788 | 2147483647 251811 162 | 0.000 % |
405.27/405.59 c | 321354 | 2560 302680 1034788 | 2147483647 252092 162 | 0.000 % |
405.97/406.22 c | 321663 | 2560 302680 1034788 | 2147483647 252401 162 | 0.000 % |
406.57/406.83 c | 322002 | 2560 302680 1034788 | 2147483647 252740 163 | 0.003 % |
407.27/407.60 c | 322375 | 2560 302680 1034788 | 2147483647 253113 163 | 0.000 % |
407.97/408.27 c | 322784 | 2560 302680 1034788 | 2147483647 253522 163 | 0.000 % |
408.67/408.98 c | 323233 | 2560 302680 1034788 | 2147483647 253971 163 | 0.000 % |
409.67/409.96 c | 323726 | 2560 302680 1034788 | 2147483647 254464 163 | 0.000 % |
410.67/410.93 c | 324268 | 2560 302680 1034788 | 2147483647 255006 163 | 0.005 % |
411.77/412.06 c | 324864 | 2560 302680 1034788 | 2147483647 255602 163 | 0.000 % |
412.77/413.07 c | 325519 | 2560 302680 1034788 | 2147483647 256257 163 | 0.000 % |
414.17/414.47 c | 326239 | 2560 302680 1034788 | 2147483647 256977 163 | 0.000 % |
415.67/415.97 c | 327031 | 2560 302680 1034788 | 2147483647 257769 163 | 0.000 % |
417.56/417.82 c | 327903 | 2560 302680 1034788 | 2147483647 258641 163 | 0.000 % |
419.46/419.72 c | 328861 | 2560 302680 1034788 | 2147483647 259599 163 | 0.004 % |
421.56/421.86 c | 329916 | 2560 302680 1034788 | 2147483647 260654 163 | 0.000 % |
423.76/424.01 c | 331074 | 2560 302680 1034788 | 2147483647 261812 163 | 0.000 % |
426.66/426.97 c | 332347 | 2560 302680 1034788 | 2147483647 263085 164 | 0.000 % |
429.46/429.79 c | 333747 | 2560 302680 1034788 | 2147483647 264485 164 | 0.004 % |
432.86/433.18 c | 335288 | 2560 302680 1034788 | 2147483647 266026 164 | 0.000 % |
436.26/436.59 c | 336982 | 2560 302680 1034788 | 2147483647 267720 164 | 0.000 % |
439.46/439.77 c | 338845 | 2560 302680 1034788 | 2147483647 269583 164 | 0.003 % |
443.45/443.71 c | 340895 | 2560 302680 1034788 | 2147483647 271633 164 | 0.000 % |
447.55/447.88 c | 343151 | 2560 302680 1034788 | 2147483647 273889 164 | 0.000 % |
452.25/452.54 c | 345631 | 2560 302680 1034788 | 2147483647 276369 164 | 0.004 % |
457.35/457.69 c | 348357 | 2560 302680 1034788 | 2147483647 279095 164 | 0.000 % |
463.05/463.35 c | 351354 | 2560 302680 1034788 | 280740 282092 164 | 0.004 % |
469.54/469.86 c | 354651 | 2560 302680 1034788 | 280740 252344 163 | 0.002 % |
469.74/470.06 c | 354752 | 2560 302680 1034788 | 280740 252445 163 | 0.004 % |
469.94/470.27 c | 354863 | 2560 302680 1034788 | 280740 252556 163 | 0.000 % |
470.24/470.53 c | 354986 | 2560 302680 1034788 | 280740 252679 163 | 0.004 % |
470.55/470.83 c | 355119 | 2560 302680 1034788 | 280740 252812 163 | 0.000 % |
470.74/471.06 c | 355265 | 2560 302680 1034788 | 280740 252958 163 | 0.000 % |
471.04/471.37 c | 355426 | 2560 302680 1034788 | 280740 253119 163 | 0.004 % |
471.34/471.65 c | 355604 | 2560 302680 1034788 | 280740 253297 163 | 0.004 % |
471.74/472.06 c | 355797 | 2560 302680 1034788 | 280740 253490 163 | 0.000 % |
472.14/472.47 c | 356009 | 2560 302680 1034788 | 280740 253702 163 | 0.004 % |
472.65/472.95 c | 356243 | 2560 302680 1034788 | 280740 253936 163 | 0.000 % |
473.14/473.43 c | 356500 | 2560 302680 1034788 | 280740 254193 163 | 0.000 % |
473.85/474.16 c | 356781 | 2560 302680 1034788 | 280740 254474 163 | 0.000 % |
474.44/474.77 c | 357093 | 2560 302680 1034788 | 280740 254786 163 | 0.000 % |
475.24/475.56 c | 357435 | 2560 302680 1034788 | 280740 255128 163 | 0.000 % |
476.05/476.36 c | 357809 | 2560 302680 1034788 | 280740 255502 163 | 0.000 % |
476.84/477.16 c | 358219 | 2560 302680 1034788 | 280740 255912 163 | 0.005 % |
477.64/477.95 c | 358668 | 2560 302680 1034788 | 280740 256361 163 | 0.000 % |
478.54/478.82 c | 359161 | 2560 302680 1034788 | 280740 256854 163 | 0.004 % |
479.44/479.74 c | 359704 | 2560 302680 1034788 | 280740 257397 163 | 0.004 % |
480.34/480.70 c | 360302 | 2560 302680 1034788 | 2147483647 257995 163 | 0.000 % |
481.44/481.74 c | 360960 | 2560 302680 1034788 | 2147483647 258653 163 | 0.000 % |
482.64/482.93 c | 361680 | 2560 302680 1034788 | 2147483647 259373 163 | 0.005 % |
484.04/484.33 c | 362472 | 2560 302680 1034788 | 2147483647 260165 163 | 0.004 % |
485.64/485.92 c | 363348 | 2560 302680 1034788 | 2147483647 261041 163 | 0.000 % |
487.64/487.90 c | 364308 | 2560 302680 1034788 | 2147483647 262001 163 | 0.004 % |
489.84/490.13 c | 365362 | 2560 302680 1034788 | 2147483647 263055 163 | 0.004 % |
492.04/492.37 c | 366520 | 2560 302680 1034788 | 2147483647 264213 162 | 0.000 % |
494.83/495.16 c | 367793 | 2560 302680 1034788 | 2147483647 265486 163 | 0.000 % |
497.73/498.04 c | 369193 | 2560 302680 1034788 | 2147483647 266886 163 | 0.000 % |
500.73/501.09 c | 370733 | 2560 302680 1034788 | 2147483647 268426 164 | 0.000 % |
504.33/504.63 c | 372428 | 2560 302680 1034788 | 2147483647 270121 164 | 0.004 % |
508.33/508.64 c | 374291 | 2560 302680 1034788 | 2147483647 271984 164 | 0.003 % |
512.93/513.20 c | 376340 | 2560 302680 1034788 | 2147483647 274033 163 | 0.004 % |
517.02/517.31 c | 378594 | 2560 302680 1034788 | 2147483647 276287 163 | 0.005 % |
523.82/524.18 c | 381072 | 2560 302680 1034788 | 277693 278765 165 | 0.000 % |
529.82/530.17 c | 383798 | 2560 302680 1034788 | 277693 250106 165 | 0.000 % |
535.12/535.47 c | 386795 | 2560 302680 1034788 | 277693 253103 165 | 0.004 % |
541.22/541.56 c | 390092 | 2560 302680 1034788 | 2147483647 256400 165 | 0.000 % |
549.21/549.50 c | 393720 | 2560 302680 1034788 | 2147483647 260028 166 | 0.000 % |
549.41/549.71 c | 393821 | 2560 302680 1034788 | 2147483647 260129 166 | 0.004 % |
549.62/549.94 c | 393931 | 2560 302680 1034788 | 2147483647 260239 166 | 0.000 % |
549.91/550.21 c | 394055 | 2560 302680 1034788 | 2147483647 260363 166 | 0.000 % |
550.21/550.55 c | 394189 | 2560 302680 1034788 | 2147483647 260497 166 | 0.000 % |
550.51/550.89 c | 394336 | 2560 302680 1034788 | 2147483647 260644 166 | 0.004 % |
550.82/551.18 c | 394497 | 2560 302680 1034788 | 2147483647 260805 166 | 0.000 % |
551.21/551.54 c | 394674 | 2560 302680 1034788 | 2147483647 260982 166 | 0.004 % |
551.61/551.95 c | 394870 | 2560 302680 1034788 | 2147483647 261178 166 | 0.000 % |
552.01/552.38 c | 395082 | 2560 302680 1034788 | 2147483647 261390 166 | 0.000 % |
552.61/552.95 c | 395315 | 2560 302680 1034788 | 2147483647 261623 166 | 0.000 % |
553.11/553.44 c | 395571 | 2560 302680 1034788 | 2147483647 261879 166 | 0.005 % |
553.81/554.11 c | 395852 | 2560 302680 1034788 | 2147483647 262160 167 | 0.000 % |
554.51/554.80 c | 396162 | 2560 302680 1034788 | 2147483647 262470 167 | 0.003 % |
555.11/555.48 c | 396501 | 2560 302680 1034788 | 2147483647 262809 167 | 0.000 % |
556.01/556.39 c | 396873 | 2560 302680 1034788 | 2147483647 263181 167 | 0.000 % |
556.91/557.25 c | 397283 | 2560 302680 1034788 | 2147483647 263591 167 | 0.000 % |
557.91/558.25 c | 397732 | 2560 302680 1034788 | 2147483647 264040 167 | 0.003 % |
558.81/559.17 c | 398225 | 2560 302680 1034788 | 2147483647 264533 167 | 0.004 % |
559.81/560.13 c | 398767 | 2560 302680 1034788 | 2147483647 265075 167 | 0.003 % |
560.81/561.19 c | 399365 | 2560 302680 1034788 | 2147483647 265673 167 | 0.000 % |
562.01/562.35 c | 400023 | 2560 302680 1034788 | 266309 266331 166 | 0.004 % |
563.91/564.24 c | 400743 | 2560 302680 1034788 | 266309 238567 165 | 0.000 % |
565.40/565.78 c | 401542 | 2560 302680 1034788 | 266309 239366 165 | 0.000 % |
567.10/567.46 c | 402414 | 2560 302680 1034788 | 266309 240238 166 | 0.000 % |
569.00/569.39 c | 403373 | 2560 302680 1034788 | 266309 241197 166 | 0.000 % |
570.90/571.23 c | 404426 | 2560 302680 1034788 | 266309 242250 166 | 0.004 % |
573.00/573.34 c | 405584 | 2560 302680 1034788 | 266309 243408 165 | 0.003 % |
575.30/575.68 c | 406857 | 2560 302680 1034788 | 266309 244681 166 | 0.000 % |
578.20/578.56 c | 408258 | 2560 302680 1034788 | 266309 246082 166 | 0.000 % |
581.61/581.92 c | 409799 | 2560 302680 1034788 | 266309 247623 166 | 0.000 % |
585.51/585.85 c | 411498 | 2560 302680 1034788 | 2147483647 249322 167 | 0.000 % |
589.70/590.06 c | 413362 | 2560 302680 1034788 | 2147483647 251186 167 | 0.000 % |
593.71/594.03 c | 415413 | 2560 302680 1034788 | 2147483647 253237 167 | 0.000 % |
597.70/598.05 c | 417667 | 2560 302680 1034788 | 2147483647 255491 167 | 0.005 % |
602.70/603.01 c | 420146 | 2560 302680 1034788 | 257824 257970 166 | 0.000 % |
608.40/608.75 c | 422871 | 2560 302680 1034788 | 257824 231617 164 | 0.000 % |
613.30/613.68 c | 425869 | 2560 302680 1034788 | 257824 234615 164 | 0.005 % |
618.09/618.40 c | 429165 | 2560 302680 1034788 | 257824 237911 164 | 0.000 % |
624.69/625.00 c | 432793 | 2560 302680 1034788 | 2147483647 241539 163 | 0.004 % |
632.19/632.58 c | 436780 | 2560 302680 1034788 | 2147483647 245526 163 | 0.004 % |
632.39/632.79 c | 436880 | 2560 302680 1034788 | 2147483647 245626 163 | 0.004 % |
632.59/632.98 c | 436991 | 2560 302680 1034788 | 2147483647 245737 163 | 0.004 % |
632.79/633.17 c | 437113 | 2560 302680 1034788 | 2147483647 245859 163 | 0.004 % |
633.09/633.47 c | 437250 | 2560 302680 1034788 | 2147483647 245996 163 | 0.000 % |
633.49/633.80 c | 437396 | 2560 302680 1034788 | 2147483647 246142 163 | 0.004 % |
633.79/634.10 c | 437556 | 2560 302680 1034788 | 2147483647 246302 163 | 0.004 % |
634.19/634.57 c | 437732 | 2560 302680 1034788 | 2147483647 246478 163 | 0.000 % |
634.59/634.97 c | 437928 | 2560 302680 1034788 | 2147483647 246674 163 | 0.004 % |
635.19/635.50 c | 438144 | 2560 302680 1034788 | 2147483647 246890 163 | 0.000 % |
635.59/635.96 c | 438377 | 2560 302680 1034788 | 2147483647 247123 163 | 0.000 % |
636.09/636.48 c | 438635 | 2560 302680 1034788 | 2147483647 247381 163 | 0.000 % |
636.59/636.99 c | 438919 | 2560 302680 1034788 | 2147483647 247665 163 | 0.005 % |
637.29/637.65 c | 439229 | 2560 302680 1034788 | 2147483647 247975 163 | 0.000 % |
637.89/638.26 c | 439568 | 2560 302680 1034788 | 2147483647 248314 163 | 0.004 % |
638.69/639.05 c | 439940 | 2560 302680 1034788 | 2147483647 248686 163 | 0.000 % |
639.48/639.87 c | 440350 | 2560 302680 1034788 | 248746 249096 163 | 0.000 % |
640.68/641.08 c | 440799 | 2560 302680 1034788 | 248746 224636 160 | 0.004 % |
641.68/642.00 c | 441292 | 2560 302680 1034788 | 248746 225129 160 | 0.004 % |
642.58/642.92 c | 441834 | 2560 302680 1034788 | 248746 225671 160 | 0.004 % |
643.58/643.97 c | 442430 | 2560 302680 1034788 | 248746 226267 160 | 0.000 % |
644.78/645.12 c | 443085 | 2560 302680 1034788 | 248746 226922 160 | 0.003 % |
646.18/646.58 c | 443805 | 2560 302680 1034788 | 248746 227642 161 | 0.000 % |
647.58/647.98 c | 444597 | 2560 302680 1034788 | 248746 228434 161 | 0.004 % |
649.48/649.84 c | 445468 | 2560 302680 1034788 | 248746 229305 161 | 0.000 % |
651.18/651.57 c | 446426 | 2560 302680 1034788 | 248746 230263 161 | 0.000 % |
653.18/653.54 c | 447479 | 2560 302680 1034788 | 248746 231316 161 | 0.004 % |
655.48/655.87 c | 448637 | 2560 302680 1034788 | 248746 232474 161 | 0.004 % |
657.58/657.91 c | 449910 | 2560 302680 1034788 | 248746 233747 161 | 0.004 % |
660.28/660.66 c | 451310 | 2560 302680 1034788 | 2147483647 235147 160 | 0.004 % |
662.98/663.35 c | 452850 | 2560 302680 1034788 | 2147483647 236687 160 | 0.000 % |
665.97/666.33 c | 454546 | 2560 302680 1034788 | 2147483647 238383 160 | 0.004 % |
670.68/671.02 c | 456411 | 2560 302680 1034788 | 2147483647 240248 161 | 0.000 % |
675.67/676.03 c | 458460 | 2560 302680 1034788 | 2147483647 242297 162 | 0.000 % |
679.87/680.24 c | 460713 | 2560 302680 1034788 | 2147483647 244550 162 | 0.004 % |
684.76/685.11 c | 463191 | 2560 302680 1034788 | 2147483647 247028 162 | 0.000 % |
690.86/691.25 c | 465916 | 2560 302680 1034788 | 2147483647 249753 162 | 0.004 % |
696.86/697.23 c | 468914 | 2560 302680 1034788 | 2147483647 252751 161 | 0.004 % |
704.06/704.40 c | 472211 | 2560 302680 1034788 | 253839 228285 156 | 0.004 % |
710.96/711.40 c | 475837 | 2560 302680 1034788 | 253839 231911 156 | 0.004 % |
718.85/719.20 c | 479825 | 2560 302680 1034788 | 253839 235899 155 | 0.004 % |
727.05/727.45 c | 484211 | 2560 302680 1034788 | 2147483647 240285 154 | 0.000 % |
727.25/727.65 c | 484313 | 2560 302680 1034788 | 2147483647 240387 154 | 0.004 % |
727.45/727.85 c | 484423 | 2560 302680 1034788 | 2147483647 240497 154 | 0.004 % |
727.65/728.05 c | 484545 | 2560 302680 1034788 | 2147483647 240619 154 | 0.003 % |
727.95/728.37 c | 484679 | 2560 302680 1034788 | 2147483647 240753 154 | 0.000 % |
728.35/728.72 c | 484827 | 2560 302680 1034788 | 2147483647 240901 155 | 0.000 % |
728.65/729.05 c | 484989 | 2560 302680 1034788 | 2147483647 241063 155 | 0.000 % |
729.05/729.41 c | 485165 | 2560 302680 1034788 | 2147483647 241239 155 | 0.003 % |
729.45/729.82 c | 485358 | 2560 302680 1034788 | 2147483647 241432 155 | 0.000 % |
729.85/730.28 c | 485571 | 2560 302680 1034788 | 2147483647 241645 155 | 0.004 % |
730.35/730.76 c | 485804 | 2560 302680 1034788 | 2147483647 241878 155 | 0.000 % |
730.85/731.26 c | 486061 | 2560 302680 1034788 | 2147483647 242135 155 | 0.000 % |
731.55/731.91 c | 486342 | 2560 302680 1034788 | 2147483647 242416 155 | 0.000 % |
732.05/732.49 c | 486653 | 2560 302680 1034788 | 2147483647 242727 155 | 0.000 % |
732.65/733.02 c | 486992 | 2560 302680 1034788 | 2147483647 243066 155 | 0.000 % |
733.25/733.62 c | 487364 | 2560 302680 1034788 | 2147483647 243438 155 | 0.000 % |
733.94/734.36 c | 487773 | 2560 302680 1034788 | 2147483647 243847 155 | 0.004 % |
734.74/735.17 c | 488222 | 2560 302680 1034788 | 2147483647 244296 155 | 0.004 % |
735.64/736.05 c | 488717 | 2560 302680 1034788 | 2147483647 244791 155 | 0.000 % |
736.65/737.06 c | 489259 | 2560 302680 1034788 | 2147483647 245333 155 | 0.000 % |
737.65/738.09 c | 489855 | 2560 302680 1034788 | 2147483647 245929 155 | 0.003 % |
738.86/739.22 c | 490510 | 2560 302680 1034788 | 2147483647 246584 155 | 0.000 % |
740.55/740.92 c | 491231 | 2560 302680 1034788 | 2147483647 247305 155 | 0.000 % |
741.85/742.20 c | 492026 | 2560 302680 1034788 | 2147483647 248100 155 | 0.000 % |
743.65/744.09 c | 492898 | 2560 302680 1034788 | 2147483647 248972 155 | 0.000 % |
745.45/745.90 c | 493857 | 2560 302680 1034788 | 2147483647 249931 155 | 0.004 % |
747.25/747.70 c | 494910 | 2560 302680 1034788 | 2147483647 250984 155 | 0.004 % |
749.25/749.64 c | 496068 | 2560 302680 1034788 | 2147483647 252142 155 | 0.004 % |
751.95/752.33 c | 497341 | 2560 302680 1034788 | 2147483647 253415 156 | 0.000 % |
754.55/754.91 c | 498745 | 2560 302680 1034788 | 2147483647 254819 156 | 0.004 % |
757.35/757.77 c | 500285 | 2560 302680 1034788 | 2147483647 256359 156 | 0.003 % |
760.54/760.95 c | 501980 | 2560 302680 1034788 | 2147483647 258054 156 | 0.004 % |
763.94/764.30 c | 503845 | 2560 302680 1034788 | 2147483647 259919 156 | 0.004 % |
768.04/768.46 c | 505894 | 2560 302680 1034788 | 2147483647 261968 156 | 0.000 % |
772.34/772.73 c | 508147 | 2560 302680 1034788 | 2147483647 264221 156 | 0.005 % |
776.94/777.34 c | 510626 | 2560 302680 1034788 | 2147483647 266700 155 | 0.004 % |
782.24/782.63 c | 513351 | 2560 302680 1034788 | 2147483647 269425 155 | 0.000 % |
788.24/788.66 c | 516348 | 2560 302680 1034788 | 2147483647 272422 155 | 0.005 % |
795.53/795.97 c | 519644 | 2560 302680 1034788 | 2147483647 275718 154 | 0.000 % |
802.23/802.70 c | 523269 | 2560 302680 1034788 | 2147483647 279343 154 | 0.004 % |
809.73/810.14 c | 527256 | 2560 302680 1034788 | 2147483647 283330 154 | 0.004 % |
818.92/819.33 c | 531644 | 2560 302680 1034788 | 286076 287718 153 | 0.003 % |
829.42/829.84 c | 536470 | 2560 302680 1034788 | 286076 254951 150 | 0.003 % |
829.62/830.04 c | 536572 | 2560 302680 1034788 | 286076 255053 150 | 0.005 % |
829.92/830.38 c | 536687 | 2560 302680 1034788 | 286076 255168 150 | 0.000 % |
830.22/830.67 c | 536808 | 2560 302680 1034788 | 286076 255289 150 | 0.000 % |
830.52/830.95 c | 536942 | 2560 302680 1034788 | 286076 255423 150 | 0.000 % |
830.82/831.26 c | 537089 | 2560 302680 1034788 | 286076 255570 150 | 0.000 % |
831.22/831.68 c | 537250 | 2560 302680 1034788 | 286076 255731 150 | 0.000 % |
831.62/832.04 c | 537429 | 2560 302680 1034788 | 286076 255910 150 | 0.000 % |
832.02/832.40 c | 537623 | 2560 302680 1034788 | 286076 256104 150 | 0.000 % |
832.42/832.83 c | 537835 | 2560 302680 1034788 | 286076 256316 150 | 0.000 % |
832.82/833.21 c | 538068 | 2560 302680 1034788 | 286076 256549 150 | 0.000 % |
833.42/833.82 c | 538327 | 2560 302680 1034788 | 286076 256808 150 | 0.000 % |
834.02/834.49 c | 538610 | 2560 302680 1034788 | 286076 257091 150 | 0.005 % |
834.62/835.02 c | 538919 | 2560 302680 1034788 | 286076 257400 150 | 0.004 % |
835.22/835.61 c | 539259 | 2560 302680 1034788 | 286076 257740 150 | 0.004 % |
835.82/836.28 c | 539633 | 2560 302680 1034788 | 286076 258114 150 | 0.000 % |
836.62/837.09 c | 540043 | 2560 302680 1034788 | 258481 258524 150 | 0.000 % |
838.11/838.53 c | 540492 | 2560 302680 1034788 | 258481 227303 147 | 0.000 % |
839.01/839.48 c | 540986 | 2560 302680 1034788 | 258481 227797 148 | 0.000 % |
840.02/840.46 c | 541530 | 2560 302680 1034788 | 258481 228341 148 | 0.000 % |
841.21/841.63 c | 542126 | 2560 302680 1034788 | 258481 228937 148 | 0.000 % |
842.81/843.21 c | 542784 | 2560 302680 1034788 | 258481 229595 148 | 0.000 % |
843.91/844.30 c | 543505 | 2560 302680 1034788 | 258481 230316 148 | 0.000 % |
845.61/846.08 c | 544297 | 2560 302680 1034788 | 258481 231108 149 | 0.000 % |
847.51/847.93 c | 545170 | 2560 302680 1034788 | 258481 231981 149 | 0.000 % |
849.31/849.72 c | 546129 | 2560 302680 1034788 | 258481 232940 149 | 0.000 % |
851.31/851.79 c | 547182 | 2560 302680 1034788 | 258481 233993 149 | 0.000 % |
853.51/853.98 c | 548340 | 2560 302680 1034788 | 258481 235151 149 | 0.000 % |
856.41/856.81 c | 549614 | 2560 302680 1034788 | 258481 236425 149 | 0.000 % |
859.20/859.64 c | 551014 | 2560 302680 1034788 | 2147483647 237825 150 | 0.000 % |
863.11/863.55 c | 552555 | 2560 302680 1034788 | 2147483647 239366 150 | 0.000 % |
866.90/867.30 c | 554251 | 2560 302680 1034788 | 2147483647 241062 151 | 0.000 % |
870.70/871.18 c | 556115 | 2560 302680 1034788 | 2147483647 242926 152 | 0.000 % |
874.80/875.25 c | 558165 | 2560 302680 1034788 | 2147483647 244976 152 | 0.000 % |
879.30/879.76 c | 560419 | 2560 302680 1034788 | 2147483647 247230 153 | 0.000 % |
884.10/884.56 c | 562897 | 2560 302680 1034788 | 2147483647 249708 153 | 0.000 % |
889.69/890.15 c | 565622 | 2560 302680 1034788 | 2147483647 252433 153 | 0.000 % |
895.49/895.97 c | 568619 | 2560 302680 1034788 | 2147483647 255430 153 | 0.000 % |
902.29/902.73 c | 571915 | 2560 302680 1034788 | 256813 226563 150 | 0.000 % |
909.79/910.24 c | 575540 | 2560 302680 1034788 | 256813 230188 150 | 0.000 % |
918.48/918.90 c | 579529 | 2560 302680 1034788 | 256813 234177 153 | 0.000 % |
927.78/928.23 c | 583914 | 2560 302680 1034788 | 2147483647 238562 155 | 0.000 % |
937.88/938.37 c | 588737 | 2560 302680 1034788 | 2147483647 243385 156 | 0.000 % |
948.47/948.90 c | 594044 | 2560 302680 1034788 | 2147483647 248692 157 | 0.000 % |
948.67/949.17 c | 594145 | 2560 302680 1034788 | 2147483647 248793 157 | 0.000 % |
948.97/949.41 c | 594255 | 2560 302680 1034788 | 2147483647 248903 157 | 0.000 % |
949.27/949.72 c | 594378 | 2560 302680 1034788 | 2147483647 249026 157 | 0.000 % |
949.57/950.03 c | 594511 | 2560 302680 1034788 | 2147483647 249159 157 | 0.000 % |
949.87/950.38 c | 594657 | 2560 302680 1034788 | 2147483647 249305 157 | 0.000 % |
950.27/950.70 c | 594817 | 2560 302680 1034788 | 2147483647 249465 157 | 0.000 % |
950.57/951.04 c | 594994 | 2560 302680 1034788 | 2147483647 249642 157 | 0.000 % |
950.97/951.42 c | 595187 | 2560 302680 1034788 | 2147483647 249835 157 | 0.000 % |
951.27/951.78 c | 595399 | 2560 302680 1034788 | 2147483647 250047 157 | 0.000 % |
951.67/952.18 c | 595632 | 2560 302680 1034788 | 2147483647 250280 157 | 0.000 % |
952.17/952.69 c | 595889 | 2560 302680 1034788 | 2147483647 250537 157 | 0.000 % |
952.77/953.26 c | 596170 | 2560 302680 1034788 | 2147483647 250818 157 | 0.000 % |
953.47/953.95 c | 596480 | 2560 302680 1034788 | 2147483647 251128 157 | 0.000 % |
954.07/954.55 c | 596819 | 2560 302680 1034788 | 2147483647 251467 157 | 0.000 % |
954.87/955.30 c | 597191 | 2560 302680 1034788 | 2147483647 251839 157 | 0.000 % |
955.57/956.07 c | 597603 | 2560 302680 1034788 | 2147483647 252251 157 | 0.000 % |
956.37/956.90 c | 598053 | 2560 302680 1034788 | 2147483647 252701 157 | 0.000 % |
957.47/957.92 c | 598548 | 2560 302680 1034788 | 2147483647 253196 157 | 0.000 % |
958.67/959.19 c | 599090 | 2560 302680 1034788 | 2147483647 253738 158 | 0.000 % |
960.06/960.54 c | 599686 | 2560 302680 1034788 | 2147483647 254334 158 | 0.000 % |
961.56/962.04 c | 600341 | 2560 302680 1034788 | 2147483647 254989 158 | 0.000 % |
962.86/963.33 c | 601061 | 2560 302680 1034788 | 2147483647 255709 158 | 0.000 % |
964.36/964.86 c | 601857 | 2560 302680 1034788 | 2147483647 256505 158 | 0.000 % |
966.47/966.94 c | 602729 | 2560 302680 1034788 | 2147483647 257377 158 | 0.000 % |
968.26/968.70 c | 603688 | 2560 302680 1034788 | 2147483647 258336 158 | 0.000 % |
970.36/970.88 c | 604741 | 2560 302680 1034788 | 2147483647 259389 158 | 0.000 % |
972.66/973.16 c | 605901 | 2560 302680 1034788 | 2147483647 260549 158 | 0.004 % |
975.46/975.94 c | 607176 | 2560 302680 1034788 | 2147483647 261824 158 | 0.004 % |
978.36/978.83 c | 608579 | 2560 302680 1034788 | 2147483647 263227 158 | 0.004 % |
983.06/983.54 c | 610120 | 2560 302680 1034788 | 2147483647 264768 159 | 0.000 % |
987.55/988.07 c | 611816 | 2560 302680 1034788 | 2147483647 266464 159 | 0.000 % |
990.75/991.29 c | 613681 | 2560 302680 1034788 | 2147483647 268329 159 | 0.000 % |
994.96/995.43 c | 615731 | 2560 302680 1034788 | 2147483647 270379 159 | 0.000 % |
999.15/999.60 c | 617985 | 2560 302680 1034788 | 2147483647 272633 159 | 0.000 % |
1003.85/1004.32 c | 620465 | 2560 302680 1034788 | 274649 275113 159 | 0.005 % |
1009.15/1009.68 c | 623192 | 2560 302680 1034788 | 274649 248499 157 | 0.004 % |
1015.54/1016.01 c | 626190 | 2560 302680 1034788 | 274649 251497 157 | 0.004 % |
1022.35/1022.87 c | 629486 | 2560 302680 1034788 | 274649 254793 157 | 0.004 % |
1030.25/1030.71 c | 633111 | 2560 302680 1034788 | 255307 227894 153 | 0.004 % |
1038.35/1038.84 c | 637098 | 2560 302680 1034788 | 255307 231881 153 | 0.004 % |
1048.24/1048.80 c | 641483 | 2560 302680 1034788 | 234787 236266 156 | 0.000 % |
1059.04/1059.59 c | 646308 | 2560 302680 1034788 | 234787 215987 160 | 0.000 % |
1071.83/1072.33 c | 651613 | 2560 302680 1034788 | 219679 194055 158 | 0.000 % |
1085.33/1085.84 c | 657449 | 2560 302680 1034788 | 219679 199891 157 | 0.000 % |
1085.53/1086.07 c | 657550 | 2560 302680 1034788 | 219679 199992 157 | 0.003 % |
1085.93/1086.45 c | 657660 | 2560 302680 1034788 | 219679 200102 157 | 0.000 % |
1086.13/1086.68 c | 657781 | 2560 302680 1034788 | 219679 200223 157 | 0.000 % |
1086.43/1086.94 c | 657915 | 2560 302680 1034788 | 219679 200357 157 | 0.000 % |
1086.73/1087.25 c | 658061 | 2560 302680 1034788 | 219679 200503 157 | 0.000 % |
1087.13/1087.61 c | 658222 | 2560 302680 1034788 | 219679 200664 157 | 0.000 % |
1087.43/1087.99 c | 658398 | 2560 302680 1034788 | 219679 200840 158 | 0.000 % |
1087.93/1088.48 c | 658591 | 2560 302680 1034788 | 219679 201033 158 | 0.000 % |
1088.33/1088.83 c | 658803 | 2560 302680 1034788 | 219679 201245 158 | 0.000 % |
1088.72/1089.24 c | 659036 | 2560 302680 1034788 | 219679 201478 158 | 0.004 % |
1089.32/1089.85 c | 659293 | 2560 302680 1034788 | 219679 201735 158 | 0.000 % |
1089.92/1090.45 c | 659574 | 2560 302680 1034788 | 219679 202016 158 | 0.000 % |
1090.52/1091.06 c | 659883 | 2560 302680 1034788 | 219679 202325 158 | 0.000 % |
1091.12/1091.68 c | 660224 | 2560 302680 1034788 | 202442 202666 158 | 0.000 % |
1092.12/1092.70 c | 660596 | 2560 302680 1034788 | 202442 180434 159 | 0.000 % |
1092.92/1093.49 c | 661005 | 2560 302680 1034788 | 202442 180843 159 | 0.000 % |
1094.02/1094.55 c | 661457 | 2560 302680 1034788 | 202442 181295 159 | 0.000 % |
1095.22/1095.73 c | 661950 | 2560 302680 1034788 | 202442 181788 159 | 0.000 % |
1096.12/1096.67 c | 662492 | 2560 302680 1034788 | 202442 182330 159 | 0.000 % |
1097.42/1097.97 c | 663088 | 2560 302680 1034788 | 202442 182926 160 | 0.000 % |
1098.72/1099.22 c | 663744 | 2560 302680 1034788 | 202442 183582 160 | 0.000 % |
1100.12/1100.63 c | 664466 | 2560 302680 1034788 | 202442 184304 160 | 0.000 % |
1101.62/1102.13 c | 665259 | 2560 302680 1034788 | 202442 185097 160 | 0.000 % |
1103.12/1103.67 c | 666131 | 2560 302680 1034788 | 202442 185969 160 | 0.000 % |
1104.81/1105.36 c | 667091 | 2560 302680 1034788 | 202442 186929 161 | 0.000 % |
1107.51/1108.09 c | 668144 | 2560 302680 1034788 | 202442 187982 162 | 0.000 % |
1109.91/1110.48 c | 669303 | 2560 302680 1034788 | 202442 189141 162 | 0.000 % |
1112.62/1113.20 c | 670577 | 2560 302680 1034788 | 2147483647 190415 162 | 0.000 % |
1116.02/1116.56 c | 671977 | 2560 302680 1034788 | 2147483647 191815 163 | 0.000 % |
1119.21/1119.75 c | 673520 | 2560 302680 1034788 | 2147483647 193358 163 | 0.000 % |
1123.01/1123.59 c | 675214 | 2560 302680 1034788 | 2147483647 195052 164 | 0.000 % |
1126.81/1127.35 c | 677078 | 2560 302680 1034788 | 2147483647 196916 165 | 0.004 % |
1130.91/1131.48 c | 679130 | 2560 302680 1034788 | 2147483647 198968 166 | 0.000 % |
1135.90/1136.49 c | 681383 | 2560 302680 1034788 | 2147483647 201221 167 | 0.000 % |
1141.00/1141.54 c | 683862 | 2560 302680 1034788 | 2147483647 203700 167 | 0.000 % |
1146.90/1147.41 c | 686587 | 2560 302680 1034788 | 2147483647 206425 169 | 0.000 % |
1155.50/1156.05 c | 689585 | 2560 302680 1034788 | 2147483647 209423 171 | 0.000 % |
1163.30/1163.87 c | 692882 | 2560 302680 1034788 | 2147483647 212720 173 | 0.000 % |
1171.39/1171.98 c | 696507 | 2560 302680 1034788 | 2147483647 216345 174 | 0.000 % |
1181.89/1182.47 c | 700494 | 2560 302680 1034788 | 219840 220332 176 | 0.000 % |
1191.79/1192.39 c | 704879 | 2560 302680 1034788 | 219840 190470 171 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834135-1242828371/watcher-1834135-1242828371 -o /tmp/evaluation-result-1834135-1242828371/solver-1834135-1242828371 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834135-1242828371.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 5715
/proc/meminfo: memFree=1923104/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=0
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310870604 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269757415506 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/5715/statm: 1339 235 195 169 0 50 0
[pid=5716] ppid=5715 vsize=5356 CPUtime=0
/proc/5716/stat : 5716 (SatELiteGTI) R 5715 5715 5401 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310870605 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/5716/statm: 1339 238 198 169 0 50 0
[pid=5718] ppid=5716 vsize=0 CPUtime=0
/proc/5718/stat : 5718 (sed) Z 5716 5715 5401 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310870605 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/5718/statm: 0 0 0 0 0 0 0
[startup+0.092877 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 5715
/proc/meminfo: memFree=1923104/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=0
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310870604 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5715/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101878 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 5715
/proc/meminfo: memFree=1923104/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=0
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310870604 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5715/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301903 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 5715
/proc/meminfo: memFree=1923104/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=0
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310870604 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5715/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701956 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 5715
/proc/meminfo: memFree=1923104/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=0
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310870604 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5715/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50106 s]
/proc/loadavg: 0.92 0.97 0.99 2/66 5720
/proc/meminfo: memFree=1897744/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=0
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310870604 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5715/statm: 1339 237 197 169 0 50 0
[pid=5720] ppid=5715 vsize=31016 CPUtime=1.48
/proc/5720/stat : 5720 (SatELite_releas) R 5715 5715 5401 0 -1 4194304 6223 0 0 0 144 4 0 0 25 0 1 0 310870605 31760384 6209 1992294400 134512640 135223648 4294956128 18446744073709551615 134585625 0 0 4096 3 0 0 0 17 1 0 0
/proc/5720/statm: 7754 6209 76 173 0 7579 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36372
[startup+3.10128 s]
/proc/loadavg: 0.92 0.97 0.99 2/66 5720
/proc/meminfo: memFree=1897616/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 5356
[startup+6.30169 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1895888/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=22660 CPUtime=3.71
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 5561 0 0 0 367 4 0 0 25 0 1 0 310870862 23203840 5547 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 5665 5547 77 171 0 5492 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 28016
[startup+12.7015 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1885648/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=32232 CPUtime=10.11
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 7955 0 0 0 1005 6 0 0 25 0 1 0 310870862 33005568 7941 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 8058 7941 77 171 0 7885 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 37588
[startup+25.5012 s]
/proc/loadavg: 0.95 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1868752/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=48448 CPUtime=22.89
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 11996 0 0 0 2280 9 0 0 25 0 1 0 310870862 49610752 11982 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 12112 11982 77 171 0 11939 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 53804
[startup+51.1016 s]
/proc/loadavg: 0.96 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1844880/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=72592 CPUtime=48.47
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 18042 0 0 0 4831 16 0 0 25 0 1 0 310870862 74334208 18028 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 18148 18028 77 171 0 17975 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 77948
[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1806672/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=110268 CPUtime=99.64
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 27459 0 0 0 9938 26 0 0 25 0 1 0 310870862 112914432 27445 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 27567 27445 77 171 0 27394 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 115624
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1773584/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=143288 CPUtime=159.61
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 35693 0 0 0 15927 34 0 0 25 0 1 0 310870862 146726912 35679 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 35822 35679 77 171 0 35649 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 148644
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1744720/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=172232 CPUtime=219.58
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 42852 0 0 0 21918 40 0 0 25 0 1 0 310870862 176365568 42838 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 43058 42838 77 171 0 42885 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 177588
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1723216/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=193768 CPUtime=279.57
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 48262 0 0 0 27910 47 0 0 25 0 1 0 310870862 198418432 48248 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 48442 48248 77 171 0 48269 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 199124
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1698384/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=218068 CPUtime=339.54
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 54369 0 0 0 33900 54 0 0 25 0 1 0 310870862 223301632 54355 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 54517 54355 77 171 0 54344 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 223424
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1690768/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=225336 CPUtime=399.52
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 56227 0 0 0 39896 56 0 0 25 0 1 0 310870862 230744064 56213 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 56334 56213 77 171 0 56161 0
Current children cumulated CPU time (s) 402.07
################
# More data... #
################
/proc/5721/statm: 56334 56213 77 171 0 56161 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 230692
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1690448/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=225336 CPUtime=579.46
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 56227 0 0 0 57889 57 0 0 25 0 1 0 310870862 230744064 56213 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 56334 56213 77 171 0 56161 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 230692
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1690320/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=225336 CPUtime=639.44
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 56227 0 0 0 63887 57 0 0 25 0 1 0 310870862 230744064 56213 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 56334 56213 77 171 0 56161 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 230692
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1690256/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=225336 CPUtime=699.41
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 56227 0 0 0 69884 57 0 0 25 0 1 0 310870862 230744064 56213 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 56334 56213 77 171 0 56161 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 230692
[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1690128/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=225336 CPUtime=759.4
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 56227 0 0 0 75882 58 0 0 25 0 1 0 310870862 230744064 56213 1992294400 134512640 135215339 4294956240 18446744073709551615 134538272 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 56334 56213 77 171 0 56161 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 230692
[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1690064/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=225336 CPUtime=819.37
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 56227 0 0 0 81879 58 0 0 25 0 1 0 310870862 230744064 56213 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 56334 56213 77 171 0 56161 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 230692
[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1689936/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=225336 CPUtime=879.35
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 56227 0 0 0 87877 58 0 0 25 0 1 0 310870862 230744064 56213 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 56334 56213 77 171 0 56161 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 230692
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1689872/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=225336 CPUtime=939.32
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 56227 0 0 0 93874 58 0 0 25 0 1 0 310870862 230744064 56213 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 56334 56213 77 171 0 56161 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 230692
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1689808/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=225336 CPUtime=999.3
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 56227 0 0 0 99872 58 0 0 25 0 1 0 310870862 230744064 56213 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 56334 56213 77 171 0 56161 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 230692
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1689808/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=225336 CPUtime=1059.29
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 56227 0 0 0 105870 59 0 0 25 0 1 0 310870862 230744064 56213 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 56334 56213 77 171 0 56161 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 230692
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1689744/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=225336 CPUtime=1119.26
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 56227 0 0 0 111867 59 0 0 25 0 1 0 310870862 230744064 56213 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 56334 56213 77 171 0 56161 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 230692
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1689680/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=225336 CPUtime=1179.24
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 56227 0 0 0 117865 59 0 0 25 0 1 0 310870862 230744064 56213 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 56334 56213 77 171 0 56161 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 230692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5721
/proc/meminfo: memFree=1689616/2055920 swapFree=4180380/4192956
[pid=5715] ppid=5713 vsize=5356 CPUtime=2.55
/proc/5715/stat : 5715 (SatELiteGTI) S 5713 5715 5401 0 -1 4194304 336 6475 0 0 0 0 249 6 16 0 1 0 310870604 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5715/statm: 1339 239 197 169 0 50 0
[pid=5721] ppid=5715 vsize=225336 CPUtime=1197.54
/proc/5721/stat : 5721 (minisat_static) R 5715 5715 5401 0 -1 4194304 56227 0 0 0 119695 59 0 0 25 0 1 0 310870862 230744064 56213 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5721/statm: 56334 56213 77 171 0 56161 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 230692
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 5715 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=499620
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=72988
# CPU time returned by wait4() is 2.57261
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.09
CPU user time (s): 1199.44
CPU system time (s): 0.65
CPU usage (%): 99.9564
Max. virtual memory (cumulated for all children) (KiB): 230692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.49962
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6811
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 13
runsolver used 1.45478 second user time and 3.03554 second system time
The end
Begin job on node13 at 2009-05-20 16:06:11
IDJOB=1834135
IDBENCH=71564
IDSOLVER=671
FILE ID=node13/1834135-1242828371
PBS_JOBID= 9322477
Free space on /tmp= 66392 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v2640c305320gyes8.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834135-1242828371/watcher-1834135-1242828371 -o /tmp/evaluation-result-1834135-1242828371/solver-1834135-1242828371 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834135-1242828371.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 930a5df7b1f1625c5486319e8b2ac554
RANDOM SEED=674622212
node13.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.227
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.227
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1923584 kB
Buffers: 21748 kB
Cached: 73320 kB
SwapCached: 6864 kB
Active: 52976 kB
Inactive: 50988 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1923584 kB
SwapTotal: 4192956 kB
SwapFree: 4180380 kB
Dirty: 5508 kB
Writeback: 0 kB
Mapped: 13920 kB
Slab: 14424 kB
Committed_AS: 960312 kB
PageTables: 1464 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= 66384 MiB
End job on node13 at 2009-05-20 16:26:14