0.00/0.00 c Parsing...
0.03/0.09 c ==============================================================================
0.03/0.09 c | | ORIGINAL | LEARNT | |
0.03/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.03/0.09 c ==============================================================================
0.03/0.09 c | 0 | 97556 230314 | 29266 0 0 nan | 0.000 % |
1.22/1.29 c | 0 | 60741 181511 | -- 0 -- -- | -- | -36695/-48379
1.22/1.29 c ==============================================================================
1.22/1.29 c Result : #vars: 14617 #clauses: 60741 #literals: 181511
1.22/1.29 c CPU time: 1.25 s
1.22/1.29 c ==============================================================================
1.32/1.36 c This is MiniSat 2.0 beta
1.32/1.36 c WARNING: for repeatability, setting FPU to use double precision
1.32/1.36 c ============================[ Problem Statistics ]=============================
1.32/1.36 c | |
1.32/1.36 c | Number of variables: 14617 |
1.32/1.36 c | Number of clauses: 60741 |
1.32/1.41 c | Parsing time: 0.03 s |
1.37/1.41 c ============================[ Search Statistics ]==============================
1.37/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.37/1.41 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.37/1.41 c ===============================================================================
1.37/1.41 c | 0 | 14617 60741 181511 | 20247 0 nan | 0.000 % |
1.37/1.47 c | 100 | 14604 60741 181511 | 20247 95 56 | 1.827 % |
1.37/1.66 c | 201 | 14604 60741 181511 | 20247 196 63 | 1.827 % |
1.37/1.90 c | 301 | 14350 59320 177899 | 20247 289 56 | 1.827 % |
2.11/2.17 c | 413 | 14350 59320 177899 | 20247 401 53 | 1.827 % |
2.61/2.65 c | 514 | 14327 59193 177592 | 20247 501 50 | 1.984 % |
2.61/2.67 c | 626 | 14327 59193 177592 | 20247 613 49 | 1.984 % |
3.11/3.20 c | 747 | 14327 59193 177592 | 20247 734 53 | 1.984 % |
3.61/3.61 c | 848 | 14327 59193 177592 | 20247 835 52 | 1.984 % |
4.01/4.09 c | 958 | 14327 59193 177592 | 20247 945 49 | 1.984 % |
4.41/4.47 c | 1079 | 14327 59193 177592 | 20247 1066 48 | 1.984 % |
4.91/4.95 c | 1213 | 14327 59193 177592 | 20247 1200 47 | 1.984 % |
5.11/5.20 c | 1313 | 14327 59193 177592 | 20247 1300 47 | 1.984 % |
5.61/5.69 c | 1423 | 14327 59193 177592 | 20247 1410 47 | 1.984 % |
6.11/6.17 c | 1546 | 14327 59193 177592 | 20247 1533 46 | 1.984 % |
6.41/6.49 c | 1681 | 14327 59193 177592 | 20247 1668 47 | 1.984 % |
6.61/6.63 c | 1828 | 14327 59193 177592 | 20247 1815 49 | 1.984 % |
6.91/6.96 c | 1928 | 14327 59193 177592 | 20247 1915 49 | 1.984 % |
7.21/7.30 c | 2039 | 14327 59193 177592 | 20247 2026 49 | 1.984 % |
7.41/7.42 c | 2161 | 14327 59193 177592 | 20247 2148 49 | 1.984 % |
8.01/8.05 c | 2294 | 14327 59193 177592 | 20247 2281 51 | 1.984 % |
8.51/8.55 c | 2441 | 14327 59193 177592 | 20247 2428 49 | 1.984 % |
9.11/9.11 c | 2601 | 14327 59193 177592 | 20247 2588 49 | 1.984 % |
9.51/9.60 c | 2702 | 14327 59193 177592 | 20247 2689 49 | 1.984 % |
9.81/9.88 c | 2812 | 14327 59193 177592 | 20247 2799 49 | 1.984 % |
10.61/10.61 c | 2934 | 14327 59193 177592 | 20247 2921 48 | 1.984 % |
11.41/11.42 c | 3068 | 14327 59193 177592 | 20247 3055 48 | 1.984 % |
12.21/12.24 c | 3214 | 14327 59193 177592 | 20247 3201 47 | 1.984 % |
13.01/13.01 c | 3374 | 14327 59193 177592 | 20247 3361 47 | 1.984 % |
13.81/13.88 c | 3551 | 14327 59193 177592 | 20247 3538 47 | 1.984 % |
14.11/14.15 c | 3651 | 14327 59193 177592 | 20247 3638 47 | 1.984 % |
14.21/14.21 c | 3761 | 14327 59193 177592 | 20247 3748 47 | 1.984 % |
14.51/14.54 c | 3883 | 14327 59193 177592 | 20247 3870 47 | 1.984 % |
15.01/15.04 c | 4020 | 14327 59193 177592 | 20247 4007 48 | 1.984 % |
15.61/15.65 c | 4166 | 14327 59193 177592 | 20247 4153 48 | 1.984 % |
16.41/16.42 c | 4327 | 14327 59193 177592 | 20247 4314 47 | 1.984 % |
17.11/17.15 c | 4503 | 14327 59193 177592 | 20247 4490 47 | 1.984 % |
17.91/17.99 c | 4698 | 14327 59193 177592 | 20247 4685 46 | 1.984 % |
18.51/18.59 c | 4800 | 14327 59193 177592 | 20247 4787 46 | 1.984 % |
19.11/19.16 c | 4910 | 14327 59193 177592 | 20247 4897 46 | 1.984 % |
19.81/19.84 c | 5032 | 14327 59193 177592 | 20247 5019 45 | 1.984 % |
20.41/20.48 c | 5166 | 14327 59193 177592 | 20247 5153 45 | 1.984 % |
21.21/21.27 c | 5313 | 14327 59193 177592 | 20247 5300 45 | 1.984 % |
21.91/21.98 c | 5473 | 14327 59193 177592 | 20247 5460 45 | 1.984 % |
23.01/23.03 c | 5649 | 14327 59193 177592 | 20247 5636 45 | 1.984 % |
23.81/23.83 c | 5843 | 14327 59193 177592 | 20247 5830 45 | 1.984 % |
24.81/24.83 c | 6055 | 14327 59193 177592 | 20247 6042 44 | 1.984 % |
25.51/25.51 c | 6155 | 14327 59193 177592 | 20247 6142 44 | 1.984 % |
26.21/26.28 c | 6265 | 14327 59193 177592 | 20247 6252 44 | 1.984 % |
26.91/26.98 c | 6386 | 14327 59193 177592 | 20247 6373 44 | 1.984 % |
27.71/27.75 c | 6519 | 14327 59193 177592 | 20247 6506 44 | 1.984 % |
28.51/28.59 c | 6665 | 14327 59193 177592 | 20247 6652 43 | 1.984 % |
29.41/29.49 c | 6826 | 14327 59193 177592 | 20247 6813 43 | 1.984 % |
30.31/30.31 c | 7003 | 14327 59193 177592 | 20247 6990 43 | 1.984 % |
30.71/30.76 c | 7197 | 14327 59193 177592 | 20247 7184 44 | 1.984 % |
32.11/32.15 c | 7409 | 14327 59193 177592 | 20247 7396 44 | 1.984 % |
33.61/33.70 c | 7642 | 14327 59193 177592 | 20247 7629 43 | 1.984 % |
34.31/34.34 c | 7743 | 14327 59193 177592 | 20247 7730 43 | 1.984 % |
34.81/34.83 c | 7853 | 14327 59193 177592 | 20247 7840 43 | 1.984 % |
35.22/35.22 c | 7974 | 14327 59193 177592 | 20247 7961 43 | 1.984 % |
36.01/36.02 c | 8109 | 14327 59193 177592 | 20247 8096 43 | 1.984 % |
36.61/36.64 c | 8257 | 14327 59193 177592 | 20247 8244 43 | 1.984 % |
37.61/37.68 c | 8417 | 14327 59193 177592 | 20247 8404 43 | 1.984 % |
38.71/38.75 c | 8593 | 14327 59193 177592 | 20247 8580 43 | 1.984 % |
39.62/39.68 c | 8786 | 14327 59193 177592 | 20247 8773 43 | 1.984 % |
39.81/39.87 c | 8998 | 14327 59193 177592 | 20247 8985 44 | 1.984 % |
40.81/40.91 c | 9231 | 14327 59193 177592 | 20247 9218 44 | 1.984 % |
41.91/41.97 c | 9489 | 14327 59193 177592 | 20247 9476 44 | 1.984 % |
42.41/42.41 c | 9589 | 14327 59193 177592 | 20247 9576 44 | 1.984 % |
43.01/43.06 c | 9699 | 14327 59193 177592 | 20247 9686 44 | 1.984 % |
43.61/43.70 c | 9820 | 14327 59193 177592 | 20247 9807 44 | 1.984 % |
44.31/44.36 c | 9955 | 14327 59193 177592 | 20247 9942 44 | 1.984 % |
45.12/45.13 c | 10102 | 14327 59193 177592 | 2147483647 10089 44 | 1.984 % |
46.11/46.14 c | 10263 | 14327 59193 177592 | 2147483647 10250 43 | 1.984 % |
46.81/46.88 c | 10441 | 14327 59193 177592 | 2147483647 10428 43 | 1.984 % |
47.61/47.65 c | 10634 | 14327 59193 177592 | 2147483647 10621 44 | 1.984 % |
48.81/48.88 c | 10847 | 14327 59193 177592 | 2147483647 10834 43 | 1.984 % |
50.31/50.31 c | 11080 | 14327 59193 177592 | 2147483647 11067 43 | 1.984 % |
51.72/51.80 c | 11336 | 14327 59193 177592 | 2147483647 11323 43 | 1.984 % |
53.41/53.44 c | 11618 | 14327 59193 177592 | 2147483647 11605 43 | 1.984 % |
53.92/53.92 c | 11718 | 14327 59193 177592 | 2147483647 11705 43 | 1.984 % |
54.31/54.37 c | 11829 | 14327 59193 177592 | 2147483647 11816 43 | 1.984 % |
55.02/55.02 c | 11951 | 14327 59193 177592 | 2147483647 11938 43 | 1.984 % |
55.61/55.69 c | 12084 | 14327 59193 177592 | 2147483647 12071 43 | 1.984 % |
56.41/56.44 c | 12230 | 14327 59193 177592 | 2147483647 12217 42 | 1.984 % |
56.61/56.70 c | 12391 | 14327 59193 177592 | 2147483647 12378 43 | 1.984 % |
57.01/57.03 c | 12567 | 14327 59193 177592 | 2147483647 12554 43 | 1.984 % |
58.01/58.09 c | 12760 | 14327 59193 177592 | 2147483647 12747 43 | 1.984 % |
58.81/58.90 c | 12973 | 14327 59193 177592 | 2147483647 12960 43 | 1.984 % |
60.11/60.17 c | 13207 | 14327 59193 177592 | 2147483647 13194 43 | 1.984 % |
61.62/61.63 c | 13464 | 14327 59193 177592 | 2147483647 13451 43 | 1.984 % |
63.01/63.03 c | 13746 | 14327 59193 177592 | 2147483647 13733 43 | 1.984 % |
64.92/64.94 c | 14056 | 14327 59193 177592 | 2147483647 14043 43 | 1.984 % |
65.41/65.49 c | 14157 | 14327 59193 177592 | 2147483647 14144 43 | 1.984 % |
66.02/66.07 c | 14267 | 14327 59193 177592 | 2147483647 14254 43 | 1.984 % |
66.71/66.78 c | 14389 | 14327 59193 177592 | 2147483647 14376 43 | 1.984 % |
67.51/67.54 c | 14523 | 14327 59193 177592 | 2147483647 14510 43 | 1.984 % |
68.41/68.42 c | 14669 | 14327 59193 177592 | 2147483647 14656 43 | 1.984 % |
69.11/69.15 c | 14829 | 14327 59193 177592 | 2147483647 14816 43 | 1.984 % |
69.41/69.41 c | 15006 | 14327 59193 177592 | 2147483647 14993 43 | 1.984 % |
70.21/70.23 c | 15199 | 14327 59193 177592 | 2147483647 15186 43 | 1.984 % |
70.91/70.97 c | 15411 | 14327 59193 177592 | 2147483647 15398 43 | 1.984 % |
72.11/72.20 c | 15644 | 14327 59193 177592 | 2147483647 15631 43 | 1.984 % |
73.11/73.20 c | 15901 | 14327 59193 177592 | 2147483647 15888 43 | 1.984 % |
74.41/74.46 c | 16182 | 14327 59193 177592 | 2147483647 16169 43 | 1.984 % |
75.81/75.84 c | 16491 | 14327 59193 177592 | 2147483647 16478 44 | 1.984 % |
77.41/77.41 c | 16830 | 14327 59193 177592 | 2147483647 16817 44 | 1.984 % |
78.02/78.09 c | 16930 | 14327 59193 177592 | 2147483647 16917 44 | 1.984 % |
78.72/78.75 c | 17040 | 14327 59193 177592 | 2147483647 17027 44 | 1.984 % |
79.02/79.06 c | 17162 | 14327 59193 177592 | 2147483647 17149 44 | 1.984 % |
79.72/79.77 c | 17296 | 14327 59193 177592 | 2147483647 17283 44 | 1.984 % |
80.72/80.79 c | 17442 | 14327 59193 177592 | 2147483647 17429 44 | 1.984 % |
81.62/81.61 c | 17605 | 14327 59193 177592 | 2147483647 17592 44 | 1.984 % |
82.42/82.42 c | 17782 | 14327 59193 177592 | 2147483647 17769 44 | 1.984 % |
83.32/83.33 c | 17977 | 14327 59193 177592 | 2147483647 17964 44 | 1.984 % |
84.52/84.55 c | 18191 | 14327 59193 177592 | 2147483647 18178 44 | 1.984 % |
85.82/85.90 c | 18424 | 14327 59193 177592 | 2147483647 18411 44 | 1.984 % |
87.52/87.60 c | 18681 | 14327 59193 177592 | 2147483647 18668 44 | 1.984 % |
89.02/89.04 c | 18963 | 14327 59193 177592 | 2147483647 18950 44 | 1.984 % |
90.92/90.99 c | 19272 | 14327 59193 177592 | 2147483647 19259 44 | 1.984 % |
92.52/92.58 c | 19611 | 14327 59193 177592 | 2147483647 19598 44 | 1.984 % |
94.92/94.93 c | 19983 | 14327 59193 177592 | 2147483647 19970 43 | 1.984 % |
95.42/95.46 c | 20083 | 14327 59193 177592 | 2147483647 20070 43 | 1.984 % |
95.72/95.81 c | 20194 | 14327 59193 177592 | 2147483647 20181 44 | 1.984 % |
96.62/96.63 c | 20316 | 14327 59193 177592 | 2147483647 20303 43 | 1.984 % |
97.52/97.59 c | 20450 | 14327 59193 177592 | 2147483647 20437 43 | 1.984 % |
98.52/98.53 c | 20596 | 14327 59193 177592 | 2147483647 20583 43 | 1.984 % |
99.72/99.73 c | 20756 | 14327 59193 177592 | 2147483647 20743 43 | 1.984 % |
100.92/101.00 c | 20932 | 14327 59193 177592 | 2147483647 20919 43 | 1.984 % |
102.12/102.19 c | 21127 | 14327 59193 177592 | 2147483647 21114 43 | 1.984 % |
103.42/103.49 c | 21340 | 14327 59193 177592 | 2147483647 21327 43 | 1.984 % |
104.62/104.69 c | 21573 | 14327 59193 177592 | 2147483647 21560 43 | 1.984 % |
106.12/106.14 c | 21830 | 14327 59193 177592 | 2147483647 21817 43 | 1.984 % |
107.62/107.65 c | 22114 | 14327 59193 177592 | 2147483647 22101 43 | 1.984 % |
109.32/109.39 c | 22424 | 14327 59193 177592 | 2147483647 22411 43 | 1.984 % |
111.32/111.41 c | 22764 | 14327 59193 177592 | 2147483647 22751 43 | 1.984 % |
113.32/113.40 c | 23136 | 14327 59193 177592 | 2147483647 23123 43 | 1.984 % |
115.72/115.72 c | 23546 | 14327 59193 177592 | 2147483647 23533 44 | 1.984 % |
116.12/116.16 c | 23647 | 14327 59193 177592 | 2147483647 23634 44 | 1.984 % |
116.82/116.87 c | 23758 | 14327 59193 177592 | 2147483647 23745 44 | 1.984 % |
117.42/117.50 c | 23880 | 14327 59193 177592 | 2147483647 23867 44 | 1.984 % |
117.82/117.86 c | 24014 | 14327 59193 177592 | 2147483647 24001 44 | 1.984 % |
118.52/118.54 c | 24161 | 14327 59193 177592 | 2147483647 24148 44 | 1.984 % |
119.42/119.51 c | 24321 | 14327 59193 177592 | 2147483647 24308 44 | 1.984 % |
120.42/120.50 c | 24497 | 14327 59193 177592 | 2147483647 24484 44 | 1.984 % |
121.42/121.43 c | 24691 | 14327 59193 177592 | 2147483647 24678 44 | 1.984 % |
122.52/122.59 c | 24903 | 14327 59193 177592 | 2147483647 24890 44 | 1.984 % |
123.82/123.84 c | 25137 | 14327 59193 177592 | 2147483647 25124 44 | 1.984 % |
125.42/125.51 c | 25395 | 14327 59193 177592 | 2147483647 25382 44 | 1.984 % |
127.12/127.19 c | 25678 | 14327 59193 177592 | 2147483647 25665 43 | 1.984 % |
129.02/129.09 c | 25990 | 14327 59193 177592 | 2147483647 25977 43 | 1.984 % |
131.22/131.27 c | 26330 | 14327 59193 177592 | 2147483647 26317 43 | 1.984 % |
133.62/133.62 c | 26702 | 14327 59193 177592 | 2147483647 26689 43 | 1.984 % |
135.92/135.94 c | 27111 | 14327 59193 177592 | 2147483647 27098 43 | 1.984 % |
139.12/139.15 c | 27560 | 14327 59193 177592 | 2147483647 27547 43 | 1.984 % |
139.82/139.88 c | 27660 | 14327 59193 177592 | 2147483647 27647 43 | 1.984 % |
140.32/140.33 c | 27772 | 14327 59193 177592 | 2147483647 27759 43 | 1.984 % |
140.92/141.00 c | 27895 | 14327 59193 177592 | 2147483647 27882 43 | 1.984 % |
141.72/141.77 c | 28028 | 14327 59193 177592 | 2147483647 28015 43 | 1.984 % |
142.82/142.83 c | 28174 | 14327 59193 177592 | 2147483647 28161 43 | 1.984 % |
143.22/143.26 c | 28335 | 14327 59193 177592 | 2147483647 28322 43 | 1.984 % |
144.32/144.31 c | 28511 | 14327 59193 177592 | 2147483647 28498 43 | 1.984 % |
145.42/145.46 c | 28705 | 14327 59193 177592 | 2147483647 28692 43 | 1.984 % |
146.82/146.85 c | 28917 | 14327 59193 177592 | 2147483647 28904 43 | 1.984 % |
148.42/148.42 c | 29150 | 14327 59193 177592 | 2147483647 29137 43 | 1.984 % |
150.02/150.02 c | 29406 | 14327 59193 177592 | 2147483647 29393 43 | 1.984 % |
151.62/151.67 c | 29687 | 14327 59193 177592 | 2147483647 29674 43 | 1.984 % |
153.62/153.64 c | 29997 | 14327 59193 177592 | 2147483647 29984 43 | 1.984 % |
155.52/155.60 c | 30336 | 14327 59193 177592 | 2147483647 30323 43 | 1.984 % |
158.12/158.13 c | 30709 | 14327 59193 177592 | 2147483647 30696 43 | 1.984 % |
159.32/159.40 c | 31118 | 14327 59193 177592 | 2147483647 31105 43 | 1.984 % |
161.62/161.69 c | 31568 | 14327 59193 177592 | 2147483647 31555 43 | 1.984 % |
165.03/165.09 c | 32061 | 14327 59193 177592 | 2147483647 32048 43 | 1.984 % |
165.72/165.77 c | 32162 | 14327 59193 177592 | 2147483647 32149 43 | 1.984 % |
166.32/166.34 c | 32272 | 14327 59193 177592 | 2147483647 32259 43 | 1.984 % |
167.02/167.08 c | 32394 | 14327 59193 177592 | 2147483647 32381 43 | 1.984 % |
167.32/167.39 c | 32527 | 14327 59193 177592 | 2147483647 32514 44 | 1.984 % |
168.22/168.31 c | 32674 | 14327 59193 177592 | 2147483647 32661 44 | 1.984 % |
168.82/168.91 c | 32834 | 14327 59193 177592 | 2147483647 32821 44 | 1.984 % |
170.12/170.18 c | 33010 | 14327 59193 177592 | 2147483647 32997 44 | 1.984 % |
171.02/171.07 c | 33204 | 14327 59193 177592 | 2147483647 33191 44 | 1.984 % |
172.22/172.28 c | 33417 | 14327 59193 177592 | 2147483647 33404 44 | 1.984 % |
173.83/173.82 c | 33651 | 14327 59193 177592 | 2147483647 33638 44 | 1.984 % |
175.42/175.48 c | 33908 | 14327 59193 177592 | 2147483647 33895 44 | 1.984 % |
177.42/177.45 c | 34189 | 14327 59193 177592 | 2147483647 34176 44 | 1.984 % |
179.02/179.11 c | 34499 | 14327 59193 177592 | 2147483647 34486 44 | 1.984 % |
180.52/180.61 c | 34839 | 14327 59193 177592 | 2147483647 34826 44 | 1.984 % |
181.53/181.56 c | 35212 | 14327 59193 177592 | 2147483647 35199 44 | 1.984 % |
184.22/184.26 c | 35621 | 14327 59193 177592 | 2147483647 35608 44 | 1.984 % |
187.03/187.05 c | 36071 | 14327 59193 177592 | 2147483647 36058 44 | 1.984 % |
189.92/189.96 c | 36565 | 14327 59193 177592 | 2147483647 36552 44 | 1.984 % |
193.13/193.20 c | 37107 | 14327 59193 177592 | 2147483647 37094 44 | 1.984 % |
193.83/193.88 c | 37209 | 14327 59193 177592 | 2147483647 37196 44 | 1.984 % |
194.53/194.53 c | 37319 | 14327 59193 177592 | 2147483647 37306 44 | 1.984 % |
195.03/195.11 c | 37441 | 14327 59193 177592 | 2147483647 37428 44 | 1.984 % |
196.03/196.09 c | 37575 | 14327 59193 177592 | 2147483647 37562 44 | 1.984 % |
197.03/197.09 c | 37721 | 14327 59193 177592 | 2147483647 37708 44 | 1.984 % |
198.13/198.22 c | 37881 | 14327 59193 177592 | 2147483647 37868 44 | 1.984 % |
199.53/199.54 c | 38058 | 14327 59193 177592 | 2147483647 38045 44 | 1.984 % |
200.73/200.77 c | 38251 | 14327 59193 177592 | 2147483647 38238 44 | 1.984 % |
202.13/202.16 c | 38463 | 14327 59193 177592 | 2147483647 38450 44 | 1.984 % |
203.83/203.86 c | 38697 | 14327 59193 177592 | 2147483647 38684 44 | 1.984 % |
205.73/205.80 c | 38954 | 14327 59193 177592 | 2147483647 38941 44 | 1.984 % |
207.03/207.11 c | 39236 | 14327 59193 177592 | 2147483647 39223 44 | 1.984 % |
209.13/209.18 c | 39546 | 14327 59193 177592 | 2147483647 39533 44 | 1.984 % |
210.43/210.48 c | 39886 | 14327 59193 177592 | 2147483647 39873 44 | 1.984 % |
212.43/212.42 c | 40260 | 14327 59193 177592 | 2147483647 40247 44 | 1.984 % |
214.53/214.56 c | 40669 | 14327 59193 177592 | 2147483647 40656 45 | 1.984 % |
217.43/217.46 c | 41118 | 14327 59193 177592 | 2147483647 41105 45 | 1.984 % |
220.03/220.10 c | 41612 | 14327 59193 177592 | 2147483647 41599 45 | 1.984 % |
223.72/223.72 c | 42155 | 14327 59193 177592 | 2147483647 42142 45 | 1.984 % |
227.32/227.33 c | 42752 | 14327 59193 177592 | 2147483647 42739 45 | 1.984 % |
227.92/227.99 c | 42852 | 14327 59193 177592 | 2147483647 42839 45 | 1.984 % |
228.42/228.50 c | 42963 | 14327 59193 177592 | 2147483647 42950 45 | 1.984 % |
229.22/229.29 c | 43085 | 14327 59193 177592 | 2147483647 43072 45 | 1.984 % |
230.02/230.05 c | 43219 | 14327 59193 177592 | 2147483647 43206 45 | 1.984 % |
230.92/230.97 c | 43365 | 14327 59193 177592 | 2147483647 43352 45 | 1.984 % |
231.92/232.01 c | 43526 | 14327 59193 177592 | 2147483647 43513 45 | 1.984 % |
232.72/232.75 c | 43704 | 14327 59193 177592 | 2147483647 43691 45 | 1.984 % |
233.42/233.47 c | 43898 | 14327 59193 177592 | 2147483647 43885 45 | 1.984 % |
233.82/233.87 c | 44111 | 14327 59193 177592 | 2147483647 44098 45 | 1.984 % |
235.22/235.27 c | 44345 | 14327 59193 177592 | 2147483647 44332 45 | 1.984 % |
236.62/236.66 c | 44601 | 14327 59193 177592 | 2147483647 44588 45 | 1.984 % |
237.92/237.93 c | 44883 | 14327 59193 177592 | 2147483647 44870 45 | 1.984 % |
239.52/239.55 c | 45192 | 14327 59193 177592 | 2147483647 45179 45 | 1.984 % |
241.42/241.42 c | 45531 | 14327 59193 177592 | 2147483647 45518 45 | 1.984 % |
243.42/243.48 c | 45903 | 14327 59193 177592 | 2147483647 45890 45 | 1.984 % |
245.22/245.25 c | 46313 | 14327 59193 177592 | 2147483647 46300 45 | 1.984 % |
247.82/247.88 c | 46762 | 14327 59193 177592 | 2147483647 46749 46 | 1.984 % |
249.82/249.85 c | 47256 | 14327 59193 177592 | 2147483647 47243 46 | 1.984 % |
253.42/253.46 c | 47799 | 14327 59193 177592 | 2147483647 47786 46 | 1.984 % |
257.22/257.22 c | 48395 | 14327 59193 177592 | 2147483647 48382 46 | 1.984 % |
261.82/261.87 c | 49051 | 14327 59193 177592 | 2147483647 49038 46 | 1.984 % |
262.72/262.73 c | 49152 | 14327 59193 177592 | 2147483647 49139 46 | 1.984 % |
263.62/263.65 c | 49262 | 14327 59193 177592 | 2147483647 49249 46 | 1.984 % |
264.62/264.66 c | 49384 | 14327 59193 177592 | 2147483647 49371 46 | 1.984 % |
265.72/265.73 c | 49518 | 14327 59193 177592 | 2147483647 49505 46 | 1.984 % |
266.23/266.22 c | 49664 | 14327 59193 177592 | 2147483647 49651 46 | 1.984 % |
267.42/267.43 c | 49825 | 14327 59193 177592 | 2147483647 49812 46 | 1.984 % |
268.43/268.42 c | 50002 | 14327 59193 177592 | 2147483647 49989 46 | 1.984 % |
269.42/269.50 c | 50196 | 14327 59193 177592 | 2147483647 50183 46 | 1.984 % |
271.22/271.28 c | 50409 | 14327 59193 177592 | 2147483647 50396 46 | 1.984 % |
272.72/272.75 c | 50643 | 14327 59193 177592 | 2147483647 50630 46 | 1.984 % |
274.62/274.61 c | 50902 | 14327 59193 177592 | 2147483647 50889 46 | 1.984 % |
276.52/276.56 c | 51185 | 14327 59193 177592 | 2147483647 51172 46 | 1.984 % |
278.42/278.42 c | 51494 | 14327 59193 177592 | 2147483647 51481 46 | 1.984 % |
281.12/281.15 c | 51833 | 14327 59193 177592 | 2147483647 51820 46 | 1.984 % |
283.32/283.34 c | 52205 | 14327 59193 177592 | 2147483647 52192 46 | 1.984 % |
286.03/286.08 c | 52615 | 14327 59193 177592 | 2147483647 52602 46 | 1.984 % |
287.62/287.65 c | 53065 | 14327 59193 177592 | 2147483647 53052 46 | 1.984 % |
290.72/290.76 c | 53559 | 14327 59193 177592 | 2147483647 53546 46 | 1.984 % |
293.92/293.95 c | 54101 | 14327 59193 177592 | 2147483647 54088 46 | 1.984 % |
297.42/297.45 c | 54698 | 14327 59193 177592 | 2147483647 54685 46 | 1.984 % |
300.33/300.37 c | 55354 | 14327 59193 177592 | 2147483647 55341 46 | 1.984 % |
305.32/305.40 c | 56075 | 14327 59193 177592 | 2147483647 56062 46 | 1.984 % |
305.83/305.85 c | 56177 | 14327 59193 177592 | 2147483647 56164 46 | 1.984 % |
306.42/306.45 c | 56289 | 14327 59193 177592 | 2147483647 56276 46 | 1.984 % |
307.12/307.17 c | 56410 | 14327 59193 177592 | 2147483647 56397 46 | 1.984 % |
307.73/307.75 c | 56543 | 14327 59193 177592 | 2147483647 56530 46 | 1.984 % |
308.43/308.42 c | 56689 | 14327 59193 177592 | 2147483647 56676 47 | 1.984 % |
309.03/309.04 c | 56851 | 14327 59193 177592 | 2147483647 56838 47 | 1.984 % |
309.93/310.00 c | 57029 | 14327 59193 177592 | 2147483647 57016 47 | 1.984 % |
310.93/311.01 c | 57222 | 14327 59193 177592 | 2147483647 57209 47 | 1.984 % |
312.63/312.70 c | 57435 | 14327 59193 177592 | 2147483647 57422 47 | 1.984 % |
314.33/314.40 c | 57668 | 14327 59193 177592 | 2147483647 57655 47 | 1.984 % |
316.33/316.32 c | 57924 | 14327 59193 177592 | 2147483647 57911 47 | 1.984 % |
318.43/318.42 c | 58205 | 14327 59193 177592 | 2147483647 58192 46 | 1.984 % |
320.93/320.95 c | 58514 | 14327 59193 177592 | 2147483647 58501 47 | 1.984 % |
323.03/323.10 c | 58853 | 14327 59193 177592 | 2147483647 58840 47 | 1.984 % |
326.33/326.35 c | 59226 | 14327 59193 177592 | 2147483647 59213 46 | 1.984 % |
329.23/329.22 c | 59636 | 14327 59193 177592 | 2147483647 59623 46 | 1.984 % |
332.13/332.13 c | 60086 | 14327 59193 177592 | 2147483647 60073 46 | 1.984 % |
335.53/335.52 c | 60580 | 14327 59193 177592 | 2147483647 60567 46 | 1.984 % |
339.83/339.88 c | 61122 | 14327 59193 177592 | 2147483647 61109 46 | 1.984 % |
343.83/343.86 c | 61718 | 14327 59193 177592 | 2147483647 61705 46 | 1.984 % |
349.13/349.15 c | 62374 | 14327 59193 177592 | 2147483647 62361 46 | 1.984 % |
353.93/354.01 c | 63095 | 14327 59193 177592 | 2147483647 63082 46 | 1.984 % |
359.83/359.90 c | 63887 | 14327 59193 177592 | 2147483647 63874 47 | 1.984 % |
360.63/360.64 c | 63988 | 14327 59193 177592 | 2147483647 63975 47 | 1.984 % |
361.53/361.61 c | 64099 | 14327 59193 177592 | 2147483647 64086 46 | 1.984 % |
362.53/362.60 c | 64220 | 14327 59193 177592 | 2147483647 64207 46 | 1.984 % |
363.63/363.68 c | 64354 | 14327 59193 177592 | 2147483647 64341 46 | 1.984 % |
364.93/364.97 c | 64500 | 14327 59193 177592 | 2147483647 64487 46 | 1.984 % |
366.23/366.28 c | 64660 | 14327 59193 177592 | 2147483647 64647 46 | 1.984 % |
367.63/367.71 c | 64838 | 14327 59193 177592 | 2147483647 64825 46 | 1.984 % |
369.13/369.15 c | 65031 | 14327 59193 177592 | 2147483647 65018 46 | 1.984 % |
371.13/371.13 c | 65243 | 14327 59193 177592 | 2147483647 65230 46 | 1.984 % |
372.53/372.57 c | 65479 | 14327 59193 177592 | 2147483647 65466 46 | 1.984 % |
374.93/375.01 c | 65735 | 14327 59193 177592 | 2147483647 65722 46 | 1.984 % |
376.83/376.88 c | 66017 | 14327 59193 177592 | 2147483647 66004 46 | 1.984 % |
379.83/379.83 c | 66327 | 14327 59193 177592 | 2147483647 66314 46 | 1.984 % |
382.43/382.48 c | 66666 | 14327 59193 177592 | 2147483647 66653 46 | 1.984 % |
385.53/385.53 c | 67040 | 14327 59193 177592 | 2147483647 67027 46 | 1.984 % |
388.93/388.98 c | 67449 | 14327 59193 177592 | 2147483647 67436 46 | 1.984 % |
392.33/392.40 c | 67899 | 14327 59193 177592 | 2147483647 67886 46 | 1.984 % |
396.43/396.45 c | 68393 | 14327 59193 177592 | 2147483647 68380 46 | 1.984 % |
400.44/400.43 c | 68936 | 14327 59193 177592 | 2147483647 68923 46 | 1.984 % |
405.43/405.46 c | 69532 | 14327 59193 177592 | 2147483647 69519 46 | 1.984 % |
411.44/411.49 c | 70188 | 14327 59193 177592 | 2147483647 70175 46 | 1.984 % |
417.63/417.65 c | 70909 | 14327 59193 177592 | 2147483647 70896 46 | 1.984 % |
423.54/423.57 c | 71702 | 14327 59193 177592 | 2147483647 71689 46 | 1.984 % |
430.74/430.75 c | 72573 | 14327 59193 177592 | 2147483647 72560 46 | 1.984 % |
431.24/431.29 c | 72674 | 14327 59193 177592 | 2147483647 72661 46 | 1.984 % |
432.14/432.20 c | 72785 | 14327 59193 177592 | 2147483647 72772 46 | 1.984 % |
433.04/433.09 c | 72906 | 14327 59193 177592 | 2147483647 72893 46 | 1.984 % |
433.74/433.73 c | 73039 | 14327 59193 177592 | 2147483647 73026 46 | 1.984 % |
434.94/434.95 c | 73186 | 14327 59193 177592 | 2147483647 73173 46 | 1.984 % |
436.24/436.28 c | 73347 | 14327 59193 177592 | 2147483647 73334 46 | 1.984 % |
437.64/437.70 c | 73523 | 14327 59193 177592 | 2147483647 73510 46 | 1.984 % |
439.24/439.24 c | 73717 | 14327 59193 177592 | 2147483647 73704 46 | 1.984 % |
440.94/440.99 c | 73930 | 14327 59193 177592 | 2147483647 73917 46 | 1.984 % |
442.84/442.87 c | 74163 | 14327 59193 177592 | 2147483647 74150 46 | 1.984 % |
444.74/444.77 c | 74419 | 14327 59193 177592 | 2147483647 74406 46 | 1.984 % |
446.84/446.92 c | 74700 | 14327 59193 177592 | 2147483647 74687 46 | 1.984 % |
449.34/449.32 c | 75010 | 14327 59193 177592 | 2147483647 74997 46 | 1.984 % |
452.24/452.24 c | 75349 | 14327 59193 177592 | 2147483647 75336 46 | 1.984 % |
455.24/455.28 c | 75721 | 14327 59193 177592 | 2147483647 75708 46 | 1.984 % |
458.44/458.50 c | 76130 | 14327 59193 177592 | 2147483647 76117 46 | 1.984 % |
462.04/462.07 c | 76581 | 14327 59193 177592 | 2147483647 76568 46 | 1.984 % |
466.04/466.07 c | 77075 | 14327 59193 177592 | 2147483647 77062 46 | 1.984 % |
470.14/470.15 c | 77617 | 14327 59193 177592 | 2147483647 77604 46 | 1.984 % |
473.34/473.32 c | 78215 | 14327 59193 177592 | 2147483647 78202 46 | 1.984 % |
478.54/478.60 c | 78870 | 14327 59193 177592 | 2147483647 78857 46 | 1.984 % |
484.84/484.86 c | 79591 | 14327 59193 177592 | 2147483647 79578 46 | 1.984 % |
492.34/492.39 c | 80384 | 14327 59193 177592 | 2147483647 80371 45 | 1.984 % |
500.04/500.03 c | 81255 | 14327 59193 177592 | 2147483647 81242 45 | 1.984 % |
507.04/507.02 c | 82217 | 14327 59193 177592 | 2147483647 82204 46 | 1.984 % |
507.74/507.74 c | 82319 | 14327 59193 177592 | 2147483647 82306 46 | 1.984 % |
508.54/508.56 c | 82430 | 14327 59193 177592 | 2147483647 82417 46 | 1.984 % |
509.44/509.49 c | 82552 | 14327 59193 177592 | 2147483647 82539 46 | 1.984 % |
510.64/510.64 c | 82687 | 14327 59193 177592 | 2147483647 82674 46 | 1.984 % |
511.94/511.91 c | 82833 | 14327 59193 177592 | 2147483647 82820 46 | 1.984 % |
513.34/513.40 c | 82993 | 14327 59193 177592 | 2147483647 82980 46 | 1.984 % |
514.74/514.82 c | 83170 | 14327 59193 177592 | 2147483647 83157 46 | 1.984 % |
515.64/515.67 c | 83363 | 14327 59193 177592 | 2147483647 83350 46 | 1.984 % |
517.14/517.19 c | 83576 | 14327 59193 177592 | 2147483647 83563 46 | 1.984 % |
519.34/519.38 c | 83809 | 14327 59193 177592 | 2147483647 83796 46 | 1.984 % |
522.04/522.07 c | 84067 | 14327 59193 177592 | 2147483647 84054 46 | 1.984 % |
524.84/524.85 c | 84349 | 14327 59193 177592 | 2147483647 84336 46 | 1.984 % |
527.84/527.82 c | 84658 | 14327 59193 177592 | 2147483647 84645 46 | 1.984 % |
530.84/530.88 c | 84997 | 14327 59193 177592 | 2147483647 84984 46 | 1.984 % |
534.14/534.17 c | 85370 | 14327 59193 177592 | 2147483647 85357 46 | 1.984 % |
538.15/538.14 c | 85780 | 14327 59193 177592 | 2147483647 85767 46 | 1.984 % |
542.15/542.14 c | 86230 | 14327 59193 177592 | 2147483647 86217 46 | 1.984 % |
546.15/546.17 c | 86723 | 14327 59193 177592 | 2147483647 86710 45 | 1.984 % |
549.55/549.55 c | 87265 | 14327 59193 177592 | 2147483647 87252 46 | 1.984 % |
553.55/553.61 c | 87861 | 14327 59193 177592 | 2147483647 87848 46 | 1.984 % |
558.95/559.00 c | 88517 | 14327 59193 177592 | 2147483647 88504 46 | 1.984 % |
564.03/564.06 c | 89238 | 14327 59193 177592 | 2147483647 89225 46 | 1.984 % |
569.83/569.83 c | 90031 | 14327 59193 177592 | 2147483647 90018 46 | 1.984 % |
575.73/575.80 c | 90902 | 14327 59193 177592 | 2147483647 90889 46 | 1.984 % |
583.62/583.63 c | 91860 | 14327 59193 177592 | 2147483647 91847 45 | 1.984 % |
591.62/591.67 c | 92913 | 14327 59193 177592 | 2147483647 92900 45 | 1.984 % |
592.22/592.25 c | 93014 | 14327 59193 177592 | 2147483647 93001 45 | 1.984 % |
592.92/593.00 c | 93124 | 14327 59193 177592 | 2147483647 93111 45 | 1.984 % |
593.72/593.74 c | 93246 | 14327 59193 177592 | 2147483647 93233 45 | 1.984 % |
594.42/594.42 c | 93379 | 14327 59193 177592 | 2147483647 93366 45 | 1.984 % |
595.52/595.59 c | 93526 | 14327 59193 177592 | 2147483647 93513 45 | 1.984 % |
596.42/596.48 c | 93687 | 14327 59193 177592 | 2147483647 93674 45 | 1.984 % |
597.82/597.83 c | 93864 | 14327 59193 177592 | 2147483647 93851 45 | 1.984 % |
599.22/599.23 c | 94057 | 14327 59193 177592 | 2147483647 94044 45 | 1.984 % |
600.72/600.75 c | 94269 | 14327 59193 177592 | 2147483647 94256 45 | 1.984 % |
602.22/602.26 c | 94503 | 14327 59193 177592 | 2147483647 94490 45 | 1.984 % |
603.82/603.88 c | 94760 | 14327 59193 177592 | 2147483647 94747 45 | 1.984 % |
605.52/605.55 c | 95041 | 14327 59193 177592 | 2147483647 95028 45 | 1.984 % |
607.42/607.42 c | 95351 | 14327 59193 177592 | 2147483647 95338 45 | 1.984 % |
609.62/609.63 c | 95691 | 14327 59193 177592 | 2147483647 95678 45 | 1.984 % |
612.32/612.39 c | 96063 | 14327 59193 177592 | 2147483647 96050 45 | 1.984 % |
615.12/615.17 c | 96473 | 14327 59193 177592 | 2147483647 96460 45 | 1.984 % |
618.82/618.83 c | 96923 | 14327 59193 177592 | 2147483647 96910 45 | 1.984 % |
622.32/622.35 c | 97417 | 14327 59193 177592 | 2147483647 97404 45 | 1.984 % |
626.32/626.34 c | 97959 | 14327 59193 177592 | 2147483647 97946 45 | 1.984 % |
630.62/630.66 c | 98556 | 14327 59193 177592 | 2147483647 98543 45 | 1.984 % |
635.72/635.79 c | 99211 | 14327 59193 177592 | 2147483647 99198 45 | 1.984 % |
640.92/640.96 c | 99931 | 14327 59193 177592 | 2147483647 99918 45 | 1.984 % |
646.51/646.58 c | 100723 | 14327 59193 177592 | 2147483647 100710 45 | 1.984 % |
653.12/653.12 c | 101595 | 14327 59193 177592 | 2147483647 101582 45 | 1.984 % |
661.52/661.54 c | 102553 | 14327 59193 177592 | 2147483647 102540 45 | 1.984 % |
669.82/669.90 c | 103606 | 14327 59193 177592 | 2147483647 103593 45 | 1.984 % |
679.72/679.78 c | 104764 | 14327 59193 177592 | 2147483647 104751 45 | 1.984 % |
680.52/680.52 c | 104866 | 14327 59193 177592 | 2147483647 104853 45 | 1.984 % |
681.42/681.44 c | 104977 | 14327 59193 177592 | 2147483647 104964 45 | 1.984 % |
682.22/682.25 c | 105099 | 14327 59193 177592 | 2147483647 105086 45 | 1.984 % |
683.22/683.30 c | 105233 | 14327 59193 177592 | 2147483647 105220 45 | 1.984 % |
684.42/684.49 c | 105379 | 14327 59193 177592 | 2147483647 105366 45 | 1.984 % |
685.72/685.74 c | 105540 | 14327 59193 177592 | 2147483647 105527 45 | 1.984 % |
687.12/687.11 c | 105716 | 14327 59193 177592 | 2147483647 105703 45 | 1.984 % |
688.62/688.69 c | 105909 | 14327 59193 177592 | 2147483647 105896 45 | 1.984 % |
690.32/690.40 c | 106121 | 14327 59193 177592 | 2147483647 106108 45 | 1.984 % |
692.42/692.42 c | 106355 | 14327 59193 177592 | 2147483647 106342 45 | 1.984 % |
694.12/694.19 c | 106612 | 14327 59193 177592 | 2147483647 106599 45 | 1.984 % |
696.52/696.52 c | 106894 | 14327 59193 177592 | 2147483647 106881 45 | 1.984 % |
698.92/699.00 c | 107205 | 14327 59193 177592 | 2147483647 107192 45 | 1.984 % |
701.52/701.60 c | 107544 | 14327 59193 177592 | 2147483647 107531 45 | 1.984 % |
704.02/704.07 c | 107917 | 14327 59193 177592 | 2147483647 107904 45 | 1.984 % |
707.12/707.13 c | 108326 | 14327 59193 177592 | 2147483647 108313 45 | 1.984 % |
710.32/710.39 c | 108776 | 14327 59193 177592 | 2147483647 108763 45 | 1.984 % |
714.22/714.27 c | 109269 | 14327 59193 177592 | 2147483647 109256 45 | 1.984 % |
717.12/717.14 c | 109814 | 14327 59193 177592 | 2147483647 109801 45 | 1.984 % |
721.82/721.89 c | 110410 | 14327 59193 177592 | 2147483647 110397 45 | 1.984 % |
726.32/726.36 c | 111065 | 14327 59193 177592 | 2147483647 111052 45 | 1.984 % |
732.52/732.61 c | 111786 | 14327 59193 177592 | 2147483647 111773 45 | 1.984 % |
738.92/738.95 c | 112579 | 14327 59193 177592 | 2147483647 112566 45 | 1.984 % |
745.72/745.77 c | 113450 | 14327 59193 177592 | 2147483647 113437 45 | 1.984 % |
751.82/751.85 c | 114409 | 14327 59193 177592 | 2147483647 114396 45 | 1.984 % |
759.62/759.66 c | 115463 | 14327 59193 177592 | 2147483647 115450 45 | 1.984 % |
768.73/768.75 c | 116621 | 14327 59193 177592 | 2147483647 116608 45 | 1.984 % |
779.53/779.54 c | 117894 | 14327 59193 177592 | 2147483647 117881 45 | 1.984 % |
780.23/780.26 c | 117994 | 14327 59193 177592 | 2147483647 117981 45 | 1.984 % |
781.13/781.13 c | 118105 | 14327 59193 177592 | 2147483647 118092 45 | 1.984 % |
782.13/782.21 c | 118226 | 14327 59193 177592 | 2147483647 118213 45 | 1.984 % |
783.23/783.28 c | 118361 | 14327 59193 177592 | 2147483647 118348 45 | 1.984 % |
784.63/784.63 c | 118508 | 14327 59193 177592 | 2147483647 118495 45 | 1.984 % |
785.63/785.68 c | 118669 | 14327 59193 177592 | 2147483647 118656 45 | 1.984 % |
786.93/786.94 c | 118846 | 14327 59193 177592 | 2147483647 118833 45 | 1.984 % |
788.53/788.60 c | 119039 | 14327 59193 177592 | 2147483647 119026 45 | 1.984 % |
790.53/790.58 c | 119251 | 14327 59193 177592 | 2147483647 119238 45 | 1.984 % |
792.63/792.66 c | 119485 | 14327 59193 177592 | 2147483647 119472 45 | 1.984 % |
794.73/794.80 c | 119741 | 14327 59193 177592 | 2147483647 119728 45 | 1.984 % |
797.13/797.15 c | 120023 | 14327 59193 177592 | 2147483647 120010 45 | 1.984 % |
799.73/799.78 c | 120333 | 14327 59193 177592 | 2147483647 120320 45 | 1.984 % |
801.23/801.22 c | 120672 | 14327 59193 177592 | 2147483647 120659 45 | 1.984 % |
804.13/804.13 c | 121045 | 14327 59193 177592 | 2147483647 121032 45 | 1.984 % |
807.43/807.44 c | 121454 | 14327 59193 177592 | 2147483647 121441 45 | 1.984 % |
810.93/810.92 c | 121904 | 14327 59193 177592 | 2147483647 121891 45 | 1.984 % |
813.33/813.40 c | 122399 | 14327 59193 177592 | 2147483647 122386 45 | 1.984 % |
816.53/816.56 c | 122941 | 14327 59193 177592 | 2147483647 122928 45 | 1.984 % |
819.63/819.62 c | 123537 | 14327 59193 177592 | 2147483647 123524 45 | 1.984 % |
824.93/824.92 c | 124194 | 14327 59193 177592 | 2147483647 124181 45 | 1.984 % |
830.33/830.33 c | 124916 | 14327 59193 177592 | 2147483647 124903 45 | 1.984 % |
837.14/837.12 c | 125709 | 14327 59193 177592 | 2147483647 125696 45 | 1.984 % |
843.43/843.48 c | 126581 | 14327 59193 177592 | 2147483647 126568 45 | 1.984 % |
851.73/851.77 c | 127541 | 14327 59193 177592 | 2147483647 127528 45 | 1.984 % |
860.43/860.49 c | 128595 | 14327 59193 177592 | 2147483647 128582 45 | 1.984 % |
870.33/870.33 c | 129753 | 14327 59193 177592 | 2147483647 129740 45 | 1.984 % |
876.13/876.18 c | 131026 | 14327 59193 177592 | 2147483647 131013 45 | 1.984 % |
888.64/888.62 c | 132427 | 14327 59193 177592 | 2147483647 132414 45 | 1.984 % |
889.54/889.56 c | 132529 | 14327 59193 177592 | 2147483647 132516 45 | 1.984 % |
890.64/890.67 c | 132639 | 14327 59193 177592 | 2147483647 132626 45 | 1.984 % |
891.84/891.91 c | 132762 | 14327 59193 177592 | 2147483647 132749 45 | 1.984 % |
893.14/893.13 c | 132895 | 14327 59193 177592 | 2147483647 132882 45 | 1.984 % |
894.64/894.65 c | 133042 | 14327 59193 177592 | 2147483647 133029 45 | 1.984 % |
896.24/896.25 c | 133203 | 14327 59193 177592 | 2147483647 133190 45 | 1.984 % |
897.84/897.90 c | 133380 | 14327 59193 177592 | 2147483647 133367 45 | 1.984 % |
899.54/899.61 c | 133573 | 14327 59193 177592 | 2147483647 133560 45 | 1.984 % |
901.44/901.50 c | 133785 | 14327 59193 177592 | 2147483647 133772 45 | 1.984 % |
903.44/903.48 c | 134019 | 14327 59193 177592 | 2147483647 134006 45 | 1.984 % |
905.84/905.85 c | 134275 | 14327 59193 177592 | 2147483647 134262 45 | 1.984 % |
907.74/907.78 c | 134556 | 14327 59193 177592 | 2147483647 134543 45 | 1.984 % |
910.64/910.71 c | 134865 | 14327 59193 177592 | 2147483647 134852 45 | 1.984 % |
913.64/913.68 c | 135207 | 14327 59193 177592 | 2147483647 135194 45 | 1.984 % |
916.34/916.41 c | 135579 | 14327 59193 177592 | 2147483647 135566 45 | 1.984 % |
920.04/920.03 c | 135988 | 14327 59193 177592 | 2147483647 135975 45 | 1.984 % |
923.44/923.50 c | 136438 | 14327 59193 177592 | 2147483647 136425 45 | 1.984 % |
927.94/927.97 c | 136931 | 14327 59193 177592 | 2147483647 136918 45 | 1.984 % |
932.44/932.48 c | 137474 | 14327 59193 177592 | 2147483647 137461 45 | 1.984 % |
937.14/937.12 c | 138070 | 14327 59193 177592 | 2147483647 138057 45 | 1.984 % |
942.23/942.24 c | 138725 | 14327 59193 177592 | 2147483647 138712 45 | 1.984 % |
947.13/947.17 c | 139445 | 14327 59193 177592 | 2147483647 139432 45 | 1.984 % |
954.53/954.52 c | 140237 | 14327 59193 177592 | 2147483647 140224 45 | 1.984 % |
961.93/961.98 c | 141109 | 14327 59193 177592 | 2147483647 141096 45 | 1.984 % |
969.83/969.83 c | 142068 | 14327 59193 177592 | 2147483647 142055 45 | 1.984 % |
980.33/980.34 c | 143121 | 14327 59193 177592 | 2147483647 143108 45 | 1.984 % |
991.73/991.80 c | 144279 | 14327 59193 177592 | 2147483647 144266 45 | 1.984 % |
1003.04/1003.04 c | 145552 | 14327 59193 177592 | 2147483647 145539 45 | 1.984 % |
1016.54/1016.59 c | 146952 | 14327 59193 177592 | 2147483647 146939 45 | 1.984 % |
1031.14/1031.19 c | 148493 | 14327 59193 177592 | 2147483647 148480 45 | 1.984 % |
1032.24/1032.28 c | 148594 | 14327 59193 177592 | 2147483647 148581 45 | 1.984 % |
1033.54/1033.53 c | 148704 | 14327 59193 177592 | 2147483647 148691 44 | 1.984 % |
1034.54/1034.52 c | 148826 | 14327 59193 177592 | 2147483647 148813 44 | 1.984 % |
1035.44/1035.42 c | 148960 | 14327 59193 177592 | 2147483647 148947 44 | 1.984 % |
1036.64/1036.64 c | 149107 | 14327 59193 177592 | 2147483647 149094 44 | 1.984 % |
1037.74/1037.80 c | 149267 | 14327 59193 177592 | 2147483647 149254 44 | 1.984 % |
1039.14/1039.14 c | 149444 | 14327 59193 177592 | 2147483647 149431 44 | 1.984 % |
1040.94/1040.94 c | 149637 | 14327 59193 177592 | 2147483647 149624 44 | 1.984 % |
1042.34/1042.32 c | 149849 | 14327 59193 177592 | 2147483647 149836 44 | 1.984 % |
1043.94/1043.92 c | 150082 | 14327 59193 177592 | 2147483647 150069 45 | 1.984 % |
1045.84/1045.88 c | 150338 | 14327 59193 177592 | 2147483647 150325 45 | 1.984 % |
1048.54/1048.56 c | 150619 | 14327 59193 177592 | 2147483647 150606 45 | 1.984 % |
1050.94/1051.00 c | 150928 | 14327 59193 177592 | 2147483647 150915 45 | 1.984 % |
1054.14/1054.12 c | 151268 | 14327 59193 177592 | 2147483647 151255 45 | 1.984 % |
1056.64/1056.68 c | 151641 | 14327 59193 177592 | 2147483647 151628 45 | 1.984 % |
1060.44/1060.47 c | 152051 | 14327 59193 177592 | 2147483647 152038 45 | 1.984 % |
1064.74/1064.81 c | 152500 | 14327 59193 177592 | 2147483647 152487 45 | 1.984 % |
1068.04/1068.05 c | 152994 | 14327 59193 177592 | 2147483647 152981 45 | 1.984 % |
1072.94/1072.92 c | 153536 | 14327 59193 177592 | 2147483647 153523 45 | 1.984 % |
1078.74/1078.74 c | 154132 | 14327 59193 177592 | 2147483647 154119 45 | 1.984 % |
1084.94/1085.00 c | 154788 | 14327 59193 177592 | 2147483647 154775 45 | 1.984 % |
1091.04/1091.06 c | 155509 | 14327 59193 177592 | 2147483647 155496 45 | 1.984 % |
1097.44/1097.45 c | 156303 | 14327 59193 177592 | 2147483647 156290 45 | 1.984 % |
1104.94/1104.95 c | 157175 | 14327 59193 177592 | 2147483647 157162 45 | 1.984 % |
1113.85/1113.87 c | 158134 | 14327 59193 177592 | 2147483647 158121 45 | 1.984 % |
1122.85/1122.91 c | 159190 | 14327 59193 177592 | 2147483647 159177 45 | 1.984 % |
1133.45/1133.47 c | 160350 | 14327 59193 177592 | 2147483647 160337 45 | 1.984 % |
1145.95/1145.93 c | 161623 | 14327 59193 177592 | 2147483647 161610 45 | 1.984 % |
1153.85/1153.91 c | 163023 | 14327 59193 177592 | 2147483647 163010 45 | 1.984 % |
1167.75/1167.80 c | 164563 | 14327 59193 177592 | 2147483647 164550 45 | 1.984 % |
1181.95/1181.93 c | 166257 | 14327 59193 177592 | 2147483647 166244 45 | 1.984 % |
1182.95/1182.95 c | 166358 | 14327 59193 177592 | 2147483647 166345 45 | 1.984 % |
1184.15/1184.16 c | 166468 | 14327 59193 177592 | 2147483647 166455 45 | 1.984 % |
1185.25/1185.26 c | 166593 | 14327 59193 177592 | 2147483647 166580 45 | 1.984 % |
1186.35/1186.33 c | 166726 | 14327 59193 177592 | 2147483647 166713 45 | 1.984 % |
1187.55/1187.56 c | 166872 | 14327 59193 177592 | 2147483647 166859 45 | 1.984 % |
1188.55/1188.57 c | 167033 | 14327 59193 177592 | 2147483647 167020 45 | 1.984 % |
1190.05/1190.01 c | 167211 | 14327 59193 177592 | 2147483647 167198 45 | 1.984 % |
1191.85/1191.84 c | 167404 | 14327 59193 177592 | 2147483647 167391 45 | 1.984 % |
1193.35/1193.36 c | 167616 | 14327 59193 177592 | 2147483647 167603 45 | 1.984 % |
1195.35/1195.38 c | 167849 | 14327 59193 177592 | 2147483647 167836 45 | 1.984 % |
1197.85/1197.88 c | 168106 | 14327 59193 177592 | 2147483647 168093 45 | 1.984 % |
1200.05/1200.02 HOME/SatELiteGTI: line 36: 13988 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-1821166-1242513519/watcher-1821166-1242513519 -o /tmp/evaluation-result-1821166-1242513519/solver-1821166-1242513519 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821166-1242513519.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: 0.93 1.00 0.99 2/91 13982
/proc/meminfo: memFree=1155492/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2416 CPUtime=0.01
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 365 648 0 0 0 0 0 1 25 0 1 0 1015852243 2473984 276 4294967295 134512640 135169312 3217629152 3217627688 3085459182 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13982/statm: 604 276 235 161 0 43 0
[pid=13986] ppid=13982 vsize=952 CPUtime=0
/proc/13986/stat : 13986 (SatELite_releas) R 13982 13982 9090 0 -1 4202496 120 0 0 0 0 0 0 0 25 0 1 0 1015852244 974848 56 4294967295 134512640 135223648 3216680672 3216679268 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13986/statm: 238 59 45 174 0 63 0
[startup+0.02326 s]
/proc/loadavg: 0.93 1.00 0.99 2/91 13982
/proc/meminfo: memFree=1155492/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2416 CPUtime=0.01
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 365 648 0 0 0 0 0 1 25 0 1 0 1015852243 2473984 276 4294967295 134512640 135169312 3217629152 3217627688 3085459182 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13982/statm: 604 276 235 161 0 43 0
[pid=13986] ppid=13982 vsize=5164 CPUtime=0.02
/proc/13986/stat : 13986 (SatELite_releas) R 13982 13982 9090 0 -1 4202496 1177 0 0 0 2 0 0 0 25 0 1 0 1015852244 5287936 1113 4294967295 134512640 135223648 3216680672 3216679256 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13986/statm: 1291 1115 47 174 0 1116 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7580
[startup+0.113289 s]
/proc/loadavg: 0.93 1.00 0.99 2/91 13982
/proc/meminfo: memFree=1155492/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2416 CPUtime=0.01
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 365 648 0 0 0 0 0 1 25 0 1 0 1015852243 2473984 276 4294967295 134512640 135169312 3217629152 3217627688 3085459182 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13982/statm: 604 276 235 161 0 43 0
[pid=13986] ppid=13982 vsize=14184 CPUtime=0.11
/proc/13986/stat : 13986 (SatELite_releas) R 13982 13982 9090 0 -1 4202496 3374 0 0 0 9 2 0 0 25 0 1 0 1015852244 14524416 3284 4294967295 134512640 135223648 3216680672 3216678440 134737406 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13986/statm: 3546 3284 83 174 0 3371 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16600
[startup+0.313245 s]
/proc/loadavg: 0.93 1.00 0.99 2/91 13982
/proc/meminfo: memFree=1155492/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2416 CPUtime=0.01
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 365 648 0 0 0 0 0 1 25 0 1 0 1015852243 2473984 276 4294967295 134512640 135169312 3217629152 3217627688 3085459182 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13982/statm: 604 276 235 161 0 43 0
[pid=13986] ppid=13982 vsize=14800 CPUtime=0.31
/proc/13986/stat : 13986 (SatELite_releas) R 13982 13982 9090 0 -1 4202496 3550 0 0 0 27 4 0 0 25 0 1 0 1015852244 15155200 3450 4294967295 134512640 135223648 3216680672 3216678688 134586818 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13986/statm: 3700 3450 73 174 0 3525 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 17216
[startup+0.713226 s]
/proc/loadavg: 0.93 1.00 0.99 2/91 13982
/proc/meminfo: memFree=1155492/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2416 CPUtime=0.01
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 365 648 0 0 0 0 0 1 25 0 1 0 1015852243 2473984 276 4294967295 134512640 135169312 3217629152 3217627688 3085459182 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13982/statm: 604 276 235 161 0 43 0
[pid=13986] ppid=13982 vsize=15824 CPUtime=0.71
/proc/13986/stat : 13986 (SatELite_releas) R 13982 13982 9090 0 -1 4202496 3791 0 0 0 67 4 0 0 25 0 1 0 1015852244 16203776 3691 4294967295 134512640 135223648 3216680672 3216678688 134586748 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13986/statm: 3956 3691 96 174 0 3781 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 18240
[startup+1.51319 s]
/proc/loadavg: 0.93 1.00 0.99 3/93 13987
/proc/meminfo: memFree=1136512/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 2420
[startup+3.11311 s]
/proc/loadavg: 0.93 1.00 0.99 3/93 13988
/proc/meminfo: memFree=1145316/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=6128 CPUtime=1.74
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 1421 0 0 0 173 1 0 0 25 0 1 0 1015852380 6275072 1355 4294967295 134512640 135215339 3214097616 3214095904 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13988/statm: 1532 1355 73 172 0 1359 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 8548
[startup+6.31296 s]
/proc/loadavg: 0.94 1.00 0.99 3/93 13988
/proc/meminfo: memFree=1145192/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=6260 CPUtime=4.94
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 1471 0 0 0 493 1 0 0 25 0 1 0 1015852380 6410240 1405 4294967295 134512640 135215339 3214097616 3214095616 134532646 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13988/statm: 1565 1405 73 172 0 1392 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 8680
[startup+12.7127 s]
/proc/loadavg: 0.94 1.00 0.99 3/93 13988
/proc/meminfo: memFree=1145196/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=6656 CPUtime=11.34
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 1576 0 0 0 1133 1 0 0 25 0 1 0 1015852380 6815744 1510 4294967295 134512640 135215339 3214097616 3214095680 134538089 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13988/statm: 1664 1510 73 172 0 1491 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 9076
[startup+25.512 s]
/proc/loadavg: 0.95 1.00 0.99 3/93 13990
/proc/meminfo: memFree=1144664/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=7320 CPUtime=24.14
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 1724 0 0 0 2413 1 0 0 25 0 1 0 1015852380 7495680 1658 4294967295 134512640 135215339 3214097616 3214095616 134532626 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13988/statm: 1830 1658 73 172 0 1657 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 9740
[startup+51.1108 s]
/proc/loadavg: 0.97 1.00 0.99 3/93 14173
/proc/meminfo: memFree=1143368/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=8380 CPUtime=49.74
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 1990 0 0 0 4972 2 0 0 25 0 1 0 1015852380 8581120 1924 4294967295 134512640 135215339 3214097616 3214095904 134528679 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13988/statm: 2095 1924 73 172 0 1922 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 10800
[startup+102.318 s]
/proc/loadavg: 0.98 1.00 0.99 2/93 14364
/proc/meminfo: memFree=1140604/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=10476 CPUtime=100.95
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 2523 0 0 0 10093 2 0 0 25 0 1 0 1015852380 10727424 2457 4294967295 134512640 135215339 3214097616 3214095904 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13988/statm: 2619 2457 73 172 0 2446 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 12896
[startup+162.316 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 14552
/proc/meminfo: memFree=1138404/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=12768 CPUtime=160.95
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 3085 0 0 0 16091 4 0 0 25 0 1 0 1015852380 13074432 3019 4294967295 134512640 135215339 3214097616 3214095904 134528814 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13988/statm: 3192 3019 73 172 0 3019 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 15188
[startup+222.323 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 14740
/proc/meminfo: memFree=1135832/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=15392 CPUtime=220.96
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 3707 0 0 0 22092 4 0 0 25 0 1 0 1015852380 15761408 3641 4294967295 134512640 135215339 3214097616 3214095680 134537867 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13988/statm: 3848 3641 73 172 0 3675 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 17812
[startup+282.31 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 14927
/proc/meminfo: memFree=1133412/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=17800 CPUtime=280.95
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 4326 0 0 0 28091 4 0 0 25 0 1 0 1015852380 18227200 4260 4294967295 134512640 135215339 3214097616 3214095904 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13988/statm: 4450 4260 73 172 0 4277 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 20220
[startup+342.317 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 15115
/proc/meminfo: memFree=1131220/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=20172 CPUtime=340.96
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 4888 0 0 0 34091 5 0 0 25 0 1 0 1015852380 20656128 4822 4294967295 134512640 135215339 3214097616 3214095904 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13988/statm: 5043 4822 73 172 0 4870 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 22592
[startup+402.314 s]
################
# More data... #
################
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=23324 CPUtime=460.97
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 5676 0 0 0 46092 5 0 0 25 0 1 0 1015852380 23883776 5610 4294967295 134512640 135215339 3214097616 3214095904 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13988/statm: 5831 5610 73 172 0 5658 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 25744
[startup+522.318 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 15683
/proc/meminfo: memFree=1125964/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=25100 CPUtime=520.97
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 6119 0 0 0 52092 5 0 0 25 0 1 0 1015852380 25702400 6053 4294967295 134512640 135215339 3214097616 3214095904 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13988/statm: 6275 6053 73 172 0 6102 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 27520
[startup+582.315 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 15870
/proc/meminfo: memFree=1124336/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=26648 CPUtime=580.95
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 6511 0 0 0 58087 8 0 0 25 0 1 0 1015852380 27287552 6445 4294967295 134512640 135215339 3214097616 3214095904 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13988/statm: 6662 6445 73 172 0 6489 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 29068
[startup+642.313 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 16058
/proc/meminfo: memFree=1122656/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=28472 CPUtime=640.95
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 6938 0 0 0 64087 8 0 0 25 0 1 0 1015852380 29155328 6872 4294967295 134512640 135215339 3214097616 3214095904 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13988/statm: 7118 6872 73 172 0 6945 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 30892
[startup+702.31 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 16247
/proc/meminfo: memFree=1121204/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=30028 CPUtime=700.95
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 7295 0 0 0 70086 9 0 0 25 0 1 0 1015852380 30748672 7229 4294967295 134512640 135215339 3214097616 3214095904 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13988/statm: 7507 7229 73 172 0 7334 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 32448
[startup+762.317 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 16438
/proc/meminfo: memFree=1119408/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=31700 CPUtime=760.96
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 7759 0 0 0 76085 11 0 0 25 0 1 0 1015852380 32460800 7693 4294967295 134512640 135215339 3214097616 3214095904 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13988/statm: 7925 7693 73 172 0 7752 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 34120
[startup+822.314 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 16626
/proc/meminfo: memFree=1117476/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=33696 CPUtime=820.96
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 8239 0 0 0 82085 11 0 0 25 0 1 0 1015852380 34504704 8173 4294967295 134512640 135215339 3214097616 3214095904 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13988/statm: 8424 8173 73 172 0 8251 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 36116
[startup+882.321 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 16813
/proc/meminfo: memFree=1115680/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=35452 CPUtime=880.97
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 8673 0 0 0 88086 11 0 0 25 0 1 0 1015852380 36302848 8607 4294967295 134512640 135215339 3214097616 3214095904 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13988/statm: 8863 8607 73 172 0 8690 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 37872
[startup+942.308 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 17001
/proc/meminfo: memFree=1113896/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=37296 CPUtime=940.96
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 9064 0 0 0 94078 18 0 0 25 0 1 0 1015852380 38191104 8998 4294967295 134512640 135215339 3214097616 3214095680 134538362 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13988/statm: 9324 8998 73 172 0 9151 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 39716
[startup+1002.32 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 17190
/proc/meminfo: memFree=1112780/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=38392 CPUtime=1000.97
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 9368 0 0 0 100079 18 0 0 25 0 1 0 1015852380 39313408 9302 4294967295 134512640 135215339 3214097616 3214095904 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13988/statm: 9598 9302 73 172 0 9425 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 40812
[startup+1062.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 17377
/proc/meminfo: memFree=1111076/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=39956 CPUtime=1060.97
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 9751 0 0 0 106074 23 0 0 25 0 1 0 1015852380 40914944 9685 4294967295 134512640 135215339 3214097616 3214095904 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13988/statm: 9989 9685 73 172 0 9816 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 42376
[startup+1122.32 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 17565
/proc/meminfo: memFree=1109720/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=41484 CPUtime=1120.98
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 10132 0 0 0 112075 23 0 0 25 0 1 0 1015852380 42479616 10066 4294967295 134512640 135215339 3214097616 3214095904 134528881 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13988/statm: 10371 10066 73 172 0 10198 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 43904
[startup+1182.32 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 17756
/proc/meminfo: memFree=1107912/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=43272 CPUtime=1180.98
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 10549 0 0 0 118074 24 0 0 25 0 1 0 1015852380 44310528 10483 4294967295 134512640 135215339 3214097616 3214095904 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13988/statm: 10818 10483 73 172 0 10645 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 45692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 17759
/proc/meminfo: memFree=1107532/2074464 swapFree=1953004/1959888
[pid=13982] ppid=13980 vsize=2420 CPUtime=1.37
/proc/13982/stat : 13982 (SatELiteGTI) S 13980 13982 9090 0 -1 4194304 385 4650 0 0 0 0 131 6 20 0 1 0 1015852243 2478080 278 4294967295 134512640 135169312 3217629152 3217625368 3085459182 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13982/statm: 605 278 235 161 0 44 0
[pid=13988] ppid=13982 vsize=43892 CPUtime=1198.68
/proc/13988/stat : 13988 (minisat_static) R 13982 13982 9090 0 -1 4202496 10698 0 0 0 119844 24 0 0 25 0 1 0 1015852380 44945408 10632 4294967295 134512640 135215339 3214097616 3214095904 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13988/statm: 10973 10632 73 172 0 10800 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 46312
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.06
CPU user time (s): 1199.75
CPU system time (s): 0.31
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 46312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.75
system time used= 0.31
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16008
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= 21
involuntary context switches= 2926
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on tipi19 at 2009-05-17 00:38:39
IDJOB=1821166
IDBENCH=70864
IDSOLVER=657
FILE ID=tipi19/1821166-1242513519
PBS_JOBID=
Free space on /tmp= 9098 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-34-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821166-1242513519/watcher-1821166-1242513519 -o /tmp/evaluation-result-1821166-1242513519/solver-1821166-1242513519 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821166-1242513519.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d33264afbb7fa6f88a24b97cfc468c5a
RANDOM SEED= 130790247
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: 1155500 kB
Buffers: 26668 kB
Cached: 803124 kB
SwapCached: 2992 kB
Active: 168124 kB
Inactive: 671168 kB
HighTotal: 1178688 kB
HighFree: 453212 kB
LowTotal: 895776 kB
LowFree: 702288 kB
SwapTotal: 1959888 kB
SwapFree: 1953004 kB
Dirty: 3340 kB
Writeback: 0 kB
AnonPages: 8732 kB
Mapped: 3320 kB
Slab: 71724 kB
PageTables: 288 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87784 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9098 MiB
End job on tipi19 at 2009-05-17 00:58:39