Trace number 2656994

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 CardSAT (TO)6688 1800.14 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod010.opb
MD5SUM0155c0c96434984f6ded6bb7ada20c0c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6548
Best CPU time to get the best result obtained on this benchmark3.65144
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6548
Optimality of the best value was proved YES
Number of variables2655
Total number of constraints146
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)145
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint2655
Number of terms in the objective function 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656994-1276351722.opb
0.00/0.00	c File size is 125155 bytes.
0.00/0.02	c Highest Coefficient sum: 489211
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.02 s
0.00/0.02	c Var: 2655 Constr: 291 144/146/1 Lit: 22251 Watch. Lit: 11493
0.00/0.02	c Obj. Vars: 2655 (100 % of total variables)
0.29/0.37	c Pre-processing Time: 0.375 s
0.59/0.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.63	c        0   2463      281    21607   76    11161  106824      0      0 0.38
0.59/0.63	c Initial Lower Bound: 6533
0.59/0.63	c Initial Path Cost: 0
90.86/90.91	c      100   2463      396    36335   91    12306  117507    115    132 0.76
90.86/90.91	c      252   2463      565    58254  103    13676  129258    284    257 0.98
90.86/90.91	c      478   2463      805   132881  165    16434  142184    524    252 1.89
90.86/90.91	c      816   2463     1172   259741  221    59355  156403    891    282 2.89
90.86/90.91	c     1325   2463     1738   419542  241    71509  172044   1457    313 4.23
90.86/90.91	c     2089   2463     2513   795053  316    79916  189249   2232    235 8.88
90.86/90.91	c     3235   2463     3705  1443068  389    99294  208174   3424    214 15.06
90.86/90.91	c     4956   2463     5459  2016886  369   108563  228992   5178    174 28.47
90.86/90.91	c     7540   2463     8159  3191200  391   182341  251892   7878    136 55.22
90.86/90.91	c    11419   2463    12079  5135773  425   197133  277082  11798    132 86.02
90.86/90.91	o 8172
93.86/93.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
93.86/93.93	c    12183   2463    12872  5467405  424   218314  111750  12591    134 90.89
93.86/93.93	o 7226
107.96/108.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
107.96/108.07	c    12183   2463    12873  5469868  424   220618  111750  12592    129 93.91
107.96/108.07	c    12288   2463    13098  5822152  444   221087  122926  12817    116 105.92
107.96/108.07	o 6872
143.75/143.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
143.75/143.81	c    12288   2463    13099  5824615  444   223396  111750  12818    113 108.05
143.75/143.81	c    12434   2463    13398  5996309  447   223990  122926  13117    100 123.74
143.75/143.81	o 6858
146.15/146.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
146.15/146.23	c    12629   2463    13799  6270053  454   227105  111750  13518     87 143.77
146.15/146.23	o 6855
148.35/148.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
148.35/148.40	c    12629   2463    13800  6272516  454   229417  111750  13519     86 146.19
148.35/148.40	o 6854
152.85/152.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
152.85/152.92	c    12629   2463    13801  6274979  454   231729  111750  13520     85 148.36
152.85/152.92	o 6853
156.24/156.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
156.24/156.32	c    12642   2463    13841  6328097  457   234251  111750  13560     82 152.88
156.24/156.32	o 6761
159.45/159.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
159.45/159.58	c    12642   2463    13842  6330560  457   236569  111750  13561     80 156.28
159.45/159.58	o 6721
199.43/199.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
199.43/199.56	c    12643   2463    13845  6334797  457   238888  111750  13564     79 159.53
199.43/199.56	c    12743   2463    13991  6475792  462   239946  122926  13710     76 166.41
199.43/199.56	c    12993   2463    14307  6679160  466   242269  135219  14026     73 177.13
199.43/199.56	c    13469   2463    14991  7620831  508   246951  148741  14710     68 195.76
199.43/199.56	o 6711
202.03/202.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
202.03/202.19	c    13489   2463    15036  7639899  508   249341  111750  14755     67 199.50
202.03/202.19	o 6706
209.83/209.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
209.83/209.96	c    13494   2463    15052  7652289  508   251705  111750  14771     66 202.13
209.83/209.96	o 6702
224.13/224.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
224.13/224.25	c    13563   2463    15192  7745569  509   254268  111750  14911     64 209.90
224.13/224.25	c    13671   2463    15412  7872393  510   254693  122926  15131     62 220.22
224.13/224.25	o 6692
225.62/225.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
225.62/225.76	c    13703   2463    15478  7910707  511   257111  111750  15197     61 224.18
225.62/225.76	o 6688
1800.03/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.61	c    13704   2463    15482  7914949  511   259435  111750  15201     60 225.70
1800.03/1800.61	c    13805   2463    15686  8024132  511   259814  122926  15405     58 235.16
1800.03/1800.61	c    14069   2463    16231  8353067  514   260823  135219  15950     54 257.49
1800.03/1800.61	c    14561   2463    17250  9180677  532   262897  148741  16969     48 298.28
1800.03/1800.61	c    15391   2463    18986 11188216  589   266326  163616  18705     42 365.23
1800.03/1800.61	c    16755   2463    21754 13695710  629   271739  179978  21473     35 477.24
1800.03/1800.61	c    18902   2463    26256 18260482  695   280759  197976  25975     29 643.34
1800.03/1800.61	c    22194   2463    33204 31696543  954   295510  217774  32923     25 871.26
1800.03/1800.61	c    27150   2463    43513 47505687 1091   316415  239552  43232     22 1232.79
1800.03/1800.61	c Caught signal: 15
1800.03/1800.61	v -x1111 -x1879 x1990 -x2101 -x2212 -x2323 -x2434 -x2545 -x1 -x112 -x223 -x334 -x445 -x556 x667 -x778 -x889 -x1000 -x1112 -x1223 -x1334 -x1445 -x1556 -x1667 -x1778 -x1846 x1857 -x1868 -x1880 -x1891 -x1902 -x1913 -x1924 -x1935 -x1946 -x1957 -x1968 -x1979 -x1991 -x2002 -x2013 -x2024 -x2035 -x2046 -x2057 -x2068 -x2079 -x2090 -x2102 -x2113 -x2124 -x2135 -x2146 -x2157 -x2168 -x2179 -x2190 -x2201 -x2213 -x2224 -x2235 -x2246 -x2257 -x2268 -x2279 x2290 -x2301 -x2312 -x2324 -x2335 -x2346 -x2357 -x2368 -x2379 -x2390 -x2401 -x2412 -x2423 -x2435 -x2446 -x2457 -x2468 x2479 -x2490 -x2501 -x2512 -x2523 -x2534 -x2546 x2557 -x2568 -x2579 -x2590 -x2601 -x2612 -x2623 -x2634 x2645 -x2 -x13 -x24 x35 -x46 -x57 -x68 -x79 -x90 -x101 -x113 -x124 -x135 -x146 -x157 -x168 -x179 -x190 -x201 -x212 -x224 -x235 -x246 -x257 -x268 -x279 -x290 -x301 -x312 -x323 -x335 -x346 x357 -x368 -x379 -x390 -x401 -x412 -x423 -x434 x446 -x457 -x468 -x479 -x490 -x501 -x512 x523 -x534 -x545 -x557 -x568 -x579 -x590 -x601 -x612 -x623 -x634 -x645 -x656 -x668 -x679 -x690 -x701 -x712 -x723 -x734 -x745 -x756 -x767 -x779 -x790 -x801 -x812 -x823 -x834 -x845 x856 -x867 -x878 -x890 -x901 -x912 x923 -x934 -x945 -x956 -x967 -x978 -x989 -x1001 -x1012 -x1023 x1034 -x1045 -x1056 -x1067 -x1078 -x1089 -x1100 x1113 -x1124 -x1135 -x1146 -x1157 -x1168 -x1179 -x1190 -x1201 -x1212 -x1224 -x1235 -x1246 -x1257 -x1268 -x1279 -x1290 -x1301 -x1312 -x1323 -x1335 -x1346 -x1357 -x1368 -x1379 -x1390 -x1401 -x1412 -x1423 -x1434 -x1446 -x1457 -x1468 -x1479 -x1490 -x1501 -x1512 -x1523 -x1534 -x1545 -x1557 -x1568 -x1579 -x1590 -x1601 -x1612 -x1623 -x1634 -x1645 -x1656 -x1668 -x1679 -x1690 -x1701 -x1712 -x1723 -x1734 -x1745 -x1756 -x1767 -x1779 -x1790 -x1801 -x1812 -x1823 -x1834 -x1842 -x1843 -x1844 x1845 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 x2100 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2236 -x2237 -x2238 -x2239 x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2480 -x2481 -x2482 -x2483 -x2484 x2485 -x2486 -x2487 -x2488 -x2489 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 -x998 -x999 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1502 -x1503 -x1504 -x1505 -x1506 x1507 -x1508 -x1509 -x1510 -x1511 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1635 -x1636 -x1637 x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 x1721 -x1722 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 
1800.03/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.61	c   38    34581   4325   175060    59078 72482925  58797     19 1800.04
1800.03/1800.61	c Objective: 6688
1800.03/1800.61	s SATISFIABLE
1800.03/1800.61	c Total time: 1800.04 s

