PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/ttp/normalized-data10_3.opb
MD5SUM	4a63b686be1696a2915c6e312773fbad
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	81744
Optimality of the best value was proved	NO
Number of terms in the objective function	900
Biggest coefficient in the objective function	1380
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	559660
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	1380
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	559660
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.07
Number of variables	2700
Total number of constraints	42620
Number of constraints which are clauses	20220
Number of constraints which are cardinality constraints (but not clauses)	800
Number of constraints which are nor clauses,nor cardinality constraints	21600
Minimum length of a constraint	2
Maximum length of a constraint	36
Trace number 24440

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 12:18:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2338 boxname=wulflinc31 idbench=260 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  4a63b686be1696a2915c6e312773fbad  /oldhome/oroussel/tmp/wulflinc31/normalized-data10_3.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-data10_3.opb
IDLAUNCH: 2338
/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:        288968 kB
Buffers:         46624 kB
Cached:         664760 kB
SwapCached:        644 kB
Active:         313956 kB
Inactive:       399784 kB
HighTotal:      131008 kB
HighFree:        25760 kB
LowTotal:       903652 kB
LowFree:        263208 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26220 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 12:38:06 (client local time) WITH STATUS 10 IN 1189.07 SECONDS
stats: 2338 0 1189.07 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-data10_3.opb
c #variables read: 2700 - #constraints read: 43071
s SATISFIABLE
v v1801 v1802 -v1803 -v1804 -v1805 v1806 -v1807 -v1808 v1809 -v1810 -v1811 v1812 -v1813 -v1814 -v1815 -v1816 -v1817 -v1818 v1819 -v1820 -v1821 -v1822 -v1823 -v1824 -v1825 -v1826 -v1827 -v1828 -v1829 -v1830 v1831 -v1832 -v1833 -v1834 -v1835 -v1836 v1837 -v1838 -v1839 -v1840 -v1841 -v1842 -v1843 -v1844 -v1845 -v1846 -v1847 -v1848 -v1849 -v1850 -v1851 v1852 -v1853 -v1854 -v1855 -v1856 -v1857 -v1858 -v1859 v1860 -v1861 -v1862 -v1863 v1864 -v1865 -v1866 -v1867 -v1868 -v1869 -v1870 -v1871 -v1872 v1873 -v1874 -v1875 -v1876 -v1877 -v1878 -v1879 -v1880 -v1881 -v1882 -v1883 -v1884 -v1885 -v1886 -v1887 -v1888 -v1889 v1890 v1891 -v1892 -v1893 -v1894 -v1895 -v1896 -v1897 -v1898 -v1899 -v1900 v1901 v1902 v1903 v1904 v1905 -v1906 -v1907 -v1908 -v1909 v1910 -v1911 -v1912 -v1913 -v1914 -v1915 -v1916 -v1917 -v1918 -v1919 -v1920 -v1921 -v1922 -v1923 -v1924 -v1925 v1926 -v1927 v1928 -v1929 -v1930 -v1931 -v1932 -v1933 -v1934 -v1935 -v1936 -v1937 -v1938 -v1939 -v1940 -v1941 -v1942 v1943 -v1944 -v1945 v1946 -v1947 -v1948 -v1949 -v1950 -v1951 -v1952 -v1953 -v1954 v1955 -v1956 -v1957 -v1958 -v1959 -v1960 -v1961 -v1962 v1963 -v1964 -v1965 -v1966 -v1967 -v1968 -v1969 -v1970 -v1971 -v1972 -v1973 -v1974 -v1975 -v1976 -v1977 -v1978 v1979 -v1980 -v1981 -v1982 v1983 -v1984 -v1985 -v1986 -v1987 -v1988 -v1989 -v1990 v1991 -v1992 -v1993 -v1994 -v1995 -v1996 -v1997 -v1998 -v1999 -v2000 -v2001 v2002 -v2003 v2004 -v2005 v2006 v2007 -v2008 -v2009 v2010 -v2011 -v2012 -v2013 -v2014 -v2015 -v2016 v2017 -v2018 -v2019 -v2020 -v2021 -v2022 -v2023 -v2024 -v2025 -v2026 -v2027 v2028 -v2029 -v2030 -v2031 -v2032 -v2033 -v2034 -v2035 -v2036 -v2037 -v2038 -v2039 v2040 -v2041 -v2042 -v2043 -v2044 -v2045 v2046 -v2047 -v2048 -v2049 -v2050 -v2051 -v2052 -v2053 -v2054 -v2055 -v2056 -v2057 -v2058 -v2059 v2060 -v2061 -v2062 v2063 -v2064 -v2065 -v2066 -v2067 -v2068 -v2069 -v2070 -v2071 -v2072 -v2073 -v2074 -v2075 -v2076 -v2077 v2078 -v2079 -v2080 -v2081 v2082 -v2083 -v2084 -v2085 -v2086 -v2087 -v2088 -v2089 -v2090 -v2091 -v2092 -v2093 -v2094 -v2095 -v2096 v2097 -v2098 v2099 -v2100 v2101 v2102 v2103 v2104 -v2105 -v2106 v2107 -v2108 -v2109 -v2110 -v2111 -v2112 -v2113 -v2114 -v2115 -v2116 -v2117 v2118 -v2119 -v2120 -v2121 -v2122 -v2123 -v2124 -v2125 -v2126 -v2127 v2128 -v2129 -v2130 -v2131 -v2132 -v2133 -v2134 -v2135 -v2136 v2137 -v2138 -v2139 -v2140 -v2141 -v2142 -v2143 -v2144 -v2145 v2146 -v2147 -v2148 -v2149 -v2150 -v2151 -v2152 -v2153 -v2154 v2155 -v2156 -v2157 -v2158 -v2159 -v2160 -v2161 -v2162 -v2163 v2164 -v2165 -v2166 -v2167 -v2168 -v2169 -v2170 -v2171 -v2172 v2173 -v2174 -v2175 -v2176 -v2177 -v2178 -v2179 -v2180 -v2181 -v2182 -v2183 v2184 -v2185 -v2186 -v2187 -v2188 -v2189 -v2190 -v2191 v2192 -v2193 -v2194 -v2195 -v2196 -v2197 v2198 v2199 v2200 -v2201 -v2202 -v2203 v2204 -v2205 v2206 -v2207 -v2208 -v2209 -v2210 -v2211 -v2212 -v2213 -v2214 -v2215 -v2216 -v2217 -v2218 v2219 -v2220 -v2221 -v2222 -v2223 -v2224 -v2225 -v2226 -v2227 -v2228 -v2229 -v2230 -v2231 v2232 -v2233 -v2234 -v2235 -v2236 -v2237 -v2238 -v2239 v2240 -v2241 -v2242 -v2243 -v2244 -v2245 v2246 -v2247 -v2248 -v2249 -v2250 -v2251 -v2252 -v2253 -v2254 v2255 -v2256 -v2257 -v2258 -v2259 -v2260 -v2261 -v2262 -v2263 v2264 -v2265 -v2266 -v2267 -v2268 -v2269 -v2270 -v2271 -v2272 v2273 -v2274 -v2275 -v2276 -v2277 -v2278 -v2279 -v2280 -v2281 v2282 -v2283 -v2284 -v2285 -v2286 -v2287 -v2288 -v2289 v2290 -v2291 -v2292 -v2293 -v2294 -v2295 -v2296 -v2297 v2298 -v2299 v2300 v2301 v2302 v2303 -v2304 -v2305 -v2306 -v2307 -v2308 -v2309 v2310 -v2311 -v2312 -v2313 -v2314 -v2315 -v2316 -v2317 -v2318 -v2319 -v2320 -v2321 v2322 v2323 -v2324 -v2325 -v2326 -v2327 -v2328 -v2329 -v2330 -v2331 -v2332 v2333 -v2334 -v2335 -v2336 -v2337 -v2338 -v2339 -v2340 -v2341 -v2342 v2343 -v2344 -v2345 -v2346 -v2347 -v2348 -v2349 -v2350 -v2351 -v2352 -v2353 -v2354 v2355 -v2356 -v2357 -v2358 -v2359 -v2360 -v2361 -v2362 -v2363 v2364 -v2365 -v2366 -v2367 -v2368 -v2369 -v2370 -v2371 -v2372 v2373 -v2374 -v2375 -v2376 v2377 -v2378 -v2379 -v2380 -v2381 -v2382 -v2383 -v2384 -v2385 -v2386 -v2387 -v2388 -v2389 -v2390 -v2391 -v2392 -v2393 v2394 -v2395 v2396 -v2397 -v2398 v2399 v2400 v2401 v2402 -v2403 -v2404 -v2405 -v2406 -v2407 -v2408 -v2409 v2410 -v2411 -v2412 -v2413 -v2414 -v2415 -v2416 -v2417 -v2418 v2419 -v2420 -v2421 -v2422 -v2423 v2424 -v2425 -v2426 -v2427 -v2428 -v2429 -v2430 -v2431 -v2432 -v2433 -v2434 -v2435 -v2436 v2437 -v2438 -v2439 -v2440 -v2441 -v2442 -v2443 -v2444 -v2445 v2446 -v2447 -v2448 -v2449 -v2450 -v2451 -v2452 -v2453 -v2454 v2455 -v2456 -v2457 -v2458 -v2459 -v2460 -v2461 -v2462 -v2463 v2464 -v2465 -v2466 -v2467 -v2468 v2469 -v2470 -v2471 -v2472 -v2473 -v2474 -v2475 -v2476 v2477 -v2478 -v2479 -v2480 -v2481 -v2482 -v2483 -v2484 -v2485 -v2486 -v2487 -v2488 -v2489 -v2490 v2491 -v2492 -v2493 v2494 -v2495 -v2496 -v2497 v2498 v2499 v2500 v2501 v2502 -v2503 -v2504 -v2505 -v2506 -v2507 -v2508 -v2509 v2510 -v2511 -v2512 -v2513 -v2514 v2515 -v2516 -v2517 -v2518 -v2519 -v2520 -v2521 -v2522 -v2523 -v2524 v2525 -v2526 -v2527 -v2528 -v2529 -v2530 -v2531 -v2532 -v2533 -v2534 -v2535 -v2536 v2537 -v2538 -v2539 -v2540 -v2541 -v2542 -v2543 -v2544 -v2545 v2546 -v2547 -v2548 -v2549 -v2550 -v2551 -v2552 -v2553 -v2554 v2555 -v2556 -v2557 -v2558 -v2559 -v2560 -v2561 -v2562 -v2563 v2564 -v2565 -v2566 -v2567 -v2568 -v2569 -v2570 -v2571 -v2572 v2573 -v2574 v2575 -v2576 -v2577 -v2578 -v2579 -v2580 -v2581 -v2582 -v2583 -v2584 -v2585 -v2586 -v2587 -v2588 -v2589 -v2590 -v2591 v2592 -v2593 v2594 v2595 v2596 v2597 -v2598 v2599 v2600 -v2601 -v2602 -v2603 -v2604 -v2605 -v2606 -v2607 -v2608 -v2609 v2610 -v2611 -v2612 -v2613 -v2614 -v2615 -v2616 -v2617 -v2618 v2619 -v2620 -v2621 -v2622 -v2623 -v2624 -v2625 -v2626 -v2627 v2628 -v2629 -v2630 -v2631 -v2632 -v2633 -v2634 -v2635 -v2636 v2637 -v2638 -v2639 -v2640 -v2641 -v2642 -v2643 -v2644 v2645 -v2646 -v2647 -v2648 -v2649 -v2650 -v2651 -v2652 -v2653 -v2654 v2655 -v2656 -v2657 -v2658 -v2659 -v2660 -v2661 -v2662 -v2663 v2664 -v2665 -v2666 -v2667 -v2668 -v2669 -v2670 -v2671 -v2672 v2673 v2674 -v2675 -v2676 -v2677 -v2678 -v2679 -v2680 -v2681 -v2682 -v2683 -v2684 -v2685 -v2686 -v2687 -v2688 -v2689 -v2690 v2691 -v2692 v2693 v2694 v2695 v2696 v2697 v2698 v2699 -v2700 -v2 -v102 v202 -v302 -v402 -v502 -v602 -v702 -v802 -v902 -v1002 -v1102 -v1202 -v1302 -v1402 -v1502 -v1602 -v1702 -v3 -v103 -v203 -v303 -v403 -v503 -v603 -v703 -v803 -v903 -v1003 v1103 -v1203 -v1303 -v1403 -v1503 -v1603 -v1703 -v4 -v104 -v204 v304 -v404 -v504 -v604 -v704 -v804 -v904 -v1004 -v1104 -v1204 -v1304 -v1404 -v1504 -v1604 -v1704 -v5 -v105 -v205 -v305 v405 -v505 -v605 -v705 -v805 -v905 -v1005 -v1105 -v1205 -v1305 -v1405 -v1505 -v1605 -v1705 -v6 -v106 -v206 -v306 -v406 -v506 -v606 -v706 -v806 -v906 -v1006 -v1106 -v1206 -v1306 v1406 -v1506 -v1606 -v1706 -v7 -v107 -v207 -v307 -v407 -v507 -v607 -v707 -v807 -v907 -v1007 -v1107 -v1207 v1307 -v1407 -v1507 -v1607 -v1707 -v8 -v108 -v208 -v308 -v408 -v508 -v608 -v708 -v808 -v908 -v1008 -v1108 -v1208 -v1308 -v1408 v1508 -v1608 -v1708 -v9 -v109 -v209 -v309 -v409 -v509 -v609 -v709 -v809 v909 -v1009 -v1109 -v1209 -v1309 -v1409 -v1509 -v1609 -v1709 -v10 -v110 -v210 -v310 -v410 -v510 -v610 -v710 v810 -v910 -v1010 -v1110 -v1210 -v1310 -v1410 -v1510 -v1610 -v1710 -v11 -v111 -v211 -v311 -v411 -v511 -v611 -v711 -v811 -v911 -v1011 -v1111 v1211 -v1311 -v1411 -v1511 -v1611 -v1711 -v13 v113 -v213 -v313 -v413 -v513 -v613 -v713 -v813 -v913 -v1013 -v1113 -v1213 -v1313 -v1413 -v1513 -v1613 -v1713 -v14 -v114 -v214 -v314 v414 -v514 -v614 -v714 -v814 -v914 -v1014 -v1114 -v1214 -v1314 -v1414 -v1514 -v1614 -v1714 -v15 -v115 -v215 -v315 -v415 -v515 -v615 -v715 -v815 -v915 -v1015 -v1115 -v1215 -v1315 -v1415 -v1515 -v1615 v1715 -v16 -v116 -v216 -v316 -v416 -v516 -v616 -v716 -v816 -v916 v1016 -v1116 -v1216 -v1316 -v1416 -v1516 -v1616 -v1716 -v17 -v117 -v217 -v317 -v417 -v517 -v617 -v717 -v817 -v917 -v1017 -v1117 -v1217 -v1317 -v1417 v1517 -v1617 -v1717 -v18 -v118 -v218 -v318 -v418 -v518 v618 -v718 -v818 -v918 -v1018 -v1118 -v1218 -v1318 -v1418 -v1518 -v1618 -v1718 -v19 -v119 -v219 -v319 -v419 -v519 -v619 -v719 -v819 -v919 -v1019 v1119 -v1219 -v1319 -v1419 -v1519 -v1619 -v1719 -v20 -v120 -v220 -v320 -v420 v520 -v620 -v720 -v820 -v920 -v1020 -v1120 -v1220 -v1320 -v1420 -v1520 -v1620 -v1720 -v21 -v121 -v221 -v321 -v421 -v521 -v621 v721 -v821 -v921 -v1021 -v1121 -v1221 -v1321 -v1421 -v1521 -v1621 -v1721 -v22 -v122 -v222 -v322 -v422 -v522 -v622 -v722 -v822 -v922 -v1022 -v1122 -v1222 -v1322 -v1422 -v1522 v1622 -v1722 -v24 -v124 -v224 -v324 -v424 -v524 -v624 -v724 v824 -v924 -v1024 -v1124 -v1224 -v1324 -v1424 -v1524 -v1624 -v1724 -v25 -v125 -v225 -v325 -v425 -v525 v625 -v725 -v825 -v925 -v1025 -v1125 -v1225 -v1325 -v1425 -v1525 -v1625 -v1725 -v26 -v126 -v226 -v326 -v426 -v526 -v626 -v726 -v826 -v926 -v1026 -v1126 -v1226 v1326 -v1426 -v1526 -v1626 -v1726 -v27 -v127 -v227 -v327 -v427 -v527 -v627 -v727 -v827 -v927 -v1027 -v1127 v1227 -v1327 -v1427 -v1527 -v1627 -v1727 -v28 -v128 -v228 -v328 v428 -v528 -v628 -v728 -v828 -v928 -v1028 -v1128 -v1228 -v1328 -v1428 -v1528 -v1628 -v1728 -v29 -v129 -v229 v329 -v429 -v529 -v629 -v729 -v829 -v929 -v1029 -v1129 -v1229 -v1329 -v1429 -v1529 -v1629 -v1729 -v30 -v130 -v230 -v330 -v430 -v530 -v630 -v730 -v830 -v930 -v1030 -v1130 -v1230 -v1330 -v1430 v1530 -v1630 -v1730 -v31 v131 -v231 -v331 -v431 -v531 -v631 -v731 -v831 -v931 -v1031 -v1131 -v1231 -v1331 -v1431 -v1531 -v1631 -v1731 -v32 -v132 -v232 -v332 -v432 -v532 -v632 -v732 -v832 -v932 -v1032 -v1132 -v1232 v1332 -v1432 -v1532 -v1632 -v1732 -v33 -v133 -v233 -v333 -v433 -v533 -v633 -v733 -v833 -v933 v1033 -v1133 -v1233 -v1333 -v1433 -v1533 -v1633 -v1733 v35 -v135 -v235 -v335 -v435 -v535 -v635 -v735 -v835 -v935 -v1035 -v1135 -v1235 -v1335 -v1435 -v1535 -v1635 -v1735 -v36 -v136 -v236 -v336 -v436 -v536 -v636 -v736 -v836 v936 -v1036 -v1136 -v1236 -v1336 -v1436 -v1536 -v1636 -v1736 -v37 -v137 -v237 -v337 -v437 -v537 -v637 -v737 -v837 -v937 -v1037 -v1137 -v1237 -v1337 -v1437 -v1537 v1637 -v1737 -v38 -v138 -v238 -v338 -v438 v538 -v638 -v738 -v838 -v938 -v1038 -v1138 -v1238 -v1338 -v1438 -v1538 -v1638 -v1738 -v39 -v139 v239 -v339 -v439 -v539 -v639 -v739 -v839 -v939 -v1039 -v1139 -v1239 -v1339 -v1439 -v1539 -v1639 -v1739 -v40 -v140 -v240 -v340 -v440 -v540 -v640 -v740 -v840 -v940 -v1040 v1140 -v1240 -v1340 -v1440 -v1540 -v1640 -v1740 -v41 -v141 -v241 -v341 -v441 -v541 -v641 -v741 -v841 -v941 -v1041 -v1141 -v1241 -v1341 -v1441 -v1541 v1641 -v1741 -v42 -v142 -v242 -v342 -v442 -v542 -v642 v742 -v842 -v942 -v1042 -v1142 -v1242 -v1342 -v1442 -v1542 -v1642 -v1742 -v43 -v143 -v243 -v343 -v443 -v543 -v643 -v743 -v843 v943 -v1043 -v1143 -v1243 -v1343 -v1443 -v1543 -v1643 -v1743 -v44 -v144 -v244 -v344 -v444 -v544 -v644 -v744 -v844 -v944 -v1044 -v1144 -v1244 -v1344 v1444 -v1544 -v1644 -v1744 -v46 -v146 -v246 -v346 -v446 -v546 -v646 -v746 -v846 -v946 -v1046 -v1146 -v1246 -v1346 -v1446 v1546 -v1646 -v1746 -v47 -v147 -v247 -v347 -v447 -v547 -v647 -v747 -v847 -v947 v1047 -v1147 -v1247 -v1347 -v1447 -v1547 -v1647 -v1747 -v48 -v148 v248 -v348 -v448 -v548 -v648 -v748 -v848 -v948 -v1048 -v1148 -v1248 -v1348 -v1448 -v1548 -v1648 -v1748 -v49 v149 -v249 -v349 -v449 -v549 -v649 -v749 -v849 -v949 -v1049 -v1149 -v1249 -v1349 -v1449 -v1549 -v1649 -v1749 -v50 -v150 -v250 v350 -v450 -v550 -v650 -v750 -v850 -v950 -v1050 -v1150 -v1250 -v1350 -v1450 -v1550 -v1650 -v1750 -v51 -v151 -v251 -v351 -v451 -v551 -v651 -v751 -v851 -v951 -v1051 -v1151 -v1251 -v1351 -v1451 -v1551 -v1651 v1751 -v52 -v152 -v252 v352 -v452 -v552 -v652 -v752 -v852 -v952 -v1052 -v1152 -v1252 -v1352 -v1452 -v1552 -v1652 -v1752 -v53 -v153 -v253 -v353 -v453 v553 -v653 -v753 -v853 -v953 -v1053 -v1153 -v1253 -v1353 -v1453 -v1553 -v1653 -v1753 -v54 -v154 -v254 -v354 -v454 -v554 -v654 -v754 -v854 -v954 -v1054 -v1154 v1254 -v1354 -v1454 -v1554 -v1654 -v1754 -v55 -v155 -v255 -v355 -v455 -v555 -v655 -v755 -v855 -v955 -v1055 v1155 -v1255 -v1355 -v1455 -v1555 -v1655 -v1755 -v57 -v157 -v257 -v357 -v457 -v557 -v657 -v757 v857 -v957 -v1057 -v1157 -v1257 -v1357 -v1457 -v1557 -v1657 -v1757 -v58 v158 -v258 -v358 -v458 -v558 -v658 -v758 -v858 -v958 -v1058 -v1158 -v1258 -v1358 -v1458 -v1558 -v1658 -v1758 -v59 -v159 -v259 -v359 -v459 -v559 -v659 -v759 -v859 -v959 -v1059 -v1159 -v1259 -v1359 -v1459 -v1559 v1659 -v1759 -v60 -v160 v260 -v360 -v460 -v560 -v660 -v760 -v860 -v960 -v1060 -v1160 -v1260 -v1360 -v1460 -v1560 -v1660 -v1760 -v61 -v161 -v261 -v361 -v461 -v561 v661 -v761 -v861 -v961 -v1061 -v1161 -v1261 -v1361 -v1461 -v1561 -v1661 -v1761 -v62 -v162 -v262 -v362 -v462 -v562 -v662 -v762 -v862 v962 -v1062 -v1162 -v1262 -v1362 -v1462 -v1562 -v1662 -v1762 -v63 -v163 v263 -v363 -v463 -v563 -v663 -v763 -v863 -v963 -v1063 -v1163 -v1263 -v1363 -v1463 -v1563 -v1663 -v1763 -v64 -v164 -v264 -v364 -v464 -v564 -v664 v764 -v864 -v964 -v1064 -v1164 -v1264 -v1364 -v1464 -v1564 -v1664 -v1764 -v65 -v165 -v265 -v365 -v465 v565 -v665 -v765 -v865 -v965 -v1065 -v1165 -v1265 -v1365 -v1465 -v1565 -v1665 -v1765 v66 -v166 -v266 -v366 -v466 -v566 -v666 -v766 -v866 -v966 -v1066 -v1166 -v1266 -v1366 -v1466 -v1566 -v1666 -v1766 -v68 -v168 -v268 -v368 -v468 -v568 -v668 -v768 -v868 -v968 -v1068 v1168 -v1268 -v1368 -v1468 -v1568 -v1668 -v1768 -v69 -v169 -v269 -v369 -v469 -v569 -v669 -v769 -v869 -v969 -v1069 -v1169 -v1269 -v1369 v1469 -v1569 -v1669 -v1769 -v70 v170 -v270 -v370 -v470 -v570 -v670 -v770 -v870 -v970 -v1070 -v1170 -v1270 -v1370 -v1470 -v1570 -v1670 -v1770 v71 -v171 -v271 -v371 -v471 -v571 -v671 -v771 -v871 -v971 -v1071 -v1171 -v1271 -v1371 -v1471 -v1571 -v1671 -v1771 -v72 -v172 -v272 -v372 -v472 -v572 -v672 -v772 v872 -v972 -v1072 -v1172 -v1272 -v1372 -v1472 -v1572 -v1672 -v1772 -v73 -v173 -v273 -v373 -v473 -v573 -v673 -v773 -v873 -v973 -v1073 -v1173 -v1273 -v1373 v1473 -v1573 -v1673 -v1773 -v74 -v174 -v274 -v374 -v474 -v574 -v674 -v774 -v874 -v974 -v1074 -v1174 -v1274 -v1374 -v1474 -v1574 -v1674 v1774 -v75 -v175 -v275 -v375 -v475 -v575 -v675 -v775 -v875 -v975 -v1075 -v1175 -v1275 v1375 -v1475 -v1575 -v1675 -v1775 -v76 -v176 -v276 -v376 -v476 -v576 -v676 v776 -v876 -v976 -v1076 -v1176 -v1276 -v1376 -v1476 -v1576 -v1676 -v1776 -v77 -v177 -v277 v377 -v477 -v577 -v677 -v777 -v877 -v977 -v1077 -v1177 -v1277 -v1377 -v1477 -v1577 -v1677 -v1777 -v79 -v179 -v279 -v379 -v479 -v579 -v679 -v779 -v879 -v979 v1079 -v1179 -v1279 -v1379 -v1479 -v1579 -v1679 -v1779 -v80 -v180 -v280 -v380 -v480 -v580 -v680 -v780 -v880 -v980 -v1080 -v1180 -v1280 -v1380 -v1480 -v1580 v1680 -v1780 -v81 -v181 -v281 -v381 -v481 v581 -v681 -v781 -v881 -v981 -v1081 -v1181 -v1281 -v1381 -v1481 -v1581 -v1681 -v1781 v82 -v182 -v282 -v382 -v482 -v582 -v682 -v782 -v882 -v982 -v1082 -v1182 -v1282 -v1382 -v1482 -v1582 -v1682 -v1782 -v83 -v183 -v283 -v383 -v483 -v583 -v683 -v783 -v883 -v983 -v1083 -v1183 -v1283 -v1383 -v1483 -v1583 -v1683 v1783 -v84 -v184 -v284 -v384 -v484 -v584 -v684 -v784 -v884 -v984 -v1084 -v1184 -v1284 -v1384 -v1484 v1584 -v1684 -v1784 -v85 -v185 -v285 -v385 -v485 -v585 -v685 -v785 v885 -v985 -v1085 -v1185 -v1285 -v1385 -v1485 -v1585 -v1685 -v1785 -v86 -v186 -v286 -v386 -v486 -v586 v686 -v786 -v886 -v986 -v1086 -v1186 -v1286 -v1386 -v1486 -v1586 -v1686 -v1786 -v87 -v187 -v287 -v387 v487 -v587 -v687 -v787 -v887 -v987 -v1087 -v1187 -v1287 -v1387 -v1487 -v1587 -v1687 -v1787 -v88 -v188 -v288 -v388 -v488 -v588 -v688 -v788 -v888 -v988 -v1088 -v1188 v1288 -v1388 -v1488 -v1588 -v1688 -v1788 -v90 -v190 -v290 -v390 -v490 -v590 -v690 -v790 -v890 -v990 -v1090 -v1190 -v1290 v1390 -v1490 -v1590 -v1690 -v1790 -v91 -v191 -v291 -v391 -v491 -v591 -v691 -v791 -v891 -v991 v1091 -v1191 -v1291 -v1391 -v1491 -v1591 -v1691 -v1791 -v92 -v192 -v292 -v392 -v492 -v592 -v692 -v792 -v892 -v992 -v1092 -v1192 -v1292 -v1392 v1492 -v1592 -v1692 -v1792 v93 -v193 -v293 -v393 -v493 -v593 -v693 -v793 -v893 -v993 -v1093 -v1193 -v1293 -v1393 -v1493 -v1593 -v1693 -v1793 -v94 -v194 -v294 -v394 -v494 -v594 v694 -v794 -v894 -v994 -v1094 -v1194 -v1294 -v1394 -v1494 -v1594 -v1694 -v1794 -v95 -v195 -v295 -v395 -v495 -v595 -v695 -v795 -v895 -v995 -v1095 -v1195 v1295 -v1395 -v1495 -v1595 -v1695 -v1795 -v96 -v196 -v296 -v396 v496 -v596 -v696 -v796 -v896 -v996 -v1096 -v1196 -v1296 -v1396 -v1496 -v1596 -v1696 -v1796 -v97 -v197 -v297 -v397 -v497 -v597 -v697 -v797 -v897 -v997 -v1097 -v1197 -v1297 -v1397 -v1497 -v1597 -v1697 v1797 -v98 -v198 -v298 -v398 -v498 -v598 -v698 -v798 -v898 v998 -v1098 -v1198 -v1298 -v1398 -v1498 -v1598 -v1698 -v1798 -v99 -v199 -v299 -v399 -v499 -v599 -v699 v799 -v899 -v999 -v1099 -v1199 -v1299 -v1399 -v1499 -v1599 -v1699 -v1799 v12 -v112 v212 v312 -v412 -v512 -v612 v712 v812 v912 -v1012 -v1112 -v1212 v1312 v1412 -v1512 v1612 -v1712 v23 v123 v223 -v323 -v423 v523 -v623 -v723 -v823 v923 v1023 v1123 -v1223 -v1323 v1423 -v1523 -v1623 v1723 -v34 -v134 -v234 v334 v434 -v534 v634 v734 v834 -v934 -v1034 -v1134 v1234 -v1334 v1434 v1534 -v1634 v1734 v45 -v145 -v245 -v345 v445 v545 v645 -v745 v845 -v945 -v1045 v1145 v1245 v1345 -v1445 -v1545 -v1645 v1745 v56 -v156 -v256 -v356 v456 -v556 v656 v756 -v856 v956 v1056 -v1156 -v1256 v1356 v1456 v1556 -v1656 -v1756 -v67 -v167 -v267 v367 v467 -v567 -v667 -v767 v867 -v967 v1067 -v1167 v1267 v1367 -v1467 v1567 v1667 v1767 -v78 v178 v278 -v378 v478 v578 v678 -v778 -v878 v978 -v1078 v1178 v1278 -v1378 -v1478 v1578 -v1678 -v1778 -v89 v189 v289 v389 -v489 -v589 -v689 v789 -v889 v989 v1089 v1189 -v1289 -v1389 v1489 -v1589 v1689 -v1789 -v100 v200 v300 v400 -v500 v600 -v700 -v800 v900 -v1000 -v1100 v1200 -v1300 v1400 -v1500 v1600 v1700 -v1800 v1 v101 -v201 -v301 -v401 v501 v601 v701 -v801 -v901 v1001 -v1101 v1201 -v1301 -v1401 -v1501 v1601 v1701 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (runsolver) R 10101 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 709184983 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.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 3865 0 0 0 984 12 0 0 25 0 1 0 709184983 21573632 3842 4294967295 134512640 134581331 3221221792 3221220772 134526382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5267 3842 566 18 0 5249 0
vsize: 21068
[startup+20.0009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 3865 0 0 0 1982 15 0 0 25 0 1 0 709184983 21573632 3842 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5267 3842 566 18 0 5249 0
vsize: 21068
[startup+30.0018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 3865 0 0 0 2982 15 0 0 25 0 1 0 709184983 21573632 3842 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5267 3842 566 18 0 5249 0
vsize: 21068
[startup+40.0018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 4279 0 0 0 3979 18 0 0 25 0 1 0 709184983 23322624 4256 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5694 4256 566 18 0 5676 0
vsize: 22776
[startup+50.0017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 4741 0 0 0 4977 21 0 0 25 0 1 0 709184983 25165824 4718 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6144 4718 566 18 0 6126 0
vsize: 24576
[startup+60.0019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 5241 0 0 0 5974 23 0 0 25 0 1 0 709184983 27234304 5218 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6649 5218 566 18 0 6631 0
vsize: 26596
[startup+70.0027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 5590 0 0 0 6970 28 0 0 25 0 1 0 709184983 28725248 5567 4294967295 134512640 134581331 3221221792 3221220688 134517915 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7013 5567 566 18 0 6995 0
vsize: 28052
[startup+80.0036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 6046 0 0 0 7967 31 0 0 25 0 1 0 709184983 30584832 6023 4294967295 134512640 134581331 3221221792 3221220760 134527301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7467 6023 566 18 0 7449 0
vsize: 29868
[startup+90.0036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 6464 0 0 0 8962 36 0 0 25 0 1 0 709184983 32272384 6441 4294967295 134512640 134581331 3221221792 3221220736 134516842 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7879 6441 566 18 0 7861 0
vsize: 31516
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 6967 0 0 0 9960 38 0 0 25 0 1 0 709184983 34271232 6944 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 6944 566 18 0 8349 0
vsize: 33468
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 7428 0 0 0 10958 41 0 0 25 0 1 0 709184983 36298752 7405 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8862 7405 566 18 0 8844 0
vsize: 35448
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 7944 0 0 0 11956 43 0 0 25 0 1 0 709184983 38338560 7921 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9360 7921 566 18 0 9342 0
vsize: 37440
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 8476 0 0 0 12954 45 0 0 25 0 1 0 709184983 40538112 8453 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9897 8453 566 18 0 9879 0
vsize: 39588
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 8960 0 0 0 13953 47 0 0 25 0 1 0 709184983 42487808 8937 4294967295 134512640 134581331 3221221792 3221220704 134519030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10373 8937 566 18 0 10355 0
vsize: 41492
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 9450 0 0 0 14951 48 0 0 25 0 1 0 709184983 44535808 9427 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10873 9427 566 18 0 10855 0
vsize: 43492
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 9908 0 0 0 15950 50 0 0 25 0 1 0 709184983 46354432 9885 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11317 9885 566 18 0 11299 0
vsize: 45268
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 10449 0 0 0 16947 53 0 0 25 0 1 0 709184983 48623616 10426 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11871 10426 566 18 0 11853 0
vsize: 47484
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 10979 0 0 0 17943 57 0 0 25 0 1 0 709184983 50782208 10956 4294967295 134512640 134581331 3221221792 3221220480 1075288351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12398 10956 566 18 0 12380 0
vsize: 49592
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 11415 0 0 0 18941 59 0 0 25 0 1 0 709184983 52670464 11392 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12859 11392 566 18 0 12841 0
vsize: 51436
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 11874 0 0 0 19939 61 0 0 25 0 1 0 709184983 54554624 11851 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13319 11851 566 18 0 13301 0
vsize: 53276
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 12300 0 0 0 20936 64 0 0 25 0 1 0 709184983 56315904 12277 4294967295 134512640 134581331 3221221792 3221220704 134527720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13749 12277 566 18 0 13731 0
vsize: 54996
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 12815 0 0 0 21933 67 0 0 25 0 1 0 709184983 58335232 12792 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14242 12792 566 18 0 14224 0
vsize: 56968
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 13302 0 0 0 22930 71 0 0 25 0 1 0 709184983 60358656 13279 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14736 13279 566 18 0 14718 0
vsize: 58944
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 13814 0 0 0 23927 74 0 0 25 0 1 0 709184983 62525440 13791 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15265 13791 566 18 0 15247 0
vsize: 61060
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 14324 0 0 0 24925 76 0 0 25 0 1 0 709184983 64598016 14301 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15771 14301 566 18 0 15753 0
vsize: 63084
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 14890 0 0 0 25923 78 0 0 25 0 1 0 709184983 66813952 14867 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16312 14867 566 18 0 16294 0
vsize: 65248
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 15368 0 0 0 26922 80 0 0 25 0 1 0 709184983 68829184 15345 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16804 15345 566 18 0 16786 0
vsize: 67216
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 15886 0 0 0 27920 81 0 0 25 0 1 0 709184983 70959104 15863 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17324 15863 566 18 0 17306 0
vsize: 69296
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16297 0 0 0 28920 82 0 0 25 0 1 0 709184983 72617984 16274 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17729 16274 566 18 0 17711 0
vsize: 70916
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16297 0 0 0 29919 83 0 0 25 0 1 0 709184983 72617984 16274 4294967295 134512640 134581331 3221221792 3221220480 1075289350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17729 16274 566 18 0 17711 0
vsize: 70916
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16297 0 0 0 30919 83 0 0 25 0 1 0 709184983 72617984 16274 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17729 16274 566 18 0 17711 0
vsize: 70916
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16297 0 0 0 31919 84 0 0 25 0 1 0 709184983 72617984 16274 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17729 16274 566 18 0 17711 0
vsize: 70916
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16297 0 0 0 32918 84 0 0 25 0 1 0 709184983 72617984 16274 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17729 16274 566 18 0 17711 0
vsize: 70916
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16297 0 0 0 33918 85 0 0 25 0 1 0 709184983 72617984 16274 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17729 16274 566 18 0 17711 0
vsize: 70916
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16297 0 0 0 34918 85 0 0 25 0 1 0 709184983 72617984 16274 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17729 16274 566 18 0 17711 0
vsize: 70916
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16297 0 0 0 35918 85 0 0 25 0 1 0 709184983 72617984 16274 4294967295 134512640 134581331 3221221792 3221220672 134558142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17729 16274 566 18 0 17711 0
vsize: 70916
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16297 0 0 0 36918 85 0 0 25 0 1 0 709184983 72617984 16274 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17729 16274 566 18 0 17711 0
vsize: 70916
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16297 0 0 0 37918 85 0 0 25 0 1 0 709184983 72617984 16274 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17729 16274 566 18 0 17711 0
vsize: 70916
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16297 0 0 0 38918 85 0 0 25 0 1 0 709184983 72617984 16274 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17729 16274 566 18 0 17711 0
vsize: 70916
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16297 0 0 0 39918 86 0 0 25 0 1 0 709184983 72617984 16274 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17729 16274 566 18 0 17711 0
vsize: 70916
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16297 0 0 0 40917 87 0 0 25 0 1 0 709184983 72617984 16274 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17729 16274 566 18 0 17711 0
vsize: 70916
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16297 0 0 0 41916 88 0 0 25 0 1 0 709184983 72617984 16274 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17729 16274 566 18 0 17711 0
vsize: 70916
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16297 0 0 0 42916 89 0 0 25 0 1 0 709184983 72617984 16274 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17729 16274 566 18 0 17711 0
vsize: 70916
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16297 0 0 0 43915 89 0 0 25 0 1 0 709184983 72617984 16274 4294967295 134512640 134581331 3221221792 3221220676 134557948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17729 16274 566 18 0 17711 0
vsize: 70916
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16297 0 0 0 44915 89 0 0 25 0 1 0 709184983 72617984 16274 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17729 16274 566 18 0 17711 0
vsize: 70916
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16363 0 0 0 45915 90 0 0 25 0 1 0 709184983 72892416 16340 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17796 16340 566 18 0 17778 0
vsize: 71184
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 16794 0 0 0 46914 91 0 0 25 0 1 0 709184983 74645504 16771 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18224 16771 566 18 0 18206 0
vsize: 72896
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 17207 0 0 0 47913 92 0 0 25 0 1 0 709184983 76279808 17184 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18623 17184 566 18 0 18605 0
vsize: 74492
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 17696 0 0 0 48912 93 0 0 25 0 1 0 709184983 78295040 17673 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19115 17673 566 18 0 19097 0
vsize: 76460
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 18058 0 0 0 49912 94 0 0 25 0 1 0 709184983 79814656 18035 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19486 18035 566 18 0 19468 0
vsize: 77944
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 18488 0 0 0 50910 95 0 0 25 0 1 0 709184983 81657856 18465 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19936 18465 566 18 0 19918 0
vsize: 79744
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 18998 0 0 0 51909 97 0 0 25 0 1 0 709184983 83660800 18975 4294967295 134512640 134581331 3221221792 3221220724 134558768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20425 18975 566 18 0 20407 0
vsize: 81700
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 19399 0 0 0 52908 98 0 0 25 0 1 0 709184983 85303296 19376 4294967295 134512640 134581331 3221221792 3221220612 1075289714 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20826 19376 566 18 0 20808 0
vsize: 83304
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 19810 0 0 0 53906 100 0 0 25 0 1 0 709184983 86941696 19787 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21226 19787 566 18 0 21208 0
vsize: 84904
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 20263 0 0 0 54905 101 0 0 25 0 1 0 709184983 88895488 20240 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21703 20240 566 18 0 21685 0
vsize: 86812
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 20707 0 0 0 55904 103 0 0 25 0 1 0 709184983 90624000 20684 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22125 20684 566 18 0 22107 0
vsize: 88500
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 21147 0 0 0 56903 104 0 0 25 0 1 0 709184983 92475392 21124 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21124 566 18 0 22559 0
vsize: 90308
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 21622 0 0 0 57901 105 0 0 25 0 1 0 709184983 94494720 21599 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23070 21599 566 18 0 23052 0
vsize: 92280
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 21974 0 0 0 58900 107 0 0 25 0 1 0 709184983 95838208 21951 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23398 21951 566 18 0 23380 0
vsize: 93592
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 22319 0 0 0 59899 108 0 0 25 0 1 0 709184983 97329152 22296 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23762 22296 566 18 0 23744 0
vsize: 95048
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 22675 0 0 0 60898 110 0 0 25 0 1 0 709184983 98697216 22652 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24096 22652 566 18 0 24078 0
vsize: 96384
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 23059 0 0 0 61897 111 0 0 25 0 1 0 709184983 100298752 23036 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 23036 566 18 0 24469 0
vsize: 97948
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 23414 0 0 0 62895 112 0 0 25 0 1 0 709184983 101793792 23391 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24852 23391 566 18 0 24834 0
vsize: 99408
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 23810 0 0 0 63894 114 0 0 25 0 1 0 709184983 103370752 23787 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25237 23787 566 18 0 25219 0
vsize: 100948
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 24174 0 0 0 64893 115 0 0 25 0 1 0 709184983 104828928 24151 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25593 24151 566 18 0 25575 0
vsize: 102372
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 24523 0 0 0 65892 116 0 0 25 0 1 0 709184983 106307584 24500 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25954 24500 566 18 0 25936 0
vsize: 103816
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 24889 0 0 0 66891 118 0 0 25 0 1 0 709184983 107769856 24866 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26311 24866 566 18 0 26293 0
vsize: 105244
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 25303 0 0 0 67890 119 0 0 25 0 1 0 709184983 109436928 25280 4294967295 134512640 134581331 3221221792 3221220704 134519023 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26718 25280 566 18 0 26700 0
vsize: 106872
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 25713 0 0 0 68889 120 0 0 25 0 1 0 709184983 111190016 25690 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27146 25690 566 18 0 27128 0
vsize: 108584
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 26075 0 0 0 69889 120 0 0 25 0 1 0 709184983 112721920 26052 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27520 26052 566 18 0 27502 0
vsize: 110080
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 26466 0 0 0 70888 121 0 0 25 0 1 0 709184983 114249728 26443 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27893 26443 566 18 0 27875 0
vsize: 111572
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 26668 0 0 0 71888 121 0 0 25 0 1 0 709184983 115036160 26645 4294967295 134512640 134581331 3221221792 3221220784 134526643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28085 26645 566 18 0 28067 0
vsize: 112340
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 26974 0 0 0 72887 123 0 0 25 0 1 0 709184983 116408320 26951 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28420 26951 566 18 0 28402 0
vsize: 113680
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27359 0 0 0 73886 124 0 0 25 0 1 0 709184983 117886976 27336 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28781 27336 566 18 0 28763 0
vsize: 115124
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 74885 125 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 75885 125 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 76884 126 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220688 134517868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 77884 126 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 78884 126 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220672 134558136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 79884 127 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 80884 127 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 81884 127 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 82884 127 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 83883 128 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 84882 130 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 85882 130 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 86881 130 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 87881 131 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 88881 131 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 89881 131 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 90881 132 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 91881 132 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220720 134520043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 92881 132 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 93880 133 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220704 134527998 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 94880 133 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 95880 133 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 96880 134 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 97880 134 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 98879 135 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 99880 135 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 100880 135 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 101880 135 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 102880 135 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 103880 135 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220676 134557809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 104880 135 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 105880 136 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220720 134520003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 106879 136 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 107879 136 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 108879 136 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 109879 137 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 110879 137 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 111878 138 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 112877 139 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 113877 140 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 114876 140 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 115876 141 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27410 0 0 0 116876 141 0 0 25 0 1 0 709184983 118157312 27387 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28847 27387 566 18 0 28829 0
vsize: 115388
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27748 0 0 0 117875 142 0 0 25 0 1 0 709184983 119554048 27725 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29188 27725 566 18 0 29170 0
vsize: 116752
[startup+1188.92 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 10102
Raw data (stat): 10102 (Pueblo) R 10101 7876 7672 0 -1 0 27748 0 0 0 117875 142 0 0 25 0 1 0 709184983 119554048 27725 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29188 27725 566 18 0 29170 0
vsize: 0

Child status: 10
Real time (s): 1188.92
CPU time (s): 1189.07
CPU user time (s): 1187.58
CPU system time (s): 1.49477
CPU usage (%): 100.013
Max. virtual memory (Kb): 116752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	83055
#### END VERIFIER DATA ####