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 24420

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 07:10:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2302 boxname=wulflinc31 idbench=256 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  fc17fbe37098e8642918641dd9a84b04  /oldhome/oroussel/tmp/wulflinc31/normalized-circ10_3.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-circ10_3.opb
IDLAUNCH: 2302
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        294568 kB
Buffers:         46088 kB
Cached:         659652 kB
SwapCached:        644 kB
Active:         309372 kB
Inactive:       398660 kB
HighTotal:      131008 kB
HighFree:        30912 kB
LowTotal:       903652 kB
LowFree:        263656 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26220 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 07:29:58 (client local time) WITH STATUS 10 IN 1189.15 SECONDS
stats: 2302 0 1189.15 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/wulflinc31/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
Raw data (loadavg): 0.99 0.97 0.91 2/54 8195
Raw data (stat): 8195 (runsolver) R 8194 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 707335936 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 3863 0 0 0 984 12 0 0 25 0 1 0 707335936 21573632 3840 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5267 3840 566 18 0 5249 0
vsize: 21068
[startup+20.0022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 3864 0 0 0 1983 14 0 0 25 0 1 0 707335936 21573632 3841 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5267 3841 566 18 0 5249 0
vsize: 21068
[startup+30.0019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 3934 0 0 0 2981 16 0 0 25 0 1 0 707335936 21848064 3911 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5334 3911 566 18 0 5316 0
vsize: 21336
[startup+40.0019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 4546 0 0 0 3979 18 0 0 25 0 1 0 707335936 24408064 4523 4294967295 134512640 134581331 3221221792 3221220784 134561080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5959 4523 566 18 0 5941 0
vsize: 23836
[startup+50.0018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 5002 0 0 0 4976 21 0 0 25 0 1 0 707335936 26304512 4979 4294967295 134512640 134581331 3221221792 3221220704 134528048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6422 4979 566 18 0 6404 0
vsize: 25688
[startup+60.0027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 5473 0 0 0 5973 24 0 0 25 0 1 0 707335936 28291072 5450 4294967295 134512640 134581331 3221221792 3221220736 134558812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6907 5450 566 18 0 6889 0
vsize: 27628
[startup+70.0037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 5953 0 0 0 6971 27 0 0 25 0 1 0 707335936 30167040 5930 4294967295 134512640 134581331 3221221792 3221220720 134519945 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7365 5932 566 18 0 7347 0
vsize: 29460
[startup+80.0036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 6454 0 0 0 7969 28 0 0 25 0 1 0 707335936 32178176 6431 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7856 6431 566 18 0 7838 0
vsize: 31424
[startup+90.0038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 6845 0 0 0 8967 31 0 0 25 0 1 0 707335936 33857536 6822 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8266 6822 566 18 0 8248 0
vsize: 33064
[startup+100.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 7330 0 0 0 9965 32 0 0 25 0 1 0 707335936 35946496 7307 4294967295 134512640 134581331 3221221792 3221220512 134523183 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8776 7307 566 18 0 8758 0
vsize: 35104
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 7772 0 0 0 10964 34 0 0 25 0 1 0 707335936 37662720 7749 4294967295 134512640 134581331 3221221792 3221220600 1075288435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9195 7749 566 18 0 9177 0
vsize: 36780
[startup+120.006 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 8216 0 0 0 11963 35 0 0 25 0 1 0 707335936 39460864 8193 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9634 8193 566 18 0 9616 0
vsize: 38536
[startup+130.005 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 8627 0 0 0 12962 37 0 0 25 0 1 0 707335936 41181184 8604 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10054 8604 566 18 0 10036 0
vsize: 40216
[startup+140.005 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 9099 0 0 0 13961 37 0 0 25 0 1 0 707335936 43134976 9076 4294967295 134512640 134581331 3221221792 3221220704 134519020 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10531 9076 566 18 0 10513 0
vsize: 42124
[startup+150.005 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 9430 0 0 0 14961 38 0 0 25 0 1 0 707335936 44408832 9407 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10842 9407 566 18 0 10824 0
vsize: 43368
[startup+160.006 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 9776 0 0 0 15960 39 0 0 25 0 1 0 707335936 45838336 9753 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11191 9753 566 18 0 11173 0
vsize: 44764
[startup+170.006 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 10175 0 0 0 16960 40 0 0 25 0 1 0 707335936 47456256 10152 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11586 10152 566 18 0 11568 0
vsize: 46344
[startup+180.006 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 10719 0 0 0 17958 41 0 0 25 0 1 0 707335936 49762304 10696 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12149 10696 566 18 0 12131 0
vsize: 48596
[startup+190.007 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 11142 0 0 0 18956 43 0 0 25 0 1 0 707335936 51486720 11119 4294967295 134512640 134581331 3221221792 3221220736 134516819 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12570 11119 566 18 0 12552 0
vsize: 50280
[startup+200.007 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 11595 0 0 0 19955 45 0 0 25 0 1 0 707335936 53329920 11572 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13020 11572 566 18 0 13002 0
vsize: 52080
[startup+210.008 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 11998 0 0 0 20952 48 0 0 25 0 1 0 707335936 54947840 11975 4294967295 134512640 134581331 3221221792 3221220464 134531720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13415 11975 566 18 0 13397 0
vsize: 53660
[startup+220.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 12312 0 0 0 21949 51 0 0 25 0 1 0 707335936 56266752 12289 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13737 12289 566 18 0 13719 0
vsize: 54948
[startup+230.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 12695 0 0 0 22947 53 0 0 25 0 1 0 707335936 57851904 12672 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14124 12672 566 18 0 14106 0
vsize: 56496
[startup+240.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 13258 0 0 0 23945 55 0 0 25 0 1 0 707335936 60104704 13235 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14674 13235 566 18 0 14656 0
vsize: 58696
[startup+250.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 13610 0 0 0 24944 57 0 0 25 0 1 0 707335936 61571072 13587 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15032 13587 566 18 0 15014 0
vsize: 60128
[startup+260.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 14055 0 0 0 25942 59 0 0 25 0 1 0 707335936 63500288 14032 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15503 14032 566 18 0 15485 0
vsize: 62012
[startup+270.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 14516 0 0 0 26941 60 0 0 25 0 1 0 707335936 65351680 14493 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15955 14493 566 18 0 15937 0
vsize: 63820
[startup+280.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 14997 0 0 0 27940 62 0 0 25 0 1 0 707335936 67383296 14974 4294967295 134512640 134581331 3221221792 3221220676 134557836 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16451 14974 566 18 0 16433 0
vsize: 65804
[startup+290.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 15442 0 0 0 28938 63 0 0 25 0 1 0 707335936 69107712 15419 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16872 15419 566 18 0 16854 0
vsize: 67488
[startup+300.011 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 15911 0 0 0 29936 65 0 0 25 0 1 0 707335936 71086080 15888 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17355 15888 566 18 0 17337 0
vsize: 69420
[startup+310.011 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 16404 0 0 0 30935 66 0 0 25 0 1 0 707335936 73093120 16381 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17845 16381 566 18 0 17827 0
vsize: 71380
[startup+320.011 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 16859 0 0 0 31934 68 0 0 25 0 1 0 707335936 74985472 16836 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18307 16836 566 18 0 18289 0
vsize: 73228
[startup+330.011 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 17267 0 0 0 32933 69 0 0 25 0 1 0 707335936 76603392 17244 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18702 17244 566 18 0 18684 0
vsize: 74808
[startup+340.012 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 17710 0 0 0 33932 70 0 0 25 0 1 0 707335936 78442496 17687 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19151 17687 566 18 0 19133 0
vsize: 76604
[startup+350.012 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 18128 0 0 0 34931 71 0 0 25 0 1 0 707335936 80154624 18105 4294967295 134512640 134581331 3221221792 3221220676 134557861 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19569 18105 566 18 0 19551 0
vsize: 78276
[startup+360.013 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 18563 0 0 0 35930 72 0 0 25 0 1 0 707335936 81948672 18540 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20007 18540 566 18 0 19989 0
vsize: 80028
[startup+370.013 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 18996 0 0 0 36929 74 0 0 25 0 1 0 707335936 83714048 18973 4294967295 134512640 134581331 3221221792 3221220720 134519945 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20438 18973 566 18 0 20420 0
vsize: 81752
[startup+380.013 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 19360 0 0 0 37927 76 0 0 25 0 1 0 707335936 85213184 19337 4294967295 134512640 134581331 3221221792 3221220496 1075289603 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20804 19337 566 18 0 20786 0
vsize: 83216
[startup+390.014 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 19839 0 0 0 38926 77 0 0 25 0 1 0 707335936 87134208 19816 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21273 19816 566 18 0 21255 0
vsize: 85092
[startup+400.014 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 20245 0 0 0 39925 79 0 0 25 0 1 0 707335936 88752128 20222 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21668 20222 566 18 0 21650 0
vsize: 86672
[startup+410.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 20766 0 0 0 40924 79 0 0 25 0 1 0 707335936 90959872 20743 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22207 20743 566 18 0 22189 0
vsize: 88828
[startup+420.015 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 21204 0 0 0 41923 81 0 0 25 0 1 0 707335936 92758016 21181 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22646 21181 566 18 0 22628 0
vsize: 90584
[startup+430.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 21683 0 0 0 42922 82 0 0 25 0 1 0 707335936 94703616 21660 4294967295 134512640 134581331 3221221792 3221220688 134517912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23121 21660 566 18 0 23103 0
vsize: 92484
[startup+440.014 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22156 0 0 0 43921 83 0 0 25 0 1 0 707335936 96542720 22133 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23570 22133 566 18 0 23552 0
vsize: 94280
[startup+450.015 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22533 0 0 0 44920 85 0 0 25 0 1 0 707335936 98193408 22510 4294967295 134512640 134581331 3221221792 3221220512 134523363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23973 22510 566 18 0 23955 0
vsize: 95892
[startup+460.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 45919 85 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220720 134520043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+470.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 46919 86 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220768 134561104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+480.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 47918 87 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 48918 87 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 49917 88 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 50917 89 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 51916 89 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+530.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 52917 89 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220688 134517897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+540.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 53916 90 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+550.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 54916 90 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+560.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 55916 90 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220704 134519030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+570.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 56916 91 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+580.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 57916 91 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220512 134523396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+590.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 58914 92 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 59914 93 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220720 134519826 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+610.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 60914 93 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220784 134561138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+620.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 61913 94 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220784 134561087 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+630.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 62914 94 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+640.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 63914 94 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+650.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 64914 94 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220672 134558100 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+660.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 65913 94 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220688 134517868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+670.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 66914 95 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220704 134519030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+680.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 67914 95 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+690.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 68914 95 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+700.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 69914 95 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+710.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 70914 95 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220512 134524459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 71914 95 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+730.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 72914 95 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220704 134519011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+740.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 73914 95 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 74914 95 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220704 134527964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+760.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22808 0 0 0 75914 95 0 0 25 0 1 0 707335936 99258368 22785 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22785 566 18 0 24215 0
vsize: 96932
[startup+770.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22820 0 0 0 76914 96 0 0 25 0 1 0 707335936 99258368 22797 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 22797 566 18 0 24215 0
vsize: 96932
[startup+780.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 22961 0 0 0 77914 96 0 0 25 0 1 0 707335936 99946496 22938 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24401 22938 566 18 0 24383 0
vsize: 97604
[startup+790.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 23030 0 0 0 78914 97 0 0 25 0 1 0 707335936 100216832 23007 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24467 23007 566 18 0 24449 0
vsize: 97868
[startup+800.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 23387 0 0 0 79912 98 0 0 25 0 1 0 707335936 101699584 23364 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24829 23364 566 18 0 24811 0
vsize: 99316
[startup+810.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 23595 0 0 0 80909 101 0 0 25 0 1 0 707335936 102494208 23572 4294967295 134512640 134581331 3221221792 3221220688 134517897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25023 23572 566 18 0 25005 0
vsize: 100092
[startup+820.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 24062 0 0 0 81907 104 0 0 25 0 1 0 707335936 104460288 24039 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25503 24039 566 18 0 25485 0
vsize: 102012
[startup+830.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 24409 0 0 0 82906 105 0 0 25 0 1 0 707335936 105803776 24386 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25831 24386 566 18 0 25813 0
vsize: 103324
[startup+840.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 24845 0 0 0 83904 107 0 0 25 0 1 0 707335936 107692032 24822 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26292 24822 566 18 0 26274 0
vsize: 105168
[startup+850.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 25236 0 0 0 84903 108 0 0 25 0 1 0 707335936 109182976 25213 4294967295 134512640 134581331 3221221792 3221220512 134523352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26656 25213 566 18 0 26638 0
vsize: 106624
[startup+860.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 25614 0 0 0 85902 109 0 0 25 0 1 0 707335936 110792704 25591 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27049 25591 566 18 0 27031 0
vsize: 108196
[startup+870.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 25982 0 0 0 86901 111 0 0 25 0 1 0 707335936 112263168 25959 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27408 25959 566 18 0 27390 0
vsize: 109632
[startup+880.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 26387 0 0 0 87900 112 0 0 25 0 1 0 707335936 114024448 26364 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27838 26364 566 18 0 27820 0
vsize: 111352
[startup+890.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 26770 0 0 0 88899 113 0 0 25 0 1 0 707335936 115486720 26747 4294967295 134512640 134581331 3221221792 3221220720 134520043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28195 26747 566 18 0 28177 0
vsize: 112780
[startup+900.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 27127 0 0 0 89898 114 0 0 25 0 1 0 707335936 116965376 27104 4294967295 134512640 134581331 3221221792 3221220764 134519895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28556 27104 566 18 0 28538 0
vsize: 114224
[startup+910.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 27483 0 0 0 90897 115 0 0 25 0 1 0 707335936 118452224 27460 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28919 27460 566 18 0 28901 0
vsize: 115676
[startup+920.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 27806 0 0 0 91895 117 0 0 25 0 1 0 707335936 119857152 27783 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29262 27783 566 18 0 29244 0
vsize: 117048
[startup+930.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 28274 0 0 0 92893 119 0 0 25 0 1 0 707335936 121769984 28251 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29729 28251 566 18 0 29711 0
vsize: 118916
[startup+940.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 28843 0 0 0 93892 121 0 0 25 0 1 0 707335936 124006400 28820 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30275 28820 566 18 0 30257 0
vsize: 121100
[startup+950.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 29105 0 0 0 94891 122 0 0 25 0 1 0 707335936 125075456 29082 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30536 29082 566 18 0 30518 0
vsize: 122144
[startup+960.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 29583 0 0 0 95889 124 0 0 25 0 1 0 707335936 127082496 29560 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31026 29560 566 18 0 31008 0
vsize: 124104
[startup+970.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 30089 0 0 0 96887 126 0 0 25 0 1 0 707335936 129155072 30066 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31532 30066 566 18 0 31514 0
vsize: 126128
[startup+980.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 30540 0 0 0 97886 127 0 0 25 0 1 0 707335936 130924544 30517 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31964 30517 566 18 0 31946 0
vsize: 127856
[startup+990.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31015 0 0 0 98885 129 0 0 25 0 1 0 707335936 132943872 30992 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32457 30992 566 18 0 32439 0
vsize: 129828
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 99884 129 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 100884 130 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 101884 130 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 102884 130 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 103884 131 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220656 134528270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 104883 132 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 105883 132 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 106883 132 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 107882 133 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220672 134520219 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 108882 133 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220736 134558828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 109882 133 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 110882 133 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 111882 134 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220704 134519011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 112882 134 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 113882 134 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 114882 134 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 115882 135 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 116882 135 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 117882 135 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 130620
[startup+1189.01 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 8195
Raw data (stat): 8195 (Pueblo) R 8194 7876 7672 0 -1 0 31214 0 0 0 117882 135 0 0 25 0 1 0 707335936 133754880 31191 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31191 566 18 0 32637 0
vsize: 0

Child status: 10
Real time (s): 1189
CPU time (s): 1189.15
CPU user time (s): 1187.73
CPU system time (s): 1.41678
CPU usage (%): 100.012
Max. virtual memory (Kb): 130620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	358
#### END VERIFIER DATA ####