0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 50400 151200 | 15119 0 0 nan | 0.000 % |
0.00/0.17 c | 0 | 50065 152053 | -- 0 -- -- | -- | -335/853
0.00/0.17 c ==============================================================================
0.00/0.17 c Result : #vars: 11696 #clauses: 50065 #literals: 152053
0.00/0.17 c CPU time: 0.153976 s
0.00/0.17 c ==============================================================================
0.00/0.22 c This is MiniSat 2.0 beta
0.00/0.22 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.22 c ============================[ Problem Statistics ]=============================
0.00/0.22 c | |
0.00/0.22 c | Number of variables: 11696 |
0.00/0.22 c | Number of clauses: 50065 |
0.00/0.27 c | Parsing time: 0.03 s |
0.00/0.28 c ============================[ Search Statistics ]==============================
0.00/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.28 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.28 c ===============================================================================
0.00/0.28 c | 0 | 11696 50065 152053 | 16688 0 nan | 0.000 % |
0.21/0.31 c | 101 | 11696 50065 152053 | 16688 101 156 | 0.000 % |
0.21/0.35 c | 202 | 11696 50065 152053 | 16688 202 148 | 0.000 % |
0.21/0.39 c | 303 | 11696 50065 152053 | 16688 303 137 | 0.000 % |
0.21/0.43 c | 415 | 11696 50065 152053 | 16688 415 147 | 0.000 % |
0.21/0.47 c | 518 | 11696 50065 152053 | 16688 518 148 | 0.000 % |
0.21/0.51 c | 632 | 11696 50065 152053 | 16688 632 151 | 0.000 % |
0.21/0.56 c | 754 | 11696 50065 152053 | 16688 754 155 | 0.000 % |
0.21/0.60 c | 856 | 11696 50065 152053 | 16688 856 156 | 0.000 % |
0.21/0.64 c | 966 | 11696 50065 152053 | 16688 966 156 | 0.000 % |
0.21/0.68 c | 1087 | 11696 50065 152053 | 16688 1087 157 | 0.000 % |
0.21/0.74 c | 1220 | 11696 50065 152053 | 16688 1220 155 | 0.000 % |
0.21/0.77 c | 1320 | 11696 50065 152053 | 16688 1320 153 | 0.000 % |
0.21/0.82 c | 1430 | 11696 50065 152053 | 16688 1430 151 | 0.000 % |
0.21/0.86 c | 1551 | 11696 50065 152053 | 16688 1551 150 | 0.000 % |
0.21/0.90 c | 1685 | 11696 50065 152053 | 16688 1685 147 | 0.000 % |
0.21/0.96 c | 1835 | 11696 50065 152053 | 16688 1835 153 | 0.000 % |
0.21/1.00 c | 1935 | 11696 50065 152053 | 16688 1935 152 | 0.000 % |
0.96/1.04 c | 2045 | 11696 50065 152053 | 16688 2045 152 | 0.000 % |
0.96/1.09 c | 2166 | 11696 50065 152053 | 16688 2166 152 | 0.000 % |
1.06/1.14 c | 2300 | 11696 50065 152053 | 16688 2300 155 | 0.000 % |
1.15/1.20 c | 2446 | 11696 50065 152053 | 16688 2446 154 | 0.000 % |
1.15/1.27 c | 2606 | 11696 50065 152053 | 16688 2606 157 | 0.000 % |
1.26/1.31 c | 2706 | 11696 50065 152053 | 16688 2706 159 | 0.000 % |
1.26/1.35 c | 2816 | 11696 50065 152053 | 16688 2816 159 | 0.000 % |
1.26/1.40 c | 2937 | 11696 50065 152053 | 16688 2937 160 | 0.000 % |
1.36/1.45 c | 3070 | 11696 50065 152053 | 16688 3070 160 | 0.000 % |
1.46/1.51 c | 3216 | 11696 50065 152053 | 16688 3216 162 | 0.000 % |
1.46/1.57 c | 3376 | 11696 50065 152053 | 16688 3376 162 | 0.000 % |
1.56/1.64 c | 3554 | 11696 50065 152053 | 16688 3554 161 | 0.000 % |
1.56/1.69 c | 3655 | 11696 50065 152053 | 16688 3655 160 | 0.000 % |
1.66/1.73 c | 3765 | 11696 50065 152053 | 16688 3765 160 | 0.000 % |
1.66/1.79 c | 3887 | 11696 50065 152053 | 16688 3887 160 | 0.000 % |
1.76/1.84 c | 4020 | 11696 50065 152053 | 16688 4020 160 | 0.000 % |
1.86/1.90 c | 4166 | 11696 50065 152053 | 16688 4166 162 | 0.000 % |
1.86/1.97 c | 4328 | 11696 50065 152053 | 16688 4328 163 | 0.000 % |
1.96/2.04 c | 4504 | 11696 50065 152053 | 16688 4504 163 | 0.000 % |
2.06/2.12 c | 4698 | 11696 50065 152053 | 16688 4698 164 | 0.000 % |
2.06/2.16 c | 4799 | 11696 50065 152053 | 16688 4799 165 | 0.000 % |
2.16/2.21 c | 4909 | 11696 50065 152053 | 16688 4909 165 | 0.000 % |
2.16/2.25 c | 5031 | 11696 50065 152053 | 16688 5031 165 | 0.000 % |
2.26/2.31 c | 5165 | 11696 50065 152053 | 16688 5165 165 | 0.000 % |
2.26/2.37 c | 5313 | 11696 50065 152053 | 16688 5313 164 | 0.000 % |
2.36/2.43 c | 5473 | 11696 50065 152053 | 16688 5473 164 | 0.000 % |
2.46/2.51 c | 5650 | 11696 50065 152053 | 16688 5650 164 | 0.000 % |
2.46/2.59 c | 5845 | 11696 50065 152053 | 16688 5845 165 | 0.000 % |
2.56/2.68 c | 6058 | 11696 50065 152053 | 16688 6058 167 | 0.000 % |
2.66/2.75 c | 6158 | 11696 50065 152053 | 16688 6158 166 | 0.000 % |
2.66/2.78 c | 6268 | 11696 50065 152053 | 16688 6268 167 | 0.000 % |
2.76/2.83 c | 6392 | 11696 50065 152053 | 16688 6392 166 | 0.000 % |
2.76/2.88 c | 6525 | 11696 50065 152053 | 16688 6525 165 | 0.000 % |
2.86/2.95 c | 6678 | 11696 50065 152053 | 16688 6678 166 | 0.000 % |
2.96/3.01 c | 6838 | 11696 50065 152053 | 16688 6838 167 | 0.000 % |
2.96/3.09 c | 7016 | 11696 50065 152053 | 16688 7016 167 | 0.000 % |
3.06/3.17 c | 7210 | 11696 50065 152053 | 16688 7210 166 | 0.000 % |
3.16/3.26 c | 7422 | 11696 50065 152053 | 16688 7422 167 | 0.000 % |
3.26/3.36 c | 7655 | 11696 50065 152053 | 16688 7655 168 | 0.000 % |
3.36/3.40 c | 7755 | 11696 50065 152053 | 16688 7755 167 | 0.000 % |
3.36/3.46 c | 7865 | 11696 50065 152053 | 16688 7865 168 | 0.000 % |
3.46/3.51 c | 7986 | 11696 50065 152053 | 16688 7986 167 | 0.000 % |
3.46/3.57 c | 8119 | 11696 50065 152053 | 16688 8119 167 | 0.000 % |
3.56/3.65 c | 8265 | 11696 50065 152053 | 16688 8265 168 | 0.000 % |
3.66/3.72 c | 8426 | 11696 50065 152053 | 16688 8426 168 | 0.000 % |
3.66/3.79 c | 8602 | 11696 50065 152053 | 16688 8602 167 | 0.000 % |
3.76/3.88 c | 8796 | 11696 50065 152053 | 16688 8796 168 | 0.000 % |
3.86/3.97 c | 9008 | 11696 50065 152053 | 16688 9008 168 | 0.000 % |
3.96/4.08 c | 9242 | 11696 50065 152053 | 16688 9242 168 | 0.000 % |
4.06/4.20 c | 9498 | 11696 50065 152053 | 16688 9498 168 | 0.000 % |
4.16/4.25 c | 9599 | 11696 50065 152053 | 16688 9599 168 | 0.000 % |
4.16/4.29 c | 9711 | 11696 50065 152053 | 16688 9711 168 | 0.000 % |
4.26/4.35 c | 9833 | 11696 50065 152053 | 16688 9833 168 | 0.000 % |
4.36/4.41 c | 9969 | 11696 50065 152053 | 16688 9969 168 | 0.000 % |
4.36/4.48 c | 10116 | 11696 50065 152053 | 2147483647 10116 168 | 0.000 % |
4.46/4.55 c | 10278 | 11696 50065 152053 | 2147483647 10278 167 | 0.000 % |
4.56/4.63 c | 10456 | 11696 50065 152053 | 2147483647 10456 168 | 0.000 % |
4.65/4.72 c | 10650 | 11696 50065 152053 | 2147483647 10650 168 | 0.000 % |
4.75/4.81 c | 10862 | 11696 50065 152053 | 2147483647 10862 168 | 0.000 % |
4.85/4.91 c | 11095 | 11696 50065 152053 | 2147483647 11095 168 | 0.000 % |
4.95/5.03 c | 11351 | 11696 50065 152053 | 2147483647 11351 167 | 0.000 % |
5.05/5.15 c | 11634 | 11696 50065 152053 | 2147483647 11634 169 | 0.000 % |
5.15/5.20 c | 11734 | 11696 50065 152053 | 2147483647 11734 168 | 0.000 % |
5.15/5.25 c | 11844 | 11696 50065 152053 | 2147483647 11844 168 | 0.000 % |
5.25/5.31 c | 11966 | 11696 50065 152053 | 2147483647 11966 168 | 0.000 % |
5.25/5.38 c | 12099 | 11696 50065 152053 | 2147483647 12099 168 | 0.000 % |
5.36/5.44 c | 12245 | 11696 50065 152053 | 2147483647 12245 168 | 0.000 % |
5.46/5.51 c | 12405 | 11696 50065 152053 | 2147483647 12405 168 | 0.000 % |
5.55/5.60 c | 12581 | 11696 50065 152053 | 2147483647 12581 168 | 0.000 % |
5.55/5.69 c | 12775 | 11696 50065 152053 | 2147483647 12775 168 | 0.000 % |
5.65/5.79 c | 12987 | 11696 50065 152053 | 2147483647 12987 168 | 0.000 % |
5.86/5.90 c | 13220 | 11696 50065 152053 | 2147483647 13220 168 | 0.000 % |
5.96/6.01 c | 13476 | 11696 50065 152053 | 2147483647 13476 168 | 0.000 % |
6.06/6.14 c | 13758 | 11696 50065 152053 | 2147483647 13758 169 | 0.000 % |
6.16/6.29 c | 14067 | 11696 50065 152053 | 2147483647 14067 169 | 0.000 % |
6.26/6.35 c | 14167 | 11696 50065 152053 | 2147483647 14167 170 | 0.000 % |
6.36/6.41 c | 14277 | 11696 50065 152053 | 2147483647 14277 169 | 0.000 % |
6.36/6.46 c | 14400 | 11696 50065 152053 | 2147483647 14400 169 | 0.000 % |
6.46/6.53 c | 14533 | 11696 50065 152053 | 2147483647 14533 169 | 0.000 % |
6.56/6.60 c | 14679 | 11696 50065 152053 | 2147483647 14679 169 | 0.000 % |
6.56/6.68 c | 14839 | 11696 50065 152053 | 2147483647 14839 169 | 0.000 % |
6.66/6.77 c | 15017 | 11696 50065 152053 | 2147483647 15017 169 | 0.000 % |
6.76/6.87 c | 15214 | 11696 50065 152053 | 2147483647 15214 169 | 0.000 % |
6.86/6.98 c | 15426 | 11696 50065 152053 | 2147483647 15426 169 | 0.000 % |
6.96/7.08 c | 15659 | 11696 50065 152053 | 2147483647 15659 169 | 0.000 % |
7.16/7.20 c | 15916 | 11696 50065 152053 | 2147483647 15916 168 | 0.000 % |
7.26/7.34 c | 16198 | 11696 50065 152053 | 2147483647 16198 169 | 0.000 % |
7.35/7.49 c | 16509 | 11696 50065 152053 | 2147483647 16509 169 | 0.000 % |
7.56/7.66 c | 16849 | 11696 50065 152053 | 2147483647 16849 169 | 0.000 % |
7.66/7.70 c | 16949 | 11696 50065 152053 | 2147483647 16949 170 | 0.000 % |
7.66/7.76 c | 17062 | 11696 50065 152053 | 2147483647 17062 170 | 0.000 % |
7.76/7.83 c | 17183 | 11696 50065 152053 | 2147483647 17183 170 | 0.000 % |
7.86/7.90 c | 17316 | 11696 50065 152053 | 2147483647 17316 170 | 0.000 % |
7.86/7.97 c | 17462 | 11696 50065 152053 | 2147483647 17462 169 | 0.000 % |
7.96/8.05 c | 17623 | 11696 50065 152053 | 2147483647 17623 169 | 0.000 % |
8.06/8.13 c | 17800 | 11696 50065 152053 | 2147483647 17800 169 | 0.000 % |
8.16/8.23 c | 17993 | 11696 50065 152053 | 2147483647 17993 169 | 0.000 % |
8.26/8.34 c | 18206 | 11696 50065 152053 | 2147483647 18206 170 | 0.000 % |
8.36/8.45 c | 18439 | 11696 50065 152053 | 2147483647 18439 169 | 0.000 % |
8.46/8.58 c | 18696 | 11696 50065 152053 | 2147483647 18696 170 | 0.000 % |
8.66/8.73 c | 18977 | 11696 50065 152053 | 2147483647 18977 171 | 0.000 % |
8.86/8.91 c | 19287 | 11696 50065 152053 | 2147483647 19287 172 | 0.000 % |
8.96/9.08 c | 19628 | 11696 50065 152053 | 2147483647 19628 173 | 0.000 % |
9.16/9.27 c | 20001 | 11696 50065 152053 | 2147483647 20001 174 | 0.000 % |
9.26/9.32 c | 20102 | 11696 50065 152053 | 2147483647 20102 174 | 0.000 % |
9.26/9.39 c | 20214 | 11696 50065 152053 | 2147483647 20214 174 | 0.000 % |
9.36/9.46 c | 20338 | 11696 50065 152053 | 2147483647 20338 174 | 0.000 % |
9.46/9.54 c | 20474 | 11696 50065 152053 | 2147483647 20474 174 | 0.000 % |
9.56/9.62 c | 20622 | 11696 50065 152053 | 2147483647 20622 174 | 0.000 % |
9.65/9.72 c | 20784 | 11696 50065 152053 | 2147483647 20784 174 | 0.000 % |
9.76/9.82 c | 20960 | 11696 50065 152053 | 2147483647 20960 174 | 0.000 % |
9.86/9.92 c | 21155 | 11696 50065 152053 | 2147483647 21155 174 | 0.000 % |
9.95/10.04 c | 21370 | 11696 50065 152053 | 2147483647 21370 174 | 0.000 % |
10.05/10.17 c | 21603 | 11696 50065 152053 | 2147483647 21603 174 | 0.000 % |
10.25/10.30 c | 21859 | 11696 50065 152053 | 2147483647 21859 174 | 0.000 % |
10.35/10.45 c | 22141 | 11696 50065 152053 | 2147483647 22141 174 | 0.000 % |
10.55/10.61 c | 22453 | 11696 50065 152053 | 2147483647 22453 175 | 0.000 % |
10.65/10.79 c | 22792 | 11696 50065 152053 | 2147483647 22792 176 | 0.000 % |
10.86/11.00 c | 23164 | 11696 50065 152053 | 2147483647 23164 176 | 0.000 % |
11.16/11.21 c | 23574 | 11696 50065 152053 | 2147483647 23574 176 | 0.000 % |
11.16/11.26 c | 23676 | 11696 50065 152053 | 2147483647 23676 176 | 0.000 % |
11.26/11.33 c | 23787 | 11696 50065 152053 | 2147483647 23787 176 | 0.000 % |
11.36/11.40 c | 23908 | 11696 50065 152053 | 2147483647 23908 176 | 0.000 % |
11.36/11.47 c | 24041 | 11696 50065 152053 | 2147483647 24041 176 | 0.000 % |
11.46/11.55 c | 24187 | 11696 50065 152053 | 2147483647 24187 176 | 0.000 % |
11.56/11.64 c | 24349 | 11696 50065 152053 | 2147483647 24349 176 | 0.000 % |
11.66/11.73 c | 24526 | 11696 50065 152053 | 2147483647 24526 176 | 0.000 % |
11.76/11.85 c | 24719 | 11696 50065 152053 | 2147483647 24719 176 | 0.000 % |
11.86/11.95 c | 24931 | 11696 50065 152053 | 2147483647 24931 175 | 0.000 % |
11.96/12.08 c | 25165 | 11696 50065 152053 | 2147483647 25165 175 | 0.000 % |
12.15/12.22 c | 25422 | 11696 50065 152053 | 2147483647 25422 175 | 0.000 % |
12.25/12.39 c | 25704 | 11696 50065 152053 | 2147483647 25704 175 | 0.000 % |
12.45/12.55 c | 26013 | 11696 50065 152053 | 2147483647 26013 175 | 0.000 % |
12.65/12.73 c | 26352 | 11696 50065 152053 | 2147483647 26352 176 | 0.000 % |
12.85/12.93 c | 26724 | 11696 50065 152053 | 2147483647 26724 175 | 0.000 % |
13.06/13.16 c | 27133 | 11696 50065 152053 | 2147483647 27133 176 | 0.000 % |
13.35/13.40 c | 27582 | 11696 50065 152053 | 2147483647 27582 176 | 0.000 % |
13.35/13.46 c | 27686 | 11696 50065 152053 | 2147483647 27686 176 | 0.000 % |
13.45/13.54 c | 27797 | 11696 50065 152053 | 2147483647 27797 176 | 0.000 % |
13.55/13.61 c | 27918 | 11696 50065 152053 | 2147483647 27918 176 | 0.000 % |
13.55/13.68 c | 28051 | 11696 50065 152053 | 2147483647 28051 176 | 0.000 % |
13.65/13.77 c | 28197 | 11696 50065 152053 | 2147483647 28197 176 | 0.000 % |
13.75/13.86 c | 28357 | 11696 50065 152053 | 2147483647 28357 176 | 0.000 % |
13.85/13.97 c | 28533 | 11696 50065 152053 | 2147483647 28533 176 | 0.000 % |
13.95/14.09 c | 28726 | 11696 50065 152053 | 2147483647 28726 176 | 0.000 % |
14.05/14.20 c | 28938 | 11696 50065 152053 | 2147483647 28938 176 | 0.000 % |
14.26/14.33 c | 29171 | 11696 50065 152053 | 2147483647 29171 176 | 0.000 % |
14.36/14.47 c | 29427 | 11696 50065 152053 | 2147483647 29427 176 | 0.000 % |
14.56/14.63 c | 29709 | 11696 50065 152053 | 2147483647 29709 176 | 0.000 % |
14.65/14.79 c | 30018 | 11696 50065 152053 | 2147483647 30018 176 | 0.000 % |
14.85/14.99 c | 30358 | 11696 50065 152053 | 2147483647 30358 176 | 0.000 % |
15.05/15.19 c | 30730 | 11696 50065 152053 | 2147483647 30730 176 | 0.000 % |
15.35/15.44 c | 31139 | 11696 50065 152053 | 2147483647 31139 176 | 0.000 % |
15.65/15.72 c | 31589 | 11696 50065 152053 | 2147483647 31589 177 | 0.000 % |
15.96/16.01 c | 32082 | 11696 50065 152053 | 2147483647 32082 177 | 0.000 % |
15.96/16.08 c | 32182 | 11696 50065 152053 | 2147483647 32182 177 | 0.000 % |
16.06/16.15 c | 32294 | 11696 50065 152053 | 2147483647 32294 177 | 0.000 % |
16.16/16.23 c | 32417 | 11696 50065 152053 | 2147483647 32417 177 | 0.000 % |
16.26/16.31 c | 32551 | 11696 50065 152053 | 2147483647 32551 177 | 0.000 % |
16.26/16.40 c | 32700 | 11696 50065 152053 | 2147483647 32700 177 | 0.000 % |
16.36/16.50 c | 32865 | 11696 50065 152053 | 2147483647 32865 177 | 0.000 % |
16.56/16.61 c | 33041 | 11696 50065 152053 | 2147483647 33041 177 | 0.000 % |
16.66/16.72 c | 33234 | 11696 50065 152053 | 2147483647 33234 177 | 0.000 % |
16.75/16.85 c | 33446 | 11696 50065 152053 | 2147483647 33446 177 | 0.000 % |
16.85/16.99 c | 33679 | 11696 50065 152053 | 2147483647 33679 176 | 0.000 % |
17.05/17.13 c | 33937 | 11696 50065 152053 | 2147483647 33937 177 | 0.000 % |
17.15/17.29 c | 34219 | 11696 50065 152053 | 2147483647 34219 177 | 0.000 % |
17.35/17.50 c | 34528 | 11696 50065 152053 | 2147483647 34528 177 | 0.000 % |
17.65/17.70 c | 34867 | 11696 50065 152053 | 2147483647 34867 177 | 0.000 % |
17.85/17.93 c | 35240 | 11696 50065 152053 | 2147483647 35240 177 | 0.000 % |
18.15/18.20 c | 35650 | 11696 50065 152053 | 2147483647 35650 178 | 0.000 % |
18.36/18.48 c | 36099 | 11696 50065 152053 | 2147483647 36099 178 | 0.000 % |
18.66/18.78 c | 36592 | 11696 50065 152053 | 2147483647 36592 178 | 0.000 % |
19.05/19.15 c | 37134 | 11696 50065 152053 | 2147483647 37134 179 | 0.000 % |
19.15/19.20 c | 37235 | 11696 50065 152053 | 2147483647 37235 179 | 0.000 % |
19.15/19.28 c | 37346 | 11696 50065 152053 | 2147483647 37346 179 | 0.000 % |
19.25/19.35 c | 37467 | 11696 50065 152053 | 2147483647 37467 179 | 0.000 % |
19.35/19.44 c | 37600 | 11696 50065 152053 | 2147483647 37600 179 | 0.000 % |
19.45/19.53 c | 37746 | 11696 50065 152053 | 2147483647 37746 179 | 0.000 % |
19.55/19.64 c | 37906 | 11696 50065 152053 | 2147483647 37906 179 | 0.000 % |
19.66/19.75 c | 38083 | 11696 50065 152053 | 2147483647 38083 179 | 0.000 % |
19.75/19.88 c | 38276 | 11696 50065 152053 | 2147483647 38276 179 | 0.000 % |
19.95/20.02 c | 38489 | 11696 50065 152053 | 2147483647 38489 179 | 0.000 % |
20.05/20.16 c | 38722 | 11696 50065 152053 | 2147483647 38722 178 | 0.000 % |
20.25/20.32 c | 38981 | 11696 50065 152053 | 2147483647 38981 178 | 0.000 % |
20.44/20.50 c | 39264 | 11696 50065 152053 | 2147483647 39264 178 | 0.000 % |
20.54/20.69 c | 39573 | 11696 50065 152053 | 2147483647 39573 178 | 0.000 % |
20.85/20.92 c | 39913 | 11696 50065 152053 | 2147483647 39913 179 | 0.000 % |
21.04/21.16 c | 40285 | 11696 50065 152053 | 2147483647 40285 179 | 0.000 % |
21.34/21.42 c | 40696 | 11696 50065 152053 | 2147483647 40696 179 | 0.000 % |
21.54/21.69 c | 41146 | 11696 50065 152053 | 2147483647 41146 179 | 0.000 % |
21.96/22.01 c | 41639 | 11696 50065 152053 | 2147483647 41639 178 | 0.000 % |
22.25/22.35 c | 42182 | 11696 50065 152053 | 2147483647 42182 179 | 0.000 % |
22.65/22.74 c | 42778 | 11696 50065 152053 | 2147483647 42778 179 | 0.000 % |
22.75/22.82 c | 42878 | 11696 50065 152053 | 2147483647 42878 179 | 0.000 % |
22.75/22.88 c | 42988 | 11696 50065 152053 | 2147483647 42988 179 | 0.000 % |
22.85/22.96 c | 43109 | 11696 50065 152053 | 2147483647 43109 179 | 0.000 % |
22.95/23.06 c | 43242 | 11696 50065 152053 | 2147483647 43242 179 | 0.000 % |
23.05/23.17 c | 43391 | 11696 50065 152053 | 2147483647 43391 179 | 0.000 % |
23.15/23.28 c | 43551 | 11696 50065 152053 | 2147483647 43551 179 | 0.000 % |
23.35/23.41 c | 43727 | 11696 50065 152053 | 2147483647 43727 179 | 0.000 % |
23.45/23.55 c | 43921 | 11696 50065 152053 | 2147483647 43921 179 | 0.000 % |
23.55/23.69 c | 44133 | 11696 50065 152053 | 2147483647 44133 179 | 0.000 % |
23.74/23.84 c | 44367 | 11696 50065 152053 | 2147483647 44367 179 | 0.000 % |
23.94/24.01 c | 44623 | 11696 50065 152053 | 2147483647 44623 179 | 0.000 % |
24.14/24.21 c | 44904 | 11696 50065 152053 | 2147483647 44904 179 | 0.000 % |
24.35/24.42 c | 45213 | 11696 50065 152053 | 2147483647 45213 179 | 0.000 % |
24.55/24.65 c | 45554 | 11696 50065 152053 | 2147483647 45554 179 | 0.000 % |
24.85/24.91 c | 45929 | 11696 50065 152053 | 2147483647 45929 179 | 0.000 % |
25.05/25.18 c | 46340 | 11696 50065 152053 | 2147483647 46340 179 | 0.000 % |
25.35/25.49 c | 46789 | 11696 50065 152053 | 2147483647 46789 180 | 0.000 % |
25.74/25.82 c | 47282 | 11696 50065 152053 | 2147483647 47282 180 | 0.000 % |
26.04/26.19 c | 47825 | 11696 50065 152053 | 2147483647 47825 180 | 0.000 % |
26.44/26.59 c | 48427 | 11696 50065 152053 | 2147483647 48427 180 | 0.000 % |
26.94/27.04 c | 49082 | 11696 50065 152053 | 2147483647 49082 181 | 0.000 % |
27.04/27.13 c | 49183 | 11696 50065 152053 | 2147483647 49183 180 | 0.000 % |
27.14/27.21 c | 49294 | 11696 50065 152053 | 2147483647 49294 180 | 0.000 % |
27.24/27.31 c | 49416 | 11696 50065 152053 | 2147483647 49416 181 | 0.000 % |
27.34/27.41 c | 49549 | 11696 50065 152053 | 2147483647 49549 180 | 0.000 % |
27.44/27.53 c | 49695 | 11696 50065 152053 | 2147483647 49695 180 | 0.000 % |
27.54/27.65 c | 49855 | 11696 50065 152053 | 2147483647 49855 180 | 0.000 % |
27.64/27.78 c | 50032 | 11696 50065 152053 | 2147483647 50032 180 | 0.000 % |
27.84/27.93 c | 50226 | 11696 50065 152053 | 2147483647 50226 180 | 0.000 % |
28.04/28.10 c | 50438 | 11696 50065 152053 | 2147483647 50438 180 | 0.000 % |
28.14/28.28 c | 50674 | 11696 50065 152053 | 2147483647 50674 180 | 0.000 % |
28.34/28.47 c | 50932 | 11696 50065 152053 | 2147483647 50932 180 | 0.000 % |
28.54/28.67 c | 51214 | 11696 50065 152053 | 2147483647 51214 180 | 0.000 % |
28.75/28.89 c | 51523 | 11696 50065 152053 | 2147483647 51523 180 | 0.000 % |
29.04/29.14 c | 51862 | 11696 50065 152053 | 2147483647 51862 180 | 0.000 % |
29.34/29.40 c | 52234 | 11696 50065 152053 | 2147483647 52234 180 | 0.000 % |
29.55/29.70 c | 52643 | 11696 50065 152053 | 2147483647 52643 180 | 0.000 % |
29.94/30.03 c | 53092 | 11696 50065 152053 | 2147483647 53092 180 | 0.000 % |
30.24/30.38 c | 53586 | 11696 50065 152053 | 2147483647 53586 181 | 0.000 % |
30.64/30.76 c | 54128 | 11696 50065 152053 | 2147483647 54128 181 | 0.000 % |
31.04/31.19 c | 54724 | 11696 50065 152053 | 2147483647 54724 181 | 0.000 % |
31.54/31.66 c | 55381 | 11696 50065 152053 | 2147483647 55381 182 | 0.000 % |
32.04/32.19 c | 56101 | 11696 50065 152053 | 2147483647 56101 182 | 0.000 % |
32.14/32.25 c | 56201 | 11696 50065 152053 | 2147483647 56201 182 | 0.000 % |
32.24/32.34 c | 56311 | 11696 50065 152053 | 2147483647 56311 182 | 0.000 % |
32.34/32.44 c | 56436 | 11696 50065 152053 | 2147483647 56436 182 | 0.000 % |
32.44/32.55 c | 56569 | 11696 50065 152053 | 2147483647 56569 182 | 0.000 % |
32.54/32.67 c | 56716 | 11696 50065 152053 | 2147483647 56716 182 | 0.000 % |
32.73/32.80 c | 56876 | 11696 50065 152053 | 2147483647 56876 182 | 0.000 % |
32.84/32.94 c | 57052 | 11696 50065 152053 | 2147483647 57052 182 | 0.000 % |
33.03/33.10 c | 57245 | 11696 50065 152053 | 2147483647 57245 182 | 0.000 % |
33.13/33.26 c | 57458 | 11696 50065 152053 | 2147483647 57458 182 | 0.000 % |
33.33/33.44 c | 57691 | 11696 50065 152053 | 2147483647 57691 183 | 0.000 % |
33.53/33.63 c | 57948 | 11696 50065 152053 | 2147483647 57948 183 | 0.000 % |
33.73/33.84 c | 58231 | 11696 50065 152053 | 2147483647 58231 183 | 0.000 % |
33.94/34.05 c | 58540 | 11696 50065 152053 | 2147483647 58540 183 | 0.000 % |
34.14/34.29 c | 58879 | 11696 50065 152053 | 2147483647 58879 183 | 0.000 % |
34.44/34.58 c | 59251 | 11696 50065 152053 | 2147483647 59251 183 | 0.000 % |
34.84/34.91 c | 59660 | 11696 50065 152053 | 2147483647 59660 183 | 0.000 % |
35.14/35.22 c | 60109 | 11696 50065 152053 | 2147483647 60109 183 | 0.000 % |
35.44/35.58 c | 60603 | 11696 50065 152053 | 2147483647 60603 183 | 0.000 % |
35.93/36.01 c | 61145 | 11696 50065 152053 | 2147483647 61145 183 | 0.000 % |
36.33/36.47 c | 61741 | 11696 50065 152053 | 2147483647 61741 184 | 0.000 % |
36.83/36.96 c | 62396 | 11696 50065 152053 | 2147483647 62396 184 | 0.000 % |
37.34/37.49 c | 63116 | 11696 50065 152053 | 2147483647 63116 184 | 0.000 % |
37.94/38.06 c | 63909 | 11696 50065 152053 | 2147483647 63909 185 | 0.000 % |
38.04/38.15 c | 64010 | 11696 50065 152053 | 2147483647 64010 185 | 0.000 % |
38.14/38.26 c | 64120 | 11696 50065 152053 | 2147483647 64120 185 | 0.000 % |
38.24/38.37 c | 64242 | 11696 50065 152053 | 2147483647 64242 185 | 0.000 % |
38.34/38.48 c | 64375 | 11696 50065 152053 | 2147483647 64375 185 | 0.000 % |
38.44/38.59 c | 64521 | 11696 50065 152053 | 2147483647 64521 184 | 0.000 % |
38.64/38.74 c | 64682 | 11696 50065 152053 | 2147483647 64682 184 | 0.000 % |
38.74/38.88 c | 64858 | 11696 50065 152053 | 2147483647 64858 184 | 0.000 % |
38.94/39.03 c | 65051 | 11696 50065 152053 | 2147483647 65051 184 | 0.000 % |
39.14/39.20 c | 65266 | 11696 50065 152053 | 2147483647 65266 184 | 0.000 % |
39.34/39.41 c | 65499 | 11696 50065 152053 | 2147483647 65499 184 | 0.000 % |
39.54/39.63 c | 65756 | 11696 50065 152053 | 2147483647 65756 184 | 0.000 % |
39.73/39.88 c | 66040 | 11696 50065 152053 | 2147483647 66040 184 | 0.000 % |
40.03/40.13 c | 66349 | 11696 50065 152053 | 2147483647 66349 185 | 0.000 % |
40.33/40.40 c | 66690 | 11696 50065 152053 | 2147483647 66690 185 | 0.000 % |
40.54/40.69 c | 67062 | 11696 50065 152053 | 2147483647 67062 185 | 0.000 % |
40.93/41.00 c | 67471 | 11696 50065 152053 | 2147483647 67471 185 | 0.000 % |
41.23/41.39 c | 67922 | 11696 50065 152053 | 2147483647 67922 185 | 0.000 % |
41.74/41.82 c | 68415 | 11696 50065 152053 | 2147483647 68415 186 | 0.000 % |
42.13/42.26 c | 68957 | 11696 50065 152053 | 2147483647 68957 186 | 0.000 % |
42.63/42.73 c | 69553 | 11696 50065 152053 | 2147483647 69553 186 | 0.000 % |
43.13/43.28 c | 70208 | 11696 50065 152053 | 2147483647 70208 186 | 0.000 % |
43.73/43.85 c | 70930 | 11696 50065 152053 | 2147483647 70930 186 | 0.000 % |
44.43/44.50 c | 71724 | 11696 50065 152053 | 2147483647 71724 187 | 0.000 % |
45.03/45.17 c | 72598 | 11696 50065 152053 | 2147483647 72598 187 | 0.000 % |
45.13/45.26 c | 72699 | 11696 50065 152053 | 2147483647 72699 187 | 0.000 % |
45.23/45.36 c | 72809 | 11696 50065 152053 | 2147483647 72809 187 | 0.000 % |
45.33/45.45 c | 72930 | 11696 50065 152053 | 2147483647 72930 187 | 0.000 % |
45.43/45.58 c | 73064 | 11696 50065 152053 | 2147483647 73064 187 | 0.000 % |
45.63/45.73 c | 73210 | 11696 50065 152053 | 2147483647 73210 187 | 0.000 % |
45.73/45.85 c | 73371 | 11696 50065 152053 | 2147483647 73371 187 | 0.000 % |
45.93/46.02 c | 73547 | 11696 50065 152053 | 2147483647 73547 187 | 0.000 % |
46.13/46.22 c | 73743 | 11696 50065 152053 | 2147483647 73743 187 | 0.000 % |
46.32/46.40 c | 73955 | 11696 50065 152053 | 2147483647 73955 186 | 0.000 % |
46.42/46.60 c | 74188 | 11696 50065 152053 | 2147483647 74188 186 | 0.000 % |
46.72/46.82 c | 74444 | 11696 50065 152053 | 2147483647 74444 186 | 0.000 % |
46.92/47.07 c | 74725 | 11696 50065 152053 | 2147483647 74725 186 | 0.000 % |
47.24/47.33 c | 75034 | 11696 50065 152053 | 2147483647 75034 186 | 0.000 % |
47.53/47.62 c | 75373 | 11696 50065 152053 | 2147483647 75373 186 | 0.000 % |
47.83/47.92 c | 75745 | 11696 50065 152053 | 2147483647 75745 186 | 0.000 % |
48.13/48.27 c | 76154 | 11696 50065 152053 | 2147483647 76154 186 | 0.000 % |
48.53/48.66 c | 76604 | 11696 50065 152053 | 2147483647 76604 186 | 0.000 % |
48.93/49.07 c | 77099 | 11696 50065 152053 | 2147483647 77099 187 | 0.000 % |
49.43/49.56 c | 77641 | 11696 50065 152053 | 2147483647 77641 187 | 0.000 % |
49.93/50.09 c | 78237 | 11696 50065 152053 | 2147483647 78237 187 | 0.000 % |
50.53/50.61 c | 78892 | 11696 50065 152053 | 2147483647 78892 187 | 0.000 % |
51.13/51.22 c | 79614 | 11696 50065 152053 | 2147483647 79614 187 | 0.000 % |
51.72/51.85 c | 80406 | 11696 50065 152053 | 2147483647 80406 187 | 0.000 % |
52.43/52.58 c | 81277 | 11696 50065 152053 | 2147483647 81277 187 | 0.000 % |
53.23/53.37 c | 82235 | 11696 50065 152053 | 2147483647 82235 188 | 0.000 % |
53.33/53.48 c | 82336 | 11696 50065 152053 | 2147483647 82336 188 | 0.000 % |
53.43/53.59 c | 82446 | 11696 50065 152053 | 2147483647 82446 187 | 0.000 % |
53.63/53.72 c | 82567 | 11696 50065 152053 | 2147483647 82567 187 | 0.000 % |
53.73/53.87 c | 82700 | 11696 50065 152053 | 2147483647 82700 187 | 0.000 % |
53.93/54.02 c | 82849 | 11696 50065 152053 | 2147483647 82849 187 | 0.000 % |
54.03/54.16 c | 83010 | 11696 50065 152053 | 2147483647 83010 187 | 0.000 % |
54.23/54.32 c | 83186 | 11696 50065 152053 | 2147483647 83186 187 | 0.000 % |
54.43/54.52 c | 83379 | 11696 50065 152053 | 2147483647 83379 187 | 0.000 % |
54.63/54.72 c | 83591 | 11696 50065 152053 | 2147483647 83591 187 | 0.000 % |
54.83/54.93 c | 83826 | 11696 50065 152053 | 2147483647 83826 187 | 0.000 % |
55.03/55.17 c | 84083 | 11696 50065 152053 | 2147483647 84083 187 | 0.000 % |
55.33/55.45 c | 84364 | 11696 50065 152053 | 2147483647 84364 187 | 0.000 % |
55.63/55.74 c | 84673 | 11696 50065 152053 | 2147483647 84673 187 | 0.000 % |
55.93/56.05 c | 85012 | 11696 50065 152053 | 2147483647 85012 187 | 0.000 % |
56.22/56.38 c | 85385 | 11696 50065 152053 | 2147483647 85385 188 | 0.000 % |
56.62/56.73 c | 85794 | 11696 50065 152053 | 2147483647 85794 187 | 0.000 % |
57.03/57.15 c | 86246 | 11696 50065 152053 | 2147483647 86246 187 | 0.000 % |
57.52/57.61 c | 86740 | 11696 50065 152053 | 2147483647 86740 187 | 0.000 % |
58.02/58.10 c | 87282 | 11696 50065 152053 | 2147483647 87282 187 | 0.000 % |
58.52/58.60 c | 87878 | 11696 50065 152053 | 2147483647 87878 188 | 0.000 % |
59.02/59.18 c | 88533 | 11696 50065 152053 | 2147483647 88533 188 | 0.000 % |
59.73/59.87 c | 89258 | 11696 50065 152053 | 2147483647 89258 188 | 0.000 % |
60.52/60.60 c | 90050 | 11696 50065 152053 | 2147483647 90050 189 | 0.000 % |
61.32/61.41 c | 90923 | 11696 50065 152053 | 2147483647 90923 190 | 0.000 % |
62.12/62.25 c | 91881 | 11696 50065 152053 | 2147483647 91881 190 | 0.000 % |
63.12/63.20 c | 92936 | 11696 50065 152053 | 2147483647 92936 190 | 0.000 % |
63.12/63.30 c | 93037 | 11696 50065 152053 | 2147483647 93037 190 | 0.000 % |
63.32/63.42 c | 93148 | 11696 50065 152053 | 2147483647 93148 190 | 0.000 % |
63.42/63.54 c | 93269 | 11696 50065 152053 | 2147483647 93269 190 | 0.000 % |
63.52/63.68 c | 93402 | 11696 50065 152053 | 2147483647 93402 190 | 0.000 % |
63.73/63.82 c | 93549 | 11696 50065 152053 | 2147483647 93549 190 | 0.000 % |
63.82/63.99 c | 93711 | 11696 50065 152053 | 2147483647 93711 190 | 0.000 % |
64.02/64.15 c | 93888 | 11696 50065 152053 | 2147483647 93888 190 | 0.000 % |
64.22/64.32 c | 94081 | 11696 50065 152053 | 2147483647 94081 190 | 0.000 % |
64.42/64.56 c | 94295 | 11696 50065 152053 | 2147483647 94295 190 | 0.000 % |
64.62/64.77 c | 94529 | 11696 50065 152053 | 2147483647 94529 190 | 0.000 % |
64.92/65.04 c | 94785 | 11696 50065 152053 | 2147483647 94785 190 | 0.000 % |
65.22/65.31 c | 95068 | 11696 50065 152053 | 2147483647 95068 190 | 0.000 % |
65.52/65.62 c | 95379 | 11696 50065 152053 | 2147483647 95379 190 | 0.000 % |
65.82/65.97 c | 95719 | 11696 50065 152053 | 2147483647 95719 190 | 0.000 % |
66.22/66.32 c | 96092 | 11696 50065 152053 | 2147483647 96092 190 | 0.000 % |
66.61/66.71 c | 96502 | 11696 50065 152053 | 2147483647 96502 190 | 0.000 % |
67.02/67.16 c | 96951 | 11696 50065 152053 | 2147483647 96951 190 | 0.000 % |
67.51/67.63 c | 97444 | 11696 50065 152053 | 2147483647 97444 190 | 0.000 % |
68.03/68.17 c | 97986 | 11696 50065 152053 | 2147483647 97986 190 | 0.000 % |
68.62/68.79 c | 98584 | 11696 50065 152053 | 2147483647 98584 190 | 0.000 % |
69.31/69.40 c | 99241 | 11696 50065 152053 | 2147483647 99241 190 | 0.000 % |
69.91/70.04 c | 99961 | 11696 50065 152053 | 2147483647 99961 190 | 0.000 % |
70.71/70.82 c | 100754 | 11696 50065 152053 | 2147483647 100754 190 | 0.000 % |
71.52/71.64 c | 101625 | 11696 50065 152053 | 2147483647 101625 190 | 0.000 % |
72.42/72.53 c | 102583 | 11696 50065 152053 | 2147483647 102583 191 | 0.000 % |
73.42/73.59 c | 103636 | 11696 50065 152053 | 2147483647 103636 191 | 0.000 % |
74.52/74.70 c | 104794 | 11696 50065 152053 | 2147483647 104794 191 | 0.000 % |
74.72/74.81 c | 104894 | 11696 50065 152053 | 2147483647 104894 191 | 0.000 % |
74.82/74.94 c | 105004 | 11696 50065 152053 | 2147483647 105004 191 | 0.000 % |
75.02/75.10 c | 105128 | 11696 50065 152053 | 2147483647 105128 191 | 0.000 % |
75.12/75.26 c | 105261 | 11696 50065 152053 | 2147483647 105261 191 | 0.000 % |
75.32/75.42 c | 105407 | 11696 50065 152053 | 2147483647 105407 191 | 0.000 % |
75.41/75.58 c | 105567 | 11696 50065 152053 | 2147483647 105567 191 | 0.000 % |
75.72/75.80 c | 105744 | 11696 50065 152053 | 2147483647 105744 191 | 0.000 % |
75.91/76.01 c | 105938 | 11696 50065 152053 | 2147483647 105938 191 | 0.000 % |
76.11/76.25 c | 106150 | 11696 50065 152053 | 2147483647 106150 191 | 0.000 % |
76.41/76.51 c | 106386 | 11696 50065 152053 | 2147483647 106386 191 | 0.000 % |
76.61/76.78 c | 106643 | 11696 50065 152053 | 2147483647 106643 191 | 0.000 % |
76.92/77.08 c | 106925 | 11696 50065 152053 | 2147483647 106925 191 | 0.000 % |
77.21/77.39 c | 107234 | 11696 50065 152053 | 2147483647 107234 191 | 0.000 % |
77.61/77.74 c | 107573 | 11696 50065 152053 | 2147483647 107573 191 | 0.000 % |
78.02/78.16 c | 107946 | 11696 50065 152053 | 2147483647 107946 191 | 0.000 % |
78.41/78.56 c | 108356 | 11696 50065 152053 | 2147483647 108356 191 | 0.000 % |
78.91/79.04 c | 108805 | 11696 50065 152053 | 2147483647 108805 191 | 0.000 % |
79.42/79.52 c | 109299 | 11696 50065 152053 | 2147483647 109299 191 | 0.000 % |
79.91/80.05 c | 109841 | 11696 50065 152053 | 2147483647 109841 191 | 0.000 % |
80.51/80.67 c | 110437 | 11696 50065 152053 | 2147483647 110437 191 | 0.000 % |
81.22/81.33 c | 111092 | 11696 50065 152053 | 2147483647 111092 192 | 0.000 % |
81.91/82.03 c | 111814 | 11696 50065 152053 | 2147483647 111814 192 | 0.000 % |
82.71/82.83 c | 112606 | 11696 50065 152053 | 2147483647 112606 192 | 0.000 % |
83.61/83.76 c | 113479 | 11696 50065 152053 | 2147483647 113479 192 | 0.000 % |
84.62/84.72 c | 114437 | 11696 50065 152053 | 2147483647 114437 192 | 0.000 % |
85.72/85.86 c | 115490 | 11696 50065 152053 | 2147483647 115490 193 | 0.000 % |
86.91/87.06 c | 116649 | 11696 50065 152053 | 2147483647 116649 193 | 0.000 % |
88.21/88.38 c | 117922 | 11696 50065 152053 | 2147483647 117922 193 | 0.000 % |
88.31/88.49 c | 118022 | 11696 50065 152053 | 2147483647 118022 193 | 0.000 % |
88.51/88.65 c | 118132 | 11696 50065 152053 | 2147483647 118132 193 | 0.000 % |
88.61/88.79 c | 118255 | 11696 50065 152053 | 2147483647 118255 193 | 0.000 % |
88.81/88.96 c | 118393 | 11696 50065 152053 | 2147483647 118393 193 | 0.000 % |
89.01/89.13 c | 118540 | 11696 50065 152053 | 2147483647 118540 193 | 0.000 % |
89.21/89.33 c | 118700 | 11696 50065 152053 | 2147483647 118700 193 | 0.000 % |
89.41/89.54 c | 118876 | 11696 50065 152053 | 2147483647 118876 193 | 0.000 % |
89.61/89.77 c | 119069 | 11696 50065 152053 | 2147483647 119069 193 | 0.000 % |
89.91/90.04 c | 119282 | 11696 50065 152053 | 2147483647 119282 193 | 0.000 % |
90.21/90.32 c | 119515 | 11696 50065 152053 | 2147483647 119515 193 | 0.000 % |
90.51/90.61 c | 119771 | 11696 50065 152053 | 2147483647 119771 193 | 0.000 % |
90.81/90.92 c | 120054 | 11696 50065 152053 | 2147483647 120054 193 | 0.000 % |
91.11/91.30 c | 120363 | 11696 50065 152053 | 2147483647 120363 193 | 0.000 % |
91.51/91.67 c | 120702 | 11696 50065 152053 | 2147483647 120702 193 | 0.000 % |
91.91/92.09 c | 121076 | 11696 50065 152053 | 2147483647 121076 193 | 0.000 % |
92.41/92.59 c | 121486 | 11696 50065 152053 | 2147483647 121486 193 | 0.000 % |
93.01/93.13 c | 121936 | 11696 50065 152053 | 2147483647 121936 193 | 0.000 % |
93.50/93.67 c | 122429 | 11696 50065 152053 | 2147483647 122429 193 | 0.000 % |
94.21/94.30 c | 122971 | 11696 50065 152053 | 2147483647 122971 193 | 0.000 % |
94.81/94.96 c | 123569 | 11696 50065 152053 | 2147483647 123569 193 | 0.000 % |
95.61/95.76 c | 124225 | 11696 50065 152053 | 2147483647 124225 193 | 0.000 % |
96.41/96.52 c | 124946 | 11696 50065 152053 | 2147483647 124946 193 | 0.000 % |
97.21/97.38 c | 125739 | 11696 50065 152053 | 2147483647 125739 193 | 0.000 % |
98.20/98.32 c | 126612 | 11696 50065 152053 | 2147483647 126612 193 | 0.000 % |
99.20/99.37 c | 127570 | 11696 50065 152053 | 2147483647 127570 193 | 0.000 % |
100.41/100.53 c | 128624 | 11696 50065 152053 | 2147483647 128624 193 | 0.000 % |
101.71/101.82 c | 129783 | 11696 50065 152053 | 2147483647 129783 194 | 0.000 % |
103.00/103.17 c | 131056 | 11696 50065 152053 | 2147483647 131056 194 | 0.000 % |
104.60/104.72 c | 132458 | 11696 50065 152053 | 2147483647 132458 194 | 0.000 % |
104.71/104.85 c | 132559 | 11696 50065 152053 | 2147483647 132559 194 | 0.000 % |
104.91/105.01 c | 132670 | 11696 50065 152053 | 2147483647 132670 194 | 0.000 % |
105.01/105.18 c | 132791 | 11696 50065 152053 | 2147483647 132791 194 | 0.000 % |
105.21/105.37 c | 132924 | 11696 50065 152053 | 2147483647 132924 194 | 0.000 % |
105.41/105.56 c | 133070 | 11696 50065 152053 | 2147483647 133070 194 | 0.000 % |
105.61/105.79 c | 133232 | 11696 50065 152053 | 2147483647 133232 194 | 0.000 % |
105.90/106.03 c | 133408 | 11696 50065 152053 | 2147483647 133408 194 | 0.000 % |
106.10/106.26 c | 133603 | 11696 50065 152053 | 2147483647 133603 194 | 0.000 % |
106.40/106.53 c | 133817 | 11696 50065 152053 | 2147483647 133817 194 | 0.000 % |
106.70/106.82 c | 134052 | 11696 50065 152053 | 2147483647 134052 194 | 0.000 % |
107.00/107.15 c | 134309 | 11696 50065 152053 | 2147483647 134309 194 | 0.000 % |
107.30/107.49 c | 134590 | 11696 50065 152053 | 2147483647 134590 194 | 0.000 % |
107.70/107.86 c | 134900 | 11696 50065 152053 | 2147483647 134900 194 | 0.000 % |
108.10/108.27 c | 135241 | 11696 50065 152053 | 2147483647 135241 194 | 0.000 % |
108.60/108.74 c | 135614 | 11696 50065 152053 | 2147483647 135614 194 | 0.000 % |
109.10/109.23 c | 136023 | 11696 50065 152053 | 2147483647 136023 194 | 0.000 % |
109.60/109.76 c | 136472 | 11696 50065 152053 | 2147483647 136472 194 | 0.000 % |
110.19/110.31 c | 136966 | 11696 50065 152053 | 2147483647 136966 194 | 0.000 % |
110.79/110.94 c | 137509 | 11696 50065 152053 | 2147483647 137509 194 | 0.000 % |
111.49/111.68 c | 138107 | 11696 50065 152053 | 2147483647 138107 194 | 0.000 % |
112.30/112.43 c | 138762 | 11696 50065 152053 | 2147483647 138762 194 | 0.000 % |
113.10/113.25 c | 139482 | 11696 50065 152053 | 2147483647 139482 194 | 0.000 % |
114.00/114.19 c | 140275 | 11696 50065 152053 | 2147483647 140275 195 | 0.000 % |
115.09/115.21 c | 141146 | 11696 50065 152053 | 2147483647 141146 195 | 0.000 % |
116.19/116.36 c | 142104 | 11696 50065 152053 | 2147483647 142104 195 | 0.000 % |
117.50/117.62 c | 143162 | 11696 50065 152053 | 2147483647 143162 195 | 0.000 % |
118.80/119.00 c | 144320 | 11696 50065 152053 | 2147483647 144320 196 | 0.000 % |
120.39/120.52 c | 145595 | 11696 50065 152053 | 2147483647 145595 197 | 0.000 % |
122.09/122.26 c | 146997 | 11696 50065 152053 | 2147483647 146997 197 | 0.000 % |
123.80/123.99 c | 148538 | 11696 50065 152053 | 2147483647 148538 197 | 0.000 % |
124.00/124.13 c | 148638 | 11696 50065 152053 | 2147483647 148638 197 | 0.000 % |
124.10/124.29 c | 148748 | 11696 50065 152053 | 2147483647 148748 197 | 0.000 % |
124.30/124.48 c | 148869 | 11696 50065 152053 | 2147483647 148869 197 | 0.000 % |
124.50/124.66 c | 149002 | 11696 50065 152053 | 2147483647 149002 197 | 0.000 % |
124.70/124.90 c | 149148 | 11696 50065 152053 | 2147483647 149148 197 | 0.000 % |
125.00/125.12 c | 149308 | 11696 50065 152053 | 2147483647 149308 197 | 0.000 % |
125.20/125.35 c | 149486 | 11696 50065 152053 | 2147483647 149486 197 | 0.000 % |
125.50/125.61 c | 149679 | 11696 50065 152053 | 2147483647 149679 197 | 0.000 % |
125.80/125.91 c | 149894 | 11696 50065 152053 | 2147483647 149894 197 | 0.000 % |
126.09/126.21 c | 150129 | 11696 50065 152053 | 2147483647 150129 197 | 0.000 % |
126.40/126.53 c | 150386 | 11696 50065 152053 | 2147483647 150386 197 | 0.000 % |
126.69/126.88 c | 150667 | 11696 50065 152053 | 2147483647 150667 197 | 0.000 % |
127.09/127.26 c | 150977 | 11696 50065 152053 | 2147483647 150977 197 | 0.000 % |
127.50/127.67 c | 151318 | 11696 50065 152053 | 2147483647 151318 197 | 0.000 % |
127.99/128.15 c | 151691 | 11696 50065 152053 | 2147483647 151691 197 | 0.000 % |
128.49/128.68 c | 152100 | 11696 50065 152053 | 2147483647 152100 197 | 0.000 % |
129.09/129.26 c | 152551 | 11696 50065 152053 | 2147483647 152551 197 | 0.000 % |
129.79/129.91 c | 153044 | 11696 50065 152053 | 2147483647 153044 197 | 0.000 % |
130.39/130.58 c | 153587 | 11696 50065 152053 | 2147483647 153587 197 | 0.000 % |
131.19/131.36 c | 154184 | 11696 50065 152053 | 2147483647 154184 197 | 0.000 % |
131.99/132.18 c | 154842 | 11696 50065 152053 | 2147483647 154842 197 | 0.000 % |
132.79/133.00 c | 155563 | 11696 50065 152053 | 2147483647 155563 197 | 0.000 % |
133.89/134.00 c | 156356 | 11696 50065 152053 | 2147483647 156356 197 | 0.000 % |
134.99/135.10 c | 157228 | 11696 50065 152053 | 2147483647 157228 197 | 0.000 % |
136.09/136.30 c | 158187 | 11696 50065 152053 | 2147483647 158187 197 | 0.000 % |
137.48/137.61 c | 159243 | 11696 50065 152053 | 2147483647 159243 197 | 0.000 % |
138.99/139.14 c | 160403 | 11696 50065 152053 | 2147483647 160403 198 | 0.000 % |
140.59/140.76 c | 161676 | 11696 50065 152053 | 2147483647 161676 198 | 0.000 % |
142.38/142.51 c | 163079 | 11696 50065 152053 | 2147483647 163079 198 | 0.000 % |
144.39/144.55 c | 164619 | 11696 50065 152053 | 2147483647 164619 198 | 0.000 % |
146.49/146.63 c | 166314 | 11696 50065 152053 | 2147483647 166314 199 | 0.000 % |
146.59/146.76 c | 166415 | 11696 50065 152053 | 2147483647 166415 199 | 0.000 % |
146.79/146.92 c | 166525 | 11696 50065 152053 | 2147483647 166525 199 | 0.000 % |
146.99/147.12 c | 166648 | 11696 50065 152053 | 2147483647 166648 199 | 0.000 % |
147.19/147.35 c | 166784 | 11696 50065 152053 | 2147483647 166784 199 | 0.000 % |
147.39/147.58 c | 166931 | 11696 50065 152053 | 2147483647 166931 199 | 0.000 % |
147.69/147.84 c | 167091 | 11696 50065 152053 | 2147483647 167091 199 | 0.000 % |
147.99/148.13 c | 167267 | 11696 50065 152053 | 2147483647 167267 199 | 0.000 % |
148.29/148.43 c | 167460 | 11696 50065 152053 | 2147483647 167460 199 | 0.000 % |
148.59/148.73 c | 167672 | 11696 50065 152053 | 2147483647 167672 199 | 0.000 % |
148.89/149.02 c | 167906 | 11696 50065 152053 | 2147483647 167906 199 | 0.000 % |
149.19/149.39 c | 168163 | 11696 50065 152053 | 2147483647 168163 199 | 0.000 % |
149.59/149.77 c | 168445 | 11696 50065 152053 | 2147483647 168445 199 | 0.000 % |
149.99/150.18 c | 168755 | 11696 50065 152053 | 2147483647 168755 199 | 0.000 % |
150.49/150.63 c | 169094 | 11696 50065 152053 | 2147483647 169094 199 | 0.000 % |
150.98/151.18 c | 169466 | 11696 50065 152053 | 2147483647 169466 199 | 0.000 % |
151.58/151.74 c | 169876 | 11696 50065 152053 | 2147483647 169876 199 | 0.000 % |
152.19/152.35 c | 170326 | 11696 50065 152053 | 2147483647 170326 199 | 0.000 % |
152.88/153.00 c | 170819 | 11696 50065 152053 | 2147483647 170819 199 | 0.000 % |
153.58/153.75 c | 171361 | 11696 50065 152053 | 2147483647 171361 199 | 0.000 % |
154.38/154.54 c | 171957 | 11696 50065 152053 | 2147483647 171957 199 | 0.000 % |
155.18/155.38 c | 172612 | 11696 50065 152053 | 2147483647 172612 199 | 0.000 % |
156.18/156.36 c | 173332 | 11696 50065 152053 | 2147483647 173332 199 | 0.000 % |
157.18/157.33 c | 174126 | 11696 50065 152053 | 2147483647 174126 199 | 0.000 % |
158.29/158.48 c | 174997 | 11696 50065 152053 | 2147483647 174997 199 | 0.000 % |
159.58/159.70 c | 175956 | 11696 50065 152053 | 2147483647 175956 199 | 0.000 % |
160.98/161.11 c | 177009 | 11696 50065 152053 | 2147483647 177009 199 | 0.000 % |
162.58/162.79 c | 178167 | 11696 50065 152053 | 2147483647 178167 200 | 0.000 % |
164.27/164.42 c | 179441 | 11696 50065 152053 | 2147483647 179441 200 | 0.000 % |
166.18/166.37 c | 180843 | 11696 50065 152053 | 2147483647 180843 200 | 0.000 % |
168.38/168.52 c | 182384 | 11696 50065 152053 | 2147483647 182384 201 | 0.000 % |
170.47/170.67 c | 184078 | 11696 50065 152053 | 2147483647 184078 201 | 0.000 % |
173.08/173.20 c | 185941 | 11696 50065 152053 | 2147483647 185941 201 | 0.000 % |
173.18/173.35 c | 186041 | 11696 50065 152053 | 2147483647 186041 201 | 0.000 % |
173.37/173.55 c | 186151 | 11696 50065 152053 | 2147483647 186151 201 | 0.000 % |
173.58/173.75 c | 186272 | 11696 50065 152053 | 2147483647 186272 201 | 0.000 % |
173.77/173.95 c | 186406 | 11696 50065 152053 | 2147483647 186406 201 | 0.000 % |
174.07/174.20 c | 186555 | 11696 50065 152053 | 2147483647 186555 201 | 0.000 % |
174.27/174.48 c | 186715 | 11696 50065 152053 | 2147483647 186715 201 | 0.000 % |
174.57/174.77 c | 186892 | 11696 50065 152053 | 2147483647 186892 201 | 0.000 % |
174.87/175.07 c | 187086 | 11696 50065 152053 | 2147483647 187086 201 | 0.000 % |
175.27/175.44 c | 187298 | 11696 50065 152053 | 2147483647 187298 201 | 0.000 % |
175.67/175.81 c | 187531 | 11696 50065 152053 | 2147483647 187531 201 | 0.000 % |
176.08/176.23 c | 187788 | 11696 50065 152053 | 2147483647 187788 201 | 0.000 % |
176.48/176.68 c | 188069 | 11696 50065 152053 | 2147483647 188069 201 | 0.000 % |
177.08/177.20 c | 188378 | 11696 50065 152053 | 2147483647 188378 201 | 0.000 % |
177.58/177.71 c | 188717 | 11696 50065 152053 | 2147483647 188717 200 | 0.000 % |
178.08/178.28 c | 189089 | 11696 50065 152053 | 2147483647 189089 200 | 0.000 % |
178.67/178.89 c | 189498 | 11696 50065 152053 | 2147483647 189498 200 | 0.000 % |
179.47/179.61 c | 189948 | 11696 50065 152053 | 2147483647 189948 200 | 0.000 % |
180.17/180.36 c | 190442 | 11696 50065 152053 | 2147483647 190442 201 | 0.000 % |
180.97/181.15 c | 190984 | 11696 50065 152053 | 2147483647 190984 201 | 0.000 % |
181.77/181.98 c | 191580 | 11696 50065 152053 | 2147483647 191580 201 | 0.000 % |
182.77/182.94 c | 192238 | 11696 50065 152053 | 2147483647 192238 201 | 0.000 % |
183.77/183.96 c | 192958 | 11696 50065 152053 | 2147483647 192958 201 | 0.000 % |
184.87/185.09 c | 193753 | 11696 50065 152053 | 2147483647 193753 201 | 0.000 % |
186.17/186.38 c | 194626 | 11696 50065 152053 | 2147483647 194626 201 | 0.000 % |
187.57/187.78 c | 195587 | 11696 50065 152053 | 2147483647 195587 201 | 0.000 % |
189.27/189.43 c | 196643 | 11696 50065 152053 | 2147483647 196643 201 | 0.000 % |
190.97/191.13 c | 197802 | 11696 50065 152053 | 2147483647 197802 201 | 0.000 % |
192.67/192.86 c | 199076 | 11696 50065 152053 | 2147483647 199076 202 | 0.000 % |
194.77/194.92 c | 200477 | 11696 50065 152053 | 2147483647 200477 202 | 0.000 % |
196.97/197.18 c | 202018 | 11696 50065 152053 | 2147483647 202018 202 | 0.000 % |
199.47/199.70 c | 203712 | 11696 50065 152053 | 2147483647 203712 202 | 0.000 % |
202.27/202.47 c | 205580 | 11696 50065 152053 | 2147483647 205580 202 | 0.000 % |
205.26/205.41 c | 207630 | 11696 50065 152053 | 2147483647 207630 203 | 0.000 % |
205.47/205.60 c | 207732 | 11696 50065 152053 | 2147483647 207732 203 | 0.000 % |
205.66/205.83 c | 207842 | 11696 50065 152053 | 2147483647 207842 203 | 0.000 % |
205.86/206.05 c | 207963 | 11696 50065 152053 | 2147483647 207963 203 | 0.000 % |
206.16/206.32 c | 208097 | 11696 50065 152053 | 2147483647 208097 203 | 0.000 % |
206.46/206.60 c | 208243 | 11696 50065 152053 | 2147483647 208243 202 | 0.000 % |
206.66/206.88 c | 208404 | 11696 50065 152053 | 2147483647 208404 203 | 0.000 % |
206.96/207.16 c | 208583 | 11696 50065 152053 | 2147483647 208583 202 | 0.000 % |
207.36/207.50 c | 208776 | 11696 50065 152053 | 2147483647 208776 202 | 0.000 % |
207.67/207.86 c | 208989 | 11696 50065 152053 | 2147483647 208989 202 | 0.000 % |
208.07/208.27 c | 209223 | 11696 50065 152053 | 2147483647 209223 202 | 0.000 % |
208.57/208.70 c | 209479 | 11696 50065 152053 | 2147483647 209479 202 | 0.000 % |
208.97/209.17 c | 209762 | 11696 50065 152053 | 2147483647 209762 202 | 0.000 % |
209.47/209.67 c | 210072 | 11696 50065 152053 | 2147483647 210072 202 | 0.000 % |
210.17/210.30 c | 210413 | 11696 50065 152053 | 2147483647 210413 202 | 0.000 % |
210.76/210.94 c | 210786 | 11696 50065 152053 | 2147483647 210786 202 | 0.000 % |
211.36/211.59 c | 211195 | 11696 50065 152053 | 2147483647 211195 202 | 0.000 % |
212.06/212.25 c | 211644 | 11696 50065 152053 | 2147483647 211644 202 | 0.000 % |
212.86/213.09 c | 212137 | 11696 50065 152053 | 2147483647 212137 202 | 0.000 % |
213.76/213.95 c | 212679 | 11696 50065 152053 | 2147483647 212679 202 | 0.000 % |
214.65/214.88 c | 213275 | 11696 50065 152053 | 2147483647 213275 202 | 0.000 % |
215.76/215.94 c | 213931 | 11696 50065 152053 | 2147483647 213931 202 | 0.000 % |
216.76/216.96 c | 214653 | 11696 50065 152053 | 2147483647 214653 203 | 0.000 % |
218.06/218.21 c | 215445 | 11696 50065 152053 | 2147483647 215445 202 | 0.000 % |
219.35/219.58 c | 216316 | 11696 50065 152053 | 2147483647 216316 203 | 0.000 % |
220.86/221.05 c | 217274 | 11696 50065 152053 | 2147483647 217274 203 | 0.000 % |
222.56/222.73 c | 218328 | 11696 50065 152053 | 2147483647 218328 203 | 0.000 % |
224.36/224.55 c | 219486 | 11696 50065 152053 | 2147483647 219486 203 | 0.000 % |
226.46/226.60 c | 220759 | 11696 50065 152053 | 2147483647 220759 203 | 0.000 % |
228.46/228.67 c | 222162 | 11696 50065 152053 | 2147483647 222162 203 | 0.000 % |
230.85/231.07 c | 223705 | 11696 50065 152053 | 2147483647 223705 204 | 0.000 % |
233.45/233.60 c | 225400 | 11696 50065 152053 | 2147483647 225400 204 | 0.000 % |
236.26/236.41 c | 227264 | 11696 50065 152053 | 2147483647 227264 204 | 0.000 % |
239.45/239.61 c | 229314 | 11696 50065 152053 | 2147483647 229314 204 | 0.000 % |
243.05/243.22 c | 231569 | 11696 50065 152053 | 2147483647 231569 205 | 0.000 % |
243.25/243.47 c | 231670 | 11696 50065 152053 | 2147483647 231670 205 | 0.000 % |
243.55/243.70 c | 231780 | 11696 50065 152053 | 2147483647 231780 205 | 0.000 % |
243.75/243.97 c | 231901 | 11696 50065 152053 | 2147483647 231901 205 | 0.000 % |
244.06/244.24 c | 232034 | 11696 50065 152053 | 2147483647 232034 205 | 0.000 % |
244.35/244.57 c | 232180 | 11696 50065 152053 | 2147483647 232180 205 | 0.000 % |
244.75/244.90 c | 232340 | 11696 50065 152053 | 2147483647 232340 204 | 0.000 % |
245.06/245.26 c | 232517 | 11696 50065 152053 | 2147483647 232517 204 | 0.000 % |
245.55/245.70 c | 232710 | 11696 50065 152053 | 2147483647 232710 204 | 0.000 % |
245.95/246.12 c | 232922 | 11696 50065 152053 | 2147483647 232922 204 | 0.000 % |
246.35/246.54 c | 233155 | 11696 50065 152053 | 2147483647 233155 204 | 0.000 % |
246.85/247.01 c | 233411 | 11696 50065 152053 | 2147483647 233411 204 | 0.000 % |
247.35/247.53 c | 233692 | 11696 50065 152053 | 2147483647 233692 204 | 0.000 % |
247.84/248.05 c | 234001 | 11696 50065 152053 | 2147483647 234001 204 | 0.000 % |
248.54/248.71 c | 234341 | 11696 50065 152053 | 2147483647 234341 204 | 0.000 % |
249.14/249.37 c | 234713 | 11696 50065 152053 | 2147483647 234713 204 | 0.000 % |
249.84/250.04 c | 235124 | 11696 50065 152053 | 2147483647 235124 204 | 0.000 % |
250.65/250.80 c | 235573 | 11696 50065 152053 | 2147483647 235573 204 | 0.000 % |
251.45/251.69 c | 236066 | 11696 50065 152053 | 2147483647 236066 204 | 0.000 % |
252.45/252.62 c | 236609 | 11696 50065 152053 | 2147483647 236609 204 | 0.000 % |
253.44/253.67 c | 237205 | 11696 50065 152053 | 2147483647 237205 204 | 0.000 % |
254.44/254.68 c | 237860 | 11696 50065 152053 | 2147483647 237860 204 | 0.000 % |
255.75/255.91 c | 238581 | 11696 50065 152053 | 2147483647 238581 204 | 0.000 % |
257.15/257.32 c | 239373 | 11696 50065 152053 | 2147483647 239373 204 | 0.000 % |
258.64/258.89 c | 240244 | 11696 50065 152053 | 2147483647 240244 204 | 0.000 % |
260.14/260.32 c | 241203 | 11696 50065 152053 | 2147483647 241203 204 | 0.000 % |
261.75/261.98 c | 242256 | 11696 50065 152053 | 2147483647 242256 204 | 0.000 % |
263.64/263.88 c | 243414 | 11696 50065 152053 | 2147483647 243414 205 | 0.000 % |
265.64/265.80 c | 244688 | 11696 50065 152053 | 2147483647 244688 205 | 0.000 % |
267.84/268.09 c | 246088 | 11696 50065 152053 | 2147483647 246088 205 | 0.000 % |
270.45/270.60 c | 247629 | 11696 50065 152053 | 2147483647 247629 205 | 0.000 % |
273.14/273.31 c | 249323 | 11696 50065 152053 | 2147483647 249323 206 | 0.000 % |
276.34/276.58 c | 251188 | 11696 50065 152053 | 2147483647 251188 206 | 0.000 % |
279.84/280.10 c | 253237 | 11696 50065 152053 | 2147483647 253237 206 | 0.000 % |
283.64/283.85 c | 255491 | 11696 50065 152053 | 2147483647 255491 207 | 0.000 % |
287.64/287.81 c | 257971 | 11696 50065 152053 | 2147483647 257971 208 | 0.000 % |
287.84/288.03 c | 258073 | 11696 50065 152053 | 2147483647 258073 208 | 0.000 % |
288.14/288.32 c | 258183 | 11696 50065 152053 | 2147483647 258183 208 | 0.000 % |
288.43/288.60 c | 258304 | 11696 50065 152053 | 2147483647 258304 208 | 0.000 % |
288.63/288.86 c | 258437 | 11696 50065 152053 | 2147483647 258437 208 | 0.000 % |
288.93/289.17 c | 258584 | 11696 50065 152053 | 2147483647 258584 208 | 0.000 % |
289.33/289.54 c | 258745 | 11696 50065 152053 | 2147483647 258745 208 | 0.000 % |
289.73/289.92 c | 258922 | 11696 50065 152053 | 2147483647 258922 208 | 0.000 % |
290.14/290.35 c | 259116 | 11696 50065 152053 | 2147483647 259116 208 | 0.000 % |
290.53/290.78 c | 259328 | 11696 50065 152053 | 2147483647 259328 208 | 0.000 % |
291.03/291.27 c | 259561 | 11696 50065 152053 | 2147483647 259561 208 | 0.000 % |
291.63/291.83 c | 259818 | 11696 50065 152053 | 2147483647 259818 208 | 0.000 % |
292.13/292.40 c | 260099 | 11696 50065 152053 | 2147483647 260099 208 | 0.000 % |
292.83/293.07 c | 260408 | 11696 50065 152053 | 2147483647 260408 208 | 0.000 % |
293.53/293.74 c | 260749 | 11696 50065 152053 | 2147483647 260749 208 | 0.000 % |
294.33/294.53 c | 261122 | 11696 50065 152053 | 2147483647 261122 207 | 0.000 % |
295.13/295.31 c | 261531 | 11696 50065 152053 | 2147483647 261531 208 | 0.000 % |
296.03/296.23 c | 261981 | 11696 50065 152053 | 2147483647 261981 208 | 0.000 % |
296.93/297.18 c | 262476 | 11696 50065 152053 | 2147483647 262476 208 | 0.000 % |
298.02/298.25 c | 263018 | 11696 50065 152053 | 2147483647 263018 208 | 0.000 % |
299.23/299.43 c | 263615 | 11696 50065 152053 | 2147483647 263615 208 | 0.000 % |
300.33/300.57 c | 264271 | 11696 50065 152053 | 2147483647 264271 208 | 0.000 % |
301.62/301.83 c | 264992 | 11696 50065 152053 | 2147483647 264992 208 | 0.000 % |
303.13/303.30 c | 265784 | 11696 50065 152053 | 2147483647 265784 208 | 0.000 % |
304.63/304.87 c | 266655 | 11696 50065 152053 | 2147483647 266655 208 | 0.000 % |
306.42/306.67 c | 267614 | 11696 50065 152053 | 2147483647 267614 208 | 0.000 % |
308.52/308.75 c | 268667 | 11696 50065 152053 | 2147483647 268667 208 | 0.000 % |
310.72/310.95 c | 269825 | 11696 50065 152053 | 2147483647 269825 208 | 0.000 % |
312.82/313.00 c | 271101 | 11696 50065 152053 | 2147483647 271101 208 | 0.000 % |
315.32/315.52 c | 272502 | 11696 50065 152053 | 2147483647 272502 209 | 0.000 % |
318.22/318.45 c | 274042 | 11696 50065 152053 | 2147483647 274042 209 | 0.000 % |
321.22/321.48 c | 275736 | 11696 50065 152053 | 2147483647 275736 209 | 0.000 % |
324.52/324.77 c | 277599 | 11696 50065 152053 | 2147483647 277599 209 | 0.000 % |
328.42/328.62 c | 279648 | 11696 50065 152053 | 2147483647 279648 209 | 0.000 % |
332.32/332.54 c | 281903 | 11696 50065 152053 | 2147483647 281903 210 | 0.000 % |
336.81/337.07 c | 284382 | 11696 50065 152053 | 2147483647 284382 210 | 0.000 % |
341.42/341.63 c | 287107 | 11696 50065 152053 | 2147483647 287107 211 | 0.000 % |
341.62/341.88 c | 287208 | 11696 50065 152053 | 2147483647 287208 211 | 0.000 % |
341.92/342.17 c | 287321 | 11696 50065 152053 | 2147483647 287321 211 | 0.000 % |
342.22/342.48 c | 287443 | 11696 50065 152053 | 2147483647 287443 211 | 0.000 % |
342.62/342.87 c | 287577 | 11696 50065 152053 | 2147483647 287577 210 | 0.000 % |
342.92/343.19 c | 287724 | 11696 50065 152053 | 2147483647 287724 210 | 0.000 % |
343.31/343.54 c | 287885 | 11696 50065 152053 | 2147483647 287885 210 | 0.000 % |
343.71/343.95 c | 288061 | 11696 50065 152053 | 2147483647 288061 210 | 0.000 % |
344.21/344.43 c | 288257 | 11696 50065 152053 | 2147483647 288257 210 | 0.000 % |
344.61/344.86 c | 288469 | 11696 50065 152053 | 2147483647 288469 210 | 0.000 % |
345.11/345.38 c | 288702 | 11696 50065 152053 | 2147483647 288702 210 | 0.000 % |
345.71/345.94 c | 288958 | 11696 50065 152053 | 2147483647 288958 210 | 0.000 % |
346.21/346.50 c | 289239 | 11696 50065 152053 | 2147483647 289239 210 | 0.000 % |
347.01/347.26 c | 289550 | 11696 50065 152053 | 2147483647 289550 210 | 0.000 % |
347.71/347.98 c | 289889 | 11696 50065 152053 | 2147483647 289889 210 | 0.000 % |
348.61/348.81 c | 290264 | 11696 50065 152053 | 2147483647 290264 210 | 0.000 % |
349.41/349.70 c | 290673 | 11696 50065 152053 | 2147483647 290673 210 | 0.000 % |
350.31/350.54 c | 291122 | 11696 50065 152053 | 2147483647 291122 210 | 0.000 % |
351.31/351.51 c | 291616 | 11696 50065 152053 | 2147483647 291616 210 | 0.000 % |
352.41/352.63 c | 292160 | 11696 50065 152053 | 2147483647 292160 210 | 0.000 % |
353.71/353.93 c | 292758 | 11696 50065 152053 | 2147483647 292758 210 | 0.000 % |
355.01/355.24 c | 293413 | 11696 50065 152053 | 2147483647 293413 210 | 0.000 % |
356.40/356.69 c | 294134 | 11696 50065 152053 | 2147483647 294134 210 | 0.000 % |
358.00/358.21 c | 294928 | 11696 50065 152053 | 2147483647 294928 210 | 0.000 % |
359.71/359.93 c | 295799 | 11696 50065 152053 | 2147483647 295799 210 | 0.000 % |
361.62/361.83 c | 296758 | 11696 50065 152053 | 2147483647 296758 210 | 0.000 % |
363.61/363.83 c | 297811 | 11696 50065 152053 | 2147483647 297811 210 | 0.000 % |
366.01/366.21 c | 298969 | 11696 50065 152053 | 2147483647 298969 210 | 0.000 % |
368.21/368.45 c | 300242 | 11696 50065 152053 | 2147483647 300242 210 | 0.000 % |
370.90/371.18 c | 301642 | 11696 50065 152053 | 2147483647 301642 210 | 0.000 % |
373.81/374.04 c | 303183 | 11696 50065 152053 | 2147483647 303183 210 | 0.000 % |
377.10/377.36 c | 304877 | 11696 50065 152053 | 2147483647 304877 210 | 0.000 % |
380.70/380.98 c | 306741 | 11696 50065 152053 | 2147483647 306741 210 | 0.000 % |
384.70/384.98 c | 308790 | 11696 50065 152053 | 2147483647 308790 210 | 0.000 % |
389.10/389.30 c | 311044 | 11696 50065 152053 | 2147483647 311044 210 | 0.000 % |
394.00/394.20 c | 313522 | 11696 50065 152053 | 2147483647 313522 211 | 0.000 % |
399.50/399.72 c | 316248 | 11696 50065 152053 | 2147483647 316248 211 | 0.000 % |
405.60/405.90 c | 319245 | 11696 50065 152053 | 2147483647 319245 211 | 0.000 % |
405.80/406.09 c | 319345 | 11696 50065 152053 | 2147483647 319345 211 | 0.000 % |
406.10/406.37 c | 319456 | 11696 50065 152053 | 2147483647 319456 211 | 0.000 % |
406.40/406.67 c | 319579 | 11696 50065 152053 | 2147483647 319579 211 | 0.000 % |
406.80/407.04 c | 319712 | 11696 50065 152053 | 2147483647 319712 211 | 0.000 % |
407.20/407.42 c | 319858 | 11696 50065 152053 | 2147483647 319858 211 | 0.000 % |
407.49/407.77 c | 320018 | 11696 50065 152053 | 2147483647 320018 211 | 0.000 % |
407.99/408.27 c | 320195 | 11696 50065 152053 | 2147483647 320195 211 | 0.000 % |
408.49/408.76 c | 320388 | 11696 50065 152053 | 2147483647 320388 211 | 0.000 % |
409.09/409.32 c | 320600 | 11696 50065 152053 | 2147483647 320600 211 | 0.000 % |
409.59/409.87 c | 320833 | 11696 50065 152053 | 2147483647 320833 211 | 0.000 % |
410.19/410.40 c | 321090 | 11696 50065 152053 | 2147483647 321090 211 | 0.000 % |
410.89/411.14 c | 321371 | 11696 50065 152053 | 2147483647 321371 211 | 0.000 % |
411.69/411.91 c | 321680 | 11696 50065 152053 | 2147483647 321680 211 | 0.000 % |
412.39/412.69 c | 322019 | 11696 50065 152053 | 2147483647 322019 211 | 0.000 % |
413.39/413.63 c | 322393 | 11696 50065 152053 | 2147483647 322393 211 | 0.000 % |
414.29/414.53 c | 322803 | 11696 50065 152053 | 2147483647 322803 211 | 0.000 % |
415.29/415.51 c | 323254 | 11696 50065 152053 | 2147483647 323254 211 | 0.000 % |
416.39/416.60 c | 323752 | 11696 50065 152053 | 2147483647 323752 211 | 0.000 % |
417.59/417.84 c | 324294 | 11696 50065 152053 | 2147483647 324294 211 | 0.000 % |
418.89/419.18 c | 324890 | 11696 50065 152053 | 2147483647 324890 211 | 0.000 % |
420.29/420.59 c | 325545 | 11696 50065 152053 | 2147483647 325545 211 | 0.000 % |
421.99/422.22 c | 326265 | 11696 50065 152053 | 2147483647 326265 211 | 0.000 % |
423.69/423.98 c | 327059 | 11696 50065 152053 | 2147483647 327059 211 | 0.000 % |
425.77/426.03 c | 327931 | 11696 50065 152053 | 2147483647 327931 211 | 0.000 % |
427.77/428.08 c | 328891 | 11696 50065 152053 | 2147483647 328891 211 | 0.000 % |
430.08/430.31 c | 329944 | 11696 50065 152053 | 2147483647 329944 211 | 0.000 % |
432.27/432.53 c | 331102 | 11696 50065 152053 | 2147483647 331102 211 | 0.000 % |
435.07/435.36 c | 332375 | 11696 50065 152053 | 2147483647 332375 211 | 0.000 % |
438.07/438.38 c | 333776 | 11696 50065 152053 | 2147483647 333776 211 | 0.000 % |
441.37/441.61 c | 335317 | 11696 50065 152053 | 2147483647 335317 211 | 0.000 % |
445.07/445.34 c | 337011 | 11696 50065 152053 | 2147483647 337011 211 | 0.000 % |
449.27/449.53 c | 338876 | 11696 50065 152053 | 2147483647 338876 211 | 0.000 % |
453.36/453.68 c | 340927 | 11696 50065 152053 | 2147483647 340927 212 | 0.000 % |
458.16/458.40 c | 343181 | 11696 50065 152053 | 2147483647 343181 212 | 0.000 % |
462.96/463.25 c | 345659 | 11696 50065 152053 | 2147483647 345659 212 | 0.000 % |
468.66/468.98 c | 348384 | 11696 50065 152053 | 2147483647 348384 212 | 0.000 % |
475.26/475.55 c | 351382 | 11696 50065 152053 | 2147483647 351382 213 | 0.000 % |
482.16/482.49 c | 354678 | 11696 50065 152053 | 2147483647 354678 213 | 0.000 % |
482.46/482.78 c | 354778 | 11696 50065 152053 | 2147483647 354778 213 | 0.000 % |
482.76/483.09 c | 354888 | 11696 50065 152053 | 2147483647 354888 213 | 0.000 % |
483.16/483.44 c | 355009 | 11696 50065 152053 | 2147483647 355009 213 | 0.000 % |
483.56/483.88 c | 355144 | 11696 50065 152053 | 2147483647 355144 213 | 0.000 % |
483.96/484.29 c | 355290 | 11696 50065 152053 | 2147483647 355290 213 | 0.000 % |
484.46/484.74 c | 355450 | 11696 50065 152053 | 2147483647 355450 213 | 0.000 % |
484.95/485.22 c | 355627 | 11696 50065 152053 | 2147483647 355627 213 | 0.000 % |
485.45/485.76 c | 355821 | 11696 50065 152053 | 2147483647 355821 213 | 0.000 % |
486.06/486.33 c | 356033 | 11696 50065 152053 | 2147483647 356033 213 | 0.000 % |
486.76/487.00 c | 356266 | 11696 50065 152053 | 2147483647 356266 213 | 0.000 % |
487.46/487.70 c | 356523 | 11696 50065 152053 | 2147483647 356523 213 | 0.000 % |
488.26/488.54 c | 356804 | 11696 50065 152053 | 2147483647 356804 213 | 0.000 % |
489.06/489.32 c | 357113 | 11696 50065 152053 | 2147483647 357113 213 | 0.000 % |
489.96/490.20 c | 357452 | 11696 50065 152053 | 2147483647 357452 213 | 0.000 % |
490.75/491.01 c | 357826 | 11696 50065 152053 | 2147483647 357826 213 | 0.000 % |
491.75/492.03 c | 358235 | 11696 50065 152053 | 2147483647 358235 213 | 0.000 % |
492.85/493.11 c | 358685 | 11696 50065 152053 | 2147483647 358685 213 | 0.000 % |
494.06/494.36 c | 359179 | 11696 50065 152053 | 2147483647 359179 212 | 0.000 % |
495.35/495.64 c | 359721 | 11696 50065 152053 | 2147483647 359721 212 | 0.000 % |
496.75/497.05 c | 360317 | 11696 50065 152053 | 2147483647 360317 212 | 0.000 % |
498.35/498.65 c | 360977 | 11696 50065 152053 | 2147483647 360977 212 | 0.000 % |
499.95/500.26 c | 361698 | 11696 50065 152053 | 2147483647 361698 212 | 0.000 % |
501.85/502.11 c | 362491 | 11696 50065 152053 | 2147483647 362491 212 | 0.000 % |
503.94/504.22 c | 363363 | 11696 50065 152053 | 2147483647 363363 212 | 0.000 % |
506.14/506.47 c | 364322 | 11696 50065 152053 | 2147483647 364322 212 | 0.000 % |
508.55/508.85 c | 365375 | 11696 50065 152053 | 2147483647 365375 212 | 0.000 % |
511.15/511.48 c | 366534 | 11696 50065 152053 | 2147483647 366534 212 | 0.000 % |
514.14/514.40 c | 367807 | 11696 50065 152053 | 2147483647 367807 212 | 0.000 % |
517.35/517.65 c | 369207 | 11696 50065 152053 | 2147483647 369207 212 | 0.000 % |
521.05/521.32 c | 370749 | 11696 50065 152053 | 2147483647 370749 212 | 0.000 % |
524.64/524.97 c | 372443 | 11696 50065 152053 | 2147483647 372443 212 | 0.000 % |
528.94/529.24 c | 374306 | 11696 50065 152053 | 2147483647 374306 213 | 0.000 % |
533.54/533.83 c | 376356 | 11696 50065 152053 | 2147483647 376356 213 | 0.000 % |
538.75/539.03 c | 378612 | 11696 50065 152053 | 2147483647 378612 213 | 0.000 % |
544.64/544.93 c | 381090 | 11696 50065 152053 | 2147483647 381090 213 | 0.000 % |
551.14/551.43 c | 383815 | 11696 50065 152053 | 2147483647 383815 213 | 0.000 % |
558.04/558.31 c | 386813 | 11696 50065 152053 | 2147483647 386813 214 | 0.000 % |
565.63/565.95 c | 390109 | 11696 50065 152053 | 2147483647 390109 214 | 0.000 % |
574.03/574.38 c | 393734 | 11696 50065 152053 | 2147483647 393734 214 | 0.000 % |
574.33/574.68 c | 393837 | 11696 50065 152053 | 2147483647 393837 214 | 0.000 % |
574.73/575.03 c | 393949 | 11696 50065 152053 | 2147483647 393949 214 | 0.000 % |
575.13/575.41 c | 394070 | 11696 50065 152053 | 2147483647 394070 214 | 0.000 % |
575.53/575.89 c | 394204 | 11696 50065 152053 | 2147483647 394204 214 | 0.000 % |
576.03/576.33 c | 394350 | 11696 50065 152053 | 2147483647 394350 214 | 0.000 % |
576.53/576.82 c | 394510 | 11696 50065 152053 | 2147483647 394510 214 | 0.000 % |
577.13/577.41 c | 394687 | 11696 50065 152053 | 2147483647 394687 214 | 0.000 % |
577.63/577.98 c | 394880 | 11696 50065 152053 | 2147483647 394880 214 | 0.000 % |
578.23/578.60 c | 395092 | 11696 50065 152053 | 2147483647 395092 214 | 0.000 % |
579.02/579.36 c | 395326 | 11696 50065 152053 | 2147483647 395326 214 | 0.000 % |
579.82/580.16 c | 395583 | 11696 50065 152053 | 2147483647 395583 214 | 0.000 % |
580.72/581.06 c | 395864 | 11696 50065 152053 | 2147483647 395864 214 | 0.000 % |
581.52/581.88 c | 396174 | 11696 50065 152053 | 2147483647 396174 214 | 0.000 % |
582.53/582.84 c | 396513 | 11696 50065 152053 | 2147483647 396513 214 | 0.000 % |
583.53/583.86 c | 396885 | 11696 50065 152053 | 2147483647 396885 214 | 0.000 % |
584.73/585.04 c | 397294 | 11696 50065 152053 | 2147483647 397294 214 | 0.000 % |
585.83/586.15 c | 397746 | 11696 50065 152053 | 2147483647 397746 214 | 0.000 % |
587.13/587.48 c | 398239 | 11696 50065 152053 | 2147483647 398239 214 | 0.000 % |
588.53/588.80 c | 398783 | 11696 50065 152053 | 2147483647 398783 214 | 0.000 % |
590.02/590.32 c | 399384 | 11696 50065 152053 | 2147483647 399384 214 | 0.000 % |
591.72/592.01 c | 400039 | 11696 50065 152053 | 2147483647 400039 214 | 0.000 % |
593.72/594.07 c | 400759 | 11696 50065 152053 | 2147483647 400759 214 | 0.000 % |
595.73/596.10 c | 401551 | 11696 50065 152053 | 2147483647 401551 214 | 0.000 % |
598.03/598.38 c | 402422 | 11696 50065 152053 | 2147483647 402422 214 | 0.000 % |
600.42/600.75 c | 403383 | 11696 50065 152053 | 2147483647 403383 214 | 0.000 % |
602.92/603.28 c | 404437 | 11696 50065 152053 | 2147483647 404437 214 | 0.000 % |
605.92/606.22 c | 405595 | 11696 50065 152053 | 2147483647 405595 214 | 0.000 % |
609.02/609.37 c | 406870 | 11696 50065 152053 | 2147483647 406870 214 | 0.000 % |
612.42/612.73 c | 408270 | 11696 50065 152053 | 2147483647 408270 215 | 0.000 % |
616.32/616.69 c | 409810 | 11696 50065 152053 | 2147483647 409810 215 | 0.000 % |
620.41/620.79 c | 411504 | 11696 50065 152053 | 2147483647 411504 215 | 0.000 % |
625.01/625.33 c | 413369 | 11696 50065 152053 | 2147483647 413369 215 | 0.000 % |
630.11/630.41 c | 415419 | 11696 50065 152053 | 2147483647 415419 215 | 0.000 % |
635.71/636.06 c | 417673 | 11696 50065 152053 | 2147483647 417673 215 | 0.000 % |
641.61/641.97 c | 420153 | 11696 50065 152053 | 2147483647 420153 215 | 0.000 % |
648.50/648.82 c | 422880 | 11696 50065 152053 | 2147483647 422880 216 | 0.000 % |
656.20/656.56 c | 425878 | 11696 50065 152053 | 2147483647 425878 216 | 0.000 % |
664.40/664.74 c | 429174 | 11696 50065 152053 | 2147483647 429174 216 | 0.000 % |
673.30/673.69 c | 432802 | 11696 50065 152053 | 2147483647 432802 217 | 0.000 % |
682.99/683.35 c | 436789 | 11696 50065 152053 | 2147483647 436789 217 | 0.000 % |
683.29/683.65 c | 436890 | 11696 50065 152053 | 2147483647 436890 217 | 0.000 % |
683.69/684.06 c | 437000 | 11696 50065 152053 | 2147483647 437000 217 | 0.000 % |
684.19/684.58 c | 437122 | 11696 50065 152053 | 2147483647 437122 217 | 0.000 % |
684.70/685.03 c | 437255 | 11696 50065 152053 | 2147483647 437255 217 | 0.000 % |
685.20/685.57 c | 437403 | 11696 50065 152053 | 2147483647 437403 217 | 0.000 % |
685.70/686.09 c | 437564 | 11696 50065 152053 | 2147483647 437564 217 | 0.000 % |
686.40/686.74 c | 437740 | 11696 50065 152053 | 2147483647 437740 217 | 0.000 % |
687.10/687.40 c | 437933 | 11696 50065 152053 | 2147483647 437933 217 | 0.000 % |
687.79/688.11 c | 438145 | 11696 50065 152053 | 2147483647 438145 217 | 0.000 % |
688.49/688.83 c | 438378 | 11696 50065 152053 | 2147483647 438378 217 | 0.000 % |
689.30/689.68 c | 438634 | 11696 50065 152053 | 2147483647 438634 217 | 0.000 % |
690.19/690.55 c | 438916 | 11696 50065 152053 | 2147483647 438916 217 | 0.000 % |
691.19/691.51 c | 439225 | 11696 50065 152053 | 2147483647 439225 217 | 0.000 % |
692.19/692.56 c | 439565 | 11696 50065 152053 | 2147483647 439565 217 | 0.000 % |
693.50/693.83 c | 439938 | 11696 50065 152053 | 2147483647 439938 217 | 0.000 % |
694.80/695.17 c | 440348 | 11696 50065 152053 | 2147483647 440348 216 | 0.000 % |
696.09/696.48 c | 440797 | 11696 50065 152053 | 2147483647 440797 216 | 0.000 % |
697.59/697.92 c | 441291 | 11696 50065 152053 | 2147483647 441291 216 | 0.000 % |
699.19/699.51 c | 441833 | 11696 50065 152053 | 2147483647 441833 217 | 0.000 % |
700.79/701.15 c | 442430 | 11696 50065 152053 | 2147483647 442430 216 | 0.000 % |
702.68/703.03 c | 443087 | 11696 50065 152053 | 2147483647 443087 216 | 0.000 % |
704.80/705.18 c | 443809 | 11696 50065 152053 | 2147483647 443809 216 | 0.000 % |
706.89/707.29 c | 444602 | 11696 50065 152053 | 2147483647 444602 217 | 0.000 % |
709.39/709.75 c | 445473 | 11696 50065 152053 | 2147483647 445473 217 | 0.000 % |
711.98/712.39 c | 446431 | 11696 50065 152053 | 2147483647 446431 217 | 0.000 % |
714.89/715.25 c | 447485 | 11696 50065 152053 | 2147483647 447485 217 | 0.000 % |
718.09/718.44 c | 448644 | 11696 50065 152053 | 2147483647 448644 217 | 0.000 % |
721.58/721.99 c | 449920 | 11696 50065 152053 | 2147483647 449920 217 | 0.000 % |
725.49/725.87 c | 451320 | 11696 50065 152053 | 2147483647 451320 217 | 0.000 % |
729.38/729.73 c | 452860 | 11696 50065 152053 | 2147483647 452860 217 | 0.000 % |
734.08/734.42 c | 454554 | 11696 50065 152053 | 2147483647 454554 217 | 0.000 % |
739.37/739.79 c | 456418 | 11696 50065 152053 | 2147483647 456418 217 | 0.000 % |
744.58/744.94 c | 458468 | 11696 50065 152053 | 2147483647 458468 217 | 0.000 % |
750.48/750.88 c | 460722 | 11696 50065 152053 | 2147483647 460722 217 | 0.000 % |
757.48/757.89 c | 463201 | 11696 50065 152053 | 2147483647 463201 217 | 0.000 % |
765.18/765.54 c | 465929 | 11696 50065 152053 | 2147483647 465929 217 | 0.000 % |
773.47/773.84 c | 468927 | 11696 50065 152053 | 2147483647 468927 217 | 0.000 % |
782.07/782.44 c | 472225 | 11696 50065 152053 | 2147483647 472225 218 | 0.000 % |
792.17/792.57 c | 475851 | 11696 50065 152053 | 2147483647 475851 218 | 0.000 % |
802.86/803.21 c | 479838 | 11696 50065 152053 | 2147483647 479838 218 | 0.000 % |
814.56/814.93 c | 484224 | 11696 50065 152053 | 2147483647 484224 219 | 0.000 % |
814.96/815.33 c | 484327 | 11696 50065 152053 | 2147483647 484327 219 | 0.000 % |
815.36/815.76 c | 484438 | 11696 50065 152053 | 2147483647 484438 219 | 0.000 % |
815.87/816.24 c | 484559 | 11696 50065 152053 | 2147483647 484559 219 | 0.000 % |
816.46/816.82 c | 484693 | 11696 50065 152053 | 2147483647 484693 219 | 0.000 % |
816.96/817.33 c | 484839 | 11696 50065 152053 | 2147483647 484839 219 | 0.000 % |
817.56/817.91 c | 484999 | 11696 50065 152053 | 2147483647 484999 219 | 0.000 % |
818.16/818.54 c | 485175 | 11696 50065 152053 | 2147483647 485175 219 | 0.000 % |
818.75/819.18 c | 485370 | 11696 50065 152053 | 2147483647 485370 219 | 0.000 % |
819.65/820.05 c | 485585 | 11696 50065 152053 | 2147483647 485585 219 | 0.000 % |
820.55/820.99 c | 485820 | 11696 50065 152053 | 2147483647 485820 219 | 0.000 % |
821.55/821.91 c | 486077 | 11696 50065 152053 | 2147483647 486077 219 | 0.000 % |
822.55/823.00 c | 486358 | 11696 50065 152053 | 2147483647 486358 219 | 0.000 % |
823.75/824.11 c | 486667 | 11696 50065 152053 | 2147483647 486667 219 | 0.000 % |
824.85/825.23 c | 487006 | 11696 50065 152053 | 2147483647 487006 219 | 0.000 % |
826.15/826.57 c | 487378 | 11696 50065 152053 | 2147483647 487378 219 | 0.000 % |
827.55/827.98 c | 487787 | 11696 50065 152053 | 2147483647 487787 219 | 0.000 % |
828.96/829.37 c | 488236 | 11696 50065 152053 | 2147483647 488236 218 | 0.000 % |
830.65/831.05 c | 488731 | 11696 50065 152053 | 2147483647 488731 219 | 0.000 % |
832.15/832.53 c | 489273 | 11696 50065 152053 | 2147483647 489273 219 | 0.000 % |
834.05/834.48 c | 489871 | 11696 50065 152053 | 2147483647 489871 218 | 0.000 % |
836.15/836.57 c | 490526 | 11696 50065 152053 | 2147483647 490526 218 | 0.000 % |
838.65/839.01 c | 491246 | 11696 50065 152053 | 2147483647 491246 218 | 0.000 % |
841.05/841.41 c | 492039 | 11696 50065 152053 | 2147483647 492039 218 | 0.000 % |
843.85/844.27 c | 492912 | 11696 50065 152053 | 2147483647 492912 218 | 0.000 % |
846.85/847.26 c | 493872 | 11696 50065 152053 | 2147483647 493872 218 | 0.000 % |
850.24/850.64 c | 494925 | 11696 50065 152053 | 2147483647 494925 218 | 0.000 % |
853.74/854.13 c | 496083 | 11696 50065 152053 | 2147483647 496083 218 | 0.000 % |
857.55/857.93 c | 497356 | 11696 50065 152053 | 2147483647 497356 219 | 0.000 % |
861.84/862.29 c | 498758 | 11696 50065 152053 | 2147483647 498758 219 | 0.000 % |
866.24/866.69 c | 500298 | 11696 50065 152053 | 2147483647 500298 219 | 0.000 % |
871.33/871.72 c | 501992 | 11696 50065 152053 | 2147483647 501992 219 | 0.000 % |
876.44/876.87 c | 503857 | 11696 50065 152053 | 2147483647 503857 219 | 0.000 % |
882.54/882.97 c | 505906 | 11696 50065 152053 | 2147483647 505906 219 | 0.000 % |
889.33/889.79 c | 508163 | 11696 50065 152053 | 2147483647 508163 219 | 0.000 % |
896.53/896.92 c | 510641 | 11696 50065 152053 | 2147483647 510641 219 | 0.000 % |
903.83/904.27 c | 513367 | 11696 50065 152053 | 2147483647 513367 220 | 0.000 % |
912.43/912.85 c | 516365 | 11696 50065 152053 | 2147483647 516365 220 | 0.000 % |
922.43/922.82 c | 519662 | 11696 50065 152053 | 2147483647 519662 220 | 0.000 % |
932.72/933.12 c | 523288 | 11696 50065 152053 | 2147483647 523288 220 | 0.000 % |
944.31/944.75 c | 527275 | 11696 50065 152053 | 2147483647 527275 220 | 0.000 % |
957.11/957.58 c | 531661 | 11696 50065 152053 | 2147483647 531661 221 | 0.000 % |
971.21/971.69 c | 536484 | 11696 50065 152053 | 2147483647 536484 221 | 0.000 % |
971.61/972.06 c | 536584 | 11696 50065 152053 | 2147483647 536584 221 | 0.000 % |
972.11/972.56 c | 536695 | 11696 50065 152053 | 2147483647 536695 221 | 0.000 % |
972.61/973.08 c | 536820 | 11696 50065 152053 | 2147483647 536820 221 | 0.000 % |
973.21/973.64 c | 536956 | 11696 50065 152053 | 2147483647 536956 221 | 0.000 % |
973.91/974.34 c | 537103 | 11696 50065 152053 | 2147483647 537103 221 | 0.000 % |
974.61/975.08 c | 537264 | 11696 50065 152053 | 2147483647 537264 221 | 0.000 % |
975.41/975.82 c | 537440 | 11696 50065 152053 | 2147483647 537440 221 | 0.000 % |
976.11/976.59 c | 537634 | 11696 50065 152053 | 2147483647 537634 221 | 0.000 % |
977.01/977.41 c | 537846 | 11696 50065 152053 | 2147483647 537846 221 | 0.000 % |
977.91/978.31 c | 538079 | 11696 50065 152053 | 2147483647 538079 221 | 0.000 % |
978.91/979.32 c | 538335 | 11696 50065 152053 | 2147483647 538335 221 | 0.000 % |
980.01/980.40 c | 538618 | 11696 50065 152053 | 2147483647 538618 221 | 0.000 % |
981.10/981.56 c | 538927 | 11696 50065 152053 | 2147483647 538927 221 | 0.000 % |
982.30/982.79 c | 539267 | 11696 50065 152053 | 2147483647 539267 221 | 0.000 % |
983.60/984.04 c | 539641 | 11696 50065 152053 | 2147483647 539641 221 | 0.000 % |
985.00/985.47 c | 540050 | 11696 50065 152053 | 2147483647 540050 221 | 0.000 % |
986.70/987.19 c | 540499 | 11696 50065 152053 | 2147483647 540499 221 | 0.000 % |
988.51/988.96 c | 540994 | 11696 50065 152053 | 2147483647 540994 221 | 0.000 % |
990.40/990.88 c | 541536 | 11696 50065 152053 | 2147483647 541536 221 | 0.000 % |
992.81/993.20 c | 542132 | 11696 50065 152053 | 2147483647 542132 221 | 0.000 % |
995.01/995.45 c | 542787 | 11696 50065 152053 | 2147483647 542787 221 | 0.000 % |
997.60/998.05 c | 543507 | 11696 50065 152053 | 2147483647 543507 221 | 0.000 % |
1000.60/1001.01 c | 544299 | 11696 50065 152053 | 2147483647 544299 221 | 0.000 % |
1003.50/1003.90 c | 545171 | 11696 50065 152053 | 2147483647 545171 221 | 0.000 % |
1006.60/1007.07 c | 546130 | 11696 50065 152053 | 2147483647 546130 221 | 0.000 % |
1009.89/1010.33 c | 547183 | 11696 50065 152053 | 2147483647 547183 221 | 0.000 % |
1013.39/1013.89 c | 548341 | 11696 50065 152053 | 2147483647 548341 221 | 0.000 % |
1017.70/1018.12 c | 549616 | 11696 50065 152053 | 2147483647 549616 221 | 0.000 % |
1022.19/1022.69 c | 551016 | 11696 50065 152053 | 2147483647 551016 221 | 0.000 % |
1027.39/1027.86 c | 552556 | 11696 50065 152053 | 2147483647 552556 221 | 0.000 % |
1032.99/1033.49 c | 554251 | 11696 50065 152053 | 2147483647 554251 221 | 0.000 % |
1038.79/1039.27 c | 556114 | 11696 50065 152053 | 2147483647 556114 221 | 0.000 % |
1045.49/1045.95 c | 558164 | 11696 50065 152053 | 2147483647 558164 221 | 0.000 % |
1052.58/1053.04 c | 560418 | 11696 50065 152053 | 2147483647 560418 221 | 0.000 % |
1060.78/1061.27 c | 562896 | 11696 50065 152053 | 2147483647 562896 221 | 0.000 % |
1069.58/1070.03 c | 565621 | 11696 50065 152053 | 2147483647 565621 221 | 0.000 % |
1078.77/1079.28 c | 568618 | 11696 50065 152053 | 2147483647 568618 222 | 0.000 % |
1088.97/1089.41 c | 571914 | 11696 50065 152053 | 2147483647 571914 222 | 0.000 % |
1100.57/1101.06 c | 575540 | 11696 50065 152053 | 2147483647 575540 222 | 0.000 % |
1113.57/1114.02 c | 579527 | 11696 50065 152053 | 2147483647 579527 222 | 0.000 % |
1127.26/1127.72 c | 583912 | 11696 50065 152053 | 2147483647 583912 222 | 0.000 % |
1142.56/1143.04 c | 588735 | 11696 50065 152053 | 2147483647 588735 223 | 0.000 % |
1159.45/1159.97 c | 594040 | 11696 50065 152053 | 2147483647 594040 223 | 0.000 % |
1159.96/1160.50 c | 594140 | 11696 50065 152053 | 2147483647 594140 223 | 0.000 % |
1160.55/1161.05 c | 594250 | 11696 50065 152053 | 2147483647 594250 223 | 0.000 % |
1161.15/1161.63 c | 594371 | 11696 50065 152053 | 2147483647 594371 223 | 0.000 % |
1161.75/1162.25 c | 594506 | 11696 50065 152053 | 2147483647 594506 223 | 0.000 % |
1162.56/1163.02 c | 594652 | 11696 50065 152053 | 2147483647 594652 223 | 0.000 % |
1163.16/1163.70 c | 594812 | 11696 50065 152053 | 2147483647 594812 223 | 0.000 % |
1163.96/1164.45 c | 594989 | 11696 50065 152053 | 2147483647 594989 223 | 0.000 % |
1164.76/1165.29 c | 595182 | 11696 50065 152053 | 2147483647 595182 223 | 0.000 % |
1165.75/1166.23 c | 595395 | 11696 50065 152053 | 2147483647 595395 223 | 0.000 % |
1166.75/1167.28 c | 595628 | 11696 50065 152053 | 2147483647 595628 223 | 0.000 % |
1167.85/1168.36 c | 595884 | 11696 50065 152053 | 2147483647 595884 223 | 0.000 % |
1168.95/1169.45 c | 596165 | 11696 50065 152053 | 2147483647 596165 223 | 0.000 % |
1170.25/1170.70 c | 596475 | 11696 50065 152053 | 2147483647 596475 223 | 0.000 % |
1171.65/1172.15 c | 596817 | 11696 50065 152053 | 2147483647 596817 223 | 0.000 % |
1173.16/1173.64 c | 597190 | 11696 50065 152053 | 2147483647 597190 223 | 0.000 % |
1174.65/1175.19 c | 597599 | 11696 50065 152053 | 2147483647 597599 223 | 0.000 % |
1176.35/1176.85 c | 598050 | 11696 50065 152053 | 2147483647 598050 223 | 0.000 % |
1178.25/1178.70 c | 598543 | 11696 50065 152053 | 2147483647 598543 223 | 0.000 % |
1180.44/1180.93 c | 599085 | 11696 50065 152053 | 2147483647 599085 223 | 0.000 % |
1182.84/1183.33 c | 599681 | 11696 50065 152053 | 2147483647 599681 222 | 0.000 % |
1185.15/1185.70 c | 600337 | 11696 50065 152053 | 2147483647 600337 222 | 0.000 % |
1187.84/1188.39 c | 601057 | 11696 50065 152053 | 2147483647 601057 222 | 0.000 % |
1191.04/1191.59 c | 601850 | 11696 50065 152053 | 2147483647 601850 223 | 0.000 % |
1194.24/1194.70 c | 602721 | 11696 50065 152053 | 2147483647 602721 223 | 0.000 % |
1197.84/1198.35 c | 603679 | 11696 50065 152053 | 2147483647 603679 222 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832801-1242788036/watcher-1832801-1242788036 -o /tmp/evaluation-result-1832801-1242788036/solver-1832801-1242788036 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832801-1242788036.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.91 0.97 0.99 3/64 2892
/proc/meminfo: memFree=1839232/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306837139 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 212234633298 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/2892/statm: 1339 235 195 169 0 50 0
[pid=2893] ppid=2892 vsize=5356 CPUtime=0
/proc/2893/stat : 2893 (SatELiteGTI) R 2892 2892 2159 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306837139 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/2893/statm: 1339 238 198 169 0 50 0
[pid=2895] ppid=2893 vsize=0 CPUtime=0
/proc/2895/stat : 2895 (sed) Z 2893 2892 2159 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 306837139 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/2895/statm: 0 0 0 0 0 0 0
[startup+0.0911489 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 2892
/proc/meminfo: memFree=1839232/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306837139 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101145 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 2892
/proc/meminfo: memFree=1839232/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306837139 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30117 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 2892
/proc/meminfo: memFree=1839232/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 5356
[startup+0.701206 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 2892
/proc/meminfo: memFree=1839232/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 5356
[startup+1.50127 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 2898
/proc/meminfo: memFree=1832624/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=7192 CPUtime=1.25
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 1638 0 0 0 124 1 0 0 25 0 1 0 306837161 7364608 1624 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 1798 1624 77 171 0 1625 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12548
[startup+3.10142 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 2898
/proc/meminfo: memFree=1830512/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=9964 CPUtime=2.85
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 2335 0 0 0 284 1 0 0 25 0 1 0 306837161 10203136 2321 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 2491 2321 77 171 0 2318 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15320
[startup+6.30171 s]
/proc/loadavg: 0.92 0.97 0.99 2/66 2898
/proc/meminfo: memFree=1824944/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=15020 CPUtime=6.05
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 3599 0 0 0 602 3 0 0 25 0 1 0 306837161 15380480 3585 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 3755 3585 77 171 0 3582 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20376
[startup+12.7013 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 2898
/proc/meminfo: memFree=1815152/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=24312 CPUtime=12.44
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 5921 0 0 0 1239 5 0 0 25 0 1 0 306837161 24895488 5907 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 6078 5907 77 171 0 5905 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 29668
[startup+25.5015 s]
/proc/loadavg: 0.94 0.97 0.99 2/66 2898
/proc/meminfo: memFree=1798832/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=40000 CPUtime=25.24
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 9832 0 0 0 2514 10 0 0 25 0 1 0 306837161 40960000 9818 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 10000 9818 77 171 0 9827 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 45356
[startup+51.1019 s]
/proc/loadavg: 0.96 0.97 0.99 2/66 2898
/proc/meminfo: memFree=1772528/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=66528 CPUtime=50.82
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 16471 0 0 0 5066 16 0 0 25 0 1 0 306837161 68124672 16457 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 16632 16457 77 171 0 16459 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 71884
[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/66 2898
/proc/meminfo: memFree=1729328/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=108956 CPUtime=102
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 27095 0 0 0 10172 28 0 0 25 0 1 0 306837161 111570944 27081 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 27239 27081 77 171 0 27066 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 114312
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2898
/proc/meminfo: memFree=1687664/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=151076 CPUtime=161.97
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 37594 0 0 0 16158 39 0 0 25 0 1 0 306837161 154701824 37580 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 37769 37580 77 171 0 37596 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 156432
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2898
/proc/meminfo: memFree=1651312/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=186988 CPUtime=221.95
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 46515 0 0 0 22144 51 0 0 25 0 1 0 306837161 191475712 46501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 46747 46501 77 171 0 46574 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 192344
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2898
/proc/meminfo: memFree=1617456/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=220912 CPUtime=281.93
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 55038 0 0 0 28132 61 0 0 25 0 1 0 306837161 226213888 55024 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 55228 55024 77 171 0 55055 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 226268
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2898
/proc/meminfo: memFree=1584624/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=253124 CPUtime=341.91
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 63101 0 0 0 34121 70 0 0 25 0 1 0 306837161 259198976 63087 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 63281 63087 77 171 0 63108 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 258480
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2898
/proc/meminfo: memFree=1558384/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=280132 CPUtime=401.88
################
# More data... #
################
/proc/2898/statm: 88216 88000 77 171 0 88043 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 358220
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2904
/proc/meminfo: memFree=1461872/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=375176 CPUtime=641.8
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 93594 0 0 0 64075 105 0 0 25 0 1 0 306837161 384180224 93580 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 93794 93580 77 171 0 93621 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 380532
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2904
/proc/meminfo: memFree=1439280/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=397616 CPUtime=701.78
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 99236 0 0 0 70065 113 0 0 25 0 1 0 306837161 407158784 99222 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 99404 99222 77 171 0 99231 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 402972
[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2904
/proc/meminfo: memFree=1418160/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=418472 CPUtime=761.76
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 104462 0 0 0 76058 118 0 0 25 0 1 0 306837161 428515328 104448 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 104618 104448 77 171 0 104445 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 423828
[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2904
/proc/meminfo: memFree=1396592/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=440768 CPUtime=821.74
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 109837 0 0 0 82049 125 0 0 25 0 1 0 306837161 451346432 109823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 110192 109823 77 171 0 110019 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 446124
[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2904
/proc/meminfo: memFree=1378480/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=458724 CPUtime=881.72
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 114333 0 0 0 88043 129 0 0 25 0 1 0 306837161 469733376 114319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 114681 114319 77 171 0 114508 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 464080
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2904
/proc/meminfo: memFree=1357104/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=480108 CPUtime=941.71
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 119712 0 0 0 94035 136 0 0 25 0 1 0 306837161 491630592 119698 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 120027 119698 77 171 0 119854 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 485464
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2904
/proc/meminfo: memFree=1339184/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=497664 CPUtime=1001.69
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 124112 0 0 0 100028 141 0 0 25 0 1 0 306837161 509607936 124098 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 124416 124098 77 171 0 124243 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 503020
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2904
/proc/meminfo: memFree=1321648/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=515088 CPUtime=1061.67
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 128504 0 0 0 106021 146 0 0 25 0 1 0 306837161 527450112 128490 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 128772 128490 77 171 0 128599 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 520444
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2904
/proc/meminfo: memFree=1302320/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=534228 CPUtime=1121.65
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 133287 0 0 0 112015 150 0 0 25 0 1 0 306837161 547049472 133273 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 133557 133273 77 171 0 133384 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 539584
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2904
/proc/meminfo: memFree=1285552/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=550860 CPUtime=1181.63
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 137467 0 0 0 118008 155 0 0 25 0 1 0 306837161 564080640 137453 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 137715 137453 77 171 0 137542 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 556216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2904
/proc/meminfo: memFree=1280816/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=555216 CPUtime=1199.84
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 138574 0 0 0 119827 157 0 0 25 0 1 0 306837161 568541184 138560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 138804 138560 77 171 0 138631 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 560572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2904
/proc/meminfo: memFree=1280816/2055920 swapFree=4179996/4192956
[pid=2892] ppid=2890 vsize=5356 CPUtime=0.21
/proc/2892/stat : 2892 (SatELiteGTI) S 2890 2892 2159 0 -1 4194304 336 1838 0 0 0 0 20 1 15 0 1 0 306837139 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2892/statm: 1339 239 197 169 0 50 0
[pid=2898] ppid=2892 vsize=555216 CPUtime=1199.84
/proc/2898/stat : 2898 (minisat_static) R 2892 2892 2159 0 -1 4194304 138574 0 0 0 119827 157 0 0 25 0 1 0 306837161 568541184 138560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 138804 138560 77 171 0 138631 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 560572
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2892 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=205968
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=12998
# CPU time returned by wait4() is 0.218966
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.05
CPU user time (s): 1198.47
CPU system time (s): 1.58
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 560572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.205968
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 24
runsolver used 1.51077 second user time and 2.94855 second system time
The end
Begin job on node14 at 2009-05-20 04:53:56
IDJOB=1832801
IDBENCH=70364
IDSOLVER=671
FILE ID=node14/1832801-1242788036
PBS_JOBID= 9322312
Free space on /tmp= 66296 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/12000/unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832801-1242788036/watcher-1832801-1242788036 -o /tmp/evaluation-result-1832801-1242788036/solver-1832801-1242788036 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832801-1242788036.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= baab5bee77b4ec39821ca7eac508e100
RANDOM SEED=269688772
node14.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1839776 kB
Buffers: 28368 kB
Cached: 140220 kB
SwapCached: 7192 kB
Active: 81672 kB
Inactive: 95844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1839776 kB
SwapTotal: 4192956 kB
SwapFree: 4179996 kB
Dirty: 2500 kB
Writeback: 0 kB
Mapped: 14060 kB
Slab: 24660 kB
Committed_AS: 985092 kB
PageTables: 1452 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= 66292 MiB
End job on node14 at 2009-05-20 05:13:59