Trace number 3725861

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pwbo 2.02SAT (TO)79721 1800.05 900.451

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 benchmark76666
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 79290
Optimality of the best value was proved NO
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 559660
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 559660
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	79721

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3725861-1338653241/watcher-3725861-1338653241 -o /tmp/evaluation-result-3725861-1338653241/solver-3725861-1338653241 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725861-1338653241.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 3.84 3.94 3.65 3/180 24188
/proc/meminfo: memFree=28224548/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=8496 CPUtime=0 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) R 24186 24188 22415 0 -1 4202496 662 0 0 0 0 0 0 0 20 0 1 0 331449461 8699904 614 33554432000 4194304 5964478 140737334586368 140734377597720 4352379 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 2124 614 167 433 0 942 0

[startup+0.0783891 s]
/proc/loadavg: 3.84 3.94 3.65 3/180 24188
/proc/meminfo: memFree=28224548/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=14916 CPUtime=0.07 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) R 24186 24188 22415 0 -1 4202496 2443 0 0 0 7 0 0 0 20 0 1 0 331449461 15273984 2395 33554432000 4194304 5964478 140737334586368 140734377597720 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 3729 2397 381 433 0 2547 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14916

[startup+0.10024 s]
/proc/loadavg: 3.84 3.94 3.65 3/180 24188
/proc/meminfo: memFree=28224548/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=17556 CPUtime=0.09 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) R 24186 24188 22415 0 -1 4202496 3196 0 0 0 9 0 0 0 20 0 1 0 331449461 17977344 3148 33554432000 4194304 5964478 140737334586368 140737334584664 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 4389 3149 439 433 0 3207 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17556

[startup+0.300151 s]
/proc/loadavg: 3.84 3.94 3.65 3/180 24188
/proc/meminfo: memFree=28224548/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=199028 CPUtime=0.32 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 12369 0 0 0 30 2 0 0 20 0 3 0 331449461 203804672 11508 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 49757 11514 191 433 0 49321 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 199028

[startup+0.700162 s]
/proc/loadavg: 3.84 3.94 3.65 3/180 24188
/proc/meminfo: memFree=28224548/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=198220 CPUtime=1.1 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 19602 0 0 0 107 3 0 0 20 0 3 0 331449461 202977280 17301 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 49555 17301 199 433 0 49119 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 198220

[startup+1.50026 s]
/proc/loadavg: 3.84 3.94 3.65 5/183 24191
/proc/meminfo: memFree=28131200/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=198220 CPUtime=2.7 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 29136 0 0 0 265 5 0 0 20 0 3 0 331449461 202977280 25473 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 49555 25473 199 433 0 49119 0
[pid=24188/tid=24190] ppid=24186 vsize=198220 CPUtime=1.21 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 15141 0 0 0 118 3 0 0 20 0 3 0 331449488 202977280 25473 33554432000 4194304 5964478 140737334586368 140724147988936 4408184 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=198220 CPUtime=1.2 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 4195 0 0 0 120 0 0 0 20 0 3 0 331449488 202977280 25473 33554432000 4194304 5964478 140737334586368 140724137499288 4399915 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 198220

[startup+3.10029 s]
/proc/loadavg: 3.84 3.94 3.65 5/183 24191
/proc/meminfo: memFree=28085428/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=263756 CPUtime=5.91 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 46250 0 0 0 582 9 0 0 20 0 3 0 331449461 270086144 40702 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 65939 40702 199 433 0 65503 0
[pid=24188/tid=24190] ppid=24186 vsize=263756 CPUtime=2.81 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 29493 0 0 0 275 6 0 0 20 0 3 0 331449488 270086144 40702 33554432000 4194304 5964478 140737334586368 140724147989016 5130994 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=263756 CPUtime=2.79 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 6957 0 0 0 279 0 0 0 20 0 3 0 331449488 270086144 40702 33554432000 4194304 5964478 140737334586368 140724137499288 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 263756

[startup+6.30028 s]
/proc/loadavg: 3.85 3.94 3.66 5/183 24191
/proc/meminfo: memFree=27953368/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=394828 CPUtime=12.3 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 75661 0 0 0 1214 16 0 0 20 0 3 0 331449461 404303872 70096 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 98707 70096 199 433 0 98271 0
[pid=24188/tid=24190] ppid=24186 vsize=394828 CPUtime=6 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 57073 0 0 0 588 12 0 0 20 0 3 0 331449488 404303872 70096 33554432000 4194304 5964478 140737334586368 140724147989032 5122467 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=394828 CPUtime=5.98 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 8788 0 0 0 596 2 0 0 20 0 3 0 331449488 404303872 70096 33554432000 4194304 5964478 140737334586368 140724137498936 4400024 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 394828

