Trace number 2657478

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 ClSAT354 1798.13 1798.61

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 benchmark336
Best CPU time to get the best result obtained on this benchmark1800.39
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.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: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657478-1276400616.opb
0.00/0.00	c File size is 3053421 bytes.
0.39/0.49	c Highest Coefficient sum: 2500
0.39/0.49	c Parsing was ok!!
0.39/0.49	c Total parsing time: 0.493 s
0.49/0.51	c Var: 2700 Constr: 43070 20670/800/21600 Lit: 312360 Watch. Lit: 96380
0.49/0.51	c Obj. Vars: 900 (33.3333 % of total variables)
1.49/1.54	c Pre-processing Time: 1.544 s
1.49/1.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.54	c        0   2700    43070   312360    7   182780  564890      0      0 1.54
1.49/1.54	c Switching off lower bounding mode.
1.60/1.70	c      100   2700    43170   317450    7   189334  621380    100     63 1.59
1.60/1.70	c      251   2700    43321   329125    7   191026  683519    251    153 1.64
1.60/1.70	o 392
1.79/1.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.85	c      385   2700    43456   343094    7   194030  566690    386    226 1.70
1.79/1.85	c      486   2700    43557   347888    7   193530  623360    487    278 1.74
1.79/1.85	o 384
4.49/4.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.49/4.52	c      681   2700    43753   370482    8   191270  566690    683    366 1.86
4.49/4.52	c      781   2700    43853   382288    8   190702  623360    783    407 1.92
4.49/4.52	c     1031   2700    44103   429345    9   188575  685697   1033    494 2.09
4.49/4.52	c     1507   2700    44579   475565   10   188092  754267   1509    642 2.35
4.49/4.52	c     2320   2700    45392   654340   14   186555  829694   2322    770 3.01
4.49/4.52	c     3641   2700    46713  1031648   22   198480  912664   3643    859 4.24
4.49/4.52	o 382
6.09/6.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.09/6.12	c     4275   2700    47348  1070831   22   195905  566690   4278    944 4.52
6.09/6.12	c     4376   2700    47449  1082453   22   195669  623360   4379    948 4.61
6.09/6.12	c     4629   2700    47702  1115272   23   196733  685697   4632    955 4.84
6.09/6.12	c     5107   2700    48180  1148770   23   190979  754267   5110    994 5.14
6.09/6.12	c     5927   2700    49000  1298494   26   199515  829694   5930   1009 5.87
6.09/6.12	o 380
19.19/19.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.19/19.26	c     6212   2700    49286  1340514   27   197244  566690   6216   1014 6.12
19.19/19.26	c     6313   2700    49387  1347683   27   196798  623360   6317   1016 6.21
19.19/19.26	c     6564   2700    49638  1383929   27   196533  685697   6568   1008 6.51
19.19/19.26	c     7040   2700    50114  1446281   28   197232  754267   7044   1007 6.99
19.19/19.26	c     7853   2700    50927  1489783   29   202515  829694   7857    931 8.43
19.19/19.26	c     9173   2700    52247  1730854   33   204772  912664   9177    891 10.29
19.19/19.26	c    11257   2700    54331  2015274   37   211462  500000  11261    902 12.47
19.19/19.26	c    14480   2700    57554  2844978   49   218187  550001  14484    819 17.67
19.19/19.26	o 376
26.69/26.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.69/26.79	c    15438   2700    58513  3005654   51   214648  566690  15443    801 19.27
26.69/26.79	c    15539   2700    58614  3009474   51   215343  623360  15544    801 19.39
26.69/26.79	c    15789   2700    58864  3022307   51   214879  685697  15794    802 19.67
26.69/26.79	c    16264   2700    59339  3111390   52   215970  754267  16269    785 20.70
26.69/26.79	c    17079   2700    60154  3235383   53   217985  829694  17084    760 22.47
26.69/26.79	c    18399   2700    61474  3462966   56   221563  912664  18404    739 24.88
26.69/26.79	o 374
38.98/39.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.98/39.09	c    19278   2700    62354  3615656   57   225899  566690  19284    719 26.79
38.98/39.09	c    19378   2700    62454  3621224   57   224291  623360  19384    716 27.04
38.98/39.09	c    19630   2700    62706  3668424   58   227527  685697  19636    711 27.57
38.98/39.09	c    20108   2700    63184  3741421   59   229408  754267  20114    706 28.45
38.98/39.09	c    20921   2700    63997  4021077   62   229454  829694  20927    686 30.50
38.98/39.09	c    22242   2700    65318  4203398   64   238314  912664  22248    685 32.46
38.98/39.09	c    24323   2700    67399  4823927   71   237098  500000  24329    627 38.74
38.98/39.09	o 354
1798.02/1798.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.02/1798.51	c    24445   2700    67522  4837820   71   235580  566690  24452    625 39.09
1798.02/1798.51	c    24545   2700    67622  4851920   71   235278  623360  24552    623 39.38
1798.02/1798.51	c    24795   2700    67872  4867564   71   234471  685697  24802    617 40.12
1798.02/1798.51	c    25270   2700    68347  4943425   72   234955  754267  25277    605 41.70
1798.02/1798.51	c    26085   2700    69162  5152434   74   239401  829694  26092    595 43.78
1798.02/1798.51	c    27406   2700    70483  5228553   74   242872  912664  27413    610 44.93
1798.02/1798.51	c    29488   2700    72565  5805557   80   247435  500000  29495    591 49.88
1798.02/1798.51	c    32711   2700    75788  6035419   79   250807  550001  32718    616 53.09
1798.02/1798.51	c    37647   2700    80724  6458465   80   262658  605002  37654    619 60.80
1798.02/1798.51	c    45155   2700    88232  8967930  101   287140  665503  45162    471 95.68
1798.02/1798.51	c    56516   2700    99593 14614975  146   295303  732054  56523    348 162.11
1798.02/1798.51	c    73660   2700   116737 16178366  138   332428  805260  73667    353 208.31
1798.02/1798.51	c    99481   2700   142558 27260038  191   389940  885787  99488    225 441.48
1798.02/1798.51	c   138313   2700   181390 45920015  253   469702  974366 138320    142 969.01
1798.02/1798.51	c Resources Exceeded
1798.02/1798.51	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.02/1798.51	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.02/1798.51	c   50   183089  58942   663004   226166 71271818 183096    101 1798.04
1798.02/1798.51	c Objective: 354
1798.02/1798.51	s SATISFIABLE
1798.02/1798.51	c Total time: 1798.04 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-2657478-1276400616/watcher-2657478-1276400616 -o /tmp/evaluation-result-2657478-1276400616/solver-2657478-1276400616 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657478-1276400616.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: 1.00 1.00 1.09 3/106 22881
/proc/meminfo: memFree=1804776/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=13916 CPUtime=0
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 362 0 0 0 0 0 0 0 18 0 1 0 15665581 14249984 281 1992294400 134512640 137138936 4289911904 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 3479 281 175 642 0 2089 0

