0.00/0.00 c Parsing...
0.05/0.09 c ==============================================================================
0.05/0.09 c | | ORIGINAL | LEARNT | |
0.05/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.05/0.09 c ==============================================================================
0.05/0.09 c | 0 | 95961 226361 | 28788 0 0 nan | 0.000 % |
1.22/1.26 c | 0 | 59330 176425 | -- 0 -- -- | -- | -36291/-48960
1.22/1.26 c ==============================================================================
1.22/1.26 c Result : #vars: 14275 #clauses: 59330 #literals: 176425
1.22/1.26 c CPU time: 1.24 s
1.22/1.26 c ==============================================================================
1.32/1.32 c This is MiniSat 2.0 beta
1.32/1.32 c WARNING: for repeatability, setting FPU to use double precision
1.32/1.32 c ============================[ Problem Statistics ]=============================
1.32/1.32 c | |
1.32/1.33 c | Number of variables: 14275 |
1.32/1.33 c | Number of clauses: 59330 |
1.32/1.37 c | Parsing time: 0.04 s |
1.32/1.37 c ============================[ Search Statistics ]==============================
1.32/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.32/1.37 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.32/1.37 c ===============================================================================
1.32/1.37 c | 0 | 14275 59330 176425 | 19776 0 nan | 0.000 % |
1.33/1.50 c | 101 | 14250 59330 176425 | 19776 95 41 | 2.186 % |
1.33/1.70 c | 201 | 13963 57704 172320 | 19776 189 36 | 2.186 % |
1.33/2.02 c | 301 | 13963 57704 172320 | 19776 289 37 | 2.186 % |
2.42/2.42 c | 411 | 13917 57492 171839 | 19776 398 37 | 2.508 % |
2.82/2.91 c | 512 | 13917 57492 171839 | 19776 499 38 | 2.508 % |
3.33/3.37 c | 623 | 13917 57492 171839 | 19776 610 35 | 2.508 % |
3.82/3.85 c | 747 | 13917 57492 171839 | 19776 734 34 | 2.508 % |
4.32/4.38 c | 847 | 13917 57492 171839 | 19776 834 33 | 2.508 % |
4.92/4.97 c | 957 | 13917 57492 171839 | 19776 944 33 | 2.508 % |
5.53/5.58 c | 1078 | 13917 57492 171839 | 19776 1065 33 | 2.508 % |
6.32/6.35 c | 1212 | 13917 57492 171839 | 19776 1199 32 | 2.508 % |
6.82/6.87 c | 1312 | 13917 57492 171839 | 19776 1299 32 | 2.508 % |
7.42/7.50 c | 1422 | 13917 57492 171839 | 19776 1409 31 | 2.508 % |
8.22/8.23 c | 1544 | 13917 57492 171839 | 19776 1531 30 | 2.508 % |
8.92/8.98 c | 1678 | 13917 57492 171839 | 19776 1665 30 | 2.508 % |
9.72/9.74 c | 1824 | 13917 57492 171839 | 19776 1811 30 | 2.508 % |
10.32/10.36 c | 1924 | 13917 57492 171839 | 19776 1911 30 | 2.508 % |
10.82/10.86 c | 2034 | 13917 57492 171839 | 19776 2021 30 | 2.508 % |
11.42/11.45 c | 2155 | 13917 57492 171839 | 19776 2142 30 | 2.508 % |
11.92/11.98 c | 2288 | 13917 57492 171839 | 19776 2275 30 | 2.508 % |
12.62/12.65 c | 2434 | 13917 57492 171839 | 19776 2421 30 | 2.508 % |
12.92/12.91 c | 2595 | 13917 57492 171839 | 19776 2582 32 | 2.508 % |
13.32/13.32 c | 2696 | 13917 57492 171839 | 19776 2683 32 | 2.508 % |
13.72/13.78 c | 2806 | 13917 57492 171839 | 19776 2793 32 | 2.508 % |
14.22/14.22 c | 2928 | 13917 57492 171839 | 19776 2915 32 | 2.508 % |
14.82/14.85 c | 3061 | 13917 57492 171839 | 19776 3048 32 | 2.508 % |
15.63/15.64 c | 3208 | 13917 57492 171839 | 19776 3195 31 | 2.508 % |
16.53/16.54 c | 3369 | 13917 57492 171839 | 19776 3356 31 | 2.508 % |
17.23/17.30 c | 3546 | 13917 57492 171839 | 19776 3533 31 | 2.508 % |
17.63/17.64 c | 3646 | 13917 57492 171839 | 19776 3633 31 | 2.508 % |
18.03/18.09 c | 3757 | 13917 57492 171839 | 19776 3744 32 | 2.508 % |
18.43/18.49 c | 3878 | 13917 57492 171839 | 19776 3865 32 | 2.508 % |
19.13/19.16 c | 4011 | 13917 57492 171839 | 19776 3998 32 | 2.508 % |
19.73/19.76 c | 4158 | 13917 57492 171839 | 19776 4145 31 | 2.508 % |
20.23/20.31 c | 4319 | 13917 57492 171839 | 19776 4306 32 | 2.508 % |
20.83/20.86 c | 4495 | 13917 57492 171839 | 19776 4482 32 | 2.508 % |
21.23/21.30 c | 4688 | 13917 57492 171839 | 19776 4675 32 | 2.508 % |
21.53/21.59 c | 4788 | 13917 57492 171839 | 19776 4775 33 | 2.508 % |
22.03/22.08 c | 4898 | 13917 57492 171839 | 19776 4885 33 | 2.508 % |
22.43/22.49 c | 5020 | 13917 57492 171839 | 19776 5007 33 | 2.508 % |
23.03/23.04 c | 5156 | 13917 57492 171839 | 19776 5143 33 | 2.508 % |
23.53/23.53 c | 5303 | 13917 57492 171839 | 19776 5290 33 | 2.508 % |
24.23/24.27 c | 5463 | 13917 57492 171839 | 19776 5450 33 | 2.508 % |
25.03/25.05 c | 5640 | 13917 57492 171839 | 19776 5627 33 | 2.508 % |
25.93/26.00 c | 5833 | 13917 57492 171839 | 19776 5820 33 | 2.508 % |
27.03/27.05 c | 6045 | 13917 57492 171839 | 19776 6032 33 | 2.508 % |
27.43/27.50 c | 6147 | 13917 57492 171839 | 19776 6134 32 | 2.508 % |
28.03/28.10 c | 6258 | 13917 57492 171839 | 19776 6245 32 | 2.508 % |
28.63/28.71 c | 6379 | 13917 57492 171839 | 19776 6366 32 | 2.508 % |
29.13/29.12 c | 6512 | 13917 57492 171839 | 19776 6499 32 | 2.508 % |
29.73/29.78 c | 6658 | 13917 57492 171839 | 19776 6645 32 | 2.508 % |
30.63/30.63 c | 6818 | 13917 57492 171839 | 19776 6805 32 | 2.508 % |
31.33/31.37 c | 6995 | 13917 57492 171839 | 19776 6982 33 | 2.508 % |
32.03/32.05 c | 7190 | 13917 57492 171839 | 19776 7177 32 | 2.508 % |
32.93/32.92 c | 7403 | 13917 57492 171839 | 19776 7390 33 | 2.508 % |
33.53/33.61 c | 7637 | 13917 57492 171839 | 19776 7624 33 | 2.508 % |
33.93/33.98 c | 7737 | 13917 57492 171839 | 19776 7724 33 | 2.508 % |
34.43/34.50 c | 7847 | 13917 57492 171839 | 19776 7834 33 | 2.508 % |
34.83/34.89 c | 7968 | 13917 57492 171839 | 19776 7955 33 | 2.508 % |
35.23/35.23 c | 8103 | 13917 57492 171839 | 19776 8090 33 | 2.508 % |
35.73/35.76 c | 8249 | 13917 57492 171839 | 19776 8236 33 | 2.508 % |
36.53/36.57 c | 8409 | 13917 57492 171839 | 19776 8396 33 | 2.508 % |
37.43/37.42 c | 8585 | 13917 57492 171839 | 19776 8572 33 | 2.508 % |
38.23/38.24 c | 8779 | 13917 57492 171839 | 19776 8766 33 | 2.508 % |
39.33/39.34 c | 8991 | 13917 57492 171839 | 19776 8978 33 | 2.508 % |
40.33/40.34 c | 9226 | 13917 57492 171839 | 19776 9213 33 | 2.508 % |
41.53/41.55 c | 9482 | 13917 57492 171839 | 19776 9469 33 | 2.508 % |
42.03/42.03 c | 9582 | 13917 57492 171839 | 19776 9569 33 | 2.508 % |
42.63/42.63 c | 9692 | 13917 57492 171839 | 19776 9679 33 | 2.508 % |
43.23/43.26 c | 9814 | 13917 57492 171839 | 19776 9801 32 | 2.508 % |
43.63/43.63 c | 9948 | 13917 57492 171839 | 19776 9935 33 | 2.508 % |
44.23/44.30 c | 10094 | 13917 57492 171839 | 2147483647 10081 32 | 2.508 % |
45.03/45.10 c | 10255 | 13917 57492 171839 | 2147483647 10242 32 | 2.508 % |
45.73/45.75 c | 10431 | 13917 57492 171839 | 2147483647 10418 33 | 2.508 % |
46.63/46.67 c | 10624 | 13917 57492 171839 | 2147483647 10611 33 | 2.508 % |
47.43/47.42 c | 10836 | 13917 57492 171839 | 2147483647 10823 33 | 2.508 % |
48.43/48.49 c | 11070 | 13917 57492 171839 | 2147483647 11057 33 | 2.508 % |
49.43/49.45 c | 11326 | 13917 57492 171839 | 2147483647 11313 33 | 2.508 % |
50.53/50.53 c | 11607 | 13917 57492 171839 | 2147483647 11594 33 | 2.508 % |
50.93/51.00 c | 11708 | 13917 57492 171839 | 2147483647 11695 33 | 2.508 % |
51.33/51.41 c | 11818 | 13917 57492 171839 | 2147483647 11805 33 | 2.508 % |
52.03/52.04 c | 11940 | 13917 57492 171839 | 2147483647 11927 33 | 2.508 % |
52.33/52.38 c | 12073 | 13917 57492 171839 | 2147483647 12060 33 | 2.508 % |
52.83/52.87 c | 12219 | 13917 57492 171839 | 2147483647 12206 33 | 2.508 % |
53.33/53.39 c | 12380 | 13917 57492 171839 | 2147483647 12367 33 | 2.508 % |
53.53/53.56 c | 12557 | 13917 57492 171839 | 2147483647 12544 34 | 2.508 % |
54.43/54.47 c | 12751 | 13917 57492 171839 | 2147483647 12738 34 | 2.508 % |
55.33/55.34 c | 12963 | 13917 57492 171839 | 2147483647 12950 34 | 2.508 % |
56.23/56.31 c | 13196 | 13917 57492 171839 | 2147483647 13183 35 | 2.508 % |
57.33/57.39 c | 13454 | 13917 57492 171839 | 2147483647 13441 35 | 2.508 % |
58.63/58.63 c | 13736 | 13917 57492 171839 | 2147483647 13723 35 | 2.508 % |
60.23/60.22 c | 14047 | 13917 57492 171839 | 2147483647 14034 34 | 2.508 % |
60.63/60.71 c | 14149 | 13917 57492 171839 | 2147483647 14136 34 | 2.508 % |
61.23/61.26 c | 14259 | 13917 57492 171839 | 2147483647 14246 34 | 2.508 % |
61.83/61.89 c | 14382 | 13917 57492 171839 | 2147483647 14369 34 | 2.508 % |
62.33/62.37 c | 14515 | 13917 57492 171839 | 2147483647 14502 34 | 2.508 % |
62.83/62.89 c | 14662 | 13917 57492 171839 | 2147483647 14649 34 | 2.508 % |
63.53/63.56 c | 14823 | 13917 57492 171839 | 2147483647 14810 34 | 2.508 % |
64.13/64.17 c | 15000 | 13917 57492 171839 | 2147483647 14987 34 | 2.508 % |
65.03/65.06 c | 15193 | 13917 57492 171839 | 2147483647 15180 34 | 2.508 % |
66.03/66.04 c | 15405 | 13917 57492 171839 | 2147483647 15392 34 | 2.508 % |
66.93/66.97 c | 15638 | 13917 57492 171839 | 2147483647 15625 34 | 2.508 % |
68.03/68.11 c | 15894 | 13917 57492 171839 | 2147483647 15881 35 | 2.508 % |
69.33/69.37 c | 16175 | 13917 57492 171839 | 2147483647 16162 35 | 2.508 % |
70.03/70.04 c | 16484 | 13917 57492 171839 | 2147483647 16471 35 | 2.508 % |
71.53/71.52 c | 16823 | 13917 57492 171839 | 2147483647 16810 35 | 2.508 % |
71.93/71.98 c | 16923 | 13917 57492 171839 | 2147483647 16910 35 | 2.508 % |
72.53/72.57 c | 17033 | 13917 57492 171839 | 2147483647 17020 35 | 2.508 % |
73.23/73.31 c | 17154 | 13917 57492 171839 | 2147483647 17141 35 | 2.508 % |
74.03/74.07 c | 17288 | 13917 57492 171839 | 2147483647 17275 35 | 2.508 % |
74.73/74.79 c | 17435 | 13917 57492 171839 | 2147483647 17422 35 | 2.508 % |
75.53/75.58 c | 17595 | 13917 57492 171839 | 2147483647 17582 35 | 2.508 % |
76.53/76.51 c | 17771 | 13917 57492 171839 | 2147483647 17758 35 | 2.508 % |
77.43/77.51 c | 17964 | 13917 57492 171839 | 2147483647 17951 35 | 2.508 % |
78.43/78.51 c | 18177 | 13917 57492 171839 | 2147483647 18164 35 | 2.508 % |
79.63/79.70 c | 18411 | 13917 57492 171839 | 2147483647 18398 35 | 2.508 % |
81.03/81.01 c | 18668 | 13917 57492 171839 | 2147483647 18655 35 | 2.508 % |
82.43/82.45 c | 18949 | 13917 57492 171839 | 2147483647 18936 34 | 2.508 % |
83.82/83.85 c | 19258 | 13917 57492 171839 | 2147483647 19245 34 | 2.508 % |
85.42/85.43 c | 19597 | 13917 57492 171839 | 2147483647 19584 34 | 2.508 % |
87.22/87.27 c | 19970 | 13917 57492 171839 | 2147483647 19957 34 | 2.508 % |
87.72/87.75 c | 20070 | 13917 57492 171839 | 2147483647 20057 34 | 2.508 % |
88.32/88.40 c | 20180 | 13917 57492 171839 | 2147483647 20167 34 | 2.508 % |
89.02/89.02 c | 20301 | 13917 57492 171839 | 2147483647 20288 34 | 2.508 % |
89.62/89.61 c | 20435 | 13917 57492 171839 | 2147483647 20422 34 | 2.508 % |
90.32/90.31 c | 20581 | 13917 57492 171839 | 2147483647 20568 34 | 2.508 % |
91.02/91.08 c | 20741 | 13917 57492 171839 | 2147483647 20728 34 | 2.508 % |
91.92/91.96 c | 20917 | 13917 57492 171839 | 2147483647 20904 34 | 2.508 % |
92.82/92.84 c | 21111 | 13917 57492 171839 | 2147483647 21098 34 | 2.508 % |
93.92/93.93 c | 21324 | 13917 57492 171839 | 2147483647 21311 34 | 2.508 % |
95.02/95.02 c | 21557 | 13917 57492 171839 | 2147483647 21544 34 | 2.508 % |
96.22/96.30 c | 21813 | 13917 57492 171839 | 2147483647 21800 34 | 2.508 % |
97.62/97.64 c | 22095 | 13917 57492 171839 | 2147483647 22082 34 | 2.508 % |
98.42/98.45 c | 22404 | 13917 57492 171839 | 2147483647 22391 35 | 2.508 % |
100.13/100.17 c | 22743 | 13917 57492 171839 | 2147483647 22730 35 | 2.508 % |
101.72/101.75 c | 23117 | 13917 57492 171839 | 2147483647 23104 35 | 2.508 % |
102.92/102.99 c | 23527 | 13917 57492 171839 | 2147483647 23514 35 | 2.508 % |
103.32/103.39 c | 23628 | 13917 57492 171839 | 2147483647 23615 35 | 2.508 % |
103.72/103.75 c | 23738 | 13917 57492 171839 | 2147483647 23725 35 | 2.508 % |
104.32/104.38 c | 23859 | 13917 57492 171839 | 2147483647 23846 35 | 2.508 % |
105.12/105.12 c | 23993 | 13917 57492 171839 | 2147483647 23980 35 | 2.508 % |
105.82/105.81 c | 24139 | 13917 57492 171839 | 2147483647 24126 35 | 2.508 % |
106.62/106.67 c | 24300 | 13917 57492 171839 | 2147483647 24287 35 | 2.508 % |
107.52/107.53 c | 24477 | 13917 57492 171839 | 2147483647 24464 35 | 2.508 % |
108.32/108.33 c | 24670 | 13917 57492 171839 | 2147483647 24657 35 | 2.508 % |
109.42/109.41 c | 24883 | 13917 57492 171839 | 2147483647 24870 35 | 2.508 % |
110.52/110.56 c | 25116 | 13917 57492 171839 | 2147483647 25103 35 | 2.508 % |
111.62/111.62 c | 25374 | 13917 57492 171839 | 2147483647 25361 35 | 2.508 % |
112.52/112.57 c | 25656 | 13917 57492 171839 | 2147483647 25643 36 | 2.508 % |
113.72/113.77 c | 25966 | 13917 57492 171839 | 2147483647 25953 36 | 2.508 % |
115.13/115.20 c | 26306 | 13917 57492 171839 | 2147483647 26293 36 | 2.508 % |
117.03/117.04 c | 26678 | 13917 57492 171839 | 2147483647 26665 36 | 2.508 % |
119.13/119.19 c | 27088 | 13917 57492 171839 | 2147483647 27075 36 | 2.508 % |
120.83/120.81 c | 27538 | 13917 57492 171839 | 2147483647 27525 36 | 2.508 % |
121.23/121.29 c | 27639 | 13917 57492 171839 | 2147483647 27626 36 | 2.508 % |
121.73/121.75 c | 27752 | 13917 57492 171839 | 2147483647 27739 36 | 2.508 % |
122.23/122.26 c | 27873 | 13917 57492 171839 | 2147483647 27860 36 | 2.508 % |
122.63/122.64 c | 28006 | 13917 57492 171839 | 2147483647 27993 36 | 2.508 % |
123.43/123.45 c | 28152 | 13917 57492 171839 | 2147483647 28139 36 | 2.508 % |
124.23/124.28 c | 28312 | 13917 57492 171839 | 2147483647 28299 36 | 2.508 % |
125.13/125.18 c | 28489 | 13917 57492 171839 | 2147483647 28476 36 | 2.508 % |
126.13/126.18 c | 28683 | 13917 57492 171839 | 2147483647 28670 36 | 2.508 % |
127.13/127.20 c | 28896 | 13917 57492 171839 | 2147483647 28883 36 | 2.508 % |
128.03/128.03 c | 29129 | 13917 57492 171839 | 2147483647 29116 36 | 2.508 % |
129.13/129.11 c | 29386 | 13917 57492 171839 | 2147483647 29373 36 | 2.508 % |
130.33/130.38 c | 29667 | 13917 57492 171839 | 2147483647 29654 36 | 2.508 % |
131.73/131.72 c | 29977 | 13917 57492 171839 | 2147483647 29964 36 | 2.508 % |
133.83/133.81 c | 30316 | 13917 57492 171839 | 2147483647 30303 36 | 2.508 % |
135.63/135.67 c | 30688 | 13917 57492 171839 | 2147483647 30675 36 | 2.508 % |
137.83/137.82 c | 31097 | 13917 57492 171839 | 2147483647 31084 36 | 2.508 % |
140.33/140.37 c | 31547 | 13917 57492 171839 | 2147483647 31534 36 | 2.508 % |
142.63/142.68 c | 32040 | 13917 57492 171839 | 2147483647 32027 36 | 2.508 % |
143.23/143.26 c | 32140 | 13917 57492 171839 | 2147483647 32127 36 | 2.508 % |
143.73/143.79 c | 32250 | 13917 57492 171839 | 2147483647 32237 36 | 2.508 % |
144.53/144.51 c | 32372 | 13917 57492 171839 | 2147483647 32359 36 | 2.508 % |
145.13/145.13 c | 32507 | 13917 57492 171839 | 2147483647 32494 36 | 2.508 % |
145.93/145.92 c | 32655 | 13917 57492 171839 | 2147483647 32642 36 | 2.508 % |
146.73/146.73 c | 32815 | 13917 57492 171839 | 2147483647 32802 36 | 2.508 % |
147.23/147.25 c | 32991 | 13917 57492 171839 | 2147483647 32978 36 | 2.508 % |
148.23/148.24 c | 33185 | 13917 57492 171839 | 2147483647 33172 36 | 2.508 % |
149.43/149.48 c | 33398 | 13917 57492 171839 | 2147483647 33385 36 | 2.508 % |
150.73/150.74 c | 33631 | 13917 57492 171839 | 2147483647 33618 36 | 2.508 % |
152.23/152.26 c | 33887 | 13917 57492 171839 | 2147483647 33874 36 | 2.508 % |
153.93/153.94 c | 34168 | 13917 57492 171839 | 2147483647 34155 36 | 2.508 % |
155.23/155.21 c | 34477 | 13917 57492 171839 | 2147483647 34464 36 | 2.508 % |
156.83/156.88 c | 34817 | 13917 57492 171839 | 2147483647 34804 36 | 2.508 % |
158.93/158.91 c | 35189 | 13917 57492 171839 | 2147483647 35176 36 | 2.508 % |
161.13/161.12 c | 35599 | 13917 57492 171839 | 2147483647 35586 36 | 2.508 % |
163.63/163.62 c | 36048 | 13917 57492 171839 | 2147483647 36035 36 | 2.508 % |
166.33/166.33 c | 36541 | 13917 57492 171839 | 2147483647 36528 36 | 2.508 % |
169.03/169.03 c | 37084 | 13917 57492 171839 | 2147483647 37071 36 | 2.508 % |
169.53/169.60 c | 37185 | 13917 57492 171839 | 2147483647 37172 36 | 2.508 % |
170.23/170.26 c | 37295 | 13917 57492 171839 | 2147483647 37282 36 | 2.508 % |
170.93/170.91 c | 37416 | 13917 57492 171839 | 2147483647 37403 36 | 2.508 % |
171.53/171.54 c | 37551 | 13917 57492 171839 | 2147483647 37538 36 | 2.508 % |
172.23/172.23 c | 37698 | 13917 57492 171839 | 2147483647 37685 36 | 2.508 % |
172.74/172.75 c | 37859 | 13917 57492 171839 | 2147483647 37846 36 | 2.508 % |
173.53/173.54 c | 38036 | 13917 57492 171839 | 2147483647 38023 36 | 2.508 % |
174.63/174.63 c | 38230 | 13917 57492 171839 | 2147483647 38217 36 | 2.508 % |
175.43/175.47 c | 38442 | 13917 57492 171839 | 2147483647 38429 36 | 2.508 % |
176.53/176.55 c | 38675 | 13917 57492 171839 | 2147483647 38662 36 | 2.508 % |
177.73/177.77 c | 38933 | 13917 57492 171839 | 2147483647 38920 36 | 2.508 % |
179.23/179.26 c | 39215 | 13917 57492 171839 | 2147483647 39202 36 | 2.508 % |
180.93/181.00 c | 39525 | 13917 57492 171839 | 2147483647 39512 36 | 2.508 % |
182.93/182.97 c | 39864 | 13917 57492 171839 | 2147483647 39851 36 | 2.508 % |
183.93/183.98 c | 40238 | 13917 57492 171839 | 2147483647 40225 36 | 2.508 % |
185.73/185.74 c | 40650 | 13917 57492 171839 | 2147483647 40637 36 | 2.508 % |
188.14/188.13 c | 41100 | 13917 57492 171839 | 2147483647 41087 36 | 2.508 % |
191.13/191.11 c | 41593 | 13917 57492 171839 | 2147483647 41580 36 | 2.508 % |
193.93/193.99 c | 42139 | 13917 57492 171839 | 2147483647 42126 36 | 2.508 % |
196.63/196.67 c | 42735 | 13917 57492 171839 | 2147483647 42722 36 | 2.508 % |
197.03/197.05 c | 42835 | 13917 57492 171839 | 2147483647 42822 36 | 2.508 % |
197.63/197.64 c | 42947 | 13917 57492 171839 | 2147483647 42934 36 | 2.508 % |
198.04/198.03 c | 43069 | 13917 57492 171839 | 2147483647 43056 36 | 2.508 % |
198.83/198.82 c | 43203 | 13917 57492 171839 | 2147483647 43190 36 | 2.508 % |
199.43/199.48 c | 43350 | 13917 57492 171839 | 2147483647 43337 36 | 2.508 % |
200.33/200.32 c | 43511 | 13917 57492 171839 | 2147483647 43498 36 | 2.508 % |
201.13/201.20 c | 43687 | 13917 57492 171839 | 2147483647 43674 36 | 2.508 % |
202.23/202.29 c | 43881 | 13917 57492 171839 | 2147483647 43868 36 | 2.508 % |
203.23/203.29 c | 44093 | 13917 57492 171839 | 2147483647 44080 36 | 2.508 % |
204.43/204.47 c | 44326 | 13917 57492 171839 | 2147483647 44313 36 | 2.508 % |
206.03/206.01 c | 44582 | 13917 57492 171839 | 2147483647 44569 36 | 2.508 % |
207.63/207.65 c | 44863 | 13917 57492 171839 | 2147483647 44850 36 | 2.508 % |
209.43/209.41 c | 45173 | 13917 57492 171839 | 2147483647 45160 37 | 2.508 % |
210.93/211.00 c | 45513 | 13917 57492 171839 | 2147483647 45500 37 | 2.508 % |
213.04/213.02 c | 45888 | 13917 57492 171839 | 2147483647 45875 37 | 2.508 % |
214.64/214.69 c | 46298 | 13917 57492 171839 | 2147483647 46285 37 | 2.508 % |
217.54/217.59 c | 46748 | 13917 57492 171839 | 2147483647 46735 37 | 2.508 % |
219.84/219.84 c | 47241 | 13917 57492 171839 | 2147483647 47228 37 | 2.508 % |
222.84/222.85 c | 47784 | 13917 57492 171839 | 2147483647 47771 37 | 2.508 % |
226.44/226.49 c | 48380 | 13917 57492 171839 | 2147483647 48367 37 | 2.508 % |
230.04/230.08 c | 49037 | 13917 57492 171839 | 2147483647 49024 37 | 2.508 % |
230.54/230.59 c | 49138 | 13917 57492 171839 | 2147483647 49125 37 | 2.508 % |
231.04/231.03 c | 49248 | 13917 57492 171839 | 2147483647 49235 37 | 2.508 % |
231.64/231.71 c | 49371 | 13917 57492 171839 | 2147483647 49358 37 | 2.508 % |
232.54/232.51 c | 49504 | 13917 57492 171839 | 2147483647 49491 37 | 2.508 % |
233.14/233.17 c | 49650 | 13917 57492 171839 | 2147483647 49637 37 | 2.508 % |
234.04/234.02 c | 49811 | 13917 57492 171839 | 2147483647 49798 37 | 2.508 % |
234.94/234.91 c | 49989 | 13917 57492 171839 | 2147483647 49976 37 | 2.508 % |
235.84/235.86 c | 50182 | 13917 57492 171839 | 2147483647 50169 37 | 2.508 % |
236.94/236.97 c | 50394 | 13917 57492 171839 | 2147483647 50381 37 | 2.508 % |
238.44/238.43 c | 50628 | 13917 57492 171839 | 2147483647 50615 37 | 2.508 % |
240.24/240.24 c | 50884 | 13917 57492 171839 | 2147483647 50871 37 | 2.508 % |
242.14/242.14 c | 51166 | 13917 57492 171839 | 2147483647 51153 37 | 2.508 % |
244.04/244.04 c | 51475 | 13917 57492 171839 | 2147483647 51462 37 | 2.508 % |
245.64/245.62 c | 51815 | 13917 57492 171839 | 2147483647 51802 37 | 2.508 % |
247.34/247.31 c | 52188 | 13917 57492 171839 | 2147483647 52175 37 | 2.508 % |
249.44/249.46 c | 52597 | 13917 57492 171839 | 2147483647 52584 37 | 2.508 % |
251.34/251.39 c | 53047 | 13917 57492 171839 | 2147483647 53034 37 | 2.508 % |
254.64/254.68 c | 53540 | 13917 57492 171839 | 2147483647 53527 37 | 2.508 % |
258.14/258.12 c | 54082 | 13917 57492 171839 | 2147483647 54069 37 | 2.508 % |
261.74/261.78 c | 54678 | 13917 57492 171839 | 2147483647 54665 37 | 2.508 % |
265.64/265.65 c | 55335 | 13917 57492 171839 | 2147483647 55322 37 | 2.508 % |
269.94/269.96 c | 56055 | 13917 57492 171839 | 2147483647 56042 37 | 2.508 % |
270.44/270.48 c | 56155 | 13917 57492 171839 | 2147483647 56142 37 | 2.508 % |
271.04/271.01 c | 56265 | 13917 57492 171839 | 2147483647 56252 37 | 2.508 % |
271.76/271.74 c | 56386 | 13917 57492 171839 | 2147483647 56373 37 | 2.508 % |
272.45/272.42 c | 56519 | 13917 57492 171839 | 2147483647 56506 37 | 2.508 % |
273.15/273.21 c | 56665 | 13917 57492 171839 | 2147483647 56652 37 | 2.508 % |
274.15/274.14 c | 56826 | 13917 57492 171839 | 2147483647 56813 37 | 2.508 % |
274.45/274.48 c | 57003 | 13917 57492 171839 | 2147483647 56990 37 | 2.508 % |
275.45/275.47 c | 57196 | 13917 57492 171839 | 2147483647 57183 37 | 2.508 % |
276.75/276.77 c | 57409 | 13917 57492 171839 | 2147483647 57396 37 | 2.508 % |
278.36/278.36 c | 57643 | 13917 57492 171839 | 2147483647 57630 37 | 2.508 % |
279.95/280.00 c | 57901 | 13917 57492 171839 | 2147483647 57888 37 | 2.508 % |
281.85/281.91 c | 58183 | 13917 57492 171839 | 2147483647 58170 37 | 2.508 % |
283.86/283.88 c | 58493 | 13917 57492 171839 | 2147483647 58480 37 | 2.508 % |
285.95/285.97 c | 58832 | 13917 57492 171839 | 2147483647 58819 37 | 2.508 % |
288.45/288.45 c | 59204 | 13917 57492 171839 | 2147483647 59191 37 | 2.508 % |
291.25/291.28 c | 59613 | 13917 57492 171839 | 2147483647 59600 37 | 2.508 % |
294.35/294.35 c | 60064 | 13917 57492 171839 | 2147483647 60051 37 | 2.508 % |
296.85/296.91 c | 60558 | 13917 57492 171839 | 2147483647 60545 37 | 2.508 % |
300.05/300.02 c | 61100 | 13917 57492 171839 | 2147483647 61087 37 | 2.508 % |
303.45/303.50 c | 61696 | 13917 57492 171839 | 2147483647 61683 37 | 2.508 % |
307.45/307.45 c | 62351 | 13917 57492 171839 | 2147483647 62338 37 | 2.508 % |
311.86/311.91 c | 63071 | 13917 57492 171839 | 2147483647 63058 37 | 2.508 % |
316.76/316.78 c | 63863 | 13917 57492 171839 | 2147483647 63850 37 | 2.508 % |
317.36/317.35 c | 63964 | 13917 57492 171839 | 2147483647 63951 37 | 2.508 % |
317.86/317.86 c | 64074 | 13917 57492 171839 | 2147483647 64061 37 | 2.508 % |
318.66/318.63 c | 64197 | 13917 57492 171839 | 2147483647 64184 37 | 2.508 % |
319.36/319.37 c | 64330 | 13917 57492 171839 | 2147483647 64317 37 | 2.508 % |
320.36/320.35 c | 64477 | 13917 57492 171839 | 2147483647 64464 37 | 2.508 % |
321.26/321.24 c | 64638 | 13917 57492 171839 | 2147483647 64625 37 | 2.508 % |
322.16/322.19 c | 64814 | 13917 57492 171839 | 2147483647 64801 37 | 2.508 % |
323.46/323.46 c | 65007 | 13917 57492 171839 | 2147483647 64994 37 | 2.508 % |
324.86/324.84 c | 65221 | 13917 57492 171839 | 2147483647 65208 37 | 2.508 % |
326.46/326.45 c | 65455 | 13917 57492 171839 | 2147483647 65442 37 | 2.508 % |
328.16/328.22 c | 65712 | 13917 57492 171839 | 2147483647 65699 37 | 2.508 % |
329.86/329.82 c | 65994 | 13917 57492 171839 | 2147483647 65981 37 | 2.508 % |
331.86/331.85 c | 66303 | 13917 57492 171839 | 2147483647 66290 37 | 2.508 % |
333.36/333.37 c | 66643 | 13917 57492 171839 | 2147483647 66630 37 | 2.508 % |
335.76/335.80 c | 67016 | 13917 57492 171839 | 2147483647 67003 37 | 2.508 % |
338.76/338.74 c | 67426 | 13917 57492 171839 | 2147483647 67413 37 | 2.508 % |
341.76/341.77 c | 67878 | 13917 57492 171839 | 2147483647 67865 37 | 2.508 % |
345.16/345.12 c | 68372 | 13917 57492 171839 | 2147483647 68359 37 | 2.508 % |
348.96/348.94 c | 68914 | 13917 57492 171839 | 2147483647 68901 36 | 2.508 % |
353.06/353.02 c | 69510 | 13917 57492 171839 | 2147483647 69497 36 | 2.508 % |
356.96/356.99 c | 70167 | 13917 57492 171839 | 2147483647 70154 36 | 2.508 % |
361.66/361.67 c | 70888 | 13917 57492 171839 | 2147483647 70875 36 | 2.508 % |
366.96/367.00 c | 71681 | 13917 57492 171839 | 2147483647 71668 36 | 2.508 % |
372.56/372.55 c | 72553 | 13917 57492 171839 | 2147483647 72540 36 | 2.508 % |
373.16/373.19 c | 72653 | 13917 57492 171839 | 2147483647 72640 36 | 2.508 % |
373.86/373.86 c | 72763 | 13917 57492 171839 | 2147483647 72750 36 | 2.508 % |
374.56/374.56 c | 72885 | 13917 57492 171839 | 2147483647 72872 36 | 2.508 % |
375.36/375.33 c | 73018 | 13917 57492 171839 | 2147483647 73005 36 | 2.508 % |
376.27/376.23 c | 73164 | 13917 57492 171839 | 2147483647 73151 36 | 2.508 % |
377.56/377.55 c | 73325 | 13917 57492 171839 | 2147483647 73312 36 | 2.508 % |
378.76/378.72 c | 73501 | 13917 57492 171839 | 2147483647 73488 36 | 2.508 % |
380.06/380.05 c | 73695 | 13917 57492 171839 | 2147483647 73682 36 | 2.508 % |
381.26/381.30 c | 73908 | 13917 57492 171839 | 2147483647 73895 36 | 2.508 % |
382.66/382.68 c | 74141 | 13917 57492 171839 | 2147483647 74128 36 | 2.508 % |
384.16/384.17 c | 74397 | 13917 57492 171839 | 2147483647 74384 36 | 2.508 % |
385.96/385.95 c | 74679 | 13917 57492 171839 | 2147483647 74666 36 | 2.508 % |
388.06/388.02 c | 74988 | 13917 57492 171839 | 2147483647 74975 36 | 2.508 % |
390.16/390.20 c | 75327 | 13917 57492 171839 | 2147483647 75314 36 | 2.508 % |
392.56/392.60 c | 75699 | 13917 57492 171839 | 2147483647 75686 36 | 2.508 % |
394.56/394.52 c | 76108 | 13917 57492 171839 | 2147483647 76095 36 | 2.508 % |
397.36/397.38 c | 76559 | 13917 57492 171839 | 2147483647 76546 36 | 2.508 % |
400.66/400.66 c | 77053 | 13917 57492 171839 | 2147483647 77040 36 | 2.508 % |
404.16/404.16 c | 77595 | 13917 57492 171839 | 2147483647 77582 36 | 2.508 % |
407.86/407.87 c | 78192 | 13917 57492 171839 | 2147483647 78179 36 | 2.508 % |
412.17/412.19 c | 78847 | 13917 57492 171839 | 2147483647 78834 36 | 2.508 % |
417.17/417.14 c | 79568 | 13917 57492 171839 | 2147483647 79555 36 | 2.508 % |
423.37/423.42 c | 80360 | 13917 57492 171839 | 2147483647 80347 36 | 2.508 % |
429.67/429.64 c | 81231 | 13917 57492 171839 | 2147483647 81218 36 | 2.508 % |
435.37/435.32 c | 82190 | 13917 57492 171839 | 2147483647 82177 36 | 2.508 % |
435.87/435.86 c | 82291 | 13917 57492 171839 | 2147483647 82278 36 | 2.508 % |
436.27/436.28 c | 82401 | 13917 57492 171839 | 2147483647 82388 36 | 2.508 % |
436.87/436.90 c | 82523 | 13917 57492 171839 | 2147483647 82510 36 | 2.508 % |
437.77/437.78 c | 82656 | 13917 57492 171839 | 2147483647 82643 36 | 2.508 % |
438.67/438.71 c | 82802 | 13917 57492 171839 | 2147483647 82789 36 | 2.508 % |
440.07/440.10 c | 82962 | 13917 57492 171839 | 2147483647 82949 36 | 2.508 % |
441.26/441.27 c | 83139 | 13917 57492 171839 | 2147483647 83126 36 | 2.508 % |
442.56/442.54 c | 83332 | 13917 57492 171839 | 2147483647 83319 36 | 2.508 % |
443.76/443.77 c | 83546 | 13917 57492 171839 | 2147483647 83533 36 | 2.508 % |
445.56/445.55 c | 83780 | 13917 57492 171839 | 2147483647 83767 36 | 2.508 % |
447.06/447.03 c | 84037 | 13917 57492 171839 | 2147483647 84024 36 | 2.508 % |
448.96/449.00 c | 84319 | 13917 57492 171839 | 2147483647 84306 36 | 2.508 % |
451.16/451.19 c | 84629 | 13917 57492 171839 | 2147483647 84616 36 | 2.508 % |
453.66/453.68 c | 84969 | 13917 57492 171839 | 2147483647 84956 36 | 2.508 % |
456.56/456.51 c | 85341 | 13917 57492 171839 | 2147483647 85328 36 | 2.508 % |
459.66/459.69 c | 85750 | 13917 57492 171839 | 2147483647 85737 36 | 2.508 % |
463.06/463.03 c | 86199 | 13917 57492 171839 | 2147483647 86186 36 | 2.508 % |
466.06/466.04 c | 86692 | 13917 57492 171839 | 2147483647 86679 36 | 2.508 % |
469.96/469.91 c | 87235 | 13917 57492 171839 | 2147483647 87222 36 | 2.508 % |
473.16/473.17 c | 87831 | 13917 57492 171839 | 2147483647 87818 36 | 2.508 % |
477.26/477.30 c | 88487 | 13917 57492 171839 | 2147483647 88474 36 | 2.508 % |
482.36/482.32 c | 89208 | 13917 57492 171839 | 2147483647 89195 36 | 2.508 % |
487.06/487.01 c | 90000 | 13917 57492 171839 | 2147483647 89987 36 | 2.508 % |
492.96/492.99 c | 90871 | 13917 57492 171839 | 2147483647 90858 36 | 2.508 % |
499.86/499.82 c | 91829 | 13917 57492 171839 | 2147483647 91816 36 | 2.508 % |
506.97/507.00 c | 92882 | 13917 57492 171839 | 2147483647 92869 36 | 2.508 % |
507.57/507.60 c | 92983 | 13917 57492 171839 | 2147483647 92970 36 | 2.508 % |
508.37/508.33 c | 93093 | 13917 57492 171839 | 2147483647 93080 36 | 2.508 % |
509.27/509.23 c | 93214 | 13917 57492 171839 | 2147483647 93201 36 | 2.508 % |
510.17/510.16 c | 93348 | 13917 57492 171839 | 2147483647 93335 36 | 2.508 % |
511.27/511.28 c | 93496 | 13917 57492 171839 | 2147483647 93483 36 | 2.508 % |
512.57/512.52 c | 93656 | 13917 57492 171839 | 2147483647 93643 36 | 2.508 % |
513.77/513.76 c | 93834 | 13917 57492 171839 | 2147483647 93821 36 | 2.508 % |
515.37/515.39 c | 94027 | 13917 57492 171839 | 2147483647 94014 36 | 2.508 % |
516.87/516.88 c | 94240 | 13917 57492 171839 | 2147483647 94227 36 | 2.508 % |
518.57/518.61 c | 94473 | 13917 57492 171839 | 2147483647 94460 36 | 2.508 % |
520.37/520.32 c | 94729 | 13917 57492 171839 | 2147483647 94716 36 | 2.508 % |
522.27/522.23 c | 95010 | 13917 57492 171839 | 2147483647 94997 36 | 2.508 % |
524.57/524.54 c | 95320 | 13917 57492 171839 | 2147483647 95307 36 | 2.508 % |
527.37/527.35 c | 95659 | 13917 57492 171839 | 2147483647 95646 36 | 2.508 % |
529.77/529.73 c | 96031 | 13917 57492 171839 | 2147483647 96018 36 | 2.508 % |
532.87/532.85 c | 96440 | 13917 57492 171839 | 2147483647 96427 36 | 2.508 % |
536.07/536.03 c | 96889 | 13917 57492 171839 | 2147483647 96876 36 | 2.508 % |
540.07/540.11 c | 97382 | 13917 57492 171839 | 2147483647 97369 36 | 2.508 % |
544.77/544.74 c | 97924 | 13917 57492 171839 | 2147483647 97911 36 | 2.508 % |
549.27/549.27 c | 98521 | 13917 57492 171839 | 2147483647 98508 36 | 2.508 % |
554.17/554.21 c | 99176 | 13917 57492 171839 | 2147483647 99163 36 | 2.508 % |
560.47/560.48 c | 99896 | 13917 57492 171839 | 2147483647 99883 36 | 2.508 % |
564.57/564.52 c | 100689 | 13917 57492 171839 | 2147483647 100676 36 | 2.508 % |
571.37/571.34 c | 101561 | 13917 57492 171839 | 2147483647 101548 36 | 2.508 % |
579.87/579.88 c | 102519 | 13917 57492 171839 | 2147483647 102506 36 | 2.508 % |
588.17/588.13 c | 103572 | 13917 57492 171839 | 2147483647 103559 36 | 2.508 % |
597.77/597.74 c | 104730 | 13917 57492 171839 | 2147483647 104717 36 | 2.508 % |
598.57/598.54 c | 104832 | 13917 57492 171839 | 2147483647 104819 36 | 2.508 % |
599.17/599.18 c | 104942 | 13917 57492 171839 | 2147483647 104929 36 | 2.508 % |
600.27/600.23 c | 105063 | 13917 57492 171839 | 2147483647 105050 36 | 2.508 % |
601.37/601.32 c | 105196 | 13917 57492 171839 | 2147483647 105183 36 | 2.508 % |
602.57/602.59 c | 105342 | 13917 57492 171839 | 2147483647 105329 36 | 2.508 % |
603.67/603.68 c | 105503 | 13917 57492 171839 | 2147483647 105490 36 | 2.508 % |
604.37/604.37 c | 105679 | 13917 57492 171839 | 2147483647 105666 36 | 2.508 % |
605.78/605.80 c | 105872 | 13917 57492 171839 | 2147483647 105859 36 | 2.508 % |
606.98/606.94 c | 106084 | 13917 57492 171839 | 2147483647 106071 36 | 2.508 % |
608.88/608.90 c | 106319 | 13917 57492 171839 | 2147483647 106306 36 | 2.508 % |
610.28/610.28 c | 106576 | 13917 57492 171839 | 2147483647 106563 36 | 2.508 % |
611.78/611.80 c | 106859 | 13917 57492 171839 | 2147483647 106846 36 | 2.508 % |
614.68/614.65 c | 107169 | 13917 57492 171839 | 2147483647 107156 36 | 2.508 % |
616.78/616.73 c | 107508 | 13917 57492 171839 | 2147483647 107495 36 | 2.508 % |
619.68/619.66 c | 107880 | 13917 57492 171839 | 2147483647 107867 36 | 2.508 % |
622.98/623.01 c | 108289 | 13917 57492 171839 | 2147483647 108276 36 | 2.508 % |
626.18/626.12 c | 108738 | 13917 57492 171839 | 2147483647 108725 36 | 2.508 % |
629.58/629.52 c | 109232 | 13917 57492 171839 | 2147483647 109219 36 | 2.508 % |
632.58/632.61 c | 109776 | 13917 57492 171839 | 2147483647 109763 36 | 2.508 % |
636.78/636.72 c | 110375 | 13917 57492 171839 | 2147483647 110362 36 | 2.508 % |
640.48/640.50 c | 111031 | 13917 57492 171839 | 2147483647 111018 36 | 2.508 % |
645.48/645.49 c | 111752 | 13917 57492 171839 | 2147483647 111739 36 | 2.508 % |
651.58/651.59 c | 112545 | 13917 57492 171839 | 2147483647 112532 37 | 2.508 % |
658.78/658.81 c | 113417 | 13917 57492 171839 | 2147483647 113404 37 | 2.508 % |
666.69/666.71 c | 114375 | 13917 57492 171839 | 2147483647 114362 36 | 2.508 % |
673.98/673.97 c | 115429 | 13917 57492 171839 | 2147483647 115416 36 | 2.508 % |
684.08/684.11 c | 116587 | 13917 57492 171839 | 2147483647 116574 36 | 2.508 % |
695.29/695.26 c | 117861 | 13917 57492 171839 | 2147483647 117848 36 | 2.508 % |
696.18/696.20 c | 117962 | 13917 57492 171839 | 2147483647 117949 36 | 2.508 % |
697.28/697.24 c | 118074 | 13917 57492 171839 | 2147483647 118061 36 | 2.508 % |
698.38/698.34 c | 118196 | 13917 57492 171839 | 2147483647 118183 36 | 2.508 % |
699.58/699.57 c | 118329 | 13917 57492 171839 | 2147483647 118316 36 | 2.508 % |
700.28/700.27 c | 118475 | 13917 57492 171839 | 2147483647 118462 36 | 2.508 % |
701.68/701.67 c | 118635 | 13917 57492 171839 | 2147483647 118622 36 | 2.508 % |
702.99/703.01 c | 118811 | 13917 57492 171839 | 2147483647 118798 36 | 2.508 % |
704.69/704.63 c | 119004 | 13917 57492 171839 | 2147483647 118991 36 | 2.508 % |
706.29/706.24 c | 119217 | 13917 57492 171839 | 2147483647 119204 36 | 2.508 % |
708.19/708.17 c | 119450 | 13917 57492 171839 | 2147483647 119437 36 | 2.508 % |
710.19/710.21 c | 119706 | 13917 57492 171839 | 2147483647 119693 36 | 2.508 % |
712.79/712.76 c | 119987 | 13917 57492 171839 | 2147483647 119974 36 | 2.508 % |
715.39/715.37 c | 120296 | 13917 57492 171839 | 2147483647 120283 36 | 2.508 % |
717.99/717.99 c | 120635 | 13917 57492 171839 | 2147483647 120622 36 | 2.508 % |
720.59/720.54 c | 121008 | 13917 57492 171839 | 2147483647 120995 36 | 2.508 % |
724.29/724.24 c | 121417 | 13917 57492 171839 | 2147483647 121404 36 | 2.508 % |
728.19/728.14 c | 121867 | 13917 57492 171839 | 2147483647 121854 36 | 2.508 % |
732.19/732.12 c | 122361 | 13917 57492 171839 | 2147483647 122348 36 | 2.508 % |
736.09/736.06 c | 122904 | 13917 57492 171839 | 2147483647 122891 36 | 2.508 % |
740.69/740.68 c | 123500 | 13917 57492 171839 | 2147483647 123487 36 | 2.508 % |
746.19/746.19 c | 124156 | 13917 57492 171839 | 2147483647 124143 36 | 2.508 % |
751.89/751.84 c | 124876 | 13917 57492 171839 | 2147483647 124863 36 | 2.508 % |
756.39/756.32 c | 125668 | 13917 57492 171839 | 2147483647 125655 36 | 2.508 % |
761.19/761.17 c | 126541 | 13917 57492 171839 | 2147483647 126528 36 | 2.508 % |
769.99/769.92 c | 127499 | 13917 57492 171839 | 2147483647 127486 36 | 2.508 % |
779.29/779.27 c | 128552 | 13917 57492 171839 | 2147483647 128539 36 | 2.508 % |
788.89/788.89 c | 129710 | 13917 57492 171839 | 2147483647 129697 37 | 2.508 % |
798.29/798.26 c | 130983 | 13917 57492 171839 | 2147483647 130970 37 | 2.508 % |
806.29/806.22 c | 132383 | 13917 57492 171839 | 2147483647 132370 37 | 2.508 % |
806.99/806.93 c | 132485 | 13917 57492 171839 | 2147483647 132472 37 | 2.508 % |
807.99/807.97 c | 132595 | 13917 57492 171839 | 2147483647 132582 37 | 2.508 % |
809.09/809.03 c | 132716 | 13917 57492 171839 | 2147483647 132703 37 | 2.508 % |
809.99/809.97 c | 132849 | 13917 57492 171839 | 2147483647 132836 37 | 2.508 % |
811.29/811.30 c | 132996 | 13917 57492 171839 | 2147483647 132983 37 | 2.508 % |
812.99/812.91 c | 133156 | 13917 57492 171839 | 2147483647 133143 37 | 2.508 % |
814.59/814.53 c | 133332 | 13917 57492 171839 | 2147483647 133319 37 | 2.508 % |
816.39/816.36 c | 133526 | 13917 57492 171839 | 2147483647 133513 37 | 2.508 % |
818.29/818.23 c | 133738 | 13917 57492 171839 | 2147483647 133725 37 | 2.508 % |
820.09/820.04 c | 133971 | 13917 57492 171839 | 2147483647 133958 37 | 2.508 % |
822.09/822.10 c | 134228 | 13917 57492 171839 | 2147483647 134215 37 | 2.508 % |
824.09/824.10 c | 134509 | 13917 57492 171839 | 2147483647 134496 37 | 2.508 % |
826.89/826.85 c | 134818 | 13917 57492 171839 | 2147483647 134805 37 | 2.508 % |
829.69/829.63 c | 135157 | 13917 57492 171839 | 2147483647 135144 37 | 2.508 % |
831.99/831.91 c | 135530 | 13917 57492 171839 | 2147483647 135517 37 | 2.508 % |
835.79/835.74 c | 135939 | 13917 57492 171839 | 2147483647 135926 37 | 2.508 % |
839.09/839.02 c | 136388 | 13917 57492 171839 | 2147483647 136375 37 | 2.508 % |
843.59/843.58 c | 136882 | 13917 57492 171839 | 2147483647 136869 37 | 2.508 % |
848.39/848.33 c | 137425 | 13917 57492 171839 | 2147483647 137412 37 | 2.508 % |
853.69/853.61 c | 138021 | 13917 57492 171839 | 2147483647 138008 37 | 2.508 % |
858.89/858.88 c | 138676 | 13917 57492 171839 | 2147483647 138663 37 | 2.508 % |
865.89/865.82 c | 139397 | 13917 57492 171839 | 2147483647 139384 37 | 2.508 % |
872.99/872.94 c | 140189 | 13917 57492 171839 | 2147483647 140176 37 | 2.508 % |
879.59/879.50 c | 141060 | 13917 57492 171839 | 2147483647 141047 37 | 2.508 % |
888.49/888.50 c | 142019 | 13917 57492 171839 | 2147483647 142006 37 | 2.508 % |
899.00/898.99 c | 143073 | 13917 57492 171839 | 2147483647 143060 37 | 2.508 % |
908.50/908.51 c | 144231 | 13917 57492 171839 | 2147483647 144218 37 | 2.508 % |
917.90/917.83 c | 145505 | 13917 57492 171839 | 2147483647 145492 37 | 2.508 % |
931.30/931.27 c | 146905 | 13917 57492 171839 | 2147483647 146892 37 | 2.508 % |
946.60/946.54 c | 148446 | 13917 57492 171839 | 2147483647 148433 37 | 2.508 % |
947.30/947.26 c | 148547 | 13917 57492 171839 | 2147483647 148534 37 | 2.508 % |
948.40/948.36 c | 148658 | 13917 57492 171839 | 2147483647 148645 37 | 2.508 % |
949.40/949.40 c | 148780 | 13917 57492 171839 | 2147483647 148767 37 | 2.508 % |
950.70/950.64 c | 148915 | 13917 57492 171839 | 2147483647 148902 37 | 2.508 % |
951.90/951.88 c | 149061 | 13917 57492 171839 | 2147483647 149048 37 | 2.508 % |
953.60/953.59 c | 149222 | 13917 57492 171839 | 2147483647 149209 37 | 2.508 % |
955.00/955.00 c | 149399 | 13917 57492 171839 | 2147483647 149386 37 | 2.508 % |
956.70/956.65 c | 149592 | 13917 57492 171839 | 2147483647 149579 37 | 2.508 % |
958.70/958.67 c | 149804 | 13917 57492 171839 | 2147483647 149791 37 | 2.508 % |
960.80/960.73 c | 150038 | 13917 57492 171839 | 2147483647 150025 37 | 2.508 % |
963.40/963.31 c | 150294 | 13917 57492 171839 | 2147483647 150281 37 | 2.508 % |
966.10/966.01 c | 150575 | 13917 57492 171839 | 2147483647 150562 37 | 2.508 % |
968.50/968.46 c | 150884 | 13917 57492 171839 | 2147483647 150871 37 | 2.508 % |
971.41/971.35 c | 151224 | 13917 57492 171839 | 2147483647 151211 37 | 2.508 % |
974.10/974.10 c | 151596 | 13917 57492 171839 | 2147483647 151583 37 | 2.508 % |
977.80/977.72 c | 152006 | 13917 57492 171839 | 2147483647 151993 37 | 2.508 % |
982.00/981.91 c | 152458 | 13917 57492 171839 | 2147483647 152445 37 | 2.508 % |
986.70/986.69 c | 152952 | 13917 57492 171839 | 2147483647 152939 37 | 2.508 % |
991.60/991.57 c | 153496 | 13917 57492 171839 | 2147483647 153483 37 | 2.508 % |
997.51/997.44 c | 154093 | 13917 57492 171839 | 2147483647 154080 37 | 2.508 % |
1004.21/1004.20 c | 154748 | 13917 57492 171839 | 2147483647 154735 37 | 2.508 % |
1011.11/1011.09 c | 155468 | 13917 57492 171839 | 2147483647 155455 37 | 2.508 % |
1018.81/1018.74 c | 156260 | 13917 57492 171839 | 2147483647 156247 37 | 2.508 % |
1027.01/1026.98 c | 157131 | 13917 57492 171839 | 2147483647 157118 37 | 2.508 % |
1035.91/1035.82 c | 158090 | 13917 57492 171839 | 2147483647 158077 37 | 2.508 % |
1046.21/1046.13 c | 159143 | 13917 57492 171839 | 2147483647 159130 37 | 2.508 % |
1054.31/1054.28 c | 160303 | 13917 57492 171839 | 2147483647 160290 37 | 2.508 % |
1066.71/1066.61 c | 161577 | 13917 57492 171839 | 2147483647 161564 37 | 2.508 % |
1080.72/1080.62 c | 162978 | 13917 57492 171839 | 2147483647 162965 37 | 2.508 % |
1096.83/1096.78 c | 164518 | 13917 57492 171839 | 2147483647 164505 37 | 2.508 % |
1115.03/1115.00 c | 166214 | 13917 57492 171839 | 2147483647 166201 37 | 2.508 % |
1115.93/1115.86 c | 166316 | 13917 57492 171839 | 2147483647 166303 37 | 2.508 % |
1117.13/1117.07 c | 166427 | 13917 57492 171839 | 2147483647 166414 37 | 2.508 % |
1118.33/1118.26 c | 166549 | 13917 57492 171839 | 2147483647 166536 37 | 2.508 % |
1119.83/1119.73 c | 166683 | 13917 57492 171839 | 2147483647 166670 37 | 2.508 % |
1121.33/1121.25 c | 166830 | 13917 57492 171839 | 2147483647 166817 37 | 2.508 % |
1122.93/1122.87 c | 166992 | 13917 57492 171839 | 2147483647 166979 37 | 2.508 % |
1123.53/1123.47 c | 167170 | 13917 57492 171839 | 2147483647 167157 37 | 2.508 % |
1125.23/1125.20 c | 167363 | 13917 57492 171839 | 2147483647 167350 37 | 2.508 % |
1127.03/1126.99 c | 167575 | 13917 57492 171839 | 2147483647 167562 37 | 2.508 % |
1129.53/1129.42 c | 167809 | 13917 57492 171839 | 2147483647 167796 37 | 2.508 % |
1131.43/1131.37 c | 168065 | 13917 57492 171839 | 2147483647 168052 37 | 2.508 % |
1134.43/1134.32 c | 168346 | 13917 57492 171839 | 2147483647 168333 37 | 2.508 % |
1137.33/1137.26 c | 168656 | 13917 57492 171839 | 2147483647 168643 37 | 2.508 % |
1139.83/1139.81 c | 168995 | 13917 57492 171839 | 2147483647 168982 37 | 2.508 % |
1143.23/1143.17 c | 169368 | 13917 57492 171839 | 2147483647 169355 37 | 2.508 % |
1147.33/1147.23 c | 169777 | 13917 57492 171839 | 2147483647 169764 37 | 2.508 % |
1151.73/1151.68 c | 170226 | 13917 57492 171839 | 2147483647 170213 37 | 2.508 % |
1156.13/1156.06 c | 170720 | 13917 57492 171839 | 2147483647 170707 37 | 2.508 % |
1160.72/1160.69 c | 171263 | 13917 57492 171839 | 2147483647 171250 37 | 2.508 % |
1167.32/1167.21 c | 171859 | 13917 57492 171839 | 2147483647 171846 37 | 2.508 % |
1173.52/1173.41 c | 172514 | 13917 57492 171839 | 2147483647 172501 37 | 2.508 % |
1180.82/1180.73 c | 173235 | 13917 57492 171839 | 2147483647 173222 37 | 2.508 % |
1189.62/1189.60 c | 174028 | 13917 57492 171839 | 2147483647 174015 37 | 2.508 % |
1198.73/1198.66 c | 174899 | 13917 57492 171839 | 2147483647 174886 37 | 2.508 % |
1200.03/1199.92 HOME/SatELiteGTI: line 36: 8127 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-1821136-1242509957/watcher-1821136-1242509957 -o /tmp/evaluation-result-1821136-1242509957/solver-1821136-1242509957 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821136-1242509957.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 8121
/proc/meminfo: memFree=445752/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2416 CPUtime=0.01
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 368 647 0 0 0 0 0 1 18 0 1 0 1015492845 2473984 277 4294967295 134512640 135169312 3220687568 3220686104 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8121/statm: 604 277 235 161 0 43 0
[pid=8125] ppid=8121 vsize=952 CPUtime=0
/proc/8125/stat : 8125 (SatELite_releas) R 8121 8121 14060 0 -1 4202496 118 0 0 0 0 0 0 0 20 0 1 0 1015492846 974848 54 4294967295 134512640 135223648 3220290144 3220287560 134697236 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8125/statm: 238 55 45 174 0 63 0
[startup+0.042816 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8121
/proc/meminfo: memFree=445752/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2416 CPUtime=0.01
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 368 647 0 0 0 0 0 1 18 0 1 0 1015492845 2473984 277 4294967295 134512640 135169312 3220687568 3220686104 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8121/statm: 604 277 235 161 0 43 0
[pid=8125] ppid=8121 vsize=7464 CPUtime=0.04
/proc/8125/stat : 8125 (SatELite_releas) R 8121 8121 14060 0 -1 4202496 1726 0 0 0 4 0 0 0 20 0 1 0 1015492846 7643136 1662 4294967295 134512640 135223648 3220290144 3220289096 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8125/statm: 1866 1663 47 174 0 1691 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9880
[startup+0.11281 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8121
/proc/meminfo: memFree=445752/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2416 CPUtime=0.01
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 368 647 0 0 0 0 0 1 18 0 1 0 1015492845 2473984 277 4294967295 134512640 135169312 3220687568 3220686104 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8121/statm: 604 277 235 161 0 43 0
[pid=8125] ppid=8121 vsize=13884 CPUtime=0.11
/proc/8125/stat : 8125 (SatELite_releas) R 8121 8121 14060 0 -1 4202496 3454 0 0 0 10 1 0 0 21 0 1 0 1015492846 14217216 3247 4294967295 134512640 135223648 3220290144 3220287912 134737406 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8125/statm: 3471 3248 73 174 0 3296 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16300
[startup+0.312792 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8121
/proc/meminfo: memFree=445752/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2416 CPUtime=0.01
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 368 647 0 0 0 0 0 1 18 0 1 0 1015492845 2473984 277 4294967295 134512640 135169312 3220687568 3220686104 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8121/statm: 604 277 235 161 0 43 0
[pid=8125] ppid=8121 vsize=14624 CPUtime=0.31
/proc/8125/stat : 8125 (SatELite_releas) R 8121 8121 14060 0 -1 4202496 3637 0 0 0 30 1 0 0 21 0 1 0 1015492846 14974976 3430 4294967295 134512640 135223648 3220290144 3220288160 134586980 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8125/statm: 3656 3430 73 174 0 3481 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 17040
[startup+0.712757 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8121
/proc/meminfo: memFree=445752/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2416 CPUtime=0.01
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 368 647 0 0 0 0 0 1 18 0 1 0 1015492845 2473984 277 4294967295 134512640 135169312 3220687568 3220686104 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8121/statm: 604 277 235 161 0 43 0
[pid=8125] ppid=8121 vsize=15764 CPUtime=0.71
/proc/8125/stat : 8125 (SatELite_releas) R 8121 8121 14060 0 -1 4202496 3863 0 0 0 69 2 0 0 22 0 1 0 1015492846 16142336 3656 4294967295 134512640 135223648 3220290144 3220288160 134587032 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8125/statm: 3941 3656 73 174 0 3766 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 18180
[startup+1.5127 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8126
/proc/meminfo: memFree=427360/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 2420
[startup+3.11256 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8127
/proc/meminfo: memFree=435916/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=5976 CPUtime=1.79
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 1376 0 0 0 179 0 0 0 25 0 1 0 1015492978 6119424 1311 4294967295 134512640 135215339 3220052608 3220050672 134539282 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8127/statm: 1494 1311 72 172 0 1321 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 8396
[startup+6.31228 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8127
/proc/meminfo: memFree=435668/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=6108 CPUtime=4.99
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 1405 0 0 0 499 0 0 0 25 0 1 0 1015492978 6254592 1340 4294967295 134512640 135215339 3220052608 3220050672 134539375 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8127/statm: 1527 1340 72 172 0 1354 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 8528
[startup+12.7117 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8310
/proc/meminfo: memFree=435428/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=6240 CPUtime=11.39
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 1458 0 0 0 1139 0 0 0 25 0 1 0 1015492978 6389760 1393 4294967295 134512640 135215339 3220052608 3220050896 134528721 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8127/statm: 1560 1393 72 172 0 1387 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 8660
[startup+25.5206 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8310
/proc/meminfo: memFree=435184/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=6928 CPUtime=24.2
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 1608 0 0 0 2420 0 0 0 25 0 1 0 1015492978 7094272 1543 4294967295 134512640 135215339 3220052608 3220050896 134528734 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 1732 1543 72 172 0 1559 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 9348
[startup+51.1184 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8316
/proc/meminfo: memFree=434124/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=7984 CPUtime=49.8
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 1874 0 0 0 4980 0 0 0 25 0 1 0 1015492978 8175616 1809 4294967295 134512640 135215339 3220052608 3220050672 134538547 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 1996 1809 72 172 0 1823 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 10404
[startup+102.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8504
/proc/meminfo: memFree=431876/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=10168 CPUtime=101
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 2417 0 0 0 10099 1 0 0 25 0 1 0 1015492978 10412032 2352 4294967295 134512640 135215339 3220052608 3220050896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 2542 2352 72 172 0 2369 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 12588
[startup+162.309 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 8692
/proc/meminfo: memFree=429288/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=12612 CPUtime=161
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 3036 0 0 0 16099 1 0 0 25 0 1 0 1015492978 12914688 2971 4294967295 134512640 135215339 3220052608 3220050896 134529085 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 3153 2971 72 172 0 2980 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 15032
[startup+222.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8881
/proc/meminfo: memFree=426676/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=15100 CPUtime=221.01
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 3653 0 0 0 22099 2 0 0 25 0 1 0 1015492978 15462400 3588 4294967295 134512640 135215339 3220052608 3220050672 134538574 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 3775 3588 72 172 0 3602 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 17520
[startup+282.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9070
/proc/meminfo: memFree=424552/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=17284 CPUtime=281.02
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 4163 0 0 0 28100 2 0 0 25 0 1 0 1015492978 17698816 4098 4294967295 134512640 135215339 3220052608 3220050896 134528942 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 4321 4098 72 172 0 4148 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 19704
[startup+342.323 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 9255
/proc/meminfo: memFree=422840/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=19136 CPUtime=341.03
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 4602 0 0 0 34101 2 0 0 25 0 1 0 1015492978 19595264 4537 4294967295 134512640 135215339 3220052608 3220050672 134538059 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 4784 4537 72 172 0 4611 0
Current children cumulated CPU time (s) 342.36
Current children cumulated vsize (KiB) 21556
[startup+402.318 s]
################
# More data... #
################
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=24308 CPUtime=521.04
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 5844 0 0 0 52102 2 0 0 25 0 1 0 1015492978 24891392 5779 4294967295 134512640 135215339 3220052608 3220050896 134528779 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 6077 5779 72 172 0 5904 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 26728
[startup+582.312 s]
/proc/loadavg: 1.04 1.02 1.00 3/95 10015
/proc/meminfo: memFree=416732/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=25556 CPUtime=581.04
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 6170 0 0 0 58101 3 0 0 25 0 1 0 1015492978 26169344 6105 4294967295 134512640 135215339 3220052608 3220050896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 6389 6105 72 172 0 6216 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 27976
[startup+642.317 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 10200
/proc/meminfo: memFree=414648/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=27464 CPUtime=641.05
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 6648 0 0 0 64102 3 0 0 25 0 1 0 1015492978 28123136 6583 4294967295 134512640 135215339 3220052608 3220050896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 6866 6583 72 172 0 6693 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 29884
[startup+702.312 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 10387
/proc/meminfo: memFree=413524/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=28836 CPUtime=701.05
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 6986 0 0 0 70102 3 0 0 25 0 1 0 1015492978 29528064 6921 4294967295 134512640 135215339 3220052608 3220050896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 7209 6921 72 172 0 7036 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 31256
[startup+762.327 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 10576
/proc/meminfo: memFree=411548/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=30360 CPUtime=761.07
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 7386 0 0 0 76103 4 0 0 25 0 1 0 1015492978 31088640 7321 4294967295 134512640 135215339 3220052608 3220050672 134538344 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 7590 7321 72 172 0 7417 0
Current children cumulated CPU time (s) 762.4
Current children cumulated vsize (KiB) 32780
[startup+822.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10769
/proc/meminfo: memFree=410160/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=31764 CPUtime=821.06
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 7752 0 0 0 82102 4 0 0 25 0 1 0 1015492978 32526336 7687 4294967295 134512640 135215339 3220052608 3220050896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 7941 7687 72 172 0 7768 0
Current children cumulated CPU time (s) 822.39
Current children cumulated vsize (KiB) 34184
[startup+882.307 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10958
/proc/meminfo: memFree=408804/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=33400 CPUtime=881.06
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 8074 0 0 0 88100 6 0 0 25 0 1 0 1015492978 34201600 8009 4294967295 134512640 135215339 3220052608 3220050896 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 8350 8009 72 172 0 8177 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 35820
[startup+942.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11142
/proc/meminfo: memFree=407696/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=34536 CPUtime=941.07
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 8365 0 0 0 94100 7 0 0 25 0 1 0 1015492978 35364864 8300 4294967295 134512640 135215339 3220052608 3220050880 134525067 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 8634 8300 72 172 0 8461 0
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (KiB) 36956
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 11330
/proc/meminfo: memFree=406232/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=36076 CPUtime=1001.08
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 8719 0 0 0 100101 7 0 0 25 0 1 0 1015492978 36941824 8654 4294967295 134512640 135215339 3220052608 3220050672 134537869 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 9019 8654 72 172 0 8846 0
Current children cumulated CPU time (s) 1002.41
Current children cumulated vsize (KiB) 38496
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11519
/proc/meminfo: memFree=405364/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=37224 CPUtime=1061.08
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 9030 0 0 0 106101 7 0 0 25 0 1 0 1015492978 38117376 8965 4294967295 134512640 135215339 3220052608 3220050896 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 9306 8965 72 172 0 9133 0
Current children cumulated CPU time (s) 1062.41
Current children cumulated vsize (KiB) 39644
[startup+1122.33 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11708
/proc/meminfo: memFree=403852/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=38484 CPUtime=1121.1
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 9324 0 0 0 112102 8 0 0 25 0 1 0 1015492978 39407616 9259 4294967295 134512640 135215339 3220052608 3220050896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 9621 9259 72 172 0 9448 0
Current children cumulated CPU time (s) 1122.43
Current children cumulated vsize (KiB) 40904
[startup+1182.31 s]
/proc/loadavg: 1.05 1.01 1.00 3/95 11901
/proc/meminfo: memFree=402612/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=39900 CPUtime=1181.09
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 9675 0 0 0 118101 8 0 0 25 0 1 0 1015492978 40857600 9610 4294967295 134512640 135215339 3220052608 3220050896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 9975 9610 72 172 0 9802 0
Current children cumulated CPU time (s) 1182.42
Current children cumulated vsize (KiB) 42320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.03 1.01 1.00 3/95 11901
/proc/meminfo: memFree=402380/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=40164 CPUtime=1198.7
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 9737 0 0 0 119861 9 0 0 25 0 1 0 1015492978 41127936 9672 4294967295 134512640 135215339 3220052608 3220050896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 10041 9672 72 172 0 9868 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 42584
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 1.03 1.01 1.00 3/95 11901
/proc/meminfo: memFree=402380/2074464 swapFree=1949056/1959888
[pid=8121] ppid=8119 vsize=2420 CPUtime=1.33
/proc/8121/stat : 8121 (SatELiteGTI) S 8119 8121 14060 0 -1 4194304 387 4986 0 0 0 0 130 3 18 0 1 0 1015492845 2478080 278 4294967295 134512640 135169312 3220687568 3220683784 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8121/statm: 605 278 235 161 0 44 0
[pid=8127] ppid=8121 vsize=40164 CPUtime=1198.7
/proc/8127/stat : 8127 (minisat_static) R 8121 8121 14060 0 -1 4202496 9737 0 0 0 119861 9 0 0 25 0 1 0 1015492978 41127936 9672 4294967295 134512640 135215339 3220052608 3220050896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8127/statm: 10041 9672 72 172 0 9868 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 42584
Child status: 143
Real time (s): 1199.93
CPU time (s): 1200.04
CPU user time (s): 1199.91
CPU system time (s): 0.13
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 42584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.91
system time used= 0.13
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15386
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 1823
runsolver used 0.02 second user time and 0.01 second system time
The end
Begin job on tipi27 at 2009-05-16 23:39:17
IDJOB=1821136
IDBENCH=70849
IDSOLVER=657
FILE ID=tipi27/1821136-1242509957
PBS_JOBID=
Free space on /tmp= 9073 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821136-1242509957/watcher-1821136-1242509957 -o /tmp/evaluation-result-1821136-1242509957/solver-1821136-1242509957 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821136-1242509957.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f47c33d2a9a327da4633207adfef7b77
RANDOM SEED= 1454483897
Linux tipi27 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.389
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.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
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.79
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
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.389
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: 446132 kB
Buffers: 65168 kB
Cached: 1430348 kB
SwapCached: 5508 kB
Active: 681364 kB
Inactive: 824020 kB
HighTotal: 1178688 kB
HighFree: 175796 kB
LowTotal: 895776 kB
LowFree: 270336 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 3060 kB
Writeback: 68 kB
AnonPages: 9160 kB
Mapped: 3108 kB
Slab: 113944 kB
PageTables: 416 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90628 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9073 MiB
End job on tipi27 at 2009-05-16 23:59:17