[startup+12.7003 s]
/proc/loadavg: 3.86 3.94 3.66 5/183 24191
/proc/meminfo: memFree=27756172/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=525900 CPUtime=25.1 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 118439 0 0 0 2483 27 0 0 20 0 3 0 331449461 538521600 112159 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 131475 112159 199 433 0 131039 0
[pid=24188/tid=24190] ppid=24186 vsize=525900 CPUtime=12.38 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 97304 0 0 0 1216 22 0 0 20 0 3 0 331449488 538521600 112159 33554432000 4194304 5964478 140737334586368 140724147988840 4445054 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=525900 CPUtime=12.37 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 11335 0 0 0 1235 2 0 0 20 0 3 0 331449488 538521600 112159 33554432000 4194304 5964478 140737334586368 140724137498984 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 525900

[startup+25.5003 s]
/proc/loadavg: 3.89 3.94 3.66 5/183 24191
/proc/meminfo: memFree=27481032/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=788044 CPUtime=50.7 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 178713 0 0 0 5022 48 0 0 20 0 3 0 331449461 806957056 170975 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 197011 170975 199 433 0 196575 0
[pid=24188/tid=24190] ppid=24186 vsize=788044 CPUtime=25.15 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 155313 0 0 0 2473 42 0 0 20 0 3 0 331449488 806957056 170975 33554432000 4194304 5964478 140737334586368 140724147988888 5130842 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=788044 CPUtime=25.13 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 13600 0 0 0 2510 3 0 0 20 0 3 0 331449488 806957056 170975 33554432000 4194304 5964478 140737334586368 140724137499288 4403677 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 788044

[startup+51.1004 s]
/proc/loadavg: 3.93 3.94 3.67 5/183 24191
/proc/meminfo: memFree=27070064/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=1115464 CPUtime=101.88 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 275575 0 0 0 10113 75 0 0 20 0 3 0 331449461 1142235136 267733 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 278866 267733 199 433 0 278430 0
[pid=24188/tid=24190] ppid=24186 vsize=1115464 CPUtime=50.68 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 245095 0 0 0 5007 61 0 0 20 0 3 0 331449488 1142235136 267733 33554432000 4194304 5964478 140737334586368 140724147988824 5130901 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=1115464 CPUtime=50.67 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 20680 0 0 0 5055 12 0 0 20 0 3 0 331449488 1142235136 267733 33554432000 4194304 5964478 140737334586368 140724137498936 4399912 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 1115464

[startup+102.306 s]
/proc/loadavg: 3.97 3.95 3.68 5/183 24191
/proc/meminfo: memFree=26833920/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=1378408 CPUtime=204.26 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 326501 0 0 0 20321 105 0 0 20 0 3 0 331449461 1411489792 317159 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 344602 317159 199 433 0 344166 0
[pid=24188/tid=24190] ppid=24186 vsize=1378408 CPUtime=101.76 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 282523 0 0 0 10102 74 0 0 20 0 3 0 331449488 1411489792 317159 33554432000 4194304 5964478 140737334586368 140724147988384 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=1378408 CPUtime=101.73 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 34178 0 0 0 10143 30 0 0 20 0 3 0 331449488 1411489792 317159 33554432000 4194304 5964478 140737334586368 140724137499288 4392968 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.26
Current children cumulated vsize (KiB) 1378408

[startup+162.3 s]
/proc/loadavg: 4.04 3.97 3.71 5/184 24194
/proc/meminfo: memFree=26776644/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=1379340 CPUtime=324.19 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 332904 0 0 0 32308 111 0 0 20 0 3 0 331449461 1412444160 323676 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 344835 323676 199 433 0 344399 0
[pid=24188/tid=24190] ppid=24186 vsize=1379340 CPUtime=161.58 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 288460 0 0 0 16077 81 0 0 20 0 3 0 331449488 1412444160 323676 33554432000 4194304 5964478 140737334586368 140724147988520 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=1379340 CPUtime=161.54 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 34644 0 0 0 16122 32 0 0 20 0 3 0 331449488 1412444160 323676 33554432000 4194304 5964478 140737334586368 140724137499288 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.19
Current children cumulated vsize (KiB) 1379340