[startup+0.0343331 s]
/proc/loadavg: 1.00 1.00 1.09 3/106 22881
/proc/meminfo: memFree=1804776/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=14460 CPUtime=0.03
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 516 0 0 0 3 0 0 0 20 0 1 0 15665581 14807040 435 1992294400 134512640 137138936 4289911904 18446744073709551615 136506699 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 3615 435 213 642 0 2225 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14460

[startup+0.101338 s]
/proc/loadavg: 1.00 1.00 1.09 3/106 22881
/proc/meminfo: memFree=1804776/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=15828 CPUtime=0.09
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 966 0 0 0 9 0 0 0 20 0 1 0 15665581 16207872 885 1992294400 134512640 137138936 4289911904 18446744073709551615 134531572 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 3957 886 315 642 0 2567 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15828

[startup+0.301359 s]
/proc/loadavg: 1.00 1.00 1.09 3/106 22881
/proc/meminfo: memFree=1804776/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=18492 CPUtime=0.29
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 1971 0 0 0 29 0 0 0 20 0 1 0 15665581 18935808 1890 1992294400 134512640 137138936 4289911904 18446744073709551615 134517613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 4623 1890 630 642 0 3233 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18492

[startup+0.7014 s]
/proc/loadavg: 1.00 1.00 1.09 3/106 22881
/proc/meminfo: memFree=1804776/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=24560 CPUtime=0.69
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 4513 0 0 0 68 1 0 0 21 0 1 0 15665581 25149440 3686 1992294400 134512640 137138936 4289911904 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 6140 3686 185 642 0 5496 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24560

