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/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb
MD5SUM	7872170cf5be0e3f0e6be125266c16ee
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	1364
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	230637
Number of bits of the sum of numbers in the objective function	18
Biggest number in a constraint	12800
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	879673
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	19292
Total number of constraints	4170
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1403
Number of constraints which are nor clauses,nor cardinality constraints	2767
Minimum length of a constraint	1
Maximum length of a constraint	980
Trace number 25807

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 16:47:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17414 boxname=wulflinc31 idbench=1340 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  7872170cf5be0e3f0e6be125266c16ee  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-aflow40b.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-aflow40b.opb
IDLAUNCH: 17414
/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:        893692 kB
Buffers:          7656 kB
Cached:         113380 kB
SwapCached:       1024 kB
Active:          67488 kB
Inactive:        55688 kB
HighTotal:      131008 kB
HighFree:        18620 kB
LowTotal:       903652 kB
LowFree:        875072 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12264 kB
Committed_AS:    63848 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 17:07:28 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 17414 7 1200.21 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.91 2/55 26783
Raw data (stat): 26783 (runsolver) R 26782 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 814491949 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99967 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 2656 0 0 0 989 7 0 0 25 0 1 0 814491949 17481728 2633 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4268 2633 566 18 0 4250 0
vsize: 17072
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 2706 0 0 0 1988 8 0 0 25 0 1 0 814491949 17657856 2683 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4311 2683 566 18 0 4293 0
vsize: 17244
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 2890 0 0 0 2988 9 0 0 25 0 1 0 814491949 18448384 2867 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4504 2867 566 18 0 4486 0
vsize: 18016
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 3178 0 0 0 3986 10 0 0 25 0 1 0 814491949 19619840 3155 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4790 3155 566 18 0 4772 0
vsize: 19160
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 3623 0 0 0 4985 12 0 0 25 0 1 0 814491949 21442560 3600 4294967295 134512640 134581331 3221221792 3221220772 134560793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5235 3600 566 18 0 5217 0
vsize: 20940
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 3922 0 0 0 5985 12 0 0 25 0 1 0 814491949 22728704 3899 4294967295 134512640 134581331 3221221792 3221220508 1075288233 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5549 3899 566 18 0 5531 0
vsize: 22196
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4170 0 0 0 6984 14 0 0 25 0 1 0 814491949 23638016 4147 4294967295 134512640 134581331 3221221792 3221220704 134528074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5771 4147 566 18 0 5753 0
vsize: 23084
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4474 0 0 0 7982 15 0 0 25 0 1 0 814491949 24940544 4451 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6089 4451 566 18 0 6071 0
vsize: 24356
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4535 0 0 0 8982 16 0 0 25 0 1 0 814491949 25194496 4512 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6151 4512 566 18 0 6133 0
vsize: 24604
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4535 0 0 0 9982 16 0 0 25 0 1 0 814491949 25194496 4512 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6151 4512 566 18 0 6133 0
vsize: 24604
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4535 0 0 0 10981 16 0 0 25 0 1 0 814491949 25194496 4512 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6151 4512 566 18 0 6133 0
vsize: 24604
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4727 0 0 0 11981 17 0 0 25 0 1 0 814491949 25952256 4704 4294967295 134512640 134581331 3221221792 3221220704 134527429 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6336 4704 566 18 0 6318 0
vsize: 25344
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4727 0 0 0 12981 17 0 0 25 0 1 0 814491949 25952256 4704 4294967295 134512640 134581331 3221221792 3221220704 134528074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6336 4704 566 18 0 6318 0
vsize: 25344
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4727 0 0 0 13980 18 0 0 25 0 1 0 814491949 25952256 4704 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6336 4704 566 18 0 6318 0
vsize: 25344
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4866 0 0 0 14980 18 0 0 25 0 1 0 814491949 26591232 4843 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6492 4843 566 18 0 6474 0
vsize: 25968
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 5186 0 0 0 15979 20 0 0 25 0 1 0 814491949 27852800 5163 4294967295 134512640 134581331 3221221792 3221220672 134520271 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6800 5163 566 18 0 6782 0
vsize: 27200
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 5290 0 0 0 16978 20 0 0 25 0 1 0 814491949 28237824 5267 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6894 5267 566 18 0 6876 0
vsize: 27576
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 5290 0 0 0 17978 20 0 0 25 0 1 0 814491949 28237824 5267 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6894 5267 566 18 0 6876 0
vsize: 27576
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 5290 0 0 0 18978 21 0 0 25 0 1 0 814491949 28237824 5267 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6894 5267 566 18 0 6876 0
vsize: 27576
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 5290 0 0 0 19978 21 0 0 25 0 1 0 814491949 28237824 5267 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6894 5267 566 18 0 6876 0
vsize: 27576
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 5467 0 0 0 20977 22 0 0 25 0 1 0 814491949 28999680 5444 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7080 5444 566 18 0 7062 0
vsize: 28320
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 5766 0 0 0 21977 22 0 0 25 0 1 0 814491949 30269440 5743 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7390 5743 566 18 0 7372 0
vsize: 29560
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 5956 0 0 0 22976 23 0 0 25 0 1 0 814491949 31047680 5933 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7580 5933 566 18 0 7562 0
vsize: 30320
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 6156 0 0 0 23975 24 0 0 25 0 1 0 814491949 31854592 6133 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7777 6133 566 18 0 7759 0
vsize: 31108
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 6551 0 0 0 24975 25 0 0 25 0 1 0 814491949 33517568 6528 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8183 6528 566 18 0 8165 0
vsize: 32732
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 6853 0 0 0 25974 26 0 0 25 0 1 0 814491949 34652160 6830 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8460 6830 566 18 0 8442 0
vsize: 33840
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 7119 0 0 0 26973 27 0 0 25 0 1 0 814491949 35811328 7096 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8743 7096 566 18 0 8725 0
vsize: 34972
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 7315 0 0 0 27972 28 0 0 25 0 1 0 814491949 36577280 7292 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8930 7292 566 18 0 8912 0
vsize: 35720
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 7315 0 0 0 28972 28 0 0 25 0 1 0 814491949 36577280 7292 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8930 7292 566 18 0 8912 0
vsize: 35720
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 7315 0 0 0 29972 29 0 0 25 0 1 0 814491949 36577280 7292 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8930 7292 566 18 0 8912 0
vsize: 35720
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 7315 0 0 0 30972 29 0 0 25 0 1 0 814491949 36577280 7292 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8930 7292 566 18 0 8912 0
vsize: 35720
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 7315 0 0 0 31971 29 0 0 25 0 1 0 814491949 36577280 7292 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8930 7292 566 18 0 8912 0
vsize: 35720
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 7425 0 0 0 32971 30 0 0 25 0 1 0 814491949 37093376 7402 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9056 7402 566 18 0 9038 0
vsize: 36224
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 7763 0 0 0 33971 30 0 0 25 0 1 0 814491949 38473728 7740 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9393 7740 566 18 0 9375 0
vsize: 37572
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 8015 0 0 0 34970 31 0 0 25 0 1 0 814491949 39391232 7992 4294967295 134512640 134581331 3221221792 3221220704 134527701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9617 7992 566 18 0 9599 0
vsize: 38468
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 8279 0 0 0 35970 32 0 0 25 0 1 0 814491949 40542208 8256 4294967295 134512640 134581331 3221221792 3221220688 134517883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9898 8256 566 18 0 9880 0
vsize: 39592
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 8562 0 0 0 36969 33 0 0 25 0 1 0 814491949 41680896 8539 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10176 8539 566 18 0 10158 0
vsize: 40704
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 8830 0 0 0 37968 34 0 0 25 0 1 0 814491949 42844160 8807 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10460 8807 566 18 0 10442 0
vsize: 41840
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 9090 0 0 0 38967 35 0 0 25 0 1 0 814491949 43851776 9067 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10706 9067 566 18 0 10688 0
vsize: 42824
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 9478 0 0 0 39967 35 0 0 25 0 1 0 814491949 45498368 9455 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11108 9455 566 18 0 11090 0
vsize: 44432
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 9822 0 0 0 40966 36 0 0 25 0 1 0 814491949 46903296 9799 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11451 9799 566 18 0 11433 0
vsize: 45804
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 41965 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11786 10153 566 18 0 11768 0
vsize: 47144
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 42966 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11786 10153 566 18 0 11768 0
vsize: 47144
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 43966 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11786 10153 566 18 0 11768 0
vsize: 47144
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 44966 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11786 10153 566 18 0 11768 0
vsize: 47144
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 45966 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11786 10153 566 18 0 11768 0
vsize: 47144
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 46966 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11786 10153 566 18 0 11768 0
vsize: 47144
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 47966 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220704 134527670 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11786 10153 566 18 0 11768 0
vsize: 47144
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 48966 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11786 10153 566 18 0 11768 0
vsize: 47144
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 49966 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11786 10153 566 18 0 11768 0
vsize: 47144
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 50967 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11786 10153 566 18 0 11768 0
vsize: 47144
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 51967 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11786 10153 566 18 0 11768 0
vsize: 47144
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 52967 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220736 134554722 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11786 10153 566 18 0 11768 0
vsize: 47144
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 53967 38 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11786 10153 566 18 0 11768 0
vsize: 47144
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10221 0 0 0 54967 38 0 0 25 0 1 0 814491949 48504832 10198 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11842 10198 566 18 0 11824 0
vsize: 47368
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10361 0 0 0 55966 38 0 0 25 0 1 0 814491949 49090560 10338 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11985 10338 566 18 0 11967 0
vsize: 47940
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10519 0 0 0 56966 39 0 0 25 0 1 0 814491949 49692672 10496 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12132 10496 566 18 0 12114 0
vsize: 48528
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10669 0 0 0 57966 39 0 0 25 0 1 0 814491949 50294784 10646 4294967295 134512640 134581331 3221221792 3221220688 134517883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12279 10646 566 18 0 12261 0
vsize: 49116
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10825 0 0 0 58966 40 0 0 25 0 1 0 814491949 51060736 10802 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12466 10802 566 18 0 12448 0
vsize: 49864
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10950 0 0 0 59966 40 0 0 25 0 1 0 814491949 51572736 10927 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12591 10927 566 18 0 12573 0
vsize: 50364
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 11054 0 0 0 60966 40 0 0 25 0 1 0 814491949 51933184 11031 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12679 11031 566 18 0 12661 0
vsize: 50716
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 11281 0 0 0 61965 41 0 0 25 0 1 0 814491949 52801536 11258 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12891 11258 566 18 0 12873 0
vsize: 51564
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 11616 0 0 0 62964 42 0 0 25 0 1 0 814491949 54231040 11593 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13240 11593 566 18 0 13222 0
vsize: 52960
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 11888 0 0 0 63963 43 0 0 25 0 1 0 814491949 55312384 11865 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13504 11865 566 18 0 13486 0
vsize: 54016
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 12096 0 0 0 64963 44 0 0 25 0 1 0 814491949 56266752 12073 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13737 12073 566 18 0 13719 0
vsize: 54948
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 12267 0 0 0 65963 44 0 0 25 0 1 0 814491949 56901632 12244 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12244 566 18 0 13874 0
vsize: 55568
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 12431 0 0 0 66963 45 0 0 25 0 1 0 814491949 57634816 12408 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14071 12408 566 18 0 14053 0
vsize: 56284
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 12751 0 0 0 67962 45 0 0 25 0 1 0 814491949 58822656 12728 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14361 12728 566 18 0 14343 0
vsize: 57444
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 12981 0 0 0 68962 45 0 0 25 0 1 0 814491949 59785216 12958 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14596 12958 566 18 0 14578 0
vsize: 58384
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 13233 0 0 0 69962 46 0 0 25 0 1 0 814491949 60813312 13210 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14847 13210 566 18 0 14829 0
vsize: 59388
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 13413 0 0 0 70962 46 0 0 25 0 1 0 814491949 61587456 13390 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15036 13390 566 18 0 15018 0
vsize: 60144
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 13677 0 0 0 71961 47 0 0 25 0 1 0 814491949 62754816 13654 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15321 13654 566 18 0 15303 0
vsize: 61284
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 13881 0 0 0 72961 47 0 0 25 0 1 0 814491949 63475712 13858 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15497 13858 566 18 0 15479 0
vsize: 61988
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 14151 0 0 0 73961 48 0 0 25 0 1 0 814491949 64614400 14128 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15775 14128 566 18 0 15757 0
vsize: 63100
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26783
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 14551 0 0 0 74959 50 0 0 25 0 1 0 814491949 66256896 14528 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16176 14528 566 18 0 16158 0
vsize: 64704
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 3/58 26821
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 14867 0 0 0 75959 50 0 0 25 0 1 0 814491949 67497984 14844 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16479 14844 566 18 0 16461 0
vsize: 65916
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26836
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 15088 0 0 0 76959 50 0 0 25 0 1 0 814491949 68435968 15065 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16708 15065 566 18 0 16690 0
vsize: 66832
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26836
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 15204 0 0 0 77958 51 0 0 25 0 1 0 814491949 68902912 15181 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16822 15181 566 18 0 16804 0
vsize: 67288
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26836
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 15270 0 0 0 78958 51 0 0 25 0 1 0 814491949 69140480 15247 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16880 15247 566 18 0 16862 0
vsize: 67520
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26836
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 15338 0 0 0 79958 51 0 0 25 0 1 0 814491949 69550080 15315 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16980 15315 566 18 0 16962 0
vsize: 67920
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26836
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 15588 0 0 0 80958 52 0 0 25 0 1 0 814491949 70451200 15565 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17200 15565 566 18 0 17182 0
vsize: 68800
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26836
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 15699 0 0 0 81958 52 0 0 25 0 1 0 814491949 70959104 15676 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17324 15676 566 18 0 17306 0
vsize: 69296
[startup+830.028 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 15814 0 0 0 82958 52 0 0 25 0 1 0 814491949 71430144 15791 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17439 15791 566 18 0 17421 0
vsize: 69756
[startup+840.029 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 15915 0 0 0 83958 53 0 0 25 0 1 0 814491949 71909376 15892 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17556 15892 566 18 0 17538 0
vsize: 70224
[startup+850.029 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 16080 0 0 0 84957 53 0 0 25 0 1 0 814491949 72466432 16057 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17692 16057 566 18 0 17674 0
vsize: 70768
[startup+860.029 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 16241 0 0 0 85957 54 0 0 25 0 1 0 814491949 73175040 16218 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17865 16218 566 18 0 17847 0
vsize: 71460
[startup+870.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 16476 0 0 0 86957 54 0 0 25 0 1 0 814491949 74137600 16453 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18100 16453 566 18 0 18082 0
vsize: 72400
[startup+880.029 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 16602 0 0 0 87957 54 0 0 25 0 1 0 814491949 74616832 16579 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18217 16579 566 18 0 18199 0
vsize: 72868
[startup+890.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 16798 0 0 0 88957 55 0 0 25 0 1 0 814491949 75517952 16775 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18437 16775 566 18 0 18419 0
vsize: 73748
[startup+900.031 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 16929 0 0 0 89957 55 0 0 25 0 1 0 814491949 76054528 16906 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18568 16906 566 18 0 18550 0
vsize: 74272
[startup+910.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 17054 0 0 0 90956 55 0 0 25 0 1 0 814491949 76505088 17031 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18678 17031 566 18 0 18660 0
vsize: 74712
[startup+920.032 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 17167 0 0 0 91956 55 0 0 25 0 1 0 814491949 77029376 17144 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18806 17144 566 18 0 18788 0
vsize: 75224
[startup+930.032 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 17286 0 0 0 92956 56 0 0 25 0 1 0 814491949 77516800 17263 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18925 17263 566 18 0 18907 0
vsize: 75700
[startup+940.032 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 17400 0 0 0 93956 56 0 0 25 0 1 0 814491949 77864960 17377 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19010 17377 566 18 0 18992 0
vsize: 76040
[startup+950.032 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 17547 0 0 0 94956 56 0 0 25 0 1 0 814491949 78495744 17524 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19164 17524 566 18 0 19146 0
vsize: 76656
[startup+960.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 17769 0 0 0 95956 57 0 0 25 0 1 0 814491949 79491072 17746 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19407 17746 566 18 0 19389 0
vsize: 77628
[startup+970.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18003 0 0 0 96955 57 0 0 25 0 1 0 814491949 80326656 17980 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19611 17980 566 18 0 19593 0
vsize: 78444
[startup+980.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 97955 57 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+990.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 98955 57 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 99956 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 100956 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 101956 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 102956 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 103956 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 104956 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 105957 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220480 1075288902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 106957 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 107957 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 108957 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26838
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 109957 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26840
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 110957 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26840
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 111957 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26840
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 112958 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26840
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 113958 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26840
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 114958 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220480 1075288208 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 3/55 26840
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 115958 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26840
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 116958 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26840
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 117959 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26840
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 118959 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26840
Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 119959 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18092 566 18 0 19707 0
vsize: 78900
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 26840
Raw data (stat): 26783 (Pueblo) Z 26782 7876 7672 0 -1 1036 18115 0 0 0 119959 61 0 0 25 0 1 0 814491949 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 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.08
CPU time (s): 1200.21
CPU user time (s): 1199.6
CPU system time (s): 0.615906
CPU usage (%): 100.011
Max. virtual memory (Kb): 78900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####