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-circ10_3.opb
MD5SUM	fc17fbe37098e8642918641dd9a84b04
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	350
Optimality of the best value was proved	NO
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 numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.1
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 38462

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 10:35:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26526 boxname=wulflinc3 idbench=256 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  fc17fbe37098e8642918641dd9a84b04  /oldhome/oroussel/tmp/wulflinc3/normalized-circ10_3.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-circ10_3.opb
IDLAUNCH: 26526
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        722160 kB
Buffers:         33964 kB
Cached:         255896 kB
SwapCached:        228 kB
Active:          63548 kB
Inactive:       228908 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        721908 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6332 kB
Slab:            14164 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 10:55:35 (client local time) WITH STATUS 10 IN 1189.1 SECONDS
stats: 26526 0 1189.1 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/wulflinc3/normalized-circ10_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.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (runsolver) R 8065 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849104298 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 4046 0 0 0 985 13 0 0 25 0 1 0 849104298 22302720 4020 4294967295 134512640 134581267 3221224592 3221223488 134517873 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.0015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 4058 0 0 0 1979 19 0 0 25 0 1 0 849104298 22433792 4032 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5477 4032 566 18 0 5459 0
vsize: 21908
[startup+30.0024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 5094 0 0 0 2974 25 0 0 25 0 1 0 849104298 26611712 5068 4294967295 134512640 134581267 3221224592 3221223504 134527551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6497 5068 566 18 0 6479 0
vsize: 25988
[startup+40.0026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 5813 0 0 0 3962 37 0 0 25 0 1 0 849104298 29638656 5787 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7236 5787 566 18 0 7218 0
vsize: 28944
[startup+50.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 6553 0 0 0 4958 41 0 0 25 0 1 0 849104298 32698368 6527 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7983 6527 566 18 0 7965 0
vsize: 31932
[startup+60.0028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 7465 0 0 0 5955 44 0 0 25 0 1 0 849104298 36352000 7439 4294967295 134512640 134581267 3221224592 3221223472 134520285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8875 7439 566 18 0 8857 0
vsize: 35500
[startup+70.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 8284 0 0 0 6952 47 0 0 25 0 1 0 849104298 39669760 8258 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9685 8258 566 18 0 9667 0
vsize: 38740
[startup+80.0035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 9183 0 0 0 7950 50 0 0 25 0 1 0 849104298 43438080 9157 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10605 9157 566 18 0 10587 0
vsize: 42420
[startup+90.0034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 10079 0 0 0 8946 53 0 0 25 0 1 0 849104298 47050752 10053 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11487 10053 566 18 0 11469 0
vsize: 45948
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 10964 0 0 0 9944 56 0 0 25 0 1 0 849104298 50819072 10938 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12407 10938 566 18 0 12389 0
vsize: 49628
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 11825 0 0 0 10941 60 0 0 25 0 1 0 849104298 54280192 11799 4294967295 134512640 134581267 3221224592 3221223584 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13252 11799 566 18 0 13234 0
vsize: 53008
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 12752 0 0 0 11938 62 0 0 25 0 1 0 849104298 58109952 12726 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14187 12726 566 18 0 14169 0
vsize: 56748
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 13492 0 0 0 12935 65 0 0 25 0 1 0 849104298 61177856 13466 4294967295 134512640 134581267 3221224592 3221223504 134527966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14936 13466 566 18 0 14918 0
vsize: 59744
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 14266 0 0 0 13932 69 0 0 25 0 1 0 849104298 64266240 14240 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15690 14240 566 18 0 15672 0
vsize: 62760
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 15025 0 0 0 14930 71 0 0 25 0 1 0 849104298 67465216 14999 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16471 14999 566 18 0 16453 0
vsize: 65884
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 15752 0 0 0 15927 74 0 0 25 0 1 0 849104298 70406144 15726 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17189 15726 566 18 0 17171 0
vsize: 68756
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 16520 0 0 0 16925 76 0 0 25 0 1 0 849104298 73551872 16494 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17957 16494 566 18 0 17939 0
vsize: 71828
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 17224 0 0 0 17922 79 0 0 25 0 1 0 849104298 76451840 17198 4294967295 134512640 134581267 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18665 17198 566 18 0 18647 0
vsize: 74660
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 17853 0 0 0 18921 81 0 0 25 0 1 0 849104298 78950400 17827 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19275 17827 566 18 0 19257 0
vsize: 77100
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 18486 0 0 0 19919 83 0 0 25 0 1 0 849104298 81616896 18460 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19926 18460 566 18 0 19908 0
vsize: 79704
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 18835 0 0 0 20918 84 0 0 25 0 1 0 849104298 82972672 18809 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20257 18809 566 18 0 20239 0
vsize: 81028
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 18835 0 0 0 21918 84 0 0 25 0 1 0 849104298 82972672 18809 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20257 18809 566 18 0 20239 0
vsize: 81028
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 18835 0 0 0 22918 85 0 0 25 0 1 0 849104298 82972672 18809 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20257 18809 566 18 0 20239 0
vsize: 81028
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 18835 0 0 0 23917 85 0 0 25 0 1 0 849104298 82972672 18809 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20257 18809 566 18 0 20239 0
vsize: 81028
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 18835 0 0 0 24917 85 0 0 25 0 1 0 849104298 82972672 18809 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20257 18809 566 18 0 20239 0
vsize: 81028
[startup+260.008 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 18835 0 0 0 25917 86 0 0 25 0 1 0 849104298 82972672 18809 4294967295 134512640 134581267 3221224592 3221223584 134561024 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20257 18809 566 18 0 20239 0
vsize: 81028
[startup+270.007 s]
Raw data (loadavg): 1.14 1.00 0.96 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 18835 0 0 0 26916 87 0 0 25 0 1 0 849104298 82972672 18809 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20257 18809 566 18 0 20239 0
vsize: 81028
[startup+280.009 s]
Raw data (loadavg): 1.11 1.00 0.96 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 18835 0 0 0 27915 88 0 0 25 0 1 0 849104298 82972672 18809 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20257 18809 566 18 0 20239 0
vsize: 81028
[startup+290.009 s]
Raw data (loadavg): 1.10 1.00 0.96 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 18835 0 0 0 28915 88 0 0 25 0 1 0 849104298 82972672 18809 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20257 18809 566 18 0 20239 0
vsize: 81028
[startup+300.009 s]
Raw data (loadavg): 1.08 1.00 0.96 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 18835 0 0 0 29914 89 0 0 25 0 1 0 849104298 82972672 18809 4294967295 134512640 134581267 3221224592 3221223504 134527492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20257 18809 566 18 0 20239 0
vsize: 81028
[startup+310.01 s]
Raw data (loadavg): 1.07 1.00 0.96 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 18835 0 0 0 30914 90 0 0 25 0 1 0 849104298 82972672 18809 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20257 18809 566 18 0 20239 0
vsize: 81028
[startup+320.01 s]
Raw data (loadavg): 1.14 1.02 0.96 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 18835 0 0 0 31914 91 0 0 25 0 1 0 849104298 82972672 18809 4294967295 134512640 134581267 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20257 18809 566 18 0 20239 0
vsize: 81028
[startup+330.01 s]
Raw data (loadavg): 1.19 1.03 0.97 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 18835 0 0 0 32913 91 0 0 25 0 1 0 849104298 82972672 18809 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20257 18809 566 18 0 20239 0
vsize: 81028
[startup+340.011 s]
Raw data (loadavg): 1.16 1.03 0.97 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 19099 0 0 0 33913 92 0 0 25 0 1 0 849104298 84111360 19073 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20535 19073 566 18 0 20517 0
vsize: 82140
[startup+350.01 s]
Raw data (loadavg): 1.13 1.03 0.97 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 19761 0 0 0 34911 94 0 0 25 0 1 0 849104298 86777856 19735 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21186 19735 566 18 0 21168 0
vsize: 84744
[startup+360.011 s]
Raw data (loadavg): 1.11 1.03 0.97 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 20386 0 0 0 35910 95 0 0 25 0 1 0 849104298 89333760 20360 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21810 20360 566 18 0 21792 0
vsize: 87240
[startup+370.011 s]
Raw data (loadavg): 1.10 1.03 0.97 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 21011 0 0 0 36907 98 0 0 25 0 1 0 849104298 91860992 20985 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22427 20985 566 18 0 22409 0
vsize: 89708
[startup+380.012 s]
Raw data (loadavg): 1.08 1.03 0.97 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 21692 0 0 0 37905 101 0 0 25 0 1 0 849104298 94687232 21666 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21666 566 18 0 23099 0
vsize: 92468
[startup+390.011 s]
Raw data (loadavg): 1.07 1.02 0.97 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 22336 0 0 0 38903 102 0 0 25 0 1 0 849104298 97333248 22310 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23763 22310 566 18 0 23745 0
vsize: 95052
[startup+400.012 s]
Raw data (loadavg): 1.06 1.02 0.97 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 23020 0 0 0 39902 104 0 0 25 0 1 0 849104298 100171776 22994 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24456 22994 566 18 0 24438 0
vsize: 97824
[startup+410.012 s]
Raw data (loadavg): 1.05 1.02 0.97 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 23708 0 0 0 40900 106 0 0 25 0 1 0 849104298 102977536 23682 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25141 23682 566 18 0 25123 0
vsize: 100564
[startup+420.012 s]
Raw data (loadavg): 1.04 1.02 0.97 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 24385 0 0 0 41898 108 0 0 25 0 1 0 849104298 105730048 24359 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25813 24359 566 18 0 25795 0
vsize: 103252
[startup+430.013 s]
Raw data (loadavg): 1.03 1.02 0.97 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 25076 0 0 0 42897 110 0 0 25 0 1 0 849104298 108535808 25050 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26498 25050 566 18 0 26480 0
vsize: 105992
[startup+440.014 s]
Raw data (loadavg): 1.03 1.02 0.97 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 25828 0 0 0 43896 111 0 0 25 0 1 0 849104298 111583232 25802 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27242 25802 566 18 0 27224 0
vsize: 108968
[startup+450.013 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 26520 0 0 0 44894 113 0 0 25 0 1 0 849104298 114483200 26494 4294967295 134512640 134581267 3221224592 3221223520 134520030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27950 26494 566 18 0 27932 0
vsize: 111800
[startup+460.014 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 27162 0 0 0 45891 115 0 0 25 0 1 0 849104298 117035008 27136 4294967295 134512640 134581267 3221224592 3221223520 134520041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28573 27136 566 18 0 28555 0
vsize: 114292
[startup+470.014 s]
Raw data (loadavg): 1.10 1.03 0.97 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 27775 0 0 0 46890 117 0 0 25 0 1 0 849104298 119541760 27749 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29185 27749 566 18 0 29167 0
vsize: 116740
[startup+480.015 s]
Raw data (loadavg): 1.15 1.05 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 28387 0 0 0 47889 118 0 0 25 0 1 0 849104298 122093568 28361 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29808 28361 566 18 0 29790 0
vsize: 119232
[startup+490.016 s]
Raw data (loadavg): 1.13 1.05 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 28988 0 0 0 48887 121 0 0 25 0 1 0 849104298 124616704 28962 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30424 28962 566 18 0 30406 0
vsize: 121696
[startup+500.016 s]
Raw data (loadavg): 1.11 1.04 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 29632 0 0 0 49885 123 0 0 25 0 1 0 849104298 127250432 29606 4294967295 134512640 134581267 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31067 29606 566 18 0 31049 0
vsize: 124268
[startup+510.015 s]
Raw data (loadavg): 1.09 1.04 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 30175 0 0 0 50884 124 0 0 25 0 1 0 849104298 129445888 30149 4294967295 134512640 134581267 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31603 30149 566 18 0 31585 0
vsize: 126412
[startup+520.016 s]
Raw data (loadavg): 1.08 1.04 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 30709 0 0 0 51881 127 0 0 25 0 1 0 849104298 131620864 30683 4294967295 134512640 134581267 3221224592 3221223520 134520043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32134 30683 566 18 0 32116 0
vsize: 128536
[startup+530.016 s]
Raw data (loadavg): 1.06 1.04 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 31286 0 0 0 52879 129 0 0 25 0 1 0 849104298 134008832 31260 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32717 31260 566 18 0 32699 0
vsize: 130868
[startup+540.016 s]
Raw data (loadavg): 1.05 1.04 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 31923 0 0 0 53877 131 0 0 25 0 1 0 849104298 136634368 31897 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33358 31897 566 18 0 33340 0
vsize: 133432
[startup+550.016 s]
Raw data (loadavg): 1.05 1.03 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 32469 0 0 0 54875 134 0 0 25 0 1 0 849104298 138776576 32443 4294967295 134512640 134581267 3221224592 3221223504 134527342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33881 32443 566 18 0 33863 0
vsize: 135524
[startup+560.017 s]
Raw data (loadavg): 1.04 1.03 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 32998 0 0 0 55872 136 0 0 25 0 1 0 849104298 141000704 32972 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34424 32972 566 18 0 34406 0
vsize: 137696
[startup+570.016 s]
Raw data (loadavg): 1.03 1.03 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 33721 0 0 0 56870 139 0 0 25 0 1 0 849104298 143888384 33695 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35129 33695 566 18 0 35111 0
vsize: 140516
[startup+580.018 s]
Raw data (loadavg): 1.03 1.03 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 34462 0 0 0 57868 141 0 0 25 0 1 0 849104298 147005440 34436 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35890 34436 566 18 0 35872 0
vsize: 143560
[startup+590.018 s]
Raw data (loadavg): 1.02 1.03 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 35090 0 0 0 58865 145 0 0 25 0 1 0 849104298 149581824 35064 4294967295 134512640 134581267 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36519 35064 566 18 0 36501 0
vsize: 146076
[startup+600.018 s]
Raw data (loadavg): 1.02 1.03 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 35836 0 0 0 59860 149 0 0 25 0 1 0 849104298 152547328 35810 4294967295 134512640 134581267 3221224592 3221223552 134554616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37243 35810 566 18 0 37225 0
vsize: 148972
[startup+610.019 s]
Raw data (loadavg): 1.02 1.03 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36518 0 0 0 60857 152 0 0 25 0 1 0 849104298 155361280 36492 4294967295 134512640 134581267 3221224592 3221223584 134561024 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37930 36492 566 18 0 37912 0
vsize: 151720
[startup+620.019 s]
Raw data (loadavg): 1.01 1.02 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 61856 154 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223472 134520212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+630.02 s]
Raw data (loadavg): 1.01 1.02 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 62856 155 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+640.02 s]
Raw data (loadavg): 1.01 1.02 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 63855 155 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+650.019 s]
Raw data (loadavg): 1.01 1.02 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 64854 156 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+660.02 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 65853 157 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+670.02 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 66853 158 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+680.021 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 67853 158 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223532 1075285472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+690.022 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 68853 159 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+700.022 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 69852 159 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+710.022 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 70852 159 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+720.023 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 71852 160 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+730.023 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 72852 160 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+740.024 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 73852 161 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+750.024 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 74852 161 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+760.025 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 75851 161 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+770.024 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 76851 162 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+780.025 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 77851 162 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+790.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 78851 162 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+800.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 79851 163 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+810.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 80851 163 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223520 134519960 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+820.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 81851 163 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+830.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 82851 164 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+840.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 83850 164 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+850.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 84850 164 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+860.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 85850 165 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36839 0 0 0 86850 165 0 0 25 0 1 0 849104298 156651520 36813 4294967295 134512640 134581267 3221224592 3221223520 134520049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36813 566 18 0 38227 0
vsize: 152980
[startup+880.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36840 0 0 0 87849 166 0 0 25 0 1 0 849104298 156651520 36814 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36814 566 18 0 38227 0
vsize: 152980
[startup+890.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36840 0 0 0 88847 169 0 0 25 0 1 0 849104298 156651520 36814 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38245 36814 566 18 0 38227 0
vsize: 152980
[startup+900.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 89846 170 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223520 134519844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 90845 171 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 91844 172 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 92842 174 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 93841 176 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 94840 176 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+960.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 95840 177 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223560 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 96839 178 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223560 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+980.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 97839 178 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+990.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 98838 179 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223536 134558653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 99837 180 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223504 134527342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 100837 181 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 101836 181 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 102836 182 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 103836 182 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 104836 182 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 105836 183 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 106836 183 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 107835 183 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223504 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 108835 184 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223520 134519844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 109835 184 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 110836 184 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 111835 184 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 112835 185 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 113835 185 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 114835 185 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 115835 185 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223576 134561049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36845 0 0 0 116835 186 0 0 25 0 1 0 849104298 156913664 36819 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36819 566 18 0 38291 0
vsize: 153236
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36846 0 0 0 117835 186 0 0 25 0 1 0 849104298 156913664 36820 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36820 566 18 0 38291 0
vsize: 153236
[startup+1188.92 s]
Raw data (loadavg): 1.00 1.00 0.98 1/53 8066
Raw data (stat): 8066 (Pueblo-v2) R 8065 20224 20223 0 -1 0 36846 0 0 0 117835 186 0 0 25 0 1 0 849104298 156913664 36820 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38309 36820 566 18 0 38291 0
vsize: 0

Child status: 10
Real time (s): 1188.92
CPU time (s): 1189.1
CPU user time (s): 1187.17
CPU system time (s): 1.93271
CPU usage (%): 100.015
Max. virtual memory (Kb): 153236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	350
#### END VERIFIER DATA ####