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/primes-dimacs-cnf/normalized-par32-4-c.opb
MD5SUM	3d2c3109962e8068c6ff1a393a02942b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2666
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2666
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2666
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2666
Total number of constraints	6659
Number of constraints which are clauses	6659
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 24185

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 23:05:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1879 boxname=wulflinc31 idbench=209 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  3d2c3109962e8068c6ff1a393a02942b  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-4-c.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-par32-4-c.opb
IDLAUNCH: 1879
/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:        136916 kB
Buffers:         42492 kB
Cached:         820872 kB
SwapCached:        644 kB
Active:         494768 kB
Inactive:       370944 kB
HighTotal:      131008 kB
HighFree:          728 kB
LowTotal:       903652 kB
LowFree:        136188 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26372 kB
Committed_AS:    63648 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 23:25:59 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 1879 7 1200.2 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### 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.92 0.95 0.97 2/54 18197
Raw data (stat): 18197 (runsolver) R 18196 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 695789437 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.0009 s]
Raw data (loadavg): 0.93 0.96 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 730 0 0 0 994 2 0 0 25 0 1 0 695789437 8704000 707 4294967295 134512640 134581331 3221221792 3221220720 134520109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2125 707 566 18 0 2107 0
vsize: 8500
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 851 0 0 0 1994 3 0 0 25 0 1 0 695789437 9236480 828 4294967295 134512640 134581331 3221221792 3221220736 134559200 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2255 828 566 18 0 2237 0
vsize: 9020
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 918 0 0 0 2994 3 0 0 25 0 1 0 695789437 9498624 895 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2319 895 566 18 0 2301 0
vsize: 9276
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1006 0 0 0 3994 3 0 0 25 0 1 0 695789437 9768960 983 4294967295 134512640 134581331 3221221792 3221220784 134561073 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2385 983 566 18 0 2367 0
vsize: 9540
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1022 0 0 0 4994 3 0 0 25 0 1 0 695789437 9900032 999 4294967295 134512640 134581331 3221221792 3221220672 134560204 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2417 999 566 18 0 2399 0
vsize: 9668
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1054 0 0 0 5994 3 0 0 25 0 1 0 695789437 10031104 1031 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2449 1031 566 18 0 2431 0
vsize: 9796
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1078 0 0 0 6994 3 0 0 25 0 1 0 695789437 10162176 1055 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1055 566 18 0 2463 0
vsize: 9924
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1126 0 0 0 7994 3 0 0 25 0 1 0 695789437 10297344 1103 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2514 1103 566 18 0 2496 0
vsize: 10056
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1284 0 0 0 8994 4 0 0 25 0 1 0 695789437 10956800 1261 4294967295 134512640 134581331 3221221792 3221220660 1075289753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2675 1261 566 18 0 2657 0
vsize: 10700
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1298 0 0 0 9994 4 0 0 25 0 1 0 695789437 11087872 1275 4294967295 134512640 134581331 3221221792 3221220736 134559240 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2707 1275 566 18 0 2689 0
vsize: 10828
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1332 0 0 0 10994 4 0 0 25 0 1 0 695789437 11218944 1309 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2739 1309 566 18 0 2721 0
vsize: 10956
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1332 0 0 0 11994 4 0 0 25 0 1 0 695789437 11218944 1309 4294967295 134512640 134581331 3221221792 3221220704 134531400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2739 1309 566 18 0 2721 0
vsize: 10956
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1404 0 0 0 12995 4 0 0 25 0 1 0 695789437 11481088 1381 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2803 1381 566 18 0 2785 0
vsize: 11212
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1405 0 0 0 13995 4 0 0 25 0 1 0 695789437 11481088 1382 4294967295 134512640 134581331 3221221792 3221220672 134560213 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2803 1382 566 18 0 2785 0
vsize: 11212
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1405 0 0 0 14995 4 0 0 25 0 1 0 695789437 11481088 1382 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2803 1382 566 18 0 2785 0
vsize: 11212
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1409 0 0 0 15994 5 0 0 25 0 1 0 695789437 11481088 1386 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2803 1386 566 18 0 2785 0
vsize: 11212
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1416 0 0 0 16995 5 0 0 25 0 1 0 695789437 11624448 1393 4294967295 134512640 134581331 3221221792 3221220780 134561090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2838 1393 566 18 0 2820 0
vsize: 11352
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1420 0 0 0 17995 5 0 0 25 0 1 0 695789437 11624448 1397 4294967295 134512640 134581331 3221221792 3221220720 134520109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2838 1397 566 18 0 2820 0
vsize: 11352
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1423 0 0 0 18995 5 0 0 25 0 1 0 695789437 11624448 1400 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2838 1400 566 18 0 2820 0
vsize: 11352
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1495 0 0 0 19995 5 0 0 25 0 1 0 695789437 11886592 1472 4294967295 134512640 134581331 3221221792 3221220784 134560663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2902 1472 566 18 0 2884 0
vsize: 11608
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1532 0 0 0 20995 5 0 0 25 0 1 0 695789437 12017664 1509 4294967295 134512640 134581331 3221221792 3221220736 134558978 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2934 1509 566 18 0 2916 0
vsize: 11736
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1542 0 0 0 21995 5 0 0 25 0 1 0 695789437 12161024 1519 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2969 1519 566 18 0 2951 0
vsize: 11876
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1542 0 0 0 22995 5 0 0 25 0 1 0 695789437 12161024 1519 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2969 1519 566 18 0 2951 0
vsize: 11876
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1566 0 0 0 23995 6 0 0 25 0 1 0 695789437 12161024 1543 4294967295 134512640 134581331 3221221792 3221220768 134561104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2969 1543 566 18 0 2951 0
vsize: 11876
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1570 0 0 0 24995 6 0 0 25 0 1 0 695789437 12300288 1547 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3003 1547 566 18 0 2985 0
vsize: 12012
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1570 0 0 0 25995 6 0 0 25 0 1 0 695789437 12300288 1547 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3003 1547 566 18 0 2985 0
vsize: 12012
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1570 0 0 0 26995 6 0 0 25 0 1 0 695789437 12300288 1547 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3003 1547 566 18 0 2985 0
vsize: 12012
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1571 0 0 0 27995 6 0 0 25 0 1 0 695789437 12300288 1548 4294967295 134512640 134581331 3221221792 3221220724 134558768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3003 1548 566 18 0 2985 0
vsize: 12012
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1577 0 0 0 28996 6 0 0 25 0 1 0 695789437 12300288 1554 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3003 1554 566 18 0 2985 0
vsize: 12012
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1583 0 0 0 29996 6 0 0 25 0 1 0 695789437 12300288 1560 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3003 1560 566 18 0 2985 0
vsize: 12012
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1599 0 0 0 30996 6 0 0 25 0 1 0 695789437 12439552 1576 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3037 1576 566 18 0 3019 0
vsize: 12148
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1674 0 0 0 31996 6 0 0 25 0 1 0 695789437 12701696 1651 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3101 1651 566 18 0 3083 0
vsize: 12404
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1674 0 0 0 32996 6 0 0 25 0 1 0 695789437 12701696 1651 4294967295 134512640 134581331 3221221792 3221220768 134560746 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3101 1651 566 18 0 3083 0
vsize: 12404
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1675 0 0 0 33996 6 0 0 25 0 1 0 695789437 12701696 1652 4294967295 134512640 134581331 3221221792 3221220720 134520032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3101 1652 566 18 0 3083 0
vsize: 12404
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1691 0 0 0 34996 6 0 0 25 0 1 0 695789437 12701696 1668 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3101 1668 566 18 0 3083 0
vsize: 12404
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1691 0 0 0 35996 6 0 0 25 0 1 0 695789437 12701696 1668 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3101 1668 566 18 0 3083 0
vsize: 12404
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1691 0 0 0 36996 6 0 0 25 0 1 0 695789437 12701696 1668 4294967295 134512640 134581331 3221221792 3221220768 134561104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3101 1668 566 18 0 3083 0
vsize: 12404
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1705 0 0 0 37997 6 0 0 25 0 1 0 695789437 12836864 1682 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1682 566 18 0 3116 0
vsize: 12536
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1705 0 0 0 38997 6 0 0 25 0 1 0 695789437 12836864 1682 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1682 566 18 0 3116 0
vsize: 12536
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1706 0 0 0 39997 6 0 0 25 0 1 0 695789437 12836864 1683 4294967295 134512640 134581331 3221221792 3221220736 134559277 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1683 566 18 0 3116 0
vsize: 12536
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1706 0 0 0 40997 6 0 0 25 0 1 0 695789437 12836864 1683 4294967295 134512640 134581331 3221221792 3221220720 134519999 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1683 566 18 0 3116 0
vsize: 12536
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1706 0 0 0 41997 6 0 0 25 0 1 0 695789437 12836864 1683 4294967295 134512640 134581331 3221221792 3221220780 134561090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1683 566 18 0 3116 0
vsize: 12536
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1706 0 0 0 42998 6 0 0 25 0 1 0 695789437 12836864 1683 4294967295 134512640 134581331 3221221792 3221220784 134561117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1683 566 18 0 3116 0
vsize: 12536
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1706 0 0 0 43998 6 0 0 25 0 1 0 695789437 12836864 1683 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1683 566 18 0 3116 0
vsize: 12536
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1707 0 0 0 44998 6 0 0 25 0 1 0 695789437 12836864 1684 4294967295 134512640 134581331 3221221792 3221220784 134561137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1684 566 18 0 3116 0
vsize: 12536
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1707 0 0 0 45998 6 0 0 25 0 1 0 695789437 12836864 1684 4294967295 134512640 134581331 3221221792 3221220720 134520039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1684 566 18 0 3116 0
vsize: 12536
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1707 0 0 0 46998 6 0 0 25 0 1 0 695789437 12836864 1684 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1684 566 18 0 3116 0
vsize: 12536
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.97 3/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1708 0 0 0 47999 6 0 0 25 0 1 0 695789437 12836864 1685 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1685 566 18 0 3116 0
vsize: 12536
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1722 0 0 0 48999 6 0 0 25 0 1 0 695789437 12836864 1699 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1699 566 18 0 3116 0
vsize: 12536
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1743 0 0 0 49999 6 0 0 25 0 1 0 695789437 12967936 1720 4294967295 134512640 134581331 3221221792 3221220720 134520043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3166 1720 566 18 0 3148 0
vsize: 12664
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1766 0 0 0 50999 7 0 0 25 0 1 0 695789437 12967936 1743 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3166 1743 566 18 0 3148 0
vsize: 12664
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1767 0 0 0 51999 7 0 0 25 0 1 0 695789437 12967936 1744 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3166 1744 566 18 0 3148 0
vsize: 12664
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1788 0 0 0 53000 7 0 0 25 0 1 0 695789437 13131776 1765 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3206 1765 566 18 0 3188 0
vsize: 12824
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1793 0 0 0 54000 7 0 0 25 0 1 0 695789437 13131776 1770 4294967295 134512640 134581331 3221221792 3221220724 134558768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3206 1770 566 18 0 3188 0
vsize: 12824
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1795 0 0 0 55000 7 0 0 25 0 1 0 695789437 13131776 1772 4294967295 134512640 134581331 3221221792 3221220672 134520347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3206 1772 566 18 0 3188 0
vsize: 12824
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1795 0 0 0 56000 7 0 0 25 0 1 0 695789437 13131776 1772 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3206 1772 566 18 0 3188 0
vsize: 12824
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1795 0 0 0 57000 7 0 0 25 0 1 0 695789437 13131776 1772 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3206 1772 566 18 0 3188 0
vsize: 12824
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1795 0 0 0 58000 7 0 0 25 0 1 0 695789437 13131776 1772 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3206 1772 566 18 0 3188 0
vsize: 12824
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1795 0 0 0 59001 7 0 0 25 0 1 0 695789437 13131776 1772 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3206 1772 566 18 0 3188 0
vsize: 12824
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1812 0 0 0 60001 7 0 0 25 0 1 0 695789437 13262848 1789 4294967295 134512640 134581331 3221221792 3221220672 134520325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3238 1789 566 18 0 3220 0
vsize: 12952
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1829 0 0 0 61001 7 0 0 25 0 1 0 695789437 13262848 1806 4294967295 134512640 134581331 3221221792 3221220736 134558953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3238 1806 566 18 0 3220 0
vsize: 12952
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1839 0 0 0 62001 7 0 0 25 0 1 0 695789437 13398016 1816 4294967295 134512640 134581331 3221221792 3221220736 134559362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3271 1816 566 18 0 3253 0
vsize: 13084
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1839 0 0 0 63002 7 0 0 25 0 1 0 695789437 13398016 1816 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3271 1816 566 18 0 3253 0
vsize: 13084
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1845 0 0 0 64002 7 0 0 25 0 1 0 695789437 13398016 1822 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3271 1822 566 18 0 3253 0
vsize: 13084
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1845 0 0 0 65002 7 0 0 25 0 1 0 695789437 13398016 1822 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3271 1822 566 18 0 3253 0
vsize: 13084
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1845 0 0 0 66002 7 0 0 25 0 1 0 695789437 13398016 1822 4294967295 134512640 134581331 3221221792 3221220760 134519777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3271 1822 566 18 0 3253 0
vsize: 13084
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1845 0 0 0 67002 7 0 0 25 0 1 0 695789437 13398016 1822 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3271 1822 566 18 0 3253 0
vsize: 13084
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1845 0 0 0 68002 7 0 0 25 0 1 0 695789437 13398016 1822 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3271 1822 566 18 0 3253 0
vsize: 13084
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1849 0 0 0 69003 7 0 0 25 0 1 0 695789437 13398016 1826 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3271 1826 566 18 0 3253 0
vsize: 13084
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1871 0 0 0 70003 7 0 0 25 0 1 0 695789437 13533184 1848 4294967295 134512640 134581331 3221221792 3221220720 134519812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1848 566 18 0 3286 0
vsize: 13216
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1871 0 0 0 71003 7 0 0 25 0 1 0 695789437 13533184 1848 4294967295 134512640 134581331 3221221792 3221220784 134561122 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1848 566 18 0 3286 0
vsize: 13216
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1871 0 0 0 72003 7 0 0 25 0 1 0 695789437 13533184 1848 4294967295 134512640 134581331 3221221792 3221220720 134519817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1848 566 18 0 3286 0
vsize: 13216
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1875 0 0 0 73003 7 0 0 25 0 1 0 695789437 13533184 1852 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1852 566 18 0 3286 0
vsize: 13216
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1875 0 0 0 74003 7 0 0 25 0 1 0 695789437 13533184 1852 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1852 566 18 0 3286 0
vsize: 13216
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1903 0 0 0 75003 7 0 0 25 0 1 0 695789437 13664256 1880 4294967295 134512640 134581331 3221221792 3221220736 134559269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3336 1880 566 18 0 3318 0
vsize: 13344
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1922 0 0 0 76003 8 0 0 25 0 1 0 695789437 13664256 1899 4294967295 134512640 134581331 3221221792 3221220720 134519899 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3336 1899 566 18 0 3318 0
vsize: 13344
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1940 0 0 0 77002 8 0 0 25 0 1 0 695789437 13799424 1917 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3369 1917 566 18 0 3351 0
vsize: 13476
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1950 0 0 0 78003 8 0 0 25 0 1 0 695789437 13799424 1927 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3369 1927 566 18 0 3351 0
vsize: 13476
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1950 0 0 0 79003 9 0 0 25 0 1 0 695789437 13799424 1927 4294967295 134512640 134581331 3221221792 3221220768 134560721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3369 1927 566 18 0 3351 0
vsize: 13476
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1950 0 0 0 80003 9 0 0 25 0 1 0 695789437 13799424 1927 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3369 1927 566 18 0 3351 0
vsize: 13476
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1950 0 0 0 81003 9 0 0 25 0 1 0 695789437 13799424 1927 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3369 1927 566 18 0 3351 0
vsize: 13476
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1966 0 0 0 82003 9 0 0 25 0 1 0 695789437 13930496 1943 4294967295 134512640 134581331 3221221792 3221220736 134559223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3401 1943 566 18 0 3383 0
vsize: 13604
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1972 0 0 0 83003 9 0 0 25 0 1 0 695789437 13930496 1949 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3401 1949 566 18 0 3383 0
vsize: 13604
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1978 0 0 0 84003 9 0 0 25 0 1 0 695789437 13930496 1955 4294967295 134512640 134581331 3221221792 3221220768 134561011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3401 1955 566 18 0 3383 0
vsize: 13604
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1978 0 0 0 85003 9 0 0 25 0 1 0 695789437 13930496 1955 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3401 1955 566 18 0 3383 0
vsize: 13604
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1978 0 0 0 86004 9 0 0 25 0 1 0 695789437 13930496 1955 4294967295 134512640 134581331 3221221792 3221220672 134560500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3401 1955 566 18 0 3383 0
vsize: 13604
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1978 0 0 0 87004 9 0 0 25 0 1 0 695789437 13930496 1955 4294967295 134512640 134581331 3221221792 3221220704 134519975 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3401 1955 566 18 0 3383 0
vsize: 13604
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 88004 9 0 0 25 0 1 0 695789437 14061568 1975 4294967295 134512640 134581331 3221221792 3221220784 134561145 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1975 566 18 0 3415 0
vsize: 13732
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 89004 9 0 0 25 0 1 0 695789437 14045184 1975 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3429 1975 566 18 0 3411 0
vsize: 13716
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 90004 9 0 0 25 0 1 0 695789437 14045184 1975 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3429 1975 566 18 0 3411 0
vsize: 13716
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 91004 9 0 0 25 0 1 0 695789437 14041088 1975 4294967295 134512640 134581331 3221221792 3221220752 134516726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3428 1975 566 18 0 3410 0
vsize: 13712
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 92005 9 0 0 25 0 1 0 695789437 14041088 1975 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3428 1975 566 18 0 3410 0
vsize: 13712
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 93005 9 0 0 25 0 1 0 695789437 14004224 1975 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3419 1975 566 18 0 3401 0
vsize: 13676
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 94005 9 0 0 25 0 1 0 695789437 13991936 1975 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3416 1975 566 18 0 3398 0
vsize: 13664
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 95005 9 0 0 25 0 1 0 695789437 13991936 1975 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3416 1975 566 18 0 3398 0
vsize: 13664
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 96005 9 0 0 25 0 1 0 695789437 13991936 1975 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3416 1975 566 18 0 3398 0
vsize: 13664
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 97005 9 0 0 25 0 1 0 695789437 13983744 1975 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3414 1975 566 18 0 3396 0
vsize: 13656
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 98006 9 0 0 25 0 1 0 695789437 13979648 1975 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3413 1975 566 18 0 3395 0
vsize: 13652
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 99006 9 0 0 25 0 1 0 695789437 13975552 1975 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3412 1975 566 18 0 3394 0
vsize: 13648
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 100006 9 0 0 25 0 1 0 695789437 13971456 1975 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 1975 566 18 0 3393 0
vsize: 13644
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 101006 9 0 0 25 0 1 0 695789437 13971456 1975 4294967295 134512640 134581331 3221221792 3221220784 134561122 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 1975 566 18 0 3393 0
vsize: 13644
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 102006 9 0 0 25 0 1 0 695789437 13971456 1975 4294967295 134512640 134581331 3221221792 3221220784 134561080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 1975 566 18 0 3393 0
vsize: 13644
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 103006 9 0 0 25 0 1 0 695789437 13971456 1975 4294967295 134512640 134581331 3221221792 3221220768 134560724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 1975 566 18 0 3393 0
vsize: 13644
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 104007 9 0 0 25 0 1 0 695789437 13971456 1975 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 1975 566 18 0 3393 0
vsize: 13644
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 105007 9 0 0 25 0 1 0 695789437 13971456 1975 4294967295 134512640 134581331 3221221792 3221220764 134519895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 1975 566 18 0 3393 0
vsize: 13644
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1998 0 0 0 106007 9 0 0 25 0 1 0 695789437 13971456 1975 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 1975 566 18 0 3393 0
vsize: 13644
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1999 0 0 0 107007 9 0 0 25 0 1 0 695789437 13971456 1976 4294967295 134512640 134581331 3221221792 3221220724 134558768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 1976 566 18 0 3393 0
vsize: 13644
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1999 0 0 0 108007 9 0 0 25 0 1 0 695789437 13971456 1976 4294967295 134512640 134581331 3221221792 3221220688 134517868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 1976 566 18 0 3393 0
vsize: 13644
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1999 0 0 0 109007 9 0 0 25 0 1 0 695789437 13971456 1976 4294967295 134512640 134581331 3221221792 3221220672 134520299 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 1976 566 18 0 3393 0
vsize: 13644
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 1999 0 0 0 110007 10 0 0 25 0 1 0 695789437 13971456 1976 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 1976 566 18 0 3393 0
vsize: 13644
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 2004 0 0 0 111008 10 0 0 25 0 1 0 695789437 13971456 1981 4294967295 134512640 134581331 3221221792 3221220752 134554660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 1981 566 18 0 3393 0
vsize: 13644
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 2004 0 0 0 112008 10 0 0 25 0 1 0 695789437 13971456 1981 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 1981 566 18 0 3393 0
vsize: 13644
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 2004 0 0 0 113008 10 0 0 25 0 1 0 695789437 13971456 1981 4294967295 134512640 134581331 3221221792 3221220620 1075285160 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 1981 566 18 0 3393 0
vsize: 13644
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 2004 0 0 0 114008 10 0 0 25 0 1 0 695789437 13971456 1981 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 1981 566 18 0 3393 0
vsize: 13644
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 2077 0 0 0 115008 10 0 0 25 0 1 0 695789437 14368768 2054 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3508 2054 566 18 0 3490 0
vsize: 14032
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 2083 0 0 0 116008 10 0 0 25 0 1 0 695789437 14368768 2060 4294967295 134512640 134581331 3221221792 3221220752 134531401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3508 2060 566 18 0 3490 0
vsize: 14032
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 2083 0 0 0 117008 10 0 0 25 0 1 0 695789437 14368768 2060 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3508 2060 566 18 0 3490 0
vsize: 14032
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 2107 0 0 0 118009 10 0 0 25 0 1 0 695789437 14503936 2084 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3541 2084 566 18 0 3523 0
vsize: 14164
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 2157 0 0 0 119009 10 0 0 25 0 1 0 695789437 14635008 2134 4294967295 134512640 134581331 3221221792 3221220720 134520049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3573 2134 566 18 0 3555 0
vsize: 14292
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18197
Raw data (stat): 18197 (Pueblo) R 18196 7876 7672 0 -1 0 2157 0 0 0 120009 10 0 0 25 0 1 0 695789437 14635008 2134 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3573 2134 566 18 0 3555 0
vsize: 14292
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.97 1/54 18197
Raw data (stat): 18197 (Pueblo) Z 18196 7876 7672 0 -1 1036 2157 0 0 0 120009 11 0 0 25 0 1 0 695789437 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.2
CPU user time (s): 1200.09
CPU system time (s): 0.110983
CPU usage (%): 100.013
Max. virtual memory (Kb): 14292
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####