Trace number 1880004

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 pbSAT83718 1798.12 1798.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
MD5SUMdccfffd22c38fcd3c497d688dab4b7a4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark81103
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 79290
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 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 559660
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 559660
Number of bits of the biggest sum of numbers20
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: Generic Pseudo-Boolean 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-1880004-1245147072.opb
0.00/0.00	c File size is 3055321 bytes.
0.39/0.42	c Highest Coefficient sum: 559660
0.39/0.42	c Parsing was ok!!
0.39/0.42	c Total parsing time: 0.426 s
0.39/0.44	c Var: 2700 Constr: 43070 20670/800/21600 Lit: 312360 Watch. Lit: 96380
0.39/0.44	c Obj. Vars: 900 (33.3333 % of total variables)
1.39/1.48	c Pre-processing Time: 1.478 s
1.39/1.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.48	c        0   2700    43070   312360    7   182780  564890      0      0 1.48
1.39/1.48	c Switching off lower bounding mode.
1.79/1.89	c      100   2700    43267   333989    7   192421  621380    197     64 1.55
1.79/1.89	c      250   2700    43564   367000    8   195149  683519    494    151 1.65
1.79/1.89	c      476   2700    44008   412929    9   197286  751871    938    263 1.81
1.79/1.89	o 90458
2.69/2.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.70	c      635   2700    44285   435579    9   201113  566690   1215    334 1.90
2.69/2.70	c      739   2700    44476   457834   10   207852  623360   1406    359 2.06
2.69/2.70	c      992   2700    44973   565628   12   215297  685697   1903    389 2.55
2.69/2.70	o 87164
5.29/5.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.29/5.33	c     1103   2700    45184   591719   13   219710  566690   2114    408 2.70
5.29/5.33	c     1203   2700    45367   608156   13   220292  623360   2297    432 2.78
5.29/5.33	c     1455   2700    45837   668296   14   231947  685697   2767    445 3.26
5.29/5.33	c     1933   2700    46759   827349   17   247959  754267   3689    478 4.04
5.29/5.33	o 86649
5.79/5.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.79/5.82	c     2484   2700    47812  1013153   21   267262  566690   4742    465 5.33
5.79/5.82	c     2584   2700    47998  1023244   21   265088  623360   4928    472 5.47
5.79/5.82	o 85833
20.79/20.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.79/20.85	c     2759   2700    48325  1067346   22   273323  566690   5255    473 5.83
20.79/20.85	c     2862   2700    48528  1109021   22   274644  623360   5458    466 6.14
20.79/20.85	c     3113   2700    49019  1240450   25   285565  685697   5949    452 6.88
20.79/20.85	c     3591   2700    49941  1461786   29   317312  754267   6871    416 8.62
20.79/20.85	c     4404   2700    51494  1713996   33   336929  829694   8424    393 11.20
20.79/20.85	c     5724   2700    54044  2564149   47   442132  912664  10974    291 19.64
20.79/20.85	o 84646
28.29/28.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
28.29/28.34	c     6066   2700    54705  2619333   47   430611  566690  11635    290 20.85
28.29/28.34	c     6167   2700    54882  2632281   47   417288  623360  11812    286 21.51
28.29/28.34	c     6417   2700    55322  2676639   48   416511  685697  12252    276 23.24
28.29/28.34	c     6892   2700    56235  2945375   52   440580  754267  13165    252 27.28
28.29/28.34	o 84292
45.87/45.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
45.87/45.95	c     7010   2700    56462  3011937   53   467039  566690  13392    247 28.34
45.87/45.95	c     7110   2700    56656  3025522   53   455319  623360  13586    248 28.56
45.87/45.95	c     7363   2700    57147  3071977   53   455737  685697  14077    254 28.98
45.87/45.95	c     7838   2700    58073  3151842   54   465107  754267  15003    262 29.84
45.87/45.95	c     8653   2700    59690  3313156   55   495685  829694  16620    271 31.88
45.87/45.95	c     9976   2700    62277  3475347   55   525862  912664  19207    276 36.09
45.87/45.95	o 83971
246.01/246.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
246.01/246.15	c    10832   2700    63966  4156665   64   606317  566690  20896    235 45.94
246.01/246.15	c    10932   2700    64157  4202010   65   593263  623360  21087    233 46.82
246.01/246.15	c    11182   2700    64639  4272634   66   584645  685697  21569    228 49.01
246.01/246.15	c    11657   2700    65549  4678377   71   648961  754267  22479    210 55.29
246.01/246.15	c    12470   2700    67122  5366943   79   731015  829694  24052    187 66.39
246.01/246.15	c    13790   2700    69705  6023124   86   730683  912664  26635    172 79.79
246.01/246.15	c    15871   2700    73777  8216264  111   952908  500000  30707    125 125.97
246.01/246.15	c    19094   2700    80130 10865775  135  1160165  550001  37060    101 188.82
246.01/246.15	o 83745
799.37/799.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
799.37/799.67	c    21024   2700    83938 13022817  155  1229819  566690  40868     85 246.08
799.37/799.67	c    21124   2700    84133 13091762  155  1192957  623360  41063     84 249.93
799.37/799.67	c    21374   2700    84609 13207062  156  1187079  685697  41539     84 254.38
799.37/799.67	c    21849   2700    85534 13419142  156  1157581  754267  42464     81 267.51
799.37/799.67	c    22662   2700    87132 14181293  162  1290763  829694  44062     77 292.45
799.37/799.67	c    23983   2700    89725 14491134  161  1210114  912664  46655     78 305.23
799.37/799.67	c    26065   2700    93799 15481719  165  1373644  500000  50729     75 345.63
799.37/799.67	c    29288   2700   100139 19656445  196  1657802  550001  57069     62 467.54
799.37/799.67	c    34224   2700   109867 26206983  238  1878584  605002  66797     48 706.44
799.37/799.67	o 83744
1437.90/1438.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1437.90/1438.36	c    36451   2700   114275 28517630  249  1939599  566690  71205     45 799.46
1437.90/1438.36	c    36554   2700   114476 28551422  249  1822384  623360  71406     45 802.59
1437.90/1438.36	c    36805   2700   114967 28709945  249  1856925  685697  71897     45 814.67
1437.90/1438.36	c    37282   2700   115898 28991686  250  1831173  754267  72828     44 835.31
1437.90/1438.36	c    38095   2700   117510 29557888  251  1880549  829694  74440     44 864.05
1437.90/1438.36	c    39416   2700   120127 31238070  260  1940649  912664  77057     42 938.26
1437.90/1438.36	c    41499   2700   124181 34330023  276  2318876  500000  81111     38 1072.57
1437.90/1438.36	c    44725   2700   130556 37996887  291  2417429  550001  87486     35 1275.13
1437.90/1438.36	o 83718
1797.90/1798.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.90/1798.49	c    48902   2700   138847 41426189  298  2715430  566690  95777     34 1437.97
1797.90/1798.49	c    49004   2700   139041 41439824  298  2540929  623360  95971     34 1440.68
1797.90/1798.49	c    49254   2700   139520 41475655  297  2440836  685697  96450     34 1443.52
1797.90/1798.49	c    49729   2700   140407 41932916  298  2675397  754267  97337     33 1480.25
1797.90/1798.49	c    50542   2700   142002 42372305  298  2547782  829694  98932     33 1514.80
1797.90/1798.49	c    51862   2700   144592 43479693  300  2637394  912664 101522     32 1607.29
1797.90/1798.49	c    53943   2700   148677 46193193  310  2860561  500000 105607     30 1785.22
1797.90/1798.49	c Resources Exceeded
1797.90/1798.49	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 
1797.90/1798.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.90/1798.50	c   60    54119  19162   281650   149010 46254868 105940     30 1798.01
1797.90/1798.50	c Objective: 83718
1797.90/1798.50	s SATISFIABLE
1797.90/1798.50	c Total time: 1798.01 s