Verifier Data 

OK	6688

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656994-1276351722/watcher-2656994-1276351722 -o /tmp/evaluation-result-2656994-1276351722/solver-2656994-1276351722 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656994-1276351722.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10577
/proc/meminfo: memFree=1483348/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=18868 CPUtime=0
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 10773979 19320832 272 1992294400 134512640 137138936 4292913376 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 4717 273 175 642 0 4042 0

[startup+0.076059 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10577
/proc/meminfo: memFree=1483348/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=11592 CPUtime=0.07
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 574 0 0 0 7 0 0 0 20 0 1 0 10773979 11870208 461 1992294400 134512640 137138936 4292913376 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 2898 461 184 642 0 2254 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11592

[startup+0.101062 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10577
/proc/meminfo: memFree=1483348/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=11592 CPUtime=0.09
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 574 0 0 0 9 0 0 0 20 0 1 0 10773979 11870208 461 1992294400 134512640 137138936 4292913376 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 2898 461 184 642 0 2254 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11592

[startup+0.301085 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10577
/proc/meminfo: memFree=1483348/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=11592 CPUtime=0.29
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 574 0 0 0 29 0 0 0 20 0 1 0 10773979 11870208 461 1992294400 134512640 137138936 4292913376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 2898 461 184 642 0 2254 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11592

[startup+0.701128 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10577
/proc/meminfo: memFree=1483348/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=12476 CPUtime=0.69
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 2997 0 0 0 67 2 0 0 21 0 1 0 10773979 12775424 794 1992294400 134512640 137138936 4292913376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 3119 794 286 642 0 2475 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12476

[startup+1.50122 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 10578
/proc/meminfo: memFree=1480488/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=13580 CPUtime=1.49
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 3263 0 0 0 144 5 0 0 23 0 1 0 10773979 13905920 1060 1992294400 134512640 137138936 4292913376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 3395 1060 286 642 0 2751 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13580

[startup+3.10139 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 10578
/proc/meminfo: memFree=1478876/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=17024 CPUtime=3.09
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 4121 0 0 0 303 6 0 0 25 0 1 0 10773979 17432576 1918 1992294400 134512640 137138936 4292913376 18446744073709551615 136504340 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 4256 1918 286 642 0 3612 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17024

[startup+6.30175 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 10578
/proc/meminfo: memFree=1473172/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=21224 CPUtime=6.29
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 5162 0 0 0 621 8 0 0 25 0 1 0 10773979 21733376 2959 1992294400 134512640 137138936 4292913376 18446744073709551615 134542802 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 5306 2959 286 642 0 4662 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21224

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 10578
/proc/meminfo: memFree=1465236/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=29140 CPUtime=12.69
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 7155 0 0 0 1259 10 0 0 25 0 1 0 10773979 29839360 4952 1992294400 134512640 137138936 4292913376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 7285 4952 286 642 0 6641 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29140

[startup+25.5009 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 10580
/proc/meminfo: memFree=1454944/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=38820 CPUtime=25.48
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 9573 0 0 0 2537 11 0 0 25 0 1 0 10773979 39751680 7370 1992294400 134512640 137138936 4292913376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 9705 7370 286 642 0 9061 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38820

[startup+51.1007 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 10580
/proc/meminfo: memFree=1439320/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=54592 CPUtime=51.08
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 13494 0 0 0 5093 15 0 0 25 0 1 0 10773979 55902208 11291 1992294400 134512640 137138936 4292913376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 13648 11291 286 642 0 13004 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 54592

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 10582
/proc/meminfo: memFree=1403112/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=89536 CPUtime=102.27
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 250909 0 0 0 10145 82 0 0 25 0 1 0 10773979 91684864 20060 1992294400 134512640 137138936 4292913376 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 22384 20060 287 642 0 21740 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 89536

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10582
/proc/meminfo: memFree=1393812/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=100236 CPUtime=162.24
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 1077676 0 0 0 15925 299 0 0 25 0 1 0 10773979 102641664 22487 1992294400 134512640 137138936 4292913376 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 25059 22489 287 642 0 24415 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 100236

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10584
/proc/meminfo: memFree=1373600/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=120316 CPUtime=222.22
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 1668872 0 0 0 21755 467 0 0 25 0 1 0 10773979 123203584 27572 1992294400 134512640 137138936 4292913376 18446744073709551615 134768836 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 30079 27572 287 642 0 29435 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 120316

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10586
/proc/meminfo: memFree=1361820/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=132336 CPUtime=282.2
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 2080387 0 0 0 27630 590 0 0 25 0 1 0 10773979 135512064 30628 1992294400 134512640 137138936 4292913376 18446744073709551615 135445884 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 33084 30628 287 642 0 32440 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 132336

[startup+342.301 s]
/proc/loadavg: 1.05 1.00 1.00 2/107 10591
/proc/meminfo: memFree=1339996/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=152136 CPUtime=342.19
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 2402016 0 0 0 33532 687 0 0 25 0 1 0 10773979 155787264 35678 1992294400 134512640 137138936 4292913376 18446744073709551615 135783829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 38034 35679 287 642 0 37390 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 152136

[startup+402.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 10593
/proc/meminfo: memFree=1321768/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=170444 CPUtime=402.17
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 2739186 0 0 0 39430 787 0 0 25 0 1 0 10773979 174534656 40287 1992294400 134512640 137138936 4292913376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 42611 40287 287 642 0 41967 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 170444

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10593
/proc/meminfo: memFree=1304284/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=189576 CPUtime=462.14
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 3039819 0 0 0 45331 883 0 0 25 0 1 0 10773979 194125824 44870 1992294400 134512640 137138936 4292913376 18446744073709551615 135469236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 47394 44870 287 642 0 46750 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 189576

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10595
/proc/meminfo: memFree=1285932/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=208120 CPUtime=522.12
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 3346564 0 0 0 51233 979 0 0 25 0 1 0 10773979 213114880 49514 1992294400 134512640 137138936 4292913376 18446744073709551615 135358675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 52030 49514 287 642 0 51386 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 208120

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10597
/proc/meminfo: memFree=1263612/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=228672 CPUtime=582.1
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 3625640 0 0 0 57135 1075 0 0 25 0 1 0 10773979 234160128 54844 1992294400 134512640 137138936 4292913376 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 57168 54844 287 642 0 56524 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 228672

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10599
/proc/meminfo: memFree=1240424/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=251492 CPUtime=642.09
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 3905171 0 0 0 63049 1160 0 0 25 0 1 0 10773979 257527808 60549 1992294400 134512640 137138936 4292913376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 62873 60549 287 642 0 62229 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 251492

[startup+702.301 s]

################
# More data... #
################

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10605
/proc/meminfo: memFree=1064964/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=426344 CPUtime=882
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 5202583 0 0 0 86644 1556 0 0 25 0 1 0 10773979 436576256 104262 1992294400 134512640 137138936 4292913376 18446744073709551615 134618924 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 106586 104262 287 642 0 105942 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 426344

[startup+942.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 10607
/proc/meminfo: memFree=1029624/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=463288 CPUtime=941.98
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 5487004 0 0 0 92554 1644 0 0 25 0 1 0 10773979 474406912 113320 1992294400 134512640 137138936 4292913376 18446744073709551615 134734518 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 115822 113320 287 642 0 115178 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 463288

[startup+1002.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 10609
/proc/meminfo: memFree=991308/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=501472 CPUtime=1001.96
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 5739673 0 0 0 98471 1725 0 0 25 0 1 0 10773979 513507328 122844 1992294400 134512640 137138936 4292913376 18446744073709551615 134768861 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 125368 122844 287 642 0 124724 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 501472

[startup+1062.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 10609
/proc/meminfo: memFree=955100/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=538032 CPUtime=1061.94
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 6005471 0 0 0 104382 1812 0 0 25 0 1 0 10773979 550944768 132002 1992294400 134512640 137138936 4292913376 18446744073709551615 134721008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 134508 132002 287 642 0 133864 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 538032

[startup+1122.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 10611
/proc/meminfo: memFree=920752/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=570764 CPUtime=1121.93
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 6313095 0 0 0 110286 1907 0 0 25 0 1 0 10773979 584462336 140367 1992294400 134512640 137138936 4292913376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 142691 140367 287 642 0 142047 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 570764

[startup+1182.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 10613
/proc/meminfo: memFree=888512/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=604264 CPUtime=1181.91
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 6576590 0 0 0 116194 1997 0 0 25 0 1 0 10773979 618766336 148538 1992294400 134512640 137138936 4292913376 18446744073709551615 135456386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 151066 148538 287 642 0 150422 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 604264

[startup+1242.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 10615
/proc/meminfo: memFree=863092/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=628040 CPUtime=1241.89
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 6965979 0 0 0 122080 2109 0 0 25 0 1 0 10773979 643112960 154686 1992294400 134512640 137138936 4292913376 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 157010 154686 287 642 0 156366 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 628040

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10617
/proc/meminfo: memFree=826140/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=664532 CPUtime=1301.88
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 7276599 0 0 0 127983 2205 0 0 25 0 1 0 10773979 680480768 163809 1992294400 134512640 137138936 4292913376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 166133 163809 287 642 0 165489 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 664532

[startup+1362.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 10617
/proc/meminfo: memFree=783484/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=707632 CPUtime=1361.86
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 7549039 0 0 0 133894 2292 0 0 25 0 1 0 10773979 724615168 174584 1992294400 134512640 137138936 4292913376 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 176908 174584 287 642 0 176264 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 707632

[startup+1422.31 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 10619
/proc/meminfo: memFree=746160/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=746060 CPUtime=1421.84
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 7806201 0 0 0 139816 2368 0 0 25 0 1 0 10773979 763965440 184037 1992294400 134512640 137138936 4292913376 18446744073709551615 135323066 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 186515 184037 287 642 0 185871 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 746060

[startup+1482.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 10621
/proc/meminfo: memFree=709332/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=781696 CPUtime=1481.81
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 8118070 0 0 0 145721 2460 0 0 25 0 1 0 10773979 800456704 193100 1992294400 134512640 137138936 4292913376 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 195424 193100 287 642 0 194780 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 781696

[startup+1542.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 10623
/proc/meminfo: memFree=665436/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=825140 CPUtime=1541.8
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 8371502 0 0 0 151637 2543 0 0 25 0 1 0 10773979 844943360 203961 1992294400 134512640 137138936 4292913376 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 206285 203961 287 642 0 205641 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 825140

[startup+1602.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 10625
/proc/meminfo: memFree=629972/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=860820 CPUtime=1601.78
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 8625033 0 0 0 157556 2622 0 0 25 0 1 0 10773979 881479680 212881 1992294400 134512640 137138936 4292913376 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 215205 212881 287 642 0 214561 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 860820

[startup+1662.3 s]
/proc/loadavg: 1.15 1.06 1.01 2/107 10625
/proc/meminfo: memFree=607776/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=884248 CPUtime=1661.76
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 8899631 0 0 0 163468 2708 0 0 25 0 1 0 10773979 905469952 218540 1992294400 134512640 137138936 4292913376 18446744073709551615 135345433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 221062 218540 287 642 0 220418 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 884248

[startup+1722.3 s]
/proc/loadavg: 1.11 1.06 1.01 2/107 10627
/proc/meminfo: memFree=579628/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=910668 CPUtime=1721.74
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 9142655 0 0 0 169390 2784 0 0 25 0 1 0 10773979 932524032 225343 1992294400 134512640 137138936 4292913376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 227667 225343 287 642 0 227023 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 910668

[startup+1782.3 s]
/proc/loadavg: 1.09 1.06 1.01 2/107 10629
/proc/meminfo: memFree=553216/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=936928 CPUtime=1781.72
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 9410583 0 0 0 175306 2866 0 0 25 0 1 0 10773979 959414272 231908 1992294400 134512640 137138936 4292913376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 234232 231908 287 642 0 233588 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 936928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 10629
/proc/meminfo: memFree=545652/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=944256 CPUtime=1800.03
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202496 9628809 0 0 0 177081 2922 0 0 25 0 1 0 10773979 966918144 233740 1992294400 134512640 137138936 4292913376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10577/statm: 236064 233740 287 642 0 235420 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 944256

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.72 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 10629
/proc/meminfo: memFree=545652/2059040 swapFree=4192956/4192956
[pid=10577] ppid=10575 vsize=0 CPUtime=1800.13
/proc/10577/stat : 10577 (bsolo_pb10) R 10575 10577 9595 0 -1 4202500 9628809 0 0 0 177081 2932 0 0 25 0 1 0 10773979 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/10577/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.72
CPU time (s): 1800.14
CPU user time (s): 1770.82
CPU system time (s): 29.3245
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 945624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.82
system time used= 29.3245
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9628809
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= 1
involuntary context switches= 5854

runsolver used 3.08853 second user time and 8.39272 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-12 16:08:42
IDJOB=2656994
IDBENCH=1851
IDSOLVER=1162
FILE ID=node009/2656994-1276351722
PBS_JOBID= 11173189
Free space on /tmp= 62444 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656994-1276351722/watcher-2656994-1276351722 -o /tmp/evaluation-result-2656994-1276351722/solver-2656994-1276351722 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656994-1276351722.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c
RANDOM SEED=1441311644

node009.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.199
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.39
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.199
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1483876 kB
Buffers:        113920 kB
Cached:         331864 kB
SwapCached:          0 kB
Active:         180680 kB
Inactive:       324272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1483876 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4128 kB
Writeback:          76 kB
AnonPages:       59100 kB
Mapped:          15436 kB
Slab:            48524 kB
PageTables:       4112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180288 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62440 MiB
End job on node009 at 2010-06-12 16:38:45