Trace number 1878542

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 clSAT354 1798.25 1798.96

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
MD5SUM2821538067d8c071dc9bd4a000c6d040
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark352
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 340
Optimality of the best value was proved NO
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 2500
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 2500
Number of bits of the biggest sum of numbers12
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.1 - 13/04/2009 : 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 Learning Strategy: Clause Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1878542-1245147275.opb
0.00/0.00	c File size is 3053421 bytes.
0.29/0.39	c Highest Coefficient sum: 2500
0.29/0.39	c Parsing was ok!!
0.29/0.39	c Total parsing time: 0.398 s
0.39/0.41	c Var: 2700 Constr: 43070 20670/800/21600 Lit: 312360 Watch. Lit: 96380
0.39/0.41	c Obj. Vars: 900 (33.3333 % of total variables)
1.29/1.38	c Pre-processing Time: 1.387 s
1.29/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.39	c        0   2700    43070   312360    7   182780  564890      0      0 1.39
1.29/1.39	c Switching off lower bounding mode.
1.49/1.53	c      100   2700    43170   317450    7   189334  621380    100     70 1.43
1.49/1.53	c      251   2700    43321   329125    7   191026  683519    251    170 1.47
1.49/1.53	o 392
1.59/1.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.68	c      385   2700    43456   343094    7   194030  566690    386    250 1.54
1.59/1.68	c      486   2700    43557   347888    7   193530  623360    487    308 1.58
1.59/1.68	o 384
4.19/4.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.19/4.22	c      681   2700    43753   370482    8   191270  566690    683    404 1.69
4.19/4.22	c      781   2700    43853   382288    8   190702  623360    783    448 1.74
4.19/4.22	c     1031   2700    44103   429345    9   188575  685697   1033    541 1.91
4.19/4.22	c     1507   2700    44579   475565   10   188092  754267   1509    700 2.15
4.19/4.22	c     2320   2700    45392   654340   14   186555  829694   2322    833 2.78
4.19/4.22	c     3641   2700    46713  1031648   22   198480  912664   3643    920 3.95
4.19/4.22	o 382
5.69/5.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.76	c     4275   2700    47348  1070831   22   195905  566690   4278   1011 4.23
5.69/5.76	c     4376   2700    47449  1082453   22   195669  623360   4379   1014 4.31
5.69/5.76	c     4629   2700    47702  1115272   23   196733  685697   4632   1020 4.54
5.69/5.76	c     5107   2700    48180  1148770   23   190979  754267   5110   1060 4.82
5.69/5.76	c     5927   2700    49000  1298494   26   199515  829694   5930   1074 5.52
5.69/5.76	o 380
18.29/18.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.29/18.36	c     6212   2700    49286  1340514   27   197244  566690   6216   1077 5.76
18.29/18.36	c     6313   2700    49387  1347683   27   196798  623360   6317   1080 5.84
18.29/18.36	c     6564   2700    49638  1383929   27   196533  685697   6568   1070 6.13
18.29/18.36	c     7040   2700    50114  1446281   28   197232  754267   7044   1067 6.60
18.29/18.36	c     7853   2700    50927  1489783   29   202515  829694   7857    983 7.98
18.29/18.36	c     9173   2700    52247  1730854   33   204772  912664   9177    939 9.76
18.29/18.36	c    11257   2700    54331  2015274   37   211462  500000  11261    950 11.84
18.29/18.36	c    14480   2700    57554  2844978   49   218187  550001  14484    860 16.83
18.29/18.36	o 376
25.59/25.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.59/25.66	c    15438   2700    58513  3005654   51   214648  566690  15443    840 18.36
25.59/25.66	c    15539   2700    58614  3009474   51   215343  623360  15544    840 18.48
25.59/25.66	c    15789   2700    58864  3022307   51   214879  685697  15794    842 18.75
25.59/25.66	c    16264   2700    59339  3111390   52   215970  754267  16269    823 19.75
25.59/25.66	c    17079   2700    60154  3235383   53   217985  829694  17084    795 21.46
25.59/25.66	c    18399   2700    61474  3462966   56   221563  912664  18404    772 23.81
25.59/25.66	o 374
37.48/37.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.48/37.53	c    19278   2700    62354  3615656   57   225899  566690  19284    751 25.66
37.48/37.53	c    19378   2700    62454  3621224   57   224291  623360  19384    748 25.90
37.48/37.53	c    19630   2700    62706  3668424   58   227527  685697  19636    743 26.42
37.48/37.53	c    20108   2700    63184  3741421   59   229408  754267  20114    737 27.27
37.48/37.53	c    20921   2700    63997  4021077   62   229454  829694  20927    715 29.25
37.48/37.53	c    22242   2700    65318  4203398   64   238314  912664  22248    714 31.13
37.48/37.53	c    24323   2700    67399  4823927   71   237098  500000  24329    653 37.19
37.48/37.53	o 354
1798.09/1798.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.09/1798.80	c    24445   2700    67522  4837820   71   235580  566690  24452    651 37.53
1798.09/1798.80	c    24545   2700    67622  4851920   71   235278  623360  24552    649 37.80
1798.09/1798.80	c    24795   2700    67872  4867564   71   234471  685697  24802    643 38.53
1798.09/1798.80	c    25270   2700    68347  4943425   72   234955  754267  25277    630 40.06
1798.09/1798.80	c    26085   2700    69162  5152434   74   239401  829694  26092    619 42.09
1798.09/1798.80	c    27406   2700    70483  5228553   74   242872  912664  27413    634 43.20
1798.09/1798.80	c    29488   2700    72565  5805557   80   247435  500000  29495    614 48.00
1798.09/1798.80	c    32711   2700    75788  6035419   79   250807  550001  32718    640 51.08
1798.09/1798.80	c    37647   2700    80724  6458465   80   262658  605002  37654    643 58.50
1798.09/1798.80	c    45155   2700    88232  8967930  101   287140  665503  45162    488 92.46
1798.09/1798.80	c    56516   2700    99593 14614975  146   295303  732054  56523    359 157.00
1798.09/1798.80	c    73660   2700   116737 16178366  138   332428  805260  73667    364 201.98
1798.09/1798.80	c    99481   2700   142558 27260038  191   389940  885787  99488    231 429.22
1798.09/1798.80	c   138313   2700   181390 45920015  253   469702  974366 138320    146 944.48
1798.09/1798.80	c Resources Exceeded
1798.09/1798.80	v x1801 x1802 -x1803 -x1804 -x1805 x1806 x1807 -x1808 x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 x1902 x1903 x1904 -x1905 x1906 -x1907 -x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 x2003 x2004 -x2005 x2006 x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 -x2099 x2100 x2101 -x2102 -x2103 -x2104 x2105 x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 x2199 -x2200 -x2201 -x2202 x2203 x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 x2299 -x2300 x2301 x2302 x2303 x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 -x2311 -x2312 -x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 -x2394 -x2395 x2396 x2397 x2398 -x2399 -x2400 x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 -x2493 x2494 -x2495 -x2496 -x2497 x2498 x2499 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 x2594 x2595 x2596 -x2597 x2598 -x2599 x2600 -x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 x2693 x2694 x2695 x2696 -x2697 x2698 -x2699 x2700 -x2 -x102 -x202 -x302 -x402 -x502 -x602 -x702 -x802 -x902 -x1002 -x1102 -x1202 x1302 -x1402 -x1502 -x1602 -x1702 -x3 -x103 -x203 -x303 -x403 -x503 x603 -x703 -x803 -x903 -x1003 -x1103 -x1203 -x1303 -x1403 -x1503 -x1603 -x1703 -x4 -x104 x204 -x304 -x404 -x504 -x604 -x704 -x804 -x904 -x1004 -x1104 -x1204 -x1304 -x1404 -x1504 -x1604 -x1704 -x5 -x105 -x205 -x305 -x405 -x505 -x605 -x705 -x805 -x905 x1005 -x1105 -x1205 -x1305 -x1405 -x1505 -x1605 -x1705 -x6 -x106 -x206 -x306 -x406 -x506 -x606 -x706 -x806 -x906 -x1006 x1106 -x1206 -x1306 -x1406 -x1506 -x1606 -x1706 -x7 -x107 -x207 -x307 -x407 -x507 -x607 -x707 -x807 x907 -x1007 -x1107 -x1207 -x1307 -x1407 -x1507 -x1607 -x1707 -x8 x108 -x208 -x308 -x408 -x508 -x608 -x708 -x808 -x908 -x1008 -x1108 -x1208 -x1308 -x1408 -x1508 -x1608 -x1708 -x9 -x109 -x209 -x309 -x409 -x509 -x609 -x709 -x809 -x909 -x1009 -x1109 -x1209 -x1309 -x1409 -x1509 x1609 -x1709 -x10 -x110 -x210 -x310 -x410 -x510 -x610 -x710 -x810 -x910 -x1010 -x1110 -x1210 -x1310 -x1410 x1510 -x1610 -x1710 x11 -x111 -x211 -x311 -x411 -x511 -x611 -x711 -x811 -x911 -x1011 -x1111 -x1211 -x1311 -x1411 -x1511 -x1611 -x1711 -x13 -x113 -x213 x313 -x413 -x513 -x613 -x713 -x813 -x913 -x1013 -x1113 -x1213 -x1313 -x1413 -x1513 -x1613 -x1713 -x14 -x114 -x214 -x314 -x414 -x514 -x614 -x714 -x814 -x914 -x1014 -x1114 -x1214 -x1314 x1414 -x1514 -x1614 -x1714 -x15 -x115 x215 -x315 -x415 -x515 -x615 -x715 -x815 -x915 -x1015 -x1115 -x1215 -x1315 -x1415 -x1515 -x1615 -x1715 -x16 -x116 -x216 -x316 -x416 -x516 -x616 -x716 -x816 -x916 x1016 -x1116 -x1216 -x1316 -x1416 -x1516 -x1616 -x1716 -x17 -x117 -x217 -x317 -x417 -x517 -x617 -x717 -x817 -x917 -x1017 x1117 -x1217 -x1317 -x1417 -x1517 -x1617 -x1717 -x18 -x118 -x218 -x318 -x418 -x518 -x618 x718 -x818 -x918 -x1018 -x1118 -x1218 -x1318 -x1418 -x1518 -x1618 -x1718 -x19 -x119 -x219 -x319 -x419 -x519 -x619 -x719 -x819 -x919 -x1019 -x1119 -x1219 -x1319 -x1419 x1519 -x1619 -x1719 -x20 -x120 -x220 -x320 -x420 -x520 -x620 -x720 -x820 -x920 -x1020 -x1120 x1220 -x1320 -x1420 -x1520 -x1620 -x1720 -x21 -x121 -x221 -x321 -x421 -x521 -x621 -x721 -x821 -x921 -x1021 -x1121 -x1221 -x1321 -x1421 -x1521 -x1621 x1721 -x22 -x122 -x222 -x322 -x422 -x522 -x622 -x722 -x822 -x922 -x1022 -x1122 -x1222 -x1322 -x1422 -x1522 x1622 -x1722 -x24 -x124 -x224 -x324 -x424 -x524 -x624 -x724 -x824 -x924 -x1024 -x1124 -x1224 x1324 -x1424 -x1524 -x1624 -x1724 -x25 -x125 -x225 -x325 -x425 -x525 -x625 -x725 -x825 -x925 -x1025 -x1125 x1225 -x1325 -x1425 -x1525 -x1625 -x1725 -x26 -x126 -x226 -x326 -x426 x526 -x626 -x726 -x826 -x926 -x1026 -x1126 -x1226 -x1326 -x1426 -x1526 -x1626 -x1726 -x27 x127 -x227 -x327 -x427 -x527 -x627 -x727 -x827 -x927 -x1027 -x1127 -x1227 -x1327 -x1427 -x1527 -x1627 -x1727 -x28 -x128 x228 -x328 -x428 -x528 -x628 -x728 -x828 -x928 -x1028 -x1128 -x1228 -x1328 -x1428 -x1528 -x1628 -x1728 -x29 -x129 -x229 -x329 -x429 -x529 -x629 -x729 -x829 -x929 -x1029 x1129 -x1229 -x1329 -x1429 -x1529 -x1629 -x1729 -x30 -x130 -x230 -x330 -x430 -x530 -x630 x730 -x830 -x930 -x1030 -x1130 -x1230 -x1330 -x1430 -x1530 -x1630 -x1730 -x31 -x131 -x231 -x331 x431 -x531 -x631 -x731 -x831 -x931 -x1031 -x1131 -x1231 -x1331 -x1431 -x1531 -x1631 -x1731 -x32 -x132 -x232 -x332 -x432 x532 -x632 -x732 -x832 -x932 -x1032 -x1132 -x1232 -x1332 -x1432 -x1532 -x1632 -x1732 -x33 -x133 -x233 -x333 -x433 -x533 -x633 -x733 x833 -x933 -x1033 -x1133 -x1233 -x1333 -x1433 -x1533 -x1633 -x1733 -x35 x135 -x235 -x335 -x435 -x535 -x635 -x735 -x835 -x935 -x1035 -x1135 -x1235 -x1335 -x1435 -x1535 -x1635 -x1735 -x36 -x136 -x236 -x336 -x436 -x536 -x636 -x736 -x836 -x936 -x1036 -x1136 -x1236 -x1336 -x1436 -x1536 -x1636 x1736 -x37 -x137 -x237 -x337 -x437 -x537 -x637 -x737 -x837 -x937 -x1037 -x1137 x1237 -x1337 -x1437 -x1537 -x1637 -x1737 -x38 -x138 -x238 -x338 -x438 -x538 -x638 -x738 -x838 -x938 -x1038 x1138 -x1238 -x1338 -x1438 -x1538 -x1638 -x1738 -x39 -x139 -x239 -x339 -x439 -x539 -x639 -x739 -x839 -x939 x1039 -x1139 -x1239 -x1339 -x1439 -x1539 -x1639 -x1739 -x40 -x140 -x240 -x340 -x440 -x540 -x640 -x740 -x840 -x940 -x1040 -x1140 -x1240 -x1340 -x1440 -x1540 x1640 -x1740 -x41 -x141 -x241 -x341 -x441 -x541 -x641 -x741 x841 -x941 -x1041 -x1141 -x1241 -x1341 -x1441 -x1541 -x1641 -x1741 -x42 -x142 -x242 -x342 -x442 -x542 -x642 -x742 -x842 -x942 -x1042 -x1142 -x1242 -x1342 -x1442 -x1542 -x1642 x1742 x43 -x143 -x243 -x343 -x443 -x543 -x643 -x743 -x843 -x943 -x1043 -x1143 -x1243 -x1343 -x1443 -x1543 -x1643 -x1743 -x44 -x144 -x244 -x344 -x444 -x544 -x644 -x744 -x844 x944 -x1044 -x1144 -x1244 -x1344 -x1444 -x1544 -x1644 -x1744 -x46 -x146 -x246 -x346 -x446 -x546 x646 -x746 -x846 -x946 -x1046 -x1146 -x1246 -x1346 -x1446 -x1546 -x1646 -x1746 -x47 -x147 -x247 -x347 -x447 x547 -x647 -x747 -x847 -x947 -x1047 -x1147 -x1247 -x1347 -x1447 -x1547 -x1647 -x1747 -x48 -x148 -x248 -x348 -x448 -x548 -x648 -x748 -x848 -x948 -x1048 -x1148 -x1248 -x1348 -x1448 -x1548 x1648 -x1748 -x49 -x149 -x249 -x349 x449 -x549 -x649 -x749 -x849 -x949 -x1049 -x1149 -x1249 -x1349 -x1449 -x1549 -x1649 -x1749 -x50 -x150 -x250 -x350 -x450 -x550 -x650 -x750 -x850 -x950 -x1050 -x1150 -x1250 x1350 -x1450 -x1550 -x1650 -x1750 -x51 -x151 -x251 -x351 -x451 -x551 -x651 -x751 -x851 -x951 -x1051 -x1151 -x1251 -x1351 x1451 -x1551 -x1651 -x1751 -x52 -x152 -x252 -x352 x452 -x552 -x652 -x752 -x852 -x952 -x1052 -x1152 -x1252 -x1352 -x1452 -x1552 -x1652 -x1752 -x53 -x153 -x253 -x353 -x453 -x553 -x653 -x753 -x853 -x953 -x1053 -x1153 -x1253 -x1353 -x1453 x1553 -x1653 -x1753 -x54 -x154 -x254 -x354 -x454 -x554 -x654 x754 -x854 -x954 -x1054 -x1154 -x1254 -x1354 -x1454 -x1554 -x1654 -x1754 -x55 -x155 -x255 x355 -x455 -x555 -x655 -x755 -x855 -x955 -x1055 -x1155 -x1255 -x1355 -x1455 -x1555 -x1655 -x1755 -x57 -x157 x257 -x357 -x457 -x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357 -x1457 -x1557 -x1657 -x1757 -x58 -x158 -x258 -x358 -x458 -x558 -x658 -x758 -x858 -x958 -x1058 -x1158 -x1258 x1358 -x1458 -x1558 -x1658 -x1758 x59 -x159 -x259 -x359 -x459 -x559 -x659 -x759 -x859 -x959 -x1059 -x1159 -x1259 -x1359 -x1459 -x1559 -x1659 -x1759 -x60 -x160 -x260 -x360 -x460 -x560 -x660 -x760 -x860 x960 -x1060 -x1160 -x1260 -x1360 -x1460 -x1560 -x1660 -x1760 -x61 -x161 -x261 -x361 -x461 -x561 -x661 x761 -x861 -x961 -x1061 -x1161 -x1261 -x1361 -x1461 -x1561 -x1661 -x1761 -x62 -x162 -x262 -x362 -x462 -x562 x662 -x762 -x862 -x962 -x1062 -x1162 -x1262 -x1362 -x1462 -x1562 -x1662 -x1762 -x63 -x163 -x263 -x363 -x463 -x563 -x663 -x763 -x863 -x963 -x1063 -x1163 -x1263 -x1363 x1463 -x1563 -x1663 -x1763 -x64 -x164 -x264 x364 -x464 -x564 -x664 -x764 -x864 -x964 -x1064 -x1164 -x1264 -x1364 -x1464 -x1564 -x1664 -x1764 -x65 -x165 -x265 -x365 -x465 -x565 -x665 -x765 -x865 -x965 -x1065 -x1165 -x1265 -x1365 -x1465 x1565 -x1665 -x1765 -x66 -x166 -x266 -x366 -x466 -x566 -x666 -x766 -x866 -x966 -x1066 -x1166 -x1266 -x1366 -x1466 -x1566 x1666 -x1766 x68 -x168 -x268 -x368 -x468 -x568 -x668 -x768 -x868 -x968 -x1068 -x1168 -x1268 -x1368 -x1468 -x1568 -x1668 -x1768 -x69 -x169 -x269 -x369 -x469 -x569 -x669 -x769 x869 -x969 -x1069 -x1169 -x1269 -x1369 -x1469 -x1569 -x1669 -x1769 -x70 -x170 -x270 -x370 -x470 -x570 -x670 -x770 -x870 -x970 x1070 -x1170 -x1270 -x1370 -x1470 -x1570 -x1670 -x1770 -x71 -x171 -x271 -x371 -x471 -x571 -x671 -x771 -x871 -x971 -x1071 -x1171 x1271 -x1371 -x1471 -x1571 -x1671 -x1771 -x72 -x172 -x272 -x372 -x472 -x572 -x672 -x772 -x872 x972 -x1072 -x1172 -x1272 -x1372 -x1472 -x1572 -x1672 -x1772 -x73 -x173 -x273 -x373 -x473 -x573 -x673 -x773 -x873 -x973 x1073 -x1173 -x1273 -x1373 -x1473 -x1573 -x1673 -x1773 -x74 -x174 -x274 -x374 -x474 -x574 -x674 -x774 -x874 -x974 -x1074 -x1174 -x1274 -x1374 -x1474 x1574 -x1674 -x1774 -x75 -x175 -x275 -x375 -x475 -x575 -x675 -x775 -x875 -x975 -x1075 -x1175 -x1275 -x1375 x1475 -x1575 -x1675 -x1775 -x76 -x176 -x276 -x376 -x476 -x576 -x676 -x776 x876 -x976 -x1076 -x1176 -x1276 -x1376 -x1476 -x1576 -x1676 -x1776 -x77 -x177 -x277 -x377 x477 -x577 -x677 -x777 -x877 -x977 -x1077 -x1177 -x1277 -x1377 -x1477 -x1577 -x1677 -x1777 -x79 -x179 -x279 -x379 -x479 x579 -x679 -x779 -x879 -x979 -x1079 -x1179 -x1279 -x1379 -x1479 -x1579 -x1679 -x1779 -x80 -x180 -x280 x380 -x480 -x580 -x680 -x780 -x880 -x980 -x1080 -x1180 -x1280 -x1380 -x1480 -x1580 -x1680 -x1780 -x81 -x181 -x281 x381 -x481 -x581 -x681 -x781 -x881 -x981 -x1081 -x1181 -x1281 -x1381 -x1481 -x1581 -x1681 -x1781 -x82 x182 -x282 -x382 -x482 -x582 -x682 -x782 -x882 -x982 -x1082 -x1182 -x1282 -x1382 -x1482 -x1582 -x1682 -x1782 -x83 -x183 -x283 -x383 -x483 -x583 -x683 -x783 -x883 x983 -x1083 -x1183 -x1283 -x1383 -x1483 -x1583 -x1683 -x1783 -x84 -x184 -x284 -x384 -x484 -x584 x684 -x784 -x884 -x984 -x1084 -x1184 -x1284 -x1384 -x1484 -x1584 -x1684 -x1784 -x85 -x185 -x285 -x385 -x485 -x585 -x685 x785 -x885 -x985 -x1085 -x1185 -x1285 -x1385 -x1485 -x1585 -x1685 -x1785 -x86 -x186 -x286 -x386 -x486 -x586 -x686 -x786 -x886 -x986 -x1086 -x1186 x1286 -x1386 -x1486 -x1586 -x1686 -x1786 -x87 -x187 -x287 -x387 -x487 -x587 -x687 -x787 -x887 -x987 -x1087 -x1187 -x1287 x1387 -x1487 -x1587 -x1687 -x1787 -x88 -x188 -x288 -x388 -x488 -x588 -x688 -x788 -x888 -x988 -x1088 -x1188 -x1288 -x1388 -x1488 -x1588 -x1688 x1788 -x90 -x190 x290 -x390 -x490 -x590 -x690 -x790 -x890 -x990 -x1090 -x1190 -x1290 -x1390 -x1490 -x1590 -x1690 -x1790 -x91 -x191 -x291 -x391 -x491 x591 -x691 -x791 -x891 -x991 -x1091 -x1191 -x1291 -x1391 -x1491 -x1591 -x1691 -x1791 -x92 -x192 -x292 -x392 -x492 -x592 -x692 -x792 x892 -x992 -x1092 -x1192 -x1292 -x1392 -x1492 -x1592 -x1692 -x1792 -x93 -x193 -x293 -x393 x493 -x593 -x693 -x793 -x893 -x993 -x1093 -x1193 -x1293 -x1393 -x1493 -x1593 -x1693 -x1793 x94 -x194 -x294 -x394 -x494 -x594 -x694 -x794 -x894 -x994 -x1094 -x1194 -x1294 -x1394 -x1494 -x1594 -x1694 -x1794 -x95 -x195 -x295 -x395 -x495 -x595 -x695 -x795 -x895 -x995 -x1095 x1195 -x1295 -x1395 -x1495 -x1595 -x1695 -x1795 -x96 x196 -x296 -x396 -x496 -x596 -x696 -x796 -x896 -x996 -x1096 -x1196 -x1296 -x1396 -x1496 -x1596 -x1696 -x1796 -x97 -x197 -x297 -x397 -x497 -x597 -x697 -x797 -x897 -x997 -x1097 -x1197 -x1297 -x1397 -x1497 -x1597 -x1697 x1797 -x98 -x198 -x298 -x398 -x498 -x598 x698 -x798 -x898 -x998 -x1098 -x1198 -x1298 -x1398 -x1498 -x1598 -x1698 -x1798 -x99 -x199 -x299 -x399 -x499 -x599 -x699 -x799 -x899 -x999 -x1099 -x1199 -x1299 -x1399 x1499 -x1599 -x1699 -x1799 -x12 x112 -x212 -x312 x412 x512 x612 -x712 x812 x912 -x1012 -x1112 -x1212 x1312 -x1412 -x1512 x1612 x1712 x23 -x123 -x223 x323 x423 -x523 x623 -x723 x823 x923 x1023 -x1123 -x1223 -x1323 x1423 x1523 -x1623 -x1723 x34 -x134 x234 x334 -x434 -x534 x634 x734 -x834 x934 -x1034 -x1134 -x1234 x1334 x1434 x1534 -x1634 -x1734 -x45 x145 x245 x345 -x445 -x545 -x645 x745 -x845 -x945 x1045 x1145 x1245 -x1345 x1445 x1545 -x1645 -x1745 -x56 x156 -x256 -x356 -x456 x556 x656 -x756 x856 -x956 x1056 x1156 x1256 -x1356 -x1456 -x1556 x1656 x1756 -x67 x167 x267 -x367 x467 x567 -x667 -x767 -x867 x967 -x1067 x1167 x1267 x1367 -x1467 -x1567 -x1667 x1767 x78 x178 x278 -x378 -x478 -x578 x678 x778 -x878 -x978 -x1078 x1178 -x1278 x1378 -x1478 -x1578 x1678 x1778 x89 -x189 -x289 -x389 x489 x589 -x689 -x789 x889 -x989 x1089 x1189 -x1289 -x1389 x1489 x1589 x1689 -x1789 -x100 -x200 x300 x400 -x500 -x600 -x700 x800 -x900 x1000 x1100 -x1200 x1300 x1400 -x1500 x1600 x1700 -x1800 x1 -x101 -x201 x301 x401 x501 -x601 x701 x801 -x901 -x1001 -x1101 x1201 -x1301 x1401 -x1501 -x1601 x1701 
1798.09/1798.81	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.09/1798.81	c   50   184940  59593   667667   228017 72039107 184947    102 1798.10
1798.09/1798.81	c Objective: 354
1798.09/1798.81	s SATISFIABLE
1798.09/1798.81	c Total time: 1798.1 s

