Trace number 3500129

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
pwbo 1.1SAT (TO)350 1800.24 900.246

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 benchmark340
Best CPU time to get the best result obtained on this benchmark1800.14
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 pwbo 1.1 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3500129-1307991472.opb.
0.00/0.00	c Instance file HOME/instance-3500129-1307991472.opb
0.00/0.00	c File size is 3053421 bytes.
0.19/0.24	c Highest Coefficient sum: 80
0.19/0.24	c ============================[ Problem Statistics ]=============================
0.19/0.24	c |                                                                             |
0.19/0.24	c |  Parsing time:          0.23         s                                      |
0.19/0.24	c |  Number Variables:      2700                                                |
0.19/0.24	c |  Number Clauses:        20670                                               |
0.19/0.24	c |  Number Cardinality:    800                                                 |
0.19/0.24	c |  Number PB Constraints: 21600                                               |
0.19/0.24	c init lb 0
0.19/0.24	c init ub 2501
0.34/0.30	c lb 1 (thread 0)
0.34/0.33	c lb 2 (thread 0)
0.34/0.34	c ub 386 (thread 1)
0.34/0.35	o 386
0.34/0.35	c lb 3 (thread 0)
0.34/0.37	c lb 4 (thread 0)
0.54/0.40	c lb 5 (thread 0)
0.54/0.43	c lb 6 (thread 0)
0.54/0.46	c lb 7 (thread 0)
0.54/0.49	c lb 8 (thread 0)
0.73/0.52	c lb 9 (thread 0)
0.73/0.55	c lb 10 (thread 0)
0.73/0.58	c lb 11 (thread 0)
0.93/0.61	c lb 12 (thread 0)
0.93/0.64	c lb 13 (thread 0)
0.93/0.67	c lb 14 (thread 0)
1.13/0.70	c lb 15 (thread 0)
1.13/0.74	c lb 16 (thread 0)
1.13/0.77	c lb 17 (thread 0)
1.33/0.80	c lb 18 (thread 0)
1.33/0.83	c lb 19 (thread 0)
1.33/0.87	c lb 20 (thread 0)
1.53/0.90	c lb 21 (thread 0)
1.53/0.93	c lb 22 (thread 0)
1.53/0.97	c lb 23 (thread 0)
1.53/1.00	c lb 24 (thread 0)
1.74/1.03	c lb 25 (thread 0)
1.74/1.07	c lb 26 (thread 0)
1.95/1.10	c lb 27 (thread 0)
1.95/1.14	c lb 28 (thread 0)
1.95/1.17	c lb 29 (thread 0)
2.13/1.21	c lb 30 (thread 0)
2.13/1.24	c lb 31 (thread 0)
2.13/1.28	c lb 32 (thread 0)
2.33/1.31	c lb 33 (thread 0)
2.33/1.35	c lb 34 (thread 0)
2.33/1.38	c lb 35 (thread 0)
2.53/1.42	c lb 36 (thread 0)
2.53/1.45	c lb 37 (thread 0)
2.53/1.49	c lb 38 (thread 0)
2.73/1.53	c lb 39 (thread 0)
2.73/1.56	c lb 40 (thread 0)
2.93/1.60	c lb 41 (thread 0)
2.93/1.63	c lb 42 (thread 0)
2.93/1.67	c lb 43 (thread 0)
3.13/1.71	c lb 44 (thread 0)
3.13/1.74	c lb 45 (thread 0)
3.13/1.78	c lb 46 (thread 0)
3.33/1.82	c lb 47 (thread 0)
3.33/1.85	c lb 48 (thread 0)
3.33/1.89	c lb 49 (thread 0)
3.53/1.93	c lb 50 (thread 0)
3.53/1.96	c lb 51 (thread 0)
3.73/2.00	c lb 52 (thread 0)
3.73/2.04	c lb 53 (thread 0)
3.73/2.07	c lb 54 (thread 0)
3.94/2.11	c lb 55 (thread 0)
3.94/2.15	c lb 56 (thread 0)
3.94/2.18	c lb 57 (thread 0)
4.14/2.22	c lb 58 (thread 0)
4.14/2.26	c lb 59 (thread 0)
4.14/2.29	c lb 60 (thread 0)
4.33/2.33	c lb 61 (thread 0)
4.33/2.37	c lb 62 (thread 0)
4.53/2.41	c lb 63 (thread 0)
4.53/2.44	c lb 64 (thread 0)
4.53/2.48	c lb 65 (thread 0)
4.73/2.52	c lb 66 (thread 0)
4.73/2.56	c lb 67 (thread 0)
4.73/2.59	c lb 68 (thread 0)
4.93/2.63	c lb 69 (thread 0)
4.93/2.67	c lb 70 (thread 0)
5.13/2.71	c lb 71 (thread 0)
5.13/2.74	c lb 72 (thread 0)
5.13/2.78	c lb 73 (thread 0)
5.33/2.82	c lb 74 (thread 0)
5.33/2.85	c lb 75 (thread 0)
5.33/2.89	c lb 76 (thread 0)
5.53/2.93	c lb 77 (thread 0)
5.53/2.96	c lb 78 (thread 0)
5.73/3.00	c lb 79 (thread 0)
5.73/3.04	c lb 80 (thread 0)
5.73/3.08	c lb 81 (thread 0)
5.92/3.11	c lb 82 (thread 0)
5.92/3.15	c lb 83 (thread 0)
5.92/3.19	c lb 84 (thread 0)
6.14/3.22	c lb 85 (thread 0)
6.14/3.26	c lb 86 (thread 0)
6.14/3.30	c lb 87 (thread 0)
6.34/3.34	c lb 88 (thread 0)
6.34/3.37	c lb 89 (thread 0)
6.53/3.41	c lb 90 (thread 0)
6.53/3.45	c lb 91 (thread 0)
6.53/3.48	c lb 92 (thread 0)
6.73/3.52	c lb 93 (thread 0)
6.73/3.56	c lb 94 (thread 0)
6.93/3.60	c lb 95 (thread 0)
6.93/3.64	c lb 96 (thread 0)
6.93/3.67	c lb 97 (thread 0)
7.13/3.71	c lb 98 (thread 0)
7.13/3.75	c lb 99 (thread 0)
7.13/3.79	c lb 100 (thread 0)
7.33/3.84	c lb 101 (thread 0)
7.33/3.89	c lb 102 (thread 0)
7.53/3.95	c lb 103 (thread 0)
7.73/4.01	c lb 104 (thread 0)
7.73/4.07	c lb 105 (thread 0)
7.93/4.13	c lb 106 (thread 0)
8.12/4.20	c lb 107 (thread 0)
8.12/4.26	c lb 108 (thread 0)
8.33/4.33	c lb 109 (thread 0)
8.33/4.39	c lb 110 (thread 0)
8.53/4.46	c lb 111 (thread 0)
8.73/4.52	c lb 112 (thread 0)
8.73/4.59	c lb 113 (thread 0)
8.93/4.65	c lb 114 (thread 0)
9.13/4.72	c lb 115 (thread 0)
9.13/4.79	c lb 116 (thread 0)
9.33/4.85	c lb 117 (thread 0)
9.53/4.93	c lb 118 (thread 0)
9.53/4.99	c lb 119 (thread 0)
9.72/5.06	c lb 120 (thread 0)
9.93/5.13	c lb 121 (thread 0)
10.13/5.20	c lb 122 (thread 0)
10.13/5.27	c lb 123 (thread 0)
10.33/5.33	c lb 124 (thread 0)
10.54/5.41	c lb 125 (thread 0)
10.54/5.48	c lb 126 (thread 0)
10.74/5.55	c lb 127 (thread 0)
10.93/5.63	c lb 128 (thread 0)
11.12/5.71	c lb 129 (thread 0)
11.12/5.78	c lb 130 (thread 0)
11.33/5.86	c lb 131 (thread 0)
11.53/5.94	c lb 132 (thread 0)
11.72/6.01	c lb 133 (thread 0)
11.72/6.09	c lb 134 (thread 0)
11.93/6.17	c lb 135 (thread 0)
12.13/6.24	c lb 136 (thread 0)
12.33/6.32	c lb 137 (thread 0)
12.52/6.41	c lb 138 (thread 0)
12.74/6.50	c lb 139 (thread 0)
12.94/6.61	c lb 140 (thread 0)
13.13/6.77	c lb 141 (thread 0)
13.32/6.86	c lb 142 (thread 0)
13.72/7.07	c lb 143 (thread 0)
14.13/7.20	c lb 144 (thread 0)
14.52/7.40	c lb 145 (thread 0)
16.13/8.25	c lb 146 (thread 0)
16.72/8.53	c lb 147 (thread 0)
20.32/10.38	c lb 148 (thread 0)
44.13/22.23	c ub 384 (thread 1)
46.73/23.56	o 384
46.73/23.56	c ub 382 (thread 1)
47.13/23.71	o 382
47.13/23.71	c ub 370 (thread 1)
63.73/32.07	o 370
63.73/32.07	c ub 368 (thread 1)
86.93/43.61	o 368
86.93/43.61	c lb 149 (thread 0)
88.13/44.23	c ub 366 (thread 1)
92.73/46.55	o 366
92.73/46.55	c ub 364 (thread 1)
111.33/55.80	o 364
111.33/55.80	c ub 362 (thread 1)
133.32/66.88	o 362
133.32/66.88	c lb 150 (thread 0)
134.33/67.32	c lb 151 (thread 0)
138.53/69.45	c lb 152 (thread 0)
139.32/69.83	c lb 153 (thread 0)
147.32/73.82	c lb 154 (thread 0)
322.73/161.57	c lb 155 (thread 0)
389.54/194.93	c ub 360 (thread 1)
401.93/201.15	o 360
401.93/201.15	c lb 156 (thread 0)
402.54/201.47	c lb 157 (thread 0)
402.93/201.69	c lb 158 (thread 0)
409.33/204.81	c lb 159 (thread 0)
409.73/205.01	c lb 160 (thread 0)
410.14/205.22	c lb 161 (thread 0)
413.15/206.74	c lb 162 (thread 0)
416.93/208.61	c ub 352 (thread 1)
420.13/210.29	o 352
420.13/210.29	c lb 163 (thread 0)
432.54/216.49	c lb 164 (thread 0)
437.13/218.75	c lb 165 (thread 0)
443.33/221.82	c lb 166 (thread 0)
1122.35/561.30	c lb 167 (thread 0)
1128.56/564.47	c lb 168 (thread 0)
1140.75/570.53	c lb 169 (thread 0)
1192.36/596.31	c lb 170 (thread 0)
1235.36/617.85	c lb 171 (thread 0)
1263.16/631.76	c lb 172 (thread 0)
1294.96/647.65	c ub 350 (thread 1)
1785.58/892.93	o 350
1785.58/892.93	c lb 173 (thread 0)
1800.19/900.21	s SATISFIABLE
1800.19/900.21	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
1800.19/900.21	c Memory used           : 818.65 MB
1800.19/900.21	c CPU time              : 1789.93 s

