PB'05 competition: run trace

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 in four parts:
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 provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
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.
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.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/ttp/normalized-data10_3.opb
MD5SUM	4a63b686be1696a2915c6e312773fbad
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	81744
Optimality of the best value was proved	NO
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 numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.07
Number of variables	2700
Total number of constraints	42620
Number of constraints which are clauses	20220
Number of constraints which are cardinality constraints (but not clauses)	800
Number of constraints which are nor clauses,nor cardinality constraints	21600
Minimum length of a constraint	2
Maximum length of a constraint	36
Trace number 38479

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 10:51:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26530 boxname=wulflinc4 idbench=260 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  4a63b686be1696a2915c6e312773fbad  /oldhome/oroussel/tmp/wulflinc4/normalized-data10_3.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-data10_3.opb
IDLAUNCH: 26530
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        678536 kB
Buffers:         34040 kB
Cached:         299748 kB
SwapCached:        568 kB
Active:          56336 kB
Inactive:       279576 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        678284 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            14476 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 11:11:07 (client local time) WITH STATUS 10 IN 1189.12 SECONDS
stats: 26530 0 1189.12 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc4/normalized-data10_3.opb
c #variables read: 2700 - #constraints read: 43071
s SATISFIABLE
v v1801 v1802 -v1803 v1804 -v1805 -v1806 v1807 v1808 v1809 v1810 -v1811 -v1812 -v1813 -v1814 -v1815 -v1816 -v1817 -v1818 v1819 -v1820 -v1821 -v1822 -v1823 -v1824 -v1825 -v1826 -v1827 v1828 -v1829 -v1830 -v1831 -v1832 -v1833 -v1834 -v1835 -v1836 v1837 -v1838 -v1839 -v1840 -v1841 -v1842 -v1843 -v1844 -v1845 v1846 -v1847 -v1848 -v1849 -v1850 -v1851 -v1852 -v1853 -v1854 v1855 -v1856 -v1857 -v1858 -v1859 -v1860 -v1861 -v1862 -v1863 -v1864 -v1865 -v1866 -v1867 -v1868 -v1869 v1870 -v1871 -v1872 -v1873 -v1874 -v1875 v1876 -v1877 -v1878 -v1879 -v1880 -v1881 -v1882 -v1883 -v1884 -v1885 -v1886 v1887 -v1888 -v1889 -v1890 v1891 -v1892 -v1893 -v1894 -v1895 -v1896 -v1897 -v1898 -v1899 -v1900 v1901 v1902 -v1903 v1904 v1905 v1906 -v1907 v1908 -v1909 v1910 -v1911 -v1912 -v1913 -v1914 -v1915 -v1916 -v1917 v1918 -v1919 -v1920 -v1921 -v1922 -v1923 -v1924 -v1925 -v1926 -v1927 v1928 -v1929 -v1930 -v1931 -v1932 -v1933 -v1934 -v1935 -v1936 v1937 -v1938 -v1939 -v1940 -v1941 -v1942 -v1943 -v1944 -v1945 -v1946 -v1947 -v1948 v1949 -v1950 -v1951 -v1952 -v1953 -v1954 -v1955 -v1956 -v1957 -v1958 -v1959 -v1960 v1961 -v1962 -v1963 v1964 -v1965 -v1966 -v1967 -v1968 -v1969 -v1970 -v1971 -v1972 v1973 -v1974 -v1975 -v1976 -v1977 -v1978 -v1979 -v1980 -v1981 v1982 -v1983 -v1984 -v1985 -v1986 -v1987 -v1988 -v1989 -v1990 v1991 -v1992 -v1993 -v1994 -v1995 -v1996 -v1997 -v1998 -v1999 v2000 v2001 v2002 -v2003 v2004 v2005 -v2006 -v2007 -v2008 -v2009 v2010 -v2011 -v2012 -v2013 -v2014 -v2015 -v2016 -v2017 -v2018 -v2019 -v2020 v2021 -v2022 -v2023 -v2024 -v2025 -v2026 -v2027 v2028 -v2029 -v2030 -v2031 -v2032 -v2033 -v2034 -v2035 -v2036 -v2037 -v2038 -v2039 -v2040 -v2041 v2042 -v2043 -v2044 -v2045 -v2046 -v2047 -v2048 -v2049 -v2050 -v2051 v2052 v2053 -v2054 -v2055 -v2056 -v2057 -v2058 -v2059 -v2060 -v2061 -v2062 -v2063 v2064 -v2065 -v2066 -v2067 -v2068 -v2069 -v2070 -v2071 -v2072 -v2073 v2074 -v2075 -v2076 -v2077 -v2078 -v2079 -v2080 v2081 -v2082 -v2083 -v2084 -v2085 -v2086 -v2087 -v2088 -v2089 -v2090 v2091 -v2092 -v2093 -v2094 -v2095 -v2096 -v2097 v2098 v2099 -v2100 -v2101 v2102 -v2103 -v2104 v2105 -v2106 -v2107 -v2108 -v2109 -v2110 -v2111 -v2112 -v2113 -v2114 v2115 -v2116 -v2117 -v2118 -v2119 -v2120 -v2121 v2122 -v2123 -v2124 -v2125 -v2126 -v2127 v2128 -v2129 -v2130 -v2131 -v2132 -v2133 -v2134 -v2135 -v2136 v2137 -v2138 -v2139 -v2140 -v2141 -v2142 -v2143 -v2144 -v2145 -v2146 -v2147 -v2148 v2149 -v2150 -v2151 -v2152 -v2153 -v2154 v2155 -v2156 -v2157 -v2158 -v2159 -v2160 -v2161 -v2162 -v2163 v2164 -v2165 -v2166 -v2167 -v2168 -v2169 -v2170 v2171 -v2172 -v2173 -v2174 -v2175 -v2176 -v2177 -v2178 v2179 -v2180 -v2181 -v2182 -v2183 -v2184 -v2185 -v2186 -v2187 -v2188 -v2189 -v2190 -v2191 -v2192 -v2193 -v2194 -v2195 v2196 -v2197 v2198 -v2199 v2200 -v2201 -v2202 v2203 v2204 -v2205 -v2206 -v2207 -v2208 -v2209 v2210 -v2211 -v2212 -v2213 -v2214 -v2215 -v2216 -v2217 -v2218 v2219 -v2220 -v2221 -v2222 -v2223 -v2224 -v2225 -v2226 -v2227 -v2228 -v2229 v2230 -v2231 -v2232 -v2233 -v2234 -v2235 -v2236 -v2237 v2238 -v2239 -v2240 -v2241 -v2242 -v2243 -v2244 -v2245 v2246 -v2247 -v2248 -v2249 -v2250 -v2251 -v2252 -v2253 -v2254 -v2255 -v2256 v2257 -v2258 -v2259 -v2260 -v2261 -v2262 -v2263 v2264 -v2265 -v2266 -v2267 -v2268 -v2269 -v2270 -v2271 -v2272 v2273 -v2274 -v2275 -v2276 -v2277 -v2278 -v2279 -v2280 -v2281 v2282 -v2283 -v2284 -v2285 -v2286 v2287 -v2288 -v2289 -v2290 -v2291 -v2292 -v2293 -v2294 -v2295 -v2296 v2297 v2298 v2299 v2300 v2301 -v2302 -v2303 v2304 -v2305 -v2306 -v2307 -v2308 -v2309 v2310 -v2311 -v2312 -v2313 -v2314 -v2315 -v2316 -v2317 -v2318 v2319 -v2320 -v2321 -v2322 -v2323 -v2324 -v2325 -v2326 -v2327 v2328 -v2329 -v2330 -v2331 -v2332 -v2333 -v2334 -v2335 -v2336 -v2337 -v2338 -v2339 v2340 -v2341 -v2342 -v2343 -v2344 -v2345 v2346 -v2347 -v2348 -v2349 -v2350 -v2351 -v2352 -v2353 -v2354 v2355 -v2356 -v2357 -v2358 -v2359 v2360 -v2361 -v2362 -v2363 -v2364 -v2365 -v2366 -v2367 -v2368 -v2369 -v2370 -v2371 -v2372 v2373 -v2374 -v2375 -v2376 -v2377 -v2378 v2379 -v2380 -v2381 -v2382 -v2383 -v2384 -v2385 -v2386 -v2387 -v2388 v2389 -v2390 -v2391 -v2392 -v2393 -v2394 v2395 -v2396 -v2397 -v2398 v2399 -v2400 v2401 v2402 v2403 -v2404 -v2405 -v2406 -v2407 -v2408 -v2409 v2410 -v2411 -v2412 -v2413 -v2414 -v2415 -v2416 -v2417 -v2418 v2419 -v2420 -v2421 -v2422 -v2423 -v2424 -v2425 -v2426 v2427 -v2428 -v2429 -v2430 -v2431 -v2432 -v2433 -v2434 -v2435 -v2436 v2437 -v2438 -v2439 -v2440 -v2441 -v2442 -v2443 -v2444 -v2445 v2446 -v2447 -v2448 -v2449 -v2450 -v2451 -v2452 -v2453 -v2454 -v2455 v2456 -v2457 -v2458 -v2459 -v2460 -v2461 -v2462 -v2463 v2464 -v2465 -v2466 -v2467 -v2468 -v2469 v2470 -v2471 -v2472 -v2473 -v2474 -v2475 -v2476 -v2477 -v2478 -v2479 -v2480 -v2481 -v2482 -v2483 v2484 -v2485 -v2486 -v2487 -v2488 -v2489 v2490 -v2491 -v2492 -v2493 v2494 v2495 v2496 -v2497 v2498 -v2499 v2500 -v2501 -v2502 -v2503 -v2504 -v2505 -v2506 -v2507 -v2508 -v2509 v2510 -v2511 -v2512 -v2513 -v2514 -v2515 -v2516 -v2517 -v2518 v2519 -v2520 -v2521 -v2522 -v2523 -v2524 -v2525 -v2526 -v2527 v2528 -v2529 -v2530 -v2531 -v2532 -v2533 -v2534 -v2535 -v2536 v2537 -v2538 -v2539 -v2540 -v2541 -v2542 -v2543 -v2544 -v2545 v2546 -v2547 -v2548 -v2549 -v2550 -v2551 -v2552 -v2553 -v2554 -v2555 v2556 -v2557 -v2558 -v2559 -v2560 -v2561 -v2562 -v2563 v2564 -v2565 -v2566 -v2567 -v2568 -v2569 -v2570 -v2571 -v2572 v2573 -v2574 -v2575 -v2576 v2577 -v2578 -v2579 -v2580 -v2581 -v2582 -v2583 -v2584 -v2585 -v2586 -v2587 -v2588 -v2589 -v2590 v2591 -v2592 v2593 v2594 -v2595 v2596 v2597 v2598 v2599 v2600 -v2601 -v2602 -v2603 -v2604 -v2605 -v2606 -v2607 -v2608 -v2609 v2610 -v2611 -v2612 -v2613 -v2614 -v2615 -v2616 -v2617 v2618 -v2619 -v2620 -v2621 -v2622 -v2623 -v2624 -v2625 -v2626 -v2627 v2628 -v2629 -v2630 -v2631 -v2632 v2633 -v2634 -v2635 -v2636 -v2637 -v2638 v2639 -v2640 -v2641 -v2642 -v2643 -v2644 -v2645 -v2646 -v2647 -v2648 -v2649 -v2650 -v2651 -v2652 -v2653 -v2654 v2655 -v2656 -v2657 -v2658 -v2659 -v2660 v2661 -v2662 -v2663 -v2664 -v2665 -v2666 -v2667 -v2668 -v2669 -v2670 -v2671 -v2672 v2673 -v2674 -v2675 -v2676 -v2677 -v2678 -v2679 -v2680 -v2681 v2682 -v2683 -v2684 -v2685 -v2686 -v2687 -v2688 -v2689 -v2690 v2691 v2692 -v2693 v2694 v2695 v2696 -v2697 -v2698 v2699 -v2700 -v2 -v102 -v202 -v302 -v402 -v502 -v602 -v702 -v802 -v902 -v1002 -v1102 -v1202 -v1302 -v1402 v1502 -v1602 -v1702 -v3 -v103 -v203 -v303 -v403 -v503 v603 -v703 -v803 -v903 -v1003 -v1103 -v1203 -v1303 -v1403 -v1503 -v1603 -v1703 -v4 -v104 -v204 -v304 -v404 -v504 -v604 -v704 -v804 -v904 -v1004 -v1104 -v1204 v1304 -v1404 -v1504 -v1604 -v1704 -v5 -v105 -v205 -v305 -v405 -v505 -v605 -v705 -v805 -v905 -v1005 -v1105 -v1205 -v1305 -v1405 -v1505 -v1605 v1705 -v6 -v106 -v206 -v306 -v406 -v506 -v606 -v706 -v806 v906 -v1006 -v1106 -v1206 -v1306 -v1406 -v1506 -v1606 -v1706 -v7 -v107 -v207 v307 -v407 -v507 -v607 -v707 -v807 -v907 -v1007 -v1107 -v1207 -v1307 -v1407 -v1507 -v1607 -v1707 -v8 -v108 v208 -v308 -v408 -v508 -v608 -v708 -v808 -v908 -v1008 -v1108 -v1208 -v1308 -v1408 -v1508 -v1608 -v1708 -v9 -v109 -v209 -v309 -v409 -v509 -v609 -v709 -v809 -v909 -v1009 -v1109 v1209 -v1309 -v1409 -v1509 -v1609 -v1709 -v10 -v110 -v210 -v310 -v410 -v510 -v610 -v710 v810 -v910 -v1010 -v1110 -v1210 -v1310 -v1410 -v1510 -v1610 -v1710 -v11 v111 -v211 -v311 -v411 -v511 -v611 -v711 -v811 -v911 -v1011 -v1111 -v1211 -v1311 -v1411 -v1511 -v1611 -v1711 -v13 -v113 -v213 -v313 -v413 -v513 -v613 -v713 -v813 -v913 -v1013 -v1113 -v1213 -v1313 -v1413 -v1513 v1613 -v1713 v14 -v114 -v214 -v314 -v414 -v514 -v614 -v714 -v814 -v914 -v1014 -v1114 -v1214 -v1314 -v1414 -v1514 -v1614 -v1714 -v15 -v115 -v215 -v315 -v415 -v515 -v615 -v715 -v815 v915 -v1015 -v1115 -v1215 -v1315 -v1415 -v1515 -v1615 -v1715 -v16 -v116 -v216 -v316 -v416 -v516 v616 -v716 -v816 -v916 -v1016 -v1116 -v1216 -v1316 -v1416 -v1516 -v1616 -v1716 -v17 -v117 -v217 -v317 -v417 -v517 -v617 -v717 v817 -v917 -v1017 -v1117 -v1217 -v1317 -v1417 -v1517 -v1617 -v1717 -v18 -v118 -v218 v318 -v418 -v518 -v618 -v718 -v818 -v918 -v1018 -v1118 -v1218 -v1318 -v1418 -v1518 -v1618 -v1718 -v19 -v119 -v219 -v319 v419 -v519 -v619 -v719 -v819 -v919 -v1019 -v1119 -v1219 -v1319 -v1419 -v1519 -v1619 -v1719 -v20 -v120 -v220 -v320 -v420 -v520 -v620 -v720 -v820 -v920 -v1020 -v1120 v1220 -v1320 -v1420 -v1520 -v1620 -v1720 -v21 -v121 -v221 -v321 -v421 -v521 -v621 -v721 -v821 -v921 -v1021 v1121 -v1221 -v1321 -v1421 -v1521 -v1621 -v1721 -v22 -v122 -v222 -v322 -v422 -v522 -v622 v722 -v822 -v922 -v1022 -v1122 -v1222 -v1322 -v1422 -v1522 -v1622 -v1722 -v24 -v124 -v224 -v324 -v424 v524 -v624 -v724 -v824 -v924 -v1024 -v1124 -v1224 -v1324 -v1424 -v1524 -v1624 -v1724 -v25 v125 -v225 -v325 -v425 -v525 -v625 -v725 -v825 -v925 -v1025 -v1125 -v1225 -v1325 -v1425 -v1525 -v1625 -v1725 -v26 -v126 v226 -v326 -v426 -v526 -v626 -v726 -v826 -v926 -v1026 -v1126 -v1226 -v1326 -v1426 -v1526 -v1626 -v1726 -v27 -v127 -v227 -v327 -v427 -v527 -v627 -v727 -v827 v927 -v1027 -v1127 -v1227 -v1327 -v1427 -v1527 -v1627 -v1727 -v28 -v128 -v228 -v328 -v428 -v528 -v628 -v728 -v828 -v928 -v1028 -v1128 -v1228 -v1328 v1428 -v1528 -v1628 -v1728 -v29 -v129 -v229 -v329 -v429 -v529 -v629 -v729 -v829 -v929 v1029 -v1129 -v1229 -v1329 -v1429 -v1529 -v1629 -v1729 -v30 -v130 -v230 -v330 -v430 -v530 -v630 -v730 -v830 -v930 -v1030 -v1130 -v1230 -v1330 -v1430 v1530 -v1630 -v1730 -v31 -v131 -v231 -v331 -v431 -v531 -v631 v731 -v831 -v931 -v1031 -v1131 -v1231 -v1331 -v1431 -v1531 -v1631 -v1731 -v32 -v132 -v232 -v332 -v432 -v532 -v632 -v732 -v832 -v932 -v1032 v1132 -v1232 -v1332 -v1432 -v1532 -v1632 -v1732 -v33 -v133 -v233 -v333 -v433 -v533 -v633 -v733 -v833 -v933 -v1033 -v1133 v1233 -v1333 -v1433 -v1533 -v1633 -v1733 -v35 -v135 -v235 -v335 -v435 -v535 -v635 -v735 v835 -v935 -v1035 -v1135 -v1235 -v1335 -v1435 -v1535 -v1635 -v1735 -v36 -v136 -v236 v336 -v436 -v536 -v636 -v736 -v836 -v936 -v1036 -v1136 -v1236 -v1336 -v1436 -v1536 -v1636 -v1736 -v37 -v137 -v237 -v337 -v437 -v537 -v637 -v737 -v837 -v937 -v1037 -v1137 -v1237 -v1337 -v1437 v1537 -v1637 -v1737 -v38 -v138 -v238 -v338 v438 -v538 -v638 -v738 -v838 -v938 -v1038 -v1138 -v1238 -v1338 -v1438 -v1538 -v1638 -v1738 -v39 -v139 -v239 -v339 -v439 -v539 -v639 -v739 -v839 -v939 -v1039 -v1139 -v1239 -v1339 v1439 -v1539 -v1639 -v1739 -v40 -v140 -v240 -v340 -v440 -v540 -v640 -v740 -v840 v940 -v1040 -v1140 -v1240 -v1340 -v1440 -v1540 -v1640 -v1740 -v41 -v141 -v241 -v341 v441 -v541 -v641 -v741 -v841 -v941 -v1041 -v1141 -v1241 -v1341 -v1441 -v1541 -v1641 -v1741 -v42 -v142 v242 -v342 -v442 -v542 -v642 -v742 -v842 -v942 -v1042 -v1142 -v1242 -v1342 -v1442 -v1542 -v1642 -v1742 -v43 -v143 -v243 v343 -v443 -v543 -v643 -v743 -v843 -v943 -v1043 -v1143 -v1243 -v1343 -v1443 -v1543 -v1643 -v1743 -v44 -v144 -v244 -v344 -v444 -v544 -v644 -v744 -v844 -v944 v1044 -v1144 -v1244 -v1344 -v1444 -v1544 -v1644 -v1744 -v46 -v146 -v246 -v346 -v446 -v546 -v646 -v746 -v846 -v946 -v1046 -v1146 -v1246 -v1346 -v1446 -v1546 v1646 -v1746 -v47 -v147 -v247 -v347 -v447 -v547 -v647 v747 -v847 -v947 -v1047 -v1147 -v1247 -v1347 -v1447 -v1547 -v1647 -v1747 -v48 -v148 -v248 -v348 -v448 -v548 v648 -v748 -v848 -v948 -v1048 -v1148 -v1248 -v1348 -v1448 -v1548 -v1648 -v1748 -v49 -v149 -v249 -v349 -v449 -v549 -v649 -v749 -v849 -v949 -v1049 -v1149 -v1249 -v1349 -v1449 v1549 -v1649 -v1749 -v50 -v150 -v250 -v350 -v450 -v550 -v650 -v750 -v850 -v950 -v1050 v1150 -v1250 -v1350 -v1450 -v1550 -v1650 -v1750 -v51 -v151 -v251 -v351 -v451 -v551 -v651 -v751 -v851 -v951 -v1051 -v1151 -v1251 -v1351 v1451 -v1551 -v1651 -v1751 -v52 -v152 -v252 -v352 -v452 -v552 -v652 -v752 -v852 -v952 v1052 -v1152 -v1252 -v1352 -v1452 -v1552 -v1652 -v1752 -v53 -v153 -v253 -v353 v453 -v553 -v653 -v753 -v853 -v953 -v1053 -v1153 -v1253 -v1353 -v1453 -v1553 -v1653 -v1753 -v54 -v154 -v254 -v354 -v454 -v554 -v654 -v754 -v854 -v954 -v1054 -v1154 -v1254 -v1354 -v1454 -v1554 -v1654 v1754 -v55 -v155 -v255 -v355 -v455 -v555 -v655 -v755 -v855 -v955 -v1055 -v1155 -v1255 v1355 -v1455 -v1555 -v1655 -v1755 v57 -v157 -v257 -v357 -v457 -v557 -v657 -v757 -v857 -v957 -v1057 -v1157 -v1257 -v1357 -v1457 -v1557 -v1657 -v1757 -v58 -v158 -v258 -v358 -v458 -v558 -v658 -v758 -v858 -v958 -v1058 -v1158 -v1258 -v1358 -v1458 v1558 -v1658 -v1758 -v59 -v159 -v259 -v359 -v459 -v559 -v659 -v759 v859 -v959 -v1059 -v1159 -v1259 -v1359 -v1459 -v1559 -v1659 -v1759 -v60 -v160 -v260 -v360 -v460 -v560 -v660 v760 -v860 -v960 -v1060 -v1160 -v1260 -v1360 -v1460 -v1560 -v1660 -v1760 -v61 -v161 -v261 -v361 -v461 -v561 -v661 -v761 -v861 -v961 v1061 -v1161 -v1261 -v1361 -v1461 -v1561 -v1661 -v1761 -v62 -v162 -v262 -v362 -v462 -v562 -v662 -v762 -v862 -v962 -v1062 -v1162 -v1262 -v1362 v1462 -v1562 -v1662 -v1762 -v63 -v163 -v263 -v363 -v463 -v563 -v663 -v763 -v863 -v963 -v1063 -v1163 -v1263 v1363 -v1463 -v1563 -v1663 -v1763 -v64 -v164 -v264 -v364 -v464 -v564 v664 -v764 -v864 -v964 -v1064 -v1164 -v1264 -v1364 -v1464 -v1564 -v1664 -v1764 -v65 -v165 -v265 -v365 -v465 -v565 -v665 -v765 -v865 -v965 -v1065 -v1165 v1265 -v1365 -v1465 -v1565 -v1665 -v1765 -v66 -v166 -v266 -v366 -v466 v566 -v666 -v766 -v866 -v966 -v1066 -v1166 -v1266 -v1366 -v1466 -v1566 -v1666 -v1766 -v68 -v168 -v268 -v368 -v468 -v568 -v668 -v768 -v868 -v968 -v1068 -v1168 -v1268 -v1368 -v1468 -v1568 -v1668 v1768 -v69 v169 -v269 -v369 -v469 -v569 -v669 -v769 -v869 -v969 -v1069 -v1169 -v1269 -v1369 -v1469 -v1569 -v1669 -v1769 -v70 -v170 -v270 -v370 v470 -v570 -v670 -v770 -v870 -v970 -v1070 -v1170 -v1270 -v1370 -v1470 -v1570 -v1670 -v1770 -v71 -v171 -v271 -v371 -v471 -v571 -v671 -v771 -v871 -v971 -v1071 -v1171 -v1271 -v1371 -v1471 -v1571 v1671 -v1771 -v72 -v172 -v272 -v372 -v472 v572 -v672 -v772 -v872 -v972 -v1072 -v1172 -v1272 -v1372 -v1472 -v1572 -v1672 -v1772 -v73 -v173 -v273 -v373 -v473 -v573 -v673 -v773 v873 -v973 -v1073 -v1173 -v1273 -v1373 -v1473 -v1573 -v1673 -v1773 -v74 v174 -v274 -v374 -v474 -v574 -v674 -v774 -v874 -v974 -v1074 -v1174 -v1274 -v1374 -v1474 -v1574 -v1674 -v1774 v75 -v175 -v275 -v375 -v475 -v575 -v675 -v775 -v875 -v975 -v1075 -v1175 -v1275 -v1375 -v1475 -v1575 -v1675 -v1775 -v76 -v176 -v276 -v376 -v476 -v576 -v676 -v776 -v876 -v976 -v1076 -v1176 v1276 -v1376 -v1476 -v1576 -v1676 -v1776 -v77 -v177 -v277 -v377 -v477 -v577 -v677 -v777 -v877 -v977 -v1077 v1177 -v1277 -v1377 -v1477 -v1577 -v1677 -v1777 -v79 -v179 -v279 -v379 -v479 -v579 -v679 -v779 -v879 v979 -v1079 -v1179 -v1279 -v1379 -v1479 -v1579 -v1679 -v1779 -v80 -v180 -v280 -v380 -v480 -v580 -v680 -v780 -v880 -v980 -v1080 -v1180 -v1280 v1380 -v1480 -v1580 -v1680 -v1780 v81 -v181 -v281 -v381 -v481 -v581 -v681 -v781 -v881 -v981 -v1081 -v1181 -v1281 -v1381 -v1481 -v1581 -v1681 -v1781 -v82 -v182 -v282 -v382 -v482 -v582 -v682 -v782 -v882 -v982 -v1082 -v1182 -v1282 v1382 -v1482 -v1582 -v1682 -v1782 -v83 -v183 -v283 -v383 -v483 -v583 -v683 -v783 -v883 -v983 -v1083 -v1183 -v1283 -v1383 -v1483 -v1583 -v1683 v1783 -v84 -v184 v284 -v384 -v484 -v584 -v684 -v784 -v884 -v984 -v1084 -v1184 -v1284 -v1384 -v1484 -v1584 -v1684 -v1784 -v85 -v185 -v285 -v385 -v485 v585 -v685 -v785 -v885 -v985 -v1085 -v1185 -v1285 -v1385 -v1485 -v1585 -v1685 -v1785 -v86 -v186 -v286 -v386 -v486 -v586 -v686 -v786 -v886 -v986 -v1086 v1186 -v1286 -v1386 -v1486 -v1586 -v1686 -v1786 -v87 -v187 -v287 -v387 -v487 -v587 -v687 -v787 -v887 -v987 -v1087 -v1187 -v1287 -v1387 -v1487 -v1587 v1687 -v1787 -v88 -v188 -v288 -v388 -v488 -v588 -v688 v788 -v888 -v988 -v1088 -v1188 -v1288 -v1388 -v1488 -v1588 -v1688 -v1788 -v90 -v190 -v290 v390 -v490 -v590 -v690 -v790 -v890 -v990 -v1090 -v1190 -v1290 -v1390 -v1490 -v1590 -v1690 -v1790 -v91 -v191 -v291 -v391 -v491 v591 -v691 -v791 -v891 -v991 -v1091 -v1191 -v1291 -v1391 -v1491 -v1591 -v1691 -v1791 -v92 -v192 -v292 -v392 -v492 -v592 -v692 -v792 -v892 -v992 -v1092 -v1192 -v1292 -v1392 -v1492 -v1592 -v1692 v1792 v93 -v193 -v293 -v393 -v493 -v593 -v693 -v793 -v893 -v993 -v1093 -v1193 -v1293 -v1393 -v1493 -v1593 -v1693 -v1793 -v94 -v194 -v294 -v394 -v494 -v594 -v694 -v794 -v894 -v994 -v1094 -v1194 -v1294 -v1394 -v1494 -v1594 v1694 -v1794 -v95 -v195 -v295 -v395 -v495 -v595 -v695 -v795 -v895 -v995 -v1095 -v1195 -v1295 -v1395 v1495 -v1595 -v1695 -v1795 -v96 v196 -v296 -v396 -v496 -v596 -v696 -v796 -v896 -v996 -v1096 -v1196 -v1296 -v1396 -v1496 -v1596 -v1696 -v1796 -v97 -v197 v297 -v397 -v497 -v597 -v697 -v797 -v897 -v997 -v1097 -v1197 -v1297 -v1397 -v1497 -v1597 -v1697 -v1797 -v98 -v198 -v298 -v398 -v498 -v598 -v698 -v798 -v898 -v998 v1098 -v1198 -v1298 -v1398 -v1498 -v1598 -v1698 -v1798 -v99 -v199 -v299 -v399 -v499 -v599 v699 -v799 -v899 -v999 -v1099 -v1199 -v1299 -v1399 -v1499 -v1599 -v1699 -v1799 -v12 -v112 v212 -v312 -v412 v512 -v612 v712 -v812 -v912 v1012 v1112 -v1212 v1312 v1412 v1512 -v1612 v1712 v23 -v123 -v223 v323 v423 -v523 v623 -v723 v823 -v923 -v1023 -v1123 v1223 v1323 -v1423 -v1523 v1623 v1723 v34 v134 v234 -v334 -v434 v534 v634 -v734 -v834 -v934 v1034 -v1134 -v1234 v1334 -v1434 -v1534 v1634 v1734 v45 v145 -v245 -v345 -v445 v545 -v645 -v745 v845 v945 -v1045 -v1145 v1245 v1345 v1445 -v1545 -v1645 v1745 -v56 v156 v256 v356 -v456 v556 v656 -v756 -v856 v956 -v1056 v1156 v1256 -v1356 -v1456 -v1556 v1656 -v1756 v67 -v167 v267 v367 -v467 -v567 -v667 v767 v867 v967 -v1067 v1167 -v1267 -v1367 -v1467 v1567 v1667 -v1767 -v78 -v178 v278 v378 v478 -v578 v678 v778 -v878 -v978 v1078 -v1178 -v1278 -v1378 v1478 v1578 -v1678 v1778 -v89 v189 -v289 -v389 v489 -v589 v689 -v789 v889 v989 v1089 -v1189 v1289 -v1389 v1489 v1589 -v1689 -v1789 -v100 -v200 -v300 v400 v500 -v600 -v700 v800 v900 v1000 -v1100 v1200 v1300 v1400 -v1500 v1600 -v1700 -v1800 v1 v101 -v201 -v301 v401 v501 -v601 v701 -v801 -v901 v1001 v1101 -v1201 -v1301 v1401 -v1501 v1601 -v1701 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.96 2/54 7844
Raw data (stat): 7844 (runsolver) R 7843 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849196481 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.93 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 4046 0 0 0 986 12 0 0 25 0 1 0 849196481 22302720 4020 4294967295 134512640 134581267 3221224592 3221223564 134554608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5445 4020 566 18 0 5427 0
vsize: 21780
[startup+20.002 s]
Raw data (loadavg): 0.94 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 4278 0 0 0 1982 16 0 0 25 0 1 0 849196481 23240704 4252 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 4252 566 18 0 5656 0
vsize: 22696
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 5240 0 0 0 2976 21 0 0 25 0 1 0 849196481 27181056 5214 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6636 5214 566 18 0 6618 0
vsize: 26544
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 6124 0 0 0 3973 24 0 0 25 0 1 0 849196481 30945280 6098 4294967295 134512640 134581267 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7555 6098 566 18 0 7537 0
vsize: 30220
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 6963 0 0 0 4971 27 0 0 25 0 1 0 849196481 34349056 6937 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8386 6937 566 18 0 8368 0
vsize: 33544
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 7836 0 0 0 5968 29 0 0 25 0 1 0 849196481 37855232 7810 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9242 7810 566 18 0 9224 0
vsize: 36968
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 8694 0 0 0 6965 33 0 0 25 0 1 0 849196481 41418752 8668 4294967295 134512640 134581267 3221224592 3221223488 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10112 8668 566 18 0 10094 0
vsize: 40448
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 9440 0 0 0 7962 37 0 0 25 0 1 0 849196481 44478464 9414 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10859 9414 566 18 0 10841 0
vsize: 43436
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 10117 0 0 0 8957 41 0 0 25 0 1 0 849196481 47218688 10091 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11528 10091 566 18 0 11510 0
vsize: 46112
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 10747 0 0 0 9952 46 0 0 25 0 1 0 849196481 49836032 10721 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12167 10721 566 18 0 12149 0
vsize: 48668
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 11530 0 0 0 10949 50 0 0 25 0 1 0 849196481 52977664 11504 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12934 11504 566 18 0 12916 0
vsize: 51736
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 12211 0 0 0 11946 53 0 0 25 0 1 0 849196481 55971840 12185 4294967295 134512640 134581267 3221224592 3221223368 1075291826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13665 12186 566 18 0 13647 0
vsize: 54660
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 13003 0 0 0 12944 55 0 0 25 0 1 0 849196481 59092992 12977 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14427 12977 566 18 0 14409 0
vsize: 57708
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 13752 0 0 0 13941 58 0 0 25 0 1 0 849196481 62201856 13726 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15186 13726 566 18 0 15168 0
vsize: 60744
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 14519 0 0 0 14937 62 0 0 25 0 1 0 849196481 65327104 14493 4294967295 134512640 134581267 3221224592 3221223244 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15949 14493 566 18 0 15931 0
vsize: 63796
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 15205 0 0 0 15934 66 0 0 25 0 1 0 849196481 68161536 15179 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16641 15179 566 18 0 16623 0
vsize: 66564
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 16046 0 0 0 16930 70 0 0 25 0 1 0 849196481 71524352 16020 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17462 16020 566 18 0 17444 0
vsize: 69848
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 16764 0 0 0 17928 72 0 0 25 0 1 0 849196481 74575872 16738 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18207 16738 566 18 0 18189 0
vsize: 72828
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17425 0 0 0 18926 74 0 0 25 0 1 0 849196481 77176832 17399 4294967295 134512640 134581267 3221224592 3221223536 134558889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18842 17399 566 18 0 18824 0
vsize: 75368
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17971 0 0 0 19922 78 0 0 25 0 1 0 849196481 79405056 17945 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17945 566 18 0 19368 0
vsize: 77544
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17971 0 0 0 20921 80 0 0 25 0 1 0 849196481 79405056 17945 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17945 566 18 0 19368 0
vsize: 77544
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17971 0 0 0 21920 81 0 0 25 0 1 0 849196481 79405056 17945 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17945 566 18 0 19368 0
vsize: 77544
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17971 0 0 0 22918 84 0 0 25 0 1 0 849196481 79405056 17945 4294967295 134512640 134581267 3221224592 3221223584 134560606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17945 566 18 0 19368 0
vsize: 77544
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17971 0 0 0 23917 85 0 0 25 0 1 0 849196481 79405056 17945 4294967295 134512640 134581267 3221224592 3221223536 134558756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17945 566 18 0 19368 0
vsize: 77544
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17971 0 0 0 24916 86 0 0 25 0 1 0 849196481 79405056 17945 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17945 566 18 0 19368 0
vsize: 77544
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17971 0 0 0 25916 86 0 0 25 0 1 0 849196481 79405056 17945 4294967295 134512640 134581267 3221224592 3221223536 134558875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17945 566 18 0 19368 0
vsize: 77544
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17971 0 0 0 26915 87 0 0 25 0 1 0 849196481 79405056 17945 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17945 566 18 0 19368 0
vsize: 77544
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17971 0 0 0 27915 88 0 0 25 0 1 0 849196481 79405056 17945 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17945 566 18 0 19368 0
vsize: 77544
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17973 0 0 0 28915 88 0 0 25 0 1 0 849196481 79405056 17947 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17947 566 18 0 19368 0
vsize: 77544
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17974 0 0 0 29914 89 0 0 25 0 1 0 849196481 79405056 17948 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17948 566 18 0 19368 0
vsize: 77544
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17975 0 0 0 30914 89 0 0 25 0 1 0 849196481 79405056 17949 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17949 566 18 0 19368 0
vsize: 77544
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17975 0 0 0 31913 90 0 0 25 0 1 0 849196481 79405056 17949 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17949 566 18 0 19368 0
vsize: 77544
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17975 0 0 0 32910 93 0 0 25 0 1 0 849196481 79405056 17949 4294967295 134512640 134581267 3221224592 3221223584 134561090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17949 566 18 0 19368 0
vsize: 77544
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17975 0 0 0 33909 94 0 0 25 0 1 0 849196481 79405056 17949 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17949 566 18 0 19368 0
vsize: 77544
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17975 0 0 0 34907 97 0 0 25 0 1 0 849196481 79405056 17949 4294967295 134512640 134581267 3221224592 3221223584 134561090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17949 566 18 0 19368 0
vsize: 77544
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17975 0 0 0 35905 98 0 0 25 0 1 0 849196481 79405056 17949 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17949 566 18 0 19368 0
vsize: 77544
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17975 0 0 0 36904 100 0 0 25 0 1 0 849196481 79405056 17949 4294967295 134512640 134581267 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17949 566 18 0 19368 0
vsize: 77544
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17975 0 0 0 37904 100 0 0 25 0 1 0 849196481 79405056 17949 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17949 566 18 0 19368 0
vsize: 77544
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17975 0 0 0 38902 102 0 0 25 0 1 0 849196481 79405056 17949 4294967295 134512640 134581267 3221224592 3221223412 1075289770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17949 566 18 0 19368 0
vsize: 77544
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17975 0 0 0 39902 102 0 0 25 0 1 0 849196481 79405056 17949 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17949 566 18 0 19368 0
vsize: 77544
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17977 0 0 0 40902 103 0 0 25 0 1 0 849196481 79405056 17951 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17951 566 18 0 19368 0
vsize: 77544
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17979 0 0 0 41901 103 0 0 25 0 1 0 849196481 79405056 17953 4294967295 134512640 134581267 3221224592 3221223488 134517815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17953 566 18 0 19368 0
vsize: 77544
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17980 0 0 0 42901 104 0 0 25 0 1 0 849196481 79405056 17954 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17954 566 18 0 19368 0
vsize: 77544
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17982 0 0 0 43898 107 0 0 25 0 1 0 849196481 79405056 17956 4294967295 134512640 134581267 3221224592 3221223560 134519894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17956 566 18 0 19368 0
vsize: 77544
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17984 0 0 0 44897 108 0 0 25 0 1 0 849196481 79405056 17958 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17958 566 18 0 19368 0
vsize: 77544
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17985 0 0 0 45897 108 0 0 25 0 1 0 849196481 79405056 17959 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19386 17959 566 18 0 19368 0
vsize: 77544
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17987 0 0 0 46897 109 0 0 25 0 1 0 849196481 79667200 17961 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19450 17961 566 18 0 19432 0
vsize: 77800
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17988 0 0 0 47896 110 0 0 25 0 1 0 849196481 79667200 17962 4294967295 134512640 134581267 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19450 17962 566 18 0 19432 0
vsize: 77800
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17988 0 0 0 48894 112 0 0 25 0 1 0 849196481 79667200 17962 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19450 17962 566 18 0 19432 0
vsize: 77800
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17988 0 0 0 49893 114 0 0 25 0 1 0 849196481 79667200 17962 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19450 17962 566 18 0 19432 0
vsize: 77800
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17988 0 0 0 50892 114 0 0 25 0 1 0 849196481 79667200 17962 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19450 17962 566 18 0 19432 0
vsize: 77800
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 7844
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17988 0 0 0 51892 115 0 0 25 0 1 0 849196481 79667200 17962 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19450 17962 566 18 0 19432 0
vsize: 77800
[startup+530.271 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 7848
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17988 0 0 0 52917 116 0 0 25 0 1 0 849196481 79667200 17962 4294967295 134512640 134581267 3221224592 3221223536 134559568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19450 17962 566 18 0 19432 0
vsize: 77800
[startup+540.565 s]
Raw data (loadavg): 1.15 1.00 0.97 3/58 7889
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17988 0 0 0 53939 123 0 0 25 0 1 0 849196481 79667200 17962 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19450 17962 566 18 0 19432 0
vsize: 77800
[startup+550.565 s]
Raw data (loadavg): 1.20 1.02 0.98 2/54 7897
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17988 0 0 0 54939 123 0 0 25 0 1 0 849196481 79667200 17962 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19450 17962 566 18 0 19432 0
vsize: 77800
[startup+560.566 s]
Raw data (loadavg): 1.17 1.02 0.98 2/54 7897
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17988 0 0 0 55938 124 0 0 25 0 1 0 849196481 79667200 17962 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19450 17962 566 18 0 19432 0
vsize: 77800
[startup+570.566 s]
Raw data (loadavg): 1.14 1.02 0.98 2/54 7897
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17988 0 0 0 56939 124 0 0 25 0 1 0 849196481 79667200 17962 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19450 17962 566 18 0 19432 0
vsize: 77800
[startup+580.565 s]
Raw data (loadavg): 1.12 1.02 0.98 2/54 7897
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 17988 0 0 0 57938 124 0 0 25 0 1 0 849196481 79667200 17962 4294967295 134512640 134581267 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19450 17962 566 18 0 19432 0
vsize: 77800
[startup+590.567 s]
Raw data (loadavg): 1.10 1.02 0.98 2/54 7897
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 18267 0 0 0 58938 125 0 0 25 0 1 0 849196481 80908288 18241 4294967295 134512640 134581267 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19753 18241 566 18 0 19735 0
vsize: 79012
[startup+600.567 s]
Raw data (loadavg): 1.08 1.01 0.98 2/54 7897
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 18948 0 0 0 59937 126 0 0 25 0 1 0 849196481 83681280 18922 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20430 18922 566 18 0 20412 0
vsize: 81720
[startup+610.568 s]
Raw data (loadavg): 1.07 1.01 0.98 2/54 7897
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 19529 0 0 0 60935 128 0 0 25 0 1 0 849196481 86056960 19503 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21010 19503 566 18 0 20992 0
vsize: 84040
[startup+620.569 s]
Raw data (loadavg): 1.06 1.01 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 20112 0 0 0 61935 128 0 0 25 0 1 0 849196481 88436736 20086 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21591 20086 566 18 0 21573 0
vsize: 86364
[startup+630.57 s]
Raw data (loadavg): 1.05 1.01 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 20590 0 0 0 62934 130 0 0 25 0 1 0 849196481 90427392 20564 4294967295 134512640 134581267 3221224592 3221223520 134519853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22077 20564 566 18 0 22059 0
vsize: 88308
[startup+640.571 s]
Raw data (loadavg): 1.04 1.01 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 21136 0 0 0 63932 131 0 0 25 0 1 0 849196481 92663808 21110 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22623 21110 566 18 0 22605 0
vsize: 90492
[startup+650.571 s]
Raw data (loadavg): 1.04 1.01 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 21719 0 0 0 64931 133 0 0 25 0 1 0 849196481 95035392 21693 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23202 21693 566 18 0 23184 0
vsize: 92808
[startup+660.572 s]
Raw data (loadavg): 1.03 1.01 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 22319 0 0 0 65929 135 0 0 25 0 1 0 849196481 97415168 22293 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22293 566 18 0 23765 0
vsize: 95132
[startup+670.573 s]
Raw data (loadavg): 1.02 1.01 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 22929 0 0 0 66928 137 0 0 25 0 1 0 849196481 99901440 22903 4294967295 134512640 134581267 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24390 22903 566 18 0 24372 0
vsize: 97560
[startup+680.573 s]
Raw data (loadavg): 1.02 1.01 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 23585 0 0 0 67926 138 0 0 25 0 1 0 849196481 102682624 23559 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25069 23559 566 18 0 25051 0
vsize: 100276
[startup+690.574 s]
Raw data (loadavg): 1.02 1.01 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 24173 0 0 0 68925 140 0 0 25 0 1 0 849196481 105054208 24147 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25648 24147 566 18 0 25630 0
vsize: 102592
[startup+700.575 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 24765 0 0 0 69923 142 0 0 25 0 1 0 849196481 107507712 24739 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26247 24739 566 18 0 26229 0
vsize: 104988
[startup+710.576 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 25369 0 0 0 70922 144 0 0 25 0 1 0 849196481 109920256 25343 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26836 25343 566 18 0 26818 0
vsize: 107344
[startup+720.577 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 25893 0 0 0 71920 146 0 0 25 0 1 0 849196481 112033792 25867 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27352 25867 566 18 0 27334 0
vsize: 109408
[startup+730.577 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 26372 0 0 0 72918 148 0 0 25 0 1 0 849196481 114069504 26346 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27849 26346 566 18 0 27831 0
vsize: 111396
[startup+740.577 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 26895 0 0 0 73917 149 0 0 25 0 1 0 849196481 116187136 26869 4294967295 134512640 134581267 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28366 26869 566 18 0 28348 0
vsize: 113464
[startup+750.577 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 27407 0 0 0 74916 151 0 0 25 0 1 0 849196481 118337536 27381 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28891 27381 566 18 0 28873 0
vsize: 115564
[startup+760.578 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 27918 0 0 0 75914 152 0 0 25 0 1 0 849196481 120324096 27892 4294967295 134512640 134581267 3221224592 3221223520 134519875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29376 27892 566 18 0 29358 0
vsize: 117504
[startup+770.579 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 28563 0 0 0 76913 153 0 0 25 0 1 0 849196481 122978304 28537 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30024 28537 566 18 0 30006 0
vsize: 120096
[startup+780.579 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 29051 0 0 0 77912 155 0 0 25 0 1 0 849196481 125071360 29025 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30535 29025 566 18 0 30517 0
vsize: 122140
[startup+790.58 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 29600 0 0 0 78911 156 0 0 25 0 1 0 849196481 127266816 29574 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31071 29574 566 18 0 31053 0
vsize: 124284
[startup+800.581 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 30170 0 0 0 79908 159 0 0 25 0 1 0 849196481 129634304 30144 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31649 30144 566 18 0 31631 0
vsize: 126596
[startup+810.581 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 30829 0 0 0 80907 161 0 0 25 0 1 0 849196481 132272128 30803 4294967295 134512640 134581267 3221224592 3221223576 134561049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32293 30803 566 18 0 32275 0
vsize: 129172
[startup+820.582 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 31343 0 0 0 81905 163 0 0 25 0 1 0 849196481 134402048 31317 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32813 31317 566 18 0 32795 0
vsize: 131252
[startup+830.583 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 31827 0 0 0 82904 164 0 0 25 0 1 0 849196481 136388608 31801 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33298 31801 566 18 0 33280 0
vsize: 133192
[startup+840.583 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7899
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 32267 0 0 0 83903 166 0 0 25 0 1 0 849196481 138149888 32241 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33728 32241 566 18 0 33710 0
vsize: 134912
[startup+850.583 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 32758 0 0 0 84901 167 0 0 25 0 1 0 849196481 140165120 32732 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34220 32732 566 18 0 34202 0
vsize: 136880
[startup+860.584 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 33333 0 0 0 85900 169 0 0 25 0 1 0 849196481 142548992 33307 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34802 33307 566 18 0 34784 0
vsize: 139208
[startup+870.585 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 33831 0 0 0 86899 170 0 0 25 0 1 0 849196481 144580608 33805 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35298 33805 566 18 0 35280 0
vsize: 141192
[startup+880.585 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 34257 0 0 0 87898 171 0 0 25 0 1 0 849196481 146329600 34231 4294967295 134512640 134581267 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35725 34231 566 18 0 35707 0
vsize: 142900
[startup+890.586 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 34594 0 0 0 88897 172 0 0 25 0 1 0 849196481 147722240 34568 4294967295 134512640 134581267 3221224592 3221223520 134520049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36065 34568 566 18 0 36047 0
vsize: 144260
[startup+900.586 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 35073 0 0 0 89896 173 0 0 25 0 1 0 849196481 149749760 35047 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36560 35047 566 18 0 36542 0
vsize: 146240
[startup+910.588 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 35468 0 0 0 90896 174 0 0 25 0 1 0 849196481 151379968 35442 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36958 35442 566 18 0 36940 0
vsize: 147832
[startup+920.588 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 35805 0 0 0 91895 175 0 0 25 0 1 0 849196481 152756224 35779 4294967295 134512640 134581267 3221224592 3221223472 134520244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37294 35780 566 18 0 37276 0
vsize: 149176
[startup+930.588 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 36226 0 0 0 92894 177 0 0 25 0 1 0 849196481 154492928 36200 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37718 36200 566 18 0 37700 0
vsize: 150872
[startup+940.589 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 36653 0 0 0 93892 178 0 0 25 0 1 0 849196481 156233728 36627 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38143 36627 566 18 0 38125 0
vsize: 152572
[startup+950.589 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 36991 0 0 0 94892 179 0 0 25 0 1 0 849196481 157605888 36965 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38478 36965 566 18 0 38460 0
vsize: 153912
[startup+960.589 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 37434 0 0 0 95890 181 0 0 25 0 1 0 849196481 159358976 37408 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38906 37408 566 18 0 38888 0
vsize: 155624
[startup+970.59 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 37892 0 0 0 96889 182 0 0 25 0 1 0 849196481 161255424 37866 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39369 37866 566 18 0 39351 0
vsize: 157476
[startup+980.59 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 38368 0 0 0 97888 184 0 0 25 0 1 0 849196481 163225600 38342 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39850 38342 566 18 0 39832 0
vsize: 159400
[startup+990.591 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 38796 0 0 0 98887 185 0 0 25 0 1 0 849196481 164966400 38770 4294967295 134512640 134581267 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40275 38770 566 18 0 40257 0
vsize: 161100
[startup+1000.59 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 39249 0 0 0 99886 186 0 0 25 0 1 0 849196481 166850560 39223 4294967295 134512640 134581267 3221224592 3221223520 134520030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40735 39223 566 18 0 40717 0
vsize: 162940
[startup+1010.59 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 39810 0 0 0 100885 187 0 0 25 0 1 0 849196481 169177088 39784 4294967295 134512640 134581267 3221224592 3221223536 134558899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41303 39784 566 18 0 41285 0
vsize: 165212
[startup+1020.59 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 40392 0 0 0 101883 189 0 0 25 0 1 0 849196481 171597824 40366 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41894 40366 566 18 0 41876 0
vsize: 167576
[startup+1030.59 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 40874 0 0 0 102882 191 0 0 25 0 1 0 849196481 173502464 40848 4294967295 134512640 134581267 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42359 40848 566 18 0 42341 0
vsize: 169436
[startup+1040.59 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 41357 0 0 0 103880 192 0 0 25 0 1 0 849196481 175497216 41331 4294967295 134512640 134581267 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42846 41331 566 18 0 42828 0
vsize: 171384
[startup+1050.59 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 41779 0 0 0 104878 194 0 0 25 0 1 0 849196481 177299456 41753 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43286 41753 566 18 0 43268 0
vsize: 173144
[startup+1060.59 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 42252 0 0 0 105877 196 0 0 25 0 1 0 849196481 179253248 42226 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43763 42226 566 18 0 43745 0
vsize: 175052
[startup+1070.59 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 42581 0 0 0 106876 197 0 0 25 0 1 0 849196481 180531200 42555 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44075 42555 566 18 0 44057 0
vsize: 176300
[startup+1080.59 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 42973 0 0 0 107875 198 0 0 25 0 1 0 849196481 182190080 42947 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44480 42947 566 18 0 44462 0
vsize: 177920
[startup+1090.6 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 43388 0 0 0 108875 199 0 0 25 0 1 0 849196481 183934976 43362 4294967295 134512640 134581267 3221224592 3221223340 1075285250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44906 43362 566 18 0 44888 0
vsize: 179624
[startup+1100.6 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 43753 0 0 0 109873 201 0 0 25 0 1 0 849196481 185430016 43727 4294967295 134512640 134581267 3221224592 3221223460 1075285570 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45271 43727 566 18 0 45253 0
vsize: 181084
[startup+1110.6 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 44145 0 0 0 110872 202 0 0 25 0 1 0 849196481 187035648 44119 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45663 44119 566 18 0 45645 0
vsize: 182652
[startup+1120.6 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 44571 0 0 0 111871 203 0 0 25 0 1 0 849196481 188674048 44545 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46063 44545 566 18 0 46045 0
vsize: 184252
[startup+1130.6 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 44979 0 0 0 112870 204 0 0 25 0 1 0 849196481 190402560 44953 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46485 44953 566 18 0 46467 0
vsize: 185940
[startup+1140.6 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 45394 0 0 0 113869 205 0 0 25 0 1 0 849196481 192151552 45368 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46912 45368 566 18 0 46894 0
vsize: 187648
[startup+1150.6 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 45820 0 0 0 114869 206 0 0 25 0 1 0 849196481 193900544 45794 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47339 45794 566 18 0 47321 0
vsize: 189356
[startup+1160.6 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 46283 0 0 0 115868 207 0 0 25 0 1 0 849196481 195784704 46257 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47799 46257 566 18 0 47781 0
vsize: 191196
[startup+1170.6 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 46750 0 0 0 116866 209 0 0 25 0 1 0 849196481 197701632 46724 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48267 46724 566 18 0 48249 0
vsize: 193068
[startup+1180.6 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 47188 0 0 0 117865 211 0 0 25 0 1 0 849196481 199458816 47162 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48696 47162 566 18 0 48678 0
vsize: 194784
[startup+1188.96 s]
Raw data (loadavg): 1.00 1.00 0.98 1/53 7901
Raw data (stat): 7844 (Pueblo-v2) R 7843 21152 21151 0 -1 0 47188 0 0 0 117865 211 0 0 25 0 1 0 849196481 199458816 47162 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48696 47162 566 18 0 48678 0
vsize: 0

Child status: 10
Real time (s): 1188.96
CPU time (s): 1189.12
CPU user time (s): 1186.91
CPU system time (s): 2.20466
CPU usage (%): 100.014
Max. virtual memory (Kb): 194784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	81744
#### END VERIFIER DATA ####