[startup+222.3 s]
/proc/loadavg: 4.01 3.97 3.72 5/183 24194
/proc/meminfo: memFree=26731808/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=1380016 CPUtime=444.13 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 336821 0 0 0 44299 114 0 0 20 0 3 0 331449461 1413136384 327605 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 345004 327605 199 433 0 344568 0
[pid=24188/tid=24190] ppid=24186 vsize=1380016 CPUtime=221.39 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 292204 0 0 0 22054 85 0 0 20 0 3 0 331449488 1413136384 327605 33554432000 4194304 5964478 140737334586368 140724147988280 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=1380016 CPUtime=221.39 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 34817 0 0 0 22106 33 0 0 20 0 3 0 331449488 1413136384 327605 33554432000 4194304 5964478 140737334586368 140724137498696 4222330 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.13
Current children cumulated vsize (KiB) 1380016

[startup+282.3 s]
/proc/loadavg: 4.04 3.99 3.74 5/183 24195
/proc/meminfo: memFree=26676904/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=1446480 CPUtime=564.11 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 346561 0 0 0 56283 128 0 0 20 0 3 0 331449461 1481195520 337338 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 361620 337338 199 433 0 361184 0
[pid=24188/tid=24190] ppid=24186 vsize=1446480 CPUtime=281.23 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 297894 0 0 0 28029 94 0 0 20 0 3 0 331449488 1481195520 337338 33554432000 4194304 5964478 140737334586368 140724147988520 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=1446480 CPUtime=281.23 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 38867 0 0 0 28083 40 0 0 20 0 3 0 331449488 1481195520 337338 33554432000 4194304 5964478 140737334586368 140724137498936 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.11
Current children cumulated vsize (KiB) 1446480

[startup+342.3 s]
/proc/loadavg: 4.01 3.99 3.75 5/183 24195
/proc/meminfo: memFree=26578724/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=1513172 CPUtime=684.07 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 363072 0 0 0 68257 150 0 0 20 0 3 0 331449461 1549488128 353361 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 378293 353361 199 433 0 377857 0
[pid=24188/tid=24190] ppid=24186 vsize=1513172 CPUtime=341.07 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 303093 0 0 0 34006 101 0 0 20 0 3 0 331449488 1549488128 353361 33554432000 4194304 5964478 140737334586368 140724147988280 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=1513172 CPUtime=341.07 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 50179 0 0 0 34050 57 0 0 20 0 3 0 331449488 1549488128 353361 33554432000 4194304 5964478 140737334586368 140724137499040 4400010 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.07
Current children cumulated vsize (KiB) 1513172