Verifier Data 

OK	350

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500129-1307991472/watcher-3500129-1307991472 -o /var/tmp/evaluation-result-3500129-1307991472/solver-3500129-1307991472 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500129-1307991472.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17987
/proc/meminfo: memFree=24519692/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=6676 CPUtime=0 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) R 17985 17987 17705 0 -1 4202496 663 0 0 0 0 0 0 0 22 0 1 0 989377876 6836224 615 33554432000 4194304 5714118 140735004766688 18446744073709551615 4233584 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17987/statm: 1669 615 167 372 0 548 0

[startup+0.095918 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17987
/proc/meminfo: memFree=24519692/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=16660 CPUtime=0.09 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) R 17985 17987 17705 0 -1 4202496 3441 0 0 0 9 0 0 0 22 0 1 0 989377876 17059840 3393 33554432000 4194304 5714118 140735004766688 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17987/statm: 4165 3395 455 372 0 3044 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16660

[startup+0.100882 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17987
/proc/meminfo: memFree=24519692/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=17320 CPUtime=0.09 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) R 17985 17987 17705 0 -1 4202496 3632 0 0 0 9 0 0 0 22 0 1 0 989377876 17735680 3584 33554432000 4194304 5714118 140735004766688 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17987/statm: 4330 3585 470 372 0 3209 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17320

