0.00/0.00 c Parsing...
0.00/0.08 c ==============================================================================
0.00/0.08 c | | ORIGINAL | LEARNT | |
0.00/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.08 c ==============================================================================
0.00/0.08 c | 0 | 94904 223730 | 28471 0 0 nan | 0.000 % |
1.29/1.37 c | 0 | 57479 171136 | -- 0 -- -- | -- | -37085/-51618
1.29/1.37 c ==============================================================================
1.29/1.37 c Result : #vars: 13839 #clauses: 57479 #literals: 171136
1.29/1.37 c CPU time: 1.3318 s
1.29/1.37 c ==============================================================================
1.38/1.43 c This is MiniSat 2.0 beta
1.38/1.43 c WARNING: for repeatability, setting FPU to use double precision
1.38/1.43 c ============================[ Problem Statistics ]=============================
1.38/1.43 c | |
1.38/1.43 c | Number of variables: 13839 |
1.38/1.43 c | Number of clauses: 57479 |
1.38/1.47 c | Parsing time: 0.03 s |
1.38/1.47 c ============================[ Search Statistics ]==============================
1.38/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.38/1.47 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.38/1.47 c ===============================================================================
1.38/1.47 c | 0 | 13839 57479 171136 | 19159 0 nan | 0.000 % |
1.42/1.68 c | 100 | 13830 57479 171136 | 19159 96 32 | 0.780 % |
2.07/2.11 c | 200 | 13731 56852 169569 | 19159 193 29 | 0.780 % |
2.37/2.45 c | 300 | 13685 56640 169088 | 19159 292 27 | 1.113 % |
2.77/2.81 c | 411 | 13685 56640 169088 | 19159 403 25 | 1.113 % |
3.17/3.25 c | 512 | 13685 56640 169088 | 19159 504 26 | 1.113 % |
3.47/3.51 c | 623 | 13685 56640 169088 | 19159 615 25 | 1.113 % |
3.77/3.87 c | 744 | 13685 56640 169088 | 19159 736 26 | 1.113 % |
4.16/4.27 c | 845 | 13685 56640 169088 | 19159 837 26 | 1.113 % |
4.66/4.70 c | 956 | 13685 56640 169088 | 19159 948 25 | 1.113 % |
4.86/4.99 c | 1077 | 13685 56640 169088 | 19159 1069 26 | 1.113 % |
5.37/5.43 c | 1211 | 13685 56640 169088 | 19159 1203 26 | 1.113 % |
5.76/5.88 c | 1311 | 13685 56640 169088 | 19159 1303 26 | 1.113 % |
6.26/6.39 c | 1421 | 13685 56640 169088 | 19159 1413 26 | 1.113 % |
6.76/6.87 c | 1542 | 13685 56640 169088 | 19159 1534 25 | 1.113 % |
7.26/7.37 c | 1676 | 13685 56640 169088 | 19159 1668 25 | 1.113 % |
7.96/8.05 c | 1823 | 13685 56640 169088 | 19159 1815 25 | 1.113 % |
8.36/8.48 c | 1923 | 13685 56640 169088 | 19159 1915 24 | 1.113 % |
8.78/8.82 c | 2034 | 13685 56640 169088 | 19159 2026 25 | 1.113 % |
8.97/9.02 c | 2156 | 13685 56640 169088 | 19159 2148 25 | 1.113 % |
9.37/9.46 c | 2289 | 13685 56640 169088 | 19159 2281 26 | 1.113 % |
10.07/10.11 c | 2436 | 13685 56640 169088 | 19159 2428 27 | 1.113 % |
10.27/10.33 c | 2597 | 13685 56640 169088 | 19159 2589 29 | 1.113 % |
10.57/10.67 c | 2697 | 13685 56640 169088 | 19159 2689 29 | 1.113 % |
10.98/11.08 c | 2807 | 13685 56640 169088 | 19159 2799 28 | 1.113 % |
11.47/11.55 c | 2928 | 13685 56640 169088 | 19159 2920 28 | 1.113 % |
11.97/12.08 c | 3062 | 13685 56640 169088 | 19159 3054 28 | 1.113 % |
12.67/12.75 c | 3209 | 13685 56640 169088 | 19159 3201 28 | 1.113 % |
13.27/13.32 c | 3369 | 13685 56640 169088 | 19159 3361 27 | 1.113 % |
13.97/14.07 c | 3545 | 13685 56640 169088 | 19159 3537 27 | 1.113 % |
14.37/14.40 c | 3646 | 13685 56640 169088 | 19159 3638 27 | 1.113 % |
14.77/14.82 c | 3756 | 13685 56640 169088 | 19159 3748 27 | 1.113 % |
15.17/15.27 c | 3878 | 13685 56640 169088 | 19159 3870 27 | 1.113 % |
15.77/15.87 c | 4011 | 13685 56640 169088 | 19159 4003 27 | 1.113 % |
16.37/16.41 c | 4158 | 13685 56640 169088 | 19159 4150 27 | 1.113 % |
16.97/17.10 c | 4319 | 13685 56640 169088 | 19159 4311 27 | 1.113 % |
17.87/17.91 c | 4497 | 13685 56640 169088 | 19159 4489 27 | 1.113 % |
18.57/18.69 c | 4693 | 13685 56640 169088 | 19159 4685 27 | 1.113 % |
19.07/19.13 c | 4795 | 13685 56640 169088 | 19159 4787 27 | 1.113 % |
19.57/19.62 c | 4905 | 13685 56640 169088 | 19159 4897 27 | 1.113 % |
20.07/20.19 c | 5027 | 13685 56640 169088 | 19159 5019 26 | 1.113 % |
20.77/20.80 c | 5160 | 13685 56640 169088 | 19159 5152 26 | 1.113 % |
21.26/21.30 c | 5306 | 13634 56423 168588 | 19159 5292 27 | 1.481 % |
21.87/21.95 c | 5467 | 13634 56423 168588 | 19159 5453 27 | 1.481 % |
22.46/22.59 c | 5643 | 13634 56423 168588 | 19159 5629 27 | 1.481 % |
23.27/23.38 c | 5836 | 13634 56423 168588 | 19159 5822 27 | 1.481 % |
24.17/24.27 c | 6048 | 13634 56423 168588 | 19159 6034 27 | 1.481 % |
24.56/24.63 c | 6151 | 13634 56423 168588 | 19159 6137 27 | 1.481 % |
24.96/25.08 c | 6262 | 13634 56423 168588 | 19159 6248 27 | 1.481 % |
25.56/25.69 c | 6383 | 13634 56423 168588 | 19159 6369 27 | 1.481 % |
26.16/26.29 c | 6516 | 13634 56423 168588 | 19159 6502 27 | 1.481 % |
26.86/26.98 c | 6663 | 13634 56423 168588 | 19159 6649 27 | 1.481 % |
27.66/27.76 c | 6824 | 13634 56423 168588 | 19159 6810 27 | 1.481 % |
28.47/28.52 c | 7000 | 13634 56423 168588 | 19159 6986 27 | 1.481 % |
29.16/29.21 c | 7193 | 13634 56423 168588 | 19159 7179 27 | 1.481 % |
29.96/30.01 c | 7406 | 13634 56423 168588 | 19159 7392 27 | 1.481 % |
30.77/30.84 c | 7639 | 13634 56423 168588 | 19159 7625 27 | 1.481 % |
31.16/31.25 c | 7740 | 13634 56423 168588 | 19159 7726 27 | 1.481 % |
31.66/31.73 c | 7851 | 13634 56423 168588 | 19159 7837 27 | 1.481 % |
32.26/32.35 c | 7973 | 13634 56423 168588 | 19159 7959 27 | 1.481 % |
32.97/33.07 c | 8107 | 13634 56423 168588 | 19159 8093 27 | 1.481 % |
33.76/33.84 c | 8254 | 13634 56423 168588 | 19159 8240 27 | 1.481 % |
34.36/34.41 c | 8416 | 13634 56423 168588 | 19159 8402 27 | 1.481 % |
35.17/35.22 c | 8593 | 13634 56423 168588 | 19159 8579 27 | 1.481 % |
36.06/36.10 c | 8786 | 13634 56423 168588 | 19159 8772 27 | 1.481 % |
37.06/37.10 c | 8998 | 13634 56423 168588 | 19159 8984 27 | 1.481 % |
37.96/38.03 c | 9231 | 13634 56423 168588 | 19159 9217 27 | 1.481 % |
38.76/38.88 c | 9488 | 13634 56423 168588 | 19159 9474 27 | 1.481 % |
39.26/39.32 c | 9589 | 13634 56423 168588 | 19159 9575 27 | 1.481 % |
39.86/39.92 c | 9699 | 13634 56423 168588 | 19159 9685 27 | 1.481 % |
40.46/40.52 c | 9820 | 13634 56423 168588 | 19159 9806 27 | 1.481 % |
40.96/41.07 c | 9953 | 13634 56423 168588 | 19159 9939 27 | 1.481 % |
41.66/41.70 c | 10101 | 13634 56423 168588 | 2147483647 10087 27 | 1.481 % |
42.26/42.33 c | 10262 | 13634 56423 168588 | 2147483647 10248 27 | 1.481 % |
43.06/43.14 c | 10439 | 13634 56423 168588 | 2147483647 10425 27 | 1.481 % |
43.86/44.00 c | 10633 | 13634 56423 168588 | 2147483647 10619 27 | 1.481 % |
44.96/45.00 c | 10846 | 13634 56423 168588 | 2147483647 10832 26 | 1.481 % |
45.76/45.82 c | 11079 | 13634 56423 168588 | 2147483647 11065 26 | 1.481 % |
46.66/46.71 c | 11336 | 13634 56423 168588 | 2147483647 11322 27 | 1.481 % |
47.96/48.06 c | 11617 | 13634 56423 168588 | 2147483647 11603 27 | 1.481 % |
48.46/48.50 c | 11717 | 13634 56423 168588 | 2147483647 11703 27 | 1.481 % |
48.96/49.08 c | 11827 | 13634 56423 168588 | 2147483647 11813 27 | 1.481 % |
49.36/49.48 c | 11948 | 13634 56423 168588 | 2147483647 11934 27 | 1.481 % |
49.96/50.02 c | 12081 | 13634 56423 168588 | 2147483647 12067 27 | 1.481 % |
50.56/50.68 c | 12228 | 13634 56423 168588 | 2147483647 12214 27 | 1.481 % |
51.35/51.49 c | 12389 | 13634 56423 168588 | 2147483647 12375 27 | 1.481 % |
52.25/52.33 c | 12565 | 13634 56423 168588 | 2147483647 12551 27 | 1.481 % |
53.15/53.29 c | 12760 | 13634 56423 168588 | 2147483647 12746 26 | 1.481 % |
54.35/54.40 c | 12973 | 13634 56423 168588 | 2147483647 12959 26 | 1.481 % |
55.35/55.40 c | 13206 | 13585 56211 168104 | 2147483647 13190 26 | 1.835 % |
56.45/56.52 c | 13462 | 13585 56211 168104 | 2147483647 13446 27 | 1.835 % |
57.75/57.87 c | 13744 | 13585 56211 168104 | 2147483647 13728 27 | 1.835 % |
59.26/59.36 c | 14053 | 13585 56211 168104 | 2147483647 14037 27 | 1.835 % |
59.65/59.70 c | 14153 | 13585 56211 168104 | 2147483647 14137 27 | 1.835 % |
59.85/59.99 c | 14264 | 13585 56211 168104 | 2147483647 14248 27 | 1.835 % |
60.55/60.64 c | 14387 | 13585 56211 168104 | 2147483647 14371 27 | 1.835 % |
61.05/61.17 c | 14520 | 13585 56211 168104 | 2147483647 14504 27 | 1.835 % |
61.75/61.89 c | 14666 | 13585 56211 168104 | 2147483647 14650 27 | 1.835 % |
62.65/62.80 c | 14827 | 13585 56211 168104 | 2147483647 14811 27 | 1.835 % |
63.35/63.49 c | 15005 | 13585 56211 168104 | 2147483647 14989 27 | 1.835 % |
64.25/64.34 c | 15199 | 13585 56211 168104 | 2147483647 15183 27 | 1.835 % |
65.15/65.29 c | 15413 | 13585 56211 168104 | 2147483647 15397 26 | 1.835 % |
66.35/66.43 c | 15647 | 13585 56211 168104 | 2147483647 15631 26 | 1.835 % |
67.55/67.64 c | 15904 | 13585 56211 168104 | 2147483647 15888 26 | 1.835 % |
68.75/68.85 c | 16185 | 13585 56211 168104 | 2147483647 16169 26 | 1.836 % |
70.15/70.29 c | 16495 | 13585 56211 168104 | 2147483647 16479 26 | 1.835 % |
71.85/71.94 c | 16836 | 13585 56211 168104 | 2147483647 16820 26 | 1.835 % |
72.35/72.41 c | 16937 | 13585 56211 168104 | 2147483647 16921 26 | 1.835 % |
72.85/72.93 c | 17047 | 13585 56211 168104 | 2147483647 17031 26 | 1.835 % |
73.35/73.43 c | 17169 | 13585 56211 168104 | 2147483647 17153 26 | 1.835 % |
73.95/74.07 c | 17303 | 13585 56211 168104 | 2147483647 17287 26 | 1.835 % |
74.65/74.77 c | 17449 | 13585 56211 168104 | 2147483647 17433 26 | 1.835 % |
75.35/75.49 c | 17609 | 13585 56211 168104 | 2147483647 17593 26 | 1.835 % |
76.24/76.39 c | 17786 | 13585 56211 168104 | 2147483647 17770 26 | 1.835 % |
77.34/77.46 c | 17980 | 13585 56211 168104 | 2147483647 17964 26 | 1.835 % |
78.34/78.49 c | 18193 | 13585 56211 168104 | 2147483647 18177 26 | 1.835 % |
79.45/79.53 c | 18426 | 13585 56211 168104 | 2147483647 18410 26 | 1.835 % |
80.85/80.91 c | 18683 | 13585 56211 168104 | 2147483647 18667 26 | 1.835 % |
82.25/82.38 c | 18965 | 13585 56211 168104 | 2147483647 18949 26 | 1.835 % |
83.85/83.91 c | 19274 | 13585 56211 168104 | 2147483647 19258 26 | 1.835 % |
85.45/85.53 c | 19614 | 13585 56211 168104 | 2147483647 19598 26 | 1.835 % |
87.25/87.35 c | 19986 | 13585 56211 168104 | 2147483647 19970 26 | 1.835 % |
87.75/87.84 c | 20086 | 13585 56211 168104 | 2147483647 20070 26 | 1.835 % |
88.35/88.48 c | 20196 | 13585 56211 168104 | 2147483647 20180 26 | 1.835 % |
89.05/89.19 c | 20318 | 13585 56211 168104 | 2147483647 20302 25 | 1.835 % |
89.85/89.93 c | 20451 | 13585 56211 168104 | 2147483647 20435 25 | 1.835 % |
90.55/90.69 c | 20598 | 13585 56211 168104 | 2147483647 20582 26 | 1.835 % |
91.35/91.49 c | 20758 | 13585 56211 168104 | 2147483647 20742 26 | 1.835 % |
92.25/92.36 c | 20934 | 13585 56211 168104 | 2147483647 20918 26 | 1.835 % |
93.35/93.47 c | 21127 | 13585 56211 168104 | 2147483647 21111 25 | 1.835 % |
94.35/94.43 c | 21339 | 13585 56211 168104 | 2147483647 21323 26 | 1.835 % |
95.45/95.54 c | 21572 | 13585 56211 168104 | 2147483647 21556 25 | 1.835 % |
96.75/96.84 c | 21828 | 13585 56211 168104 | 2147483647 21812 26 | 1.835 % |
97.94/98.08 c | 22109 | 13585 56211 168104 | 2147483647 22093 25 | 1.835 % |
98.95/99.08 c | 22418 | 13585 56211 168104 | 2147483647 22402 26 | 1.835 % |
100.64/100.80 c | 22757 | 13585 56211 168104 | 2147483647 22741 26 | 1.835 % |
102.44/102.57 c | 23129 | 13585 56211 168104 | 2147483647 23113 26 | 1.835 % |
104.45/104.58 c | 23539 | 13585 56211 168104 | 2147483647 23523 26 | 1.835 % |
104.94/105.08 c | 23639 | 13585 56211 168104 | 2147483647 23623 26 | 1.835 % |
105.55/105.65 c | 23750 | 13585 56211 168104 | 2147483647 23734 26 | 1.835 % |
106.14/106.25 c | 23872 | 13585 56211 168104 | 2147483647 23856 26 | 1.835 % |
106.84/106.97 c | 24006 | 13585 56211 168104 | 2147483647 23990 26 | 1.835 % |
107.64/107.77 c | 24153 | 13585 56211 168104 | 2147483647 24137 26 | 1.835 % |
108.44/108.56 c | 24313 | 13585 56211 168104 | 2147483647 24297 26 | 1.836 % |
109.44/109.56 c | 24489 | 13585 56211 168104 | 2147483647 24473 26 | 1.835 % |
110.34/110.43 c | 24682 | 13585 56211 168104 | 2147483647 24666 26 | 1.835 % |
111.14/111.27 c | 24895 | 13585 56211 168104 | 2147483647 24879 26 | 1.835 % |
112.44/112.56 c | 25128 | 13585 56211 168104 | 2147483647 25112 26 | 1.836 % |
113.24/113.32 c | 25384 | 13585 56211 168104 | 2147483647 25368 26 | 1.835 % |
114.54/114.61 c | 25665 | 13585 56211 168104 | 2147483647 25649 26 | 1.835 % |
116.24/116.34 c | 25975 | 13585 56211 168104 | 2147483647 25959 26 | 1.835 % |
118.14/118.30 c | 26315 | 13585 56211 168104 | 2147483647 26299 26 | 1.835 % |
119.93/120.07 c | 26688 | 13585 56211 168104 | 2147483647 26672 26 | 1.835 % |
121.73/121.86 c | 27097 | 13585 56211 168104 | 2147483647 27081 26 | 1.835 % |
124.14/124.22 c | 27548 | 13585 56211 168104 | 2147483647 27532 26 | 1.835 % |
124.53/124.64 c | 27648 | 13585 56211 168104 | 2147483647 27632 26 | 1.835 % |
125.14/125.22 c | 27759 | 13585 56211 168104 | 2147483647 27743 26 | 1.835 % |
125.74/125.86 c | 27881 | 13585 56211 168104 | 2147483647 27865 26 | 1.835 % |
126.35/126.43 c | 28014 | 13585 56211 168104 | 2147483647 27998 26 | 1.836 % |
127.14/127.27 c | 28162 | 13585 56211 168104 | 2147483647 28146 26 | 1.835 % |
127.94/128.03 c | 28323 | 13585 56211 168104 | 2147483647 28307 26 | 1.835 % |
128.94/129.06 c | 28499 | 13585 56211 168104 | 2147483647 28483 26 | 1.835 % |
129.84/129.94 c | 28692 | 13585 56211 168104 | 2147483647 28676 26 | 1.835 % |
130.94/131.04 c | 28904 | 13585 56211 168104 | 2147483647 28888 26 | 1.835 % |
132.04/132.17 c | 29137 | 13585 56211 168104 | 2147483647 29121 26 | 1.835 % |
133.44/133.55 c | 29394 | 13585 56211 168104 | 2147483647 29378 26 | 1.835 % |
134.54/134.67 c | 29675 | 13585 56211 168104 | 2147483647 29659 26 | 1.835 % |
136.14/136.24 c | 29985 | 13585 56211 168104 | 2147483647 29969 26 | 1.835 % |
138.04/138.11 c | 30324 | 13585 56211 168104 | 2147483647 30308 26 | 1.835 % |
139.93/140.06 c | 30696 | 13585 56211 168104 | 2147483647 30680 26 | 1.835 % |
141.74/141.88 c | 31105 | 13585 56211 168104 | 2147483647 31089 26 | 1.835 % |
143.94/144.09 c | 31554 | 13585 56211 168104 | 2147483647 31538 26 | 1.835 % |
146.63/146.80 c | 32048 | 13585 56211 168104 | 2147483647 32032 26 | 1.835 % |
147.24/147.30 c | 32148 | 13585 56211 168104 | 2147483647 32132 26 | 1.835 % |
147.34/147.48 c | 32258 | 13585 56211 168104 | 2147483647 32242 26 | 1.835 % |
148.03/148.10 c | 32379 | 13585 56211 168104 | 2147483647 32363 26 | 1.835 % |
148.53/148.63 c | 32513 | 13585 56211 168104 | 2147483647 32497 26 | 1.835 % |
149.44/149.51 c | 32659 | 13585 56211 168104 | 2147483647 32643 26 | 1.835 % |
150.33/150.42 c | 32820 | 13585 56211 168104 | 2147483647 32804 26 | 1.835 % |
151.03/151.10 c | 32997 | 13585 56211 168104 | 2147483647 32981 26 | 1.836 % |
151.93/152.06 c | 33190 | 13585 56211 168104 | 2147483647 33174 26 | 1.835 % |
152.93/153.04 c | 33403 | 13585 56211 168104 | 2147483647 33387 26 | 1.835 % |
154.23/154.36 c | 33637 | 13585 56211 168104 | 2147483647 33621 26 | 1.835 % |
154.83/154.96 c | 33893 | 13585 56211 168104 | 2147483647 33877 26 | 1.835 % |
156.23/156.35 c | 34174 | 13585 56211 168104 | 2147483647 34158 26 | 1.835 % |
158.03/158.15 c | 34484 | 13585 56211 168104 | 2147483647 34468 26 | 1.835 % |
160.03/160.14 c | 34825 | 13585 56211 168104 | 2147483647 34809 26 | 1.836 % |
162.13/162.22 c | 35198 | 13585 56211 168104 | 2147483647 35182 26 | 1.835 % |
164.33/164.43 c | 35609 | 13585 56211 168104 | 2147483647 35593 26 | 1.836 % |
166.42/166.51 c | 36059 | 13585 56211 168104 | 2147483647 36043 26 | 1.835 % |
169.02/169.16 c | 36553 | 13585 56211 168104 | 2147483647 36537 26 | 1.835 % |
172.32/172.46 c | 37096 | 13585 56211 168104 | 2147483647 37080 26 | 1.835 % |
172.82/172.93 c | 37198 | 13585 56211 168104 | 2147483647 37182 26 | 1.835 % |
173.52/173.65 c | 37308 | 13585 56211 168104 | 2147483647 37292 26 | 1.835 % |
174.02/174.19 c | 37429 | 13585 56211 168104 | 2147483647 37413 26 | 1.835 % |
174.83/174.94 c | 37563 | 13585 56211 168104 | 2147483647 37547 26 | 1.835 % |
175.72/175.83 c | 37709 | 13585 56211 168104 | 2147483647 37693 26 | 1.835 % |
176.72/176.86 c | 37870 | 13585 56211 168104 | 2147483647 37854 26 | 1.835 % |
177.72/177.87 c | 38046 | 13585 56211 168104 | 2147483647 38030 26 | 1.835 % |
178.92/179.01 c | 38240 | 13585 56211 168104 | 2147483647 38224 26 | 1.835 % |
180.12/180.25 c | 38452 | 13585 56211 168104 | 2147483647 38436 26 | 1.835 % |
181.42/181.59 c | 38685 | 13585 56211 168104 | 2147483647 38669 26 | 1.835 % |
182.92/183.08 c | 38941 | 13585 56211 168104 | 2147483647 38925 26 | 1.836 % |
184.22/184.36 c | 39222 | 13585 56211 168104 | 2147483647 39206 26 | 1.835 % |
186.02/186.16 c | 39532 | 13585 56211 168104 | 2147483647 39516 26 | 1.835 % |
188.02/188.10 c | 39872 | 13585 56211 168104 | 2147483647 39856 26 | 1.835 % |
189.62/189.78 c | 40244 | 13585 56211 168104 | 2147483647 40228 26 | 1.835 % |
191.82/192.00 c | 40654 | 13585 56211 168104 | 2147483647 40638 26 | 1.835 % |
194.22/194.32 c | 41105 | 13585 56211 168104 | 2147483647 41089 26 | 1.835 % |
196.42/196.55 c | 41598 | 13585 56211 168104 | 2147483647 41582 26 | 1.835 % |
199.12/199.25 c | 42141 | 13585 56211 168104 | 2147483647 42125 26 | 1.835 % |
202.02/202.14 c | 42737 | 13585 56211 168104 | 2147483647 42721 26 | 1.835 % |
202.62/202.72 c | 42837 | 13585 56211 168104 | 2147483647 42821 26 | 1.836 % |
203.12/203.25 c | 42947 | 13585 56211 168104 | 2147483647 42931 26 | 1.835 % |
203.52/203.65 c | 43068 | 13585 56211 168104 | 2147483647 43052 26 | 1.835 % |
204.12/204.25 c | 43202 | 13585 56211 168104 | 2147483647 43186 26 | 1.835 % |
204.82/204.96 c | 43348 | 13585 56211 168104 | 2147483647 43332 26 | 1.835 % |
205.72/205.87 c | 43508 | 13585 56211 168104 | 2147483647 43492 26 | 1.835 % |
206.92/207.01 c | 43685 | 13585 56211 168104 | 2147483647 43669 26 | 1.835 % |
208.02/208.16 c | 43878 | 13585 56211 168104 | 2147483647 43862 26 | 1.835 % |
209.22/209.34 c | 44091 | 13585 56211 168104 | 2147483647 44075 26 | 1.836 % |
210.42/210.55 c | 44325 | 13585 56211 168104 | 2147483647 44309 26 | 1.835 % |
211.72/211.81 c | 44582 | 13585 56211 168104 | 2147483647 44566 26 | 1.836 % |
212.91/213.03 c | 44864 | 13585 56211 168104 | 2147483647 44848 26 | 1.835 % |
214.32/214.42 c | 45174 | 13585 56211 168104 | 2147483647 45158 26 | 1.836 % |
216.21/216.39 c | 45513 | 13585 56211 168104 | 2147483647 45497 26 | 1.835 % |
218.11/218.24 c | 45885 | 13585 56211 168104 | 2147483647 45869 26 | 1.835 % |
220.11/220.20 c | 46295 | 13585 56211 168104 | 2147483647 46279 26 | 1.835 % |
222.41/222.54 c | 46744 | 13585 56211 168104 | 2147483647 46728 26 | 1.835 % |
225.41/225.57 c | 47237 | 13585 56211 168104 | 2147483647 47221 26 | 1.835 % |
228.51/228.67 c | 47780 | 13585 56211 168104 | 2147483647 47764 26 | 1.835 % |
232.40/232.54 c | 48379 | 13585 56211 168104 | 2147483647 48363 26 | 1.835 % |
235.90/236.04 c | 49035 | 13585 56211 168104 | 2147483647 49019 26 | 1.835 % |
236.41/236.59 c | 49135 | 13585 56211 168104 | 2147483647 49119 26 | 1.835 % |
237.21/237.35 c | 49245 | 13585 56211 168104 | 2147483647 49229 26 | 1.835 % |
237.90/238.09 c | 49367 | 13585 56211 168104 | 2147483647 49351 26 | 1.835 % |
238.80/238.97 c | 49500 | 13585 56211 168104 | 2147483647 49484 26 | 1.835 % |
239.61/239.73 c | 49646 | 13585 56211 168104 | 2147483647 49630 26 | 1.835 % |
240.40/240.59 c | 49807 | 13585 56211 168104 | 2147483647 49791 26 | 1.835 % |
241.30/241.46 c | 49983 | 13585 56211 168104 | 2147483647 49967 26 | 1.835 % |
242.30/242.50 c | 50176 | 13585 56211 168104 | 2147483647 50160 26 | 1.835 % |
243.71/243.83 c | 50390 | 13585 56211 168104 | 2147483647 50374 26 | 1.835 % |
244.81/244.97 c | 50623 | 13585 56211 168104 | 2147483647 50607 26 | 1.835 % |
246.31/246.47 c | 50879 | 13585 56211 168104 | 2147483647 50863 26 | 1.835 % |
248.01/248.20 c | 51160 | 13585 56211 168104 | 2147483647 51144 26 | 1.835 % |
250.11/250.26 c | 51469 | 13585 56211 168104 | 2147483647 51453 26 | 1.835 % |
252.20/252.36 c | 51809 | 13585 56211 168104 | 2147483647 51793 26 | 1.835 % |
254.20/254.35 c | 52181 | 13585 56211 168104 | 2147483647 52165 26 | 1.836 % |
256.50/256.69 c | 52590 | 13585 56211 168104 | 2147483647 52574 26 | 1.835 % |
259.00/259.15 c | 53039 | 13585 56211 168104 | 2147483647 53023 26 | 1.835 % |
262.20/262.33 c | 53532 | 13585 56211 168104 | 2147483647 53516 26 | 1.835 % |
265.60/265.75 c | 54074 | 13585 56211 168104 | 2147483647 54058 26 | 1.835 % |
269.60/269.70 c | 54671 | 13585 56211 168104 | 2147483647 54655 26 | 1.835 % |
273.70/273.88 c | 55326 | 13585 56211 168104 | 2147483647 55310 26 | 1.835 % |
278.59/278.75 c | 56046 | 13585 56211 168104 | 2147483647 56030 26 | 1.835 % |
278.99/279.18 c | 56148 | 13585 56211 168104 | 2147483647 56132 26 | 1.835 % |
279.69/279.81 c | 56259 | 13585 56211 168104 | 2147483647 56243 26 | 1.835 % |
280.40/280.50 c | 56381 | 13585 56211 168104 | 2147483647 56365 26 | 1.836 % |
281.09/281.20 c | 56514 | 13585 56211 168104 | 2147483647 56498 26 | 1.835 % |
281.89/282.02 c | 56662 | 13585 56211 168104 | 2147483647 56646 26 | 1.835 % |
282.99/283.11 c | 56823 | 13585 56211 168104 | 2147483647 56807 26 | 1.836 % |
283.99/284.14 c | 57000 | 13585 56211 168104 | 2147483647 56984 26 | 1.835 % |
285.19/285.32 c | 57194 | 13585 56211 168104 | 2147483647 57178 26 | 1.836 % |
286.39/286.50 c | 57406 | 13585 56211 168104 | 2147483647 57390 26 | 1.836 % |
287.69/287.86 c | 57641 | 13585 56211 168104 | 2147483647 57625 26 | 1.835 % |
289.09/289.20 c | 57897 | 13585 56211 168104 | 2147483647 57881 26 | 1.835 % |
290.69/290.88 c | 58179 | 13585 56211 168104 | 2147483647 58163 26 | 1.835 % |
292.89/293.07 c | 58489 | 13585 56211 168104 | 2147483647 58473 26 | 1.835 % |
295.19/295.32 c | 58831 | 13585 56211 168104 | 2147483647 58815 26 | 1.835 % |
297.49/297.63 c | 59203 | 13585 56211 168104 | 2147483647 59187 26 | 1.835 % |
300.09/300.25 c | 59613 | 13585 56211 168104 | 2147483647 59597 26 | 1.835 % |
302.79/302.92 c | 60062 | 13585 56211 168104 | 2147483647 60046 26 | 1.835 % |
305.49/305.65 c | 60556 | 13585 56211 168104 | 2147483647 60540 26 | 1.835 % |
308.90/309.04 c | 61099 | 13585 56211 168104 | 2147483647 61083 26 | 1.835 % |
312.49/312.67 c | 61695 | 13585 56211 168104 | 2147483647 61679 26 | 1.835 % |
316.29/316.43 c | 62350 | 13585 56211 168104 | 2147483647 62334 26 | 1.835 % |
319.19/319.38 c | 63071 | 13585 56211 168104 | 2147483647 63055 26 | 1.835 % |
323.79/323.97 c | 63863 | 13585 56211 168104 | 2147483647 63847 26 | 1.835 % |
324.49/324.60 c | 63963 | 13585 56211 168104 | 2147483647 63947 26 | 1.835 % |
325.19/325.35 c | 64073 | 13585 56211 168104 | 2147483647 64057 26 | 1.836 % |
325.99/326.18 c | 64195 | 13585 56211 168104 | 2147483647 64179 26 | 1.836 % |
326.89/327.00 c | 64330 | 13585 56211 168104 | 2147483647 64314 26 | 1.835 % |
327.79/327.95 c | 64476 | 13585 56211 168104 | 2147483647 64460 26 | 1.835 % |
328.89/329.01 c | 64637 | 13585 56211 168104 | 2147483647 64621 26 | 1.835 % |
329.79/329.99 c | 64814 | 13585 56211 168104 | 2147483647 64798 26 | 1.835 % |
331.18/331.32 c | 65010 | 13585 56211 168104 | 2147483647 64994 26 | 1.835 % |
332.58/332.76 c | 65222 | 13585 56211 168104 | 2147483647 65206 26 | 1.835 % |
334.19/334.38 c | 65456 | 13585 56211 168104 | 2147483647 65440 26 | 1.836 % |
335.88/336.07 c | 65714 | 13585 56211 168104 | 2147483647 65698 26 | 1.835 % |
337.59/337.76 c | 65995 | 13585 56211 168104 | 2147483647 65979 26 | 1.835 % |
339.58/339.78 c | 66305 | 13585 56211 168104 | 2147483647 66289 26 | 1.835 % |
341.48/341.64 c | 66645 | 13585 56211 168104 | 2147483647 66629 26 | 1.835 % |
343.98/344.11 c | 67017 | 13585 56211 168104 | 2147483647 67001 26 | 1.836 % |
346.88/347.00 c | 67426 | 13585 56211 168104 | 2147483647 67410 26 | 1.835 % |
349.68/349.84 c | 67876 | 13585 56211 168104 | 2147483647 67860 26 | 1.835 % |
352.98/353.11 c | 68370 | 13585 56211 168104 | 2147483647 68354 26 | 1.835 % |
356.68/356.80 c | 68913 | 13585 56211 168104 | 2147483647 68897 26 | 1.835 % |
360.37/360.55 c | 69509 | 13585 56211 168104 | 2147483647 69493 26 | 1.835 % |
363.98/364.18 c | 70164 | 13585 56211 168104 | 2147483647 70148 26 | 1.836 % |
368.67/368.80 c | 70885 | 13585 56211 168104 | 2147483647 70869 26 | 1.836 % |
373.57/373.79 c | 71678 | 13585 56211 168104 | 2147483647 71662 26 | 1.836 % |
379.47/379.63 c | 72549 | 13585 56211 168104 | 2147483647 72533 26 | 1.835 % |
380.17/380.32 c | 72651 | 13585 56211 168104 | 2147483647 72635 26 | 1.835 % |
380.97/381.14 c | 72761 | 13585 56211 168104 | 2147483647 72745 26 | 1.836 % |
381.67/381.87 c | 72882 | 13585 56211 168104 | 2147483647 72866 26 | 1.836 % |
382.67/382.86 c | 73016 | 13585 56211 168104 | 2147483647 73000 26 | 1.835 % |
383.77/383.91 c | 73162 | 13585 56211 168104 | 2147483647 73146 26 | 1.835 % |
384.77/384.98 c | 73322 | 13585 56211 168104 | 2147483647 73306 26 | 1.835 % |
385.97/386.15 c | 73498 | 13585 56211 168104 | 2147483647 73482 26 | 1.835 % |
387.37/387.55 c | 73693 | 13585 56211 168104 | 2147483647 73677 26 | 1.836 % |
388.87/389.05 c | 73905 | 13585 56211 168104 | 2147483647 73889 26 | 1.835 % |
390.56/390.78 c | 74138 | 13585 56211 168104 | 2147483647 74122 26 | 1.835 % |
392.47/392.62 c | 74394 | 13585 56211 168104 | 2147483647 74378 26 | 1.835 % |
394.36/394.57 c | 74675 | 13585 56211 168104 | 2147483647 74659 26 | 1.835 % |
396.26/396.44 c | 74988 | 13585 56211 168104 | 2147483647 74972 26 | 1.835 % |
398.46/398.64 c | 75328 | 13585 56211 168104 | 2147483647 75312 26 | 1.835 % |
400.46/400.63 c | 75701 | 13585 56211 168104 | 2147483647 75685 26 | 1.835 % |
403.26/403.45 c | 76110 | 13585 56211 168104 | 2147483647 76094 26 | 1.835 % |
405.46/405.67 c | 76559 | 13585 56211 168104 | 2147483647 76543 26 | 1.835 % |
408.36/408.57 c | 77053 | 13585 56211 168104 | 2147483647 77037 26 | 1.835 % |
412.06/412.25 c | 77598 | 13585 56211 168104 | 2147483647 77582 26 | 1.835 % |
415.96/416.11 c | 78195 | 13585 56211 168104 | 2147483647 78179 26 | 1.835 % |
419.45/419.65 c | 78851 | 13585 56211 168104 | 2147483647 78835 26 | 1.835 % |
424.66/424.89 c | 79571 | 13585 56211 168104 | 2147483647 79555 26 | 1.836 % |
430.46/430.64 c | 80363 | 13585 56211 168104 | 2147483647 80347 26 | 1.835 % |
436.36/436.55 c | 81234 | 13585 56211 168104 | 2147483647 81218 26 | 1.836 % |
443.06/443.28 c | 82192 | 13585 56211 168104 | 2147483647 82176 26 | 1.835 % |
443.85/444.02 c | 82292 | 13585 56211 168104 | 2147483647 82276 26 | 1.835 % |
444.45/444.69 c | 82402 | 13585 56211 168104 | 2147483647 82386 26 | 1.835 % |
445.15/445.34 c | 82523 | 13585 56211 168104 | 2147483647 82507 26 | 1.835 % |
446.15/446.30 c | 82656 | 13585 56211 168104 | 2147483647 82640 26 | 1.835 % |
447.05/447.23 c | 82802 | 13585 56211 168104 | 2147483647 82786 26 | 1.835 % |
448.05/448.28 c | 82963 | 13585 56211 168104 | 2147483647 82947 26 | 1.835 % |
449.45/449.61 c | 83139 | 13585 56211 168104 | 2147483647 83123 26 | 1.836 % |
450.25/450.49 c | 83332 | 13585 56211 168104 | 2147483647 83316 26 | 1.835 % |
451.65/451.87 c | 83544 | 13585 56211 168104 | 2147483647 83528 26 | 1.835 % |
453.25/453.47 c | 83779 | 13585 56211 168104 | 2147483647 83763 26 | 1.836 % |
455.15/455.35 c | 84036 | 13585 56211 168104 | 2147483647 84020 26 | 1.836 % |
457.15/457.30 c | 84317 | 13585 56211 168104 | 2147483647 84301 26 | 1.835 % |
459.25/459.46 c | 84626 | 13585 56211 168104 | 2147483647 84610 26 | 1.835 % |
461.85/462.01 c | 84966 | 13585 56211 168104 | 2147483647 84950 26 | 1.835 % |
464.35/464.53 c | 85340 | 13585 56211 168104 | 2147483647 85324 26 | 1.835 % |
467.04/467.27 c | 85749 | 13585 56211 168104 | 2147483647 85733 26 | 1.835 % |
470.04/470.22 c | 86198 | 13585 56211 168104 | 2147483647 86182 26 | 1.835 % |
473.64/473.80 c | 86691 | 13585 56211 168104 | 2147483647 86675 26 | 1.835 % |
477.44/477.63 c | 87234 | 13585 56211 168104 | 2147483647 87218 26 | 1.835 % |
481.64/481.84 c | 87831 | 13585 56211 168104 | 2147483647 87815 26 | 1.835 % |
486.64/486.83 c | 88487 | 13585 56211 168104 | 2147483647 88471 26 | 1.836 % |
489.74/489.99 c | 89207 | 13585 56211 168104 | 2147483647 89191 26 | 1.835 % |
495.14/495.30 c | 89999 | 13585 56211 168104 | 2147483647 89983 26 | 1.835 % |
500.84/501.05 c | 90871 | 13585 56211 168104 | 2147483647 90855 26 | 1.835 % |
508.34/508.58 c | 91829 | 13585 56211 168104 | 2147483647 91813 26 | 1.835 % |
514.34/514.52 c | 92882 | 13585 56211 168104 | 2147483647 92866 26 | 1.835 % |
515.04/515.20 c | 92982 | 13585 56211 168104 | 2147483647 92966 26 | 1.835 % |
515.94/516.12 c | 93092 | 13585 56211 168104 | 2147483647 93076 26 | 1.835 % |
516.94/517.15 c | 93213 | 13585 56211 168104 | 2147483647 93197 26 | 1.835 % |
517.94/518.16 c | 93347 | 13585 56211 168104 | 2147483647 93331 26 | 1.835 % |
518.94/519.16 c | 93494 | 13585 56211 168104 | 2147483647 93478 26 | 1.835 % |
520.04/520.22 c | 93654 | 13585 56211 168104 | 2147483647 93638 26 | 1.835 % |
521.33/521.60 c | 93830 | 13585 56211 168104 | 2147483647 93814 26 | 1.835 % |
522.73/522.95 c | 94023 | 13585 56211 168104 | 2147483647 94007 26 | 1.835 % |
524.44/524.62 c | 94235 | 13585 56211 168104 | 2147483647 94219 26 | 1.835 % |
526.03/526.20 c | 94468 | 13585 56211 168104 | 2147483647 94452 26 | 1.835 % |
528.13/528.30 c | 94724 | 13585 56211 168104 | 2147483647 94708 26 | 1.836 % |
530.13/530.36 c | 95006 | 13585 56211 168104 | 2147483647 94990 26 | 1.836 % |
532.13/532.34 c | 95315 | 13585 56211 168104 | 2147483647 95299 26 | 1.835 % |
534.73/534.97 c | 95655 | 13585 56211 168104 | 2147483647 95639 26 | 1.835 % |
537.43/537.65 c | 96027 | 13585 56211 168104 | 2147483647 96011 26 | 1.835 % |
540.33/540.53 c | 96437 | 13585 56211 168104 | 2147483647 96421 26 | 1.835 % |
543.43/543.62 c | 96887 | 13585 56211 168104 | 2147483647 96871 26 | 1.835 % |
547.33/547.54 c | 97380 | 13585 56211 168104 | 2147483647 97364 26 | 1.836 % |
551.52/551.79 c | 97922 | 13585 56211 168104 | 2147483647 97906 26 | 1.835 % |
556.12/556.33 c | 98518 | 13585 56211 168104 | 2147483647 98502 26 | 1.835 % |
561.22/561.47 c | 99174 | 13585 56211 168104 | 2147483647 99158 26 | 1.835 % |
566.62/566.88 c | 99894 | 13585 56211 168104 | 2147483647 99878 26 | 1.835 % |
572.52/572.74 c | 100687 | 13585 56211 168104 | 2147483647 100671 26 | 1.836 % |
579.01/579.27 c | 101558 | 13585 56211 168104 | 2147483647 101542 26 | 1.835 % |
586.42/586.67 c | 102517 | 13585 56211 168104 | 2147483647 102501 26 | 1.835 % |
594.42/594.62 c | 103570 | 13585 56211 168104 | 2147483647 103554 26 | 1.835 % |
603.21/603.41 c | 104729 | 13585 56211 168104 | 2147483647 104713 26 | 1.835 % |
603.91/604.16 c | 104829 | 13585 56211 168104 | 2147483647 104813 26 | 1.836 % |
604.82/605.01 c | 104942 | 13585 56211 168104 | 2147483647 104926 26 | 1.835 % |
605.71/605.91 c | 105063 | 13585 56211 168104 | 2147483647 105047 26 | 1.835 % |
606.61/606.81 c | 105197 | 13585 56211 168104 | 2147483647 105181 26 | 1.835 % |
607.51/607.70 c | 105344 | 13585 56211 168104 | 2147483647 105328 26 | 1.835 % |
608.51/608.73 c | 105504 | 13585 56211 168104 | 2147483647 105488 26 | 1.836 % |
609.91/610.15 c | 105681 | 13585 56211 168104 | 2147483647 105665 26 | 1.835 % |
611.31/611.53 c | 105874 | 13585 56211 168104 | 2147483647 105858 26 | 1.836 % |
612.71/612.96 c | 106086 | 13585 56211 168104 | 2147483647 106070 26 | 1.835 % |
614.31/614.51 c | 106320 | 13585 56211 168104 | 2147483647 106304 26 | 1.835 % |
615.91/616.15 c | 106576 | 13585 56211 168104 | 2147483647 106560 26 | 1.836 % |
617.61/617.83 c | 106857 | 13585 56211 168104 | 2147483647 106841 26 | 1.835 % |
619.91/620.19 c | 107166 | 13585 56211 168104 | 2147483647 107150 26 | 1.835 % |
622.11/622.36 c | 107506 | 13585 56211 168104 | 2147483647 107490 26 | 1.835 % |
624.51/624.74 c | 107879 | 13585 56211 168104 | 2147483647 107863 26 | 1.835 % |
627.40/627.61 c | 108288 | 13585 56211 168104 | 2147483647 108272 26 | 1.836 % |
630.70/631.00 c | 108738 | 13585 56211 168104 | 2147483647 108722 26 | 1.835 % |
634.00/634.26 c | 109232 | 13585 56211 168104 | 2147483647 109216 26 | 1.835 % |
637.50/637.71 c | 109775 | 13585 56211 168104 | 2147483647 109759 26 | 1.835 % |
641.30/641.56 c | 110373 | 13585 56211 168104 | 2147483647 110357 26 | 1.835 % |
646.10/646.34 c | 111030 | 13585 56211 168104 | 2147483647 111014 26 | 1.835 % |
652.29/652.50 c | 111751 | 13585 56211 168104 | 2147483647 111735 26 | 1.835 % |
658.80/659.08 c | 112544 | 13585 56211 168104 | 2147483647 112528 26 | 1.835 % |
666.00/666.21 c | 113415 | 13585 56211 168104 | 2147483647 113399 26 | 1.835 % |
673.10/673.36 c | 114373 | 13585 56211 168104 | 2147483647 114357 26 | 1.835 % |
678.50/678.74 c | 115426 | 13585 56211 168104 | 2147483647 115410 26 | 1.835 % |
682.99/683.24 c | 116585 | 13585 56211 168104 | 2147483647 116569 26 | 1.835 % |
693.19/693.44 c | 117858 | 13585 56211 168104 | 2147483647 117842 27 | 1.835 % |
693.89/694.11 c | 117959 | 13585 56211 168104 | 2147483647 117943 27 | 1.836 % |
694.79/695.06 c | 118070 | 13585 56211 168104 | 2147483647 118054 27 | 1.835 % |
695.79/696.08 c | 118192 | 13585 56211 168104 | 2147483647 118176 27 | 1.835 % |
696.99/697.26 c | 118326 | 13585 56211 168104 | 2147483647 118310 27 | 1.835 % |
698.29/698.56 c | 118473 | 13585 56211 168104 | 2147483647 118457 27 | 1.835 % |
699.58/699.82 c | 118634 | 13585 56211 168104 | 2147483647 118618 27 | 1.835 % |
700.78/701.06 c | 118810 | 13585 56211 168104 | 2147483647 118794 27 | 1.835 % |
702.48/702.76 c | 119005 | 13585 56211 168104 | 2147483647 118989 27 | 1.835 % |
704.28/704.51 c | 119218 | 13585 56211 168104 | 2147483647 119202 27 | 1.835 % |
706.08/706.35 c | 119451 | 13585 56211 168104 | 2147483647 119435 27 | 1.835 % |
708.28/708.50 c | 119709 | 13585 56211 168104 | 2147483647 119693 27 | 1.835 % |
710.48/710.76 c | 119991 | 13585 56211 168104 | 2147483647 119975 26 | 1.835 % |
712.48/712.71 c | 120302 | 13585 56211 168104 | 2147483647 120286 26 | 1.835 % |
715.18/715.44 c | 120641 | 13585 56211 168104 | 2147483647 120625 27 | 1.835 % |
718.08/718.32 c | 121014 | 13585 56211 168104 | 2147483647 120998 27 | 1.835 % |
721.38/721.62 c | 121424 | 13585 56211 168104 | 2147483647 121408 26 | 1.835 % |
724.98/725.25 c | 121874 | 13585 56211 168104 | 2147483647 121858 26 | 1.835 % |
729.38/729.69 c | 122368 | 13585 56211 168104 | 2147483647 122352 26 | 1.835 % |
734.08/734.39 c | 122911 | 13585 56211 168104 | 2147483647 122895 26 | 1.835 % |
739.18/739.45 c | 123508 | 13585 56211 168104 | 2147483647 123492 26 | 1.836 % |
743.48/743.77 c | 124163 | 13585 56211 168104 | 2147483647 124147 27 | 1.836 % |
749.68/749.93 c | 124883 | 13585 56211 168104 | 2147483647 124867 27 | 1.835 % |
756.48/756.72 c | 125676 | 13585 56211 168104 | 2147483647 125660 26 | 1.835 % |
763.67/763.94 c | 126547 | 13585 56211 168104 | 2147483647 126531 26 | 1.835 % |
771.36/771.70 c | 127505 | 13585 56211 168104 | 2147483647 127489 26 | 1.835 % |
779.76/780.05 c | 128558 | 13585 56211 168104 | 2147483647 128542 26 | 1.835 % |
788.66/788.99 c | 129717 | 13585 56211 168104 | 2147483647 129701 26 | 1.835 % |
799.26/799.54 c | 130992 | 13585 56211 168104 | 2147483647 130976 26 | 1.835 % |
810.85/811.14 c | 132392 | 13585 56211 168104 | 2147483647 132376 26 | 1.836 % |
811.65/811.99 c | 132493 | 13585 56211 168104 | 2147483647 132477 26 | 1.835 % |
812.75/813.02 c | 132604 | 13585 56211 168104 | 2147483647 132588 26 | 1.836 % |
813.76/814.05 c | 132726 | 13585 56211 168104 | 2147483647 132710 26 | 1.836 % |
814.95/815.22 c | 132860 | 13585 56211 168104 | 2147483647 132844 26 | 1.835 % |
816.15/816.45 c | 133007 | 13585 56211 168104 | 2147483647 132991 26 | 1.835 % |
817.55/817.87 c | 133167 | 13585 56211 168104 | 2147483647 133151 26 | 1.835 % |
819.06/819.31 c | 133343 | 13585 56211 168104 | 2147483647 133327 26 | 1.836 % |
820.66/820.93 c | 133536 | 13585 56211 168104 | 2147483647 133520 26 | 1.835 % |
822.66/822.91 c | 133748 | 13585 56211 168104 | 2147483647 133732 26 | 1.835 % |
824.56/824.81 c | 133982 | 13585 56211 168104 | 2147483647 133966 26 | 1.835 % |
826.66/826.92 c | 134240 | 13585 56211 168104 | 2147483647 134224 26 | 1.835 % |
829.06/829.31 c | 134522 | 13585 56211 168104 | 2147483647 134506 26 | 1.835 % |
831.36/831.67 c | 134831 | 13585 56211 168104 | 2147483647 134815 26 | 1.836 % |
834.25/834.55 c | 135170 | 13585 56211 168104 | 2147483647 135154 26 | 1.835 % |
837.45/837.73 c | 135542 | 13585 56211 168104 | 2147483647 135526 26 | 1.835 % |
840.75/841.01 c | 135951 | 13585 56211 168104 | 2147483647 135935 26 | 1.835 % |
844.55/844.87 c | 136400 | 13585 56211 168104 | 2147483647 136384 26 | 1.835 % |
848.45/848.71 c | 136893 | 13585 56211 168104 | 2147483647 136877 26 | 1.835 % |
852.35/852.68 c | 137435 | 13585 56211 168104 | 2147483647 137419 26 | 1.835 % |
857.05/857.39 c | 138031 | 13585 56211 168104 | 2147483647 138015 26 | 1.835 % |
861.24/861.58 c | 138687 | 13585 56211 168104 | 2147483647 138671 26 | 1.836 % |
867.55/867.85 c | 139408 | 13585 56211 168104 | 2147483647 139392 26 | 1.835 % |
874.25/874.54 c | 140201 | 13585 56211 168104 | 2147483647 140185 26 | 1.835 % |
880.74/881.05 c | 141073 | 13585 56211 168104 | 2147483647 141057 26 | 1.836 % |
888.64/888.92 c | 142032 | 13585 56211 168104 | 2147483647 142016 26 | 1.836 % |
897.13/897.42 c | 143085 | 13585 56211 168104 | 2147483647 143069 26 | 1.835 % |
905.93/906.29 c | 144243 | 13585 56211 168104 | 2147483647 144227 26 | 1.835 % |
916.03/916.33 c | 145516 | 13585 56211 168104 | 2147483647 145500 26 | 1.836 % |
927.92/928.23 c | 146918 | 13585 56211 168104 | 2147483647 146902 26 | 1.835 % |
941.02/941.37 c | 148458 | 13585 56211 168104 | 2147483647 148442 26 | 1.835 % |
941.92/942.25 c | 148558 | 13585 56211 168104 | 2147483647 148542 26 | 1.835 % |
943.02/943.31 c | 148668 | 13585 56211 168104 | 2147483647 148652 26 | 1.835 % |
944.12/944.41 c | 148790 | 13585 56211 168104 | 2147483647 148774 26 | 1.835 % |
945.22/945.55 c | 148923 | 13585 56211 168104 | 2147483647 148907 26 | 1.835 % |
946.32/946.68 c | 149069 | 13585 56211 168104 | 2147483647 149053 26 | 1.835 % |
947.72/948.05 c | 149229 | 13585 56211 168104 | 2147483647 149213 26 | 1.836 % |
949.31/949.68 c | 149406 | 13585 56211 168104 | 2147483647 149390 26 | 1.835 % |
950.91/951.24 c | 149599 | 13585 56211 168104 | 2147483647 149583 26 | 1.836 % |
952.61/952.91 c | 149811 | 13585 56211 168104 | 2147483647 149795 26 | 1.835 % |
954.52/954.85 c | 150044 | 13585 56211 168104 | 2147483647 150028 26 | 1.835 % |
956.51/956.82 c | 150301 | 13585 56211 168104 | 2147483647 150285 26 | 1.836 % |
959.01/959.30 c | 150582 | 13585 56211 168104 | 2147483647 150566 26 | 1.835 % |
961.61/961.97 c | 150892 | 13585 56211 168104 | 2147483647 150876 26 | 1.835 % |
964.51/964.84 c | 151231 | 13585 56211 168104 | 2147483647 151215 26 | 1.835 % |
967.52/967.85 c | 151604 | 13585 56211 168104 | 2147483647 151588 26 | 1.836 % |
970.82/971.15 c | 152013 | 13585 56211 168104 | 2147483647 151997 26 | 1.836 % |
974.72/975.00 c | 152463 | 13585 56211 168104 | 2147483647 152447 26 | 1.836 % |
977.92/978.26 c | 152956 | 13585 56211 168104 | 2147483647 152940 26 | 1.835 % |
982.22/982.57 c | 153498 | 13585 56211 168104 | 2147483647 153482 26 | 1.835 % |
988.01/988.35 c | 154094 | 13585 56211 168104 | 2147483647 154078 26 | 1.835 % |
994.12/994.50 c | 154749 | 13585 56211 168104 | 2147483647 154733 26 | 1.835 % |
1001.11/1001.42 c | 155471 | 13585 56211 168104 | 2147483647 155455 26 | 1.835 % |
1008.70/1009.06 c | 156263 | 13585 56211 168104 | 2147483647 156247 26 | 1.835 % |
1016.11/1016.49 c | 157135 | 13585 56211 168104 | 2147483647 157119 26 | 1.835 % |
1023.40/1023.73 c | 158093 | 13585 56211 168104 | 2147483647 158077 26 | 1.835 % |
1032.60/1032.97 c | 159146 | 13585 56211 168104 | 2147483647 159130 26 | 1.835 % |
1040.69/1041.00 c | 160304 | 13585 56211 168104 | 2147483647 160288 26 | 1.835 % |
1051.99/1052.40 c | 161578 | 13585 56211 168104 | 2147483647 161562 26 | 1.835 % |
1065.29/1065.64 c | 162979 | 13585 56211 168104 | 2147483647 162963 26 | 1.835 % |
1072.79/1073.12 c | 164524 | 13585 56211 168104 | 2147483647 164508 26 | 1.836 % |
1089.18/1089.51 c | 166219 | 13585 56211 168104 | 2147483647 166203 26 | 1.835 % |
1089.79/1090.16 c | 166321 | 13585 56211 168104 | 2147483647 166305 26 | 1.835 % |
1090.89/1091.23 c | 166431 | 13585 56211 168104 | 2147483647 166415 26 | 1.836 % |
1091.89/1092.25 c | 166552 | 13585 56211 168104 | 2147483647 166536 26 | 1.835 % |
1093.18/1093.55 c | 166686 | 13585 56211 168104 | 2147483647 166670 26 | 1.835 % |
1094.38/1094.76 c | 166832 | 13585 56211 168104 | 2147483647 166816 26 | 1.835 % |
1095.78/1096.13 c | 166993 | 13585 56211 168104 | 2147483647 166977 26 | 1.835 % |
1097.18/1097.50 c | 167169 | 13585 56211 168104 | 2147483647 167153 26 | 1.835 % |
1098.98/1099.31 c | 167363 | 13585 56211 168104 | 2147483647 167347 26 | 1.836 % |
1100.79/1101.15 c | 167575 | 13585 56211 168104 | 2147483647 167559 26 | 1.836 % |
1102.88/1103.26 c | 167809 | 13585 56211 168104 | 2147483647 167793 26 | 1.835 % |
1105.18/1105.52 c | 168066 | 13585 56211 168104 | 2147483647 168050 26 | 1.836 % |
1107.88/1108.26 c | 168348 | 13585 56211 168104 | 2147483647 168332 26 | 1.835 % |
1110.58/1111.00 c | 168657 | 13585 56211 168104 | 2147483647 168641 26 | 1.835 % |
1113.58/1113.97 c | 168998 | 13585 56211 168104 | 2147483647 168982 26 | 1.835 % |
1116.48/1116.86 c | 169371 | 13585 56211 168104 | 2147483647 169355 26 | 1.836 % |
1119.87/1120.25 c | 169780 | 13585 56211 168104 | 2147483647 169764 26 | 1.835 % |
1123.67/1124.00 c | 170230 | 13585 56211 168104 | 2147483647 170214 26 | 1.835 % |
1127.77/1128.14 c | 170724 | 13585 56211 168104 | 2147483647 170708 26 | 1.835 % |
1132.57/1132.97 c | 171266 | 13585 56211 168104 | 2147483647 171250 26 | 1.835 % |
1138.27/1138.62 c | 171862 | 13585 56211 168104 | 2147483647 171846 26 | 1.835 % |
1144.07/1144.43 c | 172518 | 13585 56211 168104 | 2147483647 172502 26 | 1.835 % |
1150.57/1150.94 c | 173238 | 13585 56211 168104 | 2147483647 173222 26 | 1.835 % |
1157.97/1158.36 c | 174030 | 13585 56211 168104 | 2147483647 174014 26 | 1.835 % |
1166.26/1166.66 c | 174901 | 13585 56211 168104 | 2147483647 174885 26 | 1.835 % |
1175.06/1175.41 c | 175860 | 13585 56211 168104 | 2147483647 175844 26 | 1.835 % |
1183.96/1184.31 c | 176914 | 13585 56211 168104 | 2147483647 176898 26 | 1.835 % |
1194.55/1194.94 c | 178072 | 13585 56211 168104 | 2147483647 178056 26 | 1.835 % |
1200.06/1200.41 HOME/SatELiteGTI: line 36: 25776 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833689-1242824514/watcher-1833689-1242824514 -o /tmp/evaluation-result-1833689-1242824514/solver-1833689-1242824514 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833689-1242824514.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.93 0.98 0.99 3/64 25770
/proc/meminfo: memFree=1729428/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=0
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 310483954 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 266134585426 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/25770/statm: 1339 235 195 169 0 50 0
[pid=25771] ppid=25770 vsize=5356 CPUtime=0
/proc/25771/stat : 25771 (SatELiteGTI) R 25770 25770 25591 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310483954 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/25771/statm: 1339 238 198 169 0 50 0
[pid=25773] ppid=25771 vsize=0 CPUtime=0
/proc/25773/stat : 25773 (sed) Z 25771 25770 25591 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310483954 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/25773/statm: 0 0 0 0 0 0 0
[startup+0.0308 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 25770
/proc/meminfo: memFree=1729428/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=0
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 310483954 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25770/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101807 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 25770
/proc/meminfo: memFree=1729428/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=0
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 310483954 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25770/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301828 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 25770
/proc/meminfo: memFree=1729428/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=0
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 310483954 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25770/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701873 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 25770
/proc/meminfo: memFree=1729428/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=0
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 310483954 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25770/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50197 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 25775
/proc/meminfo: memFree=1711364/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 5356
[startup+3.10114 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 25776
/proc/meminfo: memFree=1719236/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=5864 CPUtime=1.65
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 1301 0 0 0 165 0 0 0 25 0 1 0 310484097 6004736 1287 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 1466 1287 76 171 0 1293 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11220
[startup+6.30249 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 25776
/proc/meminfo: memFree=1718980/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=6000 CPUtime=4.84
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 1340 0 0 0 484 0 0 0 25 0 1 0 310484097 6144000 1326 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 1500 1326 76 171 0 1327 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 11356
[startup+12.7012 s]
/proc/loadavg: 0.94 0.98 0.99 2/66 25776
/proc/meminfo: memFree=1718724/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=6268 CPUtime=11.25
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 1415 0 0 0 1124 1 0 0 25 0 1 0 310484097 6418432 1401 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 1567 1401 76 171 0 1394 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 11624
[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 25776
/proc/meminfo: memFree=1718404/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=6800 CPUtime=24.04
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 1533 0 0 0 2403 1 0 0 25 0 1 0 310484097 6963200 1519 1992294400 134512640 135215339 4294956240 18446744073709551615 134525016 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 1700 1519 76 171 0 1527 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 12156
[startup+51.1014 s]
/proc/loadavg: 0.97 0.98 0.99 2/66 25776
/proc/meminfo: memFree=1717444/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=7724 CPUtime=49.63
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 1765 0 0 0 4962 1 0 0 25 0 1 0 310484097 7909376 1751 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 1931 1751 76 171 0 1758 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 13080
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 25776
/proc/meminfo: memFree=1715972/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=9220 CPUtime=100.83
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 2143 0 0 0 10081 2 0 0 25 0 1 0 310484097 9441280 2129 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 2305 2129 76 171 0 2132 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 14576
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25776
/proc/meminfo: memFree=1714052/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=11128 CPUtime=160.81
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 2611 0 0 0 16078 3 0 0 25 0 1 0 310484097 11395072 2597 1992294400 134512640 135215339 4294956240 18446744073709551615 134528860 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 2782 2597 76 171 0 2609 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 16484
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25776
/proc/meminfo: memFree=1712132/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=13004 CPUtime=220.79
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 3055 0 0 0 22075 4 0 0 25 0 1 0 310484097 13316096 3041 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 3251 3041 76 171 0 3078 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 18360
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25776
/proc/meminfo: memFree=1710660/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=14416 CPUtime=280.77
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 3416 0 0 0 28072 5 0 0 25 0 1 0 310484097 14761984 3402 1992294400 134512640 135215339 4294956240 18446744073709551615 134538556 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 3604 3402 76 171 0 3431 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 19772
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25776
/proc/meminfo: memFree=1709124/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=15944 CPUtime=340.76
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 3787 0 0 0 34070 6 0 0 25 0 1 0 310484097 16326656 3773 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 3986 3773 76 171 0 3813 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 21300
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25776
/proc/meminfo: memFree=1707844/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=17308 CPUtime=400.74
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 4105 0 0 0 40068 6 0 0 25 0 1 0 310484097 17723392 4091 1992294400 134512640 135215339 4294956240 18446744073709551615 134537989 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 4327 4091 76 171 0 4154 0
Current children cumulated CPU time (s) 402.16
################
# More data... #
################
[pid=25776] ppid=25770 vsize=18676 CPUtime=460.73
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 4450 0 0 0 46066 7 0 0 25 0 1 0 310484097 19124224 4436 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 4669 4436 76 171 0 4496 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 24032
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25776
/proc/meminfo: memFree=1704964/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=20240 CPUtime=520.71
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 4818 0 0 0 52063 8 0 0 25 0 1 0 310484097 20725760 4804 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 5060 4804 76 171 0 4887 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 25596
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25776
/proc/meminfo: memFree=1703812/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=21304 CPUtime=580.7
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 5083 0 0 0 58061 9 0 0 25 0 1 0 310484097 21815296 5069 1992294400 134512640 135215339 4294956240 18446744073709551615 134539267 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 5326 5069 76 171 0 5153 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 26660
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25776
/proc/meminfo: memFree=1702532/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=22620 CPUtime=640.68
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 5385 0 0 0 64059 9 0 0 25 0 1 0 310484097 23162880 5371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 5655 5371 76 171 0 5482 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 27976
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25776
/proc/meminfo: memFree=1700868/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=24124 CPUtime=700.66
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 5769 0 0 0 70056 10 0 0 25 0 1 0 310484097 24702976 5755 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 6031 5755 76 171 0 5858 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 29480
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25776
/proc/meminfo: memFree=1699652/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=25392 CPUtime=760.65
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 6052 0 0 0 76054 11 0 0 25 0 1 0 310484097 26001408 6038 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 6348 6038 76 171 0 6175 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 30748
[startup+822.301 s]
/proc/loadavg: 1.05 1.00 1.00 2/66 25776
/proc/meminfo: memFree=1698820/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=26052 CPUtime=820.64
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 6253 0 0 0 82052 12 0 0 25 0 1 0 310484097 26677248 6239 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 6513 6239 76 171 0 6340 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 31408
[startup+882.302 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 25776
/proc/meminfo: memFree=1697732/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=27364 CPUtime=880.62
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 6514 0 0 0 88050 12 0 0 25 0 1 0 310484097 28020736 6500 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 6841 6500 76 171 0 6668 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 32720
[startup+942.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 25776
/proc/meminfo: memFree=1696900/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=28340 CPUtime=940.6
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 6752 0 0 0 94048 12 0 0 25 0 1 0 310484097 29020160 6738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 7085 6738 76 171 0 6912 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 33696
[startup+1002.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/66 25776
/proc/meminfo: memFree=1695748/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=29364 CPUtime=1000.59
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 6996 0 0 0 100046 13 0 0 25 0 1 0 310484097 30068736 6982 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 7341 6982 76 171 0 7168 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 34720
[startup+1062.3 s]
/proc/loadavg: 1.12 1.04 1.01 2/66 25776
/proc/meminfo: memFree=1694404/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=30680 CPUtime=1060.57
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 7330 0 0 0 106043 14 0 0 25 0 1 0 310484097 31416320 7316 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 7670 7316 76 171 0 7497 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 36036
[startup+1122.3 s]
/proc/loadavg: 1.12 1.05 1.00 2/66 25776
/proc/meminfo: memFree=1693188/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=31916 CPUtime=1120.55
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 7620 0 0 0 112041 14 0 0 25 0 1 0 310484097 32681984 7606 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 7979 7606 76 171 0 7806 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 37272
[startup+1182.3 s]
/proc/loadavg: 1.11 1.05 1.00 2/66 25776
/proc/meminfo: memFree=1691908/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=33052 CPUtime=1180.54
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 7924 0 0 0 118039 15 0 0 25 0 1 0 310484097 33845248 7910 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 8263 7910 76 171 0 8090 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 38408
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.08 1.05 1.00 2/66 25776
/proc/meminfo: memFree=1691652/2055920 swapFree=4180356/4192956
[pid=25770] ppid=25768 vsize=5356 CPUtime=1.42
/proc/25770/stat : 25770 (SatELiteGTI) S 25768 25770 25591 0 -1 4194304 336 4727 0 0 0 0 138 4 16 0 1 0 310483954 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25770/statm: 1339 239 197 169 0 50 0
[pid=25776] ppid=25770 vsize=33364 CPUtime=1198.64
/proc/25776/stat : 25776 (minisat_static) R 25770 25770 25591 0 -1 4194304 7979 0 0 0 119849 15 0 0 25 0 1 0 310484097 34164736 7965 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25776/statm: 8341 7965 76 171 0 8168 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 38720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.41
CPU time (s): 1200.09
CPU user time (s): 1199.88
CPU system time (s): 0.205968
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 38720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.88
system time used= 0.205968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13051
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= 26
involuntary context switches= 1905
runsolver used 1.43378 second user time and 2.96055 second system time
The end
Begin job on node35 at 2009-05-20 15:01:54
IDJOB=1833689
IDBENCH=70873
IDSOLVER=671
FILE ID=node35/1833689-1242824514
PBS_JOBID= 9322540
Free space on /tmp= 66080 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-21-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833689-1242824514/watcher-1833689-1242824514 -o /tmp/evaluation-result-1833689-1242824514/solver-1833689-1242824514 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833689-1242824514.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d34c45eae853ce60c342643824196dbf
RANDOM SEED=2094142922
node35.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1729908 kB
Buffers: 45708 kB
Cached: 229164 kB
SwapCached: 6988 kB
Active: 155824 kB
Inactive: 128096 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1729908 kB
SwapTotal: 4192956 kB
SwapFree: 4180356 kB
Dirty: 3236 kB
Writeback: 0 kB
Mapped: 14084 kB
Slab: 28144 kB
Committed_AS: 1082752 kB
PageTables: 1400 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= 66072 MiB
End job on node35 at 2009-05-20 15:21:56