[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.76 5/183 24195
/proc/meminfo: memFree=26531384/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=1513716 CPUtime=804.06 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 367045 0 0 0 80255 151 0 0 20 0 3 0 331449461 1550045184 357331 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 378429 357331 199 433 0 377993 0
[pid=24188/tid=24190] ppid=24186 vsize=1513716 CPUtime=400.92 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 306929 0 0 0 39989 103 0 0 20 0 3 0 331449488 1550045184 357331 33554432000 4194304 5964478 140737334586368 140724147988384 4388245 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=1513716 CPUtime=400.92 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 50316 0 0 0 40034 58 0 0 20 0 3 0 331449488 1550045184 357331 33554432000 4194304 5964478 140737334586368 140724137498696 4400076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.06
Current children cumulated vsize (KiB) 1513716

[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.78 5/183 24195
/proc/meminfo: memFree=26510084/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=1514380 CPUtime=924.04 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 368057 0 0 0 92253 151 0 0 20 0 3 0 331449461 1550725120 357828 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 378595 357828 199 433 0 378159 0
[pid=24188/tid=24190] ppid=24186 vsize=1514380 CPUtime=460.77 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 307284 0 0 0 45974 103 0 0 20 0 3 0 331449488 1550725120 357828 33554432000 4194304 5964478 140737334586368 140724147988384 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=1514380 CPUtime=460.77 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 50973 0 0 0 46019 58 0 0 20 0 3 0 331449488 1550725120 357828 33554432000 4194304 5964478 140737334586368 140724137498696 4403698 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.04
Current children cumulated vsize (KiB) 1514380

[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.79 5/183 24195
/proc/meminfo: memFree=26464356/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=1515084 CPUtime=1044.02 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 368292 0 0 0 104251 151 0 0 20 0 3 0 331449461 1551446016 358063 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 378771 358063 199 433 0 378335 0
[pid=24188/tid=24190] ppid=24186 vsize=1515084 CPUtime=520.61 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 307324 0 0 0 51957 104 0 0 20 0 3 0 331449488 1551446016 358063 33554432000 4194304 5964478 140737334586368 140724147988384 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=1515084 CPUtime=520.61 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 51168 0 0 0 52002 59 0 0 20 0 3 0 331449488 1551446016 358063 33554432000 4194304 5964478 140737334586368 140724137498696 4400016 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.02
Current children cumulated vsize (KiB) 1515084

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.80 5/183 24196
/proc/meminfo: memFree=26461532/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=1516704 CPUtime=1164 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 368763 0 0 0 116248 152 0 0 20 0 3 0 331449461 1553104896 358534 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 379176 358534 199 433 0 378740 0
[pid=24188/tid=24190] ppid=24186 vsize=1516704 CPUtime=580.46 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 307424 0 0 0 57941 105 0 0 20 0 3 0 331449488 1553104896 358534 33554432000 4194304 5964478 140737334586368 140724147988384 4399915 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=1516704 CPUtime=580.46 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 51539 0 0 0 57986 60 0 0 20 0 3 0 331449488 1553104896 358534 33554432000 4194304 5964478 140737334586368 140724137498696 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164
Current children cumulated vsize (KiB) 1516704

[startup+642.3 s]
/proc/loadavg: 4.06 4.00 3.82 5/183 24196
/proc/meminfo: memFree=26409232/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=1583944 CPUtime=1283.99 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 380985 0 0 0 128228 171 0 0 20 0 3 0 331449461 1621958656 370756 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 395986 370756 199 433 0 395550 0
[pid=24188/tid=24190] ppid=24186 vsize=1583944 CPUtime=640.31 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 307622 0 0 0 63925 106 0 0 20 0 3 0 331449488 1621958656 370756 33554432000 4194304 5964478 140737334586368 140724147988384 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=1583944 CPUtime=640.31 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 63563 0 0 0 63950 81 0 0 20 0 3 0 331449488 1621958656 370756 33554432000 4194304 5964478 140737334586368 140724137498936 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1283.99
Current children cumulated vsize (KiB) 1583944

[startup+702.3 s]
/proc/loadavg: 4.02 4.00 3.82 5/183 24196
/proc/meminfo: memFree=26396116/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=1584636 CPUtime=1403.96 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 381683 0 0 0 140224 172 0 0 20 0 3 0 331449461 1622667264 371454 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 396159 371454 199 433 0 395723 0
[pid=24188/tid=24190] ppid=24186 vsize=1584636 CPUtime=700.15 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 308127 0 0 0 69907 108 0 0 20 0 3 0 331449488 1622667264 371454 33554432000 4194304 5964478 140737334586368 140724147988280 4392829 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=1584636 CPUtime=700.15 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 63756 0 0 0 69933 82 0 0 20 0 3 0 331449488 1622667264 371454 33554432000 4194304 5964478 140737334586368 140724137498696 4403708 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1403.96
Current children cumulated vsize (KiB) 1584636

[startup+762.307 s]
/proc/loadavg: 4.04 4.01 3.83 5/184 24199
/proc/meminfo: memFree=26282024/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=1651000 CPUtime=1523.95 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 396764 0 0 0 152196 199 0 0 20 0 3 0 331449461 1690624000 386532 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 412750 386532 199 433 0 412314 0
[pid=24188/tid=24190] ppid=24186 vsize=1651000 CPUtime=760 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 309919 0 0 0 75889 111 0 0 20 0 3 0 331449488 1690624000 386532 33554432000 4194304 5964478 140737334586368 140724147988344 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=1651000 CPUtime=760 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 77045 0 0 0 75893 107 0 0 20 0 3 0 331449488 1690624000 386532 33554432000 4194304 5964478 140737334586368 140724137498936 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1523.95
Current children cumulated vsize (KiB) 1651000

[startup+822.3 s]
/proc/loadavg: 4.01 4.01 3.84 5/183 24199
/proc/meminfo: memFree=26165036/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=1716948 CPUtime=1643.9 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 421551 0 0 0 164154 236 0 0 20 0 3 0 331449461 1758154752 411310 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 429237 411310 199 433 0 428801 0
[pid=24188/tid=24190] ppid=24186 vsize=1716948 CPUtime=819.84 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 311155 0 0 0 81872 112 0 0 20 0 3 0 331449488 1758154752 411310 33554432000 4194304 5964478 140737334586368 140724147988280 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=1716948 CPUtime=819.82 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 100596 0 0 0 81837 145 0 0 20 0 3 0 331449488 1758154752 411310 33554432000 4194304 5964478 140737334586368 140724137498936 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.9
Current children cumulated vsize (KiB) 1716948

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/183 24200
/proc/meminfo: memFree=26059080/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=1848624 CPUtime=1763.85 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 446075 0 0 0 176112 273 0 0 20 0 3 0 331449461 1892990976 436567 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 462156 436567 199 433 0 461720 0
[pid=24188/tid=24190] ppid=24186 vsize=1848624 CPUtime=879.69 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 317107 0 0 0 87847 122 0 0 20 0 3 0 331449488 1892990976 436567 33554432000 4194304 5964478 140737334586368 140724147988472 4400018 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=1848624 CPUtime=879.64 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 119168 0 0 0 87789 175 0 0 20 0 3 0 331449488 1892990976 436567 33554432000 4194304 5964478 140737334586368 140724137498936 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.85
Current children cumulated vsize (KiB) 1848624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.00 4.00 3.85 3/179 24201
/proc/meminfo: memFree=26480560/32873844 swapFree=7124/7124
[pid=24188] ppid=24186 vsize=1848624 CPUtime=1800.05 cores=0,2,4,6
/proc/24188/stat : 24188 (pwbo2.02) S 24186 24188 22415 0 -1 4202496 448197 0 0 0 179728 277 0 0 20 0 3 0 331449461 1892990976 438689 33554432000 4194304 5964478 140737334586368 140737334585888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24188/statm: 462156 438689 199 433 0 461720 0
[pid=24188/tid=24190] ppid=24186 vsize=1848624 CPUtime=897.75 cores=0,2,4,6
/proc/24188/task/24190/stat : 24190 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 318708 0 0 0 89650 125 0 0 20 0 3 0 331449488 1892990976 438689 33554432000 4194304 5964478 140737334586368 140724147988520 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24188/tid=24191] ppid=24186 vsize=1848624 CPUtime=897.7 cores=0,2,4,6
/proc/24188/task/24191/stat : 24191 (pwbo2.02) R 24186 24188 22415 0 -1 4202560 119689 0 0 0 89594 176 0 0 20 0 3 0 331449488 1892990976 438689 33554432000 4194304 5964478 140737334586368 140724137498936 4403339 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1848624

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

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24188 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=708466
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=87530
# CPU time returned by wait4() is 1795.8
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.451
CPU time (s): 1800.05
CPU user time (s): 1797.28
CPU system time (s): 2.77
CPU usage (%): 199.905
Max. virtual memory (cumulated for all children) (KiB): 1848624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.71
system time used= 3.08753
maximum resident set size= 1754764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448199
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= 632
involuntary context switches= 1916

runsolver used 1.82172 second user time and 4.94425 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-02 18:07:21
IDJOB=3725861
IDBENCH=2011
IDSOLVER=2309
FILE ID=node134/3725861-1338653241
RUNJOBID= node134-1338651430-23916
PBS_JOBID= 14636446
Free space on /tmp= 70352 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725861-1338653241/watcher-3725861-1338653241 -o /tmp/evaluation-result-3725861-1338653241/solver-3725861-1338653241 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725861-1338653241.opb

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

MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4
RANDOM SEED=1750033124

node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28225184 kB
Buffers:          456272 kB
Cached:          3272620 kB
SwapCached:           76 kB
Active:          1739192 kB
Inactive:        2018208 kB
Active(anon):      19204 kB
Inactive(anon):    10508 kB
Active(file):    1719988 kB
Inactive(file):  2007700 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:             13856 kB
Writeback:             4 kB
AnonPages:         34272 kB
Mapped:            12092 kB
Shmem:                96 kB
Slab:             753924 kB
SReclaimable:     195436 kB
SUnreclaim:       558488 kB
KernelStack:        1448 kB
PageTables:         3660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     158268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70344 MiB
End job on node134 at 2012-06-02 18:22:23