[startup+1.50148 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 22882
/proc/meminfo: memFree=1787780/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=25268 CPUtime=1.49
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 5413 0 0 0 144 5 0 0 23 0 1 0 15665581 25874432 3873 1992294400 134512640 137138936 4289911904 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 6317 3875 185 642 0 5673 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25268

[startup+3.10164 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 22882
/proc/meminfo: memFree=1788896/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=28568 CPUtime=3.09
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 6930 0 0 0 301 8 0 0 25 0 1 0 15665581 29253632 4698 1992294400 134512640 137138936 4289911904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 7142 4698 191 642 0 6498 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28568

[startup+6.30097 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 22882
/proc/meminfo: memFree=1779844/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=36856 CPUtime=6.29
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 9007 0 0 0 617 12 0 0 25 0 1 0 15665581 37740544 6775 1992294400 134512640 137138936 4289911904 18446744073709551615 134543413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 9214 6775 191 642 0 8570 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36856

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 22882
/proc/meminfo: memFree=1770048/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=45932 CPUtime=12.69
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 11282 0 0 0 1248 21 0 0 25 0 1 0 15665581 47034368 9050 1992294400 134512640 137138936 4289911904 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 11483 9050 191 642 0 10839 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45932

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 22882
/proc/meminfo: memFree=1749960/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=64960 CPUtime=25.48
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 16038 0 0 0 2517 31 0 0 25 0 1 0 15665581 66519040 13806 1992294400 134512640 137138936 4289911904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 16240 13806 191 642 0 15596 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64960

[startup+51.1006 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 22884
/proc/meminfo: memFree=1718464/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=97020 CPUtime=51.07
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 24056 0 0 0 5062 45 0 0 25 0 1 0 15665581 99348480 21824 1992294400 134512640 137138936 4289911904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 24255 21824 191 642 0 23611 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97020

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 22884
/proc/meminfo: memFree=1670848/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=143744 CPUtime=102.27
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 35722 0 0 0 10161 66 0 0 25 0 1 0 15665581 147193856 33490 1992294400 134512640 137138936 4289911904 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 35936 33490 191 642 0 35292 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 143744

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 22886
/proc/meminfo: memFree=1604260/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=210560 CPUtime=162.25
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 52444 0 0 0 16142 83 0 0 25 0 1 0 15665581 215613440 50212 1992294400 134512640 137138936 4289911904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 52640 50212 191 642 0 51996 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 210560

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 22888
/proc/meminfo: memFree=1578716/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=235572 CPUtime=222.23
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 58680 0 0 0 22126 97 0 0 25 0 1 0 15665581 241225728 56448 1992294400 134512640 137138936 4289911904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 58893 56448 191 642 0 58249 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 235572

[startup+282.301 s]
/proc/loadavg: 1.05 1.01 1.07 2/107 22890
/proc/meminfo: memFree=1549948/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=264700 CPUtime=282.22
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 65976 0 0 0 28114 108 0 0 25 0 1 0 15665581 271052800 63744 1992294400 134512640 137138936 4289911904 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 66175 63744 191 642 0 65531 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 264700

[startup+342.301 s]
/proc/loadavg: 1.06 1.02 1.07 2/107 22892
/proc/meminfo: memFree=1504440/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=309860 CPUtime=342.21
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 77254 0 0 0 34102 119 0 0 25 0 1 0 15665581 317296640 75022 1992294400 134512640 137138936 4289911904 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 77465 75022 191 642 0 76821 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 309860

[startup+402.302 s]
/proc/loadavg: 1.07 1.03 1.07 2/107 22892
/proc/meminfo: memFree=1463892/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=350684 CPUtime=402.19
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 87474 0 0 0 40091 128 0 0 25 0 1 0 15665581 359100416 85242 1992294400 134512640 137138936 4289911904 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 87671 85242 191 642 0 87027 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 350684

[startup+462.301 s]
/proc/loadavg: 1.06 1.04 1.07 2/107 22894
/proc/meminfo: memFree=1428552/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=385560 CPUtime=462.17
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 96189 0 0 0 46080 137 0 0 25 0 1 0 15665581 394813440 93957 1992294400 134512640 137138936 4289911904 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 96390 93957 191 642 0 95746 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 385560

[startup+522.301 s]
/proc/loadavg: 1.06 1.04 1.07 2/107 22896
/proc/meminfo: memFree=1390732/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=423476 CPUtime=522.16
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 105655 0 0 0 52070 146 0 0 25 0 1 0 15665581 433639424 103423 1992294400 134512640 137138936 4289911904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 105869 103423 191 642 0 105225 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 423476

[startup+582.301 s]
/proc/loadavg: 1.06 1.05 1.07 2/107 22898
/proc/meminfo: memFree=1357252/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=456772 CPUtime=582.14
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 113996 0 0 0 58061 153 0 0 25 0 1 0 15665581 467734528 111764 1992294400 134512640 137138936 4289911904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 114193 111764 191 642 0 113549 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 456772

[startup+642.301 s]
/proc/loadavg: 1.12 1.07 1.07 2/107 22900
/proc/meminfo: memFree=1324268/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=489232 CPUtime=642.13
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 122110 0 0 0 64053 160 0 0 25 0 1 0 15665581 500973568 119878 1992294400 134512640 137138936 4289911904 18446744073709551615 136297746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 122308 119878 191 642 0 121664 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 489232

[startup+702.301 s]

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

/proc/meminfo: memFree=1133556/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=679300 CPUtime=1121.98
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 169613 0 0 0 111986 212 0 0 25 0 1 0 15665581 695603200 167381 1992294400 134512640 137138936 4289911904 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 169825 167381 191 642 0 169181 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 679300

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.03 2/107 22923
/proc/meminfo: memFree=1101440/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=711876 CPUtime=1181.97
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 177765 0 0 0 117977 220 0 0 25 0 1 0 15665581 728961024 175533 1992294400 134512640 137138936 4289911904 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 177969 175533 191 642 0 177325 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 711876

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 22925
/proc/meminfo: memFree=1074904/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=737876 CPUtime=1241.95
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 184261 0 0 0 123967 228 0 0 25 0 1 0 15665581 755585024 182029 1992294400 134512640 137138936 4289911904 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 184469 182029 191 642 0 183825 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 737876

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 22925
/proc/meminfo: memFree=1050352/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=761932 CPUtime=1301.94
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 190291 0 0 0 129961 233 0 0 25 0 1 0 15665581 780218368 188059 1992294400 134512640 137138936 4289911904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 190483 188059 191 642 0 189839 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 761932

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 22927
/proc/meminfo: memFree=1027412/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=785172 CPUtime=1361.93
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 196083 0 0 0 135954 239 0 0 25 0 1 0 15665581 804016128 193851 1992294400 134512640 137138936 4289911904 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 196293 193851 191 642 0 195649 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 785172

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22929
/proc/meminfo: memFree=998644/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=813732 CPUtime=1421.92
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 203214 0 0 0 141947 245 0 0 25 0 1 0 15665581 833261568 200982 1992294400 134512640 137138936 4289911904 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 203433 200982 191 642 0 202789 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 813732

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22931
/proc/meminfo: memFree=971984/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=840504 CPUtime=1481.89
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 209929 0 0 0 147940 249 0 0 25 0 1 0 15665581 860676096 207697 1992294400 134512640 137138936 4289911904 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 210126 207697 191 642 0 209482 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 840504

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22933
/proc/meminfo: memFree=944828/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=867420 CPUtime=1541.87
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 216659 0 0 0 153931 256 0 0 25 0 1 0 15665581 888238080 214427 1992294400 134512640 137138936 4289911904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 216855 214427 191 642 0 216211 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 867420

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22933
/proc/meminfo: memFree=923376/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=888968 CPUtime=1601.86
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 222038 0 0 0 159925 261 0 0 25 0 1 0 15665581 910303232 219806 1992294400 134512640 137138936 4289911904 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 222242 219806 191 642 0 221598 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 888968

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22935
/proc/meminfo: memFree=907876/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=904440 CPUtime=1661.85
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 225897 0 0 0 165920 265 0 0 25 0 1 0 15665581 926146560 223665 1992294400 134512640 137138936 4289911904 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 226110 223665 191 642 0 225466 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 904440

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22937
/proc/meminfo: memFree=888656/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=923656 CPUtime=1721.83
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 230700 0 0 0 171914 269 0 0 25 0 1 0 15665581 945823744 228468 1992294400 134512640 137138936 4289911904 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 230914 228468 191 642 0 230270 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 923656

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22939
/proc/meminfo: memFree=871172/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=940676 CPUtime=1781.82
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 234958 0 0 0 177910 272 0 0 25 0 1 0 15665581 963252224 232726 1992294400 134512640 137138936 4289911904 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 235169 232726 191 642 0 234525 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 940676

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22939
/proc/meminfo: memFree=868692/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=943084 CPUtime=1791.42
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 235572 0 0 0 178869 273 0 0 25 0 1 0 15665581 965718016 233340 1992294400 134512640 137138936 4289911904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 235771 233340 191 642 0 235127 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 943084

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22939
/proc/meminfo: memFree=867700/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=944084 CPUtime=1794.62
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 235809 0 0 0 179189 273 0 0 25 0 1 0 15665581 966742016 233577 1992294400 134512640 137138936 4289911904 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 236021 233577 191 642 0 235377 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 944084

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22940
/proc/meminfo: memFree=867204/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=944420 CPUtime=1796.21
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 235899 0 0 0 179348 273 0 0 25 0 1 0 15665581 967086080 233667 1992294400 134512640 137138936 4289911904 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 236105 233667 191 642 0 235461 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 944420

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22941
/proc/meminfo: memFree=866956/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=944528 CPUtime=1797.01
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 235934 0 0 0 179428 273 0 0 25 0 1 0 15665581 967196672 233702 1992294400 134512640 137138936 4289911904 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 236132 233702 191 642 0 235488 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 944528

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22941
/proc/meminfo: memFree=866956/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=944748 CPUtime=1797.81
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 235995 0 0 0 179508 273 0 0 25 0 1 0 15665581 967421952 233763 1992294400 134512640 137138936 4289911904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 236187 233763 191 642 0 235543 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 944748

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 22942
/proc/meminfo: memFree=847356/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=944868 CPUtime=1798.02
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202496 235999 0 0 0 179529 273 0 0 25 0 1 0 15665581 967544832 233767 1992294400 134512640 137138936 4289911904 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22881/statm: 236217 233767 191 642 0 235573 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 944868

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 22942
/proc/meminfo: memFree=847356/2059040 swapFree=4135604/4192956
[pid=22881] ppid=22879 vsize=0 CPUtime=1798.11
/proc/22881/stat : 22881 (bsolo_pb10) R 22879 22881 16313 0 -1 4202500 236000 0 0 0 179530 281 0 0 25 0 1 0 15665581 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/22881/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.11
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.61
CPU time (s): 1798.13
CPU user time (s): 1795.3
CPU system time (s): 2.82657
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 944868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.3
system time used= 2.82657
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236000
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= 19455

runsolver used 2.84957 second user time and 8.61369 second system time

The end

Launcher Data 

Begin job on node002 at 2010-06-13 05:43:36
IDJOB=2657478
IDBENCH=2013
IDSOLVER=1163
FILE ID=node002/2657478-1276400616
PBS_JOBID= 11173267
Free space on /tmp= 62396 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657478-1276400616/watcher-2657478-1276400616 -o /tmp/evaluation-result-2657478-1276400616/solver-2657478-1276400616 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657478-1276400616.opb

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

MD5SUM BENCH= 2821538067d8c071dc9bd4a000c6d040
RANDOM SEED=1762117584

node002.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.242
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.48
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.242
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.36
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1805304 kB
Buffers:         42108 kB
Cached:         135656 kB
SwapCached:      10292 kB
Active:         125480 kB
Inactive:        64700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1805304 kB
SwapTotal:     4192956 kB
SwapFree:      4135604 kB
Dirty:            6952 kB
Writeback:           0 kB
AnonPages:       10876 kB
Mapped:           9124 kB
Slab:            41820 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179696 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= 62392 MiB
End job on node002 at 2010-06-13 06:13:35