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-n370c.opb
MD5SUM	b99a0e1987692fd9762e75d45288f75a
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	39256355821
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	39256355821
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.97785
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 39280

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-03 01:58:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27346 boxname=wulflinc2 idbench=1474 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  b99a0e1987692fd9762e75d45288f75a  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-n370c.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-n370c.opb
IDLAUNCH: 27346
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        380040 kB
Buffers:         32708 kB
Cached:         599076 kB
SwapCached:       1160 kB
Active:          65320 kB
Inactive:       568992 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        379788 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14656 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 02:18:06 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 27346 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.98 0.91 2/54 2841
Raw data (stat): 2841 (runsolver) R 2840 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854650338 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 2841
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 80450 0 0 0 847 152 0 0 25 0 1 0 854650338 57864192 12491 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14127 12501 566 18 0 14109 0
vsize: 56508
[startup+20.0004 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 2841
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 386942 0 0 0 1287 712 0 0 25 0 1 0 854650338 59351040 12867 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14490 12875 566 18 0 14472 0
vsize: 57960
[startup+30.0001 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 2841
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 1974 1025 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223520 134559049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+39.9998 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 2841
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 2974 1025 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+50.0005 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 2841
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 3974 1025 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+60.0006 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 2841
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 4974 1025 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+70 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 2841
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 5974 1026 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+80.0007 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 2841
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 6974 1026 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+90.0004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 2841
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 7974 1027 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+100.001 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 2841
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 8973 1027 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2841
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 9973 1028 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 2842
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 10973 1028 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+130.004 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 2894
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 11972 1028 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+140.003 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 2894
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 12972 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+150.004 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 2894
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 13972 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+160.004 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 2894
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 14972 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+170.003 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 2894
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 15972 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+180.004 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 2894
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 16972 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+190.005 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 17973 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+200.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 18973 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+210.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 19973 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+220.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 20973 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+230.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 21973 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223584 134560377 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+240.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 22974 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+250.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 23974 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+260.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 24974 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+270.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 25974 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+280.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 26974 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+290.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 27975 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+300.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 28975 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+310.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 29975 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+320.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 30977 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+330.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 31979 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+340.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 32979 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+350.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 33980 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+360.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 34980 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+370.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 35980 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+380.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 36980 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+390.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 37980 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+400.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 38981 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+410.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559225 0 0 0 39981 1029 0 0 25 0 1 0 854650338 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+420.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559245 0 0 0 40981 1029 0 0 25 0 1 0 854650338 58957824 12851 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14394 12851 566 18 0 14376 0
vsize: 57576
[startup+430.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559282 0 0 0 41981 1030 0 0 25 0 1 0 854650338 59088896 12888 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14426 12888 566 18 0 14408 0
vsize: 57704
[startup+440.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559353 0 0 0 42981 1030 0 0 25 0 1 0 854650338 59351040 12959 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14490 12959 566 18 0 14472 0
vsize: 57960
[startup+450.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559465 0 0 0 43981 1030 0 0 25 0 1 0 854650338 59875328 13071 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14618 13071 566 18 0 14600 0
vsize: 58472
[startup+460.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559550 0 0 0 44981 1030 0 0 25 0 1 0 854650338 60137472 13156 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14682 13156 566 18 0 14664 0
vsize: 58728
[startup+470.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559613 0 0 0 45981 1030 0 0 25 0 1 0 854650338 60399616 13219 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14746 13219 566 18 0 14728 0
vsize: 58984
[startup+480.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2896
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559662 0 0 0 46981 1030 0 0 25 0 1 0 854650338 60661760 13268 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14810 13268 566 18 0 14792 0
vsize: 59240
[startup+490.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559723 0 0 0 47981 1031 0 0 25 0 1 0 854650338 60923904 13329 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14874 13329 566 18 0 14856 0
vsize: 59496
[startup+500.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559808 0 0 0 48981 1031 0 0 25 0 1 0 854650338 61186048 13414 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14938 13414 566 18 0 14920 0
vsize: 59752
[startup+510.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559852 0 0 0 49981 1031 0 0 25 0 1 0 854650338 61448192 13458 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15002 13458 566 18 0 14984 0
vsize: 60008
[startup+520.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 559911 0 0 0 50981 1031 0 0 25 0 1 0 854650338 61710336 13517 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15066 13517 566 18 0 15048 0
vsize: 60264
[startup+530.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 560007 0 0 0 51981 1031 0 0 25 0 1 0 854650338 62103552 13613 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15162 13613 566 18 0 15144 0
vsize: 60648
[startup+540.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 560080 0 0 0 52981 1032 0 0 25 0 1 0 854650338 62365696 13686 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15226 13686 566 18 0 15208 0
vsize: 60904
[startup+550.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 560148 0 0 0 53981 1032 0 0 25 0 1 0 854650338 62627840 13754 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15290 13754 566 18 0 15272 0
vsize: 61160
[startup+560.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 560250 0 0 0 54981 1032 0 0 25 0 1 0 854650338 63021056 13856 4294967295 134512640 134581267 3221224576 3221223488 134527709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15386 13856 566 18 0 15368 0
vsize: 61544
[startup+570.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 560324 0 0 0 55981 1032 0 0 25 0 1 0 854650338 63414272 13930 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15482 13930 566 18 0 15464 0
vsize: 61928
[startup+580.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 560399 0 0 0 56981 1032 0 0 25 0 1 0 854650338 63676416 14005 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15546 14005 566 18 0 15528 0
vsize: 62184
[startup+590.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 560484 0 0 0 57981 1033 0 0 25 0 1 0 854650338 64069632 14090 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15642 14090 566 18 0 15624 0
vsize: 62568
[startup+600.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 560557 0 0 0 58981 1033 0 0 25 0 1 0 854650338 64331776 14163 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15706 14163 566 18 0 15688 0
vsize: 62824
[startup+610.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 560580 0 0 0 59981 1033 0 0 25 0 1 0 854650338 64462848 14186 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14186 566 18 0 15720 0
vsize: 62952
[startup+620.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 560661 0 0 0 60981 1033 0 0 25 0 1 0 854650338 64724992 14267 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15802 14267 566 18 0 15784 0
vsize: 63208
[startup+630.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 560737 0 0 0 61980 1034 0 0 25 0 1 0 854650338 64987136 14343 4294967295 134512640 134581267 3221224576 3221223520 134558762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15866 14343 566 18 0 15848 0
vsize: 63464
[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 560804 0 0 0 62980 1034 0 0 25 0 1 0 854650338 65376256 14410 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15961 14410 566 18 0 15943 0
vsize: 63844
[startup+650.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 560895 0 0 0 63980 1034 0 0 25 0 1 0 854650338 65789952 14501 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16062 14501 566 18 0 16044 0
vsize: 64248
[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 560977 0 0 0 64980 1034 0 0 25 0 1 0 854650338 66052096 14583 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16126 14583 566 18 0 16108 0
vsize: 64504
[startup+670.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561015 0 0 0 65980 1034 0 0 25 0 1 0 854650338 66183168 14621 4294967295 134512640 134581267 3221224576 3221223488 134527955 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16158 14621 566 18 0 16140 0
vsize: 64632
[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561050 0 0 0 66980 1035 0 0 25 0 1 0 854650338 66314240 14656 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16190 14656 566 18 0 16172 0
vsize: 64760
[startup+690.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561113 0 0 0 67980 1035 0 0 25 0 1 0 854650338 66576384 14719 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16254 14719 566 18 0 16236 0
vsize: 65016
[startup+700.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561157 0 0 0 68981 1035 0 0 25 0 1 0 854650338 66838528 14763 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16318 14763 566 18 0 16300 0
vsize: 65272
[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561193 0 0 0 69981 1035 0 0 25 0 1 0 854650338 66969600 14799 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16350 14799 566 18 0 16332 0
vsize: 65400
[startup+720.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561233 0 0 0 70981 1035 0 0 25 0 1 0 854650338 67100672 14839 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16382 14839 566 18 0 16364 0
vsize: 65528
[startup+730.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561260 0 0 0 71981 1035 0 0 25 0 1 0 854650338 67231744 14866 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16414 14866 566 18 0 16396 0
vsize: 65656
[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561285 0 0 0 72981 1035 0 0 25 0 1 0 854650338 67362816 14891 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16446 14891 566 18 0 16428 0
vsize: 65784
[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561317 0 0 0 73981 1035 0 0 25 0 1 0 854650338 67493888 14923 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16478 14923 566 18 0 16460 0
vsize: 65912
[startup+760.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561346 0 0 0 74981 1035 0 0 25 0 1 0 854650338 67624960 14952 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16510 14952 566 18 0 16492 0
vsize: 66040
[startup+770.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561387 0 0 0 75981 1036 0 0 25 0 1 0 854650338 67756032 14993 4294967295 134512640 134581267 3221224576 3221223488 134527952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16542 14993 566 18 0 16524 0
vsize: 66168
[startup+780.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561430 0 0 0 76981 1036 0 0 25 0 1 0 854650338 67887104 15036 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16574 15036 566 18 0 16556 0
vsize: 66296
[startup+790.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561482 0 0 0 77981 1036 0 0 25 0 1 0 854650338 68145152 15088 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16637 15088 566 18 0 16619 0
vsize: 66548
[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561526 0 0 0 78981 1036 0 0 25 0 1 0 854650338 68276224 15132 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16669 15132 566 18 0 16651 0
vsize: 66676
[startup+810.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561578 0 0 0 79981 1036 0 0 25 0 1 0 854650338 68538368 15184 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16733 15184 566 18 0 16715 0
vsize: 66932
[startup+820.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561641 0 0 0 80981 1036 0 0 25 0 1 0 854650338 68800512 15247 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16797 15247 566 18 0 16779 0
vsize: 67188
[startup+830.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561703 0 0 0 81981 1036 0 0 25 0 1 0 854650338 69079040 15309 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16865 15309 566 18 0 16847 0
vsize: 67460
[startup+840.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561747 0 0 0 82981 1036 0 0 25 0 1 0 854650338 69210112 15353 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16897 15353 566 18 0 16879 0
vsize: 67588
[startup+850.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561832 0 0 0 83981 1037 0 0 25 0 1 0 854650338 69603328 15438 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16993 15438 566 18 0 16975 0
vsize: 67972
[startup+860.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561872 0 0 0 84980 1037 0 0 25 0 1 0 854650338 69734400 15478 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17025 15478 566 18 0 17007 0
vsize: 68100
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561921 0 0 0 85980 1037 0 0 25 0 1 0 854650338 69865472 15527 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17057 15527 566 18 0 17039 0
vsize: 68228
[startup+880.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 561970 0 0 0 86980 1038 0 0 25 0 1 0 854650338 70123520 15576 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17120 15576 566 18 0 17102 0
vsize: 68480
[startup+890.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562020 0 0 0 87980 1038 0 0 25 0 1 0 854650338 70385664 15626 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17184 15626 566 18 0 17166 0
vsize: 68736
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562063 0 0 0 88980 1038 0 0 25 0 1 0 854650338 70516736 15669 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17216 15669 566 18 0 17198 0
vsize: 68864
[startup+910.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562123 0 0 0 89980 1038 0 0 25 0 1 0 854650338 70774784 15729 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17279 15729 566 18 0 17261 0
vsize: 69116
[startup+920.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562156 0 0 0 90980 1038 0 0 25 0 1 0 854650338 70905856 15762 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17311 15762 566 18 0 17293 0
vsize: 69244
[startup+930.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562212 0 0 0 91980 1039 0 0 25 0 1 0 854650338 71163904 15818 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17374 15818 566 18 0 17356 0
vsize: 69496
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562291 0 0 0 92980 1039 0 0 25 0 1 0 854650338 71426048 15897 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17438 15897 566 18 0 17420 0
vsize: 69752
[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562377 0 0 0 93980 1039 0 0 25 0 1 0 854650338 71819264 15983 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17534 15983 566 18 0 17516 0
vsize: 70136
[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562473 0 0 0 94979 1040 0 0 25 0 1 0 854650338 72212480 16079 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17630 16079 566 18 0 17612 0
vsize: 70520
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562555 0 0 0 95979 1040 0 0 25 0 1 0 854650338 72474624 16161 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17694 16161 566 18 0 17676 0
vsize: 70776
[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562607 0 0 0 96979 1041 0 0 25 0 1 0 854650338 72736768 16213 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17758 16213 566 18 0 17740 0
vsize: 71032
[startup+990.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562659 0 0 0 97979 1041 0 0 25 0 1 0 854650338 72998912 16265 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17822 16265 566 18 0 17804 0
vsize: 71288
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562708 0 0 0 98979 1041 0 0 25 0 1 0 854650338 73129984 16314 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17854 16314 566 18 0 17836 0
vsize: 71416
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562732 0 0 0 99979 1041 0 0 25 0 1 0 854650338 73261056 16338 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17886 16338 566 18 0 17868 0
vsize: 71544
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562774 0 0 0 100979 1041 0 0 25 0 1 0 854650338 73392128 16380 4294967295 134512640 134581267 3221224576 3221223488 134527943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17918 16380 566 18 0 17900 0
vsize: 71672
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562833 0 0 0 101979 1041 0 0 25 0 1 0 854650338 73654272 16439 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17982 16439 566 18 0 17964 0
vsize: 71928
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562880 0 0 0 102979 1042 0 0 25 0 1 0 854650338 73785344 16486 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18014 16486 566 18 0 17996 0
vsize: 72056
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562937 0 0 0 103979 1042 0 0 25 0 1 0 854650338 74047488 16543 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18078 16543 566 18 0 18060 0
vsize: 72312
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 562983 0 0 0 104979 1042 0 0 25 0 1 0 854650338 74309632 16589 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18142 16589 566 18 0 18124 0
vsize: 72568
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 563016 0 0 0 105979 1042 0 0 25 0 1 0 854650338 74440704 16622 4294967295 134512640 134581267 3221224576 3221223488 134527707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18174 16622 566 18 0 18156 0
vsize: 72696
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 563047 0 0 0 106980 1042 0 0 25 0 1 0 854650338 74571776 16653 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18206 16653 566 18 0 18188 0
vsize: 72824
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 563086 0 0 0 107980 1042 0 0 25 0 1 0 854650338 74702848 16692 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18238 16692 566 18 0 18220 0
vsize: 72952
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 563110 0 0 0 108980 1042 0 0 25 0 1 0 854650338 74833920 16716 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18270 16716 566 18 0 18252 0
vsize: 73080
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 563136 0 0 0 109980 1042 0 0 25 0 1 0 854650338 74833920 16742 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18270 16742 566 18 0 18252 0
vsize: 73080
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 563171 0 0 0 110979 1043 0 0 25 0 1 0 854650338 74964992 16777 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18302 16777 566 18 0 18284 0
vsize: 73208
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 563209 0 0 0 111978 1044 0 0 25 0 1 0 854650338 75227136 16815 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 16815 566 18 0 18348 0
vsize: 73464
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 563249 0 0 0 112979 1044 0 0 25 0 1 0 854650338 75358208 16855 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18398 16855 566 18 0 18380 0
vsize: 73592
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 563293 0 0 0 113979 1044 0 0 25 0 1 0 854650338 75489280 16899 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18430 16899 566 18 0 18412 0
vsize: 73720
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 563315 0 0 0 114979 1044 0 0 25 0 1 0 854650338 75620352 16921 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18462 16921 566 18 0 18444 0
vsize: 73848
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 563348 0 0 0 115979 1044 0 0 25 0 1 0 854650338 75751424 16954 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18494 16954 566 18 0 18476 0
vsize: 73976
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 563379 0 0 0 116979 1044 0 0 25 0 1 0 854650338 75882496 16985 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18526 16985 566 18 0 18508 0
vsize: 74104
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 563406 0 0 0 117979 1044 0 0 25 0 1 0 854650338 76013568 17012 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18558 17012 566 18 0 18540 0
vsize: 74232
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2898
Raw data (stat): 2841 (Pueblo-v2) R 2840 31399 31398 0 -1 0 563442 0 0 0 118979 1044 0 0 25 0 1 0 854650338 76144640 17048 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18590 17048 566 18 0 18572 0
vsize: 74360
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 2898
Raw data (stat): 2841 (Pueblo-v2) Z 2840 31399 31398 0 -1 1036 563442 0 0 0 118979 1048 0 0 25 0 1 0 854650338 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.1
CPU time (s): 1200.28
CPU user time (s): 1189.8
CPU system time (s): 10.4814
CPU usage (%): 100.015
Max. virtual memory (Kb): 74360
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####