Trace number 3703556

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.0SAT (TO)334 1800.07 900.547

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
MD5SUM2821538067d8c071dc9bd4a000c6d040
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark334
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 340
Optimality of the best value was proved NO
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 2500
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 2500
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3703556-1338089236.opb.
0.00/0.00	c Instance file HOME/instance-3703556-1338089236.opb
0.00/0.00	c File size is 3053421 bytes.
0.19/0.25	c Cost Offset: 0
0.19/0.25	c Highest Coefficient sum: 80
0.19/0.25	c ============================[ Problem Statistics ]=============================
0.19/0.25	c |                                                                             |
0.19/0.25	c |  Parsing time:          0.26         s                                      |
0.19/0.25	c |  Number Variables:      2700                                                |
0.19/0.25	c |  Number Clauses:        20670                                               |
0.19/0.25	c |  Number Cardinality:    800                                                 |
0.19/0.25	c |  Number PB Constraints: 21600                                               |
0.19/0.25	c |                                                                             |
0.19/0.26	c |  Problem Type:          Optimization                                        |
0.19/0.26	c |  Objective Function:    Cardinality Constraint                              |
0.19/0.26	c |                                                                             |
0.19/0.26	c ===============================================================================
1800.07/900.51	o 408
1800.07/900.51	o 366
1800.07/900.51	o 362
1800.07/900.51	o 358
1800.07/900.51	o 356
1800.07/900.51	o 352
1800.07/900.51	o 342
1800.07/900.51	o 338
1800.07/900.51	o 336
1800.07/900.51	o 334
1800.07/900.51	c ===============================================================================
1800.07/900.51	c Wall Clock Time: 900.51 s
1800.07/900.51	c Best Solution: 334
1800.07/900.51	s SATISFIABLE
1800.07/900.51	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	334

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-3703556-1338089236/watcher-3703556-1338089236 -o /tmp/evaluation-result-3703556-1338089236/solver-3703556-1338089236 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703556-1338089236.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.73 3.94 3.62 4/178 7343
/proc/meminfo: memFree=30433704/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=8496 CPUtime=0 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) R 7341 7343 7054 0 -1 4202496 664 0 0 0 0 0 0 0 20 0 1 0 275052106 8699904 616 33554432000 4194304 5965102 140733644918816 140734077630824 4344854 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 2124 616 169 433 0 942 0

[startup+0.096887 s]
/proc/loadavg: 3.73 3.94 3.62 4/178 7343
/proc/meminfo: memFree=30433704/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=17688 CPUtime=0.08 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) R 7341 7343 7054 0 -1 4202496 3226 0 0 0 8 0 0 0 20 0 1 0 275052106 18112512 3178 33554432000 4194304 5965102 140733644918816 140734077630824 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 4422 3181 442 433 0 3240 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17688

[startup+0.100309 s]
/proc/loadavg: 3.73 3.94 3.62 4/178 7343
/proc/meminfo: memFree=30433704/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=18216 CPUtime=0.08 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) R 7341 7343 7054 0 -1 4202496 3354 0 0 0 8 0 0 0 20 0 1 0 275052106 18653184 3306 33554432000 4194304 5965102 140733644918816 140734077630824 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 4554 3307 451 433 0 3372 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18216

[startup+0.300163 s]
/proc/loadavg: 3.73 3.94 3.62 4/178 7343
/proc/meminfo: memFree=30433704/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=196456 CPUtime=0.32 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 11980 0 0 0 28 4 0 0 20 0 3 0 275052106 201170944 11119 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 49114 11119 195 433 0 48678 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 196456

[startup+0.700169 s]
/proc/loadavg: 3.73 3.94 3.62 4/178 7343
/proc/meminfo: memFree=30433704/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=222664 CPUtime=1.1 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 28352 0 0 0 98 12 0 0 20 0 3 0 275052106 228007936 26935 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 55666 26935 209 433 0 55230 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 222664

