Trace number 352721

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.16SAT (TO)82252 1800.23 1800.73

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

Verifier Data (download as text)

OK	82252

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node2/watcher-352721-1176639916 -o ROOT/results/node2/solver-352721-1176639916 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352721-1176639916/instance-352721-1176639916.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: 1.00 1.00 0.99 3/77 7523
/proc/meminfo: memFree=1848232/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=2560 CPUtime=0
/proc/7523/stat : 7523 (bsolo3.0.16) D 7521 7523 6711 0 -1 4194304 61 0 1 0 0 0 0 0 18 0 1 0 140029374 2621440 45 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10535844 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/7523/statm: 640 45 35 324 0 8 0

[startup+0.0595781 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 7523
/proc/meminfo: memFree=1848232/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=7868 CPUtime=0.04
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 640 0 4 0 4 0 0 0 18 0 1 0 140029374 8056832 612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525447 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7523/statm: 1967 612 340 324 0 290 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7868

[startup+0.101578 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 7523
/proc/meminfo: memFree=1848232/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=8688 CPUtime=0.08
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 910 0 4 0 8 0 0 0 18 0 1 0 140029374 8896512 882 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134527385 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7523/statm: 2172 882 401 324 0 495 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8688

[startup+0.301598 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 7523
/proc/meminfo: memFree=1848232/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=11232 CPUtime=0.27
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 1845 0 4 0 27 0 0 0 19 0 1 0 140029374 11501568 1817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134524214 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7523/statm: 2808 1817 680 324 0 1131 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11232

[startup+0.701649 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 7523
/proc/meminfo: memFree=1848232/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=17664 CPUtime=0.67
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 4559 0 5 0 65 2 0 0 22 0 1 0 140029374 18087936 3786 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583421 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7523/statm: 4416 3786 306 324 0 3485 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 17664

[startup+1.50172 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7524
/proc/meminfo: memFree=1829984/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=20864 CPUtime=1.46
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 5357 0 5 0 141 5 0 0 25 0 1 0 140029374 21364736 4584 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10965107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 5216 4584 308 324 0 4285 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 20864

[startup+3.10189 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7524
/proc/meminfo: memFree=1831776/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=22028 CPUtime=3.06
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 7169 0 5 0 299 7 0 0 25 0 1 0 140029374 22556672 4890 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 5507 4890 313 324 0 4576 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 22028

[startup+6.30122 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7524
/proc/meminfo: memFree=1822816/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=30604 CPUtime=6.26
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 9305 0 5 0 616 10 0 0 25 0 1 0 140029374 31338496 7026 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 7651 7026 313 324 0 6720 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 30604

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7524
/proc/meminfo: memFree=1806376/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=45828 CPUtime=12.66
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 13120 0 5 0 1251 15 0 0 25 0 1 0 140029374 46927872 10841 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 11457 10841 313 324 0 10526 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 45828

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7524
/proc/meminfo: memFree=1775528/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=75920 CPUtime=25.45
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 20625 0 5 0 2523 22 0 0 25 0 1 0 140029374 77742080 18346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 18980 18347 313 324 0 18049 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 75920

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7524
/proc/meminfo: memFree=1729704/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=121808 CPUtime=51.04
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 32105 0 5 0 5071 33 0 0 25 0 1 0 140029374 124731392 29826 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 30452 29826 313 324 0 29521 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 121808

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7524
/proc/meminfo: memFree=1668840/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=182024 CPUtime=102.24
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 47160 0 5 0 10175 49 0 0 25 0 1 0 140029374 186392576 44881 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 45506 44881 313 324 0 44575 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 182024

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.99 3/78 7524
/proc/meminfo: memFree=1590312/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=261024 CPUtime=162.22
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 66901 0 5 0 16158 64 0 0 25 0 1 0 140029374 267288576 64622 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 65256 64622 313 324 0 64325 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 261024

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7524
/proc/meminfo: memFree=1514536/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=336292 CPUtime=222.2
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 85734 0 5 0 22140 80 0 0 25 0 1 0 140029374 344363008 83455 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 84073 83455 313 324 0 83142 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 336292

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7524
/proc/meminfo: memFree=1445800/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=405380 CPUtime=282.19
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 102986 0 5 0 28128 91 0 0 25 0 1 0 140029374 415109120 100707 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 101345 100707 313 324 0 100414 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 405380

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7524
/proc/meminfo: memFree=1386728/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=463604 CPUtime=342.17
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 117551 0 5 0 34115 102 0 0 25 0 1 0 140029374 474730496 115272 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 115901 115272 313 324 0 114970 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 463604

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=1343784/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=506844 CPUtime=402.15
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 128373 0 5 0 40102 113 0 0 25 0 1 0 140029374 519008256 126094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 126711 126094 313 324 0 125780 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 506844

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.99 3/78 7526
/proc/meminfo: memFree=1293608/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=556328 CPUtime=462.14
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 140735 0 5 0 46089 125 0 0 25 0 1 0 140029374 569679872 138456 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 139082 138456 313 324 0 138151 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 556328

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=1246952/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=603756 CPUtime=522.12
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 152603 0 5 0 52078 134 0 0 25 0 1 0 140029374 618246144 150324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 150939 150324 313 324 0 150008 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 603756

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=1196584/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=653524 CPUtime=582.1
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 165033 0 5 0 58067 143 0 0 25 0 1 0 140029374 669208576 162754 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 163381 162754 313 324 0 162450 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 653524

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=1147944/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=701572 CPUtime=642.1
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 177044 0 5 0 64059 151 0 0 25 0 1 0 140029374 718409728 174765 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 175393 174765 313 324 0 174462 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 701572


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=998824/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=850292 CPUtime=882.03
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 214239 0 5 0 88029 174 0 0 25 0 1 0 140029374 870699008 211960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 212573 211960 313 324 0 211642 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 850292

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=965992/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=883864 CPUtime=942.02
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 222630 0 5 0 94018 184 0 0 25 0 1 0 140029374 905076736 220351 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10977066 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 220966 220351 313 324 0 220035 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 883864

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=917096/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=932092 CPUtime=1002
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 234680 0 5 0 100008 192 0 0 25 0 1 0 140029374 954462208 232401 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 233023 232401 313 324 0 232092 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 932092

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=875304/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=974088 CPUtime=1061.98
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 245181 0 5 0 105999 199 0 0 25 0 1 0 140029374 997466112 242902 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 243522 242902 313 324 0 242591 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 974088

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=832424/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=1016436 CPUtime=1121.97
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 255768 0 5 0 111990 207 0 0 25 0 1 0 140029374 1040830464 253489 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 254109 253489 313 324 0 253178 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1016436

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=790312/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=1059112 CPUtime=1181.96
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 266442 0 5 0 117981 215 0 0 25 0 1 0 140029374 1084530688 264163 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 264778 264163 313 324 0 263847 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1059112

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=754152/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=1094420 CPUtime=1241.93
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 275253 0 5 0 123973 220 0 0 25 0 1 0 140029374 1120686080 272974 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 273605 272974 313 324 0 272674 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1094420

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=718312/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=1129976 CPUtime=1301.93
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 284136 0 5 0 129967 226 0 0 25 0 1 0 140029374 1157095424 281857 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 282494 281857 313 324 0 281563 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1129976

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=682728/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=1165576 CPUtime=1361.9
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 293060 0 5 0 135958 232 0 0 25 0 1 0 140029374 1193549824 290781 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 291394 290781 313 324 0 290463 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1165576

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=653672/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=1194440 CPUtime=1421.9
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 300267 0 5 0 141952 238 0 0 25 0 1 0 140029374 1223106560 297988 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 298610 297988 313 324 0 297679 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1194440

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=624808/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=1223448 CPUtime=1481.88
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 307514 0 5 0 147944 244 0 0 25 0 1 0 140029374 1252810752 305235 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 305862 305235 313 324 0 304931 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1223448

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=586472/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=1261512 CPUtime=1541.86
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 317036 0 5 0 153936 250 0 0 25 0 1 0 140029374 1291788288 314757 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 315378 314757 313 324 0 314447 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1261512

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=556520/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=1291960 CPUtime=1601.85
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 324652 0 5 0 159930 255 0 0 25 0 1 0 140029374 1322967040 322373 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 322990 322373 313 324 0 322059 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1291960

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=531304/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=1316592 CPUtime=1661.83
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 330803 0 5 0 165922 261 0 0 25 0 1 0 140029374 1348190208 328524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 329148 328524 313 324 0 328217 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1316592

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=491048/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=1356976 CPUtime=1721.81
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 340897 0 5 0 171913 268 0 0 25 0 1 0 140029374 1389543424 338618 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 339244 338618 313 324 0 338313 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1356976

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=454248/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=1393376 CPUtime=1781.79
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 349996 0 5 0 177905 274 0 0 25 0 1 0 140029374 1426817024 347717 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 348344 347717 313 324 0 347413 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1393376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=1090008/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=0 CPUtime=1800.1
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194308 351208 0 5 0 179724 286 0 0 17 0 1 0 140029374 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7526
/proc/meminfo: memFree=1090008/2055920 swapFree=4147160/4192956
[pid=7523] ppid=7521 vsize=0 CPUtime=1800.2
/proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194308 351208 0 5 0 179724 296 0 0 18 0 1 0 140029374 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7523/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.23
CPU user time (s): 1797.24
CPU system time (s): 2.98055
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 1398188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.24
system time used= 2.98055
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351208
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 2814

runsolver used 2.13267 second user time and 4.38233 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Sun Apr 15 12:25:16 UTC 2007

IDJOB= 352721
IDBENCH= 2011
IDSOLVER= 163
FILE ID= node2/352721-1176639916

PBS_JOBID= 4556861

Free space on /tmp= 66554 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  dccfffd22c38fcd3c497d688dab4b7a4

RANDOM SEED= 422533517

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1848640 kB
Buffers:         40156 kB
Cached:         100336 kB
SwapCached:      13936 kB
Active:          49768 kB
Inactive:       113556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1848640 kB
SwapTotal:     4192956 kB
SwapFree:      4147160 kB
Dirty:            7448 kB
Writeback:           0 kB
Mapped:          30092 kB
Slab:            29384 kB
Committed_AS:  5813628 kB
PageTables:       1860 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= 66554 MiB

End job on node2 on Sun Apr 15 12:55:19 UTC 2007