[startup+0.30085 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17987
/proc/meminfo: memFree=24519692/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=168824 CPUtime=0.34 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 11541 0 0 0 33 1 0 0 18 0 3 0 989377876 172875776 10681 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 42206 10681 180 372 0 41831 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 168824

[startup+0.70076 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17987
/proc/meminfo: memFree=24519692/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=167856 CPUtime=1.13 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 17554 0 0 0 112 1 0 0 18 0 3 0 989377876 171884544 16522 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 41964 16525 181 372 0 41589 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 167856

[startup+1.50062 s]
/proc/loadavg: 2.00 2.00 2.00 5/182 18030
/proc/meminfo: memFree=24427172/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=167856 CPUtime=2.73 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 25778 0 0 0 269 4 0 0 18 0 3 0 989377876 171884544 24746 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 41964 24746 181 372 0 41589 0
[pid=17987/tid=18029] ppid=17985 vsize=167856 CPUtime=1.25 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 15189 0 0 0 124 1 0 0 19 0 3 0 989377900 171884544 24746 33554432000 4194304 5714118 140735004766688 18446744073709551615 4328117 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=167856 CPUtime=1.23 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 1203 0 0 0 122 1 0 0 22 0 3 0 989377900 171884544 24746 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 167856

[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 5/182 18030
/proc/meminfo: memFree=24372520/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=233392 CPUtime=5.92 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 41165 0 0 0 584 8 0 0 18 0 3 0 989377876 238993408 40133 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 58348 40133 181 372 0 57973 0
[pid=17987/tid=18029] ppid=17985 vsize=233392 CPUtime=2.85 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 29193 0 0 0 281 4 0 0 22 0 3 0 989377900 238993408 40134 33554432000 4194304 5714118 140735004766688 18446744073709551615 4328536 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=233392 CPUtime=2.83 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 2587 0 0 0 280 3 0 0 25 0 3 0 989377900 238993408 40134 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 233392

[startup+6.30071 s]
/proc/loadavg: 2.16 2.03 2.01 5/182 18030
/proc/meminfo: memFree=24243992/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=364800 CPUtime=12.33 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 62647 0 0 0 1217 16 0 0 18 0 3 0 989377876 373555200 61576 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 91200 61576 181 372 0 90825 0
[pid=17987/tid=18029] ppid=17985 vsize=364800 CPUtime=6.05 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 49400 0 0 0 597 8 0 0 25 0 3 0 989377900 373555200 61576 33554432000 4194304 5714118 140735004766688 18446744073709551615 4956246 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=364800 CPUtime=6.02 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 3861 0 0 0 596 6 0 0 25 0 3 0 989377900 373555200 61576 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 364800

[startup+12.7005 s]
/proc/loadavg: 2.31 2.07 2.02 5/182 18030
/proc/meminfo: memFree=24180572/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=365808 CPUtime=25.13 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 71029 0 0 0 2480 33 0 0 18 0 3 0 989377876 374587392 69946 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 91452 69946 182 372 0 91077 0
[pid=17987/tid=18029] ppid=17985 vsize=365808 CPUtime=12.44 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 56252 0 0 0 1222 22 0 0 25 0 3 0 989377900 374587392 69946 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=365808 CPUtime=12.43 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 5391 0 0 0 1234 9 0 0 25 0 3 0 989377900 374587392 69946 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 365808

[startup+25.5011 s]
/proc/loadavg: 2.68 2.16 2.05 5/182 18031
/proc/meminfo: memFree=24155180/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=367032 CPUtime=50.73 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 74441 0 0 0 5018 55 0 0 18 0 3 0 989377876 375840768 73357 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 91758 73357 182 372 0 91383 0
[pid=17987/tid=18029] ppid=17985 vsize=367032 CPUtime=25.24 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 59123 0 0 0 2489 35 0 0 25 0 3 0 989377900 375840768 73357 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=367032 CPUtime=25.23 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 5932 0 0 0 2505 18 0 0 25 0 3 0 989377900 375840768 73357 33554432000 4194304 5714118 140735004766688 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 367032

[startup+51.1003 s]
/proc/loadavg: 3.13 2.31 2.10 5/182 18031
/proc/meminfo: memFree=24064180/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=432700 CPUtime=101.92 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 92145 0 0 0 10098 94 0 0 18 0 3 0 989377876 443084800 90923 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 108175 90923 182 372 0 107800 0
[pid=17987/tid=18029] ppid=17985 vsize=432700 CPUtime=50.85 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 66747 0 0 0 5024 61 0 0 25 0 3 0 989377900 443084800 90923 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=432700 CPUtime=50.83 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 16012 0 0 0 5051 32 0 0 25 0 3 0 989377900 443084800 90923 33554432000 4194304 5714118 140735004766688 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 432700

[startup+102.307 s]
/proc/loadavg: 3.69 2.58 2.20 5/182 18033
/proc/meminfo: memFree=23990552/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=499040 CPUtime=204.34 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 101859 0 0 0 20270 164 0 0 18 0 3 0 989377876 511016960 100637 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 124760 100637 182 372 0 124385 0
[pid=17987/tid=18029] ppid=17985 vsize=499040 CPUtime=102.05 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 66875 0 0 0 10093 112 0 0 25 0 3 0 989377900 511016960 100637 33554432000 4194304 5714118 140735004766688 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=499040 CPUtime=102.04 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 25598 0 0 0 10153 51 0 0 25 0 3 0 989377900 511016960 100637 33554432000 4194304 5714118 140735004766688 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.34
Current children cumulated vsize (KiB) 499040

[startup+162.3 s]
/proc/loadavg: 3.92 2.85 2.32 5/182 18034
/proc/meminfo: memFree=23944492/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=499988 CPUtime=324.33 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 113816 0 0 0 32197 236 0 0 18 0 3 0 989377876 511987712 112594 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 124997 112594 182 372 0 124622 0
[pid=17987/tid=18029] ppid=17985 vsize=499988 CPUtime=162.05 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 77816 0 0 0 16037 168 0 0 25 0 3 0 989377900 511987712 112594 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=499988 CPUtime=162.03 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 26614 0 0 0 16137 66 0 0 25 0 3 0 989377900 511987712 112594 33554432000 4194304 5714118 140735004766688 18446744073709551615 4319212 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.33
Current children cumulated vsize (KiB) 499988

[startup+222.301 s]
/proc/loadavg: 3.97 3.06 2.42 5/182 18045
/proc/meminfo: memFree=23882840/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=567024 CPUtime=444.33 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 121815 0 0 0 44085 348 0 0 18 0 3 0 989377876 580632576 120593 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 141756 120593 182 372 0 141381 0
[pid=17987/tid=18029] ppid=17985 vsize=567024 CPUtime=222.05 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 77908 0 0 0 21952 253 0 0 25 0 3 0 989377900 580632576 120593 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=567024 CPUtime=222.04 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 34521 0 0 0 22110 94 0 0 25 0 3 0 989377900 580632576 120593 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.33
Current children cumulated vsize (KiB) 567024

[startup+282.301 s]
/proc/loadavg: 3.99 3.23 2.52 5/182 18046
/proc/meminfo: memFree=23847556/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=568436 CPUtime=564.34 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 122202 0 0 0 56015 419 0 0 18 0 3 0 989377876 582078464 120980 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 142109 120980 182 372 0 141734 0
[pid=17987/tid=18029] ppid=17985 vsize=568436 CPUtime=282.05 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 77962 0 0 0 27894 311 0 0 25 0 3 0 989377900 582078464 120980 33554432000 4194304 5714118 140735004766688 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=568436 CPUtime=282.03 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 34854 0 0 0 28097 106 0 0 25 0 3 0 989377900 582078464 120980 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.34
Current children cumulated vsize (KiB) 568436

[startup+342.301 s]
/proc/loadavg: 3.99 3.36 2.61 5/182 18048
/proc/meminfo: memFree=23765168/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=635728 CPUtime=684.34 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 139519 0 0 0 67953 481 0 0 18 0 3 0 989377876 650985472 138297 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 158932 138297 182 372 0 158557 0
[pid=17987/tid=18029] ppid=17985 vsize=635728 CPUtime=342.05 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 85091 0 0 0 33848 357 0 0 25 0 3 0 989377900 650985472 138297 33554432000 4194304 5714118 140735004766688 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=635728 CPUtime=342.04 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 45042 0 0 0 34082 122 0 0 25 0 3 0 989377900 650985472 138297 33554432000 4194304 5714118 140735004766688 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.34
Current children cumulated vsize (KiB) 635728

[startup+402.301 s]
/proc/loadavg: 3.99 3.48 2.69 5/182 18050
/proc/meminfo: memFree=23728644/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=636308 CPUtime=804.34 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 148241 0 0 0 79896 538 0 0 18 0 3 0 989377876 651579392 147018 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 159077 147018 182 372 0 158702 0
[pid=17987/tid=18029] ppid=17985 vsize=636308 CPUtime=402.05 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 92210 0 0 0 39804 401 0 0 25 0 3 0 989377900 651579392 147018 33554432000 4194304 5714118 140735004766688 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=636308 CPUtime=402.04 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 46645 0 0 0 40069 135 0 0 25 0 3 0 989377900 651579392 147018 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.34
Current children cumulated vsize (KiB) 636308

[startup+462.301 s]
/proc/loadavg: 3.99 3.57 2.77 5/182 18051
/proc/meminfo: memFree=23665208/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=703012 CPUtime=924.35 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 162674 0 0 0 91839 596 0 0 18 0 3 0 989377876 719884288 161447 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 175753 161447 182 372 0 175378 0
[pid=17987/tid=18029] ppid=17985 vsize=703012 CPUtime=462.05 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 102090 0 0 0 45761 444 0 0 25 0 3 0 989377900 719884288 161447 33554432000 4194304 5714118 140735004766688 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=703012 CPUtime=462.05 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 51198 0 0 0 46055 150 0 0 25 0 3 0 989377900 719884288 161447 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.35
Current children cumulated vsize (KiB) 703012

[startup+522.301 s]
/proc/loadavg: 3.99 3.65 2.84 5/182 18053
/proc/meminfo: memFree=23599176/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=704068 CPUtime=1044.35 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 170654 0 0 0 103777 658 0 0 18 0 3 0 989377876 720965632 169427 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 176017 169427 182 372 0 175642 0
[pid=17987/tid=18029] ppid=17985 vsize=704068 CPUtime=522.05 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 109840 0 0 0 51709 496 0 0 25 0 3 0 989377900 720965632 169427 33554432000 4194304 5714118 140735004766688 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=704068 CPUtime=522.05 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 51428 0 0 0 52044 161 0 0 25 0 3 0 989377900 720965632 169427 33554432000 4194304 5714118 140735004766688 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.35
Current children cumulated vsize (KiB) 704068

[startup+582.3 s]
/proc/loadavg: 3.99 3.71 2.91 5/182 18054
/proc/meminfo: memFree=23502272/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=769232 CPUtime=1164.36 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 186183 0 0 0 115713 723 0 0 18 0 3 0 989377876 787693568 184731 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 192308 184731 182 372 0 191933 0
[pid=17987/tid=18029] ppid=17985 vsize=769232 CPUtime=582.06 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 125190 0 0 0 57655 551 0 0 25 0 3 0 989377900 787693568 184731 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=769232 CPUtime=582.04 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 51607 0 0 0 58034 170 0 0 25 0 3 0 989377900 787693568 184731 33554432000 4194304 5714118 140735004766688 18446744073709551615 4310928 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.36
Current children cumulated vsize (KiB) 769232

[startup+642.301 s]
/proc/loadavg: 3.99 3.76 2.98 5/182 18056
/proc/meminfo: memFree=23462772/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=770092 CPUtime=1284.37 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 186443 0 0 0 127638 799 0 0 18 0 3 0 989377876 788574208 184991 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 192523 184991 182 372 0 192148 0
[pid=17987/tid=18029] ppid=17985 vsize=770092 CPUtime=642.07 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 125223 0 0 0 63587 620 0 0 25 0 3 0 989377900 788574208 184991 33554432000 4194304 5714118 140735004766688 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=770092 CPUtime=642.05 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 51834 0 0 0 64027 178 0 0 25 0 3 0 989377900 788574208 184991 33554432000 4194304 5714118 140735004766688 18446744073709551615 4319392 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.37
Current children cumulated vsize (KiB) 770092

[startup+702.301 s]
/proc/loadavg: 4.04 3.81 3.04 5/182 18058
/proc/meminfo: memFree=23443268/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=770500 CPUtime=1404.37 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 186552 0 0 0 139570 867 0 0 18 0 3 0 989377876 788992000 185100 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 192625 185100 182 372 0 192250 0
[pid=17987/tid=18029] ppid=17985 vsize=770500 CPUtime=702.06 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 125223 0 0 0 69536 670 0 0 25 0 3 0 989377900 788992000 185100 33554432000 4194304 5714118 140735004766688 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=770500 CPUtime=702.05 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 51943 0 0 0 70010 195 0 0 25 0 3 0 989377900 788992000 185100 33554432000 4194304 5714118 140735004766688 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.37
Current children cumulated vsize (KiB) 770500

[startup+762.307 s]
/proc/loadavg: 4.01 3.84 3.10 5/182 18059
/proc/meminfo: memFree=23401420/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=771184 CPUtime=1524.38 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 186728 0 0 0 151514 924 0 0 18 0 3 0 989377876 789692416 185276 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 192796 185276 182 372 0 192421 0
[pid=17987/tid=18029] ppid=17985 vsize=771184 CPUtime=762.07 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 125239 0 0 0 75493 714 0 0 25 0 3 0 989377900 789692416 185276 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=771184 CPUtime=762.06 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 52103 0 0 0 75997 209 0 0 25 0 3 0 989377900 789692416 185276 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.38
Current children cumulated vsize (KiB) 771184

[startup+822.301 s]
/proc/loadavg: 4.00 3.87 3.16 5/182 18061
/proc/meminfo: memFree=23398876/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=771900 CPUtime=1644.38 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 186950 0 0 0 163477 961 0 0 18 0 3 0 989377876 790425600 185498 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 192975 185498 182 372 0 192600 0
[pid=17987/tid=18029] ppid=17985 vsize=771900 CPUtime=822.07 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 125296 0 0 0 81465 742 0 0 25 0 3 0 989377900 790425600 185498 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=771900 CPUtime=822.05 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 52268 0 0 0 81988 217 0 0 25 0 3 0 989377900 790425600 185498 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.38
Current children cumulated vsize (KiB) 771900

[startup+882.301 s]
/proc/loadavg: 4.00 3.89 3.21 5/182 18062
/proc/meminfo: memFree=23383688/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=837972 CPUtime=1764.37 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 190627 0 0 0 175428 1009 0 0 18 0 3 0 989377876 858083328 189175 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 209493 189175 182 372 0 209118 0
[pid=17987/tid=18029] ppid=17985 vsize=837972 CPUtime=882.07 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 125572 0 0 0 87430 777 0 0 25 0 3 0 989377900 858083328 189175 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=837972 CPUtime=882.06 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 55669 0 0 0 87975 231 0 0 25 0 3 0 989377900 858083328 189175 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.37
Current children cumulated vsize (KiB) 837972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.201 s]
/proc/loadavg: 4.00 3.90 3.22 6/182 18063
/proc/meminfo: memFree=23382928/32950928 swapFree=67054844/67111528
[pid=17987] ppid=17985 vsize=838296 CPUtime=1800.19 cores=1,3,5,7
/proc/17987/stat : 17987 (pwbo1.1) S 17985 17987 17705 0 -1 4202496 190733 0 0 0 178992 1027 0 0 18 0 3 0 989377876 858415104 189281 33554432000 4194304 5714118 140735004766688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17987/statm: 209574 189281 182 372 0 209199 0
[pid=17987/tid=18029] ppid=17985 vsize=838296 CPUtime=899.97 cores=1,3,5,7
/proc/17987/task/18029/stat : 18029 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 125602 0 0 0 89205 792 0 0 25 0 3 0 989377900 858415104 189281 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17987/tid=18030] ppid=17985 vsize=838296 CPUtime=899.97 cores=1,3,5,7
/proc/17987/task/18030/stat : 18030 (pwbo1.1) R 17985 17987 17705 0 -1 4202560 55745 0 0 0 89763 234 0 0 25 0 3 0 989377900 858415104 189281 33554432000 4194304 5714118 140735004766688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 838296

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

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

Child status: 0
Real time (s): 900.246
CPU time (s): 1800.24
CPU user time (s): 1789.93
CPU system time (s): 10.3104
CPU usage (%): 199.972
Max. virtual memory (cumulated for all children) (KiB): 838296

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

runsolver used 1.54676 second user time and 3.33249 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-13 20:57:52
IDJOB=3500129
IDBENCH=2013
IDSOLVER=1954
FILE ID=node114/3500129-1307991472
RUNJOBID= node114-1307991472-17958
PBS_JOBID= 13559747
Free space on /var/tmp= 2876 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500129-1307991472/watcher-3500129-1307991472 -o /var/tmp/evaluation-result-3500129-1307991472/solver-3500129-1307991472 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500129-1307991472.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2821538067d8c071dc9bd4a000c6d040
RANDOM SEED=2017244458

node114.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24519756 kB
Buffers:         57212 kB
Cached:        7989024 kB
SwapCached:      10332 kB
Active:         179676 kB
Inactive:      7888732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24519756 kB
SwapTotal:    67111528 kB
SwapFree:     67054844 kB
Dirty:           11632 kB
Writeback:           0 kB
AnonPages:       19496 kB
Mapped:          13396 kB
Slab:           297568 kB
PageTables:       4552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   209020 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2872 MiB
End job on node114 at 2011-06-13 21:12:54