[startup+1.50023 s]
/proc/loadavg: 3.73 3.94 3.62 5/181 7346
/proc/meminfo: memFree=30285872/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=223476 CPUtime=2.69 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 36198 0 0 0 249 20 0 0 20 0 3 0 275052106 228839424 34781 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 55869 34781 209 433 0 55433 0
[pid=7343/tid=7345] ppid=7341 vsize=223476 CPUtime=1.21 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 14530 0 0 0 106 15 0 0 20 0 3 0 275052132 228839424 34781 33554432000 4194304 5965102 140733644918816 139877733874200 4222464 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=223476 CPUtime=1.22 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 11869 0 0 0 118 4 0 0 20 0 3 0 275052132 228839424 34781 33554432000 4194304 5965102 140733644918816 139877723383928 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 223476

[startup+3.10036 s]
/proc/loadavg: 3.73 3.94 3.62 5/181 7346
/proc/meminfo: memFree=30214316/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=289012 CPUtime=5.89 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 50364 0 0 0 562 27 0 0 20 0 3 0 275052106 295948288 48947 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 72253 48947 209 433 0 71817 0
[pid=7343/tid=7345] ppid=7341 vsize=289012 CPUtime=2.8 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 28208 0 0 0 258 22 0 0 20 0 3 0 275052132 295948288 48947 33554432000 4194304 5965102 140733644918816 139877733874008 5123034 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=289012 CPUtime=2.81 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 12357 0 0 0 277 4 0 0 20 0 3 0 275052132 295948288 48947 33554432000 4194304 5965102 140733644918816 139877723384120 4404729 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 289012

[startup+6.30035 s]
/proc/loadavg: 3.75 3.94 3.62 5/181 7346
/proc/meminfo: memFree=30037740/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=354548 CPUtime=12.29 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 71289 0 0 0 1196 33 0 0 20 0 3 0 275052106 363057152 69849 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 88637 69849 209 433 0 88201 0
[pid=7343/tid=7345] ppid=7341 vsize=354548 CPUtime=6 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 48082 0 0 0 574 26 0 0 20 0 3 0 275052132 363057152 69849 33554432000 4194304 5965102 140733644918816 139877733874120 5134635 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=354548 CPUtime=6 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 13408 0 0 0 595 5 0 0 20 0 3 0 275052132 363057152 69850 33554432000 4194304 5965102 140733644918816 139877723384120 4404407 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 354548

[startup+12.7004 s]
/proc/loadavg: 3.77 3.94 3.62 5/181 7346
/proc/meminfo: memFree=29878216/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=420084 CPUtime=25.08 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 79842 0 0 0 2471 37 0 0 20 0 3 0 275052106 430166016 78390 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 105021 78390 209 433 0 104585 0
[pid=7343/tid=7345] ppid=7341 vsize=420084 CPUtime=12.38 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 54134 0 0 0 1210 28 0 0 20 0 3 0 275052132 430166016 78390 33554432000 4194304 5965102 140733644918816 139877733873464 4402062 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=420084 CPUtime=12.38 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 15909 0 0 0 1231 7 0 0 20 0 3 0 275052132 430166016 78390 33554432000 4194304 5965102 140733644918816 139877723384168 4400850 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 420084

[startup+25.5004 s]
/proc/loadavg: 3.82 3.94 3.63 5/181 7346
/proc/meminfo: memFree=29645156/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=420084 CPUtime=50.68 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 88241 0 0 0 5026 42 0 0 20 0 3 0 275052106 430166016 86788 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 105021 86788 209 433 0 104585 0
[pid=7343/tid=7345] ppid=7341 vsize=420084 CPUtime=25.14 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 57919 0 0 0 2485 29 0 0 20 0 3 0 275052132 430166016 86788 33554432000 4194304 5965102 140733644918816 139877733873760 4401475 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=420084 CPUtime=25.15 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 20523 0 0 0 2505 10 0 0 20 0 3 0 275052132 430166016 86788 33554432000 4194304 5965102 140733644918816 139877723384120 4410742 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 420084

