0.00/0.00 c Parsing...
0.06/0.09 c ==============================================================================
0.06/0.09 c | | ORIGINAL | LEARNT | |
0.06/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.06/0.09 c ==============================================================================
0.06/0.09 c | 0 | 95911 226247 | 28773 0 0 nan | 0.000 % |
1.23/1.25 c | 0 | 59414 177649 | -- 0 -- -- | -- | -36157/-47622
1.23/1.25 c ==============================================================================
1.23/1.25 c Result : #vars: 14275 #clauses: 59414 #literals: 177649
1.23/1.25 c CPU time: 1.22 s
1.23/1.25 c ==============================================================================
1.23/1.32 c This is MiniSat 2.0 beta
1.23/1.32 c WARNING: for repeatability, setting FPU to use double precision
1.23/1.32 c ============================[ Problem Statistics ]=============================
1.32/1.32 c | |
1.32/1.32 c | Number of variables: 14275 |
1.32/1.32 c | Number of clauses: 59414 |
1.32/1.36 c | Parsing time: 0.05 s |
1.32/1.36 c ============================[ Search Statistics ]==============================
1.32/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.32/1.36 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.32/1.36 c ===============================================================================
1.32/1.36 c | 0 | 14275 59414 177649 | 19804 0 nan | 0.000 % |
1.32/1.44 c | 100 | 14255 59414 177649 | 19804 92 39 | 2.508 % |
1.32/1.88 c | 201 | 13917 57520 172850 | 19804 188 54 | 2.508 % |
2.23/2.26 c | 302 | 13917 57520 172850 | 19804 289 45 | 2.508 % |
2.63/2.65 c | 412 | 13917 57520 172850 | 19804 399 42 | 2.508 % |
2.93/2.97 c | 512 | 13917 57520 172850 | 19804 499 40 | 2.508 % |
3.33/3.33 c | 623 | 13917 57520 172850 | 19804 610 37 | 2.508 % |
3.83/3.86 c | 745 | 13917 57520 172850 | 19804 732 36 | 2.508 % |
4.23/4.31 c | 846 | 13917 57520 172850 | 19804 833 34 | 2.508 % |
4.73/4.77 c | 957 | 13917 57520 172850 | 19804 944 33 | 2.508 % |
5.23/5.24 c | 1079 | 13917 57520 172850 | 19804 1066 33 | 2.508 % |
5.43/5.47 c | 1213 | 13917 57520 172850 | 19804 1200 34 | 2.508 % |
5.83/5.86 c | 1314 | 13917 57520 172850 | 19804 1301 36 | 2.508 % |
6.23/6.25 c | 1425 | 13917 57520 172850 | 19804 1412 35 | 2.508 % |
6.53/6.52 c | 1547 | 13917 57520 172850 | 19804 1534 36 | 2.508 % |
6.83/6.87 c | 1680 | 13917 57520 172850 | 19804 1667 35 | 2.508 % |
7.33/7.32 c | 1826 | 13917 57520 172850 | 19804 1813 36 | 2.508 % |
7.63/7.66 c | 1926 | 13917 57520 172850 | 19804 1913 36 | 2.508 % |
7.83/7.83 c | 2037 | 13917 57520 172850 | 19804 2024 36 | 2.508 % |
8.13/8.19 c | 2160 | 13917 57520 172850 | 19804 2147 37 | 2.508 % |
8.63/8.68 c | 2294 | 13917 57520 172850 | 19804 2281 39 | 2.508 % |
8.93/8.97 c | 2441 | 13917 57520 172850 | 19804 2428 38 | 2.508 % |
9.53/9.52 c | 2604 | 13917 57520 172850 | 19804 2591 38 | 2.508 % |
9.83/9.90 c | 2704 | 13917 57520 172850 | 19804 2691 38 | 2.508 % |
10.23/10.23 c | 2814 | 13917 57520 172850 | 19804 2801 38 | 2.508 % |
10.53/10.59 c | 2937 | 13917 57520 172850 | 19804 2924 38 | 2.508 % |
11.03/11.10 c | 3070 | 13917 57520 172850 | 19804 3057 37 | 2.508 % |
11.73/11.81 c | 3216 | 13917 57520 172850 | 19804 3203 37 | 2.508 % |
12.33/12.37 c | 3376 | 13917 57520 172850 | 19804 3363 36 | 2.508 % |
13.03/13.04 c | 3553 | 13917 57520 172850 | 19804 3540 36 | 2.508 % |
13.33/13.36 c | 3653 | 13917 57520 172850 | 19804 3640 36 | 2.508 % |
13.73/13.78 c | 3763 | 13917 57520 172850 | 19804 3750 36 | 2.508 % |
14.23/14.29 c | 3885 | 13917 57520 172850 | 19804 3872 35 | 2.508 % |
14.83/14.91 c | 4018 | 13917 57520 172850 | 19804 4005 35 | 2.508 % |
15.33/15.32 c | 4167 | 13917 57520 172850 | 19804 4154 35 | 2.508 % |
15.83/15.88 c | 4328 | 13917 57520 172850 | 19804 4315 35 | 2.508 % |
16.33/16.40 c | 4505 | 13917 57520 172850 | 19804 4492 35 | 2.508 % |
17.13/17.15 c | 4699 | 13917 57520 172850 | 19804 4686 34 | 2.508 % |
17.53/17.59 c | 4799 | 13917 57520 172850 | 19804 4786 34 | 2.508 % |
18.03/18.02 c | 4910 | 13917 57520 172850 | 19804 4897 34 | 2.508 % |
18.53/18.55 c | 5032 | 13917 57520 172850 | 19804 5019 34 | 2.508 % |
19.13/19.21 c | 5165 | 13917 57520 172850 | 19804 5152 34 | 2.508 % |
19.83/19.88 c | 5311 | 13917 57520 172850 | 19804 5298 34 | 2.508 % |
20.33/20.39 c | 5471 | 13917 57520 172850 | 19804 5458 34 | 2.508 % |
21.03/21.07 c | 5648 | 13917 57520 172850 | 19804 5635 34 | 2.508 % |
21.93/21.92 c | 5841 | 13917 57520 172850 | 19804 5828 34 | 2.508 % |
22.73/22.76 c | 6054 | 13917 57520 172850 | 19804 6041 34 | 2.508 % |
23.13/23.21 c | 6154 | 13917 57520 172850 | 19804 6141 34 | 2.508 % |
23.73/23.72 c | 6264 | 13917 57520 172850 | 19804 6251 34 | 2.508 % |
24.33/24.33 c | 6386 | 13917 57520 172850 | 19804 6373 34 | 2.508 % |
24.93/24.93 c | 6519 | 13917 57520 172850 | 19804 6506 34 | 2.508 % |
25.43/25.46 c | 6666 | 13917 57520 172850 | 19804 6653 33 | 2.508 % |
26.13/26.15 c | 6826 | 13917 57520 172850 | 19804 6813 33 | 2.508 % |
26.83/26.89 c | 7002 | 13917 57520 172850 | 19804 6989 33 | 2.508 % |
27.43/27.45 c | 7195 | 13917 57520 172850 | 19804 7182 34 | 2.508 % |
28.23/28.29 c | 7407 | 13917 57520 172850 | 19804 7394 34 | 2.508 % |
29.13/29.19 c | 7642 | 13917 57520 172850 | 19804 7629 34 | 2.508 % |
29.53/29.58 c | 7742 | 13917 57520 172850 | 19804 7729 34 | 2.508 % |
30.13/30.14 c | 7852 | 13917 57520 172850 | 19804 7839 33 | 2.508 % |
30.63/30.65 c | 7973 | 13917 57520 172850 | 19804 7960 33 | 2.508 % |
31.23/31.29 c | 8107 | 13917 57520 172850 | 19804 8094 33 | 2.508 % |
31.93/31.92 c | 8254 | 13917 57520 172850 | 19804 8241 33 | 2.508 % |
32.23/32.31 c | 8416 | 13917 57520 172850 | 19804 8403 33 | 2.508 % |
33.13/33.13 c | 8592 | 13917 57520 172850 | 19804 8579 33 | 2.508 % |
34.03/34.05 c | 8786 | 13917 57520 172850 | 19804 8773 33 | 2.508 % |
34.93/34.96 c | 8998 | 13917 57520 172850 | 19804 8985 33 | 2.508 % |
35.93/35.98 c | 9232 | 13871 57308 172369 | 19804 9218 33 | 2.830 % |
37.23/37.22 c | 9489 | 13871 57308 172369 | 19804 9475 33 | 2.830 % |
37.73/37.74 c | 9590 | 13871 57308 172369 | 19804 9576 33 | 2.830 % |
38.23/38.31 c | 9700 | 13871 57308 172369 | 19804 9686 33 | 2.830 % |
38.83/38.81 c | 9825 | 13871 57308 172369 | 19804 9811 33 | 2.830 % |
39.33/39.40 c | 9958 | 13871 57308 172369 | 19804 9944 33 | 2.830 % |
40.13/40.12 c | 10105 | 13871 57308 172369 | 2147483647 10091 32 | 2.830 % |
40.83/40.85 c | 10267 | 13871 57308 172369 | 2147483647 10253 32 | 2.830 % |
41.73/41.80 c | 10444 | 13871 57308 172369 | 2147483647 10430 32 | 2.830 % |
42.63/42.61 c | 10639 | 13871 57308 172369 | 2147483647 10625 32 | 2.830 % |
43.63/43.70 c | 10853 | 13871 57308 172369 | 2147483647 10839 32 | 2.830 % |
44.93/44.93 c | 11086 | 13871 57308 172369 | 2147483647 11072 32 | 2.830 % |
46.13/46.16 c | 11343 | 13871 57308 172369 | 2147483647 11329 32 | 2.830 % |
47.23/47.31 c | 11625 | 13871 57308 172369 | 2147483647 11611 32 | 2.830 % |
47.43/47.43 c | 11727 | 13871 57308 172369 | 2147483647 11713 32 | 2.830 % |
47.93/47.93 c | 11837 | 13871 57308 172369 | 2147483647 11823 32 | 2.830 % |
48.43/48.49 c | 11958 | 13871 57308 172369 | 2147483647 11944 32 | 2.830 % |
49.13/49.17 c | 12091 | 13871 57308 172369 | 2147483647 12077 32 | 2.830 % |
49.83/49.85 c | 12237 | 13871 57308 172369 | 2147483647 12223 32 | 2.830 % |
50.23/50.27 c | 12397 | 13871 57308 172369 | 2147483647 12383 32 | 2.830 % |
51.02/51.08 c | 12574 | 13871 57308 172369 | 2147483647 12560 32 | 2.830 % |
52.02/52.08 c | 12768 | 13871 57308 172369 | 2147483647 12754 32 | 2.830 % |
52.92/52.97 c | 12981 | 13871 57308 172369 | 2147483647 12967 32 | 2.830 % |
53.82/53.82 c | 13215 | 13871 57308 172369 | 2147483647 13201 32 | 2.830 % |
54.82/54.86 c | 13471 | 13871 57308 172369 | 2147483647 13457 32 | 2.830 % |
56.12/56.12 c | 13752 | 13871 57308 172369 | 2147483647 13738 32 | 2.830 % |
57.52/57.57 c | 14062 | 13871 57308 172369 | 2147483647 14048 32 | 2.830 % |
58.02/58.05 c | 14162 | 13871 57308 172369 | 2147483647 14148 32 | 2.830 % |
58.42/58.48 c | 14273 | 13871 57308 172369 | 2147483647 14259 32 | 2.830 % |
58.92/58.99 c | 14395 | 13871 57308 172369 | 2147483647 14381 32 | 2.830 % |
59.32/59.35 c | 14529 | 13871 57308 172369 | 2147483647 14515 32 | 2.830 % |
59.82/59.85 c | 14679 | 13871 57308 172369 | 2147483647 14665 32 | 2.830 % |
60.42/60.44 c | 14840 | 13871 57308 172369 | 2147483647 14826 32 | 2.830 % |
61.22/61.25 c | 15018 | 13871 57308 172369 | 2147483647 15004 32 | 2.830 % |
61.82/61.88 c | 15211 | 13871 57308 172369 | 2147483647 15197 33 | 2.830 % |
62.82/62.87 c | 15423 | 13871 57308 172369 | 2147483647 15409 32 | 2.830 % |
63.92/63.91 c | 15657 | 13871 57308 172369 | 2147483647 15643 32 | 2.830 % |
64.93/65.00 c | 15913 | 13871 57308 172369 | 2147483647 15899 32 | 2.830 % |
66.22/66.24 c | 16195 | 13871 57308 172369 | 2147483647 16181 32 | 2.830 % |
67.92/67.92 c | 16504 | 13871 57308 172369 | 2147483647 16490 32 | 2.830 % |
69.72/69.71 c | 16843 | 13871 57308 172369 | 2147483647 16829 32 | 2.830 % |
70.12/70.12 c | 16943 | 13871 57308 172369 | 2147483647 16929 32 | 2.830 % |
70.62/70.61 c | 17053 | 13871 57308 172369 | 2147483647 17039 32 | 2.830 % |
71.12/71.19 c | 17175 | 13871 57308 172369 | 2147483647 17161 32 | 2.830 % |
71.92/71.90 c | 17308 | 13871 57308 172369 | 2147483647 17294 32 | 2.830 % |
72.63/72.63 c | 17455 | 13871 57308 172369 | 2147483647 17441 32 | 2.830 % |
73.52/73.55 c | 17615 | 13871 57308 172369 | 2147483647 17601 32 | 2.830 % |
74.42/74.46 c | 17791 | 13871 57308 172369 | 2147483647 17777 32 | 2.830 % |
75.52/75.52 c | 17984 | 13871 57308 172369 | 2147483647 17970 32 | 2.830 % |
76.22/76.21 c | 18196 | 13871 57308 172369 | 2147483647 18182 32 | 2.830 % |
77.42/77.48 c | 18430 | 13871 57308 172369 | 2147483647 18416 32 | 2.830 % |
78.52/78.55 c | 18686 | 13871 57308 172369 | 2147483647 18672 32 | 2.830 % |
79.52/79.55 c | 18967 | 13871 57308 172369 | 2147483647 18953 32 | 2.830 % |
80.92/80.93 c | 19276 | 13871 57308 172369 | 2147483647 19262 32 | 2.830 % |
82.32/82.36 c | 19615 | 13871 57308 172369 | 2147483647 19601 32 | 2.830 % |
83.92/83.93 c | 19988 | 13871 57308 172369 | 2147483647 19974 32 | 2.830 % |
84.32/84.39 c | 20088 | 13871 57308 172369 | 2147483647 20074 32 | 2.830 % |
84.73/84.73 c | 20198 | 13871 57308 172369 | 2147483647 20184 32 | 2.830 % |
84.82/84.88 c | 20320 | 13871 57308 172369 | 2147483647 20306 32 | 2.830 % |
85.52/85.59 c | 20453 | 13871 57308 172369 | 2147483647 20439 33 | 2.830 % |
86.32/86.37 c | 20599 | 13871 57308 172369 | 2147483647 20585 33 | 2.830 % |
87.22/87.26 c | 20760 | 13871 57308 172369 | 2147483647 20746 33 | 2.830 % |
87.92/87.97 c | 20936 | 13871 57308 172369 | 2147483647 20922 33 | 2.830 % |
89.02/89.01 c | 21129 | 13871 57308 172369 | 2147483647 21115 32 | 2.830 % |
90.23/90.22 c | 21341 | 13871 57308 172369 | 2147483647 21327 32 | 2.830 % |
91.12/91.19 c | 21576 | 13871 57308 172369 | 2147483647 21562 32 | 2.830 % |
92.32/92.37 c | 21832 | 13871 57308 172369 | 2147483647 21818 33 | 2.830 % |
93.72/93.74 c | 22114 | 13871 57308 172369 | 2147483647 22100 33 | 2.830 % |
95.32/95.40 c | 22424 | 13871 57308 172369 | 2147483647 22410 32 | 2.830 % |
95.92/95.97 c | 22764 | 13871 57308 172369 | 2147483647 22750 33 | 2.830 % |
97.82/97.87 c | 23137 | 13871 57308 172369 | 2147483647 23123 33 | 2.830 % |
99.72/99.78 c | 23547 | 13871 57308 172369 | 2147483647 23533 33 | 2.830 % |
100.32/100.35 c | 23649 | 13871 57308 172369 | 2147483647 23635 33 | 2.830 % |
100.92/100.91 c | 23759 | 13871 57308 172369 | 2147483647 23745 33 | 2.830 % |
101.32/101.37 c | 23880 | 13871 57308 172369 | 2147483647 23866 33 | 2.830 % |
102.12/102.12 c | 24013 | 13871 57308 172369 | 2147483647 23999 33 | 2.830 % |
102.82/102.81 c | 24159 | 13871 57308 172369 | 2147483647 24145 33 | 2.830 % |
103.52/103.54 c | 24319 | 13871 57308 172369 | 2147483647 24305 33 | 2.830 % |
104.42/104.45 c | 24496 | 13871 57308 172369 | 2147483647 24482 33 | 2.830 % |
104.92/104.96 c | 24689 | 13871 57308 172369 | 2147483647 24675 34 | 2.830 % |
105.82/105.88 c | 24902 | 13871 57308 172369 | 2147483647 24888 34 | 2.830 % |
107.02/107.07 c | 25136 | 13871 57308 172369 | 2147483647 25122 34 | 2.830 % |
108.33/108.32 c | 25392 | 13871 57308 172369 | 2147483647 25378 34 | 2.830 % |
109.73/109.79 c | 25673 | 13871 57308 172369 | 2147483647 25659 34 | 2.830 % |
111.13/111.21 c | 25982 | 13871 57308 172369 | 2147483647 25968 34 | 2.830 % |
113.13/113.13 c | 26321 | 13871 57308 172369 | 2147483647 26307 34 | 2.830 % |
114.93/114.92 c | 26693 | 13871 57308 172369 | 2147483647 26679 34 | 2.830 % |
116.43/116.44 c | 27103 | 13871 57308 172369 | 2147483647 27089 34 | 2.830 % |
118.53/118.55 c | 27553 | 13871 57308 172369 | 2147483647 27539 34 | 2.830 % |
119.13/119.13 c | 27653 | 13871 57308 172369 | 2147483647 27639 34 | 2.830 % |
119.73/119.74 c | 27763 | 13871 57308 172369 | 2147483647 27749 34 | 2.830 % |
120.23/120.21 c | 27885 | 13871 57308 172369 | 2147483647 27871 34 | 2.830 % |
120.83/120.88 c | 28019 | 13871 57308 172369 | 2147483647 28005 34 | 2.830 % |
121.53/121.52 c | 28166 | 13871 57308 172369 | 2147483647 28152 34 | 2.830 % |
122.23/122.27 c | 28326 | 13871 57308 172369 | 2147483647 28312 34 | 2.830 % |
123.03/123.05 c | 28503 | 13871 57308 172369 | 2147483647 28489 34 | 2.830 % |
124.03/124.10 c | 28697 | 13871 57308 172369 | 2147483647 28683 34 | 2.830 % |
125.13/125.18 c | 28910 | 13871 57308 172369 | 2147483647 28896 34 | 2.830 % |
126.63/126.62 c | 29143 | 13871 57308 172369 | 2147483647 29129 34 | 2.830 % |
128.13/128.16 c | 29400 | 13871 57308 172369 | 2147483647 29386 34 | 2.830 % |
129.73/129.77 c | 29682 | 13871 57308 172369 | 2147483647 29668 34 | 2.830 % |
131.63/131.66 c | 29992 | 13871 57308 172369 | 2147483647 29978 34 | 2.830 % |
133.63/133.66 c | 30332 | 13871 57308 172369 | 2147483647 30318 33 | 2.830 % |
134.73/134.73 c | 30705 | 13871 57308 172369 | 2147483647 30691 34 | 2.830 % |
136.53/136.53 c | 31115 | 13871 57308 172369 | 2147483647 31101 34 | 2.830 % |
138.23/138.29 c | 31566 | 13871 57308 172369 | 2147483647 31552 34 | 2.830 % |
141.13/141.18 c | 32059 | 13871 57308 172369 | 2147483647 32045 34 | 2.830 % |
141.53/141.56 c | 32159 | 13871 57308 172369 | 2147483647 32145 34 | 2.830 % |
142.13/142.14 c | 32269 | 13871 57308 172369 | 2147483647 32255 34 | 2.830 % |
142.53/142.55 c | 32390 | 13871 57308 172369 | 2147483647 32376 34 | 2.830 % |
142.83/142.88 c | 32523 | 13871 57308 172369 | 2147483647 32509 34 | 2.830 % |
143.23/143.29 c | 32670 | 13871 57308 172369 | 2147483647 32656 34 | 2.830 % |
144.23/144.21 c | 32831 | 13871 57308 172369 | 2147483647 32817 34 | 2.830 % |
145.03/145.05 c | 33008 | 13871 57308 172369 | 2147483647 32994 34 | 2.830 % |
146.03/146.03 c | 33202 | 13871 57308 172369 | 2147483647 33188 34 | 2.830 % |
147.03/147.10 c | 33415 | 13871 57308 172369 | 2147483647 33401 34 | 2.830 % |
148.43/148.43 c | 33648 | 13871 57308 172369 | 2147483647 33634 34 | 2.830 % |
149.83/149.89 c | 33905 | 13871 57308 172369 | 2147483647 33891 34 | 2.830 % |
151.53/151.55 c | 34186 | 13871 57308 172369 | 2147483647 34172 34 | 2.830 % |
152.33/152.35 c | 34496 | 13871 57308 172369 | 2147483647 34482 34 | 2.830 % |
154.53/154.51 c | 34836 | 13871 57308 172369 | 2147483647 34822 34 | 2.830 % |
156.73/156.71 c | 35209 | 13871 57308 172369 | 2147483647 35195 34 | 2.830 % |
158.93/158.99 c | 35619 | 13871 57308 172369 | 2147483647 35605 34 | 2.830 % |
161.63/161.67 c | 36069 | 13871 57308 172369 | 2147483647 36055 34 | 2.830 % |
164.23/164.21 c | 36562 | 13871 57308 172369 | 2147483647 36548 34 | 2.830 % |
167.23/167.25 c | 37105 | 13871 57308 172369 | 2147483647 37091 33 | 2.830 % |
167.93/167.95 c | 37205 | 13871 57308 172369 | 2147483647 37191 33 | 2.830 % |
168.73/168.73 c | 37315 | 13871 57308 172369 | 2147483647 37301 33 | 2.830 % |
169.33/169.40 c | 37437 | 13871 57308 172369 | 2147483647 37423 33 | 2.830 % |
170.13/170.18 c | 37570 | 13871 57308 172369 | 2147483647 37556 33 | 2.830 % |
171.03/171.08 c | 37717 | 13871 57308 172369 | 2147483647 37703 33 | 2.830 % |
171.93/172.00 c | 37878 | 13871 57308 172369 | 2147483647 37864 33 | 2.830 % |
172.93/172.93 c | 38054 | 13871 57308 172369 | 2147483647 38040 33 | 2.830 % |
174.03/174.01 c | 38247 | 13871 57308 172369 | 2147483647 38233 33 | 2.830 % |
175.13/175.20 c | 38460 | 13871 57308 172369 | 2147483647 38446 33 | 2.830 % |
176.53/176.51 c | 38694 | 13871 57308 172369 | 2147483647 38680 33 | 2.830 % |
177.93/177.92 c | 38951 | 13871 57308 172369 | 2147483647 38937 33 | 2.830 % |
179.63/179.67 c | 39232 | 13871 57308 172369 | 2147483647 39218 33 | 2.830 % |
181.63/181.63 c | 39541 | 13871 57308 172369 | 2147483647 39527 33 | 2.830 % |
183.03/183.09 c | 39881 | 13871 57308 172369 | 2147483647 39867 33 | 2.830 % |
185.13/185.19 c | 40253 | 13871 57308 172369 | 2147483647 40239 33 | 2.830 % |
187.53/187.51 c | 40663 | 13871 57308 172369 | 2147483647 40649 33 | 2.830 % |
189.63/189.70 c | 41113 | 13871 57308 172369 | 2147483647 41099 33 | 2.830 % |
191.83/191.88 c | 41607 | 13871 57308 172369 | 2147483647 41593 33 | 2.830 % |
194.83/194.81 c | 42149 | 13871 57308 172369 | 2147483647 42135 33 | 2.830 % |
197.63/197.62 c | 42746 | 13871 57308 172369 | 2147483647 42732 33 | 2.830 % |
198.13/198.18 c | 42847 | 13871 57308 172369 | 2147483647 42833 33 | 2.830 % |
198.43/198.49 c | 42957 | 13871 57308 172369 | 2147483647 42943 33 | 2.830 % |
199.03/199.06 c | 43079 | 13871 57308 172369 | 2147483647 43065 33 | 2.830 % |
199.63/199.62 c | 43212 | 13871 57308 172369 | 2147483647 43198 33 | 2.830 % |
200.33/200.35 c | 43358 | 13871 57308 172369 | 2147483647 43344 33 | 2.830 % |
201.13/201.13 c | 43519 | 13871 57308 172369 | 2147483647 43505 33 | 2.830 % |
202.13/202.13 c | 43696 | 13871 57308 172369 | 2147483647 43682 33 | 2.830 % |
203.13/203.20 c | 43890 | 13871 57308 172369 | 2147483647 43876 33 | 2.830 % |
204.23/204.29 c | 44102 | 13871 57308 172369 | 2147483647 44088 33 | 2.830 % |
204.93/204.94 c | 44335 | 13871 57308 172369 | 2147483647 44321 33 | 2.830 % |
206.13/206.19 c | 44592 | 13871 57308 172369 | 2147483647 44578 33 | 2.830 % |
207.43/207.41 c | 44873 | 13871 57308 172369 | 2147483647 44859 33 | 2.830 % |
208.63/208.62 c | 45183 | 13871 57308 172369 | 2147483647 45169 34 | 2.830 % |
210.53/210.60 c | 45522 | 13871 57308 172369 | 2147483647 45508 33 | 2.830 % |
212.63/212.68 c | 45895 | 13871 57308 172369 | 2147483647 45881 33 | 2.830 % |
215.13/215.17 c | 46304 | 13871 57308 172369 | 2147483647 46290 34 | 2.830 % |
217.93/217.92 c | 46754 | 13871 57308 172369 | 2147483647 46740 33 | 2.830 % |
220.73/220.76 c | 47247 | 13871 57308 172369 | 2147483647 47233 33 | 2.830 % |
224.14/224.19 c | 47789 | 13871 57308 172369 | 2147483647 47775 33 | 2.830 % |
227.54/227.57 c | 48385 | 13871 57308 172369 | 2147483647 48371 33 | 2.830 % |
231.04/231.10 c | 49040 | 13871 57308 172369 | 2147483647 49026 33 | 2.830 % |
231.64/231.65 c | 49141 | 13871 57308 172369 | 2147483647 49127 33 | 2.830 % |
232.14/232.19 c | 49253 | 13871 57308 172369 | 2147483647 49239 34 | 2.830 % |
232.84/232.90 c | 49375 | 13871 57308 172369 | 2147483647 49361 34 | 2.830 % |
233.44/233.51 c | 49508 | 13871 57308 172369 | 2147483647 49494 34 | 2.830 % |
234.34/234.41 c | 49654 | 13871 57308 172369 | 2147483647 49640 34 | 2.830 % |
235.44/235.42 c | 49815 | 13871 57308 172369 | 2147483647 49801 34 | 2.830 % |
236.64/236.63 c | 49991 | 13871 57308 172369 | 2147483647 49977 33 | 2.830 % |
237.64/237.70 c | 50185 | 13871 57308 172369 | 2147483647 50171 33 | 2.830 % |
238.84/238.88 c | 50398 | 13871 57308 172369 | 2147483647 50384 33 | 2.830 % |
240.14/240.14 c | 50631 | 13871 57308 172369 | 2147483647 50617 33 | 2.830 % |
241.24/241.26 c | 50888 | 13871 57308 172369 | 2147483647 50874 34 | 2.830 % |
242.44/242.42 c | 51169 | 13871 57308 172369 | 2147483647 51155 34 | 2.830 % |
243.84/243.84 c | 51479 | 13871 57308 172369 | 2147483647 51465 34 | 2.830 % |
245.14/245.16 c | 51819 | 13871 57308 172369 | 2147483647 51805 34 | 2.830 % |
247.44/247.45 c | 52191 | 13871 57308 172369 | 2147483647 52177 34 | 2.830 % |
249.04/249.05 c | 52600 | 13871 57308 172369 | 2147483647 52586 34 | 2.830 % |
251.44/251.46 c | 53049 | 13871 57308 172369 | 2147483647 53035 34 | 2.830 % |
254.44/254.51 c | 53543 | 13871 57308 172369 | 2147483647 53529 34 | 2.830 % |
257.74/257.73 c | 54085 | 13871 57308 172369 | 2147483647 54071 34 | 2.830 % |
261.24/261.26 c | 54684 | 13871 57308 172369 | 2147483647 54670 34 | 2.830 % |
265.64/265.67 c | 55340 | 13871 57308 172369 | 2147483647 55326 34 | 2.830 % |
269.94/269.93 c | 56060 | 13871 57308 172369 | 2147483647 56046 34 | 2.830 % |
270.54/270.56 c | 56161 | 13871 57308 172369 | 2147483647 56147 34 | 2.830 % |
271.14/271.19 c | 56271 | 13871 57308 172369 | 2147483647 56257 34 | 2.830 % |
271.84/271.81 c | 56393 | 13871 57308 172369 | 2147483647 56379 34 | 2.830 % |
272.44/272.51 c | 56527 | 13871 57308 172369 | 2147483647 56513 34 | 2.830 % |
273.34/273.41 c | 56673 | 13871 57308 172369 | 2147483647 56659 34 | 2.830 % |
274.14/274.20 c | 56834 | 13871 57308 172369 | 2147483647 56820 34 | 2.830 % |
274.54/274.61 c | 57011 | 13871 57308 172369 | 2147483647 56997 34 | 2.830 % |
275.34/275.33 c | 57205 | 13871 57308 172369 | 2147483647 57191 34 | 2.830 % |
276.44/276.44 c | 57417 | 13871 57308 172369 | 2147483647 57403 34 | 2.830 % |
277.44/277.47 c | 57650 | 13871 57308 172369 | 2147483647 57636 34 | 2.830 % |
278.94/279.00 c | 57906 | 13871 57308 172369 | 2147483647 57892 34 | 2.830 % |
280.24/280.24 c | 58188 | 13871 57308 172369 | 2147483647 58174 34 | 2.830 % |
281.94/281.94 c | 58498 | 13871 57308 172369 | 2147483647 58484 34 | 2.830 % |
283.94/283.92 c | 58838 | 13871 57308 172369 | 2147483647 58824 34 | 2.830 % |
286.34/286.34 c | 59210 | 13871 57308 172369 | 2147483647 59196 34 | 2.830 % |
287.24/287.22 c | 59619 | 13871 57308 172369 | 2147483647 59605 35 | 2.830 % |
289.74/289.72 c | 60069 | 13871 57308 172369 | 2147483647 60055 35 | 2.830 % |
293.14/293.15 c | 60563 | 13871 57308 172369 | 2147483647 60549 35 | 2.830 % |
296.54/296.55 c | 61106 | 13871 57308 172369 | 2147483647 61092 35 | 2.830 % |
299.43/299.49 c | 61702 | 13871 57308 172369 | 2147483647 61688 35 | 2.830 % |
302.63/302.66 c | 62357 | 13871 57308 172369 | 2147483647 62343 35 | 2.830 % |
306.73/306.77 c | 63077 | 13871 57308 172369 | 2147483647 63063 35 | 2.830 % |
311.43/311.43 c | 63870 | 13871 57308 172369 | 2147483647 63856 35 | 2.830 % |
312.03/312.05 c | 63971 | 13871 57308 172369 | 2147483647 63957 35 | 2.830 % |
312.73/312.73 c | 64082 | 13871 57308 172369 | 2147483647 64068 35 | 2.830 % |
313.33/313.38 c | 64203 | 13871 57308 172369 | 2147483647 64189 35 | 2.830 % |
314.23/314.21 c | 64338 | 13871 57308 172369 | 2147483647 64324 35 | 2.830 % |
315.13/315.16 c | 64484 | 13871 57308 172369 | 2147483647 64470 35 | 2.830 % |
316.33/316.30 c | 64644 | 13871 57308 172369 | 2147483647 64630 35 | 2.830 % |
317.43/317.44 c | 64820 | 13871 57308 172369 | 2147483647 64806 35 | 2.830 % |
318.83/318.84 c | 65013 | 13871 57308 172369 | 2147483647 64999 35 | 2.830 % |
320.23/320.30 c | 65225 | 13871 57308 172369 | 2147483647 65211 35 | 2.830 % |
321.93/321.98 c | 65458 | 13871 57308 172369 | 2147483647 65444 35 | 2.830 % |
323.73/323.73 c | 65714 | 13871 57308 172369 | 2147483647 65700 35 | 2.830 % |
325.64/325.67 c | 65996 | 13871 57308 172369 | 2147483647 65982 34 | 2.830 % |
327.73/327.81 c | 66306 | 13871 57308 172369 | 2147483647 66292 34 | 2.830 % |
330.13/330.15 c | 66645 | 13871 57308 172369 | 2147483647 66631 34 | 2.830 % |
332.53/332.54 c | 67017 | 13871 57308 172369 | 2147483647 67003 34 | 2.830 % |
335.14/335.13 c | 67426 | 13871 57308 172369 | 2147483647 67412 34 | 2.830 % |
337.74/337.76 c | 67876 | 13871 57308 172369 | 2147483647 67862 34 | 2.830 % |
340.74/340.73 c | 68370 | 13871 57308 172369 | 2147483647 68356 35 | 2.830 % |
342.84/342.91 c | 68913 | 13871 57308 172369 | 2147483647 68899 35 | 2.830 % |
344.04/344.07 c | 69509 | 13871 57308 172369 | 2147483647 69495 35 | 2.830 % |
348.04/348.09 c | 70164 | 13871 57308 172369 | 2147483647 70150 35 | 2.830 % |
350.64/350.70 c | 70886 | 13871 57308 172369 | 2147483647 70872 35 | 2.830 % |
355.54/355.60 c | 71678 | 13871 57308 172369 | 2147483647 71664 36 | 2.830 % |
360.54/360.54 c | 72550 | 13871 57308 172369 | 2147483647 72536 36 | 2.830 % |
361.14/361.19 c | 72651 | 13871 57308 172369 | 2147483647 72637 36 | 2.830 % |
361.94/361.94 c | 72763 | 13871 57308 172369 | 2147483647 72749 36 | 2.830 % |
362.74/362.76 c | 72884 | 13871 57308 172369 | 2147483647 72870 36 | 2.830 % |
363.54/363.52 c | 73018 | 13871 57308 172369 | 2147483647 73004 36 | 2.830 % |
364.24/364.22 c | 73165 | 13871 57308 172369 | 2147483647 73151 36 | 2.830 % |
365.24/365.22 c | 73325 | 13871 57308 172369 | 2147483647 73311 36 | 2.830 % |
366.34/366.35 c | 73501 | 13871 57308 172369 | 2147483647 73487 36 | 2.830 % |
367.64/367.68 c | 73694 | 13871 57308 172369 | 2147483647 73680 36 | 2.830 % |
368.94/368.99 c | 73907 | 13871 57308 172369 | 2147483647 73893 36 | 2.830 % |
370.74/370.76 c | 74140 | 13871 57308 172369 | 2147483647 74126 36 | 2.830 % |
372.54/372.60 c | 74396 | 13871 57308 172369 | 2147483647 74382 36 | 2.830 % |
374.44/374.43 c | 74677 | 13871 57308 172369 | 2147483647 74663 36 | 2.830 % |
376.64/376.63 c | 74986 | 13871 57308 172369 | 2147483647 74972 36 | 2.830 % |
378.84/378.89 c | 75325 | 13871 57308 172369 | 2147483647 75311 36 | 2.830 % |
381.84/381.83 c | 75698 | 13871 57308 172369 | 2147483647 75684 36 | 2.830 % |
384.44/384.41 c | 76107 | 13871 57308 172369 | 2147483647 76093 35 | 2.830 % |
387.74/387.72 c | 76556 | 13871 57308 172369 | 2147483647 76542 35 | 2.830 % |
391.44/391.46 c | 77051 | 13871 57308 172369 | 2147483647 77037 35 | 2.830 % |
395.14/395.15 c | 77593 | 13871 57308 172369 | 2147483647 77579 35 | 2.830 % |
399.24/399.25 c | 78192 | 13871 57308 172369 | 2147483647 78178 35 | 2.830 % |
403.44/403.50 c | 78847 | 13871 57308 172369 | 2147483647 78833 35 | 2.830 % |
408.74/408.81 c | 79569 | 13871 57308 172369 | 2147483647 79555 35 | 2.830 % |
414.24/414.29 c | 80362 | 13871 57308 172369 | 2147483647 80348 35 | 2.830 % |
420.64/420.63 c | 81234 | 13871 57308 172369 | 2147483647 81220 35 | 2.830 % |
427.24/427.23 c | 82192 | 13871 57308 172369 | 2147483647 82178 35 | 2.830 % |
427.95/427.94 c | 82294 | 13871 57308 172369 | 2147483647 82280 35 | 2.830 % |
428.74/428.71 c | 82404 | 13871 57308 172369 | 2147483647 82390 35 | 2.830 % |
429.34/429.38 c | 82526 | 13871 57308 172369 | 2147483647 82512 35 | 2.830 % |
430.44/430.44 c | 82660 | 13871 57308 172369 | 2147483647 82646 35 | 2.830 % |
431.54/431.59 c | 82806 | 13871 57308 172369 | 2147483647 82792 35 | 2.830 % |
432.64/432.65 c | 82966 | 13871 57308 172369 | 2147483647 82952 35 | 2.830 % |
433.84/433.90 c | 83143 | 13871 57308 172369 | 2147483647 83129 35 | 2.830 % |
435.34/435.33 c | 83337 | 13871 57308 172369 | 2147483647 83323 35 | 2.830 % |
436.54/436.57 c | 83549 | 13871 57308 172369 | 2147483647 83535 35 | 2.830 % |
438.14/438.20 c | 83783 | 13871 57308 172369 | 2147483647 83769 35 | 2.830 % |
439.64/439.68 c | 84039 | 13871 57308 172369 | 2147483647 84025 35 | 2.830 % |
441.54/441.52 c | 84320 | 13871 57308 172369 | 2147483647 84306 35 | 2.830 % |
443.74/443.78 c | 84630 | 13871 57308 172369 | 2147483647 84616 35 | 2.830 % |
446.34/446.36 c | 84969 | 13871 57308 172369 | 2147483647 84955 35 | 2.830 % |
448.85/448.88 c | 85341 | 13871 57308 172369 | 2147483647 85327 35 | 2.830 % |
451.85/451.90 c | 85750 | 13871 57308 172369 | 2147483647 85736 35 | 2.830 % |
455.05/455.05 c | 86200 | 13871 57308 172369 | 2147483647 86186 35 | 2.830 % |
457.75/457.78 c | 86693 | 13871 57308 172369 | 2147483647 86679 35 | 2.830 % |
461.45/461.47 c | 87235 | 13871 57308 172369 | 2147483647 87221 35 | 2.830 % |
464.05/464.05 c | 87831 | 13871 57308 172369 | 2147483647 87817 35 | 2.830 % |
468.75/468.80 c | 88487 | 13871 57308 172369 | 2147483647 88473 35 | 2.830 % |
474.45/474.50 c | 89208 | 13871 57308 172369 | 2147483647 89194 35 | 2.830 % |
480.45/480.44 c | 90000 | 13871 57308 172369 | 2147483647 89986 35 | 2.830 % |
486.65/486.64 c | 90872 | 13871 57308 172369 | 2147483647 90858 35 | 2.830 % |
493.95/493.95 c | 91831 | 13871 57308 172369 | 2147483647 91817 35 | 2.830 % |
501.45/501.48 c | 92885 | 13871 57308 172369 | 2147483647 92871 35 | 2.830 % |
502.25/502.27 c | 92985 | 13871 57308 172369 | 2147483647 92971 35 | 2.830 % |
503.25/503.24 c | 93096 | 13871 57308 172369 | 2147483647 93082 35 | 2.830 % |
504.35/504.32 c | 93218 | 13871 57308 172369 | 2147483647 93204 35 | 2.830 % |
505.45/505.50 c | 93351 | 13871 57308 172369 | 2147483647 93337 35 | 2.830 % |
506.45/506.50 c | 93498 | 13871 57308 172369 | 2147483647 93484 35 | 2.830 % |
507.55/507.53 c | 93658 | 13871 57308 172369 | 2147483647 93644 35 | 2.830 % |
508.75/508.76 c | 93834 | 13871 57308 172369 | 2147483647 93820 35 | 2.830 % |
510.05/510.04 c | 94029 | 13871 57308 172369 | 2147483647 94015 35 | 2.830 % |
511.55/511.56 c | 94241 | 13871 57308 172369 | 2147483647 94227 35 | 2.830 % |
512.85/512.90 c | 94474 | 13871 57308 172369 | 2147483647 94460 35 | 2.830 % |
515.05/515.08 c | 94730 | 13871 57308 172369 | 2147483647 94716 35 | 2.830 % |
517.35/517.37 c | 95012 | 13871 57308 172369 | 2147483647 94998 35 | 2.830 % |
519.85/519.81 c | 95321 | 13871 57308 172369 | 2147483647 95307 35 | 2.830 % |
522.25/522.23 c | 95661 | 13871 57308 172369 | 2147483647 95647 35 | 2.830 % |
525.15/525.16 c | 96034 | 13871 57308 172369 | 2147483647 96020 35 | 2.830 % |
528.35/528.40 c | 96444 | 13871 57308 172369 | 2147483647 96430 35 | 2.830 % |
531.55/531.58 c | 96893 | 13871 57308 172369 | 2147483647 96879 35 | 2.830 % |
535.35/535.41 c | 97386 | 13871 57308 172369 | 2147483647 97372 35 | 2.830 % |
539.55/539.56 c | 97928 | 13871 57308 172369 | 2147483647 97914 35 | 2.830 % |
544.15/544.21 c | 98524 | 13871 57308 172369 | 2147483647 98510 35 | 2.830 % |
548.35/548.34 c | 99182 | 13871 57308 172369 | 2147483647 99168 35 | 2.830 % |
553.05/553.04 c | 99903 | 13871 57308 172369 | 2147483647 99889 35 | 2.830 % |
558.95/558.92 c | 100696 | 13871 57308 172369 | 2147483647 100682 35 | 2.830 % |
565.66/565.68 c | 101567 | 13871 57308 172369 | 2147483647 101553 35 | 2.830 % |
572.26/572.22 c | 102526 | 13871 57308 172369 | 2147483647 102512 35 | 2.830 % |
580.46/580.47 c | 103579 | 13871 57308 172369 | 2147483647 103565 35 | 2.830 % |
589.46/589.44 c | 104738 | 13871 57308 172369 | 2147483647 104724 35 | 2.830 % |
590.16/590.19 c | 104839 | 13871 57308 172369 | 2147483647 104825 35 | 2.830 % |
590.96/591.00 c | 104949 | 13871 57308 172369 | 2147483647 104935 35 | 2.830 % |
592.06/592.07 c | 105070 | 13871 57308 172369 | 2147483647 105056 35 | 2.830 % |
592.56/592.59 c | 105203 | 13871 57308 172369 | 2147483647 105189 35 | 2.830 % |
593.76/593.73 c | 105351 | 13871 57308 172369 | 2147483647 105337 35 | 2.830 % |
595.06/595.06 c | 105512 | 13871 57308 172369 | 2147483647 105498 35 | 2.830 % |
596.56/596.60 c | 105689 | 13871 57308 172369 | 2147483647 105675 35 | 2.830 % |
598.16/598.19 c | 105884 | 13871 57308 172369 | 2147483647 105870 35 | 2.830 % |
599.36/599.35 c | 106097 | 13871 57308 172369 | 2147483647 106083 35 | 2.830 % |
601.26/601.28 c | 106331 | 13871 57308 172369 | 2147483647 106317 35 | 2.830 % |
603.46/603.51 c | 106587 | 13871 57308 172369 | 2147483647 106573 35 | 2.830 % |
605.86/605.88 c | 106868 | 13871 57308 172369 | 2147483647 106854 35 | 2.830 % |
608.46/608.48 c | 107177 | 13871 57308 172369 | 2147483647 107163 35 | 2.830 % |
611.06/611.10 c | 107516 | 13871 57308 172369 | 2147483647 107502 35 | 2.830 % |
614.06/614.03 c | 107888 | 13871 57308 172369 | 2147483647 107874 35 | 2.830 % |
615.66/615.64 c | 108297 | 13871 57308 172369 | 2147483647 108283 35 | 2.830 % |
618.96/618.94 c | 108747 | 13871 57308 172369 | 2147483647 108733 35 | 2.830 % |
622.46/622.50 c | 109240 | 13871 57308 172369 | 2147483647 109226 35 | 2.830 % |
624.76/624.81 c | 109782 | 13871 57308 172369 | 2147483647 109768 35 | 2.830 % |
628.56/628.60 c | 110381 | 13871 57308 172369 | 2147483647 110367 36 | 2.830 % |
633.26/633.27 c | 111037 | 13871 57308 172369 | 2147483647 111023 36 | 2.830 % |
639.46/639.45 c | 111757 | 13871 57308 172369 | 2147483647 111743 36 | 2.830 % |
646.76/646.73 c | 112549 | 13871 57308 172369 | 2147483647 112535 35 | 2.830 % |
653.66/653.69 c | 113422 | 13871 57308 172369 | 2147483647 113408 35 | 2.830 % |
661.85/661.82 c | 114381 | 13871 57308 172369 | 2147483647 114367 35 | 2.830 % |
670.65/670.63 c | 115434 | 13871 57308 172369 | 2147483647 115420 35 | 2.830 % |
679.36/679.34 c | 116592 | 13871 57308 172369 | 2147483647 116578 35 | 2.830 % |
688.36/688.38 c | 117865 | 13871 57308 172369 | 2147483647 117851 35 | 2.830 % |
689.26/689.30 c | 117966 | 13871 57308 172369 | 2147483647 117952 35 | 2.830 % |
690.26/690.26 c | 118077 | 13871 57308 172369 | 2147483647 118063 35 | 2.830 % |
691.36/691.32 c | 118198 | 13871 57308 172369 | 2147483647 118184 35 | 2.830 % |
692.36/692.34 c | 118331 | 13871 57308 172369 | 2147483647 118317 35 | 2.830 % |
693.56/693.58 c | 118477 | 13871 57308 172369 | 2147483647 118463 35 | 2.830 % |
694.96/695.01 c | 118638 | 13871 57308 172369 | 2147483647 118624 35 | 2.830 % |
696.46/696.47 c | 118815 | 13871 57308 172369 | 2147483647 118801 35 | 2.830 % |
697.96/697.91 c | 119009 | 13871 57308 172369 | 2147483647 118995 35 | 2.830 % |
699.86/699.84 c | 119221 | 13871 57308 172369 | 2147483647 119207 35 | 2.830 % |
701.76/701.72 c | 119454 | 13871 57308 172369 | 2147483647 119440 35 | 2.830 % |
703.86/703.85 c | 119711 | 13871 57308 172369 | 2147483647 119697 35 | 2.830 % |
706.26/706.29 c | 119992 | 13871 57308 172369 | 2147483647 119978 35 | 2.830 % |
708.46/708.49 c | 120301 | 13871 57308 172369 | 2147483647 120287 35 | 2.830 % |
710.76/710.76 c | 120641 | 13871 57308 172369 | 2147483647 120627 35 | 2.830 % |
713.56/713.52 c | 121013 | 13871 57308 172369 | 2147483647 120999 35 | 2.830 % |
717.06/717.11 c | 121423 | 13871 57308 172369 | 2147483647 121409 35 | 2.830 % |
720.76/720.77 c | 121872 | 13871 57308 172369 | 2147483647 121858 35 | 2.830 % |
725.26/725.26 c | 122366 | 13871 57308 172369 | 2147483647 122352 35 | 2.830 % |
729.96/729.93 c | 122909 | 13871 57308 172369 | 2147483647 122895 35 | 2.830 % |
734.86/734.87 c | 123506 | 13871 57308 172369 | 2147483647 123492 35 | 2.830 % |
740.86/740.88 c | 124161 | 13871 57308 172369 | 2147483647 124147 35 | 2.830 % |
746.56/746.52 c | 124881 | 13871 57308 172369 | 2147483647 124867 35 | 2.830 % |
753.46/753.48 c | 125673 | 13871 57308 172369 | 2147483647 125659 35 | 2.830 % |
759.76/759.79 c | 126545 | 13871 57308 172369 | 2147483647 126531 35 | 2.830 % |
768.36/768.35 c | 127503 | 13871 57308 172369 | 2147483647 127489 35 | 2.830 % |
777.56/777.52 c | 128556 | 13871 57308 172369 | 2147483647 128542 35 | 2.830 % |
788.46/788.45 c | 129714 | 13871 57308 172369 | 2147483647 129700 35 | 2.830 % |
799.47/799.44 c | 130988 | 13871 57308 172369 | 2147483647 130974 35 | 2.830 % |
811.57/811.59 c | 132389 | 13871 57308 172369 | 2147483647 132375 35 | 2.830 % |
812.47/812.42 c | 132490 | 13871 57308 172369 | 2147483647 132476 35 | 2.830 % |
812.97/812.94 c | 132602 | 13871 57308 172369 | 2147483647 132588 35 | 2.830 % |
814.07/814.03 c | 132724 | 13871 57308 172369 | 2147483647 132710 35 | 2.830 % |
814.97/815.00 c | 132859 | 13871 57308 172369 | 2147483647 132845 35 | 2.830 % |
816.47/816.46 c | 133006 | 13871 57308 172369 | 2147483647 132992 35 | 2.830 % |
817.97/817.96 c | 133166 | 13871 57308 172369 | 2147483647 133152 35 | 2.830 % |
819.47/819.51 c | 133342 | 13871 57308 172369 | 2147483647 133328 35 | 2.830 % |
821.07/821.07 c | 133536 | 13871 57308 172369 | 2147483647 133522 35 | 2.830 % |
822.97/823.01 c | 133748 | 13871 57308 172369 | 2147483647 133734 35 | 2.830 % |
824.37/824.37 c | 133982 | 13871 57308 172369 | 2147483647 133968 35 | 2.830 % |
826.57/826.60 c | 134238 | 13871 57308 172369 | 2147483647 134224 35 | 2.830 % |
829.07/829.09 c | 134519 | 13871 57308 172369 | 2147483647 134505 35 | 2.830 % |
831.97/831.96 c | 134828 | 13871 57308 172369 | 2147483647 134814 35 | 2.830 % |
835.07/835.09 c | 135168 | 13871 57308 172369 | 2147483647 135154 35 | 2.830 % |
838.07/838.06 c | 135541 | 13871 57308 172369 | 2147483647 135527 35 | 2.830 % |
841.67/841.66 c | 135951 | 13871 57308 172369 | 2147483647 135937 35 | 2.830 % |
845.37/845.36 c | 136400 | 13871 57308 172369 | 2147483647 136386 35 | 2.830 % |
849.47/849.48 c | 136896 | 13871 57308 172369 | 2147483647 136882 35 | 2.830 % |
854.37/854.36 c | 137440 | 13871 57308 172369 | 2147483647 137426 35 | 2.830 % |
856.27/856.30 c | 138036 | 13871 57308 172369 | 2147483647 138022 35 | 2.830 % |
862.37/862.35 c | 138691 | 13871 57308 172369 | 2147483647 138677 35 | 2.830 % |
868.67/868.68 c | 139412 | 13871 57308 172369 | 2147483647 139398 35 | 2.830 % |
875.97/875.97 c | 140204 | 13871 57308 172369 | 2147483647 140190 35 | 2.830 % |
883.17/883.20 c | 141075 | 13871 57308 172369 | 2147483647 141061 35 | 2.830 % |
891.87/891.87 c | 142034 | 13871 57308 172369 | 2147483647 142020 35 | 2.830 % |
903.08/903.05 c | 143087 | 13871 57308 172369 | 2147483647 143073 35 | 2.830 % |
913.28/913.27 c | 144245 | 13871 57308 172369 | 2147483647 144231 35 | 2.830 % |
922.57/922.52 c | 145518 | 13871 57308 172369 | 2147483647 145504 35 | 2.830 % |
935.27/935.25 c | 146918 | 13871 57308 172369 | 2147483647 146904 35 | 2.830 % |
948.87/948.83 c | 148458 | 13871 57308 172369 | 2147483647 148444 35 | 2.830 % |
949.87/949.84 c | 148558 | 13871 57308 172369 | 2147483647 148544 35 | 2.830 % |
950.97/950.92 c | 148668 | 13871 57308 172369 | 2147483647 148654 35 | 2.830 % |
952.17/952.17 c | 148790 | 13871 57308 172369 | 2147483647 148776 35 | 2.830 % |
953.57/953.51 c | 148923 | 13871 57308 172369 | 2147483647 148909 35 | 2.830 % |
954.87/954.85 c | 149070 | 13871 57308 172369 | 2147483647 149056 35 | 2.830 % |
956.37/956.40 c | 149230 | 13871 57308 172369 | 2147483647 149216 35 | 2.830 % |
957.67/957.68 c | 149406 | 13871 57308 172369 | 2147483647 149392 35 | 2.830 % |
959.47/959.47 c | 149599 | 13871 57308 172369 | 2147483647 149585 35 | 2.830 % |
961.27/961.25 c | 149812 | 13871 57308 172369 | 2147483647 149798 35 | 2.830 % |
963.77/963.74 c | 150045 | 13871 57308 172369 | 2147483647 150031 35 | 2.830 % |
966.17/966.17 c | 150302 | 13871 57308 172369 | 2147483647 150288 35 | 2.830 % |
969.07/969.05 c | 150583 | 13871 57308 172369 | 2147483647 150569 35 | 2.830 % |
972.07/972.09 c | 150893 | 13871 57308 172369 | 2147483647 150879 35 | 2.830 % |
975.47/975.41 c | 151233 | 13871 57308 172369 | 2147483647 151219 35 | 2.830 % |
979.17/979.14 c | 151606 | 13871 57308 172369 | 2147483647 151592 35 | 2.830 % |
981.77/981.76 c | 152015 | 13871 57308 172369 | 2147483647 152001 35 | 2.830 % |
986.47/986.45 c | 152465 | 13871 57308 172369 | 2147483647 152451 35 | 2.830 % |
991.37/991.31 c | 152960 | 13871 57308 172369 | 2147483647 152946 35 | 2.830 % |
996.68/996.66 c | 153503 | 13871 57308 172369 | 2147483647 153489 35 | 2.830 % |
1000.47/1000.44 c | 154099 | 13871 57308 172369 | 2147483647 154085 35 | 2.830 % |
1006.97/1006.96 c | 154755 | 13871 57308 172369 | 2147483647 154741 35 | 2.830 % |
1013.26/1013.25 c | 155476 | 13871 57308 172369 | 2147483647 155462 35 | 2.830 % |
1021.37/1021.40 c | 156268 | 13871 57308 172369 | 2147483647 156254 35 | 2.830 % |
1030.07/1030.09 c | 157139 | 13871 57308 172369 | 2147483647 157125 35 | 2.830 % |
1039.77/1039.78 c | 158097 | 13871 57308 172369 | 2147483647 158083 35 | 2.830 % |
1051.17/1051.13 c | 159150 | 13871 57308 172369 | 2147483647 159136 35 | 2.830 % |
1062.17/1062.16 c | 160309 | 13871 57308 172369 | 2147483647 160295 35 | 2.830 % |
1073.67/1073.69 c | 161582 | 13871 57308 172369 | 2147483647 161568 35 | 2.830 % |
1087.37/1087.38 c | 162982 | 13871 57308 172369 | 2147483647 162968 35 | 2.830 % |
1102.37/1102.40 c | 164522 | 13871 57308 172369 | 2147483647 164508 35 | 2.830 % |
1119.27/1119.24 c | 166217 | 13871 57308 172369 | 2147483647 166203 35 | 2.830 % |
1120.27/1120.28 c | 166318 | 13871 57308 172369 | 2147483647 166304 35 | 2.830 % |
1121.37/1121.33 c | 166428 | 13871 57308 172369 | 2147483647 166414 35 | 2.830 % |
1122.37/1122.31 c | 166549 | 13871 57308 172369 | 2147483647 166535 35 | 2.830 % |
1123.77/1123.75 c | 166682 | 13871 57308 172369 | 2147483647 166668 35 | 2.830 % |
1125.27/1125.30 c | 166829 | 13871 57308 172369 | 2147483647 166815 35 | 2.830 % |
1127.07/1127.00 c | 166990 | 13871 57308 172369 | 2147483647 166976 35 | 2.830 % |
1128.87/1128.86 c | 167167 | 13871 57308 172369 | 2147483647 167153 35 | 2.830 % |
1131.08/1131.05 c | 167361 | 13871 57308 172369 | 2147483647 167347 35 | 2.830 % |
1133.38/1133.36 c | 167573 | 13871 57308 172369 | 2147483647 167559 35 | 2.830 % |
1135.58/1135.58 c | 167806 | 13871 57308 172369 | 2147483647 167792 35 | 2.830 % |
1138.18/1138.13 c | 168062 | 13871 57308 172369 | 2147483647 168048 35 | 2.830 % |
1140.58/1140.57 c | 168343 | 13871 57308 172369 | 2147483647 168329 35 | 2.830 % |
1143.58/1143.60 c | 168652 | 13871 57308 172369 | 2147483647 168638 35 | 2.830 % |
1146.78/1146.77 c | 168993 | 13871 57308 172369 | 2147483647 168979 35 | 2.830 % |
1150.18/1150.15 c | 169365 | 13871 57308 172369 | 2147483647 169351 35 | 2.830 % |
1151.98/1151.99 c | 169774 | 13871 57308 172369 | 2147483647 169760 35 | 2.830 % |
1156.58/1156.56 c | 170224 | 13871 57308 172369 | 2147483647 170210 35 | 2.830 % |
1161.38/1161.41 c | 170718 | 13871 57308 172369 | 2147483647 170704 35 | 2.830 % |
1166.08/1166.03 c | 171260 | 13871 57308 172369 | 2147483647 171246 35 | 2.830 % |
1171.58/1171.61 c | 171857 | 13871 57308 172369 | 2147483647 171843 35 | 2.830 % |
1176.88/1176.89 c | 172513 | 13871 57308 172369 | 2147483647 172499 35 | 2.830 % |
1183.68/1183.62 c | 173234 | 13871 57308 172369 | 2147483647 173220 35 | 2.830 % |
1191.68/1191.65 c | 174026 | 13871 57308 172369 | 2147483647 174012 35 | 2.830 % |
1199.38/1199.33 c | 174898 | 13871 57308 172369 | 2147483647 174884 35 | 2.830 % |
1200.08/1200.02 HOME/SatELiteGTI: line 36: 30064 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-1821208-1242518441/watcher-1821208-1242518441 -o /tmp/evaluation-result-1821208-1242518441/solver-1821208-1242518441 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821208-1242518441.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 30058
/proc/meminfo: memFree=1188356/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2416 CPUtime=0.01
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 369 644 0 0 1 0 0 0 19 0 1 0 1016344922 2473984 277 4294967295 134512640 135169312 3214873920 3214872456 3084975854 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30058/statm: 604 277 235 161 0 43 0
[pid=30062] ppid=30058 vsize=952 CPUtime=0
/proc/30062/stat : 30062 (SatELite_releas) R 30058 30058 10114 0 -1 4202496 114 0 0 0 0 0 0 0 20 0 1 0 1016344922 974848 49 4294967295 134512640 135223648 3220269648 3220268552 134736942 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30062/statm: 238 54 44 174 0 63 0
[startup+0.050695 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 30058
/proc/meminfo: memFree=1188356/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2416 CPUtime=0.01
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 369 644 0 0 1 0 0 0 19 0 1 0 1016344922 2473984 277 4294967295 134512640 135169312 3214873920 3214872456 3084975854 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30058/statm: 604 277 235 161 0 43 0
[pid=30062] ppid=30058 vsize=8260 CPUtime=0.05
/proc/30062/stat : 30062 (SatELite_releas) R 30058 30058 10114 0 -1 4202496 1942 0 0 0 4 1 0 0 20 0 1 0 1016344922 8458240 1877 4294967295 134512640 135223648 3220269648 3220268600 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30062/statm: 2065 1878 47 174 0 1890 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10676
[startup+0.120691 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 30058
/proc/meminfo: memFree=1188356/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2416 CPUtime=0.01
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 369 644 0 0 1 0 0 0 19 0 1 0 1016344922 2473984 277 4294967295 134512640 135169312 3214873920 3214872456 3084975854 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30058/statm: 604 277 235 161 0 43 0
[pid=30062] ppid=30058 vsize=14552 CPUtime=0.12
/proc/30062/stat : 30062 (SatELite_releas) R 30058 30058 10114 0 -1 4202496 3538 0 0 0 10 2 0 0 20 0 1 0 1016344922 14901248 3298 4294967295 134512640 135223648 3220269648 3220267664 134587315 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30062/statm: 3638 3298 75 174 0 3463 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 16968
[startup+0.320681 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 30058
/proc/meminfo: memFree=1188356/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2416 CPUtime=0.01
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 369 644 0 0 1 0 0 0 19 0 1 0 1016344922 2473984 277 4294967295 134512640 135169312 3214873920 3214872456 3084975854 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30058/statm: 604 277 235 161 0 43 0
[pid=30062] ppid=30058 vsize=14940 CPUtime=0.32
/proc/30062/stat : 30062 (SatELite_releas) R 30058 30058 10114 0 -1 4202496 3676 0 0 0 30 2 0 0 21 0 1 0 1016344922 15298560 3434 4294967295 134512640 135223648 3220269648 3220267648 134549104 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30062/statm: 3735 3434 73 174 0 3560 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 17356
[startup+0.720662 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 30058
/proc/meminfo: memFree=1188356/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2416 CPUtime=0.01
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 369 644 0 0 1 0 0 0 19 0 1 0 1016344922 2473984 277 4294967295 134512640 135169312 3214873920 3214872456 3084975854 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30058/statm: 604 277 235 161 0 43 0
[pid=30062] ppid=30058 vsize=15752 CPUtime=0.72
/proc/30062/stat : 30062 (SatELite_releas) R 30058 30058 10114 0 -1 4202496 3864 0 0 0 69 3 0 0 22 0 1 0 1016344922 16130048 3622 4294967295 134512640 135223648 3220269648 3220267664 134586754 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30062/statm: 3938 3622 73 174 0 3763 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 18168
[startup+1.52062 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 30063
/proc/meminfo: memFree=1169840/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 2420
[startup+3.12054 s]
/proc/loadavg: 1.00 1.00 1.00 4/95 30064
/proc/meminfo: memFree=1178644/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=5904 CPUtime=1.81
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 1381 0 0 0 181 0 0 0 25 0 1 0 1016345054 6045696 1316 4294967295 134512640 135215339 3217489936 3217488224 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 1476 1316 72 172 0 1303 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 8324
[startup+6.32039 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 30064
/proc/meminfo: memFree=1178560/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=6168 CPUtime=5.01
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 1423 0 0 0 501 0 0 0 25 0 1 0 1016345054 6316032 1358 4294967295 134512640 135215339 3217489936 3217488224 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 1542 1358 72 172 0 1369 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 8588
[startup+12.7201 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 30064
/proc/meminfo: memFree=1177912/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=6564 CPUtime=11.41
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 1520 0 0 0 1141 0 0 0 25 0 1 0 1016345054 6721536 1455 4294967295 134512640 135215339 3217489936 3217488224 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 1641 1455 72 172 0 1468 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 8984
[startup+25.5195 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 30066
/proc/meminfo: memFree=1177604/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=7096 CPUtime=24.21
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 1654 0 0 0 2420 1 0 0 25 0 1 0 1016345054 7266304 1589 4294967295 134512640 135215339 3217489936 3217488224 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 1774 1589 72 172 0 1601 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 9516
[startup+51.1082 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 30252
/proc/meminfo: memFree=1176256/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=8080 CPUtime=49.8
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 1893 0 0 0 4979 1 0 0 25 0 1 0 1016345054 8273920 1828 4294967295 134512640 135215339 3217489936 3217488224 134529051 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 2020 1828 72 172 0 1847 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 10500
[startup+102.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 30255
/proc/meminfo: memFree=1174248/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=10112 CPUtime=101.01
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 2430 0 0 0 10099 2 0 0 25 0 1 0 1016345054 10354688 2365 4294967295 134512640 135215339 3217489936 3217488224 134528734 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 2528 2365 72 172 0 2355 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 12532
[startup+162.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 30442
/proc/meminfo: memFree=1172008/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=12304 CPUtime=161.01
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 2964 0 0 0 16097 4 0 0 25 0 1 0 1016345054 12599296 2899 4294967295 134512640 135215339 3217489936 3217488224 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 3076 2899 72 172 0 2903 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 14724
[startup+222.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 30631
/proc/meminfo: memFree=1169752/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=14448 CPUtime=221.02
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 3471 0 0 0 22094 8 0 0 25 0 1 0 1016345054 14794752 3406 4294967295 134512640 135215339 3217489936 3217488224 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 3612 3406 72 172 0 3439 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 16868
[startup+282.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 30823
/proc/meminfo: memFree=1167660/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=16692 CPUtime=281.02
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 4022 0 0 0 28092 10 0 0 25 0 1 0 1016345054 17092608 3957 4294967295 134512640 135215339 3217489936 3217488224 134529080 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 4173 3957 72 172 0 4000 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 19112
[startup+342.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 31009
/proc/meminfo: memFree=1165536/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=18752 CPUtime=341.02
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 4508 0 0 0 34092 10 0 0 25 0 1 0 1016345054 19202048 4443 4294967295 134512640 135215339 3217489936 3217488224 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 4688 4443 72 172 0 4515 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 21172
[startup+402.311 s]
################
# More data... #
################
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=22036 CPUtime=461.03
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 5376 0 0 0 46093 10 0 0 25 0 1 0 1016345054 22564864 5311 4294967295 134512640 135215339 3217489936 3217488224 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 5509 5311 72 172 0 5336 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 24456
[startup+522.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 31576
/proc/meminfo: memFree=1160568/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=23768 CPUtime=521.03
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 5757 0 0 0 52093 10 0 0 25 0 1 0 1016345054 24338432 5692 4294967295 134512640 135215339 3217489936 3217488224 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 5942 5692 72 172 0 5769 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 26188
[startup+582.322 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 31764
/proc/meminfo: memFree=1158964/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=25116 CPUtime=581.04
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 6093 0 0 0 58094 10 0 0 25 0 1 0 1016345054 25718784 6028 4294967295 134512640 135215339 3217489936 3217488224 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 6279 6028 72 172 0 6106 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 27536
[startup+642.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 31950
/proc/meminfo: memFree=1156956/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=26952 CPUtime=641.04
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 6562 0 0 0 64091 13 0 0 25 0 1 0 1016345054 27598848 6497 4294967295 134512640 135215339 3217489936 3217488000 134538240 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 6738 6497 72 172 0 6565 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 29372
[startup+702.317 s]
/proc/loadavg: 1.24 1.06 1.02 3/95 32143
/proc/meminfo: memFree=1155872/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=28272 CPUtime=701.04
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 6871 0 0 0 70090 14 0 0 25 0 1 0 1016345054 28950528 6806 4294967295 134512640 135215339 3217489936 3217488224 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 7068 6806 72 172 0 6895 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 30692
[startup+762.324 s]
/proc/loadavg: 1.08 1.05 1.01 2/95 32330
/proc/meminfo: memFree=1154384/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=29636 CPUtime=761.05
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 7206 0 0 0 76090 15 0 0 25 0 1 0 1016345054 30347264 7141 4294967295 134512640 135215339 3217489936 3217488224 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 7409 7141 72 172 0 7236 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 32056
[startup+822.321 s]
/proc/loadavg: 1.03 1.04 1.01 3/95 32519
/proc/meminfo: memFree=1153144/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=30840 CPUtime=821.05
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 7487 0 0 0 82090 15 0 0 25 0 1 0 1016345054 31580160 7422 4294967295 134512640 135215339 3217489936 3217488000 134538329 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 7710 7422 72 172 0 7537 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 33260
[startup+882.318 s]
/proc/loadavg: 1.01 1.03 1.00 2/95 32707
/proc/meminfo: memFree=1151756/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=32404 CPUtime=881.05
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 7832 0 0 0 88089 16 0 0 25 0 1 0 1016345054 33181696 7767 4294967295 134512640 135215339 3217489936 3217488224 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 8101 7767 72 172 0 7928 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 34824
[startup+942.315 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 425
/proc/meminfo: memFree=1150612/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=33688 CPUtime=941.05
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 8120 0 0 0 94089 16 0 0 25 0 1 0 1016345054 34496512 8055 4294967295 134512640 135215339 3217489936 3217488224 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 8422 8055 72 172 0 8249 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 36108
[startup+1002.31 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 617
/proc/meminfo: memFree=1149248/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=35212 CPUtime=1001.05
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 8481 0 0 0 100089 16 0 0 25 0 1 0 1016345054 36057088 8416 4294967295 134512640 135215339 3217489936 3217488224 134528669 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 8803 8416 72 172 0 8630 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 37632
[startup+1062.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 808
/proc/meminfo: memFree=1148132/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=36292 CPUtime=1061.05
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 8754 0 0 0 106087 18 0 0 25 0 1 0 1016345054 37163008 8689 4294967295 134512640 135215339 3217489936 3217488224 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 9073 8689 72 172 0 8900 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 38712
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1010
/proc/meminfo: memFree=1147016/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=37364 CPUtime=1121.05
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 9022 0 0 0 112086 19 0 0 25 0 1 0 1016345054 38260736 8957 4294967295 134512640 135215339 3217489936 3217488224 134528849 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 9341 8957 72 172 0 9168 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 39784
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1199
/proc/meminfo: memFree=1146024/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=38376 CPUtime=1181.06
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 9314 0 0 0 118087 19 0 0 25 0 1 0 1016345054 39297024 9249 4294967295 134512640 135215339 3217489936 3217488224 134528811 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 9594 9249 72 172 0 9421 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 40796
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1383
/proc/meminfo: memFree=1145400/2074464 swapFree=1950884/1959888
[pid=30058] ppid=30056 vsize=2420 CPUtime=1.32
/proc/30058/stat : 30058 (SatELiteGTI) S 30056 30058 10114 0 -1 4194304 387 4750 0 0 1 0 128 3 18 0 1 0 1016344922 2478080 278 4294967295 134512640 135169312 3214873920 3214870136 3084975854 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30058/statm: 605 278 235 161 0 44 0
[pid=30064] ppid=30058 vsize=38780 CPUtime=1198.76
/proc/30064/stat : 30064 (minisat_static) R 30058 30058 10114 0 -1 4202496 9399 0 0 0 119857 19 0 0 25 0 1 0 1016345054 39710720 9334 4294967295 134512640 135215339 3217489936 3217488224 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30064/statm: 9695 9334 72 172 0 9522 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 41200
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.09
CPU user time (s): 1199.86
CPU system time (s): 0.23
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 41200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.86
system time used= 0.23
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14814
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= 23
involuntary context switches= 1695
runsolver used 0.02 second user time and 0.03 second system time
The end
Begin job on tipi13 at 2009-05-17 02:00:41
IDJOB=1821208
IDBENCH=70878
IDSOLVER=657
FILE ID=tipi13/1821208-1242518441
PBS_JOBID=
Free space on /tmp= 7059 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-25-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821208-1242518441/watcher-1821208-1242518441 -o /tmp/evaluation-result-1821208-1242518441/solver-1821208-1242518441 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821208-1242518441.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c4b5df05f50ec97b624a18161f6d43b5
RANDOM SEED= 342260310
Linux tipi13 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.475
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.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
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.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
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.475
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.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1188760 kB
Buffers: 44124 kB
Cached: 748688 kB
SwapCached: 3516 kB
Active: 350008 kB
Inactive: 452340 kB
HighTotal: 1178688 kB
HighFree: 453776 kB
LowTotal: 895776 kB
LowFree: 734984 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 3200 kB
Writeback: 0 kB
AnonPages: 8720 kB
Mapped: 3068 kB
Slab: 74596 kB
PageTables: 496 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90600 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 7059 MiB
End job on tipi13 at 2009-05-17 02:20:41