Trace number 432896

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, and are wall clock time (not CPU time).

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)82252 1800.25 1800.83

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 benchmark80503
Best CPU time to get the best result obtained on this benchmark1782.78
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 (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432896-1177952028/instance-432896-1177952028.opb
0.00/0.00	c File size is 3055321 bytes.
0.49/0.55	c Highest Coefficient sum: 559660
0.49/0.55	c Parsing was ok!!
0.49/0.55	c Total parsing time: 0.55 s
0.49/0.57	c Var: 2700 Constr: 43070 20670/800/21600 Lit: 312360 Watch. Lit: 96380
0.49/0.57	c Obj. Vars: 900 (33.3333 % of total variables)
1.59/1.61	c Pre-processing Time: 1.611 s
1.59/1.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.61	c        0   2700    43070   312360    7   182780  564890      0      0 1.61
1.59/1.61	c Switching off LPR mode.
1.89/1.96	c      101   2700    43171   318200    7   192616  621380    101     60 1.66
1.89/1.96	c      257   2700    43327   322350    7   195697  683519    257    152 1.69
1.89/1.96	c      482   2700    43552   333932    7   195469  751871    482    279 1.72
1.89/1.96	c      822   2700    43892   360798    8   197397  827059    822    453 1.81
1.89/1.96	o 93168	1.958
2.29/2.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.31	c     1097   2700    44168   404875    9   199320  566690   1098    559 1.96
2.29/2.31	c     1197   2700    44268   423578    9   196883  623360   1198    587 2.04
2.29/2.31	c     1447   2700    44518   475314   10   195548  685697   1448    651 2.22
2.29/2.31	o 92067	2.306
2.69/2.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.77	c     1606   2700    44678   492059   11   195129  566690   1608    695 2.31
2.69/2.77	c     1706   2700    44778   506626   11   194122  623360   1708    715 2.39
2.69/2.77	c     1956   2700    45028   517131   11   193333  685697   1958    799 2.45
2.69/2.77	c     2431   2700    45503   568221   12   195714  754267   2433    946 2.57
2.69/2.77	o 86577	2.77
5.98/6.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.98/6.01	c     3012   2700    46085   634272   13   195745  566690   3015   1085 2.77
5.98/6.01	c     3115   2700    46188   643522   13   194760  623360   3118   1094 2.85
5.98/6.01	c     3369   2700    46442   679596   14   193955  685697   3372   1129 2.98
5.98/6.01	c     3845   2700    46918   719282   15   192189  754267   3848   1160 3.31
5.98/6.01	c     4658   2700    47731   805830   16   199638  829694   4661   1228 3.79
5.98/6.01	c     5979   2700    49052  1090746   22   192024  912664   5982   1199 4.99
5.98/6.01	o 86373	6.011
6.18/6.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.18/6.26	c     6944   2700    50018  1359595   27   202392  566690   6948   1154 6.01
6.18/6.26	c     7046   2700    50120  1373624   27   200631  623360   7050   1145 6.15
6.18/6.26	o 86235	6.261
8.58/8.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.58/8.61	c     7148   2700    50223  1385265   27   202118  566690   7153   1140 6.27
8.58/8.61	c     7248   2700    50323  1393203   27   202911  623360   7253   1141 6.35
8.58/8.61	c     7500   2700    50575  1408535   27   201122  685697   7505   1135 6.61
8.58/8.61	c     7977   2700    51052  1535846   30   201285  754267   7982   1094 7.29
8.58/8.61	c     8790   2700    51865  1772463   34   204442  829694   8795   1033 8.50
8.58/8.61	o 86164	8.595
48.27/48.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
48.27/48.32	c     8867   2700    51943  1780975   34   206083  566690   8873   1031 8.60
48.27/48.32	c     8969   2700    52045  1785163   34   204058  623360   8975   1033 8.68
48.27/48.32	c     9219   2700    52295  1796758   34   207560  685697   9225   1054 8.74
48.27/48.32	c     9694   2700    52770  1840110   34   209220  754267   9700   1078 8.99
48.27/48.32	c    10508   2700    53584  2011932   37   206859  829694  10514   1051 9.99
48.27/48.32	c    11831   2700    54907  2472234   45   211122  912664  11837    984 12.02
48.27/48.32	c    13912   2700    56988  3150960   55   215237  500000  13918    907 15.33
48.27/48.32	c    17138   2700    60214  4340732   72   224402  550001  17144    796 21.51
48.27/48.32	c    22077   2700    65153  5195164   79   234700  605002  22083    751 29.36
48.27/48.32	c    29583   2700    72659  8115891  111   242447  665503  29589    619 47.78
48.27/48.32	o 86083	48.294
50.76/50.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
50.76/50.85	c    29838   2700    72915  8150552  111   246137  566690  29845    617 48.30
50.76/50.85	c    29939   2700    73016  8160442  111   246128  623360  29946    617 48.50
50.76/50.85	c    30190   2700    73267  8198834  111   247374  685697  30197    616 48.97
50.76/50.85	c    30668   2700    73745  8255910  111   249990  754267  30675    617 49.65
50.76/50.85	c    31481   2700    74558  8312566  111   255118  829694  31488    628 50.12
50.76/50.85	o 82252	50.828
1800.02/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.60	c    31893   2700    74971  8364782  111   256301  566690  31901    627 50.83
1800.02/1800.60	c    31993   2700    75071  8378155  111   256763  623360  32001    626 51.05
1800.02/1800.60	c    32244   2700    75322  8392769  111   257178  685697  32252    630 51.16
1800.02/1800.60	c    32720   2700    75798  8419692  111   259325  754267  32728    635 51.49
1800.02/1800.60	c    33535   2700    76613  8514398  111   262068  829694  33543    636 52.66
1800.02/1800.60	c    34855   2700    77933  8655276  111   263562  912664  34863    650 53.62
1800.02/1800.60	c    36937   2700    80015  8904851  111   267381  500000  36945    664 55.60
1800.02/1800.60	c    40161   2700    83239  9632366  115   270115  550001  40169    634 63.25
1800.02/1800.60	c    45102   2700    88180 11160443  126   283380  605002  45110    569 79.18
1800.02/1800.60	c    52609   2700    95687 14061253  146   294747  665503  52617    470 111.85
1800.02/1800.60	c    63971   2700   107049 19174504  179   321446  732054  63979    392 163.16
1800.02/1800.60	c    81118   2700   124196 28518427  229   351782  805260  81126    314 257.95
1800.02/1800.60	c   106941   2700   150019 40387578  269   409631  885787 106949    245 434.79
1800.02/1800.60	c   145773   2700   188851 64732516  342   481418  974366 145781    166 877.58
1800.02/1800.60	c   204125   2700   247203 100128589  405   601548  500000 204133    126 1618.61
1800.02/1800.60	c Caught signal: 15
1800.02/1800.60	v x1801 -x1802 x1803 -x1804 -x1805 x1806 x1807 x1808 x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818
1800.02/1800.60	v x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836
1800.02/1800.60	v x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854
1800.02/1800.60	v -x1855 -x1856 -x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
1800.02/1800.60	v x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
1800.02/1800.60	v x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 x1903 -x1904 x1905 -x1906 x1907 x1908
1800.02/1800.60	v -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926
1800.02/1800.60	v -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944
1800.02/1800.60	v -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962
1800.02/1800.60	v x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980
1800.02/1800.60	v -x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998
1800.02/1800.60	v -x1999 x2000 -x2001 -x2002 -x2003 x2004 -x2005 x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016
1800.02/1800.60	v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034
1800.02/1800.60	v -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 x2047 -x2048 -x2049 -x2050 -x2051 -x2052
1800.02/1800.60	v -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
1800.02/1800.60	v -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088
1800.02/1800.60	v -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 x2098 -x2099 x2100 x2101 x2102 -x2103 -x2104 -x2105 x2106
1800.02/1800.60	v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124
1800.02/1800.60	v -x2125 x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142
1800.02/1800.60	v -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159
1800.02/1800.60	v x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177
1800.02/1800.60	v -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195
1800.02/1800.60	v -x2196 x2197 -x2198 -x2199 x2200 -x2201 -x2202 x2203 x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213
1800.02/1800.60	v -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 x2226 -x2227 -x2228 -x2229 -x2230 -x2231
1800.02/1800.60	v -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249
1800.02/1800.60	v -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267
1800.02/1800.60	v -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285
1800.02/1800.60	v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 x2297 x2298 -x2299 x2300 x2301 -x2302 x2303
1800.02/1800.60	v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321
1800.02/1800.60	v -x2322 x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338
1800.02/1800.60	v x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356
1800.02/1800.60	v -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374
1800.02/1800.60	v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392
1800.02/1800.60	v -x2393 -x2394 -x2395 x2396 x2397 -x2398 x2399 -x2400 -x2401 x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410
1800.02/1800.60	v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428
1800.02/1800.60	v -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446
1800.02/1800.60	v -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 -x2463 -x2464
1800.02/1800.60	v -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481
1800.02/1800.60	v x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 x2494 -x2495 -x2496 x2497 -x2498 x2499
1800.02/1800.60	v -x2500 x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517
1800.02/1800.60	v -x2518 x2519 -x2520 -x2521 -x2522 -x2523 x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535
1800.02/1800.60	v -x2536 x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553
1800.02/1800.60	v -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x2570 -x2571
1800.02/1800.60	v -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588
1800.02/1800.60	v -x2589 -x2590 x2591 -x2592 -x2593 x2594 x2595 -x2596 -x2597 x2598 x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606
1800.02/1800.60	v -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624
1800.02/1800.60	v -x2625 -x2626 -x2627 x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642
1800.02/1800.60	v -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660
1800.02/1800.60	v -x2661 -x2662 -x2663 x2664 -x2665 -x2666 x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678
1800.02/1800.60	v -x2679 -x2680 -x2681 x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2693 -x2694 -x2695 x2696
1800.02/1800.60	v -x2697 x2698 x2699 x2700 -x2 -x102 -x202 -x302 -x402 -x502 -x602 -x702 -x802 -x902 -x1002 -x1102 -x1202 -x1302 -x1402 x1502
1800.02/1800.60	v -x1602 -x1702 -x3 -x103 -x203 -x303 -x403 -x503 -x603 -x703 -x803 -x903 -x1003 -x1103 -x1203 -x1303 -x1403 -x1503 -x1603
1800.02/1800.60	v x1703 x4 -x104 -x204 -x304 -x404 -x504 -x604 -x704 -x804 -x904 -x1004 -x1104 -x1204 -x1304 -x1404 -x1504 -x1604 -x1704 -x5
1800.02/1800.60	v -x105 -x205 -x305 -x405 -x505 -x605 -x705 -x805 -x905 -x1005 -x1105 x1205 -x1305 -x1405 -x1505 -x1605 -x1705 -x6 -x106 -x206
1800.02/1800.60	v -x306 -x406 -x506 -x606 -x706 -x806 -x906 -x1006 -x1106 -x1206 -x1306 -x1406 -x1506 x1606 -x1706 -x7 -x107 -x207 -x307 -x407
1800.02/1800.60	v -x507 -x607 -x707 -x807 -x907 -x1007 x1107 -x1207 -x1307 -x1407 -x1507 -x1607 -x1707 -x8 -x108 -x208 -x308 -x408 -x508 -x608
1800.02/1800.60	v x708 -x808 -x908 -x1008 -x1108 -x1208 -x1308 -x1408 -x1508 -x1608 -x1708 -x9 -x109 -x209 -x309 x409 -x509 -x609 -x709 -x809
1800.02/1800.60	v -x909 -x1009 -x1109 -x1209 -x1309 -x1409 -x1509 -x1609 -x1709 -x10 -x110 -x210 -x310 -x410 -x510 -x610 -x710 -x810 x910
1800.02/1800.60	v -x1010 -x1110 -x1210 -x1310 -x1410 -x1510 -x1610 -x1710 -x11 -x111 x211 -x311 -x411 -x511 -x611 -x711 -x811 -x911 -x1011
1800.02/1800.60	v -x1111 -x1211 -x1311 -x1411 -x1511 -x1611 -x1711 -x13 -x113 -x213 -x313 -x413 -x513 -x613 -x713 -x813 -x913 -x1013 -x1113
1800.02/1800.60	v -x1213 -x1313 -x1413 -x1513 x1613 -x1713 -x14 -x114 -x214 -x314 -x414 -x514 -x614 -x714 -x814 -x914 -x1014 -x1114 -x1214
1800.02/1800.60	v -x1314 -x1414 -x1514 -x1614 x1714 -x15 -x115 -x215 -x315 -x415 -x515 -x615 x715 -x815 -x915 -x1015 -x1115 -x1215 -x1315
1800.02/1800.60	v -x1415 -x1515 -x1615 -x1715 -x16 -x116 -x216 -x316 -x416 -x516 -x616 -x716 -x816 -x916 -x1016 -x1116 x1216 -x1316 -x1416
1800.02/1800.60	v -x1516 -x1616 -x1716 -x17 -x117 -x217 -x317 x417 -x517 -x617 -x717 -x817 -x917 -x1017 -x1117 -x1217 -x1317 -x1417 -x1517
1800.02/1800.60	v -x1617 -x1717 -x18 -x118 -x218 -x318 -x418 -x518 -x618 -x718 -x818 -x918 -x1018 x1118 -x1218 -x1318 -x1418 -x1518 -x1618
1800.02/1800.60	v -x1718 -x19 x119 -x219 -x319 -x419 -x519 -x619 -x719 -x819 -x919 -x1019 -x1119 -x1219 -x1319 -x1419 -x1519 -x1619 -x1719
1800.02/1800.60	v -x20 -x120 -x220 -x320 -x420 -x520 -x620 -x720 -x820 -x920 x1020 -x1120 -x1220 -x1320 -x1420 -x1520 -x1620 -x1720 -x21 -x121
1800.02/1800.60	v -x221 -x321 -x421 -x521 -x621 -x721 -x821 -x921 -x1021 -x1121 -x1221 -x1321 x1421 -x1521 -x1621 -x1721 -x22 -x122 -x222
1800.02/1800.60	v -x322 -x422 -x522 -x622 -x722 -x822 -x922 -x1022 -x1122 -x1222 x1322 -x1422 -x1522 -x1622 -x1722 -x24 -x124 -x224 -x324
1800.02/1800.60	v -x424 -x524 -x624 -x724 -x824 -x924 x1024 -x1124 -x1224 -x1324 -x1424 -x1524 -x1624 -x1724 -x25 -x125 -x225 -x325 x425 -x525
1800.02/1800.60	v -x625 -x725 -x825 -x925 -x1025 -x1125 -x1225 -x1325 -x1425 -x1525 -x1625 -x1725 -x26 -x126 -x226 -x326 -x426 -x526 -x626
1800.02/1800.60	v -x726 -x826 -x926 -x1026 -x1126 -x1226 -x1326 -x1426 x1526 -x1626 -x1726 -x27 -x127 -x227 x327 -x427 -x527 -x627 -x727 -x827
1800.02/1800.60	v -x927 -x1027 -x1127 -x1227 -x1327 -x1427 -x1527 -x1627 -x1727 -x28 -x128 -x228 -x328 -x428 -x528 -x628 -x728 -x828 x928
1800.02/1800.60	v -x1028 -x1128 -x1228 -x1328 -x1428 -x1528 -x1628 -x1728 -x29 -x129 -x229 -x329 -x429 -x529 -x629 -x729 x829 -x929 -x1029
1800.02/1800.60	v -x1129 -x1229 -x1329 -x1429 -x1529 -x1629 -x1729 -x30 -x130 -x230 -x330 -x430 x530 -x630 -x730 -x830 -x930 -x1030 -x1130
1800.02/1800.60	v -x1230 -x1330 -x1430 -x1530 -x1630 -x1730 -x31 -x131 -x231 -x331 -x431 x531 -x631 -x731 -x831 -x931 -x1031 -x1131 -x1231
1800.02/1800.60	v -x1331 -x1431 -x1531 -x1631 -x1731 -x32 -x132 -x232 x332 -x432 -x532 -x632 -x732 -x832 -x932 -x1032 -x1132 -x1232 -x1332
1800.02/1800.60	v -x1432 -x1532 -x1632 -x1732 -x33 x133 -x233 -x333 -x433 -x533 -x633 -x733 -x833 -x933 -x1033 -x1133 -x1233 -x1333 -x1433
1800.02/1800.60	v -x1533 -x1633 -x1733 -x35 -x135 -x235 -x335 -x435 -x535 -x635 -x735 -x835 -x935 -x1035 -x1135 -x1235 -x1335 -x1435 x1535
1800.02/1800.60	v -x1635 -x1735 -x36 -x136 -x236 -x336 -x436 -x536 -x636 x736 -x836 -x936 -x1036 -x1136 -x1236 -x1336 -x1436 -x1536 -x1636
1800.02/1800.60	v -x1736 -x37 -x137 x237 -x337 -x437 -x537 -x637 -x737 -x837 -x937 -x1037 -x1137 -x1237 -x1337 -x1437 -x1537 -x1637 -x1737
1800.02/1800.60	v -x38 -x138 -x238 -x338 -x438 -x538 -x638 -x738 -x838 -x938 -x1038 -x1138 -x1238 -x1338 -x1438 -x1538 x1638 -x1738 -x39 -x139
1800.02/1800.60	v -x239 -x339 -x439 -x539 -x639 -x739 -x839 -x939 -x1039 -x1139 x1239 -x1339 -x1439 -x1539 -x1639 -x1739 -x40 -x140 -x240
1800.02/1800.60	v -x340 -x440 -x540 -x640 -x740 -x840 -x940 -x1040 x1140 -x1240 -x1340 -x1440 -x1540 -x1640 -x1740 -x41 -x141 -x241 -x341
1800.02/1800.60	v -x441 -x541 -x641 -x741 x841 -x941 -x1041 -x1141 -x1241 -x1341 -x1441 -x1541 -x1641 -x1741 -x42 -x142 -x242 -x342 -x442
1800.02/1800.60	v -x542 -x642 -x742 -x842 x942 -x1042 -x1142 -x1242 -x1342 -x1442 -x1542 -x1642 -x1742 -x43 -x143 x243 -x343 -x443 -x543 -x643
1800.02/1800.60	v -x743 -x843 -x943 -x1043 -x1143 -x1243 -x1343 -x1443 -x1543 -x1643 -x1743 -x44 -x144 -x244 -x344 -x444 -x544 x644 -x744
1800.02/1800.60	v -x844 -x944 -x1044 -x1144 -x1244 -x1344 -x1444 -x1544 -x1644 -x1744 -x46 -x146 -x246 x346 -x446 -x546 -x646 -x746 -x846
1800.02/1800.60	v -x946 -x1046 -x1146 -x1246 -x1346 -x1446 -x1546 -x1646 -x1746 -x47 -x147 -x247 -x347 -x447 -x547 -x647 -x747 -x847 -x947
1800.02/1800.60	v x1047 -x1147 -x1247 -x1347 -x1447 -x1547 -x1647 -x1747 -x48 x148 -x248 -x348 -x448 -x548 -x648 -x748 -x848 -x948 -x1048
1800.02/1800.60	v -x1148 -x1248 -x1348 -x1448 -x1548 -x1648 -x1748 -x49 -x149 -x249 -x349 -x449 -x549 -x649 -x749 -x849 -x949 -x1049 -x1149
1800.02/1800.60	v -x1249 -x1349 -x1449 -x1549 x1649 -x1749 -x50 -x150 -x250 -x350 -x450 -x550 -x650 -x750 -x850 -x950 -x1050 -x1150 -x1250
1800.02/1800.60	v x1350 -x1450 -x1550 -x1650 -x1750 -x51 -x151 -x251 -x351 -x451 -x551 x651 -x751 -x851 -x951 -x1051 -x1151 -x1251 -x1351
1800.02/1800.60	v -x1451 -x1551 -x1651 -x1751 -x52 -x152 -x252 -x352 -x452 -x552 -x652 -x752 x852 -x952 -x1052 -x1152 -x1252 -x1352 -x1452
1800.02/1800.60	v -x1552 -x1652 -x1752 -x53 -x153 -x253 -x353 -x453 -x553 -x653 -x753 -x853 -x953 -x1053 x1153 -x1253 -x1353 -x1453 -x1553
1800.02/1800.60	v -x1653 -x1753 -x54 -x154 -x254 -x354 -x454 -x554 -x654 -x754 -x854 x954 -x1054 -x1154 -x1254 -x1354 -x1454 -x1554 -x1654
1800.02/1800.60	v -x1754 x55 -x155 -x255 -x355 -x455 -x555 -x655 -x755 -x855 -x955 -x1055 -x1155 -x1255 -x1355 -x1455 -x1555 -x1655 -x1755
1800.02/1800.60	v -x57 -x157 -x257 -x357 -x457 -x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357 x1457 -x1557 -x1657 -x1757 -x58 -x158
1800.02/1800.60	v x258 -x358 -x458 -x558 -x658 -x758 -x858 -x958 -x1058 -x1158 -x1258 -x1358 -x1458 -x1558 -x1658 -x1758 -x59 -x159 -x259
1800.02/1800.60	v -x359 -x459 x559 -x659 -x759 -x859 -x959 -x1059 -x1159 -x1259 -x1359 -x1459 -x1559 -x1659 -x1759 -x60 x160 -x260 -x360 -x460
1800.02/1800.60	v -x560 -x660 -x760 -x860 -x960 -x1060 -x1160 -x1260 -x1360 -x1460 -x1560 -x1660 -x1760 -x61 x161 -x261 -x361 -x461 -x561
1800.02/1800.60	v -x661 -x761 -x861 -x961 -x1061 -x1161 -x1261 -x1361 -x1461 -x1561 -x1661 -x1761 x62 -x162 -x262 -x362 -x462 -x562 -x662
1800.02/1800.60	v -x762 -x862 -x962 -x1062 -x1162 -x1262 -x1362 -x1462 -x1562 -x1662 -x1762 -x63 -x163 -x263 -x363 -x463 -x563 -x663 -x763
1800.02/1800.60	v -x863 -x963 -x1063 -x1163 x1263 -x1363 -x1463 -x1563 -x1663 -x1763 -x64 -x164 -x264 -x364 -x464 -x564 -x664 -x764 -x864
1800.02/1800.60	v -x964 -x1064 -x1164 -x1264 x1364 -x1464 -x1564 -x1664 -x1764 -x65 -x165 -x265 -x365 -x465 x565 -x665 -x765 -x865 -x965 -x1065
1800.02/1800.60	v -x1165 -x1265 -x1365 -x1465 -x1565 -x1665 -x1765 -x66 -x166 -x266 -x366 -x466 -x566 -x666 -x766 -x866 -x966 -x1066 -x1166
1800.02/1800.60	v -x1266 -x1366 -x1466 -x1566 -x1666 x1766 -x68 -x168 -x268 -x368 -x468 -x568 -x668 -x768 x868 -x968 -x1068 -x1168 -x1268
1800.02/1800.60	v -x1368 -x1468 -x1568 -x1668 -x1768 -x69 -x169 -x269 -x369 -x469 -x569 -x669 x769 -x869 -x969 -x1069 -x1169 -x1269 -x1369
1800.02/1800.60	v -x1469 -x1569 -x1669 -x1769 -x70 -x170 -x270 -x370 -x470 -x570 -x670 -x770 -x870 -x970 -x1070 -x1170 -x1270 -x1370 -x1470
1800.02/1800.60	v -x1570 x1670 -x1770 -x71 -x171 -x271 -x371 -x471 -x571 -x671 -x771 -x871 -x971 -x1071 -x1171 -x1271 x1371 -x1471 -x1571
1800.02/1800.60	v -x1671 -x1771 -x72 -x172 -x272 -x372 -x472 x572 -x672 -x772 -x872 -x972 -x1072 -x1172 -x1272 -x1372 -x1472 -x1572 -x1672
1800.02/1800.60	v -x1772 -x73 -x173 -x273 -x373 -x473 -x573 x673 -x773 -x873 -x973 -x1073 -x1173 -x1273 -x1373 -x1473 -x1573 -x1673 -x1773
1800.02/1800.60	v -x74 -x174 -x274 -x374 x474 -x574 -x674 -x774 -x874 -x974 -x1074 -x1174 -x1274 -x1374 -x1474 -x1574 -x1674 -x1774 -x75 -x175
1800.02/1800.60	v -x275 -x375 -x475 -x575 -x675 -x775 -x875 -x975 -x1075 -x1175 -x1275 -x1375 x1475 -x1575 -x1675 -x1775 -x76 -x176 -x276
1800.02/1800.60	v -x376 -x476 -x576 -x676 -x776 -x876 -x976 x1076 -x1176 -x1276 -x1376 -x1476 -x1576 -x1676 -x1776 -x77 -x177 -x277 -x377
1800.02/1800.60	v -x477 -x577 -x677 -x777 -x877 -x977 -x1077 -x1177 -x1277 -x1377 -x1477 x1577 -x1677 -x1777 -x79 -x179 -x279 -x379 -x479
1800.02/1800.60	v -x579 -x679 -x779 -x879 -x979 -x1079 -x1179 -x1279 -x1379 -x1479 -x1579 -x1679 x1779 x80 -x180 -x280 -x380 -x480 -x580 -x680
1800.02/1800.60	v -x780 -x880 -x980 -x1080 -x1180 -x1280 -x1380 -x1480 -x1580 -x1680 -x1780 -x81 -x181 -x281 -x381 -x481 -x581 -x681 -x781
1800.02/1800.60	v -x881 -x981 x1081 -x1181 -x1281 -x1381 -x1481 -x1581 -x1681 -x1781 -x82 -x182 -x282 -x382 -x482 -x582 x682 -x782 -x882 -x982
1800.02/1800.60	v -x1082 -x1182 -x1282 -x1382 -x1482 -x1582 -x1682 -x1782 x83 -x183 -x283 -x383 -x483 -x583 -x683 -x783 -x883 -x983 -x1083
1800.02/1800.60	v -x1183 -x1283 -x1383 -x1483 -x1583 -x1683 -x1783 -x84 -x184 -x284 -x384 -x484 -x584 -x684 -x784 -x884 -x984 -x1084 -x1184
1800.02/1800.60	v -x1284 -x1384 x1484 -x1584 -x1684 -x1784 -x85 -x185 -x285 -x385 -x485 -x585 -x685 -x785 -x885 -x985 -x1085 x1185 -x1285
1800.02/1800.60	v -x1385 -x1485 -x1585 -x1685 -x1785 -x86 -x186 -x286 -x386 -x486 -x586 -x686 -x786 -x886 -x986 -x1086 -x1186 -x1286 x1386
1800.02/1800.60	v -x1486 -x1586 -x1686 -x1786 -x87 -x187 -x287 -x387 -x487 -x587 -x687 -x787 -x887 x987 -x1087 -x1187 -x1287 -x1387 -x1487
1800.02/1800.60	v -x1587 -x1687 -x1787 -x88 -x188 -x288 x388 -x488 -x588 -x688 -x788 -x888 -x988 -x1088 -x1188 -x1288 -x1388 -x1488 -x1588
1800.02/1800.60	v -x1688 -x1788 -x90 -x190 -x290 -x390 -x490 -x590 -x690 -x790 -x890 -x990 -x1090 -x1190 -x1290 -x1390 -x1490 x1590 -x1690
1800.02/1800.60	v -x1790 -x91 -x191 -x291 x391 -x491 -x591 -x691 -x791 -x891 -x991 -x1091 -x1191 -x1291 -x1391 -x1491 -x1591 -x1691 -x1791
1800.02/1800.60	v -x92 -x192 -x292 -x392 -x492 -x592 -x692 -x792 -x892 -x992 -x1092 -x1192 -x1292 -x1392 x1492 -x1592 -x1692 -x1792 -x93 -x193
1800.02/1800.60	v -x293 -x393 -x493 -x593 -x693 x793 -x893 -x993 -x1093 -x1193 -x1293 -x1393 -x1493 -x1593 -x1693 -x1793 -x94 -x194 -x294
1800.02/1800.60	v -x394 -x494 -x594 -x694 -x794 x894 -x994 -x1094 -x1194 -x1294 -x1394 -x1494 -x1594 -x1694 -x1794 -x95 -x195 -x295 -x395
1800.02/1800.60	v -x495 -x595 -x695 -x795 -x895 -x995 -x1095 -x1195 -x1295 -x1395 -x1495 -x1595 -x1695 x1795 -x96 -x196 -x296 -x396 x496 -x596
1800.02/1800.60	v -x696 -x796 -x896 -x996 -x1096 -x1196 -x1296 -x1396 -x1496 -x1596 -x1696 -x1796 -x97 -x197 -x297 -x397 -x497 -x597 x697
1800.02/1800.60	v -x797 -x897 -x997 -x1097 -x1197 -x1297 -x1397 -x1497 -x1597 -x1697 -x1797 -x98 -x198 -x298 -x398 -x498 -x598 -x698 -x798
1800.02/1800.60	v -x898 -x998 -x1098 -x1198 x1298 -x1398 -x1498 -x1598 -x1698 -x1798 -x99 -x199 x299 -x399 -x499 -x599 -x699 -x799 -x899 -x999
1800.02/1800.60	v -x1099 -x1199 -x1299 -x1399 -x1499 -x1599 -x1699 -x1799 x12 -x112 -x212 x312 -x412 x512 x612 -x712 x812 x912 -x1012 -x1112
1800.02/1800.60	v -x1212 x1312 x1412 x1512 -x1612 -x1712 x23 x123 x223 -x323 -x423 -x523 x623 x723 -x823 -x923 -x1023 x1123 x1223 -x1323 -x1423
1800.02/1800.60	v -x1523 x1623 x1723 x34 -x134 -x234 -x334 x434 -x534 x634 -x734 x834 x934 x1034 -x1134 -x1234 x1334 x1434 -x1534 -x1634 x1734
1800.02/1800.60	v x45 -x145 -x245 -x345 x445 x545 -x645 x745 -x845 -x945 -x1045 x1145 x1245 -x1345 x1445 x1545 -x1645 x1745 -x56 -x156 -x256
1800.02/1800.60	v x356 x456 -x556 -x656 x756 -x856 -x956 x1056 -x1156 x1256 x1356 -x1456 x1556 x1656 x1756 -x67 -x167 x267 x367 x467 -x567 x667
1800.02/1800.60	v -x767 -x867 x967 x1067 x1167 -x1267 -x1367 x1467 x1567 -x1667 -x1767 -x78 x178 x278 x378 -x478 -x578 -x678 x778 x878 x978
1800.02/1800.60	v -x1078 x1178 x1278 -x1378 -x1478 -x1578 x1678 -x1778 -x89 x189 x289 -x389 x489 x589 -x689 x789 x889 -x989 -x1089 -x1189 x1289
1800.02/1800.60	v -x1389 -x1489 -x1589 x1689 x1789 x100 x200 -x300 -x400 -x500 x600 -x700 -x800 -x900 x1000 x1100 x1200 -x1300 x1400 -x1500
1800.02/1800.60	v x1600 x1700 -x1800 -x1 x101 x201 x301 -x401 x501 x601 -x701 x801 -x901 x1001 -x1101 -x1201 x1301 x1401 -x1501 -x1601 -x1701
1800.02/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.61	c   54   220270  61270   569233   263348 107419049 220278    122 1800.03
1800.02/1800.61	c Objective: 82252
1800.02/1800.61	s SATISFIABLE
1800.02/1800.61	c Total time: 1800.03 s

Verifier Data (download as text)

OK	82252

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node63/watcher-432896-1177952028 -o ROOT/results/node63/solver-432896-1177952028 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432896-1177952028/instance-432896-1177952028.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.94 0.97 0.92 3/64 14030
/proc/meminfo: memFree=1707140/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=22532 CPUtime=0
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 271192817 23072768 329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134536096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 5633 329 278 324 0 3957 0

[startup+0.078905 s]
/proc/loadavg: 0.94 0.97 0.92 3/64 14030
/proc/meminfo: memFree=1707140/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=8416 CPUtime=0.07
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 824 0 0 0 7 0 0 0 18 0 1 0 271192817 8617984 794 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 2104 794 379 324 0 428 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8416

[startup+0.101907 s]
/proc/loadavg: 0.94 0.97 0.92 3/64 14030
/proc/meminfo: memFree=1707140/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=8824 CPUtime=0.09
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 965 0 0 0 9 0 0 0 18 0 1 0 271192817 9035776 935 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 2207 935 412 324 0 531 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8824

[startup+0.301927 s]
/proc/loadavg: 0.94 0.97 0.92 3/64 14030
/proc/meminfo: memFree=1707140/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=11232 CPUtime=0.29
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 1840 0 0 0 29 0 0 0 19 0 1 0 271192817 11501568 1810 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 2808 1810 676 324 0 1132 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11232

[startup+0.70197 s]
/proc/loadavg: 0.94 0.97 0.92 3/64 14030
/proc/meminfo: memFree=1707140/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=17664 CPUtime=0.68
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 4560 0 0 0 67 1 0 0 23 0 1 0 271192817 18087936 3784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 4416 3784 304 324 0 3486 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17664

[startup+1.50105 s]
/proc/loadavg: 0.94 0.97 0.92 2/65 14031
/proc/meminfo: memFree=1690172/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=20864 CPUtime=1.49
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 5358 0 0 0 144 5 0 0 25 0 1 0 271192817 21364736 4582 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134557479 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 5216 4582 306 324 0 4286 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20864

[startup+3.10122 s]
/proc/loadavg: 0.94 0.97 0.92 2/65 14031
/proc/meminfo: memFree=1691772/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=22028 CPUtime=3.08
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 7169 0 0 0 302 6 0 0 25 0 1 0 271192817 22556672 4887 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 5507 4887 311 324 0 4577 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22028

[startup+6.30156 s]
/proc/loadavg: 0.94 0.97 0.92 2/65 14031
/proc/meminfo: memFree=1682684/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=30604 CPUtime=6.28
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 9301 0 0 0 621 7 0 0 25 0 1 0 271192817 31338496 7019 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551225 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 7651 7019 311 324 0 6721 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 30604

[startup+12.7012 s]
/proc/loadavg: 0.95 0.97 0.92 2/65 14031
/proc/meminfo: memFree=1666300/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=45956 CPUtime=12.67
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 13133 0 0 0 1257 10 0 0 25 0 1 0 271192817 47058944 10851 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 11489 10851 311 324 0 10559 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 45956

[startup+25.5016 s]
/proc/loadavg: 0.96 0.97 0.92 2/65 14031
/proc/meminfo: memFree=1635260/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=76052 CPUtime=25.47
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 20671 0 0 0 2532 15 0 0 25 0 1 0 271192817 77877248 18389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 19013 18389 311 324 0 18083 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 76052

[startup+51.1013 s]
/proc/loadavg: 0.97 0.97 0.92 2/65 14031
/proc/meminfo: memFree=1589372/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=122072 CPUtime=51.06
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 32168 0 0 0 5083 23 0 0 25 0 1 0 271192817 125001728 29886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 30518 29886 311 324 0 29588 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 122072

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14031
/proc/meminfo: memFree=1528060/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=182768 CPUtime=102.26
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 47348 0 0 0 10193 33 0 0 25 0 1 0 271192817 187154432 45066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 45692 45066 311 324 0 44762 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 182768

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14031
/proc/meminfo: memFree=1449404/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=261924 CPUtime=162.24
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 67136 0 0 0 16180 44 0 0 25 0 1 0 271192817 268210176 64854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 65481 64854 311 324 0 64551 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 261924

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14031
/proc/meminfo: memFree=1372796/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=337768 CPUtime=222.22
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 86091 0 0 0 22166 56 0 0 25 0 1 0 271192817 345874432 83809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 84442 83809 311 324 0 83512 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 337768

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14031
/proc/meminfo: memFree=1304508/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=406392 CPUtime=282.21
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 103251 0 0 0 28156 65 0 0 25 0 1 0 271192817 416145408 100969 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 101598 100969 311 324 0 100668 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 406392

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14031
/proc/meminfo: memFree=1245628/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=464632 CPUtime=342.19
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 117804 0 0 0 34147 72 0 0 25 0 1 0 271192817 475783168 115522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 116158 115522 311 324 0 115228 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 464632

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14031
/proc/meminfo: memFree=1202172/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=508368 CPUtime=402.17
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 128737 0 0 0 40138 79 0 0 25 0 1 0 271192817 520568832 126455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 127092 126455 311 324 0 126162 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 508368

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/71 14195
/proc/meminfo: memFree=1151364/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=557216 CPUtime=462.08
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 140971 0 0 0 46118 90 0 0 25 0 1 0 271192817 570589184 138689 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551039 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 139304 138689 311 324 0 138374 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 557216

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=1104508/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=605888 CPUtime=522.04
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 153116 0 0 0 52107 97 0 0 25 0 1 0 271192817 620429312 150834 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 151472 150834 311 324 0 150542 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 605888

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=1053564/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=656328 CPUtime=582.02
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 165742 0 0 0 58098 104 0 0 25 0 1 0 271192817 672079872 163460 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 164082 163460 311 324 0 163152 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 656328

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=1005500/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=703736 CPUtime=642.01
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 177588 0 0 0 64091 110 0 0 25 0 1 0 271192817 720625664 175306 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 175934 175306 311 324 0 175004 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 703736


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=857724/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=851332 CPUtime=881.95
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 214497 0 0 0 88067 128 0 0 25 0 1 0 271192817 871763968 212215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 212833 212215 311 324 0 211903 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 851332

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=821564/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=888332 CPUtime=941.93
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 223738 0 0 0 94060 133 0 0 25 0 1 0 271192817 909651968 221456 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 222083 221456 311 324 0 221153 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 888332

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=771772/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=937584 CPUtime=1001.92
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 236039 0 0 0 100052 140 0 0 25 0 1 0 271192817 960086016 233757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 234396 233757 311 324 0 233466 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 937584

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=731644/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=977756 CPUtime=1061.9
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 246090 0 0 0 106045 145 0 0 25 0 1 0 271192817 1001222144 243808 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 244439 243808 311 324 0 243509 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 977756

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=688252/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=1020932 CPUtime=1121.89
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 256877 0 0 0 112037 152 0 0 25 0 1 0 271192817 1045434368 254595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 255233 254595 311 324 0 254303 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 1020932

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=645692/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=1063908 CPUtime=1181.87
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 267643 0 0 0 118030 157 0 0 25 0 1 0 271192817 1089441792 265361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 265977 265361 311 324 0 265047 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 1063908

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=611516/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=1097420 CPUtime=1241.85
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 276008 0 0 0 124023 162 0 0 25 0 1 0 271192817 1123758080 273726 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 274355 273726 311 324 0 273425 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1097420

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=574972/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=1133620 CPUtime=1301.85
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 285048 0 0 0 130017 168 0 0 25 0 1 0 271192817 1160826880 282766 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 283405 282766 311 324 0 282475 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1133620

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=539132/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=1169664 CPUtime=1361.83
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 294076 0 0 0 136010 173 0 0 25 0 1 0 271192817 1197735936 291794 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 292416 291794 311 324 0 291486 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1169664

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=511292/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=1197136 CPUtime=1421.81
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 300930 0 0 0 142005 176 0 0 25 0 1 0 271192817 1225867264 298648 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 299284 298648 311 324 0 298354 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1197136

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=480764/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=1227904 CPUtime=1481.8
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 308621 0 0 0 147999 181 0 0 25 0 1 0 271192817 1257373696 306339 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 306976 306339 311 324 0 306046 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1227904

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=443196/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=1265080 CPUtime=1541.78
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 317923 0 0 0 153990 188 0 0 25 0 1 0 271192817 1295441920 315641 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 316270 315641 311 324 0 315340 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1265080

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=412988/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=1295616 CPUtime=1601.77
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 325566 0 0 0 159986 191 0 0 25 0 1 0 271192817 1326710784 323284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 323904 323284 311 324 0 322974 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1295616

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=387068/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=1321044 CPUtime=1661.74
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 331921 0 0 0 165980 194 0 0 25 0 1 0 271192817 1352749056 329639 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 330261 329639 311 324 0 329331 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1321044

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=346556/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=1361816 CPUtime=1721.74
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 342097 0 0 0 171973 201 0 0 25 0 1 0 271192817 1394499584 339815 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 340454 339815 311 324 0 339524 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1361816

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=312252/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=1395620 CPUtime=1781.72
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 350570 0 0 0 177967 205 0 0 25 0 1 0 271192817 1429114880 348288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 348905 348288 311 324 0 347975 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1395620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=306684/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=1401112 CPUtime=1800.02
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 351934 0 0 0 179796 206 0 0 25 0 1 0 271192817 1434738688 349652 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 350278 349652 311 324 0 349348 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1401112

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

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

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 14229
/proc/meminfo: memFree=306684/2055920 swapFree=4182900/4192956
[pid=14030] ppid=14028 vsize=0 CPUtime=1800.21
/proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194308 351938 0 0 0 179796 225 0 0 25 0 1 0 271192817 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/14030/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.83
CPU time (s): 1800.25
CPU user time (s): 1797.96
CPU system time (s): 2.28465
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 1401112

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

runsolver used 1.51377 second user time and 3.46647 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Mon Apr 30 16:53:49 UTC 2007

IDJOB= 432896
IDBENCH= 2011
IDSOLVER= 199
FILE ID= node63/432896-1177952028

PBS_JOBID= 4727808

Free space on /tmp= 66555 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432896-1177952028/instance-432896-1177952028.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node63/watcher-432896-1177952028 -o ROOT/results/node63/solver-432896-1177952028 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432896-1177952028/instance-432896-1177952028.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  dccfffd22c38fcd3c497d688dab4b7a4

RANDOM SEED= 797053081

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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.232
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.232
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:       1707804 kB
Buffers:         12700 kB
Cached:         157044 kB
SwapCached:       3860 kB
Active:         179500 kB
Inactive:       102096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1707804 kB
SwapTotal:     4192956 kB
SwapFree:      4182900 kB
Dirty:            9660 kB
Writeback:           0 kB
Mapped:         117756 kB
Slab:            52344 kB
Committed_AS:  2463740 kB
PageTables:       1716 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66555 MiB

End job on node63 on Mon Apr 30 17:23:52 UTC 2007