[startup+51.1004 s]
/proc/loadavg: 3.88 3.94 3.64 5/181 7346
/proc/meminfo: memFree=29288004/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=487428 CPUtime=101.88 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 100495 0 0 0 10134 54 0 0 20 0 3 0 275052106 499126272 99042 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 121857 99042 209 433 0 121421 0
[pid=7343/tid=7345] ppid=7341 vsize=487428 CPUtime=50.68 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 63037 0 0 0 5034 34 0 0 20 0 3 0 275052132 499126272 99042 33554432000 4194304 5965102 140733644918816 139877733873464 4401026 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=487428 CPUtime=50.68 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 27659 0 0 0 5051 17 0 0 20 0 3 0 275052132 499126272 99042 33554432000 4194304 5965102 140733644918816 139877723384120 4400960 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) 487428

[startup+102.307 s]
/proc/loadavg: 3.95 3.95 3.65 5/181 7346
/proc/meminfo: memFree=28961044/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=620748 CPUtime=204.26 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 122928 0 0 0 20352 74 0 0 20 0 3 0 275052106 635645952 121475 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 155187 121475 209 433 0 154751 0
[pid=7343/tid=7345] ppid=7341 vsize=620748 CPUtime=101.75 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 70556 0 0 0 10134 41 0 0 20 0 3 0 275052132 635645952 121475 33554432000 4194304 5965102 140733644918816 139877733873464 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=620748 CPUtime=101.76 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 42573 0 0 0 10144 32 0 0 20 0 3 0 275052132 635645952 121475 33554432000 4194304 5965102 140733644918816 139877723384168 4221120 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) 620748

[startup+162.3 s]
/proc/loadavg: 3.98 3.95 3.67 5/181 7346
/proc/meminfo: memFree=28880612/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=622240 CPUtime=324.24 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 134404 0 0 0 32337 87 0 0 20 0 3 0 275052106 637173760 132951 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 155560 132951 209 433 0 155124 0
[pid=7343/tid=7345] ppid=7341 vsize=622240 CPUtime=161.6 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 77842 0 0 0 16109 51 0 0 20 0 3 0 275052132 637173760 132951 33554432000 4194304 5965102 140733644918816 139877733873464 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=622240 CPUtime=161.6 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 46763 0 0 0 16122 38 0 0 20 0 3 0 275052132 637173760 132951 33554432000 4194304 5965102 140733644918816 139877723384224 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.24
Current children cumulated vsize (KiB) 622240

[startup+222.3 s]
/proc/loadavg: 3.99 3.96 3.69 5/182 7349
/proc/meminfo: memFree=28808448/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=688632 CPUtime=444.21 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 145000 0 0 0 44328 93 0 0 20 0 3 0 275052106 705159168 143255 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 172158 143255 209 433 0 171722 0
[pid=7343/tid=7345] ppid=7341 vsize=688632 CPUtime=221.44 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 86314 0 0 0 22088 56 0 0 20 0 3 0 275052132 705159168 143255 33554432000 4194304 5965102 140733644918816 139877733873568 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=688632 CPUtime=221.44 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 48887 0 0 0 22103 41 0 0 20 0 3 0 275052132 705159168 143255 33554432000 4194304 5965102 140733644918816 139877723383928 4401582 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.21
Current children cumulated vsize (KiB) 688632