Verifier Data 

OK	83718

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880004-1245147072/watcher-1880004-1245147072 -o /tmp/evaluation-result-1880004-1245147072/solver-1880004-1245147072 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880004-1245147072.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10882
/proc/meminfo: memFree=1863160/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=13708 CPUtime=0
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 67410035 14036992 249 1992294400 134512640 137136520 4294956256 18446744073709551615 134534714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 3427 250 174 640 0 2037 0

[startup+0.042722 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10882
/proc/meminfo: memFree=1863160/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=14656 CPUtime=0.03
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 551 0 0 0 3 0 0 0 18 0 1 0 67410035 15007744 535 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 3664 535 239 640 0 2274 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14656

[startup+0.101728 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10882
/proc/meminfo: memFree=1863160/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=16028 CPUtime=0.09
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 1015 0 0 0 9 0 0 0 18 0 1 0 67410035 16412672 999 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 4007 999 343 640 0 2617 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16028

[startup+0.301751 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10882
/proc/meminfo: memFree=1863160/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=18952 CPUtime=0.29
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 2063 0 0 0 29 0 0 0 19 0 1 0 67410035 19406848 2047 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 4738 2047 685 640 0 3348 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18952

[startup+0.701798 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10882
/proc/meminfo: memFree=1863160/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=27280 CPUtime=0.69
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 5168 0 0 0 67 2 0 0 22 0 1 0 67410035 27934720 4406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 6820 4406 191 640 0 6176 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27280

[startup+1.50189 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1846192/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=27196 CPUtime=1.49
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 5862 0 0 0 143 6 0 0 25 0 1 0 67410035 27848704 4387 1992294400 134512640 137136520 4294956256 18446744073709551615 136498512 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 6799 4387 193 640 0 6155 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27196

[startup+3.10107 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1847280/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=28276 CPUtime=3.09
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 6829 0 0 0 301 8 0 0 25 0 1 0 67410035 28954624 4662 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 7069 4662 197 640 0 6425 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28276

[startup+6.30145 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1839472/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=35248 CPUtime=6.29
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 8561 0 0 0 619 10 0 0 25 0 1 0 67410035 36093952 6394 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 8812 6394 197 640 0 8168 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35248

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1826936/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=47880 CPUtime=12.68
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 11727 0 0 0 1255 13 0 0 25 0 1 0 67410035 49029120 9560 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 11970 9560 198 640 0 11326 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47880

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1812792/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=60612 CPUtime=25.49
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 14905 0 0 0 2530 19 0 0 25 0 1 0 67410035 62066688 12738 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 15153 12738 198 640 0 14509 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60612

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1788536/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=85284 CPUtime=51.06
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 21057 0 0 0 5080 26 0 0 25 0 1 0 67410035 87330816 18890 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 21321 18890 198 640 0 20677 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 85284

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1747512/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=125856 CPUtime=102.26
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 31196 0 0 0 10191 35 0 0 25 0 1 0 67410035 128876544 29029 1992294400 134512640 137136520 4294956256 18446744073709551615 134605821 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 31464 29029 198 640 0 30820 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 125856

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1709624/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=163712 CPUtime=162.24
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 40687 0 0 0 16181 43 0 0 25 0 1 0 67410035 167641088 38520 1992294400 134512640 137136520 4294956256 18446744073709551615 134605446 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 40928 38520 198 640 0 40284 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 163712

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1674104/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=199020 CPUtime=222.22
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 49495 0 0 0 22173 49 0 0 25 0 1 0 67410035 203796480 47328 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 49755 47328 198 640 0 49111 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 199020

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1652088/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=221108 CPUtime=282.21
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 55022 0 0 0 28166 55 0 0 25 0 1 0 67410035 226414592 52855 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 55277 52855 198 640 0 54633 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 221108

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1628152/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=244728 CPUtime=342.19
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 60943 0 0 0 34159 60 0 0 25 0 1 0 67410035 250601472 58776 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 61182 58776 198 640 0 60538 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 244728

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1596792/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=276340 CPUtime=402.17
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 68828 0 0 0 40152 65 0 0 25 0 1 0 67410035 282972160 66661 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 69085 66661 198 640 0 68441 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 276340

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1568760/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=304184 CPUtime=462.16
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 75793 0 0 0 46146 70 0 0 25 0 1 0 67410035 311484416 73626 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 76046 73626 198 640 0 75402 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 304184

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1547896/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=324856 CPUtime=522.14
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 80977 0 0 0 52140 74 0 0 25 0 1 0 67410035 332652544 78810 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 81214 78810 198 640 0 80570 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 324856

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1524088/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=348628 CPUtime=582.12
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 86912 0 0 0 58134 78 0 0 25 0 1 0 67410035 356995072 84745 1992294400 134512640 137136520 4294956256 18446744073709551615 134605804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 87157 84745 198 640 0 86513 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 348628

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1503928/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=368592 CPUtime=642.12
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 91892 0 0 0 64131 81 0 0 25 0 1 0 67410035 377438208 89725 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 92148 89725 198 640 0 91504 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 368592

[startup+702.302 s]

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

/proc/meminfo: memFree=1352824/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=519352 CPUtime=1121.98
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 129575 0 0 0 112089 109 0 0 25 0 1 0 67410035 531816448 127408 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 129838 127408 198 640 0 129194 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 519352

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1339192/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=533144 CPUtime=1181.96
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 133031 0 0 0 118085 111 0 0 25 0 1 0 67410035 545939456 130864 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 133286 130864 198 640 0 132642 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 533144

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1323000/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=548936 CPUtime=1241.95
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 136984 0 0 0 124081 114 0 0 25 0 1 0 67410035 562110464 134817 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 137234 134817 198 640 0 136590 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 548936

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1301944/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=569832 CPUtime=1301.94
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 142220 0 0 0 130076 118 0 0 25 0 1 0 67410035 583507968 140053 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 142458 140053 198 640 0 141814 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 569832

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1280312/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=591616 CPUtime=1361.92
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 147649 0 0 0 136070 122 0 0 25 0 1 0 67410035 605814784 145482 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 147904 145482 198 640 0 147260 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 591616

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1266424/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=605304 CPUtime=1421.91
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 151068 0 0 0 142066 125 0 0 25 0 1 0 67410035 619831296 148901 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 151326 148901 198 640 0 150682 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 605304

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1254584/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=617268 CPUtime=1481.88
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 154064 0 0 0 148061 127 0 0 25 0 1 0 67410035 632082432 151897 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 154317 151897 198 640 0 153673 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 617268

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1245944/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=625752 CPUtime=1541.87
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 156180 0 0 0 154057 130 0 0 25 0 1 0 67410035 640770048 154013 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 156438 154013 198 640 0 155794 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 625752

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1236088/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=635564 CPUtime=1601.85
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 158643 0 0 0 160053 132 0 0 25 0 1 0 67410035 650817536 156476 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 158891 156476 198 640 0 158247 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 635564

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1225592/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=645868 CPUtime=1661.84
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 161219 0 0 0 166050 134 0 0 25 0 1 0 67410035 661368832 159052 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 161467 159052 198 640 0 160823 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 645868

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1212344/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=659224 CPUtime=1721.82
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 164562 0 0 0 172047 135 0 0 25 0 1 0 67410035 675045376 162395 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 164806 162395 198 640 0 164162 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 659224

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1197112/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=674348 CPUtime=1781.81
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 168333 0 0 0 178043 138 0 0 25 0 1 0 67410035 690532352 166166 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 168587 166166 198 640 0 167943 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 674348

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1195448/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=675852 CPUtime=1791.41
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 168725 0 0 0 179003 138 0 0 25 0 1 0 67410035 692072448 166558 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 168963 166558 198 640 0 168319 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 675852

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1195320/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=676080 CPUtime=1794.61
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 168758 0 0 0 179323 138 0 0 25 0 1 0 67410035 692305920 166591 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 169020 166591 198 640 0 168376 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 676080

[startup+1796.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1195256/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=676080 CPUtime=1796.2
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 168770 0 0 0 179482 138 0 0 25 0 1 0 67410035 692305920 166603 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 169020 166603 198 640 0 168376 0
Current children cumulated CPU time (s) 1796.2
Current children cumulated vsize (KiB) 676080

[startup+1797.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1195192/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=676184 CPUtime=1797
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 168785 0 0 0 179562 138 0 0 25 0 1 0 67410035 692412416 166618 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 169046 166618 198 640 0 168402 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 676184

[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1195192/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=676184 CPUtime=1797.8
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194304 168807 0 0 0 179642 138 0 0 25 0 1 0 67410035 692412416 166640 1992294400 134512640 137136520 4294956256 18446744073709551615 136502080 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 169046 166640 198 640 0 168402 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 676184

[startup+1798.51 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1195064/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=0 CPUtime=1798.01
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194308 168811 0 0 0 179662 139 0 0 25 0 1 0 67410035 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 0

[startup+1798.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10883
/proc/meminfo: memFree=1195064/2055920 swapFree=4192952/4192956
[pid=10882] ppid=10880 vsize=0 CPUtime=1798.1
/proc/10882/stat : 10882 (bsolo) R 10880 10882 10758 0 -1 4194308 168811 0 0 0 179662 148 0 0 25 0 1 0 67410035 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10882/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.1
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.61
CPU time (s): 1798.12
CPU user time (s): 1796.62
CPU system time (s): 1.49477
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 676184

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

runsolver used 1.22781 second user time and 3.9654 second system time

The end

Launcher Data 

Begin job on node20 at 2009-06-16 12:11:12
IDJOB=1880004
IDBENCH=2011
IDSOLVER=701
FILE ID=node20/1880004-1245147072
PBS_JOBID= 9363750
Free space on /tmp= 66320 MiB

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

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

MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4
RANDOM SEED=1156571547

node20.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.234
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.234
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:       1863576 kB
Buffers:         24288 kB
Cached:          81788 kB
SwapCached:          4 kB
Active:          37016 kB
Inactive:        82472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1863576 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:            6924 kB
Writeback:           0 kB
Mapped:          23232 kB
Slab:            58832 kB
Committed_AS:   127272 kB
PageTables:       1400 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-1880004-1245147072.opb

Free space on /tmp at the end= 66316 MiB
End job on node20 at 2009-06-16 12:41:11