0.00/0.00 c Parsing...
0.00/0.09 c ==============================================================================
0.00/0.09 c | | ORIGINAL | LEARNT | |
0.00/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.09 c ==============================================================================
0.00/0.09 c | 0 | 133055 396210 | 39916 0 0 nan | 0.000 % |
1.03/1.02 c | 0 | 132150 561686 | -- 0 -- -- | -- | -905/165476
1.03/1.02 c ==============================================================================
1.03/1.02 c Result : #vars: 1298 #clauses: 132150 #literals: 561686
1.03/1.02 c CPU time: 0.98 s
1.03/1.02 c ==============================================================================
1.13/1.20 c This is MiniSat 2.0 beta
1.13/1.20 c WARNING: for repeatability, setting FPU to use double precision
1.13/1.20 c ============================[ Problem Statistics ]=============================
1.13/1.20 c | |
1.13/1.20 c | Number of variables: 1298 |
1.13/1.20 c | Number of clauses: 132150 |
1.20/1.28 c | Parsing time: 0.08 s |
1.20/1.28 c ============================[ Search Statistics ]==============================
1.20/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.20/1.28 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.20/1.28 c ===============================================================================
1.20/1.28 c | 0 | 1298 132150 561686 | 44050 0 nan | 0.000 % |
1.20/1.34 c | 100 | 1298 132150 561686 | 44050 100 66 | 0.000 % |
1.20/1.37 c | 200 | 1298 132150 561686 | 44050 200 63 | 0.000 % |
1.20/1.40 c | 300 | 1298 132150 561686 | 44050 300 68 | 0.000 % |
1.20/1.42 c | 410 | 1298 132150 561686 | 44050 410 69 | 0.000 % |
1.20/1.44 c | 511 | 1298 132150 561686 | 44050 511 72 | 0.000 % |
1.20/1.49 c | 623 | 1298 132150 561686 | 44050 623 77 | 0.000 % |
1.20/1.54 c | 745 | 1298 132150 561686 | 44050 745 79 | 0.000 % |
1.20/1.57 c | 846 | 1298 132150 561686 | 44050 846 80 | 0.000 % |
1.20/1.61 c | 957 | 1298 132150 561686 | 44050 957 81 | 0.000 % |
1.20/1.65 c | 1080 | 1298 132150 561686 | 44050 1080 82 | 0.000 % |
1.20/1.70 c | 1214 | 1298 132150 561686 | 44050 1214 84 | 0.000 % |
1.20/1.73 c | 1314 | 1298 132150 561686 | 44050 1314 85 | 0.000 % |
1.20/1.75 c | 1424 | 1298 132150 561686 | 44050 1424 85 | 0.000 % |
1.20/1.78 c | 1545 | 1298 132150 561686 | 44050 1545 86 | 0.000 % |
1.20/1.84 c | 1678 | 1298 132150 561686 | 44050 1678 87 | 0.000 % |
1.20/1.89 c | 1824 | 1298 132150 561686 | 44050 1824 88 | 0.000 % |
1.20/1.92 c | 1924 | 1298 132150 561686 | 44050 1924 87 | 0.000 % |
1.20/1.94 c | 2035 | 1298 132150 561686 | 44050 2035 88 | 0.000 % |
1.20/1.98 c | 2159 | 1298 132150 561686 | 44050 2159 88 | 0.000 % |
1.20/2.01 c | 2292 | 1298 132150 561686 | 44050 2292 88 | 0.000 % |
1.20/2.05 c | 2438 | 1298 132150 561686 | 44050 2438 88 | 0.000 % |
1.20/2.10 c | 2600 | 1298 132150 561686 | 44050 2600 89 | 0.000 % |
1.20/2.13 c | 2703 | 1298 132150 561686 | 44050 2703 88 | 0.000 % |
1.20/2.15 c | 2813 | 1298 132150 561686 | 44050 2813 88 | 0.000 % |
1.20/2.19 c | 2936 | 1298 132150 561686 | 44050 2936 87 | 0.000 % |
2.23/2.25 c | 3069 | 1298 132150 561686 | 44050 3069 87 | 0.000 % |
2.23/2.28 c | 3216 | 1298 132150 561686 | 44050 3216 86 | 0.000 % |
2.32/2.34 c | 3377 | 1298 132150 561686 | 44050 3377 86 | 0.000 % |
2.32/2.40 c | 3554 | 1298 132150 561686 | 44050 3554 86 | 0.000 % |
2.42/2.45 c | 3654 | 1298 132150 561686 | 44050 3654 87 | 0.000 % |
2.42/2.48 c | 3764 | 1298 132150 561686 | 44050 3764 86 | 0.000 % |
2.52/2.53 c | 3887 | 1298 132150 561686 | 44050 3887 86 | 0.000 % |
2.52/2.59 c | 4021 | 1298 132150 561686 | 44050 4021 86 | 0.000 % |
2.62/2.62 c | 4167 | 1298 132150 561686 | 44050 4167 85 | 0.000 % |
2.62/2.68 c | 4328 | 1298 132150 561686 | 44050 4328 85 | 0.000 % |
2.72/2.76 c | 4505 | 1298 132150 561686 | 44050 4505 85 | 0.000 % |
2.82/2.83 c | 4699 | 1298 132150 561686 | 44050 4699 85 | 0.000 % |
2.82/2.87 c | 4799 | 1298 132150 561686 | 44050 4799 85 | 0.000 % |
2.82/2.91 c | 4909 | 1298 132150 561686 | 44050 4909 85 | 0.000 % |
2.92/2.97 c | 5034 | 1298 132150 561686 | 44050 5034 85 | 0.000 % |
3.02/3.03 c | 5168 | 1298 132150 561686 | 44050 5168 84 | 0.000 % |
3.02/3.09 c | 5317 | 1298 132150 561686 | 44050 5317 85 | 0.000 % |
3.12/3.14 c | 5478 | 1298 132150 561686 | 44050 5478 85 | 0.000 % |
3.12/3.20 c | 5654 | 1298 132150 561686 | 44050 5654 85 | 0.000 % |
3.22/3.29 c | 5847 | 1298 132150 561686 | 44050 5847 85 | 0.000 % |
3.32/3.37 c | 6059 | 1298 132150 561686 | 44050 6059 85 | 0.000 % |
3.42/3.42 c | 6159 | 1298 132150 561686 | 44050 6159 85 | 0.000 % |
3.42/3.47 c | 6269 | 1298 132150 561686 | 44050 6269 85 | 0.000 % |
3.52/3.53 c | 6390 | 1298 132150 561686 | 44050 6390 84 | 0.000 % |
3.52/3.57 c | 6525 | 1298 132150 561686 | 44050 6525 84 | 0.000 % |
3.61/3.66 c | 6671 | 1298 132150 561686 | 44050 6671 84 | 0.000 % |
3.61/3.71 c | 6832 | 1298 132150 561686 | 44050 6832 84 | 0.000 % |
3.71/3.80 c | 7010 | 1298 132150 561686 | 44050 7010 84 | 0.000 % |
3.81/3.90 c | 7203 | 1298 132150 561686 | 44050 7203 85 | 0.000 % |
3.91/4.00 c | 7416 | 1298 132150 561686 | 44050 7416 85 | 0.000 % |
4.01/4.10 c | 7650 | 1298 132150 561686 | 44050 7650 85 | 0.000 % |
4.11/4.16 c | 7753 | 1298 132150 561686 | 44050 7753 85 | 0.000 % |
4.21/4.23 c | 7864 | 1298 132150 561686 | 44050 7864 85 | 0.000 % |
4.21/4.28 c | 7985 | 1298 132150 561686 | 44050 7985 85 | 0.000 % |
4.31/4.36 c | 8118 | 1298 132150 561686 | 44050 8118 85 | 0.000 % |
4.41/4.44 c | 8264 | 1298 132150 561686 | 44050 8264 85 | 0.000 % |
4.41/4.49 c | 8424 | 1298 132150 561686 | 44050 8424 85 | 0.000 % |
4.51/4.56 c | 8601 | 1298 132150 561686 | 44050 8601 85 | 0.000 % |
4.61/4.63 c | 8795 | 1298 132150 561686 | 44050 8795 85 | 0.000 % |
4.61/4.70 c | 9008 | 1298 132150 561686 | 44050 9008 85 | 0.000 % |
4.81/4.87 c | 9241 | 1298 132150 561686 | 44050 9241 85 | 0.000 % |
4.91/5.00 c | 9498 | 1298 132150 561686 | 44050 9498 85 | 0.000 % |
5.01/5.05 c | 9601 | 1298 132150 561686 | 44050 9601 85 | 0.000 % |
5.01/5.10 c | 9711 | 1298 132150 561686 | 44050 9711 85 | 0.000 % |
5.11/5.16 c | 9832 | 1298 132150 561686 | 44050 9832 85 | 0.000 % |
5.21/5.24 c | 9971 | 1298 132150 561686 | 44050 9971 85 | 0.000 % |
5.21/5.31 c | 10117 | 1298 132150 561686 | 2147483647 10117 85 | 0.000 % |
5.31/5.40 c | 10278 | 1298 132150 561686 | 2147483647 10278 85 | 0.000 % |
5.41/5.51 c | 10458 | 1298 132150 561686 | 2147483647 10458 86 | 0.000 % |
5.51/5.62 c | 10651 | 1298 132150 561686 | 2147483647 10651 86 | 0.000 % |
5.71/5.73 c | 10864 | 1298 132150 561686 | 2147483647 10864 86 | 0.000 % |
5.81/5.85 c | 11097 | 1298 132150 561686 | 2147483647 11097 85 | 0.000 % |
5.91/6.02 c | 11353 | 1298 132150 561686 | 2147483647 11353 86 | 0.000 % |
6.11/6.15 c | 11635 | 1298 132150 561686 | 2147483647 11635 85 | 0.000 % |
6.11/6.20 c | 11737 | 1298 132150 561686 | 2147483647 11737 85 | 0.000 % |
6.21/6.26 c | 11848 | 1298 132150 561686 | 2147483647 11848 86 | 0.000 % |
6.31/6.33 c | 11971 | 1298 132150 561686 | 2147483647 11971 86 | 0.000 % |
6.31/6.39 c | 12104 | 1298 132150 561686 | 2147483647 12104 86 | 0.000 % |
6.41/6.49 c | 12251 | 1298 132150 561686 | 2147483647 12251 86 | 0.000 % |
6.51/6.55 c | 12414 | 1298 132150 561686 | 2147483647 12414 86 | 0.000 % |
6.61/6.68 c | 12590 | 1298 132150 561686 | 2147483647 12590 86 | 0.000 % |
6.81/6.83 c | 12784 | 1298 132150 561686 | 2147483647 12784 86 | 0.000 % |
6.91/6.96 c | 12996 | 1298 132150 561686 | 2147483647 12996 86 | 0.000 % |
7.11/7.15 c | 13230 | 1298 132150 561686 | 2147483647 13230 86 | 0.000 % |
7.31/7.32 c | 13486 | 1298 132150 561686 | 2147483647 13486 86 | 0.000 % |
7.41/7.50 c | 13769 | 1298 132150 561686 | 2147483647 13769 86 | 0.001 % |
7.61/7.72 c | 14080 | 1298 132150 561686 | 2147483647 14080 87 | 0.000 % |
7.71/7.77 c | 14180 | 1298 132150 561686 | 2147483647 14180 87 | 0.000 % |
7.81/7.83 c | 14292 | 1298 132150 561686 | 2147483647 14292 87 | 0.000 % |
7.81/7.91 c | 14414 | 1298 132150 561686 | 2147483647 14414 87 | 0.000 % |
7.91/8.00 c | 14549 | 1298 132150 561686 | 2147483647 14549 87 | 0.000 % |
8.11/8.12 c | 14696 | 1298 132150 561686 | 2147483647 14696 87 | 0.000 % |
8.21/8.24 c | 14858 | 1298 132150 561686 | 2147483647 14858 87 | 0.000 % |
8.31/8.36 c | 15037 | 1298 132150 561686 | 2147483647 15037 87 | 0.000 % |
8.41/8.49 c | 15238 | 1298 132150 561686 | 2147483647 15238 87 | 0.000 % |
8.51/8.59 c | 15451 | 1298 132150 561686 | 2147483647 15451 87 | 0.000 % |
8.71/8.74 c | 15685 | 1298 132150 561686 | 2147483647 15685 87 | 0.000 % |
8.81/8.90 c | 15941 | 1298 132150 561686 | 2147483647 15941 87 | 0.000 % |
9.00/9.03 c | 16222 | 1298 132150 561686 | 2147483647 16222 88 | 0.000 % |
9.10/9.16 c | 16533 | 1298 132150 561686 | 2147483647 16533 88 | 0.000 % |
9.30/9.37 c | 16872 | 1298 132150 561686 | 2147483647 16872 88 | 0.000 % |
9.40/9.43 c | 16974 | 1298 132150 561686 | 2147483647 16974 88 | 0.000 % |
9.40/9.49 c | 17085 | 1298 132150 561686 | 2147483647 17085 88 | 0.000 % |
9.50/9.57 c | 17206 | 1298 132150 561686 | 2147483647 17206 88 | 0.000 % |
9.60/9.62 c | 17340 | 1298 132150 561686 | 2147483647 17340 88 | 0.000 % |
9.60/9.68 c | 17486 | 1298 132150 561686 | 2147483647 17486 88 | 0.000 % |
9.69/9.74 c | 17646 | 1298 132150 561686 | 2147483647 17646 88 | 0.000 % |
9.69/9.80 c | 17823 | 1298 132150 561686 | 2147483647 17823 88 | 0.000 % |
9.89/9.94 c | 18016 | 1298 132150 561686 | 2147483647 18016 88 | 0.000 % |
9.99/10.03 c | 18228 | 1298 132150 561686 | 2147483647 18228 88 | 0.000 % |
10.09/10.13 c | 18461 | 1298 132150 561686 | 2147483647 18461 88 | 0.000 % |
10.19/10.23 c | 18717 | 1298 132150 561686 | 2147483647 18717 88 | 0.000 % |
10.29/10.34 c | 18998 | 1298 132150 561686 | 2147483647 18998 88 | 0.000 % |
10.39/10.46 c | 19311 | 1298 132150 561686 | 2147483647 19311 88 | 0.000 % |
10.49/10.60 c | 19650 | 1298 132150 561686 | 2147483647 19650 88 | 0.000 % |
10.68/10.77 c | 20023 | 1298 132150 561686 | 2147483647 20023 88 | 0.000 % |
10.78/10.83 c | 20124 | 1298 132150 561686 | 2147483647 20124 88 | 0.000 % |
10.78/10.88 c | 20236 | 1298 132150 561686 | 2147483647 20236 89 | 0.000 % |
10.88/10.93 c | 20357 | 1298 132150 561686 | 2147483647 20357 89 | 0.000 % |
10.88/10.98 c | 20492 | 1298 132150 561686 | 2147483647 20492 89 | 0.000 % |
10.98/11.04 c | 20638 | 1298 132150 561686 | 2147483647 20638 89 | 0.000 % |
10.98/11.10 c | 20800 | 1298 132150 561686 | 2147483647 20800 89 | 0.000 % |
11.08/11.16 c | 20980 | 1298 132150 561686 | 2147483647 20980 89 | 0.000 % |
11.18/11.24 c | 21174 | 1298 132150 561686 | 2147483647 21174 89 | 0.000 % |
11.28/11.33 c | 21387 | 1298 132150 561686 | 2147483647 21387 89 | 0.000 % |
11.38/11.43 c | 21623 | 1298 132150 561686 | 2147483647 21623 89 | 0.000 % |
11.48/11.57 c | 21879 | 1298 132150 561686 | 2147483647 21879 89 | 0.000 % |
11.58/11.69 c | 22161 | 1298 132150 561686 | 2147483647 22161 89 | 0.000 % |
11.78/11.84 c | 22472 | 1298 132150 561686 | 2147483647 22472 89 | 0.000 % |
12.08/12.14 c | 22811 | 1298 132150 561686 | 2147483647 22811 89 | 0.000 % |
12.28/12.36 c | 23185 | 1298 132150 561686 | 2147483647 23185 89 | 0.000 % |
12.48/12.59 c | 23595 | 1298 132150 561686 | 2147483647 23595 89 | 0.000 % |
12.58/12.63 c | 23696 | 1298 132150 561686 | 2147483647 23696 89 | 0.000 % |
12.58/12.72 c | 23807 | 1298 132150 561686 | 2147483647 23807 89 | 0.000 % |
12.68/12.79 c | 23929 | 1298 132150 561686 | 2147483647 23929 89 | 0.000 % |
12.78/12.88 c | 24063 | 1298 132150 561686 | 2147483647 24063 89 | 0.000 % |
12.88/12.96 c | 24210 | 1298 132150 561686 | 2147483647 24210 89 | 0.000 % |
12.98/13.06 c | 24370 | 1298 132150 561686 | 2147483647 24370 89 | 0.000 % |
13.08/13.17 c | 24546 | 1298 132150 561686 | 2147483647 24546 89 | 0.000 % |
13.28/13.33 c | 24740 | 1298 132150 561686 | 2147483647 24740 89 | 0.000 % |
13.38/13.44 c | 24952 | 1298 132150 561686 | 2147483647 24952 89 | 0.000 % |
13.48/13.61 c | 25185 | 1298 132150 561686 | 2147483647 25185 89 | 0.000 % |
13.68/13.78 c | 25442 | 1298 132150 561686 | 2147483647 25442 89 | 0.000 % |
13.88/13.94 c | 25724 | 1298 132150 561686 | 2147483647 25724 89 | 0.000 % |
13.98/14.07 c | 26033 | 1298 132150 561686 | 2147483647 26033 89 | 0.000 % |
14.28/14.34 c | 26372 | 1298 132150 561686 | 2147483647 26372 89 | 0.000 % |
14.58/14.62 c | 26745 | 1298 132150 561686 | 2147483647 26745 89 | 0.000 % |
14.78/14.86 c | 27154 | 1298 132150 561686 | 2147483647 27154 89 | 0.000 % |
15.08/15.19 c | 27603 | 1298 132150 561686 | 2147483647 27603 90 | 0.000 % |
15.18/15.26 c | 27703 | 1298 132150 561686 | 2147483647 27703 90 | 0.000 % |
15.28/15.34 c | 27813 | 1298 132150 561686 | 2147483647 27813 90 | 0.000 % |
15.38/15.42 c | 27935 | 1298 132150 561686 | 2147483647 27935 90 | 0.000 % |
15.38/15.50 c | 28069 | 1298 132150 561686 | 2147483647 28069 90 | 0.000 % |
15.48/15.61 c | 28216 | 1298 132150 561686 | 2147483647 28216 90 | 0.000 % |
15.58/15.71 c | 28377 | 1298 132150 561686 | 2147483647 28377 90 | 0.000 % |
15.68/15.81 c | 28553 | 1298 132150 561686 | 2147483647 28553 90 | 0.000 % |
15.88/15.94 c | 28746 | 1298 132150 561686 | 2147483647 28746 90 | 0.000 % |
15.98/16.10 c | 28962 | 1298 132150 561686 | 2147483647 28962 90 | 0.000 % |
16.08/16.22 c | 29195 | 1298 132150 561686 | 2147483647 29195 90 | 0.000 % |
16.28/16.40 c | 29452 | 1298 132150 561686 | 2147483647 29452 90 | 0.000 % |
16.48/16.57 c | 29734 | 1298 132150 561686 | 2147483647 29734 90 | 0.000 % |
16.68/16.73 c | 30044 | 1298 132150 561686 | 2147483647 30044 90 | 0.000 % |
16.88/16.98 c | 30383 | 1298 132150 561686 | 2147483647 30383 90 | 0.000 % |
17.08/17.18 c | 30755 | 1298 132150 561686 | 2147483647 30755 90 | 0.000 % |
17.28/17.38 c | 31166 | 1298 132150 561686 | 2147483647 31166 90 | 0.000 % |
17.58/17.69 c | 31615 | 1298 132150 561686 | 2147483647 31615 90 | 0.000 % |
17.98/18.03 c | 32111 | 1298 132150 561686 | 2147483647 32111 90 | 0.000 % |
18.08/18.12 c | 32211 | 1298 132150 561686 | 2147483647 32211 90 | 0.000 % |
18.18/18.26 c | 32324 | 1298 132150 561686 | 2147483647 32324 90 | 0.000 % |
18.28/18.36 c | 32445 | 1298 132150 561686 | 2147483647 32445 90 | 0.000 % |
18.38/18.48 c | 32581 | 1298 132150 561686 | 2147483647 32581 90 | 0.001 % |
18.48/18.59 c | 32731 | 1298 132150 561686 | 2147483647 32731 90 | 0.000 % |
18.68/18.73 c | 32891 | 1298 132150 561686 | 2147483647 32891 90 | 0.000 % |
18.78/18.85 c | 33068 | 1298 132150 561686 | 2147483647 33068 90 | 0.000 % |
18.88/19.00 c | 33261 | 1298 132150 561686 | 2147483647 33261 90 | 0.000 % |
19.08/19.17 c | 33475 | 1298 132150 561686 | 2147483647 33475 90 | 0.000 % |
19.28/19.33 c | 33708 | 1298 132150 561686 | 2147483647 33708 90 | 0.000 % |
19.38/19.51 c | 33965 | 1298 132150 561686 | 2147483647 33965 90 | 0.000 % |
19.68/19.78 c | 34247 | 1298 132150 561686 | 2147483647 34247 90 | 0.000 % |
19.98/20.04 c | 34556 | 1298 132150 561686 | 2147483647 34556 91 | 0.000 % |
20.18/20.31 c | 34895 | 1298 132150 561686 | 2147483647 34895 91 | 0.000 % |
20.48/20.61 c | 35267 | 1298 132150 561686 | 2147483647 35267 91 | 0.000 % |
20.78/20.89 c | 35678 | 1298 132150 561686 | 2147483647 35678 91 | 0.000 % |
21.08/21.16 c | 36129 | 1298 132150 561686 | 2147483647 36129 91 | 0.000 % |
21.38/21.42 c | 36623 | 1298 132150 561686 | 2147483647 36623 91 | 0.000 % |
21.68/21.73 c | 37165 | 1298 132150 561686 | 2147483647 37165 91 | 0.000 % |
21.68/21.79 c | 37267 | 1298 132150 561686 | 2147483647 37267 91 | 0.000 % |
21.78/21.86 c | 37379 | 1298 132150 561686 | 2147483647 37379 91 | 0.000 % |
21.88/21.94 c | 37500 | 1298 132150 561686 | 2147483647 37500 91 | 0.000 % |
21.98/22.03 c | 37633 | 1298 132150 561686 | 2147483647 37633 92 | 0.000 % |
22.08/22.13 c | 37782 | 1298 132150 561686 | 2147483647 37782 92 | 0.000 % |
22.18/22.25 c | 37942 | 1298 132150 561686 | 2147483647 37942 92 | 0.000 % |
22.28/22.39 c | 38119 | 1298 132150 561686 | 2147483647 38119 92 | 0.000 % |
22.38/22.49 c | 38313 | 1298 132150 561686 | 2147483647 38313 92 | 0.000 % |
22.58/22.66 c | 38526 | 1298 132150 561686 | 2147483647 38526 92 | 0.000 % |
22.78/22.85 c | 38761 | 1298 132150 561686 | 2147483647 38761 92 | 0.000 % |
22.98/23.04 c | 39018 | 1298 132150 561686 | 2147483647 39018 92 | 0.000 % |
23.18/23.32 c | 39300 | 1298 132150 561686 | 2147483647 39300 92 | 0.000 % |
23.48/23.56 c | 39610 | 1298 132150 561686 | 2147483647 39610 92 | 0.000 % |
23.78/23.87 c | 39949 | 1298 132150 561686 | 2147483647 39949 92 | 0.000 % |
24.18/24.22 c | 40321 | 1298 132150 561686 | 2147483647 40321 92 | 0.000 % |
24.48/24.57 c | 40731 | 1298 132150 561686 | 2147483647 40731 92 | 0.000 % |
24.88/25.01 c | 41181 | 1298 132150 561686 | 2147483647 41181 92 | 0.000 % |
25.28/25.38 c | 41676 | 1298 132150 561686 | 2147483647 41676 92 | 0.000 % |
25.78/25.88 c | 42218 | 1298 132150 561686 | 2147483647 42218 92 | 0.000 % |
26.38/26.44 c | 42815 | 1298 132150 561686 | 2147483647 42815 92 | 0.000 % |
26.48/26.53 c | 42916 | 1298 132150 561686 | 2147483647 42916 92 | 0.000 % |
26.58/26.64 c | 43028 | 1298 132150 561686 | 2147483647 43028 92 | 0.000 % |
26.68/26.78 c | 43149 | 1298 132150 561686 | 2147483647 43149 92 | 0.000 % |
26.88/26.93 c | 43282 | 1298 132150 561686 | 2147483647 43282 92 | 0.000 % |
26.98/27.10 c | 43428 | 1298 132150 561686 | 2147483647 43428 92 | 0.000 % |
27.18/27.30 c | 43589 | 1298 132150 561686 | 2147483647 43589 92 | 0.000 % |
27.38/27.47 c | 43766 | 1298 132150 561686 | 2147483647 43766 92 | 0.000 % |
27.58/27.71 c | 43959 | 1298 132150 561686 | 2147483647 43959 92 | 0.000 % |
27.88/27.95 c | 44172 | 1298 132150 561686 | 2147483647 44172 92 | 0.000 % |
28.08/28.17 c | 44405 | 1298 132150 561686 | 2147483647 44405 92 | 0.000 % |
28.38/28.49 c | 44665 | 1298 132150 561686 | 2147483647 44665 92 | 0.000 % |
28.69/28.78 c | 44948 | 1298 132150 561686 | 2147483647 44948 92 | 0.000 % |
28.98/29.05 c | 45257 | 1298 132150 561686 | 2147483647 45257 92 | 0.000 % |
29.28/29.38 c | 45597 | 1298 132150 561686 | 2147483647 45597 92 | 0.000 % |
29.58/29.71 c | 45969 | 1298 132150 561686 | 2147483647 45969 92 | 0.000 % |
30.28/30.40 c | 46381 | 1298 132150 561686 | 2147483647 46381 92 | 0.000 % |
30.98/31.10 c | 46830 | 1298 132150 561686 | 2147483647 46830 92 | 0.000 % |
31.58/31.62 c | 47326 | 1298 132150 561686 | 2147483647 47326 92 | 0.000 % |
32.58/32.62 c | 47868 | 1298 132150 561686 | 2147483647 47868 92 | 0.000 % |
32.98/33.09 c | 48466 | 1298 132150 561686 | 2147483647 48466 92 | 0.000 % |
34.37/34.47 c | 49123 | 1298 132150 561686 | 2147483647 49123 93 | 0.000 % |
34.57/34.70 c | 49223 | 1298 132150 561686 | 2147483647 49223 93 | 0.000 % |
34.97/35.01 c | 49333 | 1298 132150 561686 | 2147483647 49333 93 | 0.000 % |
35.17/35.24 c | 49454 | 1298 132150 561686 | 2147483647 49454 93 | 0.000 % |
35.47/35.55 c | 49589 | 1298 132150 561686 | 2147483647 49589 93 | 0.000 % |
35.67/35.71 c | 49736 | 1298 132150 561686 | 2147483647 49736 93 | 0.000 % |
36.07/36.11 c | 49896 | 1298 132150 561686 | 2147483647 49896 93 | 0.000 % |
36.47/36.51 c | 50072 | 1298 132150 561686 | 2147483647 50072 93 | 0.000 % |
36.87/36.92 c | 50265 | 1298 132150 561686 | 2147483647 50265 93 | 0.000 % |
37.27/37.34 c | 50478 | 1298 132150 561686 | 2147483647 50478 93 | 0.000 % |
37.77/37.85 c | 50711 | 1298 132150 561686 | 2147483647 50711 93 | 0.001 % |
38.07/38.15 c | 50967 | 1298 132150 561686 | 2147483647 50967 93 | 0.000 % |
38.37/38.44 c | 51248 | 1298 132150 561686 | 2147483647 51248 93 | 0.000 % |
38.67/38.72 c | 51559 | 1298 132150 561686 | 2147483647 51559 93 | 0.000 % |
39.47/39.51 c | 51898 | 1298 132150 561686 | 2147483647 51898 93 | 0.000 % |
40.17/40.25 c | 52270 | 1298 132150 561686 | 2147483647 52270 93 | 0.000 % |
41.17/41.23 c | 52680 | 1298 132150 561686 | 2147483647 52680 93 | 0.000 % |
42.17/42.22 c | 53129 | 1298 132150 561686 | 2147483647 53129 93 | 0.000 % |
43.17/43.27 c | 53622 | 1298 132150 561686 | 2147483647 53622 93 | 0.000 % |
44.27/44.33 c | 54165 | 1298 132150 561686 | 2147483647 54165 93 | 0.000 % |
45.07/45.21 c | 54761 | 1298 132150 561686 | 2147483647 54761 93 | 0.000 % |
46.07/46.20 c | 55416 | 1298 132150 561686 | 2147483647 55416 93 | 0.000 % |
47.47/47.59 c | 56142 | 1298 132150 561686 | 2147483647 56142 93 | 0.000 % |
47.77/47.89 c | 56245 | 1298 132150 561686 | 2147483647 56245 93 | 0.000 % |
47.97/48.08 c | 56356 | 1298 132150 561686 | 2147483647 56356 93 | 0.000 % |
48.17/48.29 c | 56480 | 1298 132150 561686 | 2147483647 56480 93 | 0.000 % |
48.67/48.71 c | 56613 | 1298 132150 561686 | 2147483647 56613 93 | 0.000 % |
49.07/49.14 c | 56759 | 1298 132150 561686 | 2147483647 56759 93 | 0.000 % |
49.47/49.57 c | 56922 | 1298 132150 561686 | 2147483647 56922 93 | 0.000 % |
49.97/50.01 c | 57099 | 1298 132150 561686 | 2147483647 57099 93 | 0.000 % |
50.47/50.59 c | 57292 | 1298 132150 561686 | 2147483647 57292 93 | 0.000 % |
51.07/51.16 c | 57505 | 1298 132150 561686 | 2147483647 57505 93 | 0.000 % |
51.78/51.89 c | 57739 | 1298 132150 561686 | 2147483647 57739 93 | 0.000 % |
52.47/52.60 c | 57995 | 1298 132150 561686 | 2147483647 57995 93 | 0.000 % |
53.37/53.47 c | 58278 | 1298 132150 561686 | 2147483647 58278 93 | 0.000 % |
54.57/54.66 c | 58587 | 1298 132150 561686 | 2147483647 58587 93 | 0.000 % |
55.87/55.92 c | 58926 | 1298 132150 561686 | 2147483647 58926 93 | 0.000 % |
57.28/57.34 c | 59301 | 1298 132150 561686 | 2147483647 59301 93 | 0.000 % |
58.47/58.60 c | 59712 | 1298 132150 561686 | 2147483647 59712 93 | 0.000 % |
59.97/60.05 c | 60161 | 1298 132150 561686 | 2147483647 60161 93 | 0.000 % |
61.47/61.57 c | 60655 | 1298 132150 561686 | 2147483647 60655 93 | 0.000 % |
63.27/63.35 c | 61197 | 1298 132150 561686 | 2147483647 61197 93 | 0.000 % |
65.27/65.38 c | 61796 | 1298 132150 561686 | 2147483647 61796 93 | 0.000 % |
67.07/67.19 c | 62451 | 1298 132150 561686 | 2147483647 62451 93 | 0.000 % |
69.47/69.51 c | 63171 | 1298 132150 561686 | 2147483647 63171 93 | 0.000 % |
71.77/71.88 c | 63964 | 1298 132150 561686 | 2147483647 63964 93 | 0.000 % |
72.27/72.33 c | 64065 | 1298 132150 561686 | 2147483647 64065 93 | 0.000 % |
72.68/72.79 c | 64175 | 1298 132150 561686 | 2147483647 64175 93 | 0.000 % |
73.27/73.37 c | 64298 | 1298 132150 561686 | 2147483647 64298 93 | 0.000 % |
73.87/73.93 c | 64432 | 1298 132150 561686 | 2147483647 64432 93 | 0.000 % |
74.57/74.65 c | 64578 | 1298 132150 561686 | 2147483647 64578 93 | 0.000 % |
75.17/75.24 c | 64739 | 1298 132150 561686 | 2147483647 64739 93 | 0.000 % |
75.77/75.87 c | 64915 | 1298 132150 561686 | 2147483647 64915 93 | 0.000 % |
76.77/76.88 c | 65109 | 1298 132150 561686 | 2147483647 65109 93 | 0.000 % |
77.68/77.80 c | 65323 | 1298 132150 561686 | 2147483647 65323 93 | 0.000 % |
78.58/78.63 c | 65557 | 1298 132150 561686 | 2147483647 65557 93 | 0.000 % |
79.68/79.74 c | 65814 | 1298 132150 561686 | 2147483647 65814 93 | 0.000 % |
80.88/80.95 c | 66095 | 1298 132150 561686 | 2147483647 66095 93 | 0.000 % |
82.18/82.25 c | 66405 | 1298 132150 561686 | 2147483647 66405 93 | 0.000 % |
83.98/84.08 c | 66744 | 1298 132150 561686 | 2147483647 66744 93 | 0.000 % |
85.48/85.56 c | 67118 | 1298 132150 561686 | 2147483647 67118 93 | 0.000 % |
87.18/87.22 c | 67528 | 1298 132150 561686 | 2147483647 67528 93 | 0.000 % |
88.98/89.08 c | 67982 | 1298 132150 561686 | 2147483647 67982 93 | 0.000 % |
90.78/90.87 c | 68478 | 1298 132150 561686 | 2147483647 68478 93 | 0.000 % |
92.68/92.77 c | 69021 | 1298 132150 561686 | 2147483647 69021 93 | 0.000 % |
94.68/94.72 c | 69617 | 1298 132150 561686 | 2147483647 69617 93 | 0.000 % |
96.18/96.30 c | 70272 | 1298 132150 561686 | 2147483647 70272 93 | 0.000 % |
98.48/98.59 c | 70993 | 1298 132150 561686 | 2147483647 70993 93 | 0.000 % |
101.48/101.54 c | 71785 | 1298 132150 561686 | 2147483647 71785 93 | 0.000 % |
104.98/105.02 c | 72656 | 1298 132150 561686 | 2147483647 72656 93 | 0.000 % |
105.38/105.48 c | 72757 | 1298 132150 561686 | 2147483647 72757 93 | 0.000 % |
105.78/105.87 c | 72868 | 1298 132150 561686 | 2147483647 72868 93 | 0.000 % |
106.18/106.22 c | 72989 | 1298 132150 561686 | 2147483647 72989 93 | 0.000 % |
106.68/106.77 c | 73122 | 1298 132150 561686 | 2147483647 73122 93 | 0.000 % |
107.28/107.34 c | 73269 | 1298 132150 561686 | 2147483647 73269 93 | 0.000 % |
107.98/108.04 c | 73432 | 1298 132150 561686 | 2147483647 73432 93 | 0.000 % |
108.58/108.65 c | 73612 | 1298 132150 561686 | 2147483647 73612 93 | 0.000 % |
109.28/109.33 c | 73805 | 1298 132150 561686 | 2147483647 73805 93 | 0.000 % |
109.98/110.11 c | 74018 | 1298 132150 561686 | 2147483647 74018 93 | 0.000 % |
111.08/111.13 c | 74253 | 1298 132150 561686 | 2147483647 74253 93 | 0.000 % |
112.48/112.56 c | 74509 | 1298 132150 561686 | 2147483647 74509 93 | 0.000 % |
114.08/114.16 c | 74791 | 1298 132150 561686 | 2147483647 74791 93 | 0.000 % |
115.28/115.40 c | 75105 | 1298 132150 561686 | 2147483647 75105 93 | 0.000 % |
116.98/117.01 c | 75445 | 1298 132150 561686 | 2147483647 75445 93 | 0.000 % |
118.28/118.36 c | 75820 | 1298 132150 561686 | 2147483647 75820 93 | 0.000 % |
120.28/120.37 c | 76230 | 1298 132150 561686 | 2147483647 76230 93 | 0.000 % |
122.48/122.52 c | 76680 | 1298 132150 561686 | 2147483647 76680 93 | 0.000 % |
124.28/124.32 c | 77175 | 1298 132150 561686 | 2147483647 77175 93 | 0.000 % |
126.68/126.72 c | 77718 | 1298 132150 561686 | 2147483647 77718 93 | 0.000 % |
129.38/129.51 c | 78319 | 1298 132150 561686 | 2147483647 78319 93 | 0.000 % |
131.48/131.55 c | 78976 | 1298 132150 561686 | 2147483647 78976 93 | 0.000 % |
135.38/135.41 c | 79696 | 1298 132150 561686 | 2147483647 79696 93 | 0.000 % |
138.48/138.54 c | 80489 | 1298 132150 561686 | 2147483647 80489 93 | 0.000 % |
143.88/143.92 c | 81361 | 1298 132150 561686 | 2147483647 81361 93 | 0.000 % |
149.58/149.69 c | 82322 | 1298 132150 561686 | 2147483647 82322 93 | 0.000 % |
150.18/150.29 c | 82422 | 1298 132150 561686 | 2147483647 82422 93 | 0.000 % |
150.88/151.01 c | 82535 | 1298 132150 561686 | 2147483647 82535 93 | 0.000 % |
151.78/151.86 c | 82657 | 1298 132150 561686 | 2147483647 82657 93 | 0.000 % |
152.88/152.93 c | 82790 | 1298 132150 561686 | 2147483647 82790 93 | 0.000 % |
153.98/154.08 c | 82937 | 1298 132150 561686 | 2147483647 82937 93 | 0.000 % |
154.88/154.99 c | 83097 | 1298 132150 561686 | 2147483647 83097 93 | 0.000 % |
155.98/156.03 c | 83275 | 1298 132150 561686 | 2147483647 83275 93 | 0.000 % |
157.08/157.20 c | 83470 | 1298 132150 561686 | 2147483647 83470 93 | 0.000 % |
158.38/158.51 c | 83684 | 1298 132150 561686 | 2147483647 83684 93 | 0.000 % |
159.78/159.89 c | 83917 | 1298 132150 561686 | 2147483647 83917 93 | 0.000 % |
161.18/161.24 c | 84173 | 1298 132150 561686 | 2147483647 84173 93 | 0.000 % |
162.48/162.57 c | 84454 | 1298 132150 561686 | 2147483647 84454 93 | 0.000 % |
163.58/163.67 c | 84765 | 1298 132150 561686 | 2147483647 84765 93 | 0.000 % |
165.28/165.34 c | 85105 | 1298 132150 561686 | 2147483647 85105 93 | 0.000 % |
167.58/167.69 c | 85477 | 1298 132150 561686 | 2147483647 85477 93 | 0.000 % |
169.88/170.01 c | 85886 | 1298 132150 561686 | 2147483647 85886 93 | 0.000 % |
172.38/172.48 c | 86338 | 1298 132150 561686 | 2147483647 86338 93 | 0.000 % |
174.88/174.94 c | 86833 | 1298 132150 561686 | 2147483647 86833 93 | 0.000 % |
178.67/178.75 c | 87377 | 1298 132150 561686 | 2147483647 87377 93 | 0.000 % |
181.87/181.97 c | 87974 | 1298 132150 561686 | 2147483647 87974 93 | 0.000 % |
185.17/185.21 c | 88629 | 1298 132150 561686 | 2147483647 88629 93 | 0.000 % |
189.37/189.45 c | 89349 | 1298 132150 561686 | 2147483647 89349 93 | 0.000 % |
193.68/193.73 c | 90141 | 1298 132150 561686 | 90000 90141 93 | 0.000 % |
198.98/199.01 c | 91012 | 1298 132150 561686 | 90000 73265 94 | 0.000 % |
204.68/204.74 c | 91972 | 1298 132150 561686 | 90000 74225 94 | 0.000 % |
209.88/209.93 c | 93025 | 1298 132150 561686 | 90000 75278 94 | 0.000 % |
210.48/210.59 c | 93125 | 1298 132150 561686 | 90000 75378 94 | 0.000 % |
210.58/210.69 c | 93237 | 1298 132150 561686 | 90000 75490 94 | 0.000 % |
211.48/211.55 c | 93360 | 1298 132150 561686 | 90000 75613 94 | 0.000 % |
213.08/213.17 c | 93493 | 1298 132150 561686 | 90000 75746 94 | 0.000 % |
213.98/214.10 c | 93640 | 1298 132150 561686 | 90000 75893 94 | 0.000 % |
214.88/214.95 c | 93800 | 1298 132150 561686 | 90000 76053 94 | 0.000 % |
216.18/216.22 c | 93976 | 1298 132150 561686 | 90000 76229 94 | 0.000 % |
217.58/217.69 c | 94170 | 1298 132150 561686 | 90000 76423 94 | 0.000 % |
218.58/218.62 c | 94383 | 1298 132150 561686 | 90000 76636 94 | 0.000 % |
219.48/219.60 c | 94616 | 1298 132150 561686 | 90000 76869 94 | 0.000 % |
220.18/220.23 c | 94876 | 1298 132150 561686 | 90000 77129 94 | 0.000 % |
221.68/221.71 c | 95157 | 1298 132150 561686 | 90000 77410 94 | 0.000 % |
223.28/223.34 c | 95469 | 1298 132150 561686 | 90000 77722 94 | 0.000 % |
226.78/226.89 c | 95808 | 1298 132150 561686 | 90000 78061 94 | 0.000 % |
229.48/229.58 c | 96180 | 1298 132150 561686 | 90000 78433 94 | 0.000 % |
232.78/232.85 c | 96589 | 1298 132150 561686 | 90000 78842 94 | 0.000 % |
237.08/237.13 c | 97039 | 1298 132150 561686 | 90000 79292 94 | 0.000 % |
243.28/243.40 c | 97534 | 1298 132150 561686 | 90000 79787 94 | 0.000 % |
249.58/249.70 c | 98079 | 1298 132150 561686 | 90000 80332 94 | 0.000 % |
255.98/256.04 c | 98676 | 1298 132150 561686 | 90000 80929 94 | 0.000 % |
262.48/262.53 c | 99332 | 1298 132150 561686 | 90000 81585 94 | 0.000 % |
269.88/269.92 c | 100052 | 1298 132150 561686 | 82253 82305 94 | 0.000 % |
275.88/275.97 c | 100844 | 1298 132150 561686 | 82253 59674 94 | 0.000 % |
282.79/282.90 c | 101715 | 1298 132150 561686 | 82253 60545 94 | 0.000 % |
291.28/291.38 c | 102673 | 1298 132150 561686 | 82253 61503 94 | 0.000 % |
298.68/298.79 c | 103726 | 1298 132150 561686 | 82253 62556 94 | 0.000 % |
307.59/307.70 c | 104884 | 1298 132150 561686 | 82253 63714 94 | 0.000 % |
308.69/308.75 c | 104987 | 1298 132150 561686 | 82253 63817 94 | 0.000 % |
309.99/310.02 c | 105098 | 1298 132150 561686 | 82253 63928 94 | 0.000 % |
311.09/311.16 c | 105220 | 1298 132150 561686 | 82253 64050 94 | 0.000 % |
312.39/312.46 c | 105354 | 1298 132150 561686 | 82253 64184 94 | 0.000 % |
313.39/313.43 c | 105502 | 1298 132150 561686 | 82253 64332 94 | 0.000 % |
314.29/314.36 c | 105665 | 1298 132150 561686 | 82253 64495 94 | 0.000 % |
315.89/315.98 c | 105841 | 1298 132150 561686 | 82253 64671 94 | 0.000 % |
316.99/317.02 c | 106034 | 1298 132150 561686 | 82253 64864 94 | 0.000 % |
318.79/318.83 c | 106246 | 1298 132150 561686 | 82253 65076 94 | 0.000 % |
319.99/320.09 c | 106479 | 1298 132150 561686 | 82253 65309 94 | 0.000 % |
321.79/321.91 c | 106735 | 1298 132150 561686 | 82253 65565 94 | 0.000 % |
323.69/323.79 c | 107019 | 1298 132150 561686 | 82253 65849 94 | 0.000 % |
326.09/326.13 c | 107328 | 1298 132150 561686 | 82253 66158 94 | 0.000 % |
329.59/329.66 c | 107667 | 1298 132150 561686 | 82253 66497 94 | 0.000 % |
333.19/333.23 c | 108039 | 1298 132150 561686 | 82253 66869 94 | 0.000 % |
338.49/338.61 c | 108449 | 1298 132150 561686 | 82253 67279 94 | 0.000 % |
342.89/342.98 c | 108898 | 1298 132150 561686 | 82253 67728 94 | 0.000 % |
345.09/345.19 c | 109392 | 1298 132150 561686 | 82253 68222 94 | 0.000 % |
346.49/346.56 c | 109935 | 1298 132150 561686 | 82253 68765 94 | 0.000 % |
352.79/352.89 c | 110532 | 1298 132150 561686 | 68830 48041 93 | 0.000 % |
355.29/355.34 c | 111187 | 1298 132150 561686 | 68830 48696 94 | 0.000 % |
359.49/359.59 c | 111908 | 1298 132150 561686 | 68830 49417 94 | 0.000 % |
363.69/363.80 c | 112700 | 1298 132150 561686 | 68830 50209 94 | 0.000 % |
368.49/368.53 c | 113572 | 1298 132150 561686 | 68830 51081 94 | 0.000 % |
373.79/373.88 c | 114533 | 1298 132150 561686 | 68830 52042 94 | 0.000 % |
380.59/380.64 c | 115586 | 1298 132150 561686 | 68830 53095 95 | 0.000 % |
388.79/388.87 c | 116744 | 1298 132150 561686 | 68830 54253 95 | 0.000 % |
395.58/395.67 c | 118018 | 1298 132150 561686 | 68830 55527 95 | 0.000 % |
396.18/396.29 c | 118118 | 1298 132150 561686 | 68830 55627 95 | 0.000 % |
397.19/397.21 c | 118229 | 1298 132150 561686 | 68830 55738 95 | 0.000 % |
397.88/397.93 c | 118350 | 1298 132150 561686 | 68830 55859 95 | 0.000 % |
398.78/398.84 c | 118483 | 1298 132150 561686 | 68830 55992 95 | 0.000 % |
399.88/399.91 c | 118629 | 1298 132150 561686 | 68830 56138 95 | 0.000 % |
400.78/400.88 c | 118790 | 1298 132150 561686 | 68830 56299 95 | 0.000 % |
401.78/401.84 c | 118970 | 1298 132150 561686 | 68830 56479 95 | 0.000 % |
402.78/402.87 c | 119163 | 1298 132150 561686 | 68830 56672 95 | 0.000 % |
403.88/403.90 c | 119376 | 1298 132150 561686 | 68830 56885 95 | 0.000 % |
405.48/405.56 c | 119610 | 1298 132150 561686 | 68830 57119 95 | 0.000 % |
406.78/406.85 c | 119866 | 1298 132150 561686 | 68830 57375 95 | 0.000 % |
408.19/408.26 c | 120148 | 1298 132150 561686 | 57509 57657 95 | 0.000 % |
409.88/409.99 c | 120458 | 1298 132150 561686 | 57509 40287 96 | 0.000 % |
410.98/411.05 c | 120798 | 1298 132150 561686 | 57509 40627 96 | 0.000 % |
412.08/412.11 c | 121171 | 1298 132150 561686 | 57509 41000 96 | 0.000 % |
413.88/413.93 c | 121581 | 1298 132150 561686 | 57509 41410 96 | 0.000 % |
415.78/415.82 c | 122030 | 1298 132150 561686 | 57509 41859 96 | 0.000 % |
417.58/417.62 c | 122523 | 1298 132150 561686 | 57509 42352 96 | 0.000 % |
419.28/419.40 c | 123065 | 1298 132150 561686 | 57509 42894 96 | 0.000 % |
421.09/421.20 c | 123662 | 1298 132150 561686 | 57509 43491 96 | 0.000 % |
423.79/423.88 c | 124319 | 1298 132150 561686 | 57509 44148 96 | 0.000 % |
426.69/426.76 c | 125041 | 1298 132150 561686 | 57509 44870 96 | 0.000 % |
429.49/429.59 c | 125833 | 1298 132150 561686 | 57509 45662 96 | 0.000 % |
433.09/433.16 c | 126705 | 1298 132150 561686 | 57509 46534 96 | 0.000 % |
437.29/437.31 c | 127663 | 1298 132150 561686 | 57509 47492 96 | 0.000 % |
441.29/441.34 c | 128716 | 1298 132150 561686 | 57509 48545 96 | 0.000 % |
445.49/445.60 c | 129875 | 1298 132150 561686 | 57509 49704 96 | 0.000 % |
449.89/449.99 c | 131150 | 1298 132150 561686 | 49831 42102 98 | 0.000 % |
453.69/453.75 c | 132551 | 1298 132150 561686 | 49831 43503 98 | 0.000 % |
454.19/454.23 c | 132651 | 1298 132150 561686 | 49831 43603 98 | 0.000 % |
454.59/454.69 c | 132761 | 1298 132150 561686 | 49831 43713 98 | 0.000 % |
454.99/455.04 c | 132884 | 1298 132150 561686 | 49831 43836 98 | 0.000 % |
455.29/455.39 c | 133017 | 1298 132150 561686 | 49831 43969 98 | 0.000 % |
455.69/455.78 c | 133165 | 1298 132150 561686 | 49831 44117 98 | 0.000 % |
456.29/456.32 c | 133330 | 1298 132150 561686 | 49831 44282 98 | 0.000 % |
456.89/456.96 c | 133508 | 1298 132150 561686 | 49831 44460 98 | 0.000 % |
457.59/457.66 c | 133703 | 1298 132150 561686 | 49831 44655 98 | 0.000 % |
458.19/458.26 c | 133917 | 1298 132150 561686 | 49831 44869 98 | 0.000 % |
458.99/459.09 c | 134151 | 1298 132150 561686 | 49831 45103 98 | 0.000 % |
459.79/459.85 c | 134409 | 1298 132150 561686 | 49831 45361 98 | 0.000 % |
460.49/460.56 c | 134690 | 1298 132150 561686 | 49831 45642 98 | 0.000 % |
461.59/461.66 c | 135000 | 1298 132150 561686 | 49831 45952 98 | 0.000 % |
462.99/463.11 c | 135340 | 1298 132150 561686 | 49831 46292 98 | 0.000 % |
463.99/464.02 c | 135712 | 1298 132150 561686 | 49831 46664 98 | 0.000 % |
464.89/464.93 c | 136122 | 1298 132150 561686 | 49831 47074 98 | 0.000 % |
465.49/465.59 c | 136572 | 1298 132150 561686 | 49831 47524 98 | 0.000 % |
467.09/467.13 c | 137067 | 1298 132150 561686 | 49831 48019 98 | 0.000 % |
468.99/469.09 c | 137609 | 1298 132150 561686 | 49831 48561 98 | 0.000 % |
471.59/471.65 c | 138208 | 1298 132150 561686 | 49831 49160 98 | 0.000 % |
472.99/473.07 c | 138863 | 1298 132150 561686 | 49831 49815 98 | 0.000 % |
475.29/475.39 c | 139583 | 1298 132150 561686 | 49831 45527 98 | 0.000 % |
477.59/477.69 c | 140375 | 1298 132150 561686 | 2147483647 46319 98 | 0.000 % |
480.49/480.58 c | 141246 | 1298 132150 561686 | 2147483647 47190 98 | 0.000 % |
483.59/483.70 c | 142206 | 1298 132150 561686 | 2147483647 48150 98 | 0.000 % |
487.79/487.89 c | 143261 | 1298 132150 561686 | 2147483647 49205 98 | 0.000 % |
491.19/491.27 c | 144420 | 1298 132150 561686 | 2147483647 50364 98 | 0.000 % |
495.49/495.60 c | 145694 | 1298 132150 561686 | 2147483647 51638 98 | 0.000 % |
500.39/500.41 c | 147094 | 1298 132150 561686 | 2147483647 53038 98 | 0.000 % |
504.59/504.67 c | 148635 | 1298 132150 561686 | 2147483647 54579 98 | 0.000 % |
504.89/505.01 c | 148735 | 1298 132150 561686 | 2147483647 54679 98 | 0.000 % |
505.29/505.31 c | 148849 | 1298 132150 561686 | 2147483647 54793 98 | 0.000 % |
505.49/505.58 c | 148974 | 1298 132150 561686 | 2147483647 54918 98 | 0.000 % |
505.89/505.93 c | 149107 | 1298 132150 561686 | 2147483647 55051 98 | 0.000 % |
506.19/506.24 c | 149257 | 1298 132150 561686 | 2147483647 55201 98 | 0.000 % |
506.59/506.65 c | 149418 | 1298 132150 561686 | 2147483647 55362 98 | 0.000 % |
507.09/507.16 c | 149595 | 1298 132150 561686 | 2147483647 55539 98 | 0.000 % |
508.09/508.15 c | 149788 | 1298 132150 561686 | 2147483647 55732 98 | 0.000 % |
508.89/508.94 c | 150000 | 1298 132150 561686 | 2147483647 55944 98 | 0.000 % |
509.79/509.87 c | 150233 | 1298 132150 561686 | 2147483647 56177 98 | 0.000 % |
510.69/510.74 c | 150491 | 1298 132150 561686 | 2147483647 56435 98 | 0.000 % |
511.29/511.40 c | 150773 | 1298 132150 561686 | 2147483647 56717 98 | 0.000 % |
512.59/512.65 c | 151082 | 1298 132150 561686 | 2147483647 57026 98 | 0.000 % |
513.80/513.86 c | 151423 | 1298 132150 561686 | 2147483647 57367 98 | 0.000 % |
515.29/515.37 c | 151795 | 1298 132150 561686 | 2147483647 57739 98 | 0.000 % |
516.39/516.47 c | 152206 | 1298 132150 561686 | 2147483647 58150 98 | 0.000 % |
517.49/517.55 c | 152655 | 1298 132150 561686 | 2147483647 58599 98 | 0.000 % |
519.09/519.15 c | 153149 | 1298 132150 561686 | 2147483647 59093 98 | 0.000 % |
521.29/521.41 c | 153691 | 1298 132150 561686 | 2147483647 59635 98 | 0.000 % |
523.39/523.43 c | 154287 | 1298 132150 561686 | 2147483647 60231 97 | 0.000 % |
525.90/525.97 c | 154942 | 1298 132150 561686 | 2147483647 60886 97 | 0.000 % |
527.79/527.90 c | 155664 | 1298 132150 561686 | 2147483647 61608 97 | 0.000 % |
530.49/530.54 c | 156456 | 1298 132150 561686 | 2147483647 62400 97 | 0.000 % |
533.39/533.44 c | 157327 | 1298 132150 561686 | 2147483647 63271 97 | 0.000 % |
536.20/536.28 c | 158286 | 1298 132150 561686 | 2147483647 64230 97 | 0.000 % |
540.70/540.76 c | 159340 | 1298 132150 561686 | 2147483647 65284 97 | 0.000 % |
543.50/543.57 c | 160498 | 1298 132150 561686 | 2147483647 66442 97 | 0.000 % |
545.90/545.95 c | 161771 | 1298 132150 561686 | 2147483647 67715 97 | 0.000 % |
548.30/548.36 c | 163172 | 1298 132150 561686 | 2147483647 69116 96 | 0.000 % |
551.20/551.31 c | 164714 | 1298 132150 561686 | 2147483647 70658 96 | 0.000 % |
554.90/554.92 c | 166408 | 1298 132150 561686 | 2147483647 72352 96 | 0.000 % |
555.20/555.27 c | 166508 | 1298 132150 561686 | 2147483647 72452 96 | 0.000 % |
555.70/555.74 c | 166618 | 1298 132150 561686 | 2147483647 72562 96 | 0.000 % |
556.50/556.60 c | 166740 | 1298 132150 561686 | 2147483647 72684 96 | 0.000 % |
557.50/557.61 c | 166873 | 1298 132150 561686 | 2147483647 72817 96 | 0.000 % |
558.60/558.69 c | 167022 | 1298 132150 561686 | 2147483647 72966 96 | 0.000 % |
558.90/558.98 c | 167189 | 1298 132150 561686 | 2147483647 73133 96 | 0.000 % |
559.90/559.94 c | 167365 | 1298 132150 561686 | 2147483647 73309 96 | 0.000 % |
561.50/561.59 c | 167559 | 1298 132150 561686 | 2147483647 73503 96 | 0.000 % |
563.10/563.15 c | 167777 | 1298 132150 561686 | 2147483647 73721 96 | 0.000 % |
564.00/564.09 c | 168012 | 1298 132150 561686 | 2147483647 73956 96 | 0.000 % |
565.60/565.63 c | 168268 | 1298 132150 561686 | 2147483647 74212 96 | 0.000 % |
567.90/567.95 c | 168549 | 1298 132150 561686 | 2147483647 74493 96 | 0.000 % |
568.40/568.49 c | 168859 | 1298 132150 561686 | 2147483647 74803 96 | 0.000 % |
571.00/571.02 c | 169198 | 1298 132150 561686 | 2147483647 75142 96 | 0.000 % |
574.00/574.06 c | 169570 | 1298 132150 561686 | 2147483647 75514 97 | 0.000 % |
576.60/576.65 c | 169983 | 1298 132150 561686 | 2147483647 75927 97 | 0.000 % |
582.00/582.04 c | 170432 | 1298 132150 561686 | 75945 76376 97 | 0.000 % |
587.40/587.44 c | 170925 | 1298 132150 561686 | 75945 62007 96 | 0.000 % |
592.10/592.17 c | 171467 | 1298 132150 561686 | 75945 62549 96 | 0.000 % |
596.20/596.24 c | 172063 | 1298 132150 561686 | 75945 63145 96 | 0.000 % |
600.40/600.50 c | 172718 | 1298 132150 561686 | 75945 63800 96 | 0.000 % |
605.70/605.71 c | 173439 | 1298 132150 561686 | 75945 64521 96 | 0.000 % |
610.61/610.69 c | 174231 | 1298 132150 561686 | 75945 65313 96 | 0.000 % |
615.30/615.36 c | 175102 | 1298 132150 561686 | 75945 66184 96 | 0.000 % |
622.60/622.64 c | 176061 | 1298 132150 561686 | 75945 67143 96 | 0.000 % |
629.10/629.18 c | 177115 | 1298 132150 561686 | 75945 68197 96 | 0.000 % |
635.50/635.59 c | 178273 | 1298 132150 561686 | 75945 69355 97 | 0.000 % |
643.10/643.12 c | 179548 | 1298 132150 561686 | 75945 70630 97 | 0.000 % |
652.21/652.30 c | 180948 | 1298 132150 561686 | 71082 54386 95 | 0.000 % |
659.21/659.29 c | 182490 | 1298 132150 561686 | 71082 55928 95 | 0.000 % |
666.61/666.65 c | 184186 | 1298 132150 561686 | 71082 57624 95 | 0.000 % |
673.31/673.41 c | 186050 | 1298 132150 561686 | 71082 59488 95 | 0.000 % |
673.81/673.82 c | 186151 | 1298 132150 561686 | 71082 59589 95 | 0.000 % |
674.21/674.30 c | 186261 | 1298 132150 561686 | 71082 59699 95 | 0.000 % |
674.31/674.39 c | 186383 | 1298 132150 561686 | 71082 59821 95 | 0.000 % |
675.31/675.32 c | 186516 | 1298 132150 561686 | 71082 59954 95 | 0.000 % |
676.11/676.20 c | 186665 | 1298 132150 561686 | 71082 60103 95 | 0.000 % |
677.21/677.25 c | 186827 | 1298 132150 561686 | 71082 60265 95 | 0.000 % |
678.21/678.27 c | 187005 | 1298 132150 561686 | 71082 60443 95 | 0.000 % |
679.61/679.71 c | 187198 | 1298 132150 561686 | 71082 60636 95 | 0.000 % |
680.71/680.80 c | 187412 | 1298 132150 561686 | 71082 60850 95 | 0.000 % |
682.11/682.15 c | 187645 | 1298 132150 561686 | 71082 61083 95 | 0.001 % |
683.21/683.24 c | 187901 | 1298 132150 561686 | 71082 61339 95 | 0.000 % |
684.91/684.99 c | 188183 | 1298 132150 561686 | 71082 61621 95 | 0.000 % |
686.61/686.67 c | 188494 | 1298 132150 561686 | 71082 61932 95 | 0.000 % |
687.31/687.38 c | 188833 | 1298 132150 561686 | 71082 62271 95 | 0.000 % |
688.01/688.10 c | 189208 | 1298 132150 561686 | 71082 62646 95 | 0.000 % |
689.01/689.03 c | 189617 | 1298 132150 561686 | 71082 63055 95 | 0.000 % |
690.01/690.03 c | 190069 | 1298 132150 561686 | 63442 63507 95 | 0.000 % |
692.71/692.74 c | 190562 | 1298 132150 561686 | 63442 52627 94 | 0.000 % |
695.11/695.21 c | 191106 | 1298 132150 561686 | 63442 53171 95 | 0.000 % |
698.21/698.30 c | 191702 | 1298 132150 561686 | 63442 53767 95 | 0.000 % |
700.61/700.67 c | 192358 | 1298 132150 561686 | 63442 54423 95 | 0.000 % |
702.11/702.17 c | 193079 | 1298 132150 561686 | 63442 55144 95 | 0.000 % |
705.91/705.97 c | 193871 | 1298 132150 561686 | 63442 55936 95 | 0.000 % |
711.21/711.27 c | 194742 | 1298 132150 561686 | 63442 56807 95 | 0.000 % |
715.51/715.52 c | 195700 | 1298 132150 561686 | 63442 57765 95 | 0.000 % |
720.51/720.60 c | 196754 | 1298 132150 561686 | 63442 58819 95 | 0.000 % |
725.11/725.19 c | 197912 | 1298 132150 561686 | 63442 59977 95 | 0.000 % |
731.11/731.12 c | 199185 | 1298 132150 561686 | 63442 61250 95 | 0.000 % |
738.22/738.26 c | 200587 | 1298 132150 561686 | 62067 50819 96 | 0.000 % |
744.01/744.06 c | 202128 | 1298 132150 561686 | 62067 52360 96 | 0.000 % |
750.31/750.34 c | 203823 | 1298 132150 561686 | 62067 54055 96 | 0.000 % |
756.10/756.13 c | 205687 | 1298 132150 561686 | 62067 55919 96 | 0.000 % |
763.60/763.63 c | 207736 | 1298 132150 561686 | 62067 57968 96 | 0.000 % |
763.90/763.94 c | 207836 | 1298 132150 561686 | 62067 58068 96 | 0.000 % |
764.40/764.42 c | 207948 | 1298 132150 561686 | 62067 58180 96 | 0.000 % |
764.71/764.72 c | 208070 | 1298 132150 561686 | 62067 58302 96 | 0.000 % |
765.21/765.29 c | 208203 | 1298 132150 561686 | 62067 58435 96 | 0.000 % |
765.91/765.92 c | 208352 | 1298 132150 561686 | 62067 58584 96 | 0.000 % |
766.61/766.62 c | 208512 | 1298 132150 561686 | 62067 58744 96 | 0.000 % |
767.21/767.28 c | 208688 | 1298 132150 561686 | 62067 58920 96 | 0.000 % |
767.91/768.01 c | 208882 | 1298 132150 561686 | 62067 59114 96 | 0.000 % |
768.71/768.79 c | 209098 | 1298 132150 561686 | 62067 59330 96 | 0.000 % |
769.71/769.72 c | 209331 | 1298 132150 561686 | 62067 59563 96 | 0.000 % |
770.71/770.80 c | 209587 | 1298 132150 561686 | 62067 59819 96 | 0.000 % |
772.21/772.27 c | 209868 | 1298 132150 561686 | 62067 60100 96 | 0.000 % |
773.81/773.87 c | 210179 | 1298 132150 561686 | 60232 60411 96 | 0.000 % |
775.11/775.20 c | 210519 | 1298 132150 561686 | 60232 52365 97 | 0.000 % |
775.91/775.99 c | 210893 | 1298 132150 561686 | 60232 52739 97 | 0.000 % |
777.11/777.18 c | 211302 | 1298 132150 561686 | 60232 53148 97 | 0.000 % |
778.31/778.41 c | 211752 | 1298 132150 561686 | 60232 53598 97 | 0.000 % |
779.31/779.36 c | 212248 | 1298 132150 561686 | 60232 54094 97 | 0.000 % |
780.01/780.05 c | 212791 | 1298 132150 561686 | 60232 54637 97 | 0.000 % |
781.31/781.36 c | 213387 | 1298 132150 561686 | 60232 55233 96 | 0.000 % |
782.41/782.45 c | 214046 | 1298 132150 561686 | 60232 55892 96 | 0.000 % |
784.31/784.33 c | 214766 | 1298 132150 561686 | 60232 56612 96 | 0.000 % |
786.21/786.26 c | 215560 | 1298 132150 561686 | 60232 57406 96 | 0.000 % |
788.21/788.22 c | 216431 | 1298 132150 561686 | 60232 58277 96 | 0.000 % |
789.51/789.59 c | 217393 | 1298 132150 561686 | 60232 59239 96 | 0.000 % |
790.81/790.82 c | 218446 | 1298 132150 561686 | 60232 60292 96 | 0.000 % |
792.11/792.15 c | 219607 | 1298 132150 561686 | 60232 55424 96 | 0.000 % |
793.81/793.89 c | 220880 | 1298 132150 561686 | 2147483647 56697 96 | 0.000 % |
798.51/798.59 c | 222283 | 1298 132150 561686 | 2147483647 58100 95 | 0.000 % |
803.71/803.73 c | 223823 | 1298 132150 561686 | 2147483647 59640 95 | 0.000 % |
806.61/806.68 c | 225518 | 1298 132150 561686 | 2147483647 61335 95 | 0.000 % |
817.81/817.83 c | 227381 | 1298 132150 561686 | 2147483647 63198 96 | 0.000 % |
826.71/826.72 c | 229432 | 1298 132150 561686 | 2147483647 65249 96 | 0.000 % |
839.71/839.79 c | 231688 | 1298 132150 561686 | 2147483647 67505 96 | 0.000 % |
839.91/840.01 c | 231790 | 1298 132150 561686 | 2147483647 67607 96 | 0.000 % |
840.91/840.92 c | 231901 | 1298 132150 561686 | 2147483647 67718 96 | 0.000 % |
841.51/841.57 c | 232024 | 1298 132150 561686 | 2147483647 67841 96 | 0.000 % |
842.11/842.20 c | 232157 | 1298 132150 561686 | 2147483647 67974 96 | 0.000 % |
843.01/843.09 c | 232305 | 1298 132150 561686 | 2147483647 68122 96 | 0.000 % |
843.91/843.91 c | 232469 | 1298 132150 561686 | 2147483647 68286 96 | 0.000 % |
844.11/844.12 c | 232645 | 1298 132150 561686 | 2147483647 68462 96 | 0.000 % |
845.61/845.66 c | 232843 | 1298 132150 561686 | 2147483647 68660 96 | 0.000 % |
846.91/846.99 c | 233057 | 1298 132150 561686 | 2147483647 68874 96 | 0.000 % |
848.31/848.34 c | 233291 | 1298 132150 561686 | 2147483647 69108 96 | 0.000 % |
849.91/850.01 c | 233548 | 1298 132150 561686 | 2147483647 69365 96 | 0.000 % |
853.11/853.16 c | 233831 | 1298 132150 561686 | 2147483647 69648 96 | 0.000 % |
855.31/855.32 c | 234140 | 1298 132150 561686 | 2147483647 69957 96 | 0.000 % |
858.21/858.26 c | 234480 | 1298 132150 561686 | 2147483647 70297 96 | 0.000 % |
861.01/861.08 c | 234852 | 1298 132150 561686 | 2147483647 70669 96 | 0.000 % |
864.91/864.91 c | 235262 | 1298 132150 561686 | 2147483647 71079 96 | 0.000 % |
868.51/868.55 c | 235711 | 1298 132150 561686 | 2147483647 71528 96 | 0.000 % |
872.61/872.69 c | 236206 | 1298 132150 561686 | 2147483647 72023 96 | 0.000 % |
877.31/877.39 c | 236748 | 1298 132150 561686 | 2147483647 72565 96 | 0.000 % |
882.42/882.45 c | 237344 | 1298 132150 561686 | 2147483647 73161 96 | 0.000 % |
887.82/887.88 c | 238000 | 1298 132150 561686 | 2147483647 73817 96 | 0.000 % |
892.22/892.22 c | 238720 | 1298 132150 561686 | 2147483647 74537 96 | 0.000 % |
896.32/896.37 c | 239512 | 1298 132150 561686 | 2147483647 75329 96 | 0.000 % |
902.32/902.41 c | 240383 | 1298 132150 561686 | 75817 57502 96 | 0.000 % |
904.42/904.42 c | 241342 | 1298 132150 561686 | 75817 58461 96 | 0.000 % |
907.52/907.58 c | 242396 | 1298 132150 561686 | 75817 59515 96 | 0.000 % |
911.42/911.48 c | 243554 | 1298 132150 561686 | 75817 60673 96 | 0.000 % |
916.32/916.35 c | 244827 | 1298 132150 561686 | 75817 61946 96 | 0.000 % |
922.32/922.35 c | 246228 | 1298 132150 561686 | 75817 63347 96 | 0.000 % |
928.72/928.81 c | 247771 | 1298 132150 561686 | 75817 64890 96 | 0.000 % |
938.02/938.02 c | 249465 | 1298 132150 561686 | 75817 66584 96 | 0.000 % |
946.22/946.24 c | 251328 | 1298 132150 561686 | 67119 57657 96 | 0.000 % |
951.72/951.78 c | 253377 | 1298 132150 561686 | 67119 59706 96 | 0.000 % |
961.22/961.30 c | 255630 | 1298 132150 561686 | 67119 61959 96 | 0.000 % |
970.42/970.42 c | 258110 | 1298 132150 561686 | 67119 64439 96 | 0.000 % |
970.72/970.77 c | 258211 | 1298 132150 561686 | 67119 64540 96 | 0.000 % |
971.02/971.04 c | 258322 | 1298 132150 561686 | 67119 64651 96 | 0.000 % |
971.92/971.95 c | 258443 | 1298 132150 561686 | 67119 64772 96 | 0.000 % |
972.32/972.33 c | 258577 | 1298 132150 561686 | 67119 64906 96 | 0.000 % |
973.12/973.18 c | 258724 | 1298 132150 561686 | 67119 65053 96 | 0.000 % |
974.02/974.10 c | 258884 | 1298 132150 561686 | 67119 65213 96 | 0.000 % |
974.52/974.61 c | 259063 | 1298 132150 561686 | 67119 65392 96 | 0.000 % |
975.22/975.29 c | 259257 | 1298 132150 561686 | 67119 65586 96 | 0.000 % |
975.92/976.00 c | 259469 | 1298 132150 561686 | 67119 65798 96 | 0.000 % |
977.02/977.04 c | 259702 | 1298 132150 561686 | 67119 66031 96 | 0.000 % |
977.92/977.99 c | 259958 | 1298 132150 561686 | 67119 66287 96 | 0.000 % |
979.62/979.66 c | 260240 | 1298 132150 561686 | 66330 66569 96 | 0.000 % |
981.42/981.47 c | 260550 | 1298 132150 561686 | 66330 56932 96 | 0.000 % |
982.92/982.92 c | 260889 | 1298 132150 561686 | 66330 57271 96 | 0.000 % |
984.12/984.11 c | 261262 | 1298 132150 561686 | 66330 57644 96 | 0.000 % |
985.22/985.25 c | 261672 | 1298 132150 561686 | 66330 58054 96 | 0.000 % |
987.22/987.25 c | 262127 | 1298 132150 561686 | 66330 58509 96 | 0.000 % |
988.72/988.77 c | 262624 | 1298 132150 561686 | 66330 59006 96 | 0.000 % |
990.02/990.06 c | 263168 | 1298 132150 561686 | 66330 59550 96 | 0.000 % |
991.12/991.20 c | 263767 | 1298 132150 561686 | 66330 60149 96 | 0.000 % |
992.52/992.57 c | 264422 | 1298 132150 561686 | 66330 60804 96 | 0.000 % |
994.53/994.58 c | 265142 | 1298 132150 561686 | 66330 61524 96 | 0.000 % |
996.93/997.02 c | 265934 | 1298 132150 561686 | 66330 62316 96 | 0.000 % |
998.53/998.57 c | 266805 | 1298 132150 561686 | 66330 63187 96 | 0.000 % |
1000.03/1000.11 c | 267764 | 1298 132150 561686 | 66330 64146 96 | 0.000 % |
1001.43/1001.50 c | 268817 | 1298 132150 561686 | 66330 65199 96 | 0.000 % |
1003.63/1003.63 c | 269975 | 1298 132150 561686 | 66330 66357 96 | 0.000 % |
1005.53/1005.58 c | 271248 | 1298 132150 561686 | 2147483647 60995 96 | 0.000 % |
1007.53/1007.52 c | 272649 | 1298 132150 561686 | 2147483647 62396 96 | 0.000 % |
1009.63/1009.65 c | 274189 | 1298 132150 561686 | 2147483647 63936 96 | 0.000 % |
1012.03/1012.05 c | 275885 | 1298 132150 561686 | 2147483647 65632 95 | 0.000 % |
1016.73/1016.81 c | 277749 | 1298 132150 561686 | 2147483647 67496 95 | 0.000 % |
1024.93/1024.94 c | 279798 | 1298 132150 561686 | 2147483647 69545 95 | 0.000 % |
1027.63/1027.62 c | 282052 | 1298 132150 561686 | 2147483647 71799 95 | 0.000 % |
1039.03/1039.11 c | 284532 | 1298 132150 561686 | 2147483647 74279 96 | 0.000 % |
1048.62/1048.62 c | 287257 | 1298 132150 561686 | 2147483647 77004 96 | 0.000 % |
1049.12/1049.18 c | 287357 | 1298 132150 561686 | 2147483647 77104 96 | 0.000 % |
1049.52/1049.55 c | 287467 | 1298 132150 561686 | 2147483647 77214 96 | 0.000 % |
1049.82/1049.85 c | 287588 | 1298 132150 561686 | 2147483647 77335 96 | 0.000 % |
1050.42/1050.50 c | 287721 | 1298 132150 561686 | 2147483647 77468 96 | 0.000 % |
1051.12/1051.15 c | 287867 | 1298 132150 561686 | 2147483647 77614 96 | 0.000 % |
1051.82/1051.82 c | 288027 | 1298 132150 561686 | 2147483647 77774 96 | 0.000 % |
1052.42/1052.48 c | 288205 | 1298 132150 561686 | 2147483647 77952 96 | 0.000 % |
1053.12/1053.19 c | 288398 | 1298 132150 561686 | 2147483647 78145 96 | 0.000 % |
1054.32/1054.32 c | 288610 | 1298 132150 561686 | 2147483647 78357 96 | 0.000 % |
1054.72/1054.76 c | 288844 | 1298 132150 561686 | 2147483647 78591 96 | 0.000 % |
1055.92/1055.93 c | 289103 | 1298 132150 561686 | 2147483647 78850 96 | 0.000 % |
1056.42/1056.42 c | 289385 | 1298 132150 561686 | 2147483647 79132 96 | 0.000 % |
1057.12/1057.19 c | 289694 | 1298 132150 561686 | 2147483647 79441 96 | 0.000 % |
1058.22/1058.26 c | 290033 | 1298 132150 561686 | 79748 79780 96 | 0.000 % |
1059.72/1059.77 c | 290408 | 1298 132150 561686 | 79748 71445 96 | 0.000 % |
1060.92/1060.94 c | 290817 | 1298 132150 561686 | 79748 71854 96 | 0.000 % |
1061.82/1061.82 c | 291267 | 1298 132150 561686 | 79748 72304 96 | 0.000 % |
1063.02/1063.06 c | 291761 | 1298 132150 561686 | 79748 72798 96 | 0.000 % |
1064.32/1064.40 c | 292303 | 1298 132150 561686 | 79748 73340 96 | 0.000 % |
1066.22/1066.25 c | 292899 | 1298 132150 561686 | 79748 73936 96 | 0.000 % |
1068.23/1068.31 c | 293554 | 1298 132150 561686 | 79748 74591 96 | 0.000 % |
1070.12/1070.11 c | 294274 | 1298 132150 561686 | 79748 75311 96 | 0.000 % |
1072.02/1072.01 c | 295066 | 1298 132150 561686 | 79748 76103 96 | 0.000 % |
1074.22/1074.26 c | 295938 | 1298 132150 561686 | 79748 76975 96 | 0.000 % |
1075.93/1075.92 c | 296896 | 1298 132150 561686 | 79748 77933 96 | 0.000 % |
1078.02/1078.03 c | 297949 | 1298 132150 561686 | 79748 78986 96 | 0.000 % |
1079.12/1079.17 c | 299107 | 1298 132150 561686 | 79748 80144 96 | 0.000 % |
1081.02/1081.07 c | 300382 | 1298 132150 561686 | 2147483647 73405 95 | 0.000 % |
1082.32/1082.37 c | 301782 | 1298 132150 561686 | 2147483647 74805 95 | 0.000 % |
1083.92/1083.99 c | 303322 | 1298 132150 561686 | 2147483647 76345 95 | 0.000 % |
1086.02/1086.08 c | 305016 | 1298 132150 561686 | 2147483647 78039 95 | 0.000 % |
1093.72/1093.80 c | 306879 | 1298 132150 561686 | 2147483647 79902 95 | 0.000 % |
1102.02/1102.07 c | 308931 | 1298 132150 561686 | 2147483647 81954 95 | 0.000 % |
1112.92/1112.98 c | 311186 | 1298 132150 561686 | 2147483647 84209 94 | 0.000 % |
1119.22/1119.24 c | 313666 | 1298 132150 561686 | 2147483647 86689 94 | 0.000 % |
1130.82/1130.82 c | 316395 | 1298 132150 561686 | 2147483647 89418 94 | 0.000 % |
1143.42/1143.47 c | 319392 | 1298 132150 561686 | 2147483647 92415 94 | 0.000 % |
1144.12/1144.16 c | 319499 | 1298 132150 561686 | 2147483647 92522 94 | 0.000 % |
1144.82/1144.82 c | 319611 | 1298 132150 561686 | 2147483647 92634 94 | 0.000 % |
1145.12/1145.19 c | 319732 | 1298 132150 561686 | 2147483647 92755 94 | 0.000 % |
1145.62/1145.70 c | 319865 | 1298 132150 561686 | 2147483647 92888 94 | 0.000 % |
1146.12/1146.21 c | 320014 | 1298 132150 561686 | 93024 93037 94 | 0.000 % |
1147.22/1147.21 c | 320174 | 1298 132150 561686 | 93024 79036 93 | 0.000 % |
1147.52/1147.53 c | 320352 | 1298 132150 561686 | 93024 79214 93 | 0.000 % |
1147.62/1147.68 c | 320551 | 1298 132150 561686 | 93024 79413 93 | 0.000 % |
1148.12/1148.13 c | 320763 | 1298 132150 561686 | 93024 79625 93 | 0.000 % |
1148.72/1148.76 c | 320996 | 1298 132150 561686 | 93024 79858 93 | 0.000 % |
1149.12/1149.13 c | 321253 | 1298 132150 561686 | 93024 80115 93 | 0.000 % |
1149.42/1149.50 c | 321534 | 1298 132150 561686 | 93024 80396 93 | 0.000 % |
1149.92/1149.99 c | 321845 | 1298 132150 561686 | 93024 80707 93 | 0.000 % |
1150.52/1150.59 c | 322184 | 1298 132150 561686 | 93024 81046 93 | 0.000 % |
1151.12/1151.13 c | 322557 | 1298 132150 561686 | 93024 81419 93 | 0.000 % |
1151.62/1151.63 c | 322969 | 1298 132150 561686 | 93024 81831 93 | 0.000 % |
1152.22/1152.26 c | 323418 | 1298 132150 561686 | 93024 82280 93 | 0.000 % |
1153.02/1153.07 c | 323913 | 1298 132150 561686 | 93024 82775 93 | 0.000 % |
1153.72/1153.76 c | 324455 | 1298 132150 561686 | 93024 83317 92 | 0.000 % |
1154.52/1154.50 c | 325053 | 1298 132150 561686 | 93024 83915 92 | 0.000 % |
1155.42/1155.46 c | 325709 | 1298 132150 561686 | 93024 84571 92 | 0.000 % |
1156.42/1156.43 c | 326429 | 1298 132150 561686 | 93024 85291 92 | 0.000 % |
1157.42/1157.50 c | 327222 | 1298 132150 561686 | 93024 86084 92 | 0.000 % |
1158.72/1158.73 c | 328096 | 1298 132150 561686 | 93024 86958 92 | 0.000 % |
1160.22/1160.21 c | 329055 | 1298 132150 561686 | 93024 87917 92 | 0.000 % |
1161.92/1161.92 c | 330110 | 1298 132150 561686 | 2147483647 88972 92 | 0.000 % |
1163.52/1163.55 c | 331268 | 1298 132150 561686 | 2147483647 90130 92 | 0.000 % |
1164.92/1164.97 c | 332543 | 1298 132150 561686 | 2147483647 91405 92 | 0.000 % |
1165.82/1165.88 c | 333944 | 1298 132150 561686 | 2147483647 92806 92 | 0.000 % |
1166.82/1166.87 c | 335484 | 1298 132150 561686 | 2147483647 94346 92 | 0.000 % |
1167.92/1168.00 c | 337178 | 1298 132150 561686 | 2147483647 96040 92 | 0.000 % |
1169.42/1169.47 c | 339043 | 1298 132150 561686 | 2147483647 97905 93 | 0.000 % |
1185.12/1185.13 c | 341093 | 1298 132150 561686 | 2147483647 99955 93 | 0.000 % |
1200.02/1200.01 HOME/SatELiteGTI: line 36: 7001 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821832-1242571335/watcher-1821832-1242571335 -o /tmp/evaluation-result-1821832-1242571335/solver-1821832-1242571335 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821832-1242571335.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.02 1.02 1.00 3/91 6811
/proc/meminfo: memFree=602812/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2412 CPUtime=0.01
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 364 646 0 0 0 0 0 1 18 0 1 0 1021633830 2469888 275 4294967295 134512640 135169312 3218710752 3218709288 3085053678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6811/statm: 603 275 235 161 0 42 0
[pid=6815] ppid=6811 vsize=948 CPUtime=0
/proc/6815/stat : 6815 (SatELite_releas) R 6811 6811 9090 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 1021633831 970752 30 4294967295 134512640 135223648 3216903968 3216903740 134614223 0 0 0 0 0 0 0 17 1 0 0 0
/proc/6815/statm: 237 41 32 174 0 62 0
[startup+0.103851 s]
/proc/loadavg: 1.02 1.02 1.00 3/91 6811
/proc/meminfo: memFree=602812/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2412 CPUtime=0.01
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 364 646 0 0 0 0 0 1 18 0 1 0 1021633830 2469888 275 4294967295 134512640 135169312 3218710752 3218709288 3085053678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6811/statm: 603 275 235 161 0 42 0
[pid=6815] ppid=6811 vsize=10448 CPUtime=0.1
/proc/6815/stat : 6815 (SatELite_releas) R 6811 6811 9090 0 -1 4202496 2370 0 0 0 7 3 0 0 21 0 1 0 1021633831 10698752 2306 4294967295 134512640 135223648 3216903968 3216901744 134585461 0 0 0 3 0 0 0 17 1 0 0 0
/proc/6815/statm: 2612 2306 73 174 0 2437 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 12860
[startup+0.223845 s]
/proc/loadavg: 1.02 1.02 1.00 3/91 6811
/proc/meminfo: memFree=602812/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2412 CPUtime=0.01
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 364 646 0 0 0 0 0 1 18 0 1 0 1021633830 2469888 275 4294967295 134512640 135169312 3218710752 3218709288 3085053678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6811/statm: 603 275 235 161 0 42 0
[pid=6815] ppid=6811 vsize=12292 CPUtime=0.22
/proc/6815/stat : 6815 (SatELite_releas) R 6811 6811 9090 0 -1 4202496 2826 0 0 0 19 3 0 0 21 0 1 0 1021633831 12587008 2762 4294967295 134512640 135223648 3216903968 3216901968 134549036 0 0 0 3 0 0 0 17 1 0 0 0
/proc/6815/statm: 3073 2762 73 174 0 2898 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 14704
[startup+0.323841 s]
/proc/loadavg: 1.02 1.02 1.00 3/91 6811
/proc/meminfo: memFree=602812/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2412 CPUtime=0.01
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 364 646 0 0 0 0 0 1 18 0 1 0 1021633830 2469888 275 4294967295 134512640 135169312 3218710752 3218709288 3085053678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6811/statm: 603 275 235 161 0 42 0
[pid=6815] ppid=6811 vsize=12952 CPUtime=0.32
/proc/6815/stat : 6815 (SatELite_releas) R 6811 6811 9090 0 -1 4202496 3010 0 0 0 28 4 0 0 21 0 1 0 1021633831 13262848 2946 4294967295 134512640 135223648 3216903968 3216901968 134548993 0 0 0 3 0 0 0 17 1 0 0 0
/proc/6815/statm: 3238 2946 73 174 0 3063 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 15364
[startup+0.723821 s]
/proc/loadavg: 1.02 1.02 1.00 3/91 6811
/proc/meminfo: memFree=602812/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2412 CPUtime=0.01
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 364 646 0 0 0 0 0 1 18 0 1 0 1021633830 2469888 275 4294967295 134512640 135169312 3218710752 3218709288 3085053678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6811/statm: 603 275 235 161 0 42 0
[pid=6815] ppid=6811 vsize=15932 CPUtime=0.72
/proc/6815/stat : 6815 (SatELite_releas) R 6811 6811 9090 0 -1 4202496 3482 0 0 0 68 4 0 0 22 0 1 0 1021633831 16314368 3418 4294967295 134512640 135223648 3216903968 3216902064 134585544 0 0 0 3 0 0 0 17 1 0 0 0
/proc/6815/statm: 3983 3418 73 174 0 3808 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 18344
[startup+1.52379 s]
/proc/loadavg: 1.02 1.02 1.00 2/93 7000
/proc/meminfo: memFree=588036/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 2416
[startup+3.12371 s]
/proc/loadavg: 1.02 1.02 1.00 2/93 7001
/proc/meminfo: memFree=589896/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=10504 CPUtime=1.92
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 2545 0 0 0 192 0 0 0 21 0 1 0 1021633950 10756096 2479 4294967295 134512640 135215339 3220919120 3220917408 134528814 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7001/statm: 2626 2479 73 172 0 2453 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 12920
[startup+6.32355 s]
/proc/loadavg: 1.02 1.02 1.00 2/93 7001
/proc/meminfo: memFree=587620/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=13020 CPUtime=5.11
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 3176 0 0 0 511 0 0 0 25 0 1 0 1021633950 13332480 3110 4294967295 134512640 135215339 3220919120 3220917408 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7001/statm: 3255 3110 73 172 0 3082 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 15436
[startup+12.7232 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 7001
/proc/meminfo: memFree=582672/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=17824 CPUtime=11.48
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 4385 0 0 0 1144 4 0 0 25 0 1 0 1021633950 18251776 4319 4294967295 134512640 135215339 3220919120 3220917408 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7001/statm: 4456 4319 73 172 0 4283 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20240
[startup+25.5226 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 7003
/proc/meminfo: memFree=574644/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=25476 CPUtime=24.28
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 6301 0 0 0 2422 6 0 0 25 0 1 0 1021633950 26087424 6235 4294967295 134512640 135215339 3220919120 3220917408 134528734 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7001/statm: 6369 6235 73 172 0 6196 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27892
[startup+51.1114 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 7006
/proc/meminfo: memFree=568112/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=32200 CPUtime=49.87
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 7963 0 0 0 4979 8 0 0 25 0 1 0 1021633950 32972800 7897 4294967295 134512640 135215339 3220919120 3220917408 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7001/statm: 8050 7897 73 172 0 7877 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34616
[startup+102.319 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 7192
/proc/meminfo: memFree=561564/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=38484 CPUtime=101.08
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 9521 0 0 0 10097 11 0 0 25 0 1 0 1021633950 39407616 9455 4294967295 134512640 135215339 3220919120 3220917408 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7001/statm: 9621 9455 73 172 0 9448 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 40900
[startup+162.316 s]
/proc/loadavg: 1.05 1.03 1.00 2/93 7379
/proc/meminfo: memFree=556604/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=43576 CPUtime=161.08
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 10796 0 0 0 16094 14 0 0 25 0 1 0 1021633950 44621824 10730 4294967295 134512640 135215339 3220919120 3220917408 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7001/statm: 10894 10730 73 172 0 10721 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 45992
[startup+222.313 s]
/proc/loadavg: 1.02 1.02 1.00 2/93 7567
/proc/meminfo: memFree=553008/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=47156 CPUtime=221.08
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 11664 0 0 0 22093 15 0 0 25 0 1 0 1021633950 48287744 11598 4294967295 134512640 135215339 3220919120 3220917408 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7001/statm: 11789 11598 73 172 0 11616 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 49572
[startup+282.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 7760
/proc/meminfo: memFree=552760/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=47400 CPUtime=281.08
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 11731 0 0 0 28091 17 0 0 25 0 1 0 1021633950 48537600 11643 4294967295 134512640 135215339 3220919120 3220917408 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7001/statm: 11850 11643 73 172 0 11677 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 49816
[startup+342.318 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 7949
/proc/meminfo: memFree=552760/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=47480 CPUtime=341.09
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 11732 0 0 0 34085 24 0 0 25 0 1 0 1021633950 48619520 11644 4294967295 134512640 135215339 3220919120 3220917408 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7001/statm: 11870 11644 73 172 0 11697 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 49896
[startup+402.305 s]
################
# More data... #
################
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=47480 CPUtime=521.09
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 11743 0 0 0 52079 30 0 0 25 0 1 0 1021633950 48619520 11655 4294967295 134512640 135215339 3220919120 3220917408 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7001/statm: 11870 11655 73 172 0 11697 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 49896
[startup+582.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8701
/proc/meminfo: memFree=551892/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=48704 CPUtime=581.1
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 12022 0 0 0 58080 30 0 0 25 0 1 0 1021633950 49872896 11926 4294967295 134512640 135215339 3220919120 3220917328 134534556 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7001/statm: 12176 11926 73 172 0 12003 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 51120
[startup+642.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8892
/proc/meminfo: memFree=551644/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=48704 CPUtime=641.1
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 12022 0 0 0 64080 30 0 0 25 0 1 0 1021633950 49872896 11926 4294967295 134512640 135215339 3220919120 3220917408 134528784 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7001/statm: 12176 11926 73 172 0 12003 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 51120
[startup+702.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 9080
/proc/meminfo: memFree=551520/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=48704 CPUtime=701.11
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 12023 0 0 0 70076 35 0 0 25 0 1 0 1021633950 49872896 11927 4294967295 134512640 135215339 3220919120 3220917408 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7001/statm: 12176 11927 73 172 0 12003 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 51120
[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 9270
/proc/meminfo: memFree=551520/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=48704 CPUtime=761.1
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 12024 0 0 0 76075 35 0 0 25 0 1 0 1021633950 49872896 11928 4294967295 134512640 135215339 3220919120 3220917408 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7001/statm: 12176 11928 73 172 0 12003 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 51120
[startup+822.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 9458
/proc/meminfo: memFree=550776/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=49788 CPUtime=821.11
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 12217 0 0 0 82076 35 0 0 25 0 1 0 1021633950 50982912 12121 4294967295 134512640 135215339 3220919120 3220917408 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7001/statm: 12447 12121 73 172 0 12274 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 52204
[startup+882.322 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 9647
/proc/meminfo: memFree=550528/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=49788 CPUtime=881.12
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 12235 0 0 0 88077 35 0 0 25 0 1 0 1021633950 50982912 12139 4294967295 134512640 135215339 3220919120 3220917408 134528776 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7001/statm: 12447 12139 73 172 0 12274 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 52204
[startup+942.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 9834
/proc/meminfo: memFree=550652/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=49788 CPUtime=941.12
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 12237 0 0 0 94077 35 0 0 25 0 1 0 1021633950 50982912 12141 4294967295 134512640 135215339 3220919120 3220917408 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7001/statm: 12447 12141 73 172 0 12274 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 52204
[startup+1002.33 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 10022
/proc/meminfo: memFree=550528/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=49788 CPUtime=1001.13
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 12237 0 0 0 100076 37 0 0 25 0 1 0 1021633950 50982912 12141 4294967295 134512640 135215339 3220919120 3220917408 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7001/statm: 12447 12141 73 172 0 12274 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 52204
[startup+1062.31 s]
/proc/loadavg: 1.07 1.03 1.01 3/93 10213
/proc/meminfo: memFree=549660/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=50488 CPUtime=1061.12
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 12382 0 0 0 106073 39 0 0 25 0 1 0 1021633950 51699712 12286 4294967295 134512640 135215339 3220919120 3220917408 134528821 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7001/statm: 12622 12286 73 172 0 12449 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 52904
[startup+1122.31 s]
/proc/loadavg: 1.02 1.02 1.00 3/93 10401
/proc/meminfo: memFree=548172/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=52084 CPUtime=1121.12
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 12754 0 0 0 112072 40 0 0 25 0 1 0 1021633950 53334016 12658 4294967295 134512640 135215339 3220919120 3220917408 134528742 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7001/statm: 13021 12658 73 172 0 12848 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 54500
[startup+1182.31 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 10601
/proc/meminfo: memFree=541916/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=59008 CPUtime=1181.12
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 14408 0 0 0 118072 40 0 0 25 0 1 0 1021633950 60424192 14275 4294967295 134512640 135215339 3220919120 3220917408 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7001/statm: 14752 14275 73 172 0 14579 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 61424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 10601
/proc/meminfo: memFree=540980/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=59748 CPUtime=1198.82
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 14573 0 0 0 119842 40 0 0 25 0 1 0 1021633950 61181952 14440 4294967295 134512640 135215339 3220919120 3220917408 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7001/statm: 14937 14440 73 172 0 14764 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 62164
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
[startup+1200.01 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 10601
/proc/meminfo: memFree=540980/2074464 swapFree=1953004/1959888
[pid=6811] ppid=6809 vsize=2416 CPUtime=1.2
/proc/6811/stat : 6811 (SatELiteGTI) S 6809 6811 9090 0 -1 4194304 384 4132 0 0 0 0 115 5 20 0 1 0 1021633830 2473984 277 4294967295 134512640 135169312 3218710752 3218706968 3085053678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6811/statm: 604 277 235 161 0 43 0
[pid=7001] ppid=6811 vsize=59748 CPUtime=1198.82
/proc/7001/stat : 7001 (minisat_static) R 6811 6811 9090 0 -1 4202496 14573 0 0 0 119842 40 0 0 25 0 1 0 1021633950 61181952 14440 4294967295 134512640 135215339 3220919120 3220917408 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7001/statm: 14937 14440 73 172 0 14764 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 62164
Child status: 143
Real time (s): 1200.02
CPU time (s): 1200.03
CPU user time (s): 1199.57
CPU system time (s): 0.46
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 62164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.57
system time used= 0.46
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19365
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= 19
involuntary context switches= 2771
runsolver used 0.02 second user time and 0.01 second system time
The end
Begin job on tipi19 at 2009-05-17 16:42:15
IDJOB=1821832
IDBENCH=71100
IDSOLVER=657
FILE ID=tipi19/1821832-1242571335
PBS_JOBID=
Free space on /tmp= 8802 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_13_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821832-1242571335/watcher-1821832-1242571335 -o /tmp/evaluation-result-1821832-1242571335/solver-1821832-1242571335 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821832-1242571335.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 604e1311b2fcb3c933399ca7195c63f1
RANDOM SEED= 304521620
Linux tipi19 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.39
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 603076 kB
Buffers: 50844 kB
Cached: 1296752 kB
SwapCached: 2992 kB
Active: 386756 kB
Inactive: 970284 kB
HighTotal: 1178688 kB
HighFree: 66636 kB
LowTotal: 895776 kB
LowFree: 536440 kB
SwapTotal: 1959888 kB
SwapFree: 1953004 kB
Dirty: 3768 kB
Writeback: 0 kB
AnonPages: 8760 kB
Mapped: 3240 kB
Slab: 105628 kB
PageTables: 308 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87776 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8802 MiB
End job on tipi19 at 2009-05-17 17:02:15