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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3707.opb
MD5SUM	01e0877cc064d2a3c60da2ac822a983e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39195741828
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39195741828
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.998847
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 26934

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-24 18:13:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19091 boxname=wulflinc20 idbench=1469 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  01e0877cc064d2a3c60da2ac822a983e  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-n3707.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-n3707.opb
IDLAUNCH: 19091
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        902676 kB
Buffers:          5044 kB
Cached:         105316 kB
SwapCached:        684 kB
Active:          25276 kB
Inactive:        87192 kB
HighTotal:      131008 kB
HighFree:        36120 kB
LowTotal:       903652 kB
LowFree:        866556 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:             304 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            13640 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:33:45 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 19091 7 1200.28 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.98 0.96 2/54 28988
Raw data (stat): 28988 (runsolver) R 28987 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832310962 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99932 s]
Raw data (loadavg): 0.93 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 78724 0 0 0 843 156 0 0 25 0 1 0 832310962 55980032 12004 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13667 12013 566 18 0 13649 0
vsize: 54668
[startup+20 s]
Raw data (loadavg): 0.94 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 380853 0 0 0 1281 717 0 0 25 0 1 0 832310962 57602048 12446 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14063 12454 566 18 0 14045 0
vsize: 56252
[startup+29.9998 s]
Raw data (loadavg): 0.95 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 558783 0 0 0 1957 1042 0 0 25 0 1 0 832310962 57077760 12392 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13935 12392 566 18 0 13917 0
vsize: 55740
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 558783 0 0 0 2957 1043 0 0 25 0 1 0 832310962 57077760 12392 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13935 12392 566 18 0 13917 0
vsize: 55740
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 558783 0 0 0 3957 1043 0 0 25 0 1 0 832310962 57077760 12392 4294967295 134512640 134581331 3221224608 3221223520 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13935 12392 566 18 0 13917 0
vsize: 55740
[startup+60.0009 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 558783 0 0 0 4957 1043 0 0 25 0 1 0 832310962 57077760 12392 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13935 12392 566 18 0 13917 0
vsize: 55740
[startup+70.0006 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 558783 0 0 0 5956 1044 0 0 25 0 1 0 832310962 57077760 12392 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13935 12392 566 18 0 13917 0
vsize: 55740
[startup+80.0003 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 558783 0 0 0 6956 1044 0 0 25 0 1 0 832310962 57077760 12392 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13935 12392 566 18 0 13917 0
vsize: 55740
[startup+90.0001 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 558783 0 0 0 7955 1045 0 0 25 0 1 0 832310962 57077760 12392 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13935 12392 566 18 0 13917 0
vsize: 55740
[startup+99.9998 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 558783 0 0 0 8956 1045 0 0 25 0 1 0 832310962 57077760 12392 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13935 12392 566 18 0 13917 0
vsize: 55740
[startup+110 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 558783 0 0 0 9955 1045 0 0 25 0 1 0 832310962 57077760 12392 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13935 12392 566 18 0 13917 0
vsize: 55740
[startup+120 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 558783 0 0 0 10955 1045 0 0 25 0 1 0 832310962 57077760 12392 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13935 12392 566 18 0 13917 0
vsize: 55740
[startup+130 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 558897 0 0 0 11955 1046 0 0 25 0 1 0 832310962 57475072 12506 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14032 12506 566 18 0 14014 0
vsize: 56128
[startup+140 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 559680 0 0 0 12952 1049 0 0 25 0 1 0 832310962 60706816 13289 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14821 13289 566 18 0 14803 0
vsize: 59284
[startup+150 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 559874 0 0 0 13951 1050 0 0 25 0 1 0 832310962 61468672 13483 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15007 13483 566 18 0 14989 0
vsize: 60028
[startup+160 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 559959 0 0 0 14950 1051 0 0 25 0 1 0 832310962 61833216 13568 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15096 13568 566 18 0 15078 0
vsize: 60384
[startup+170 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 560066 0 0 0 15950 1051 0 0 25 0 1 0 832310962 62308352 13675 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15212 13675 566 18 0 15194 0
vsize: 60848
[startup+180 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 560132 0 0 0 16949 1052 0 0 25 0 1 0 832310962 62545920 13741 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15270 13741 566 18 0 15252 0
vsize: 61080
[startup+190 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 560192 0 0 0 17949 1053 0 0 25 0 1 0 832310962 62787584 13801 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15329 13801 566 18 0 15311 0
vsize: 61316
[startup+200 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 560260 0 0 0 18949 1053 0 0 25 0 1 0 832310962 63168512 13869 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15422 13869 566 18 0 15404 0
vsize: 61688
[startup+210 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 560320 0 0 0 19948 1054 0 0 25 0 1 0 832310962 63295488 13929 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15453 13929 566 18 0 15435 0
vsize: 61812
[startup+220 s]
Raw data (loadavg): 0.99 0.98 0.96 3/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 560387 0 0 0 20948 1055 0 0 25 0 1 0 832310962 63655936 13996 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15541 13996 566 18 0 15523 0
vsize: 62164
[startup+230.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 560457 0 0 0 21948 1055 0 0 25 0 1 0 832310962 63905792 14066 4294967295 134512640 134581331 3221224608 3221223520 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15602 14066 566 18 0 15584 0
vsize: 62408
[startup+240.001 s]
Raw data (loadavg): 1.07 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 560516 0 0 0 22947 1056 0 0 25 0 1 0 832310962 64184320 14125 4294967295 134512640 134581331 3221224608 3221223520 134527769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15670 14125 566 18 0 15652 0
vsize: 62680
[startup+250.001 s]
Raw data (loadavg): 1.06 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 560582 0 0 0 23946 1057 0 0 25 0 1 0 832310962 64438272 14191 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15732 14191 566 18 0 15714 0
vsize: 62928
[startup+260.001 s]
Raw data (loadavg): 1.05 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 560654 0 0 0 24946 1057 0 0 25 0 1 0 832310962 64700416 14263 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15796 14263 566 18 0 15778 0
vsize: 63184
[startup+270.001 s]
Raw data (loadavg): 1.04 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 560718 0 0 0 25945 1058 0 0 25 0 1 0 832310962 64954368 14327 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15858 14327 566 18 0 15840 0
vsize: 63432
[startup+280.001 s]
Raw data (loadavg): 1.04 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 560783 0 0 0 26945 1058 0 0 25 0 1 0 832310962 65220608 14392 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15923 14392 566 18 0 15905 0
vsize: 63692
[startup+290.002 s]
Raw data (loadavg): 1.03 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 560854 0 0 0 27945 1059 0 0 25 0 1 0 832310962 65568768 14463 4294967295 134512640 134581331 3221224608 3221223504 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16008 14463 566 18 0 15990 0
vsize: 64032
[startup+300.002 s]
Raw data (loadavg): 1.03 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 560918 0 0 0 28945 1059 0 0 25 0 1 0 832310962 65830912 14527 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16072 14527 566 18 0 16054 0
vsize: 64288
[startup+310.002 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 560981 0 0 0 29945 1059 0 0 25 0 1 0 832310962 66088960 14590 4294967295 134512640 134581331 3221224608 3221223520 134527729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16135 14590 566 18 0 16117 0
vsize: 64540
[startup+320.002 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 561043 0 0 0 30945 1059 0 0 25 0 1 0 832310962 66342912 14652 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16197 14652 566 18 0 16179 0
vsize: 64788
[startup+330.002 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 561150 0 0 0 31945 1059 0 0 25 0 1 0 832310962 66715648 14759 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16288 14759 566 18 0 16270 0
vsize: 65152
[startup+340.003 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 561291 0 0 0 32945 1060 0 0 25 0 1 0 832310962 67309568 14900 4294967295 134512640 134581331 3221224608 3221223520 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16433 14900 566 18 0 16415 0
vsize: 65732
[startup+350.004 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 562480 0 0 0 33942 1062 0 0 25 0 1 0 832310962 72261632 16089 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17642 16089 566 18 0 17624 0
vsize: 70568
[startup+360.004 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 563652 0 0 0 34940 1065 0 0 25 0 1 0 832310962 77053952 17261 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18812 17261 566 18 0 18794 0
vsize: 75248
[startup+370.003 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 564250 0 0 0 35939 1066 0 0 25 0 1 0 832310962 79466496 17859 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19401 17859 566 18 0 19383 0
vsize: 77604
[startup+380.003 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 564375 0 0 0 36938 1067 0 0 25 0 1 0 832310962 79966208 17984 4294967295 134512640 134581331 3221224608 3221223520 134527980 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19523 17984 566 18 0 19505 0
vsize: 78092
[startup+390.004 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 564597 0 0 0 37938 1068 0 0 25 0 1 0 832310962 80842752 18206 4294967295 134512640 134581331 3221224608 3221223520 134527687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19737 18206 566 18 0 19719 0
vsize: 78948
[startup+400.005 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 564733 0 0 0 38938 1068 0 0 25 0 1 0 832310962 81481728 18342 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19893 18342 566 18 0 19875 0
vsize: 79572
[startup+410.005 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 565502 0 0 0 39936 1070 0 0 25 0 1 0 832310962 84566016 19111 4294967295 134512640 134581331 3221224608 3221223472 134528275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20646 19111 566 18 0 20628 0
vsize: 82584
[startup+420.005 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 566909 0 0 0 40933 1073 0 0 25 0 1 0 832310962 90284032 20518 4294967295 134512640 134581331 3221224608 3221223504 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22042 20518 566 18 0 22024 0
vsize: 88168
[startup+430.005 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 567974 0 0 0 41931 1075 0 0 25 0 1 0 832310962 94740480 21583 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23130 21583 566 18 0 23112 0
vsize: 92520
[startup+440.006 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 568092 0 0 0 42931 1076 0 0 25 0 1 0 832310962 95215616 21701 4294967295 134512640 134581331 3221224608 3221223520 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23246 21701 566 18 0 23228 0
vsize: 92984
[startup+450.005 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 568136 0 0 0 43931 1076 0 0 25 0 1 0 832310962 95326208 21745 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23273 21745 566 18 0 23255 0
vsize: 93092
[startup+460.005 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 568196 0 0 0 44931 1076 0 0 25 0 1 0 832310962 95551488 21805 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23328 21805 566 18 0 23310 0
vsize: 93312
[startup+470.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 568327 0 0 0 45930 1077 0 0 25 0 1 0 832310962 96149504 21936 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23474 21936 566 18 0 23456 0
vsize: 93896
[startup+480.006 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 568631 0 0 0 46929 1078 0 0 25 0 1 0 832310962 97394688 22240 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23778 22240 566 18 0 23760 0
vsize: 95112
[startup+490.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 569000 0 0 0 47929 1079 0 0 25 0 1 0 832310962 98918400 22609 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24150 22609 566 18 0 24132 0
vsize: 96600
[startup+500.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 569335 0 0 0 48928 1080 0 0 25 0 1 0 832310962 100327424 22944 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24494 22944 566 18 0 24476 0
vsize: 97976
[startup+510.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 569510 0 0 0 49927 1081 0 0 25 0 1 0 832310962 101068800 23119 4294967295 134512640 134581331 3221224608 3221223472 134528437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24675 23120 566 18 0 24657 0
vsize: 98700
[startup+520.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 570005 0 0 0 50927 1082 0 0 25 0 1 0 832310962 103034880 23614 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25155 23614 566 18 0 25137 0
vsize: 100620
[startup+530.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 570234 0 0 0 51926 1082 0 0 25 0 1 0 832310962 104013824 23843 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25394 23843 566 18 0 25376 0
vsize: 101576
[startup+540.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 570479 0 0 0 52926 1083 0 0 25 0 1 0 832310962 105029632 24088 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25642 24088 566 18 0 25624 0
vsize: 102568
[startup+550.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 570657 0 0 0 53926 1084 0 0 25 0 1 0 832310962 105750528 24266 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25818 24266 566 18 0 25800 0
vsize: 103272
[startup+560.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 570800 0 0 0 54926 1084 0 0 25 0 1 0 832310962 106340352 24409 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25962 24409 566 18 0 25944 0
vsize: 103848
[startup+570.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 570981 0 0 0 55925 1085 0 0 25 0 1 0 832310962 107065344 24590 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26139 24590 566 18 0 26121 0
vsize: 104556
[startup+580.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 571175 0 0 0 56924 1085 0 0 25 0 1 0 832310962 107814912 24784 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26322 24784 566 18 0 26304 0
vsize: 105288
[startup+590.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 571489 0 0 0 57924 1086 0 0 25 0 1 0 832310962 109182976 25098 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26656 25098 566 18 0 26638 0
vsize: 106624
[startup+600.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 571778 0 0 0 58923 1087 0 0 25 0 1 0 832310962 110305280 25387 4294967295 134512640 134581331 3221224608 3221223504 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26930 25387 566 18 0 26912 0
vsize: 107720
[startup+610.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 572020 0 0 0 59922 1088 0 0 25 0 1 0 832310962 111251456 25629 4294967295 134512640 134581331 3221224608 3221223600 134561059 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27161 25629 566 18 0 27143 0
vsize: 108644
[startup+620.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 572230 0 0 0 60922 1088 0 0 25 0 1 0 832310962 112099328 25839 4294967295 134512640 134581331 3221224608 3221223580 134527304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27368 25839 566 18 0 27350 0
vsize: 109472
[startup+630.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 572435 0 0 0 61922 1089 0 0 25 0 1 0 832310962 112971776 26044 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27581 26044 566 18 0 27563 0
vsize: 110324
[startup+640.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 572695 0 0 0 62921 1090 0 0 25 0 1 0 832310962 114114560 26304 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27860 26304 566 18 0 27842 0
vsize: 111440
[startup+650.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 572748 0 0 0 63921 1090 0 0 25 0 1 0 832310962 114229248 26357 4294967295 134512640 134581331 3221224608 3221223504 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27888 26357 566 18 0 27870 0
vsize: 111552
[startup+660.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 572847 0 0 0 64921 1090 0 0 25 0 1 0 832310962 114704384 26456 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 26456 566 18 0 27986 0
vsize: 112016
[startup+670.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 572947 0 0 0 65921 1091 0 0 25 0 1 0 832310962 115048448 26556 4294967295 134512640 134581331 3221224608 3221223520 134527987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28088 26556 566 18 0 28070 0
vsize: 112352
[startup+680.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 573056 0 0 0 66920 1091 0 0 25 0 1 0 832310962 115531776 26665 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28206 26665 566 18 0 28188 0
vsize: 112824
[startup+690.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 573157 0 0 0 67920 1092 0 0 25 0 1 0 832310962 115994624 26766 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28319 26766 566 18 0 28301 0
vsize: 113276
[startup+700.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 573269 0 0 0 68920 1092 0 0 25 0 1 0 832310962 116342784 26878 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28404 26878 566 18 0 28386 0
vsize: 113616
[startup+710.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 573404 0 0 0 69919 1093 0 0 25 0 1 0 832310962 116969472 27013 4294967295 134512640 134581331 3221224608 3221223520 134527720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28557 27013 566 18 0 28539 0
vsize: 114228
[startup+720.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 573522 0 0 0 70919 1093 0 0 25 0 1 0 832310962 117440512 27131 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28672 27131 566 18 0 28654 0
vsize: 114688
[startup+730.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 573629 0 0 0 71919 1094 0 0 25 0 1 0 832310962 117907456 27238 4294967295 134512640 134581331 3221224608 3221223472 134528254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28786 27238 566 18 0 28768 0
vsize: 115144
[startup+740.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 573773 0 0 0 72919 1094 0 0 25 0 1 0 832310962 118505472 27382 4294967295 134512640 134581331 3221224608 3221223472 134527179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28932 27382 566 18 0 28914 0
vsize: 115728
[startup+750.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 573974 0 0 0 73919 1095 0 0 25 0 1 0 832310962 119250944 27583 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29114 27583 566 18 0 29096 0
vsize: 116456
[startup+760.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 574244 0 0 0 74919 1095 0 0 25 0 1 0 832310962 120406016 27853 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29396 27853 566 18 0 29378 0
vsize: 117584
[startup+770.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 574314 0 0 0 75918 1095 0 0 25 0 1 0 832310962 120664064 27923 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29459 27923 566 18 0 29441 0
vsize: 117836
[startup+780.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 574456 0 0 0 76918 1095 0 0 25 0 1 0 832310962 121303040 28065 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29615 28065 566 18 0 29597 0
vsize: 118460
[startup+790.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 574680 0 0 0 77918 1096 0 0 25 0 1 0 832310962 122175488 28289 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29828 28289 566 18 0 29810 0
vsize: 119312
[startup+800.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 574867 0 0 0 78917 1097 0 0 25 0 1 0 832310962 122884096 28476 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30001 28476 566 18 0 29983 0
vsize: 120004
[startup+810.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 575123 0 0 0 79916 1098 0 0 25 0 1 0 832310962 124059648 28732 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30288 28732 566 18 0 30270 0
vsize: 121152
[startup+820.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 575367 0 0 0 80916 1099 0 0 25 0 1 0 832310962 125014016 28976 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30521 28976 566 18 0 30503 0
vsize: 122084
[startup+830.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 575540 0 0 0 81915 1099 0 0 25 0 1 0 832310962 125640704 29149 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30674 29149 566 18 0 30656 0
vsize: 122696
[startup+840.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 575775 0 0 0 82915 1099 0 0 25 0 1 0 832310962 126660608 29384 4294967295 134512640 134581331 3221224608 3221223384 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30923 29384 566 18 0 30905 0
vsize: 123692
[startup+850.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 575959 0 0 0 83915 1100 0 0 25 0 1 0 832310962 127401984 29568 4294967295 134512640 134581331 3221224608 3221223520 134527980 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31104 29568 566 18 0 31086 0
vsize: 124416
[startup+860.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 576003 0 0 0 84915 1100 0 0 25 0 1 0 832310962 127533056 29612 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31136 29612 566 18 0 31118 0
vsize: 124544
[startup+870.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 576229 0 0 0 85915 1101 0 0 25 0 1 0 832310962 128552960 29838 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31385 29838 566 18 0 31367 0
vsize: 125540
[startup+880.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 576413 0 0 0 86915 1101 0 0 25 0 1 0 832310962 129314816 30022 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31571 30022 566 18 0 31553 0
vsize: 126284
[startup+890.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 576606 0 0 0 87914 1102 0 0 25 0 1 0 832310962 130068480 30215 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31755 30215 566 18 0 31737 0
vsize: 127020
[startup+900.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 576814 0 0 0 88914 1102 0 0 25 0 1 0 832310962 130875392 30423 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31952 30423 566 18 0 31934 0
vsize: 127808
[startup+910.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 577040 0 0 0 89914 1102 0 0 25 0 1 0 832310962 131878912 30649 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32197 30649 566 18 0 32179 0
vsize: 128788
[startup+920.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 577160 0 0 0 90914 1103 0 0 25 0 1 0 832310962 132292608 30769 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32298 30769 566 18 0 32280 0
vsize: 129192
[startup+930.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 577287 0 0 0 91914 1103 0 0 25 0 1 0 832310962 132829184 30896 4294967295 134512640 134581331 3221224608 3221223504 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32429 30896 566 18 0 32411 0
vsize: 129716
[startup+940.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 577437 0 0 0 92913 1103 0 0 25 0 1 0 832310962 133443584 31046 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32579 31046 566 18 0 32561 0
vsize: 130316
[startup+950.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 577664 0 0 0 93913 1104 0 0 25 0 1 0 832310962 134381568 31273 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32808 31273 566 18 0 32790 0
vsize: 131232
[startup+960.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 577864 0 0 0 94913 1104 0 0 25 0 1 0 832310962 135258112 31473 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33022 31473 566 18 0 33004 0
vsize: 132088
[startup+970.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 578037 0 0 0 95913 1104 0 0 25 0 1 0 832310962 135921664 31646 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33184 31646 566 18 0 33166 0
vsize: 132736
[startup+980.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 578226 0 0 0 96913 1105 0 0 25 0 1 0 832310962 136667136 31835 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33366 31835 566 18 0 33348 0
vsize: 133464
[startup+990.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 578452 0 0 0 97912 1106 0 0 25 0 1 0 832310962 137629696 32061 4294967295 134512640 134581331 3221224608 3221223552 134559456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33601 32061 566 18 0 33583 0
vsize: 134404
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 578649 0 0 0 98911 1106 0 0 25 0 1 0 832310962 138371072 32258 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33782 32258 566 18 0 33764 0
vsize: 135128
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 578803 0 0 0 99911 1107 0 0 25 0 1 0 832310962 139014144 32412 4294967295 134512640 134581331 3221224608 3221223504 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33939 32412 566 18 0 33921 0
vsize: 135756
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 578948 0 0 0 100911 1107 0 0 25 0 1 0 832310962 139653120 32557 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34095 32557 566 18 0 34077 0
vsize: 136380
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 579139 0 0 0 101911 1107 0 0 25 0 1 0 832310962 140443648 32748 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34288 32748 566 18 0 34270 0
vsize: 137152
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 579318 0 0 0 102911 1108 0 0 25 0 1 0 832310962 141201408 32927 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34473 32927 566 18 0 34455 0
vsize: 137892
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 579496 0 0 0 103910 1108 0 0 25 0 1 0 832310962 141840384 33105 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34629 33105 566 18 0 34611 0
vsize: 138516
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 579723 0 0 0 104910 1109 0 0 25 0 1 0 832310962 142860288 33332 4294967295 134512640 134581331 3221224608 3221223520 134527964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34878 33332 566 18 0 34860 0
vsize: 139512
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 579878 0 0 0 105910 1109 0 0 25 0 1 0 832310962 143491072 33487 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35032 33487 566 18 0 35014 0
vsize: 140128
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 580070 0 0 0 106909 1110 0 0 25 0 1 0 832310962 144306176 33679 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35231 33679 566 18 0 35213 0
vsize: 140924
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 580301 0 0 0 107909 1110 0 0 25 0 1 0 832310962 145313792 33910 4294967295 134512640 134581331 3221224608 3221223520 134527769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35477 33910 566 18 0 35459 0
vsize: 141908
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 580485 0 0 0 108908 1111 0 0 25 0 1 0 832310962 145952768 34094 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35633 34094 566 18 0 35615 0
vsize: 142532
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 580718 0 0 0 109907 1112 0 0 25 0 1 0 832310962 146952192 34327 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35877 34327 566 18 0 35859 0
vsize: 143508
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 580919 0 0 0 110907 1112 0 0 25 0 1 0 832310962 147738624 34528 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36069 34528 566 18 0 36051 0
vsize: 144276
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 581041 0 0 0 111907 1112 0 0 25 0 1 0 832310962 148254720 34650 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36195 34650 566 18 0 36177 0
vsize: 144780
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 581283 0 0 0 112906 1114 0 0 25 0 1 0 832310962 149241856 34892 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36436 34892 566 18 0 36418 0
vsize: 145744
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 581441 0 0 0 113905 1114 0 0 25 0 1 0 832310962 149995520 35050 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36620 35050 566 18 0 36602 0
vsize: 146480
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 581756 0 0 0 114905 1115 0 0 25 0 1 0 832310962 151150592 35365 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36902 35365 566 18 0 36884 0
vsize: 147608
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 581990 0 0 0 115904 1116 0 0 25 0 1 0 832310962 152182784 35599 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37154 35599 566 18 0 37136 0
vsize: 148616
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 582139 0 0 0 116903 1117 0 0 25 0 1 0 832310962 152797184 35748 4294967295 134512640 134581331 3221224608 3221223520 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37304 35748 566 18 0 37286 0
vsize: 149216
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 582293 0 0 0 117903 1117 0 0 25 0 1 0 832310962 153415680 35902 4294967295 134512640 134581331 3221224608 3221223504 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37455 35902 566 18 0 37437 0
vsize: 149820
[startup+1200.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 28988
Raw data (stat): 28988 (Pueblo) R 28987 25399 25398 0 -1 0 582474 0 0 0 118903 1117 0 0 25 0 1 0 832310962 154173440 36083 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37640 36083 566 18 0 37622 0
vsize: 150560
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 28988
Raw data (stat): 28988 (Pueblo) Z 28987 25399 25398 0 -1 1036 582474 0 0 0 118903 1124 0 0 25 0 1 0 832310962 0 0 4294967295 0 0 0 0 0 0 0 7 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.28
CPU user time (s): 1189.04
CPU system time (s): 11.2453
CPU usage (%): 100.017
Max. virtual memory (Kb): 150560
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####