Verifier Data 

OK	354

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878542-1245147275/watcher-1878542-1245147275 -o /tmp/evaluation-result-1878542-1245147275/solver-1878542-1245147275 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878542-1245147275.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.99 0.97 0.98 3/64 4904
/proc/meminfo: memFree=1914976/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=13840 CPUtime=0
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 182324565 14172160 260 1992294400 134512640 137136520 4294956256 18446744073709551615 136674496 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 3460 261 175 640 0 2070 0

[startup+0.037649 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 4904
/proc/meminfo: memFree=1914976/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=14524 CPUtime=0.03
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 534 0 0 0 3 0 0 0 18 0 1 0 182324565 14872576 518 1992294400 134512640 137136520 4294956256 18446744073709551615 136523315 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 3631 518 235 640 0 2241 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14524

[startup+0.101654 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 4904
/proc/meminfo: memFree=1914976/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=16160 CPUtime=0.09
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 1055 0 0 0 9 0 0 0 18 0 1 0 182324565 16547840 1039 1992294400 134512640 137136520 4294956256 18446744073709551615 134516226 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 4040 1039 354 640 0 2650 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16160

[startup+0.301674 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 4904
/proc/meminfo: memFree=1914976/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=19216 CPUtime=0.29
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 2181 0 0 0 29 0 0 0 19 0 1 0 182324565 19677184 2165 1992294400 134512640 137136520 4294956256 18446744073709551615 134517302 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 4804 2165 724 640 0 3414 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19216

[startup+0.701716 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 4904
/proc/meminfo: memFree=1914976/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=27280 CPUtime=0.69
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 5168 0 0 0 67 2 0 0 23 0 1 0 182324565 27934720 4406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 6820 4406 191 640 0 6176 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27280

[startup+1.5018 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1897880/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=24640 CPUtime=1.49
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 5895 0 0 0 144 5 0 0 25 0 1 0 182324565 25231360 3728 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 6160 3728 196 640 0 5516 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24640

[startup+3.10196 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1899032/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=29044 CPUtime=3.09
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 7007 0 0 0 302 7 0 0 25 0 1 0 182324565 29741056 4840 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 7261 4840 197 640 0 6617 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29044

[startup+6.30129 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1889368/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=37460 CPUtime=6.29
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 9104 0 0 0 618 11 0 0 25 0 1 0 182324565 38359040 6937 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 9365 6937 197 640 0 8721 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37460

[startup+12.7019 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1879456/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=47692 CPUtime=12.69
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 11671 0 0 0 1251 18 0 0 25 0 1 0 182324565 48836608 9504 1992294400 134512640 137136520 4294956256 18446744073709551615 134543875 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 11923 9504 197 640 0 11279 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47692

[startup+25.5012 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1859488/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=66352 CPUtime=25.49
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 16329 0 0 0 2523 26 0 0 25 0 1 0 182324565 67944448 14162 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 16588 14162 197 640 0 15944 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66352

[startup+51.1018 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1826784/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=98872 CPUtime=51.07
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 24470 0 0 0 5070 37 0 0 25 0 1 0 182324565 101244928 22303 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 24718 22303 197 640 0 24074 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 98872

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1777312/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=147876 CPUtime=102.26
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 36715 0 0 0 10172 54 0 0 25 0 1 0 182324565 151425024 34548 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 36969 34548 197 640 0 36325 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 147876

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1710816/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=214472 CPUtime=162.24
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 53372 0 0 0 16157 67 0 0 25 0 1 0 182324565 219619328 51205 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 53618 51205 197 640 0 52974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 214472

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1688032/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=236792 CPUtime=222.21
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 58958 0 0 0 22145 76 0 0 25 0 1 0 182324565 242475008 56791 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 59198 56791 197 640 0 58554 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 236792

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1656032/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=269104 CPUtime=282.19
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 67024 0 0 0 28132 87 0 0 25 0 1 0 182324565 275562496 64857 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 67276 64857 197 640 0 66632 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 269104

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1608288/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=316560 CPUtime=342.16
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 78875 0 0 0 34120 96 0 0 25 0 1 0 182324565 324157440 76708 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 79140 76708 197 640 0 78496 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 316560

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1565984/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=359224 CPUtime=402.14
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 89564 0 0 0 40110 104 0 0 25 0 1 0 182324565 367845376 87397 1992294400 134512640 137136520 4294956256 18446744073709551615 134600585 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 89806 87397 197 640 0 89162 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 359224

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1530976/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=393788 CPUtime=462.11
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 98191 0 0 0 46100 111 0 0 25 0 1 0 182324565 403238912 96024 1992294400 134512640 137136520 4294956256 18446744073709551615 136518971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 98447 96024 197 640 0 97803 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 393788

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1494176/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=430604 CPUtime=522.09
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 107412 0 0 0 52090 119 0 0 25 0 1 0 182324565 440938496 105245 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 107651 105245 197 640 0 107007 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 430604

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1457376/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=467092 CPUtime=582.07
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 116528 0 0 0 58078 129 0 0 25 0 1 0 182324565 478302208 114361 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 116773 114361 197 640 0 116129 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 467092

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1424928/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=499128 CPUtime=642.05
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 124539 0 0 0 64069 136 0 0 25 0 1 0 182324565 511107072 122372 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 124782 122372 197 640 0 124138 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 499128

[startup+702.301 s]

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

/proc/meminfo: memFree=1258656/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=665228 CPUtime=1061.9
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 166059 0 0 0 106018 172 0 0 25 0 1 0 182324565 681193472 163892 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 166307 163892 197 640 0 165663 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 665228

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1227744/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=696016 CPUtime=1121.86
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 173763 0 0 0 112008 178 0 0 25 0 1 0 182324565 712720384 171596 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 174004 171596 197 640 0 173360 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 696016

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1197792/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=726012 CPUtime=1181.83
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 181254 0 0 0 117998 185 0 0 25 0 1 0 182324565 743436288 179087 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 181503 179087 197 640 0 180859 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 726012

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4905
/proc/meminfo: memFree=1172256/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=751108 CPUtime=1241.82
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 187514 0 0 0 123990 192 0 0 25 0 1 0 182324565 769134592 185347 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 187777 185347 197 640 0 187133 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 751108

[startup+1302.3 s]
/proc/loadavg: 1.07 0.99 0.99 2/65 4905
/proc/meminfo: memFree=1148320/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=774716 CPUtime=1301.79
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 193434 0 0 0 129982 197 0 0 25 0 1 0 182324565 793309184 191267 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 193679 191267 197 640 0 193035 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 774716

[startup+1362.3 s]
/proc/loadavg: 1.06 1.00 0.99 2/65 4905
/proc/meminfo: memFree=1122528/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=800608 CPUtime=1361.76
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 199914 0 0 0 135974 202 0 0 25 0 1 0 182324565 819822592 197747 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 200152 197747 197 640 0 199508 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 800608

[startup+1422.31 s]
/proc/loadavg: 1.08 1.02 1.00 2/65 4905
/proc/meminfo: memFree=1093216/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=829848 CPUtime=1421.75
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 207206 0 0 0 141969 206 0 0 25 0 1 0 182324565 849764352 205039 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 207462 205039 197 640 0 206818 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 829848

[startup+1482.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/65 4905
/proc/meminfo: memFree=1066592/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=856600 CPUtime=1481.71
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 213902 0 0 0 147961 210 0 0 25 0 1 0 182324565 877158400 211735 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 214150 211735 197 640 0 213506 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 856600

[startup+1542.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 4905
/proc/meminfo: memFree=1040288/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=882516 CPUtime=1541.7
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 220377 0 0 0 153954 216 0 0 25 0 1 0 182324565 903696384 218210 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 220629 218210 197 640 0 219985 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 882516

[startup+1602.3 s]
/proc/loadavg: 1.13 1.06 1.01 2/65 4905
/proc/meminfo: memFree=1024672/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=898392 CPUtime=1601.67
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 224341 0 0 0 159948 219 0 0 25 0 1 0 182324565 919953408 222174 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 224598 222174 197 640 0 223954 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 898392

[startup+1662.3 s]
/proc/loadavg: 1.09 1.06 1.01 2/65 4905
/proc/meminfo: memFree=1004768/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=918080 CPUtime=1661.64
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 229275 0 0 0 165941 223 0 0 25 0 1 0 182324565 940113920 227108 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 229520 227108 197 640 0 228876 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 918080

[startup+1722.3 s]
/proc/loadavg: 1.03 1.05 1.00 2/65 4905
/proc/meminfo: memFree=987296/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=935596 CPUtime=1721.62
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 233659 0 0 0 171936 226 0 0 25 0 1 0 182324565 958050304 231492 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 233899 231492 197 640 0 233255 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 935596

[startup+1782.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 4905
/proc/meminfo: memFree=972064/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=950588 CPUtime=1781.6
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 237396 0 0 0 177931 229 0 0 25 0 1 0 182324565 973402112 235229 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 237647 235229 197 640 0 237003 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 950588

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

[startup+1791.91 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 4905
/proc/meminfo: memFree=969568/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=952904 CPUtime=1791.2
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 237985 0 0 0 178890 230 0 0 25 0 1 0 182324565 975773696 235818 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 238226 235818 197 640 0 237582 0
Current children cumulated CPU time (s) 1791.2
Current children cumulated vsize (KiB) 952904

[startup+1795.1 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 4905
/proc/meminfo: memFree=968736/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=953808 CPUtime=1794.4
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 238192 0 0 0 179210 230 0 0 25 0 1 0 182324565 976699392 236025 1992294400 134512640 137136520 4294956256 18446744073709551615 134544143 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 238452 236025 197 640 0 237808 0
Current children cumulated CPU time (s) 1794.4
Current children cumulated vsize (KiB) 953808

[startup+1796.7 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 4905
/proc/meminfo: memFree=968416/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=954160 CPUtime=1795.99
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 238283 0 0 0 179369 230 0 0 25 0 1 0 182324565 977059840 236116 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 238540 236116 197 640 0 237896 0
Current children cumulated CPU time (s) 1795.99
Current children cumulated vsize (KiB) 954160

[startup+1798.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 4905
/proc/meminfo: memFree=968224/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=954516 CPUtime=1797.59
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 238367 0 0 0 179529 230 0 0 25 0 1 0 182324565 977424384 236200 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 238629 236200 197 640 0 237985 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 954516

[startup+1798.7 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 4905
/proc/meminfo: memFree=967968/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=954724 CPUtime=1797.99
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194304 238423 0 0 0 179569 230 0 0 25 0 1 0 182324565 977637376 236256 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4904/statm: 238681 236256 197 640 0 238037 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 954724

[startup+1798.9 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 4905
/proc/meminfo: memFree=967968/2055920 swapFree=4192812/4192956
[pid=4904] ppid=4902 vsize=0 CPUtime=1798.19
/proc/4904/stat : 4904 (bsolo) R 4902 4904 4790 0 -1 4194308 238437 0 0 0 179580 239 0 0 17 0 1 0 182324565 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4904/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.19
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.96
CPU time (s): 1798.25
CPU user time (s): 1795.8
CPU system time (s): 2.45163
CPU usage (%): 99.9609
Max. virtual memory (cumulated for all children) (KiB): 954724

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

runsolver used 1.47778 second user time and 5.07023 second system time

The end

Launcher Data 

Begin job on node45 at 2009-06-16 12:14:36
IDJOB=1878542
IDBENCH=2013
IDSOLVER=700
FILE ID=node45/1878542-1245147275
PBS_JOBID= 9363754
Free space on /tmp= 66168 MiB

SOLVER NAME= bsolo 3.1 cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878542-1245147275/watcher-1878542-1245147275 -o /tmp/evaluation-result-1878542-1245147275/solver-1878542-1245147275 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878542-1245147275.opb

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

MD5SUM BENCH= 2821538067d8c071dc9bd4a000c6d040
RANDOM SEED=619311548

node45.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1915456 kB
Buffers:         14408 kB
Cached:          63584 kB
SwapCached:        140 kB
Active:          60780 kB
Inactive:        31296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1915456 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6924 kB
Writeback:           0 kB
Mapped:          23756 kB
Slab:            34368 kB
Committed_AS:   151800 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878542-1245147275.opb

Free space on /tmp at the end= 66164 MiB
End job on node45 at 2009-06-16 12:44:35