[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.71 5/181 7350
/proc/meminfo: memFree=28679168/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=756616 CPUtime=564.2 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 165134 0 0 0 56309 111 0 0 20 0 3 0 275052106 774774784 163389 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 189154 163389 209 433 0 188718 0
[pid=7343/tid=7345] ppid=7341 vsize=756616 CPUtime=281.29 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 86473 0 0 0 28072 57 0 0 20 0 3 0 275052132 774774784 163389 33554432000 4194304 5965102 140733644918816 139877733874200 4404416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=756616 CPUtime=281.29 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 68862 0 0 0 28070 59 0 0 20 0 3 0 275052132 774774784 163389 33554432000 4194304 5965102 140733644918816 139877723384120 4404383 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.2
Current children cumulated vsize (KiB) 756616

[startup+342.3 s]
/proc/loadavg: 4.04 3.99 3.73 5/181 7350
/proc/meminfo: memFree=28545524/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=823172 CPUtime=684.18 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 181734 0 0 0 68291 127 0 0 20 0 3 0 275052106 842928128 179989 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 205793 179989 209 433 0 205357 0

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

[pid=7343/tid=7346] ppid=7341 vsize=823172 CPUtime=341.14 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 85462 0 0 0 34037 77 0 0 20 0 3 0 275052132 842928128 179989 33554432000 4194304 5965102 140733644918816 139877723384120 4404416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.18
Current children cumulated vsize (KiB) 823172

[startup+402.3 s]
/proc/loadavg: 4.01 3.99 3.74 5/181 7350
/proc/meminfo: memFree=28475368/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=889272 CPUtime=804.16 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 198136 0 0 0 80270 146 0 0 20 0 3 0 275052106 910614528 196391 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 222318 196391 209 433 0 221882 0
[pid=7343/tid=7345] ppid=7341 vsize=889272 CPUtime=400.98 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 86597 0 0 0 40039 59 0 0 20 0 3 0 275052132 910614528 196391 33554432000 4194304 5965102 140733644918816 139877733873760 4401582 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=889272 CPUtime=400.98 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 101740 0 0 0 40002 96 0 0 20 0 3 0 275052132 910614528 196391 33554432000 4194304 5965102 140733644918816 139877723384120 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.16
Current children cumulated vsize (KiB) 889272

[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.75 5/181 7350
/proc/meminfo: memFree=28369036/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=957360 CPUtime=924.12 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 210537 0 0 0 92252 160 0 0 20 0 3 0 275052106 980336640 209161 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 239340 209161 209 433 0 238904 0
[pid=7343/tid=7345] ppid=7341 vsize=957360 CPUtime=460.83 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 86598 0 0 0 46024 59 0 0 20 0 3 0 275052132 980336640 209161 33554432000 4194304 5965102 140733644918816 139877733873760 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=957360 CPUtime=460.81 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 114140 0 0 0 45970 111 0 0 20 0 3 0 275052132 980336640 209161 33554432000 4194304 5965102 140733644918816 139877723384120 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.12
Current children cumulated vsize (KiB) 957360

[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.76 5/181 7350
/proc/meminfo: memFree=28308924/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=1023164 CPUtime=1044.06 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 226093 0 0 0 104231 175 0 0 20 0 3 0 275052106 1047719936 224688 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 255791 224690 209 433 0 255355 0
[pid=7343/tid=7345] ppid=7341 vsize=1023164 CPUtime=520.68 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 86973 0 0 0 52008 60 0 0 20 0 3 0 275052132 1047719936 224690 33554432000 4194304 5965102 140733644918816 139877733873656 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=1023164 CPUtime=520.62 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 129323 0 0 0 51935 127 0 0 20 0 3 0 275052132 1047719936 224690 33554432000 4194304 5965102 140733644918816 139877723384120 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.06
Current children cumulated vsize (KiB) 1023164

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.78 5/182 7352
/proc/meminfo: memFree=28217988/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=1091844 CPUtime=1164 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 247837 0 0 0 116205 195 0 0 20 0 3 0 275052106 1118048256 246906 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 272961 246906 209 433 0 272525 0
[pid=7343/tid=7345] ppid=7341 vsize=1091844 CPUtime=580.52 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 89654 0 0 0 57988 64 0 0 20 0 3 0 275052132 1118048256 246906 33554432000 4194304 5965102 140733644918816 139877733873656 4400955 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=1091844 CPUtime=580.42 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 148384 0 0 0 57898 144 0 0 20 0 3 0 275052132 1118048256 246906 33554432000 4194304 5965102 140733644918816 139877723384120 4401127 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) 1091844

[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.79 5/181 7352
/proc/meminfo: memFree=28086088/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=1224644 CPUtime=1283.94 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 269847 0 0 0 128177 217 0 0 20 0 3 0 275052106 1254035456 269050 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 306161 269050 209 433 0 305725 0
[pid=7343/tid=7345] ppid=7341 vsize=1224644 CPUtime=640.35 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 98816 0 0 0 63960 75 0 0 20 0 3 0 275052132 1254035456 269050 33554432000 4194304 5965102 140733644918816 139877733873656 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=1224644 CPUtime=640.24 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 161232 0 0 0 63867 157 0 0 20 0 3 0 275052132 1254035456 269050 33554432000 4194304 5965102 140733644918816 139877723383928 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1283.94
Current children cumulated vsize (KiB) 1224644

[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.80 5/181 7352
/proc/meminfo: memFree=27988404/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=1226632 CPUtime=1403.85 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 288613 0 0 0 140146 239 0 0 20 0 3 0 275052106 1256071168 287771 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 306658 287771 209 433 0 306222 0
[pid=7343/tid=7345] ppid=7341 vsize=1226632 CPUtime=700.15 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 105331 0 0 0 69931 84 0 0 20 0 3 0 275052132 1256071168 287771 33554432000 4194304 5965102 140733644918816 139877733873704 4401668 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=1226632 CPUtime=700.06 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 173483 0 0 0 69834 172 0 0 20 0 3 0 275052132 1256071168 287771 33554432000 4194304 5965102 140733644918816 139877723384120 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1403.85
Current children cumulated vsize (KiB) 1226632

[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.81 5/181 7352
/proc/meminfo: memFree=27962516/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=1293520 CPUtime=1523.79 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 292116 0 0 0 152137 242 0 0 20 0 3 0 275052106 1324564480 291243 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 323380 291243 209 433 0 322944 0
[pid=7343/tid=7345] ppid=7341 vsize=1293520 CPUtime=759.97 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 106503 0 0 0 75911 86 0 0 20 0 3 0 275052132 1324564480 291243 33554432000 4194304 5965102 140733644918816 139877733873464 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=1293520 CPUtime=759.9 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 175814 0 0 0 75815 175 0 0 20 0 3 0 275052132 1324564480 291243 33554432000 4194304 5965102 140733644918816 139877723384112 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1523.79
Current children cumulated vsize (KiB) 1293520

[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.82 5/182 7355
/proc/meminfo: memFree=27929056/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=1293652 CPUtime=1643.73 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 296785 0 0 0 164123 250 0 0 20 0 3 0 275052106 1324699648 295876 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 323413 295876 209 433 0 322977 0
[pid=7343/tid=7345] ppid=7341 vsize=1293652 CPUtime=819.8 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 111108 0 0 0 81885 95 0 0 20 0 3 0 275052132 1324699648 295876 33554432000 4194304 5965102 140733644918816 139877733873656 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=1293652 CPUtime=819.71 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 175878 0 0 0 81795 176 0 0 20 0 3 0 275052132 1324699648 295876 33554432000 4194304 5965102 140733644918816 139877723383880 4222314 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.73
Current children cumulated vsize (KiB) 1293652

[startup+882.3 s]
/proc/loadavg: 4.00 3.99 3.83 5/181 7356
/proc/meminfo: memFree=27896852/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=1359328 CPUtime=1763.69 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 303173 0 0 0 176112 257 0 0 20 0 3 0 275052106 1391951872 302243 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 339832 302243 209 433 0 339396 0
[pid=7343/tid=7345] ppid=7341 vsize=1359328 CPUtime=879.63 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 117463 0 0 0 87860 103 0 0 20 0 3 0 275052132 1391951872 302243 33554432000 4194304 5965102 140733644918816 139877733873656 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=1359328 CPUtime=879.55 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 175911 0 0 0 87778 177 0 0 20 0 3 0 275052132 1391951872 302243 33554432000 4194304 5965102 140733644918816 139877723383880 4401064 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.69
Current children cumulated vsize (KiB) 1359328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.5 s]
/proc/loadavg: 4.00 3.99 3.83 5/181 7437
/proc/meminfo: memFree=29415124/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=1359468 CPUtime=1800.07 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 304873 0 0 0 179749 258 0 0 20 0 3 0 275052106 1392095232 303927 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 339867 303927 209 433 0 339431 0
[pid=7343/tid=7345] ppid=7341 vsize=1359468 CPUtime=897.79 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 119111 0 0 0 89674 105 0 0 20 0 3 0 275052132 1392095232 303927 33554432000 4194304 5965102 140733644918816 139877733873656 4411917 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=1359468 CPUtime=897.7 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 175963 0 0 0 89593 177 0 0 20 0 3 0 275052132 1392095232 303927 33554432000 4194304 5965102 140733644918816 139877723384224 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1359468

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

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

[startup+900.5 s]
/proc/loadavg: 4.00 3.99 3.83 5/181 7437
/proc/meminfo: memFree=29415124/32873844 swapFree=7108/7108
[pid=7343] ppid=7341 vsize=1359468 CPUtime=1800.07 cores=0,2,4,6
/proc/7343/stat : 7343 (pwbo2.0) S 7341 7343 7054 0 -1 4202496 304873 0 0 0 179749 258 0 0 20 0 3 0 275052106 1392095232 303927 33554432000 4194304 5965102 140733644918816 140733644918336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7343/statm: 339867 303927 209 433 0 339431 0
[pid=7343/tid=7345] ppid=7341 vsize=1359468 CPUtime=897.79 cores=0,2,4,6
/proc/7343/task/7345/stat : 7345 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 119111 0 0 0 89674 105 0 0 20 0 3 0 275052132 1392095232 303927 33554432000 4194304 5965102 140733644918816 139877733873656 4411917 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7343/tid=7346] ppid=7341 vsize=1359468 CPUtime=897.7 cores=0,2,4,6
/proc/7343/task/7346/stat : 7346 (pwbo2.0) R 7341 7343 7054 0 -1 4202560 175963 0 0 0 89593 177 0 0 20 0 3 0 275052132 1392095232 303927 33554432000 4194304 5965102 140733644918816 139877723384224 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1359468

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7343 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=926433
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=899559
# CPU time returned by wait4() is 1795.83
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.547
CPU time (s): 1800.07
CPU user time (s): 1797.49
CPU system time (s): 2.58
CPU usage (%): 199.886
Max. virtual memory (cumulated for all children) (KiB): 1359468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.93
system time used= 2.89956
maximum resident set size= 1215716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304875
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= 1207
involuntary context switches= 1937

runsolver used 0.831873 second user time and 6.11407 second system time

The end

Launcher Data 

Begin job on node102 at 2012-05-27 05:27:16
IDJOB=3703556
IDBENCH=2013
IDSOLVER=2279
FILE ID=node102/3703556-1338089236
RUNJOBID= node102-1338087425-7070
PBS_JOBID= 14624443
Free space on /tmp= 71528 MiB

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

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

MD5SUM BENCH= 2821538067d8c071dc9bd4a000c6d040
RANDOM SEED=477924303

node102.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.178
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.35
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.178
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	: 5331.90
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.178
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	: 5331.91
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.178
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	: 5331.91
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.178
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	: 5331.91
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.178
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	: 5438.54
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.178
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	: 5331.91
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.178
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30434456 kB
Buffers:          311660 kB
Cached:          1071660 kB
SwapCached:            0 kB
Active:          1046024 kB
Inactive:         568788 kB
Active(anon):     222684 kB
Inactive(anon):    11040 kB
Active(file):     823340 kB
Inactive(file):   557748 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             17316 kB
Writeback:             0 kB
AnonPages:        238112 kB
Mapped:            15152 kB
Shmem:               200 kB
Slab:             686552 kB
SReclaimable:     128176 kB
SUnreclaim:       558376 kB
KernelStack:        1464 kB
PageTables:         3924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     190256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 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= 71524 MiB
End job on node102 at 2012-05-27 05:42:18